0.00/0.02 c Parsing...
0.00/0.03 c ==============================================================================
0.00/0.03 c | | ORIGINAL | LEARNT | |
0.00/0.03 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.03 c ==============================================================================
0.00/0.03 c | 0 | 14506 43816 | 4351 0 0 nan | 0.000 % |
0.00/0.18 c | 0 | 14208 47484 | -- 0 -- -- | -- | -298/3668
0.00/0.18 c ==============================================================================
0.00/0.18 c Result : #vars: 894 #clauses: 14208 #literals: 47484
0.00/0.18 c CPU time: 0.163975 s
0.00/0.18 c ==============================================================================
0.00/0.21 c This is MiniSat 2.0 beta
0.00/0.21 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.21 c ============================[ Problem Statistics ]=============================
0.00/0.21 c | |
0.00/0.21 c | Number of variables: 894 |
0.00/0.21 c | Number of clauses: 14208 |
0.00/0.22 c | Parsing time: 0.01 s |
0.00/0.22 c ============================[ Search Statistics ]==============================
0.00/0.22 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.00/0.22 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.00/0.22 c ===============================================================================
0.00/0.22 c | 0 | 894 14208 47484 | 4736 0 nan | 0.000 % |
0.00/0.23 c | 100 | 894 14208 47484 | 4736 100 27 | 0.000 % |
0.00/0.24 c | 200 | 894 14208 47484 | 4736 200 35 | 0.000 % |
0.00/0.25 c | 301 | 894 14208 47484 | 4736 301 34 | 0.000 % |
0.00/0.27 c | 411 | 894 14208 47484 | 4736 411 34 | 0.000 % |
0.00/0.28 c | 511 | 894 14208 47484 | 4736 511 34 | 0.000 % |
0.00/0.28 c | 622 | 894 14208 47484 | 4736 622 31 | 0.000 % |
0.17/0.31 c | 747 | 894 14208 47484 | 4736 747 34 | 0.000 % |
0.17/0.32 c | 848 | 894 14208 47484 | 4736 848 33 | 0.000 % |
0.17/0.34 c | 958 | 894 14208 47484 | 4736 958 33 | 0.000 % |
0.17/0.36 c | 1079 | 894 14208 47484 | 4736 1079 33 | 0.000 % |
0.17/0.38 c | 1212 | 894 14208 47484 | 4736 1212 34 | 0.000 % |
0.17/0.39 c | 1312 | 894 14208 47484 | 4736 1312 33 | 0.000 % |
0.17/0.41 c | 1422 | 894 14208 47484 | 4736 1422 34 | 0.000 % |
0.17/0.43 c | 1543 | 894 14208 47484 | 4736 1543 34 | 0.000 % |
0.17/0.44 c | 1676 | 894 14208 47484 | 4736 1676 34 | 0.000 % |
0.17/0.47 c | 1822 | 894 14208 47484 | 4736 1822 34 | 0.000 % |
0.17/0.48 c | 1923 | 894 14208 47484 | 4736 1923 34 | 0.000 % |
0.17/0.49 c | 2033 | 894 14208 47484 | 4736 2033 33 | 0.000 % |
0.17/0.51 c | 2155 | 894 14208 47484 | 4736 2155 34 | 0.000 % |
0.17/0.53 c | 2288 | 894 14208 47484 | 4736 2288 34 | 0.000 % |
0.17/0.56 c | 2434 | 894 14208 47484 | 4736 2434 34 | 0.000 % |
0.17/0.59 c | 2594 | 894 14208 47484 | 4736 2594 34 | 0.000 % |
0.17/0.60 c | 2694 | 894 14208 47484 | 4736 2694 34 | 0.000 % |
0.17/0.61 c | 2805 | 894 14208 47484 | 4736 2805 34 | 0.000 % |
0.17/0.64 c | 2926 | 894 14208 47484 | 4736 2926 34 | 0.000 % |
0.17/0.65 c | 3059 | 894 14208 47484 | 4736 3059 34 | 0.000 % |
0.17/0.67 c | 3205 | 894 14208 47484 | 4736 3205 34 | 0.000 % |
0.17/0.70 c | 3368 | 894 14208 47484 | 4736 3368 34 | 0.000 % |
0.17/0.73 c | 3544 | 894 14208 47484 | 4736 3544 34 | 0.000 % |
0.17/0.74 c | 3645 | 894 14208 47484 | 4736 3645 34 | 0.000 % |
0.17/0.76 c | 3757 | 894 14208 47484 | 4736 3757 35 | 0.000 % |
0.17/0.78 c | 3879 | 894 14208 47484 | 4736 3879 35 | 0.000 % |
0.17/0.81 c | 4012 | 894 14208 47484 | 4736 4012 35 | 0.000 % |
0.17/0.83 c | 4159 | 894 14208 47484 | 4736 4159 35 | 0.000 % |
0.17/0.86 c | 4319 | 894 14208 47484 | 4736 4319 35 | 0.000 % |
0.17/0.88 c | 4497 | 894 14208 47484 | 4736 4497 35 | 0.000 % |
0.17/0.91 c | 4690 | 894 14208 47484 | 4736 4690 35 | 0.000 % |
0.17/0.93 c | 4790 | 894 14208 47484 | 4736 4790 35 | 0.000 % |
0.17/0.95 c | 4901 | 894 14208 47484 | 4736 4422 35 | 0.000 % |
0.17/0.97 c | 5023 | 894 14208 47484 | 4736 4544 35 | 0.000 % |
0.17/1.00 c | 5156 | 894 14208 47484 | 4736 4677 35 | 0.000 % |
0.95/1.02 c | 5304 | 894 14208 47484 | 4736 4825 35 | 0.000 % |
0.95/1.04 c | 5464 | 894 14208 47484 | 4736 4503 34 | 0.000 % |
0.95/1.07 c | 5643 | 894 14208 47484 | 4736 4682 34 | 0.000 % |
1.05/1.11 c | 5836 | 894 14208 47484 | 4736 4393 33 | 0.000 % |
1.05/1.15 c | 6048 | 894 14208 47484 | 4736 4605 33 | 0.000 % |
1.05/1.16 c | 6148 | 894 14208 47484 | 4736 4705 33 | 0.000 % |
1.05/1.18 c | 6258 | 894 14208 47484 | 4736 4815 33 | 0.000 % |
1.15/1.20 c | 6379 | 894 14208 47484 | 4736 4455 32 | 0.000 % |
1.15/1.22 c | 6513 | 894 14208 47484 | 4736 4589 32 | 0.000 % |
1.15/1.25 c | 6660 | 894 14208 47484 | 4736 4736 32 | 0.000 % |
1.15/1.28 c | 6821 | 894 14208 47484 | 4736 4424 32 | 0.000 % |
1.25/1.30 c | 6997 | 894 14208 47484 | 4736 4600 32 | 0.000 % |
1.25/1.32 c | 7191 | 894 14208 47484 | 4736 4794 31 | 0.000 % |
1.25/1.37 c | 7404 | 894 14208 47484 | 4736 4528 31 | 0.000 % |
1.35/1.42 c | 7637 | 894 14208 47484 | 4736 4761 32 | 0.000 % |
1.35/1.43 c | 7738 | 894 14208 47484 | 4736 4386 30 | 0.000 % |
1.35/1.45 c | 7849 | 894 14208 47484 | 4736 4497 31 | 0.000 % |
1.35/1.49 c | 7970 | 894 14208 47484 | 4736 4618 31 | 0.000 % |
1.45/1.51 c | 8103 | 894 14208 47484 | 4736 4751 31 | 0.000 % |
1.45/1.53 c | 8252 | 894 14208 47484 | 4736 4425 31 | 0.000 % |
1.45/1.56 c | 8412 | 894 14208 47484 | 4736 4585 31 | 0.000 % |
1.45/1.58 c | 8590 | 894 14208 47484 | 4736 4763 31 | 0.000 % |
1.55/1.62 c | 8783 | 894 14208 47484 | 4736 4480 31 | 0.000 % |
1.55/1.67 c | 8995 | 894 14208 47484 | 4736 4692 31 | 0.000 % |
1.65/1.70 c | 9228 | 894 14208 47484 | 4736 4440 30 | 0.000 % |
1.65/1.76 c | 9485 | 894 14208 47484 | 4736 4697 31 | 0.000 % |
1.65/1.78 c | 9586 | 894 14208 47484 | 4736 4798 31 | 0.000 % |
1.75/1.80 c | 9698 | 894 14208 47484 | 4736 4431 30 | 0.000 % |
1.75/1.83 c | 9819 | 894 14208 47484 | 4736 4552 30 | 0.000 % |
1.75/1.85 c | 9952 | 894 14208 47484 | 4736 4685 30 | 0.000 % |
1.75/1.86 c | 10099 | 894 14208 47484 | 2147483647 4832 30 | 0.000 % |
1.75/1.89 c | 10260 | 894 14208 47484 | 2147483647 4993 31 | 0.000 % |
1.85/1.91 c | 10437 | 894 14208 47484 | 2147483647 5170 30 | 0.000 % |
1.85/1.95 c | 10630 | 894 14208 47484 | 2147483647 5363 31 | 0.000 % |
1.95/2.00 c | 10843 | 894 14208 47484 | 2147483647 5576 31 | 0.000 % |
1.95/2.05 c | 11076 | 894 14208 47484 | 2147483647 5809 31 | 0.000 % |
2.05/2.11 c | 11332 | 894 14208 47484 | 2147483647 6065 32 | 0.000 % |
2.05/2.17 c | 11614 | 894 14208 47484 | 2147483647 6347 32 | 0.000 % |
2.05/2.19 c | 11714 | 894 14208 47484 | 2147483647 6447 32 | 0.000 % |
2.15/2.22 c | 11824 | 894 14208 47484 | 2147483647 6557 32 | 0.000 % |
2.15/2.25 c | 11945 | 894 14208 47484 | 2147483647 6678 32 | 0.000 % |
2.15/2.28 c | 12079 | 894 14208 47484 | 2147483647 6812 32 | 0.000 % |
2.24/2.32 c | 12225 | 894 14208 47484 | 2147483647 6958 32 | 0.000 % |
2.24/2.36 c | 12385 | 894 14208 47484 | 2147483647 7118 32 | 0.000 % |
2.24/2.38 c | 12561 | 894 14208 47484 | 2147483647 7294 32 | 0.000 % |
2.34/2.42 c | 12754 | 894 14208 47484 | 2147483647 7487 32 | 0.000 % |
2.34/2.46 c | 12967 | 894 14208 47484 | 2147483647 7700 33 | 0.000 % |
2.44/2.50 c | 13201 | 894 14208 47484 | 2147483647 7934 33 | 0.000 % |
2.44/2.54 c | 13460 | 894 14208 47484 | 2147483647 8193 33 | 0.000 % |
2.54/2.60 c | 13742 | 894 14208 47484 | 2147483647 8475 33 | 0.000 % |
2.54/2.65 c | 14051 | 894 14208 47484 | 2147483647 8784 33 | 0.000 % |
2.54/2.68 c | 14151 | 894 14208 47484 | 2147483647 8884 33 | 0.000 % |
2.54/2.69 c | 14262 | 894 14208 47484 | 2147483647 8995 33 | 0.000 % |
2.64/2.72 c | 14385 | 894 14208 47484 | 2147483647 9118 33 | 0.000 % |
2.64/2.75 c | 14518 | 894 14208 47484 | 2147483647 9251 33 | 0.000 % |
2.64/2.78 c | 14664 | 894 14208 47484 | 2147483647 9397 33 | 0.000 % |
2.74/2.81 c | 14824 | 894 14208 47484 | 2147483647 9557 33 | 0.000 % |
2.74/2.83 c | 15000 | 894 14208 47484 | 2147483647 9733 33 | 0.000 % |
2.74/2.89 c | 15193 | 894 14208 47484 | 2147483647 9926 34 | 0.000 % |
2.84/2.95 c | 15406 | 894 14208 47484 | 2147483647 10139 34 | 0.000 % |
2.84/3.00 c | 15643 | 894 14208 47484 | 2147483647 10376 34 | 0.000 % |
2.94/3.07 c | 15899 | 894 14208 47484 | 2147483647 10632 34 | 0.000 % |
3.04/3.14 c | 16180 | 894 14208 47484 | 2147483647 10913 34 | 0.000 % |
3.14/3.21 c | 16490 | 894 14208 47484 | 2147483647 11223 34 | 0.000 % |
3.24/3.30 c | 16830 | 894 14208 47484 | 2147483647 11563 34 | 0.000 % |
3.24/3.33 c | 16932 | 894 14208 47484 | 2147483647 11665 34 | 0.000 % |
3.24/3.34 c | 17043 | 894 14208 47484 | 2147483647 11776 34 | 0.000 % |
3.24/3.37 c | 17168 | 894 14208 47484 | 2147483647 11901 34 | 0.000 % |
3.34/3.40 c | 17302 | 894 14208 47484 | 2147483647 12035 34 | 0.000 % |
3.34/3.45 c | 17448 | 894 14208 47484 | 2147483647 12181 34 | 0.000 % |
3.34/3.48 c | 17608 | 894 14208 47484 | 2147483647 12341 34 | 0.000 % |
3.44/3.54 c | 17785 | 894 14208 47484 | 2147483647 12518 34 | 0.000 % |
3.44/3.59 c | 17980 | 894 14208 47484 | 2147483647 12713 34 | 0.000 % |
3.54/3.64 c | 18192 | 894 14208 47484 | 2147483647 12925 34 | 0.000 % |
3.64/3.70 c | 18426 | 894 14208 47484 | 2147483647 13159 34 | 0.000 % |
3.64/3.76 c | 18682 | 894 14208 47484 | 2147483647 13415 34 | 0.000 % |
3.74/3.85 c | 18963 | 894 14208 47484 | 2147483647 13696 34 | 0.000 % |
3.84/3.95 c | 19274 | 894 14208 47484 | 2147483647 14007 35 | 0.000 % |
3.94/4.06 c | 19613 | 894 14208 47484 | 2147483647 14346 35 | 0.000 % |
4.04/4.19 c | 19985 | 894 14208 47484 | 2147483647 14718 35 | 0.000 % |
4.14/4.22 c | 20088 | 894 14208 47484 | 2147483647 14821 35 | 0.000 % |
4.14/4.25 c | 20199 | 894 14208 47484 | 2147483647 14932 35 | 0.000 % |
4.14/4.29 c | 20322 | 894 14208 47484 | 2147483647 15055 35 | 0.000 % |
4.24/4.33 c | 20455 | 894 14208 47484 | 2147483647 15188 35 | 0.000 % |
4.24/4.38 c | 20602 | 894 14208 47484 | 2147483647 15335 35 | 0.000 % |
4.34/4.42 c | 20763 | 894 14208 47484 | 2147483647 15496 35 | 0.000 % |
4.34/4.47 c | 20939 | 894 14208 47484 | 2147483647 15672 35 | 0.000 % |
4.44/4.52 c | 21132 | 894 14208 47484 | 2147483647 15865 35 | 0.000 % |
4.44/4.60 c | 21345 | 894 14208 47484 | 2147483647 16078 35 | 0.000 % |
4.54/4.69 c | 21579 | 894 14208 47484 | 2147483647 16312 35 | 0.000 % |
4.64/4.76 c | 21836 | 894 14208 47484 | 2147483647 16569 35 | 0.000 % |
4.74/4.87 c | 22118 | 894 14208 47484 | 2147483647 16851 35 | 0.000 % |
4.84/4.95 c | 22429 | 894 14208 47484 | 2147483647 17162 34 | 0.000 % |
4.94/5.06 c | 22768 | 894 14208 47484 | 2147483647 17501 35 | 0.000 % |
5.04/5.19 c | 23140 | 894 14208 47484 | 2147483647 17873 35 | 0.000 % |
5.24/5.33 c | 23549 | 894 14208 47484 | 2147483647 18282 35 | 0.000 % |
5.24/5.37 c | 23649 | 894 14208 47484 | 2147483647 18382 35 | 0.000 % |
5.35/5.43 c | 23759 | 894 14208 47484 | 2147483647 18492 35 | 0.000 % |
5.35/5.47 c | 23880 | 894 14208 47484 | 2147483647 18613 35 | 0.000 % |
5.45/5.52 c | 24013 | 894 14208 47484 | 2147483647 18746 35 | 0.000 % |
5.45/5.57 c | 24159 | 894 14208 47484 | 2147483647 18892 35 | 0.000 % |
5.54/5.62 c | 24320 | 894 14208 47484 | 2147483647 19053 35 | 0.000 % |
5.54/5.67 c | 24497 | 894 14208 47484 | 2147483647 19230 35 | 0.000 % |
5.64/5.76 c | 24691 | 894 14208 47484 | 2147483647 19424 35 | 0.000 % |
5.74/5.85 c | 24905 | 894 14208 47484 | 2147483647 19638 35 | 0.000 % |
5.84/5.93 c | 25139 | 894 14208 47484 | 2147483647 19872 35 | 0.000 % |
5.94/6.02 c | 25396 | 894 14208 47484 | 2147483647 20129 35 | 0.000 % |
6.04/6.15 c | 25678 | 894 14208 47484 | 2147483647 20411 35 | 0.000 % |
6.14/6.26 c | 25987 | 894 14208 47484 | 2147483647 20720 35 | 0.000 % |
6.34/6.41 c | 26326 | 894 14208 47484 | 2147483647 21059 36 | 0.000 % |
6.45/6.52 c | 26700 | 894 14208 47484 | 2147483647 21433 36 | 0.000 % |
6.55/6.68 c | 27111 | 894 14208 47484 | 2147483647 21844 36 | 0.000 % |
6.74/6.82 c | 27560 | 894 14208 47484 | 2147483647 22293 35 | 0.000 % |
6.74/6.87 c | 27661 | 894 14208 47484 | 2147483647 22394 35 | 0.000 % |
6.84/6.92 c | 27771 | 894 14208 47484 | 2147483647 22504 36 | 0.000 % |
6.84/6.97 c | 27892 | 894 14208 47484 | 2147483647 22625 36 | 0.000 % |
6.94/7.00 c | 28025 | 894 14208 47484 | 2147483647 22758 36 | 0.000 % |
6.94/7.06 c | 28172 | 894 14208 47484 | 2147483647 22905 36 | 0.000 % |
7.04/7.11 c | 28333 | 894 14208 47484 | 2147483647 23066 36 | 0.000 % |
7.04/7.18 c | 28510 | 894 14208 47484 | 2147483647 23243 36 | 0.000 % |
7.14/7.25 c | 28703 | 894 14208 47484 | 2147483647 23436 36 | 0.000 % |
7.24/7.33 c | 28915 | 894 14208 47484 | 2147483647 23648 36 | 0.000 % |
7.34/7.42 c | 29151 | 894 14208 47484 | 2147483647 23884 36 | 0.000 % |
7.44/7.52 c | 29409 | 894 14208 47484 | 2147483647 24142 36 | 0.000 % |
7.44/7.57 c | 29691 | 894 14208 47484 | 2147483647 24424 36 | 0.000 % |
7.64/7.71 c | 30002 | 894 14208 47484 | 2147483647 24735 36 | 0.000 % |
7.74/7.84 c | 30341 | 894 14208 47484 | 2147483647 25074 36 | 0.000 % |
7.94/8.02 c | 30714 | 894 14208 47484 | 2147483647 25447 36 | 0.000 % |
8.04/8.14 c | 31123 | 894 14208 47484 | 2147483647 25856 36 | 0.000 % |
8.24/8.36 c | 31574 | 894 14208 47484 | 2147483647 26307 36 | 0.000 % |
8.44/8.55 c | 32068 | 894 14208 47484 | 2147483647 26801 36 | 0.000 % |
8.44/8.59 c | 32168 | 894 14208 47484 | 2147483647 26901 36 | 0.000 % |
8.54/8.64 c | 32278 | 894 14208 47484 | 2147483647 27011 36 | 0.000 % |
8.64/8.72 c | 32399 | 894 14208 47484 | 2147483647 27132 36 | 0.000 % |
8.64/8.78 c | 32532 | 894 14208 47484 | 2147483647 27265 36 | 0.000 % |
8.83/8.90 c | 32678 | 894 14208 47484 | 2147483647 27411 36 | 0.000 % |
8.83/8.98 c | 32838 | 894 14208 47484 | 2147483647 27571 36 | 0.000 % |
8.93/9.06 c | 33015 | 894 14208 47484 | 2147483647 27748 36 | 0.000 % |
9.03/9.18 c | 33208 | 894 14208 47484 | 2147483647 27941 36 | 0.000 % |
9.23/9.30 c | 33421 | 894 14208 47484 | 2147483647 28154 36 | 0.000 % |
9.33/9.43 c | 33654 | 894 14208 47484 | 2147483647 28387 36 | 0.000 % |
9.43/9.57 c | 33911 | 894 14208 47484 | 2147483647 28644 36 | 0.000 % |
9.63/9.76 c | 34192 | 894 14208 47484 | 2147483647 28925 36 | 0.000 % |
9.84/9.97 c | 34502 | 894 14208 47484 | 2147483647 29235 36 | 0.000 % |
10.03/10.19 c | 34841 | 894 14208 47484 | 2147483647 29574 36 | 0.000 % |
10.23/10.36 c | 35213 | 894 14208 47484 | 2147483647 29946 36 | 0.000 % |
10.43/10.56 c | 35624 | 894 14208 47484 | 2147483647 30357 36 | 0.000 % |
10.73/10.80 c | 36073 | 894 14208 47484 | 2147483647 30806 36 | 0.000 % |
10.84/11.00 c | 36566 | 894 14208 47484 | 2147483647 31299 36 | 0.000 % |
11.13/11.22 c | 37108 | 894 14208 47484 | 2147483647 31841 36 | 0.000 % |
11.23/11.30 c | 37208 | 894 14208 47484 | 2147483647 31941 36 | 0.000 % |
11.23/11.35 c | 37319 | 894 14208 47484 | 2147483647 32052 36 | 0.000 % |
11.33/11.42 c | 37441 | 894 14208 47484 | 2147483647 32174 36 | 0.000 % |
11.33/11.49 c | 37574 | 894 14208 47484 | 2147483647 32307 36 | 0.000 % |
11.43/11.58 c | 37720 | 894 14208 47484 | 2147483647 32453 36 | 0.000 % |
11.53/11.68 c | 37880 | 894 14208 47484 | 2147483647 32613 36 | 0.000 % |
11.73/11.82 c | 38058 | 894 14208 47484 | 2147483647 32791 36 | 0.000 % |
11.83/11.93 c | 38251 | 894 14208 47484 | 2147483647 32984 36 | 0.000 % |
11.94/12.01 c | 38465 | 894 14208 47484 | 2147483647 33198 36 | 0.000 % |
12.04/12.16 c | 38698 | 894 14208 47484 | 2147483647 33431 36 | 0.000 % |
12.23/12.33 c | 38956 | 894 14208 47484 | 2147483647 33689 36 | 0.000 % |
12.33/12.47 c | 39238 | 894 14208 47484 | 2147483647 33971 36 | 0.000 % |
12.53/12.64 c | 39547 | 894 14208 47484 | 2147483647 34280 36 | 0.000 % |
12.73/12.86 c | 39886 | 894 14208 47484 | 2147483647 34619 36 | 0.000 % |
12.93/13.06 c | 40258 | 894 14208 47484 | 2147483647 34991 36 | 0.000 % |
13.14/13.29 c | 40669 | 894 14208 47484 | 2147483647 35402 36 | 0.000 % |
13.33/13.46 c | 41119 | 894 14208 47484 | 2147483647 35852 36 | 0.000 % |
13.74/13.82 c | 41613 | 894 14208 47484 | 2147483647 36346 36 | 0.000 % |
14.04/14.16 c | 42155 | 894 14208 47484 | 2147483647 36888 37 | 0.000 % |
14.44/14.58 c | 42751 | 894 14208 47484 | 2147483647 37484 37 | 0.000 % |
14.54/14.64 c | 42852 | 894 14208 47484 | 2147483647 37585 37 | 0.000 % |
14.64/14.70 c | 42964 | 894 14208 47484 | 2147483647 37697 37 | 0.000 % |
14.74/14.81 c | 43086 | 894 14208 47484 | 2147483647 37819 37 | 0.000 % |
14.84/14.92 c | 43219 | 894 14208 47484 | 2147483647 37952 37 | 0.000 % |
14.94/15.04 c | 43365 | 894 14208 47484 | 2147483647 38098 37 | 0.000 % |
15.04/15.12 c | 43526 | 894 14208 47484 | 2147483647 38259 37 | 0.000 % |
15.14/15.23 c | 43703 | 894 14208 47484 | 2147483647 38436 37 | 0.000 % |
15.24/15.34 c | 43897 | 894 14208 47484 | 2147483647 38630 37 | 0.000 % |
15.34/15.45 c | 44110 | 894 14208 47484 | 2147483647 38843 37 | 0.000 % |
15.44/15.53 c | 44345 | 894 14208 47484 | 2147483647 39078 37 | 0.000 % |
15.64/15.70 c | 44601 | 894 14208 47484 | 2147483647 39334 37 | 0.000 % |
15.84/15.92 c | 44883 | 894 14208 47484 | 2147483647 39616 37 | 0.000 % |
16.04/16.11 c | 45194 | 894 14208 47484 | 2147483647 39927 37 | 0.000 % |
16.14/16.30 c | 45533 | 894 14208 47484 | 2147483647 40266 37 | 0.000 % |
16.54/16.61 c | 45905 | 894 14208 47484 | 2147483647 40638 37 | 0.000 % |
16.74/16.87 c | 46314 | 894 14208 47484 | 2147483647 41047 37 | 0.000 % |
17.04/17.15 c | 46763 | 894 14208 47484 | 2147483647 41496 37 | 0.000 % |
17.34/17.46 c | 47258 | 894 14208 47484 | 2147483647 41991 37 | 0.000 % |
17.64/17.79 c | 47800 | 894 14208 47484 | 2147483647 42533 37 | 0.000 % |
18.14/18.26 c | 48396 | 894 14208 47484 | 2147483647 43129 37 | 0.000 % |
18.64/18.70 c | 49052 | 894 14208 47484 | 2147483647 43785 37 | 0.000 % |
18.74/18.80 c | 49153 | 894 14208 47484 | 2147483647 43886 37 | 0.000 % |
18.74/18.88 c | 49263 | 894 14208 47484 | 2147483647 43996 37 | 0.000 % |
18.83/18.95 c | 49385 | 894 14208 47484 | 2147483647 44118 37 | 0.000 % |
18.93/19.08 c | 49521 | 894 14208 47484 | 2147483647 44254 37 | 0.000 % |
19.03/19.17 c | 49669 | 894 14208 47484 | 2147483647 44402 37 | 0.000 % |
19.13/19.29 c | 49829 | 894 14208 47484 | 2147483647 44562 37 | 0.000 % |
19.33/19.42 c | 50006 | 894 14208 47484 | 2147483647 44739 37 | 0.000 % |
19.43/19.59 c | 50199 | 894 14208 47484 | 2147483647 44932 37 | 0.000 % |
19.64/19.74 c | 50411 | 894 14208 47484 | 2147483647 45144 37 | 0.000 % |
19.83/19.91 c | 50644 | 894 14208 47484 | 2147483647 45377 37 | 0.000 % |
19.93/20.08 c | 50900 | 894 14208 47484 | 2147483647 45633 37 | 0.000 % |
20.13/20.27 c | 51182 | 894 14208 47484 | 2147483647 45915 37 | 0.000 % |
20.33/20.45 c | 51491 | 894 14208 47484 | 2147483647 46224 37 | 0.000 % |
20.53/20.68 c | 51830 | 894 14208 47484 | 2147483647 46563 37 | 0.000 % |
20.83/20.96 c | 52202 | 894 14208 47484 | 2147483647 46935 37 | 0.000 % |
21.03/21.19 c | 52611 | 894 14208 47484 | 2147483647 47344 37 | 0.000 % |
21.43/21.52 c | 53060 | 894 14208 47484 | 2147483647 47793 37 | 0.000 % |
21.73/21.83 c | 53555 | 894 14208 47484 | 2147483647 48288 37 | 0.000 % |
22.13/22.25 c | 54098 | 894 14208 47484 | 2147483647 48831 37 | 0.000 % |
22.63/22.74 c | 54694 | 894 14208 47484 | 2147483647 49427 37 | 0.000 % |
23.23/23.33 c | 55351 | 894 14208 47484 | 2147483647 50084 37 | 0.000 % |
23.83/23.98 c | 56072 | 894 14208 47484 | 2147483647 50805 37 | 0.000 % |
23.93/24.08 c | 56173 | 894 14208 47484 | 2147483647 50906 37 | 0.000 % |
24.04/24.16 c | 56284 | 894 14208 47484 | 2147483647 51017 37 | 0.000 % |
24.14/24.25 c | 56406 | 894 14208 47484 | 2147483647 51139 37 | 0.000 % |
24.24/24.35 c | 56539 | 894 14208 47484 | 2147483647 51272 37 | 0.000 % |
24.34/24.45 c | 56685 | 894 14208 47484 | 2147483647 51418 37 | 0.000 % |
24.44/24.59 c | 56846 | 894 14208 47484 | 2147483647 51579 37 | 0.000 % |
24.54/24.69 c | 57024 | 894 14208 47484 | 2147483647 51757 37 | 0.000 % |
24.74/24.84 c | 57218 | 894 14208 47484 | 2147483647 51951 37 | 0.000 % |
24.84/24.97 c | 57431 | 894 14208 47484 | 2147483647 52164 37 | 0.000 % |
25.03/25.17 c | 57664 | 894 14208 47484 | 2147483647 52397 37 | 0.000 % |
25.33/25.42 c | 57920 | 894 14208 47484 | 2147483647 52653 37 | 0.000 % |
25.54/25.70 c | 58201 | 894 14208 47484 | 2147483647 52934 37 | 0.000 % |
25.84/25.95 c | 58510 | 894 14208 47484 | 2147483647 53243 37 | 0.000 % |
26.04/26.15 c | 58849 | 894 14208 47484 | 2147483647 53582 37 | 0.000 % |
26.43/26.50 c | 59223 | 894 14208 47484 | 2147483647 53956 37 | 0.000 % |
26.73/26.84 c | 59632 | 894 14208 47484 | 2147483647 54365 37 | 0.000 % |
27.03/27.19 c | 60083 | 894 14208 47484 | 2147483647 54816 37 | 0.000 % |
27.34/27.49 c | 60576 | 894 14208 47484 | 2147483647 55309 37 | 0.000 % |
27.83/27.91 c | 61119 | 894 14208 47484 | 2147483647 55852 37 | 0.000 % |
28.23/28.38 c | 61716 | 894 14208 47484 | 2147483647 56449 38 | 0.000 % |
28.83/28.99 c | 62371 | 894 14208 47484 | 2147483647 57104 38 | 0.000 % |
29.43/29.58 c | 63091 | 894 14208 47484 | 2147483647 57824 38 | 0.000 % |
30.43/30.59 c | 63883 | 894 14208 47484 | 2147483647 58616 38 | 0.000 % |
30.63/30.73 c | 63984 | 894 14208 47484 | 2147483647 58717 38 | 0.000 % |
30.73/30.88 c | 64094 | 894 14208 47484 | 2147483647 58827 38 | 0.000 % |
30.93/31.04 c | 64215 | 894 14208 47484 | 2147483647 58948 38 | 0.000 % |
31.13/31.20 c | 64348 | 894 14208 47484 | 2147483647 59081 38 | 0.000 % |
31.23/31.36 c | 64495 | 894 14208 47484 | 2147483647 59228 38 | 0.000 % |
31.42/31.54 c | 64655 | 894 14208 47484 | 2147483647 59388 38 | 0.000 % |
31.62/31.72 c | 64832 | 894 14208 47484 | 2147483647 59565 38 | 0.000 % |
31.83/31.90 c | 65025 | 894 14208 47484 | 2147483647 59758 38 | 0.000 % |
31.92/32.09 c | 65237 | 894 14208 47484 | 2147483647 59970 38 | 0.000 % |
32.22/32.34 c | 65471 | 894 14208 47484 | 2147483647 60204 38 | 0.000 % |
32.42/32.57 c | 65727 | 894 14208 47484 | 2147483647 60460 38 | 0.000 % |
32.72/32.86 c | 66010 | 894 14208 47484 | 2147483647 60743 38 | 0.000 % |
33.12/33.24 c | 66320 | 894 14208 47484 | 2147483647 61053 38 | 0.000 % |
33.42/33.50 c | 66659 | 894 14208 47484 | 2147483647 61392 38 | 0.000 % |
33.62/33.78 c | 67031 | 894 14208 47484 | 2147483647 61764 38 | 0.000 % |
34.04/34.18 c | 67440 | 894 14208 47484 | 2147483647 62173 38 | 0.000 % |
34.43/34.58 c | 67889 | 894 14208 47484 | 2147483647 62622 38 | 0.000 % |
34.83/34.96 c | 68383 | 894 14208 47484 | 2147483647 63116 38 | 0.000 % |
35.33/35.48 c | 68925 | 894 14208 47484 | 2147483647 63658 38 | 0.000 % |
35.93/36.02 c | 69522 | 894 14208 47484 | 2147483647 64255 38 | 0.000 % |
36.53/36.66 c | 70178 | 894 14208 47484 | 2147483647 64911 38 | 0.000 % |
37.23/37.35 c | 70900 | 894 14208 47484 | 2147483647 65633 38 | 0.000 % |
37.93/38.01 c | 71693 | 894 14208 47484 | 2147483647 66426 38 | 0.000 % |
38.73/38.84 c | 72565 | 894 14208 47484 | 2147483647 67298 38 | 0.000 % |
38.83/38.93 c | 72666 | 894 14208 47484 | 2147483647 67399 38 | 0.000 % |
38.93/39.03 c | 72776 | 894 14208 47484 | 2147483647 67509 38 | 0.000 % |
39.03/39.15 c | 72897 | 894 14208 47484 | 2147483647 67630 38 | 0.000 % |
39.13/39.27 c | 73030 | 894 14208 47484 | 2147483647 67763 38 | 0.000 % |
39.33/39.41 c | 73177 | 894 14208 47484 | 2147483647 67910 38 | 0.000 % |
39.53/39.60 c | 73337 | 894 14208 47484 | 2147483647 68070 38 | 0.000 % |
39.73/39.83 c | 73513 | 894 14208 47484 | 2147483647 68246 38 | 0.000 % |
39.83/39.99 c | 73706 | 894 14208 47484 | 2147483647 68439 38 | 0.000 % |
40.13/40.24 c | 73918 | 894 14208 47484 | 2147483647 68651 38 | 0.000 % |
40.53/40.62 c | 74153 | 894 14208 47484 | 2147483647 68886 38 | 0.000 % |
40.83/40.92 c | 74409 | 894 14208 47484 | 2147483647 69142 38 | 0.000 % |
41.13/41.28 c | 74691 | 894 14208 47484 | 2147483647 69424 38 | 0.000 % |
41.52/41.60 c | 75000 | 894 14208 47484 | 2147483647 69733 38 | 0.000 % |
41.92/42.08 c | 75340 | 894 14208 47484 | 2147483647 70073 38 | 0.000 % |
42.32/42.48 c | 75713 | 894 14208 47484 | 2147483647 70446 38 | 0.000 % |
42.83/42.90 c | 76123 | 894 14208 47484 | 2147483647 70856 38 | 0.000 % |
43.32/43.47 c | 76573 | 894 14208 47484 | 2147483647 71306 38 | 0.000 % |
43.93/44.03 c | 77066 | 894 14208 47484 | 2147483647 71799 38 | 0.000 % |
44.72/44.87 c | 77609 | 894 14208 47484 | 2147483647 72342 38 | 0.000 % |
45.52/45.63 c | 78205 | 894 14208 47484 | 2147483647 72938 38 | 0.000 % |
46.42/46.52 c | 78862 | 894 14208 47484 | 2147483647 73595 38 | 0.000 % |
47.42/47.58 c | 79583 | 894 14208 47484 | 2147483647 74316 38 | 0.000 % |
48.52/48.62 c | 80375 | 894 14208 47484 | 74734 63840 38 | 0.000 % |
49.52/49.62 c | 81247 | 894 14208 47484 | 74734 64712 38 | 0.000 % |
50.52/50.60 c | 82206 | 894 14208 47484 | 74734 65671 38 | 0.000 % |
50.52/50.68 c | 82307 | 894 14208 47484 | 74734 65772 38 | 0.000 % |
50.62/50.79 c | 82418 | 894 14208 47484 | 74734 65883 38 | 0.000 % |
50.72/50.88 c | 82539 | 894 14208 47484 | 74734 66004 38 | 0.000 % |
50.92/51.00 c | 82672 | 894 14208 47484 | 74734 66137 38 | 0.000 % |
51.02/51.16 c | 82818 | 894 14208 47484 | 74734 66283 38 | 0.000 % |
51.22/51.31 c | 82979 | 894 14208 47484 | 74734 66444 38 | 0.000 % |
51.32/51.47 c | 83155 | 894 14208 47484 | 74734 66620 38 | 0.000 % |
51.52/51.65 c | 83348 | 894 14208 47484 | 74734 66813 38 | 0.000 % |
51.72/51.87 c | 83560 | 894 14208 47484 | 74734 67025 38 | 0.000 % |
52.02/52.10 c | 83793 | 894 14208 47484 | 74734 67258 38 | 0.000 % |
52.32/52.40 c | 84049 | 894 14208 47484 | 74734 67514 38 | 0.000 % |
52.62/52.73 c | 84330 | 894 14208 47484 | 74734 67795 38 | 0.000 % |
52.92/53.09 c | 84641 | 894 14208 47484 | 74734 68106 38 | 0.000 % |
53.32/53.47 c | 84980 | 894 14208 47484 | 74734 68445 38 | 0.000 % |
53.72/53.81 c | 85352 | 894 14208 47484 | 74734 68817 38 | 0.000 % |
54.12/54.26 c | 85762 | 894 14208 47484 | 74734 69227 38 | 0.000 % |
54.72/54.89 c | 86211 | 894 14208 47484 | 74734 69676 38 | 0.000 % |
55.52/55.62 c | 86706 | 894 14208 47484 | 74734 70171 38 | 0.000 % |
56.22/56.38 c | 87249 | 894 14208 47484 | 74734 70714 38 | 0.000 % |
57.02/57.11 c | 87846 | 894 14208 47484 | 74734 71311 38 | 0.000 % |
57.82/57.93 c | 88501 | 894 14208 47484 | 74734 71966 38 | 0.000 % |
58.52/58.69 c | 89221 | 894 14208 47484 | 74734 72686 38 | 0.000 % |
59.51/59.61 c | 90013 | 894 14208 47484 | 73465 73478 38 | 0.000 % |
60.21/60.35 c | 90887 | 894 14208 47484 | 73465 62532 37 | 0.000 % |
61.12/61.29 c | 91846 | 894 14208 47484 | 73465 63491 37 | 0.000 % |
62.11/62.28 c | 92901 | 894 14208 47484 | 73465 64546 37 | 0.000 % |
62.21/62.37 c | 93001 | 894 14208 47484 | 73465 64646 37 | 0.000 % |
62.41/62.50 c | 93112 | 894 14208 47484 | 73465 64757 37 | 0.000 % |
62.52/62.65 c | 93235 | 894 14208 47484 | 73465 64880 37 | 0.000 % |
62.62/62.72 c | 93369 | 894 14208 47484 | 73465 65014 37 | 0.000 % |
62.71/62.87 c | 93515 | 894 14208 47484 | 73465 65160 37 | 0.000 % |
62.91/63.03 c | 93678 | 894 14208 47484 | 73465 65323 37 | 0.000 % |
63.11/63.25 c | 93855 | 894 14208 47484 | 73465 65500 37 | 0.000 % |
63.31/63.46 c | 94048 | 894 14208 47484 | 73465 65693 37 | 0.000 % |
63.51/63.69 c | 94262 | 894 14208 47484 | 73465 65907 37 | 0.000 % |
63.81/63.98 c | 94497 | 894 14208 47484 | 73465 66142 37 | 0.000 % |
64.11/64.23 c | 94754 | 894 14208 47484 | 73465 66399 37 | 0.000 % |
64.41/64.58 c | 95036 | 894 14208 47484 | 73465 66681 37 | 0.000 % |
64.82/64.99 c | 95345 | 894 14208 47484 | 73465 66990 37 | 0.000 % |
65.11/65.28 c | 95685 | 894 14208 47484 | 73465 67330 37 | 0.000 % |
65.51/65.69 c | 96057 | 894 14208 47484 | 73465 67702 37 | 0.000 % |
66.01/66.11 c | 96467 | 894 14208 47484 | 73465 68112 37 | 0.000 % |
66.51/66.64 c | 96916 | 894 14208 47484 | 73465 68561 37 | 0.000 % |
67.21/67.31 c | 97409 | 894 14208 47484 | 73465 69054 37 | 0.000 % |
67.91/68.05 c | 97951 | 894 14208 47484 | 73465 69596 37 | 0.000 % |
68.51/68.61 c | 98547 | 894 14208 47484 | 73465 70192 37 | 0.000 % |
69.01/69.19 c | 99202 | 894 14208 47484 | 73465 70847 37 | 0.000 % |
69.81/69.95 c | 99923 | 894 14208 47484 | 73465 71568 37 | 0.000 % |
70.71/70.82 c | 100715 | 894 14208 47484 | 71646 60295 36 | 0.000 % |
71.51/71.63 c | 101586 | 894 14208 47484 | 71646 61166 36 | 0.000 % |
72.51/72.61 c | 102545 | 894 14208 47484 | 71646 62125 36 | 0.000 % |
73.61/73.79 c | 103598 | 894 14208 47484 | 71646 63178 36 | 0.000 % |
75.01/75.16 c | 104757 | 894 14208 47484 | 71646 64337 36 | 0.000 % |
75.11/75.29 c | 104858 | 894 14208 47484 | 71646 64438 36 | 0.000 % |
75.21/75.39 c | 104970 | 894 14208 47484 | 71646 64550 36 | 0.000 % |
75.41/75.50 c | 105091 | 894 14208 47484 | 71646 64671 36 | 0.000 % |
75.51/75.67 c | 105225 | 894 14208 47484 | 71646 64805 36 | 0.000 % |
75.71/75.86 c | 105373 | 894 14208 47484 | 71646 64953 36 | 0.000 % |
75.81/75.97 c | 105533 | 894 14208 47484 | 71646 65113 36 | 0.000 % |
76.01/76.19 c | 105709 | 894 14208 47484 | 71646 65289 36 | 0.000 % |
76.31/76.40 c | 105902 | 894 14208 47484 | 71646 65482 36 | 0.000 % |
76.51/76.68 c | 106116 | 894 14208 47484 | 71646 65696 36 | 0.000 % |
76.81/76.90 c | 106350 | 894 14208 47484 | 71646 65930 36 | 0.000 % |
77.01/77.11 c | 106606 | 894 14208 47484 | 71646 66186 36 | 0.000 % |
77.31/77.49 c | 106887 | 894 14208 47484 | 71646 66467 36 | 0.000 % |
77.71/77.80 c | 107197 | 894 14208 47484 | 71646 66777 36 | 0.000 % |
78.01/78.13 c | 107536 | 894 14208 47484 | 71646 67116 36 | 0.000 % |
78.41/78.55 c | 107909 | 894 14208 47484 | 71646 67489 36 | 0.000 % |
78.91/79.04 c | 108318 | 894 14208 47484 | 71646 67898 36 | 0.000 % |
79.40/79.50 c | 108767 | 894 14208 47484 | 71646 68347 36 | 0.000 % |
79.80/79.93 c | 109260 | 894 14208 47484 | 71646 68840 36 | 0.000 % |
80.40/80.55 c | 109803 | 894 14208 47484 | 71646 69383 36 | 0.000 % |
81.10/81.23 c | 110400 | 894 14208 47484 | 69582 59705 35 | 0.000 % |
81.71/81.86 c | 111055 | 894 14208 47484 | 69582 60360 35 | 0.000 % |
82.50/82.63 c | 111776 | 894 14208 47484 | 69582 61081 35 | 0.000 % |
83.42/83.54 c | 112568 | 894 14208 47484 | 69582 61873 36 | 0.000 % |
84.62/84.75 c | 113439 | 894 14208 47484 | 69582 62744 36 | 0.000 % |
85.72/85.81 c | 114398 | 894 14208 47484 | 69582 63703 36 | 0.000 % |
86.91/87.04 c | 115453 | 894 14208 47484 | 69582 64758 36 | 0.000 % |
88.21/88.35 c | 116613 | 894 14208 47484 | 69582 65918 36 | 0.000 % |
89.51/89.68 c | 117887 | 894 14208 47484 | 69582 67192 36 | 0.000 % |
89.61/89.77 c | 117987 | 894 14208 47484 | 69582 67292 36 | 0.000 % |
89.71/89.86 c | 118097 | 894 14208 47484 | 69582 67402 36 | 0.000 % |
89.91/90.01 c | 118219 | 894 14208 47484 | 69582 67524 36 | 0.000 % |
90.01/90.11 c | 118353 | 894 14208 47484 | 69582 67658 36 | 0.000 % |
90.11/90.28 c | 118500 | 894 14208 47484 | 69582 67805 36 | 0.000 % |
90.31/90.45 c | 118660 | 894 14208 47484 | 69582 67965 36 | 0.000 % |
90.51/90.70 c | 118836 | 894 14208 47484 | 69582 68141 36 | 0.000 % |
90.81/90.96 c | 119030 | 894 14208 47484 | 69582 68335 36 | 0.001 % |
91.01/91.17 c | 119243 | 894 14208 47484 | 69582 68548 36 | 0.000 % |
91.21/91.37 c | 119477 | 894 14208 47484 | 69582 68782 36 | 0.000 % |
91.51/91.60 c | 119735 | 894 14208 47484 | 69582 69040 36 | 0.000 % |
91.71/91.82 c | 120017 | 894 14208 47484 | 69306 69322 36 | 0.000 % |
92.01/92.15 c | 120326 | 894 14208 47484 | 69306 60077 34 | 0.000 % |
92.31/92.48 c | 120665 | 894 14208 47484 | 69306 60416 34 | 0.000 % |
92.71/92.80 c | 121039 | 894 14208 47484 | 69306 60790 34 | 0.000 % |
93.11/93.27 c | 121448 | 894 14208 47484 | 69306 61199 34 | 0.000 % |
93.71/93.82 c | 121898 | 894 14208 47484 | 69306 61649 34 | 0.000 % |
94.21/94.34 c | 122391 | 894 14208 47484 | 69306 62142 34 | 0.000 % |
94.81/94.97 c | 122934 | 894 14208 47484 | 69306 62685 35 | 0.000 % |
95.51/95.66 c | 123530 | 894 14208 47484 | 69306 63281 35 | 0.000 % |
96.01/96.14 c | 124185 | 894 14208 47484 | 69306 63936 35 | 0.000 % |
96.91/97.01 c | 124907 | 894 14208 47484 | 69306 64658 35 | 0.000 % |
97.71/97.82 c | 125700 | 894 14208 47484 | 69306 65451 35 | 0.000 % |
98.61/98.73 c | 126572 | 894 14208 47484 | 69306 66323 35 | 0.000 % |
99.70/99.81 c | 127530 | 894 14208 47484 | 69306 67281 35 | 0.000 % |
101.20/101.30 c | 128584 | 894 14208 47484 | 69306 68335 35 | 0.000 % |
103.21/103.33 c | 129744 | 894 14208 47484 | 69306 59690 34 | 0.001 % |
104.41/104.52 c | 131017 | 894 14208 47484 | 59947 52814 33 | 0.001 % |
105.80/105.94 c | 132417 | 894 14208 47484 | 59947 54214 34 | 0.001 % |
105.90/106.03 c | 132520 | 894 14208 47484 | 59947 54317 34 | 0.000 % |
106.00/106.18 c | 132631 | 894 14208 47484 | 59947 54428 34 | 0.000 % |
106.20/106.36 c | 132752 | 894 14208 47484 | 59947 54549 34 | 0.000 % |
106.40/106.50 c | 132886 | 894 14208 47484 | 59947 54683 34 | 0.000 % |
106.50/106.69 c | 133034 | 894 14208 47484 | 59947 54831 34 | 0.000 % |
106.70/106.87 c | 133194 | 894 14208 47484 | 59947 54991 34 | 0.000 % |
106.90/107.05 c | 133370 | 894 14208 47484 | 59947 55167 34 | 0.000 % |
107.10/107.25 c | 133565 | 894 14208 47484 | 59947 55362 34 | 0.000 % |
107.30/107.43 c | 133779 | 894 14208 47484 | 59947 55576 34 | 0.000 % |
107.40/107.60 c | 134012 | 894 14208 47484 | 59947 55809 34 | 0.000 % |
107.70/107.83 c | 134268 | 894 14208 47484 | 59947 56065 34 | 0.000 % |
107.90/108.04 c | 134549 | 894 14208 47484 | 59947 56346 34 | 0.000 % |
108.10/108.28 c | 134858 | 894 14208 47484 | 59947 56655 34 | 0.000 % |
108.40/108.58 c | 135197 | 894 14208 47484 | 59947 56994 34 | 0.000 % |
108.70/108.85 c | 135570 | 894 14208 47484 | 59947 57367 34 | 0.000 % |
109.10/109.22 c | 135979 | 894 14208 47484 | 59947 57776 34 | 0.000 % |
109.60/109.75 c | 136431 | 894 14208 47484 | 59947 58228 34 | 0.000 % |
110.20/110.34 c | 136924 | 894 14208 47484 | 59947 58721 34 | 0.000 % |
110.80/110.97 c | 137467 | 894 14208 47484 | 59947 59264 34 | 0.000 % |
111.50/111.60 c | 138064 | 894 14208 47484 | 59947 59861 34 | 0.000 % |
112.10/112.28 c | 138719 | 894 14208 47484 | 59947 54195 34 | 0.001 % |
112.90/113.01 c | 139440 | 894 14208 47484 | 59947 54916 34 | 0.000 % |
113.80/113.99 c | 140233 | 894 14208 47484 | 55476 50094 33 | 0.000 % |
114.60/114.79 c | 141105 | 894 14208 47484 | 55476 50966 33 | 0.000 % |
115.70/115.84 c | 142064 | 894 14208 47484 | 55476 51925 33 | 0.000 % |
116.80/116.93 c | 143119 | 894 14208 47484 | 55476 52980 33 | 0.000 % |
118.30/118.41 c | 144279 | 894 14208 47484 | 55476 54140 33 | 0.001 % |
119.70/119.88 c | 145553 | 894 14208 47484 | 55476 55414 33 | 0.000 % |
121.69/121.85 c | 146954 | 894 14208 47484 | 55476 50317 33 | 0.000 % |
123.00/123.12 c | 148495 | 894 14208 47484 | 55476 51858 33 | 0.000 % |
123.10/123.20 c | 148595 | 894 14208 47484 | 55476 51958 33 | 0.000 % |
123.19/123.32 c | 148706 | 894 14208 47484 | 55476 52069 33 | 0.000 % |
123.29/123.45 c | 148828 | 894 14208 47484 | 55476 52191 33 | 0.000 % |
123.39/123.58 c | 148962 | 894 14208 47484 | 55476 52325 33 | 0.000 % |
123.59/123.73 c | 149109 | 894 14208 47484 | 55476 52472 33 | 0.000 % |
123.69/123.89 c | 149269 | 894 14208 47484 | 55476 52632 33 | 0.000 % |
123.89/124.04 c | 149446 | 894 14208 47484 | 55476 52809 33 | 0.000 % |
124.10/124.23 c | 149639 | 894 14208 47484 | 55476 53002 33 | 0.000 % |
124.29/124.45 c | 149853 | 894 14208 47484 | 55476 53216 33 | 0.000 % |
124.49/124.65 c | 150086 | 894 14208 47484 | 53363 53449 33 | 0.000 % |
124.89/125.06 c | 150344 | 894 14208 47484 | 53363 48150 33 | 0.000 % |
125.09/125.23 c | 150625 | 894 14208 47484 | 53363 48431 33 | 0.000 % |
125.29/125.50 c | 150934 | 894 14208 47484 | 53363 48740 33 | 0.000 % |
125.69/125.86 c | 151273 | 894 14208 47484 | 53363 49079 33 | 0.000 % |
126.09/126.27 c | 151645 | 894 14208 47484 | 53363 49451 33 | 0.000 % |
126.39/126.55 c | 152055 | 894 14208 47484 | 53363 49861 33 | 0.000 % |
126.79/126.99 c | 152505 | 894 14208 47484 | 53363 50311 33 | 0.000 % |
127.40/127.56 c | 152999 | 894 14208 47484 | 53363 50805 33 | 0.000 % |
127.89/128.09 c | 153541 | 894 14208 47484 | 53363 51347 33 | 0.000 % |
128.49/128.68 c | 154137 | 894 14208 47484 | 53363 51943 33 | 0.000 % |
129.29/129.50 c | 154792 | 894 14208 47484 | 53363 52598 33 | 0.000 % |
129.99/130.14 c | 155513 | 894 14208 47484 | 53363 53319 33 | 0.000 % |
130.79/130.94 c | 156305 | 894 14208 47484 | 53363 48757 33 | 0.000 % |
131.89/132.07 c | 157176 | 894 14208 47484 | 53363 49628 33 | 0.000 % |
132.99/133.18 c | 158134 | 894 14208 47484 | 53363 50586 33 | 0.001 % |
134.29/134.42 c | 159187 | 894 14208 47484 | 53363 51639 33 | 0.000 % |
135.49/135.62 c | 160346 | 894 14208 47484 | 2147483647 52798 33 | 0.000 % |
137.09/137.24 c | 161620 | 894 14208 47484 | 2147483647 54072 33 | 0.001 % |
138.39/138.50 c | 163020 | 894 14208 47484 | 2147483647 55472 33 | 0.000 % |
139.88/140.06 c | 164560 | 894 14208 47484 | 2147483647 57012 33 | 0.000 % |
141.58/141.71 c | 166255 | 894 14208 47484 | 2147483647 58707 33 | 0.000 % |
141.69/141.81 c | 166355 | 894 14208 47484 | 2147483647 58807 33 | 0.000 % |
141.79/141.93 c | 166465 | 894 14208 47484 | 2147483647 58917 33 | 0.001 % |
141.88/142.04 c | 166586 | 894 14208 47484 | 2147483647 59038 33 | 0.000 % |
142.08/142.20 c | 166720 | 894 14208 47484 | 2147483647 59172 33 | 0.000 % |
142.18/142.33 c | 166866 | 894 14208 47484 | 2147483647 59318 33 | 0.000 % |
142.28/142.48 c | 167026 | 894 14208 47484 | 2147483647 59478 33 | 0.000 % |
142.49/142.67 c | 167202 | 894 14208 47484 | 2147483647 59654 33 | 0.000 % |
142.69/142.87 c | 167395 | 894 14208 47484 | 2147483647 59847 33 | 0.000 % |
143.08/143.20 c | 167608 | 894 14208 47484 | 2147483647 60060 33 | 0.000 % |
143.28/143.44 c | 167843 | 894 14208 47484 | 2147483647 60295 33 | 0.000 % |
143.58/143.71 c | 168099 | 894 14208 47484 | 2147483647 60551 33 | 0.000 % |
143.89/144.02 c | 168380 | 894 14208 47484 | 2147483647 60832 33 | 0.000 % |
144.18/144.35 c | 168690 | 894 14208 47484 | 2147483647 61142 34 | 0.000 % |
144.48/144.66 c | 169031 | 894 14208 47484 | 2147483647 61483 34 | 0.000 % |
144.99/145.12 c | 169406 | 894 14208 47484 | 2147483647 61858 34 | 0.000 % |
145.38/145.60 c | 169815 | 894 14208 47484 | 2147483647 62267 34 | 0.000 % |
146.09/146.25 c | 170265 | 894 14208 47484 | 62453 54763 33 | 0.000 % |
146.68/146.80 c | 170759 | 894 14208 47484 | 62453 55257 33 | 0.000 % |
147.08/147.29 c | 171302 | 894 14208 47484 | 62453 55800 33 | 0.000 % |
147.58/147.79 c | 171899 | 894 14208 47484 | 62453 56397 33 | 0.000 % |
147.98/148.18 c | 172555 | 894 14208 47484 | 62453 57053 33 | 0.001 % |
148.68/148.89 c | 173275 | 894 14208 47484 | 62453 57773 33 | 0.000 % |
149.68/149.84 c | 174068 | 894 14208 47484 | 62453 58566 33 | 0.001 % |
150.68/150.86 c | 174941 | 894 14208 47484 | 62453 59439 33 | 0.000 % |
151.78/151.96 c | 175900 | 894 14208 47484 | 62453 60398 34 | 0.000 % |
153.08/153.23 c | 176954 | 894 14208 47484 | 62453 61452 34 | 0.000 % |
154.28/154.49 c | 178113 | 894 14208 47484 | 62453 54356 33 | 0.000 % |
155.38/155.54 c | 179387 | 894 14208 47484 | 62453 55630 33 | 0.000 % |
156.98/157.14 c | 180787 | 894 14208 47484 | 56243 49866 32 | 0.000 % |
158.18/158.35 c | 182328 | 894 14208 47484 | 56243 51407 32 | 0.000 % |
159.28/159.48 c | 184022 | 894 14208 47484 | 56243 53101 33 | 0.000 % |
161.18/161.38 c | 185886 | 894 14208 47484 | 56243 54965 33 | 0.000 % |
161.28/161.46 c | 185987 | 894 14208 47484 | 56243 55066 33 | 0.000 % |
161.38/161.55 c | 186097 | 894 14208 47484 | 56243 55176 33 | 0.000 % |
161.48/161.66 c | 186218 | 894 14208 47484 | 56243 55297 33 | 0.000 % |
161.58/161.76 c | 186352 | 894 14208 47484 | 56243 55431 33 | 0.000 % |
161.68/161.89 c | 186499 | 894 14208 47484 | 56243 55578 33 | 0.000 % |
161.88/162.04 c | 186661 | 894 14208 47484 | 56243 55740 33 | 0.000 % |
162.08/162.22 c | 186837 | 894 14208 47484 | 56243 55916 33 | 0.000 % |
162.28/162.41 c | 187031 | 894 14208 47484 | 56243 56110 33 | 0.000 % |
162.47/162.63 c | 187243 | 894 14208 47484 | 56243 56322 33 | 0.000 % |
162.78/162.92 c | 187477 | 894 14208 47484 | 56243 50286 33 | 0.000 % |
162.98/163.13 c | 187733 | 894 14208 47484 | 56243 50542 33 | 0.000 % |
163.27/163.40 c | 188014 | 894 14208 47484 | 56243 50823 33 | 0.000 % |
163.57/163.73 c | 188323 | 894 14208 47484 | 56243 51132 33 | 0.000 % |
163.78/163.97 c | 188662 | 894 14208 47484 | 56243 51471 33 | 0.000 % |
164.17/164.30 c | 189034 | 894 14208 47484 | 56243 51843 33 | 0.000 % |
164.47/164.62 c | 189443 | 894 14208 47484 | 56243 52252 33 | 0.000 % |
164.78/164.98 c | 189893 | 894 14208 47484 | 56243 52702 33 | 0.000 % |
165.17/165.37 c | 190386 | 894 14208 47484 | 52810 47745 32 | 0.000 % |
165.67/165.83 c | 190930 | 894 14208 47484 | 52810 48289 32 | 0.000 % |
166.07/166.29 c | 191526 | 894 14208 47484 | 52810 48885 32 | 0.000 % |
166.77/166.92 c | 192181 | 894 14208 47484 | 52810 49540 32 | 0.000 % |
167.27/167.45 c | 192901 | 894 14208 47484 | 52810 50260 33 | 0.000 % |
168.08/168.21 c | 193693 | 894 14208 47484 | 52810 51052 33 | 0.000 % |
168.97/169.16 c | 194564 | 894 14208 47484 | 52810 51923 33 | 0.000 % |
169.97/170.14 c | 195522 | 894 14208 47484 | 52810 52881 33 | 0.001 % |
171.07/171.25 c | 196577 | 894 14208 47484 | 52810 48648 33 | 0.000 % |
171.97/172.18 c | 197735 | 894 14208 47484 | 52810 49806 33 | 0.001 % |
173.17/173.37 c | 199008 | 894 14208 47484 | 52810 51079 33 | 0.000 % |
174.37/174.52 c | 200408 | 894 14208 47484 | 2147483647 52479 33 | 0.000 % |
175.57/175.77 c | 201949 | 894 14208 47484 | 2147483647 54020 33 | 0.000 % |
177.47/177.67 c | 203643 | 894 14208 47484 | 2147483647 55714 33 | 0.000 % |
179.77/179.94 c | 205508 | 894 14208 47484 | 2147483647 57579 33 | 0.001 % |
181.86/182.06 c | 207557 | 894 14208 47484 | 2147483647 59628 33 | 0.000 % |
181.96/182.13 c | 207659 | 894 14208 47484 | 2147483647 59730 33 | 0.001 % |
182.06/182.28 c | 207771 | 894 14208 47484 | 2147483647 59842 33 | 0.000 % |
182.26/182.44 c | 207893 | 894 14208 47484 | 2147483647 59964 33 | 0.000 % |
182.37/182.57 c | 208029 | 894 14208 47484 | 2147483647 60100 33 | 0.000 % |
182.56/182.72 c | 208176 | 894 14208 47484 | 2147483647 60247 33 | 0.000 % |
182.76/182.97 c | 208337 | 894 14208 47484 | 2147483647 60408 33 | 0.000 % |
182.97/183.11 c | 208513 | 894 14208 47484 | 2147483647 60584 33 | 0.000 % |
183.17/183.38 c | 208707 | 894 14208 47484 | 2147483647 60778 33 | 0.001 % |
183.47/183.65 c | 208920 | 894 14208 47484 | 2147483647 60991 33 | 0.000 % |
183.66/183.84 c | 209155 | 894 14208 47484 | 2147483647 61226 33 | 0.001 % |
183.86/184.07 c | 209413 | 894 14208 47484 | 2147483647 61484 33 | 0.000 % |
184.06/184.25 c | 209694 | 894 14208 47484 | 2147483647 61765 33 | 0.001 % |
184.36/184.56 c | 210003 | 894 14208 47484 | 62071 62074 34 | 0.000 % |
184.76/184.97 c | 210343 | 894 14208 47484 | 62071 54741 33 | 0.000 % |
185.27/185.40 c | 210716 | 894 14208 47484 | 62071 55114 33 | 0.001 % |
185.57/185.76 c | 211125 | 894 14208 47484 | 62071 55523 33 | 0.000 % |
186.07/186.27 c | 211574 | 894 14208 47484 | 62071 55972 33 | 0.000 % |
186.78/186.91 c | 212068 | 894 14208 47484 | 62071 56466 33 | 0.001 % |
187.27/187.46 c | 212610 | 894 14208 47484 | 62071 57008 33 | 0.001 % |
187.98/188.14 c | 213206 | 894 14208 47484 | 62071 57604 33 | 0.000 % |
188.67/188.81 c | 213863 | 894 14208 47484 | 62071 58261 33 | 0.000 % |
189.27/189.49 c | 214584 | 894 14208 47484 | 62071 58982 33 | 0.000 % |
190.18/190.36 c | 215377 | 894 14208 47484 | 62071 59775 33 | 0.000 % |
191.27/191.43 c | 216248 | 894 14208 47484 | 62071 60646 33 | 0.001 % |
192.47/192.68 c | 217206 | 894 14208 47484 | 62071 61604 33 | 0.000 % |
193.77/193.98 c | 218259 | 894 14208 47484 | 62071 54914 33 | 0.001 % |
195.07/195.26 c | 219420 | 894 14208 47484 | 62071 56075 33 | 0.000 % |
196.47/196.66 c | 220694 | 894 14208 47484 | 56656 50269 32 | 0.000 % |
198.07/198.29 c | 222096 | 894 14208 47484 | 56656 51671 32 | 0.000 % |
199.77/199.94 c | 223637 | 894 14208 47484 | 56656 53212 32 | 0.000 % |
201.07/201.26 c | 225331 | 894 14208 47484 | 56656 54906 32 | 0.000 % |
202.77/202.98 c | 227194 | 894 14208 47484 | 56656 56769 32 | 0.000 % |
204.66/204.84 c | 229243 | 894 14208 47484 | 56656 51841 32 | 0.000 % |
206.67/206.86 c | 231498 | 894 14208 47484 | 52598 48794 32 | 0.000 % |
206.76/206.92 c | 231598 | 894 14208 47484 | 52598 48894 32 | 0.000 % |
206.86/207.04 c | 231708 | 894 14208 47484 | 52598 49004 32 | 0.000 % |
206.96/207.17 c | 231829 | 894 14208 47484 | 52598 49125 32 | 0.000 % |
207.16/207.32 c | 231963 | 894 14208 47484 | 52598 49259 32 | 0.000 % |
207.26/207.47 c | 232110 | 894 14208 47484 | 52598 49406 32 | 0.000 % |
207.46/207.63 c | 232270 | 894 14208 47484 | 52598 49566 32 | 0.001 % |
207.67/207.83 c | 232446 | 894 14208 47484 | 52598 49742 32 | 0.000 % |
207.86/208.04 c | 232641 | 894 14208 47484 | 52598 49937 32 | 0.000 % |
208.06/208.27 c | 232853 | 894 14208 47484 | 52598 50149 32 | 0.000 % |
208.36/208.58 c | 233086 | 894 14208 47484 | 52598 50382 32 | 0.000 % |
208.66/208.85 c | 233344 | 894 14208 47484 | 52598 50640 32 | 0.000 % |
208.96/209.12 c | 233625 | 894 14208 47484 | 52598 50921 32 | 0.000 % |
209.26/209.41 c | 233936 | 894 14208 47484 | 52598 51232 32 | 0.000 % |
209.56/209.73 c | 234276 | 894 14208 47484 | 52598 51572 32 | 0.000 % |
209.87/210.02 c | 234648 | 894 14208 47484 | 52598 51944 32 | 0.000 % |
210.16/210.39 c | 235057 | 894 14208 47484 | 52598 52353 32 | 0.000 % |
210.76/210.92 c | 235506 | 894 14208 47484 | 52598 47529 31 | 0.000 % |
211.26/211.44 c | 235999 | 894 14208 47484 | 52598 48022 31 | 0.000 % |
211.76/211.98 c | 236541 | 894 14208 47484 | 52598 48564 31 | 0.000 % |
212.26/212.49 c | 237138 | 894 14208 47484 | 52598 49161 31 | 0.000 % |
212.96/213.12 c | 237794 | 894 14208 47484 | 52598 49817 31 | 0.000 % |
213.86/214.00 c | 238514 | 894 14208 47484 | 52598 50537 31 | 0.000 % |
214.66/214.83 c | 239308 | 894 14208 47484 | 52598 51331 31 | 0.000 % |
215.76/215.96 c | 240180 | 894 14208 47484 | 2147483647 52203 31 | 0.000 % |
216.36/216.57 c | 241138 | 894 14208 47484 | 2147483647 53161 32 | 0.000 % |
217.16/217.30 c | 242192 | 894 14208 47484 | 2147483647 54215 32 | 0.000 % |
218.16/218.33 c | 243351 | 894 14208 47484 | 2147483647 55374 32 | 0.000 % |
219.56/219.73 c | 244625 | 894 14208 47484 | 2147483647 56648 32 | 0.000 % |
221.06/221.27 c | 246027 | 894 14208 47484 | 2147483647 58050 32 | 0.000 % |
222.96/223.15 c | 247567 | 894 14208 47484 | 2147483647 59590 32 | 0.000 % |
225.06/225.25 c | 249262 | 894 14208 47484 | 2147483647 61285 32 | 0.000 % |
227.26/227.43 c | 251126 | 894 14208 47484 | 62023 56690 32 | 0.001 % |
229.55/229.71 c | 253175 | 894 14208 47484 | 62023 58739 32 | 0.000 % |
232.55/232.76 c | 255431 | 894 14208 47484 | 62023 60995 32 | 0.000 % |
235.84/236.00 c | 257909 | 894 14208 47484 | 62023 56293 32 | 0.000 % |
235.94/236.17 c | 258009 | 894 14208 47484 | 62023 56393 32 | 0.000 % |
236.14/236.32 c | 258120 | 894 14208 47484 | 62023 56504 32 | 0.000 % |
236.25/236.45 c | 258242 | 894 14208 47484 | 62023 56626 32 | 0.000 % |
236.44/236.60 c | 258375 | 894 14208 47484 | 62023 56759 32 | 0.000 % |
236.54/236.78 c | 258523 | 894 14208 47484 | 62023 56907 32 | 0.000 % |
236.74/236.98 c | 258684 | 894 14208 47484 | 62023 57068 32 | 0.000 % |
236.94/237.19 c | 258860 | 894 14208 47484 | 62023 57244 32 | 0.000 % |
237.24/237.41 c | 259054 | 894 14208 47484 | 62023 57438 32 | 0.000 % |
237.45/237.64 c | 259268 | 894 14208 47484 | 62023 57652 32 | 0.000 % |
237.64/237.82 c | 259502 | 894 14208 47484 | 62023 57886 32 | 0.000 % |
237.94/238.16 c | 259758 | 894 14208 47484 | 62023 58142 32 | 0.000 % |
238.24/238.49 c | 260039 | 894 14208 47484 | 58384 58423 32 | 0.000 % |
238.64/238.83 c | 260348 | 894 14208 47484 | 58384 52096 31 | 0.000 % |
238.94/239.19 c | 260687 | 894 14208 47484 | 58384 52435 31 | 0.000 % |
239.34/239.57 c | 261059 | 894 14208 47484 | 58384 52807 31 | 0.001 % |
239.94/240.15 c | 261469 | 894 14208 47484 | 58384 53217 31 | 0.000 % |
240.54/240.74 c | 261920 | 894 14208 47484 | 58384 53668 31 | 0.000 % |
241.04/241.25 c | 262413 | 894 14208 47484 | 58384 54161 31 | 0.000 % |
241.64/241.81 c | 262955 | 894 14208 47484 | 58384 54703 31 | 0.000 % |
242.14/242.39 c | 263552 | 894 14208 47484 | 58384 55300 31 | 0.000 % |
243.04/243.28 c | 264207 | 894 14208 47484 | 58384 55955 31 | 0.001 % |
243.94/244.11 c | 264928 | 894 14208 47484 | 58384 56676 31 | 0.000 % |
245.04/245.23 c | 265722 | 894 14208 47484 | 58384 57470 31 | 0.000 % |
246.04/246.28 c | 266594 | 894 14208 47484 | 58384 58342 31 | 0.000 % |
247.14/247.34 c | 267552 | 894 14208 47484 | 58384 52842 31 | 0.000 % |
248.34/248.55 c | 268606 | 894 14208 47484 | 58384 53896 31 | 0.000 % |
249.84/250.04 c | 269764 | 894 14208 47484 | 58384 55054 31 | 0.000 % |
250.94/251.18 c | 271037 | 894 14208 47484 | 55291 50226 30 | 0.000 % |
251.94/252.19 c | 272441 | 894 14208 47484 | 55291 51630 31 | 0.000 % |
253.43/253.66 c | 273981 | 894 14208 47484 | 55291 53170 31 | 0.000 % |
254.64/254.81 c | 275675 | 894 14208 47484 | 55291 54864 31 | 0.000 % |
256.14/256.36 c | 277540 | 894 14208 47484 | 55291 50776 31 | 0.001 % |
257.93/258.13 c | 279589 | 894 14208 47484 | 55291 52825 31 | 0.000 % |
259.93/260.15 c | 281843 | 894 14208 47484 | 53237 49209 31 | 0.000 % |
262.23/262.48 c | 284322 | 894 14208 47484 | 53237 51688 31 | 0.000 % |
264.73/264.95 c | 287047 | 894 14208 47484 | 53237 47322 30 | 0.000 % |
264.83/265.02 c | 287147 | 894 14208 47484 | 53237 47422 30 | 0.000 % |
264.93/265.13 c | 287257 | 894 14208 47484 | 53237 47532 30 | 0.000 % |
265.03/265.25 c | 287378 | 894 14208 47484 | 53237 47653 30 | 0.000 % |
265.13/265.34 c | 287511 | 894 14208 47484 | 53237 47786 30 | 0.001 % |
265.23/265.47 c | 287660 | 894 14208 47484 | 53237 47935 30 | 0.000 % |
265.43/265.63 c | 287820 | 894 14208 47484 | 53237 48095 30 | 0.001 % |
265.53/265.76 c | 287998 | 894 14208 47484 | 53237 48273 30 | 0.001 % |
265.73/265.95 c | 288191 | 894 14208 47484 | 53237 48466 30 | 0.000 % |
265.93/266.12 c | 288403 | 894 14208 47484 | 53237 48678 30 | 0.000 % |
266.13/266.37 c | 288637 | 894 14208 47484 | 53237 48912 30 | 0.000 % |
266.43/266.68 c | 288893 | 894 14208 47484 | 53237 49168 30 | 0.000 % |
266.73/266.93 c | 289174 | 894 14208 47484 | 53237 49449 30 | 0.000 % |
266.93/267.15 c | 289483 | 894 14208 47484 | 53237 49758 30 | 0.000 % |
267.23/267.45 c | 289822 | 894 14208 47484 | 53237 50097 30 | 0.000 % |
267.63/267.80 c | 290194 | 894 14208 47484 | 50276 44798 30 | 0.000 % |
267.93/268.15 c | 290603 | 894 14208 47484 | 50276 45207 30 | 0.001 % |
268.23/268.47 c | 291052 | 894 14208 47484 | 50276 45656 30 | 0.000 % |
268.53/268.76 c | 291545 | 894 14208 47484 | 50276 46149 30 | 0.001 % |
269.03/269.21 c | 292087 | 894 14208 47484 | 50276 46691 30 | 0.000 % |
269.53/269.73 c | 292683 | 894 14208 47484 | 50276 47287 30 | 0.001 % |
270.03/270.28 c | 293338 | 894 14208 47484 | 50276 47942 30 | 0.000 % |
270.63/270.89 c | 294059 | 894 14208 47484 | 50276 48663 30 | 0.001 % |
271.63/271.81 c | 294851 | 894 14208 47484 | 50276 49455 31 | 0.000 % |
272.54/272.78 c | 295723 | 894 14208 47484 | 50276 50327 31 | 0.000 % |
273.53/273.72 c | 296682 | 894 14208 47484 | 50276 46254 31 | 0.000 % |
274.43/274.63 c | 297736 | 894 14208 47484 | 50276 47308 31 | 0.000 % |
275.53/275.74 c | 298894 | 894 14208 47484 | 50276 48466 31 | 0.001 % |
276.63/276.89 c | 300169 | 894 14208 47484 | 2147483647 49741 31 | 0.000 % |
278.04/278.20 c | 301569 | 894 14208 47484 | 2147483647 51141 31 | 0.001 % |
279.43/279.66 c | 303111 | 894 14208 47484 | 2147483647 52683 31 | 0.000 % |
281.43/281.67 c | 304807 | 894 14208 47484 | 2147483647 54379 32 | 0.000 % |
283.43/283.70 c | 306670 | 894 14208 47484 | 2147483647 56242 32 | 0.000 % |
285.43/285.68 c | 308720 | 894 14208 47484 | 2147483647 58292 32 | 0.000 % |
287.53/287.80 c | 310975 | 894 14208 47484 | 59573 53744 32 | 0.000 % |
290.42/290.62 c | 313453 | 894 14208 47484 | 59573 56222 32 | 0.000 % |
293.72/293.97 c | 316179 | 894 14208 47484 | 59573 58948 33 | 0.000 % |
297.22/297.44 c | 319177 | 894 14208 47484 | 59573 54967 33 | 0.000 % |
297.32/297.53 c | 319277 | 894 14208 47484 | 59573 55067 33 | 0.000 % |
297.42/297.65 c | 319387 | 894 14208 47484 | 59573 55177 33 | 0.000 % |
297.52/297.73 c | 319508 | 894 14208 47484 | 59573 55298 33 | 0.000 % |
297.62/297.86 c | 319642 | 894 14208 47484 | 59573 55432 33 | 0.000 % |
297.82/298.01 c | 319788 | 894 14208 47484 | 59573 55578 33 | 0.000 % |
297.92/298.11 c | 319949 | 894 14208 47484 | 59573 55739 33 | 0.000 % |
298.02/298.22 c | 320125 | 894 14208 47484 | 55791 55915 33 | 0.000 % |
298.22/298.42 c | 320319 | 894 14208 47484 | 55791 49978 33 | 0.000 % |
298.32/298.57 c | 320531 | 894 14208 47484 | 55791 50190 33 | 0.000 % |
298.62/298.81 c | 320765 | 894 14208 47484 | 55791 50424 33 | 0.000 % |
298.82/299.09 c | 321021 | 894 14208 47484 | 55791 50680 33 | 0.000 % |
299.12/299.37 c | 321302 | 894 14208 47484 | 55791 50961 33 | 0.000 % |
299.42/299.68 c | 321612 | 894 14208 47484 | 55791 51271 33 | 0.000 % |
299.72/299.99 c | 321952 | 894 14208 47484 | 55791 51611 33 | 0.000 % |
300.22/300.40 c | 322324 | 894 14208 47484 | 55791 51983 33 | 0.000 % |
300.62/300.82 c | 322734 | 894 14208 47484 | 55791 52393 33 | 0.000 % |
301.02/301.22 c | 323184 | 894 14208 47484 | 55791 52843 33 | 0.000 % |
301.42/301.69 c | 323679 | 894 14208 47484 | 55791 53338 34 | 0.000 % |
302.12/302.31 c | 324221 | 894 14208 47484 | 55791 53880 34 | 0.000 % |
302.82/303.02 c | 324818 | 894 14208 47484 | 55791 54477 34 | 0.000 % |
303.61/303.85 c | 325473 | 894 14208 47484 | 55791 55132 34 | 0.000 % |
304.42/304.68 c | 326195 | 894 14208 47484 | 55791 55854 34 | 0.000 % |
305.52/305.72 c | 326987 | 894 14208 47484 | 55791 51061 34 | 0.000 % |
306.21/306.48 c | 327858 | 894 14208 47484 | 55791 51932 34 | 0.000 % |
307.31/307.50 c | 328816 | 894 14208 47484 | 55791 52890 34 | 0.000 % |
308.01/308.21 c | 329871 | 894 14208 47484 | 55791 53945 34 | 0.000 % |
309.21/309.46 c | 331030 | 894 14208 47484 | 2147483647 55104 34 | 0.000 % |
310.51/310.74 c | 332305 | 894 14208 47484 | 2147483647 56379 35 | 0.000 % |
312.12/312.31 c | 333705 | 894 14208 47484 | 2147483647 57779 35 | 0.000 % |
313.51/313.78 c | 335246 | 894 14208 47484 | 2147483647 59320 35 | 0.000 % |
315.31/315.54 c | 336940 | 894 14208 47484 | 2147483647 61014 35 | 0.000 % |
317.61/317.80 c | 338804 | 894 14208 47484 | 2147483647 62878 35 | 0.000 % |
320.31/320.52 c | 340853 | 894 14208 47484 | 64075 57314 36 | 0.000 % |
322.81/323.00 c | 343106 | 894 14208 47484 | 64075 59567 36 | 0.000 % |
325.81/326.08 c | 345584 | 894 14208 47484 | 64075 62045 36 | 0.000 % |
329.41/329.65 c | 348310 | 894 14208 47484 | 64075 56119 36 | 0.000 % |
332.80/333.08 c | 351308 | 894 14208 47484 | 57809 51540 36 | 0.000 % |
336.80/337.05 c | 354604 | 894 14208 47484 | 57809 54836 37 | 0.000 % |
337.00/337.20 c | 354705 | 894 14208 47484 | 57809 54937 37 | 0.000 % |
337.10/337.33 c | 354817 | 894 14208 47484 | 57809 55049 37 | 0.000 % |
337.20/337.43 c | 354939 | 894 14208 47484 | 57809 55171 37 | 0.000 % |
337.30/337.58 c | 355073 | 894 14208 47484 | 57809 55305 37 | 0.000 % |
337.51/337.76 c | 355219 | 894 14208 47484 | 57809 55451 37 | 0.000 % |
337.70/337.98 c | 355379 | 894 14208 47484 | 57809 55611 37 | 0.000 % |
337.90/338.15 c | 355555 | 894 14208 47484 | 57809 55787 37 | 0.000 % |
338.20/338.46 c | 355748 | 894 14208 47484 | 57809 55980 37 | 0.000 % |
338.40/338.70 c | 355962 | 894 14208 47484 | 57809 56194 37 | 0.000 % |
338.70/338.99 c | 356195 | 894 14208 47484 | 57809 56427 37 | 0.000 % |
339.00/339.29 c | 356452 | 894 14208 47484 | 57809 56684 37 | 0.000 % |
339.40/339.66 c | 356733 | 894 14208 47484 | 57809 56965 37 | 0.000 % |
339.80/340.08 c | 357042 | 894 14208 47484 | 57809 57274 37 | 0.000 % |
340.30/340.56 c | 357381 | 894 14208 47484 | 57809 57613 37 | 0.001 % |
340.80/341.09 c | 357753 | 894 14208 47484 | 57809 50597 37 | 0.001 % |
341.10/341.33 c | 358162 | 894 14208 47484 | 57809 51006 37 | 0.000 % |
341.50/341.71 c | 358611 | 894 14208 47484 | 57809 51455 37 | 0.000 % |
341.80/342.07 c | 359104 | 894 14208 47484 | 57809 51948 37 | 0.000 % |
342.29/342.54 c | 359647 | 894 14208 47484 | 57809 52491 37 | 0.000 % |
342.69/342.91 c | 360244 | 894 14208 47484 | 52844 46558 36 | 0.000 % |
343.19/343.42 c | 360900 | 894 14208 47484 | 52844 47214 36 | 0.000 % |
343.69/343.99 c | 361622 | 894 14208 47484 | 52844 47936 36 | 0.000 % |
344.39/344.62 c | 362414 | 894 14208 47484 | 52844 48728 36 | 0.000 % |
345.20/345.49 c | 363285 | 894 14208 47484 | 52844 49599 36 | 0.000 % |
346.09/346.39 c | 364243 | 894 14208 47484 | 52844 50557 36 | 0.000 % |
347.19/347.44 c | 365298 | 894 14208 47484 | 52844 51612 36 | 0.000 % |
348.29/348.51 c | 366456 | 894 14208 47484 | 52844 52770 36 | 0.000 % |
349.39/349.66 c | 367729 | 894 14208 47484 | 52844 48748 35 | 0.000 % |
350.49/350.70 c | 369132 | 894 14208 47484 | 52844 50151 36 | 0.000 % |
351.59/351.81 c | 370674 | 894 14208 47484 | 2147483647 51693 36 | 0.000 % |
353.39/353.64 c | 372369 | 894 14208 47484 | 2147483647 53388 35 | 0.000 % |
355.29/355.53 c | 374233 | 894 14208 47484 | 2147483647 55252 36 | 0.000 % |
357.49/357.75 c | 376283 | 894 14208 47484 | 2147483647 57302 36 | 0.000 % |
359.69/359.99 c | 378539 | 894 14208 47484 | 2147483647 59558 36 | 0.000 % |
361.69/361.93 c | 381017 | 894 14208 47484 | 2147483647 62036 36 | 0.001 % |
364.99/365.24 c | 383743 | 894 14208 47484 | 2147483647 64762 36 | 0.000 % |
369.08/369.33 c | 386741 | 894 14208 47484 | 2147483647 67760 36 | 0.000 % |
374.88/375.19 c | 390037 | 894 14208 47484 | 71019 71056 36 | 0.000 % |
378.98/379.24 c | 393664 | 894 14208 47484 | 71019 61457 35 | 0.000 % |
379.08/379.36 c | 393766 | 894 14208 47484 | 71019 61559 35 | 0.000 % |
379.18/379.49 c | 393877 | 894 14208 47484 | 71019 61670 35 | 0.001 % |
379.38/379.64 c | 394000 | 894 14208 47484 | 71019 61793 35 | 0.000 % |
379.48/379.74 c | 394134 | 894 14208 47484 | 71019 61927 35 | 0.000 % |
379.68/379.90 c | 394280 | 894 14208 47484 | 71019 62073 35 | 0.000 % |
379.78/380.07 c | 394440 | 894 14208 47484 | 71019 62233 35 | 0.000 % |
380.08/380.31 c | 394618 | 894 14208 47484 | 71019 62411 35 | 0.000 % |
380.28/380.56 c | 394812 | 894 14208 47484 | 71019 62605 35 | 0.000 % |
380.58/380.83 c | 395024 | 894 14208 47484 | 71019 62817 35 | 0.000 % |
380.98/381.22 c | 395258 | 894 14208 47484 | 71019 63051 35 | 0.000 % |
381.28/381.59 c | 395514 | 894 14208 47484 | 71019 63307 35 | 0.000 % |
381.58/381.87 c | 395797 | 894 14208 47484 | 71019 63590 35 | 0.000 % |
382.17/382.42 c | 396106 | 894 14208 47484 | 71019 63899 35 | 0.000 % |
382.58/382.89 c | 396445 | 894 14208 47484 | 71019 64238 35 | 0.000 % |
383.17/383.45 c | 396817 | 894 14208 47484 | 71019 64610 35 | 0.000 % |
383.68/383.98 c | 397227 | 894 14208 47484 | 71019 65020 35 | 0.000 % |
384.17/384.42 c | 397679 | 894 14208 47484 | 71019 65472 35 | 0.000 % |
384.87/385.11 c | 398172 | 894 14208 47484 | 71019 65965 35 | 0.000 % |
385.57/385.84 c | 398715 | 894 14208 47484 | 71019 66508 35 | 0.000 % |
386.47/386.79 c | 399313 | 894 14208 47484 | 71019 67106 35 | 0.000 % |
387.57/387.80 c | 399968 | 894 14208 47484 | 71019 67761 35 | 0.000 % |
388.77/389.02 c | 400689 | 894 14208 47484 | 67793 57264 33 | 0.000 % |
389.67/389.97 c | 401482 | 894 14208 47484 | 67793 58057 33 | 0.000 % |
390.57/390.84 c | 402355 | 894 14208 47484 | 67793 58930 33 | 0.000 % |
391.67/391.93 c | 403313 | 894 14208 47484 | 67793 59888 33 | 0.000 % |
392.87/393.18 c | 404367 | 894 14208 47484 | 67793 60942 33 | 0.000 % |
394.37/394.62 c | 405525 | 894 14208 47484 | 67793 62100 33 | 0.000 % |
395.77/396.04 c | 406799 | 894 14208 47484 | 67793 63374 34 | 0.000 % |
397.47/397.73 c | 408200 | 894 14208 47484 | 67793 64775 34 | 0.000 % |
399.77/400.01 c | 409740 | 894 14208 47484 | 67793 66315 34 | 0.000 % |
401.37/401.68 c | 411436 | 894 14208 47484 | 66575 58477 33 | 0.000 % |
403.37/403.61 c | 413299 | 894 14208 47484 | 66575 60340 33 | 0.000 % |
405.46/405.73 c | 415349 | 894 14208 47484 | 66575 62390 34 | 0.000 % |
407.77/408.09 c | 417603 | 894 14208 47484 | 66575 64644 34 | 0.000 % |
410.26/410.58 c | 420083 | 894 14208 47484 | 58189 58272 34 | 0.000 % |
413.46/413.75 c | 422809 | 894 14208 47484 | 58189 53117 34 | 0.000 % |
417.36/417.69 c | 425807 | 894 14208 47484 | 58189 56115 34 | 0.000 % |
421.16/421.44 c | 429105 | 894 14208 47484 | 58189 52813 33 | 0.000 % |
425.56/425.85 c | 432731 | 894 14208 47484 | 53708 50524 33 | 0.000 % |
430.35/430.69 c | 436720 | 894 14208 47484 | 53708 48670 33 | 0.000 % |
430.45/430.79 c | 436820 | 894 14208 47484 | 53708 48770 33 | 0.000 % |
430.55/430.88 c | 436931 | 894 14208 47484 | 53708 48881 33 | 0.000 % |
430.75/431.03 c | 437052 | 894 14208 47484 | 53708 49002 33 | 0.000 % |
430.86/431.15 c | 437187 | 894 14208 47484 | 53708 49137 33 | 0.000 % |
431.05/431.30 c | 437333 | 894 14208 47484 | 53708 49283 33 | 0.000 % |
431.15/431.48 c | 437494 | 894 14208 47484 | 53708 49444 33 | 0.000 % |
431.45/431.71 c | 437670 | 894 14208 47484 | 53708 49620 33 | 0.000 % |
431.65/431.92 c | 437866 | 894 14208 47484 | 53708 49816 33 | 0.000 % |
431.85/432.16 c | 438079 | 894 14208 47484 | 53708 50029 33 | 0.000 % |
432.15/432.50 c | 438312 | 894 14208 47484 | 53708 50262 33 | 0.000 % |
432.45/432.73 c | 438568 | 894 14208 47484 | 53708 50518 33 | 0.000 % |
432.65/432.96 c | 438851 | 894 14208 47484 | 53708 50801 33 | 0.000 % |
432.95/433.25 c | 439161 | 894 14208 47484 | 53708 51111 33 | 0.000 % |
433.25/433.57 c | 439501 | 894 14208 47484 | 53708 51451 33 | 0.000 % |
433.65/433.99 c | 439876 | 894 14208 47484 | 53708 51826 33 | 0.000 % |
434.15/434.43 c | 440285 | 894 14208 47484 | 51951 46677 33 | 0.000 % |
434.55/434.89 c | 440735 | 894 14208 47484 | 51951 47127 33 | 0.000 % |
435.05/435.39 c | 441229 | 894 14208 47484 | 51951 47621 33 | 0.000 % |
435.75/436.01 c | 441771 | 894 14208 47484 | 51951 48163 33 | 0.001 % |
436.15/436.49 c | 442367 | 894 14208 47484 | 51951 48759 33 | 0.000 % |
436.85/437.15 c | 443022 | 894 14208 47484 | 51951 49414 33 | 0.000 % |
437.75/438.01 c | 443744 | 894 14208 47484 | 51951 50136 33 | 0.000 % |
438.45/438.76 c | 444536 | 894 14208 47484 | 51951 50928 34 | 0.000 % |
439.95/440.20 c | 445407 | 894 14208 47484 | 51951 51799 34 | 0.001 % |
441.25/441.53 c | 446365 | 894 14208 47484 | 51951 47552 34 | 0.001 % |
442.74/443.02 c | 447419 | 894 14208 47484 | 51951 48606 33 | 0.000 % |
444.05/444.34 c | 448577 | 894 14208 47484 | 51951 49764 34 | 0.000 % |
445.44/445.70 c | 449852 | 894 14208 47484 | 51951 51039 34 | 0.000 % |
447.05/447.38 c | 451253 | 894 14208 47484 | 2147483647 52440 34 | 0.000 % |
448.84/449.18 c | 452793 | 894 14208 47484 | 2147483647 53980 34 | 0.000 % |
450.84/451.18 c | 454487 | 894 14208 47484 | 2147483647 55674 34 | 0.000 % |
453.04/453.36 c | 456352 | 894 14208 47484 | 2147483647 57539 34 | 0.000 % |
455.24/455.60 c | 458404 | 894 14208 47484 | 2147483647 59591 35 | 0.000 % |
457.94/458.22 c | 460657 | 894 14208 47484 | 61187 54216 33 | 0.000 % |
460.24/460.52 c | 463135 | 894 14208 47484 | 61187 56694 33 | 0.000 % |
463.74/464.00 c | 465862 | 894 14208 47484 | 61187 59421 34 | 0.000 % |
467.03/467.32 c | 468859 | 894 14208 47484 | 61187 54130 33 | 0.000 % |
471.13/471.40 c | 472155 | 894 14208 47484 | 55271 50236 33 | 0.000 % |
475.03/475.33 c | 475782 | 894 14208 47484 | 55271 53863 33 | 0.000 % |
478.93/479.22 c | 479770 | 894 14208 47484 | 55271 52312 33 | 0.000 % |
483.73/484.04 c | 484156 | 894 14208 47484 | 2147483647 56698 33 | 0.000 % |
483.83/484.19 c | 484259 | 894 14208 47484 | 2147483647 56801 33 | 0.000 % |
484.03/484.33 c | 484370 | 894 14208 47484 | 2147483647 56912 33 | 0.000 % |
484.13/484.46 c | 484491 | 894 14208 47484 | 2147483647 57033 33 | 0.000 % |
484.33/484.60 c | 484624 | 894 14208 47484 | 2147483647 57166 33 | 0.000 % |
484.43/484.77 c | 484772 | 894 14208 47484 | 2147483647 57314 33 | 0.000 % |
484.63/484.93 c | 484932 | 894 14208 47484 | 2147483647 57474 33 | 0.000 % |
484.83/485.12 c | 485108 | 894 14208 47484 | 2147483647 57650 33 | 0.000 % |
485.03/485.36 c | 485301 | 894 14208 47484 | 2147483647 57843 33 | 0.000 % |
485.23/485.58 c | 485513 | 894 14208 47484 | 2147483647 58055 33 | 0.000 % |
485.43/485.77 c | 485747 | 894 14208 47484 | 2147483647 58289 33 | 0.000 % |
485.73/486.05 c | 486004 | 894 14208 47484 | 2147483647 58546 33 | 0.000 % |
486.03/486.39 c | 486285 | 894 14208 47484 | 2147483647 58827 33 | 0.000 % |
486.43/486.76 c | 486595 | 894 14208 47484 | 2147483647 59137 33 | 0.000 % |
486.82/487.18 c | 486936 | 894 14208 47484 | 2147483647 59478 33 | 0.000 % |
487.32/487.61 c | 487309 | 894 14208 47484 | 2147483647 59851 33 | 0.000 % |
487.82/488.14 c | 487719 | 894 14208 47484 | 2147483647 60261 33 | 0.000 % |
488.22/488.58 c | 488168 | 894 14208 47484 | 2147483647 60710 33 | 0.000 % |
488.82/489.11 c | 488661 | 894 14208 47484 | 2147483647 61203 33 | 0.001 % |
489.52/489.83 c | 489204 | 894 14208 47484 | 2147483647 61746 33 | 0.000 % |
490.42/490.79 c | 489803 | 894 14208 47484 | 2147483647 62345 33 | 0.000 % |
491.43/491.78 c | 490459 | 894 14208 47484 | 62542 54882 32 | 0.000 % |
492.32/492.66 c | 491179 | 894 14208 47484 | 62542 55602 32 | 0.000 % |
493.22/493.59 c | 491971 | 894 14208 47484 | 62542 56394 33 | 0.001 % |
494.32/494.60 c | 492843 | 894 14208 47484 | 62542 57266 33 | 0.000 % |
495.22/495.58 c | 493801 | 894 14208 47484 | 62542 58224 33 | 0.000 % |
496.52/496.87 c | 494854 | 894 14208 47484 | 62542 59277 33 | 0.000 % |
497.82/498.14 c | 496012 | 894 14208 47484 | 62542 60435 33 | 0.000 % |
499.42/499.73 c | 497285 | 894 14208 47484 | 62542 61708 33 | 0.000 % |
501.12/501.40 c | 498685 | 894 14208 47484 | 62542 55218 33 | 0.000 % |
502.72/503.04 c | 500228 | 894 14208 47484 | 56533 49725 32 | 0.000 % |
504.52/504.88 c | 501922 | 894 14208 47484 | 56533 51419 32 | 0.001 % |
506.61/507.00 c | 503785 | 894 14208 47484 | 56533 53282 32 | 0.000 % |
509.11/509.49 c | 505834 | 894 14208 47484 | 56533 55331 33 | 0.000 % |
511.71/512.06 c | 508088 | 894 14208 47484 | 56533 50908 32 | 0.000 % |
514.31/514.68 c | 510568 | 894 14208 47484 | 52822 47235 31 | 0.000 % |
516.31/516.60 c | 513293 | 894 14208 47484 | 52822 49960 32 | 0.000 % |
519.41/519.72 c | 516291 | 894 14208 47484 | 52822 52958 33 | 0.000 % |
522.51/522.81 c | 519587 | 894 14208 47484 | 52822 50426 33 | 0.000 % |
526.70/527.00 c | 523212 | 894 14208 47484 | 50840 48307 33 | 0.000 % |
531.80/532.12 c | 527199 | 894 14208 47484 | 50840 45574 33 | 0.000 % |
537.10/537.41 c | 531585 | 894 14208 47484 | 48376 44552 32 | 0.000 % |
542.20/542.52 c | 536409 | 894 14208 47484 | 48376 44530 32 | 0.000 % |
542.30/542.60 c | 536509 | 894 14208 47484 | 48376 44630 32 | 0.000 % |
542.40/542.71 c | 536621 | 894 14208 47484 | 48376 44742 32 | 0.000 % |
542.49/542.84 c | 536743 | 894 14208 47484 | 48376 44864 32 | 0.000 % |
542.59/542.95 c | 536877 | 894 14208 47484 | 48376 44998 32 | 0.000 % |
542.79/543.13 c | 537023 | 894 14208 47484 | 48376 45144 32 | 0.000 % |
542.89/543.30 c | 537183 | 894 14208 47484 | 48376 45304 32 | 0.000 % |
543.19/543.52 c | 537359 | 894 14208 47484 | 48376 45480 32 | 0.000 % |
543.39/543.73 c | 537552 | 894 14208 47484 | 48376 45673 32 | 0.000 % |
543.49/543.86 c | 537765 | 894 14208 47484 | 48376 45886 32 | 0.000 % |
543.69/544.09 c | 537998 | 894 14208 47484 | 48376 46119 32 | 0.000 % |
543.99/544.36 c | 538255 | 894 14208 47484 | 48376 46376 32 | 0.000 % |
544.20/544.59 c | 538536 | 894 14208 47484 | 48376 46657 32 | 0.000 % |
544.49/544.89 c | 538845 | 894 14208 47484 | 48376 46966 33 | 0.000 % |
544.79/545.13 c | 539185 | 894 14208 47484 | 48376 47306 33 | 0.000 % |
545.09/545.45 c | 539557 | 894 14208 47484 | 48376 47678 33 | 0.000 % |
545.59/545.91 c | 539969 | 894 14208 47484 | 48376 48090 33 | 0.000 % |
545.89/546.29 c | 540419 | 894 14208 47484 | 2147483647 48540 33 | 0.000 % |
546.40/546.76 c | 540913 | 894 14208 47484 | 2147483647 49034 33 | 0.000 % |
546.99/547.35 c | 541455 | 894 14208 47484 | 2147483647 49576 33 | 0.000 % |
547.59/547.91 c | 542051 | 894 14208 47484 | 2147483647 50172 33 | 0.000 % |
548.29/548.61 c | 542706 | 894 14208 47484 | 2147483647 50827 33 | 0.000 % |
548.90/549.22 c | 543426 | 894 14208 47484 | 2147483647 51547 33 | 0.000 % |
549.90/550.23 c | 544218 | 894 14208 47484 | 2147483647 52339 33 | 0.001 % |
550.90/551.21 c | 545089 | 894 14208 47484 | 2147483647 53210 33 | 0.000 % |
552.10/552.43 c | 546047 | 894 14208 47484 | 2147483647 54168 33 | 0.000 % |
553.20/553.57 c | 547100 | 894 14208 47484 | 2147483647 55221 33 | 0.000 % |
554.30/554.64 c | 548259 | 894 14208 47484 | 2147483647 56380 34 | 0.000 % |
555.40/555.74 c | 549533 | 894 14208 47484 | 2147483647 57654 34 | 0.000 % |
556.80/557.15 c | 550934 | 894 14208 47484 | 58121 52648 33 | 0.000 % |
558.30/558.69 c | 552474 | 894 14208 47484 | 58121 54188 33 | 0.000 % |
560.00/560.35 c | 554169 | 894 14208 47484 | 58121 55883 34 | 0.000 % |
562.00/562.32 c | 556033 | 894 14208 47484 | 58121 57747 34 | 0.000 % |
564.10/564.41 c | 558082 | 894 14208 47484 | 58121 51556 32 | 0.000 % |
565.89/566.23 c | 560336 | 894 14208 47484 | 53476 46083 31 | 0.000 % |
567.99/568.37 c | 562814 | 894 14208 47484 | 53476 48561 31 | 0.000 % |
570.69/571.01 c | 565540 | 894 14208 47484 | 53476 51287 31 | 0.000 % |
573.89/574.23 c | 568538 | 894 14208 47484 | 53476 46699 31 | 0.000 % |
577.69/578.09 c | 571834 | 894 14208 47484 | 48161 44151 31 | 0.000 % |
581.09/581.45 c | 575460 | 894 14208 47484 | 48161 47777 32 | 0.000 % |
585.68/586.02 c | 579447 | 894 14208 47484 | 48161 46930 32 | 0.000 % |
590.39/590.72 c | 583832 | 894 14208 47484 | 2147483647 51315 32 | 0.000 % |
596.38/596.72 c | 588655 | 894 14208 47484 | 2147483647 56138 33 | 0.000 % |
602.78/603.18 c | 593960 | 894 14208 47484 | 2147483647 61443 33 | 0.000 % |
602.98/603.31 c | 594060 | 894 14208 47484 | 2147483647 61543 33 | 0.001 % |
603.08/603.44 c | 594171 | 894 14208 47484 | 2147483647 61654 33 | 0.000 % |
603.28/603.61 c | 594292 | 894 14208 47484 | 2147483647 61775 33 | 0.000 % |
603.48/603.81 c | 594425 | 894 14208 47484 | 2147483647 61908 33 | 0.001 % |
603.58/603.97 c | 594572 | 894 14208 47484 | 2147483647 62055 33 | 0.001 % |
603.88/604.20 c | 594732 | 894 14208 47484 | 2147483647 62215 33 | 0.000 % |
604.18/604.50 c | 594908 | 894 14208 47484 | 2147483647 62391 33 | 0.000 % |
604.38/604.78 c | 595103 | 894 14208 47484 | 2147483647 62586 33 | 0.000 % |
604.78/605.13 c | 595315 | 894 14208 47484 | 2147483647 62798 33 | 0.001 % |
605.08/605.47 c | 595549 | 894 14208 47484 | 2147483647 63032 33 | 0.000 % |
605.48/605.86 c | 595806 | 894 14208 47484 | 2147483647 63289 33 | 0.000 % |
605.98/606.31 c | 596087 | 894 14208 47484 | 2147483647 63570 33 | 0.000 % |
606.48/606.84 c | 596396 | 894 14208 47484 | 2147483647 63879 33 | 0.000 % |
606.98/607.32 c | 596736 | 894 14208 47484 | 2147483647 64219 33 | 0.000 % |
607.58/607.90 c | 597109 | 894 14208 47484 | 2147483647 64592 33 | 0.000 % |
608.18/608.51 c | 597518 | 894 14208 47484 | 2147483647 65001 33 | 0.000 % |
608.68/609.05 c | 597968 | 894 14208 47484 | 2147483647 65451 33 | 0.000 % |
609.28/609.65 c | 598461 | 894 14208 47484 | 2147483647 65944 33 | 0.000 % |
609.88/610.28 c | 599003 | 894 14208 47484 | 2147483647 66486 33 | 0.000 % |
610.77/611.10 c | 599599 | 894 14208 47484 | 2147483647 67082 33 | 0.001 % |
611.67/612.01 c | 600255 | 894 14208 47484 | 67484 58282 33 | 0.001 % |
612.47/612.82 c | 600976 | 894 14208 47484 | 67484 59003 33 | 0.000 % |
613.27/613.66 c | 601769 | 894 14208 47484 | 67484 59796 33 | 0.000 % |
614.17/614.56 c | 602641 | 894 14208 47484 | 67484 60668 33 | 0.000 % |
615.37/615.79 c | 603600 | 894 14208 47484 | 67484 61627 33 | 0.000 % |
616.87/617.26 c | 604653 | 894 14208 47484 | 67484 62680 33 | 0.000 % |
618.57/618.92 c | 605811 | 894 14208 47484 | 67484 63838 33 | 0.000 % |
620.17/620.55 c | 607085 | 894 14208 47484 | 67484 65112 33 | 0.000 % |
622.37/622.72 c | 608487 | 894 14208 47484 | 67484 66514 33 | 0.000 % |
624.37/624.78 c | 610027 | 894 14208 47484 | 58572 58599 33 | 0.000 % |
626.17/626.57 c | 611722 | 894 14208 47484 | 58572 52161 32 | 0.001 % |
627.87/628.24 c | 613586 | 894 14208 47484 | 58572 54025 32 | 0.000 % |
629.77/630.16 c | 615636 | 894 14208 47484 | 58572 56075 33 | 0.000 % |
632.07/632.46 c | 617890 | 894 14208 47484 | 58572 58329 33 | 0.000 % |
634.66/635.04 c | 620369 | 894 14208 47484 | 54059 48470 31 | 0.000 % |
637.86/638.29 c | 623095 | 894 14208 47484 | 54059 51196 32 | 0.000 % |
641.16/641.56 c | 626092 | 894 14208 47484 | 54059 54193 32 | 0.000 % |
644.66/645.04 c | 629388 | 894 14208 47484 | 54059 52070 33 | 0.000 % |
648.76/649.14 c | 633014 | 894 14208 47484 | 2147483647 55696 33 | 0.000 % |
653.95/654.30 c | 637001 | 894 14208 47484 | 2147483647 59683 33 | 0.000 % |
659.05/659.42 c | 641387 | 894 14208 47484 | 62682 56919 34 | 0.001 % |
665.15/665.55 c | 646211 | 894 14208 47484 | 62682 61743 35 | 0.000 % |
671.25/671.64 c | 651517 | 894 14208 47484 | 58230 53097 34 | 0.000 % |
679.45/679.88 c | 657352 | 894 14208 47484 | 58230 50969 34 | 0.000 % |
679.64/680.03 c | 657453 | 894 14208 47484 | 58230 51070 34 | 0.000 % |
679.74/680.12 c | 657564 | 894 14208 47484 | 58230 51181 34 | 0.000 % |
679.84/680.27 c | 657687 | 894 14208 47484 | 58230 51304 34 | 0.000 % |
679.94/680.39 c | 657821 | 894 14208 47484 | 58230 51438 34 | 0.000 % |
680.04/680.50 c | 657967 | 894 14208 47484 | 58230 51584 34 | 0.001 % |
680.34/680.73 c | 658128 | 894 14208 47484 | 58230 51745 34 | 0.000 % |
680.45/680.87 c | 658305 | 894 14208 47484 | 58230 51922 34 | 0.000 % |
680.74/681.13 c | 658500 | 894 14208 47484 | 58230 52117 34 | 0.000 % |
680.94/681.37 c | 658714 | 894 14208 47484 | 58230 52331 34 | 0.001 % |
681.24/681.61 c | 658947 | 894 14208 47484 | 58230 52564 34 | 0.001 % |
681.44/681.86 c | 659203 | 894 14208 47484 | 58230 52820 34 | 0.000 % |
681.74/682.19 c | 659484 | 894 14208 47484 | 58230 53101 34 | 0.000 % |
682.04/682.49 c | 659793 | 894 14208 47484 | 58230 53410 34 | 0.000 % |
682.44/682.80 c | 660133 | 894 14208 47484 | 53618 53750 34 | 0.000 % |
682.75/683.12 c | 660506 | 894 14208 47484 | 53618 47088 33 | 0.000 % |
683.04/683.49 c | 660916 | 894 14208 47484 | 53618 47498 33 | 0.001 % |
683.34/683.79 c | 661366 | 894 14208 47484 | 53618 47948 33 | 0.000 % |
683.85/684.28 c | 661859 | 894 14208 47484 | 53618 48441 33 | 0.000 % |
684.64/685.00 c | 662401 | 894 14208 47484 | 53618 48983 33 | 0.000 % |
685.04/685.48 c | 662998 | 894 14208 47484 | 53618 49580 33 | 0.001 % |
685.74/686.14 c | 663653 | 894 14208 47484 | 53618 50235 33 | 0.000 % |
686.44/686.83 c | 664373 | 894 14208 47484 | 53618 50955 33 | 0.000 % |
687.24/687.63 c | 665165 | 894 14208 47484 | 53618 51747 33 | 0.001 % |
688.14/688.57 c | 666037 | 894 14208 47484 | 53618 52619 33 | 0.000 % |
689.04/689.49 c | 666995 | 894 14208 47484 | 53618 53577 33 | 0.001 % |
690.44/690.83 c | 668050 | 894 14208 47484 | 53618 49261 33 | 0.000 % |
691.74/692.16 c | 669209 | 894 14208 47484 | 53618 50420 33 | 0.000 % |
692.84/693.29 c | 670483 | 894 14208 47484 | 2147483647 51694 33 | 0.000 % |
694.04/694.48 c | 671883 | 894 14208 47484 | 2147483647 53094 33 | 0.000 % |
695.43/695.80 c | 673423 | 894 14208 47484 | 2147483647 54634 33 | 0.000 % |
696.83/697.30 c | 675118 | 894 14208 47484 | 2147483647 56329 34 | 0.000 % |
698.73/699.18 c | 676981 | 894 14208 47484 | 2147483647 58192 34 | 0.000 % |
700.63/701.09 c | 679031 | 894 14208 47484 | 2147483647 60242 34 | 0.000 % |
702.93/703.33 c | 681284 | 894 14208 47484 | 2147483647 62495 35 | 0.000 % |
705.33/705.72 c | 683762 | 894 14208 47484 | 2147483647 64973 35 | 0.000 % |
708.23/708.66 c | 686487 | 894 14208 47484 | 2147483647 67698 36 | 0.000 % |
711.33/711.73 c | 689484 | 894 14208 47484 | 2147483647 70695 36 | 0.000 % |
715.12/715.54 c | 692781 | 894 14208 47484 | 2147483647 73992 36 | 0.000 % |
719.32/719.76 c | 696406 | 894 14208 47484 | 2147483647 77617 36 | 0.000 % |
724.32/724.73 c | 700394 | 894 14208 47484 | 81211 69994 35 | 0.001 % |
729.42/729.83 c | 704779 | 894 14208 47484 | 81211 74379 36 | 0.000 % |
735.42/735.82 c | 709602 | 894 14208 47484 | 81211 79202 37 | 0.000 % |
741.51/741.92 c | 714907 | 894 14208 47484 | 79601 71398 36 | 0.000 % |
748.81/749.22 c | 720742 | 894 14208 47484 | 76491 63173 36 | 0.000 % |
756.51/756.99 c | 727160 | 894 14208 47484 | 76491 69591 37 | 0.000 % |
756.71/757.11 c | 727261 | 894 14208 47484 | 76491 69692 37 | 0.000 % |
756.81/757.25 c | 727374 | 894 14208 47484 | 76491 69805 37 | 0.000 % |
756.91/757.39 c | 727495 | 894 14208 47484 | 76491 69926 37 | 0.000 % |
757.11/757.58 c | 727628 | 894 14208 47484 | 76491 70059 37 | 0.000 % |
757.31/757.76 c | 727775 | 894 14208 47484 | 76491 70206 37 | 0.000 % |
757.51/757.95 c | 727936 | 894 14208 47484 | 76491 70367 37 | 0.000 % |
757.70/758.15 c | 728113 | 894 14208 47484 | 76491 70544 37 | 0.000 % |
757.90/758.37 c | 728306 | 894 14208 47484 | 76491 70737 37 | 0.000 % |
758.10/758.57 c | 728518 | 894 14208 47484 | 76491 70949 37 | 0.000 % |
758.40/758.90 c | 728752 | 894 14208 47484 | 76491 71183 37 | 0.000 % |
758.70/759.12 c | 729008 | 894 14208 47484 | 76491 71439 37 | 0.001 % |
759.10/759.55 c | 729290 | 894 14208 47484 | 76491 71721 37 | 0.001 % |
759.50/760.00 c | 729599 | 894 14208 47484 | 76491 72030 37 | 0.000 % |
759.90/760.36 c | 729938 | 894 14208 47484 | 76491 72369 37 | 0.000 % |
760.60/761.01 c | 730310 | 894 14208 47484 | 72431 59306 36 | 0.000 % |
761.00/761.49 c | 730720 | 894 14208 47484 | 72431 59716 36 | 0.001 % |
761.60/762.05 c | 731170 | 894 14208 47484 | 72431 60166 36 | 0.001 % |
762.20/762.64 c | 731664 | 894 14208 47484 | 72431 60660 36 | 0.000 % |
762.90/763.33 c | 732206 | 894 14208 47484 | 72431 61202 36 | 0.000 % |
763.70/764.11 c | 732803 | 894 14208 47484 | 72431 61799 36 | 0.000 % |
764.50/764.98 c | 733458 | 894 14208 47484 | 72431 62454 36 | 0.001 % |
765.50/765.94 c | 734178 | 894 14208 47484 | 72431 63174 36 | 0.000 % |
766.60/767.07 c | 734970 | 894 14208 47484 | 72431 63966 36 | 0.000 % |
767.80/768.27 c | 735841 | 894 14208 47484 | 72431 64837 36 | 0.000 % |
769.10/769.51 c | 736799 | 894 14208 47484 | 72431 65795 36 | 0.000 % |
770.60/771.05 c | 737852 | 894 14208 47484 | 72431 66848 36 | 0.001 % |
772.09/772.56 c | 739011 | 894 14208 47484 | 72431 68007 36 | 0.001 % |
773.70/774.19 c | 740286 | 894 14208 47484 | 68997 57057 33 | 0.000 % |
775.40/775.82 c | 741686 | 894 14208 47484 | 68997 58457 33 | 0.000 % |
777.20/777.64 c | 743226 | 894 14208 47484 | 68997 59997 33 | 0.000 % |
779.10/779.58 c | 744920 | 894 14208 47484 | 68997 61691 33 | 0.000 % |
782.10/782.52 c | 746784 | 894 14208 47484 | 68997 63555 33 | 0.000 % |
784.90/785.38 c | 748833 | 894 14208 47484 | 68997 65604 34 | 0.000 % |
787.80/788.23 c | 751087 | 894 14208 47484 | 66771 57189 33 | 0.000 % |
791.69/792.17 c | 753565 | 894 14208 47484 | 66771 59667 33 | 0.000 % |
795.29/795.76 c | 756292 | 894 14208 47484 | 66771 62394 33 | 0.000 % |
798.79/799.25 c | 759290 | 894 14208 47484 | 66771 65392 33 | 0.000 % |
802.19/802.69 c | 762588 | 894 14208 47484 | 66102 58296 32 | 0.000 % |
806.39/806.82 c | 766213 | 894 14208 47484 | 66102 61921 32 | 0.001 % |
810.69/811.14 c | 770201 | 894 14208 47484 | 65709 54754 31 | 0.000 % |
814.98/815.44 c | 774586 | 894 14208 47484 | 65709 59139 31 | 0.000 % |
820.28/820.70 c | 779411 | 894 14208 47484 | 65709 63964 31 | 0.000 % |
825.78/826.28 c | 784717 | 894 14208 47484 | 64554 58142 32 | 0.000 % |
831.48/831.96 c | 790552 | 894 14208 47484 | 63426 56724 32 | 0.000 % |
840.37/840.84 c | 796971 | 894 14208 47484 | 63426 63143 32 | 0.000 % |
848.57/849.00 c | 804030 | 894 14208 47484 | 56877 52952 31 | 0.000 % |
848.57/849.09 c | 804131 | 894 14208 47484 | 56877 53053 31 | 0.000 % |
848.77/849.22 c | 804241 | 894 14208 47484 | 56877 53163 31 | 0.000 % |
848.87/849.33 c | 804363 | 894 14208 47484 | 56877 53285 31 | 0.000 % |
848.97/849.44 c | 804496 | 894 14208 47484 | 56877 53418 31 | 0.000 % |
849.07/849.57 c | 804642 | 894 14208 47484 | 56877 53564 31 | 0.000 % |
849.27/849.70 c | 804803 | 894 14208 47484 | 56877 53725 31 | 0.000 % |
849.37/849.89 c | 804982 | 894 14208 47484 | 56877 53904 31 | 0.001 % |
849.57/850.09 c | 805176 | 894 14208 47484 | 56877 54098 32 | 0.000 % |
849.87/850.35 c | 805388 | 894 14208 47484 | 56877 54310 32 | 0.001 % |
850.17/850.65 c | 805621 | 894 14208 47484 | 56877 54543 32 | 0.000 % |
850.47/850.98 c | 805877 | 894 14208 47484 | 56877 54799 32 | 0.000 % |
850.87/851.31 c | 806158 | 894 14208 47484 | 56877 55080 32 | 0.000 % |
851.27/851.73 c | 806467 | 894 14208 47484 | 56877 55389 32 | 0.001 % |
851.57/852.07 c | 806807 | 894 14208 47484 | 56877 55729 32 | 0.000 % |
851.97/852.47 c | 807180 | 894 14208 47484 | 56877 56102 32 | 0.000 % |
852.17/852.69 c | 807591 | 894 14208 47484 | 56877 56513 32 | 0.000 % |
852.57/853.06 c | 808041 | 894 14208 47484 | 56877 56963 32 | 0.000 % |
853.17/853.68 c | 808534 | 894 14208 47484 | 56877 50241 32 | 0.000 % |
853.67/854.16 c | 809078 | 894 14208 47484 | 56877 50785 32 | 0.000 % |
854.46/854.98 c | 809674 | 894 14208 47484 | 56877 51381 32 | 0.000 % |
855.27/855.78 c | 810330 | 894 14208 47484 | 51707 45230 32 | 0.000 % |
856.06/856.57 c | 811051 | 894 14208 47484 | 51707 45951 32 | 0.000 % |
857.06/857.53 c | 811843 | 894 14208 47484 | 51707 46743 32 | 0.000 % |
857.86/858.31 c | 812716 | 894 14208 47484 | 51707 47616 32 | 0.000 % |
858.86/859.33 c | 813674 | 894 14208 47484 | 51707 48574 32 | 0.000 % |
859.77/860.25 c | 814728 | 894 14208 47484 | 51707 49628 32 | 0.000 % |
860.56/861.08 c | 815886 | 894 14208 47484 | 51707 50786 32 | 0.000 % |
861.87/862.31 c | 817159 | 894 14208 47484 | 51707 45131 32 | 0.000 % |
863.06/863.55 c | 818559 | 894 14208 47484 | 51707 46531 32 | 0.000 % |
864.26/864.71 c | 820101 | 894 14208 47484 | 47972 48073 32 | 0.000 % |
865.36/865.89 c | 821795 | 894 14208 47484 | 47972 43393 31 | 0.000 % |
866.76/867.27 c | 823658 | 894 14208 47484 | 47972 45256 31 | 0.000 % |
868.76/869.27 c | 825707 | 894 14208 47484 | 47972 47305 31 | 0.001 % |
871.06/871.58 c | 827960 | 894 14208 47484 | 47972 44468 31 | 0.000 % |
873.45/873.99 c | 830438 | 894 14208 47484 | 2147483647 46946 31 | 0.000 % |
875.35/875.81 c | 833163 | 894 14208 47484 | 2147483647 49671 32 | 0.000 % |
878.05/878.56 c | 836162 | 894 14208 47484 | 2147483647 52670 33 | 0.001 % |
881.95/882.43 c | 839459 | 894 14208 47484 | 2147483647 55967 33 | 0.000 % |
885.75/886.22 c | 843086 | 894 14208 47484 | 56508 53168 33 | 0.000 % |
889.65/890.15 c | 847073 | 894 14208 47484 | 56508 51493 34 | 0.000 % |
893.25/893.79 c | 851460 | 894 14208 47484 | 2147483647 55880 34 | 0.000 % |
897.74/898.26 c | 856283 | 894 14208 47484 | 2147483647 60703 34 | 0.000 % |
903.84/904.35 c | 861591 | 894 14208 47484 | 64420 57866 33 | 0.000 % |
911.04/911.57 c | 867427 | 894 14208 47484 | 64420 63702 34 | 0.000 % |
918.04/918.59 c | 873846 | 894 14208 47484 | 55238 50593 34 | 0.000 % |
925.43/925.92 c | 880907 | 894 14208 47484 | 2147483647 52117 34 | 0.000 % |
935.73/936.25 c | 888672 | 894 14208 47484 | 2147483647 59882 35 | 0.000 % |
935.83/936.35 c | 888773 | 894 14208 47484 | 2147483647 59983 35 | 0.000 % |
935.93/936.49 c | 888884 | 894 14208 47484 | 2147483647 60094 35 | 0.000 % |
936.13/936.60 c | 889005 | 894 14208 47484 | 2147483647 60215 35 | 0.000 % |
936.23/936.75 c | 889139 | 894 14208 47484 | 2147483647 60349 35 | 0.000 % |
936.33/936.90 c | 889285 | 894 14208 47484 | 2147483647 60495 35 | 0.000 % |
936.53/937.04 c | 889445 | 894 14208 47484 | 2147483647 60655 35 | 0.000 % |
936.73/937.22 c | 889621 | 894 14208 47484 | 2147483647 60831 35 | 0.000 % |
936.93/937.44 c | 889814 | 894 14208 47484 | 2147483647 61024 35 | 0.000 % |
937.13/937.63 c | 890026 | 894 14208 47484 | 61210 61236 35 | 0.000 % |
937.53/938.05 c | 890260 | 894 14208 47484 | 61210 54603 35 | 0.000 % |
937.83/938.33 c | 890516 | 894 14208 47484 | 61210 54859 35 | 0.000 % |
938.13/938.68 c | 890797 | 894 14208 47484 | 61210 55140 35 | 0.001 % |
938.53/939.05 c | 891106 | 894 14208 47484 | 61210 55449 35 | 0.000 % |
938.93/939.49 c | 891448 | 894 14208 47484 | 61210 55791 35 | 0.000 % |
939.43/939.98 c | 891821 | 894 14208 47484 | 61210 56164 35 | 0.000 % |
939.73/940.29 c | 892230 | 894 14208 47484 | 61210 56573 35 | 0.000 % |
940.13/940.69 c | 892681 | 894 14208 47484 | 61210 57024 35 | 0.000 % |
940.73/941.23 c | 893175 | 894 14208 47484 | 61210 57518 35 | 0.000 % |
941.33/941.87 c | 893718 | 894 14208 47484 | 61210 58061 35 | 0.000 % |
942.13/942.69 c | 894314 | 894 14208 47484 | 61210 58657 35 | 0.000 % |
942.93/943.48 c | 894971 | 894 14208 47484 | 61210 59314 35 | 0.001 % |
943.92/944.46 c | 895693 | 894 14208 47484 | 61210 60036 35 | 0.001 % |
945.22/945.70 c | 896485 | 894 14208 47484 | 61210 60828 35 | 0.000 % |
946.42/946.90 c | 897356 | 894 14208 47484 | 61210 53187 35 | 0.000 % |
947.12/947.68 c | 898316 | 894 14208 47484 | 61210 54147 35 | 0.000 % |
948.12/948.64 c | 899370 | 894 14208 47484 | 61210 55201 35 | 0.000 % |
949.22/949.71 c | 900528 | 894 14208 47484 | 55831 49034 35 | 0.000 % |
950.52/951.08 c | 901802 | 894 14208 47484 | 55831 50308 35 | 0.000 % |
952.03/952.55 c | 903205 | 894 14208 47484 | 55831 51711 36 | 0.000 % |
953.72/954.22 c | 904746 | 894 14208 47484 | 55831 53252 36 | 0.000 % |
955.92/956.41 c | 906441 | 894 14208 47484 | 55831 54947 36 | 0.000 % |
957.92/958.43 c | 908305 | 894 14208 47484 | 55831 49973 36 | 0.000 % |
959.92/960.48 c | 910355 | 894 14208 47484 | 51670 45841 34 | 0.000 % |
962.52/963.05 c | 912609 | 894 14208 47484 | 51670 48095 35 | 0.000 % |
965.62/966.10 c | 915089 | 894 14208 47484 | 51670 50575 35 | 0.000 % |
968.82/969.37 c | 917815 | 894 14208 47484 | 51670 47729 35 | 0.000 % |
972.61/973.19 c | 920813 | 894 14208 47484 | 49914 45441 34 | 0.000 % |
976.41/976.93 c | 924110 | 894 14208 47484 | 49914 48738 35 | 0.000 % |
980.61/981.15 c | 927735 | 894 14208 47484 | 49914 47360 34 | 0.000 % |
985.21/985.76 c | 931724 | 894 14208 47484 | 2147483647 51349 34 | 0.000 % |
991.01/991.55 c | 936110 | 894 14208 47484 | 2147483647 55735 35 | 0.000 % |
998.40/998.90 c | 940933 | 894 14208 47484 | 59625 52515 34 | 0.000 % |
1006.01/1006.52 c | 946238 | 894 14208 47484 | 59625 57820 34 | 0.001 % |
1013.80/1014.39 c | 952073 | 894 14208 47484 | 53045 47710 32 | 0.000 % |
1022.69/1023.20 c | 958492 | 894 14208 47484 | 53045 47499 31 | 0.000 % |
1030.99/1031.56 c | 965551 | 894 14208 47484 | 49009 48972 30 | 0.000 % |
1038.09/1038.60 c | 973315 | 894 14208 47484 | 2147483647 51819 30 | 0.000 % |
1045.28/1045.81 c | 981858 | 894 14208 47484 | 2147483647 60362 30 | 0.000 % |
1045.38/1045.90 c | 981958 | 894 14208 47484 | 2147483647 60462 30 | 0.000 % |
1045.49/1046.01 c | 982068 | 894 14208 47484 | 2147483647 60572 30 | 0.000 % |
1045.59/1046.16 c | 982191 | 894 14208 47484 | 2147483647 60695 30 | 0.000 % |
1045.78/1046.30 c | 982325 | 894 14208 47484 | 2147483647 60829 30 | 0.000 % |
1045.88/1046.42 c | 982471 | 894 14208 47484 | 2147483647 60975 30 | 0.000 % |
1045.98/1046.57 c | 982631 | 894 14208 47484 | 2147483647 61135 30 | 0.000 % |
1046.18/1046.71 c | 982807 | 894 14208 47484 | 2147483647 61311 30 | 0.000 % |
1046.28/1046.86 c | 983000 | 894 14208 47484 | 2147483647 61504 31 | 0.000 % |
1046.48/1047.07 c | 983213 | 894 14208 47484 | 2147483647 61717 31 | 0.000 % |
1046.78/1047.37 c | 983446 | 894 14208 47484 | 2147483647 61950 31 | 0.000 % |
1047.08/1047.64 c | 983702 | 894 14208 47484 | 2147483647 62206 31 | 0.000 % |
1047.38/1047.98 c | 983984 | 894 14208 47484 | 2147483647 62488 31 | 0.000 % |
1047.79/1048.36 c | 984294 | 894 14208 47484 | 2147483647 62798 31 | 0.000 % |
1048.18/1048.76 c | 984634 | 894 14208 47484 | 2147483647 63138 31 | 0.000 % |
1048.68/1049.20 c | 985006 | 894 14208 47484 | 2147483647 63510 31 | 0.000 % |
1049.08/1049.68 c | 985415 | 894 14208 47484 | 2147483647 63919 31 | 0.000 % |
1049.68/1050.29 c | 985864 | 894 14208 47484 | 2147483647 64368 31 | 0.000 % |
1050.28/1050.81 c | 986359 | 894 14208 47484 | 2147483647 64863 31 | 0.000 % |
1050.78/1051.37 c | 986901 | 894 14208 47484 | 2147483647 65405 31 | 0.000 % |
1051.38/1051.92 c | 987497 | 894 14208 47484 | 2147483647 66001 31 | 0.000 % |
1052.18/1052.76 c | 988153 | 894 14208 47484 | 2147483647 66657 31 | 0.000 % |
1052.88/1053.47 c | 988874 | 894 14208 47484 | 2147483647 67378 31 | 0.000 % |
1053.68/1054.25 c | 989667 | 894 14208 47484 | 2147483647 68171 31 | 0.000 % |
1054.68/1055.20 c | 990540 | 894 14208 47484 | 68504 60588 30 | 0.000 % |
1055.48/1056.02 c | 991498 | 894 14208 47484 | 68504 61546 31 | 0.000 % |
1056.68/1057.23 c | 992551 | 894 14208 47484 | 68504 62599 31 | 0.000 % |
1058.18/1058.71 c | 993709 | 894 14208 47484 | 68504 63757 31 | 0.000 % |
1059.47/1060.05 c | 994983 | 894 14208 47484 | 68504 65031 32 | 0.000 % |
1060.88/1061.46 c | 996384 | 894 14208 47484 | 68504 66432 32 | 0.000 % |
1062.57/1063.16 c | 997924 | 894 14208 47484 | 68504 67972 32 | 0.000 % |
1064.47/1065.04 c | 999619 | 894 14208 47484 | 68504 60499 32 | 0.000 % |
1066.17/1066.75 c | 1001482 | 894 14208 47484 | 60882 53964 31 | 0.000 % |
1067.87/1068.48 c | 1003532 | 894 14208 47484 | 60882 56014 31 | 0.000 % |
1070.17/1070.71 c | 1005785 | 894 14208 47484 | 60882 58267 32 | 0.000 % |
1073.17/1073.71 c | 1008264 | 894 14208 47484 | 60882 60746 32 | 0.000 % |
1076.37/1076.91 c | 1010989 | 894 14208 47484 | 52886 46206 32 | 0.000 % |
1079.47/1080.05 c | 1013986 | 894 14208 47484 | 52886 49203 32 | 0.000 % |
1083.36/1083.98 c | 1017282 | 894 14208 47484 | 52886 52499 32 | 0.000 % |
1086.46/1087.08 c | 1020908 | 894 14208 47484 | 2147483647 50818 33 | 0.001 % |
1090.67/1091.28 c | 1024895 | 894 14208 47484 | 2147483647 54805 33 | 0.000 % |
1096.46/1097.06 c | 1029283 | 894 14208 47484 | 2147483647 59193 34 | 0.000 % |
1102.56/1103.10 c | 1034106 | 894 14208 47484 | 59910 57601 35 | 0.000 % |
1107.85/1108.40 c | 1039412 | 894 14208 47484 | 59910 54934 35 | 0.000 % |
1114.05/1114.67 c | 1045249 | 894 14208 47484 | 55523 52965 35 | 0.001 % |
1121.85/1122.45 c | 1051667 | 894 14208 47484 | 49848 44495 35 | 0.000 % |
1130.55/1131.16 c | 1058726 | 894 14208 47484 | 49848 46563 36 | 0.000 % |
1140.74/1141.30 c | 1066490 | 894 14208 47484 | 2147483647 54327 36 | 0.000 % |
1149.24/1149.87 c | 1075033 | 894 14208 47484 | 57838 55061 36 | 0.000 % |
1160.43/1161.08 c | 1084427 | 894 14208 47484 | 52023 49273 36 | 0.000 % |
1160.63/1161.23 c | 1084527 | 894 14208 47484 | 52023 49373 36 | 0.000 % |
1160.73/1161.36 c | 1084638 | 894 14208 47484 | 52023 49484 36 | 0.001 % |
1160.83/1161.48 c | 1084759 | 894 14208 47484 | 52023 49605 36 | 0.001 % |
1161.04/1161.62 c | 1084893 | 894 14208 47484 | 52023 49739 36 | 0.000 % |
1161.13/1161.76 c | 1085039 | 894 14208 47484 | 52023 49885 36 | 0.000 % |
1161.23/1161.85 c | 1085199 | 894 14208 47484 | 52023 50045 36 | 0.000 % |
1161.43/1162.00 c | 1085375 | 894 14208 47484 | 52023 50221 36 | 0.001 % |
1161.53/1162.16 c | 1085569 | 894 14208 47484 | 52023 50415 36 | 0.000 % |
1161.73/1162.35 c | 1085781 | 894 14208 47484 | 52023 50627 36 | 0.000 % |
1161.93/1162.53 c | 1086015 | 894 14208 47484 | 52023 50861 36 | 0.000 % |
1162.03/1162.65 c | 1086271 | 894 14208 47484 | 52023 51117 36 | 0.000 % |
1162.23/1162.89 c | 1086553 | 894 14208 47484 | 52023 51399 36 | 0.000 % |
1162.43/1163.06 c | 1086862 | 894 14208 47484 | 52023 51708 36 | 0.000 % |
1162.73/1163.34 c | 1087201 | 894 14208 47484 | 52023 52047 36 | 0.000 % |
1163.14/1163.71 c | 1087574 | 894 14208 47484 | 52023 46359 35 | 0.000 % |
1163.33/1163.92 c | 1087984 | 894 14208 47484 | 52023 46769 35 | 0.000 % |
1163.73/1164.38 c | 1088433 | 894 14208 47484 | 52023 47218 36 | 0.000 % |
1164.13/1164.79 c | 1088926 | 894 14208 47484 | 52023 47711 36 | 0.000 % |
1164.73/1165.32 c | 1089468 | 894 14208 47484 | 52023 48253 36 | 0.000 % |
1165.13/1165.77 c | 1090064 | 894 14208 47484 | 48788 48849 36 | 0.000 % |
1165.83/1166.45 c | 1090720 | 894 14208 47484 | 48788 44590 35 | 0.000 % |
1166.53/1167.17 c | 1091440 | 894 14208 47484 | 48788 45310 35 | 0.000 % |
1167.23/1167.88 c | 1092232 | 894 14208 47484 | 48788 46102 35 | 0.000 % |
1168.03/1168.63 c | 1093103 | 894 14208 47484 | 48788 46973 35 | 0.000 % |
1168.73/1169.33 c | 1094062 | 894 14208 47484 | 48788 47932 35 | 0.000 % |
1169.63/1170.27 c | 1095115 | 894 14208 47484 | 48788 44095 34 | 0.000 % |
1170.73/1171.35 c | 1096274 | 894 14208 47484 | 48788 45254 34 | 0.000 % |
1171.52/1172.18 c | 1097547 | 894 14208 47484 | 48788 46527 34 | 0.000 % |
1172.92/1173.52 c | 1098950 | 894 14208 47484 | 48788 47930 35 | 0.000 % |
1174.23/1174.89 c | 1100491 | 894 14208 47484 | 2147483647 44575 34 | 0.000 % |
1175.72/1176.38 c | 1102186 | 894 14208 47484 | 2147483647 46270 35 | 0.000 % |
1177.43/1178.01 c | 1104050 | 894 14208 47484 | 2147483647 48134 35 | 0.000 % |
1179.22/1179.83 c | 1106099 | 894 14208 47484 | 2147483647 50183 35 | 0.000 % |
1181.32/1181.93 c | 1108354 | 894 14208 47484 | 2147483647 52438 35 | 0.000 % |
1183.82/1184.46 c | 1110832 | 894 14208 47484 | 2147483647 54916 35 | 0.000 % |
1186.22/1186.90 c | 1113558 | 894 14208 47484 | 2147483647 57642 36 | 0.000 % |
1189.82/1190.44 c | 1116558 | 894 14208 47484 | 2147483647 60642 36 | 0.000 % |
1192.32/1192.97 c | 1119854 | 894 14208 47484 | 2147483647 63938 36 | 0.000 % |
1196.31/1196.94 c | 1123479 | 894 14208 47484 | 2147483647 67563 37 | 0.000 % |
1200.02/1200.60 HOME/SatELiteGTI: line 36: 17750 Terminated $MS $TMP.cnf $TMP.result
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832185-1242770226/watcher-1832185-1242770226 -o /tmp/evaluation-result-1832185-1242770226/solver-1832185-1242770226 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832185-1242770226.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.92 0.98 0.93 3/64 17744
/proc/meminfo: memFree=1972432/2055920 swapFree=4179748/4192956
[pid=17744] ppid=17742 vsize=5344 CPUtime=0
/proc/17744/stat : 17744 (SatELiteGTI) R 17742 17744 17628 0 -1 4194304 130 0 0 0 0 0 0 0 20 0 1 0 305056295 5472256 102 1992294400 4194304 4889804 548682068832 18446744073709551615 214919714531 0 0 4096 0 0 0 0 17 1 0 0
/proc/17744/statm: 1336 114 92 169 0 47 0
[startup+0.045334 s]
/proc/loadavg: 0.92 0.98 0.93 3/64 17744
/proc/meminfo: memFree=1972432/2055920 swapFree=4179748/4192956
[pid=17744] ppid=17742 vsize=5356 CPUtime=0
/proc/17744/stat : 17744 (SatELiteGTI) S 17742 17744 17628 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 305056295 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17744/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.102346 s]
/proc/loadavg: 0.92 0.98 0.93 3/64 17744
/proc/meminfo: memFree=1972432/2055920 swapFree=4179748/4192956
[pid=17744] ppid=17742 vsize=5356 CPUtime=0
/proc/17744/stat : 17744 (SatELiteGTI) S 17742 17744 17628 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 305056295 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17744/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.302382 s]
/proc/loadavg: 0.92 0.98 0.93 3/64 17744
/proc/meminfo: memFree=1972432/2055920 swapFree=4179748/4192956
[pid=17744] ppid=17742 vsize=5356 CPUtime=0.17
/proc/17744/stat : 17744 (SatELiteGTI) S 17742 17744 17628 0 -1 4194304 336 844 0 0 0 0 17 0 16 0 1 0 305056295 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17744/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 5356
[startup+0.702464 s]
/proc/loadavg: 0.92 0.98 0.93 3/64 17744
/proc/meminfo: memFree=1972432/2055920 swapFree=4179748/4192956
[pid=17744] ppid=17742 vsize=5356 CPUtime=0.17
/proc/17744/stat : 17744 (SatELiteGTI) S 17742 17744 17628 0 -1 4194304 336 844 0 0 0 0 17 0 16 0 1 0 305056295 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17744/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 5356
[startup+1.50164 s]
/proc/loadavg: 0.92 0.98 0.93 2/66 17750
/proc/meminfo: memFree=1969792/2055920 swapFree=4179748/4192956
[pid=17744] ppid=17742 vsize=5356 CPUtime=0.17
/proc/17744/stat : 17744 (SatELiteGTI) S 17742 17744 17628 0 -1 4194304 336 844 0 0 0 0 17 0 16 0 1 0 305056295 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17744/statm: 1339 239 197 169 0 50 0
[pid=17750] ppid=17744 vsize=3344 CPUtime=1.28
/proc/17750/stat : 17750 (minisat_static) R 17744 17744 17628 0 -1 4194304 545 0 0 0 128 0 0 0 25 0 1 0 305056316 3424256 531 1992294400 134512640 135215339 4294956240 18446744073709551615 134538488 0 0 4096 3 0 0 0 17 1 0 0
/proc/17750/statm: 836 531 76 171 0 663 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 8700
[startup+3.10198 s]
/proc/loadavg: 0.92 0.98 0.93 2/66 17750
/proc/meminfo: memFree=1969536/2055920 swapFree=4179748/4192956
[pid=17744] ppid=17742 vsize=5356 CPUtime=0.17
/proc/17744/stat : 17744 (SatELiteGTI) S 17742 17744 17628 0 -1 4194304 336 844 0 0 0 0 17 0 16 0 1 0 305056295 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17744/statm: 1339 239 197 169 0 50 0
[pid=17750] ppid=17744 vsize=4416 CPUtime=2.87
/proc/17750/stat : 17750 (minisat_static) R 17744 17744 17628 0 -1 4194304 798 0 0 0 287 0 0 0 25 0 1 0 305056316 4521984 784 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 1 0 0
/proc/17750/statm: 1104 784 76 171 0 931 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 9772
[startup+6.30166 s]
/proc/loadavg: 0.93 0.98 0.93 2/66 17750
/proc/meminfo: memFree=1967168/2055920 swapFree=4179748/4192956
[pid=17744] ppid=17742 vsize=5356 CPUtime=0.17
/proc/17744/stat : 17744 (SatELiteGTI) S 17742 17744 17628 0 -1 4194304 336 844 0 0 0 0 17 0 16 0 1 0 305056295 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17744/statm: 1339 239 197 169 0 50 0
[pid=17750] ppid=17744 vsize=6292 CPUtime=6.07
/proc/17750/stat : 17750 (minisat_static) R 17744 17744 17628 0 -1 4194304 1253 0 0 0 606 1 0 0 25 0 1 0 305056316 6443008 1239 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17750/statm: 1573 1239 76 171 0 1400 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 11648
[startup+12.702 s]
/proc/loadavg: 0.93 0.98 0.93 2/66 17750
/proc/meminfo: memFree=1964352/2055920 swapFree=4179748/4192956
[pid=17744] ppid=17742 vsize=5356 CPUtime=0.17
/proc/17744/stat : 17744 (SatELiteGTI) S 17742 17744 17628 0 -1 4194304 336 844 0 0 0 0 17 0 16 0 1 0 305056295 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17744/statm: 1339 239 197 169 0 50 0
[pid=17750] ppid=17744 vsize=8832 CPUtime=12.46
/proc/17750/stat : 17750 (minisat_static) R 17744 17744 17628 0 -1 4194304 1896 0 0 0 1245 1 0 0 25 0 1 0 305056316 9043968 1882 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17750/statm: 2208 1882 76 171 0 2035 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 14188
[startup+25.5018 s]
/proc/loadavg: 0.95 0.98 0.93 2/66 17750
/proc/meminfo: memFree=1960640/2055920 swapFree=4179748/4192956
[pid=17744] ppid=17742 vsize=5356 CPUtime=0.17
/proc/17744/stat : 17744 (SatELiteGTI) S 17742 17744 17628 0 -1 4194304 336 844 0 0 0 0 17 0 16 0 1 0 305056295 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17744/statm: 1339 239 197 169 0 50 0
[pid=17750] ppid=17744 vsize=12352 CPUtime=25.26
/proc/17750/stat : 17750 (minisat_static) R 17744 17744 17628 0 -1 4194304 2781 0 0 0 2523 3 0 0 25 0 1 0 305056316 12648448 2767 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/17750/statm: 3088 2767 76 171 0 2915 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 17708
[startup+51.1022 s]
/proc/loadavg: 0.96 0.98 0.93 2/66 17750
/proc/meminfo: memFree=1956224/2055920 swapFree=4179748/4192956
[pid=17744] ppid=17742 vsize=5356 CPUtime=0.17
/proc/17744/stat : 17744 (SatELiteGTI) S 17742 17744 17628 0 -1 4194304 336 844 0 0 0 0 17 0 16 0 1 0 305056295 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17744/statm: 1339 239 197 169 0 50 0
[pid=17750] ppid=17744 vsize=16724 CPUtime=50.85
/proc/17750/stat : 17750 (minisat_static) R 17744 17744 17628 0 -1 4194304 3870 0 0 0 5081 4 0 0 25 0 1 0 305056316 17125376 3856 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17750/statm: 4181 3856 76 171 0 4008 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 22080
[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.93 2/66 17750
/proc/meminfo: memFree=1955968/2055920 swapFree=4179748/4192956
[pid=17744] ppid=17742 vsize=5356 CPUtime=0.17
/proc/17744/stat : 17744 (SatELiteGTI) S 17742 17744 17628 0 -1 4194304 336 844 0 0 0 0 17 0 16 0 1 0 305056295 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17744/statm: 1339 239 197 169 0 50 0
[pid=17750] ppid=17744 vsize=17004 CPUtime=102.04
/proc/17750/stat : 17750 (minisat_static) R 17744 17744 17628 0 -1 4194304 3925 0 0 0 10199 5 0 0 25 0 1 0 305056316 17412096 3911 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17750/statm: 4251 3911 76 171 0 4078 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 22360
[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.93 2/66 17750
/proc/meminfo: memFree=1955648/2055920 swapFree=4179748/4192956
[pid=17744] ppid=17742 vsize=5356 CPUtime=0.17
/proc/17744/stat : 17744 (SatELiteGTI) S 17742 17744 17628 0 -1 4194304 336 844 0 0 0 0 17 0 16 0 1 0 305056295 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17744/statm: 1339 239 197 169 0 50 0
[pid=17750] ppid=17744 vsize=17148 CPUtime=162.01
/proc/17750/stat : 17750 (minisat_static) R 17744 17744 17628 0 -1 4194304 3965 0 0 0 16196 5 0 0 25 0 1 0 305056316 17559552 3951 1992294400 134512640 135215339 4294956240 18446744073709551615 134529099 0 0 4096 3 0 0 0 17 1 0 0
/proc/17750/statm: 4287 3951 76 171 0 4114 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 22504
[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.93 2/66 17750
/proc/meminfo: memFree=1955456/2055920 swapFree=4179748/4192956
[pid=17744] ppid=17742 vsize=5356 CPUtime=0.17
/proc/17744/stat : 17744 (SatELiteGTI) S 17742 17744 17628 0 -1 4194304 336 844 0 0 0 0 17 0 16 0 1 0 305056295 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17744/statm: 1339 239 197 169 0 50 0
[pid=17750] ppid=17744 vsize=17288 CPUtime=221.99
/proc/17750/stat : 17750 (minisat_static) R 17744 17744 17628 0 -1 4194304 3985 0 0 0 22193 6 0 0 25 0 1 0 305056316 17702912 3971 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17750/statm: 4322 3971 76 171 0 4149 0
Current children cumulated CPU time (s) 222.16
Current children cumulated vsize (KiB) 22644
[startup+282.302 s]
/proc/loadavg: 1.07 1.01 0.94 2/66 17756
/proc/meminfo: memFree=1955192/2055920 swapFree=4179748/4192956
[pid=17744] ppid=17742 vsize=5356 CPUtime=0.17
/proc/17744/stat : 17744 (SatELiteGTI) S 17742 17744 17628 0 -1 4194304 336 844 0 0 0 0 17 0 16 0 1 0 305056295 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17744/statm: 1339 239 197 169 0 50 0
[pid=17750] ppid=17744 vsize=17288 CPUtime=281.96
/proc/17750/stat : 17750 (minisat_static) R 17744 17744 17628 0 -1 4194304 3987 0 0 0 28189 7 0 0 25 0 1 0 305056316 17702912 3973 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 1 0 0
/proc/17750/statm: 4322 3973 76 171 0 4149 0
Current children cumulated CPU time (s) 282.13
Current children cumulated vsize (KiB) 22644
[startup+342.302 s]
/proc/loadavg: 1.02 1.01 0.94 2/66 17756
/proc/meminfo: memFree=1955128/2055920 swapFree=4179748/4192956
[pid=17744] ppid=17742 vsize=5356 CPUtime=0.17
/proc/17744/stat : 17744 (SatELiteGTI) S 17742 17744 17628 0 -1 4194304 336 844 0 0 0 0 17 0 16 0 1 0 305056295 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17744/statm: 1339 239 197 169 0 50 0
[pid=17750] ppid=17744 vsize=17288 CPUtime=341.93
/proc/17750/stat : 17750 (minisat_static) R 17744 17744 17628 0 -1 4194304 3988 0 0 0 34186 7 0 0 25 0 1 0 305056316 17702912 3974 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/17750/statm: 4322 3974 76 171 0 4149 0
Current children cumulated CPU time (s) 342.1
Current children cumulated vsize (KiB) 22644
[startup+402.301 s]
/proc/loadavg: 1.01 1.00 0.94 2/66 17756
/proc/meminfo: memFree=1955064/2055920 swapFree=4179748/4192956
[pid=17744] ppid=17742 vsize=5356 CPUtime=0.17
/proc/17744/stat : 17744 (SatELiteGTI) S 17742 17744 17628 0 -1 4194304 336 844 0 0 0 0 17 0 16 0 1 0 305056295 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17744/statm: 1339 239 197 169 0 50 0
[pid=17750] ppid=17744 vsize=17288 CPUtime=401.9
/proc/17750/stat : 17750 (minisat_static) R 17744 17744 17628 0 -1 4194304 3988 0 0 0 40183 7 0 0 25 0 1 0 305056316 17702912 3974 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17750/statm: 4322 3974 76 171 0 4149 0
Current children cumulated CPU time (s) 402.07
Current children cumulated vsize (KiB) 22644
[startup+462.301 s]
################
# More data... #
################
[pid=17750] ppid=17744 vsize=17288 CPUtime=461.87
/proc/17750/stat : 17750 (minisat_static) R 17744 17744 17628 0 -1 4194304 3996 0 0 0 46180 7 0 0 25 0 1 0 305056316 17702912 3982 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17750/statm: 4322 3982 76 171 0 4149 0
Current children cumulated CPU time (s) 462.04
Current children cumulated vsize (KiB) 22644
[startup+522.301 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 17756
/proc/meminfo: memFree=1954872/2055920 swapFree=4179748/4192956
[pid=17744] ppid=17742 vsize=5356 CPUtime=0.17
/proc/17744/stat : 17744 (SatELiteGTI) S 17742 17744 17628 0 -1 4194304 336 844 0 0 0 0 17 0 16 0 1 0 305056295 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17744/statm: 1339 239 197 169 0 50 0
[pid=17750] ppid=17744 vsize=17432 CPUtime=521.84
/proc/17750/stat : 17750 (minisat_static) R 17744 17744 17628 0 -1 4194304 4010 0 0 0 52177 7 0 0 25 0 1 0 305056316 17850368 3996 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17750/statm: 4358 3996 76 171 0 4185 0
Current children cumulated CPU time (s) 522.01
Current children cumulated vsize (KiB) 22788
[startup+582.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 17756
/proc/meminfo: memFree=1954688/2055920 swapFree=4179748/4192956
[pid=17744] ppid=17742 vsize=5356 CPUtime=0.17
/proc/17744/stat : 17744 (SatELiteGTI) S 17742 17744 17628 0 -1 4194304 336 844 0 0 0 0 17 0 16 0 1 0 305056295 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17744/statm: 1339 239 197 169 0 50 0
[pid=17750] ppid=17744 vsize=17432 CPUtime=581.82
/proc/17750/stat : 17750 (minisat_static) R 17744 17744 17628 0 -1 4194304 4017 0 0 0 58174 8 0 0 25 0 1 0 305056316 17850368 4003 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/17750/statm: 4358 4003 76 171 0 4185 0
Current children cumulated CPU time (s) 581.99
Current children cumulated vsize (KiB) 22788
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 17756
/proc/meminfo: memFree=1954432/2055920 swapFree=4179748/4192956
[pid=17744] ppid=17742 vsize=5356 CPUtime=0.17
/proc/17744/stat : 17744 (SatELiteGTI) S 17742 17744 17628 0 -1 4194304 336 844 0 0 0 0 17 0 16 0 1 0 305056295 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17744/statm: 1339 239 197 169 0 50 0
[pid=17750] ppid=17744 vsize=17584 CPUtime=641.79
/proc/17750/stat : 17750 (minisat_static) R 17744 17744 17628 0 -1 4194304 4064 0 0 0 64171 8 0 0 25 0 1 0 305056316 18006016 4050 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17750/statm: 4396 4050 76 171 0 4223 0
Current children cumulated CPU time (s) 641.96
Current children cumulated vsize (KiB) 22940
[startup+702.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 17756
/proc/meminfo: memFree=1954240/2055920 swapFree=4179748/4192956
[pid=17744] ppid=17742 vsize=5356 CPUtime=0.17
/proc/17744/stat : 17744 (SatELiteGTI) S 17742 17744 17628 0 -1 4194304 336 844 0 0 0 0 17 0 16 0 1 0 305056295 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17744/statm: 1339 239 197 169 0 50 0
[pid=17750] ppid=17744 vsize=17772 CPUtime=701.76
/proc/17750/stat : 17750 (minisat_static) R 17744 17744 17628 0 -1 4194304 4078 0 0 0 70168 8 0 0 25 0 1 0 305056316 18198528 4064 1992294400 134512640 135215339 4294956240 18446744073709551615 134539007 0 0 4096 3 0 0 0 17 1 0 0
/proc/17750/statm: 4443 4064 76 171 0 4270 0
Current children cumulated CPU time (s) 701.93
Current children cumulated vsize (KiB) 23128
[startup+762.305 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 17756
/proc/meminfo: memFree=1952384/2055920 swapFree=4179748/4192956
[pid=17744] ppid=17742 vsize=5356 CPUtime=0.17
/proc/17744/stat : 17744 (SatELiteGTI) S 17742 17744 17628 0 -1 4194304 336 844 0 0 0 0 17 0 16 0 1 0 305056295 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17744/statm: 1339 239 197 169 0 50 0
[pid=17750] ppid=17744 vsize=19504 CPUtime=761.73
/proc/17750/stat : 17750 (minisat_static) R 17744 17744 17628 0 -1 4194304 4529 0 0 0 76165 8 0 0 25 0 1 0 305056316 19972096 4515 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 1 0 0
/proc/17750/statm: 4876 4515 76 171 0 4703 0
Current children cumulated CPU time (s) 761.9
Current children cumulated vsize (KiB) 24860
[startup+822.301 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 17756
/proc/meminfo: memFree=1952192/2055920 swapFree=4179748/4192956
[pid=17744] ppid=17742 vsize=5356 CPUtime=0.17
/proc/17744/stat : 17744 (SatELiteGTI) S 17742 17744 17628 0 -1 4194304 336 844 0 0 0 0 17 0 16 0 1 0 305056295 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17744/statm: 1339 239 197 169 0 50 0
[pid=17750] ppid=17744 vsize=19504 CPUtime=821.71
/proc/17750/stat : 17750 (minisat_static) R 17744 17744 17628 0 -1 4194304 4542 0 0 0 82162 9 0 0 25 0 1 0 305056316 19972096 4528 1992294400 134512640 135215339 4294956240 18446744073709551615 134528881 0 0 4096 3 0 0 0 17 1 0 0
/proc/17750/statm: 4876 4528 76 171 0 4703 0
Current children cumulated CPU time (s) 821.88
Current children cumulated vsize (KiB) 24860
[startup+882.301 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 17756
/proc/meminfo: memFree=1952128/2055920 swapFree=4179748/4192956
[pid=17744] ppid=17742 vsize=5356 CPUtime=0.17
/proc/17744/stat : 17744 (SatELiteGTI) S 17742 17744 17628 0 -1 4194304 336 844 0 0 0 0 17 0 16 0 1 0 305056295 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17744/statm: 1339 239 197 169 0 50 0
[pid=17750] ppid=17744 vsize=19504 CPUtime=881.68
/proc/17750/stat : 17750 (minisat_static) R 17744 17744 17628 0 -1 4194304 4543 0 0 0 88159 9 0 0 25 0 1 0 305056316 19972096 4529 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17750/statm: 4876 4529 76 171 0 4703 0
Current children cumulated CPU time (s) 881.85
Current children cumulated vsize (KiB) 24860
[startup+942.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 17756
/proc/meminfo: memFree=1952064/2055920 swapFree=4179748/4192956
[pid=17744] ppid=17742 vsize=5356 CPUtime=0.17
/proc/17744/stat : 17744 (SatELiteGTI) S 17742 17744 17628 0 -1 4194304 336 844 0 0 0 0 17 0 16 0 1 0 305056295 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17744/statm: 1339 239 197 169 0 50 0
[pid=17750] ppid=17744 vsize=19504 CPUtime=941.66
/proc/17750/stat : 17750 (minisat_static) R 17744 17744 17628 0 -1 4194304 4544 0 0 0 94157 9 0 0 25 0 1 0 305056316 19972096 4530 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17750/statm: 4876 4530 76 171 0 4703 0
Current children cumulated CPU time (s) 941.83
Current children cumulated vsize (KiB) 24860
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 17756
/proc/meminfo: memFree=1951936/2055920 swapFree=4179748/4192956
[pid=17744] ppid=17742 vsize=5356 CPUtime=0.17
/proc/17744/stat : 17744 (SatELiteGTI) S 17742 17744 17628 0 -1 4194304 336 844 0 0 0 0 17 0 16 0 1 0 305056295 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17744/statm: 1339 239 197 169 0 50 0
[pid=17750] ppid=17744 vsize=19504 CPUtime=1001.63
/proc/17750/stat : 17750 (minisat_static) R 17744 17744 17628 0 -1 4194304 4544 0 0 0 100154 9 0 0 25 0 1 0 305056316 19972096 4530 1992294400 134512640 135215339 4294956240 18446744073709551615 134529080 0 0 4096 3 0 0 0 17 1 0 0
/proc/17750/statm: 4876 4530 76 171 0 4703 0
Current children cumulated CPU time (s) 1001.8
Current children cumulated vsize (KiB) 24860
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 17756
/proc/meminfo: memFree=1951808/2055920 swapFree=4179748/4192956
[pid=17744] ppid=17742 vsize=5356 CPUtime=0.17
/proc/17744/stat : 17744 (SatELiteGTI) S 17742 17744 17628 0 -1 4194304 336 844 0 0 0 0 17 0 16 0 1 0 305056295 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17744/statm: 1339 239 197 169 0 50 0
[pid=17750] ppid=17744 vsize=19504 CPUtime=1061.6
/proc/17750/stat : 17750 (minisat_static) R 17744 17744 17628 0 -1 4194304 4549 0 0 0 106151 9 0 0 25 0 1 0 305056316 19972096 4535 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17750/statm: 4876 4535 76 171 0 4703 0
Current children cumulated CPU time (s) 1061.77
Current children cumulated vsize (KiB) 24860
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 17756
/proc/meminfo: memFree=1951744/2055920 swapFree=4179748/4192956
[pid=17744] ppid=17742 vsize=5356 CPUtime=0.17
/proc/17744/stat : 17744 (SatELiteGTI) S 17742 17744 17628 0 -1 4194304 336 844 0 0 0 0 17 0 16 0 1 0 305056295 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17744/statm: 1339 239 197 169 0 50 0
[pid=17750] ppid=17744 vsize=19504 CPUtime=1121.58
/proc/17750/stat : 17750 (minisat_static) R 17744 17744 17628 0 -1 4194304 4549 0 0 0 112149 9 0 0 25 0 1 0 305056316 19972096 4535 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17750/statm: 4876 4535 76 171 0 4703 0
Current children cumulated CPU time (s) 1121.75
Current children cumulated vsize (KiB) 24860
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 17756
/proc/meminfo: memFree=1951680/2055920 swapFree=4179748/4192956
[pid=17744] ppid=17742 vsize=5356 CPUtime=0.17
/proc/17744/stat : 17744 (SatELiteGTI) S 17742 17744 17628 0 -1 4194304 336 844 0 0 0 0 17 0 16 0 1 0 305056295 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17744/statm: 1339 239 197 169 0 50 0
[pid=17750] ppid=17744 vsize=19504 CPUtime=1181.55
/proc/17750/stat : 17750 (minisat_static) R 17744 17744 17628 0 -1 4194304 4549 0 0 0 118146 9 0 0 25 0 1 0 305056316 19972096 4535 1992294400 134512640 135215339 4294956240 18446744073709551615 134528691 0 0 4096 3 0 0 0 17 1 0 0
/proc/17750/statm: 4876 4535 76 171 0 4703 0
Current children cumulated CPU time (s) 1181.72
Current children cumulated vsize (KiB) 24860
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.6 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 17756
/proc/meminfo: memFree=1951680/2055920 swapFree=4179748/4192956
[pid=17744] ppid=17742 vsize=5356 CPUtime=0.17
/proc/17744/stat : 17744 (SatELiteGTI) S 17742 17744 17628 0 -1 4194304 336 844 0 0 0 0 17 0 16 0 1 0 305056295 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17744/statm: 1339 239 197 169 0 50 0
[pid=17750] ppid=17744 vsize=19504 CPUtime=1199.85
/proc/17750/stat : 17750 (minisat_static) R 17744 17744 17628 0 -1 4194304 4549 0 0 0 119976 9 0 0 25 0 1 0 305056316 19972096 4535 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17750/statm: 4876 4535 76 171 0 4703 0
Current children cumulated CPU time (s) 1200.02
Current children cumulated vsize (KiB) 24860
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.61
CPU time (s): 1200.05
CPU user time (s): 1199.94
CPU system time (s): 0.108983
CPU usage (%): 99.953
Max. virtual memory (cumulated for all children) (KiB): 24860
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.94
system time used= 0.108983
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5738
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= 30
involuntary context switches= 3542
runsolver used 1.43278 second user time and 3.02754 second system time
The end
Begin job on node10 at 2009-05-19 23:57:06
IDJOB=1832185
IDBENCH=24612
IDSOLVER=671
FILE ID=node10/1832185-1242770226
PBS_JOBID= 9322288
Free space on /tmp= 66388 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT07/crafted/Hard/contest04/connamacher/connm-ue-csp-sat-n1200-d0.00-s1875077647.sat05-530.reshuffled-07.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832185-1242770226/watcher-1832185-1242770226 -o /tmp/evaluation-result-1832185-1242770226/solver-1832185-1242770226 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832185-1242770226.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 378c3c007a4c6e49e4da1e6f32094183
RANDOM SEED=484181363
node10.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.263
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 : 5931.00
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.263
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: 1972848 kB
Buffers: 11168 kB
Cached: 36640 kB
SwapCached: 7612 kB
Active: 19852 kB
Inactive: 37108 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1972848 kB
SwapTotal: 4192956 kB
SwapFree: 4179748 kB
Dirty: 1800 kB
Writeback: 0 kB
Mapped: 14008 kB
Slab: 12192 kB
Committed_AS: 1036888 kB
PageTables: 1376 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= 66388 MiB
End job on node10 at 2009-05-20 00:17:09