0.00/0.00 c Parsing...
0.00/0.02 c ==============================================================================
0.00/0.02 c | | ORIGINAL | LEARNT | |
0.00/0.02 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.02 c ==============================================================================
0.00/0.02 c | 0 | 18366 55030 | 5509 0 0 nan | 0.000 % |
0.00/0.12 c | 0 | 16563 50859 | -- 0 -- -- | -- | -1702/-3816
0.00/0.12 c ==============================================================================
0.00/0.12 c Result : #vars: 3834 #clauses: 16563 #literals: 50859
0.00/0.12 c CPU time: 0.109983 s
0.00/0.12 c ==============================================================================
0.00/0.14 c This is MiniSat 2.0 beta
0.00/0.14 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.14 c ============================[ Problem Statistics ]=============================
0.00/0.14 c | |
0.00/0.14 c | Number of variables: 3834 |
0.00/0.14 c | Number of clauses: 16563 |
0.00/0.15 c | Parsing time: 0.01 s |
0.00/0.15 c ============================[ Search Statistics ]==============================
0.00/0.15 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.00/0.15 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.00/0.15 c ===============================================================================
0.00/0.15 c | 0 | 3834 16563 50859 | 5521 0 nan | 0.000 % |
0.00/0.16 c | 100 | 3834 16563 50859 | 5521 100 5 | 0.000 % |
0.00/0.17 c | 201 | 3834 16563 50859 | 5521 201 8 | 0.000 % |
0.13/0.22 c | 301 | 3830 16541 50785 | 5521 300 16 | 0.105 % |
0.13/0.28 c | 411 | 3830 16541 50785 | 5521 410 20 | 0.104 % |
0.13/0.29 c | 511 | 3830 16541 50785 | 5521 510 19 | 0.104 % |
0.13/0.37 c | 621 | 3830 16541 50785 | 5521 620 19 | 0.105 % |
0.13/0.48 c | 742 | 3830 16541 50785 | 5521 741 19 | 0.105 % |
0.13/0.59 c | 842 | 3830 16541 50785 | 5521 841 19 | 0.104 % |
0.13/0.71 c | 952 | 3830 16541 50785 | 5521 951 19 | 0.105 % |
0.13/0.77 c | 1073 | 3830 16541 50785 | 5521 1072 18 | 0.105 % |
0.13/0.80 c | 1206 | 3830 16541 50785 | 5521 1205 19 | 0.104 % |
0.13/0.83 c | 1308 | 3830 16541 50785 | 5521 1307 20 | 0.105 % |
0.13/0.87 c | 1418 | 3830 16541 50785 | 5521 1417 20 | 0.104 % |
0.13/0.91 c | 1539 | 3830 16541 50785 | 5521 1538 21 | 0.104 % |
0.13/0.97 c | 1672 | 3829 16536 50770 | 5521 1670 22 | 0.131 % |
0.99/1.03 c | 1818 | 3829 16536 50770 | 5521 1816 22 | 0.130 % |
0.99/1.09 c | 1918 | 3829 16536 50770 | 5521 1916 23 | 0.130 % |
1.09/1.13 c | 2028 | 3829 16536 50770 | 5521 2026 23 | 0.130 % |
1.18/1.22 c | 2149 | 3829 16536 50770 | 5521 2147 24 | 0.130 % |
1.28/1.34 c | 2282 | 3829 16536 50770 | 5521 2280 23 | 0.131 % |
1.38/1.44 c | 2429 | 3829 16536 50770 | 5521 2427 23 | 0.130 % |
1.48/1.55 c | 2590 | 3829 16536 50770 | 5521 2588 24 | 0.130 % |
1.58/1.60 c | 2691 | 3829 16536 50770 | 5521 2689 24 | 0.130 % |
1.58/1.66 c | 2801 | 3829 16536 50770 | 5521 2799 24 | 0.130 % |
1.68/1.72 c | 2922 | 3829 16536 50770 | 5521 2920 25 | 0.130 % |
1.68/1.78 c | 3055 | 3829 16536 50770 | 5521 3053 25 | 0.130 % |
1.78/1.86 c | 3201 | 3829 16536 50770 | 5521 3199 25 | 0.130 % |
1.88/1.90 c | 3361 | 3829 16536 50770 | 5521 3359 25 | 0.130 % |
1.88/1.97 c | 3537 | 3829 16536 50770 | 5521 3535 25 | 0.130 % |
1.98/2.04 c | 3637 | 3829 16536 50770 | 5521 3635 25 | 0.130 % |
1.98/2.06 c | 3748 | 3829 16536 50770 | 5521 3746 25 | 0.130 % |
2.08/2.13 c | 3869 | 3829 16536 50770 | 5521 3867 26 | 0.130 % |
2.08/2.20 c | 4003 | 3829 16536 50770 | 5521 4001 26 | 0.130 % |
2.18/2.26 c | 4149 | 3829 16536 50770 | 5521 4147 26 | 0.130 % |
2.28/2.30 c | 4309 | 3829 16536 50770 | 5521 4307 26 | 0.130 % |
2.38/2.45 c | 4485 | 3829 16536 50770 | 5521 4483 27 | 0.130 % |
2.38/2.47 c | 4678 | 3829 16536 50770 | 5521 4676 26 | 0.130 % |
2.38/2.49 c | 4779 | 3829 16536 50770 | 5521 4777 27 | 0.130 % |
2.48/2.54 c | 4890 | 3829 16536 50770 | 5521 4888 27 | 0.130 % |
2.58/2.62 c | 5011 | 3829 16536 50770 | 5521 5009 27 | 0.130 % |
2.68/2.76 c | 5144 | 3829 16536 50770 | 5521 5142 27 | 0.131 % |
2.78/2.89 c | 5291 | 3829 16536 50770 | 5521 5289 27 | 0.130 % |
2.98/3.02 c | 5451 | 3829 16536 50770 | 5521 5449 27 | 0.130 % |
2.98/3.10 c | 5627 | 3829 16536 50770 | 5521 5625 27 | 0.130 % |
3.08/3.15 c | 5820 | 3829 16536 50770 | 5521 5256 27 | 0.130 % |
3.18/3.26 c | 6032 | 3829 16536 50770 | 5521 5468 28 | 0.130 % |
3.28/3.35 c | 6132 | 3829 16536 50770 | 5521 5568 28 | 0.131 % |
3.38/3.42 c | 6242 | 3829 16536 50770 | 5521 5122 27 | 0.130 % |
3.47/3.52 c | 6364 | 3829 16536 50770 | 5521 5244 28 | 0.130 % |
3.57/3.66 c | 6497 | 3829 16536 50770 | 5521 5377 27 | 0.130 % |
3.67/3.78 c | 6644 | 3829 16536 50770 | 5521 5524 27 | 0.130 % |
3.77/3.84 c | 6804 | 3829 16536 50770 | 5521 5684 27 | 0.130 % |
3.87/3.94 c | 6982 | 3829 16536 50770 | 5521 5294 27 | 0.130 % |
3.87/3.99 c | 7175 | 3829 16536 50770 | 5521 5487 27 | 0.130 % |
4.07/4.10 c | 7387 | 3829 16536 50770 | 5521 5699 28 | 0.130 % |
4.17/4.26 c | 7621 | 3829 16536 50770 | 5521 5364 27 | 0.130 % |
4.17/4.27 c | 7721 | 3826 16521 50726 | 5521 5463 27 | 0.209 % |
4.17/4.28 c | 7831 | 3826 16521 50726 | 5521 5573 26 | 0.209 % |
4.28/4.36 c | 7952 | 3826 16521 50726 | 5521 5137 26 | 0.209 % |
4.38/4.46 c | 8086 | 3826 16521 50726 | 5521 5271 26 | 0.209 % |
4.47/4.54 c | 8232 | 3826 16521 50726 | 5521 5417 26 | 0.209 % |
4.57/4.60 c | 8392 | 3826 16521 50726 | 5521 5577 26 | 0.209 % |
4.57/4.69 c | 8568 | 3826 16521 50726 | 5521 5196 26 | 0.209 % |
4.67/4.76 c | 8762 | 3826 16521 50726 | 5521 5390 26 | 0.209 % |
4.77/4.84 c | 8974 | 3826 16521 50726 | 5521 5602 26 | 0.209 % |
4.87/4.98 c | 9208 | 3826 16521 50726 | 5521 5276 25 | 0.209 % |
4.97/5.05 c | 9464 | 3826 16521 50726 | 5521 5532 24 | 0.209 % |
4.97/5.08 c | 9565 | 3826 16521 50726 | 5521 5080 24 | 0.209 % |
5.07/5.11 c | 9675 | 3826 16521 50726 | 5521 5190 24 | 0.209 % |
5.07/5.20 c | 9797 | 3826 16521 50726 | 5521 5312 25 | 0.209 % |
5.17/5.23 c | 9930 | 3826 16521 50726 | 5521 5445 25 | 0.209 % |
5.17/5.28 c | 10078 | 3826 16521 50726 | 2147483647 5593 25 | 0.209 % |
5.27/5.34 c | 10239 | 3826 16521 50726 | 2147483647 5754 26 | 0.209 % |
5.38/5.46 c | 10415 | 3826 16521 50726 | 2147483647 5930 26 | 0.209 % |
5.48/5.54 c | 10608 | 3826 16521 50726 | 2147483647 6123 26 | 0.209 % |
5.67/5.70 c | 10820 | 3826 16521 50726 | 2147483647 6335 27 | 0.209 % |
5.77/5.83 c | 11054 | 3826 16521 50726 | 2147483647 6569 27 | 0.209 % |
5.97/6.08 c | 11310 | 3826 16521 50726 | 2147483647 6825 27 | 0.209 % |
6.27/6.35 c | 11591 | 3826 16521 50726 | 2147483647 7106 28 | 0.209 % |
6.37/6.45 c | 11691 | 3826 16521 50726 | 2147483647 7206 28 | 0.209 % |
6.48/6.57 c | 11802 | 3826 16521 50726 | 2147483647 7317 28 | 0.209 % |
6.58/6.63 c | 11923 | 3826 16521 50726 | 2147483647 7438 28 | 0.209 % |
6.67/6.73 c | 12056 | 3826 16521 50726 | 2147483647 7571 28 | 0.209 % |
6.67/6.78 c | 12203 | 3826 16521 50726 | 2147483647 7718 28 | 0.209 % |
6.77/6.83 c | 12366 | 3826 16521 50726 | 2147483647 7881 28 | 0.209 % |
6.87/6.94 c | 12543 | 3826 16521 50726 | 2147483647 8058 29 | 0.209 % |
6.97/7.03 c | 12739 | 3826 16521 50726 | 2147483647 8254 29 | 0.209 % |
7.07/7.18 c | 12951 | 3826 16521 50726 | 2147483647 8466 29 | 0.209 % |
7.17/7.28 c | 13184 | 3826 16521 50726 | 2147483647 8699 29 | 0.209 % |
7.27/7.39 c | 13440 | 3826 16521 50726 | 2147483647 8955 29 | 0.209 % |
7.47/7.55 c | 13721 | 3826 16521 50726 | 2147483647 9236 29 | 0.209 % |
7.67/7.75 c | 14032 | 3826 16521 50726 | 2147483647 9547 29 | 0.209 % |
7.67/7.79 c | 14133 | 3826 16521 50726 | 2147483647 9648 30 | 0.209 % |
7.77/7.84 c | 14243 | 3826 16521 50726 | 2147483647 9758 30 | 0.209 % |
7.87/7.90 c | 14365 | 3826 16521 50726 | 2147483647 9880 29 | 0.209 % |
7.97/8.01 c | 14498 | 3826 16521 50726 | 2147483647 10013 30 | 0.209 % |
7.97/8.09 c | 14645 | 3826 16521 50726 | 2147483647 10160 30 | 0.209 % |
8.17/8.24 c | 14806 | 3826 16521 50726 | 2147483647 10321 30 | 0.209 % |
8.27/8.37 c | 14983 | 3826 16521 50726 | 2147483647 10498 30 | 0.209 % |
8.47/8.59 c | 15177 | 3826 16521 50726 | 2147483647 10692 30 | 0.209 % |
8.57/8.69 c | 15391 | 3826 16521 50726 | 2147483647 10906 30 | 0.209 % |
8.77/8.88 c | 15625 | 3826 16521 50726 | 2147483647 11140 30 | 0.209 % |
9.17/9.20 c | 15881 | 3826 16521 50726 | 2147483647 11396 30 | 0.209 % |
9.37/9.45 c | 16163 | 3826 16521 50726 | 2147483647 11678 30 | 0.209 % |
9.47/9.56 c | 16473 | 3826 16521 50726 | 2147483647 11988 30 | 0.209 % |
9.77/9.90 c | 16812 | 3826 16521 50726 | 2147483647 12327 31 | 0.209 % |
9.87/9.98 c | 16913 | 3826 16521 50726 | 2147483647 12428 31 | 0.209 % |
9.97/10.07 c | 17024 | 3826 16521 50726 | 2147483647 12539 31 | 0.209 % |
10.07/10.15 c | 17145 | 3826 16521 50726 | 2147483647 12660 31 | 0.209 % |
10.27/10.30 c | 17279 | 3826 16521 50726 | 2147483647 12794 32 | 0.209 % |
10.27/10.35 c | 17425 | 3826 16521 50726 | 2147483647 12940 32 | 0.209 % |
10.37/10.46 c | 17585 | 3826 16521 50726 | 2147483647 13100 32 | 0.209 % |
10.47/10.54 c | 17762 | 3826 16521 50726 | 2147483647 13277 32 | 0.209 % |
10.57/10.68 c | 17955 | 3826 16521 50726 | 2147483647 13470 32 | 0.209 % |
10.87/10.94 c | 18167 | 3826 16521 50726 | 2147483647 13682 32 | 0.209 % |
11.17/11.24 c | 18401 | 3826 16521 50726 | 2147483647 13916 32 | 0.209 % |
11.37/11.44 c | 18657 | 3826 16521 50726 | 2147483647 14172 32 | 0.209 % |
11.57/11.67 c | 18939 | 3826 16521 50726 | 2147483647 14454 32 | 0.209 % |
11.77/11.82 c | 19248 | 3826 16521 50726 | 2147483647 14763 32 | 0.209 % |
11.97/12.01 c | 19587 | 3826 16521 50726 | 2147483647 15102 32 | 0.209 % |
12.18/12.27 c | 19960 | 3826 16521 50726 | 2147483647 15475 33 | 0.209 % |
12.28/12.34 c | 20062 | 3826 16521 50726 | 2147483647 15577 33 | 0.209 % |
12.38/12.44 c | 20173 | 3826 16521 50726 | 2147483647 15688 33 | 0.209 % |
12.47/12.55 c | 20295 | 3826 16521 50726 | 2147483647 15810 33 | 0.209 % |
12.67/12.71 c | 20428 | 3826 16521 50726 | 2147483647 15943 33 | 0.209 % |
12.77/12.85 c | 20575 | 3826 16521 50726 | 2147483647 16090 33 | 0.209 % |
12.97/13.01 c | 20736 | 3826 16521 50726 | 2147483647 16251 33 | 0.209 % |
13.08/13.13 c | 20913 | 3826 16521 50726 | 2147483647 16428 33 | 0.209 % |
13.18/13.28 c | 21106 | 3826 16521 50726 | 2147483647 16621 33 | 0.209 % |
13.37/13.44 c | 21321 | 3826 16521 50726 | 2147483647 16836 33 | 0.209 % |
13.47/13.54 c | 21554 | 3826 16521 50726 | 2147483647 17069 33 | 0.209 % |
13.67/13.71 c | 21810 | 3826 16521 50726 | 2147483647 17325 33 | 0.209 % |
13.87/13.97 c | 22092 | 3826 16521 50726 | 2147483647 17607 33 | 0.209 % |
14.07/14.19 c | 22401 | 3826 16521 50726 | 2147483647 17916 33 | 0.209 % |
14.37/14.45 c | 22740 | 3826 16521 50726 | 2147483647 18255 33 | 0.209 % |
14.67/14.76 c | 23113 | 3826 16521 50726 | 2147483647 18628 33 | 0.209 % |
14.87/14.99 c | 23523 | 3826 16521 50726 | 2147483647 19038 33 | 0.209 % |
15.07/15.11 c | 23624 | 3826 16521 50726 | 2147483647 19139 33 | 0.209 % |
15.07/15.18 c | 23734 | 3826 16521 50726 | 2147483647 19249 33 | 0.209 % |
15.27/15.32 c | 23856 | 3826 16521 50726 | 2147483647 19371 33 | 0.209 % |
15.37/15.48 c | 23989 | 3826 16521 50726 | 2147483647 19504 33 | 0.209 % |
15.47/15.55 c | 24135 | 3826 16521 50726 | 2147483647 19650 33 | 0.209 % |
15.67/15.75 c | 24295 | 3826 16521 50726 | 2147483647 19810 33 | 0.209 % |
15.87/15.94 c | 24471 | 3826 16521 50726 | 2147483647 19986 33 | 0.209 % |
16.17/16.20 c | 24664 | 3826 16521 50726 | 2147483647 20179 33 | 0.209 % |
16.27/16.37 c | 24877 | 3826 16521 50726 | 2147483647 20392 33 | 0.209 % |
16.47/16.54 c | 25110 | 3826 16521 50726 | 2147483647 20625 34 | 0.209 % |
16.57/16.68 c | 25366 | 3826 16521 50726 | 2147483647 20881 34 | 0.209 % |
16.86/16.96 c | 25648 | 3826 16521 50726 | 2147483647 21163 34 | 0.209 % |
17.27/17.33 c | 25957 | 3826 16521 50726 | 2147483647 21472 34 | 0.209 % |
17.67/17.71 c | 26297 | 3826 16521 50726 | 2147483647 21812 34 | 0.209 % |
17.96/18.09 c | 26672 | 3826 16521 50726 | 2147483647 22187 34 | 0.209 % |
18.36/18.40 c | 27082 | 3826 16521 50726 | 2147483647 22597 33 | 0.209 % |
18.96/19.06 c | 27532 | 3826 16521 50726 | 2147483647 23047 34 | 0.209 % |
19.06/19.18 c | 27632 | 3826 16521 50726 | 2147483647 23147 34 | 0.209 % |
19.26/19.30 c | 27742 | 3826 16521 50726 | 2147483647 23257 34 | 0.209 % |
19.36/19.44 c | 27864 | 3826 16521 50726 | 2147483647 23379 34 | 0.209 % |
19.46/19.57 c | 27997 | 3826 16521 50726 | 2147483647 23512 34 | 0.209 % |
19.67/19.73 c | 28143 | 3826 16521 50726 | 2147483647 23658 34 | 0.209 % |
19.86/19.90 c | 28305 | 3826 16521 50726 | 2147483647 23820 34 | 0.209 % |
19.86/19.98 c | 28481 | 3826 16521 50726 | 2147483647 23996 34 | 0.209 % |
20.06/20.19 c | 28675 | 3826 16521 50726 | 2147483647 24190 34 | 0.209 % |
20.36/20.46 c | 28888 | 3826 16521 50726 | 2147483647 24403 34 | 0.209 % |
20.56/20.69 c | 29121 | 3826 16521 50726 | 2147483647 24636 34 | 0.209 % |
20.96/21.07 c | 29378 | 3826 16521 50726 | 2147483647 24893 34 | 0.209 % |
21.46/21.54 c | 29659 | 3826 16521 50726 | 2147483647 25174 34 | 0.209 % |
21.86/21.98 c | 29968 | 3826 16521 50726 | 2147483647 25483 34 | 0.209 % |
22.36/22.45 c | 30308 | 3826 16521 50726 | 2147483647 25823 34 | 0.209 % |
22.86/22.94 c | 30682 | 3826 16521 50726 | 2147483647 26197 33 | 0.209 % |
23.36/23.48 c | 31092 | 3826 16521 50726 | 2147483647 26607 33 | 0.209 % |
23.86/23.93 c | 31542 | 3826 16521 50726 | 2147483647 27057 33 | 0.209 % |
24.36/24.47 c | 32035 | 3826 16521 50726 | 2147483647 27550 34 | 0.209 % |
24.45/24.57 c | 32135 | 3826 16521 50726 | 2147483647 27650 34 | 0.209 % |
24.65/24.74 c | 32245 | 3826 16521 50726 | 2147483647 27760 34 | 0.209 % |
24.75/24.88 c | 32366 | 3826 16521 50726 | 2147483647 27881 34 | 0.209 % |
24.95/25.07 c | 32499 | 3826 16521 50726 | 2147483647 28014 34 | 0.209 % |
25.26/25.31 c | 32646 | 3826 16521 50726 | 2147483647 28161 34 | 0.209 % |
25.35/25.48 c | 32808 | 3826 16521 50726 | 2147483647 28323 34 | 0.209 % |
25.55/25.69 c | 32984 | 3826 16521 50726 | 2147483647 28499 34 | 0.209 % |
25.85/25.95 c | 33178 | 3826 16521 50726 | 2147483647 28693 34 | 0.209 % |
26.15/26.23 c | 33391 | 3826 16521 50726 | 2147483647 28906 34 | 0.209 % |
26.36/26.45 c | 33624 | 3826 16521 50726 | 2147483647 29139 34 | 0.209 % |
26.65/26.72 c | 33884 | 3826 16521 50726 | 2147483647 29399 34 | 0.209 % |
27.05/27.10 c | 34166 | 3826 16521 50726 | 2147483647 29681 34 | 0.209 % |
27.25/27.32 c | 34476 | 3826 16521 50726 | 2147483647 29991 34 | 0.209 % |
27.75/27.84 c | 34816 | 3826 16521 50726 | 2147483647 30331 34 | 0.209 % |
28.25/28.33 c | 35189 | 3826 16521 50726 | 2147483647 30704 34 | 0.209 % |
28.85/28.98 c | 35599 | 3826 16521 50726 | 2147483647 31114 34 | 0.209 % |
29.65/29.74 c | 36049 | 3826 16521 50726 | 2147483647 31564 34 | 0.209 % |
30.45/30.51 c | 36542 | 3826 16521 50726 | 2147483647 32057 35 | 0.209 % |
30.95/31.07 c | 37085 | 3826 16521 50726 | 2147483647 32600 35 | 0.209 % |
31.15/31.22 c | 37185 | 3826 16521 50726 | 2147483647 32700 35 | 0.209 % |
31.25/31.35 c | 37295 | 3826 16521 50726 | 2147483647 32810 35 | 0.209 % |
31.35/31.46 c | 37417 | 3826 16521 50726 | 2147483647 32932 35 | 0.209 % |
31.55/31.64 c | 37551 | 3826 16521 50726 | 2147483647 33066 35 | 0.209 % |
31.75/31.80 c | 37698 | 3826 16521 50726 | 2147483647 33213 35 | 0.209 % |
31.85/31.98 c | 37859 | 3826 16521 50726 | 2147483647 33374 35 | 0.209 % |
32.15/32.25 c | 38036 | 3826 16521 50726 | 2147483647 33551 35 | 0.209 % |
32.35/32.46 c | 38229 | 3826 16521 50726 | 2147483647 33744 35 | 0.209 % |
32.66/32.74 c | 38441 | 3826 16521 50726 | 2147483647 33956 35 | 0.209 % |
32.96/33.02 c | 38675 | 3826 16521 50726 | 2147483647 34190 35 | 0.209 % |
33.35/33.43 c | 38932 | 3826 16521 50726 | 2147483647 34447 35 | 0.209 % |
33.75/33.90 c | 39213 | 3826 16521 50726 | 2147483647 34728 35 | 0.209 % |
34.35/34.48 c | 39522 | 3826 16521 50726 | 2147483647 35037 35 | 0.209 % |
34.55/34.69 c | 39861 | 3826 16521 50726 | 2147483647 35376 35 | 0.209 % |
35.05/35.17 c | 40236 | 3826 16521 50726 | 2147483647 35751 35 | 0.209 % |
35.65/35.72 c | 40648 | 3826 16521 50726 | 2147483647 36163 35 | 0.209 % |
36.15/36.27 c | 41097 | 3826 16521 50726 | 2147483647 36612 35 | 0.209 % |
36.95/37.02 c | 41590 | 3826 16521 50726 | 2147483647 37105 35 | 0.209 % |
37.85/37.96 c | 42132 | 3826 16521 50726 | 2147483647 37647 35 | 0.209 % |
38.45/38.57 c | 42728 | 3826 16521 50726 | 2147483647 38243 35 | 0.209 % |
38.55/38.69 c | 42829 | 3826 16521 50726 | 2147483647 38344 35 | 0.209 % |
38.75/38.82 c | 42939 | 3826 16521 50726 | 2147483647 38454 35 | 0.209 % |
38.85/38.96 c | 43060 | 3826 16521 50726 | 2147483647 38575 35 | 0.209 % |
39.05/39.18 c | 43194 | 3826 16521 50726 | 2147483647 38709 35 | 0.209 % |
39.25/39.32 c | 43341 | 3826 16521 50726 | 2147483647 38856 35 | 0.209 % |
39.45/39.56 c | 43501 | 3826 16521 50726 | 2147483647 39016 36 | 0.209 % |
39.75/39.81 c | 43677 | 3826 16521 50726 | 2147483647 39192 36 | 0.209 % |
39.95/40.09 c | 43870 | 3826 16521 50726 | 2147483647 39385 36 | 0.209 % |
40.35/40.43 c | 44082 | 3826 16521 50726 | 2147483647 39597 36 | 0.209 % |
40.75/40.84 c | 44316 | 3826 16521 50726 | 2147483647 39831 36 | 0.209 % |
41.15/41.25 c | 44572 | 3826 16521 50726 | 2147483647 40087 36 | 0.209 % |
41.65/41.77 c | 44854 | 3826 16521 50726 | 2147483647 40369 36 | 0.209 % |
42.24/42.34 c | 45163 | 3826 16521 50726 | 2147483647 40678 36 | 0.209 % |
42.64/42.78 c | 45502 | 3826 16521 50726 | 2147483647 41017 36 | 0.209 % |
43.04/43.12 c | 45874 | 3826 16521 50726 | 2147483647 41389 36 | 0.209 % |
43.54/43.69 c | 46284 | 3826 16521 50726 | 2147483647 41799 36 | 0.209 % |
44.34/44.42 c | 46733 | 3826 16521 50726 | 2147483647 42248 36 | 0.209 % |
45.04/45.18 c | 47227 | 3826 16521 50726 | 2147483647 42742 36 | 0.209 % |
46.04/46.11 c | 47771 | 3826 16521 50726 | 2147483647 43286 35 | 0.209 % |
46.94/47.02 c | 48367 | 3825 16515 50706 | 2147483647 43881 35 | 0.235 % |
47.94/48.09 c | 49022 | 3825 16515 50706 | 2147483647 44536 35 | 0.235 % |
48.14/48.29 c | 49122 | 3825 16515 50706 | 2147483647 44636 35 | 0.235 % |
48.34/48.46 c | 49232 | 3825 16515 50706 | 2147483647 44746 35 | 0.235 % |
48.54/48.67 c | 49354 | 3825 16515 50706 | 2147483647 44868 35 | 0.235 % |
48.84/48.90 c | 49487 | 3825 16515 50706 | 2147483647 45001 35 | 0.235 % |
49.04/49.13 c | 49634 | 3825 16515 50706 | 2147483647 45148 35 | 0.235 % |
49.34/49.43 c | 49794 | 3825 16515 50706 | 2147483647 45308 35 | 0.235 % |
49.64/49.74 c | 49971 | 3825 16515 50706 | 2147483647 45485 35 | 0.235 % |
50.04/50.15 c | 50164 | 3825 16515 50706 | 2147483647 45678 35 | 0.235 % |
50.44/50.51 c | 50376 | 3825 16515 50706 | 2147483647 45890 35 | 0.235 % |
50.74/50.85 c | 50610 | 3825 16515 50706 | 2147483647 46124 35 | 0.235 % |
51.04/51.19 c | 50866 | 3825 16515 50706 | 2147483647 46380 35 | 0.235 % |
51.64/51.76 c | 51147 | 3824 16509 50688 | 2147483647 46655 35 | 0.496 % |
52.34/52.42 c | 51457 | 3824 16509 50688 | 2147483647 46965 35 | 0.496 % |
52.84/52.93 c | 51796 | 3824 16509 50688 | 2147483647 47304 35 | 0.496 % |
53.53/53.63 c | 52169 | 3824 16509 50688 | 2147483647 47677 35 | 0.496 % |
54.13/54.23 c | 52579 | 3824 16509 50688 | 2147483647 48087 35 | 0.496 % |
54.73/54.82 c | 53028 | 3815 16472 50573 | 2147483647 48530 35 | 0.496 % |
55.43/55.59 c | 53522 | 3815 16472 50573 | 2147483647 49024 35 | 0.496 % |
56.34/56.44 c | 54065 | 3815 16472 50573 | 2147483647 49566 35 | 0.600 % |
57.34/57.46 c | 54662 | 3815 16472 50573 | 2147483647 50163 35 | 0.600 % |
57.94/58.01 c | 55317 | 3811 16459 50535 | 2147483647 50818 35 | 0.600 % |
59.24/59.32 c | 56038 | 3811 16459 50535 | 2147483647 51539 35 | 0.600 % |
59.34/59.45 c | 56139 | 3811 16459 50535 | 2147483647 51640 35 | 0.600 % |
59.54/59.67 c | 56250 | 3811 16459 50535 | 2147483647 51751 35 | 0.600 % |
59.73/59.86 c | 56373 | 3811 16459 50535 | 2147483647 51874 35 | 0.600 % |
59.93/60.04 c | 56507 | 3811 16459 50535 | 2147483647 52008 35 | 0.600 % |
60.13/60.27 c | 56654 | 3811 16459 50535 | 2147483647 52155 35 | 0.600 % |
60.44/60.57 c | 56814 | 3811 16459 50535 | 2147483647 52315 35 | 0.600 % |
60.73/60.84 c | 56990 | 3811 16459 50535 | 2147483647 52491 35 | 0.600 % |
61.13/61.24 c | 57184 | 3811 16459 50535 | 2147483647 52685 35 | 0.600 % |
61.44/61.56 c | 57396 | 3811 16459 50535 | 2147483647 52897 35 | 0.600 % |
61.83/61.93 c | 57630 | 3811 16459 50535 | 2147483647 53131 35 | 0.600 % |
62.13/62.28 c | 57886 | 3811 16459 50535 | 2147483647 53387 35 | 0.600 % |
62.64/62.73 c | 58168 | 3811 16459 50535 | 2147483647 53669 35 | 0.600 % |
63.23/63.35 c | 58477 | 3811 16459 50535 | 2147483647 53978 35 | 0.600 % |
63.93/64.07 c | 58817 | 3811 16459 50535 | 2147483647 54318 35 | 0.600 % |
64.53/64.66 c | 59189 | 3811 16459 50535 | 2147483647 54690 35 | 0.600 % |
65.33/65.44 c | 59598 | 3811 16459 50535 | 2147483647 55099 35 | 0.600 % |
66.13/66.22 c | 60048 | 3811 16459 50535 | 2147483647 55549 35 | 0.600 % |
66.72/66.90 c | 60542 | 3811 16459 50535 | 2147483647 56043 35 | 0.600 % |
67.62/67.77 c | 61084 | 3811 16459 50535 | 2147483647 56585 35 | 0.600 % |
68.52/68.66 c | 61681 | 3811 16459 50535 | 2147483647 57182 36 | 0.600 % |
70.23/70.32 c | 62337 | 3811 16459 50535 | 2147483647 57838 36 | 0.600 % |
71.92/72.05 c | 63058 | 3811 16459 50535 | 2147483647 58559 36 | 0.600 % |
73.32/73.50 c | 63851 | 3811 16459 50535 | 2147483647 59352 36 | 0.600 % |
73.53/73.68 c | 63951 | 3811 16459 50535 | 2147483647 59452 36 | 0.600 % |
73.73/73.87 c | 64062 | 3811 16459 50535 | 2147483647 59563 36 | 0.600 % |
73.93/74.06 c | 64184 | 3811 16459 50535 | 2147483647 59685 36 | 0.600 % |
74.13/74.27 c | 64318 | 3811 16459 50535 | 2147483647 59819 36 | 0.600 % |
74.33/74.49 c | 64465 | 3811 16459 50535 | 2147483647 59966 36 | 0.600 % |
74.63/74.77 c | 64626 | 3811 16459 50535 | 2147483647 60127 36 | 0.600 % |
74.93/75.08 c | 64802 | 3811 16459 50535 | 2147483647 60303 36 | 0.600 % |
75.23/75.37 c | 64996 | 3811 16459 50535 | 2147483647 60497 36 | 0.600 % |
75.63/75.72 c | 65208 | 3811 16459 50535 | 2147483647 60709 36 | 0.600 % |
76.03/76.10 c | 65441 | 3811 16459 50535 | 2147483647 60942 36 | 0.600 % |
76.53/76.63 c | 65698 | 3811 16459 50535 | 2147483647 61199 36 | 0.600 % |
77.03/77.10 c | 65980 | 3811 16459 50535 | 2147483647 61481 36 | 0.600 % |
77.63/77.77 c | 66289 | 3811 16459 50535 | 2147483647 61790 36 | 0.600 % |
78.33/78.47 c | 66629 | 3811 16459 50535 | 2147483647 62130 36 | 0.600 % |
79.03/79.12 c | 67001 | 3811 16459 50535 | 2147483647 62502 36 | 0.600 % |
79.82/79.91 c | 67410 | 3811 16459 50535 | 2147483647 62911 36 | 0.600 % |
80.62/80.75 c | 67860 | 3811 16459 50535 | 2147483647 63361 36 | 0.600 % |
81.62/81.72 c | 68354 | 3811 16459 50535 | 2147483647 63855 36 | 0.600 % |
82.62/82.76 c | 68896 | 3811 16459 50535 | 2147483647 64397 36 | 0.600 % |
83.82/83.90 c | 69492 | 3811 16459 50535 | 2147483647 64993 36 | 0.600 % |
85.12/85.29 c | 70147 | 3811 16459 50535 | 2147483647 65648 37 | 0.600 % |
86.42/86.58 c | 70867 | 3811 16459 50535 | 2147483647 66368 37 | 0.600 % |
87.82/87.99 c | 71659 | 3811 16459 50535 | 2147483647 67160 37 | 0.600 % |
89.32/89.48 c | 72530 | 3811 16459 50535 | 2147483647 68031 37 | 0.600 % |
89.52/89.68 c | 72630 | 3811 16459 50535 | 2147483647 68131 37 | 0.600 % |
89.82/89.93 c | 72740 | 3811 16459 50535 | 2147483647 68241 37 | 0.600 % |
90.02/90.14 c | 72861 | 3811 16459 50535 | 2147483647 68362 37 | 0.600 % |
90.32/90.47 c | 72995 | 3811 16459 50535 | 2147483647 68496 37 | 0.600 % |
90.61/90.72 c | 73142 | 3811 16459 50535 | 2147483647 68643 37 | 0.600 % |
90.81/91.00 c | 73303 | 3811 16459 50535 | 2147483647 68804 37 | 0.600 % |
91.22/91.36 c | 73479 | 3811 16459 50535 | 2147483647 68980 37 | 0.600 % |
91.51/91.67 c | 73673 | 3809 16449 50504 | 2147483647 69173 37 | 0.652 % |
91.91/92.03 c | 73885 | 3809 16449 50504 | 2147483647 69385 37 | 0.652 % |
92.41/92.53 c | 74119 | 3809 16449 50504 | 2147483647 69619 37 | 0.652 % |
92.91/93.07 c | 74375 | 3809 16449 50504 | 2147483647 69875 37 | 0.652 % |
93.51/93.62 c | 74657 | 3809 16449 50504 | 2147483647 70157 37 | 0.652 % |
94.01/94.15 c | 74966 | 3809 16449 50504 | 2147483647 70466 37 | 0.652 % |
94.71/94.87 c | 75306 | 3809 16449 50504 | 2147483647 70806 37 | 0.652 % |
95.61/95.77 c | 75678 | 3809 16449 50504 | 2147483647 71178 37 | 0.652 % |
96.61/96.70 c | 76087 | 3809 16449 50504 | 2147483647 71587 37 | 0.652 % |
97.51/97.61 c | 76537 | 3809 16449 50504 | 2147483647 72037 37 | 0.653 % |
98.62/98.75 c | 77030 | 3809 16449 50504 | 2147483647 72530 37 | 0.652 % |
99.52/99.62 c | 77572 | 3809 16449 50504 | 2147483647 73072 37 | 0.652 % |
100.71/100.85 c | 78168 | 3809 16449 50504 | 2147483647 73668 37 | 0.652 % |
102.12/102.25 c | 78823 | 3809 16449 50504 | 2147483647 74323 37 | 0.652 % |
104.11/104.29 c | 79544 | 3809 16449 50504 | 2147483647 75044 37 | 0.652 % |
105.91/106.05 c | 80336 | 3809 16449 50504 | 2147483647 75836 37 | 0.653 % |
107.81/107.98 c | 81209 | 3809 16449 50504 | 2147483647 76709 37 | 0.652 % |
109.91/110.06 c | 82168 | 3809 16449 50504 | 2147483647 77668 37 | 0.652 % |
110.11/110.22 c | 82268 | 3809 16449 50504 | 2147483647 77768 37 | 0.652 % |
110.41/110.58 c | 82379 | 3809 16449 50504 | 2147483647 77879 37 | 0.652 % |
110.61/110.79 c | 82500 | 3809 16449 50504 | 2147483647 78000 37 | 0.652 % |
111.01/111.14 c | 82634 | 3809 16449 50504 | 2147483647 78134 37 | 0.652 % |
111.30/111.43 c | 82781 | 3809 16449 50504 | 2147483647 78281 37 | 0.652 % |
111.70/111.81 c | 82942 | 3809 16449 50504 | 2147483647 78442 37 | 0.652 % |
112.20/112.32 c | 83118 | 3809 16449 50504 | 2147483647 78618 37 | 0.652 % |
112.70/112.85 c | 83312 | 3809 16449 50504 | 2147483647 78812 37 | 0.652 % |
113.30/113.48 c | 83525 | 3809 16449 50504 | 2147483647 79025 37 | 0.652 % |
113.90/114.02 c | 83758 | 3809 16449 50504 | 2147483647 79258 37 | 0.653 % |
114.31/114.41 c | 84015 | 3809 16449 50504 | 2147483647 79515 37 | 0.652 % |
115.00/115.12 c | 84296 | 3809 16449 50504 | 2147483647 79796 37 | 0.652 % |
116.00/116.12 c | 84605 | 3809 16449 50504 | 2147483647 80105 37 | 0.652 % |
116.80/116.92 c | 84945 | 3809 16449 50504 | 2147483647 80445 37 | 0.652 % |
117.70/117.80 c | 85317 | 3809 16449 50504 | 2147483647 80817 37 | 0.652 % |
118.80/118.94 c | 85727 | 3809 16449 50504 | 2147483647 81227 37 | 0.652 % |
119.80/119.97 c | 86177 | 3809 16449 50504 | 2147483647 81677 37 | 0.652 % |
120.70/120.89 c | 86670 | 3809 16449 50504 | 2147483647 82170 37 | 0.652 % |
122.10/122.24 c | 87212 | 3809 16449 50504 | 2147483647 82712 37 | 0.652 % |
123.59/123.76 c | 87810 | 3809 16449 50504 | 2147483647 83310 37 | 0.652 % |
125.30/125.43 c | 88465 | 3809 16449 50504 | 2147483647 83965 37 | 0.652 % |
127.29/127.48 c | 89186 | 3809 16449 50504 | 2147483647 84686 37 | 0.652 % |
129.40/129.58 c | 89978 | 3809 16449 50504 | 2147483647 85478 37 | 0.652 % |
131.60/131.73 c | 90850 | 3809 16449 50504 | 2147483647 86350 37 | 0.652 % |
133.70/133.82 c | 91808 | 3809 16449 50504 | 2147483647 87308 37 | 0.652 % |
136.10/136.29 c | 92862 | 3809 16449 50504 | 2147483647 88362 37 | 0.652 % |
136.39/136.51 c | 92963 | 3809 16449 50504 | 2147483647 88463 37 | 0.652 % |
136.69/136.80 c | 93074 | 3809 16449 50504 | 2147483647 88574 37 | 0.652 % |
136.89/137.09 c | 93195 | 3809 16449 50504 | 2147483647 88695 37 | 0.653 % |
137.30/137.41 c | 93328 | 3809 16449 50504 | 2147483647 88828 37 | 0.652 % |
137.59/137.77 c | 93474 | 3809 16449 50504 | 2147483647 88974 37 | 0.652 % |
138.19/138.36 c | 93634 | 3809 16449 50504 | 2147483647 89134 37 | 0.652 % |
138.59/138.77 c | 93811 | 3809 16449 50504 | 2147483647 89311 37 | 0.652 % |
139.09/139.23 c | 94005 | 3809 16449 50504 | 2147483647 89505 37 | 0.652 % |
139.69/139.82 c | 94218 | 3809 16449 50504 | 2147483647 89718 37 | 0.652 % |
139.99/140.16 c | 94451 | 3809 16449 50504 | 2147483647 89951 37 | 0.652 % |
140.60/140.71 c | 94708 | 3809 16449 50504 | 2147483647 90208 37 | 0.652 % |
141.29/141.42 c | 94991 | 3809 16449 50504 | 2147483647 90491 37 | 0.652 % |
141.89/142.05 c | 95300 | 3809 16449 50504 | 2147483647 90800 37 | 0.652 % |
142.99/143.18 c | 95640 | 3809 16449 50504 | 2147483647 91140 37 | 0.652 % |
144.19/144.38 c | 96013 | 3809 16449 50504 | 2147483647 91513 37 | 0.652 % |
145.29/145.44 c | 96422 | 3809 16449 50504 | 2147483647 91922 37 | 0.652 % |
146.28/146.49 c | 96872 | 3809 16449 50504 | 2147483647 92372 37 | 0.652 % |
147.68/147.84 c | 97365 | 3809 16449 50504 | 2147483647 92865 37 | 0.652 % |
149.18/149.33 c | 97907 | 3809 16449 50504 | 2147483647 93407 37 | 0.652 % |
150.78/150.99 c | 98503 | 3809 16449 50504 | 2147483647 94003 37 | 0.652 % |
152.69/152.81 c | 99158 | 3809 16449 50504 | 2147483647 94658 37 | 0.652 % |
154.09/154.23 c | 99878 | 3809 16449 50504 | 2147483647 95378 37 | 0.652 % |
156.09/156.26 c | 100671 | 3809 16449 50504 | 2147483647 96171 37 | 0.652 % |
158.29/158.49 c | 101543 | 3809 16449 50504 | 2147483647 97043 37 | 0.652 % |
160.88/161.07 c | 102502 | 3809 16449 50504 | 2147483647 98002 37 | 0.652 % |
163.58/163.71 c | 103556 | 3809 16449 50504 | 2147483647 99056 37 | 0.652 % |
166.28/166.41 c | 104715 | 3809 16449 50504 | 2147483647 100215 37 | 0.653 % |
166.48/166.66 c | 104815 | 3809 16449 50504 | 2147483647 100315 37 | 0.652 % |
166.78/166.91 c | 104925 | 3809 16449 50504 | 2147483647 100425 37 | 0.652 % |
166.98/167.20 c | 105046 | 3809 16449 50504 | 2147483647 100546 37 | 0.652 % |
167.48/167.60 c | 105180 | 3809 16449 50504 | 2147483647 100680 38 | 0.652 % |
167.78/167.98 c | 105326 | 3809 16449 50504 | 2147483647 100826 38 | 0.652 % |
168.28/168.45 c | 105487 | 3809 16449 50504 | 2147483647 100987 37 | 0.652 % |
168.78/168.92 c | 105664 | 3809 16449 50504 | 2147483647 101164 37 | 0.652 % |
169.18/169.36 c | 105857 | 3809 16449 50504 | 2147483647 101357 37 | 0.652 % |
169.78/169.95 c | 106070 | 3809 16449 50504 | 2147483647 101570 38 | 0.652 % |
170.48/170.68 c | 106303 | 3809 16449 50504 | 2147483647 101803 37 | 0.652 % |
171.08/171.28 c | 106560 | 3809 16449 50504 | 2147483647 102060 37 | 0.652 % |
171.88/172.01 c | 106841 | 3809 16449 50504 | 2147483647 102341 38 | 0.652 % |
172.78/172.99 c | 107150 | 3809 16449 50504 | 2147483647 102650 38 | 0.652 % |
173.78/173.92 c | 107489 | 3809 16449 50504 | 2147483647 102989 37 | 0.652 % |
174.68/174.81 c | 107861 | 3809 16449 50504 | 2147483647 103361 37 | 0.652 % |
175.88/176.05 c | 108272 | 3809 16449 50504 | 2147483647 103772 38 | 0.652 % |
177.28/177.43 c | 108721 | 3809 16449 50504 | 2147483647 104221 38 | 0.652 % |
178.97/179.10 c | 109214 | 3809 16449 50504 | 2147483647 104714 37 | 0.652 % |
180.57/180.74 c | 109757 | 3809 16449 50504 | 2147483647 105257 37 | 0.652 % |
182.38/182.59 c | 110355 | 3809 16449 50504 | 2147483647 105855 37 | 0.652 % |
184.37/184.54 c | 111012 | 3809 16449 50504 | 2147483647 106512 37 | 0.652 % |
186.67/186.84 c | 111732 | 3809 16449 50504 | 2147483647 107232 38 | 0.653 % |
188.97/189.16 c | 112525 | 3809 16449 50504 | 2147483647 108025 38 | 0.652 % |
191.17/191.30 c | 113396 | 3809 16449 50504 | 2147483647 108896 38 | 0.652 % |
193.56/193.79 c | 114355 | 3809 16449 50504 | 2147483647 109855 38 | 0.652 % |
196.86/197.07 c | 115409 | 3809 16449 50504 | 2147483647 110909 38 | 0.652 % |
200.56/200.78 c | 116567 | 3809 16449 50504 | 2147483647 112067 38 | 0.652 % |
204.46/204.67 c | 117840 | 3809 16449 50504 | 2147483647 113340 38 | 0.652 % |
204.76/204.98 c | 117940 | 3809 16449 50504 | 2147483647 113440 38 | 0.652 % |
205.16/205.32 c | 118050 | 3809 16449 50504 | 2147483647 113550 38 | 0.652 % |
205.46/205.66 c | 118172 | 3809 16449 50504 | 2147483647 113672 38 | 0.652 % |
205.76/205.97 c | 118305 | 3809 16449 50504 | 2147483647 113805 38 | 0.652 % |
206.16/206.30 c | 118451 | 3809 16449 50504 | 2147483647 113951 38 | 0.652 % |
206.56/206.78 c | 118613 | 3809 16449 50504 | 2147483647 114113 38 | 0.652 % |
207.06/207.24 c | 118791 | 3809 16449 50504 | 2147483647 114291 38 | 0.652 % |
207.56/207.80 c | 118985 | 3809 16449 50504 | 2147483647 114485 38 | 0.652 % |
208.26/208.47 c | 119199 | 3809 16449 50504 | 2147483647 114699 38 | 0.652 % |
209.06/209.29 c | 119432 | 3809 16449 50504 | 2147483647 114932 38 | 0.652 % |
209.96/210.11 c | 119689 | 3809 16449 50504 | 2147483647 115189 38 | 0.652 % |
210.66/210.88 c | 119970 | 3809 16449 50504 | 2147483647 115470 38 | 0.652 % |
212.16/212.36 c | 120281 | 3809 16449 50504 | 115501 100102 38 | 0.652 % |
213.26/213.41 c | 120621 | 3809 16449 50504 | 115501 100442 38 | 0.652 % |
214.36/214.52 c | 120993 | 3809 16449 50504 | 115501 100814 38 | 0.652 % |
215.66/215.80 c | 121403 | 3809 16449 50504 | 115501 101224 38 | 0.652 % |
216.96/217.15 c | 121853 | 3809 16449 50504 | 115501 101674 38 | 0.652 % |
218.76/218.92 c | 122346 | 3809 16449 50504 | 115501 102167 37 | 0.652 % |
220.26/220.48 c | 122888 | 3809 16449 50504 | 115501 102709 37 | 0.652 % |
222.25/222.49 c | 123485 | 3809 16449 50504 | 115501 103306 37 | 0.652 % |
224.05/224.28 c | 124140 | 3809 16449 50504 | 115501 103961 37 | 0.652 % |
226.15/226.38 c | 124865 | 3809 16449 50504 | 115501 104686 37 | 0.652 % |
228.46/228.67 c | 125658 | 3809 16449 50504 | 115501 105479 37 | 0.652 % |
231.06/231.23 c | 126529 | 3809 16449 50504 | 115501 106350 37 | 0.652 % |
233.76/233.99 c | 127487 | 3809 16449 50504 | 115501 107308 37 | 0.653 % |
236.76/236.93 c | 128542 | 3809 16449 50504 | 115501 108363 37 | 0.653 % |
240.56/240.75 c | 129701 | 3809 16449 50504 | 115501 109522 37 | 0.652 % |
244.65/244.80 c | 130975 | 3809 16449 50504 | 109822 97956 36 | 0.652 % |
248.05/248.28 c | 132376 | 3809 16449 50504 | 109822 99357 37 | 0.652 % |
248.35/248.52 c | 132477 | 3809 16449 50504 | 109822 99458 37 | 0.652 % |
248.55/248.76 c | 132589 | 3809 16449 50504 | 109822 99570 37 | 0.652 % |
248.95/249.10 c | 132711 | 3809 16449 50504 | 109822 99692 37 | 0.652 % |
249.45/249.62 c | 132844 | 3809 16449 50504 | 109822 99825 37 | 0.652 % |
249.85/250.08 c | 132991 | 3809 16449 50504 | 109822 99972 37 | 0.652 % |
250.35/250.53 c | 133153 | 3809 16449 50504 | 109822 100134 37 | 0.652 % |
250.85/251.07 c | 133330 | 3809 16449 50504 | 109822 100311 36 | 0.652 % |
251.45/251.65 c | 133524 | 3809 16449 50504 | 109822 100505 36 | 0.652 % |
252.05/252.22 c | 133736 | 3809 16449 50504 | 109822 100717 36 | 0.653 % |
252.65/252.85 c | 133970 | 3809 16449 50504 | 109822 100951 36 | 0.652 % |
253.15/253.34 c | 134228 | 3809 16449 50504 | 109822 101209 36 | 0.652 % |
253.75/253.91 c | 134510 | 3809 16449 50504 | 109822 101491 36 | 0.652 % |
254.45/254.64 c | 134820 | 3809 16449 50504 | 109822 101801 37 | 0.652 % |
255.45/255.61 c | 135159 | 3809 16449 50504 | 109822 102140 37 | 0.652 % |
256.35/256.59 c | 135531 | 3809 16449 50504 | 109822 102512 37 | 0.652 % |
257.45/257.62 c | 135942 | 3809 16449 50504 | 109822 102923 37 | 0.652 % |
258.65/258.89 c | 136393 | 3809 16449 50504 | 109822 103374 37 | 0.652 % |
260.15/260.36 c | 136886 | 3809 16449 50504 | 109822 103867 37 | 0.652 % |
261.65/261.86 c | 137428 | 3809 16449 50504 | 109822 104409 37 | 0.652 % |
263.54/263.70 c | 138024 | 3809 16449 50504 | 109822 105005 37 | 0.652 % |
264.95/265.19 c | 138679 | 3809 16449 50504 | 109822 105660 37 | 0.653 % |
266.94/267.18 c | 139401 | 3809 16449 50504 | 109822 106382 37 | 0.652 % |
269.24/269.40 c | 140193 | 3809 16449 50504 | 106982 107174 37 | 0.652 % |
272.34/272.54 c | 141065 | 3809 16449 50504 | 106982 94507 37 | 0.652 % |
274.74/274.99 c | 142024 | 3809 16449 50504 | 106982 95466 38 | 0.652 % |
277.44/277.70 c | 143077 | 3809 16449 50504 | 106982 96519 37 | 0.653 % |
280.54/280.72 c | 144236 | 3809 16449 50504 | 106982 97678 38 | 0.652 % |
283.64/283.84 c | 145509 | 3809 16449 50504 | 106982 98951 38 | 0.652 % |
286.94/287.13 c | 146911 | 3809 16449 50504 | 106982 100353 38 | 0.652 % |
290.83/291.01 c | 148452 | 3809 16449 50504 | 106982 101894 38 | 0.652 % |
291.03/291.29 c | 148552 | 3809 16449 50504 | 106982 101994 38 | 0.652 % |
291.34/291.59 c | 148663 | 3809 16449 50504 | 106982 102105 38 | 0.652 % |
291.73/291.97 c | 148785 | 3809 16449 50504 | 106982 102227 38 | 0.652 % |
292.13/292.31 c | 148919 | 3809 16449 50504 | 106982 102361 38 | 0.652 % |
292.44/292.69 c | 149066 | 3809 16449 50504 | 106982 102508 38 | 0.652 % |
293.03/293.27 c | 149227 | 3809 16449 50504 | 106982 102669 38 | 0.652 % |
293.53/293.79 c | 149403 | 3809 16449 50504 | 106982 102845 38 | 0.652 % |
294.13/294.31 c | 149596 | 3809 16449 50504 | 106982 103038 38 | 0.652 % |
294.63/294.81 c | 149809 | 3809 16449 50504 | 106982 103251 38 | 0.652 % |
295.13/295.32 c | 150043 | 3809 16449 50504 | 2147483647 103485 38 | 0.652 % |
295.83/296.01 c | 150299 | 3809 16449 50504 | 2147483647 103741 38 | 0.652 % |
296.43/296.68 c | 150581 | 3809 16449 50504 | 2147483647 104023 38 | 0.652 % |
297.03/297.21 c | 150890 | 3809 16449 50504 | 2147483647 104332 38 | 0.652 % |
298.03/298.20 c | 151229 | 3809 16449 50504 | 2147483647 104671 38 | 0.652 % |
299.03/299.26 c | 151602 | 3809 16449 50504 | 2147483647 105044 38 | 0.652 % |
299.93/300.17 c | 152012 | 3809 16449 50504 | 2147483647 105454 38 | 0.652 % |
300.83/301.08 c | 152462 | 3809 16449 50504 | 2147483647 105904 38 | 0.652 % |
302.23/302.43 c | 152956 | 3809 16449 50504 | 2147483647 106398 38 | 0.652 % |
303.73/303.94 c | 153499 | 3809 16449 50504 | 2147483647 106941 38 | 0.652 % |
305.43/305.65 c | 154096 | 3809 16449 50504 | 2147483647 107538 38 | 0.652 % |
307.03/307.27 c | 154752 | 3809 16449 50504 | 2147483647 108194 38 | 0.652 % |
308.93/309.11 c | 155474 | 3809 16449 50504 | 2147483647 108916 38 | 0.652 % |
311.42/311.68 c | 156267 | 3809 16449 50504 | 2147483647 109709 38 | 0.652 % |
314.02/314.24 c | 157138 | 3809 16449 50504 | 2147483647 110580 38 | 0.652 % |
316.32/316.57 c | 158097 | 3809 16449 50504 | 2147483647 111539 38 | 0.652 % |
319.32/319.52 c | 159150 | 3809 16449 50504 | 2147483647 112592 38 | 0.652 % |
322.72/322.94 c | 160308 | 3809 16449 50504 | 113443 113750 38 | 0.652 % |
326.52/326.79 c | 161582 | 3809 16449 50504 | 113443 102856 37 | 0.652 % |
330.31/330.55 c | 162983 | 3809 16449 50504 | 113443 104257 38 | 0.653 % |
334.61/334.85 c | 164525 | 3809 16449 50504 | 113443 105799 39 | 0.652 % |
339.11/339.39 c | 166221 | 3809 16449 50504 | 113443 107495 39 | 0.653 % |
339.41/339.64 c | 166322 | 3809 16449 50504 | 113443 107596 39 | 0.653 % |
339.71/339.95 c | 166433 | 3809 16449 50504 | 113443 107707 39 | 0.652 % |
340.11/340.34 c | 166555 | 3809 16449 50504 | 113443 107829 39 | 0.652 % |
340.41/340.65 c | 166689 | 3809 16449 50504 | 113443 107963 39 | 0.652 % |
340.71/340.91 c | 166836 | 3809 16449 50504 | 113443 108110 39 | 0.652 % |
341.01/341.28 c | 166996 | 3809 16449 50504 | 113443 108270 39 | 0.652 % |
341.51/341.78 c | 167172 | 3809 16449 50504 | 113443 108446 39 | 0.652 % |
342.01/342.24 c | 167365 | 3809 16449 50504 | 113443 108639 39 | 0.652 % |
342.61/342.81 c | 167577 | 3809 16449 50504 | 113443 108851 39 | 0.652 % |
343.11/343.30 c | 167810 | 3809 16449 50504 | 113443 109084 39 | 0.652 % |
343.71/343.91 c | 168066 | 3809 16449 50504 | 113443 109340 39 | 0.652 % |
344.51/344.78 c | 168347 | 3809 16449 50504 | 113443 109621 39 | 0.652 % |
345.31/345.54 c | 168656 | 3809 16449 50504 | 113443 109930 39 | 0.652 % |
346.11/346.35 c | 168996 | 3809 16449 50504 | 113443 110270 39 | 0.652 % |
347.31/347.59 c | 169368 | 3809 16449 50504 | 113443 110642 39 | 0.652 % |
348.62/348.80 c | 169777 | 3809 16449 50504 | 113443 111051 39 | 0.652 % |
350.01/350.29 c | 170226 | 3809 16449 50504 | 111274 111500 39 | 0.652 % |
352.01/352.23 c | 170719 | 3809 16449 50504 | 111274 97748 39 | 0.652 % |
353.61/353.80 c | 171261 | 3809 16449 50504 | 111274 98290 39 | 0.652 % |
355.02/355.25 c | 171858 | 3809 16449 50504 | 111274 98887 39 | 0.652 % |
356.91/357.17 c | 172513 | 3809 16449 50504 | 111274 99542 39 | 0.652 % |
358.81/359.01 c | 173233 | 3809 16449 50504 | 111274 100262 39 | 0.653 % |
360.62/360.89 c | 174026 | 3809 16449 50504 | 111274 101055 39 | 0.652 % |
362.72/362.94 c | 174897 | 3809 16449 50504 | 111274 101926 39 | 0.652 % |
365.01/365.23 c | 175858 | 3809 16449 50504 | 111274 102887 39 | 0.652 % |
367.81/368.06 c | 176912 | 3809 16449 50504 | 111274 103941 39 | 0.652 % |
370.71/370.98 c | 178070 | 3809 16449 50504 | 111274 105099 39 | 0.652 % |
373.51/373.76 c | 179343 | 3809 16449 50504 | 111274 106372 40 | 0.652 % |
377.30/377.50 c | 180743 | 3809 16449 50504 | 107030 94320 39 | 0.652 % |
380.70/380.98 c | 182283 | 3809 16449 50504 | 107030 95860 39 | 0.652 % |
385.40/385.61 c | 183978 | 3809 16449 50504 | 107030 97555 40 | 0.652 % |
389.70/389.93 c | 185841 | 3809 16449 50504 | 107030 99418 40 | 0.652 % |
390.00/390.21 c | 185943 | 3809 16449 50504 | 107030 99520 40 | 0.652 % |
390.30/390.52 c | 186053 | 3809 16449 50504 | 107030 99630 40 | 0.652 % |
390.60/390.82 c | 186175 | 3809 16449 50504 | 107030 99752 40 | 0.653 % |
390.90/391.18 c | 186309 | 3809 16449 50504 | 107030 99886 40 | 0.652 % |
391.30/391.56 c | 186456 | 3809 16449 50504 | 107030 100033 40 | 0.652 % |
391.70/391.98 c | 186616 | 3809 16449 50504 | 107030 100193 40 | 0.652 % |
392.20/392.44 c | 186793 | 3809 16449 50504 | 107030 100370 40 | 0.652 % |
392.70/392.96 c | 186986 | 3809 16449 50504 | 107030 100563 40 | 0.652 % |
393.30/393.55 c | 187198 | 3809 16449 50504 | 107030 100775 40 | 0.652 % |
393.90/394.18 c | 187431 | 3809 16449 50504 | 107030 101008 40 | 0.652 % |
394.70/394.92 c | 187687 | 3809 16449 50504 | 107030 101264 40 | 0.652 % |
395.40/395.68 c | 187968 | 3809 16449 50504 | 107030 101545 40 | 0.652 % |
396.20/396.48 c | 188277 | 3809 16449 50504 | 107030 101854 40 | 0.652 % |
397.00/397.29 c | 188617 | 3809 16449 50504 | 107030 102194 40 | 0.652 % |
398.00/398.26 c | 188989 | 3809 16449 50504 | 107030 102566 40 | 0.652 % |
399.10/399.34 c | 189400 | 3809 16449 50504 | 107030 102977 40 | 0.652 % |
400.10/400.36 c | 189851 | 3809 16449 50504 | 107030 103428 40 | 0.652 % |
401.20/401.49 c | 190345 | 3809 16449 50504 | 103577 103922 40 | 0.652 % |
402.80/403.07 c | 190889 | 3809 16449 50504 | 103577 92256 40 | 0.652 % |
404.30/404.51 c | 191485 | 3809 16449 50504 | 103577 92852 40 | 0.652 % |
405.99/406.20 c | 192141 | 3809 16449 50504 | 103577 93508 40 | 0.652 % |
407.99/408.24 c | 192862 | 3809 16449 50504 | 103577 94229 40 | 0.652 % |
410.29/410.54 c | 193655 | 3809 16449 50504 | 103577 95022 40 | 0.652 % |
412.59/412.88 c | 194527 | 3809 16449 50504 | 103577 95894 40 | 0.652 % |
415.19/415.41 c | 195486 | 3809 16449 50504 | 103577 96853 40 | 0.653 % |
417.79/418.00 c | 196539 | 3809 16449 50504 | 103577 97906 40 | 0.652 % |
420.39/420.63 c | 197698 | 3809 16449 50504 | 103577 99065 41 | 0.652 % |
423.29/423.58 c | 198971 | 3809 16449 50504 | 103577 100338 41 | 0.652 % |
427.59/427.86 c | 200372 | 3809 16449 50504 | 2147483647 101739 41 | 0.652 % |
432.28/432.51 c | 201913 | 3809 16449 50504 | 2147483647 103280 41 | 0.652 % |
436.18/436.45 c | 203609 | 3809 16449 50504 | 2147483647 104976 41 | 0.652 % |
441.28/441.57 c | 205472 | 3809 16449 50504 | 2147483647 106839 41 | 0.652 % |
446.88/447.14 c | 207521 | 3809 16449 50504 | 2147483647 108888 41 | 0.652 % |
447.18/447.45 c | 207622 | 3809 16449 50504 | 2147483647 108989 41 | 0.653 % |
447.48/447.74 c | 207733 | 3809 16449 50504 | 2147483647 109100 41 | 0.652 % |
447.78/448.08 c | 207855 | 3809 16449 50504 | 2147483647 109222 41 | 0.652 % |
448.18/448.43 c | 207990 | 3809 16449 50504 | 2147483647 109357 41 | 0.652 % |
448.68/448.91 c | 208140 | 3809 16449 50504 | 2147483647 109507 41 | 0.652 % |
449.08/449.40 c | 208301 | 3809 16449 50504 | 2147483647 109668 42 | 0.652 % |
449.58/449.88 c | 208478 | 3809 16449 50504 | 2147483647 109845 42 | 0.652 % |
449.87/450.17 c | 208672 | 3809 16449 50504 | 2147483647 110039 41 | 0.652 % |
450.47/450.76 c | 208885 | 3809 16449 50504 | 2147483647 110252 42 | 0.652 % |
451.07/451.33 c | 209118 | 3809 16449 50504 | 2147483647 110485 42 | 0.652 % |
451.88/452.11 c | 209374 | 3809 16449 50504 | 2147483647 110741 42 | 0.652 % |
452.67/452.98 c | 209655 | 3809 16449 50504 | 2147483647 111022 42 | 0.652 % |
453.57/453.83 c | 209964 | 3809 16449 50504 | 2147483647 111331 42 | 0.652 % |
454.37/454.70 c | 210304 | 3809 16449 50504 | 111367 111671 42 | 0.652 % |
455.67/455.97 c | 210677 | 3809 16449 50504 | 111367 98395 43 | 0.652 % |
456.67/456.98 c | 211087 | 3809 16449 50504 | 111367 98805 43 | 0.652 % |
457.67/457.98 c | 211537 | 3809 16449 50504 | 111367 99255 43 | 0.652 % |
459.27/459.56 c | 212031 | 3809 16449 50504 | 111367 99749 43 | 0.653 % |
460.47/460.75 c | 212574 | 3809 16449 50504 | 111367 100292 43 | 0.652 % |
461.96/462.22 c | 213170 | 3809 16449 50504 | 111367 100888 43 | 0.652 % |
463.57/463.84 c | 213825 | 3809 16449 50504 | 111367 101543 43 | 0.652 % |
465.57/465.87 c | 214545 | 3809 16449 50504 | 111367 102263 43 | 0.652 % |
467.67/467.90 c | 215338 | 3809 16449 50504 | 111367 103056 44 | 0.653 % |
470.37/470.62 c | 216209 | 3809 16449 50504 | 111367 103927 44 | 0.652 % |
472.97/473.21 c | 217168 | 3809 16449 50504 | 111367 104886 44 | 0.652 % |
475.37/475.62 c | 218224 | 3809 16449 50504 | 111367 105942 44 | 0.652 % |
478.17/478.47 c | 219383 | 3809 16449 50504 | 111367 107101 44 | 0.652 % |
481.67/481.92 c | 220659 | 3809 16449 50504 | 107718 108377 44 | 0.652 % |
485.06/485.31 c | 222059 | 3809 16449 50504 | 107718 96316 44 | 0.652 % |
488.56/488.89 c | 223601 | 3809 16449 50504 | 107718 97858 44 | 0.652 % |
492.16/492.49 c | 225296 | 3809 16449 50504 | 107718 99553 44 | 0.652 % |
496.46/496.72 c | 227159 | 3809 16449 50504 | 107718 101416 45 | 0.652 % |
500.66/500.98 c | 229211 | 3809 16449 50504 | 107718 103468 45 | 0.652 % |
506.26/506.53 c | 231466 | 3809 16449 50504 | 104259 94898 45 | 0.652 % |
506.46/506.77 c | 231567 | 3809 16449 50504 | 104259 94999 45 | 0.652 % |
506.86/507.12 c | 231677 | 3809 16449 50504 | 104259 95109 45 | 0.652 % |
507.16/507.46 c | 231799 | 3809 16449 50504 | 104259 95231 45 | 0.652 % |
507.55/507.80 c | 231933 | 3809 16449 50504 | 104259 95365 45 | 0.652 % |
507.96/508.26 c | 232080 | 3809 16449 50504 | 104259 95512 45 | 0.652 % |
508.45/508.71 c | 232241 | 3809 16449 50504 | 104259 95673 45 | 0.652 % |
508.85/509.17 c | 232418 | 3809 16449 50504 | 104259 95850 45 | 0.652 % |
509.25/509.56 c | 232611 | 3809 16449 50504 | 104259 96043 45 | 0.652 % |
509.96/510.22 c | 232823 | 3809 16449 50504 | 104259 96255 45 | 0.652 % |
510.65/510.90 c | 233056 | 3809 16449 50504 | 104259 96488 45 | 0.652 % |
511.26/511.54 c | 233313 | 3809 16449 50504 | 104259 96745 45 | 0.652 % |
511.75/512.05 c | 233594 | 3809 16449 50504 | 104259 97026 46 | 0.652 % |
512.36/512.68 c | 233903 | 3809 16449 50504 | 104259 97335 46 | 0.652 % |
513.15/513.49 c | 234243 | 3809 16449 50504 | 104259 97675 46 | 0.652 % |
514.25/514.51 c | 234615 | 3809 16449 50504 | 104259 98047 46 | 0.652 % |
515.05/515.37 c | 235024 | 3809 16449 50504 | 104259 98456 46 | 0.652 % |
516.25/516.51 c | 235474 | 3809 16449 50504 | 104259 98906 46 | 0.653 % |
517.35/517.65 c | 235967 | 3809 16449 50504 | 104259 99399 46 | 0.652 % |
518.85/519.19 c | 236509 | 3809 16449 50504 | 104259 99941 46 | 0.652 % |
520.45/520.71 c | 237107 | 3809 16449 50504 | 104259 100539 46 | 0.652 % |
522.15/522.42 c | 237763 | 3809 16449 50504 | 104259 101195 46 | 0.652 % |
523.55/523.88 c | 238484 | 3809 16449 50504 | 104259 101916 46 | 0.652 % |
525.85/526.10 c | 239277 | 3809 16449 50504 | 104259 102709 46 | 0.652 % |
528.24/528.51 c | 240149 | 3809 16449 50504 | 103432 103581 46 | 0.652 % |
530.64/530.97 c | 241108 | 3809 16449 50504 | 103432 94182 45 | 0.652 % |
533.54/533.80 c | 242162 | 3809 16449 50504 | 103432 95236 45 | 0.652 % |
536.55/536.82 c | 243321 | 3809 16449 50504 | 103432 96395 45 | 0.652 % |
539.64/539.94 c | 244594 | 3809 16449 50504 | 103432 97668 45 | 0.652 % |
542.74/543.04 c | 245994 | 3809 16449 50504 | 103432 99068 46 | 0.652 % |
546.34/546.62 c | 247534 | 3809 16449 50504 | 103432 100608 46 | 0.652 % |
550.54/550.89 c | 249230 | 3809 16449 50504 | 103432 102304 46 | 0.653 % |
555.24/555.58 c | 251094 | 3809 16449 50504 | 2147483647 104168 46 | 0.652 % |
560.83/561.16 c | 253143 | 3809 16449 50504 | 2147483647 106217 47 | 0.652 % |
566.82/567.14 c | 255396 | 3809 16449 50504 | 2147483647 108470 47 | 0.652 % |
573.53/573.90 c | 257874 | 3809 16449 50504 | 2147483647 110948 47 | 0.652 % |
573.83/574.12 c | 257974 | 3809 16449 50504 | 2147483647 111048 47 | 0.652 % |
574.03/574.37 c | 258085 | 3809 16449 50504 | 2147483647 111159 47 | 0.652 % |
574.33/574.69 c | 258206 | 3809 16449 50504 | 2147483647 111280 47 | 0.652 % |
574.73/575.07 c | 258340 | 3809 16449 50504 | 2147483647 111414 47 | 0.652 % |
575.13/575.46 c | 258486 | 3809 16449 50504 | 2147483647 111560 47 | 0.652 % |
575.43/575.78 c | 258647 | 3809 16449 50504 | 2147483647 111721 47 | 0.652 % |
575.93/576.20 c | 258823 | 3809 16449 50504 | 2147483647 111897 47 | 0.652 % |
576.43/576.70 c | 259017 | 3809 16449 50504 | 2147483647 112091 47 | 0.652 % |
576.93/577.28 c | 259229 | 3809 16449 50504 | 2147483647 112303 47 | 0.652 % |
577.63/577.96 c | 259464 | 3809 16449 50504 | 2147483647 112538 47 | 0.652 % |
578.43/578.77 c | 259720 | 3809 16449 50504 | 2147483647 112794 47 | 0.652 % |
579.33/579.61 c | 260002 | 3809 16449 50504 | 113074 113076 47 | 0.652 % |
580.13/580.45 c | 260311 | 3809 16449 50504 | 113074 113385 47 | 0.652 % |
581.23/581.54 c | 260651 | 3809 16449 50504 | 113074 98360 47 | 0.652 % |
582.13/582.40 c | 261024 | 3809 16449 50504 | 113074 98733 47 | 0.652 % |
583.22/583.58 c | 261433 | 3809 16449 50504 | 113074 99142 47 | 0.652 % |
584.42/584.70 c | 261882 | 3809 16449 50504 | 113074 99591 47 | 0.652 % |
585.52/585.89 c | 262376 | 3809 16449 50504 | 113074 100085 47 | 0.652 % |
587.22/587.50 c | 262918 | 3809 16449 50504 | 113074 100627 47 | 0.652 % |
588.92/589.24 c | 263515 | 3809 16449 50504 | 113074 101224 47 | 0.652 % |
590.72/591.05 c | 264171 | 3809 16449 50504 | 113074 101880 47 | 0.652 % |
592.62/592.93 c | 264891 | 3809 16449 50504 | 113074 102600 47 | 0.652 % |
594.62/594.96 c | 265684 | 3809 16449 50504 | 113074 103393 48 | 0.652 % |
596.62/596.96 c | 266557 | 3809 16449 50504 | 113074 104266 48 | 0.652 % |
599.02/599.36 c | 267515 | 3809 16449 50504 | 113074 105224 48 | 0.652 % |
601.52/601.88 c | 268568 | 3809 16449 50504 | 113074 106277 48 | 0.652 % |
604.51/604.87 c | 269726 | 3809 16449 50504 | 113074 107435 48 | 0.652 % |
608.31/608.61 c | 271000 | 3809 16449 50504 | 107710 95185 48 | 0.652 % |
611.71/612.04 c | 272401 | 3809 16449 50504 | 107710 96586 48 | 0.652 % |
615.11/615.44 c | 273943 | 3809 16449 50504 | 107710 98128 48 | 0.652 % |
619.80/620.11 c | 275638 | 3809 16449 50504 | 107710 99823 48 | 0.652 % |
624.60/624.99 c | 277502 | 3809 16449 50504 | 107710 101687 48 | 0.652 % |
630.30/630.66 c | 279551 | 3809 16449 50504 | 107710 103736 48 | 0.652 % |
636.00/636.32 c | 281805 | 3809 16449 50504 | 104187 90037 48 | 0.652 % |
642.80/643.19 c | 284283 | 3809 16449 50504 | 104187 92515 48 | 0.652 % |
650.19/650.58 c | 287008 | 3809 16449 50504 | 104187 95240 47 | 0.652 % |
650.49/650.81 c | 287109 | 3809 16449 50504 | 104187 95341 47 | 0.653 % |
650.80/651.14 c | 287219 | 3809 16449 50504 | 104187 95451 47 | 0.652 % |
650.99/651.39 c | 287341 | 3809 16449 50504 | 104187 95573 47 | 0.652 % |
651.39/651.71 c | 287475 | 3809 16449 50504 | 104187 95707 47 | 0.652 % |
651.69/652.06 c | 287622 | 3809 16449 50504 | 104187 95854 47 | 0.652 % |
652.19/652.52 c | 287782 | 3809 16449 50504 | 104187 96014 47 | 0.652 % |
652.59/652.90 c | 287959 | 3809 16449 50504 | 104187 96191 47 | 0.652 % |
653.09/653.43 c | 288153 | 3809 16449 50504 | 104187 96385 47 | 0.652 % |
653.59/653.98 c | 288365 | 3809 16449 50504 | 104187 96597 47 | 0.652 % |
654.29/654.67 c | 288600 | 3809 16449 50504 | 104187 96832 47 | 0.652 % |
654.99/655.36 c | 288857 | 3809 16449 50504 | 104187 97089 47 | 0.652 % |
655.79/656.13 c | 289141 | 3809 16449 50504 | 104187 97373 47 | 0.652 % |
656.49/656.86 c | 289451 | 3809 16449 50504 | 104187 97683 47 | 0.652 % |
657.39/657.76 c | 289790 | 3809 16449 50504 | 104187 98022 48 | 0.652 % |
658.29/658.61 c | 290163 | 3809 16449 50504 | 98232 98395 47 | 0.652 % |
659.49/659.87 c | 290573 | 3809 16449 50504 | 98232 86767 46 | 0.652 % |
660.49/660.86 c | 291022 | 3809 16449 50504 | 98232 87216 46 | 0.652 % |
661.59/661.98 c | 291515 | 3809 16449 50504 | 98232 87709 46 | 0.652 % |
662.99/663.34 c | 292057 | 3809 16449 50504 | 98232 88251 46 | 0.652 % |
664.68/665.07 c | 292654 | 3809 16449 50504 | 98232 88848 46 | 0.653 % |
666.38/666.74 c | 293309 | 3809 16449 50504 | 98232 89503 46 | 0.652 % |
667.98/668.33 c | 294029 | 3809 16449 50504 | 98232 90223 46 | 0.652 % |
669.78/670.12 c | 294823 | 3809 16449 50504 | 98232 91017 47 | 0.652 % |
671.78/672.16 c | 295696 | 3809 16449 50504 | 98232 91890 47 | 0.652 % |
674.18/674.54 c | 296655 | 3809 16449 50504 | 98232 92849 47 | 0.652 % |
676.48/676.84 c | 297709 | 3809 16449 50504 | 98232 93903 47 | 0.652 % |
678.88/679.29 c | 298867 | 3809 16449 50504 | 98232 95061 47 | 0.652 % |
681.98/682.32 c | 300141 | 3809 16449 50504 | 2147483647 96335 47 | 0.652 % |
685.98/686.35 c | 301542 | 3809 16449 50504 | 2147483647 97736 47 | 0.652 % |
689.38/689.76 c | 303082 | 3809 16449 50504 | 2147483647 99276 48 | 0.652 % |
692.68/693.09 c | 304779 | 3809 16449 50504 | 2147483647 100973 48 | 0.653 % |
697.87/698.20 c | 306643 | 3809 16449 50504 | 2147483647 102837 49 | 0.652 % |
703.17/703.55 c | 308692 | 3809 16449 50504 | 2147483647 104886 48 | 0.652 % |
709.77/710.19 c | 310945 | 3809 16449 50504 | 106195 92740 47 | 0.652 % |
715.87/716.20 c | 313424 | 3809 16449 50504 | 106195 95219 47 | 0.652 % |
723.76/724.17 c | 316150 | 3809 16449 50504 | 106195 97945 47 | 0.652 % |
732.16/732.59 c | 319148 | 3809 16449 50504 | 106195 100943 47 | 0.652 % |
732.46/732.84 c | 319250 | 3809 16449 50504 | 106195 101045 47 | 0.652 % |
732.76/733.12 c | 319361 | 3809 16449 50504 | 106195 101156 47 | 0.652 % |
733.06/733.48 c | 319483 | 3809 16449 50504 | 106195 101278 47 | 0.652 % |
733.46/733.83 c | 319616 | 3809 16449 50504 | 106195 101411 47 | 0.652 % |
733.76/734.13 c | 319763 | 3809 16449 50504 | 106195 101558 47 | 0.652 % |
734.26/734.62 c | 319924 | 3809 16449 50504 | 106195 101719 47 | 0.652 % |
734.66/735.07 c | 320100 | 3809 16449 50504 | 101796 101895 47 | 0.652 % |
735.56/735.97 c | 320295 | 3809 16449 50504 | 101796 90976 46 | 0.652 % |
736.26/736.61 c | 320507 | 3809 16449 50504 | 101796 91188 46 | 0.652 % |
736.76/737.13 c | 320742 | 3809 16449 50504 | 101796 91423 46 | 0.652 % |
737.45/737.80 c | 320998 | 3809 16449 50504 | 101796 91679 46 | 0.652 % |
738.05/738.44 c | 321279 | 3809 16449 50504 | 101796 91960 46 | 0.652 % |
738.76/739.19 c | 321588 | 3809 16449 50504 | 101796 92269 46 | 0.652 % |
739.65/740.03 c | 321927 | 3809 16449 50504 | 101796 92608 46 | 0.652 % |
740.55/740.98 c | 322300 | 3809 16449 50504 | 101796 92981 46 | 0.652 % |
741.75/742.14 c | 322710 | 3809 16449 50504 | 101796 93391 46 | 0.652 % |
742.95/743.38 c | 323161 | 3809 16449 50504 | 101796 93842 46 | 0.652 % |
744.26/744.66 c | 323654 | 3809 16449 50504 | 101796 94335 46 | 0.652 % |
745.75/746.10 c | 324196 | 3809 16449 50504 | 101796 94877 46 | 0.652 % |
747.15/747.51 c | 324792 | 3809 16449 50504 | 101796 95473 46 | 0.652 % |
748.65/749.06 c | 325448 | 3809 16449 50504 | 101796 96129 46 | 0.652 % |
750.35/750.73 c | 326171 | 3809 16449 50504 | 101796 96852 46 | 0.652 % |
752.05/752.46 c | 326963 | 3809 16449 50504 | 101796 97644 46 | 0.652 % |
753.85/754.27 c | 327835 | 3809 16449 50504 | 101796 98516 46 | 0.652 % |
756.25/756.70 c | 328794 | 3809 16449 50504 | 101796 99475 46 | 0.652 % |
758.85/759.26 c | 329848 | 3809 16449 50504 | 101796 100529 46 | 0.652 % |
761.85/762.21 c | 331007 | 3809 16449 50504 | 2147483647 101688 46 | 0.652 % |
765.04/765.42 c | 332281 | 3809 16449 50504 | 2147483647 102962 46 | 0.652 % |
768.55/768.94 c | 333681 | 3809 16449 50504 | 2147483647 104362 46 | 0.652 % |
771.84/772.29 c | 335221 | 3809 16449 50504 | 2147483647 105902 46 | 0.652 % |
776.34/776.75 c | 336918 | 3809 16449 50504 | 2147483647 107599 47 | 0.652 % |
781.14/781.57 c | 338781 | 3809 16449 50504 | 2147483647 109462 47 | 0.652 % |
787.25/787.69 c | 340830 | 3809 16449 50504 | 110682 97128 46 | 0.652 % |
793.14/793.59 c | 343083 | 3809 16449 50504 | 110682 99381 46 | 0.652 % |
799.14/799.52 c | 345561 | 3809 16449 50504 | 110682 101859 46 | 0.652 % |
805.74/806.17 c | 348289 | 3809 16449 50504 | 110682 104587 46 | 0.652 % |
813.33/813.78 c | 351287 | 3809 16449 50504 | 106300 95695 45 | 0.652 % |
822.93/823.35 c | 354583 | 3806 16437 50470 | 106300 98987 45 | 0.913 % |
823.13/823.58 c | 354684 | 3806 16437 50470 | 106300 99088 45 | 0.913 % |
823.43/823.90 c | 354796 | 3806 16437 50470 | 106300 99200 45 | 0.913 % |
823.83/824.21 c | 354917 | 3806 16437 50470 | 106300 99321 45 | 0.913 % |
824.13/824.54 c | 355050 | 3806 16437 50470 | 106300 99454 45 | 0.913 % |
824.43/824.86 c | 355197 | 3806 16437 50470 | 106300 99601 45 | 0.913 % |
824.73/825.15 c | 355358 | 3806 16437 50470 | 106300 99762 45 | 0.913 % |
825.13/825.58 c | 355536 | 3806 16437 50470 | 106300 99940 45 | 0.913 % |
825.63/826.08 c | 355730 | 3806 16437 50470 | 106300 100134 45 | 0.913 % |
826.13/826.59 c | 355943 | 3806 16437 50470 | 106300 100347 45 | 0.913 % |
826.83/827.28 c | 356177 | 3806 16437 50470 | 106300 100581 45 | 0.913 % |
827.72/828.14 c | 356434 | 3806 16437 50470 | 106300 100838 45 | 0.913 % |
828.42/828.85 c | 356715 | 3806 16437 50470 | 106300 101119 45 | 0.913 % |
829.22/829.69 c | 357026 | 3806 16437 50470 | 106300 101430 45 | 0.913 % |
830.13/830.58 c | 357365 | 3806 16437 50470 | 106300 101769 45 | 0.913 % |
831.32/831.76 c | 357737 | 3799 16408 50380 | 106300 102137 46 | 0.913 % |
832.42/832.86 c | 358147 | 3799 16408 50380 | 106300 102547 46 | 0.913 % |
833.72/834.16 c | 358596 | 3799 16408 50380 | 106300 102996 46 | 0.913 % |
834.92/835.31 c | 359091 | 3799 16408 50380 | 106300 103491 46 | 0.913 % |
836.32/836.70 c | 359633 | 3799 16408 50380 | 106300 104033 46 | 0.913 % |
837.72/838.14 c | 360230 | 3799 16408 50380 | 104400 104630 46 | 0.913 % |
839.72/840.16 c | 360886 | 3799 16408 50380 | 104400 93397 46 | 0.913 % |
841.62/842.00 c | 361607 | 3799 16408 50380 | 104400 94118 46 | 0.913 % |
843.62/844.00 c | 362400 | 3799 16408 50380 | 104400 94911 46 | 0.913 % |
845.92/846.30 c | 363272 | 3799 16408 50380 | 104400 95783 46 | 0.913 % |
848.31/848.77 c | 364230 | 3799 16408 50380 | 104400 96741 46 | 0.913 % |
850.81/851.22 c | 365285 | 3799 16408 50380 | 104400 97796 46 | 0.913 % |
853.81/854.27 c | 366444 | 3799 16408 50380 | 104400 98955 46 | 0.913 % |
857.21/857.61 c | 367720 | 3799 16408 50380 | 104400 100231 46 | 0.913 % |
860.81/861.24 c | 369122 | 3799 16408 50380 | 104400 101633 46 | 0.913 % |
864.61/865.02 c | 370662 | 3799 16408 50380 | 102511 103173 46 | 0.913 % |
869.21/869.62 c | 372357 | 3799 16408 50380 | 102511 91332 45 | 0.913 % |
873.81/874.24 c | 374221 | 3799 16408 50380 | 102511 93196 45 | 0.913 % |
878.80/879.24 c | 376271 | 3799 16408 50380 | 102511 95246 45 | 0.913 % |
884.60/885.02 c | 378526 | 3799 16408 50380 | 102511 97501 46 | 0.913 % |
891.40/891.81 c | 381005 | 3799 16408 50380 | 98975 87175 44 | 0.913 % |
896.90/897.33 c | 383731 | 3799 16408 50380 | 98975 89901 45 | 0.913 % |
904.59/905.02 c | 386728 | 3799 16408 50380 | 98975 92898 45 | 0.913 % |
912.99/913.45 c | 390025 | 3799 16408 50380 | 2147483647 96195 46 | 0.913 % |
921.79/922.22 c | 393650 | 3797 16398 50349 | 2147483647 99818 47 | 0.965 % |
921.89/922.37 c | 393750 | 3797 16398 50349 | 2147483647 99918 47 | 0.965 % |
922.19/922.67 c | 393864 | 3797 16398 50349 | 2147483647 100032 47 | 0.965 % |
922.39/922.89 c | 393986 | 3797 16398 50349 | 2147483647 100154 47 | 0.965 % |
922.69/923.18 c | 394119 | 3797 16398 50349 | 2147483647 100287 47 | 0.965 % |
923.09/923.51 c | 394266 | 3797 16398 50349 | 2147483647 100434 47 | 0.965 % |
923.49/923.92 c | 394427 | 3797 16398 50349 | 2147483647 100595 47 | 0.965 % |
923.89/924.36 c | 394603 | 3797 16398 50349 | 2147483647 100771 47 | 0.965 % |
924.39/924.80 c | 394797 | 3797 16398 50349 | 2147483647 100965 47 | 0.965 % |
924.79/925.28 c | 395011 | 3797 16398 50349 | 2147483647 101179 47 | 0.965 % |
925.29/925.79 c | 395245 | 3797 16398 50349 | 2147483647 101413 47 | 0.965 % |
925.99/926.43 c | 395501 | 3797 16398 50349 | 2147483647 101669 47 | 0.965 % |
926.69/927.16 c | 395782 | 3797 16398 50349 | 2147483647 101950 47 | 0.966 % |
927.49/927.93 c | 396091 | 3797 16398 50349 | 2147483647 102259 47 | 0.965 % |
928.38/928.80 c | 396431 | 3797 16398 50349 | 2147483647 102599 47 | 0.965 % |
929.38/929.85 c | 396803 | 3797 16398 50349 | 2147483647 102971 47 | 0.965 % |
930.48/930.94 c | 397212 | 3797 16398 50349 | 2147483647 103380 47 | 0.965 % |
931.58/932.06 c | 397662 | 3797 16398 50349 | 2147483647 103830 47 | 0.965 % |
932.88/933.33 c | 398156 | 3797 16398 50349 | 2147483647 104324 47 | 0.965 % |
934.38/934.84 c | 398699 | 3797 16398 50349 | 2147483647 104867 47 | 0.965 % |
935.98/936.42 c | 399296 | 3797 16398 50349 | 2147483647 105464 47 | 0.965 % |
938.08/938.53 c | 399951 | 3797 16398 50349 | 2147483647 106119 47 | 0.965 % |
940.38/940.85 c | 400671 | 3797 16398 50349 | 106168 92485 47 | 0.965 % |
942.18/942.66 c | 401463 | 3797 16398 50349 | 106168 93277 47 | 0.965 % |
944.68/945.12 c | 402335 | 3797 16398 50349 | 106168 94149 47 | 0.965 % |
947.08/947.53 c | 403295 | 3797 16398 50349 | 106168 95109 47 | 0.965 % |
949.88/950.31 c | 404349 | 3797 16398 50349 | 106168 96163 47 | 0.965 % |
952.77/953.23 c | 405507 | 3797 16398 50349 | 106168 97321 47 | 0.965 % |
955.48/955.95 c | 406780 | 3797 16398 50349 | 106168 98594 48 | 0.966 % |
958.57/959.10 c | 408182 | 3797 16398 50349 | 106168 99996 48 | 0.965 % |
961.17/961.63 c | 409724 | 3797 16398 50349 | 106168 101538 48 | 0.965 % |
964.97/965.44 c | 411419 | 3797 16398 50349 | 101814 89929 47 | 0.965 % |
968.57/969.05 c | 413282 | 3797 16398 50349 | 101814 91792 47 | 0.965 % |
973.37/973.87 c | 415332 | 3795 16390 50325 | 101814 93839 48 | 1.069 % |
978.96/979.47 c | 417586 | 3795 16390 50325 | 101814 96093 48 | 1.069 % |
985.46/985.93 c | 420064 | 3795 16390 50325 | 98511 98571 48 | 1.069 % |
991.86/992.30 c | 422790 | 3793 16381 50298 | 98511 91238 49 | 1.148 % |
998.46/998.92 c | 425787 | 3793 16381 50298 | 98511 94235 49 | 1.148 % |
1005.96/1006.45 c | 429083 | 3793 16381 50298 | 98511 97531 49 | 1.148 % |
1013.15/1013.65 c | 432710 | 3790 16371 50267 | 98450 88126 48 | 1.148 % |
1022.75/1023.23 c | 436699 | 3790 16371 50267 | 98450 92115 49 | 1.148 % |
1023.05/1023.51 c | 436799 | 3790 16371 50267 | 98450 92215 49 | 1.148 % |
1023.25/1023.75 c | 436910 | 3790 16371 50267 | 98450 92326 49 | 1.148 % |
1023.55/1024.03 c | 437031 | 3790 16371 50267 | 98450 92447 49 | 1.148 % |
1023.85/1024.32 c | 437164 | 3790 16371 50267 | 98450 92580 49 | 1.148 % |
1024.15/1024.69 c | 437312 | 3790 16371 50267 | 98450 92728 49 | 1.148 % |
1024.55/1025.06 c | 437473 | 3790 16371 50267 | 98450 92889 49 | 1.148 % |
1025.05/1025.55 c | 437649 | 3790 16371 50267 | 98450 93065 49 | 1.148 % |
1025.45/1025.98 c | 437844 | 3790 16371 50267 | 98450 93260 49 | 1.148 % |
1025.95/1026.40 c | 438057 | 3790 16371 50267 | 98450 93473 49 | 1.148 % |
1026.55/1027.05 c | 438291 | 3790 16371 50267 | 98450 93707 49 | 1.148 % |
1027.25/1027.71 c | 438547 | 3790 16371 50267 | 98450 93963 49 | 1.148 % |
1027.85/1028.33 c | 438828 | 3790 16371 50267 | 98450 94244 49 | 1.148 % |
1028.65/1029.19 c | 439139 | 3790 16371 50267 | 98450 94555 49 | 1.148 % |
1029.45/1029.94 c | 439478 | 3790 16371 50267 | 98450 94894 49 | 1.148 % |
1030.44/1030.95 c | 439850 | 3790 16371 50267 | 98450 95266 49 | 1.148 % |
1031.64/1032.13 c | 440260 | 3790 16371 50267 | 95416 95676 49 | 1.148 % |
1032.94/1033.42 c | 440709 | 3790 16371 50267 | 95416 84475 49 | 1.148 % |
1033.94/1034.49 c | 441203 | 3790 16371 50267 | 95416 84969 49 | 1.148 % |
1035.24/1035.78 c | 441746 | 3790 16371 50267 | 95416 85512 49 | 1.148 % |
1036.64/1037.17 c | 442342 | 3790 16371 50267 | 95416 86108 49 | 1.148 % |
1038.34/1038.80 c | 442998 | 3790 16371 50267 | 95416 86764 49 | 1.148 % |
1039.74/1040.28 c | 443719 | 3790 16371 50267 | 95416 87485 49 | 1.148 % |
1041.64/1042.19 c | 444511 | 3790 16371 50267 | 95416 88277 49 | 1.148 % |
1043.34/1043.85 c | 445383 | 3790 16371 50267 | 95416 89149 49 | 1.148 % |
1045.34/1045.85 c | 446342 | 3790 16371 50267 | 95416 90108 49 | 1.148 % |
1047.84/1048.30 c | 447396 | 3790 16371 50267 | 95416 91162 49 | 1.148 % |
1050.73/1051.21 c | 448555 | 3790 16371 50267 | 95416 92321 49 | 1.148 % |
1053.53/1054.02 c | 449828 | 3790 16371 50267 | 95416 93594 50 | 1.148 % |
1056.83/1057.33 c | 451228 | 3790 16371 50267 | 93767 85212 48 | 1.148 % |
1060.03/1060.51 c | 452769 | 3790 16371 50267 | 93767 86753 48 | 1.148 % |
1063.63/1064.19 c | 454464 | 3790 16371 50267 | 93767 88448 49 | 1.148 % |
1067.83/1068.35 c | 456329 | 3790 16371 50267 | 93767 90313 49 | 1.148 % |
1072.33/1072.83 c | 458378 | 3790 16371 50267 | 93767 92362 49 | 1.148 % |
1077.44/1077.95 c | 460633 | 3790 16371 50267 | 2147483647 94617 49 | 1.148 % |
1082.03/1082.55 c | 463111 | 3790 16371 50267 | 2147483647 97095 49 | 1.148 % |
1089.43/1089.94 c | 465836 | 3790 16371 50267 | 2147483647 99820 49 | 1.148 % |
1097.12/1097.69 c | 468834 | 3790 16371 50267 | 2147483647 102818 49 | 1.148 % |
1106.52/1107.10 c | 472130 | 3790 16371 50267 | 103984 89836 47 | 1.148 % |
1117.72/1118.27 c | 475755 | 3790 16371 50267 | 103984 93461 47 | 1.148 % |
1129.22/1129.72 c | 479742 | 3790 16371 50267 | 103984 97448 48 | 1.148 % |
1140.51/1141.06 c | 484128 | 3790 16371 50267 | 97707 88386 45 | 1.148 % |
1140.81/1141.31 c | 484228 | 3790 16371 50267 | 97707 88486 45 | 1.148 % |
1141.11/1141.62 c | 484340 | 3790 16371 50267 | 97707 88598 45 | 1.148 % |
1141.41/1141.97 c | 484461 | 3790 16371 50267 | 97707 88719 45 | 1.148 % |
1141.81/1142.36 c | 484594 | 3790 16371 50267 | 97707 88852 45 | 1.148 % |
1142.31/1142.84 c | 484741 | 3790 16371 50267 | 97707 88999 46 | 1.148 % |
1142.81/1143.39 c | 484901 | 3790 16371 50267 | 97707 89159 46 | 1.148 % |
1143.31/1143.82 c | 485078 | 3790 16371 50267 | 97707 89336 46 | 1.148 % |
1143.71/1144.29 c | 485271 | 3790 16371 50267 | 97707 89529 46 | 1.148 % |
1144.31/1144.90 c | 485485 | 3790 16371 50267 | 97707 89743 46 | 1.148 % |
1144.91/1145.49 c | 485718 | 3790 16371 50267 | 97707 89976 46 | 1.148 % |
1145.61/1146.13 c | 485975 | 3790 16371 50267 | 97707 90233 46 | 1.148 % |
1146.30/1146.83 c | 486257 | 3790 16371 50267 | 97707 90515 46 | 1.148 % |
1147.00/1147.58 c | 486569 | 3790 16371 50267 | 97707 90827 46 | 1.148 % |
1147.91/1148.41 c | 486909 | 3790 16371 50267 | 97707 91167 46 | 1.148 % |
1148.80/1149.31 c | 487282 | 3790 16371 50267 | 97707 91540 46 | 1.148 % |
1149.80/1150.33 c | 487691 | 3790 16371 50267 | 97707 91949 46 | 1.148 % |
1150.80/1151.31 c | 488141 | 3790 16371 50267 | 97707 92399 46 | 1.148 % |
1152.00/1152.50 c | 488635 | 3790 16371 50267 | 97707 92893 46 | 1.148 % |
1153.30/1153.81 c | 489178 | 3790 16371 50267 | 97707 93436 46 | 1.148 % |
1154.80/1155.35 c | 489774 | 3790 16371 50267 | 97707 94032 46 | 1.148 % |
1156.80/1157.30 c | 490429 | 3790 16371 50267 | 94258 83549 45 | 1.148 % |
1158.50/1159.04 c | 491150 | 3790 16371 50267 | 94258 84270 45 | 1.148 % |
1160.40/1160.94 c | 491943 | 3790 16371 50267 | 94258 85063 45 | 1.148 % |
1162.40/1162.93 c | 492814 | 3790 16371 50267 | 94258 85934 45 | 1.148 % |
1164.59/1165.14 c | 493773 | 3790 16371 50267 | 94258 86893 45 | 1.148 % |
1166.89/1167.40 c | 494826 | 3790 16371 50267 | 94258 87946 45 | 1.148 % |
1169.59/1170.12 c | 495985 | 3790 16371 50267 | 94258 89105 45 | 1.148 % |
1172.79/1173.34 c | 497258 | 3790 16371 50267 | 94258 90378 45 | 1.148 % |
1176.40/1176.91 c | 498659 | 3790 16371 50267 | 94258 91779 45 | 1.148 % |
1180.69/1181.24 c | 500200 | 3790 16371 50267 | 2147483647 93320 45 | 1.148 % |
1184.89/1185.47 c | 501895 | 3789 16365 50249 | 2147483647 95011 45 | 1.304 % |
1189.69/1190.21 c | 503759 | 3789 16365 50249 | 2147483647 96875 45 | 1.304 % |
1195.28/1195.87 c | 505809 | 3789 16365 50249 | 2147483647 98925 46 | 1.304 % |
1200.09/1200.61 HOME/SatELiteGTI: line 36: 411 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-1832291-1242771540/watcher-1832291-1242771540 -o /tmp/evaluation-result-1832291-1242771540/solver-1832291-1242771540 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832291-1242771540.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: 0.92 0.98 0.93 3/64 405
/proc/meminfo: memFree=1761768/2055920 swapFree=4179908/4192956
[pid=405] ppid=403 vsize=5356 CPUtime=0
/proc/405/stat : 405 (SatELiteGTI) S 403 405 32712 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 305180785 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 271894413394 0 0 4100 65536 18446744071563648864 0 0 17 1 0 0
/proc/405/statm: 1339 235 195 169 0 50 0
[pid=406] ppid=405 vsize=5356 CPUtime=0
/proc/406/stat : 406 (SatELiteGTI) S 405 405 32712 0 -1 4194368 51 25 0 0 0 0 0 0 18 0 1 0 305180785 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 271894242116 0 65536 4096 65538 18446744071563356171 0 0 17 1 0 0
/proc/406/statm: 1339 238 198 169 0 50 0
[pid=408] ppid=406 vsize=0 CPUtime=0
/proc/408/stat : 408 (sed) R 406 405 32712 0 -1 4194308 163 0 0 0 0 0 0 0 21 0 1 0 305180785 0 0 1992294400 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/408/statm: 0 0 0 0 0 0 0
[startup+0.0875481 s]
/proc/loadavg: 0.92 0.98 0.93 3/64 405
/proc/meminfo: memFree=1761768/2055920 swapFree=4179908/4192956
[pid=405] ppid=403 vsize=5356 CPUtime=0
/proc/405/stat : 405 (SatELiteGTI) S 403 405 32712 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305180785 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 271894242116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/405/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101546 s]
/proc/loadavg: 0.92 0.98 0.93 3/64 405
/proc/meminfo: memFree=1761768/2055920 swapFree=4179908/4192956
[pid=405] ppid=403 vsize=5356 CPUtime=0
/proc/405/stat : 405 (SatELiteGTI) S 403 405 32712 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305180785 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 271894242116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/405/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301575 s]
/proc/loadavg: 0.92 0.98 0.93 3/64 405
/proc/meminfo: memFree=1761768/2055920 swapFree=4179908/4192956
[pid=405] ppid=403 vsize=5356 CPUtime=0.13
/proc/405/stat : 405 (SatELiteGTI) S 403 405 32712 0 -1 4194304 336 1189 0 0 0 0 12 1 16 0 1 0 305180785 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271894242116 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/405/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 5356
[startup+0.701646 s]
/proc/loadavg: 0.92 0.98 0.93 3/64 405
/proc/meminfo: memFree=1761768/2055920 swapFree=4179908/4192956
[pid=405] ppid=403 vsize=5356 CPUtime=0.13
/proc/405/stat : 405 (SatELiteGTI) S 403 405 32712 0 -1 4194304 336 1189 0 0 0 0 12 1 16 0 1 0 305180785 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271894242116 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/405/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 5356
[startup+1.50179 s]
/proc/loadavg: 0.92 0.98 0.93 2/66 411
/proc/meminfo: memFree=1759384/2055920 swapFree=4179908/4192956
[pid=405] ppid=403 vsize=5356 CPUtime=0.13
/proc/405/stat : 405 (SatELiteGTI) S 403 405 32712 0 -1 4194304 336 1189 0 0 0 0 12 1 16 0 1 0 305180785 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271894242116 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/405/statm: 1339 239 197 169 0 50 0
[pid=411] ppid=405 vsize=3292 CPUtime=1.35
/proc/411/stat : 411 (minisat_static) R 405 405 32712 0 -1 4194304 532 0 0 0 135 0 0 0 25 0 1 0 305180799 3371008 518 1992294400 134512640 135215339 4294956256 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/411/statm: 823 518 76 171 0 650 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 8648
[startup+3.10107 s]
/proc/loadavg: 0.92 0.98 0.93 2/66 411
/proc/meminfo: memFree=1758936/2055920 swapFree=4179908/4192956
[pid=405] ppid=403 vsize=5356 CPUtime=0.13
/proc/405/stat : 405 (SatELiteGTI) S 403 405 32712 0 -1 4194304 336 1189 0 0 0 0 12 1 16 0 1 0 305180785 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271894242116 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/405/statm: 1339 239 197 169 0 50 0
[pid=411] ppid=405 vsize=3832 CPUtime=2.95
/proc/411/stat : 411 (minisat_static) R 405 405 32712 0 -1 4194304 654 0 0 0 295 0 0 0 25 0 1 0 305180799 3923968 640 1992294400 134512640 135215339 4294956256 18446744073709551615 134544549 0 0 4096 3 0 0 0 17 1 0 0
/proc/411/statm: 958 640 76 171 0 785 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 9188
[startup+6.30165 s]
/proc/loadavg: 0.93 0.98 0.93 2/66 411
/proc/meminfo: memFree=1758432/2055920 swapFree=4179908/4192956
[pid=405] ppid=403 vsize=5356 CPUtime=0.13
/proc/405/stat : 405 (SatELiteGTI) S 403 405 32712 0 -1 4194304 336 1189 0 0 0 0 12 1 16 0 1 0 305180785 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271894242116 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/405/statm: 1339 239 197 169 0 50 0
[pid=411] ppid=405 vsize=4096 CPUtime=6.14
/proc/411/stat : 411 (minisat_static) R 405 405 32712 0 -1 4194304 722 0 0 0 614 0 0 0 25 0 1 0 305180799 4194304 708 1992294400 134512640 135215339 4294956256 18446744073709551615 134528881 0 0 4096 3 0 0 0 17 1 0 0
/proc/411/statm: 1024 708 76 171 0 851 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 9452
[startup+12.7028 s]
/proc/loadavg: 0.93 0.98 0.93 2/66 411
/proc/meminfo: memFree=1756768/2055920 swapFree=4179908/4192956
[pid=405] ppid=403 vsize=5356 CPUtime=0.13
/proc/405/stat : 405 (SatELiteGTI) S 403 405 32712 0 -1 4194304 336 1189 0 0 0 0 12 1 16 0 1 0 305180785 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271894242116 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/405/statm: 1339 239 197 169 0 50 0
[pid=411] ppid=405 vsize=5684 CPUtime=12.54
/proc/411/stat : 411 (minisat_static) R 405 405 32712 0 -1 4194304 1131 0 0 0 1253 1 0 0 25 0 1 0 305180799 5820416 1117 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/411/statm: 1421 1117 76 171 0 1248 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 11040
[startup+25.5011 s]
/proc/loadavg: 0.95 0.98 0.93 2/66 411
/proc/meminfo: memFree=1754464/2055920 swapFree=4179908/4192956
[pid=405] ppid=403 vsize=5356 CPUtime=0.13
/proc/405/stat : 405 (SatELiteGTI) S 403 405 32712 0 -1 4194304 336 1189 0 0 0 0 12 1 16 0 1 0 305180785 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271894242116 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/405/statm: 1339 239 197 169 0 50 0
[pid=411] ppid=405 vsize=7860 CPUtime=25.32
/proc/411/stat : 411 (minisat_static) R 405 405 32712 0 -1 4194304 1673 0 0 0 2531 1 0 0 25 0 1 0 305180799 8048640 1659 1992294400 134512640 135215339 4294956256 18446744073709551615 134532970 0 0 4096 3 0 0 0 17 1 0 0
/proc/411/statm: 1965 1659 76 171 0 1792 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 13216
[startup+51.1017 s]
/proc/loadavg: 0.96 0.98 0.93 2/66 411
/proc/meminfo: memFree=1751072/2055920 swapFree=4179908/4192956
[pid=405] ppid=403 vsize=5356 CPUtime=0.13
/proc/405/stat : 405 (SatELiteGTI) S 403 405 32712 0 -1 4194304 336 1189 0 0 0 0 12 1 16 0 1 0 305180785 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271894242116 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/405/statm: 1339 239 197 169 0 50 0
[pid=411] ppid=405 vsize=11248 CPUtime=50.91
/proc/411/stat : 411 (minisat_static) R 405 405 32712 0 -1 4194304 2508 0 0 0 5089 2 0 0 25 0 1 0 305180799 11517952 2494 1992294400 134512640 135215339 4294956256 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/411/statm: 2812 2494 76 171 0 2639 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 16604
[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.93 2/66 411
/proc/meminfo: memFree=1745312/2055920 swapFree=4179908/4192956
[pid=405] ppid=403 vsize=5356 CPUtime=0.13
/proc/405/stat : 405 (SatELiteGTI) S 403 405 32712 0 -1 4194304 336 1189 0 0 0 0 12 1 16 0 1 0 305180785 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271894242116 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/405/statm: 1339 239 197 169 0 50 0
[pid=411] ppid=405 vsize=17040 CPUtime=102.09
/proc/411/stat : 411 (minisat_static) R 405 405 32712 0 -1 4194304 3932 0 0 0 10204 5 0 0 25 0 1 0 305180799 17448960 3918 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/411/statm: 4260 3918 76 171 0 4087 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 22396
[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.93 2/66 411
/proc/meminfo: memFree=1740704/2055920 swapFree=4179908/4192956
[pid=405] ppid=403 vsize=5356 CPUtime=0.13
/proc/405/stat : 405 (SatELiteGTI) S 403 405 32712 0 -1 4194304 336 1189 0 0 0 0 12 1 16 0 1 0 305180785 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271894242116 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/405/statm: 1339 239 197 169 0 50 0
[pid=411] ppid=405 vsize=21768 CPUtime=162.05
/proc/411/stat : 411 (minisat_static) R 405 405 32712 0 -1 4194304 5083 0 0 0 16198 7 0 0 25 0 1 0 305180799 22290432 5069 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/411/statm: 5442 5069 76 171 0 5269 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 27124
[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.93 2/66 411
/proc/meminfo: memFree=1736800/2055920 swapFree=4179908/4192956
[pid=405] ppid=403 vsize=5356 CPUtime=0.13
/proc/405/stat : 405 (SatELiteGTI) S 403 405 32712 0 -1 4194304 336 1189 0 0 0 0 12 1 16 0 1 0 305180785 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271894242116 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/405/statm: 1339 239 197 169 0 50 0
[pid=411] ppid=405 vsize=25408 CPUtime=222.02
/proc/411/stat : 411 (minisat_static) R 405 405 32712 0 -1 4194304 6008 0 0 0 22195 7 0 0 25 0 1 0 305180799 26017792 5994 1992294400 134512640 135215339 4294956256 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/411/statm: 6352 5994 76 171 0 6179 0
Current children cumulated CPU time (s) 222.15
Current children cumulated vsize (KiB) 30764
[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.93 2/66 411
/proc/meminfo: memFree=1736352/2055920 swapFree=4179908/4192956
[pid=405] ppid=403 vsize=5356 CPUtime=0.13
/proc/405/stat : 405 (SatELiteGTI) S 403 405 32712 0 -1 4194304 336 1189 0 0 0 0 12 1 16 0 1 0 305180785 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271894242116 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/405/statm: 1339 239 197 169 0 50 0
[pid=411] ppid=405 vsize=25948 CPUtime=282.01
/proc/411/stat : 411 (minisat_static) R 405 405 32712 0 -1 4194304 6104 0 0 0 28193 8 0 0 25 0 1 0 305180799 26570752 6090 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/411/statm: 6487 6090 76 171 0 6314 0
Current children cumulated CPU time (s) 282.14
Current children cumulated vsize (KiB) 31304
[startup+342.303 s]
/proc/loadavg: 0.99 0.98 0.93 2/66 411
/proc/meminfo: memFree=1736168/2055920 swapFree=4179908/4192956
[pid=405] ppid=403 vsize=5356 CPUtime=0.13
/proc/405/stat : 405 (SatELiteGTI) S 403 405 32712 0 -1 4194304 336 1189 0 0 0 0 12 1 16 0 1 0 305180785 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271894242116 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/405/statm: 1339 239 197 169 0 50 0
[pid=411] ppid=405 vsize=25948 CPUtime=341.98
/proc/411/stat : 411 (minisat_static) R 405 405 32712 0 -1 4194304 6125 0 0 0 34190 8 0 0 25 0 1 0 305180799 26570752 6111 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/411/statm: 6487 6111 76 171 0 6314 0
Current children cumulated CPU time (s) 342.11
Current children cumulated vsize (KiB) 31304
[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.93 2/66 411
/proc/meminfo: memFree=1736040/2055920 swapFree=4179908/4192956
[pid=405] ppid=403 vsize=5356 CPUtime=0.13
/proc/405/stat : 405 (SatELiteGTI) S 403 405 32712 0 -1 4194304 336 1189 0 0 0 0 12 1 16 0 1 0 305180785 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271894242116 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/405/statm: 1339 239 197 169 0 50 0
[pid=411] ppid=405 vsize=25948 CPUtime=401.97
################
# More data... #
################
[pid=411] ppid=405 vsize=27008 CPUtime=461.93
/proc/411/stat : 411 (minisat_static) R 405 405 32712 0 -1 4194304 6392 0 0 0 46184 9 0 0 25 0 1 0 305180799 27656192 6378 1992294400 134512640 135215339 4294956256 18446744073709551615 134529119 0 0 4096 3 0 0 0 17 1 0 0
/proc/411/statm: 6752 6378 76 171 0 6579 0
Current children cumulated CPU time (s) 462.06
Current children cumulated vsize (KiB) 32364
[startup+522.302 s]
/proc/loadavg: 1.02 1.00 0.94 2/66 411
/proc/meminfo: memFree=1734120/2055920 swapFree=4179908/4192956
[pid=405] ppid=403 vsize=5356 CPUtime=0.13
/proc/405/stat : 405 (SatELiteGTI) S 403 405 32712 0 -1 4194304 336 1189 0 0 0 0 12 1 16 0 1 0 305180785 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271894242116 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/405/statm: 1339 239 197 169 0 50 0
[pid=411] ppid=405 vsize=27728 CPUtime=521.92
/proc/411/stat : 411 (minisat_static) R 405 405 32712 0 -1 4194304 6554 0 0 0 52182 10 0 0 25 0 1 0 305180799 28393472 6540 1992294400 134512640 135215339 4294956256 18446744073709551615 134528714 0 0 4096 3 0 0 0 17 1 0 0
/proc/411/statm: 6932 6540 76 171 0 6759 0
Current children cumulated CPU time (s) 522.05
Current children cumulated vsize (KiB) 33084
[startup+582.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 411
/proc/meminfo: memFree=1731816/2055920 swapFree=4179908/4192956
[pid=405] ppid=403 vsize=5356 CPUtime=0.13
/proc/405/stat : 405 (SatELiteGTI) S 403 405 32712 0 -1 4194304 336 1189 0 0 0 0 12 1 16 0 1 0 305180785 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271894242116 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/405/statm: 1339 239 197 169 0 50 0
[pid=411] ppid=405 vsize=29976 CPUtime=581.9
/proc/411/stat : 411 (minisat_static) R 405 405 32712 0 -1 4194304 7110 0 0 0 58179 11 0 0 25 0 1 0 305180799 30695424 7096 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/411/statm: 7494 7096 76 171 0 7321 0
Current children cumulated CPU time (s) 582.03
Current children cumulated vsize (KiB) 35332
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 411
/proc/meminfo: memFree=1731752/2055920 swapFree=4179908/4192956
[pid=405] ppid=403 vsize=5356 CPUtime=0.13
/proc/405/stat : 405 (SatELiteGTI) S 403 405 32712 0 -1 4194304 336 1189 0 0 0 0 12 1 16 0 1 0 305180785 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271894242116 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/405/statm: 1339 239 197 169 0 50 0
[pid=411] ppid=405 vsize=29976 CPUtime=641.87
/proc/411/stat : 411 (minisat_static) R 405 405 32712 0 -1 4194304 7112 0 0 0 64176 11 0 0 25 0 1 0 305180799 30695424 7098 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/411/statm: 7494 7098 76 171 0 7321 0
Current children cumulated CPU time (s) 642
Current children cumulated vsize (KiB) 35332
[startup+702.301 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 411
/proc/meminfo: memFree=1731560/2055920 swapFree=4179908/4192956
[pid=405] ppid=403 vsize=5356 CPUtime=0.13
/proc/405/stat : 405 (SatELiteGTI) S 403 405 32712 0 -1 4194304 336 1189 0 0 0 0 12 1 16 0 1 0 305180785 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271894242116 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/405/statm: 1339 239 197 169 0 50 0
[pid=411] ppid=405 vsize=30152 CPUtime=701.84
/proc/411/stat : 411 (minisat_static) R 405 405 32712 0 -1 4194304 7143 0 0 0 70173 11 0 0 25 0 1 0 305180799 30875648 7129 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/411/statm: 7538 7129 76 171 0 7365 0
Current children cumulated CPU time (s) 701.97
Current children cumulated vsize (KiB) 35508
[startup+762.306 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 411
/proc/meminfo: memFree=1731304/2055920 swapFree=4179908/4192956
[pid=405] ppid=403 vsize=5356 CPUtime=0.13
/proc/405/stat : 405 (SatELiteGTI) S 403 405 32712 0 -1 4194304 336 1189 0 0 0 0 12 1 16 0 1 0 305180785 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271894242116 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/405/statm: 1339 239 197 169 0 50 0
[pid=411] ppid=405 vsize=30152 CPUtime=761.82
/proc/411/stat : 411 (minisat_static) R 405 405 32712 0 -1 4194304 7168 0 0 0 76171 11 0 0 25 0 1 0 305180799 30875648 7154 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/411/statm: 7538 7154 76 171 0 7365 0
Current children cumulated CPU time (s) 761.95
Current children cumulated vsize (KiB) 35508
[startup+822.302 s]
/proc/loadavg: 1.03 1.01 0.94 2/66 411
/proc/meminfo: memFree=1731176/2055920 swapFree=4179908/4192956
[pid=405] ppid=403 vsize=5356 CPUtime=0.13
/proc/405/stat : 405 (SatELiteGTI) S 403 405 32712 0 -1 4194304 336 1189 0 0 0 0 12 1 16 0 1 0 305180785 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271894242116 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/405/statm: 1339 239 197 169 0 50 0
[pid=411] ppid=405 vsize=30152 CPUtime=821.8
/proc/411/stat : 411 (minisat_static) R 405 405 32712 0 -1 4194304 7172 0 0 0 82168 12 0 0 25 0 1 0 305180799 30875648 7158 1992294400 134512640 135215339 4294956256 18446744073709551615 134528592 0 0 4096 3 0 0 0 17 1 0 0
/proc/411/statm: 7538 7158 76 171 0 7365 0
Current children cumulated CPU time (s) 821.93
Current children cumulated vsize (KiB) 35508
[startup+882.301 s]
/proc/loadavg: 1.01 1.01 0.94 2/66 411
/proc/meminfo: memFree=1731112/2055920 swapFree=4179908/4192956
[pid=405] ppid=403 vsize=5356 CPUtime=0.13
/proc/405/stat : 405 (SatELiteGTI) S 403 405 32712 0 -1 4194304 336 1189 0 0 0 0 12 1 16 0 1 0 305180785 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271894242116 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/405/statm: 1339 239 197 169 0 50 0
[pid=411] ppid=405 vsize=30152 CPUtime=881.77
/proc/411/stat : 411 (minisat_static) R 405 405 32712 0 -1 4194304 7173 0 0 0 88165 12 0 0 25 0 1 0 305180799 30875648 7159 1992294400 134512640 135215339 4294956256 18446744073709551615 134529350 0 0 4096 3 0 0 0 17 1 0 0
/proc/411/statm: 7538 7159 76 171 0 7365 0
Current children cumulated CPU time (s) 881.9
Current children cumulated vsize (KiB) 35508
[startup+942.301 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 411
/proc/meminfo: memFree=1730984/2055920 swapFree=4179908/4192956
[pid=405] ppid=403 vsize=5356 CPUtime=0.13
/proc/405/stat : 405 (SatELiteGTI) S 403 405 32712 0 -1 4194304 336 1189 0 0 0 0 12 1 16 0 1 0 305180785 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271894242116 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/405/statm: 1339 239 197 169 0 50 0
[pid=411] ppid=405 vsize=30332 CPUtime=941.75
/proc/411/stat : 411 (minisat_static) R 405 405 32712 0 -1 4194304 7187 0 0 0 94163 12 0 0 25 0 1 0 305180799 31059968 7173 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/411/statm: 7583 7173 76 171 0 7410 0
Current children cumulated CPU time (s) 941.88
Current children cumulated vsize (KiB) 35688
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 411
/proc/meminfo: memFree=1730856/2055920 swapFree=4179908/4192956
[pid=405] ppid=403 vsize=5356 CPUtime=0.13
/proc/405/stat : 405 (SatELiteGTI) S 403 405 32712 0 -1 4194304 336 1189 0 0 0 0 12 1 16 0 1 0 305180785 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271894242116 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/405/statm: 1339 239 197 169 0 50 0
[pid=411] ppid=405 vsize=30332 CPUtime=1001.72
/proc/411/stat : 411 (minisat_static) R 405 405 32712 0 -1 4194304 7187 0 0 0 100160 12 0 0 25 0 1 0 305180799 31059968 7173 1992294400 134512640 135215339 4294956256 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 1 0 0
/proc/411/statm: 7583 7173 76 171 0 7410 0
Current children cumulated CPU time (s) 1001.85
Current children cumulated vsize (KiB) 35688
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 411
/proc/meminfo: memFree=1730792/2055920 swapFree=4179908/4192956
[pid=405] ppid=403 vsize=5356 CPUtime=0.13
/proc/405/stat : 405 (SatELiteGTI) S 403 405 32712 0 -1 4194304 336 1189 0 0 0 0 12 1 16 0 1 0 305180785 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271894242116 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/405/statm: 1339 239 197 169 0 50 0
[pid=411] ppid=405 vsize=30332 CPUtime=1061.7
/proc/411/stat : 411 (minisat_static) R 405 405 32712 0 -1 4194304 7187 0 0 0 106158 12 0 0 25 0 1 0 305180799 31059968 7173 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/411/statm: 7583 7173 76 171 0 7410 0
Current children cumulated CPU time (s) 1061.83
Current children cumulated vsize (KiB) 35688
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 411
/proc/meminfo: memFree=1730728/2055920 swapFree=4179908/4192956
[pid=405] ppid=403 vsize=5356 CPUtime=0.13
/proc/405/stat : 405 (SatELiteGTI) S 403 405 32712 0 -1 4194304 336 1189 0 0 0 0 12 1 16 0 1 0 305180785 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271894242116 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/405/statm: 1339 239 197 169 0 50 0
[pid=411] ppid=405 vsize=30332 CPUtime=1121.68
/proc/411/stat : 411 (minisat_static) R 405 405 32712 0 -1 4194304 7187 0 0 0 112155 13 0 0 25 0 1 0 305180799 31059968 7173 1992294400 134512640 135215339 4294956256 18446744073709551615 134525079 0 0 4096 3 0 0 0 17 1 0 0
/proc/411/statm: 7583 7173 76 171 0 7410 0
Current children cumulated CPU time (s) 1121.81
Current children cumulated vsize (KiB) 35688
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 411
/proc/meminfo: memFree=1730600/2055920 swapFree=4179908/4192956
[pid=405] ppid=403 vsize=5356 CPUtime=0.13
/proc/405/stat : 405 (SatELiteGTI) S 403 405 32712 0 -1 4194304 336 1189 0 0 0 0 12 1 16 0 1 0 305180785 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271894242116 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/405/statm: 1339 239 197 169 0 50 0
[pid=411] ppid=405 vsize=30332 CPUtime=1181.66
/proc/411/stat : 411 (minisat_static) R 405 405 32712 0 -1 4194304 7187 0 0 0 118153 13 0 0 25 0 1 0 305180799 31059968 7173 1992294400 134512640 135215339 4294956256 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/411/statm: 7583 7173 76 171 0 7410 0
Current children cumulated CPU time (s) 1181.79
Current children cumulated vsize (KiB) 35688
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.6 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 411
/proc/meminfo: memFree=1730600/2055920 swapFree=4179908/4192956
[pid=405] ppid=403 vsize=5356 CPUtime=0.13
/proc/405/stat : 405 (SatELiteGTI) S 403 405 32712 0 -1 4194304 336 1189 0 0 0 0 12 1 16 0 1 0 305180785 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271894242116 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/405/statm: 1339 239 197 169 0 50 0
[pid=411] ppid=405 vsize=30332 CPUtime=1199.96
/proc/411/stat : 411 (minisat_static) R 405 405 32712 0 -1 4194304 7187 0 0 0 119983 13 0 0 25 0 1 0 305180799 31059968 7173 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/411/statm: 7583 7173 76 171 0 7410 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 35688
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.61
CPU time (s): 1200.11
CPU user time (s): 1199.96
CPU system time (s): 0.152976
CPU usage (%): 99.9583
Max. virtual memory (cumulated for all children) (KiB): 35688
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.96
system time used= 0.152976
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8721
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= 26
involuntary context switches= 4396
runsolver used 1.42278 second user time and 2.97855 second system time
The end
Begin job on node60 at 2009-05-20 00:19:00
IDJOB=1832291
IDBENCH=24694
IDSOLVER=671
FILE ID=node60/1832291-1242771540
PBS_JOBID= 9322241
Free space on /tmp= 66384 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT07/crafted/Hard/contest03/others/999999000001nw.sat05-447.reshuffled-07.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832291-1242771540/watcher-1832291-1242771540 -o /tmp/evaluation-result-1832291-1242771540/solver-1832291-1242771540 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832291-1242771540.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 8bbab1b2b788407ca952856a1e2edded
RANDOM SEED=192800022
node60.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.256
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.256
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1762248 kB
Buffers: 13120 kB
Cached: 241312 kB
SwapCached: 7164 kB
Active: 44584 kB
Inactive: 218632 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1762248 kB
SwapTotal: 4192956 kB
SwapFree: 4179908 kB
Dirty: 1916 kB
Writeback: 0 kB
Mapped: 13984 kB
Slab: 16420 kB
Committed_AS: 1028848 kB
PageTables: 1452 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66380 MiB
End job on node60 at 2009-05-20 00:39:03