0.00/0.00 c Parsing...
0.00/0.02 c ==============================================================================
0.00/0.02 c | | ORIGINAL | LEARNT | |
0.00/0.02 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.02 c ==============================================================================
0.00/0.02 c | 0 | 16800 50400 | 5039 0 0 nan | 0.000 % |
0.00/0.05 c | 0 | 16701 50689 | -- 0 -- -- | -- | -99/289
0.00/0.05 c ==============================================================================
0.00/0.05 c Result : #vars: 3906 #clauses: 16701 #literals: 50689
0.00/0.05 c CPU time: 0.048992 s
0.00/0.05 c ==============================================================================
0.00/0.07 c This is MiniSat 2.0 beta
0.00/0.07 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.07 c ============================[ Problem Statistics ]=============================
0.00/0.07 c | |
0.00/0.07 c | Number of variables: 3906 |
0.00/0.07 c | Number of clauses: 16701 |
0.00/0.08 c | Parsing time: 0.01 s |
0.00/0.08 c ============================[ Search Statistics ]==============================
0.00/0.08 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.00/0.08 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.00/0.08 c ===============================================================================
0.00/0.08 c | 0 | 3906 16701 50689 | 5567 0 nan | 0.000 % |
0.00/0.10 c | 100 | 3906 16701 50689 | 5567 100 91 | 0.000 % |
0.06/0.11 c | 203 | 3906 16701 50689 | 5567 203 93 | 0.000 % |
0.06/0.12 c | 304 | 3906 16701 50689 | 5567 304 92 | 0.000 % |
0.06/0.13 c | 414 | 3906 16701 50689 | 5567 414 93 | 0.000 % |
0.06/0.15 c | 514 | 3906 16701 50689 | 5567 514 91 | 0.000 % |
0.06/0.16 c | 627 | 3906 16701 50689 | 5567 627 88 | 0.000 % |
0.06/0.18 c | 751 | 3906 16701 50689 | 5567 751 87 | 0.000 % |
0.06/0.19 c | 851 | 3906 16701 50689 | 5567 851 87 | 0.000 % |
0.06/0.20 c | 965 | 3906 16701 50689 | 5567 965 87 | 0.000 % |
0.06/0.22 c | 1086 | 3906 16701 50689 | 5567 1086 85 | 0.000 % |
0.06/0.23 c | 1219 | 3906 16701 50689 | 5567 1219 87 | 0.000 % |
0.06/0.25 c | 1320 | 3906 16701 50689 | 5567 1320 86 | 0.000 % |
0.06/0.26 c | 1430 | 3906 16701 50689 | 5567 1430 87 | 0.000 % |
0.06/0.27 c | 1551 | 3906 16701 50689 | 5567 1551 88 | 0.000 % |
0.06/0.29 c | 1684 | 3906 16701 50689 | 5567 1684 90 | 0.000 % |
0.06/0.31 c | 1830 | 3906 16701 50689 | 5567 1830 90 | 0.000 % |
0.06/0.32 c | 1931 | 3906 16701 50689 | 5567 1931 90 | 0.000 % |
0.06/0.34 c | 2042 | 3906 16701 50689 | 5567 2042 91 | 0.000 % |
0.06/0.35 c | 2164 | 3906 16701 50689 | 5567 2164 90 | 0.000 % |
0.06/0.37 c | 2299 | 3906 16701 50689 | 5567 2299 89 | 0.000 % |
0.06/0.39 c | 2445 | 3906 16701 50689 | 5567 2445 90 | 0.000 % |
0.06/0.41 c | 2606 | 3906 16701 50689 | 5567 2606 91 | 0.000 % |
0.06/0.43 c | 2706 | 3906 16701 50689 | 5567 2706 91 | 0.000 % |
0.06/0.44 c | 2816 | 3906 16701 50689 | 5567 2816 91 | 0.000 % |
0.06/0.46 c | 2938 | 3906 16701 50689 | 5567 2938 92 | 0.000 % |
0.06/0.47 c | 3071 | 3906 16701 50689 | 5567 3071 92 | 0.000 % |
0.06/0.49 c | 3217 | 3906 16701 50689 | 5567 3217 91 | 0.000 % |
0.06/0.52 c | 3377 | 3906 16701 50689 | 5567 3377 91 | 0.000 % |
0.06/0.54 c | 3553 | 3906 16701 50689 | 5567 3553 92 | 0.000 % |
0.06/0.55 c | 3653 | 3906 16701 50689 | 5567 3653 91 | 0.000 % |
0.06/0.57 c | 3763 | 3906 16701 50689 | 5567 3763 91 | 0.000 % |
0.06/0.58 c | 3886 | 3906 16701 50689 | 5567 3886 91 | 0.000 % |
0.06/0.60 c | 4020 | 3906 16701 50689 | 5567 4020 91 | 0.000 % |
0.06/0.62 c | 4166 | 3906 16701 50689 | 5567 4166 91 | 0.000 % |
0.06/0.64 c | 4326 | 3906 16701 50689 | 5567 4326 92 | 0.000 % |
0.06/0.67 c | 4502 | 3906 16701 50689 | 5567 4502 91 | 0.000 % |
0.06/0.70 c | 4697 | 3906 16701 50689 | 5567 4697 91 | 0.000 % |
0.06/0.71 c | 4797 | 3906 16701 50689 | 5567 4797 91 | 0.000 % |
0.06/0.73 c | 4910 | 3906 16701 50689 | 5567 4910 91 | 0.000 % |
0.06/0.74 c | 5032 | 3906 16701 50689 | 5567 5032 91 | 0.000 % |
0.06/0.76 c | 5165 | 3906 16701 50689 | 5567 5165 91 | 0.000 % |
0.06/0.78 c | 5312 | 3906 16701 50689 | 5567 5312 91 | 0.000 % |
0.06/0.81 c | 5474 | 3906 16701 50689 | 5567 5474 92 | 0.000 % |
0.06/0.83 c | 5652 | 3906 16701 50689 | 5567 5652 91 | 0.000 % |
0.06/0.86 c | 5845 | 3906 16701 50689 | 5567 5280 91 | 0.000 % |
0.06/0.89 c | 6057 | 3906 16701 50689 | 5567 5492 91 | 0.000 % |
0.06/0.91 c | 6157 | 3906 16701 50689 | 5567 5592 91 | 0.000 % |
0.06/0.93 c | 6267 | 3906 16701 50689 | 5567 5143 92 | 0.000 % |
0.06/0.94 c | 6388 | 3906 16701 50689 | 5567 5264 92 | 0.000 % |
0.06/0.96 c | 6521 | 3906 16701 50689 | 5567 5397 92 | 0.000 % |
0.06/0.99 c | 6667 | 3906 16701 50689 | 5567 5543 92 | 0.000 % |
0.97/1.02 c | 6827 | 3906 16701 50689 | 5567 5703 93 | 0.000 % |
0.97/1.04 c | 7004 | 3906 16701 50689 | 5567 5310 92 | 0.000 % |
0.97/1.07 c | 7197 | 3906 16701 50689 | 5567 5503 92 | 0.000 % |
1.07/1.11 c | 7409 | 3906 16701 50689 | 5567 5715 92 | 0.000 % |
1.07/1.15 c | 7642 | 3906 16701 50689 | 5567 5377 92 | 0.000 % |
1.07/1.16 c | 7742 | 3906 16701 50689 | 5567 5477 92 | 0.000 % |
1.07/1.18 c | 7852 | 3906 16701 50689 | 5567 5587 92 | 0.000 % |
1.16/1.20 c | 7974 | 3906 16701 50689 | 5567 5151 91 | 0.000 % |
1.16/1.22 c | 8107 | 3906 16701 50689 | 5567 5284 91 | 0.000 % |
1.16/1.24 c | 8254 | 3906 16701 50689 | 5567 5431 91 | 0.000 % |
1.16/1.27 c | 8415 | 3906 16701 50689 | 5567 5592 92 | 0.000 % |
1.26/1.30 c | 8595 | 3906 16701 50689 | 5567 5213 93 | 0.000 % |
1.26/1.33 c | 8789 | 3906 16701 50689 | 5567 5407 93 | 0.000 % |
1.26/1.36 c | 9004 | 3906 16701 50689 | 5567 5622 93 | 0.000 % |
1.36/1.40 c | 9238 | 3906 16701 50689 | 5567 5294 94 | 0.000 % |
1.36/1.44 c | 9494 | 3906 16701 50689 | 5567 5550 93 | 0.000 % |
1.36/1.46 c | 9594 | 3906 16701 50689 | 5567 5650 94 | 0.000 % |
1.36/1.48 c | 9706 | 3906 16701 50689 | 5567 5197 94 | 0.000 % |
1.46/1.50 c | 9828 | 3906 16701 50689 | 5567 5319 94 | 0.000 % |
1.46/1.52 c | 9961 | 3906 16701 50689 | 5567 5452 94 | 0.000 % |
1.46/1.55 c | 10107 | 3906 16701 50689 | 2147483647 5598 94 | 0.000 % |
1.46/1.57 c | 10267 | 3906 16701 50689 | 2147483647 5758 94 | 0.000 % |
1.56/1.60 c | 10444 | 3906 16701 50689 | 2147483647 5935 94 | 0.000 % |
1.56/1.63 c | 10637 | 3906 16701 50689 | 2147483647 6128 94 | 0.000 % |
1.56/1.66 c | 10849 | 3906 16701 50689 | 2147483647 6340 94 | 0.000 % |
1.67/1.70 c | 11082 | 3906 16701 50689 | 2147483647 6573 95 | 0.000 % |
1.67/1.74 c | 11338 | 3906 16701 50689 | 2147483647 6829 95 | 0.000 % |
1.67/1.79 c | 11619 | 3906 16701 50689 | 2147483647 7110 95 | 0.000 % |
1.77/1.80 c | 11720 | 3906 16701 50689 | 2147483647 7211 95 | 0.000 % |
1.77/1.82 c | 11830 | 3906 16701 50689 | 2147483647 7321 95 | 0.000 % |
1.77/1.84 c | 11951 | 3906 16701 50689 | 2147483647 7442 94 | 0.000 % |
1.77/1.87 c | 12085 | 3906 16701 50689 | 2147483647 7576 95 | 0.000 % |
1.77/1.89 c | 12232 | 3906 16701 50689 | 2147483647 7723 95 | 0.000 % |
1.87/1.92 c | 12394 | 3906 16701 50689 | 2147483647 7885 95 | 0.000 % |
1.87/1.95 c | 12571 | 3906 16701 50689 | 2147483647 8062 95 | 0.000 % |
1.87/1.99 c | 12764 | 3906 16701 50689 | 2147483647 8255 95 | 0.000 % |
1.97/2.02 c | 12977 | 3906 16701 50689 | 2147483647 8468 95 | 0.000 % |
1.97/2.07 c | 13212 | 3906 16701 50689 | 2147483647 8703 95 | 0.000 % |
2.07/2.11 c | 13471 | 3906 16701 50689 | 2147483647 8962 95 | 0.000 % |
2.07/2.16 c | 13752 | 3906 16701 50689 | 2147483647 9243 95 | 0.000 % |
2.17/2.21 c | 14061 | 3906 16701 50689 | 2147483647 9552 95 | 0.000 % |
2.17/2.24 c | 14163 | 3906 16701 50689 | 2147483647 9654 95 | 0.000 % |
2.17/2.26 c | 14274 | 3906 16701 50689 | 2147483647 9765 95 | 0.000 % |
2.17/2.28 c | 14396 | 3906 16701 50689 | 2147483647 9887 95 | 0.000 % |
2.27/2.30 c | 14529 | 3906 16701 50689 | 2147483647 10020 95 | 0.000 % |
2.27/2.33 c | 14676 | 3906 16701 50689 | 2147483647 10167 95 | 0.000 % |
2.27/2.36 c | 14838 | 3906 16701 50689 | 2147483647 10329 95 | 0.000 % |
2.27/2.39 c | 15014 | 3906 16701 50689 | 2147483647 10505 95 | 0.000 % |
2.37/2.42 c | 15207 | 3906 16701 50689 | 2147483647 10698 95 | 0.000 % |
2.37/2.46 c | 15419 | 3906 16701 50689 | 2147483647 10910 95 | 0.000 % |
2.47/2.51 c | 15652 | 3906 16701 50689 | 2147483647 11143 95 | 0.000 % |
2.47/2.56 c | 15908 | 3906 16701 50689 | 2147483647 11399 95 | 0.000 % |
2.57/2.61 c | 16189 | 3906 16701 50689 | 2147483647 11680 95 | 0.000 % |
2.57/2.67 c | 16500 | 3906 16701 50689 | 2147483647 11991 95 | 0.000 % |
2.67/2.74 c | 16839 | 3906 16701 50689 | 2147483647 12330 96 | 0.000 % |
2.67/2.76 c | 16940 | 3906 16701 50689 | 2147483647 12431 96 | 0.000 % |
2.67/2.78 c | 17050 | 3906 16701 50689 | 2147483647 12541 96 | 0.000 % |
2.77/2.81 c | 17171 | 3906 16701 50689 | 2147483647 12662 96 | 0.000 % |
2.77/2.83 c | 17305 | 3906 16701 50689 | 2147483647 12796 96 | 0.000 % |
2.77/2.86 c | 17453 | 3906 16701 50689 | 2147483647 12944 96 | 0.000 % |
2.87/2.90 c | 17613 | 3906 16701 50689 | 2147483647 13104 96 | 0.000 % |
2.87/2.93 c | 17790 | 3906 16701 50689 | 2147483647 13281 96 | 0.000 % |
2.87/2.97 c | 17984 | 3906 16701 50689 | 2147483647 13475 96 | 0.000 % |
2.97/3.01 c | 18197 | 3906 16701 50689 | 2147483647 13688 96 | 0.000 % |
2.97/3.06 c | 18432 | 3906 16701 50689 | 2147483647 13923 96 | 0.000 % |
3.07/3.12 c | 18689 | 3906 16701 50689 | 2147483647 14180 96 | 0.000 % |
3.07/3.17 c | 18970 | 3906 16701 50689 | 2147483647 14461 96 | 0.000 % |
3.17/3.24 c | 19280 | 3906 16701 50689 | 2147483647 14771 97 | 0.000 % |
3.27/3.31 c | 19620 | 3906 16701 50689 | 2147483647 15111 97 | 0.000 % |
3.27/3.39 c | 19994 | 3906 16701 50689 | 2147483647 15485 97 | 0.000 % |
3.36/3.41 c | 20097 | 3906 16701 50689 | 2147483647 15588 97 | 0.000 % |
3.36/3.44 c | 20208 | 3906 16701 50689 | 2147483647 15699 97 | 0.000 % |
3.36/3.46 c | 20329 | 3906 16701 50689 | 2147483647 15820 97 | 0.000 % |
3.36/3.49 c | 20462 | 3906 16701 50689 | 2147483647 15953 97 | 0.000 % |
3.46/3.52 c | 20610 | 3906 16701 50689 | 2147483647 16101 97 | 0.000 % |
3.46/3.55 c | 20770 | 3906 16701 50689 | 2147483647 16261 97 | 0.000 % |
3.46/3.59 c | 20950 | 3906 16701 50689 | 2147483647 16441 97 | 0.000 % |
3.56/3.64 c | 21143 | 3906 16701 50689 | 2147483647 16634 97 | 0.000 % |
3.56/3.69 c | 21355 | 3906 16701 50689 | 2147483647 16846 97 | 0.000 % |
3.66/3.74 c | 21588 | 3906 16701 50689 | 2147483647 17079 97 | 0.000 % |
3.76/3.80 c | 21850 | 3906 16701 50689 | 2147483647 17341 97 | 0.000 % |
3.76/3.86 c | 22131 | 3906 16701 50689 | 2147483647 17622 97 | 0.000 % |
3.86/3.93 c | 22440 | 3906 16701 50689 | 2147483647 17931 97 | 0.000 % |
3.96/4.01 c | 22779 | 3906 16701 50689 | 2147483647 18270 97 | 0.000 % |
3.96/4.09 c | 23152 | 3906 16701 50689 | 2147483647 18643 97 | 0.000 % |
4.06/4.19 c | 23561 | 3906 16701 50689 | 2147483647 19052 97 | 0.000 % |
4.16/4.22 c | 23664 | 3906 16701 50689 | 2147483647 19155 97 | 0.000 % |
4.16/4.25 c | 23774 | 3906 16701 50689 | 2147483647 19265 97 | 0.000 % |
4.16/4.28 c | 23896 | 3906 16701 50689 | 2147483647 19387 97 | 0.000 % |
4.27/4.31 c | 24030 | 3906 16701 50689 | 2147483647 19521 97 | 0.000 % |
4.27/4.35 c | 24178 | 3906 16701 50689 | 2147483647 19669 97 | 0.000 % |
4.27/4.39 c | 24338 | 3906 16701 50689 | 2147483647 19829 97 | 0.000 % |
4.37/4.44 c | 24516 | 3906 16701 50689 | 2147483647 20007 97 | 0.000 % |
4.37/4.49 c | 24709 | 3906 16701 50689 | 2147483647 20200 97 | 0.000 % |
4.46/4.54 c | 24922 | 3906 16701 50689 | 2147483647 20413 97 | 0.000 % |
4.46/4.60 c | 25158 | 3906 16701 50689 | 2147483647 20649 97 | 0.000 % |
4.57/4.66 c | 25415 | 3906 16701 50689 | 2147483647 20906 97 | 0.000 % |
4.67/4.73 c | 25696 | 3906 16701 50689 | 2147483647 21187 97 | 0.000 % |
4.77/4.80 c | 26006 | 3906 16701 50689 | 2147483647 21497 97 | 0.000 % |
4.77/4.89 c | 26346 | 3906 16701 50689 | 2147483647 21837 97 | 0.000 % |
4.87/4.99 c | 26719 | 3906 16701 50689 | 2147483647 22210 98 | 0.000 % |
4.97/5.09 c | 27128 | 3906 16701 50689 | 2147483647 22619 98 | 0.000 % |
5.17/5.21 c | 27577 | 3906 16701 50689 | 2147483647 23068 98 | 0.000 % |
5.17/5.24 c | 27678 | 3906 16701 50689 | 2147483647 23169 98 | 0.000 % |
5.17/5.27 c | 27789 | 3906 16701 50689 | 2147483647 23280 98 | 0.000 % |
5.27/5.30 c | 27910 | 3906 16701 50689 | 2147483647 23401 98 | 0.000 % |
5.27/5.34 c | 28044 | 3906 16701 50689 | 2147483647 23535 98 | 0.000 % |
5.27/5.38 c | 28191 | 3906 16701 50689 | 2147483647 23682 98 | 0.000 % |
5.37/5.42 c | 28354 | 3906 16701 50689 | 2147483647 23845 98 | 0.000 % |
5.37/5.47 c | 28531 | 3906 16701 50689 | 2147483647 24022 98 | 0.000 % |
5.47/5.53 c | 28726 | 3906 16701 50689 | 2147483647 24217 98 | 0.000 % |
5.47/5.58 c | 28938 | 3906 16701 50689 | 2147483647 24429 98 | 0.000 % |
5.57/5.65 c | 29175 | 3906 16701 50689 | 2147483647 24666 98 | 0.000 % |
5.67/5.72 c | 29432 | 3906 16701 50689 | 2147483647 24923 98 | 0.000 % |
5.67/5.80 c | 29713 | 3906 16701 50689 | 2147483647 25204 98 | 0.000 % |
5.77/5.88 c | 30022 | 3906 16701 50689 | 2147483647 25513 98 | 0.000 % |
5.87/5.98 c | 30366 | 3906 16701 50689 | 2147483647 25857 98 | 0.000 % |
5.97/6.09 c | 30738 | 3906 16701 50689 | 2147483647 26229 98 | 0.000 % |
6.17/6.21 c | 31148 | 3906 16701 50689 | 2147483647 26639 98 | 0.000 % |
6.27/6.33 c | 31597 | 3906 16701 50689 | 2147483647 27088 98 | 0.000 % |
6.37/6.48 c | 32092 | 3906 16701 50689 | 2147483647 27583 98 | 0.000 % |
6.47/6.51 c | 32192 | 3906 16701 50689 | 2147483647 27683 98 | 0.000 % |
6.47/6.54 c | 32304 | 3906 16701 50689 | 2147483647 27795 98 | 0.000 % |
6.47/6.58 c | 32426 | 3906 16701 50689 | 2147483647 27917 98 | 0.000 % |
6.57/6.62 c | 32560 | 3906 16701 50689 | 2147483647 28051 98 | 0.000 % |
6.57/6.67 c | 32709 | 3906 16701 50689 | 2147483647 28200 99 | 0.000 % |
6.67/6.72 c | 32870 | 3906 16701 50689 | 2147483647 28361 98 | 0.000 % |
6.67/6.78 c | 33046 | 3906 16701 50689 | 2147483647 28537 98 | 0.000 % |
6.76/6.84 c | 33239 | 3906 16701 50689 | 2147483647 28730 98 | 0.000 % |
6.86/6.90 c | 33452 | 3906 16701 50689 | 2147483647 28943 98 | 0.000 % |
6.86/6.98 c | 33686 | 3906 16701 50689 | 2147483647 29177 98 | 0.000 % |
6.96/7.06 c | 33942 | 3906 16701 50689 | 2147483647 29433 98 | 0.000 % |
7.06/7.15 c | 34224 | 3906 16701 50689 | 2147483647 29715 98 | 0.000 % |
7.16/7.25 c | 34533 | 3906 16701 50689 | 2147483647 30024 99 | 0.000 % |
7.26/7.36 c | 34873 | 3906 16701 50689 | 2147483647 30364 99 | 0.000 % |
7.36/7.47 c | 35246 | 3906 16701 50689 | 2147483647 30737 99 | 0.000 % |
7.46/7.59 c | 35656 | 3906 16701 50689 | 2147483647 31147 99 | 0.000 % |
7.66/7.72 c | 36105 | 3906 16701 50689 | 2147483647 31596 99 | 0.000 % |
7.76/7.88 c | 36599 | 3906 16701 50689 | 2147483647 32090 99 | 0.000 % |
7.96/8.06 c | 37142 | 3906 16701 50689 | 2147483647 32633 99 | 0.000 % |
7.96/8.09 c | 37245 | 3906 16701 50689 | 2147483647 32736 99 | 0.000 % |
8.06/8.14 c | 37356 | 3906 16701 50689 | 2147483647 32847 99 | 0.000 % |
8.06/8.18 c | 37480 | 3906 16701 50689 | 2147483647 32971 99 | 0.000 % |
8.16/8.23 c | 37613 | 3906 16701 50689 | 2147483647 33104 99 | 0.000 % |
8.16/8.28 c | 37761 | 3906 16701 50689 | 2147483647 33252 99 | 0.000 % |
8.26/8.34 c | 37922 | 3906 16701 50689 | 2147483647 33413 99 | 0.000 % |
8.36/8.40 c | 38099 | 3906 16701 50689 | 2147483647 33590 99 | 0.000 % |
8.36/8.47 c | 38294 | 3906 16701 50689 | 2147483647 33785 99 | 0.000 % |
8.46/8.54 c | 38509 | 3906 16701 50689 | 2147483647 34000 99 | 0.000 % |
8.56/8.63 c | 38742 | 3906 16701 50689 | 2147483647 34233 99 | 0.000 % |
8.66/8.73 c | 39000 | 3906 16701 50689 | 2147483647 34491 99 | 0.000 % |
8.77/8.83 c | 39281 | 3906 16701 50689 | 2147483647 34772 99 | 0.000 % |
8.87/8.93 c | 39590 | 3906 16701 50689 | 2147483647 35081 99 | 0.000 % |
8.97/9.05 c | 39931 | 3906 16701 50689 | 2147483647 35422 99 | 0.000 % |
9.07/9.19 c | 40303 | 3906 16701 50689 | 2147483647 35794 99 | 0.000 % |
9.27/9.32 c | 40712 | 3906 16701 50689 | 2147483647 36203 99 | 0.000 % |
9.37/9.49 c | 41162 | 3906 16701 50689 | 2147483647 36653 99 | 0.000 % |
9.57/9.66 c | 41655 | 3906 16701 50689 | 2147483647 37146 99 | 0.000 % |
9.77/9.85 c | 42197 | 3906 16701 50689 | 2147483647 37688 100 | 0.000 % |
9.97/10.07 c | 42794 | 3906 16701 50689 | 2147483647 38285 100 | 0.000 % |
10.07/10.11 c | 42896 | 3906 16701 50689 | 2147483647 38387 99 | 0.000 % |
10.07/10.15 c | 43008 | 3906 16701 50689 | 2147483647 38499 99 | 0.000 % |
10.17/10.20 c | 43130 | 3906 16701 50689 | 2147483647 38621 99 | 0.000 % |
10.17/10.26 c | 43264 | 3906 16701 50689 | 2147483647 38755 99 | 0.000 % |
10.27/10.31 c | 43411 | 3906 16701 50689 | 2147483647 38902 99 | 0.000 % |
10.27/10.38 c | 43571 | 3906 16701 50689 | 2147483647 39062 99 | 0.000 % |
10.36/10.46 c | 43747 | 3906 16701 50689 | 2147483647 39238 99 | 0.000 % |
10.46/10.53 c | 43941 | 3906 16701 50689 | 2147483647 39432 99 | 0.000 % |
10.56/10.61 c | 44153 | 3906 16701 50689 | 2147483647 39644 99 | 0.000 % |
10.66/10.70 c | 44387 | 3906 16701 50689 | 2147483647 39878 99 | 0.000 % |
10.76/10.81 c | 44647 | 3906 16701 50689 | 2147483647 40138 99 | 0.000 % |
10.87/10.90 c | 44931 | 3906 16701 50689 | 2147483647 40422 99 | 0.000 % |
10.97/11.01 c | 45240 | 3906 16701 50689 | 2147483647 40731 99 | 0.000 % |
11.06/11.14 c | 45579 | 3906 16701 50689 | 2147483647 41070 100 | 0.000 % |
11.16/11.27 c | 45952 | 3906 16701 50689 | 2147483647 41443 100 | 0.000 % |
11.36/11.43 c | 46361 | 3906 16701 50689 | 2147483647 41852 100 | 0.000 % |
11.46/11.59 c | 46810 | 3906 16701 50689 | 2147483647 42301 100 | 0.000 % |
11.66/11.79 c | 47303 | 3906 16701 50689 | 2147483647 42794 100 | 0.000 % |
11.87/11.99 c | 47846 | 3906 16701 50689 | 2147483647 43337 100 | 0.000 % |
12.17/12.21 c | 48443 | 3906 16701 50689 | 2147483647 43934 100 | 0.000 % |
12.37/12.48 c | 49099 | 3906 16701 50689 | 2147483647 44590 100 | 0.000 % |
12.47/12.53 c | 49199 | 3906 16701 50689 | 2147483647 44690 100 | 0.000 % |
12.47/12.58 c | 49311 | 3906 16701 50689 | 2147483647 44802 100 | 0.000 % |
12.57/12.64 c | 49434 | 3906 16701 50689 | 2147483647 44925 100 | 0.000 % |
12.57/12.70 c | 49567 | 3906 16701 50689 | 2147483647 45058 100 | 0.000 % |
12.67/12.77 c | 49713 | 3906 16701 50689 | 2147483647 45204 100 | 0.000 % |
12.77/12.84 c | 49875 | 3906 16701 50689 | 2147483647 45366 100 | 0.000 % |
12.87/12.91 c | 50052 | 3906 16701 50689 | 2147483647 45543 100 | 0.000 % |
12.87/13.00 c | 50246 | 3906 16701 50689 | 2147483647 45737 100 | 0.000 % |
12.97/13.10 c | 50458 | 3906 16701 50689 | 2147483647 45949 100 | 0.000 % |
13.17/13.20 c | 50692 | 3906 16701 50689 | 2147483647 46183 100 | 0.000 % |
13.26/13.30 c | 50949 | 3906 16701 50689 | 2147483647 46440 100 | 0.000 % |
13.36/13.41 c | 51233 | 3906 16701 50689 | 2147483647 46724 100 | 0.000 % |
13.46/13.54 c | 51542 | 3906 16701 50689 | 2147483647 47033 100 | 0.000 % |
13.56/13.69 c | 51882 | 3906 16701 50689 | 2147483647 47373 100 | 0.000 % |
13.76/13.84 c | 52254 | 3906 16701 50689 | 2147483647 47745 100 | 0.000 % |
13.96/14.01 c | 52665 | 3906 16701 50689 | 2147483647 48156 100 | 0.000 % |
14.16/14.21 c | 53114 | 3906 16701 50689 | 2147483647 48605 100 | 0.000 % |
14.36/14.41 c | 53608 | 3906 16701 50689 | 2147483647 49099 100 | 0.000 % |
14.56/14.65 c | 54151 | 3906 16701 50689 | 2147483647 49642 100 | 0.000 % |
14.86/14.91 c | 54748 | 3906 16701 50689 | 2147483647 50239 100 | 0.000 % |
15.06/15.16 c | 55403 | 3906 16701 50689 | 2147483647 50894 100 | 0.000 % |
15.36/15.47 c | 56123 | 3906 16701 50689 | 2147483647 51614 100 | 0.000 % |
15.46/15.53 c | 56226 | 3906 16701 50689 | 2147483647 51717 100 | 0.000 % |
15.46/15.57 c | 56340 | 3906 16701 50689 | 2147483647 51831 100 | 0.000 % |
15.56/15.64 c | 56463 | 3906 16701 50689 | 2147483647 51954 100 | 0.000 % |
15.66/15.71 c | 56596 | 3906 16701 50689 | 2147483647 52087 100 | 0.000 % |
15.66/15.79 c | 56742 | 3906 16701 50689 | 2147483647 52233 100 | 0.000 % |
15.76/15.86 c | 56903 | 3906 16701 50689 | 2147483647 52394 100 | 0.000 % |
15.86/15.94 c | 57079 | 3906 16701 50689 | 2147483647 52570 100 | 0.000 % |
15.96/16.03 c | 57272 | 3906 16701 50689 | 2147483647 52763 100 | 0.000 % |
16.06/16.14 c | 57486 | 3906 16701 50689 | 2147483647 52977 100 | 0.000 % |
16.16/16.25 c | 57721 | 3906 16701 50689 | 2147483647 53212 100 | 0.000 % |
16.26/16.37 c | 57979 | 3906 16701 50689 | 2147483647 53470 100 | 0.000 % |
16.46/16.51 c | 58261 | 3906 16701 50689 | 2147483647 53752 100 | 0.000 % |
16.56/16.66 c | 58572 | 3906 16701 50689 | 2147483647 54063 100 | 0.000 % |
16.75/16.82 c | 58911 | 3906 16701 50689 | 2147483647 54402 100 | 0.000 % |
16.85/16.98 c | 59284 | 3906 16701 50689 | 2147483647 54775 100 | 0.000 % |
17.05/17.17 c | 59694 | 3906 16701 50689 | 2147483647 55185 100 | 0.000 % |
17.25/17.37 c | 60143 | 3906 16701 50689 | 2147483647 55634 100 | 0.000 % |
17.55/17.61 c | 60636 | 3906 16701 50689 | 2147483647 56127 100 | 0.000 % |
17.75/17.85 c | 61178 | 3906 16701 50689 | 2147483647 56669 100 | 0.000 % |
18.05/18.13 c | 61775 | 3906 16701 50689 | 2147483647 57266 100 | 0.000 % |
18.35/18.45 c | 62430 | 3906 16701 50689 | 2147483647 57921 100 | 0.000 % |
18.66/18.79 c | 63150 | 3906 16701 50689 | 2147483647 58641 100 | 0.000 % |
19.05/19.17 c | 63943 | 3906 16701 50689 | 2147483647 59434 100 | 0.000 % |
19.15/19.22 c | 64043 | 3906 16701 50689 | 2147483647 59534 100 | 0.000 % |
19.15/19.29 c | 64153 | 3906 16701 50689 | 2147483647 59644 100 | 0.000 % |
19.25/19.36 c | 64274 | 3906 16701 50689 | 2147483647 59765 100 | 0.000 % |
19.35/19.43 c | 64408 | 3906 16701 50689 | 2147483647 59899 100 | 0.000 % |
19.45/19.51 c | 64556 | 3906 16701 50689 | 2147483647 60047 100 | 0.000 % |
19.55/19.61 c | 64716 | 3906 16701 50689 | 2147483647 60207 100 | 0.000 % |
19.66/19.72 c | 64892 | 3906 16701 50689 | 2147483647 60383 100 | 0.000 % |
19.76/19.82 c | 65086 | 3906 16701 50689 | 2147483647 60577 100 | 0.000 % |
19.85/19.95 c | 65298 | 3906 16701 50689 | 2147483647 60789 100 | 0.000 % |
19.95/20.07 c | 65531 | 3906 16701 50689 | 2147483647 61022 100 | 0.000 % |
20.15/20.21 c | 65791 | 3906 16701 50689 | 2147483647 61282 100 | 0.000 % |
20.25/20.36 c | 66072 | 3906 16701 50689 | 2147483647 61563 100 | 0.000 % |
20.45/20.55 c | 66382 | 3906 16701 50689 | 2147483647 61873 100 | 0.000 % |
20.65/20.72 c | 66725 | 3906 16701 50689 | 2147483647 62216 100 | 0.000 % |
20.85/20.91 c | 67098 | 3906 16701 50689 | 2147483647 62589 100 | 0.000 % |
21.05/21.12 c | 67507 | 3906 16701 50689 | 2147483647 62998 100 | 0.000 % |
21.25/21.37 c | 67956 | 3906 16701 50689 | 2147483647 63447 100 | 0.000 % |
21.55/21.62 c | 68449 | 3906 16701 50689 | 2147483647 63940 101 | 0.000 % |
21.75/21.90 c | 68992 | 3906 16701 50689 | 2147483647 64483 101 | 0.000 % |
22.15/22.21 c | 69588 | 3906 16701 50689 | 2147483647 65079 101 | 0.000 % |
22.45/22.59 c | 70244 | 3906 16701 50689 | 2147483647 65735 101 | 0.000 % |
22.86/22.95 c | 70964 | 3906 16701 50689 | 2147483647 66455 101 | 0.000 % |
23.25/23.36 c | 71756 | 3906 16701 50689 | 2147483647 67247 101 | 0.000 % |
23.75/23.84 c | 72627 | 3906 16701 50689 | 2147483647 68118 101 | 0.000 % |
23.85/23.90 c | 72727 | 3906 16701 50689 | 2147483647 68218 101 | 0.000 % |
23.85/23.96 c | 72838 | 3906 16701 50689 | 2147483647 68329 101 | 0.000 % |
23.95/24.03 c | 72960 | 3906 16701 50689 | 2147483647 68451 101 | 0.000 % |
24.06/24.11 c | 73094 | 3906 16701 50689 | 2147483647 68585 101 | 0.000 % |
24.16/24.22 c | 73241 | 3906 16701 50689 | 2147483647 68732 101 | 0.000 % |
24.25/24.31 c | 73401 | 3906 16701 50689 | 2147483647 68892 101 | 0.000 % |
24.35/24.42 c | 73577 | 3906 16701 50689 | 2147483647 69068 101 | 0.000 % |
24.45/24.54 c | 73771 | 3906 16701 50689 | 2147483647 69262 101 | 0.000 % |
24.55/24.66 c | 73983 | 3906 16701 50689 | 2147483647 69474 101 | 0.000 % |
24.65/24.79 c | 74217 | 3906 16701 50689 | 2147483647 69708 101 | 0.000 % |
24.85/24.94 c | 74475 | 3906 16701 50689 | 2147483647 69966 101 | 0.000 % |
24.95/25.09 c | 74757 | 3906 16701 50689 | 2147483647 70248 101 | 0.000 % |
25.15/25.27 c | 75066 | 3906 16701 50689 | 2147483647 70557 101 | 0.000 % |
25.35/25.47 c | 75405 | 3906 16701 50689 | 2147483647 70896 101 | 0.000 % |
25.55/25.69 c | 75779 | 3906 16701 50689 | 2147483647 71270 101 | 0.000 % |
25.85/25.94 c | 76189 | 3906 16701 50689 | 2147483647 71680 101 | 0.000 % |
26.15/26.20 c | 76638 | 3906 16701 50689 | 2147483647 72129 101 | 0.000 % |
26.44/26.50 c | 77132 | 3906 16701 50689 | 2147483647 72623 101 | 0.000 % |
26.74/26.81 c | 77676 | 3906 16701 50689 | 2147483647 73167 101 | 0.000 % |
27.05/27.16 c | 78272 | 3906 16701 50689 | 2147483647 73763 101 | 0.000 % |
27.46/27.52 c | 78927 | 3906 16701 50689 | 2147483647 74418 101 | 0.000 % |
27.85/27.93 c | 79647 | 3906 16701 50689 | 2147483647 75138 101 | 0.000 % |
28.35/28.40 c | 80439 | 3906 16701 50689 | 2147483647 75930 101 | 0.000 % |
28.75/28.88 c | 81310 | 3906 16701 50689 | 2147483647 76801 102 | 0.000 % |
29.35/29.42 c | 82268 | 3906 16701 50689 | 2147483647 77759 102 | 0.000 % |
29.35/29.48 c | 82368 | 3906 16701 50689 | 2147483647 77859 102 | 0.000 % |
29.45/29.55 c | 82479 | 3906 16701 50689 | 2147483647 77970 102 | 0.000 % |
29.55/29.63 c | 82600 | 3906 16701 50689 | 2147483647 78091 102 | 0.000 % |
29.65/29.72 c | 82733 | 3906 16701 50689 | 2147483647 78224 102 | 0.000 % |
29.75/29.82 c | 82881 | 3906 16701 50689 | 2147483647 78372 102 | 0.000 % |
29.85/29.94 c | 83044 | 3906 16701 50689 | 2147483647 78535 102 | 0.000 % |
29.95/30.05 c | 83222 | 3906 16701 50689 | 2147483647 78713 102 | 0.000 % |
30.05/30.18 c | 83416 | 3906 16701 50689 | 2147483647 78907 102 | 0.000 % |
30.25/30.34 c | 83629 | 3906 16701 50689 | 2147483647 79120 102 | 0.000 % |
30.35/30.48 c | 83863 | 3906 16701 50689 | 2147483647 79354 102 | 0.000 % |
30.55/30.65 c | 84120 | 3906 16701 50689 | 2147483647 79611 102 | 0.000 % |
30.75/30.84 c | 84401 | 3906 16701 50689 | 2147483647 79892 102 | 0.000 % |
30.94/31.03 c | 84712 | 3906 16701 50689 | 2147483647 80203 102 | 0.000 % |
31.14/31.27 c | 85051 | 3906 16701 50689 | 2147483647 80542 102 | 0.000 % |
31.44/31.52 c | 85424 | 3906 16701 50689 | 2147483647 80915 102 | 0.000 % |
31.64/31.78 c | 85835 | 3906 16701 50689 | 2147483647 81326 102 | 0.000 % |
31.94/32.06 c | 86285 | 3906 16701 50689 | 2147483647 81776 102 | 0.000 % |
32.25/32.38 c | 86779 | 3906 16701 50689 | 2147483647 82270 102 | 0.000 % |
32.64/32.72 c | 87322 | 3906 16701 50689 | 2147483647 82813 102 | 0.000 % |
32.95/33.09 c | 87919 | 3906 16701 50689 | 2147483647 83410 102 | 0.000 % |
33.34/33.49 c | 88576 | 3906 16701 50689 | 2147483647 84067 102 | 0.000 % |
33.84/33.98 c | 89298 | 3906 16701 50689 | 2147483647 84789 102 | 0.000 % |
34.34/34.49 c | 90092 | 3906 16701 50689 | 2147483647 85583 102 | 0.000 % |
34.94/35.08 c | 90966 | 3906 16701 50689 | 2147483647 86457 102 | 0.000 % |
35.54/35.67 c | 91924 | 3906 16701 50689 | 2147483647 87415 103 | 0.000 % |
36.24/36.35 c | 92978 | 3906 16701 50689 | 2147483647 88469 103 | 0.000 % |
36.34/36.42 c | 93078 | 3906 16701 50689 | 2147483647 88569 102 | 0.000 % |
36.44/36.53 c | 93189 | 3906 16701 50689 | 2147483647 88680 102 | 0.000 % |
36.55/36.62 c | 93311 | 3906 16701 50689 | 2147483647 88802 102 | 0.000 % |
36.65/36.73 c | 93444 | 3906 16701 50689 | 2147483647 88935 102 | 0.000 % |
36.75/36.84 c | 93590 | 3906 16701 50689 | 2147483647 89081 102 | 0.000 % |
36.84/36.96 c | 93750 | 3906 16701 50689 | 2147483647 89241 102 | 0.000 % |
36.94/37.09 c | 93926 | 3906 16701 50689 | 2147483647 89417 102 | 0.000 % |
37.14/37.24 c | 94119 | 3906 16701 50689 | 2147483647 89610 102 | 0.000 % |
37.25/37.39 c | 94332 | 3906 16701 50689 | 2147483647 89823 102 | 0.000 % |
37.44/37.57 c | 94566 | 3906 16701 50689 | 2147483647 90057 102 | 0.000 % |
37.64/37.77 c | 94822 | 3906 16701 50689 | 2147483647 90313 102 | 0.000 % |
37.84/38.00 c | 95105 | 3906 16701 50689 | 2147483647 90596 102 | 0.000 % |
38.14/38.23 c | 95414 | 3906 16701 50689 | 2147483647 90905 102 | 0.000 % |
38.35/38.48 c | 95754 | 3906 16701 50689 | 2147483647 91245 102 | 0.000 % |
38.64/38.75 c | 96128 | 3906 16701 50689 | 2147483647 91619 102 | 0.000 % |
38.94/39.02 c | 96538 | 3906 16701 50689 | 2147483647 92029 102 | 0.000 % |
39.24/39.37 c | 96988 | 3906 16701 50689 | 2147483647 92479 102 | 0.000 % |
39.64/39.71 c | 97483 | 3906 16701 50689 | 2147483647 92974 102 | 0.000 % |
39.95/40.08 c | 98026 | 3906 16701 50689 | 2147483647 93517 102 | 0.000 % |
40.44/40.52 c | 98624 | 3906 16701 50689 | 2147483647 94115 102 | 0.000 % |
40.84/40.97 c | 99279 | 3906 16701 50689 | 2147483647 94770 102 | 0.000 % |
41.34/41.45 c | 100001 | 3906 16701 50689 | 2147483647 95492 102 | 0.000 % |
41.94/42.06 c | 100793 | 3906 16701 50689 | 2147483647 96284 102 | 0.000 % |
42.54/42.69 c | 101664 | 3906 16701 50689 | 2147483647 97155 102 | 0.000 % |
43.34/43.40 c | 102623 | 3906 16701 50689 | 2147483647 98114 102 | 0.000 % |
44.04/44.19 c | 103676 | 3906 16701 50689 | 2147483647 99167 103 | 0.000 % |
44.94/45.05 c | 104834 | 3906 16701 50689 | 2147483647 100325 103 | 0.000 % |
45.04/45.14 c | 104937 | 3906 16701 50689 | 2147483647 100428 103 | 0.000 % |
45.14/45.22 c | 105047 | 3906 16701 50689 | 2147483647 100538 103 | 0.000 % |
45.24/45.34 c | 105168 | 3906 16701 50689 | 2147483647 100659 103 | 0.000 % |
45.34/45.46 c | 105302 | 3906 16701 50689 | 2147483647 100793 103 | 0.000 % |
45.44/45.59 c | 105449 | 3906 16701 50689 | 2147483647 100940 103 | 0.000 % |
45.64/45.71 c | 105609 | 3906 16701 50689 | 2147483647 101100 103 | 0.000 % |
45.74/45.86 c | 105785 | 3906 16701 50689 | 2147483647 101276 103 | 0.000 % |
45.94/46.01 c | 105980 | 3906 16701 50689 | 2147483647 101471 103 | 0.000 % |
46.04/46.20 c | 106194 | 3906 16701 50689 | 2147483647 101685 103 | 0.000 % |
46.24/46.37 c | 106431 | 3906 16701 50689 | 2147483647 101922 103 | 0.000 % |
46.54/46.61 c | 106689 | 3906 16701 50689 | 2147483647 102180 103 | 0.000 % |
46.74/46.81 c | 106970 | 3906 16701 50689 | 2147483647 102461 103 | 0.000 % |
46.94/47.06 c | 107279 | 3906 16701 50689 | 2147483647 102770 103 | 0.000 % |
47.14/47.30 c | 107618 | 3906 16701 50689 | 2147483647 103109 103 | 0.000 % |
47.44/47.58 c | 107990 | 3906 16701 50689 | 2147483647 103481 103 | 0.000 % |
47.84/47.91 c | 108399 | 3906 16701 50689 | 2147483647 103890 103 | 0.000 % |
48.13/48.27 c | 108850 | 3906 16701 50689 | 2147483647 104341 103 | 0.000 % |
48.53/48.67 c | 109344 | 3906 16701 50689 | 2147483647 104835 103 | 0.000 % |
49.04/49.10 c | 109886 | 3906 16701 50689 | 2147483647 105377 103 | 0.000 % |
49.45/49.55 c | 110482 | 3906 16701 50689 | 2147483647 105973 103 | 0.000 % |
49.94/50.05 c | 111138 | 3906 16701 50689 | 2147483647 106629 103 | 0.000 % |
50.55/50.60 c | 111859 | 3906 16701 50689 | 2147483647 107350 103 | 0.000 % |
51.04/51.18 c | 112651 | 3906 16701 50689 | 2147483647 108142 103 | 0.000 % |
51.74/51.82 c | 113522 | 3906 16701 50689 | 2147483647 109013 103 | 0.000 % |
52.43/52.58 c | 114481 | 3906 16701 50689 | 2147483647 109972 103 | 0.000 % |
53.23/53.39 c | 115534 | 3906 16701 50689 | 2147483647 111025 103 | 0.000 % |
54.24/54.36 c | 116693 | 3906 16701 50689 | 2147483647 112184 103 | 0.000 % |
55.34/55.40 c | 117967 | 3906 16701 50689 | 2147483647 113458 103 | 0.000 % |
55.44/55.51 c | 118067 | 3906 16701 50689 | 2147483647 113558 103 | 0.000 % |
55.54/55.65 c | 118178 | 3906 16701 50689 | 2147483647 113669 103 | 0.000 % |
55.64/55.77 c | 118300 | 3906 16701 50689 | 2147483647 113791 103 | 0.000 % |
55.84/55.91 c | 118434 | 3906 16701 50689 | 2147483647 113925 103 | 0.000 % |
55.94/56.04 c | 118580 | 3906 16701 50689 | 2147483647 114071 103 | 0.000 % |
56.04/56.20 c | 118744 | 3906 16701 50689 | 2147483647 114235 103 | 0.000 % |
56.24/56.39 c | 118920 | 3906 16701 50689 | 2147483647 114411 103 | 0.000 % |
56.43/56.57 c | 119113 | 3906 16701 50689 | 2147483647 114604 103 | 0.000 % |
56.63/56.77 c | 119325 | 3906 16701 50689 | 2147483647 114816 103 | 0.000 % |
56.83/56.98 c | 119558 | 3906 16701 50689 | 2147483647 115049 103 | 0.000 % |
57.14/57.23 c | 119814 | 3906 16701 50689 | 2147483647 115305 103 | 0.000 % |
57.43/57.50 c | 120095 | 3906 16701 50689 | 2147483647 115586 103 | 0.000 % |
57.73/57.81 c | 120404 | 3906 16701 50689 | 2147483647 115895 103 | 0.000 % |
57.93/58.10 c | 120744 | 3906 16701 50689 | 2147483647 116235 103 | 0.000 % |
58.33/58.41 c | 121118 | 3906 16701 50689 | 2147483647 116609 103 | 0.000 % |
58.63/58.77 c | 121527 | 3906 16701 50689 | 2147483647 117018 103 | 0.000 % |
59.13/59.22 c | 121976 | 3906 16701 50689 | 2147483647 117467 103 | 0.000 % |
59.53/59.63 c | 122469 | 3906 16701 50689 | 2147483647 117960 103 | 0.000 % |
60.03/60.10 c | 123011 | 3906 16701 50689 | 2147483647 118502 103 | 0.000 % |
60.53/60.68 c | 123608 | 3906 16701 50689 | 2147483647 119099 103 | 0.000 % |
61.13/61.24 c | 124263 | 3906 16701 50689 | 2147483647 119754 103 | 0.000 % |
61.73/61.83 c | 124986 | 3906 16701 50689 | 2147483647 120477 104 | 0.000 % |
62.43/62.52 c | 125778 | 3906 16701 50689 | 2147483647 121269 104 | 0.000 % |
63.23/63.33 c | 126649 | 3906 16701 50689 | 2147483647 122140 104 | 0.000 % |
64.03/64.12 c | 127607 | 3906 16701 50689 | 2147483647 123098 104 | 0.000 % |
64.93/65.02 c | 128660 | 3906 16701 50689 | 2147483647 124151 104 | 0.000 % |
65.94/66.04 c | 129820 | 3906 16701 50689 | 2147483647 125311 104 | 0.000 % |
66.93/67.09 c | 131095 | 3906 16701 50689 | 2147483647 126586 104 | 0.000 % |
68.23/68.37 c | 132495 | 3906 16701 50689 | 2147483647 127986 104 | 0.000 % |
68.33/68.49 c | 132595 | 3906 16701 50689 | 2147483647 128086 104 | 0.000 % |
68.53/68.63 c | 132706 | 3906 16701 50689 | 2147483647 128197 104 | 0.000 % |
68.63/68.74 c | 132827 | 3906 16701 50689 | 2147483647 128318 104 | 0.000 % |
68.73/68.89 c | 132963 | 3906 16701 50689 | 2147483647 128454 104 | 0.000 % |
68.93/69.07 c | 133110 | 3906 16701 50689 | 2147483647 128601 104 | 0.000 % |
69.13/69.23 c | 133271 | 3906 16701 50689 | 2147483647 128762 104 | 0.000 % |
69.32/69.42 c | 133447 | 3906 16701 50689 | 2147483647 128938 104 | 0.000 % |
69.52/69.64 c | 133641 | 3906 16701 50689 | 2147483647 129132 104 | 0.000 % |
69.72/69.85 c | 133853 | 3906 16701 50689 | 2147483647 129344 104 | 0.000 % |
69.92/70.07 c | 134086 | 3906 16701 50689 | 2147483647 129577 104 | 0.000 % |
70.23/70.35 c | 134344 | 3906 16701 50689 | 2147483647 129835 104 | 0.000 % |
70.52/70.64 c | 134625 | 3906 16701 50689 | 2147483647 130116 104 | 0.000 % |
70.83/70.96 c | 134935 | 3906 16701 50689 | 2147483647 130426 104 | 0.000 % |
71.23/71.33 c | 135274 | 3906 16701 50689 | 2147483647 130765 104 | 0.000 % |
71.63/71.70 c | 135646 | 3906 16701 50689 | 2147483647 131137 104 | 0.000 % |
72.03/72.11 c | 136055 | 3906 16701 50689 | 2147483647 131546 104 | 0.000 % |
72.43/72.59 c | 136505 | 3906 16701 50689 | 2147483647 131996 104 | 0.000 % |
72.93/73.06 c | 136998 | 3906 16701 50689 | 2147483647 132489 104 | 0.000 % |
73.43/73.59 c | 137541 | 3906 16701 50689 | 2147483647 133032 104 | 0.000 % |
74.03/74.17 c | 138140 | 3906 16701 50689 | 2147483647 133631 104 | 0.000 % |
74.63/74.80 c | 138798 | 3906 16701 50689 | 2147483647 134289 104 | 0.000 % |
75.32/75.49 c | 139518 | 3906 16701 50689 | 2147483647 135009 104 | 0.000 % |
76.13/76.28 c | 140310 | 3906 16701 50689 | 2147483647 135801 104 | 0.000 % |
77.03/77.12 c | 141182 | 3906 16701 50689 | 2147483647 136673 104 | 0.000 % |
77.93/78.02 c | 142140 | 3906 16701 50689 | 2147483647 137631 104 | 0.000 % |
78.93/79.06 c | 143193 | 3906 16701 50689 | 2147483647 138684 104 | 0.000 % |
80.02/80.12 c | 144351 | 3906 16701 50689 | 2147483647 139842 104 | 0.000 % |
81.23/81.32 c | 145626 | 3906 16701 50689 | 2147483647 141117 104 | 0.000 % |
82.42/82.53 c | 147027 | 3906 16701 50689 | 2147483647 142518 104 | 0.000 % |
83.93/84.08 c | 148567 | 3906 16701 50689 | 2147483647 144058 104 | 0.000 % |
84.13/84.21 c | 148668 | 3906 16701 50689 | 2147483647 144159 104 | 0.000 % |
84.23/84.35 c | 148778 | 3906 16701 50689 | 2147483647 144269 104 | 0.000 % |
84.33/84.48 c | 148900 | 3906 16701 50689 | 2147483647 144391 104 | 0.000 % |
84.53/84.65 c | 149033 | 3906 16701 50689 | 2147483647 144524 104 | 0.000 % |
84.73/84.83 c | 149179 | 3906 16701 50689 | 2147483647 144670 104 | 0.000 % |
84.93/85.01 c | 149339 | 3906 16701 50689 | 2147483647 144830 104 | 0.000 % |
85.03/85.19 c | 149515 | 3906 16701 50689 | 2147483647 145006 104 | 0.000 % |
85.33/85.44 c | 149708 | 3906 16701 50689 | 2147483647 145199 104 | 0.000 % |
85.53/85.67 c | 149922 | 3906 16701 50689 | 2147483647 145413 104 | 0.000 % |
85.83/85.93 c | 150158 | 3906 16701 50689 | 2147483647 145649 104 | 0.000 % |
86.13/86.24 c | 150415 | 3906 16701 50689 | 2147483647 145906 104 | 0.000 % |
86.43/86.56 c | 150697 | 3906 16701 50689 | 2147483647 146188 104 | 0.000 % |
86.83/86.91 c | 151006 | 3906 16701 50689 | 2147483647 146497 104 | 0.000 % |
87.22/87.30 c | 151347 | 3906 16701 50689 | 2147483647 146838 104 | 0.000 % |
87.62/87.71 c | 151719 | 3906 16701 50689 | 2147483647 147210 104 | 0.000 % |
88.02/88.16 c | 152128 | 3906 16701 50689 | 2147483647 147619 104 | 0.000 % |
88.52/88.61 c | 152577 | 3906 16701 50689 | 2147483647 148068 104 | 0.000 % |
89.12/89.20 c | 153071 | 3906 16701 50689 | 2147483647 148562 104 | 0.000 % |
89.72/89.84 c | 153613 | 3906 16701 50689 | 2147483647 149104 104 | 0.000 % |
90.32/90.47 c | 154210 | 3906 16701 50689 | 2147483647 149701 104 | 0.000 % |
91.02/91.15 c | 154867 | 3906 16701 50689 | 2147483647 150358 104 | 0.000 % |
91.72/91.83 c | 155587 | 3906 16701 50689 | 2147483647 151078 105 | 0.000 % |
92.62/92.71 c | 156380 | 3906 16701 50689 | 2147483647 151871 105 | 0.000 % |
93.52/93.60 c | 157252 | 3906 16701 50689 | 2147483647 152743 105 | 0.000 % |
94.52/94.64 c | 158213 | 3906 16701 50689 | 2147483647 153704 105 | 0.000 % |
95.62/95.74 c | 159266 | 3906 16701 50689 | 2147483647 154757 105 | 0.000 % |
96.82/96.98 c | 160425 | 3906 16701 50689 | 2147483647 155916 105 | 0.000 % |
98.22/98.30 c | 161698 | 3906 16701 50689 | 2147483647 157189 105 | 0.000 % |
99.62/99.79 c | 163098 | 3906 16701 50689 | 2147483647 158589 105 | 0.000 % |
101.52/101.63 c | 164638 | 3906 16701 50689 | 2147483647 160129 105 | 0.000 % |
103.52/103.60 c | 166332 | 3906 16701 50689 | 2147483647 161823 105 | 0.000 % |
103.62/103.72 c | 166432 | 3906 16701 50689 | 2147483647 161923 105 | 0.000 % |
103.72/103.87 c | 166542 | 3906 16701 50689 | 2147483647 162033 105 | 0.000 % |
103.92/104.09 c | 166663 | 3906 16701 50689 | 2147483647 162154 105 | 0.000 % |
104.12/104.27 c | 166797 | 3906 16701 50689 | 2147483647 162288 105 | 0.000 % |
104.32/104.43 c | 166943 | 3906 16701 50689 | 2147483647 162434 105 | 0.000 % |
104.52/104.64 c | 167103 | 3906 16701 50689 | 2147483647 162594 105 | 0.000 % |
104.71/104.86 c | 167279 | 3906 16701 50689 | 2147483647 162770 105 | 0.000 % |
105.01/105.11 c | 167473 | 3906 16701 50689 | 2147483647 162964 105 | 0.000 % |
105.21/105.38 c | 167686 | 3906 16701 50689 | 2147483647 163177 105 | 0.000 % |
105.52/105.67 c | 167919 | 3906 16701 50689 | 2147483647 163410 105 | 0.000 % |
105.81/105.99 c | 168175 | 3906 16701 50689 | 2147483647 163666 105 | 0.000 % |
106.21/106.34 c | 168459 | 3906 16701 50689 | 2147483647 163950 105 | 0.000 % |
106.61/106.71 c | 168768 | 3906 16701 50689 | 2147483647 164259 105 | 0.000 % |
107.01/107.11 c | 169107 | 3906 16701 50689 | 2147483647 164598 105 | 0.000 % |
107.42/107.58 c | 169481 | 3906 16701 50689 | 2147483647 164972 105 | 0.000 % |
107.92/108.09 c | 169890 | 3906 16701 50689 | 2147483647 165381 105 | 0.000 % |
108.42/108.58 c | 170340 | 3906 16701 50689 | 2147483647 165831 105 | 0.000 % |
109.02/109.19 c | 170833 | 3906 16701 50689 | 2147483647 166324 105 | 0.000 % |
109.72/109.81 c | 171375 | 3906 16701 50689 | 2147483647 166866 105 | 0.000 % |
110.42/110.51 c | 171972 | 3906 16701 50689 | 2147483647 167463 105 | 0.000 % |
111.12/111.24 c | 172627 | 3906 16701 50689 | 2147483647 168118 105 | 0.000 % |
111.92/112.03 c | 173348 | 3906 16701 50689 | 2147483647 168839 105 | 0.000 % |
112.81/112.90 c | 174142 | 3906 16701 50689 | 2147483647 169633 105 | 0.000 % |
113.81/113.94 c | 175015 | 3906 16701 50689 | 2147483647 170506 105 | 0.000 % |
114.91/115.07 c | 175973 | 3906 16701 50689 | 2147483647 171464 106 | 0.000 % |
116.21/116.33 c | 177028 | 3906 16701 50689 | 2147483647 172519 106 | 0.000 % |
117.51/117.66 c | 178187 | 3906 16701 50689 | 2147483647 173678 106 | 0.000 % |
119.02/119.17 c | 179460 | 3906 16701 50689 | 2147483647 174951 106 | 0.000 % |
120.51/120.68 c | 180860 | 3906 16701 50689 | 2147483647 176351 106 | 0.000 % |
122.21/122.39 c | 182400 | 3906 16701 50689 | 2147483647 177891 106 | 0.000 % |
124.31/124.45 c | 184094 | 3906 16701 50689 | 2147483647 179585 106 | 0.000 % |
126.41/126.58 c | 185957 | 3906 16701 50689 | 2147483647 181448 107 | 0.000 % |
126.61/126.71 c | 186057 | 3906 16701 50689 | 2147483647 181548 107 | 0.000 % |
126.81/126.92 c | 186168 | 3906 16701 50689 | 2147483647 181659 107 | 0.000 % |
126.91/127.09 c | 186289 | 3906 16701 50689 | 2147483647 181780 106 | 0.000 % |
127.11/127.28 c | 186423 | 3906 16701 50689 | 2147483647 181914 106 | 0.000 % |
127.41/127.52 c | 186569 | 3906 16701 50689 | 2147483647 182060 106 | 0.000 % |
127.61/127.80 c | 186729 | 3906 16701 50689 | 2147483647 182220 106 | 0.000 % |
127.91/128.04 c | 186909 | 3906 16701 50689 | 2147483647 182400 106 | 0.000 % |
128.21/128.32 c | 187104 | 3906 16701 50689 | 2147483647 182595 106 | 0.000 % |
128.51/128.62 c | 187316 | 3906 16701 50689 | 2147483647 182807 106 | 0.000 % |
128.71/128.90 c | 187550 | 3906 16701 50689 | 2147483647 183041 106 | 0.000 % |
129.21/129.30 c | 187806 | 3906 16701 50689 | 2147483647 183297 106 | 0.000 % |
129.51/129.69 c | 188087 | 3906 16701 50689 | 2147483647 183578 106 | 0.000 % |
130.01/130.13 c | 188397 | 3906 16701 50689 | 2147483647 183888 106 | 0.000 % |
130.50/130.61 c | 188738 | 3906 16701 50689 | 2147483647 184229 106 | 0.000 % |
130.90/131.10 c | 189110 | 3906 16701 50689 | 2147483647 184601 106 | 0.000 % |
131.50/131.60 c | 189525 | 3906 16701 50689 | 2147483647 185016 106 | 0.000 % |
132.01/132.18 c | 189974 | 3906 16701 50689 | 2147483647 185465 106 | 0.000 % |
132.71/132.84 c | 190468 | 3906 16701 50689 | 2147483647 185959 106 | 0.000 % |
133.41/133.58 c | 191010 | 3906 16701 50689 | 2147483647 186501 106 | 0.000 % |
134.21/134.39 c | 191608 | 3906 16701 50689 | 2147483647 187099 106 | 0.000 % |
135.21/135.31 c | 192265 | 3906 16701 50689 | 2147483647 187756 106 | 0.000 % |
136.11/136.28 c | 192985 | 3906 16701 50689 | 2147483647 188476 106 | 0.000 % |
137.10/137.26 c | 193781 | 3906 16701 50689 | 2147483647 189272 106 | 0.000 % |
138.20/138.35 c | 194652 | 3906 16701 50689 | 2147483647 190143 106 | 0.000 % |
139.40/139.59 c | 195611 | 3906 16701 50689 | 2147483647 191102 106 | 0.000 % |
140.80/140.97 c | 196665 | 3906 16701 50689 | 2147483647 192156 106 | 0.000 % |
142.30/142.46 c | 197823 | 3906 16701 50689 | 2147483647 193314 106 | 0.000 % |
144.01/144.16 c | 199097 | 3906 16701 50689 | 2147483647 194588 106 | 0.000 % |
146.00/146.12 c | 200497 | 3906 16701 50689 | 2147483647 195988 106 | 0.000 % |
147.80/147.99 c | 202037 | 3906 16701 50689 | 2147483647 197528 106 | 0.000 % |
150.11/150.26 c | 203732 | 3906 16701 50689 | 2147483647 199223 106 | 0.000 % |
152.50/152.62 c | 205595 | 3906 16701 50689 | 2147483647 201086 106 | 0.000 % |
155.20/155.31 c | 207644 | 3906 16701 50689 | 2147483647 203135 107 | 0.000 % |
155.30/155.46 c | 207748 | 3906 16701 50689 | 2147483647 203239 107 | 0.000 % |
155.50/155.65 c | 207858 | 3906 16701 50689 | 2147483647 203349 107 | 0.000 % |
155.70/155.82 c | 207979 | 3906 16701 50689 | 2147483647 203470 107 | 0.000 % |
155.90/156.05 c | 208112 | 3906 16701 50689 | 2147483647 203603 107 | 0.000 % |
156.10/156.28 c | 208258 | 3906 16701 50689 | 2147483647 203749 107 | 0.000 % |
156.40/156.55 c | 208419 | 3906 16701 50689 | 2147483647 203910 107 | 0.000 % |
156.70/156.85 c | 208595 | 3906 16701 50689 | 2147483647 204086 107 | 0.000 % |
157.00/157.19 c | 208789 | 3906 16701 50689 | 2147483647 204280 107 | 0.000 % |
157.40/157.51 c | 209001 | 3906 16701 50689 | 2147483647 204492 107 | 0.000 % |
157.80/157.93 c | 209235 | 3906 16701 50689 | 2147483647 204726 107 | 0.000 % |
158.20/158.33 c | 209493 | 3906 16701 50689 | 2147483647 204984 107 | 0.000 % |
158.60/158.76 c | 209774 | 3906 16701 50689 | 2147483647 205265 107 | 0.000 % |
159.10/159.25 c | 210083 | 3906 16701 50689 | 2147483647 205574 107 | 0.000 % |
159.69/159.82 c | 210422 | 3906 16701 50689 | 2147483647 205913 107 | 0.000 % |
160.19/160.39 c | 210794 | 3906 16701 50689 | 2147483647 206285 107 | 0.000 % |
160.80/160.97 c | 211206 | 3906 16701 50689 | 2147483647 206697 107 | 0.000 % |
161.50/161.60 c | 211655 | 3906 16701 50689 | 2147483647 207146 107 | 0.000 % |
162.20/162.34 c | 212148 | 3906 16701 50689 | 2147483647 207639 107 | 0.000 % |
163.00/163.12 c | 212692 | 3906 16701 50689 | 2147483647 208183 107 | 0.000 % |
163.80/163.99 c | 213288 | 3906 16701 50689 | 2147483647 208779 107 | 0.000 % |
164.80/165.00 c | 213944 | 3906 16701 50689 | 2147483647 209435 107 | 0.000 % |
165.90/166.07 c | 214664 | 3906 16701 50689 | 2147483647 210155 107 | 0.000 % |
167.00/167.17 c | 215457 | 3906 16701 50689 | 2147483647 210948 107 | 0.000 % |
168.29/168.45 c | 216328 | 3906 16701 50689 | 2147483647 211819 107 | 0.000 % |
169.69/169.82 c | 217289 | 3906 16701 50689 | 2147483647 212780 107 | 0.000 % |
171.19/171.34 c | 218342 | 3906 16701 50689 | 2147483647 213833 107 | 0.000 % |
172.69/172.84 c | 219500 | 3906 16701 50689 | 2147483647 214991 107 | 0.000 % |
174.90/175.02 c | 220773 | 3906 16701 50689 | 215491 189771 107 | 0.000 % |
176.50/176.63 c | 222175 | 3906 16701 50689 | 215491 191173 107 | 0.000 % |
178.39/178.54 c | 223715 | 3906 16701 50689 | 215491 192713 107 | 0.000 % |
180.59/180.71 c | 225409 | 3906 16701 50689 | 215491 194407 108 | 0.000 % |
182.99/183.13 c | 227274 | 3906 16701 50689 | 215491 196272 108 | 0.000 % |
185.49/185.62 c | 229323 | 3906 16701 50689 | 215491 198321 108 | 0.000 % |
188.49/188.60 c | 231577 | 3906 16701 50689 | 2147483647 200575 108 | 0.000 % |
188.69/188.80 c | 231678 | 3906 16701 50689 | 2147483647 200676 108 | 0.000 % |
188.79/188.97 c | 231790 | 3906 16701 50689 | 2147483647 200788 108 | 0.000 % |
189.00/189.17 c | 231913 | 3906 16701 50689 | 2147483647 200911 108 | 0.000 % |
189.19/189.37 c | 232047 | 3906 16701 50689 | 2147483647 201045 108 | 0.000 % |
189.49/189.66 c | 232193 | 3906 16701 50689 | 2147483647 201191 108 | 0.000 % |
189.79/189.90 c | 232353 | 3906 16701 50689 | 2147483647 201351 108 | 0.000 % |
189.99/190.16 c | 232529 | 3906 16701 50689 | 2147483647 201527 108 | 0.000 % |
190.39/190.50 c | 232722 | 3906 16701 50689 | 2147483647 201720 108 | 0.000 % |
190.69/190.84 c | 232934 | 3906 16701 50689 | 2147483647 201932 108 | 0.000 % |
190.99/191.17 c | 233167 | 3906 16701 50689 | 2147483647 202165 108 | 0.000 % |
191.39/191.55 c | 233423 | 3906 16701 50689 | 2147483647 202421 108 | 0.000 % |
191.79/191.98 c | 233705 | 3906 16701 50689 | 2147483647 202703 108 | 0.000 % |
192.19/192.39 c | 234014 | 3906 16701 50689 | 2147483647 203012 108 | 0.000 % |
192.79/192.97 c | 234354 | 3906 16701 50689 | 2147483647 203352 108 | 0.000 % |
193.39/193.52 c | 234726 | 3906 16701 50689 | 2147483647 203724 108 | 0.000 % |
193.99/194.15 c | 235135 | 3906 16701 50689 | 2147483647 204133 108 | 0.000 % |
194.69/194.80 c | 235586 | 3906 16701 50689 | 2147483647 204584 108 | 0.000 % |
195.39/195.55 c | 236079 | 3906 16701 50689 | 2147483647 205077 108 | 0.000 % |
196.29/196.40 c | 236621 | 3906 16701 50689 | 2147483647 205619 108 | 0.000 % |
197.09/197.25 c | 237217 | 3906 16701 50689 | 2147483647 206215 108 | 0.000 % |
197.99/198.13 c | 237873 | 3906 16701 50689 | 2147483647 206871 108 | 0.000 % |
198.99/199.14 c | 238593 | 3906 16701 50689 | 2147483647 207591 108 | 0.000 % |
200.19/200.35 c | 239385 | 3906 16701 50689 | 2147483647 208383 108 | 0.000 % |
201.49/201.61 c | 240256 | 3906 16701 50689 | 208998 209254 108 | 0.000 % |
202.99/203.19 c | 241215 | 3906 16701 50689 | 208998 185572 108 | 0.000 % |
204.28/204.46 c | 242268 | 3906 16701 50689 | 208998 186625 108 | 0.000 % |
205.78/205.95 c | 243426 | 3906 16701 50689 | 208998 187783 108 | 0.000 % |
207.38/207.52 c | 244700 | 3906 16701 50689 | 208998 189057 108 | 0.000 % |
208.98/209.17 c | 246101 | 3906 16701 50689 | 208998 190458 108 | 0.000 % |
210.88/211.08 c | 247641 | 3906 16701 50689 | 208998 191998 108 | 0.000 % |
212.98/213.19 c | 249336 | 3906 16701 50689 | 208998 193693 108 | 0.000 % |
215.38/215.53 c | 251200 | 3906 16701 50689 | 2147483647 195557 108 | 0.000 % |
217.98/218.13 c | 253249 | 3906 16701 50689 | 2147483647 197606 108 | 0.000 % |
220.98/221.11 c | 255503 | 3906 16701 50689 | 2147483647 199860 108 | 0.000 % |
224.18/224.32 c | 257981 | 3906 16701 50689 | 2147483647 202338 109 | 0.000 % |
224.28/224.49 c | 258081 | 3906 16701 50689 | 2147483647 202438 109 | 0.000 % |
224.58/224.71 c | 258191 | 3906 16701 50689 | 2147483647 202548 109 | 0.000 % |
224.78/224.91 c | 258315 | 3906 16701 50689 | 2147483647 202672 109 | 0.000 % |
224.98/225.14 c | 258452 | 3906 16701 50689 | 2147483647 202809 109 | 0.000 % |
225.18/225.38 c | 258598 | 3906 16701 50689 | 2147483647 202955 109 | 0.000 % |
225.48/225.69 c | 258759 | 3906 16701 50689 | 2147483647 203116 109 | 0.000 % |
225.88/226.01 c | 258935 | 3906 16701 50689 | 2147483647 203292 109 | 0.000 % |
226.18/226.31 c | 259128 | 3906 16701 50689 | 2147483647 203485 109 | 0.000 % |
226.48/226.65 c | 259340 | 3906 16701 50689 | 2147483647 203697 109 | 0.000 % |
226.88/227.01 c | 259574 | 3906 16701 50689 | 2147483647 203931 109 | 0.000 % |
227.28/227.45 c | 259830 | 3906 16701 50689 | 2147483647 204187 109 | 0.000 % |
227.67/227.89 c | 260112 | 3906 16701 50689 | 2147483647 204469 108 | 0.000 % |
228.17/228.32 c | 260423 | 3906 16701 50689 | 2147483647 204780 108 | 0.000 % |
228.68/228.84 c | 260762 | 3906 16701 50689 | 2147483647 205119 108 | 0.000 % |
229.27/229.42 c | 261135 | 3906 16701 50689 | 2147483647 205492 108 | 0.000 % |
229.87/230.05 c | 261544 | 3906 16701 50689 | 2147483647 205901 108 | 0.000 % |
230.57/230.72 c | 261993 | 3906 16701 50689 | 2147483647 206350 108 | 0.000 % |
231.27/231.43 c | 262486 | 3906 16701 50689 | 2147483647 206843 108 | 0.000 % |
232.07/232.21 c | 263028 | 3906 16701 50689 | 2147483647 207385 108 | 0.000 % |
232.98/233.16 c | 263625 | 3906 16701 50689 | 2147483647 207982 108 | 0.000 % |
233.97/234.19 c | 264281 | 3906 16701 50689 | 2147483647 208638 108 | 0.000 % |
234.97/235.18 c | 265003 | 3906 16701 50689 | 2147483647 209360 108 | 0.000 % |
236.17/236.33 c | 265796 | 3906 16701 50689 | 2147483647 210153 109 | 0.000 % |
237.37/237.56 c | 266668 | 3906 16701 50689 | 2147483647 211025 109 | 0.000 % |
238.67/238.88 c | 267626 | 3906 16701 50689 | 2147483647 211983 109 | 0.000 % |
240.17/240.30 c | 268682 | 3906 16701 50689 | 2147483647 213039 109 | 0.000 % |
241.77/241.99 c | 269841 | 3906 16701 50689 | 2147483647 214198 109 | 0.000 % |
243.87/244.00 c | 271114 | 3906 16701 50689 | 214357 190631 110 | 0.000 % |
245.67/245.89 c | 272514 | 3906 16701 50689 | 214357 192031 110 | 0.000 % |
247.67/247.88 c | 274054 | 3906 16701 50689 | 214357 193571 110 | 0.000 % |
249.97/250.11 c | 275748 | 3906 16701 50689 | 214357 195265 110 | 0.000 % |
252.27/252.48 c | 277611 | 3906 16701 50689 | 214357 197128 110 | 0.000 % |
255.07/255.21 c | 279660 | 3906 16701 50689 | 214357 199177 110 | 0.000 % |
258.07/258.23 c | 281915 | 3906 16701 50689 | 2147483647 201432 110 | 0.000 % |
261.27/261.40 c | 284395 | 3906 16701 50689 | 2147483647 203912 110 | 0.000 % |
264.76/264.99 c | 287120 | 3906 16701 50689 | 2147483647 206637 110 | 0.000 % |
264.97/265.14 c | 287220 | 3906 16701 50689 | 2147483647 206737 110 | 0.000 % |
265.16/265.33 c | 287330 | 3906 16701 50689 | 2147483647 206847 110 | 0.000 % |
265.36/265.51 c | 287452 | 3906 16701 50689 | 2147483647 206969 110 | 0.000 % |
265.56/265.77 c | 287586 | 3906 16701 50689 | 2147483647 207103 110 | 0.000 % |
265.86/266.02 c | 287732 | 3906 16701 50689 | 2147483647 207249 110 | 0.000 % |
266.07/266.28 c | 287893 | 3906 16701 50689 | 2147483647 207410 110 | 0.000 % |
266.36/266.58 c | 288070 | 3906 16701 50689 | 2147483647 207587 110 | 0.000 % |
266.76/266.92 c | 288263 | 3906 16701 50689 | 2147483647 207780 110 | 0.000 % |
267.07/267.29 c | 288476 | 3906 16701 50689 | 2147483647 207993 110 | 0.000 % |
267.56/267.71 c | 288709 | 3906 16701 50689 | 2147483647 208226 110 | 0.000 % |
267.96/268.11 c | 288967 | 3906 16701 50689 | 2147483647 208484 110 | 0.000 % |
268.36/268.55 c | 289248 | 3906 16701 50689 | 2147483647 208765 110 | 0.000 % |
268.86/269.04 c | 289558 | 3906 16701 50689 | 2147483647 209075 110 | 0.000 % |
269.37/269.55 c | 289897 | 3906 16701 50689 | 2147483647 209414 110 | 0.000 % |
269.96/270.10 c | 290269 | 3906 16701 50689 | 209517 209786 110 | 0.000 % |
270.76/270.91 c | 290678 | 3906 16701 50689 | 209517 187139 110 | 0.000 % |
271.36/271.57 c | 291130 | 3906 16701 50689 | 209517 187591 110 | 0.000 % |
272.06/272.22 c | 291625 | 3906 16701 50689 | 209517 188086 110 | 0.000 % |
272.76/272.92 c | 292169 | 3906 16701 50689 | 209517 188630 110 | 0.000 % |
273.46/273.69 c | 292765 | 3906 16701 50689 | 209517 189226 110 | 0.000 % |
274.36/274.52 c | 293421 | 3906 16701 50689 | 209517 189882 110 | 0.000 % |
275.26/275.48 c | 294144 | 3906 16701 50689 | 209517 190605 110 | 0.000 % |
276.26/276.48 c | 294936 | 3906 16701 50689 | 209517 191397 110 | 0.000 % |
277.46/277.61 c | 295808 | 3906 16701 50689 | 209517 192269 110 | 0.000 % |
278.56/278.77 c | 296769 | 3906 16701 50689 | 209517 193230 110 | 0.000 % |
279.96/280.17 c | 297823 | 3906 16701 50689 | 209517 194284 110 | 0.000 % |
281.46/281.61 c | 298981 | 3906 16701 50689 | 209517 195442 110 | 0.000 % |
283.06/283.27 c | 300256 | 3906 16701 50689 | 2147483647 196717 110 | 0.000 % |
284.95/285.13 c | 301658 | 3906 16701 50689 | 2147483647 198119 110 | 0.000 % |
286.96/287.16 c | 303198 | 3906 16701 50689 | 2147483647 199659 110 | 0.000 % |
289.16/289.31 c | 304893 | 3906 16701 50689 | 2147483647 201354 110 | 0.000 % |
291.55/291.77 c | 306756 | 3906 16701 50689 | 2147483647 203217 110 | 0.000 % |
294.15/294.39 c | 308805 | 3906 16701 50689 | 2147483647 205266 110 | 0.000 % |
297.15/297.33 c | 311060 | 3906 16701 50689 | 2147483647 207521 111 | 0.000 % |
300.55/300.77 c | 313538 | 3906 16701 50689 | 2147483647 209999 111 | 0.000 % |
304.25/304.42 c | 316263 | 3906 16701 50689 | 2147483647 212724 111 | 0.000 % |
308.35/308.53 c | 319260 | 3906 16701 50689 | 2147483647 215721 111 | 0.000 % |
308.55/308.71 c | 319361 | 3906 16701 50689 | 2147483647 215822 111 | 0.000 % |
308.75/308.91 c | 319471 | 3906 16701 50689 | 2147483647 215932 111 | 0.000 % |
308.85/309.10 c | 319593 | 3906 16701 50689 | 2147483647 216054 111 | 0.000 % |
309.15/309.34 c | 319726 | 3906 16701 50689 | 2147483647 216187 111 | 0.000 % |
309.45/309.61 c | 319872 | 3906 16701 50689 | 2147483647 216333 111 | 0.000 % |
309.65/309.88 c | 320032 | 3906 16701 50689 | 216462 216493 111 | 0.000 % |
310.25/310.46 c | 320209 | 3906 16701 50689 | 216462 191900 111 | 0.000 % |
310.55/310.77 c | 320402 | 3906 16701 50689 | 216462 192093 111 | 0.000 % |
310.85/311.05 c | 320616 | 3906 16701 50689 | 216462 192307 110 | 0.000 % |
311.15/311.39 c | 320850 | 3906 16701 50689 | 216462 192541 110 | 0.000 % |
311.55/311.78 c | 321106 | 3906 16701 50689 | 216462 192797 110 | 0.000 % |
312.05/312.20 c | 321388 | 3906 16701 50689 | 216462 193079 110 | 0.000 % |
312.45/312.65 c | 321697 | 3906 16701 50689 | 216462 193388 110 | 0.000 % |
312.95/313.13 c | 322036 | 3906 16701 50689 | 216462 193727 110 | 0.000 % |
313.55/313.72 c | 322409 | 3906 16701 50689 | 216462 194100 110 | 0.000 % |
314.15/314.30 c | 322818 | 3906 16701 50689 | 216462 194509 110 | 0.000 % |
314.75/314.93 c | 323267 | 3906 16701 50689 | 216462 194958 110 | 0.000 % |
315.45/315.60 c | 323762 | 3906 16701 50689 | 216462 195453 110 | 0.000 % |
316.15/316.39 c | 324305 | 3906 16701 50689 | 216462 195996 110 | 0.000 % |
317.05/317.25 c | 324901 | 3906 16701 50689 | 216462 196592 110 | 0.000 % |
317.95/318.10 c | 325556 | 3906 16701 50689 | 216462 197247 110 | 0.000 % |
318.95/319.14 c | 326278 | 3906 16701 50689 | 216462 197969 110 | 0.000 % |
320.04/320.21 c | 327072 | 3906 16701 50689 | 216462 198763 110 | 0.000 % |
321.24/321.42 c | 327943 | 3906 16701 50689 | 216462 199634 110 | 0.000 % |
322.54/322.74 c | 328906 | 3906 16701 50689 | 216462 200597 110 | 0.000 % |
324.04/324.23 c | 329960 | 3906 16701 50689 | 216462 201651 110 | 0.000 % |
325.84/326.07 c | 331121 | 3906 16701 50689 | 201693 179172 111 | 0.000 % |
327.44/327.63 c | 332395 | 3906 16701 50689 | 201693 180446 111 | 0.000 % |
329.14/329.31 c | 333795 | 3906 16701 50689 | 201693 181846 111 | 0.000 % |
331.04/331.22 c | 335337 | 3906 16701 50689 | 201693 183388 111 | 0.000 % |
333.14/333.30 c | 337031 | 3906 16701 50689 | 201693 185082 111 | 0.000 % |
335.34/335.59 c | 338895 | 3906 16701 50689 | 201693 186946 111 | 0.000 % |
337.94/338.17 c | 340944 | 3906 16701 50689 | 2147483647 188995 111 | 0.000 % |
340.74/340.97 c | 343202 | 3906 16701 50689 | 2147483647 191253 111 | 0.000 % |
343.74/343.97 c | 345680 | 3906 16701 50689 | 2147483647 193731 112 | 0.000 % |
347.34/347.51 c | 348405 | 3906 16701 50689 | 2147483647 196456 112 | 0.000 % |
350.93/351.14 c | 351402 | 3906 16701 50689 | 2147483647 199453 112 | 0.000 % |
355.24/355.44 c | 354698 | 3906 16701 50689 | 2147483647 202749 112 | 0.000 % |
355.34/355.59 c | 354798 | 3906 16701 50689 | 2147483647 202849 112 | 0.000 % |
355.53/355.77 c | 354910 | 3906 16701 50689 | 2147483647 202961 112 | 0.000 % |
355.73/355.96 c | 355031 | 3906 16701 50689 | 2147483647 203082 112 | 0.000 % |
356.03/356.22 c | 355165 | 3906 16701 50689 | 2147483647 203216 112 | 0.000 % |
356.24/356.46 c | 355311 | 3906 16701 50689 | 2147483647 203362 112 | 0.000 % |
356.53/356.72 c | 355471 | 3906 16701 50689 | 2147483647 203522 112 | 0.000 % |
356.83/357.02 c | 355647 | 3906 16701 50689 | 2147483647 203698 112 | 0.000 % |
357.13/357.31 c | 355840 | 3906 16701 50689 | 2147483647 203891 112 | 0.000 % |
357.43/357.67 c | 356052 | 3906 16701 50689 | 2147483647 204103 112 | 0.000 % |
357.83/358.03 c | 356285 | 3906 16701 50689 | 2147483647 204336 112 | 0.000 % |
358.23/358.41 c | 356542 | 3906 16701 50689 | 2147483647 204593 112 | 0.000 % |
358.63/358.84 c | 356825 | 3906 16701 50689 | 2147483647 204876 112 | 0.000 % |
359.13/359.35 c | 357134 | 3906 16701 50689 | 2147483647 205185 112 | 0.000 % |
359.63/359.81 c | 357473 | 3906 16701 50689 | 2147483647 205524 112 | 0.000 % |
360.23/360.42 c | 357847 | 3906 16701 50689 | 2147483647 205898 112 | 0.000 % |
360.93/361.10 c | 358256 | 3906 16701 50689 | 2147483647 206307 112 | 0.000 % |
361.53/361.76 c | 358707 | 3906 16701 50689 | 2147483647 206758 112 | 0.000 % |
362.23/362.48 c | 359200 | 3906 16701 50689 | 2147483647 207251 112 | 0.000 % |
362.93/363.17 c | 359742 | 3906 16701 50689 | 2147483647 207793 112 | 0.000 % |
363.83/364.06 c | 360339 | 3906 16701 50689 | 208051 208390 112 | 0.000 % |
364.93/365.13 c | 360995 | 3906 16701 50689 | 208051 186933 112 | 0.000 % |
365.83/366.10 c | 361715 | 3906 16701 50689 | 208051 187653 112 | 0.000 % |
366.83/367.09 c | 362508 | 3906 16701 50689 | 208051 188446 112 | 0.000 % |
368.13/368.30 c | 363381 | 3906 16701 50689 | 208051 189319 112 | 0.000 % |
369.33/369.52 c | 364339 | 3906 16701 50689 | 208051 190277 112 | 0.000 % |
370.73/370.91 c | 365394 | 3906 16701 50689 | 208051 191332 112 | 0.000 % |
372.33/372.54 c | 366553 | 3906 16701 50689 | 208051 192491 112 | 0.000 % |
373.93/374.19 c | 367826 | 3906 16701 50689 | 208051 193764 112 | 0.000 % |
375.82/376.06 c | 369227 | 3906 16701 50689 | 208051 195165 112 | 0.000 % |
377.72/377.92 c | 370767 | 3906 16701 50689 | 2147483647 196705 112 | 0.000 % |
379.92/380.15 c | 372462 | 3906 16701 50689 | 2147483647 198400 112 | 0.000 % |
382.42/382.62 c | 374325 | 3906 16701 50689 | 2147483647 200263 112 | 0.000 % |
384.92/385.15 c | 376374 | 3906 16701 50689 | 2147483647 202312 112 | 0.000 % |
387.82/388.05 c | 378627 | 3906 16701 50689 | 2147483647 204565 112 | 0.000 % |
391.02/391.29 c | 381105 | 3906 16701 50689 | 2147483647 207043 112 | 0.000 % |
394.32/394.57 c | 383830 | 3906 16701 50689 | 2147483647 209768 112 | 0.000 % |
398.32/398.58 c | 386827 | 3906 16701 50689 | 2147483647 212765 112 | 0.000 % |
402.81/403.00 c | 390123 | 3906 16701 50689 | 2147483647 216061 113 | 0.000 % |
407.62/407.84 c | 393751 | 3906 16701 50689 | 2147483647 219689 113 | 0.000 % |
407.82/408.02 c | 393851 | 3906 16701 50689 | 2147483647 219789 113 | 0.000 % |
408.02/408.22 c | 393961 | 3906 16701 50689 | 2147483647 219899 113 | 0.000 % |
408.22/408.44 c | 394084 | 3906 16701 50689 | 2147483647 220022 113 | 0.000 % |
408.42/408.69 c | 394217 | 3906 16701 50689 | 2147483647 220155 113 | 0.000 % |
408.72/408.99 c | 394364 | 3906 16701 50689 | 2147483647 220302 113 | 0.000 % |
409.02/409.26 c | 394524 | 3906 16701 50689 | 2147483647 220462 113 | 0.000 % |
409.41/409.63 c | 394701 | 3906 16701 50689 | 2147483647 220639 113 | 0.000 % |
409.71/409.93 c | 394895 | 3906 16701 50689 | 2147483647 220833 113 | 0.000 % |
410.12/410.32 c | 395108 | 3906 16701 50689 | 2147483647 221046 113 | 0.000 % |
410.41/410.65 c | 395342 | 3906 16701 50689 | 2147483647 221280 113 | 0.000 % |
410.91/411.11 c | 395599 | 3906 16701 50689 | 2147483647 221537 113 | 0.000 % |
411.31/411.57 c | 395880 | 3906 16701 50689 | 2147483647 221818 113 | 0.000 % |
411.81/412.07 c | 396191 | 3906 16701 50689 | 2147483647 222129 113 | 0.000 % |
412.41/412.60 c | 396530 | 3906 16701 50689 | 2147483647 222468 113 | 0.000 % |
413.01/413.21 c | 396902 | 3906 16701 50689 | 2147483647 222840 113 | 0.000 % |
413.71/413.92 c | 397311 | 3906 16701 50689 | 2147483647 223249 113 | 0.000 % |
414.41/414.66 c | 397760 | 3906 16701 50689 | 2147483647 223698 113 | 0.000 % |
415.31/415.52 c | 398253 | 3906 16701 50689 | 2147483647 224191 113 | 0.000 % |
416.12/416.36 c | 398795 | 3906 16701 50689 | 2147483647 224733 112 | 0.000 % |
417.12/417.32 c | 399391 | 3906 16701 50689 | 2147483647 225329 112 | 0.000 % |
418.01/418.30 c | 400046 | 3906 16701 50689 | 225938 225984 112 | 0.000 % |
419.41/419.63 c | 400768 | 3906 16701 50689 | 225938 195768 112 | 0.000 % |
420.51/420.74 c | 401560 | 3906 16701 50689 | 225938 196560 112 | 0.000 % |
421.71/421.99 c | 402432 | 3906 16701 50689 | 225938 197432 112 | 0.000 % |
423.01/423.21 c | 403390 | 3906 16701 50689 | 225938 198390 113 | 0.000 % |
424.42/424.69 c | 404444 | 3906 16701 50689 | 225938 199444 112 | 0.000 % |
426.01/426.22 c | 405602 | 3906 16701 50689 | 225938 200602 112 | 0.000 % |
427.61/427.85 c | 406875 | 3906 16701 50689 | 225938 201875 112 | 0.000 % |
429.61/429.80 c | 408275 | 3906 16701 50689 | 225938 203275 112 | 0.000 % |
431.61/431.83 c | 409816 | 3906 16701 50689 | 225938 204816 112 | 0.000 % |
434.01/434.26 c | 411510 | 3906 16701 50689 | 205001 184880 112 | 0.000 % |
436.41/436.68 c | 413376 | 3906 16701 50689 | 205001 186746 112 | 0.000 % |
439.01/439.26 c | 415425 | 3906 16701 50689 | 205001 188795 112 | 0.000 % |
441.91/442.19 c | 417679 | 3906 16701 50689 | 205001 191049 112 | 0.000 % |
445.21/445.46 c | 420160 | 3906 16701 50689 | 2147483647 193530 113 | 0.000 % |
448.61/448.82 c | 422886 | 3906 16701 50689 | 2147483647 196256 113 | 0.000 % |
452.40/452.66 c | 425883 | 3906 16701 50689 | 2147483647 199253 113 | 0.000 % |
456.70/456.97 c | 429180 | 3906 16701 50689 | 2147483647 202550 113 | 0.000 % |
461.50/461.77 c | 432805 | 3906 16701 50689 | 2147483647 206175 113 | 0.000 % |
466.70/466.99 c | 436792 | 3906 16701 50689 | 2147483647 210162 113 | 0.000 % |
466.90/467.15 c | 436895 | 3906 16701 50689 | 2147483647 210265 113 | 0.000 % |
467.10/467.32 c | 437005 | 3906 16701 50689 | 2147483647 210375 113 | 0.000 % |
467.30/467.53 c | 437126 | 3906 16701 50689 | 2147483647 210496 113 | 0.000 % |
467.50/467.76 c | 437259 | 3906 16701 50689 | 2147483647 210629 113 | 0.000 % |
467.70/467.99 c | 437406 | 3906 16701 50689 | 2147483647 210776 113 | 0.000 % |
468.00/468.22 c | 437568 | 3906 16701 50689 | 2147483647 210938 113 | 0.000 % |
468.30/468.52 c | 437744 | 3906 16701 50689 | 2147483647 211114 113 | 0.000 % |
468.60/468.84 c | 437938 | 3906 16701 50689 | 2147483647 211308 113 | 0.000 % |
469.00/469.23 c | 438150 | 3906 16701 50689 | 2147483647 211520 113 | 0.000 % |
469.30/469.60 c | 438383 | 3906 16701 50689 | 2147483647 211753 113 | 0.000 % |
469.80/470.05 c | 438641 | 3906 16701 50689 | 2147483647 212011 113 | 0.000 % |
470.30/470.51 c | 438922 | 3906 16701 50689 | 2147483647 212292 113 | 0.000 % |
470.70/470.99 c | 439233 | 3906 16701 50689 | 2147483647 212603 113 | 0.000 % |
471.30/471.58 c | 439573 | 3906 16701 50689 | 2147483647 212943 113 | 0.000 % |
471.89/472.16 c | 439945 | 3906 16701 50689 | 2147483647 213315 113 | 0.000 % |
472.49/472.78 c | 440354 | 3906 16701 50689 | 2147483647 213724 113 | 0.000 % |
473.29/473.53 c | 440803 | 3906 16701 50689 | 2147483647 214173 113 | 0.000 % |
473.99/474.22 c | 441296 | 3906 16701 50689 | 2147483647 214666 113 | 0.000 % |
474.79/475.02 c | 441838 | 3906 16701 50689 | 2147483647 215208 113 | 0.000 % |
475.69/475.93 c | 442437 | 3906 16701 50689 | 2147483647 215807 113 | 0.000 % |
476.69/476.91 c | 443093 | 3906 16701 50689 | 2147483647 216463 113 | 0.000 % |
477.79/478.04 c | 443817 | 3906 16701 50689 | 2147483647 217187 113 | 0.000 % |
478.99/479.23 c | 444609 | 3906 16701 50689 | 2147483647 217979 113 | 0.000 % |
480.29/480.55 c | 445480 | 3906 16701 50689 | 2147483647 218850 113 | 0.000 % |
481.79/482.00 c | 446439 | 3906 16701 50689 | 2147483647 219809 113 | 0.000 % |
483.39/483.60 c | 447493 | 3906 16701 50689 | 2147483647 220863 113 | 0.000 % |
484.99/485.30 c | 448652 | 3906 16701 50689 | 2147483647 222022 113 | 0.000 % |
486.79/487.03 c | 449926 | 3906 16701 50689 | 2147483647 223296 113 | 0.000 % |
488.89/489.18 c | 451326 | 3906 16701 50689 | 223370 195748 113 | 0.000 % |
490.89/491.13 c | 452869 | 3906 16701 50689 | 223370 197291 113 | 0.000 % |
493.19/493.49 c | 454563 | 3906 16701 50689 | 223370 198985 113 | 0.000 % |
495.89/496.10 c | 456428 | 3906 16701 50689 | 223370 200850 113 | 0.000 % |
498.38/498.69 c | 458477 | 3906 16701 50689 | 223370 202899 113 | 0.000 % |
501.18/501.47 c | 460730 | 3906 16701 50689 | 2147483647 205152 113 | 0.000 % |
504.59/504.85 c | 463208 | 3906 16701 50689 | 2147483647 207630 113 | 0.000 % |
508.18/508.47 c | 465933 | 3906 16701 50689 | 2147483647 210355 113 | 0.000 % |
512.28/512.53 c | 468930 | 3906 16701 50689 | 2147483647 213352 113 | 0.000 % |
517.18/517.47 c | 472227 | 3906 16701 50689 | 214423 194136 113 | 0.000 % |
521.78/522.09 c | 475852 | 3906 16701 50689 | 214423 197761 114 | 0.000 % |
526.87/527.18 c | 479840 | 3906 16701 50689 | 214423 201749 114 | 0.000 % |
532.47/532.72 c | 484225 | 3906 16701 50689 | 2147483647 206134 114 | 0.000 % |
532.57/532.86 c | 484325 | 3906 16701 50689 | 2147483647 206234 114 | 0.000 % |
532.77/533.04 c | 484435 | 3906 16701 50689 | 2147483647 206344 114 | 0.000 % |
532.97/533.24 c | 484558 | 3906 16701 50689 | 2147483647 206467 114 | 0.000 % |
533.28/533.51 c | 484691 | 3906 16701 50689 | 2147483647 206600 114 | 0.000 % |
533.47/533.73 c | 484840 | 3906 16701 50689 | 2147483647 206749 114 | 0.000 % |
533.67/533.96 c | 485000 | 3906 16701 50689 | 2147483647 206909 114 | 0.000 % |
533.97/534.27 c | 485177 | 3906 16701 50689 | 2147483647 207086 114 | 0.000 % |
534.38/534.61 c | 485371 | 3906 16701 50689 | 2147483647 207280 114 | 0.000 % |
534.67/534.96 c | 485583 | 3906 16701 50689 | 2147483647 207492 114 | 0.000 % |
535.07/535.37 c | 485816 | 3906 16701 50689 | 2147483647 207725 114 | 0.000 % |
535.48/535.79 c | 486072 | 3906 16701 50689 | 2147483647 207981 114 | 0.000 % |
535.97/536.28 c | 486357 | 3906 16701 50689 | 2147483647 208266 114 | 0.000 % |
536.48/536.73 c | 486667 | 3906 16701 50689 | 2147483647 208576 114 | 0.000 % |
536.97/537.23 c | 487006 | 3906 16701 50689 | 2147483647 208915 114 | 0.000 % |
537.58/537.81 c | 487379 | 3906 16701 50689 | 2147483647 209288 114 | 0.000 % |
538.17/538.41 c | 487788 | 3906 16701 50689 | 2147483647 209697 114 | 0.000 % |
538.87/539.10 c | 488237 | 3906 16701 50689 | 2147483647 210146 114 | 0.000 % |
539.47/539.74 c | 488730 | 3906 16701 50689 | 2147483647 210639 114 | 0.000 % |
540.27/540.53 c | 489272 | 3906 16701 50689 | 2147483647 211181 114 | 0.000 % |
541.07/541.32 c | 489868 | 3906 16701 50689 | 2147483647 211777 114 | 0.000 % |
541.87/542.20 c | 490523 | 3906 16701 50689 | 2147483647 212432 114 | 0.000 % |
542.97/543.25 c | 491245 | 3906 16701 50689 | 2147483647 213154 114 | 0.000 % |
544.07/544.34 c | 492037 | 3906 16701 50689 | 2147483647 213946 114 | 0.000 % |
545.37/545.63 c | 492908 | 3906 16701 50689 | 2147483647 214817 114 | 0.000 % |
546.77/547.02 c | 493866 | 3906 16701 50689 | 2147483647 215775 114 | 0.000 % |
548.17/548.40 c | 494919 | 3906 16701 50689 | 2147483647 216828 114 | 0.000 % |
549.67/549.99 c | 496077 | 3906 16701 50689 | 2147483647 217986 114 | 0.000 % |
551.47/551.71 c | 497350 | 3906 16701 50689 | 2147483647 219259 114 | 0.000 % |
553.46/553.73 c | 498751 | 3906 16701 50689 | 2147483647 220660 114 | 0.000 % |
555.66/555.98 c | 500293 | 3906 16701 50689 | 221909 222202 114 | 0.000 % |
558.26/558.50 c | 501988 | 3906 16701 50689 | 221909 198500 114 | 0.000 % |
560.67/560.99 c | 503852 | 3906 16701 50689 | 221909 200364 114 | 0.000 % |
563.46/563.70 c | 505902 | 3906 16701 50689 | 221909 202414 115 | 0.000 % |
566.46/566.78 c | 508155 | 3906 16701 50689 | 221909 204667 115 | 0.000 % |
569.76/570.00 c | 510634 | 3906 16701 50689 | 2147483647 207146 115 | 0.000 % |
573.46/573.71 c | 513359 | 3906 16701 50689 | 2147483647 209871 115 | 0.000 % |
577.66/577.94 c | 516356 | 3906 16701 50689 | 2147483647 212868 115 | 0.000 % |
582.15/582.50 c | 519652 | 3906 16701 50689 | 2147483647 216164 115 | 0.000 % |
587.35/587.63 c | 523277 | 3906 16701 50689 | 2147483647 219789 115 | 0.000 % |
593.16/593.41 c | 527265 | 3906 16701 50689 | 2147483647 223777 115 | 0.000 % |
599.65/599.99 c | 531651 | 3906 16701 50689 | 226512 201192 116 | 0.000 % |
605.95/606.26 c | 536475 | 3906 16701 50689 | 226512 206016 116 | 0.000 % |
606.05/606.40 c | 536577 | 3906 16701 50689 | 226512 206118 116 | 0.000 % |
606.35/606.61 c | 536688 | 3906 16701 50689 | 226512 206229 116 | 0.000 % |
606.55/606.80 c | 536809 | 3906 16701 50689 | 226512 206350 116 | 0.000 % |
606.75/607.02 c | 536943 | 3906 16701 50689 | 226512 206484 116 | 0.000 % |
606.95/607.26 c | 537091 | 3906 16701 50689 | 226512 206632 116 | 0.000 % |
607.25/607.55 c | 537252 | 3906 16701 50689 | 226512 206793 116 | 0.000 % |
607.55/607.84 c | 537428 | 3906 16701 50689 | 226512 206969 116 | 0.000 % |
607.85/608.14 c | 537621 | 3906 16701 50689 | 226512 207162 116 | 0.000 % |
608.15/608.47 c | 537833 | 3906 16701 50689 | 226512 207374 116 | 0.000 % |
608.55/608.83 c | 538066 | 3906 16701 50689 | 226512 207607 116 | 0.000 % |
608.95/609.30 c | 538324 | 3906 16701 50689 | 226512 207865 116 | 0.000 % |
609.45/609.72 c | 538605 | 3906 16701 50689 | 226512 208146 116 | 0.000 % |
609.95/610.20 c | 538916 | 3906 16701 50689 | 226512 208457 116 | 0.000 % |
610.35/610.67 c | 539255 | 3906 16701 50689 | 226512 208796 116 | 0.000 % |
610.95/611.23 c | 539627 | 3906 16701 50689 | 226512 209168 116 | 0.000 % |
611.55/611.82 c | 540036 | 3906 16701 50689 | 209541 209577 116 | 0.000 % |
612.45/612.73 c | 540485 | 3906 16701 50689 | 209541 185849 116 | 0.000 % |
613.05/613.34 c | 540978 | 3906 16701 50689 | 209541 186342 116 | 0.000 % |
613.75/614.03 c | 541521 | 3906 16701 50689 | 209541 186885 116 | 0.000 % |
614.55/614.87 c | 542118 | 3906 16701 50689 | 209541 187482 116 | 0.000 % |
615.35/615.65 c | 542775 | 3906 16701 50689 | 209541 188139 116 | 0.000 % |
616.35/616.68 c | 543497 | 3906 16701 50689 | 209541 188861 116 | 0.000 % |
617.55/617.81 c | 544290 | 3906 16701 50689 | 209541 189654 116 | 0.000 % |
618.64/618.96 c | 545161 | 3906 16701 50689 | 209541 190525 116 | 0.000 % |
619.84/620.15 c | 546120 | 3906 16701 50689 | 209541 191484 116 | 0.000 % |
621.34/621.61 c | 547173 | 3906 16701 50689 | 209541 192537 116 | 0.000 % |
622.84/623.11 c | 548333 | 3906 16701 50689 | 209541 193697 116 | 0.000 % |
624.54/624.87 c | 549606 | 3906 16701 50689 | 209541 194970 116 | 0.000 % |
626.34/626.63 c | 551006 | 3906 16701 50689 | 2147483647 196370 116 | 0.000 % |
628.34/628.62 c | 552547 | 3906 16701 50689 | 2147483647 197911 116 | 0.000 % |
630.54/630.89 c | 554241 | 3906 16701 50689 | 2147483647 199605 115 | 0.000 % |
632.94/633.27 c | 556105 | 3906 16701 50689 | 2147483647 201469 116 | 0.000 % |
635.74/636.09 c | 558154 | 3906 16701 50689 | 2147483647 203518 116 | 0.000 % |
638.63/638.94 c | 560409 | 3906 16701 50689 | 2147483647 205773 116 | 0.000 % |
642.04/642.32 c | 562888 | 3906 16701 50689 | 2147483647 208252 116 | 0.000 % |
645.73/646.06 c | 565615 | 3906 16701 50689 | 2147483647 210979 116 | 0.000 % |
649.84/650.19 c | 568613 | 3906 16701 50689 | 2147483647 213977 116 | 0.000 % |
654.43/654.71 c | 571911 | 3906 16701 50689 | 2147483647 217275 116 | 0.000 % |
659.23/659.53 c | 575537 | 3906 16701 50689 | 2147483647 220901 116 | 0.000 % |
665.03/665.38 c | 579526 | 3906 16701 50689 | 2147483647 224890 116 | 0.000 % |
671.12/671.45 c | 583911 | 3906 16701 50689 | 225364 200926 116 | 0.000 % |
677.12/677.48 c | 588735 | 3906 16701 50689 | 225364 205750 116 | 0.000 % |
684.62/684.91 c | 594040 | 3906 16701 50689 | 2147483647 211055 116 | 0.000 % |
684.82/685.10 c | 594140 | 3906 16701 50689 | 2147483647 211155 116 | 0.000 % |
684.92/685.29 c | 594250 | 3906 16701 50689 | 2147483647 211265 116 | 0.000 % |
685.22/685.50 c | 594371 | 3906 16701 50689 | 2147483647 211386 116 | 0.000 % |
685.42/685.75 c | 594505 | 3906 16701 50689 | 2147483647 211520 116 | 0.000 % |
685.72/686.04 c | 594651 | 3906 16701 50689 | 2147483647 211666 116 | 0.000 % |
685.92/686.29 c | 594812 | 3906 16701 50689 | 2147483647 211827 116 | 0.000 % |
686.32/686.61 c | 594988 | 3906 16701 50689 | 2147483647 212003 116 | 0.000 % |
686.52/686.89 c | 595181 | 3906 16701 50689 | 2147483647 212196 116 | 0.000 % |
686.92/687.26 c | 595394 | 3906 16701 50689 | 2147483647 212409 116 | 0.000 % |
687.32/687.63 c | 595629 | 3906 16701 50689 | 2147483647 212644 116 | 0.000 % |
687.72/688.05 c | 595889 | 3906 16701 50689 | 2147483647 212904 116 | 0.000 % |
688.12/688.49 c | 596170 | 3906 16701 50689 | 2147483647 213185 116 | 0.000 % |
688.72/689.01 c | 596481 | 3906 16701 50689 | 2147483647 213496 116 | 0.000 % |
689.22/689.50 c | 596820 | 3906 16701 50689 | 2147483647 213835 116 | 0.000 % |
689.72/690.08 c | 597192 | 3906 16701 50689 | 2147483647 214207 116 | 0.000 % |
690.32/690.70 c | 597601 | 3906 16701 50689 | 2147483647 214616 116 | 0.000 % |
691.02/691.38 c | 598050 | 3906 16701 50689 | 2147483647 215065 116 | 0.000 % |
691.82/692.11 c | 598546 | 3906 16701 50689 | 2147483647 215561 116 | 0.000 % |
692.62/692.93 c | 599088 | 3906 16701 50689 | 2147483647 216103 116 | 0.000 % |
693.52/693.86 c | 599687 | 3906 16701 50689 | 2147483647 216702 116 | 0.000 % |
694.42/694.78 c | 600345 | 3906 16701 50689 | 217015 217360 116 | 0.000 % |
695.72/696.06 c | 601067 | 3906 16701 50689 | 217015 191624 117 | 0.000 % |
696.92/697.21 c | 601861 | 3906 16701 50689 | 217015 192418 117 | 0.000 % |
698.12/698.41 c | 602734 | 3906 16701 50689 | 217015 193291 117 | 0.000 % |
699.41/699.72 c | 603692 | 3906 16701 50689 | 217015 194249 117 | 0.000 % |
700.81/701.18 c | 604746 | 3906 16701 50689 | 217015 195303 117 | 0.000 % |
702.41/702.79 c | 605904 | 3906 16701 50689 | 217015 196461 116 | 0.000 % |
704.11/704.48 c | 607177 | 3906 16701 50689 | 217015 197734 117 | 0.000 % |
705.82/706.14 c | 608577 | 3906 16701 50689 | 217015 199134 117 | 0.000 % |
707.91/708.25 c | 610117 | 3906 16701 50689 | 2147483647 200674 117 | 0.000 % |
710.21/710.57 c | 611811 | 3906 16701 50689 | 2147483647 202368 117 | 0.000 % |
712.62/712.98 c | 613674 | 3906 16701 50689 | 2147483647 204231 117 | 0.000 % |
715.62/715.97 c | 615723 | 3906 16701 50689 | 2147483647 206280 117 | 0.000 % |
718.82/719.13 c | 617976 | 3906 16701 50689 | 2147483647 208533 117 | 0.000 % |
722.12/722.41 c | 620454 | 3906 16701 50689 | 2147483647 211011 117 | 0.000 % |
725.81/726.13 c | 623179 | 3906 16701 50689 | 2147483647 213736 117 | 0.000 % |
729.61/729.98 c | 626176 | 3906 16701 50689 | 2147483647 216733 117 | 0.000 % |
734.11/734.46 c | 629474 | 3906 16701 50689 | 2147483647 220031 117 | 0.000 % |
739.41/739.72 c | 633099 | 3906 16701 50689 | 2147483647 223656 117 | 0.000 % |
745.21/745.51 c | 637086 | 3906 16701 50689 | 2147483647 227643 117 | 0.000 % |
751.51/751.85 c | 641473 | 3906 16701 50689 | 230558 202349 117 | 0.000 % |
757.81/758.11 c | 646297 | 3906 16701 50689 | 230558 207173 117 | 0.000 % |
765.00/765.33 c | 651604 | 3906 16701 50689 | 210876 191272 117 | 0.000 % |
772.40/772.70 c | 657441 | 3906 16701 50689 | 210876 197109 117 | 0.000 % |
772.50/772.84 c | 657542 | 3906 16701 50689 | 210876 197210 117 | 0.000 % |
772.70/773.08 c | 657652 | 3906 16701 50689 | 210876 197320 117 | 0.000 % |
772.90/773.28 c | 657773 | 3906 16701 50689 | 210876 197441 117 | 0.000 % |
773.10/773.48 c | 657906 | 3906 16701 50689 | 210876 197574 117 | 0.000 % |
773.40/773.74 c | 658053 | 3906 16701 50689 | 210876 197721 117 | 0.000 % |
773.70/774.04 c | 658215 | 3906 16701 50689 | 210876 197883 117 | 0.000 % |
773.90/774.29 c | 658391 | 3906 16701 50689 | 210876 198059 117 | 0.000 % |
774.20/774.59 c | 658586 | 3906 16701 50689 | 210876 198254 117 | 0.000 % |
774.60/774.93 c | 658798 | 3906 16701 50689 | 210876 198466 117 | 0.000 % |
774.90/775.29 c | 659032 | 3906 16701 50689 | 210876 198700 117 | 0.000 % |
775.40/775.73 c | 659291 | 3906 16701 50689 | 210876 198959 117 | 0.000 % |
775.80/776.18 c | 659576 | 3906 16701 50689 | 210876 199244 117 | 0.000 % |
776.40/776.75 c | 659886 | 3906 16701 50689 | 210876 199554 117 | 0.000 % |
776.90/777.26 c | 660226 | 3906 16701 50689 | 2147483647 199894 117 | 0.000 % |
777.40/777.77 c | 660599 | 3906 16701 50689 | 2147483647 200267 117 | 0.000 % |
778.10/778.47 c | 661008 | 3906 16701 50689 | 2147483647 200676 117 | 0.000 % |
778.80/779.10 c | 661457 | 3906 16701 50689 | 2147483647 201125 117 | 0.000 % |
779.40/779.78 c | 661950 | 3906 16701 50689 | 2147483647 201618 117 | 0.000 % |
780.10/780.49 c | 662493 | 3906 16701 50689 | 2147483647 202161 117 | 0.000 % |
781.00/781.31 c | 663090 | 3906 16701 50689 | 2147483647 202758 117 | 0.000 % |
781.89/782.21 c | 663747 | 3906 16701 50689 | 2147483647 203415 117 | 0.000 % |
782.80/783.19 c | 664467 | 3906 16701 50689 | 2147483647 204135 117 | 0.000 % |
784.00/784.33 c | 665260 | 3906 16701 50689 | 2147483647 204928 117 | 0.000 % |
785.19/785.58 c | 666132 | 3906 16701 50689 | 2147483647 205800 117 | 0.000 % |
786.59/786.91 c | 667091 | 3906 16701 50689 | 2147483647 206759 117 | 0.000 % |
788.09/788.45 c | 668145 | 3906 16701 50689 | 2147483647 207813 117 | 0.000 % |
789.79/790.19 c | 669305 | 3906 16701 50689 | 2147483647 208973 117 | 0.000 % |
791.70/792.02 c | 670578 | 3906 16701 50689 | 209668 210246 117 | 0.000 % |
793.79/794.14 c | 671978 | 3906 16701 50689 | 209668 188458 116 | 0.000 % |
795.69/796.03 c | 673520 | 3906 16701 50689 | 209668 190000 116 | 0.000 % |
797.79/798.14 c | 675216 | 3906 16701 50689 | 209668 191696 116 | 0.000 % |
800.09/800.45 c | 677080 | 3906 16701 50689 | 209668 193560 116 | 0.000 % |
802.69/803.09 c | 679130 | 3906 16701 50689 | 209668 195610 116 | 0.000 % |
805.79/806.11 c | 681383 | 3906 16701 50689 | 2147483647 197863 116 | 0.000 % |
808.99/809.34 c | 683862 | 3906 16701 50689 | 2147483647 200342 116 | 0.000 % |
812.59/812.95 c | 686588 | 3906 16701 50689 | 2147483647 203068 116 | 0.000 % |
816.68/817.02 c | 689585 | 3906 16701 50689 | 2147483647 206065 116 | 0.000 % |
821.29/821.63 c | 692882 | 3906 16701 50689 | 2147483647 209362 116 | 0.000 % |
826.38/826.70 c | 696507 | 3906 16701 50689 | 2147483647 212987 117 | 0.000 % |
831.88/832.24 c | 700495 | 3906 16701 50689 | 216480 216975 117 | 0.000 % |
837.88/838.28 c | 704880 | 3906 16701 50689 | 216480 197857 117 | 0.000 % |
844.48/844.82 c | 709706 | 3906 16701 50689 | 216480 202683 117 | 0.000 % |
851.47/851.90 c | 715012 | 3906 16701 50689 | 2147483647 207989 117 | 0.000 % |
859.87/860.26 c | 720847 | 3906 16701 50689 | 212978 190888 117 | 0.000 % |
868.17/868.52 c | 727265 | 3906 16701 50689 | 212978 197306 117 | 0.000 % |
868.27/868.66 c | 727367 | 3906 16701 50689 | 212978 197408 117 | 0.000 % |
868.47/868.84 c | 727478 | 3906 16701 50689 | 212978 197519 117 | 0.000 % |
868.67/869.06 c | 727601 | 3906 16701 50689 | 212978 197642 117 | 0.000 % |
868.87/869.25 c | 727734 | 3906 16701 50689 | 212978 197775 117 | 0.000 % |
869.17/869.50 c | 727880 | 3906 16701 50689 | 212978 197921 117 | 0.000 % |
869.37/869.77 c | 728042 | 3906 16701 50689 | 212978 198083 117 | 0.000 % |
869.67/870.08 c | 728218 | 3906 16701 50689 | 212978 198259 117 | 0.000 % |
869.97/870.37 c | 728415 | 3906 16701 50689 | 212978 198456 117 | 0.000 % |
870.37/870.70 c | 728627 | 3906 16701 50689 | 212978 198668 117 | 0.000 % |
870.66/871.03 c | 728860 | 3906 16701 50689 | 212978 198901 117 | 0.000 % |
871.06/871.43 c | 729116 | 3906 16701 50689 | 212978 199157 117 | 0.000 % |
871.46/871.83 c | 729399 | 3906 16701 50689 | 212978 199440 117 | 0.000 % |
871.87/872.24 c | 729709 | 3906 16701 50689 | 212978 199750 117 | 0.000 % |
872.36/872.73 c | 730048 | 3906 16701 50689 | 2147483647 200089 117 | 0.000 % |
872.97/873.36 c | 730422 | 3906 16701 50689 | 2147483647 200463 117 | 0.000 % |
873.66/874.00 c | 730833 | 3906 16701 50689 | 2147483647 200874 117 | 0.000 % |
874.26/874.66 c | 731282 | 3906 16701 50689 | 2147483647 201323 117 | 0.000 % |
874.96/875.31 c | 731776 | 3906 16701 50689 | 2147483647 201817 117 | 0.000 % |
875.76/876.13 c | 732318 | 3906 16701 50689 | 2147483647 202359 117 | 0.000 % |
876.66/877.05 c | 732914 | 3906 16701 50689 | 2147483647 202955 117 | 0.000 % |
877.56/877.96 c | 733569 | 3906 16701 50689 | 2147483647 203610 117 | 0.000 % |
878.66/879.00 c | 734289 | 3906 16701 50689 | 2147483647 204330 117 | 0.000 % |
879.76/880.18 c | 735081 | 3906 16701 50689 | 2147483647 205122 117 | 0.000 % |
881.16/881.54 c | 735952 | 3906 16701 50689 | 2147483647 205993 117 | 0.000 % |
882.46/882.86 c | 736913 | 3906 16701 50689 | 2147483647 206954 117 | 0.000 % |
883.96/884.31 c | 737967 | 3906 16701 50689 | 2147483647 208008 117 | 0.000 % |
885.56/885.90 c | 739126 | 3906 16701 50689 | 2147483647 209167 117 | 0.000 % |
887.36/887.77 c | 740400 | 3906 16701 50689 | 210042 210441 117 | 0.000 % |
889.56/889.98 c | 741802 | 3906 16701 50689 | 210042 188342 117 | 0.000 % |
891.46/891.90 c | 743342 | 3906 16701 50689 | 210042 189882 117 | 0.000 % |
893.66/894.05 c | 745037 | 3906 16701 50689 | 210042 191577 117 | 0.000 % |
896.25/896.69 c | 746900 | 3906 16701 50689 | 210042 193440 117 | 0.000 % |
898.95/899.40 c | 748949 | 3906 16701 50689 | 210042 195489 117 | 0.000 % |
901.95/902.30 c | 751203 | 3906 16701 50689 | 2147483647 197743 117 | 0.000 % |
905.05/905.44 c | 753683 | 3906 16701 50689 | 2147483647 200223 117 | 0.000 % |
908.45/908.80 c | 756408 | 3906 16701 50689 | 2147483647 202948 117 | 0.000 % |
912.25/912.60 c | 759407 | 3906 16701 50689 | 2147483647 205947 117 | 0.000 % |
916.35/916.72 c | 762704 | 3906 16701 50689 | 2147483647 209244 117 | 0.000 % |
921.25/921.67 c | 766330 | 3906 16701 50689 | 2147483647 212870 117 | 0.000 % |
926.74/927.16 c | 770319 | 3906 16701 50689 | 2147483647 216859 117 | 0.000 % |
932.45/932.84 c | 774706 | 3906 16701 50689 | 2147483647 221246 117 | 0.000 % |
939.14/939.55 c | 779529 | 3906 16701 50689 | 2147483647 226069 117 | 0.000 % |
946.54/946.96 c | 784836 | 3906 16701 50689 | 226540 203161 116 | 0.000 % |
954.44/954.88 c | 790671 | 3906 16701 50689 | 208327 185615 116 | 0.000 % |
962.33/962.77 c | 797089 | 3906 16701 50689 | 208327 192033 116 | 0.000 % |
971.73/972.17 c | 804148 | 3906 16701 50689 | 2147483647 199092 117 | 0.000 % |
971.93/972.35 c | 804248 | 3906 16701 50689 | 2147483647 199192 116 | 0.000 % |
972.13/972.51 c | 804358 | 3906 16701 50689 | 2147483647 199302 116 | 0.000 % |
972.33/972.71 c | 804479 | 3906 16701 50689 | 2147483647 199423 116 | 0.000 % |
972.53/972.95 c | 804614 | 3906 16701 50689 | 2147483647 199558 116 | 0.000 % |
972.73/973.18 c | 804761 | 3906 16701 50689 | 2147483647 199705 116 | 0.000 % |
973.03/973.44 c | 804921 | 3906 16701 50689 | 2147483647 199865 116 | 0.000 % |
973.33/973.75 c | 805098 | 3906 16701 50689 | 2147483647 200042 116 | 0.000 % |
973.63/974.04 c | 805291 | 3906 16701 50689 | 2147483647 200235 116 | 0.000 % |
973.93/974.36 c | 805503 | 3906 16701 50689 | 2147483647 200447 116 | 0.000 % |
974.33/974.76 c | 805737 | 3906 16701 50689 | 2147483647 200681 116 | 0.000 % |
974.73/975.12 c | 805993 | 3906 16701 50689 | 2147483647 200937 116 | 0.000 % |
975.13/975.54 c | 806274 | 3906 16701 50689 | 2147483647 201218 116 | 0.000 % |
975.73/976.12 c | 806583 | 3906 16701 50689 | 2147483647 201527 116 | 0.000 % |
976.23/976.66 c | 806923 | 3906 16701 50689 | 2147483647 201867 116 | 0.000 % |
976.83/977.20 c | 807295 | 3906 16701 50689 | 2147483647 202239 116 | 0.000 % |
977.43/977.85 c | 807704 | 3906 16701 50689 | 2147483647 202648 116 | 0.000 % |
978.03/978.49 c | 808153 | 3906 16701 50689 | 2147483647 203097 116 | 0.000 % |
978.73/979.17 c | 808649 | 3906 16701 50689 | 2147483647 203593 116 | 0.000 % |
979.53/979.93 c | 809193 | 3906 16701 50689 | 2147483647 204137 116 | 0.000 % |
980.23/980.67 c | 809790 | 3906 16701 50689 | 2147483647 204734 116 | 0.000 % |
981.22/981.60 c | 810445 | 3906 16701 50689 | 204945 205389 116 | 0.000 % |
982.42/982.87 c | 811165 | 3906 16701 50689 | 204945 184045 116 | 0.000 % |
983.52/983.92 c | 811957 | 3906 16701 50689 | 204945 184837 116 | 0.000 % |
984.62/985.01 c | 812829 | 3906 16701 50689 | 204945 185709 116 | 0.000 % |
985.92/986.30 c | 813788 | 3906 16701 50689 | 204945 186668 116 | 0.000 % |
987.22/987.69 c | 814841 | 3906 16701 50689 | 204945 187721 116 | 0.000 % |
988.72/989.19 c | 815999 | 3906 16701 50689 | 204945 188879 116 | 0.000 % |
990.42/990.83 c | 817273 | 3906 16701 50689 | 204945 190153 116 | 0.000 % |
992.22/992.60 c | 818673 | 3906 16701 50689 | 204945 191553 116 | 0.000 % |
994.02/994.46 c | 820215 | 3906 16701 50689 | 2147483647 193095 116 | 0.000 % |
996.12/996.57 c | 821912 | 3906 16701 50689 | 2147483647 194792 116 | 0.000 % |
998.72/999.18 c | 823777 | 3906 16701 50689 | 2147483647 196657 116 | 0.000 % |
1001.52/1001.99 c | 825826 | 3906 16701 50689 | 2147483647 198706 116 | 0.000 % |
1004.62/1005.02 c | 828079 | 3906 16701 50689 | 2147483647 200959 116 | 0.000 % |
1007.92/1008.31 c | 830557 | 3906 16701 50689 | 2147483647 203437 116 | 0.000 % |
1011.41/1011.88 c | 833282 | 3906 16701 50689 | 2147483647 206162 116 | 0.000 % |
1015.51/1015.99 c | 836280 | 3906 16701 50689 | 2147483647 209160 116 | 0.000 % |
1019.81/1020.27 c | 839576 | 3906 16701 50689 | 2147483647 212456 116 | 0.000 % |
1024.91/1025.32 c | 843201 | 3906 16701 50689 | 2147483647 216081 116 | 0.000 % |
1030.11/1030.54 c | 847190 | 3906 16701 50689 | 2147483647 220070 116 | 0.000 % |
1036.31/1036.74 c | 851575 | 3906 16701 50689 | 222880 202103 116 | 0.000 % |
1043.30/1043.75 c | 856398 | 3906 16701 50689 | 222880 206926 116 | 0.000 % |
1050.51/1050.90 c | 861703 | 3906 16701 50689 | 210530 189485 116 | 0.000 % |
1057.61/1058.00 c | 867538 | 3906 16701 50689 | 210530 195320 116 | 0.000 % |
1065.61/1066.07 c | 873958 | 3906 16701 50689 | 2147483647 201740 117 | 0.000 % |
1075.00/1075.41 c | 881017 | 3906 16701 50689 | 2147483647 208799 117 | 0.000 % |
1085.31/1085.73 c | 888781 | 3906 16701 50689 | 2147483647 216563 117 | 0.000 % |
1085.40/1085.89 c | 888881 | 3906 16701 50689 | 2147483647 216663 117 | 0.000 % |
1085.60/1086.07 c | 888993 | 3906 16701 50689 | 2147483647 216775 117 | 0.000 % |
1085.80/1086.29 c | 889115 | 3906 16701 50689 | 2147483647 216897 117 | 0.000 % |
1086.10/1086.52 c | 889249 | 3906 16701 50689 | 2147483647 217031 117 | 0.000 % |
1086.31/1086.75 c | 889395 | 3906 16701 50689 | 2147483647 217177 117 | 0.000 % |
1086.50/1086.99 c | 889555 | 3906 16701 50689 | 2147483647 217337 117 | 0.000 % |
1086.90/1087.33 c | 889731 | 3906 16701 50689 | 2147483647 217513 117 | 0.000 % |
1087.20/1087.68 c | 889926 | 3906 16701 50689 | 2147483647 217708 117 | 0.000 % |
1087.60/1088.04 c | 890138 | 3906 16701 50689 | 217782 217920 117 | 0.000 % |
1088.30/1088.71 c | 890373 | 3906 16701 50689 | 217782 191142 117 | 0.000 % |
1088.60/1089.10 c | 890630 | 3906 16701 50689 | 217782 191399 117 | 0.000 % |
1089.10/1089.52 c | 890912 | 3906 16701 50689 | 217782 191681 117 | 0.000 % |
1089.50/1089.99 c | 891223 | 3906 16701 50689 | 217782 191992 117 | 0.000 % |
1090.00/1090.49 c | 891562 | 3906 16701 50689 | 217782 192331 117 | 0.000 % |
1090.60/1091.03 c | 891937 | 3906 16701 50689 | 217782 192706 117 | 0.000 % |
1091.10/1091.59 c | 892346 | 3906 16701 50689 | 217782 193115 117 | 0.000 % |
1091.70/1092.19 c | 892796 | 3906 16701 50689 | 217782 193565 117 | 0.000 % |
1092.40/1092.82 c | 893289 | 3906 16701 50689 | 217782 194058 117 | 0.000 % |
1093.10/1093.53 c | 893831 | 3906 16701 50689 | 217782 194600 117 | 0.000 % |
1093.90/1094.37 c | 894428 | 3906 16701 50689 | 217782 195197 117 | 0.000 % |
1094.90/1095.32 c | 895084 | 3906 16701 50689 | 217782 195853 117 | 0.000 % |
1095.90/1096.37 c | 895806 | 3906 16701 50689 | 217782 196575 117 | 0.000 % |
1097.00/1097.49 c | 896600 | 3906 16701 50689 | 217782 197369 117 | 0.000 % |
1098.30/1098.71 c | 897471 | 3906 16701 50689 | 217782 198240 117 | 0.000 % |
1099.70/1100.12 c | 898430 | 3906 16701 50689 | 217782 199199 117 | 0.000 % |
1101.10/1101.52 c | 899484 | 3906 16701 50689 | 217782 200253 117 | 0.000 % |
1102.90/1103.38 c | 900643 | 3906 16701 50689 | 200769 180432 117 | 0.000 % |
1104.49/1104.97 c | 901917 | 3906 16701 50689 | 200769 181706 117 | 0.000 % |
1106.19/1106.68 c | 903320 | 3906 16701 50689 | 200769 183109 117 | 0.000 % |
1108.19/1108.68 c | 904862 | 3906 16701 50689 | 200769 184651 117 | 0.000 % |
1110.29/1110.77 c | 906557 | 3906 16701 50689 | 200769 186346 117 | 0.000 % |
1112.59/1113.10 c | 908420 | 3906 16701 50689 | 200769 188209 117 | 0.000 % |
1114.99/1115.47 c | 910469 | 3906 16701 50689 | 2147483647 190258 117 | 0.000 % |
1117.79/1118.29 c | 912724 | 3906 16701 50689 | 2147483647 192513 117 | 0.000 % |
1121.09/1121.52 c | 915204 | 3906 16701 50689 | 2147483647 194993 117 | 0.000 % |
1124.49/1124.90 c | 917931 | 3906 16701 50689 | 2147483647 197720 117 | 0.000 % |
1128.38/1128.82 c | 920931 | 3906 16701 50689 | 2147483647 200720 117 | 0.000 % |
1132.88/1133.38 c | 924227 | 3906 16701 50689 | 2147483647 204016 117 | 0.000 % |
1137.78/1138.28 c | 927853 | 3906 16701 50689 | 2147483647 207642 117 | 0.000 % |
1143.48/1143.97 c | 931840 | 3906 16701 50689 | 2147483647 211629 117 | 0.000 % |
1149.08/1149.59 c | 936225 | 3906 16701 50689 | 2147483647 216014 117 | 0.000 % |
1156.17/1156.64 c | 941049 | 3906 16701 50689 | 219789 196117 116 | 0.000 % |
1163.17/1163.61 c | 946354 | 3906 16701 50689 | 219789 201422 117 | 0.000 % |
1170.87/1171.31 c | 952190 | 3906 16701 50689 | 2147483647 207258 117 | 0.000 % |
1180.07/1180.52 c | 958608 | 3906 16701 50689 | 2147483647 213676 117 | 0.000 % |
1189.96/1190.49 c | 965668 | 3906 16701 50689 | 215068 198074 117 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832753-1242787357/watcher-1832753-1242787357 -o /tmp/evaluation-result-1832753-1242787357/solver-1832753-1242787357 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832753-1242787357.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.95 0.99 0.99 3/64 7172
/proc/meminfo: memFree=1910264/2055920 swapFree=4179700/4192956
[pid=7172] ppid=7170 vsize=5356 CPUtime=0
/proc/7172/stat : 7172 (SatELiteGTI) R 7170 7172 6367 0 -1 4194304 291 249 0 0 0 0 0 0 18 0 1 0 306769431 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 215418595827 0 0 4100 65536 0 0 0 17 0 0 0
/proc/7172/statm: 1339 237 197 169 0 50 0
[startup+0.0433019 s]
/proc/loadavg: 0.95 0.99 0.99 3/64 7172
/proc/meminfo: memFree=1910264/2055920 swapFree=4179700/4192956
[pid=7172] ppid=7170 vsize=5356 CPUtime=0
/proc/7172/stat : 7172 (SatELiteGTI) S 7170 7172 6367 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 306769431 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/7172/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101313 s]
/proc/loadavg: 0.95 0.99 0.99 3/64 7172
/proc/meminfo: memFree=1910264/2055920 swapFree=4179700/4192956
[pid=7172] ppid=7170 vsize=5356 CPUtime=0.06
/proc/7172/stat : 7172 (SatELiteGTI) S 7170 7172 6367 0 -1 4194304 336 876 0 0 0 0 6 0 16 0 1 0 306769431 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7172/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 5356
[startup+0.301334 s]
/proc/loadavg: 0.95 0.99 0.99 3/64 7172
/proc/meminfo: memFree=1910264/2055920 swapFree=4179700/4192956
[pid=7172] ppid=7170 vsize=5356 CPUtime=0.06
/proc/7172/stat : 7172 (SatELiteGTI) S 7170 7172 6367 0 -1 4194304 336 876 0 0 0 0 6 0 16 0 1 0 306769431 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7172/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 5356
[startup+0.70138 s]
/proc/loadavg: 0.95 0.99 0.99 3/64 7172
/proc/meminfo: memFree=1910264/2055920 swapFree=4179700/4192956
[pid=7172] ppid=7170 vsize=5356 CPUtime=0.06
/proc/7172/stat : 7172 (SatELiteGTI) S 7170 7172 6367 0 -1 4194304 336 876 0 0 0 0 6 0 16 0 1 0 306769431 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7172/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 5356
[startup+1.50146 s]
/proc/loadavg: 0.95 0.99 0.99 2/66 7178
/proc/meminfo: memFree=1905896/2055920 swapFree=4179700/4192956
[pid=7172] ppid=7170 vsize=5356 CPUtime=0.06
/proc/7172/stat : 7172 (SatELiteGTI) S 7170 7172 6367 0 -1 4194304 336 876 0 0 0 0 6 0 16 0 1 0 306769431 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7172/statm: 1339 239 197 169 0 50 0
[pid=7178] ppid=7172 vsize=5276 CPUtime=1.4
/proc/7178/stat : 7178 (minisat_static) R 7172 7172 6367 0 -1 4194304 1046 0 0 0 140 0 0 0 25 0 1 0 306769438 5402624 1032 1992294400 134512640 135215339 4294956256 18446744073709551615 134538574 0 0 4096 3 0 0 0 17 1 0 0
/proc/7178/statm: 1319 1032 77 171 0 1146 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 10632
[startup+3.10164 s]
/proc/loadavg: 0.95 0.99 0.99 2/66 7178
/proc/meminfo: memFree=1904368/2055920 swapFree=4179700/4192956
[pid=7172] ppid=7170 vsize=5356 CPUtime=0.06
/proc/7172/stat : 7172 (SatELiteGTI) S 7170 7172 6367 0 -1 4194304 336 876 0 0 0 0 6 0 16 0 1 0 306769431 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7172/statm: 1339 239 197 169 0 50 0
[pid=7178] ppid=7172 vsize=8840 CPUtime=3.01
/proc/7178/stat : 7178 (minisat_static) R 7172 7172 6367 0 -1 4194304 1924 0 0 0 300 1 0 0 25 0 1 0 306769438 9052160 1910 1992294400 134512640 135215339 4294956256 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/7178/statm: 2210 1910 77 171 0 2037 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 14196
[startup+6.302 s]
/proc/loadavg: 1.03 1.01 1.00 2/66 7178
/proc/meminfo: memFree=1897776/2055920 swapFree=4179700/4192956
[pid=7172] ppid=7170 vsize=5356 CPUtime=0.06
/proc/7172/stat : 7172 (SatELiteGTI) S 7170 7172 6367 0 -1 4194304 336 876 0 0 0 0 6 0 16 0 1 0 306769431 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7172/statm: 1339 239 197 169 0 50 0
[pid=7178] ppid=7172 vsize=14324 CPUtime=6.21
/proc/7178/stat : 7178 (minisat_static) R 7172 7172 6367 0 -1 4194304 3313 0 0 0 619 2 0 0 25 0 1 0 306769438 14667776 3299 1992294400 134512640 135215339 4294956256 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/7178/statm: 3581 3299 77 171 0 3408 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 19680
[startup+12.7027 s]
/proc/loadavg: 1.03 1.01 1.00 2/66 7178
/proc/meminfo: memFree=1889136/2055920 swapFree=4179700/4192956
[pid=7172] ppid=7170 vsize=5356 CPUtime=0.06
/proc/7172/stat : 7172 (SatELiteGTI) S 7170 7172 6367 0 -1 4194304 336 876 0 0 0 0 6 0 16 0 1 0 306769431 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7172/statm: 1339 239 197 169 0 50 0
[pid=7178] ppid=7172 vsize=22356 CPUtime=12.61
/proc/7178/stat : 7178 (minisat_static) R 7172 7172 6367 0 -1 4194304 5295 0 0 0 1257 4 0 0 25 0 1 0 306769438 22892544 5281 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/7178/statm: 5589 5281 77 171 0 5416 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 27712
[startup+25.5011 s]
/proc/loadavg: 1.02 1.01 1.00 2/66 7180
/proc/meminfo: memFree=1877040/2055920 swapFree=4179704/4192956
[pid=7172] ppid=7170 vsize=5356 CPUtime=0.06
/proc/7172/stat : 7172 (SatELiteGTI) S 7170 7172 6367 0 -1 4194304 336 876 0 0 0 0 6 0 16 0 1 0 306769431 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7172/statm: 1339 239 197 169 0 50 0
[pid=7178] ppid=7172 vsize=33828 CPUtime=25.39
/proc/7178/stat : 7178 (minisat_static) R 7172 7172 6367 0 -1 4194304 8161 0 0 0 2532 7 0 0 25 0 1 0 306769438 34639872 8147 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/7178/statm: 8457 8147 77 171 0 8284 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 39184
[startup+51.102 s]
/proc/loadavg: 1.01 1.01 1.00 2/66 7180
/proc/meminfo: memFree=1860336/2055920 swapFree=4179704/4192956
[pid=7172] ppid=7170 vsize=5356 CPUtime=0.06
/proc/7172/stat : 7172 (SatELiteGTI) S 7170 7172 6367 0 -1 4194304 336 876 0 0 0 0 6 0 16 0 1 0 306769431 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7172/statm: 1339 239 197 169 0 50 0
[pid=7178] ppid=7172 vsize=50772 CPUtime=50.98
/proc/7178/stat : 7178 (minisat_static) R 7172 7172 6367 0 -1 4194304 12380 0 0 0 5084 14 0 0 25 0 1 0 306769438 51990528 12366 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/7178/statm: 12693 12366 77 171 0 12520 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 56128
[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 7180
/proc/meminfo: memFree=1835056/2055920 swapFree=4179704/4192956
[pid=7172] ppid=7170 vsize=5356 CPUtime=0.06
/proc/7172/stat : 7172 (SatELiteGTI) S 7170 7172 6367 0 -1 4194304 336 876 0 0 0 0 6 0 16 0 1 0 306769431 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7172/statm: 1339 239 197 169 0 50 0
[pid=7178] ppid=7172 vsize=75724 CPUtime=102.16
/proc/7178/stat : 7178 (minisat_static) R 7172 7172 6367 0 -1 4194304 18592 0 0 0 10195 21 0 0 25 0 1 0 306769438 77541376 18578 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/7178/statm: 18931 18578 77 171 0 18758 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 81080
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 7180
/proc/meminfo: memFree=1812784/2055920 swapFree=4179704/4192956
[pid=7172] ppid=7170 vsize=5356 CPUtime=0.06
/proc/7172/stat : 7172 (SatELiteGTI) S 7170 7172 6367 0 -1 4194304 336 876 0 0 0 0 6 0 16 0 1 0 306769431 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7172/statm: 1339 239 197 169 0 50 0
[pid=7178] ppid=7172 vsize=98172 CPUtime=162.14
/proc/7178/stat : 7178 (minisat_static) R 7172 7172 6367 0 -1 4194304 24161 0 0 0 16186 28 0 0 25 0 1 0 306769438 100528128 24147 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/7178/statm: 24543 24147 77 171 0 24370 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 103528
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 7180
/proc/meminfo: memFree=1808432/2055920 swapFree=4179704/4192956
[pid=7172] ppid=7170 vsize=5356 CPUtime=0.06
/proc/7172/stat : 7172 (SatELiteGTI) S 7170 7172 6367 0 -1 4194304 336 876 0 0 0 0 6 0 16 0 1 0 306769431 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7172/statm: 1339 239 197 169 0 50 0
[pid=7178] ppid=7172 vsize=102264 CPUtime=222.12
/proc/7178/stat : 7178 (minisat_static) R 7172 7172 6367 0 -1 4194304 25187 0 0 0 22183 29 0 0 25 0 1 0 306769438 104718336 25173 1992294400 134512640 135215339 4294956256 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/7178/statm: 25566 25173 77 171 0 25393 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 107620
[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 7180
/proc/meminfo: memFree=1806640/2055920 swapFree=4179704/4192956
[pid=7172] ppid=7170 vsize=5356 CPUtime=0.06
/proc/7172/stat : 7172 (SatELiteGTI) S 7170 7172 6367 0 -1 4194304 336 876 0 0 0 0 6 0 16 0 1 0 306769431 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7172/statm: 1339 239 197 169 0 50 0
[pid=7178] ppid=7172 vsize=103980 CPUtime=282.1
/proc/7178/stat : 7178 (minisat_static) R 7172 7172 6367 0 -1 4194304 25603 0 0 0 28180 30 0 0 25 0 1 0 306769438 106475520 25589 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/7178/statm: 25995 25589 77 171 0 25822 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 109336
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 7180
/proc/meminfo: memFree=1803888/2055920 swapFree=4179704/4192956
[pid=7172] ppid=7170 vsize=5356 CPUtime=0.06
/proc/7172/stat : 7172 (SatELiteGTI) S 7170 7172 6367 0 -1 4194304 336 876 0 0 0 0 6 0 16 0 1 0 306769431 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7172/statm: 1339 239 197 169 0 50 0
[pid=7178] ppid=7172 vsize=106620 CPUtime=342.08
/proc/7178/stat : 7178 (minisat_static) R 7172 7172 6367 0 -1 4194304 26266 0 0 0 34177 31 0 0 25 0 1 0 306769438 109178880 26252 1992294400 134512640 135215339 4294956256 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 1 0 0
/proc/7178/statm: 26655 26252 77 171 0 26482 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 111976
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 7180
/proc/meminfo: memFree=1802672/2055920 swapFree=4179704/4192956
[pid=7172] ppid=7170 vsize=5356 CPUtime=0.06
/proc/7172/stat : 7172 (SatELiteGTI) S 7170 7172 6367 0 -1 4194304 336 876 0 0 0 0 6 0 16 0 1 0 306769431 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7172/statm: 1339 239 197 169 0 50 0
[pid=7178] ppid=7172 vsize=108072 CPUtime=402.05
/proc/7178/stat : 7178 (minisat_static) R 7172 7172 6367 0 -1 4194304 26651 0 0 0 40174 31 0 0 25 0 1 0 306769438 110665728 26637 1992294400 134512640 135215339 4294956256 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/7178/statm: 27018 26637 77 171 0 26845 0
Current children cumulated CPU time (s) 402.11
Current children cumulated vsize (KiB) 113428
[startup+462.302 s]
################
# More data... #
################
/proc/7178/statm: 28206 27840 77 171 0 28033 0
Current children cumulated CPU time (s) 582.05
Current children cumulated vsize (KiB) 118180
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 7180
/proc/meminfo: memFree=1793648/2055920 swapFree=4179704/4192956
[pid=7172] ppid=7170 vsize=5356 CPUtime=0.06
/proc/7172/stat : 7172 (SatELiteGTI) S 7170 7172 6367 0 -1 4194304 336 876 0 0 0 0 6 0 16 0 1 0 306769431 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7172/statm: 1339 239 197 169 0 50 0
[pid=7178] ppid=7172 vsize=116256 CPUtime=641.98
/proc/7178/stat : 7178 (minisat_static) R 7172 7172 6367 0 -1 4194304 28706 0 0 0 64164 34 0 0 25 0 1 0 306769438 119046144 28692 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/7178/statm: 29064 28692 77 171 0 28891 0
Current children cumulated CPU time (s) 642.04
Current children cumulated vsize (KiB) 121612
[startup+702.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 7180
/proc/meminfo: memFree=1793264/2055920 swapFree=4179704/4192956
[pid=7172] ppid=7170 vsize=5356 CPUtime=0.06
/proc/7172/stat : 7172 (SatELiteGTI) S 7170 7172 6367 0 -1 4194304 336 876 0 0 0 0 6 0 16 0 1 0 306769431 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7172/statm: 1339 239 197 169 0 50 0
[pid=7178] ppid=7172 vsize=116520 CPUtime=701.95
/proc/7178/stat : 7178 (minisat_static) R 7172 7172 6367 0 -1 4194304 28776 0 0 0 70161 34 0 0 25 0 1 0 306769438 119316480 28762 1992294400 134512640 135215339 4294956256 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 1 0 0
/proc/7178/statm: 29130 28762 77 171 0 28957 0
Current children cumulated CPU time (s) 702.01
Current children cumulated vsize (KiB) 121876
[startup+762.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 7180
/proc/meminfo: memFree=1789168/2055920 swapFree=4179704/4192956
[pid=7172] ppid=7170 vsize=5356 CPUtime=0.06
/proc/7172/stat : 7172 (SatELiteGTI) S 7170 7172 6367 0 -1 4194304 336 876 0 0 0 0 6 0 16 0 1 0 306769431 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7172/statm: 1339 239 197 169 0 50 0
[pid=7178] ppid=7172 vsize=120480 CPUtime=761.95
/proc/7178/stat : 7178 (minisat_static) R 7172 7172 6367 0 -1 4194304 29767 0 0 0 76159 36 0 0 25 0 1 0 306769438 123371520 29753 1992294400 134512640 135215339 4294956256 18446744073709551615 134528899 0 0 4096 3 0 0 0 17 1 0 0
/proc/7178/statm: 30120 29753 77 171 0 29947 0
Current children cumulated CPU time (s) 762.01
Current children cumulated vsize (KiB) 125836
[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 7180
/proc/meminfo: memFree=1789168/2055920 swapFree=4179704/4192956
[pid=7172] ppid=7170 vsize=5356 CPUtime=0.06
/proc/7172/stat : 7172 (SatELiteGTI) S 7170 7172 6367 0 -1 4194304 336 876 0 0 0 0 6 0 16 0 1 0 306769431 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7172/statm: 1339 239 197 169 0 50 0
[pid=7178] ppid=7172 vsize=120480 CPUtime=821.92
/proc/7178/stat : 7178 (minisat_static) R 7172 7172 6367 0 -1 4194304 29767 0 0 0 82156 36 0 0 25 0 1 0 306769438 123371520 29753 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/7178/statm: 30120 29753 77 171 0 29947 0
Current children cumulated CPU time (s) 821.98
Current children cumulated vsize (KiB) 125836
[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 7180
/proc/meminfo: memFree=1789040/2055920 swapFree=4179704/4192956
[pid=7172] ppid=7170 vsize=5356 CPUtime=0.06
/proc/7172/stat : 7172 (SatELiteGTI) S 7170 7172 6367 0 -1 4194304 336 876 0 0 0 0 6 0 16 0 1 0 306769431 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7172/statm: 1339 239 197 169 0 50 0
[pid=7178] ppid=7172 vsize=120480 CPUtime=881.9
/proc/7178/stat : 7178 (minisat_static) R 7172 7172 6367 0 -1 4194304 29767 0 0 0 88154 36 0 0 25 0 1 0 306769438 123371520 29753 1992294400 134512640 135215339 4294956256 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/7178/statm: 30120 29753 77 171 0 29947 0
Current children cumulated CPU time (s) 881.96
Current children cumulated vsize (KiB) 125836
[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 7180
/proc/meminfo: memFree=1788976/2055920 swapFree=4179704/4192956
[pid=7172] ppid=7170 vsize=5356 CPUtime=0.06
/proc/7172/stat : 7172 (SatELiteGTI) S 7170 7172 6367 0 -1 4194304 336 876 0 0 0 0 6 0 16 0 1 0 306769431 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7172/statm: 1339 239 197 169 0 50 0
[pid=7178] ppid=7172 vsize=120480 CPUtime=941.88
/proc/7178/stat : 7178 (minisat_static) R 7172 7172 6367 0 -1 4194304 29767 0 0 0 94152 36 0 0 25 0 1 0 306769438 123371520 29753 1992294400 134512640 135215339 4294956256 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/7178/statm: 30120 29753 77 171 0 29947 0
Current children cumulated CPU time (s) 941.94
Current children cumulated vsize (KiB) 125836
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 7180
/proc/meminfo: memFree=1788912/2055920 swapFree=4179704/4192956
[pid=7172] ppid=7170 vsize=5356 CPUtime=0.06
/proc/7172/stat : 7172 (SatELiteGTI) S 7170 7172 6367 0 -1 4194304 336 876 0 0 0 0 6 0 16 0 1 0 306769431 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7172/statm: 1339 239 197 169 0 50 0
[pid=7178] ppid=7172 vsize=120480 CPUtime=1001.86
/proc/7178/stat : 7178 (minisat_static) R 7172 7172 6367 0 -1 4194304 29767 0 0 0 100150 36 0 0 25 0 1 0 306769438 123371520 29753 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/7178/statm: 30120 29753 77 171 0 29947 0
Current children cumulated CPU time (s) 1001.92
Current children cumulated vsize (KiB) 125836
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 7180
/proc/meminfo: memFree=1788784/2055920 swapFree=4179704/4192956
[pid=7172] ppid=7170 vsize=5356 CPUtime=0.06
/proc/7172/stat : 7172 (SatELiteGTI) S 7170 7172 6367 0 -1 4194304 336 876 0 0 0 0 6 0 16 0 1 0 306769431 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7172/statm: 1339 239 197 169 0 50 0
[pid=7178] ppid=7172 vsize=120480 CPUtime=1061.85
/proc/7178/stat : 7178 (minisat_static) R 7172 7172 6367 0 -1 4194304 29767 0 0 0 106148 37 0 0 25 0 1 0 306769438 123371520 29753 1992294400 134512640 135215339 4294956256 18446744073709551615 134528782 0 0 4096 3 0 0 0 17 1 0 0
/proc/7178/statm: 30120 29753 77 171 0 29947 0
Current children cumulated CPU time (s) 1061.91
Current children cumulated vsize (KiB) 125836
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 7185
/proc/meminfo: memFree=1788464/2055920 swapFree=4179704/4192956
[pid=7172] ppid=7170 vsize=5356 CPUtime=0.06
/proc/7172/stat : 7172 (SatELiteGTI) S 7170 7172 6367 0 -1 4194304 336 876 0 0 0 0 6 0 16 0 1 0 306769431 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7172/statm: 1339 239 197 169 0 50 0
[pid=7178] ppid=7172 vsize=120480 CPUtime=1121.83
/proc/7178/stat : 7178 (minisat_static) R 7172 7172 6367 0 -1 4194304 29767 0 0 0 112146 37 0 0 25 0 1 0 306769438 123371520 29753 1992294400 134512640 135215339 4294956256 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/7178/statm: 30120 29753 77 171 0 29947 0
Current children cumulated CPU time (s) 1121.89
Current children cumulated vsize (KiB) 125836
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 7185
/proc/meminfo: memFree=1788464/2055920 swapFree=4179704/4192956
[pid=7172] ppid=7170 vsize=5356 CPUtime=0.06
/proc/7172/stat : 7172 (SatELiteGTI) S 7170 7172 6367 0 -1 4194304 336 876 0 0 0 0 6 0 16 0 1 0 306769431 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7172/statm: 1339 239 197 169 0 50 0
[pid=7178] ppid=7172 vsize=120480 CPUtime=1181.81
/proc/7178/stat : 7178 (minisat_static) R 7172 7172 6367 0 -1 4194304 29767 0 0 0 118144 37 0 0 25 0 1 0 306769438 123371520 29753 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/7178/statm: 30120 29753 77 171 0 29947 0
Current children cumulated CPU time (s) 1181.87
Current children cumulated vsize (KiB) 125836
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 7185
/proc/meminfo: memFree=1788464/2055920 swapFree=4179704/4192956
[pid=7172] ppid=7170 vsize=5356 CPUtime=0.06
/proc/7172/stat : 7172 (SatELiteGTI) S 7170 7172 6367 0 -1 4194304 336 876 0 0 0 0 6 0 16 0 1 0 306769431 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7172/statm: 1339 239 197 169 0 50 0
[pid=7178] ppid=7172 vsize=120480 CPUtime=1200.01
/proc/7178/stat : 7178 (minisat_static) R 7172 7172 6367 0 -1 4194304 29767 0 0 0 119964 37 0 0 25 0 1 0 306769438 123371520 29753 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/7178/statm: 30120 29753 77 171 0 29947 0
Current children cumulated CPU time (s) 1200.07
Current children cumulated vsize (KiB) 125836
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 7185
/proc/meminfo: memFree=1788464/2055920 swapFree=4179704/4192956
[pid=7172] ppid=7170 vsize=5356 CPUtime=0.06
/proc/7172/stat : 7172 (SatELiteGTI) S 7170 7172 6367 0 -1 4194304 336 876 0 0 0 0 6 0 16 0 1 0 306769431 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7172/statm: 1339 239 197 169 0 50 0
[pid=7178] ppid=7172 vsize=120480 CPUtime=1200.01
/proc/7178/stat : 7178 (minisat_static) R 7172 7172 6367 0 -1 4194304 29767 0 0 0 119964 37 0 0 25 0 1 0 306769438 123371520 29753 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/7178/statm: 30120 29753 77 171 0 29947 0
Current children cumulated CPU time (s) 1200.07
Current children cumulated vsize (KiB) 125836
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 7172 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=66989
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=7998
# CPU time returned by wait4() is 0.074987
# while last known CPU time is 1200.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.51
CPU time (s): 1200.07
CPU user time (s): 1199.7
CPU system time (s): 0.37
CPU usage (%): 99.9632
Max. virtual memory (cumulated for all children) (KiB): 125836
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.066989
system time used= 0.007998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1212
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= 12
involuntary context switches= 8
runsolver used 1.52677 second user time and 2.92855 second system time
The end
Begin job on node9 at 2009-05-20 04:42:37
IDJOB=1832753
IDBENCH=70340
IDSOLVER=671
FILE ID=node9/1832753-1242787357
PBS_JOBID= 9322301
Free space on /tmp= 66508 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/3SAT/UNKNOWN/4000/unif-k3-r4.2-v4000-c16800-S1271018787-049.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832753-1242787357/watcher-1832753-1242787357 -o /tmp/evaluation-result-1832753-1242787357/solver-1832753-1242787357 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832753-1242787357.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= a2535194d868b4e0014d35a0421df6ea
RANDOM SEED=2051243988
node9.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.240
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.240
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: 1910744 kB
Buffers: 23956 kB
Cached: 74828 kB
SwapCached: 7840 kB
Active: 36112 kB
Inactive: 71884 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1910744 kB
SwapTotal: 4192956 kB
SwapFree: 4179700 kB
Dirty: 1864 kB
Writeback: 0 kB
Mapped: 14064 kB
Slab: 23224 kB
Committed_AS: 958492 kB
PageTables: 1396 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= 66504 MiB
End job on node9 at 2009-05-20 05:02:39