0.00/0.00 c Parsing...
0.00/0.06 c ==============================================================================
0.00/0.06 c | | ORIGINAL | LEARNT | |
0.00/0.06 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.06 c ==============================================================================
0.00/0.06 c | 0 | 108164 271431 | 32449 0 0 nan | 0.000 % |
0.00/0.64 c | 0 | 108164 271475 | -- 0 -- -- | -- | 0/44
0.00/0.64 c ==============================================================================
0.00/0.64 c Result : #vars: 3853 #clauses: 108164 #literals: 271475
0.00/0.64 c CPU time: 0.636903 s
0.00/0.64 c ==============================================================================
0.00/0.72 c This is MiniSat 2.0 beta
0.00/0.72 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.72 c ============================[ Problem Statistics ]=============================
0.00/0.72 c | |
0.00/0.73 c | Number of variables: 3853 |
0.00/0.73 c | Number of clauses: 108164 |
0.00/0.78 c | Parsing time: 0.04 s |
0.00/0.78 c ============================[ Search Statistics ]==============================
0.00/0.78 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.00/0.78 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.00/0.78 c ===============================================================================
0.00/0.78 c | 0 | 3853 108164 271475 | 36054 0 nan | 0.000 % |
0.00/0.79 c | 101 | 3853 108164 271475 | 36054 101 27 | 0.000 % |
0.71/0.80 c | 202 | 3844 108164 271475 | 36054 201 30 | 0.389 % |
0.71/0.81 c | 302 | 3844 108164 271475 | 36054 301 30 | 0.389 % |
0.71/0.82 c | 412 | 3842 108164 271475 | 36054 411 32 | 0.389 % |
0.71/0.82 c | 512 | 3842 108164 271475 | 36054 511 31 | 0.389 % |
0.71/0.84 c | 622 | 3842 108164 271475 | 36054 621 30 | 0.389 % |
0.71/0.85 c | 743 | 3841 108164 271475 | 36054 742 30 | 0.389 % |
0.71/0.86 c | 843 | 3826 108164 271475 | 36054 841 30 | 0.779 % |
0.71/0.87 c | 953 | 3826 108164 271475 | 36054 951 31 | 0.779 % |
0.71/0.88 c | 1074 | 3814 108164 271475 | 36054 1071 30 | 1.168 % |
0.71/0.89 c | 1207 | 3814 108164 271475 | 36054 1204 29 | 1.168 % |
0.71/0.90 c | 1307 | 3814 108164 271475 | 36054 1304 30 | 1.168 % |
0.71/0.91 c | 1417 | 3814 108164 271475 | 36054 1414 30 | 1.168 % |
0.71/0.93 c | 1538 | 3799 108164 271475 | 36054 1534 30 | 1.557 % |
0.71/0.94 c | 1671 | 3784 108164 271475 | 36054 1666 30 | 1.947 % |
0.71/0.95 c | 1817 | 3784 108164 271475 | 36054 1812 30 | 1.947 % |
0.71/0.96 c | 1920 | 3784 108164 271475 | 36054 1915 30 | 1.947 % |
0.71/0.97 c | 2031 | 3784 108164 271475 | 36054 2026 30 | 1.947 % |
0.71/0.99 c | 2153 | 3778 106094 267335 | 36054 2144 30 | 1.947 % |
0.71/1.00 c | 2288 | 3763 106094 267335 | 36054 2278 30 | 2.336 % |
0.97/1.01 c | 2434 | 3763 106094 267335 | 36054 2424 30 | 2.336 % |
0.97/1.03 c | 2594 | 3763 106094 267335 | 36054 2584 30 | 2.336 % |
0.97/1.04 c | 2694 | 3763 106094 267335 | 36054 2684 30 | 2.336 % |
0.97/1.05 c | 2804 | 3763 106094 267335 | 36054 2794 30 | 2.336 % |
0.97/1.07 c | 2925 | 3748 106094 267335 | 36054 2914 29 | 2.725 % |
0.97/1.09 c | 3058 | 3748 106094 267335 | 36054 3047 29 | 2.725 % |
1.07/1.10 c | 3206 | 3748 106094 267335 | 36054 3195 29 | 2.725 % |
1.07/1.12 c | 3368 | 3748 106094 267335 | 36054 3357 29 | 2.725 % |
1.07/1.13 c | 3545 | 3748 106094 267335 | 36054 3534 29 | 2.725 % |
1.07/1.15 c | 3645 | 3748 106094 267335 | 36054 3634 29 | 2.725 % |
1.07/1.16 c | 3755 | 3748 106094 267335 | 36054 3744 30 | 2.725 % |
1.07/1.18 c | 3876 | 3748 106094 267335 | 36054 3865 30 | 2.725 % |
1.07/1.19 c | 4009 | 3748 106094 267335 | 36054 3998 30 | 2.725 % |
1.17/1.20 c | 4158 | 3748 106094 267335 | 36054 4147 30 | 2.725 % |
1.17/1.22 c | 4319 | 3748 106094 267335 | 36054 4308 30 | 2.725 % |
1.17/1.24 c | 4496 | 3748 106094 267335 | 36054 4485 30 | 2.725 % |
1.17/1.26 c | 4689 | 3748 105322 265791 | 36054 4677 30 | 2.725 % |
1.17/1.27 c | 4790 | 3748 105322 265791 | 36054 4778 30 | 2.725 % |
1.17/1.28 c | 4900 | 3748 105322 265791 | 36054 4888 30 | 2.725 % |
1.17/1.29 c | 5023 | 3748 105322 265791 | 36054 5011 30 | 2.725 % |
1.27/1.30 c | 5156 | 3748 105322 265791 | 36054 5144 30 | 2.725 % |
1.27/1.31 c | 5303 | 3748 105322 265791 | 36054 5291 30 | 2.725 % |
1.27/1.32 c | 5463 | 3748 105322 265791 | 36054 5451 30 | 2.725 % |
1.27/1.34 c | 5639 | 3748 105322 265791 | 36054 5627 30 | 2.725 % |
1.27/1.36 c | 5832 | 3748 105322 265791 | 36054 5820 31 | 2.725 % |
1.27/1.38 c | 6045 | 3748 105322 265791 | 36054 6033 31 | 2.725 % |
1.27/1.39 c | 6146 | 3748 105322 265791 | 36054 6134 31 | 2.725 % |
1.38/1.40 c | 6256 | 3748 105322 265791 | 36054 6244 31 | 2.725 % |
1.38/1.41 c | 6379 | 3748 105322 265791 | 36054 6367 31 | 2.725 % |
1.38/1.43 c | 6512 | 3748 105322 265791 | 36054 6500 31 | 2.725 % |
1.38/1.44 c | 6661 | 3748 105322 265791 | 36054 6649 31 | 2.725 % |
1.38/1.46 c | 6821 | 3748 105322 265791 | 36054 6809 31 | 2.725 % |
1.38/1.48 c | 6997 | 3748 105322 265791 | 36054 6985 31 | 2.725 % |
1.38/1.50 c | 7191 | 3748 105322 265791 | 36054 7179 31 | 2.725 % |
1.47/1.51 c | 7403 | 3748 105322 265791 | 36054 7391 31 | 2.725 % |
1.47/1.54 c | 7636 | 3748 105322 265791 | 36054 7624 31 | 2.725 % |
1.47/1.55 c | 7736 | 3748 105322 265791 | 36054 7724 32 | 2.725 % |
1.47/1.56 c | 7846 | 3748 105322 265791 | 36054 7834 32 | 2.725 % |
1.47/1.57 c | 7969 | 3748 105322 265791 | 36054 7957 32 | 2.725 % |
1.47/1.59 c | 8102 | 3748 105322 265791 | 36054 8090 32 | 2.725 % |
1.57/1.61 c | 8249 | 3748 105322 265791 | 36054 8237 32 | 2.725 % |
1.57/1.63 c | 8410 | 3748 105322 265791 | 36054 8398 32 | 2.725 % |
1.57/1.65 c | 8588 | 3748 105322 265791 | 36054 8576 32 | 2.725 % |
1.57/1.67 c | 8781 | 3748 105322 265791 | 36054 8769 32 | 2.725 % |
1.57/1.69 c | 8995 | 3748 105322 265791 | 36054 8983 32 | 2.725 % |
1.67/1.72 c | 9228 | 3748 105322 265791 | 36054 9216 32 | 2.725 % |
1.67/1.74 c | 9484 | 3748 105322 265791 | 36054 9472 32 | 2.725 % |
1.67/1.76 c | 9584 | 3748 105322 265791 | 36054 9572 33 | 2.725 % |
1.67/1.77 c | 9694 | 3748 105322 265791 | 36054 9682 32 | 2.725 % |
1.67/1.79 c | 9816 | 3748 105322 265791 | 36054 9804 33 | 2.725 % |
1.77/1.80 c | 9949 | 3748 105322 265791 | 36054 9937 33 | 2.725 % |
1.77/1.83 c | 10096 | 3733 104952 265051 | 2147483647 10081 33 | 3.114 % |
1.77/1.85 c | 10256 | 3733 104952 265051 | 2147483647 10241 33 | 3.114 % |
1.77/1.87 c | 10432 | 3733 104952 265051 | 2147483647 10417 33 | 3.114 % |
1.77/1.90 c | 10625 | 3733 104952 265051 | 2147483647 10610 33 | 3.114 % |
1.87/1.92 c | 10838 | 3733 104952 265051 | 2147483647 10823 33 | 3.114 % |
1.87/1.94 c | 11071 | 3733 104952 265051 | 2147483647 11056 33 | 3.114 % |
1.87/1.98 c | 11327 | 3733 104952 265051 | 2147483647 11312 33 | 3.114 % |
1.97/2.01 c | 11608 | 3733 104952 265051 | 2147483647 11593 34 | 3.115 % |
1.97/2.02 c | 11708 | 3733 104952 265051 | 2147483647 11693 34 | 3.114 % |
1.97/2.04 c | 11818 | 3733 104952 265051 | 2147483647 11803 34 | 3.115 % |
1.97/2.06 c | 11939 | 3733 104952 265051 | 2147483647 11924 34 | 3.114 % |
1.97/2.07 c | 12072 | 3733 104952 265051 | 2147483647 12057 34 | 3.115 % |
1.97/2.09 c | 12220 | 3733 104952 265051 | 2147483647 12205 34 | 3.114 % |
2.07/2.12 c | 12380 | 3733 104952 265051 | 2147483647 12365 34 | 3.114 % |
2.07/2.15 c | 12556 | 3733 104952 265051 | 2147483647 12541 34 | 3.114 % |
2.07/2.17 c | 12749 | 3733 104952 265051 | 2147483647 12734 34 | 3.114 % |
2.07/2.19 c | 12961 | 3733 104952 265051 | 2147483647 12946 34 | 3.114 % |
2.17/2.22 c | 13194 | 3733 104952 265051 | 2147483647 13179 34 | 3.114 % |
2.17/2.25 c | 13450 | 3733 104952 265051 | 2147483647 13435 34 | 3.114 % |
2.17/2.28 c | 13731 | 3733 104952 265051 | 2147483647 13716 34 | 3.114 % |
2.27/2.32 c | 14040 | 3733 104952 265051 | 2147483647 14025 34 | 3.114 % |
2.27/2.33 c | 14140 | 3733 104952 265051 | 2147483647 14125 34 | 3.114 % |
2.27/2.35 c | 14251 | 3733 104952 265051 | 2147483647 14236 34 | 3.114 % |
2.27/2.37 c | 14373 | 3733 104952 265051 | 2147483647 14358 34 | 3.114 % |
2.27/2.39 c | 14507 | 3733 104952 265051 | 2147483647 14492 34 | 3.114 % |
2.37/2.41 c | 14653 | 3733 104952 265051 | 2147483647 14638 34 | 3.114 % |
2.37/2.44 c | 14813 | 3733 104952 265051 | 2147483647 14798 34 | 3.114 % |
2.37/2.47 c | 14989 | 3733 104952 265051 | 2147483647 14974 34 | 3.114 % |
2.47/2.50 c | 15183 | 3733 104952 265051 | 2147483647 15168 34 | 3.114 % |
2.47/2.52 c | 15395 | 3733 104952 265051 | 2147483647 15380 35 | 3.114 % |
2.47/2.55 c | 15628 | 3733 104952 265051 | 2147483647 15613 35 | 3.114 % |
2.47/2.58 c | 15886 | 3733 104952 265051 | 2147483647 15871 35 | 3.114 % |
2.57/2.61 c | 16167 | 3733 104952 265051 | 2147483647 16152 35 | 3.115 % |
2.57/2.64 c | 16479 | 3733 104952 265051 | 2147483647 16464 35 | 3.114 % |
2.57/2.69 c | 16818 | 3733 104952 265051 | 2147483647 16803 35 | 3.114 % |
2.66/2.71 c | 16918 | 3733 104952 265051 | 2147483647 16903 35 | 3.115 % |
2.66/2.73 c | 17029 | 3733 104952 265051 | 2147483647 17014 35 | 3.114 % |
2.66/2.75 c | 17150 | 3733 104952 265051 | 2147483647 17135 35 | 3.114 % |
2.66/2.77 c | 17286 | 3733 104952 265051 | 2147483647 17271 35 | 3.114 % |
2.66/2.80 c | 17432 | 3733 104952 265051 | 2147483647 17417 35 | 3.114 % |
2.76/2.81 c | 17592 | 3733 104952 265051 | 2147483647 17577 35 | 3.114 % |
2.76/2.84 c | 17768 | 3733 104952 265051 | 2147483647 17753 35 | 3.114 % |
2.76/2.86 c | 17961 | 3733 104952 265051 | 2147483647 17946 35 | 3.114 % |
2.76/2.89 c | 18174 | 3733 104952 265051 | 2147483647 18159 35 | 3.115 % |
2.86/2.93 c | 18408 | 3733 104952 265051 | 2147483647 18393 35 | 3.114 % |
2.86/2.97 c | 18664 | 3733 104952 265051 | 2147483647 18649 35 | 3.114 % |
2.96/3.01 c | 18945 | 3733 104952 265051 | 2147483647 18930 35 | 3.114 % |
2.96/3.05 c | 19254 | 3733 104952 265051 | 2147483647 19239 35 | 3.114 % |
3.07/3.10 c | 19594 | 3733 104952 265051 | 2147483647 19579 35 | 3.114 % |
3.07/3.15 c | 19966 | 3733 104952 265051 | 2147483647 19951 36 | 3.114 % |
3.07/3.16 c | 20066 | 3733 104952 265051 | 2147483647 20051 36 | 3.114 % |
3.07/3.18 c | 20176 | 3733 104952 265051 | 2147483647 20161 36 | 3.114 % |
3.17/3.20 c | 20297 | 3733 104952 265051 | 2147483647 20282 36 | 3.114 % |
3.17/3.23 c | 20430 | 3733 104952 265051 | 2147483647 20415 36 | 3.114 % |
3.17/3.25 c | 20577 | 3733 104952 265051 | 2147483647 20562 36 | 3.114 % |
3.17/3.28 c | 20737 | 3733 104952 265051 | 2147483647 20722 36 | 3.114 % |
3.27/3.31 c | 20913 | 3733 104952 265051 | 2147483647 20898 36 | 3.114 % |
3.27/3.33 c | 21106 | 3733 104952 265051 | 2147483647 21091 36 | 3.114 % |
3.27/3.37 c | 21318 | 3733 104952 265051 | 2147483647 21303 36 | 3.114 % |
3.36/3.42 c | 21551 | 3733 104952 265051 | 2147483647 21536 36 | 3.114 % |
3.36/3.47 c | 21807 | 3733 104952 265051 | 2147483647 21792 37 | 3.114 % |
3.46/3.51 c | 22089 | 3733 104952 265051 | 2147483647 22074 37 | 3.114 % |
3.46/3.56 c | 22399 | 3733 104952 265051 | 2147483647 22384 37 | 3.114 % |
3.56/3.62 c | 22739 | 3733 104952 265051 | 2147483647 22724 37 | 3.114 % |
3.56/3.68 c | 23112 | 3733 104952 265051 | 2147483647 23097 37 | 3.114 % |
3.66/3.76 c | 23521 | 3733 104952 265051 | 2147483647 23506 38 | 3.114 % |
3.66/3.78 c | 23621 | 3733 104952 265051 | 2147483647 23606 38 | 3.114 % |
3.66/3.80 c | 23732 | 3733 104952 265051 | 2147483647 23717 38 | 3.115 % |
3.76/3.81 c | 23854 | 3733 104952 265051 | 2147483647 23839 38 | 3.114 % |
3.76/3.84 c | 23987 | 3733 104952 265051 | 2147483647 23972 38 | 3.114 % |
3.76/3.87 c | 24133 | 3733 104952 265051 | 2147483647 24118 38 | 3.114 % |
3.76/3.90 c | 24293 | 3733 104952 265051 | 2147483647 24278 38 | 3.115 % |
3.86/3.94 c | 24469 | 3733 104952 265051 | 2147483647 24454 38 | 3.114 % |
3.86/3.98 c | 24662 | 3733 104952 265051 | 2147483647 24647 38 | 3.114 % |
3.96/4.01 c | 24874 | 3733 104952 265051 | 2147483647 24859 38 | 3.115 % |
3.96/4.05 c | 25107 | 3733 104952 265051 | 2147483647 25092 38 | 3.114 % |
3.96/4.09 c | 25365 | 3733 104952 265051 | 2147483647 25350 38 | 3.114 % |
4.06/4.14 c | 25646 | 3733 104952 265051 | 2147483647 25631 38 | 3.114 % |
4.16/4.20 c | 25956 | 3733 104952 265051 | 2147483647 25941 38 | 3.115 % |
4.16/4.27 c | 26295 | 3733 104952 265051 | 2147483647 26280 38 | 3.114 % |
4.26/4.33 c | 26667 | 3733 104952 265051 | 2147483647 26652 38 | 3.114 % |
4.26/4.40 c | 27076 | 3733 104952 265051 | 2147483647 27061 38 | 3.114 % |
4.36/4.46 c | 27525 | 3733 104952 265051 | 2147483647 27510 39 | 3.114 % |
4.36/4.49 c | 27625 | 3733 104952 265051 | 2147483647 27610 39 | 3.114 % |
4.46/4.52 c | 27735 | 3733 104952 265051 | 2147483647 27720 39 | 3.115 % |
4.46/4.54 c | 27858 | 3733 104952 265051 | 2147483647 27843 39 | 3.114 % |
4.46/4.56 c | 27992 | 3733 104952 265051 | 2147483647 27977 39 | 3.114 % |
4.46/4.59 c | 28140 | 3733 104952 265051 | 2147483647 28125 39 | 3.114 % |
4.56/4.62 c | 28300 | 3733 104952 265051 | 2147483647 28285 39 | 3.114 % |
4.56/4.65 c | 28476 | 3733 104952 265051 | 2147483647 28461 39 | 3.114 % |
4.56/4.69 c | 28669 | 3733 104952 265051 | 2147483647 28654 39 | 3.114 % |
4.66/4.74 c | 28881 | 3733 104952 265051 | 2147483647 28866 39 | 3.114 % |
4.66/4.79 c | 29114 | 3733 104952 265051 | 2147483647 29099 39 | 3.115 % |
4.76/4.83 c | 29372 | 3733 104952 265051 | 2147483647 29357 39 | 3.114 % |
4.76/4.89 c | 29654 | 3733 104952 265051 | 2147483647 29639 39 | 3.114 % |
4.86/4.95 c | 29963 | 3733 104952 265051 | 2147483647 29948 40 | 3.114 % |
4.96/5.01 c | 30302 | 3733 104952 265051 | 2147483647 30287 40 | 3.114 % |
4.96/5.08 c | 30674 | 3733 104952 265051 | 2147483647 30659 40 | 3.114 % |
5.05/5.17 c | 31084 | 3733 104952 265051 | 2147483647 31069 40 | 3.114 % |
5.15/5.26 c | 31533 | 3733 104952 265051 | 2147483647 31518 40 | 3.114 % |
5.25/5.35 c | 32028 | 3733 104952 265051 | 2147483647 32013 40 | 3.114 % |
5.25/5.37 c | 32129 | 3733 104952 265051 | 2147483647 32114 40 | 3.114 % |
5.25/5.39 c | 32240 | 3733 104952 265051 | 2147483647 32225 40 | 3.114 % |
5.35/5.42 c | 32364 | 3733 104952 265051 | 2147483647 32349 40 | 3.114 % |
5.35/5.46 c | 32498 | 3733 104952 265051 | 2147483647 32483 41 | 3.114 % |
5.35/5.49 c | 32644 | 3733 104952 265051 | 2147483647 32629 40 | 3.114 % |
5.45/5.53 c | 32804 | 3733 104952 265051 | 2147483647 32789 41 | 3.114 % |
5.45/5.56 c | 32981 | 3733 104952 265051 | 2147483647 32966 41 | 3.115 % |
5.55/5.60 c | 33174 | 3733 104952 265051 | 2147483647 33159 41 | 3.115 % |
5.55/5.65 c | 33386 | 3733 104952 265051 | 2147483647 33371 41 | 3.114 % |
5.55/5.69 c | 33619 | 3733 104952 265051 | 2147483647 33604 41 | 3.114 % |
5.65/5.75 c | 33875 | 3733 104952 265051 | 2147483647 33860 41 | 3.115 % |
5.75/5.82 c | 34157 | 3733 104952 265051 | 2147483647 34142 41 | 3.114 % |
5.85/5.91 c | 34468 | 3733 104952 265051 | 2147483647 34453 41 | 3.114 % |
5.85/5.97 c | 34809 | 3733 104952 265051 | 2147483647 34794 41 | 3.114 % |
5.95/6.05 c | 35182 | 3733 104952 265051 | 2147483647 35167 41 | 3.115 % |
6.05/6.13 c | 35593 | 3733 104952 265051 | 2147483647 35578 41 | 3.115 % |
6.15/6.25 c | 36045 | 3733 104952 265051 | 2147483647 36030 42 | 3.114 % |
6.25/6.36 c | 36538 | 3733 104952 265051 | 2147483647 36523 42 | 3.114 % |
6.35/6.45 c | 37080 | 3733 104952 265051 | 2147483647 37065 42 | 3.114 % |
6.35/6.48 c | 37180 | 3733 104952 265051 | 2147483647 37165 42 | 3.114 % |
6.45/6.50 c | 37291 | 3733 104952 265051 | 2147483647 37276 42 | 3.114 % |
6.45/6.54 c | 37412 | 3733 104952 265051 | 2147483647 37397 42 | 3.114 % |
6.45/6.57 c | 37546 | 3733 104952 265051 | 2147483647 37531 42 | 3.114 % |
6.55/6.62 c | 37692 | 3733 104952 265051 | 2147483647 37677 42 | 3.114 % |
6.55/6.65 c | 37852 | 3733 104952 265051 | 2147483647 37837 43 | 3.114 % |
6.65/6.70 c | 38028 | 3733 104952 265051 | 2147483647 38013 43 | 3.114 % |
6.65/6.74 c | 38221 | 3733 104952 265051 | 2147483647 38206 43 | 3.114 % |
6.65/6.79 c | 38435 | 3733 104952 265051 | 2147483647 38420 43 | 3.115 % |
6.75/6.81 c | 38668 | 3733 104952 265051 | 2147483647 38653 43 | 3.114 % |
6.75/6.86 c | 38925 | 3733 104952 265051 | 2147483647 38910 43 | 3.114 % |
6.85/6.93 c | 39206 | 3733 104952 265051 | 2147483647 39191 43 | 3.114 % |
6.95/7.00 c | 39515 | 3733 104952 265051 | 2147483647 39500 43 | 3.114 % |
6.95/7.08 c | 39856 | 3733 104952 265051 | 2147483647 39841 44 | 3.114 % |
7.05/7.16 c | 40228 | 3733 104952 265051 | 2147483647 40213 44 | 3.114 % |
7.15/7.26 c | 40637 | 3733 104952 265051 | 2147483647 40622 44 | 3.114 % |
7.24/7.38 c | 41086 | 3733 104952 265051 | 2147483647 41071 44 | 3.114 % |
7.45/7.51 c | 41579 | 3733 104952 265051 | 2147483647 41564 44 | 3.114 % |
7.56/7.63 c | 42121 | 3733 104952 265051 | 2147483647 42106 45 | 3.114 % |
7.66/7.75 c | 42717 | 3733 104952 265051 | 2147483647 42702 45 | 3.114 % |
7.66/7.79 c | 42819 | 3733 104952 265051 | 2147483647 42804 45 | 3.114 % |
7.75/7.82 c | 42930 | 3733 104952 265051 | 2147483647 42915 45 | 3.114 % |
7.75/7.86 c | 43053 | 3733 104952 265051 | 2147483647 43038 45 | 3.115 % |
7.85/7.90 c | 43186 | 3733 104952 265051 | 2147483647 43171 45 | 3.114 % |
7.85/7.94 c | 43332 | 3733 104952 265051 | 2147483647 43317 45 | 3.114 % |
7.85/7.98 c | 43492 | 3733 104952 265051 | 2147483647 43477 45 | 3.114 % |
7.95/8.01 c | 43672 | 3733 104952 265051 | 2147483647 43657 45 | 3.114 % |
7.95/8.05 c | 43867 | 3733 104952 265051 | 2147483647 43852 45 | 3.115 % |
8.05/8.10 c | 44079 | 3733 104952 265051 | 2147483647 44064 45 | 3.115 % |
8.05/8.16 c | 44312 | 3733 104952 265051 | 2147483647 44297 45 | 3.114 % |
8.15/8.22 c | 44568 | 3733 104952 265051 | 2147483647 44553 45 | 3.114 % |
8.25/8.30 c | 44849 | 3733 104952 265051 | 2147483647 44834 45 | 3.114 % |
8.25/8.37 c | 45160 | 3733 104952 265051 | 2147483647 45145 45 | 3.114 % |
8.35/8.45 c | 45499 | 3733 104952 265051 | 2147483647 45484 45 | 3.114 % |
8.45/8.56 c | 45871 | 3733 104952 265051 | 2147483647 45856 46 | 3.114 % |
8.55/8.68 c | 46280 | 3733 104952 265051 | 2147483647 46265 46 | 3.115 % |
8.65/8.79 c | 46732 | 3733 104952 265051 | 2147483647 46717 46 | 3.115 % |
8.85/8.93 c | 47225 | 3733 104952 265051 | 2147483647 47210 46 | 3.114 % |
9.05/9.10 c | 47767 | 3733 104952 265051 | 2147483647 47752 46 | 3.115 % |
9.15/9.25 c | 48367 | 3733 104952 265051 | 2147483647 48352 47 | 3.114 % |
9.34/9.42 c | 49026 | 3733 104952 265051 | 2147483647 49011 47 | 3.115 % |
9.34/9.46 c | 49126 | 3733 104952 265051 | 2147483647 49111 47 | 3.114 % |
9.34/9.48 c | 49237 | 3733 104952 265051 | 2147483647 49222 47 | 3.114 % |
9.44/9.52 c | 49358 | 3733 104952 265051 | 2147483647 49343 47 | 3.114 % |
9.44/9.57 c | 49492 | 3733 104952 265051 | 2147483647 49477 47 | 3.114 % |
9.54/9.64 c | 49638 | 3733 104952 265051 | 2147483647 49623 47 | 3.114 % |
9.54/9.69 c | 49802 | 3733 104952 265051 | 2147483647 49787 47 | 3.114 % |
9.64/9.74 c | 49978 | 3733 104952 265051 | 2147483647 49963 47 | 3.114 % |
9.64/9.79 c | 50171 | 3733 104952 265051 | 2147483647 50156 47 | 3.114 % |
9.75/9.85 c | 50383 | 3733 104952 265051 | 2147483647 50368 47 | 3.114 % |
9.85/9.93 c | 50616 | 3733 104952 265051 | 2147483647 50601 47 | 3.115 % |
9.94/10.00 c | 50872 | 3733 104952 265051 | 2147483647 50857 47 | 3.114 % |
9.94/10.08 c | 51155 | 3733 104952 265051 | 2147483647 51140 47 | 3.114 % |
10.04/10.18 c | 51464 | 3733 104952 265051 | 2147483647 51449 48 | 3.115 % |
10.24/10.30 c | 51805 | 3733 104952 265051 | 2147483647 51790 48 | 3.115 % |
10.35/10.40 c | 52177 | 3733 104952 265051 | 2147483647 52162 48 | 3.114 % |
10.45/10.54 c | 52586 | 3733 104952 265051 | 2147483647 52571 48 | 3.115 % |
10.55/10.69 c | 53038 | 3733 104952 265051 | 2147483647 53023 48 | 3.114 % |
10.75/10.83 c | 53532 | 3733 104952 265051 | 2147483647 53517 48 | 3.114 % |
10.85/10.98 c | 54076 | 3733 104952 265051 | 2147483647 54061 48 | 3.114 % |
11.05/11.18 c | 54672 | 3733 104952 265051 | 2147483647 54657 48 | 3.114 % |
11.25/11.36 c | 55327 | 3733 104952 265051 | 2147483647 55312 49 | 3.114 % |
11.55/11.61 c | 56048 | 3733 104952 265051 | 2147483647 56033 49 | 3.114 % |
11.55/11.65 c | 56148 | 3733 104952 265051 | 2147483647 56133 49 | 3.114 % |
11.64/11.70 c | 56258 | 3733 104952 265051 | 2147483647 56243 49 | 3.114 % |
11.64/11.73 c | 56379 | 3733 104952 265051 | 2147483647 56364 49 | 3.114 % |
11.64/11.78 c | 56513 | 3733 104952 265051 | 2147483647 56498 49 | 3.114 % |
11.74/11.82 c | 56659 | 3733 104952 265051 | 2147483647 56644 49 | 3.114 % |
11.74/11.87 c | 56821 | 3733 104952 265051 | 2147483647 56806 49 | 3.115 % |
11.84/11.92 c | 57001 | 3733 104952 265051 | 2147483647 56986 49 | 3.114 % |
11.84/11.99 c | 57194 | 3733 104952 265051 | 2147483647 57179 49 | 3.114 % |
11.95/12.05 c | 57407 | 3733 104952 265051 | 2147483647 57392 49 | 3.115 % |
12.05/12.12 c | 57640 | 3733 104952 265051 | 2147483647 57625 49 | 3.114 % |
12.14/12.22 c | 57897 | 3733 104952 265051 | 2147483647 57882 49 | 3.114 % |
12.24/12.32 c | 58178 | 3733 104952 265051 | 2147483647 58163 49 | 3.115 % |
12.34/12.43 c | 58487 | 3733 104952 265051 | 2147483647 58472 49 | 3.114 % |
12.44/12.53 c | 58828 | 3733 104952 265051 | 2147483647 58813 49 | 3.114 % |
12.54/12.63 c | 59200 | 3733 104952 265051 | 2147483647 59185 49 | 3.114 % |
12.64/12.74 c | 59609 | 3733 104952 265051 | 2147483647 59594 50 | 3.114 % |
12.74/12.88 c | 60060 | 3733 104952 265051 | 2147483647 60045 50 | 3.114 % |
12.94/13.02 c | 60553 | 3733 104952 265051 | 2147483647 60538 50 | 3.114 % |
13.14/13.20 c | 61096 | 3733 104952 265051 | 2147483647 61081 50 | 3.114 % |
13.34/13.40 c | 61692 | 3733 104952 265051 | 2147483647 61677 50 | 3.114 % |
13.54/13.62 c | 62347 | 3733 104952 265051 | 2147483647 62332 50 | 3.114 % |
13.75/13.86 c | 63067 | 3733 104952 265051 | 2147483647 63052 50 | 3.114 % |
14.04/14.15 c | 63861 | 3733 104952 265051 | 2147483647 63846 51 | 3.114 % |
14.04/14.19 c | 63961 | 3733 104952 265051 | 2147483647 63946 51 | 3.114 % |
14.15/14.24 c | 64073 | 3733 104952 265051 | 2147483647 64058 51 | 3.114 % |
14.15/14.29 c | 64194 | 3733 104952 265051 | 2147483647 64179 51 | 3.114 % |
14.25/14.36 c | 64328 | 3733 104952 265051 | 2147483647 64313 51 | 3.114 % |
14.34/14.40 c | 64475 | 3733 104952 265051 | 2147483647 64460 51 | 3.114 % |
14.34/14.48 c | 64635 | 3733 104952 265051 | 2147483647 64620 51 | 3.114 % |
14.44/14.54 c | 64811 | 3733 104952 265051 | 2147483647 64796 51 | 3.114 % |
14.54/14.60 c | 65007 | 3733 104952 265051 | 2147483647 64992 51 | 3.114 % |
14.64/14.70 c | 65219 | 3733 104952 265051 | 2147483647 65204 51 | 3.114 % |
14.64/14.79 c | 65453 | 3733 104952 265051 | 2147483647 65438 51 | 3.114 % |
14.74/14.89 c | 65709 | 3733 104952 265051 | 2147483647 65694 51 | 3.114 % |
14.94/15.01 c | 65991 | 3733 104952 265051 | 2147483647 65976 51 | 3.114 % |
15.04/15.13 c | 66302 | 3733 104952 265051 | 2147483647 66287 51 | 3.115 % |
15.14/15.27 c | 66643 | 3733 104952 265051 | 2147483647 66628 52 | 3.114 % |
15.34/15.42 c | 67015 | 3733 104952 265051 | 2147483647 67000 52 | 3.115 % |
15.44/15.57 c | 67426 | 3733 104952 265051 | 2147483647 67411 52 | 3.114 % |
15.64/15.74 c | 67875 | 3733 104952 265051 | 2147483647 67860 52 | 3.114 % |
15.83/15.90 c | 68368 | 3733 104952 265051 | 2147483647 68353 52 | 3.114 % |
15.94/16.08 c | 68910 | 3733 104952 265051 | 2147483647 68895 52 | 3.114 % |
16.24/16.33 c | 69509 | 3733 104952 265051 | 2147483647 69494 53 | 3.114 % |
16.45/16.57 c | 70164 | 3733 104952 265051 | 69985 70149 53 | 3.114 % |
16.74/16.88 c | 70885 | 3733 104952 265051 | 69985 61780 52 | 3.114 % |
17.04/17.15 c | 71677 | 3733 104952 265051 | 69985 62572 52 | 3.115 % |
17.34/17.47 c | 72548 | 3733 104952 265051 | 69985 63443 52 | 3.114 % |
17.44/17.51 c | 72648 | 3733 104952 265051 | 69985 63543 52 | 3.114 % |
17.44/17.57 c | 72760 | 3733 104952 265051 | 69985 63655 52 | 3.115 % |
17.54/17.61 c | 72881 | 3733 104952 265051 | 69985 63776 52 | 3.114 % |
17.54/17.66 c | 73016 | 3733 104952 265051 | 69985 63911 52 | 3.114 % |
17.64/17.72 c | 73163 | 3733 104952 265051 | 69985 64058 52 | 3.114 % |
17.64/17.79 c | 73323 | 3733 104952 265051 | 69985 64218 52 | 3.114 % |
17.74/17.86 c | 73499 | 3733 104952 265051 | 69985 64394 52 | 3.114 % |
17.84/17.94 c | 73692 | 3733 104952 265051 | 69985 64587 53 | 3.114 % |
17.94/18.01 c | 73904 | 3733 104952 265051 | 69985 64799 53 | 3.114 % |
18.04/18.11 c | 74137 | 3733 104952 265051 | 69985 65032 53 | 3.115 % |
18.04/18.19 c | 74393 | 3733 104952 265051 | 69985 65288 53 | 3.114 % |
18.24/18.31 c | 74674 | 3733 104952 265051 | 69985 65569 53 | 3.114 % |
18.34/18.46 c | 74983 | 3733 104952 265051 | 69985 65878 53 | 3.114 % |
18.54/18.60 c | 75323 | 3733 104952 265051 | 69985 66218 53 | 3.114 % |
18.64/18.73 c | 75695 | 3733 104952 265051 | 69985 66590 53 | 3.114 % |
18.84/18.94 c | 76104 | 3733 104952 265051 | 69985 66999 53 | 3.114 % |
18.94/19.09 c | 76554 | 3733 104952 265051 | 69985 67449 53 | 3.114 % |
19.14/19.28 c | 77047 | 3733 104952 265051 | 69985 67942 54 | 3.114 % |
19.44/19.51 c | 77589 | 3733 104952 265051 | 69985 68484 54 | 3.114 % |
19.64/19.73 c | 78185 | 3733 104952 265051 | 69985 69080 54 | 3.114 % |
19.94/20.02 c | 78840 | 3733 104952 265051 | 69985 69735 54 | 3.115 % |
20.24/20.31 c | 79560 | 3733 104952 265051 | 69985 70455 54 | 3.114 % |
20.54/20.64 c | 80353 | 3733 104952 265051 | 61143 61496 52 | 3.114 % |
20.84/20.94 c | 81224 | 3733 104952 265051 | 61143 54138 50 | 3.115 % |
21.24/21.30 c | 82182 | 3733 104952 265051 | 61143 55096 50 | 3.114 % |
21.24/21.34 c | 82282 | 3733 104952 265051 | 61143 55196 50 | 3.114 % |
21.24/21.38 c | 82392 | 3733 104952 265051 | 61143 55306 50 | 3.114 % |
21.34/21.43 c | 82514 | 3733 104952 265051 | 61143 55428 50 | 3.114 % |
21.34/21.49 c | 82648 | 3733 104952 265051 | 61143 55562 50 | 3.114 % |
21.44/21.56 c | 82794 | 3733 104952 265051 | 61143 55708 50 | 3.114 % |
21.54/21.60 c | 82954 | 3733 104952 265051 | 61143 55868 50 | 3.114 % |
21.54/21.66 c | 83132 | 3733 104952 265051 | 61143 56046 50 | 3.114 % |
21.64/21.72 c | 83326 | 3733 104952 265051 | 61143 56240 51 | 3.114 % |
21.64/21.79 c | 83538 | 3733 104952 265051 | 61143 56452 51 | 3.115 % |
21.74/21.88 c | 83773 | 3733 104952 265051 | 61143 56687 51 | 3.114 % |
21.84/21.95 c | 84029 | 3733 104952 265051 | 61143 56943 51 | 3.114 % |
21.94/22.06 c | 84312 | 3733 104952 265051 | 61143 57226 51 | 3.114 % |
22.04/22.18 c | 84621 | 3733 104952 265051 | 61143 57535 51 | 3.114 % |
22.14/22.29 c | 84960 | 3733 104952 265051 | 61143 57874 51 | 3.114 % |
22.33/22.43 c | 85332 | 3733 104952 265051 | 61143 58246 51 | 3.114 % |
22.43/22.59 c | 85741 | 3733 104952 265051 | 61143 58655 51 | 3.115 % |
22.63/22.78 c | 86191 | 3733 104952 265051 | 61143 59105 51 | 3.114 % |
22.83/22.94 c | 86685 | 3733 104952 265051 | 61143 59599 52 | 3.114 % |
23.04/23.15 c | 87227 | 3733 104952 265051 | 61143 60141 52 | 3.114 % |
23.23/23.37 c | 87823 | 3733 104952 265051 | 61143 60737 52 | 3.114 % |
23.53/23.64 c | 88483 | 3733 104952 265051 | 61143 61397 52 | 3.114 % |
23.83/23.95 c | 89203 | 3733 104952 265051 | 61143 55223 50 | 3.115 % |
24.14/24.21 c | 89997 | 3733 104952 265051 | 61143 56017 51 | 3.114 % |
24.33/24.48 c | 90868 | 3733 104952 265051 | 56020 56888 52 | 3.114 % |
24.63/24.77 c | 91826 | 3733 104952 265051 | 56020 51684 51 | 3.114 % |
25.03/25.14 c | 92881 | 3733 104952 265051 | 56020 52739 52 | 3.114 % |
25.03/25.19 c | 92981 | 3733 104952 265051 | 56020 52839 52 | 3.114 % |
25.14/25.22 c | 93092 | 3733 104952 265051 | 56020 52950 52 | 3.114 % |
25.14/25.28 c | 93214 | 3733 104952 265051 | 56020 53072 52 | 3.114 % |
25.24/25.33 c | 93348 | 3733 104952 265051 | 56020 53206 52 | 3.114 % |
25.24/25.37 c | 93495 | 3733 104952 265051 | 56020 53353 52 | 3.114 % |
25.33/25.42 c | 93655 | 3733 104952 265051 | 56020 53513 52 | 3.114 % |
25.33/25.47 c | 93832 | 3733 104952 265051 | 56020 53690 52 | 3.114 % |
25.43/25.55 c | 94026 | 3733 104952 265051 | 56020 53884 52 | 3.115 % |
25.53/25.64 c | 94239 | 3733 104952 265051 | 56020 54097 52 | 3.114 % |
25.63/25.71 c | 94472 | 3733 104952 265051 | 56020 54330 52 | 3.115 % |
25.73/25.82 c | 94728 | 3733 104952 265051 | 56020 54586 52 | 3.114 % |
25.83/25.90 c | 95010 | 3733 104952 265051 | 56020 54868 53 | 3.115 % |
25.93/26.01 c | 95319 | 3733 104952 265051 | 56020 55177 53 | 3.114 % |
26.03/26.11 c | 95659 | 3733 104952 265051 | 56020 55517 53 | 3.114 % |
26.13/26.22 c | 96032 | 3733 104952 265051 | 56020 55890 53 | 3.115 % |
26.23/26.38 c | 96441 | 3733 104952 265051 | 56020 56299 53 | 3.114 % |
26.43/26.57 c | 96890 | 3733 104952 265051 | 56020 51080 51 | 3.114 % |
26.63/26.72 c | 97384 | 3733 104952 265051 | 56020 51574 52 | 3.115 % |
26.83/26.92 c | 97926 | 3733 104952 265051 | 56020 52116 52 | 3.114 % |
27.03/27.14 c | 98525 | 3733 104952 265051 | 56020 52715 52 | 3.114 % |
27.23/27.31 c | 99180 | 3733 104952 265051 | 56020 53370 52 | 3.114 % |
27.43/27.56 c | 99900 | 3733 104952 265051 | 56020 54090 53 | 3.114 % |
27.73/27.82 c | 100693 | 3733 104952 265051 | 2147483647 54883 53 | 3.114 % |
28.03/28.14 c | 101565 | 3733 104952 265051 | 2147483647 55755 54 | 3.114 % |
28.33/28.46 c | 102525 | 3733 104952 265051 | 2147483647 56715 54 | 3.114 % |
28.63/28.79 c | 103578 | 3733 104952 265051 | 2147483647 57768 55 | 3.114 % |
29.03/29.18 c | 104739 | 3733 104952 265051 | 2147483647 58929 55 | 3.114 % |
29.13/29.22 c | 104839 | 3733 104952 265051 | 2147483647 59029 55 | 3.114 % |
29.13/29.25 c | 104951 | 3733 104952 265051 | 2147483647 59141 55 | 3.114 % |
29.23/29.31 c | 105077 | 3733 104952 265051 | 2147483647 59267 55 | 3.115 % |
29.23/29.37 c | 105210 | 3733 104952 265051 | 2147483647 59400 55 | 3.114 % |
29.33/29.41 c | 105357 | 3733 104952 265051 | 2147483647 59547 55 | 3.114 % |
29.33/29.47 c | 105518 | 3733 104952 265051 | 2147483647 59708 55 | 3.114 % |
29.43/29.55 c | 105696 | 3733 104952 265051 | 2147483647 59886 55 | 3.114 % |
29.53/29.64 c | 105890 | 3733 104952 265051 | 2147483647 60080 55 | 3.114 % |
29.63/29.73 c | 106102 | 3733 104952 265051 | 2147483647 60292 55 | 3.114 % |
29.73/29.83 c | 106335 | 3733 104952 265051 | 2147483647 60525 55 | 3.114 % |
29.83/29.93 c | 106592 | 3733 104952 265051 | 2147483647 60782 56 | 3.115 % |
29.93/30.03 c | 106876 | 3733 104952 265051 | 2147483647 61066 56 | 3.114 % |
30.03/30.16 c | 107185 | 3733 104952 265051 | 2147483647 61375 56 | 3.115 % |
30.13/30.22 c | 107527 | 3733 104952 265051 | 2147483647 61717 56 | 3.114 % |
30.23/30.34 c | 107899 | 3733 104952 265051 | 2147483647 62089 56 | 3.114 % |
30.43/30.51 c | 108310 | 3733 104952 265051 | 2147483647 62500 56 | 3.114 % |
30.53/30.66 c | 108759 | 3733 104952 265051 | 2147483647 62949 56 | 3.114 % |
30.73/30.84 c | 109252 | 3733 104952 265051 | 2147483647 63442 56 | 3.114 % |
30.92/31.05 c | 109794 | 3733 104952 265051 | 2147483647 63984 56 | 3.114 % |
31.22/31.30 c | 110391 | 3733 104952 265051 | 64193 64581 57 | 3.114 % |
31.42/31.57 c | 111046 | 3733 104952 265051 | 64193 57773 54 | 3.114 % |
31.73/31.88 c | 111766 | 3733 104952 265051 | 64193 58493 55 | 3.114 % |
32.02/32.14 c | 112559 | 3733 104952 265051 | 64193 59286 55 | 3.114 % |
32.32/32.45 c | 113431 | 3733 104952 265051 | 64193 60158 55 | 3.114 % |
32.62/32.79 c | 114389 | 3733 104952 265051 | 64193 61116 56 | 3.114 % |
33.12/33.21 c | 115445 | 3733 104952 265051 | 64193 62172 56 | 3.115 % |
33.52/33.63 c | 116603 | 3733 104952 265051 | 64193 63330 57 | 3.114 % |
34.02/34.18 c | 117876 | 3733 104952 265051 | 64193 64603 58 | 3.114 % |
34.12/34.27 c | 117977 | 3733 104952 265051 | 64193 56638 55 | 3.114 % |
34.22/34.32 c | 118087 | 3733 104952 265051 | 64193 56748 55 | 3.115 % |
34.22/34.38 c | 118208 | 3733 104952 265051 | 64193 56869 55 | 3.114 % |
34.32/34.43 c | 118343 | 3733 104952 265051 | 64193 57004 55 | 3.114 % |
34.32/34.48 c | 118490 | 3733 104952 265051 | 64193 57151 55 | 3.115 % |
34.42/34.54 c | 118655 | 3733 104952 265051 | 64193 57316 55 | 3.114 % |
34.52/34.61 c | 118831 | 3733 104952 265051 | 64193 57492 55 | 3.114 % |
34.52/34.68 c | 119024 | 3733 104952 265051 | 64193 57685 56 | 3.114 % |
34.62/34.78 c | 119238 | 3733 104952 265051 | 64193 57899 56 | 3.114 % |
34.72/34.86 c | 119471 | 3733 104952 265051 | 64193 58132 56 | 3.115 % |
34.82/34.97 c | 119727 | 3733 104952 265051 | 64193 58388 56 | 3.114 % |
34.92/35.08 c | 120009 | 3733 104952 265051 | 58661 58670 56 | 3.114 % |
35.12/35.20 c | 120321 | 3733 104952 265051 | 58661 58982 56 | 3.114 % |
35.22/35.35 c | 120661 | 3733 104952 265051 | 58661 51726 52 | 3.114 % |
35.32/35.49 c | 121033 | 3733 104952 265051 | 58661 52098 53 | 3.114 % |
35.52/35.63 c | 121442 | 3733 104952 265051 | 58661 52507 53 | 3.114 % |
35.62/35.79 c | 121891 | 3733 104952 265051 | 58661 52956 53 | 3.114 % |
35.81/35.93 c | 122384 | 3733 104952 265051 | 58661 53449 53 | 3.114 % |
36.01/36.14 c | 122926 | 3733 104952 265051 | 58661 53991 54 | 3.114 % |
36.22/36.39 c | 123527 | 3733 104952 265051 | 58661 54592 54 | 3.114 % |
36.51/36.61 c | 124183 | 3733 104952 265051 | 58661 55248 54 | 3.114 % |
36.71/36.85 c | 124903 | 3733 104952 265051 | 58661 55968 55 | 3.114 % |
37.01/37.13 c | 125695 | 3733 104952 265051 | 58661 56760 55 | 3.114 % |
37.32/37.45 c | 126567 | 3733 104952 265051 | 58661 57632 56 | 3.115 % |
37.61/37.79 c | 127526 | 3733 104952 265051 | 58661 58591 56 | 3.114 % |
38.11/38.24 c | 128580 | 3733 104952 265051 | 58661 52936 54 | 3.114 % |
38.51/38.61 c | 129738 | 3733 104952 265051 | 58661 54094 54 | 3.114 % |
38.91/39.02 c | 131020 | 3733 104952 265051 | 54356 55376 55 | 3.114 % |
39.42/39.52 c | 132421 | 3733 104952 265051 | 54356 50627 53 | 3.114 % |
39.42/39.56 c | 132521 | 3733 104952 265051 | 54356 50727 53 | 3.114 % |
39.51/39.60 c | 132631 | 3733 104952 265051 | 54356 50837 53 | 3.114 % |
39.51/39.65 c | 132752 | 3733 104952 265051 | 54356 50958 53 | 3.114 % |
39.51/39.69 c | 132885 | 3733 104952 265051 | 54356 51091 53 | 3.115 % |
39.61/39.74 c | 133033 | 3733 104952 265051 | 54356 51239 53 | 3.114 % |
39.61/39.79 c | 133193 | 3733 104952 265051 | 54356 51399 53 | 3.114 % |
39.71/39.85 c | 133370 | 3733 104952 265051 | 54356 51576 53 | 3.114 % |
39.81/39.92 c | 133564 | 3733 104952 265051 | 54356 51770 53 | 3.114 % |
39.81/40.00 c | 133776 | 3733 104952 265051 | 54356 51982 53 | 3.114 % |
39.91/40.08 c | 134009 | 3733 104952 265051 | 54356 52215 54 | 3.115 % |
40.01/40.16 c | 134265 | 3733 104952 265051 | 54356 52471 54 | 3.114 % |
40.11/40.27 c | 134546 | 3733 104952 265051 | 54356 52752 54 | 3.115 % |
40.21/40.38 c | 134855 | 3733 104952 265051 | 54356 53061 54 | 3.114 % |
40.41/40.51 c | 135194 | 3733 104952 265051 | 54356 53400 54 | 3.114 % |
40.51/40.64 c | 135566 | 3733 104952 265051 | 54356 53772 54 | 3.115 % |
40.61/40.78 c | 135975 | 3733 104952 265051 | 54356 54181 54 | 3.114 % |
40.81/40.92 c | 136424 | 3733 104952 265051 | 54356 54630 55 | 3.114 % |
41.01/41.10 c | 136918 | 3733 104952 265051 | 54356 49661 53 | 3.114 % |
41.11/41.28 c | 137460 | 3733 104952 265051 | 54356 50203 53 | 3.114 % |
41.31/41.48 c | 138056 | 3733 104952 265051 | 54356 50799 54 | 3.114 % |
41.61/41.71 c | 138711 | 3733 104952 265051 | 54356 51454 54 | 3.114 % |
41.81/41.93 c | 139432 | 3733 104952 265051 | 54356 52175 54 | 3.114 % |
42.11/42.20 c | 140224 | 3733 104952 265051 | 2147483647 52967 55 | 3.115 % |
42.41/42.52 c | 141095 | 3733 104952 265051 | 2147483647 53838 55 | 3.114 % |
42.71/42.85 c | 142053 | 3733 104952 265051 | 2147483647 54796 56 | 3.114 % |
43.01/43.19 c | 143106 | 3733 104952 265051 | 2147483647 55849 56 | 3.114 % |
43.40/43.58 c | 144264 | 3733 104952 265051 | 2147483647 57007 57 | 3.114 % |
43.90/44.04 c | 145538 | 3733 104952 265051 | 2147483647 58281 57 | 3.114 % |
44.40/44.57 c | 146940 | 3733 104952 265051 | 2147483647 59683 58 | 3.114 % |
45.10/45.25 c | 148482 | 3733 104952 265051 | 2147483647 61225 61 | 3.114 % |
45.20/45.32 c | 148582 | 3733 104952 265051 | 2147483647 61325 61 | 3.114 % |
45.20/45.37 c | 148692 | 3733 104952 265051 | 2147483647 61435 61 | 3.114 % |
45.30/45.42 c | 148813 | 3733 104952 265051 | 2147483647 61556 61 | 3.114 % |
45.30/45.46 c | 148947 | 3733 104952 265051 | 2147483647 61690 61 | 3.114 % |
45.40/45.53 c | 149093 | 3733 104952 265051 | 2147483647 61836 61 | 3.115 % |
45.40/45.60 c | 149254 | 3733 104952 265051 | 2147483647 61997 61 | 3.114 % |
45.50/45.67 c | 149432 | 3733 104952 265051 | 2147483647 62175 61 | 3.114 % |
45.60/45.74 c | 149625 | 3733 104952 265051 | 2147483647 62368 61 | 3.115 % |
45.70/45.82 c | 149837 | 3733 104952 265051 | 2147483647 62580 61 | 3.114 % |
45.80/45.90 c | 150070 | 3733 104952 265051 | 62743 62813 61 | 3.115 % |
45.80/46.00 c | 150326 | 3733 104952 265051 | 62743 63069 61 | 3.114 % |
46.00/46.14 c | 150608 | 3733 104952 265051 | 62743 56149 58 | 3.114 % |
46.10/46.26 c | 150918 | 3733 104952 265051 | 62743 56459 59 | 3.114 % |
46.30/46.42 c | 151258 | 3733 104952 265051 | 62743 56799 59 | 3.114 % |
46.40/46.53 c | 151630 | 3733 104952 265051 | 62743 57171 60 | 3.114 % |
46.50/46.67 c | 152040 | 3733 104952 265051 | 62743 57581 60 | 3.114 % |
46.70/46.82 c | 152490 | 3733 104952 265051 | 62743 58031 60 | 3.114 % |
46.80/46.99 c | 152983 | 3733 104952 265051 | 62743 58524 61 | 3.114 % |
47.10/47.22 c | 153525 | 3733 104952 265051 | 62743 59066 61 | 3.114 % |
47.30/47.45 c | 154121 | 3733 104952 265051 | 62743 59662 62 | 3.114 % |
47.50/47.69 c | 154777 | 3733 104952 265051 | 62743 60318 62 | 3.114 % |
47.80/47.99 c | 155498 | 3733 104952 265051 | 62743 61039 62 | 3.114 % |
48.10/48.24 c | 156290 | 3733 104952 265051 | 62743 61831 62 | 3.114 % |
48.39/48.57 c | 157163 | 3733 104952 265051 | 62743 62704 63 | 3.115 % |
48.90/49.02 c | 158122 | 3733 104952 265051 | 62743 55003 59 | 3.114 % |
49.20/49.37 c | 159175 | 3733 104952 265051 | 62743 56056 60 | 3.114 % |
49.70/49.83 c | 160333 | 3733 104952 265051 | 56882 57214 60 | 3.114 % |
50.10/50.30 c | 161606 | 3733 104952 265051 | 56882 50876 59 | 3.115 % |
50.60/50.76 c | 163006 | 3733 104952 265051 | 56882 52276 60 | 3.114 % |
51.10/51.28 c | 164547 | 3733 104952 265051 | 56882 53817 61 | 3.114 % |
51.80/51.97 c | 166242 | 3733 104952 265051 | 56882 55512 61 | 3.114 % |
51.90/52.01 c | 166342 | 3733 104952 265051 | 56882 55612 61 | 3.114 % |
51.90/52.06 c | 166452 | 3733 104952 265051 | 56882 55722 61 | 3.114 % |
52.00/52.12 c | 166573 | 3733 104952 265051 | 56882 55843 61 | 3.114 % |
52.00/52.18 c | 166709 | 3733 104952 265051 | 56882 55979 61 | 3.114 % |
52.10/52.26 c | 166855 | 3733 104952 265051 | 56882 56125 61 | 3.114 % |
52.20/52.31 c | 167015 | 3733 104952 265051 | 56882 56285 61 | 3.114 % |
52.20/52.38 c | 167193 | 3733 104952 265051 | 56882 56463 62 | 3.114 % |
52.30/52.45 c | 167386 | 3733 104952 265051 | 56882 56656 62 | 3.114 % |
52.40/52.53 c | 167598 | 3733 104952 265051 | 56882 56868 62 | 3.115 % |
52.50/52.63 c | 167831 | 3733 104952 265051 | 56882 57101 62 | 3.114 % |
52.60/52.76 c | 168087 | 3733 104952 265051 | 56882 51083 60 | 3.114 % |
52.70/52.85 c | 168368 | 3733 104952 265051 | 56882 51364 60 | 3.114 % |
52.80/52.95 c | 168677 | 3733 104952 265051 | 56882 51673 60 | 3.114 % |
52.90/53.08 c | 169016 | 3733 104952 265051 | 56882 52012 60 | 3.115 % |
53.10/53.23 c | 169388 | 3733 104952 265051 | 56882 52384 60 | 3.114 % |
53.20/53.38 c | 169799 | 3733 104952 265051 | 56882 52795 60 | 3.115 % |
53.40/53.56 c | 170248 | 3733 104952 265051 | 52996 53244 60 | 3.114 % |
53.60/53.75 c | 170741 | 3733 104952 265051 | 52996 48370 58 | 3.114 % |
53.80/53.92 c | 171284 | 3733 104952 265051 | 52996 48913 58 | 3.114 % |
54.00/54.12 c | 171881 | 3733 104952 265051 | 52996 49510 59 | 3.114 % |
54.20/54.34 c | 172536 | 3733 104952 265051 | 52996 50165 59 | 3.114 % |
54.50/54.63 c | 173257 | 3733 104952 265051 | 52996 50886 59 | 3.114 % |
54.80/54.92 c | 174050 | 3733 104952 265051 | 52996 51679 59 | 3.114 % |
55.10/55.22 c | 174921 | 3733 104952 265051 | 52996 52550 59 | 3.114 % |
55.40/55.53 c | 175881 | 3733 104952 265051 | 52996 53510 60 | 3.114 % |
55.70/55.87 c | 176934 | 3733 104952 265051 | 52996 49212 56 | 3.115 % |
56.10/56.27 c | 178093 | 3733 104952 265051 | 52996 50371 57 | 3.114 % |
56.50/56.69 c | 179366 | 3733 104952 265051 | 52996 51644 58 | 3.114 % |
57.00/57.16 c | 180767 | 3732 104900 264947 | 2147483647 53041 59 | 3.140 % |
57.60/57.75 c | 182307 | 3732 104900 264947 | 2147483647 54581 59 | 3.141 % |
58.20/58.33 c | 184001 | 3732 104900 264947 | 2147483647 56275 61 | 3.140 % |
58.90/59.01 c | 185865 | 3732 104900 264947 | 2147483647 58139 62 | 3.140 % |
58.90/59.05 c | 185965 | 3732 104900 264947 | 2147483647 58239 62 | 3.140 % |
58.90/59.08 c | 186077 | 3732 104900 264947 | 2147483647 58351 62 | 3.140 % |
59.00/59.14 c | 186199 | 3732 104900 264947 | 2147483647 58473 62 | 3.140 % |
59.00/59.18 c | 186333 | 3732 104900 264947 | 2147483647 58607 62 | 3.140 % |
59.10/59.26 c | 186479 | 3732 104900 264947 | 2147483647 58753 62 | 3.140 % |
59.20/59.34 c | 186639 | 3732 104900 264947 | 2147483647 58913 62 | 3.140 % |
59.30/59.41 c | 186815 | 3732 104900 264947 | 2147483647 59089 62 | 3.140 % |
59.30/59.49 c | 187008 | 3732 104900 264947 | 2147483647 59282 62 | 3.141 % |
59.39/59.56 c | 187220 | 3732 104900 264947 | 2147483647 59494 62 | 3.140 % |
59.49/59.65 c | 187454 | 3732 104900 264947 | 2147483647 59728 63 | 3.140 % |
59.59/59.73 c | 187710 | 3732 104900 264947 | 2147483647 59984 63 | 3.140 % |
59.69/59.85 c | 187991 | 3732 104900 264947 | 2147483647 60265 63 | 3.141 % |
59.79/59.97 c | 188300 | 3732 104900 264947 | 2147483647 60574 63 | 3.140 % |
59.99/60.10 c | 188639 | 3732 104900 264947 | 2147483647 60913 63 | 3.140 % |
60.09/60.26 c | 189012 | 3732 104900 264947 | 2147483647 61286 63 | 3.140 % |
60.30/60.47 c | 189425 | 3732 104900 264947 | 2147483647 61699 64 | 3.140 % |
60.49/60.64 c | 189874 | 3732 104900 264947 | 2147483647 62148 64 | 3.141 % |
60.69/60.87 c | 190367 | 3732 104900 264947 | 62275 62641 64 | 3.140 % |
60.99/61.10 c | 190910 | 3732 104900 264947 | 62275 56104 60 | 3.140 % |
61.19/61.31 c | 191506 | 3732 104900 264947 | 62275 56700 60 | 3.140 % |
61.40/61.59 c | 192161 | 3732 104900 264947 | 62275 57355 61 | 3.140 % |
61.69/61.86 c | 192882 | 3732 104900 264947 | 62275 58076 61 | 3.140 % |
61.99/62.18 c | 193674 | 3732 104900 264947 | 62275 58868 62 | 3.140 % |
62.39/62.50 c | 194547 | 3732 104900 264947 | 62275 59741 62 | 3.140 % |
62.79/62.90 c | 195505 | 3732 104900 264947 | 62275 60699 63 | 3.140 % |
63.19/63.35 c | 196558 | 3732 104900 264947 | 62275 61752 63 | 3.140 % |
63.70/63.87 c | 197716 | 3732 104900 264947 | 62275 62910 64 | 3.140 % |
64.29/64.43 c | 198989 | 3732 104900 264947 | 62275 56141 61 | 3.140 % |
64.80/64.91 c | 200391 | 3732 104900 264947 | 57152 57543 63 | 3.140 % |
65.29/65.47 c | 201932 | 3732 104900 264947 | 57152 51834 62 | 3.140 % |
65.89/66.08 c | 203626 | 3732 104900 264947 | 57152 53528 64 | 3.140 % |
66.59/66.74 c | 205491 | 3732 104900 264947 | 57152 55393 65 | 3.140 % |
67.39/67.50 c | 207542 | 3732 104900 264947 | 57152 57444 65 | 3.140 % |
67.39/67.60 c | 207643 | 3732 104900 264947 | 57152 50793 62 | 3.140 % |
67.49/67.64 c | 207753 | 3732 104900 264947 | 57152 50903 62 | 3.141 % |
67.49/67.69 c | 207874 | 3732 104900 264947 | 57152 51024 62 | 3.140 % |
67.59/67.72 c | 208010 | 3732 104900 264947 | 57152 51160 62 | 3.140 % |
67.59/67.77 c | 208159 | 3732 104900 264947 | 57152 51309 62 | 3.140 % |
67.69/67.83 c | 208321 | 3732 104900 264947 | 57152 51471 62 | 3.140 % |
67.69/67.89 c | 208497 | 3732 104900 264947 | 57152 51647 62 | 3.140 % |
67.79/67.97 c | 208693 | 3732 104900 264947 | 57152 51843 63 | 3.141 % |
67.89/68.05 c | 208908 | 3732 104900 264947 | 57152 52058 62 | 3.140 % |
67.99/68.14 c | 209141 | 3732 104900 264947 | 57152 52291 63 | 3.140 % |
68.09/68.25 c | 209397 | 3732 104900 264947 | 57152 52547 63 | 3.140 % |
68.19/68.34 c | 209678 | 3732 104900 264947 | 57152 52828 63 | 3.140 % |
68.29/68.48 c | 209989 | 3732 104900 264947 | 57152 53139 63 | 3.140 % |
68.39/68.59 c | 210331 | 3732 104900 264947 | 53150 53481 63 | 3.141 % |
68.59/68.74 c | 210704 | 3732 104900 264947 | 53150 47829 60 | 3.141 % |
68.69/68.88 c | 211113 | 3732 104900 264947 | 53150 48238 61 | 3.140 % |
68.89/69.02 c | 211563 | 3732 104900 264947 | 53150 48688 61 | 3.140 % |
69.09/69.20 c | 212056 | 3732 104900 264947 | 53150 49181 61 | 3.140 % |
69.19/69.37 c | 212598 | 3732 104900 264947 | 53150 49723 61 | 3.140 % |
69.49/69.61 c | 213196 | 3732 104900 264947 | 53150 50321 62 | 3.140 % |
69.69/69.84 c | 213851 | 3732 104900 264947 | 53150 50976 62 | 3.140 % |
69.99/70.12 c | 214571 | 3732 104900 264947 | 53150 51696 62 | 3.140 % |
70.29/70.43 c | 215363 | 3732 104900 264947 | 53150 52488 63 | 3.140 % |
70.59/70.79 c | 216234 | 3732 104900 264947 | 53150 53359 64 | 3.140 % |
70.99/71.10 c | 217192 | 3732 104900 264947 | 53150 48982 61 | 3.140 % |
71.29/71.40 c | 218247 | 3732 104900 264947 | 53150 50037 62 | 3.140 % |
71.69/71.80 c | 219405 | 3732 104900 264947 | 53150 51195 63 | 3.140 % |
72.19/72.34 c | 220678 | 3732 104900 264947 | 2147483647 52468 64 | 3.140 % |
72.69/72.83 c | 222080 | 3732 104900 264947 | 2147483647 53870 65 | 3.140 % |
73.28/73.47 c | 223620 | 3732 104900 264947 | 2147483647 55410 65 | 3.140 % |
73.98/74.10 c | 225314 | 3732 104900 264947 | 2147483647 57104 66 | 3.140 % |
74.59/74.79 c | 227177 | 3732 104900 264947 | 2147483647 58967 67 | 3.140 % |
75.48/75.66 c | 229226 | 3732 104900 264947 | 2147483647 61016 67 | 3.140 % |
76.58/76.72 c | 231479 | 3732 104900 264947 | 2147483647 63269 68 | 3.140 % |
76.58/76.76 c | 231580 | 3732 104900 264947 | 2147483647 63370 68 | 3.140 % |
76.68/76.82 c | 231690 | 3732 104900 264947 | 2147483647 63480 68 | 3.140 % |
76.68/76.87 c | 231811 | 3732 104900 264947 | 2147483647 63601 68 | 3.140 % |
76.78/76.94 c | 231946 | 3732 104900 264947 | 2147483647 63736 68 | 3.140 % |
76.88/77.01 c | 232094 | 3732 104900 264947 | 2147483647 63884 68 | 3.141 % |
76.88/77.09 c | 232254 | 3732 104900 264947 | 2147483647 64044 68 | 3.140 % |
77.08/77.20 c | 232430 | 3732 104900 264947 | 2147483647 64220 68 | 3.140 % |
77.08/77.29 c | 232623 | 3732 104900 264947 | 2147483647 64413 69 | 3.140 % |
77.18/77.39 c | 232836 | 3732 104900 264947 | 2147483647 64626 69 | 3.140 % |
77.38/77.51 c | 233071 | 3732 104900 264947 | 2147483647 64861 69 | 3.140 % |
77.48/77.64 c | 233328 | 3732 104900 264947 | 2147483647 65118 69 | 3.140 % |
77.58/77.76 c | 233609 | 3732 104900 264947 | 2147483647 65399 69 | 3.140 % |
77.68/77.88 c | 233920 | 3732 104900 264947 | 2147483647 65710 69 | 3.140 % |
77.88/78.03 c | 234259 | 3732 104900 264947 | 2147483647 66049 69 | 3.140 % |
78.08/78.20 c | 234631 | 3732 104900 264947 | 2147483647 66421 70 | 3.141 % |
78.18/78.39 c | 235040 | 3732 104900 264947 | 2147483647 66830 70 | 3.140 % |
78.38/78.59 c | 235489 | 3732 104900 264947 | 2147483647 67279 70 | 3.140 % |
78.68/78.83 c | 235983 | 3732 104900 264947 | 2147483647 67773 70 | 3.140 % |
78.88/79.07 c | 236526 | 3732 104900 264947 | 2147483647 68316 71 | 3.141 % |
79.18/79.39 c | 237123 | 3732 104900 264947 | 2147483647 68913 71 | 3.140 % |
79.48/79.64 c | 237778 | 3732 104900 264947 | 2147483647 69568 72 | 3.140 % |
79.78/79.96 c | 238499 | 3732 104900 264947 | 2147483647 70289 72 | 3.140 % |
80.18/80.33 c | 239291 | 3732 104900 264947 | 2147483647 71081 72 | 3.140 % |
80.68/80.80 c | 240164 | 3732 104900 264947 | 71790 71954 72 | 3.140 % |
81.08/81.23 c | 241122 | 3732 104900 264947 | 71790 63003 65 | 3.140 % |
81.48/81.68 c | 242178 | 3732 104900 264947 | 71790 64059 66 | 3.140 % |
81.98/82.14 c | 243336 | 3732 104900 264947 | 71790 65217 68 | 3.141 % |
82.57/82.72 c | 244609 | 3732 104900 264947 | 71790 66490 68 | 3.140 % |
83.17/83.38 c | 246010 | 3732 104900 264947 | 71790 67891 69 | 3.140 % |
83.87/84.02 c | 247550 | 3732 104900 264947 | 71790 69431 70 | 3.140 % |
84.67/84.82 c | 249244 | 3731 104849 264845 | 71790 71122 71 | 3.166 % |
85.58/85.71 c | 251107 | 3731 104849 264845 | 71878 72985 72 | 3.166 % |
86.47/86.62 c | 253158 | 3731 104849 264845 | 71878 62312 68 | 3.166 % |
87.37/87.54 c | 255411 | 3731 104849 264845 | 71878 64565 69 | 3.166 % |
88.57/88.77 c | 257889 | 3731 104849 264845 | 71878 67043 71 | 3.166 % |
88.67/88.83 c | 257989 | 3731 104849 264845 | 71878 67143 71 | 3.166 % |
88.77/88.91 c | 258104 | 3731 104849 264845 | 71878 67258 71 | 3.166 % |
88.77/88.96 c | 258225 | 3731 104849 264845 | 71878 67379 71 | 3.166 % |
88.87/89.02 c | 258358 | 3731 104849 264845 | 71878 67512 71 | 3.166 % |
88.87/89.10 c | 258506 | 3731 104849 264845 | 71878 67660 71 | 3.166 % |
88.97/89.16 c | 258666 | 3731 104849 264845 | 71878 67820 71 | 3.166 % |
89.07/89.26 c | 258842 | 3731 104849 264845 | 71878 67996 71 | 3.166 % |
89.17/89.34 c | 259036 | 3731 104849 264845 | 71878 68190 71 | 3.166 % |
89.27/89.46 c | 259248 | 3731 104849 264845 | 71878 68402 71 | 3.166 % |
89.47/89.60 c | 259481 | 3731 104849 264845 | 71878 68635 71 | 3.166 % |
89.57/89.74 c | 259737 | 3731 104849 264845 | 71878 68891 71 | 3.166 % |
89.67/89.88 c | 260020 | 3731 104849 264845 | 69155 69174 71 | 3.166 % |
89.87/90.09 c | 260332 | 3731 104849 264845 | 69155 57966 66 | 3.166 % |
90.07/90.21 c | 260671 | 3731 104849 264845 | 69155 58305 66 | 3.166 % |
90.16/90.35 c | 261044 | 3731 104849 264845 | 69155 58678 66 | 3.166 % |
90.36/90.51 c | 261453 | 3731 104849 264845 | 69155 59087 66 | 3.166 % |
90.56/90.70 c | 261902 | 3731 104849 264845 | 69155 59536 66 | 3.166 % |
90.66/90.88 c | 262395 | 3731 104849 264845 | 69155 60029 67 | 3.166 % |
90.86/91.09 c | 262939 | 3731 104849 264845 | 69155 60573 67 | 3.166 % |
91.17/91.32 c | 263536 | 3731 104849 264845 | 69155 61170 67 | 3.166 % |
91.36/91.58 c | 264193 | 3731 104849 264845 | 69155 61827 68 | 3.166 % |
91.66/91.86 c | 264914 | 3731 104849 264845 | 69155 62548 68 | 3.166 % |
91.96/92.17 c | 265706 | 3731 104849 264845 | 69155 63340 68 | 3.166 % |
92.36/92.52 c | 266577 | 3731 104849 264845 | 69155 64211 68 | 3.166 % |
92.76/92.98 c | 267535 | 3731 104849 264845 | 69155 65169 69 | 3.166 % |
93.27/93.48 c | 268588 | 3731 104849 264845 | 69155 66222 69 | 3.166 % |
93.86/94.03 c | 269746 | 3731 104849 264845 | 69155 67380 70 | 3.166 % |
94.47/94.63 c | 271020 | 3731 104849 264845 | 67634 57949 66 | 3.166 % |
94.96/95.20 c | 272422 | 3731 104849 264845 | 67634 59351 67 | 3.166 % |
95.66/95.87 c | 273963 | 3731 104849 264845 | 67634 60892 69 | 3.166 % |
96.36/96.59 c | 275662 | 3731 104849 264845 | 67634 62591 71 | 3.166 % |
97.26/97.40 c | 277525 | 3731 104849 264845 | 67634 64454 72 | 3.166 % |
98.16/98.38 c | 279577 | 3731 104849 264845 | 67634 66506 74 | 3.166 % |
99.06/99.28 c | 281832 | 3731 104849 264845 | 66929 56967 66 | 3.166 % |
100.16/100.36 c | 284311 | 3731 104849 264845 | 66929 59446 68 | 3.166 % |
101.36/101.50 c | 287038 | 3731 104849 264845 | 66929 62173 70 | 3.166 % |
101.36/101.55 c | 287140 | 3731 104849 264845 | 66929 62275 70 | 3.166 % |
101.46/101.63 c | 287251 | 3731 104849 264845 | 66929 62386 70 | 3.166 % |
101.56/101.70 c | 287372 | 3731 104849 264845 | 66929 62507 70 | 3.166 % |
101.56/101.79 c | 287507 | 3731 104849 264845 | 66929 62642 70 | 3.166 % |
101.66/101.86 c | 287656 | 3731 104849 264845 | 66929 62791 71 | 3.166 % |
101.76/101.94 c | 287816 | 3731 104849 264845 | 66929 62951 71 | 3.166 % |
101.86/102.03 c | 287992 | 3731 104849 264845 | 66929 63127 71 | 3.166 % |
101.97/102.12 c | 288185 | 3731 104849 264845 | 66929 63320 71 | 3.166 % |
102.07/102.22 c | 288398 | 3731 104849 264845 | 66929 63533 71 | 3.166 % |
102.17/102.37 c | 288631 | 3731 104849 264845 | 66929 63766 71 | 3.166 % |
102.27/102.48 c | 288888 | 3731 104849 264845 | 66929 64023 71 | 3.166 % |
102.37/102.59 c | 289169 | 3731 104849 264845 | 66929 64304 71 | 3.166 % |
102.57/102.74 c | 289481 | 3731 104849 264845 | 66929 64616 71 | 3.166 % |
102.77/102.90 c | 289820 | 3731 104849 264845 | 66929 64955 72 | 3.167 % |
102.87/103.09 c | 290192 | 3731 104849 264845 | 65137 65327 72 | 3.166 % |
103.07/103.30 c | 290602 | 3731 104849 264845 | 65137 55239 67 | 3.166 % |
103.27/103.46 c | 291051 | 3731 104849 264845 | 65137 55688 67 | 3.166 % |
103.47/103.66 c | 291545 | 3731 104849 264845 | 65137 56182 68 | 3.166 % |
103.67/103.86 c | 292088 | 3731 104849 264845 | 65137 56725 68 | 3.166 % |
103.97/104.10 c | 292684 | 3731 104849 264845 | 65137 57321 68 | 3.166 % |
104.17/104.40 c | 293342 | 3731 104849 264845 | 65137 57979 68 | 3.166 % |
104.47/104.64 c | 294063 | 3731 104849 264845 | 65137 58700 70 | 3.166 % |
104.77/104.99 c | 294856 | 3731 104849 264845 | 65137 59493 70 | 3.166 % |
105.17/105.32 c | 295727 | 3731 104849 264845 | 65137 60364 70 | 3.166 % |
105.47/105.68 c | 296685 | 3731 104849 264845 | 65137 61322 71 | 3.166 % |
105.97/106.14 c | 297738 | 3731 104849 264845 | 65137 62375 72 | 3.166 % |
106.47/106.65 c | 298897 | 3731 104849 264845 | 65137 63534 72 | 3.166 % |
107.06/107.27 c | 300170 | 3731 104849 264845 | 64637 64807 73 | 3.166 % |
107.76/107.91 c | 301571 | 3731 104849 264845 | 64637 56972 69 | 3.166 % |
108.36/108.54 c | 303111 | 3731 104849 264845 | 64637 58512 70 | 3.166 % |
109.06/109.20 c | 304806 | 3731 104849 264845 | 64637 60207 71 | 3.166 % |
109.87/110.07 c | 306669 | 3731 104849 264845 | 64637 62070 72 | 3.166 % |
110.76/110.98 c | 308718 | 3731 104849 264845 | 64637 64119 74 | 3.166 % |
111.86/112.03 c | 310972 | 3731 104849 264845 | 56187 57159 68 | 3.166 % |
112.76/112.93 c | 313451 | 3731 104849 264845 | 56187 51310 65 | 3.166 % |
113.86/114.00 c | 316176 | 3731 104849 264845 | 56187 54035 67 | 3.166 % |
115.06/115.21 c | 319173 | 3731 104849 264845 | 56187 51003 66 | 3.166 % |
115.06/115.24 c | 319273 | 3731 104849 264845 | 56187 51103 66 | 3.166 % |
115.06/115.29 c | 319383 | 3731 104849 264845 | 56187 51213 66 | 3.166 % |
115.16/115.34 c | 319510 | 3731 104849 264845 | 56187 51340 66 | 3.166 % |
115.16/115.40 c | 319643 | 3731 104849 264845 | 56187 51473 66 | 3.166 % |
115.26/115.46 c | 319790 | 3731 104849 264845 | 56187 51620 66 | 3.166 % |
115.36/115.51 c | 319951 | 3731 104849 264845 | 56187 51781 66 | 3.166 % |
115.36/115.59 c | 320127 | 3731 104849 264845 | 51830 51957 67 | 3.166 % |
115.46/115.69 c | 320320 | 3731 104849 264845 | 51830 46781 64 | 3.166 % |
115.56/115.76 c | 320532 | 3731 104849 264845 | 51830 46993 64 | 3.166 % |
115.66/115.86 c | 320766 | 3731 104849 264845 | 51830 47227 64 | 3.166 % |
115.76/115.96 c | 321022 | 3731 104849 264845 | 51830 47483 64 | 3.166 % |
115.86/116.05 c | 321303 | 3731 104849 264845 | 51830 47764 64 | 3.166 % |
115.96/116.17 c | 321612 | 3731 104849 264845 | 51830 48073 64 | 3.166 % |
116.06/116.27 c | 321954 | 3731 104849 264845 | 51830 48415 65 | 3.166 % |
116.26/116.42 c | 322328 | 3731 104849 264845 | 51830 48789 65 | 3.166 % |
116.36/116.58 c | 322738 | 3731 104849 264845 | 51830 49199 65 | 3.166 % |
116.56/116.72 c | 323187 | 3731 104849 264845 | 51830 49648 66 | 3.166 % |
116.65/116.89 c | 323682 | 3731 104849 264845 | 51830 50143 66 | 3.166 % |
116.85/117.08 c | 324225 | 3731 104849 264845 | 51830 50686 67 | 3.166 % |
117.15/117.33 c | 324822 | 3731 104849 264845 | 51830 51283 67 | 3.167 % |
117.35/117.57 c | 325477 | 3731 104849 264845 | 51830 51938 67 | 3.166 % |
117.65/117.82 c | 326199 | 3731 104849 264845 | 51830 52660 68 | 3.166 % |
117.95/118.14 c | 326991 | 3731 104849 264845 | 51830 48186 65 | 3.166 % |
118.25/118.46 c | 327862 | 3731 104849 264845 | 51830 49057 66 | 3.166 % |
118.66/118.84 c | 328820 | 3731 104849 264845 | 51830 50015 67 | 3.166 % |
119.05/119.26 c | 329873 | 3731 104849 264845 | 51830 51068 68 | 3.166 % |
119.55/119.75 c | 331032 | 3731 104849 264845 | 2147483647 52227 69 | 3.166 % |
119.95/120.19 c | 332305 | 3731 104849 264845 | 2147483647 53500 70 | 3.166 % |
120.55/120.72 c | 333705 | 3731 104849 264845 | 2147483647 54900 71 | 3.166 % |
121.15/121.33 c | 335246 | 3731 104849 264845 | 2147483647 56441 72 | 3.166 % |
121.85/122.09 c | 336941 | 3731 104849 264845 | 2147483647 58136 74 | 3.166 % |
122.75/122.91 c | 338804 | 3731 104849 264845 | 2147483647 59999 76 | 3.166 % |
123.65/123.82 c | 340853 | 3731 104849 264845 | 61196 62048 78 | 3.166 % |
124.45/124.68 c | 343106 | 3731 104849 264845 | 61196 58097 75 | 3.166 % |
125.55/125.73 c | 345584 | 3731 104849 264845 | 61196 60575 76 | 3.166 % |
126.75/126.98 c | 348309 | 3731 104849 264845 | 61196 55833 72 | 3.166 % |
127.85/128.07 c | 351306 | 3731 104849 264845 | 57524 51802 70 | 3.166 % |
129.15/129.38 c | 354603 | 3731 104849 264845 | 57524 55099 72 | 3.166 % |
129.25/129.43 c | 354704 | 3731 104849 264845 | 57524 55200 72 | 3.166 % |
129.25/129.47 c | 354814 | 3731 104849 264845 | 57524 55310 72 | 3.166 % |
129.35/129.52 c | 354936 | 3731 104849 264845 | 57524 55432 72 | 3.166 % |
129.35/129.58 c | 355070 | 3731 104849 264845 | 57524 55566 72 | 3.166 % |
129.45/129.64 c | 355216 | 3731 104849 264845 | 57524 55712 72 | 3.166 % |
129.55/129.74 c | 355376 | 3731 104849 264845 | 57524 55872 72 | 3.166 % |
129.65/129.81 c | 355554 | 3731 104849 264845 | 57524 56050 72 | 3.166 % |
129.74/129.90 c | 355747 | 3731 104849 264845 | 57524 56243 72 | 3.166 % |
129.84/130.01 c | 355960 | 3731 104849 264845 | 57524 56456 72 | 3.166 % |
129.94/130.11 c | 356193 | 3731 104849 264845 | 57524 56689 72 | 3.166 % |
130.04/130.24 c | 356450 | 3731 104849 264845 | 57524 56946 72 | 3.166 % |
130.14/130.37 c | 356732 | 3731 104849 264845 | 57524 57228 72 | 3.166 % |
130.24/130.48 c | 357041 | 3731 104849 264845 | 57524 57537 72 | 3.166 % |
130.44/130.65 c | 357380 | 3731 104849 264845 | 57524 57876 72 | 3.166 % |
130.65/130.84 c | 357753 | 3731 104849 264845 | 57524 52163 68 | 3.166 % |
130.84/131.01 c | 358164 | 3731 104849 264845 | 57524 52574 68 | 3.166 % |
130.94/131.17 c | 358613 | 3731 104849 264845 | 57524 53023 68 | 3.166 % |
131.14/131.35 c | 359108 | 3731 104849 264845 | 57524 53518 69 | 3.166 % |
131.34/131.54 c | 359650 | 3731 104849 264845 | 57524 54060 70 | 3.166 % |
131.54/131.77 c | 360247 | 3731 104849 264845 | 54415 54657 70 | 3.166 % |
131.75/131.98 c | 360902 | 3731 104849 264845 | 54415 49376 67 | 3.166 % |
132.04/132.26 c | 361625 | 3731 104849 264845 | 54415 50099 69 | 3.166 % |
132.34/132.55 c | 362417 | 3731 104849 264845 | 54415 50891 69 | 3.166 % |
132.64/132.84 c | 363289 | 3731 104849 264845 | 54415 51763 70 | 3.166 % |
133.14/133.30 c | 364247 | 3731 104849 264845 | 54415 52721 71 | 3.166 % |
133.54/133.74 c | 365301 | 3731 104849 264845 | 54415 53775 73 | 3.166 % |
134.04/134.26 c | 366459 | 3731 104849 264845 | 54415 54933 73 | 3.166 % |
134.64/134.84 c | 367734 | 3731 104849 264845 | 54415 50715 68 | 3.166 % |
135.14/135.39 c | 369134 | 3731 104849 264845 | 54415 52115 69 | 3.166 % |
135.84/136.01 c | 370675 | 3731 104849 264845 | 2147483647 53656 70 | 3.166 % |
136.43/136.65 c | 372369 | 3731 104849 264845 | 2147483647 55350 71 | 3.166 % |
137.13/137.35 c | 374233 | 3731 104849 264845 | 2147483647 57214 73 | 3.166 % |
138.03/138.20 c | 376284 | 3731 104849 264845 | 2147483647 59265 75 | 3.166 % |
138.83/139.05 c | 378541 | 3731 104849 264845 | 2147483647 61522 76 | 3.166 % |
139.93/140.13 c | 381019 | 3731 104849 264845 | 62981 64000 78 | 3.166 % |
140.83/141.03 c | 383744 | 3731 104849 264845 | 62981 57533 75 | 3.166 % |
141.83/142.05 c | 386741 | 3731 104849 264845 | 62981 60530 77 | 3.166 % |
143.43/143.61 c | 390038 | 3731 104849 264845 | 56739 56772 78 | 3.166 % |
145.04/145.27 c | 393665 | 3731 104849 264845 | 56739 53938 73 | 3.166 % |
145.13/145.34 c | 393765 | 3731 104849 264845 | 56739 54038 73 | 3.166 % |
145.23/145.40 c | 393875 | 3731 104849 264845 | 56739 54148 73 | 3.166 % |
145.23/145.46 c | 393996 | 3731 104849 264845 | 56739 54269 73 | 3.166 % |
145.33/145.52 c | 394129 | 3731 104849 264845 | 56739 54402 73 | 3.166 % |
145.33/145.59 c | 394275 | 3731 104849 264845 | 56739 54548 73 | 3.166 % |
145.43/145.65 c | 394441 | 3731 104849 264845 | 56739 54714 74 | 3.166 % |
145.53/145.75 c | 394618 | 3731 104849 264845 | 56739 54891 74 | 3.166 % |
145.63/145.82 c | 394811 | 3731 104849 264845 | 56739 55084 74 | 3.166 % |
145.73/145.92 c | 395024 | 3731 104849 264845 | 56739 55297 74 | 3.166 % |
145.83/146.03 c | 395257 | 3731 104849 264845 | 56739 55530 74 | 3.166 % |
145.93/146.14 c | 395513 | 3731 104849 264845 | 56739 55786 74 | 3.166 % |
146.03/146.27 c | 395794 | 3731 104849 264845 | 56739 56067 74 | 3.166 % |
146.23/146.40 c | 396103 | 3731 104849 264845 | 56739 56376 74 | 3.166 % |
146.33/146.54 c | 396442 | 3731 104849 264845 | 56739 56715 74 | 3.166 % |
146.53/146.71 c | 396814 | 3731 104849 264845 | 56739 57087 74 | 3.166 % |
146.63/146.89 c | 397223 | 3731 104849 264845 | 56739 51788 71 | 3.166 % |
146.83/147.07 c | 397673 | 3731 104849 264845 | 56739 52238 71 | 3.166 % |
147.03/147.24 c | 398168 | 3731 104849 264845 | 56739 52733 71 | 3.166 % |
147.23/147.47 c | 398712 | 3731 104849 264845 | 56739 53277 72 | 3.166 % |
147.53/147.76 c | 399308 | 3731 104849 264845 | 56739 53873 72 | 3.166 % |
147.83/148.06 c | 399965 | 3731 104849 264845 | 56739 54530 72 | 3.166 % |
148.13/148.35 c | 400685 | 3731 104849 264845 | 2147483647 55250 73 | 3.166 % |
148.43/148.69 c | 401477 | 3731 104849 264845 | 2147483647 56042 73 | 3.166 % |
148.83/149.02 c | 402350 | 3731 104849 264845 | 2147483647 56915 74 | 3.166 % |
149.23/149.44 c | 403308 | 3731 104849 264845 | 2147483647 57873 74 | 3.166 % |
149.73/149.91 c | 404362 | 3731 104849 264845 | 2147483647 58927 75 | 3.166 % |
150.23/150.41 c | 405520 | 3731 104849 264845 | 2147483647 60085 77 | 3.166 % |
150.73/150.93 c | 406793 | 3731 104849 264845 | 2147483647 61358 79 | 3.166 % |
151.33/151.57 c | 408193 | 3731 104849 264845 | 2147483647 62758 80 | 3.166 % |
152.03/152.26 c | 409735 | 3731 104849 264845 | 2147483647 64300 81 | 3.167 % |
152.83/153.10 c | 411429 | 3731 104849 264845 | 64565 56295 76 | 3.166 % |
153.63/153.88 c | 413293 | 3731 104849 264845 | 64565 58159 78 | 3.166 % |
154.63/154.80 c | 415342 | 3731 104849 264845 | 64565 60208 80 | 3.166 % |
155.52/155.73 c | 417595 | 3731 104849 264845 | 64565 62461 81 | 3.166 % |
156.62/156.85 c | 420073 | 3731 104849 264845 | 64866 64939 83 | 3.166 % |
157.92/158.19 c | 422799 | 3731 104849 264845 | 64866 56155 79 | 3.166 % |
159.32/159.51 c | 425797 | 3731 104849 264845 | 64866 59153 82 | 3.166 % |
160.62/160.82 c ===============================================================================
160.62/160.82 c restarts : 819
160.62/160.82 c conflicts : 429034 (2684 /sec)
160.62/160.82 c decisions : 3361850 (1.26 % random) (21031 /sec)
160.62/160.82 c propagations : 49221561 (307920 /sec)
160.62/160.82 c conflict literals : 40094567 (13.78 % deleted)
160.62/160.82 c Memory used : 34.41 MB
160.62/160.82 c CPU time : 159.852 s
160.62/160.82 c
160.62/160.83 s SATISFIABLE
160.62/160.84 s SATISFIABLE
160.62/160.84 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 -361 -362 -363 -364 -365 -366 -367 -368 -369 -370 -371 -372 -373 -374 -375 -376 -377 -378 -379 -380 -381 -382 -383 -384 -385 -386 -387 -388 -389 -390 -391 -392 -393 -394 -395 -396 -397 -398 -399 -400 -401 -402 -403 -404 -405 -406 -407 -408 -409 -410 -411 -412 -413 -414 -415 -416 -417 -418 -419 -420 -421 422 -423 -424 -425 -426 -427 -428 -429 -430 -431 -432 -433 -434 -435 -436 -437 -438 -439 -440 -441 -442 -443 -444 -445 -446 -447 -448 -449 -450 -451 -452 453 -454 -455 -456 -457 -458 -459 -460 -461 -462 -463 -464 -465 -466 -467 -468 -469 -470 -471 -472 -473 -474 -475 -476 -477 -478 -479 -480 -481 -482 -483 -484 -485 -486 -487 -488 -489 -490 -491 -492 -493 -494 -495 -496 -497 -498 -499 -500 -501 -502 -503 -504 -505 -506 -507 -508 -509 -510 -511 -512 513 -514 -515 -516 -517 -518 -519 -520 -521 -522 -523 -524 -525 -526 -527 -528 -529 -530 -531 -532 -533 -534 -535 -536 -537 -538 -539 -540 -541 -542 -543 -544 -545 -546 -547 -548 -549 -550 -551 -552 -553 -554 -555 -556 -557 -558 -559 -560 -561 -562 563 -564 -565 -566 -567 -568 -569 -570 -571 -572 -573 -574 -575 -576 -577 -578 -579 -580 -581 -582 -583 -584 -585 -586 -587 -588 -589 590 -591 -592 -593 -594 -595 -596 -597 -598 -599 -600 -601 -602 -603 -604 -605 -606 -607 -608 -609 -610 -611 -612 -613 -614 -615 -616 -617 -618 -619 -620 621 -622 -623 -624 -625 -626 -627 -628 -629 -630 -631 -632 -633 -634 -635 -636 -637 -638 -639 -640 -641 642 -643 -644 -645 -646 -647 -648 -649 -650 -651 -652 -653 -654 -655 -656 -657 -658 -659 -660 -661 -662 -663 -664 -665 -666 -667 -668 -669 -670 -671 -672 -673 -674 -675 -676 -677 -678 -679 -680 -681 -682 -683 -684 -685 -686 -687 -688 -689 -690 -691 -692 -693 -694 695 -696 -697 -698 -699 -700 -701 -702 -703 -704 -705 -706 -707 -708 -709 -710 -711 -712 -713 -714 -715 -716 -717 -718 -719 -720 -721 -722 -723 -724 -725 -726 -727 -728 -729 -730 731 -732 -733 -734 -735 -736 -737 -738 -739 -740 -741 -742 -743 -744 -745 -746 -747 -748 -749 -750 -751 -752 -753 -754 -755 -756 -757 -758 -759 -760 -761 -762 -763 -764 -765 -766 -767 -768 -769 -770 -771 -772 -773 -774 -775 -776 -777 -778 -779 -780 -781 -782 -783 -784 785 -786 -787 -788 -789 -790 -791 -792 -793 -794 -795 -796 -797 -798 -799 -800 -801 -802 -803 -804 -805 -806 -807 -808 -809 -810 -811 -812 -813 -814 -815 -816 -817 -818 -819 -820 -821 -822 -823 -824 -825 -826 -827 -828 -829 -830 -831 -832 -833 -834 -835 836 -837 -838 -839 -840 -841 -842 -843 -844 -845 -846 -847 -848 -849 -850 -851 -852 -853 -854 -855 -856 -857 -858 -859 -860 -861 -862 -863 -864 -865 -866 -867 -868 -869 -870 -871 -872 -873 -874 -875 -876 -877 -878 -879 -880 -881 -882 -883 -884 -885 -886 -887 -888 -889 -890 -891 -892 -893 894 -895 -896 -897 -898 -899 -900 -901 -902 -903 -904 -905 -906 -907 -908 -909 -910 -911 -912 -913 -914 -915 -916 -917 -918 -919 -920 -921 -922 -923 -924 -925 -926 -927 -928 -929 -930 -931 -932 -933 -934 -935 -936 -937 -938 -939 -940 -941 -942 -943 -944 -945 -946 -947 -948 -949 -950 -951 -952 -953 -954 -955 -956 -957 -958 -959 -960 -961 -962 -963 -964 -965 -966 967 -968 -969 -970 -971 -972 -973 -974 -975 -976 -977 -978 -979 -980 -981 -982 -983 -984 -985 -986 -987 -988 -989 -990 -991 -992 -993 994 -995 -996 -997 -998 -999 -1000 -1001 -1002 -1003 -1004 -1005 -1006 -1007 -1008 -1009 -1010 -1011 -1012 -1013 1014 -1015 -1016 -1017 -1018 -1019 -1020 -1021 -1022 -1023 -1024 -1025 -1026 -1027 -1028 -1029 -1030 -1031 -1032 -1033 -1034 -1035 -1036 -1037 -1038 -1039 -1040 -1041 -1042 -1043 -1044 -1045 -1046 -1047 -1048 -1049 -1050 -1051 -1052 -1053 -1054 -1055 -1056 -1057 -1058 -1059 -1060 -1061 -1062 -1063 -1064 -1065 -1066 -1067 1068 -1069 -1070 -1071 -1072 -1073 -1074 -1075 -1076 -1077 -1078 -1079 -1080 -1081 -1082 -1083 -1084 -1085 -1086 -1087 -1088 -1089 -1090 -1091 -1092 -1093 -1094 -1095 -1096 -1097 -1098 -1099 -1100 -1101 -1102 -1103 -1104 -1105 -1106 -1107 -1108 -1109 -1110 -1111 -1112 -1113 -1114 -1115 -1116 -1117 -1118 -1119 1120 -1121 -1122 -1123 -1124 -1125 -1126 -1127 -1128 -1129 -1130 -1131 -1132 -1133 -1134 -1135 -1136 -1137 -1138 -1139 -1140 -1141 -1142 -1143 -1144 -1145 -1146 -1147 -1148 -1149 -1150 -1151 -1152 -1153 -1154 -1155 -1156 -1157 -1158 -1159 -1160 -1161 -1162 -1163 -1164 -1165 -1166 -1167 -1168 -1169 -1170 -1171 -1172 1173 -1174 -1175 -1176 -1177 -1178 -1179 -1180 -1181 -1182 -1183 -1184 1185 -1186 -1187 -1188 -1189 -1190 -1191 -1192 -1193 -1194 -1195 -1196 -1197 -1198 -1199 -1200 -1201 -1202 -1203 -1204 -1205 -1206 -1207 -1208 -1209 -1210 -1211 -1212 -1213 -1214 -1215 -1216 -1217 -1218 -1219 -1220 -1221 -1222 -1223 -1224 -1225 -1226 -1227 -1228 -1229 1230 -1231 -1232 -1233 -1234 -1235 -1236 -1237 -1238 -1239 -1240 -1241 -1242 -1243 -1244 -1245 -1246 -1247 -1248 -1249 -1250 -1251 -1252 -1253 -1254 -1255 -1256 -1257 -1258 -1259 -1260 -1261 -1262 -1263 -1264 -1265 -1266 -1267 -1268 -1269 -1270 -1271 -1272 -1273 -1274 -1275 -1276 -1277 -1278 -1279 -1280 -1281 -1282 -1283 -1284 -1285 -1286 -1287 -1288 -1289 -1290 -1291 -1292 -1293 -1294 -1295 -1296 -1297 -1298 -1299 -1300 -1301 -1302 -1303 -1304 -1305 -1306 -1307 -1308 -1309 -1310 -1311 -1312 -1313 -1314 -1315 -1316 -1317 -1318 -1319 -1320 -1321 1322 -1323 -1324 -1325 -1326 -1327 -1328 -1329 1330 -1331 -1332 -1333 -1334 -1335 -1336 -1337 -1338 -1339 -1340 -1341 -1342 -1343 -1344 -1345 -1346 -1347 -1348 -1349 -1350 -1351 -1352 -1353 -1354 -1355 -1356 -1357 -1358 -1359 -1360 -1361 -1362 -1363 -1364 -1365 -1366 -1367 -1368 -1369 -1370 -1371 -1372 -1373 -1374 -1375 1376 -1377 -1378 -1379 -1380 -1381 -1382 -1383 -1384 -1385 -1386 -1387 -1388 -1389 -1390 -1391 -1392 -1393 -1394 -1395 -1396 -1397 -1398 -1399 -1400 -1401 -1402 -1403 -1404 -1405 -1406 -1407 -1408 -1409 -1410 -1411 -1412 -1413 -1414 -1415 -1416 -1417 -1418 -1419 -1420 -1421 -1422 -1423 -1424 -1425 1426 -1427 -1428 -1429 -1430 -1431 -1432 -1433 -1434 -1435 -1436 -1437 -1438 -1439 -1440 -1441 -1442 -1443 -1444 -1445 -1446 -1447 -1448 -1449 -1450 -1451 -1452 -1453 -1454 -1455 -1456 -1457 -1458 -1459 -1460 -1461 1462 -1463 -1464 -1465 -1466 -1467 -1468 -1469 -1470 -1471 -1472 -1473 -1474 -1475 -1476 -1477 -1478 -1479 -1480 -1481 -1482 -1483 -1484 -1485 -1486 -1487 -1488 -1489 -1490 -1491 -1492 -1493 -1494 -1495 -1496 -1497 -1498 -1499 -1500 -1501 -1502 -1503 -1504 -1505 -1506 1507 -1508 -1509 -1510 -1511 -1512 -1513 -1514 -1515 -1516 -1517 -1518 -1519 -1520 -1521 -1522 -1523 -1524 -1525 -1526 -1527 -1528 -1529 -1530 -1531 -1532 -1533 -1534 -1535 -1536 -1537 -1538 -1539 -1540 -1541 -1542 -1543 -1544 -1545 -1546 -1547 1548 -1549 -1550 -1551 -1552 -1553 -1554 -1555 -1556 -1557 -1558 -1559 -1560 -1561 -1562 -1563 -1564 -1565 -1566 -1567 -1568 -1569 -1570 -1571 -1572 -1573 -1574 -1575 -1576 -1577 -1578 -1579 -1580 -1581 -1582 -1583 -1584 -1585 1586 -1587 -1588 -1589 -1590 -1591 -1592 -1593 -1594 -1595 -1596 -1597 -1598 -1599 -1600 -1601 -1602 -1603 -1604 -1605 -1606 -1607 -1608 -1609 -1610 -1611 -1612 -1613 -1614 -1615 -1616 -1617 -1618 -1619 -1620 -1621 -1622 -1623 -1624 -1625 -1626 -1627 -1628 -1629 -1630 -1631 -1632 -1633 -1634 -1635 -1636 -1637 -1638 -1639 -1640 -1641 -1642 -1643 -1644 -1645 -1646 -1647 -1648 -1649 -1650 -1651 -1652 -1653 -1654 -1655 1656 -1657 -1658 -1659 -1660 -1661 -1662 -1663 -1664 -1665 -1666 -1667 -1668 -1669 -1670 -1671 -1672 -1673 -1674 -1675 -1676 -1677 -1678 -1679 -1680 -1681 -1682 -1683 -1684 -1685 -1686 -1687 -1688 -1689 -1690 -1691 -1692 -1693 -1694 -1695 -1696 -1697 -1698 -1699 -1700 -1701 -1702 -1703 -1704 -1705 -1706 -1707 1708 -1709 -1710 -1711 -1712 -1713 -1714 -1715 -1716 -1717 -1718 -1719 -1720 -1721 -1722 -1723 -1724 -1725 -1726 -1727 -1728 -1729 -1730 -1731 -1732 -1733 -1734 -1735 -1736 -1737 -1738 -1739 -1740 -1741 1742 -1743 -1744 -1745 -1746 -1747 -1748 -1749 -1750 -1751 -1752 -1753 -1754 -1755 -1756 -1757 -1758 -1759 -1760 -1761 -1762 -1763 -1764 -1765 -1766 -1767 -1768 -1769 -1770 -1771 -1772 -1773 -1774 -1775 -1776 -1777 -1778 -1779 -1780 -1781 -1782 -1783 -1784 -1785 -1786 -1787 -1788 1789 -1790 -1791 -1792 -1793 -1794 -1795 -1796 -1797 -1798 -1799 -1800 -1801 -1802 -1803 -1804 -1805 -1806 -1807 -1808 -1809 -1810 -1811 -1812 1813 -1814 -1815 -1816 -1817 -1818 -1819 -1820 -1821 -1822 -1823 -1824 -1825 -1826 -1827 -1828 -1829 -1830 1831 -1832 -1833 -1834 -1835 -1836 -1837 -1838 -1839 -1840 -1841 -1842 -1843 -1844 -1845 -1846 -1847 -1848 -1849 -1850 -1851 -1852 -1853 -1854 -1855 -1856 -1857 -1858 -1859 -1860 -1861 -1862 -1863 -1864 -1865 -1866 -1867 -1868 -1869 -1870 -1871 -1872 -1873 -1874 -1875 -1876 -1877 -1878 -1879 -1880 -1881 -1882 -1883 -1884 -1885 -1886 -1887 -1888 -1889 -1890 -1891 -1892 -1893 -1894 -1895 -1896 -1897 -1898 -1899 -1900 -1901 -1902 -1903 -1904 -1905 -1906 -1907 -1908 -1909 -1910 -1911 -1912 -1913 -1914 -1915 -1916 -1917 -1918 -1919 -1920 -1921 -1922 -1923 -1924 1925 -1926 -1927 -1928 -1929 -1930 -1931 -1932 -1933 -1934 -1935 -1936 -1937 -1938 -1939 -1940 -1941 1942 -1943 -1944 -1945 -1946 -1947 -1948 -1949 -1950 -1951 -1952 -1953 -1954 -1955 -1956 -1957 -1958 -1959 -1960 -1961 -1962 -1963 -1964 -1965 -1966 -1967 -1968 -1969 -1970 -1971 -1972 -1973 -1974 -1975 -1976 -1977 -1978 -1979 -1980 -1981 -1982 -1983 -1984 -1985 -1986 -1987 -1988 -1989 -1990 -1991 -1992 -1993 -1994 -1995 -1996 -1997 -1998 -1999 -2000 -2001 -2002 -2003 -2004 -2005 -2006 -2007 -2008 -2009 -2010 -2011 -2012 -2013 -2014 2015 -2016 -2017 -2018 -2019 -2020 -2021 -2022 -2023 -2024 -2025 -2026 -2027 -2028 -2029 -2030 -2031 -2032 -2033 -2034 -2035 -2036 -2037 -2038 -2039 -2040 -2041 -2042 -2043 -2044 -2045 -2046 -2047 -2048 -2049 -2050 -2051 -2052 -2053 2054 -2055 -2056 -2057 -2058 -2059 -2060 -2061 -2062 -2063 -2064 -2065 -2066 -2067 -2068 -2069 -2070 -2071 -2072 -2073 -2074 -2075 -2076 -2077 -2078 -2079 -2080 -2081 -2082 -2083 -2084 -2085 -2086 -2087 -2088 -2089 -2090 -2091 -2092 -2093 -2094 -2095 -2096 -2097 -2098 -2099 -2100 2101 -2102 -2103 -2104 -2105 -2106 -2107 -2108 -2109 -2110 -2111 -2112 -2113 -2114 -2115 -2116 -2117 -2118 -2119 -2120 -2121 -2122 -2123 -2124 -2125 -2126 -2127 -2128 -2129 -2130 -2131 -2132 -2133 -2134 -2135 -2136 -2137 -2138 -2139 -2140 -2141 -2142 -2143 -2144 2145 -2146 -2147 -2148 -2149 -2150 -2151 -2152 -2153 -2154 -2155 -2156 -2157 -2158 -2159 -2160 -2161 -2162 -2163 -2164 -2165 -2166 -2167 -2168 -2169 -2170 -2171 -2172 -2173 -2174 -2175 -2176 2177 -2178 -2179 -2180 -2181 -2182 -2183 -2184 -2185 -2186 -2187 -2188 -2189 -2190 -2191 -2192 -2193 -2194 -2195 -2196 -2197 -2198 -2199 -2200 -2201 -2202 -2203 -2204 -2205 -2206 -2207 -2208 -2209 -2210 -2211 -2212 -2213 -2214 -2215 -2216 -2217 -2218 -2219 -2220 -2221 -2222 -2223 -2224 -2225 2226 -2227 -2228 -2229 -2230 -2231 -2232 -2233 -2234 -2235 -2236 -2237 -2238 -2239 -2240 2241 -2242 -2243 -2244 -2245 -2246 -2247 -2248 -2249 -2250 -2251 -2252 -2253 -2254 -2255 -2256 -2257 -2258 -2259 -2260 -2261 -2262 -2263 -2264 -2265 -2266 -2267 -2268 -2269 -2270 -2271 -2272 -2273 -2274 -2275 -2276 -2277 -2278 -2279 -2280 -2281 -2282 -2283 -2284 -2285 -2286 -2287 -2288 -2289 -2290 -2291 -2292 2293 -2294 -2295 -2296 -2297 -2298 -2299 -2300 -2301 -2302 -2303 -2304 -2305 -2306 -2307 -2308 -2309 -2310 -2311 -2312 -2313 -2314 -2315 -2316 -2317 -2318 -2319 -2320 -2321 -2322 -2323 -2324 -2325 -2326 -2327 -2328 -2329 -2330 -2331 -2332 -2333 -2334 -2335 -2336 -2337 -2338 -2339 -2340 -2341 -2342 -2343 -2344 -2345 -2346 -2347 -2348 -2349 -2350 -2351 -2352 -2353 -2354 -2355 -2356 -2357 -2358 -2359 -2360 -2361 -2362 -2363 -2364 -2365 -2366 -2367 -2368 -2369 -2370 -2371 -2372 -2373 2374 -2375 -2376 -2377 -2378 -2379 -2380 -2381 -2382 -2383 -2384 -2385 -2386 -2387 -2388 -2389 -2390 -2391 -2392 -2393 -2394 -2395 -2396 -2397 -2398 -2399 2400 -2401 -2402 -2403 -2404 -2405 -2406 -2407 -2408 -2409 -2410 -2411 -2412 -2413 -2414 -2415 -2416 -2417 -2418 -2419 -2420 -2421 -2422 -2423 -2424 -2425 -2426 -2427 -2428 -2429 -2430 -2431 -2432 -2433 -2434 -2435 -2436 -2437 -2438 -2439 -2440 -2441 -2442 -2443 -2444 -2445 -2446 -2447 -2448 -2449 -2450 -2451 -2452 -2453 -2454 2455 -2456 -2457 -2458 -2459 -2460 -2461 -2462 -2463 -2464 -2465 -2466 -2467 -2468 -2469 -2470 -2471 -2472 -2473 -2474 -2475 -2476 -2477 -2478 -2479 -2480 -2481 -2482 -2483 -2484 -2485 -2486 -2487 -2488 -2489 -2490 -2491 -2492 -2493 -2494 -2495 -2496 -2497 -2498 2499 -2500 -2501 -2502 -2503 -2504 -2505 -2506 -2507 -2508 -2509 -2510 -2511 -2512 -2513 -2514 -2515 -2516 -2517 -2518 -2519 -2520 -2521 -2522 -2523 -2524 -2525 -2526 -2527 -2528 -2529 -2530 -2531 -2532 2533 -2534 -2535 -2536 -2537 -2538 -2539 -2540 -2541 -2542 -2543 -2544 -2545 -2546 -2547 -2548 -2549 -2550 -2551 -2552 -2553 -2554 -2555 -2556 -2557 -2558 -2559 -2560 -2561 -2562 -2563 -2564 -2565 -2566 -2567 -2568 -2569 -2570 -2571 -2572 -2573 -2574 -2575 -2576 -2577 -2578 -2579 -2580 2581 -2582 -2583 -2584 -2585 -2586 -2587 -2588 -2589 -2590 -2591 -2592 -2593 -2594 -2595 -2596 -2597 -2598 -2599 -2600 -2601 -2602 -2603 -2604 -2605 -2606 -2607 -2608 -2609 -2610 -2611 2612 -2613 -2614 -2615 -2616 -2617 -2618 -2619 -2620 -2621 -2622 -2623 -2624 -2625 -2626 -2627 -2628 -2629 -2630 2631 -2632 -2633 -2634 -2635 -2636 -2637 -2638 -2639 -2640 -2641 -2642 -2643 -2644 -2645 -2646 -2647 -2648 -2649 -2650 -2651 -2652 -2653 -2654 -2655 -2656 -2657 -2658 -2659 -2660 -2661 -2662 -2663 -2664 -2665 -2666 -2667 -2668 -2669 -2670 -2671 -2672 -2673 -2674 -2675 -2676 -2677 -2678 -2679 -2680 -2681 -2682 -2683 -2684 -2685 -2686 -2687 -2688 -2689 -2690 -2691 -2692 -2693 -2694 -2695 -2696 -2697 -2698 -2699 -2700 -2701 -2702 -2703 -2704 -2705 -2706 -2707 -2708 -2709 2710 -2711 -2712 -2713 -2714 -2715 -2716 -2717 -2718 -2719 -2720 -2721 -2722 -2723 -2724 -2725 -2726 -2727 -2728 -2729 -2730 -2731 -2732 -2733 -2734 -2735 -2736 -2737 -2738 -2739 -2740 -2741 -2742 -2743 -2744 -2745 -2746 -2747 2748 -2749 -2750 -2751 -2752 -2753 -2754 -2755 -2756 -2757 -2758 -2759 -2760 -2761 -2762 -2763 -2764 -2765 -2766 -2767 -2768 -2769 -2770 -2771 -2772 -2773 -2774 -2775 -2776 -2777 -2778 -2779 -2780 -2781 -2782 -2783 -2784 -2785 -2786 -2787 -2788 -2789 -2790 -2791 -2792 -2793 -2794 -2795 -2796 -2797 -2798 -2799 -2800 -2801 -2802 -2803 -2804 -2805 -2806 -2807 -2808 -2809 -2810 -2811 -2812 -2813 -2814 -2815 -2816 2817 -2818 -2819 -2820 -2821 -2822 -2823 -2824 -2825 -2826 -2827 -2828 -2829 -2830 -2831 -2832 -2833 -2834 -2835 -2836 -2837 -2838 -2839 -2840 -2841 -2842 -2843 -2844 -2845 -2846 -2847 -2848 -2849 -2850 -2851 -2852 -2853 -2854 -2855 -2856 -2857 -2858 -2859 -2860 2861 -2862 -2863 -2864 -2865 -2866 -2867 -2868 -2869 -2870 -2871 -2872 -2873 -2874 -2875 -2876 -2877 -2878 -2879 -2880 -2881 -2882 -2883 -2884 -2885 -2886 -2887 -2888 -2889 -2890 -2891 -2892 -2893 -2894 -2895 -2896 -2897 -2898 -2899 -2900 -2901 -2902 -2903 -2904 -2905 -2906 -2907 -2908 -2909 -2910 -2911 -2912 -2913 -2914 -2915 -2916 2917 -2918 -2919 -2920 2921 -2922 -2923 -2924 -2925 -2926 -2927 -2928 -2929 -2930 -2931 -2932 -2933 -2934 -2935 -2936 -2937 -2938 -2939 -2940 -2941 -2942 -2943 -2944 -2945 -2946 -2947 -2948 -2949 -2950 -2951 -2952 -2953 -2954 -2955 -2956 -2957 -2958 -2959 -2960 -2961 -2962 -2963 -2964 -2965 -2966 -2967 -2968 -2969 -2970 -2971 -2972 -2973 -2974 -2975 -2976 -2977 -2978 -2979 -2980 -2981 -2982 -2983 -2984 -2985 -2986 -2987 -2988 -2989 2990 -2991 -2992 -2993 -2994 -2995 -2996 -2997 2998 -2999 -3000 -3001 -3002 -3003 -3004 -3005 -3006 -3007 -3008 -3009 -3010 -3011 -3012 -3013 -3014 -3015 -3016 -3017 -3018 -3019 -3020 -3021 -3022 -3023 -3024 3025 -3026 -3027 -3028 -3029 -3030 -3031 -3032 -3033 -3034 -3035 -3036 -3037 -3038 -3039 -3040 -3041 -3042 -3043 -3044 -3045 -3046 -3047 -3048 -3049 -3050 -3051 -3052 -3053 -3054 3055 -3056 -3057 -3058 -3059 -3060 -3061 -3062 -3063 -3064 -3065 -3066 -3067 -3068 -3069 -3070 -3071 -3072 -3073 -3074 -3075 3076 -3077 -3078 -3079 -3080 -3081 -3082 -3083 -3084 -3085 -3086 -3087 -3088 -3089 -3090 -3091 -3092 -3093 -3094 3095 -3096 -3097 -3098 -3099 -3100 -3101 -3102 -3103 -3104 -3105 -3106 -3107 -3108 -3109 -3110 -3111 -3112 -3113 -3114 -3115 -3116 -3117 -3118 -3119 -3120 -3121 -3122 -3123 -3124 -3125 -3126 -3127 -3128 -3129 -3130 -3131 -3132 -3133 -3134 -3135 -3136 -3137 -3138 -3139 -3140 3141 -3142 -3143 -3144 -3145 -3146 -3147 3148 -3149 -3150 -3151 -3152 -3153 -3154 -3155 -3156 -3157 -3158 -3159 -3160 -3161 -3162 -3163 -3164 -3165 -3166 -3167 -3168 -3169 -3170 3171 -3172 -3173 -3174 -3175 -3176 -3177 -3178 -3179 -3180 -3181 -3182 -3183 -3184 -3185 -3186 -3187 -3188 -3189 -3190 -3191 -3192 -3193 -3194 -3195 -3196 -3197 -3198 -3199 -3200 3201 3202 -3203 -3204 -3205 -3206 3207 -3208 3209 -3210 -3211 -3212 3213 3214 -3215 -3216 -3217 3218 -3219 -3220 3221 -3222 -3223 -3224 3225 -3226 -3227 3228 -3229 -3230 3231 -3232 -3233 -3234 3235 -3236 -3237 -3238 -3239 3240 -3241 -3242 -3243 -3244 -3245 -3246 3247 -3248 3249 -3250 -3251 -3252 -3253 -3254 -3255 -3256 -3257 3258 -3259 3260 -3261 -3262 -3263 -3264 -3265 3266 -3267 3268 -3269 -3270 -3271 3272 -3273 -3274 -3275 -3276 -3277 3278 -3279 -3280 -3281 3282 -3283 -3284 -3285 -3286 3287 -3288 -3289 -3290 -3291 -3292 -3293 -3294 3295 -3296 -3297 3298 -3299 -3300 -3301 -3302 -3303 -3304 -3305 3306 -3307 3308 -3309 -3310 3311 -3312 -3313 -3314 -3315 -3316 3317 -3318 -3319 -3320 -3321 -3322 -3323 3324 3325 -3326 -3327 -3328 -3329 -3330 -3331 -3332 3333 -3334 -3335 -3336 -3337 3338 -3339 -3340 -3341 3342 -3343 -3344 -3345 3346 -3347 -3348 -3349 3350 -3351 -3352 3353 -3354 -3355 -3356 -3357 -3358 -3359 -3360 3361 -3362 -3363 -3364 3365 -3366 -3367 -3368 -3369 -3370 3371 -3372 3373 -3374 -3375 -3376 -3377 3378 -3379 -3380 -3381 -3382 -3383 3384 -3385 -3386 -3387 -3388 -3389 3390 -3391 -3392 3393 -3394 -3395 -3396 -3397 3398 -3399 -3400 3401 -3402 -3403 -3404 -3405 -3406 -3407 3408 -3409 -3410 -3411 -3412 3413 -3414 -3415 -3416 -3417 3418 -3419 -3420 -3421 -3422 -3423 -3424 3425 -3426 -3427 3428 -3429 3430 -3431 -3432 -3433 -3434 -3435 3436 -3437 -3438 -3439 -3440 -3441 3442 -3443 -3444 -3445 -3446 -3447 3448 -3449 -3450 3451 -3452 -3453 -3454 3455 -3456 -3457 -3458 -3459 3460 -3461 -3462 -3463 -3464 -3465 3466 -3467 -3468 -3469 3470 -3471 -3472 -3473 -3474 3475 -3476 -3477 -3478 3479 -3480 -3481 -3482 -3483 -3484 -3485 3486 -3487 3488 -3489 -3490 -3491 -3492 -3493 -3494 3495 -3496 -3497 -3498 -3499 3500 -3501 -3502 3503 -3504 -3505 -3506 -3507 3508 -3509 3510 -3511 -3512 -3513 -3514 -3515 -3516 3517 -3518 -3519 -3520 -3521 -3522 -3523 3524 -3525 -3526 -3527 3528 -3529 -3530 -3531 -3532 3533 -3534 -3535 3536 -3537 -3538 -3539 -3540 -3541 3542 -3543 -3544 -3545 -3546 3547 -3548 -3549 -3550 3551 -3552 3553 -3554 -3555 -3556 -3557 -3558 -3559 -3560 3561 -3562 -3563 -3564 -3565 3566 -3567 -3568 3569 -3570 -3571 -3572 3573 -3574 -3575 -3576 -3577 3578 -3579 -3580 -3581 -3582 3583 -3584 -3585 -3586 -3587 -3588 -3589 3590 -3591 3592 -3593 -3594 -3595 -3596 -3597 -3598 3599 -3600 -3601 -3602 -3603 3604 -3605 3606 -3607 -3608 -3609 -3610 -3611 -3612 -3613 3614 -3615 -3616 3617 -3618 -3619 -3620 -3621 -3622 -3623 3624 -3625 -3626 -3627 -3628 3629 -3630 3631 -3632 -3633 -3634 -3635 -3636 -3637 3638 -3639 -3640 3641 -3642 -3643 -3644 -3645 -3646 3647 -3648 -3649 -3650 -3651 3652 -3653 -3654 -3655 -3656 3657 -3658 -3659 -3660 -3661 3662 -3663 -3664 -3665 -3666 -3667 3668 -3669 3670 -3671 -3672 3673 -3674 -3675 -3676 -3677 -3678 -3679 -3680 3681 -3682 -3683 -3684 -3685 3686 -3687 3688 -3689 -3690 -3691 -3692 -3693 -3694 3695 -3696 -3697 -3698 3699 -3700 -3701 -3702 -3703 -3704 -3705 3706 -3707 -3708 -3709 -3710 3711 -3712 3713 -3714 -3715 3716 -3717 -3718 -3719 -3720 -3721 -3722 -3723 3724 -3725 -3726 3727 -3728 -3729 -3730 -3731 -3732 3733 -3734 -3735 -3736 -3737 3738 -3739 -3740 -3741 -3742 -3743 3744 -3745 -3746 -3747 -3748 3749 -3750 3751 -3752 3753 -3754 -3755 -3756 -3757 -3758 3759 -3760 -3761 -3762 -3763 3764 -3765 -3766 -3767 -3768 3769 -3770 -3771 -3772 -3773 -3774 3775 -3776 -3777 -3778 -3779 -3780 3781 -3782 3783 -3784 -3785 -3786 -3787 3788 -3789 -3790 -3791 -3792 3793 -3794 -3795 -3796 -3797 -3798 -3799 3800 -3801 -3802 -3803 3804 -3805 -3806 -3807 -3808 3809 -3810 -3811 3812 -3813 -3814 -3815 3816 -3817 -3818 -3819 -3820 -3821 -3822 3823 -3824 -3825 -3826 -3827 -3828 3829 -3830 -3831 -3832 3833 3834 -3835 -3836 -3837 3838 -3839 -3840 -3841 3842 3843 -3844 -3845 3846 -3847 -3848 -3849 3850 -3851 -3852 3853 -3854 -3855 -3856 3857 0
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1833753-1242825014/watcher-1833753-1242825014 -o /tmp/evaluation-result-1833753-1242825014/solver-1833753-1242825014 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833753-1242825014.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.99 1.00 1.00 3/65 3757
/proc/meminfo: memFree=1891760/2055920 swapFree=4105488/4192956
[pid=3757] ppid=3755 vsize=5356 CPUtime=0
/proc/3757/stat : 3757 (SatELiteGTI) S 3755 3757 3577 0 -1 4194304 276 0 0 0 0 0 0 0 19 0 1 0 310531263 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 269807747154 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/3757/statm: 1339 235 195 169 0 50 0
[startup+0.00848811 s]
/proc/loadavg: 0.99 1.00 1.00 3/65 3757
/proc/meminfo: memFree=1891760/2055920 swapFree=4105488/4192956
[pid=3757] ppid=3755 vsize=5356 CPUtime=0
/proc/3757/stat : 3757 (SatELiteGTI) S 3755 3757 3577 0 -1 4194304 310 249 0 0 0 0 0 0 20 0 1 0 310531263 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3757/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101501 s]
/proc/loadavg: 0.99 1.00 1.00 3/65 3757
/proc/meminfo: memFree=1891760/2055920 swapFree=4105488/4192956
[pid=3757] ppid=3755 vsize=5356 CPUtime=0
/proc/3757/stat : 3757 (SatELiteGTI) S 3755 3757 3577 0 -1 4194304 310 249 0 0 0 0 0 0 20 0 1 0 310531263 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3757/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301519 s]
/proc/loadavg: 0.99 1.00 1.00 3/65 3757
/proc/meminfo: memFree=1891760/2055920 swapFree=4105488/4192956
[pid=3757] ppid=3755 vsize=5356 CPUtime=0
/proc/3757/stat : 3757 (SatELiteGTI) S 3755 3757 3577 0 -1 4194304 310 249 0 0 0 0 0 0 20 0 1 0 310531263 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3757/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.70157 s]
/proc/loadavg: 0.99 1.00 1.00 3/65 3757
/proc/meminfo: memFree=1891760/2055920 swapFree=4105488/4192956
[pid=3757] ppid=3755 vsize=5356 CPUtime=0
/proc/3757/stat : 3757 (SatELiteGTI) S 3755 3757 3577 0 -1 4194304 310 249 0 0 0 0 0 0 20 0 1 0 310531263 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3757/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50164 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 3763
/proc/meminfo: memFree=1883616/2055920 swapFree=4105488/4192956
[pid=3757] ppid=3755 vsize=5356 CPUtime=0.71
/proc/3757/stat : 3757 (SatELiteGTI) S 3755 3757 3577 0 -1 4194304 336 2042 0 0 0 0 70 1 15 0 1 0 310531263 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3757/statm: 1339 239 197 169 0 50 0
[pid=3763] ppid=3757 vsize=7912 CPUtime=0.76
/proc/3763/stat : 3763 (minisat_static) R 3757 3757 3577 0 -1 4194304 1837 0 0 0 75 1 0 0 25 0 1 0 310531335 8101888 1823 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 0 0 0
/proc/3763/statm: 1978 1823 77 171 0 1805 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 13268
[startup+3.10283 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 3763
/proc/meminfo: memFree=1881504/2055920 swapFree=4105488/4192956
[pid=3757] ppid=3755 vsize=5356 CPUtime=0.71
/proc/3757/stat : 3757 (SatELiteGTI) S 3755 3757 3577 0 -1 4194304 336 2042 0 0 0 0 70 1 15 0 1 0 310531263 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3757/statm: 1339 239 197 169 0 50 0
[pid=3763] ppid=3757 vsize=10468 CPUtime=2.36
/proc/3763/stat : 3763 (minisat_static) R 3757 3757 3577 0 -1 4194304 2483 0 0 0 234 2 0 0 25 0 1 0 310531335 10719232 2469 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/3763/statm: 2617 2469 77 171 0 2444 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 15824
[startup+6.30116 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 3763
/proc/meminfo: memFree=1876704/2055920 swapFree=4105488/4192956
[pid=3757] ppid=3755 vsize=5356 CPUtime=0.71
/proc/3757/stat : 3757 (SatELiteGTI) S 3755 3757 3577 0 -1 4194304 336 2042 0 0 0 0 70 1 15 0 1 0 310531263 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3757/statm: 1339 239 197 169 0 50 0
[pid=3763] ppid=3757 vsize=14724 CPUtime=5.54
/proc/3763/stat : 3763 (minisat_static) R 3757 3757 3577 0 -1 4194304 3558 0 0 0 552 2 0 0 25 0 1 0 310531335 15077376 3544 1992294400 134512640 135215339 4294956240 18446744073709551615 134528650 0 0 4096 3 0 0 0 17 0 0 0
/proc/3763/statm: 3681 3544 77 171 0 3508 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 20080
[startup+12.7028 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 3763
/proc/meminfo: memFree=1869160/2055920 swapFree=4105488/4192956
[pid=3757] ppid=3755 vsize=5356 CPUtime=0.71
/proc/3757/stat : 3757 (SatELiteGTI) S 3755 3757 3577 0 -1 4194304 336 2042 0 0 0 0 70 1 15 0 1 0 310531263 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3757/statm: 1339 239 197 169 0 50 0
[pid=3763] ppid=3757 vsize=21932 CPUtime=11.93
/proc/3763/stat : 3763 (minisat_static) R 3757 3757 3577 0 -1 4194304 5337 0 0 0 1189 4 0 0 25 0 1 0 310531335 22458368 5323 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 0 0 0
/proc/3763/statm: 5483 5323 77 171 0 5310 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 27288
[startup+25.5012 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 3763
/proc/meminfo: memFree=1864040/2055920 swapFree=4105488/4192956
[pid=3757] ppid=3755 vsize=5356 CPUtime=0.71
/proc/3757/stat : 3757 (SatELiteGTI) S 3755 3757 3577 0 -1 4194304 336 2042 0 0 0 0 70 1 15 0 1 0 310531263 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3757/statm: 1339 239 197 169 0 50 0
[pid=3763] ppid=3757 vsize=26408 CPUtime=24.72
/proc/3763/stat : 3763 (minisat_static) R 3757 3757 3577 0 -1 4194304 6449 0 0 0 2466 6 0 0 25 0 1 0 310531335 27041792 6435 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3763/statm: 6602 6435 77 171 0 6429 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 31764
[startup+51.1019 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 3763
/proc/meminfo: memFree=1863208/2055920 swapFree=4105488/4192956
[pid=3757] ppid=3755 vsize=5356 CPUtime=0.71
/proc/3757/stat : 3757 (SatELiteGTI) S 3755 3757 3577 0 -1 4194304 336 2042 0 0 0 0 70 1 15 0 1 0 310531263 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3757/statm: 1339 239 197 169 0 50 0
[pid=3763] ppid=3757 vsize=27200 CPUtime=50.29
/proc/3763/stat : 3763 (minisat_static) R 3757 3757 3577 0 -1 4194304 6656 0 0 0 5022 7 0 0 25 0 1 0 310531335 27852800 6642 1992294400 134512640 135215339 4294956240 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 0 0 0
/proc/3763/statm: 6800 6642 77 171 0 6627 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 32556
[startup+102.305 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 3763
/proc/meminfo: memFree=1857512/2055920 swapFree=4105488/4192956
[pid=3757] ppid=3755 vsize=5356 CPUtime=0.71
/proc/3757/stat : 3757 (SatELiteGTI) S 3755 3757 3577 0 -1 4194304 336 2042 0 0 0 0 70 1 15 0 1 0 310531263 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3757/statm: 1339 239 197 169 0 50 0
[pid=3763] ppid=3757 vsize=32744 CPUtime=101.46
/proc/3763/stat : 3763 (minisat_static) R 3757 3757 3577 0 -1 4194304 8034 0 0 0 10137 9 0 0 25 0 1 0 310531335 33529856 8020 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3763/statm: 8186 8020 77 171 0 8013 0
Current children cumulated CPU time (s) 102.17
Current children cumulated vsize (KiB) 38100
Solver just ended. Dumping a history of the last processes samples
[startup+127.901 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 3763
/proc/meminfo: memFree=1857448/2055920 swapFree=4105488/4192956
[pid=3757] ppid=3755 vsize=5356 CPUtime=0.71
/proc/3757/stat : 3757 (SatELiteGTI) S 3755 3757 3577 0 -1 4194304 336 2042 0 0 0 0 70 1 15 0 1 0 310531263 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3757/statm: 1339 239 197 169 0 50 0
[pid=3763] ppid=3757 vsize=32720 CPUtime=127.04
/proc/3763/stat : 3763 (minisat_static) R 3757 3757 3577 0 -1 4194304 8034 0 0 0 12695 9 0 0 25 0 1 0 310531335 33505280 8020 1992294400 134512640 135215339 4294956240 18446744073709551615 134532906 0 0 4096 3 0 0 0 17 0 0 0
/proc/3763/statm: 8180 8020 77 171 0 8007 0
Current children cumulated CPU time (s) 127.75
Current children cumulated vsize (KiB) 38076
[startup+140.702 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 3763
/proc/meminfo: memFree=1857448/2055920 swapFree=4105488/4192956
[pid=3757] ppid=3755 vsize=5356 CPUtime=0.71
/proc/3757/stat : 3757 (SatELiteGTI) S 3755 3757 3577 0 -1 4194304 336 2042 0 0 0 0 70 1 15 0 1 0 310531263 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3757/statm: 1339 239 197 169 0 50 0
[pid=3763] ppid=3757 vsize=32720 CPUtime=139.83
/proc/3763/stat : 3763 (minisat_static) R 3757 3757 3577 0 -1 4194304 8034 0 0 0 13974 9 0 0 25 0 1 0 310531335 33505280 8020 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3763/statm: 8180 8020 77 171 0 8007 0
Current children cumulated CPU time (s) 140.54
Current children cumulated vsize (KiB) 38076
[startup+153.502 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 3763
/proc/meminfo: memFree=1856744/2055920 swapFree=4105488/4192956
[pid=3757] ppid=3755 vsize=5356 CPUtime=0.71
/proc/3757/stat : 3757 (SatELiteGTI) S 3755 3757 3577 0 -1 4194304 336 2042 0 0 0 0 70 1 15 0 1 0 310531263 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3757/statm: 1339 239 197 169 0 50 0
[pid=3763] ppid=3757 vsize=33644 CPUtime=152.62
/proc/3763/stat : 3763 (minisat_static) R 3757 3757 3577 0 -1 4194304 8242 0 0 0 15253 9 0 0 25 0 1 0 310531335 34451456 8228 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3763/statm: 8411 8228 77 171 0 8238 0
Current children cumulated CPU time (s) 153.33
Current children cumulated vsize (KiB) 39000
[startup+156.701 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 3763
/proc/meminfo: memFree=1856552/2055920 swapFree=4105488/4192956
[pid=3757] ppid=3755 vsize=5356 CPUtime=0.71
/proc/3757/stat : 3757 (SatELiteGTI) S 3755 3757 3577 0 -1 4194304 336 2042 0 0 0 0 70 1 15 0 1 0 310531263 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3757/statm: 1339 239 197 169 0 50 0
[pid=3763] ppid=3757 vsize=33644 CPUtime=155.81
/proc/3763/stat : 3763 (minisat_static) R 3757 3757 3577 0 -1 4194304 8242 0 0 0 15572 9 0 0 25 0 1 0 310531335 34451456 8228 1992294400 134512640 135215339 4294956240 18446744073709551615 134529148 0 0 4096 3 0 0 0 17 0 0 0
/proc/3763/statm: 8411 8228 77 171 0 8238 0
Current children cumulated CPU time (s) 156.52
Current children cumulated vsize (KiB) 39000
[startup+158.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 3763
/proc/meminfo: memFree=1854952/2055920 swapFree=4105488/4192956
[pid=3757] ppid=3755 vsize=5356 CPUtime=0.71
/proc/3757/stat : 3757 (SatELiteGTI) S 3755 3757 3577 0 -1 4194304 336 2042 0 0 0 0 70 1 15 0 1 0 310531263 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3757/statm: 1339 239 197 169 0 50 0
[pid=3763] ppid=3757 vsize=35228 CPUtime=157.42
/proc/3763/stat : 3763 (minisat_static) R 3757 3757 3577 0 -1 4194304 8645 0 0 0 15733 9 0 0 25 0 1 0 310531335 36073472 8631 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3763/statm: 8807 8631 77 171 0 8634 0
Current children cumulated CPU time (s) 158.13
Current children cumulated vsize (KiB) 40584
[startup+159.902 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 3763
/proc/meminfo: memFree=1854952/2055920 swapFree=4105488/4192956
[pid=3757] ppid=3755 vsize=5356 CPUtime=0.71
/proc/3757/stat : 3757 (SatELiteGTI) S 3755 3757 3577 0 -1 4194304 336 2042 0 0 0 0 70 1 15 0 1 0 310531263 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3757/statm: 1339 239 197 169 0 50 0
[pid=3763] ppid=3757 vsize=35228 CPUtime=159.01
/proc/3763/stat : 3763 (minisat_static) R 3757 3757 3577 0 -1 4194304 8645 0 0 0 15892 9 0 0 25 0 1 0 310531335 36073472 8631 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3763/statm: 8807 8631 77 171 0 8634 0
Current children cumulated CPU time (s) 159.72
Current children cumulated vsize (KiB) 40584
[startup+160.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 3763
/proc/meminfo: memFree=1854952/2055920 swapFree=4105488/4192956
[pid=3757] ppid=3755 vsize=5356 CPUtime=0.71
/proc/3757/stat : 3757 (SatELiteGTI) S 3755 3757 3577 0 -1 4194304 336 2042 0 0 0 0 70 1 15 0 1 0 310531263 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3757/statm: 1339 239 197 169 0 50 0
[pid=3763] ppid=3757 vsize=35228 CPUtime=159.41
/proc/3763/stat : 3763 (minisat_static) R 3757 3757 3577 0 -1 4194304 8645 0 0 0 15932 9 0 0 25 0 1 0 310531335 36073472 8631 1992294400 134512640 135215339 4294956240 18446744073709551615 134532672 0 0 4096 3 0 0 0 17 0 0 0
/proc/3763/statm: 8807 8631 77 171 0 8634 0
Current children cumulated CPU time (s) 160.12
Current children cumulated vsize (KiB) 40584
[startup+160.702 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 3763
/proc/meminfo: memFree=1854952/2055920 swapFree=4105488/4192956
[pid=3757] ppid=3755 vsize=5356 CPUtime=0.71
/proc/3757/stat : 3757 (SatELiteGTI) S 3755 3757 3577 0 -1 4194304 336 2042 0 0 0 0 70 1 15 0 1 0 310531263 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3757/statm: 1339 239 197 169 0 50 0
[pid=3763] ppid=3757 vsize=35228 CPUtime=159.81
/proc/3763/stat : 3763 (minisat_static) R 3757 3757 3577 0 -1 4194304 8645 0 0 0 15972 9 0 0 25 0 1 0 310531335 36073472 8631 1992294400 134512640 135215339 4294956240 18446744073709551615 134528708 0 0 4096 3 0 0 0 17 0 0 0
/proc/3763/statm: 8807 8631 77 171 0 8634 0
Current children cumulated CPU time (s) 160.52
Current children cumulated vsize (KiB) 40584
[startup+160.802 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 3763
/proc/meminfo: memFree=1854952/2055920 swapFree=4105488/4192956
[pid=3757] ppid=3755 vsize=5356 CPUtime=0.71
/proc/3757/stat : 3757 (SatELiteGTI) S 3755 3757 3577 0 -1 4194304 336 2042 0 0 0 0 70 1 15 0 1 0 310531263 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3757/statm: 1339 239 197 169 0 50 0
[pid=3763] ppid=3757 vsize=35228 CPUtime=159.91
/proc/3763/stat : 3763 (minisat_static) R 3757 3757 3577 0 -1 4194304 8645 0 0 0 15982 9 0 0 25 0 1 0 310531335 36073472 8631 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 0 0 0
/proc/3763/statm: 8807 8631 77 171 0 8634 0
Current children cumulated CPU time (s) 160.62
Current children cumulated vsize (KiB) 40584
Child status: 10
Real time (s): 160.848
CPU time (s): 160.694
CPU user time (s): 160.569
CPU system time (s): 0.124981
CPU usage (%): 99.9038
Max. virtual memory (cumulated for all children) (KiB): 40584
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 160.569
system time used= 0.124981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11431
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= 2013
runsolver used 0.171973 second user time and 0.499924 second system time
The end
Begin job on node81 at 2009-05-20 15:10:14
IDJOB=1833753
IDBENCH=70915
IDSOLVER=671
FILE ID=node81/1833753-1242825014
PBS_JOBID= 9322519
Free space on /tmp= 126524 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/CRAFTED/edgematching/explicit/em_9_3_5_exp.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1833753-1242825014/watcher-1833753-1242825014 -o /tmp/evaluation-result-1833753-1242825014/solver-1833753-1242825014 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833753-1242825014.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 8c48bd8cd24e7f61acdde18197762986
RANDOM SEED=1104815087
node81.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.234
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.234
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 : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1892240 kB
Buffers: 18224 kB
Cached: 28960 kB
SwapCached: 80860 kB
Active: 40136 kB
Inactive: 89600 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1892240 kB
SwapTotal: 4192956 kB
SwapFree: 4105488 kB
Dirty: 3260 kB
Writeback: 0 kB
Mapped: 13620 kB
Slab: 19708 kB
Committed_AS: 950436 kB
PageTables: 1452 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 126524 MiB
End job on node81 at 2009-05-20 15:12:55