0.00/0.00 c Parsing...
0.00/0.05 c ==============================================================================
0.00/0.05 c | | ORIGINAL | LEARNT | |
0.00/0.05 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.05 c ==============================================================================
0.00/0.05 c | 0 | 59991 202888 | 17997 0 0 nan | 0.000 % |
0.08/0.14 c | 0 | 59810 202648 | -- 0 -- -- | -- | -181/-240
0.08/0.14 c ==============================================================================
0.08/0.14 c Result : #vars: 9363 #clauses: 59810 #literals: 202648
0.08/0.14 c CPU time: 0.12898 s
0.08/0.14 c ==============================================================================
0.19/0.20 c This is MiniSat 2.0 beta
0.19/0.20 c WARNING: for repeatability, setting FPU to use double precision
0.19/0.20 c ============================[ Problem Statistics ]=============================
0.19/0.20 c | |
0.19/0.20 c | Number of variables: 9363 |
0.19/0.20 c | Number of clauses: 59810 |
0.19/0.24 c | Parsing time: 0.03 s |
0.19/0.24 c ============================[ Search Statistics ]==============================
0.19/0.24 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.19/0.24 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.19/0.24 c ===============================================================================
0.19/0.24 c | 0 | 9363 59810 202648 | 19936 0 nan | 0.000 % |
0.19/0.26 c | 100 | 9360 59810 202648 | 19936 97 7 | 0.032 % |
0.19/0.29 c | 200 | 9358 59810 202648 | 19936 195 6 | 0.054 % |
0.19/0.32 c | 301 | 9356 59717 202342 | 19936 284 6 | 0.075 % |
0.19/0.34 c | 413 | 9356 59717 202342 | 19936 396 5 | 0.075 % |
0.19/0.36 c | 513 | 9351 59717 202342 | 19936 490 6 | 0.150 % |
0.19/0.38 c | 623 | 9344 59717 202342 | 19936 594 6 | 0.225 % |
0.19/0.41 c | 744 | 9340 59536 201738 | 19936 695 6 | 0.246 % |
0.19/0.44 c | 844 | 9338 59536 201738 | 19936 793 6 | 0.267 % |
0.19/0.48 c | 954 | 9337 59536 201738 | 19936 902 6 | 0.278 % |
0.19/0.50 c | 1076 | 9337 59486 201571 | 19936 1020 6 | 0.278 % |
0.19/0.52 c | 1209 | 9336 59486 201571 | 19936 1152 6 | 0.288 % |
0.19/0.54 c | 1309 | 9332 59486 201571 | 19936 1249 6 | 0.331 % |
0.19/0.61 c | 1419 | 9332 59486 201571 | 19936 1359 6 | 0.331 % |
0.19/0.63 c | 1540 | 9332 59419 201348 | 19936 1475 6 | 0.331 % |
0.19/0.68 c | 1673 | 9328 59419 201348 | 19936 1604 6 | 0.374 % |
0.19/0.74 c | 1819 | 9325 59354 201126 | 19936 1743 6 | 0.406 % |
0.19/0.76 c | 1920 | 9325 59354 201126 | 19936 1844 7 | 0.406 % |
0.19/0.80 c | 2030 | 9323 59298 200942 | 19936 1947 7 | 0.427 % |
0.19/0.84 c | 2154 | 9321 59298 200942 | 19936 2069 8 | 0.470 % |
0.19/0.89 c | 2287 | 9319 59298 200942 | 19936 2202 8 | 0.470 % |
0.19/0.93 c | 2433 | 9319 59221 200683 | 19936 2337 8 | 0.470 % |
0.19/1.00 c | 2593 | 9318 59221 200683 | 19936 2496 8 | 0.481 % |
0.98/1.04 c | 2693 | 9313 59212 200653 | 19936 2589 8 | 0.534 % |
0.98/1.05 c | 2804 | 9312 59212 200653 | 19936 2699 8 | 0.545 % |
1.08/1.11 c | 2925 | 9311 59212 200653 | 19936 2819 8 | 0.566 % |
1.08/1.16 c | 3058 | 9306 59119 200353 | 19936 2933 8 | 0.619 % |
1.08/1.20 c | 3204 | 9301 59119 200353 | 19936 3075 8 | 0.662 % |
1.17/1.25 c | 3364 | 9301 59030 200064 | 19936 3224 8 | 0.662 % |
1.17/1.30 c | 3540 | 9300 59030 200064 | 19936 3399 9 | 0.673 % |
1.27/1.33 c | 3640 | 9300 59015 200014 | 19936 3497 9 | 0.673 % |
1.27/1.37 c | 3751 | 9298 59015 200014 | 19936 3607 9 | 0.694 % |
1.37/1.44 c | 3872 | 9298 59015 200014 | 19936 3728 9 | 0.694 % |
1.37/1.48 c | 4005 | 9294 58999 199965 | 19936 3857 9 | 0.737 % |
1.47/1.51 c | 4151 | 9293 58999 199965 | 19936 4002 9 | 0.748 % |
1.47/1.56 c | 4312 | 9293 58999 199965 | 19936 4163 9 | 0.748 % |
1.57/1.60 c | 4488 | 9292 58923 199707 | 19936 4333 9 | 0.758 % |
1.57/1.67 c | 4684 | 9292 58923 199707 | 19936 4529 11 | 0.759 % |
1.67/1.71 c | 4784 | 9291 58913 199674 | 19936 4625 11 | 0.769 % |
1.67/1.77 c | 4894 | 9291 58913 199674 | 19936 4735 11 | 0.769 % |
1.77/1.81 c | 5015 | 9288 58880 199567 | 19936 4841 11 | 0.801 % |
1.77/1.86 c | 5148 | 9281 58880 199567 | 19936 4968 11 | 0.887 % |
1.87/1.92 c | 5294 | 9281 58880 199567 | 19936 5114 11 | 0.887 % |
1.87/1.99 c | 5455 | 9280 58667 198837 | 19936 5254 11 | 0.886 % |
1.97/2.05 c | 5631 | 9280 58667 198837 | 19936 5430 11 | 0.887 % |
2.07/2.13 c | 5824 | 9280 58667 198837 | 19936 5623 11 | 0.887 % |
2.17/2.25 c | 6036 | 9277 58658 198807 | 19936 5830 11 | 0.919 % |
2.17/2.28 c | 6136 | 9277 58658 198807 | 19936 5930 11 | 0.919 % |
2.27/2.31 c | 6247 | 9277 58627 198699 | 19936 6040 11 | 0.919 % |
2.27/2.34 c | 6368 | 9275 58627 198699 | 19936 6159 11 | 0.940 % |
2.27/2.36 c | 6501 | 9275 58627 198699 | 19936 6292 12 | 0.940 % |
2.37/2.41 c | 6647 | 9275 58627 198699 | 19936 6437 12 | 0.951 % |
2.37/2.46 c | 6807 | 9273 58590 198578 | 19936 6591 12 | 0.961 % |
2.46/2.56 c | 6984 | 9273 58590 198578 | 19936 6768 12 | 0.961 % |
2.56/2.62 c | 7179 | 9273 58580 198545 | 19936 6961 12 | 0.962 % |
2.56/2.66 c | 7391 | 9273 58580 198545 | 19936 7173 13 | 0.961 % |
2.66/2.74 c | 7625 | 9272 58580 198545 | 19936 7406 13 | 0.972 % |
2.66/2.79 c | 7725 | 9271 58571 198515 | 19936 7503 13 | 0.983 % |
2.76/2.86 c | 7835 | 9271 58571 198515 | 19936 7613 13 | 0.983 % |
2.86/2.90 c | 7957 | 9271 58571 198515 | 19936 7735 13 | 0.983 % |
2.86/2.93 c | 8090 | 9271 58561 198482 | 19936 7866 13 | 0.983 % |
2.86/2.99 c | 8237 | 9271 58561 198482 | 19936 8013 14 | 0.983 % |
2.96/3.02 c | 8397 | 9271 58561 198482 | 19936 8173 14 | 0.983 % |
2.96/3.09 c | 8573 | 9270 58554 198458 | 19936 8348 14 | 0.994 % |
3.06/3.14 c | 8766 | 9268 58554 198458 | 19936 8539 14 | 1.015 % |
3.06/3.20 c | 8978 | 9268 58554 198458 | 19936 8751 15 | 1.015 % |
3.17/3.27 c | 9211 | 9268 58554 198458 | 19936 8984 15 | 1.015 % |
3.27/3.33 c | 9467 | 9267 58522 198352 | 19936 9235 15 | 1.025 % |
3.27/3.37 c | 9567 | 9267 58522 198352 | 19936 9335 15 | 1.025 % |
3.36/3.41 c | 9678 | 9265 58522 198352 | 19936 9444 15 | 1.057 % |
3.36/3.46 c | 9801 | 9265 58522 198352 | 19936 9567 15 | 1.057 % |
3.46/3.50 c | 9934 | 9264 58470 198177 | 19936 9689 15 | 1.058 % |
3.46/3.54 c | 10081 | 9264 58470 198177 | 2147483647 9836 15 | 1.058 % |
3.46/3.58 c | 10241 | 9264 58470 198177 | 2147483647 9996 15 | 1.057 % |
3.56/3.64 c | 10417 | 9261 58470 198177 | 2147483647 10170 15 | 1.089 % |
3.66/3.70 c | 10610 | 9259 58443 198091 | 2147483647 10359 15 | 1.111 % |
3.66/3.79 c | 10822 | 9259 58443 198091 | 2147483647 10571 15 | 1.111 % |
3.76/3.84 c | 11057 | 9259 58443 198091 | 2147483647 10806 16 | 1.111 % |
3.86/3.97 c | 11314 | 9259 58381 197879 | 2147483647 11059 16 | 1.111 % |
3.97/4.04 c | 11595 | 9259 58381 197879 | 2147483647 11340 16 | 1.111 % |
3.97/4.09 c | 11695 | 9259 58381 197879 | 2147483647 11440 17 | 1.111 % |
4.07/4.13 c | 11806 | 9259 58381 197879 | 2147483647 11551 17 | 1.111 % |
4.07/4.17 c | 11928 | 9259 58381 197879 | 2147483647 11673 17 | 1.111 % |
4.17/4.21 c | 12061 | 9259 58381 197879 | 2147483647 11806 17 | 1.111 % |
4.17/4.27 c | 12208 | 9258 58371 197846 | 2147483647 11952 17 | 1.121 % |
4.27/4.34 c | 12368 | 9257 58371 197846 | 2147483647 12111 17 | 1.132 % |
4.37/4.41 c | 12545 | 9256 58371 197846 | 2147483647 12287 17 | 1.143 % |
4.37/4.47 c | 12738 | 9255 58371 197846 | 2147483647 12479 17 | 1.153 % |
4.47/4.55 c | 12953 | 9255 58346 197767 | 2147483647 12690 17 | 1.153 % |
4.57/4.61 c | 13186 | 9255 58346 197767 | 2147483647 12923 17 | 1.153 % |
4.57/4.69 c | 13445 | 9255 58346 197767 | 2147483647 13182 18 | 1.153 % |
4.66/4.80 c | 13726 | 9255 58346 197767 | 2147483647 13463 18 | 1.153 % |
4.76/4.87 c | 14035 | 9255 58346 197767 | 2147483647 13772 18 | 1.154 % |
4.86/4.93 c | 14135 | 9255 58346 197767 | 2147483647 13872 18 | 1.154 % |
4.86/4.96 c | 14246 | 9255 58346 197767 | 2147483647 13983 18 | 1.154 % |
4.86/5.00 c | 14368 | 9254 58338 197740 | 2147483647 14102 19 | 1.164 % |
4.96/5.03 c | 14501 | 9254 58338 197740 | 2147483647 14235 19 | 1.164 % |
5.06/5.10 c | 14647 | 9254 58338 197740 | 2147483647 14381 19 | 1.164 % |
5.06/5.14 c | 14807 | 9254 58338 197740 | 2147483647 14541 19 | 1.164 % |
5.16/5.24 c | 14983 | 9254 58338 197740 | 2147483647 14717 20 | 1.164 % |
5.26/5.33 c | 15176 | 9254 58338 197740 | 2147483647 14910 20 | 1.164 % |
5.37/5.40 c | 15388 | 9254 58338 197740 | 2147483647 15122 20 | 1.165 % |
5.47/5.51 c | 15621 | 9254 58338 197740 | 2147483647 15355 20 | 1.165 % |
5.47/5.59 c | 15877 | 9254 58338 197740 | 2147483647 15611 20 | 1.164 % |
5.56/5.65 c | 16158 | 9254 58338 197740 | 2147483647 15892 20 | 1.165 % |
5.66/5.72 c | 16471 | 9254 58338 197740 | 2147483647 16205 20 | 1.164 % |
5.76/5.82 c | 16810 | 9254 58338 197740 | 2147483647 16544 20 | 1.164 % |
5.76/5.84 c | 16911 | 9254 58338 197740 | 2147483647 16645 20 | 1.164 % |
5.76/5.88 c | 17021 | 9254 58338 197740 | 2147483647 16755 20 | 1.164 % |
5.86/5.95 c | 17143 | 9254 58338 197740 | 2147483647 16877 21 | 1.165 % |
5.86/5.97 c | 17276 | 9254 58338 197740 | 2147483647 17010 21 | 1.164 % |
5.96/6.01 c | 17422 | 9254 58338 197740 | 2147483647 17156 21 | 1.164 % |
5.96/6.08 c | 17583 | 9254 58338 197740 | 2147483647 17317 21 | 1.164 % |
6.06/6.17 c | 17759 | 9254 58338 197740 | 2147483647 17493 21 | 1.164 % |
6.16/6.23 c | 17952 | 9254 58338 197740 | 2147483647 17686 21 | 1.164 % |
6.26/6.31 c | 18167 | 9254 58338 197740 | 2147483647 17901 21 | 1.165 % |
6.26/6.38 c | 18400 | 9254 58338 197740 | 2147483647 18134 21 | 1.164 % |
6.36/6.44 c | 18656 | 9254 58338 197740 | 2147483647 18390 21 | 1.164 % |
6.56/6.61 c | 18937 | 9254 58338 197740 | 2147483647 18671 22 | 1.164 % |
6.66/6.74 c | 19246 | 9254 58338 197740 | 2147483647 18980 22 | 1.164 % |
6.76/6.87 c | 19588 | 9251 58300 197609 | 2147483647 19317 22 | 1.196 % |
6.86/6.94 c | 19960 | 9251 58300 197609 | 2147483647 19689 22 | 1.196 % |
6.96/7.00 c | 20061 | 9250 58300 197609 | 2147483647 19788 22 | 1.218 % |
6.96/7.07 c | 20172 | 9249 58300 197609 | 2147483647 19898 22 | 1.229 % |
7.06/7.12 c | 20294 | 9249 58300 197609 | 2147483647 20020 22 | 1.228 % |
7.06/7.16 c | 20430 | 9249 58300 197609 | 2147483647 20156 22 | 1.228 % |
7.16/7.22 c | 20578 | 9249 58300 197609 | 2147483647 20304 22 | 1.228 % |
7.26/7.31 c | 20738 | 9248 58256 197457 | 2147483647 20456 23 | 1.228 % |
7.35/7.41 c | 20915 | 9248 58256 197457 | 2147483647 20633 23 | 1.228 % |
7.35/7.49 c | 21108 | 9246 58256 197457 | 2147483647 20823 23 | 1.261 % |
7.45/7.59 c | 21322 | 9246 58256 197457 | 2147483647 21037 23 | 1.261 % |
7.56/7.65 c | 21555 | 9245 58228 197368 | 2147483647 21263 23 | 1.261 % |
7.66/7.75 c | 21812 | 9245 58228 197368 | 2147483647 21520 23 | 1.261 % |
7.85/7.90 c | 22096 | 9243 58228 197368 | 2147483647 21802 23 | 1.303 % |
8.05/8.18 c | 22405 | 9243 58228 197368 | 2147483647 22111 23 | 1.303 % |
8.25/8.30 c | 22744 | 9241 58176 197197 | 2147483647 22439 24 | 1.303 % |
8.35/8.44 c | 23116 | 9241 58176 197197 | 2147483647 22811 24 | 1.303 % |
8.55/8.60 c | 23525 | 9241 58176 197197 | 2147483647 23220 24 | 1.303 % |
8.55/8.68 c | 23626 | 9241 58176 197197 | 2147483647 23321 24 | 1.303 % |
8.66/8.71 c | 23736 | 9241 58176 197197 | 2147483647 23431 24 | 1.303 % |
8.66/8.78 c | 23857 | 9241 58176 197197 | 2147483647 23552 24 | 1.303 % |
8.76/8.86 c | 23990 | 9241 58176 197197 | 2147483647 23685 24 | 1.303 % |
8.85/8.94 c | 24136 | 9237 58163 197156 | 2147483647 23827 23 | 1.357 % |
8.85/8.98 c | 24296 | 9237 58163 197156 | 2147483647 23987 23 | 1.357 % |
8.95/9.06 c | 24473 | 9237 58163 197156 | 2147483647 24164 23 | 1.356 % |
9.05/9.17 c | 24667 | 9236 58163 197156 | 2147483647 24357 23 | 1.368 % |
9.15/9.28 c | 24880 | 9235 58163 197156 | 2147483647 24569 24 | 1.378 % |
9.25/9.39 c | 25113 | 9235 58163 197156 | 2147483647 24802 24 | 1.378 % |
9.45/9.53 c | 25369 | 9235 58163 197156 | 2147483647 25058 24 | 1.378 % |
9.65/9.70 c | 25650 | 9231 58087 196901 | 2147483647 25325 24 | 1.410 % |
9.76/9.81 c | 25959 | 9230 58087 196901 | 2147483647 25633 24 | 1.421 % |
9.76/9.88 c | 26298 | 9230 58087 196901 | 2147483647 25972 24 | 1.421 % |
9.95/10.08 c | 26670 | 9229 58087 196901 | 2147483647 26343 24 | 1.431 % |
10.15/10.27 c | 27081 | 9228 58021 196684 | 2147483647 26741 25 | 1.442 % |
10.45/10.50 c | 27530 | 9227 58021 196684 | 2147483647 27189 25 | 1.453 % |
10.45/10.56 c | 27631 | 9227 58021 196684 | 2147483647 27290 25 | 1.453 % |
10.55/10.64 c | 27741 | 9227 58021 196684 | 2147483647 27400 25 | 1.453 % |
10.65/10.73 c | 27865 | 9227 58021 196684 | 2147483647 27524 25 | 1.453 % |
10.75/10.80 c | 27998 | 9227 58021 196684 | 2147483647 27657 25 | 1.453 % |
10.85/10.91 c | 28145 | 9225 58006 196634 | 2147483647 27801 25 | 1.474 % |
10.95/11.01 c | 28308 | 9225 58006 196634 | 2147483647 27964 25 | 1.474 % |
10.95/11.08 c | 28485 | 9225 58006 196634 | 2147483647 28141 25 | 1.474 % |
11.05/11.17 c | 28679 | 9223 58006 196634 | 2147483647 28333 25 | 1.496 % |
11.15/11.23 c | 28891 | 9223 58006 196634 | 2147483647 28545 25 | 1.495 % |
11.15/11.29 c | 29124 | 9223 58006 196634 | 2147483647 28778 25 | 1.495 % |
11.25/11.38 c | 29380 | 9223 58006 196634 | 2147483647 29034 25 | 1.495 % |
11.35/11.47 c | 29661 | 9223 58006 196634 | 2147483647 29315 25 | 1.495 % |
11.45/11.57 c | 29972 | 9223 58006 196634 | 2147483647 29626 25 | 1.495 % |
11.55/11.68 c | 30311 | 9223 57974 196535 | 2147483647 29960 25 | 1.495 % |
11.65/11.78 c | 30684 | 9223 57974 196535 | 2147483647 30333 25 | 1.495 % |
11.86/11.94 c | 31093 | 9223 57974 196535 | 2147483647 30742 25 | 1.495 % |
12.16/12.23 c | 31542 | 9223 57974 196535 | 2147483647 31191 25 | 1.495 % |
12.26/12.38 c | 32035 | 9223 57974 196535 | 2147483647 31684 25 | 1.495 % |
12.36/12.46 c | 32138 | 9223 57974 196535 | 2147483647 31787 25 | 1.495 % |
12.45/12.54 c | 32249 | 9223 57974 196535 | 2147483647 31898 25 | 1.495 % |
12.55/12.61 c | 32371 | 9223 57974 196535 | 2147483647 32020 25 | 1.495 % |
12.65/12.73 c | 32505 | 9223 57974 196535 | 2147483647 32154 25 | 1.495 % |
12.75/12.85 c | 32651 | 9222 57968 196517 | 2147483647 32298 25 | 1.506 % |
12.85/12.96 c | 32811 | 9222 57968 196517 | 2147483647 32458 25 | 1.506 % |
12.95/13.03 c | 32987 | 9222 57968 196517 | 2147483647 32634 25 | 1.506 % |
13.05/13.14 c | 33180 | 9222 57968 196517 | 2147483647 32827 25 | 1.506 % |
13.05/13.19 c | 33392 | 9222 57968 196517 | 2147483647 33039 25 | 1.506 % |
13.25/13.32 c | 33625 | 9222 57968 196517 | 2147483647 33272 25 | 1.506 % |
13.35/13.41 c | 33882 | 9222 57968 196517 | 2147483647 33529 25 | 1.506 % |
13.45/13.53 c | 34164 | 9222 57968 196517 | 2147483647 33810 26 | 1.517 % |
13.55/13.61 c | 34473 | 9222 57968 196517 | 2147483647 34119 26 | 1.517 % |
13.75/13.80 c | 34812 | 9221 57951 196455 | 2147483647 34455 26 | 1.517 % |
13.85/13.92 c | 35184 | 9221 57951 196455 | 2147483647 34827 26 | 1.517 % |
13.95/14.07 c | 35593 | 9221 57951 196455 | 2147483647 35236 26 | 1.517 % |
14.25/14.36 c | 36043 | 9220 57951 196455 | 2147483647 35685 26 | 1.549 % |
14.54/14.64 c | 36536 | 9220 57951 196455 | 2147483647 36178 26 | 1.549 % |
15.04/15.12 c | 37079 | 9218 57923 196362 | 2147483647 36713 26 | 1.549 % |
15.04/15.17 c | 37179 | 9218 57923 196362 | 2147483647 36813 26 | 1.549 % |
15.14/15.25 c | 37289 | 9218 57923 196362 | 2147483647 36923 26 | 1.549 % |
15.25/15.34 c | 37410 | 9216 57923 196362 | 2147483647 37043 26 | 1.570 % |
15.25/15.39 c | 37543 | 9216 57923 196362 | 2147483647 37176 26 | 1.570 % |
15.35/15.48 c | 37689 | 9216 57923 196362 | 2147483647 37322 26 | 1.570 % |
15.44/15.56 c | 37850 | 9216 57923 196362 | 2147483647 37483 26 | 1.570 % |
15.54/15.69 c | 38026 | 9216 57923 196362 | 2147483647 37659 26 | 1.570 % |
15.74/15.80 c | 38220 | 9216 57906 196305 | 2147483647 37851 26 | 1.570 % |
15.74/15.88 c | 38432 | 9216 57906 196305 | 2147483647 38063 26 | 1.570 % |
15.84/15.96 c | 38666 | 9216 57906 196305 | 2147483647 38297 26 | 1.571 % |
15.94/16.03 c | 38925 | 9216 57906 196305 | 2147483647 38556 26 | 1.570 % |
16.04/16.11 c | 39207 | 9216 57906 196305 | 2147483647 38838 26 | 1.570 % |
16.14/16.22 c | 39516 | 9216 57906 196305 | 2147483647 39147 26 | 1.570 % |
16.35/16.48 c | 39855 | 9216 57906 196305 | 2147483647 39486 26 | 1.570 % |
16.54/16.69 c | 40227 | 9215 57906 196305 | 2147483647 39857 26 | 1.581 % |
16.74/16.88 c | 40637 | 9215 57906 196305 | 2147483647 40267 26 | 1.581 % |
16.94/17.09 c | 41088 | 9215 57896 196272 | 2147483647 40717 26 | 1.581 % |
17.24/17.32 c | 41581 | 9215 57896 196272 | 2147483647 41210 26 | 1.581 % |
17.54/17.64 c | 42124 | 9215 57896 196272 | 2147483647 41753 26 | 1.581 % |
17.84/17.93 c | 42720 | 9214 57896 196272 | 2147483647 42348 26 | 1.592 % |
17.84/17.98 c | 42821 | 9214 57896 196272 | 2147483647 42449 26 | 1.591 % |
17.94/18.05 c | 42938 | 9214 57896 196272 | 2147483647 42566 26 | 1.592 % |
18.04/18.19 c | 43060 | 9213 57888 196245 | 2147483647 42685 26 | 1.603 % |
18.14/18.26 c | 43193 | 9213 57888 196245 | 2147483647 42818 26 | 1.602 % |
18.24/18.33 c | 43339 | 9213 57888 196245 | 2147483647 42964 26 | 1.602 % |
18.24/18.38 c | 43500 | 9213 57888 196245 | 2147483647 43125 26 | 1.602 % |
18.44/18.51 c | 43676 | 9213 57888 196245 | 2147483647 43301 26 | 1.602 % |
18.44/18.60 c | 43870 | 9213 57888 196245 | 2147483647 43495 26 | 1.602 % |
18.64/18.71 c | 44083 | 9213 57888 196245 | 2147483647 43708 26 | 1.602 % |
18.74/18.81 c | 44317 | 9213 57888 196245 | 2147483647 43942 26 | 1.602 % |
18.84/18.92 c | 44576 | 9213 57888 196245 | 2147483647 44201 26 | 1.603 % |
18.94/19.07 c | 44859 | 9213 57888 196245 | 2147483647 44484 26 | 1.602 % |
19.04/19.18 c | 45171 | 9213 57888 196245 | 2147483647 44796 26 | 1.602 % |
19.14/19.28 c | 45510 | 9213 57888 196245 | 2147483647 45135 26 | 1.602 % |
19.44/19.59 c | 45882 | 9213 57888 196245 | 2147483647 45507 26 | 1.603 % |
19.64/19.79 c | 46291 | 9213 57875 196199 | 2147483647 45911 26 | 1.602 % |
19.84/19.92 c | 46741 | 9213 57875 196199 | 2147483647 46361 26 | 1.602 % |
20.03/20.15 c | 47235 | 9213 57875 196199 | 2147483647 46855 27 | 1.602 % |
20.34/20.40 c | 47780 | 9213 57875 196199 | 2147483647 47400 27 | 1.602 % |
20.64/20.76 c | 48376 | 9213 57875 196199 | 2147483647 47996 27 | 1.602 % |
20.84/20.99 c | 49031 | 9212 57875 196199 | 2147483647 48650 27 | 1.613 % |
21.03/21.13 c | 49132 | 9212 57860 196149 | 2147483647 48747 27 | 1.613 % |
21.13/21.22 c | 49242 | 9211 57860 196149 | 2147483647 48856 27 | 1.624 % |
21.13/21.28 c | 49367 | 9211 57860 196149 | 2147483647 48981 27 | 1.624 % |
21.23/21.38 c | 49500 | 9211 57860 196149 | 2147483647 49114 27 | 1.623 % |
21.43/21.53 c | 49646 | 9211 57860 196149 | 2147483647 49259 27 | 1.634 % |
21.53/21.61 c | 49807 | 9211 57860 196149 | 2147483647 49420 27 | 1.634 % |
21.63/21.70 c | 49984 | 9211 57860 196149 | 2147483647 49597 27 | 1.634 % |
21.63/21.78 c | 50177 | 9211 57860 196149 | 2147483647 49790 27 | 1.634 % |
21.73/21.84 c | 50389 | 9211 57860 196149 | 2147483647 50002 27 | 1.634 % |
21.84/21.91 c | 50623 | 9211 57860 196149 | 2147483647 50236 27 | 1.634 % |
21.94/22.01 c | 50881 | 9211 57860 196149 | 2147483647 50494 27 | 1.634 % |
22.03/22.11 c | 51166 | 9211 57860 196149 | 2147483647 50779 27 | 1.634 % |
22.13/22.25 c | 51475 | 9211 57860 196149 | 2147483647 51088 27 | 1.634 % |
22.33/22.41 c | 51815 | 9211 57860 196149 | 2147483647 51428 27 | 1.634 % |
22.43/22.55 c | 52188 | 9211 57860 196149 | 2147483647 51801 27 | 1.634 % |
22.63/22.76 c | 52598 | 9211 57860 196149 | 2147483647 52211 27 | 1.634 % |
22.83/22.93 c | 53048 | 9210 57846 196101 | 2147483647 52659 27 | 1.634 % |
23.33/23.41 c | 53542 | 9210 57846 196101 | 2147483647 53153 27 | 1.634 % |
23.53/23.62 c | 54084 | 9210 57846 196101 | 2147483647 53695 27 | 1.634 % |
23.83/23.99 c | 54680 | 9210 57846 196101 | 2147483647 54291 27 | 1.634 % |
24.23/24.33 c | 55335 | 9210 57846 196101 | 2147483647 54946 27 | 1.634 % |
24.53/24.69 c | 56055 | 9210 57846 196101 | 2147483647 55666 27 | 1.634 % |
24.73/24.81 c | 56158 | 9210 57846 196101 | 2147483647 55769 27 | 1.634 % |
24.73/24.89 c | 56268 | 9210 57846 196101 | 2147483647 55879 27 | 1.634 % |
24.83/24.98 c | 56389 | 9210 57846 196101 | 2147483647 56000 27 | 1.635 % |
25.04/25.15 c | 56523 | 9210 57846 196101 | 2147483647 56134 27 | 1.634 % |
25.14/25.29 c | 56669 | 9210 57846 196101 | 2147483647 56280 27 | 1.634 % |
25.34/25.41 c | 56831 | 9210 57846 196101 | 2147483647 56442 27 | 1.635 % |
25.44/25.55 c | 57008 | 9210 57846 196101 | 2147483647 56619 27 | 1.634 % |
25.64/25.74 c | 57202 | 9210 57846 196101 | 2147483647 56813 27 | 1.635 % |
25.74/25.87 c | 57414 | 9210 57846 196101 | 2147483647 57025 27 | 1.634 % |
25.94/26.00 c | 57647 | 9210 57846 196101 | 2147483647 57258 27 | 1.634 % |
26.04/26.14 c | 57904 | 9210 57846 196101 | 2147483647 57515 27 | 1.634 % |
26.14/26.29 c | 58185 | 9210 57846 196101 | 2147483647 57796 27 | 1.634 % |
26.34/26.47 c | 58494 | 9210 57846 196101 | 2147483647 58105 27 | 1.634 % |
26.54/26.63 c | 58833 | 9210 57846 196101 | 2147483647 58444 27 | 1.634 % |
26.74/26.84 c | 59205 | 9210 57846 196101 | 2147483647 58816 27 | 1.634 % |
27.04/27.11 c | 59614 | 9210 57846 196101 | 2147483647 59225 27 | 1.634 % |
27.34/27.45 c | 60064 | 9210 57846 196101 | 2147483647 59675 27 | 1.634 % |
27.84/27.92 c | 60558 | 9210 57846 196101 | 2147483647 60169 27 | 1.634 % |
28.14/28.20 c | 61100 | 9210 57846 196101 | 2147483647 60711 27 | 1.634 % |
28.44/28.60 c | 61696 | 9210 57846 196101 | 2147483647 61307 27 | 1.635 % |
28.94/29.06 c | 62352 | 9210 57846 196101 | 2147483647 61963 28 | 1.635 % |
29.44/29.51 c | 63073 | 9207 57839 196080 | 2147483647 62680 28 | 1.667 % |
30.14/30.29 c | 63866 | 9207 57839 196080 | 2147483647 63473 28 | 1.667 % |
30.24/30.34 c | 63966 | 9207 57839 196080 | 2147483647 63573 28 | 1.666 % |
30.24/30.39 c | 64077 | 9207 57839 196080 | 2147483647 63684 28 | 1.666 % |
30.44/30.57 c | 64199 | 9207 57839 196080 | 2147483647 63806 28 | 1.666 % |
30.53/30.65 c | 64332 | 9207 57839 196080 | 2147483647 63939 28 | 1.666 % |
30.64/30.73 c | 64478 | 9207 57839 196080 | 2147483647 64085 28 | 1.667 % |
30.74/30.80 c | 64638 | 9207 57839 196080 | 2147483647 64245 28 | 1.666 % |
30.74/30.88 c | 64816 | 9207 57839 196080 | 2147483647 64423 28 | 1.667 % |
30.83/30.99 c | 65010 | 9207 57839 196080 | 2147483647 64617 28 | 1.667 % |
31.03/31.16 c | 65223 | 9207 57839 196080 | 2147483647 64830 28 | 1.666 % |
31.13/31.29 c | 65456 | 9207 57839 196080 | 2147483647 65063 28 | 1.667 % |
31.33/31.49 c | 65712 | 9207 57839 196080 | 2147483647 65319 28 | 1.667 % |
31.53/31.70 c | 65993 | 9207 57824 196032 | 2147483647 65596 28 | 1.667 % |
31.84/31.95 c | 66302 | 9207 57824 196032 | 2147483647 65904 28 | 1.687 % |
32.03/32.19 c | 66641 | 9207 57824 196032 | 2147483647 66243 28 | 1.687 % |
32.33/32.43 c | 67013 | 9207 57824 196032 | 2147483647 66615 28 | 1.687 % |
32.83/32.92 c | 67422 | 9207 57824 196032 | 2147483647 67024 28 | 1.687 % |
33.03/33.20 c | 67872 | 9207 57824 196032 | 2147483647 67474 28 | 1.687 % |
33.43/33.51 c | 68366 | 9207 57824 196032 | 2147483647 67968 28 | 1.687 % |
33.82/33.91 c | 68908 | 9207 57824 196032 | 2147483647 68510 28 | 1.687 % |
34.12/34.22 c | 69505 | 9207 57824 196032 | 2147483647 69107 28 | 1.687 % |
34.62/34.73 c | 70162 | 9205 57810 195987 | 2147483647 69761 28 | 1.688 % |
35.03/35.14 c | 70883 | 9205 57810 195987 | 2147483647 70482 28 | 1.688 % |
35.42/35.58 c | 71675 | 9205 57810 195987 | 2147483647 71274 28 | 1.687 % |
36.13/36.22 c | 72546 | 9205 57810 195987 | 2147483647 72145 28 | 1.688 % |
36.23/36.36 c | 72646 | 9205 57810 195987 | 2147483647 72245 28 | 1.688 % |
36.32/36.44 c | 72757 | 9205 57810 195987 | 2147483647 72356 28 | 1.687 % |
36.42/36.52 c | 72878 | 9205 57810 195987 | 2147483647 72477 28 | 1.688 % |
36.52/36.61 c | 73011 | 9205 57810 195987 | 2147483647 72610 28 | 1.687 % |
36.62/36.73 c | 73158 | 9205 57810 195987 | 2147483647 72757 28 | 1.688 % |
36.72/36.82 c | 73318 | 9205 57810 195987 | 2147483647 72917 28 | 1.687 % |
36.82/36.90 c | 73495 | 9205 57810 195987 | 2147483647 73094 28 | 1.688 % |
36.92/37.01 c | 73689 | 9205 57810 195987 | 2147483647 73288 28 | 1.687 % |
37.02/37.15 c | 73901 | 9205 57810 195987 | 2147483647 73500 28 | 1.688 % |
37.12/37.27 c | 74135 | 9205 57810 195987 | 2147483647 73734 28 | 1.688 % |
37.22/37.39 c | 74391 | 9205 57810 195987 | 2147483647 73990 28 | 1.687 % |
37.42/37.56 c | 74672 | 9205 57810 195987 | 2147483647 74271 28 | 1.688 % |
37.72/37.83 c | 74981 | 9204 57804 195969 | 2147483647 74579 28 | 1.698 % |
38.02/38.19 c | 75321 | 9204 57804 195969 | 2147483647 74919 28 | 1.698 % |
38.32/38.45 c | 75693 | 9204 57804 195969 | 2147483647 75291 28 | 1.698 % |
38.62/38.74 c | 76103 | 9204 57804 195969 | 2147483647 75701 28 | 1.699 % |
38.92/39.05 c | 76552 | 9204 57804 195969 | 2147483647 76150 28 | 1.698 % |
39.32/39.43 c | 77046 | 9204 57804 195969 | 2147483647 76644 28 | 1.698 % |
39.72/39.84 c | 77588 | 9204 57804 195969 | 2147483647 77186 28 | 1.698 % |
40.12/40.21 c | 78184 | 9204 57804 195969 | 2147483647 77782 27 | 1.699 % |
40.52/40.66 c | 78839 | 9204 57804 195969 | 2147483647 78437 27 | 1.698 % |
41.02/41.11 c | 79559 | 9204 57804 195969 | 2147483647 79157 27 | 1.699 % |
41.62/41.79 c | 80352 | 9204 57804 195969 | 2147483647 79950 27 | 1.699 % |
42.62/42.80 c | 81224 | 9204 57804 195969 | 2147483647 80822 27 | 1.699 % |
43.12/43.26 c | 82185 | 9204 57804 195969 | 2147483647 81783 27 | 1.698 % |
43.22/43.31 c | 82286 | 9204 57804 195969 | 2147483647 81884 27 | 1.698 % |
43.22/43.37 c | 82396 | 9204 57804 195969 | 2147483647 81994 27 | 1.698 % |
43.32/43.43 c | 82519 | 9204 57804 195969 | 2147483647 82117 27 | 1.698 % |
43.52/43.63 c | 82653 | 9204 57804 195969 | 2147483647 82251 27 | 1.699 % |
43.72/43.83 c | 82800 | 9204 57804 195969 | 2147483647 82398 27 | 1.698 % |
43.82/43.94 c | 82960 | 9204 57804 195969 | 2147483647 82558 27 | 1.699 % |
43.92/44.08 c | 83137 | 9202 57785 195910 | 2147483647 82732 27 | 1.720 % |
44.12/44.29 c | 83330 | 9202 57785 195910 | 2147483647 82925 27 | 1.720 % |
44.32/44.42 c | 83543 | 9202 57785 195910 | 2147483647 83138 27 | 1.720 % |
44.52/44.69 c | 83780 | 9202 57785 195910 | 2147483647 83375 28 | 1.720 % |
44.92/45.04 c | 84036 | 9202 57785 195910 | 2147483647 83631 27 | 1.720 % |
45.02/45.18 c | 84320 | 9202 57785 195910 | 2147483647 83915 27 | 1.720 % |
45.42/45.54 c | 84629 | 9202 57785 195910 | 2147483647 84224 27 | 1.720 % |
45.72/45.85 c | 84968 | 9202 57785 195910 | 2147483647 84563 27 | 1.720 % |
46.02/46.18 c | 85340 | 9202 57785 195910 | 2147483647 84935 27 | 1.720 % |
46.42/46.51 c | 85749 | 9202 57785 195910 | 2147483647 85344 27 | 1.720 % |
46.52/46.64 c | 86198 | 9202 57785 195910 | 2147483647 85793 27 | 1.720 % |
46.82/46.91 c | 86691 | 9200 57785 195910 | 2147483647 86284 27 | 1.752 % |
47.32/47.44 c | 87234 | 9198 57698 195618 | 2147483647 86821 27 | 1.762 % |
47.72/47.82 c | 87830 | 9198 57698 195618 | 2147483647 87417 27 | 1.762 % |
48.22/48.37 c | 88489 | 9198 57698 195618 | 2147483647 88076 27 | 1.763 % |
48.72/48.88 c | 89210 | 9198 57698 195618 | 2147483647 88797 27 | 1.762 % |
49.32/49.46 c | 90002 | 9198 57698 195618 | 2147483647 89589 27 | 1.763 % |
50.02/50.13 c | 90874 | 9198 57698 195618 | 2147483647 90461 27 | 1.762 % |
50.61/50.80 c | 91832 | 9198 57698 195618 | 2147483647 91419 27 | 1.763 % |
51.41/51.55 c | 92885 | 9198 57698 195618 | 2147483647 92472 27 | 1.762 % |
51.52/51.62 c | 92987 | 9198 57698 195618 | 2147483647 92574 27 | 1.762 % |
51.62/51.70 c | 93098 | 9198 57698 195618 | 2147483647 92685 27 | 1.762 % |
51.71/51.86 c | 93219 | 9198 57698 195618 | 2147483647 92806 27 | 1.762 % |
51.81/51.97 c | 93352 | 9198 57698 195618 | 2147483647 92939 27 | 1.762 % |
51.91/52.08 c | 93499 | 9198 57698 195618 | 2147483647 93086 27 | 1.762 % |
52.11/52.24 c | 93660 | 9198 57698 195618 | 2147483647 93247 27 | 1.763 % |
52.21/52.36 c | 93836 | 9198 57698 195618 | 2147483647 93423 27 | 1.763 % |
52.31/52.49 c | 94030 | 9198 57698 195618 | 2147483647 93617 27 | 1.762 % |
52.61/52.74 c | 94244 | 9198 57698 195618 | 2147483647 93831 27 | 1.763 % |
52.81/52.92 c | 94477 | 9198 57698 195618 | 2147483647 94064 27 | 1.762 % |
52.91/53.09 c | 94734 | 9198 57698 195618 | 2147483647 94321 27 | 1.762 % |
53.11/53.28 c | 95015 | 9198 57698 195618 | 2147483647 94602 27 | 1.762 % |
53.61/53.72 c | 95325 | 9198 57698 195618 | 2147483647 94912 27 | 1.763 % |
53.81/53.95 c | 95665 | 9198 57698 195618 | 2147483647 95252 27 | 1.762 % |
54.11/54.27 c | 96037 | 9198 57698 195618 | 2147483647 95624 27 | 1.762 % |
54.71/54.84 c | 96446 | 9195 57676 195547 | 2147483647 96026 27 | 1.805 % |
55.01/55.11 c | 96896 | 9195 57676 195547 | 2147483647 96476 27 | 1.805 % |
55.31/55.47 c | 97389 | 9192 57676 195547 | 2147483647 96967 27 | 1.827 % |
55.92/56.00 c | 97931 | 9192 57676 195547 | 2147483647 97509 28 | 1.826 % |
56.21/56.31 c | 98528 | 9192 57676 195547 | 2147483647 98106 28 | 1.826 % |
56.71/56.88 c | 99183 | 9192 57676 195547 | 2147483647 98761 28 | 1.827 % |
57.31/57.45 c | 99904 | 9192 57676 195547 | 2147483647 99482 28 | 1.826 % |
57.91/58.09 c | 100696 | 9192 57676 195547 | 2147483647 100274 28 | 1.826 % |
58.51/58.69 c | 101568 | 9192 57676 195547 | 2147483647 101146 28 | 1.826 % |
59.41/59.56 c | 102528 | 9192 57676 195547 | 2147483647 102106 28 | 1.826 % |
60.50/60.62 c | 103582 | 9192 57641 195437 | 2147483647 103154 28 | 1.826 % |
61.51/61.66 c | 104740 | 9192 57641 195437 | 2147483647 104312 28 | 1.826 % |
61.60/61.75 c | 104842 | 9192 57641 195437 | 2147483647 104414 28 | 1.826 % |
61.70/61.83 c | 104953 | 9192 57641 195437 | 2147483647 104525 28 | 1.826 % |
61.80/61.95 c | 105075 | 9192 57641 195437 | 2147483647 104647 28 | 1.826 % |
62.00/62.19 c | 105208 | 9192 57641 195437 | 2147483647 104780 28 | 1.826 % |
62.30/62.41 c | 105354 | 9192 57641 195437 | 2147483647 104926 28 | 1.826 % |
62.50/62.62 c | 105515 | 9192 57641 195437 | 2147483647 105087 28 | 1.826 % |
62.70/62.88 c | 105691 | 9192 57641 195437 | 2147483647 105263 28 | 1.826 % |
62.90/63.01 c | 105885 | 9192 57641 195437 | 2147483647 105457 28 | 1.827 % |
63.00/63.15 c | 106098 | 9192 57641 195437 | 2147483647 105670 28 | 1.826 % |
63.40/63.54 c | 106331 | 9192 57641 195437 | 2147483647 105903 28 | 1.826 % |
63.60/63.77 c | 106588 | 9192 57641 195437 | 2147483647 106160 28 | 1.827 % |
63.90/64.05 c | 106869 | 9192 57641 195437 | 2147483647 106441 28 | 1.826 % |
64.10/64.29 c | 107178 | 9192 57641 195437 | 2147483647 106750 28 | 1.826 % |
64.40/64.59 c | 107517 | 9192 57641 195437 | 2147483647 107089 28 | 1.826 % |
65.00/65.15 c | 107893 | 9191 57626 195387 | 2147483647 107458 28 | 1.837 % |
65.70/65.82 c | 108302 | 9188 57626 195387 | 2147483647 107864 28 | 1.891 % |
66.00/66.13 c | 108752 | 9186 57626 195387 | 2147483647 108314 28 | 1.890 % |
66.20/66.38 c | 109245 | 9186 57626 195387 | 2147483647 108807 28 | 1.890 % |
66.60/66.71 c | 109787 | 9185 57626 195387 | 2147483647 109348 28 | 1.901 % |
66.90/67.02 c | 110384 | 9185 57626 195387 | 2147483647 109945 28 | 1.901 % |
67.30/67.49 c | 111040 | 9185 57626 195387 | 2147483647 110601 28 | 1.901 % |
68.00/68.14 c | 111761 | 9185 57626 195387 | 2147483647 111322 28 | 1.901 % |
68.50/68.65 c | 112554 | 9185 57626 195387 | 2147483647 112115 28 | 1.902 % |
69.30/69.45 c | 113428 | 9185 57626 195387 | 2147483647 112989 28 | 1.901 % |
69.90/70.02 c | 114386 | 9185 57626 195387 | 2147483647 113947 28 | 1.901 % |
70.50/70.66 c | 115439 | 9185 57626 195387 | 2147483647 115000 28 | 1.901 % |
71.19/71.39 c | 116598 | 9185 57553 195147 | 2147483647 116144 28 | 1.902 % |
72.69/72.81 c | 117871 | 9185 57553 195147 | 2147483647 117417 28 | 1.901 % |
72.69/72.88 c | 117971 | 9185 57553 195147 | 2147483647 117517 28 | 1.901 % |
72.79/72.98 c | 118081 | 9185 57553 195147 | 2147483647 117627 28 | 1.901 % |
72.89/73.08 c | 118202 | 9185 57553 195147 | 2147483647 117748 28 | 1.901 % |
72.99/73.18 c | 118335 | 9185 57553 195147 | 2147483647 117881 28 | 1.901 % |
73.09/73.29 c | 118481 | 9185 57553 195147 | 2147483647 118027 28 | 1.901 % |
73.29/73.42 c | 118641 | 9185 57553 195147 | 2147483647 118187 28 | 1.901 % |
73.50/73.63 c | 118817 | 9185 57553 195147 | 2147483647 118363 28 | 1.902 % |
73.60/73.78 c | 119010 | 9185 57553 195147 | 2147483647 118556 28 | 1.901 % |
73.99/74.15 c | 119222 | 9185 57553 195147 | 2147483647 118768 28 | 1.901 % |
74.39/74.52 c | 119457 | 9185 57553 195147 | 2147483647 119003 28 | 1.901 % |
74.70/74.88 c | 119713 | 9185 57553 195147 | 2147483647 119258 28 | 1.912 % |
74.99/75.13 c | 119995 | 9185 57553 195147 | 2147483647 119540 28 | 1.912 % |
75.09/75.26 c | 120305 | 9184 57553 195147 | 2147483647 119850 28 | 1.912 % |
75.40/75.55 c | 120644 | 9184 57553 195147 | 2147483647 120189 28 | 1.912 % |
75.70/75.84 c | 121016 | 9184 57553 195147 | 2147483647 120561 28 | 1.912 % |
76.30/76.43 c | 121427 | 9184 57553 195147 | 2147483647 120972 28 | 1.912 % |
77.00/77.12 c | 121877 | 9184 57553 195147 | 2147483647 121422 29 | 1.912 % |
77.50/77.62 c | 122372 | 9184 57544 195117 | 2147483647 121915 29 | 1.912 % |
78.20/78.32 c | 122915 | 9184 57544 195117 | 2147483647 122458 29 | 1.912 % |
78.90/79.06 c | 123513 | 9183 57544 195117 | 2147483647 123055 29 | 1.922 % |
79.59/79.72 c | 124168 | 9183 57544 195117 | 2147483647 123710 29 | 1.923 % |
80.80/80.99 c | 124888 | 9183 57544 195117 | 2147483647 124430 29 | 1.923 % |
81.30/81.41 c | 125680 | 9183 57544 195117 | 2147483647 125222 29 | 1.923 % |
81.69/81.87 c | 126551 | 9183 57544 195117 | 2147483647 126093 29 | 1.922 % |
83.69/83.80 c | 127511 | 9183 57544 195117 | 2147483647 127053 29 | 1.922 % |
84.60/84.72 c | 128565 | 9183 57536 195093 | 2147483647 128104 29 | 1.922 % |
85.39/85.53 c | 129724 | 9183 57536 195093 | 2147483647 129263 29 | 1.923 % |
87.09/87.23 c | 130998 | 9183 57536 195093 | 2147483647 130537 29 | 1.922 % |
88.39/88.53 c | 132399 | 9183 57536 195093 | 2147483647 131938 29 | 1.923 % |
88.49/88.62 c | 132500 | 9183 57536 195093 | 2147483647 132039 29 | 1.922 % |
88.69/88.90 c | 132612 | 9183 57536 195093 | 2147483647 132151 29 | 1.922 % |
88.79/88.98 c | 132733 | 9183 57536 195093 | 2147483647 132272 29 | 1.923 % |
88.89/89.09 c | 132866 | 9183 57536 195093 | 2147483647 132405 29 | 1.922 % |
89.09/89.22 c | 133012 | 9183 57536 195093 | 2147483647 132551 29 | 1.922 % |
89.29/89.45 c | 133172 | 9183 57536 195093 | 2147483647 132711 29 | 1.922 % |
89.49/89.62 c | 133349 | 9183 57536 195093 | 2147483647 132888 29 | 1.923 % |
89.59/89.78 c | 133542 | 9183 57536 195093 | 2147483647 133081 29 | 1.922 % |
89.89/90.00 c | 133754 | 9183 57536 195093 | 2147483647 133293 29 | 1.923 % |
90.09/90.26 c | 133988 | 9183 57536 195093 | 2147483647 133527 29 | 1.923 % |
90.39/90.54 c | 134244 | 9183 57536 195093 | 2147483647 133783 29 | 1.923 % |
90.59/90.77 c | 134526 | 9183 57536 195093 | 2147483647 134065 29 | 1.922 % |
90.89/91.06 c | 134836 | 9183 57536 195093 | 2147483647 134375 29 | 1.922 % |
91.19/91.37 c | 135175 | 9183 57536 195093 | 2147483647 134714 29 | 1.923 % |
91.59/91.73 c | 135547 | 9183 57536 195093 | 2147483647 135086 29 | 1.923 % |
91.98/92.13 c | 135957 | 9183 57536 195093 | 2147483647 135496 29 | 1.923 % |
92.38/92.52 c | 136406 | 9183 57536 195093 | 2147483647 135945 29 | 1.923 % |
92.78/92.99 c | 136899 | 9183 57536 195093 | 2147483647 136438 29 | 1.922 % |
93.48/93.62 c | 137444 | 9183 57536 195093 | 2147483647 136983 29 | 1.923 % |
94.08/94.25 c | 138040 | 9183 57536 195093 | 2147483647 137579 29 | 1.922 % |
94.98/95.13 c | 138696 | 9182 57530 195075 | 2147483647 138233 29 | 1.933 % |
95.49/95.68 c | 139416 | 9181 57530 195075 | 2147483647 138951 29 | 1.965 % |
96.49/96.63 c | 140208 | 9180 57530 195075 | 2147483647 139742 29 | 1.976 % |
97.39/97.59 c | 141080 | 9177 57530 195075 | 2147483647 140612 29 | 1.997 % |
98.09/98.24 c | 142039 | 9175 57530 195075 | 2147483647 141569 29 | 2.019 % |
100.19/100.30 c | 143092 | 9175 57530 195075 | 2147483647 142622 29 | 2.019 % |
101.88/102.02 c | 144250 | 9172 57530 195075 | 2147483647 143778 29 | 2.051 % |
103.28/103.41 c | 145523 | 9172 57530 195075 | 2147483647 145051 30 | 2.051 % |
104.88/105.02 c | 146924 | 9171 57416 194707 | 2147483647 146438 30 | 2.051 % |
106.08/106.21 c | 148464 | 9171 57416 194707 | 2147483647 147978 30 | 2.051 % |
106.18/106.31 c | 148564 | 9171 57416 194707 | 2147483647 148078 30 | 2.051 % |
106.28/106.43 c | 148674 | 9171 57416 194707 | 2147483647 148188 30 | 2.051 % |
106.48/106.62 c | 148797 | 9171 57416 194707 | 2147483647 148311 30 | 2.051 % |
106.58/106.71 c | 148931 | 9171 57416 194707 | 2147483647 148445 30 | 2.051 % |
106.68/106.81 c | 149077 | 9171 57416 194707 | 2147483647 148591 30 | 2.051 % |
106.87/107.02 c | 149237 | 9171 57416 194707 | 2147483647 148751 30 | 2.051 % |
107.07/107.28 c | 149413 | 9171 57416 194707 | 2147483647 148927 30 | 2.051 % |
107.47/107.60 c | 149606 | 9171 57416 194707 | 2147483647 149120 30 | 2.051 % |
107.68/107.83 c | 149818 | 9171 57416 194707 | 2147483647 149332 30 | 2.051 % |
107.87/108.00 c | 150051 | 9171 57416 194707 | 2147483647 149565 30 | 2.051 % |
108.27/108.43 c | 150307 | 9171 57416 194707 | 2147483647 149821 30 | 2.051 % |
108.87/109.05 c | 150588 | 9171 57416 194707 | 2147483647 150102 30 | 2.051 % |
109.37/109.58 c | 150900 | 9171 57416 194707 | 2147483647 150414 30 | 2.051 % |
109.67/109.88 c | 151241 | 9171 57416 194707 | 2147483647 150755 30 | 2.051 % |
109.97/110.14 c | 151614 | 9171 57416 194707 | 2147483647 151128 30 | 2.051 % |
110.27/110.47 c | 152024 | 9171 57416 194707 | 2147483647 151538 30 | 2.051 % |
110.88/111.05 c | 152473 | 9171 57416 194707 | 2147483647 151987 30 | 2.051 % |
111.27/111.43 c | 152966 | 9171 57416 194707 | 2147483647 152480 30 | 2.051 % |
111.67/111.86 c | 153508 | 9171 57416 194707 | 2147483647 153022 30 | 2.051 % |
112.27/112.44 c | 154104 | 9171 57416 194707 | 2147483647 153618 30 | 2.051 % |
112.77/112.98 c | 154759 | 9171 57416 194707 | 2147483647 154273 30 | 2.051 % |
113.47/113.68 c | 155479 | 9171 57416 194707 | 2147483647 154993 30 | 2.051 % |
114.28/114.40 c | 156273 | 9171 57416 194707 | 2147483647 155787 30 | 2.051 % |
114.97/115.17 c | 157144 | 9171 57416 194707 | 2147483647 156658 30 | 2.051 % |
116.07/116.24 c | 158102 | 9171 57416 194707 | 2147483647 157616 30 | 2.051 % |
117.07/117.24 c | 159155 | 9171 57416 194707 | 2147483647 158669 30 | 2.051 % |
118.07/118.28 c | 160313 | 9171 57416 194707 | 159515 159827 30 | 2.051 % |
119.97/120.19 c | 161587 | 9171 57416 194707 | 159515 144105 29 | 2.051 % |
121.37/121.50 c | 162987 | 9171 57416 194707 | 159515 145505 29 | 2.051 % |
122.87/123.01 c | 164527 | 9171 57416 194707 | 159515 147045 29 | 2.051 % |
124.56/124.78 c | 166221 | 9171 57416 194707 | 159515 148739 29 | 2.051 % |
124.66/124.87 c | 166322 | 9171 57416 194707 | 159515 148840 29 | 2.051 % |
124.76/124.99 c | 166433 | 9171 57416 194707 | 159515 148951 29 | 2.051 % |
124.96/125.10 c | 166554 | 9171 57416 194707 | 159515 149072 29 | 2.051 % |
125.06/125.24 c | 166687 | 9171 57416 194707 | 159515 149205 29 | 2.051 % |
125.17/125.39 c | 166835 | 9171 57416 194707 | 159515 149353 29 | 2.051 % |
125.36/125.58 c | 166997 | 9171 57416 194707 | 159515 149515 29 | 2.051 % |
125.56/125.73 c | 167175 | 9171 57416 194707 | 159515 149693 29 | 2.051 % |
125.76/125.92 c | 167370 | 9171 57416 194707 | 159515 149888 29 | 2.051 % |
125.96/126.15 c | 167582 | 9171 57416 194707 | 159515 150100 29 | 2.051 % |
126.46/126.68 c | 167815 | 9171 57416 194707 | 159515 150333 29 | 2.051 % |
126.86/127.09 c | 168073 | 9171 57416 194707 | 159515 150591 29 | 2.051 % |
127.37/127.51 c | 168354 | 9171 57416 194707 | 159515 150872 29 | 2.051 % |
127.66/127.87 c | 168665 | 9171 57416 194707 | 159515 151183 29 | 2.051 % |
128.16/128.35 c | 169006 | 9171 57416 194707 | 159515 151524 29 | 2.051 % |
129.06/129.26 c | 169378 | 9171 57416 194707 | 159515 151896 29 | 2.051 % |
129.76/129.91 c | 169788 | 9169 57396 194645 | 159515 152303 29 | 2.072 % |
130.06/130.21 c | 170237 | 9169 57396 194645 | 2147483647 152752 29 | 2.072 % |
130.36/130.55 c | 170730 | 9169 57396 194645 | 2147483647 153245 29 | 2.072 % |
130.96/131.12 c | 171272 | 9169 57396 194645 | 2147483647 153787 29 | 2.072 % |
131.46/131.63 c | 171868 | 9169 57396 194645 | 2147483647 154383 29 | 2.072 % |
132.06/132.21 c | 172524 | 9169 57396 194645 | 2147483647 155039 29 | 2.072 % |
132.96/133.19 c | 173244 | 9169 57396 194645 | 2147483647 155759 29 | 2.072 % |
133.96/134.11 c | 174038 | 9169 57396 194645 | 2147483647 156553 29 | 2.072 % |
134.86/135.01 c | 174910 | 9169 57396 194645 | 2147483647 157425 29 | 2.072 % |
135.76/136.00 c | 175868 | 9169 57396 194645 | 2147483647 158383 29 | 2.072 % |
136.86/137.06 c | 176924 | 9168 57396 194645 | 2147483647 159438 29 | 2.083 % |
137.66/137.88 c | 178083 | 9168 57396 194645 | 2147483647 160597 29 | 2.083 % |
138.86/139.01 c | 179356 | 9168 57396 194645 | 2147483647 161870 29 | 2.083 % |
139.96/140.10 c | 180756 | 9168 57396 194645 | 2147483647 163270 29 | 2.083 % |
140.96/141.18 c | 182296 | 9168 57392 194635 | 2147483647 164806 29 | 2.083 % |
142.26/142.40 c | 183990 | 9168 57392 194635 | 2147483647 166500 29 | 2.083 % |
143.65/143.86 c | 185853 | 9168 57392 194635 | 2147483647 168363 29 | 2.083 % |
143.75/143.93 c | 185956 | 9168 57392 194635 | 2147483647 168466 29 | 2.083 % |
143.87/144.01 c | 186066 | 9168 57392 194635 | 2147483647 168576 29 | 2.083 % |
144.06/144.30 c | 186188 | 9168 57392 194635 | 2147483647 168698 29 | 2.083 % |
144.26/144.48 c | 186322 | 9168 57392 194635 | 2147483647 168832 29 | 2.083 % |
144.56/144.73 c | 186470 | 9168 57392 194635 | 2147483647 168980 29 | 2.083 % |
144.86/145.03 c | 186630 | 9168 57392 194635 | 2147483647 169140 29 | 2.083 % |
144.97/145.15 c | 186807 | 9168 57392 194635 | 2147483647 169317 29 | 2.083 % |
145.07/145.27 c | 187002 | 9168 57392 194635 | 2147483647 169512 29 | 2.083 % |
145.26/145.48 c | 187214 | 9168 57392 194635 | 2147483647 169724 29 | 2.083 % |
145.46/145.67 c | 187447 | 9168 57392 194635 | 2147483647 169957 29 | 2.083 % |
145.66/145.90 c | 187704 | 9168 57392 194635 | 2147483647 170214 29 | 2.083 % |
145.96/146.14 c | 187985 | 9168 57392 194635 | 2147483647 170495 29 | 2.083 % |
146.26/146.45 c | 188294 | 9168 57392 194635 | 2147483647 170804 29 | 2.083 % |
146.66/146.84 c | 188633 | 9168 57392 194635 | 2147483647 171143 29 | 2.083 % |
147.06/147.23 c | 189005 | 9168 57392 194635 | 2147483647 171515 29 | 2.083 % |
147.66/147.90 c | 189414 | 9168 57392 194635 | 2147483647 171924 29 | 2.083 % |
148.36/148.50 c | 189864 | 9168 57392 194635 | 2147483647 172374 29 | 2.083 % |
148.86/149.10 c | 190358 | 9168 57392 194635 | 172510 172868 29 | 2.083 % |
150.46/150.68 c | 190900 | 9168 57392 194635 | 172510 154901 30 | 2.083 % |
151.26/151.45 c | 191496 | 9168 57392 194635 | 172510 155497 30 | 2.083 % |
151.95/152.15 c | 192151 | 9168 57392 194635 | 172510 156152 30 | 2.083 % |
152.45/152.66 c | 192871 | 9168 57392 194635 | 172510 156872 30 | 2.083 % |
153.05/153.23 c | 193665 | 9168 57392 194635 | 172510 157666 30 | 2.083 % |
153.86/154.00 c | 194536 | 9168 57392 194635 | 172510 158537 30 | 2.083 % |
155.65/155.87 c | 195494 | 9168 57392 194635 | 172510 159495 30 | 2.083 % |
156.65/156.88 c | 196547 | 9168 57392 194635 | 172510 160548 30 | 2.083 % |
158.16/158.32 c | 197707 | 9168 57392 194635 | 172510 161708 30 | 2.083 % |
159.26/159.49 c | 198980 | 9168 57392 194635 | 172510 162981 29 | 2.083 % |
160.55/160.78 c | 200381 | 9168 57392 194635 | 164002 164382 29 | 2.083 % |
163.05/163.27 c | 201921 | 9168 57392 194635 | 164002 142656 29 | 2.083 % |
164.45/164.69 c | 203615 | 9168 57392 194635 | 164002 144350 29 | 2.083 % |
166.35/166.50 c | 205480 | 9168 57392 194635 | 164002 146215 29 | 2.083 % |
169.15/169.31 c | 207529 | 9168 57392 194635 | 164002 148264 29 | 2.083 % |
169.35/169.59 c | 207630 | 9168 57392 194635 | 164002 148365 29 | 2.083 % |
169.55/169.80 c | 207741 | 9168 57392 194635 | 164002 148476 29 | 2.083 % |
169.85/170.02 c | 207862 | 9167 57378 194591 | 164002 148595 29 | 2.094 % |
170.05/170.23 c | 207996 | 9167 57378 194591 | 164002 148729 29 | 2.093 % |
170.35/170.52 c | 208143 | 9167 57378 194591 | 164002 148876 29 | 2.093 % |
170.65/170.80 c | 208303 | 9167 57378 194591 | 164002 149036 29 | 2.093 % |
170.85/171.07 c | 208479 | 9167 57378 194591 | 164002 149212 29 | 2.093 % |
171.05/171.23 c | 208672 | 9167 57378 194591 | 164002 149405 29 | 2.094 % |
171.15/171.36 c | 208884 | 9167 57378 194591 | 164002 149617 29 | 2.093 % |
171.35/171.51 c | 209117 | 9167 57378 194591 | 164002 149850 29 | 2.093 % |
171.54/171.77 c | 209374 | 9167 57378 194591 | 164002 150107 29 | 2.093 % |
171.84/172.01 c | 209656 | 9167 57378 194591 | 164002 150389 29 | 2.093 % |
172.04/172.25 c | 209966 | 9167 57378 194591 | 164002 150699 29 | 2.093 % |
172.24/172.49 c | 210305 | 9167 57378 194591 | 2147483647 151038 29 | 2.093 % |
172.55/172.79 c | 210678 | 9167 57378 194591 | 2147483647 151411 29 | 2.093 % |
172.94/173.19 c | 211088 | 9167 57378 194591 | 2147483647 151821 29 | 2.093 % |
173.44/173.70 c | 211537 | 9167 57378 194591 | 2147483647 152270 29 | 2.094 % |
174.54/174.79 c | 212030 | 9167 57378 194591 | 2147483647 152763 29 | 2.094 % |
175.04/175.27 c | 212572 | 9167 57378 194591 | 2147483647 153305 29 | 2.094 % |
175.54/175.73 c | 213169 | 9167 57378 194591 | 2147483647 153902 29 | 2.093 % |
176.04/176.27 c | 213824 | 9166 57378 194591 | 2147483647 154556 29 | 2.105 % |
176.64/176.81 c | 214546 | 9166 57378 194591 | 2147483647 155278 29 | 2.105 % |
178.05/178.23 c | 215339 | 9166 57378 194591 | 2147483647 156071 29 | 2.105 % |
179.05/179.27 c | 216211 | 9166 57378 194591 | 2147483647 156943 29 | 2.104 % |
179.84/180.09 c | 217169 | 9166 57370 194567 | 2147483647 157900 29 | 2.104 % |
180.54/180.71 c | 218223 | 9166 57370 194567 | 2147483647 158954 29 | 2.104 % |
181.44/181.62 c | 219381 | 9166 57370 194567 | 2147483647 160112 29 | 2.104 % |
182.64/182.86 c | 220654 | 9166 57370 194567 | 2147483647 161385 29 | 2.104 % |
183.94/184.12 c | 222056 | 9166 57370 194567 | 2147483647 162787 29 | 2.104 % |
185.54/185.78 c | 223597 | 9166 57370 194567 | 2147483647 164328 29 | 2.104 % |
187.54/187.70 c | 225292 | 9166 57370 194567 | 2147483647 166023 29 | 2.105 % |
189.74/189.97 c | 227156 | 9166 57370 194567 | 2147483647 167887 29 | 2.104 % |
191.74/191.94 c | 229205 | 9166 57370 194567 | 2147483647 169936 29 | 2.104 % |
194.23/194.48 c | 231459 | 9166 57370 194567 | 170733 172190 29 | 2.104 % |
195.43/195.68 c | 231561 | 9166 57370 194567 | 170733 148889 28 | 2.104 % |
195.73/195.95 c | 231673 | 9166 57370 194567 | 170733 149001 28 | 2.105 % |
196.03/196.20 c | 231794 | 9166 57370 194567 | 170733 149122 28 | 2.104 % |
196.23/196.47 c | 231929 | 9164 57353 194510 | 170733 149250 28 | 2.125 % |
196.53/196.75 c | 232075 | 9164 57353 194510 | 170733 149396 28 | 2.126 % |
196.63/196.89 c | 232235 | 9164 57353 194510 | 170733 149556 28 | 2.126 % |
196.83/197.08 c | 232411 | 9164 57353 194510 | 170733 149732 28 | 2.126 % |
197.13/197.34 c | 232604 | 9164 57353 194510 | 170733 149925 28 | 2.126 % |
197.43/197.61 c | 232817 | 9164 57353 194510 | 170733 150138 28 | 2.125 % |
197.63/197.86 c | 233052 | 9164 57353 194510 | 170733 150373 28 | 2.125 % |
197.93/198.13 c | 233308 | 9164 57353 194510 | 170733 150629 28 | 2.126 % |
198.13/198.35 c | 233589 | 9164 57353 194510 | 170733 150910 28 | 2.125 % |
198.53/198.74 c | 233899 | 9164 57353 194510 | 170733 151220 28 | 2.126 % |
198.93/199.18 c | 234238 | 9164 57353 194510 | 170733 151559 28 | 2.126 % |
199.53/199.71 c | 234610 | 9164 57353 194510 | 170733 151931 28 | 2.126 % |
199.93/200.16 c | 235022 | 9164 57353 194510 | 170733 152343 28 | 2.126 % |
200.73/200.92 c | 235471 | 9164 57353 194510 | 170733 152792 28 | 2.126 % |
201.13/201.34 c | 235964 | 9164 57353 194510 | 170733 153285 28 | 2.125 % |
201.73/201.99 c | 236506 | 9164 57353 194510 | 170733 153827 28 | 2.126 % |
202.43/202.61 c | 237103 | 9164 57353 194510 | 170733 154424 28 | 2.126 % |
203.13/203.35 c | 237758 | 9164 57353 194510 | 170733 155079 28 | 2.125 % |
203.93/204.15 c | 238479 | 9164 57353 194510 | 170733 155800 28 | 2.125 % |
204.63/204.88 c | 239271 | 9164 57353 194510 | 170733 156592 28 | 2.126 % |
205.43/205.67 c | 240143 | 9164 57353 194510 | 157321 157464 28 | 2.126 % |
206.32/206.51 c | 241102 | 9164 57353 194510 | 157321 158423 28 | 2.125 % |
208.02/208.23 c | 242156 | 9164 57353 194510 | 157321 137529 28 | 2.125 % |
209.12/209.32 c | 243314 | 9164 57353 194510 | 157321 138687 28 | 2.125 % |
210.22/210.47 c | 244587 | 9164 57353 194510 | 157321 139960 28 | 2.126 % |
212.03/212.24 c | 245987 | 9164 57353 194510 | 157321 141360 28 | 2.126 % |
213.02/213.30 c | 247528 | 9164 57353 194510 | 157321 142901 28 | 2.125 % |
214.72/214.91 c | 249223 | 9164 57353 194510 | 157321 144596 28 | 2.126 % |
216.42/216.67 c | 251087 | 9164 57353 194510 | 145373 146460 28 | 2.125 % |
219.12/219.38 c | 253137 | 9164 57353 194510 | 145373 128232 27 | 2.126 % |
221.32/221.55 c | 255390 | 9164 57353 194510 | 145373 130485 27 | 2.126 % |
223.12/223.38 c | 257869 | 9164 57353 194510 | 145373 132964 27 | 2.126 % |
223.22/223.46 c | 257969 | 9164 57353 194510 | 145373 133064 27 | 2.126 % |
223.42/223.60 c | 258080 | 9164 57353 194510 | 145373 133175 27 | 2.126 % |
223.52/223.78 c | 258202 | 9164 57353 194510 | 145373 133297 27 | 2.126 % |
223.72/223.91 c | 258335 | 9164 57353 194510 | 145373 133430 27 | 2.126 % |
223.82/224.04 c | 258481 | 9164 57353 194510 | 145373 133576 27 | 2.126 % |
224.01/224.20 c | 258641 | 9164 57353 194510 | 145373 133736 27 | 2.126 % |
224.12/224.36 c | 258817 | 9164 57353 194510 | 145373 133912 27 | 2.126 % |
224.31/224.55 c | 259011 | 9164 57353 194510 | 145373 134106 27 | 2.126 % |
224.51/224.76 c | 259225 | 9164 57353 194510 | 145373 134320 27 | 2.126 % |
224.71/224.97 c | 259458 | 9164 57353 194510 | 145373 134553 27 | 2.126 % |
225.11/225.32 c | 259715 | 9161 57294 194301 | 145373 134804 27 | 2.157 % |
225.52/225.74 c | 259998 | 9161 57294 194301 | 145373 135087 27 | 2.158 % |
225.71/225.95 c | 260307 | 9161 57294 194301 | 135089 135396 27 | 2.158 % |
226.61/226.88 c | 260646 | 9161 57294 194301 | 135089 120610 27 | 2.157 % |
226.91/227.12 c | 261019 | 9161 57294 194301 | 135089 120983 27 | 2.157 % |
227.11/227.39 c | 261429 | 9161 57294 194301 | 135089 121393 27 | 2.157 % |
227.52/227.74 c | 261879 | 9159 57294 194301 | 135089 121842 27 | 2.179 % |
228.11/228.31 c | 262372 | 9158 57294 194301 | 135089 122334 27 | 2.190 % |
228.41/228.70 c | 262916 | 9158 57294 194301 | 135089 122878 27 | 2.190 % |
228.91/229.15 c | 263512 | 9158 57294 194301 | 135089 123474 27 | 2.189 % |
229.51/229.80 c | 264167 | 9158 57294 194301 | 135089 124129 27 | 2.190 % |
230.11/230.39 c | 264889 | 9158 57294 194301 | 135089 124851 27 | 2.190 % |
230.82/231.06 c | 265681 | 9158 57294 194301 | 135089 125643 27 | 2.189 % |
231.82/232.03 c | 266553 | 9158 57294 194301 | 135089 126515 27 | 2.190 % |
232.51/232.74 c | 267513 | 9158 57294 194301 | 135089 127475 27 | 2.189 % |
233.41/233.65 c | 268568 | 9157 57294 194301 | 135089 128529 27 | 2.200 % |
234.21/234.49 c | 269726 | 9157 57294 194301 | 135089 129687 27 | 2.200 % |
235.31/235.54 c | 271000 | 9157 57254 194178 | 129958 130957 27 | 2.200 % |
236.81/237.03 c | 272401 | 9157 57254 194178 | 129958 117306 26 | 2.200 % |
237.81/238.10 c | 273941 | 9157 57254 194178 | 129958 118846 26 | 2.200 % |
239.20/239.43 c | 275635 | 9157 57254 194178 | 129958 120540 27 | 2.200 % |
240.50/240.76 c | 277498 | 9157 57254 194178 | 129958 122403 27 | 2.200 % |
242.00/242.23 c | 279547 | 9157 57254 194178 | 129958 124452 27 | 2.201 % |
244.10/244.33 c | 281800 | 9156 57254 194178 | 124905 126704 27 | 2.211 % |
246.90/247.15 c | 284278 | 9156 57246 194151 | 124905 113913 26 | 2.211 % |
249.50/249.71 c | 287006 | 9156 57246 194151 | 124905 116641 26 | 2.211 % |
249.70/249.94 c | 287108 | 9156 57246 194151 | 124905 116743 26 | 2.211 % |
249.90/250.12 c | 287218 | 9156 57246 194151 | 124905 116853 26 | 2.211 % |
250.00/250.26 c | 287341 | 9156 57246 194151 | 124905 116976 26 | 2.211 % |
250.20/250.41 c | 287474 | 9156 57246 194151 | 124905 117109 26 | 2.211 % |
250.30/250.56 c | 287620 | 9156 57246 194151 | 124905 117255 26 | 2.211 % |
250.50/250.72 c | 287780 | 9156 57246 194151 | 124905 117415 26 | 2.211 % |
250.70/250.90 c | 287956 | 9156 57246 194151 | 124905 117591 26 | 2.211 % |
250.80/251.06 c | 288149 | 9156 57246 194151 | 124905 117784 26 | 2.211 % |
251.00/251.23 c | 288363 | 9156 57246 194151 | 124905 117998 26 | 2.211 % |
251.20/251.45 c | 288597 | 9156 57246 194151 | 124905 118232 26 | 2.211 % |
251.40/251.66 c | 288855 | 9156 57246 194151 | 124905 118490 26 | 2.211 % |
251.60/251.88 c | 289136 | 9156 57246 194151 | 124905 118771 26 | 2.211 % |
251.90/252.13 c | 289446 | 9156 57246 194151 | 124905 119081 26 | 2.211 % |
252.20/252.40 c | 289785 | 9156 57246 194151 | 124905 119420 26 | 2.211 % |
252.49/252.77 c | 290157 | 9156 57246 194151 | 2147483647 119792 26 | 2.211 % |
252.99/253.25 c | 290566 | 9156 57246 194151 | 2147483647 120201 26 | 2.211 % |
253.39/253.61 c | 291015 | 9156 57246 194151 | 2147483647 120650 26 | 2.211 % |
253.90/254.19 c | 291511 | 9155 57238 194127 | 2147483647 121143 26 | 2.222 % |
254.29/254.60 c | 292053 | 9155 57238 194127 | 2147483647 121685 26 | 2.222 % |
255.00/255.23 c | 292650 | 9155 57238 194127 | 2147483647 122282 26 | 2.222 % |
255.49/255.79 c | 293305 | 9155 57238 194127 | 2147483647 122937 26 | 2.222 % |
256.10/256.36 c | 294026 | 9155 57238 194127 | 2147483647 123658 26 | 2.222 % |
256.69/256.98 c | 294818 | 9155 57238 194127 | 2147483647 124450 26 | 2.222 % |
257.49/257.73 c | 295691 | 9155 57238 194127 | 2147483647 125323 26 | 2.222 % |
258.30/258.53 c | 296649 | 9155 57238 194127 | 2147483647 126281 26 | 2.222 % |
259.09/259.34 c | 297703 | 9155 57238 194127 | 2147483647 127335 26 | 2.222 % |
259.99/260.28 c | 298861 | 9155 57238 194127 | 2147483647 128493 26 | 2.222 % |
261.09/261.40 c | 300134 | 9155 57238 194127 | 129633 129766 26 | 2.222 % |
262.39/262.62 c | 301534 | 9155 57238 194127 | 129633 131166 26 | 2.222 % |
264.39/264.67 c | 303074 | 9155 57238 194127 | 129633 118276 26 | 2.222 % |
265.69/265.97 c | 304768 | 9155 57238 194127 | 129633 119970 26 | 2.222 % |
267.39/267.66 c | 306631 | 9155 57238 194127 | 129633 121833 26 | 2.222 % |
269.29/269.52 c | 308680 | 9154 57229 194097 | 129633 123881 26 | 2.232 % |
271.19/271.42 c | 310935 | 9154 57229 194097 | 2147483647 126136 26 | 2.232 % |
273.19/273.45 c | 313414 | 9154 57229 194097 | 2147483647 128615 26 | 2.233 % |
275.99/276.30 c | 316139 | 9153 57188 193956 | 2147483647 131338 26 | 2.243 % |
279.58/279.83 c | 319136 | 9153 57188 193956 | 2147483647 134335 26 | 2.243 % |
279.68/279.99 c | 319237 | 9153 57188 193956 | 2147483647 134436 26 | 2.243 % |
279.88/280.11 c | 319347 | 9153 57188 193956 | 2147483647 134546 26 | 2.243 % |
279.98/280.22 c | 319469 | 9153 57188 193956 | 2147483647 134668 26 | 2.243 % |
280.08/280.34 c | 319603 | 9153 57188 193956 | 2147483647 134802 26 | 2.243 % |
280.19/280.47 c | 319750 | 9153 57188 193956 | 2147483647 134949 26 | 2.243 % |
280.38/280.63 c | 319910 | 9153 57188 193956 | 2147483647 135109 26 | 2.243 % |
280.58/280.81 c | 320087 | 9153 57188 193956 | 2147483647 135286 26 | 2.243 % |
280.68/280.98 c | 320280 | 9153 57188 193956 | 2147483647 135479 26 | 2.243 % |
280.88/281.13 c | 320493 | 9153 57188 193956 | 2147483647 135692 26 | 2.243 % |
281.08/281.33 c | 320727 | 9153 57188 193956 | 2147483647 135926 26 | 2.243 % |
281.29/281.55 c | 320983 | 9153 57188 193956 | 2147483647 136182 26 | 2.243 % |
281.58/281.81 c | 321264 | 9153 57188 193956 | 2147483647 136463 26 | 2.243 % |
281.88/282.16 c | 321574 | 9153 57188 193956 | 2147483647 136773 26 | 2.243 % |
282.18/282.47 c | 321913 | 9153 57188 193956 | 2147483647 137112 26 | 2.243 % |
282.48/282.76 c | 322285 | 9153 57188 193956 | 2147483647 137484 26 | 2.243 % |
282.87/283.14 c | 322694 | 9153 57188 193956 | 2147483647 137893 26 | 2.243 % |
283.37/283.62 c | 323144 | 9153 57188 193956 | 2147483647 138343 26 | 2.243 % |
283.77/284.07 c | 323637 | 9153 57188 193956 | 2147483647 138836 26 | 2.243 % |
284.87/285.13 c | 324182 | 9153 57188 193956 | 2147483647 139381 26 | 2.243 % |
285.68/285.94 c | 324778 | 9153 57188 193956 | 2147483647 139977 26 | 2.243 % |
286.17/286.46 c | 325434 | 9153 57188 193956 | 2147483647 140633 26 | 2.243 % |
286.67/286.99 c | 326154 | 9153 57188 193956 | 2147483647 141353 26 | 2.243 % |
287.27/287.58 c | 326946 | 9153 57188 193956 | 2147483647 142145 26 | 2.243 % |
287.98/288.23 c | 327817 | 9153 57188 193956 | 2147483647 143016 26 | 2.243 % |
288.77/289.04 c | 328776 | 9153 57188 193956 | 2147483647 143975 26 | 2.243 % |
289.87/290.14 c | 329831 | 9153 57188 193956 | 2147483647 145030 26 | 2.243 % |
290.97/291.29 c | 330989 | 9152 57182 193938 | 145199 146187 26 | 2.254 % |
292.77/293.03 c | 332262 | 9152 57182 193938 | 145199 132842 26 | 2.254 % |
293.97/294.23 c | 333662 | 9152 57182 193938 | 145199 134242 26 | 2.254 % |
295.47/295.76 c | 335203 | 9152 57182 193938 | 145199 135783 26 | 2.254 % |
296.97/297.28 c | 336897 | 9152 57182 193938 | 145199 137477 25 | 2.254 % |
299.57/299.81 c | 338761 | 9152 57182 193938 | 145199 139341 26 | 2.254 % |
301.37/301.63 c | 340810 | 9152 57182 193938 | 140581 141390 26 | 2.254 % |
304.27/304.59 c | 343063 | 9151 57175 193917 | 140581 129502 27 | 2.265 % |
306.67/306.94 c | 345542 | 9150 57175 193917 | 140581 131980 27 | 2.275 % |
309.36/309.67 c | 348267 | 9150 57175 193917 | 140581 134705 27 | 2.275 % |
312.26/312.51 c | 351264 | 9149 57152 193845 | 2147483647 137696 27 | 2.297 % |
315.16/315.42 c | 354561 | 9149 57152 193845 | 2147483647 140993 26 | 2.297 % |
315.26/315.52 c | 354662 | 9149 57152 193845 | 2147483647 141094 26 | 2.296 % |
315.37/315.62 c | 354772 | 9149 57152 193845 | 2147483647 141204 26 | 2.296 % |
315.47/315.73 c | 354895 | 9149 57152 193845 | 2147483647 141327 26 | 2.296 % |
315.56/315.86 c | 355028 | 9149 57152 193845 | 2147483647 141460 26 | 2.296 % |
315.76/316.06 c | 355174 | 9149 57152 193845 | 2147483647 141606 26 | 2.296 % |
315.86/316.19 c | 355336 | 9149 57152 193845 | 2147483647 141768 26 | 2.297 % |
316.06/316.31 c | 355512 | 9149 57152 193845 | 2147483647 141944 26 | 2.297 % |
316.16/316.49 c | 355706 | 9148 57152 193845 | 2147483647 142138 26 | 2.297 % |
316.56/316.81 c | 355918 | 9148 57152 193845 | 2147483647 142350 26 | 2.296 % |
316.86/317.12 c | 356153 | 9148 57152 193845 | 2147483647 142585 26 | 2.296 % |
317.16/317.47 c | 356410 | 9148 57152 193845 | 2147483647 142842 26 | 2.297 % |
317.76/318.01 c | 356691 | 9148 57152 193845 | 2147483647 143123 26 | 2.297 % |
318.06/318.35 c | 357000 | 9148 57152 193845 | 2147483647 143432 26 | 2.296 % |
318.56/318.85 c | 357339 | 9148 57152 193845 | 2147483647 143771 26 | 2.296 % |
319.06/319.37 c | 357712 | 9148 57152 193845 | 2147483647 144144 26 | 2.297 % |
319.76/320.08 c | 358123 | 9146 57142 193812 | 2147483647 144553 27 | 2.328 % |
320.16/320.42 c | 358573 | 9146 57142 193812 | 2147483647 145003 27 | 2.328 % |
320.66/320.96 c | 359066 | 9146 57142 193812 | 2147483647 145496 27 | 2.329 % |
321.16/321.48 c | 359608 | 9146 57142 193812 | 2147483647 146038 27 | 2.328 % |
321.66/321.98 c | 360205 | 9146 57142 193812 | 2147483647 146635 27 | 2.328 % |
322.36/322.67 c | 360861 | 9146 57142 193812 | 2147483647 147291 26 | 2.328 % |
323.26/323.51 c | 361581 | 9146 57142 193812 | 2147483647 148011 26 | 2.328 % |
324.06/324.39 c | 362374 | 9146 57142 193812 | 2147483647 148804 26 | 2.329 % |
324.96/325.22 c | 363246 | 9146 57142 193812 | 2147483647 149676 26 | 2.328 % |
325.96/326.27 c | 364206 | 9146 57142 193812 | 2147483647 150636 26 | 2.328 % |
327.16/327.48 c | 365260 | 9146 57142 193812 | 2147483647 151690 26 | 2.329 % |
328.35/328.62 c | 366418 | 9146 57142 193812 | 2147483647 152848 26 | 2.328 % |
330.15/330.43 c | 367691 | 9144 57054 193505 | 2147483647 154114 26 | 2.340 % |
331.35/331.63 c | 369091 | 9144 57054 193505 | 2147483647 155514 26 | 2.339 % |
332.75/333.01 c | 370632 | 9143 57054 193505 | 156423 157054 26 | 2.350 % |
335.85/336.16 c | 372326 | 9143 57054 193505 | 156423 136252 26 | 2.350 % |
337.25/337.53 c | 374189 | 9143 57054 193505 | 156423 138115 26 | 2.350 % |
338.95/339.25 c | 376238 | 9140 57054 193505 | 156423 140161 27 | 2.382 % |
342.24/342.54 c | 378491 | 9140 57054 193505 | 156423 142414 27 | 2.382 % |
344.64/344.99 c | 380969 | 9138 57007 193355 | 143915 144883 27 | 2.403 % |
347.54/347.87 c | 383695 | 9138 57007 193355 | 143915 131013 27 | 2.403 % |
349.64/349.97 c | 386692 | 9138 57007 193355 | 143915 134009 27 | 2.414 % |
352.04/352.37 c | 389990 | 9138 57007 193355 | 143915 137307 27 | 2.414 % |
354.54/354.86 c | 393616 | 9137 56984 193283 | 2147483647 140929 27 | 2.414 % |
354.64/354.93 c | 393716 | 9137 56984 193283 | 2147483647 141029 27 | 2.414 % |
354.74/355.02 c | 393827 | 9137 56984 193283 | 2147483647 141140 27 | 2.414 % |
354.84/355.12 c | 393948 | 9137 56984 193283 | 2147483647 141261 27 | 2.414 % |
354.94/355.24 c | 394081 | 9137 56984 193283 | 2147483647 141394 27 | 2.414 % |
355.14/355.42 c | 394228 | 9137 56984 193283 | 2147483647 141541 27 | 2.414 % |
355.34/355.65 c | 394390 | 9137 56984 193283 | 2147483647 141703 27 | 2.414 % |
355.64/355.95 c | 394566 | 9137 56984 193283 | 2147483647 141879 27 | 2.414 % |
355.94/356.27 c | 394761 | 9137 56984 193283 | 2147483647 142074 27 | 2.414 % |
356.14/356.41 c | 394973 | 9137 56984 193283 | 2147483647 142286 27 | 2.414 % |
356.24/356.59 c | 395208 | 9137 56984 193283 | 2147483647 142521 27 | 2.414 % |
356.44/356.77 c | 395464 | 9137 56984 193283 | 2147483647 142777 27 | 2.414 % |
356.64/356.96 c | 395746 | 9137 56984 193283 | 2147483647 143059 27 | 2.414 % |
356.84/357.17 c | 396055 | 9137 56984 193283 | 2147483647 143368 27 | 2.414 % |
357.34/357.60 c | 396395 | 9137 56984 193283 | 2147483647 143708 27 | 2.414 % |
357.64/357.92 c | 396768 | 9137 56984 193283 | 2147483647 144081 27 | 2.414 % |
357.94/358.26 c | 397177 | 9137 56984 193283 | 2147483647 144490 27 | 2.414 % |
358.34/358.61 c | 397626 | 9137 56984 193283 | 2147483647 144939 27 | 2.414 % |
358.64/358.98 c | 398120 | 9137 56984 193283 | 2147483647 145433 27 | 2.414 % |
359.04/359.36 c | 398663 | 9137 56984 193283 | 2147483647 145976 27 | 2.414 % |
359.54/359.80 c | 399259 | 9137 56984 193283 | 2147483647 146572 27 | 2.414 % |
360.44/360.78 c | 399915 | 9137 56984 193283 | 2147483647 147228 28 | 2.414 % |
361.04/361.32 c | 400636 | 9137 56984 193283 | 2147483647 147949 28 | 2.414 % |
361.54/361.84 c | 401428 | 9137 56984 193283 | 2147483647 148741 28 | 2.414 % |
362.24/362.52 c | 402300 | 9137 56984 193283 | 2147483647 149613 28 | 2.414 % |
362.94/363.29 c | 403258 | 9137 56984 193283 | 2147483647 150571 28 | 2.414 % |
364.04/364.39 c | 404312 | 9136 56976 193259 | 2147483647 151622 28 | 2.424 % |
364.84/365.14 c | 405470 | 9136 56976 193259 | 2147483647 152780 28 | 2.425 % |
366.14/366.45 c | 406743 | 9136 56976 193259 | 2147483647 154053 28 | 2.424 % |
367.24/367.58 c | 408143 | 9136 56976 193259 | 2147483647 155453 28 | 2.424 % |
368.93/369.24 c | 409683 | 9135 56976 193259 | 2147483647 156992 28 | 2.435 % |
370.44/370.74 c | 411378 | 9134 56976 193259 | 2147483647 158685 28 | 2.467 % |
372.23/372.58 c | 413242 | 9132 56976 193259 | 2147483647 160549 28 | 2.467 % |
374.73/375.06 c | 415293 | 9131 56913 193047 | 2147483647 162585 28 | 2.478 % |
376.93/377.28 c | 417546 | 9131 56913 193047 | 2147483647 164838 28 | 2.478 % |
379.22/379.60 c | 420025 | 9131 56913 193047 | 2147483647 167317 28 | 2.478 % |
381.72/382.02 c | 422751 | 9129 56913 193047 | 2147483647 170042 29 | 2.499 % |
384.12/384.40 c | 425749 | 9129 56913 193047 | 2147483647 173040 29 | 2.500 % |
386.72/387.04 c | 429045 | 9129 56889 192964 | 2147483647 176332 29 | 2.499 % |
392.42/392.73 c | 432670 | 9129 56889 192964 | 177288 159739 29 | 2.499 % |
396.51/396.89 c | 436659 | 9129 56889 192964 | 177288 163728 30 | 2.500 % |
396.61/396.97 c | 436759 | 9129 56889 192964 | 177288 163828 30 | 2.499 % |
396.72/397.06 c | 436872 | 9129 56889 192964 | 177288 163941 30 | 2.499 % |
396.91/397.20 c | 436993 | 9129 56889 192964 | 177288 164062 30 | 2.499 % |
397.01/397.31 c | 437127 | 9129 56889 192964 | 177288 164196 30 | 2.500 % |
397.11/397.43 c | 437274 | 9129 56889 192964 | 177288 164343 30 | 2.499 % |
397.21/397.58 c | 437434 | 9129 56889 192964 | 177288 164503 30 | 2.499 % |
397.41/397.77 c | 437612 | 9129 56889 192964 | 177288 164681 30 | 2.500 % |
397.82/398.17 c | 437805 | 9129 56889 192964 | 177288 164874 30 | 2.499 % |
398.11/398.48 c | 438018 | 9129 56889 192964 | 177288 165087 30 | 2.500 % |
398.51/398.83 c | 438251 | 9129 56889 192964 | 177288 165320 30 | 2.500 % |
398.71/399.07 c | 438507 | 9129 56889 192964 | 177288 165576 30 | 2.499 % |
399.21/399.50 c | 438789 | 9129 56889 192964 | 177288 165858 30 | 2.500 % |
399.51/399.86 c | 439099 | 9129 56889 192964 | 177288 166168 30 | 2.500 % |
400.02/400.31 c | 439438 | 9129 56889 192964 | 177288 166507 30 | 2.500 % |
400.21/400.58 c | 439810 | 9129 56889 192964 | 177288 166879 30 | 2.499 % |
400.51/400.82 c | 440219 | 9129 56889 192964 | 2147483647 167288 30 | 2.499 % |
400.81/401.15 c | 440668 | 9129 56889 192964 | 2147483647 167737 30 | 2.499 % |
401.12/401.50 c | 441162 | 9129 56889 192964 | 2147483647 168231 30 | 2.500 % |
401.51/401.84 c | 441705 | 9129 56889 192964 | 2147483647 168774 30 | 2.500 % |
402.11/402.49 c | 442304 | 9129 56889 192964 | 2147483647 169373 30 | 2.499 % |
402.81/403.15 c | 442959 | 9129 56889 192964 | 2147483647 170028 30 | 2.500 % |
403.41/403.71 c | 443679 | 9129 56889 192964 | 2147483647 170748 30 | 2.500 % |
404.01/404.34 c | 444471 | 9129 56889 192964 | 2147483647 171540 30 | 2.500 % |
404.81/405.13 c | 445343 | 9129 56889 192964 | 2147483647 172412 30 | 2.499 % |
405.71/406.09 c | 446301 | 9129 56889 192964 | 2147483647 173370 30 | 2.499 % |
406.71/407.03 c | 447354 | 9129 56889 192964 | 2147483647 174423 30 | 2.499 % |
407.81/408.12 c | 448512 | 9129 56889 192964 | 2147483647 175581 30 | 2.499 % |
409.71/410.04 c | 449786 | 9129 56889 192964 | 2147483647 176855 30 | 2.500 % |
411.12/411.46 c | 451188 | 9129 56889 192964 | 2147483647 178257 30 | 2.499 % |
412.42/412.70 c | 452729 | 9129 56889 192964 | 2147483647 179798 30 | 2.500 % |
413.81/414.15 c | 454424 | 9129 56889 192964 | 2147483647 181493 30 | 2.500 % |
415.71/416.06 c | 456290 | 9129 56889 192964 | 2147483647 183359 30 | 2.499 % |
417.81/418.10 c | 458340 | 9129 56889 192964 | 2147483647 185409 30 | 2.499 % |
419.71/420.10 c | 460594 | 9129 56889 192964 | 187069 187663 30 | 2.499 % |
424.80/425.10 c | 463072 | 9129 56889 192964 | 187069 164376 29 | 2.499 % |
427.90/428.20 c | 465797 | 9129 56889 192964 | 187069 167101 29 | 2.500 % |
431.70/432.06 c | 468796 | 9128 56882 192943 | 187069 170098 29 | 2.510 % |
436.70/437.02 c | 472092 | 9121 56882 192943 | 171298 149241 30 | 2.617 % |
439.80/440.19 c | 475718 | 9121 56882 192943 | 171298 152867 30 | 2.617 % |
443.40/443.77 c | 479705 | 9121 56882 192943 | 171298 156854 29 | 2.617 % |
449.60/449.98 c | 484092 | 9117 56685 192285 | 157149 135635 30 | 2.628 % |
449.79/450.11 c | 484196 | 9117 56685 192285 | 157149 135739 30 | 2.627 % |
449.89/450.24 c | 484307 | 9117 56685 192285 | 157149 135850 30 | 2.627 % |
449.99/450.38 c | 484428 | 9116 56685 192285 | 157149 135970 30 | 2.638 % |
450.19/450.56 c | 484563 | 9116 56685 192285 | 157149 136105 30 | 2.638 % |
450.39/450.72 c | 484709 | 9116 56685 192285 | 157149 136251 30 | 2.638 % |
450.49/450.90 c | 484869 | 9116 56685 192285 | 157149 136411 30 | 2.638 % |
450.70/451.05 c | 485046 | 9116 56685 192285 | 157149 136588 30 | 2.638 % |
450.89/451.24 c | 485240 | 9116 56685 192285 | 157149 136782 30 | 2.638 % |
451.09/451.41 c | 485453 | 9116 56685 192285 | 157149 136995 30 | 2.638 % |
451.29/451.60 c | 485687 | 9116 56685 192285 | 157149 137229 30 | 2.639 % |
451.49/451.87 c | 485944 | 9116 56685 192285 | 157149 137486 30 | 2.638 % |
451.80/452.17 c | 486225 | 9116 56685 192285 | 157149 137767 30 | 2.639 % |
452.19/452.50 c | 486535 | 9116 56685 192285 | 157149 138077 30 | 2.638 % |
452.29/452.62 c | 486874 | 9116 56685 192285 | 157149 138416 30 | 2.638 % |
452.69/453.10 c | 487247 | 9116 56685 192285 | 157149 138789 30 | 2.638 % |
453.49/453.82 c | 487656 | 9116 56685 192285 | 157149 139198 30 | 2.638 % |
453.90/454.25 c | 488105 | 9115 56685 192285 | 157149 139646 30 | 2.681 % |
454.29/454.62 c | 488598 | 9115 56685 192285 | 157149 140139 30 | 2.681 % |
454.79/455.12 c | 489140 | 9112 56685 192285 | 157149 140681 30 | 2.681 % |
455.39/455.77 c | 489736 | 9112 56685 192285 | 157149 141277 30 | 2.681 % |
455.79/456.17 c | 490392 | 9112 56685 192285 | 2147483647 141933 30 | 2.681 % |
456.29/456.61 c | 491112 | 9112 56685 192285 | 2147483647 142653 30 | 2.681 % |
456.79/457.18 c | 491905 | 9112 56685 192285 | 2147483647 143446 30 | 2.681 % |
457.39/457.78 c | 492778 | 9112 56685 192285 | 2147483647 144319 30 | 2.681 % |
458.09/458.44 c | 493736 | 9112 56685 192285 | 2147483647 145277 30 | 2.681 % |
458.99/459.35 c | 494790 | 9112 56639 192139 | 2147483647 146323 30 | 2.681 % |
459.79/460.16 c | 495948 | 9112 56639 192139 | 2147483647 147481 30 | 2.681 % |
460.79/461.16 c | 497221 | 9112 56639 192139 | 2147483647 148754 30 | 2.681 % |
462.28/462.67 c | 498623 | 9112 56639 192139 | 2147483647 150156 30 | 2.681 % |
464.28/464.67 c | 500164 | 9112 56639 192139 | 151534 151697 30 | 2.681 % |
465.58/465.90 c | 501861 | 9112 56639 192139 | 151534 153394 30 | 2.681 % |
467.57/467.91 c | 503724 | 9112 56639 192139 | 151534 135507 30 | 2.681 % |
469.17/469.56 c | 505773 | 9112 56639 192139 | 151534 137556 30 | 2.681 % |
470.97/471.35 c | 508029 | 9112 56639 192139 | 151534 139812 30 | 2.681 % |
473.68/474.04 c | 510509 | 9111 56629 192106 | 2147483647 142288 30 | 2.691 % |
476.47/476.83 c | 513234 | 9111 56629 192106 | 2147483647 145013 30 | 2.692 % |
479.67/480.01 c | 516233 | 9111 56629 192106 | 2147483647 148012 30 | 2.692 % |
482.87/483.21 c | 519530 | 9111 56629 192106 | 2147483647 151309 29 | 2.692 % |
486.67/487.02 c | 523155 | 9111 56629 192106 | 151781 154934 29 | 2.692 % |
491.77/492.12 c | 527142 | 9110 56616 192063 | 151781 138904 28 | 2.702 % |
494.97/495.31 c | 531528 | 9110 56616 192063 | 2147483647 143290 29 | 2.702 % |
498.67/499.09 c | 536351 | 9110 56616 192063 | 2147483647 148113 29 | 2.703 % |
498.87/499.20 c | 536451 | 9110 56616 192063 | 2147483647 148213 29 | 2.702 % |
498.97/499.31 c | 536563 | 9110 56616 192063 | 2147483647 148325 29 | 2.703 % |
499.17/499.51 c | 536684 | 9110 56616 192063 | 2147483647 148446 29 | 2.702 % |
499.27/499.67 c | 536818 | 9110 56616 192063 | 2147483647 148580 29 | 2.703 % |
499.47/499.83 c | 536964 | 9109 56616 192063 | 2147483647 148725 29 | 2.713 % |
499.67/500.00 c | 537124 | 9109 56616 192063 | 2147483647 148885 29 | 2.713 % |
499.77/500.16 c | 537301 | 9109 56616 192063 | 2147483647 149062 29 | 2.713 % |
499.97/500.31 c | 537496 | 9109 56616 192063 | 2147483647 149257 29 | 2.713 % |
500.17/500.53 c | 537709 | 9109 56608 192036 | 2147483647 149465 29 | 2.713 % |
500.36/500.71 c | 537944 | 9109 56608 192036 | 2147483647 149700 29 | 2.713 % |
500.56/500.90 c | 538200 | 9109 56608 192036 | 2147483647 149956 29 | 2.713 % |
500.76/501.10 c | 538481 | 9109 56608 192036 | 2147483647 150237 29 | 2.713 % |
500.96/501.39 c | 538791 | 9109 56608 192036 | 2147483647 150547 29 | 2.713 % |
501.27/501.68 c | 539131 | 9109 56608 192036 | 2147483647 150887 29 | 2.713 % |
501.66/502.01 c | 539505 | 9109 56608 192036 | 2147483647 151261 29 | 2.713 % |
502.16/502.56 c | 539915 | 9109 56608 192036 | 2147483647 151671 29 | 2.713 % |
502.86/503.21 c | 540364 | 9109 56608 192036 | 2147483647 152119 29 | 2.723 % |
503.26/503.63 c | 540857 | 9108 56608 192036 | 2147483647 152612 29 | 2.723 % |
503.56/503.98 c | 541399 | 9108 56608 192036 | 2147483647 153154 29 | 2.724 % |
503.96/504.33 c | 541995 | 9108 56608 192036 | 2147483647 153750 29 | 2.724 % |
504.36/504.79 c | 542651 | 9108 56608 192036 | 2147483647 154406 29 | 2.723 % |
504.96/505.36 c | 543372 | 9108 56608 192036 | 2147483647 155127 29 | 2.724 % |
505.57/505.96 c | 544164 | 9108 56608 192036 | 2147483647 155919 29 | 2.723 % |
506.16/506.51 c | 545037 | 9108 56608 192036 | 2147483647 156792 29 | 2.724 % |
507.56/507.95 c | 545995 | 9108 56608 192036 | 2147483647 157750 29 | 2.724 % |
508.66/509.10 c | 547049 | 9108 56608 192036 | 2147483647 158804 29 | 2.723 % |
510.46/510.83 c | 548208 | 9108 56608 192036 | 2147483647 159963 29 | 2.724 % |
511.66/512.02 c | 549481 | 9108 56597 192002 | 2147483647 161234 29 | 2.724 % |
512.65/513.00 c | 550883 | 9108 56597 192002 | 2147483647 162636 29 | 2.724 % |
514.05/514.41 c | 552424 | 9108 56597 192002 | 2147483647 164177 29 | 2.723 % |
515.65/516.04 c | 554119 | 9107 56597 192002 | 2147483647 165871 29 | 2.734 % |
517.05/517.40 c | 555982 | 9107 56597 192002 | 2147483647 167734 29 | 2.735 % |
519.05/519.43 c | 558031 | 9107 56597 192002 | 2147483647 169783 29 | 2.734 % |
521.85/522.24 c | 560284 | 9107 56597 192002 | 171753 172036 29 | 2.734 % |
524.85/525.27 c | 562763 | 9107 56588 191972 | 171753 151296 29 | 2.735 % |
528.55/528.95 c | 565490 | 9107 56588 191972 | 171753 154023 29 | 2.734 % |
531.05/531.48 c | 568487 | 9107 56588 191972 | 171753 157020 29 | 2.734 % |
534.55/534.91 c | 571783 | 9107 56588 191972 | 158533 160316 29 | 2.734 % |
537.75/538.10 c | 575409 | 9107 56588 191972 | 158533 146398 29 | 2.735 % |
542.65/543.08 c | 579396 | 9106 56581 191951 | 158533 150384 29 | 2.745 % |
547.04/547.47 c | 583781 | 9104 56581 191951 | 2147483647 154767 29 | 2.766 % |
550.75/551.14 c | 588604 | 9103 56581 191951 | 2147483647 159589 29 | 2.777 % |
557.24/557.64 c | 593910 | 9099 56555 191864 | 2147483647 164883 30 | 2.820 % |
557.34/557.75 c | 594010 | 9099 56555 191864 | 2147483647 164983 30 | 2.820 % |
557.54/557.98 c | 594123 | 9099 56555 191864 | 2147483647 165096 30 | 2.820 % |
557.74/558.15 c | 594245 | 9099 56555 191864 | 2147483647 165218 30 | 2.820 % |
557.84/558.25 c | 594379 | 9099 56555 191864 | 2147483647 165352 30 | 2.820 % |
557.94/558.35 c | 594525 | 9099 56555 191864 | 2147483647 165498 30 | 2.820 % |
558.24/558.62 c | 594685 | 9099 56555 191864 | 2147483647 165658 30 | 2.820 % |
558.44/558.87 c | 594863 | 9099 56555 191864 | 2147483647 165836 30 | 2.820 % |
558.63/559.07 c | 595056 | 9099 56555 191864 | 2147483647 166029 30 | 2.820 % |
559.04/559.50 c | 595268 | 9099 56555 191864 | 2147483647 166241 30 | 2.820 % |
559.44/559.80 c | 595503 | 9099 56555 191864 | 2147483647 166476 30 | 2.820 % |
559.63/560.01 c | 595759 | 9099 56555 191864 | 2147483647 166732 30 | 2.820 % |
559.83/560.28 c | 596040 | 9099 56555 191864 | 2147483647 167013 30 | 2.820 % |
560.23/560.68 c | 596350 | 9099 56555 191864 | 2147483647 167323 30 | 2.820 % |
560.64/561.07 c | 596690 | 9099 56555 191864 | 2147483647 167663 30 | 2.820 % |
561.13/561.57 c | 597062 | 9099 56555 191864 | 2147483647 168035 30 | 2.820 % |
561.64/562.05 c | 597471 | 9099 56555 191864 | 2147483647 168444 30 | 2.820 % |
562.13/562.53 c | 597920 | 9099 56495 191665 | 2147483647 168889 30 | 2.820 % |
562.63/563.07 c | 598415 | 9099 56495 191665 | 2147483647 169384 30 | 2.820 % |
563.33/563.79 c | 598957 | 9099 56495 191665 | 2147483647 169926 30 | 2.820 % |
564.03/564.45 c | 599554 | 9099 56495 191665 | 2147483647 170523 30 | 2.820 % |
565.13/565.58 c | 600209 | 9099 56495 191665 | 2147483647 171178 30 | 2.820 % |
566.04/566.42 c | 600929 | 9099 56495 191665 | 2147483647 171898 30 | 2.820 % |
567.13/567.53 c | 601722 | 9099 56495 191665 | 2147483647 172691 30 | 2.820 % |
568.13/568.60 c | 602593 | 9099 56495 191665 | 2147483647 173562 30 | 2.820 % |
569.33/569.80 c | 603552 | 9099 56495 191665 | 2147483647 174521 30 | 2.820 % |
570.43/570.85 c | 604605 | 9099 56495 191665 | 2147483647 175574 30 | 2.820 % |
572.13/572.53 c | 605764 | 9099 56495 191665 | 2147483647 176732 31 | 2.831 % |
573.33/573.79 c | 607038 | 9099 56495 191665 | 2147483647 178006 31 | 2.830 % |
574.93/575.36 c | 608440 | 9096 56487 191641 | 2147483647 179405 31 | 2.852 % |
577.53/577.92 c | 609980 | 9096 56487 191641 | 2147483647 180945 31 | 2.852 % |
579.13/579.54 c | 611674 | 9096 56487 191641 | 2147483647 182638 31 | 2.874 % |
580.63/581.09 c | 613537 | 9095 56487 191641 | 2147483647 184501 31 | 2.874 % |
582.33/582.79 c | 615586 | 9095 56487 191641 | 2147483647 186550 31 | 2.873 % |
584.32/584.77 c | 617840 | 9095 56487 191641 | 2147483647 188804 31 | 2.873 % |
586.12/586.57 c | 620318 | 9095 56487 191641 | 190964 191282 31 | 2.873 % |
590.82/591.29 c | 623043 | 9095 56487 191641 | 190964 167207 32 | 2.874 % |
594.52/594.94 c | 626040 | 9094 56455 191536 | 190964 170194 32 | 2.874 % |
598.51/598.93 c | 629336 | 9094 56455 191536 | 190964 173490 32 | 2.873 % |
601.51/601.99 c | 632961 | 9094 56455 191536 | 2147483647 177115 32 | 2.873 % |
605.21/605.69 c | 636948 | 9094 56455 191536 | 2147483647 181102 32 | 2.873 % |
609.21/609.63 c | 641335 | 9094 56455 191536 | 184154 185489 32 | 2.874 % |
615.71/616.12 c | 646158 | 9093 56447 191512 | 184154 158039 32 | 2.884 % |
620.51/620.91 c | 651463 | 9093 56447 191512 | 161881 163344 32 | 2.884 % |
626.51/626.93 c | 657299 | 9093 56447 191512 | 161881 142174 32 | 2.884 % |
626.61/627.02 c | 657399 | 9093 56447 191512 | 161881 142274 32 | 2.884 % |
626.70/627.12 c | 657509 | 9093 56447 191512 | 161881 142384 32 | 2.884 % |
626.80/627.29 c | 657631 | 9093 56447 191512 | 161881 142506 32 | 2.884 % |
626.90/627.36 c | 657765 | 9093 56447 191512 | 161881 142640 32 | 2.884 % |
627.00/627.45 c | 657913 | 9093 56447 191512 | 161881 142788 32 | 2.884 % |
627.10/627.57 c | 658073 | 9093 56447 191512 | 161881 142948 32 | 2.884 % |
627.40/627.86 c | 658249 | 9093 56447 191512 | 161881 143124 32 | 2.884 % |
627.61/628.09 c | 658442 | 9093 56447 191512 | 161881 143317 32 | 2.884 % |
627.90/628.34 c | 658655 | 9093 56447 191512 | 161881 143530 32 | 2.884 % |
628.10/628.58 c | 658890 | 9093 56447 191512 | 161881 143765 32 | 2.884 % |
628.40/628.80 c | 659146 | 9093 56447 191512 | 161881 144021 32 | 2.884 % |
628.60/629.07 c | 659428 | 9093 56447 191512 | 161881 144303 32 | 2.884 % |
629.00/629.40 c | 659737 | 9093 56447 191512 | 161881 144612 32 | 2.884 % |
629.30/629.78 c | 660077 | 9093 56447 191512 | 144875 144952 32 | 2.884 % |
629.91/630.37 c | 660450 | 9093 56447 191512 | 144875 145325 32 | 2.884 % |
630.80/631.29 c | 660859 | 9093 56447 191512 | 144875 127168 32 | 2.884 % |
631.30/631.71 c | 661308 | 9092 56439 191488 | 144875 127615 32 | 2.894 % |
631.50/631.99 c | 661802 | 9092 56439 191488 | 144875 128109 32 | 2.895 % |
631.90/632.33 c | 662344 | 9092 56439 191488 | 144875 128651 32 | 2.894 % |
632.40/632.81 c | 662940 | 9092 56439 191488 | 144875 129247 32 | 2.894 % |
632.80/633.25 c | 663596 | 9092 56439 191488 | 144875 129903 32 | 2.894 % |
633.70/634.10 c | 664316 | 9092 56439 191488 | 144875 130623 32 | 2.895 % |
634.90/635.37 c | 665108 | 9092 56439 191488 | 144875 131415 32 | 2.894 % |
635.40/635.89 c | 665979 | 9092 56439 191488 | 144875 132286 32 | 2.894 % |
636.10/636.58 c | 666938 | 9092 56439 191488 | 144875 133245 32 | 2.894 % |
636.90/637.38 c | 667992 | 9092 56439 191488 | 144875 134299 32 | 2.895 % |
638.00/638.49 c | 669150 | 9092 56439 191488 | 144875 135456 32 | 2.906 % |
639.50/639.97 c | 670424 | 9092 56439 191488 | 2147483647 136729 32 | 2.916 % |
640.50/640.99 c | 671824 | 9090 56420 191427 | 2147483647 138125 32 | 2.916 % |
641.70/642.19 c | 673364 | 9090 56420 191427 | 2147483647 139665 32 | 2.916 % |
643.30/643.76 c | 675058 | 9090 56420 191427 | 2147483647 141359 32 | 2.916 % |
645.20/645.68 c | 676921 | 9090 56420 191427 | 2147483647 143221 32 | 2.926 % |
646.70/647.18 c | 678970 | 9090 56420 191427 | 2147483647 145270 32 | 2.926 % |
648.70/649.11 c | 681224 | 9090 56420 191427 | 2147483647 147524 32 | 2.927 % |
650.90/651.33 c | 683703 | 9090 56420 191427 | 2147483647 150003 31 | 2.927 % |
653.70/654.14 c | 686431 | 9089 56412 191403 | 2147483647 152727 31 | 2.938 % |
657.09/657.56 c | 689430 | 9089 56412 191403 | 2147483647 155726 31 | 2.938 % |
661.59/662.09 c | 692726 | 9089 56412 191403 | 2147483647 159022 31 | 2.937 % |
665.19/665.66 c | 696351 | 9088 56404 191376 | 2147483647 162646 31 | 2.938 % |
670.29/670.75 c | 700338 | 9088 56404 191376 | 2147483647 166633 31 | 2.937 % |
674.59/675.03 c | 704723 | 9088 56404 191376 | 2147483647 171018 31 | 2.937 % |
679.19/679.65 c | 709548 | 9088 56404 191376 | 2147483647 175843 31 | 2.937 % |
685.48/685.92 c | 714853 | 9088 56404 191376 | 176295 147925 30 | 2.937 % |
690.68/691.12 c | 720689 | 9088 56404 191376 | 153073 153761 30 | 2.938 % |
697.58/698.01 c | 727107 | 9088 56404 191376 | 153073 137418 28 | 2.938 % |
697.58/698.08 c | 727207 | 9088 56404 191376 | 153073 137518 28 | 2.937 % |
697.68/698.19 c | 727317 | 9088 56404 191376 | 153073 137628 28 | 2.938 % |
697.88/698.32 c | 727439 | 9088 56404 191376 | 153073 137750 28 | 2.937 % |
697.98/698.48 c | 727572 | 9088 56404 191376 | 153073 137883 28 | 2.938 % |
698.28/698.77 c | 727719 | 9088 56404 191376 | 153073 138030 28 | 2.937 % |
698.48/698.92 c | 727879 | 9088 56404 191376 | 153073 138190 28 | 2.937 % |
698.58/699.06 c | 728056 | 9088 56404 191376 | 153073 138367 28 | 2.938 % |
698.97/699.43 c | 728249 | 9088 56404 191376 | 153073 138560 28 | 2.937 % |
699.18/699.65 c | 728461 | 9088 56404 191376 | 153073 138772 28 | 2.937 % |
699.37/699.84 c | 728694 | 9088 56404 191376 | 153073 139005 28 | 2.938 % |
699.57/700.04 c | 728951 | 9088 56404 191376 | 153073 139262 28 | 2.938 % |
699.77/700.25 c | 729234 | 9088 56404 191376 | 153073 139545 28 | 2.938 % |
699.97/700.45 c | 729544 | 9088 56404 191376 | 153073 139855 28 | 2.937 % |
700.57/701.07 c | 729884 | 9088 56404 191376 | 153073 140195 28 | 2.938 % |
701.07/701.54 c | 730258 | 9088 56404 191376 | 2147483647 140569 28 | 2.937 % |
701.47/701.90 c | 730667 | 9088 56404 191376 | 2147483647 140978 28 | 2.937 % |
701.97/702.44 c | 731116 | 9088 56404 191376 | 2147483647 141427 28 | 2.938 % |
702.48/702.91 c | 731609 | 9088 56404 191376 | 2147483647 141920 28 | 2.938 % |
702.87/703.33 c | 732151 | 9088 56404 191376 | 2147483647 142462 28 | 2.938 % |
703.27/703.77 c | 732748 | 9088 56404 191376 | 2147483647 143059 28 | 2.938 % |
703.87/704.39 c | 733403 | 9088 56404 191376 | 2147483647 143714 28 | 2.938 % |
704.57/705.08 c | 734124 | 9088 56404 191376 | 2147483647 144435 28 | 2.938 % |
705.37/705.81 c | 734916 | 9088 56404 191376 | 2147483647 145227 28 | 2.938 % |
706.07/706.55 c | 735787 | 9088 56404 191376 | 2147483647 146098 28 | 2.937 % |
706.87/707.34 c | 736745 | 9088 56404 191376 | 2147483647 147056 28 | 2.937 % |
707.77/708.23 c | 737798 | 9088 56404 191376 | 2147483647 148109 28 | 2.938 % |
708.87/709.30 c | 738958 | 9088 56404 191376 | 2147483647 149269 28 | 2.937 % |
710.27/710.74 c | 740232 | 9088 56404 191376 | 150311 150543 28 | 2.937 % |
711.77/712.24 c | 741632 | 9088 56404 191376 | 150311 151943 28 | 2.937 % |
713.87/714.32 c | 743172 | 9088 56404 191376 | 150311 135183 28 | 2.938 % |
715.37/715.83 c | 744866 | 9088 56404 191376 | 150311 136877 28 | 2.938 % |
716.67/717.14 c | 746729 | 9088 56404 191376 | 150311 138740 28 | 2.937 % |
718.16/718.68 c | 748778 | 9088 56404 191376 | 150311 140789 28 | 2.938 % |
719.86/720.37 c | 751034 | 9088 56404 191376 | 2147483647 143045 28 | 2.938 % |
722.27/722.74 c | 753513 | 9088 56404 191376 | 2147483647 145524 28 | 2.938 % |
726.46/726.90 c | 756238 | 9085 56392 191340 | 2147483647 148247 28 | 2.969 % |
729.06/729.51 c | 759235 | 9082 56392 191340 | 2147483647 151243 28 | 3.023 % |
732.26/732.76 c | 762532 | 9077 56253 190873 | 2147483647 154524 28 | 3.055 % |
735.76/736.22 c | 766157 | 9077 56253 190873 | 2147483647 158149 29 | 3.055 % |
738.35/738.86 c | 770144 | 9077 56253 190873 | 2147483647 162136 29 | 3.055 % |
741.65/742.13 c | 774530 | 9077 56253 190873 | 2147483647 166522 29 | 3.055 % |
745.36/745.86 c | 779354 | 9077 56253 190873 | 2147483647 171346 29 | 3.055 % |
749.95/750.43 c | 784661 | 9077 56253 190873 | 2147483647 176653 29 | 3.055 % |
756.05/756.59 c | 790496 | 9077 56253 190873 | 2147483647 182488 29 | 3.055 % |
762.45/762.94 c | 796914 | 9077 56253 190873 | 2147483647 188906 29 | 3.055 % |
771.34/771.87 c | 803974 | 9077 56253 190873 | 191992 170344 29 | 3.055 % |
771.44/771.97 c | 804074 | 9077 56253 190873 | 191992 170444 29 | 3.055 % |
771.65/772.12 c | 804184 | 9077 56253 190873 | 191992 170554 29 | 3.055 % |
771.75/772.24 c | 804305 | 9077 56253 190873 | 191992 170675 29 | 3.055 % |
771.94/772.44 c | 804439 | 9077 56253 190873 | 191992 170809 29 | 3.055 % |
772.24/772.79 c | 804586 | 9077 56253 190873 | 191992 170956 29 | 3.055 % |
772.44/772.98 c | 804746 | 9077 56253 190873 | 191992 171116 29 | 3.055 % |
772.75/773.26 c | 804922 | 9077 56253 190873 | 191992 171292 29 | 3.055 % |
773.24/773.71 c | 805115 | 9077 56253 190873 | 191992 171485 29 | 3.055 % |
773.34/773.90 c | 805327 | 9077 56253 190873 | 191992 171697 29 | 3.055 % |
773.74/774.20 c | 805561 | 9077 56253 190873 | 191992 171931 29 | 3.055 % |
773.85/774.38 c | 805817 | 9077 56253 190873 | 191992 172187 29 | 3.055 % |
774.14/774.66 c | 806099 | 9077 56253 190873 | 191992 172469 29 | 3.055 % |
774.34/774.88 c | 806408 | 9077 56253 190873 | 191992 172778 29 | 3.055 % |
774.64/775.18 c | 806749 | 9077 56253 190873 | 191992 173119 29 | 3.055 % |
774.95/775.47 c | 807122 | 9077 56253 190873 | 191992 173492 29 | 3.055 % |
775.24/775.78 c | 807532 | 9077 56253 190873 | 191992 173902 29 | 3.055 % |
775.74/776.21 c | 807981 | 9077 56253 190873 | 191992 174351 29 | 3.055 % |
776.64/777.14 c | 808474 | 9077 56253 190873 | 191992 174844 29 | 3.055 % |
777.54/778.06 c | 809016 | 9077 56253 190873 | 191992 175386 29 | 3.055 % |
778.14/778.64 c | 809612 | 9076 56240 190830 | 191992 175979 29 | 3.066 % |
778.94/779.46 c | 810267 | 9076 56240 190830 | 176367 176634 29 | 3.065 % |
779.64/780.16 c | 810988 | 9076 56240 190830 | 176367 177355 29 | 3.065 % |
781.44/781.90 c | 811781 | 9076 56240 190830 | 176367 157985 29 | 3.065 % |
782.04/782.59 c | 812653 | 9076 56240 190830 | 176367 158857 29 | 3.066 % |
782.83/783.34 c | 813612 | 9076 56240 190830 | 176367 159816 29 | 3.066 % |
783.63/784.11 c | 814665 | 9076 56240 190830 | 176367 160869 29 | 3.065 % |
784.84/785.31 c | 815823 | 9076 56240 190830 | 176367 162027 29 | 3.065 % |
786.04/786.55 c | 817099 | 9076 56240 190830 | 176367 163303 29 | 3.066 % |
787.43/787.99 c | 818501 | 9076 56240 190830 | 176367 164705 29 | 3.065 % |
789.53/790.10 c | 820041 | 9076 56240 190830 | 166203 166244 29 | 3.076 % |
791.03/791.52 c | 821736 | 9076 56240 190830 | 166203 167939 29 | 3.076 % |
793.43/793.96 c | 823600 | 9075 56231 190800 | 166203 151403 29 | 3.076 % |
794.83/795.35 c | 825650 | 9075 56231 190800 | 166203 153453 29 | 3.077 % |
796.43/796.95 c | 827903 | 9075 56231 190800 | 166203 155706 29 | 3.076 % |
798.43/798.92 c | 830383 | 9075 56231 190800 | 157805 158186 29 | 3.076 % |
802.33/802.86 c | 833109 | 9075 56231 190800 | 157805 144010 30 | 3.076 % |
804.83/805.30 c | 836107 | 9075 56231 190800 | 157805 147007 30 | 3.087 % |
807.33/807.84 c | 839403 | 9072 56223 190776 | 157805 150298 30 | 3.108 % |
811.23/811.78 c | 843028 | 9072 56223 190776 | 2147483647 153923 30 | 3.108 % |
814.42/814.98 c | 847016 | 9072 56223 190776 | 2147483647 157911 30 | 3.108 % |
818.72/819.29 c | 851401 | 9072 56203 190712 | 2147483647 162292 30 | 3.108 % |
822.91/823.46 c | 856224 | 9072 56203 190712 | 2147483647 167115 30 | 3.108 % |
827.21/827.76 c | 861529 | 9072 56203 190712 | 170892 172420 30 | 3.108 % |
835.21/835.73 c | 867364 | 9071 56186 190650 | 170892 147765 31 | 3.119 % |
840.21/840.77 c | 873783 | 9071 56186 190650 | 2147483647 154183 31 | 3.130 % |
846.90/847.42 c | 880843 | 9070 56186 190650 | 2147483647 161241 32 | 3.151 % |
855.70/856.26 c | 888609 | 9068 56161 190568 | 2147483647 169005 32 | 3.151 % |
855.80/856.34 c | 888710 | 9068 56161 190568 | 2147483647 169106 32 | 3.151 % |
855.90/856.47 c | 888821 | 9068 56161 190568 | 2147483647 169217 32 | 3.151 % |
856.10/856.60 c | 888943 | 9068 56161 190568 | 2147483647 169339 32 | 3.151 % |
856.10/856.69 c | 889076 | 9068 56161 190568 | 2147483647 169472 32 | 3.151 % |
856.31/856.86 c | 889222 | 9068 56161 190568 | 2147483647 169618 32 | 3.151 % |
856.50/857.00 c | 889382 | 9065 56161 190568 | 2147483647 169777 32 | 3.183 % |
856.60/857.15 c | 889559 | 9065 56161 190568 | 2147483647 169954 32 | 3.183 % |
856.80/857.37 c | 889752 | 9065 56161 190568 | 2147483647 170147 32 | 3.183 % |
857.00/857.54 c | 889965 | 9065 56161 190568 | 2147483647 170360 32 | 3.183 % |
857.20/857.77 c | 890198 | 9065 56161 190568 | 2147483647 170593 32 | 3.183 % |
857.40/857.93 c | 890456 | 9065 56161 190568 | 2147483647 170851 32 | 3.183 % |
857.60/858.15 c | 890737 | 9065 56161 190568 | 2147483647 171132 32 | 3.183 % |
857.90/858.43 c | 891046 | 9065 56161 190568 | 2147483647 171441 32 | 3.183 % |
858.30/858.88 c | 891386 | 9065 56161 190568 | 2147483647 171781 32 | 3.183 % |
858.80/859.32 c | 891758 | 9065 56161 190568 | 2147483647 172153 32 | 3.183 % |
859.20/859.73 c | 892167 | 9065 56132 190476 | 2147483647 172556 32 | 3.183 % |
859.70/860.23 c | 892617 | 9065 56132 190476 | 2147483647 173006 32 | 3.183 % |
860.20/860.76 c | 893110 | 9065 56132 190476 | 2147483647 173499 32 | 3.183 % |
860.70/861.25 c | 893652 | 9065 56132 190476 | 2147483647 174041 32 | 3.183 % |
861.30/861.89 c | 894248 | 9065 56132 190476 | 2147483647 174637 32 | 3.183 % |
861.90/862.48 c | 894905 | 9065 56132 190476 | 2147483647 175294 32 | 3.183 % |
862.60/863.17 c | 895626 | 9065 56132 190476 | 2147483647 176015 32 | 3.183 % |
863.30/863.82 c | 896419 | 9065 56132 190476 | 2147483647 176808 32 | 3.183 % |
863.90/864.47 c | 897294 | 9065 56132 190476 | 2147483647 177683 32 | 3.183 % |
864.60/865.19 c | 898253 | 9065 56132 190476 | 2147483647 178642 32 | 3.183 % |
865.50/866.04 c | 899306 | 9065 56132 190476 | 2147483647 179695 32 | 3.183 % |
866.50/867.05 c | 900464 | 9065 56132 190476 | 180390 180853 32 | 3.183 % |
869.09/869.60 c | 901737 | 9065 56132 190476 | 180390 153533 31 | 3.183 % |
870.49/871.04 c | 903138 | 9065 56132 190476 | 180390 154934 31 | 3.183 % |
871.99/872.55 c | 904680 | 9065 56132 190476 | 180390 156476 31 | 3.183 % |
873.49/874.02 c | 906375 | 9065 56132 190476 | 180390 158171 31 | 3.183 % |
874.99/875.55 c | 908239 | 9065 56132 190476 | 180390 160035 31 | 3.183 % |
876.58/877.12 c | 910288 | 9065 56132 190476 | 161796 162084 31 | 3.183 % |
878.29/878.89 c | 912541 | 9065 56132 190476 | 161796 164337 31 | 3.183 % |
881.18/881.70 c | 915019 | 9065 56132 190476 | 161796 139484 32 | 3.183 % |
884.28/884.81 c | 917744 | 9065 56132 190476 | 161796 142209 32 | 3.183 % |
886.68/887.25 c | 920742 | 9065 56132 190476 | 144468 145207 32 | 3.183 % |
889.88/890.47 c | 924038 | 9065 56132 190476 | 144468 130999 32 | 3.183 % |
893.18/893.73 c | 927664 | 9065 56132 190476 | 144468 134625 32 | 3.184 % |
896.38/896.99 c | 931651 | 9065 56132 190476 | 2147483647 138612 31 | 3.183 % |
899.78/900.39 c | 936036 | 9065 56132 190476 | 2147483647 142997 32 | 3.183 % |
903.88/904.47 c | 940859 | 9063 56114 190418 | 2147483647 147814 32 | 3.204 % |
908.37/908.98 c | 946164 | 9063 56114 190418 | 2147483647 153119 32 | 3.205 % |
912.97/913.51 c | 951999 | 9063 56114 190418 | 156957 158954 32 | 3.204 % |
920.96/921.53 c | 958417 | 9061 56106 190391 | 156957 139713 32 | 3.226 % |
927.77/928.33 c | 965476 | 9061 56106 190391 | 141296 127553 31 | 3.226 % |
934.16/934.74 c | 973241 | 9061 56093 190348 | 132078 115800 30 | 3.225 % |
940.16/940.77 c | 981782 | 9061 56093 190348 | 2147483647 124341 30 | 3.225 % |
940.26/940.85 c | 981882 | 9061 56093 190348 | 2147483647 124441 30 | 3.226 % |
940.36/940.94 c | 981992 | 9061 56093 190348 | 2147483647 124551 30 | 3.225 % |
940.46/941.02 c | 982113 | 9061 56093 190348 | 2147483647 124672 30 | 3.226 % |
940.56/941.13 c | 982248 | 9061 56093 190348 | 2147483647 124807 30 | 3.225 % |
940.66/941.25 c | 982395 | 9061 56093 190348 | 2147483647 124954 30 | 3.225 % |
940.76/941.37 c | 982559 | 9061 56093 190348 | 2147483647 125118 30 | 3.225 % |
940.96/941.52 c | 982737 | 9061 56093 190348 | 2147483647 125296 30 | 3.226 % |
941.16/941.76 c | 982931 | 9061 56093 190348 | 2147483647 125490 30 | 3.226 % |
941.36/941.95 c | 983143 | 9061 56093 190348 | 2147483647 125702 30 | 3.226 % |
941.46/942.08 c | 983376 | 9061 56093 190348 | 2147483647 125935 30 | 3.226 % |
941.66/942.25 c | 983632 | 9061 56093 190348 | 2147483647 126191 30 | 3.226 % |
941.86/942.44 c | 983913 | 9061 56093 190348 | 2147483647 126472 30 | 3.226 % |
942.06/942.65 c | 984222 | 9061 56093 190348 | 2147483647 126781 30 | 3.226 % |
942.25/942.88 c | 984563 | 9061 56093 190348 | 2147483647 127122 30 | 3.226 % |
942.95/943.59 c | 984935 | 9061 56093 190348 | 2147483647 127494 30 | 3.226 % |
943.66/944.20 c | 985344 | 9061 56093 190348 | 2147483647 127903 30 | 3.225 % |
943.96/944.52 c | 985793 | 9061 56093 190348 | 2147483647 128352 30 | 3.226 % |
944.26/944.87 c | 986286 | 9061 56093 190348 | 2147483647 128845 30 | 3.226 % |
944.66/945.25 c | 986830 | 9061 56093 190348 | 2147483647 129389 30 | 3.226 % |
945.15/945.71 c | 987426 | 9061 56093 190348 | 2147483647 129985 30 | 3.226 % |
945.55/946.17 c | 988082 | 9061 56093 190348 | 2147483647 130641 30 | 3.225 % |
946.25/946.80 c | 988802 | 9061 56093 190348 | 2147483647 131361 31 | 3.226 % |
947.05/947.69 c | 989594 | 9060 56087 190327 | 2147483647 132151 31 | 3.237 % |
947.75/948.30 c | 990465 | 9060 56087 190327 | 2147483647 133022 31 | 3.237 % |
948.65/949.30 c | 991423 | 9060 56087 190327 | 2147483647 133980 31 | 3.236 % |
949.65/950.21 c | 992477 | 9060 56087 190327 | 2147483647 135034 31 | 3.236 % |
950.55/951.19 c | 993635 | 9060 56087 190327 | 2147483647 136192 31 | 3.236 % |
951.55/952.19 c | 994909 | 9060 56087 190327 | 2147483647 137466 31 | 3.236 % |
952.65/953.26 c | 996312 | 9060 56087 190327 | 2147483647 138869 31 | 3.236 % |
953.85/954.42 c | 997853 | 9060 56087 190327 | 2147483647 140410 31 | 3.236 % |
955.15/955.72 c | 999547 | 9060 56087 190327 | 2147483647 142104 31 | 3.236 % |
956.75/957.32 c | 1001410 | 9060 56087 190327 | 2147483647 143967 31 | 3.236 % |
958.34/958.91 c | 1003459 | 9060 56087 190327 | 2147483647 146016 31 | 3.236 % |
960.14/960.73 c | 1005712 | 9060 56087 190327 | 2147483647 148269 31 | 3.236 % |
962.24/962.89 c | 1008194 | 9060 56087 190327 | 2147483647 150751 31 | 3.236 % |
964.44/965.07 c | 1010919 | 9060 56087 190327 | 2147483647 153476 30 | 3.236 % |
967.94/968.52 c | 1013919 | 9060 56087 190327 | 2147483647 156476 30 | 3.237 % |
970.84/971.42 c | 1017215 | 9060 56087 190327 | 2147483647 159772 30 | 3.236 % |
974.14/974.75 c | 1020840 | 9060 56087 190327 | 162558 163397 30 | 3.237 % |
978.24/978.84 c | 1024827 | 9060 56087 190327 | 162558 141450 29 | 3.236 % |
981.93/982.50 c | 1029212 | 9060 56087 190327 | 162558 145835 29 | 3.236 % |
987.14/987.79 c | 1034035 | 9060 56087 190327 | 146624 125002 29 | 3.236 % |
992.64/993.25 c | 1039341 | 9058 56073 190285 | 146624 130305 29 | 3.258 % |
997.04/997.67 c | 1045176 | 9058 56073 190285 | 130965 120947 29 | 3.258 % |
1001.54/1002.17 c | 1051594 | 9058 56073 190285 | 2147483647 127365 28 | 3.258 % |
1007.32/1007.98 c | 1058654 | 9057 56065 190258 | 2147483647 134421 28 | 3.268 % |
1013.92/1014.51 c | 1066419 | 9057 56065 190258 | 2147483647 142186 28 | 3.268 % |
1022.32/1022.94 c | 1074960 | 9057 56065 190258 | 145769 127014 26 | 3.269 % |
1029.60/1030.26 c | 1084356 | 9057 56065 190258 | 132055 113572 25 | 3.269 % |
1029.70/1030.34 c | 1084456 | 9057 56065 190258 | 132055 113672 25 | 3.269 % |
1029.80/1030.44 c | 1084566 | 9057 56065 190258 | 132055 113782 25 | 3.268 % |
1029.90/1030.56 c | 1084687 | 9057 56065 190258 | 132055 113903 25 | 3.269 % |
1030.01/1030.64 c | 1084820 | 9057 56065 190258 | 132055 114036 25 | 3.268 % |
1030.10/1030.72 c | 1084967 | 9057 56065 190258 | 132055 114183 25 | 3.268 % |
1030.20/1030.82 c | 1085128 | 9057 56065 190258 | 132055 114344 25 | 3.268 % |
1030.30/1030.97 c | 1085304 | 9057 56065 190258 | 132055 114520 25 | 3.268 % |
1030.50/1031.17 c | 1085497 | 9057 56065 190258 | 132055 114713 25 | 3.268 % |
1030.70/1031.37 c | 1085710 | 9057 56065 190258 | 132055 114926 25 | 3.268 % |
1030.90/1031.58 c | 1085943 | 9057 56065 190258 | 132055 115159 25 | 3.269 % |
1031.30/1031.95 c | 1086199 | 9057 56065 190258 | 132055 115415 25 | 3.268 % |
1031.50/1032.20 c | 1086482 | 9057 56065 190258 | 132055 115698 25 | 3.268 % |
1032.20/1032.83 c | 1086791 | 9057 56065 190258 | 132055 116007 25 | 3.268 % |
1032.70/1033.32 c | 1087131 | 9055 56021 190113 | 132055 116343 25 | 3.290 % |
1032.90/1033.56 c | 1087505 | 9055 56021 190113 | 132055 116717 25 | 3.290 % |
1033.40/1034.02 c | 1087914 | 9055 56021 190113 | 132055 117126 25 | 3.290 % |
1034.00/1034.69 c | 1088364 | 9055 56021 190113 | 132055 117576 25 | 3.290 % |
1034.70/1035.36 c | 1088858 | 9055 56021 190113 | 132055 118070 25 | 3.290 % |
1035.20/1035.83 c | 1089400 | 9055 56021 190113 | 132055 118612 25 | 3.290 % |
1035.60/1036.22 c | 1089996 | 9055 56021 190113 | 132055 119208 25 | 3.290 % |
1036.00/1036.67 c | 1090652 | 9055 56021 190113 | 2147483647 119864 25 | 3.290 % |
1036.50/1037.12 c | 1091373 | 9055 56021 190113 | 2147483647 120585 25 | 3.290 % |
1037.00/1037.66 c | 1092165 | 9055 56021 190113 | 2147483647 121377 25 | 3.290 % |
1037.70/1038.31 c | 1093038 | 9055 56021 190113 | 2147483647 122250 25 | 3.290 % |
1038.40/1039.07 c | 1093996 | 9055 56021 190113 | 2147483647 123208 25 | 3.290 % |
1039.20/1039.89 c | 1095049 | 9055 56021 190113 | 2147483647 124261 25 | 3.290 % |
1040.49/1041.19 c | 1096207 | 9053 55978 189971 | 2147483647 125417 25 | 3.311 % |
1041.29/1041.93 c | 1097481 | 9053 55978 189971 | 2147483647 126691 25 | 3.311 % |
1042.59/1043.27 c | 1098883 | 9053 55978 189971 | 2147483647 128093 26 | 3.311 % |
1044.30/1044.95 c | 1100425 | 9053 55978 189971 | 2147483647 129635 26 | 3.311 % |
1045.99/1046.64 c | 1102120 | 9053 55978 189971 | 2147483647 131330 26 | 3.311 % |
1047.39/1048.08 c | 1103983 | 9053 55978 189971 | 2147483647 133193 26 | 3.311 % |
1049.39/1050.09 c | 1106032 | 9051 55963 189920 | 2147483647 135238 26 | 3.333 % |
1051.19/1051.82 c | 1108285 | 9051 55963 189920 | 2147483647 137491 26 | 3.333 % |
1053.58/1054.28 c | 1110765 | 9051 55963 189920 | 2147483647 139970 26 | 3.343 % |
1056.58/1057.21 c | 1113490 | 9051 55963 189920 | 2147483647 142695 26 | 3.343 % |
1058.69/1059.35 c | 1116488 | 9050 55955 189893 | 2147483647 145692 26 | 3.343 % |
1061.48/1062.10 c | 1119784 | 9050 55955 189893 | 2147483647 148988 26 | 3.343 % |
1065.48/1066.13 c | 1123409 | 9046 55955 189893 | 149204 137543 26 | 3.397 % |
1068.28/1068.92 c | 1127396 | 9046 55955 189893 | 149204 141530 26 | 3.396 % |
1071.58/1072.24 c | 1131781 | 9045 55918 189776 | 2147483647 145908 26 | 3.397 % |
1074.88/1075.57 c | 1136605 | 9045 55918 189776 | 2147483647 150732 26 | 3.397 % |
1079.77/1080.49 c | 1141910 | 9045 55918 189776 | 154127 156037 26 | 3.397 % |
1085.27/1085.98 c | 1147745 | 9045 55918 189776 | 154127 143337 27 | 3.397 % |
1090.87/1091.57 c | 1154163 | 9045 55918 189776 | 2147483647 149755 26 | 3.397 % |
1099.66/1100.38 c | 1161223 | 9044 55908 189743 | 2147483647 156812 26 | 3.408 % |
1106.46/1107.17 c | 1168987 | 9044 55908 189743 | 2147483647 164576 27 | 3.408 % |
1116.35/1117.07 c | 1177527 | 9039 55836 189490 | 2147483647 173110 27 | 3.471 % |
1125.85/1126.60 c | 1186921 | 9039 55836 189490 | 2147483647 182504 27 | 3.471 % |
1138.14/1138.82 c | 1197256 | 9039 55836 189490 | 185583 155013 27 | 3.472 % |
1138.34/1139.02 c | 1197357 | 9038 55828 189463 | 185583 155111 27 | 3.472 % |
1138.44/1139.17 c | 1197467 | 9038 55828 189463 | 185583 155221 27 | 3.471 % |
1138.64/1139.31 c | 1197589 | 9038 55828 189463 | 185583 155343 27 | 3.471 % |
1138.84/1139.59 c | 1197722 | 9038 55828 189463 | 185583 155476 27 | 3.472 % |
1139.24/1139.94 c | 1197868 | 9038 55828 189463 | 185583 155622 27 | 3.472 % |
1139.44/1140.13 c | 1198029 | 9038 55828 189463 | 185583 155783 27 | 3.471 % |
1139.54/1140.28 c | 1198205 | 9038 55828 189463 | 185583 155959 27 | 3.471 % |
1139.74/1140.45 c | 1198401 | 9038 55828 189463 | 185583 156155 27 | 3.472 % |
1139.94/1140.63 c | 1198613 | 9038 55828 189463 | 185583 156367 27 | 3.472 % |
1140.14/1140.81 c | 1198846 | 9038 55828 189463 | 185583 156600 27 | 3.472 % |
1140.34/1141.03 c | 1199102 | 9038 55828 189463 | 185583 156856 27 | 3.471 % |
1140.54/1141.29 c | 1199383 | 9038 55828 189463 | 185583 157137 27 | 3.471 % |
1140.84/1141.51 c | 1199692 | 9038 55828 189463 | 185583 157446 27 | 3.472 % |
1141.04/1141.76 c | 1200032 | 9038 55828 189463 | 157754 157786 27 | 3.471 % |
1141.44/1142.13 c | 1200406 | 9038 55828 189463 | 157754 158160 27 | 3.472 % |
1143.04/1143.80 c | 1200817 | 9038 55828 189463 | 157754 130053 27 | 3.471 % |
1143.54/1144.24 c | 1201266 | 9038 55828 189463 | 157754 130502 27 | 3.471 % |
1144.04/1144.72 c | 1201760 | 9038 55828 189463 | 157754 130996 27 | 3.472 % |
1144.34/1145.06 c | 1202302 | 9038 55828 189463 | 157754 131538 27 | 3.472 % |
1144.74/1145.40 c | 1202898 | 9038 55828 189463 | 157754 132134 27 | 3.471 % |
1145.03/1145.76 c | 1203553 | 9038 55828 189463 | 157754 132789 27 | 3.471 % |
1145.54/1146.26 c | 1204273 | 9038 55828 189463 | 157754 133509 28 | 3.472 % |
1146.23/1146.94 c | 1205065 | 9038 55828 189463 | 157754 134301 28 | 3.471 % |
1146.93/1147.67 c | 1205936 | 9038 55828 189463 | 157754 135172 28 | 3.472 % |
1147.93/1148.62 c | 1206895 | 9037 55828 189463 | 157754 136130 28 | 3.482 % |
1148.63/1149.38 c | 1207949 | 9037 55828 189463 | 157754 137184 28 | 3.482 % |
1149.64/1150.39 c | 1209108 | 9037 55820 189439 | 157754 138342 28 | 3.482 % |
1150.53/1151.29 c | 1210382 | 9037 55820 189439 | 2147483647 139616 28 | 3.482 % |
1151.63/1152.35 c | 1211783 | 9037 55820 189439 | 2147483647 141017 28 | 3.482 % |
1152.53/1153.20 c | 1213324 | 9037 55820 189439 | 2147483647 142558 29 | 3.482 % |
1153.43/1154.15 c | 1215018 | 9037 55820 189439 | 2147483647 144252 29 | 3.482 % |
1154.53/1155.21 c | 1216882 | 9037 55820 189439 | 2147483647 146116 29 | 3.482 % |
1155.63/1156.37 c | 1218932 | 9037 55820 189439 | 2147483647 148166 29 | 3.482 % |
1157.03/1157.73 c | 1221185 | 9037 55820 189439 | 2147483647 150419 29 | 3.482 % |
1158.83/1159.57 c | 1223663 | 9037 55820 189439 | 2147483647 152897 29 | 3.482 % |
1160.93/1161.70 c | 1226388 | 9037 55820 189439 | 2147483647 155622 29 | 3.482 % |
1162.83/1163.55 c | 1229386 | 9037 55820 189439 | 2147483647 158620 29 | 3.482 % |
1165.23/1165.91 c | 1232683 | 9037 55820 189439 | 159234 161917 30 | 3.482 % |
1169.33/1170.02 c | 1236308 | 9037 55820 189439 | 159234 142646 30 | 3.482 % |
1172.52/1173.26 c | 1240295 | 9037 55820 189439 | 146338 146633 30 | 3.482 % |
1177.02/1177.79 c | 1244680 | 9037 55820 189439 | 146338 129336 30 | 3.482 % |
1180.42/1181.18 c | 1249503 | 9037 55820 189439 | 146338 134159 30 | 3.482 % |
1184.21/1184.90 c | 1254808 | 9037 55820 189439 | 2147483647 139464 30 | 3.482 % |
1188.42/1189.17 c | 1260643 | 9037 55820 189439 | 144656 145299 30 | 3.482 % |
1194.21/1194.98 c | 1267061 | 9037 55820 189439 | 144656 131997 30 | 3.482 % |
1200.01/1200.71 HOME/SatELiteGTI: line 36: 11438 Terminated $MS $TMP.cnf $TMP.result
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832425-1242773036/watcher-1832425-1242773036 -o /tmp/evaluation-result-1832425-1242773036/solver-1832425-1242773036 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832425-1242773036.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.04 1.01 0.94 3/65 11432
/proc/meminfo: memFree=1925712/2055920 swapFree=4180288/4192956
[pid=11432] ppid=11430 vsize=5356 CPUtime=0
/proc/11432/stat : 11432 (SatELiteGTI) S 11430 11432 11172 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 305332619 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11432/statm: 1339 237 197 169 0 50 0
[pid=11436] ppid=11432 vsize=1740 CPUtime=0
/proc/11436/stat : 11436 (SatELite_releas) R 11432 11432 11172 0 -1 4194304 271 0 0 0 0 0 0 0 18 0 1 0 305332620 1781760 257 1992294400 134512640 135223648 4294956128 18446744073709551615 134737310 0 0 4096 3 0 0 0 17 0 0 0
/proc/11436/statm: 435 257 49 173 0 260 0
[startup+0.0612881 s]
/proc/loadavg: 1.04 1.01 0.94 3/65 11432
/proc/meminfo: memFree=1925712/2055920 swapFree=4180288/4192956
[pid=11432] ppid=11430 vsize=5356 CPUtime=0
/proc/11432/stat : 11432 (SatELiteGTI) S 11430 11432 11172 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 305332619 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11432/statm: 1339 237 197 169 0 50 0
[pid=11436] ppid=11432 vsize=7616 CPUtime=0.04
/proc/11436/stat : 11436 (SatELite_releas) R 11432 11432 11172 0 -1 4194304 1575 0 0 0 4 0 0 0 18 0 1 0 305332620 7798784 1561 1992294400 134512640 135223648 4294956128 18446744073709551615 134598319 0 0 4096 3 0 0 0 17 0 0 0
/proc/11436/statm: 1904 1561 76 173 0 1729 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 12972
[startup+0.101293 s]
/proc/loadavg: 1.04 1.01 0.94 3/65 11432
/proc/meminfo: memFree=1925712/2055920 swapFree=4180288/4192956
[pid=11432] ppid=11430 vsize=5356 CPUtime=0
/proc/11432/stat : 11432 (SatELiteGTI) S 11430 11432 11172 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 305332619 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11432/statm: 1339 237 197 169 0 50 0
[pid=11436] ppid=11432 vsize=7616 CPUtime=0.08
/proc/11436/stat : 11436 (SatELite_releas) R 11432 11432 11172 0 -1 4194304 1575 0 0 0 8 0 0 0 18 0 1 0 305332620 7798784 1561 1992294400 134512640 135223648 4294956128 18446744073709551615 134586689 0 0 4096 3 0 0 0 17 0 0 0
/proc/11436/statm: 1904 1561 76 173 0 1729 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 12972
[startup+0.301323 s]
/proc/loadavg: 1.04 1.01 0.94 3/65 11432
/proc/meminfo: memFree=1925712/2055920 swapFree=4180288/4192956
[pid=11432] ppid=11430 vsize=5356 CPUtime=0.19
/proc/11432/stat : 11432 (SatELiteGTI) S 11430 11432 11172 0 -1 4194304 336 1979 0 0 0 0 18 1 15 0 1 0 305332619 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11432/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 5356
[startup+0.701368 s]
/proc/loadavg: 1.04 1.01 0.94 3/65 11432
/proc/meminfo: memFree=1925712/2055920 swapFree=4180288/4192956
[pid=11432] ppid=11430 vsize=5356 CPUtime=0.19
/proc/11432/stat : 11432 (SatELiteGTI) S 11430 11432 11172 0 -1 4194304 336 1979 0 0 0 0 18 1 15 0 1 0 305332619 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11432/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 5356
[startup+1.50145 s]
/proc/loadavg: 1.04 1.01 0.94 2/67 11438
/proc/meminfo: memFree=1919488/2055920 swapFree=4180288/4192956
[pid=11432] ppid=11430 vsize=5356 CPUtime=0.19
/proc/11432/stat : 11432 (SatELiteGTI) S 11430 11432 11172 0 -1 4194304 336 1979 0 0 0 0 18 1 15 0 1 0 305332619 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11432/statm: 1339 239 197 169 0 50 0
[pid=11438] ppid=11432 vsize=5752 CPUtime=1.28
/proc/11438/stat : 11438 (minisat_static) R 11432 11432 11172 0 -1 4194304 1286 0 0 0 128 0 0 0 25 0 1 0 305332640 5890048 1272 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/11438/statm: 1438 1272 77 171 0 1265 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 11108
[startup+3.10262 s]
/proc/loadavg: 1.04 1.01 0.94 2/67 11438
/proc/meminfo: memFree=1919168/2055920 swapFree=4180288/4192956
[pid=11432] ppid=11430 vsize=5356 CPUtime=0.19
/proc/11432/stat : 11432 (SatELiteGTI) S 11430 11432 11172 0 -1 4194304 336 1979 0 0 0 0 18 1 15 0 1 0 305332619 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11432/statm: 1339 239 197 169 0 50 0
[pid=11438] ppid=11432 vsize=6152 CPUtime=2.87
/proc/11438/stat : 11438 (minisat_static) R 11432 11432 11172 0 -1 4194304 1410 0 0 0 287 0 0 0 25 0 1 0 305332640 6299648 1396 1992294400 134512640 135215339 4294956240 18446744073709551615 134528884 0 0 4096 3 0 0 0 17 0 0 0
/proc/11438/statm: 1538 1396 77 171 0 1365 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 11508
[startup+6.30198 s]
/proc/loadavg: 1.04 1.01 0.94 2/67 11438
/proc/meminfo: memFree=1917760/2055920 swapFree=4180288/4192956
[pid=11432] ppid=11430 vsize=5356 CPUtime=0.19
/proc/11432/stat : 11432 (SatELiteGTI) S 11430 11432 11172 0 -1 4194304 336 1979 0 0 0 0 18 1 15 0 1 0 305332619 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11432/statm: 1339 239 197 169 0 50 0
[pid=11438] ppid=11432 vsize=7616 CPUtime=6.07
/proc/11438/stat : 11438 (minisat_static) R 11432 11432 11172 0 -1 4194304 1755 0 0 0 606 1 0 0 25 0 1 0 305332640 7798784 1741 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 0 0 0
/proc/11438/statm: 1904 1741 77 171 0 1731 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 12972
[startup+12.7027 s]
/proc/loadavg: 1.03 1.01 0.94 2/67 11440
/proc/meminfo: memFree=1915064/2055920 swapFree=4180288/4192956
[pid=11432] ppid=11430 vsize=5356 CPUtime=0.19
/proc/11432/stat : 11432 (SatELiteGTI) S 11430 11432 11172 0 -1 4194304 336 1979 0 0 0 0 18 1 15 0 1 0 305332619 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11432/statm: 1339 239 197 169 0 50 0
[pid=11438] ppid=11432 vsize=9956 CPUtime=12.46
/proc/11438/stat : 11438 (minisat_static) R 11432 11432 11172 0 -1 4194304 2323 0 0 0 1244 2 0 0 25 0 1 0 305332640 10194944 2309 1992294400 134512640 135215339 4294956240 18446744073709551615 134525660 0 0 4096 3 0 0 0 17 1 0 0
/proc/11438/statm: 2489 2309 77 171 0 2316 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 15312
[startup+25.5011 s]
/proc/loadavg: 1.02 1.01 0.94 2/67 11440
/proc/meminfo: memFree=1911296/2055920 swapFree=4180288/4192956
[pid=11432] ppid=11430 vsize=5356 CPUtime=0.19
/proc/11432/stat : 11432 (SatELiteGTI) S 11430 11432 11172 0 -1 4194304 336 1979 0 0 0 0 18 1 15 0 1 0 305332619 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11432/statm: 1339 239 197 169 0 50 0
[pid=11438] ppid=11432 vsize=13800 CPUtime=25.25
/proc/11438/stat : 11438 (minisat_static) R 11432 11432 11172 0 -1 4194304 3300 0 0 0 2522 3 0 0 25 0 1 0 305332640 14131200 3286 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/11438/statm: 3450 3286 77 171 0 3277 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 19156
[startup+51.1019 s]
/proc/loadavg: 1.02 1.01 0.94 2/67 11440
/proc/meminfo: memFree=1906176/2055920 swapFree=4180288/4192956
[pid=11432] ppid=11430 vsize=5356 CPUtime=0.19
/proc/11432/stat : 11432 (SatELiteGTI) S 11430 11432 11172 0 -1 4194304 336 1979 0 0 0 0 18 1 15 0 1 0 305332619 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11432/statm: 1339 239 197 169 0 50 0
[pid=11438] ppid=11432 vsize=19192 CPUtime=50.82
/proc/11438/stat : 11438 (minisat_static) R 11432 11432 11172 0 -1 4194304 4600 0 0 0 5078 4 0 0 25 0 1 0 305332640 19652608 4586 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/11438/statm: 4798 4586 77 171 0 4625 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 24548
[startup+102.306 s]
/proc/loadavg: 1.00 1.00 0.94 2/67 11440
/proc/meminfo: memFree=1896896/2055920 swapFree=4180288/4192956
[pid=11432] ppid=11430 vsize=5356 CPUtime=0.19
/proc/11432/stat : 11432 (SatELiteGTI) S 11430 11432 11172 0 -1 4194304 336 1979 0 0 0 0 18 1 15 0 1 0 305332619 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11432/statm: 1339 239 197 169 0 50 0
[pid=11438] ppid=11432 vsize=28588 CPUtime=102
/proc/11438/stat : 11438 (minisat_static) R 11432 11432 11172 0 -1 4194304 6837 0 0 0 10193 7 0 0 25 0 1 0 305332640 29274112 6823 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/11438/statm: 7147 6823 77 171 0 6974 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 33944
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 0.94 2/67 11440
/proc/meminfo: memFree=1892096/2055920 swapFree=4180288/4192956
[pid=11432] ppid=11430 vsize=5356 CPUtime=0.19
/proc/11432/stat : 11432 (SatELiteGTI) S 11430 11432 11172 0 -1 4194304 336 1979 0 0 0 0 18 1 15 0 1 0 305332619 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11432/statm: 1339 239 197 169 0 50 0
[pid=11438] ppid=11432 vsize=33244 CPUtime=161.96
/proc/11438/stat : 11438 (minisat_static) R 11432 11432 11172 0 -1 4194304 7998 0 0 0 16188 8 0 0 25 0 1 0 305332640 34041856 7984 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 0 0 0
/proc/11438/statm: 8311 7984 77 171 0 8138 0
Current children cumulated CPU time (s) 162.15
Current children cumulated vsize (KiB) 38600
[startup+222.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/67 11440
/proc/meminfo: memFree=1891328/2055920 swapFree=4180288/4192956
[pid=11432] ppid=11430 vsize=5356 CPUtime=0.19
/proc/11432/stat : 11432 (SatELiteGTI) S 11430 11432 11172 0 -1 4194304 336 1979 0 0 0 0 18 1 15 0 1 0 305332619 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11432/statm: 1339 239 197 169 0 50 0
[pid=11438] ppid=11432 vsize=34000 CPUtime=221.93
/proc/11438/stat : 11438 (minisat_static) R 11432 11432 11172 0 -1 4194304 8161 0 0 0 22185 8 0 0 25 0 1 0 305332640 34816000 8147 1992294400 134512640 135215339 4294956240 18446744073709551615 134532956 0 0 4096 3 0 0 0 17 0 0 0
/proc/11438/statm: 8500 8147 77 171 0 8327 0
Current children cumulated CPU time (s) 222.12
Current children cumulated vsize (KiB) 39356
[startup+282.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/67 11440
/proc/meminfo: memFree=1891200/2055920 swapFree=4180288/4192956
[pid=11432] ppid=11430 vsize=5356 CPUtime=0.19
/proc/11432/stat : 11432 (SatELiteGTI) S 11430 11432 11172 0 -1 4194304 336 1979 0 0 0 0 18 1 15 0 1 0 305332619 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11432/statm: 1339 239 197 169 0 50 0
[pid=11438] ppid=11432 vsize=34000 CPUtime=281.89
/proc/11438/stat : 11438 (minisat_static) R 11432 11432 11172 0 -1 4194304 8165 0 0 0 28181 8 0 0 25 0 1 0 305332640 34816000 8151 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/11438/statm: 8500 8151 77 171 0 8327 0
Current children cumulated CPU time (s) 282.08
Current children cumulated vsize (KiB) 39356
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 0.94 2/67 11440
/proc/meminfo: memFree=1890944/2055920 swapFree=4180288/4192956
[pid=11432] ppid=11430 vsize=5356 CPUtime=0.19
/proc/11432/stat : 11432 (SatELiteGTI) S 11430 11432 11172 0 -1 4194304 336 1979 0 0 0 0 18 1 15 0 1 0 305332619 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11432/statm: 1339 239 197 169 0 50 0
[pid=11438] ppid=11432 vsize=34164 CPUtime=341.85
/proc/11438/stat : 11438 (minisat_static) R 11432 11432 11172 0 -1 4194304 8215 0 0 0 34177 8 0 0 25 0 1 0 305332640 34983936 8201 1992294400 134512640 135215339 4294956240 18446744073709551615 134528899 0 0 4096 3 0 0 0 17 0 0 0
/proc/11438/statm: 8541 8201 77 171 0 8368 0
Current children cumulated CPU time (s) 342.04
Current children cumulated vsize (KiB) 39520
[startup+402.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/67 11440
/proc/meminfo: memFree=1890368/2055920 swapFree=4180288/4192956
[pid=11432] ppid=11430 vsize=5356 CPUtime=0.19
################
# More data... #
################
[pid=11438] ppid=11432 vsize=36960 CPUtime=521.76
/proc/11438/stat : 11438 (minisat_static) R 11432 11432 11172 0 -1 4194304 8891 0 0 0 52167 9 0 0 25 0 1 0 305332640 37847040 8877 1992294400 134512640 135215339 4294956240 18446744073709551615 134525939 0 0 4096 3 0 0 0 17 0 0 0
/proc/11438/statm: 9240 8877 77 171 0 9067 0
Current children cumulated CPU time (s) 521.95
Current children cumulated vsize (KiB) 42316
[startup+582.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/67 11440
/proc/meminfo: memFree=1887232/2055920 swapFree=4180288/4192956
[pid=11432] ppid=11430 vsize=5356 CPUtime=0.19
/proc/11432/stat : 11432 (SatELiteGTI) S 11430 11432 11172 0 -1 4194304 336 1979 0 0 0 0 18 1 15 0 1 0 305332619 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11432/statm: 1339 239 197 169 0 50 0
[pid=11438] ppid=11432 vsize=37488 CPUtime=581.74
/proc/11438/stat : 11438 (minisat_static) R 11432 11432 11172 0 -1 4194304 9053 0 0 0 58165 9 0 0 25 0 1 0 305332640 38387712 9039 1992294400 134512640 135215339 4294956240 18446744073709551615 134539298 0 0 4096 3 0 0 0 17 0 0 0
/proc/11438/statm: 9372 9039 77 171 0 9199 0
Current children cumulated CPU time (s) 581.93
Current children cumulated vsize (KiB) 42844
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 0.94 2/67 11440
/proc/meminfo: memFree=1886016/2055920 swapFree=4180288/4192956
[pid=11432] ppid=11430 vsize=5356 CPUtime=0.19
/proc/11432/stat : 11432 (SatELiteGTI) S 11430 11432 11172 0 -1 4194304 336 1979 0 0 0 0 18 1 15 0 1 0 305332619 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11432/statm: 1339 239 197 169 0 50 0
[pid=11438] ppid=11432 vsize=38676 CPUtime=641.71
/proc/11438/stat : 11438 (minisat_static) R 11432 11432 11172 0 -1 4194304 9321 0 0 0 64162 9 0 0 25 0 1 0 305332640 39604224 9307 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/11438/statm: 9669 9307 77 171 0 9496 0
Current children cumulated CPU time (s) 641.9
Current children cumulated vsize (KiB) 44032
[startup+702.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/67 11440
/proc/meminfo: memFree=1885440/2055920 swapFree=4180288/4192956
[pid=11432] ppid=11430 vsize=5356 CPUtime=0.19
/proc/11432/stat : 11432 (SatELiteGTI) S 11430 11432 11172 0 -1 4194304 336 1979 0 0 0 0 18 1 15 0 1 0 305332619 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11432/statm: 1339 239 197 169 0 50 0
[pid=11438] ppid=11432 vsize=39100 CPUtime=701.68
/proc/11438/stat : 11438 (minisat_static) R 11432 11432 11172 0 -1 4194304 9426 0 0 0 70158 10 0 0 25 0 1 0 305332640 40038400 9412 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/11438/statm: 9775 9412 77 171 0 9602 0
Current children cumulated CPU time (s) 701.87
Current children cumulated vsize (KiB) 44456
[startup+762.306 s]
/proc/loadavg: 1.00 1.00 0.94 2/67 11440
/proc/meminfo: memFree=1885184/2055920 swapFree=4180288/4192956
[pid=11432] ppid=11430 vsize=5356 CPUtime=0.19
/proc/11432/stat : 11432 (SatELiteGTI) S 11430 11432 11172 0 -1 4194304 336 1979 0 0 0 0 18 1 15 0 1 0 305332619 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11432/statm: 1339 239 197 169 0 50 0
[pid=11438] ppid=11432 vsize=39264 CPUtime=761.66
/proc/11438/stat : 11438 (minisat_static) R 11432 11432 11172 0 -1 4194304 9467 0 0 0 76156 10 0 0 25 0 1 0 305332640 40206336 9453 1992294400 134512640 135215339 4294956240 18446744073709551615 134529169 0 0 4096 3 0 0 0 17 0 0 0
/proc/11438/statm: 9816 9453 77 171 0 9643 0
Current children cumulated CPU time (s) 761.85
Current children cumulated vsize (KiB) 44620
[startup+822.301 s]
/proc/loadavg: 1.00 1.00 0.94 2/67 11440
/proc/meminfo: memFree=1884864/2055920 swapFree=4180288/4192956
[pid=11432] ppid=11430 vsize=5356 CPUtime=0.19
/proc/11432/stat : 11432 (SatELiteGTI) S 11430 11432 11172 0 -1 4194304 336 1979 0 0 0 0 18 1 15 0 1 0 305332619 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11432/statm: 1339 239 197 169 0 50 0
[pid=11438] ppid=11432 vsize=39428 CPUtime=821.63
/proc/11438/stat : 11438 (minisat_static) R 11432 11432 11172 0 -1 4194304 9536 0 0 0 82153 10 0 0 25 0 1 0 305332640 40374272 9522 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/11438/statm: 9857 9522 77 171 0 9684 0
Current children cumulated CPU time (s) 821.82
Current children cumulated vsize (KiB) 44784
[startup+882.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/67 11440
/proc/meminfo: memFree=1884544/2055920 swapFree=4180288/4192956
[pid=11432] ppid=11430 vsize=5356 CPUtime=0.19
/proc/11432/stat : 11432 (SatELiteGTI) S 11430 11432 11172 0 -1 4194304 336 1979 0 0 0 0 18 1 15 0 1 0 305332619 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11432/statm: 1339 239 197 169 0 50 0
[pid=11438] ppid=11432 vsize=39592 CPUtime=881.59
/proc/11438/stat : 11438 (minisat_static) R 11432 11432 11172 0 -1 4194304 9570 0 0 0 88149 10 0 0 25 0 1 0 305332640 40542208 9556 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/11438/statm: 9898 9556 77 171 0 9725 0
Current children cumulated CPU time (s) 881.78
Current children cumulated vsize (KiB) 44948
[startup+942.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/67 11440
/proc/meminfo: memFree=1884352/2055920 swapFree=4180288/4192956
[pid=11432] ppid=11430 vsize=5356 CPUtime=0.19
/proc/11432/stat : 11432 (SatELiteGTI) S 11430 11432 11172 0 -1 4194304 336 1979 0 0 0 0 18 1 15 0 1 0 305332619 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11432/statm: 1339 239 197 169 0 50 0
[pid=11438] ppid=11432 vsize=39756 CPUtime=941.57
/proc/11438/stat : 11438 (minisat_static) R 11432 11432 11172 0 -1 4194304 9599 0 0 0 94147 10 0 0 25 0 1 0 305332640 40710144 9585 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/11438/statm: 9939 9585 77 171 0 9766 0
Current children cumulated CPU time (s) 941.76
Current children cumulated vsize (KiB) 45112
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/67 11440
/proc/meminfo: memFree=1884288/2055920 swapFree=4180288/4192956
[pid=11432] ppid=11430 vsize=5356 CPUtime=0.19
/proc/11432/stat : 11432 (SatELiteGTI) S 11430 11432 11172 0 -1 4194304 336 1979 0 0 0 0 18 1 15 0 1 0 305332619 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11432/statm: 1339 239 197 169 0 50 0
[pid=11438] ppid=11432 vsize=39756 CPUtime=1001.54
/proc/11438/stat : 11438 (minisat_static) R 11432 11432 11172 0 -1 4194304 9599 0 0 0 100143 11 0 0 25 0 1 0 305332640 40710144 9585 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 0 0 0
/proc/11438/statm: 9939 9585 77 171 0 9766 0
Current children cumulated CPU time (s) 1001.73
Current children cumulated vsize (KiB) 45112
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/67 11446
/proc/meminfo: memFree=1883968/2055920 swapFree=4180288/4192956
[pid=11432] ppid=11430 vsize=5356 CPUtime=0.19
/proc/11432/stat : 11432 (SatELiteGTI) S 11430 11432 11172 0 -1 4194304 336 1979 0 0 0 0 18 1 15 0 1 0 305332619 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11432/statm: 1339 239 197 169 0 50 0
[pid=11438] ppid=11432 vsize=39756 CPUtime=1061.49
/proc/11438/stat : 11438 (minisat_static) R 11432 11432 11172 0 -1 4194304 9599 0 0 0 106138 11 0 0 25 0 1 0 305332640 40710144 9585 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/11438/statm: 9939 9585 77 171 0 9766 0
Current children cumulated CPU time (s) 1061.68
Current children cumulated vsize (KiB) 45112
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/67 11446
/proc/meminfo: memFree=1883840/2055920 swapFree=4180288/4192956
[pid=11432] ppid=11430 vsize=5356 CPUtime=0.19
/proc/11432/stat : 11432 (SatELiteGTI) S 11430 11432 11172 0 -1 4194304 336 1979 0 0 0 0 18 1 15 0 1 0 305332619 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11432/statm: 1339 239 197 169 0 50 0
[pid=11438] ppid=11432 vsize=39920 CPUtime=1121.46
/proc/11438/stat : 11438 (minisat_static) R 11432 11432 11172 0 -1 4194304 9634 0 0 0 112135 11 0 0 25 0 1 0 305332640 40878080 9620 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/11438/statm: 9980 9620 77 171 0 9807 0
Current children cumulated CPU time (s) 1121.65
Current children cumulated vsize (KiB) 45276
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/67 11446
/proc/meminfo: memFree=1883712/2055920 swapFree=4180288/4192956
[pid=11432] ppid=11430 vsize=5356 CPUtime=0.19
/proc/11432/stat : 11432 (SatELiteGTI) S 11430 11432 11172 0 -1 4194304 336 1979 0 0 0 0 18 1 15 0 1 0 305332619 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11432/statm: 1339 239 197 169 0 50 0
[pid=11438] ppid=11432 vsize=39920 CPUtime=1181.43
/proc/11438/stat : 11438 (minisat_static) R 11432 11432 11172 0 -1 4194304 9634 0 0 0 118132 11 0 0 25 0 1 0 305332640 40878080 9620 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/11438/statm: 9980 9620 77 171 0 9807 0
Current children cumulated CPU time (s) 1181.62
Current children cumulated vsize (KiB) 45276
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.7 s]
/proc/loadavg: 1.00 1.00 0.94 2/67 11446
/proc/meminfo: memFree=1883712/2055920 swapFree=4180288/4192956
[pid=11432] ppid=11430 vsize=5356 CPUtime=0.19
/proc/11432/stat : 11432 (SatELiteGTI) S 11430 11432 11172 0 -1 4194304 336 1979 0 0 0 0 18 1 15 0 1 0 305332619 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11432/statm: 1339 239 197 169 0 50 0
[pid=11438] ppid=11432 vsize=39920 CPUtime=1199.82
/proc/11438/stat : 11438 (minisat_static) R 11432 11432 11172 0 -1 4194304 9634 0 0 0 119971 11 0 0 25 0 1 0 305332640 40878080 9620 1992294400 134512640 135215339 4294956240 18446744073709551615 134534176 0 0 4096 3 0 0 0 17 0 0 0
/proc/11438/statm: 9980 9620 77 171 0 9807 0
Current children cumulated CPU time (s) 1200.01
Current children cumulated vsize (KiB) 45276
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.7 s]
/proc/loadavg: 1.00 1.00 0.94 2/67 11446
/proc/meminfo: memFree=1883712/2055920 swapFree=4180288/4192956
[pid=11432] ppid=11430 vsize=5356 CPUtime=0.19
/proc/11432/stat : 11432 (SatELiteGTI) S 11430 11432 11172 0 -1 4194304 336 1979 0 0 0 0 18 1 15 0 1 0 305332619 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11432/statm: 1339 239 197 169 0 50 0
[pid=11438] ppid=11432 vsize=39920 CPUtime=1199.82
/proc/11438/stat : 11438 (minisat_static) R 11432 11432 11172 0 -1 4194304 9634 0 0 0 119971 11 0 0 25 0 1 0 305332640 40878080 9620 1992294400 134512640 135215339 4294956240 18446744073709551615 134534176 0 0 4096 3 0 0 0 17 0 0 0
/proc/11438/statm: 9980 9620 77 171 0 9807 0
Current children cumulated CPU time (s) 1200.01
Current children cumulated vsize (KiB) 45276
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.71
CPU time (s): 1200.05
CPU user time (s): 1199.91
CPU system time (s): 0.139978
CPU usage (%): 99.9445
Max. virtual memory (cumulated for all children) (KiB): 45276
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.91
system time used= 0.139978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11958
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= 24
involuntary context switches= 7704
runsolver used 1.15782 second user time and 3.33949 second system time
The end
Begin job on node91 at 2009-05-20 00:43:56
IDJOB=1832425
IDBENCH=69604
IDSOLVER=671
FILE ID=node91/1832425-1242773036
PBS_JOBID= 9322213
Free space on /tmp= 66324 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= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832425-1242773036/watcher-1832425-1242773036 -o /tmp/evaluation-result-1832425-1242773036/solver-1832425-1242773036 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832425-1242773036.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= f03acb1e2f3063539a5fb2ac1bbf6244
RANDOM SEED=65967755
node91.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.241
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.241
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1926128 kB
Buffers: 13596 kB
Cached: 75744 kB
SwapCached: 6268 kB
Active: 22504 kB
Inactive: 79468 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1926128 kB
SwapTotal: 4192956 kB
SwapFree: 4180288 kB
Dirty: 2792 kB
Writeback: 0 kB
Mapped: 17176 kB
Slab: 13628 kB
Committed_AS: 917100 kB
PageTables: 1368 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66324 MiB
End job on node91 at 2009-05-20 01:03:59