0.00/0.00 c Parsing...
0.00/0.15 c ==============================================================================
0.00/0.15 c | | ORIGINAL | LEARNT | |
0.00/0.15 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.15 c ==============================================================================
0.00/0.15 c | 0 | 153414 900172 | 46024 0 0 nan | 0.000 % |
4.68/4.74 c | 0 | 103568 654290 | -- 0 -- -- | -- | -7606/44166
4.68/4.74 c ==============================================================================
4.68/4.74 c Result : #vars: 430 #clauses: 103568 #literals: 654290
4.68/4.74 c CPU time: 4.71228 s
4.68/4.74 c ==============================================================================
4.89/4.93 c This is MiniSat 2.0 beta
4.89/4.93 c WARNING: for repeatability, setting FPU to use double precision
4.89/4.93 c ============================[ Problem Statistics ]=============================
4.89/4.93 c | |
4.89/4.94 c | Number of variables: 430 |
4.89/4.94 c | Number of clauses: 103568 |
4.92/5.01 c | Parsing time: 0.07 s |
4.92/5.02 c ============================[ Search Statistics ]==============================
4.92/5.02 c | Conflicts | ORIGINAL | LEARNT | Progress |
4.92/5.02 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
4.92/5.02 c ===============================================================================
4.92/5.02 c | 0 | 430 103568 654290 | 34522 0 nan | 0.000 % |
4.92/5.03 c | 100 | 430 103568 654290 | 34522 99 13 | 0.233 % |
4.92/5.04 c | 201 | 430 103568 654290 | 34522 200 14 | 0.233 % |
4.92/5.04 c | 302 | 430 103568 654290 | 34522 301 14 | 0.233 % |
4.92/5.05 c | 415 | 430 103568 654290 | 34522 414 14 | 0.233 % |
4.92/5.06 c | 515 | 430 103568 654290 | 34522 514 15 | 0.233 % |
4.92/5.06 c | 625 | 430 103568 654290 | 34522 624 15 | 0.233 % |
4.92/5.07 c | 747 | 429 103568 654290 | 34522 746 14 | 0.233 % |
4.92/5.07 c | 849 | 429 103568 654290 | 34522 848 14 | 0.236 % |
4.92/5.08 c | 959 | 429 103568 654290 | 34522 958 15 | 0.233 % |
4.92/5.09 c | 1080 | 429 103568 654290 | 34522 1079 15 | 0.233 % |
4.92/5.09 c | 1221 | 429 103568 654290 | 34522 1220 17 | 0.233 % |
4.92/5.10 c | 1321 | 429 103568 654290 | 34522 1320 17 | 0.233 % |
4.92/5.10 c | 1431 | 429 103568 654290 | 34522 1430 17 | 0.233 % |
4.92/5.11 c | 1552 | 429 103568 654290 | 34522 1551 17 | 0.233 % |
4.92/5.11 c | 1685 | 429 103568 654290 | 34522 1684 18 | 0.233 % |
4.92/5.12 c | 1834 | 429 103568 654290 | 34522 1833 18 | 0.235 % |
4.92/5.13 c | 1934 | 429 103568 654290 | 34522 1933 18 | 0.233 % |
4.92/5.14 c | 2044 | 429 103568 654290 | 34522 2043 18 | 0.233 % |
4.92/5.15 c | 2166 | 428 103568 654290 | 34522 2164 18 | 0.466 % |
4.92/5.16 c | 2299 | 428 103568 654290 | 34522 2297 17 | 0.466 % |
4.92/5.16 c | 2445 | 428 103568 654290 | 34522 2443 17 | 0.468 % |
4.92/5.17 c | 2605 | 428 103568 654290 | 34522 2603 18 | 0.467 % |
4.92/5.18 c | 2705 | 428 103568 654290 | 34522 2703 18 | 0.466 % |
4.92/5.18 c | 2815 | 428 103568 654290 | 34522 2813 18 | 0.466 % |
4.92/5.19 c | 2936 | 428 103568 654290 | 34522 2934 19 | 0.466 % |
4.92/5.19 c | 3069 | 428 103568 654290 | 34522 3067 19 | 0.466 % |
4.92/5.21 c | 3216 | 428 103568 654290 | 34522 3214 20 | 0.466 % |
4.92/5.21 c | 3376 | 428 103568 654290 | 34522 3374 19 | 0.466 % |
4.92/5.22 c | 3555 | 428 103568 654290 | 34522 3553 20 | 0.468 % |
4.92/5.23 c | 3657 | 428 103568 654290 | 34522 3655 21 | 0.466 % |
4.92/5.24 c | 3771 | 428 103568 654290 | 34522 3769 21 | 0.466 % |
4.92/5.24 c | 3896 | 428 103568 654290 | 34522 3894 20 | 0.466 % |
4.92/5.25 c | 4029 | 428 103568 654290 | 34522 4027 20 | 0.466 % |
4.92/5.26 c | 4175 | 428 103568 654290 | 34522 4173 20 | 0.467 % |
4.92/5.27 c | 4335 | 428 103568 654290 | 34522 4333 20 | 0.466 % |
4.92/5.28 c | 4521 | 428 103568 654290 | 34522 4519 20 | 0.466 % |
4.92/5.30 c | 4715 | 428 103568 654290 | 34522 4713 20 | 0.466 % |
4.92/5.30 c | 4816 | 428 103568 654290 | 34522 4814 20 | 0.466 % |
4.92/5.31 c | 4926 | 428 103568 654290 | 34522 4924 20 | 0.466 % |
4.92/5.31 c | 5047 | 428 103568 654290 | 34522 5045 20 | 0.466 % |
4.92/5.32 c | 5182 | 428 103568 654290 | 34522 5180 21 | 0.466 % |
4.92/5.33 c | 5328 | 428 103568 654290 | 34522 5326 21 | 0.467 % |
4.92/5.34 c | 5490 | 428 103568 654290 | 34522 5488 21 | 0.466 % |
4.92/5.35 c | 5668 | 427 103568 654290 | 34522 5665 20 | 0.703 % |
4.92/5.36 c | 5861 | 427 103568 654290 | 34522 5858 20 | 0.703 % |
4.92/5.36 c | 6073 | 427 103568 654290 | 34522 6070 20 | 0.703 % |
4.92/5.37 c | 6173 | 427 103568 654290 | 34522 6170 20 | 0.698 % |
4.92/5.38 c | 6283 | 427 103568 654290 | 34522 6280 20 | 0.698 % |
4.92/5.39 c | 6408 | 427 103568 654290 | 34522 6405 20 | 0.700 % |
5.37/5.40 c | 6545 | 427 103568 654290 | 34522 6542 20 | 0.698 % |
5.37/5.42 c | 6693 | 427 103568 654290 | 34522 6690 20 | 0.698 % |
5.37/5.43 c | 6855 | 427 103568 654290 | 34522 6852 20 | 0.698 % |
5.37/5.44 c | 7032 | 427 103568 654290 | 34522 7029 20 | 0.698 % |
5.37/5.45 c | 7225 | 427 103568 654290 | 34522 7222 20 | 0.698 % |
5.37/5.47 c | 7437 | 427 103568 654290 | 34522 7434 19 | 0.700 % |
5.37/5.49 c | 7670 | 426 103568 654290 | 34522 7666 19 | 0.931 % |
5.37/5.50 c | 7772 | 426 103568 654290 | 34522 7768 19 | 0.931 % |
5.47/5.50 c | 7889 | 426 103568 654290 | 34522 7885 20 | 0.931 % |
5.47/5.52 c | 8011 | 426 103568 654290 | 34522 8007 20 | 0.931 % |
5.47/5.53 c | 8147 | 426 103568 654290 | 34522 8143 20 | 0.931 % |
5.47/5.54 c | 8293 | 426 103568 654290 | 34522 8289 20 | 0.931 % |
5.47/5.55 c | 8453 | 426 103568 654290 | 34522 8449 20 | 0.931 % |
5.47/5.57 c | 8634 | 426 103568 654290 | 34522 8630 20 | 0.937 % |
5.47/5.58 c | 8827 | 426 103568 654290 | 34522 8823 20 | 0.931 % |
5.56/5.60 c | 9040 | 426 103568 654290 | 34522 9036 20 | 0.932 % |
5.56/5.62 c | 9274 | 426 103568 654290 | 34522 9270 20 | 0.931 % |
5.56/5.63 c | 9530 | 426 103568 654290 | 34522 9526 20 | 0.931 % |
5.56/5.64 c | 9630 | 426 103568 654290 | 34522 9626 20 | 0.931 % |
5.56/5.65 c | 9742 | 426 103568 654290 | 34522 9738 20 | 0.931 % |
5.56/5.67 c | 9868 | 426 103568 654290 | 34522 9864 20 | 0.935 % |
5.56/5.68 c | 10001 | 426 103568 654290 | 2147483647 9997 20 | 0.931 % |
5.56/5.69 c | 10147 | 426 103568 654290 | 2147483647 10143 20 | 0.931 % |
5.66/5.70 c | 10307 | 426 103568 654290 | 2147483647 10303 20 | 0.931 % |
5.66/5.71 c | 10483 | 425 103568 654290 | 2147483647 10478 20 | 1.163 % |
5.66/5.72 c | 10677 | 425 103568 654290 | 2147483647 10672 20 | 1.163 % |
5.66/5.75 c | 10892 | 425 103568 654290 | 2147483647 10887 20 | 1.169 % |
5.66/5.76 c | 11131 | 425 103568 654290 | 2147483647 11126 20 | 1.165 % |
5.66/5.79 c | 11390 | 425 103568 654290 | 2147483647 11385 21 | 1.163 % |
5.76/5.81 c | 11675 | 425 103568 654290 | 2147483647 11670 21 | 1.165 % |
5.76/5.81 c | 11776 | 425 103568 654290 | 2147483647 11771 21 | 1.163 % |
5.76/5.83 c | 11888 | 425 103568 654290 | 2147483647 11883 21 | 1.163 % |
5.76/5.84 c | 12010 | 425 103568 654290 | 2147483647 12005 21 | 1.165 % |
5.76/5.85 c | 12143 | 425 103568 654290 | 2147483647 12138 21 | 1.163 % |
5.76/5.86 c | 12289 | 425 103568 654290 | 2147483647 12284 21 | 1.163 % |
5.76/5.87 c | 12450 | 425 103568 654290 | 2147483647 12445 21 | 1.163 % |
5.76/5.89 c | 12628 | 424 103568 654290 | 2147483647 12622 21 | 1.396 % |
5.86/5.90 c | 12824 | 424 103568 654290 | 2147483647 12818 21 | 1.396 % |
5.86/5.93 c | 13041 | 424 103568 654290 | 2147483647 13035 21 | 1.396 % |
5.86/5.95 c | 13274 | 424 103568 654290 | 2147483647 13268 21 | 1.396 % |
5.86/5.97 c | 13531 | 424 103568 654290 | 2147483647 13525 21 | 1.396 % |
5.96/6.00 c | 13812 | 422 103568 654290 | 2147483647 13805 21 | 1.861 % |
5.96/6.02 c | 14122 | 422 103568 654290 | 2147483647 14115 22 | 1.866 % |
5.96/6.03 c | 14222 | 422 103568 654290 | 2147483647 14215 22 | 1.861 % |
5.96/6.04 c | 14332 | 422 103568 654290 | 2147483647 14325 22 | 1.863 % |
5.96/6.05 c | 14457 | 422 103568 654290 | 2147483647 14450 21 | 1.861 % |
5.96/6.06 c | 14590 | 422 103568 654290 | 2147483647 14583 22 | 1.861 % |
5.96/6.08 c | 14737 | 422 103568 654290 | 2147483647 14730 22 | 1.861 % |
5.96/6.09 c | 14897 | 422 103568 654290 | 2147483647 14890 22 | 1.863 % |
6.06/6.10 c | 15074 | 422 103568 654290 | 2147483647 15067 22 | 1.862 % |
6.06/6.12 c | 15274 | 421 103568 654290 | 2147483647 15266 22 | 2.094 % |
6.06/6.15 c | 15486 | 421 103568 654290 | 2147483647 15478 21 | 2.094 % |
6.06/6.17 c | 15724 | 421 103568 654290 | 2147483647 15716 21 | 2.094 % |
6.06/6.18 c | 15980 | 421 103568 654290 | 2147483647 15972 21 | 2.094 % |
6.16/6.21 c | 16261 | 421 103568 654290 | 2147483647 16253 22 | 2.095 % |
6.16/6.24 c | 16581 | 421 103568 654290 | 2147483647 16573 22 | 2.094 % |
6.16/6.27 c | 16920 | 421 103568 654290 | 2147483647 16912 22 | 2.094 % |
6.16/6.28 c | 17020 | 421 103568 654290 | 2147483647 17012 22 | 2.098 % |
6.16/6.30 c | 17134 | 421 103568 654290 | 2147483647 17126 22 | 2.094 % |
6.26/6.31 c | 17255 | 421 103568 654290 | 2147483647 17247 22 | 2.094 % |
6.26/6.32 c | 17390 | 421 103568 654290 | 2147483647 17382 22 | 2.098 % |
6.26/6.33 c | 17537 | 421 103568 654290 | 2147483647 17529 22 | 2.094 % |
6.26/6.36 c | 17697 | 421 103568 654290 | 2147483647 17689 22 | 2.094 % |
6.26/6.37 c | 17875 | 421 103568 654290 | 2147483647 17867 22 | 2.094 % |
6.26/6.38 c | 18069 | 421 103568 654290 | 2147483647 18061 22 | 2.094 % |
6.36/6.41 c | 18281 | 421 103568 654290 | 2147483647 18273 22 | 2.094 % |
6.36/6.43 c | 18514 | 421 103568 654290 | 2147483647 18506 22 | 2.094 % |
6.36/6.46 c | 18770 | 421 103568 654290 | 2147483647 18762 23 | 2.094 % |
6.36/6.48 c | 19051 | 421 103568 654290 | 2147483647 19043 23 | 2.094 % |
6.46/6.51 c | 19362 | 421 103568 654290 | 2147483647 19354 23 | 2.094 % |
6.46/6.54 c | 19704 | 421 103568 654290 | 2147483647 19696 23 | 2.098 % |
6.46/6.56 c | 20077 | 421 103568 654290 | 2147483647 20069 23 | 2.094 % |
6.46/6.58 c | 20178 | 421 103568 654290 | 2147483647 20170 23 | 2.094 % |
6.46/6.59 c | 20288 | 421 103568 654290 | 2147483647 20280 23 | 2.094 % |
6.56/6.60 c | 20409 | 421 103568 654290 | 2147483647 20401 23 | 2.094 % |
6.56/6.61 c | 20543 | 421 103568 654290 | 2147483647 20535 23 | 2.098 % |
6.56/6.63 c | 20689 | 421 103568 654290 | 2147483647 20681 23 | 2.094 % |
6.56/6.64 c | 20849 | 421 103568 654290 | 2147483647 20841 23 | 2.094 % |
6.56/6.66 c | 21029 | 421 103568 654290 | 2147483647 21021 23 | 2.094 % |
6.56/6.68 c | 21222 | 421 103568 654290 | 2147483647 21214 23 | 2.094 % |
6.56/6.69 c | 21436 | 421 103568 654290 | 2147483647 21428 23 | 2.094 % |
6.66/6.73 c | 21669 | 421 103568 654290 | 2147483647 21661 23 | 2.094 % |
6.66/6.75 c | 21930 | 421 103568 654290 | 2147483647 21922 23 | 2.094 % |
6.66/6.78 c | 22214 | 421 103568 654290 | 2147483647 22206 23 | 2.094 % |
6.76/6.80 c | 22523 | 421 103568 654290 | 2147483647 22515 23 | 2.098 % |
6.76/6.85 c | 22864 | 421 103568 654290 | 2147483647 22856 24 | 2.094 % |
6.76/6.89 c | 23236 | 421 103568 654290 | 2147483647 23228 24 | 2.094 % |
6.86/6.93 c | 23647 | 421 103568 654290 | 2147483647 23639 24 | 2.094 % |
6.86/6.94 c | 23747 | 421 103568 654290 | 2147483647 23739 24 | 2.094 % |
6.86/6.95 c | 23858 | 421 103568 654290 | 2147483647 23850 24 | 2.094 % |
6.86/6.97 c | 23980 | 421 103568 654290 | 2147483647 23972 24 | 2.094 % |
6.86/6.98 c | 24113 | 421 103568 654290 | 2147483647 24105 24 | 2.094 % |
6.96/7.00 c | 24259 | 421 103568 654290 | 2147483647 24251 24 | 2.096 % |
6.96/7.01 c | 24420 | 421 103568 654290 | 2147483647 24412 24 | 2.094 % |
6.96/7.03 c | 24596 | 421 103568 654290 | 2147483647 24588 24 | 2.094 % |
6.96/7.05 c | 24789 | 421 103568 654290 | 2147483647 24781 24 | 2.094 % |
6.96/7.06 c | 25002 | 421 103568 654290 | 2147483647 24994 24 | 2.098 % |
6.96/7.09 c | 25239 | 421 103568 654290 | 2147483647 25231 24 | 2.094 % |
7.06/7.12 c | 25496 | 421 103568 654290 | 2147483647 25488 24 | 2.094 % |
7.06/7.15 c | 25778 | 421 103568 654290 | 2147483647 25770 24 | 2.096 % |
7.06/7.19 c | 26088 | 421 103568 654290 | 2147483647 26080 24 | 2.094 % |
7.17/7.22 c | 26429 | 421 103568 654290 | 2147483647 26421 24 | 2.094 % |
7.17/7.26 c | 26808 | 421 103568 654290 | 2147483647 26800 24 | 2.094 % |
7.26/7.30 c | 27218 | 421 103568 654290 | 2147483647 27210 24 | 2.094 % |
7.26/7.35 c | 27667 | 421 103568 654290 | 2147483647 27659 24 | 2.094 % |
7.26/7.36 c | 27768 | 421 103568 654290 | 2147483647 27760 24 | 2.094 % |
7.26/7.38 c | 27879 | 421 103568 654290 | 2147483647 27871 24 | 2.098 % |
7.26/7.39 c | 28000 | 421 103568 654290 | 2147483647 27992 24 | 2.098 % |
7.36/7.41 c | 28133 | 421 103568 654290 | 2147483647 28125 24 | 2.094 % |
7.36/7.42 c | 28280 | 421 103568 654290 | 2147483647 28272 24 | 2.094 % |
7.36/7.44 c | 28441 | 421 103568 654290 | 2147483647 28433 24 | 2.094 % |
7.36/7.45 c | 28618 | 421 103568 654290 | 2147483647 28610 24 | 2.094 % |
7.36/7.47 c | 28814 | 421 103568 654290 | 2147483647 28806 24 | 2.094 % |
7.36/7.48 c | 29029 | 421 103568 654290 | 2147483647 29021 24 | 2.098 % |
7.46/7.52 c | 29268 | 421 103568 654290 | 2147483647 29260 24 | 2.094 % |
7.46/7.54 c | 29525 | 421 103568 654290 | 2147483647 29517 24 | 2.094 % |
7.46/7.57 c | 29807 | 421 103568 654290 | 2147483647 29799 24 | 2.094 % |
7.46/7.60 c | 30116 | 421 103568 654290 | 2147483647 30108 25 | 2.094 % |
7.57/7.63 c | 30457 | 421 103568 654290 | 2147483647 30449 25 | 2.094 % |
7.57/7.69 c | 30829 | 421 103568 654290 | 2147483647 30821 25 | 2.094 % |
7.67/7.73 c | 31238 | 421 103568 654290 | 2147483647 31230 25 | 2.094 % |
7.76/7.80 c | 31687 | 421 103568 654290 | 2147483647 31679 25 | 2.094 % |
7.76/7.84 c | 32182 | 421 103568 654290 | 2147483647 32174 25 | 2.098 % |
7.76/7.85 c | 32282 | 421 103568 654290 | 2147483647 32274 25 | 2.094 % |
7.76/7.86 c | 32392 | 421 103568 654290 | 2147483647 32384 25 | 2.096 % |
7.76/7.87 c | 32514 | 421 103568 654290 | 2147483647 32506 25 | 2.094 % |
7.76/7.89 c | 32647 | 421 103568 654290 | 2147483647 32639 25 | 2.094 % |
7.86/7.91 c | 32793 | 421 103568 654290 | 2147483647 32785 25 | 2.094 % |
7.86/7.93 c | 32956 | 421 103568 654290 | 2147483647 32948 25 | 2.096 % |
7.86/7.95 c | 33135 | 421 103568 654290 | 2147483647 33127 25 | 2.094 % |
7.86/7.97 c | 33328 | 421 103568 654290 | 2147483647 33320 25 | 2.094 % |
7.86/7.99 c | 33541 | 421 103568 654290 | 2147483647 33533 25 | 2.094 % |
7.96/8.02 c | 33774 | 421 103568 654290 | 2147483647 33766 25 | 2.094 % |
7.96/8.05 c | 34030 | 421 103568 654290 | 2147483647 34022 25 | 2.094 % |
7.96/8.08 c | 34316 | 421 103568 654290 | 2147483647 34308 25 | 2.094 % |
8.06/8.12 c | 34625 | 421 103568 654290 | 2147483647 34617 25 | 2.094 % |
8.06/8.15 c | 34964 | 421 103568 654290 | 2147483647 34956 25 | 2.094 % |
8.16/8.21 c | 35337 | 421 103568 654290 | 2147483647 35329 25 | 2.094 % |
8.16/8.24 c | 35746 | 421 103568 654290 | 2147483647 35738 25 | 2.098 % |
8.26/8.30 c | 36195 | 421 103568 654290 | 2147483647 36187 26 | 2.094 % |
8.26/8.33 c | 36690 | 421 103568 654290 | 2147483647 36682 26 | 2.096 % |
8.26/8.39 c | 37232 | 421 103568 654290 | 2147483647 37224 26 | 2.094 % |
8.36/8.40 c | 37334 | 421 103568 654290 | 2147483647 37326 26 | 2.094 % |
8.36/8.42 c | 37444 | 421 103568 654290 | 2147483647 37436 26 | 2.094 % |
8.36/8.43 c | 37568 | 421 103568 654290 | 2147483647 37560 26 | 2.094 % |
8.36/8.46 c | 37701 | 421 103568 654290 | 2147483647 37693 26 | 2.094 % |
8.36/8.49 c | 37847 | 421 103568 654290 | 2147483647 37839 26 | 2.098 % |
8.46/8.51 c | 38007 | 421 103568 654290 | 2147483647 37999 26 | 2.094 % |
8.46/8.53 c | 38184 | 421 103568 654290 | 2147483647 38176 26 | 2.094 % |
8.46/8.55 c | 38380 | 421 103568 654290 | 2147483647 38372 26 | 2.094 % |
8.46/8.57 c | 38592 | 421 103568 654290 | 2147483647 38584 26 | 2.094 % |
8.56/8.61 c | 38829 | 421 103568 654290 | 2147483647 38821 26 | 2.094 % |
8.56/8.64 c | 39086 | 421 103568 654290 | 2147483647 39078 26 | 2.094 % |
8.56/8.66 c | 39368 | 421 103568 654290 | 2147483647 39360 26 | 2.094 % |
8.66/8.70 c | 39679 | 421 103568 654290 | 2147483647 39671 26 | 2.094 % |
8.66/8.76 c | 40019 | 421 103568 654290 | 2147483647 40011 26 | 2.094 % |
8.76/8.81 c | 40392 | 421 103568 654290 | 2147483647 40384 26 | 2.094 % |
8.76/8.85 c | 40802 | 421 103568 654290 | 2147483647 40794 26 | 2.096 % |
8.76/8.89 c | 41251 | 421 103568 654290 | 2147483647 41243 26 | 2.098 % |
8.85/8.93 c | 41747 | 421 103568 654290 | 2147483647 41739 26 | 2.094 % |
8.85/9.00 c | 42291 | 421 103568 654290 | 2147483647 42283 26 | 2.094 % |
8.95/9.05 c | 42887 | 421 103568 654290 | 2147483647 42879 26 | 2.097 % |
8.95/9.07 c | 42987 | 421 103568 654290 | 2147483647 42979 26 | 2.099 % |
8.95/9.09 c | 43098 | 421 103568 654290 | 2147483647 43090 26 | 2.100 % |
9.05/9.11 c | 43222 | 421 103568 654290 | 2147483647 43214 26 | 2.094 % |
9.05/9.12 c | 43355 | 421 103568 654290 | 2147483647 43347 26 | 2.094 % |
9.05/9.14 c | 43501 | 421 103568 654290 | 2147483647 43493 26 | 2.094 % |
9.05/9.16 c | 43661 | 421 103568 654290 | 2147483647 43653 26 | 2.094 % |
9.05/9.20 c | 43837 | 420 103568 654290 | 2147483647 43828 26 | 2.326 % |
9.15/9.22 c | 44033 | 420 103568 654290 | 2147483647 44024 26 | 2.326 % |
9.15/9.26 c | 44245 | 420 103568 654290 | 2147483647 44236 26 | 2.326 % |
9.15/9.30 c | 44480 | 420 103568 654290 | 2147483647 44471 26 | 2.326 % |
9.25/9.31 c | 44737 | 420 103568 654290 | 2147483647 44728 26 | 2.329 % |
9.25/9.35 c | 45018 | 420 103568 654290 | 2147483647 45009 26 | 2.327 % |
9.25/9.39 c | 45331 | 420 103568 654290 | 2147483647 45322 26 | 2.326 % |
9.35/9.42 c | 45670 | 420 103568 654290 | 2147483647 45661 26 | 2.326 % |
9.35/9.48 c | 46044 | 420 103568 654290 | 2147483647 46035 26 | 2.326 % |
9.45/9.54 c | 46453 | 420 103568 654290 | 2147483647 46444 26 | 2.326 % |
9.45/9.59 c | 46902 | 420 103568 654290 | 2147483647 46893 26 | 2.326 % |
9.55/9.66 c | 47397 | 420 103568 654290 | 2147483647 47388 26 | 2.332 % |
9.55/9.70 c | 47939 | 420 103568 654290 | 2147483647 47930 26 | 2.326 % |
9.66/9.75 c | 48537 | 420 103568 654290 | 2147483647 48528 26 | 2.326 % |
9.77/9.83 c | 49194 | 420 103568 654290 | 2147483647 49185 26 | 2.326 % |
9.77/9.84 c | 49295 | 420 103568 654290 | 2147483647 49286 26 | 2.326 % |
9.77/9.86 c | 49412 | 420 103568 654290 | 2147483647 49403 26 | 2.326 % |
9.77/9.88 c | 49533 | 420 103568 654290 | 2147483647 49524 26 | 2.333 % |
9.86/9.90 c | 49667 | 420 103568 654290 | 2147483647 49658 26 | 2.326 % |
9.86/9.92 c | 49814 | 420 103568 654290 | 2147483647 49805 26 | 2.329 % |
9.86/9.94 c | 49975 | 420 103568 654290 | 2147483647 49966 26 | 2.327 % |
9.86/9.98 c | 50152 | 420 103568 654290 | 2147483647 50143 26 | 2.326 % |
9.96/10.00 c | 50345 | 420 103568 654290 | 2147483647 50336 26 | 2.329 % |
9.96/10.03 c | 50557 | 420 103568 654290 | 2147483647 50548 26 | 2.326 % |
9.96/10.08 c | 50794 | 420 103568 654290 | 2147483647 50785 26 | 2.326 % |
10.06/10.12 c | 51050 | 420 103568 654290 | 2147483647 51041 26 | 2.329 % |
10.06/10.17 c | 51333 | 420 103568 654290 | 2147483647 51324 26 | 2.326 % |
10.16/10.21 c | 51643 | 420 103568 654290 | 2147483647 51634 26 | 2.326 % |
10.16/10.26 c | 51983 | 420 103568 654290 | 2147483647 51974 26 | 2.326 % |
10.26/10.31 c | 52355 | 420 103568 654290 | 2147483647 52346 26 | 2.326 % |
10.26/10.35 c | 52767 | 420 103568 654290 | 2147483647 52758 26 | 2.329 % |
10.36/10.41 c | 53217 | 420 103568 654290 | 2147483647 53208 25 | 2.326 % |
10.36/10.48 c | 53710 | 420 103568 654290 | 2147483647 53701 26 | 2.326 % |
10.46/10.53 c | 54255 | 420 103568 654290 | 2147483647 54246 26 | 2.326 % |
10.56/10.63 c | 54851 | 420 103568 654290 | 2147483647 54842 26 | 2.326 % |
10.66/10.74 c | 55513 | 419 103568 654290 | 2147483647 55503 26 | 2.559 % |
10.76/10.83 c | 56234 | 419 103568 654290 | 2147483647 56224 26 | 2.559 % |
10.76/10.84 c | 56337 | 419 103568 654290 | 2147483647 56327 26 | 2.559 % |
10.76/10.85 c | 56448 | 419 103568 654290 | 2147483647 56438 26 | 2.559 % |
10.76/10.88 c | 56570 | 419 103568 654290 | 2147483647 56560 26 | 2.559 % |
10.76/10.90 c | 56703 | 419 103568 654290 | 2147483647 56693 26 | 2.559 % |
10.86/10.92 c | 56850 | 419 103568 654290 | 2147483647 56840 26 | 2.559 % |
10.86/10.95 c | 57010 | 419 103568 654290 | 2147483647 57000 26 | 2.559 % |
10.86/10.99 c | 57186 | 419 103568 654290 | 2147483647 57176 26 | 2.559 % |
10.96/11.03 c | 57381 | 419 103568 654290 | 2147483647 57371 26 | 2.559 % |
10.96/11.07 c | 57593 | 419 103568 654290 | 2147483647 57583 26 | 2.559 % |
11.05/11.11 c | 57826 | 419 103568 654290 | 2147483647 57816 26 | 2.559 % |
11.05/11.15 c | 58084 | 419 103568 654290 | 2147483647 58074 26 | 2.559 % |
11.15/11.20 c | 58365 | 419 103568 654290 | 2147483647 58355 26 | 2.559 % |
11.15/11.24 c | 58675 | 419 103568 654290 | 2147483647 58665 26 | 2.559 % |
11.15/11.30 c | 59018 | 419 103568 654290 | 2147483647 59008 26 | 2.568 % |
11.25/11.36 c | 59390 | 419 103568 654290 | 2147483647 59380 26 | 2.559 % |
11.35/11.43 c | 59801 | 419 103568 654290 | 2147483647 59791 26 | 2.559 % |
11.35/11.49 c | 60251 | 419 103568 654290 | 2147483647 60241 26 | 2.559 % |
11.45/11.57 c | 60744 | 419 96934 618927 | 2147483647 60702 26 | 2.559 % |
11.55/11.67 c | 61286 | 419 96934 618927 | 2147483647 61244 26 | 2.559 % |
11.65/11.71 c | 61882 | 419 96934 618927 | 2147483647 61840 26 | 2.559 % |
11.75/11.82 c | 62538 | 419 96934 618927 | 2147483647 62496 27 | 2.559 % |
11.85/11.92 c | 63258 | 419 96934 618927 | 2147483647 63216 27 | 2.559 % |
11.96/12.05 c | 64051 | 419 96934 618927 | 2147483647 64009 27 | 2.562 % |
12.06/12.11 c | 64151 | 419 96934 618927 | 2147483647 64109 27 | 2.559 % |
12.06/12.12 c | 64262 | 419 96934 618927 | 2147483647 64220 27 | 2.559 % |
12.06/12.14 c | 64385 | 419 96934 618927 | 2147483647 64343 27 | 2.559 % |
12.06/12.16 c | 64520 | 419 96934 618927 | 2147483647 64478 27 | 2.559 % |
12.06/12.20 c | 64669 | 419 96934 618927 | 2147483647 64627 27 | 2.559 % |
12.15/12.22 c | 64829 | 419 96934 618927 | 2147483647 64787 27 | 2.559 % |
12.15/12.25 c | 65007 | 419 96934 618927 | 2147483647 64965 27 | 2.559 % |
12.15/12.29 c | 65200 | 419 96934 618927 | 2147483647 65158 27 | 2.559 % |
12.25/12.33 c | 65412 | 419 96934 618927 | 2147483647 65370 27 | 2.559 % |
12.25/12.36 c | 65647 | 419 96934 618927 | 2147483647 65605 27 | 2.559 % |
12.25/12.38 c | 65903 | 419 96934 618927 | 2147483647 65861 27 | 2.559 % |
12.35/12.44 c | 66185 | 419 96934 618927 | 2147483647 66143 27 | 2.559 % |
12.35/12.49 c | 66495 | 419 96934 618927 | 2147483647 66453 27 | 2.559 % |
12.45/12.55 c | 66834 | 419 96934 618927 | 2147483647 66792 27 | 2.559 % |
12.45/12.59 c | 67206 | 419 96934 618927 | 2147483647 67164 27 | 2.559 % |
12.55/12.67 c | 67615 | 419 96934 618927 | 2147483647 67573 27 | 2.559 % |
12.65/12.73 c | 68067 | 419 96934 618927 | 2147483647 68025 27 | 2.562 % |
12.75/12.86 c | 68560 | 419 96934 618927 | 2147483647 68518 27 | 2.559 % |
12.85/12.94 c | 69102 | 419 96934 618927 | 2147483647 69060 27 | 2.559 % |
12.95/13.02 c | 69700 | 419 96934 618927 | 2147483647 69658 27 | 2.559 % |
13.06/13.14 c | 70355 | 419 96934 618927 | 2147483647 70313 27 | 2.566 % |
13.16/13.22 c | 71075 | 419 96934 618927 | 2147483647 71033 27 | 2.559 % |
13.25/13.38 c | 71869 | 419 96934 618927 | 2147483647 71827 27 | 2.559 % |
13.45/13.58 c | 72740 | 419 96934 618927 | 2147483647 72698 27 | 2.559 % |
13.45/13.60 c | 72840 | 419 96934 618927 | 2147483647 72798 27 | 2.564 % |
13.55/13.62 c | 72950 | 419 96934 618927 | 2147483647 72908 27 | 2.564 % |
13.55/13.63 c | 73071 | 419 96934 618927 | 2147483647 73029 27 | 2.564 % |
13.55/13.67 c | 73205 | 419 96934 618927 | 2147483647 73163 27 | 2.559 % |
13.55/13.69 c | 73352 | 419 96934 618927 | 2147483647 73310 27 | 2.559 % |
13.65/13.71 c | 73512 | 419 96934 618927 | 2147483647 73470 27 | 2.559 % |
13.65/13.77 c | 73688 | 419 96934 618927 | 2147483647 73646 27 | 2.559 % |
13.75/13.81 c | 73882 | 419 96934 618927 | 2147483647 73840 27 | 2.559 % |
13.75/13.85 c | 74094 | 419 96934 618927 | 2147483647 74052 27 | 2.559 % |
13.75/13.90 c | 74327 | 419 96934 618927 | 2147483647 74285 27 | 2.559 % |
13.85/13.96 c | 74584 | 419 96934 618927 | 2147483647 74542 27 | 2.559 % |
13.95/14.00 c | 74871 | 419 96934 618927 | 2147483647 74829 27 | 2.559 % |
13.95/14.07 c | 75182 | 419 96934 618927 | 2147483647 75140 27 | 2.559 % |
14.05/14.12 c | 75529 | 419 96934 618927 | 2147483647 75487 27 | 2.559 % |
14.15/14.21 c | 75901 | 419 96934 618927 | 2147483647 75859 27 | 2.559 % |
14.15/14.29 c | 76310 | 419 96934 618927 | 2147483647 76268 27 | 2.559 % |
14.25/14.37 c | 76760 | 419 96934 618927 | 2147483647 76718 27 | 2.559 % |
14.35/14.48 c | 77256 | 419 96934 618927 | 2147483647 77214 27 | 2.559 % |
14.45/14.58 c | 77799 | 419 96934 618927 | 2147483647 77757 27 | 2.559 % |
14.55/14.68 c | 78398 | 419 96934 618927 | 2147483647 78356 27 | 2.559 % |
14.65/14.78 c | 79055 | 419 96934 618927 | 2147483647 79013 27 | 2.559 % |
14.85/14.94 c | 79780 | 419 96934 618927 | 2147483647 79738 27 | 2.559 % |
14.95/15.05 c | 80574 | 419 96934 618927 | 2147483647 80532 28 | 2.559 % |
15.15/15.22 c | 81445 | 419 96934 618927 | 2147483647 81403 28 | 2.559 % |
15.45/15.54 c | 82406 | 419 96934 618927 | 2147483647 82364 28 | 2.559 % |
15.45/15.56 c | 82506 | 419 96934 618927 | 2147483647 82464 28 | 2.564 % |
15.45/15.59 c | 82616 | 419 96934 618927 | 2147483647 82574 28 | 2.559 % |
15.55/15.62 c | 82739 | 419 96934 618927 | 2147483647 82697 28 | 2.559 % |
15.55/15.65 c | 82872 | 419 96934 618927 | 2147483647 82830 28 | 2.559 % |
15.55/15.67 c | 83018 | 419 96934 618927 | 2147483647 82976 28 | 2.559 % |
15.65/15.74 c | 83178 | 419 96934 618927 | 2147483647 83136 28 | 2.559 % |
15.74/15.80 c | 83354 | 419 96934 618927 | 2147483647 83312 28 | 2.562 % |
15.74/15.84 c | 83550 | 419 96934 618927 | 2147483647 83508 28 | 2.559 % |
15.85/15.90 c | 83762 | 419 96934 618927 | 2147483647 83720 28 | 2.559 % |
15.85/15.95 c | 83995 | 419 96934 618927 | 2147483647 83953 28 | 2.559 % |
15.95/16.00 c | 84251 | 419 96934 618927 | 2147483647 84209 28 | 2.562 % |
15.95/16.04 c | 84532 | 419 96934 618927 | 2147483647 84490 28 | 2.559 % |
16.05/16.14 c | 84841 | 419 96934 618927 | 2147483647 84799 28 | 2.559 % |
16.05/16.19 c | 85184 | 419 96934 618927 | 2147483647 85142 28 | 2.559 % |
16.15/16.28 c | 85557 | 419 96934 618927 | 2147483647 85515 28 | 2.559 % |
16.25/16.37 c | 85968 | 419 96934 618927 | 2147483647 85926 28 | 2.559 % |
16.36/16.46 c | 86417 | 419 96934 618927 | 2147483647 86375 28 | 2.559 % |
16.46/16.54 c | 86911 | 419 96934 618927 | 2147483647 86869 28 | 2.564 % |
16.55/16.66 c | 87453 | 419 96934 618927 | 2147483647 87411 28 | 2.559 % |
16.65/16.79 c | 88051 | 419 96934 618927 | 2147483647 88009 28 | 2.559 % |
16.85/17.00 c | 88707 | 419 96934 618927 | 2147483647 88665 28 | 2.559 % |
17.05/17.12 c | 89427 | 419 96934 618927 | 2147483647 89385 28 | 2.559 % |
17.25/17.30 c | 90219 | 419 96934 618927 | 2147483647 90177 28 | 2.559 % |
17.35/17.47 c | 91091 | 419 96934 618927 | 2147483647 91049 28 | 2.562 % |
17.55/17.61 c | 92050 | 419 96934 618927 | 2147483647 92008 28 | 2.559 % |
17.95/18.08 c | 93103 | 419 96934 618927 | 2147483647 93061 28 | 2.559 % |
18.05/18.11 c | 93203 | 419 96934 618927 | 2147483647 93161 28 | 2.559 % |
18.05/18.13 c | 93313 | 419 96934 618927 | 2147483647 93271 28 | 2.559 % |
18.05/18.14 c | 93434 | 419 96934 618927 | 2147483647 93392 28 | 2.559 % |
18.05/18.19 c | 93568 | 419 96934 618927 | 2147483647 93526 28 | 2.563 % |
18.15/18.23 c | 93714 | 419 96934 618927 | 2147483647 93672 28 | 2.559 % |
18.15/18.26 c | 93875 | 419 96934 618927 | 2147483647 93833 28 | 2.559 % |
18.25/18.32 c | 94051 | 419 96934 618927 | 2147483647 94009 28 | 2.559 % |
18.25/18.36 c | 94244 | 419 96934 618927 | 2147483647 94202 28 | 2.559 % |
18.34/18.40 c | 94457 | 419 96934 618927 | 2147483647 94415 28 | 2.559 % |
18.34/18.46 c | 94691 | 419 96934 618927 | 2147483647 94649 28 | 2.559 % |
18.44/18.52 c | 94949 | 419 96934 618927 | 2147483647 94907 28 | 2.559 % |
18.44/18.57 c | 95230 | 419 96934 618927 | 2147483647 95188 28 | 2.559 % |
18.55/18.63 c | 95544 | 419 96934 618927 | 2147483647 95502 28 | 2.559 % |
18.55/18.70 c | 95884 | 419 96934 618927 | 2147483647 95842 28 | 2.559 % |
18.65/18.79 c | 96256 | 419 96934 618927 | 2147483647 96214 28 | 2.564 % |
18.74/18.87 c | 96666 | 419 96934 618927 | 2147483647 96624 28 | 2.559 % |
18.84/18.96 c | 97115 | 419 96934 618927 | 2147483647 97073 28 | 2.559 % |
18.94/19.08 c | 97610 | 419 96934 618927 | 2147483647 97568 28 | 2.559 % |
19.04/19.17 c | 98153 | 419 96934 618927 | 2147483647 98111 28 | 2.559 % |
19.14/19.28 c | 98750 | 419 96934 618927 | 2147483647 98708 28 | 2.559 % |
19.24/19.37 c | 99405 | 419 96934 618927 | 2147483647 99363 28 | 2.559 % |
19.44/19.51 c | 100127 | 419 96934 618927 | 2147483647 100085 28 | 2.559 % |
19.54/19.66 c | 100919 | 419 96934 618927 | 2147483647 100877 28 | 2.559 % |
19.74/19.81 c | 101791 | 419 96934 618927 | 2147483647 101749 28 | 2.559 % |
19.94/20.05 c | 102749 | 419 96934 618927 | 2147483647 102707 28 | 2.559 % |
20.14/20.27 c | 103802 | 419 96934 618927 | 2147483647 103760 28 | 2.559 % |
20.45/20.58 c | 104962 | 419 96934 618927 | 2147483647 104920 28 | 2.559 % |
20.54/20.63 c | 105062 | 419 96934 618927 | 2147483647 105020 28 | 2.559 % |
20.54/20.68 c | 105172 | 419 96934 618927 | 2147483647 105130 28 | 2.559 % |
20.64/20.72 c | 105297 | 419 96934 618927 | 2147483647 105255 28 | 2.559 % |
20.64/20.77 c | 105432 | 419 96934 618927 | 2147483647 105390 28 | 2.559 % |
20.64/20.80 c | 105578 | 419 96934 618927 | 2147483647 105536 28 | 2.559 % |
20.75/20.84 c | 105740 | 419 96934 618927 | 2147483647 105698 28 | 2.559 % |
20.75/20.88 c | 105916 | 419 96934 618927 | 2147483647 105874 28 | 2.559 % |
20.84/20.93 c | 106110 | 419 96934 618927 | 2147483647 106068 28 | 2.559 % |
20.84/20.96 c | 106322 | 419 96934 618927 | 2147483647 106280 28 | 2.564 % |
20.84/20.99 c | 106555 | 419 96934 618927 | 2147483647 106513 28 | 2.559 % |
21.04/21.17 c | 106811 | 419 96934 618927 | 2147483647 106769 28 | 2.559 % |
21.14/21.23 c | 107094 | 419 96934 618927 | 2147483647 107052 28 | 2.559 % |
21.24/21.34 c | 107404 | 419 96934 618927 | 2147483647 107362 28 | 2.559 % |
21.34/21.43 c | 107743 | 419 96934 618927 | 2147483647 107701 28 | 2.559 % |
21.44/21.51 c | 108115 | 419 96934 618927 | 2147483647 108073 28 | 2.564 % |
21.54/21.60 c | 108524 | 419 96934 618927 | 2147483647 108482 28 | 2.564 % |
21.64/21.73 c | 108973 | 419 96934 618927 | 2147483647 108931 28 | 2.559 % |
21.74/21.82 c | 109467 | 419 96934 618927 | 2147483647 109425 28 | 2.559 % |
21.84/21.91 c | 110010 | 419 96934 618927 | 2147483647 109968 28 | 2.559 % |
21.94/22.07 c | 110606 | 419 96934 618927 | 2147483647 110564 28 | 2.559 % |
22.04/22.18 c | 111270 | 419 96934 618927 | 2147483647 111228 28 | 2.559 % |
22.24/22.34 c | 111992 | 419 96934 618927 | 2147483647 111950 28 | 2.559 % |
22.44/22.56 c | 112785 | 419 96934 618927 | 2147483647 112743 28 | 2.559 % |
22.64/22.75 c | 113656 | 419 96934 618927 | 2147483647 113614 28 | 2.559 % |
22.94/23.05 c | 114615 | 419 96934 618927 | 2147483647 114573 28 | 2.559 % |
23.24/23.32 c | 115668 | 419 96934 618927 | 2147483647 115626 29 | 2.564 % |
23.44/23.55 c | 116826 | 419 96934 618927 | 2147483647 116784 29 | 2.559 % |
23.74/23.81 c | 118101 | 419 96934 618927 | 2147483647 118059 29 | 2.559 % |
23.74/23.84 c | 118203 | 419 96934 618927 | 2147483647 118161 29 | 2.559 % |
23.74/23.87 c | 118314 | 419 96934 618927 | 2147483647 118272 29 | 2.559 % |
23.84/23.90 c | 118438 | 419 96934 618927 | 2147483647 118396 29 | 2.559 % |
23.84/23.96 c | 118575 | 419 96934 618927 | 2147483647 118533 29 | 2.559 % |
23.94/24.06 c | 118721 | 419 96934 618927 | 2147483647 118679 29 | 2.559 % |
23.94/24.10 c | 118882 | 419 96934 618927 | 2147483647 118840 29 | 2.559 % |
24.04/24.17 c | 119058 | 419 96934 618927 | 2147483647 119016 29 | 2.559 % |
24.14/24.24 c | 119251 | 419 96934 618927 | 2147483647 119209 29 | 2.559 % |
24.14/24.29 c | 119464 | 419 96934 618927 | 2147483647 119422 29 | 2.559 % |
24.24/24.35 c | 119697 | 419 96934 618927 | 2147483647 119655 29 | 2.562 % |
24.33/24.40 c | 119955 | 419 96934 618927 | 2147483647 119913 29 | 2.559 % |
24.43/24.50 c | 120236 | 419 96934 618927 | 2147483647 120194 29 | 2.559 % |
24.43/24.57 c | 120545 | 419 96934 618927 | 2147483647 120503 29 | 2.559 % |
24.63/24.79 c | 120886 | 419 96934 618927 | 2147483647 120844 29 | 2.559 % |
24.83/24.92 c | 121258 | 419 96934 618927 | 2147483647 121216 29 | 2.564 % |
24.83/24.99 c | 121667 | 419 96934 618927 | 2147483647 121625 29 | 2.559 % |
25.03/25.12 c | 122116 | 419 96934 618927 | 2147483647 122074 29 | 2.559 % |
25.14/25.26 c | 122610 | 419 96934 618927 | 2147483647 122568 29 | 2.559 % |
25.24/25.37 c | 123153 | 419 96934 618927 | 2147483647 123111 29 | 2.559 % |
25.33/25.48 c | 123749 | 419 96934 618927 | 2147483647 123707 29 | 2.559 % |
25.53/25.62 c | 124406 | 419 96934 618927 | 2147483647 124364 29 | 2.566 % |
25.63/25.72 c | 125126 | 419 96934 618927 | 2147483647 125084 29 | 2.559 % |
25.83/25.98 c | 125918 | 419 96934 618927 | 2147483647 125876 29 | 2.559 % |
26.14/26.26 c | 126789 | 419 96934 618927 | 2147483647 126747 29 | 2.559 % |
26.44/26.54 c | 127749 | 419 96934 618927 | 2147483647 127707 29 | 2.559 % |
26.74/26.83 c | 128802 | 419 96934 618927 | 2147483647 128760 29 | 2.559 % |
26.94/27.09 c | 129962 | 419 96934 618927 | 2147483647 129920 29 | 2.559 % |
27.34/27.44 c | 131236 | 418 96934 618927 | 2147483647 131193 29 | 2.791 % |
27.64/27.76 c | 132637 | 418 96934 618927 | 2147483647 132594 29 | 2.791 % |
27.64/27.79 c | 132737 | 418 96934 618927 | 2147483647 132694 29 | 2.791 % |
27.74/27.85 c | 132848 | 418 96934 618927 | 2147483647 132805 29 | 2.791 % |
27.84/27.93 c | 132969 | 418 96934 618927 | 2147483647 132926 29 | 2.791 % |
27.84/27.99 c | 133102 | 418 96934 618927 | 2147483647 133059 29 | 2.791 % |
27.94/28.03 c | 133249 | 418 96934 618927 | 2147483647 133206 29 | 2.791 % |
27.94/28.08 c | 133409 | 418 96934 618927 | 2147483647 133366 29 | 2.792 % |
28.04/28.14 c | 133588 | 418 96934 618927 | 2147483647 133545 29 | 2.791 % |
28.14/28.21 c | 133782 | 418 96934 618927 | 2147483647 133739 29 | 2.791 % |
28.14/28.25 c | 133994 | 418 96934 618927 | 2147483647 133951 29 | 2.791 % |
28.24/28.33 c | 134233 | 418 96934 618927 | 2147483647 134190 29 | 2.791 % |
28.34/28.41 c | 134489 | 418 96934 618927 | 2147483647 134446 29 | 2.796 % |
28.44/28.53 c | 134770 | 417 96934 618927 | 2147483647 134726 29 | 3.029 % |
28.44/28.59 c | 135080 | 417 96934 618927 | 2147483647 135036 29 | 3.029 % |
28.64/28.71 c | 135420 | 417 96934 618927 | 2147483647 135376 29 | 3.024 % |
28.74/28.82 c | 135792 | 417 96934 618927 | 2147483647 135748 29 | 3.024 % |
28.84/28.92 c | 136203 | 417 96934 618927 | 2147483647 136159 29 | 3.024 % |
28.94/29.07 c | 136652 | 417 96934 618927 | 2147483647 136608 30 | 3.024 % |
29.04/29.18 c | 137146 | 417 96934 618927 | 2147483647 137102 30 | 3.024 % |
29.24/29.32 c | 137688 | 417 96934 618927 | 2147483647 137644 30 | 3.024 % |
29.33/29.41 c | 138284 | 417 96934 618927 | 2147483647 138240 30 | 3.024 % |
29.43/29.60 c | 138940 | 417 96934 618927 | 2147483647 138896 30 | 3.024 % |
29.64/29.78 c | 139661 | 417 96934 618927 | 2147483647 139617 30 | 3.024 % |
29.83/29.97 c | 140454 | 417 96934 618927 | 2147483647 140410 30 | 3.024 % |
30.13/30.26 c | 141325 | 417 96934 618927 | 2147483647 141281 30 | 3.029 % |
30.43/30.53 c | 142283 | 417 96934 618927 | 2147483647 142239 30 | 3.024 % |
30.73/30.82 c | 143336 | 417 96934 618927 | 2147483647 143292 30 | 3.024 % |
30.93/31.07 c | 144494 | 417 96934 618927 | 2147483647 144450 30 | 3.024 % |
31.23/31.33 c | 145769 | 417 96934 618927 | 2147483647 145725 30 | 3.024 % |
31.63/31.73 c | 147169 | 417 96934 618927 | 2147483647 147125 30 | 3.024 % |
32.13/32.22 c | 148710 | 417 96934 618927 | 2147483647 148666 30 | 3.024 % |
32.13/32.27 c | 148810 | 417 96934 618927 | 2147483647 148766 30 | 3.027 % |
32.13/32.29 c | 148920 | 417 96934 618927 | 2147483647 148876 30 | 3.024 % |
32.23/32.33 c | 149042 | 417 96934 618927 | 2147483647 148998 30 | 3.024 % |
32.23/32.39 c | 149175 | 417 96934 618927 | 2147483647 149131 30 | 3.024 % |
32.33/32.45 c | 149321 | 417 96934 618927 | 2147483647 149277 30 | 3.024 % |
32.43/32.53 c | 149482 | 417 96934 618927 | 2147483647 149438 30 | 3.024 % |
32.43/32.58 c | 149662 | 417 96934 618927 | 2147483647 149618 30 | 3.024 % |
32.53/32.64 c | 149855 | 417 96934 618927 | 2147483647 149811 30 | 3.024 % |
32.63/32.70 c | 150067 | 417 96934 618927 | 2147483647 150023 30 | 3.024 % |
32.73/32.82 c | 150300 | 417 96934 618927 | 2147483647 150256 30 | 3.024 % |
32.83/32.91 c | 150556 | 417 96934 618927 | 2147483647 150512 30 | 3.024 % |
32.93/33.05 c | 150839 | 417 96934 618927 | 2147483647 150795 30 | 3.024 % |
33.03/33.16 c | 151150 | 417 96934 618927 | 2147483647 151106 30 | 3.030 % |
33.13/33.25 c | 151490 | 417 96934 618927 | 2147483647 151446 30 | 3.024 % |
33.22/33.34 c | 151867 | 417 96934 618927 | 2147483647 151823 30 | 3.024 % |
33.32/33.46 c | 152278 | 417 96934 618927 | 2147483647 152234 30 | 3.024 % |
33.42/33.59 c | 152727 | 417 96934 618927 | 2147483647 152683 30 | 3.024 % |
33.63/33.73 c | 153220 | 417 96934 618927 | 2147483647 153176 30 | 3.024 % |
33.83/33.90 c | 153763 | 417 96934 618927 | 2147483647 153719 30 | 3.024 % |
33.83/33.99 c | 154361 | 417 96934 618927 | 2147483647 154317 30 | 3.024 % |
34.03/34.15 c | 155019 | 417 96934 618927 | 2147483647 154975 30 | 3.024 % |
34.33/34.46 c | 155740 | 417 96934 618927 | 2147483647 155696 30 | 3.024 % |
34.53/34.68 c | 156535 | 417 96934 618927 | 2147483647 156491 30 | 3.024 % |
35.13/35.21 c | 157406 | 417 96934 618927 | 2147483647 157362 30 | 3.024 % |
35.53/35.61 c | 158364 | 417 96934 618927 | 2147483647 158320 30 | 3.024 % |
35.92/36.01 c | 159422 | 417 96934 618927 | 2147483647 159378 30 | 3.024 % |
36.32/36.45 c | 160581 | 417 96934 618927 | 2147483647 160537 30 | 3.024 % |
37.03/37.17 c | 161854 | 417 96934 618927 | 2147483647 161810 31 | 3.024 % |
37.83/37.95 c | 163257 | 417 96934 618927 | 2147483647 163213 31 | 3.024 % |
38.34/38.44 c | 164797 | 417 96934 618927 | 2147483647 164753 31 | 3.024 % |
39.03/39.12 c | 166491 | 417 96934 618927 | 2147483647 166447 31 | 3.024 % |
39.03/39.18 c | 166591 | 417 96934 618927 | 2147483647 166547 31 | 3.024 % |
39.13/39.28 c | 166702 | 417 96934 618927 | 2147483647 166658 31 | 3.024 % |
39.23/39.34 c | 166825 | 417 96934 618927 | 2147483647 166781 31 | 3.024 % |
39.33/39.40 c | 166958 | 417 96934 618927 | 2147483647 166914 31 | 3.024 % |
39.33/39.50 c | 167104 | 417 96934 618927 | 2147483647 167060 31 | 3.024 % |
39.43/39.53 c | 167265 | 417 96934 618927 | 2147483647 167221 31 | 3.024 % |
39.43/39.58 c | 167441 | 417 96934 618927 | 2147483647 167397 31 | 3.029 % |
39.53/39.65 c | 167637 | 417 96934 618927 | 2147483647 167593 31 | 3.024 % |
39.63/39.70 c | 167849 | 417 96934 618927 | 2147483647 167805 31 | 3.024 % |
39.63/39.79 c | 168084 | 417 96934 618927 | 2147483647 168040 31 | 3.024 % |
39.83/39.92 c | 168340 | 417 96934 618927 | 2147483647 168296 31 | 3.024 % |
39.93/40.05 c | 168623 | 417 96934 618927 | 2147483647 168579 31 | 3.024 % |
40.03/40.19 c | 168932 | 417 96934 618927 | 2147483647 168888 31 | 3.024 % |
40.33/40.40 c | 169272 | 417 96934 618927 | 2147483647 169228 31 | 3.024 % |
40.43/40.55 c | 169645 | 417 96934 618927 | 2147483647 169601 31 | 3.029 % |
40.53/40.68 c | 170054 | 417 96934 618927 | 2147483647 170010 31 | 3.024 % |
40.93/41.04 c | 170503 | 417 96934 618927 | 2147483647 170459 31 | 3.024 % |
41.13/41.23 c | 170996 | 417 96934 618927 | 2147483647 170952 31 | 3.024 % |
41.42/41.53 c | 171538 | 417 96934 618927 | 2147483647 171494 31 | 3.024 % |
41.63/41.80 c | 172134 | 417 96934 618927 | 2147483647 172090 31 | 3.024 % |
41.92/42.04 c | 172789 | 417 96934 618927 | 2147483647 172745 31 | 3.024 % |
42.22/42.35 c | 173509 | 417 96934 618927 | 2147483647 173465 31 | 3.024 % |
42.62/42.72 c | 174306 | 417 96934 618927 | 2147483647 174262 31 | 3.024 % |
43.02/43.10 c | 175178 | 417 96934 618927 | 2147483647 175134 31 | 3.024 % |
43.32/43.42 c | 176136 | 417 96934 618927 | 2147483647 176092 31 | 3.027 % |
43.82/43.96 c | 177189 | 417 96934 618927 | 2147483647 177145 31 | 3.024 % |
44.32/44.47 c | 178347 | 417 96934 618927 | 2147483647 178303 31 | 3.024 % |
44.82/44.98 c | 179621 | 417 96934 618927 | 2147483647 179577 31 | 3.029 % |
45.42/45.59 c | 181021 | 417 96934 618927 | 2147483647 180977 31 | 3.024 % |
46.32/46.44 c | 182561 | 416 96934 618927 | 2147483647 182516 31 | 3.256 % |
46.92/47.03 c | 184256 | 416 96934 618927 | 2147483647 184211 31 | 3.256 % |
47.92/48.02 c | 186119 | 416 96934 618927 | 2147483647 186074 31 | 3.256 % |
47.92/48.05 c | 186220 | 416 96934 618927 | 2147483647 186175 31 | 3.256 % |
47.92/48.08 c | 186330 | 416 96934 618927 | 2147483647 186285 31 | 3.256 % |
48.02/48.13 c | 186454 | 416 96934 618927 | 2147483647 186409 31 | 3.256 % |
48.12/48.25 c | 186588 | 416 96934 618927 | 2147483647 186543 31 | 3.256 % |
48.22/48.34 c | 186734 | 416 96934 618927 | 2147483647 186689 31 | 3.257 % |
48.32/48.41 c | 186898 | 416 96934 618927 | 2147483647 186853 31 | 3.256 % |
48.32/48.49 c | 187074 | 416 96934 618927 | 2147483647 187029 31 | 3.256 % |
48.62/48.71 c | 187267 | 416 96934 618927 | 2147483647 187222 31 | 3.256 % |
48.72/48.81 c | 187479 | 416 96934 618927 | 2147483647 187434 31 | 3.256 % |
48.82/48.94 c | 187718 | 416 96934 618927 | 2147483647 187673 31 | 3.256 % |
48.92/49.07 c | 187975 | 416 96934 618927 | 2147483647 187930 31 | 3.256 % |
49.12/49.25 c | 188256 | 416 96934 618927 | 2147483647 188211 31 | 3.263 % |
49.32/49.41 c | 188565 | 416 96934 618927 | 2147483647 188520 31 | 3.262 % |
49.52/49.67 c | 188906 | 416 96934 618927 | 2147483647 188861 31 | 3.256 % |
49.72/49.84 c | 189279 | 416 96934 618927 | 2147483647 189234 31 | 3.256 % |
49.82/49.99 c | 189688 | 416 96934 618927 | 2147483647 189643 31 | 3.256 % |
50.02/50.15 c | 190137 | 416 96934 618927 | 2147483647 190092 31 | 3.256 % |
50.22/50.36 c | 190631 | 416 96934 618927 | 2147483647 190586 31 | 3.256 % |
50.42/50.57 c | 191175 | 416 96934 618927 | 2147483647 191130 31 | 3.263 % |
50.72/50.83 c | 191772 | 416 96934 618927 | 2147483647 191727 31 | 3.256 % |
51.02/51.17 c | 192430 | 416 96934 618927 | 2147483647 192385 31 | 3.256 % |
51.42/51.54 c | 193150 | 416 96934 618927 | 2147483647 193105 31 | 3.256 % |
51.92/52.04 c | 193943 | 416 96934 618927 | 2147483647 193898 31 | 3.256 % |
52.52/52.61 c | 194814 | 416 96934 618927 | 2147483647 194769 31 | 3.256 % |
53.01/53.16 c | 195775 | 416 96934 618927 | 2147483647 195730 31 | 3.256 % |
53.51/53.66 c | 196829 | 416 96934 618927 | 2147483647 196784 31 | 3.260 % |
54.21/54.34 c | 197987 | 416 96934 618927 | 2147483647 197942 31 | 3.256 % |
54.92/55.09 c | 199262 | 416 96934 618927 | 2147483647 199217 31 | 3.256 % |
55.71/55.89 c | 200662 | 416 96934 618927 | 2147483647 200617 31 | 3.256 % |
56.81/56.93 c | 202203 | 416 96934 618927 | 2147483647 202158 31 | 3.256 % |
57.72/57.84 c | 203897 | 416 96934 618927 | 2147483647 203852 31 | 3.256 % |
58.92/59.01 c | 205760 | 416 96934 618927 | 2147483647 205715 31 | 3.256 % |
60.52/60.69 c | 207809 | 416 96934 618927 | 2147483647 207764 31 | 3.256 % |
60.62/60.78 c | 207909 | 416 96934 618927 | 2147483647 207864 31 | 3.256 % |
60.82/60.92 c | 208019 | 416 96934 618927 | 2147483647 207974 32 | 3.256 % |
60.92/61.05 c | 208141 | 416 96934 618927 | 2147483647 208096 32 | 3.256 % |
61.02/61.15 c | 208277 | 416 96934 618927 | 2147483647 208232 31 | 3.256 % |
61.12/61.22 c | 208423 | 416 96934 618927 | 2147483647 208378 31 | 3.256 % |
61.22/61.34 c | 208584 | 416 96934 618927 | 2147483647 208539 31 | 3.260 % |
61.32/61.48 c | 208760 | 416 96934 618927 | 2147483647 208715 32 | 3.256 % |
61.42/61.56 c | 208955 | 416 96934 618927 | 2147483647 208910 32 | 3.264 % |
61.52/61.65 c | 209169 | 416 96934 618927 | 2147483647 209124 31 | 3.256 % |
61.61/61.74 c | 209402 | 416 96934 618927 | 2147483647 209357 31 | 3.256 % |
61.71/61.86 c | 209658 | 416 96934 618927 | 2147483647 209613 31 | 3.256 % |
61.91/62.01 c | 209939 | 416 96934 618927 | 2147483647 209894 31 | 3.257 % |
62.11/62.20 c | 210248 | 416 96934 618927 | 2147483647 210203 31 | 3.256 % |
62.21/62.35 c | 210587 | 416 96934 618927 | 2147483647 210542 31 | 3.256 % |
62.41/62.57 c | 210959 | 416 96934 618927 | 2147483647 210914 31 | 3.256 % |
62.71/62.85 c | 211368 | 416 96934 618927 | 2147483647 211323 31 | 3.256 % |
62.91/63.07 c | 211817 | 416 96934 618927 | 2147483647 211772 32 | 3.256 % |
63.11/63.25 c | 212313 | 416 96934 618927 | 2147483647 212268 32 | 3.256 % |
63.41/63.50 c | 212855 | 416 96934 618927 | 2147483647 212810 32 | 3.256 % |
63.51/63.65 c | 213451 | 416 96934 618927 | 2147483647 213406 32 | 3.256 % |
63.71/63.88 c | 214106 | 416 96934 618927 | 2147483647 214061 32 | 3.256 % |
64.01/64.10 c | 214830 | 416 96934 618927 | 2147483647 214785 32 | 3.256 % |
64.31/64.44 c | 215623 | 416 96934 618927 | 2147483647 215578 32 | 3.256 % |
64.61/64.75 c | 216494 | 416 96934 618927 | 2147483647 216449 32 | 3.256 % |
65.02/65.15 c | 217453 | 416 96934 618927 | 2147483647 217408 32 | 3.256 % |
65.52/65.65 c | 218507 | 416 96934 618927 | 2147483647 218462 32 | 3.256 % |
66.02/66.17 c | 219667 | 416 96934 618927 | 2147483647 219622 32 | 3.256 % |
66.61/66.77 c | 220940 | 416 96934 618927 | 2147483647 220895 32 | 3.260 % |
67.31/67.41 c | 222340 | 416 96934 618927 | 2147483647 222295 32 | 3.257 % |
67.91/68.08 c | 223881 | 416 96934 618927 | 2147483647 223836 32 | 3.256 % |
68.31/68.49 c | 225577 | 416 96934 618927 | 2147483647 225532 32 | 3.256 % |
70.61/70.77 c | 227440 | 416 96934 618927 | 2147483647 227395 32 | 3.256 % |
71.91/72.09 c | 229489 | 416 94578 606191 | 2147483647 229420 32 | 3.256 % |
73.41/73.56 c | 231743 | 416 94578 606191 | 2147483647 231674 32 | 3.256 % |
73.51/73.67 c | 231843 | 416 94578 606191 | 2147483647 231774 32 | 3.256 % |
73.61/73.71 c | 231954 | 416 94578 606191 | 2147483647 231885 32 | 3.260 % |
73.61/73.78 c | 232078 | 416 94578 606191 | 2147483647 232009 32 | 3.256 % |
73.80/73.95 c | 232211 | 416 94578 606191 | 2147483647 232142 32 | 3.256 % |
73.90/74.02 c | 232361 | 416 94578 606191 | 2147483647 232292 32 | 3.256 % |
74.00/74.12 c | 232522 | 416 94578 606191 | 2147483647 232453 32 | 3.256 % |
74.20/74.32 c | 232699 | 416 94578 606191 | 2147483647 232630 32 | 3.256 % |
74.30/74.46 c | 232893 | 416 94578 606191 | 2147483647 232824 32 | 3.260 % |
74.50/74.64 c | 233105 | 416 94578 606191 | 2147483647 233036 32 | 3.256 % |
74.71/74.81 c | 233338 | 416 94578 606191 | 2147483647 233269 32 | 3.256 % |
74.80/74.93 c | 233596 | 416 94578 606191 | 2147483647 233527 32 | 3.256 % |
75.20/75.34 c | 233877 | 416 94578 606191 | 2147483647 233808 32 | 3.256 % |
75.40/75.56 c | 234187 | 416 94578 606191 | 2147483647 234118 32 | 3.256 % |
75.71/75.88 c | 234527 | 416 94578 606191 | 2147483647 234458 32 | 3.256 % |
76.00/76.20 c | 234900 | 416 94578 606191 | 2147483647 234831 32 | 3.256 % |
76.30/76.48 c | 235311 | 416 94578 606191 | 2147483647 235242 32 | 3.256 % |
76.60/76.76 c | 235760 | 416 94578 606191 | 2147483647 235691 32 | 3.256 % |
76.80/76.99 c | 236253 | 416 94578 606191 | 2147483647 236184 32 | 3.256 % |
77.10/77.25 c | 236796 | 416 94578 606191 | 2147483647 236727 32 | 3.262 % |
77.40/77.55 c | 237393 | 416 94578 606191 | 2147483647 237324 32 | 3.256 % |
77.81/77.92 c | 238049 | 416 94578 606191 | 2147483647 237980 32 | 3.256 % |
78.21/78.33 c | 238770 | 416 94578 606191 | 2147483647 238701 32 | 3.256 % |
78.60/78.73 c | 239562 | 416 94578 606191 | 2147483647 239493 32 | 3.256 % |
79.20/79.32 c | 240433 | 416 94578 606191 | 2147483647 240364 32 | 3.256 % |
79.90/80.05 c | 241391 | 416 94578 606191 | 2147483647 241322 32 | 3.256 % |
80.60/80.74 c | 242444 | 416 94578 606191 | 2147483647 242375 32 | 3.256 % |
81.30/81.41 c | 243602 | 416 94578 606191 | 2147483647 243533 32 | 3.256 % |
81.90/82.08 c | 244875 | 416 94578 606191 | 2147483647 244806 32 | 3.260 % |
83.00/83.14 c | 246276 | 416 94578 606191 | 2147483647 246207 32 | 3.256 % |
83.80/83.99 c | 247817 | 416 94578 606191 | 2147483647 247748 32 | 3.256 % |
84.70/84.86 c | 249511 | 416 94578 606191 | 2147483647 249442 32 | 3.256 % |
86.30/86.45 c | 251376 | 416 94578 606191 | 2147483647 251307 32 | 3.257 % |
87.40/87.60 c | 253425 | 416 94578 606191 | 2147483647 253356 32 | 3.256 % |
88.90/89.01 c | 255678 | 416 94578 606191 | 2147483647 255609 32 | 3.256 % |
90.70/90.83 c | 258158 | 416 94578 606191 | 2147483647 258089 32 | 3.256 % |
90.79/90.92 c | 258260 | 416 94578 606191 | 2147483647 258191 32 | 3.256 % |
90.89/91.07 c | 258370 | 416 94578 606191 | 2147483647 258301 32 | 3.256 % |
90.99/91.15 c | 258491 | 416 94578 606191 | 2147483647 258422 32 | 3.266 % |
91.10/91.27 c | 258625 | 416 94578 606191 | 2147483647 258556 32 | 3.256 % |
91.20/91.35 c | 258773 | 416 94578 606191 | 2147483647 258704 32 | 3.256 % |
91.29/91.47 c | 258934 | 416 94578 606191 | 2147483647 258865 32 | 3.256 % |
91.39/91.53 c | 259112 | 416 94578 606191 | 2147483647 259043 32 | 3.256 % |
91.49/91.65 c | 259309 | 416 94578 606191 | 2147483647 259240 32 | 3.256 % |
91.59/91.79 c | 259521 | 416 94578 606191 | 2147483647 259452 32 | 3.260 % |
91.79/91.96 c | 259755 | 416 94578 606191 | 2147483647 259686 32 | 3.256 % |
91.89/92.07 c | 260012 | 416 94578 606191 | 2147483647 259943 32 | 3.256 % |
92.30/92.46 c | 260293 | 416 94578 606191 | 2147483647 260224 32 | 3.256 % |
92.49/92.65 c | 260603 | 416 94578 606191 | 2147483647 260534 32 | 3.256 % |
92.79/92.95 c | 260945 | 416 94578 606191 | 2147483647 260876 32 | 3.256 % |
93.09/93.22 c | 261318 | 416 94578 606191 | 2147483647 261249 32 | 3.256 % |
93.40/93.52 c | 261727 | 416 94578 606191 | 2147483647 261658 32 | 3.256 % |
93.69/93.81 c | 262176 | 416 94578 606191 | 2147483647 262107 32 | 3.256 % |
94.00/94.18 c | 262669 | 416 94578 606191 | 2147483647 262600 32 | 3.256 % |
94.30/94.44 c | 263211 | 416 94578 606191 | 2147483647 263142 32 | 3.256 % |
94.70/94.84 c | 263807 | 416 94578 606191 | 2147483647 263738 32 | 3.256 % |
95.00/95.15 c | 264462 | 416 94578 606191 | 2147483647 264393 32 | 3.257 % |
95.30/95.48 c | 265187 | 416 94578 606191 | 2147483647 265118 32 | 3.261 % |
95.60/95.73 c | 265980 | 416 94578 606191 | 2147483647 265911 32 | 3.256 % |
96.10/96.24 c | 266859 | 416 94578 606191 | 2147483647 266790 32 | 3.256 % |
96.70/96.82 c | 267817 | 416 94578 606191 | 2147483647 267748 32 | 3.260 % |
97.20/97.37 c | 268873 | 416 94578 606191 | 2147483647 268804 32 | 3.256 % |
98.00/98.11 c | 270031 | 416 94578 606191 | 2147483647 269962 32 | 3.263 % |
99.09/99.26 c | 271304 | 416 94578 606191 | 2147483647 271235 32 | 3.256 % |
100.39/100.55 c | 272704 | 416 94578 606191 | 2147483647 272635 32 | 3.256 % |
101.99/102.10 c | 274247 | 416 94578 606191 | 2147483647 274178 32 | 3.256 % |
103.30/103.46 c | 275943 | 416 94578 606191 | 2147483647 275874 33 | 3.256 % |
105.40/105.58 c | 277806 | 416 94578 606191 | 2147483647 277737 33 | 3.256 % |
106.60/106.71 c | 279858 | 416 94578 606191 | 2147483647 279789 33 | 3.256 % |
108.19/108.31 c | 282112 | 416 94578 606191 | 2147483647 282043 33 | 3.256 % |
109.39/109.51 c | 284591 | 416 94578 606191 | 2147483647 284522 32 | 3.256 % |
111.29/111.45 c | 287320 | 415 94578 606191 | 2147483647 287250 32 | 3.489 % |
111.39/111.53 c | 287422 | 415 94578 606191 | 2147483647 287352 32 | 3.489 % |
111.49/111.61 c | 287535 | 415 94578 606191 | 2147483647 287465 32 | 3.489 % |
111.69/111.85 c | 287656 | 415 94578 606191 | 2147483647 287586 32 | 3.489 % |
111.79/111.96 c | 287789 | 415 94578 606191 | 2147483647 287719 32 | 3.489 % |
112.00/112.11 c | 287937 | 415 94578 606191 | 2147483647 287867 32 | 3.489 % |
112.10/112.23 c | 288098 | 415 94578 606191 | 2147483647 288028 32 | 3.489 % |
112.39/112.51 c | 288274 | 415 94578 606191 | 2147483647 288204 32 | 3.489 % |
112.49/112.69 c | 288467 | 415 94578 606191 | 2147483647 288397 32 | 3.489 % |
112.69/112.88 c | 288680 | 415 94578 606191 | 2147483647 288610 32 | 3.489 % |
112.89/113.03 c | 288913 | 415 94578 606191 | 2147483647 288843 32 | 3.489 % |
113.10/113.28 c | 289170 | 415 94578 606191 | 2147483647 289100 32 | 3.489 % |
113.29/113.47 c | 289452 | 415 94578 606191 | 2147483647 289382 32 | 3.489 % |
113.59/113.71 c | 289762 | 415 94578 606191 | 2147483647 289692 32 | 3.489 % |
113.89/114.05 c | 290101 | 415 94578 606191 | 2147483647 290031 32 | 3.489 % |
114.19/114.37 c | 290473 | 415 94578 606191 | 2147483647 290403 32 | 3.489 % |
114.59/114.74 c | 290882 | 415 94578 606191 | 2147483647 290812 32 | 3.489 % |
115.09/115.23 c | 291331 | 415 94578 606191 | 2147483647 291261 32 | 3.489 % |
115.59/115.71 c | 291826 | 415 94578 606191 | 2147483647 291756 32 | 3.489 % |
116.19/116.30 c | 292368 | 415 94578 606191 | 2147483647 292298 32 | 3.489 % |
116.69/116.80 c | 292965 | 415 94578 606191 | 2147483647 292895 32 | 3.489 % |
117.19/117.36 c | 293621 | 415 94578 606191 | 2147483647 293551 32 | 3.489 % |
117.69/117.87 c | 294342 | 415 94578 606191 | 2147483647 294272 32 | 3.489 % |
118.48/118.61 c | 295134 | 415 94578 606191 | 2147483647 295064 32 | 3.489 % |
119.08/119.27 c | 296005 | 415 94578 606191 | 2147483647 295935 32 | 3.489 % |
119.79/120.00 c | 296963 | 415 94578 606191 | 2147483647 296893 32 | 3.489 % |
120.89/121.07 c | 298018 | 415 94578 606191 | 2147483647 297948 32 | 3.489 % |
122.28/122.45 c | 299176 | 415 94578 606191 | 2147483647 299106 32 | 3.489 % |
123.18/123.33 c | 300450 | 415 94578 606191 | 2147483647 300380 32 | 3.489 % |
124.38/124.57 c | 301851 | 415 94578 606191 | 2147483647 301781 33 | 3.489 % |
125.58/125.73 c | 303391 | 415 94578 606191 | 2147483647 303321 33 | 3.489 % |
126.78/126.93 c | 305087 | 415 94578 606191 | 2147483647 305017 33 | 3.489 % |
129.68/129.82 c | 306952 | 415 94578 606191 | 2147483647 306882 33 | 3.489 % |
131.08/131.21 c | 309001 | 415 94578 606191 | 2147483647 308931 33 | 3.489 % |
133.89/134.05 c | 311254 | 415 94578 606191 | 2147483647 311184 33 | 3.489 % |
136.48/136.70 c | 313733 | 414 94578 606191 | 2147483647 313662 33 | 3.721 % |
139.08/139.25 c | 316458 | 414 94578 606191 | 2147483647 316387 33 | 3.721 % |
141.78/141.93 c | 319455 | 414 94578 606191 | 2147483647 319384 33 | 3.721 % |
141.88/142.04 c | 319555 | 414 94578 606191 | 2147483647 319484 33 | 3.721 % |
141.98/142.19 c | 319668 | 414 94578 606191 | 2147483647 319597 33 | 3.721 % |
142.18/142.36 c | 319790 | 414 94578 606191 | 2147483647 319719 33 | 3.721 % |
142.38/142.51 c | 319923 | 414 94578 606191 | 2147483647 319852 33 | 3.721 % |
142.58/142.71 c | 320069 | 414 94578 606191 | 2147483647 319998 33 | 3.721 % |
142.88/143.06 c | 320229 | 414 94578 606191 | 2147483647 320158 33 | 3.721 % |
143.18/143.31 c | 320405 | 414 94578 606191 | 2147483647 320334 33 | 3.721 % |
143.38/143.50 c | 320599 | 414 94578 606191 | 2147483647 320528 33 | 3.721 % |
143.48/143.63 c | 320811 | 414 94578 606191 | 2147483647 320740 33 | 3.721 % |
143.68/143.85 c | 321049 | 414 94578 606191 | 2147483647 320978 33 | 3.721 % |
144.18/144.34 c | 321305 | 414 94578 606191 | 2147483647 321234 33 | 3.721 % |
144.47/144.67 c | 321587 | 414 94578 606191 | 2147483647 321516 33 | 3.721 % |
144.98/145.13 c | 321897 | 414 94578 606191 | 2147483647 321826 33 | 3.721 % |
145.47/145.65 c | 322236 | 414 94578 606191 | 2147483647 322165 33 | 3.721 % |
145.87/146.01 c | 322608 | 414 94578 606191 | 2147483647 322537 33 | 3.721 % |
146.18/146.36 c | 323017 | 414 94578 606191 | 2147483647 322946 33 | 3.721 % |
147.18/147.31 c | 323466 | 414 94578 606191 | 2147483647 323395 33 | 3.721 % |
147.67/147.80 c | 323959 | 414 94578 606191 | 2147483647 323888 33 | 3.721 % |
148.07/148.23 c | 324502 | 414 94578 606191 | 2147483647 324431 33 | 3.721 % |
148.67/148.89 c | 325098 | 414 94578 606191 | 2147483647 325027 33 | 3.721 % |
149.57/149.73 c | 325754 | 414 94578 606191 | 2147483647 325683 33 | 3.721 % |
150.17/150.36 c | 326474 | 414 94578 606191 | 2147483647 326403 33 | 3.721 % |
150.77/150.99 c | 327267 | 414 94578 606191 | 2147483647 327196 33 | 3.721 % |
151.77/151.96 c | 328139 | 414 94578 606191 | 2147483647 328068 33 | 3.721 % |
152.68/152.86 c | 329098 | 414 94578 606191 | 2147483647 329027 33 | 3.721 % |
153.88/154.09 c | 330151 | 414 94578 606191 | 2147483647 330080 33 | 3.721 % |
154.68/154.86 c | 331312 | 414 94578 606191 | 2147483647 331241 33 | 3.721 % |
155.58/155.79 c | 332588 | 414 94578 606191 | 2147483647 332517 33 | 3.722 % |
157.67/157.81 c | 333989 | 414 94578 606191 | 2147483647 333918 33 | 3.721 % |
159.28/159.48 c | 335532 | 414 94578 606191 | 2147483647 335461 33 | 3.721 % |
161.37/161.59 c | 337226 | 414 94578 606191 | 2147483647 337155 33 | 3.721 % |
163.17/163.35 c | 339090 | 414 94578 606191 | 2147483647 339019 33 | 3.721 % |
164.67/164.84 c | 341139 | 414 94578 606191 | 2147483647 341068 33 | 3.722 % |
166.57/166.72 c | 343393 | 414 94578 606191 | 2147483647 343322 33 | 3.725 % |
167.87/168.04 c | 345871 | 414 94578 606191 | 2147483647 345800 33 | 3.721 % |
170.06/170.27 c | 348597 | 414 94578 606191 | 2147483647 348526 33 | 3.721 % |
175.06/175.29 c | 351594 | 414 94578 606191 | 349929 305033 33 | 3.721 % |
178.46/178.68 c | 354891 | 414 94578 606191 | 349929 308330 33 | 3.721 % |
178.66/178.85 c | 354993 | 414 94578 606191 | 349929 308432 33 | 3.721 % |
178.76/178.98 c | 355103 | 414 94578 606191 | 349929 308542 33 | 3.721 % |
178.96/179.13 c | 355224 | 414 94578 606191 | 349929 308663 33 | 3.721 % |
179.07/179.29 c | 355357 | 414 94578 606191 | 349929 308796 33 | 3.721 % |
179.26/179.43 c | 355504 | 414 94578 606191 | 349929 308943 33 | 3.721 % |
179.46/179.64 c | 355664 | 414 94578 606191 | 349929 309103 33 | 3.721 % |
179.66/179.80 c | 355840 | 414 94578 606191 | 349929 309279 33 | 3.721 % |
179.76/179.98 c | 356037 | 414 94578 606191 | 349929 309476 33 | 3.725 % |
180.27/180.44 c | 356250 | 414 94578 606191 | 349929 309689 33 | 3.721 % |
180.47/180.66 c | 356483 | 414 94578 606191 | 349929 309922 33 | 3.721 % |
180.67/180.89 c | 356741 | 414 94578 606191 | 349929 310180 33 | 3.721 % |
180.97/181.19 c | 357024 | 414 94578 606191 | 349929 310463 33 | 3.721 % |
181.37/181.57 c | 357333 | 414 94578 606191 | 349929 310772 33 | 3.722 % |
181.57/181.76 c | 357672 | 414 94578 606191 | 349929 311111 33 | 3.721 % |
181.87/182.03 c | 358044 | 414 94578 606191 | 349929 311483 33 | 3.721 % |
182.27/182.49 c | 358454 | 414 94578 606191 | 349929 311893 33 | 3.721 % |
182.57/182.79 c | 358903 | 414 94578 606191 | 349929 312342 33 | 3.721 % |
183.07/183.24 c | 359397 | 414 94578 606191 | 349929 312836 33 | 3.725 % |
183.47/183.69 c | 359939 | 414 94578 606191 | 349929 313378 33 | 3.721 % |
184.07/184.23 c | 360535 | 414 94578 606191 | 2147483647 313974 33 | 3.725 % |
184.97/185.13 c | 361190 | 414 94578 606191 | 2147483647 314629 33 | 3.721 % |
185.77/185.91 c | 361910 | 414 94578 606191 | 2147483647 315349 33 | 3.721 % |
186.47/186.60 c | 362703 | 414 94578 606191 | 2147483647 316142 33 | 3.721 % |
187.06/187.24 c | 363575 | 414 94578 606191 | 2147483647 317014 33 | 3.721 % |
187.97/188.12 c | 364533 | 414 94578 606191 | 2147483647 317972 33 | 3.721 % |
189.46/189.63 c | 365587 | 414 94578 606191 | 2147483647 319026 33 | 3.721 % |
190.26/190.47 c ===============================================================================
190.26/190.47 c restarts : 769
190.26/190.47 c conflicts : 366499 (1978 /sec)
190.26/190.47 c decisions : 799748 (1.67 % random) (4317 /sec)
190.26/190.47 c propagations : 5302102 (28622 /sec)
190.26/190.47 c conflict literals : 12303603 (6.17 % deleted)
190.26/190.47 c Memory used : 67.55 MB
190.26/190.47 c CPU time : 185.246 s
190.26/190.47 c
190.26/190.47 s SATISFIABLE
190.26/190.49 s SATISFIABLE
190.26/190.49 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 0
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1834039-1242827422/watcher-1834039-1242827422 -o /tmp/evaluation-result-1834039-1242827422/solver-1834039-1242827422 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1834039-1242827422.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 0.98 0.99 3/65 25883
/proc/meminfo: memFree=1921912/2055912 swapFree=4178800/4192956
[pid=25883] ppid=25881 vsize=5356 CPUtime=0
/proc/25883/stat : 25883 (SatELiteGTI) S 25881 25883 25637 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310771216 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25883/statm: 1339 237 197 169 0 50 0
[startup+0.0865729 s]
/proc/loadavg: 0.99 0.98 0.99 3/65 25883
/proc/meminfo: memFree=1921912/2055912 swapFree=4178800/4192956
[pid=25883] ppid=25881 vsize=5356 CPUtime=0
/proc/25883/stat : 25883 (SatELiteGTI) S 25881 25883 25637 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310771216 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25883/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101574 s]
/proc/loadavg: 0.99 0.98 0.99 3/65 25883
/proc/meminfo: memFree=1921912/2055912 swapFree=4178800/4192956
[pid=25883] ppid=25881 vsize=5356 CPUtime=0
/proc/25883/stat : 25883 (SatELiteGTI) S 25881 25883 25637 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310771216 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25883/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301593 s]
/proc/loadavg: 0.99 0.98 0.99 3/65 25883
/proc/meminfo: memFree=1921912/2055912 swapFree=4178800/4192956
[pid=25883] ppid=25881 vsize=5356 CPUtime=0
/proc/25883/stat : 25883 (SatELiteGTI) S 25881 25883 25637 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310771216 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25883/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701635 s]
/proc/loadavg: 0.99 0.98 0.99 3/65 25883
/proc/meminfo: memFree=1921912/2055912 swapFree=4178800/4192956
[pid=25883] ppid=25881 vsize=5356 CPUtime=0
/proc/25883/stat : 25883 (SatELiteGTI) S 25881 25883 25637 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310771216 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25883/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50272 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 25888
/proc/meminfo: memFree=1907816/2055912 swapFree=4178800/4192956
[pid=25883] ppid=25881 vsize=5356 CPUtime=0
/proc/25883/stat : 25883 (SatELiteGTI) S 25881 25883 25637 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310771216 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25883/statm: 1339 237 197 169 0 50 0
[pid=25887] ppid=25883 vsize=15900 CPUtime=1.49
/proc/25887/stat : 25887 (SatELite_releas) R 25883 25883 25637 0 -1 4194304 3603 0 0 0 147 2 0 0 25 0 1 0 310771217 16281600 3586 1992294400 134512640 135223648 4294956128 18446744073709551615 134548993 0 0 4096 3 0 0 0 17 1 0 0
/proc/25887/statm: 3975 3586 70 173 0 3800 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 21256
[startup+3.10189 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 25888
/proc/meminfo: memFree=1905960/2055912 swapFree=4178800/4192956
[pid=25883] ppid=25881 vsize=5356 CPUtime=0
/proc/25883/stat : 25883 (SatELiteGTI) S 25881 25883 25637 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310771216 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25883/statm: 1339 237 197 169 0 50 0
[pid=25887] ppid=25883 vsize=19252 CPUtime=3.08
/proc/25887/stat : 25887 (SatELite_releas) R 25883 25883 25637 0 -1 4194304 4472 0 0 0 306 2 0 0 25 0 1 0 310771217 19714048 4114 1992294400 134512640 135223648 4294956128 18446744073709551615 134585475 0 0 4096 3 0 0 0 17 1 0 0
/proc/25887/statm: 4813 4114 76 173 0 4638 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 24608
[startup+6.30122 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 25889
/proc/meminfo: memFree=1909928/2055912 swapFree=4178800/4192956
[pid=25883] ppid=25881 vsize=5356 CPUtime=4.92
/proc/25883/stat : 25883 (SatELiteGTI) S 25881 25883 25637 0 -1 4194304 336 4760 0 0 0 0 488 4 16 0 1 0 310771216 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25883/statm: 1339 239 197 169 0 50 0
[pid=25889] ppid=25883 vsize=10252 CPUtime=1.34
/proc/25889/stat : 25889 (minisat_static) R 25883 25883 25637 0 -1 4194304 2441 0 0 0 133 1 0 0 25 0 1 0 310771710 10498048 2427 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 1 0 0
/proc/25889/statm: 2563 2427 77 171 0 2390 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 15608
[startup+12.7019 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 25889
/proc/meminfo: memFree=1901480/2055912 swapFree=4178800/4192956
[pid=25883] ppid=25881 vsize=5356 CPUtime=4.92
/proc/25883/stat : 25883 (SatELiteGTI) S 25881 25883 25637 0 -1 4194304 336 4760 0 0 0 0 488 4 16 0 1 0 310771216 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25883/statm: 1339 239 197 169 0 50 0
[pid=25889] ppid=25883 vsize=17916 CPUtime=7.73
/proc/25889/stat : 25889 (minisat_static) R 25883 25883 25637 0 -1 4194304 4315 0 0 0 770 3 0 0 25 0 1 0 310771710 18345984 4301 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25889/statm: 4479 4301 77 171 0 4306 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 23272
[startup+25.5012 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 25889
/proc/meminfo: memFree=1891888/2055912 swapFree=4178800/4192956
[pid=25883] ppid=25881 vsize=5356 CPUtime=4.92
/proc/25883/stat : 25883 (SatELiteGTI) S 25881 25883 25637 0 -1 4194304 336 4760 0 0 0 0 488 4 16 0 1 0 310771216 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25883/statm: 1339 239 197 169 0 50 0
[pid=25889] ppid=25883 vsize=27036 CPUtime=20.51
/proc/25889/stat : 25889 (minisat_static) R 25883 25883 25637 0 -1 4194304 6600 0 0 0 2046 5 0 0 25 0 1 0 310771710 27684864 6586 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25889/statm: 6759 6586 77 171 0 6586 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 32392
[startup+51.1019 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 25889
/proc/meminfo: memFree=1879408/2055912 swapFree=4178800/4192956
[pid=25883] ppid=25881 vsize=5356 CPUtime=4.92
/proc/25883/stat : 25883 (SatELiteGTI) S 25881 25883 25637 0 -1 4194304 336 4760 0 0 0 0 488 4 16 0 1 0 310771216 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25883/statm: 1339 239 197 169 0 50 0
[pid=25889] ppid=25883 vsize=39484 CPUtime=46.1
/proc/25889/stat : 25889 (minisat_static) R 25883 25883 25637 0 -1 4194304 9698 0 0 0 4601 9 0 0 25 0 1 0 310771710 40431616 9684 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25889/statm: 9871 9684 77 171 0 9698 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 44840
[startup+102.305 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 25889
/proc/meminfo: memFree=1864496/2055912 swapFree=4178800/4192956
[pid=25883] ppid=25881 vsize=5356 CPUtime=4.92
/proc/25883/stat : 25883 (SatELiteGTI) S 25881 25883 25637 0 -1 4194304 336 4760 0 0 0 0 488 4 16 0 1 0 310771216 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25883/statm: 1339 239 197 169 0 50 0
[pid=25889] ppid=25883 vsize=54472 CPUtime=97.28
/proc/25889/stat : 25889 (minisat_static) R 25883 25883 25637 0 -1 4194304 13364 0 0 0 9715 13 0 0 25 0 1 0 310771710 55779328 13350 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25889/statm: 13618 13350 77 171 0 13445 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 59828
[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 25889
/proc/meminfo: memFree=1852912/2055912 swapFree=4178800/4192956
[pid=25883] ppid=25881 vsize=5356 CPUtime=4.92
/proc/25883/stat : 25883 (SatELiteGTI) S 25881 25883 25637 0 -1 4194304 336 4760 0 0 0 0 488 4 16 0 1 0 310771216 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25883/statm: 1339 239 197 169 0 50 0
[pid=25889] ppid=25883 vsize=66672 CPUtime=157.25
/proc/25889/stat : 25889 (minisat_static) R 25883 25883 25637 0 -1 4194304 16255 0 0 0 15709 16 0 0 25 0 1 0 310771710 68272128 16241 1992294400 134512640 135215339 4294956240 18446744073709551615 134528858 0 0 4096 3 0 0 0 17 1 0 0
/proc/25889/statm: 16668 16241 77 171 0 16495 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 72028
Solver just ended. Dumping a history of the last processes samples
[startup+166.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 25889
/proc/meminfo: memFree=1852080/2055912 swapFree=4178800/4192956
[pid=25883] ppid=25881 vsize=5356 CPUtime=4.92
/proc/25883/stat : 25883 (SatELiteGTI) S 25881 25883 25637 0 -1 4194304 336 4760 0 0 0 0 488 4 16 0 1 0 310771216 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25883/statm: 1339 239 197 169 0 50 0
[pid=25889] ppid=25883 vsize=67436 CPUtime=161.25
/proc/25889/stat : 25889 (minisat_static) R 25883 25883 25637 0 -1 4194304 16449 0 0 0 16109 16 0 0 25 0 1 0 310771710 69054464 16435 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/25889/statm: 16859 16435 77 171 0 16686 0
Current children cumulated CPU time (s) 166.17
Current children cumulated vsize (KiB) 72792
[startup+179.101 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 25889
/proc/meminfo: memFree=1850416/2055912 swapFree=4178800/4192956
[pid=25883] ppid=25881 vsize=5356 CPUtime=4.92
/proc/25883/stat : 25883 (SatELiteGTI) S 25881 25883 25637 0 -1 4194304 336 4760 0 0 0 0 488 4 16 0 1 0 310771216 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25883/statm: 1339 239 197 169 0 50 0
[pid=25889] ppid=25883 vsize=68948 CPUtime=174.04
/proc/25889/stat : 25889 (minisat_static) R 25883 25883 25637 0 -1 4194304 16839 0 0 0 17388 16 0 0 25 0 1 0 310771710 70602752 16825 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 1 0 0
/proc/25889/statm: 17237 16825 77 171 0 17064 0
Current children cumulated CPU time (s) 178.96
Current children cumulated vsize (KiB) 74304
[startup+185.502 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 25889
/proc/meminfo: memFree=1850224/2055912 swapFree=4178800/4192956
[pid=25883] ppid=25881 vsize=5356 CPUtime=4.92
/proc/25883/stat : 25883 (SatELiteGTI) S 25881 25883 25637 0 -1 4194304 336 4760 0 0 0 0 488 4 16 0 1 0 310771216 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25883/statm: 1339 239 197 169 0 50 0
[pid=25889] ppid=25883 vsize=69164 CPUtime=180.45
/proc/25889/stat : 25889 (minisat_static) R 25883 25883 25637 0 -1 4194304 16886 0 0 0 18028 17 0 0 25 0 1 0 310771710 70823936 16872 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 1 0 0
/proc/25889/statm: 17291 16872 77 171 0 17118 0
Current children cumulated CPU time (s) 185.37
Current children cumulated vsize (KiB) 74520
[startup+188.702 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 25889
/proc/meminfo: memFree=1850224/2055912 swapFree=4178800/4192956
[pid=25883] ppid=25881 vsize=5356 CPUtime=4.92
/proc/25883/stat : 25883 (SatELiteGTI) S 25881 25883 25637 0 -1 4194304 336 4760 0 0 0 0 488 4 16 0 1 0 310771216 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25883/statm: 1339 239 197 169 0 50 0
[pid=25889] ppid=25883 vsize=69164 CPUtime=183.64
/proc/25889/stat : 25889 (minisat_static) R 25883 25883 25637 0 -1 4194304 16913 0 0 0 18347 17 0 0 25 0 1 0 310771710 70823936 16899 1992294400 134512640 135215339 4294956240 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 1 0 0
/proc/25889/statm: 17291 16899 77 171 0 17118 0
Current children cumulated CPU time (s) 188.56
Current children cumulated vsize (KiB) 74520
[startup+189.502 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 25889
/proc/meminfo: memFree=1850096/2055912 swapFree=4178800/4192956
[pid=25883] ppid=25881 vsize=5356 CPUtime=4.92
/proc/25883/stat : 25883 (SatELiteGTI) S 25881 25883 25637 0 -1 4194304 336 4760 0 0 0 0 488 4 16 0 1 0 310771216 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25883/statm: 1339 239 197 169 0 50 0
[pid=25889] ppid=25883 vsize=69164 CPUtime=184.44
/proc/25889/stat : 25889 (minisat_static) R 25883 25883 25637 0 -1 4194304 16917 0 0 0 18427 17 0 0 25 0 1 0 310771710 70823936 16903 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25889/statm: 17291 16903 77 171 0 17118 0
Current children cumulated CPU time (s) 189.36
Current children cumulated vsize (KiB) 74520
[startup+189.901 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 25889
/proc/meminfo: memFree=1850096/2055912 swapFree=4178800/4192956
[pid=25883] ppid=25881 vsize=5356 CPUtime=4.92
/proc/25883/stat : 25883 (SatELiteGTI) S 25881 25883 25637 0 -1 4194304 336 4760 0 0 0 0 488 4 16 0 1 0 310771216 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25883/statm: 1339 239 197 169 0 50 0
[pid=25889] ppid=25883 vsize=69164 CPUtime=184.84
/proc/25889/stat : 25889 (minisat_static) R 25883 25883 25637 0 -1 4194304 16917 0 0 0 18467 17 0 0 25 0 1 0 310771710 70823936 16903 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25889/statm: 17291 16903 77 171 0 17118 0
Current children cumulated CPU time (s) 189.76
Current children cumulated vsize (KiB) 74520
[startup+190.305 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 25889
/proc/meminfo: memFree=1850096/2055912 swapFree=4178800/4192956
[pid=25883] ppid=25881 vsize=5356 CPUtime=4.92
/proc/25883/stat : 25883 (SatELiteGTI) S 25881 25883 25637 0 -1 4194304 336 4760 0 0 0 0 488 4 16 0 1 0 310771216 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25883/statm: 1339 239 197 169 0 50 0
[pid=25889] ppid=25883 vsize=69164 CPUtime=185.24
/proc/25889/stat : 25889 (minisat_static) R 25883 25883 25637 0 -1 4194304 16917 0 0 0 18507 17 0 0 25 0 1 0 310771710 70823936 16903 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25889/statm: 17291 16903 77 171 0 17118 0
Current children cumulated CPU time (s) 190.16
Current children cumulated vsize (KiB) 74520
[startup+190.401 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 25889
/proc/meminfo: memFree=1850096/2055912 swapFree=4178800/4192956
[pid=25883] ppid=25881 vsize=5356 CPUtime=4.92
/proc/25883/stat : 25883 (SatELiteGTI) S 25881 25883 25637 0 -1 4194304 336 4760 0 0 0 0 488 4 16 0 1 0 310771216 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25883/statm: 1339 239 197 169 0 50 0
[pid=25889] ppid=25883 vsize=69164 CPUtime=185.34
/proc/25889/stat : 25889 (minisat_static) R 25883 25883 25637 0 -1 4194304 16917 0 0 0 18517 17 0 0 25 0 1 0 310771710 70823936 16903 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25889/statm: 17291 16903 77 171 0 17118 0
Current children cumulated CPU time (s) 190.26
Current children cumulated vsize (KiB) 74520
Child status: 10
Real time (s): 190.497
CPU time (s): 190.379
CPU user time (s): 190.14
CPU system time (s): 0.238963
CPU usage (%): 99.9381
Max. virtual memory (cumulated for all children) (KiB): 74520
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 190.14
system time used= 0.238963
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22318
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= 49
involuntary context switches= 1811
runsolver used 0.178972 second user time and 0.581911 second system time
The end
Begin job on node78 at 2009-05-20 15:50:22
IDJOB=1834039
IDBENCH=71143
IDSOLVER=671
FILE ID=node78/1834039-1242827422
PBS_JOBID= 9322520
Free space on /tmp= 126624 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/CRAFTED/modcircuits/mod4block_2vars_11gates_u2_autoenc.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1834039-1242827422/watcher-1834039-1242827422 -o /tmp/evaluation-result-1834039-1242827422/solver-1834039-1242827422 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1834039-1242827422.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 586caddfac4d1887f3667169b6c35a75
RANDOM SEED=1421223482
node78.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.243
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.243
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055912 kB
MemFree: 1922392 kB
Buffers: 16992 kB
Cached: 79664 kB
SwapCached: 7452 kB
Active: 51824 kB
Inactive: 53660 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055912 kB
LowFree: 1922392 kB
SwapTotal: 4192956 kB
SwapFree: 4178800 kB
Dirty: 5884 kB
Writeback: 0 kB
Mapped: 14084 kB
Slab: 13828 kB
Committed_AS: 852760 kB
PageTables: 1432 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= 126620 MiB
End job on node78 at 2009-05-20 15:53:33