0.00/0.00 c Parsing...
0.00/0.50 c ==============================================================================
0.00/0.50 c | | ORIGINAL | LEARNT | |
0.00/0.50 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.50 c ==============================================================================
0.00/0.50 c | 0 | 552411 1288959 | 165723 0 0 nan | 0.000 % |
4.09/4.14 c | 0 | 224311 892727 | -- 0 -- -- | -- | -328093/-396215
4.09/4.14 c ==============================================================================
4.09/4.14 c Result : #vars: 29191 #clauses: 224311 #literals: 892727
4.09/4.14 c CPU time: 3.9354 s
4.09/4.14 c ==============================================================================
4.39/4.47 c This is MiniSat 2.0 beta
4.39/4.47 c WARNING: for repeatability, setting FPU to use double precision
4.39/4.47 c ============================[ Problem Statistics ]=============================
4.39/4.47 c | |
4.39/4.47 c | Number of variables: 29191 |
4.39/4.47 c | Number of clauses: 224311 |
4.46/4.63 c | Parsing time: 0.14 s |
4.46/4.64 c ============================[ Search Statistics ]==============================
4.46/4.64 c | Conflicts | ORIGINAL | LEARNT | Progress |
4.46/4.64 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
4.46/4.64 c ===============================================================================
4.46/4.64 c | 0 | 29191 224311 892727 | 74770 0 nan | 0.000 % |
4.46/4.70 c | 100 | 29180 224311 892727 | 74770 95 9 | 0.093 % |
4.46/4.77 c | 200 | 29180 224311 892727 | 74770 195 13 | 0.092 % |
4.46/4.80 c | 300 | 29171 224311 892727 | 74770 292 13 | 0.178 % |
4.46/4.89 c | 410 | 29166 224311 892727 | 74770 402 15 | 0.178 % |
4.46/4.96 c | 510 | 29166 224311 892727 | 74770 502 15 | 0.178 % |
4.46/5.01 c | 620 | 29166 224311 892727 | 74770 612 16 | 0.178 % |
4.46/5.08 c | 743 | 29166 224311 892727 | 74770 735 18 | 0.178 % |
4.46/5.11 c | 843 | 29163 224311 892727 | 74770 834 17 | 0.206 % |
4.46/5.15 c | 953 | 29163 224311 892727 | 74770 944 18 | 0.206 % |
4.46/5.20 c | 1075 | 29163 224311 892727 | 74770 1066 19 | 0.206 % |
4.46/5.32 c | 1208 | 29148 224311 892727 | 74770 1195 20 | 0.322 % |
4.46/5.38 c | 1308 | 29097 223195 889001 | 74770 1291 19 | 0.322 % |
5.38/5.46 c | 1418 | 29097 223195 889001 | 74770 1401 19 | 0.322 % |
5.48/5.51 c | 1541 | 29097 223195 889001 | 74770 1524 19 | 0.322 % |
5.48/5.56 c | 1674 | 29096 223195 889001 | 74770 1656 19 | 0.349 % |
5.58/5.62 c | 1820 | 29096 223195 889001 | 74770 1802 20 | 0.349 % |
5.58/5.66 c | 1920 | 29096 223195 889001 | 74770 1902 20 | 0.349 % |
5.58/5.69 c | 2030 | 29096 223195 889001 | 74770 2012 20 | 0.349 % |
5.68/5.77 c | 2152 | 29096 223195 889001 | 74770 2134 22 | 0.349 % |
5.78/5.81 c | 2286 | 29096 223195 889001 | 74770 2268 21 | 0.350 % |
5.78/5.83 c | 2433 | 29096 223195 889001 | 74770 2415 21 | 0.349 % |
5.78/5.85 c | 2593 | 29096 223195 889001 | 74770 2575 20 | 0.350 % |
5.78/5.87 c | 2693 | 29094 223195 889001 | 74770 2673 20 | 0.373 % |
5.88/5.90 c | 2803 | 29093 223195 889001 | 74770 2783 20 | 0.373 % |
5.88/5.93 c | 2924 | 29093 223195 889001 | 74770 2904 20 | 0.373 % |
5.88/5.98 c | 3057 | 29082 222853 887742 | 74770 3029 20 | 0.373 % |
5.98/6.04 c | 3203 | 29081 222853 887742 | 74770 3174 20 | 0.377 % |
6.08/6.10 c | 3364 | 29081 222853 887742 | 74770 3335 21 | 0.377 % |
6.18/6.23 c | 3540 | 29077 222853 887742 | 74770 3509 21 | 0.397 % |
6.18/6.25 c | 3641 | 29077 222853 887742 | 74770 3610 21 | 0.397 % |
6.18/6.29 c | 3751 | 29077 222853 887742 | 74770 3720 21 | 0.397 % |
6.28/6.33 c | 3872 | 29077 222853 887742 | 74770 3841 21 | 0.397 % |
6.28/6.39 c | 4005 | 29077 222853 887742 | 74770 3974 22 | 0.397 % |
6.38/6.47 c | 4151 | 29077 222853 887742 | 74770 4120 22 | 0.397 % |
6.48/6.52 c | 4311 | 29077 222853 887742 | 74770 4280 22 | 0.397 % |
6.48/6.58 c | 4487 | 29074 222683 887165 | 74770 4455 22 | 0.401 % |
6.58/6.63 c | 4681 | 29074 222683 887165 | 74770 4649 22 | 0.401 % |
6.58/6.69 c | 4781 | 29074 222683 887165 | 74770 4749 22 | 0.401 % |
6.68/6.72 c | 4891 | 29074 222683 887165 | 74770 4859 22 | 0.401 % |
6.68/6.76 c | 5015 | 29074 222683 887165 | 74770 4983 22 | 0.401 % |
6.78/6.80 c | 5149 | 29072 222683 887165 | 74770 5115 22 | 0.449 % |
6.78/6.83 c | 5295 | 29071 222683 887165 | 74770 5260 22 | 0.452 % |
6.78/6.84 c | 5455 | 29071 222683 887165 | 74770 5420 22 | 0.452 % |
6.88/6.90 c | 5631 | 29070 222683 887165 | 74770 5596 23 | 0.452 % |
6.88/6.93 c | 5825 | 29070 222683 887165 | 74770 5790 22 | 0.452 % |
6.98/7.01 c | 6037 | 29070 222683 887165 | 74770 6002 23 | 0.452 % |
6.98/7.09 c | 6137 | 29070 222683 887165 | 74770 6102 23 | 0.452 % |
7.08/7.11 c | 6250 | 29070 222683 887165 | 74770 6215 23 | 0.452 % |
7.08/7.12 c | 6371 | 29070 222683 887165 | 74770 6336 23 | 0.452 % |
7.08/7.18 c | 6505 | 29070 222683 887165 | 74770 6470 23 | 0.452 % |
7.18/7.21 c | 6651 | 29070 222683 887165 | 74770 6616 23 | 0.452 % |
7.18/7.29 c | 6812 | 29070 222683 887165 | 74770 6777 23 | 0.452 % |
7.28/7.35 c | 6989 | 29059 222517 886647 | 74770 6950 23 | 0.452 % |
7.38/7.42 c | 7184 | 29059 222517 886647 | 74770 7145 23 | 0.452 % |
7.38/7.49 c | 7397 | 29057 222517 886647 | 74770 7357 23 | 0.459 % |
7.48/7.53 c | 7630 | 29057 222517 886647 | 74770 7590 24 | 0.459 % |
7.48/7.58 c | 7730 | 29057 222517 886647 | 74770 7690 24 | 0.459 % |
7.58/7.63 c | 7841 | 29054 222517 886647 | 74770 7800 24 | 0.493 % |
7.68/7.74 c | 7963 | 29054 222517 886647 | 74770 7922 24 | 0.493 % |
7.68/7.77 c | 8097 | 29054 222517 886647 | 74770 8056 24 | 0.493 % |
7.78/7.87 c | 8243 | 29054 222517 886647 | 74770 8202 24 | 0.493 % |
7.88/7.90 c | 8404 | 29054 222517 886647 | 74770 8363 24 | 0.493 % |
7.88/7.97 c | 8580 | 29053 222517 886647 | 74770 8538 24 | 0.500 % |
7.97/8.02 c | 8773 | 29053 222517 886647 | 74770 8731 24 | 0.500 % |
8.07/8.11 c | 8985 | 29053 222517 886647 | 74770 8943 24 | 0.500 % |
8.17/8.26 c | 9219 | 29045 222313 885940 | 74770 9173 24 | 0.500 % |
8.28/8.39 c | 9476 | 29045 222313 885940 | 74770 9430 24 | 0.500 % |
8.38/8.42 c | 9576 | 29045 222313 885940 | 74770 9530 24 | 0.500 % |
8.38/8.50 c | 9686 | 29045 222313 885940 | 74770 9640 24 | 0.500 % |
8.48/8.53 c | 9807 | 29045 222313 885940 | 74770 9761 24 | 0.500 % |
8.48/8.60 c | 9942 | 29045 222313 885940 | 74770 9896 24 | 0.500 % |
8.58/8.63 c | 10089 | 29045 222313 885940 | 2147483647 10043 24 | 0.500 % |
8.58/8.69 c | 10250 | 29042 222313 885940 | 2147483647 10203 24 | 0.545 % |
8.69/8.77 c | 10427 | 29042 222313 885940 | 2147483647 10380 24 | 0.545 % |
8.79/8.85 c | 10620 | 29042 222313 885940 | 2147483647 10573 24 | 0.545 % |
8.79/8.90 c | 10835 | 29042 222313 885940 | 2147483647 10788 24 | 0.545 % |
8.88/8.93 c | 11068 | 29042 222313 885940 | 2147483647 11021 24 | 0.545 % |
8.98/9.08 c | 11326 | 29031 221941 884615 | 2147483647 11272 24 | 0.548 % |
9.08/9.13 c | 11608 | 29031 221941 884615 | 2147483647 11554 24 | 0.548 % |
9.18/9.23 c | 11709 | 29031 221941 884615 | 2147483647 11655 24 | 0.548 % |
9.18/9.27 c | 11820 | 29031 221941 884615 | 2147483647 11766 24 | 0.548 % |
9.18/9.29 c | 11942 | 29031 221941 884615 | 2147483647 11887 24 | 0.555 % |
9.28/9.32 c | 12075 | 29030 221941 884615 | 2147483647 12019 24 | 0.558 % |
9.28/9.37 c | 12221 | 29029 221941 884615 | 2147483647 12165 24 | 0.558 % |
9.28/9.39 c | 12381 | 29029 221941 884615 | 2147483647 12325 24 | 0.558 % |
9.38/9.48 c | 12557 | 29028 221941 884615 | 2147483647 12501 24 | 0.558 % |
9.48/9.56 c | 12751 | 29028 221941 884615 | 2147483647 12695 24 | 0.558 % |
9.58/9.65 c | 12964 | 29028 221941 884615 | 2147483647 12908 24 | 0.558 % |
9.68/9.71 c | 13197 | 29028 221941 884615 | 2147483647 13141 24 | 0.558 % |
9.79/9.82 c | 13453 | 29028 221941 884615 | 2147483647 13397 24 | 0.558 % |
9.79/9.87 c | 13734 | 29028 221941 884615 | 2147483647 13678 24 | 0.558 % |
9.89/9.92 c | 14043 | 29028 221941 884615 | 2147483647 13987 24 | 0.558 % |
9.89/9.99 c | 14143 | 29028 221941 884615 | 2147483647 14087 24 | 0.558 % |
9.98/10.05 c | 14253 | 29028 221868 884374 | 2147483647 14192 24 | 0.558 % |
9.98/10.07 c | 14374 | 29028 221868 884374 | 2147483647 14313 24 | 0.558 % |
10.08/10.14 c | 14507 | 29028 221868 884374 | 2147483647 14446 24 | 0.558 % |
10.08/10.17 c | 14654 | 29028 221868 884374 | 2147483647 14593 24 | 0.558 % |
10.18/10.28 c | 14815 | 29028 221868 884374 | 2147483647 14754 24 | 0.558 % |
10.28/10.34 c | 14994 | 29028 221868 884374 | 2147483647 14933 24 | 0.558 % |
10.28/10.38 c | 15187 | 29028 221868 884374 | 2147483647 15126 24 | 0.558 % |
10.38/10.50 c | 15400 | 29028 221868 884374 | 2147483647 15339 25 | 0.558 % |
10.48/10.57 c | 15633 | 29028 221868 884374 | 2147483647 15572 25 | 0.558 % |
10.58/10.68 c | 15891 | 29028 221868 884374 | 2147483647 15830 25 | 0.558 % |
10.68/10.77 c | 16175 | 29028 221868 884374 | 2147483647 16114 25 | 0.558 % |
10.78/10.82 c | 16486 | 29028 221868 884374 | 2147483647 16425 26 | 0.558 % |
10.89/10.96 c | 16829 | 29028 221868 884374 | 2147483647 16768 26 | 0.558 % |
10.89/10.98 c | 16930 | 29028 221868 884374 | 2147483647 16869 26 | 0.558 % |
10.99/11.00 c | 17040 | 29028 221868 884374 | 2147483647 16979 26 | 0.558 % |
10.99/11.08 c | 17161 | 29028 221868 884374 | 2147483647 17100 26 | 0.558 % |
11.08/11.13 c | 17294 | 29028 221868 884374 | 2147483647 17233 26 | 0.558 % |
11.08/11.19 c | 17441 | 29028 221868 884374 | 2147483647 17380 26 | 0.558 % |
11.18/11.23 c | 17603 | 29028 221868 884374 | 2147483647 17542 26 | 0.558 % |
11.18/11.28 c | 17779 | 29028 221868 884374 | 2147483647 17718 26 | 0.558 % |
11.28/11.38 c | 17973 | 29028 221868 884374 | 2147483647 17912 25 | 0.558 % |
11.38/11.43 c | 18188 | 29028 221868 884374 | 2147483647 18127 26 | 0.558 % |
11.48/11.51 c | 18422 | 29028 221868 884374 | 2147483647 18361 26 | 0.558 % |
11.48/11.56 c | 18678 | 29028 221868 884374 | 2147483647 18617 27 | 0.558 % |
11.58/11.63 c | 18959 | 29028 221868 884374 | 2147483647 18898 27 | 0.558 % |
11.78/11.82 c | 19268 | 29028 221868 884374 | 2147483647 19207 27 | 0.558 % |
11.78/11.86 c | 19608 | 29028 221868 884374 | 2147483647 19547 27 | 0.558 % |
11.98/12.03 c | 19980 | 29028 221868 884374 | 2147483647 19919 27 | 0.558 % |
12.08/12.13 c | 20081 | 29028 221868 884374 | 2147483647 20020 27 | 0.558 % |
12.08/12.16 c | 20192 | 29028 221868 884374 | 2147483647 20131 27 | 0.558 % |
12.08/12.19 c | 20313 | 29028 221868 884374 | 2147483647 20252 27 | 0.558 % |
12.18/12.28 c | 20446 | 29028 221868 884374 | 2147483647 20385 27 | 0.558 % |
12.28/12.32 c | 20592 | 29028 221868 884374 | 2147483647 20531 27 | 0.558 % |
12.28/12.39 c | 20752 | 29028 221868 884374 | 2147483647 20691 27 | 0.558 % |
12.38/12.44 c | 20928 | 29028 221868 884374 | 2147483647 20867 27 | 0.558 % |
12.48/12.59 c | 21121 | 29028 221868 884374 | 2147483647 21060 27 | 0.558 % |
12.58/12.63 c | 21334 | 29028 221868 884374 | 2147483647 21273 27 | 0.558 % |
12.68/12.72 c | 21572 | 29028 221868 884374 | 2147483647 21511 27 | 0.558 % |
12.78/12.86 c | 21829 | 29027 221863 884363 | 2147483647 21767 27 | 0.562 % |
12.88/12.90 c | 22111 | 29027 221863 884363 | 2147483647 22049 27 | 0.562 % |
12.88/12.98 c | 22420 | 29027 221863 884363 | 2147483647 22358 27 | 0.562 % |
12.98/13.08 c | 22763 | 29027 221863 884363 | 2147483647 22701 27 | 0.562 % |
13.18/13.24 c | 23135 | 29027 221863 884363 | 2147483647 23073 27 | 0.562 % |
13.28/13.38 c | 23544 | 29027 221863 884363 | 2147483647 23482 28 | 0.562 % |
13.38/13.43 c | 23644 | 29027 221863 884363 | 2147483647 23582 28 | 0.562 % |
13.38/13.46 c | 23755 | 29027 221863 884363 | 2147483647 23693 28 | 0.562 % |
13.38/13.49 c | 23878 | 29027 221863 884363 | 2147483647 23816 28 | 0.562 % |
13.48/13.55 c | 24013 | 29027 221863 884363 | 2147483647 23951 28 | 0.562 % |
13.48/13.59 c | 24160 | 29027 221863 884363 | 2147483647 24098 27 | 0.562 % |
13.68/13.71 c | 24321 | 29027 221863 884363 | 2147483647 24259 27 | 0.562 % |
13.68/13.75 c | 24498 | 29027 221863 884363 | 2147483647 24436 27 | 0.562 % |
13.78/13.86 c | 24692 | 29027 221863 884363 | 2147483647 24630 27 | 0.562 % |
13.88/13.95 c | 24904 | 29027 221863 884363 | 2147483647 24842 28 | 0.562 % |
13.98/14.02 c | 25137 | 29027 221863 884363 | 2147483647 25075 28 | 0.562 % |
14.18/14.23 c | 25393 | 29027 221863 884363 | 2147483647 25331 28 | 0.562 % |
14.18/14.29 c | 25674 | 29027 221863 884363 | 2147483647 25612 28 | 0.562 % |
14.28/14.39 c | 25984 | 29027 221863 884363 | 2147483647 25922 28 | 0.562 % |
14.48/14.51 c | 26323 | 29027 221863 884363 | 2147483647 26261 28 | 0.562 % |
14.58/14.61 c | 26696 | 29027 221863 884363 | 2147483647 26634 28 | 0.562 % |
14.68/14.70 c | 27115 | 29027 221863 884363 | 2147483647 27053 28 | 0.562 % |
14.68/14.78 c | 27565 | 29027 221863 884363 | 2147483647 27503 28 | 0.562 % |
14.78/14.85 c | 27667 | 29027 221863 884363 | 2147483647 27605 28 | 0.562 % |
14.88/14.91 c | 27778 | 29027 221863 884363 | 2147483647 27716 28 | 0.562 % |
14.88/14.96 c | 27902 | 29027 221863 884363 | 2147483647 27840 28 | 0.562 % |
14.88/15.00 c | 28036 | 29027 221863 884363 | 2147483647 27974 28 | 0.562 % |
14.98/15.07 c | 28185 | 29027 221863 884363 | 2147483647 28123 28 | 0.562 % |
15.07/15.19 c | 28347 | 29027 221863 884363 | 2147483647 28285 28 | 0.562 % |
15.17/15.27 c | 28523 | 29027 221863 884363 | 2147483647 28461 28 | 0.562 % |
15.28/15.33 c | 28716 | 29027 221863 884363 | 2147483647 28654 28 | 0.562 % |
15.38/15.47 c | 28931 | 29027 221863 884363 | 2147483647 28869 28 | 0.562 % |
15.47/15.51 c | 29167 | 29027 221863 884363 | 2147483647 29105 28 | 0.562 % |
15.57/15.63 c | 29423 | 29027 221863 884363 | 2147483647 29361 29 | 0.562 % |
15.57/15.67 c | 29704 | 29027 221863 884363 | 2147483647 29642 29 | 0.562 % |
15.67/15.75 c | 30013 | 29027 221863 884363 | 2147483647 29951 29 | 0.562 % |
15.77/15.83 c | 30352 | 29027 221863 884363 | 2147483647 30290 29 | 0.562 % |
15.88/15.96 c | 30726 | 29027 221863 884363 | 2147483647 30664 29 | 0.562 % |
16.08/16.15 c | 31136 | 29027 221863 884363 | 2147483647 31074 29 | 0.562 % |
16.18/16.23 c | 31585 | 29027 221863 884363 | 2147483647 31523 29 | 0.562 % |
16.28/16.35 c | 32078 | 29027 221863 884363 | 2147483647 32016 29 | 0.562 % |
16.28/16.38 c | 32179 | 29027 221863 884363 | 2147483647 32117 29 | 0.562 % |
16.39/16.46 c | 32290 | 29027 221863 884363 | 2147483647 32228 29 | 0.562 % |
16.49/16.51 c | 32411 | 29027 221863 884363 | 2147483647 32349 29 | 0.562 % |
16.49/16.56 c | 32544 | 29027 221863 884363 | 2147483647 32482 29 | 0.562 % |
16.58/16.65 c | 32691 | 29027 221863 884363 | 2147483647 32629 29 | 0.562 % |
16.68/16.77 c | 32851 | 29027 221863 884363 | 2147483647 32789 29 | 0.562 % |
16.78/16.82 c | 33029 | 29027 221863 884363 | 2147483647 32967 29 | 0.562 % |
16.78/16.86 c | 33225 | 29027 221863 884363 | 2147483647 33163 29 | 0.562 % |
16.98/17.01 c | 33437 | 29027 221863 884363 | 2147483647 33375 30 | 0.562 % |
16.98/17.07 c | 33670 | 29027 221863 884363 | 2147483647 33608 30 | 0.562 % |
16.98/17.08 c | 33926 | 29027 221863 884363 | 2147483647 33864 30 | 0.562 % |
17.08/17.19 c | 34208 | 29027 221863 884363 | 2147483647 34146 30 | 0.562 % |
17.28/17.39 c | 34518 | 29027 221863 884363 | 2147483647 34456 30 | 0.562 % |
17.38/17.48 c | 34857 | 29027 221863 884363 | 2147483647 34795 30 | 0.562 % |
17.59/17.67 c | 35229 | 29027 221863 884363 | 2147483647 35167 30 | 0.562 % |
17.78/17.83 c | 35641 | 29027 221863 884363 | 2147483647 35579 30 | 0.562 % |
17.98/18.10 c | 36090 | 29027 221863 884363 | 2147483647 36028 30 | 0.562 % |
18.18/18.21 c | 36583 | 29027 221863 884363 | 2147483647 36521 30 | 0.562 % |
18.58/18.65 c | 37125 | 29026 221795 884133 | 2147483647 37054 30 | 0.565 % |
18.68/18.72 c | 37225 | 29026 221795 884133 | 2147483647 37154 30 | 0.565 % |
18.68/18.78 c | 37336 | 29026 221795 884133 | 2147483647 37265 30 | 0.565 % |
18.78/18.86 c | 37457 | 29026 221795 884133 | 2147483647 37386 30 | 0.565 % |
18.88/18.95 c | 37591 | 29025 221795 884133 | 2147483647 37519 30 | 0.569 % |
18.98/19.00 c | 37737 | 29025 221795 884133 | 2147483647 37665 30 | 0.569 % |
18.98/19.06 c | 37897 | 29025 221795 884133 | 2147483647 37825 30 | 0.569 % |
18.98/19.09 c | 38073 | 29025 221795 884133 | 2147483647 38001 30 | 0.569 % |
19.08/19.14 c | 38266 | 29025 221795 884133 | 2147483647 38194 30 | 0.569 % |
19.18/19.24 c | 38480 | 29025 221795 884133 | 2147483647 38408 30 | 0.569 % |
19.18/19.27 c | 38713 | 29025 221795 884133 | 2147483647 38641 30 | 0.569 % |
19.28/19.34 c | 38969 | 29025 221795 884133 | 2147483647 38897 30 | 0.569 % |
19.38/19.40 c | 39250 | 29025 221795 884133 | 2147483647 39178 30 | 0.569 % |
19.48/19.51 c | 39559 | 29025 221795 884133 | 2147483647 39487 30 | 0.569 % |
19.48/19.57 c | 39899 | 29025 221795 884133 | 2147483647 39827 30 | 0.569 % |
19.58/19.65 c | 40271 | 29025 221795 884133 | 2147483647 40199 30 | 0.569 % |
19.68/19.75 c | 40680 | 29025 221795 884133 | 2147483647 40608 31 | 0.569 % |
19.78/19.88 c | 41129 | 29025 221795 884133 | 2147483647 41057 31 | 0.569 % |
19.98/20.08 c | 41622 | 29025 221795 884133 | 2147483647 41550 31 | 0.569 % |
20.18/20.23 c | 42164 | 29025 221795 884133 | 2147483647 42092 31 | 0.569 % |
20.28/20.37 c | 42760 | 29025 221795 884133 | 2147483647 42688 31 | 0.569 % |
20.38/20.44 c | 42861 | 29025 221795 884133 | 2147483647 42789 31 | 0.569 % |
20.48/20.51 c | 42971 | 29025 221795 884133 | 2147483647 42899 31 | 0.569 % |
20.48/20.57 c | 43092 | 29025 221795 884133 | 2147483647 43020 31 | 0.569 % |
20.58/20.62 c | 43225 | 29025 221795 884133 | 2147483647 43153 31 | 0.569 % |
20.58/20.68 c | 43372 | 29025 221795 884133 | 2147483647 43300 31 | 0.569 % |
20.68/20.75 c | 43532 | 29025 221784 884106 | 2147483647 43460 31 | 0.569 % |
20.68/20.78 c | 43708 | 29025 221784 884106 | 2147483647 43636 31 | 0.569 % |
20.88/20.91 c | 43903 | 29025 221784 884106 | 2147483647 43831 31 | 0.569 % |
20.88/21.00 c | 44116 | 29025 221784 884106 | 2147483647 44044 31 | 0.569 % |
20.98/21.07 c | 44349 | 29025 221784 884106 | 2147483647 44277 31 | 0.569 % |
21.08/21.10 c | 44605 | 29025 221784 884106 | 2147483647 44533 31 | 0.569 % |
21.08/21.18 c | 44886 | 29025 221784 884106 | 2147483647 44814 31 | 0.569 % |
21.18/21.27 c | 45195 | 29025 221784 884106 | 2147483647 45123 31 | 0.569 % |
21.38/21.41 c | 45534 | 29025 221784 884106 | 2147483647 45462 31 | 0.569 % |
21.48/21.56 c | 45908 | 29025 221784 884106 | 2147483647 45836 32 | 0.569 % |
21.68/21.70 c | 46318 | 29025 221784 884106 | 2147483647 46246 32 | 0.569 % |
21.88/21.93 c | 46768 | 29025 221784 884106 | 2147483647 46696 32 | 0.569 % |
22.18/22.24 c | 47261 | 29025 221784 884106 | 2147483647 47189 32 | 0.569 % |
22.28/22.38 c | 47804 | 29025 221784 884106 | 2147483647 47732 32 | 0.569 % |
22.38/22.49 c | 48401 | 29025 221784 884106 | 2147483647 48329 32 | 0.569 % |
22.68/22.72 c | 49056 | 29025 221784 884106 | 2147483647 48984 32 | 0.569 % |
22.68/22.76 c | 49156 | 29025 221784 884106 | 2147483647 49084 32 | 0.569 % |
22.78/22.81 c | 49266 | 29025 221784 884106 | 2147483647 49194 32 | 0.569 % |
22.78/22.84 c | 49387 | 29025 221784 884106 | 2147483647 49315 32 | 0.569 % |
22.78/22.89 c | 49521 | 29025 221784 884106 | 2147483647 49449 32 | 0.569 % |
22.88/22.95 c | 49667 | 29025 221784 884106 | 2147483647 49595 32 | 0.569 % |
22.98/23.00 c | 49828 | 29025 221784 884106 | 2147483647 49756 32 | 0.569 % |
23.08/23.18 c | 50005 | 29025 221784 884106 | 2147483647 49933 32 | 0.569 % |
23.18/23.27 c | 50198 | 29025 221784 884106 | 2147483647 50126 32 | 0.569 % |
23.38/23.41 c | 50412 | 29025 221784 884106 | 2147483647 50340 32 | 0.569 % |
23.48/23.50 c | 50645 | 29025 221784 884106 | 2147483647 50573 32 | 0.569 % |
23.58/23.60 c | 50901 | 29025 221784 884106 | 2147483647 50829 32 | 0.569 % |
23.68/23.70 c | 51183 | 29025 221784 884106 | 2147483647 51111 32 | 0.569 % |
23.68/23.77 c | 51492 | 29025 221784 884106 | 2147483647 51420 32 | 0.569 % |
23.88/23.90 c | 51831 | 29025 221784 884106 | 2147483647 51759 32 | 0.569 % |
24.09/24.13 c | 52204 | 29025 221784 884106 | 2147483647 52132 32 | 0.569 % |
24.19/24.22 c | 52617 | 29025 221784 884106 | 2147483647 52545 32 | 0.569 % |
24.38/24.40 c | 53067 | 29025 221784 884106 | 2147483647 52995 33 | 0.569 % |
24.58/24.63 c | 53561 | 29025 221784 884106 | 2147483647 53489 33 | 0.569 % |
24.68/24.76 c | 54103 | 29025 221784 884106 | 2147483647 54031 33 | 0.569 % |
24.98/25.03 c | 54699 | 29025 221784 884106 | 2147483647 54627 33 | 0.569 % |
25.08/25.15 c | 55354 | 29025 221784 884106 | 2147483647 55282 33 | 0.569 % |
25.38/25.43 c | 56074 | 29025 221784 884106 | 2147483647 56002 33 | 0.569 % |
25.38/25.46 c | 56175 | 29025 221784 884106 | 2147483647 56103 33 | 0.569 % |
25.48/25.54 c | 56288 | 29025 221784 884106 | 2147483647 56216 33 | 0.569 % |
25.58/25.61 c | 56411 | 29025 221784 884106 | 2147483647 56339 33 | 0.569 % |
25.68/25.70 c | 56544 | 29025 221784 884106 | 2147483647 56472 33 | 0.569 % |
25.68/25.76 c | 56690 | 29025 221784 884106 | 2147483647 56618 33 | 0.569 % |
25.78/25.82 c | 56850 | 29025 221784 884106 | 2147483647 56778 33 | 0.569 % |
25.88/25.92 c | 57026 | 29025 221784 884106 | 2147483647 56954 33 | 0.569 % |
25.88/25.98 c | 57221 | 29025 221784 884106 | 2147483647 57149 33 | 0.569 % |
26.08/26.10 c | 57434 | 29025 221784 884106 | 2147483647 57362 33 | 0.569 % |
26.18/26.21 c | 57667 | 29025 221784 884106 | 2147483647 57595 33 | 0.569 % |
26.28/26.39 c | 57923 | 29025 221784 884106 | 2147483647 57851 33 | 0.569 % |
26.38/26.48 c | 58205 | 29025 221784 884106 | 2147483647 58133 33 | 0.569 % |
26.48/26.55 c | 58515 | 29025 221784 884106 | 2147483647 58443 33 | 0.569 % |
26.68/26.73 c | 58854 | 29025 221784 884106 | 2147483647 58782 33 | 0.569 % |
26.78/26.83 c | 59227 | 29025 221784 884106 | 2147483647 59155 34 | 0.569 % |
26.88/26.94 c | 59637 | 29025 221784 884106 | 2147483647 59565 34 | 0.569 % |
26.98/27.04 c | 60088 | 29025 221784 884106 | 2147483647 60016 34 | 0.569 % |
27.18/27.25 c | 60581 | 29025 221784 884106 | 2147483647 60509 34 | 0.569 % |
27.28/27.35 c | 61130 | 29025 221784 884106 | 2147483647 61058 34 | 0.569 % |
27.58/27.62 c | 61727 | 29025 221784 884106 | 2147483647 61655 34 | 0.569 % |
27.88/27.93 c | 62382 | 29025 221784 884106 | 2147483647 62310 34 | 0.569 % |
28.08/28.15 c | 63103 | 29025 221784 884106 | 2147483647 63031 34 | 0.569 % |
28.38/28.40 c | 63895 | 29025 221784 884106 | 2147483647 63823 34 | 0.569 % |
28.38/28.45 c | 63995 | 29025 221784 884106 | 2147483647 63923 34 | 0.569 % |
28.49/28.57 c | 64105 | 29025 221784 884106 | 2147483647 64033 34 | 0.569 % |
28.59/28.68 c | 64227 | 29002 221408 882843 | 2147483647 64146 34 | 0.647 % |
28.68/28.73 c | 64362 | 29002 221408 882843 | 2147483647 64281 34 | 0.647 % |
28.78/28.81 c | 64508 | 29002 221408 882843 | 2147483647 64427 34 | 0.647 % |
28.88/28.96 c | 64669 | 29002 221408 882843 | 2147483647 64588 34 | 0.647 % |
28.98/29.03 c | 64847 | 29002 221408 882843 | 2147483647 64766 34 | 0.647 % |
29.08/29.14 c | 65040 | 29002 221408 882843 | 2147483647 64959 34 | 0.647 % |
29.18/29.22 c | 65253 | 29002 221408 882843 | 2147483647 65172 34 | 0.647 % |
29.18/29.28 c | 65486 | 29002 221408 882843 | 2147483647 65405 34 | 0.647 % |
29.38/29.46 c | 65742 | 29002 221408 882843 | 2147483647 65661 34 | 0.647 % |
29.48/29.53 c | 66028 | 29002 221408 882843 | 2147483647 65947 34 | 0.647 % |
29.58/29.61 c | 66338 | 29002 221408 882843 | 2147483647 66257 34 | 0.647 % |
29.58/29.64 c | 66678 | 29002 221408 882843 | 2147483647 66597 34 | 0.647 % |
29.78/29.84 c | 67050 | 29002 221408 882843 | 2147483647 66969 34 | 0.647 % |
29.88/29.97 c | 67459 | 29002 221408 882843 | 2147483647 67378 34 | 0.647 % |
29.98/30.09 c | 67910 | 29002 221408 882843 | 2147483647 67829 34 | 0.647 % |
30.28/30.34 c | 68404 | 29002 221408 882843 | 2147483647 68323 34 | 0.647 % |
30.48/30.57 c | 68949 | 29002 221408 882843 | 2147483647 68868 34 | 0.647 % |
30.58/30.68 c | 69545 | 28997 221408 882843 | 2147483647 69462 34 | 0.747 % |
30.87/30.91 c | 70200 | 28993 221408 882843 | 2147483647 70117 34 | 0.747 % |
30.97/31.03 c | 70920 | 28993 221408 882843 | 2147483647 70837 34 | 0.747 % |
31.27/31.34 c | 71712 | 28993 221408 882843 | 2147483647 71629 35 | 0.747 % |
31.57/31.65 c | 72586 | 28993 221408 882843 | 2147483647 72503 35 | 0.747 % |
31.67/31.71 c | 72686 | 28993 221408 882843 | 2147483647 72603 35 | 0.747 % |
31.67/31.76 c | 72796 | 28993 221408 882843 | 2147483647 72713 35 | 0.747 % |
31.78/31.81 c | 72918 | 28993 221408 882843 | 2147483647 72835 35 | 0.747 % |
31.78/31.88 c | 73053 | 28993 221408 882843 | 2147483647 72970 35 | 0.747 % |
31.88/31.96 c | 73200 | 28993 221408 882843 | 2147483647 73117 35 | 0.747 % |
31.97/32.02 c | 73360 | 28993 221408 882843 | 2147483647 73277 35 | 0.747 % |
32.07/32.10 c | 73538 | 28993 221408 882843 | 2147483647 73455 35 | 0.747 % |
32.07/32.13 c | 73732 | 28993 221408 882843 | 2147483647 73649 35 | 0.747 % |
32.17/32.21 c | 73951 | 28993 221408 882843 | 2147483647 73868 35 | 0.747 % |
32.27/32.32 c | 74184 | 28993 221408 882843 | 2147483647 74101 35 | 0.747 % |
32.47/32.58 c | 74440 | 28993 221408 882843 | 2147483647 74357 35 | 0.747 % |
32.67/32.70 c | 74722 | 28993 221408 882843 | 2147483647 74639 35 | 0.747 % |
32.77/32.82 c | 75031 | 28993 221408 882843 | 2147483647 74948 35 | 0.747 % |
32.98/33.06 c | 75370 | 28993 221408 882843 | 2147483647 75287 35 | 0.747 % |
33.17/33.28 c | 75742 | 28973 220604 879972 | 2147483647 75658 35 | 0.747 % |
33.37/33.48 c | 76151 | 28973 220604 879972 | 2147483647 76067 35 | 0.747 % |
33.47/33.59 c | 76600 | 28973 220604 879972 | 2147483647 76516 34 | 0.747 % |
33.67/33.80 c | 77096 | 28973 220604 879972 | 2147483647 77012 35 | 0.747 % |
33.88/33.96 c | 77638 | 28973 220604 879972 | 2147483647 77554 35 | 0.747 % |
34.09/34.12 c | 78235 | 28973 220604 879972 | 2147483647 78151 35 | 0.747 % |
34.38/34.43 c | 78892 | 28973 220604 879972 | 2147483647 78808 35 | 0.747 % |
34.58/34.65 c | 79612 | 28973 220604 879972 | 2147483647 79528 35 | 0.747 % |
34.78/34.86 c | 80408 | 28973 220604 879972 | 2147483647 80324 35 | 0.747 % |
35.08/35.20 c | 81279 | 28973 220604 879972 | 2147483647 81195 35 | 0.747 % |
35.47/35.56 c | 82237 | 28973 220604 879972 | 2147483647 82153 35 | 0.747 % |
35.57/35.62 c | 82339 | 28973 220604 879972 | 2147483647 82255 35 | 0.747 % |
35.57/35.67 c | 82451 | 28973 220604 879972 | 2147483647 82367 35 | 0.747 % |
35.67/35.76 c | 82573 | 28973 220604 879972 | 2147483647 82489 35 | 0.747 % |
35.77/35.88 c | 82708 | 28973 220604 879972 | 2147483647 82624 35 | 0.747 % |
35.87/36.00 c | 82854 | 28973 220604 879972 | 2147483647 82770 35 | 0.747 % |
35.97/36.07 c | 83017 | 28973 220604 879972 | 2147483647 82933 35 | 0.747 % |
36.07/36.18 c | 83193 | 28973 220604 879972 | 2147483647 83109 35 | 0.747 % |
36.18/36.22 c | 83386 | 28973 220604 879972 | 2147483647 83302 35 | 0.747 % |
36.28/36.36 c | 83598 | 28973 220604 879972 | 2147483647 83514 35 | 0.747 % |
36.37/36.44 c | 83831 | 28973 220604 879972 | 2147483647 83747 35 | 0.747 % |
36.47/36.53 c | 84090 | 28973 220604 879972 | 2147483647 84006 35 | 0.747 % |
36.57/36.63 c | 84371 | 28973 220604 879972 | 2147483647 84287 35 | 0.747 % |
36.67/36.77 c | 84681 | 28973 220604 879972 | 2147483647 84597 35 | 0.747 % |
36.97/37.08 c | 85021 | 28973 220604 879972 | 2147483647 84937 35 | 0.747 % |
37.17/37.21 c | 85393 | 28973 220604 879972 | 2147483647 85309 35 | 0.747 % |
37.38/37.42 c | 85803 | 28973 220604 879972 | 2147483647 85719 35 | 0.747 % |
37.57/37.65 c | 86253 | 28973 220604 879972 | 2147483647 86169 35 | 0.747 % |
37.77/37.89 c | 86746 | 28973 220604 879972 | 2147483647 86662 35 | 0.747 % |
37.97/38.08 c | 87290 | 28973 220604 879972 | 2147483647 87206 35 | 0.747 % |
38.17/38.29 c | 87887 | 28973 220604 879972 | 2147483647 87803 35 | 0.747 % |
38.57/38.67 c | 88542 | 28973 220604 879972 | 2147483647 88458 35 | 0.747 % |
38.77/38.85 c | 89264 | 28973 220604 879972 | 2147483647 89180 35 | 0.747 % |
39.07/39.15 c | 90058 | 28973 220604 879972 | 2147483647 89974 35 | 0.747 % |
39.48/39.55 c | 90929 | 28973 220604 879972 | 2147483647 90845 35 | 0.747 % |
39.98/40.07 c | 91887 | 28973 220604 879972 | 2147483647 91803 35 | 0.747 % |
40.38/40.45 c | 92941 | 28973 220604 879972 | 2147483647 92857 35 | 0.747 % |
40.38/40.47 c | 93043 | 28973 220604 879972 | 2147483647 92959 35 | 0.747 % |
40.48/40.53 c | 93153 | 28973 220604 879972 | 2147483647 93069 35 | 0.747 % |
40.58/40.65 c | 93274 | 28973 220604 879972 | 2147483647 93190 35 | 0.747 % |
40.68/40.73 c | 93407 | 28973 220604 879972 | 2147483647 93323 35 | 0.747 % |
40.78/40.82 c | 93555 | 28973 220604 879972 | 2147483647 93471 35 | 0.747 % |
40.88/40.92 c | 93715 | 28973 220604 879972 | 2147483647 93631 35 | 0.747 % |
40.97/41.01 c | 93894 | 28973 220604 879972 | 2147483647 93810 35 | 0.747 % |
41.17/41.20 c | 94087 | 28973 220604 879972 | 2147483647 94003 35 | 0.747 % |
41.27/41.35 c | 94299 | 28973 220604 879972 | 2147483647 94215 35 | 0.747 % |
41.47/41.50 c | 94533 | 28973 220604 879972 | 2147483647 94449 35 | 0.747 % |
41.57/41.63 c | 94789 | 28973 220604 879972 | 2147483647 94705 35 | 0.747 % |
41.78/41.88 c | 95070 | 28973 220604 879972 | 2147483647 94986 35 | 0.747 % |
42.07/42.17 c | 95380 | 28973 220604 879972 | 2147483647 95296 35 | 0.747 % |
42.27/42.36 c | 95719 | 28973 220604 879972 | 2147483647 95635 35 | 0.747 % |
42.47/42.57 c | 96091 | 28973 220604 879972 | 2147483647 96007 35 | 0.747 % |
42.67/42.76 c | 96500 | 28973 220604 879972 | 2147483647 96416 35 | 0.747 % |
42.88/42.90 c | 96953 | 28973 220604 879972 | 2147483647 96869 35 | 0.747 % |
43.07/43.15 c | 97446 | 28973 220604 879972 | 2147483647 97362 35 | 0.747 % |
43.37/43.40 c | 97991 | 28973 220604 879972 | 2147483647 97907 36 | 0.747 % |
43.47/43.57 c | 98588 | 28973 220604 879972 | 2147483647 98504 35 | 0.747 % |
43.77/43.89 c | 99243 | 28973 220604 879972 | 2147483647 99159 36 | 0.747 % |
43.98/44.09 c | 99964 | 28973 220604 879972 | 2147483647 99880 36 | 0.747 % |
44.57/44.60 c | 100756 | 28973 220604 879972 | 2147483647 100672 36 | 0.747 % |
44.67/44.78 c | 101628 | 28973 220604 879972 | 2147483647 101544 36 | 0.747 % |
45.27/45.32 c | 102586 | 28972 220541 879748 | 2147483647 102491 36 | 0.750 % |
45.57/45.62 c | 103641 | 28972 220541 879748 | 2147483647 103546 36 | 0.750 % |
46.18/46.21 c | 104800 | 28972 220541 879748 | 2147483647 104705 36 | 0.750 % |
46.18/46.25 c | 104901 | 28972 220541 879748 | 2147483647 104806 36 | 0.750 % |
46.27/46.33 c | 105012 | 28972 220541 879748 | 2147483647 104917 36 | 0.750 % |
46.37/46.41 c | 105135 | 28972 220541 879748 | 2147483647 105040 36 | 0.750 % |
46.47/46.58 c | 105269 | 28972 220541 879748 | 2147483647 105174 36 | 0.750 % |
46.57/46.66 c | 105416 | 28972 220541 879748 | 2147483647 105321 36 | 0.750 % |
46.67/46.79 c | 105577 | 28965 220541 879748 | 2147483647 105480 36 | 0.860 % |
46.87/46.91 c | 105754 | 28965 220541 879748 | 2147483647 105657 36 | 0.860 % |
46.97/47.10 c | 105948 | 28965 220541 879748 | 2147483647 105851 36 | 0.860 % |
47.07/47.15 c | 106162 | 28965 220541 879748 | 2147483647 106065 36 | 0.860 % |
47.37/47.44 c | 106395 | 28965 220541 879748 | 2147483647 106298 36 | 0.860 % |
47.47/47.57 c | 106653 | 28965 220541 879748 | 2147483647 106556 36 | 0.860 % |
47.67/47.79 c | 106935 | 28965 220541 879748 | 2147483647 106838 36 | 0.860 % |
47.87/47.98 c | 107244 | 28965 220541 879748 | 2147483647 107147 36 | 0.860 % |
48.17/48.22 c | 107584 | 28965 220541 879748 | 2147483647 107487 36 | 0.860 % |
48.27/48.38 c | 107956 | 28965 220541 879748 | 2147483647 107859 36 | 0.860 % |
48.47/48.59 c | 108365 | 28965 220541 879748 | 2147483647 108268 36 | 0.860 % |
48.87/48.92 c | 108814 | 28965 220541 879748 | 2147483647 108717 36 | 0.860 % |
48.97/49.09 c | 109308 | 28965 220541 879748 | 2147483647 109211 36 | 0.860 % |
49.27/49.35 c | 109850 | 28965 220541 879748 | 2147483647 109753 36 | 0.860 % |
49.57/49.60 c | 110446 | 28965 220541 879748 | 2147483647 110349 36 | 0.860 % |
50.27/50.32 c | 111102 | 28965 220541 879748 | 2147483647 111005 36 | 0.860 % |
50.57/50.68 c | 111824 | 28965 220541 879748 | 2147483647 111727 36 | 0.860 % |
51.07/51.12 c | 112616 | 28965 220541 879748 | 2147483647 112519 36 | 0.860 % |
51.37/51.47 c | 113487 | 28965 220541 879748 | 2147483647 113390 36 | 0.860 % |
51.77/51.82 c | 114446 | 28965 220541 879748 | 2147483647 114349 36 | 0.860 % |
51.97/52.05 c | 115499 | 28965 220541 879748 | 2147483647 115402 36 | 0.860 % |
52.57/52.62 c | 116658 | 28965 220541 879748 | 2147483647 116561 36 | 0.860 % |
53.08/53.11 c | 117931 | 28965 220541 879748 | 2147483647 117834 36 | 0.860 % |
53.18/53.20 c | 118032 | 28965 220541 879748 | 2147483647 117935 36 | 0.860 % |
53.18/53.25 c | 118142 | 28965 220541 879748 | 2147483647 118045 36 | 0.860 % |
53.28/53.35 c | 118263 | 28965 220541 879748 | 2147483647 118166 36 | 0.860 % |
53.38/53.47 c | 118396 | 28965 220541 879748 | 2147483647 118299 36 | 0.860 % |
53.48/53.57 c | 118542 | 28965 220541 879748 | 2147483647 118445 36 | 0.860 % |
53.58/53.68 c | 118702 | 28965 220541 879748 | 2147483647 118605 36 | 0.860 % |
53.78/53.81 c | 118879 | 28940 219963 877512 | 2147483647 118756 36 | 0.860 % |
53.97/54.01 c | 119072 | 28940 219963 877512 | 2147483647 118949 36 | 0.860 % |
54.07/54.12 c | 119284 | 28940 219963 877512 | 2147483647 119161 36 | 0.860 % |
54.27/54.33 c | 119517 | 28940 219963 877512 | 2147483647 119394 36 | 0.860 % |
54.47/54.54 c | 119777 | 28911 219963 877512 | 2147483647 119653 36 | 1.405 % |
54.67/54.75 c | 120059 | 28911 219963 877512 | 2147483647 119935 36 | 1.405 % |
54.77/54.82 c | 120368 | 28911 219963 877512 | 2147483647 120244 36 | 1.405 % |
54.88/54.96 c | 120707 | 28911 219963 877512 | 2147483647 120583 36 | 1.405 % |
55.17/55.23 c | 121080 | 28911 219963 877512 | 2147483647 120956 37 | 1.405 % |
55.27/55.38 c | 121489 | 28911 219963 877512 | 2147483647 121365 37 | 1.405 % |
55.57/55.63 c | 121940 | 28911 219963 877512 | 2147483647 121816 37 | 1.405 % |
55.57/55.69 c | 122433 | 28911 219963 877512 | 2147483647 122309 37 | 1.405 % |
55.98/56.06 c | 122975 | 28911 219963 877512 | 2147483647 122851 37 | 1.405 % |
56.37/56.42 c | 123572 | 28911 219963 877512 | 2147483647 123448 37 | 1.405 % |
56.67/56.76 c | 124230 | 28911 219963 877512 | 2147483647 124106 37 | 1.405 % |
56.97/57.03 c | 124951 | 28911 219963 877512 | 2147483647 124827 37 | 1.405 % |
57.37/57.41 c | 125744 | 28911 219963 877512 | 2147483647 125620 37 | 1.405 % |
57.77/57.83 c | 126616 | 28911 219963 877512 | 2147483647 126492 37 | 1.405 % |
58.18/58.24 c | 127576 | 28911 219963 877512 | 2147483647 127452 37 | 1.405 % |
58.78/58.88 c | 128630 | 28911 219963 877512 | 2147483647 128506 37 | 1.405 % |
59.58/59.65 c | 129788 | 28911 219963 877512 | 2147483647 129664 37 | 1.405 % |
60.28/60.36 c | 131061 | 28911 219963 877512 | 2147483647 130937 37 | 1.405 % |
60.88/60.94 c | 132461 | 28911 219963 877512 | 2147483647 132337 37 | 1.405 % |
60.97/61.07 c | 132563 | 28911 219963 877512 | 2147483647 132439 37 | 1.405 % |
61.07/61.11 c | 132673 | 28911 219963 877512 | 2147483647 132549 37 | 1.405 % |
61.27/61.31 c | 132794 | 28911 219963 877512 | 2147483647 132670 37 | 1.405 % |
61.37/61.40 c | 132927 | 28911 219963 877512 | 2147483647 132803 37 | 1.405 % |
61.58/61.62 c | 133076 | 28911 219963 877512 | 2147483647 132952 37 | 1.405 % |
61.77/61.82 c | 133239 | 28911 219963 877512 | 2147483647 133115 37 | 1.405 % |
61.87/61.96 c | 133416 | 28911 219963 877512 | 2147483647 133292 37 | 1.405 % |
62.07/62.13 c | 133611 | 28911 219963 877512 | 2147483647 133487 37 | 1.405 % |
62.17/62.28 c | 133824 | 28911 219963 877512 | 2147483647 133700 37 | 1.405 % |
62.27/62.38 c | 134059 | 28911 219963 877512 | 2147483647 133935 37 | 1.405 % |
62.58/62.62 c | 134315 | 28911 219963 877512 | 2147483647 134191 37 | 1.405 % |
62.68/62.78 c | 134597 | 28911 219963 877512 | 2147483647 134473 37 | 1.405 % |
62.97/63.05 c | 134906 | 28911 219963 877512 | 2147483647 134782 37 | 1.405 % |
63.17/63.20 c | 135247 | 28911 219963 877512 | 2147483647 135123 37 | 1.405 % |
63.27/63.38 c | 135621 | 28911 219963 877512 | 2147483647 135497 37 | 1.405 % |
63.78/63.85 c | 136034 | 28911 219963 877512 | 2147483647 135910 37 | 1.405 % |
63.97/64.05 c | 136484 | 28911 219963 877512 | 2147483647 136360 37 | 1.405 % |
64.27/64.40 c | 136978 | 28911 219963 877512 | 2147483647 136854 37 | 1.405 % |
64.67/64.78 c | 137521 | 28911 219963 877512 | 2147483647 137397 37 | 1.405 % |
64.97/65.07 c | 138119 | 28911 219963 877512 | 2147483647 137995 37 | 1.405 % |
65.47/65.52 c | 138774 | 28911 219963 877512 | 2147483647 138650 37 | 1.405 % |
66.27/66.30 c | 139494 | 28781 217578 868366 | 2147483647 139319 38 | 1.405 % |
67.08/67.16 c | 140289 | 28781 217578 868366 | 2147483647 140114 38 | 1.405 % |
67.88/68.00 c | 141160 | 28781 217578 868366 | 2147483647 140985 38 | 1.405 % |
68.48/68.56 c | 142118 | 28781 217578 868366 | 2147483647 141943 38 | 1.405 % |
69.08/69.17 c | 143171 | 28777 217578 868366 | 2147483647 142995 37 | 1.418 % |
69.88/69.96 c | 144329 | 28777 217578 868366 | 2147483647 144153 38 | 1.418 % |
70.48/70.54 c | 145604 | 28777 217578 868366 | 2147483647 145428 38 | 1.418 % |
71.28/71.38 c | 147004 | 28777 217578 868366 | 2147483647 146828 38 | 1.418 % |
72.48/72.55 c | 148547 | 28777 217578 868366 | 2147483647 148371 39 | 1.418 % |
72.58/72.66 c | 148647 | 28776 217578 868366 | 2147483647 148470 39 | 1.422 % |
72.67/72.77 c | 148759 | 28776 217578 868366 | 2147483647 148582 38 | 1.422 % |
72.77/72.84 c | 148880 | 28776 217578 868366 | 2147483647 148703 39 | 1.422 % |
72.87/72.97 c | 149014 | 28776 217578 868366 | 2147483647 148837 39 | 1.422 % |
73.07/73.17 c | 149161 | 28776 217578 868366 | 2147483647 148984 39 | 1.422 % |
73.17/73.26 c | 149321 | 28776 217578 868366 | 2147483647 149144 38 | 1.422 % |
73.27/73.38 c | 149497 | 28776 217578 868366 | 2147483647 149320 39 | 1.422 % |
73.47/73.56 c | 149690 | 28776 217578 868366 | 2147483647 149513 39 | 1.422 % |
73.68/73.74 c | 149902 | 28776 217578 868366 | 2147483647 149725 39 | 1.422 % |
73.97/74.02 c | 150135 | 28774 217578 868366 | 2147483647 149957 39 | 1.429 % |
74.07/74.12 c | 150392 | 28774 217578 868366 | 2147483647 150214 39 | 1.429 % |
74.07/74.18 c | 150675 | 28774 217578 868366 | 2147483647 150497 39 | 1.429 % |
74.27/74.32 c | 150985 | 28774 217578 868366 | 2147483647 150807 39 | 1.429 % |
74.68/74.71 c | 151324 | 28774 217578 868366 | 2147483647 151146 39 | 1.429 % |
74.97/75.04 c | 151697 | 28774 217578 868366 | 2147483647 151519 38 | 1.429 % |
75.17/75.25 c | 152106 | 28774 217578 868366 | 2147483647 151928 38 | 1.429 % |
75.57/75.69 c | 152557 | 28774 217578 868366 | 2147483647 152379 38 | 1.429 % |
75.67/75.76 c | 153051 | 28774 217578 868366 | 2147483647 152873 38 | 1.429 % |
76.17/76.25 c | 153593 | 28774 217578 868366 | 2147483647 153415 38 | 1.429 % |
76.48/76.59 c | 154191 | 28774 217578 868366 | 2147483647 154013 38 | 1.429 % |
76.88/76.95 c | 154846 | 28774 217578 868366 | 2147483647 154668 38 | 1.429 % |
77.48/77.50 c | 155571 | 28774 217578 868366 | 2147483647 155393 38 | 1.429 % |
77.88/77.99 c | 156363 | 28774 217578 868366 | 2147483647 156185 38 | 1.429 % |
78.48/78.57 c | 157234 | 28774 217578 868366 | 2147483647 157056 38 | 1.429 % |
79.28/79.36 c | 158192 | 28774 217358 867249 | 2147483647 143796 39 | 1.429 % |
79.78/79.89 c | 159245 | 28774 217358 867249 | 2147483647 144849 39 | 1.429 % |
80.68/80.74 c | 160403 | 28774 217358 867249 | 2147483647 146007 39 | 1.429 % |
81.48/81.51 c | 161681 | 28774 217358 867249 | 2147483647 147285 39 | 1.429 % |
82.08/82.11 c | 163084 | 28774 217358 867249 | 2147483647 148688 39 | 1.429 % |
83.08/83.19 c | 164627 | 28774 217358 867249 | 2147483647 150231 39 | 1.429 % |
84.28/84.35 c | 166321 | 28774 217358 867249 | 2147483647 151925 39 | 1.429 % |
84.38/84.40 c | 166421 | 28774 217358 867249 | 2147483647 152025 39 | 1.429 % |
84.58/84.60 c | 166532 | 28774 217358 867249 | 2147483647 152136 39 | 1.429 % |
84.58/84.69 c | 166653 | 28774 217358 867249 | 2147483647 152257 39 | 1.429 % |
84.78/84.80 c | 166789 | 28774 217358 867249 | 2147483647 152393 39 | 1.429 % |
84.88/84.98 c | 166936 | 28774 217358 867249 | 2147483647 152540 39 | 1.429 % |
85.08/85.11 c | 167097 | 28774 217358 867249 | 2147483647 152701 39 | 1.429 % |
85.18/85.26 c | 167277 | 28774 217358 867249 | 2147483647 152881 39 | 1.429 % |
85.38/85.43 c | 167472 | 28774 217358 867249 | 2147483647 153076 39 | 1.429 % |
85.38/85.46 c | 167684 | 28774 217358 867249 | 2147483647 153288 39 | 1.429 % |
85.58/85.62 c | 167919 | 28774 217358 867249 | 2147483647 153523 39 | 1.429 % |
85.68/85.80 c | 168175 | 28774 217358 867249 | 2147483647 153779 39 | 1.429 % |
85.88/85.99 c | 168456 | 28774 217358 867249 | 2147483647 154060 39 | 1.429 % |
86.18/86.21 c | 168765 | 28774 217358 867249 | 2147483647 154369 39 | 1.429 % |
86.58/86.60 c | 169104 | 28774 217358 867249 | 2147483647 154708 39 | 1.429 % |
86.88/86.97 c | 169478 | 28774 217358 867249 | 2147483647 155082 39 | 1.429 % |
87.28/87.34 c | 169889 | 28774 217358 867249 | 2147483647 155493 39 | 1.429 % |
87.58/87.64 c | 170338 | 28774 217358 867249 | 2147483647 155942 39 | 1.429 % |
87.88/87.98 c | 170831 | 28774 217358 867249 | 2147483647 156435 39 | 1.429 % |
88.18/88.26 c | 171373 | 28774 217358 867249 | 2147483647 156977 39 | 1.429 % |
88.58/88.68 c | 171971 | 28774 217358 867249 | 2147483647 157575 39 | 1.429 % |
89.08/89.11 c | 172627 | 28774 217358 867249 | 2147483647 158231 39 | 1.429 % |
89.48/89.59 c | 173347 | 28774 217358 867249 | 2147483647 158951 39 | 1.429 % |
90.18/90.21 c | 174139 | 28774 217358 867249 | 2147483647 159743 39 | 1.429 % |
90.57/90.60 c | 175010 | 28774 217358 867249 | 2147483647 160614 39 | 1.429 % |
91.08/91.18 c | 175968 | 28774 217358 867249 | 2147483647 161572 39 | 1.429 % |
91.58/91.65 c | 177021 | 28774 217358 867249 | 2147483647 162625 39 | 1.429 % |
92.68/92.74 c | 178179 | 28774 217358 867249 | 2147483647 163783 39 | 1.429 % |
93.38/93.41 c | 179453 | 28774 217358 867249 | 2147483647 165057 39 | 1.429 % |
94.48/94.55 c | 180853 | 28774 217358 867249 | 2147483647 166457 39 | 1.429 % |
95.48/95.51 c | 182393 | 28773 217291 867022 | 2147483647 167994 39 | 1.432 % |
96.88/96.93 c | 184088 | 28773 217291 867022 | 2147483647 169689 39 | 1.432 % |
98.07/98.13 c | 185951 | 28773 217291 867022 | 2147483647 171552 39 | 1.432 % |
98.17/98.27 c | 186051 | 28773 217291 867022 | 2147483647 171652 39 | 1.432 % |
98.47/98.55 c | 186162 | 28773 217291 867022 | 2147483647 171763 39 | 1.432 % |
98.57/98.67 c | 186283 | 28773 217291 867022 | 2147483647 171884 39 | 1.432 % |
98.77/98.82 c | 186416 | 28773 217291 867022 | 2147483647 172017 39 | 1.432 % |
98.98/99.00 c | 186563 | 28773 217291 867022 | 2147483647 172164 39 | 1.432 % |
99.17/99.25 c | 186724 | 28773 217291 867022 | 2147483647 172325 39 | 1.432 % |
99.47/99.55 c | 186900 | 28773 217291 867022 | 2147483647 172501 39 | 1.432 % |
99.67/99.75 c | 187093 | 28773 217291 867022 | 2147483647 172694 39 | 1.432 % |
99.87/99.94 c | 187305 | 28773 217291 867022 | 2147483647 172906 39 | 1.432 % |
99.98/100.07 c | 187538 | 28773 217291 867022 | 2147483647 173139 39 | 1.432 % |
100.27/100.36 c | 187794 | 28773 217291 867022 | 2147483647 173395 39 | 1.432 % |
100.47/100.58 c | 188075 | 28773 217291 867022 | 2147483647 173676 39 | 1.432 % |
100.87/100.93 c | 188385 | 28773 217291 867022 | 2147483647 173986 39 | 1.432 % |
101.27/101.39 c | 188726 | 28773 217291 867022 | 2147483647 174327 39 | 1.432 % |
101.67/101.79 c | 189098 | 28773 217291 867022 | 2147483647 174699 39 | 1.432 % |
101.97/102.07 c | 189510 | 28773 217291 867022 | 2147483647 175111 39 | 1.432 % |
102.29/102.32 c | 189961 | 28773 217291 867022 | 2147483647 175562 39 | 1.432 % |
102.68/102.79 c | 190457 | 28773 217291 867022 | 2147483647 176058 39 | 1.432 % |
103.18/103.27 c | 191000 | 28773 217291 867022 | 2147483647 176601 39 | 1.432 % |
103.68/103.71 c | 191596 | 28773 217291 867022 | 2147483647 177197 39 | 1.432 % |
103.98/104.09 c | 192251 | 28773 217291 867022 | 2147483647 177852 39 | 1.432 % |
104.58/104.63 c | 192971 | 28773 217291 867022 | 2147483647 178572 39 | 1.432 % |
105.28/105.35 c | 193764 | 28773 217291 867022 | 2147483647 179365 40 | 1.432 % |
105.98/106.00 c | 194635 | 28773 217291 867022 | 2147483647 180236 40 | 1.432 % |
106.48/106.50 c | 195594 | 28773 217291 867022 | 2147483647 181195 40 | 1.432 % |
107.28/107.33 c | 196649 | 28773 217291 867022 | 2147483647 182250 40 | 1.432 % |
107.97/108.10 c | 197808 | 28773 217291 867022 | 2147483647 183409 40 | 1.432 % |
108.97/109.04 c | 199086 | 28773 217291 867022 | 2147483647 184687 40 | 1.432 % |
110.17/110.28 c | 200487 | 28773 217291 867022 | 2147483647 186088 40 | 1.432 % |
112.18/112.29 c | 202028 | 28773 217291 867022 | 2147483647 187629 40 | 1.432 % |
113.19/113.26 c | 203723 | 28773 217291 867022 | 2147483647 189324 40 | 1.432 % |
114.39/114.48 c | 205590 | 28773 217291 867022 | 2147483647 191191 40 | 1.432 % |
115.18/115.23 c | 207639 | 28773 217291 867022 | 2147483647 193240 40 | 1.432 % |
115.28/115.31 c | 207739 | 28773 217291 867022 | 2147483647 193340 40 | 1.432 % |
115.39/115.50 c | 207849 | 28773 217291 867022 | 2147483647 193450 40 | 1.432 % |
115.58/115.64 c | 207975 | 28773 217291 867022 | 2147483647 193576 40 | 1.432 % |
115.79/115.80 c | 208108 | 28773 217291 867022 | 2147483647 193709 40 | 1.432 % |
115.89/115.99 c | 208255 | 28773 217291 867022 | 2147483647 193856 40 | 1.432 % |
116.18/116.22 c | 208415 | 28773 217291 867022 | 2147483647 194016 40 | 1.432 % |
116.28/116.37 c | 208591 | 28773 217291 867022 | 2147483647 194192 40 | 1.432 % |
116.59/116.64 c | 208786 | 28773 217291 867022 | 2147483647 194387 40 | 1.432 % |
116.78/116.89 c | 208998 | 28773 217291 867022 | 2147483647 194599 40 | 1.432 % |
117.08/117.15 c | 209232 | 28773 217291 867022 | 2147483647 194833 40 | 1.432 % |
117.28/117.39 c | 209488 | 28773 217291 867022 | 2147483647 195089 40 | 1.432 % |
117.59/117.62 c | 209769 | 28773 217291 867022 | 2147483647 195370 40 | 1.432 % |
117.98/118.07 c | 210078 | 28773 217291 867022 | 2147483647 195679 40 | 1.432 % |
118.28/118.34 c | 210417 | 28773 217291 867022 | 2147483647 196018 40 | 1.432 % |
118.69/118.75 c | 210790 | 28773 217291 867022 | 2147483647 196391 40 | 1.432 % |
119.08/119.19 c | 211200 | 28773 217291 867022 | 2147483647 196801 40 | 1.432 % |
119.58/119.67 c | 211649 | 28773 217291 867022 | 2147483647 197250 40 | 1.432 % |
120.18/120.28 c | 212142 | 28773 217291 867022 | 2147483647 197743 40 | 1.432 % |
120.68/120.79 c | 212684 | 28773 217291 867022 | 2147483647 198285 40 | 1.432 % |
121.28/121.39 c | 213283 | 28773 217291 867022 | 2147483647 198884 40 | 1.432 % |
121.78/121.86 c | 213939 | 28773 217291 867022 | 2147483647 199540 40 | 1.432 % |
122.38/122.40 c | 214659 | 28773 217291 867022 | 2147483647 200260 40 | 1.432 % |
122.98/123.08 c | 215451 | 28773 217291 867022 | 2147483647 201052 41 | 1.432 % |
123.88/123.93 c | 216323 | 28773 217291 867022 | 2147483647 201924 41 | 1.432 % |
124.88/124.93 c | 217282 | 28773 217291 867022 | 2147483647 202883 41 | 1.432 % |
125.68/125.76 c | 218336 | 28773 217291 867022 | 2147483647 203937 41 | 1.432 % |
126.59/126.62 c | 219495 | 28773 217291 867022 | 2147483647 205096 41 | 1.432 % |
127.69/127.70 c | 220769 | 28773 217291 867022 | 2147483647 206370 41 | 1.432 % |
128.59/128.64 c | 222170 | 28773 217291 867022 | 2147483647 207771 41 | 1.432 % |
129.79/129.83 c | 223710 | 28773 217291 867022 | 2147483647 209311 41 | 1.432 % |
131.89/131.98 c | 225404 | 28773 217291 867022 | 2147483647 211005 41 | 1.432 % |
132.99/133.04 c | 227267 | 28773 217291 867022 | 2147483647 212868 41 | 1.432 % |
135.18/135.22 c | 229316 | 28773 217291 867022 | 2147483647 214917 41 | 1.432 % |
136.68/136.74 c | 231569 | 28773 217291 867022 | 215601 217170 41 | 1.432 % |
137.38/137.47 c | 231670 | 28773 217291 867022 | 215601 184393 40 | 1.432 % |
137.48/137.56 c | 231780 | 28773 217291 867022 | 215601 184503 40 | 1.432 % |
137.68/137.71 c | 231901 | 28773 217291 867022 | 215601 184624 40 | 1.432 % |
137.88/137.97 c | 232034 | 28773 217291 867022 | 215601 184757 40 | 1.432 % |
137.98/138.05 c | 232185 | 28773 217291 867022 | 215601 184908 40 | 1.432 % |
138.28/138.33 c | 232347 | 28773 217291 867022 | 215601 185070 40 | 1.432 % |
138.38/138.49 c | 232523 | 28773 217291 867022 | 215601 185246 40 | 1.432 % |
138.68/138.76 c | 232718 | 28773 217291 867022 | 215601 185441 40 | 1.432 % |
138.78/138.89 c | 232932 | 28773 217291 867022 | 215601 185655 40 | 1.432 % |
139.18/139.22 c | 233165 | 28773 217291 867022 | 215601 185888 40 | 1.432 % |
139.48/139.54 c | 233421 | 28773 217291 867022 | 215601 186144 40 | 1.432 % |
139.68/139.76 c | 233703 | 28773 217291 867022 | 215601 186426 40 | 1.432 % |
139.98/140.03 c | 234015 | 28773 217291 867022 | 215601 186738 40 | 1.432 % |
140.58/140.60 c | 234355 | 28773 217291 867022 | 215601 187078 40 | 1.432 % |
140.78/140.85 c | 234727 | 28773 217291 867022 | 215601 187450 40 | 1.432 % |
141.08/141.17 c | 235136 | 28773 217291 867022 | 215601 187859 40 | 1.432 % |
141.38/141.47 c | 235585 | 28773 217291 867022 | 215601 188308 40 | 1.432 % |
142.08/142.13 c | 236079 | 28773 217291 867022 | 215601 188802 40 | 1.432 % |
142.58/142.68 c | 236621 | 28773 217291 867022 | 215601 189344 40 | 1.432 % |
143.18/143.24 c | 237217 | 28773 217291 867022 | 215601 189940 40 | 1.432 % |
143.68/143.78 c | 237876 | 28773 217291 867022 | 215601 190599 40 | 1.432 % |
144.58/144.65 c | 238596 | 28773 217291 867022 | 215601 191319 40 | 1.432 % |
145.08/145.11 c | 239392 | 28773 217291 867022 | 215601 192115 40 | 1.432 % |
145.78/145.80 c | 240264 | 28773 217291 867022 | 192725 192987 40 | 1.432 % |
147.08/147.18 c | 241222 | 28773 217291 867022 | 192725 193945 41 | 1.432 % |
148.68/148.70 c | 242277 | 28773 217291 867022 | 192725 175606 41 | 1.432 % |
149.48/149.50 c | 243435 | 28773 217291 867022 | 192725 176764 41 | 1.432 % |
150.48/150.52 c | 244709 | 28773 217291 867022 | 192725 178038 41 | 1.432 % |
151.29/151.32 c | 246109 | 28773 217291 867022 | 192725 179438 41 | 1.432 % |
152.69/152.76 c | 247649 | 28773 217291 867022 | 192725 180978 41 | 1.432 % |
154.29/154.39 c | 249344 | 28773 217291 867022 | 192725 182673 41 | 1.432 % |
155.89/155.96 c | 251209 | 28773 217291 867022 | 2147483647 184538 42 | 1.432 % |
157.39/157.47 c | 253258 | 28773 217291 867022 | 2147483647 186587 42 | 1.432 % |
159.69/159.78 c | 255512 | 28773 217291 867022 | 2147483647 188841 42 | 1.432 % |
161.09/161.17 c | 257991 | 28773 217291 867022 | 2147483647 191320 42 | 1.432 % |
161.39/161.41 c | 258093 | 28773 217291 867022 | 2147483647 191422 42 | 1.432 % |
161.49/161.55 c | 258203 | 28773 217291 867022 | 2147483647 191532 42 | 1.432 % |
161.69/161.73 c | 258325 | 28773 217291 867022 | 2147483647 191654 42 | 1.432 % |
161.79/161.89 c | 258459 | 28773 217291 867022 | 2147483647 191788 42 | 1.432 % |
161.99/162.08 c | 258607 | 28773 217291 867022 | 2147483647 191936 42 | 1.432 % |
162.19/162.23 c | 258768 | 28773 217291 867022 | 2147483647 192097 42 | 1.432 % |
162.39/162.42 c | 258944 | 28773 217291 867022 | 2147483647 192273 42 | 1.432 % |
162.69/162.74 c | 259138 | 28773 217291 867022 | 2147483647 192467 42 | 1.432 % |
162.99/163.05 c | 259350 | 28773 217291 867022 | 2147483647 192679 42 | 1.432 % |
163.39/163.47 c | 259584 | 28773 217291 867022 | 2147483647 192913 42 | 1.432 % |
163.69/163.77 c | 259844 | 28773 217291 867022 | 2147483647 193173 42 | 1.432 % |
163.99/164.00 c | 260125 | 28773 217291 867022 | 193330 193454 42 | 1.432 % |
164.39/164.42 c | 260434 | 28773 217291 867022 | 193330 193763 42 | 1.432 % |
164.99/165.05 c | 260773 | 28773 217291 867022 | 193330 169861 42 | 1.432 % |
165.49/165.52 c | 261146 | 28773 217291 867022 | 193330 170234 42 | 1.432 % |
165.89/165.98 c | 261560 | 28773 217291 867022 | 193330 170648 42 | 1.432 % |
166.39/166.45 c | 262009 | 28773 217291 867022 | 193330 171097 42 | 1.432 % |
166.79/166.84 c | 262505 | 28773 217291 867022 | 193330 171593 42 | 1.432 % |
167.19/167.27 c | 263049 | 28773 217291 867022 | 193330 172137 42 | 1.432 % |
167.39/167.46 c | 263645 | 28773 217291 867022 | 193330 172733 42 | 1.432 % |
168.19/168.21 c | 264300 | 28773 217291 867022 | 193330 173388 42 | 1.432 % |
168.89/168.91 c | 265020 | 28773 217291 867022 | 193330 174108 42 | 1.432 % |
169.69/169.78 c | 265814 | 28773 217291 867022 | 193330 174902 42 | 1.432 % |
170.49/170.58 c | 266686 | 28773 217291 867022 | 193330 175774 42 | 1.432 % |
171.59/171.61 c | 267648 | 28773 217291 867022 | 193330 176736 42 | 1.432 % |
172.49/172.51 c | 268704 | 28773 217291 867022 | 193330 177792 42 | 1.432 % |
173.59/173.68 c | 269862 | 28773 217291 867022 | 193330 178950 42 | 1.432 % |
174.39/174.42 c | 271135 | 28773 217291 867022 | 179090 180223 42 | 1.432 % |
176.09/176.13 c | 272536 | 28773 217291 867022 | 179090 157144 41 | 1.432 % |
177.39/177.42 c | 274076 | 28773 217291 867022 | 179090 158684 41 | 1.432 % |
178.79/178.82 c | 275775 | 28773 217291 867022 | 179090 160383 41 | 1.432 % |
180.59/180.67 c | 277638 | 28773 217291 867022 | 179090 162246 41 | 1.432 % |
182.49/182.56 c | 279687 | 28773 217291 867022 | 179090 164295 42 | 1.432 % |
184.09/184.17 c | 281942 | 28773 217291 867022 | 164608 166550 42 | 1.432 % |
186.09/186.15 c | 284420 | 28773 217291 867022 | 164608 139748 40 | 1.432 % |
188.29/188.37 c | 287148 | 28773 217291 867022 | 164608 142476 40 | 1.432 % |
188.39/188.49 c | 287249 | 28773 217291 867022 | 164608 142577 40 | 1.432 % |
188.59/188.61 c | 287359 | 28773 217291 867022 | 164608 142687 40 | 1.432 % |
188.69/188.74 c | 287480 | 28773 217291 867022 | 164608 142808 40 | 1.432 % |
188.79/188.83 c | 287613 | 28773 217291 867022 | 164608 142941 40 | 1.432 % |
188.99/189.03 c | 287759 | 28773 217291 867022 | 164608 143087 40 | 1.432 % |
189.19/189.27 c | 287925 | 28773 217291 867022 | 164608 143253 40 | 1.432 % |
189.29/189.38 c | 288103 | 28773 217291 867022 | 164608 143431 40 | 1.432 % |
189.49/189.58 c | 288296 | 28773 217291 867022 | 164608 143624 40 | 1.432 % |
189.79/189.84 c | 288508 | 28773 217291 867022 | 164608 143836 40 | 1.432 % |
190.09/190.15 c | 288743 | 28773 217291 867022 | 164608 144071 40 | 1.432 % |
190.29/190.39 c | 288999 | 28773 217291 867022 | 164608 144327 40 | 1.432 % |
190.69/190.78 c | 289283 | 28762 216912 865724 | 164608 144609 40 | 1.470 % |
191.19/191.28 c | 289592 | 28762 216912 865724 | 164608 144918 40 | 1.470 % |
191.39/191.49 c | 289931 | 28762 216912 865724 | 164608 145257 40 | 1.470 % |
191.79/191.86 c | 290304 | 28762 216912 865724 | 2147483647 145630 40 | 1.470 % |
192.39/192.40 c | 290714 | 28762 216912 865724 | 2147483647 146040 40 | 1.470 % |
192.69/192.76 c | 291164 | 28762 216912 865724 | 2147483647 146490 40 | 1.470 % |
192.99/193.02 c | 291659 | 28762 216912 865724 | 2147483647 146985 40 | 1.470 % |
193.39/193.49 c | 292204 | 28762 216912 865724 | 2147483647 147530 40 | 1.470 % |
194.09/194.11 c | 292801 | 28762 216912 865724 | 2147483647 148127 41 | 1.470 % |
194.49/194.53 c | 293456 | 28762 216912 865724 | 2147483647 148782 40 | 1.470 % |
195.19/195.21 c | 294176 | 28762 216912 865724 | 2147483647 149502 41 | 1.470 % |
195.59/195.69 c | 294969 | 28762 216912 865724 | 2147483647 150295 41 | 1.470 % |
197.09/197.19 c | 295842 | 28762 216912 865724 | 2147483647 151168 41 | 1.470 % |
197.99/198.08 c | 296803 | 28762 216912 865724 | 2147483647 152129 41 | 1.470 % |
199.29/199.37 c | 297858 | 28762 216912 865724 | 2147483647 153184 41 | 1.470 % |
200.39/200.41 c | 299016 | 28762 216912 865724 | 2147483647 154342 41 | 1.470 % |
202.19/202.26 c | 300289 | 28762 216912 865724 | 2147483647 155615 41 | 1.470 % |
203.89/203.99 c | 301689 | 28762 216912 865724 | 2147483647 157015 41 | 1.470 % |
205.09/205.13 c | 303229 | 28762 216912 865724 | 2147483647 158555 41 | 1.470 % |
206.99/207.05 c | 304927 | 28762 216912 865724 | 2147483647 160253 42 | 1.470 % |
208.09/208.15 c | 306791 | 28762 216912 865724 | 2147483647 162117 42 | 1.470 % |
209.59/209.63 c | 308842 | 28762 216912 865724 | 2147483647 164168 42 | 1.470 % |
212.69/212.80 c | 311095 | 28762 216912 865724 | 2147483647 166421 43 | 1.470 % |
214.39/214.43 c | 313573 | 28762 216912 865724 | 2147483647 168899 43 | 1.470 % |
216.39/216.48 c | 316298 | 28762 216912 865724 | 2147483647 171624 43 | 1.470 % |
218.69/218.75 c | 319295 | 28762 216912 865724 | 2147483647 174621 43 | 1.470 % |
218.89/218.92 c | 319395 | 28762 216912 865724 | 2147483647 174721 43 | 1.470 % |
218.99/219.06 c | 319506 | 28762 216912 865724 | 2147483647 174832 43 | 1.470 % |
219.19/219.26 c | 319628 | 28762 216912 865724 | 2147483647 174954 43 | 1.470 % |
219.49/219.51 c | 319761 | 28762 216912 865724 | 2147483647 175087 43 | 1.470 % |
219.69/219.77 c | 319908 | 28762 216912 865724 | 2147483647 175234 43 | 1.470 % |
219.99/220.08 c | 320068 | 28762 216912 865724 | 175326 175394 43 | 1.470 % |
220.19/220.23 c | 320244 | 28762 216912 865724 | 175326 175570 43 | 1.470 % |
220.49/220.58 c | 320437 | 28762 216912 865724 | 175326 175763 43 | 1.470 % |
221.10/221.12 c | 320649 | 28762 216912 865724 | 175326 155292 42 | 1.470 % |
221.39/221.42 c | 320882 | 28762 216912 865724 | 175326 155525 42 | 1.470 % |
221.59/221.65 c | 321142 | 28762 216912 865724 | 175326 155785 42 | 1.470 % |
221.89/221.95 c | 321426 | 28762 216912 865724 | 175326 156069 42 | 1.470 % |
222.09/222.11 c | 321735 | 28762 216912 865724 | 175326 156378 42 | 1.470 % |
222.39/222.48 c | 322074 | 28762 216912 865724 | 175326 156717 42 | 1.470 % |
222.89/222.98 c | 322447 | 28762 216912 865724 | 175326 157090 42 | 1.470 % |
223.69/223.71 c | 322857 | 28762 216912 865724 | 175326 157500 42 | 1.470 % |
223.89/223.93 c | 323306 | 28762 216912 865724 | 175326 157949 42 | 1.470 % |
224.39/224.45 c | 323801 | 28755 216837 865530 | 175326 158441 42 | 1.494 % |
224.99/225.07 c | 324344 | 28755 216837 865530 | 175326 158984 42 | 1.494 % |
225.59/225.68 c | 324940 | 28755 216837 865530 | 175326 159580 42 | 1.494 % |
226.69/226.72 c | 325599 | 28755 216837 865530 | 175326 160239 42 | 1.494 % |
227.49/227.54 c | 326322 | 28755 216837 865530 | 175326 160962 42 | 1.494 % |
228.29/228.35 c | 327114 | 28755 216837 865530 | 175326 161754 42 | 1.494 % |
228.70/228.76 c | 327985 | 28755 216837 865530 | 175326 162625 42 | 1.494 % |
229.90/229.97 c | 328943 | 28755 216837 865530 | 175326 163583 42 | 1.494 % |
231.39/231.45 c | 329997 | 28755 216837 865530 | 175326 164637 42 | 1.494 % |
232.49/232.55 c | 331155 | 28755 216837 865530 | 2147483647 165795 42 | 1.494 % |
233.49/233.59 c | 332429 | 28755 216837 865530 | 2147483647 167069 42 | 1.494 % |
234.59/234.60 c | 333833 | 28755 216837 865530 | 2147483647 168473 42 | 1.494 % |
237.19/237.25 c | 335373 | 28755 216837 865530 | 2147483647 170013 42 | 1.494 % |
239.09/239.12 c | 337070 | 28755 216837 865530 | 2147483647 171710 42 | 1.494 % |
240.99/241.03 c | 338936 | 28755 216837 865530 | 2147483647 173576 42 | 1.494 % |
243.10/243.11 c | 340986 | 28755 216837 865530 | 2147483647 175626 42 | 1.494 % |
244.69/244.70 c | 343239 | 28755 216837 865530 | 2147483647 177879 42 | 1.494 % |
246.89/246.96 c | 345717 | 28755 216837 865530 | 2147483647 180357 42 | 1.494 % |
249.90/249.97 c | 348442 | 28755 216837 865530 | 2147483647 183082 43 | 1.494 % |
252.20/252.27 c | 351440 | 28755 216837 865530 | 184640 186080 43 | 1.494 % |
255.90/255.90 c | 354736 | 28755 216837 865530 | 184640 169154 42 | 1.494 % |
256.00/256.06 c | 354837 | 28755 216837 865530 | 184640 169255 42 | 1.494 % |
256.20/256.28 c | 354947 | 28755 216837 865530 | 184640 169365 42 | 1.494 % |
256.40/256.40 c | 355069 | 28755 216837 865530 | 184640 169487 42 | 1.494 % |
256.50/256.53 c | 355202 | 28755 216837 865530 | 184640 169620 42 | 1.494 % |
256.70/256.74 c | 355349 | 28755 216837 865530 | 184640 169767 42 | 1.494 % |
257.00/257.00 c | 355509 | 28755 216837 865530 | 184640 169927 42 | 1.494 % |
257.30/257.33 c | 355685 | 28755 216837 865530 | 184640 170103 42 | 1.494 % |
257.60/257.62 c | 355878 | 28755 216837 865530 | 184640 170296 42 | 1.494 % |
257.80/257.88 c | 356091 | 28755 216837 865530 | 184640 170509 42 | 1.494 % |
258.10/258.17 c | 356324 | 28755 216837 865530 | 184640 170742 42 | 1.494 % |
258.80/258.80 c | 356581 | 28755 216837 865530 | 184640 170999 42 | 1.494 % |
259.10/259.14 c | 356862 | 28755 216837 865530 | 184640 171280 42 | 1.494 % |
259.50/259.58 c | 357171 | 28755 216837 865530 | 184640 171589 42 | 1.494 % |
260.20/260.26 c | 357511 | 28755 216837 865530 | 184640 171929 42 | 1.494 % |
260.50/260.57 c | 357883 | 28755 216837 865530 | 184640 172301 42 | 1.494 % |
261.10/261.14 c | 358292 | 28755 216837 865530 | 184640 172710 42 | 1.494 % |
261.70/261.76 c | 358742 | 28755 216837 865530 | 184640 173160 42 | 1.494 % |
262.30/262.34 c | 359235 | 28755 216837 865530 | 184640 173653 42 | 1.494 % |
262.80/262.87 c | 359778 | 28755 216837 865530 | 184640 174196 42 | 1.494 % |
263.60/263.66 c | 360374 | 28755 216837 865530 | 2147483647 174792 42 | 1.494 % |
264.00/264.01 c | 361030 | 28755 216837 865530 | 2147483647 175448 42 | 1.494 % |
265.10/265.12 c | 361751 | 28755 216837 865530 | 2147483647 176169 42 | 1.494 % |
265.70/265.71 c | 362545 | 28755 216837 865530 | 2147483647 176963 42 | 1.494 % |
266.60/266.63 c | 363416 | 28755 216837 865530 | 2147483647 177834 42 | 1.494 % |
267.60/267.69 c | 364376 | 28755 216837 865530 | 2147483647 178794 42 | 1.494 % |
268.80/268.82 c | 365429 | 28755 216837 865530 | 2147483647 179847 43 | 1.494 % |
269.80/269.83 c | 366587 | 28755 216837 865530 | 2147483647 181005 43 | 1.494 % |
271.00/271.05 c | 367862 | 28755 216837 865530 | 2147483647 182280 43 | 1.494 % |
272.50/272.53 c | 369262 | 28755 216837 865530 | 2147483647 183680 43 | 1.494 % |
273.91/273.98 c | 370802 | 28755 216837 865530 | 184419 185220 43 | 1.494 % |
275.30/275.38 c | 372499 | 28755 216837 865530 | 184419 165879 42 | 1.494 % |
277.00/277.08 c | 374362 | 28755 216837 865530 | 184419 167742 42 | 1.494 % |
279.10/279.14 c | 376413 | 28755 216837 865530 | 184419 169793 42 | 1.494 % |
280.80/280.84 c | 378666 | 28755 216837 865530 | 184419 172046 42 | 1.494 % |
283.71/283.72 c | 381145 | 28755 216837 865530 | 173380 174525 42 | 1.494 % |
285.91/285.96 c | 383872 | 28755 216837 865530 | 173380 153278 41 | 1.494 % |
288.80/288.86 c | 386870 | 28755 216837 865530 | 173380 156276 42 | 1.494 % |
291.20/291.23 c | 390168 | 28755 216837 865530 | 159407 159574 42 | 1.494 % |
295.81/295.83 c | 393794 | 28755 216837 865530 | 159407 135649 41 | 1.494 % |
295.91/295.94 c | 393896 | 28755 216837 865530 | 159407 135751 41 | 1.494 % |
296.00/296.06 c | 394006 | 28755 216837 865530 | 159407 135861 41 | 1.494 % |
296.20/296.20 c | 394128 | 28755 216837 865530 | 159407 135983 41 | 1.494 % |
296.40/296.43 c | 394261 | 28755 216837 865530 | 159407 136116 41 | 1.494 % |
296.60/296.61 c | 394408 | 28755 216837 865530 | 159407 136263 41 | 1.494 % |
296.70/296.77 c | 394568 | 28755 216837 865530 | 159407 136423 41 | 1.494 % |
296.91/296.96 c | 394746 | 28755 216837 865530 | 159407 136601 41 | 1.494 % |
297.20/297.28 c | 394939 | 28755 216837 865530 | 159407 136794 41 | 1.494 % |
297.40/297.43 c | 395151 | 28755 216837 865530 | 159407 137006 41 | 1.494 % |
297.60/297.70 c | 395384 | 28755 216837 865530 | 159407 137239 41 | 1.494 % |
298.01/298.07 c | 395640 | 28755 216837 865530 | 159407 137495 41 | 1.494 % |
298.50/298.54 c | 395923 | 28755 216837 865530 | 159407 137778 41 | 1.494 % |
298.80/298.89 c | 396235 | 28755 216837 865530 | 159407 138090 41 | 1.494 % |
299.30/299.31 c | 396575 | 28755 216837 865530 | 159407 138430 41 | 1.494 % |
299.70/299.77 c | 396950 | 28755 216837 865530 | 159407 138805 41 | 1.494 % |
300.00/300.06 c | 397361 | 28755 216837 865530 | 159407 139216 41 | 1.494 % |
300.40/300.43 c | 397813 | 28755 216837 865530 | 159407 139668 41 | 1.494 % |
300.90/300.96 c | 398307 | 28755 216837 865530 | 159407 140162 41 | 1.494 % |
301.60/301.63 c | 398850 | 28755 216837 865530 | 159407 140705 41 | 1.494 % |
302.20/302.22 c | 399448 | 28755 216837 865530 | 159407 141303 41 | 1.494 % |
302.80/302.86 c | 400108 | 28755 216837 865530 | 2147483647 141963 41 | 1.494 % |
303.81/303.90 c | 400828 | 28755 216837 865530 | 2147483647 142683 41 | 1.494 % |
304.90/304.93 c | 401621 | 28755 216837 865530 | 2147483647 143476 42 | 1.494 % |
305.61/305.60 c | 402492 | 28755 216837 865530 | 2147483647 144347 42 | 1.494 % |
306.70/306.71 c | 403450 | 28755 216837 865530 | 2147483647 145305 42 | 1.494 % |
307.60/307.61 c | 404505 | 28755 216837 865530 | 2147483647 146360 41 | 1.494 % |
308.90/308.95 c | 405663 | 28755 216837 865530 | 2147483647 147518 42 | 1.494 % |
310.40/310.44 c | 406936 | 28755 216837 865530 | 2147483647 148791 42 | 1.494 % |
312.00/312.03 c | 408336 | 28755 216837 865530 | 2147483647 150191 42 | 1.494 % |
313.80/313.84 c | 409877 | 28755 216837 865530 | 2147483647 151732 43 | 1.494 % |
315.90/315.92 c | 411571 | 28755 216837 865530 | 2147483647 153426 43 | 1.494 % |
317.40/317.49 c | 413435 | 28755 216837 865530 | 2147483647 155290 43 | 1.494 % |
320.01/320.06 c | 415484 | 28755 216837 865530 | 2147483647 157339 43 | 1.494 % |
322.40/322.41 c | 417737 | 28755 216837 865530 | 2147483647 159592 43 | 1.494 % |
324.70/324.78 c | 420215 | 28755 216837 865530 | 2147483647 162070 43 | 1.494 % |
327.81/327.84 c | 422940 | 28755 216837 865530 | 2147483647 164795 43 | 1.494 % |
330.30/330.36 c | 425939 | 28755 216837 865530 | 2147483647 167794 43 | 1.494 % |
333.50/333.57 c | 429236 | 28755 216837 865530 | 2147483647 171091 43 | 1.494 % |
338.31/338.33 c | 432862 | 28755 216837 865530 | 171855 174717 44 | 1.494 % |
342.12/342.17 c | 436849 | 28755 216837 865530 | 171855 152110 43 | 1.494 % |
342.21/342.25 c | 436950 | 28755 216837 865530 | 171855 152211 43 | 1.494 % |
342.41/342.41 c | 437061 | 28755 216837 865530 | 171855 152322 43 | 1.494 % |
342.61/342.64 c | 437182 | 28755 216837 865530 | 171855 152443 43 | 1.494 % |
342.81/342.87 c | 437316 | 28755 216837 865530 | 171855 152577 43 | 1.494 % |
343.01/343.03 c | 437464 | 28755 216837 865530 | 171855 152725 43 | 1.494 % |
343.22/343.29 c | 437624 | 28755 216837 865530 | 171855 152885 43 | 1.494 % |
343.51/343.54 c | 437800 | 28755 216837 865530 | 171855 153061 43 | 1.494 % |
343.81/343.83 c | 437993 | 28755 216837 865530 | 171855 153254 43 | 1.494 % |
344.01/344.01 c | 438206 | 28755 216837 865530 | 171855 153467 42 | 1.494 % |
344.41/344.45 c | 438440 | 28755 216837 865530 | 171855 153701 43 | 1.494 % |
344.71/344.73 c | 438699 | 28755 216837 865530 | 171855 153960 43 | 1.494 % |
345.01/345.05 c | 438981 | 28755 216837 865530 | 171855 154242 43 | 1.494 % |
345.51/345.51 c | 439290 | 28755 216837 865530 | 171855 154551 43 | 1.494 % |
345.71/345.76 c | 439634 | 28755 216837 865530 | 171855 154895 43 | 1.494 % |
346.11/346.16 c | 440007 | 28755 216837 865530 | 155261 155268 43 | 1.494 % |
346.61/346.65 c | 440419 | 28755 216837 865530 | 155261 155680 43 | 1.494 % |
347.21/347.27 c | 440868 | 28755 216837 865530 | 155261 156129 43 | 1.494 % |
348.11/348.18 c | 441362 | 28755 216837 865530 | 155261 140841 42 | 1.494 % |
348.72/348.77 c | 441904 | 28755 216837 865530 | 155261 141383 42 | 1.494 % |
349.51/349.53 c | 442501 | 28755 216837 865530 | 155261 141980 42 | 1.494 % |
350.21/350.24 c | 443156 | 28755 216837 865530 | 155261 142635 42 | 1.494 % |
351.31/351.31 c | 443876 | 28755 216837 865530 | 155261 143355 42 | 1.494 % |
352.21/352.24 c | 444669 | 28755 216837 865530 | 155261 144148 42 | 1.494 % |
353.41/353.43 c | 445540 | 28755 216837 865530 | 155261 145019 43 | 1.494 % |
354.31/354.37 c | 446498 | 28755 216837 865530 | 155261 145977 43 | 1.494 % |
355.22/355.23 c | 447551 | 28755 216837 865530 | 155261 147030 42 | 1.494 % |
356.51/356.59 c | 448709 | 28755 216837 865530 | 155261 148188 42 | 1.494 % |
358.01/358.01 c | 449982 | 28755 216837 865530 | 155261 149461 43 | 1.494 % |
359.81/359.87 c | 451382 | 28755 216837 865530 | 2147483647 150861 43 | 1.494 % |
361.01/361.09 c | 452922 | 28755 216837 865530 | 2147483647 152401 43 | 1.494 % |
363.31/363.37 c | 454616 | 28755 216837 865530 | 2147483647 154095 43 | 1.494 % |
365.22/365.27 c | 456480 | 28755 216837 865530 | 2147483647 155959 43 | 1.494 % |
368.81/368.89 c | 458531 | 28755 216837 865530 | 2147483647 158010 44 | 1.494 % |
370.01/370.06 c | 460784 | 28755 216837 865530 | 159480 160263 44 | 1.494 % |
374.02/374.06 c | 463263 | 28755 216837 865530 | 159480 128621 43 | 1.494 % |
376.51/376.52 c | 465988 | 28755 216837 865530 | 159480 131346 43 | 1.494 % |
380.71/380.77 c | 468986 | 28755 216837 865530 | 159480 134344 44 | 1.494 % |
384.51/384.56 c | 472283 | 28755 216837 865530 | 135358 137641 44 | 1.494 % |
387.12/387.18 c | 475908 | 28755 216837 865530 | 135358 127502 43 | 1.494 % |
391.91/391.97 c | 479895 | 28755 216837 865530 | 135358 131489 43 | 1.494 % |
396.92/396.92 c | 484280 | 28755 216837 865530 | 2147483647 135874 43 | 1.494 % |
397.12/397.16 c | 484380 | 28755 216837 865530 | 2147483647 135974 43 | 1.494 % |
397.32/397.32 c | 484491 | 28755 216837 865530 | 2147483647 136085 43 | 1.494 % |
397.52/397.51 c | 484615 | 28755 216837 865530 | 2147483647 136209 43 | 1.494 % |
397.72/397.71 c | 484749 | 28755 216837 865530 | 2147483647 136343 43 | 1.494 % |
397.92/397.95 c | 484895 | 28755 216837 865530 | 2147483647 136489 43 | 1.494 % |
398.12/398.15 c | 485055 | 28755 216837 865530 | 2147483647 136649 43 | 1.494 % |
398.42/398.43 c | 485232 | 28755 216837 865530 | 2147483647 136826 43 | 1.494 % |
398.62/398.65 c | 485425 | 28755 216837 865530 | 2147483647 137019 43 | 1.494 % |
398.72/398.77 c | 485641 | 28755 216837 865530 | 2147483647 137235 43 | 1.494 % |
399.02/399.09 c | 485875 | 28755 216837 865530 | 2147483647 137469 43 | 1.494 % |
399.32/399.34 c | 486136 | 28755 216837 865530 | 2147483647 137730 43 | 1.494 % |
399.81/399.81 c | 486417 | 28755 216837 865530 | 2147483647 138011 43 | 1.494 % |
400.32/400.31 c | 486726 | 28755 216837 865530 | 2147483647 138320 43 | 1.494 % |
400.82/400.82 c | 487067 | 28755 216837 865530 | 2147483647 138661 43 | 1.494 % |
401.32/401.33 c | 487439 | 28755 216837 865530 | 2147483647 139033 43 | 1.494 % |
401.72/401.75 c | 487848 | 28755 216837 865530 | 2147483647 139442 43 | 1.494 % |
402.32/402.33 c | 488298 | 28755 216837 865530 | 2147483647 139892 43 | 1.494 % |
403.22/403.20 c | 488791 | 28755 216837 865530 | 2147483647 140385 43 | 1.494 % |
403.92/403.93 c | 489335 | 28755 216837 865530 | 2147483647 140929 43 | 1.494 % |
404.72/404.77 c | 489931 | 28755 216837 865530 | 2147483647 141525 43 | 1.494 % |
405.42/405.49 c | 490587 | 28755 216837 865530 | 2147483647 142181 43 | 1.494 % |
406.32/406.37 c | 491309 | 28755 216837 865530 | 2147483647 142903 43 | 1.494 % |
407.42/407.44 c | 492103 | 28751 216779 865326 | 2147483647 143696 43 | 1.507 % |
408.82/408.88 c | 492974 | 28751 216779 865326 | 2147483647 144567 43 | 1.507 % |
409.42/409.49 c | 493935 | 28751 216779 865326 | 2147483647 145528 43 | 1.507 % |
411.22/411.26 c | 494988 | 28751 216779 865326 | 2147483647 146581 43 | 1.507 % |
412.32/412.38 c | 496146 | 28751 216779 865326 | 2147483647 147739 43 | 1.507 % |
413.91/413.95 c | 497419 | 28751 216779 865326 | 2147483647 149012 43 | 1.507 % |
416.92/416.97 c | 498819 | 28751 216779 865326 | 2147483647 150412 44 | 1.507 % |
419.22/419.23 c | 500359 | 28751 216779 865326 | 151595 151952 44 | 1.507 % |
421.82/421.80 c | 502054 | 28751 216779 865326 | 151595 153647 44 | 1.507 % |
423.62/423.67 c | 503918 | 28751 216779 865326 | 151595 137074 44 | 1.507 % |
426.42/426.44 c | 505968 | 28751 216779 865326 | 151595 139124 44 | 1.507 % |
429.72/429.71 c | 508221 | 28751 216779 865326 | 151595 141377 44 | 1.507 % |
433.72/433.76 c | 510699 | 28751 216779 865326 | 143156 143855 45 | 1.507 % |
437.02/437.02 c | 513431 | 28751 216779 865326 | 143156 129422 45 | 1.507 % |
439.32/439.35 c | 516428 | 28751 216779 865326 | 143156 132419 45 | 1.507 % |
442.72/442.76 c | 519724 | 28751 216779 865326 | 143156 135715 46 | 1.507 % |
450.03/450.08 c | 523349 | 28751 216779 865326 | 135992 139340 45 | 1.507 % |
454.13/454.16 c | 527340 | 28751 216779 865326 | 135992 118170 43 | 1.507 % |
457.93/457.97 c | 531726 | 28751 216779 865326 | 120831 122556 44 | 1.507 % |
460.73/460.70 c | 536555 | 28751 216779 865326 | 120831 113011 42 | 1.507 % |
460.83/460.89 c | 536655 | 28751 216779 865326 | 120831 113111 42 | 1.507 % |
461.03/461.01 c | 536766 | 28751 216779 865326 | 120831 113222 42 | 1.507 % |
461.23/461.26 c | 536887 | 28751 216779 865326 | 120831 113343 42 | 1.507 % |
461.43/461.46 c | 537021 | 28751 216779 865326 | 120831 113477 42 | 1.507 % |
461.53/461.59 c | 537168 | 28751 216779 865326 | 120831 113624 42 | 1.507 % |
461.73/461.76 c | 537328 | 28751 216779 865326 | 120831 113784 42 | 1.507 % |
461.93/461.95 c | 537505 | 28751 216779 865326 | 120831 113961 42 | 1.507 % |
462.33/462.38 c | 537699 | 28750 216768 865272 | 120831 114153 42 | 1.511 % |
462.63/462.65 c | 537912 | 28750 216768 865272 | 120831 114366 42 | 1.511 % |
462.93/462.92 c | 538145 | 28750 216768 865272 | 120831 114599 42 | 1.511 % |
463.23/463.23 c | 538403 | 28750 216768 865272 | 120831 114857 42 | 1.511 % |
463.63/463.60 c | 538686 | 28750 216768 865272 | 120831 115140 42 | 1.511 % |
464.13/464.10 c | 538996 | 28750 216768 865272 | 120831 115450 42 | 1.511 % |
464.53/464.51 c | 539337 | 28750 216768 865272 | 120831 115791 42 | 1.511 % |
464.93/464.99 c | 539711 | 28750 216768 865272 | 120831 116165 42 | 1.511 % |
465.23/465.25 c | 540120 | 28750 216768 865272 | 2147483647 116574 42 | 1.511 % |
466.03/466.07 c | 540569 | 28750 216768 865272 | 2147483647 117023 42 | 1.511 % |
466.53/466.55 c | 541062 | 28750 216768 865272 | 2147483647 117516 42 | 1.511 % |
467.23/467.28 c | 541607 | 28750 216768 865272 | 2147483647 118061 42 | 1.511 % |
467.93/467.97 c | 542206 | 28750 216768 865272 | 2147483647 118660 42 | 1.511 % |
468.83/468.81 c | 542861 | 28750 216768 865272 | 2147483647 119315 42 | 1.511 % |
469.73/469.71 c | 543581 | 28750 216768 865272 | 2147483647 120035 42 | 1.511 % |
470.33/470.39 c | 544373 | 28750 216768 865272 | 2147483647 120827 42 | 1.511 % |
471.23/471.23 c | 545245 | 28750 216768 865272 | 2147483647 121699 42 | 1.511 % |
472.03/472.00 c | 546203 | 28750 216768 865272 | 2147483647 122657 42 | 1.511 % |
473.43/473.43 c | 547257 | 28750 216768 865272 | 2147483647 123711 43 | 1.511 % |
474.53/474.56 c | 548415 | 28750 216768 865272 | 2147483647 124869 43 | 1.511 % |
476.03/476.04 c | 549689 | 28750 216768 865272 | 2147483647 126143 42 | 1.511 % |
477.13/477.16 c | 551091 | 28750 216768 865272 | 2147483647 127545 42 | 1.511 % |
479.43/479.40 c | 552631 | 28750 216768 865272 | 2147483647 129085 43 | 1.511 % |
480.83/480.81 c | 554329 | 28750 216768 865272 | 2147483647 130783 42 | 1.511 % |
483.23/483.29 c | 556193 | 28750 216768 865272 | 2147483647 132647 43 | 1.511 % |
485.13/485.10 c | 558242 | 28750 216768 865272 | 2147483647 134696 43 | 1.511 % |
489.73/489.77 c | 560495 | 28750 216768 865272 | 2147483647 136949 43 | 1.511 % |
491.63/491.60 c | 562974 | 28750 216768 865272 | 2147483647 139428 43 | 1.511 % |
494.73/494.74 c | 565701 | 28750 216768 865272 | 2147483647 142155 43 | 1.511 % |
498.73/498.79 c | 568698 | 28750 216768 865272 | 2147483647 145152 43 | 1.511 % |
503.63/503.66 c | 571996 | 28750 216768 865272 | 2147483647 148450 43 | 1.511 % |
506.73/506.77 c | 575621 | 28750 216768 865272 | 2147483647 152075 43 | 1.511 % |
512.03/512.00 c | 579608 | 28750 216768 865272 | 2147483647 156062 43 | 1.511 % |
517.43/517.44 c | 583993 | 28750 216768 865272 | 2147483647 160447 43 | 1.511 % |
522.63/522.65 c | 588818 | 28750 216768 865272 | 2147483647 165272 43 | 1.511 % |
530.63/530.66 c | 594123 | 28750 216768 865272 | 2147483647 170577 43 | 1.511 % |
530.93/530.97 c | 594224 | 28750 216768 865272 | 2147483647 170678 43 | 1.511 % |
531.24/531.24 c | 594334 | 28750 216768 865272 | 2147483647 170788 43 | 1.511 % |
531.43/531.43 c | 594455 | 28750 216768 865272 | 2147483647 170909 43 | 1.511 % |
531.83/531.85 c | 594591 | 28750 216768 865272 | 2147483647 171045 43 | 1.511 % |
532.13/532.16 c | 594737 | 28750 216768 865272 | 2147483647 171191 43 | 1.511 % |
532.53/532.51 c | 594899 | 28750 216768 865272 | 2147483647 171353 43 | 1.511 % |
532.93/532.90 c | 595076 | 28750 216768 865272 | 2147483647 171530 43 | 1.511 % |
533.23/533.28 c | 595270 | 28750 216768 865272 | 2147483647 171724 43 | 1.511 % |
533.63/533.67 c | 595482 | 28750 216768 865272 | 2147483647 171936 43 | 1.511 % |
534.13/534.15 c | 595715 | 28750 216768 865272 | 2147483647 172169 43 | 1.511 % |
534.54/534.59 c | 595972 | 28750 216768 865272 | 2147483647 172426 43 | 1.511 % |
535.23/535.24 c | 596254 | 28750 216768 865272 | 2147483647 172708 43 | 1.511 % |
535.64/535.62 c | 596563 | 28750 216768 865272 | 2147483647 173017 43 | 1.511 % |
536.33/536.37 c | 596902 | 28750 216768 865272 | 2147483647 173356 43 | 1.511 % |
536.93/536.99 c | 597275 | 28750 216768 865272 | 2147483647 173729 43 | 1.511 % |
537.63/537.66 c | 597684 | 28750 216768 865272 | 2147483647 174138 43 | 1.511 % |
538.23/538.24 c | 598134 | 28750 216768 865272 | 2147483647 174588 43 | 1.511 % |
539.23/539.20 c | 598627 | 28750 216768 865272 | 2147483647 175081 43 | 1.511 % |
540.53/540.53 c | 599169 | 28750 216768 865272 | 2147483647 175623 43 | 1.511 % |
541.24/541.28 c | 599766 | 28750 216768 865272 | 2147483647 176220 43 | 1.511 % |
542.53/542.58 c | 600421 | 28750 216768 865272 | 2147483647 176875 43 | 1.511 % |
543.44/543.47 c | 601141 | 28750 216768 865272 | 2147483647 177595 43 | 1.511 % |
545.43/545.42 c | 601934 | 28750 216768 865272 | 2147483647 178388 43 | 1.511 % |
546.83/546.83 c | 602805 | 28750 216768 865272 | 2147483647 179259 43 | 1.511 % |
548.73/548.73 c | 603764 | 28750 216768 865272 | 2147483647 180218 43 | 1.511 % |
550.54/550.53 c | 604817 | 28750 216768 865272 | 2147483647 181271 43 | 1.511 % |
552.94/552.97 c | 605976 | 28750 216768 865272 | 2147483647 182430 43 | 1.511 % |
555.34/555.36 c | 607251 | 28750 216768 865272 | 2147483647 183705 43 | 1.511 % |
558.85/558.86 c | 608652 | 28750 216768 865272 | 2147483647 185106 43 | 1.511 % |
561.24/561.26 c | 610192 | 28750 216768 865272 | 186456 186646 43 | 1.511 % |
564.35/564.37 c | 611886 | 28750 216768 865272 | 186456 164345 42 | 1.511 % |
567.74/567.71 c | 613749 | 28750 216768 865272 | 186456 166208 42 | 1.511 % |
569.75/569.71 c | 615798 | 28750 216768 865272 | 186456 168257 42 | 1.511 % |
572.84/572.81 c | 618051 | 28750 216768 865272 | 186456 170510 42 | 1.511 % |
576.74/576.74 c | 620529 | 28750 216768 865272 | 172459 172988 42 | 1.511 % |
580.64/580.70 c | 623255 | 28750 216768 865272 | 172459 158416 39 | 1.511 % |
585.75/585.78 c | 626254 | 28750 216768 865272 | 172459 161415 39 | 1.511 % |
590.95/590.98 c | 629550 | 28750 216768 865272 | 172459 164711 39 | 1.511 % |
597.05/597.00 c | 633175 | 28358 209237 836519 | 2147483647 168176 40 | 2.854 % |
603.55/603.53 c | 637164 | 28358 209237 836519 | 2147483647 172165 39 | 2.854 % |
610.35/610.35 c | 641551 | 28358 209237 836519 | 2147483647 176552 39 | 2.854 % |
620.45/620.49 c | 646375 | 28358 209237 836519 | 2147483647 181376 39 | 2.854 % |
630.05/630.05 c | 651681 | 28333 209188 836332 | 155480 136073 35 | 20.863 % |
630.45/630.46 c ===============================================================================
630.45/630.46 c restarts : 991
630.45/630.46 c conflicts : 651920 (1042 /sec)
630.45/630.46 c decisions : 1608353 (1.53 % random) (2570 /sec)
630.45/630.46 c propagations : 226319584 (361623 /sec)
630.45/630.46 c conflict literals : 29765023 (41.22 % deleted)
630.45/630.46 c Memory used : 61.38 MB
630.45/630.46 c CPU time : 625.845 s
630.45/630.46 c
630.45/630.46 s UNSATISFIABLE
630.45/630.47 s UNSATISFIABLE
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1834215-1242828776/watcher-1834215-1242828776 -o /tmp/evaluation-result-1834215-1242828776/solver-1834215-1242828776 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1834215-1242828776.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.11 1.03 1.01 3/64 12107
/proc/meminfo: memFree=1717376/2055920 swapFree=4039288/4192956
[pid=12107] ppid=12105 vsize=5356 CPUtime=0
/proc/12107/stat : 12107 (SatELiteGTI) S 12105 12107 11755 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310911042 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12107/statm: 1339 237 197 169 0 50 0
[startup+0.0289601 s]
/proc/loadavg: 1.11 1.03 1.01 3/64 12107
/proc/meminfo: memFree=1717376/2055920 swapFree=4039288/4192956
[pid=12107] ppid=12105 vsize=5356 CPUtime=0
/proc/12107/stat : 12107 (SatELiteGTI) S 12105 12107 11755 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310911042 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12107/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.10194 s]
/proc/loadavg: 1.11 1.03 1.01 3/64 12107
/proc/meminfo: memFree=1717376/2055920 swapFree=4039288/4192956
[pid=12107] ppid=12105 vsize=5356 CPUtime=0
/proc/12107/stat : 12107 (SatELiteGTI) S 12105 12107 11755 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310911042 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12107/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301884 s]
/proc/loadavg: 1.11 1.03 1.01 3/64 12107
/proc/meminfo: memFree=1717376/2055920 swapFree=4039288/4192956
[pid=12107] ppid=12105 vsize=5356 CPUtime=0
/proc/12107/stat : 12107 (SatELiteGTI) S 12105 12107 11755 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310911042 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12107/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701768 s]
/proc/loadavg: 1.11 1.03 1.01 3/64 12107
/proc/meminfo: memFree=1717376/2055920 swapFree=4039288/4192956
[pid=12107] ppid=12105 vsize=5356 CPUtime=0
/proc/12107/stat : 12107 (SatELiteGTI) S 12105 12107 11755 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310911042 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12107/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50154 s]
/proc/loadavg: 1.11 1.03 1.01 2/66 12112
/proc/meminfo: memFree=1638832/2055920 swapFree=4039288/4192956
[pid=12107] ppid=12105 vsize=5356 CPUtime=0
/proc/12107/stat : 12107 (SatELiteGTI) S 12105 12107 11755 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310911042 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12107/statm: 1339 237 197 169 0 50 0
[pid=12111] ppid=12107 vsize=89728 CPUtime=1.48
/proc/12111/stat : 12111 (SatELite_releas) R 12107 12107 11755 0 -1 4194304 20909 0 0 0 134 14 0 0 25 0 1 0 310911042 91881472 19362 1992294400 134512640 135223648 4294956128 18446744073709551615 134737406 0 0 4096 3 0 0 0 17 1 0 0
/proc/12111/statm: 22432 19362 76 173 0 22257 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 95084
[startup+3.10208 s]
/proc/loadavg: 1.11 1.03 1.01 2/66 12112
/proc/meminfo: memFree=1628656/2055920 swapFree=4039288/4192956
[pid=12107] ppid=12105 vsize=5356 CPUtime=0
/proc/12107/stat : 12107 (SatELiteGTI) S 12105 12107 11755 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310911042 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12107/statm: 1339 237 197 169 0 50 0
[pid=12111] ppid=12107 vsize=95208 CPUtime=3.09
/proc/12111/stat : 12111 (SatELite_releas) R 12107 12107 11755 0 -1 4194304 22078 0 0 0 290 19 0 0 25 0 1 0 310911042 97492992 20531 1992294400 134512640 135223648 4294956128 18446744073709551615 134737406 0 0 4096 3 0 0 0 17 1 0 0
/proc/12111/statm: 23802 20531 76 173 0 23627 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 100564
[startup+6.30117 s]
/proc/loadavg: 1.18 1.04 1.01 2/66 12113
/proc/meminfo: memFree=1680240/2055920 swapFree=4039288/4192956
[pid=12107] ppid=12105 vsize=5356 CPUtime=4.46
/proc/12107/stat : 12107 (SatELiteGTI) S 12105 12107 11755 0 -1 4194304 336 24377 0 0 0 0 422 24 16 0 1 0 310911042 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12107/statm: 1339 239 197 169 0 50 0
[pid=12113] ppid=12107 vsize=16548 CPUtime=1.82
/proc/12113/stat : 12113 (minisat_static) R 12107 12107 11755 0 -1 4194304 3867 0 0 0 180 2 0 0 25 0 1 0 310911489 16945152 3853 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12113/statm: 4137 3853 77 171 0 3964 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 21904
[startup+12.7023 s]
/proc/loadavg: 1.16 1.04 1.01 2/66 12113
/proc/meminfo: memFree=1677488/2055920 swapFree=4039288/4192956
[pid=12107] ppid=12105 vsize=5356 CPUtime=4.46
/proc/12107/stat : 12107 (SatELiteGTI) S 12105 12107 11755 0 -1 4194304 336 24377 0 0 0 0 422 24 16 0 1 0 310911042 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12107/statm: 1339 239 197 169 0 50 0
[pid=12113] ppid=12107 vsize=19196 CPUtime=8.22
/proc/12113/stat : 12113 (minisat_static) R 12107 12107 11755 0 -1 4194304 4537 0 0 0 819 3 0 0 25 0 1 0 310911489 19656704 4523 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12113/statm: 4799 4523 77 171 0 4626 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 24552
[startup+25.5017 s]
/proc/loadavg: 1.13 1.04 1.01 2/66 12113
/proc/meminfo: memFree=1670960/2055920 swapFree=4039288/4192956
[pid=12107] ppid=12105 vsize=5356 CPUtime=4.46
/proc/12107/stat : 12107 (SatELiteGTI) S 12105 12107 11755 0 -1 4194304 336 24377 0 0 0 0 422 24 16 0 1 0 310911042 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12107/statm: 1339 239 197 169 0 50 0
[pid=12113] ppid=12107 vsize=25644 CPUtime=21.02
/proc/12113/stat : 12113 (minisat_static) R 12107 12107 11755 0 -1 4194304 6131 0 0 0 2097 5 0 0 25 0 1 0 310911489 26259456 6117 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/12113/statm: 6411 6117 77 171 0 6238 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 31000
[startup+51.1014 s]
/proc/loadavg: 1.08 1.04 1.01 2/66 12113
/proc/meminfo: memFree=1660144/2055920 swapFree=4039288/4192956
[pid=12107] ppid=12105 vsize=5356 CPUtime=4.46
/proc/12107/stat : 12107 (SatELiteGTI) S 12105 12107 11755 0 -1 4194304 336 24377 0 0 0 0 422 24 16 0 1 0 310911042 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12107/statm: 1339 239 197 169 0 50 0
[pid=12113] ppid=12107 vsize=36816 CPUtime=46.61
/proc/12113/stat : 12113 (minisat_static) R 12107 12107 11755 0 -1 4194304 8900 0 0 0 4653 8 0 0 25 0 1 0 310911489 37699584 8886 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12113/statm: 9204 8886 77 171 0 9031 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 42172
[startup+102.306 s]
/proc/loadavg: 1.03 1.03 1.00 2/66 12113
/proc/meminfo: memFree=1645808/2055920 swapFree=4039288/4192956
[pid=12107] ppid=12105 vsize=5356 CPUtime=4.46
/proc/12107/stat : 12107 (SatELiteGTI) S 12105 12107 11755 0 -1 4194304 336 24377 0 0 0 0 422 24 16 0 1 0 310911042 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12107/statm: 1339 239 197 169 0 50 0
[pid=12113] ppid=12107 vsize=50800 CPUtime=97.83
/proc/12113/stat : 12113 (minisat_static) R 12107 12107 11755 0 -1 4194304 12401 0 0 0 9769 14 0 0 25 0 1 0 310911489 52019200 12387 1992294400 134512640 135215339 4294956240 18446744073709551615 134528691 0 0 4096 3 0 0 0 17 1 0 0
/proc/12113/statm: 12700 12387 77 171 0 12527 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 56156
[startup+162.302 s]
/proc/loadavg: 1.06 1.04 1.00 2/66 12113
/proc/meminfo: memFree=1636016/2055920 swapFree=4039288/4192956
[pid=12107] ppid=12105 vsize=5356 CPUtime=4.46
/proc/12107/stat : 12107 (SatELiteGTI) S 12105 12107 11755 0 -1 4194304 336 24377 0 0 0 0 422 24 16 0 1 0 310911042 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12107/statm: 1339 239 197 169 0 50 0
[pid=12113] ppid=12107 vsize=60684 CPUtime=157.83
/proc/12113/stat : 12113 (minisat_static) R 12107 12107 11755 0 -1 4194304 14772 0 0 0 15766 17 0 0 25 0 1 0 310911489 62140416 14758 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12113/statm: 15171 14758 77 171 0 14998 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 66040
[startup+222.302 s]
/proc/loadavg: 1.02 1.03 1.00 2/66 12113
/proc/meminfo: memFree=1635696/2055920 swapFree=4039288/4192956
[pid=12107] ppid=12105 vsize=5356 CPUtime=4.46
/proc/12107/stat : 12107 (SatELiteGTI) S 12105 12107 11755 0 -1 4194304 336 24377 0 0 0 0 422 24 16 0 1 0 310911042 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12107/statm: 1339 239 197 169 0 50 0
[pid=12113] ppid=12107 vsize=60844 CPUtime=217.83
/proc/12113/stat : 12113 (minisat_static) R 12107 12107 11755 0 -1 4194304 14829 0 0 0 21766 17 0 0 25 0 1 0 310911489 62304256 14815 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12113/statm: 15211 14815 77 171 0 15038 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 66200
[startup+282.302 s]
/proc/loadavg: 1.01 1.02 1.00 2/66 12113
/proc/meminfo: memFree=1635504/2055920 swapFree=4039288/4192956
[pid=12107] ppid=12105 vsize=5356 CPUtime=4.46
/proc/12107/stat : 12107 (SatELiteGTI) S 12105 12107 11755 0 -1 4194304 336 24377 0 0 0 0 422 24 16 0 1 0 310911042 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12107/statm: 1339 239 197 169 0 50 0
[pid=12113] ppid=12107 vsize=61000 CPUtime=277.84
/proc/12113/stat : 12113 (minisat_static) R 12107 12107 11755 0 -1 4194304 14852 0 0 0 27766 18 0 0 25 0 1 0 310911489 62464000 14838 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12113/statm: 15250 14838 77 171 0 15077 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 66356
[startup+342.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 12113
/proc/meminfo: memFree=1635120/2055920 swapFree=4039288/4192956
[pid=12107] ppid=12105 vsize=5356 CPUtime=4.46
/proc/12107/stat : 12107 (SatELiteGTI) S 12105 12107 11755 0 -1 4194304 336 24377 0 0 0 0 422 24 16 0 1 0 310911042 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12107/statm: 1339 239 197 169 0 50 0
[pid=12113] ppid=12107 vsize=61284 CPUtime=337.85
/proc/12113/stat : 12113 (minisat_static) R 12107 12107 11755 0 -1 4194304 14914 0 0 0 33766 19 0 0 25 0 1 0 310911489 62754816 14900 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12113/statm: 15321 14900 77 171 0 15148 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 66640
[startup+402.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 12113
/proc/meminfo: memFree=1634672/2055920 swapFree=4039288/4192956
[pid=12107] ppid=12105 vsize=5356 CPUtime=4.46
/proc/12107/stat : 12107 (SatELiteGTI) S 12105 12107 11755 0 -1 4194304 336 24377 0 0 0 0 422 24 16 0 1 0 310911042 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12107/statm: 1339 239 197 169 0 50 0
[pid=12113] ppid=12107 vsize=61736 CPUtime=397.86
/proc/12113/stat : 12113 (minisat_static) R 12107 12107 11755 0 -1 4194304 15026 0 0 0 39767 19 0 0 25 0 1 0 310911489 63217664 15012 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12113/statm: 15434 15012 77 171 0 15261 0
Current children cumulated CPU time (s) 402.32
Current children cumulated vsize (KiB) 67092
[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12113
/proc/meminfo: memFree=1634288/2055920 swapFree=4039288/4192956
[pid=12107] ppid=12105 vsize=5356 CPUtime=4.46
/proc/12107/stat : 12107 (SatELiteGTI) S 12105 12107 11755 0 -1 4194304 336 24377 0 0 0 0 422 24 16 0 1 0 310911042 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12107/statm: 1339 239 197 169 0 50 0
[pid=12113] ppid=12107 vsize=62044 CPUtime=457.87
/proc/12113/stat : 12113 (minisat_static) R 12107 12107 11755 0 -1 4194304 15094 0 0 0 45767 20 0 0 25 0 1 0 310911489 63533056 15080 1992294400 134512640 135215339 4294956240 18446744073709551615 134538384 0 0 4096 3 0 0 0 17 1 0 0
/proc/12113/statm: 15511 15080 77 171 0 15338 0
Current children cumulated CPU time (s) 462.33
Current children cumulated vsize (KiB) 67400
[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12113
/proc/meminfo: memFree=1634032/2055920 swapFree=4039288/4192956
[pid=12107] ppid=12105 vsize=5356 CPUtime=4.46
/proc/12107/stat : 12107 (SatELiteGTI) S 12105 12107 11755 0 -1 4194304 336 24377 0 0 0 0 422 24 16 0 1 0 310911042 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12107/statm: 1339 239 197 169 0 50 0
[pid=12113] ppid=12107 vsize=62212 CPUtime=517.87
/proc/12113/stat : 12113 (minisat_static) R 12107 12107 11755 0 -1 4194304 15124 0 0 0 51767 20 0 0 25 0 1 0 310911489 63705088 15110 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12113/statm: 15553 15110 77 171 0 15380 0
Current children cumulated CPU time (s) 522.33
Current children cumulated vsize (KiB) 67568
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12113
/proc/meminfo: memFree=1633584/2055920 swapFree=4039288/4192956
[pid=12107] ppid=12105 vsize=5356 CPUtime=4.46
/proc/12107/stat : 12107 (SatELiteGTI) S 12105 12107 11755 0 -1 4194304 336 24377 0 0 0 0 422 24 16 0 1 0 310911042 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12107/statm: 1339 239 197 169 0 50 0
[pid=12113] ppid=12107 vsize=62532 CPUtime=577.88
/proc/12113/stat : 12113 (minisat_static) R 12107 12107 11755 0 -1 4194304 15221 0 0 0 57767 21 0 0 25 0 1 0 310911489 64032768 15207 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12113/statm: 15633 15207 77 171 0 15460 0
Current children cumulated CPU time (s) 582.34
Current children cumulated vsize (KiB) 67888
Solver just ended. Dumping a history of the last processes samples
[startup+588.701 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12113
/proc/meminfo: memFree=1633520/2055920 swapFree=4039288/4192956
[pid=12107] ppid=12105 vsize=5356 CPUtime=4.46
/proc/12107/stat : 12107 (SatELiteGTI) S 12105 12107 11755 0 -1 4194304 336 24377 0 0 0 0 422 24 16 0 1 0 310911042 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12107/statm: 1339 239 197 169 0 50 0
[pid=12113] ppid=12107 vsize=62532 CPUtime=584.29
/proc/12113/stat : 12113 (minisat_static) R 12107 12107 11755 0 -1 4194304 15222 0 0 0 58408 21 0 0 25 0 1 0 310911489 64032768 15208 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12113/statm: 15633 15208 77 171 0 15460 0
Current children cumulated CPU time (s) 588.75
Current children cumulated vsize (KiB) 67888
[startup+614.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12113
/proc/meminfo: memFree=1633328/2055920 swapFree=4039288/4192956
[pid=12107] ppid=12105 vsize=5356 CPUtime=4.46
/proc/12107/stat : 12107 (SatELiteGTI) S 12105 12107 11755 0 -1 4194304 336 24377 0 0 0 0 422 24 16 0 1 0 310911042 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12107/statm: 1339 239 197 169 0 50 0
[pid=12113] ppid=12107 vsize=62852 CPUtime=609.89
/proc/12113/stat : 12113 (minisat_static) R 12107 12107 11755 0 -1 4194304 15271 0 0 0 60968 21 0 0 25 0 1 0 310911489 64360448 15257 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12113/statm: 15713 15257 77 171 0 15540 0
Current children cumulated CPU time (s) 614.35
Current children cumulated vsize (KiB) 68208
[startup+620.702 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12113
/proc/meminfo: memFree=1633328/2055920 swapFree=4039288/4192956
[pid=12107] ppid=12105 vsize=5356 CPUtime=4.46
/proc/12107/stat : 12107 (SatELiteGTI) S 12105 12107 11755 0 -1 4194304 336 24377 0 0 0 0 422 24 16 0 1 0 310911042 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12107/statm: 1339 239 197 169 0 50 0
[pid=12113] ppid=12107 vsize=62852 CPUtime=616.29
/proc/12113/stat : 12113 (minisat_static) R 12107 12107 11755 0 -1 4194304 15273 0 0 0 61608 21 0 0 25 0 1 0 310911489 64360448 15259 1992294400 134512640 135215339 4294956240 18446744073709551615 134538382 0 0 4096 3 0 0 0 17 1 0 0
/proc/12113/statm: 15713 15259 77 171 0 15540 0
Current children cumulated CPU time (s) 620.75
Current children cumulated vsize (KiB) 68208
[startup+627.101 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12113
/proc/meminfo: memFree=1633200/2055920 swapFree=4039288/4192956
[pid=12107] ppid=12105 vsize=5356 CPUtime=4.46
/proc/12107/stat : 12107 (SatELiteGTI) S 12105 12107 11755 0 -1 4194304 336 24377 0 0 0 0 422 24 16 0 1 0 310911042 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12107/statm: 1339 239 197 169 0 50 0
[pid=12113] ppid=12107 vsize=62852 CPUtime=622.69
/proc/12113/stat : 12113 (minisat_static) R 12107 12107 11755 0 -1 4194304 15295 0 0 0 62248 21 0 0 25 0 1 0 310911489 64360448 15281 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12113/statm: 15713 15281 77 171 0 15540 0
Current children cumulated CPU time (s) 627.15
Current children cumulated vsize (KiB) 68208
[startup+628.703 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12113
/proc/meminfo: memFree=1633200/2055920 swapFree=4039288/4192956
[pid=12107] ppid=12105 vsize=5356 CPUtime=4.46
/proc/12107/stat : 12107 (SatELiteGTI) S 12105 12107 11755 0 -1 4194304 336 24377 0 0 0 0 422 24 16 0 1 0 310911042 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12107/statm: 1339 239 197 169 0 50 0
[pid=12113] ppid=12107 vsize=62852 CPUtime=624.29
/proc/12113/stat : 12113 (minisat_static) R 12107 12107 11755 0 -1 4194304 15295 0 0 0 62408 21 0 0 25 0 1 0 310911489 64360448 15281 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12113/statm: 15713 15281 77 171 0 15540 0
Current children cumulated CPU time (s) 628.75
Current children cumulated vsize (KiB) 68208
[startup+629.502 s]
/proc/loadavg: 1.08 1.02 1.01 2/66 12113
/proc/meminfo: memFree=1633200/2055920 swapFree=4039288/4192956
[pid=12107] ppid=12105 vsize=5356 CPUtime=4.46
/proc/12107/stat : 12107 (SatELiteGTI) S 12105 12107 11755 0 -1 4194304 336 24377 0 0 0 0 422 24 16 0 1 0 310911042 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12107/statm: 1339 239 197 169 0 50 0
[pid=12113] ppid=12107 vsize=62852 CPUtime=625.09
/proc/12113/stat : 12113 (minisat_static) R 12107 12107 11755 0 -1 4194304 15295 0 0 0 62488 21 0 0 25 0 1 0 310911489 64360448 15281 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12113/statm: 15713 15281 77 171 0 15540 0
Current children cumulated CPU time (s) 629.55
Current children cumulated vsize (KiB) 68208
[startup+629.901 s]
/proc/loadavg: 1.08 1.02 1.01 2/66 12113
/proc/meminfo: memFree=1633200/2055920 swapFree=4039288/4192956
[pid=12107] ppid=12105 vsize=5356 CPUtime=4.46
/proc/12107/stat : 12107 (SatELiteGTI) S 12105 12107 11755 0 -1 4194304 336 24377 0 0 0 0 422 24 16 0 1 0 310911042 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12107/statm: 1339 239 197 169 0 50 0
[pid=12113] ppid=12107 vsize=62852 CPUtime=625.49
/proc/12113/stat : 12113 (minisat_static) R 12107 12107 11755 0 -1 4194304 15296 0 0 0 62528 21 0 0 25 0 1 0 310911489 64360448 15282 1992294400 134512640 135215339 4294956240 18446744073709551615 134528721 0 0 4096 3 0 0 0 17 1 0 0
/proc/12113/statm: 15713 15282 77 171 0 15540 0
Current children cumulated CPU time (s) 629.95
Current children cumulated vsize (KiB) 68208
[startup+630.305 s]
/proc/loadavg: 1.08 1.02 1.01 2/66 12113
/proc/meminfo: memFree=1633200/2055920 swapFree=4039288/4192956
[pid=12107] ppid=12105 vsize=5356 CPUtime=4.46
/proc/12107/stat : 12107 (SatELiteGTI) S 12105 12107 11755 0 -1 4194304 336 24377 0 0 0 0 422 24 16 0 1 0 310911042 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12107/statm: 1339 239 197 169 0 50 0
[pid=12113] ppid=12107 vsize=62852 CPUtime=625.89
/proc/12113/stat : 12113 (minisat_static) R 12107 12107 11755 0 -1 4194304 15296 0 0 0 62568 21 0 0 25 0 1 0 310911489 64360448 15282 1992294400 134512640 135215339 4294956240 18446744073709551615 134529323 0 0 4096 3 0 0 0 17 1 0 0
/proc/12113/statm: 15713 15282 77 171 0 15540 0
Current children cumulated CPU time (s) 630.35
Current children cumulated vsize (KiB) 68208
[startup+630.401 s]
/proc/loadavg: 1.08 1.02 1.01 2/66 12113
/proc/meminfo: memFree=1633200/2055920 swapFree=4039288/4192956
[pid=12107] ppid=12105 vsize=5356 CPUtime=4.46
/proc/12107/stat : 12107 (SatELiteGTI) S 12105 12107 11755 0 -1 4194304 336 24377 0 0 0 0 422 24 16 0 1 0 310911042 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12107/statm: 1339 239 197 169 0 50 0
[pid=12113] ppid=12107 vsize=62852 CPUtime=625.99
/proc/12113/stat : 12113 (minisat_static) R 12107 12107 11755 0 -1 4194304 15296 0 0 0 62578 21 0 0 25 0 1 0 310911489 64360448 15282 1992294400 134512640 135215339 4294956240 18446744073709551615 134528837 0 0 4096 3 0 0 0 17 1 0 0
/proc/12113/statm: 15713 15282 77 171 0 15540 0
Current children cumulated CPU time (s) 630.45
Current children cumulated vsize (KiB) 68208
Child status: 20
Real time (s): 630.493
CPU time (s): 630.555
CPU user time (s): 630.07
CPU system time (s): 0.484926
CPU usage (%): 100.01
Max. virtual memory (cumulated for all children) (KiB): 100960
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 630.07
system time used= 0.484926
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40170
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 47
involuntary context switches= 1149
runsolver used 0.751885 second user time and 1.60076 second system time
The end
Begin job on node16 at 2009-05-20 16:12:56
IDJOB=1834215
IDBENCH=71745
IDSOLVER=671
FILE ID=node16/1834215-1242828776
PBS_JOBID= 9322485
Free space on /tmp= 66284 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT_RACE06/manol-pipe-f9n.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1834215-1242828776/watcher-1834215-1242828776 -o /tmp/evaluation-result-1834215-1242828776/solver-1834215-1242828776 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1834215-1242828776.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 61e4a04a828a2cd33ae3f3dde54ef320
RANDOM SEED=526525760
node16.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.234
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.234
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1717920 kB
Buffers: 20872 kB
Cached: 132608 kB
SwapCached: 147760 kB
Active: 163372 kB
Inactive: 139508 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1717920 kB
SwapTotal: 4192956 kB
SwapFree: 4039288 kB
Dirty: 11504 kB
Writeback: 0 kB
Mapped: 13440 kB
Slab: 21228 kB
Committed_AS: 1097420 kB
PageTables: 1444 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66280 MiB
End job on node16 at 2009-05-20 16:23:27