0.00/0.02 c Parsing...
0.00/0.32 c ==============================================================================
0.00/0.32 c | | ORIGINAL | LEARNT | |
0.00/0.32 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.32 c ==============================================================================
0.00/0.32 c | 0 | 373870 911122 | 112160 0 0 nan | 0.000 % |
4.19/5.49 c | 0 | 183363 759436 | -- 0 -- -- | -- | -190507/-151686
4.19/5.49 c ==============================================================================
4.19/5.49 c Result : #vars: 14569 #clauses: 183363 #literals: 759436
4.19/5.49 c CPU time: 4.17136 s
4.19/5.49 c ==============================================================================
4.52/6.52 c This is MiniSat 2.0 beta
4.52/6.52 c WARNING: for repeatability, setting FPU to use double precision
4.52/6.52 c ============================[ Problem Statistics ]=============================
4.52/6.52 c | |
4.52/6.52 c | Number of variables: 14569 |
4.52/6.52 c | Number of clauses: 183363 |
4.54/6.65 c | Parsing time: 0.11 s |
4.54/6.66 c ============================[ Search Statistics ]==============================
4.54/6.66 c | Conflicts | ORIGINAL | LEARNT | Progress |
4.54/6.66 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
4.54/6.66 c ===============================================================================
4.54/6.66 c | 0 | 14569 183363 759436 | 61121 0 nan | 0.000 % |
4.54/6.75 c | 101 | 14569 183363 759436 | 61121 101 12 | 0.000 % |
4.54/6.79 c | 201 | 14569 183363 759436 | 61121 201 18 | 0.000 % |
4.54/6.85 c | 306 | 14569 183363 759436 | 61121 306 18 | 0.000 % |
4.54/6.89 c | 417 | 14569 183363 759436 | 61121 417 17 | 0.000 % |
4.54/6.95 c | 518 | 14569 183363 759436 | 61121 518 17 | 0.000 % |
4.54/7.02 c | 629 | 14569 183363 759436 | 61121 629 16 | 0.000 % |
4.54/7.11 c | 750 | 14569 183363 759436 | 61121 750 16 | 0.000 % |
4.54/7.22 c | 850 | 14569 183363 759436 | 61121 850 17 | 0.000 % |
4.54/7.27 c | 962 | 14569 183363 759436 | 61121 962 17 | 0.000 % |
4.54/7.32 c | 1083 | 14569 183363 759436 | 61121 1083 17 | 0.000 % |
4.54/7.38 c | 1219 | 14569 183363 759436 | 61121 1219 18 | 0.000 % |
4.54/7.42 c | 1321 | 14569 183363 759436 | 61121 1321 18 | 0.000 % |
4.54/7.49 c | 1433 | 14569 183363 759436 | 61121 1433 18 | 0.000 % |
4.54/7.56 c | 1554 | 14569 183363 759436 | 61121 1554 18 | 0.000 % |
5.60/7.66 c | 1688 | 14569 183363 759436 | 61121 1688 18 | 0.000 % |
5.70/7.72 c | 1834 | 14569 183363 759436 | 61121 1834 19 | 0.000 % |
5.70/7.76 c | 1937 | 14569 183363 759436 | 61121 1937 19 | 0.000 % |
5.80/7.84 c | 2047 | 14569 183363 759436 | 61121 2047 19 | 0.000 % |
5.90/7.91 c | 2171 | 14569 183363 759436 | 61121 2171 19 | 0.000 % |
6.00/8.04 c | 2304 | 14569 183363 759436 | 61121 2304 19 | 0.000 % |
6.10/8.18 c | 2454 | 14569 183363 759436 | 61121 2454 19 | 0.000 % |
6.20/8.26 c | 2615 | 14569 183363 759436 | 61121 2615 19 | 0.000 % |
6.30/8.37 c | 2716 | 14569 183363 759436 | 61121 2716 19 | 0.000 % |
6.40/8.44 c | 2827 | 14569 183363 759436 | 61121 2827 19 | 0.000 % |
6.50/8.52 c | 2949 | 14569 183363 759436 | 61121 2949 19 | 0.000 % |
6.60/8.63 c | 3082 | 14569 183363 759436 | 61121 3082 19 | 0.000 % |
6.70/8.76 c | 3229 | 14569 183363 759436 | 61121 3229 20 | 0.000 % |
6.80/8.83 c | 3390 | 14569 183363 759436 | 61121 3390 20 | 0.000 % |
6.90/8.92 c | 3567 | 14569 183363 759436 | 61121 3567 20 | 0.000 % |
7.00/9.00 c | 3667 | 14569 183363 759436 | 61121 3667 20 | 0.000 % |
7.00/9.09 c | 3779 | 14569 183363 759436 | 61121 3779 20 | 0.000 % |
7.10/9.14 c | 3904 | 14569 183363 759436 | 61121 3904 20 | 0.000 % |
7.10/9.19 c | 4037 | 14569 183363 759436 | 61121 4037 20 | 0.000 % |
7.20/9.29 c | 4184 | 14569 183363 759436 | 61121 4184 20 | 0.000 % |
7.30/9.38 c | 4345 | 14569 183363 759436 | 61121 4345 19 | 0.000 % |
7.40/9.44 c | 4521 | 14569 183363 759436 | 61121 4521 19 | 0.000 % |
7.50/9.52 c | 4719 | 14569 183363 759436 | 61121 4719 19 | 0.000 % |
7.50/9.60 c | 4819 | 14569 183363 759436 | 61121 4819 19 | 0.000 % |
7.60/9.69 c | 4931 | 14569 183363 759436 | 61121 4931 19 | 0.000 % |
7.70/9.76 c | 5052 | 14569 183363 759436 | 61121 5052 19 | 0.000 % |
7.80/9.82 c | 5185 | 14569 183363 759436 | 61121 5185 19 | 0.000 % |
7.80/9.87 c | 5332 | 14569 183363 759436 | 61121 5332 19 | 0.000 % |
7.90/9.98 c | 5492 | 14569 183363 759436 | 61121 5492 19 | 0.000 % |
8.00/10.07 c | 5669 | 14569 183363 759436 | 61121 5669 20 | 0.000 % |
8.10/10.14 c | 5864 | 14569 183363 759436 | 61121 5864 20 | 0.000 % |
8.30/10.34 c | 6077 | 14569 183363 759436 | 61121 6077 20 | 0.000 % |
8.40/10.43 c | 6179 | 14569 183363 759436 | 61121 6179 20 | 0.000 % |
8.40/10.50 c | 6290 | 14569 183363 759436 | 61121 6290 20 | 0.000 % |
8.50/10.59 c | 6411 | 14569 183363 759436 | 61121 6411 20 | 0.000 % |
8.60/10.67 c | 6544 | 14569 183363 759436 | 61121 6544 20 | 0.000 % |
8.70/10.77 c | 6690 | 14569 183363 759436 | 61121 6690 20 | 0.000 % |
8.80/10.86 c | 6850 | 14569 183363 759436 | 61121 6850 20 | 0.000 % |
9.00/11.07 c | 7026 | 14569 183363 759436 | 61121 7026 20 | 0.000 % |
9.10/11.15 c | 7222 | 14569 183363 759436 | 61121 7222 20 | 0.000 % |
9.40/11.40 c | 7434 | 14569 183363 759436 | 61121 7434 21 | 0.000 % |
9.50/11.56 c | 7669 | 14569 183363 759436 | 61121 7669 21 | 0.000 % |
9.60/11.61 c | 7770 | 14569 183363 759436 | 61121 7770 21 | 0.000 % |
9.70/11.71 c | 7881 | 14569 183363 759436 | 61121 7881 21 | 0.000 % |
9.70/11.77 c | 8002 | 14569 183363 759436 | 61121 8002 21 | 0.000 % |
9.80/11.85 c | 8136 | 14569 183363 759436 | 61121 8136 20 | 0.000 % |
9.90/11.95 c | 8282 | 14569 183363 759436 | 61121 8282 20 | 0.000 % |
10.10/12.11 c | 8442 | 14569 183363 759436 | 61121 8442 20 | 0.000 % |
10.10/12.18 c | 8620 | 14569 183363 759436 | 61121 8620 20 | 0.000 % |
10.20/12.25 c | 8813 | 14569 183363 759436 | 61121 8813 20 | 0.000 % |
10.40/12.45 c | 9025 | 14569 183363 759436 | 61121 9025 20 | 0.000 % |
10.50/12.59 c | 9259 | 14569 183363 759436 | 61121 9259 20 | 0.000 % |
10.80/12.80 c | 9517 | 14569 183363 759436 | 61121 9517 20 | 0.000 % |
10.80/12.86 c | 9618 | 14569 183363 759436 | 61121 9618 20 | 0.000 % |
10.90/12.93 c | 9728 | 14569 183363 759436 | 61121 9728 20 | 0.000 % |
11.00/13.00 c | 9849 | 14569 183363 759436 | 61121 9849 20 | 0.000 % |
11.00/13.08 c | 9983 | 14569 183363 759436 | 61121 9983 20 | 0.000 % |
11.20/13.22 c | 10131 | 14569 183363 759436 | 2147483647 10131 20 | 0.000 % |
11.30/13.31 c | 10295 | 14569 183363 759436 | 2147483647 10295 20 | 0.000 % |
11.40/13.42 c | 10472 | 14569 183363 759436 | 2147483647 10472 20 | 0.000 % |
11.50/13.55 c | 10665 | 14569 183363 759436 | 2147483647 10665 20 | 0.000 % |
11.60/13.66 c | 10877 | 14569 183363 759436 | 2147483647 10877 20 | 0.000 % |
11.80/13.80 c | 11110 | 14569 183363 759436 | 2147483647 11110 20 | 0.000 % |
11.90/13.90 c | 11367 | 14569 183363 759436 | 2147483647 11367 20 | 0.000 % |
12.10/14.10 c | 11650 | 14569 183363 759436 | 2147483647 11650 20 | 0.000 % |
12.21/14.22 c | 11750 | 14569 183363 759436 | 2147483647 11750 20 | 0.000 % |
12.21/14.29 c | 11861 | 14569 183363 759436 | 2147483647 11861 20 | 0.000 % |
12.40/14.42 c | 11982 | 14569 183363 759436 | 2147483647 11982 20 | 0.000 % |
12.50/14.50 c | 12115 | 14569 183363 759436 | 2147483647 12115 20 | 0.000 % |
12.60/14.61 c | 12261 | 14569 183363 759436 | 2147483647 12261 20 | 0.000 % |
12.70/14.72 c | 12421 | 14569 183363 759436 | 2147483647 12421 20 | 0.000 % |
12.80/14.82 c | 12597 | 14569 183363 759436 | 2147483647 12597 20 | 0.000 % |
12.80/14.88 c | 12790 | 14569 183363 759436 | 2147483647 12790 20 | 0.000 % |
13.00/15.02 c | 13002 | 14569 183363 759436 | 2147483647 13002 20 | 0.000 % |
13.10/15.17 c | 13238 | 14569 183363 759436 | 2147483647 13238 20 | 0.000 % |
13.31/15.34 c | 13495 | 14569 183363 759436 | 2147483647 13495 20 | 0.000 % |
13.50/15.51 c | 13778 | 14569 183363 759436 | 2147483647 13778 20 | 0.000 % |
13.60/15.63 c | 14088 | 14569 183363 759436 | 2147483647 14088 20 | 0.000 % |
13.60/15.70 c | 14189 | 14569 183363 759436 | 2147483647 14189 20 | 0.000 % |
13.70/15.76 c | 14302 | 14569 183363 759436 | 2147483647 14302 20 | 0.000 % |
13.80/15.86 c | 14423 | 14569 183363 759436 | 2147483647 14423 20 | 0.000 % |
13.90/15.95 c | 14556 | 14569 183363 759436 | 2147483647 14556 20 | 0.000 % |
14.00/16.04 c | 14702 | 14569 183363 759436 | 2147483647 14702 20 | 0.000 % |
14.10/16.12 c | 14862 | 14569 183363 759436 | 2147483647 14862 20 | 0.000 % |
14.20/16.27 c | 15039 | 14569 183363 759436 | 2147483647 15039 20 | 0.000 % |
14.30/16.38 c | 15232 | 14569 183363 759436 | 2147483647 15232 20 | 0.000 % |
14.50/16.56 c | 15447 | 14569 183363 759436 | 2147483647 15447 20 | 0.000 % |
14.60/16.67 c | 15682 | 14569 183363 759436 | 2147483647 15682 20 | 0.000 % |
14.80/16.85 c | 15939 | 14569 183363 759436 | 2147483647 15939 20 | 0.000 % |
15.00/17.04 c | 16221 | 14569 183363 759436 | 2147483647 16221 20 | 0.000 % |
15.20/17.21 c | 16530 | 14569 183363 759436 | 2147483647 16530 20 | 0.000 % |
15.30/17.38 c | 16870 | 14569 183363 759436 | 2147483647 16870 20 | 0.000 % |
15.40/17.44 c | 16970 | 14569 183363 759436 | 2147483647 16970 20 | 0.000 % |
15.40/17.49 c | 17080 | 14569 183363 759436 | 2147483647 17080 20 | 0.000 % |
15.60/17.62 c | 17202 | 14569 183363 759436 | 2147483647 17202 20 | 0.000 % |
15.60/17.68 c | 17335 | 14569 183363 759436 | 2147483647 17335 20 | 0.000 % |
15.70/17.75 c | 17481 | 14569 183363 759436 | 2147483647 17481 20 | 0.000 % |
15.80/17.85 c | 17641 | 14569 183363 759436 | 2147483647 17641 20 | 0.000 % |
15.90/17.95 c | 17818 | 14569 183363 759436 | 2147483647 17818 20 | 0.000 % |
16.10/18.12 c | 18013 | 14569 183363 759436 | 2147483647 18013 20 | 0.000 % |
16.30/18.30 c | 18227 | 14569 183363 759436 | 2147483647 18227 20 | 0.000 % |
16.40/18.45 c | 18460 | 14569 183363 759436 | 2147483647 18460 20 | 0.000 % |
16.70/18.73 c | 18718 | 14569 183363 759436 | 2147483647 18718 20 | 0.000 % |
16.90/18.99 c | 18999 | 14569 183363 759436 | 2147483647 18999 20 | 0.000 % |
17.10/19.16 c | 19308 | 14569 183363 759436 | 2147483647 19308 20 | 0.000 % |
17.40/19.45 c | 19647 | 14569 183363 759436 | 2147483647 19647 20 | 0.000 % |
17.60/19.68 c | 20019 | 14569 183363 759436 | 2147483647 20019 20 | 0.000 % |
17.70/19.80 c | 20119 | 14569 183363 759436 | 2147483647 20119 20 | 0.000 % |
17.80/19.89 c | 20229 | 14569 183363 759436 | 2147483647 20229 20 | 0.000 % |
17.90/19.99 c | 20350 | 14569 183363 759436 | 2147483647 20350 20 | 0.000 % |
18.00/20.06 c | 20485 | 14569 183363 759436 | 2147483647 20485 20 | 0.000 % |
18.09/20.14 c | 20637 | 14569 183363 759436 | 2147483647 20637 20 | 0.000 % |
18.19/20.27 c | 20797 | 14569 183363 759436 | 2147483647 20797 20 | 0.000 % |
18.29/20.38 c | 20973 | 14569 183363 759436 | 2147483647 20973 20 | 0.000 % |
18.39/20.48 c | 21166 | 14569 183363 759436 | 2147483647 21166 20 | 0.000 % |
18.59/20.61 c | 21378 | 14569 183363 759436 | 2147483647 21378 20 | 0.000 % |
18.80/20.82 c | 21612 | 14569 183363 759436 | 2147483647 21612 20 | 0.000 % |
18.90/20.98 c | 21868 | 14569 183363 759436 | 2147483647 21868 20 | 0.000 % |
19.09/21.18 c | 22151 | 14569 183363 759436 | 2147483647 22151 20 | 0.000 % |
19.39/21.43 c | 22465 | 14569 183363 759436 | 2147483647 22465 21 | 0.000 % |
19.69/21.70 c | 22806 | 14569 183363 759436 | 2147483647 22806 21 | 0.000 % |
19.79/21.90 c | 23179 | 14569 183363 759436 | 2147483647 23179 21 | 0.000 % |
20.39/22.41 c | 23589 | 14569 183363 759436 | 2147483647 23589 21 | 0.000 % |
20.49/22.51 c | 23690 | 14569 183363 759436 | 2147483647 23690 21 | 0.000 % |
20.49/22.57 c | 23800 | 14569 183363 759436 | 2147483647 23800 21 | 0.000 % |
20.59/22.65 c | 23922 | 14569 183363 759436 | 2147483647 23922 21 | 0.000 % |
20.69/22.72 c | 24055 | 14569 183363 759436 | 2147483647 24055 21 | 0.000 % |
20.79/22.82 c | 24201 | 14569 183363 759436 | 2147483647 24201 21 | 0.000 % |
20.79/22.90 c | 24363 | 14569 183363 759436 | 2147483647 24363 21 | 0.000 % |
21.00/23.03 c | 24540 | 14569 183363 759436 | 2147483647 24540 21 | 0.000 % |
21.19/23.28 c | 24734 | 14569 183363 759436 | 2147483647 24734 21 | 0.000 % |
21.39/23.48 c | 24947 | 14569 183363 759436 | 2147483647 24947 21 | 0.000 % |
21.59/23.70 c | 25180 | 14569 183363 759436 | 2147483647 25180 21 | 0.000 % |
21.89/23.95 c | 25440 | 14569 183363 759436 | 2147483647 25440 21 | 0.000 % |
22.10/24.13 c | 25721 | 14569 183363 759436 | 2147483647 25721 21 | 0.000 % |
22.20/24.30 c | 26032 | 14569 183363 759436 | 2147483647 26032 21 | 0.000 % |
22.60/24.62 c | 26373 | 14569 183363 759436 | 2147483647 26373 21 | 0.000 % |
22.90/24.93 c | 26748 | 14569 183363 759436 | 2147483647 26748 21 | 0.000 % |
23.30/25.33 c | 27159 | 14569 183363 759436 | 2147483647 27159 21 | 0.000 % |
23.90/25.90 c | 27608 | 14569 183363 759436 | 2147483647 27608 22 | 0.000 % |
23.90/25.96 c | 27709 | 14569 183363 759436 | 2147483647 27709 21 | 0.000 % |
24.00/26.02 c | 27819 | 14569 183363 759436 | 2147483647 27819 21 | 0.000 % |
24.10/26.12 c | 27941 | 14569 183363 759436 | 2147483647 27941 21 | 0.000 % |
24.20/26.25 c | 28075 | 14569 183363 759436 | 2147483647 28075 21 | 0.000 % |
24.30/26.36 c | 28221 | 14569 183363 759436 | 2147483647 28221 21 | 0.000 % |
24.40/26.49 c | 28382 | 14569 183363 759436 | 2147483647 28382 21 | 0.000 % |
24.49/26.58 c | 28559 | 14569 183363 759436 | 2147483647 28559 21 | 0.000 % |
24.69/26.74 c | 28752 | 14569 183363 759436 | 2147483647 28752 21 | 0.000 % |
24.79/26.90 c | 28965 | 14569 183363 759436 | 2147483647 28965 21 | 0.000 % |
24.99/27.07 c | 29200 | 14569 183363 759436 | 2147483647 29200 21 | 0.000 % |
25.19/27.26 c | 29458 | 14569 183363 759436 | 2147483647 29458 21 | 0.000 % |
25.40/27.45 c | 29740 | 14569 183363 759436 | 2147483647 29740 21 | 0.000 % |
25.59/27.68 c | 30049 | 14569 183363 759436 | 2147483647 30049 21 | 0.000 % |
25.89/27.97 c | 30390 | 14569 183363 759436 | 2147483647 30390 21 | 0.000 % |
26.19/28.24 c | 30763 | 14569 183363 759436 | 2147483647 30763 21 | 0.000 % |
26.60/28.62 c | 31174 | 14569 183363 759436 | 2147483647 31174 21 | 0.000 % |
26.89/28.90 c | 31623 | 14569 183363 759436 | 2147483647 31623 21 | 0.000 % |
27.29/29.33 c | 32116 | 14569 183363 759436 | 2147483647 32116 21 | 0.000 % |
27.39/29.41 c | 32216 | 14569 183363 759436 | 2147483647 32216 21 | 0.000 % |
27.39/29.48 c | 32329 | 14569 183363 759436 | 2147483647 32329 21 | 0.000 % |
27.49/29.54 c | 32450 | 14569 183363 759436 | 2147483647 32450 21 | 0.000 % |
27.60/29.61 c | 32584 | 14569 183363 759436 | 2147483647 32584 21 | 0.000 % |
27.70/29.73 c | 32730 | 14569 183363 759436 | 2147483647 32730 22 | 0.000 % |
27.79/29.84 c | 32891 | 14569 183363 759436 | 2147483647 32891 22 | 0.000 % |
27.89/29.96 c | 33067 | 14569 183363 759436 | 2147483647 33067 22 | 0.000 % |
28.09/30.11 c | 33260 | 14569 183363 759436 | 2147483647 33260 22 | 0.000 % |
28.19/30.25 c | 33481 | 14569 183363 759436 | 2147483647 33481 22 | 0.000 % |
28.39/30.44 c | 33714 | 14569 183363 759436 | 2147483647 33714 21 | 0.000 % |
28.59/30.67 c | 33971 | 14569 183363 759436 | 2147483647 33971 22 | 0.000 % |
28.80/30.87 c | 34253 | 14569 183363 759436 | 2147483647 34253 22 | 0.000 % |
28.99/31.05 c | 34563 | 14569 183363 759436 | 2147483647 34563 22 | 0.000 % |
29.39/31.46 c | 34902 | 14569 183363 759436 | 2147483647 34902 22 | 0.000 % |
29.89/31.90 c | 35274 | 14569 183363 759436 | 2147483647 35274 22 | 0.000 % |
30.29/32.37 c | 35688 | 14569 183363 759436 | 2147483647 35688 22 | 0.000 % |
30.89/32.97 c | 36137 | 14569 183363 759436 | 2147483647 36137 22 | 0.000 % |
31.29/33.35 c | 36631 | 14569 183363 759436 | 2147483647 36631 22 | 0.000 % |
31.79/33.84 c | 37174 | 14569 183363 759436 | 2147483647 37174 22 | 0.000 % |
31.89/33.91 c | 37275 | 14569 183363 759436 | 2147483647 37275 22 | 0.000 % |
31.99/34.02 c | 37389 | 14569 183363 759436 | 2147483647 37389 22 | 0.000 % |
32.09/34.12 c | 37511 | 14569 183363 759436 | 2147483647 37511 22 | 0.000 % |
32.19/34.20 c | 37644 | 14569 183363 759436 | 2147483647 37644 22 | 0.000 % |
32.29/34.32 c | 37790 | 14569 183363 759436 | 2147483647 37790 22 | 0.000 % |
32.39/34.45 c | 37950 | 14569 183363 759436 | 2147483647 37950 22 | 0.000 % |
32.49/34.56 c | 38126 | 14569 183363 759436 | 2147483647 38126 22 | 0.000 % |
32.69/34.70 c | 38323 | 14569 183363 759436 | 2147483647 38323 22 | 0.000 % |
32.79/34.87 c | 38535 | 14569 183363 759436 | 2147483647 38535 22 | 0.000 % |
32.99/35.05 c | 38769 | 14569 183363 759436 | 2147483647 38769 22 | 0.000 % |
33.28/35.39 c | 39025 | 14569 183363 759436 | 2147483647 39025 22 | 0.000 % |
33.48/35.57 c | 39306 | 14569 183363 759436 | 2147483647 39306 22 | 0.000 % |
33.88/35.94 c | 39617 | 14569 183363 759436 | 2147483647 39617 22 | 0.000 % |
34.08/36.17 c | 39958 | 14569 183363 759436 | 2147483647 39958 22 | 0.000 % |
34.48/36.52 c | 40330 | 14569 183363 759436 | 2147483647 40330 22 | 0.000 % |
34.78/36.89 c | 40739 | 14569 183363 759436 | 2147483647 40739 22 | 0.000 % |
35.49/37.56 c | 41188 | 14569 183363 759436 | 2147483647 41188 23 | 0.000 % |
36.19/38.25 c | 41683 | 14569 183363 759436 | 2147483647 41683 23 | 0.000 % |
36.69/38.77 c | 42225 | 14569 183363 759436 | 2147483647 42225 23 | 0.000 % |
37.29/39.36 c | 42825 | 14569 183363 759436 | 2147483647 42825 23 | 0.000 % |
37.39/39.47 c | 42927 | 14569 183363 759436 | 2147483647 42927 23 | 0.000 % |
37.50/39.54 c | 43037 | 14569 183363 759436 | 2147483647 43037 23 | 0.000 % |
37.60/39.63 c | 43158 | 14569 183363 759436 | 2147483647 43158 23 | 0.000 % |
37.69/39.74 c | 43291 | 14569 183363 759436 | 2147483647 43291 23 | 0.000 % |
37.89/39.91 c | 43437 | 14569 183363 759436 | 2147483647 43437 23 | 0.000 % |
37.89/39.99 c | 43597 | 14569 183363 759436 | 2147483647 43597 23 | 0.000 % |
37.99/40.08 c | 43774 | 14569 183363 759436 | 2147483647 43774 23 | 0.000 % |
38.09/40.18 c | 43968 | 14569 183363 759436 | 2147483647 43968 23 | 0.000 % |
38.29/40.34 c | 44181 | 14569 183363 759436 | 2147483647 44181 23 | 0.000 % |
38.49/40.52 c | 44414 | 14569 183363 759436 | 2147483647 44414 23 | 0.000 % |
38.69/40.71 c | 44670 | 14569 183363 759436 | 2147483647 44670 23 | 0.000 % |
38.98/41.03 c | 44952 | 14569 183363 759436 | 2147483647 44952 23 | 0.000 % |
39.08/41.19 c | 45261 | 14569 183363 759436 | 2147483647 45261 23 | 0.000 % |
39.38/41.45 c | 45600 | 14569 183363 759436 | 2147483647 45600 23 | 0.000 % |
39.88/41.97 c | 45974 | 14569 183363 759436 | 2147483647 45974 23 | 0.000 % |
40.58/42.60 c | 46383 | 14569 183363 759436 | 2147483647 46383 24 | 0.000 % |
41.08/43.13 c | 46833 | 14569 183363 759436 | 2147483647 46833 24 | 0.000 % |
41.48/43.55 c | 47329 | 14569 183363 759436 | 2147483647 47329 24 | 0.000 % |
41.88/43.94 c | 47872 | 14569 183363 759436 | 2147483647 47872 24 | 0.000 % |
42.38/44.46 c | 48468 | 14569 183363 759436 | 2147483647 48468 23 | 0.000 % |
43.18/45.25 c | 49126 | 14569 183363 759436 | 2147483647 49126 24 | 0.000 % |
43.38/45.41 c | 49226 | 14569 183363 759436 | 2147483647 49226 24 | 0.000 % |
43.48/45.51 c | 49336 | 14569 183363 759436 | 2147483647 49336 24 | 0.000 % |
43.58/45.63 c | 49458 | 14569 183363 759436 | 2147483647 49458 24 | 0.000 % |
43.68/45.71 c | 49591 | 14569 183363 759436 | 2147483647 49591 24 | 0.000 % |
43.78/45.83 c | 49737 | 14569 183363 759436 | 2147483647 49737 24 | 0.000 % |
43.88/45.99 c | 49898 | 14569 183363 759436 | 2147483647 49898 24 | 0.000 % |
44.18/46.21 c | 50076 | 14569 183363 759436 | 2147483647 50076 24 | 0.000 % |
44.38/46.42 c | 50270 | 14569 183363 759436 | 2147483647 50270 24 | 0.000 % |
44.58/46.68 c | 50483 | 14569 183363 759436 | 2147483647 50483 24 | 0.000 % |
44.87/46.94 c | 50716 | 14569 183363 759436 | 2147483647 50716 24 | 0.000 % |
45.18/47.25 c | 50972 | 14569 183363 759436 | 2147483647 50972 24 | 0.000 % |
45.37/47.48 c | 51253 | 14569 183363 759436 | 2147483647 51253 24 | 0.000 % |
45.77/47.81 c | 51562 | 14569 183363 759436 | 2147483647 51562 24 | 0.000 % |
45.97/48.03 c | 51902 | 14569 183363 759436 | 2147483647 51902 24 | 0.000 % |
46.28/48.37 c | 52275 | 14569 183363 759436 | 2147483647 52275 24 | 0.000 % |
46.87/48.94 c | 52685 | 14569 183363 759436 | 2147483647 52685 24 | 0.000 % |
47.27/49.33 c | 53135 | 14569 183363 759436 | 2147483647 53135 24 | 0.000 % |
47.97/50.04 c | 53628 | 14569 183363 759436 | 2147483647 53628 24 | 0.000 % |
48.58/50.60 c | 54171 | 14569 183363 759436 | 2147483647 54171 24 | 0.000 % |
49.17/51.27 c | 54767 | 14569 183363 759436 | 2147483647 54767 24 | 0.000 % |
49.68/51.74 c | 55423 | 14569 183363 759436 | 2147483647 55423 24 | 0.000 % |
50.17/52.23 c | 56143 | 14569 183363 759436 | 2147483647 56143 24 | 0.000 % |
50.27/52.32 c | 56243 | 14569 183363 759436 | 2147483647 56243 24 | 0.000 % |
50.27/52.39 c | 56355 | 14569 183363 759436 | 2147483647 56355 24 | 0.000 % |
50.37/52.47 c | 56476 | 14569 183363 759436 | 2147483647 56476 24 | 0.000 % |
50.47/52.56 c | 56609 | 14569 183363 759436 | 2147483647 56609 24 | 0.000 % |
50.67/52.74 c | 56755 | 14569 183363 759436 | 2147483647 56755 24 | 0.000 % |
50.87/52.90 c | 56919 | 14569 183363 759436 | 2147483647 56919 24 | 0.000 % |
51.07/53.10 c | 57095 | 14569 183363 759436 | 2147483647 57095 24 | 0.000 % |
51.17/53.24 c | 57289 | 14569 183363 759436 | 2147483647 57289 24 | 0.000 % |
51.37/53.45 c | 57501 | 14569 183363 759436 | 2147483647 57501 24 | 0.000 % |
51.57/53.63 c | 57736 | 14569 183363 759436 | 2147483647 57736 24 | 0.000 % |
51.77/53.84 c | 57992 | 14569 183363 759436 | 2147483647 57992 24 | 0.000 % |
52.07/54.17 c | 58273 | 14569 183363 759436 | 2147483647 58273 24 | 0.000 % |
52.37/54.42 c | 58583 | 14569 183363 759436 | 2147483647 58583 24 | 0.000 % |
52.68/54.70 c | 58922 | 14569 183363 759436 | 2147483647 58922 24 | 0.000 % |
52.98/55.09 c | 59296 | 14569 183363 759436 | 2147483647 59296 24 | 0.000 % |
53.48/55.53 c | 59705 | 14569 183363 759436 | 2147483647 59705 24 | 0.000 % |
53.98/56.08 c | 60154 | 14569 183363 759436 | 2147483647 60154 24 | 0.000 % |
54.68/56.74 c | 60649 | 14569 183363 759436 | 2147483647 60649 24 | 0.000 % |
55.18/57.23 c | 61191 | 14569 183363 759436 | 2147483647 61191 24 | 0.000 % |
55.78/57.88 c | 61787 | 14569 183363 759436 | 2147483647 61787 24 | 0.000 % |
56.28/58.39 c | 62442 | 14569 183363 759436 | 2147483647 62442 24 | 0.000 % |
56.88/58.90 c | 63162 | 14569 183363 759436 | 2147483647 63162 24 | 0.000 % |
57.38/59.49 c | 63955 | 14569 183363 759436 | 2147483647 63955 24 | 0.000 % |
57.47/59.57 c | 64055 | 14569 183363 759436 | 2147483647 64055 24 | 0.000 % |
57.57/59.66 c | 64165 | 14569 183363 759436 | 2147483647 64165 24 | 0.000 % |
57.67/59.77 c | 64286 | 14569 183363 759436 | 2147483647 64286 24 | 0.000 % |
57.77/59.88 c | 64423 | 14569 183363 759436 | 2147483647 64423 24 | 0.000 % |
57.97/60.07 c | 64571 | 14569 183363 759436 | 2147483647 64571 24 | 0.000 % |
58.17/60.23 c | 64733 | 14569 183363 759436 | 2147483647 64733 24 | 0.000 % |
58.37/60.42 c | 64911 | 14569 183363 759436 | 2147483647 64911 24 | 0.000 % |
58.47/60.59 c | 65104 | 14569 183363 759436 | 2147483647 65104 24 | 0.000 % |
58.67/60.71 c | 65322 | 14569 183363 759436 | 2147483647 65322 24 | 0.000 % |
58.77/60.90 c | 65556 | 14569 183363 759436 | 2147483647 65556 24 | 0.000 % |
59.07/61.13 c | 65813 | 14569 183363 759436 | 2147483647 65813 24 | 0.000 % |
59.27/61.32 c | 66094 | 14569 183363 759436 | 2147483647 66094 24 | 0.000 % |
59.57/61.68 c | 66404 | 14569 183363 759436 | 2147483647 66404 24 | 0.000 % |
59.87/61.98 c | 66743 | 14569 183363 759436 | 2147483647 66743 24 | 0.000 % |
60.37/62.42 c | 67115 | 14569 183363 759436 | 2147483647 67115 24 | 0.000 % |
60.97/63.09 c | 67525 | 14569 183363 759436 | 2147483647 67525 24 | 0.000 % |
61.37/63.41 c | 67975 | 14569 183363 759436 | 2147483647 67975 24 | 0.000 % |
61.67/63.79 c | 68469 | 14569 183363 759436 | 2147483647 68469 24 | 0.000 % |
62.17/64.27 c | 69011 | 14569 183363 759436 | 2147483647 69011 24 | 0.000 % |
62.67/64.72 c | 69610 | 14569 183363 759436 | 2147483647 69610 24 | 0.000 % |
63.37/65.49 c | 70266 | 14569 183363 759436 | 2147483647 70266 24 | 0.000 % |
64.07/66.15 c | 70986 | 14569 183363 759436 | 2147483647 70986 24 | 0.000 % |
64.87/66.92 c | 71779 | 14569 183363 759436 | 2147483647 71779 24 | 0.000 % |
65.77/67.86 c | 72650 | 14569 183363 759436 | 2147483647 72650 24 | 0.000 % |
65.87/67.95 c | 72750 | 14569 183363 759436 | 2147483647 72750 24 | 0.000 % |
65.97/68.03 c | 72861 | 14569 183363 759436 | 2147483647 72861 24 | 0.000 % |
66.07/68.16 c | 72983 | 14569 183363 759436 | 2147483647 72983 24 | 0.000 % |
66.17/68.29 c | 73117 | 14569 183363 759436 | 2147483647 73117 24 | 0.000 % |
66.36/68.47 c | 73264 | 14569 183363 759436 | 2147483647 73264 24 | 0.000 % |
66.66/68.73 c | 73424 | 14569 183363 759436 | 2147483647 73424 24 | 0.000 % |
66.86/68.94 c | 73601 | 14569 183363 759436 | 2147483647 73601 24 | 0.000 % |
66.96/69.08 c | 73794 | 14569 183363 759436 | 2147483647 73794 24 | 0.000 % |
67.27/69.31 c | 74006 | 14569 183363 759436 | 2147483647 74006 24 | 0.000 % |
67.46/69.54 c | 74239 | 14569 183363 759436 | 2147483647 74239 24 | 0.000 % |
67.86/69.97 c | 74496 | 14569 183363 759436 | 2147483647 74496 24 | 0.000 % |
68.16/70.22 c | 74777 | 14569 183363 759436 | 2147483647 74777 24 | 0.000 % |
68.46/70.59 c | 75086 | 14569 183363 759436 | 2147483647 75086 24 | 0.000 % |
68.86/70.95 c | 75427 | 14569 183363 759436 | 2147483647 75427 24 | 0.000 % |
69.26/71.30 c | 75800 | 14569 183363 759436 | 2147483647 75800 24 | 0.000 % |
69.56/71.68 c | 76211 | 14569 183363 759436 | 2147483647 76211 24 | 0.000 % |
69.96/72.00 c | 76660 | 14569 183363 759436 | 2147483647 76660 24 | 0.000 % |
70.36/72.45 c | 77153 | 14569 183363 759436 | 2147483647 77153 24 | 0.000 % |
70.96/73.00 c | 77695 | 14569 183363 759436 | 2147483647 77695 24 | 0.000 % |
71.46/73.59 c | 78292 | 14569 183363 759436 | 2147483647 78292 24 | 0.000 % |
72.46/74.52 c | 78947 | 14569 183363 759436 | 2147483647 78947 24 | 0.000 % |
73.36/75.45 c | 79667 | 14569 183363 759436 | 2147483647 79667 24 | 0.000 % |
74.46/76.51 c | 80459 | 14569 183363 759436 | 2147483647 80459 25 | 0.000 % |
75.36/77.46 c | 81331 | 14569 183363 759436 | 2147483647 81331 24 | 0.000 % |
76.76/78.88 c | 82289 | 14569 183363 759436 | 2147483647 82289 25 | 0.000 % |
76.86/78.97 c | 82390 | 14569 183363 759436 | 2147483647 82390 25 | 0.000 % |
76.96/79.09 c | 82501 | 14569 183363 759436 | 2147483647 82501 25 | 0.000 % |
77.16/79.22 c | 82623 | 14569 183363 759436 | 2147483647 82623 25 | 0.000 % |
77.16/79.29 c | 82758 | 14569 183363 759436 | 2147483647 82758 25 | 0.000 % |
77.36/79.45 c | 82906 | 14569 183363 759436 | 2147483647 82906 25 | 0.000 % |
77.56/79.65 c | 83068 | 14569 183363 759436 | 2147483647 83068 25 | 0.000 % |
77.76/79.84 c | 83244 | 14569 183363 759436 | 2147483647 83244 25 | 0.000 % |
77.96/80.00 c | 83437 | 14569 183363 759436 | 2147483647 83437 25 | 0.000 % |
78.16/80.22 c | 83649 | 14569 183363 759436 | 2147483647 83649 25 | 0.000 % |
78.46/80.53 c | 83883 | 14569 183363 759436 | 2147483647 83883 25 | 0.000 % |
78.66/80.77 c | 84140 | 14569 183363 759436 | 2147483647 84140 25 | 0.000 % |
79.05/81.10 c | 84421 | 14569 183363 759436 | 2147483647 84421 25 | 0.000 % |
79.45/81.51 c | 84731 | 14569 183363 759436 | 2147483647 84731 25 | 0.000 % |
79.75/81.84 c | 85071 | 14569 183363 759436 | 2147483647 85071 25 | 0.000 % |
80.05/82.14 c | 85444 | 14569 183363 759436 | 2147483647 85444 24 | 0.000 % |
80.75/82.81 c | 85855 | 14569 183363 759436 | 2147483647 85855 25 | 0.000 % |
81.25/83.37 c | 86304 | 14569 183363 759436 | 2147483647 86304 25 | 0.000 % |
81.95/84.07 c | 86797 | 14569 183363 759436 | 2147483647 86797 25 | 0.000 % |
82.85/84.98 c | 87340 | 14569 183363 759436 | 2147483647 87340 25 | 0.000 % |
83.65/85.73 c | 87936 | 14569 183363 759436 | 2147483647 87936 25 | 0.000 % |
84.64/86.74 c | 88591 | 14569 183363 759436 | 2147483647 88591 25 | 0.000 % |
85.64/87.70 c | 89312 | 14569 183363 759436 | 2147483647 89312 25 | 0.000 % |
86.44/88.59 c | 90106 | 14569 183363 759436 | 2147483647 90106 25 | 0.000 % |
87.54/89.62 c | 90977 | 14569 183363 759436 | 2147483647 90977 25 | 0.000 % |
88.53/90.65 c | 91936 | 14569 183363 759436 | 2147483647 91936 25 | 0.000 % |
89.93/92.04 c | 92989 | 14569 183363 759436 | 2147483647 92989 25 | 0.000 % |
90.03/92.11 c | 93089 | 14569 183363 759436 | 2147483647 93089 25 | 0.000 % |
90.13/92.22 c | 93201 | 14569 183363 759436 | 2147483647 93201 25 | 0.000 % |
90.23/92.39 c | 93322 | 14569 183363 759436 | 2147483647 93322 25 | 0.000 % |
90.42/92.59 c | 93455 | 14569 183363 759436 | 2147483647 93455 25 | 0.000 % |
90.63/92.77 c | 93603 | 14569 183363 759436 | 2147483647 93603 25 | 0.000 % |
90.83/92.94 c | 93765 | 14569 183363 759436 | 2147483647 93765 25 | 0.000 % |
91.03/93.13 c | 93941 | 14569 183363 759436 | 2147483647 93941 25 | 0.000 % |
91.23/93.37 c | 94134 | 14569 183363 759436 | 2147483647 94134 25 | 0.000 % |
91.43/93.57 c | 94347 | 14569 183363 759436 | 2147483647 94347 25 | 0.000 % |
91.72/93.84 c | 94580 | 14569 183363 759436 | 2147483647 94580 25 | 0.000 % |
91.92/94.04 c | 94836 | 14569 183363 759436 | 2147483647 94836 25 | 0.000 % |
92.22/94.37 c | 95117 | 14569 183363 759436 | 2147483647 95117 25 | 0.000 % |
92.53/94.69 c | 95426 | 14569 183363 759436 | 2147483647 95426 25 | 0.000 % |
92.82/94.96 c | 95765 | 14569 183363 759436 | 2147483647 95765 25 | 0.000 % |
93.22/95.30 c | 96137 | 14569 183363 759436 | 2147483647 96137 25 | 0.000 % |
93.72/95.82 c | 96546 | 14569 183363 759436 | 2147483647 96546 25 | 0.000 % |
94.42/96.55 c | 96998 | 14569 183363 759436 | 2147483647 96998 25 | 0.000 % |
95.02/97.15 c | 97493 | 14569 183363 759436 | 2147483647 97493 25 | 0.000 % |
95.83/97.94 c | 98035 | 14569 183363 759436 | 2147483647 98035 25 | 0.000 % |
96.72/98.81 c | 98633 | 14569 183363 759436 | 2147483647 98633 25 | 0.000 % |
97.62/99.74 c | 99290 | 14569 183363 759436 | 2147483647 99290 25 | 0.000 % |
98.82/100.92 c | 100010 | 14569 183363 759436 | 2147483647 100010 25 | 0.000 % |
100.02/102.16 c | 100802 | 14569 183363 759436 | 2147483647 100802 25 | 0.000 % |
101.02/103.19 c | 101673 | 14569 183363 759436 | 2147483647 101673 25 | 0.000 % |
102.02/104.17 c | 102631 | 14569 183363 759436 | 2147483647 102631 25 | 0.000 % |
103.02/105.16 c | 103687 | 14569 183363 759436 | 2147483647 103687 25 | 0.000 % |
104.41/106.51 c | 104846 | 14569 183363 759436 | 2147483647 104846 26 | 0.000 % |
104.41/106.59 c | 104947 | 14569 183363 759436 | 2147483647 104947 26 | 0.000 % |
104.62/106.79 c | 105057 | 14569 183363 759436 | 2147483647 105057 26 | 0.000 % |
104.81/106.94 c | 105178 | 14569 183363 759436 | 2147483647 105178 26 | 0.000 % |
105.01/107.11 c | 105311 | 14569 183363 759436 | 2147483647 105311 26 | 0.000 % |
105.11/107.26 c | 105458 | 14569 183363 759436 | 2147483647 105458 25 | 0.000 % |
105.31/107.44 c | 105619 | 14569 183363 759436 | 2147483647 105619 25 | 0.000 % |
105.62/107.72 c | 105797 | 14569 183363 759436 | 2147483647 105797 25 | 0.000 % |
105.81/107.96 c | 105991 | 14569 183363 759436 | 2147483647 105991 26 | 0.000 % |
106.11/108.22 c | 106203 | 14569 183363 759436 | 2147483647 106203 25 | 0.000 % |
106.31/108.48 c | 106437 | 14569 183363 759436 | 2147483647 106437 25 | 0.000 % |
106.72/108.85 c | 106693 | 14569 183363 759436 | 2147483647 106693 25 | 0.000 % |
107.12/109.27 c | 106974 | 14569 183363 759436 | 2147483647 106974 25 | 0.000 % |
107.72/109.81 c | 107284 | 14569 183363 759436 | 2147483647 107284 26 | 0.000 % |
108.02/110.16 c | 107625 | 14569 183363 759436 | 2147483647 107625 25 | 0.000 % |
108.62/110.78 c | 107998 | 14569 183363 759436 | 2147483647 107998 26 | 0.000 % |
109.22/111.39 c | 108407 | 14569 183363 759436 | 2147483647 108407 26 | 0.000 % |
110.02/112.16 c | 108857 | 14569 183363 759436 | 2147483647 108857 26 | 0.000 % |
110.81/112.94 c | 109350 | 14569 183363 759436 | 2147483647 109350 26 | 0.000 % |
111.71/113.80 c | 109892 | 14569 183363 759436 | 2147483647 109892 26 | 0.000 % |
112.32/114.46 c | 110490 | 14569 183363 759436 | 2147483647 110490 26 | 0.000 % |
113.01/115.15 c | 111145 | 14569 183363 759436 | 2147483647 111145 26 | 0.000 % |
113.61/115.79 c | 111865 | 14569 183363 759436 | 2147483647 111865 26 | 0.000 % |
114.91/117.10 c | 112658 | 14569 183363 759436 | 2147483647 112658 26 | 0.000 % |
116.21/118.40 c | 113529 | 14569 183363 759436 | 2147483647 113529 26 | 0.000 % |
117.51/119.66 c | 114490 | 14569 183363 759436 | 2147483647 114490 26 | 0.000 % |
119.31/121.46 c | 115544 | 14569 183363 759436 | 2147483647 115544 26 | 0.000 % |
120.91/123.08 c | 116702 | 14569 183363 759436 | 2147483647 116702 26 | 0.000 % |
122.71/124.87 c | 117975 | 14569 183363 759436 | 2147483647 117975 26 | 0.000 % |
122.91/125.04 c | 118075 | 14569 183363 759436 | 2147483647 118075 26 | 0.000 % |
123.11/125.23 c | 118185 | 14569 183363 759436 | 2147483647 118185 26 | 0.000 % |
123.31/125.40 c | 118306 | 14569 183363 759436 | 2147483647 118306 26 | 0.000 % |
123.61/125.73 c | 118439 | 14569 183363 759436 | 2147483647 118439 26 | 0.000 % |
123.81/125.94 c | 118585 | 14569 183363 759436 | 2147483647 118585 26 | 0.000 % |
124.01/126.11 c | 118747 | 14569 183363 759436 | 2147483647 118747 26 | 0.000 % |
124.21/126.35 c | 118925 | 14569 183363 759436 | 2147483647 118925 26 | 0.000 % |
124.61/126.72 c | 119118 | 14569 183363 759436 | 2147483647 119118 26 | 0.000 % |
124.91/127.05 c | 119332 | 14569 183363 759436 | 2147483647 119332 26 | 0.000 % |
125.11/127.28 c | 119566 | 14569 183363 759436 | 2147483647 119566 26 | 0.000 % |
125.61/127.74 c | 119822 | 14569 183363 759436 | 2147483647 119822 26 | 0.000 % |
126.01/128.12 c | 120103 | 14569 183363 759436 | 2147483647 120103 26 | 0.000 % |
126.51/128.69 c | 120412 | 14569 183363 759436 | 2147483647 120412 26 | 0.000 % |
127.01/129.12 c | 120753 | 14569 183363 759436 | 2147483647 120753 26 | 0.000 % |
127.31/129.49 c | 121125 | 14569 183363 759436 | 2147483647 121125 26 | 0.000 % |
127.81/129.97 c | 121535 | 14569 183363 759436 | 2147483647 121535 26 | 0.000 % |
128.30/130.40 c | 121984 | 14569 183363 759436 | 2147483647 121984 26 | 0.000 % |
128.90/131.06 c | 122477 | 14569 183363 759436 | 2147483647 122477 26 | 0.000 % |
129.60/131.75 c | 123019 | 14569 183363 759436 | 2147483647 123019 26 | 0.000 % |
130.50/132.68 c | 123615 | 14569 183363 759436 | 2147483647 123615 26 | 0.000 % |
131.30/133.49 c | 124270 | 14569 183363 759436 | 2147483647 124270 26 | 0.000 % |
132.60/134.79 c | 124991 | 14569 183363 759436 | 2147483647 124991 26 | 0.000 % |
133.80/135.91 c | 125784 | 14569 183363 759436 | 2147483647 125784 26 | 0.000 % |
135.50/137.62 c | 126655 | 14569 183363 759436 | 2147483647 126655 26 | 0.000 % |
137.20/139.30 c | 127615 | 14569 183363 759436 | 2147483647 127615 26 | 0.000 % |
138.40/140.51 c | 128670 | 14569 183363 759436 | 2147483647 128670 26 | 0.000 % |
140.30/142.42 c | 129828 | 14569 183363 759436 | 2147483647 129828 26 | 0.000 % |
142.50/144.69 c | 131102 | 14569 183363 759436 | 2147483647 131102 26 | 0.000 % |
144.80/146.99 c | 132502 | 14569 183363 759436 | 2147483647 132502 26 | 0.000 % |
145.00/147.18 c | 132602 | 14569 183363 759436 | 2147483647 132602 26 | 0.000 % |
145.20/147.37 c | 132712 | 14569 183363 759436 | 2147483647 132712 26 | 0.000 % |
145.40/147.50 c | 132833 | 14569 183363 759436 | 2147483647 132833 26 | 0.000 % |
145.59/147.73 c | 132966 | 14569 183363 759436 | 2147483647 132966 26 | 0.000 % |
145.79/147.99 c | 133112 | 14569 183363 759436 | 2147483647 133112 26 | 0.000 % |
146.09/148.27 c | 133273 | 14569 183363 759436 | 2147483647 133273 26 | 0.000 % |
146.40/148.56 c | 133449 | 14569 183363 759436 | 2147483647 133449 26 | 0.000 % |
146.69/148.81 c | 133644 | 14569 183363 759436 | 2147483647 133644 26 | 0.000 % |
146.89/149.09 c | 133862 | 14569 183363 759436 | 2147483647 133862 26 | 0.000 % |
147.29/149.44 c | 134096 | 14569 183363 759436 | 2147483647 134096 26 | 0.000 % |
147.59/149.76 c | 134354 | 14569 183363 759436 | 2147483647 134354 26 | 0.000 % |
147.99/150.18 c | 134635 | 14569 183363 759436 | 2147483647 134635 26 | 0.000 % |
148.49/150.62 c | 134944 | 14569 183363 759436 | 2147483647 134944 26 | 0.000 % |
148.99/151.14 c | 135285 | 14569 183363 759436 | 2147483647 135285 26 | 0.000 % |
149.49/151.61 c | 135659 | 14569 183363 759436 | 2147483647 135659 26 | 0.000 % |
150.09/152.25 c | 136071 | 14569 183363 759436 | 2147483647 136071 26 | 0.000 % |
150.69/152.86 c | 136520 | 14569 183363 759436 | 2147483647 136520 26 | 0.000 % |
151.19/153.32 c | 137013 | 14569 183363 759436 | 2147483647 137013 26 | 0.000 % |
151.99/154.19 c | 137556 | 14569 183363 759436 | 2147483647 137556 26 | 0.000 % |
152.49/154.68 c | 138154 | 14569 183363 759436 | 2147483647 138154 26 | 0.000 % |
153.39/155.57 c | 138809 | 14569 183363 759436 | 2147483647 138809 26 | 0.000 % |
154.19/156.38 c | 139529 | 14569 183363 759436 | 2147483647 139529 26 | 0.000 % |
155.09/157.24 c | 140321 | 14569 183363 759436 | 2147483647 140321 26 | 0.000 % |
156.09/158.25 c | 141192 | 14569 183363 759436 | 2147483647 141192 26 | 0.000 % |
157.29/159.47 c | 142151 | 14569 183363 759436 | 2147483647 142151 26 | 0.000 % |
158.59/160.73 c | 143204 | 14569 183363 759436 | 2147483647 143204 26 | 0.000 % |
160.38/162.53 c | 144362 | 14569 183363 759436 | 2147483647 144362 26 | 0.000 % |
162.68/164.89 c | 145635 | 14569 183363 759436 | 2147483647 145635 26 | 0.000 % |
165.28/167.42 c | 147038 | 14569 183363 759436 | 2147483647 147038 27 | 0.000 % |
168.18/170.33 c | 148579 | 14569 183363 759436 | 2147483647 148579 27 | 0.000 % |
168.39/170.51 c | 148682 | 14569 183363 759436 | 2147483647 148682 27 | 0.000 % |
168.48/170.69 c | 148793 | 14569 183363 759436 | 2147483647 148793 27 | 0.000 % |
168.68/170.89 c | 148915 | 14569 183363 759436 | 2147483647 148915 27 | 0.000 % |
168.98/171.18 c | 149051 | 14569 183363 759436 | 2147483647 149051 27 | 0.000 % |
169.28/171.49 c | 149199 | 14569 183363 759436 | 2147483647 149199 27 | 0.000 % |
169.68/171.81 c | 149359 | 14569 183363 759436 | 2147483647 149359 27 | 0.000 % |
169.98/172.14 c | 149535 | 14569 183363 759436 | 2147483647 149535 27 | 0.000 % |
170.18/172.39 c | 149729 | 14569 183363 759436 | 2147483647 149729 27 | 0.000 % |
170.49/172.69 c | 149941 | 14569 183363 759436 | 2147483647 149941 27 | 0.000 % |
171.29/173.41 c | 150174 | 14569 183363 759436 | 2147483647 150174 27 | 0.000 % |
171.99/174.18 c | 150432 | 14569 183363 759436 | 2147483647 150432 27 | 0.000 % |
172.69/174.89 c | 150716 | 14569 183363 759436 | 2147483647 150716 27 | 0.000 % |
173.38/175.51 c | 151025 | 14569 183363 759436 | 2147483647 151025 27 | 0.000 % |
174.08/176.25 c | 151365 | 14569 183363 759436 | 2147483647 151365 27 | 0.000 % |
174.88/177.03 c | 151737 | 14569 183363 759436 | 2147483647 151737 27 | 0.000 % |
175.68/177.80 c | 152149 | 14569 183363 759436 | 2147483647 152149 27 | 0.000 % |
176.47/178.70 c | 152599 | 14569 183363 759436 | 2147483647 152599 27 | 0.000 % |
177.17/179.37 c | 153092 | 14569 183363 759436 | 2147483647 153092 27 | 0.000 % |
177.87/180.08 c | 153634 | 14569 183363 759436 | 2147483647 153634 27 | 0.000 % |
178.67/180.81 c | 154230 | 14569 183363 759436 | 2147483647 154230 27 | 0.000 % |
179.47/181.64 c | 154885 | 14569 183363 759436 | 2147483647 154885 27 | 0.000 % |
180.47/182.66 c | 155607 | 14569 183363 759436 | 2147483647 155607 27 | 0.000 % |
181.37/183.52 c | 156399 | 14569 183363 759436 | 2147483647 156399 27 | 0.000 % |
182.87/185.00 c | 157270 | 14569 183363 759436 | 2147483647 157270 27 | 0.000 % |
184.67/186.83 c | 158232 | 14569 183363 759436 | 2147483647 158232 27 | 0.000 % |
186.77/188.99 c | 159287 | 14569 183363 759436 | 2147483647 159287 27 | 0.000 % |
189.06/191.27 c | 160445 | 14569 183363 759436 | 2147483647 160445 27 | 0.000 % |
191.56/193.78 c | 161719 | 14569 183363 759436 | 2147483647 161719 27 | 0.000 % |
193.96/196.10 c | 163119 | 14569 183363 759436 | 2147483647 163119 27 | 0.000 % |
196.26/198.48 c | 164659 | 14569 183363 759436 | 2147483647 164659 27 | 0.000 % |
199.96/202.13 c | 166355 | 14569 183363 759436 | 2147483647 166355 27 | 0.000 % |
200.16/202.40 c | 166456 | 14569 183363 759436 | 2147483647 166456 27 | 0.000 % |
200.46/202.66 c | 166567 | 14569 183363 759436 | 2147483647 166567 27 | 0.000 % |
200.66/202.85 c | 166689 | 14569 183363 759436 | 2147483647 166689 27 | 0.000 % |
200.96/203.13 c | 166823 | 14569 183363 759436 | 2147483647 166823 27 | 0.000 % |
201.26/203.45 c | 166970 | 14569 183363 759436 | 2147483647 166970 27 | 0.000 % |
201.56/203.71 c | 167133 | 14569 183363 759436 | 2147483647 167133 27 | 0.000 % |
201.86/204.04 c | 167310 | 14569 183363 759436 | 2147483647 167310 27 | 0.000 % |
202.26/204.41 c | 167503 | 14569 183363 759436 | 2147483647 167503 27 | 0.000 % |
202.56/204.76 c | 167717 | 14569 183363 759436 | 2147483647 167717 27 | 0.000 % |
203.05/205.23 c | 167952 | 14569 183363 759436 | 2147483647 167952 27 | 0.000 % |
203.46/205.64 c | 168208 | 14569 183363 759436 | 2147483647 168208 27 | 0.000 % |
203.85/206.08 c | 168489 | 14569 183363 759436 | 2147483647 168489 27 | 0.000 % |
204.35/206.58 c | 168799 | 14569 183363 759436 | 2147483647 168799 27 | 0.000 % |
204.95/207.18 c | 169142 | 14569 183363 759436 | 2147483647 169142 27 | 0.000 % |
205.45/207.66 c | 169515 | 14569 183363 759436 | 2147483647 169515 27 | 0.000 % |
206.15/208.37 c | 169924 | 14569 183363 759436 | 2147483647 169924 27 | 0.000 % |
206.86/209.07 c | 170373 | 14569 183363 759436 | 2147483647 170373 27 | 0.000 % |
207.65/209.83 c | 170866 | 14569 183363 759436 | 2147483647 170866 27 | 0.000 % |
208.15/210.36 c | 171411 | 14569 183363 759436 | 2147483647 171411 27 | 0.000 % |
208.95/211.12 c | 172007 | 14569 183363 759436 | 2147483647 172007 27 | 0.000 % |
209.85/212.01 c | 172662 | 14569 183363 759436 | 2147483647 172662 27 | 0.000 % |
211.15/213.31 c | 173383 | 14569 183363 759436 | 2147483647 173383 27 | 0.000 % |
212.15/214.36 c | 174176 | 14569 183363 759436 | 2147483647 174176 27 | 0.000 % |
213.55/215.77 c | 175047 | 14569 183363 759436 | 2147483647 175047 27 | 0.000 % |
214.65/216.90 c | 176005 | 14569 183363 759436 | 2147483647 176005 27 | 0.000 % |
216.55/218.75 c | 177058 | 14569 183363 759436 | 2147483647 177058 27 | 0.000 % |
217.95/220.17 c | 178219 | 14569 183363 759436 | 2147483647 178219 27 | 0.000 % |
220.24/222.49 c | 179492 | 14569 183363 759436 | 2147483647 179492 27 | 0.000 % |
222.45/224.64 c | 180896 | 14569 183363 759436 | 2147483647 180896 27 | 0.000 % |
225.15/227.36 c | 182438 | 14569 183363 759436 | 2147483647 182438 27 | 0.000 % |
227.75/229.94 c | 184134 | 14569 183363 759436 | 2147483647 184134 27 | 0.000 % |
230.54/232.79 c | 185997 | 14569 183363 759436 | 2147483647 185997 27 | 0.000 % |
230.74/232.93 c | 186097 | 14569 183363 759436 | 2147483647 186097 27 | 0.000 % |
230.94/233.16 c | 186209 | 14569 183363 759436 | 2147483647 186209 27 | 0.000 % |
231.24/233.44 c | 186330 | 14569 183363 759436 | 2147483647 186330 27 | 0.000 % |
231.44/233.70 c | 186464 | 14569 183363 759436 | 2147483647 186464 27 | 0.000 % |
231.74/233.95 c | 186613 | 14569 183363 759436 | 2147483647 186613 27 | 0.000 % |
231.94/234.18 c | 186774 | 14569 183363 759436 | 2147483647 186774 27 | 0.000 % |
232.24/234.48 c | 186950 | 14569 183363 759436 | 2147483647 186950 27 | 0.000 % |
232.54/234.77 c | 187144 | 14569 183363 759436 | 2147483647 187144 27 | 0.000 % |
232.84/235.09 c | 187357 | 14569 183363 759436 | 2147483647 187357 27 | 0.000 % |
233.24/235.47 c | 187590 | 14569 183363 759436 | 2147483647 187590 27 | 0.000 % |
233.74/235.92 c | 187846 | 14569 183363 759436 | 2147483647 187846 27 | 0.000 % |
234.34/236.55 c | 188130 | 14569 183363 759436 | 2147483647 188130 27 | 0.000 % |
235.13/237.34 c | 188443 | 14569 183363 759436 | 2147483647 188443 27 | 0.000 % |
236.13/238.32 c | 188783 | 14569 183363 759436 | 2147483647 188783 27 | 0.000 % |
236.93/239.15 c | 189158 | 14569 183363 759436 | 2147483647 189158 27 | 0.000 % |
237.54/239.75 c | 189568 | 14569 183363 759436 | 2147483647 189568 27 | 0.000 % |
238.03/240.24 c | 190017 | 14569 183363 759436 | 2147483647 190017 27 | 0.000 % |
238.64/240.89 c | 190511 | 14569 183363 759436 | 2147483647 190511 27 | 0.000 % |
239.43/241.64 c | 191053 | 14569 183363 759436 | 2147483647 191053 27 | 0.000 % |
240.73/242.98 c | 191649 | 14569 183363 759436 | 2147483647 191649 27 | 0.000 % |
242.04/244.29 c | 192305 | 14569 183363 759436 | 2147483647 192305 27 | 0.000 % |
243.93/246.13 c | 193025 | 14569 183363 759436 | 2147483647 193025 27 | 0.000 % |
245.83/248.03 c | 193817 | 14569 183363 759436 | 2147483647 193817 27 | 0.000 % |
247.73/249.99 c | 194689 | 14569 183363 759436 | 2147483647 194689 27 | 0.000 % |
249.43/251.62 c | 195648 | 14569 183363 759436 | 2147483647 195648 27 | 0.000 % |
251.23/253.46 c | 196702 | 14569 183363 759436 | 2147483647 196702 27 | 0.000 % |
253.53/255.71 c | 197860 | 14569 183363 759436 | 2147483647 197860 27 | 0.000 % |
255.93/258.16 c | 199134 | 14569 183363 759436 | 2147483647 199134 27 | 0.000 % |
258.53/260.79 c | 200536 | 14569 183363 759436 | 2147483647 200536 27 | 0.000 % |
261.53/263.77 c | 202077 | 14569 183363 759436 | 2147483647 202077 27 | 0.000 % |
265.93/268.16 c | 203774 | 14569 183363 759436 | 2147483647 203774 27 | 0.000 % |
269.12/271.32 c | 205637 | 14569 183363 759436 | 2147483647 205637 27 | 0.000 % |
273.52/275.80 c | 207686 | 14569 183363 759436 | 2147483647 207686 27 | 0.000 % |
273.72/275.95 c | 207786 | 14569 183363 759436 | 2147483647 207786 27 | 0.000 % |
273.82/276.09 c | 207897 | 14569 183363 759436 | 2147483647 207897 27 | 0.000 % |
274.12/276.36 c | 208019 | 14569 183363 759436 | 2147483647 208019 27 | 0.000 % |
274.42/276.60 c | 208153 | 14569 183363 759436 | 2147483647 208153 27 | 0.000 % |
274.72/276.90 c | 208300 | 14569 183363 759436 | 2147483647 208300 27 | 0.000 % |
274.82/277.06 c | 208463 | 14569 183363 759436 | 2147483647 208463 27 | 0.000 % |
275.22/277.48 c | 208640 | 14569 183363 759436 | 2147483647 208640 27 | 0.000 % |
275.62/277.84 c | 208833 | 14569 183363 759436 | 2147483647 208833 27 | 0.000 % |
276.02/278.29 c | 209045 | 14569 183363 759436 | 2147483647 209045 27 | 0.000 % |
276.52/278.71 c | 209278 | 14569 183363 759436 | 2147483647 209278 27 | 0.000 % |
276.92/279.13 c | 209534 | 14569 183363 759436 | 2147483647 209534 27 | 0.000 % |
277.52/279.78 c | 209815 | 14569 183363 759436 | 2147483647 209815 27 | 0.000 % |
278.12/280.34 c | 210124 | 14569 183363 759436 | 2147483647 210124 27 | 0.000 % |
278.61/280.80 c | 210463 | 14569 183363 759436 | 2147483647 210463 27 | 0.000 % |
279.21/281.43 c | 210835 | 14569 183363 759436 | 2147483647 210835 27 | 0.000 % |
279.91/282.18 c | 211245 | 14569 183363 759436 | 2147483647 211245 27 | 0.000 % |
280.91/283.16 c | 211699 | 14569 183363 759436 | 2147483647 211699 27 | 0.000 % |
281.91/284.17 c | 212193 | 14569 183363 759436 | 2147483647 212193 27 | 0.000 % |
282.81/285.08 c | 212737 | 14569 183363 759436 | 2147483647 212737 27 | 0.000 % |
283.81/286.03 c | 213333 | 14569 183363 759436 | 2147483647 213333 27 | 0.000 % |
285.21/287.41 c | 213991 | 14569 183363 759436 | 2147483647 213991 27 | 0.000 % |
286.61/288.88 c | 214711 | 14569 183363 759436 | 2147483647 214711 27 | 0.000 % |
288.21/290.41 c | 215503 | 14569 183363 759436 | 2147483647 215503 27 | 0.000 % |
289.81/292.07 c | 216374 | 14569 183363 759436 | 2147483647 216374 27 | 0.000 % |
291.21/293.44 c | 217333 | 14569 183363 759436 | 2147483647 217333 27 | 0.000 % |
292.71/294.91 c | 218386 | 14569 183363 759436 | 2147483647 218386 27 | 0.000 % |
294.61/296.88 c | 219544 | 14569 183363 759436 | 2147483647 219544 27 | 0.000 % |
296.71/298.90 c | 220819 | 14569 183363 759436 | 2147483647 220819 28 | 0.000 % |
299.11/301.35 c | 222219 | 14569 183363 759436 | 2147483647 222219 27 | 0.000 % |
302.01/304.27 c | 223759 | 14569 183363 759436 | 2147483647 223759 28 | 0.000 % |
306.51/308.75 c | 225453 | 14569 183363 759436 | 2147483647 225453 28 | 0.000 % |
310.70/312.99 c | 227316 | 14569 183363 759436 | 2147483647 227316 28 | 0.000 % |
315.70/317.95 c | 229365 | 14569 183363 759436 | 2147483647 229365 28 | 0.000 % |
320.89/323.16 c | 231619 | 14569 183363 759436 | 2147483647 231619 28 | 0.000 % |
321.09/323.34 c | 231719 | 14569 183363 759436 | 2147483647 231719 28 | 0.000 % |
321.29/323.50 c | 231832 | 14569 183363 759436 | 2147483647 231832 28 | 0.000 % |
321.49/323.77 c | 231953 | 14569 183363 759436 | 2147483647 231953 28 | 0.000 % |
321.69/323.97 c | 232087 | 14569 183363 759436 | 2147483647 232087 28 | 0.000 % |
321.99/324.25 c | 232233 | 14569 183363 759436 | 2147483647 232233 28 | 0.000 % |
322.39/324.62 c | 232393 | 14569 183363 759436 | 2147483647 232393 28 | 0.000 % |
322.69/324.97 c | 232569 | 14569 183363 759436 | 2147483647 232569 28 | 0.000 % |
323.19/325.42 c | 232762 | 14569 183363 759436 | 2147483647 232762 28 | 0.000 % |
323.49/325.75 c | 232974 | 14569 183363 759436 | 2147483647 232974 28 | 0.000 % |
323.99/326.23 c | 233208 | 14569 183363 759436 | 2147483647 233208 28 | 0.000 % |
324.39/326.62 c | 233464 | 14569 183363 759436 | 2147483647 233464 28 | 0.000 % |
324.79/327.02 c | 233745 | 14569 183363 759436 | 2147483647 233745 28 | 0.000 % |
325.29/327.58 c | 234054 | 14569 183363 759436 | 2147483647 234054 28 | 0.000 % |
325.89/328.15 c | 234393 | 14569 183363 759436 | 2147483647 234393 28 | 0.000 % |
326.79/329.04 c | 234766 | 14569 183363 759436 | 2147483647 234766 28 | 0.000 % |
327.38/329.62 c | 235176 | 14569 183363 759436 | 2147483647 235176 28 | 0.000 % |
328.18/330.43 c | 235628 | 14569 183363 759436 | 2147483647 235628 28 | 0.000 % |
329.28/331.58 c | 236123 | 14569 183363 759436 | 2147483647 236123 28 | 0.000 % |
330.48/332.79 c | 236665 | 14569 183363 759436 | 2147483647 236665 28 | 0.000 % |
332.28/334.55 c | 237262 | 14569 183363 759436 | 2147483647 237262 28 | 0.000 % |
334.19/336.48 c | 237917 | 14569 183363 759436 | 2147483647 237917 28 | 0.000 % |
336.19/338.43 c | 238639 | 14569 183363 759436 | 2147483647 238639 28 | 0.000 % |
338.29/340.56 c | 239432 | 14569 183363 759436 | 2147483647 239432 28 | 0.000 % |
340.99/343.29 c | 240304 | 14569 183363 759436 | 2147483647 240304 28 | 0.000 % |
343.69/345.90 c | 241262 | 14569 183363 759436 | 2147483647 241262 28 | 0.000 % |
346.59/348.86 c | 242317 | 14569 183363 759436 | 2147483647 242317 28 | 0.000 % |
349.18/351.42 c | 243477 | 14569 183363 759436 | 2147483647 243477 28 | 0.000 % |
351.78/354.08 c | 244750 | 14569 183363 759436 | 2147483647 244750 28 | 0.000 % |
355.58/357.84 c | 246150 | 14569 183363 759436 | 2147483647 246150 28 | 0.000 % |
358.48/360.71 c | 247690 | 14569 183363 759436 | 2147483647 247690 28 | 0.000 % |
361.77/364.01 c | 249384 | 14569 183363 759436 | 2147483647 249384 28 | 0.000 % |
366.17/368.46 c | 251247 | 14569 183363 759436 | 2147483647 251247 28 | 0.000 % |
370.27/372.57 c | 253300 | 14569 183363 759436 | 2147483647 253300 28 | 0.000 % |
375.57/377.88 c | 255553 | 14569 183363 759436 | 2147483647 255553 28 | 0.000 % |
381.77/384.02 c | 258031 | 14569 183363 759436 | 2147483647 258031 28 | 0.000 % |
381.97/384.26 c | 258131 | 14569 183363 759436 | 2147483647 258131 28 | 0.000 % |
382.37/384.63 c | 258244 | 14569 183363 759436 | 2147483647 258244 28 | 0.000 % |
382.67/384.99 c | 258365 | 14569 183363 759436 | 2147483647 258365 28 | 0.000 % |
383.07/385.34 c | 258498 | 14569 183363 759436 | 2147483647 258498 28 | 0.000 % |
383.37/385.66 c | 258644 | 14569 183363 759436 | 2147483647 258644 28 | 0.000 % |
383.87/386.12 c | 258805 | 14569 183363 759436 | 2147483647 258805 28 | 0.000 % |
384.26/386.59 c | 258982 | 14569 183363 759436 | 2147483647 258982 28 | 0.000 % |
384.87/387.13 c | 259178 | 14569 183363 759436 | 2147483647 259178 28 | 0.000 % |
385.56/387.84 c | 259391 | 14569 183363 759436 | 2147483647 259391 28 | 0.000 % |
386.16/388.44 c | 259626 | 14569 183363 759436 | 2147483647 259626 28 | 0.000 % |
386.86/389.12 c | 259882 | 14569 183363 759436 | 2147483647 259882 28 | 0.000 % |
387.46/389.77 c | 260163 | 14569 183363 759436 | 2147483647 260163 28 | 0.000 % |
388.06/390.38 c | 260473 | 14569 183363 759436 | 2147483647 260473 28 | 0.000 % |
388.76/391.06 c | 260812 | 14569 183363 759436 | 2147483647 260812 28 | 0.000 % |
389.46/391.77 c | 261185 | 14569 183363 759436 | 2147483647 261185 28 | 0.000 % |
390.06/392.35 c | 261594 | 14569 183363 759436 | 2147483647 261594 28 | 0.000 % |
390.96/393.24 c | 262044 | 14569 183363 759436 | 2147483647 262044 28 | 0.000 % |
392.06/394.33 c | 262540 | 14569 183363 759436 | 2147483647 262540 28 | 0.000 % |
393.26/395.52 c | 263083 | 14569 183363 759436 | 2147483647 263083 28 | 0.000 % |
394.36/396.62 c | 263679 | 14569 183363 759436 | 2147483647 263679 28 | 0.000 % |
395.96/398.20 c | 264334 | 14569 183363 759436 | 2147483647 264334 28 | 0.000 % |
397.55/399.80 c | 265054 | 14569 183363 759436 | 2147483647 265054 28 | 0.000 % |
399.65/401.91 c | 265846 | 14569 183363 759436 | 2147483647 265846 28 | 0.000 % |
401.76/404.03 c | 266717 | 14569 183363 759436 | 2147483647 266717 28 | 0.000 % |
403.66/405.91 c | 267675 | 14569 183363 759436 | 2147483647 267675 28 | 0.000 % |
406.46/408.73 c | 268733 | 14569 183363 759436 | 2147483647 268733 28 | 0.000 % |
409.25/411.59 c | 269891 | 14569 183363 759436 | 2147483647 269891 28 | 0.000 % |
412.36/414.67 c | 271164 | 14569 183363 759436 | 2147483647 271164 29 | 0.000 % |
414.95/417.25 c | 272565 | 14569 183363 759436 | 2147483647 272565 29 | 0.000 % |
417.65/419.91 c | 274105 | 14569 183363 759436 | 2147483647 274105 29 | 0.000 % |
421.25/423.51 c | 275799 | 14569 183363 759436 | 2147483647 275799 29 | 0.000 % |
424.75/427.07 c | 277662 | 14569 183363 759436 | 2147483647 277662 29 | 0.000 % |
429.54/431.81 c | 279711 | 14569 183363 759436 | 2147483647 279711 29 | 0.000 % |
433.94/436.20 c | 281964 | 14569 183363 759436 | 2147483647 281964 29 | 0.000 % |
439.75/442.03 c | 284443 | 14569 183363 759436 | 2147483647 284443 29 | 0.000 % |
447.24/449.56 c | 287168 | 14569 183363 759436 | 2147483647 287168 29 | 0.000 % |
447.54/449.89 c | 287270 | 14569 183363 759436 | 2147483647 287270 29 | 0.000 % |
447.84/450.11 c | 287380 | 14569 183363 759436 | 2147483647 287380 29 | 0.000 % |
448.14/450.40 c | 287503 | 14569 183363 759436 | 2147483647 287503 29 | 0.000 % |
448.44/450.72 c | 287638 | 14569 183363 759436 | 2147483647 287638 29 | 0.000 % |
448.74/451.05 c | 287785 | 14569 183363 759436 | 2147483647 287785 29 | 0.000 % |
449.14/451.43 c | 287946 | 14569 183363 759436 | 2147483647 287946 29 | 0.000 % |
449.44/451.79 c | 288122 | 14569 183363 759436 | 2147483647 288122 29 | 0.000 % |
449.94/452.28 c | 288315 | 14569 183363 759436 | 2147483647 288315 29 | 0.000 % |
450.44/452.77 c | 288530 | 14569 183363 759436 | 2147483647 288530 29 | 0.000 % |
451.24/453.55 c | 288764 | 14569 183363 759436 | 2147483647 288764 29 | 0.000 % |
451.94/454.25 c | 289021 | 14569 183363 759436 | 2147483647 289021 29 | 0.000 % |
452.73/455.05 c | 289302 | 14569 183363 759436 | 2147483647 289302 29 | 0.000 % |
453.43/455.76 c | 289611 | 14569 183363 759436 | 2147483647 289611 29 | 0.000 % |
455.03/457.33 c | 289950 | 14569 183363 759436 | 2147483647 289950 29 | 0.000 % |
456.03/458.31 c | 290323 | 14569 183363 759436 | 2147483647 290323 29 | 0.000 % |
456.93/459.28 c | 290735 | 14569 183363 759436 | 2147483647 290735 29 | 0.000 % |
458.13/460.45 c | 291185 | 14569 183363 759436 | 2147483647 291185 29 | 0.000 % |
459.73/462.01 c | 291679 | 14569 183363 759436 | 2147483647 291679 29 | 0.000 % |
460.93/463.26 c | 292223 | 14569 183363 759436 | 2147483647 292223 29 | 0.000 % |
462.53/464.85 c | 292819 | 14569 183363 759436 | 2147483647 292819 29 | 0.000 % |
464.03/466.36 c | 293475 | 14569 183363 759436 | 2147483647 293475 29 | 0.000 % |
466.23/468.59 c | 294195 | 14569 183363 759436 | 2147483647 294195 29 | 0.000 % |
468.43/470.73 c | 294988 | 14569 183363 759436 | 2147483647 294988 29 | 0.000 % |
471.22/473.57 c | 295859 | 14569 183363 759436 | 2147483647 295859 29 | 0.000 % |
473.93/476.29 c | 296817 | 14569 183363 759436 | 2147483647 296817 29 | 0.000 % |
476.43/478.77 c | 297870 | 14569 183363 759436 | 2147483647 297870 29 | 0.000 % |
478.83/481.19 c | 299028 | 14569 183363 759436 | 2147483647 299028 29 | 0.000 % |
481.43/483.74 c | 300303 | 14569 183363 759436 | 2147483647 300303 29 | 0.000 % |
485.22/487.54 c | 301703 | 14569 183363 759436 | 2147483647 301703 29 | 0.000 % |
489.62/491.90 c | 303243 | 14569 183363 759436 | 2147483647 303243 29 | 0.000 % |
493.72/496.10 c | 304941 | 14569 183363 759436 | 2147483647 304941 29 | 0.000 % |
499.11/501.49 c | 306804 | 14569 183363 759436 | 2147483647 306804 29 | 0.000 % |
503.91/506.29 c | 308853 | 14569 183363 759436 | 2147483647 308853 29 | 0.000 % |
511.91/514.22 c | 311108 | 14569 183363 759436 | 2147483647 311108 29 | 0.000 % |
519.50/521.84 c | 313586 | 14569 183363 759436 | 2147483647 313586 29 | 0.000 % |
524.50/526.87 c | 316314 | 14569 183363 759436 | 2147483647 316314 29 | 0.000 % |
534.10/536.42 c | 319312 | 14569 183363 759436 | 2147483647 319312 29 | 0.000 % |
534.40/536.72 c | 319413 | 14569 183363 759436 | 2147483647 319413 29 | 0.000 % |
534.69/537.00 c | 319523 | 14569 183363 759436 | 2147483647 319523 29 | 0.000 % |
534.99/537.33 c | 319645 | 14569 183363 759436 | 2147483647 319645 29 | 0.000 % |
535.30/537.65 c | 319779 | 14569 183363 759436 | 2147483647 319779 29 | 0.000 % |
535.69/538.05 c | 319928 | 14569 183363 759436 | 2147483647 319928 29 | 0.000 % |
536.19/538.57 c | 320090 | 14569 183363 759436 | 2147483647 320090 29 | 0.000 % |
536.89/539.22 c | 320266 | 14569 183363 759436 | 2147483647 320266 29 | 0.000 % |
537.39/539.78 c | 320459 | 14569 183363 759436 | 2147483647 320459 29 | 0.000 % |
537.99/540.38 c | 320672 | 14569 183363 759436 | 2147483647 320672 29 | 0.000 % |
538.59/540.91 c | 320907 | 14569 183363 759436 | 2147483647 320907 29 | 0.000 % |
539.29/541.60 c | 321166 | 14569 183363 759436 | 2147483647 321166 29 | 0.000 % |
540.19/542.50 c | 321448 | 14569 183363 759436 | 2147483647 321448 29 | 0.000 % |
541.19/543.50 c | 321757 | 14569 183363 759436 | 2147483647 321757 29 | 0.000 % |
542.10/544.45 c | 322097 | 14569 183363 759436 | 2147483647 322097 29 | 0.000 % |
542.99/545.36 c | 322470 | 14569 183363 759436 | 2147483647 322470 29 | 0.000 % |
544.40/546.75 c | 322880 | 14569 183363 759436 | 2147483647 322880 29 | 0.000 % |
545.39/547.79 c | 323330 | 14569 183363 759436 | 2147483647 323330 29 | 0.000 % |
546.49/548.82 c | 323823 | 14569 183363 759436 | 2147483647 323823 29 | 0.000 % |
547.39/549.74 c | 324365 | 14569 183363 759436 | 2147483647 324365 29 | 0.000 % |
548.79/551.18 c | 324962 | 14569 183363 759436 | 2147483647 324962 29 | 0.000 % |
549.69/552.01 c | 325620 | 14569 183363 759436 | 2147483647 325620 29 | 0.000 % |
550.99/553.32 c | 326342 | 14569 183363 759436 | 2147483647 326342 29 | 0.000 % |
552.19/554.54 c | 327134 | 14569 183363 759436 | 2147483647 327134 29 | 0.000 % |
554.19/556.58 c | 328005 | 14569 183363 759436 | 2147483647 328005 29 | 0.000 % |
555.99/558.38 c | 328963 | 14569 183363 759436 | 2147483647 328963 29 | 0.000 % |
558.59/561.00 c | 330016 | 14569 183363 759436 | 2147483647 330016 29 | 0.000 % |
561.99/564.31 c | 331174 | 14569 183363 759436 | 2147483647 331174 29 | 0.000 % |
565.29/567.61 c | 332447 | 14569 183363 759436 | 2147483647 332447 29 | 0.000 % |
568.78/571.12 c | 333847 | 14569 183363 759436 | 2147483647 333847 29 | 0.000 % |
571.58/573.98 c | 335387 | 14569 183363 759436 | 2147483647 335387 29 | 0.000 % |
575.28/577.65 c | 337081 | 14569 183363 759436 | 2147483647 337081 29 | 0.000 % |
578.77/581.15 c | 338944 | 14569 183363 759436 | 2147483647 338944 29 | 0.000 % |
584.27/586.62 c | 340995 | 14569 183363 759436 | 2147483647 340995 29 | 0.000 % |
590.47/592.83 c | 343248 | 14569 183363 759436 | 2147483647 343248 29 | 0.000 % |
599.47/601.87 c | 345726 | 14569 183363 759436 | 2147483647 345726 29 | 0.000 % |
608.37/610.77 c | 348451 | 14569 183363 759436 | 2147483647 348451 29 | 0.000 % |
616.47/618.80 c | 351448 | 14569 183363 759436 | 2147483647 351448 29 | 0.000 % |
626.66/629.09 c | 354745 | 14569 183363 759436 | 2147483647 354745 29 | 0.000 % |
627.06/629.48 c | 354846 | 14569 183363 759436 | 2147483647 354846 29 | 0.000 % |
627.36/629.75 c | 354957 | 14569 183363 759436 | 2147483647 354957 29 | 0.000 % |
627.66/630.01 c | 355078 | 14569 183363 759436 | 2147483647 355078 29 | 0.000 % |
627.96/630.32 c | 355211 | 14569 183363 759436 | 2147483647 355211 29 | 0.000 % |
628.36/630.72 c | 355357 | 14569 183363 759436 | 2147483647 355357 29 | 0.000 % |
628.56/630.95 c | 355518 | 14569 183363 759436 | 2147483647 355518 29 | 0.000 % |
628.96/631.33 c | 355696 | 14569 183363 759436 | 2147483647 355696 29 | 0.000 % |
629.56/631.94 c | 355892 | 14569 183363 759436 | 2147483647 355892 29 | 0.000 % |
629.96/632.38 c | 356105 | 14569 183363 759436 | 2147483647 356105 29 | 0.000 % |
630.55/632.98 c | 356339 | 14569 183363 759436 | 2147483647 356339 29 | 0.000 % |
631.05/633.46 c | 356595 | 14569 183363 759436 | 2147483647 356595 29 | 0.000 % |
631.85/634.23 c | 356876 | 14569 183363 759436 | 2147483647 356876 29 | 0.000 % |
632.65/635.00 c | 357188 | 14569 183363 759436 | 2147483647 357188 29 | 0.000 % |
633.65/636.01 c | 357530 | 14569 183363 759436 | 2147483647 357530 29 | 0.000 % |
635.05/637.42 c | 357902 | 14569 183363 759436 | 2147483647 357902 29 | 0.000 % |
636.15/638.52 c | 358311 | 14569 183363 759436 | 2147483647 358311 29 | 0.000 % |
637.75/640.12 c | 358760 | 14569 183363 759436 | 2147483647 358760 29 | 0.000 % |
639.25/641.67 c | 359254 | 14569 183363 759436 | 2147483647 359254 29 | 0.000 % |
640.45/642.90 c | 359796 | 14569 183363 759436 | 2147483647 359796 29 | 0.000 % |
641.65/644.03 c | 360392 | 14569 183363 759436 | 2147483647 360392 29 | 0.000 % |
643.15/645.58 c | 361049 | 14569 183363 759436 | 2147483647 361049 29 | 0.000 % |
644.85/647.22 c | 361771 | 14569 183363 759436 | 2147483647 361771 29 | 0.000 % |
647.45/649.86 c | 362563 | 14569 183363 759436 | 2147483647 362563 29 | 0.000 % |
649.55/651.91 c | 363435 | 14569 183363 759436 | 2147483647 363435 29 | 0.000 % |
652.34/654.79 c | 364393 | 14569 183363 759436 | 2147483647 364393 29 | 0.000 % |
656.34/658.77 c | 365448 | 14569 183363 759436 | 2147483647 365448 29 | 0.000 % |
658.84/661.24 c | 366607 | 14569 183363 759436 | 2147483647 366607 29 | 0.000 % |
662.84/665.26 c | 367880 | 14569 183363 759436 | 2147483647 367880 29 | 0.000 % |
668.24/670.62 c | 369282 | 14569 183363 759436 | 2147483647 369282 29 | 0.000 % |
672.23/674.67 c | 370822 | 14569 183363 759436 | 2147483647 370822 30 | 0.000 % |
676.53/678.98 c | 372517 | 14569 183363 759436 | 2147483647 372517 30 | 0.000 % |
682.03/684.42 c | 374380 | 14569 183363 759436 | 2147483647 374380 30 | 0.000 % |
687.72/690.17 c | 376429 | 14569 183363 759436 | 2147483647 376429 30 | 0.000 % |
692.73/695.13 c | 378687 | 14569 183363 759436 | 2147483647 378687 30 | 0.000 % |
698.42/700.83 c | 381165 | 14569 183363 759436 | 2147483647 381165 30 | 0.000 % |
705.03/707.50 c | 383890 | 14569 183363 759436 | 2147483647 383890 30 | 0.000 % |
715.82/718.22 c | 386887 | 14569 183363 759436 | 2147483647 386887 30 | 0.000 % |
727.71/730.14 c | 390183 | 14569 183363 759436 | 2147483647 390183 30 | 0.000 % |
739.71/742.15 c | 393810 | 14569 183363 759436 | 2147483647 393810 30 | 0.000 % |
740.01/742.48 c | 393910 | 14569 183363 759436 | 2147483647 393910 30 | 0.000 % |
740.41/742.80 c | 394023 | 14569 183363 759436 | 2147483647 394023 30 | 0.000 % |
740.61/743.06 c | 394144 | 14569 183363 759436 | 2147483647 394144 30 | 0.000 % |
741.01/743.46 c | 394280 | 14569 183363 759436 | 2147483647 394280 30 | 0.000 % |
741.41/743.85 c | 394427 | 14569 183363 759436 | 2147483647 394427 30 | 0.000 % |
741.80/744.27 c | 394587 | 14569 183363 759436 | 2147483647 394587 30 | 0.000 % |
742.31/744.71 c | 394765 | 14569 183363 759436 | 2147483647 394765 30 | 0.000 % |
742.70/745.12 c | 394958 | 14569 183363 759436 | 2147483647 394958 30 | 0.000 % |
743.21/745.62 c | 395171 | 14569 183363 759436 | 2147483647 395171 30 | 0.000 % |
743.71/746.12 c | 395405 | 14569 183363 759436 | 2147483647 395405 30 | 0.000 % |
744.41/746.81 c | 395663 | 14569 183363 759436 | 2147483647 395663 30 | 0.000 % |
744.91/747.39 c | 395946 | 14569 183363 759436 | 2147483647 395946 30 | 0.000 % |
745.81/748.26 c | 396257 | 14569 183363 759436 | 2147483647 396257 30 | 0.000 % |
747.01/749.43 c | 396597 | 14569 183363 759436 | 2147483647 396597 30 | 0.000 % |
747.91/750.34 c | 396969 | 14569 183363 759436 | 2147483647 396969 30 | 0.000 % |
749.11/751.53 c | 397380 | 14569 183363 759436 | 2147483647 397380 30 | 0.000 % |
750.71/753.17 c | 397831 | 14569 183363 759436 | 2147483647 397831 30 | 0.000 % |
752.41/754.89 c | 398327 | 14569 183363 759436 | 2147483647 398327 30 | 0.000 % |
753.91/756.38 c | 398870 | 14569 183363 759436 | 2147483647 398870 30 | 0.000 % |
755.91/758.35 c | 399468 | 14569 183363 759436 | 2147483647 399468 30 | 0.000 % |
758.11/760.57 c | 400124 | 14569 183363 759436 | 2147483647 400124 30 | 0.000 % |
760.10/762.50 c | 400846 | 14569 183363 759436 | 2147483647 400846 30 | 0.000 % |
762.40/764.82 c | 401638 | 14569 183363 759436 | 2147483647 401638 30 | 0.000 % |
764.10/766.51 c | 402509 | 14569 183363 759436 | 2147483647 402509 30 | 0.000 % |
765.80/768.27 c | 403469 | 14569 183363 759436 | 2147483647 403469 30 | 0.000 % |
769.09/771.51 c | 404522 | 14569 183363 759436 | 2147483647 404522 30 | 0.000 % |
771.59/774.04 c | 405682 | 14569 183363 759436 | 2147483647 405682 30 | 0.000 % |
775.19/777.68 c | 406958 | 14569 183363 759436 | 2147483647 406958 30 | 0.000 % |
778.29/780.74 c | 408359 | 14569 183363 759436 | 2147483647 408359 30 | 0.000 % |
782.39/784.81 c | 409899 | 14569 183363 759436 | 2147483647 409899 30 | 0.000 % |
785.69/788.12 c | 411593 | 14569 183363 759436 | 2147483647 411593 30 | 0.000 % |
791.58/794.03 c | 413456 | 14569 183363 759436 | 2147483647 413456 30 | 0.000 % |
798.38/800.83 c | 415505 | 14569 183363 759436 | 2147483647 415505 30 | 0.000 % |
806.78/809.28 c | 417761 | 14569 183363 759436 | 2147483647 417761 30 | 0.000 % |
816.17/818.67 c | 420240 | 14569 183363 759436 | 2147483647 420240 30 | 0.000 % |
826.47/828.94 c | 422969 | 14569 183363 759436 | 2147483647 422969 30 | 0.000 % |
837.17/839.62 c | 425966 | 14569 183363 759436 | 2147483647 425966 30 | 0.000 % |
846.46/848.99 c | 429262 | 14569 183363 759436 | 2147483647 429262 30 | 0.000 % |
857.15/859.67 c | 432888 | 14569 183363 759436 | 2147483647 432888 30 | 0.000 % |
869.55/872.08 c | 436875 | 14569 183363 759436 | 2147483647 436875 30 | 0.000 % |
869.95/872.41 c | 436976 | 14569 183363 759436 | 2147483647 436976 30 | 0.000 % |
870.25/872.72 c | 437086 | 14569 183363 759436 | 2147483647 437086 30 | 0.000 % |
870.65/873.11 c | 437209 | 14569 183363 759436 | 2147483647 437209 30 | 0.000 % |
871.15/873.63 c | 437346 | 14569 183363 759436 | 2147483647 437346 30 | 0.000 % |
871.65/874.12 c | 437492 | 14569 183363 759436 | 2147483647 437492 30 | 0.000 % |
872.25/874.71 c | 437653 | 14569 183363 759436 | 2147483647 437653 30 | 0.000 % |
872.85/875.32 c | 437829 | 14569 183363 759436 | 2147483647 437829 30 | 0.000 % |
873.45/875.96 c | 438024 | 14569 183363 759436 | 2147483647 438024 30 | 0.000 % |
874.05/876.59 c | 438236 | 14569 183363 759436 | 2147483647 438236 30 | 0.000 % |
874.65/877.18 c | 438469 | 14569 183363 759436 | 2147483647 438469 30 | 0.000 % |
876.05/878.55 c | 438725 | 14569 183363 759436 | 2147483647 438725 30 | 0.000 % |
876.95/879.46 c | 439007 | 14569 183363 759436 | 2147483647 439007 30 | 0.000 % |
878.15/880.62 c | 439316 | 14569 183363 759436 | 2147483647 439316 30 | 0.000 % |
879.35/881.83 c | 439657 | 14569 183363 759436 | 2147483647 439657 30 | 0.000 % |
880.55/883.00 c | 440031 | 14569 183363 759436 | 2147483647 440031 30 | 0.000 % |
881.75/884.27 c | 440440 | 14569 183363 759436 | 2147483647 440440 30 | 0.000 % |
883.15/885.65 c | 440890 | 14569 183363 759436 | 2147483647 440890 30 | 0.000 % |
884.65/887.11 c | 441386 | 14569 183363 759436 | 2147483647 441386 30 | 0.000 % |
885.95/888.42 c | 441929 | 14569 183363 759436 | 2147483647 441929 30 | 0.000 % |
887.75/890.24 c | 442526 | 14569 183363 759436 | 2147483647 442526 30 | 0.000 % |
890.55/893.06 c | 443181 | 14569 183363 759436 | 2147483647 443181 30 | 0.000 % |
892.05/894.55 c | 443904 | 14569 183363 759436 | 2147483647 443904 30 | 0.000 % |
894.54/897.01 c | 444697 | 14569 183363 759436 | 2147483647 444697 30 | 0.000 % |
897.04/899.56 c | 445568 | 14569 183363 759436 | 2147483647 445568 30 | 0.000 % |
899.94/902.49 c | 446526 | 14569 183363 759436 | 2147483647 446526 30 | 0.000 % |
904.34/906.81 c | 447579 | 14569 183363 759436 | 2147483647 447579 30 | 0.000 % |
910.23/912.70 c | 448737 | 14569 183363 759436 | 2147483647 448737 30 | 0.000 % |
913.84/916.39 c | 450010 | 14569 183363 759436 | 450001 450010 30 | 0.000 % |
919.73/922.20 c | 451410 | 14569 183363 759436 | 450001 396503 30 | 0.000 % |
924.83/927.39 c | 452952 | 14569 183363 759436 | 450001 398045 30 | 0.000 % |
930.63/933.13 c | 454648 | 14569 183363 759436 | 450001 399741 30 | 0.000 % |
937.33/939.87 c | 456511 | 14569 183363 759436 | 450001 401604 30 | 0.000 % |
943.12/945.64 c | 458560 | 14569 183363 759436 | 450001 403653 30 | 0.000 % |
949.42/951.94 c | 460814 | 14569 183363 759436 | 2147483647 405907 30 | 0.000 % |
956.62/959.17 c | 463293 | 14569 183363 759436 | 2147483647 408386 30 | 0.000 % |
966.01/968.53 c | 466018 | 14569 183363 759436 | 2147483647 411111 30 | 0.000 % |
976.21/978.75 c | 469016 | 14569 183363 759436 | 2147483647 414109 30 | 0.000 % |
985.80/988.33 c | 472312 | 14569 183363 759436 | 2147483647 417405 30 | 0.000 % |
998.89/1001.46 c | 475939 | 14569 183363 759436 | 2147483647 421032 30 | 0.000 % |
1012.79/1015.38 c | 479926 | 14569 183363 759436 | 2147483647 425019 30 | 0.000 % |
1028.38/1030.95 c | 484311 | 14569 183363 759436 | 2147483647 429404 30 | 0.000 % |
1028.78/1031.31 c | 484412 | 14569 183363 759436 | 2147483647 429505 30 | 0.000 % |
1029.18/1031.75 c | 484523 | 14569 183363 759436 | 2147483647 429616 30 | 0.000 % |
1029.68/1032.22 c | 484645 | 14569 183363 759436 | 2147483647 429738 30 | 0.000 % |
1030.18/1032.79 c | 484778 | 14569 183363 759436 | 2147483647 429871 30 | 0.000 % |
1030.88/1033.45 c | 484926 | 14569 183363 759436 | 2147483647 430019 30 | 0.000 % |
1031.38/1033.98 c | 485086 | 14569 183363 759436 | 2147483647 430179 30 | 0.000 % |
1031.98/1034.54 c | 485265 | 14569 183363 759436 | 2147483647 430358 30 | 0.000 % |
1032.48/1035.08 c | 485459 | 14569 183363 759436 | 2147483647 430552 30 | 0.000 % |
1033.38/1035.91 c | 485671 | 14569 183363 759436 | 2147483647 430764 30 | 0.000 % |
1034.28/1036.81 c | 485906 | 14569 183363 759436 | 2147483647 430999 30 | 0.000 % |
1035.08/1037.64 c | 486163 | 14569 183363 759436 | 2147483647 431256 30 | 0.000 % |
1036.07/1038.63 c | 486446 | 14569 183363 759436 | 2147483647 431539 30 | 0.000 % |
1037.37/1039.98 c | 486758 | 14569 183363 759436 | 2147483647 431851 30 | 0.000 % |
1038.77/1041.31 c | 487097 | 14569 183363 759436 | 2147483647 432190 30 | 0.000 % |
1039.97/1042.55 c | 487470 | 14569 183363 759436 | 2147483647 432563 30 | 0.000 % |
1041.07/1043.67 c | 487879 | 14569 183363 759436 | 2147483647 432972 30 | 0.000 % |
1042.17/1044.79 c | 488331 | 14569 183363 759436 | 2147483647 433424 30 | 0.000 % |
1043.47/1046.06 c | 488827 | 14569 183363 759436 | 2147483647 433920 30 | 0.000 % |
1045.47/1048.06 c | 489369 | 14569 183363 759436 | 2147483647 434462 30 | 0.000 % |
1047.57/1050.18 c | 489967 | 14569 183363 759436 | 2147483647 435060 30 | 0.000 % |
1050.07/1052.68 c | 490623 | 14569 183363 759436 | 435093 435716 30 | 0.000 % |
1053.37/1055.93 c | 491344 | 14569 183363 759436 | 435093 384191 30 | 0.000 % |
1056.17/1058.71 c | 492137 | 14569 183363 759436 | 435093 384984 30 | 0.000 % |
1057.97/1060.59 c | 493008 | 14569 183363 759436 | 435093 385855 30 | 0.000 % |
1060.27/1062.86 c | 493966 | 14569 183363 759436 | 435093 386813 30 | 0.000 % |
1062.37/1064.99 c | 495019 | 14569 183363 759436 | 435093 387866 30 | 0.000 % |
1065.97/1068.53 c | 496179 | 14569 183363 759436 | 435093 389026 30 | 0.000 % |
1069.97/1072.59 c | 497454 | 14569 183363 759436 | 435093 390301 30 | 0.000 % |
1074.66/1077.29 c | 498854 | 14569 183363 759436 | 435093 391701 30 | 0.000 % |
1078.85/1081.40 c | 500394 | 14569 183363 759436 | 392847 393241 30 | 0.000 % |
1084.05/1086.63 c | 502088 | 14569 183363 759436 | 392847 355611 29 | 0.000 % |
1090.75/1093.33 c | 503951 | 14569 183363 759436 | 392847 357474 30 | 0.000 % |
1097.65/1100.20 c | 506001 | 14569 183363 759436 | 392847 359524 30 | 0.000 % |
1104.35/1106.91 c | 508255 | 14569 183363 759436 | 392847 361778 30 | 0.000 % |
1113.24/1115.84 c | 510733 | 14569 183363 759436 | 2147483647 364256 30 | 0.000 % |
1122.64/1125.29 c | 513459 | 14569 183363 759436 | 2147483647 366982 30 | 0.000 % |
1132.43/1135.09 c | 516460 | 14569 183363 759436 | 2147483647 369983 30 | 0.000 % |
1143.93/1146.56 c | 519756 | 14569 183363 759436 | 2147483647 373279 30 | 0.000 % |
1151.53/1154.18 c | 523384 | 14569 183363 759436 | 373524 376907 30 | 0.000 % |
1160.72/1163.30 c | 527372 | 14569 183363 759436 | 373524 343205 30 | 0.000 % |
1171.71/1174.30 c | 531760 | 14569 183363 759436 | 2147483647 347593 30 | 0.000 % |
1186.61/1189.24 c | 536584 | 14569 183363 759436 | 2147483647 352417 30 | 0.000 % |
1186.91/1189.54 c | 536685 | 14569 183363 759436 | 2147483647 352518 30 | 0.000 % |
1187.31/1189.92 c | 536795 | 14569 183363 759436 | 2147483647 352628 30 | 0.000 % |
1187.61/1190.26 c | 536917 | 14569 183363 759436 | 2147483647 352750 30 | 0.000 % |
1187.91/1190.53 c | 537052 | 14569 183363 759436 | 2147483647 352885 30 | 0.000 % |
1188.31/1190.92 c | 537198 | 14569 183363 759436 | 2147483647 353031 30 | 0.000 % |
1188.61/1191.22 c | 537359 | 14569 183363 759436 | 2147483647 353192 30 | 0.000 % |
1188.91/1191.54 c | 537535 | 14569 183363 759436 | 2147483647 353368 30 | 0.000 % |
1189.41/1192.07 c | 537728 | 14569 183363 759436 | 2147483647 353561 30 | 0.000 % |
1189.91/1192.56 c | 537941 | 14569 183363 759436 | 2147483647 353774 30 | 0.000 % |
1190.61/1193.29 c | 538174 | 14569 183363 759436 | 2147483647 354007 30 | 0.000 % |
1191.21/1193.83 c | 538430 | 14569 183363 759436 | 2147483647 354263 30 | 0.000 % |
1191.91/1194.52 c | 538713 | 14569 183363 759436 | 2147483647 354546 30 | 0.000 % |
1192.31/1194.97 c | 539022 | 14569 183363 759436 | 2147483647 354855 30 | 0.000 % |
1194.01/1196.60 c | 539363 | 14569 183363 759436 | 2147483647 355196 30 | 0.000 % |
1195.21/1197.83 c | 539736 | 14569 183363 759436 | 2147483647 355569 30 | 0.000 % |
1196.31/1199.00 c | 540146 | 14569 183363 759436 | 2147483647 355979 30 | 0.000 % |
1198.00/1200.61 c | 540595 | 14569 183363 759436 | 2147483647 356428 30 | 0.000 % |
1199.50/1202.13 c | 541088 | 14569 183363 759436 | 2147483647 356921 30 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832057-1242769118/watcher-1832057-1242769118 -o /tmp/evaluation-result-1832057-1242769118/solver-1832057-1242769118 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832057-1242769118.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 31411
/proc/meminfo: memFree=1887872/2055920 swapFree=4180328/4192956
[pid=31411] ppid=31409 vsize=5356 CPUtime=0
/proc/31411/stat : 31411 (SatELiteGTI) R 31409 31411 31324 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 304940961 5484544 174 1992294400 4194304 4889804 548682068832 18446744073709551615 270187008737 0 0 4100 0 0 0 0 17 1 0 0
/proc/31411/statm: 1339 179 146 169 0 50 0
[startup+0.0532331 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 31411
/proc/meminfo: memFree=1887872/2055920 swapFree=4180328/4192956
[pid=31411] ppid=31409 vsize=5356 CPUtime=0
/proc/31411/stat : 31411 (SatELiteGTI) S 31409 31411 31324 0 -1 4194304 310 249 0 0 0 0 0 0 20 0 1 0 304940961 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31411/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101237 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 31411
/proc/meminfo: memFree=1887872/2055920 swapFree=4180328/4192956
[pid=31411] ppid=31409 vsize=5356 CPUtime=0
/proc/31411/stat : 31411 (SatELiteGTI) S 31409 31411 31324 0 -1 4194304 310 249 0 0 0 0 0 0 20 0 1 0 304940961 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31411/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301259 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 31411
/proc/meminfo: memFree=1887872/2055920 swapFree=4180328/4192956
[pid=31411] ppid=31409 vsize=5356 CPUtime=0
/proc/31411/stat : 31411 (SatELiteGTI) S 31409 31411 31324 0 -1 4194304 310 249 0 0 0 0 0 0 20 0 1 0 304940961 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31411/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701303 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 31411
/proc/meminfo: memFree=1887872/2055920 swapFree=4180328/4192956
[pid=31411] ppid=31409 vsize=5356 CPUtime=0
/proc/31411/stat : 31411 (SatELiteGTI) S 31409 31411 31324 0 -1 4194304 310 249 0 0 0 0 0 0 20 0 1 0 304940961 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31411/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50139 s]
/proc/loadavg: 1.16 1.03 1.01 1/67 31416
/proc/meminfo: memFree=1842544/2055920 swapFree=4180328/4192956
[pid=31411] ppid=31409 vsize=5356 CPUtime=0
/proc/31411/stat : 31411 (SatELiteGTI) S 31409 31411 31324 0 -1 4194304 310 249 0 0 0 0 0 0 20 0 1 0 304940961 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31411/statm: 1339 237 197 169 0 50 0
[pid=31416] ppid=31411 vsize=51452 CPUtime=0.66
/proc/31416/stat : 31416 (SatELite_releas) D 31411 31411 31324 0 -1 4194304 11937 0 0 0 59 7 0 0 20 0 1 0 304940962 52686848 11661 1992294400 134512640 135223648 4294956128 18446744073709551615 134737406 0 0 4096 3 18446744071563608240 0 0 17 0 0 0
/proc/31416/statm: 12863 11661 76 173 0 12688 0
Current children cumulated CPU time (s) 0.66
Current children cumulated vsize (KiB) 56808
[startup+3.10158 s]
/proc/loadavg: 1.16 1.03 1.01 2/67 31416
/proc/meminfo: memFree=1836976/2055920 swapFree=4180328/4192956
[pid=31411] ppid=31409 vsize=5356 CPUtime=0
/proc/31411/stat : 31411 (SatELiteGTI) S 31409 31411 31324 0 -1 4194304 310 249 0 0 0 0 0 0 20 0 1 0 304940961 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31411/statm: 1339 237 197 169 0 50 0
[pid=31416] ppid=31411 vsize=58192 CPUtime=1.89
/proc/31416/stat : 31416 (SatELite_releas) R 31411 31411 31324 0 -1 4194304 13396 0 0 0 178 11 0 0 25 0 1 0 304940962 59588608 13120 1992294400 134512640 135223648 4294956128 18446744073709551615 134719062 0 0 4096 3 0 0 0 17 0 0 0
/proc/31416/statm: 14548 13120 76 173 0 14373 0
Current children cumulated CPU time (s) 1.89
Current children cumulated vsize (KiB) 63548
heavy processes:
[startup+6.30195 s]
/proc/loadavg: 1.16 1.03 1.01 2/67 31416
/proc/meminfo: memFree=1819376/2055920 swapFree=4180328/4192956
[pid=31411] ppid=31409 vsize=5356 CPUtime=0
/proc/31411/stat : 31411 (SatELiteGTI) S 31409 31411 31324 0 -1 4194304 310 249 0 0 0 0 0 0 20 0 1 0 304940961 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31411/statm: 1339 237 197 169 0 50 0
[pid=31416] ppid=31411 vsize=60260 CPUtime=4.31
/proc/31416/stat : 31416 (SatELite_releas) R 31411 31411 31324 0 -1 4194304 15197 0 0 0 419 12 0 0 18 0 1 0 304940962 61706240 13592 1992294400 134512640 135223648 4294956128 18446744073709551615 134818992 0 0 4096 3 0 0 0 17 1 0 0
/proc/31416/statm: 15065 13592 76 173 0 14890 0
Current children cumulated CPU time (s) 4.31
Current children cumulated vsize (KiB) 65616
heavy processes:
[startup+12.7017 s]
/proc/loadavg: 1.21 1.05 1.02 2/67 31417
/proc/meminfo: memFree=1859632/2055920 swapFree=4180328/4192956
[pid=31411] ppid=31409 vsize=5356 CPUtime=4.54
/proc/31411/stat : 31411 (SatELiteGTI) S 31409 31411 31324 0 -1 4194304 336 15448 0 0 0 0 439 15 18 0 1 0 304940961 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31411/statm: 1339 239 197 169 0 50 0
[pid=31417] ppid=31411 vsize=13608 CPUtime=6.16
/proc/31417/stat : 31417 (minisat_static) R 31411 31411 31324 0 -1 4194304 3237 0 0 0 615 1 0 0 25 0 1 0 304941614 13934592 3223 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/31417/statm: 3402 3223 77 171 0 3229 0
Current children cumulated CPU time (s) 10.7
Current children cumulated vsize (KiB) 18964
[startup+25.5011 s]
/proc/loadavg: 1.18 1.05 1.01 2/67 31417
/proc/meminfo: memFree=1857520/2055920 swapFree=4180328/4192956
[pid=31411] ppid=31409 vsize=5356 CPUtime=4.54
/proc/31411/stat : 31411 (SatELiteGTI) S 31409 31411 31324 0 -1 4194304 336 15448 0 0 0 0 439 15 18 0 1 0 304940961 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31411/statm: 1339 239 197 169 0 50 0
[pid=31417] ppid=31411 vsize=15896 CPUtime=18.96
/proc/31417/stat : 31417 (minisat_static) R 31411 31411 31324 0 -1 4194304 3791 0 0 0 1893 3 0 0 25 0 1 0 304941614 16277504 3777 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/31417/statm: 3974 3777 77 171 0 3801 0
Current children cumulated CPU time (s) 23.5
Current children cumulated vsize (KiB) 21252
[startup+51.101 s]
/proc/loadavg: 1.11 1.04 1.01 2/67 31417
/proc/meminfo: memFree=1853680/2055920 swapFree=4180328/4192956
[pid=31411] ppid=31409 vsize=5356 CPUtime=4.54
/proc/31411/stat : 31411 (SatELiteGTI) S 31409 31411 31324 0 -1 4194304 336 15448 0 0 0 0 439 15 18 0 1 0 304940961 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31411/statm: 1339 239 197 169 0 50 0
[pid=31417] ppid=31411 vsize=19840 CPUtime=44.53
/proc/31417/stat : 31417 (minisat_static) R 31411 31411 31324 0 -1 4194304 4772 0 0 0 4449 4 0 0 25 0 1 0 304941614 20316160 4758 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/31417/statm: 4960 4758 77 171 0 4787 0
Current children cumulated CPU time (s) 49.07
Current children cumulated vsize (KiB) 25196
[startup+102.306 s]
/proc/loadavg: 1.04 1.03 1.01 2/67 31417
/proc/meminfo: memFree=1846960/2055920 swapFree=4180328/4192956
[pid=31411] ppid=31409 vsize=5356 CPUtime=4.54
/proc/31411/stat : 31411 (SatELiteGTI) S 31409 31411 31324 0 -1 4194304 336 15448 0 0 0 0 439 15 18 0 1 0 304940961 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31411/statm: 1339 239 197 169 0 50 0
[pid=31417] ppid=31411 vsize=26628 CPUtime=95.68
/proc/31417/stat : 31417 (minisat_static) R 31411 31411 31324 0 -1 4194304 6440 0 0 0 9561 7 0 0 25 0 1 0 304941614 27267072 6426 1992294400 134512640 135215339 4294956240 18446744073709551615 134529169 0 0 4096 3 0 0 0 17 0 0 0
/proc/31417/statm: 6657 6426 77 171 0 6484 0
Current children cumulated CPU time (s) 100.22
Current children cumulated vsize (KiB) 31984
[startup+162.302 s]
/proc/loadavg: 1.01 1.02 1.00 2/67 31417
/proc/meminfo: memFree=1840240/2055920 swapFree=4180328/4192956
[pid=31411] ppid=31409 vsize=5356 CPUtime=4.54
/proc/31411/stat : 31411 (SatELiteGTI) S 31409 31411 31324 0 -1 4194304 336 15448 0 0 0 0 439 15 18 0 1 0 304940961 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31411/statm: 1339 239 197 169 0 50 0
[pid=31417] ppid=31411 vsize=33368 CPUtime=155.65
/proc/31417/stat : 31417 (minisat_static) R 31411 31411 31324 0 -1 4194304 8104 0 0 0 15557 8 0 0 25 0 1 0 304941614 34168832 8090 1992294400 134512640 135215339 4294956240 18446744073709551615 134525115 0 0 4096 3 0 0 0 17 0 0 0
/proc/31417/statm: 8342 8090 77 171 0 8169 0
Current children cumulated CPU time (s) 160.19
Current children cumulated vsize (KiB) 38724
[startup+222.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/67 31417
/proc/meminfo: memFree=1834736/2055920 swapFree=4180328/4192956
[pid=31411] ppid=31409 vsize=5356 CPUtime=4.54
/proc/31411/stat : 31411 (SatELiteGTI) S 31409 31411 31324 0 -1 4194304 336 15448 0 0 0 0 439 15 18 0 1 0 304940961 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31411/statm: 1339 239 197 169 0 50 0
[pid=31417] ppid=31411 vsize=38564 CPUtime=215.6
/proc/31417/stat : 31417 (minisat_static) R 31411 31411 31324 0 -1 4194304 9432 0 0 0 21551 9 0 0 25 0 1 0 304941614 39489536 9418 1992294400 134512640 135215339 4294956240 18446744073709551615 134529148 0 0 4096 3 0 0 0 17 0 0 0
/proc/31417/statm: 9641 9418 77 171 0 9468 0
Current children cumulated CPU time (s) 220.14
Current children cumulated vsize (KiB) 43920
[startup+282.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/67 31417
/proc/meminfo: memFree=1829616/2055920 swapFree=4180328/4192956
[pid=31411] ppid=31409 vsize=5356 CPUtime=4.54
/proc/31411/stat : 31411 (SatELiteGTI) S 31409 31411 31324 0 -1 4194304 336 15448 0 0 0 0 439 15 18 0 1 0 304940961 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31411/statm: 1339 239 197 169 0 50 0
[pid=31417] ppid=31411 vsize=44048 CPUtime=275.57
/proc/31417/stat : 31417 (minisat_static) R 31411 31411 31324 0 -1 4194304 10727 0 0 0 27546 11 0 0 25 0 1 0 304941614 45105152 10713 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/31417/statm: 11012 10713 77 171 0 10839 0
Current children cumulated CPU time (s) 280.11
Current children cumulated vsize (KiB) 49404
[startup+342.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/67 31419
/proc/meminfo: memFree=1824816/2055920 swapFree=4180328/4192956
[pid=31411] ppid=31409 vsize=5356 CPUtime=4.54
/proc/31411/stat : 31411 (SatELiteGTI) S 31409 31411 31324 0 -1 4194304 336 15448 0 0 0 0 439 15 18 0 1 0 304940961 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31411/statm: 1339 239 197 169 0 50 0
[pid=31417] ppid=31411 vsize=48612 CPUtime=335.55
/proc/31417/stat : 31417 (minisat_static) R 31411 31411 31324 0 -1 4194304 11887 0 0 0 33542 13 0 0 25 0 1 0 304941614 49778688 11873 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/31417/statm: 12153 11873 77 171 0 11980 0
Current children cumulated CPU time (s) 340.09
Current children cumulated vsize (KiB) 53968
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31419
/proc/meminfo: memFree=1820208/2055920 swapFree=4180328/4192956
[pid=31411] ppid=31409 vsize=5356 CPUtime=4.54
/proc/31411/stat : 31411 (SatELiteGTI) S 31409 31411 31324 0 -1 4194304 336 15448 0 0 0 0 439 15 18 0 1 0 304940961 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31411/statm: 1339 239 197 169 0 50 0
[pid=31417] ppid=31411 vsize=52936 CPUtime=395.52
/proc/31417/stat : 31417 (minisat_static) R 31411 31411 31324 0 -1 4194304 13007 0 0 0 39537 15 0 0 25 0 1 0 304941614 54206464 12993 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/31417/statm: 13234 12993 77 171 0 13061 0
Current children cumulated CPU time (s) 400.06
Current children cumulated vsize (KiB) 58292
################
# More data... #
################
/proc/31417/statm: 15392 15000 77 171 0 15219 0
Current children cumulated CPU time (s) 520
Current children cumulated vsize (KiB) 66924
[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31419
/proc/meminfo: memFree=1808048/2055920 swapFree=4180328/4192956
[pid=31411] ppid=31409 vsize=5356 CPUtime=4.54
/proc/31411/stat : 31411 (SatELiteGTI) S 31409 31411 31324 0 -1 4194304 336 15448 0 0 0 0 439 15 18 0 1 0 304940961 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31411/statm: 1339 239 197 169 0 50 0
[pid=31417] ppid=31411 vsize=65348 CPUtime=575.43
/proc/31417/stat : 31417 (minisat_static) R 31411 31411 31324 0 -1 4194304 15973 0 0 0 57525 18 0 0 25 0 1 0 304941614 66916352 15959 1992294400 134512640 135215339 4294956240 18446744073709551615 134528697 0 0 4096 3 0 0 0 17 0 0 0
/proc/31417/statm: 16337 15959 77 171 0 16164 0
Current children cumulated CPU time (s) 579.97
Current children cumulated vsize (KiB) 70704
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31419
/proc/meminfo: memFree=1804400/2055920 swapFree=4180328/4192956
[pid=31411] ppid=31409 vsize=5356 CPUtime=4.54
/proc/31411/stat : 31411 (SatELiteGTI) S 31409 31411 31324 0 -1 4194304 336 15448 0 0 0 0 439 15 18 0 1 0 304940961 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31411/statm: 1339 239 197 169 0 50 0
[pid=31417] ppid=31411 vsize=68816 CPUtime=635.41
/proc/31417/stat : 31417 (minisat_static) R 31411 31411 31324 0 -1 4194304 16856 0 0 0 63522 19 0 0 25 0 1 0 304941614 70467584 16842 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/31417/statm: 17204 16842 77 171 0 17031 0
Current children cumulated CPU time (s) 639.95
Current children cumulated vsize (KiB) 74172
[startup+702.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31419
/proc/meminfo: memFree=1800432/2055920 swapFree=4180328/4192956
[pid=31411] ppid=31409 vsize=5356 CPUtime=4.54
/proc/31411/stat : 31411 (SatELiteGTI) S 31409 31411 31324 0 -1 4194304 336 15448 0 0 0 0 439 15 18 0 1 0 304940961 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31411/statm: 1339 239 197 169 0 50 0
[pid=31417] ppid=31411 vsize=72604 CPUtime=695.38
/proc/31417/stat : 31417 (minisat_static) R 31411 31411 31324 0 -1 4194304 17822 0 0 0 69519 19 0 0 25 0 1 0 304941614 74346496 17808 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/31417/statm: 18151 17808 77 171 0 17978 0
Current children cumulated CPU time (s) 699.92
Current children cumulated vsize (KiB) 77960
[startup+762.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31419
/proc/meminfo: memFree=1797040/2055920 swapFree=4180328/4192956
[pid=31411] ppid=31409 vsize=5356 CPUtime=4.54
/proc/31411/stat : 31411 (SatELiteGTI) S 31409 31411 31324 0 -1 4194304 336 15448 0 0 0 0 439 15 18 0 1 0 304940961 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31411/statm: 1339 239 197 169 0 50 0
[pid=31417] ppid=31411 vsize=75912 CPUtime=755.36
/proc/31417/stat : 31417 (minisat_static) R 31411 31411 31324 0 -1 4194304 18642 0 0 0 75515 21 0 0 25 0 1 0 304941614 77733888 18628 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/31417/statm: 18978 18628 77 171 0 18805 0
Current children cumulated CPU time (s) 759.9
Current children cumulated vsize (KiB) 81268
[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31419
/proc/meminfo: memFree=1793456/2055920 swapFree=4180328/4192956
[pid=31411] ppid=31409 vsize=5356 CPUtime=4.54
/proc/31411/stat : 31411 (SatELiteGTI) S 31409 31411 31324 0 -1 4194304 336 15448 0 0 0 0 439 15 18 0 1 0 304940961 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31411/statm: 1339 239 197 169 0 50 0
[pid=31417] ppid=31411 vsize=79348 CPUtime=815.33
/proc/31417/stat : 31417 (minisat_static) R 31411 31411 31324 0 -1 4194304 19533 0 0 0 81511 22 0 0 25 0 1 0 304941614 81252352 19519 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/31417/statm: 19837 19519 77 171 0 19664 0
Current children cumulated CPU time (s) 819.87
Current children cumulated vsize (KiB) 84704
[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31419
/proc/meminfo: memFree=1790256/2055920 swapFree=4180328/4192956
[pid=31411] ppid=31409 vsize=5356 CPUtime=4.54
/proc/31411/stat : 31411 (SatELiteGTI) S 31409 31411 31324 0 -1 4194304 336 15448 0 0 0 0 439 15 18 0 1 0 304940961 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31411/statm: 1339 239 197 169 0 50 0
[pid=31417] ppid=31411 vsize=82384 CPUtime=875.31
/proc/31417/stat : 31417 (minisat_static) R 31411 31411 31324 0 -1 4194304 20307 0 0 0 87508 23 0 0 25 0 1 0 304941614 84361216 20293 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/31417/statm: 20596 20293 77 171 0 20423 0
Current children cumulated CPU time (s) 879.85
Current children cumulated vsize (KiB) 87740
[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31419
/proc/meminfo: memFree=1788272/2055920 swapFree=4180328/4192956
[pid=31411] ppid=31409 vsize=5356 CPUtime=4.54
/proc/31411/stat : 31411 (SatELiteGTI) S 31409 31411 31324 0 -1 4194304 336 15448 0 0 0 0 439 15 18 0 1 0 304940961 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31411/statm: 1339 239 197 169 0 50 0
[pid=31417] ppid=31411 vsize=84260 CPUtime=935.28
/proc/31417/stat : 31417 (minisat_static) R 31411 31411 31324 0 -1 4194304 20757 0 0 0 93505 23 0 0 25 0 1 0 304941614 86282240 20743 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/31417/statm: 21065 20743 77 171 0 20892 0
Current children cumulated CPU time (s) 939.82
Current children cumulated vsize (KiB) 89616
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31419
/proc/meminfo: memFree=1788080/2055920 swapFree=4180328/4192956
[pid=31411] ppid=31409 vsize=5356 CPUtime=4.54
/proc/31411/stat : 31411 (SatELiteGTI) S 31409 31411 31324 0 -1 4194304 336 15448 0 0 0 0 439 15 18 0 1 0 304940961 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31411/statm: 1339 239 197 169 0 50 0
[pid=31417] ppid=31411 vsize=84416 CPUtime=995.25
/proc/31417/stat : 31417 (minisat_static) R 31411 31411 31324 0 -1 4194304 20793 0 0 0 99502 23 0 0 25 0 1 0 304941614 86441984 20779 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/31417/statm: 21104 20779 77 171 0 20931 0
Current children cumulated CPU time (s) 999.79
Current children cumulated vsize (KiB) 89772
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31419
/proc/meminfo: memFree=1787632/2055920 swapFree=4180328/4192956
[pid=31411] ppid=31409 vsize=5356 CPUtime=4.54
/proc/31411/stat : 31411 (SatELiteGTI) S 31409 31411 31324 0 -1 4194304 336 15448 0 0 0 0 439 15 18 0 1 0 304940961 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31411/statm: 1339 239 197 169 0 50 0
[pid=31417] ppid=31411 vsize=84736 CPUtime=1055.23
/proc/31417/stat : 31417 (minisat_static) R 31411 31411 31324 0 -1 4194304 20882 0 0 0 105500 23 0 0 25 0 1 0 304941614 86769664 20868 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/31417/statm: 21184 20868 77 171 0 21011 0
Current children cumulated CPU time (s) 1059.77
Current children cumulated vsize (KiB) 90092
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31419
/proc/meminfo: memFree=1787568/2055920 swapFree=4180328/4192956
[pid=31411] ppid=31409 vsize=5356 CPUtime=4.54
/proc/31411/stat : 31411 (SatELiteGTI) S 31409 31411 31324 0 -1 4194304 336 15448 0 0 0 0 439 15 18 0 1 0 304940961 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31411/statm: 1339 239 197 169 0 50 0
[pid=31417] ppid=31411 vsize=84736 CPUtime=1115.19
/proc/31417/stat : 31417 (minisat_static) R 31411 31411 31324 0 -1 4194304 20885 0 0 0 111496 23 0 0 25 0 1 0 304941614 86769664 20871 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/31417/statm: 21184 20871 77 171 0 21011 0
Current children cumulated CPU time (s) 1119.73
Current children cumulated vsize (KiB) 90092
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31419
/proc/meminfo: memFree=1787504/2055920 swapFree=4180328/4192956
[pid=31411] ppid=31409 vsize=5356 CPUtime=4.54
/proc/31411/stat : 31411 (SatELiteGTI) S 31409 31411 31324 0 -1 4194304 336 15448 0 0 0 0 439 15 18 0 1 0 304940961 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31411/statm: 1339 239 197 169 0 50 0
[pid=31417] ppid=31411 vsize=84736 CPUtime=1175.17
/proc/31417/stat : 31417 (minisat_static) R 31411 31411 31324 0 -1 4194304 20886 0 0 0 117494 23 0 0 25 0 1 0 304941614 86769664 20872 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/31417/statm: 21184 20872 77 171 0 21011 0
Current children cumulated CPU time (s) 1179.71
Current children cumulated vsize (KiB) 90092
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1202.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 31419
/proc/meminfo: memFree=1787376/2055920 swapFree=4180328/4192956
[pid=31411] ppid=31409 vsize=5356 CPUtime=4.54
/proc/31411/stat : 31411 (SatELiteGTI) S 31409 31411 31324 0 -1 4194304 336 15448 0 0 0 0 439 15 18 0 1 0 304940961 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/31411/statm: 1339 239 197 169 0 50 0
[pid=31417] ppid=31411 vsize=84936 CPUtime=1195.47
/proc/31417/stat : 31417 (minisat_static) R 31411 31411 31324 0 -1 4194304 20905 0 0 0 119524 23 0 0 25 0 1 0 304941614 86974464 20891 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/31417/statm: 21234 20891 77 171 0 21061 0
Current children cumulated CPU time (s) 1200.01
Current children cumulated vsize (KiB) 90292
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)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 31411 and gives
# childrusage.ru_utime.tv_sec=4
# childrusage.ru_utime.tv_usec=393332
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=155976
# CPU time returned by wait4() is 4.54931
# while last known CPU time is 1200.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1202.61
CPU time (s): 1200.01
CPU user time (s): 1199.63
CPU system time (s): 0.38
CPU usage (%): 99.7837
Max. virtual memory (cumulated for all children) (KiB): 90292
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.39333
system time used= 0.155976
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15784
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22
involuntary context switches= 27
runsolver used 1.20382 second user time and 3.2685 second system time
The end
Begin job on node88 at 2009-05-19 23:38:38
IDJOB=1832057
IDBENCH=20406
IDSOLVER=671
FILE ID=node88/1832057-1242769118
PBS_JOBID= 9322216
Free space on /tmp= 66152 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT07/industrial/palacios/hard/sortnet-7-ipc5-h15-unsat.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832057-1242769118/watcher-1832057-1242769118 -o /tmp/evaluation-result-1832057-1242769118/solver-1832057-1242769118 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832057-1242769118.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 0683489092a5eb0c881dd17c2c45d08e
RANDOM SEED=2019843845
node88.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.229
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.229
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1888288 kB
Buffers: 11172 kB
Cached: 120308 kB
SwapCached: 6832 kB
Active: 30680 kB
Inactive: 109648 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1888288 kB
SwapTotal: 4192956 kB
SwapFree: 4180328 kB
Dirty: 7884 kB
Writeback: 0 kB
Mapped: 13960 kB
Slab: 13204 kB
Committed_AS: 841536 kB
PageTables: 1448 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= 66136 MiB
End job on node88 at 2009-05-19 23:58:43