0.00/0.00 c Parsing...
0.53/0.55 c ==============================================================================
0.53/0.55 c | | ORIGINAL | LEARNT | |
0.53/0.55 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.53/0.55 c ==============================================================================
0.53/0.55 c | 0 | 552411 1288959 | 165723 0 0 nan | 0.000 % |
3.63/3.68 c | 0 | 224311 892727 | -- 0 -- -- | -- | -328093/-396215
3.63/3.69 c ==============================================================================
3.63/3.69 c Result : #vars: 29191 #clauses: 224311 #literals: 892727
3.63/3.69 c CPU time: 3.46 s
3.63/3.69 c ==============================================================================
3.93/4.00 c This is MiniSat 2.0 beta
3.93/4.00 c WARNING: for repeatability, setting FPU to use double precision
3.93/4.00 c ============================[ Problem Statistics ]=============================
3.93/4.00 c | |
3.93/4.01 c | Number of variables: 29191 |
3.93/4.01 c | Number of clauses: 224311 |
4.01/4.18 c | Parsing time: 0.16 s |
4.01/4.20 c ============================[ Search Statistics ]==============================
4.01/4.20 c | Conflicts | ORIGINAL | LEARNT | Progress |
4.01/4.20 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
4.01/4.20 c ===============================================================================
4.01/4.20 c | 0 | 29191 224311 892727 | 74770 0 nan | 0.000 % |
4.01/4.27 c | 100 | 29180 224311 892727 | 74770 95 9 | 0.093 % |
4.33/4.36 c | 200 | 29180 224311 892727 | 74770 195 13 | 0.092 % |
4.33/4.39 c | 300 | 29171 224311 892727 | 74770 292 13 | 0.178 % |
4.42/4.50 c | 410 | 29166 224311 892727 | 74770 402 15 | 0.178 % |
4.52/4.58 c | 510 | 29166 224311 892727 | 74770 502 15 | 0.178 % |
4.62/4.64 c | 620 | 29166 224311 892727 | 74770 612 16 | 0.178 % |
4.72/4.72 c | 743 | 29166 224311 892727 | 74770 735 18 | 0.178 % |
4.72/4.76 c | 843 | 29163 224311 892727 | 74770 834 17 | 0.206 % |
4.72/4.81 c | 953 | 29163 224311 892727 | 74770 944 18 | 0.206 % |
4.82/4.87 c | 1075 | 29163 224311 892727 | 74770 1066 19 | 0.206 % |
4.92/5.00 c | 1208 | 29148 224311 892727 | 74770 1195 20 | 0.322 % |
5.02/5.08 c | 1308 | 29097 223195 889001 | 74770 1291 19 | 0.322 % |
5.12/5.17 c | 1418 | 29097 223195 889001 | 74770 1401 19 | 0.322 % |
5.22/5.23 c | 1541 | 29097 223195 889001 | 74770 1524 19 | 0.322 % |
5.22/5.28 c | 1674 | 29096 223195 889001 | 74770 1656 19 | 0.349 % |
5.32/5.35 c | 1820 | 29096 223195 889001 | 74770 1802 20 | 0.349 % |
5.32/5.40 c | 1920 | 29096 223195 889001 | 74770 1902 20 | 0.349 % |
5.42/5.43 c | 2030 | 29096 223195 889001 | 74770 2012 20 | 0.349 % |
5.52/5.52 c | 2152 | 29096 223195 889001 | 74770 2134 22 | 0.349 % |
5.52/5.57 c | 2286 | 29096 223195 889001 | 74770 2268 21 | 0.350 % |
5.52/5.58 c | 2433 | 29096 223195 889001 | 74770 2415 21 | 0.349 % |
5.52/5.61 c | 2593 | 29096 223195 889001 | 74770 2575 20 | 0.350 % |
5.62/5.62 c | 2693 | 29094 223195 889001 | 74770 2673 20 | 0.373 % |
5.62/5.66 c | 2803 | 29093 223195 889001 | 74770 2783 20 | 0.373 % |
5.62/5.69 c | 2924 | 29093 223195 889001 | 74770 2904 20 | 0.373 % |
5.72/5.74 c | 3057 | 29082 222853 887742 | 74770 3029 20 | 0.373 % |
5.72/5.81 c | 3203 | 29081 222853 887742 | 74770 3174 20 | 0.377 % |
5.82/5.87 c | 3364 | 29081 222853 887742 | 74770 3335 21 | 0.377 % |
6.02/6.03 c | 3540 | 29077 222853 887742 | 74770 3509 21 | 0.397 % |
6.02/6.04 c | 3641 | 29077 222853 887742 | 74770 3610 21 | 0.397 % |
6.02/6.09 c | 3751 | 29077 222853 887742 | 74770 3720 21 | 0.397 % |
6.12/6.13 c | 3872 | 29077 222853 887742 | 74770 3841 21 | 0.397 % |
6.12/6.20 c | 4005 | 29077 222853 887742 | 74770 3974 22 | 0.397 % |
6.22/6.28 c | 4151 | 29077 222853 887742 | 74770 4120 22 | 0.397 % |
6.32/6.34 c | 4311 | 29077 222853 887742 | 74770 4280 22 | 0.397 % |
6.32/6.40 c | 4487 | 29074 222683 887165 | 74770 4455 22 | 0.401 % |
6.42/6.46 c | 4681 | 29074 222683 887165 | 74770 4649 22 | 0.401 % |
6.52/6.53 c | 4781 | 29074 222683 887165 | 74770 4749 22 | 0.401 % |
6.52/6.57 c | 4891 | 29074 222683 887165 | 74770 4859 22 | 0.401 % |
6.52/6.61 c | 5015 | 29074 222683 887165 | 74770 4983 22 | 0.401 % |
6.62/6.66 c | 5149 | 29072 222683 887165 | 74770 5115 22 | 0.449 % |
6.62/6.68 c | 5295 | 29071 222683 887165 | 74770 5260 22 | 0.452 % |
6.62/6.69 c | 5455 | 29071 222683 887165 | 74770 5420 22 | 0.452 % |
6.72/6.76 c | 5631 | 29070 222683 887165 | 74770 5596 23 | 0.452 % |
6.72/6.79 c | 5825 | 29070 222683 887165 | 74770 5790 22 | 0.452 % |
6.82/6.88 c | 6037 | 29070 222683 887165 | 74770 6002 23 | 0.452 % |
6.92/6.97 c | 6137 | 29070 222683 887165 | 74770 6102 23 | 0.452 % |
6.92/7.00 c | 6250 | 29070 222683 887165 | 74770 6215 23 | 0.452 % |
6.92/7.01 c | 6371 | 29070 222683 887165 | 74770 6336 23 | 0.452 % |
7.02/7.08 c | 6505 | 29070 222683 887165 | 74770 6470 23 | 0.452 % |
7.02/7.10 c | 6651 | 29070 222683 887165 | 74770 6616 23 | 0.452 % |
7.12/7.19 c | 6812 | 29070 222683 887165 | 74770 6777 23 | 0.452 % |
7.22/7.26 c | 6989 | 29059 222517 886647 | 74770 6950 23 | 0.452 % |
7.32/7.34 c | 7184 | 29059 222517 886647 | 74770 7145 23 | 0.452 % |
7.32/7.41 c | 7397 | 29057 222517 886647 | 74770 7357 23 | 0.459 % |
7.42/7.46 c | 7630 | 29057 222517 886647 | 74770 7590 24 | 0.459 % |
7.52/7.52 c | 7730 | 29057 222517 886647 | 74770 7690 24 | 0.459 % |
7.52/7.58 c | 7841 | 29054 222517 886647 | 74770 7800 24 | 0.493 % |
7.62/7.70 c | 7963 | 29054 222517 886647 | 74770 7922 24 | 0.493 % |
7.72/7.73 c | 8097 | 29054 222517 886647 | 74770 8056 24 | 0.493 % |
7.82/7.85 c | 8243 | 29054 222517 886647 | 74770 8202 24 | 0.493 % |
7.82/7.88 c | 8404 | 29054 222517 886647 | 74770 8363 24 | 0.493 % |
7.92/7.96 c | 8580 | 29053 222517 886647 | 74770 8538 24 | 0.500 % |
7.92/8.00 c | 8773 | 29053 222517 886647 | 74770 8731 24 | 0.500 % |
8.02/8.11 c | 8985 | 29053 222517 886647 | 74770 8943 24 | 0.500 % |
8.22/8.27 c | 9219 | 29045 222313 885940 | 74770 9173 24 | 0.500 % |
8.42/8.43 c | 9476 | 29045 222313 885940 | 74770 9430 24 | 0.500 % |
8.42/8.45 c | 9576 | 29045 222313 885940 | 74770 9530 24 | 0.500 % |
8.52/8.54 c | 9686 | 29045 222313 885940 | 74770 9640 24 | 0.500 % |
8.52/8.58 c | 9807 | 29045 222313 885940 | 74770 9761 24 | 0.500 % |
8.62/8.65 c | 9942 | 29045 222313 885940 | 74770 9896 24 | 0.500 % |
8.62/8.69 c | 10089 | 29045 222313 885940 | 2147483647 10043 24 | 0.500 % |
8.72/8.75 c | 10250 | 29042 222313 885940 | 2147483647 10203 24 | 0.545 % |
8.82/8.85 c | 10427 | 29042 222313 885940 | 2147483647 10380 24 | 0.545 % |
8.92/8.93 c | 10620 | 29042 222313 885940 | 2147483647 10573 24 | 0.545 % |
8.92/8.98 c | 10835 | 29042 222313 885940 | 2147483647 10788 24 | 0.545 % |
8.92/9.01 c | 11068 | 29042 222313 885940 | 2147483647 11021 24 | 0.545 % |
9.12/9.19 c | 11326 | 29031 221941 884615 | 2147483647 11272 24 | 0.548 % |
9.22/9.23 c | 11608 | 29031 221941 884615 | 2147483647 11554 24 | 0.548 % |
9.32/9.35 c | 11709 | 29031 221941 884615 | 2147483647 11655 24 | 0.548 % |
9.32/9.40 c | 11820 | 29031 221941 884615 | 2147483647 11766 24 | 0.548 % |
9.32/9.41 c | 11942 | 29031 221941 884615 | 2147483647 11887 24 | 0.555 % |
9.42/9.44 c | 12075 | 29030 221941 884615 | 2147483647 12019 24 | 0.558 % |
9.42/9.50 c | 12221 | 29029 221941 884615 | 2147483647 12165 24 | 0.558 % |
9.52/9.53 c | 12381 | 29029 221941 884615 | 2147483647 12325 24 | 0.558 % |
9.62/9.62 c | 12557 | 29028 221941 884615 | 2147483647 12501 24 | 0.558 % |
9.62/9.71 c | 12751 | 29028 221941 884615 | 2147483647 12695 24 | 0.558 % |
9.72/9.81 c | 12964 | 29028 221941 884615 | 2147483647 12908 24 | 0.558 % |
9.82/9.87 c | 13197 | 29028 221941 884615 | 2147483647 13141 24 | 0.558 % |
9.92/10.00 c | 13453 | 29028 221941 884615 | 2147483647 13397 24 | 0.558 % |
10.02/10.05 c | 13734 | 29028 221941 884615 | 2147483647 13678 24 | 0.558 % |
10.02/10.11 c | 14043 | 29028 221941 884615 | 2147483647 13987 24 | 0.558 % |
10.12/10.18 c | 14143 | 29028 221941 884615 | 2147483647 14087 24 | 0.558 % |
10.22/10.25 c | 14253 | 29028 221868 884374 | 2147483647 14192 24 | 0.558 % |
10.22/10.28 c | 14374 | 29028 221868 884374 | 2147483647 14313 24 | 0.558 % |
10.32/10.35 c | 14507 | 29028 221868 884374 | 2147483647 14446 24 | 0.558 % |
10.32/10.39 c | 14654 | 29028 221868 884374 | 2147483647 14593 24 | 0.558 % |
10.42/10.50 c | 14815 | 29028 221868 884374 | 2147483647 14754 24 | 0.558 % |
10.52/10.58 c | 14994 | 29028 221868 884374 | 2147483647 14933 24 | 0.558 % |
10.52/10.62 c | 15187 | 29028 221868 884374 | 2147483647 15126 24 | 0.558 % |
10.72/10.75 c | 15400 | 29028 221868 884374 | 2147483647 15339 25 | 0.558 % |
10.82/10.83 c | 15633 | 29028 221868 884374 | 2147483647 15572 25 | 0.558 % |
10.92/10.96 c | 15891 | 29028 221868 884374 | 2147483647 15830 25 | 0.558 % |
11.02/11.06 c | 16175 | 29028 221868 884374 | 2147483647 16114 25 | 0.558 % |
11.02/11.11 c | 16486 | 29028 221868 884374 | 2147483647 16425 26 | 0.558 % |
11.22/11.26 c | 16829 | 29028 221868 884374 | 2147483647 16768 26 | 0.558 % |
11.22/11.29 c | 16930 | 29028 221868 884374 | 2147483647 16869 26 | 0.558 % |
11.22/11.31 c | 17040 | 29028 221868 884374 | 2147483647 16979 26 | 0.558 % |
11.32/11.40 c | 17161 | 29028 221868 884374 | 2147483647 17100 26 | 0.558 % |
11.42/11.45 c | 17294 | 29028 221868 884374 | 2147483647 17233 26 | 0.558 % |
11.42/11.52 c | 17441 | 29028 221868 884374 | 2147483647 17380 26 | 0.558 % |
11.52/11.56 c | 17603 | 29028 221868 884374 | 2147483647 17542 26 | 0.558 % |
11.62/11.63 c | 17779 | 29028 221868 884374 | 2147483647 17718 26 | 0.558 % |
11.72/11.73 c | 17973 | 29028 221868 884374 | 2147483647 17912 25 | 0.558 % |
11.72/11.78 c | 18188 | 29028 221868 884374 | 2147483647 18127 26 | 0.558 % |
11.82/11.87 c | 18422 | 29028 221868 884374 | 2147483647 18361 26 | 0.558 % |
11.92/11.93 c | 18678 | 29028 221868 884374 | 2147483647 18617 27 | 0.558 % |
11.92/12.01 c | 18959 | 29028 221868 884374 | 2147483647 18898 27 | 0.558 % |
12.22/12.22 c | 19268 | 29028 221868 884374 | 2147483647 19207 27 | 0.558 % |
12.22/12.26 c | 19608 | 29028 221868 884374 | 2147483647 19547 27 | 0.558 % |
12.42/12.45 c | 19980 | 29028 221868 884374 | 2147483647 19919 27 | 0.558 % |
12.52/12.56 c | 20081 | 29028 221868 884374 | 2147483647 20020 27 | 0.558 % |
12.52/12.61 c | 20192 | 29028 221868 884374 | 2147483647 20131 27 | 0.558 % |
12.62/12.63 c | 20313 | 29028 221868 884374 | 2147483647 20252 27 | 0.558 % |
12.72/12.74 c | 20446 | 29028 221868 884374 | 2147483647 20385 27 | 0.558 % |
12.72/12.78 c | 20592 | 29028 221868 884374 | 2147483647 20531 27 | 0.558 % |
12.82/12.85 c | 20752 | 29028 221868 884374 | 2147483647 20691 27 | 0.558 % |
12.82/12.92 c | 20928 | 29028 221868 884374 | 2147483647 20867 27 | 0.558 % |
13.02/13.08 c | 21121 | 29028 221868 884374 | 2147483647 21060 27 | 0.558 % |
13.12/13.13 c | 21334 | 29028 221868 884374 | 2147483647 21273 27 | 0.558 % |
13.22/13.22 c | 21572 | 29028 221868 884374 | 2147483647 21511 27 | 0.558 % |
13.32/13.39 c | 21829 | 29027 221863 884363 | 2147483647 21767 27 | 0.562 % |
13.42/13.43 c | 22111 | 29027 221863 884363 | 2147483647 22049 27 | 0.562 % |
13.52/13.52 c | 22420 | 29027 221863 884363 | 2147483647 22358 27 | 0.562 % |
13.62/13.64 c | 22763 | 29027 221863 884363 | 2147483647 22701 27 | 0.562 % |
13.72/13.81 c | 23135 | 29027 221863 884363 | 2147483647 23073 27 | 0.562 % |
13.92/13.97 c | 23544 | 29027 221863 884363 | 2147483647 23482 28 | 0.562 % |
14.02/14.02 c | 23644 | 29027 221863 884363 | 2147483647 23582 28 | 0.562 % |
14.02/14.05 c | 23755 | 29027 221863 884363 | 2147483647 23693 28 | 0.562 % |
14.02/14.08 c | 23878 | 29027 221863 884363 | 2147483647 23816 28 | 0.562 % |
14.12/14.16 c | 24013 | 29027 221863 884363 | 2147483647 23951 28 | 0.562 % |
14.12/14.20 c | 24160 | 29027 221863 884363 | 2147483647 24098 27 | 0.562 % |
14.32/14.34 c | 24321 | 29027 221863 884363 | 2147483647 24259 27 | 0.562 % |
14.32/14.38 c | 24498 | 29027 221863 884363 | 2147483647 24436 27 | 0.562 % |
14.42/14.51 c | 24692 | 29027 221863 884363 | 2147483647 24630 27 | 0.562 % |
14.52/14.60 c | 24904 | 29027 221863 884363 | 2147483647 24842 28 | 0.562 % |
14.62/14.68 c | 25137 | 29027 221863 884363 | 2147483647 25075 28 | 0.562 % |
14.92/14.92 c | 25393 | 29027 221863 884363 | 2147483647 25331 28 | 0.562 % |
14.92/14.98 c | 25674 | 29027 221863 884363 | 2147483647 25612 28 | 0.562 % |
15.02/15.09 c | 25984 | 29027 221863 884363 | 2147483647 25922 28 | 0.562 % |
15.22/15.22 c | 26323 | 29027 221863 884363 | 2147483647 26261 28 | 0.562 % |
15.32/15.34 c | 26696 | 29027 221863 884363 | 2147483647 26634 28 | 0.562 % |
15.42/15.43 c | 27115 | 29027 221863 884363 | 2147483647 27053 28 | 0.562 % |
15.42/15.51 c | 27565 | 29027 221863 884363 | 2147483647 27503 28 | 0.562 % |
15.52/15.60 c | 27667 | 29027 221863 884363 | 2147483647 27605 28 | 0.562 % |
15.62/15.66 c | 27778 | 29027 221863 884363 | 2147483647 27716 28 | 0.562 % |
15.72/15.72 c | 27902 | 29027 221863 884363 | 2147483647 27840 28 | 0.562 % |
15.72/15.76 c | 28036 | 29027 221863 884363 | 2147483647 27974 28 | 0.562 % |
15.82/15.84 c | 28185 | 29027 221863 884363 | 2147483647 28123 28 | 0.562 % |
15.92/15.97 c | 28347 | 29027 221863 884363 | 2147483647 28285 28 | 0.562 % |
16.02/16.07 c | 28523 | 29027 221863 884363 | 2147483647 28461 28 | 0.562 % |
16.12/16.13 c | 28716 | 29027 221863 884363 | 2147483647 28654 28 | 0.562 % |
16.22/16.29 c | 28931 | 29027 221863 884363 | 2147483647 28869 28 | 0.562 % |
16.32/16.33 c | 29167 | 29027 221863 884363 | 2147483647 29105 28 | 0.562 % |
16.42/16.46 c | 29423 | 29027 221863 884363 | 2147483647 29361 29 | 0.562 % |
16.42/16.50 c | 29704 | 29027 221863 884363 | 2147483647 29642 29 | 0.562 % |
16.52/16.60 c | 30013 | 29027 221863 884363 | 2147483647 29951 29 | 0.562 % |
16.62/16.69 c | 30352 | 29027 221863 884363 | 2147483647 30290 29 | 0.562 % |
16.82/16.82 c | 30726 | 29027 221863 884363 | 2147483647 30664 29 | 0.562 % |
17.02/17.02 c | 31136 | 29027 221863 884363 | 2147483647 31074 29 | 0.562 % |
17.02/17.10 c | 31585 | 29027 221863 884363 | 2147483647 31523 29 | 0.562 % |
17.22/17.24 c | 32078 | 29027 221863 884363 | 2147483647 32016 29 | 0.562 % |
17.22/17.28 c | 32179 | 29027 221863 884363 | 2147483647 32117 29 | 0.562 % |
17.32/17.36 c | 32290 | 29027 221863 884363 | 2147483647 32228 29 | 0.562 % |
17.42/17.42 c | 32411 | 29027 221863 884363 | 2147483647 32349 29 | 0.562 % |
17.42/17.48 c | 32544 | 29027 221863 884363 | 2147483647 32482 29 | 0.562 % |
17.52/17.57 c | 32691 | 29027 221863 884363 | 2147483647 32629 29 | 0.562 % |
17.72/17.72 c | 32851 | 29027 221863 884363 | 2147483647 32789 29 | 0.562 % |
17.72/17.77 c | 33029 | 29027 221863 884363 | 2147483647 32967 29 | 0.562 % |
17.72/17.81 c | 33225 | 29027 221863 884363 | 2147483647 33163 29 | 0.562 % |
17.92/17.98 c | 33437 | 29027 221863 884363 | 2147483647 33375 30 | 0.562 % |
18.02/18.05 c | 33670 | 29027 221863 884363 | 2147483647 33608 30 | 0.562 % |
18.02/18.06 c | 33926 | 29027 221863 884363 | 2147483647 33864 30 | 0.562 % |
18.12/18.17 c | 34208 | 29027 221863 884363 | 2147483647 34146 30 | 0.562 % |
18.32/18.40 c | 34518 | 29027 221863 884363 | 2147483647 34456 30 | 0.562 % |
18.42/18.49 c | 34857 | 29027 221863 884363 | 2147483647 34795 30 | 0.562 % |
18.62/18.70 c | 35229 | 29027 221863 884363 | 2147483647 35167 30 | 0.562 % |
18.82/18.89 c | 35641 | 29027 221863 884363 | 2147483647 35579 30 | 0.562 % |
19.12/19.18 c | 36090 | 29027 221863 884363 | 2147483647 36028 30 | 0.562 % |
19.22/19.31 c | 36583 | 29027 221863 884363 | 2147483647 36521 30 | 0.562 % |
19.72/19.82 c | 37125 | 29026 221795 884133 | 2147483647 37054 30 | 0.565 % |
19.82/19.90 c | 37225 | 29026 221795 884133 | 2147483647 37154 30 | 0.565 % |
19.92/19.96 c | 37336 | 29026 221795 884133 | 2147483647 37265 30 | 0.565 % |
20.02/20.05 c | 37457 | 29026 221795 884133 | 2147483647 37386 30 | 0.565 % |
20.12/20.14 c | 37591 | 29025 221795 884133 | 2147483647 37519 30 | 0.569 % |
20.12/20.20 c | 37737 | 29025 221795 884133 | 2147483647 37665 30 | 0.569 % |
20.22/20.27 c | 37897 | 29025 221795 884133 | 2147483647 37825 30 | 0.569 % |
20.22/20.30 c | 38073 | 29025 221795 884133 | 2147483647 38001 30 | 0.569 % |
20.32/20.35 c | 38266 | 29025 221795 884133 | 2147483647 38194 30 | 0.569 % |
20.42/20.46 c | 38480 | 29025 221795 884133 | 2147483647 38408 30 | 0.569 % |
20.42/20.49 c | 38713 | 29025 221795 884133 | 2147483647 38641 30 | 0.569 % |
20.52/20.55 c | 38969 | 29025 221795 884133 | 2147483647 38897 30 | 0.569 % |
20.62/20.62 c | 39250 | 29025 221795 884133 | 2147483647 39178 30 | 0.569 % |
20.72/20.74 c | 39559 | 29025 221795 884133 | 2147483647 39487 30 | 0.569 % |
20.72/20.80 c | 39899 | 29025 221795 884133 | 2147483647 39827 30 | 0.569 % |
20.82/20.89 c | 40271 | 29025 221795 884133 | 2147483647 40199 30 | 0.569 % |
20.92/21.00 c | 40680 | 29025 221795 884133 | 2147483647 40608 31 | 0.569 % |
21.12/21.13 c | 41129 | 29025 221795 884133 | 2147483647 41057 31 | 0.569 % |
21.32/21.35 c | 41622 | 29025 221795 884133 | 2147483647 41550 31 | 0.569 % |
21.52/21.52 c | 42164 | 29025 221795 884133 | 2147483647 42092 31 | 0.569 % |
21.62/21.66 c | 42760 | 29025 221795 884133 | 2147483647 42688 31 | 0.569 % |
21.72/21.74 c | 42861 | 29025 221795 884133 | 2147483647 42789 31 | 0.569 % |
21.72/21.81 c | 42971 | 29025 221795 884133 | 2147483647 42899 31 | 0.569 % |
21.82/21.88 c | 43092 | 29025 221795 884133 | 2147483647 43020 31 | 0.569 % |
21.92/21.94 c | 43225 | 29025 221795 884133 | 2147483647 43153 31 | 0.569 % |
21.92/22.00 c | 43372 | 29025 221795 884133 | 2147483647 43300 31 | 0.569 % |
22.02/22.07 c | 43532 | 29025 221784 884106 | 2147483647 43460 31 | 0.569 % |
22.02/22.11 c | 43708 | 29025 221784 884106 | 2147483647 43636 31 | 0.569 % |
22.22/22.25 c | 43903 | 29025 221784 884106 | 2147483647 43831 31 | 0.569 % |
22.32/22.35 c | 44116 | 29025 221784 884106 | 2147483647 44044 31 | 0.569 % |
22.42/22.43 c | 44349 | 29025 221784 884106 | 2147483647 44277 31 | 0.569 % |
22.42/22.46 c | 44605 | 29025 221784 884106 | 2147483647 44533 31 | 0.569 % |
22.52/22.54 c | 44886 | 29025 221784 884106 | 2147483647 44814 31 | 0.569 % |
22.62/22.64 c | 45195 | 29025 221784 884106 | 2147483647 45123 31 | 0.569 % |
22.72/22.80 c | 45534 | 29025 221784 884106 | 2147483647 45462 31 | 0.569 % |
22.92/22.95 c | 45908 | 29025 221784 884106 | 2147483647 45836 32 | 0.569 % |
23.12/23.12 c | 46318 | 29025 221784 884106 | 2147483647 46246 32 | 0.569 % |
23.32/23.38 c | 46768 | 29025 221784 884106 | 2147483647 46696 32 | 0.569 % |
23.72/23.73 c | 47261 | 29025 221784 884106 | 2147483647 47189 32 | 0.569 % |
23.82/23.89 c | 47804 | 29025 221784 884106 | 2147483647 47732 32 | 0.569 % |
23.92/24.01 c | 48401 | 29025 221784 884106 | 2147483647 48329 32 | 0.569 % |
24.22/24.26 c | 49056 | 29025 221784 884106 | 2147483647 48984 32 | 0.569 % |
24.22/24.30 c | 49156 | 29025 221784 884106 | 2147483647 49084 32 | 0.569 % |
24.32/24.35 c | 49266 | 29025 221784 884106 | 2147483647 49194 32 | 0.569 % |
24.32/24.39 c | 49387 | 29025 221784 884106 | 2147483647 49315 32 | 0.569 % |
24.42/24.44 c | 49521 | 29025 221784 884106 | 2147483647 49449 32 | 0.569 % |
24.42/24.51 c | 49667 | 29025 221784 884106 | 2147483647 49595 32 | 0.569 % |
24.52/24.56 c | 49828 | 29025 221784 884106 | 2147483647 49756 32 | 0.569 % |
24.72/24.76 c | 50005 | 29025 221784 884106 | 2147483647 49933 32 | 0.569 % |
24.82/24.87 c | 50198 | 29025 221784 884106 | 2147483647 50126 32 | 0.569 % |
25.02/25.02 c | 50412 | 29025 221784 884106 | 2147483647 50340 32 | 0.569 % |
25.12/25.12 c | 50645 | 29025 221784 884106 | 2147483647 50573 32 | 0.569 % |
25.22/25.23 c | 50901 | 29025 221784 884106 | 2147483647 50829 32 | 0.569 % |
25.32/25.34 c | 51183 | 29025 221784 884106 | 2147483647 51111 32 | 0.569 % |
25.32/25.42 c | 51492 | 29025 221784 884106 | 2147483647 51420 32 | 0.569 % |
25.52/25.56 c | 51831 | 29025 221784 884106 | 2147483647 51759 32 | 0.569 % |
25.72/25.82 c | 52204 | 29025 221784 884106 | 2147483647 52132 32 | 0.569 % |
25.82/25.91 c | 52617 | 29025 221784 884106 | 2147483647 52545 32 | 0.569 % |
26.12/26.12 c | 53067 | 29025 221784 884106 | 2147483647 52995 33 | 0.569 % |
26.32/26.37 c | 53561 | 29025 221784 884106 | 2147483647 53489 33 | 0.569 % |
26.42/26.51 c | 54103 | 29025 221784 884106 | 2147483647 54031 33 | 0.569 % |
26.72/26.81 c | 54699 | 29025 221784 884106 | 2147483647 54627 33 | 0.569 % |
26.92/26.94 c | 55354 | 29025 221784 884106 | 2147483647 55282 33 | 0.569 % |
27.22/27.25 c | 56074 | 29025 221784 884106 | 2147483647 56002 33 | 0.569 % |
27.22/27.29 c | 56175 | 29025 221784 884106 | 2147483647 56103 33 | 0.569 % |
27.32/27.38 c | 56288 | 29025 221784 884106 | 2147483647 56216 33 | 0.569 % |
27.42/27.46 c | 56411 | 29025 221784 884106 | 2147483647 56339 33 | 0.569 % |
27.52/27.56 c | 56544 | 29025 221784 884106 | 2147483647 56472 33 | 0.569 % |
27.62/27.62 c | 56690 | 29025 221784 884106 | 2147483647 56618 33 | 0.569 % |
27.62/27.69 c | 56850 | 29025 221784 884106 | 2147483647 56778 33 | 0.569 % |
27.72/27.81 c | 57026 | 29025 221784 884106 | 2147483647 56954 33 | 0.569 % |
27.82/27.87 c | 57221 | 29025 221784 884106 | 2147483647 57149 33 | 0.569 % |
27.92/28.01 c | 57434 | 29025 221784 884106 | 2147483647 57362 33 | 0.569 % |
28.12/28.12 c | 57667 | 29025 221784 884106 | 2147483647 57595 33 | 0.569 % |
28.32/28.32 c | 57923 | 29025 221784 884106 | 2147483647 57851 33 | 0.569 % |
28.42/28.43 c | 58205 | 29025 221784 884106 | 2147483647 58133 33 | 0.569 % |
28.42/28.51 c | 58515 | 29025 221784 884106 | 2147483647 58443 33 | 0.569 % |
28.62/28.71 c | 58854 | 29025 221784 884106 | 2147483647 58782 33 | 0.569 % |
28.72/28.81 c | 59227 | 29025 221784 884106 | 2147483647 59155 34 | 0.569 % |
28.92/28.93 c | 59637 | 29025 221784 884106 | 2147483647 59565 34 | 0.569 % |
29.02/29.04 c | 60088 | 29025 221784 884106 | 2147483647 60016 34 | 0.569 % |
29.22/29.27 c | 60581 | 29025 221784 884106 | 2147483647 60509 34 | 0.569 % |
29.32/29.38 c | 61130 | 29025 221784 884106 | 2147483647 61058 34 | 0.569 % |
29.62/29.70 c | 61727 | 29025 221784 884106 | 2147483647 61655 34 | 0.569 % |
30.02/30.05 c | 62382 | 29025 221784 884106 | 2147483647 62310 34 | 0.569 % |
30.22/30.29 c | 63103 | 29025 221784 884106 | 2147483647 63031 34 | 0.569 % |
30.52/30.57 c | 63895 | 29025 221784 884106 | 2147483647 63823 34 | 0.569 % |
30.62/30.62 c | 63995 | 29025 221784 884106 | 2147483647 63923 34 | 0.569 % |
30.72/30.77 c | 64105 | 29025 221784 884106 | 2147483647 64033 34 | 0.569 % |
30.82/30.89 c | 64227 | 29002 221408 882843 | 2147483647 64146 34 | 0.647 % |
30.92/30.95 c | 64362 | 29002 221408 882843 | 2147483647 64281 34 | 0.647 % |
31.02/31.03 c | 64508 | 29002 221408 882843 | 2147483647 64427 34 | 0.647 % |
31.12/31.21 c | 64669 | 29002 221408 882843 | 2147483647 64588 34 | 0.647 % |
31.22/31.29 c | 64847 | 29002 221408 882843 | 2147483647 64766 34 | 0.647 % |
31.32/31.41 c | 65040 | 29002 221408 882843 | 2147483647 64959 34 | 0.647 % |
31.42/31.50 c | 65253 | 29002 221408 882843 | 2147483647 65172 34 | 0.647 % |
31.52/31.56 c | 65486 | 29002 221408 882843 | 2147483647 65405 34 | 0.647 % |
31.72/31.76 c | 65742 | 29002 221408 882843 | 2147483647 65661 34 | 0.647 % |
31.82/31.84 c | 66028 | 29002 221408 882843 | 2147483647 65947 34 | 0.647 % |
31.92/31.93 c | 66338 | 29002 221408 882843 | 2147483647 66257 34 | 0.647 % |
31.92/31.96 c | 66678 | 29002 221408 882843 | 2147483647 66597 34 | 0.647 % |
32.12/32.19 c | 67050 | 29002 221408 882843 | 2147483647 66969 34 | 0.647 % |
32.32/32.33 c | 67459 | 29002 221408 882843 | 2147483647 67378 34 | 0.647 % |
32.42/32.46 c | 67910 | 29002 221408 882843 | 2147483647 67829 34 | 0.647 % |
32.72/32.76 c | 68404 | 29002 221408 882843 | 2147483647 68323 34 | 0.647 % |
32.92/33.01 c | 68949 | 29002 221408 882843 | 2147483647 68868 34 | 0.647 % |
33.12/33.12 c | 69545 | 28997 221408 882843 | 2147483647 69462 34 | 0.747 % |
33.32/33.39 c | 70200 | 28993 221408 882843 | 2147483647 70117 34 | 0.747 % |
33.52/33.52 c | 70920 | 28993 221408 882843 | 2147483647 70837 34 | 0.747 % |
33.82/33.88 c | 71712 | 28993 221408 882843 | 2147483647 71629 35 | 0.747 % |
34.22/34.23 c | 72586 | 28993 221408 882843 | 2147483647 72503 35 | 0.747 % |
34.22/34.30 c | 72686 | 28993 221408 882843 | 2147483647 72603 35 | 0.747 % |
34.32/34.34 c | 72796 | 28993 221408 882843 | 2147483647 72713 35 | 0.747 % |
34.32/34.40 c | 72918 | 28993 221408 882843 | 2147483647 72835 35 | 0.747 % |
34.42/34.47 c | 73053 | 28993 221408 882843 | 2147483647 72970 35 | 0.747 % |
34.52/34.56 c | 73200 | 28993 221408 882843 | 2147483647 73117 35 | 0.747 % |
34.62/34.63 c | 73360 | 28993 221408 882843 | 2147483647 73277 35 | 0.747 % |
34.72/34.72 c | 73538 | 28993 221408 882843 | 2147483647 73455 35 | 0.747 % |
34.72/34.75 c | 73732 | 28993 221408 882843 | 2147483647 73649 35 | 0.747 % |
34.82/34.84 c | 73951 | 28993 221408 882843 | 2147483647 73868 35 | 0.747 % |
34.92/34.97 c | 74184 | 28993 221408 882843 | 2147483647 74101 35 | 0.747 % |
35.22/35.27 c | 74440 | 28993 221408 882843 | 2147483647 74357 35 | 0.747 % |
35.32/35.39 c | 74722 | 28993 221408 882843 | 2147483647 74639 35 | 0.747 % |
35.52/35.52 c | 75031 | 28993 221408 882843 | 2147483647 74948 35 | 0.747 % |
35.72/35.80 c | 75370 | 28993 221408 882843 | 2147483647 75287 35 | 0.747 % |
36.02/36.04 c | 75742 | 28973 220604 879972 | 2147483647 75658 35 | 0.747 % |
36.22/36.27 c | 76151 | 28973 220604 879972 | 2147483647 76067 35 | 0.747 % |
36.32/36.39 c | 76600 | 28973 220604 879972 | 2147483647 76516 34 | 0.747 % |
36.62/36.62 c | 77096 | 28973 220604 879972 | 2147483647 77012 35 | 0.747 % |
36.72/36.80 c | 77638 | 28973 220604 879972 | 2147483647 77554 35 | 0.747 % |
36.92/36.99 c | 78235 | 28973 220604 879972 | 2147483647 78151 35 | 0.747 % |
37.32/37.35 c | 78892 | 28973 220604 879972 | 2147483647 78808 35 | 0.747 % |
37.52/37.60 c | 79612 | 28973 220604 879972 | 2147483647 79528 35 | 0.747 % |
37.82/37.82 c | 80408 | 28973 220604 879972 | 2147483647 80324 35 | 0.747 % |
38.12/38.21 c | 81279 | 28973 220604 879972 | 2147483647 81195 35 | 0.747 % |
38.62/38.64 c | 82237 | 28973 220604 879972 | 2147483647 82153 35 | 0.747 % |
38.62/38.69 c | 82339 | 28973 220604 879972 | 2147483647 82255 35 | 0.747 % |
38.72/38.75 c | 82451 | 28973 220604 879972 | 2147483647 82367 35 | 0.747 % |
38.82/38.85 c | 82573 | 28973 220604 879972 | 2147483647 82489 35 | 0.747 % |
38.92/38.98 c | 82708 | 28973 220604 879972 | 2147483647 82624 35 | 0.747 % |
39.12/39.12 c | 82854 | 28973 220604 879972 | 2147483647 82770 35 | 0.747 % |
39.12/39.20 c | 83017 | 28973 220604 879972 | 2147483647 82933 35 | 0.747 % |
39.32/39.32 c | 83193 | 28973 220604 879972 | 2147483647 83109 35 | 0.747 % |
39.32/39.37 c | 83386 | 28973 220604 879972 | 2147483647 83302 35 | 0.747 % |
39.42/39.52 c | 83598 | 28973 220604 879972 | 2147483647 83514 35 | 0.747 % |
39.52/39.61 c | 83831 | 28973 220604 879972 | 2147483647 83747 35 | 0.747 % |
39.62/39.71 c | 84090 | 28973 220604 879972 | 2147483647 84006 35 | 0.747 % |
39.72/39.81 c | 84371 | 28973 220604 879972 | 2147483647 84287 35 | 0.747 % |
39.92/39.98 c | 84681 | 28973 220604 879972 | 2147483647 84597 35 | 0.747 % |
40.32/40.34 c | 85021 | 28973 220604 879972 | 2147483647 84937 35 | 0.747 % |
40.42/40.49 c | 85393 | 28973 220604 879972 | 2147483647 85309 35 | 0.747 % |
40.72/40.72 c | 85803 | 28973 220604 879972 | 2147483647 85719 35 | 0.747 % |
40.92/40.98 c | 86253 | 28973 220604 879972 | 2147483647 86169 35 | 0.747 % |
41.22/41.26 c | 86746 | 28973 220604 879972 | 2147483647 86662 35 | 0.747 % |
41.42/41.46 c | 87290 | 28973 220604 879972 | 2147483647 87206 35 | 0.747 % |
41.62/41.70 c | 87887 | 28973 220604 879972 | 2147483647 87803 35 | 0.747 % |
42.12/42.14 c | 88542 | 28973 220604 879972 | 2147483647 88458 35 | 0.747 % |
42.32/42.33 c | 89264 | 28973 220604 879972 | 2147483647 89180 35 | 0.747 % |
42.62/42.68 c | 90058 | 28973 220604 879972 | 2147483647 89974 35 | 0.747 % |
43.12/43.13 c | 90929 | 28973 220604 879972 | 2147483647 90845 35 | 0.747 % |
43.72/43.73 c | 91887 | 28973 220604 879972 | 2147483647 91803 35 | 0.747 % |
44.12/44.16 c | 92941 | 28973 220604 879972 | 2147483647 92857 35 | 0.747 % |
44.12/44.18 c | 93043 | 28973 220604 879972 | 2147483647 92959 35 | 0.747 % |
44.22/44.24 c | 93153 | 28973 220604 879972 | 2147483647 93069 35 | 0.747 % |
44.32/44.38 c | 93274 | 28973 220604 879972 | 2147483647 93190 35 | 0.747 % |
44.42/44.47 c | 93407 | 28973 220604 879972 | 2147483647 93323 35 | 0.747 % |
44.52/44.57 c | 93555 | 28973 220604 879972 | 2147483647 93471 35 | 0.747 % |
44.62/44.68 c | 93715 | 28973 220604 879972 | 2147483647 93631 35 | 0.747 % |
44.72/44.77 c | 93894 | 28973 220604 879972 | 2147483647 93810 35 | 0.747 % |
44.92/44.99 c | 94087 | 28973 220604 879972 | 2147483647 94003 35 | 0.747 % |
45.12/45.16 c | 94299 | 28973 220604 879972 | 2147483647 94215 35 | 0.747 % |
45.32/45.34 c | 94533 | 28973 220604 879972 | 2147483647 94449 35 | 0.747 % |
45.42/45.48 c | 94789 | 28973 220604 879972 | 2147483647 94705 35 | 0.747 % |
45.71/45.74 c | 95070 | 28973 220604 879972 | 2147483647 94986 35 | 0.747 % |
46.01/46.09 c | 95380 | 28973 220604 879972 | 2147483647 95296 35 | 0.747 % |
46.21/46.30 c | 95719 | 28973 220604 879972 | 2147483647 95635 35 | 0.747 % |
46.51/46.54 c | 96091 | 28973 220604 879972 | 2147483647 96007 35 | 0.747 % |
46.71/46.75 c | 96500 | 28973 220604 879972 | 2147483647 96416 35 | 0.747 % |
46.81/46.91 c | 96953 | 28973 220604 879972 | 2147483647 96869 35 | 0.747 % |
47.11/47.18 c | 97446 | 28973 220604 879972 | 2147483647 97362 35 | 0.747 % |
47.41/47.47 c | 97991 | 28973 220604 879972 | 2147483647 97907 36 | 0.747 % |
47.61/47.67 c | 98588 | 28973 220604 879972 | 2147483647 98504 35 | 0.747 % |
48.01/48.05 c | 99243 | 28973 220604 879972 | 2147483647 99159 36 | 0.747 % |
48.21/48.28 c | 99964 | 28973 220604 879972 | 2147483647 99880 36 | 0.747 % |
48.81/48.85 c | 100756 | 28973 220604 879972 | 2147483647 100672 36 | 0.747 % |
49.01/49.05 c | 101628 | 28973 220604 879972 | 2147483647 101544 36 | 0.747 % |
49.61/49.68 c | 102586 | 28972 220541 879748 | 2147483647 102491 36 | 0.750 % |
49.91/50.00 c | 103641 | 28972 220541 879748 | 2147483647 103546 36 | 0.750 % |
50.61/50.69 c | 104800 | 28972 220541 879748 | 2147483647 104705 36 | 0.750 % |
50.71/50.73 c | 104901 | 28972 220541 879748 | 2147483647 104806 36 | 0.750 % |
50.81/50.82 c | 105012 | 28972 220541 879748 | 2147483647 104917 36 | 0.750 % |
50.91/50.91 c | 105135 | 28972 220541 879748 | 2147483647 105040 36 | 0.750 % |
51.11/51.11 c | 105269 | 28972 220541 879748 | 2147483647 105174 36 | 0.750 % |
51.11/51.20 c | 105416 | 28972 220541 879748 | 2147483647 105321 36 | 0.750 % |
51.31/51.34 c | 105577 | 28965 220541 879748 | 2147483647 105480 36 | 0.860 % |
51.41/51.49 c | 105754 | 28965 220541 879748 | 2147483647 105657 36 | 0.860 % |
51.61/51.70 c | 105948 | 28965 220541 879748 | 2147483647 105851 36 | 0.860 % |
51.71/51.77 c | 106162 | 28965 220541 879748 | 2147483647 106065 36 | 0.860 % |
52.11/52.12 c | 106395 | 28965 220541 879748 | 2147483647 106298 36 | 0.860 % |
52.21/52.27 c | 106653 | 28965 220541 879748 | 2147483647 106556 36 | 0.860 % |
52.51/52.52 c | 106935 | 28965 220541 879748 | 2147483647 106838 36 | 0.860 % |
52.71/52.74 c | 107244 | 28965 220541 879748 | 2147483647 107147 36 | 0.860 % |
52.91/53.00 c | 107584 | 28965 220541 879748 | 2147483647 107487 36 | 0.860 % |
53.11/53.18 c | 107956 | 28965 220541 879748 | 2147483647 107859 36 | 0.860 % |
53.41/53.42 c | 108365 | 28965 220541 879748 | 2147483647 108268 36 | 0.860 % |
53.81/53.81 c | 108814 | 28965 220541 879748 | 2147483647 108717 36 | 0.860 % |
54.01/54.01 c | 109308 | 28965 220541 879748 | 2147483647 109211 36 | 0.860 % |
54.31/54.31 c | 109850 | 28965 220541 879748 | 2147483647 109753 36 | 0.860 % |
54.51/54.59 c | 110446 | 28965 220541 879748 | 2147483647 110349 36 | 0.860 % |
55.41/55.41 c | 111102 | 28965 220541 879748 | 2147483647 111005 36 | 0.860 % |
55.81/55.84 c | 111824 | 28965 220541 879748 | 2147483647 111727 36 | 0.860 % |
56.31/56.36 c | 112616 | 28965 220541 879748 | 2147483647 112519 36 | 0.860 % |
56.71/56.76 c | 113487 | 28965 220541 879748 | 2147483647 113390 36 | 0.860 % |
57.11/57.15 c | 114446 | 28965 220541 879748 | 2147483647 114349 36 | 0.860 % |
57.31/57.40 c | 115499 | 28965 220541 879748 | 2147483647 115402 36 | 0.860 % |
58.01/58.06 c | 116658 | 28965 220541 879748 | 2147483647 116561 36 | 0.860 % |
58.61/58.63 c | 117931 | 28965 220541 879748 | 2147483647 117834 36 | 0.860 % |
58.71/58.74 c | 118032 | 28965 220541 879748 | 2147483647 117935 36 | 0.860 % |
58.71/58.78 c | 118142 | 28965 220541 879748 | 2147483647 118045 36 | 0.860 % |
58.81/58.89 c | 118263 | 28965 220541 879748 | 2147483647 118166 36 | 0.860 % |
59.01/59.03 c | 118396 | 28965 220541 879748 | 2147483647 118299 36 | 0.860 % |
59.11/59.16 c | 118542 | 28965 220541 879748 | 2147483647 118445 36 | 0.860 % |
59.21/59.28 c | 118702 | 28965 220541 879748 | 2147483647 118605 36 | 0.860 % |
59.41/59.43 c | 118879 | 28940 219963 877512 | 2147483647 118756 36 | 0.860 % |
59.61/59.66 c | 119072 | 28940 219963 877512 | 2147483647 118949 36 | 0.860 % |
59.71/59.77 c | 119284 | 28940 219963 877512 | 2147483647 119161 36 | 0.860 % |
60.01/60.01 c | 119517 | 28940 219963 877512 | 2147483647 119394 36 | 0.860 % |
60.21/60.25 c | 119777 | 28911 219963 877512 | 2147483647 119653 36 | 1.405 % |
60.41/60.49 c | 120059 | 28911 219963 877512 | 2147483647 119935 36 | 1.405 % |
60.51/60.58 c | 120368 | 28911 219963 877512 | 2147483647 120244 36 | 1.405 % |
60.71/60.73 c | 120707 | 28911 219963 877512 | 2147483647 120583 36 | 1.405 % |
61.01/61.05 c | 121080 | 28911 219963 877512 | 2147483647 120956 37 | 1.405 % |
61.21/61.22 c | 121489 | 28911 219963 877512 | 2147483647 121365 37 | 1.405 % |
61.51/61.51 c | 121940 | 28911 219963 877512 | 2147483647 121816 37 | 1.405 % |
61.51/61.56 c | 122433 | 28911 219963 877512 | 2147483647 122309 37 | 1.405 % |
61.91/62.00 c | 122975 | 28911 219963 877512 | 2147483647 122851 37 | 1.405 % |
62.41/62.42 c | 123572 | 28911 219963 877512 | 2147483647 123448 37 | 1.405 % |
62.81/62.82 c | 124230 | 28911 219963 877512 | 2147483647 124106 37 | 1.405 % |
63.11/63.13 c | 124951 | 28911 219963 877512 | 2147483647 124827 37 | 1.405 % |
63.51/63.58 c | 125744 | 28911 219963 877512 | 2147483647 125620 37 | 1.405 % |
64.01/64.07 c | 126616 | 28911 219963 877512 | 2147483647 126492 37 | 1.405 % |
64.51/64.54 c | 127576 | 28911 219963 877512 | 2147483647 127452 37 | 1.405 % |
65.21/65.28 c | 128630 | 28911 219963 877512 | 2147483647 128506 37 | 1.405 % |
66.11/66.19 c | 129788 | 28911 219963 877512 | 2147483647 129664 37 | 1.405 % |
67.01/67.02 c | 131061 | 28911 219963 877512 | 2147483647 130937 37 | 1.405 % |
67.61/67.70 c | 132461 | 28911 219963 877512 | 2147483647 132337 37 | 1.405 % |
67.81/67.85 c | 132563 | 28911 219963 877512 | 2147483647 132439 37 | 1.405 % |
67.81/67.90 c | 132673 | 28911 219963 877512 | 2147483647 132549 37 | 1.405 % |
68.11/68.12 c | 132794 | 28911 219963 877512 | 2147483647 132670 37 | 1.405 % |
68.21/68.22 c | 132927 | 28911 219963 877512 | 2147483647 132803 37 | 1.405 % |
68.41/68.46 c | 133076 | 28911 219963 877512 | 2147483647 132952 37 | 1.405 % |
68.61/68.67 c | 133239 | 28911 219963 877512 | 2147483647 133115 37 | 1.405 % |
68.81/68.83 c | 133416 | 28911 219963 877512 | 2147483647 133292 37 | 1.405 % |
69.01/69.02 c | 133611 | 28911 219963 877512 | 2147483647 133487 37 | 1.405 % |
69.11/69.20 c | 133824 | 28911 219963 877512 | 2147483647 133700 37 | 1.405 % |
69.31/69.32 c | 134059 | 28911 219963 877512 | 2147483647 133935 37 | 1.405 % |
69.51/69.60 c | 134315 | 28911 219963 877512 | 2147483647 134191 37 | 1.405 % |
69.71/69.77 c | 134597 | 28911 219963 877512 | 2147483647 134473 37 | 1.405 % |
70.01/70.09 c | 134906 | 28911 219963 877512 | 2147483647 134782 37 | 1.405 % |
70.21/70.26 c | 135247 | 28911 219963 877512 | 2147483647 135123 37 | 1.405 % |
70.42/70.47 c | 135621 | 28911 219963 877512 | 2147483647 135497 37 | 1.405 % |
71.01/71.02 c | 136034 | 28911 219963 877512 | 2147483647 135910 37 | 1.405 % |
71.21/71.24 c | 136484 | 28911 219963 877512 | 2147483647 136360 37 | 1.405 % |
71.61/71.62 c | 136978 | 28911 219963 877512 | 2147483647 136854 37 | 1.405 % |
72.01/72.05 c | 137521 | 28911 219963 877512 | 2147483647 137397 37 | 1.405 % |
72.31/72.38 c | 138119 | 28911 219963 877512 | 2147483647 137995 37 | 1.405 % |
72.91/72.91 c | 138774 | 28911 219963 877512 | 2147483647 138650 37 | 1.405 % |
73.81/73.81 c | 139494 | 28781 217578 868366 | 2147483647 139319 38 | 1.405 % |
74.82/74.82 c | 140289 | 28781 217578 868366 | 2147483647 140114 38 | 1.405 % |
75.81/75.91 c | 141160 | 28781 217578 868366 | 2147483647 140985 38 | 1.405 % |
76.51/76.60 c | 142118 | 28781 217578 868366 | 2147483647 141943 38 | 1.405 % |
77.21/77.25 c | 143171 | 28777 217578 868366 | 2147483647 142995 37 | 1.418 % |
78.12/78.15 c | 144329 | 28777 217578 868366 | 2147483647 144153 38 | 1.418 % |
78.81/78.86 c | 145604 | 28777 217578 868366 | 2147483647 145428 38 | 1.418 % |
79.81/79.86 c | 147004 | 28777 217578 868366 | 2147483647 146828 38 | 1.418 % |
81.21/81.21 c | 148547 | 28777 217578 868366 | 2147483647 148371 39 | 1.418 % |
81.31/81.34 c | 148647 | 28776 217578 868366 | 2147483647 148470 39 | 1.422 % |
81.42/81.46 c | 148759 | 28776 217578 868366 | 2147483647 148582 38 | 1.422 % |
81.51/81.55 c | 148880 | 28776 217578 868366 | 2147483647 148703 39 | 1.422 % |
81.61/81.69 c | 149014 | 28776 217578 868366 | 2147483647 148837 39 | 1.422 % |
81.91/81.93 c | 149161 | 28776 217578 868366 | 2147483647 148984 39 | 1.422 % |
82.01/82.03 c | 149321 | 28776 217578 868366 | 2147483647 149144 38 | 1.422 % |
82.11/82.16 c | 149497 | 28776 217578 868366 | 2147483647 149320 39 | 1.422 % |
82.31/82.38 c | 149690 | 28776 217578 868366 | 2147483647 149513 39 | 1.422 % |
82.52/82.58 c | 149902 | 28776 217578 868366 | 2147483647 149725 39 | 1.422 % |
82.81/82.90 c | 150135 | 28774 217578 868366 | 2147483647 149957 39 | 1.429 % |
83.01/83.01 c | 150392 | 28774 217578 868366 | 2147483647 150214 39 | 1.429 % |
83.01/83.07 c | 150675 | 28774 217578 868366 | 2147483647 150497 39 | 1.429 % |
83.21/83.22 c | 150985 | 28774 217578 868366 | 2147483647 150807 39 | 1.429 % |
83.62/83.66 c | 151324 | 28774 217578 868366 | 2147483647 151146 39 | 1.429 % |
84.01/84.05 c | 151697 | 28774 217578 868366 | 2147483647 151519 38 | 1.429 % |
84.21/84.28 c | 152106 | 28774 217578 868366 | 2147483647 151928 38 | 1.429 % |
84.81/84.82 c | 152557 | 28774 217578 868366 | 2147483647 152379 38 | 1.429 % |
84.81/84.89 c | 153051 | 28774 217578 868366 | 2147483647 152873 38 | 1.429 % |
85.41/85.48 c | 153593 | 28774 217578 868366 | 2147483647 153415 38 | 1.429 % |
85.82/85.87 c | 154191 | 28774 217578 868366 | 2147483647 154013 38 | 1.429 % |
86.21/86.26 c | 154846 | 28774 217578 868366 | 2147483647 154668 38 | 1.429 % |
86.81/86.91 c | 155571 | 28774 217578 868366 | 2147483647 155393 38 | 1.429 % |
87.41/87.47 c | 156363 | 28774 217578 868366 | 2147483647 156185 38 | 1.429 % |
88.11/88.15 c | 157234 | 28774 217578 868366 | 2147483647 157056 38 | 1.429 % |
89.01/89.04 c | 158192 | 28774 217358 867249 | 2147483647 143796 39 | 1.429 % |
89.61/89.64 c | 159245 | 28774 217358 867249 | 2147483647 144849 39 | 1.429 % |
90.61/90.65 c | 160403 | 28774 217358 867249 | 2147483647 146007 39 | 1.429 % |
91.51/91.55 c | 161681 | 28774 217358 867249 | 2147483647 147285 39 | 1.429 % |
92.21/92.24 c | 163084 | 28774 217358 867249 | 2147483647 148688 39 | 1.429 % |
93.41/93.51 c | 164627 | 28774 217358 867249 | 2147483647 150231 39 | 1.429 % |
94.81/94.88 c | 166321 | 28774 217358 867249 | 2147483647 151925 39 | 1.429 % |
94.91/94.93 c | 166421 | 28774 217358 867249 | 2147483647 152025 39 | 1.429 % |
95.11/95.15 c | 166532 | 28774 217358 867249 | 2147483647 152136 39 | 1.429 % |
95.21/95.24 c | 166653 | 28774 217358 867249 | 2147483647 152257 39 | 1.429 % |
95.31/95.36 c | 166789 | 28774 217358 867249 | 2147483647 152393 39 | 1.429 % |
95.51/95.56 c | 166936 | 28774 217358 867249 | 2147483647 152540 39 | 1.429 % |
95.61/95.70 c | 167097 | 28774 217358 867249 | 2147483647 152701 39 | 1.429 % |
95.81/95.87 c | 167277 | 28774 217358 867249 | 2147483647 152881 39 | 1.429 % |
96.01/96.05 c | 167472 | 28774 217358 867249 | 2147483647 153076 39 | 1.429 % |
96.01/96.08 c | 167684 | 28774 217358 867249 | 2147483647 153288 39 | 1.429 % |
96.21/96.26 c | 167919 | 28774 217358 867249 | 2147483647 153523 39 | 1.429 % |
96.41/96.47 c | 168175 | 28774 217358 867249 | 2147483647 153779 39 | 1.429 % |
96.61/96.67 c | 168456 | 28774 217358 867249 | 2147483647 154060 39 | 1.429 % |
96.91/96.93 c | 168765 | 28774 217358 867249 | 2147483647 154369 39 | 1.429 % |
97.31/97.38 c | 169104 | 28774 217358 867249 | 2147483647 154708 39 | 1.429 % |
97.81/97.81 c | 169478 | 28774 217358 867249 | 2147483647 155082 39 | 1.429 % |
98.21/98.23 c | 169889 | 28774 217358 867249 | 2147483647 155493 39 | 1.429 % |
98.51/98.58 c | 170338 | 28774 217358 867249 | 2147483647 155942 39 | 1.429 % |
98.91/98.98 c | 170831 | 28774 217358 867249 | 2147483647 156435 39 | 1.429 % |
99.21/99.29 c | 171373 | 28774 217358 867249 | 2147483647 156977 39 | 1.429 % |
99.71/99.79 c | 171971 | 28774 217358 867249 | 2147483647 157575 39 | 1.429 % |
100.21/100.30 c | 172627 | 28774 217358 867249 | 2147483647 158231 39 | 1.429 % |
100.81/100.88 c | 173347 | 28774 217358 867249 | 2147483647 158951 39 | 1.429 % |
101.61/101.64 c | 174139 | 28774 217358 867249 | 2147483647 159743 39 | 1.429 % |
102.01/102.08 c | 175010 | 28774 217358 867249 | 2147483647 160614 39 | 1.429 % |
102.71/102.78 c | 175968 | 28774 217358 867249 | 2147483647 161572 39 | 1.429 % |
103.31/103.34 c | 177021 | 28774 217358 867249 | 2147483647 162625 39 | 1.429 % |
104.61/104.66 c | 178179 | 28774 217358 867249 | 2147483647 163783 39 | 1.429 % |
105.41/105.44 c | 179453 | 28774 217358 867249 | 2147483647 165057 39 | 1.429 % |
106.72/106.77 c | 180853 | 28774 217358 867249 | 2147483647 166457 39 | 1.429 % |
107.91/107.93 c | 182393 | 28773 217291 867022 | 2147483647 167994 39 | 1.432 % |
109.51/109.59 c | 184088 | 28773 217291 867022 | 2147483647 169689 39 | 1.432 % |
111.01/111.02 c | 185951 | 28773 217291 867022 | 2147483647 171552 39 | 1.432 % |
111.12/111.17 c | 186051 | 28773 217291 867022 | 2147483647 171652 39 | 1.432 % |
111.41/111.46 c | 186162 | 28773 217291 867022 | 2147483647 171763 39 | 1.432 % |
111.61/111.61 c | 186283 | 28773 217291 867022 | 2147483647 171884 39 | 1.432 % |
111.71/111.78 c | 186416 | 28773 217291 867022 | 2147483647 172017 39 | 1.432 % |
111.91/111.99 c | 186563 | 28773 217291 867022 | 2147483647 172164 39 | 1.432 % |
112.22/112.26 c | 186724 | 28773 217291 867022 | 2147483647 172325 39 | 1.432 % |
112.51/112.60 c | 186900 | 28773 217291 867022 | 2147483647 172501 39 | 1.432 % |
112.81/112.81 c | 187093 | 28773 217291 867022 | 2147483647 172694 39 | 1.432 % |
113.01/113.03 c | 187305 | 28773 217291 867022 | 2147483647 172906 39 | 1.432 % |
113.11/113.18 c | 187538 | 28773 217291 867022 | 2147483647 173139 39 | 1.432 % |
113.51/113.53 c | 187794 | 28773 217291 867022 | 2147483647 173395 39 | 1.432 % |
113.71/113.78 c | 188075 | 28773 217291 867022 | 2147483647 173676 39 | 1.432 % |
114.11/114.20 c | 188385 | 28773 217291 867022 | 2147483647 173986 39 | 1.432 % |
114.62/114.71 c | 188726 | 28773 217291 867022 | 2147483647 174327 39 | 1.432 % |
115.12/115.16 c | 189098 | 28773 217291 867022 | 2147483647 174699 39 | 1.432 % |
115.42/115.49 c | 189510 | 28773 217291 867022 | 2147483647 175111 39 | 1.432 % |
115.72/115.77 c | 189961 | 28773 217291 867022 | 2147483647 175562 39 | 1.432 % |
116.32/116.34 c | 190457 | 28773 217291 867022 | 2147483647 176058 39 | 1.432 % |
116.82/116.89 c | 191000 | 28773 217291 867022 | 2147483647 176601 39 | 1.432 % |
117.32/117.41 c | 191596 | 28773 217291 867022 | 2147483647 177197 39 | 1.432 % |
117.82/117.84 c | 192251 | 28773 217291 867022 | 2147483647 177852 39 | 1.432 % |
118.42/118.46 c | 192971 | 28773 217291 867022 | 2147483647 178572 39 | 1.432 % |
119.22/119.31 c | 193764 | 28773 217291 867022 | 2147483647 179365 40 | 1.432 % |
120.02/120.09 c | 194635 | 28773 217291 867022 | 2147483647 180236 40 | 1.432 % |
120.62/120.66 c | 195594 | 28773 217291 867022 | 2147483647 181195 40 | 1.432 % |
121.62/121.66 c | 196649 | 28773 217291 867022 | 2147483647 182250 40 | 1.432 % |
122.52/122.58 c | 197808 | 28773 217291 867022 | 2147483647 183409 40 | 1.432 % |
123.72/123.72 c | 199086 | 28773 217291 867022 | 2147483647 184687 40 | 1.432 % |
125.22/125.24 c | 200487 | 28773 217291 867022 | 2147483647 186088 40 | 1.432 % |
127.62/127.64 c | 202028 | 28773 217291 867022 | 2147483647 187629 40 | 1.432 % |
128.72/128.80 c | 203723 | 28773 217291 867022 | 2147483647 189324 40 | 1.432 % |
130.22/130.25 c | 205590 | 28773 217291 867022 | 2147483647 191191 40 | 1.432 % |
131.12/131.14 c | 207639 | 28773 217291 867022 | 2147483647 193240 40 | 1.432 % |
131.22/131.22 c | 207739 | 28773 217291 867022 | 2147483647 193340 40 | 1.432 % |
131.42/131.43 c | 207849 | 28773 217291 867022 | 2147483647 193450 40 | 1.432 % |
131.52/131.59 c | 207975 | 28773 217291 867022 | 2147483647 193576 40 | 1.432 % |
131.72/131.77 c | 208108 | 28773 217291 867022 | 2147483647 193709 40 | 1.432 % |
131.92/131.98 c | 208255 | 28773 217291 867022 | 2147483647 193856 40 | 1.432 % |
132.22/132.25 c | 208415 | 28773 217291 867022 | 2147483647 194016 40 | 1.432 % |
132.42/132.43 c | 208591 | 28773 217291 867022 | 2147483647 194192 40 | 1.432 % |
132.72/132.71 c | 208786 | 28773 217291 867022 | 2147483647 194387 40 | 1.432 % |
132.92/133.00 c | 208998 | 28773 217291 867022 | 2147483647 194599 40 | 1.432 % |
133.22/133.29 c | 209232 | 28773 217291 867022 | 2147483647 194833 40 | 1.432 % |
133.52/133.59 c | 209488 | 28773 217291 867022 | 2147483647 195089 40 | 1.432 % |
133.82/133.84 c | 209769 | 28773 217291 867022 | 2147483647 195370 40 | 1.432 % |
134.32/134.38 c | 210078 | 28773 217291 867022 | 2147483647 195679 40 | 1.432 % |
134.62/134.68 c | 210417 | 28773 217291 867022 | 2147483647 196018 40 | 1.432 % |
135.12/135.14 c | 210790 | 28773 217291 867022 | 2147483647 196391 40 | 1.432 % |
135.62/135.67 c | 211200 | 28773 217291 867022 | 2147483647 196801 40 | 1.432 % |
136.22/136.22 c | 211649 | 28773 217291 867022 | 2147483647 197250 40 | 1.432 % |
136.92/136.93 c | 212142 | 28773 217291 867022 | 2147483647 197743 40 | 1.432 % |
137.52/137.53 c | 212684 | 28773 217291 867022 | 2147483647 198285 40 | 1.432 % |
138.12/138.20 c | 213283 | 28773 217291 867022 | 2147483647 198884 40 | 1.432 % |
138.72/138.73 c | 213939 | 28773 217291 867022 | 2147483647 199540 40 | 1.432 % |
139.32/139.38 c | 214659 | 28773 217291 867022 | 2147483647 200260 40 | 1.432 % |
140.12/140.16 c | 215451 | 28773 217291 867022 | 2147483647 201052 41 | 1.432 % |
141.12/141.13 c | 216323 | 28773 217291 867022 | 2147483647 201924 41 | 1.432 % |
142.22/142.28 c | 217282 | 28773 217291 867022 | 2147483647 202883 41 | 1.432 % |
143.22/143.22 c | 218336 | 28773 217291 867022 | 2147483647 203937 41 | 1.432 % |
144.22/144.22 c | 219495 | 28773 217291 867022 | 2147483647 205096 41 | 1.432 % |
145.42/145.50 c | 220769 | 28773 217291 867022 | 2147483647 206370 41 | 1.432 % |
146.62/146.63 c | 222170 | 28773 217291 867022 | 2147483647 207771 41 | 1.432 % |
148.02/148.05 c | 223710 | 28773 217291 867022 | 2147483647 209311 41 | 1.432 % |
150.62/150.63 c | 225404 | 28773 217291 867022 | 2147483647 211005 41 | 1.432 % |
151.82/151.81 c | 227267 | 28773 217291 867022 | 2147483647 212868 41 | 1.432 % |
154.42/154.49 c | 229316 | 28773 217291 867022 | 2147483647 214917 41 | 1.432 % |
156.22/156.29 c | 231569 | 28773 217291 867022 | 215601 217170 41 | 1.432 % |
157.02/157.03 c | 231670 | 28773 217291 867022 | 215601 184393 40 | 1.432 % |
157.12/157.14 c | 231780 | 28773 217291 867022 | 215601 184503 40 | 1.432 % |
157.22/157.30 c | 231901 | 28773 217291 867022 | 215601 184624 40 | 1.432 % |
157.52/157.58 c | 232034 | 28773 217291 867022 | 215601 184757 40 | 1.432 % |
157.62/157.67 c | 232185 | 28773 217291 867022 | 215601 184908 40 | 1.432 % |
157.92/157.99 c | 232347 | 28773 217291 867022 | 215601 185070 40 | 1.432 % |
158.12/158.17 c | 232523 | 28773 217291 867022 | 215601 185246 40 | 1.432 % |
158.42/158.48 c | 232718 | 28773 217291 867022 | 215601 185441 40 | 1.432 % |
158.62/158.62 c | 232932 | 28773 217291 867022 | 215601 185655 40 | 1.432 % |
158.92/158.98 c | 233165 | 28773 217291 867022 | 215601 185888 40 | 1.432 % |
159.32/159.35 c | 233421 | 28773 217291 867022 | 215601 186144 40 | 1.432 % |
159.52/159.59 c | 233703 | 28773 217291 867022 | 215601 186426 40 | 1.432 % |
159.82/159.91 c | 234015 | 28773 217291 867022 | 215601 186738 40 | 1.432 % |
160.52/160.56 c | 234355 | 28773 217291 867022 | 215601 187078 40 | 1.432 % |
160.82/160.85 c | 234727 | 28773 217291 867022 | 215601 187450 40 | 1.432 % |
161.22/161.21 c | 235136 | 28773 217291 867022 | 215601 187859 40 | 1.432 % |
161.52/161.54 c | 235585 | 28773 217291 867022 | 215601 188308 40 | 1.432 % |
162.32/162.33 c | 236079 | 28773 217291 867022 | 215601 188802 40 | 1.432 % |
162.92/162.97 c | 236621 | 28773 217291 867022 | 215601 189344 40 | 1.432 % |
163.52/163.59 c | 237217 | 28773 217291 867022 | 215601 189940 40 | 1.432 % |
164.22/164.21 c | 237876 | 28773 217291 867022 | 215601 190599 40 | 1.432 % |
165.22/165.24 c | 238596 | 28773 217291 867022 | 215601 191319 40 | 1.432 % |
165.72/165.74 c | 239392 | 28773 217291 867022 | 215601 192115 40 | 1.432 % |
166.52/166.56 c | 240264 | 28773 217291 867022 | 192725 192987 40 | 1.432 % |
168.22/168.24 c | 241222 | 28773 217291 867022 | 192725 193945 41 | 1.432 % |
169.92/169.95 c | 242277 | 28773 217291 867022 | 192725 175606 41 | 1.432 % |
170.82/170.90 c | 243435 | 28773 217291 867022 | 192725 176764 41 | 1.432 % |
172.02/172.04 c | 244709 | 28773 217291 867022 | 192725 178038 41 | 1.432 % |
172.92/172.94 c | 246109 | 28773 217291 867022 | 192725 179438 41 | 1.432 % |
174.62/174.66 c | 247649 | 28773 217291 867022 | 192725 180978 41 | 1.432 % |
176.62/176.62 c | 249344 | 28773 217291 867022 | 192725 182673 41 | 1.432 % |
178.52/178.51 c | 251209 | 28773 217291 867022 | 2147483647 184538 42 | 1.432 % |
180.32/180.32 c | 253258 | 28773 217291 867022 | 2147483647 186587 42 | 1.432 % |
182.92/183.00 c | 255512 | 28773 217291 867022 | 2147483647 188841 42 | 1.432 % |
184.52/184.58 c | 257991 | 28773 217291 867022 | 2147483647 191320 42 | 1.432 % |
184.83/184.85 c | 258093 | 28773 217291 867022 | 2147483647 191422 42 | 1.432 % |
184.92/184.99 c | 258203 | 28773 217291 867022 | 2147483647 191532 42 | 1.432 % |
185.12/185.19 c | 258325 | 28773 217291 867022 | 2147483647 191654 42 | 1.432 % |
185.32/185.36 c | 258459 | 28773 217291 867022 | 2147483647 191788 42 | 1.432 % |
185.52/185.58 c | 258607 | 28773 217291 867022 | 2147483647 191936 42 | 1.432 % |
185.72/185.74 c | 258768 | 28773 217291 867022 | 2147483647 192097 42 | 1.432 % |
185.93/185.95 c | 258944 | 28773 217291 867022 | 2147483647 192273 42 | 1.432 % |
186.22/186.31 c | 259138 | 28773 217291 867022 | 2147483647 192467 42 | 1.432 % |
186.62/186.66 c | 259350 | 28773 217291 867022 | 2147483647 192679 42 | 1.432 % |
187.12/187.14 c | 259584 | 28773 217291 867022 | 2147483647 192913 42 | 1.432 % |
187.42/187.47 c | 259844 | 28773 217291 867022 | 2147483647 193173 42 | 1.432 % |
187.72/187.72 c | 260125 | 28773 217291 867022 | 193330 193454 42 | 1.432 % |
188.13/188.20 c | 260434 | 28773 217291 867022 | 193330 193763 42 | 1.432 % |
188.82/188.83 c | 260773 | 28773 217291 867022 | 193330 169861 42 | 1.432 % |
189.32/189.37 c | 261146 | 28773 217291 867022 | 193330 170234 42 | 1.432 % |
189.82/189.89 c | 261560 | 28773 217291 867022 | 193330 170648 42 | 1.432 % |
190.42/190.43 c | 262009 | 28773 217291 867022 | 193330 171097 42 | 1.432 % |
190.82/190.86 c | 262505 | 28773 217291 867022 | 193330 171593 42 | 1.432 % |
191.32/191.36 c | 263049 | 28773 217291 867022 | 193330 172137 42 | 1.432 % |
191.52/191.57 c | 263645 | 28773 217291 867022 | 193330 172733 42 | 1.432 % |
192.42/192.44 c | 264300 | 28773 217291 867022 | 193330 173388 42 | 1.432 % |
193.22/193.28 c | 265020 | 28773 217291 867022 | 193330 174108 42 | 1.432 % |
194.22/194.27 c | 265814 | 28773 217291 867022 | 193330 174902 42 | 1.432 % |
195.22/195.22 c | 266686 | 28773 217291 867022 | 193330 175774 42 | 1.432 % |
196.32/196.41 c | 267648 | 28773 217291 867022 | 193330 176736 42 | 1.432 % |
197.42/197.48 c | 268704 | 28773 217291 867022 | 193330 177792 42 | 1.432 % |
198.82/198.91 c | 269862 | 28773 217291 867022 | 193330 178950 42 | 1.432 % |
199.72/199.76 c | 271135 | 28773 217291 867022 | 179090 180223 42 | 1.432 % |
201.62/201.63 c | 272536 | 28773 217291 867022 | 179090 157144 41 | 1.432 % |
203.12/203.17 c | 274076 | 28773 217291 867022 | 179090 158684 41 | 1.432 % |
204.72/204.80 c | 275775 | 28773 217291 867022 | 179090 160383 41 | 1.432 % |
206.83/206.91 c | 277638 | 28773 217291 867022 | 179090 162246 41 | 1.432 % |
209.12/209.15 c | 279687 | 28773 217291 867022 | 179090 164295 42 | 1.432 % |
211.02/211.06 c | 281942 | 28773 217291 867022 | 164608 166550 42 | 1.432 % |
213.22/213.26 c | 284420 | 28773 217291 867022 | 164608 139748 40 | 1.432 % |
215.81/215.83 c | 287148 | 28773 217291 867022 | 164608 142476 40 | 1.432 % |
215.91/215.97 c | 287249 | 28773 217291 867022 | 164608 142577 40 | 1.432 % |
216.01/216.09 c | 287359 | 28773 217291 867022 | 164608 142687 40 | 1.432 % |
216.21/216.24 c | 287480 | 28773 217291 867022 | 164608 142808 40 | 1.432 % |
216.31/216.33 c | 287613 | 28773 217291 867022 | 164608 142941 40 | 1.432 % |
216.51/216.57 c | 287759 | 28773 217291 867022 | 164608 143087 40 | 1.432 % |
216.81/216.84 c | 287925 | 28773 217291 867022 | 164608 143253 40 | 1.432 % |
216.91/216.97 c | 288103 | 28773 217291 867022 | 164608 143431 40 | 1.432 % |
217.11/217.18 c | 288296 | 28773 217291 867022 | 164608 143624 40 | 1.432 % |
217.41/217.47 c | 288508 | 28773 217291 867022 | 164608 143836 40 | 1.432 % |
217.71/217.80 c | 288743 | 28773 217291 867022 | 164608 144071 40 | 1.432 % |
218.01/218.08 c | 288999 | 28773 217291 867022 | 164608 144327 40 | 1.432 % |
218.51/218.51 c | 289283 | 28762 216912 865724 | 164608 144609 40 | 1.470 % |
219.01/219.06 c | 289592 | 28762 216912 865724 | 164608 144918 40 | 1.470 % |
219.31/219.30 c | 289931 | 28762 216912 865724 | 164608 145257 40 | 1.470 % |
219.71/219.71 c | 290304 | 28762 216912 865724 | 2147483647 145630 40 | 1.470 % |
220.31/220.33 c | 290714 | 28762 216912 865724 | 2147483647 146040 40 | 1.470 % |
220.71/220.72 c | 291164 | 28762 216912 865724 | 2147483647 146490 40 | 1.470 % |
221.01/221.01 c | 291659 | 28762 216912 865724 | 2147483647 146985 40 | 1.470 % |
221.51/221.54 c | 292204 | 28762 216912 865724 | 2147483647 147530 40 | 1.470 % |
222.22/222.27 c | 292801 | 28762 216912 865724 | 2147483647 148127 41 | 1.470 % |
222.71/222.70 c | 293456 | 28762 216912 865724 | 2147483647 148782 40 | 1.470 % |
223.51/223.51 c | 294176 | 28762 216912 865724 | 2147483647 149502 41 | 1.470 % |
224.01/224.06 c | 294969 | 28762 216912 865724 | 2147483647 150295 41 | 1.470 % |
225.71/225.74 c | 295842 | 28762 216912 865724 | 2147483647 151168 41 | 1.470 % |
226.71/226.78 c | 296803 | 28762 216912 865724 | 2147483647 152129 41 | 1.470 % |
228.21/228.26 c | 297858 | 28762 216912 865724 | 2147483647 153184 41 | 1.470 % |
229.42/229.47 c | 299016 | 28762 216912 865724 | 2147483647 154342 41 | 1.470 % |
231.52/231.55 c | 300289 | 28762 216912 865724 | 2147483647 155615 41 | 1.470 % |
233.52/233.59 c | 301689 | 28762 216912 865724 | 2147483647 157015 41 | 1.470 % |
234.82/234.81 c | 303229 | 28762 216912 865724 | 2147483647 158555 41 | 1.470 % |
237.12/237.17 c | 304927 | 28762 216912 865724 | 2147483647 160253 42 | 1.470 % |
238.42/238.43 c | 306791 | 28762 216912 865724 | 2147483647 162117 42 | 1.470 % |
240.12/240.15 c | 308842 | 28762 216912 865724 | 2147483647 164168 42 | 1.470 % |
243.72/243.78 c | 311095 | 28762 216912 865724 | 2147483647 166421 43 | 1.470 % |
245.72/245.74 c | 313573 | 28762 216912 865724 | 2147483647 168899 43 | 1.470 % |
248.22/248.22 c | 316298 | 28762 216912 865724 | 2147483647 171624 43 | 1.470 % |
250.82/250.84 c | 319295 | 28762 216912 865724 | 2147483647 174621 43 | 1.470 % |
251.02/251.03 c | 319395 | 28762 216912 865724 | 2147483647 174721 43 | 1.470 % |
251.12/251.18 c | 319506 | 28762 216912 865724 | 2147483647 174832 43 | 1.470 % |
251.32/251.40 c | 319628 | 28762 216912 865724 | 2147483647 174954 43 | 1.470 % |
251.62/251.67 c | 319761 | 28762 216912 865724 | 2147483647 175087 43 | 1.470 % |
251.92/251.96 c | 319908 | 28762 216912 865724 | 2147483647 175234 43 | 1.470 % |
252.22/252.30 c | 320068 | 28762 216912 865724 | 175326 175394 43 | 1.470 % |
252.42/252.47 c | 320244 | 28762 216912 865724 | 175326 175570 43 | 1.470 % |
252.82/252.85 c | 320437 | 28762 216912 865724 | 175326 175763 43 | 1.470 % |
253.32/253.37 c | 320649 | 28762 216912 865724 | 175326 155292 42 | 1.470 % |
253.62/253.69 c | 320882 | 28762 216912 865724 | 175326 155525 42 | 1.470 % |
253.92/253.97 c | 321142 | 28762 216912 865724 | 175326 155785 42 | 1.470 % |
254.22/254.29 c | 321426 | 28762 216912 865724 | 175326 156069 42 | 1.470 % |
254.42/254.46 c | 321735 | 28762 216912 865724 | 175326 156378 42 | 1.470 % |
254.82/254.89 c | 322074 | 28762 216912 865724 | 175326 156717 42 | 1.470 % |
255.42/255.44 c | 322447 | 28762 216912 865724 | 175326 157090 42 | 1.470 % |
256.22/256.23 c | 322857 | 28762 216912 865724 | 175326 157500 42 | 1.470 % |
256.42/256.46 c | 323306 | 28762 216912 865724 | 175326 157949 42 | 1.470 % |
257.02/257.03 c | 323801 | 28755 216837 865530 | 175326 158441 42 | 1.494 % |
257.72/257.73 c | 324344 | 28755 216837 865530 | 175326 158984 42 | 1.494 % |
258.42/258.46 c | 324940 | 28755 216837 865530 | 175326 159580 42 | 1.494 % |
259.52/259.60 c | 325599 | 28755 216837 865530 | 175326 160239 42 | 1.494 % |
260.52/260.54 c | 326322 | 28755 216837 865530 | 175326 160962 42 | 1.494 % |
261.42/261.44 c | 327114 | 28755 216837 865530 | 175326 161754 42 | 1.494 % |
261.82/261.87 c | 327985 | 28755 216837 865530 | 175326 162625 42 | 1.494 % |
263.22/263.26 c | 328943 | 28755 216837 865530 | 175326 163583 42 | 1.494 % |
264.92/264.91 c | 329997 | 28755 216837 865530 | 175326 164637 42 | 1.494 % |
266.12/266.19 c | 331155 | 28755 216837 865530 | 2147483647 165795 42 | 1.494 % |
267.42/267.45 c | 332429 | 28755 216837 865530 | 2147483647 167069 42 | 1.494 % |
268.52/268.59 c | 333833 | 28755 216837 865530 | 2147483647 168473 42 | 1.494 % |
271.52/271.56 c | 335373 | 28755 216837 865530 | 2147483647 170013 42 | 1.494 % |
273.72/273.77 c | 337070 | 28755 216837 865530 | 2147483647 171710 42 | 1.494 % |
275.92/275.94 c | 338936 | 28755 216837 865530 | 2147483647 173576 42 | 1.494 % |
278.32/278.31 c | 340986 | 28755 216837 865530 | 2147483647 175626 42 | 1.494 % |
280.12/280.20 c | 343239 | 28755 216837 865530 | 2147483647 177879 42 | 1.494 % |
282.82/282.85 c | 345717 | 28755 216837 865530 | 2147483647 180357 42 | 1.494 % |
286.32/286.36 c | 348442 | 28755 216837 865530 | 2147483647 183082 43 | 1.494 % |
289.12/289.16 c | 351440 | 28755 216837 865530 | 184640 186080 43 | 1.494 % |
293.42/293.41 c | 354736 | 28755 216837 865530 | 184640 169154 42 | 1.494 % |
293.52/293.58 c | 354837 | 28755 216837 865530 | 184640 169255 42 | 1.494 % |
293.82/293.84 c | 354947 | 28755 216837 865530 | 184640 169365 42 | 1.494 % |
293.92/293.97 c | 355069 | 28755 216837 865530 | 184640 169487 42 | 1.494 % |
294.12/294.11 c | 355202 | 28755 216837 865530 | 184640 169620 42 | 1.494 % |
294.32/294.33 c | 355349 | 28755 216837 865530 | 184640 169767 42 | 1.494 % |
294.62/294.61 c | 355509 | 28755 216837 865530 | 184640 169927 42 | 1.494 % |
294.92/294.97 c | 355685 | 28755 216837 865530 | 184640 170103 42 | 1.494 % |
295.22/295.30 c | 355878 | 28755 216837 865530 | 184640 170296 42 | 1.494 % |
295.52/295.59 c | 356091 | 28755 216837 865530 | 184640 170509 42 | 1.494 % |
295.92/295.91 c | 356324 | 28755 216837 865530 | 184640 170742 42 | 1.494 % |
296.52/296.58 c | 356581 | 28755 216837 865530 | 184640 170999 42 | 1.494 % |
296.92/296.96 c | 356862 | 28755 216837 865530 | 184640 171280 42 | 1.494 % |
297.42/297.46 c | 357171 | 28755 216837 865530 | 184640 171589 42 | 1.494 % |
298.13/298.20 c | 357511 | 28755 216837 865530 | 184640 171929 42 | 1.494 % |
298.52/298.55 c | 357883 | 28755 216837 865530 | 184640 172301 42 | 1.494 % |
299.12/299.21 c | 358292 | 28755 216837 865530 | 184640 172710 42 | 1.494 % |
299.82/299.90 c | 358742 | 28755 216837 865530 | 184640 173160 42 | 1.494 % |
300.52/300.57 c | 359235 | 28755 216837 865530 | 184640 173653 42 | 1.494 % |
301.12/301.16 c | 359778 | 28755 216837 865530 | 184640 174196 42 | 1.494 % |
302.02/302.07 c | 360374 | 28755 216837 865530 | 2147483647 174792 42 | 1.494 % |
302.42/302.46 c | 361030 | 28755 216837 865530 | 2147483647 175448 42 | 1.494 % |
303.63/303.67 c | 361751 | 28755 216837 865530 | 2147483647 176169 42 | 1.494 % |
304.32/304.34 c | 362545 | 28755 216837 865530 | 2147483647 176963 42 | 1.494 % |
305.32/305.40 c | 363416 | 28755 216837 865530 | 2147483647 177834 42 | 1.494 % |
306.62/306.63 c | 364376 | 28755 216837 865530 | 2147483647 178794 42 | 1.494 % |
307.92/307.93 c | 365429 | 28755 216837 865530 | 2147483647 179847 43 | 1.494 % |
309.02/309.11 c | 366587 | 28755 216837 865530 | 2147483647 181005 43 | 1.494 % |
310.52/310.56 c | 367862 | 28755 216837 865530 | 2147483647 182280 43 | 1.494 % |
312.32/312.31 c | 369262 | 28755 216837 865530 | 2147483647 183680 43 | 1.494 % |
313.92/314.00 c | 370802 | 28755 216837 865530 | 184419 185220 43 | 1.494 % |
315.52/315.52 c | 372499 | 28755 216837 865530 | 184419 165879 42 | 1.494 % |
317.52/317.52 c | 374362 | 28755 216837 865530 | 184419 167742 42 | 1.494 % |
319.82/319.89 c | 376413 | 28755 216837 865530 | 184419 169793 42 | 1.494 % |
321.92/321.92 c | 378666 | 28755 216837 865530 | 184419 172046 42 | 1.494 % |
325.32/325.37 c | 381145 | 28755 216837 865530 | 173380 174525 42 | 1.494 % |
327.72/327.81 c | 383872 | 28755 216837 865530 | 173380 153278 41 | 1.494 % |
331.13/331.14 c | 386870 | 28755 216837 865530 | 173380 156276 42 | 1.494 % |
333.92/333.94 c | 390168 | 28755 216837 865530 | 159407 159574 42 | 1.494 % |
339.42/339.45 c | 393794 | 28755 216837 865530 | 159407 135649 41 | 1.494 % |
339.52/339.57 c | 393896 | 28755 216837 865530 | 159407 135751 41 | 1.494 % |
339.62/339.70 c | 394006 | 28755 216837 865530 | 159407 135861 41 | 1.494 % |
339.82/339.85 c | 394128 | 28755 216837 865530 | 159407 135983 41 | 1.494 % |
340.02/340.10 c | 394261 | 28755 216837 865530 | 159407 136116 41 | 1.494 % |
340.22/340.30 c | 394408 | 28755 216837 865530 | 159407 136263 41 | 1.494 % |
340.42/340.47 c | 394568 | 28755 216837 865530 | 159407 136423 41 | 1.494 % |
340.62/340.67 c | 394746 | 28755 216837 865530 | 159407 136601 41 | 1.494 % |
341.03/341.01 c | 394939 | 28755 216837 865530 | 159407 136794 41 | 1.494 % |
341.12/341.18 c | 395151 | 28755 216837 865530 | 159407 137006 41 | 1.494 % |
341.42/341.47 c | 395384 | 28755 216837 865530 | 159407 137239 41 | 1.494 % |
341.82/341.88 c | 395640 | 28755 216837 865530 | 159407 137495 41 | 1.494 % |
342.32/342.40 c | 395923 | 28755 216837 865530 | 159407 137778 41 | 1.494 % |
342.72/342.79 c | 396235 | 28755 216837 865530 | 159407 138090 41 | 1.494 % |
343.23/343.25 c | 396575 | 28755 216837 865530 | 159407 138430 41 | 1.494 % |
343.73/343.76 c | 396950 | 28755 216837 865530 | 159407 138805 41 | 1.494 % |
344.03/344.06 c | 397361 | 28755 216837 865530 | 159407 139216 41 | 1.494 % |
344.43/344.49 c | 397813 | 28755 216837 865530 | 159407 139668 41 | 1.494 % |
345.03/345.06 c | 398307 | 28755 216837 865530 | 159407 140162 41 | 1.494 % |
345.83/345.83 c | 398850 | 28755 216837 865530 | 159407 140705 41 | 1.494 % |
346.43/346.50 c | 399448 | 28755 216837 865530 | 159407 141303 41 | 1.494 % |
347.23/347.23 c | 400108 | 28755 216837 865530 | 2147483647 141963 41 | 1.494 % |
348.33/348.35 c | 400828 | 28755 216837 865530 | 2147483647 142683 41 | 1.494 % |
349.43/349.51 c | 401621 | 28755 216837 865530 | 2147483647 143476 42 | 1.494 % |
350.23/350.27 c | 402492 | 28755 216837 865530 | 2147483647 144347 42 | 1.494 % |
351.53/351.52 c | 403450 | 28755 216837 865530 | 2147483647 145305 42 | 1.494 % |
352.53/352.52 c | 404505 | 28755 216837 865530 | 2147483647 146360 41 | 1.494 % |
354.13/354.12 c | 405663 | 28755 216837 865530 | 2147483647 147518 42 | 1.494 % |
355.93/355.91 c | 406936 | 28755 216837 865530 | 2147483647 148791 42 | 1.494 % |
357.63/357.66 c | 408336 | 28755 216837 865530 | 2147483647 150191 42 | 1.494 % |
359.73/359.78 c | 409877 | 28755 216837 865530 | 2147483647 151732 43 | 1.494 % |
362.23/362.23 c | 411571 | 28755 216837 865530 | 2147483647 153426 43 | 1.494 % |
364.03/364.08 c | 413435 | 28755 216837 865530 | 2147483647 155290 43 | 1.494 % |
366.93/367.01 c | 415484 | 28755 216837 865530 | 2147483647 157339 43 | 1.494 % |
369.63/369.70 c | 417737 | 28755 216837 865530 | 2147483647 159592 43 | 1.494 % |
372.43/372.44 c | 420215 | 28755 216837 865530 | 2147483647 162070 43 | 1.494 % |
376.03/376.09 c | 422940 | 28755 216837 865530 | 2147483647 164795 43 | 1.494 % |
378.93/378.98 c | 425939 | 28755 216837 865530 | 2147483647 167794 43 | 1.494 % |
382.63/382.70 c | 429236 | 28755 216837 865530 | 2147483647 171091 43 | 1.494 % |
388.23/388.27 c | 432862 | 28755 216837 865530 | 171855 174717 44 | 1.494 % |
392.53/392.57 c | 436849 | 28755 216837 865530 | 171855 152110 43 | 1.494 % |
392.63/392.65 c | 436950 | 28755 216837 865530 | 171855 152211 43 | 1.494 % |
392.83/392.83 c | 437061 | 28755 216837 865530 | 171855 152322 43 | 1.494 % |
393.03/393.08 c | 437182 | 28755 216837 865530 | 171855 152443 43 | 1.494 % |
393.33/393.35 c | 437316 | 28755 216837 865530 | 171855 152577 43 | 1.494 % |
393.53/393.52 c | 437464 | 28755 216837 865530 | 171855 152725 43 | 1.494 % |
393.73/393.80 c | 437624 | 28755 216837 865530 | 171855 152885 43 | 1.494 % |
394.03/394.07 c | 437800 | 28755 216837 865530 | 171855 153061 43 | 1.494 % |
394.33/394.38 c | 437993 | 28755 216837 865530 | 171855 153254 43 | 1.494 % |
394.53/394.59 c | 438206 | 28755 216837 865530 | 171855 153467 42 | 1.494 % |
395.03/395.07 c | 438440 | 28755 216837 865530 | 171855 153701 43 | 1.494 % |
395.33/395.37 c | 438699 | 28755 216837 865530 | 171855 153960 43 | 1.494 % |
395.73/395.73 c | 438981 | 28755 216837 865530 | 171855 154242 43 | 1.494 % |
396.23/396.21 c | 439290 | 28755 216837 865530 | 171855 154551 43 | 1.494 % |
396.43/396.50 c | 439634 | 28755 216837 865530 | 171855 154895 43 | 1.494 % |
396.93/396.95 c | 440007 | 28755 216837 865530 | 155261 155268 43 | 1.494 % |
397.43/397.51 c | 440419 | 28755 216837 865530 | 155261 155680 43 | 1.494 % |
398.13/398.20 c | 440868 | 28755 216837 865530 | 155261 156129 43 | 1.494 % |
399.13/399.21 c | 441362 | 28755 216837 865530 | 155261 140841 42 | 1.494 % |
399.83/399.88 c | 441904 | 28755 216837 865530 | 155261 141383 42 | 1.494 % |
400.73/400.71 c | 442501 | 28755 216837 865530 | 155261 141980 42 | 1.494 % |
401.53/401.52 c | 443156 | 28755 216837 865530 | 155261 142635 42 | 1.494 % |
402.73/402.77 c | 443876 | 28755 216837 865530 | 155261 143355 42 | 1.494 % |
403.83/403.85 c | 444669 | 28755 216837 865530 | 155261 144148 42 | 1.494 % |
405.23/405.23 c | 445540 | 28755 216837 865530 | 155261 145019 43 | 1.494 % |
406.33/406.31 c | 446498 | 28755 216837 865530 | 155261 145977 43 | 1.494 % |
407.23/407.26 c | 447551 | 28755 216837 865530 | 155261 147030 42 | 1.494 % |
408.73/408.77 c | 448709 | 28755 216837 865530 | 155261 148188 42 | 1.494 % |
410.33/410.38 c | 449982 | 28755 216837 865530 | 155261 149461 43 | 1.494 % |
412.43/412.48 c | 451382 | 28755 216837 865530 | 2147483647 150861 43 | 1.494 % |
413.83/413.90 c | 452922 | 28755 216837 865530 | 2147483647 152401 43 | 1.494 % |
416.53/416.56 c | 454616 | 28755 216837 865530 | 2147483647 154095 43 | 1.494 % |
418.73/418.76 c | 456480 | 28755 216837 865530 | 2147483647 155959 43 | 1.494 % |
422.93/422.96 c | 458531 | 28755 216837 865530 | 2147483647 158010 44 | 1.494 % |
424.23/424.27 c | 460784 | 28755 216837 865530 | 159480 160263 44 | 1.494 % |
428.63/428.65 c | 463263 | 28755 216837 865530 | 159480 128621 43 | 1.494 % |
431.53/431.58 c | 465988 | 28755 216837 865530 | 159480 131346 43 | 1.494 % |
436.43/436.48 c | 468986 | 28755 216837 865530 | 159480 134344 44 | 1.494 % |
440.73/440.78 c | 472283 | 28755 216837 865530 | 135358 137641 44 | 1.494 % |
443.63/443.66 c | 475908 | 28755 216837 865530 | 135358 127502 43 | 1.494 % |
449.13/449.19 c | 479895 | 28755 216837 865530 | 135358 131489 43 | 1.494 % |
454.93/454.91 c | 484280 | 28755 216837 865530 | 2147483647 135874 43 | 1.494 % |
455.13/455.16 c | 484380 | 28755 216837 865530 | 2147483647 135974 43 | 1.494 % |
455.33/455.35 c | 484491 | 28755 216837 865530 | 2147483647 136085 43 | 1.494 % |
455.53/455.57 c | 484615 | 28755 216837 865530 | 2147483647 136209 43 | 1.494 % |
455.73/455.78 c | 484749 | 28755 216837 865530 | 2147483647 136343 43 | 1.494 % |
456.03/456.05 c | 484895 | 28755 216837 865530 | 2147483647 136489 43 | 1.494 % |
456.23/456.28 c | 485055 | 28755 216837 865530 | 2147483647 136649 43 | 1.494 % |
456.54/456.58 c | 485232 | 28755 216837 865530 | 2147483647 136826 43 | 1.494 % |
456.83/456.83 c | 485425 | 28755 216837 865530 | 2147483647 137019 43 | 1.494 % |
456.93/456.95 c | 485641 | 28755 216837 865530 | 2147483647 137235 43 | 1.494 % |
457.33/457.32 c | 485875 | 28755 216837 865530 | 2147483647 137469 43 | 1.494 % |
457.53/457.59 c | 486136 | 28755 216837 865530 | 2147483647 137730 43 | 1.494 % |
458.14/458.12 c | 486417 | 28755 216837 865530 | 2147483647 138011 43 | 1.494 % |
458.64/458.68 c | 486726 | 28755 216837 865530 | 2147483647 138320 43 | 1.494 % |
459.24/459.26 c | 487067 | 28755 216837 865530 | 2147483647 138661 43 | 1.494 % |
459.74/459.81 c | 487439 | 28755 216837 865530 | 2147483647 139033 43 | 1.494 % |
460.24/460.29 c | 487848 | 28755 216837 865530 | 2147483647 139442 43 | 1.494 % |
460.94/460.94 c | 488298 | 28755 216837 865530 | 2147483647 139892 43 | 1.494 % |
461.84/461.89 c | 488791 | 28755 216837 865530 | 2147483647 140385 43 | 1.494 % |
462.64/462.71 c | 489335 | 28755 216837 865530 | 2147483647 140929 43 | 1.494 % |
463.64/463.71 c | 489931 | 28755 216837 865530 | 2147483647 141525 43 | 1.494 % |
464.54/464.53 c | 490587 | 28755 216837 865530 | 2147483647 142181 43 | 1.494 % |
465.44/465.49 c | 491309 | 28755 216837 865530 | 2147483647 142903 43 | 1.494 % |
466.64/466.67 c | 492103 | 28751 216779 865326 | 2147483647 143696 43 | 1.507 % |
468.24/468.24 c | 492974 | 28751 216779 865326 | 2147483647 144567 43 | 1.507 % |
468.94/468.98 c | 493935 | 28751 216779 865326 | 2147483647 145528 43 | 1.507 % |
471.04/471.07 c | 494988 | 28751 216779 865326 | 2147483647 146581 43 | 1.507 % |
472.34/472.38 c | 496146 | 28751 216779 865326 | 2147483647 147739 43 | 1.507 % |
474.14/474.15 c | 497419 | 28751 216779 865326 | 2147483647 149012 43 | 1.507 % |
477.44/477.51 c | 498819 | 28751 216779 865326 | 2147483647 150412 44 | 1.507 % |
480.14/480.16 c | 500359 | 28751 216779 865326 | 151595 151952 44 | 1.507 % |
483.04/483.05 c | 502054 | 28751 216779 865326 | 151595 153647 44 | 1.507 % |
485.04/485.06 c | 503918 | 28751 216779 865326 | 151595 137074 44 | 1.507 % |
488.24/488.23 c | 505968 | 28751 216779 865326 | 151595 139124 44 | 1.507 % |
491.84/491.91 c | 508221 | 28751 216779 865326 | 151595 141377 44 | 1.507 % |
496.44/496.43 c | 510699 | 28751 216779 865326 | 143156 143855 45 | 1.507 % |
500.24/500.28 c | 513431 | 28751 216779 865326 | 143156 129422 45 | 1.507 % |
502.84/502.90 c | 516428 | 28751 216779 865326 | 143156 132419 45 | 1.507 % |
506.94/506.95 c | 519724 | 28751 216779 865326 | 143156 135715 46 | 1.507 % |
515.04/515.06 c | 523349 | 28751 216779 865326 | 135992 139340 45 | 1.507 % |
519.74/519.81 c | 527340 | 28751 216779 865326 | 135992 118170 43 | 1.507 % |
524.24/524.24 c | 531726 | 28751 216779 865326 | 120831 122556 44 | 1.507 % |
527.24/527.28 c | 536555 | 28751 216779 865326 | 120831 113011 42 | 1.507 % |
527.44/527.48 c | 536655 | 28751 216779 865326 | 120831 113111 42 | 1.507 % |
527.64/527.62 c | 536766 | 28751 216779 865326 | 120831 113222 42 | 1.507 % |
527.84/527.89 c | 536887 | 28751 216779 865326 | 120831 113343 42 | 1.507 % |
528.05/528.09 c | 537021 | 28751 216779 865326 | 120831 113477 42 | 1.507 % |
528.24/528.24 c | 537168 | 28751 216779 865326 | 120831 113624 42 | 1.507 % |
528.44/528.43 c | 537328 | 28751 216779 865326 | 120831 113784 42 | 1.507 % |
528.64/528.65 c | 537505 | 28751 216779 865326 | 120831 113961 42 | 1.507 % |
529.04/529.09 c | 537699 | 28750 216768 865272 | 120831 114153 42 | 1.511 % |
529.34/529.39 c | 537912 | 28750 216768 865272 | 120831 114366 42 | 1.511 % |
529.64/529.69 c | 538145 | 28750 216768 865272 | 120831 114599 42 | 1.511 % |
530.04/530.02 c | 538403 | 28750 216768 865272 | 120831 114857 42 | 1.511 % |
530.44/530.42 c | 538686 | 28750 216768 865272 | 120831 115140 42 | 1.511 % |
530.94/530.97 c | 538996 | 28750 216768 865272 | 120831 115450 42 | 1.511 % |
531.35/531.41 c | 539337 | 28750 216768 865272 | 120831 115791 42 | 1.511 % |
531.94/531.92 c | 539711 | 28750 216768 865272 | 120831 116165 42 | 1.511 % |
532.14/532.21 c | 540120 | 28750 216768 865272 | 2147483647 116574 42 | 1.511 % |
533.04/533.08 c | 540569 | 28750 216768 865272 | 2147483647 117023 42 | 1.511 % |
533.64/533.62 c | 541062 | 28750 216768 865272 | 2147483647 117516 42 | 1.511 % |
534.34/534.41 c | 541607 | 28750 216768 865272 | 2147483647 118061 42 | 1.511 % |
535.14/535.15 c | 542206 | 28750 216768 865272 | 2147483647 118660 42 | 1.511 % |
536.04/536.09 c | 542861 | 28750 216768 865272 | 2147483647 119315 42 | 1.511 % |
537.04/537.10 c | 543581 | 28750 216768 865272 | 2147483647 120035 42 | 1.511 % |
537.84/537.87 c | 544373 | 28750 216768 865272 | 2147483647 120827 42 | 1.511 % |
538.74/538.80 c | 545245 | 28750 216768 865272 | 2147483647 121699 42 | 1.511 % |
539.64/539.67 c | 546203 | 28750 216768 865272 | 2147483647 122657 42 | 1.511 % |
541.25/541.30 c | 547257 | 28750 216768 865272 | 2147483647 123711 43 | 1.511 % |
542.64/542.65 c | 548415 | 28750 216768 865272 | 2147483647 124869 43 | 1.511 % |
544.24/544.28 c | 549689 | 28750 216768 865272 | 2147483647 126143 42 | 1.511 % |
545.54/545.54 c | 551091 | 28750 216768 865272 | 2147483647 127545 42 | 1.511 % |
547.94/548.00 c | 552631 | 28750 216768 865272 | 2147483647 129085 43 | 1.511 % |
549.54/549.60 c | 554329 | 28750 216768 865272 | 2147483647 130783 42 | 1.511 % |
552.34/552.40 c | 556193 | 28750 216768 865272 | 2147483647 132647 43 | 1.511 % |
554.45/554.44 c | 558242 | 28750 216768 865272 | 2147483647 134696 43 | 1.511 % |
559.54/559.60 c | 560495 | 28750 216768 865272 | 2147483647 136949 43 | 1.511 % |
561.74/561.74 c | 562974 | 28750 216768 865272 | 2147483647 139428 43 | 1.511 % |
565.24/565.30 c | 565701 | 28750 216768 865272 | 2147483647 142155 43 | 1.511 % |
569.94/570.00 c | 568698 | 28750 216768 865272 | 2147483647 145152 43 | 1.511 % |
575.54/575.52 c | 571996 | 28750 216768 865272 | 2147483647 148450 43 | 1.511 % |
579.04/579.04 c | 575621 | 28750 216768 865272 | 2147483647 152075 43 | 1.511 % |
584.64/584.67 c | 579608 | 28750 216768 865272 | 2147483647 156062 43 | 1.511 % |
589.74/589.72 c | 583993 | 28750 216768 865272 | 2147483647 160447 43 | 1.511 % |
594.44/594.46 c | 588818 | 28750 216768 865272 | 2147483647 165272 43 | 1.511 % |
601.74/601.77 c | 594123 | 28750 216768 865272 | 2147483647 170577 43 | 1.511 % |
602.04/602.04 c | 594224 | 28750 216768 865272 | 2147483647 170678 43 | 1.511 % |
602.24/602.28 c | 594334 | 28750 216768 865272 | 2147483647 170788 43 | 1.511 % |
602.44/602.45 c | 594455 | 28750 216768 865272 | 2147483647 170909 43 | 1.511 % |
602.74/602.81 c | 594591 | 28750 216768 865272 | 2147483647 171045 43 | 1.511 % |
603.04/603.09 c | 594737 | 28750 216768 865272 | 2147483647 171191 43 | 1.511 % |
603.34/603.40 c | 594899 | 28750 216768 865272 | 2147483647 171353 43 | 1.511 % |
603.74/603.74 c | 595076 | 28750 216768 865272 | 2147483647 171530 43 | 1.511 % |
604.04/604.06 c | 595270 | 28750 216768 865272 | 2147483647 171724 43 | 1.511 % |
604.44/604.42 c | 595482 | 28750 216768 865272 | 2147483647 171936 43 | 1.511 % |
604.84/604.84 c | 595715 | 28750 216768 865272 | 2147483647 172169 43 | 1.511 % |
605.24/605.24 c | 595972 | 28750 216768 865272 | 2147483647 172426 43 | 1.511 % |
605.74/605.80 c | 596254 | 28750 216768 865272 | 2147483647 172708 43 | 1.511 % |
606.14/606.14 c | 596563 | 28750 216768 865272 | 2147483647 173017 43 | 1.511 % |
606.74/606.80 c | 596902 | 28750 216768 865272 | 2147483647 173356 43 | 1.511 % |
607.34/607.37 c | 597275 | 28750 216768 865272 | 2147483647 173729 43 | 1.511 % |
607.94/607.96 c | 597684 | 28750 216768 865272 | 2147483647 174138 43 | 1.511 % |
608.44/608.49 c | 598134 | 28750 216768 865272 | 2147483647 174588 43 | 1.511 % |
609.34/609.32 c | 598627 | 28750 216768 865272 | 2147483647 175081 43 | 1.511 % |
610.44/610.46 c | 599169 | 28750 216768 865272 | 2147483647 175623 43 | 1.511 % |
611.14/611.15 c | 599766 | 28750 216768 865272 | 2147483647 176220 43 | 1.511 % |
612.24/612.30 c | 600421 | 28750 216768 865272 | 2147483647 176875 43 | 1.511 % |
613.14/613.11 c | 601141 | 28750 216768 865272 | 2147483647 177595 43 | 1.511 % |
614.84/614.83 c | 601934 | 28750 216768 865272 | 2147483647 178388 43 | 1.511 % |
616.04/616.05 c | 602805 | 28750 216768 865272 | 2147483647 179259 43 | 1.511 % |
617.74/617.75 c | 603764 | 28750 216768 865272 | 2147483647 180218 43 | 1.511 % |
619.34/619.37 c | 604817 | 28750 216768 865272 | 2147483647 181271 43 | 1.511 % |
621.54/621.54 c | 605976 | 28750 216768 865272 | 2147483647 182430 43 | 1.511 % |
623.64/623.70 c | 607251 | 28750 216768 865272 | 2147483647 183705 43 | 1.511 % |
626.74/626.72 c | 608652 | 28750 216768 865272 | 2147483647 185106 43 | 1.511 % |
628.94/628.99 c | 610192 | 28750 216768 865272 | 186456 186646 43 | 1.511 % |
631.84/631.82 c | 611886 | 28750 216768 865272 | 186456 164345 42 | 1.511 % |
634.74/634.80 c | 613749 | 28750 216768 865272 | 186456 166208 42 | 1.511 % |
636.64/636.67 c | 615798 | 28750 216768 865272 | 186456 168257 42 | 1.511 % |
639.54/639.53 c | 618051 | 28750 216768 865272 | 186456 170510 42 | 1.511 % |
643.04/643.08 c | 620529 | 28750 216768 865272 | 172459 172988 42 | 1.511 % |
646.64/646.68 c | 623255 | 28750 216768 865272 | 172459 158416 39 | 1.511 % |
651.25/651.23 c | 626254 | 28750 216768 865272 | 172459 161415 39 | 1.511 % |
655.94/656.01 c | 629550 | 28750 216768 865272 | 172459 164711 39 | 1.511 % |
661.64/661.67 c | 633175 | 28358 209237 836519 | 2147483647 168176 40 | 2.854 % |
667.54/667.55 c | 637164 | 28358 209237 836519 | 2147483647 172165 39 | 2.854 % |
673.84/673.84 c | 641551 | 28358 209237 836519 | 2147483647 176552 39 | 2.854 % |
682.84/682.88 c | 646375 | 28358 209237 836519 | 2147483647 181376 39 | 2.854 % |
691.55/691.55 c | 651681 | 28333 209188 836332 | 155480 136073 35 | 20.863 % |
691.95/691.92 c ===============================================================================
691.95/691.92 c restarts : 991
691.95/691.92 c conflicts : 651920 (948 /sec)
691.95/691.92 c decisions : 1608353 (1.53 % random) (2338 /sec)
691.95/691.92 c propagations : 226319584 (329058 /sec)
691.95/691.92 c conflict literals : 29765023 (41.22 % deleted)
691.95/691.92 c Memory used : 61.42 MB
691.95/691.92 c CPU time : 687.78 s
691.95/691.92 c
691.95/691.92 s UNSATISFIABLE
691.95/691.92 s UNSATISFIABLE
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1821946-1242581890/watcher-1821946-1242581890 -o /tmp/evaluation-result-1821946-1242581890/solver-1821946-1242581890 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821946-1242581890.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 0.92 1.00 0.99 3/91 8636
/proc/meminfo: memFree=966416/2074464 swapFree=1953004/1959888
[pid=8636] ppid=8634 vsize=2412 CPUtime=0.01
/proc/8636/stat : 8636 (SatELiteGTI) S 8634 8636 9090 0 -1 4194304 367 644 0 0 0 0 0 1 18 0 1 0 1022689450 2469888 276 4294967295 134512640 135169312 3217192816 3217191352 3085692654 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/8636/statm: 603 276 235 161 0 42 0
[pid=8640] ppid=8636 vsize=820 CPUtime=0
/proc/8640/stat : 8640 (SatELite_releas) R 8636 8636 9090 0 -1 4194304 78 0 0 0 0 0 0 0 20 0 1 0 1022689450 839680 13 4294967295 134512640 135223648 3216289424 3216289216 134659475 0 0 0 0 0 0 0 17 0 0 0 0
/proc/8640/statm: 238 24 18 174 0 63 0
[startup+0.093532 s]
/proc/loadavg: 0.92 1.00 0.99 3/91 8636
/proc/meminfo: memFree=966416/2074464 swapFree=1953004/1959888
[pid=8636] ppid=8634 vsize=2412 CPUtime=0.01
/proc/8636/stat : 8636 (SatELiteGTI) S 8634 8636 9090 0 -1 4194304 367 644 0 0 0 0 0 1 18 0 1 0 1022689450 2469888 276 4294967295 134512640 135169312 3217192816 3217191352 3085692654 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/8636/statm: 603 276 235 161 0 42 0
[pid=8640] ppid=8636 vsize=15596 CPUtime=0.09
/proc/8640/stat : 8640 (SatELite_releas) R 8636 8636 9090 0 -1 4202496 3198 0 0 0 6 3 0 0 20 0 1 0 1022689450 15970304 3133 4294967295 134512640 135223648 3216289424 3216288376 134737310 0 0 0 3 0 0 0 17 0 0 0 0
/proc/8640/statm: 3899 3134 46 174 0 3724 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 18008
[startup+0.123526 s]
/proc/loadavg: 0.92 1.00 0.99 3/91 8636
/proc/meminfo: memFree=966416/2074464 swapFree=1953004/1959888
[pid=8636] ppid=8634 vsize=2412 CPUtime=0.01
/proc/8636/stat : 8636 (SatELiteGTI) S 8634 8636 9090 0 -1 4194304 367 644 0 0 0 0 0 1 18 0 1 0 1022689450 2469888 276 4294967295 134512640 135169312 3217192816 3217191352 3085692654 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/8636/statm: 603 276 235 161 0 42 0
[pid=8640] ppid=8636 vsize=19012 CPUtime=0.12
/proc/8640/stat : 8640 (SatELite_releas) R 8636 8636 9090 0 -1 4202496 4192 0 0 0 7 5 0 0 21 0 1 0 1022689450 19468288 4127 4294967295 134512640 135223648 3216289424 3216288304 134543351 0 0 0 3 0 0 0 17 0 0 0 0
/proc/8640/statm: 4753 4132 46 174 0 4578 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 21424
[startup+0.323516 s]
/proc/loadavg: 0.92 1.00 0.99 3/91 8636
/proc/meminfo: memFree=966416/2074464 swapFree=1953004/1959888
[pid=8636] ppid=8634 vsize=2412 CPUtime=0.01
/proc/8636/stat : 8636 (SatELiteGTI) S 8634 8636 9090 0 -1 4194304 367 644 0 0 0 0 0 1 18 0 1 0 1022689450 2469888 276 4294967295 134512640 135169312 3217192816 3217191352 3085692654 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/8636/statm: 603 276 235 161 0 42 0
[pid=8640] ppid=8636 vsize=43552 CPUtime=0.32
/proc/8640/stat : 8640 (SatELite_releas) R 8636 8636 9090 0 -1 4202496 10593 0 0 0 22 10 0 0 21 0 1 0 1022689450 44597248 10528 4294967295 134512640 135223648 3216289424 3216288376 134737310 0 0 0 3 0 0 0 17 0 0 0 0
/proc/8640/statm: 10888 10530 46 174 0 10713 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 45964
[startup+0.723498 s]
/proc/loadavg: 0.92 1.00 0.99 3/91 8636
/proc/meminfo: memFree=966416/2074464 swapFree=1953004/1959888
[pid=8636] ppid=8634 vsize=2412 CPUtime=0.01
/proc/8636/stat : 8636 (SatELiteGTI) S 8634 8636 9090 0 -1 4194304 367 644 0 0 0 0 0 1 18 0 1 0 1022689450 2469888 276 4294967295 134512640 135169312 3217192816 3217191352 3085692654 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/8636/statm: 603 276 235 161 0 42 0
[pid=8640] ppid=8636 vsize=86936 CPUtime=0.72
/proc/8640/stat : 8640 (SatELite_releas) R 8636 8636 9090 0 -1 4202496 20277 0 0 0 56 16 0 0 22 0 1 0 1022689450 89022464 18679 4294967295 134512640 135223648 3216289424 3216287192 134737406 0 0 0 3 0 0 0 17 0 0 0 0
/proc/8640/statm: 21734 18679 73 174 0 21559 0
Current children cumulated CPU time (s) 0.73
Current children cumulated vsize (KiB) 89348
[startup+1.52346 s]
/proc/loadavg: 0.92 1.00 0.99 2/93 8641
/proc/meminfo: memFree=887304/2074464 swapFree=1953004/1959888
[pid=8636] ppid=8634 vsize=2412 CPUtime=0.01
/proc/8636/stat : 8636 (SatELiteGTI) S 8634 8636 9090 0 -1 4194304 367 644 0 0 0 0 0 1 18 0 1 0 1022689450 2469888 276 4294967295 134512640 135169312 3217192816 3217191352 3085692654 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/8636/statm: 603 276 235 161 0 42 0
[pid=8640] ppid=8636 vsize=90720 CPUtime=1.52
/proc/8640/stat : 8640 (SatELite_releas) R 8636 8636 9090 0 -1 4202496 21094 0 0 0 134 18 0 0 25 0 1 0 1022689450 92897280 19496 4294967295 134512640 135223648 3216289424 3216287424 134548489 0 0 0 3 0 0 0 17 0 0 0 0
/proc/8640/statm: 22680 19496 73 174 0 22505 0
Current children cumulated CPU time (s) 1.53
Current children cumulated vsize (KiB) 93132
[startup+3.12338 s]
/proc/loadavg: 0.92 1.00 0.99 2/93 8641
/proc/meminfo: memFree=874904/2074464 swapFree=1953004/1959888
[pid=8636] ppid=8634 vsize=2412 CPUtime=0.01
/proc/8636/stat : 8636 (SatELiteGTI) S 8634 8636 9090 0 -1 4194304 367 644 0 0 0 0 0 1 18 0 1 0 1022689450 2469888 276 4294967295 134512640 135169312 3217192816 3217191352 3085692654 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/8636/statm: 603 276 235 161 0 42 0
[pid=8640] ppid=8636 vsize=95188 CPUtime=3.12
/proc/8640/stat : 8640 (SatELite_releas) R 8636 8636 9090 0 -1 4202496 22281 0 0 0 290 22 0 0 25 0 1 0 1022689450 97472512 20502 4294967295 134512640 135223648 3216289424 3216287440 134586905 0 0 0 3 0 0 0 17 0 0 0 0
/proc/8640/statm: 23797 20502 73 174 0 23622 0
Current children cumulated CPU time (s) 3.13
Current children cumulated vsize (KiB) 97600
[startup+6.32323 s]
/proc/loadavg: 0.93 1.00 0.99 2/93 8642
/proc/meminfo: memFree=929464/2074464 swapFree=1953004/1959888
[pid=8636] ppid=8634 vsize=2416 CPUtime=4.01
/proc/8636/stat : 8636 (SatELiteGTI) S 8634 8636 9090 0 -1 4194304 385 24821 0 0 0 0 376 25 20 0 1 0 1022689450 2473984 277 4294967295 134512640 135169312 3217192816 3217189032 3085692654 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/8636/statm: 604 277 235 161 0 43 0
[pid=8642] ppid=8636 vsize=16680 CPUtime=2.31
/proc/8642/stat : 8642 (minisat_static) R 8636 8636 9090 0 -1 4202496 3936 0 0 0 229 2 0 0 22 0 1 0 1022689851 17080320 3871 4294967295 134512640 135215339 3217233872 3217232160 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/8642/statm: 4170 3871 73 172 0 3997 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 19096
[startup+12.7229 s]
/proc/loadavg: 0.93 1.00 0.99 2/93 8642
/proc/meminfo: memFree=926940/2074464 swapFree=1953004/1959888
[pid=8636] ppid=8634 vsize=2416 CPUtime=4.01
/proc/8636/stat : 8636 (SatELiteGTI) S 8634 8636 9090 0 -1 4194304 385 24821 0 0 0 0 376 25 20 0 1 0 1022689450 2473984 277 4294967295 134512640 135169312 3217192816 3217189032 3085692654 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/8636/statm: 604 277 235 161 0 43 0
[pid=8642] ppid=8636 vsize=19068 CPUtime=8.71
/proc/8642/stat : 8642 (minisat_static) R 8636 8636 9090 0 -1 4202496 4539 0 0 0 868 3 0 0 25 0 1 0 1022689851 19525632 4474 4294967295 134512640 135215339 3217233872 3217232160 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/8642/statm: 4767 4474 73 172 0 4594 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 21484
[startup+25.5223 s]
/proc/loadavg: 0.95 1.00 0.99 3/93 8643
/proc/meminfo: memFree=921176/2074464 swapFree=1953004/1959888
[pid=8636] ppid=8634 vsize=2416 CPUtime=4.01
/proc/8636/stat : 8636 (SatELiteGTI) S 8634 8636 9090 0 -1 4194304 385 24821 0 0 0 0 376 25 20 0 1 0 1022689450 2473984 277 4294967295 134512640 135169312 3217192816 3217189032 3085692654 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/8636/statm: 604 277 235 161 0 43 0
[pid=8642] ppid=8636 vsize=24724 CPUtime=21.51
/proc/8642/stat : 8642 (minisat_static) R 8636 8636 9090 0 -1 4202496 5951 0 0 0 2148 3 0 0 25 0 1 0 1022689851 25317376 5886 4294967295 134512640 135215339 3217233872 3217232160 134528742 0 0 0 3 0 0 0 17 0 0 0 0
/proc/8642/statm: 6181 5886 73 172 0 6008 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 27140
[startup+51.1111 s]
/proc/loadavg: 0.96 1.00 0.99 3/93 8828
/proc/meminfo: memFree=910324/2074464 swapFree=1953004/1959888
[pid=8636] ppid=8634 vsize=2416 CPUtime=4.01
/proc/8636/stat : 8636 (SatELiteGTI) S 8634 8636 9090 0 -1 4194304 385 24821 0 0 0 0 376 25 20 0 1 0 1022689450 2473984 277 4294967295 134512640 135169312 3217192816 3217189032 3085692654 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/8636/statm: 604 277 235 161 0 43 0
[pid=8642] ppid=8636 vsize=35328 CPUtime=47.1
/proc/8642/stat : 8642 (minisat_static) R 8636 8636 9090 0 -1 4202496 8582 0 0 0 4705 5 0 0 25 0 1 0 1022689851 36175872 8517 4294967295 134512640 135215339 3217233872 3217232160 134528809 0 0 0 3 0 0 0 17 0 0 0 0
/proc/8642/statm: 8832 8517 73 172 0 8659 0
Current children cumulated CPU time (s) 51.11
Current children cumulated vsize (KiB) 37744
[startup+102.319 s]
/proc/loadavg: 0.98 1.00 0.99 2/93 9015
/proc/meminfo: memFree=897536/2074464 swapFree=1953004/1959888
[pid=8636] ppid=8634 vsize=2416 CPUtime=4.01
/proc/8636/stat : 8636 (SatELiteGTI) S 8634 8636 9090 0 -1 4194304 385 24821 0 0 0 0 376 25 20 0 1 0 1022689450 2473984 277 4294967295 134512640 135169312 3217192816 3217189032 3085692654 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/8636/statm: 604 277 235 161 0 43 0
[pid=8642] ppid=8636 vsize=47884 CPUtime=98.31
/proc/8642/stat : 8642 (minisat_static) R 8636 8636 9090 0 -1 4202496 11689 0 0 0 9822 9 0 0 25 0 1 0 1022689851 49033216 11624 4294967295 134512640 135215339 3217233872 3217232160 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/8642/statm: 11971 11624 73 172 0 11798 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 50300
[startup+162.316 s]
/proc/loadavg: 0.99 1.00 0.99 2/93 9206
/proc/meminfo: memFree=884888/2074464 swapFree=1953004/1959888
[pid=8636] ppid=8634 vsize=2416 CPUtime=4.01
/proc/8636/stat : 8636 (SatELiteGTI) S 8634 8636 9090 0 -1 4194304 385 24821 0 0 0 0 376 25 20 0 1 0 1022689450 2473984 277 4294967295 134512640 135169312 3217192816 3217189032 3085692654 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/8636/statm: 604 277 235 161 0 43 0
[pid=8642] ppid=8636 vsize=60404 CPUtime=158.31
/proc/8642/stat : 8642 (minisat_static) R 8636 8636 9090 0 -1 4202496 14777 0 0 0 15822 9 0 0 25 0 1 0 1022689851 61853696 14712 4294967295 134512640 135215339 3217233872 3217231872 134532687 0 0 0 3 0 0 0 17 0 0 0 0
/proc/8642/statm: 15101 14712 73 172 0 14928 0
Current children cumulated CPU time (s) 162.32
Current children cumulated vsize (KiB) 62820
[startup+222.303 s]
/proc/loadavg: 0.99 1.00 0.99 2/93 9399
/proc/meminfo: memFree=884376/2074464 swapFree=1953004/1959888
[pid=8636] ppid=8634 vsize=2416 CPUtime=4.01
/proc/8636/stat : 8636 (SatELiteGTI) S 8634 8636 9090 0 -1 4194304 385 24821 0 0 0 0 376 25 20 0 1 0 1022689450 2473984 277 4294967295 134512640 135169312 3217192816 3217189032 3085692654 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/8636/statm: 604 277 235 161 0 43 0
[pid=8642] ppid=8636 vsize=60688 CPUtime=218.3
/proc/8642/stat : 8642 (minisat_static) R 8636 8636 9090 0 -1 4202496 14842 0 0 0 21821 9 0 0 25 0 1 0 1022689851 62144512 14777 4294967295 134512640 135215339 3217233872 3217232160 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/8642/statm: 15172 14777 73 172 0 14999 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 63104
[startup+282.31 s]
/proc/loadavg: 0.99 1.00 0.99 3/93 9586
/proc/meminfo: memFree=883920/2074464 swapFree=1953004/1959888
[pid=8636] ppid=8634 vsize=2416 CPUtime=4.01
/proc/8636/stat : 8636 (SatELiteGTI) S 8634 8636 9090 0 -1 4194304 385 24821 0 0 0 0 376 25 20 0 1 0 1022689450 2473984 277 4294967295 134512640 135169312 3217192816 3217189032 3085692654 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/8636/statm: 604 277 235 161 0 43 0
[pid=8642] ppid=8636 vsize=60848 CPUtime=278.31
/proc/8642/stat : 8642 (minisat_static) R 8636 8636 9090 0 -1 4202496 14884 0 0 0 27817 14 0 0 25 0 1 0 1022689851 62308352 14819 4294967295 134512640 135215339 3217233872 3217232160 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/8642/statm: 15212 14819 73 172 0 15039 0
Current children cumulated CPU time (s) 282.32
Current children cumulated vsize (KiB) 63264
[startup+342.307 s]
/proc/loadavg: 0.99 1.00 0.99 3/93 9776
/proc/meminfo: memFree=884044/2074464 swapFree=1953004/1959888
[pid=8636] ppid=8634 vsize=2416 CPUtime=4.01
/proc/8636/stat : 8636 (SatELiteGTI) S 8634 8636 9090 0 -1 4194304 385 24821 0 0 0 0 376 25 20 0 1 0 1022689450 2473984 277 4294967295 134512640 135169312 3217192816 3217189032 3085692654 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/8636/statm: 604 277 235 161 0 43 0
[pid=8642] ppid=8636 vsize=61004 CPUtime=338.31
/proc/8642/stat : 8642 (minisat_static) R 8636 8636 9090 0 -1 4202496 14904 0 0 0 33817 14 0 0 25 0 1 0 1022689851 62468096 14839 4294967295 134512640 135215339 3217233872 3217231872 134532650 0 0 0 3 0 0 0 17 0 0 0 0
/proc/8642/statm: 15251 14839 73 172 0 15078 0
Current children cumulated CPU time (s) 342.32
Current children cumulated vsize (KiB) 63420
[startup+402.314 s]
/proc/loadavg: 0.99 1.00 0.99 3/93 9963
/proc/meminfo: memFree=883772/2074464 swapFree=1953004/1959888
[pid=8636] ppid=8634 vsize=2416 CPUtime=4.01
/proc/8636/stat : 8636 (SatELiteGTI) S 8634 8636 9090 0 -1 4194304 385 24821 0 0 0 0 376 25 20 0 1 0 1022689450 2473984 277 4294967295 134512640 135169312 3217192816 3217189032 3085692654 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/8636/statm: 604 277 235 161 0 43 0
[pid=8642] ppid=8636 vsize=61288 CPUtime=398.32
/proc/8642/stat : 8642 (minisat_static) R 8636 8636 9090 0 -1 4202496 14968 0 0 0 39818 14 0 0 25 0 1 0 1022689851 62758912 14903 4294967295 134512640 135215339 3217233872 3217232160 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/8642/statm: 15322 14903 73 172 0 15149 0
Current children cumulated CPU time (s) 402.33
Current children cumulated vsize (KiB) 63704
[startup+462.321 s]
/proc/loadavg: 0.99 1.00 0.99 3/93 10151
/proc/meminfo: memFree=883276/2074464 swapFree=1953004/1959888
[pid=8636] ppid=8634 vsize=2416 CPUtime=4.01
/proc/8636/stat : 8636 (SatELiteGTI) S 8634 8636 9090 0 -1 4194304 385 24821 0 0 0 0 376 25 20 0 1 0 1022689450 2473984 277 4294967295 134512640 135169312 3217192816 3217189032 3085692654 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/8636/statm: 604 277 235 161 0 43 0
[pid=8642] ppid=8636 vsize=61740 CPUtime=458.33
/proc/8642/stat : 8642 (minisat_static) R 8636 8636 9090 0 -1 4202496 15064 0 0 0 45819 14 0 0 25 0 1 0 1022689851 63221760 14999 4294967295 134512640 135215339 3217233872 3217232160 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/8642/statm: 15435 14999 73 172 0 15262 0
Current children cumulated CPU time (s) 462.34
Current children cumulated vsize (KiB) 64156
[startup+522.319 s]
/proc/loadavg: 0.99 1.00 0.99 3/93 10344
/proc/meminfo: memFree=883152/2074464 swapFree=1953004/1959888
[pid=8636] ppid=8634 vsize=2416 CPUtime=4.01
/proc/8636/stat : 8636 (SatELiteGTI) S 8634 8636 9090 0 -1 4194304 385 24821 0 0 0 0 376 25 20 0 1 0 1022689450 2473984 277 4294967295 134512640 135169312 3217192816 3217189032 3085692654 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/8636/statm: 604 277 235 161 0 43 0
[pid=8642] ppid=8636 vsize=62048 CPUtime=518.33
/proc/8642/stat : 8642 (minisat_static) R 8636 8636 9090 0 -1 4202496 15143 0 0 0 51817 16 0 0 25 0 1 0 1022689851 63537152 15078 4294967295 134512640 135215339 3217233872 3217232160 134528875 0 0 0 3 0 0 0 17 0 0 0 0
/proc/8642/statm: 15512 15078 73 172 0 15339 0
Current children cumulated CPU time (s) 522.34
Current children cumulated vsize (KiB) 64464
[startup+582.316 s]
/proc/loadavg: 0.99 1.00 0.99 3/93 10531
/proc/meminfo: memFree=883176/2074464 swapFree=1953004/1959888
[pid=8636] ppid=8634 vsize=2416 CPUtime=4.01
/proc/8636/stat : 8636 (SatELiteGTI) S 8634 8636 9090 0 -1 4194304 385 24821 0 0 0 0 376 25 20 0 1 0 1022689450 2473984 277 4294967295 134512640 135169312 3217192816 3217189032 3085692654 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/8636/statm: 604 277 235 161 0 43 0
[pid=8642] ppid=8636 vsize=62048 CPUtime=578.33
/proc/8642/stat : 8642 (minisat_static) R 8636 8636 9090 0 -1 4202496 15159 0 0 0 57817 16 0 0 25 0 1 0 1022689851 63537152 15094 4294967295 134512640 135215339 3217233872 3217232160 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/8642/statm: 15512 15094 73 172 0 15339 0
Current children cumulated CPU time (s) 582.34
Current children cumulated vsize (KiB) 64464
[startup+642.313 s]
/proc/loadavg: 0.99 1.00 0.99 2/93 10719
/proc/meminfo: memFree=882780/2074464 swapFree=1953004/1959888
[pid=8636] ppid=8634 vsize=2416 CPUtime=4.01
/proc/8636/stat : 8636 (SatELiteGTI) S 8634 8636 9090 0 -1 4194304 385 24821 0 0 0 0 376 25 20 0 1 0 1022689450 2473984 277 4294967295 134512640 135169312 3217192816 3217189032 3085692654 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/8636/statm: 604 277 235 161 0 43 0
[pid=8642] ppid=8636 vsize=62532 CPUtime=638.33
/proc/8642/stat : 8642 (minisat_static) R 8636 8636 9090 0 -1 4202496 15265 0 0 0 63817 16 0 0 25 0 1 0 1022689851 64032768 15200 4294967295 134512640 135215339 3217233872 3217232160 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/8642/statm: 15633 15200 73 172 0 15460 0
Current children cumulated CPU time (s) 642.34
Current children cumulated vsize (KiB) 64948
Solver just ended. Dumping a history of the last processes samples
[startup+665.522 s]
/proc/loadavg: 0.99 1.00 0.99 3/93 10720
/proc/meminfo: memFree=882760/2074464 swapFree=1953004/1959888
[pid=8636] ppid=8634 vsize=2416 CPUtime=4.01
/proc/8636/stat : 8636 (SatELiteGTI) S 8634 8636 9090 0 -1 4194304 385 24821 0 0 0 0 376 25 20 0 1 0 1022689450 2473984 277 4294967295 134512640 135169312 3217192816 3217189032 3085692654 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/8636/statm: 604 277 235 161 0 43 0
[pid=8642] ppid=8636 vsize=62676 CPUtime=661.54
/proc/8642/stat : 8642 (minisat_static) R 8636 8636 9090 0 -1 4202496 15285 0 0 0 66138 16 0 0 25 0 1 0 1022689851 64180224 15220 4294967295 134512640 135215339 3217233872 3217232160 134528666 0 0 0 3 0 0 0 17 3 0 0 0
/proc/8642/statm: 15669 15220 73 172 0 15496 0
Current children cumulated CPU time (s) 665.55
Current children cumulated vsize (KiB) 65092
[startup+678.311 s]
/proc/loadavg: 0.99 1.00 0.99 2/93 10722
/proc/meminfo: memFree=882884/2074464 swapFree=1953004/1959888
[pid=8636] ppid=8634 vsize=2416 CPUtime=4.01
/proc/8636/stat : 8636 (SatELiteGTI) S 8634 8636 9090 0 -1 4194304 385 24821 0 0 0 0 376 25 20 0 1 0 1022689450 2473984 277 4294967295 134512640 135169312 3217192816 3217189032 3085692654 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/8636/statm: 604 277 235 161 0 43 0
[pid=8642] ppid=8636 vsize=62676 CPUtime=674.33
/proc/8642/stat : 8642 (minisat_static) R 8636 8636 9090 0 -1 4202496 15305 0 0 0 67417 16 0 0 25 0 1 0 1022689851 64180224 15240 4294967295 134512640 135215339 3217233872 3217232160 134528742 0 0 0 3 0 0 0 17 3 0 0 0
/proc/8642/statm: 15669 15240 73 172 0 15496 0
Current children cumulated CPU time (s) 678.34
Current children cumulated vsize (KiB) 65092
[startup+684.711 s]
/proc/loadavg: 0.99 1.00 0.99 2/93 10722
/proc/meminfo: memFree=882884/2074464 swapFree=1953004/1959888
[pid=8636] ppid=8634 vsize=2416 CPUtime=4.01
/proc/8636/stat : 8636 (SatELiteGTI) S 8634 8636 9090 0 -1 4194304 385 24821 0 0 0 0 376 25 20 0 1 0 1022689450 2473984 277 4294967295 134512640 135169312 3217192816 3217189032 3085692654 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/8636/statm: 604 277 235 161 0 43 0
[pid=8642] ppid=8636 vsize=62676 CPUtime=680.73
/proc/8642/stat : 8642 (minisat_static) R 8636 8636 9090 0 -1 4202496 15308 0 0 0 68057 16 0 0 25 0 1 0 1022689851 64180224 15243 4294967295 134512640 135215339 3217233872 3217232160 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/8642/statm: 15669 15243 73 172 0 15496 0
Current children cumulated CPU time (s) 684.74
Current children cumulated vsize (KiB) 65092
[startup+687.921 s]
/proc/loadavg: 0.99 1.00 0.99 2/93 10722
/proc/meminfo: memFree=882760/2074464 swapFree=1953004/1959888
[pid=8636] ppid=8634 vsize=2416 CPUtime=4.01
/proc/8636/stat : 8636 (SatELiteGTI) S 8634 8636 9090 0 -1 4194304 385 24821 0 0 0 0 376 25 20 0 1 0 1022689450 2473984 277 4294967295 134512640 135169312 3217192816 3217189032 3085692654 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/8636/statm: 604 277 235 161 0 43 0
[pid=8642] ppid=8636 vsize=62888 CPUtime=683.94
/proc/8642/stat : 8642 (minisat_static) R 8636 8636 9090 0 -1 4202496 15327 0 0 0 68378 16 0 0 25 0 1 0 1022689851 64397312 15262 4294967295 134512640 135215339 3217233872 3217232080 134526030 0 0 0 3 0 0 0 17 3 0 0 0
/proc/8642/statm: 15722 15262 73 172 0 15549 0
Current children cumulated CPU time (s) 687.95
Current children cumulated vsize (KiB) 65304
[startup+689.521 s]
/proc/loadavg: 0.99 1.00 0.99 3/93 10905
/proc/meminfo: memFree=882464/2074464 swapFree=1953004/1959888
[pid=8636] ppid=8634 vsize=2416 CPUtime=4.01
/proc/8636/stat : 8636 (SatELiteGTI) S 8634 8636 9090 0 -1 4194304 385 24821 0 0 0 0 376 25 20 0 1 0 1022689450 2473984 277 4294967295 134512640 135169312 3217192816 3217189032 3085692654 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/8636/statm: 604 277 235 161 0 43 0
[pid=8642] ppid=8636 vsize=62888 CPUtime=685.54
/proc/8642/stat : 8642 (minisat_static) R 8636 8636 9090 0 -1 4202496 15327 0 0 0 68538 16 0 0 25 0 1 0 1022689851 64397312 15262 4294967295 134512640 135215339 3217233872 3217232160 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/8642/statm: 15722 15262 73 172 0 15549 0
Current children cumulated CPU time (s) 689.55
Current children cumulated vsize (KiB) 65304
[startup+691.12 s]
/proc/loadavg: 0.99 1.00 0.99 3/93 10905
/proc/meminfo: memFree=882480/2074464 swapFree=1953004/1959888
[pid=8636] ppid=8634 vsize=2416 CPUtime=4.01
/proc/8636/stat : 8636 (SatELiteGTI) S 8634 8636 9090 0 -1 4194304 385 24821 0 0 0 0 376 25 20 0 1 0 1022689450 2473984 277 4294967295 134512640 135169312 3217192816 3217189032 3085692654 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/8636/statm: 604 277 235 161 0 43 0
[pid=8642] ppid=8636 vsize=62888 CPUtime=687.14
/proc/8642/stat : 8642 (minisat_static) R 8636 8636 9090 0 -1 4202496 15327 0 0 0 68698 16 0 0 25 0 1 0 1022689851 64397312 15262 4294967295 134512640 135215339 3217233872 3217232160 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/8642/statm: 15722 15262 73 172 0 15549 0
Current children cumulated CPU time (s) 691.15
Current children cumulated vsize (KiB) 65304
[startup+691.52 s]
/proc/loadavg: 0.99 1.00 0.99 3/93 10905
/proc/meminfo: memFree=882480/2074464 swapFree=1953004/1959888
[pid=8636] ppid=8634 vsize=2416 CPUtime=4.01
/proc/8636/stat : 8636 (SatELiteGTI) S 8634 8636 9090 0 -1 4194304 385 24821 0 0 0 0 376 25 20 0 1 0 1022689450 2473984 277 4294967295 134512640 135169312 3217192816 3217189032 3085692654 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/8636/statm: 604 277 235 161 0 43 0
[pid=8642] ppid=8636 vsize=62888 CPUtime=687.54
/proc/8642/stat : 8642 (minisat_static) R 8636 8636 9090 0 -1 4202496 15328 0 0 0 68738 16 0 0 25 0 1 0 1022689851 64397312 15263 4294967295 134512640 135215339 3217233872 3217232160 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/8642/statm: 15722 15263 73 172 0 15549 0
Current children cumulated CPU time (s) 691.55
Current children cumulated vsize (KiB) 65304
[startup+691.92 s]
/proc/loadavg: 0.99 1.00 0.99 3/93 10905
/proc/meminfo: memFree=882512/2074464 swapFree=1953004/1959888
[pid=8636] ppid=8634 vsize=2416 CPUtime=4.01
/proc/8636/stat : 8636 (SatELiteGTI) S 8634 8636 9090 0 -1 4194304 385 24821 0 0 0 0 376 25 20 0 1 0 1022689450 2473984 277 4294967295 134512640 135169312 3217192816 3217189032 3085692654 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/8636/statm: 604 277 235 161 0 43 0
[pid=8642] ppid=8636 vsize=62888 CPUtime=687.94
/proc/8642/stat : 8642 (minisat_static) R 8636 8636 9090 0 -1 4202496 15328 0 0 0 68778 16 0 0 25 0 1 0 1022689851 64397312 15263 4294967295 134512640 135215339 3217233872 3217232160 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/8642/statm: 15722 15263 73 172 0 15549 0
Current children cumulated CPU time (s) 691.95
Current children cumulated vsize (KiB) 65304
Child status: 20
Real time (s): 691.94
CPU time (s): 691.96
CPU user time (s): 691.54
CPU system time (s): 0.42
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 98872
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 691.54
system time used= 0.42
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40814
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= 21
involuntary context switches= 754
runsolver used 0.01 second user time and 0.01 second system time
The end
Begin job on tipi19 at 2009-05-17 19:38:10
IDJOB=1821946
IDBENCH=71745
IDSOLVER=657
FILE ID=tipi19/1821946-1242581890
PBS_JOBID=
Free space on /tmp= 8795 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT_RACE06/manol-pipe-f9n.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1821946-1242581890/watcher-1821946-1242581890 -o /tmp/evaluation-result-1821946-1242581890/solver-1821946-1242581890 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821946-1242581890.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 61e4a04a828a2cd33ae3f3dde54ef320
RANDOM SEED= 2012878447
Linux tipi19 2.6.18 #19 SMP Tue Jun 19 11:27:27 CEST 2007 i686 GNU/Linux
/proc/cpuinfo:
processor : 0
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.426
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3618.39
processor : 1
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.426
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.77
processor : 2
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.426
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.77
processor : 3
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.426
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.77
/proc/meminfo:
MemTotal: 2074464 kB
MemFree: 966540 kB
Buffers: 49248 kB
Cached: 941988 kB
SwapCached: 2904 kB
Active: 203364 kB
Inactive: 797392 kB
HighTotal: 1178688 kB
HighFree: 343456 kB
LowTotal: 895776 kB
LowFree: 623084 kB
SwapTotal: 1959888 kB
SwapFree: 1953004 kB
Dirty: 11508 kB
Writeback: 0 kB
AnonPages: 8652 kB
Mapped: 3136 kB
Slab: 99052 kB
PageTables: 460 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 2997120 kB
Committed_AS: 87776 kB
VmallocTotal: 114680 kB
VmallocUsed: 1324 kB
VmallocChunk: 113264 kB
Free space on /tmp at the end= 8795 MiB
End job on tipi19 at 2009-05-17 19:49:43