0.00/0.00 c Parsing...
0.00/0.48 c ==============================================================================
0.00/0.48 c | | ORIGINAL | LEARNT | |
0.00/0.48 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.48 c ==============================================================================
0.00/0.48 c | 0 | 547077 1276513 | 164123 0 0 nan | 0.000 % |
3.96/4.08 c | 0 | 222774 884637 | -- 0 -- -- | -- | -324296/-391859
3.96/4.09 c ==============================================================================
3.96/4.09 c Result : #vars: 28754 #clauses: 222774 #literals: 884637
3.96/4.09 c CPU time: 3.87241 s
3.96/4.09 c ==============================================================================
4.37/4.41 c This is MiniSat 2.0 beta
4.37/4.41 c WARNING: for repeatability, setting FPU to use double precision
4.37/4.41 c ============================[ Problem Statistics ]=============================
4.37/4.41 c | |
4.37/4.41 c | Number of variables: 28754 |
4.37/4.41 c | Number of clauses: 222774 |
4.38/4.57 c | Parsing time: 0.14 s |
4.38/4.58 c ============================[ Search Statistics ]==============================
4.38/4.58 c | Conflicts | ORIGINAL | LEARNT | Progress |
4.38/4.58 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
4.38/4.58 c ===============================================================================
4.38/4.58 c | 0 | 28754 222774 884637 | 74258 0 nan | 0.000 % |
4.38/4.64 c | 100 | 28746 222774 884637 | 74258 96 17 | 0.063 % |
4.38/4.69 c | 200 | 28746 222774 884637 | 74258 196 18 | 0.063 % |
4.38/4.77 c | 301 | 28746 222774 884637 | 74258 297 20 | 0.063 % |
4.38/4.81 c | 411 | 28746 222774 884637 | 74258 407 20 | 0.063 % |
4.38/4.89 c | 512 | 28746 222774 884637 | 74258 508 21 | 0.063 % |
4.38/4.94 c | 624 | 28746 222774 884637 | 74258 620 23 | 0.063 % |
4.38/4.99 c | 745 | 28746 222774 884637 | 74258 741 22 | 0.063 % |
4.38/5.07 c | 845 | 28746 222774 884637 | 74258 841 22 | 0.063 % |
4.38/5.10 c | 956 | 28746 222774 884637 | 74258 952 22 | 0.063 % |
4.38/5.17 c | 1077 | 28743 222774 884637 | 74258 1069 21 | 0.167 % |
4.38/5.24 c | 1210 | 28694 222327 882814 | 74258 1197 21 | 0.209 % |
4.38/5.31 c | 1310 | 28694 222327 882814 | 74258 1297 21 | 0.209 % |
4.38/5.37 c | 1421 | 28694 222327 882814 | 74258 1408 21 | 0.209 % |
5.36/5.42 c | 1543 | 28694 222327 882814 | 74258 1530 21 | 0.209 % |
5.46/5.55 c | 1677 | 28694 222327 882814 | 74258 1664 21 | 0.209 % |
5.46/5.59 c | 1824 | 28694 222327 882814 | 74258 1811 21 | 0.209 % |
5.55/5.62 c | 1926 | 28694 222327 882814 | 74258 1913 21 | 0.209 % |
5.55/5.65 c | 2036 | 28694 222327 882814 | 74258 2023 22 | 0.209 % |
5.55/5.69 c | 2159 | 28692 222327 882814 | 74258 2145 22 | 0.233 % |
5.65/5.72 c | 2292 | 28692 222327 882814 | 74258 2278 22 | 0.233 % |
5.65/5.77 c | 2439 | 28686 222327 882814 | 74258 2421 24 | 0.247 % |
5.75/5.82 c | 2599 | 28686 222327 882814 | 74258 2581 23 | 0.247 % |
5.75/5.85 c | 2699 | 28685 222327 882814 | 74258 2680 23 | 0.254 % |
5.75/5.90 c | 2809 | 28678 221861 881256 | 74258 2788 23 | 0.264 % |
5.85/5.94 c | 2932 | 28678 221861 881256 | 74258 2911 24 | 0.264 % |
5.95/6.02 c | 3065 | 28678 221861 881256 | 74258 3044 23 | 0.264 % |
5.95/6.09 c | 3211 | 28678 221861 881256 | 74258 3190 24 | 0.264 % |
6.05/6.14 c | 3373 | 28678 221861 881256 | 74258 3352 24 | 0.264 % |
6.15/6.24 c | 3549 | 28678 221861 881256 | 74258 3528 24 | 0.264 % |
6.15/6.27 c | 3649 | 28678 221861 881256 | 74258 3628 24 | 0.264 % |
6.15/6.27 c | 3759 | 28678 221861 881256 | 74258 3738 24 | 0.264 % |
6.25/6.30 c | 3880 | 28673 221861 881256 | 74258 3857 24 | 0.292 % |
6.25/6.34 c | 4014 | 28673 221861 881256 | 74258 3991 24 | 0.292 % |
6.25/6.39 c | 4160 | 28670 221861 881256 | 74258 4136 25 | 0.344 % |
6.35/6.44 c | 4321 | 28666 221861 881256 | 74258 4297 25 | 0.344 % |
6.35/6.47 c | 4498 | 28666 221861 881256 | 74258 4474 24 | 0.344 % |
6.46/6.52 c | 4691 | 28666 221861 881256 | 74258 4667 25 | 0.344 % |
6.46/6.53 c | 4791 | 28666 221861 881256 | 74258 4767 25 | 0.344 % |
6.56/6.60 c | 4901 | 28655 221560 880254 | 74258 4870 25 | 0.344 % |
6.56/6.62 c | 5022 | 28655 221560 880254 | 74258 4991 25 | 0.344 % |
6.65/6.72 c | 5155 | 28654 221560 880254 | 74258 5123 25 | 0.369 % |
6.65/6.78 c | 5302 | 28654 221560 880254 | 74258 5270 25 | 0.369 % |
6.75/6.82 c | 5464 | 28654 221560 880254 | 74258 5432 25 | 0.369 % |
6.85/6.91 c | 5640 | 28654 221560 880254 | 74258 5608 25 | 0.369 % |
6.85/6.95 c | 5833 | 28654 221560 880254 | 74258 5801 26 | 0.369 % |
6.95/7.02 c | 6045 | 28651 221560 880254 | 74258 6012 25 | 0.410 % |
6.95/7.05 c | 6145 | 28651 221560 880254 | 74258 6112 25 | 0.410 % |
7.05/7.15 c | 6255 | 28651 221560 880254 | 74258 6222 25 | 0.410 % |
7.15/7.22 c | 6376 | 28651 221560 880254 | 74258 6343 25 | 0.410 % |
7.15/7.30 c | 6509 | 28636 221282 879232 | 74258 6472 25 | 0.410 % |
7.25/7.38 c | 6656 | 28636 221282 879232 | 74258 6619 25 | 0.410 % |
7.35/7.45 c | 6816 | 28636 221282 879232 | 74258 6779 25 | 0.410 % |
7.45/7.57 c | 6992 | 28636 221282 879232 | 74258 6955 25 | 0.410 % |
7.45/7.59 c | 7185 | 28636 221282 879232 | 74258 7148 25 | 0.410 % |
7.55/7.66 c | 7397 | 28636 221282 879232 | 74258 7360 25 | 0.410 % |
7.65/7.71 c | 7630 | 28636 221282 879232 | 74258 7593 25 | 0.410 % |
7.65/7.74 c | 7730 | 28636 221282 879232 | 74258 7693 25 | 0.410 % |
7.65/7.75 c | 7841 | 28633 221282 879232 | 74258 7802 25 | 0.442 % |
7.75/7.81 c | 7963 | 28633 221282 879232 | 74258 7924 25 | 0.442 % |
7.75/7.84 c | 8099 | 28633 221282 879232 | 74258 8060 25 | 0.442 % |
7.85/7.90 c | 8245 | 28633 221282 879232 | 74258 8206 25 | 0.442 % |
7.85/7.96 c | 8405 | 28633 221282 879232 | 74258 8366 25 | 0.442 % |
7.95/8.01 c | 8581 | 28627 220963 877994 | 74258 8532 25 | 0.442 % |
8.05/8.13 c | 8774 | 28627 220963 877994 | 74258 8725 25 | 0.442 % |
8.05/8.15 c | 8986 | 28627 220963 877994 | 74258 8937 25 | 0.442 % |
8.15/8.20 c | 9222 | 28627 220963 877994 | 74258 9173 25 | 0.442 % |
8.15/8.26 c | 9480 | 28627 220963 877994 | 74258 9431 26 | 0.442 % |
8.26/8.31 c | 9580 | 28625 220963 877994 | 74258 9530 26 | 0.456 % |
8.26/8.36 c | 9692 | 28625 220963 877994 | 74258 9642 26 | 0.456 % |
8.26/8.38 c | 9813 | 28625 220963 877994 | 74258 9763 25 | 0.456 % |
8.36/8.41 c | 9946 | 28625 220963 877994 | 74258 9896 25 | 0.456 % |
8.36/8.45 c | 10092 | 28625 220963 877994 | 2147483647 10042 25 | 0.456 % |
8.46/8.51 c | 10252 | 28625 220963 877994 | 2147483647 10202 25 | 0.456 % |
8.46/8.58 c | 10429 | 28624 220963 877994 | 2147483647 10378 25 | 0.459 % |
8.56/8.66 c | 10622 | 28624 220963 877994 | 2147483647 10571 26 | 0.459 % |
8.66/8.71 c | 10835 | 28624 220963 877994 | 2147483647 10784 26 | 0.459 % |
8.66/8.78 c | 11071 | 28624 220963 877994 | 2147483647 11020 25 | 0.459 % |
8.76/8.89 c | 11327 | 28622 220901 877776 | 2147483647 11271 26 | 0.459 % |
8.86/8.98 c | 11609 | 28622 220901 877776 | 2147483647 11553 26 | 0.459 % |
8.96/9.05 c | 11710 | 28622 220901 877776 | 2147483647 11654 26 | 0.459 % |
8.96/9.07 c | 11821 | 28622 220901 877776 | 2147483647 11765 26 | 0.459 % |
9.05/9.15 c | 11942 | 28622 220901 877776 | 2147483647 11886 26 | 0.459 % |
9.15/9.25 c | 12075 | 28622 220901 877776 | 2147483647 12019 26 | 0.459 % |
9.25/9.33 c | 12221 | 28622 220901 877776 | 2147483647 12165 26 | 0.459 % |
9.25/9.39 c | 12382 | 28622 220901 877776 | 2147483647 12326 26 | 0.459 % |
9.35/9.45 c | 12558 | 28622 220901 877776 | 2147483647 12502 26 | 0.459 % |
9.35/9.47 c | 12751 | 28622 220901 877776 | 2147483647 12695 26 | 0.459 % |
9.45/9.54 c | 12963 | 28622 220901 877776 | 2147483647 12907 26 | 0.459 % |
9.55/9.61 c | 13197 | 28622 220901 877776 | 2147483647 13141 26 | 0.459 % |
9.55/9.65 c | 13457 | 28622 220901 877776 | 2147483647 13401 26 | 0.459 % |
9.76/9.82 c | 13738 | 28622 220901 877776 | 2147483647 13682 26 | 0.459 % |
9.86/9.97 c | 14049 | 28622 220901 877776 | 2147483647 13993 27 | 0.459 % |
9.95/10.04 c | 14150 | 28622 220901 877776 | 2147483647 14094 27 | 0.459 % |
9.95/10.07 c | 14261 | 28622 220901 877776 | 2147483647 14205 26 | 0.459 % |
10.05/10.12 c | 14383 | 28622 220901 877776 | 2147483647 14327 26 | 0.459 % |
10.05/10.18 c | 14516 | 28622 220901 877776 | 2147483647 14460 27 | 0.459 % |
10.15/10.25 c | 14662 | 28622 220901 877776 | 2147483647 14606 27 | 0.459 % |
10.25/10.31 c | 14822 | 28622 220901 877776 | 2147483647 14766 27 | 0.459 % |
10.25/10.39 c | 14998 | 28622 220901 877776 | 2147483647 14942 27 | 0.459 % |
10.35/10.47 c | 15193 | 28622 220901 877776 | 2147483647 15137 27 | 0.459 % |
10.45/10.56 c | 15405 | 28622 220901 877776 | 2147483647 15349 27 | 0.459 % |
10.55/10.66 c | 15639 | 28622 220901 877776 | 2147483647 15583 27 | 0.459 % |
10.65/10.73 c | 15895 | 28622 220901 877776 | 2147483647 15839 27 | 0.459 % |
10.65/10.77 c | 16177 | 28622 220901 877776 | 2147483647 16121 27 | 0.459 % |
10.75/10.84 c | 16486 | 28622 220901 877776 | 2147483647 16430 27 | 0.459 % |
10.86/10.99 c | 16827 | 28622 220901 877776 | 2147483647 16771 27 | 0.459 % |
10.96/11.03 c | 16928 | 28622 220901 877776 | 2147483647 16872 27 | 0.459 % |
10.96/11.07 c | 17038 | 28622 220901 877776 | 2147483647 16982 27 | 0.459 % |
11.05/11.10 c | 17159 | 28622 220901 877776 | 2147483647 17103 27 | 0.459 % |
11.05/11.19 c | 17293 | 28622 220901 877776 | 2147483647 17237 27 | 0.459 % |
11.25/11.33 c | 17439 | 28622 220901 877776 | 2147483647 17383 27 | 0.459 % |
11.25/11.35 c | 17599 | 28622 220901 877776 | 2147483647 17543 27 | 0.459 % |
11.35/11.43 c | 17775 | 28622 220901 877776 | 2147483647 17719 27 | 0.459 % |
11.45/11.51 c | 17968 | 28622 220901 877776 | 2147483647 17912 27 | 0.459 % |
11.55/11.65 c | 18181 | 28621 220832 877545 | 2147483647 18121 27 | 0.463 % |
11.65/11.78 c | 18414 | 28621 220832 877545 | 2147483647 18354 28 | 0.463 % |
11.75/11.88 c | 18671 | 28621 220832 877545 | 2147483647 18611 28 | 0.463 % |
11.85/11.92 c | 18952 | 28621 220832 877545 | 2147483647 18892 28 | 0.463 % |
11.95/12.03 c | 19262 | 28621 220832 877545 | 2147483647 19202 28 | 0.463 % |
12.15/12.25 c | 19601 | 28621 220832 877545 | 2147483647 19541 28 | 0.463 % |
12.25/12.31 c | 19973 | 28621 220832 877545 | 2147483647 19913 28 | 0.463 % |
12.25/12.34 c | 20074 | 28621 220832 877545 | 2147483647 20014 28 | 0.463 % |
12.35/12.40 c | 20184 | 28621 220832 877545 | 2147483647 20124 28 | 0.463 % |
12.35/12.49 c | 20308 | 28621 220832 877545 | 2147483647 20248 28 | 0.463 % |
12.45/12.52 c | 20441 | 28621 220832 877545 | 2147483647 20381 28 | 0.463 % |
12.45/12.58 c | 20587 | 28621 220832 877545 | 2147483647 20527 28 | 0.463 % |
12.55/12.65 c | 20747 | 28621 220832 877545 | 2147483647 20687 28 | 0.463 % |
12.55/12.66 c | 20924 | 28621 220832 877545 | 2147483647 20864 28 | 0.463 % |
12.65/12.77 c | 21118 | 28621 220832 877545 | 2147483647 21058 28 | 0.463 % |
12.75/12.90 c | 21333 | 28621 220832 877545 | 2147483647 21273 28 | 0.463 % |
12.95/13.03 c | 21569 | 28621 220832 877545 | 2147483647 21509 28 | 0.463 % |
12.95/13.06 c | 21825 | 28621 220832 877545 | 2147483647 21765 28 | 0.463 % |
13.05/13.18 c | 22107 | 28621 220832 877545 | 2147483647 22047 29 | 0.463 % |
13.25/13.31 c | 22417 | 28621 220832 877545 | 2147483647 22357 29 | 0.463 % |
13.25/13.37 c | 22758 | 28621 220832 877545 | 2147483647 22698 29 | 0.463 % |
13.35/13.49 c | 23132 | 28621 220832 877545 | 2147483647 23072 29 | 0.463 % |
13.55/13.68 c | 23541 | 28621 220832 877545 | 2147483647 23481 30 | 0.463 % |
13.65/13.72 c | 23642 | 28621 220832 877545 | 2147483647 23582 30 | 0.463 % |
13.65/13.77 c | 23752 | 28621 220832 877545 | 2147483647 23692 30 | 0.463 % |
13.75/13.87 c | 23873 | 28621 220832 877545 | 2147483647 23813 30 | 0.463 % |
13.75/13.89 c | 24006 | 28621 220832 877545 | 2147483647 23946 30 | 0.463 % |
13.85/13.95 c | 24152 | 28621 220832 877545 | 2147483647 24092 30 | 0.463 % |
13.95/14.03 c | 24312 | 28621 220832 877545 | 2147483647 24252 30 | 0.463 % |
14.05/14.10 c | 24488 | 28621 220832 877545 | 2147483647 24428 30 | 0.463 % |
14.05/14.17 c | 24681 | 28621 220832 877545 | 2147483647 24621 30 | 0.463 % |
14.15/14.25 c | 24893 | 28621 220832 877545 | 2147483647 24833 30 | 0.463 % |
14.25/14.30 c | 25127 | 28621 220832 877545 | 2147483647 25067 29 | 0.463 % |
14.25/14.32 c | 25385 | 28621 220832 877545 | 2147483647 25325 29 | 0.463 % |
14.45/14.51 c | 25667 | 28621 220832 877545 | 2147483647 25607 29 | 0.463 % |
14.45/14.59 c | 25976 | 28621 220832 877545 | 2147483647 25916 30 | 0.463 % |
14.55/14.65 c | 26315 | 28621 220832 877545 | 2147483647 26255 30 | 0.463 % |
14.75/14.83 c | 26688 | 28621 220832 877545 | 2147483647 26628 30 | 0.463 % |
14.75/14.88 c | 27098 | 28621 220832 877545 | 2147483647 27038 30 | 0.463 % |
14.95/15.01 c | 27547 | 28621 220832 877545 | 2147483647 27487 31 | 0.463 % |
14.95/15.07 c | 27647 | 28621 220832 877545 | 2147483647 27587 31 | 0.463 % |
15.05/15.11 c | 27759 | 28621 220832 877545 | 2147483647 27699 31 | 0.463 % |
15.05/15.16 c | 27882 | 28621 220832 877545 | 2147483647 27822 31 | 0.463 % |
15.15/15.22 c | 28015 | 28614 220652 876926 | 2147483647 27946 31 | 0.574 % |
15.15/15.29 c | 28161 | 28614 220652 876926 | 2147483647 28092 31 | 0.574 % |
15.26/15.40 c | 28321 | 28614 220652 876926 | 2147483647 28252 31 | 0.574 % |
15.45/15.51 c | 28497 | 28614 220652 876926 | 2147483647 28428 31 | 0.574 % |
15.55/15.62 c | 28690 | 28614 220652 876926 | 2147483647 28621 31 | 0.574 % |
15.55/15.65 c | 28903 | 28614 220652 876926 | 2147483647 28834 31 | 0.574 % |
15.65/15.72 c | 29137 | 28614 220652 876926 | 2147483647 29068 31 | 0.574 % |
15.75/15.81 c | 29395 | 28614 220652 876926 | 2147483647 29326 31 | 0.574 % |
15.75/15.82 c | 29676 | 28614 220652 876926 | 2147483647 29607 31 | 0.574 % |
15.75/15.88 c | 29985 | 28614 220652 876926 | 2147483647 29916 31 | 0.574 % |
15.85/15.97 c | 30324 | 28614 220652 876926 | 2147483647 30255 31 | 0.574 % |
16.05/16.16 c | 30697 | 28614 220652 876926 | 2147483647 30628 32 | 0.574 % |
16.15/16.28 c | 31107 | 28614 220652 876926 | 2147483647 31038 32 | 0.574 % |
16.25/16.34 c | 31556 | 28614 220652 876926 | 2147483647 31487 32 | 0.574 % |
16.35/16.45 c | 32049 | 28614 220652 876926 | 2147483647 31980 32 | 0.574 % |
16.35/16.50 c | 32150 | 28614 220652 876926 | 2147483647 32081 32 | 0.574 % |
16.45/16.53 c | 32261 | 28614 220652 876926 | 2147483647 32192 32 | 0.574 % |
16.55/16.61 c | 32382 | 28614 220652 876926 | 2147483647 32313 32 | 0.574 % |
16.55/16.65 c | 32516 | 28614 220652 876926 | 2147483647 32447 32 | 0.574 % |
16.55/16.69 c | 32663 | 28614 220652 876926 | 2147483647 32594 32 | 0.574 % |
16.65/16.77 c | 32825 | 28614 220652 876926 | 2147483647 32756 32 | 0.574 % |
16.75/16.80 c | 33001 | 28614 220652 876926 | 2147483647 32932 32 | 0.574 % |
16.75/16.89 c | 33194 | 28614 220652 876926 | 2147483647 33125 32 | 0.574 % |
16.85/16.97 c | 33411 | 28589 220265 875545 | 2147483647 33324 32 | 0.574 % |
16.95/17.05 c | 33644 | 28589 220265 875545 | 2147483647 33557 32 | 0.574 % |
17.05/17.18 c | 33900 | 28589 220265 875545 | 2147483647 33813 32 | 0.574 % |
17.25/17.34 c | 34181 | 28589 220265 875545 | 2147483647 34094 32 | 0.574 % |
17.35/17.45 c | 34490 | 28589 220265 875545 | 2147483647 34403 33 | 0.574 % |
17.45/17.55 c | 34829 | 28589 220265 875545 | 2147483647 34742 33 | 0.574 % |
17.55/17.61 c | 35201 | 28589 220265 875545 | 2147483647 35114 33 | 0.574 % |
17.65/17.76 c | 35612 | 28588 220265 875545 | 2147483647 35524 33 | 0.577 % |
17.75/17.83 c | 36061 | 28588 220265 875545 | 2147483647 35973 33 | 0.577 % |
17.85/17.91 c | 36560 | 28588 220265 875545 | 2147483647 36472 33 | 0.577 % |
17.95/18.02 c | 37103 | 28588 220265 875545 | 2147483647 37015 33 | 0.577 % |
17.95/18.05 c | 37203 | 28588 220265 875545 | 2147483647 37115 33 | 0.577 % |
18.05/18.12 c | 37314 | 28588 220265 875545 | 2147483647 37226 33 | 0.577 % |
18.05/18.16 c | 37435 | 28588 220265 875545 | 2147483647 37347 33 | 0.577 % |
18.14/18.22 c | 37569 | 28588 220265 875545 | 2147483647 37481 33 | 0.577 % |
18.14/18.28 c | 37715 | 28588 220265 875545 | 2147483647 37627 33 | 0.577 % |
18.24/18.32 c | 37876 | 28588 220265 875545 | 2147483647 37788 33 | 0.577 % |
18.24/18.37 c | 38052 | 28588 220265 875545 | 2147483647 37964 33 | 0.577 % |
18.34/18.41 c | 38245 | 28588 220265 875545 | 2147483647 38157 33 | 0.577 % |
18.34/18.48 c | 38458 | 28588 220265 875545 | 2147483647 38370 33 | 0.577 % |
18.44/18.52 c | 38691 | 28588 220265 875545 | 2147483647 38603 33 | 0.577 % |
18.44/18.57 c | 38947 | 28588 220265 875545 | 2147483647 38859 33 | 0.577 % |
18.55/18.65 c | 39228 | 28588 220265 875545 | 2147483647 39140 33 | 0.577 % |
18.65/18.73 c | 39539 | 28588 220265 875545 | 2147483647 39451 33 | 0.577 % |
18.74/18.80 c | 39879 | 28588 220265 875545 | 2147483647 39791 33 | 0.577 % |
18.84/18.99 c | 40252 | 28588 220265 875545 | 2147483647 40164 33 | 0.577 % |
18.95/19.08 c | 40661 | 28588 220261 875537 | 2147483647 40573 33 | 0.577 % |
19.05/19.17 c | 41110 | 28588 220261 875537 | 2147483647 41022 33 | 0.577 % |
19.35/19.43 c | 41604 | 28588 220261 875537 | 2147483647 41516 33 | 0.577 % |
19.45/19.54 c | 42146 | 28588 220261 875537 | 2147483647 42058 33 | 0.577 % |
19.55/19.69 c | 42743 | 28588 220261 875537 | 2147483647 42655 34 | 0.577 % |
19.65/19.72 c | 42843 | 28588 220261 875537 | 2147483647 42755 34 | 0.577 % |
19.65/19.72 c | 42954 | 28588 220261 875537 | 2147483647 42866 34 | 0.577 % |
19.75/19.84 c | 43075 | 28578 220261 875537 | 2147483647 42986 33 | 0.668 % |
19.75/19.88 c | 43208 | 28578 220261 875537 | 2147483647 43119 34 | 0.668 % |
19.85/19.93 c | 43354 | 28578 220261 875537 | 2147483647 43265 34 | 0.668 % |
19.85/19.98 c | 43514 | 28578 220261 875537 | 2147483647 43425 34 | 0.668 % |
19.95/20.04 c | 43691 | 28489 220261 875537 | 2147483647 43601 34 | 1.391 % |
19.95/20.05 c | 43884 | 28489 220261 875537 | 2147483647 43794 34 | 1.391 % |
20.05/20.18 c | 44097 | 28466 220261 875537 | 2147483647 44007 34 | 1.391 % |
20.25/20.31 c | 44330 | 28466 220261 875537 | 2147483647 44240 34 | 1.391 % |
20.35/20.41 c | 44587 | 28466 220261 875537 | 2147483647 44497 34 | 1.391 % |
20.45/20.56 c | 44869 | 28466 220261 875537 | 2147483647 44779 34 | 1.391 % |
20.55/20.64 c | 45178 | 28466 220261 875537 | 2147483647 45088 34 | 1.391 % |
20.75/20.82 c | 45517 | 28463 220261 875537 | 2147483647 45426 34 | 1.402 % |
20.75/20.89 c | 45890 | 28463 220261 875537 | 2147483647 45799 34 | 1.402 % |
20.85/20.99 c | 46299 | 28463 220261 875537 | 2147483647 46208 34 | 1.402 % |
21.05/21.11 c | 46748 | 28463 220261 875537 | 2147483647 46657 34 | 1.402 % |
21.15/21.30 c | 47243 | 28463 220261 875537 | 2147483647 47152 34 | 1.402 % |
21.35/21.49 c | 47785 | 28463 220261 875537 | 2147483647 47694 34 | 1.402 % |
21.55/21.63 c | 48381 | 28351 216780 861744 | 2147483647 48194 35 | 1.402 % |
21.65/21.77 c | 49037 | 28351 216780 861744 | 2147483647 48850 35 | 1.402 % |
21.75/21.81 c | 49138 | 28351 216780 861744 | 2147483647 48951 35 | 1.402 % |
21.75/21.82 c | 49249 | 28351 216780 861744 | 2147483647 49062 35 | 1.402 % |
21.75/21.88 c | 49371 | 28351 216780 861744 | 2147483647 49184 35 | 1.402 % |
21.85/21.96 c | 49505 | 28351 216780 861744 | 2147483647 49318 35 | 1.402 % |
21.95/22.07 c | 49651 | 28351 216780 861744 | 2147483647 49464 35 | 1.402 % |
22.05/22.13 c | 49812 | 28351 216780 861744 | 2147483647 49625 35 | 1.402 % |
22.05/22.19 c | 49991 | 28351 216780 861744 | 2147483647 49804 35 | 1.402 % |
22.15/22.24 c | 50185 | 28351 216780 861744 | 2147483647 49998 35 | 1.402 % |
22.25/22.30 c | 50399 | 28351 216780 861744 | 2147483647 50212 35 | 1.402 % |
22.25/22.37 c | 50632 | 28351 216780 861744 | 2147483647 50445 35 | 1.402 % |
22.35/22.47 c | 50888 | 28351 216780 861744 | 2147483647 50701 35 | 1.402 % |
22.65/22.70 c | 51170 | 28351 216780 861744 | 2147483647 50983 35 | 1.402 % |
22.75/22.83 c | 51479 | 28351 216780 861744 | 2147483647 51292 35 | 1.402 % |
22.85/22.98 c | 51818 | 28351 216780 861744 | 2147483647 51631 35 | 1.402 % |
23.05/23.18 c | 52190 | 28351 216780 861744 | 2147483647 52003 35 | 1.402 % |
23.15/23.26 c | 52599 | 28351 216780 861744 | 2147483647 52412 35 | 1.402 % |
23.25/23.39 c | 53048 | 28351 216780 861744 | 2147483647 52861 35 | 1.402 % |
23.45/23.50 c | 53547 | 28351 216780 861744 | 2147483647 53360 35 | 1.402 % |
23.55/23.67 c | 54090 | 28351 216780 861744 | 2147483647 53903 35 | 1.402 % |
23.65/23.77 c | 54688 | 28351 216780 861744 | 2147483647 54501 35 | 1.402 % |
23.84/23.92 c | 55343 | 28351 216780 861744 | 2147483647 55156 35 | 1.402 % |
24.05/24.10 c | 56063 | 28351 216780 861744 | 2147483647 55876 35 | 1.402 % |
24.05/24.16 c | 56165 | 28351 216780 861744 | 2147483647 55978 35 | 1.402 % |
24.05/24.19 c | 56276 | 28351 216780 861744 | 2147483647 56089 35 | 1.402 % |
24.15/24.24 c | 56397 | 28351 216780 861744 | 2147483647 56210 35 | 1.402 % |
24.24/24.33 c | 56530 | 28351 216780 861744 | 2147483647 56343 35 | 1.402 % |
24.24/24.39 c | 56678 | 28351 216780 861744 | 2147483647 56491 35 | 1.402 % |
24.34/24.48 c | 56838 | 28351 216780 861744 | 2147483647 56651 35 | 1.402 % |
24.44/24.54 c | 57015 | 28351 216780 861744 | 2147483647 56828 35 | 1.402 % |
24.54/24.60 c | 57210 | 28351 216780 861744 | 2147483647 57023 35 | 1.402 % |
24.54/24.68 c | 57427 | 28351 216780 861744 | 2147483647 57240 35 | 1.402 % |
24.64/24.80 c | 57663 | 28351 216780 861744 | 2147483647 57476 35 | 1.402 % |
24.84/24.90 c | 57920 | 28351 216780 861744 | 2147483647 57733 35 | 1.402 % |
24.94/25.01 c | 58201 | 28351 216780 861744 | 2147483647 58014 35 | 1.402 % |
24.94/25.07 c | 58511 | 28351 216780 861744 | 2147483647 58324 35 | 1.402 % |
25.04/25.14 c | 58857 | 28351 216780 861744 | 2147483647 58670 35 | 1.402 % |
25.15/25.24 c | 59229 | 28351 216780 861744 | 2147483647 59042 35 | 1.402 % |
25.34/25.43 c | 59639 | 28351 216780 861744 | 2147483647 59452 35 | 1.402 % |
25.44/25.56 c | 60088 | 28351 216780 861744 | 2147483647 59901 35 | 1.402 % |
25.75/25.82 c | 60582 | 28351 216780 861744 | 2147483647 60395 35 | 1.402 % |
25.85/25.99 c | 61124 | 28351 216780 861744 | 2147483647 60937 35 | 1.402 % |
26.05/26.12 c | 61721 | 28351 216780 861744 | 2147483647 61534 35 | 1.402 % |
26.25/26.39 c | 62376 | 28351 216780 861744 | 2147483647 62189 36 | 1.402 % |
26.65/26.78 c | 63097 | 28351 216780 861744 | 2147483647 62910 36 | 1.402 % |
26.95/27.05 c | 63889 | 28351 216780 861744 | 2147483647 63702 36 | 1.402 % |
27.05/27.13 c | 63989 | 28351 216780 861744 | 2147483647 63802 36 | 1.402 % |
27.15/27.20 c | 64100 | 28351 216780 861744 | 2147483647 63913 36 | 1.402 % |
27.15/27.24 c | 64223 | 28351 216780 861744 | 2147483647 64036 36 | 1.402 % |
27.15/27.29 c | 64357 | 28351 216780 861744 | 2147483647 64170 36 | 1.402 % |
27.25/27.37 c | 64503 | 28351 216780 861744 | 2147483647 64316 36 | 1.402 % |
27.45/27.51 c | 64663 | 28351 216780 861744 | 2147483647 64476 36 | 1.402 % |
27.45/27.55 c | 64839 | 28351 216780 861744 | 2147483647 64652 36 | 1.402 % |
27.55/27.67 c | 65032 | 28351 216780 861744 | 2147483647 64845 36 | 1.402 % |
27.65/27.77 c | 65246 | 28351 216780 861744 | 2147483647 65059 36 | 1.402 % |
27.75/27.84 c | 65480 | 28351 216780 861744 | 2147483647 65293 36 | 1.402 % |
27.85/27.95 c | 65736 | 28351 216780 861744 | 2147483647 65549 36 | 1.402 % |
27.85/27.99 c | 66018 | 28351 216780 861744 | 2147483647 65831 36 | 1.402 % |
28.05/28.20 c | 66331 | 28351 216780 861744 | 2147483647 66144 36 | 1.402 % |
28.25/28.36 c | 66673 | 28351 216780 861744 | 2147483647 66486 36 | 1.402 % |
28.45/28.53 c | 67046 | 28351 216780 861744 | 2147483647 66859 36 | 1.402 % |
28.65/28.79 c | 67459 | 28351 216780 861744 | 2147483647 67272 36 | 1.402 % |
28.85/28.97 c | 67908 | 28351 216780 861744 | 2147483647 67721 36 | 1.402 % |
29.15/29.27 c | 68402 | 28351 216780 861744 | 2147483647 68215 36 | 1.402 % |
29.45/29.56 c | 68944 | 28351 216780 861744 | 2147483647 68757 36 | 1.402 % |
29.55/29.69 c | 69543 | 28351 216780 861744 | 2147483647 69356 36 | 1.402 % |
29.75/29.86 c | 70200 | 28351 216780 861744 | 2147483647 70013 36 | 1.402 % |
30.05/30.17 c | 70921 | 28351 216780 861744 | 2147483647 70734 37 | 1.402 % |
30.35/30.41 c | 71713 | 28351 216780 861744 | 2147483647 71526 37 | 1.402 % |
30.55/30.69 c | 72584 | 28351 216780 861744 | 2147483647 72397 37 | 1.402 % |
30.65/30.74 c | 72685 | 28351 216780 861744 | 2147483647 72498 37 | 1.402 % |
30.65/30.78 c | 72796 | 28351 216780 861744 | 2147483647 72609 37 | 1.402 % |
30.75/30.83 c | 72917 | 28351 216780 861744 | 2147483647 72730 37 | 1.402 % |
30.85/30.92 c | 73050 | 28351 216780 861744 | 2147483647 72863 37 | 1.402 % |
30.85/30.98 c | 73196 | 28351 216780 861744 | 2147483647 73009 37 | 1.402 % |
30.95/31.05 c | 73356 | 28351 216780 861744 | 2147483647 73169 37 | 1.402 % |
31.05/31.14 c | 73535 | 28351 216780 861744 | 2147483647 73348 37 | 1.402 % |
31.15/31.23 c | 73730 | 28351 216780 861744 | 2147483647 73543 37 | 1.402 % |
31.15/31.26 c | 73942 | 28351 216780 861744 | 2147483647 73755 37 | 1.402 % |
31.35/31.48 c | 74179 | 28351 216780 861744 | 2147483647 73992 37 | 1.402 % |
31.45/31.58 c | 74435 | 28351 216780 861744 | 2147483647 74248 37 | 1.402 % |
31.55/31.67 c | 74716 | 28351 216780 861744 | 2147483647 74529 37 | 1.402 % |
31.85/31.90 c | 75026 | 28351 216780 861744 | 2147483647 74839 37 | 1.402 % |
31.94/32.00 c | 75370 | 28351 216780 861744 | 2147483647 75183 37 | 1.402 % |
32.04/32.16 c | 75742 | 28351 216780 861744 | 2147483647 75555 37 | 1.402 % |
32.34/32.40 c | 76151 | 28351 216780 861744 | 2147483647 75964 37 | 1.402 % |
32.64/32.71 c | 76601 | 28351 216780 861744 | 2147483647 76414 37 | 1.402 % |
32.85/32.94 c | 77101 | 28351 216780 861744 | 2147483647 76914 37 | 1.402 % |
33.04/33.15 c | 77644 | 28351 216780 861744 | 2147483647 77457 37 | 1.402 % |
33.44/33.52 c | 78240 | 28351 216780 861744 | 2147483647 78053 37 | 1.402 % |
33.55/33.68 c | 78895 | 28351 216780 861744 | 2147483647 78708 37 | 1.402 % |
33.95/34.05 c | 79616 | 28351 216780 861744 | 2147483647 79429 37 | 1.402 % |
34.15/34.29 c | 80409 | 28351 216780 861744 | 2147483647 80222 37 | 1.402 % |
34.35/34.46 c | 81282 | 28351 216780 861744 | 2147483647 81095 37 | 1.402 % |
34.65/34.79 c | 82240 | 28351 216780 861744 | 2147483647 82053 37 | 1.402 % |
34.74/34.87 c | 82340 | 28351 216780 861744 | 2147483647 82153 37 | 1.402 % |
34.84/34.90 c | 82451 | 28351 216780 861744 | 2147483647 82264 37 | 1.402 % |
34.84/34.99 c | 82572 | 28351 216780 861744 | 2147483647 82385 37 | 1.402 % |
34.94/35.07 c | 82708 | 28351 216780 861744 | 2147483647 82521 37 | 1.402 % |
35.05/35.14 c | 82854 | 28351 216780 861744 | 2147483647 82667 37 | 1.402 % |
35.15/35.25 c | 83015 | 28351 216780 861744 | 2147483647 82828 37 | 1.402 % |
35.24/35.33 c | 83203 | 28351 216780 861744 | 2147483647 83016 37 | 1.402 % |
35.34/35.49 c | 83396 | 28344 216554 860852 | 2147483647 83201 37 | 1.426 % |
35.44/35.52 c | 83610 | 28344 216554 860852 | 2147483647 83415 37 | 1.426 % |
35.44/35.59 c | 83844 | 28344 216554 860852 | 2147483647 83649 37 | 1.426 % |
35.64/35.72 c | 84100 | 28344 216554 860852 | 2147483647 83905 37 | 1.426 % |
35.74/35.85 c | 84381 | 28344 216554 860852 | 2147483647 84186 37 | 1.426 % |
35.84/35.90 c | 84690 | 28344 216554 860852 | 2147483647 84495 37 | 1.426 % |
36.04/36.14 c | 85030 | 28344 216554 860852 | 2147483647 84835 37 | 1.426 % |
36.24/36.35 c | 85402 | 28317 216554 860852 | 2147483647 85206 37 | 1.586 % |
36.44/36.50 c | 85811 | 28317 216554 860852 | 2147483647 85615 37 | 1.586 % |
36.54/36.68 c | 86260 | 28317 216554 860852 | 2147483647 86064 37 | 1.586 % |
36.74/36.81 c | 86753 | 28317 216554 860852 | 2147483647 86557 37 | 1.586 % |
36.94/37.07 c | 87295 | 28315 216554 860852 | 2147483647 87099 37 | 1.586 % |
37.24/37.32 c | 87893 | 28315 216554 860852 | 2147483647 87697 37 | 1.586 % |
37.34/37.49 c | 88550 | 28315 216554 860852 | 2147483647 88354 37 | 1.586 % |
37.54/37.66 c | 89273 | 28315 216554 860852 | 2147483647 89077 37 | 1.586 % |
37.95/38.04 c | 90065 | 28315 216554 860852 | 2147483647 89869 37 | 1.586 % |
38.15/38.21 c | 90936 | 28315 216554 860852 | 2147483647 90740 37 | 1.586 % |
38.65/38.71 c | 91895 | 28315 216554 860852 | 2147483647 91699 37 | 1.586 % |
39.14/39.21 c | 92949 | 28315 216554 860852 | 2147483647 92753 37 | 1.586 % |
39.24/39.37 c | 93051 | 28315 216554 860852 | 2147483647 92855 37 | 1.586 % |
39.34/39.48 c | 93164 | 28314 216554 860852 | 2147483647 92967 37 | 1.589 % |
39.54/39.63 c | 93285 | 28314 216554 860852 | 2147483647 93088 37 | 1.589 % |
39.64/39.72 c | 93419 | 28314 216554 860852 | 2147483647 93222 37 | 1.589 % |
39.64/39.77 c | 93571 | 28314 216554 860852 | 2147483647 93374 37 | 1.589 % |
39.74/39.83 c | 93731 | 28314 216554 860852 | 2147483647 93534 37 | 1.589 % |
39.84/39.91 c | 93909 | 28314 216554 860852 | 2147483647 93712 37 | 1.589 % |
39.84/40.00 c | 94103 | 28314 216554 860852 | 2147483647 93906 37 | 1.589 % |
40.14/40.20 c | 94315 | 28314 216554 860852 | 2147483647 94118 37 | 1.589 % |
40.14/40.23 c | 94548 | 28314 216554 860852 | 2147483647 94351 37 | 1.589 % |
40.24/40.36 c | 94804 | 28314 216554 860852 | 2147483647 94607 37 | 1.589 % |
40.34/40.46 c | 95093 | 28314 216554 860852 | 2147483647 94896 37 | 1.589 % |
40.54/40.64 c | 95402 | 28314 216554 860852 | 2147483647 95205 37 | 1.589 % |
40.74/40.80 c | 95743 | 28314 216554 860852 | 2147483647 95546 37 | 1.589 % |
40.84/40.95 c | 96116 | 28314 216554 860852 | 2147483647 95919 37 | 1.589 % |
41.04/41.18 c | 96526 | 28314 216554 860852 | 2147483647 96329 37 | 1.589 % |
41.24/41.34 c | 96976 | 28314 216554 860852 | 2147483647 96779 37 | 1.589 % |
41.54/41.61 c | 97469 | 28314 216554 860852 | 2147483647 97272 37 | 1.589 % |
41.84/41.98 c | 98011 | 28314 216554 860852 | 2147483647 97814 37 | 1.589 % |
42.04/42.13 c | 98609 | 28297 215238 855355 | 2147483647 98379 37 | 1.589 % |
42.34/42.44 c | 99264 | 28297 215238 855355 | 2147483647 99034 37 | 1.589 % |
42.54/42.68 c | 99986 | 28297 215238 855355 | 2147483647 99756 37 | 1.589 % |
42.84/42.93 c | 100779 | 28297 215238 855355 | 2147483647 100549 37 | 1.589 % |
43.24/43.30 c | 101651 | 28297 215238 855355 | 2147483647 101421 37 | 1.589 % |
43.45/43.57 c | 102609 | 28297 215238 855355 | 2147483647 102379 37 | 1.589 % |
43.75/43.84 c | 103662 | 28297 215238 855355 | 2147483647 103432 37 | 1.589 % |
44.14/44.29 c | 104820 | 28297 215238 855355 | 2147483647 104590 38 | 1.589 % |
44.24/44.33 c | 104920 | 28297 215238 855355 | 2147483647 104690 38 | 1.589 % |
44.34/44.44 c | 105033 | 28297 215238 855355 | 2147483647 104803 38 | 1.589 % |
44.44/44.54 c | 105154 | 28296 215238 855355 | 2147483647 104923 38 | 1.607 % |
44.54/44.65 c | 105287 | 28295 215238 855355 | 2147483647 105055 38 | 1.617 % |
44.64/44.76 c | 105433 | 28295 215238 855355 | 2147483647 105201 38 | 1.617 % |
44.74/44.89 c | 105594 | 28295 215238 855355 | 2147483647 105362 38 | 1.617 % |
44.95/45.00 c | 105771 | 28295 215238 855355 | 2147483647 105539 38 | 1.617 % |
45.05/45.14 c | 105964 | 28295 215238 855355 | 2147483647 105732 38 | 1.617 % |
45.05/45.18 c | 106177 | 28295 215238 855355 | 2147483647 105945 38 | 1.617 % |
45.24/45.34 c | 106410 | 28295 215238 855355 | 2147483647 106178 38 | 1.617 % |
45.34/45.47 c | 106667 | 28295 215238 855355 | 2147483647 106435 38 | 1.617 % |
45.54/45.68 c | 106951 | 28295 215238 855355 | 2147483647 106719 38 | 1.617 % |
45.74/45.89 c | 107262 | 28295 215238 855355 | 2147483647 107030 38 | 1.617 % |
46.24/46.38 c | 107601 | 28295 215238 855355 | 2147483647 107369 38 | 1.617 % |
46.54/46.60 c | 107973 | 28295 215238 855355 | 2147483647 107741 38 | 1.617 % |
46.74/46.84 c | 108383 | 28295 215238 855355 | 2147483647 108151 38 | 1.617 % |
47.15/47.20 c | 108832 | 28295 215238 855355 | 2147483647 108600 38 | 1.617 % |
47.34/47.42 c | 109325 | 28295 215238 855355 | 2147483647 109093 38 | 1.617 % |
47.64/47.74 c | 109868 | 28295 215238 855355 | 2147483647 109636 38 | 1.617 % |
47.84/47.92 c | 110465 | 28295 215238 855355 | 2147483647 110233 38 | 1.617 % |
48.14/48.30 c | 111120 | 28295 215238 855355 | 2147483647 110888 38 | 1.617 % |
48.44/48.59 c | 111841 | 28295 215238 855355 | 2147483647 111609 38 | 1.617 % |
48.64/48.71 c | 112633 | 28295 215238 855355 | 2147483647 112401 38 | 1.617 % |
49.04/49.18 c | 113510 | 28295 215238 855355 | 2147483647 113278 38 | 1.617 % |
49.54/49.61 c | 114469 | 28295 215238 855355 | 2147483647 114237 38 | 1.617 % |
49.84/49.95 c | 115522 | 28295 215238 855355 | 2147483647 115290 38 | 1.617 % |
50.24/50.38 c | 116680 | 28295 215238 855355 | 2147483647 116448 38 | 1.617 % |
50.84/50.94 c | 117955 | 28289 215015 854565 | 2147483647 117702 38 | 1.617 % |
50.94/51.08 c | 118057 | 28289 215015 854565 | 2147483647 117804 38 | 1.617 % |
51.04/51.15 c | 118169 | 28289 215015 854565 | 2147483647 117916 38 | 1.617 % |
51.14/51.26 c | 118290 | 28289 215015 854565 | 2147483647 118037 38 | 1.617 % |
51.34/51.41 c | 118425 | 28289 215015 854565 | 2147483647 118172 38 | 1.617 % |
51.44/51.51 c | 118572 | 28289 215015 854565 | 2147483647 118319 38 | 1.617 % |
51.54/51.65 c | 118733 | 28289 215015 854565 | 2147483647 118480 38 | 1.617 % |
51.64/51.74 c | 118910 | 28289 215015 854565 | 2147483647 118657 38 | 1.617 % |
51.73/51.89 c | 119103 | 28289 215015 854565 | 2147483647 118850 38 | 1.617 % |
52.03/52.17 c | 119315 | 28289 215015 854565 | 2147483647 119062 38 | 1.617 % |
52.13/52.27 c | 119550 | 28289 215015 854565 | 2147483647 119297 38 | 1.617 % |
52.33/52.41 c | 119806 | 28289 215015 854565 | 2147483647 119553 38 | 1.617 % |
52.43/52.59 c | 120087 | 28289 215015 854565 | 2147483647 119834 38 | 1.617 % |
52.64/52.74 c | 120397 | 28289 215015 854565 | 2147483647 120144 38 | 1.617 % |
52.83/52.91 c | 120738 | 28289 215015 854565 | 2147483647 120485 38 | 1.617 % |
52.93/53.03 c | 121110 | 28289 215015 854565 | 2147483647 120857 38 | 1.617 % |
53.13/53.21 c | 121521 | 28289 215015 854565 | 2147483647 121268 38 | 1.617 % |
53.23/53.38 c | 121972 | 28289 215015 854565 | 2147483647 121719 38 | 1.617 % |
53.84/53.92 c | 122468 | 28289 215015 854565 | 2147483647 122215 38 | 1.617 % |
54.14/54.24 c | 123010 | 28289 215015 854565 | 2147483647 122757 38 | 1.617 % |
54.64/54.70 c | 123606 | 28289 215015 854565 | 2147483647 123353 38 | 1.617 % |
54.84/55.00 c | 124263 | 28289 215015 854565 | 2147483647 124010 38 | 1.617 % |
55.44/55.58 c | 124983 | 28289 215015 854565 | 2147483647 124730 38 | 1.617 % |
56.04/56.14 c | 125775 | 28289 215015 854565 | 2147483647 125522 38 | 1.617 % |
56.34/56.47 c | 126646 | 28289 215015 854565 | 2147483647 126393 38 | 1.617 % |
56.94/57.07 c | 127604 | 28289 215015 854565 | 2147483647 127351 38 | 1.617 % |
57.63/57.78 c | 128657 | 28289 215015 854565 | 2147483647 128404 38 | 1.617 % |
58.14/58.26 c | 129817 | 28289 215015 854565 | 2147483647 129564 38 | 1.617 % |
58.73/58.89 c | 131090 | 28289 215015 854565 | 2147483647 130837 38 | 1.617 % |
59.33/59.46 c | 132490 | 28289 215015 854565 | 2147483647 132237 38 | 1.617 % |
59.43/59.54 c | 132590 | 28289 215015 854565 | 2147483647 132337 38 | 1.617 % |
59.53/59.66 c | 132703 | 28289 215015 854565 | 2147483647 132450 38 | 1.617 % |
59.63/59.70 c | 132825 | 28289 215015 854565 | 2147483647 132572 38 | 1.617 % |
59.73/59.80 c | 132960 | 28289 215015 854565 | 2147483647 132707 38 | 1.617 % |
59.83/59.97 c | 133106 | 28289 215015 854565 | 2147483647 132853 38 | 1.617 % |
59.93/60.07 c | 133267 | 28289 215015 854565 | 2147483647 133014 38 | 1.617 % |
60.13/60.21 c | 133446 | 28289 215015 854565 | 2147483647 133193 38 | 1.617 % |
60.23/60.32 c | 133639 | 28288 215015 854565 | 2147483647 133385 38 | 1.628 % |
60.43/60.52 c | 133852 | 28288 215015 854565 | 2147483647 133598 38 | 1.628 % |
60.83/60.92 c | 134085 | 28288 215015 854565 | 2147483647 133831 38 | 1.628 % |
60.93/61.04 c | 134341 | 28288 215015 854565 | 2147483647 134087 38 | 1.628 % |
61.33/61.47 c | 134624 | 28288 215015 854565 | 2147483647 134370 38 | 1.628 % |
61.63/61.71 c | 134934 | 28288 215015 854565 | 2147483647 134680 38 | 1.628 % |
61.83/61.98 c | 135274 | 28286 214989 854491 | 2147483647 135020 38 | 1.628 % |
62.13/62.21 c | 135646 | 28286 214989 854491 | 2147483647 135392 38 | 1.628 % |
62.43/62.51 c | 136055 | 28286 214989 854491 | 2147483647 135801 38 | 1.628 % |
62.93/63.01 c | 136504 | 28286 214989 854491 | 2147483647 136250 38 | 1.628 % |
63.23/63.39 c | 136997 | 28286 214989 854491 | 2147483647 136743 38 | 1.628 % |
63.53/63.66 c | 137541 | 28286 214989 854491 | 2147483647 137287 38 | 1.628 % |
64.03/64.11 c | 138140 | 28286 214989 854491 | 2147483647 137886 38 | 1.628 % |
64.53/64.60 c | 138796 | 28286 214989 854491 | 2147483647 138542 38 | 1.628 % |
65.03/65.13 c | 139516 | 28286 214989 854491 | 2147483647 139262 38 | 1.628 % |
65.12/65.27 c | 140309 | 28286 214989 854491 | 2147483647 140055 38 | 1.628 % |
65.83/65.93 c | 141180 | 28286 214989 854491 | 2147483647 140926 38 | 1.628 % |
66.32/66.44 c | 142141 | 28286 214989 854491 | 2147483647 141887 38 | 1.628 % |
66.93/67.01 c | 143195 | 28286 214989 854491 | 2147483647 142941 38 | 1.628 % |
67.42/67.53 c | 144354 | 28286 214989 854491 | 2147483647 144100 38 | 1.628 % |
68.52/68.65 c | 145628 | 28286 214989 854491 | 2147483647 145374 38 | 1.628 % |
69.52/69.61 c | 147029 | 28286 214989 854491 | 2147483647 146775 38 | 1.628 % |
70.52/70.64 c | 148571 | 28286 214989 854491 | 2147483647 148317 39 | 1.628 % |
70.63/70.75 c | 148673 | 28286 214989 854491 | 2147483647 148419 39 | 1.628 % |
70.73/70.87 c | 148785 | 28286 214989 854491 | 2147483647 148531 39 | 1.628 % |
70.83/70.99 c | 148906 | 28286 214989 854491 | 2147483647 148652 39 | 1.628 % |
71.03/71.17 c | 149040 | 28286 214989 854491 | 2147483647 148786 39 | 1.628 % |
71.23/71.31 c | 149186 | 28286 214989 854491 | 2147483647 148932 39 | 1.628 % |
71.33/71.49 c | 149346 | 28286 214989 854491 | 2147483647 149092 39 | 1.628 % |
71.53/71.69 c | 149522 | 28286 214989 854491 | 2147483647 149268 39 | 1.628 % |
71.63/71.78 c | 149716 | 28286 214989 854491 | 2147483647 149462 39 | 1.628 % |
71.93/72.07 c | 149928 | 28286 214989 854491 | 2147483647 149674 39 | 1.628 % |
72.13/72.23 c | 150165 | 28286 214989 854491 | 2147483647 149911 39 | 1.628 % |
72.33/72.41 c | 150421 | 28286 214989 854491 | 2147483647 150167 39 | 1.628 % |
72.53/72.60 c | 150702 | 28286 214989 854491 | 2147483647 150448 39 | 1.628 % |
72.73/72.89 c | 151011 | 28286 214989 854491 | 2147483647 150757 39 | 1.628 % |
73.13/73.23 c | 151350 | 28285 214989 854491 | 2147483647 151095 39 | 1.631 % |
73.43/73.54 c | 151722 | 28285 214989 854491 | 2147483647 151467 39 | 1.631 % |
73.72/73.85 c | 152131 | 28285 214989 854491 | 2147483647 151876 39 | 1.631 % |
74.22/74.30 c | 152582 | 28285 214989 854491 | 2147483647 152327 39 | 1.631 % |
74.52/74.70 c | 153076 | 28285 214989 854491 | 2147483647 152821 39 | 1.631 % |
74.82/74.98 c | 153619 | 28285 214989 854491 | 2147483647 153364 39 | 1.631 % |
75.22/75.37 c | 154218 | 28285 214989 854491 | 2147483647 153963 38 | 1.631 % |
75.82/75.91 c | 154874 | 28285 214989 854491 | 2147483647 154619 38 | 1.631 % |
76.22/76.34 c | 155598 | 28285 214894 854065 | 2147483647 155341 38 | 1.631 % |
76.82/76.90 c | 156390 | 28285 214894 854065 | 2147483647 156133 38 | 1.631 % |
77.22/77.36 c | 157262 | 28285 214894 854065 | 2147483647 157005 38 | 1.631 % |
78.12/78.28 c | 158221 | 28285 214894 854065 | 2147483647 157964 38 | 1.631 % |
79.02/79.14 c | 159274 | 28285 214894 854065 | 2147483647 159017 38 | 1.631 % |
79.41/79.55 c | 160432 | 28285 214894 854065 | 2147483647 160175 38 | 1.631 % |
80.31/80.44 c | 161705 | 28285 214894 854065 | 2147483647 161448 39 | 1.631 % |
81.92/82.04 c | 163106 | 28285 214894 854065 | 2147483647 162849 39 | 1.631 % |
83.22/83.33 c | 164647 | 28285 214894 854065 | 2147483647 164390 39 | 1.631 % |
84.52/84.65 c | 166344 | 28285 214894 854065 | 2147483647 166087 39 | 1.631 % |
84.62/84.76 c | 166446 | 28285 214894 854065 | 2147483647 166189 39 | 1.631 % |
84.71/84.85 c | 166556 | 28285 214894 854065 | 2147483647 166299 39 | 1.631 % |
84.71/84.88 c | 166677 | 28285 214894 854065 | 2147483647 166420 39 | 1.631 % |
84.81/84.99 c | 166810 | 28285 214894 854065 | 2147483647 166553 39 | 1.631 % |
85.01/85.14 c | 166958 | 28285 214894 854065 | 2147483647 166701 39 | 1.631 % |
85.21/85.31 c | 167119 | 28285 214894 854065 | 2147483647 166862 39 | 1.631 % |
85.41/85.56 c | 167296 | 28285 214894 854065 | 2147483647 167039 39 | 1.631 % |
85.62/85.71 c | 167489 | 28285 214894 854065 | 2147483647 167232 39 | 1.631 % |
85.72/85.88 c | 167702 | 28285 214894 854065 | 2147483647 167445 39 | 1.631 % |
85.91/86.08 c | 167935 | 28285 214894 854065 | 2147483647 167678 39 | 1.631 % |
86.11/86.29 c | 168191 | 28285 214894 854065 | 2147483647 167934 39 | 1.631 % |
86.41/86.52 c | 168472 | 28285 214894 854065 | 2147483647 168215 39 | 1.631 % |
86.61/86.72 c | 168781 | 28285 214894 854065 | 2147483647 168524 39 | 1.631 % |
86.82/86.98 c | 169122 | 28285 214894 854065 | 2147483647 168865 39 | 1.631 % |
87.21/87.40 c | 169494 | 28285 214894 854065 | 2147483647 169237 39 | 1.631 % |
87.31/87.46 c | 169906 | 28285 214894 854065 | 2147483647 169649 39 | 1.631 % |
88.01/88.11 c | 170355 | 28285 214894 854065 | 2147483647 170098 39 | 1.631 % |
88.22/88.38 c | 170848 | 28285 214894 854065 | 2147483647 170591 39 | 1.631 % |
88.82/88.90 c | 171391 | 28285 214894 854065 | 2147483647 171134 39 | 1.631 % |
89.12/89.24 c | 171991 | 28285 214894 854065 | 2147483647 171734 39 | 1.631 % |
89.82/89.95 c | 172646 | 28285 214894 854065 | 2147483647 172389 38 | 1.631 % |
90.32/90.49 c | 173370 | 28285 214894 854065 | 2147483647 173113 38 | 1.631 % |
91.61/91.78 c | 174162 | 28285 214894 854065 | 2147483647 173905 39 | 1.631 % |
92.61/92.73 c | 175034 | 28285 214894 854065 | 2147483647 174777 39 | 1.631 % |
93.11/93.29 c | 175994 | 28285 214894 854065 | 2147483647 175737 39 | 1.631 % |
94.21/94.38 c | 177048 | 28284 214894 854065 | 2147483647 176790 38 | 1.635 % |
95.81/95.94 c | 178207 | 28284 214888 854045 | 2147483647 177949 38 | 1.635 % |
96.61/96.77 c | 179480 | 28284 214888 854045 | 2147483647 179222 38 | 1.635 % |
97.31/97.47 c | 180882 | 28284 214888 854045 | 2147483647 180624 38 | 1.635 % |
98.61/98.77 c | 182422 | 28284 214888 854045 | 2147483647 182164 38 | 1.635 % |
100.61/100.75 c | 184116 | 28284 214888 854045 | 2147483647 183858 38 | 1.635 % |
101.90/102.05 c | 185980 | 28284 214888 854045 | 2147483647 185722 38 | 1.635 % |
102.11/102.22 c | 186080 | 28284 214888 854045 | 2147483647 185822 38 | 1.635 % |
102.21/102.34 c | 186190 | 28284 214888 854045 | 2147483647 185932 38 | 1.635 % |
102.30/102.49 c | 186314 | 28284 214888 854045 | 2147483647 186056 38 | 1.635 % |
102.50/102.63 c | 186450 | 28283 214888 854045 | 2147483647 186191 38 | 1.638 % |
102.71/102.84 c | 186599 | 28283 214888 854045 | 2147483647 186340 38 | 1.638 % |
102.91/103.09 c | 186759 | 28283 214888 854045 | 2147483647 186500 38 | 1.638 % |
103.01/103.17 c | 186935 | 28283 214888 854045 | 2147483647 186676 38 | 1.638 % |
103.32/103.46 c | 187129 | 28283 214888 854045 | 2147483647 186870 38 | 1.638 % |
103.61/103.73 c | 187341 | 28283 214888 854045 | 2147483647 187082 38 | 1.638 % |
103.81/103.98 c | 187576 | 28283 214888 854045 | 2147483647 187317 38 | 1.638 % |
104.21/104.33 c | 187832 | 28283 214888 854045 | 2147483647 187573 38 | 1.638 % |
104.51/104.61 c | 188113 | 28283 214888 854045 | 2147483647 187854 38 | 1.638 % |
105.01/105.14 c | 188422 | 28283 214888 854045 | 2147483647 188163 38 | 1.638 % |
105.21/105.36 c | 188761 | 28283 214888 854045 | 2147483647 188502 38 | 1.638 % |
106.01/106.11 c | 189133 | 28283 214888 854045 | 2147483647 188874 38 | 1.638 % |
106.31/106.49 c | 189544 | 28283 214888 854045 | 2147483647 189285 38 | 1.638 % |
106.71/106.88 c | 189994 | 28283 214888 854045 | 2147483647 189735 38 | 1.638 % |
107.51/107.63 c | 190488 | 28283 214888 854045 | 2147483647 190229 38 | 1.638 % |
107.81/107.91 c | 191035 | 28283 214888 854045 | 2147483647 190776 38 | 1.638 % |
108.51/108.65 c | 191632 | 28283 214888 854045 | 2147483647 191373 38 | 1.638 % |
109.41/109.54 c | 192287 | 28282 214888 854045 | 2147483647 192027 38 | 1.655 % |
110.00/110.16 c | 193007 | 28282 214888 854045 | 2147483647 192747 38 | 1.655 % |
110.40/110.53 c | 193799 | 28282 214888 854045 | 2147483647 193539 38 | 1.655 % |
111.10/111.29 c | 194678 | 28282 214888 854045 | 2147483647 194418 38 | 1.655 % |
111.70/111.89 c | 195636 | 28282 214888 854045 | 2147483647 195376 39 | 1.655 % |
112.50/112.61 c | 196691 | 28282 214888 854045 | 2147483647 196431 39 | 1.655 % |
113.70/113.89 c | 197850 | 28282 214888 854045 | 2147483647 197590 39 | 1.655 % |
114.80/114.93 c | 199127 | 28282 214888 854045 | 2147483647 198867 39 | 1.655 % |
115.50/115.67 c | 200528 | 28282 214888 854045 | 2147483647 200268 39 | 1.655 % |
117.01/117.12 c | 202070 | 28282 214888 854045 | 2147483647 201810 39 | 1.655 % |
118.31/118.40 c | 203765 | 28282 214888 854045 | 2147483647 203505 39 | 1.655 % |
119.61/119.74 c | 205628 | 28278 214825 853824 | 2147483647 205368 39 | 1.655 % |
121.00/121.17 c | 207677 | 28278 214825 853824 | 2147483647 207417 39 | 1.655 % |
121.20/121.38 c | 207777 | 28278 214825 853824 | 2147483647 207517 39 | 1.655 % |
121.40/121.52 c | 207887 | 28278 214825 853824 | 2147483647 207627 39 | 1.655 % |
121.60/121.70 c | 208010 | 28278 214825 853824 | 2147483647 207750 39 | 1.655 % |
121.70/121.86 c | 208144 | 28278 214825 853824 | 2147483647 207884 39 | 1.655 % |
121.80/121.99 c | 208290 | 28278 214825 853824 | 2147483647 208030 39 | 1.655 % |
122.10/122.21 c | 208451 | 28278 214825 853824 | 2147483647 208191 39 | 1.655 % |
122.10/122.28 c | 208627 | 28278 214825 853824 | 2147483647 208367 39 | 1.655 % |
122.40/122.51 c | 208822 | 28278 214825 853824 | 2147483647 208562 39 | 1.655 % |
122.60/122.73 c | 209037 | 28278 214825 853824 | 2147483647 208777 39 | 1.655 % |
123.11/123.21 c | 209270 | 28278 214825 853824 | 2147483647 209010 39 | 1.655 % |
123.40/123.53 c | 209528 | 28278 214825 853824 | 2147483647 209268 39 | 1.655 % |
123.70/123.90 c | 209810 | 28278 214825 853824 | 2147483647 209550 39 | 1.655 % |
124.30/124.42 c | 210119 | 28278 214825 853824 | 209740 209859 39 | 1.655 % |
124.40/124.55 c | 210458 | 28278 214825 853824 | 209740 210198 39 | 1.655 % |
124.80/124.97 c | 210830 | 28278 214825 853824 | 209740 210570 39 | 1.655 % |
125.50/125.67 c | 211239 | 28278 214825 853824 | 209740 187249 37 | 1.655 % |
125.80/125.95 c | 211689 | 28278 214825 853824 | 209740 187699 37 | 1.655 % |
126.20/126.33 c | 212182 | 28278 214825 853824 | 209740 188192 37 | 1.655 % |
126.80/126.96 c | 212725 | 28278 214825 853824 | 209740 188735 37 | 1.655 % |
127.60/127.72 c | 213321 | 28278 214825 853824 | 209740 189331 37 | 1.655 % |
128.20/128.33 c | 213977 | 28278 214825 853824 | 209740 189987 37 | 1.655 % |
129.10/129.21 c | 214698 | 28278 214825 853824 | 209740 190708 37 | 1.655 % |
129.60/129.71 c | 215491 | 28278 214825 853824 | 209740 191501 37 | 1.655 % |
130.30/130.43 c | 216362 | 28278 214825 853824 | 209740 192372 38 | 1.655 % |
131.40/131.50 c | 217320 | 28278 214825 853824 | 209740 193330 38 | 1.655 % |
132.00/132.15 c | 218373 | 28278 214825 853824 | 209740 194383 38 | 1.655 % |
132.69/132.87 c | 219531 | 28278 214825 853824 | 209740 195541 38 | 1.656 % |
134.69/134.89 c | 220804 | 28278 214825 853824 | 2147483647 196814 38 | 1.655 % |
135.89/136.08 c | 222204 | 28278 214825 853824 | 2147483647 198214 38 | 1.655 % |
136.99/137.14 c | 223744 | 28278 214825 853824 | 2147483647 199754 38 | 1.655 % |
138.19/138.40 c | 225442 | 28278 214825 853824 | 2147483647 201452 38 | 1.655 % |
140.29/140.41 c | 227308 | 28278 214825 853824 | 2147483647 203318 38 | 1.655 % |
142.89/143.09 c | 229357 | 28278 214825 853824 | 2147483647 205367 38 | 1.655 % |
144.29/144.44 c | 231611 | 28278 214825 853824 | 2147483647 207621 38 | 1.655 % |
144.49/144.65 c | 231714 | 28278 214825 853824 | 2147483647 207724 38 | 1.655 % |
144.59/144.76 c | 231824 | 28278 214825 853824 | 2147483647 207834 38 | 1.655 % |
144.69/144.88 c | 231946 | 28278 214825 853824 | 2147483647 207956 38 | 1.655 % |
144.89/145.09 c | 232079 | 28278 214825 853824 | 2147483647 208089 38 | 1.655 % |
145.09/145.22 c | 232225 | 28278 214825 853824 | 2147483647 208235 38 | 1.655 % |
145.19/145.31 c | 232385 | 28278 214825 853824 | 2147483647 208395 38 | 1.655 % |
145.19/145.36 c | 232561 | 28278 214825 853824 | 2147483647 208571 38 | 1.655 % |
145.49/145.60 c | 232755 | 28278 214825 853824 | 2147483647 208765 38 | 1.655 % |
145.69/145.89 c | 232967 | 28278 214825 853824 | 2147483647 208977 38 | 1.655 % |
146.19/146.33 c | 233202 | 28278 214825 853824 | 2147483647 209212 38 | 1.655 % |
146.69/146.81 c | 233458 | 28278 214825 853824 | 2147483647 209468 38 | 1.655 % |
147.19/147.30 c | 233743 | 28278 214825 853824 | 2147483647 209753 38 | 1.656 % |
147.29/147.47 c | 234054 | 28278 214825 853824 | 2147483647 210064 38 | 1.655 % |
147.69/147.80 c | 234395 | 28278 214825 853824 | 2147483647 210405 38 | 1.655 % |
147.99/148.10 c | 234767 | 28278 214825 853824 | 2147483647 210777 38 | 1.655 % |
148.29/148.46 c | 235176 | 28278 214825 853824 | 2147483647 211186 38 | 1.655 % |
148.79/148.99 c | 235625 | 28278 214825 853824 | 2147483647 211635 38 | 1.655 % |
149.69/149.83 c | 236119 | 28278 214825 853824 | 2147483647 212129 38 | 1.655 % |
150.09/150.24 c | 236665 | 28278 214825 853824 | 2147483647 212675 38 | 1.655 % |
150.79/150.98 c | 237261 | 28278 214825 853824 | 2147483647 213271 38 | 1.655 % |
151.48/151.67 c | 237916 | 28278 214825 853824 | 2147483647 213926 38 | 1.655 % |
152.08/152.22 c | 238637 | 28278 214825 853824 | 2147483647 214647 38 | 1.655 % |
152.79/152.92 c | 239429 | 28278 214825 853824 | 2147483647 215439 38 | 1.655 % |
153.38/153.53 c | 240301 | 28278 214825 853824 | 2147483647 216311 38 | 1.655 % |
154.29/154.42 c | 241260 | 28278 214825 853824 | 2147483647 217270 38 | 1.655 % |
155.59/155.76 c | 242313 | 28278 214825 853824 | 2147483647 218323 38 | 1.655 % |
156.69/156.80 c | 243473 | 28278 214825 853824 | 2147483647 219483 38 | 1.655 % |
158.39/158.56 c | 244747 | 28278 214825 853824 | 2147483647 220757 38 | 1.655 % |
159.39/159.57 c | 246149 | 28278 214825 853824 | 2147483647 222159 38 | 1.655 % |
160.39/160.57 c | 247690 | 28278 214825 853824 | 2147483647 223700 38 | 1.655 % |
161.38/161.51 c | 249384 | 28278 214825 853824 | 2147483647 225394 38 | 1.655 % |
162.48/162.62 c | 251248 | 28278 214825 853824 | 226010 227258 38 | 1.655 % |
164.98/165.12 c | 253298 | 28214 213285 848536 | 226010 206580 38 | 1.878 % |
167.78/167.91 c | 255551 | 28214 213285 848536 | 226010 208833 38 | 1.878 % |
169.18/169.40 c | 258029 | 28214 213285 848536 | 226010 211311 38 | 1.878 % |
169.38/169.57 c | 258129 | 28214 213285 848536 | 226010 211411 38 | 1.878 % |
169.68/169.85 c | 258242 | 28214 213285 848536 | 226010 211523 38 | 1.899 % |
169.88/170.01 c | 258363 | 28212 213285 848536 | 226010 211644 38 | 1.899 % |
170.18/170.32 c | 258498 | 28212 213285 848536 | 226010 211779 38 | 1.899 % |
170.38/170.55 c | 258645 | 28212 213285 848536 | 226010 211926 38 | 1.899 % |
170.48/170.69 c | 258805 | 28212 213285 848536 | 226010 212086 38 | 1.899 % |
170.88/171.05 c | 258981 | 28212 213285 848536 | 226010 212262 38 | 1.899 % |
171.08/171.21 c | 259174 | 28212 213285 848536 | 226010 212455 38 | 1.899 % |
171.18/171.35 c | 259386 | 28212 213285 848536 | 226010 212667 38 | 1.899 % |
171.58/171.73 c | 259621 | 28212 213285 848536 | 226010 212902 38 | 1.899 % |
171.87/172.01 c | 259880 | 28212 213285 848536 | 226010 213161 38 | 1.899 % |
172.07/172.29 c | 260164 | 28212 213285 848536 | 2147483647 213445 38 | 1.899 % |
172.48/172.68 c | 260474 | 28212 213285 848536 | 2147483647 213755 38 | 1.899 % |
172.87/173.01 c | 260815 | 28212 213285 848536 | 2147483647 214096 38 | 1.899 % |
173.37/173.58 c | 261187 | 28212 213285 848536 | 2147483647 214468 38 | 1.899 % |
173.77/173.98 c | 261596 | 28212 213285 848536 | 2147483647 214877 38 | 1.899 % |
174.37/174.57 c | 262045 | 28212 213285 848536 | 2147483647 215326 38 | 1.899 % |
174.87/175.08 c | 262541 | 28212 213285 848536 | 2147483647 215822 38 | 1.899 % |
175.37/175.56 c | 263084 | 28212 213285 848536 | 2147483647 216365 38 | 1.899 % |
175.77/175.99 c | 263680 | 28212 213285 848536 | 2147483647 216961 38 | 1.899 % |
176.57/176.78 c | 264336 | 28212 213285 848536 | 2147483647 217617 39 | 1.899 % |
176.97/177.15 c | 265058 | 28212 213285 848536 | 2147483647 218339 39 | 1.899 % |
177.77/177.97 c | 265856 | 28212 213285 848536 | 2147483647 219137 39 | 1.899 % |
178.47/178.60 c | 266729 | 28212 213285 848536 | 2147483647 220010 39 | 1.899 % |
178.97/179.20 c | 267687 | 28212 213285 848536 | 2147483647 220968 39 | 1.899 % |
180.17/180.34 c | 268743 | 28212 213285 848536 | 2147483647 222024 39 | 1.899 % |
181.07/181.22 c | 269901 | 28212 213285 848536 | 2147483647 223182 39 | 1.899 % |
182.37/182.53 c | 271175 | 28212 213285 848536 | 223281 224456 39 | 1.899 % |
184.07/184.25 c | 272579 | 28212 213285 848536 | 223281 195040 38 | 1.899 % |
185.77/185.91 c | 274119 | 28212 213285 848536 | 223281 196580 38 | 1.899 % |
187.57/187.71 c | 275813 | 28212 213285 848536 | 223281 198274 38 | 1.899 % |
188.97/189.19 c | 277676 | 28212 213285 848536 | 223281 200137 38 | 1.899 % |
190.87/191.00 c | 279725 | 28212 213285 848536 | 223281 202186 38 | 1.899 % |
192.87/193.06 c | 281979 | 28208 213246 848417 | 2147483647 204440 38 | 1.899 % |
194.96/195.11 c | 284458 | 28208 213246 848417 | 2147483647 206919 38 | 1.899 % |
196.96/197.15 c | 287183 | 28208 213246 848417 | 2147483647 209644 38 | 1.899 % |
197.16/197.32 c | 287283 | 28208 213246 848417 | 2147483647 209744 38 | 1.899 % |
197.26/197.42 c | 287393 | 28208 213246 848417 | 2147483647 209854 38 | 1.899 % |
197.46/197.61 c | 287514 | 28208 213246 848417 | 2147483647 209975 38 | 1.899 % |
197.56/197.75 c | 287647 | 28208 213246 848417 | 2147483647 210108 38 | 1.899 % |
197.87/198.06 c | 287793 | 28208 213246 848417 | 2147483647 210254 38 | 1.899 % |
198.16/198.32 c | 287953 | 28208 213246 848417 | 2147483647 210414 38 | 1.899 % |
198.46/198.60 c | 288129 | 28208 213246 848417 | 2147483647 210590 38 | 1.899 % |
198.66/198.81 c | 288322 | 28208 213246 848417 | 2147483647 210783 38 | 1.899 % |
198.97/199.12 c | 288534 | 28208 213246 848417 | 2147483647 210995 38 | 1.899 % |
199.26/199.47 c | 288767 | 28208 213246 848417 | 2147483647 211228 38 | 1.899 % |
199.56/199.80 c | 289032 | 28208 213246 848417 | 2147483647 211493 38 | 1.899 % |
199.96/200.19 c | 289314 | 28208 213246 848417 | 2147483647 211775 38 | 1.899 % |
200.36/200.58 c | 289624 | 28208 213246 848417 | 2147483647 212085 38 | 1.899 % |
200.76/200.96 c | 289963 | 28208 213246 848417 | 2147483647 212424 38 | 1.899 % |
201.16/201.33 c | 290336 | 28208 213246 848417 | 2147483647 212797 38 | 1.899 % |
201.76/201.96 c | 290745 | 28208 213246 848417 | 2147483647 213206 38 | 1.899 % |
202.06/202.27 c | 291199 | 28208 213246 848417 | 2147483647 213660 38 | 1.899 % |
202.57/202.74 c | 291692 | 28208 213246 848417 | 2147483647 214153 38 | 1.899 % |
203.17/203.31 c | 292234 | 28208 213246 848417 | 2147483647 214695 38 | 1.899 % |
203.67/203.82 c | 292830 | 28208 213246 848417 | 2147483647 215291 38 | 1.899 % |
204.27/204.45 c | 293485 | 28208 213246 848417 | 2147483647 215946 38 | 1.899 % |
204.77/204.98 c | 294205 | 28208 213246 848417 | 2147483647 216666 38 | 1.899 % |
205.77/205.99 c | 294998 | 28208 213246 848417 | 2147483647 217459 39 | 1.899 % |
206.77/206.90 c | 295870 | 28208 213246 848417 | 2147483647 218331 39 | 1.899 % |
207.77/207.94 c | 296829 | 28208 213246 848417 | 2147483647 219290 39 | 1.899 % |
208.67/208.82 c | 297883 | 28208 213246 848417 | 2147483647 220344 39 | 1.899 % |
209.87/210.06 c | 299041 | 28208 213246 848417 | 2147483647 221502 39 | 1.899 % |
211.77/211.99 c | 300320 | 28208 213246 848417 | 2147483647 222781 39 | 1.899 % |
213.17/213.39 c | 301722 | 28208 213246 848417 | 2147483647 224183 39 | 1.899 % |
214.66/214.80 c | 303262 | 28208 213246 848417 | 2147483647 225723 39 | 1.899 % |
216.16/216.30 c | 304958 | 28208 213246 848417 | 2147483647 227419 39 | 1.899 % |
218.36/218.56 c | 306821 | 28208 213246 848417 | 2147483647 229282 39 | 1.899 % |
220.15/220.32 c | 308870 | 28208 213246 848417 | 2147483647 231331 39 | 1.899 % |
223.15/223.34 c | 311124 | 28208 213246 848417 | 232462 233585 39 | 1.899 % |
225.85/226.04 c | 313604 | 28208 213246 848417 | 232462 198204 39 | 1.899 % |
228.55/228.76 c | 316329 | 28208 213246 848417 | 232462 200929 39 | 1.899 % |
231.35/231.51 c | 319326 | 28208 213246 848417 | 232462 203926 40 | 1.899 % |
231.46/231.63 c | 319427 | 28208 213246 848417 | 232462 204027 40 | 1.899 % |
231.56/231.71 c | 319538 | 28208 213246 848417 | 232462 204138 40 | 1.899 % |
231.76/231.93 c | 319659 | 28208 213246 848417 | 232462 204259 40 | 1.899 % |
231.86/232.07 c | 319793 | 28208 213246 848417 | 232462 204393 40 | 1.899 % |
232.06/232.29 c | 319939 | 28208 213246 848417 | 232462 204539 40 | 1.899 % |
232.36/232.56 c | 320100 | 28208 213246 848417 | 204601 204700 40 | 1.899 % |
232.66/232.80 c | 320276 | 28208 213246 848417 | 204601 204876 40 | 1.899 % |
232.86/233.02 c | 320469 | 28208 213246 848417 | 204601 205069 40 | 1.899 % |
233.06/233.28 c | 320682 | 28208 213246 848417 | 204601 205282 40 | 1.899 % |
233.86/234.09 c | 320915 | 28208 213246 848417 | 204601 165177 39 | 1.899 % |
234.16/234.39 c | 321171 | 28208 213246 848417 | 204601 165433 39 | 1.899 % |
234.66/234.85 c | 321457 | 28208 213246 848417 | 204601 165719 39 | 1.899 % |
234.96/235.16 c | 321766 | 28208 213246 848417 | 204601 166028 39 | 1.899 % |
235.35/235.54 c | 322107 | 28208 213246 848417 | 204601 166369 39 | 1.899 % |
235.65/235.89 c | 322485 | 28208 213246 848417 | 204601 166747 39 | 1.899 % |
236.26/236.41 c | 322894 | 28208 213246 848417 | 204601 167156 39 | 1.899 % |
236.75/236.97 c | 323344 | 28208 213246 848417 | 204601 167606 39 | 1.899 % |
237.25/237.50 c | 323837 | 28208 213246 848417 | 204601 168099 39 | 1.899 % |
237.75/237.99 c | 324379 | 28208 213246 848417 | 204601 168641 39 | 1.899 % |
238.46/238.67 c | 324975 | 28208 213246 848417 | 204601 169237 39 | 1.899 % |
239.25/239.43 c | 325633 | 28208 213246 848417 | 204601 169895 39 | 1.899 % |
239.75/239.98 c | 326354 | 28208 213246 848417 | 204601 170616 39 | 1.899 % |
240.15/240.31 c | 327148 | 28208 213246 848417 | 204601 171410 39 | 1.899 % |
240.45/240.64 c | 328019 | 28208 213246 848417 | 204601 172281 39 | 1.899 % |
241.15/241.38 c | 328977 | 28208 213246 848417 | 204601 173239 39 | 1.899 % |
242.45/242.63 c | 330030 | 28208 213246 848417 | 2147483647 174292 39 | 1.899 % |
243.15/243.40 c | 331189 | 28208 213246 848417 | 2147483647 175451 39 | 1.899 % |
244.75/244.96 c | 332463 | 28208 213246 848417 | 2147483647 176725 39 | 1.899 % |
246.75/246.99 c | 333864 | 28208 213246 848417 | 2147483647 178126 39 | 1.899 % |
248.65/248.83 c | 335406 | 28208 213246 848417 | 2147483647 179668 39 | 1.899 % |
250.15/250.37 c | 337101 | 28208 213246 848417 | 2147483647 181363 39 | 1.899 % |
252.35/252.55 c | 338964 | 28208 213246 848417 | 2147483647 183226 39 | 1.899 % |
254.15/254.35 c | 341013 | 28208 213246 848417 | 2147483647 185275 40 | 1.899 % |
255.95/256.16 c | 343266 | 28208 213246 848417 | 2147483647 187528 40 | 1.899 % |
257.65/257.88 c | 345744 | 28208 213246 848417 | 2147483647 190006 40 | 1.899 % |
260.94/261.17 c | 348469 | 28208 213246 848417 | 2147483647 192731 40 | 1.899 % |
263.75/263.99 c | 351466 | 28208 213246 848417 | 194262 195728 41 | 1.899 % |
268.14/268.35 c | 354764 | 28208 213246 848417 | 194262 164931 41 | 1.899 % |
268.24/268.46 c | 354867 | 28208 213246 848417 | 194262 165034 41 | 1.899 % |
268.44/268.69 c | 354977 | 28208 213246 848417 | 194262 165144 41 | 1.899 % |
268.54/268.79 c | 355098 | 28208 213246 848417 | 194262 165265 41 | 1.899 % |
268.74/268.91 c | 355233 | 28208 213246 848417 | 194262 165400 41 | 1.899 % |
268.94/269.13 c | 355381 | 28208 213246 848417 | 194262 165548 41 | 1.899 % |
269.04/269.29 c | 355543 | 28208 213246 848417 | 194262 165710 41 | 1.899 % |
269.34/269.57 c | 355720 | 28208 213246 848417 | 194262 165887 41 | 1.899 % |
269.64/269.85 c | 355915 | 28208 213246 848417 | 194262 166082 41 | 1.899 % |
269.94/270.14 c | 356128 | 28208 213246 848417 | 194262 166295 41 | 1.899 % |
270.24/270.49 c | 356361 | 28208 213246 848417 | 194262 166528 41 | 1.899 % |
270.64/270.83 c | 356617 | 28208 213246 848417 | 194262 166784 41 | 1.899 % |
271.04/271.21 c | 356898 | 28208 213246 848417 | 194262 167065 41 | 1.899 % |
271.24/271.47 c | 357207 | 28208 213246 848417 | 194262 167374 41 | 1.899 % |
271.84/272.02 c | 357547 | 28208 213246 848417 | 194262 167714 41 | 1.899 % |
272.04/272.27 c | 357921 | 28208 213246 848417 | 194262 168088 41 | 1.899 % |
272.44/272.67 c | 358330 | 28208 213246 848417 | 194262 168497 41 | 1.899 % |
272.74/272.91 c | 358781 | 28208 213246 848417 | 194262 168948 41 | 1.899 % |
273.34/273.59 c | 359275 | 28208 213246 848417 | 194262 169442 41 | 1.899 % |
273.74/273.94 c | 359817 | 28208 213246 848417 | 194262 169984 41 | 1.899 % |
274.43/274.67 c | 360415 | 28208 213246 848417 | 170168 170582 41 | 1.899 % |
275.03/275.24 c | 361073 | 28208 213246 848417 | 170168 171240 41 | 1.899 % |
276.13/276.33 c | 361793 | 28208 213246 848417 | 170168 154836 40 | 1.899 % |
276.53/276.75 c | 362586 | 28208 213246 848417 | 170168 155629 40 | 1.899 % |
278.04/278.27 c | 363458 | 28208 213246 848417 | 170168 156501 40 | 1.899 % |
278.93/279.19 c | 364416 | 28208 213246 848417 | 170168 157459 40 | 1.899 % |
280.73/280.94 c | 365469 | 28208 213246 848417 | 170168 158512 40 | 1.899 % |
281.83/282.02 c | 366627 | 28208 213246 848417 | 170168 159670 40 | 1.899 % |
282.44/282.66 c | 367901 | 28208 213246 848417 | 170168 160944 40 | 1.899 % |
283.83/284.09 c | 369301 | 28208 213246 848417 | 170168 162344 40 | 1.899 % |
285.23/285.41 c | 370841 | 28208 213246 848417 | 2147483647 163884 40 | 1.899 % |
288.43/288.61 c | 372536 | 28208 213246 848417 | 2147483647 165579 40 | 1.899 % |
289.53/289.72 c | 374405 | 28208 213246 848417 | 2147483647 167448 40 | 1.899 % |
291.23/291.49 c | 376454 | 28208 213246 848417 | 2147483647 169497 40 | 1.899 % |
294.83/295.02 c | 378707 | 28208 213246 848417 | 2147483647 171750 40 | 1.899 % |
298.33/298.52 c | 381186 | 28208 213246 848417 | 2147483647 174229 40 | 1.899 % |
300.73/300.91 c | 383911 | 28208 213246 848417 | 2147483647 176954 40 | 1.899 % |
303.92/304.11 c | 386911 | 28208 213246 848417 | 2147483647 179954 41 | 1.899 % |
309.22/309.50 c | 390207 | 28208 213246 848417 | 2147483647 183250 41 | 1.899 % |
313.52/313.74 c | 393832 | 28208 213246 848417 | 2147483647 186875 41 | 1.899 % |
313.72/313.94 c | 393934 | 28208 213246 848417 | 2147483647 186977 41 | 1.899 % |
313.92/314.16 c | 394048 | 28208 213246 848417 | 2147483647 187091 41 | 1.899 % |
314.33/314.56 c | 394170 | 28208 213246 848417 | 2147483647 187213 41 | 1.899 % |
314.52/314.77 c | 394304 | 28208 213246 848417 | 2147483647 187347 41 | 1.899 % |
314.82/315.04 c | 394450 | 28208 213246 848417 | 2147483647 187493 41 | 1.899 % |
315.02/315.23 c | 394611 | 28208 213246 848417 | 2147483647 187654 41 | 1.899 % |
315.22/315.45 c | 394788 | 28208 213246 848417 | 2147483647 187831 41 | 1.899 % |
315.72/315.91 c | 394982 | 28207 213241 848401 | 2147483647 188024 41 | 1.902 % |
316.02/316.20 c | 395195 | 28207 213241 848401 | 2147483647 188237 41 | 1.902 % |
316.12/316.38 c | 395428 | 28207 213241 848401 | 2147483647 188470 41 | 1.902 % |
316.42/316.66 c | 395685 | 28207 213241 848401 | 2147483647 188727 41 | 1.902 % |
316.92/317.19 c | 395968 | 28207 213241 848401 | 2147483647 189010 41 | 1.902 % |
317.42/317.63 c | 396278 | 28207 213241 848401 | 2147483647 189320 41 | 1.902 % |
318.12/318.37 c | 396619 | 28207 213241 848401 | 2147483647 189661 41 | 1.902 % |
318.32/318.58 c | 396994 | 28207 213241 848401 | 2147483647 190036 41 | 1.902 % |
319.22/319.41 c | 397405 | 28207 213241 848401 | 2147483647 190447 41 | 1.902 % |
319.83/320.04 c | 397856 | 28207 213241 848401 | 2147483647 190898 41 | 1.902 % |
320.22/320.48 c | 398350 | 28207 213241 848401 | 2147483647 191392 41 | 1.902 % |
321.22/321.50 c | 398892 | 28207 213241 848401 | 2147483647 191934 41 | 1.902 % |
322.12/322.37 c | 399489 | 28207 213241 848401 | 2147483647 192531 41 | 1.902 % |
323.02/323.27 c | 400146 | 28207 213241 848401 | 2147483647 193188 41 | 1.902 % |
324.42/324.66 c | 400867 | 28207 213241 848401 | 2147483647 193909 41 | 1.902 % |
325.32/325.52 c | 401660 | 28207 213241 848401 | 2147483647 194702 41 | 1.902 % |
326.92/327.13 c | 402534 | 28207 213241 848401 | 2147483647 195576 41 | 1.902 % |
327.52/327.75 c | 403494 | 28207 213241 848401 | 2147483647 196536 41 | 1.902 % |
329.02/329.21 c | 404548 | 28207 213241 848401 | 2147483647 197590 41 | 1.902 % |
330.42/330.65 c | 405706 | 28207 213241 848401 | 2147483647 198748 41 | 1.902 % |
331.82/332.07 c | 406979 | 28207 213241 848401 | 2147483647 200021 41 | 1.902 % |
333.12/333.33 c | 408380 | 28207 213241 848401 | 2147483647 201422 41 | 1.902 % |
336.32/336.55 c | 409921 | 28207 213241 848401 | 2147483647 202963 41 | 1.902 % |
338.52/338.72 c | 411617 | 28207 213241 848401 | 203043 204659 42 | 1.902 % |
340.41/340.62 c | 413481 | 28207 213241 848401 | 203043 184469 40 | 1.902 % |
342.71/342.98 c | 415534 | 28207 213241 848401 | 203043 186522 41 | 1.902 % |
344.91/345.17 c | 417787 | 28203 213241 848401 | 203043 188774 41 | 1.989 % |
349.81/350.08 c | 420265 | 28203 213241 848401 | 190987 191252 41 | 1.989 % |
354.51/354.75 c | 422991 | 28182 212883 847079 | 190987 174721 40 | 1.989 % |
357.91/358.14 c | 425988 | 28182 212883 847079 | 190987 177718 40 | 1.989 % |
361.71/361.91 c | 429290 | 28182 212883 847079 | 190987 181020 40 | 1.989 % |
366.70/366.95 c | 432915 | 28182 212883 847079 | 181731 161585 39 | 1.989 % |
371.21/371.42 c | 436902 | 28182 212883 847079 | 181731 165572 40 | 1.989 % |
371.31/371.59 c | 437002 | 28182 212883 847079 | 181731 165672 40 | 1.989 % |
371.61/371.83 c | 437112 | 28182 212883 847079 | 181731 165782 40 | 1.989 % |
371.71/371.99 c | 437233 | 28182 212883 847079 | 181731 165903 40 | 1.989 % |
372.00/372.20 c | 437370 | 28182 212883 847079 | 181731 166040 40 | 1.989 % |
372.10/372.36 c | 437516 | 28182 212883 847079 | 181731 166186 40 | 1.989 % |
372.61/372.82 c | 437676 | 28182 212883 847079 | 181731 166346 40 | 1.989 % |
373.00/373.22 c | 437853 | 28177 212883 847079 | 181731 166522 40 | 2.549 % |
373.20/373.46 c | 438047 | 28177 212883 847079 | 181731 166716 40 | 2.549 % |
373.50/373.74 c | 438263 | 28177 212883 847079 | 181731 166932 40 | 2.549 % |
373.90/374.18 c | 438496 | 28177 212883 847079 | 181731 167165 40 | 2.549 % |
374.40/374.60 c | 438752 | 28177 212883 847079 | 181731 167421 40 | 2.549 % |
374.70/374.97 c | 439033 | 28177 212883 847079 | 181731 167702 40 | 2.549 % |
375.00/375.29 c | 439344 | 28177 212883 847079 | 181731 168013 40 | 2.549 % |
375.40/375.61 c | 439685 | 28177 212883 847079 | 181731 168354 40 | 2.549 % |
375.80/376.02 c | 440057 | 28177 212883 847079 | 168670 168726 40 | 2.549 % |
376.30/376.59 c | 440466 | 28177 212883 847079 | 168670 169135 40 | 2.549 % |
377.20/377.47 c | 440918 | 28177 212883 847079 | 168670 169587 40 | 2.549 % |
378.20/378.43 c | 441412 | 28177 212883 847079 | 168670 153123 39 | 2.549 % |
378.80/379.07 c | 441957 | 28177 212883 847079 | 168670 153668 39 | 2.549 % |
379.50/379.79 c | 442553 | 28177 212883 847079 | 168670 154264 39 | 2.549 % |
380.60/380.80 c | 443209 | 28177 212883 847079 | 168670 154920 39 | 2.549 % |
381.90/382.15 c | 443929 | 28021 209913 836345 | 168670 149401 39 | 2.549 % |
383.49/383.79 c | 444721 | 28021 209913 836345 | 168670 150193 39 | 2.549 % |
384.29/384.56 c | 445592 | 28021 209913 836345 | 168670 151064 39 | 2.549 % |
385.19/385.45 c | 446551 | 28021 209913 836345 | 168670 152023 39 | 2.549 % |
386.39/386.69 c | 447607 | 28021 209913 836345 | 168670 153079 39 | 2.549 % |
388.49/388.74 c | 448770 | 28021 209913 836345 | 168670 154242 39 | 2.549 % |
390.39/390.70 c | 450045 | 28021 209913 836345 | 2147483647 155517 39 | 2.549 % |
392.19/392.47 c | 451448 | 28021 209913 836345 | 2147483647 156920 39 | 2.549 % |
394.29/394.59 c | 452989 | 28021 209913 836345 | 2147483647 158461 40 | 2.549 % |
396.59/396.87 c | 454684 | 28021 209913 836345 | 2147483647 160156 40 | 2.549 % |
399.69/400.00 c | 456547 | 28021 209913 836345 | 2147483647 162019 40 | 2.549 % |
401.89/402.19 c | 458597 | 28021 209913 836345 | 2147483647 164069 40 | 2.549 % |
404.29/404.50 c | 460852 | 28021 209913 836345 | 2147483647 166324 40 | 2.549 % |
407.59/407.84 c | 463330 | 28021 209913 836345 | 2147483647 168802 40 | 2.549 % |
411.39/411.60 c | 466056 | 28021 209913 836345 | 2147483647 171528 40 | 2.549 % |
414.69/414.96 c | 469054 | 28021 209913 836345 | 2147483647 174526 41 | 2.549 % |
418.69/418.98 c | 472354 | 28021 209913 836345 | 175472 177826 41 | 2.549 % |
424.29/424.57 c | 475981 | 28021 209913 836345 | 175472 154512 40 | 2.549 % |
426.88/427.15 c | 479969 | 28021 209913 836345 | 175472 158500 40 | 2.549 % |
431.68/431.99 c | 484354 | 28020 209910 836339 | 158531 162884 40 | 2.553 % |
432.28/432.51 c | 484457 | 28020 209910 836339 | 158531 139662 40 | 2.553 % |
432.38/432.66 c | 484570 | 28020 209910 836339 | 158531 139775 40 | 2.553 % |
432.58/432.84 c | 484693 | 28020 209910 836339 | 158531 139898 40 | 2.553 % |
432.78/433.09 c | 484826 | 28020 209910 836339 | 158531 140031 40 | 2.553 % |
432.98/433.23 c | 484972 | 28020 209910 836339 | 158531 140177 40 | 2.553 % |
433.38/433.60 c | 485136 | 28020 209910 836339 | 158531 140341 40 | 2.553 % |
433.58/433.82 c | 485313 | 28020 209910 836339 | 158531 140518 40 | 2.553 % |
433.78/434.08 c | 485506 | 28020 209910 836339 | 158531 140711 40 | 2.553 % |
434.19/434.43 c | 485722 | 28020 209910 836339 | 158531 140927 40 | 2.553 % |
434.48/434.74 c | 485957 | 28020 209910 836339 | 158531 141162 40 | 2.553 % |
434.88/435.20 c | 486214 | 28020 209910 836339 | 158531 141419 40 | 2.553 % |
435.48/435.74 c | 486495 | 28020 209910 836339 | 158531 141700 40 | 2.553 % |
435.68/435.95 c | 486804 | 28020 209910 836339 | 158531 142009 40 | 2.553 % |
436.18/436.40 c | 487143 | 28020 209910 836339 | 158531 142348 40 | 2.553 % |
436.68/436.91 c | 487519 | 28020 209910 836339 | 158531 142724 40 | 2.553 % |
437.28/437.57 c | 487928 | 28020 209910 836339 | 158531 143133 40 | 2.553 % |
437.88/438.10 c | 488378 | 28020 209910 836339 | 158531 143583 40 | 2.553 % |
438.69/438.95 c | 488871 | 28020 209910 836339 | 158531 144076 40 | 2.553 % |
439.38/439.66 c | 489413 | 28020 209910 836339 | 158531 144618 40 | 2.553 % |
440.18/440.49 c | 490009 | 28020 209910 836339 | 2147483647 145214 40 | 2.553 % |
441.08/441.30 c | 490664 | 28020 209910 836339 | 2147483647 145869 40 | 2.553 % |
441.68/442.00 c | 491388 | 28020 209910 836339 | 2147483647 146593 40 | 2.553 % |
442.59/442.82 c | 492181 | 28020 209910 836339 | 2147483647 147386 40 | 2.553 % |
443.79/444.03 c | 493055 | 28020 209910 836339 | 2147483647 148260 40 | 2.553 % |
444.99/445.22 c | 494014 | 28019 209910 836339 | 2147483647 149218 40 | 2.556 % |
446.19/446.46 c | 495067 | 28019 209910 836339 | 2147483647 150271 41 | 2.556 % |
447.49/447.71 c | 496225 | 28019 209910 836339 | 2147483647 151429 41 | 2.556 % |
448.69/448.95 c | 497498 | 28019 209910 836339 | 2147483647 152702 41 | 2.556 % |
451.69/452.00 c | 498901 | 28019 209910 836339 | 2147483647 154105 41 | 2.556 % |
453.89/454.18 c | 500442 | 28019 209906 836329 | 2147483647 155646 41 | 2.556 % |
456.39/456.62 c | 502136 | 28019 209906 836329 | 2147483647 157340 41 | 2.556 % |
458.68/458.97 c | 503999 | 28019 209906 836329 | 2147483647 159203 41 | 2.556 % |
460.98/461.29 c | 506048 | 28019 209906 836329 | 2147483647 161252 41 | 2.556 % |
462.58/462.82 c | 508302 | 28019 209906 836329 | 2147483647 163506 41 | 2.556 % |
465.98/466.22 c | 510782 | 28019 209906 836329 | 2147483647 165986 41 | 2.556 % |
467.98/468.26 c | 513507 | 28019 209906 836329 | 2147483647 168711 42 | 2.556 % |
471.88/472.16 c | 516506 | 28019 209906 836329 | 2147483647 171710 41 | 2.556 % |
477.68/477.92 c | 519802 | 28019 209906 836329 | 2147483647 175006 41 | 2.556 % |
482.38/482.68 c | 523427 | 28018 209901 836316 | 2147483647 178630 41 | 2.560 % |
487.57/487.86 c | 527414 | 28018 209901 836316 | 2147483647 182617 41 | 2.560 % |
492.27/492.58 c | 531799 | 28018 209901 836316 | 2147483647 187002 42 | 2.560 % |
498.08/498.34 c | 536623 | 28018 209901 836316 | 2147483647 191826 42 | 2.560 % |
498.27/498.52 c | 536725 | 28018 209901 836316 | 2147483647 191928 42 | 2.560 % |
498.47/498.76 c | 536836 | 28018 209901 836316 | 2147483647 192039 42 | 2.560 % |
498.77/499.04 c | 536960 | 28018 209901 836316 | 2147483647 192163 42 | 2.560 % |
498.97/499.24 c | 537093 | 28018 209901 836316 | 2147483647 192296 42 | 2.560 % |
499.27/499.53 c | 537240 | 28018 209901 836316 | 2147483647 192443 42 | 2.560 % |
499.67/499.95 c | 537404 | 28018 209901 836316 | 2147483647 192607 42 | 2.560 % |
499.87/500.19 c | 537581 | 28018 209901 836316 | 2147483647 192784 42 | 2.560 % |
500.37/500.63 c | 537774 | 28018 209901 836316 | 2147483647 192977 42 | 2.560 % |
500.97/501.20 c | 537986 | 28018 209901 836316 | 2147483647 193189 42 | 2.560 % |
501.17/501.42 c | 538220 | 28018 209901 836316 | 2147483647 193423 42 | 2.560 % |
501.67/501.92 c | 538477 | 28018 209901 836316 | 2147483647 193680 42 | 2.560 % |
501.97/502.26 c | 538758 | 28018 209901 836316 | 2147483647 193961 42 | 2.560 % |
502.67/502.96 c | 539067 | 28018 209901 836316 | 2147483647 194270 42 | 2.560 % |
503.27/503.58 c | 539408 | 28018 209901 836316 | 2147483647 194611 42 | 2.560 % |
504.07/504.34 c | 539781 | 28018 209901 836316 | 2147483647 194984 42 | 2.560 % |
504.77/505.00 c | 540190 | 28018 209901 836316 | 195203 195393 42 | 2.560 % |
505.27/505.57 c | 540639 | 28018 209901 836316 | 195203 195842 42 | 2.560 % |
505.77/506.01 c | 541135 | 28018 209901 836316 | 195203 196338 42 | 2.560 % |
506.97/507.29 c | 541677 | 28018 209901 836316 | 195203 167286 41 | 2.560 % |
507.97/508.22 c | 542273 | 28018 209901 836316 | 195203 167882 41 | 2.560 % |
508.77/509.09 c | 542930 | 28018 209901 836316 | 195203 168539 41 | 2.560 % |
509.97/510.29 c | 543650 | 28018 209901 836316 | 195203 169259 41 | 2.560 % |
511.17/511.50 c | 544446 | 28018 209901 836316 | 195203 170055 41 | 2.560 % |
512.16/512.47 c | 545320 | 28018 209901 836316 | 195203 170929 41 | 2.560 % |
513.56/513.80 c | 546281 | 28018 209901 836316 | 195203 171890 41 | 2.560 % |
515.36/515.69 c | 547334 | 28018 209901 836316 | 195203 172943 41 | 2.560 % |
517.16/517.42 c | 548492 | 28018 209901 836316 | 195203 174101 41 | 2.560 % |
519.46/519.75 c | 549765 | 28018 209901 836316 | 195203 175374 41 | 2.560 % |
520.86/521.16 c | 551165 | 28018 209901 836316 | 2147483647 176774 41 | 2.560 % |
523.86/524.16 c | 552706 | 28018 209901 836316 | 2147483647 178315 41 | 2.560 % |
526.46/526.77 c | 554400 | 28018 209901 836316 | 2147483647 180009 41 | 2.560 % |
528.56/528.87 c | 556263 | 28018 209901 836316 | 2147483647 181872 41 | 2.560 % |
531.66/531.94 c | 558313 | 28018 209901 836316 | 2147483647 183922 41 | 2.560 % |
535.86/536.11 c | 560567 | 28018 209901 836316 | 185610 186176 41 | 2.560 % |
540.56/540.85 c | 563046 | 28018 209901 836316 | 185610 169773 41 | 2.560 % |
543.26/543.51 c | 565771 | 28018 209901 836316 | 185610 172498 41 | 2.560 % |
549.15/549.46 c | 568769 | 28018 209901 836316 | 185610 175496 41 | 2.560 % |
555.25/555.57 c | 572066 | 28018 209901 836316 | 2147483647 178793 41 | 2.560 % |
561.55/561.81 c | 575691 | 28018 209901 836316 | 2147483647 182418 41 | 2.560 % |
567.44/567.73 c | 579679 | 28018 209901 836316 | 2147483647 186406 41 | 2.560 % |
575.05/575.36 c | 584064 | 28018 209901 836316 | 186727 166210 39 | 2.560 % |
579.94/580.23 c | 588887 | 28018 209901 836316 | 186727 171033 40 | 2.560 % |
588.24/588.54 c | 594193 | 28018 209901 836316 | 172146 176339 40 | 2.560 % |
588.84/589.14 c | 594293 | 28018 209901 836316 | 172146 150913 38 | 2.560 % |
588.94/589.30 c | 594403 | 28018 209901 836316 | 172146 151023 38 | 2.560 % |
589.24/589.58 c | 594524 | 28018 209901 836316 | 172146 151144 38 | 2.560 % |
589.54/589.82 c | 594657 | 28018 209901 836316 | 172146 151277 38 | 2.560 % |
589.74/590.02 c | 594803 | 28018 209901 836316 | 172146 151423 38 | 2.560 % |
590.04/590.31 c | 594963 | 28018 209901 836316 | 172146 151583 38 | 2.560 % |
590.34/590.62 c | 595140 | 28018 209901 836316 | 172146 151760 38 | 2.560 % |
590.64/590.94 c | 595334 | 28018 209901 836316 | 172146 151954 38 | 2.560 % |
591.04/591.36 c | 595546 | 28018 209901 836316 | 172146 152166 38 | 2.560 % |
591.44/591.74 c | 595782 | 28018 209901 836316 | 172146 152402 38 | 2.560 % |
591.64/591.94 c | 596038 | 28018 209901 836316 | 172146 152658 38 | 2.560 % |
592.14/592.49 c | 596319 | 28018 209901 836316 | 172146 152939 38 | 2.560 % |
592.54/592.85 c | 596628 | 28018 209901 836316 | 172146 153248 38 | 2.560 % |
593.34/593.63 c | 596967 | 28018 209901 836316 | 172146 153587 38 | 2.560 % |
593.64/593.91 c | 597340 | 28018 209901 836316 | 172146 153960 38 | 2.560 % |
594.14/594.47 c | 597753 | 28018 209901 836316 | 172146 154373 38 | 2.560 % |
594.64/594.95 c | 598202 | 28018 209901 836316 | 172146 154822 38 | 2.560 % |
595.84/596.14 c | 598695 | 28018 209901 836316 | 172146 155315 38 | 2.560 % |
596.24/596.58 c | 599237 | 28018 209901 836316 | 172146 155857 38 | 2.560 % |
596.54/596.89 c | 599833 | 28018 209901 836316 | 172146 156453 38 | 2.560 % |
597.64/597.93 c | 600489 | 28018 209901 836316 | 156621 157109 38 | 2.560 % |
599.24/599.59 c | 601211 | 28018 209901 836316 | 156621 157831 38 | 2.560 % |
600.53/600.89 c | 602003 | 28018 209901 836316 | 156621 140475 37 | 2.560 % |
601.63/601.94 c | 602874 | 28018 209901 836316 | 156621 141346 37 | 2.560 % |
603.14/603.48 c | 603832 | 28018 209901 836316 | 156621 142304 37 | 2.560 % |
604.74/605.04 c | 604885 | 28018 209901 836316 | 156621 143357 37 | 2.560 % |
606.43/606.75 c | 606043 | 28018 209901 836316 | 156621 144515 37 | 2.560 % |
608.13/608.42 c | 607319 | 28018 209901 836316 | 156621 145791 37 | 2.560 % |
609.93/610.23 c | 608719 | 28018 209901 836316 | 156621 147191 37 | 2.560 % |
612.03/612.31 c | 610259 | 28018 209901 836316 | 148473 148731 37 | 2.560 % |
613.63/613.94 c | 611953 | 28018 209901 836316 | 148473 150425 37 | 2.560 % |
616.53/616.83 c | 613818 | 28018 209901 836316 | 148473 129003 35 | 2.560 % |
619.24/619.58 c | 615867 | 28018 209901 836316 | 148473 131052 35 | 2.560 % |
622.04/622.37 c | 618120 | 28018 209901 836316 | 148473 133305 35 | 2.560 % |
625.33/625.63 c | 620598 | 28018 209901 836316 | 2147483647 135783 35 | 2.560 % |
628.74/629.03 c | 623323 | 28018 209901 836316 | 2147483647 138508 35 | 2.560 % |
633.34/633.63 c | 626321 | 28018 209901 836316 | 2147483647 141506 35 | 2.560 % |
637.74/638.06 c | 629617 | 28018 209901 836316 | 2147483647 144802 35 | 2.560 % |
643.83/644.16 c | 633243 | 28018 209901 836316 | 2147483647 148428 35 | 2.560 % |
647.53/647.84 c | 637232 | 28018 209901 836316 | 2147483647 152417 35 | 2.560 % |
652.33/652.65 c | 641617 | 28018 209901 836316 | 2147483647 156802 35 | 2.560 % |
656.13/656.41 c | 646441 | 28018 209901 836316 | 2147483647 161626 35 | 2.560 % |
664.32/664.64 c | 651746 | 28018 209901 836316 | 2147483647 166931 35 | 2.560 % |
672.62/672.99 c | 657581 | 28018 209901 836316 | 2147483647 172766 35 | 2.560 % |
672.92/673.28 c | 657682 | 28018 209901 836316 | 2147483647 172867 35 | 2.560 % |
673.22/673.54 c | 657795 | 28018 209901 836316 | 2147483647 172980 35 | 2.560 % |
673.42/673.71 c | 657919 | 28018 209901 836316 | 2147483647 173104 35 | 2.560 % |
673.72/674.01 c | 658053 | 28018 209901 836316 | 2147483647 173238 35 | 2.560 % |
674.12/674.47 c | 658203 | 28018 209901 836316 | 2147483647 173388 35 | 2.560 % |
674.32/674.68 c | 658364 | 28018 209901 836316 | 2147483647 173549 35 | 2.560 % |
674.72/675.03 c | 658540 | 28018 209901 836316 | 2147483647 173725 35 | 2.560 % |
675.12/675.45 c | 658735 | 28018 209901 836316 | 2147483647 173920 35 | 2.560 % |
675.72/676.01 c | 658947 | 28018 209901 836316 | 2147483647 174132 35 | 2.560 % |
676.12/676.46 c | 659180 | 28018 209901 836316 | 2147483647 174365 35 | 2.560 % |
676.72/677.06 c | 659439 | 28018 209901 836316 | 2147483647 174624 35 | 2.560 % |
677.12/677.44 c | 659722 | 28018 209901 836316 | 2147483647 174907 35 | 2.560 % |
677.52/677.80 c | 660033 | 28018 209901 836316 | 2147483647 175218 35 | 2.560 % |
678.02/678.31 c | 660376 | 28018 209901 836316 | 2147483647 175561 35 | 2.560 % |
679.02/679.37 c | 660748 | 28018 209901 836316 | 2147483647 175933 35 | 2.560 % |
679.82/680.12 c | 661157 | 28018 209901 836316 | 2147483647 176342 35 | 2.560 % |
680.62/680.96 c | 661608 | 28018 209901 836316 | 2147483647 176793 35 | 2.560 % |
681.11/681.46 c | 662101 | 28018 209901 836316 | 2147483647 177286 35 | 2.560 % |
682.21/682.57 c | 662643 | 28018 209901 836316 | 2147483647 177828 35 | 2.560 % |
683.51/683.84 c | 663239 | 28018 209901 836316 | 2147483647 178424 35 | 2.560 % |
684.71/685.03 c | 663895 | 28018 209901 836316 | 2147483647 179080 35 | 2.560 % |
686.02/686.33 c | 664617 | 28018 209901 836316 | 2147483647 179802 35 | 2.560 % |
687.31/687.65 c | 665409 | 28018 209901 836316 | 2147483647 180594 35 | 2.560 % |
689.11/689.40 c | 666281 | 28018 209901 836316 | 2147483647 181466 35 | 2.560 % |
690.61/690.99 c | 667242 | 28018 209901 836316 | 2147483647 182427 35 | 2.560 % |
692.11/692.41 c | 668297 | 28018 209901 836316 | 2147483647 183482 35 | 2.560 % |
694.21/694.55 c | 669457 | 28018 209901 836316 | 2147483647 184642 35 | 2.560 % |
696.71/697.06 c | 670731 | 28018 209901 836316 | 185187 185916 35 | 2.560 % |
699.81/700.15 c | 672133 | 28018 209901 836316 | 185187 158926 33 | 2.560 % |
702.31/702.65 c | 673673 | 28018 209901 836316 | 185187 160466 33 | 2.560 % |
703.91/704.24 c | 675368 | 28018 209901 836316 | 185187 162161 33 | 2.560 % |
707.91/708.26 c | 677231 | 28018 209901 836316 | 185187 164024 33 | 2.560 % |
710.91/711.20 c | 679280 | 28017 209881 836256 | 185187 157384 33 | 2.563 % |
713.71/714.01 c | 681535 | 28017 209881 836256 | 158104 159639 33 | 2.563 % |
716.91/717.27 c | 684014 | 28017 209881 836256 | 158104 145204 32 | 2.563 % |
719.60/719.91 c ===============================================================================
719.60/719.91 c restarts : 1027
719.60/719.91 c conflicts : 685111 (958 /sec)
719.60/719.91 c decisions : 1760257 (1.57 % random) (2462 /sec)
719.60/719.91 c propagations : 250878319 (350863 /sec)
719.60/719.91 c conflict literals : 29042342 (40.71 % deleted)
719.60/719.91 c Memory used : 64.36 MB
719.60/719.91 c CPU time : 715.032 s
719.60/719.91 c
719.60/719.91 s UNSATISFIABLE
719.60/719.92 s UNSATISFIABLE
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832407-1242772812/watcher-1832407-1242772812 -o /tmp/evaluation-result-1832407-1242772812/solver-1832407-1242772812 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832407-1242772812.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 17258
/proc/meminfo: memFree=1619744/2055920 swapFree=4179476/4192956
[pid=17258] ppid=17256 vsize=5356 CPUtime=0
/proc/17258/stat : 17258 (SatELiteGTI) S 17256 17258 17030 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305308543 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17258/statm: 1339 237 197 169 0 50 0
[startup+0.0983881 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 17258
/proc/meminfo: memFree=1619744/2055920 swapFree=4179476/4192956
[pid=17258] ppid=17256 vsize=5356 CPUtime=0
/proc/17258/stat : 17258 (SatELiteGTI) S 17256 17258 17030 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305308543 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17258/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101387 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 17258
/proc/meminfo: memFree=1619744/2055920 swapFree=4179476/4192956
[pid=17258] ppid=17256 vsize=5356 CPUtime=0
/proc/17258/stat : 17258 (SatELiteGTI) S 17256 17258 17030 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305308543 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17258/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301405 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 17258
/proc/meminfo: memFree=1619744/2055920 swapFree=4179476/4192956
[pid=17258] ppid=17256 vsize=5356 CPUtime=0
/proc/17258/stat : 17258 (SatELiteGTI) S 17256 17258 17030 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305308543 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17258/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701441 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 17258
/proc/meminfo: memFree=1619744/2055920 swapFree=4179476/4192956
[pid=17258] ppid=17256 vsize=5356 CPUtime=0
/proc/17258/stat : 17258 (SatELiteGTI) S 17256 17258 17030 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305308543 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17258/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50151 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17263
/proc/meminfo: memFree=1541648/2055920 swapFree=4179476/4192956
[pid=17258] ppid=17256 vsize=5356 CPUtime=0
/proc/17258/stat : 17258 (SatELiteGTI) S 17256 17258 17030 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305308543 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17258/statm: 1339 237 197 169 0 50 0
[pid=17262] ppid=17258 vsize=89212 CPUtime=1.48
/proc/17262/stat : 17262 (SatELite_releas) R 17258 17258 17030 0 -1 4194304 20753 0 0 0 137 11 0 0 25 0 1 0 305308544 91353088 19220 1992294400 134512640 135223648 4294956128 18446744073709551615 134737406 0 0 4096 3 0 0 0 17 1 0 0
/proc/17262/statm: 22303 19220 76 173 0 22128 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 94568
[startup+3.10165 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17263
/proc/meminfo: memFree=1531280/2055920 swapFree=4179476/4192956
[pid=17258] ppid=17256 vsize=5356 CPUtime=0
/proc/17258/stat : 17258 (SatELiteGTI) S 17256 17258 17030 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305308543 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17258/statm: 1339 237 197 169 0 50 0
[pid=17262] ppid=17258 vsize=94824 CPUtime=3.07
/proc/17262/stat : 17262 (SatELite_releas) R 17258 17258 17030 0 -1 4194304 21942 0 0 0 289 18 0 0 25 0 1 0 305308544 97099776 20409 1992294400 134512640 135223648 4294956128 18446744073709551615 134737406 0 0 4096 3 0 0 0 17 1 0 0
/proc/17262/statm: 23706 20409 76 173 0 23531 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 100180
[startup+6.30193 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17264
/proc/meminfo: memFree=1582480/2055920 swapFree=4179476/4192956
[pid=17258] ppid=17256 vsize=5356 CPUtime=4.38
/proc/17258/stat : 17258 (SatELiteGTI) S 17256 17258 17030 0 -1 4194304 336 24189 0 0 0 0 414 24 16 0 1 0 305308543 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17258/statm: 1339 239 197 169 0 50 0
[pid=17264] ppid=17258 vsize=16440 CPUtime=1.87
/proc/17264/stat : 17264 (minisat_static) R 17258 17258 17030 0 -1 4194304 3855 0 0 0 185 2 0 0 25 0 1 0 305308985 16834560 3841 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/17264/statm: 4110 3841 77 171 0 3937 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 21796
[startup+12.7025 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17264
/proc/meminfo: memFree=1579856/2055920 swapFree=4179476/4192956
[pid=17258] ppid=17256 vsize=5356 CPUtime=4.38
/proc/17258/stat : 17258 (SatELiteGTI) S 17256 17258 17030 0 -1 4194304 336 24189 0 0 0 0 414 24 16 0 1 0 305308543 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17258/statm: 1339 239 197 169 0 50 0
[pid=17264] ppid=17258 vsize=19060 CPUtime=8.27
/proc/17264/stat : 17264 (minisat_static) R 17258 17258 17030 0 -1 4194304 4515 0 0 0 824 3 0 0 25 0 1 0 305308985 19517440 4501 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17264/statm: 4765 4501 77 171 0 4592 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 24416
[startup+25.5016 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17264
/proc/meminfo: memFree=1572368/2055920 swapFree=4179476/4192956
[pid=17258] ppid=17256 vsize=5356 CPUtime=4.38
/proc/17258/stat : 17258 (SatELiteGTI) S 17256 17258 17030 0 -1 4194304 336 24189 0 0 0 0 414 24 16 0 1 0 305308543 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17258/statm: 1339 239 197 169 0 50 0
[pid=17264] ppid=17258 vsize=26572 CPUtime=21.06
/proc/17264/stat : 17264 (minisat_static) R 17258 17258 17030 0 -1 4194304 6365 0 0 0 2101 5 0 0 25 0 1 0 305308985 27209728 6351 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 1 0 0
/proc/17264/statm: 6643 6351 77 171 0 6470 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 31928
[startup+51.1019 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17264
/proc/meminfo: memFree=1560720/2055920 swapFree=4179476/4192956
[pid=17258] ppid=17256 vsize=5356 CPUtime=4.38
/proc/17258/stat : 17258 (SatELiteGTI) S 17256 17258 17030 0 -1 4194304 336 24189 0 0 0 0 414 24 16 0 1 0 305308543 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17258/statm: 1339 239 197 169 0 50 0
[pid=17264] ppid=17258 vsize=38404 CPUtime=46.66
/proc/17264/stat : 17264 (minisat_static) R 17258 17258 17030 0 -1 4194304 9311 0 0 0 4657 9 0 0 25 0 1 0 305308985 39325696 9297 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17264/statm: 9601 9297 77 171 0 9428 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 43760
[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17264
/proc/meminfo: memFree=1547024/2055920 swapFree=4179476/4192956
[pid=17258] ppid=17256 vsize=5356 CPUtime=4.38
/proc/17258/stat : 17258 (SatELiteGTI) S 17256 17258 17030 0 -1 4194304 336 24189 0 0 0 0 414 24 16 0 1 0 305308543 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17258/statm: 1339 239 197 169 0 50 0
[pid=17264] ppid=17258 vsize=51768 CPUtime=97.83
/proc/17264/stat : 17264 (minisat_static) R 17258 17258 17030 0 -1 4194304 12629 0 0 0 9769 14 0 0 25 0 1 0 305308985 53010432 12615 1992294400 134512640 135215339 4294956240 18446744073709551615 134529099 0 0 4096 3 0 0 0 17 1 0 0
/proc/17264/statm: 12942 12615 77 171 0 12769 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 57124
[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17266
/proc/meminfo: memFree=1538832/2055920 swapFree=4179476/4192956
[pid=17258] ppid=17256 vsize=5356 CPUtime=4.38
/proc/17258/stat : 17258 (SatELiteGTI) S 17256 17258 17030 0 -1 4194304 336 24189 0 0 0 0 414 24 16 0 1 0 305308543 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17258/statm: 1339 239 197 169 0 50 0
[pid=17264] ppid=17258 vsize=60180 CPUtime=157.8
/proc/17264/stat : 17264 (minisat_static) R 17258 17258 17030 0 -1 4194304 14656 0 0 0 15763 17 0 0 25 0 1 0 305308985 61624320 14642 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/17264/statm: 15045 14642 77 171 0 14872 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 65536
[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17266
/proc/meminfo: memFree=1535760/2055920 swapFree=4179476/4192956
[pid=17258] ppid=17256 vsize=5356 CPUtime=4.38
/proc/17258/stat : 17258 (SatELiteGTI) S 17256 17258 17030 0 -1 4194304 336 24189 0 0 0 0 414 24 16 0 1 0 305308543 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17258/statm: 1339 239 197 169 0 50 0
[pid=17264] ppid=17258 vsize=63160 CPUtime=217.77
/proc/17264/stat : 17264 (minisat_static) R 17258 17258 17030 0 -1 4194304 15414 0 0 0 21759 18 0 0 25 0 1 0 305308985 64675840 15400 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17264/statm: 15790 15400 77 171 0 15617 0
Current children cumulated CPU time (s) 222.15
Current children cumulated vsize (KiB) 68516
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17266
/proc/meminfo: memFree=1535120/2055920 swapFree=4179476/4192956
[pid=17258] ppid=17256 vsize=5356 CPUtime=4.38
/proc/17258/stat : 17258 (SatELiteGTI) S 17256 17258 17030 0 -1 4194304 336 24189 0 0 0 0 414 24 16 0 1 0 305308543 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17258/statm: 1339 239 197 169 0 50 0
[pid=17264] ppid=17258 vsize=63736 CPUtime=277.75
/proc/17264/stat : 17264 (minisat_static) R 17258 17258 17030 0 -1 4194304 15555 0 0 0 27756 19 0 0 25 0 1 0 305308985 65265664 15541 1992294400 134512640 135215339 4294956240 18446744073709551615 134529426 0 0 4096 3 0 0 0 17 1 0 0
/proc/17264/statm: 15934 15541 77 171 0 15761 0
Current children cumulated CPU time (s) 282.13
Current children cumulated vsize (KiB) 69092
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17266
/proc/meminfo: memFree=1534416/2055920 swapFree=4179476/4192956
[pid=17258] ppid=17256 vsize=5356 CPUtime=4.38
/proc/17258/stat : 17258 (SatELiteGTI) S 17256 17258 17030 0 -1 4194304 336 24189 0 0 0 0 414 24 16 0 1 0 305308543 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17258/statm: 1339 239 197 169 0 50 0
[pid=17264] ppid=17258 vsize=64340 CPUtime=337.73
/proc/17264/stat : 17264 (minisat_static) R 17258 17258 17030 0 -1 4194304 15701 0 0 0 33754 19 0 0 25 0 1 0 305308985 65884160 15687 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17264/statm: 16085 15687 77 171 0 15912 0
Current children cumulated CPU time (s) 342.11
Current children cumulated vsize (KiB) 69696
[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17266
/proc/meminfo: memFree=1534160/2055920 swapFree=4179476/4192956
[pid=17258] ppid=17256 vsize=5356 CPUtime=4.38
/proc/17258/stat : 17258 (SatELiteGTI) S 17256 17258 17030 0 -1 4194304 336 24189 0 0 0 0 414 24 16 0 1 0 305308543 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17258/statm: 1339 239 197 169 0 50 0
[pid=17264] ppid=17258 vsize=64480 CPUtime=397.71
/proc/17264/stat : 17264 (minisat_static) R 17258 17258 17030 0 -1 4194304 15731 0 0 0 39752 19 0 0 25 0 1 0 305308985 66027520 15717 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17264/statm: 16120 15717 77 171 0 15947 0
Current children cumulated CPU time (s) 402.09
Current children cumulated vsize (KiB) 69836
[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17266
/proc/meminfo: memFree=1533776/2055920 swapFree=4179476/4192956
[pid=17258] ppid=17256 vsize=5356 CPUtime=4.38
/proc/17258/stat : 17258 (SatELiteGTI) S 17256 17258 17030 0 -1 4194304 336 24189 0 0 0 0 414 24 16 0 1 0 305308543 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17258/statm: 1339 239 197 169 0 50 0
[pid=17264] ppid=17258 vsize=64920 CPUtime=457.7
/proc/17264/stat : 17264 (minisat_static) R 17258 17258 17030 0 -1 4194304 15812 0 0 0 45750 20 0 0 25 0 1 0 305308985 66478080 15798 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17264/statm: 16230 15798 77 171 0 16057 0
Current children cumulated CPU time (s) 462.08
Current children cumulated vsize (KiB) 70276
[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17266
/proc/meminfo: memFree=1533456/2055920 swapFree=4179476/4192956
[pid=17258] ppid=17256 vsize=5356 CPUtime=4.38
/proc/17258/stat : 17258 (SatELiteGTI) S 17256 17258 17030 0 -1 4194304 336 24189 0 0 0 0 414 24 16 0 1 0 305308543 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17258/statm: 1339 239 197 169 0 50 0
[pid=17264] ppid=17258 vsize=65088 CPUtime=517.68
/proc/17264/stat : 17264 (minisat_static) R 17258 17258 17030 0 -1 4194304 15872 0 0 0 51748 20 0 0 25 0 1 0 305308985 66650112 15858 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/17264/statm: 16272 15858 77 171 0 16099 0
Current children cumulated CPU time (s) 522.06
Current children cumulated vsize (KiB) 70444
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17266
/proc/meminfo: memFree=1533200/2055920 swapFree=4179476/4192956
[pid=17258] ppid=17256 vsize=5356 CPUtime=4.38
/proc/17258/stat : 17258 (SatELiteGTI) S 17256 17258 17030 0 -1 4194304 336 24189 0 0 0 0 414 24 16 0 1 0 305308543 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17258/statm: 1339 239 197 169 0 50 0
[pid=17264] ppid=17258 vsize=65396 CPUtime=577.66
/proc/17264/stat : 17264 (minisat_static) R 17258 17258 17030 0 -1 4194304 15919 0 0 0 57746 20 0 0 25 0 1 0 305308985 66965504 15905 1992294400 134512640 135215339 4294956240 18446744073709551615 134528795 0 0 4096 3 0 0 0 17 1 0 0
/proc/17264/statm: 16349 15905 77 171 0 16176 0
Current children cumulated CPU time (s) 582.04
Current children cumulated vsize (KiB) 70752
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17266
/proc/meminfo: memFree=1532944/2055920 swapFree=4179476/4192956
[pid=17258] ppid=17256 vsize=5356 CPUtime=4.38
/proc/17258/stat : 17258 (SatELiteGTI) S 17256 17258 17030 0 -1 4194304 336 24189 0 0 0 0 414 24 16 0 1 0 305308543 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17258/statm: 1339 239 197 169 0 50 0
[pid=17264] ppid=17258 vsize=65396 CPUtime=637.66
/proc/17264/stat : 17264 (minisat_static) R 17258 17258 17030 0 -1 4194304 15936 0 0 0 63745 21 0 0 25 0 1 0 305308985 66965504 15922 1992294400 134512640 135215339 4294956240 18446744073709551615 134529099 0 0 4096 3 0 0 0 17 1 0 0
/proc/17264/statm: 16349 15922 77 171 0 16176 0
Current children cumulated CPU time (s) 642.04
Current children cumulated vsize (KiB) 70752
[startup+702.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17266
/proc/meminfo: memFree=1532368/2055920 swapFree=4179476/4192956
[pid=17258] ppid=17256 vsize=5356 CPUtime=4.38
/proc/17258/stat : 17258 (SatELiteGTI) S 17256 17258 17030 0 -1 4194304 336 24189 0 0 0 0 414 24 16 0 1 0 305308543 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17258/statm: 1339 239 197 169 0 50 0
[pid=17264] ppid=17258 vsize=65904 CPUtime=697.63
/proc/17264/stat : 17264 (minisat_static) R 17258 17258 17030 0 -1 4194304 16059 0 0 0 69742 21 0 0 25 0 1 0 305308985 67485696 16045 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 1 0 0
/proc/17264/statm: 16476 16045 77 171 0 16303 0
Current children cumulated CPU time (s) 702.01
Current children cumulated vsize (KiB) 71260
Solver just ended. Dumping a history of the last processes samples
[startup+703.901 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17266
/proc/meminfo: memFree=1532368/2055920 swapFree=4179476/4192956
[pid=17258] ppid=17256 vsize=5356 CPUtime=4.38
/proc/17258/stat : 17258 (SatELiteGTI) S 17256 17258 17030 0 -1 4194304 336 24189 0 0 0 0 414 24 16 0 1 0 305308543 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17258/statm: 1339 239 197 169 0 50 0
[pid=17264] ppid=17258 vsize=65904 CPUtime=699.23
/proc/17264/stat : 17264 (minisat_static) R 17258 17258 17030 0 -1 4194304 16060 0 0 0 69902 21 0 0 25 0 1 0 305308985 67485696 16046 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/17264/statm: 16476 16046 77 171 0 16303 0
Current children cumulated CPU time (s) 703.61
Current children cumulated vsize (KiB) 71260
[startup+710.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17266
/proc/meminfo: memFree=1532368/2055920 swapFree=4179476/4192956
[pid=17258] ppid=17256 vsize=5356 CPUtime=4.38
/proc/17258/stat : 17258 (SatELiteGTI) S 17256 17258 17030 0 -1 4194304 336 24189 0 0 0 0 414 24 16 0 1 0 305308543 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17258/statm: 1339 239 197 169 0 50 0
[pid=17264] ppid=17258 vsize=65904 CPUtime=705.63
/proc/17264/stat : 17264 (minisat_static) R 17258 17258 17030 0 -1 4194304 16060 0 0 0 70542 21 0 0 25 0 1 0 305308985 67485696 16046 1992294400 134512640 135215339 4294956240 18446744073709551615 134528776 0 0 4096 3 0 0 0 17 1 0 0
/proc/17264/statm: 16476 16046 77 171 0 16303 0
Current children cumulated CPU time (s) 710.01
Current children cumulated vsize (KiB) 71260
[startup+716.701 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17266
/proc/meminfo: memFree=1532304/2055920 swapFree=4179476/4192956
[pid=17258] ppid=17256 vsize=5356 CPUtime=4.38
/proc/17258/stat : 17258 (SatELiteGTI) S 17256 17258 17030 0 -1 4194304 336 24189 0 0 0 0 414 24 16 0 1 0 305308543 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17258/statm: 1339 239 197 169 0 50 0
[pid=17264] ppid=17258 vsize=65904 CPUtime=712.02
/proc/17264/stat : 17264 (minisat_static) R 17258 17258 17030 0 -1 4194304 16060 0 0 0 71181 21 0 0 25 0 1 0 305308985 67485696 16046 1992294400 134512640 135215339 4294956240 18446744073709551615 134528697 0 0 4096 3 0 0 0 17 1 0 0
/proc/17264/statm: 16476 16046 77 171 0 16303 0
Current children cumulated CPU time (s) 716.4
Current children cumulated vsize (KiB) 71260
[startup+718.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17266
/proc/meminfo: memFree=1532304/2055920 swapFree=4179476/4192956
[pid=17258] ppid=17256 vsize=5356 CPUtime=4.38
/proc/17258/stat : 17258 (SatELiteGTI) S 17256 17258 17030 0 -1 4194304 336 24189 0 0 0 0 414 24 16 0 1 0 305308543 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17258/statm: 1339 239 197 169 0 50 0
[pid=17264] ppid=17258 vsize=65904 CPUtime=713.63
/proc/17264/stat : 17264 (minisat_static) R 17258 17258 17030 0 -1 4194304 16060 0 0 0 71342 21 0 0 25 0 1 0 305308985 67485696 16046 1992294400 134512640 135215339 4294956240 18446744073709551615 134538283 0 0 4096 3 0 0 0 17 1 0 0
/proc/17264/statm: 16476 16046 77 171 0 16303 0
Current children cumulated CPU time (s) 718.01
Current children cumulated vsize (KiB) 71260
[startup+719.102 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17266
/proc/meminfo: memFree=1532304/2055920 swapFree=4179476/4192956
[pid=17258] ppid=17256 vsize=5356 CPUtime=4.38
/proc/17258/stat : 17258 (SatELiteGTI) S 17256 17258 17030 0 -1 4194304 336 24189 0 0 0 0 414 24 16 0 1 0 305308543 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17258/statm: 1339 239 197 169 0 50 0
[pid=17264] ppid=17258 vsize=65904 CPUtime=714.42
/proc/17264/stat : 17264 (minisat_static) R 17258 17258 17030 0 -1 4194304 16060 0 0 0 71421 21 0 0 25 0 1 0 305308985 67485696 16046 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17264/statm: 16476 16046 77 171 0 16303 0
Current children cumulated CPU time (s) 718.8
Current children cumulated vsize (KiB) 71260
[startup+719.502 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17266
/proc/meminfo: memFree=1532304/2055920 swapFree=4179476/4192956
[pid=17258] ppid=17256 vsize=5356 CPUtime=4.38
/proc/17258/stat : 17258 (SatELiteGTI) S 17256 17258 17030 0 -1 4194304 336 24189 0 0 0 0 414 24 16 0 1 0 305308543 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17258/statm: 1339 239 197 169 0 50 0
[pid=17264] ppid=17258 vsize=65904 CPUtime=714.82
/proc/17264/stat : 17264 (minisat_static) R 17258 17258 17030 0 -1 4194304 16060 0 0 0 71461 21 0 0 25 0 1 0 305308985 67485696 16046 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/17264/statm: 16476 16046 77 171 0 16303 0
Current children cumulated CPU time (s) 719.2
Current children cumulated vsize (KiB) 71260
[startup+719.902 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 17266
/proc/meminfo: memFree=1532304/2055920 swapFree=4179476/4192956
[pid=17258] ppid=17256 vsize=5356 CPUtime=4.38
/proc/17258/stat : 17258 (SatELiteGTI) S 17256 17258 17030 0 -1 4194304 336 24189 0 0 0 0 414 24 16 0 1 0 305308543 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17258/statm: 1339 239 197 169 0 50 0
[pid=17264] ppid=17258 vsize=65904 CPUtime=715.22
/proc/17264/stat : 17264 (minisat_static) R 17258 17258 17030 0 -1 4194304 16060 0 0 0 71501 21 0 0 25 0 1 0 305308985 67485696 16046 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17264/statm: 16476 16046 77 171 0 16303 0
Current children cumulated CPU time (s) 719.6
Current children cumulated vsize (KiB) 71260
Child status: 20
Real time (s): 719.944
CPU time (s): 719.67
CPU user time (s): 719.178
CPU system time (s): 0.491925
CPU usage (%): 99.9619
Max. virtual memory (cumulated for all children) (KiB): 101132
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 719.178
system time used= 0.491925
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40746
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= 2218
runsolver used 0.860869 second user time and 1.85972 second system time
The end
Begin job on node58 at 2009-05-20 00:40:13
IDJOB=1832407
IDBENCH=69586
IDSOLVER=671
FILE ID=node58/1832407-1242772812
PBS_JOBID= 9322243
Free space on /tmp= 66068 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT_RACE08/cnf/manol-pipe-f9b.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832407-1242772812/watcher-1832407-1242772812 -o /tmp/evaluation-result-1832407-1242772812/solver-1832407-1242772812 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832407-1242772812.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= c3e7cb16bced9d54ce489b6e95d89943
RANDOM SEED=597974570
node58.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.233
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.233
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1620160 kB
Buffers: 16188 kB
Cached: 374616 kB
SwapCached: 7540 kB
Active: 104832 kB
Inactive: 295200 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1620160 kB
SwapTotal: 4192956 kB
SwapFree: 4179476 kB
Dirty: 11120 kB
Writeback: 0 kB
Mapped: 14492 kB
Slab: 21764 kB
Committed_AS: 981644 kB
PageTables: 1364 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66064 MiB
End job on node58 at 2009-05-20 00:52:13