0.00/0.00 c Parsing...
0.00/0.13 c ==============================================================================
0.00/0.13 c | | ORIGINAL | LEARNT | |
0.00/0.13 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.13 c ==============================================================================
0.00/0.13 c | 0 | 152037 354753 | 45611 0 0 nan | 0.000 % |
1.46/1.57 c | 0 | 86170 286586 | -- 0 -- -- | -- | -65825/-68066
1.46/1.57 c ==============================================================================
1.46/1.57 c Result : #vars: 18463 #clauses: 86170 #literals: 286586
1.46/1.57 c CPU time: 1.50377 s
1.46/1.57 c ==============================================================================
1.56/1.67 c This is MiniSat 2.0 beta
1.56/1.67 c WARNING: for repeatability, setting FPU to use double precision
1.56/1.67 c ============================[ Problem Statistics ]=============================
1.56/1.67 c | |
1.56/1.68 c | Number of variables: 18463 |
1.56/1.68 c | Number of clauses: 86170 |
1.64/1.73 c | Parsing time: 0.05 s |
1.64/1.73 c ============================[ Search Statistics ]==============================
1.64/1.74 c | Conflicts | ORIGINAL | LEARNT | Progress |
1.64/1.74 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1.64/1.74 c ===============================================================================
1.64/1.74 c | 0 | 18463 86170 286586 | 28723 0 nan | 0.000 % |
1.64/1.79 c | 100 | 18463 86170 286586 | 28723 100 7 | 0.000 % |
1.64/1.83 c | 202 | 18463 86170 286586 | 28723 202 5 | 0.000 % |
1.64/1.91 c | 302 | 18463 86170 286586 | 28723 302 28 | 0.000 % |
1.64/1.93 c | 413 | 18463 86170 286586 | 28723 413 25 | 0.000 % |
1.64/2.07 c | 513 | 18463 86170 286586 | 28723 513 37 | 0.000 % |
2.06/2.11 c | 623 | 18463 86170 286586 | 28723 623 33 | 0.000 % |
2.06/2.15 c | 744 | 18463 86170 286586 | 28723 744 39 | 0.000 % |
2.06/2.19 c | 845 | 18463 86170 286586 | 28723 845 45 | 0.000 % |
2.16/2.26 c | 955 | 18463 86170 286586 | 28723 955 49 | 0.000 % |
2.25/2.37 c | 1076 | 18463 86170 286586 | 28723 1076 54 | 0.000 % |
2.35/2.43 c | 1211 | 18463 86170 286586 | 28723 1211 60 | 0.000 % |
2.35/2.45 c | 1311 | 18463 86170 286586 | 28723 1311 58 | 0.000 % |
2.35/2.49 c | 1421 | 18463 86170 286586 | 28723 1421 60 | 0.000 % |
2.45/2.53 c | 1543 | 18463 86170 286586 | 28723 1543 60 | 0.000 % |
2.45/2.56 c | 1676 | 18463 86170 286586 | 28723 1676 59 | 0.000 % |
2.55/2.60 c | 1822 | 18463 86170 286586 | 28723 1822 56 | 0.000 % |
2.55/2.64 c | 1922 | 18463 86170 286586 | 28723 1922 55 | 0.000 % |
2.55/2.68 c | 2032 | 18463 86170 286586 | 28723 2032 56 | 0.000 % |
2.65/2.71 c | 2154 | 18463 86170 286586 | 28723 2154 56 | 0.000 % |
2.65/2.76 c | 2288 | 18463 86170 286586 | 28723 2288 58 | 0.000 % |
2.75/2.83 c | 2434 | 18463 86170 286586 | 28723 2434 60 | 0.000 % |
2.75/2.85 c | 2596 | 18463 86170 286586 | 28723 2596 58 | 0.000 % |
2.75/2.89 c | 2696 | 18463 86170 286586 | 28723 2696 57 | 0.000 % |
2.85/2.91 c | 2808 | 18463 86170 286586 | 28723 2808 55 | 0.000 % |
2.85/2.99 c | 2930 | 18463 86170 286586 | 28723 2930 54 | 0.001 % |
2.95/3.04 c | 3065 | 18463 86170 286586 | 28723 3065 54 | 0.000 % |
2.95/3.10 c | 3212 | 18463 86170 286586 | 28723 3212 52 | 0.000 % |
3.05/3.15 c | 3373 | 18463 86170 286586 | 28723 3373 53 | 0.001 % |
3.05/3.19 c | 3549 | 18463 86170 286586 | 28723 3549 52 | 0.000 % |
3.16/3.23 c | 3651 | 18463 86170 286586 | 28723 3651 51 | 0.000 % |
3.16/3.27 c | 3761 | 18463 86170 286586 | 28723 3761 50 | 0.000 % |
3.26/3.33 c | 3882 | 18463 86170 286586 | 28723 3882 49 | 0.000 % |
3.26/3.38 c | 4015 | 18463 86170 286586 | 28723 4015 49 | 0.000 % |
3.35/3.42 c | 4162 | 18463 86170 286586 | 28723 4162 50 | 0.000 % |
3.35/3.49 c | 4323 | 18463 86170 286586 | 28723 4323 51 | 0.000 % |
3.45/3.53 c | 4499 | 18463 86170 286586 | 28723 4499 50 | 0.000 % |
3.55/3.62 c | 4692 | 18463 86170 286586 | 28723 4692 49 | 0.000 % |
3.55/3.66 c | 4792 | 18463 86170 286586 | 28723 4792 49 | 0.000 % |
3.65/3.70 c | 4902 | 18463 86170 286586 | 28723 4902 50 | 0.000 % |
3.65/3.76 c | 5024 | 18463 86170 286586 | 28723 5024 51 | 0.000 % |
3.75/3.81 c | 5161 | 18463 86170 286586 | 28723 5161 51 | 0.000 % |
3.75/3.90 c | 5307 | 18463 86170 286586 | 28723 5307 52 | 0.000 % |
3.85/3.93 c | 5468 | 18463 86170 286586 | 28723 5468 51 | 0.000 % |
3.95/4.01 c | 5645 | 18463 86170 286586 | 28723 5645 50 | 0.000 % |
3.95/4.08 c | 5840 | 18463 86170 286586 | 28723 5840 51 | 0.000 % |
4.05/4.13 c | 6052 | 18463 86170 286586 | 28723 6052 50 | 0.000 % |
4.05/4.17 c | 6152 | 18463 86170 286586 | 28723 6152 49 | 0.000 % |
4.15/4.22 c | 6262 | 18463 86170 286586 | 28723 6262 49 | 0.000 % |
4.15/4.26 c | 6383 | 18463 86170 286586 | 28723 6383 49 | 0.000 % |
4.26/4.31 c | 6516 | 18463 86170 286586 | 28723 6516 49 | 0.000 % |
4.26/4.37 c | 6664 | 18463 86170 286586 | 28723 6664 50 | 0.000 % |
4.36/4.43 c | 6826 | 18463 86170 286586 | 28723 6826 51 | 0.000 % |
4.36/4.45 c | 7004 | 18463 86170 286586 | 28723 7004 52 | 0.000 % |
4.45/4.50 c | 7199 | 18463 86170 286586 | 28723 7199 52 | 0.000 % |
4.45/4.60 c | 7412 | 18463 86170 286586 | 28723 7412 51 | 0.000 % |
4.55/4.70 c | 7645 | 18463 86170 286586 | 28723 7645 50 | 0.000 % |
4.65/4.73 c | 7745 | 18463 86170 286586 | 28723 7745 50 | 0.000 % |
4.65/4.79 c | 7855 | 18463 86170 286586 | 28723 7855 49 | 0.000 % |
4.74/4.83 c | 7976 | 18463 86170 286586 | 28723 7976 49 | 0.000 % |
4.84/4.92 c | 8109 | 18463 86170 286586 | 28723 8109 50 | 0.000 % |
4.94/5.00 c | 8259 | 18463 86170 286586 | 28723 8259 50 | 0.000 % |
4.94/5.08 c | 8419 | 18463 86170 286586 | 28723 8419 51 | 0.000 % |
5.04/5.17 c | 8596 | 18463 86170 286586 | 28723 8596 52 | 0.000 % |
5.14/5.27 c | 8789 | 18463 86170 286586 | 28723 8789 53 | 0.000 % |
5.24/5.34 c | 9001 | 18463 86170 286586 | 28723 9001 53 | 0.000 % |
5.34/5.44 c | 9234 | 18463 86170 286586 | 28723 9234 52 | 0.000 % |
5.34/5.49 c | 9490 | 18463 86170 286586 | 28723 9490 52 | 0.000 % |
5.44/5.51 c | 9590 | 18463 86170 286586 | 28723 9590 52 | 0.000 % |
5.44/5.56 c | 9701 | 18463 86170 286586 | 28723 9701 51 | 0.000 % |
5.54/5.62 c | 9825 | 18463 86170 286586 | 28723 9825 52 | 0.000 % |
5.54/5.67 c | 9958 | 18463 86170 286586 | 28723 9958 51 | 0.000 % |
5.64/5.71 c | 10106 | 18463 86170 286586 | 2147483647 10106 51 | 0.000 % |
5.64/5.74 c | 10266 | 18463 86170 286586 | 2147483647 10266 51 | 0.000 % |
5.74/5.81 c | 10444 | 18463 86170 286586 | 2147483647 10444 51 | 0.000 % |
5.74/5.88 c | 10638 | 18463 86170 286586 | 2147483647 10638 51 | 0.000 % |
5.84/5.97 c | 10851 | 18463 86170 286586 | 2147483647 10851 51 | 0.000 % |
6.04/6.10 c | 11085 | 18463 86170 286586 | 2147483647 11085 51 | 0.000 % |
6.14/6.21 c | 11342 | 18463 86170 286586 | 2147483647 11342 53 | 0.000 % |
6.14/6.28 c | 11624 | 18463 86170 286586 | 2147483647 11624 54 | 0.000 % |
6.25/6.32 c | 11728 | 18463 86170 286586 | 2147483647 11728 54 | 0.000 % |
6.25/6.39 c | 11838 | 18463 86170 286586 | 2147483647 11838 55 | 0.000 % |
6.35/6.43 c | 11960 | 18463 86170 286586 | 2147483647 11960 55 | 0.000 % |
6.35/6.47 c | 12093 | 18463 86170 286586 | 2147483647 12093 55 | 0.000 % |
6.45/6.53 c | 12239 | 18463 86170 286586 | 2147483647 12239 55 | 0.000 % |
6.45/6.58 c | 12399 | 18463 86170 286586 | 2147483647 12399 55 | 0.000 % |
6.55/6.64 c | 12575 | 18463 86170 286586 | 2147483647 12575 55 | 0.000 % |
6.65/6.73 c | 12768 | 18463 86170 286586 | 2147483647 12768 55 | 0.000 % |
6.75/6.82 c | 12982 | 18463 86170 286586 | 2147483647 12982 55 | 0.000 % |
6.85/6.92 c | 13215 | 18463 86170 286586 | 2147483647 13215 54 | 0.000 % |
6.95/7.01 c | 13471 | 18463 86170 286586 | 2147483647 13471 54 | 0.000 % |
7.05/7.14 c | 13752 | 18463 86170 286586 | 2147483647 13752 55 | 0.000 % |
7.15/7.26 c | 14063 | 18463 86170 286586 | 2147483647 14063 55 | 0.000 % |
7.25/7.33 c | 14163 | 18463 86170 286586 | 2147483647 14163 56 | 0.000 % |
7.25/7.36 c | 14274 | 18463 86170 286586 | 2147483647 14274 56 | 0.000 % |
7.35/7.40 c | 14397 | 18463 86170 286586 | 2147483647 14397 56 | 0.000 % |
7.35/7.44 c | 14530 | 18463 86170 286586 | 2147483647 14530 56 | 0.000 % |
7.45/7.50 c | 14677 | 18463 86170 286586 | 2147483647 14677 57 | 0.000 % |
7.45/7.53 c | 14837 | 18463 86170 286586 | 2147483647 14837 57 | 0.000 % |
7.55/7.61 c | 15013 | 18463 86170 286586 | 2147483647 15013 57 | 0.000 % |
7.55/7.69 c | 15206 | 18463 86170 286586 | 2147483647 15206 58 | 0.000 % |
7.65/7.77 c | 15418 | 18463 86170 286586 | 2147483647 15418 58 | 0.000 % |
7.85/7.91 c | 15651 | 18463 86170 286586 | 2147483647 15651 59 | 0.000 % |
7.85/7.98 c | 15908 | 18463 86170 286586 | 2147483647 15908 58 | 0.000 % |
7.95/8.07 c | 16190 | 18463 86170 286586 | 2147483647 16190 59 | 0.000 % |
8.05/8.17 c | 16499 | 18463 86170 286586 | 2147483647 16499 60 | 0.000 % |
8.15/8.28 c | 16839 | 18463 86170 286586 | 2147483647 16839 60 | 0.000 % |
8.24/8.34 c | 16939 | 18463 86170 286586 | 2147483647 16939 60 | 0.000 % |
8.34/8.46 c | 17049 | 18463 86170 286586 | 2147483647 17049 60 | 0.000 % |
8.44/8.52 c | 17171 | 18463 86170 286586 | 2147483647 17171 60 | 0.000 % |
8.44/8.56 c | 17305 | 18463 86170 286586 | 2147483647 17305 60 | 0.000 % |
8.54/8.64 c | 17451 | 18463 86170 286586 | 2147483647 17451 61 | 0.000 % |
8.54/8.69 c | 17611 | 18463 86170 286586 | 2147483647 17611 61 | 0.000 % |
8.65/8.74 c | 17787 | 18463 86170 286586 | 2147483647 17787 61 | 0.000 % |
8.65/8.79 c | 17980 | 18463 86170 286586 | 2147483647 17980 61 | 0.000 % |
8.75/8.83 c | 18193 | 18463 86170 286586 | 2147483647 18193 60 | 0.000 % |
8.84/8.93 c | 18426 | 18463 86170 286586 | 2147483647 18426 61 | 0.000 % |
8.84/8.99 c | 18682 | 18463 86170 286586 | 2147483647 18682 61 | 0.000 % |
9.04/9.14 c | 18963 | 18463 86170 286586 | 2147483647 18963 61 | 0.000 % |
9.14/9.30 c | 19272 | 18463 86170 286586 | 2147483647 19272 61 | 0.000 % |
9.34/9.43 c | 19614 | 18463 86170 286586 | 2147483647 19614 61 | 0.000 % |
9.44/9.55 c | 19987 | 18463 86170 286586 | 2147483647 19987 61 | 0.000 % |
9.44/9.58 c | 20089 | 18463 86170 286586 | 2147483647 20089 61 | 0.000 % |
9.54/9.64 c | 20200 | 18463 86170 286586 | 2147483647 20200 61 | 0.000 % |
9.64/9.70 c | 20321 | 18463 86170 286586 | 2147483647 20321 61 | 0.000 % |
9.64/9.76 c | 20454 | 18463 86170 286586 | 2147483647 20454 61 | 0.000 % |
9.74/9.84 c | 20600 | 18463 86170 286586 | 2147483647 20600 61 | 0.000 % |
9.84/9.92 c | 20760 | 18463 86170 286586 | 2147483647 20760 61 | 0.000 % |
9.94/10.00 c | 20936 | 18463 86170 286586 | 2147483647 20936 61 | 0.000 % |
10.04/10.10 c | 21130 | 18463 86170 286586 | 2147483647 21130 61 | 0.000 % |
10.04/10.17 c | 21345 | 18463 86170 286586 | 2147483647 21345 60 | 0.000 % |
10.14/10.24 c | 21580 | 18463 86170 286586 | 2147483647 21580 60 | 0.000 % |
10.24/10.35 c | 21837 | 18463 86170 286586 | 2147483647 21837 61 | 0.000 % |
10.44/10.50 c | 22118 | 18463 86170 286586 | 2147483647 22118 61 | 0.000 % |
10.54/10.68 c | 22427 | 18463 86170 286586 | 2147483647 22427 60 | 0.000 % |
10.64/10.77 c | 22766 | 18463 86170 286586 | 2147483647 22766 60 | 0.000 % |
10.94/11.03 c | 23140 | 18463 86170 286586 | 2147483647 23140 60 | 0.000 % |
11.24/11.30 c | 23549 | 18463 86170 286586 | 2147483647 23549 60 | 0.000 % |
11.24/11.33 c | 23650 | 18463 86170 286586 | 2147483647 23650 60 | 0.000 % |
11.24/11.38 c | 23760 | 18463 86170 286586 | 2147483647 23760 60 | 0.000 % |
11.34/11.48 c | 23882 | 18463 86170 286586 | 2147483647 23882 60 | 0.000 % |
11.44/11.58 c | 24015 | 18463 86170 286586 | 2147483647 24015 60 | 0.000 % |
11.54/11.67 c | 24164 | 18463 86170 286586 | 2147483647 24164 60 | 0.000 % |
11.64/11.73 c | 24325 | 18463 86170 286586 | 2147483647 24325 60 | 0.000 % |
11.74/11.85 c | 24503 | 18463 86170 286586 | 2147483647 24503 60 | 0.000 % |
11.84/11.98 c | 24700 | 18463 86170 286586 | 2147483647 24700 60 | 0.000 % |
11.94/12.07 c | 24912 | 18463 86170 286586 | 2147483647 24912 60 | 0.000 % |
12.04/12.16 c | 25145 | 18463 86170 286586 | 2147483647 25145 60 | 0.000 % |
12.14/12.24 c | 25401 | 18463 86170 286586 | 2147483647 25401 60 | 0.000 % |
12.24/12.34 c | 25682 | 18463 86170 286586 | 2147483647 25682 60 | 0.000 % |
12.34/12.45 c | 25992 | 18463 86170 286586 | 2147483647 25992 60 | 0.000 % |
12.65/12.71 c | 26332 | 18463 86170 286586 | 2147483647 26332 60 | 0.000 % |
12.75/12.83 c | 26704 | 18463 86170 286586 | 2147483647 26704 60 | 0.000 % |
12.85/12.94 c | 27113 | 18463 86170 286586 | 2147483647 27113 60 | 0.000 % |
13.05/13.12 c | 27562 | 18463 86170 286586 | 2147483647 27562 59 | 0.000 % |
13.05/13.14 c | 27665 | 18463 86170 286586 | 2147483647 27665 59 | 0.000 % |
13.05/13.17 c | 27776 | 18463 86170 286586 | 2147483647 27776 59 | 0.000 % |
13.15/13.24 c | 27897 | 18463 86170 286586 | 2147483647 27897 59 | 0.000 % |
13.25/13.31 c | 28031 | 18463 86170 286586 | 2147483647 28031 59 | 0.000 % |
13.25/13.39 c | 28177 | 18463 86170 286586 | 2147483647 28177 59 | 0.000 % |
13.35/13.46 c | 28339 | 18463 86170 286586 | 2147483647 28339 59 | 0.000 % |
13.45/13.55 c | 28516 | 18463 86170 286586 | 2147483647 28516 59 | 0.000 % |
13.65/13.76 c | 28710 | 18463 86170 286586 | 2147483647 28710 59 | 0.000 % |
13.85/13.99 c | 28923 | 18463 86170 286586 | 2147483647 28923 60 | 0.000 % |
13.95/14.03 c | 29156 | 18463 86170 286586 | 2147483647 29156 59 | 0.000 % |
14.05/14.19 c | 29414 | 18463 86170 286586 | 2147483647 29414 59 | 0.000 % |
14.35/14.44 c | 29696 | 18463 86170 286586 | 2147483647 29696 60 | 0.000 % |
14.45/14.53 c | 30009 | 18463 86170 286586 | 2147483647 30009 60 | 0.000 % |
14.65/14.72 c | 30348 | 18463 86170 286586 | 2147483647 30348 60 | 0.000 % |
14.84/14.94 c | 30720 | 18463 86170 286586 | 2147483647 30720 61 | 0.000 % |
15.14/15.21 c | 31131 | 18463 86170 286586 | 2147483647 31131 61 | 0.000 % |
15.25/15.37 c | 31581 | 18463 86170 286586 | 2147483647 31581 62 | 0.000 % |
15.54/15.63 c | 32074 | 18463 86170 286586 | 2147483647 32074 62 | 0.000 % |
15.54/15.67 c | 32174 | 18463 86170 286586 | 2147483647 32174 62 | 0.000 % |
15.64/15.77 c | 32284 | 18463 86170 286586 | 2147483647 32284 62 | 0.000 % |
15.74/15.84 c | 32406 | 18463 86170 286586 | 2147483647 32406 62 | 0.000 % |
15.84/15.90 c | 32539 | 18463 86170 286586 | 2147483647 32539 62 | 0.000 % |
15.84/15.97 c | 32685 | 18463 86170 286586 | 2147483647 32685 62 | 0.000 % |
15.94/16.05 c | 32845 | 18463 86170 286586 | 2147483647 32845 62 | 0.000 % |
16.04/16.15 c | 33021 | 18463 86170 286586 | 2147483647 33021 62 | 0.000 % |
16.14/16.23 c | 33214 | 18463 86170 286586 | 2147483647 33214 62 | 0.000 % |
16.35/16.43 c | 33427 | 18463 86170 286586 | 2147483647 33427 62 | 0.000 % |
16.35/16.49 c | 33660 | 18463 86170 286586 | 2147483647 33660 62 | 0.000 % |
16.54/16.62 c | 33916 | 18463 86170 286586 | 2147483647 33916 62 | 0.000 % |
16.64/16.76 c | 34198 | 18463 86170 286586 | 2147483647 34198 63 | 0.000 % |
16.84/16.90 c | 34507 | 18463 86170 286586 | 2147483647 34507 63 | 0.000 % |
16.94/17.01 c | 34847 | 18463 86170 286586 | 2147483647 34847 62 | 0.000 % |
17.14/17.22 c | 35219 | 18463 86170 286586 | 2147483647 35219 63 | 0.000 % |
17.24/17.32 c | 35628 | 18463 86170 286586 | 2147483647 35628 62 | 0.000 % |
17.44/17.59 c | 36079 | 18463 86170 286586 | 2147483647 36079 62 | 0.000 % |
17.64/17.78 c | 36572 | 18463 86170 286586 | 2147483647 36572 63 | 0.000 % |
17.84/17.99 c | 37115 | 18463 86170 286586 | 2147483647 37115 63 | 0.000 % |
17.94/18.01 c | 37217 | 18463 86170 286586 | 2147483647 37217 63 | 0.000 % |
17.94/18.07 c | 37327 | 18463 86170 286586 | 2147483647 37327 63 | 0.000 % |
18.04/18.17 c | 37448 | 18463 86170 286586 | 2147483647 37448 63 | 0.000 % |
18.14/18.24 c | 37581 | 18463 86170 286586 | 2147483647 37581 64 | 0.000 % |
18.24/18.34 c | 37729 | 18463 86170 286586 | 2147483647 37729 64 | 0.000 % |
18.34/18.40 c | 37889 | 18463 86170 286586 | 2147483647 37889 64 | 0.000 % |
18.44/18.55 c | 38065 | 18463 86170 286586 | 2147483647 38065 64 | 0.000 % |
18.54/18.67 c | 38260 | 18463 86170 286586 | 2147483647 38260 64 | 0.000 % |
18.75/18.80 c | 38472 | 18463 86170 286586 | 2147483647 38472 64 | 0.000 % |
18.85/18.91 c | 38708 | 18463 86170 286586 | 2147483647 38708 65 | 0.000 % |
18.95/19.05 c | 38964 | 18463 86170 286586 | 2147483647 38964 65 | 0.000 % |
19.05/19.17 c | 39245 | 18463 86170 286586 | 2147483647 39245 65 | 0.000 % |
19.14/19.29 c | 39554 | 18463 86170 286586 | 2147483647 39554 65 | 0.000 % |
19.24/19.39 c | 39894 | 18463 86170 286586 | 2147483647 39894 65 | 0.000 % |
19.44/19.59 c | 40267 | 18463 86170 286586 | 2147483647 40267 65 | 0.000 % |
19.65/19.80 c | 40676 | 18463 86170 286586 | 2147483647 40676 66 | 0.000 % |
19.84/19.98 c | 41125 | 18463 86170 286586 | 2147483647 41125 67 | 0.000 % |
20.04/20.14 c | 41618 | 18463 86170 286586 | 2147483647 41618 66 | 0.000 % |
20.24/20.36 c | 42161 | 18463 86170 286586 | 2147483647 42161 66 | 0.000 % |
20.54/20.69 c | 42758 | 18463 86170 286586 | 2147483647 42758 67 | 0.000 % |
20.64/20.76 c | 42859 | 18463 86170 286586 | 2147483647 42859 67 | 0.000 % |
20.75/20.82 c | 42970 | 18463 86170 286586 | 2147483647 42970 67 | 0.000 % |
20.75/20.87 c | 43093 | 18463 86170 286586 | 2147483647 43093 67 | 0.000 % |
20.85/20.96 c | 43226 | 18463 86170 286586 | 2147483647 43226 67 | 0.000 % |
20.94/21.03 c | 43372 | 18463 86170 286586 | 2147483647 43372 67 | 0.000 % |
21.04/21.13 c | 43533 | 18463 86170 286586 | 2147483647 43533 67 | 0.000 % |
21.04/21.20 c | 43710 | 18463 86170 286586 | 2147483647 43710 67 | 0.000 % |
21.14/21.29 c | 43903 | 18463 86170 286586 | 2147483647 43903 67 | 0.000 % |
21.34/21.45 c | 44118 | 18463 86170 286586 | 2147483647 44118 67 | 0.000 % |
21.44/21.59 c | 44351 | 18463 86170 286586 | 2147483647 44351 67 | 0.000 % |
21.64/21.79 c | 44607 | 18463 86170 286586 | 2147483647 44607 67 | 0.000 % |
21.94/22.05 c | 44889 | 18463 86170 286586 | 2147483647 44889 68 | 0.000 % |
22.44/22.54 c | 45199 | 18463 86170 286586 | 2147483647 45199 68 | 0.000 % |
22.64/22.72 c | 45539 | 18463 86170 286586 | 2147483647 45539 68 | 0.000 % |
22.74/22.81 c | 45912 | 18463 86170 286586 | 2147483647 45912 69 | 0.000 % |
22.94/23.10 c | 46324 | 18463 86170 286586 | 2147483647 46324 69 | 0.000 % |
23.24/23.37 c | 46774 | 18463 86170 286586 | 2147483647 46774 69 | 0.000 % |
23.64/23.77 c | 47268 | 18463 86170 286586 | 2147483647 47268 70 | 0.000 % |
23.94/24.07 c | 47812 | 18463 86170 286586 | 2147483647 47812 70 | 0.000 % |
24.34/24.44 c | 48409 | 18463 86170 286586 | 2147483647 48409 71 | 0.000 % |
24.74/24.85 c | 49064 | 18463 86170 286586 | 2147483647 49064 71 | 0.000 % |
24.84/24.97 c | 49164 | 18463 86170 286586 | 2147483647 49164 71 | 0.000 % |
24.94/25.06 c | 49275 | 18463 86170 286586 | 2147483647 49275 71 | 0.000 % |
25.04/25.14 c | 49402 | 18463 86170 286586 | 2147483647 49402 71 | 0.000 % |
25.04/25.17 c | 49536 | 18463 86170 286586 | 2147483647 49536 71 | 0.000 % |
25.15/25.25 c | 49683 | 18463 86170 286586 | 2147483647 49683 71 | 0.000 % |
25.34/25.42 c | 49844 | 18463 86170 286586 | 2147483647 49844 71 | 0.000 % |
25.44/25.58 c | 50021 | 18463 86170 286586 | 2147483647 50021 71 | 0.000 % |
25.64/25.71 c | 50214 | 18463 86170 286586 | 2147483647 50214 72 | 0.000 % |
25.74/25.88 c | 50426 | 18463 86170 286586 | 2147483647 50426 71 | 0.000 % |
25.94/26.03 c | 50659 | 18463 86170 286586 | 2147483647 50659 72 | 0.000 % |
26.04/26.13 c | 50916 | 18463 86170 286586 | 2147483647 50916 72 | 0.000 % |
26.14/26.24 c | 51200 | 18463 86170 286586 | 2147483647 51200 72 | 0.000 % |
26.35/26.43 c | 51510 | 18463 86170 286586 | 2147483647 51510 72 | 0.000 % |
26.74/26.88 c | 51849 | 18463 86170 286586 | 2147483647 51849 72 | 0.000 % |
26.94/27.00 c | 52221 | 18463 86170 286586 | 2147483647 52221 72 | 0.000 % |
27.04/27.13 c | 52630 | 18463 86170 286586 | 2147483647 52630 72 | 0.000 % |
27.24/27.35 c | 53080 | 18463 86170 286586 | 2147483647 53080 72 | 0.000 % |
27.54/27.64 c | 53573 | 18463 86170 286586 | 2147483647 53573 73 | 0.000 % |
27.84/27.90 c | 54117 | 18463 86170 286586 | 2147483647 54117 73 | 0.000 % |
28.04/28.16 c | 54713 | 18463 86170 286586 | 2147483647 54713 73 | 0.000 % |
28.54/28.67 c | 55369 | 18463 86170 286586 | 2147483647 55369 74 | 0.000 % |
29.04/29.13 c | 56089 | 18463 86170 286586 | 2147483647 56089 73 | 0.000 % |
29.14/29.22 c | 56189 | 18463 86170 286586 | 2147483647 56189 73 | 0.000 % |
29.14/29.27 c | 56299 | 18463 86170 286586 | 2147483647 56299 73 | 0.000 % |
29.24/29.35 c | 56420 | 18463 86170 286586 | 2147483647 56420 74 | 0.000 % |
29.34/29.43 c | 56553 | 18463 86170 286586 | 2147483647 56553 74 | 0.000 % |
29.54/29.63 c | 56699 | 18463 86170 286586 | 2147483647 56699 74 | 0.000 % |
29.64/29.77 c | 56859 | 18463 86170 286586 | 2147483647 56859 74 | 0.000 % |
29.84/29.94 c | 57037 | 18463 86170 286586 | 2147483647 57037 74 | 0.000 % |
29.94/30.07 c | 57230 | 18463 86170 286586 | 2147483647 57230 74 | 0.000 % |
30.04/30.19 c | 57443 | 18463 86170 286586 | 2147483647 57443 74 | 0.000 % |
30.24/30.33 c | 57676 | 18463 86170 286586 | 2147483647 57676 74 | 0.000 % |
30.34/30.43 c | 57933 | 18463 86170 286586 | 2147483647 57933 74 | 0.000 % |
30.53/30.61 c | 58214 | 18463 86170 286586 | 2147483647 58214 74 | 0.000 % |
30.64/30.79 c | 58524 | 18463 86170 286586 | 2147483647 58524 75 | 0.000 % |
31.03/31.11 c | 58865 | 18463 86170 286586 | 2147483647 58865 75 | 0.000 % |
31.23/31.31 c | 59237 | 18463 86170 286586 | 2147483647 59237 75 | 0.000 % |
31.54/31.66 c | 59647 | 18463 86170 286586 | 2147483647 59647 75 | 0.000 % |
31.84/31.93 c | 60097 | 18463 86170 286586 | 2147483647 60097 75 | 0.000 % |
31.94/32.07 c | 60590 | 18463 86170 286586 | 2147483647 60590 75 | 0.000 % |
32.34/32.42 c | 61133 | 18463 86170 286586 | 2147483647 61133 76 | 0.000 % |
32.64/32.70 c | 61730 | 18463 86170 286586 | 2147483647 61730 76 | 0.000 % |
33.14/33.20 c | 62385 | 18463 86170 286586 | 2147483647 62385 76 | 0.000 % |
33.54/33.61 c | 63105 | 18463 86170 286586 | 2147483647 63105 76 | 0.000 % |
34.23/34.39 c | 63898 | 18463 86170 286586 | 2147483647 63898 76 | 0.000 % |
34.43/34.50 c | 64000 | 18463 86170 286586 | 2147483647 64000 76 | 0.000 % |
34.53/34.62 c | 64112 | 18463 86170 286586 | 2147483647 64112 77 | 0.000 % |
34.53/34.69 c | 64234 | 18463 86170 286586 | 2147483647 64234 77 | 0.000 % |
34.63/34.76 c | 64372 | 18463 86170 286586 | 2147483647 64372 77 | 0.000 % |
34.73/34.84 c | 64518 | 18463 86170 286586 | 2147483647 64518 77 | 0.000 % |
34.83/34.95 c | 64678 | 18463 86170 286586 | 2147483647 64678 77 | 0.000 % |
34.93/35.08 c | 64855 | 18463 86170 286586 | 2147483647 64855 77 | 0.000 % |
35.13/35.24 c | 65049 | 18463 86170 286586 | 2147483647 65049 77 | 0.000 % |
35.32/35.41 c | 65261 | 18463 86170 286586 | 2147483647 65261 77 | 0.000 % |
35.43/35.55 c | 65494 | 18463 86170 286586 | 2147483647 65494 77 | 0.000 % |
35.63/35.76 c | 65750 | 18463 86170 286586 | 2147483647 65750 77 | 0.000 % |
35.73/35.86 c | 66032 | 18463 86170 286586 | 2147483647 66032 77 | 0.000 % |
35.93/36.10 c | 66341 | 18463 86170 286586 | 2147483647 66341 77 | 0.000 % |
36.23/36.30 c | 66681 | 18463 86170 286586 | 2147483647 66681 77 | 0.000 % |
36.63/36.73 c | 67054 | 18463 86170 286586 | 2147483647 67054 77 | 0.000 % |
36.73/36.87 c | 67463 | 18463 86170 286586 | 2147483647 67463 77 | 0.000 % |
37.13/37.21 c | 67913 | 18463 86170 286586 | 2147483647 67913 77 | 0.000 % |
37.43/37.53 c | 68406 | 18463 86170 286586 | 2147483647 68406 77 | 0.000 % |
37.63/37.70 c | 68949 | 18463 86170 286586 | 2147483647 68949 77 | 0.000 % |
37.93/38.07 c | 69545 | 18463 86170 286586 | 2147483647 69545 77 | 0.000 % |
38.33/38.43 c | 70202 | 18463 86170 286586 | 2147483647 70202 77 | 0.000 % |
38.62/38.78 c | 70923 | 18463 86170 286586 | 2147483647 70923 77 | 0.000 % |
38.92/39.09 c | 71715 | 18463 86170 286586 | 2147483647 71715 77 | 0.000 % |
39.54/39.64 c | 72586 | 18463 86170 286586 | 2147483647 72586 77 | 0.000 % |
39.63/39.74 c | 72688 | 18463 86170 286586 | 2147483647 72688 78 | 0.000 % |
39.73/39.83 c | 72800 | 18463 86170 286586 | 2147483647 72800 78 | 0.000 % |
39.83/39.95 c | 72921 | 18463 86170 286586 | 2147483647 72921 78 | 0.000 % |
39.93/40.09 c | 73058 | 18463 86170 286586 | 2147483647 73058 78 | 0.000 % |
40.03/40.16 c | 73206 | 18463 86170 286586 | 2147483647 73206 78 | 0.000 % |
40.13/40.25 c | 73366 | 18463 86170 286586 | 2147483647 73366 78 | 0.000 % |
40.23/40.37 c | 73542 | 18463 86170 286586 | 2147483647 73542 78 | 0.000 % |
40.43/40.56 c | 73735 | 18463 86170 286586 | 2147483647 73735 78 | 0.000 % |
40.63/40.71 c | 73948 | 18463 86170 286586 | 2147483647 73948 78 | 0.000 % |
40.73/40.85 c | 74182 | 18463 86170 286586 | 2147483647 74182 78 | 0.000 % |
40.83/40.93 c | 74438 | 18463 86170 286586 | 2147483647 74438 78 | 0.000 % |
40.93/41.08 c | 74719 | 18463 86170 286586 | 2147483647 74719 78 | 0.000 % |
41.23/41.32 c | 75029 | 18463 86170 286586 | 2147483647 75029 78 | 0.000 % |
41.33/41.48 c | 75368 | 18463 86170 286586 | 2147483647 75368 78 | 0.000 % |
41.53/41.70 c | 75740 | 18463 86170 286586 | 2147483647 75740 78 | 0.000 % |
41.73/41.85 c | 76149 | 18463 86170 286586 | 2147483647 76149 78 | 0.000 % |
42.03/42.10 c | 76598 | 18463 86170 286586 | 2147483647 76598 77 | 0.000 % |
42.43/42.54 c | 77091 | 18463 86170 286586 | 2147483647 77091 78 | 0.000 % |
43.13/43.28 c | 77634 | 18463 86170 286586 | 2147483647 77634 78 | 0.000 % |
43.63/43.77 c | 78231 | 18463 86170 286586 | 2147483647 78231 78 | 0.000 % |
43.93/44.09 c | 78887 | 18463 86170 286586 | 2147483647 78887 77 | 0.000 % |
44.23/44.38 c | 79607 | 18463 86170 286586 | 2147483647 79607 77 | 0.001 % |
44.93/45.08 c | 80399 | 18463 86170 286586 | 2147483647 80399 77 | 0.000 % |
45.63/45.71 c | 81271 | 18463 86170 286586 | 2147483647 81271 77 | 0.000 % |
46.03/46.18 c | 82231 | 18463 86170 286586 | 2147483647 82231 77 | 0.000 % |
46.13/46.25 c | 82333 | 18463 86170 286586 | 2147483647 82333 77 | 0.000 % |
46.23/46.33 c | 82443 | 18463 86170 286586 | 2147483647 82443 77 | 0.000 % |
46.33/46.47 c | 82565 | 18463 86170 286586 | 2147483647 82565 77 | 0.000 % |
46.42/46.56 c | 82699 | 18463 86170 286586 | 2147483647 82699 77 | 0.000 % |
46.62/46.79 c | 82845 | 18463 86170 286586 | 2147483647 82845 77 | 0.000 % |
46.82/46.91 c | 83005 | 18463 86170 286586 | 2147483647 83005 77 | 0.000 % |
46.92/47.05 c | 83181 | 18463 86170 286586 | 2147483647 83181 77 | 0.000 % |
47.02/47.16 c | 83375 | 18463 86170 286586 | 2147483647 83375 77 | 0.000 % |
47.13/47.29 c | 83588 | 18463 86170 286586 | 2147483647 83588 77 | 0.000 % |
47.32/47.45 c | 83821 | 18463 86170 286586 | 2147483647 83821 77 | 0.000 % |
47.52/47.70 c | 84080 | 18463 86170 286586 | 2147483647 84080 77 | 0.000 % |
47.82/47.93 c | 84361 | 18463 86170 286586 | 2147483647 84361 76 | 0.000 % |
48.12/48.21 c | 84670 | 18463 86170 286586 | 2147483647 84670 76 | 0.000 % |
48.33/48.44 c | 85009 | 18463 86170 286586 | 2147483647 85009 76 | 0.000 % |
48.62/48.73 c | 85381 | 18463 86170 286586 | 2147483647 85381 77 | 0.000 % |
48.82/48.94 c | 85791 | 18463 86170 286586 | 2147483647 85791 76 | 0.000 % |
49.02/49.16 c | 86241 | 18463 86170 286586 | 2147483647 86241 76 | 0.000 % |
49.42/49.55 c | 86734 | 18463 86170 286586 | 2147483647 86734 77 | 0.000 % |
49.72/49.89 c | 87277 | 18463 86170 286586 | 2147483647 87277 77 | 0.000 % |
49.92/50.06 c | 87873 | 18463 86170 286586 | 2147483647 87873 77 | 0.000 % |
50.32/50.43 c | 88528 | 18463 86170 286586 | 2147483647 88528 77 | 0.000 % |
51.02/51.15 c | 89251 | 18463 86170 286586 | 2147483647 89251 77 | 0.000 % |
51.62/51.75 c | 90043 | 18463 86170 286586 | 2147483647 90043 77 | 0.000 % |
52.53/52.65 c | 90914 | 18463 86170 286586 | 2147483647 90914 78 | 0.000 % |
53.23/53.38 c | 91872 | 18463 86170 286586 | 2147483647 91872 77 | 0.001 % |
54.22/54.39 c | 92925 | 18463 86170 286586 | 2147483647 92925 77 | 0.000 % |
54.42/54.55 c | 93025 | 18463 86170 286586 | 2147483647 93025 77 | 0.000 % |
54.52/54.69 c | 93137 | 18463 86170 286586 | 2147483647 93137 77 | 0.000 % |
54.62/54.78 c | 93258 | 18463 86170 286586 | 2147483647 93258 77 | 0.000 % |
54.72/54.90 c | 93391 | 18463 86170 286586 | 2147483647 93391 77 | 0.000 % |
54.93/55.01 c | 93537 | 18463 86170 286586 | 2147483647 93537 77 | 0.000 % |
55.02/55.18 c | 93698 | 18463 86170 286586 | 2147483647 93698 77 | 0.000 % |
55.12/55.27 c | 93875 | 18463 86170 286586 | 2147483647 93875 77 | 0.000 % |
55.32/55.47 c | 94069 | 18463 86170 286586 | 2147483647 94069 77 | 0.000 % |
55.62/55.74 c | 94281 | 18463 86170 286586 | 2147483647 94281 77 | 0.000 % |
55.82/55.93 c | 94514 | 18463 86170 286586 | 2147483647 94514 77 | 0.000 % |
56.02/56.13 c | 94770 | 18463 86170 286586 | 2147483647 94770 77 | 0.000 % |
56.42/56.58 c | 95051 | 18463 86170 286586 | 2147483647 95051 77 | 0.000 % |
56.72/56.88 c | 95362 | 18463 86170 286586 | 2147483647 95362 77 | 0.000 % |
57.02/57.19 c | 95701 | 18463 86170 286586 | 2147483647 95701 77 | 0.000 % |
57.42/57.59 c | 96073 | 18463 86170 286586 | 2147483647 96073 77 | 0.000 % |
57.72/57.81 c | 96482 | 18463 86170 286586 | 2147483647 96482 77 | 0.000 % |
58.02/58.18 c | 96932 | 18463 86170 286586 | 2147483647 96932 77 | 0.000 % |
58.52/58.65 c | 97425 | 18463 86170 286586 | 2147483647 97425 78 | 0.000 % |
58.92/59.06 c | 97967 | 18463 86170 286586 | 2147483647 97967 78 | 0.000 % |
59.12/59.27 c | 98565 | 18463 86170 286586 | 2147483647 98565 78 | 0.000 % |
59.82/59.93 c | 99222 | 18463 86170 286586 | 2147483647 99222 78 | 0.000 % |
60.32/60.49 c | 99942 | 18463 86170 286586 | 2147483647 99942 78 | 0.000 % |
61.01/61.16 c | 100734 | 18463 86170 286586 | 2147483647 100734 79 | 0.000 % |
61.71/61.82 c | 101607 | 18463 86170 286586 | 2147483647 101607 79 | 0.000 % |
62.42/62.53 c | 102565 | 18463 86170 286586 | 2147483647 102565 79 | 0.000 % |
63.52/63.64 c | 103619 | 18463 86170 286586 | 2147483647 103619 80 | 0.000 % |
64.52/64.61 c | 104777 | 18463 86170 286586 | 2147483647 104777 80 | 0.000 % |
64.62/64.75 c | 104878 | 18463 86170 286586 | 2147483647 104878 80 | 0.000 % |
64.72/64.88 c | 104988 | 18463 86170 286586 | 2147483647 104988 80 | 0.000 % |
64.82/64.97 c | 105110 | 18463 86170 286586 | 2147483647 105110 80 | 0.000 % |
64.92/65.04 c | 105244 | 18463 86170 286586 | 2147483647 105244 80 | 0.000 % |
65.02/65.13 c | 105390 | 18463 86170 286586 | 2147483647 105390 80 | 0.000 % |
65.12/65.26 c | 105550 | 18463 86170 286586 | 2147483647 105550 80 | 0.000 % |
65.32/65.41 c | 105727 | 18463 86170 286586 | 2147483647 105727 80 | 0.000 % |
65.42/65.52 c | 105922 | 18463 86170 286586 | 2147483647 105922 80 | 0.000 % |
65.52/65.68 c | 106138 | 18463 86170 286586 | 2147483647 106138 80 | 0.000 % |
65.82/65.92 c | 106372 | 18463 86170 286586 | 2147483647 106372 80 | 0.000 % |
65.92/66.05 c | 106628 | 18463 86170 286586 | 2147483647 106628 80 | 0.000 % |
66.12/66.30 c | 106910 | 18463 86170 286586 | 2147483647 106910 80 | 0.000 % |
66.42/66.51 c | 107222 | 18463 86170 286586 | 2147483647 107222 80 | 0.000 % |
66.72/66.83 c | 107561 | 18463 86170 286586 | 2147483647 107561 80 | 0.000 % |
67.12/67.23 c | 107934 | 18463 86170 286586 | 2147483647 107934 80 | 0.000 % |
67.42/67.58 c | 108343 | 18463 86170 286586 | 2147483647 108343 80 | 0.000 % |
67.62/67.76 c | 108792 | 18463 86170 286586 | 2147483647 108792 80 | 0.000 % |
68.02/68.13 c | 109286 | 18463 86170 286586 | 2147483647 109286 80 | 0.000 % |
68.32/68.42 c | 109828 | 18463 86170 286586 | 2147483647 109828 80 | 0.000 % |
68.52/68.68 c | 110424 | 18463 86170 286586 | 2147483647 110424 80 | 0.000 % |
69.22/69.35 c | 111080 | 18463 86170 286586 | 2147483647 111080 81 | 0.000 % |
69.91/70.02 c | 111800 | 18463 86170 286586 | 2147483647 111800 80 | 0.000 % |
70.51/70.67 c | 112592 | 18463 86170 286586 | 2147483647 112592 81 | 0.001 % |
71.42/71.58 c | 113463 | 18463 86170 286586 | 2147483647 113463 81 | 0.000 % |
72.12/72.24 c | 114421 | 18463 86170 286586 | 2147483647 114421 80 | 0.000 % |
72.71/72.83 c | 115477 | 18463 86170 286586 | 2147483647 115477 81 | 0.000 % |
73.62/73.78 c | 116635 | 18463 86170 286586 | 2147483647 116635 81 | 0.000 % |
74.11/74.26 c | 117908 | 18463 86170 286586 | 2147483647 117908 81 | 0.000 % |
74.21/74.30 c | 118008 | 18463 86170 286586 | 2147483647 118008 81 | 0.000 % |
74.31/74.45 c | 118119 | 18463 86170 286586 | 2147483647 118119 81 | 0.000 % |
74.41/74.59 c | 118241 | 18463 86170 286586 | 2147483647 118241 81 | 0.000 % |
74.51/74.69 c | 118374 | 18463 86170 286586 | 2147483647 118374 81 | 0.000 % |
74.71/74.81 c | 118520 | 18463 86170 286586 | 2147483647 118520 81 | 0.000 % |
74.81/74.99 c | 118680 | 18463 86170 286586 | 2147483647 118680 81 | 0.000 % |
75.01/75.13 c | 118857 | 18463 86170 286586 | 2147483647 118857 81 | 0.000 % |
75.21/75.32 c | 119051 | 18463 86170 286586 | 2147483647 119051 81 | 0.000 % |
75.41/75.60 c | 119264 | 18463 86170 286586 | 2147483647 119264 81 | 0.000 % |
75.71/75.81 c | 119499 | 18463 86170 286586 | 2147483647 119499 81 | 0.000 % |
76.01/76.14 c | 119755 | 18463 86170 286586 | 2147483647 119755 81 | 0.000 % |
76.21/76.37 c | 120036 | 18463 86170 286586 | 2147483647 120036 81 | 0.000 % |
76.51/76.68 c | 120345 | 18463 86170 286586 | 2147483647 120345 81 | 0.000 % |
77.01/77.11 c | 120685 | 18463 86170 286586 | 2147483647 120685 81 | 0.000 % |
77.31/77.45 c | 121061 | 18463 86170 286586 | 2147483647 121061 81 | 0.000 % |
77.71/77.81 c | 121470 | 18463 86170 286586 | 2147483647 121470 81 | 0.000 % |
78.11/78.27 c | 121920 | 18463 86170 286586 | 2147483647 121920 81 | 0.000 % |
78.51/78.64 c | 122413 | 18463 86170 286586 | 2147483647 122413 81 | 0.000 % |
79.01/79.11 c | 122957 | 18463 86170 286586 | 2147483647 122957 82 | 0.000 % |
79.51/79.64 c | 123554 | 18463 86170 286586 | 2147483647 123554 82 | 0.000 % |
80.21/80.34 c | 124209 | 18463 86170 286586 | 2147483647 124209 82 | 0.000 % |
80.70/80.85 c | 124929 | 18463 86170 286586 | 2147483647 124929 82 | 0.000 % |
81.32/81.44 c | 125722 | 18463 86170 286586 | 2147483647 125722 82 | 0.000 % |
82.32/82.42 c | 126594 | 18463 86170 286586 | 2147483647 126594 82 | 0.000 % |
84.51/84.70 c | 127552 | 18463 86170 286586 | 2147483647 127552 83 | 0.000 % |
85.31/85.43 c | 128605 | 18463 86170 286586 | 2147483647 128605 83 | 0.000 % |
86.31/86.47 c | 129763 | 18463 86170 286586 | 2147483647 129763 83 | 0.000 % |
87.60/87.72 c | 131036 | 18463 86170 286586 | 2147483647 131036 83 | 0.000 % |
88.31/88.48 c | 132436 | 18463 86170 286586 | 2147483647 132436 84 | 0.000 % |
88.51/88.62 c | 132536 | 18463 86170 286586 | 2147483647 132536 84 | 0.000 % |
88.71/88.85 c | 132648 | 18463 86170 286586 | 2147483647 132648 84 | 0.000 % |
88.92/89.05 c | 132770 | 18463 86170 286586 | 2147483647 132770 84 | 0.000 % |
89.21/89.34 c | 132903 | 18463 86170 286586 | 2147483647 132903 84 | 0.000 % |
89.51/89.66 c | 133049 | 18463 86170 286586 | 2147483647 133049 84 | 0.000 % |
89.81/89.93 c | 133211 | 18463 86170 286586 | 2147483647 133211 84 | 0.000 % |
89.91/90.01 c | 133387 | 18463 86170 286586 | 2147483647 133387 84 | 0.000 % |
90.21/90.34 c | 133580 | 18463 86170 286586 | 2147483647 133580 84 | 0.000 % |
90.51/90.60 c | 133795 | 18463 86170 286586 | 2147483647 133795 84 | 0.000 % |
90.81/90.91 c | 134028 | 18463 86170 286586 | 2147483647 134028 84 | 0.000 % |
91.01/91.10 c | 134284 | 18463 86170 286586 | 2147483647 134284 84 | 0.000 % |
91.22/91.38 c | 134566 | 18463 86170 286586 | 2147483647 134566 84 | 0.000 % |
91.71/91.89 c | 134876 | 18463 86170 286586 | 2147483647 134876 84 | 0.000 % |
92.01/92.10 c | 135217 | 18463 86170 286586 | 2147483647 135217 84 | 0.000 % |
92.31/92.45 c | 135589 | 18463 86170 286586 | 2147483647 135589 84 | 0.000 % |
92.51/92.64 c | 136001 | 18463 86170 286586 | 2147483647 136001 84 | 0.000 % |
93.01/93.14 c | 136450 | 18463 86170 286586 | 2147483647 136450 84 | 0.000 % |
93.41/93.53 c | 136943 | 18463 86170 286586 | 2147483647 136943 84 | 0.000 % |
93.81/93.92 c | 137485 | 18463 86170 286586 | 2147483647 137485 84 | 0.000 % |
94.11/94.28 c | 138082 | 18463 86170 286586 | 2147483647 138082 84 | 0.000 % |
94.90/95.02 c | 138738 | 18463 86170 286586 | 2147483647 138738 84 | 0.000 % |
95.40/95.54 c | 139459 | 18463 86170 286586 | 2147483647 139459 84 | 0.000 % |
96.00/96.19 c | 140251 | 18463 86170 286586 | 2147483647 140251 84 | 0.000 % |
97.10/97.25 c | 141123 | 18463 86170 286586 | 2147483647 141123 85 | 0.000 % |
97.80/97.95 c | 142081 | 18463 86170 286586 | 2147483647 142081 85 | 0.000 % |
98.91/99.00 c | 143136 | 18463 86170 286586 | 2147483647 143136 85 | 0.000 % |
100.41/100.57 c | 144295 | 18463 86170 286586 | 2147483647 144295 85 | 0.000 % |
103.40/103.54 c | 145569 | 18463 86170 286586 | 2147483647 145569 86 | 0.000 % |
104.20/104.35 c | 146969 | 18463 86170 286586 | 2147483647 146969 86 | 0.000 % |
105.20/105.37 c | 148511 | 18463 86170 286586 | 2147483647 148511 86 | 0.000 % |
105.40/105.51 c | 148611 | 18463 86170 286586 | 2147483647 148611 86 | 0.000 % |
105.50/105.67 c | 148722 | 18463 86170 286586 | 2147483647 148722 86 | 0.000 % |
105.70/105.85 c | 148843 | 18463 86170 286586 | 2147483647 148843 86 | 0.000 % |
105.90/106.02 c | 148977 | 18463 86170 286586 | 2147483647 148977 86 | 0.000 % |
106.20/106.31 c | 149124 | 18463 86170 286586 | 2147483647 149124 86 | 0.000 % |
106.40/106.58 c | 149286 | 18463 86170 286586 | 2147483647 149286 86 | 0.000 % |
106.60/106.70 c | 149464 | 18463 86170 286586 | 2147483647 149464 86 | 0.000 % |
106.70/106.86 c | 149657 | 18463 86170 286586 | 2147483647 149657 86 | 0.000 % |
106.91/107.04 c | 149869 | 18463 86170 286586 | 2147483647 149869 86 | 0.000 % |
107.11/107.24 c | 150105 | 18463 86170 286586 | 2147483647 150105 86 | 0.000 % |
107.30/107.47 c | 150361 | 18463 86170 286586 | 2147483647 150361 86 | 0.000 % |
107.61/107.70 c | 150643 | 18463 86170 286586 | 2147483647 150643 86 | 0.000 % |
107.80/107.98 c | 150954 | 18463 86170 286586 | 2147483647 150954 86 | 0.000 % |
108.10/108.27 c | 151296 | 18463 86170 286586 | 2147483647 151296 86 | 0.000 % |
108.60/108.72 c | 151670 | 18463 86170 286586 | 2147483647 151670 86 | 0.000 % |
108.90/109.06 c | 152080 | 18463 86170 286586 | 2147483647 152080 86 | 0.000 % |
109.50/109.68 c | 152529 | 18463 86170 286586 | 2147483647 152529 86 | 0.000 % |
109.90/110.07 c | 153023 | 18463 86170 286586 | 2147483647 153023 86 | 0.000 % |
110.50/110.65 c | 153565 | 18463 86170 286586 | 2147483647 153565 86 | 0.000 % |
111.50/111.61 c | 154163 | 18463 86170 286586 | 2147483647 154163 87 | 0.000 % |
112.01/112.17 c | 154819 | 18463 86170 286586 | 2147483647 154819 87 | 0.000 % |
112.60/112.74 c | 155539 | 18463 86170 286586 | 2147483647 155539 87 | 0.000 % |
113.80/113.96 c | 156332 | 18463 86170 286586 | 2147483647 156332 88 | 0.000 % |
114.50/114.69 c | 157203 | 18463 86170 286586 | 2147483647 157203 88 | 0.000 % |
115.69/115.82 c | 158164 | 18463 86170 286586 | 2147483647 158164 88 | 0.000 % |
116.79/116.95 c | 159217 | 18463 86170 286586 | 2147483647 159217 88 | 0.000 % |
118.19/118.35 c | 160378 | 18463 86170 286586 | 2147483647 160378 89 | 0.000 % |
119.60/119.72 c | 161651 | 18463 86170 286586 | 2147483647 161651 89 | 0.000 % |
120.90/121.02 c | 163051 | 18463 86170 286586 | 2147483647 163051 89 | 0.000 % |
122.49/122.64 c | 164591 | 18463 86170 286586 | 2147483647 164591 90 | 0.000 % |
125.59/125.70 c | 166287 | 18463 86170 286586 | 2147483647 166287 90 | 0.000 % |
125.69/125.85 c | 166388 | 18463 86170 286586 | 2147483647 166388 90 | 0.000 % |
125.79/125.97 c | 166498 | 18463 86170 286586 | 2147483647 166498 90 | 0.000 % |
125.99/126.13 c | 166620 | 18463 86170 286586 | 2147483647 166620 90 | 0.000 % |
126.19/126.30 c | 166753 | 18463 86170 286586 | 2147483647 166753 90 | 0.000 % |
126.29/126.43 c | 166899 | 18463 86170 286586 | 2147483647 166899 90 | 0.000 % |
126.39/126.57 c | 167059 | 18463 86170 286586 | 2147483647 167059 90 | 0.000 % |
126.49/126.69 c | 167235 | 18463 86170 286586 | 2147483647 167235 90 | 0.000 % |
126.59/126.72 c | 167429 | 18463 86170 286586 | 2147483647 167429 90 | 0.000 % |
126.79/126.91 c | 167641 | 18463 86170 286586 | 2147483647 167641 90 | 0.000 % |
126.99/127.19 c | 167874 | 18463 86170 286586 | 2147483647 167874 90 | 0.000 % |
127.29/127.50 c | 168130 | 18463 86170 286586 | 2147483647 168130 90 | 0.000 % |
127.69/127.83 c | 168414 | 18463 86170 286586 | 2147483647 168414 90 | 0.000 % |
128.19/128.37 c | 168723 | 18463 86170 286586 | 2147483647 168723 90 | 0.000 % |
128.49/128.64 c | 169062 | 18463 86170 286586 | 2147483647 169062 90 | 0.000 % |
128.99/129.18 c | 169435 | 18463 86170 286586 | 2147483647 169435 90 | 0.000 % |
129.59/129.77 c | 169845 | 18463 86170 286586 | 2147483647 169845 90 | 0.000 % |
129.99/130.10 c | 170295 | 18463 86170 286586 | 2147483647 170295 90 | 0.000 % |
130.69/130.81 c | 170788 | 18463 86170 286586 | 2147483647 170788 90 | 0.000 % |
130.98/131.14 c | 171330 | 18463 86170 286586 | 2147483647 171330 90 | 0.000 % |
131.58/131.78 c | 171926 | 18463 86170 286586 | 2147483647 171926 91 | 0.000 % |
132.08/132.28 c | 172581 | 18463 86170 286586 | 2147483647 172581 91 | 0.000 % |
133.00/133.17 c | 173301 | 18463 86170 286586 | 2147483647 173301 91 | 0.000 % |
134.09/134.26 c | 174094 | 18463 86170 286586 | 2147483647 174094 91 | 0.000 % |
134.89/135.06 c | 174965 | 18463 86170 286586 | 2147483647 174965 90 | 0.000 % |
136.09/136.25 c | 175924 | 18463 86170 286586 | 2147483647 175924 91 | 0.000 % |
137.29/137.45 c | 176977 | 18463 86170 286586 | 2147483647 176977 91 | 0.000 % |
138.49/138.65 c | 178135 | 18463 86170 286586 | 2147483647 178135 91 | 0.000 % |
139.49/139.66 c | 179409 | 18463 86170 286586 | 2147483647 179409 91 | 0.000 % |
141.08/141.27 c | 180809 | 18463 86170 286586 | 2147483647 180809 91 | 0.000 % |
143.09/143.26 c | 182349 | 18463 86170 286586 | 2147483647 182349 92 | 0.000 % |
144.49/144.67 c | 184043 | 18463 86170 286586 | 2147483647 184043 92 | 0.000 % |
146.58/146.74 c | 185907 | 18463 86170 286586 | 2147483647 185907 92 | 0.000 % |
146.78/146.95 c | 186007 | 18463 86170 286586 | 2147483647 186007 92 | 0.000 % |
146.98/147.19 c | 186118 | 18463 86170 286586 | 2147483647 186118 92 | 0.000 % |
147.28/147.45 c | 186239 | 18463 86170 286586 | 2147483647 186239 92 | 0.000 % |
147.48/147.66 c | 186377 | 18463 86170 286586 | 2147483647 186377 92 | 0.000 % |
147.78/147.97 c | 186523 | 18463 86170 286586 | 2147483647 186523 92 | 0.000 % |
147.98/148.16 c | 186684 | 18463 86170 286586 | 2147483647 186684 92 | 0.000 % |
148.18/148.36 c | 186860 | 18463 86170 286586 | 2147483647 186860 92 | 0.000 % |
148.48/148.67 c | 187054 | 18463 86170 286586 | 2147483647 187054 92 | 0.000 % |
148.68/148.89 c | 187267 | 18463 86170 286586 | 2147483647 187267 92 | 0.000 % |
148.98/149.11 c | 187501 | 18463 86170 286586 | 2147483647 187501 92 | 0.000 % |
149.18/149.32 c | 187757 | 18463 86170 286586 | 2147483647 187757 92 | 0.000 % |
149.58/149.73 c | 188038 | 18463 86170 286586 | 2147483647 188038 92 | 0.000 % |
149.78/149.94 c | 188347 | 18463 86170 286586 | 2147483647 188347 92 | 0.000 % |
150.29/150.46 c | 188686 | 18463 86170 286586 | 2147483647 188686 92 | 0.000 % |
150.68/150.87 c | 189059 | 18463 86170 286586 | 2147483647 189059 92 | 0.000 % |
151.28/151.43 c | 189469 | 18463 86170 286586 | 2147483647 189469 92 | 0.000 % |
151.78/151.93 c | 189920 | 18463 86170 286586 | 2147483647 189920 92 | 0.000 % |
152.69/152.88 c | 190413 | 18463 86170 286586 | 2147483647 190413 93 | 0.000 % |
153.28/153.50 c | 190956 | 18463 86170 286586 | 2147483647 190956 93 | 0.000 % |
153.78/153.96 c | 191552 | 18463 86170 286586 | 2147483647 191552 93 | 0.000 % |
154.88/155.05 c | 192207 | 18463 86170 286586 | 2147483647 192207 93 | 0.000 % |
155.48/155.68 c | 192927 | 18463 86170 286586 | 2147483647 192927 93 | 0.000 % |
156.18/156.37 c | 193719 | 18463 86170 286586 | 2147483647 193719 93 | 0.000 % |
157.08/157.30 c | 194590 | 18463 86170 286586 | 2147483647 194590 93 | 0.000 % |
158.28/158.47 c | 195551 | 18463 86170 286586 | 2147483647 195551 93 | 0.000 % |
159.18/159.39 c | 196605 | 18463 86170 286586 | 2147483647 196605 93 | 0.000 % |
160.08/160.28 c | 197763 | 18463 86170 286586 | 2147483647 197763 93 | 0.000 % |
162.07/162.30 c | 199040 | 18463 86170 286586 | 2147483647 199040 93 | 0.000 % |
163.78/163.95 c | 200443 | 18463 86170 286586 | 2147483647 200443 93 | 0.000 % |
165.67/165.84 c | 201983 | 18463 86170 286586 | 2147483647 201983 94 | 0.000 % |
168.17/168.30 c | 203677 | 18463 86170 286586 | 2147483647 203677 94 | 0.000 % |
170.17/170.34 c | 205541 | 18463 86170 286586 | 2147483647 205541 94 | 0.000 % |
172.68/172.84 c | 207590 | 18463 86170 286586 | 2147483647 207590 94 | 0.000 % |
172.98/173.11 c | 207694 | 18463 86170 286586 | 2147483647 207694 94 | 0.000 % |
173.17/173.30 c | 207804 | 18463 86170 286586 | 2147483647 207804 94 | 0.000 % |
173.27/173.44 c | 207926 | 18463 86170 286586 | 2147483647 207926 94 | 0.000 % |
173.58/173.70 c | 208060 | 18463 86170 286586 | 2147483647 208060 94 | 0.000 % |
173.68/173.84 c | 208206 | 18463 86170 286586 | 2147483647 208206 94 | 0.000 % |
173.77/173.95 c | 208366 | 18463 86170 286586 | 2147483647 208366 94 | 0.000 % |
174.07/174.21 c | 208544 | 18463 86170 286586 | 2147483647 208544 94 | 0.000 % |
174.27/174.48 c | 208740 | 18463 86170 286586 | 2147483647 208740 94 | 0.000 % |
174.68/174.81 c | 208953 | 18463 86170 286586 | 2147483647 208953 94 | 0.000 % |
175.17/175.33 c | 209187 | 18463 86170 286586 | 2147483647 209187 94 | 0.000 % |
175.37/175.59 c | 209443 | 18463 86170 286586 | 2147483647 209443 94 | 0.000 % |
175.77/175.97 c | 209726 | 18463 86170 286586 | 2147483647 209726 94 | 0.000 % |
176.07/176.28 c | 210037 | 18463 86170 286586 | 2147483647 210037 94 | 0.000 % |
176.67/176.80 c | 210376 | 18463 86170 286586 | 2147483647 210376 94 | 0.000 % |
177.17/177.31 c | 210750 | 18463 86170 286586 | 2147483647 210750 94 | 0.000 % |
177.37/177.59 c | 211161 | 18463 86170 286586 | 2147483647 211161 94 | 0.000 % |
178.07/178.28 c | 211615 | 18463 86170 286586 | 2147483647 211615 94 | 0.000 % |
178.67/178.80 c | 212111 | 18463 86170 286586 | 2147483647 212111 94 | 0.000 % |
179.17/179.35 c | 212653 | 18463 86170 286586 | 2147483647 212653 94 | 0.000 % |
180.17/180.34 c | 213249 | 18463 86170 286586 | 2147483647 213249 94 | 0.000 % |
180.96/181.17 c | 213905 | 18463 86170 286586 | 2147483647 213905 94 | 0.000 % |
181.96/182.11 c | 214625 | 18463 86170 286586 | 2147483647 214625 94 | 0.000 % |
183.06/183.22 c | 215417 | 18463 86170 286586 | 2147483647 215417 94 | 0.000 % |
183.97/184.15 c | 216290 | 18463 86170 286586 | 2147483647 216290 94 | 0.000 % |
185.47/185.68 c | 217252 | 18463 86170 286586 | 2147483647 217252 95 | 0.000 % |
186.56/186.70 c | 218306 | 18463 86170 286586 | 2147483647 218306 95 | 0.000 % |
188.97/189.18 c | 219466 | 18463 86170 286586 | 2147483647 219466 95 | 0.000 % |
190.86/191.06 c | 220739 | 18463 86170 286586 | 2147483647 220739 96 | 0.000 % |
192.56/192.71 c | 222140 | 18463 86170 286586 | 2147483647 222140 96 | 0.000 % |
194.47/194.67 c | 223681 | 18463 86170 286586 | 2147483647 223681 97 | 0.000 % |
196.27/196.47 c | 225375 | 18463 86170 286586 | 2147483647 225375 97 | 0.000 % |
198.06/198.21 c | 227238 | 18463 86170 286586 | 2147483647 227238 97 | 0.000 % |
202.46/202.69 c | 229289 | 18463 86170 286586 | 2147483647 229289 97 | 0.000 % |
205.96/206.16 c | 231542 | 18463 86170 286586 | 2147483647 231542 98 | 0.000 % |
206.16/206.36 c | 231642 | 18463 86170 286586 | 2147483647 231642 98 | 0.000 % |
206.36/206.57 c | 231752 | 18463 86170 286586 | 2147483647 231752 98 | 0.000 % |
206.66/206.89 c | 231874 | 18463 86170 286586 | 2147483647 231874 98 | 0.000 % |
206.96/207.10 c | 232007 | 18463 86170 286586 | 2147483647 232007 98 | 0.000 % |
207.26/207.41 c | 232153 | 18463 86170 286586 | 2147483647 232153 98 | 0.000 % |
207.46/207.67 c | 232314 | 18463 86170 286586 | 2147483647 232314 98 | 0.000 % |
207.76/207.93 c | 232491 | 18463 86170 286586 | 2147483647 232491 98 | 0.000 % |
207.96/208.14 c | 232685 | 18463 86170 286586 | 2147483647 232685 98 | 0.000 % |
208.26/208.41 c | 232898 | 18463 86170 286586 | 2147483647 232898 98 | 0.000 % |
208.46/208.61 c | 233131 | 18463 86170 286586 | 2147483647 233131 98 | 0.000 % |
208.76/208.99 c | 233387 | 18463 86170 286586 | 2147483647 233387 98 | 0.000 % |
209.55/209.70 c | 233668 | 18463 86170 286586 | 2147483647 233668 98 | 0.000 % |
209.86/210.09 c | 233977 | 18463 86170 286586 | 2147483647 233977 98 | 0.000 % |
210.45/210.62 c | 234317 | 18463 86170 286586 | 2147483647 234317 98 | 0.000 % |
210.76/210.96 c | 234690 | 18463 86170 286586 | 2147483647 234690 98 | 0.000 % |
211.46/211.62 c | 235099 | 18463 86170 286586 | 2147483647 235099 98 | 0.000 % |
211.86/212.03 c | 235548 | 18463 86170 286586 | 2147483647 235548 98 | 0.000 % |
212.85/213.00 c | 236043 | 18463 86170 286586 | 2147483647 236043 98 | 0.000 % |
214.05/214.22 c | 236585 | 18463 86170 286586 | 2147483647 236585 98 | 0.000 % |
214.85/215.08 c | 237181 | 18463 86170 286586 | 2147483647 237181 98 | 0.000 % |
215.95/216.16 c | 237837 | 18463 86170 286586 | 2147483647 237837 98 | 0.000 % |
216.55/216.74 c | 238557 | 18463 86170 286586 | 2147483647 238557 98 | 0.000 % |
217.56/217.78 c | 239351 | 18463 86170 286586 | 2147483647 239351 98 | 0.000 % |
218.86/219.09 c | 240222 | 18463 86170 286586 | 2147483647 240222 99 | 0.000 % |
220.15/220.39 c | 241180 | 18463 86170 286586 | 2147483647 241180 99 | 0.000 % |
221.55/221.70 c | 242235 | 18463 86170 286586 | 2147483647 242235 99 | 0.000 % |
222.85/223.09 c | 243394 | 18463 86170 286586 | 2147483647 243394 100 | 0.000 % |
224.65/224.83 c | 244667 | 18463 86170 286586 | 2147483647 244667 100 | 0.000 % |
226.25/226.46 c | 246067 | 18463 86170 286586 | 2147483647 246067 100 | 0.000 % |
228.65/228.89 c | 247607 | 18463 86170 286586 | 2147483647 247607 101 | 0.000 % |
231.95/232.13 c | 249302 | 18463 86170 286586 | 2147483647 249302 101 | 0.000 % |
235.05/235.29 c | 251166 | 18463 86170 286586 | 2147483647 251166 101 | 0.000 % |
237.55/237.71 c | 253215 | 18463 86170 286586 | 2147483647 253215 101 | 0.000 % |
240.25/240.44 c | 255469 | 18463 86170 286586 | 2147483647 255469 102 | 0.000 % |
245.25/245.41 c | 257947 | 18463 86170 286586 | 2147483647 257947 102 | 0.000 % |
245.35/245.59 c | 258048 | 18463 86170 286586 | 2147483647 258048 102 | 0.000 % |
245.55/245.78 c | 258158 | 18463 86170 286586 | 2147483647 258158 102 | 0.000 % |
245.75/245.97 c | 258279 | 18463 86170 286586 | 2147483647 258279 102 | 0.000 % |
246.05/246.26 c | 258413 | 18463 86170 286586 | 2147483647 258413 102 | 0.000 % |
246.25/246.43 c | 258559 | 18463 86170 286586 | 2147483647 258559 102 | 0.000 % |
246.45/246.63 c | 258722 | 18463 86170 286586 | 2147483647 258722 102 | 0.000 % |
246.84/247.00 c | 258898 | 18463 86170 286586 | 2147483647 258898 102 | 0.000 % |
247.25/247.43 c | 259094 | 18463 86170 286586 | 2147483647 259094 102 | 0.000 % |
247.64/247.81 c | 259306 | 18463 86170 286586 | 2147483647 259306 102 | 0.000 % |
248.24/248.40 c | 259539 | 18463 86170 286586 | 2147483647 259539 102 | 0.000 % |
248.74/248.99 c | 259798 | 18463 86170 286586 | 2147483647 259798 103 | 0.000 % |
249.24/249.43 c | 260083 | 18463 86170 286586 | 2147483647 260083 103 | 0.000 % |
250.14/250.33 c | 260393 | 18463 86170 286586 | 2147483647 260393 103 | 0.000 % |
250.55/250.79 c | 260733 | 18463 86170 286586 | 2147483647 260733 103 | 0.000 % |
251.14/251.36 c | 261105 | 18463 86170 286586 | 2147483647 261105 103 | 0.000 % |
251.54/251.75 c | 261515 | 18463 86170 286586 | 2147483647 261515 103 | 0.000 % |
252.34/252.56 c | 261965 | 18463 86170 286586 | 2147483647 261965 103 | 0.000 % |
253.24/253.47 c | 262459 | 18463 86170 286586 | 2147483647 262459 103 | 0.000 % |
254.44/254.64 c | 263001 | 18463 86170 286586 | 2147483647 263001 103 | 0.000 % |
255.54/255.78 c | 263597 | 18463 86170 286586 | 2147483647 263597 103 | 0.000 % |
257.74/257.91 c | 264252 | 18463 86170 286586 | 2147483647 264252 103 | 0.000 % |
258.44/258.65 c | 264973 | 18463 86170 286586 | 2147483647 264973 103 | 0.000 % |
259.54/259.78 c | 265765 | 18463 86170 286586 | 2147483647 265765 103 | 0.000 % |
260.94/261.15 c | 266639 | 18463 86170 286586 | 2147483647 266639 103 | 0.000 % |
261.64/261.89 c | 267598 | 18463 86170 286586 | 2147483647 267598 103 | 0.000 % |
262.83/263.09 c | 268651 | 18463 86170 286586 | 2147483647 268651 103 | 0.000 % |
264.64/264.82 c | 269809 | 18463 86170 286586 | 2147483647 269809 104 | 0.000 % |
266.44/266.70 c | 271083 | 18463 86170 286586 | 2147483647 271083 104 | 0.000 % |
268.84/269.09 c | 272483 | 18463 86170 286586 | 2147483647 272483 104 | 0.000 % |
270.44/270.65 c | 274023 | 18463 86170 286586 | 2147483647 274023 104 | 0.000 % |
274.54/274.72 c | 275718 | 18463 86170 286586 | 2147483647 275718 105 | 0.000 % |
279.04/279.20 c | 277587 | 18463 86170 286586 | 2147483647 277587 105 | 0.000 % |
282.23/282.43 c | 279637 | 18463 86170 286586 | 2147483647 279637 106 | 0.000 % |
284.93/285.13 c | 281892 | 18463 86170 286586 | 2147483647 281892 105 | 0.000 % |
289.74/289.94 c | 284370 | 18463 86170 286586 | 2147483647 284370 106 | 0.000 % |
294.23/294.47 c | 287097 | 18463 86170 286586 | 2147483647 287097 106 | 0.000 % |
294.43/294.69 c | 287198 | 18463 86170 286586 | 2147483647 287198 106 | 0.000 % |
294.63/294.85 c | 287308 | 18463 86170 286586 | 2147483647 287308 106 | 0.000 % |
295.13/295.30 c | 287429 | 18463 86170 286586 | 2147483647 287429 106 | 0.000 % |
295.33/295.59 c | 287563 | 18463 86170 286586 | 2147483647 287563 106 | 0.000 % |
295.63/295.85 c | 287709 | 18463 86170 286586 | 2147483647 287709 106 | 0.000 % |
295.93/296.18 c | 287871 | 18463 86170 286586 | 2147483647 287871 106 | 0.000 % |
296.33/296.55 c | 288047 | 18463 86170 286586 | 2147483647 288047 106 | 0.000 % |
296.63/296.82 c | 288246 | 18463 86170 286586 | 2147483647 288246 106 | 0.000 % |
297.03/297.22 c | 288459 | 18463 86170 286586 | 2147483647 288459 106 | 0.000 % |
297.23/297.43 c | 288692 | 18463 86170 286586 | 2147483647 288692 106 | 0.000 % |
297.63/297.88 c | 288950 | 18463 86170 286586 | 2147483647 288950 106 | 0.000 % |
298.23/298.43 c | 289232 | 18463 86170 286586 | 2147483647 289232 106 | 0.000 % |
298.73/298.96 c | 289543 | 18463 86170 286586 | 2147483647 289543 106 | 0.000 % |
299.43/299.67 c | 289883 | 18463 86170 286586 | 2147483647 289883 106 | 0.000 % |
300.32/300.53 c | 290255 | 18463 86170 286586 | 2147483647 290255 106 | 0.000 % |
301.24/301.44 c | 290664 | 18463 86170 286586 | 2147483647 290664 106 | 0.000 % |
301.93/302.16 c | 291113 | 18463 86170 286586 | 2147483647 291113 106 | 0.000 % |
302.93/303.15 c | 291606 | 18463 86170 286586 | 2147483647 291606 107 | 0.000 % |
304.03/304.29 c | 292148 | 18463 86170 286586 | 2147483647 292148 107 | 0.000 % |
304.93/305.14 c | 292744 | 18463 86170 286586 | 2147483647 292744 107 | 0.000 % |
306.23/306.43 c | 293399 | 18463 86170 286586 | 2147483647 293399 107 | 0.000 % |
307.23/307.44 c | 294119 | 18463 86170 286586 | 2147483647 294119 107 | 0.000 % |
308.73/308.95 c | 294911 | 18463 86170 286586 | 2147483647 294911 107 | 0.000 % |
310.13/310.35 c | 295782 | 18463 86170 286586 | 2147483647 295782 106 | 0.000 % |
311.62/311.81 c | 296743 | 18463 86170 286586 | 2147483647 296743 106 | 0.000 % |
312.52/312.79 c | 297797 | 18463 86170 286586 | 2147483647 297797 106 | 0.000 % |
313.82/314.01 c | 298956 | 18463 86170 286586 | 2147483647 298956 107 | 0.000 % |
315.43/315.68 c | 300229 | 18463 86170 286586 | 2147483647 300229 107 | 0.000 % |
317.92/318.19 c | 301629 | 18463 86170 286586 | 2147483647 301629 107 | 0.000 % |
320.22/320.44 c | 303171 | 18463 86170 286586 | 2147483647 303171 107 | 0.000 % |
323.02/323.21 c | 304867 | 18463 86170 286586 | 2147483647 304867 107 | 0.000 % |
325.43/325.67 c | 306730 | 18463 86170 286586 | 2147483647 306730 107 | 0.000 % |
328.63/328.82 c | 308780 | 18463 86170 286586 | 2147483647 308780 108 | 0.000 % |
332.42/332.70 c | 311034 | 18463 86170 286586 | 2147483647 311034 108 | 0.000 % |
339.01/339.23 c | 313513 | 18463 86170 286586 | 2147483647 313513 108 | 0.000 % |
347.61/347.86 c | 316238 | 18463 86170 286586 | 2147483647 316238 108 | 0.000 % |
352.11/352.31 c | 319235 | 18463 86170 286586 | 2147483647 319235 109 | 0.000 % |
352.21/352.44 c | 319337 | 18463 86170 286586 | 2147483647 319337 109 | 0.000 % |
352.51/352.77 c | 319448 | 18463 86170 286586 | 2147483647 319448 109 | 0.000 % |
352.71/352.94 c | 319569 | 18463 86170 286586 | 2147483647 319569 109 | 0.000 % |
353.11/353.39 c | 319704 | 18463 86170 286586 | 2147483647 319704 109 | 0.000 % |
353.51/353.78 c | 319851 | 18463 86170 286586 | 2147483647 319851 109 | 0.000 % |
354.01/354.27 c | 320012 | 18463 86170 286586 | 2147483647 320012 109 | 0.000 % |
354.31/354.60 c | 320188 | 18463 86170 286586 | 2147483647 320188 109 | 0.000 % |
354.81/355.03 c | 320382 | 18463 86170 286586 | 2147483647 320382 109 | 0.000 % |
355.11/355.38 c | 320596 | 18463 86170 286586 | 2147483647 320596 109 | 0.000 % |
355.71/355.96 c | 320830 | 18463 86170 286586 | 2147483647 320830 109 | 0.000 % |
356.21/356.47 c | 321086 | 18463 86170 286586 | 2147483647 321086 109 | 0.000 % |
357.01/357.22 c | 321368 | 18463 86170 286586 | 2147483647 321368 109 | 0.000 % |
357.51/357.70 c | 321678 | 18463 86170 286586 | 2147483647 321678 109 | 0.000 % |
358.11/358.38 c | 322019 | 18463 86170 286586 | 2147483647 322019 109 | 0.000 % |
359.12/359.39 c | 322392 | 18463 86170 286586 | 2147483647 322392 109 | 0.000 % |
359.82/360.02 c | 322801 | 18463 86170 286586 | 2147483647 322801 109 | 0.000 % |
360.62/360.87 c | 323251 | 18463 86170 286586 | 2147483647 323251 109 | 0.000 % |
361.51/361.72 c | 323745 | 18463 86170 286586 | 2147483647 323745 109 | 0.000 % |
362.31/362.57 c | 324287 | 18463 86170 286586 | 2147483647 324287 109 | 0.000 % |
363.51/363.75 c | 324883 | 18463 86170 286586 | 2147483647 324883 109 | 0.000 % |
364.10/364.37 c | 325538 | 18463 86170 286586 | 2147483647 325538 109 | 0.000 % |
366.21/366.41 c | 326258 | 18463 86170 286586 | 2147483647 326258 110 | 0.000 % |
367.81/368.08 c | 327050 | 18463 86170 286586 | 2147483647 327050 110 | 0.000 % |
370.21/370.47 c | 327923 | 18463 86170 286586 | 2147483647 327923 110 | 0.000 % |
372.20/372.45 c | 328881 | 18463 86170 286586 | 2147483647 328881 110 | 0.000 % |
374.30/374.50 c | 329934 | 18463 86170 286586 | 2147483647 329934 110 | 0.000 % |
377.11/377.39 c | 331093 | 18463 86170 286586 | 2147483647 331093 110 | 0.000 % |
380.31/380.52 c | 332369 | 18463 86170 286586 | 2147483647 332369 111 | 0.000 % |
383.51/383.73 c | 333769 | 18463 86170 286586 | 2147483647 333769 111 | 0.000 % |
387.20/387.49 c | 335309 | 18463 86170 286586 | 2147483647 335309 112 | 0.000 % |
390.81/391.03 c | 337003 | 18463 86170 286586 | 2147483647 337003 113 | 0.000 % |
393.90/394.13 c | 338866 | 18463 86170 286586 | 2147483647 338866 113 | 0.000 % |
399.79/400.08 c | 340920 | 18463 86170 286586 | 2147483647 340920 113 | 0.000 % |
404.89/405.12 c | 343173 | 18463 86170 286586 | 2147483647 343173 114 | 0.000 % |
409.89/410.10 c | 345651 | 18463 86170 286586 | 2147483647 345651 114 | 0.000 % |
416.09/416.39 c | 348376 | 18463 86170 286586 | 2147483647 348376 115 | 0.000 % |
423.99/424.22 c | 351374 | 18463 86170 286586 | 2147483647 351374 116 | 0.000 % |
431.48/431.73 c | 354670 | 18463 86170 286586 | 2147483647 354670 117 | 0.000 % |
431.69/431.92 c | 354770 | 18463 86170 286586 | 2147483647 354770 117 | 0.000 % |
431.99/432.21 c | 354883 | 18463 86170 286586 | 2147483647 354883 117 | 0.000 % |
432.19/432.44 c | 355009 | 18463 86170 286586 | 2147483647 355009 117 | 0.000 % |
432.59/432.83 c | 355142 | 18463 86170 286586 | 2147483647 355142 117 | 0.000 % |
432.99/433.25 c | 355289 | 18463 86170 286586 | 2147483647 355289 117 | 0.000 % |
433.39/433.68 c | 355449 | 18463 86170 286586 | 2147483647 355449 117 | 0.000 % |
433.89/434.14 c | 355625 | 18463 86170 286586 | 2147483647 355625 117 | 0.000 % |
434.29/434.56 c | 355820 | 18463 86170 286586 | 2147483647 355820 117 | 0.000 % |
434.79/435.08 c | 356034 | 18463 86170 286586 | 2147483647 356034 117 | 0.000 % |
435.39/435.63 c | 356267 | 18463 86170 286586 | 2147483647 356267 117 | 0.000 % |
435.89/436.17 c | 356523 | 18463 86170 286586 | 2147483647 356523 117 | 0.000 % |
436.59/436.84 c | 356807 | 18463 86170 286586 | 2147483647 356807 117 | 0.000 % |
437.19/437.44 c | 357116 | 18463 86170 286586 | 2147483647 357116 117 | 0.000 % |
437.59/437.84 c | 357456 | 18463 86170 286586 | 2147483647 357456 117 | 0.000 % |
438.18/438.42 c | 357829 | 18463 86170 286586 | 2147483647 357829 117 | 0.000 % |
439.08/439.30 c | 358242 | 18463 86170 286586 | 2147483647 358242 117 | 0.000 % |
439.98/440.24 c | 358691 | 18463 86170 286586 | 2147483647 358691 117 | 0.000 % |
441.29/441.51 c | 359186 | 18463 86170 286586 | 2147483647 359186 117 | 0.000 % |
442.49/442.74 c | 359734 | 18463 86170 286586 | 2147483647 359734 118 | 0.000 % |
443.49/443.76 c | 360330 | 18463 86170 286586 | 2147483647 360330 118 | 0.000 % |
445.19/445.45 c | 360985 | 18463 86170 286586 | 2147483647 360985 118 | 0.000 % |
446.88/447.11 c | 361706 | 18463 86170 286586 | 2147483647 361706 118 | 0.000 % |
448.68/448.98 c | 362499 | 18463 86170 286586 | 2147483647 362499 118 | 0.000 % |
451.78/452.04 c | 363370 | 18463 86170 286586 | 2147483647 363370 118 | 0.000 % |
453.78/454.00 c | 364328 | 18463 86170 286586 | 2147483647 364328 119 | 0.000 % |
455.98/456.22 c | 365382 | 18463 86170 286586 | 2147483647 365382 119 | 0.000 % |
457.98/458.21 c | 366540 | 18463 86170 286586 | 2147483647 366540 120 | 0.000 % |
460.87/461.18 c | 367813 | 18463 86170 286586 | 2147483647 367813 120 | 0.000 % |
463.38/463.65 c | 369213 | 18463 86170 286586 | 2147483647 369213 120 | 0.000 % |
465.88/466.12 c | 370757 | 18463 86170 286586 | 2147483647 370757 120 | 0.000 % |
469.67/469.94 c | 372451 | 18463 86170 286586 | 2147483647 372451 120 | 0.000 % |
474.38/474.69 c | 374314 | 18463 86170 286586 | 2147483647 374314 121 | 0.000 % |
478.77/479.07 c | 376363 | 18463 86170 286586 | 2147483647 376363 121 | 0.000 % |
481.97/482.23 c | 378616 | 18463 86170 286586 | 2147483647 378616 121 | 0.000 % |
485.17/485.45 c | 381097 | 18463 86170 286586 | 2147483647 381097 120 | 0.000 % |
489.18/489.42 c | 383825 | 18463 86170 286586 | 2147483647 383825 120 | 0.000 % |
493.67/493.97 c | 386822 | 18463 86170 286586 | 2147483647 386822 121 | 0.000 % |
497.87/498.15 c | 390120 | 18463 86170 286586 | 2147483647 390120 121 | 0.000 % |
503.76/504.08 c | 393745 | 18463 86170 286586 | 2147483647 393745 121 | 0.000 % |
503.96/504.28 c | 393846 | 18463 86170 286586 | 2147483647 393846 121 | 0.000 % |
504.37/504.67 c | 393958 | 18463 86170 286586 | 2147483647 393958 121 | 0.000 % |
504.67/504.94 c | 394079 | 18463 86170 286586 | 2147483647 394079 121 | 0.000 % |
505.17/505.42 c | 394212 | 18463 86170 286586 | 2147483647 394212 121 | 0.000 % |
505.57/505.88 c | 394360 | 18463 86170 286586 | 2147483647 394360 121 | 0.000 % |
506.27/506.53 c | 394521 | 18463 86170 286586 | 2147483647 394521 121 | 0.000 % |
506.67/507.00 c | 394697 | 18463 86170 286586 | 2147483647 394697 121 | 0.000 % |
507.17/507.44 c | 394892 | 18463 86170 286586 | 2147483647 394892 121 | 0.000 % |
507.76/508.02 c | 395107 | 18463 86170 286586 | 2147483647 395107 121 | 0.000 % |
508.56/508.89 c | 395342 | 18463 86170 286586 | 2147483647 395342 121 | 0.000 % |
509.66/509.92 c | 395599 | 18463 86170 286586 | 2147483647 395599 121 | 0.000 % |
510.26/510.58 c | 395880 | 18463 86170 286586 | 2147483647 395880 121 | 0.000 % |
511.36/511.63 c | 396191 | 18463 86170 286586 | 2147483647 396191 121 | 0.000 % |
512.26/512.52 c | 396530 | 18463 86170 286586 | 2147483647 396530 121 | 0.000 % |
513.86/514.15 c | 396903 | 18463 86170 286586 | 2147483647 396903 121 | 0.000 % |
514.66/514.99 c | 397312 | 18463 86170 286586 | 2147483647 397312 121 | 0.000 % |
515.95/516.24 c | 397761 | 18463 86170 286586 | 2147483647 397761 121 | 0.000 % |
517.16/517.50 c | 398254 | 18463 86170 286586 | 2147483647 398254 121 | 0.000 % |
518.06/518.37 c | 398796 | 18463 86170 286586 | 2147483647 398796 121 | 0.000 % |
519.16/519.44 c | 399392 | 18463 86170 286586 | 2147483647 399392 121 | 0.000 % |
520.66/520.92 c | 400048 | 18463 86170 286586 | 2147483647 400048 121 | 0.000 % |
522.86/523.18 c | 400768 | 18463 86170 286586 | 2147483647 400768 122 | 0.000 % |
524.65/524.90 c | 401562 | 18463 86170 286586 | 2147483647 401562 122 | 0.000 % |
527.06/527.35 c | 402433 | 18463 86170 286586 | 2147483647 402433 122 | 0.000 % |
530.46/530.75 c | 403391 | 18463 86170 286586 | 2147483647 403391 122 | 0.000 % |
533.56/533.82 c | 404447 | 18463 86170 286586 | 2147483647 404447 123 | 0.000 % |
536.16/536.41 c | 405609 | 18463 86170 286586 | 2147483647 405609 123 | 0.000 % |
538.45/538.71 c | 406883 | 18463 86170 286586 | 2147483647 406883 123 | 0.000 % |
542.75/543.01 c | 408286 | 18463 86170 286586 | 2147483647 408286 124 | 0.000 % |
547.55/547.87 c | 409826 | 18463 86170 286586 | 2147483647 409826 124 | 0.000 % |
553.34/553.68 c | 411521 | 18463 86170 286586 | 2147483647 411521 124 | 0.000 % |
557.45/557.77 c | 413387 | 18463 86170 286586 | 2147483647 413387 124 | 0.000 % |
562.65/562.92 c | 415437 | 18463 86170 286586 | 2147483647 415437 125 | 0.000 % |
569.54/569.90 c | 417691 | 18463 86170 286586 | 2147483647 417691 126 | 0.000 % |
576.54/576.88 c | 420169 | 18463 86170 286586 | 2147483647 420169 127 | 0.000 % |
583.84/584.15 c | 422894 | 18463 86170 286586 | 2147483647 422894 127 | 0.000 % |
591.14/591.44 c | 425891 | 18463 86170 286586 | 2147483647 425891 128 | 0.000 % |
601.83/602.10 c | 429192 | 18463 86170 286586 | 2147483647 429192 129 | 0.000 % |
614.83/615.17 c | 432817 | 18463 86170 286586 | 2147483647 432817 130 | 0.000 % |
626.13/626.44 c | 436805 | 18463 86170 286586 | 2147483647 436805 132 | 0.000 % |
626.43/626.79 c | 436905 | 18463 86170 286586 | 2147483647 436905 132 | 0.000 % |
626.83/627.10 c | 437016 | 18463 86170 286586 | 2147483647 437016 132 | 0.000 % |
627.23/627.51 c | 437137 | 18463 86170 286586 | 2147483647 437137 132 | 0.000 % |
627.73/628.10 c | 437271 | 18463 86170 286586 | 2147483647 437271 132 | 0.000 % |
628.13/628.42 c | 437418 | 18463 86170 286586 | 2147483647 437418 132 | 0.000 % |
628.73/629.03 c | 437578 | 18463 86170 286586 | 2147483647 437578 132 | 0.000 % |
629.33/629.62 c | 437754 | 18463 86170 286586 | 2147483647 437754 132 | 0.000 % |
630.12/630.43 c | 437947 | 18463 86170 286586 | 2147483647 437947 132 | 0.000 % |
630.72/631.03 c | 438159 | 18463 86170 286586 | 2147483647 438159 132 | 0.000 % |
631.13/631.44 c | 438393 | 18463 86170 286586 | 2147483647 438393 132 | 0.000 % |
631.82/632.16 c | 438652 | 18463 86170 286586 | 2147483647 438652 132 | 0.000 % |
632.73/633.05 c | 438935 | 18463 86170 286586 | 2147483647 438935 132 | 0.000 % |
633.63/633.99 c | 439245 | 18463 86170 286586 | 2147483647 439245 132 | 0.000 % |
634.83/635.14 c | 439585 | 18463 86170 286586 | 2147483647 439585 132 | 0.000 % |
636.43/636.73 c | 439959 | 18463 86170 286586 | 2147483647 439959 132 | 0.000 % |
637.93/638.26 c | 440368 | 18463 86170 286586 | 2147483647 440368 133 | 0.000 % |
639.62/639.90 c | 440817 | 18463 86170 286586 | 2147483647 440817 133 | 0.000 % |
641.32/641.68 c | 441310 | 18463 86170 286586 | 2147483647 441310 133 | 0.000 % |
643.02/643.36 c | 441853 | 18463 86170 286586 | 2147483647 441853 133 | 0.000 % |
646.23/646.55 c | 442449 | 18463 86170 286586 | 2147483647 442449 133 | 0.000 % |
649.32/649.64 c | 443105 | 18463 86170 286586 | 2147483647 443105 133 | 0.000 % |
651.52/651.87 c | 443826 | 18463 86170 286586 | 2147483647 443826 133 | 0.000 % |
653.02/653.36 c | 444619 | 18463 86170 286586 | 2147483647 444619 133 | 0.000 % |
654.22/654.54 c | 445491 | 18463 86170 286586 | 2147483647 445491 132 | 0.000 % |
657.12/657.43 c | 446449 | 18463 86170 286586 | 2147483647 446449 133 | 0.000 % |
660.32/660.63 c | 447502 | 18463 86170 286586 | 2147483647 447502 133 | 0.000 % |
663.31/663.64 c | 448660 | 18463 86170 286586 | 2147483647 448660 133 | 0.000 % |
666.33/666.64 c | 449933 | 18463 86170 286586 | 2147483647 449933 133 | 0.000 % |
670.62/670.99 c | 451333 | 18463 86170 286586 | 2147483647 451333 133 | 0.000 % |
675.61/675.95 c | 452873 | 18463 86170 286586 | 2147483647 452873 134 | 0.000 % |
683.02/683.32 c | 454569 | 18463 86170 286586 | 2147483647 454569 134 | 0.000 % |
689.71/690.08 c | 456433 | 18463 86170 286586 | 2147483647 456433 135 | 0.000 % |
696.51/696.88 c | 458485 | 18463 86170 286586 | 2147483647 458485 136 | 0.000 % |
705.70/706.02 c | 460738 | 18463 86170 286586 | 2147483647 460738 136 | 0.000 % |
716.00/716.33 c | 463216 | 18463 86170 286586 | 2147483647 463216 137 | 0.000 % |
724.40/724.70 c | 465941 | 18463 86170 286586 | 2147483647 465941 138 | 0.000 % |
736.10/736.49 c | 468938 | 18463 86170 286586 | 2147483647 468938 138 | 0.000 % |
754.19/754.56 c | 472234 | 18463 86170 286586 | 2147483647 472234 139 | 0.000 % |
769.49/769.86 c | 475860 | 18463 86170 286586 | 2147483647 475860 141 | 0.000 % |
788.69/789.04 c | 479848 | 18463 86170 286586 | 2147483647 479848 141 | 0.000 % |
806.08/806.45 c | 484237 | 18463 86170 286586 | 2147483647 484237 142 | 0.000 % |
806.38/806.78 c | 484339 | 18463 86170 286586 | 2147483647 484339 142 | 0.000 % |
806.78/807.15 c | 484449 | 18463 86170 286586 | 2147483647 484449 142 | 0.000 % |
807.27/807.62 c | 484570 | 18463 86170 286586 | 2147483647 484570 142 | 0.000 % |
807.97/808.38 c | 484703 | 18463 86170 286586 | 2147483647 484703 142 | 0.000 % |
808.57/808.95 c | 484850 | 18463 86170 286586 | 2147483647 484850 142 | 0.000 % |
809.18/809.59 c | 485010 | 18463 86170 286586 | 2147483647 485010 142 | 0.000 % |
809.88/810.25 c | 485187 | 18463 86170 286586 | 2147483647 485187 142 | 0.000 % |
810.29/810.64 c | 485380 | 18463 86170 286586 | 2147483647 485380 142 | 0.000 % |
810.88/811.28 c | 485592 | 18463 86170 286586 | 2147483647 485592 142 | 0.000 % |
811.58/811.97 c | 485828 | 18463 86170 286586 | 2147483647 485828 142 | 0.000 % |
812.38/812.71 c | 486084 | 18463 86170 286586 | 2147483647 486084 142 | 0.000 % |
813.98/814.39 c | 486366 | 18463 86170 286586 | 2147483647 486366 142 | 0.000 % |
815.28/815.61 c | 486675 | 18463 86170 286586 | 2147483647 486675 142 | 0.000 % |
816.17/816.56 c | 487014 | 18463 86170 286586 | 2147483647 487014 142 | 0.000 % |
817.17/817.50 c | 487388 | 18463 86170 286586 | 2147483647 487388 142 | 0.000 % |
818.17/818.50 c | 487797 | 18463 86170 286586 | 2147483647 487797 142 | 0.000 % |
818.67/819.06 c | 488250 | 18463 86170 286586 | 2147483647 488250 142 | 0.000 % |
819.88/820.24 c | 488743 | 18463 86170 286586 | 2147483647 488743 142 | 0.000 % |
820.98/821.33 c | 489285 | 18463 86170 286586 | 2147483647 489285 142 | 0.000 % |
822.58/822.91 c | 489885 | 18463 86170 286586 | 2147483647 489885 142 | 0.000 % |
824.68/825.01 c | 490542 | 18463 86170 286586 | 2147483647 490542 142 | 0.000 % |
826.28/826.62 c | 491262 | 18463 86170 286586 | 2147483647 491262 142 | 0.000 % |
828.77/829.19 c | 492057 | 18463 86170 286586 | 2147483647 492057 142 | 0.000 % |
832.77/833.19 c | 492928 | 18463 86170 286586 | 2147483647 492928 142 | 0.000 % |
837.27/837.65 c | 493887 | 18463 86170 286586 | 2147483647 493887 143 | 0.000 % |
841.97/842.39 c | 494940 | 18463 86170 286586 | 2147483647 494940 143 | 0.000 % |
846.07/846.46 c | 496105 | 18463 86170 286586 | 2147483647 496105 143 | 0.000 % |
851.77/852.14 c | 497379 | 18463 86170 286586 | 2147483647 497379 144 | 0.000 % |
858.46/858.88 c | 498779 | 18463 86170 286586 | 2147483647 498779 144 | 0.000 % |
865.07/865.41 c | 500319 | 18463 86170 286586 | 2147483647 500319 144 | 0.000 % |
873.16/873.55 c | 502013 | 18463 86170 286586 | 2147483647 502013 145 | 0.000 % |
882.56/883.00 c | 503876 | 18463 86170 286586 | 2147483647 503876 145 | 0.000 % |
894.46/894.86 c | 505927 | 18463 86170 286586 | 2147483647 505927 146 | 0.000 % |
904.55/904.90 c | 508180 | 18463 86170 286586 | 2147483647 508180 146 | 0.000 % |
915.75/916.15 c | 510659 | 18463 86170 286586 | 2147483647 510659 147 | 0.000 % |
928.95/929.36 c | 513384 | 18463 86170 286586 | 2147483647 513384 148 | 0.000 % |
943.64/944.03 c | 516381 | 18463 86170 286586 | 2147483647 516381 149 | 0.000 % |
959.24/959.63 c | 519677 | 18463 86170 286586 | 2147483647 519677 150 | 0.000 % |
977.14/977.50 c | 523302 | 18463 86170 286586 | 2147483647 523302 152 | 0.000 % |
1001.93/1002.35 c | 527289 | 18463 86170 286586 | 2147483647 527289 153 | 0.000 % |
1031.72/1032.13 c | 531678 | 18463 86170 286586 | 2147483647 531678 154 | 0.000 % |
1060.11/1060.54 c | 536502 | 18463 86170 286586 | 2147483647 536502 156 | 0.000 % |
1060.61/1061.02 c | 536603 | 18463 86170 286586 | 2147483647 536603 156 | 0.000 % |
1061.02/1061.41 c | 536714 | 18463 86170 286586 | 2147483647 536714 156 | 0.000 % |
1061.41/1061.85 c | 536835 | 18463 86170 286586 | 2147483647 536835 156 | 0.000 % |
1062.12/1062.51 c | 536972 | 18463 86170 286586 | 2147483647 536972 156 | 0.000 % |
1062.71/1063.10 c | 537122 | 18463 86170 286586 | 2147483647 537122 156 | 0.000 % |
1063.01/1063.44 c | 537282 | 18463 86170 286586 | 2147483647 537282 156 | 0.000 % |
1063.31/1063.75 c | 537459 | 18463 86170 286586 | 2147483647 537459 156 | 0.000 % |
1065.01/1065.42 c | 537652 | 18463 86170 286586 | 2147483647 537652 156 | 0.000 % |
1065.91/1066.35 c | 537866 | 18463 86170 286586 | 2147483647 537866 156 | 0.000 % |
1067.42/1067.81 c | 538101 | 18463 86170 286586 | 2147483647 538101 156 | 0.000 % |
1068.52/1068.97 c | 538360 | 18463 86170 286586 | 2147483647 538360 156 | 0.000 % |
1070.02/1070.48 c | 538643 | 18463 86170 286586 | 2147483647 538643 156 | 0.000 % |
1072.22/1072.64 c | 538956 | 18463 86170 286586 | 2147483647 538956 156 | 0.000 % |
1075.01/1075.45 c | 539298 | 18463 86170 286586 | 2147483647 539298 156 | 0.000 % |
1076.42/1076.86 c | 539670 | 18463 86170 286586 | 2147483647 539670 156 | 0.000 % |
1077.91/1078.34 c | 540080 | 18463 86170 286586 | 2147483647 540080 156 | 0.000 % |
1080.01/1080.41 c | 540529 | 18463 86170 286586 | 2147483647 540529 156 | 0.000 % |
1081.81/1082.28 c | 541022 | 18463 86170 286586 | 2147483647 541022 156 | 0.000 % |
1085.11/1085.54 c | 541564 | 18463 86170 286586 | 2147483647 541564 156 | 0.000 % |
1087.51/1087.96 c | 542160 | 18463 86170 286586 | 2147483647 542160 156 | 0.000 % |
1089.71/1090.19 c | 542816 | 18463 86170 286586 | 2147483647 542816 156 | 0.000 % |
1091.81/1092.21 c | 543540 | 18463 86170 286586 | 2147483647 543540 157 | 0.000 % |
1094.40/1094.89 c | 544336 | 18463 86170 286586 | 2147483647 544336 157 | 0.000 % |
1097.81/1098.26 c | 545207 | 18463 86170 286586 | 2147483647 545207 157 | 0.000 % |
1100.41/1100.85 c | 546165 | 18463 86170 286586 | 2147483647 546165 157 | 0.000 % |
1103.11/1103.53 c | 547218 | 18463 86170 286586 | 2147483647 547218 157 | 0.000 % |
1106.00/1106.40 c | 548378 | 18463 86170 286586 | 2147483647 548378 157 | 0.000 % |
1110.19/1110.63 c | 549654 | 18463 86170 286586 | 2147483647 549654 157 | 0.000 % |
1114.70/1115.17 c | 551055 | 18463 86170 286586 | 2147483647 551055 157 | 0.000 % |
1123.89/1124.38 c | 552596 | 18463 86170 286586 | 2147483647 552596 157 | 0.000 % |
1134.29/1134.79 c | 554290 | 18463 86170 286586 | 2147483647 554290 158 | 0.000 % |
1147.99/1148.46 c | 556153 | 18463 86170 286586 | 2147483647 556153 158 | 0.000 % |
1164.28/1164.79 c | 558204 | 18463 86170 286586 | 2147483647 558204 159 | 0.000 % |
1177.98/1178.48 c | 560457 | 18463 86170 286586 | 2147483647 560457 160 | 0.000 % |
1197.78/1198.24 c | 562935 | 18463 86170 286586 | 2147483647 562935 160 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1833639-1242824062/watcher-1833639-1242824062 -o /tmp/evaluation-result-1833639-1242824062/solver-1833639-1242824062 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833639-1242824062.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.07 1.02 1.03 2/64 13798
/proc/meminfo: memFree=1975256/2055920 swapFree=4179780/4192956
[pid=13798] ppid=13796 vsize=5356 CPUtime=0
/proc/13798/stat : 13798 (SatELiteGTI) S 13796 13798 13693 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310434126 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13798/statm: 1339 237 197 169 0 50 0
[startup+0.09628 s]
/proc/loadavg: 1.07 1.02 1.03 2/64 13798
/proc/meminfo: memFree=1975256/2055920 swapFree=4179780/4192956
[pid=13798] ppid=13796 vsize=5356 CPUtime=0
/proc/13798/stat : 13798 (SatELiteGTI) S 13796 13798 13693 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310434126 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13798/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.10228 s]
/proc/loadavg: 1.07 1.02 1.03 2/64 13798
/proc/meminfo: memFree=1975256/2055920 swapFree=4179780/4192956
[pid=13798] ppid=13796 vsize=5356 CPUtime=0
/proc/13798/stat : 13798 (SatELiteGTI) S 13796 13798 13693 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310434126 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13798/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.302301 s]
/proc/loadavg: 1.07 1.02 1.03 2/64 13798
/proc/meminfo: memFree=1975256/2055920 swapFree=4179780/4192956
[pid=13798] ppid=13796 vsize=5356 CPUtime=0
/proc/13798/stat : 13798 (SatELiteGTI) S 13796 13798 13693 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310434126 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13798/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.702341 s]
/proc/loadavg: 1.07 1.02 1.03 2/64 13798
/proc/meminfo: memFree=1975256/2055920 swapFree=4179780/4192956
[pid=13798] ppid=13796 vsize=5356 CPUtime=0
/proc/13798/stat : 13798 (SatELiteGTI) S 13796 13798 13693 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310434126 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13798/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50142 s]
/proc/loadavg: 1.07 1.02 1.03 2/66 13803
/proc/meminfo: memFree=1947784/2055920 swapFree=4179780/4192956
[pid=13798] ppid=13796 vsize=5356 CPUtime=0
/proc/13798/stat : 13798 (SatELiteGTI) S 13796 13798 13693 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310434126 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13798/statm: 1339 237 197 169 0 50 0
[pid=13802] ppid=13798 vsize=26128 CPUtime=1.46
/proc/13802/stat : 13802 (SatELite_releas) R 13798 13798 13693 0 -1 4194304 6451 0 0 0 142 4 0 0 25 0 1 0 310434126 26755072 5790 1992294400 134512640 135223648 4294956128 18446744073709551615 134586816 0 0 4096 3 0 0 0 17 1 0 0
/proc/13802/statm: 6532 5790 76 173 0 6357 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 31484
[startup+3.10159 s]
/proc/loadavg: 1.07 1.02 1.03 2/66 13804
/proc/meminfo: memFree=1961032/2055920 swapFree=4179780/4192956
[pid=13798] ppid=13796 vsize=5356 CPUtime=1.64
/proc/13798/stat : 13798 (SatELiteGTI) S 13796 13798 13693 0 -1 4194304 336 7051 0 0 0 0 159 5 16 0 1 0 310434126 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13798/statm: 1339 239 197 169 0 50 0
[pid=13804] ppid=13798 vsize=8372 CPUtime=1.41
/proc/13804/stat : 13804 (minisat_static) R 13798 13798 13693 0 -1 4194304 1935 0 0 0 140 1 0 0 25 0 1 0 310434293 8572928 1921 1992294400 134512640 135215339 4294956240 18446744073709551615 134743406 0 0 4096 3 0 0 0 17 1 0 0
/proc/13804/statm: 2093 1921 77 171 0 1920 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 13728
[startup+6.30191 s]
/proc/loadavg: 1.07 1.02 1.03 2/66 13804
/proc/meminfo: memFree=1958792/2055920 swapFree=4179780/4192956
[pid=13798] ppid=13796 vsize=5356 CPUtime=1.64
/proc/13798/stat : 13798 (SatELiteGTI) S 13796 13798 13693 0 -1 4194304 336 7051 0 0 0 0 159 5 16 0 1 0 310434126 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13798/statm: 1339 239 197 169 0 50 0
[pid=13804] ppid=13798 vsize=10616 CPUtime=4.61
/proc/13804/stat : 13804 (minisat_static) R 13798 13798 13693 0 -1 4194304 2487 0 0 0 459 2 0 0 25 0 1 0 310434293 10870784 2473 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/13804/statm: 2654 2473 77 171 0 2481 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 15972
[startup+12.7016 s]
/proc/loadavg: 1.06 1.02 1.03 2/66 13804
/proc/meminfo: memFree=1953928/2055920 swapFree=4179780/4192956
[pid=13798] ppid=13796 vsize=5356 CPUtime=1.64
/proc/13798/stat : 13798 (SatELiteGTI) S 13796 13798 13693 0 -1 4194304 336 7051 0 0 0 0 159 5 16 0 1 0 310434126 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13798/statm: 1339 239 197 169 0 50 0
[pid=13804] ppid=13798 vsize=15056 CPUtime=11.01
/proc/13804/stat : 13804 (minisat_static) R 13798 13798 13693 0 -1 4194304 3595 0 0 0 1098 3 0 0 25 0 1 0 310434293 15417344 3581 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/13804/statm: 3764 3581 77 171 0 3591 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 20412
[startup+25.5029 s]
/proc/loadavg: 1.05 1.01 1.03 2/66 13804
/proc/meminfo: memFree=1944904/2055920 swapFree=4179780/4192956
[pid=13798] ppid=13796 vsize=5356 CPUtime=1.64
/proc/13798/stat : 13798 (SatELiteGTI) S 13796 13798 13693 0 -1 4194304 336 7051 0 0 0 0 159 5 16 0 1 0 310434126 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13798/statm: 1339 239 197 169 0 50 0
[pid=13804] ppid=13798 vsize=23900 CPUtime=23.8
/proc/13804/stat : 13804 (minisat_static) R 13798 13798 13693 0 -1 4194304 5797 0 0 0 2375 5 0 0 25 0 1 0 310434293 24473600 5783 1992294400 134512640 135215339 4294956240 18446744073709551615 134532672 0 0 4096 3 0 0 0 17 1 0 0
/proc/13804/statm: 5975 5783 77 171 0 5802 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 29256
[startup+51.1025 s]
/proc/loadavg: 1.03 1.01 1.03 2/66 13804
/proc/meminfo: memFree=1929928/2055920 swapFree=4179780/4192956
[pid=13798] ppid=13796 vsize=5356 CPUtime=1.64
/proc/13798/stat : 13798 (SatELiteGTI) S 13796 13798 13693 0 -1 4194304 336 7051 0 0 0 0 159 5 16 0 1 0 310434126 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13798/statm: 1339 239 197 169 0 50 0
[pid=13804] ppid=13798 vsize=39028 CPUtime=49.38
/proc/13804/stat : 13804 (minisat_static) R 13798 13798 13693 0 -1 4194304 9582 0 0 0 4930 8 0 0 25 0 1 0 310434293 39964672 9568 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/13804/statm: 9757 9568 77 171 0 9584 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 44384
[startup+102.306 s]
/proc/loadavg: 1.01 1.01 1.02 2/66 13804
/proc/meminfo: memFree=1904840/2055920 swapFree=4179780/4192956
[pid=13798] ppid=13796 vsize=5356 CPUtime=1.64
/proc/13798/stat : 13798 (SatELiteGTI) S 13796 13798 13693 0 -1 4194304 336 7051 0 0 0 0 159 5 16 0 1 0 310434126 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13798/statm: 1339 239 197 169 0 50 0
[pid=13804] ppid=13798 vsize=64156 CPUtime=100.57
/proc/13804/stat : 13804 (minisat_static) R 13798 13798 13693 0 -1 4194304 15755 0 0 0 10042 15 0 0 25 0 1 0 310434293 65695744 15741 1992294400 134512640 135215339 4294956240 18446744073709551615 134525115 0 0 4096 3 0 0 0 17 1 0 0
/proc/13804/statm: 16039 15741 77 171 0 15866 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 69512
[startup+162.303 s]
/proc/loadavg: 1.00 1.00 1.02 2/66 13804
/proc/meminfo: memFree=1878152/2055920 swapFree=4179780/4192956
[pid=13798] ppid=13796 vsize=5356 CPUtime=1.64
/proc/13798/stat : 13798 (SatELiteGTI) S 13796 13798 13693 0 -1 4194304 336 7051 0 0 0 0 159 5 16 0 1 0 310434126 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13798/statm: 1339 239 197 169 0 50 0
[pid=13804] ppid=13798 vsize=90912 CPUtime=160.53
/proc/13804/stat : 13804 (minisat_static) R 13798 13798 13693 0 -1 4194304 22457 0 0 0 16031 22 0 0 25 0 1 0 310434293 93093888 22443 1992294400 134512640 135215339 4294956240 18446744073709551615 134544549 0 0 4096 3 0 0 0 17 1 0 0
/proc/13804/statm: 22728 22443 77 171 0 22555 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 96268
[startup+222.303 s]
/proc/loadavg: 1.00 1.00 1.01 2/66 13804
/proc/meminfo: memFree=1853768/2055920 swapFree=4179780/4192956
[pid=13798] ppid=13796 vsize=5356 CPUtime=1.64
/proc/13798/stat : 13798 (SatELiteGTI) S 13796 13798 13693 0 -1 4194304 336 7051 0 0 0 0 159 5 16 0 1 0 310434126 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13798/statm: 1339 239 197 169 0 50 0
[pid=13804] ppid=13798 vsize=115220 CPUtime=220.51
/proc/13804/stat : 13804 (minisat_static) R 13798 13798 13693 0 -1 4194304 28446 0 0 0 22022 29 0 0 25 0 1 0 310434293 117985280 28432 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13804/statm: 28805 28432 77 171 0 28632 0
Current children cumulated CPU time (s) 222.15
Current children cumulated vsize (KiB) 120576
[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.01 2/66 13804
/proc/meminfo: memFree=1830344/2055920 swapFree=4179780/4192956
[pid=13798] ppid=13796 vsize=5356 CPUtime=1.64
/proc/13798/stat : 13798 (SatELiteGTI) S 13796 13798 13693 0 -1 4194304 336 7051 0 0 0 0 159 5 16 0 1 0 310434126 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13798/statm: 1339 239 197 169 0 50 0
[pid=13804] ppid=13798 vsize=138852 CPUtime=280.49
/proc/13804/stat : 13804 (minisat_static) R 13798 13798 13693 0 -1 4194304 34328 0 0 0 28014 35 0 0 25 0 1 0 310434293 142184448 34314 1992294400 134512640 135215339 4294956240 18446744073709551615 134528717 0 0 4096 3 0 0 0 17 1 0 0
/proc/13804/statm: 34713 34314 77 171 0 34540 0
Current children cumulated CPU time (s) 282.13
Current children cumulated vsize (KiB) 144208
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13804
/proc/meminfo: memFree=1809928/2055920 swapFree=4179780/4192956
[pid=13798] ppid=13796 vsize=5356 CPUtime=1.64
/proc/13798/stat : 13798 (SatELiteGTI) S 13796 13798 13693 0 -1 4194304 336 7051 0 0 0 0 159 5 16 0 1 0 310434126 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13798/statm: 1339 239 197 169 0 50 0
[pid=13804] ppid=13798 vsize=159456 CPUtime=340.48
/proc/13804/stat : 13804 (minisat_static) R 13798 13798 13693 0 -1 4194304 39349 0 0 0 34008 40 0 0 25 0 1 0 310434293 163282944 39335 1992294400 134512640 135215339 4294956240 18446744073709551615 134532976 0 0 4096 3 0 0 0 17 1 0 0
/proc/13804/statm: 39864 39335 77 171 0 39691 0
Current children cumulated CPU time (s) 342.12
Current children cumulated vsize (KiB) 164812
[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13810
/proc/meminfo: memFree=1790024/2055920 swapFree=4179780/4192956
[pid=13798] ppid=13796 vsize=5356 CPUtime=1.64
/proc/13798/stat : 13798 (SatELiteGTI) S 13796 13798 13693 0 -1 4194304 336 7051 0 0 0 0 159 5 16 0 1 0 310434126 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13798/statm: 1339 239 197 169 0 50 0
[pid=13804] ppid=13798 vsize=179308 CPUtime=400.46
/proc/13804/stat : 13804 (minisat_static) R 13798 13798 13693 0 -1 4194304 44324 0 0 0 40000 46 0 0 25 0 1 0 310434293 183611392 44310 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 1 0 0
/proc/13804/statm: 44827 44310 77 171 0 44654 0
Current children cumulated CPU time (s) 402.1
Current children cumulated vsize (KiB) 184664
[startup+462.302 s]
################
# More data... #
################
/proc/13804/statm: 60496 59940 77 171 0 60323 0
Current children cumulated CPU time (s) 582.04
Current children cumulated vsize (KiB) 247340
[startup+642.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13810
/proc/meminfo: memFree=1706120/2055920 swapFree=4179780/4192956
[pid=13798] ppid=13796 vsize=5356 CPUtime=1.64
/proc/13798/stat : 13798 (SatELiteGTI) S 13796 13798 13693 0 -1 4194304 336 7051 0 0 0 0 159 5 16 0 1 0 310434126 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13798/statm: 1339 239 197 169 0 50 0
[pid=13804] ppid=13798 vsize=262636 CPUtime=640.38
/proc/13804/stat : 13804 (minisat_static) R 13798 13798 13693 0 -1 4194304 65111 0 0 0 63969 69 0 0 25 0 1 0 310434293 268939264 65097 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/13804/statm: 65659 65097 77 171 0 65486 0
Current children cumulated CPU time (s) 642.02
Current children cumulated vsize (KiB) 267992
[startup+702.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13810
/proc/meminfo: memFree=1688840/2055920 swapFree=4179780/4192956
[pid=13798] ppid=13796 vsize=5356 CPUtime=1.64
/proc/13798/stat : 13798 (SatELiteGTI) S 13796 13798 13693 0 -1 4194304 336 7051 0 0 0 0 159 5 16 0 1 0 310434126 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13798/statm: 1339 239 197 169 0 50 0
[pid=13804] ppid=13798 vsize=280144 CPUtime=700.37
/proc/13804/stat : 13804 (minisat_static) R 13798 13798 13693 0 -1 4194304 69459 0 0 0 69962 75 0 0 25 0 1 0 310434293 286867456 69423 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/13804/statm: 70036 69423 77 171 0 69863 0
Current children cumulated CPU time (s) 702.01
Current children cumulated vsize (KiB) 285500
[startup+762.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13810
/proc/meminfo: memFree=1673096/2055920 swapFree=4179780/4192956
[pid=13798] ppid=13796 vsize=5356 CPUtime=1.64
/proc/13798/stat : 13798 (SatELiteGTI) S 13796 13798 13693 0 -1 4194304 336 7051 0 0 0 0 159 5 16 0 1 0 310434126 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13798/statm: 1339 239 197 169 0 50 0
[pid=13804] ppid=13798 vsize=296500 CPUtime=760.35
/proc/13804/stat : 13804 (minisat_static) R 13798 13798 13693 0 -1 4194304 73338 0 0 0 75955 80 0 0 25 0 1 0 310434293 303616000 73302 1992294400 134512640 135215339 4294956240 18446744073709551615 134532706 0 0 4096 3 0 0 0 17 1 0 0
/proc/13804/statm: 74125 73302 77 171 0 73952 0
Current children cumulated CPU time (s) 761.99
Current children cumulated vsize (KiB) 301856
[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13810
/proc/meminfo: memFree=1659464/2055920 swapFree=4179780/4192956
[pid=13798] ppid=13796 vsize=5356 CPUtime=1.64
/proc/13798/stat : 13798 (SatELiteGTI) S 13796 13798 13693 0 -1 4194304 336 7051 0 0 0 0 159 5 16 0 1 0 310434126 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13798/statm: 1339 239 197 169 0 50 0
[pid=13804] ppid=13798 vsize=310264 CPUtime=820.34
/proc/13804/stat : 13804 (minisat_static) R 13798 13798 13693 0 -1 4194304 76757 0 0 0 81950 84 0 0 25 0 1 0 310434293 317710336 76721 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13804/statm: 77566 76721 77 171 0 77393 0
Current children cumulated CPU time (s) 821.98
Current children cumulated vsize (KiB) 315620
[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13810
/proc/meminfo: memFree=1644680/2055920 swapFree=4179780/4192956
[pid=13798] ppid=13796 vsize=5356 CPUtime=1.64
/proc/13798/stat : 13798 (SatELiteGTI) S 13796 13798 13693 0 -1 4194304 336 7051 0 0 0 0 159 5 16 0 1 0 310434126 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13798/statm: 1339 239 197 169 0 50 0
[pid=13804] ppid=13798 vsize=324844 CPUtime=880.32
/proc/13804/stat : 13804 (minisat_static) R 13798 13798 13693 0 -1 4194304 80403 0 0 0 87944 88 0 0 25 0 1 0 310434293 332640256 80367 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/13804/statm: 81211 80367 77 171 0 81038 0
Current children cumulated CPU time (s) 881.96
Current children cumulated vsize (KiB) 330200
[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13810
/proc/meminfo: memFree=1629768/2055920 swapFree=4179780/4192956
[pid=13798] ppid=13796 vsize=5356 CPUtime=1.64
/proc/13798/stat : 13798 (SatELiteGTI) S 13796 13798 13693 0 -1 4194304 336 7051 0 0 0 0 159 5 16 0 1 0 310434126 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13798/statm: 1339 239 197 169 0 50 0
[pid=13804] ppid=13798 vsize=339796 CPUtime=940.3
/proc/13804/stat : 13804 (minisat_static) R 13798 13798 13693 0 -1 4194304 84151 0 0 0 93940 90 0 0 25 0 1 0 310434293 347951104 84115 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13804/statm: 84949 84115 77 171 0 84776 0
Current children cumulated CPU time (s) 941.94
Current children cumulated vsize (KiB) 345152
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13810
/proc/meminfo: memFree=1613960/2055920 swapFree=4179780/4192956
[pid=13798] ppid=13796 vsize=5356 CPUtime=1.64
/proc/13798/stat : 13798 (SatELiteGTI) S 13796 13798 13693 0 -1 4194304 336 7051 0 0 0 0 159 5 16 0 1 0 310434126 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13798/statm: 1339 239 197 169 0 50 0
[pid=13804] ppid=13798 vsize=355248 CPUtime=1000.29
/proc/13804/stat : 13804 (minisat_static) R 13798 13798 13693 0 -1 4194304 88047 0 0 0 99934 95 0 0 25 0 1 0 310434293 363773952 88011 1992294400 134512640 135215339 4294956240 18446744073709551615 134528804 0 0 4096 3 0 0 0 17 1 0 0
/proc/13804/statm: 88812 88011 77 171 0 88639 0
Current children cumulated CPU time (s) 1001.93
Current children cumulated vsize (KiB) 360604
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13810
/proc/meminfo: memFree=1603016/2055920 swapFree=4179780/4192956
[pid=13798] ppid=13796 vsize=5356 CPUtime=1.64
/proc/13798/stat : 13798 (SatELiteGTI) S 13796 13798 13693 0 -1 4194304 336 7051 0 0 0 0 159 5 16 0 1 0 310434126 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13798/statm: 1339 239 197 169 0 50 0
[pid=13804] ppid=13798 vsize=366460 CPUtime=1060.27
/proc/13804/stat : 13804 (minisat_static) R 13798 13798 13693 0 -1 4194304 90838 0 0 0 105929 98 0 0 25 0 1 0 310434293 375255040 90802 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/13804/statm: 91615 90802 77 171 0 91442 0
Current children cumulated CPU time (s) 1061.91
Current children cumulated vsize (KiB) 371816
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13810
/proc/meminfo: memFree=1588104/2055920 swapFree=4179780/4192956
[pid=13798] ppid=13796 vsize=5356 CPUtime=1.64
/proc/13798/stat : 13798 (SatELiteGTI) S 13796 13798 13693 0 -1 4194304 336 7051 0 0 0 0 159 5 16 0 1 0 310434126 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13798/statm: 1339 239 197 169 0 50 0
[pid=13804] ppid=13798 vsize=381304 CPUtime=1120.25
/proc/13804/stat : 13804 (minisat_static) R 13798 13798 13693 0 -1 4194304 94478 0 0 0 111923 102 0 0 25 0 1 0 310434293 390455296 94442 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/13804/statm: 95326 94442 77 171 0 95153 0
Current children cumulated CPU time (s) 1121.89
Current children cumulated vsize (KiB) 386660
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13810
/proc/meminfo: memFree=1577288/2055920 swapFree=4179780/4192956
[pid=13798] ppid=13796 vsize=5356 CPUtime=1.64
/proc/13798/stat : 13798 (SatELiteGTI) S 13796 13798 13693 0 -1 4194304 336 7051 0 0 0 0 159 5 16 0 1 0 310434126 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13798/statm: 1339 239 197 169 0 50 0
[pid=13804] ppid=13798 vsize=392044 CPUtime=1180.24
/proc/13804/stat : 13804 (minisat_static) R 13798 13798 13693 0 -1 4194304 97172 0 0 0 117918 106 0 0 25 0 1 0 310434293 401453056 97136 1992294400 134512640 135215339 4294956240 18446744073709551615 134538547 0 0 4096 3 0 0 0 17 1 0 0
/proc/13804/statm: 98011 97136 77 171 0 97838 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 397400
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13810
/proc/meminfo: memFree=1574344/2055920 swapFree=4179780/4192956
[pid=13798] ppid=13796 vsize=5356 CPUtime=1.64
/proc/13798/stat : 13798 (SatELiteGTI) S 13796 13798 13693 0 -1 4194304 336 7051 0 0 0 0 159 5 16 0 1 0 310434126 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13798/statm: 1339 239 197 169 0 50 0
[pid=13804] ppid=13798 vsize=394824 CPUtime=1198.44
/proc/13804/stat : 13804 (minisat_static) R 13798 13798 13693 0 -1 4194304 97851 0 0 0 119737 107 0 0 25 0 1 0 310434293 404299776 97815 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/13804/statm: 98706 97815 77 171 0 98533 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 400180
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13810
/proc/meminfo: memFree=1574344/2055920 swapFree=4179780/4192956
[pid=13798] ppid=13796 vsize=5356 CPUtime=1.64
/proc/13798/stat : 13798 (SatELiteGTI) S 13796 13798 13693 0 -1 4194304 336 7051 0 0 0 0 159 5 16 0 1 0 310434126 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13798/statm: 1339 239 197 169 0 50 0
[pid=13804] ppid=13798 vsize=394824 CPUtime=1198.44
/proc/13804/stat : 13804 (minisat_static) R 13798 13798 13693 0 -1 4194304 97851 0 0 0 119737 107 0 0 25 0 1 0 310434293 404299776 97815 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/13804/statm: 98706 97815 77 171 0 98533 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 400180
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 13798 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=599756
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=60990
# CPU time returned by wait4() is 1.66075
# while last known CPU time is 1200.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.51
CPU time (s): 1200.08
CPU user time (s): 1198.96
CPU system time (s): 1.12
CPU usage (%): 99.964
Max. virtual memory (cumulated for all children) (KiB): 400180
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.59976
system time used= 0.06099
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7387
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= 14
involuntary context switches= 9
runsolver used 1.43278 second user time and 2.96755 second system time
The end
Begin job on node45 at 2009-05-20 14:54:22
IDJOB=1833639
IDBENCH=70817
IDSOLVER=671
FILE ID=node45/1833639-1242824062
PBS_JOBID= 9322515
Free space on /tmp= 66220 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/bitverif/maxxor/maxxor064.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1833639-1242824062/watcher-1833639-1242824062 -o /tmp/evaluation-result-1833639-1242824062/solver-1833639-1242824062 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833639-1242824062.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 902b28046d424b16042ca612ddad48e0
RANDOM SEED=1378724523
node45.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.231
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.231
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1975800 kB
Buffers: 15180 kB
Cached: 29712 kB
SwapCached: 7332 kB
Active: 26464 kB
Inactive: 27280 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1975800 kB
SwapTotal: 4192956 kB
SwapFree: 4179780 kB
Dirty: 4036 kB
Writeback: 0 kB
Mapped: 13908 kB
Slab: 12536 kB
Committed_AS: 1016920 kB
PageTables: 1380 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66212 MiB
End job on node45 at 2009-05-20 15:14:25