0.00/0.00 c Parsing...
0.52/0.56 c ==============================================================================
0.52/0.56 c | | ORIGINAL | LEARNT | |
0.52/0.56 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.52/0.56 c ==============================================================================
0.52/0.56 c | 0 | 547077 1276513 | 164123 0 0 nan | 0.000 % |
3.62/3.66 c | 0 | 222774 884637 | -- 0 -- -- | -- | -324296/-391859
3.62/3.67 c ==============================================================================
3.62/3.67 c Result : #vars: 28754 #clauses: 222774 #literals: 884637
3.62/3.67 c CPU time: 3.5 s
3.62/3.67 c ==============================================================================
3.92/3.98 c This is MiniSat 2.0 beta
3.92/3.98 c WARNING: for repeatability, setting FPU to use double precision
3.92/3.98 c ============================[ Problem Statistics ]=============================
3.92/3.98 c | |
3.92/3.98 c | Number of variables: 28754 |
3.92/3.98 c | Number of clauses: 222774 |
3.98/4.16 c | Parsing time: 0.15 s |
3.98/4.17 c ============================[ Search Statistics ]==============================
3.98/4.17 c | Conflicts | ORIGINAL | LEARNT | Progress |
3.98/4.17 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
3.98/4.17 c ===============================================================================
3.98/4.17 c | 0 | 28754 222774 884637 | 74258 0 nan | 0.000 % |
3.98/4.25 c | 100 | 28746 222774 884637 | 74258 96 17 | 0.063 % |
3.98/4.30 c | 200 | 28746 222774 884637 | 74258 196 18 | 0.063 % |
4.32/4.39 c | 301 | 28746 222774 884637 | 74258 297 20 | 0.063 % |
4.42/4.44 c | 411 | 28746 222774 884637 | 74258 407 20 | 0.063 % |
4.52/4.54 c | 512 | 28746 222774 884637 | 74258 508 21 | 0.063 % |
4.52/4.59 c | 624 | 28746 222774 884637 | 74258 620 23 | 0.063 % |
4.62/4.66 c | 745 | 28746 222774 884637 | 74258 741 22 | 0.063 % |
4.72/4.75 c | 845 | 28746 222774 884637 | 74258 841 22 | 0.063 % |
4.72/4.79 c | 956 | 28746 222774 884637 | 74258 952 22 | 0.063 % |
4.82/4.87 c | 1077 | 28743 222774 884637 | 74258 1069 21 | 0.167 % |
4.92/4.96 c | 1210 | 28694 222327 882814 | 74258 1197 21 | 0.209 % |
5.02/5.04 c | 1310 | 28694 222327 882814 | 74258 1297 21 | 0.209 % |
5.12/5.11 c | 1421 | 28694 222327 882814 | 74258 1408 21 | 0.209 % |
5.12/5.17 c | 1543 | 28694 222327 882814 | 74258 1530 21 | 0.209 % |
5.32/5.32 c | 1677 | 28694 222327 882814 | 74258 1664 21 | 0.209 % |
5.32/5.36 c | 1824 | 28694 222327 882814 | 74258 1811 21 | 0.209 % |
5.32/5.39 c | 1926 | 28694 222327 882814 | 74258 1913 21 | 0.209 % |
5.42/5.43 c | 2036 | 28694 222327 882814 | 74258 2023 22 | 0.209 % |
5.42/5.47 c | 2159 | 28692 222327 882814 | 74258 2145 22 | 0.233 % |
5.42/5.50 c | 2292 | 28692 222327 882814 | 74258 2278 22 | 0.233 % |
5.52/5.56 c | 2439 | 28686 222327 882814 | 74258 2421 24 | 0.247 % |
5.62/5.61 c | 2599 | 28686 222327 882814 | 74258 2581 23 | 0.247 % |
5.62/5.65 c | 2699 | 28685 222327 882814 | 74258 2680 23 | 0.254 % |
5.62/5.69 c | 2809 | 28678 221861 881256 | 74258 2788 23 | 0.264 % |
5.72/5.75 c | 2932 | 28678 221861 881256 | 74258 2911 24 | 0.264 % |
5.82/5.83 c | 3065 | 28678 221861 881256 | 74258 3044 23 | 0.264 % |
5.92/5.92 c | 3211 | 28678 221861 881256 | 74258 3190 24 | 0.264 % |
5.92/5.97 c | 3373 | 28678 221861 881256 | 74258 3352 24 | 0.264 % |
6.02/6.09 c | 3549 | 28678 221861 881256 | 74258 3528 24 | 0.264 % |
6.12/6.12 c | 3649 | 28678 221861 881256 | 74258 3628 24 | 0.264 % |
6.12/6.12 c | 3759 | 28678 221861 881256 | 74258 3738 24 | 0.264 % |
6.12/6.16 c | 3880 | 28673 221861 881256 | 74258 3857 24 | 0.292 % |
6.12/6.19 c | 4014 | 28673 221861 881256 | 74258 3991 24 | 0.292 % |
6.22/6.25 c | 4160 | 28670 221861 881256 | 74258 4136 25 | 0.344 % |
6.22/6.31 c | 4321 | 28666 221861 881256 | 74258 4297 25 | 0.344 % |
6.32/6.34 c | 4498 | 28666 221861 881256 | 74258 4474 24 | 0.344 % |
6.32/6.39 c | 4691 | 28666 221861 881256 | 74258 4667 25 | 0.344 % |
6.32/6.40 c | 4791 | 28666 221861 881256 | 74258 4767 25 | 0.344 % |
6.42/6.48 c | 4901 | 28655 221560 880254 | 74258 4870 25 | 0.344 % |
6.42/6.51 c | 5022 | 28655 221560 880254 | 74258 4991 25 | 0.344 % |
6.62/6.62 c | 5155 | 28654 221560 880254 | 74258 5123 25 | 0.369 % |
6.62/6.68 c | 5302 | 28654 221560 880254 | 74258 5270 25 | 0.369 % |
6.72/6.73 c | 5464 | 28654 221560 880254 | 74258 5432 25 | 0.369 % |
6.82/6.83 c | 5640 | 28654 221560 880254 | 74258 5608 25 | 0.369 % |
6.82/6.87 c | 5833 | 28654 221560 880254 | 74258 5801 26 | 0.369 % |
6.92/6.95 c | 6045 | 28651 221560 880254 | 74258 6012 25 | 0.410 % |
6.92/6.98 c | 6145 | 28651 221560 880254 | 74258 6112 25 | 0.410 % |
7.02/7.10 c | 6255 | 28651 221560 880254 | 74258 6222 25 | 0.410 % |
7.12/7.19 c | 6376 | 28651 221560 880254 | 74258 6343 25 | 0.410 % |
7.22/7.27 c | 6509 | 28636 221282 879232 | 74258 6472 25 | 0.410 % |
7.32/7.37 c | 6656 | 28636 221282 879232 | 74258 6619 25 | 0.410 % |
7.42/7.45 c | 6816 | 28636 221282 879232 | 74258 6779 25 | 0.410 % |
7.52/7.58 c | 6992 | 28636 221282 879232 | 74258 6955 25 | 0.410 % |
7.52/7.61 c | 7185 | 28636 221282 879232 | 74258 7148 25 | 0.410 % |
7.62/7.68 c | 7397 | 28636 221282 879232 | 74258 7360 25 | 0.410 % |
7.72/7.74 c | 7630 | 28636 221282 879232 | 74258 7593 25 | 0.410 % |
7.72/7.77 c | 7730 | 28636 221282 879232 | 74258 7693 25 | 0.410 % |
7.72/7.78 c | 7841 | 28633 221282 879232 | 74258 7802 25 | 0.442 % |
7.82/7.85 c | 7963 | 28633 221282 879232 | 74258 7924 25 | 0.442 % |
7.82/7.88 c | 8099 | 28633 221282 879232 | 74258 8060 25 | 0.442 % |
7.92/7.94 c | 8245 | 28633 221282 879232 | 74258 8206 25 | 0.442 % |
7.92/8.01 c | 8405 | 28633 221282 879232 | 74258 8366 25 | 0.442 % |
8.02/8.07 c | 8581 | 28627 220963 877994 | 74258 8532 25 | 0.442 % |
8.12/8.20 c | 8774 | 28627 220963 877994 | 74258 8725 25 | 0.442 % |
8.22/8.22 c | 8986 | 28627 220963 877994 | 74258 8937 25 | 0.442 % |
8.22/8.27 c | 9222 | 28627 220963 877994 | 74258 9173 25 | 0.442 % |
8.32/8.34 c | 9480 | 28627 220963 877994 | 74258 9431 26 | 0.442 % |
8.32/8.39 c | 9580 | 28625 220963 877994 | 74258 9530 26 | 0.456 % |
8.42/8.45 c | 9692 | 28625 220963 877994 | 74258 9642 26 | 0.456 % |
8.42/8.47 c | 9813 | 28625 220963 877994 | 74258 9763 25 | 0.456 % |
8.42/8.50 c | 9946 | 28625 220963 877994 | 74258 9896 25 | 0.456 % |
8.52/8.54 c | 10092 | 28625 220963 877994 | 2147483647 10042 25 | 0.456 % |
8.62/8.62 c | 10252 | 28625 220963 877994 | 2147483647 10202 25 | 0.456 % |
8.62/8.69 c | 10429 | 28624 220963 877994 | 2147483647 10378 25 | 0.459 % |
8.72/8.77 c | 10622 | 28624 220963 877994 | 2147483647 10571 26 | 0.459 % |
8.82/8.84 c | 10835 | 28624 220963 877994 | 2147483647 10784 26 | 0.459 % |
8.82/8.91 c | 11071 | 28624 220963 877994 | 2147483647 11020 25 | 0.459 % |
9.02/9.03 c | 11327 | 28622 220901 877776 | 2147483647 11271 26 | 0.459 % |
9.12/9.13 c | 11609 | 28622 220901 877776 | 2147483647 11553 26 | 0.459 % |
9.12/9.21 c | 11710 | 28622 220901 877776 | 2147483647 11654 26 | 0.459 % |
9.22/9.23 c | 11821 | 28622 220901 877776 | 2147483647 11765 26 | 0.459 % |
9.32/9.33 c | 11942 | 28622 220901 877776 | 2147483647 11886 26 | 0.459 % |
9.42/9.44 c | 12075 | 28622 220901 877776 | 2147483647 12019 26 | 0.459 % |
9.52/9.53 c | 12221 | 28622 220901 877776 | 2147483647 12165 26 | 0.459 % |
9.52/9.59 c | 12382 | 28622 220901 877776 | 2147483647 12326 26 | 0.459 % |
9.62/9.65 c | 12558 | 28622 220901 877776 | 2147483647 12502 26 | 0.459 % |
9.62/9.68 c | 12751 | 28622 220901 877776 | 2147483647 12695 26 | 0.459 % |
9.72/9.76 c | 12963 | 28622 220901 877776 | 2147483647 12907 26 | 0.459 % |
9.82/9.84 c | 13197 | 28622 220901 877776 | 2147483647 13141 26 | 0.459 % |
9.82/9.88 c | 13457 | 28622 220901 877776 | 2147483647 13401 26 | 0.459 % |
10.02/10.07 c | 13738 | 28622 220901 877776 | 2147483647 13682 26 | 0.459 % |
10.22/10.24 c | 14049 | 28622 220901 877776 | 2147483647 13993 27 | 0.459 % |
10.32/10.32 c | 14150 | 28622 220901 877776 | 2147483647 14094 27 | 0.459 % |
10.32/10.35 c | 14261 | 28622 220901 877776 | 2147483647 14205 26 | 0.459 % |
10.32/10.40 c | 14383 | 28622 220901 877776 | 2147483647 14327 26 | 0.459 % |
10.42/10.48 c | 14516 | 28622 220901 877776 | 2147483647 14460 27 | 0.459 % |
10.52/10.54 c | 14662 | 28622 220901 877776 | 2147483647 14606 27 | 0.459 % |
10.62/10.62 c | 14822 | 28622 220901 877776 | 2147483647 14766 27 | 0.459 % |
10.62/10.70 c | 14998 | 28622 220901 877776 | 2147483647 14942 27 | 0.459 % |
10.72/10.79 c | 15193 | 28622 220901 877776 | 2147483647 15137 27 | 0.459 % |
10.82/10.89 c | 15405 | 28622 220901 877776 | 2147483647 15349 27 | 0.459 % |
10.92/11.00 c | 15639 | 28622 220901 877776 | 2147483647 15583 27 | 0.459 % |
11.02/11.08 c | 15895 | 28622 220901 877776 | 2147483647 15839 27 | 0.459 % |
11.12/11.13 c | 16177 | 28622 220901 877776 | 2147483647 16121 27 | 0.459 % |
11.12/11.21 c | 16486 | 28622 220901 877776 | 2147483647 16430 27 | 0.459 % |
11.32/11.37 c | 16827 | 28622 220901 877776 | 2147483647 16771 27 | 0.459 % |
11.32/11.41 c | 16928 | 28622 220901 877776 | 2147483647 16872 27 | 0.459 % |
11.42/11.46 c | 17038 | 28622 220901 877776 | 2147483647 16982 27 | 0.459 % |
11.42/11.48 c | 17159 | 28622 220901 877776 | 2147483647 17103 27 | 0.459 % |
11.52/11.59 c | 17293 | 28622 220901 877776 | 2147483647 17237 27 | 0.459 % |
11.72/11.75 c | 17439 | 28622 220901 877776 | 2147483647 17383 27 | 0.459 % |
11.72/11.77 c | 17599 | 28622 220901 877776 | 2147483647 17543 27 | 0.459 % |
11.82/11.86 c | 17775 | 28622 220901 877776 | 2147483647 17719 27 | 0.459 % |
11.92/11.95 c | 17968 | 28622 220901 877776 | 2147483647 17912 27 | 0.459 % |
12.02/12.10 c | 18181 | 28621 220832 877545 | 2147483647 18121 27 | 0.463 % |
12.22/12.25 c | 18414 | 28621 220832 877545 | 2147483647 18354 28 | 0.463 % |
12.32/12.36 c | 18671 | 28621 220832 877545 | 2147483647 18611 28 | 0.463 % |
12.32/12.40 c | 18952 | 28621 220832 877545 | 2147483647 18892 28 | 0.463 % |
12.52/12.52 c | 19262 | 28621 220832 877545 | 2147483647 19202 28 | 0.463 % |
12.72/12.78 c | 19601 | 28621 220832 877545 | 2147483647 19541 28 | 0.463 % |
12.82/12.84 c | 19973 | 28621 220832 877545 | 2147483647 19913 28 | 0.463 % |
12.82/12.87 c | 20074 | 28621 220832 877545 | 2147483647 20014 28 | 0.463 % |
12.92/12.94 c | 20184 | 28621 220832 877545 | 2147483647 20124 28 | 0.463 % |
13.02/13.04 c | 20308 | 28621 220832 877545 | 2147483647 20248 28 | 0.463 % |
13.02/13.07 c | 20441 | 28621 220832 877545 | 2147483647 20381 28 | 0.463 % |
13.12/13.13 c | 20587 | 28621 220832 877545 | 2147483647 20527 28 | 0.463 % |
13.22/13.21 c | 20747 | 28621 220832 877545 | 2147483647 20687 28 | 0.463 % |
13.22/13.23 c | 20924 | 28621 220832 877545 | 2147483647 20864 28 | 0.463 % |
13.32/13.35 c | 21118 | 28621 220832 877545 | 2147483647 21058 28 | 0.463 % |
13.42/13.49 c | 21333 | 28621 220832 877545 | 2147483647 21273 28 | 0.463 % |
13.62/13.64 c | 21569 | 28621 220832 877545 | 2147483647 21509 28 | 0.463 % |
13.62/13.67 c | 21825 | 28621 220832 877545 | 2147483647 21765 28 | 0.463 % |
13.72/13.80 c | 22107 | 28621 220832 877545 | 2147483647 22047 29 | 0.463 % |
13.92/13.95 c | 22417 | 28621 220832 877545 | 2147483647 22357 29 | 0.463 % |
13.92/14.00 c | 22758 | 28621 220832 877545 | 2147483647 22698 29 | 0.463 % |
14.12/14.13 c | 23132 | 28621 220832 877545 | 2147483647 23072 29 | 0.463 % |
14.32/14.35 c | 23541 | 28621 220832 877545 | 2147483647 23481 30 | 0.463 % |
14.32/14.39 c | 23642 | 28621 220832 877545 | 2147483647 23582 30 | 0.463 % |
14.42/14.45 c | 23752 | 28621 220832 877545 | 2147483647 23692 30 | 0.463 % |
14.52/14.56 c | 23873 | 28621 220832 877545 | 2147483647 23813 30 | 0.463 % |
14.52/14.58 c | 24006 | 28621 220832 877545 | 2147483647 23946 30 | 0.463 % |
14.62/14.64 c | 24152 | 28621 220832 877545 | 2147483647 24092 30 | 0.463 % |
14.72/14.73 c | 24312 | 28621 220832 877545 | 2147483647 24252 30 | 0.463 % |
14.82/14.81 c | 24488 | 28621 220832 877545 | 2147483647 24428 30 | 0.463 % |
14.82/14.88 c | 24681 | 28621 220832 877545 | 2147483647 24621 30 | 0.463 % |
14.92/14.97 c | 24893 | 28621 220832 877545 | 2147483647 24833 30 | 0.463 % |
15.02/15.03 c | 25127 | 28621 220832 877545 | 2147483647 25067 29 | 0.463 % |
15.02/15.04 c | 25385 | 28621 220832 877545 | 2147483647 25325 29 | 0.463 % |
15.22/15.26 c | 25667 | 28621 220832 877545 | 2147483647 25607 29 | 0.463 % |
15.32/15.35 c | 25976 | 28621 220832 877545 | 2147483647 25916 30 | 0.463 % |
15.42/15.41 c | 26315 | 28621 220832 877545 | 2147483647 26255 30 | 0.463 % |
15.62/15.61 c | 26688 | 28621 220832 877545 | 2147483647 26628 30 | 0.463 % |
15.62/15.67 c | 27098 | 28621 220832 877545 | 2147483647 27038 30 | 0.463 % |
15.72/15.81 c | 27547 | 28621 220832 877545 | 2147483647 27487 31 | 0.463 % |
15.82/15.87 c | 27647 | 28621 220832 877545 | 2147483647 27587 31 | 0.463 % |
15.92/15.92 c | 27759 | 28621 220832 877545 | 2147483647 27699 31 | 0.463 % |
15.92/15.98 c | 27882 | 28621 220832 877545 | 2147483647 27822 31 | 0.463 % |
16.02/16.04 c | 28015 | 28614 220652 876926 | 2147483647 27946 31 | 0.574 % |
16.12/16.11 c | 28161 | 28614 220652 876926 | 2147483647 28092 31 | 0.574 % |
16.22/16.24 c | 28321 | 28614 220652 876926 | 2147483647 28252 31 | 0.574 % |
16.32/16.37 c | 28497 | 28614 220652 876926 | 2147483647 28428 31 | 0.574 % |
16.42/16.49 c | 28690 | 28614 220652 876926 | 2147483647 28621 31 | 0.574 % |
16.52/16.53 c | 28903 | 28614 220652 876926 | 2147483647 28834 31 | 0.574 % |
16.52/16.60 c | 29137 | 28614 220652 876926 | 2147483647 29068 31 | 0.574 % |
16.62/16.69 c | 29395 | 28614 220652 876926 | 2147483647 29326 31 | 0.574 % |
16.62/16.71 c | 29676 | 28614 220652 876926 | 2147483647 29607 31 | 0.574 % |
16.72/16.77 c | 29985 | 28614 220652 876926 | 2147483647 29916 31 | 0.574 % |
16.82/16.86 c | 30324 | 28614 220652 876926 | 2147483647 30255 31 | 0.574 % |
17.02/17.08 c | 30697 | 28614 220652 876926 | 2147483647 30628 32 | 0.574 % |
17.22/17.22 c | 31107 | 28614 220652 876926 | 2147483647 31038 32 | 0.574 % |
17.22/17.27 c | 31556 | 28614 220652 876926 | 2147483647 31487 32 | 0.574 % |
17.32/17.39 c | 32049 | 28614 220652 876926 | 2147483647 31980 32 | 0.574 % |
17.42/17.45 c | 32150 | 28614 220652 876926 | 2147483647 32081 32 | 0.574 % |
17.42/17.49 c | 32261 | 28614 220652 876926 | 2147483647 32192 32 | 0.574 % |
17.52/17.57 c | 32382 | 28614 220652 876926 | 2147483647 32313 32 | 0.574 % |
17.62/17.61 c | 32516 | 28614 220652 876926 | 2147483647 32447 32 | 0.574 % |
17.62/17.66 c | 32663 | 28614 220652 876926 | 2147483647 32594 32 | 0.574 % |
17.72/17.74 c | 32825 | 28614 220652 876926 | 2147483647 32756 32 | 0.574 % |
17.72/17.78 c | 33001 | 28614 220652 876926 | 2147483647 32932 32 | 0.574 % |
17.82/17.88 c | 33194 | 28614 220652 876926 | 2147483647 33125 32 | 0.574 % |
17.92/17.96 c | 33411 | 28589 220265 875545 | 2147483647 33324 32 | 0.574 % |
18.02/18.05 c | 33644 | 28589 220265 875545 | 2147483647 33557 32 | 0.574 % |
18.12/18.20 c | 33900 | 28589 220265 875545 | 2147483647 33813 32 | 0.574 % |
18.32/18.38 c | 34181 | 28589 220265 875545 | 2147483647 34094 32 | 0.574 % |
18.42/18.51 c | 34490 | 28589 220265 875545 | 2147483647 34403 33 | 0.574 % |
18.52/18.61 c | 34829 | 28589 220265 875545 | 2147483647 34742 33 | 0.574 % |
18.62/18.67 c | 35201 | 28589 220265 875545 | 2147483647 35114 33 | 0.574 % |
18.82/18.84 c | 35612 | 28588 220265 875545 | 2147483647 35524 33 | 0.577 % |
18.92/18.91 c | 36061 | 28588 220265 875545 | 2147483647 35973 33 | 0.577 % |
18.92/18.99 c | 36560 | 28588 220265 875545 | 2147483647 36472 33 | 0.577 % |
19.02/19.11 c | 37103 | 28588 220265 875545 | 2147483647 37015 33 | 0.577 % |
19.12/19.14 c | 37203 | 28588 220265 875545 | 2147483647 37115 33 | 0.577 % |
19.23/19.23 c | 37314 | 28588 220265 875545 | 2147483647 37226 33 | 0.577 % |
19.23/19.27 c | 37435 | 28588 220265 875545 | 2147483647 37347 33 | 0.577 % |
19.33/19.34 c | 37569 | 28588 220265 875545 | 2147483647 37481 33 | 0.577 % |
19.33/19.40 c | 37715 | 28588 220265 875545 | 2147483647 37627 33 | 0.577 % |
19.43/19.45 c | 37876 | 28588 220265 875545 | 2147483647 37788 33 | 0.577 % |
19.43/19.50 c | 38052 | 28588 220265 875545 | 2147483647 37964 33 | 0.577 % |
19.53/19.55 c | 38245 | 28588 220265 875545 | 2147483647 38157 33 | 0.577 % |
19.53/19.62 c | 38458 | 28588 220265 875545 | 2147483647 38370 33 | 0.577 % |
19.63/19.66 c | 38691 | 28588 220265 875545 | 2147483647 38603 33 | 0.577 % |
19.63/19.71 c | 38947 | 28588 220265 875545 | 2147483647 38859 33 | 0.577 % |
19.73/19.80 c | 39228 | 28588 220265 875545 | 2147483647 39140 33 | 0.577 % |
19.83/19.88 c | 39539 | 28588 220265 875545 | 2147483647 39451 33 | 0.577 % |
19.93/19.96 c | 39879 | 28588 220265 875545 | 2147483647 39791 33 | 0.577 % |
20.13/20.17 c | 40252 | 28588 220265 875545 | 2147483647 40164 33 | 0.577 % |
20.23/20.27 c | 40661 | 28588 220261 875537 | 2147483647 40573 33 | 0.577 % |
20.33/20.36 c | 41110 | 28588 220261 875537 | 2147483647 41022 33 | 0.577 % |
20.63/20.67 c | 41604 | 28588 220261 875537 | 2147483647 41516 33 | 0.577 % |
20.73/20.78 c | 42146 | 28588 220261 875537 | 2147483647 42058 33 | 0.577 % |
20.93/20.94 c | 42743 | 28588 220261 875537 | 2147483647 42655 34 | 0.577 % |
20.93/20.97 c | 42843 | 28588 220261 875537 | 2147483647 42755 34 | 0.577 % |
20.93/20.98 c | 42954 | 28588 220261 875537 | 2147483647 42866 34 | 0.577 % |
21.03/21.11 c | 43075 | 28578 220261 875537 | 2147483647 42986 33 | 0.668 % |
21.13/21.16 c | 43208 | 28578 220261 875537 | 2147483647 43119 34 | 0.668 % |
21.13/21.21 c | 43354 | 28578 220261 875537 | 2147483647 43265 34 | 0.668 % |
21.23/21.26 c | 43514 | 28578 220261 875537 | 2147483647 43425 34 | 0.668 % |
21.32/21.33 c | 43691 | 28489 220261 875537 | 2147483647 43601 34 | 1.391 % |
21.32/21.35 c | 43884 | 28489 220261 875537 | 2147483647 43794 34 | 1.391 % |
21.42/21.49 c | 44097 | 28466 220261 875537 | 2147483647 44007 34 | 1.391 % |
21.62/21.63 c | 44330 | 28466 220261 875537 | 2147483647 44240 34 | 1.391 % |
21.72/21.75 c | 44587 | 28466 220261 875537 | 2147483647 44497 34 | 1.391 % |
21.82/21.91 c | 44869 | 28466 220261 875537 | 2147483647 44779 34 | 1.391 % |
21.92/21.99 c | 45178 | 28466 220261 875537 | 2147483647 45088 34 | 1.391 % |
22.12/22.20 c | 45517 | 28463 220261 875537 | 2147483647 45426 34 | 1.402 % |
22.22/22.28 c | 45890 | 28463 220261 875537 | 2147483647 45799 34 | 1.402 % |
22.32/22.38 c | 46299 | 28463 220261 875537 | 2147483647 46208 34 | 1.402 % |
22.42/22.51 c | 46748 | 28463 220261 875537 | 2147483647 46657 34 | 1.402 % |
22.72/22.73 c | 47243 | 28463 220261 875537 | 2147483647 47152 34 | 1.402 % |
22.92/22.94 c | 47785 | 28463 220261 875537 | 2147483647 47694 34 | 1.402 % |
23.02/23.09 c | 48381 | 28351 216780 861744 | 2147483647 48194 35 | 1.402 % |
23.22/23.23 c | 49037 | 28351 216780 861744 | 2147483647 48850 35 | 1.402 % |
23.22/23.28 c | 49138 | 28351 216780 861744 | 2147483647 48951 35 | 1.402 % |
23.22/23.29 c | 49249 | 28351 216780 861744 | 2147483647 49062 35 | 1.402 % |
23.32/23.35 c | 49371 | 28351 216780 861744 | 2147483647 49184 35 | 1.402 % |
23.42/23.44 c | 49505 | 28351 216780 861744 | 2147483647 49318 35 | 1.402 % |
23.52/23.56 c | 49651 | 28351 216780 861744 | 2147483647 49464 35 | 1.402 % |
23.62/23.63 c | 49812 | 28351 216780 861744 | 2147483647 49625 35 | 1.402 % |
23.62/23.69 c | 49991 | 28351 216780 861744 | 2147483647 49804 35 | 1.402 % |
23.72/23.74 c | 50185 | 28351 216780 861744 | 2147483647 49998 35 | 1.402 % |
23.72/23.81 c | 50399 | 28351 216780 861744 | 2147483647 50212 35 | 1.402 % |
23.82/23.89 c | 50632 | 28351 216780 861744 | 2147483647 50445 35 | 1.402 % |
23.92/23.99 c | 50888 | 28351 216780 861744 | 2147483647 50701 35 | 1.402 % |
24.22/24.26 c | 51170 | 28351 216780 861744 | 2147483647 50983 35 | 1.402 % |
24.32/24.40 c | 51479 | 28351 216780 861744 | 2147483647 51292 35 | 1.402 % |
24.52/24.56 c | 51818 | 28351 216780 861744 | 2147483647 51631 35 | 1.402 % |
24.72/24.79 c | 52190 | 28351 216780 861744 | 2147483647 52003 35 | 1.402 % |
24.82/24.87 c | 52599 | 28351 216780 861744 | 2147483647 52412 35 | 1.402 % |
24.92/25.02 c | 53048 | 28351 216780 861744 | 2147483647 52861 35 | 1.402 % |
25.12/25.13 c | 53547 | 28351 216780 861744 | 2147483647 53360 35 | 1.402 % |
25.32/25.33 c | 54090 | 28351 216780 861744 | 2147483647 53903 35 | 1.402 % |
25.42/25.43 c | 54688 | 28351 216780 861744 | 2147483647 54501 35 | 1.402 % |
25.52/25.59 c | 55343 | 28351 216780 861744 | 2147483647 55156 35 | 1.402 % |
25.72/25.79 c | 56063 | 28351 216780 861744 | 2147483647 55876 35 | 1.402 % |
25.82/25.85 c | 56165 | 28351 216780 861744 | 2147483647 55978 35 | 1.402 % |
25.82/25.88 c | 56276 | 28351 216780 861744 | 2147483647 56089 35 | 1.402 % |
25.92/25.94 c | 56397 | 28351 216780 861744 | 2147483647 56210 35 | 1.402 % |
26.02/26.04 c | 56530 | 28351 216780 861744 | 2147483647 56343 35 | 1.402 % |
26.02/26.11 c | 56678 | 28351 216780 861744 | 2147483647 56491 35 | 1.402 % |
26.12/26.21 c | 56838 | 28351 216780 861744 | 2147483647 56651 35 | 1.402 % |
26.22/26.27 c | 57015 | 28351 216780 861744 | 2147483647 56828 35 | 1.402 % |
26.32/26.34 c | 57210 | 28351 216780 861744 | 2147483647 57023 35 | 1.402 % |
26.42/26.42 c | 57427 | 28351 216780 861744 | 2147483647 57240 35 | 1.402 % |
26.52/26.55 c | 57663 | 28351 216780 861744 | 2147483647 57476 35 | 1.402 % |
26.62/26.67 c | 57920 | 28351 216780 861744 | 2147483647 57733 35 | 1.402 % |
26.72/26.79 c | 58201 | 28351 216780 861744 | 2147483647 58014 35 | 1.402 % |
26.82/26.86 c | 58511 | 28351 216780 861744 | 2147483647 58324 35 | 1.402 % |
26.92/26.93 c | 58857 | 28351 216780 861744 | 2147483647 58670 35 | 1.402 % |
27.02/27.04 c | 59229 | 28351 216780 861744 | 2147483647 59042 35 | 1.402 % |
27.22/27.26 c | 59639 | 28351 216780 861744 | 2147483647 59452 35 | 1.402 % |
27.32/27.39 c | 60088 | 28351 216780 861744 | 2147483647 59901 35 | 1.402 % |
27.62/27.69 c | 60582 | 28351 216780 861744 | 2147483647 60395 35 | 1.402 % |
27.82/27.88 c | 61124 | 28351 216780 861744 | 2147483647 60937 35 | 1.402 % |
27.92/28.01 c | 61721 | 28351 216780 861744 | 2147483647 61534 35 | 1.402 % |
28.22/28.31 c | 62376 | 28351 216780 861744 | 2147483647 62189 36 | 1.402 % |
28.72/28.75 c | 63097 | 28351 216780 861744 | 2147483647 62910 36 | 1.402 % |
29.02/29.05 c | 63889 | 28351 216780 861744 | 2147483647 63702 36 | 1.402 % |
29.12/29.14 c | 63989 | 28351 216780 861744 | 2147483647 63802 36 | 1.402 % |
29.12/29.21 c | 64100 | 28351 216780 861744 | 2147483647 63913 36 | 1.402 % |
29.22/29.26 c | 64223 | 28351 216780 861744 | 2147483647 64036 36 | 1.402 % |
29.22/29.31 c | 64357 | 28351 216780 861744 | 2147483647 64170 36 | 1.402 % |
29.32/29.39 c | 64503 | 28351 216780 861744 | 2147483647 64316 36 | 1.402 % |
29.52/29.56 c | 64663 | 28351 216780 861744 | 2147483647 64476 36 | 1.402 % |
29.52/29.60 c | 64839 | 28351 216780 861744 | 2147483647 64652 36 | 1.402 % |
29.72/29.74 c | 65032 | 28351 216780 861744 | 2147483647 64845 36 | 1.402 % |
29.82/29.84 c | 65246 | 28351 216780 861744 | 2147483647 65059 36 | 1.402 % |
29.92/29.92 c | 65480 | 28351 216780 861744 | 2147483647 65293 36 | 1.402 % |
30.02/30.04 c | 65736 | 28351 216780 861744 | 2147483647 65549 36 | 1.402 % |
30.02/30.08 c | 66018 | 28351 216780 861744 | 2147483647 65831 36 | 1.402 % |
30.32/30.32 c | 66331 | 28351 216780 861744 | 2147483647 66144 36 | 1.402 % |
30.42/30.51 c | 66673 | 28351 216780 861744 | 2147483647 66486 36 | 1.402 % |
30.62/30.70 c | 67046 | 28351 216780 861744 | 2147483647 66859 36 | 1.402 % |
30.92/31.00 c | 67459 | 28351 216780 861744 | 2147483647 67272 36 | 1.402 % |
31.12/31.19 c | 67908 | 28351 216780 861744 | 2147483647 67721 36 | 1.402 % |
31.52/31.53 c | 68402 | 28351 216780 861744 | 2147483647 68215 36 | 1.402 % |
31.82/31.86 c | 68944 | 28351 216780 861744 | 2147483647 68757 36 | 1.402 % |
31.92/32.00 c | 69543 | 28351 216780 861744 | 2147483647 69356 36 | 1.402 % |
32.12/32.19 c | 70200 | 28351 216780 861744 | 2147483647 70013 36 | 1.402 % |
32.52/32.54 c | 70921 | 28351 216780 861744 | 2147483647 70734 37 | 1.402 % |
32.72/32.81 c | 71713 | 28351 216780 861744 | 2147483647 71526 37 | 1.402 % |
33.12/33.12 c | 72584 | 28351 216780 861744 | 2147483647 72397 37 | 1.402 % |
33.12/33.18 c | 72685 | 28351 216780 861744 | 2147483647 72498 37 | 1.402 % |
33.12/33.22 c | 72796 | 28351 216780 861744 | 2147483647 72609 37 | 1.402 % |
33.22/33.28 c | 72917 | 28351 216780 861744 | 2147483647 72730 37 | 1.402 % |
33.32/33.37 c | 73050 | 28351 216780 861744 | 2147483647 72863 37 | 1.402 % |
33.42/33.44 c | 73196 | 28351 216780 861744 | 2147483647 73009 37 | 1.402 % |
33.42/33.51 c | 73356 | 28351 216780 861744 | 2147483647 73169 37 | 1.402 % |
33.52/33.61 c | 73535 | 28351 216780 861744 | 2147483647 73348 37 | 1.402 % |
33.62/33.71 c | 73730 | 28351 216780 861744 | 2147483647 73543 37 | 1.402 % |
33.72/33.74 c | 73942 | 28351 216780 861744 | 2147483647 73755 37 | 1.402 % |
33.92/34.01 c | 74179 | 28351 216780 861744 | 2147483647 73992 37 | 1.402 % |
34.12/34.12 c | 74435 | 28351 216780 861744 | 2147483647 74248 37 | 1.402 % |
34.12/34.21 c | 74716 | 28351 216780 861744 | 2147483647 74529 37 | 1.402 % |
34.42/34.48 c | 75026 | 28351 216780 861744 | 2147483647 74839 37 | 1.402 % |
34.52/34.59 c | 75370 | 28351 216780 861744 | 2147483647 75183 37 | 1.402 % |
34.72/34.77 c | 75742 | 28351 216780 861744 | 2147483647 75555 37 | 1.402 % |
35.02/35.03 c | 76151 | 28351 216780 861744 | 2147483647 75964 37 | 1.402 % |
35.32/35.39 c | 76601 | 28351 216780 861744 | 2147483647 76414 37 | 1.402 % |
35.62/35.65 c | 77101 | 28351 216780 861744 | 2147483647 76914 37 | 1.402 % |
35.82/35.90 c | 77644 | 28351 216780 861744 | 2147483647 77457 37 | 1.402 % |
36.22/36.31 c | 78240 | 28351 216780 861744 | 2147483647 78053 37 | 1.402 % |
36.42/36.49 c | 78895 | 28351 216780 861744 | 2147483647 78708 37 | 1.402 % |
36.82/36.91 c | 79616 | 28351 216780 861744 | 2147483647 79429 37 | 1.402 % |
37.12/37.17 c | 80409 | 28351 216780 861744 | 2147483647 80222 37 | 1.402 % |
37.32/37.35 c | 81282 | 28351 216780 861744 | 2147483647 81095 37 | 1.402 % |
37.72/37.72 c | 82240 | 28351 216780 861744 | 2147483647 82053 37 | 1.402 % |
37.72/37.80 c | 82340 | 28351 216780 861744 | 2147483647 82153 37 | 1.402 % |
37.82/37.84 c | 82451 | 28351 216780 861744 | 2147483647 82264 37 | 1.402 % |
37.92/37.93 c | 82572 | 28351 216780 861744 | 2147483647 82385 37 | 1.402 % |
37.92/38.02 c | 82708 | 28351 216780 861744 | 2147483647 82521 37 | 1.402 % |
38.02/38.10 c | 82854 | 28351 216780 861744 | 2147483647 82667 37 | 1.402 % |
38.22/38.23 c | 83015 | 28351 216780 861744 | 2147483647 82828 37 | 1.402 % |
38.22/38.31 c | 83203 | 28351 216780 861744 | 2147483647 83016 37 | 1.402 % |
38.42/38.48 c | 83396 | 28344 216554 860852 | 2147483647 83201 37 | 1.426 % |
38.52/38.52 c | 83610 | 28344 216554 860852 | 2147483647 83415 37 | 1.426 % |
38.52/38.60 c | 83844 | 28344 216554 860852 | 2147483647 83649 37 | 1.426 % |
38.72/38.74 c | 84100 | 28344 216554 860852 | 2147483647 83905 37 | 1.426 % |
38.82/38.90 c | 84381 | 28344 216554 860852 | 2147483647 84186 37 | 1.426 % |
38.92/38.95 c | 84690 | 28344 216554 860852 | 2147483647 84495 37 | 1.426 % |
39.22/39.23 c | 85030 | 28344 216554 860852 | 2147483647 84835 37 | 1.426 % |
39.42/39.47 c | 85402 | 28317 216554 860852 | 2147483647 85206 37 | 1.586 % |
39.62/39.63 c | 85811 | 28317 216554 860852 | 2147483647 85615 37 | 1.586 % |
39.82/39.84 c | 86260 | 28317 216554 860852 | 2147483647 86064 37 | 1.586 % |
39.92/39.98 c | 86753 | 28317 216554 860852 | 2147483647 86557 37 | 1.586 % |
40.22/40.26 c | 87295 | 28315 216554 860852 | 2147483647 87099 37 | 1.586 % |
40.52/40.55 c | 87893 | 28315 216554 860852 | 2147483647 87697 37 | 1.586 % |
40.72/40.73 c | 88550 | 28315 216554 860852 | 2147483647 88354 37 | 1.586 % |
40.92/40.92 c | 89273 | 28315 216554 860852 | 2147483647 89077 37 | 1.586 % |
41.32/41.36 c | 90065 | 28315 216554 860852 | 2147483647 89869 37 | 1.586 % |
41.52/41.55 c | 90936 | 28315 216554 860852 | 2147483647 90740 37 | 1.586 % |
42.12/42.14 c | 91895 | 28315 216554 860852 | 2147483647 91699 37 | 1.586 % |
42.62/42.71 c | 92949 | 28315 216554 860852 | 2147483647 92753 37 | 1.586 % |
42.82/42.89 c | 93051 | 28315 216554 860852 | 2147483647 92855 37 | 1.586 % |
43.02/43.02 c | 93164 | 28314 216554 860852 | 2147483647 92967 37 | 1.589 % |
43.12/43.19 c | 93285 | 28314 216554 860852 | 2147483647 93088 37 | 1.589 % |
43.22/43.29 c | 93419 | 28314 216554 860852 | 2147483647 93222 37 | 1.589 % |
43.32/43.34 c | 93571 | 28314 216554 860852 | 2147483647 93374 37 | 1.589 % |
43.32/43.41 c | 93731 | 28314 216554 860852 | 2147483647 93534 37 | 1.589 % |
43.42/43.51 c | 93909 | 28314 216554 860852 | 2147483647 93712 37 | 1.589 % |
43.52/43.60 c | 94103 | 28314 216554 860852 | 2147483647 93906 37 | 1.589 % |
43.82/43.83 c | 94315 | 28314 216554 860852 | 2147483647 94118 37 | 1.589 % |
43.82/43.86 c | 94548 | 28314 216554 860852 | 2147483647 94351 37 | 1.589 % |
43.92/44.01 c | 94804 | 28314 216554 860852 | 2147483647 94607 37 | 1.589 % |
44.12/44.13 c | 95093 | 28314 216554 860852 | 2147483647 94896 37 | 1.589 % |
44.22/44.31 c | 95402 | 28314 216554 860852 | 2147483647 95205 37 | 1.589 % |
44.42/44.50 c | 95743 | 28314 216554 860852 | 2147483647 95546 37 | 1.589 % |
44.62/44.67 c | 96116 | 28314 216554 860852 | 2147483647 95919 37 | 1.589 % |
44.92/44.94 c | 96526 | 28314 216554 860852 | 2147483647 96329 37 | 1.589 % |
45.02/45.11 c | 96976 | 28314 216554 860852 | 2147483647 96779 37 | 1.589 % |
45.42/45.43 c | 97469 | 28314 216554 860852 | 2147483647 97272 37 | 1.589 % |
45.82/45.85 c | 98011 | 28314 216554 860852 | 2147483647 97814 37 | 1.589 % |
45.92/46.01 c | 98609 | 28297 215238 855355 | 2147483647 98379 37 | 1.589 % |
46.32/46.37 c | 99264 | 28297 215238 855355 | 2147483647 99034 37 | 1.589 % |
46.62/46.64 c | 99986 | 28297 215238 855355 | 2147483647 99756 37 | 1.589 % |
46.82/46.92 c | 100779 | 28297 215238 855355 | 2147483647 100549 37 | 1.589 % |
47.32/47.34 c | 101651 | 28297 215238 855355 | 2147483647 101421 37 | 1.589 % |
47.62/47.65 c | 102609 | 28297 215238 855355 | 2147483647 102379 37 | 1.589 % |
47.92/47.95 c | 103662 | 28297 215238 855355 | 2147483647 103432 37 | 1.589 % |
48.42/48.45 c | 104820 | 28297 215238 855355 | 2147483647 104590 38 | 1.589 % |
48.42/48.50 c | 104920 | 28297 215238 855355 | 2147483647 104690 38 | 1.589 % |
48.62/48.63 c | 105033 | 28297 215238 855355 | 2147483647 104803 38 | 1.589 % |
48.72/48.73 c | 105154 | 28296 215238 855355 | 2147483647 104923 38 | 1.607 % |
48.82/48.86 c | 105287 | 28295 215238 855355 | 2147483647 105055 38 | 1.617 % |
48.92/48.99 c | 105433 | 28295 215238 855355 | 2147483647 105201 38 | 1.617 % |
49.12/49.13 c | 105594 | 28295 215238 855355 | 2147483647 105362 38 | 1.617 % |
49.22/49.25 c | 105771 | 28295 215238 855355 | 2147483647 105539 38 | 1.617 % |
49.32/49.41 c | 105964 | 28295 215238 855355 | 2147483647 105732 38 | 1.617 % |
49.42/49.46 c | 106177 | 28295 215238 855355 | 2147483647 105945 38 | 1.617 % |
49.62/49.65 c | 106410 | 28295 215238 855355 | 2147483647 106178 38 | 1.617 % |
49.72/49.79 c | 106667 | 28295 215238 855355 | 2147483647 106435 38 | 1.617 % |
49.92/50.02 c | 106951 | 28295 215238 855355 | 2147483647 106719 38 | 1.617 % |
50.22/50.26 c | 107262 | 28295 215238 855355 | 2147483647 107030 38 | 1.617 % |
50.82/50.86 c | 107601 | 28295 215238 855355 | 2147483647 107369 38 | 1.617 % |
51.02/51.11 c | 107973 | 28295 215238 855355 | 2147483647 107741 38 | 1.617 % |
51.32/51.38 c | 108383 | 28295 215238 855355 | 2147483647 108151 38 | 1.617 % |
51.72/51.81 c | 108832 | 28295 215238 855355 | 2147483647 108600 38 | 1.617 % |
52.02/52.05 c | 109325 | 28295 215238 855355 | 2147483647 109093 38 | 1.617 % |
52.32/52.41 c | 109868 | 28295 215238 855355 | 2147483647 109636 38 | 1.617 % |
52.52/52.60 c | 110465 | 28295 215238 855355 | 2147483647 110233 38 | 1.617 % |
53.02/53.04 c | 111120 | 28295 215238 855355 | 2147483647 110888 38 | 1.617 % |
53.32/53.36 c | 111841 | 28295 215238 855355 | 2147483647 111609 38 | 1.617 % |
53.42/53.47 c | 112633 | 28295 215238 855355 | 2147483647 112401 38 | 1.617 % |
54.02/54.02 c | 113510 | 28295 215238 855355 | 2147483647 113278 38 | 1.617 % |
54.42/54.50 c | 114469 | 28295 215238 855355 | 2147483647 114237 38 | 1.617 % |
54.82/54.90 c | 115522 | 28295 215238 855355 | 2147483647 115290 38 | 1.617 % |
55.32/55.38 c | 116680 | 28295 215238 855355 | 2147483647 116448 38 | 1.617 % |
55.92/56.00 c | 117955 | 28289 215015 854565 | 2147483647 117702 38 | 1.617 % |
56.12/56.17 c | 118057 | 28289 215015 854565 | 2147483647 117804 38 | 1.617 % |
56.22/56.24 c | 118169 | 28289 215015 854565 | 2147483647 117916 38 | 1.617 % |
56.32/56.36 c | 118290 | 28289 215015 854565 | 2147483647 118037 38 | 1.617 % |
56.52/56.53 c | 118425 | 28289 215015 854565 | 2147483647 118172 38 | 1.617 % |
56.62/56.63 c | 118572 | 28289 215015 854565 | 2147483647 118319 38 | 1.617 % |
56.72/56.78 c | 118733 | 28289 215015 854565 | 2147483647 118480 38 | 1.617 % |
56.82/56.88 c | 118910 | 28289 215015 854565 | 2147483647 118657 38 | 1.617 % |
57.02/57.05 c | 119103 | 28289 215015 854565 | 2147483647 118850 38 | 1.617 % |
57.32/57.36 c | 119315 | 28289 215015 854565 | 2147483647 119062 38 | 1.617 % |
57.42/57.48 c | 119550 | 28289 215015 854565 | 2147483647 119297 38 | 1.617 % |
57.62/57.63 c | 119806 | 28289 215015 854565 | 2147483647 119553 38 | 1.617 % |
57.82/57.83 c | 120087 | 28289 215015 854565 | 2147483647 119834 38 | 1.617 % |
57.92/58.00 c | 120397 | 28289 215015 854565 | 2147483647 120144 38 | 1.617 % |
58.12/58.18 c | 120738 | 28289 215015 854565 | 2147483647 120485 38 | 1.617 % |
58.32/58.32 c | 121110 | 28289 215015 854565 | 2147483647 120857 38 | 1.617 % |
58.42/58.51 c | 121521 | 28289 215015 854565 | 2147483647 121268 38 | 1.617 % |
58.72/58.73 c | 121972 | 28289 215015 854565 | 2147483647 121719 38 | 1.617 % |
59.22/59.32 c | 122468 | 28289 215015 854565 | 2147483647 122215 38 | 1.617 % |
59.62/59.69 c | 123010 | 28289 215015 854565 | 2147483647 122757 38 | 1.617 % |
60.12/60.21 c | 123606 | 28289 215015 854565 | 2147483647 123353 38 | 1.617 % |
60.52/60.55 c | 124263 | 28289 215015 854565 | 2147483647 124010 38 | 1.617 % |
61.22/61.25 c | 124983 | 28289 215015 854565 | 2147483647 124730 38 | 1.617 % |
61.82/61.89 c | 125775 | 28289 215015 854565 | 2147483647 125522 38 | 1.617 % |
62.22/62.29 c | 126646 | 28289 215015 854565 | 2147483647 126393 38 | 1.617 % |
62.92/62.99 c | 127604 | 28289 215015 854565 | 2147483647 127351 38 | 1.617 % |
63.72/63.82 c | 128657 | 28289 215015 854565 | 2147483647 128404 38 | 1.617 % |
64.32/64.38 c | 129817 | 28289 215015 854565 | 2147483647 129564 38 | 1.617 % |
65.12/65.12 c | 131090 | 28289 215015 854565 | 2147483647 130837 38 | 1.617 % |
65.72/65.74 c | 132490 | 28289 215015 854565 | 2147483647 132237 38 | 1.617 % |
65.82/65.82 c | 132590 | 28289 215015 854565 | 2147483647 132337 38 | 1.617 % |
65.92/65.96 c | 132703 | 28289 215015 854565 | 2147483647 132450 38 | 1.617 % |
65.92/66.00 c | 132825 | 28289 215015 854565 | 2147483647 132572 38 | 1.617 % |
66.03/66.11 c | 132960 | 28289 215015 854565 | 2147483647 132707 38 | 1.617 % |
66.22/66.30 c | 133106 | 28289 215015 854565 | 2147483647 132853 38 | 1.617 % |
66.32/66.41 c | 133267 | 28289 215015 854565 | 2147483647 133014 38 | 1.617 % |
66.52/66.57 c | 133446 | 28289 215015 854565 | 2147483647 133193 38 | 1.617 % |
66.62/66.69 c | 133639 | 28288 215015 854565 | 2147483647 133385 38 | 1.628 % |
66.92/66.92 c | 133852 | 28288 215015 854565 | 2147483647 133598 38 | 1.628 % |
67.32/67.40 c | 134085 | 28288 215015 854565 | 2147483647 133831 38 | 1.628 % |
67.52/67.53 c | 134341 | 28288 215015 854565 | 2147483647 134087 38 | 1.628 % |
68.02/68.06 c | 134624 | 28288 215015 854565 | 2147483647 134370 38 | 1.628 % |
68.32/68.34 c | 134934 | 28288 215015 854565 | 2147483647 134680 38 | 1.628 % |
68.62/68.63 c | 135274 | 28286 214989 854491 | 2147483647 135020 38 | 1.628 % |
68.82/68.89 c | 135646 | 28286 214989 854491 | 2147483647 135392 38 | 1.628 % |
69.22/69.24 c | 136055 | 28286 214989 854491 | 2147483647 135801 38 | 1.628 % |
69.72/69.78 c | 136504 | 28286 214989 854491 | 2147483647 136250 38 | 1.628 % |
70.22/70.22 c | 136997 | 28286 214989 854491 | 2147483647 136743 38 | 1.628 % |
70.43/70.51 c | 137541 | 28286 214989 854491 | 2147483647 137287 38 | 1.628 % |
71.02/71.03 c | 138140 | 28286 214989 854491 | 2147483647 137886 38 | 1.628 % |
71.53/71.61 c | 138796 | 28286 214989 854491 | 2147483647 138542 38 | 1.628 % |
72.22/72.25 c | 139516 | 28286 214989 854491 | 2147483647 139262 38 | 1.628 % |
72.32/72.39 c | 140309 | 28286 214989 854491 | 2147483647 140055 38 | 1.628 % |
73.12/73.16 c | 141180 | 28286 214989 854491 | 2147483647 140926 38 | 1.628 % |
73.73/73.76 c | 142141 | 28286 214989 854491 | 2147483647 141887 38 | 1.628 % |
74.42/74.42 c | 143195 | 28286 214989 854491 | 2147483647 142941 38 | 1.628 % |
74.92/75.01 c | 144354 | 28286 214989 854491 | 2147483647 144100 38 | 1.628 % |
76.32/76.33 c | 145628 | 28286 214989 854491 | 2147483647 145374 38 | 1.628 % |
77.42/77.47 c | 147029 | 28286 214989 854491 | 2147483647 146775 38 | 1.628 % |
78.62/78.65 c | 148571 | 28286 214989 854491 | 2147483647 148317 39 | 1.628 % |
78.72/78.77 c | 148673 | 28286 214989 854491 | 2147483647 148419 39 | 1.628 % |
78.82/78.90 c | 148785 | 28286 214989 854491 | 2147483647 148531 39 | 1.628 % |
79.02/79.04 c | 148906 | 28286 214989 854491 | 2147483647 148652 39 | 1.628 % |
79.23/79.23 c | 149040 | 28286 214989 854491 | 2147483647 148786 39 | 1.628 % |
79.32/79.39 c | 149186 | 28286 214989 854491 | 2147483647 148932 39 | 1.628 % |
79.52/79.59 c | 149346 | 28286 214989 854491 | 2147483647 149092 39 | 1.628 % |
79.72/79.81 c | 149522 | 28286 214989 854491 | 2147483647 149268 39 | 1.628 % |
79.82/79.91 c | 149716 | 28286 214989 854491 | 2147483647 149462 39 | 1.628 % |
80.22/80.24 c | 149928 | 28286 214989 854491 | 2147483647 149674 39 | 1.628 % |
80.42/80.43 c | 150165 | 28286 214989 854491 | 2147483647 149911 39 | 1.628 % |
80.62/80.63 c | 150421 | 28286 214989 854491 | 2147483647 150167 39 | 1.628 % |
80.82/80.87 c | 150702 | 28286 214989 854491 | 2147483647 150448 39 | 1.628 % |
81.12/81.19 c | 151011 | 28286 214989 854491 | 2147483647 150757 39 | 1.628 % |
81.52/81.58 c | 151350 | 28285 214989 854491 | 2147483647 151095 39 | 1.631 % |
81.82/81.91 c | 151722 | 28285 214989 854491 | 2147483647 151467 39 | 1.631 % |
82.22/82.28 c | 152131 | 28285 214989 854491 | 2147483647 151876 39 | 1.631 % |
82.72/82.80 c | 152582 | 28285 214989 854491 | 2147483647 152327 39 | 1.631 % |
83.22/83.25 c | 153076 | 28285 214989 854491 | 2147483647 152821 39 | 1.631 % |
83.52/83.55 c | 153619 | 28285 214989 854491 | 2147483647 153364 39 | 1.631 % |
83.92/83.99 c | 154218 | 28285 214989 854491 | 2147483647 153963 38 | 1.631 % |
84.62/84.62 c | 154874 | 28285 214989 854491 | 2147483647 154619 38 | 1.631 % |
85.02/85.09 c | 155598 | 28285 214894 854065 | 2147483647 155341 38 | 1.631 % |
85.72/85.74 c | 156390 | 28285 214894 854065 | 2147483647 156133 38 | 1.631 % |
86.22/86.29 c | 157262 | 28285 214894 854065 | 2147483647 157005 38 | 1.631 % |
87.32/87.38 c | 158221 | 28285 214894 854065 | 2147483647 157964 38 | 1.631 % |
88.32/88.37 c | 159274 | 28285 214894 854065 | 2147483647 159017 38 | 1.631 % |
88.82/88.84 c | 160432 | 28285 214894 854065 | 2147483647 160175 38 | 1.631 % |
89.82/89.89 c | 161705 | 28285 214894 854065 | 2147483647 161448 39 | 1.631 % |
91.81/91.86 c | 163106 | 28285 214894 854065 | 2147483647 162849 39 | 1.631 % |
93.31/93.36 c | 164647 | 28285 214894 854065 | 2147483647 164390 39 | 1.631 % |
94.91/94.96 c | 166344 | 28285 214894 854065 | 2147483647 166087 39 | 1.631 % |
95.01/95.08 c | 166446 | 28285 214894 854065 | 2147483647 166189 39 | 1.631 % |
95.11/95.17 c | 166556 | 28285 214894 854065 | 2147483647 166299 39 | 1.631 % |
95.11/95.20 c | 166677 | 28285 214894 854065 | 2147483647 166420 39 | 1.631 % |
95.31/95.32 c | 166810 | 28285 214894 854065 | 2147483647 166553 39 | 1.631 % |
95.41/95.50 c | 166958 | 28285 214894 854065 | 2147483647 166701 39 | 1.631 % |
95.61/95.69 c | 167119 | 28285 214894 854065 | 2147483647 166862 39 | 1.631 % |
95.91/95.98 c | 167296 | 28285 214894 854065 | 2147483647 167039 39 | 1.631 % |
96.11/96.16 c | 167489 | 28285 214894 854065 | 2147483647 167232 39 | 1.631 % |
96.31/96.35 c | 167702 | 28285 214894 854065 | 2147483647 167445 39 | 1.631 % |
96.51/96.57 c | 167935 | 28285 214894 854065 | 2147483647 167678 39 | 1.631 % |
96.71/96.81 c | 168191 | 28285 214894 854065 | 2147483647 167934 39 | 1.631 % |
97.01/97.07 c | 168472 | 28285 214894 854065 | 2147483647 168215 39 | 1.631 % |
97.31/97.31 c | 168781 | 28285 214894 854065 | 2147483647 168524 39 | 1.631 % |
97.61/97.62 c | 169122 | 28285 214894 854065 | 2147483647 168865 39 | 1.631 % |
98.01/98.09 c | 169494 | 28285 214894 854065 | 2147483647 169237 39 | 1.631 % |
98.11/98.15 c | 169906 | 28285 214894 854065 | 2147483647 169649 39 | 1.631 % |
98.81/98.89 c | 170355 | 28285 214894 854065 | 2147483647 170098 39 | 1.631 % |
99.11/99.19 c | 170848 | 28285 214894 854065 | 2147483647 170591 39 | 1.631 % |
99.71/99.79 c | 171391 | 28285 214894 854065 | 2147483647 171134 39 | 1.631 % |
100.12/100.18 c | 171991 | 28285 214894 854065 | 2147483647 171734 39 | 1.631 % |
100.91/101.00 c | 172646 | 28285 214894 854065 | 2147483647 172389 38 | 1.631 % |
101.61/101.63 c | 173370 | 28285 214894 854065 | 2147483647 173113 38 | 1.631 % |
103.11/103.17 c | 174162 | 28285 214894 854065 | 2147483647 173905 39 | 1.631 % |
104.21/104.30 c | 175034 | 28285 214894 854065 | 2147483647 174777 39 | 1.631 % |
104.91/104.98 c | 175994 | 28285 214894 854065 | 2147483647 175737 39 | 1.631 % |
106.11/106.20 c | 177048 | 28284 214894 854065 | 2147483647 176790 38 | 1.635 % |
107.82/107.90 c | 178207 | 28284 214888 854045 | 2147483647 177949 38 | 1.635 % |
108.92/108.92 c | 179480 | 28284 214888 854045 | 2147483647 179222 38 | 1.635 % |
109.71/109.71 c | 180882 | 28284 214888 854045 | 2147483647 180624 38 | 1.635 % |
111.21/111.30 c | 182422 | 28284 214888 854045 | 2147483647 182164 38 | 1.635 % |
113.61/113.67 c | 184116 | 28284 214888 854045 | 2147483647 183858 38 | 1.635 % |
115.22/115.22 c | 185980 | 28284 214888 854045 | 2147483647 185722 38 | 1.635 % |
115.32/115.40 c | 186080 | 28284 214888 854045 | 2147483647 185822 38 | 1.635 % |
115.52/115.54 c | 186190 | 28284 214888 854045 | 2147483647 185932 38 | 1.635 % |
115.62/115.70 c | 186314 | 28284 214888 854045 | 2147483647 186056 38 | 1.635 % |
115.82/115.86 c | 186450 | 28283 214888 854045 | 2147483647 186191 38 | 1.638 % |
116.02/116.09 c | 186599 | 28283 214888 854045 | 2147483647 186340 38 | 1.638 % |
116.32/116.35 c | 186759 | 28283 214888 854045 | 2147483647 186500 38 | 1.638 % |
116.42/116.45 c | 186935 | 28283 214888 854045 | 2147483647 186676 38 | 1.638 % |
116.72/116.77 c | 187129 | 28283 214888 854045 | 2147483647 186870 38 | 1.638 % |
117.02/117.06 c | 187341 | 28283 214888 854045 | 2147483647 187082 38 | 1.638 % |
117.32/117.36 c | 187576 | 28283 214888 854045 | 2147483647 187317 38 | 1.638 % |
117.72/117.76 c | 187832 | 28283 214888 854045 | 2147483647 187573 38 | 1.638 % |
118.02/118.09 c | 188113 | 28283 214888 854045 | 2147483647 187854 38 | 1.638 % |
118.72/118.72 c | 188422 | 28283 214888 854045 | 2147483647 188163 38 | 1.638 % |
118.92/118.98 c | 188761 | 28283 214888 854045 | 2147483647 188502 38 | 1.638 % |
119.82/119.83 c | 189133 | 28283 214888 854045 | 2147483647 188874 38 | 1.638 % |
120.22/120.27 c | 189544 | 28283 214888 854045 | 2147483647 189285 38 | 1.638 % |
120.72/120.73 c | 189994 | 28283 214888 854045 | 2147483647 189735 38 | 1.638 % |
121.52/121.59 c | 190488 | 28283 214888 854045 | 2147483647 190229 38 | 1.638 % |
121.92/121.91 c | 191035 | 28283 214888 854045 | 2147483647 190776 38 | 1.638 % |
122.82/122.81 c | 191632 | 28283 214888 854045 | 2147483647 191373 38 | 1.638 % |
123.82/123.82 c | 192287 | 28282 214888 854045 | 2147483647 192027 38 | 1.655 % |
124.52/124.53 c | 193007 | 28282 214888 854045 | 2147483647 192747 38 | 1.655 % |
124.92/124.93 c | 193799 | 28282 214888 854045 | 2147483647 193539 38 | 1.655 % |
125.82/125.85 c | 194678 | 28282 214888 854045 | 2147483647 194418 38 | 1.655 % |
126.52/126.56 c | 195636 | 28282 214888 854045 | 2147483647 195376 39 | 1.655 % |
127.32/127.40 c | 196691 | 28282 214888 854045 | 2147483647 196431 39 | 1.655 % |
128.82/128.89 c | 197850 | 28282 214888 854045 | 2147483647 197590 39 | 1.655 % |
130.02/130.10 c | 199127 | 28282 214888 854045 | 2147483647 198867 39 | 1.655 % |
130.92/130.98 c | 200528 | 28282 214888 854045 | 2147483647 200268 39 | 1.655 % |
132.82/132.82 c | 202070 | 28282 214888 854045 | 2147483647 201810 39 | 1.655 % |
134.32/134.38 c | 203765 | 28282 214888 854045 | 2147483647 203505 39 | 1.655 % |
135.92/135.95 c | 205628 | 28278 214825 853824 | 2147483647 205368 39 | 1.655 % |
137.52/137.61 c | 207677 | 28278 214825 853824 | 2147483647 207417 39 | 1.655 % |
137.82/137.85 c | 207777 | 28278 214825 853824 | 2147483647 207517 39 | 1.655 % |
137.92/138.00 c | 207887 | 28278 214825 853824 | 2147483647 207627 39 | 1.655 % |
138.12/138.21 c | 208010 | 28278 214825 853824 | 2147483647 207750 39 | 1.655 % |
138.32/138.39 c | 208144 | 28278 214825 853824 | 2147483647 207884 39 | 1.655 % |
138.52/138.53 c | 208290 | 28278 214825 853824 | 2147483647 208030 39 | 1.655 % |
138.72/138.79 c | 208451 | 28278 214825 853824 | 2147483647 208191 39 | 1.655 % |
138.82/138.85 c | 208627 | 28278 214825 853824 | 2147483647 208367 39 | 1.655 % |
139.12/139.12 c | 208822 | 28278 214825 853824 | 2147483647 208562 39 | 1.655 % |
139.32/139.38 c | 209037 | 28278 214825 853824 | 2147483647 208777 39 | 1.655 % |
139.82/139.91 c | 209270 | 28278 214825 853824 | 2147483647 209010 39 | 1.655 % |
140.22/140.27 c | 209528 | 28278 214825 853824 | 2147483647 209268 39 | 1.655 % |
140.62/140.70 c | 209810 | 28278 214825 853824 | 2147483647 209550 39 | 1.655 % |
141.32/141.32 c | 210119 | 28278 214825 853824 | 209740 209859 39 | 1.655 % |
141.42/141.46 c | 210458 | 28278 214825 853824 | 209740 210198 39 | 1.655 % |
141.92/141.93 c | 210830 | 28278 214825 853824 | 209740 210570 39 | 1.655 % |
142.62/142.65 c | 211239 | 28278 214825 853824 | 209740 187249 37 | 1.655 % |
142.92/142.96 c | 211689 | 28278 214825 853824 | 209740 187699 37 | 1.655 % |
143.42/143.41 c | 212182 | 28278 214825 853824 | 209740 188192 37 | 1.655 % |
144.12/144.12 c | 212725 | 28278 214825 853824 | 209740 188735 37 | 1.655 % |
145.02/145.05 c | 213321 | 28278 214825 853824 | 209740 189331 37 | 1.655 % |
145.72/145.75 c | 213977 | 28278 214825 853824 | 209740 189987 37 | 1.655 % |
146.72/146.79 c | 214698 | 28278 214825 853824 | 209740 190708 37 | 1.655 % |
147.32/147.34 c | 215491 | 28278 214825 853824 | 209740 191501 37 | 1.655 % |
148.22/148.23 c | 216362 | 28278 214825 853824 | 209740 192372 38 | 1.655 % |
149.42/149.47 c | 217320 | 28278 214825 853824 | 209740 193330 38 | 1.655 % |
150.22/150.21 c | 218373 | 28278 214825 853824 | 209740 194383 38 | 1.655 % |
151.02/151.03 c | 219531 | 28278 214825 853824 | 209740 195541 38 | 1.656 % |
153.42/153.45 c | 220804 | 28278 214825 853824 | 2147483647 196814 38 | 1.655 % |
154.72/154.78 c | 222204 | 28278 214825 853824 | 2147483647 198214 38 | 1.655 % |
155.92/156.01 c | 223744 | 28278 214825 853824 | 2147483647 199754 38 | 1.655 % |
157.42/157.47 c | 225442 | 28278 214825 853824 | 2147483647 201452 38 | 1.655 % |
159.82/159.86 c | 227308 | 28278 214825 853824 | 2147483647 203318 38 | 1.655 % |
162.92/162.96 c | 229357 | 28278 214825 853824 | 2147483647 205367 38 | 1.655 % |
164.52/164.58 c | 231611 | 28278 214825 853824 | 2147483647 207621 38 | 1.655 % |
164.72/164.80 c | 231714 | 28278 214825 853824 | 2147483647 207724 38 | 1.655 % |
164.92/164.93 c | 231824 | 28278 214825 853824 | 2147483647 207834 38 | 1.655 % |
165.02/165.06 c | 231946 | 28278 214825 853824 | 2147483647 207956 38 | 1.655 % |
165.22/165.30 c | 232079 | 28278 214825 853824 | 2147483647 208089 38 | 1.655 % |
165.42/165.44 c | 232225 | 28278 214825 853824 | 2147483647 208235 38 | 1.655 % |
165.52/165.55 c | 232385 | 28278 214825 853824 | 2147483647 208395 38 | 1.655 % |
165.52/165.60 c | 232561 | 28278 214825 853824 | 2147483647 208571 38 | 1.655 % |
165.82/165.86 c | 232755 | 28278 214825 853824 | 2147483647 208765 38 | 1.655 % |
166.12/166.17 c | 232967 | 28278 214825 853824 | 2147483647 208977 38 | 1.655 % |
166.62/166.66 c | 233202 | 28278 214825 853824 | 2147483647 209212 38 | 1.655 % |
167.12/167.19 c | 233458 | 28278 214825 853824 | 2147483647 209468 38 | 1.655 % |
167.72/167.72 c | 233743 | 28278 214825 853824 | 2147483647 209753 38 | 1.656 % |
167.82/167.88 c | 234054 | 28278 214825 853824 | 2147483647 210064 38 | 1.655 % |
168.22/168.27 c | 234395 | 28278 214825 853824 | 2147483647 210405 38 | 1.655 % |
168.62/168.62 c | 234767 | 28278 214825 853824 | 2147483647 210777 38 | 1.655 % |
169.02/169.03 c | 235176 | 28278 214825 853824 | 2147483647 211186 38 | 1.655 % |
169.62/169.65 c | 235625 | 28278 214825 853824 | 2147483647 211635 38 | 1.655 % |
170.62/170.62 c | 236119 | 28278 214825 853824 | 2147483647 212129 38 | 1.655 % |
171.02/171.10 c | 236665 | 28278 214825 853824 | 2147483647 212675 38 | 1.655 % |
171.92/171.94 c | 237261 | 28278 214825 853824 | 2147483647 213271 38 | 1.655 % |
172.72/172.73 c | 237916 | 28278 214825 853824 | 2147483647 213926 38 | 1.655 % |
173.32/173.37 c | 238637 | 28278 214825 853824 | 2147483647 214647 38 | 1.655 % |
174.12/174.17 c | 239429 | 28278 214825 853824 | 2147483647 215439 38 | 1.655 % |
174.82/174.87 c | 240301 | 28278 214825 853824 | 2147483647 216311 38 | 1.655 % |
175.92/175.92 c | 241260 | 28278 214825 853824 | 2147483647 217270 38 | 1.655 % |
177.42/177.50 c | 242313 | 28278 214825 853824 | 2147483647 218323 38 | 1.655 % |
178.72/178.75 c | 243473 | 28278 214825 853824 | 2147483647 219483 38 | 1.655 % |
180.82/180.84 c | 244747 | 28278 214825 853824 | 2147483647 220757 38 | 1.655 % |
182.02/182.07 c | 246149 | 28278 214825 853824 | 2147483647 222159 38 | 1.655 % |
183.22/183.21 c | 247690 | 28278 214825 853824 | 2147483647 223700 38 | 1.655 % |
184.32/184.33 c | 249384 | 28278 214825 853824 | 2147483647 225394 38 | 1.655 % |
185.62/185.63 c | 251248 | 28278 214825 853824 | 226010 227258 38 | 1.655 % |
188.32/188.40 c | 253298 | 28214 213285 848536 | 226010 206580 38 | 1.878 % |
191.72/191.81 c | 255551 | 28214 213285 848536 | 226010 208833 38 | 1.878 % |
193.52/193.54 c | 258029 | 28214 213285 848536 | 226010 211311 38 | 1.878 % |
193.72/193.71 c | 258129 | 28214 213285 848536 | 226010 211411 38 | 1.878 % |
194.02/194.01 c | 258242 | 28214 213285 848536 | 226010 211523 38 | 1.899 % |
194.12/194.19 c | 258363 | 28212 213285 848536 | 226010 211644 38 | 1.899 % |
194.52/194.54 c | 258498 | 28212 213285 848536 | 226010 211779 38 | 1.899 % |
194.73/194.80 c | 258645 | 28212 213285 848536 | 226010 211926 38 | 1.899 % |
194.92/194.97 c | 258805 | 28212 213285 848536 | 226010 212086 38 | 1.899 % |
195.32/195.36 c | 258981 | 28212 213285 848536 | 226010 212262 38 | 1.899 % |
195.52/195.52 c | 259174 | 28212 213285 848536 | 226010 212455 38 | 1.899 % |
195.62/195.69 c | 259386 | 28212 213285 848536 | 226010 212667 38 | 1.899 % |
196.12/196.12 c | 259621 | 28212 213285 848536 | 226010 212902 38 | 1.899 % |
196.42/196.45 c | 259880 | 28212 213285 848536 | 226010 213161 38 | 1.899 % |
196.72/196.77 c | 260164 | 28212 213285 848536 | 2147483647 213445 38 | 1.899 % |
197.22/197.22 c | 260474 | 28212 213285 848536 | 2147483647 213755 38 | 1.899 % |
197.62/197.62 c | 260815 | 28212 213285 848536 | 2147483647 214096 38 | 1.899 % |
198.32/198.32 c | 261187 | 28212 213285 848536 | 2147483647 214468 38 | 1.899 % |
198.82/198.82 c | 261596 | 28212 213285 848536 | 2147483647 214877 38 | 1.899 % |
199.52/199.54 c | 262045 | 28212 213285 848536 | 2147483647 215326 38 | 1.899 % |
200.12/200.11 c | 262541 | 28212 213285 848536 | 2147483647 215822 38 | 1.899 % |
200.62/200.64 c | 263084 | 28212 213285 848536 | 2147483647 216365 38 | 1.899 % |
201.12/201.16 c | 263680 | 28212 213285 848536 | 2147483647 216961 38 | 1.899 % |
202.12/202.11 c | 264336 | 28212 213285 848536 | 2147483647 217617 39 | 1.899 % |
202.52/202.54 c | 265058 | 28212 213285 848536 | 2147483647 218339 39 | 1.899 % |
203.53/203.52 c | 265856 | 28212 213285 848536 | 2147483647 219137 39 | 1.899 % |
204.22/204.24 c | 266729 | 28212 213285 848536 | 2147483647 220010 39 | 1.899 % |
204.92/204.95 c | 267687 | 28212 213285 848536 | 2147483647 220968 39 | 1.899 % |
206.22/206.30 c | 268743 | 28212 213285 848536 | 2147483647 222024 39 | 1.899 % |
207.32/207.34 c | 269901 | 28212 213285 848536 | 2147483647 223182 39 | 1.899 % |
208.92/208.94 c | 271175 | 28212 213285 848536 | 223281 224456 39 | 1.899 % |
210.82/210.86 c | 272579 | 28212 213285 848536 | 223281 195040 38 | 1.899 % |
212.82/212.81 c | 274119 | 28212 213285 848536 | 223281 196580 38 | 1.899 % |
214.82/214.86 c | 275813 | 28212 213285 848536 | 223281 198274 38 | 1.899 % |
216.62/216.61 c | 277676 | 28212 213285 848536 | 223281 200137 38 | 1.899 % |
218.82/218.82 c | 279725 | 28212 213285 848536 | 223281 202186 38 | 1.899 % |
221.32/221.33 c | 281979 | 28208 213246 848417 | 2147483647 204440 38 | 1.899 % |
223.72/223.72 c | 284458 | 28208 213246 848417 | 2147483647 206919 38 | 1.899 % |
226.12/226.19 c | 287183 | 28208 213246 848417 | 2147483647 209644 38 | 1.899 % |
226.32/226.39 c | 287283 | 28208 213246 848417 | 2147483647 209744 38 | 1.899 % |
226.42/226.50 c | 287393 | 28208 213246 848417 | 2147483647 209854 38 | 1.899 % |
226.72/226.71 c | 287514 | 28208 213246 848417 | 2147483647 209975 38 | 1.899 % |
226.82/226.86 c | 287647 | 28208 213246 848417 | 2147483647 210108 38 | 1.899 % |
227.22/227.23 c | 287793 | 28208 213246 848417 | 2147483647 210254 38 | 1.899 % |
227.52/227.53 c | 287953 | 28208 213246 848417 | 2147483647 210414 38 | 1.899 % |
227.82/227.83 c | 288129 | 28208 213246 848417 | 2147483647 210590 38 | 1.899 % |
228.02/228.07 c | 288322 | 28208 213246 848417 | 2147483647 210783 38 | 1.899 % |
228.42/228.42 c | 288534 | 28208 213246 848417 | 2147483647 210995 38 | 1.899 % |
228.72/228.81 c | 288767 | 28208 213246 848417 | 2147483647 211228 38 | 1.899 % |
229.12/229.18 c | 289032 | 28208 213246 848417 | 2147483647 211493 38 | 1.899 % |
229.52/229.59 c | 289314 | 28208 213246 848417 | 2147483647 211775 38 | 1.899 % |
230.02/230.02 c | 289624 | 28208 213246 848417 | 2147483647 212085 38 | 1.899 % |
230.42/230.47 c | 289963 | 28208 213246 848417 | 2147483647 212424 38 | 1.899 % |
230.82/230.87 c | 290336 | 28208 213246 848417 | 2147483647 212797 38 | 1.899 % |
231.52/231.57 c | 290745 | 28208 213246 848417 | 2147483647 213206 38 | 1.899 % |
231.92/231.92 c | 291199 | 28208 213246 848417 | 2147483647 213660 38 | 1.899 % |
232.52/232.53 c | 291692 | 28208 213246 848417 | 2147483647 214153 38 | 1.899 % |
233.12/233.19 c | 292234 | 28208 213246 848417 | 2147483647 214695 38 | 1.899 % |
233.72/233.77 c | 292830 | 28208 213246 848417 | 2147483647 215291 38 | 1.899 % |
234.52/234.51 c | 293485 | 28208 213246 848417 | 2147483647 215946 38 | 1.899 % |
235.02/235.10 c | 294205 | 28208 213246 848417 | 2147483647 216666 38 | 1.899 % |
236.22/236.25 c | 294998 | 28208 213246 848417 | 2147483647 217459 39 | 1.899 % |
237.22/237.29 c | 295870 | 28208 213246 848417 | 2147483647 218331 39 | 1.899 % |
238.52/238.53 c | 296829 | 28208 213246 848417 | 2147483647 219290 39 | 1.899 % |
239.52/239.56 c | 297883 | 28208 213246 848417 | 2147483647 220344 39 | 1.899 % |
240.93/240.99 c | 299041 | 28208 213246 848417 | 2147483647 221502 39 | 1.899 % |
243.22/243.27 c | 300320 | 28208 213246 848417 | 2147483647 222781 39 | 1.899 % |
244.92/244.94 c | 301722 | 28208 213246 848417 | 2147483647 224183 39 | 1.899 % |
246.53/246.58 c | 303262 | 28208 213246 848417 | 2147483647 225723 39 | 1.899 % |
248.33/248.41 c | 304958 | 28208 213246 848417 | 2147483647 227419 39 | 1.899 % |
251.03/251.10 c | 306821 | 28208 213246 848417 | 2147483647 229282 39 | 1.899 % |
253.23/253.22 c | 308870 | 28208 213246 848417 | 2147483647 231331 39 | 1.899 % |
256.83/256.89 c | 311124 | 28208 213246 848417 | 232462 233585 39 | 1.899 % |
259.93/259.98 c | 313604 | 28208 213246 848417 | 232462 198204 39 | 1.899 % |
263.33/263.39 c | 316329 | 28208 213246 848417 | 232462 200929 39 | 1.899 % |
266.63/266.64 c | 319326 | 28208 213246 848417 | 232462 203926 40 | 1.899 % |
266.73/266.78 c | 319427 | 28208 213246 848417 | 232462 204027 40 | 1.899 % |
266.83/266.87 c | 319538 | 28208 213246 848417 | 232462 204138 40 | 1.899 % |
267.03/267.10 c | 319659 | 28208 213246 848417 | 232462 204259 40 | 1.899 % |
267.23/267.25 c | 319793 | 28208 213246 848417 | 232462 204393 40 | 1.899 % |
267.43/267.50 c | 319939 | 28208 213246 848417 | 232462 204539 40 | 1.899 % |
267.83/267.81 c | 320100 | 28208 213246 848417 | 204601 204700 40 | 1.899 % |
268.03/268.08 c | 320276 | 28208 213246 848417 | 204601 204876 40 | 1.899 % |
268.33/268.32 c | 320469 | 28208 213246 848417 | 204601 205069 40 | 1.899 % |
268.63/268.61 c | 320682 | 28208 213246 848417 | 204601 205282 40 | 1.899 % |
269.43/269.42 c | 320915 | 28208 213246 848417 | 204601 165177 39 | 1.899 % |
269.73/269.75 c | 321171 | 28208 213246 848417 | 204601 165433 39 | 1.899 % |
270.23/270.25 c | 321457 | 28208 213246 848417 | 204601 165719 39 | 1.899 % |
270.53/270.61 c | 321766 | 28208 213246 848417 | 204601 166028 39 | 1.899 % |
271.03/271.05 c | 322107 | 28208 213246 848417 | 204601 166369 39 | 1.899 % |
271.43/271.44 c | 322485 | 28208 213246 848417 | 204601 166747 39 | 1.899 % |
272.03/272.03 c | 322894 | 28208 213246 848417 | 204601 167156 39 | 1.899 % |
272.63/272.69 c | 323344 | 28208 213246 848417 | 204601 167606 39 | 1.899 % |
273.23/273.31 c | 323837 | 28208 213246 848417 | 204601 168099 39 | 1.899 % |
273.83/273.88 c | 324379 | 28208 213246 848417 | 204601 168641 39 | 1.899 % |
274.63/274.62 c | 324975 | 28208 213246 848417 | 204601 169237 39 | 1.899 % |
275.43/275.49 c | 325633 | 28208 213246 848417 | 204601 169895 39 | 1.899 % |
276.13/276.15 c | 326354 | 28208 213246 848417 | 204601 170616 39 | 1.899 % |
276.53/276.53 c | 327148 | 28208 213246 848417 | 204601 171410 39 | 1.899 % |
276.83/276.89 c | 328019 | 28208 213246 848417 | 204601 172281 39 | 1.899 % |
277.73/277.75 c | 328977 | 28208 213246 848417 | 204601 173239 39 | 1.899 % |
279.13/279.19 c | 330030 | 28208 213246 848417 | 2147483647 174292 39 | 1.899 % |
280.03/280.08 c | 331189 | 28208 213246 848417 | 2147483647 175451 39 | 1.899 % |
281.83/281.85 c | 332463 | 28208 213246 848417 | 2147483647 176725 39 | 1.899 % |
284.13/284.19 c | 333864 | 28208 213246 848417 | 2147483647 178126 39 | 1.899 % |
286.23/286.28 c | 335406 | 28208 213246 848417 | 2147483647 179668 39 | 1.899 % |
288.03/288.08 c | 337101 | 28208 213246 848417 | 2147483647 181363 39 | 1.899 % |
290.53/290.61 c | 338964 | 28208 213246 848417 | 2147483647 183226 39 | 1.899 % |
292.63/292.67 c | 341013 | 28208 213246 848417 | 2147483647 185275 40 | 1.899 % |
294.73/294.81 c | 343266 | 28208 213246 848417 | 2147483647 187528 40 | 1.899 % |
296.73/296.75 c | 345744 | 28208 213246 848417 | 2147483647 190006 40 | 1.899 % |
300.63/300.62 c | 348469 | 28208 213246 848417 | 2147483647 192731 40 | 1.899 % |
304.03/304.02 c | 351466 | 28208 213246 848417 | 194262 195728 41 | 1.899 % |
308.73/308.75 c | 354764 | 28208 213246 848417 | 194262 164931 41 | 1.899 % |
308.83/308.87 c | 354867 | 28208 213246 848417 | 194262 165034 41 | 1.899 % |
309.13/309.12 c | 354977 | 28208 213246 848417 | 194262 165144 41 | 1.899 % |
309.23/309.23 c | 355098 | 28208 213246 848417 | 194262 165265 41 | 1.899 % |
309.33/309.36 c | 355233 | 28208 213246 848417 | 194262 165400 41 | 1.899 % |
309.53/309.60 c | 355381 | 28208 213246 848417 | 194262 165548 41 | 1.899 % |
309.73/309.77 c | 355543 | 28208 213246 848417 | 194262 165710 41 | 1.899 % |
310.03/310.08 c | 355720 | 28208 213246 848417 | 194262 165887 41 | 1.899 % |
310.33/310.39 c | 355915 | 28208 213246 848417 | 194262 166082 41 | 1.899 % |
310.73/310.73 c | 356128 | 28208 213246 848417 | 194262 166295 41 | 1.899 % |
311.03/311.10 c | 356361 | 28208 213246 848417 | 194262 166528 41 | 1.899 % |
311.43/311.47 c | 356617 | 28208 213246 848417 | 194262 166784 41 | 1.899 % |
311.83/311.88 c | 356898 | 28208 213246 848417 | 194262 167065 41 | 1.899 % |
312.13/312.18 c | 357207 | 28208 213246 848417 | 194262 167374 41 | 1.899 % |
312.73/312.78 c | 357547 | 28208 213246 848417 | 194262 167714 41 | 1.899 % |
313.03/313.05 c | 357921 | 28208 213246 848417 | 194262 168088 41 | 1.899 % |
313.43/313.49 c | 358330 | 28208 213246 848417 | 194262 168497 41 | 1.899 % |
313.73/313.76 c | 358781 | 28208 213246 848417 | 194262 168948 41 | 1.899 % |
314.53/314.54 c | 359275 | 28208 213246 848417 | 194262 169442 41 | 1.899 % |
314.93/314.92 c | 359817 | 28208 213246 848417 | 194262 169984 41 | 1.899 % |
315.73/315.73 c | 360415 | 28208 213246 848417 | 170168 170582 41 | 1.899 % |
316.33/316.40 c | 361073 | 28208 213246 848417 | 170168 171240 41 | 1.899 % |
317.43/317.50 c | 361793 | 28208 213246 848417 | 170168 154836 40 | 1.899 % |
317.93/317.98 c | 362586 | 28208 213246 848417 | 170168 155629 40 | 1.899 % |
319.63/319.64 c | 363458 | 28208 213246 848417 | 170168 156501 40 | 1.899 % |
320.73/320.72 c | 364416 | 28208 213246 848417 | 170168 157459 40 | 1.899 % |
322.63/322.68 c | 365469 | 28208 213246 848417 | 170168 158512 40 | 1.899 % |
323.93/323.91 c | 366627 | 28208 213246 848417 | 170168 159670 40 | 1.899 % |
324.63/324.65 c | 367901 | 28208 213246 848417 | 170168 160944 40 | 1.899 % |
326.23/326.26 c | 369301 | 28208 213246 848417 | 170168 162344 40 | 1.899 % |
327.84/327.84 c | 370841 | 28208 213246 848417 | 2147483647 163884 40 | 1.899 % |
331.33/331.35 c | 372536 | 28208 213246 848417 | 2147483647 165579 40 | 1.899 % |
332.53/332.58 c | 374405 | 28208 213246 848417 | 2147483647 167448 40 | 1.899 % |
334.63/334.61 c | 376454 | 28208 213246 848417 | 2147483647 169497 40 | 1.899 % |
338.53/338.56 c | 378707 | 28208 213246 848417 | 2147483647 171750 40 | 1.899 % |
342.63/342.62 c | 381186 | 28208 213246 848417 | 2147483647 174229 40 | 1.899 % |
344.93/344.93 c | 383911 | 28208 213246 848417 | 2147483647 176954 40 | 1.899 % |
347.93/347.97 c | 386911 | 28208 213246 848417 | 2147483647 179954 41 | 1.899 % |
353.03/353.01 c | 390207 | 28208 213246 848417 | 2147483647 183250 41 | 1.899 % |
357.03/357.08 c | 393832 | 28208 213246 848417 | 2147483647 186875 41 | 1.899 % |
357.23/357.24 c | 393934 | 28208 213246 848417 | 2147483647 186977 41 | 1.899 % |
357.43/357.44 c | 394048 | 28208 213246 848417 | 2147483647 187091 41 | 1.899 % |
357.73/357.77 c | 394170 | 28208 213246 848417 | 2147483647 187213 41 | 1.899 % |
357.93/357.97 c | 394304 | 28208 213246 848417 | 2147483647 187347 41 | 1.899 % |
358.23/358.21 c | 394450 | 28208 213246 848417 | 2147483647 187493 41 | 1.899 % |
358.33/358.39 c | 394611 | 28208 213246 848417 | 2147483647 187654 41 | 1.899 % |
358.53/358.59 c | 394788 | 28208 213246 848417 | 2147483647 187831 41 | 1.899 % |
358.93/359.00 c | 394982 | 28207 213241 848401 | 2147483647 188024 41 | 1.902 % |
359.23/359.27 c | 395195 | 28207 213241 848401 | 2147483647 188237 41 | 1.902 % |
359.43/359.42 c | 395428 | 28207 213241 848401 | 2147483647 188470 41 | 1.902 % |
359.63/359.66 c | 395685 | 28207 213241 848401 | 2147483647 188727 41 | 1.902 % |
360.13/360.12 c | 395968 | 28207 213241 848401 | 2147483647 189010 41 | 1.902 % |
360.53/360.52 c | 396278 | 28207 213241 848401 | 2147483647 189320 41 | 1.902 % |
361.13/361.16 c | 396619 | 28207 213241 848401 | 2147483647 189661 41 | 1.902 % |
361.33/361.36 c | 396994 | 28207 213241 848401 | 2147483647 190036 41 | 1.902 % |
362.13/362.13 c | 397405 | 28207 213241 848401 | 2147483647 190447 41 | 1.902 % |
362.63/362.68 c | 397856 | 28207 213241 848401 | 2147483647 190898 41 | 1.902 % |
363.13/363.11 c | 398350 | 28207 213241 848401 | 2147483647 191392 41 | 1.902 % |
363.93/364.00 c | 398892 | 28207 213241 848401 | 2147483647 191934 41 | 1.902 % |
364.73/364.78 c | 399489 | 28207 213241 848401 | 2147483647 192531 41 | 1.902 % |
365.63/365.64 c | 400146 | 28207 213241 848401 | 2147483647 193188 41 | 1.902 % |
366.83/366.89 c | 400867 | 28207 213241 848401 | 2147483647 193909 41 | 1.902 % |
367.63/367.67 c | 401660 | 28207 213241 848401 | 2147483647 194702 41 | 1.902 % |
369.13/369.11 c | 402534 | 28207 213241 848401 | 2147483647 195576 41 | 1.902 % |
369.64/369.66 c | 403494 | 28207 213241 848401 | 2147483647 196536 41 | 1.902 % |
371.03/371.05 c | 404548 | 28207 213241 848401 | 2147483647 197590 41 | 1.902 % |
372.33/372.33 c | 405706 | 28207 213241 848401 | 2147483647 198748 41 | 1.902 % |
373.64/373.70 c | 406979 | 28207 213241 848401 | 2147483647 200021 41 | 1.902 % |
374.84/374.84 c | 408380 | 28207 213241 848401 | 2147483647 201422 41 | 1.902 % |
377.75/377.73 c | 409921 | 28207 213241 848401 | 2147483647 202963 41 | 1.902 % |
379.75/379.77 c | 411617 | 28207 213241 848401 | 203043 204659 42 | 1.902 % |
381.55/381.58 c | 413481 | 28207 213241 848401 | 203043 184469 40 | 1.902 % |
383.85/383.89 c | 415534 | 28207 213241 848401 | 203043 186522 41 | 1.902 % |
385.95/385.94 c | 417787 | 28203 213241 848401 | 203043 188774 41 | 1.989 % |
390.35/390.33 c | 420265 | 28203 213241 848401 | 190987 191252 41 | 1.989 % |
394.45/394.49 c | 422991 | 28182 212883 847079 | 190987 174721 40 | 1.989 % |
397.65/397.67 c | 425988 | 28182 212883 847079 | 190987 177718 40 | 1.989 % |
401.25/401.28 c | 429290 | 28182 212883 847079 | 190987 181020 40 | 1.989 % |
405.85/405.85 c | 432915 | 28182 212883 847079 | 181731 161585 39 | 1.989 % |
410.05/410.08 c | 436902 | 28182 212883 847079 | 181731 165572 40 | 1.989 % |
410.25/410.23 c | 437002 | 28182 212883 847079 | 181731 165672 40 | 1.989 % |
410.45/410.44 c | 437112 | 28182 212883 847079 | 181731 165782 40 | 1.989 % |
410.55/410.60 c | 437233 | 28182 212883 847079 | 181731 165903 40 | 1.989 % |
410.75/410.78 c | 437370 | 28182 212883 847079 | 181731 166040 40 | 1.989 % |
410.95/410.93 c | 437516 | 28182 212883 847079 | 181731 166186 40 | 1.989 % |
411.25/411.30 c | 437676 | 28182 212883 847079 | 181731 166346 40 | 1.989 % |
411.65/411.64 c | 437853 | 28177 212883 847079 | 181731 166522 40 | 2.549 % |
411.85/411.85 c | 438047 | 28177 212883 847079 | 181731 166716 40 | 2.549 % |
412.05/412.11 c | 438263 | 28177 212883 847079 | 181731 166932 40 | 2.549 % |
412.45/412.50 c | 438496 | 28177 212883 847079 | 181731 167165 40 | 2.549 % |
412.85/412.88 c | 438752 | 28177 212883 847079 | 181731 167421 40 | 2.549 % |
413.15/413.22 c | 439033 | 28177 212883 847079 | 181731 167702 40 | 2.549 % |
413.45/413.52 c | 439344 | 28177 212883 847079 | 181731 168013 40 | 2.549 % |
413.75/413.82 c | 439685 | 28177 212883 847079 | 181731 168354 40 | 2.549 % |
414.15/414.20 c | 440057 | 28177 212883 847079 | 168670 168726 40 | 2.549 % |
414.75/414.73 c | 440466 | 28177 212883 847079 | 168670 169135 40 | 2.549 % |
415.45/415.51 c | 440918 | 28177 212883 847079 | 168670 169587 40 | 2.549 % |
416.45/416.42 c | 441412 | 28177 212883 847079 | 168670 153123 39 | 2.549 % |
417.05/417.04 c | 441957 | 28177 212883 847079 | 168670 153668 39 | 2.549 % |
417.65/417.72 c | 442553 | 28177 212883 847079 | 168670 154264 39 | 2.549 % |
418.55/418.61 c | 443209 | 28177 212883 847079 | 168670 154920 39 | 2.549 % |
419.75/419.81 c | 443929 | 28021 209913 836345 | 168670 149401 39 | 2.549 % |
421.25/421.26 c | 444721 | 28021 209913 836345 | 168670 150193 39 | 2.549 % |
421.95/421.98 c | 445592 | 28021 209913 836345 | 168670 151064 39 | 2.549 % |
422.85/422.84 c | 446551 | 28021 209913 836345 | 168670 152023 39 | 2.549 % |
423.95/423.97 c | 447607 | 28021 209913 836345 | 168670 153079 39 | 2.549 % |
425.75/425.79 c | 448770 | 28021 209913 836345 | 168670 154242 39 | 2.549 % |
427.55/427.55 c | 450045 | 28021 209913 836345 | 2147483647 155517 39 | 2.549 % |
429.15/429.14 c | 451448 | 28021 209913 836345 | 2147483647 156920 39 | 2.549 % |
431.05/431.07 c | 452989 | 28021 209913 836345 | 2147483647 158461 40 | 2.549 % |
433.25/433.23 c | 454684 | 28021 209913 836345 | 2147483647 160156 40 | 2.549 % |
436.05/436.11 c | 456547 | 28021 209913 836345 | 2147483647 162019 40 | 2.549 % |
438.25/438.22 c | 458597 | 28021 209913 836345 | 2147483647 164069 40 | 2.549 % |
440.45/440.44 c | 460852 | 28021 209913 836345 | 2147483647 166324 40 | 2.549 % |
443.55/443.56 c | 463330 | 28021 209913 836345 | 2147483647 168802 40 | 2.549 % |
447.05/447.04 c | 466056 | 28021 209913 836345 | 2147483647 171528 40 | 2.549 % |
450.34/450.32 c | 469054 | 28021 209913 836345 | 2147483647 174526 41 | 2.549 % |
454.04/454.08 c | 472354 | 28021 209913 836345 | 175472 177826 41 | 2.549 % |
459.24/459.23 c | 475981 | 28021 209913 836345 | 175472 154512 40 | 2.549 % |
461.74/461.75 c | 479969 | 28021 209913 836345 | 175472 158500 40 | 2.549 % |
466.34/466.36 c | 484354 | 28020 209910 836339 | 158531 162884 40 | 2.553 % |
466.84/466.83 c | 484457 | 28020 209910 836339 | 158531 139662 40 | 2.553 % |
466.94/466.97 c | 484570 | 28020 209910 836339 | 158531 139775 40 | 2.553 % |
467.14/467.13 c | 484693 | 28020 209910 836339 | 158531 139898 40 | 2.553 % |
467.34/467.34 c | 484826 | 28020 209910 836339 | 158531 140031 40 | 2.553 % |
467.44/467.47 c | 484972 | 28020 209910 836339 | 158531 140177 40 | 2.553 % |
467.74/467.79 c | 485136 | 28020 209910 836339 | 158531 140341 40 | 2.553 % |
467.94/467.98 c | 485313 | 28020 209910 836339 | 158531 140518 40 | 2.553 % |
468.24/468.22 c | 485506 | 28020 209910 836339 | 158531 140711 40 | 2.553 % |
468.54/468.53 c | 485722 | 28020 209910 836339 | 158531 140927 40 | 2.553 % |
468.84/468.83 c | 485957 | 28020 209910 836339 | 158531 141162 40 | 2.553 % |
469.24/469.24 c | 486214 | 28020 209910 836339 | 158531 141419 40 | 2.553 % |
469.75/469.73 c | 486495 | 28020 209910 836339 | 158531 141700 40 | 2.553 % |
469.94/469.92 c | 486804 | 28020 209910 836339 | 158531 142009 40 | 2.553 % |
470.34/470.32 c | 487143 | 28020 209910 836339 | 158531 142348 40 | 2.553 % |
470.74/470.80 c | 487519 | 28020 209910 836339 | 158531 142724 40 | 2.553 % |
471.44/471.42 c | 487928 | 28020 209910 836339 | 158531 143133 40 | 2.553 % |
471.84/471.91 c | 488378 | 28020 209910 836339 | 158531 143583 40 | 2.553 % |
472.64/472.69 c | 488871 | 28020 209910 836339 | 158531 144076 40 | 2.553 % |
473.34/473.35 c | 489413 | 28020 209910 836339 | 158531 144618 40 | 2.553 % |
474.04/474.08 c | 490009 | 28020 209910 836339 | 2147483647 145214 40 | 2.553 % |
474.84/474.83 c | 490664 | 28020 209910 836339 | 2147483647 145869 40 | 2.553 % |
475.44/475.45 c | 491388 | 28020 209910 836339 | 2147483647 146593 40 | 2.553 % |
476.24/476.23 c | 492181 | 28020 209910 836339 | 2147483647 147386 40 | 2.553 % |
477.34/477.33 c | 493055 | 28020 209910 836339 | 2147483647 148260 40 | 2.553 % |
478.44/478.43 c | 494014 | 28019 209910 836339 | 2147483647 149218 40 | 2.556 % |
479.54/479.59 c | 495067 | 28019 209910 836339 | 2147483647 150271 41 | 2.556 % |
480.75/480.74 c | 496225 | 28019 209910 836339 | 2147483647 151429 41 | 2.556 % |
481.85/481.88 c | 497498 | 28019 209910 836339 | 2147483647 152702 41 | 2.556 % |
484.64/484.64 c | 498901 | 28019 209910 836339 | 2147483647 154105 41 | 2.556 % |
486.64/486.66 c | 500442 | 28019 209906 836329 | 2147483647 155646 41 | 2.556 % |
488.84/488.84 c | 502136 | 28019 209906 836329 | 2147483647 157340 41 | 2.556 % |
490.84/490.89 c | 503999 | 28019 209906 836329 | 2147483647 159203 41 | 2.556 % |
493.04/493.07 c | 506048 | 28019 209906 836329 | 2147483647 161252 41 | 2.556 % |
494.54/494.51 c | 508302 | 28019 209906 836329 | 2147483647 163506 41 | 2.556 % |
497.64/497.64 c | 510782 | 28019 209906 836329 | 2147483647 165986 41 | 2.556 % |
499.54/499.56 c | 513507 | 28019 209906 836329 | 2147483647 168711 42 | 2.556 % |
503.04/503.10 c | 516506 | 28019 209906 836329 | 2147483647 171710 41 | 2.556 % |
508.34/508.34 c | 519802 | 28019 209906 836329 | 2147483647 175006 41 | 2.556 % |
512.75/512.74 c | 523427 | 28018 209901 836316 | 2147483647 178630 41 | 2.560 % |
517.65/517.65 c | 527414 | 28018 209901 836316 | 2147483647 182617 41 | 2.560 % |
522.05/522.05 c | 531799 | 28018 209901 836316 | 2147483647 187002 42 | 2.560 % |
527.75/527.77 c | 536623 | 28018 209901 836316 | 2147483647 191826 42 | 2.560 % |
527.95/527.95 c | 536725 | 28018 209901 836316 | 2147483647 191928 42 | 2.560 % |
528.15/528.16 c | 536836 | 28018 209901 836316 | 2147483647 192039 42 | 2.560 % |
528.35/528.40 c | 536960 | 28018 209901 836316 | 2147483647 192163 42 | 2.560 % |
528.55/528.60 c | 537093 | 28018 209901 836316 | 2147483647 192296 42 | 2.560 % |
528.85/528.85 c | 537240 | 28018 209901 836316 | 2147483647 192443 42 | 2.560 % |
529.25/529.22 c | 537404 | 28018 209901 836316 | 2147483647 192607 42 | 2.560 % |
529.45/529.45 c | 537581 | 28018 209901 836316 | 2147483647 192784 42 | 2.560 % |
529.85/529.86 c | 537774 | 28018 209901 836316 | 2147483647 192977 42 | 2.560 % |
530.35/530.36 c | 537986 | 28018 209901 836316 | 2147483647 193189 42 | 2.560 % |
530.55/530.57 c | 538220 | 28018 209901 836316 | 2147483647 193423 42 | 2.560 % |
531.05/531.03 c | 538477 | 28018 209901 836316 | 2147483647 193680 42 | 2.560 % |
531.35/531.36 c | 538758 | 28018 209901 836316 | 2147483647 193961 42 | 2.560 % |
531.95/531.98 c | 539067 | 28018 209901 836316 | 2147483647 194270 42 | 2.560 % |
532.55/532.54 c | 539408 | 28018 209901 836316 | 2147483647 194611 42 | 2.560 % |
533.25/533.31 c | 539781 | 28018 209901 836316 | 2147483647 194984 42 | 2.560 % |
533.85/533.88 c | 540190 | 28018 209901 836316 | 195203 195393 42 | 2.560 % |
534.35/534.40 c | 540639 | 28018 209901 836316 | 195203 195842 42 | 2.560 % |
534.75/534.78 c | 541135 | 28018 209901 836316 | 195203 196338 42 | 2.560 % |
535.95/535.98 c | 541677 | 28018 209901 836316 | 195203 167286 41 | 2.560 % |
536.85/536.81 c | 542273 | 28018 209901 836316 | 195203 167882 41 | 2.560 % |
537.55/537.61 c | 542930 | 28018 209901 836316 | 195203 168539 41 | 2.560 % |
538.65/538.69 c | 543650 | 28018 209901 836316 | 195203 169259 41 | 2.560 % |
539.85/539.82 c | 544446 | 28018 209901 836316 | 195203 170055 41 | 2.560 % |
540.65/540.69 c | 545320 | 28018 209901 836316 | 195203 170929 41 | 2.560 % |
541.95/541.97 c | 546281 | 28018 209901 836316 | 195203 171890 41 | 2.560 % |
543.65/543.63 c | 547334 | 28018 209901 836316 | 195203 172943 41 | 2.560 % |
545.25/545.23 c | 548492 | 28018 209901 836316 | 195203 174101 41 | 2.560 % |
547.35/547.33 c | 549765 | 28018 209901 836316 | 195203 175374 41 | 2.560 % |
548.65/548.69 c | 551165 | 28018 209901 836316 | 2147483647 176774 41 | 2.560 % |
551.35/551.40 c | 552706 | 28018 209901 836316 | 2147483647 178315 41 | 2.560 % |
553.85/553.83 c | 554400 | 28018 209901 836316 | 2147483647 180009 41 | 2.560 % |
555.75/555.78 c | 556263 | 28018 209901 836316 | 2147483647 181872 41 | 2.560 % |
558.55/558.59 c | 558313 | 28018 209901 836316 | 2147483647 183922 41 | 2.560 % |
562.35/562.33 c | 560567 | 28018 209901 836316 | 185610 186176 41 | 2.560 % |
566.75/566.77 c | 563046 | 28018 209901 836316 | 185610 169773 41 | 2.560 % |
569.35/569.31 c | 565771 | 28018 209901 836316 | 185610 172498 41 | 2.560 % |
574.65/574.64 c | 568769 | 28018 209901 836316 | 185610 175496 41 | 2.560 % |
580.25/580.23 c | 572066 | 28018 209901 836316 | 2147483647 178793 41 | 2.560 % |
586.15/586.12 c | 575691 | 28018 209901 836316 | 2147483647 182418 41 | 2.560 % |
591.95/591.91 c | 579679 | 28018 209901 836316 | 2147483647 186406 41 | 2.560 % |
598.85/598.88 c | 584064 | 28018 209901 836316 | 186727 166210 39 | 2.560 % |
603.55/603.53 c | 588887 | 28018 209901 836316 | 186727 171033 40 | 2.560 % |
611.35/611.35 c | 594193 | 28018 209901 836316 | 172146 176339 40 | 2.560 % |
611.85/611.88 c | 594293 | 28018 209901 836316 | 172146 150913 38 | 2.560 % |
612.05/612.03 c | 594403 | 28018 209901 836316 | 172146 151023 38 | 2.560 % |
612.25/612.27 c | 594524 | 28018 209901 836316 | 172146 151144 38 | 2.560 % |
612.45/612.48 c | 594657 | 28018 209901 836316 | 172146 151277 38 | 2.560 % |
612.65/612.67 c | 594803 | 28018 209901 836316 | 172146 151423 38 | 2.560 % |
612.95/612.93 c | 594963 | 28018 209901 836316 | 172146 151583 38 | 2.560 % |
613.25/613.21 c | 595140 | 28018 209901 836316 | 172146 151760 38 | 2.560 % |
613.45/613.48 c | 595334 | 28018 209901 836316 | 172146 151954 38 | 2.560 % |
613.86/613.84 c | 595546 | 28018 209901 836316 | 172146 152166 38 | 2.560 % |
614.15/614.17 c | 595782 | 28018 209901 836316 | 172146 152402 38 | 2.560 % |
614.35/614.36 c | 596038 | 28018 209901 836316 | 172146 152658 38 | 2.560 % |
614.85/614.85 c | 596319 | 28018 209901 836316 | 172146 152939 38 | 2.560 % |
615.15/615.17 c | 596628 | 28018 209901 836316 | 172146 153248 38 | 2.560 % |
615.85/615.85 c | 596967 | 28018 209901 836316 | 172146 153587 38 | 2.560 % |
616.15/616.11 c | 597340 | 28018 209901 836316 | 172146 153960 38 | 2.560 % |
616.65/616.63 c | 597753 | 28018 209901 836316 | 172146 154373 38 | 2.560 % |
617.05/617.07 c | 598202 | 28018 209901 836316 | 172146 154822 38 | 2.560 % |
618.05/618.10 c | 598695 | 28018 209901 836316 | 172146 155315 38 | 2.560 % |
618.55/618.52 c | 599237 | 28018 209901 836316 | 172146 155857 38 | 2.560 % |
618.75/618.80 c | 599833 | 28018 209901 836316 | 172146 156453 38 | 2.560 % |
619.75/619.76 c | 600489 | 28018 209901 836316 | 156621 157109 38 | 2.560 % |
621.25/621.21 c | 601211 | 28018 209901 836316 | 156621 157831 38 | 2.560 % |
622.45/622.41 c | 602003 | 28018 209901 836316 | 156621 140475 37 | 2.560 % |
623.35/623.37 c | 602874 | 28018 209901 836316 | 156621 141346 37 | 2.560 % |
624.75/624.75 c | 603832 | 28018 209901 836316 | 156621 142304 37 | 2.560 % |
626.15/626.15 c | 604885 | 28018 209901 836316 | 156621 143357 37 | 2.560 % |
627.75/627.71 c | 606043 | 28018 209901 836316 | 156621 144515 37 | 2.560 % |
629.15/629.18 c | 607319 | 28018 209901 836316 | 156621 145791 37 | 2.560 % |
630.85/630.83 c | 608719 | 28018 209901 836316 | 156621 147191 37 | 2.560 % |
632.75/632.75 c | 610259 | 28018 209901 836316 | 148473 148731 37 | 2.560 % |
634.35/634.31 c | 611953 | 28018 209901 836316 | 148473 150425 37 | 2.560 % |
636.96/636.99 c | 613818 | 28018 209901 836316 | 148473 129003 35 | 2.560 % |
639.45/639.45 c | 615867 | 28018 209901 836316 | 148473 131052 35 | 2.560 % |
641.96/641.99 c | 618120 | 28018 209901 836316 | 148473 133305 35 | 2.560 % |
645.06/645.02 c | 620598 | 28018 209901 836316 | 2147483647 135783 35 | 2.560 % |
648.26/648.22 c | 623323 | 28018 209901 836316 | 2147483647 138508 35 | 2.560 % |
652.46/652.42 c | 626321 | 28018 209901 836316 | 2147483647 141506 35 | 2.560 % |
656.46/656.51 c | 629617 | 28018 209901 836316 | 2147483647 144802 35 | 2.560 % |
662.06/662.05 c | 633243 | 28018 209901 836316 | 2147483647 148428 35 | 2.560 % |
665.56/665.52 c | 637232 | 28018 209901 836316 | 2147483647 152417 35 | 2.560 % |
669.96/669.93 c | 641617 | 28018 209901 836316 | 2147483647 156802 35 | 2.560 % |
673.46/673.49 c | 646441 | 28018 209901 836316 | 2147483647 161626 35 | 2.560 % |
681.26/681.24 c | 651746 | 28018 209901 836316 | 2147483647 166931 35 | 2.560 % |
689.16/689.12 c | 657581 | 28018 209901 836316 | 2147483647 172766 35 | 2.560 % |
689.36/689.36 c | 657682 | 28018 209901 836316 | 2147483647 172867 35 | 2.560 % |
689.56/689.58 c | 657795 | 28018 209901 836316 | 2147483647 172980 35 | 2.560 % |
689.76/689.74 c | 657919 | 28018 209901 836316 | 2147483647 173104 35 | 2.560 % |
690.06/690.01 c | 658053 | 28018 209901 836316 | 2147483647 173238 35 | 2.560 % |
690.36/690.39 c | 658203 | 28018 209901 836316 | 2147483647 173388 35 | 2.560 % |
690.56/690.59 c | 658364 | 28018 209901 836316 | 2147483647 173549 35 | 2.560 % |
690.86/690.90 c | 658540 | 28018 209901 836316 | 2147483647 173725 35 | 2.560 % |
691.26/691.28 c | 658735 | 28018 209901 836316 | 2147483647 173920 35 | 2.560 % |
691.76/691.79 c | 658947 | 28018 209901 836316 | 2147483647 174132 35 | 2.560 % |
692.16/692.20 c | 659180 | 28018 209901 836316 | 2147483647 174365 35 | 2.560 % |
692.76/692.73 c | 659439 | 28018 209901 836316 | 2147483647 174624 35 | 2.560 % |
693.06/693.09 c | 659722 | 28018 209901 836316 | 2147483647 174907 35 | 2.560 % |
693.46/693.42 c | 660033 | 28018 209901 836316 | 2147483647 175218 35 | 2.560 % |
693.86/693.89 c | 660376 | 28018 209901 836316 | 2147483647 175561 35 | 2.560 % |
694.86/694.84 c | 660748 | 28018 209901 836316 | 2147483647 175933 35 | 2.560 % |
695.56/695.55 c | 661157 | 28018 209901 836316 | 2147483647 176342 35 | 2.560 % |
696.36/696.32 c | 661608 | 28018 209901 836316 | 2147483647 176793 35 | 2.560 % |
696.86/696.82 c | 662101 | 28018 209901 836316 | 2147483647 177286 35 | 2.560 % |
697.86/697.82 c | 662643 | 28018 209901 836316 | 2147483647 177828 35 | 2.560 % |
699.06/699.01 c | 663239 | 28018 209901 836316 | 2147483647 178424 35 | 2.560 % |
700.16/700.14 c | 663895 | 28018 209901 836316 | 2147483647 179080 35 | 2.560 % |
701.36/701.33 c | 664617 | 28018 209901 836316 | 2147483647 179802 35 | 2.560 % |
702.56/702.53 c | 665409 | 28018 209901 836316 | 2147483647 180594 35 | 2.560 % |
704.16/704.13 c | 666281 | 28018 209901 836316 | 2147483647 181466 35 | 2.560 % |
705.56/705.60 c | 667242 | 28018 209901 836316 | 2147483647 182427 35 | 2.560 % |
706.86/706.90 c | 668297 | 28018 209901 836316 | 2147483647 183482 35 | 2.560 % |
708.96/708.92 c | 669457 | 28018 209901 836316 | 2147483647 184642 35 | 2.560 % |
711.26/711.25 c | 670731 | 28018 209901 836316 | 185187 185916 35 | 2.560 % |
714.16/714.18 c | 672133 | 28018 209901 836316 | 185187 158926 33 | 2.560 % |
716.56/716.53 c | 673673 | 28018 209901 836316 | 185187 160466 33 | 2.560 % |
718.06/718.06 c | 675368 | 28018 209901 836316 | 185187 162161 33 | 2.560 % |
721.67/721.66 c | 677231 | 28018 209901 836316 | 185187 164024 33 | 2.560 % |
724.36/724.31 c | 679280 | 28017 209881 836256 | 185187 157384 33 | 2.563 % |
726.97/726.99 c | 681535 | 28017 209881 836256 | 158104 159639 33 | 2.563 % |
730.07/730.09 c | 684014 | 28017 209881 836256 | 158104 145204 32 | 2.563 % |
732.47/732.43 c ===============================================================================
732.47/732.43 c restarts : 1027
732.47/732.43 c conflicts : 685111 (941 /sec)
732.47/732.43 c decisions : 1760257 (1.57 % random) (2417 /sec)
732.47/732.43 c propagations : 250878319 (344466 /sec)
732.47/732.43 c conflict literals : 29042342 (40.71 % deleted)
732.47/732.43 c Memory used : 64.53 MB
732.47/732.43 c CPU time : 728.31 s
732.47/732.43 c
732.47/732.43 s UNSATISFIABLE
732.47/732.44 s UNSATISFIABLE
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1820764-1242474773/watcher-1820764-1242474773 -o /tmp/evaluation-result-1820764-1242474773/solver-1820764-1242474773 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820764-1242474773.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: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.01 1.00 3/91 25828
/proc/meminfo: memFree=1613064/2074464 swapFree=1952056/1959888
[pid=25828] ppid=25826 vsize=2416 CPUtime=0
/proc/25828/stat : 25828 (SatELiteGTI) S 25826 25828 15108 0 -1 4194304 367 649 0 0 0 0 0 0 25 0 1 0 1011975494 2473984 277 4294967295 134512640 135169312 3214855488 3214854024 3085401838 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/25828/statm: 604 277 235 161 0 43 0
[pid=25832] ppid=25828 vsize=952 CPUtime=0
/proc/25832/stat : 25832 (SatELite_releas) R 25828 25828 15108 0 -1 4202496 122 0 0 0 0 0 0 0 25 0 1 0 1011975495 974848 58 4294967295 134512640 135223648 3214623984 3214622580 134719062 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25832/statm: 238 59 46 174 0 63 0
[startup+0.096781 s]
/proc/loadavg: 1.00 1.01 1.00 3/91 25828
/proc/meminfo: memFree=1613064/2074464 swapFree=1952056/1959888
[pid=25828] ppid=25826 vsize=2416 CPUtime=0
/proc/25828/stat : 25828 (SatELiteGTI) S 25826 25828 15108 0 -1 4194304 367 649 0 0 0 0 0 0 25 0 1 0 1011975494 2473984 277 4294967295 134512640 135169312 3214855488 3214854024 3085401838 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/25828/statm: 604 277 235 161 0 43 0
[pid=25832] ppid=25828 vsize=15724 CPUtime=0.1
/proc/25832/stat : 25832 (SatELite_releas) R 25828 25828 15108 0 -1 4202496 3224 0 0 0 10 0 0 0 25 0 1 0 1011975495 16101376 3160 4294967295 134512640 135223648 3214623984 3214622800 134563693 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25832/statm: 3931 3161 46 174 0 3756 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 18140
[startup+0.116779 s]
/proc/loadavg: 1.00 1.01 1.00 3/91 25828
/proc/meminfo: memFree=1613064/2074464 swapFree=1952056/1959888
[pid=25828] ppid=25826 vsize=2416 CPUtime=0
/proc/25828/stat : 25828 (SatELiteGTI) S 25826 25828 15108 0 -1 4194304 367 649 0 0 0 0 0 0 25 0 1 0 1011975494 2473984 277 4294967295 134512640 135169312 3214855488 3214854024 3085401838 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/25828/statm: 604 277 235 161 0 43 0
[pid=25832] ppid=25828 vsize=17952 CPUtime=0.12
/proc/25832/stat : 25832 (SatELite_releas) R 25828 25828 15108 0 -1 4202496 3855 0 0 0 12 0 0 0 25 0 1 0 1011975495 18382848 3791 4294967295 134512640 135223648 3214623984 3214622936 134737310 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25832/statm: 4488 3792 46 174 0 4313 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 20368
[startup+0.316764 s]
/proc/loadavg: 1.00 1.01 1.00 3/91 25828
/proc/meminfo: memFree=1613064/2074464 swapFree=1952056/1959888
[pid=25828] ppid=25826 vsize=2416 CPUtime=0
/proc/25828/stat : 25828 (SatELiteGTI) S 25826 25828 15108 0 -1 4194304 367 649 0 0 0 0 0 0 25 0 1 0 1011975494 2473984 277 4294967295 134512640 135169312 3214855488 3214854024 3085401838 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/25828/statm: 604 277 235 161 0 43 0
[pid=25832] ppid=25828 vsize=42100 CPUtime=0.32
/proc/25832/stat : 25832 (SatELite_releas) R 25828 25828 15108 0 -1 4202496 10074 0 0 0 26 6 0 0 25 0 1 0 1011975495 43110400 10010 4294967295 134512640 135223648 3214623984 3214622568 134719062 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25832/statm: 10525 10010 46 174 0 10350 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 44516
[startup+0.716733 s]
/proc/loadavg: 1.00 1.01 1.00 3/91 25828
/proc/meminfo: memFree=1613064/2074464 swapFree=1952056/1959888
[pid=25828] ppid=25826 vsize=2416 CPUtime=0
/proc/25828/stat : 25828 (SatELiteGTI) S 25826 25828 15108 0 -1 4194304 367 649 0 0 0 0 0 0 25 0 1 0 1011975494 2473984 277 4294967295 134512640 135169312 3214855488 3214854024 3085401838 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/25828/statm: 604 277 235 161 0 43 0
[pid=25832] ppid=25828 vsize=86192 CPUtime=0.72
/proc/25832/stat : 25832 (SatELite_releas) R 25828 25828 15108 0 -1 4202496 20061 0 0 0 61 11 0 0 25 0 1 0 1011975495 88260608 18478 4294967295 134512640 135223648 3214623984 3214621840 134578219 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25832/statm: 21548 18478 73 174 0 21373 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 88608
[startup+1.51667 s]
/proc/loadavg: 1.00 1.01 1.00 3/93 25834
/proc/meminfo: memFree=1536028/2074464 swapFree=1952056/1959888
[pid=25828] ppid=25826 vsize=2416 CPUtime=0
/proc/25828/stat : 25828 (SatELiteGTI) S 25826 25828 15108 0 -1 4194304 367 649 0 0 0 0 0 0 25 0 1 0 1011975494 2473984 277 4294967295 134512640 135169312 3214855488 3214854024 3085401838 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/25828/statm: 604 277 235 161 0 43 0
[pid=25832] ppid=25828 vsize=90196 CPUtime=1.52
/proc/25832/stat : 25832 (SatELite_releas) R 25828 25828 15108 0 -1 4202496 20906 0 0 0 141 11 0 0 25 0 1 0 1011975495 92360704 19323 4294967295 134512640 135223648 3214623984 3214621936 134564052 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25832/statm: 22549 19323 73 174 0 22374 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 92612
[startup+3.11655 s]
/proc/loadavg: 1.00 1.01 1.00 4/93 25834
/proc/meminfo: memFree=1523504/2074464 swapFree=1952056/1959888
[pid=25828] ppid=25826 vsize=2416 CPUtime=0
/proc/25828/stat : 25828 (SatELiteGTI) S 25826 25828 15108 0 -1 4194304 367 649 0 0 0 0 0 0 25 0 1 0 1011975494 2473984 277 4294967295 134512640 135169312 3214855488 3214854024 3085401838 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/25828/statm: 604 277 235 161 0 43 0
[pid=25832] ppid=25828 vsize=94600 CPUtime=3.12
/proc/25832/stat : 25832 (SatELite_releas) R 25828 25828 15108 0 -1 4202496 22108 0 0 0 296 16 0 0 25 0 1 0 1011975495 96870400 20345 4294967295 134512640 135223648 3214623984 3214622000 134586945 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25832/statm: 23650 20345 73 174 0 23475 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 97016
[startup+6.31631 s]
/proc/loadavg: 1.00 1.01 1.00 3/93 25835
/proc/meminfo: memFree=1577228/2074464 swapFree=1952056/1959888
[pid=25828] ppid=25826 vsize=2420 CPUtime=3.98
/proc/25828/stat : 25828 (SatELiteGTI) S 25826 25828 15108 0 -1 4194304 387 24636 0 0 0 0 381 17 18 0 1 0 1011975494 2478080 278 4294967295 134512640 135169312 3214855488 3214851704 3085401838 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/25828/statm: 605 278 235 161 0 44 0
[pid=25835] ppid=25828 vsize=16580 CPUtime=2.34
/proc/25835/stat : 25835 (minisat_static) R 25828 25828 15108 0 -1 4202496 3923 0 0 0 231 3 0 0 25 0 1 0 1011975893 16977920 3858 4294967295 134512640 135215339 3221175184 3221173472 134528624 0 0 0 3 0 0 0 17 1 0 0 0
/proc/25835/statm: 4145 3858 73 172 0 3972 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 19000
[startup+12.7158 s]
/proc/loadavg: 1.00 1.01 1.00 3/93 25836
/proc/meminfo: memFree=1574656/2074464 swapFree=1952056/1959888
[pid=25828] ppid=25826 vsize=2420 CPUtime=3.98
/proc/25828/stat : 25828 (SatELiteGTI) S 25826 25828 15108 0 -1 4194304 387 24636 0 0 0 0 381 17 18 0 1 0 1011975494 2478080 278 4294967295 134512640 135169312 3214855488 3214851704 3085401838 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/25828/statm: 605 278 235 161 0 44 0
[pid=25835] ppid=25828 vsize=18940 CPUtime=8.74
/proc/25835/stat : 25835 (minisat_static) R 25828 25828 15108 0 -1 4202496 4503 0 0 0 869 5 0 0 25 0 1 0 1011975893 19394560 4438 4294967295 134512640 135215339 3221175184 3221173472 134528666 0 0 0 3 0 0 0 17 1 0 0 0
/proc/25835/statm: 4735 4438 73 172 0 4562 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 21360
[startup+25.5248 s]
/proc/loadavg: 1.00 1.01 1.00 3/94 25855
/proc/meminfo: memFree=1568300/2074464 swapFree=1952056/1959888
[pid=25828] ppid=25826 vsize=2420 CPUtime=3.98
/proc/25828/stat : 25828 (SatELiteGTI) S 25826 25828 15108 0 -1 4194304 387 24636 0 0 0 0 381 17 18 0 1 0 1011975494 2478080 278 4294967295 134512640 135169312 3214855488 3214851704 3085401838 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/25828/statm: 605 278 235 161 0 44 0
[pid=25835] ppid=25828 vsize=25524 CPUtime=21.54
/proc/25835/stat : 25835 (minisat_static) R 25828 25828 15108 0 -1 4202496 6167 0 0 0 2149 5 0 0 25 0 1 0 1011975893 26136576 6102 4294967295 134512640 135215339 3221175184 3221173472 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25835/statm: 6381 6102 73 172 0 6208 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 27944
[startup+51.1229 s]
/proc/loadavg: 1.00 1.01 1.00 2/93 26022
/proc/meminfo: memFree=1557452/2074464 swapFree=1952056/1959888
[pid=25828] ppid=25826 vsize=2420 CPUtime=3.98
/proc/25828/stat : 25828 (SatELiteGTI) S 25826 25828 15108 0 -1 4194304 387 24636 0 0 0 0 381 17 18 0 1 0 1011975494 2478080 278 4294967295 134512640 135169312 3214855488 3214851704 3085401838 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/25828/statm: 605 278 235 161 0 44 0
[pid=25835] ppid=25828 vsize=36296 CPUtime=47.14
/proc/25835/stat : 25835 (minisat_static) R 25828 25828 15108 0 -1 4202496 8833 0 0 0 4708 6 0 0 25 0 1 0 1011975893 37167104 8768 4294967295 134512640 135215339 3221175184 3221173472 134528624 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25835/statm: 9074 8768 73 172 0 8901 0
Current children cumulated CPU time (s) 51.12
Current children cumulated vsize (KiB) 38716
[startup+102.319 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 26208
/proc/meminfo: memFree=1544220/2074464 swapFree=1952056/1959888
[pid=25828] ppid=25826 vsize=2420 CPUtime=3.98
/proc/25828/stat : 25828 (SatELiteGTI) S 25826 25828 15108 0 -1 4194304 387 24636 0 0 0 0 381 17 18 0 1 0 1011975494 2478080 278 4294967295 134512640 135169312 3214855488 3214851704 3085401838 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/25828/statm: 605 278 235 161 0 44 0
[pid=25835] ppid=25828 vsize=49516 CPUtime=98.34
/proc/25835/stat : 25835 (minisat_static) R 25828 25828 15108 0 -1 4202496 12106 0 0 0 9825 9 0 0 25 0 1 0 1011975893 50704384 12041 4294967295 134512640 135215339 3221175184 3221173472 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25835/statm: 12379 12041 73 172 0 12206 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 51936
[startup+162.314 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 26397
/proc/meminfo: memFree=1536772/2074464 swapFree=1952056/1959888
[pid=25828] ppid=25826 vsize=2420 CPUtime=3.98
/proc/25828/stat : 25828 (SatELiteGTI) S 25826 25828 15108 0 -1 4194304 387 24636 0 0 0 0 381 17 18 0 1 0 1011975494 2478080 278 4294967295 134512640 135169312 3214855488 3214851704 3085401838 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/25828/statm: 605 278 235 161 0 44 0
[pid=25835] ppid=25828 vsize=57200 CPUtime=158.34
/proc/25835/stat : 25835 (minisat_static) R 25828 25828 15108 0 -1 4202496 13948 0 0 0 15820 14 0 0 25 0 1 0 1011975893 58572800 13883 4294967295 134512640 135215339 3221175184 3221173472 134529080 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25835/statm: 14300 13883 73 172 0 14127 0
Current children cumulated CPU time (s) 162.32
Current children cumulated vsize (KiB) 59620
[startup+222.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 26584
/proc/meminfo: memFree=1533372/2074464 swapFree=1952056/1959888
[pid=25828] ppid=25826 vsize=2420 CPUtime=3.98
/proc/25828/stat : 25828 (SatELiteGTI) S 25826 25828 15108 0 -1 4194304 387 24636 0 0 0 0 381 17 18 0 1 0 1011975494 2478080 278 4294967295 134512640 135169312 3214855488 3214851704 3085401838 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/25828/statm: 605 278 235 161 0 44 0
[pid=25835] ppid=25828 vsize=60576 CPUtime=218.34
/proc/25835/stat : 25835 (minisat_static) R 25828 25828 15108 0 -1 4202496 14817 0 0 0 21819 15 0 0 25 0 1 0 1011975893 62029824 14752 4294967295 134512640 135215339 3221175184 3221173472 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25835/statm: 15144 14752 73 172 0 14971 0
Current children cumulated CPU time (s) 222.32
Current children cumulated vsize (KiB) 62996
[startup+282.315 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 26772
/proc/meminfo: memFree=1530272/2074464 swapFree=1952056/1959888
[pid=25828] ppid=25826 vsize=2420 CPUtime=3.98
/proc/25828/stat : 25828 (SatELiteGTI) S 25826 25828 15108 0 -1 4194304 387 24636 0 0 0 0 381 17 18 0 1 0 1011975494 2478080 278 4294967295 134512640 135169312 3214855488 3214851704 3085401838 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/25828/statm: 605 278 235 161 0 44 0
[pid=25835] ppid=25828 vsize=63512 CPUtime=278.35
/proc/25835/stat : 25835 (minisat_static) R 25828 25828 15108 0 -1 4202496 15557 0 0 0 27819 16 0 0 25 0 1 0 1011975893 65036288 15492 4294967295 134512640 135215339 3221175184 3221173472 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25835/statm: 15878 15492 73 172 0 15705 0
Current children cumulated CPU time (s) 282.33
Current children cumulated vsize (KiB) 65932
[startup+342.311 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 26967
/proc/meminfo: memFree=1529528/2074464 swapFree=1952056/1959888
[pid=25828] ppid=25826 vsize=2420 CPUtime=3.98
/proc/25828/stat : 25828 (SatELiteGTI) S 25826 25828 15108 0 -1 4194304 387 24636 0 0 0 0 381 17 18 0 1 0 1011975494 2478080 278 4294967295 134512640 135169312 3214855488 3214851704 3085401838 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/25828/statm: 605 278 235 161 0 44 0
[pid=25835] ppid=25828 vsize=63976 CPUtime=338.35
/proc/25835/stat : 25835 (minisat_static) R 25828 25828 15108 0 -1 4202496 15644 0 0 0 33819 16 0 0 25 0 1 0 1011975893 65511424 15579 4294967295 134512640 135215339 3221175184 3221173472 134529119 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25835/statm: 15994 15579 73 172 0 15821 0
Current children cumulated CPU time (s) 342.33
################
# More data... #
################
[startup+402.326 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 27153
/proc/meminfo: memFree=1529024/2074464 swapFree=1952056/1959888
[pid=25828] ppid=25826 vsize=2420 CPUtime=3.98
/proc/25828/stat : 25828 (SatELiteGTI) S 25826 25828 15108 0 -1 4194304 387 24636 0 0 0 0 381 17 18 0 1 0 1011975494 2478080 278 4294967295 134512640 135169312 3214855488 3214851704 3085401838 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/25828/statm: 605 278 235 161 0 44 0
[pid=25835] ppid=25828 vsize=64592 CPUtime=398.37
/proc/25835/stat : 25835 (minisat_static) R 25828 25828 15108 0 -1 4202496 15790 0 0 0 39820 17 0 0 25 0 1 0 1011975893 66142208 15725 4294967295 134512640 135215339 3221175184 3221173472 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/25835/statm: 16148 15725 73 172 0 15975 0
Current children cumulated CPU time (s) 402.35
Current children cumulated vsize (KiB) 67012
[startup+462.311 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 27342
/proc/meminfo: memFree=1528752/2074464 swapFree=1952056/1959888
[pid=25828] ppid=25826 vsize=2420 CPUtime=3.98
/proc/25828/stat : 25828 (SatELiteGTI) S 25826 25828 15108 0 -1 4194304 387 24636 0 0 0 0 381 17 18 0 1 0 1011975494 2478080 278 4294967295 134512640 135169312 3214855488 3214851704 3085401838 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/25828/statm: 605 278 235 161 0 44 0
[pid=25835] ppid=25828 vsize=64748 CPUtime=458.36
/proc/25835/stat : 25835 (minisat_static) R 25828 25828 15108 0 -1 4202496 15835 0 0 0 45819 17 0 0 25 0 1 0 1011975893 66301952 15770 4294967295 134512640 135215339 3221175184 3221173472 134528721 0 0 0 3 0 0 0 17 3 0 0 0
/proc/25835/statm: 16187 15770 73 172 0 16014 0
Current children cumulated CPU time (s) 462.34
Current children cumulated vsize (KiB) 67168
[startup+522.317 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 27529
/proc/meminfo: memFree=1528428/2074464 swapFree=1952056/1959888
[pid=25828] ppid=25826 vsize=2420 CPUtime=3.98
/proc/25828/stat : 25828 (SatELiteGTI) S 25826 25828 15108 0 -1 4194304 387 24636 0 0 0 0 381 17 18 0 1 0 1011975494 2478080 278 4294967295 134512640 135169312 3214855488 3214851704 3085401838 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/25828/statm: 605 278 235 161 0 44 0
[pid=25835] ppid=25828 vsize=65080 CPUtime=518.37
/proc/25835/stat : 25835 (minisat_static) R 25828 25828 15108 0 -1 4202496 15904 0 0 0 51820 17 0 0 25 0 1 0 1011975893 66641920 15839 4294967295 134512640 135215339 3221175184 3221173472 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/25835/statm: 16270 15839 73 172 0 16097 0
Current children cumulated CPU time (s) 522.35
Current children cumulated vsize (KiB) 67500
[startup+582.312 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 27718
/proc/meminfo: memFree=1528048/2074464 swapFree=1952056/1959888
[pid=25828] ppid=25826 vsize=2420 CPUtime=3.98
/proc/25828/stat : 25828 (SatELiteGTI) S 25826 25828 15108 0 -1 4194304 387 24636 0 0 0 0 381 17 18 0 1 0 1011975494 2478080 278 4294967295 134512640 135169312 3214855488 3214851704 3085401838 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/25828/statm: 605 278 235 161 0 44 0
[pid=25835] ppid=25828 vsize=65388 CPUtime=578.37
/proc/25835/stat : 25835 (minisat_static) R 25828 25828 15108 0 -1 4202496 15976 0 0 0 57820 17 0 0 25 0 1 0 1011975893 66957312 15911 4294967295 134512640 135215339 3221175184 3221173472 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/25835/statm: 16347 15911 73 172 0 16174 0
Current children cumulated CPU time (s) 582.35
Current children cumulated vsize (KiB) 67808
[startup+642.318 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 27907
/proc/meminfo: memFree=1527792/2074464 swapFree=1952056/1959888
[pid=25828] ppid=25826 vsize=2420 CPUtime=3.98
/proc/25828/stat : 25828 (SatELiteGTI) S 25826 25828 15108 0 -1 4194304 387 24636 0 0 0 0 381 17 18 0 1 0 1011975494 2478080 278 4294967295 134512640 135169312 3214855488 3214851704 3085401838 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/25828/statm: 605 278 235 161 0 44 0
[pid=25835] ppid=25828 vsize=65388 CPUtime=638.38
/proc/25835/stat : 25835 (minisat_static) R 25828 25828 15108 0 -1 4202496 15980 0 0 0 63821 17 0 0 25 0 1 0 1011975893 66957312 15915 4294967295 134512640 135215339 3221175184 3221173472 134528728 0 0 0 3 0 0 0 17 3 0 0 0
/proc/25835/statm: 16347 15915 73 172 0 16174 0
Current children cumulated CPU time (s) 642.36
Current children cumulated vsize (KiB) 67808
[startup+702.313 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 28097
/proc/meminfo: memFree=1527272/2074464 swapFree=1952056/1959888
[pid=25828] ppid=25826 vsize=2420 CPUtime=3.98
/proc/25828/stat : 25828 (SatELiteGTI) S 25826 25828 15108 0 -1 4194304 387 24636 0 0 0 0 381 17 18 0 1 0 1011975494 2478080 278 4294967295 134512640 135169312 3214855488 3214851704 3085401838 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/25828/statm: 605 278 235 161 0 44 0
[pid=25835] ppid=25828 vsize=65708 CPUtime=698.38
/proc/25835/stat : 25835 (minisat_static) R 25828 25828 15108 0 -1 4202496 16046 0 0 0 69820 18 0 0 25 0 1 0 1011975893 67284992 15981 4294967295 134512640 135215339 3221175184 3221173472 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/25835/statm: 16427 15981 73 172 0 16254 0
Current children cumulated CPU time (s) 702.36
Current children cumulated vsize (KiB) 68128
Solver just ended. Dumping a history of the last processes samples
[startup+716.712 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 28100
/proc/meminfo: memFree=1527096/2074464 swapFree=1952056/1959888
[pid=25828] ppid=25826 vsize=2420 CPUtime=3.98
/proc/25828/stat : 25828 (SatELiteGTI) S 25826 25828 15108 0 -1 4194304 387 24636 0 0 0 0 381 17 18 0 1 0 1011975494 2478080 278 4294967295 134512640 135169312 3214855488 3214851704 3085401838 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/25828/statm: 605 278 235 161 0 44 0
[pid=25835] ppid=25828 vsize=66076 CPUtime=712.78
/proc/25835/stat : 25835 (minisat_static) R 25828 25828 15108 0 -1 4202496 16121 0 0 0 71260 18 0 0 25 0 1 0 1011975893 67661824 16056 4294967295 134512640 135215339 3221175184 3221173472 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/25835/statm: 16519 16056 73 172 0 16346 0
Current children cumulated CPU time (s) 716.76
Current children cumulated vsize (KiB) 68496
[startup+723.112 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 28100
/proc/meminfo: memFree=1527096/2074464 swapFree=1952056/1959888
[pid=25828] ppid=25826 vsize=2420 CPUtime=3.98
/proc/25828/stat : 25828 (SatELiteGTI) S 25826 25828 15108 0 -1 4194304 387 24636 0 0 0 0 381 17 18 0 1 0 1011975494 2478080 278 4294967295 134512640 135169312 3214855488 3214851704 3085401838 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/25828/statm: 605 278 235 161 0 44 0
[pid=25835] ppid=25828 vsize=66076 CPUtime=719.18
/proc/25835/stat : 25835 (minisat_static) R 25828 25828 15108 0 -1 4202496 16121 0 0 0 71899 19 0 0 25 0 1 0 1011975893 67661824 16056 4294967295 134512640 135215339 3221175184 3221173472 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/25835/statm: 16519 16056 73 172 0 16346 0
Current children cumulated CPU time (s) 723.16
Current children cumulated vsize (KiB) 68496
[startup+726.321 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 28100
/proc/meminfo: memFree=1527096/2074464 swapFree=1952056/1959888
[pid=25828] ppid=25826 vsize=2420 CPUtime=3.98
/proc/25828/stat : 25828 (SatELiteGTI) S 25826 25828 15108 0 -1 4194304 387 24636 0 0 0 0 381 17 18 0 1 0 1011975494 2478080 278 4294967295 134512640 135169312 3214855488 3214851704 3085401838 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/25828/statm: 605 278 235 161 0 44 0
[pid=25835] ppid=25828 vsize=66076 CPUtime=722.39
/proc/25835/stat : 25835 (minisat_static) R 25828 25828 15108 0 -1 4202496 16121 0 0 0 72220 19 0 0 25 0 1 0 1011975893 67661824 16056 4294967295 134512640 135215339 3221175184 3221173472 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/25835/statm: 16519 16056 73 172 0 16346 0
Current children cumulated CPU time (s) 726.37
Current children cumulated vsize (KiB) 68496
[startup+729.521 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 28100
/proc/meminfo: memFree=1527096/2074464 swapFree=1952056/1959888
[pid=25828] ppid=25826 vsize=2420 CPUtime=3.98
/proc/25828/stat : 25828 (SatELiteGTI) S 25826 25828 15108 0 -1 4194304 387 24636 0 0 0 0 381 17 18 0 1 0 1011975494 2478080 278 4294967295 134512640 135169312 3214855488 3214851704 3085401838 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/25828/statm: 605 278 235 161 0 44 0
[pid=25835] ppid=25828 vsize=66076 CPUtime=725.59
/proc/25835/stat : 25835 (minisat_static) R 25828 25828 15108 0 -1 4202496 16121 0 0 0 72540 19 0 0 25 0 1 0 1011975893 67661824 16056 4294967295 134512640 135215339 3221175184 3221173472 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/25835/statm: 16519 16056 73 172 0 16346 0
Current children cumulated CPU time (s) 729.57
Current children cumulated vsize (KiB) 68496
[startup+731.121 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 28100
/proc/meminfo: memFree=1527096/2074464 swapFree=1952056/1959888
[pid=25828] ppid=25826 vsize=2420 CPUtime=3.98
/proc/25828/stat : 25828 (SatELiteGTI) S 25826 25828 15108 0 -1 4194304 387 24636 0 0 0 0 381 17 18 0 1 0 1011975494 2478080 278 4294967295 134512640 135169312 3214855488 3214851704 3085401838 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/25828/statm: 605 278 235 161 0 44 0
[pid=25835] ppid=25828 vsize=66076 CPUtime=727.19
/proc/25835/stat : 25835 (minisat_static) R 25828 25828 15108 0 -1 4202496 16121 0 0 0 72700 19 0 0 25 0 1 0 1011975893 67661824 16056 4294967295 134512640 135215339 3221175184 3221173472 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/25835/statm: 16519 16056 73 172 0 16346 0
Current children cumulated CPU time (s) 731.17
Current children cumulated vsize (KiB) 68496
[startup+731.921 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 28100
/proc/meminfo: memFree=1527096/2074464 swapFree=1952056/1959888
[pid=25828] ppid=25826 vsize=2420 CPUtime=3.98
/proc/25828/stat : 25828 (SatELiteGTI) S 25826 25828 15108 0 -1 4194304 387 24636 0 0 0 0 381 17 18 0 1 0 1011975494 2478080 278 4294967295 134512640 135169312 3214855488 3214851704 3085401838 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/25828/statm: 605 278 235 161 0 44 0
[pid=25835] ppid=25828 vsize=66076 CPUtime=727.99
/proc/25835/stat : 25835 (minisat_static) R 25828 25828 15108 0 -1 4202496 16121 0 0 0 72780 19 0 0 25 0 1 0 1011975893 67661824 16056 4294967295 134512640 135215339 3221175184 3221173472 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/25835/statm: 16519 16056 73 172 0 16346 0
Current children cumulated CPU time (s) 731.97
Current children cumulated vsize (KiB) 68496
[startup+732.321 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 28100
/proc/meminfo: memFree=1527096/2074464 swapFree=1952056/1959888
[pid=25828] ppid=25826 vsize=2420 CPUtime=3.98
/proc/25828/stat : 25828 (SatELiteGTI) S 25826 25828 15108 0 -1 4194304 387 24636 0 0 0 0 381 17 18 0 1 0 1011975494 2478080 278 4294967295 134512640 135169312 3214855488 3214851704 3085401838 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/25828/statm: 605 278 235 161 0 44 0
[pid=25835] ppid=25828 vsize=66076 CPUtime=728.39
/proc/25835/stat : 25835 (minisat_static) R 25828 25828 15108 0 -1 4202496 16121 0 0 0 72820 19 0 0 25 0 1 0 1011975893 67661824 16056 4294967295 134512640 135215339 3221175184 3221173472 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/25835/statm: 16519 16056 73 172 0 16346 0
Current children cumulated CPU time (s) 732.37
Current children cumulated vsize (KiB) 68496
[startup+732.421 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 28100
/proc/meminfo: memFree=1527096/2074464 swapFree=1952056/1959888
[pid=25828] ppid=25826 vsize=2420 CPUtime=3.98
/proc/25828/stat : 25828 (SatELiteGTI) S 25826 25828 15108 0 -1 4194304 387 24636 0 0 0 0 381 17 18 0 1 0 1011975494 2478080 278 4294967295 134512640 135169312 3214855488 3214851704 3085401838 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/25828/statm: 605 278 235 161 0 44 0
[pid=25835] ppid=25828 vsize=66076 CPUtime=728.49
/proc/25835/stat : 25835 (minisat_static) R 25828 25828 15108 0 -1 4202496 16121 0 0 0 72830 19 0 0 25 0 1 0 1011975893 67661824 16056 4294967295 134512640 135215339 3221175184 3221173472 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/25835/statm: 16519 16056 73 172 0 16346 0
Current children cumulated CPU time (s) 732.47
Current children cumulated vsize (KiB) 68496
Child status: 20
Real time (s): 732.453
CPU time (s): 732.5
CPU user time (s): 732.12
CPU system time (s): 0.38
CPU usage (%): 100.006
Max. virtual memory (cumulated for all children) (KiB): 98272
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 732.12
system time used= 0.38
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41423
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23
involuntary context switches= 682
runsolver used 0.01 second user time and 0.04 second system time
The end
Begin job on tipi24 at 2009-05-16 13:52:53
IDJOB=1820764
IDBENCH=69586
IDSOLVER=657
FILE ID=tipi24/1820764-1242474773
PBS_JOBID=
Free space on /tmp= 10096 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= runsolver --timestamp -w /tmp/evaluation-result-1820764-1242474773/watcher-1820764-1242474773 -o /tmp/evaluation-result-1820764-1242474773/solver-1820764-1242474773 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820764-1242474773.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= c3e7cb16bced9d54ce489b6e95d89943
RANDOM SEED= 1829379750
Linux tipi24 2.6.18 #19 SMP Tue Jun 19 11:27:27 CEST 2007 i686 GNU/Linux
/proc/cpuinfo:
processor : 0
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.461
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3618.40
processor : 1
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.461
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.75
processor : 2
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.461
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.77
processor : 3
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.461
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.77
/proc/meminfo:
MemTotal: 2074464 kB
MemFree: 1613072 kB
Buffers: 22528 kB
Cached: 357556 kB
SwapCached: 3828 kB
Active: 46708 kB
Inactive: 342840 kB
HighTotal: 1178688 kB
HighFree: 901140 kB
LowTotal: 895776 kB
LowFree: 711932 kB
SwapTotal: 1959888 kB
SwapFree: 1952056 kB
Dirty: 11300 kB
Writeback: 0 kB
AnonPages: 8820 kB
Mapped: 3272 kB
Slab: 62700 kB
PageTables: 608 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 2997120 kB
Committed_AS: 87800 kB
VmallocTotal: 114680 kB
VmallocUsed: 1324 kB
VmallocChunk: 113264 kB
Free space on /tmp at the end= 10096 MiB
End job on tipi24 at 2009-05-16 14:05:07