0.00/0.00 c Parsing...
0.12/0.14 c ==============================================================================
0.12/0.14 c | | ORIGINAL | LEARNT | |
0.12/0.14 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.12/0.14 c ==============================================================================
0.12/0.14 c | 0 | 152037 354753 | 45611 0 0 nan | 0.000 % |
1.32/1.36 c | 0 | 86170 286586 | -- 0 -- -- | -- | -65825/-68066
1.32/1.36 c ==============================================================================
1.32/1.36 c Result : #vars: 18463 #clauses: 86170 #literals: 286586
1.32/1.36 c CPU time: 1.3 s
1.32/1.36 c ==============================================================================
1.42/1.46 c This is MiniSat 2.0 beta
1.42/1.46 c WARNING: for repeatability, setting FPU to use double precision
1.42/1.46 c ============================[ Problem Statistics ]=============================
1.42/1.46 c | |
1.42/1.46 c | Number of variables: 18463 |
1.42/1.46 c | Number of clauses: 86170 |
1.47/1.52 c | Parsing time: 0.06 s |
1.47/1.53 c ============================[ Search Statistics ]==============================
1.47/1.53 c | Conflicts | ORIGINAL | LEARNT | Progress |
1.47/1.53 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1.47/1.53 c ===============================================================================
1.47/1.53 c | 0 | 18463 86170 286586 | 28723 0 nan | 0.000 % |
1.47/1.59 c | 100 | 18463 86170 286586 | 28723 100 7 | 0.000 % |
1.47/1.65 c | 202 | 18463 86170 286586 | 28723 202 5 | 0.000 % |
1.47/1.76 c | 302 | 18463 86170 286586 | 28723 302 28 | 0.000 % |
1.47/1.78 c | 413 | 18463 86170 286586 | 28723 413 25 | 0.000 % |
1.47/1.97 c | 513 | 18463 86170 286586 | 28723 513 37 | 0.000 % |
1.47/2.01 c | 623 | 18463 86170 286586 | 28723 623 33 | 0.000 % |
1.47/2.07 c | 744 | 18463 86170 286586 | 28723 744 39 | 0.000 % |
2.12/2.12 c | 845 | 18463 86170 286586 | 28723 845 45 | 0.000 % |
2.12/2.20 c | 955 | 18463 86170 286586 | 28723 955 49 | 0.000 % |
2.32/2.35 c | 1076 | 18463 86170 286586 | 28723 1076 54 | 0.000 % |
2.42/2.41 c | 1211 | 18463 86170 286586 | 28723 1211 60 | 0.000 % |
2.42/2.44 c | 1311 | 18463 86170 286586 | 28723 1311 58 | 0.000 % |
2.42/2.49 c | 1421 | 18463 86170 286586 | 28723 1421 60 | 0.000 % |
2.52/2.52 c | 1543 | 18463 86170 286586 | 28723 1543 60 | 0.000 % |
2.52/2.56 c | 1676 | 18463 86170 286586 | 28723 1676 59 | 0.000 % |
2.52/2.60 c | 1822 | 18463 86170 286586 | 28723 1822 56 | 0.000 % |
2.62/2.64 c | 1922 | 18463 86170 286586 | 28723 1922 55 | 0.000 % |
2.62/2.70 c | 2032 | 18463 86170 286586 | 28723 2032 56 | 0.000 % |
2.72/2.73 c | 2154 | 18463 86170 286586 | 28723 2154 56 | 0.000 % |
2.72/2.79 c | 2288 | 18463 86170 286586 | 28723 2288 58 | 0.000 % |
2.82/2.87 c | 2434 | 18463 86170 286586 | 28723 2434 60 | 0.000 % |
2.82/2.90 c | 2596 | 18463 86170 286586 | 28723 2596 58 | 0.000 % |
2.92/2.94 c | 2696 | 18463 86170 286586 | 28723 2696 57 | 0.000 % |
2.92/2.97 c | 2808 | 18463 86170 286586 | 28723 2808 55 | 0.000 % |
3.02/3.07 c | 2930 | 18463 86170 286586 | 28723 2930 54 | 0.001 % |
3.12/3.14 c | 3065 | 18463 86170 286586 | 28723 3065 54 | 0.000 % |
3.12/3.20 c | 3212 | 18463 86170 286586 | 28723 3212 52 | 0.000 % |
3.22/3.27 c | 3373 | 18463 86170 286586 | 28723 3373 53 | 0.001 % |
3.22/3.31 c | 3549 | 18463 86170 286586 | 28723 3549 52 | 0.000 % |
3.33/3.36 c | 3651 | 18463 86170 286586 | 28723 3651 51 | 0.000 % |
3.42/3.41 c | 3761 | 18463 86170 286586 | 28723 3761 50 | 0.000 % |
3.42/3.49 c | 3882 | 18463 86170 286586 | 28723 3882 49 | 0.000 % |
3.52/3.53 c | 4015 | 18463 86170 286586 | 28723 4015 49 | 0.000 % |
3.52/3.58 c | 4162 | 18463 86170 286586 | 28723 4162 50 | 0.000 % |
3.62/3.66 c | 4323 | 18463 86170 286586 | 28723 4323 51 | 0.000 % |
3.72/3.72 c | 4499 | 18463 86170 286586 | 28723 4499 50 | 0.000 % |
3.82/3.82 c | 4692 | 18463 86170 286586 | 28723 4692 49 | 0.000 % |
3.82/3.86 c | 4792 | 18463 86170 286586 | 28723 4792 49 | 0.000 % |
3.92/3.91 c | 4902 | 18463 86170 286586 | 28723 4902 50 | 0.000 % |
3.92/3.98 c | 5024 | 18463 86170 286586 | 28723 5024 51 | 0.000 % |
4.02/4.04 c | 5161 | 18463 86170 286586 | 28723 5161 51 | 0.000 % |
4.12/4.14 c | 5307 | 18463 86170 286586 | 28723 5307 52 | 0.000 % |
4.12/4.17 c | 5468 | 18463 86170 286586 | 28723 5468 51 | 0.000 % |
4.22/4.28 c | 5645 | 18463 86170 286586 | 28723 5645 50 | 0.000 % |
4.32/4.36 c | 5840 | 18463 86170 286586 | 28723 5840 51 | 0.000 % |
4.32/4.40 c | 6052 | 18463 86170 286586 | 28723 6052 50 | 0.000 % |
4.43/4.46 c | 6152 | 18463 86170 286586 | 28723 6152 49 | 0.000 % |
4.52/4.52 c | 6262 | 18463 86170 286586 | 28723 6262 49 | 0.000 % |
4.52/4.56 c | 6383 | 18463 86170 286586 | 28723 6383 49 | 0.000 % |
4.62/4.62 c | 6516 | 18463 86170 286586 | 28723 6516 49 | 0.000 % |
4.62/4.69 c | 6664 | 18463 86170 286586 | 28723 6664 50 | 0.000 % |
4.72/4.75 c | 6826 | 18463 86170 286586 | 28723 6826 51 | 0.000 % |
4.72/4.78 c | 7004 | 18463 86170 286586 | 28723 7004 52 | 0.000 % |
4.82/4.83 c | 7199 | 18463 86170 286586 | 28723 7199 52 | 0.000 % |
4.92/4.93 c | 7412 | 18463 86170 286586 | 28723 7412 51 | 0.000 % |
5.02/5.05 c | 7645 | 18463 86170 286586 | 28723 7645 50 | 0.000 % |
5.02/5.09 c | 7745 | 18463 86170 286586 | 28723 7745 50 | 0.000 % |
5.12/5.16 c | 7855 | 18463 86170 286586 | 28723 7855 49 | 0.000 % |
5.22/5.22 c | 7976 | 18463 86170 286586 | 28723 7976 49 | 0.000 % |
5.32/5.31 c | 8109 | 18463 86170 286586 | 28723 8109 50 | 0.000 % |
5.42/5.41 c | 8259 | 18463 86170 286586 | 28723 8259 50 | 0.000 % |
5.42/5.50 c | 8419 | 18463 86170 286586 | 28723 8419 51 | 0.000 % |
5.62/5.61 c | 8596 | 18463 86170 286586 | 28723 8596 52 | 0.000 % |
5.72/5.71 c | 8789 | 18463 86170 286586 | 28723 8789 53 | 0.000 % |
5.72/5.80 c | 9001 | 18463 86170 286586 | 28723 9001 53 | 0.000 % |
5.92/5.91 c | 9234 | 18463 86170 286586 | 28723 9234 52 | 0.000 % |
5.92/5.97 c | 9490 | 18463 86170 286586 | 28723 9490 52 | 0.000 % |
5.92/5.99 c | 9590 | 18463 86170 286586 | 28723 9590 52 | 0.000 % |
6.02/6.05 c | 9701 | 18463 86170 286586 | 28723 9701 51 | 0.000 % |
6.12/6.12 c | 9825 | 18463 86170 286586 | 28723 9825 52 | 0.000 % |
6.12/6.18 c | 9958 | 18463 86170 286586 | 28723 9958 51 | 0.000 % |
6.22/6.22 c | 10106 | 18463 86170 286586 | 2147483647 10106 51 | 0.000 % |
6.22/6.26 c | 10266 | 18463 86170 286586 | 2147483647 10266 51 | 0.000 % |
6.32/6.33 c | 10444 | 18463 86170 286586 | 2147483647 10444 51 | 0.000 % |
6.42/6.42 c | 10638 | 18463 86170 286586 | 2147483647 10638 51 | 0.000 % |
6.52/6.52 c | 10851 | 18463 86170 286586 | 2147483647 10851 51 | 0.000 % |
6.63/6.67 c | 11085 | 18463 86170 286586 | 2147483647 11085 51 | 0.000 % |
6.72/6.80 c | 11342 | 18463 86170 286586 | 2147483647 11342 53 | 0.000 % |
6.82/6.88 c | 11624 | 18463 86170 286586 | 2147483647 11624 54 | 0.000 % |
6.92/6.92 c | 11728 | 18463 86170 286586 | 2147483647 11728 54 | 0.000 % |
6.92/7.00 c | 11838 | 18463 86170 286586 | 2147483647 11838 55 | 0.000 % |
7.02/7.05 c | 11960 | 18463 86170 286586 | 2147483647 11960 55 | 0.000 % |
7.02/7.10 c | 12093 | 18463 86170 286586 | 2147483647 12093 55 | 0.000 % |
7.12/7.17 c | 12239 | 18463 86170 286586 | 2147483647 12239 55 | 0.000 % |
7.22/7.23 c | 12399 | 18463 86170 286586 | 2147483647 12399 55 | 0.000 % |
7.22/7.29 c | 12575 | 18463 86170 286586 | 2147483647 12575 55 | 0.000 % |
7.32/7.40 c | 12768 | 18463 86170 286586 | 2147483647 12768 55 | 0.000 % |
7.42/7.51 c | 12982 | 18463 86170 286586 | 2147483647 12982 55 | 0.000 % |
7.62/7.62 c | 13215 | 18463 86170 286586 | 2147483647 13215 54 | 0.000 % |
7.73/7.72 c | 13471 | 18463 86170 286586 | 2147483647 13471 54 | 0.000 % |
7.82/7.88 c | 13752 | 18463 86170 286586 | 2147483647 13752 55 | 0.000 % |
8.02/8.01 c | 14063 | 18463 86170 286586 | 2147483647 14063 55 | 0.000 % |
8.02/8.09 c | 14163 | 18463 86170 286586 | 2147483647 14163 56 | 0.000 % |
8.12/8.13 c | 14274 | 18463 86170 286586 | 2147483647 14274 56 | 0.000 % |
8.12/8.17 c | 14397 | 18463 86170 286586 | 2147483647 14397 56 | 0.000 % |
8.22/8.22 c | 14530 | 18463 86170 286586 | 2147483647 14530 56 | 0.000 % |
8.22/8.29 c | 14677 | 18463 86170 286586 | 2147483647 14677 57 | 0.000 % |
8.32/8.32 c | 14837 | 18463 86170 286586 | 2147483647 14837 57 | 0.000 % |
8.42/8.41 c | 15013 | 18463 86170 286586 | 2147483647 15013 57 | 0.000 % |
8.42/8.50 c | 15206 | 18463 86170 286586 | 2147483647 15206 58 | 0.000 % |
8.52/8.60 c | 15418 | 18463 86170 286586 | 2147483647 15418 58 | 0.000 % |
8.72/8.75 c | 15651 | 18463 86170 286586 | 2147483647 15651 59 | 0.000 % |
8.83/8.84 c | 15908 | 18463 86170 286586 | 2147483647 15908 58 | 0.000 % |
8.92/8.93 c | 16190 | 18463 86170 286586 | 2147483647 16190 59 | 0.000 % |
9.02/9.05 c | 16499 | 18463 86170 286586 | 2147483647 16499 60 | 0.000 % |
9.12/9.17 c | 16839 | 18463 86170 286586 | 2147483647 16839 60 | 0.000 % |
9.22/9.22 c | 16939 | 18463 86170 286586 | 2147483647 16939 60 | 0.000 % |
9.32/9.34 c | 17049 | 18463 86170 286586 | 2147483647 17049 60 | 0.000 % |
9.32/9.40 c | 17171 | 18463 86170 286586 | 2147483647 17171 60 | 0.000 % |
9.42/9.44 c | 17305 | 18463 86170 286586 | 2147483647 17305 60 | 0.000 % |
9.52/9.51 c | 17451 | 18463 86170 286586 | 2147483647 17451 61 | 0.000 % |
9.52/9.57 c | 17611 | 18463 86170 286586 | 2147483647 17611 61 | 0.000 % |
9.62/9.61 c | 17787 | 18463 86170 286586 | 2147483647 17787 61 | 0.000 % |
9.62/9.66 c | 17980 | 18463 86170 286586 | 2147483647 17980 61 | 0.000 % |
9.62/9.70 c | 18193 | 18463 86170 286586 | 2147483647 18193 60 | 0.000 % |
9.72/9.80 c | 18426 | 18463 86170 286586 | 2147483647 18426 61 | 0.000 % |
9.82/9.85 c | 18682 | 18463 86170 286586 | 2147483647 18682 61 | 0.000 % |
9.93/10.00 c | 18963 | 18463 86170 286586 | 2147483647 18963 61 | 0.000 % |
10.12/10.15 c | 19272 | 18463 86170 286586 | 2147483647 19272 61 | 0.000 % |
10.22/10.28 c | 19614 | 18463 86170 286586 | 2147483647 19614 61 | 0.000 % |
10.32/10.39 c | 19987 | 18463 86170 286586 | 2147483647 19987 61 | 0.000 % |
10.42/10.43 c | 20089 | 18463 86170 286586 | 2147483647 20089 61 | 0.000 % |
10.42/10.48 c | 20200 | 18463 86170 286586 | 2147483647 20200 61 | 0.000 % |
10.52/10.54 c | 20321 | 18463 86170 286586 | 2147483647 20321 61 | 0.000 % |
10.52/10.60 c | 20454 | 18463 86170 286586 | 2147483647 20454 61 | 0.000 % |
10.62/10.68 c | 20600 | 18463 86170 286586 | 2147483647 20600 61 | 0.000 % |
10.72/10.75 c | 20760 | 18463 86170 286586 | 2147483647 20760 61 | 0.000 % |
10.82/10.83 c | 20936 | 18463 86170 286586 | 2147483647 20936 61 | 0.000 % |
10.92/10.93 c | 21130 | 18463 86170 286586 | 2147483647 21130 61 | 0.000 % |
10.92/10.99 c | 21345 | 18463 86170 286586 | 2147483647 21345 60 | 0.000 % |
11.03/11.06 c | 21580 | 18463 86170 286586 | 2147483647 21580 60 | 0.000 % |
11.12/11.16 c | 21837 | 18463 86170 286586 | 2147483647 21837 61 | 0.000 % |
11.32/11.31 c | 22118 | 18463 86170 286586 | 2147483647 22118 61 | 0.000 % |
11.42/11.48 c | 22427 | 18463 86170 286586 | 2147483647 22427 60 | 0.000 % |
11.52/11.57 c | 22766 | 18463 86170 286586 | 2147483647 22766 60 | 0.000 % |
11.82/11.83 c | 23140 | 18463 86170 286586 | 2147483647 23140 60 | 0.000 % |
12.02/12.09 c | 23549 | 18463 86170 286586 | 2147483647 23549 60 | 0.000 % |
12.13/12.12 c | 23650 | 18463 86170 286586 | 2147483647 23650 60 | 0.000 % |
12.13/12.17 c | 23760 | 18463 86170 286586 | 2147483647 23760 60 | 0.000 % |
12.22/12.27 c | 23882 | 18463 86170 286586 | 2147483647 23882 60 | 0.000 % |
12.32/12.36 c | 24015 | 18463 86170 286586 | 2147483647 24015 60 | 0.000 % |
12.42/12.45 c | 24164 | 18463 86170 286586 | 2147483647 24164 60 | 0.000 % |
12.42/12.50 c | 24325 | 18463 86170 286586 | 2147483647 24325 60 | 0.000 % |
12.62/12.63 c | 24503 | 18463 86170 286586 | 2147483647 24503 60 | 0.000 % |
12.72/12.75 c | 24700 | 18463 86170 286586 | 2147483647 24700 60 | 0.000 % |
12.82/12.84 c | 24912 | 18463 86170 286586 | 2147483647 24912 60 | 0.000 % |
12.92/12.93 c | 25145 | 18463 86170 286586 | 2147483647 25145 60 | 0.000 % |
12.92/13.00 c | 25401 | 18463 86170 286586 | 2147483647 25401 60 | 0.000 % |
13.12/13.11 c | 25682 | 18463 86170 286586 | 2147483647 25682 60 | 0.000 % |
13.12/13.21 c | 25992 | 18463 86170 286586 | 2147483647 25992 60 | 0.000 % |
13.42/13.45 c | 26332 | 18463 86170 286586 | 2147483647 26332 60 | 0.000 % |
13.52/13.57 c | 26704 | 18463 86170 286586 | 2147483647 26704 60 | 0.000 % |
13.62/13.67 c | 27113 | 18463 86170 286586 | 2147483647 27113 60 | 0.000 % |
13.82/13.84 c | 27562 | 18463 86170 286586 | 2147483647 27562 59 | 0.000 % |
13.82/13.86 c | 27665 | 18463 86170 286586 | 2147483647 27665 59 | 0.000 % |
13.82/13.90 c | 27776 | 18463 86170 286586 | 2147483647 27776 59 | 0.000 % |
13.92/13.96 c | 27897 | 18463 86170 286586 | 2147483647 27897 59 | 0.000 % |
14.02/14.03 c | 28031 | 18463 86170 286586 | 2147483647 28031 59 | 0.000 % |
14.12/14.11 c | 28177 | 18463 86170 286586 | 2147483647 28177 59 | 0.000 % |
14.12/14.17 c | 28339 | 18463 86170 286586 | 2147483647 28339 59 | 0.000 % |
14.22/14.26 c | 28516 | 18463 86170 286586 | 2147483647 28516 59 | 0.000 % |
14.42/14.46 c | 28710 | 18463 86170 286586 | 2147483647 28710 59 | 0.000 % |
14.62/14.68 c | 28923 | 18463 86170 286586 | 2147483647 28923 60 | 0.000 % |
14.72/14.72 c | 29156 | 18463 86170 286586 | 2147483647 29156 59 | 0.000 % |
14.82/14.88 c | 29414 | 18463 86170 286586 | 2147483647 29414 59 | 0.000 % |
15.12/15.12 c | 29696 | 18463 86170 286586 | 2147483647 29696 60 | 0.000 % |
15.12/15.20 c | 30009 | 18463 86170 286586 | 2147483647 30009 60 | 0.000 % |
15.32/15.38 c | 30348 | 18463 86170 286586 | 2147483647 30348 60 | 0.000 % |
15.52/15.59 c | 30720 | 18463 86170 286586 | 2147483647 30720 61 | 0.000 % |
15.82/15.85 c | 31131 | 18463 86170 286586 | 2147483647 31131 61 | 0.000 % |
16.02/16.01 c | 31581 | 18463 86170 286586 | 2147483647 31581 62 | 0.000 % |
16.22/16.25 c | 32074 | 18463 86170 286586 | 2147483647 32074 62 | 0.000 % |
16.22/16.29 c | 32174 | 18463 86170 286586 | 2147483647 32174 62 | 0.000 % |
16.32/16.38 c | 32284 | 18463 86170 286586 | 2147483647 32284 62 | 0.000 % |
16.42/16.45 c | 32406 | 18463 86170 286586 | 2147483647 32406 62 | 0.000 % |
16.42/16.51 c | 32539 | 18463 86170 286586 | 2147483647 32539 62 | 0.000 % |
16.53/16.58 c | 32685 | 18463 86170 286586 | 2147483647 32685 62 | 0.000 % |
16.62/16.65 c | 32845 | 18463 86170 286586 | 2147483647 32845 62 | 0.000 % |
16.72/16.74 c | 33021 | 18463 86170 286586 | 2147483647 33021 62 | 0.000 % |
16.82/16.82 c | 33214 | 18463 86170 286586 | 2147483647 33214 62 | 0.000 % |
17.02/17.02 c | 33427 | 18463 86170 286586 | 2147483647 33427 62 | 0.000 % |
17.02/17.07 c | 33660 | 18463 86170 286586 | 2147483647 33660 62 | 0.000 % |
17.12/17.20 c | 33916 | 18463 86170 286586 | 2147483647 33916 62 | 0.000 % |
17.32/17.34 c | 34198 | 18463 86170 286586 | 2147483647 34198 63 | 0.000 % |
17.42/17.47 c | 34507 | 18463 86170 286586 | 2147483647 34507 63 | 0.000 % |
17.52/17.57 c | 34847 | 18463 86170 286586 | 2147483647 34847 62 | 0.000 % |
17.72/17.77 c | 35219 | 18463 86170 286586 | 2147483647 35219 63 | 0.000 % |
17.82/17.86 c | 35628 | 18463 86170 286586 | 2147483647 35628 62 | 0.000 % |
18.12/18.11 c | 36079 | 18463 86170 286586 | 2147483647 36079 62 | 0.000 % |
18.22/18.30 c | 36572 | 18463 86170 286586 | 2147483647 36572 63 | 0.000 % |
18.42/18.49 c | 37115 | 18463 86170 286586 | 2147483647 37115 63 | 0.000 % |
18.52/18.52 c | 37217 | 18463 86170 286586 | 2147483647 37217 63 | 0.000 % |
18.52/18.58 c | 37327 | 18463 86170 286586 | 2147483647 37327 63 | 0.000 % |
18.62/18.67 c | 37448 | 18463 86170 286586 | 2147483647 37448 63 | 0.000 % |
18.73/18.74 c | 37581 | 18463 86170 286586 | 2147483647 37581 64 | 0.000 % |
18.82/18.83 c | 37729 | 18463 86170 286586 | 2147483647 37729 64 | 0.000 % |
18.82/18.90 c | 37889 | 18463 86170 286586 | 2147483647 37889 64 | 0.000 % |
19.02/19.03 c | 38065 | 18463 86170 286586 | 2147483647 38065 64 | 0.000 % |
19.12/19.15 c | 38260 | 18463 86170 286586 | 2147483647 38260 64 | 0.000 % |
19.22/19.28 c | 38472 | 18463 86170 286586 | 2147483647 38472 64 | 0.000 % |
19.32/19.39 c | 38708 | 18463 86170 286586 | 2147483647 38708 65 | 0.000 % |
19.52/19.51 c | 38964 | 18463 86170 286586 | 2147483647 38964 65 | 0.000 % |
19.62/19.63 c | 39245 | 18463 86170 286586 | 2147483647 39245 65 | 0.000 % |
19.72/19.74 c | 39554 | 18463 86170 286586 | 2147483647 39554 65 | 0.000 % |
19.83/19.84 c | 39894 | 18463 86170 286586 | 2147483647 39894 65 | 0.000 % |
20.02/20.03 c | 40267 | 18463 86170 286586 | 2147483647 40267 65 | 0.000 % |
20.22/20.24 c | 40676 | 18463 86170 286586 | 2147483647 40676 66 | 0.000 % |
20.42/20.41 c | 41125 | 18463 86170 286586 | 2147483647 41125 67 | 0.000 % |
20.52/20.57 c | 41618 | 18463 86170 286586 | 2147483647 41618 66 | 0.000 % |
20.72/20.78 c | 42161 | 18463 86170 286586 | 2147483647 42161 66 | 0.000 % |
21.02/21.10 c | 42758 | 18463 86170 286586 | 2147483647 42758 67 | 0.000 % |
21.12/21.16 c | 42859 | 18463 86170 286586 | 2147483647 42859 67 | 0.000 % |
21.22/21.22 c | 42970 | 18463 86170 286586 | 2147483647 42970 67 | 0.000 % |
21.22/21.26 c | 43093 | 18463 86170 286586 | 2147483647 43093 67 | 0.000 % |
21.32/21.35 c | 43226 | 18463 86170 286586 | 2147483647 43226 67 | 0.000 % |
21.42/21.42 c | 43372 | 18463 86170 286586 | 2147483647 43372 67 | 0.000 % |
21.52/21.51 c | 43533 | 18463 86170 286586 | 2147483647 43533 67 | 0.000 % |
21.52/21.58 c | 43710 | 18463 86170 286586 | 2147483647 43710 67 | 0.000 % |
21.62/21.66 c | 43903 | 18463 86170 286586 | 2147483647 43903 67 | 0.000 % |
21.82/21.82 c | 44118 | 18463 86170 286586 | 2147483647 44118 67 | 0.000 % |
21.92/21.96 c | 44351 | 18463 86170 286586 | 2147483647 44351 67 | 0.000 % |
22.12/22.15 c | 44607 | 18463 86170 286586 | 2147483647 44607 67 | 0.000 % |
22.32/22.39 c | 44889 | 18463 86170 286586 | 2147483647 44889 68 | 0.000 % |
22.82/22.88 c | 45199 | 18463 86170 286586 | 2147483647 45199 68 | 0.000 % |
23.02/23.05 c | 45539 | 18463 86170 286586 | 2147483647 45539 68 | 0.000 % |
23.13/23.13 c | 45912 | 18463 86170 286586 | 2147483647 45912 69 | 0.000 % |
23.42/23.41 c | 46324 | 18463 86170 286586 | 2147483647 46324 69 | 0.000 % |
23.62/23.67 c | 46774 | 18463 86170 286586 | 2147483647 46774 69 | 0.000 % |
24.02/24.06 c | 47268 | 18463 86170 286586 | 2147483647 47268 70 | 0.000 % |
24.32/24.35 c | 47812 | 18463 86170 286586 | 2147483647 47812 70 | 0.000 % |
24.62/24.70 c | 48409 | 18463 86170 286586 | 2147483647 48409 71 | 0.000 % |
25.02/25.09 c | 49064 | 18463 86170 286586 | 2147483647 49064 71 | 0.000 % |
25.12/25.21 c | 49164 | 18463 86170 286586 | 2147483647 49164 71 | 0.000 % |
25.22/25.29 c | 49275 | 18463 86170 286586 | 2147483647 49275 71 | 0.000 % |
25.33/25.37 c | 49402 | 18463 86170 286586 | 2147483647 49402 71 | 0.000 % |
25.33/25.40 c | 49536 | 18463 86170 286586 | 2147483647 49536 71 | 0.000 % |
25.42/25.48 c | 49683 | 18463 86170 286586 | 2147483647 49683 71 | 0.000 % |
25.62/25.64 c | 49844 | 18463 86170 286586 | 2147483647 49844 71 | 0.000 % |
25.72/25.80 c | 50021 | 18463 86170 286586 | 2147483647 50021 71 | 0.000 % |
25.92/25.92 c | 50214 | 18463 86170 286586 | 2147483647 50214 72 | 0.000 % |
26.02/26.08 c | 50426 | 18463 86170 286586 | 2147483647 50426 71 | 0.000 % |
26.22/26.22 c | 50659 | 18463 86170 286586 | 2147483647 50659 72 | 0.000 % |
26.32/26.31 c | 50916 | 18463 86170 286586 | 2147483647 50916 72 | 0.000 % |
26.43/26.42 c | 51200 | 18463 86170 286586 | 2147483647 51200 72 | 0.000 % |
26.52/26.60 c | 51510 | 18463 86170 286586 | 2147483647 51510 72 | 0.000 % |
27.02/27.03 c | 51849 | 18463 86170 286586 | 2147483647 51849 72 | 0.000 % |
27.12/27.15 c | 52221 | 18463 86170 286586 | 2147483647 52221 72 | 0.000 % |
27.22/27.28 c | 52630 | 18463 86170 286586 | 2147483647 52630 72 | 0.000 % |
27.42/27.48 c | 53080 | 18463 86170 286586 | 2147483647 53080 72 | 0.000 % |
27.72/27.76 c | 53573 | 18463 86170 286586 | 2147483647 53573 73 | 0.000 % |
27.92/28.00 c | 54117 | 18463 86170 286586 | 2147483647 54117 73 | 0.000 % |
28.22/28.25 c | 54713 | 18463 86170 286586 | 2147483647 54713 73 | 0.000 % |
28.72/28.73 c | 55369 | 18463 86170 286586 | 2147483647 55369 74 | 0.000 % |
29.12/29.18 c | 56089 | 18463 86170 286586 | 2147483647 56089 73 | 0.000 % |
29.22/29.26 c | 56189 | 18463 86170 286586 | 2147483647 56189 73 | 0.000 % |
29.32/29.31 c | 56299 | 18463 86170 286586 | 2147483647 56299 73 | 0.000 % |
29.32/29.37 c | 56420 | 18463 86170 286586 | 2147483647 56420 74 | 0.000 % |
29.42/29.46 c | 56553 | 18463 86170 286586 | 2147483647 56553 74 | 0.000 % |
29.62/29.64 c | 56699 | 18463 86170 286586 | 2147483647 56699 74 | 0.000 % |
29.73/29.77 c | 56859 | 18463 86170 286586 | 2147483647 56859 74 | 0.000 % |
29.92/29.93 c | 57037 | 18463 86170 286586 | 2147483647 57037 74 | 0.000 % |
30.02/30.04 c | 57230 | 18463 86170 286586 | 2147483647 57230 74 | 0.000 % |
30.12/30.16 c | 57443 | 18463 86170 286586 | 2147483647 57443 74 | 0.000 % |
30.22/30.29 c | 57676 | 18463 86170 286586 | 2147483647 57676 74 | 0.000 % |
30.32/30.39 c | 57933 | 18463 86170 286586 | 2147483647 57933 74 | 0.000 % |
30.52/30.55 c | 58214 | 18463 86170 286586 | 2147483647 58214 74 | 0.000 % |
30.72/30.73 c | 58524 | 18463 86170 286586 | 2147483647 58524 75 | 0.000 % |
31.02/31.03 c | 58865 | 18463 86170 286586 | 2147483647 58865 75 | 0.000 % |
31.22/31.22 c | 59237 | 18463 86170 286586 | 2147483647 59237 75 | 0.000 % |
31.52/31.56 c | 59647 | 18463 86170 286586 | 2147483647 59647 75 | 0.000 % |
31.82/31.81 c | 60097 | 18463 86170 286586 | 2147483647 60097 75 | 0.000 % |
31.93/31.94 c | 60590 | 18463 86170 286586 | 2147483647 60590 75 | 0.000 % |
32.22/32.27 c | 61133 | 18463 86170 286586 | 2147483647 61133 76 | 0.000 % |
32.52/32.54 c | 61730 | 18463 86170 286586 | 2147483647 61730 76 | 0.000 % |
33.03/33.03 c | 62385 | 18463 86170 286586 | 2147483647 62385 76 | 0.000 % |
33.42/33.42 c | 63105 | 18463 86170 286586 | 2147483647 63105 76 | 0.000 % |
34.13/34.16 c | 63898 | 18463 86170 286586 | 2147483647 63898 76 | 0.000 % |
34.22/34.27 c | 64000 | 18463 86170 286586 | 2147483647 64000 76 | 0.000 % |
34.32/34.38 c | 64112 | 18463 86170 286586 | 2147483647 64112 77 | 0.000 % |
34.42/34.44 c | 64234 | 18463 86170 286586 | 2147483647 64234 77 | 0.000 % |
34.52/34.51 c | 64372 | 18463 86170 286586 | 2147483647 64372 77 | 0.000 % |
34.52/34.58 c | 64518 | 18463 86170 286586 | 2147483647 64518 77 | 0.000 % |
34.62/34.69 c | 64678 | 18463 86170 286586 | 2147483647 64678 77 | 0.000 % |
34.82/34.82 c | 64855 | 18463 86170 286586 | 2147483647 64855 77 | 0.000 % |
34.92/34.96 c | 65049 | 18463 86170 286586 | 2147483647 65049 77 | 0.000 % |
35.12/35.12 c | 65261 | 18463 86170 286586 | 2147483647 65261 77 | 0.000 % |
35.23/35.25 c | 65494 | 18463 86170 286586 | 2147483647 65494 77 | 0.000 % |
35.42/35.45 c | 65750 | 18463 86170 286586 | 2147483647 65750 77 | 0.000 % |
35.52/35.54 c | 66032 | 18463 86170 286586 | 2147483647 66032 77 | 0.000 % |
35.72/35.76 c | 66341 | 18463 86170 286586 | 2147483647 66341 77 | 0.000 % |
35.92/35.95 c | 66681 | 18463 86170 286586 | 2147483647 66681 77 | 0.000 % |
36.33/36.34 c | 67054 | 18463 86170 286586 | 2147483647 67054 77 | 0.000 % |
36.42/36.47 c | 67463 | 18463 86170 286586 | 2147483647 67463 77 | 0.000 % |
36.72/36.80 c | 67913 | 18463 86170 286586 | 2147483647 67913 77 | 0.000 % |
37.02/37.10 c | 68406 | 18463 86170 286586 | 2147483647 68406 77 | 0.000 % |
37.22/37.26 c | 68949 | 18463 86170 286586 | 2147483647 68949 77 | 0.000 % |
37.52/37.60 c | 69545 | 18463 86170 286586 | 2147483647 69545 77 | 0.000 % |
37.92/37.93 c | 70202 | 18463 86170 286586 | 2147483647 70202 77 | 0.000 % |
38.22/38.27 c | 70923 | 18463 86170 286586 | 2147483647 70923 77 | 0.000 % |
38.53/38.57 c | 71715 | 18463 86170 286586 | 2147483647 71715 77 | 0.000 % |
39.02/39.09 c | 72586 | 18463 86170 286586 | 2147483647 72586 77 | 0.000 % |
39.12/39.18 c | 72688 | 18463 86170 286586 | 2147483647 72688 78 | 0.000 % |
39.22/39.26 c | 72800 | 18463 86170 286586 | 2147483647 72800 78 | 0.000 % |
39.32/39.38 c | 72921 | 18463 86170 286586 | 2147483647 72921 78 | 0.000 % |
39.42/39.50 c | 73058 | 18463 86170 286586 | 2147483647 73058 78 | 0.000 % |
39.52/39.57 c | 73206 | 18463 86170 286586 | 2147483647 73206 78 | 0.000 % |
39.63/39.65 c | 73366 | 18463 86170 286586 | 2147483647 73366 78 | 0.000 % |
39.72/39.77 c | 73542 | 18463 86170 286586 | 2147483647 73542 78 | 0.000 % |
39.92/39.94 c | 73735 | 18463 86170 286586 | 2147483647 73735 78 | 0.000 % |
40.02/40.08 c | 73948 | 18463 86170 286586 | 2147483647 73948 78 | 0.000 % |
40.22/40.21 c | 74182 | 18463 86170 286586 | 2147483647 74182 78 | 0.000 % |
40.22/40.29 c | 74438 | 18463 86170 286586 | 2147483647 74438 78 | 0.000 % |
40.42/40.43 c | 74719 | 18463 86170 286586 | 2147483647 74719 78 | 0.000 % |
40.62/40.65 c | 75029 | 18463 86170 286586 | 2147483647 75029 78 | 0.000 % |
40.73/40.79 c | 75368 | 18463 86170 286586 | 2147483647 75368 78 | 0.000 % |
40.92/41.00 c | 75740 | 18463 86170 286586 | 2147483647 75740 78 | 0.000 % |
41.12/41.14 c | 76149 | 18463 86170 286586 | 2147483647 76149 78 | 0.000 % |
41.32/41.38 c | 76598 | 18463 86170 286586 | 2147483647 76598 77 | 0.000 % |
41.72/41.79 c | 77091 | 18463 86170 286586 | 2147483647 77091 78 | 0.000 % |
42.42/42.49 c | 77634 | 18463 86170 286586 | 2147483647 77634 78 | 0.000 % |
42.93/42.96 c | 78231 | 18463 86170 286586 | 2147483647 78231 78 | 0.000 % |
43.22/43.27 c | 78887 | 18463 86170 286586 | 2147483647 78887 77 | 0.000 % |
43.52/43.53 c | 79607 | 18463 86170 286586 | 2147483647 79607 77 | 0.001 % |
44.12/44.20 c | 80399 | 18463 86170 286586 | 2147483647 80399 77 | 0.000 % |
44.82/44.82 c | 81271 | 18463 86170 286586 | 2147483647 81271 77 | 0.000 % |
45.22/45.27 c | 82231 | 18463 86170 286586 | 2147483647 82231 77 | 0.000 % |
45.32/45.33 c | 82333 | 18463 86170 286586 | 2147483647 82333 77 | 0.000 % |
45.42/45.41 c | 82443 | 18463 86170 286586 | 2147483647 82443 77 | 0.000 % |
45.52/45.54 c | 82565 | 18463 86170 286586 | 2147483647 82565 77 | 0.000 % |
45.62/45.61 c | 82699 | 18463 86170 286586 | 2147483647 82699 77 | 0.000 % |
45.82/45.84 c | 82845 | 18463 86170 286586 | 2147483647 82845 77 | 0.000 % |
45.92/45.95 c | 83005 | 18463 86170 286586 | 2147483647 83005 77 | 0.000 % |
46.02/46.07 c | 83181 | 18463 86170 286586 | 2147483647 83181 77 | 0.000 % |
46.12/46.17 c | 83375 | 18463 86170 286586 | 2147483647 83375 77 | 0.000 % |
46.23/46.30 c | 83588 | 18463 86170 286586 | 2147483647 83588 77 | 0.000 % |
46.42/46.44 c | 83821 | 18463 86170 286586 | 2147483647 83821 77 | 0.000 % |
46.62/46.66 c | 84080 | 18463 86170 286586 | 2147483647 84080 77 | 0.000 % |
46.82/46.88 c | 84361 | 18463 86170 286586 | 2147483647 84361 76 | 0.000 % |
47.12/47.13 c | 84670 | 18463 86170 286586 | 2147483647 84670 76 | 0.000 % |
47.33/47.34 c | 85009 | 18463 86170 286586 | 2147483647 85009 76 | 0.000 % |
47.62/47.61 c | 85381 | 18463 86170 286586 | 2147483647 85381 77 | 0.000 % |
47.73/47.80 c | 85791 | 18463 86170 286586 | 2147483647 85791 76 | 0.000 % |
47.93/48.00 c | 86241 | 18463 86170 286586 | 2147483647 86241 76 | 0.000 % |
48.33/48.37 c | 86734 | 18463 86170 286586 | 2147483647 86734 77 | 0.000 % |
48.63/48.68 c | 87277 | 18463 86170 286586 | 2147483647 87277 77 | 0.000 % |
48.83/48.85 c | 87873 | 18463 86170 286586 | 2147483647 87873 77 | 0.000 % |
49.13/49.20 c | 88528 | 18463 86170 286586 | 2147483647 88528 77 | 0.000 % |
49.83/49.85 c | 89251 | 18463 86170 286586 | 2147483647 89251 77 | 0.000 % |
50.43/50.42 c | 90043 | 18463 86170 286586 | 2147483647 90043 77 | 0.000 % |
51.23/51.25 c | 90914 | 18463 86170 286586 | 2147483647 90914 78 | 0.000 % |
51.93/51.93 c | 91872 | 18463 86170 286586 | 2147483647 91872 77 | 0.001 % |
52.83/52.86 c | 92925 | 18463 86170 286586 | 2147483647 92925 77 | 0.000 % |
53.03/53.01 c | 93025 | 18463 86170 286586 | 2147483647 93025 77 | 0.000 % |
53.13/53.14 c | 93137 | 18463 86170 286586 | 2147483647 93137 77 | 0.000 % |
53.23/53.22 c | 93258 | 18463 86170 286586 | 2147483647 93258 77 | 0.000 % |
53.33/53.33 c | 93391 | 18463 86170 286586 | 2147483647 93391 77 | 0.000 % |
53.43/53.43 c | 93537 | 18463 86170 286586 | 2147483647 93537 77 | 0.000 % |
53.53/53.58 c | 93698 | 18463 86170 286586 | 2147483647 93698 77 | 0.000 % |
53.63/53.67 c | 93875 | 18463 86170 286586 | 2147483647 93875 77 | 0.000 % |
53.83/53.84 c | 94069 | 18463 86170 286586 | 2147483647 94069 77 | 0.000 % |
54.03/54.08 c | 94281 | 18463 86170 286586 | 2147483647 94281 77 | 0.000 % |
54.23/54.25 c | 94514 | 18463 86170 286586 | 2147483647 94514 77 | 0.000 % |
54.43/54.43 c | 94770 | 18463 86170 286586 | 2147483647 94770 77 | 0.000 % |
54.83/54.83 c | 95051 | 18463 86170 286586 | 2147483647 95051 77 | 0.000 % |
55.03/55.11 c | 95362 | 18463 86170 286586 | 2147483647 95362 77 | 0.000 % |
55.33/55.40 c | 95701 | 18463 86170 286586 | 2147483647 95701 77 | 0.000 % |
55.73/55.78 c | 96073 | 18463 86170 286586 | 2147483647 96073 77 | 0.000 % |
55.93/55.97 c | 96482 | 18463 86170 286586 | 2147483647 96482 77 | 0.000 % |
56.33/56.32 c | 96932 | 18463 86170 286586 | 2147483647 96932 77 | 0.000 % |
56.73/56.76 c | 97425 | 18463 86170 286586 | 2147483647 97425 78 | 0.000 % |
57.13/57.14 c | 97967 | 18463 86170 286586 | 2147483647 97967 78 | 0.000 % |
57.33/57.34 c | 98565 | 18463 86170 286586 | 2147483647 98565 78 | 0.000 % |
57.93/57.95 c | 99222 | 18463 86170 286586 | 2147483647 99222 78 | 0.000 % |
58.43/58.47 c | 99942 | 18463 86170 286586 | 2147483647 99942 78 | 0.000 % |
59.03/59.11 c | 100734 | 18463 86170 286586 | 2147483647 100734 79 | 0.000 % |
59.73/59.73 c | 101607 | 18463 86170 286586 | 2147483647 101607 79 | 0.000 % |
60.33/60.40 c | 102565 | 18463 86170 286586 | 2147483647 102565 79 | 0.000 % |
61.43/61.42 c | 103619 | 18463 86170 286586 | 2147483647 103619 80 | 0.000 % |
62.33/62.32 c | 104777 | 18463 86170 286586 | 2147483647 104777 80 | 0.000 % |
62.43/62.44 c | 104878 | 18463 86170 286586 | 2147483647 104878 80 | 0.000 % |
62.53/62.57 c | 104988 | 18463 86170 286586 | 2147483647 104988 80 | 0.000 % |
62.63/62.65 c | 105110 | 18463 86170 286586 | 2147483647 105110 80 | 0.000 % |
62.73/62.72 c | 105244 | 18463 86170 286586 | 2147483647 105244 80 | 0.000 % |
62.73/62.80 c | 105390 | 18463 86170 286586 | 2147483647 105390 80 | 0.000 % |
62.93/62.91 c | 105550 | 18463 86170 286586 | 2147483647 105550 80 | 0.000 % |
63.03/63.05 c | 105727 | 18463 86170 286586 | 2147483647 105727 80 | 0.000 % |
63.13/63.15 c | 105922 | 18463 86170 286586 | 2147483647 105922 80 | 0.000 % |
63.23/63.30 c | 106138 | 18463 86170 286586 | 2147483647 106138 80 | 0.000 % |
63.43/63.51 c | 106372 | 18463 86170 286586 | 2147483647 106372 80 | 0.000 % |
63.63/63.63 c | 106628 | 18463 86170 286586 | 2147483647 106628 80 | 0.000 % |
63.83/63.86 c | 106910 | 18463 86170 286586 | 2147483647 106910 80 | 0.000 % |
64.03/64.05 c | 107222 | 18463 86170 286586 | 2147483647 107222 80 | 0.000 % |
64.33/64.34 c | 107561 | 18463 86170 286586 | 2147483647 107561 80 | 0.000 % |
64.63/64.71 c | 107934 | 18463 86170 286586 | 2147483647 107934 80 | 0.000 % |
65.03/65.02 c | 108343 | 18463 86170 286586 | 2147483647 108343 80 | 0.000 % |
65.13/65.19 c | 108792 | 18463 86170 286586 | 2147483647 108792 80 | 0.000 % |
65.53/65.54 c | 109286 | 18463 86170 286586 | 2147483647 109286 80 | 0.000 % |
65.73/65.81 c | 109828 | 18463 86170 286586 | 2147483647 109828 80 | 0.000 % |
66.03/66.04 c | 110424 | 18463 86170 286586 | 2147483647 110424 80 | 0.000 % |
66.63/66.65 c | 111080 | 18463 86170 286586 | 2147483647 111080 81 | 0.000 % |
67.23/67.25 c | 111800 | 18463 86170 286586 | 2147483647 111800 80 | 0.000 % |
67.83/67.87 c | 112592 | 18463 86170 286586 | 2147483647 112592 81 | 0.001 % |
68.63/68.69 c | 113463 | 18463 86170 286586 | 2147483647 113463 81 | 0.000 % |
69.23/69.30 c | 114421 | 18463 86170 286586 | 2147483647 114421 80 | 0.000 % |
69.83/69.85 c | 115477 | 18463 86170 286586 | 2147483647 115477 81 | 0.000 % |
70.63/70.71 c | 116635 | 18463 86170 286586 | 2147483647 116635 81 | 0.000 % |
71.13/71.16 c | 117908 | 18463 86170 286586 | 2147483647 117908 81 | 0.000 % |
71.13/71.20 c | 118008 | 18463 86170 286586 | 2147483647 118008 81 | 0.000 % |
71.33/71.34 c | 118119 | 18463 86170 286586 | 2147483647 118119 81 | 0.000 % |
71.43/71.47 c | 118241 | 18463 86170 286586 | 2147483647 118241 81 | 0.000 % |
71.53/71.56 c | 118374 | 18463 86170 286586 | 2147483647 118374 81 | 0.000 % |
71.63/71.66 c | 118520 | 18463 86170 286586 | 2147483647 118520 81 | 0.000 % |
71.83/71.82 c | 118680 | 18463 86170 286586 | 2147483647 118680 81 | 0.000 % |
71.93/71.95 c | 118857 | 18463 86170 286586 | 2147483647 118857 81 | 0.000 % |
72.13/72.13 c | 119051 | 18463 86170 286586 | 2147483647 119051 81 | 0.000 % |
72.33/72.38 c | 119264 | 18463 86170 286586 | 2147483647 119264 81 | 0.000 % |
72.53/72.58 c | 119499 | 18463 86170 286586 | 2147483647 119499 81 | 0.000 % |
72.83/72.89 c | 119755 | 18463 86170 286586 | 2147483647 119755 81 | 0.000 % |
73.03/73.10 c | 120036 | 18463 86170 286586 | 2147483647 120036 81 | 0.000 % |
73.33/73.38 c | 120345 | 18463 86170 286586 | 2147483647 120345 81 | 0.000 % |
73.73/73.78 c | 120685 | 18463 86170 286586 | 2147483647 120685 81 | 0.000 % |
74.03/74.10 c | 121061 | 18463 86170 286586 | 2147483647 121061 81 | 0.000 % |
74.43/74.43 c | 121470 | 18463 86170 286586 | 2147483647 121470 81 | 0.000 % |
74.83/74.83 c | 121920 | 18463 86170 286586 | 2147483647 121920 81 | 0.000 % |
75.13/75.18 c | 122413 | 18463 86170 286586 | 2147483647 122413 81 | 0.000 % |
75.63/75.63 c | 122957 | 18463 86170 286586 | 2147483647 122957 82 | 0.000 % |
76.13/76.12 c | 123554 | 18463 86170 286586 | 2147483647 123554 82 | 0.000 % |
76.73/76.78 c | 124209 | 18463 86170 286586 | 2147483647 124209 82 | 0.000 % |
77.23/77.25 c | 124929 | 18463 86170 286586 | 2147483647 124929 82 | 0.000 % |
77.73/77.81 c | 125722 | 18463 86170 286586 | 2147483647 125722 82 | 0.000 % |
78.73/78.71 c | 126594 | 18463 86170 286586 | 2147483647 126594 82 | 0.000 % |
80.83/80.83 c | 127552 | 18463 86170 286586 | 2147483647 127552 83 | 0.000 % |
81.43/81.50 c | 128605 | 18463 86170 286586 | 2147483647 128605 83 | 0.000 % |
82.43/82.48 c | 129763 | 18463 86170 286586 | 2147483647 129763 83 | 0.000 % |
83.63/83.65 c | 131036 | 18463 86170 286586 | 2147483647 131036 83 | 0.000 % |
84.33/84.36 c | 132436 | 18463 86170 286586 | 2147483647 132436 84 | 0.000 % |
84.43/84.48 c | 132536 | 18463 86170 286586 | 2147483647 132536 84 | 0.000 % |
84.63/84.69 c | 132648 | 18463 86170 286586 | 2147483647 132648 84 | 0.000 % |
84.83/84.88 c | 132770 | 18463 86170 286586 | 2147483647 132770 84 | 0.000 % |
85.13/85.15 c | 132903 | 18463 86170 286586 | 2147483647 132903 84 | 0.000 % |
85.43/85.45 c | 133049 | 18463 86170 286586 | 2147483647 133049 84 | 0.000 % |
85.63/85.70 c | 133211 | 18463 86170 286586 | 2147483647 133211 84 | 0.000 % |
85.73/85.76 c | 133387 | 18463 86170 286586 | 2147483647 133387 84 | 0.000 % |
86.03/86.06 c | 133580 | 18463 86170 286586 | 2147483647 133580 84 | 0.000 % |
86.23/86.30 c | 133795 | 18463 86170 286586 | 2147483647 133795 84 | 0.000 % |
86.53/86.57 c | 134028 | 18463 86170 286586 | 2147483647 134028 84 | 0.000 % |
86.73/86.74 c | 134284 | 18463 86170 286586 | 2147483647 134284 84 | 0.000 % |
86.93/87.01 c | 134566 | 18463 86170 286586 | 2147483647 134566 84 | 0.000 % |
87.43/87.45 c | 134876 | 18463 86170 286586 | 2147483647 134876 84 | 0.000 % |
87.63/87.64 c | 135217 | 18463 86170 286586 | 2147483647 135217 84 | 0.000 % |
87.93/87.96 c | 135589 | 18463 86170 286586 | 2147483647 135589 84 | 0.000 % |
88.13/88.13 c | 136001 | 18463 86170 286586 | 2147483647 136001 84 | 0.000 % |
88.53/88.59 c | 136450 | 18463 86170 286586 | 2147483647 136450 84 | 0.000 % |
88.93/88.94 c | 136943 | 18463 86170 286586 | 2147483647 136943 84 | 0.000 % |
89.23/89.30 c | 137485 | 18463 86170 286586 | 2147483647 137485 84 | 0.000 % |
89.63/89.64 c | 138082 | 18463 86170 286586 | 2147483647 138082 84 | 0.000 % |
90.23/90.30 c | 138738 | 18463 86170 286586 | 2147483647 138738 84 | 0.000 % |
90.73/90.78 c | 139459 | 18463 86170 286586 | 2147483647 139459 84 | 0.000 % |
91.33/91.39 c | 140251 | 18463 86170 286586 | 2147483647 140251 84 | 0.000 % |
92.33/92.37 c | 141123 | 18463 86170 286586 | 2147483647 141123 85 | 0.000 % |
93.03/93.02 c | 142081 | 18463 86170 286586 | 2147483647 142081 85 | 0.000 % |
93.93/93.99 c | 143136 | 18463 86170 286586 | 2147483647 143136 85 | 0.000 % |
95.43/95.49 c | 144295 | 18463 86170 286586 | 2147483647 144295 85 | 0.000 % |
98.33/98.40 c | 145569 | 18463 86170 286586 | 2147483647 145569 86 | 0.000 % |
99.13/99.14 c | 146969 | 18463 86170 286586 | 2147483647 146969 86 | 0.000 % |
100.03/100.09 c | 148511 | 18463 86170 286586 | 2147483647 148511 86 | 0.000 % |
100.13/100.21 c | 148611 | 18463 86170 286586 | 2147483647 148611 86 | 0.000 % |
100.33/100.36 c | 148722 | 18463 86170 286586 | 2147483647 148722 86 | 0.000 % |
100.53/100.51 c | 148843 | 18463 86170 286586 | 2147483647 148843 86 | 0.000 % |
100.63/100.66 c | 148977 | 18463 86170 286586 | 2147483647 148977 86 | 0.000 % |
100.93/100.92 c | 149124 | 18463 86170 286586 | 2147483647 149124 86 | 0.000 % |
101.13/101.16 c | 149286 | 18463 86170 286586 | 2147483647 149286 86 | 0.000 % |
101.23/101.28 c | 149464 | 18463 86170 286586 | 2147483647 149464 86 | 0.000 % |
101.43/101.42 c | 149657 | 18463 86170 286586 | 2147483647 149657 86 | 0.000 % |
101.53/101.59 c | 149869 | 18463 86170 286586 | 2147483647 149869 86 | 0.000 % |
101.73/101.78 c | 150105 | 18463 86170 286586 | 2147483647 150105 86 | 0.000 % |
101.93/101.98 c | 150361 | 18463 86170 286586 | 2147483647 150361 86 | 0.000 % |
102.13/102.20 c | 150643 | 18463 86170 286586 | 2147483647 150643 86 | 0.000 % |
102.43/102.45 c | 150954 | 18463 86170 286586 | 2147483647 150954 86 | 0.000 % |
102.73/102.73 c | 151296 | 18463 86170 286586 | 2147483647 151296 86 | 0.000 % |
103.13/103.14 c | 151670 | 18463 86170 286586 | 2147483647 151670 86 | 0.000 % |
103.43/103.45 c | 152080 | 18463 86170 286586 | 2147483647 152080 86 | 0.000 % |
103.93/104.00 c | 152529 | 18463 86170 286586 | 2147483647 152529 86 | 0.000 % |
104.33/104.36 c | 153023 | 18463 86170 286586 | 2147483647 153023 86 | 0.000 % |
104.83/104.89 c | 153565 | 18463 86170 286586 | 2147483647 153565 86 | 0.000 % |
105.73/105.75 c | 154163 | 18463 86170 286586 | 2147483647 154163 87 | 0.000 % |
106.23/106.27 c | 154819 | 18463 86170 286586 | 2147483647 154819 87 | 0.000 % |
106.73/106.79 c | 155539 | 18463 86170 286586 | 2147483647 155539 87 | 0.000 % |
107.93/107.98 c | 156332 | 18463 86170 286586 | 2147483647 156332 88 | 0.000 % |
108.63/108.64 c | 157203 | 18463 86170 286586 | 2147483647 157203 88 | 0.000 % |
109.63/109.67 c | 158164 | 18463 86170 286586 | 2147483647 158164 88 | 0.000 % |
110.63/110.70 c | 159217 | 18463 86170 286586 | 2147483647 159217 88 | 0.000 % |
111.93/111.99 c | 160378 | 18463 86170 286586 | 2147483647 160378 89 | 0.000 % |
113.23/113.27 c | 161651 | 18463 86170 286586 | 2147483647 161651 89 | 0.000 % |
114.43/114.49 c | 163051 | 18463 86170 286586 | 2147483647 163051 89 | 0.000 % |
115.93/116.00 c | 164591 | 18463 86170 286586 | 2147483647 164591 90 | 0.000 % |
118.83/118.88 c | 166287 | 18463 86170 286586 | 2147483647 166287 90 | 0.000 % |
119.03/119.03 c | 166388 | 18463 86170 286586 | 2147483647 166388 90 | 0.000 % |
119.13/119.14 c | 166498 | 18463 86170 286586 | 2147483647 166498 90 | 0.000 % |
119.23/119.28 c | 166620 | 18463 86170 286586 | 2147483647 166620 90 | 0.000 % |
119.43/119.44 c | 166753 | 18463 86170 286586 | 2147483647 166753 90 | 0.000 % |
119.53/119.56 c | 166899 | 18463 86170 286586 | 2147483647 166899 90 | 0.000 % |
119.63/119.69 c | 167059 | 18463 86170 286586 | 2147483647 167059 90 | 0.000 % |
119.73/119.80 c | 167235 | 18463 86170 286586 | 2147483647 167235 90 | 0.000 % |
119.83/119.83 c | 167429 | 18463 86170 286586 | 2147483647 167429 90 | 0.000 % |
119.94/120.01 c | 167641 | 18463 86170 286586 | 2147483647 167641 90 | 0.000 % |
120.23/120.27 c | 167874 | 18463 86170 286586 | 2147483647 167874 90 | 0.000 % |
120.53/120.55 c | 168130 | 18463 86170 286586 | 2147483647 168130 90 | 0.000 % |
120.83/120.86 c | 168414 | 18463 86170 286586 | 2147483647 168414 90 | 0.000 % |
121.33/121.35 c | 168723 | 18463 86170 286586 | 2147483647 168723 90 | 0.000 % |
121.53/121.59 c | 169062 | 18463 86170 286586 | 2147483647 169062 90 | 0.000 % |
122.03/122.09 c | 169435 | 18463 86170 286586 | 2147483647 169435 90 | 0.000 % |
122.63/122.62 c | 169845 | 18463 86170 286586 | 2147483647 169845 90 | 0.000 % |
122.93/122.93 c | 170295 | 18463 86170 286586 | 2147483647 170295 90 | 0.000 % |
123.53/123.58 c | 170788 | 18463 86170 286586 | 2147483647 170788 90 | 0.000 % |
123.83/123.89 c | 171330 | 18463 86170 286586 | 2147483647 171330 90 | 0.000 % |
124.43/124.47 c | 171926 | 18463 86170 286586 | 2147483647 171926 91 | 0.000 % |
124.93/124.93 c | 172581 | 18463 86170 286586 | 2147483647 172581 91 | 0.000 % |
125.63/125.71 c | 173301 | 18463 86170 286586 | 2147483647 173301 91 | 0.000 % |
126.63/126.65 c | 174094 | 18463 86170 286586 | 2147483647 174094 91 | 0.000 % |
127.33/127.39 c | 174965 | 18463 86170 286586 | 2147483647 174965 90 | 0.000 % |
128.53/128.51 c | 175924 | 18463 86170 286586 | 2147483647 175924 91 | 0.000 % |
129.53/129.60 c | 176977 | 18463 86170 286586 | 2147483647 176977 91 | 0.000 % |
130.63/130.69 c | 178135 | 18463 86170 286586 | 2147483647 178135 91 | 0.000 % |
131.53/131.61 c | 179409 | 18463 86170 286586 | 2147483647 179409 91 | 0.000 % |
133.03/133.08 c | 180809 | 18463 86170 286586 | 2147483647 180809 91 | 0.000 % |
134.93/134.91 c | 182349 | 18463 86170 286586 | 2147483647 182349 92 | 0.000 % |
136.23/136.22 c | 184043 | 18463 86170 286586 | 2147483647 184043 92 | 0.000 % |
138.03/138.11 c | 185907 | 18463 86170 286586 | 2147483647 185907 92 | 0.000 % |
138.23/138.31 c | 186007 | 18463 86170 286586 | 2147483647 186007 92 | 0.000 % |
138.53/138.52 c | 186118 | 18463 86170 286586 | 2147483647 186118 92 | 0.000 % |
138.73/138.74 c | 186239 | 18463 86170 286586 | 2147483647 186239 92 | 0.000 % |
138.93/138.93 c | 186377 | 18463 86170 286586 | 2147483647 186377 92 | 0.000 % |
139.13/139.20 c | 186523 | 18463 86170 286586 | 2147483647 186523 92 | 0.000 % |
139.33/139.37 c | 186684 | 18463 86170 286586 | 2147483647 186684 92 | 0.000 % |
139.53/139.55 c | 186860 | 18463 86170 286586 | 2147483647 186860 92 | 0.000 % |
139.83/139.84 c | 187054 | 18463 86170 286586 | 2147483647 187054 92 | 0.000 % |
140.03/140.03 c | 187267 | 18463 86170 286586 | 2147483647 187267 92 | 0.000 % |
140.23/140.23 c | 187501 | 18463 86170 286586 | 2147483647 187501 92 | 0.000 % |
140.43/140.42 c | 187757 | 18463 86170 286586 | 2147483647 187757 92 | 0.000 % |
140.73/140.78 c | 188038 | 18463 86170 286586 | 2147483647 188038 92 | 0.000 % |
140.93/140.96 c | 188347 | 18463 86170 286586 | 2147483647 188347 92 | 0.000 % |
141.43/141.43 c | 188686 | 18463 86170 286586 | 2147483647 188686 92 | 0.000 % |
141.83/141.82 c | 189059 | 18463 86170 286586 | 2147483647 189059 92 | 0.000 % |
142.33/142.33 c | 189469 | 18463 86170 286586 | 2147483647 189469 92 | 0.000 % |
142.73/142.79 c | 189920 | 18463 86170 286586 | 2147483647 189920 92 | 0.000 % |
143.63/143.63 c | 190413 | 18463 86170 286586 | 2147483647 190413 93 | 0.000 % |
144.14/144.18 c | 190956 | 18463 86170 286586 | 2147483647 190956 93 | 0.000 % |
144.53/144.60 c | 191552 | 18463 86170 286586 | 2147483647 191552 93 | 0.000 % |
145.53/145.54 c | 192207 | 18463 86170 286586 | 2147483647 192207 93 | 0.000 % |
146.13/146.12 c | 192927 | 18463 86170 286586 | 2147483647 192927 93 | 0.000 % |
146.73/146.74 c | 193719 | 18463 86170 286586 | 2147483647 193719 93 | 0.000 % |
147.53/147.58 c | 194590 | 18463 86170 286586 | 2147483647 194590 93 | 0.000 % |
148.63/148.67 c | 195551 | 18463 86170 286586 | 2147483647 195551 93 | 0.000 % |
149.53/149.55 c | 196605 | 18463 86170 286586 | 2147483647 196605 93 | 0.000 % |
150.33/150.38 c | 197763 | 18463 86170 286586 | 2147483647 197763 93 | 0.000 % |
152.23/152.24 c | 199040 | 18463 86170 286586 | 2147483647 199040 93 | 0.000 % |
153.73/153.78 c | 200443 | 18463 86170 286586 | 2147483647 200443 93 | 0.000 % |
155.53/155.54 c | 201983 | 18463 86170 286586 | 2147483647 201983 94 | 0.000 % |
157.73/157.74 c | 203677 | 18463 86170 286586 | 2147483647 203677 94 | 0.000 % |
159.63/159.64 c | 205541 | 18463 86170 286586 | 2147483647 205541 94 | 0.000 % |
161.83/161.84 c | 207590 | 18463 86170 286586 | 2147483647 207590 94 | 0.000 % |
162.03/162.09 c | 207694 | 18463 86170 286586 | 2147483647 207694 94 | 0.000 % |
162.23/162.26 c | 207804 | 18463 86170 286586 | 2147483647 207804 94 | 0.000 % |
162.33/162.38 c | 207926 | 18463 86170 286586 | 2147483647 207926 94 | 0.000 % |
162.63/162.62 c | 208060 | 18463 86170 286586 | 2147483647 208060 94 | 0.000 % |
162.73/162.74 c | 208206 | 18463 86170 286586 | 2147483647 208206 94 | 0.000 % |
162.84/162.84 c | 208366 | 18463 86170 286586 | 2147483647 208366 94 | 0.000 % |
163.03/163.07 c | 208544 | 18463 86170 286586 | 2147483647 208544 94 | 0.000 % |
163.33/163.32 c | 208740 | 18463 86170 286586 | 2147483647 208740 94 | 0.000 % |
163.53/163.60 c | 208953 | 18463 86170 286586 | 2147483647 208953 94 | 0.000 % |
164.03/164.05 c | 209187 | 18463 86170 286586 | 2147483647 209187 94 | 0.000 % |
164.23/164.30 c | 209443 | 18463 86170 286586 | 2147483647 209443 94 | 0.000 % |
164.63/164.63 c | 209726 | 18463 86170 286586 | 2147483647 209726 94 | 0.000 % |
164.83/164.91 c | 210037 | 18463 86170 286586 | 2147483647 210037 94 | 0.000 % |
165.33/165.36 c | 210376 | 18463 86170 286586 | 2147483647 210376 94 | 0.000 % |
165.73/165.80 c | 210750 | 18463 86170 286586 | 2147483647 210750 94 | 0.000 % |
166.03/166.06 c | 211161 | 18463 86170 286586 | 2147483647 211161 94 | 0.000 % |
166.63/166.70 c | 211615 | 18463 86170 286586 | 2147483647 211615 94 | 0.000 % |
167.13/167.19 c | 212111 | 18463 86170 286586 | 2147483647 212111 94 | 0.000 % |
167.63/167.70 c | 212653 | 18463 86170 286586 | 2147483647 212653 94 | 0.000 % |
168.53/168.60 c | 213249 | 18463 86170 286586 | 2147483647 213249 94 | 0.000 % |
169.33/169.37 c | 213905 | 18463 86170 286586 | 2147483647 213905 94 | 0.000 % |
170.23/170.24 c | 214625 | 18463 86170 286586 | 2147483647 214625 94 | 0.000 % |
171.23/171.25 c | 215417 | 18463 86170 286586 | 2147483647 215417 94 | 0.000 % |
172.13/172.12 c | 216290 | 18463 86170 286586 | 2147483647 216290 94 | 0.000 % |
173.43/173.50 c | 217252 | 18463 86170 286586 | 2147483647 217252 95 | 0.000 % |
174.44/174.49 c | 218306 | 18463 86170 286586 | 2147483647 218306 95 | 0.000 % |
176.74/176.78 c | 219466 | 18463 86170 286586 | 2147483647 219466 95 | 0.000 % |
178.54/178.55 c | 220739 | 18463 86170 286586 | 2147483647 220739 96 | 0.000 % |
180.04/180.08 c | 222140 | 18463 86170 286586 | 2147483647 222140 96 | 0.000 % |
181.94/181.92 c | 223681 | 18463 86170 286586 | 2147483647 223681 97 | 0.000 % |
183.54/183.58 c | 225375 | 18463 86170 286586 | 2147483647 225375 97 | 0.000 % |
185.14/185.19 c | 227238 | 18463 86170 286586 | 2147483647 227238 97 | 0.000 % |
189.34/189.34 c | 229289 | 18463 86170 286586 | 2147483647 229289 97 | 0.000 % |
192.54/192.55 c | 231542 | 18463 86170 286586 | 2147483647 231542 98 | 0.000 % |
192.74/192.73 c | 231642 | 18463 86170 286586 | 2147483647 231642 98 | 0.000 % |
192.94/192.92 c | 231752 | 18463 86170 286586 | 2147483647 231752 98 | 0.000 % |
193.14/193.21 c | 231874 | 18463 86170 286586 | 2147483647 231874 98 | 0.000 % |
193.34/193.40 c | 232007 | 18463 86170 286586 | 2147483647 232007 98 | 0.000 % |
193.64/193.68 c | 232153 | 18463 86170 286586 | 2147483647 232153 98 | 0.000 % |
193.84/193.90 c | 232314 | 18463 86170 286586 | 2147483647 232314 98 | 0.000 % |
194.14/194.14 c | 232491 | 18463 86170 286586 | 2147483647 232491 98 | 0.000 % |
194.34/194.34 c | 232685 | 18463 86170 286586 | 2147483647 232685 98 | 0.000 % |
194.54/194.58 c | 232898 | 18463 86170 286586 | 2147483647 232898 98 | 0.000 % |
194.74/194.76 c | 233131 | 18463 86170 286586 | 2147483647 233131 98 | 0.000 % |
195.04/195.11 c | 233387 | 18463 86170 286586 | 2147483647 233387 98 | 0.000 % |
195.64/195.70 c | 233668 | 18463 86170 286586 | 2147483647 233668 98 | 0.000 % |
196.04/196.06 c | 233977 | 18463 86170 286586 | 2147483647 233977 98 | 0.000 % |
196.54/196.55 c | 234317 | 18463 86170 286586 | 2147483647 234317 98 | 0.000 % |
196.84/196.85 c | 234690 | 18463 86170 286586 | 2147483647 234690 98 | 0.000 % |
197.44/197.46 c | 235099 | 18463 86170 286586 | 2147483647 235099 98 | 0.000 % |
197.84/197.83 c | 235548 | 18463 86170 286586 | 2147483647 235548 98 | 0.000 % |
198.74/198.73 c | 236043 | 18463 86170 286586 | 2147483647 236043 98 | 0.000 % |
199.74/199.79 c | 236585 | 18463 86170 286586 | 2147483647 236585 98 | 0.000 % |
200.54/200.58 c | 237181 | 18463 86170 286586 | 2147483647 237181 98 | 0.000 % |
201.54/201.56 c | 237837 | 18463 86170 286586 | 2147483647 237837 98 | 0.000 % |
202.04/202.09 c | 238557 | 18463 86170 286586 | 2147483647 238557 98 | 0.000 % |
202.94/203.00 c | 239351 | 18463 86170 286586 | 2147483647 239351 98 | 0.000 % |
204.14/204.18 c | 240222 | 18463 86170 286586 | 2147483647 240222 99 | 0.000 % |
205.44/205.45 c | 241180 | 18463 86170 286586 | 2147483647 241180 99 | 0.000 % |
206.64/206.65 c | 242235 | 18463 86170 286586 | 2147483647 242235 99 | 0.000 % |
207.94/207.94 c | 243394 | 18463 86170 286586 | 2147483647 243394 100 | 0.000 % |
209.54/209.57 c | 244667 | 18463 86170 286586 | 2147483647 244667 100 | 0.000 % |
211.14/211.18 c | 246067 | 18463 86170 286586 | 2147483647 246067 100 | 0.000 % |
213.44/213.42 c | 247607 | 18463 86170 286586 | 2147483647 247607 101 | 0.000 % |
216.44/216.42 c | 249302 | 18463 86170 286586 | 2147483647 249302 101 | 0.000 % |
219.34/219.36 c | 251166 | 18463 86170 286586 | 2147483647 251166 101 | 0.000 % |
221.64/221.64 c | 253215 | 18463 86170 286586 | 2147483647 253215 101 | 0.000 % |
224.24/224.25 c | 255469 | 18463 86170 286586 | 2147483647 255469 102 | 0.000 % |
228.84/228.89 c | 257947 | 18463 86170 286586 | 2147483647 257947 102 | 0.000 % |
229.04/229.07 c | 258048 | 18463 86170 286586 | 2147483647 258048 102 | 0.000 % |
229.24/229.24 c | 258158 | 18463 86170 286586 | 2147483647 258158 102 | 0.000 % |
229.34/229.41 c | 258279 | 18463 86170 286586 | 2147483647 258279 102 | 0.000 % |
229.64/229.68 c | 258413 | 18463 86170 286586 | 2147483647 258413 102 | 0.000 % |
229.84/229.83 c | 258559 | 18463 86170 286586 | 2147483647 258559 102 | 0.000 % |
230.04/230.02 c | 258722 | 18463 86170 286586 | 2147483647 258722 102 | 0.000 % |
230.34/230.37 c | 258898 | 18463 86170 286586 | 2147483647 258898 102 | 0.000 % |
230.74/230.75 c | 259094 | 18463 86170 286586 | 2147483647 259094 102 | 0.000 % |
231.04/231.11 c | 259306 | 18463 86170 286586 | 2147483647 259306 102 | 0.000 % |
231.64/231.65 c | 259539 | 18463 86170 286586 | 2147483647 259539 102 | 0.000 % |
232.14/232.19 c | 259798 | 18463 86170 286586 | 2147483647 259798 103 | 0.000 % |
232.54/232.60 c | 260083 | 18463 86170 286586 | 2147483647 260083 103 | 0.000 % |
233.44/233.43 c | 260393 | 18463 86170 286586 | 2147483647 260393 103 | 0.000 % |
233.84/233.86 c | 260733 | 18463 86170 286586 | 2147483647 260733 103 | 0.000 % |
234.34/234.39 c | 261105 | 18463 86170 286586 | 2147483647 261105 103 | 0.000 % |
234.74/234.76 c | 261515 | 18463 86170 286586 | 2147483647 261515 103 | 0.000 % |
235.54/235.54 c | 261965 | 18463 86170 286586 | 2147483647 261965 103 | 0.000 % |
236.34/236.39 c | 262459 | 18463 86170 286586 | 2147483647 262459 103 | 0.000 % |
237.44/237.48 c | 263001 | 18463 86170 286586 | 2147483647 263001 103 | 0.000 % |
238.54/238.56 c | 263597 | 18463 86170 286586 | 2147483647 263597 103 | 0.000 % |
240.54/240.52 c | 264252 | 18463 86170 286586 | 2147483647 264252 103 | 0.000 % |
241.14/241.21 c | 264973 | 18463 86170 286586 | 2147483647 264973 103 | 0.000 % |
242.24/242.28 c | 265765 | 18463 86170 286586 | 2147483647 265765 103 | 0.000 % |
243.54/243.53 c | 266639 | 18463 86170 286586 | 2147483647 266639 103 | 0.000 % |
244.24/244.22 c | 267598 | 18463 86170 286586 | 2147483647 267598 103 | 0.000 % |
245.34/245.34 c | 268651 | 18463 86170 286586 | 2147483647 268651 103 | 0.000 % |
246.94/246.96 c | 269809 | 18463 86170 286586 | 2147483647 269809 104 | 0.000 % |
248.74/248.72 c | 271083 | 18463 86170 286586 | 2147483647 271083 104 | 0.000 % |
250.85/250.87 c | 272483 | 18463 86170 286586 | 2147483647 272483 104 | 0.000 % |
252.34/252.37 c | 274023 | 18463 86170 286586 | 2147483647 274023 104 | 0.000 % |
256.14/256.21 c | 275718 | 18463 86170 286586 | 2147483647 275718 105 | 0.000 % |
260.44/260.42 c | 277587 | 18463 86170 286586 | 2147483647 277587 105 | 0.000 % |
263.44/263.43 c | 279637 | 18463 86170 286586 | 2147483647 279637 106 | 0.000 % |
266.04/266.01 c | 281892 | 18463 86170 286586 | 2147483647 281892 105 | 0.000 % |
270.65/270.62 c | 284370 | 18463 86170 286586 | 2147483647 284370 106 | 0.000 % |
274.84/274.89 c | 287097 | 18463 86170 286586 | 2147483647 287097 106 | 0.000 % |
275.05/275.09 c | 287198 | 18463 86170 286586 | 2147483647 287198 106 | 0.000 % |
275.24/275.23 c | 287308 | 18463 86170 286586 | 2147483647 287308 106 | 0.000 % |
275.64/275.61 c | 287429 | 18463 86170 286586 | 2147483647 287429 106 | 0.000 % |
275.84/275.89 c | 287563 | 18463 86170 286586 | 2147483647 287563 106 | 0.000 % |
276.04/276.10 c | 287709 | 18463 86170 286586 | 2147483647 287709 106 | 0.000 % |
276.34/276.38 c | 287871 | 18463 86170 286586 | 2147483647 287871 106 | 0.000 % |
276.64/276.70 c | 288047 | 18463 86170 286586 | 2147483647 288047 106 | 0.000 % |
276.94/276.94 c | 288246 | 18463 86170 286586 | 2147483647 288246 106 | 0.000 % |
277.25/277.29 c | 288459 | 18463 86170 286586 | 2147483647 288459 106 | 0.000 % |
277.44/277.48 c | 288692 | 18463 86170 286586 | 2147483647 288692 106 | 0.000 % |
277.84/277.89 c | 288950 | 18463 86170 286586 | 2147483647 288950 106 | 0.000 % |
278.35/278.38 c | 289232 | 18463 86170 286586 | 2147483647 289232 106 | 0.000 % |
278.84/278.88 c | 289543 | 18463 86170 286586 | 2147483647 289543 106 | 0.000 % |
279.45/279.51 c | 289883 | 18463 86170 286586 | 2147483647 289883 106 | 0.000 % |
280.34/280.36 c | 290255 | 18463 86170 286586 | 2147483647 290255 106 | 0.000 % |
281.24/281.22 c | 290664 | 18463 86170 286586 | 2147483647 290664 106 | 0.000 % |
281.84/281.87 c | 291113 | 18463 86170 286586 | 2147483647 291113 106 | 0.000 % |
282.75/282.81 c | 291606 | 18463 86170 286586 | 2147483647 291606 107 | 0.000 % |
283.85/283.82 c | 292148 | 18463 86170 286586 | 2147483647 292148 107 | 0.000 % |
284.54/284.60 c | 292744 | 18463 86170 286586 | 2147483647 292744 107 | 0.000 % |
285.74/285.79 c | 293399 | 18463 86170 286586 | 2147483647 293399 107 | 0.000 % |
286.74/286.72 c | 294119 | 18463 86170 286586 | 2147483647 294119 107 | 0.000 % |
288.04/288.08 c | 294911 | 18463 86170 286586 | 2147483647 294911 107 | 0.000 % |
289.35/289.35 c | 295782 | 18463 86170 286586 | 2147483647 295782 106 | 0.000 % |
290.64/290.66 c | 296743 | 18463 86170 286586 | 2147483647 296743 106 | 0.000 % |
291.55/291.56 c | 297797 | 18463 86170 286586 | 2147483647 297797 106 | 0.000 % |
292.65/292.68 c | 298956 | 18463 86170 286586 | 2147483647 298956 107 | 0.000 % |
294.24/294.25 c | 300229 | 18463 86170 286586 | 2147483647 300229 107 | 0.000 % |
296.54/296.57 c | 301629 | 18463 86170 286586 | 2147483647 301629 107 | 0.000 % |
298.74/298.71 c | 303171 | 18463 86170 286586 | 2147483647 303171 107 | 0.000 % |
301.35/301.36 c | 304867 | 18463 86170 286586 | 2147483647 304867 107 | 0.000 % |
303.65/303.67 c | 306730 | 18463 86170 286586 | 2147483647 306730 107 | 0.000 % |
306.65/306.66 c | 308780 | 18463 86170 286586 | 2147483647 308780 108 | 0.000 % |
310.35/310.37 c | 311034 | 18463 86170 286586 | 2147483647 311034 108 | 0.000 % |
316.35/316.34 c | 313513 | 18463 86170 286586 | 2147483647 313513 108 | 0.000 % |
324.55/324.53 c | 316238 | 18463 86170 286586 | 2147483647 316238 108 | 0.000 % |
328.64/328.70 c | 319235 | 18463 86170 286586 | 2147483647 319235 109 | 0.000 % |
328.84/328.84 c | 319337 | 18463 86170 286586 | 2147483647 319337 109 | 0.000 % |
329.14/329.14 c | 319448 | 18463 86170 286586 | 2147483647 319448 109 | 0.000 % |
329.24/329.30 c | 319569 | 18463 86170 286586 | 2147483647 319569 109 | 0.000 % |
329.64/329.70 c | 319704 | 18463 86170 286586 | 2147483647 319704 109 | 0.000 % |
330.04/330.05 c | 319851 | 18463 86170 286586 | 2147483647 319851 109 | 0.000 % |
330.44/330.50 c | 320012 | 18463 86170 286586 | 2147483647 320012 109 | 0.000 % |
330.74/330.80 c | 320188 | 18463 86170 286586 | 2147483647 320188 109 | 0.000 % |
331.14/331.20 c | 320382 | 18463 86170 286586 | 2147483647 320382 109 | 0.000 % |
331.54/331.53 c | 320596 | 18463 86170 286586 | 2147483647 320596 109 | 0.000 % |
332.04/332.06 c | 320830 | 18463 86170 286586 | 2147483647 320830 109 | 0.000 % |
332.54/332.55 c | 321086 | 18463 86170 286586 | 2147483647 321086 109 | 0.000 % |
333.24/333.24 c | 321368 | 18463 86170 286586 | 2147483647 321368 109 | 0.000 % |
333.64/333.66 c | 321678 | 18463 86170 286586 | 2147483647 321678 109 | 0.000 % |
334.24/334.30 c | 322019 | 18463 86170 286586 | 2147483647 322019 109 | 0.000 % |
335.24/335.22 c | 322392 | 18463 86170 286586 | 2147483647 322392 109 | 0.000 % |
335.74/335.81 c | 322801 | 18463 86170 286586 | 2147483647 322801 109 | 0.000 % |
336.64/336.61 c | 323251 | 18463 86170 286586 | 2147483647 323251 109 | 0.000 % |
337.44/337.41 c | 323745 | 18463 86170 286586 | 2147483647 323745 109 | 0.000 % |
338.24/338.23 c | 324287 | 18463 86170 286586 | 2147483647 324287 109 | 0.000 % |
339.34/339.37 c | 324883 | 18463 86170 286586 | 2147483647 324883 109 | 0.000 % |
339.94/339.94 c | 325538 | 18463 86170 286586 | 2147483647 325538 109 | 0.000 % |
341.94/341.94 c | 326258 | 18463 86170 286586 | 2147483647 326258 110 | 0.000 % |
343.54/343.54 c | 327050 | 18463 86170 286586 | 2147483647 327050 110 | 0.000 % |
345.74/345.78 c | 327923 | 18463 86170 286586 | 2147483647 327923 110 | 0.000 % |
347.64/347.63 c | 328881 | 18463 86170 286586 | 2147483647 328881 110 | 0.000 % |
349.54/349.59 c | 329934 | 18463 86170 286586 | 2147483647 329934 110 | 0.000 % |
352.34/352.33 c | 331093 | 18463 86170 286586 | 2147483647 331093 110 | 0.000 % |
355.34/355.39 c | 332369 | 18463 86170 286586 | 2147483647 332369 111 | 0.000 % |
358.44/358.47 c | 333769 | 18463 86170 286586 | 2147483647 333769 111 | 0.000 % |
362.14/362.14 c | 335309 | 18463 86170 286586 | 2147483647 335309 112 | 0.000 % |
365.54/365.53 c | 337003 | 18463 86170 286586 | 2147483647 337003 113 | 0.000 % |
368.44/368.46 c | 338866 | 18463 86170 286586 | 2147483647 338866 113 | 0.000 % |
374.14/374.13 c | 340920 | 18463 86170 286586 | 2147483647 340920 113 | 0.000 % |
378.94/379.00 c | 343173 | 18463 86170 286586 | 2147483647 343173 114 | 0.000 % |
383.84/383.84 c | 345651 | 18463 86170 286586 | 2147483647 345651 114 | 0.000 % |
389.84/389.82 c | 348376 | 18463 86170 286586 | 2147483647 348376 115 | 0.000 % |
397.44/397.42 c | 351374 | 18463 86170 286586 | 2147483647 351374 116 | 0.000 % |
404.74/404.72 c | 354670 | 18463 86170 286586 | 2147483647 354670 117 | 0.000 % |
404.85/404.90 c | 354770 | 18463 86170 286586 | 2147483647 354770 117 | 0.000 % |
405.14/405.17 c | 354883 | 18463 86170 286586 | 2147483647 354883 117 | 0.000 % |
405.34/405.39 c | 355009 | 18463 86170 286586 | 2147483647 355009 117 | 0.000 % |
405.74/405.75 c | 355142 | 18463 86170 286586 | 2147483647 355142 117 | 0.000 % |
406.14/406.13 c | 355289 | 18463 86170 286586 | 2147483647 355289 117 | 0.000 % |
406.54/406.51 c | 355449 | 18463 86170 286586 | 2147483647 355449 117 | 0.000 % |
406.94/406.95 c | 355625 | 18463 86170 286586 | 2147483647 355625 117 | 0.000 % |
407.34/407.33 c | 355820 | 18463 86170 286586 | 2147483647 355820 117 | 0.000 % |
407.84/407.81 c | 356034 | 18463 86170 286586 | 2147483647 356034 117 | 0.000 % |
408.24/408.29 c | 356267 | 18463 86170 286586 | 2147483647 356267 117 | 0.000 % |
408.74/408.80 c | 356523 | 18463 86170 286586 | 2147483647 356523 117 | 0.000 % |
409.44/409.41 c | 356807 | 18463 86170 286586 | 2147483647 356807 117 | 0.000 % |
409.94/409.96 c | 357116 | 18463 86170 286586 | 2147483647 357116 117 | 0.000 % |
410.35/410.35 c | 357456 | 18463 86170 286586 | 2147483647 357456 117 | 0.000 % |
410.84/410.90 c | 357829 | 18463 86170 286586 | 2147483647 357829 117 | 0.000 % |
411.74/411.73 c | 358242 | 18463 86170 286586 | 2147483647 358242 117 | 0.000 % |
412.64/412.64 c | 358691 | 18463 86170 286586 | 2147483647 358691 117 | 0.000 % |
413.84/413.84 c | 359186 | 18463 86170 286586 | 2147483647 359186 117 | 0.000 % |
415.04/415.06 c | 359734 | 18463 86170 286586 | 2147483647 359734 118 | 0.000 % |
416.04/416.04 c | 360330 | 18463 86170 286586 | 2147483647 360330 118 | 0.000 % |
417.74/417.75 c | 360985 | 18463 86170 286586 | 2147483647 360985 118 | 0.000 % |
419.34/419.38 c | 361706 | 18463 86170 286586 | 2147483647 361706 118 | 0.000 % |
421.14/421.15 c | 362499 | 18463 86170 286586 | 2147483647 362499 118 | 0.000 % |
424.04/424.01 c | 363370 | 18463 86170 286586 | 2147483647 363370 118 | 0.000 % |
425.94/425.96 c | 364328 | 18463 86170 286586 | 2147483647 364328 119 | 0.000 % |
428.05/428.09 c | 365382 | 18463 86170 286586 | 2147483647 365382 119 | 0.000 % |
430.05/430.02 c | 366540 | 18463 86170 286586 | 2147483647 366540 120 | 0.000 % |
432.85/432.89 c | 367813 | 18463 86170 286586 | 2147483647 367813 120 | 0.000 % |
435.15/435.20 c | 369213 | 18463 86170 286586 | 2147483647 369213 120 | 0.000 % |
437.65/437.61 c | 370757 | 18463 86170 286586 | 2147483647 370757 120 | 0.000 % |
441.35/441.36 c | 372451 | 18463 86170 286586 | 2147483647 372451 120 | 0.000 % |
446.05/446.04 c | 374314 | 18463 86170 286586 | 2147483647 374314 121 | 0.000 % |
450.05/450.07 c | 376363 | 18463 86170 286586 | 2147483647 376363 121 | 0.000 % |
452.95/452.96 c | 378616 | 18463 86170 286586 | 2147483647 378616 121 | 0.000 % |
455.95/455.97 c | 381097 | 18463 86170 286586 | 2147483647 381097 120 | 0.000 % |
459.55/459.57 c | 383825 | 18463 86170 286586 | 2147483647 383825 120 | 0.000 % |
463.95/464.01 c | 386822 | 18463 86170 286586 | 2147483647 386822 121 | 0.000 % |
467.95/467.94 c | 390120 | 18463 86170 286586 | 2147483647 390120 121 | 0.000 % |
473.65/473.64 c | 393745 | 18463 86170 286586 | 2147483647 393745 121 | 0.000 % |
473.85/473.83 c | 393846 | 18463 86170 286586 | 2147483647 393846 121 | 0.000 % |
474.15/474.19 c | 393958 | 18463 86170 286586 | 2147483647 393958 121 | 0.000 % |
474.45/474.45 c | 394079 | 18463 86170 286586 | 2147483647 394079 121 | 0.000 % |
474.85/474.86 c | 394212 | 18463 86170 286586 | 2147483647 394212 121 | 0.000 % |
475.25/475.30 c | 394360 | 18463 86170 286586 | 2147483647 394360 121 | 0.000 % |
475.95/475.92 c | 394521 | 18463 86170 286586 | 2147483647 394521 121 | 0.000 % |
476.35/476.36 c | 394697 | 18463 86170 286586 | 2147483647 394697 121 | 0.000 % |
476.75/476.79 c | 394892 | 18463 86170 286586 | 2147483647 394892 121 | 0.000 % |
477.35/477.34 c | 395107 | 18463 86170 286586 | 2147483647 395107 121 | 0.000 % |
478.15/478.19 c | 395342 | 18463 86170 286586 | 2147483647 395342 121 | 0.000 % |
479.15/479.18 c | 395599 | 18463 86170 286586 | 2147483647 395599 121 | 0.000 % |
479.75/479.81 c | 395880 | 18463 86170 286586 | 2147483647 395880 121 | 0.000 % |
480.85/480.82 c | 396191 | 18463 86170 286586 | 2147483647 396191 121 | 0.000 % |
481.75/481.71 c | 396530 | 18463 86170 286586 | 2147483647 396530 121 | 0.000 % |
483.25/483.26 c | 396903 | 18463 86170 286586 | 2147483647 396903 121 | 0.000 % |
484.05/484.10 c | 397312 | 18463 86170 286586 | 2147483647 397312 121 | 0.000 % |
485.25/485.29 c | 397761 | 18463 86170 286586 | 2147483647 397761 121 | 0.000 % |
486.55/486.51 c | 398254 | 18463 86170 286586 | 2147483647 398254 121 | 0.000 % |
487.35/487.36 c | 398796 | 18463 86170 286586 | 2147483647 398796 121 | 0.000 % |
488.45/488.42 c | 399392 | 18463 86170 286586 | 2147483647 399392 121 | 0.000 % |
489.85/489.82 c | 400048 | 18463 86170 286586 | 2147483647 400048 121 | 0.000 % |
492.05/492.03 c | 400768 | 18463 86170 286586 | 2147483647 400768 122 | 0.000 % |
493.75/493.72 c | 401562 | 18463 86170 286586 | 2147483647 401562 122 | 0.000 % |
496.15/496.11 c | 402433 | 18463 86170 286586 | 2147483647 402433 122 | 0.000 % |
499.35/499.35 c | 403391 | 18463 86170 286586 | 2147483647 403391 122 | 0.000 % |
502.35/502.32 c | 404447 | 18463 86170 286586 | 2147483647 404447 123 | 0.000 % |
504.85/504.85 c | 405609 | 18463 86170 286586 | 2147483647 405609 123 | 0.000 % |
507.16/507.16 c | 406883 | 18463 86170 286586 | 2147483647 406883 123 | 0.000 % |
511.35/511.36 c | 408286 | 18463 86170 286586 | 2147483647 408286 124 | 0.000 % |
516.05/516.10 c | 409826 | 18463 86170 286586 | 2147483647 409826 124 | 0.000 % |
521.75/521.79 c | 411521 | 18463 86170 286586 | 2147483647 411521 124 | 0.000 % |
525.65/525.70 c | 413387 | 18463 86170 286586 | 2147483647 413387 124 | 0.000 % |
530.65/530.68 c | 415437 | 18463 86170 286586 | 2147483647 415437 125 | 0.000 % |
537.55/537.52 c | 417691 | 18463 86170 286586 | 2147483647 417691 126 | 0.000 % |
544.35/544.31 c | 420169 | 18463 86170 286586 | 2147483647 420169 127 | 0.000 % |
551.45/551.43 c | 422894 | 18463 86170 286586 | 2147483647 422894 127 | 0.000 % |
558.66/558.64 c | 425891 | 18463 86170 286586 | 2147483647 425891 128 | 0.000 % |
569.16/569.14 c | 429192 | 18463 86170 286586 | 2147483647 429192 129 | 0.000 % |
581.96/581.94 c | 432817 | 18463 86170 286586 | 2147483647 432817 130 | 0.000 % |
593.26/593.22 c | 436805 | 18463 86170 286586 | 2147483647 436805 132 | 0.000 % |
593.56/593.57 c | 436905 | 18463 86170 286586 | 2147483647 436905 132 | 0.000 % |
593.86/593.88 c | 437016 | 18463 86170 286586 | 2147483647 437016 132 | 0.000 % |
594.26/594.26 c | 437137 | 18463 86170 286586 | 2147483647 437137 132 | 0.000 % |
594.86/594.84 c | 437271 | 18463 86170 286586 | 2147483647 437271 132 | 0.000 % |
595.16/595.15 c | 437418 | 18463 86170 286586 | 2147483647 437418 132 | 0.000 % |
595.76/595.73 c | 437578 | 18463 86170 286586 | 2147483647 437578 132 | 0.000 % |
596.26/596.28 c | 437754 | 18463 86170 286586 | 2147483647 437754 132 | 0.000 % |
597.06/597.06 c | 437947 | 18463 86170 286586 | 2147483647 437947 132 | 0.000 % |
597.66/597.62 c | 438159 | 18463 86170 286586 | 2147483647 438159 132 | 0.000 % |
598.06/598.03 c | 438393 | 18463 86170 286586 | 2147483647 438393 132 | 0.000 % |
598.76/598.73 c | 438652 | 18463 86170 286586 | 2147483647 438652 132 | 0.000 % |
599.56/599.61 c | 438935 | 18463 86170 286586 | 2147483647 438935 132 | 0.000 % |
600.56/600.55 c | 439245 | 18463 86170 286586 | 2147483647 439245 132 | 0.000 % |
601.66/601.66 c | 439585 | 18463 86170 286586 | 2147483647 439585 132 | 0.000 % |
603.16/603.21 c | 439959 | 18463 86170 286586 | 2147483647 439959 132 | 0.000 % |
604.66/604.67 c | 440368 | 18463 86170 286586 | 2147483647 440368 133 | 0.000 % |
606.26/606.29 c | 440817 | 18463 86170 286586 | 2147483647 440817 133 | 0.000 % |
608.06/608.02 c | 441310 | 18463 86170 286586 | 2147483647 441310 133 | 0.000 % |
609.66/609.65 c | 441853 | 18463 86170 286586 | 2147483647 441853 133 | 0.000 % |
612.76/612.79 c | 442449 | 18463 86170 286586 | 2147483647 442449 133 | 0.000 % |
615.66/615.65 c | 443105 | 18463 86170 286586 | 2147483647 443105 133 | 0.000 % |
617.76/617.74 c | 443826 | 18463 86170 286586 | 2147483647 443826 133 | 0.000 % |
619.16/619.16 c | 444619 | 18463 86170 286586 | 2147483647 444619 133 | 0.000 % |
620.26/620.30 c | 445491 | 18463 86170 286586 | 2147483647 445491 132 | 0.000 % |
623.06/623.10 c | 446449 | 18463 86170 286586 | 2147483647 446449 133 | 0.000 % |
626.26/626.21 c | 447502 | 18463 86170 286586 | 2147483647 447502 133 | 0.000 % |
629.16/629.21 c | 448660 | 18463 86170 286586 | 2147483647 448660 133 | 0.000 % |
632.16/632.18 c | 449933 | 18463 86170 286586 | 2147483647 449933 133 | 0.000 % |
636.56/636.53 c | 451333 | 18463 86170 286586 | 2147483647 451333 133 | 0.000 % |
641.37/641.34 c | 452873 | 18463 86170 286586 | 2147483647 452873 134 | 0.000 % |
648.56/648.60 c | 454569 | 18463 86170 286586 | 2147483647 454569 134 | 0.000 % |
655.56/655.53 c | 456433 | 18463 86170 286586 | 2147483647 456433 135 | 0.000 % |
662.16/662.18 c | 458485 | 18463 86170 286586 | 2147483647 458485 136 | 0.000 % |
671.16/671.19 c | 460738 | 18463 86170 286586 | 2147483647 460738 136 | 0.000 % |
681.27/681.23 c | 463216 | 18463 86170 286586 | 2147483647 463216 137 | 0.000 % |
689.46/689.50 c | 465941 | 18463 86170 286586 | 2147483647 465941 138 | 0.000 % |
700.96/700.97 c | 468938 | 18463 86170 286586 | 2147483647 468938 138 | 0.000 % |
718.96/718.91 c | 472234 | 18463 86170 286586 | 2147483647 472234 139 | 0.000 % |
734.26/734.21 c | 475860 | 18463 86170 286586 | 2147483647 475860 141 | 0.000 % |
752.56/752.54 c | 479848 | 18463 86170 286586 | 2147483647 479848 141 | 0.000 % |
769.56/769.58 c | 484237 | 18463 86170 286586 | 2147483647 484237 142 | 0.000 % |
769.86/769.90 c | 484339 | 18463 86170 286586 | 2147483647 484339 142 | 0.000 % |
770.26/770.27 c | 484449 | 18463 86170 286586 | 2147483647 484449 142 | 0.000 % |
770.76/770.75 c | 484570 | 18463 86170 286586 | 2147483647 484570 142 | 0.000 % |
771.46/771.48 c | 484703 | 18463 86170 286586 | 2147483647 484703 142 | 0.000 % |
772.06/772.03 c | 484850 | 18463 86170 286586 | 2147483647 484850 142 | 0.000 % |
772.66/772.65 c | 485010 | 18463 86170 286586 | 2147483647 485010 142 | 0.000 % |
773.26/773.24 c | 485187 | 18463 86170 286586 | 2147483647 485187 142 | 0.000 % |
773.56/773.60 c | 485380 | 18463 86170 286586 | 2147483647 485380 142 | 0.000 % |
774.26/774.22 c | 485592 | 18463 86170 286586 | 2147483647 485592 142 | 0.000 % |
774.86/774.86 c | 485828 | 18463 86170 286586 | 2147483647 485828 142 | 0.000 % |
775.57/775.57 c | 486084 | 18463 86170 286586 | 2147483647 486084 142 | 0.000 % |
777.06/777.07 c | 486366 | 18463 86170 286586 | 2147483647 486366 142 | 0.000 % |
778.26/778.24 c | 486675 | 18463 86170 286586 | 2147483647 486675 142 | 0.000 % |
779.16/779.15 c | 487014 | 18463 86170 286586 | 2147483647 487014 142 | 0.000 % |
780.06/780.01 c | 487388 | 18463 86170 286586 | 2147483647 487388 142 | 0.000 % |
780.96/780.98 c | 487797 | 18463 86170 286586 | 2147483647 487797 142 | 0.000 % |
781.56/781.53 c | 488250 | 18463 86170 286586 | 2147483647 488250 142 | 0.000 % |
782.66/782.69 c | 488743 | 18463 86170 286586 | 2147483647 488743 142 | 0.000 % |
783.76/783.75 c | 489285 | 18463 86170 286586 | 2147483647 489285 142 | 0.000 % |
785.36/785.32 c | 489885 | 18463 86170 286586 | 2147483647 489885 142 | 0.000 % |
787.36/787.33 c | 490542 | 18463 86170 286586 | 2147483647 490542 142 | 0.000 % |
788.86/788.88 c | 491262 | 18463 86170 286586 | 2147483647 491262 142 | 0.000 % |
791.36/791.40 c | 492057 | 18463 86170 286586 | 2147483647 492057 142 | 0.000 % |
795.26/795.28 c | 492928 | 18463 86170 286586 | 2147483647 492928 142 | 0.000 % |
799.66/799.62 c | 493887 | 18463 86170 286586 | 2147483647 493887 143 | 0.000 % |
804.26/804.28 c | 494940 | 18463 86170 286586 | 2147483647 494940 143 | 0.000 % |
808.27/808.31 c | 496105 | 18463 86170 286586 | 2147483647 496105 143 | 0.000 % |
813.87/813.89 c | 497379 | 18463 86170 286586 | 2147483647 497379 144 | 0.000 % |
820.47/820.47 c | 498779 | 18463 86170 286586 | 2147483647 498779 144 | 0.000 % |
826.87/826.90 c | 500319 | 18463 86170 286586 | 2147483647 500319 144 | 0.000 % |
834.87/834.86 c | 502013 | 18463 86170 286586 | 2147483647 502013 145 | 0.000 % |
844.17/844.13 c | 503876 | 18463 86170 286586 | 2147483647 503876 145 | 0.000 % |
855.77/855.79 c | 505927 | 18463 86170 286586 | 2147483647 505927 146 | 0.000 % |
865.67/865.66 c | 508180 | 18463 86170 286586 | 2147483647 508180 146 | 0.000 % |
876.77/876.77 c | 510659 | 18463 86170 286586 | 2147483647 510659 147 | 0.000 % |
889.87/889.84 c | 513384 | 18463 86170 286586 | 2147483647 513384 148 | 0.000 % |
904.37/904.41 c | 516381 | 18463 86170 286586 | 2147483647 516381 149 | 0.000 % |
920.07/920.02 c | 519677 | 18463 86170 286586 | 2147483647 519677 150 | 0.000 % |
938.08/938.11 c | 523302 | 18463 86170 286586 | 2147483647 523302 152 | 0.000 % |
962.88/962.87 c | 527289 | 18463 86170 286586 | 2147483647 527289 153 | 0.000 % |
992.68/992.67 c | 531678 | 18463 86170 286586 | 2147483647 531678 154 | 0.000 % |
1021.28/1021.25 c | 536502 | 18463 86170 286586 | 2147483647 536502 156 | 0.000 % |
1021.68/1021.68 c | 536603 | 18463 86170 286586 | 2147483647 536603 156 | 0.000 % |
1022.08/1022.03 c | 536714 | 18463 86170 286586 | 2147483647 536714 156 | 0.000 % |
1022.48/1022.48 c | 536835 | 18463 86170 286586 | 2147483647 536835 156 | 0.000 % |
1023.18/1023.14 c | 536972 | 18463 86170 286586 | 2147483647 536972 156 | 0.000 % |
1023.78/1023.71 c | 537122 | 18463 86170 286586 | 2147483647 537122 156 | 0.000 % |
1024.08/1024.07 c | 537282 | 18463 86170 286586 | 2147483647 537282 156 | 0.000 % |
1024.38/1024.39 c | 537459 | 18463 86170 286586 | 2147483647 537459 156 | 0.000 % |
1026.08/1026.07 c | 537652 | 18463 86170 286586 | 2147483647 537652 156 | 0.000 % |
1026.98/1026.99 c | 537866 | 18463 86170 286586 | 2147483647 537866 156 | 0.000 % |
1028.48/1028.44 c | 538101 | 18463 86170 286586 | 2147483647 538101 156 | 0.000 % |
1029.58/1029.61 c | 538360 | 18463 86170 286586 | 2147483647 538360 156 | 0.000 % |
1031.08/1031.10 c | 538643 | 18463 86170 286586 | 2147483647 538643 156 | 0.000 % |
1033.28/1033.26 c | 538956 | 18463 86170 286586 | 2147483647 538956 156 | 0.000 % |
1035.98/1036.01 c | 539298 | 18463 86170 286586 | 2147483647 539298 156 | 0.000 % |
1037.48/1037.44 c | 539670 | 18463 86170 286586 | 2147483647 539670 156 | 0.000 % |
1038.98/1038.92 c | 540080 | 18463 86170 286586 | 2147483647 540080 156 | 0.000 % |
1041.08/1041.03 c | 540529 | 18463 86170 286586 | 2147483647 540529 156 | 0.000 % |
1042.89/1042.91 c | 541022 | 18463 86170 286586 | 2147483647 541022 156 | 0.000 % |
1045.97/1045.98 c | 541564 | 18463 86170 286586 | 2147483647 541564 156 | 0.000 % |
1048.47/1048.45 c | 542160 | 18463 86170 286586 | 2147483647 542160 156 | 0.000 % |
1050.77/1050.74 c | 542816 | 18463 86170 286586 | 2147483647 542816 156 | 0.000 % |
1052.78/1052.78 c | 543540 | 18463 86170 286586 | 2147483647 543540 157 | 0.000 % |
1055.37/1055.33 c | 544336 | 18463 86170 286586 | 2147483647 544336 157 | 0.000 % |
1058.87/1058.85 c | 545207 | 18463 86170 286586 | 2147483647 545207 157 | 0.000 % |
1061.58/1061.56 c | 546165 | 18463 86170 286586 | 2147483647 546165 157 | 0.000 % |
1064.28/1064.30 c | 547218 | 18463 86170 286586 | 2147483647 547218 157 | 0.000 % |
1067.28/1067.22 c | 548378 | 18463 86170 286586 | 2147483647 548378 157 | 0.000 % |
1071.58/1071.61 c | 549654 | 18463 86170 286586 | 2147483647 549654 157 | 0.000 % |
1076.18/1076.17 c | 551055 | 18463 86170 286586 | 2147483647 551055 157 | 0.000 % |
1085.78/1085.75 c | 552596 | 18463 86170 286586 | 2147483647 552596 157 | 0.000 % |
1096.38/1096.39 c | 554290 | 18463 86170 286586 | 2147483647 554290 158 | 0.000 % |
1110.38/1110.34 c | 556153 | 18463 86170 286586 | 2147483647 556153 158 | 0.000 % |
1126.88/1126.89 c | 558204 | 18463 86170 286586 | 2147483647 558204 159 | 0.000 % |
1140.88/1140.89 c | 560457 | 18463 86170 286586 | 2147483647 560457 160 | 0.000 % |
1161.08/1161.03 c | 562935 | 18463 86170 286586 | 2147483647 562935 160 | 0.000 % |
1180.48/1180.41 c | 565660 | 18463 86170 286586 | 2147483647 565660 161 | 0.000 % |
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1821040-1242500627/watcher-1821040-1242500627 -o /tmp/evaluation-result-1821040-1242500627/solver-1821040-1242500627 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821040-1242500627.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 2/96 7139
/proc/meminfo: memFree=972940/2074464 swapFree=1950760/1959888
[pid=7139] ppid=7137 vsize=2416 CPUtime=0.01
/proc/7139/stat : 7139 (SatELiteGTI) S 7137 7139 11066 0 -1 4194304 368 646 0 0 1 0 0 0 18 0 1 0 1014560996 2473984 277 4294967295 134512640 135169312 3213335504 3213334040 3084910318 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/7139/statm: 604 277 235 161 0 43 0
[pid=7143] ppid=7139 vsize=952 CPUtime=0
/proc/7143/stat : 7143 (SatELite_releas) R 7139 7139 11066 0 -1 4202496 135 0 0 0 0 0 0 0 20 0 1 0 1014560996 974848 71 4294967295 134512640 135223648 3219351920 3219350876 134563184 0 0 0 3 0 0 0 17 0 0 0 0
/proc/7143/statm: 238 71 46 174 0 63 0
[startup+0.031446 s]
/proc/loadavg: 1.00 1.00 1.00 2/96 7139
/proc/meminfo: memFree=972940/2074464 swapFree=1950760/1959888
[pid=7139] ppid=7137 vsize=2416 CPUtime=0.01
/proc/7139/stat : 7139 (SatELiteGTI) S 7137 7139 11066 0 -1 4194304 368 646 0 0 1 0 0 0 18 0 1 0 1014560996 2473984 277 4294967295 134512640 135169312 3213335504 3213334040 3084910318 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/7139/statm: 604 277 235 161 0 43 0
[pid=7143] ppid=7139 vsize=5324 CPUtime=0.03
/proc/7143/stat : 7143 (SatELite_releas) R 7139 7139 11066 0 -1 4202496 1121 0 0 0 3 0 0 0 20 0 1 0 1014560996 5451776 1058 4294967295 134512640 135223648 3219351920 3219350800 134543028 0 0 0 3 0 0 0 17 0 0 0 0
/proc/7143/statm: 1331 1059 46 174 0 1156 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 7740
[startup+0.111441 s]
/proc/loadavg: 1.00 1.00 1.00 2/96 7139
/proc/meminfo: memFree=972940/2074464 swapFree=1950760/1959888
[pid=7139] ppid=7137 vsize=2416 CPUtime=0.01
/proc/7139/stat : 7139 (SatELiteGTI) S 7137 7139 11066 0 -1 4194304 368 646 0 0 1 0 0 0 18 0 1 0 1014560996 2473984 277 4294967295 134512640 135169312 3213335504 3213334040 3084910318 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/7139/statm: 604 277 235 161 0 43 0
[pid=7143] ppid=7139 vsize=18176 CPUtime=0.11
/proc/7143/stat : 7143 (SatELite_releas) R 7139 7139 11066 0 -1 4202496 3948 0 0 0 9 2 0 0 20 0 1 0 1014560996 18612224 3884 4294967295 134512640 135223648 3219351920 3219350504 134719062 0 0 0 3 0 0 0 17 0 0 0 0
/proc/7143/statm: 4544 3884 46 174 0 4369 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 20592
[startup+0.311429 s]
/proc/loadavg: 1.00 1.00 1.00 2/96 7139
/proc/meminfo: memFree=972940/2074464 swapFree=1950760/1959888
[pid=7139] ppid=7137 vsize=2416 CPUtime=0.01
/proc/7139/stat : 7139 (SatELiteGTI) S 7137 7139 11066 0 -1 4194304 368 646 0 0 1 0 0 0 18 0 1 0 1014560996 2473984 277 4294967295 134512640 135169312 3213335504 3213334040 3084910318 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/7139/statm: 604 277 235 161 0 43 0
[pid=7143] ppid=7139 vsize=24212 CPUtime=0.31
/proc/7143/stat : 7143 (SatELite_releas) R 7139 7139 11066 0 -1 4202496 5792 0 0 0 28 3 0 0 21 0 1 0 1014560996 24793088 5330 4294967295 134512640 135223648 3219351920 3219349936 134586890 0 0 0 3 0 0 0 17 0 0 0 0
/proc/7143/statm: 6053 5330 73 174 0 5878 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 26628
[startup+0.711407 s]
/proc/loadavg: 1.00 1.00 1.00 2/96 7139
/proc/meminfo: memFree=972940/2074464 swapFree=1950760/1959888
[pid=7139] ppid=7137 vsize=2416 CPUtime=0.01
/proc/7139/stat : 7139 (SatELiteGTI) S 7137 7139 11066 0 -1 4194304 368 646 0 0 1 0 0 0 18 0 1 0 1014560996 2473984 277 4294967295 134512640 135169312 3213335504 3213334040 3084910318 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/7139/statm: 604 277 235 161 0 43 0
[pid=7143] ppid=7139 vsize=25520 CPUtime=0.71
/proc/7143/stat : 7143 (SatELite_releas) R 7139 7139 11066 0 -1 4202496 6125 0 0 0 67 4 0 0 22 0 1 0 1014560996 26132480 5663 4294967295 134512640 135223648 3219351920 3219349688 134737406 0 0 0 3 0 0 0 17 0 0 0 0
/proc/7143/statm: 6380 5663 73 174 0 6205 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 27936
[startup+1.51136 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 7144
/proc/meminfo: memFree=945132/2074464 swapFree=1950760/1959888
[pid=7139] ppid=7137 vsize=2420 CPUtime=1.47
/proc/7139/stat : 7139 (SatELiteGTI) S 7137 7139 11066 0 -1 4194304 387 7494 0 0 1 0 140 6 18 0 1 0 1014560996 2478080 278 4294967295 134512640 135169312 3213335504 3213331720 3084910318 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/7139/statm: 605 278 235 161 0 44 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 2420
[startup+3.11127 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 7145
/proc/meminfo: memFree=959020/2074464 swapFree=1950760/1959888
[pid=7139] ppid=7137 vsize=2420 CPUtime=1.47
/proc/7139/stat : 7139 (SatELiteGTI) S 7137 7139 11066 0 -1 4194304 387 7494 0 0 1 0 140 6 18 0 1 0 1014560996 2478080 278 4294967295 134512640 135169312 3213335504 3213331720 3084910318 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/7139/statm: 605 278 235 161 0 44 0
[pid=7145] ppid=7139 vsize=8392 CPUtime=1.65
/proc/7145/stat : 7145 (minisat_static) R 7139 7139 11066 0 -1 4202496 1973 0 0 0 165 0 0 0 25 0 1 0 1014561143 8593408 1908 4294967295 134512640 135215339 3212873808 3212872096 134529112 0 0 0 3 0 0 0 17 0 0 0 0
/proc/7145/statm: 2098 1908 73 172 0 1925 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 10812
[startup+6.3111 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 7145
/proc/meminfo: memFree=957192/2074464 swapFree=1950760/1959888
[pid=7139] ppid=7137 vsize=2420 CPUtime=1.47
/proc/7139/stat : 7139 (SatELiteGTI) S 7137 7139 11066 0 -1 4194304 387 7494 0 0 1 0 140 6 18 0 1 0 1014560996 2478080 278 4294967295 134512640 135169312 3213335504 3213331720 3084910318 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/7139/statm: 605 278 235 161 0 44 0
[pid=7145] ppid=7139 vsize=10240 CPUtime=4.85
/proc/7145/stat : 7145 (minisat_static) R 7139 7139 11066 0 -1 4202496 2421 0 0 0 484 1 0 0 25 0 1 0 1014561143 10485760 2356 4294967295 134512640 135215339 3212873808 3212872096 134528788 0 0 0 3 0 0 0 17 0 0 0 0
/proc/7145/statm: 2560 2356 73 172 0 2387 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 12660
[startup+12.7107 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 7145
/proc/meminfo: memFree=953008/2074464 swapFree=1950760/1959888
[pid=7139] ppid=7137 vsize=2420 CPUtime=1.47
/proc/7139/stat : 7139 (SatELiteGTI) S 7137 7139 11066 0 -1 4194304 387 7494 0 0 1 0 140 6 18 0 1 0 1014560996 2478080 278 4294967295 134512640 135169312 3213335504 3213331720 3084910318 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/7139/statm: 605 278 235 161 0 44 0
[pid=7145] ppid=7139 vsize=14676 CPUtime=11.25
/proc/7145/stat : 7145 (minisat_static) R 7139 7139 11066 0 -1 4202496 3529 0 0 0 1123 2 0 0 25 0 1 0 1014561143 15028224 3464 4294967295 134512640 135215339 3212873808 3212871808 134532792 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7145/statm: 3669 3464 73 172 0 3496 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 17096
[startup+25.51 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 7148
/proc/meminfo: memFree=943556/2074464 swapFree=1950760/1959888
[pid=7139] ppid=7137 vsize=2420 CPUtime=1.47
/proc/7139/stat : 7139 (SatELiteGTI) S 7137 7139 11066 0 -1 4194304 387 7494 0 0 1 0 140 6 18 0 1 0 1014560996 2478080 278 4294967295 134512640 135169312 3213335504 3213331720 3084910318 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/7139/statm: 605 278 235 161 0 44 0
[pid=7145] ppid=7139 vsize=23920 CPUtime=24.05
/proc/7145/stat : 7145 (minisat_static) R 7139 7139 11066 0 -1 4202496 5825 0 0 0 2399 6 0 0 25 0 1 0 1014561143 24494080 5760 4294967295 134512640 135215339 3212873808 3212872080 134525713 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7145/statm: 5980 5760 73 172 0 5807 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 26340
[startup+51.1186 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 7334
/proc/meminfo: memFree=927404/2074464 swapFree=1950760/1959888
[pid=7139] ppid=7137 vsize=2420 CPUtime=1.47
/proc/7139/stat : 7139 (SatELiteGTI) S 7137 7139 11066 0 -1 4194304 387 7494 0 0 1 0 140 6 18 0 1 0 1014560996 2478080 278 4294967295 134512640 135169312 3213335504 3213331720 3084910318 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/7139/statm: 605 278 235 161 0 44 0
[pid=7145] ppid=7139 vsize=39708 CPUtime=49.66
/proc/7145/stat : 7145 (minisat_static) R 7139 7139 11066 0 -1 4202496 9803 0 0 0 4956 10 0 0 25 0 1 0 1014561143 40660992 9738 4294967295 134512640 135215339 3212873808 3212871872 134538068 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7145/statm: 9927 9738 73 172 0 9754 0
Current children cumulated CPU time (s) 51.13
Current children cumulated vsize (KiB) 42128
[startup+102.316 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 7520
/proc/meminfo: memFree=900440/2074464 swapFree=1950760/1959888
[pid=7139] ppid=7137 vsize=2420 CPUtime=1.47
/proc/7139/stat : 7139 (SatELiteGTI) S 7137 7139 11066 0 -1 4194304 387 7494 0 0 1 0 140 6 18 0 1 0 1014560996 2478080 278 4294967295 134512640 135169312 3213335504 3213331720 3084910318 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/7139/statm: 605 278 235 161 0 44 0
[pid=7145] ppid=7139 vsize=66760 CPUtime=100.86
/proc/7145/stat : 7145 (minisat_static) R 7139 7139 11066 0 -1 4202496 16444 0 0 0 10074 12 0 0 25 0 1 0 1014561143 68362240 16379 4294967295 134512640 135215339 3212873808 3212872096 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7145/statm: 16690 16379 73 172 0 16517 0
Current children cumulated CPU time (s) 102.33
Current children cumulated vsize (KiB) 69180
[startup+162.312 s]
/proc/loadavg: 1.00 1.00 1.00 4/98 7706
/proc/meminfo: memFree=872044/2074464 swapFree=1950760/1959888
[pid=7139] ppid=7137 vsize=2420 CPUtime=1.47
/proc/7139/stat : 7139 (SatELiteGTI) S 7137 7139 11066 0 -1 4194304 387 7494 0 0 1 0 140 6 18 0 1 0 1014560996 2478080 278 4294967295 134512640 135169312 3213335504 3213331720 3084910318 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/7139/statm: 605 278 235 161 0 44 0
[pid=7145] ppid=7139 vsize=95356 CPUtime=160.86
/proc/7145/stat : 7145 (minisat_static) R 7139 7139 11066 0 -1 4202496 23519 0 0 0 16068 18 0 0 25 0 1 0 1014561143 97644544 23454 4294967295 134512640 135215339 3212873808 3212872096 134529112 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7145/statm: 23839 23454 73 172 0 23666 0
Current children cumulated CPU time (s) 162.33
Current children cumulated vsize (KiB) 97776
[startup+222.319 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 7895
/proc/meminfo: memFree=844872/2074464 swapFree=1950760/1959888
[pid=7139] ppid=7137 vsize=2420 CPUtime=1.47
/proc/7139/stat : 7139 (SatELiteGTI) S 7137 7139 11066 0 -1 4194304 387 7494 0 0 1 0 140 6 18 0 1 0 1014560996 2478080 278 4294967295 134512640 135169312 3213335504 3213331720 3084910318 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/7139/statm: 605 278 235 161 0 44 0
[pid=7145] ppid=7139 vsize=122420 CPUtime=220.87
/proc/7145/stat : 7145 (minisat_static) R 7139 7139 11066 0 -1 4202496 30278 0 0 0 22057 30 0 0 25 0 1 0 1014561143 125358080 30213 4294967295 134512640 135215339 3212873808 3212872096 134528788 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7145/statm: 30605 30213 73 172 0 30432 0
Current children cumulated CPU time (s) 222.34
Current children cumulated vsize (KiB) 124840
[startup+282.316 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 8088
/proc/meminfo: memFree=822312/2074464 swapFree=1950760/1959888
[pid=7139] ppid=7137 vsize=2420 CPUtime=1.47
/proc/7139/stat : 7139 (SatELiteGTI) S 7137 7139 11066 0 -1 4194304 387 7494 0 0 1 0 140 6 18 0 1 0 1014560996 2478080 278 4294967295 134512640 135169312 3213335504 3213331720 3084910318 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/7139/statm: 605 278 235 161 0 44 0
[pid=7145] ppid=7139 vsize=145592 CPUtime=280.87
/proc/7145/stat : 7145 (minisat_static) R 7139 7139 11066 0 -1 4202496 36061 0 0 0 28055 32 0 0 25 0 1 0 1014561143 149086208 35996 4294967295 134512640 135215339 3212873808 3212872096 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7145/statm: 36398 35996 73 172 0 36225 0
Current children cumulated CPU time (s) 282.34
Current children cumulated vsize (KiB) 148012
[startup+342.312 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 8277
/proc/meminfo: memFree=800728/2074464 swapFree=1950760/1959888
[pid=7139] ppid=7137 vsize=2420 CPUtime=1.47
/proc/7139/stat : 7139 (SatELiteGTI) S 7137 7139 11066 0 -1 4194304 387 7494 0 0 1 0 140 6 18 0 1 0 1014560996 2478080 278 4294967295 134512640 135169312 3213335504 3213331720 3084910318 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/7139/statm: 605 278 235 161 0 44 0
[pid=7145] ppid=7139 vsize=167128 CPUtime=340.87
/proc/7145/stat : 7145 (minisat_static) R 7139 7139 11066 0 -1 4202496 41318 0 0 0 34053 34 0 0 25 0 1 0 1014561143 171139072 41253 4294967295 134512640 135215339 3212873808 3212872096 134528624 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7145/statm: 41782 41253 73 172 0 41609 0
Current children cumulated CPU time (s) 342.34
Current children cumulated vsize (KiB) 169548
[startup+402.309 s]
################
# More data... #
################
/proc/7145/statm: 58036 57460 73 172 0 57863 0
Current children cumulated CPU time (s) 522.35
Current children cumulated vsize (KiB) 234564
[startup+582.319 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 9029
/proc/meminfo: memFree=715424/2074464 swapFree=1950760/1959888
[pid=7139] ppid=7137 vsize=2420 CPUtime=1.47
/proc/7139/stat : 7139 (SatELiteGTI) S 7137 7139 11066 0 -1 4194304 387 7494 0 0 1 0 140 6 18 0 1 0 1014560996 2478080 278 4294967295 134512640 135169312 3213335504 3213331720 3084910318 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/7139/statm: 605 278 235 161 0 44 0
[pid=7145] ppid=7139 vsize=252820 CPUtime=580.89
/proc/7145/stat : 7145 (minisat_static) R 7139 7139 11066 0 -1 4202496 62690 0 0 0 58025 64 0 0 25 0 1 0 1014561143 258887680 62625 4294967295 134512640 135215339 3212873808 3212872096 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7145/statm: 63205 62625 73 172 0 63032 0
Current children cumulated CPU time (s) 582.36
Current children cumulated vsize (KiB) 255240
[startup+642.316 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 9216
/proc/meminfo: memFree=695808/2074464 swapFree=1950760/1959888
[pid=7139] ppid=7137 vsize=2420 CPUtime=1.47
/proc/7139/stat : 7139 (SatELiteGTI) S 7137 7139 11066 0 -1 4194304 387 7494 0 0 1 0 140 6 18 0 1 0 1014560996 2478080 278 4294967295 134512640 135169312 3213335504 3213331720 3084910318 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/7139/statm: 605 278 235 161 0 44 0
[pid=7145] ppid=7139 vsize=272364 CPUtime=640.89
/proc/7145/stat : 7145 (minisat_static) R 7139 7139 11066 0 -1 4202496 67546 0 0 0 64010 79 0 0 25 0 1 0 1014561143 278900736 67459 4294967295 134512640 135215339 3212873808 3212872096 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7145/statm: 68091 67459 73 172 0 67918 0
Current children cumulated CPU time (s) 642.36
Current children cumulated vsize (KiB) 274784
[startup+702.312 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 9408
/proc/meminfo: memFree=678324/2074464 swapFree=1950760/1959888
[pid=7139] ppid=7137 vsize=2420 CPUtime=1.47
/proc/7139/stat : 7139 (SatELiteGTI) S 7137 7139 11066 0 -1 4194304 387 7494 0 0 1 0 140 6 18 0 1 0 1014560996 2478080 278 4294967295 134512640 135169312 3213335504 3213331720 3084910318 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/7139/statm: 605 278 235 161 0 44 0
[pid=7145] ppid=7139 vsize=290568 CPUtime=700.89
/proc/7145/stat : 7145 (minisat_static) R 7139 7139 11066 0 -1 4202496 71881 0 0 0 70001 88 0 0 25 0 1 0 1014561143 297541632 71794 4294967295 134512640 135215339 3212873808 3212872096 134528802 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7145/statm: 72642 71794 73 172 0 72469 0
Current children cumulated CPU time (s) 702.36
Current children cumulated vsize (KiB) 292988
[startup+762.319 s]
/proc/loadavg: 1.00 1.00 1.00 4/98 9594
/proc/meminfo: memFree=664196/2074464 swapFree=1950760/1959888
[pid=7139] ppid=7137 vsize=2420 CPUtime=1.47
/proc/7139/stat : 7139 (SatELiteGTI) S 7137 7139 11066 0 -1 4194304 387 7494 0 0 1 0 140 6 18 0 1 0 1014560996 2478080 278 4294967295 134512640 135169312 3213335504 3213331720 3084910318 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/7139/statm: 605 278 235 161 0 44 0
[pid=7145] ppid=7139 vsize=304372 CPUtime=760.9
/proc/7145/stat : 7145 (minisat_static) R 7139 7139 11066 0 -1 4202496 75350 0 0 0 75997 93 0 0 25 0 1 0 1014561143 311676928 75263 4294967295 134512640 135215339 3212873808 3212872096 134528721 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7145/statm: 76093 75263 73 172 0 75920 0
Current children cumulated CPU time (s) 762.37
Current children cumulated vsize (KiB) 306792
[startup+822.316 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 9786
/proc/meminfo: memFree=649076/2074464 swapFree=1950760/1959888
[pid=7139] ppid=7137 vsize=2420 CPUtime=1.47
/proc/7139/stat : 7139 (SatELiteGTI) S 7137 7139 11066 0 -1 4194304 387 7494 0 0 1 0 140 6 18 0 1 0 1014560996 2478080 278 4294967295 134512640 135169312 3213335504 3213331720 3084910318 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/7139/statm: 605 278 235 161 0 44 0
[pid=7145] ppid=7139 vsize=319692 CPUtime=820.9
/proc/7145/stat : 7145 (minisat_static) R 7139 7139 11066 0 -1 4202496 79159 0 0 0 81992 98 0 0 25 0 1 0 1014561143 327364608 79072 4294967295 134512640 135215339 3212873808 3212872096 134528788 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7145/statm: 79923 79072 73 172 0 79750 0
Current children cumulated CPU time (s) 822.37
Current children cumulated vsize (KiB) 322112
[startup+882.312 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 9975
/proc/meminfo: memFree=634080/2074464 swapFree=1950760/1959888
[pid=7139] ppid=7137 vsize=2420 CPUtime=1.47
/proc/7139/stat : 7139 (SatELiteGTI) S 7137 7139 11066 0 -1 4194304 387 7494 0 0 1 0 140 6 18 0 1 0 1014560996 2478080 278 4294967295 134512640 135169312 3213335504 3213331720 3084910318 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/7139/statm: 605 278 235 161 0 44 0
[pid=7145] ppid=7139 vsize=334216 CPUtime=880.9
/proc/7145/stat : 7145 (minisat_static) R 7139 7139 11066 0 -1 4202496 82807 0 0 0 87986 104 0 0 25 0 1 0 1014561143 342237184 82720 4294967295 134512640 135215339 3212873808 3212871872 134538104 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7145/statm: 83554 82720 73 172 0 83381 0
Current children cumulated CPU time (s) 882.37
Current children cumulated vsize (KiB) 336636
[startup+942.319 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 10162
/proc/meminfo: memFree=617844/2074464 swapFree=1950760/1959888
[pid=7139] ppid=7137 vsize=2420 CPUtime=1.47
/proc/7139/stat : 7139 (SatELiteGTI) S 7137 7139 11066 0 -1 4194304 387 7494 0 0 1 0 140 6 18 0 1 0 1014560996 2478080 278 4294967295 134512640 135169312 3213335504 3213331720 3084910318 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/7139/statm: 605 278 235 161 0 44 0
[pid=7145] ppid=7139 vsize=350492 CPUtime=940.91
/proc/7145/stat : 7145 (minisat_static) R 7139 7139 11066 0 -1 4202496 86903 0 0 0 93982 109 0 0 25 0 1 0 1014561143 358903808 86816 4294967295 134512640 135215339 3212873808 3212872096 134528863 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7145/statm: 87623 86816 73 172 0 87450 0
Current children cumulated CPU time (s) 942.38
Current children cumulated vsize (KiB) 352912
[startup+1002.32 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 10350
/proc/meminfo: memFree=606048/2074464 swapFree=1950760/1959888
[pid=7139] ppid=7137 vsize=2420 CPUtime=1.47
/proc/7139/stat : 7139 (SatELiteGTI) S 7137 7139 11066 0 -1 4194304 387 7494 0 0 1 0 140 6 18 0 1 0 1014560996 2478080 278 4294967295 134512640 135169312 3213335504 3213331720 3084910318 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/7139/statm: 605 278 235 161 0 44 0
[pid=7145] ppid=7139 vsize=362112 CPUtime=1000.91
/proc/7145/stat : 7145 (minisat_static) R 7139 7139 11066 0 -1 4202496 89804 0 0 0 99979 112 0 0 25 0 1 0 1014561143 370802688 89717 4294967295 134512640 135215339 3212873808 3212872096 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7145/statm: 90528 89717 73 172 0 90355 0
Current children cumulated CPU time (s) 1002.38
Current children cumulated vsize (KiB) 364532
[startup+1062.31 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 10540
/proc/meminfo: memFree=592176/2074464 swapFree=1950760/1959888
[pid=7139] ppid=7137 vsize=2420 CPUtime=1.47
/proc/7139/stat : 7139 (SatELiteGTI) S 7137 7139 11066 0 -1 4194304 387 7494 0 0 1 0 140 6 18 0 1 0 1014560996 2478080 278 4294967295 134512640 135169312 3213335504 3213331720 3084910318 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/7139/statm: 605 278 235 161 0 44 0
[pid=7145] ppid=7139 vsize=376176 CPUtime=1060.91
/proc/7145/stat : 7145 (minisat_static) R 7139 7139 11066 0 -1 4202496 93236 0 0 0 105969 122 0 0 25 0 1 0 1014561143 385204224 93149 4294967295 134512640 135215339 3212873808 3212872096 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7145/statm: 94044 93149 73 172 0 93871 0
Current children cumulated CPU time (s) 1062.38
Current children cumulated vsize (KiB) 378596
[startup+1122.31 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 10729
/proc/meminfo: memFree=580380/2074464 swapFree=1950760/1959888
[pid=7139] ppid=7137 vsize=2420 CPUtime=1.47
/proc/7139/stat : 7139 (SatELiteGTI) S 7137 7139 11066 0 -1 4194304 387 7494 0 0 1 0 140 6 18 0 1 0 1014560996 2478080 278 4294967295 134512640 135169312 3213335504 3213331720 3084910318 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/7139/statm: 605 278 235 161 0 44 0
[pid=7145] ppid=7139 vsize=387836 CPUtime=1120.91
/proc/7145/stat : 7145 (minisat_static) R 7139 7139 11066 0 -1 4202496 96159 0 0 0 111964 127 0 0 25 0 1 0 1014561143 397144064 96072 4294967295 134512640 135215339 3212873808 3212872096 134528858 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7145/statm: 96959 96072 73 172 0 96786 0
Current children cumulated CPU time (s) 1122.38
Current children cumulated vsize (KiB) 390256
[startup+1182.31 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 10918
/proc/meminfo: memFree=570220/2074464 swapFree=1950760/1959888
[pid=7139] ppid=7137 vsize=2420 CPUtime=1.47
/proc/7139/stat : 7139 (SatELiteGTI) S 7137 7139 11066 0 -1 4194304 387 7494 0 0 1 0 140 6 18 0 1 0 1014560996 2478080 278 4294967295 134512640 135169312 3213335504 3213331720 3084910318 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/7139/statm: 605 278 235 161 0 44 0
[pid=7145] ppid=7139 vsize=397876 CPUtime=1180.91
/proc/7145/stat : 7145 (minisat_static) R 7139 7139 11066 0 -1 4202496 98693 0 0 0 117955 136 0 0 25 0 1 0 1014561143 407425024 98606 4294967295 134512640 135215339 3212873808 3212872096 134528806 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7145/statm: 99469 98606 73 172 0 99296 0
Current children cumulated CPU time (s) 1182.38
Current children cumulated vsize (KiB) 400296
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.01 s]
/proc/loadavg: 1.00 1.00 1.00 4/98 10918
/proc/meminfo: memFree=567232/2074464 swapFree=1950760/1959888
[pid=7139] ppid=7137 vsize=2420 CPUtime=1.47
/proc/7139/stat : 7139 (SatELiteGTI) S 7137 7139 11066 0 -1 4194304 387 7494 0 0 1 0 140 6 18 0 1 0 1014560996 2478080 278 4294967295 134512640 135169312 3213335504 3213331720 3084910318 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/7139/statm: 605 278 235 161 0 44 0
[pid=7145] ppid=7139 vsize=400780 CPUtime=1198.62
/proc/7145/stat : 7145 (minisat_static) R 7139 7139 11066 0 -1 4202496 99411 0 0 0 119722 140 0 0 25 0 1 0 1014561143 410398720 99324 4294967295 134512640 135215339 3212873808 3212871808 134532961 0 0 0 3 0 0 0 17 3 0 0 0
/proc/7145/statm: 100195 99324 73 172 0 100022 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 403200
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 7139 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=410000
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=60000
# CPU time returned by wait4() is 1.47
# while last known CPU time is 1200.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.04
CPU time (s): 1200.09
CPU user time (s): 1198.63
CPU system time (s): 1.46
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 403200
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.41
system time used= 0.06
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7881
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= 15
involuntary context switches= 11
runsolver used 0.02 second user time and 0.04 second system time
The end
Begin job on tipi23 at 2009-05-16 21:03:47
IDJOB=1821040
IDBENCH=70817
IDSOLVER=657
FILE ID=tipi23/1821040-1242500627
PBS_JOBID=
Free space on /tmp= 8822 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/bitverif/maxxor/maxxor064.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1821040-1242500627/watcher-1821040-1242500627 -o /tmp/evaluation-result-1821040-1242500627/solver-1821040-1242500627 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821040-1242500627.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 902b28046d424b16042ca612ddad48e0
RANDOM SEED= 164724805
Linux tipi23 2.6.18 #19 SMP Tue Jun 19 11:27:27 CEST 2007 i686 GNU/Linux
/proc/cpuinfo:
processor : 0
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.377
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3618.38
processor : 1
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.377
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.78
processor : 2
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.377
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.79
processor : 3
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.377
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.78
/proc/meminfo:
MemTotal: 2074464 kB
MemFree: 973336 kB
Buffers: 32708 kB
Cached: 968360 kB
SwapCached: 3660 kB
Active: 472492 kB
Inactive: 540368 kB
HighTotal: 1178688 kB
HighFree: 333688 kB
LowTotal: 895776 kB
LowFree: 639648 kB
SwapTotal: 1959888 kB
SwapFree: 1950760 kB
Dirty: 4192 kB
Writeback: 36 kB
AnonPages: 11096 kB
Mapped: 4456 kB
Slab: 79984 kB
PageTables: 428 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 2997120 kB
Committed_AS: 96892 kB
VmallocTotal: 114680 kB
VmallocUsed: 1324 kB
VmallocChunk: 113264 kB
Free space on /tmp at the end= 8815 MiB
End job on tipi23 at 2009-05-16 21:23:49