0.00/0.00 c Parsing...
0.06/0.05 c ==============================================================================
0.06/0.05 c | | ORIGINAL | LEARNT | |
0.06/0.05 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.06/0.05 c ==============================================================================
0.06/0.05 c | 0 | 59991 202888 | 17997 0 0 nan | 0.000 % |
0.13/0.15 c | 0 | 59810 202648 | -- 0 -- -- | -- | -181/-240
0.13/0.15 c ==============================================================================
0.13/0.15 c Result : #vars: 9363 #clauses: 59810 #literals: 202648
0.13/0.15 c CPU time: 0.15 s
0.13/0.15 c ==============================================================================
0.23/0.23 c This is MiniSat 2.0 beta
0.23/0.23 c WARNING: for repeatability, setting FPU to use double precision
0.23/0.23 c ============================[ Problem Statistics ]=============================
0.23/0.23 c | |
0.23/0.23 c | Number of variables: 9363 |
0.23/0.23 c | Number of clauses: 59810 |
0.23/0.26 c | Parsing time: 0.04 s |
0.23/0.27 c ============================[ Search Statistics ]==============================
0.23/0.27 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.23/0.27 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.23/0.27 c ===============================================================================
0.23/0.27 c | 0 | 9363 59810 202648 | 19936 0 nan | 0.000 % |
0.23/0.30 c | 100 | 9360 59810 202648 | 19936 97 7 | 0.032 % |
0.23/0.34 c | 200 | 9358 59810 202648 | 19936 195 6 | 0.054 % |
0.23/0.37 c | 301 | 9356 59717 202342 | 19936 284 6 | 0.075 % |
0.23/0.39 c | 413 | 9356 59717 202342 | 19936 396 5 | 0.075 % |
0.23/0.42 c | 513 | 9351 59717 202342 | 19936 490 6 | 0.150 % |
0.23/0.44 c | 623 | 9344 59717 202342 | 19936 594 6 | 0.225 % |
0.23/0.49 c | 744 | 9340 59536 201738 | 19936 695 6 | 0.246 % |
0.23/0.52 c | 844 | 9338 59536 201738 | 19936 793 6 | 0.267 % |
0.23/0.58 c | 954 | 9337 59536 201738 | 19936 902 6 | 0.278 % |
0.23/0.61 c | 1076 | 9337 59486 201571 | 19936 1020 6 | 0.278 % |
0.23/0.63 c | 1209 | 9336 59486 201571 | 19936 1152 6 | 0.288 % |
0.23/0.66 c | 1309 | 9332 59486 201571 | 19936 1249 6 | 0.331 % |
0.23/0.75 c | 1419 | 9332 59486 201571 | 19936 1359 6 | 0.331 % |
0.23/0.78 c | 1540 | 9332 59419 201348 | 19936 1475 6 | 0.331 % |
0.23/0.86 c | 1673 | 9328 59419 201348 | 19936 1604 6 | 0.374 % |
0.23/0.93 c | 1819 | 9325 59354 201126 | 19936 1743 6 | 0.406 % |
0.23/0.97 c | 1920 | 9325 59354 201126 | 19936 1844 7 | 0.406 % |
0.23/1.01 c | 2030 | 9323 59298 200942 | 19936 1947 7 | 0.427 % |
1.03/1.07 c | 2154 | 9321 59298 200942 | 19936 2069 8 | 0.470 % |
1.13/1.14 c | 2287 | 9319 59298 200942 | 19936 2202 8 | 0.470 % |
1.13/1.20 c | 2433 | 9319 59221 200683 | 19936 2337 8 | 0.470 % |
1.23/1.29 c | 2593 | 9318 59221 200683 | 19936 2496 8 | 0.481 % |
1.33/1.34 c | 2693 | 9313 59212 200653 | 19936 2589 8 | 0.534 % |
1.33/1.36 c | 2804 | 9312 59212 200653 | 19936 2699 8 | 0.545 % |
1.43/1.44 c | 2925 | 9311 59212 200653 | 19936 2819 8 | 0.566 % |
1.43/1.51 c | 3058 | 9306 59119 200353 | 19936 2933 8 | 0.619 % |
1.53/1.56 c | 3204 | 9301 59119 200353 | 19936 3075 8 | 0.662 % |
1.63/1.64 c | 3364 | 9301 59030 200064 | 19936 3224 8 | 0.662 % |
1.63/1.69 c | 3540 | 9300 59030 200064 | 19936 3399 9 | 0.673 % |
1.73/1.74 c | 3640 | 9300 59015 200014 | 19936 3497 9 | 0.673 % |
1.73/1.80 c | 3751 | 9298 59015 200014 | 19936 3607 9 | 0.694 % |
1.83/1.90 c | 3872 | 9298 59015 200014 | 19936 3728 9 | 0.694 % |
1.93/1.95 c | 4005 | 9294 58999 199965 | 19936 3857 9 | 0.737 % |
1.93/1.98 c | 4151 | 9293 58999 199965 | 19936 4002 9 | 0.748 % |
2.03/2.05 c | 4312 | 9293 58999 199965 | 19936 4163 9 | 0.748 % |
2.03/2.10 c | 4488 | 9292 58923 199707 | 19936 4333 9 | 0.758 % |
2.13/2.19 c | 4684 | 9292 58923 199707 | 19936 4529 11 | 0.759 % |
2.23/2.24 c | 4784 | 9291 58913 199674 | 19936 4625 11 | 0.769 % |
2.33/2.32 c | 4894 | 9291 58913 199674 | 19936 4735 11 | 0.769 % |
2.33/2.37 c | 5015 | 9288 58880 199567 | 19936 4841 11 | 0.801 % |
2.43/2.44 c | 5148 | 9281 58880 199567 | 19936 4968 11 | 0.887 % |
2.53/2.53 c | 5294 | 9281 58880 199567 | 19936 5114 11 | 0.887 % |
2.63/2.63 c | 5455 | 9280 58667 198837 | 19936 5254 11 | 0.886 % |
2.63/2.72 c | 5631 | 9280 58667 198837 | 19936 5430 11 | 0.887 % |
2.83/2.83 c | 5824 | 9280 58667 198837 | 19936 5623 11 | 0.887 % |
2.93/2.99 c | 6036 | 9277 58658 198807 | 19936 5830 11 | 0.919 % |
3.03/3.03 c | 6136 | 9277 58658 198807 | 19936 5930 11 | 0.919 % |
3.03/3.07 c | 6247 | 9277 58627 198699 | 19936 6040 11 | 0.919 % |
3.03/3.11 c | 6368 | 9275 58627 198699 | 19936 6159 11 | 0.940 % |
3.13/3.13 c | 6501 | 9275 58627 198699 | 19936 6292 12 | 0.940 % |
3.13/3.20 c | 6647 | 9275 58627 198699 | 19936 6437 12 | 0.951 % |
3.23/3.26 c | 6807 | 9273 58590 198578 | 19936 6591 12 | 0.961 % |
3.33/3.41 c | 6984 | 9273 58590 198578 | 19936 6768 12 | 0.961 % |
3.43/3.49 c | 7179 | 9273 58580 198545 | 19936 6961 12 | 0.962 % |
3.53/3.53 c | 7391 | 9273 58580 198545 | 19936 7173 13 | 0.961 % |
3.63/3.65 c | 7625 | 9272 58580 198545 | 19936 7406 13 | 0.972 % |
3.63/3.71 c | 7725 | 9271 58571 198515 | 19936 7503 13 | 0.983 % |
3.83/3.82 c | 7835 | 9271 58571 198515 | 19936 7613 13 | 0.983 % |
3.83/3.87 c | 7957 | 9271 58571 198515 | 19936 7735 13 | 0.983 % |
3.83/3.90 c | 8090 | 9271 58561 198482 | 19936 7866 13 | 0.983 % |
3.93/3.98 c | 8237 | 9271 58561 198482 | 19936 8013 14 | 0.983 % |
4.03/4.02 c | 8397 | 9271 58561 198482 | 19936 8173 14 | 0.983 % |
4.13/4.12 c | 8573 | 9270 58554 198458 | 19936 8348 14 | 0.994 % |
4.13/4.17 c | 8766 | 9268 58554 198458 | 19936 8539 14 | 1.015 % |
4.23/4.26 c | 8978 | 9268 58554 198458 | 19936 8751 15 | 1.015 % |
4.33/4.35 c | 9211 | 9268 58554 198458 | 19936 8984 15 | 1.015 % |
4.43/4.43 c | 9467 | 9267 58522 198352 | 19936 9235 15 | 1.025 % |
4.43/4.49 c | 9567 | 9267 58522 198352 | 19936 9335 15 | 1.025 % |
4.53/4.54 c | 9678 | 9265 58522 198352 | 19936 9444 15 | 1.057 % |
4.53/4.60 c | 9801 | 9265 58522 198352 | 19936 9567 15 | 1.057 % |
4.63/4.65 c | 9934 | 9264 58470 198177 | 19936 9689 15 | 1.058 % |
4.63/4.71 c | 10081 | 9264 58470 198177 | 2147483647 9836 15 | 1.058 % |
4.73/4.76 c | 10241 | 9264 58470 198177 | 2147483647 9996 15 | 1.057 % |
4.83/4.84 c | 10417 | 9261 58470 198177 | 2147483647 10170 15 | 1.089 % |
4.83/4.91 c | 10610 | 9259 58443 198091 | 2147483647 10359 15 | 1.111 % |
5.03/5.04 c | 10822 | 9259 58443 198091 | 2147483647 10571 15 | 1.111 % |
5.03/5.10 c | 11057 | 9259 58443 198091 | 2147483647 10806 16 | 1.111 % |
5.23/5.28 c | 11314 | 9259 58381 197879 | 2147483647 11059 16 | 1.111 % |
5.33/5.38 c | 11595 | 9259 58381 197879 | 2147483647 11340 16 | 1.111 % |
5.43/5.44 c | 11695 | 9259 58381 197879 | 2147483647 11440 17 | 1.111 % |
5.43/5.49 c | 11806 | 9259 58381 197879 | 2147483647 11551 17 | 1.111 % |
5.53/5.54 c | 11928 | 9259 58381 197879 | 2147483647 11673 17 | 1.111 % |
5.53/5.59 c | 12061 | 9259 58381 197879 | 2147483647 11806 17 | 1.111 % |
5.63/5.67 c | 12208 | 9258 58371 197846 | 2147483647 11952 17 | 1.121 % |
5.73/5.78 c | 12368 | 9257 58371 197846 | 2147483647 12111 17 | 1.132 % |
5.83/5.86 c | 12545 | 9256 58371 197846 | 2147483647 12287 17 | 1.143 % |
5.93/5.94 c | 12738 | 9255 58371 197846 | 2147483647 12479 17 | 1.153 % |
6.03/6.04 c | 12953 | 9255 58346 197767 | 2147483647 12690 17 | 1.153 % |
6.13/6.13 c | 13186 | 9255 58346 197767 | 2147483647 12923 17 | 1.153 % |
6.23/6.22 c | 13445 | 9255 58346 197767 | 2147483647 13182 18 | 1.153 % |
6.33/6.36 c | 13726 | 9255 58346 197767 | 2147483647 13463 18 | 1.153 % |
6.43/6.46 c | 14035 | 9255 58346 197767 | 2147483647 13772 18 | 1.154 % |
6.53/6.54 c | 14135 | 9255 58346 197767 | 2147483647 13872 18 | 1.154 % |
6.53/6.58 c | 14246 | 9255 58346 197767 | 2147483647 13983 18 | 1.154 % |
6.63/6.62 c | 14368 | 9254 58338 197740 | 2147483647 14102 19 | 1.164 % |
6.63/6.66 c | 14501 | 9254 58338 197740 | 2147483647 14235 19 | 1.164 % |
6.73/6.76 c | 14647 | 9254 58338 197740 | 2147483647 14381 19 | 1.164 % |
6.73/6.81 c | 14807 | 9254 58338 197740 | 2147483647 14541 19 | 1.164 % |
6.93/6.95 c | 14983 | 9254 58338 197740 | 2147483647 14717 20 | 1.164 % |
7.03/7.08 c | 15176 | 9254 58338 197740 | 2147483647 14910 20 | 1.164 % |
7.13/7.17 c | 15388 | 9254 58338 197740 | 2147483647 15122 20 | 1.165 % |
7.23/7.31 c | 15621 | 9254 58338 197740 | 2147483647 15355 20 | 1.165 % |
7.43/7.42 c | 15877 | 9254 58338 197740 | 2147483647 15611 20 | 1.164 % |
7.43/7.49 c | 16158 | 9254 58338 197740 | 2147483647 15892 20 | 1.165 % |
7.53/7.58 c | 16471 | 9254 58338 197740 | 2147483647 16205 20 | 1.164 % |
7.63/7.70 c | 16810 | 9254 58338 197740 | 2147483647 16544 20 | 1.164 % |
7.73/7.73 c | 16911 | 9254 58338 197740 | 2147483647 16645 20 | 1.164 % |
7.73/7.78 c | 17021 | 9254 58338 197740 | 2147483647 16755 20 | 1.164 % |
7.83/7.87 c | 17143 | 9254 58338 197740 | 2147483647 16877 21 | 1.165 % |
7.83/7.90 c | 17276 | 9254 58338 197740 | 2147483647 17010 21 | 1.164 % |
7.93/7.95 c | 17422 | 9254 58338 197740 | 2147483647 17156 21 | 1.164 % |
8.03/8.05 c | 17583 | 9254 58338 197740 | 2147483647 17317 21 | 1.164 % |
8.13/8.16 c | 17759 | 9254 58338 197740 | 2147483647 17493 21 | 1.164 % |
8.23/8.24 c | 17952 | 9254 58338 197740 | 2147483647 17686 21 | 1.164 % |
8.33/8.34 c | 18167 | 9254 58338 197740 | 2147483647 17901 21 | 1.165 % |
8.43/8.44 c | 18400 | 9254 58338 197740 | 2147483647 18134 21 | 1.164 % |
8.43/8.51 c | 18656 | 9254 58338 197740 | 2147483647 18390 21 | 1.164 % |
8.73/8.74 c | 18937 | 9254 58338 197740 | 2147483647 18671 22 | 1.164 % |
8.93/8.93 c | 19246 | 9254 58338 197740 | 2147483647 18980 22 | 1.164 % |
9.03/9.09 c | 19588 | 9251 58300 197609 | 2147483647 19317 22 | 1.196 % |
9.13/9.18 c | 19960 | 9251 58300 197609 | 2147483647 19689 22 | 1.196 % |
9.23/9.25 c | 20061 | 9250 58300 197609 | 2147483647 19788 22 | 1.218 % |
9.33/9.34 c | 20172 | 9249 58300 197609 | 2147483647 19898 22 | 1.229 % |
9.33/9.41 c | 20294 | 9249 58300 197609 | 2147483647 20020 22 | 1.228 % |
9.43/9.46 c | 20430 | 9249 58300 197609 | 2147483647 20156 22 | 1.228 % |
9.53/9.53 c | 20578 | 9249 58300 197609 | 2147483647 20304 22 | 1.228 % |
9.63/9.66 c | 20738 | 9248 58256 197457 | 2147483647 20456 23 | 1.228 % |
9.73/9.78 c | 20915 | 9248 58256 197457 | 2147483647 20633 23 | 1.228 % |
9.83/9.89 c | 21108 | 9246 58256 197457 | 2147483647 20823 23 | 1.261 % |
10.03/10.04 c | 21322 | 9246 58256 197457 | 2147483647 21037 23 | 1.261 % |
10.03/10.10 c | 21555 | 9245 58228 197368 | 2147483647 21263 23 | 1.261 % |
10.23/10.24 c | 21812 | 9245 58228 197368 | 2147483647 21520 23 | 1.261 % |
10.43/10.43 c | 22096 | 9243 58228 197368 | 2147483647 21802 23 | 1.303 % |
10.83/10.82 c | 22405 | 9243 58228 197368 | 2147483647 22111 23 | 1.303 % |
10.93/10.97 c | 22744 | 9241 58176 197197 | 2147483647 22439 24 | 1.303 % |
11.13/11.14 c | 23116 | 9241 58176 197197 | 2147483647 22811 24 | 1.303 % |
11.33/11.35 c | 23525 | 9241 58176 197197 | 2147483647 23220 24 | 1.303 % |
11.43/11.46 c | 23626 | 9241 58176 197197 | 2147483647 23321 24 | 1.303 % |
11.43/11.50 c | 23736 | 9241 58176 197197 | 2147483647 23431 24 | 1.303 % |
11.53/11.59 c | 23857 | 9241 58176 197197 | 2147483647 23552 24 | 1.303 % |
11.63/11.70 c | 23990 | 9241 58176 197197 | 2147483647 23685 24 | 1.303 % |
11.73/11.79 c | 24136 | 9237 58163 197156 | 2147483647 23827 23 | 1.357 % |
11.83/11.85 c | 24296 | 9237 58163 197156 | 2147483647 23987 23 | 1.357 % |
11.93/11.94 c | 24473 | 9237 58163 197156 | 2147483647 24164 23 | 1.356 % |
12.03/12.09 c | 24667 | 9236 58163 197156 | 2147483647 24357 23 | 1.368 % |
12.23/12.23 c | 24880 | 9235 58163 197156 | 2147483647 24569 24 | 1.378 % |
12.33/12.37 c | 25113 | 9235 58163 197156 | 2147483647 24802 24 | 1.378 % |
12.53/12.57 c | 25369 | 9235 58163 197156 | 2147483647 25058 24 | 1.378 % |
12.73/12.79 c | 25650 | 9231 58087 196901 | 2147483647 25325 24 | 1.410 % |
12.93/12.93 c | 25959 | 9230 58087 196901 | 2147483647 25633 24 | 1.421 % |
12.93/13.01 c | 26298 | 9230 58087 196901 | 2147483647 25972 24 | 1.421 % |
13.23/13.26 c | 26670 | 9229 58087 196901 | 2147483647 26343 24 | 1.431 % |
13.43/13.51 c | 27081 | 9228 58021 196684 | 2147483647 26741 25 | 1.442 % |
13.73/13.81 c | 27530 | 9227 58021 196684 | 2147483647 27189 25 | 1.453 % |
13.83/13.89 c | 27631 | 9227 58021 196684 | 2147483647 27290 25 | 1.453 % |
13.93/13.99 c | 27741 | 9227 58021 196684 | 2147483647 27400 25 | 1.453 % |
14.03/14.11 c | 27865 | 9227 58021 196684 | 2147483647 27524 25 | 1.453 % |
14.13/14.21 c | 27998 | 9227 58021 196684 | 2147483647 27657 25 | 1.453 % |
14.33/14.36 c | 28145 | 9225 58006 196634 | 2147483647 27801 25 | 1.474 % |
14.43/14.49 c | 28308 | 9225 58006 196634 | 2147483647 27964 25 | 1.474 % |
14.53/14.58 c | 28485 | 9225 58006 196634 | 2147483647 28141 25 | 1.474 % |
14.63/14.68 c | 28679 | 9223 58006 196634 | 2147483647 28333 25 | 1.496 % |
14.73/14.76 c | 28891 | 9223 58006 196634 | 2147483647 28545 25 | 1.495 % |
14.83/14.84 c | 29124 | 9223 58006 196634 | 2147483647 28778 25 | 1.495 % |
14.93/14.94 c | 29380 | 9223 58006 196634 | 2147483647 29034 25 | 1.495 % |
15.03/15.06 c | 29661 | 9223 58006 196634 | 2147483647 29315 25 | 1.495 % |
15.13/15.19 c | 29972 | 9223 58006 196634 | 2147483647 29626 25 | 1.495 % |
15.23/15.32 c | 30311 | 9223 57974 196535 | 2147483647 29960 25 | 1.495 % |
15.43/15.44 c | 30684 | 9223 57974 196535 | 2147483647 30333 25 | 1.495 % |
15.63/15.65 c | 31093 | 9223 57974 196535 | 2147483647 30742 25 | 1.495 % |
16.03/16.03 c | 31542 | 9223 57974 196535 | 2147483647 31191 25 | 1.495 % |
16.23/16.22 c | 32035 | 9223 57974 196535 | 2147483647 31684 25 | 1.495 % |
16.33/16.32 c | 32138 | 9223 57974 196535 | 2147483647 31787 25 | 1.495 % |
16.33/16.42 c | 32249 | 9223 57974 196535 | 2147483647 31898 25 | 1.495 % |
16.43/16.52 c | 32371 | 9223 57974 196535 | 2147483647 32020 25 | 1.495 % |
16.63/16.68 c | 32505 | 9223 57974 196535 | 2147483647 32154 25 | 1.495 % |
16.83/16.83 c | 32651 | 9222 57968 196517 | 2147483647 32298 25 | 1.506 % |
16.93/16.98 c | 32811 | 9222 57968 196517 | 2147483647 32458 25 | 1.506 % |
17.03/17.07 c | 32987 | 9222 57968 196517 | 2147483647 32634 25 | 1.506 % |
17.13/17.20 c | 33180 | 9222 57968 196517 | 2147483647 32827 25 | 1.506 % |
17.23/17.27 c | 33392 | 9222 57968 196517 | 2147483647 33039 25 | 1.506 % |
17.43/17.44 c | 33625 | 9222 57968 196517 | 2147483647 33272 25 | 1.506 % |
17.53/17.54 c | 33882 | 9222 57968 196517 | 2147483647 33529 25 | 1.506 % |
17.63/17.69 c | 34164 | 9222 57968 196517 | 2147483647 33810 26 | 1.517 % |
17.73/17.79 c | 34473 | 9222 57968 196517 | 2147483647 34119 26 | 1.517 % |
18.03/18.04 c | 34812 | 9221 57951 196455 | 2147483647 34455 26 | 1.517 % |
18.13/18.19 c | 35184 | 9221 57951 196455 | 2147483647 34827 26 | 1.517 % |
18.33/18.38 c | 35593 | 9221 57951 196455 | 2147483647 35236 26 | 1.517 % |
18.73/18.74 c | 36043 | 9220 57951 196455 | 2147483647 35685 26 | 1.549 % |
19.03/19.11 c | 36536 | 9220 57951 196455 | 2147483647 36178 26 | 1.549 % |
19.73/19.74 c | 37079 | 9218 57923 196362 | 2147483647 36713 26 | 1.549 % |
19.73/19.80 c | 37179 | 9218 57923 196362 | 2147483647 36813 26 | 1.549 % |
19.83/19.91 c | 37289 | 9218 57923 196362 | 2147483647 36923 26 | 1.549 % |
19.93/20.01 c | 37410 | 9216 57923 196362 | 2147483647 37043 26 | 1.570 % |
20.03/20.08 c | 37543 | 9216 57923 196362 | 2147483647 37176 26 | 1.570 % |
20.13/20.20 c | 37689 | 9216 57923 196362 | 2147483647 37322 26 | 1.570 % |
20.23/20.30 c | 37850 | 9216 57923 196362 | 2147483647 37483 26 | 1.570 % |
20.43/20.47 c | 38026 | 9216 57923 196362 | 2147483647 37659 26 | 1.570 % |
20.53/20.60 c | 38220 | 9216 57906 196305 | 2147483647 37851 26 | 1.570 % |
20.63/20.70 c | 38432 | 9216 57906 196305 | 2147483647 38063 26 | 1.570 % |
20.73/20.79 c | 38666 | 9216 57906 196305 | 2147483647 38297 26 | 1.571 % |
20.83/20.89 c | 38925 | 9216 57906 196305 | 2147483647 38556 26 | 1.570 % |
20.93/20.99 c | 39207 | 9216 57906 196305 | 2147483647 38838 26 | 1.570 % |
21.13/21.13 c | 39516 | 9216 57906 196305 | 2147483647 39147 26 | 1.570 % |
21.43/21.47 c | 39855 | 9216 57906 196305 | 2147483647 39486 26 | 1.570 % |
21.73/21.75 c | 40227 | 9215 57906 196305 | 2147483647 39857 26 | 1.581 % |
21.93/21.99 c | 40637 | 9215 57906 196305 | 2147483647 40267 26 | 1.581 % |
22.23/22.26 c | 41088 | 9215 57896 196272 | 2147483647 40717 26 | 1.581 % |
22.53/22.55 c | 41581 | 9215 57896 196272 | 2147483647 41210 26 | 1.581 % |
22.93/22.98 c | 42124 | 9215 57896 196272 | 2147483647 41753 26 | 1.581 % |
23.33/23.35 c | 42720 | 9214 57896 196272 | 2147483647 42348 26 | 1.592 % |
23.43/23.42 c | 42821 | 9214 57896 196272 | 2147483647 42449 26 | 1.591 % |
23.43/23.51 c | 42938 | 9214 57896 196272 | 2147483647 42566 26 | 1.592 % |
23.63/23.69 c | 43060 | 9213 57888 196245 | 2147483647 42685 26 | 1.603 % |
23.73/23.78 c | 43193 | 9213 57888 196245 | 2147483647 42818 26 | 1.602 % |
23.83/23.87 c | 43339 | 9213 57888 196245 | 2147483647 42964 26 | 1.602 % |
23.93/23.93 c | 43500 | 9213 57888 196245 | 2147483647 43125 26 | 1.602 % |
24.03/24.10 c | 43676 | 9213 57888 196245 | 2147483647 43301 26 | 1.602 % |
24.13/24.21 c | 43870 | 9213 57888 196245 | 2147483647 43495 26 | 1.602 % |
24.33/24.36 c | 44083 | 9213 57888 196245 | 2147483647 43708 26 | 1.602 % |
24.43/24.48 c | 44317 | 9213 57888 196245 | 2147483647 43942 26 | 1.602 % |
24.63/24.63 c | 44576 | 9213 57888 196245 | 2147483647 44201 26 | 1.603 % |
24.83/24.82 c | 44859 | 9213 57888 196245 | 2147483647 44484 26 | 1.602 % |
24.93/24.96 c | 45171 | 9213 57888 196245 | 2147483647 44796 26 | 1.602 % |
25.03/25.07 c | 45510 | 9213 57888 196245 | 2147483647 45135 26 | 1.602 % |
25.43/25.50 c | 45882 | 9213 57888 196245 | 2147483647 45507 26 | 1.603 % |
25.73/25.76 c | 46291 | 9213 57875 196199 | 2147483647 45911 26 | 1.602 % |
25.93/25.92 c | 46741 | 9213 57875 196199 | 2147483647 46361 26 | 1.602 % |
26.23/26.23 c | 47235 | 9213 57875 196199 | 2147483647 46855 27 | 1.602 % |
26.53/26.55 c | 47780 | 9213 57875 196199 | 2147483647 47400 27 | 1.602 % |
27.03/27.02 c | 48376 | 9213 57875 196199 | 2147483647 47996 27 | 1.602 % |
27.33/27.32 c | 49031 | 9212 57875 196199 | 2147483647 48650 27 | 1.613 % |
27.43/27.49 c | 49132 | 9212 57860 196149 | 2147483647 48747 27 | 1.613 % |
27.53/27.60 c | 49242 | 9211 57860 196149 | 2147483647 48856 27 | 1.624 % |
27.63/27.67 c | 49367 | 9211 57860 196149 | 2147483647 48981 27 | 1.624 % |
27.73/27.81 c | 49500 | 9211 57860 196149 | 2147483647 49114 27 | 1.623 % |
27.93/28.00 c | 49646 | 9211 57860 196149 | 2147483647 49259 27 | 1.634 % |
28.03/28.11 c | 49807 | 9211 57860 196149 | 2147483647 49420 27 | 1.634 % |
28.23/28.23 c | 49984 | 9211 57860 196149 | 2147483647 49597 27 | 1.634 % |
28.33/28.33 c | 50177 | 9211 57860 196149 | 2147483647 49790 27 | 1.634 % |
28.33/28.40 c | 50389 | 9211 57860 196149 | 2147483647 50002 27 | 1.634 % |
28.43/28.49 c | 50623 | 9211 57860 196149 | 2147483647 50236 27 | 1.634 % |
28.63/28.62 c | 50881 | 9211 57860 196149 | 2147483647 50494 27 | 1.634 % |
28.73/28.76 c | 51166 | 9211 57860 196149 | 2147483647 50779 27 | 1.634 % |
28.93/28.94 c | 51475 | 9211 57860 196149 | 2147483647 51088 27 | 1.634 % |
29.13/29.15 c | 51815 | 9211 57860 196149 | 2147483647 51428 27 | 1.634 % |
29.33/29.34 c | 52188 | 9211 57860 196149 | 2147483647 51801 27 | 1.634 % |
29.53/29.62 c | 52598 | 9211 57860 196149 | 2147483647 52211 27 | 1.634 % |
29.83/29.82 c | 53048 | 9210 57846 196101 | 2147483647 52659 27 | 1.634 % |
30.43/30.47 c | 53542 | 9210 57846 196101 | 2147483647 53153 27 | 1.634 % |
30.73/30.74 c | 54084 | 9210 57846 196101 | 2147483647 53695 27 | 1.634 % |
31.23/31.22 c | 54680 | 9210 57846 196101 | 2147483647 54291 27 | 1.634 % |
31.63/31.68 c | 55335 | 9210 57846 196101 | 2147483647 54946 27 | 1.634 % |
32.13/32.15 c | 56055 | 9210 57846 196101 | 2147483647 55666 27 | 1.634 % |
32.23/32.31 c | 56158 | 9210 57846 196101 | 2147483647 55769 27 | 1.634 % |
32.43/32.42 c | 56268 | 9210 57846 196101 | 2147483647 55879 27 | 1.634 % |
32.53/32.53 c | 56389 | 9210 57846 196101 | 2147483647 56000 27 | 1.635 % |
32.73/32.76 c | 56523 | 9210 57846 196101 | 2147483647 56134 27 | 1.634 % |
32.93/32.94 c | 56669 | 9210 57846 196101 | 2147483647 56280 27 | 1.634 % |
33.03/33.09 c | 56831 | 9210 57846 196101 | 2147483647 56442 27 | 1.635 % |
33.23/33.27 c | 57008 | 9210 57846 196101 | 2147483647 56619 27 | 1.634 % |
33.53/33.52 c | 57202 | 9210 57846 196101 | 2147483647 56813 27 | 1.635 % |
33.63/33.68 c | 57414 | 9210 57846 196101 | 2147483647 57025 27 | 1.634 % |
33.83/33.86 c | 57647 | 9210 57846 196101 | 2147483647 57258 27 | 1.634 % |
34.03/34.05 c | 57904 | 9210 57846 196101 | 2147483647 57515 27 | 1.634 % |
34.23/34.24 c | 58185 | 9210 57846 196101 | 2147483647 57796 27 | 1.634 % |
34.43/34.48 c | 58494 | 9210 57846 196101 | 2147483647 58105 27 | 1.634 % |
34.63/34.70 c | 58833 | 9210 57846 196101 | 2147483647 58444 27 | 1.634 % |
34.93/34.98 c | 59205 | 9210 57846 196101 | 2147483647 58816 27 | 1.634 % |
35.33/35.33 c | 59614 | 9210 57846 196101 | 2147483647 59225 27 | 1.634 % |
35.73/35.76 c | 60064 | 9210 57846 196101 | 2147483647 59675 27 | 1.634 % |
36.33/36.38 c | 60558 | 9210 57846 196101 | 2147483647 60169 27 | 1.634 % |
36.73/36.74 c | 61100 | 9210 57846 196101 | 2147483647 60711 27 | 1.634 % |
37.23/37.26 c | 61696 | 9210 57846 196101 | 2147483647 61307 27 | 1.635 % |
37.83/37.85 c | 62352 | 9210 57846 196101 | 2147483647 61963 28 | 1.635 % |
38.43/38.43 c | 63073 | 9207 57839 196080 | 2147483647 62680 28 | 1.667 % |
39.43/39.44 c | 63866 | 9207 57839 196080 | 2147483647 63473 28 | 1.667 % |
39.43/39.51 c | 63966 | 9207 57839 196080 | 2147483647 63573 28 | 1.666 % |
39.53/39.57 c | 64077 | 9207 57839 196080 | 2147483647 63684 28 | 1.666 % |
39.73/39.80 c | 64199 | 9207 57839 196080 | 2147483647 63806 28 | 1.666 % |
39.83/39.91 c | 64332 | 9207 57839 196080 | 2147483647 63939 28 | 1.666 % |
39.93/40.01 c | 64478 | 9207 57839 196080 | 2147483647 64085 28 | 1.667 % |
40.13/40.12 c | 64638 | 9207 57839 196080 | 2147483647 64245 28 | 1.666 % |
40.23/40.22 c | 64816 | 9207 57839 196080 | 2147483647 64423 28 | 1.667 % |
40.33/40.36 c | 65010 | 9207 57839 196080 | 2147483647 64617 28 | 1.667 % |
40.53/40.59 c | 65223 | 9207 57839 196080 | 2147483647 64830 28 | 1.666 % |
40.73/40.76 c | 65456 | 9207 57839 196080 | 2147483647 65063 28 | 1.667 % |
41.03/41.02 c | 65712 | 9207 57839 196080 | 2147483647 65319 28 | 1.667 % |
41.23/41.30 c | 65993 | 9207 57824 196032 | 2147483647 65596 28 | 1.667 % |
41.63/41.64 c | 66302 | 9207 57824 196032 | 2147483647 65904 28 | 1.687 % |
41.93/41.97 c | 66641 | 9207 57824 196032 | 2147483647 66243 28 | 1.687 % |
42.23/42.29 c | 67013 | 9207 57824 196032 | 2147483647 66615 28 | 1.687 % |
42.93/42.93 c | 67422 | 9207 57824 196032 | 2147483647 67024 28 | 1.687 % |
43.23/43.30 c | 67872 | 9207 57824 196032 | 2147483647 67474 28 | 1.687 % |
43.73/43.72 c | 68366 | 9207 57824 196032 | 2147483647 67968 28 | 1.687 % |
44.23/44.25 c | 68908 | 9207 57824 196032 | 2147483647 68510 28 | 1.687 % |
44.63/44.65 c | 69505 | 9207 57824 196032 | 2147483647 69107 28 | 1.687 % |
45.33/45.32 c | 70162 | 9205 57810 195987 | 2147483647 69761 28 | 1.688 % |
45.83/45.87 c | 70883 | 9205 57810 195987 | 2147483647 70482 28 | 1.688 % |
46.43/46.46 c | 71675 | 9205 57810 195987 | 2147483647 71274 28 | 1.687 % |
47.23/47.31 c | 72546 | 9205 57810 195987 | 2147483647 72145 28 | 1.688 % |
47.43/47.49 c | 72646 | 9205 57810 195987 | 2147483647 72245 28 | 1.688 % |
47.53/47.59 c | 72757 | 9205 57810 195987 | 2147483647 72356 28 | 1.687 % |
47.63/47.71 c | 72878 | 9205 57810 195987 | 2147483647 72477 28 | 1.688 % |
47.83/47.82 c | 73011 | 9205 57810 195987 | 2147483647 72610 28 | 1.687 % |
47.93/47.98 c | 73158 | 9205 57810 195987 | 2147483647 72757 28 | 1.688 % |
48.03/48.10 c | 73318 | 9205 57810 195987 | 2147483647 72917 28 | 1.687 % |
48.13/48.21 c | 73495 | 9205 57810 195987 | 2147483647 73094 28 | 1.688 % |
48.33/48.35 c | 73689 | 9205 57810 195987 | 2147483647 73288 28 | 1.687 % |
48.53/48.56 c | 73901 | 9205 57810 195987 | 2147483647 73500 28 | 1.688 % |
48.63/48.71 c | 74135 | 9205 57810 195987 | 2147483647 73734 28 | 1.688 % |
48.83/48.87 c | 74391 | 9205 57810 195987 | 2147483647 73990 28 | 1.687 % |
49.03/49.10 c | 74672 | 9205 57810 195987 | 2147483647 74271 28 | 1.688 % |
49.43/49.47 c | 74981 | 9204 57804 195969 | 2147483647 74579 28 | 1.698 % |
49.93/49.95 c | 75321 | 9204 57804 195969 | 2147483647 74919 28 | 1.698 % |
50.23/50.30 c | 75693 | 9204 57804 195969 | 2147483647 75291 28 | 1.698 % |
50.63/50.70 c | 76103 | 9204 57804 195969 | 2147483647 75701 28 | 1.699 % |
51.13/51.12 c | 76552 | 9204 57804 195969 | 2147483647 76150 28 | 1.698 % |
51.53/51.61 c | 77046 | 9204 57804 195969 | 2147483647 76644 28 | 1.698 % |
52.13/52.18 c | 77588 | 9204 57804 195969 | 2147483647 77186 28 | 1.698 % |
52.63/52.69 c | 78184 | 9204 57804 195969 | 2147483647 77782 27 | 1.699 % |
53.23/53.31 c | 78839 | 9204 57804 195969 | 2147483647 78437 27 | 1.698 % |
53.94/53.93 c | 79559 | 9204 57804 195969 | 2147483647 79157 27 | 1.699 % |
54.83/54.87 c | 80352 | 9204 57804 195969 | 2147483647 79950 27 | 1.699 % |
56.23/56.25 c | 81224 | 9204 57804 195969 | 2147483647 80822 27 | 1.699 % |
56.83/56.86 c | 82185 | 9204 57804 195969 | 2147483647 81783 27 | 1.698 % |
56.93/56.93 c | 82286 | 9204 57804 195969 | 2147483647 81884 27 | 1.698 % |
56.93/57.00 c | 82396 | 9204 57804 195969 | 2147483647 81994 27 | 1.698 % |
57.03/57.08 c | 82519 | 9204 57804 195969 | 2147483647 82117 27 | 1.698 % |
57.33/57.34 c | 82653 | 9204 57804 195969 | 2147483647 82251 27 | 1.699 % |
57.53/57.61 c | 82800 | 9204 57804 195969 | 2147483647 82398 27 | 1.698 % |
57.73/57.75 c | 82960 | 9204 57804 195969 | 2147483647 82558 27 | 1.699 % |
57.93/57.93 c | 83137 | 9202 57785 195910 | 2147483647 82732 27 | 1.720 % |
58.13/58.21 c | 83330 | 9202 57785 195910 | 2147483647 82925 27 | 1.720 % |
58.34/58.37 c | 83543 | 9202 57785 195910 | 2147483647 83138 27 | 1.720 % |
58.73/58.74 c | 83780 | 9202 57785 195910 | 2147483647 83375 28 | 1.720 % |
59.13/59.21 c | 84036 | 9202 57785 195910 | 2147483647 83631 27 | 1.720 % |
59.33/59.39 c | 84320 | 9202 57785 195910 | 2147483647 83915 27 | 1.720 % |
59.83/59.87 c | 84629 | 9202 57785 195910 | 2147483647 84224 27 | 1.720 % |
60.23/60.28 c | 84968 | 9202 57785 195910 | 2147483647 84563 27 | 1.720 % |
60.63/60.71 c | 85340 | 9202 57785 195910 | 2147483647 84935 27 | 1.720 % |
61.13/61.15 c | 85749 | 9202 57785 195910 | 2147483647 85344 27 | 1.720 % |
61.23/61.31 c | 86198 | 9202 57785 195910 | 2147483647 85793 27 | 1.720 % |
61.64/61.66 c | 86691 | 9200 57785 195910 | 2147483647 86284 27 | 1.752 % |
62.33/62.34 c | 87234 | 9198 57698 195618 | 2147483647 86821 27 | 1.762 % |
62.83/62.86 c | 87830 | 9198 57698 195618 | 2147483647 87417 27 | 1.762 % |
63.53/63.61 c | 88489 | 9198 57698 195618 | 2147483647 88076 27 | 1.763 % |
64.23/64.30 c | 89210 | 9198 57698 195618 | 2147483647 88797 27 | 1.762 % |
65.03/65.10 c | 90002 | 9198 57698 195618 | 2147483647 89589 27 | 1.763 % |
65.93/66.00 c | 90874 | 9198 57698 195618 | 2147483647 90461 27 | 1.762 % |
66.83/66.91 c | 91832 | 9198 57698 195618 | 2147483647 91419 27 | 1.763 % |
67.93/67.94 c | 92885 | 9198 57698 195618 | 2147483647 92472 27 | 1.762 % |
68.03/68.04 c | 92987 | 9198 57698 195618 | 2147483647 92574 27 | 1.762 % |
68.13/68.16 c | 93098 | 9198 57698 195618 | 2147483647 92685 27 | 1.762 % |
68.33/68.36 c | 93219 | 9198 57698 195618 | 2147483647 92806 27 | 1.762 % |
68.43/68.51 c | 93352 | 9198 57698 195618 | 2147483647 92939 27 | 1.762 % |
68.63/68.66 c | 93499 | 9198 57698 195618 | 2147483647 93086 27 | 1.762 % |
68.83/68.88 c | 93660 | 9198 57698 195618 | 2147483647 93247 27 | 1.763 % |
69.03/69.05 c | 93836 | 9198 57698 195618 | 2147483647 93423 27 | 1.763 % |
69.23/69.23 c | 94030 | 9198 57698 195618 | 2147483647 93617 27 | 1.762 % |
69.53/69.55 c | 94244 | 9198 57698 195618 | 2147483647 93831 27 | 1.763 % |
69.73/69.81 c | 94477 | 9198 57698 195618 | 2147483647 94064 27 | 1.762 % |
70.03/70.05 c | 94734 | 9198 57698 195618 | 2147483647 94321 27 | 1.762 % |
70.23/70.31 c | 95015 | 9198 57698 195618 | 2147483647 94602 27 | 1.762 % |
70.83/70.90 c | 95325 | 9198 57698 195618 | 2147483647 94912 27 | 1.763 % |
71.13/71.19 c | 95665 | 9198 57698 195618 | 2147483647 95252 27 | 1.762 % |
71.63/71.64 c | 96037 | 9198 57698 195618 | 2147483647 95624 27 | 1.762 % |
72.33/72.38 c | 96446 | 9195 57676 195547 | 2147483647 96026 27 | 1.805 % |
72.73/72.73 c | 96896 | 9195 57676 195547 | 2147483647 96476 27 | 1.805 % |
73.13/73.21 c | 97389 | 9192 57676 195547 | 2147483647 96967 27 | 1.827 % |
73.83/73.91 c | 97931 | 9192 57676 195547 | 2147483647 97509 28 | 1.826 % |
74.23/74.31 c | 98528 | 9192 57676 195547 | 2147483647 98106 28 | 1.826 % |
75.03/75.07 c | 99183 | 9192 57676 195547 | 2147483647 98761 28 | 1.827 % |
75.83/75.85 c | 99904 | 9192 57676 195547 | 2147483647 99482 28 | 1.826 % |
76.63/76.70 c | 100696 | 9192 57676 195547 | 2147483647 100274 28 | 1.826 % |
77.53/77.53 c | 101568 | 9192 57676 195547 | 2147483647 101146 28 | 1.826 % |
78.63/78.69 c | 102528 | 9192 57676 195547 | 2147483647 102106 28 | 1.826 % |
80.13/80.11 c | 103582 | 9192 57641 195437 | 2147483647 103154 28 | 1.826 % |
81.53/81.53 c | 104740 | 9192 57641 195437 | 2147483647 104312 28 | 1.826 % |
81.63/81.66 c | 104842 | 9192 57641 195437 | 2147483647 104414 28 | 1.826 % |
81.73/81.78 c | 104953 | 9192 57641 195437 | 2147483647 104525 28 | 1.826 % |
81.93/81.94 c | 105075 | 9192 57641 195437 | 2147483647 104647 28 | 1.826 % |
82.23/82.26 c | 105208 | 9192 57641 195437 | 2147483647 104780 28 | 1.826 % |
82.54/82.55 c | 105354 | 9192 57641 195437 | 2147483647 104926 28 | 1.826 % |
82.83/82.85 c | 105515 | 9192 57641 195437 | 2147483647 105087 28 | 1.826 % |
83.13/83.18 c | 105691 | 9192 57641 195437 | 2147483647 105263 28 | 1.826 % |
83.33/83.35 c | 105885 | 9192 57641 195437 | 2147483647 105457 28 | 1.827 % |
83.53/83.55 c | 106098 | 9192 57641 195437 | 2147483647 105670 28 | 1.826 % |
84.03/84.06 c | 106331 | 9192 57641 195437 | 2147483647 105903 28 | 1.826 % |
84.33/84.36 c | 106588 | 9192 57641 195437 | 2147483647 106160 28 | 1.827 % |
84.74/84.75 c | 106869 | 9192 57641 195437 | 2147483647 106441 28 | 1.826 % |
85.03/85.07 c | 107178 | 9192 57641 195437 | 2147483647 106750 28 | 1.826 % |
85.43/85.49 c | 107517 | 9192 57641 195437 | 2147483647 107089 28 | 1.826 % |
86.23/86.24 c | 107893 | 9191 57626 195387 | 2147483647 107458 28 | 1.837 % |
87.13/87.12 c | 108302 | 9188 57626 195387 | 2147483647 107864 28 | 1.891 % |
87.53/87.54 c | 108752 | 9186 57626 195387 | 2147483647 108314 28 | 1.890 % |
87.83/87.88 c | 109245 | 9186 57626 195387 | 2147483647 108807 28 | 1.890 % |
88.23/88.31 c | 109787 | 9185 57626 195387 | 2147483647 109348 28 | 1.901 % |
88.73/88.72 c | 110384 | 9185 57626 195387 | 2147483647 109945 28 | 1.901 % |
89.33/89.35 c | 111040 | 9185 57626 195387 | 2147483647 110601 28 | 1.901 % |
90.13/90.22 c | 111761 | 9185 57626 195387 | 2147483647 111322 28 | 1.901 % |
90.93/90.92 c | 112554 | 9185 57626 195387 | 2147483647 112115 28 | 1.902 % |
91.93/92.00 c | 113428 | 9185 57626 195387 | 2147483647 112989 28 | 1.901 % |
92.73/92.76 c | 114386 | 9185 57626 195387 | 2147483647 113947 28 | 1.901 % |
93.63/93.64 c | 115439 | 9185 57626 195387 | 2147483647 115000 28 | 1.901 % |
94.64/94.63 c | 116598 | 9185 57553 195147 | 2147483647 116144 28 | 1.902 % |
96.53/96.55 c | 117871 | 9185 57553 195147 | 2147483647 117417 28 | 1.901 % |
96.63/96.65 c | 117971 | 9185 57553 195147 | 2147483647 117517 28 | 1.901 % |
96.73/96.79 c | 118081 | 9185 57553 195147 | 2147483647 117627 28 | 1.901 % |
96.93/96.92 c | 118202 | 9185 57553 195147 | 2147483647 117748 28 | 1.901 % |
97.03/97.06 c | 118335 | 9185 57553 195147 | 2147483647 117881 28 | 1.901 % |
97.23/97.21 c | 118481 | 9185 57553 195147 | 2147483647 118027 28 | 1.901 % |
97.33/97.40 c | 118641 | 9185 57553 195147 | 2147483647 118187 28 | 1.901 % |
97.63/97.67 c | 118817 | 9185 57553 195147 | 2147483647 118363 28 | 1.902 % |
97.83/97.88 c | 119010 | 9185 57553 195147 | 2147483647 118556 28 | 1.901 % |
98.33/98.36 c | 119222 | 9185 57553 195147 | 2147483647 118768 28 | 1.901 % |
98.83/98.83 c | 119457 | 9185 57553 195147 | 2147483647 119003 28 | 1.901 % |
99.23/99.31 c | 119713 | 9185 57553 195147 | 2147483647 119258 28 | 1.912 % |
99.63/99.64 c | 119995 | 9185 57553 195147 | 2147483647 119540 28 | 1.912 % |
99.83/99.82 c | 120305 | 9184 57553 195147 | 2147483647 119850 28 | 1.912 % |
100.23/100.22 c | 120644 | 9184 57553 195147 | 2147483647 120189 28 | 1.912 % |
100.63/100.62 c | 121016 | 9184 57553 195147 | 2147483647 120561 28 | 1.912 % |
101.33/101.39 c | 121427 | 9184 57553 195147 | 2147483647 120972 28 | 1.912 % |
102.34/102.34 c | 121877 | 9184 57553 195147 | 2147483647 121422 29 | 1.912 % |
102.93/102.98 c | 122372 | 9184 57544 195117 | 2147483647 121915 29 | 1.912 % |
103.93/103.92 c | 122915 | 9184 57544 195117 | 2147483647 122458 29 | 1.912 % |
104.93/104.92 c | 123513 | 9183 57544 195117 | 2147483647 123055 29 | 1.922 % |
105.73/105.80 c | 124168 | 9183 57544 195117 | 2147483647 123710 29 | 1.923 % |
107.44/107.52 c | 124888 | 9183 57544 195117 | 2147483647 124430 29 | 1.923 % |
108.04/108.07 c | 125680 | 9183 57544 195117 | 2147483647 125222 29 | 1.923 % |
108.64/108.70 c | 126551 | 9183 57544 195117 | 2147483647 126093 29 | 1.922 % |
111.24/111.32 c | 127511 | 9183 57544 195117 | 2147483647 127053 29 | 1.922 % |
112.54/112.57 c | 128565 | 9183 57536 195093 | 2147483647 128104 29 | 1.922 % |
113.64/113.64 c | 129724 | 9183 57536 195093 | 2147483647 129263 29 | 1.923 % |
115.94/115.97 c | 130998 | 9183 57536 195093 | 2147483647 130537 29 | 1.922 % |
117.74/117.77 c | 132399 | 9183 57536 195093 | 2147483647 131938 29 | 1.923 % |
117.84/117.90 c | 132500 | 9183 57536 195093 | 2147483647 132039 29 | 1.922 % |
118.24/118.25 c | 132612 | 9183 57536 195093 | 2147483647 132151 29 | 1.922 % |
118.34/118.36 c | 132733 | 9183 57536 195093 | 2147483647 132272 29 | 1.923 % |
118.44/118.51 c | 132866 | 9183 57536 195093 | 2147483647 132405 29 | 1.922 % |
118.64/118.69 c | 133012 | 9183 57536 195093 | 2147483647 132551 29 | 1.922 % |
118.94/118.99 c | 133172 | 9183 57536 195093 | 2147483647 132711 29 | 1.922 % |
119.24/119.23 c | 133349 | 9183 57536 195093 | 2147483647 132888 29 | 1.923 % |
119.44/119.45 c | 133542 | 9183 57536 195093 | 2147483647 133081 29 | 1.922 % |
119.74/119.75 c | 133754 | 9183 57536 195093 | 2147483647 133293 29 | 1.923 % |
120.04/120.10 c | 133988 | 9183 57536 195093 | 2147483647 133527 29 | 1.923 % |
120.44/120.49 c | 134244 | 9183 57536 195093 | 2147483647 133783 29 | 1.923 % |
120.74/120.81 c | 134526 | 9183 57536 195093 | 2147483647 134065 29 | 1.922 % |
121.24/121.23 c | 134836 | 9183 57536 195093 | 2147483647 134375 29 | 1.922 % |
121.64/121.67 c | 135175 | 9183 57536 195093 | 2147483647 134714 29 | 1.923 % |
122.14/122.17 c | 135547 | 9183 57536 195093 | 2147483647 135086 29 | 1.923 % |
122.64/122.72 c | 135957 | 9183 57536 195093 | 2147483647 135496 29 | 1.923 % |
123.24/123.27 c | 136406 | 9183 57536 195093 | 2147483647 135945 29 | 1.923 % |
123.94/123.92 c | 136899 | 9183 57536 195093 | 2147483647 136438 29 | 1.922 % |
124.74/124.80 c | 137444 | 9183 57536 195093 | 2147483647 136983 29 | 1.923 % |
125.64/125.68 c | 138040 | 9183 57536 195093 | 2147483647 137579 29 | 1.922 % |
126.83/126.86 c | 138696 | 9182 57530 195075 | 2147483647 138233 29 | 1.933 % |
127.53/127.59 c | 139416 | 9181 57530 195075 | 2147483647 138951 29 | 1.965 % |
128.83/128.86 c | 140208 | 9180 57530 195075 | 2147483647 139742 29 | 1.976 % |
130.13/130.21 c | 141080 | 9177 57530 195075 | 2147483647 140612 29 | 1.997 % |
131.03/131.08 c | 142039 | 9175 57530 195075 | 2147483647 141569 29 | 2.019 % |
133.83/133.89 c | 143092 | 9175 57530 195075 | 2147483647 142622 29 | 2.019 % |
136.33/136.33 c | 144250 | 9172 57530 195075 | 2147483647 143778 29 | 2.051 % |
138.23/138.26 c | 145523 | 9172 57530 195075 | 2147483647 145051 30 | 2.051 % |
140.43/140.46 c | 146924 | 9171 57416 194707 | 2147483647 146438 30 | 2.051 % |
142.13/142.14 c | 148464 | 9171 57416 194707 | 2147483647 147978 30 | 2.051 % |
142.23/142.27 c | 148564 | 9171 57416 194707 | 2147483647 148078 30 | 2.051 % |
142.43/142.43 c | 148674 | 9171 57416 194707 | 2147483647 148188 30 | 2.051 % |
142.63/142.67 c | 148797 | 9171 57416 194707 | 2147483647 148311 30 | 2.051 % |
142.73/142.79 c | 148931 | 9171 57416 194707 | 2147483647 148445 30 | 2.051 % |
142.93/142.91 c | 149077 | 9171 57416 194707 | 2147483647 148591 30 | 2.051 % |
143.23/143.21 c | 149237 | 9171 57416 194707 | 2147483647 148751 30 | 2.051 % |
143.53/143.55 c | 149413 | 9171 57416 194707 | 2147483647 148927 30 | 2.051 % |
143.93/144.01 c | 149606 | 9171 57416 194707 | 2147483647 149120 30 | 2.051 % |
144.33/144.32 c | 149818 | 9171 57416 194707 | 2147483647 149332 30 | 2.051 % |
144.53/144.56 c | 150051 | 9171 57416 194707 | 2147483647 149565 30 | 2.051 % |
145.13/145.15 c | 150307 | 9171 57416 194707 | 2147483647 149821 30 | 2.051 % |
145.93/145.94 c | 150588 | 9171 57416 194707 | 2147483647 150102 30 | 2.051 % |
146.63/146.69 c | 150900 | 9171 57416 194707 | 2147483647 150414 30 | 2.051 % |
147.03/147.10 c | 151241 | 9171 57416 194707 | 2147483647 150755 30 | 2.051 % |
147.43/147.47 c | 151614 | 9171 57416 194707 | 2147483647 151128 30 | 2.051 % |
147.93/147.94 c | 152024 | 9171 57416 194707 | 2147483647 151538 30 | 2.051 % |
148.73/148.71 c | 152473 | 9171 57416 194707 | 2147483647 151987 30 | 2.051 % |
149.23/149.26 c | 152966 | 9171 57416 194707 | 2147483647 152480 30 | 2.051 % |
149.83/149.88 c | 153508 | 9171 57416 194707 | 2147483647 153022 30 | 2.051 % |
150.63/150.68 c | 154104 | 9171 57416 194707 | 2147483647 153618 30 | 2.051 % |
151.43/151.46 c | 154759 | 9171 57416 194707 | 2147483647 154273 30 | 2.051 % |
152.43/152.46 c | 155479 | 9171 57416 194707 | 2147483647 154993 30 | 2.051 % |
153.43/153.49 c | 156273 | 9171 57416 194707 | 2147483647 155787 30 | 2.051 % |
154.53/154.58 c | 157144 | 9171 57416 194707 | 2147483647 156658 30 | 2.051 % |
156.13/156.13 c | 158102 | 9171 57416 194707 | 2147483647 157616 30 | 2.051 % |
157.53/157.57 c | 159155 | 9171 57416 194707 | 2147483647 158669 30 | 2.051 % |
159.03/159.08 c | 160313 | 9171 57416 194707 | 159515 159827 30 | 2.051 % |
161.63/161.66 c | 161587 | 9171 57416 194707 | 159515 144105 29 | 2.051 % |
163.43/163.50 c | 162987 | 9171 57416 194707 | 159515 145505 29 | 2.051 % |
165.63/165.68 c | 164527 | 9171 57416 194707 | 159515 147045 29 | 2.051 % |
168.13/168.20 c | 166221 | 9171 57416 194707 | 159515 148739 29 | 2.051 % |
168.33/168.33 c | 166322 | 9171 57416 194707 | 159515 148840 29 | 2.051 % |
168.43/168.50 c | 166433 | 9171 57416 194707 | 159515 148951 29 | 2.051 % |
168.63/168.66 c | 166554 | 9171 57416 194707 | 159515 149072 29 | 2.051 % |
168.83/168.86 c | 166687 | 9171 57416 194707 | 159515 149205 29 | 2.051 % |
169.03/169.08 c | 166835 | 9171 57416 194707 | 159515 149353 29 | 2.051 % |
169.33/169.35 c | 166997 | 9171 57416 194707 | 159515 149515 29 | 2.051 % |
169.53/169.57 c | 167175 | 9171 57416 194707 | 159515 149693 29 | 2.051 % |
169.83/169.84 c | 167370 | 9171 57416 194707 | 159515 149888 29 | 2.051 % |
170.13/170.19 c | 167582 | 9171 57416 194707 | 159515 150100 29 | 2.051 % |
170.93/170.92 c | 167815 | 9171 57416 194707 | 159515 150333 29 | 2.051 % |
171.43/171.48 c | 168073 | 9171 57416 194707 | 159515 150591 29 | 2.051 % |
172.03/172.04 c | 168354 | 9171 57416 194707 | 159515 150872 29 | 2.051 % |
172.53/172.52 c | 168665 | 9171 57416 194707 | 159515 151183 29 | 2.051 % |
173.13/173.16 c | 169006 | 9171 57416 194707 | 159515 151524 29 | 2.051 % |
174.43/174.43 c | 169378 | 9171 57416 194707 | 159515 151896 29 | 2.051 % |
175.23/175.27 c | 169788 | 9169 57396 194645 | 159515 152303 29 | 2.072 % |
175.63/175.70 c | 170237 | 9169 57396 194645 | 2147483647 152752 29 | 2.072 % |
176.13/176.18 c | 170730 | 9169 57396 194645 | 2147483647 153245 29 | 2.072 % |
176.93/176.97 c | 171272 | 9169 57396 194645 | 2147483647 153787 29 | 2.072 % |
177.63/177.67 c | 171868 | 9169 57396 194645 | 2147483647 154383 29 | 2.072 % |
178.43/178.50 c | 172524 | 9169 57396 194645 | 2147483647 155039 29 | 2.072 % |
179.83/179.84 c | 173244 | 9169 57396 194645 | 2147483647 155759 29 | 2.072 % |
181.13/181.12 c | 174038 | 9169 57396 194645 | 2147483647 156553 29 | 2.072 % |
182.33/182.35 c | 174910 | 9169 57396 194645 | 2147483647 157425 29 | 2.072 % |
183.74/183.73 c | 175868 | 9169 57396 194645 | 2147483647 158383 29 | 2.072 % |
185.13/185.17 c | 176924 | 9168 57396 194645 | 2147483647 159438 29 | 2.083 % |
186.23/186.28 c | 178083 | 9168 57396 194645 | 2147483647 160597 29 | 2.083 % |
187.83/187.86 c | 179356 | 9168 57396 194645 | 2147483647 161870 29 | 2.083 % |
189.33/189.36 c | 180756 | 9168 57396 194645 | 2147483647 163270 29 | 2.083 % |
190.83/190.88 c | 182296 | 9168 57392 194635 | 2147483647 164806 29 | 2.083 % |
192.63/192.62 c | 183990 | 9168 57392 194635 | 2147483647 166500 29 | 2.083 % |
194.63/194.69 c | 185853 | 9168 57392 194635 | 2147483647 168363 29 | 2.083 % |
194.74/194.79 c | 185956 | 9168 57392 194635 | 2147483647 168466 29 | 2.083 % |
194.83/194.90 c | 186066 | 9168 57392 194635 | 2147483647 168576 29 | 2.083 % |
195.23/195.28 c | 186188 | 9168 57392 194635 | 2147483647 168698 29 | 2.083 % |
195.53/195.54 c | 186322 | 9168 57392 194635 | 2147483647 168832 29 | 2.083 % |
195.84/195.87 c | 186470 | 9168 57392 194635 | 2147483647 168980 29 | 2.083 % |
196.23/196.26 c | 186630 | 9168 57392 194635 | 2147483647 169140 29 | 2.083 % |
196.43/196.44 c | 186807 | 9168 57392 194635 | 2147483647 169317 29 | 2.083 % |
196.63/196.61 c | 187002 | 9168 57392 194635 | 2147483647 169512 29 | 2.083 % |
196.83/196.90 c | 187214 | 9168 57392 194635 | 2147483647 169724 29 | 2.083 % |
197.13/197.17 c | 187447 | 9168 57392 194635 | 2147483647 169957 29 | 2.083 % |
197.43/197.49 c | 187704 | 9168 57392 194635 | 2147483647 170214 29 | 2.083 % |
197.83/197.84 c | 187985 | 9168 57392 194635 | 2147483647 170495 29 | 2.083 % |
198.23/198.30 c | 188294 | 9168 57392 194635 | 2147483647 170804 29 | 2.083 % |
198.83/198.86 c | 188633 | 9168 57392 194635 | 2147483647 171143 29 | 2.083 % |
199.33/199.41 c | 189005 | 9168 57392 194635 | 2147483647 171515 29 | 2.083 % |
200.33/200.33 c | 189414 | 9168 57392 194635 | 2147483647 171924 29 | 2.083 % |
201.13/201.21 c | 189864 | 9168 57392 194635 | 2147483647 172374 29 | 2.083 % |
202.03/202.08 c | 190358 | 9168 57392 194635 | 172510 172868 29 | 2.083 % |
204.13/204.11 c | 190900 | 9168 57392 194635 | 172510 154901 30 | 2.083 % |
205.13/205.17 c | 191496 | 9168 57392 194635 | 172510 155497 30 | 2.083 % |
206.13/206.16 c | 192151 | 9168 57392 194635 | 172510 156152 30 | 2.083 % |
206.84/206.87 c | 192871 | 9168 57392 194635 | 172510 156872 30 | 2.083 % |
207.63/207.68 c | 193665 | 9168 57392 194635 | 172510 157666 30 | 2.083 % |
208.73/208.76 c | 194536 | 9168 57392 194635 | 172510 158537 30 | 2.083 % |
211.43/211.41 c | 195494 | 9168 57392 194635 | 172510 159495 30 | 2.083 % |
212.83/212.88 c | 196547 | 9168 57392 194635 | 172510 160548 30 | 2.083 % |
214.93/214.95 c | 197707 | 9168 57392 194635 | 172510 161708 30 | 2.083 % |
216.63/216.67 c | 198980 | 9168 57392 194635 | 172510 162981 29 | 2.083 % |
218.53/218.56 c | 200381 | 9168 57392 194635 | 164002 164382 29 | 2.083 % |
221.83/221.87 c | 201921 | 9168 57392 194635 | 164002 142656 29 | 2.083 % |
223.93/223.92 c | 203615 | 9168 57392 194635 | 164002 144350 29 | 2.083 % |
226.53/226.56 c | 205480 | 9168 57392 194635 | 164002 146215 29 | 2.083 % |
230.43/230.50 c | 207529 | 9168 57392 194635 | 164002 148264 29 | 2.083 % |
230.83/230.87 c | 207630 | 9168 57392 194635 | 164002 148365 29 | 2.083 % |
231.13/231.14 c | 207741 | 9168 57392 194635 | 164002 148476 29 | 2.083 % |
231.43/231.42 c | 207862 | 9167 57378 194591 | 164002 148595 29 | 2.094 % |
231.73/231.71 c | 207996 | 9167 57378 194591 | 164002 148729 29 | 2.093 % |
232.03/232.06 c | 208143 | 9167 57378 194591 | 164002 148876 29 | 2.093 % |
232.34/232.41 c | 208303 | 9167 57378 194591 | 164002 149036 29 | 2.093 % |
232.74/232.79 c | 208479 | 9167 57378 194591 | 164002 149212 29 | 2.093 % |
232.94/233.01 c | 208672 | 9167 57378 194591 | 164002 149405 29 | 2.094 % |
233.14/233.18 c | 208884 | 9167 57378 194591 | 164002 149617 29 | 2.093 % |
233.34/233.39 c | 209117 | 9167 57378 194591 | 164002 149850 29 | 2.093 % |
233.74/233.76 c | 209374 | 9167 57378 194591 | 164002 150107 29 | 2.093 % |
234.04/234.10 c | 209656 | 9167 57378 194591 | 164002 150389 29 | 2.093 % |
234.44/234.44 c | 209966 | 9167 57378 194591 | 164002 150699 29 | 2.093 % |
234.74/234.79 c | 210305 | 9167 57378 194591 | 2147483647 151038 29 | 2.093 % |
235.14/235.20 c | 210678 | 9167 57378 194591 | 2147483647 151411 29 | 2.093 % |
235.74/235.76 c | 211088 | 9167 57378 194591 | 2147483647 151821 29 | 2.093 % |
236.44/236.45 c | 211537 | 9167 57378 194591 | 2147483647 152270 29 | 2.094 % |
237.94/237.92 c | 212030 | 9167 57378 194591 | 2147483647 152763 29 | 2.094 % |
238.54/238.59 c | 212572 | 9167 57378 194591 | 2147483647 153305 29 | 2.094 % |
239.14/239.19 c | 213169 | 9167 57378 194591 | 2147483647 153902 29 | 2.093 % |
239.94/239.94 c | 213824 | 9166 57378 194591 | 2147483647 154556 29 | 2.105 % |
240.64/240.68 c | 214546 | 9166 57378 194591 | 2147483647 155278 29 | 2.105 % |
242.64/242.68 c | 215339 | 9166 57378 194591 | 2147483647 156071 29 | 2.105 % |
244.04/244.10 c | 216211 | 9166 57378 194591 | 2147483647 156943 29 | 2.104 % |
245.14/245.22 c | 217169 | 9166 57370 194567 | 2147483647 157900 29 | 2.104 % |
246.14/246.12 c | 218223 | 9166 57370 194567 | 2147483647 158954 29 | 2.104 % |
247.44/247.44 c | 219381 | 9166 57370 194567 | 2147483647 160112 29 | 2.104 % |
249.24/249.24 c | 220654 | 9166 57370 194567 | 2147483647 161385 29 | 2.104 % |
251.04/251.05 c | 222056 | 9166 57370 194567 | 2147483647 162787 29 | 2.104 % |
253.24/253.31 c | 223597 | 9166 57370 194567 | 2147483647 164328 29 | 2.104 % |
256.04/256.03 c | 225292 | 9166 57370 194567 | 2147483647 166023 29 | 2.105 % |
259.24/259.30 c | 227156 | 9166 57370 194567 | 2147483647 167887 29 | 2.104 % |
262.14/262.16 c | 229205 | 9166 57370 194567 | 2147483647 169936 29 | 2.104 % |
265.74/265.79 c | 231459 | 9166 57370 194567 | 170733 172190 29 | 2.104 % |
267.24/267.22 c | 231561 | 9166 57370 194567 | 170733 148889 28 | 2.104 % |
267.54/267.59 c | 231673 | 9166 57370 194567 | 170733 149001 28 | 2.105 % |
267.94/267.94 c | 231794 | 9166 57370 194567 | 170733 149122 28 | 2.104 % |
268.24/268.28 c | 231929 | 9164 57353 194510 | 170733 149250 28 | 2.125 % |
268.64/268.65 c | 232075 | 9164 57353 194510 | 170733 149396 28 | 2.126 % |
268.84/268.85 c | 232235 | 9164 57353 194510 | 170733 149556 28 | 2.126 % |
269.04/269.11 c | 232411 | 9164 57353 194510 | 170733 149732 28 | 2.126 % |
269.44/269.48 c | 232604 | 9164 57353 194510 | 170733 149925 28 | 2.126 % |
269.84/269.85 c | 232817 | 9164 57353 194510 | 170733 150138 28 | 2.125 % |
270.14/270.21 c | 233052 | 9164 57353 194510 | 170733 150373 28 | 2.125 % |
270.54/270.59 c | 233308 | 9164 57353 194510 | 170733 150629 28 | 2.126 % |
270.84/270.91 c | 233589 | 9164 57353 194510 | 170733 150910 28 | 2.125 % |
271.44/271.44 c | 233899 | 9164 57353 194510 | 170733 151220 28 | 2.126 % |
272.04/272.05 c | 234238 | 9164 57353 194510 | 170733 151559 28 | 2.126 % |
272.74/272.79 c | 234610 | 9164 57353 194510 | 170733 151931 28 | 2.126 % |
273.44/273.46 c | 235022 | 9164 57353 194510 | 170733 152343 28 | 2.126 % |
274.44/274.47 c | 235471 | 9164 57353 194510 | 170733 152792 28 | 2.126 % |
275.04/275.09 c | 235964 | 9164 57353 194510 | 170733 153285 28 | 2.125 % |
276.04/276.02 c | 236506 | 9164 57353 194510 | 170733 153827 28 | 2.126 % |
276.94/276.92 c | 237103 | 9164 57353 194510 | 170733 154424 28 | 2.126 % |
277.94/277.99 c | 237758 | 9164 57353 194510 | 170733 155079 28 | 2.125 % |
279.14/279.13 c | 238479 | 9164 57353 194510 | 170733 155800 28 | 2.125 % |
280.14/280.19 c | 239271 | 9164 57353 194510 | 170733 156592 28 | 2.126 % |
281.34/281.34 c | 240143 | 9164 57353 194510 | 157321 157464 28 | 2.126 % |
282.54/282.57 c | 241102 | 9164 57353 194510 | 157321 158423 28 | 2.125 % |
284.74/284.79 c | 242156 | 9164 57353 194510 | 157321 137529 28 | 2.125 % |
286.24/286.28 c | 243314 | 9164 57353 194510 | 157321 138687 28 | 2.125 % |
287.84/287.89 c | 244587 | 9164 57353 194510 | 157321 139960 28 | 2.126 % |
290.34/290.32 c | 245987 | 9164 57353 194510 | 157321 141360 28 | 2.126 % |
291.74/291.80 c | 247528 | 9164 57353 194510 | 157321 142901 28 | 2.125 % |
294.04/294.08 c | 249223 | 9164 57353 194510 | 157321 144596 28 | 2.126 % |
296.64/296.63 c | 251087 | 9164 57353 194510 | 145373 146460 28 | 2.125 % |
300.24/300.29 c | 253137 | 9164 57353 194510 | 145373 128232 27 | 2.126 % |
303.44/303.42 c | 255390 | 9164 57353 194510 | 145373 130485 27 | 2.126 % |
306.04/306.10 c | 257869 | 9164 57353 194510 | 145373 132964 27 | 2.126 % |
306.14/306.20 c | 257969 | 9164 57353 194510 | 145373 133064 27 | 2.126 % |
306.34/306.39 c | 258080 | 9164 57353 194510 | 145373 133175 27 | 2.126 % |
306.64/306.62 c | 258202 | 9164 57353 194510 | 145373 133297 27 | 2.126 % |
306.74/306.81 c | 258335 | 9164 57353 194510 | 145373 133430 27 | 2.126 % |
306.95/307.00 c | 258481 | 9164 57353 194510 | 145373 133576 27 | 2.126 % |
307.24/307.22 c | 258641 | 9164 57353 194510 | 145373 133736 27 | 2.126 % |
307.44/307.46 c | 258817 | 9164 57353 194510 | 145373 133912 27 | 2.126 % |
307.74/307.73 c | 259011 | 9164 57353 194510 | 145373 134106 27 | 2.126 % |
308.05/308.03 c | 259225 | 9164 57353 194510 | 145373 134320 27 | 2.126 % |
308.34/308.34 c | 259458 | 9164 57353 194510 | 145373 134553 27 | 2.126 % |
308.74/308.80 c | 259715 | 9161 57294 194301 | 145373 134804 27 | 2.157 % |
309.34/309.39 c | 259998 | 9161 57294 194301 | 145373 135087 27 | 2.158 % |
309.64/309.68 c | 260307 | 9161 57294 194301 | 135089 135396 27 | 2.158 % |
310.84/310.89 c | 260646 | 9161 57294 194301 | 135089 120610 27 | 2.157 % |
311.24/311.22 c | 261019 | 9161 57294 194301 | 135089 120983 27 | 2.157 % |
311.54/311.57 c | 261429 | 9161 57294 194301 | 135089 121393 27 | 2.157 % |
312.04/312.03 c | 261879 | 9159 57294 194301 | 135089 121842 27 | 2.179 % |
312.74/312.80 c | 262372 | 9158 57294 194301 | 135089 122334 27 | 2.190 % |
313.34/313.34 c | 262916 | 9158 57294 194301 | 135089 122878 27 | 2.190 % |
313.94/313.98 c | 263512 | 9158 57294 194301 | 135089 123474 27 | 2.189 % |
314.84/314.89 c | 264167 | 9158 57294 194301 | 135089 124129 27 | 2.190 % |
315.75/315.75 c | 264889 | 9158 57294 194301 | 135089 124851 27 | 2.190 % |
316.64/316.69 c | 265681 | 9158 57294 194301 | 135089 125643 27 | 2.189 % |
318.04/318.06 c | 266553 | 9158 57294 194301 | 135089 126515 27 | 2.190 % |
319.05/319.05 c | 267513 | 9158 57294 194301 | 135089 127475 27 | 2.189 % |
320.24/320.30 c | 268568 | 9157 57294 194301 | 135089 128529 27 | 2.200 % |
321.44/321.48 c | 269726 | 9157 57294 194301 | 135089 129687 27 | 2.200 % |
322.94/322.97 c | 271000 | 9157 57254 194178 | 129958 130957 27 | 2.200 % |
324.94/324.96 c | 272401 | 9157 57254 194178 | 129958 117306 26 | 2.200 % |
326.44/326.45 c | 273941 | 9157 57254 194178 | 129958 118846 26 | 2.200 % |
328.34/328.36 c | 275635 | 9157 57254 194178 | 129958 120540 27 | 2.200 % |
330.24/330.24 c | 277498 | 9157 57254 194178 | 129958 122403 27 | 2.200 % |
332.34/332.31 c | 279547 | 9157 57254 194178 | 129958 124452 27 | 2.201 % |
335.24/335.24 c | 281800 | 9156 57254 194178 | 124905 126704 27 | 2.211 % |
339.04/339.05 c | 284278 | 9156 57246 194151 | 124905 113913 26 | 2.211 % |
342.64/342.65 c | 287006 | 9156 57246 194151 | 124905 116641 26 | 2.211 % |
342.94/342.94 c | 287108 | 9156 57246 194151 | 124905 116743 26 | 2.211 % |
343.14/343.17 c | 287218 | 9156 57246 194151 | 124905 116853 26 | 2.211 % |
343.34/343.36 c | 287341 | 9156 57246 194151 | 124905 116976 26 | 2.211 % |
343.54/343.56 c | 287474 | 9156 57246 194151 | 124905 117109 26 | 2.211 % |
343.74/343.78 c | 287620 | 9156 57246 194151 | 124905 117255 26 | 2.211 % |
343.94/344.00 c | 287780 | 9156 57246 194151 | 124905 117415 26 | 2.211 % |
344.24/344.25 c | 287956 | 9156 57246 194151 | 124905 117591 26 | 2.211 % |
344.44/344.47 c | 288149 | 9156 57246 194151 | 124905 117784 26 | 2.211 % |
344.64/344.71 c | 288363 | 9156 57246 194151 | 124905 117998 26 | 2.211 % |
345.04/345.02 c | 288597 | 9156 57246 194151 | 124905 118232 26 | 2.211 % |
345.24/345.30 c | 288855 | 9156 57246 194151 | 124905 118490 26 | 2.211 % |
345.64/345.61 c | 289136 | 9156 57246 194151 | 124905 118771 26 | 2.211 % |
345.94/345.97 c | 289446 | 9156 57246 194151 | 124905 119081 26 | 2.211 % |
346.34/346.35 c | 289785 | 9156 57246 194151 | 124905 119420 26 | 2.211 % |
346.84/346.88 c | 290157 | 9156 57246 194151 | 2147483647 119792 26 | 2.211 % |
347.54/347.54 c | 290566 | 9156 57246 194151 | 2147483647 120201 26 | 2.211 % |
348.04/348.04 c | 291015 | 9156 57246 194151 | 2147483647 120650 26 | 2.211 % |
348.84/348.81 c | 291511 | 9155 57238 194127 | 2147483647 121143 26 | 2.222 % |
349.34/349.38 c | 292053 | 9155 57238 194127 | 2147483647 121685 26 | 2.222 % |
350.24/350.27 c | 292650 | 9155 57238 194127 | 2147483647 122282 26 | 2.222 % |
351.04/351.05 c | 293305 | 9155 57238 194127 | 2147483647 122937 26 | 2.222 % |
351.84/351.86 c | 294026 | 9155 57238 194127 | 2147483647 123658 26 | 2.222 % |
352.74/352.74 c | 294818 | 9155 57238 194127 | 2147483647 124450 26 | 2.222 % |
353.84/353.82 c | 295691 | 9155 57238 194127 | 2147483647 125323 26 | 2.222 % |
354.94/354.98 c | 296649 | 9155 57238 194127 | 2147483647 126281 26 | 2.222 % |
356.14/356.14 c | 297703 | 9155 57238 194127 | 2147483647 127335 26 | 2.222 % |
357.45/357.50 c | 298861 | 9155 57238 194127 | 2147483647 128493 26 | 2.222 % |
359.05/359.10 c | 300134 | 9155 57238 194127 | 129633 129766 26 | 2.222 % |
360.85/360.88 c | 301534 | 9155 57238 194127 | 129633 131166 26 | 2.222 % |
363.65/363.66 c | 303074 | 9155 57238 194127 | 129633 118276 26 | 2.222 % |
365.45/365.49 c | 304768 | 9155 57238 194127 | 129633 119970 26 | 2.222 % |
367.75/367.81 c | 306631 | 9155 57238 194127 | 129633 121833 26 | 2.222 % |
370.25/370.29 c | 308680 | 9154 57229 194097 | 129633 123881 26 | 2.232 % |
372.95/372.95 c | 310935 | 9154 57229 194097 | 2147483647 126136 26 | 2.232 % |
375.85/375.83 c | 313414 | 9154 57229 194097 | 2147483647 128615 26 | 2.233 % |
379.85/379.90 c | 316139 | 9153 57188 193956 | 2147483647 131338 26 | 2.243 % |
384.85/384.87 c | 319136 | 9153 57188 193956 | 2147483647 134335 26 | 2.243 % |
385.05/385.09 c | 319237 | 9153 57188 193956 | 2147483647 134436 26 | 2.243 % |
385.25/385.26 c | 319347 | 9153 57188 193956 | 2147483647 134546 26 | 2.243 % |
385.35/385.41 c | 319469 | 9153 57188 193956 | 2147483647 134668 26 | 2.243 % |
385.55/385.58 c | 319603 | 9153 57188 193956 | 2147483647 134802 26 | 2.243 % |
385.75/385.77 c | 319750 | 9153 57188 193956 | 2147483647 134949 26 | 2.243 % |
385.95/386.00 c | 319910 | 9153 57188 193956 | 2147483647 135109 26 | 2.243 % |
386.25/386.27 c | 320087 | 9153 57188 193956 | 2147483647 135286 26 | 2.243 % |
386.45/386.51 c | 320280 | 9153 57188 193956 | 2147483647 135479 26 | 2.243 % |
386.75/386.73 c | 320493 | 9153 57188 193956 | 2147483647 135692 26 | 2.243 % |
386.95/387.02 c | 320727 | 9153 57188 193956 | 2147483647 135926 26 | 2.243 % |
387.35/387.33 c | 320983 | 9153 57188 193956 | 2147483647 136182 26 | 2.243 % |
387.75/387.73 c | 321264 | 9153 57188 193956 | 2147483647 136463 26 | 2.243 % |
388.25/388.24 c | 321574 | 9153 57188 193956 | 2147483647 136773 26 | 2.243 % |
388.65/388.65 c | 321913 | 9153 57188 193956 | 2147483647 137112 26 | 2.243 % |
389.05/389.07 c | 322285 | 9153 57188 193956 | 2147483647 137484 26 | 2.243 % |
389.55/389.61 c | 322694 | 9153 57188 193956 | 2147483647 137893 26 | 2.243 % |
390.25/390.31 c | 323144 | 9153 57188 193956 | 2147483647 138343 26 | 2.243 % |
390.95/390.96 c | 323637 | 9153 57188 193956 | 2147483647 138836 26 | 2.243 % |
392.55/392.58 c | 324182 | 9153 57188 193956 | 2147483647 139381 26 | 2.243 % |
393.75/393.72 c | 324778 | 9153 57188 193956 | 2147483647 139977 26 | 2.243 % |
394.45/394.44 c | 325434 | 9153 57188 193956 | 2147483647 140633 26 | 2.243 % |
395.25/395.22 c | 326154 | 9153 57188 193956 | 2147483647 141353 26 | 2.243 % |
396.05/396.07 c | 326946 | 9153 57188 193956 | 2147483647 142145 26 | 2.243 % |
396.95/397.00 c | 327817 | 9153 57188 193956 | 2147483647 143016 26 | 2.243 % |
398.15/398.12 c | 328776 | 9153 57188 193956 | 2147483647 143975 26 | 2.243 % |
399.65/399.65 c | 329831 | 9153 57188 193956 | 2147483647 145030 26 | 2.243 % |
401.25/401.22 c | 330989 | 9152 57182 193938 | 145199 146187 26 | 2.254 % |
403.45/403.48 c | 332262 | 9152 57182 193938 | 145199 132842 26 | 2.254 % |
405.15/405.21 c | 333662 | 9152 57182 193938 | 145199 134242 26 | 2.254 % |
407.35/407.38 c | 335203 | 9152 57182 193938 | 145199 135783 26 | 2.254 % |
409.25/409.27 c | 336897 | 9152 57182 193938 | 145199 137477 25 | 2.254 % |
412.14/412.14 c | 338761 | 9152 57182 193938 | 145199 139341 26 | 2.254 % |
414.14/414.19 c | 340810 | 9152 57182 193938 | 140581 141390 26 | 2.254 % |
417.64/417.65 c | 343063 | 9151 57175 193917 | 140581 129502 27 | 2.265 % |
420.24/420.29 c | 345542 | 9150 57175 193917 | 140581 131980 27 | 2.275 % |
423.34/423.36 c | 348267 | 9150 57175 193917 | 140581 134705 27 | 2.275 % |
426.54/426.53 c | 351264 | 9149 57152 193845 | 2147483647 137696 27 | 2.297 % |
429.84/429.82 c | 354561 | 9149 57152 193845 | 2147483647 140993 26 | 2.297 % |
429.94/429.93 c | 354662 | 9149 57152 193845 | 2147483647 141094 26 | 2.296 % |
430.04/430.04 c | 354772 | 9149 57152 193845 | 2147483647 141204 26 | 2.296 % |
430.15/430.18 c | 354895 | 9149 57152 193845 | 2147483647 141327 26 | 2.296 % |
430.34/430.33 c | 355028 | 9149 57152 193845 | 2147483647 141460 26 | 2.296 % |
430.54/430.53 c | 355174 | 9149 57152 193845 | 2147483647 141606 26 | 2.296 % |
430.64/430.68 c | 355336 | 9149 57152 193845 | 2147483647 141768 26 | 2.297 % |
430.74/430.81 c | 355512 | 9149 57152 193845 | 2147483647 141944 26 | 2.297 % |
430.94/431.00 c | 355706 | 9148 57152 193845 | 2147483647 142138 26 | 2.297 % |
431.34/431.34 c | 355918 | 9148 57152 193845 | 2147483647 142350 26 | 2.296 % |
431.64/431.68 c | 356153 | 9148 57152 193845 | 2147483647 142585 26 | 2.296 % |
432.04/432.07 c | 356410 | 9148 57152 193845 | 2147483647 142842 26 | 2.297 % |
432.64/432.66 c | 356691 | 9148 57152 193845 | 2147483647 143123 26 | 2.297 % |
432.94/433.01 c | 357000 | 9148 57152 193845 | 2147483647 143432 26 | 2.296 % |
433.54/433.53 c | 357339 | 9148 57152 193845 | 2147483647 143771 26 | 2.296 % |
434.04/434.08 c | 357712 | 9148 57152 193845 | 2147483647 144144 26 | 2.297 % |
434.84/434.84 c | 358123 | 9146 57142 193812 | 2147483647 144553 27 | 2.328 % |
435.24/435.23 c | 358573 | 9146 57142 193812 | 2147483647 145003 27 | 2.328 % |
435.84/435.85 c | 359066 | 9146 57142 193812 | 2147483647 145496 27 | 2.329 % |
436.44/436.43 c | 359608 | 9146 57142 193812 | 2147483647 146038 27 | 2.328 % |
437.04/437.02 c | 360205 | 9146 57142 193812 | 2147483647 146635 27 | 2.328 % |
437.74/437.80 c | 360861 | 9146 57142 193812 | 2147483647 147291 26 | 2.328 % |
438.74/438.77 c | 361581 | 9146 57142 193812 | 2147483647 148011 26 | 2.328 % |
439.74/439.78 c | 362374 | 9146 57142 193812 | 2147483647 148804 26 | 2.329 % |
440.74/440.76 c | 363246 | 9146 57142 193812 | 2147483647 149676 26 | 2.328 % |
441.94/441.95 c | 364206 | 9146 57142 193812 | 2147483647 150636 26 | 2.328 % |
443.24/443.31 c | 365260 | 9146 57142 193812 | 2147483647 151690 26 | 2.329 % |
444.64/444.61 c | 366418 | 9146 57142 193812 | 2147483647 152848 26 | 2.328 % |
446.54/446.62 c | 367691 | 9144 57054 193505 | 2147483647 154114 26 | 2.340 % |
447.94/448.00 c | 369091 | 9144 57054 193505 | 2147483647 155514 26 | 2.339 % |
449.54/449.53 c | 370632 | 9143 57054 193505 | 156423 157054 26 | 2.350 % |
453.25/453.27 c | 372326 | 9143 57054 193505 | 156423 136252 26 | 2.350 % |
454.84/454.82 c | 374189 | 9143 57054 193505 | 156423 138115 26 | 2.350 % |
456.74/456.77 c | 376238 | 9140 57054 193505 | 156423 140161 27 | 2.382 % |
460.54/460.51 c | 378491 | 9140 57054 193505 | 156423 142414 27 | 2.382 % |
463.34/463.33 c | 380969 | 9138 57007 193355 | 143915 144883 27 | 2.403 % |
466.64/466.71 c | 383695 | 9138 57007 193355 | 143915 131013 27 | 2.403 % |
468.94/469.00 c | 386692 | 9138 57007 193355 | 143915 134009 27 | 2.414 % |
471.64/471.67 c | 389990 | 9138 57007 193355 | 143915 137307 27 | 2.414 % |
474.44/474.46 c | 393616 | 9137 56984 193283 | 2147483647 140929 27 | 2.414 % |
474.54/474.54 c | 393716 | 9137 56984 193283 | 2147483647 141029 27 | 2.414 % |
474.64/474.64 c | 393827 | 9137 56984 193283 | 2147483647 141140 27 | 2.414 % |
474.74/474.75 c | 393948 | 9137 56984 193283 | 2147483647 141261 27 | 2.414 % |
474.84/474.88 c | 394081 | 9137 56984 193283 | 2147483647 141394 27 | 2.414 % |
475.04/475.08 c | 394228 | 9137 56984 193283 | 2147483647 141541 27 | 2.414 % |
475.34/475.32 c | 394390 | 9137 56984 193283 | 2147483647 141703 27 | 2.414 % |
475.64/475.64 c | 394566 | 9137 56984 193283 | 2147483647 141879 27 | 2.414 % |
475.94/475.97 c | 394761 | 9137 56984 193283 | 2147483647 142074 27 | 2.414 % |
476.04/476.11 c | 394973 | 9137 56984 193283 | 2147483647 142286 27 | 2.414 % |
476.24/476.31 c | 395208 | 9137 56984 193283 | 2147483647 142521 27 | 2.414 % |
476.44/476.50 c | 395464 | 9137 56984 193283 | 2147483647 142777 27 | 2.414 % |
476.64/476.69 c | 395746 | 9137 56984 193283 | 2147483647 143059 27 | 2.414 % |
476.94/476.92 c | 396055 | 9137 56984 193283 | 2147483647 143368 27 | 2.414 % |
477.34/477.39 c | 396395 | 9137 56984 193283 | 2147483647 143708 27 | 2.414 % |
477.74/477.73 c | 396768 | 9137 56984 193283 | 2147483647 144081 27 | 2.414 % |
478.14/478.13 c | 397177 | 9137 56984 193283 | 2147483647 144490 27 | 2.414 % |
478.44/478.51 c | 397626 | 9137 56984 193283 | 2147483647 144939 27 | 2.414 % |
478.94/478.93 c | 398120 | 9137 56984 193283 | 2147483647 145433 27 | 2.414 % |
479.34/479.36 c | 398663 | 9137 56984 193283 | 2147483647 145976 27 | 2.414 % |
479.84/479.86 c | 399259 | 9137 56984 193283 | 2147483647 146572 27 | 2.414 % |
480.94/480.98 c | 399915 | 9137 56984 193283 | 2147483647 147228 28 | 2.414 % |
481.54/481.59 c | 400636 | 9137 56984 193283 | 2147483647 147949 28 | 2.414 % |
482.14/482.19 c | 401428 | 9137 56984 193283 | 2147483647 148741 28 | 2.414 % |
482.95/482.98 c | 402300 | 9137 56984 193283 | 2147483647 149613 28 | 2.414 % |
483.84/483.85 c | 403258 | 9137 56984 193283 | 2147483647 150571 28 | 2.414 % |
485.04/485.06 c | 404312 | 9136 56976 193259 | 2147483647 151622 28 | 2.424 % |
485.84/485.87 c | 405470 | 9136 56976 193259 | 2147483647 152780 28 | 2.425 % |
487.34/487.33 c | 406743 | 9136 56976 193259 | 2147483647 154053 28 | 2.424 % |
488.54/488.59 c | 408143 | 9136 56976 193259 | 2147483647 155453 28 | 2.424 % |
490.34/490.38 c | 409683 | 9135 56976 193259 | 2147483647 156992 28 | 2.435 % |
491.94/491.97 c | 411378 | 9134 56976 193259 | 2147483647 158685 28 | 2.467 % |
494.04/494.05 c | 413242 | 9132 56976 193259 | 2147483647 160549 28 | 2.467 % |
496.64/496.70 c | 415293 | 9131 56913 193047 | 2147483647 162585 28 | 2.478 % |
499.14/499.13 c | 417546 | 9131 56913 193047 | 2147483647 164838 28 | 2.478 % |
501.64/501.66 c | 420025 | 9131 56913 193047 | 2147483647 167317 28 | 2.478 % |
504.34/504.36 c | 422751 | 9129 56913 193047 | 2147483647 170042 29 | 2.499 % |
507.04/507.06 c | 425749 | 9129 56913 193047 | 2147483647 173040 29 | 2.500 % |
510.04/510.10 c | 429045 | 9129 56889 192964 | 2147483647 176332 29 | 2.499 % |
516.64/516.68 c | 432670 | 9129 56889 192964 | 177288 159739 29 | 2.499 % |
521.34/521.35 c | 436659 | 9129 56889 192964 | 177288 163728 30 | 2.500 % |
521.44/521.44 c | 436759 | 9129 56889 192964 | 177288 163828 30 | 2.499 % |
521.54/521.54 c | 436872 | 9129 56889 192964 | 177288 163941 30 | 2.499 % |
521.64/521.70 c | 436993 | 9129 56889 192964 | 177288 164062 30 | 2.499 % |
521.84/521.82 c | 437127 | 9129 56889 192964 | 177288 164196 30 | 2.500 % |
521.94/521.96 c | 437274 | 9129 56889 192964 | 177288 164343 30 | 2.499 % |
522.14/522.14 c | 437434 | 9129 56889 192964 | 177288 164503 30 | 2.499 % |
522.34/522.36 c | 437612 | 9129 56889 192964 | 177288 164681 30 | 2.500 % |
522.74/522.81 c | 437805 | 9129 56889 192964 | 177288 164874 30 | 2.499 % |
523.14/523.15 c | 438018 | 9129 56889 192964 | 177288 165087 30 | 2.500 % |
523.54/523.52 c | 438251 | 9129 56889 192964 | 177288 165320 30 | 2.500 % |
523.74/523.79 c | 438507 | 9129 56889 192964 | 177288 165576 30 | 2.499 % |
524.24/524.25 c | 438789 | 9129 56889 192964 | 177288 165858 30 | 2.500 % |
524.64/524.64 c | 439099 | 9129 56889 192964 | 177288 166168 30 | 2.500 % |
525.14/525.13 c | 439438 | 9129 56889 192964 | 177288 166507 30 | 2.500 % |
525.44/525.44 c | 439810 | 9129 56889 192964 | 177288 166879 30 | 2.499 % |
525.64/525.70 c | 440219 | 9129 56889 192964 | 2147483647 167288 30 | 2.499 % |
526.04/526.09 c | 440668 | 9129 56889 192964 | 2147483647 167737 30 | 2.499 % |
526.44/526.48 c | 441162 | 9129 56889 192964 | 2147483647 168231 30 | 2.500 % |
526.84/526.87 c | 441705 | 9129 56889 192964 | 2147483647 168774 30 | 2.500 % |
527.54/527.57 c | 442304 | 9129 56889 192964 | 2147483647 169373 30 | 2.499 % |
528.24/528.29 c | 442959 | 9129 56889 192964 | 2147483647 170028 30 | 2.500 % |
528.94/528.93 c | 443679 | 9129 56889 192964 | 2147483647 170748 30 | 2.500 % |
529.64/529.65 c | 444471 | 9129 56889 192964 | 2147483647 171540 30 | 2.500 % |
530.54/530.57 c | 445343 | 9129 56889 192964 | 2147483647 172412 30 | 2.499 % |
531.64/531.65 c | 446301 | 9129 56889 192964 | 2147483647 173370 30 | 2.499 % |
532.74/532.72 c | 447354 | 9129 56889 192964 | 2147483647 174423 30 | 2.499 % |
533.94/533.93 c | 448512 | 9129 56889 192964 | 2147483647 175581 30 | 2.499 % |
536.04/536.01 c | 449786 | 9129 56889 192964 | 2147483647 176855 30 | 2.500 % |
537.54/537.54 c | 451188 | 9129 56889 192964 | 2147483647 178257 30 | 2.499 % |
538.94/538.94 c | 452729 | 9129 56889 192964 | 2147483647 179798 30 | 2.500 % |
540.54/540.58 c | 454424 | 9129 56889 192964 | 2147483647 181493 30 | 2.500 % |
542.74/542.72 c | 456290 | 9129 56889 192964 | 2147483647 183359 30 | 2.499 % |
545.04/545.02 c | 458340 | 9129 56889 192964 | 2147483647 185409 30 | 2.499 % |
547.24/547.23 c | 460594 | 9129 56889 192964 | 187069 187663 30 | 2.499 % |
552.94/552.96 c | 463072 | 9129 56889 192964 | 187069 164376 29 | 2.499 % |
556.44/556.44 c | 465797 | 9129 56889 192964 | 187069 167101 29 | 2.500 % |
560.74/560.73 c | 468796 | 9128 56882 192943 | 187069 170098 29 | 2.510 % |
566.44/566.42 c | 472092 | 9121 56882 192943 | 171298 149241 30 | 2.617 % |
570.04/570.02 c | 475718 | 9121 56882 192943 | 171298 152867 30 | 2.617 % |
574.14/574.11 c | 479705 | 9121 56882 192943 | 171298 156854 29 | 2.617 % |
581.24/581.26 c | 484092 | 9117 56685 192285 | 157149 135635 30 | 2.628 % |
581.34/581.38 c | 484196 | 9117 56685 192285 | 157149 135739 30 | 2.627 % |
581.54/581.53 c | 484307 | 9117 56685 192285 | 157149 135850 30 | 2.627 % |
581.64/581.67 c | 484428 | 9116 56685 192285 | 157149 135970 30 | 2.638 % |
581.84/581.86 c | 484563 | 9116 56685 192285 | 157149 136105 30 | 2.638 % |
582.04/582.04 c | 484709 | 9116 56685 192285 | 157149 136251 30 | 2.638 % |
582.24/582.24 c | 484869 | 9116 56685 192285 | 157149 136411 30 | 2.638 % |
582.44/582.41 c | 485046 | 9116 56685 192285 | 157149 136588 30 | 2.638 % |
582.64/582.61 c | 485240 | 9116 56685 192285 | 157149 136782 30 | 2.638 % |
582.84/582.81 c | 485453 | 9116 56685 192285 | 157149 136995 30 | 2.638 % |
583.05/583.03 c | 485687 | 9116 56685 192285 | 157149 137229 30 | 2.639 % |
583.34/583.32 c | 485944 | 9116 56685 192285 | 157149 137486 30 | 2.638 % |
583.64/583.67 c | 486225 | 9116 56685 192285 | 157149 137767 30 | 2.639 % |
584.04/584.04 c | 486535 | 9116 56685 192285 | 157149 138077 30 | 2.638 % |
584.15/584.16 c | 486874 | 9116 56685 192285 | 157149 138416 30 | 2.638 % |
584.64/584.66 c | 487247 | 9116 56685 192285 | 157149 138789 30 | 2.638 % |
585.44/585.41 c | 487656 | 9116 56685 192285 | 157149 139198 30 | 2.638 % |
585.84/585.86 c | 488105 | 9115 56685 192285 | 157149 139646 30 | 2.681 % |
586.24/586.27 c | 488598 | 9115 56685 192285 | 157149 140139 30 | 2.681 % |
586.74/586.80 c | 489140 | 9112 56685 192285 | 157149 140681 30 | 2.681 % |
587.54/587.53 c | 489736 | 9112 56685 192285 | 157149 141277 30 | 2.681 % |
587.94/587.97 c | 490392 | 9112 56685 192285 | 2147483647 141933 30 | 2.681 % |
588.44/588.46 c | 491112 | 9112 56685 192285 | 2147483647 142653 30 | 2.681 % |
589.04/589.09 c | 491905 | 9112 56685 192285 | 2147483647 143446 30 | 2.681 % |
589.74/589.77 c | 492778 | 9112 56685 192285 | 2147483647 144319 30 | 2.681 % |
590.54/590.51 c | 493736 | 9112 56685 192285 | 2147483647 145277 30 | 2.681 % |
591.54/591.51 c | 494790 | 9112 56639 192139 | 2147483647 146323 30 | 2.681 % |
592.44/592.44 c | 495948 | 9112 56639 192139 | 2147483647 147481 30 | 2.681 % |
593.54/593.56 c | 497221 | 9112 56639 192139 | 2147483647 148754 30 | 2.681 % |
595.24/595.23 c | 498623 | 9112 56639 192139 | 2147483647 150156 30 | 2.681 % |
597.44/597.42 c | 500164 | 9112 56639 192139 | 151534 151697 30 | 2.681 % |
598.74/598.80 c | 501861 | 9112 56639 192139 | 151534 153394 30 | 2.681 % |
601.14/601.11 c | 503724 | 9112 56639 192139 | 151534 135507 30 | 2.681 % |
602.94/602.94 c | 505773 | 9112 56639 192139 | 151534 137556 30 | 2.681 % |
604.94/604.92 c | 508029 | 9112 56639 192139 | 151534 139812 30 | 2.681 % |
607.74/607.75 c | 510509 | 9111 56629 192106 | 2147483647 142288 30 | 2.691 % |
610.85/610.87 c | 513234 | 9111 56629 192106 | 2147483647 145013 30 | 2.692 % |
614.45/614.47 c | 516233 | 9111 56629 192106 | 2147483647 148012 30 | 2.692 % |
618.05/618.10 c | 519530 | 9111 56629 192106 | 2147483647 151309 29 | 2.692 % |
622.45/622.48 c | 523155 | 9111 56629 192106 | 151781 154934 29 | 2.692 % |
628.05/628.05 c | 527142 | 9110 56616 192063 | 151781 138904 28 | 2.702 % |
631.55/631.57 c | 531528 | 9110 56616 192063 | 2147483647 143290 29 | 2.702 % |
635.75/635.73 c | 536351 | 9110 56616 192063 | 2147483647 148113 29 | 2.703 % |
635.85/635.85 c | 536451 | 9110 56616 192063 | 2147483647 148213 29 | 2.702 % |
635.95/635.98 c | 536563 | 9110 56616 192063 | 2147483647 148325 29 | 2.703 % |
636.15/636.19 c | 536684 | 9110 56616 192063 | 2147483647 148446 29 | 2.702 % |
636.35/636.36 c | 536818 | 9110 56616 192063 | 2147483647 148580 29 | 2.703 % |
636.55/636.53 c | 536964 | 9109 56616 192063 | 2147483647 148725 29 | 2.713 % |
636.75/636.72 c | 537124 | 9109 56616 192063 | 2147483647 148885 29 | 2.713 % |
636.85/636.89 c | 537301 | 9109 56616 192063 | 2147483647 149062 29 | 2.713 % |
637.05/637.07 c | 537496 | 9109 56616 192063 | 2147483647 149257 29 | 2.713 % |
637.25/637.29 c | 537709 | 9109 56608 192036 | 2147483647 149465 29 | 2.713 % |
637.45/637.49 c | 537944 | 9109 56608 192036 | 2147483647 149700 29 | 2.713 % |
637.65/637.71 c | 538200 | 9109 56608 192036 | 2147483647 149956 29 | 2.713 % |
637.95/637.92 c | 538481 | 9109 56608 192036 | 2147483647 150237 29 | 2.713 % |
638.25/638.24 c | 538791 | 9109 56608 192036 | 2147483647 150547 29 | 2.713 % |
638.55/638.57 c | 539131 | 9109 56608 192036 | 2147483647 150887 29 | 2.713 % |
638.95/638.94 c | 539505 | 9109 56608 192036 | 2147483647 151261 29 | 2.713 % |
639.55/639.53 c | 539915 | 9109 56608 192036 | 2147483647 151671 29 | 2.713 % |
640.25/640.23 c | 540364 | 9109 56608 192036 | 2147483647 152119 29 | 2.723 % |
640.65/640.70 c | 540857 | 9108 56608 192036 | 2147483647 152612 29 | 2.723 % |
641.05/641.08 c | 541399 | 9108 56608 192036 | 2147483647 153154 29 | 2.724 % |
641.45/641.48 c | 541995 | 9108 56608 192036 | 2147483647 153750 29 | 2.724 % |
641.95/642.01 c | 542651 | 9108 56608 192036 | 2147483647 154406 29 | 2.723 % |
642.65/642.65 c | 543372 | 9108 56608 192036 | 2147483647 155127 29 | 2.724 % |
643.35/643.32 c | 544164 | 9108 56608 192036 | 2147483647 155919 29 | 2.723 % |
643.95/643.96 c | 545037 | 9108 56608 192036 | 2147483647 156792 29 | 2.724 % |
645.45/645.48 c | 545995 | 9108 56608 192036 | 2147483647 157750 29 | 2.724 % |
646.75/646.77 c | 547049 | 9108 56608 192036 | 2147483647 158804 29 | 2.723 % |
648.65/648.67 c | 548208 | 9108 56608 192036 | 2147483647 159963 29 | 2.724 % |
649.95/649.97 c | 549481 | 9108 56597 192002 | 2147483647 161234 29 | 2.724 % |
651.05/651.06 c | 550883 | 9108 56597 192002 | 2147483647 162636 29 | 2.724 % |
652.65/652.62 c | 552424 | 9108 56597 192002 | 2147483647 164177 29 | 2.723 % |
654.45/654.46 c | 554119 | 9107 56597 192002 | 2147483647 165871 29 | 2.734 % |
655.95/656.01 c | 555982 | 9107 56597 192002 | 2147483647 167734 29 | 2.735 % |
658.25/658.29 c | 558031 | 9107 56597 192002 | 2147483647 169783 29 | 2.734 % |
661.45/661.46 c | 560284 | 9107 56597 192002 | 171753 172036 29 | 2.734 % |
664.85/664.86 c | 562763 | 9107 56588 191972 | 171753 151296 29 | 2.735 % |
669.05/669.01 c | 565490 | 9107 56588 191972 | 171753 154023 29 | 2.734 % |
671.75/671.81 c | 568487 | 9107 56588 191972 | 171753 157020 29 | 2.734 % |
675.65/675.65 c | 571783 | 9107 56588 191972 | 158533 160316 29 | 2.734 % |
679.15/679.18 c | 575409 | 9107 56588 191972 | 158533 146398 29 | 2.735 % |
684.65/684.66 c | 579396 | 9106 56581 191951 | 158533 150384 29 | 2.745 % |
689.25/689.23 c | 583781 | 9104 56581 191951 | 2147483647 154767 29 | 2.766 % |
693.25/693.23 c | 588604 | 9103 56581 191951 | 2147483647 159589 29 | 2.777 % |
700.15/700.18 c | 593910 | 9099 56555 191864 | 2147483647 164883 30 | 2.820 % |
700.25/700.29 c | 594010 | 9099 56555 191864 | 2147483647 164983 30 | 2.820 % |
700.55/700.54 c | 594123 | 9099 56555 191864 | 2147483647 165096 30 | 2.820 % |
700.76/700.72 c | 594245 | 9099 56555 191864 | 2147483647 165218 30 | 2.820 % |
700.85/700.83 c | 594379 | 9099 56555 191864 | 2147483647 165352 30 | 2.820 % |
700.95/700.94 c | 594525 | 9099 56555 191864 | 2147483647 165498 30 | 2.820 % |
701.25/701.22 c | 594685 | 9099 56555 191864 | 2147483647 165658 30 | 2.820 % |
701.45/701.49 c | 594863 | 9099 56555 191864 | 2147483647 165836 30 | 2.820 % |
701.75/701.71 c | 595056 | 9099 56555 191864 | 2147483647 166029 30 | 2.820 % |
702.15/702.15 c | 595268 | 9099 56555 191864 | 2147483647 166241 30 | 2.820 % |
702.45/702.48 c | 595503 | 9099 56555 191864 | 2147483647 166476 30 | 2.820 % |
702.65/702.70 c | 595759 | 9099 56555 191864 | 2147483647 166732 30 | 2.820 % |
703.05/703.02 c | 596040 | 9099 56555 191864 | 2147483647 167013 30 | 2.820 % |
703.45/703.45 c | 596350 | 9099 56555 191864 | 2147483647 167323 30 | 2.820 % |
703.85/703.86 c | 596690 | 9099 56555 191864 | 2147483647 167663 30 | 2.820 % |
704.35/704.40 c | 597062 | 9099 56555 191864 | 2147483647 168035 30 | 2.820 % |
704.95/704.92 c | 597471 | 9099 56555 191864 | 2147483647 168444 30 | 2.820 % |
705.35/705.41 c | 597920 | 9099 56495 191665 | 2147483647 168889 30 | 2.820 % |
706.05/706.01 c | 598415 | 9099 56495 191665 | 2147483647 169384 30 | 2.820 % |
706.75/706.80 c | 598957 | 9099 56495 191665 | 2147483647 169926 30 | 2.820 % |
707.55/707.53 c | 599554 | 9099 56495 191665 | 2147483647 170523 30 | 2.820 % |
708.75/708.75 c | 600209 | 9099 56495 191665 | 2147483647 171178 30 | 2.820 % |
709.65/709.65 c | 600929 | 9099 56495 191665 | 2147483647 171898 30 | 2.820 % |
710.85/710.86 c | 601722 | 9099 56495 191665 | 2147483647 172691 30 | 2.820 % |
711.95/711.96 c | 602593 | 9099 56495 191665 | 2147483647 173562 30 | 2.820 % |
713.25/713.23 c | 603552 | 9099 56495 191665 | 2147483647 174521 30 | 2.820 % |
714.35/714.39 c | 604605 | 9099 56495 191665 | 2147483647 175574 30 | 2.820 % |
716.16/716.17 c | 605764 | 9099 56495 191665 | 2147483647 176732 31 | 2.831 % |
717.55/717.55 c | 607038 | 9099 56495 191665 | 2147483647 178006 31 | 2.830 % |
719.25/719.21 c | 608440 | 9096 56487 191641 | 2147483647 179405 31 | 2.852 % |
722.05/722.03 c | 609980 | 9096 56487 191641 | 2147483647 180945 31 | 2.852 % |
723.75/723.79 c | 611674 | 9096 56487 191641 | 2147483647 182638 31 | 2.874 % |
725.55/725.54 c | 613537 | 9095 56487 191641 | 2147483647 184501 31 | 2.874 % |
727.35/727.39 c | 615586 | 9095 56487 191641 | 2147483647 186550 31 | 2.873 % |
729.55/729.60 c | 617840 | 9095 56487 191641 | 2147483647 188804 31 | 2.873 % |
731.65/731.66 c | 620318 | 9095 56487 191641 | 190964 191282 31 | 2.873 % |
737.06/737.08 c | 623043 | 9095 56487 191641 | 190964 167207 32 | 2.874 % |
740.96/741.01 c | 626040 | 9094 56455 191536 | 190964 170194 32 | 2.874 % |
745.26/745.28 c | 629336 | 9094 56455 191536 | 190964 173490 32 | 2.873 % |
748.76/748.72 c | 632961 | 9094 56455 191536 | 2147483647 177115 32 | 2.873 % |
752.86/752.86 c | 636948 | 9094 56455 191536 | 2147483647 181102 32 | 2.873 % |
757.26/757.24 c | 641335 | 9094 56455 191536 | 184154 185489 32 | 2.874 % |
764.46/764.43 c | 646158 | 9093 56447 191512 | 184154 158039 32 | 2.884 % |
769.76/769.75 c | 651463 | 9093 56447 191512 | 161881 163344 32 | 2.884 % |
776.46/776.44 c | 657299 | 9093 56447 191512 | 161881 142174 32 | 2.884 % |
776.56/776.54 c | 657399 | 9093 56447 191512 | 161881 142274 32 | 2.884 % |
776.66/776.65 c | 657509 | 9093 56447 191512 | 161881 142384 32 | 2.884 % |
776.86/776.82 c | 657631 | 9093 56447 191512 | 161881 142506 32 | 2.884 % |
776.86/776.90 c | 657765 | 9093 56447 191512 | 161881 142640 32 | 2.884 % |
776.96/777.00 c | 657913 | 9093 56447 191512 | 161881 142788 32 | 2.884 % |
777.16/777.13 c | 658073 | 9093 56447 191512 | 161881 142948 32 | 2.884 % |
777.46/777.44 c | 658249 | 9093 56447 191512 | 161881 143124 32 | 2.884 % |
777.66/777.70 c | 658442 | 9093 56447 191512 | 161881 143317 32 | 2.884 % |
777.96/777.97 c | 658655 | 9093 56447 191512 | 161881 143530 32 | 2.884 % |
778.26/778.22 c | 658890 | 9093 56447 191512 | 161881 143765 32 | 2.884 % |
778.46/778.47 c | 659146 | 9093 56447 191512 | 161881 144021 32 | 2.884 % |
778.76/778.76 c | 659428 | 9093 56447 191512 | 161881 144303 32 | 2.884 % |
779.16/779.12 c | 659737 | 9093 56447 191512 | 161881 144612 32 | 2.884 % |
779.56/779.52 c | 660077 | 9093 56447 191512 | 144875 144952 32 | 2.884 % |
780.16/780.16 c | 660450 | 9093 56447 191512 | 144875 145325 32 | 2.884 % |
781.16/781.21 c | 660859 | 9093 56447 191512 | 144875 127168 32 | 2.884 % |
781.66/781.63 c | 661308 | 9092 56439 191488 | 144875 127615 32 | 2.894 % |
781.96/781.94 c | 661802 | 9092 56439 191488 | 144875 128109 32 | 2.895 % |
782.36/782.32 c | 662344 | 9092 56439 191488 | 144875 128651 32 | 2.894 % |
782.86/782.84 c | 662940 | 9092 56439 191488 | 144875 129247 32 | 2.894 % |
783.36/783.32 c | 663596 | 9092 56439 191488 | 144875 129903 32 | 2.894 % |
784.26/784.24 c | 664316 | 9092 56439 191488 | 144875 130623 32 | 2.895 % |
785.56/785.52 c | 665108 | 9092 56439 191488 | 144875 131415 32 | 2.894 % |
786.06/786.10 c | 665979 | 9092 56439 191488 | 144875 132286 32 | 2.894 % |
786.86/786.86 c | 666938 | 9092 56439 191488 | 144875 133245 32 | 2.894 % |
787.76/787.74 c | 667992 | 9092 56439 191488 | 144875 134299 32 | 2.895 % |
788.96/788.94 c | 669150 | 9092 56439 191488 | 144875 135456 32 | 2.906 % |
790.46/790.51 c | 670424 | 9092 56439 191488 | 2147483647 136729 32 | 2.916 % |
791.66/791.61 c | 671824 | 9090 56420 191427 | 2147483647 138125 32 | 2.916 % |
792.96/792.97 c | 673364 | 9090 56420 191427 | 2147483647 139665 32 | 2.916 % |
794.66/794.65 c | 675058 | 9090 56420 191427 | 2147483647 141359 32 | 2.916 % |
796.76/796.74 c | 676921 | 9090 56420 191427 | 2147483647 143221 32 | 2.926 % |
798.36/798.40 c | 678970 | 9090 56420 191427 | 2147483647 145270 32 | 2.926 % |
800.56/800.51 c | 681224 | 9090 56420 191427 | 2147483647 147524 32 | 2.927 % |
802.96/802.97 c | 683703 | 9090 56420 191427 | 2147483647 150003 31 | 2.927 % |
806.06/806.06 c | 686431 | 9089 56412 191403 | 2147483647 152727 31 | 2.938 % |
809.86/809.86 c | 689430 | 9089 56412 191403 | 2147483647 155726 31 | 2.938 % |
814.76/814.72 c | 692726 | 9089 56412 191403 | 2147483647 159022 31 | 2.937 % |
818.66/818.70 c | 696351 | 9088 56404 191376 | 2147483647 162646 31 | 2.938 % |
824.26/824.29 c | 700338 | 9088 56404 191376 | 2147483647 166633 31 | 2.937 % |
829.16/829.12 c | 704723 | 9088 56404 191376 | 2147483647 171018 31 | 2.937 % |
834.26/834.26 c | 709548 | 9088 56404 191376 | 2147483647 175843 31 | 2.937 % |
841.26/841.29 c | 714853 | 9088 56404 191376 | 176295 147925 30 | 2.937 % |
847.06/847.03 c | 720689 | 9088 56404 191376 | 153073 153761 30 | 2.938 % |
854.65/854.65 c | 727107 | 9088 56404 191376 | 153073 137418 28 | 2.938 % |
854.76/854.73 c | 727207 | 9088 56404 191376 | 153073 137518 28 | 2.937 % |
854.85/854.85 c | 727317 | 9088 56404 191376 | 153073 137628 28 | 2.938 % |
855.05/855.00 c | 727439 | 9088 56404 191376 | 153073 137750 28 | 2.937 % |
855.15/855.17 c | 727572 | 9088 56404 191376 | 153073 137883 28 | 2.938 % |
855.45/855.48 c | 727719 | 9088 56404 191376 | 153073 138030 28 | 2.937 % |
855.65/855.64 c | 727879 | 9088 56404 191376 | 153073 138190 28 | 2.937 % |
855.75/855.79 c | 728056 | 9088 56404 191376 | 153073 138367 28 | 2.938 % |
856.15/856.19 c | 728249 | 9088 56404 191376 | 153073 138560 28 | 2.937 % |
856.45/856.42 c | 728461 | 9088 56404 191376 | 153073 138772 28 | 2.937 % |
856.65/856.64 c | 728694 | 9088 56404 191376 | 153073 139005 28 | 2.938 % |
856.85/856.86 c | 728951 | 9088 56404 191376 | 153073 139262 28 | 2.938 % |
857.05/857.09 c | 729234 | 9088 56404 191376 | 153073 139545 28 | 2.938 % |
857.35/857.32 c | 729544 | 9088 56404 191376 | 153073 139855 28 | 2.937 % |
857.95/857.97 c | 729884 | 9088 56404 191376 | 153073 140195 28 | 2.938 % |
858.45/858.48 c | 730258 | 9088 56404 191376 | 2147483647 140569 28 | 2.937 % |
858.85/858.89 c | 730667 | 9088 56404 191376 | 2147483647 140978 28 | 2.937 % |
859.45/859.48 c | 731116 | 9088 56404 191376 | 2147483647 141427 28 | 2.938 % |
859.95/859.99 c | 731609 | 9088 56404 191376 | 2147483647 141920 28 | 2.938 % |
860.45/860.46 c | 732151 | 9088 56404 191376 | 2147483647 142462 28 | 2.938 % |
860.96/860.96 c | 732748 | 9088 56404 191376 | 2147483647 143059 28 | 2.938 % |
861.66/861.65 c | 733403 | 9088 56404 191376 | 2147483647 143714 28 | 2.938 % |
862.46/862.43 c | 734124 | 9088 56404 191376 | 2147483647 144435 28 | 2.938 % |
863.26/863.24 c | 734916 | 9088 56404 191376 | 2147483647 145227 28 | 2.938 % |
864.06/864.08 c | 735787 | 9088 56404 191376 | 2147483647 146098 28 | 2.937 % |
864.96/864.96 c | 736745 | 9088 56404 191376 | 2147483647 147056 28 | 2.937 % |
865.96/865.96 c | 737798 | 9088 56404 191376 | 2147483647 148109 28 | 2.938 % |
867.16/867.15 c | 738958 | 9088 56404 191376 | 2147483647 149269 28 | 2.937 % |
868.76/868.72 c | 740232 | 9088 56404 191376 | 150311 150543 28 | 2.937 % |
870.36/870.36 c | 741632 | 9088 56404 191376 | 150311 151943 28 | 2.937 % |
872.66/872.64 c | 743172 | 9088 56404 191376 | 150311 135183 28 | 2.938 % |
874.26/874.29 c | 744866 | 9088 56404 191376 | 150311 136877 28 | 2.938 % |
875.76/875.74 c | 746729 | 9088 56404 191376 | 150311 138740 28 | 2.937 % |
877.46/877.44 c | 748778 | 9088 56404 191376 | 150311 140789 28 | 2.938 % |
879.36/879.34 c | 751034 | 9088 56404 191376 | 2147483647 143045 28 | 2.938 % |
881.96/881.94 c | 753513 | 9088 56404 191376 | 2147483647 145524 28 | 2.938 % |
886.56/886.52 c | 756238 | 9085 56392 191340 | 2147483647 148247 28 | 2.969 % |
889.36/889.41 c | 759235 | 9082 56392 191340 | 2147483647 151243 28 | 3.023 % |
892.96/892.97 c | 762532 | 9077 56253 190873 | 2147483647 154524 28 | 3.055 % |
896.76/896.77 c | 766157 | 9077 56253 190873 | 2147483647 158149 29 | 3.055 % |
899.66/899.70 c | 770144 | 9077 56253 190873 | 2147483647 162136 29 | 3.055 % |
903.26/903.28 c | 774530 | 9077 56253 190873 | 2147483647 166522 29 | 3.055 % |
907.46/907.47 c | 779354 | 9077 56253 190873 | 2147483647 171346 29 | 3.055 % |
912.56/912.58 c | 784661 | 9077 56253 190873 | 2147483647 176653 29 | 3.055 % |
919.46/919.43 c | 790496 | 9077 56253 190873 | 2147483647 182488 29 | 3.055 % |
926.76/926.72 c | 796914 | 9077 56253 190873 | 2147483647 188906 29 | 3.055 % |
936.96/936.98 c | 803974 | 9077 56253 190873 | 191992 170344 29 | 3.055 % |
937.06/937.08 c | 804074 | 9077 56253 190873 | 191992 170444 29 | 3.055 % |
937.27/937.25 c | 804184 | 9077 56253 190873 | 191992 170554 29 | 3.055 % |
937.36/937.38 c | 804305 | 9077 56253 190873 | 191992 170675 29 | 3.055 % |
937.56/937.60 c | 804439 | 9077 56253 190873 | 191992 170809 29 | 3.055 % |
937.96/937.95 c | 804586 | 9077 56253 190873 | 191992 170956 29 | 3.055 % |
938.16/938.15 c | 804746 | 9077 56253 190873 | 191992 171116 29 | 3.055 % |
938.46/938.43 c | 804922 | 9077 56253 190873 | 191992 171292 29 | 3.055 % |
938.96/938.92 c | 805115 | 9077 56253 190873 | 191992 171485 29 | 3.055 % |
939.16/939.12 c | 805327 | 9077 56253 190873 | 191992 171697 29 | 3.055 % |
939.47/939.46 c | 805561 | 9077 56253 190873 | 191992 171931 29 | 3.055 % |
939.66/939.65 c | 805817 | 9077 56253 190873 | 191992 172187 29 | 3.055 % |
939.96/939.96 c | 806099 | 9077 56253 190873 | 191992 172469 29 | 3.055 % |
940.16/940.19 c | 806408 | 9077 56253 190873 | 191992 172778 29 | 3.055 % |
940.57/940.52 c | 806749 | 9077 56253 190873 | 191992 173119 29 | 3.055 % |
940.86/940.83 c | 807122 | 9077 56253 190873 | 191992 173492 29 | 3.055 % |
941.16/941.18 c | 807532 | 9077 56253 190873 | 191992 173902 29 | 3.055 % |
941.67/941.64 c | 807981 | 9077 56253 190873 | 191992 174351 29 | 3.055 % |
942.66/942.63 c | 808474 | 9077 56253 190873 | 191992 174844 29 | 3.055 % |
943.56/943.58 c | 809016 | 9077 56253 190873 | 191992 175386 29 | 3.055 % |
944.26/944.22 c | 809612 | 9076 56240 190830 | 191992 175979 29 | 3.066 % |
945.16/945.14 c | 810267 | 9076 56240 190830 | 176367 176634 29 | 3.065 % |
945.96/945.93 c | 810988 | 9076 56240 190830 | 176367 177355 29 | 3.065 % |
947.96/947.99 c | 811781 | 9076 56240 190830 | 176367 157985 29 | 3.065 % |
948.76/948.76 c | 812653 | 9076 56240 190830 | 176367 158857 29 | 3.066 % |
949.56/949.59 c | 813612 | 9076 56240 190830 | 176367 159816 29 | 3.066 % |
950.47/950.46 c | 814665 | 9076 56240 190830 | 176367 160869 29 | 3.065 % |
951.86/951.81 c | 815823 | 9076 56240 190830 | 176367 162027 29 | 3.065 % |
953.16/953.20 c | 817099 | 9076 56240 190830 | 176367 163303 29 | 3.066 % |
954.76/954.80 c | 818501 | 9076 56240 190830 | 176367 164705 29 | 3.065 % |
957.07/957.04 c | 820041 | 9076 56240 190830 | 166203 166244 29 | 3.076 % |
958.56/958.56 c | 821736 | 9076 56240 190830 | 166203 167939 29 | 3.076 % |
961.36/961.35 c | 823600 | 9075 56231 190800 | 166203 151403 29 | 3.076 % |
962.86/962.88 c | 825650 | 9075 56231 190800 | 166203 153453 29 | 3.077 % |
964.66/964.63 c | 827903 | 9075 56231 190800 | 166203 155706 29 | 3.076 % |
966.76/966.77 c | 830383 | 9075 56231 190800 | 157805 158186 29 | 3.076 % |
971.26/971.25 c | 833109 | 9075 56231 190800 | 157805 144010 30 | 3.076 % |
973.96/973.91 c | 836107 | 9075 56231 190800 | 157805 147007 30 | 3.087 % |
976.66/976.68 c | 839403 | 9072 56223 190776 | 157805 150298 30 | 3.108 % |
981.06/981.05 c | 843028 | 9072 56223 190776 | 2147483647 153923 30 | 3.108 % |
984.57/984.51 c | 847016 | 9072 56223 190776 | 2147483647 157911 30 | 3.108 % |
989.27/989.29 c | 851401 | 9072 56203 190712 | 2147483647 162292 30 | 3.108 % |
993.97/994.00 c | 856224 | 9072 56203 190712 | 2147483647 167115 30 | 3.108 % |
998.87/998.89 c | 861529 | 9072 56203 190712 | 170892 172420 30 | 3.108 % |
1007.57/1007.60 c | 867364 | 9071 56186 190650 | 170892 147765 31 | 3.119 % |
1013.17/1013.13 c | 873783 | 9071 56186 190650 | 2147483647 154183 31 | 3.130 % |
1020.57/1020.54 c | 880843 | 9070 56186 190650 | 2147483647 161241 32 | 3.151 % |
1030.17/1030.20 c | 888609 | 9068 56161 190568 | 2147483647 169005 32 | 3.151 % |
1030.27/1030.29 c | 888710 | 9068 56161 190568 | 2147483647 169106 32 | 3.151 % |
1030.47/1030.43 c | 888821 | 9068 56161 190568 | 2147483647 169217 32 | 3.151 % |
1030.57/1030.57 c | 888943 | 9068 56161 190568 | 2147483647 169339 32 | 3.151 % |
1030.67/1030.67 c | 889076 | 9068 56161 190568 | 2147483647 169472 32 | 3.151 % |
1030.87/1030.84 c | 889222 | 9068 56161 190568 | 2147483647 169618 32 | 3.151 % |
1030.97/1031.00 c | 889382 | 9065 56161 190568 | 2147483647 169777 32 | 3.183 % |
1031.17/1031.16 c | 889559 | 9065 56161 190568 | 2147483647 169954 32 | 3.183 % |
1031.37/1031.38 c | 889752 | 9065 56161 190568 | 2147483647 170147 32 | 3.183 % |
1031.57/1031.56 c | 889965 | 9065 56161 190568 | 2147483647 170360 32 | 3.183 % |
1031.87/1031.81 c | 890198 | 9065 56161 190568 | 2147483647 170593 32 | 3.183 % |
1031.97/1031.98 c | 890456 | 9065 56161 190568 | 2147483647 170851 32 | 3.183 % |
1032.27/1032.23 c | 890737 | 9065 56161 190568 | 2147483647 171132 32 | 3.183 % |
1032.57/1032.54 c | 891046 | 9065 56161 190568 | 2147483647 171441 32 | 3.183 % |
1033.07/1033.01 c | 891386 | 9065 56161 190568 | 2147483647 171781 32 | 3.183 % |
1033.47/1033.51 c | 891758 | 9065 56161 190568 | 2147483647 172153 32 | 3.183 % |
1033.97/1033.95 c | 892167 | 9065 56132 190476 | 2147483647 172556 32 | 3.183 % |
1034.57/1034.51 c | 892617 | 9065 56132 190476 | 2147483647 173006 32 | 3.183 % |
1035.17/1035.12 c | 893110 | 9065 56132 190476 | 2147483647 173499 32 | 3.183 % |
1035.67/1035.67 c | 893652 | 9065 56132 190476 | 2147483647 174041 32 | 3.183 % |
1036.37/1036.39 c | 894248 | 9065 56132 190476 | 2147483647 174637 32 | 3.183 % |
1037.07/1037.06 c | 894905 | 9065 56132 190476 | 2147483647 175294 32 | 3.183 % |
1037.87/1037.82 c | 895626 | 9065 56132 190476 | 2147483647 176015 32 | 3.183 % |
1038.57/1038.57 c | 896419 | 9065 56132 190476 | 2147483647 176808 32 | 3.183 % |
1039.37/1039.32 c | 897294 | 9065 56132 190476 | 2147483647 177683 32 | 3.183 % |
1040.17/1040.14 c | 898253 | 9065 56132 190476 | 2147483647 178642 32 | 3.183 % |
1041.07/1041.10 c | 899306 | 9065 56132 190476 | 2147483647 179695 32 | 3.183 % |
1042.27/1042.27 c | 900464 | 9065 56132 190476 | 180390 180853 32 | 3.183 % |
1045.17/1045.18 c | 901737 | 9065 56132 190476 | 180390 153533 31 | 3.183 % |
1046.77/1046.80 c | 903138 | 9065 56132 190476 | 180390 154934 31 | 3.183 % |
1048.47/1048.47 c | 904680 | 9065 56132 190476 | 180390 156476 31 | 3.183 % |
1050.07/1050.11 c | 906375 | 9065 56132 190476 | 180390 158171 31 | 3.183 % |
1051.87/1051.82 c | 908239 | 9065 56132 190476 | 180390 160035 31 | 3.183 % |
1053.57/1053.59 c | 910288 | 9065 56132 190476 | 161796 162084 31 | 3.183 % |
1055.57/1055.60 c | 912541 | 9065 56132 190476 | 161796 164337 31 | 3.183 % |
1058.87/1058.81 c | 915019 | 9065 56132 190476 | 161796 139484 32 | 3.183 % |
1062.17/1062.20 c | 917744 | 9065 56132 190476 | 161796 142209 32 | 3.183 % |
1064.97/1064.92 c | 920742 | 9065 56132 190476 | 144468 145207 32 | 3.183 % |
1068.47/1068.48 c | 924038 | 9065 56132 190476 | 144468 130999 32 | 3.183 % |
1071.97/1071.99 c | 927664 | 9065 56132 190476 | 144468 134625 32 | 3.184 % |
1075.57/1075.56 c | 931651 | 9065 56132 190476 | 2147483647 138612 31 | 3.183 % |
1079.27/1079.29 c | 936036 | 9065 56132 190476 | 2147483647 142997 32 | 3.183 % |
1083.67/1083.68 c | 940859 | 9063 56114 190418 | 2147483647 147814 32 | 3.204 % |
1088.67/1088.63 c | 946164 | 9063 56114 190418 | 2147483647 153119 32 | 3.205 % |
1093.77/1093.71 c | 951999 | 9063 56114 190418 | 156957 158954 32 | 3.204 % |
1102.37/1102.37 c | 958417 | 9061 56106 190391 | 156957 139713 32 | 3.226 % |
1109.98/1109.94 c | 965476 | 9061 56106 190391 | 141296 127553 31 | 3.226 % |
1116.98/1116.96 c | 973241 | 9061 56093 190348 | 132078 115800 30 | 3.225 % |
1123.58/1123.56 c | 981782 | 9061 56093 190348 | 2147483647 124341 30 | 3.225 % |
1123.68/1123.64 c | 981882 | 9061 56093 190348 | 2147483647 124441 30 | 3.226 % |
1123.78/1123.74 c | 981992 | 9061 56093 190348 | 2147483647 124551 30 | 3.225 % |
1123.88/1123.84 c | 982113 | 9061 56093 190348 | 2147483647 124672 30 | 3.226 % |
1123.98/1123.96 c | 982248 | 9061 56093 190348 | 2147483647 124807 30 | 3.225 % |
1124.08/1124.09 c | 982395 | 9061 56093 190348 | 2147483647 124954 30 | 3.225 % |
1124.28/1124.22 c | 982559 | 9061 56093 190348 | 2147483647 125118 30 | 3.225 % |
1124.38/1124.38 c | 982737 | 9061 56093 190348 | 2147483647 125296 30 | 3.226 % |
1124.68/1124.64 c | 982931 | 9061 56093 190348 | 2147483647 125490 30 | 3.226 % |
1124.88/1124.84 c | 983143 | 9061 56093 190348 | 2147483647 125702 30 | 3.226 % |
1124.98/1124.99 c | 983376 | 9061 56093 190348 | 2147483647 125935 30 | 3.226 % |
1125.18/1125.17 c | 983632 | 9061 56093 190348 | 2147483647 126191 30 | 3.226 % |
1125.38/1125.38 c | 983913 | 9061 56093 190348 | 2147483647 126472 30 | 3.226 % |
1125.58/1125.61 c | 984222 | 9061 56093 190348 | 2147483647 126781 30 | 3.226 % |
1125.88/1125.87 c | 984563 | 9061 56093 190348 | 2147483647 127122 30 | 3.226 % |
1126.68/1126.63 c | 984935 | 9061 56093 190348 | 2147483647 127494 30 | 3.226 % |
1127.28/1127.29 c | 985344 | 9061 56093 190348 | 2147483647 127903 30 | 3.225 % |
1127.68/1127.63 c | 985793 | 9061 56093 190348 | 2147483647 128352 30 | 3.226 % |
1128.08/1128.03 c | 986286 | 9061 56093 190348 | 2147483647 128845 30 | 3.226 % |
1128.48/1128.46 c | 986830 | 9061 56093 190348 | 2147483647 129389 30 | 3.226 % |
1128.98/1128.98 c | 987426 | 9061 56093 190348 | 2147483647 129985 30 | 3.226 % |
1129.48/1129.51 c | 988082 | 9061 56093 190348 | 2147483647 130641 30 | 3.225 % |
1130.18/1130.18 c | 988802 | 9061 56093 190348 | 2147483647 131361 31 | 3.226 % |
1131.18/1131.14 c | 989594 | 9060 56087 190327 | 2147483647 132151 31 | 3.237 % |
1131.78/1131.80 c | 990465 | 9060 56087 190327 | 2147483647 133022 31 | 3.237 % |
1132.88/1132.87 c | 991423 | 9060 56087 190327 | 2147483647 133980 31 | 3.236 % |
1133.88/1133.87 c | 992477 | 9060 56087 190327 | 2147483647 135034 31 | 3.236 % |
1134.98/1134.93 c | 993635 | 9060 56087 190327 | 2147483647 136192 31 | 3.236 % |
1136.08/1136.02 c | 994909 | 9060 56087 190327 | 2147483647 137466 31 | 3.236 % |
1137.18/1137.17 c | 996312 | 9060 56087 190327 | 2147483647 138869 31 | 3.236 % |
1138.48/1138.46 c | 997853 | 9060 56087 190327 | 2147483647 140410 31 | 3.236 % |
1139.88/1139.88 c | 999547 | 9060 56087 190327 | 2147483647 142104 31 | 3.236 % |
1141.58/1141.58 c | 1001410 | 9060 56087 190327 | 2147483647 143967 31 | 3.236 % |
1143.38/1143.35 c | 1003459 | 9060 56087 190327 | 2147483647 146016 31 | 3.236 % |
1145.38/1145.40 c | 1005712 | 9060 56087 190327 | 2147483647 148269 31 | 3.236 % |
1147.78/1147.80 c | 1008194 | 9060 56087 190327 | 2147483647 150751 31 | 3.236 % |
1150.18/1150.20 c | 1010919 | 9060 56087 190327 | 2147483647 153476 30 | 3.236 % |
1153.98/1153.98 c | 1013919 | 9060 56087 190327 | 2147483647 156476 30 | 3.237 % |
1157.18/1157.21 c | 1017215 | 9060 56087 190327 | 2147483647 159772 30 | 3.236 % |
1160.98/1160.91 c | 1020840 | 9060 56087 190327 | 162558 163397 30 | 3.237 % |
1165.58/1165.55 c | 1024827 | 9060 56087 190327 | 162558 141450 29 | 3.236 % |
1169.68/1169.71 c | 1029212 | 9060 56087 190327 | 162558 145835 29 | 3.236 % |
1175.68/1175.71 c | 1034035 | 9060 56087 190327 | 146624 125002 29 | 3.236 % |
1181.68/1181.62 c | 1039341 | 9058 56073 190285 | 146624 130305 29 | 3.258 % |
1186.48/1186.50 c | 1045176 | 9058 56073 190285 | 130965 120947 29 | 3.258 % |
1191.48/1191.51 c | 1051594 | 9058 56073 190285 | 2147483647 127365 28 | 3.258 % |
1197.99/1197.92 c | 1058654 | 9057 56065 190258 | 2147483647 134421 28 | 3.268 % |
1200.07/1200.01 HOME/SatELiteGTI: line 36: 11381 Terminated $MS $TMP.cnf $TMP.result
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1820818-1242480038/watcher-1820818-1242480038 -o /tmp/evaluation-result-1820818-1242480038/solver-1820818-1242480038 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820818-1242480038.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 0.98 0.99 2/97 11375
/proc/meminfo: memFree=1825836/2074464 swapFree=1949244/1959888
[pid=11375] ppid=11373 vsize=2412 CPUtime=0.01
/proc/11375/stat : 11375 (SatELiteGTI) S 11373 11375 16367 0 -1 4194304 366 647 0 0 0 0 0 1 18 0 1 0 1012504817 2469888 276 4294967295 134512640 135169312 3216678640 3216677176 3085864686 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/11375/statm: 603 276 235 161 0 42 0
[pid=11379] ppid=11375 vsize=956 CPUtime=0
/proc/11379/stat : 11379 (SatELite_releas) R 11375 11375 16367 0 -1 4202496 148 0 0 0 0 0 0 0 20 0 1 0 1012504818 978944 84 4294967295 134512640 135223648 3217405856 3217404736 134543108 0 0 0 3 0 0 0 17 3 0 0 0
/proc/11379/statm: 239 86 45 174 0 64 0
[startup+0.052637 s]
/proc/loadavg: 0.92 0.98 0.99 2/97 11375
/proc/meminfo: memFree=1825836/2074464 swapFree=1949244/1959888
[pid=11375] ppid=11373 vsize=2412 CPUtime=0.01
/proc/11375/stat : 11375 (SatELiteGTI) S 11373 11375 16367 0 -1 4194304 366 647 0 0 0 0 0 1 18 0 1 0 1012504817 2469888 276 4294967295 134512640 135169312 3216678640 3216677176 3085864686 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/11375/statm: 603 276 235 161 0 42 0
[pid=11379] ppid=11375 vsize=6928 CPUtime=0.05
/proc/11379/stat : 11379 (SatELite_releas) R 11375 11375 16367 0 -1 4202496 1483 0 0 0 5 0 0 0 20 0 1 0 1012504818 7094272 1419 4294967295 134512640 135223648 3217405856 3217404696 134719062 0 0 0 3 0 0 0 17 3 0 0 0
/proc/11379/statm: 1732 1421 47 174 0 1557 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 9340
[startup+0.122617 s]
/proc/loadavg: 0.92 0.98 0.99 2/97 11375
/proc/meminfo: memFree=1825836/2074464 swapFree=1949244/1959888
[pid=11375] ppid=11373 vsize=2412 CPUtime=0.01
/proc/11375/stat : 11375 (SatELiteGTI) S 11373 11375 16367 0 -1 4194304 366 647 0 0 0 0 0 1 18 0 1 0 1012504817 2469888 276 4294967295 134512640 135169312 3216678640 3216677176 3085864686 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/11375/statm: 603 276 235 161 0 42 0
[pid=11379] ppid=11375 vsize=7700 CPUtime=0.12
/proc/11379/stat : 11379 (SatELite_releas) R 11375 11375 16367 0 -1 4202496 1622 0 0 0 12 0 0 0 21 0 1 0 1012504818 7884800 1558 4294967295 134512640 135223648 3217405856 3217403872 134587014 0 0 0 3 0 0 0 17 3 0 0 0
/proc/11379/statm: 1925 1558 73 174 0 1750 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 10112
[startup+0.332614 s]
/proc/loadavg: 0.92 0.98 0.99 2/97 11375
/proc/meminfo: memFree=1825836/2074464 swapFree=1949244/1959888
[pid=11375] ppid=11373 vsize=2416 CPUtime=0.23
/proc/11375/stat : 11375 (SatELiteGTI) S 11373 11375 16367 0 -1 4194304 386 2424 0 0 0 0 21 2 17 0 1 0 1012504817 2473984 278 4294967295 134512640 135169312 3216678640 3216674856 3085864686 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/11375/statm: 604 278 235 161 0 43 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 2416
[startup+0.722589 s]
/proc/loadavg: 0.92 0.98 0.99 2/97 11375
/proc/meminfo: memFree=1825836/2074464 swapFree=1949244/1959888
[pid=11375] ppid=11373 vsize=2416 CPUtime=0.23
/proc/11375/stat : 11375 (SatELiteGTI) S 11373 11375 16367 0 -1 4194304 386 2424 0 0 0 0 21 2 17 0 1 0 1012504817 2473984 278 4294967295 134512640 135169312 3216678640 3216674856 3085864686 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/11375/statm: 604 278 235 161 0 43 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 2416
[startup+1.52254 s]
/proc/loadavg: 0.92 0.98 0.99 2/99 11382
/proc/meminfo: memFree=1820224/2074464 swapFree=1949244/1959888
[pid=11375] ppid=11373 vsize=2416 CPUtime=0.23
/proc/11375/stat : 11375 (SatELiteGTI) S 11373 11375 16367 0 -1 4194304 386 2424 0 0 0 0 21 2 17 0 1 0 1012504817 2473984 278 4294967295 134512640 135169312 3216678640 3216674856 3085864686 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/11375/statm: 604 278 235 161 0 43 0
[pid=11381] ppid=11375 vsize=5624 CPUtime=1.3
/proc/11381/stat : 11381 (minisat_static) R 11375 11375 16367 0 -1 4202496 1315 0 0 0 130 0 0 0 22 0 1 0 1012504840 5758976 1249 4294967295 134512640 135215339 3216822128 3216820224 134527372 0 0 0 3 0 0 0 17 0 0 0 0
/proc/11381/statm: 1406 1249 73 172 0 1233 0
Current children cumulated CPU time (s) 1.53
Current children cumulated vsize (KiB) 8040
[startup+3.12245 s]
/proc/loadavg: 0.92 0.98 0.99 2/99 11382
/proc/meminfo: memFree=1819852/2074464 swapFree=1949244/1959888
[pid=11375] ppid=11373 vsize=2416 CPUtime=0.23
/proc/11375/stat : 11375 (SatELiteGTI) S 11373 11375 16367 0 -1 4194304 386 2424 0 0 0 0 21 2 17 0 1 0 1012504817 2473984 278 4294967295 134512640 135169312 3216678640 3216674856 3085864686 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/11375/statm: 604 278 235 161 0 43 0
[pid=11381] ppid=11375 vsize=5892 CPUtime=2.9
/proc/11381/stat : 11381 (minisat_static) R 11375 11375 16367 0 -1 4202496 1391 0 0 0 290 0 0 0 25 0 1 0 1012504840 6033408 1325 4294967295 134512640 135215339 3216822128 3216820128 134532604 0 0 0 3 0 0 0 17 0 0 0 0
/proc/11381/statm: 1473 1325 73 172 0 1300 0
Current children cumulated CPU time (s) 3.13
Current children cumulated vsize (KiB) 8308
[startup+6.32228 s]
/proc/loadavg: 0.93 0.98 0.99 3/99 11565
/proc/meminfo: memFree=1818508/2074464 swapFree=1949244/1959888
[pid=11375] ppid=11373 vsize=2416 CPUtime=0.23
/proc/11375/stat : 11375 (SatELiteGTI) S 11373 11375 16367 0 -1 4194304 386 2424 0 0 0 0 21 2 17 0 1 0 1012504817 2473984 278 4294967295 134512640 135169312 3216678640 3216674856 3085864686 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/11375/statm: 604 278 235 161 0 43 0
[pid=11381] ppid=11375 vsize=6824 CPUtime=6.1
/proc/11381/stat : 11381 (minisat_static) R 11375 11375 16367 0 -1 4202496 1626 0 0 0 610 0 0 0 25 0 1 0 1012504840 6987776 1560 4294967295 134512640 135215339 3216822128 3216820304 134723985 0 0 0 3 0 0 0 17 0 0 0 0
/proc/11381/statm: 1706 1560 73 172 0 1533 0
Current children cumulated CPU time (s) 6.33
Current children cumulated vsize (KiB) 9240
[startup+12.7219 s]
/proc/loadavg: 0.93 0.98 0.99 3/99 11565
/proc/meminfo: memFree=1816636/2074464 swapFree=1949244/1959888
[pid=11375] ppid=11373 vsize=2416 CPUtime=0.23
/proc/11375/stat : 11375 (SatELiteGTI) S 11373 11375 16367 0 -1 4194304 386 2424 0 0 0 0 21 2 17 0 1 0 1012504817 2473984 278 4294967295 134512640 135169312 3216678640 3216674856 3085864686 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/11375/statm: 604 278 235 161 0 43 0
[pid=11381] ppid=11375 vsize=8868 CPUtime=12.5
/proc/11381/stat : 11381 (minisat_static) R 11375 11375 16367 0 -1 4202496 2113 0 0 0 1249 1 0 0 25 0 1 0 1012504840 9080832 2047 4294967295 134512640 135215339 3216822128 3216820416 134529054 0 0 0 3 0 0 0 17 0 0 0 0
/proc/11381/statm: 2217 2047 73 172 0 2044 0
Current children cumulated CPU time (s) 12.73
Current children cumulated vsize (KiB) 11284
[startup+25.5212 s]
/proc/loadavg: 0.95 0.98 0.99 3/99 11565
/proc/meminfo: memFree=1813508/2074464 swapFree=1949244/1959888
[pid=11375] ppid=11373 vsize=2416 CPUtime=0.23
/proc/11375/stat : 11375 (SatELiteGTI) S 11373 11375 16367 0 -1 4194304 386 2424 0 0 0 0 21 2 17 0 1 0 1012504817 2473984 278 4294967295 134512640 135169312 3216678640 3216674856 3085864686 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/11375/statm: 604 278 235 161 0 43 0
[pid=11381] ppid=11375 vsize=11972 CPUtime=25.3
/proc/11381/stat : 11381 (minisat_static) R 11375 11375 16367 0 -1 4202496 2883 0 0 0 2526 4 0 0 25 0 1 0 1012504840 12259328 2817 4294967295 134512640 135215339 3216822128 3216820336 134526268 0 0 0 3 0 0 0 17 0 0 0 0
/proc/11381/statm: 2993 2817 73 172 0 2820 0
Current children cumulated CPU time (s) 25.53
Current children cumulated vsize (KiB) 14388
[startup+51.1198 s]
/proc/loadavg: 0.96 0.98 0.99 3/99 11567
/proc/meminfo: memFree=1808728/2074464 swapFree=1949244/1959888
[pid=11375] ppid=11373 vsize=2416 CPUtime=0.23
/proc/11375/stat : 11375 (SatELiteGTI) S 11373 11375 16367 0 -1 4194304 386 2424 0 0 0 0 21 2 17 0 1 0 1012504817 2473984 278 4294967295 134512640 135169312 3216678640 3216674856 3085864686 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/11375/statm: 604 278 235 161 0 43 0
[pid=11381] ppid=11375 vsize=16912 CPUtime=50.9
/proc/11381/stat : 11381 (minisat_static) R 11375 11375 16367 0 -1 4202496 4089 0 0 0 5085 5 0 0 25 0 1 0 1012504840 17317888 4023 4294967295 134512640 135215339 3216822128 3216820416 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/11381/statm: 4228 4023 73 172 0 4055 0
Current children cumulated CPU time (s) 51.13
Current children cumulated vsize (KiB) 19328
[startup+102.327 s]
/proc/loadavg: 0.98 0.98 0.99 2/99 11754
/proc/meminfo: memFree=1801288/2074464 swapFree=1949244/1959888
[pid=11375] ppid=11373 vsize=2416 CPUtime=0.23
/proc/11375/stat : 11375 (SatELiteGTI) S 11373 11375 16367 0 -1 4194304 386 2424 0 0 0 0 21 2 17 0 1 0 1012504817 2473984 278 4294967295 134512640 135169312 3216678640 3216674856 3085864686 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/11375/statm: 604 278 235 161 0 43 0
[pid=11381] ppid=11375 vsize=24436 CPUtime=102.11
/proc/11381/stat : 11381 (minisat_static) R 11375 11375 16367 0 -1 4202496 5910 0 0 0 10200 11 0 0 25 0 1 0 1012504840 25022464 5844 4294967295 134512640 135215339 3216822128 3216820416 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/11381/statm: 6109 5844 73 172 0 5936 0
Current children cumulated CPU time (s) 102.34
Current children cumulated vsize (KiB) 26852
[startup+162.314 s]
/proc/loadavg: 0.99 0.98 0.99 3/99 11947
/proc/meminfo: memFree=1794584/2074464 swapFree=1949244/1959888
[pid=11375] ppid=11373 vsize=2416 CPUtime=0.23
/proc/11375/stat : 11375 (SatELiteGTI) S 11373 11375 16367 0 -1 4194304 386 2424 0 0 0 0 21 2 17 0 1 0 1012504817 2473984 278 4294967295 134512640 135169312 3216678640 3216674856 3085864686 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/11375/statm: 604 278 235 161 0 43 0
[pid=11381] ppid=11375 vsize=31124 CPUtime=162.1
/proc/11381/stat : 11381 (minisat_static) R 11375 11375 16367 0 -1 4202496 7532 0 0 0 16199 11 0 0 25 0 1 0 1012504840 31870976 7466 4294967295 134512640 135215339 3216822128 3216820416 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/11381/statm: 7781 7466 73 172 0 7608 0
Current children cumulated CPU time (s) 162.33
Current children cumulated vsize (KiB) 33540
[startup+222.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/99 12134
/proc/meminfo: memFree=1792492/2074464 swapFree=1949244/1959888
[pid=11375] ppid=11373 vsize=2416 CPUtime=0.23
/proc/11375/stat : 11375 (SatELiteGTI) S 11373 11375 16367 0 -1 4194304 386 2424 0 0 0 0 21 2 17 0 1 0 1012504817 2473984 278 4294967295 134512640 135169312 3216678640 3216674856 3085864686 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/11375/statm: 604 278 235 161 0 43 0
[pid=11381] ppid=11375 vsize=33252 CPUtime=222.1
/proc/11381/stat : 11381 (minisat_static) R 11375 11375 16367 0 -1 4202496 8044 0 0 0 22196 14 0 0 25 0 1 0 1012504840 34050048 7978 4294967295 134512640 135215339 3216822128 3216820416 134528849 0 0 0 3 0 0 0 17 0 0 0 0
/proc/11381/statm: 8313 7978 73 172 0 8140 0
Current children cumulated CPU time (s) 222.33
Current children cumulated vsize (KiB) 35668
[startup+282.317 s]
/proc/loadavg: 0.99 0.98 0.99 3/99 12321
/proc/meminfo: memFree=1791988/2074464 swapFree=1949244/1959888
[pid=11375] ppid=11373 vsize=2416 CPUtime=0.23
/proc/11375/stat : 11375 (SatELiteGTI) S 11373 11375 16367 0 -1 4194304 386 2424 0 0 0 0 21 2 17 0 1 0 1012504817 2473984 278 4294967295 134512640 135169312 3216678640 3216674856 3085864686 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/11375/statm: 604 278 235 161 0 43 0
[pid=11381] ppid=11375 vsize=33844 CPUtime=282.11
/proc/11381/stat : 11381 (minisat_static) R 11375 11375 16367 0 -1 4202496 8174 0 0 0 28195 16 0 0 25 0 1 0 1012504840 34656256 8108 4294967295 134512640 135215339 3216822128 3216820416 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/11381/statm: 8461 8108 73 172 0 8288 0
Current children cumulated CPU time (s) 282.34
Current children cumulated vsize (KiB) 36260
[startup+342.313 s]
/proc/loadavg: 0.99 0.98 0.99 2/99 12510
/proc/meminfo: memFree=1791864/2074464 swapFree=1949244/1959888
[pid=11375] ppid=11373 vsize=2416 CPUtime=0.23
/proc/11375/stat : 11375 (SatELiteGTI) S 11373 11375 16367 0 -1 4194304 386 2424 0 0 0 0 21 2 17 0 1 0 1012504817 2473984 278 4294967295 134512640 135169312 3216678640 3216674856 3085864686 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/11375/statm: 604 278 235 161 0 43 0
[pid=11381] ppid=11375 vsize=34008 CPUtime=342.11
/proc/11381/stat : 11381 (minisat_static) R 11375 11375 16367 0 -1 4202496 8210 0 0 0 34195 16 0 0 25 0 1 0 1012504840 34824192 8144 4294967295 134512640 135215339 3216822128 3216820416 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/11381/statm: 8502 8144 73 172 0 8329 0
Current children cumulated CPU time (s) 342.34
Current children cumulated vsize (KiB) 36424
[startup+402.32 s]
/proc/loadavg: 0.99 0.98 0.99 3/99 12699
/proc/meminfo: memFree=1791872/2074464 swapFree=1949244/1959888
[pid=11375] ppid=11373 vsize=2416 CPUtime=0.23
################
# More data... #
################
/proc/11375/statm: 604 278 235 161 0 43 0
[pid=11381] ppid=11375 vsize=34172 CPUtime=462.11
/proc/11381/stat : 11381 (minisat_static) R 11375 11375 16367 0 -1 4202496 8263 0 0 0 46194 17 0 0 25 0 1 0 1012504840 34992128 8197 4294967295 134512640 135215339 3216822128 3216820416 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/11381/statm: 8543 8197 73 172 0 8370 0
Current children cumulated CPU time (s) 462.34
Current children cumulated vsize (KiB) 36588
[startup+522.313 s]
/proc/loadavg: 1.10 1.03 1.01 2/99 13081
/proc/meminfo: memFree=1791044/2074464 swapFree=1949244/1959888
[pid=11375] ppid=11373 vsize=2416 CPUtime=0.23
/proc/11375/stat : 11375 (SatELiteGTI) S 11373 11375 16367 0 -1 4194304 386 2424 0 0 0 0 21 2 17 0 1 0 1012504817 2473984 278 4294967295 134512640 135169312 3216678640 3216674856 3085864686 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/11375/statm: 604 278 235 161 0 43 0
[pid=11381] ppid=11375 vsize=34568 CPUtime=522.11
/proc/11381/stat : 11381 (minisat_static) R 11375 11375 16367 0 -1 4202496 8369 0 0 0 52194 17 0 0 25 0 1 0 1012504840 35397632 8303 4294967295 134512640 135215339 3216822128 3216820416 134528742 0 0 0 3 0 0 0 17 2 0 0 0
/proc/11381/statm: 8642 8303 73 172 0 8469 0
Current children cumulated CPU time (s) 522.34
Current children cumulated vsize (KiB) 36984
[startup+582.31 s]
/proc/loadavg: 1.04 1.02 1.00 3/99 13268
/proc/meminfo: memFree=1788664/2074464 swapFree=1949244/1959888
[pid=11375] ppid=11373 vsize=2416 CPUtime=0.23
/proc/11375/stat : 11375 (SatELiteGTI) S 11373 11375 16367 0 -1 4194304 386 2424 0 0 0 0 21 2 17 0 1 0 1012504817 2473984 278 4294967295 134512640 135169312 3216678640 3216674856 3085864686 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/11375/statm: 604 278 235 161 0 43 0
[pid=11381] ppid=11375 vsize=36824 CPUtime=582.11
/proc/11381/stat : 11381 (minisat_static) R 11375 11375 16367 0 -1 4202496 8912 0 0 0 58194 17 0 0 25 0 1 0 1012504840 37707776 8846 4294967295 134512640 135215339 3216822128 3216820416 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/11381/statm: 9206 8846 73 172 0 9033 0
Current children cumulated CPU time (s) 582.34
Current children cumulated vsize (KiB) 39240
[startup+642.317 s]
/proc/loadavg: 1.01 1.01 1.00 3/99 13458
/proc/meminfo: memFree=1788656/2074464 swapFree=1949244/1959888
[pid=11375] ppid=11373 vsize=2416 CPUtime=0.23
/proc/11375/stat : 11375 (SatELiteGTI) S 11373 11375 16367 0 -1 4194304 386 2424 0 0 0 0 21 2 17 0 1 0 1012504817 2473984 278 4294967295 134512640 135169312 3216678640 3216674856 3085864686 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/11375/statm: 604 278 235 161 0 43 0
[pid=11381] ppid=11375 vsize=36824 CPUtime=642.12
/proc/11381/stat : 11381 (minisat_static) R 11375 11375 16367 0 -1 4202496 8914 0 0 0 64194 18 0 0 25 0 1 0 1012504840 37707776 8848 4294967295 134512640 135215339 3216822128 3216820416 134528728 0 0 0 3 0 0 0 17 2 0 0 0
/proc/11381/statm: 9206 8848 73 172 0 9033 0
Current children cumulated CPU time (s) 642.35
Current children cumulated vsize (KiB) 39240
[startup+702.313 s]
/proc/loadavg: 1.00 1.01 1.00 2/99 13645
/proc/meminfo: memFree=1788292/2074464 swapFree=1949244/1959888
[pid=11375] ppid=11373 vsize=2416 CPUtime=0.23
/proc/11375/stat : 11375 (SatELiteGTI) S 11373 11375 16367 0 -1 4194304 386 2424 0 0 0 0 21 2 17 0 1 0 1012504817 2473984 278 4294967295 134512640 135169312 3216678640 3216674856 3085864686 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/11375/statm: 604 278 235 161 0 43 0
[pid=11381] ppid=11375 vsize=36964 CPUtime=702.12
/proc/11381/stat : 11381 (minisat_static) R 11375 11375 16367 0 -1 4202496 8942 0 0 0 70194 18 0 0 25 0 1 0 1012504840 37851136 8876 4294967295 134512640 135215339 3216822128 3216820416 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/11381/statm: 9241 8876 73 172 0 9068 0
Current children cumulated CPU time (s) 702.35
Current children cumulated vsize (KiB) 39380
[startup+762.32 s]
/proc/loadavg: 1.11 1.03 1.01 2/99 13834
/proc/meminfo: memFree=1786572/2074464 swapFree=1949244/1959888
[pid=11375] ppid=11373 vsize=2416 CPUtime=0.23
/proc/11375/stat : 11375 (SatELiteGTI) S 11373 11375 16367 0 -1 4194304 386 2424 0 0 0 0 21 2 17 0 1 0 1012504817 2473984 278 4294967295 134512640 135169312 3216678640 3216674856 3085864686 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/11375/statm: 604 278 235 161 0 43 0
[pid=11381] ppid=11375 vsize=38604 CPUtime=762.13
/proc/11381/stat : 11381 (minisat_static) R 11375 11375 16367 0 -1 4202496 9359 0 0 0 76195 18 0 0 25 0 1 0 1012504840 39530496 9293 4294967295 134512640 135215339 3216822128 3216820416 134529065 0 0 0 3 0 0 0 17 2 0 0 0
/proc/11381/statm: 9651 9293 73 172 0 9478 0
Current children cumulated CPU time (s) 762.36
Current children cumulated vsize (KiB) 41020
[startup+822.317 s]
/proc/loadavg: 1.04 1.03 1.00 2/99 14025
/proc/meminfo: memFree=1786572/2074464 swapFree=1949244/1959888
[pid=11375] ppid=11373 vsize=2416 CPUtime=0.23
/proc/11375/stat : 11375 (SatELiteGTI) S 11373 11375 16367 0 -1 4194304 386 2424 0 0 0 0 21 2 17 0 1 0 1012504817 2473984 278 4294967295 134512640 135169312 3216678640 3216674856 3085864686 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/11375/statm: 604 278 235 161 0 43 0
[pid=11381] ppid=11375 vsize=38684 CPUtime=822.13
/proc/11381/stat : 11381 (minisat_static) R 11375 11375 16367 0 -1 4202496 9405 0 0 0 82195 18 0 0 25 0 1 0 1012504840 39612416 9339 4294967295 134512640 135215339 3216822128 3216820416 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/11381/statm: 9671 9339 73 172 0 9498 0
Current children cumulated CPU time (s) 822.36
Current children cumulated vsize (KiB) 41100
[startup+882.313 s]
/proc/loadavg: 1.01 1.02 1.00 2/99 14212
/proc/meminfo: memFree=1786200/2074464 swapFree=1949244/1959888
[pid=11375] ppid=11373 vsize=2416 CPUtime=0.23
/proc/11375/stat : 11375 (SatELiteGTI) S 11373 11375 16367 0 -1 4194304 386 2424 0 0 0 0 21 2 17 0 1 0 1012504817 2473984 278 4294967295 134512640 135169312 3216678640 3216674856 3085864686 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/11375/statm: 604 278 235 161 0 43 0
[pid=11381] ppid=11375 vsize=39112 CPUtime=882.13
/proc/11381/stat : 11381 (minisat_static) R 11375 11375 16367 0 -1 4202496 9479 0 0 0 88195 18 0 0 25 0 1 0 1012504840 40050688 9413 4294967295 134512640 135215339 3216822128 3216820416 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/11381/statm: 9778 9413 73 172 0 9605 0
Current children cumulated CPU time (s) 882.36
Current children cumulated vsize (KiB) 41528
[startup+942.31 s]
/proc/loadavg: 1.00 1.01 1.00 2/99 14401
/proc/meminfo: memFree=1786076/2074464 swapFree=1949244/1959888
[pid=11375] ppid=11373 vsize=2416 CPUtime=0.23
/proc/11375/stat : 11375 (SatELiteGTI) S 11373 11375 16367 0 -1 4194304 386 2424 0 0 0 0 21 2 17 0 1 0 1012504817 2473984 278 4294967295 134512640 135169312 3216678640 3216674856 3085864686 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/11375/statm: 604 278 235 161 0 43 0
[pid=11381] ppid=11375 vsize=39276 CPUtime=942.13
/proc/11381/stat : 11381 (minisat_static) R 11375 11375 16367 0 -1 4202496 9524 0 0 0 94195 18 0 0 25 0 1 0 1012504840 40218624 9458 4294967295 134512640 135215339 3216822128 3216820416 134528728 0 0 0 3 0 0 0 17 2 0 0 0
/proc/11381/statm: 9819 9458 73 172 0 9646 0
Current children cumulated CPU time (s) 942.36
Current children cumulated vsize (KiB) 41692
[startup+1002.32 s]
/proc/loadavg: 1.00 1.01 1.00 3/99 14588
/proc/meminfo: memFree=1785720/2074464 swapFree=1949244/1959888
[pid=11375] ppid=11373 vsize=2416 CPUtime=0.23
/proc/11375/stat : 11375 (SatELiteGTI) S 11373 11375 16367 0 -1 4194304 386 2424 0 0 0 0 21 2 17 0 1 0 1012504817 2473984 278 4294967295 134512640 135169312 3216678640 3216674856 3085864686 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/11375/statm: 604 278 235 161 0 43 0
[pid=11381] ppid=11375 vsize=39604 CPUtime=1002.14
/proc/11381/stat : 11381 (minisat_static) R 11375 11375 16367 0 -1 4202496 9615 0 0 0 100196 18 0 0 25 0 1 0 1012504840 40554496 9549 4294967295 134512640 135215339 3216822128 3216820416 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/11381/statm: 9901 9549 73 172 0 9728 0
Current children cumulated CPU time (s) 1002.37
Current children cumulated vsize (KiB) 42020
[startup+1062.31 s]
/proc/loadavg: 1.15 1.04 1.01 2/99 14777
/proc/meminfo: memFree=1785712/2074464 swapFree=1949244/1959888
[pid=11375] ppid=11373 vsize=2416 CPUtime=0.23
/proc/11375/stat : 11375 (SatELiteGTI) S 11373 11375 16367 0 -1 4194304 386 2424 0 0 0 0 21 2 17 0 1 0 1012504817 2473984 278 4294967295 134512640 135169312 3216678640 3216674856 3085864686 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/11375/statm: 604 278 235 161 0 43 0
[pid=11381] ppid=11375 vsize=39604 CPUtime=1062.14
/proc/11381/stat : 11381 (minisat_static) R 11375 11375 16367 0 -1 4202496 9618 0 0 0 106196 18 0 0 25 0 1 0 1012504840 40554496 9552 4294967295 134512640 135215339 3216822128 3216820416 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/11381/statm: 9901 9552 73 172 0 9728 0
Current children cumulated CPU time (s) 1062.37
Current children cumulated vsize (KiB) 42020
[startup+1122.32 s]
/proc/loadavg: 1.05 1.03 1.00 2/99 14964
/proc/meminfo: memFree=1785588/2074464 swapFree=1949244/1959888
[pid=11375] ppid=11373 vsize=2416 CPUtime=0.23
/proc/11375/stat : 11375 (SatELiteGTI) S 11373 11375 16367 0 -1 4194304 386 2424 0 0 0 0 21 2 17 0 1 0 1012504817 2473984 278 4294967295 134512640 135169312 3216678640 3216674856 3085864686 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/11375/statm: 604 278 235 161 0 43 0
[pid=11381] ppid=11375 vsize=39768 CPUtime=1122.15
/proc/11381/stat : 11381 (minisat_static) R 11375 11375 16367 0 -1 4202496 9647 0 0 0 112197 18 0 0 25 0 1 0 1012504840 40722432 9581 4294967295 134512640 135215339 3216822128 3216820416 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/11381/statm: 9942 9581 73 172 0 9769 0
Current children cumulated CPU time (s) 1122.38
Current children cumulated vsize (KiB) 42184
[startup+1182.32 s]
/proc/loadavg: 1.02 1.02 1.00 3/99 15155
/proc/meminfo: memFree=1785564/2074464 swapFree=1949244/1959888
[pid=11375] ppid=11373 vsize=2416 CPUtime=0.23
/proc/11375/stat : 11375 (SatELiteGTI) S 11373 11375 16367 0 -1 4194304 386 2424 0 0 0 0 21 2 17 0 1 0 1012504817 2473984 278 4294967295 134512640 135169312 3216678640 3216674856 3085864686 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/11375/statm: 604 278 235 161 0 43 0
[pid=11381] ppid=11375 vsize=39768 CPUtime=1182.15
/proc/11381/stat : 11381 (minisat_static) R 11375 11375 16367 0 -1 4202496 9647 0 0 0 118197 18 0 0 25 0 1 0 1012504840 40722432 9581 4294967295 134512640 135215339 3216822128 3216820416 134528624 0 0 0 3 0 0 0 17 2 0 0 0
/proc/11381/statm: 9942 9581 73 172 0 9769 0
Current children cumulated CPU time (s) 1182.38
Current children cumulated vsize (KiB) 42184
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.01 s]
/proc/loadavg: 1.01 1.02 1.00 3/99 15158
/proc/meminfo: memFree=1785556/2074464 swapFree=1949244/1959888
[pid=11375] ppid=11373 vsize=2416 CPUtime=0.23
/proc/11375/stat : 11375 (SatELiteGTI) S 11373 11375 16367 0 -1 4194304 386 2424 0 0 0 0 21 2 17 0 1 0 1012504817 2473984 278 4294967295 134512640 135169312 3216678640 3216674856 3085864686 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/11375/statm: 604 278 235 161 0 43 0
[pid=11381] ppid=11375 vsize=39768 CPUtime=1199.84
/proc/11381/stat : 11381 (minisat_static) R 11375 11375 16367 0 -1 4202496 9647 0 0 0 119966 18 0 0 25 0 1 0 1012504840 40722432 9581 4294967295 134512640 135215339 3216822128 3216820416 134528673 0 0 0 3 0 0 0 17 2 0 0 0
/proc/11381/statm: 9942 9581 73 172 0 9769 0
Current children cumulated CPU time (s) 1200.07
Current children cumulated vsize (KiB) 42184
Sending SIGTERM to process tree (bottom up)
Sleeping Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1200.02
CPU time (s): 1200.08
CPU user time (s): 1199.87
CPU system time (s): 0.21
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 42184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.87
system time used= 0.21
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12732
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= 22
involuntary context switches= 1502
runsolver used 0.01 second user time and 0.07 second system time
The end
Begin job on tipi11 at 2009-05-16 15:20:38
IDJOB=1820818
IDBENCH=69604
IDSOLVER=657
FILE ID=tipi11/1820818-1242480038
PBS_JOBID=
Free space on /tmp= 9936 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT_RACE08/cnf/goldb-heqc-dalumul.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1820818-1242480038/watcher-1820818-1242480038 -o /tmp/evaluation-result-1820818-1242480038/solver-1820818-1242480038 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820818-1242480038.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= f03acb1e2f3063539a5fb2ac1bbf6244
RANDOM SEED= 1676076294
Linux tipi11 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.431
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3618.40
processor : 1
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.431
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.431
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.79
processor : 3
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.431
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: 1826340 kB
Buffers: 20580 kB
Cached: 157792 kB
SwapCached: 5224 kB
Active: 48264 kB
Inactive: 141840 kB
HighTotal: 1178688 kB
HighFree: 1040880 kB
LowTotal: 895776 kB
LowFree: 785460 kB
SwapTotal: 1959888 kB
SwapFree: 1949244 kB
Dirty: 3024 kB
Writeback: 0 kB
AnonPages: 11024 kB
Mapped: 5024 kB
Slab: 49532 kB
PageTables: 516 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 2997120 kB
Committed_AS: 97124 kB
VmallocTotal: 114680 kB
VmallocUsed: 1324 kB
VmallocChunk: 113264 kB
Free space on /tmp at the end= 9936 MiB
End job on tipi11 at 2009-05-16 15:40:38