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 | 16683 50655 | -- 0 -- -- | -- | -117/255
0.00/0.05 c ==============================================================================
0.00/0.05 c Result : #vars: 3902 #clauses: 16683 #literals: 50655
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: 3902 |
0.00/0.07 c | Number of clauses: 16683 |
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 | 3902 16683 50655 | 5561 0 nan | 0.000 % |
0.00/0.09 c | 101 | 3902 16683 50655 | 5561 101 85 | 0.000 % |
0.06/0.11 c | 201 | 3902 16683 50655 | 5561 201 102 | 0.000 % |
0.06/0.12 c | 301 | 3902 16683 50655 | 5561 301 92 | 0.000 % |
0.06/0.13 c | 411 | 3902 16683 50655 | 5561 411 89 | 0.000 % |
0.06/0.14 c | 511 | 3902 16683 50655 | 5561 511 85 | 0.000 % |
0.06/0.15 c | 623 | 3902 16683 50655 | 5561 623 86 | 0.000 % |
0.06/0.17 c | 744 | 3902 16683 50655 | 5561 744 90 | 0.000 % |
0.06/0.18 c | 847 | 3902 16683 50655 | 5561 847 91 | 0.000 % |
0.06/0.20 c | 958 | 3902 16683 50655 | 5561 958 91 | 0.000 % |
0.06/0.21 c | 1080 | 3902 16683 50655 | 5561 1080 91 | 0.000 % |
0.06/0.23 c | 1214 | 3902 16683 50655 | 5561 1214 91 | 0.000 % |
0.06/0.24 c | 1316 | 3902 16683 50655 | 5561 1316 90 | 0.000 % |
0.06/0.26 c | 1426 | 3902 16683 50655 | 5561 1426 90 | 0.000 % |
0.06/0.27 c | 1547 | 3902 16683 50655 | 5561 1547 90 | 0.000 % |
0.06/0.29 c | 1680 | 3902 16683 50655 | 5561 1680 90 | 0.000 % |
0.06/0.31 c | 1829 | 3902 16683 50655 | 5561 1829 90 | 0.000 % |
0.06/0.32 c | 1929 | 3902 16683 50655 | 5561 1929 91 | 0.000 % |
0.06/0.33 c | 2039 | 3902 16683 50655 | 5561 2039 92 | 0.000 % |
0.06/0.35 c | 2161 | 3902 16683 50655 | 5561 2161 91 | 0.000 % |
0.06/0.37 c | 2294 | 3902 16683 50655 | 5561 2294 90 | 0.000 % |
0.06/0.38 c | 2441 | 3902 16683 50655 | 5561 2441 90 | 0.000 % |
0.06/0.41 c | 2601 | 3902 16683 50655 | 5561 2601 91 | 0.000 % |
0.06/0.42 c | 2701 | 3902 16683 50655 | 5561 2701 91 | 0.000 % |
0.06/0.43 c | 2811 | 3902 16683 50655 | 5561 2811 92 | 0.000 % |
0.06/0.45 c | 2933 | 3902 16683 50655 | 5561 2933 92 | 0.000 % |
0.06/0.47 c | 3066 | 3902 16683 50655 | 5561 3066 92 | 0.000 % |
0.06/0.49 c | 3214 | 3902 16683 50655 | 5561 3214 92 | 0.000 % |
0.06/0.51 c | 3375 | 3902 16683 50655 | 5561 3375 92 | 0.000 % |
0.06/0.53 c | 3551 | 3902 16683 50655 | 5561 3551 92 | 0.000 % |
0.06/0.55 c | 3652 | 3902 16683 50655 | 5561 3652 91 | 0.000 % |
0.06/0.56 c | 3762 | 3902 16683 50655 | 5561 3762 91 | 0.000 % |
0.06/0.58 c | 3883 | 3902 16683 50655 | 5561 3883 91 | 0.000 % |
0.06/0.60 c | 4016 | 3902 16683 50655 | 5561 4016 91 | 0.000 % |
0.06/0.62 c | 4162 | 3902 16683 50655 | 5561 4162 91 | 0.000 % |
0.06/0.64 c | 4323 | 3902 16683 50655 | 5561 4323 91 | 0.000 % |
0.06/0.66 c | 4500 | 3902 16683 50655 | 5561 4500 91 | 0.000 % |
0.06/0.69 c | 4693 | 3902 16683 50655 | 5561 4693 91 | 0.000 % |
0.06/0.70 c | 4794 | 3902 16683 50655 | 5561 4794 91 | 0.000 % |
0.06/0.72 c | 4905 | 3902 16683 50655 | 5561 4905 91 | 0.000 % |
0.06/0.73 c | 5026 | 3902 16683 50655 | 5561 5026 91 | 0.000 % |
0.06/0.75 c | 5159 | 3902 16683 50655 | 5561 5159 91 | 0.000 % |
0.06/0.78 c | 5305 | 3902 16683 50655 | 5561 5305 92 | 0.000 % |
0.06/0.80 c | 5466 | 3902 16683 50655 | 5561 5466 92 | 0.000 % |
0.06/0.83 c | 5644 | 3902 16683 50655 | 5561 5644 92 | 0.000 % |
0.06/0.86 c | 5837 | 3902 16683 50655 | 5561 5273 91 | 0.000 % |
0.06/0.89 c | 6051 | 3902 16683 50655 | 5561 5487 92 | 0.000 % |
0.06/0.90 c | 6151 | 3902 16683 50655 | 5561 5587 92 | 0.000 % |
0.06/0.92 c | 6261 | 3902 16683 50655 | 5561 5139 91 | 0.000 % |
0.06/0.94 c | 6383 | 3902 16683 50655 | 5561 5261 91 | 0.000 % |
0.06/0.96 c | 6516 | 3902 16683 50655 | 5561 5394 91 | 0.000 % |
0.06/0.98 c | 6664 | 3902 16683 50655 | 5561 5542 91 | 0.000 % |
0.98/1.01 c | 6825 | 3902 16683 50655 | 5561 5703 92 | 0.000 % |
0.98/1.04 c | 7002 | 3902 16683 50655 | 5561 5310 92 | 0.000 % |
0.98/1.07 c | 7196 | 3902 16683 50655 | 5561 5504 92 | 0.000 % |
0.98/1.10 c | 7409 | 3902 16683 50655 | 5561 5717 93 | 0.000 % |
1.08/1.14 c | 7642 | 3902 16683 50655 | 5561 5379 94 | 0.000 % |
1.08/1.15 c | 7743 | 3902 16683 50655 | 5561 5480 94 | 0.000 % |
1.08/1.17 c | 7853 | 3902 16683 50655 | 5561 5590 93 | 0.000 % |
1.08/1.19 c | 7975 | 3902 16683 50655 | 5561 5153 92 | 0.000 % |
1.17/1.21 c | 8110 | 3902 16683 50655 | 5561 5288 92 | 0.000 % |
1.17/1.23 c | 8256 | 3902 16683 50655 | 5561 5434 92 | 0.000 % |
1.17/1.25 c | 8420 | 3902 16683 50655 | 5561 5598 92 | 0.000 % |
1.17/1.28 c | 8598 | 3902 16683 50655 | 5561 5217 92 | 0.000 % |
1.27/1.31 c | 8791 | 3902 16683 50655 | 5561 5410 91 | 0.000 % |
1.27/1.34 c | 9004 | 3902 16683 50655 | 5561 5623 91 | 0.000 % |
1.27/1.37 c | 9237 | 3902 16683 50655 | 5561 5294 92 | 0.000 % |
1.37/1.41 c | 9494 | 3902 16683 50655 | 5561 5551 92 | 0.000 % |
1.37/1.42 c | 9596 | 3902 16683 50655 | 5561 5653 92 | 0.000 % |
1.37/1.44 c | 9706 | 3902 16683 50655 | 5561 5198 92 | 0.000 % |
1.37/1.46 c | 9827 | 3902 16683 50655 | 5561 5319 92 | 0.000 % |
1.37/1.48 c | 9960 | 3902 16683 50655 | 5561 5452 92 | 0.000 % |
1.37/1.50 c | 10106 | 3902 16683 50655 | 2147483647 5598 91 | 0.000 % |
1.47/1.52 c | 10266 | 3902 16683 50655 | 2147483647 5758 92 | 0.000 % |
1.47/1.54 c | 10445 | 3902 16683 50655 | 2147483647 5937 92 | 0.000 % |
1.47/1.57 c | 10638 | 3902 16683 50655 | 2147483647 6130 91 | 0.000 % |
1.57/1.61 c | 10852 | 3902 16683 50655 | 2147483647 6344 92 | 0.000 % |
1.57/1.64 c | 11085 | 3902 16683 50655 | 2147483647 6577 92 | 0.000 % |
1.57/1.68 c | 11341 | 3902 16683 50655 | 2147483647 6833 92 | 0.000 % |
1.68/1.72 c | 11623 | 3902 16683 50655 | 2147483647 7115 93 | 0.000 % |
1.68/1.74 c | 11724 | 3902 16683 50655 | 2147483647 7216 93 | 0.000 % |
1.68/1.76 c | 11836 | 3902 16683 50655 | 2147483647 7328 93 | 0.000 % |
1.68/1.78 c | 11958 | 3902 16683 50655 | 2147483647 7450 93 | 0.000 % |
1.78/1.80 c | 12092 | 3902 16683 50655 | 2147483647 7584 93 | 0.000 % |
1.78/1.82 c | 12238 | 3902 16683 50655 | 2147483647 7730 93 | 0.000 % |
1.78/1.84 c | 12398 | 3902 16683 50655 | 2147483647 7890 93 | 0.000 % |
1.78/1.87 c | 12576 | 3902 16683 50655 | 2147483647 8068 93 | 0.000 % |
1.88/1.90 c | 12770 | 3902 16683 50655 | 2147483647 8262 93 | 0.000 % |
1.88/1.94 c | 12982 | 3902 16683 50655 | 2147483647 8474 93 | 0.000 % |
1.88/1.98 c | 13216 | 3902 16683 50655 | 2147483647 8708 93 | 0.000 % |
1.98/2.02 c | 13472 | 3902 16683 50655 | 2147483647 8964 94 | 0.000 % |
1.98/2.07 c | 13753 | 3902 16683 50655 | 2147483647 9245 93 | 0.000 % |
2.08/2.12 c | 14062 | 3902 16683 50655 | 2147483647 9554 94 | 0.000 % |
2.08/2.14 c | 14163 | 3902 16683 50655 | 2147483647 9655 93 | 0.000 % |
2.08/2.16 c | 14273 | 3902 16683 50655 | 2147483647 9765 94 | 0.000 % |
2.08/2.18 c | 14394 | 3902 16683 50655 | 2147483647 9886 93 | 0.000 % |
2.08/2.20 c | 14530 | 3902 16683 50655 | 2147483647 10022 93 | 0.000 % |
2.18/2.23 c | 14677 | 3902 16683 50655 | 2147483647 10169 93 | 0.000 % |
2.18/2.26 c | 14837 | 3902 16683 50655 | 2147483647 10329 93 | 0.000 % |
2.18/2.29 c | 15014 | 3902 16683 50655 | 2147483647 10506 93 | 0.000 % |
2.27/2.32 c | 15207 | 3902 16683 50655 | 2147483647 10699 94 | 0.000 % |
2.27/2.36 c | 15419 | 3902 16683 50655 | 2147483647 10911 93 | 0.000 % |
2.37/2.40 c | 15652 | 3902 16683 50655 | 2147483647 11144 93 | 0.000 % |
2.37/2.45 c | 15908 | 3902 16683 50655 | 2147483647 11400 93 | 0.000 % |
2.47/2.50 c | 16189 | 3902 16683 50655 | 2147483647 11681 93 | 0.000 % |
2.47/2.56 c | 16499 | 3902 16683 50655 | 2147483647 11991 94 | 0.000 % |
2.57/2.62 c | 16839 | 3902 16683 50655 | 2147483647 12331 94 | 0.000 % |
2.57/2.64 c | 16939 | 3902 16683 50655 | 2147483647 12431 94 | 0.000 % |
2.57/2.66 c | 17052 | 3902 16683 50655 | 2147483647 12544 94 | 0.000 % |
2.57/2.68 c | 17175 | 3902 16683 50655 | 2147483647 12667 94 | 0.000 % |
2.67/2.71 c | 17308 | 3902 16683 50655 | 2147483647 12800 94 | 0.000 % |
2.67/2.74 c | 17454 | 3902 16683 50655 | 2147483647 12946 94 | 0.000 % |
2.67/2.77 c | 17615 | 3902 16683 50655 | 2147483647 13107 94 | 0.000 % |
2.77/2.81 c | 17791 | 3902 16683 50655 | 2147483647 13283 94 | 0.000 % |
2.77/2.85 c | 17984 | 3902 16683 50655 | 2147483647 13476 95 | 0.000 % |
2.77/2.89 c | 18199 | 3902 16683 50655 | 2147483647 13691 95 | 0.000 % |
2.87/2.93 c | 18433 | 3902 16683 50655 | 2147483647 13925 95 | 0.000 % |
2.87/2.98 c | 18689 | 3902 16683 50655 | 2147483647 14181 95 | 0.000 % |
2.97/3.04 c | 18973 | 3902 16683 50655 | 2147483647 14465 95 | 0.000 % |
3.07/3.10 c | 19282 | 3902 16683 50655 | 2147483647 14774 95 | 0.000 % |
3.07/3.16 c | 19622 | 3902 16683 50655 | 2147483647 15114 95 | 0.000 % |
3.17/3.24 c | 19994 | 3902 16683 50655 | 2147483647 15486 95 | 0.000 % |
3.17/3.26 c | 20095 | 3902 16683 50655 | 2147483647 15587 95 | 0.000 % |
3.17/3.29 c | 20206 | 3902 16683 50655 | 2147483647 15698 95 | 0.000 % |
3.27/3.32 c | 20328 | 3902 16683 50655 | 2147483647 15820 95 | 0.000 % |
3.27/3.35 c | 20461 | 3902 16683 50655 | 2147483647 15953 95 | 0.000 % |
3.27/3.38 c | 20607 | 3902 16683 50655 | 2147483647 16099 95 | 0.000 % |
3.37/3.41 c | 20767 | 3902 16683 50655 | 2147483647 16259 95 | 0.000 % |
3.37/3.45 c | 20947 | 3902 16683 50655 | 2147483647 16439 95 | 0.000 % |
3.37/3.49 c | 21141 | 3902 16683 50655 | 2147483647 16633 95 | 0.000 % |
3.47/3.54 c | 21359 | 3902 16683 50655 | 2147483647 16851 95 | 0.000 % |
3.47/3.59 c | 21592 | 3902 16683 50655 | 2147483647 17084 95 | 0.000 % |
3.57/3.64 c | 21849 | 3902 16683 50655 | 2147483647 17341 95 | 0.000 % |
3.67/3.70 c | 22131 | 3902 16683 50655 | 2147483647 17623 95 | 0.000 % |
3.67/3.78 c | 22441 | 3902 16683 50655 | 2147483647 17933 95 | 0.000 % |
3.77/3.85 c | 22781 | 3902 16683 50655 | 2147483647 18273 95 | 0.000 % |
3.87/3.93 c | 23156 | 3902 16683 50655 | 2147483647 18648 95 | 0.000 % |
3.97/4.02 c | 23565 | 3902 16683 50655 | 2147483647 19057 95 | 0.000 % |
3.97/4.05 c | 23666 | 3902 16683 50655 | 2147483647 19158 95 | 0.000 % |
3.97/4.08 c | 23779 | 3902 16683 50655 | 2147483647 19271 95 | 0.000 % |
4.07/4.11 c | 23900 | 3902 16683 50655 | 2147483647 19392 95 | 0.000 % |
4.07/4.14 c | 24036 | 3902 16683 50655 | 2147483647 19528 96 | 0.000 % |
4.07/4.18 c | 24183 | 3902 16683 50655 | 2147483647 19675 96 | 0.000 % |
4.17/4.22 c | 24343 | 3902 16683 50655 | 2147483647 19835 96 | 0.000 % |
4.17/4.26 c | 24519 | 3902 16683 50655 | 2147483647 20011 96 | 0.000 % |
4.28/4.31 c | 24713 | 3902 16683 50655 | 2147483647 20205 96 | 0.000 % |
4.28/4.36 c | 24926 | 3902 16683 50655 | 2147483647 20418 95 | 0.000 % |
4.38/4.43 c | 25163 | 3902 16683 50655 | 2147483647 20655 95 | 0.000 % |
4.38/4.49 c | 25420 | 3902 16683 50655 | 2147483647 20912 95 | 0.000 % |
4.47/4.55 c | 25702 | 3902 16683 50655 | 2147483647 21194 96 | 0.000 % |
4.57/4.63 c | 26011 | 3902 16683 50655 | 2147483647 21503 96 | 0.000 % |
4.67/4.72 c | 26351 | 3902 16683 50655 | 2147483647 21843 96 | 0.000 % |
4.77/4.81 c | 26723 | 3902 16683 50655 | 2147483647 22215 95 | 0.000 % |
4.87/4.91 c | 27134 | 3902 16683 50655 | 2147483647 22626 96 | 0.000 % |
4.97/5.01 c | 27583 | 3902 16683 50655 | 2147483647 23075 96 | 0.000 % |
4.97/5.04 c | 27683 | 3902 16683 50655 | 2147483647 23175 96 | 0.000 % |
4.97/5.07 c | 27793 | 3902 16683 50655 | 2147483647 23285 96 | 0.000 % |
5.07/5.10 c | 27915 | 3902 16683 50655 | 2147483647 23407 96 | 0.000 % |
5.07/5.14 c | 28048 | 3902 16683 50655 | 2147483647 23540 96 | 0.000 % |
5.07/5.18 c | 28194 | 3902 16683 50655 | 2147483647 23686 96 | 0.000 % |
5.17/5.23 c | 28355 | 3902 16683 50655 | 2147483647 23847 96 | 0.000 % |
5.17/5.27 c | 28531 | 3902 16683 50655 | 2147483647 24023 96 | 0.000 % |
5.27/5.32 c | 28727 | 3902 16683 50655 | 2147483647 24219 96 | 0.000 % |
5.27/5.38 c | 28940 | 3902 16683 50655 | 2147483647 24432 96 | 0.000 % |
5.37/5.44 c | 29174 | 3902 16683 50655 | 2147483647 24666 96 | 0.000 % |
5.47/5.50 c | 29431 | 3902 16683 50655 | 2147483647 24923 96 | 0.000 % |
5.47/5.58 c | 29713 | 3902 16683 50655 | 2147483647 25205 96 | 0.000 % |
5.57/5.66 c | 30022 | 3902 16683 50655 | 2147483647 25514 96 | 0.000 % |
5.67/5.75 c | 30361 | 3902 16683 50655 | 2147483647 25853 96 | 0.000 % |
5.77/5.85 c | 30733 | 3902 16683 50655 | 2147483647 26225 96 | 0.000 % |
5.86/5.96 c | 31143 | 3902 16683 50655 | 2147483647 26635 96 | 0.000 % |
5.96/6.08 c | 31592 | 3902 16683 50655 | 2147483647 27084 96 | 0.000 % |
6.16/6.22 c | 32087 | 3902 16683 50655 | 2147483647 27579 96 | 0.000 % |
6.16/6.25 c | 32189 | 3902 16683 50655 | 2147483647 27681 96 | 0.000 % |
6.16/6.28 c | 32299 | 3902 16683 50655 | 2147483647 27791 96 | 0.000 % |
6.27/6.32 c | 32423 | 3902 16683 50655 | 2147483647 27915 96 | 0.000 % |
6.27/6.36 c | 32556 | 3902 16683 50655 | 2147483647 28048 96 | 0.000 % |
6.37/6.40 c | 32702 | 3902 16683 50655 | 2147483647 28194 96 | 0.000 % |
6.37/6.45 c | 32863 | 3902 16683 50655 | 2147483647 28355 96 | 0.000 % |
6.37/6.50 c | 33039 | 3902 16683 50655 | 2147483647 28531 96 | 0.000 % |
6.48/6.56 c | 33232 | 3902 16683 50655 | 2147483647 28724 96 | 0.000 % |
6.57/6.63 c | 33444 | 3902 16683 50655 | 2147483647 28936 96 | 0.000 % |
6.67/6.70 c | 33679 | 3902 16683 50655 | 2147483647 29171 96 | 0.000 % |
6.67/6.77 c | 33935 | 3902 16683 50655 | 2147483647 29427 96 | 0.000 % |
6.77/6.85 c | 34217 | 3902 16683 50655 | 2147483647 29709 96 | 0.000 % |
6.87/6.94 c | 34527 | 3902 16683 50655 | 2147483647 30019 97 | 0.000 % |
6.97/7.04 c | 34867 | 3902 16683 50655 | 2147483647 30359 97 | 0.000 % |
7.07/7.15 c | 35239 | 3902 16683 50655 | 2147483647 30731 97 | 0.000 % |
7.17/7.28 c | 35649 | 3902 16683 50655 | 2147483647 31141 97 | 0.000 % |
7.37/7.41 c | 36099 | 3902 16683 50655 | 2147483647 31591 97 | 0.000 % |
7.47/7.56 c | 36593 | 3902 16683 50655 | 2147483647 32085 97 | 0.000 % |
7.67/7.73 c | 37137 | 3902 16683 50655 | 2147483647 32629 97 | 0.000 % |
7.67/7.76 c | 37237 | 3902 16683 50655 | 2147483647 32729 97 | 0.000 % |
7.67/7.79 c | 37347 | 3902 16683 50655 | 2147483647 32839 97 | 0.000 % |
7.77/7.84 c | 37470 | 3902 16683 50655 | 2147483647 32962 97 | 0.000 % |
7.77/7.88 c | 37606 | 3902 16683 50655 | 2147483647 33098 97 | 0.000 % |
7.87/7.93 c | 37753 | 3902 16683 50655 | 2147483647 33245 97 | 0.000 % |
7.87/7.98 c | 37914 | 3902 16683 50655 | 2147483647 33406 97 | 0.000 % |
7.97/8.04 c | 38093 | 3902 16683 50655 | 2147483647 33585 97 | 0.000 % |
8.06/8.10 c | 38286 | 3902 16683 50655 | 2147483647 33778 97 | 0.000 % |
8.06/8.17 c | 38498 | 3902 16683 50655 | 2147483647 33990 97 | 0.000 % |
8.16/8.24 c | 38732 | 3902 16683 50655 | 2147483647 34224 97 | 0.000 % |
8.26/8.33 c | 38988 | 3902 16683 50655 | 2147483647 34480 97 | 0.000 % |
8.36/8.42 c | 39269 | 3902 16683 50655 | 2147483647 34761 98 | 0.000 % |
8.46/8.51 c | 39579 | 3902 16683 50655 | 2147483647 35071 98 | 0.000 % |
8.56/8.63 c | 39919 | 3902 16683 50655 | 2147483647 35411 98 | 0.000 % |
8.66/8.75 c | 40292 | 3902 16683 50655 | 2147483647 35784 98 | 0.000 % |
8.76/8.88 c | 40701 | 3902 16683 50655 | 2147483647 36193 98 | 0.000 % |
8.96/9.04 c | 41153 | 3902 16683 50655 | 2147483647 36645 98 | 0.000 % |
9.17/9.20 c | 41648 | 3902 16683 50655 | 2147483647 37140 98 | 0.000 % |
9.37/9.40 c | 42190 | 3902 16683 50655 | 2147483647 37682 98 | 0.000 % |
9.57/9.60 c | 42786 | 3902 16683 50655 | 2147483647 38278 98 | 0.000 % |
9.57/9.63 c | 42888 | 3902 16683 50655 | 2147483647 38380 98 | 0.000 % |
9.57/9.68 c | 42999 | 3902 16683 50655 | 2147483647 38491 98 | 0.000 % |
9.67/9.73 c | 43120 | 3902 16683 50655 | 2147483647 38612 98 | 0.000 % |
9.67/9.77 c | 43253 | 3902 16683 50655 | 2147483647 38745 98 | 0.000 % |
9.77/9.82 c | 43399 | 3902 16683 50655 | 2147483647 38891 98 | 0.000 % |
9.77/9.88 c | 43559 | 3902 16683 50655 | 2147483647 39051 98 | 0.000 % |
9.87/9.95 c | 43736 | 3902 16683 50655 | 2147483647 39228 98 | 0.000 % |
9.96/10.02 c | 43930 | 3902 16683 50655 | 2147483647 39422 98 | 0.000 % |
10.06/10.12 c | 44142 | 3902 16683 50655 | 2147483647 39634 98 | 0.000 % |
10.16/10.20 c | 44376 | 3902 16683 50655 | 2147483647 39868 98 | 0.000 % |
10.16/10.29 c | 44632 | 3902 16683 50655 | 2147483647 40124 98 | 0.000 % |
10.26/10.39 c | 44914 | 3902 16683 50655 | 2147483647 40406 98 | 0.000 % |
10.46/10.51 c | 45223 | 3902 16683 50655 | 2147483647 40715 98 | 0.000 % |
10.56/10.63 c | 45564 | 3902 16683 50655 | 2147483647 41056 98 | 0.000 % |
10.66/10.76 c | 45936 | 3902 16683 50655 | 2147483647 41428 98 | 0.000 % |
10.87/10.91 c | 46345 | 3902 16683 50655 | 2147483647 41837 98 | 0.000 % |
10.97/11.08 c | 46795 | 3902 16683 50655 | 2147483647 42287 98 | 0.000 % |
11.16/11.25 c | 47288 | 3902 16683 50655 | 2147483647 42780 98 | 0.000 % |
11.36/11.47 c | 47832 | 3902 16683 50655 | 2147483647 43324 98 | 0.000 % |
11.56/11.68 c | 48428 | 3902 16683 50655 | 2147483647 43920 98 | 0.000 % |
11.85/11.92 c | 49085 | 3902 16683 50655 | 2147483647 44577 99 | 0.000 % |
11.85/11.97 c | 49186 | 3902 16683 50655 | 2147483647 44678 99 | 0.000 % |
11.96/12.01 c | 49296 | 3902 16683 50655 | 2147483647 44788 99 | 0.000 % |
11.96/12.07 c | 49417 | 3902 16683 50655 | 2147483647 44909 99 | 0.000 % |
12.06/12.13 c | 49551 | 3902 16683 50655 | 2147483647 45043 99 | 0.000 % |
12.16/12.20 c | 49698 | 3902 16683 50655 | 2147483647 45190 99 | 0.000 % |
12.16/12.27 c | 49859 | 3902 16683 50655 | 2147483647 45351 99 | 0.000 % |
12.26/12.34 c | 50036 | 3902 16683 50655 | 2147483647 45528 99 | 0.000 % |
12.36/12.42 c | 50230 | 3902 16683 50655 | 2147483647 45722 99 | 0.000 % |
12.46/12.51 c | 50444 | 3902 16683 50655 | 2147483647 45936 99 | 0.000 % |
12.56/12.61 c | 50677 | 3902 16683 50655 | 2147483647 46169 99 | 0.000 % |
12.66/12.71 c | 50933 | 3902 16683 50655 | 2147483647 46425 99 | 0.000 % |
12.76/12.82 c | 51214 | 3902 16683 50655 | 2147483647 46706 99 | 0.000 % |
12.86/12.93 c | 51523 | 3902 16683 50655 | 2147483647 47015 99 | 0.000 % |
12.96/13.08 c | 51862 | 3902 16683 50655 | 2147483647 47354 99 | 0.000 % |
13.16/13.23 c | 52235 | 3902 16683 50655 | 2147483647 47727 99 | 0.000 % |
13.36/13.40 c | 52644 | 3902 16683 50655 | 2147483647 48136 99 | 0.000 % |
13.46/13.58 c | 53093 | 3902 16683 50655 | 2147483647 48585 99 | 0.000 % |
13.65/13.79 c | 53586 | 3902 16683 50655 | 2147483647 49078 99 | 0.000 % |
13.95/14.03 c | 54129 | 3902 16683 50655 | 2147483647 49621 99 | 0.000 % |
14.16/14.28 c | 54725 | 3902 16683 50655 | 2147483647 50217 99 | 0.000 % |
14.45/14.57 c | 55380 | 3902 16683 50655 | 2147483647 50872 99 | 0.000 % |
14.76/14.86 c | 56101 | 3902 16683 50655 | 2147483647 51593 99 | 0.000 % |
14.86/14.90 c | 56203 | 3902 16683 50655 | 2147483647 51695 99 | 0.000 % |
14.86/14.96 c | 56314 | 3902 16683 50655 | 2147483647 51806 99 | 0.000 % |
14.96/15.02 c | 56436 | 3902 16683 50655 | 2147483647 51928 99 | 0.000 % |
14.96/15.09 c | 56571 | 3902 16683 50655 | 2147483647 52063 99 | 0.000 % |
15.06/15.16 c | 56717 | 3902 16683 50655 | 2147483647 52209 99 | 0.000 % |
15.16/15.24 c | 56880 | 3902 16683 50655 | 2147483647 52372 99 | 0.000 % |
15.26/15.32 c | 57056 | 3902 16683 50655 | 2147483647 52548 99 | 0.000 % |
15.36/15.41 c | 57250 | 3902 16683 50655 | 2147483647 52742 99 | 0.000 % |
15.46/15.51 c | 57462 | 3902 16683 50655 | 2147483647 52954 99 | 0.000 % |
15.56/15.62 c | 57696 | 3902 16683 50655 | 2147483647 53188 99 | 0.000 % |
15.66/15.73 c | 57953 | 3902 16683 50655 | 2147483647 53445 99 | 0.000 % |
15.76/15.85 c | 58234 | 3902 16683 50655 | 2147483647 53726 99 | 0.000 % |
15.96/16.00 c | 58543 | 3902 16683 50655 | 2147483647 54035 99 | 0.000 % |
16.06/16.16 c | 58884 | 3902 16683 50655 | 2147483647 54376 99 | 0.000 % |
16.26/16.33 c | 59256 | 3902 16683 50655 | 2147483647 54748 99 | 0.000 % |
16.46/16.53 c | 59667 | 3902 16683 50655 | 2147483647 55159 99 | 0.000 % |
16.66/16.72 c | 60116 | 3902 16683 50655 | 2147483647 55608 99 | 0.000 % |
16.86/16.94 c | 60609 | 3902 16683 50655 | 2147483647 56101 99 | 0.000 % |
17.06/17.17 c | 61153 | 3902 16683 50655 | 2147483647 56645 100 | 0.000 % |
17.36/17.40 c | 61751 | 3902 16683 50655 | 2147483647 57243 100 | 0.000 % |
17.56/17.69 c | 62408 | 3902 16683 50655 | 2147483647 57900 100 | 0.000 % |
17.95/18.02 c | 63131 | 3902 16683 50655 | 2147483647 58623 100 | 0.000 % |
18.25/18.39 c | 63923 | 3902 16683 50655 | 2147483647 59415 100 | 0.000 % |
18.35/18.43 c | 64024 | 3902 16683 50655 | 2147483647 59516 100 | 0.000 % |
18.45/18.50 c | 64134 | 3902 16683 50655 | 2147483647 59626 100 | 0.000 % |
18.45/18.57 c | 64255 | 3902 16683 50655 | 2147483647 59747 100 | 0.000 % |
18.55/18.65 c | 64388 | 3902 16683 50655 | 2147483647 59880 100 | 0.000 % |
18.65/18.73 c | 64535 | 3902 16683 50655 | 2147483647 60027 100 | 0.000 % |
18.75/18.83 c | 64696 | 3902 16683 50655 | 2147483647 60188 100 | 0.000 % |
18.85/18.92 c | 64872 | 3902 16683 50655 | 2147483647 60364 100 | 0.000 % |
18.95/19.01 c | 65066 | 3902 16683 50655 | 2147483647 60558 100 | 0.000 % |
19.05/19.14 c | 65278 | 3902 16683 50655 | 2147483647 60770 100 | 0.000 % |
19.15/19.25 c | 65511 | 3902 16683 50655 | 2147483647 61003 100 | 0.000 % |
19.25/19.38 c | 65767 | 3902 16683 50655 | 2147483647 61259 100 | 0.000 % |
19.46/19.54 c | 66048 | 3902 16683 50655 | 2147483647 61540 100 | 0.000 % |
19.56/19.69 c | 66358 | 3902 16683 50655 | 2147483647 61850 100 | 0.000 % |
19.76/19.86 c | 66697 | 3902 16683 50655 | 2147483647 62189 100 | 0.000 % |
19.95/20.04 c | 67069 | 3902 16683 50655 | 2147483647 62561 100 | 0.000 % |
20.15/20.26 c | 67479 | 3902 16683 50655 | 2147483647 62971 100 | 0.000 % |
20.45/20.50 c | 67928 | 3902 16683 50655 | 2147483647 63420 100 | 0.000 % |
20.65/20.76 c | 68424 | 3902 16683 50655 | 2147483647 63916 100 | 0.000 % |
20.95/21.04 c | 68967 | 3902 16683 50655 | 2147483647 64459 100 | 0.000 % |
21.25/21.36 c | 69564 | 3902 16683 50655 | 2147483647 65056 100 | 0.000 % |
21.65/21.71 c | 70219 | 3902 16683 50655 | 2147483647 65711 100 | 0.000 % |
21.95/22.09 c | 70941 | 3902 16683 50655 | 2147483647 66433 100 | 0.000 % |
22.45/22.52 c | 71733 | 3902 16683 50655 | 2147483647 67225 100 | 0.000 % |
22.85/22.98 c | 72604 | 3902 16683 50655 | 2147483647 68096 101 | 0.000 % |
22.95/23.04 c | 72704 | 3902 16683 50655 | 2147483647 68196 101 | 0.000 % |
23.06/23.11 c | 72817 | 3902 16683 50655 | 2147483647 68309 101 | 0.000 % |
23.06/23.18 c | 72938 | 3902 16683 50655 | 2147483647 68430 101 | 0.000 % |
23.15/23.26 c | 73074 | 3902 16683 50655 | 2147483647 68566 101 | 0.000 % |
23.25/23.35 c | 73220 | 3902 16683 50655 | 2147483647 68712 101 | 0.000 % |
23.35/23.45 c | 73382 | 3902 16683 50655 | 2147483647 68874 101 | 0.000 % |
23.45/23.57 c | 73559 | 3902 16683 50655 | 2147483647 69051 101 | 0.000 % |
23.55/23.68 c | 73754 | 3902 16683 50655 | 2147483647 69246 100 | 0.000 % |
23.75/23.81 c | 73966 | 3902 16683 50655 | 2147483647 69458 100 | 0.000 % |
23.85/23.95 c | 74200 | 3902 16683 50655 | 2147483647 69692 100 | 0.000 % |
23.95/24.10 c | 74456 | 3902 16683 50655 | 2147483647 69948 100 | 0.000 % |
24.15/24.25 c | 74739 | 3902 16683 50655 | 2147483647 70231 100 | 0.000 % |
24.35/24.43 c | 75049 | 3902 16683 50655 | 2147483647 70541 100 | 0.000 % |
24.55/24.62 c | 75388 | 3902 16683 50655 | 2147483647 70880 100 | 0.000 % |
24.75/24.84 c | 75761 | 3902 16683 50655 | 2147483647 71253 100 | 0.000 % |
24.95/25.04 c | 76170 | 3902 16683 50655 | 2147483647 71662 100 | 0.000 % |
25.15/25.28 c | 76619 | 3902 16683 50655 | 2147483647 72111 100 | 0.000 % |
25.45/25.56 c | 77112 | 3902 16683 50655 | 2147483647 72604 100 | 0.000 % |
25.75/25.88 c | 77655 | 3902 16683 50655 | 2147483647 73147 100 | 0.000 % |
26.15/26.23 c | 78252 | 3902 16683 50655 | 2147483647 73744 100 | 0.000 % |
26.54/26.60 c | 78909 | 3902 16683 50655 | 2147483647 74401 101 | 0.000 % |
26.84/27.00 c | 79629 | 3902 16683 50655 | 2147483647 75121 101 | 0.000 % |
27.35/27.42 c | 80422 | 3902 16683 50655 | 2147483647 75914 101 | 0.000 % |
27.84/27.91 c | 81293 | 3902 16683 50655 | 2147483647 76785 101 | 0.000 % |
28.35/28.46 c | 82251 | 3902 16683 50655 | 2147483647 77743 101 | 0.000 % |
28.45/28.53 c | 82351 | 3902 16683 50655 | 2147483647 77843 101 | 0.000 % |
28.55/28.62 c | 82462 | 3902 16683 50655 | 2147483647 77954 101 | 0.000 % |
28.55/28.69 c | 82584 | 3902 16683 50655 | 2147483647 78076 101 | 0.000 % |
28.65/28.78 c | 82719 | 3902 16683 50655 | 2147483647 78211 101 | 0.000 % |
28.75/28.88 c | 82865 | 3902 16683 50655 | 2147483647 78357 101 | 0.000 % |
28.85/28.97 c | 83025 | 3902 16683 50655 | 2147483647 78517 101 | 0.000 % |
28.95/29.10 c | 83205 | 3902 16683 50655 | 2147483647 78697 101 | 0.000 % |
29.15/29.22 c | 83400 | 3902 16683 50655 | 2147483647 78892 101 | 0.000 % |
29.25/29.37 c | 83614 | 3902 16683 50655 | 2147483647 79106 101 | 0.000 % |
29.45/29.52 c | 83847 | 3902 16683 50655 | 2147483647 79339 101 | 0.000 % |
29.55/29.69 c | 84103 | 3902 16683 50655 | 2147483647 79595 101 | 0.000 % |
29.75/29.87 c | 84384 | 3902 16683 50655 | 2147483647 79876 101 | 0.000 % |
29.95/30.08 c | 84694 | 3902 16683 50655 | 2147483647 80186 101 | 0.000 % |
30.14/30.28 c | 85033 | 3902 16683 50655 | 2147483647 80525 101 | 0.000 % |
30.44/30.52 c | 85405 | 3902 16683 50655 | 2147483647 80897 101 | 0.000 % |
30.65/30.80 c | 85816 | 3902 16683 50655 | 2147483647 81308 101 | 0.000 % |
30.94/31.06 c | 86266 | 3902 16683 50655 | 2147483647 81758 101 | 0.000 % |
31.24/31.34 c | 86760 | 3902 16683 50655 | 2147483647 82252 101 | 0.000 % |
31.54/31.66 c | 87302 | 3902 16683 50655 | 2147483647 82794 101 | 0.000 % |
31.85/31.99 c | 87898 | 3902 16683 50655 | 2147483647 83390 101 | 0.000 % |
32.24/32.38 c | 88553 | 3902 16683 50655 | 2147483647 84045 101 | 0.000 % |
32.74/32.85 c | 89273 | 3902 16683 50655 | 2147483647 84765 101 | 0.000 % |
33.24/33.35 c | 90067 | 3902 16683 50655 | 2147483647 85559 101 | 0.000 % |
33.84/33.92 c | 90939 | 3902 16683 50655 | 2147483647 86431 102 | 0.000 % |
34.44/34.51 c | 91897 | 3902 16683 50655 | 2147483647 87389 102 | 0.000 % |
35.05/35.18 c | 92950 | 3902 16683 50655 | 2147483647 88442 102 | 0.000 % |
35.15/35.25 c | 93052 | 3902 16683 50655 | 2147483647 88544 102 | 0.000 % |
35.24/35.35 c | 93166 | 3902 16683 50655 | 2147483647 88658 102 | 0.000 % |
35.34/35.44 c | 93288 | 3902 16683 50655 | 2147483647 88780 102 | 0.000 % |
35.44/35.52 c | 93421 | 3902 16683 50655 | 2147483647 88913 102 | 0.000 % |
35.54/35.63 c | 93569 | 3902 16683 50655 | 2147483647 89061 102 | 0.000 % |
35.64/35.78 c | 93729 | 3902 16683 50655 | 2147483647 89221 102 | 0.000 % |
35.84/35.90 c | 93907 | 3902 16683 50655 | 2147483647 89399 102 | 0.000 % |
35.94/36.05 c | 94100 | 3902 16683 50655 | 2147483647 89592 102 | 0.000 % |
36.04/36.19 c | 94312 | 3902 16683 50655 | 2147483647 89804 102 | 0.000 % |
36.25/36.35 c | 94545 | 3902 16683 50655 | 2147483647 90037 102 | 0.000 % |
36.44/36.55 c | 94801 | 3902 16683 50655 | 2147483647 90293 102 | 0.000 % |
36.64/36.73 c | 95082 | 3902 16683 50655 | 2147483647 90574 102 | 0.000 % |
36.84/36.96 c | 95392 | 3902 16683 50655 | 2147483647 90884 102 | 0.000 % |
37.04/37.18 c | 95731 | 3902 16683 50655 | 2147483647 91223 102 | 0.000 % |
37.34/37.44 c | 96104 | 3902 16683 50655 | 2147483647 91596 102 | 0.000 % |
37.64/37.71 c | 96513 | 3902 16683 50655 | 2147483647 92005 102 | 0.000 % |
37.94/38.03 c | 96965 | 3902 16683 50655 | 2147483647 92457 102 | 0.000 % |
38.24/38.35 c | 97458 | 3902 16683 50655 | 2147483647 92950 102 | 0.000 % |
38.63/38.73 c | 98001 | 3902 16683 50655 | 2147483647 93493 102 | 0.000 % |
39.03/39.16 c | 98598 | 3902 16683 50655 | 2147483647 94090 102 | 0.000 % |
39.54/39.63 c | 99253 | 3902 16683 50655 | 2147483647 94745 102 | 0.000 % |
40.03/40.10 c | 99976 | 3902 16683 50655 | 2147483647 95468 102 | 0.000 % |
40.54/40.65 c | 100769 | 3902 16683 50655 | 2147483647 96261 102 | 0.000 % |
41.14/41.21 c | 101640 | 3902 16683 50655 | 2147483647 97132 102 | 0.000 % |
41.74/41.86 c | 102599 | 3902 16683 50655 | 2147483647 98091 102 | 0.000 % |
42.54/42.62 c | 103653 | 3902 16683 50655 | 2147483647 99145 102 | 0.000 % |
43.34/43.46 c | 104812 | 3902 16683 50655 | 2147483647 100304 102 | 0.000 % |
43.44/43.55 c | 104914 | 3902 16683 50655 | 2147483647 100406 102 | 0.000 % |
43.54/43.66 c | 105025 | 3902 16683 50655 | 2147483647 100517 102 | 0.000 % |
43.64/43.78 c | 105146 | 3902 16683 50655 | 2147483647 100638 102 | 0.000 % |
43.74/43.89 c | 105279 | 3902 16683 50655 | 2147483647 100771 102 | 0.000 % |
43.94/44.02 c | 105425 | 3902 16683 50655 | 2147483647 100917 102 | 0.000 % |
44.04/44.14 c | 105585 | 3902 16683 50655 | 2147483647 101077 102 | 0.000 % |
44.14/44.29 c | 105762 | 3902 16683 50655 | 2147483647 101254 102 | 0.000 % |
44.34/44.44 c | 105955 | 3902 16683 50655 | 2147483647 101447 102 | 0.000 % |
44.44/44.59 c | 106167 | 3902 16683 50655 | 2147483647 101659 102 | 0.000 % |
44.63/44.75 c | 106402 | 3902 16683 50655 | 2147483647 101894 102 | 0.000 % |
44.83/44.96 c | 106658 | 3902 16683 50655 | 2147483647 102150 102 | 0.000 % |
45.04/45.16 c | 106939 | 3902 16683 50655 | 2147483647 102431 102 | 0.000 % |
45.33/45.42 c | 107249 | 3902 16683 50655 | 2147483647 102741 102 | 0.000 % |
45.53/45.67 c | 107589 | 3902 16683 50655 | 2147483647 103081 102 | 0.000 % |
45.93/46.01 c | 107961 | 3902 16683 50655 | 2147483647 103453 102 | 0.000 % |
46.23/46.30 c | 108370 | 3902 16683 50655 | 2147483647 103862 102 | 0.000 % |
46.53/46.63 c | 108819 | 3902 16683 50655 | 2147483647 104311 102 | 0.000 % |
46.93/47.04 c | 109312 | 3902 16683 50655 | 2147483647 104804 102 | 0.000 % |
47.33/47.43 c | 109855 | 3902 16683 50655 | 2147483647 105347 102 | 0.000 % |
47.73/47.85 c | 110451 | 3902 16683 50655 | 2147483647 105943 102 | 0.000 % |
48.24/48.33 c | 111109 | 3902 16683 50655 | 2147483647 106601 102 | 0.000 % |
48.73/48.89 c | 111829 | 3902 16683 50655 | 2147483647 107321 102 | 0.000 % |
49.44/49.51 c | 112623 | 3902 16683 50655 | 2147483647 108115 102 | 0.000 % |
50.13/50.20 c | 113496 | 3902 16683 50655 | 2147483647 108988 102 | 0.000 % |
50.83/50.96 c | 114454 | 3902 16683 50655 | 2147483647 109946 102 | 0.000 % |
51.64/51.75 c | 115509 | 3902 16683 50655 | 2147483647 111001 102 | 0.000 % |
52.53/52.64 c | 116668 | 3902 16683 50655 | 2147483647 112160 102 | 0.000 % |
53.53/53.65 c | 117941 | 3902 16683 50655 | 2147483647 113433 103 | 0.000 % |
53.63/53.73 c | 118043 | 3902 16683 50655 | 2147483647 113535 103 | 0.000 % |
53.73/53.85 c | 118153 | 3902 16683 50655 | 2147483647 113645 103 | 0.000 % |
53.83/53.97 c | 118275 | 3902 16683 50655 | 2147483647 113767 103 | 0.000 % |
53.93/54.10 c | 118408 | 3902 16683 50655 | 2147483647 113900 103 | 0.000 % |
54.13/54.24 c | 118555 | 3902 16683 50655 | 2147483647 114047 103 | 0.000 % |
54.32/54.40 c | 118716 | 3902 16683 50655 | 2147483647 114208 102 | 0.000 % |
54.42/54.55 c | 118892 | 3902 16683 50655 | 2147483647 114384 102 | 0.000 % |
54.62/54.74 c | 119086 | 3902 16683 50655 | 2147483647 114578 102 | 0.000 % |
54.83/54.96 c | 119298 | 3902 16683 50655 | 2147483647 114790 102 | 0.000 % |
55.03/55.18 c | 119531 | 3902 16683 50655 | 2147483647 115023 102 | 0.000 % |
55.33/55.44 c | 119787 | 3902 16683 50655 | 2147483647 115279 102 | 0.000 % |
55.63/55.70 c | 120070 | 3902 16683 50655 | 2147483647 115562 102 | 0.000 % |
55.83/55.98 c | 120379 | 3902 16683 50655 | 2147483647 115871 102 | 0.000 % |
56.13/56.28 c | 120720 | 3902 16683 50655 | 2147483647 116212 102 | 0.000 % |
56.53/56.62 c | 121095 | 3902 16683 50655 | 2147483647 116587 102 | 0.000 % |
56.83/57.00 c | 121504 | 3902 16683 50655 | 2147483647 116996 102 | 0.000 % |
57.33/57.42 c | 121953 | 3902 16683 50655 | 2147483647 117445 102 | 0.000 % |
57.72/57.81 c | 122447 | 3902 16683 50655 | 2147483647 117939 102 | 0.000 % |
58.13/58.26 c | 122989 | 3902 16683 50655 | 2147483647 118481 102 | 0.000 % |
58.62/58.76 c | 123586 | 3902 16683 50655 | 2147483647 119078 102 | 0.000 % |
59.23/59.32 c | 124242 | 3902 16683 50655 | 2147483647 119734 102 | 0.000 % |
59.93/60.00 c | 124965 | 3902 16683 50655 | 2147483647 120457 103 | 0.000 % |
60.52/60.64 c | 125760 | 3902 16683 50655 | 2147483647 121252 103 | 0.000 % |
61.22/61.31 c | 126631 | 3902 16683 50655 | 2147483647 122123 103 | 0.000 % |
62.02/62.10 c | 127589 | 3902 16683 50655 | 2147483647 123081 103 | 0.000 % |
62.92/63.04 c | 128642 | 3902 16683 50655 | 2147483647 124134 103 | 0.000 % |
63.93/64.02 c | 129803 | 3902 16683 50655 | 2147483647 125295 103 | 0.000 % |
64.83/64.99 c | 131077 | 3902 16683 50655 | 2147483647 126569 103 | 0.000 % |
66.02/66.18 c | 132477 | 3902 16683 50655 | 2147483647 127969 103 | 0.000 % |
66.12/66.28 c | 132577 | 3902 16683 50655 | 2147483647 128069 103 | 0.000 % |
66.32/66.41 c | 132687 | 3902 16683 50655 | 2147483647 128179 103 | 0.000 % |
66.42/66.54 c | 132809 | 3902 16683 50655 | 2147483647 128301 103 | 0.000 % |
66.52/66.68 c | 132943 | 3902 16683 50655 | 2147483647 128435 103 | 0.000 % |
66.72/66.83 c | 133091 | 3902 16683 50655 | 2147483647 128583 103 | 0.000 % |
66.93/67.01 c | 133251 | 3902 16683 50655 | 2147483647 128743 103 | 0.000 % |
67.03/67.18 c | 133430 | 3902 16683 50655 | 2147483647 128922 103 | 0.000 % |
67.22/67.36 c | 133623 | 3902 16683 50655 | 2147483647 129115 103 | 0.000 % |
67.42/67.56 c | 133838 | 3902 16683 50655 | 2147483647 129330 103 | 0.000 % |
67.62/67.79 c | 134071 | 3902 16683 50655 | 2147483647 129563 103 | 0.000 % |
67.92/68.06 c | 134327 | 3902 16683 50655 | 2147483647 129819 103 | 0.000 % |
68.22/68.34 c | 134608 | 3902 16683 50655 | 2147483647 130100 103 | 0.000 % |
68.51/68.66 c | 134918 | 3902 16683 50655 | 2147483647 130410 103 | 0.000 % |
68.81/68.96 c | 135258 | 3902 16683 50655 | 2147483647 130750 103 | 0.000 % |
69.23/69.33 c | 135631 | 3902 16683 50655 | 2147483647 131123 103 | 0.000 % |
69.62/69.74 c | 136040 | 3902 16683 50655 | 2147483647 131532 103 | 0.000 % |
70.02/70.16 c | 136489 | 3902 16683 50655 | 2147483647 131981 103 | 0.000 % |
70.52/70.61 c | 136983 | 3902 16683 50655 | 2147483647 132475 103 | 0.000 % |
71.02/71.14 c | 137525 | 3902 16683 50655 | 2147483647 133017 103 | 0.000 % |
71.62/71.75 c | 138121 | 3902 16683 50655 | 2147483647 133613 103 | 0.000 % |
72.22/72.37 c | 138776 | 3902 16683 50655 | 2147483647 134268 103 | 0.000 % |
72.92/73.04 c | 139496 | 3902 16683 50655 | 2147483647 134988 103 | 0.000 % |
73.62/73.76 c | 140289 | 3902 16683 50655 | 2147483647 135781 103 | 0.000 % |
74.52/74.61 c | 141160 | 3902 16683 50655 | 2147483647 136652 103 | 0.000 % |
75.31/75.49 c | 142118 | 3902 16683 50655 | 2147483647 137610 103 | 0.000 % |
76.32/76.50 c | 143171 | 3902 16683 50655 | 2147483647 138663 103 | 0.000 % |
77.52/77.60 c | 144329 | 3902 16683 50655 | 2147483647 139821 104 | 0.000 % |
78.72/78.80 c | 145605 | 3902 16683 50655 | 2147483647 141097 104 | 0.000 % |
79.92/80.07 c | 147005 | 3902 16683 50655 | 2147483647 142497 104 | 0.000 % |
81.51/81.63 c | 148545 | 3902 16683 50655 | 2147483647 144037 104 | 0.000 % |
81.61/81.77 c | 148645 | 3902 16683 50655 | 2147483647 144137 104 | 0.000 % |
81.81/81.90 c | 148755 | 3902 16683 50655 | 2147483647 144247 104 | 0.000 % |
81.91/82.04 c | 148876 | 3902 16683 50655 | 2147483647 144368 104 | 0.000 % |
82.11/82.20 c | 149011 | 3902 16683 50655 | 2147483647 144503 104 | 0.000 % |
82.21/82.39 c | 149157 | 3902 16683 50655 | 2147483647 144649 104 | 0.000 % |
82.42/82.58 c | 149318 | 3902 16683 50655 | 2147483647 144810 104 | 0.000 % |
82.61/82.77 c | 149497 | 3902 16683 50655 | 2147483647 144989 104 | 0.000 % |
82.81/82.98 c | 149691 | 3902 16683 50655 | 2147483647 145183 104 | 0.000 % |
83.11/83.23 c | 149903 | 3902 16683 50655 | 2147483647 145395 104 | 0.000 % |
83.31/83.49 c | 150137 | 3902 16683 50655 | 2147483647 145629 104 | 0.000 % |
83.61/83.79 c | 150394 | 3902 16683 50655 | 2147483647 145886 104 | 0.000 % |
84.01/84.10 c | 150676 | 3902 16683 50655 | 2147483647 146168 104 | 0.000 % |
84.31/84.41 c | 150985 | 3902 16683 50655 | 2147483647 146477 104 | 0.000 % |
84.61/84.77 c | 151324 | 3902 16683 50655 | 2147483647 146816 104 | 0.000 % |
85.02/85.13 c | 151696 | 3902 16683 50655 | 2147483647 147188 104 | 0.000 % |
85.42/85.56 c | 152109 | 3902 16683 50655 | 2147483647 147601 104 | 0.000 % |
85.91/86.03 c | 152558 | 3902 16683 50655 | 2147483647 148050 104 | 0.000 % |
86.41/86.56 c | 153051 | 3902 16683 50655 | 2147483647 148543 104 | 0.000 % |
86.91/87.08 c | 153593 | 3902 16683 50655 | 2147483647 149085 104 | 0.000 % |
87.61/87.73 c | 154190 | 3902 16683 50655 | 2147483647 149682 104 | 0.000 % |
88.31/88.43 c | 154846 | 3902 16683 50655 | 2147483647 150338 104 | 0.000 % |
89.11/89.23 c | 155567 | 3902 16683 50655 | 2147483647 151059 104 | 0.000 % |
90.02/90.12 c | 156359 | 3902 16683 50655 | 2147483647 151851 104 | 0.000 % |
90.82/90.95 c | 157230 | 3902 16683 50655 | 2147483647 152722 104 | 0.000 % |
91.81/91.92 c | 158190 | 3902 16683 50655 | 2147483647 153682 104 | 0.000 % |
92.91/93.03 c | 159243 | 3902 16683 50655 | 2147483647 154735 104 | 0.000 % |
94.01/94.16 c | 160403 | 3902 16683 50655 | 2147483647 155895 104 | 0.000 % |
95.41/95.53 c | 161677 | 3902 16683 50655 | 2147483647 157169 104 | 0.000 % |
96.80/96.92 c | 163078 | 3902 16683 50655 | 2147483647 158570 104 | 0.000 % |
98.41/98.59 c | 164620 | 3902 16683 50655 | 2147483647 160112 104 | 0.000 % |
100.21/100.32 c | 166316 | 3902 16683 50655 | 2147483647 161808 105 | 0.000 % |
100.31/100.45 c | 166417 | 3902 16683 50655 | 2147483647 161909 105 | 0.000 % |
100.51/100.61 c | 166528 | 3902 16683 50655 | 2147483647 162020 105 | 0.000 % |
100.71/100.80 c | 166652 | 3902 16683 50655 | 2147483647 162144 105 | 0.000 % |
100.81/100.96 c | 166785 | 3902 16683 50655 | 2147483647 162277 105 | 0.000 % |
101.01/101.15 c | 166933 | 3902 16683 50655 | 2147483647 162425 104 | 0.000 % |
101.21/101.35 c | 167093 | 3902 16683 50655 | 2147483647 162585 104 | 0.000 % |
101.41/101.59 c | 167270 | 3902 16683 50655 | 2147483647 162762 104 | 0.000 % |
101.71/101.80 c | 167463 | 3902 16683 50655 | 2147483647 162955 104 | 0.000 % |
101.91/102.06 c | 167675 | 3902 16683 50655 | 2147483647 163167 104 | 0.000 % |
102.21/102.34 c | 167908 | 3902 16683 50655 | 2147483647 163400 104 | 0.000 % |
102.51/102.64 c | 168164 | 3902 16683 50655 | 2147483647 163656 104 | 0.000 % |
102.81/102.99 c | 168447 | 3902 16683 50655 | 2147483647 163939 104 | 0.000 % |
103.21/103.36 c | 168756 | 3902 16683 50655 | 2147483647 164248 104 | 0.000 % |
103.61/103.74 c | 169096 | 3902 16683 50655 | 2147483647 164588 105 | 0.000 % |
104.01/104.19 c | 169469 | 3902 16683 50655 | 2147483647 164961 105 | 0.000 % |
104.61/104.70 c | 169878 | 3902 16683 50655 | 2147483647 165370 105 | 0.000 % |
105.11/105.25 c | 170327 | 3902 16683 50655 | 2147483647 165819 105 | 0.000 % |
105.61/105.79 c | 170820 | 3902 16683 50655 | 2147483647 166312 105 | 0.000 % |
106.21/106.39 c | 171362 | 3902 16683 50655 | 2147483647 166854 105 | 0.000 % |
106.91/107.07 c | 171958 | 3902 16683 50655 | 2147483647 167450 105 | 0.000 % |
107.61/107.79 c | 172613 | 3902 16683 50655 | 2147483647 168105 105 | 0.000 % |
108.40/108.59 c | 173335 | 3902 16683 50655 | 2147483647 168827 105 | 0.000 % |
109.30/109.48 c | 174128 | 3902 16683 50655 | 2147483647 169620 105 | 0.000 % |
110.30/110.46 c | 174999 | 3902 16683 50655 | 2147483647 170491 105 | 0.000 % |
111.51/111.63 c | 175957 | 3902 16683 50655 | 2147483647 171449 105 | 0.000 % |
112.61/112.79 c | 177010 | 3902 16683 50655 | 2147483647 172502 105 | 0.000 % |
114.00/114.19 c | 178170 | 3902 16683 50655 | 2147483647 173662 105 | 0.000 % |
115.41/115.57 c | 179443 | 3902 16683 50655 | 2147483647 174935 105 | 0.000 % |
117.00/117.19 c | 180843 | 3902 16683 50655 | 2147483647 176335 105 | 0.000 % |
118.80/118.91 c | 182384 | 3902 16683 50655 | 2147483647 177876 105 | 0.000 % |
120.70/120.87 c | 184078 | 3902 16683 50655 | 2147483647 179570 105 | 0.000 % |
122.80/122.96 c | 185942 | 3902 16683 50655 | 2147483647 181434 105 | 0.000 % |
122.90/123.10 c | 186044 | 3902 16683 50655 | 2147483647 181536 105 | 0.000 % |
123.20/123.31 c | 186156 | 3902 16683 50655 | 2147483647 181648 105 | 0.000 % |
123.30/123.48 c | 186278 | 3902 16683 50655 | 2147483647 181770 105 | 0.000 % |
123.50/123.68 c | 186413 | 3902 16683 50655 | 2147483647 181905 105 | 0.000 % |
123.80/123.91 c | 186559 | 3902 16683 50655 | 2147483647 182051 105 | 0.000 % |
124.01/124.16 c | 186721 | 3902 16683 50655 | 2147483647 182213 105 | 0.000 % |
124.31/124.41 c | 186897 | 3902 16683 50655 | 2147483647 182389 105 | 0.000 % |
124.51/124.65 c | 187090 | 3902 16683 50655 | 2147483647 182582 105 | 0.000 % |
124.81/124.95 c | 187304 | 3902 16683 50655 | 2147483647 182796 105 | 0.000 % |
125.11/125.26 c | 187538 | 3902 16683 50655 | 2147483647 183030 105 | 0.000 % |
125.50/125.60 c | 187794 | 3902 16683 50655 | 2147483647 183286 105 | 0.000 % |
125.80/125.99 c | 188075 | 3902 16683 50655 | 2147483647 183567 105 | 0.000 % |
126.31/126.42 c | 188385 | 3902 16683 50655 | 2147483647 183877 105 | 0.000 % |
126.80/126.91 c | 188727 | 3902 16683 50655 | 2147483647 184219 105 | 0.000 % |
127.30/127.43 c | 189099 | 3902 16683 50655 | 2147483647 184591 105 | 0.000 % |
127.80/127.92 c | 189508 | 3902 16683 50655 | 2147483647 185000 105 | 0.000 % |
128.40/128.54 c | 189957 | 3902 16683 50655 | 2147483647 185449 105 | 0.000 % |
129.00/129.15 c | 190450 | 3902 16683 50655 | 2147483647 185942 105 | 0.000 % |
129.71/129.85 c | 190992 | 3902 16683 50655 | 2147483647 186484 105 | 0.000 % |
130.50/130.61 c | 191588 | 3902 16683 50655 | 2147483647 187080 105 | 0.000 % |
131.30/131.48 c | 192243 | 3902 16683 50655 | 2147483647 187735 105 | 0.000 % |
132.20/132.36 c | 192964 | 3902 16683 50655 | 2147483647 188456 105 | 0.000 % |
133.20/133.39 c | 193756 | 3902 16683 50655 | 2147483647 189248 105 | 0.000 % |
134.40/134.51 c | 194630 | 3902 16683 50655 | 2147483647 190122 105 | 0.000 % |
135.59/135.73 c | 195588 | 3902 16683 50655 | 2147483647 191080 105 | 0.000 % |
137.00/137.18 c | 196641 | 3902 16683 50655 | 2147483647 192133 105 | 0.000 % |
138.60/138.73 c | 197799 | 3902 16683 50655 | 2147483647 193291 105 | 0.000 % |
140.20/140.31 c | 199072 | 3902 16683 50655 | 2147483647 194564 105 | 0.000 % |
141.90/142.08 c | 200473 | 3902 16683 50655 | 2147483647 195965 106 | 0.000 % |
143.79/143.98 c | 202013 | 3902 16683 50655 | 2147483647 197505 106 | 0.000 % |
145.99/146.19 c | 203708 | 3902 16683 50655 | 2147483647 199200 106 | 0.000 % |
148.40/148.56 c | 205572 | 3902 16683 50655 | 2147483647 201064 106 | 0.000 % |
151.10/151.20 c | 207622 | 3902 16683 50655 | 2147483647 203114 106 | 0.000 % |
151.20/151.36 c | 207724 | 3902 16683 50655 | 2147483647 203216 106 | 0.000 % |
151.39/151.56 c | 207834 | 3902 16683 50655 | 2147483647 203326 106 | 0.000 % |
151.60/151.72 c | 207955 | 3902 16683 50655 | 2147483647 203447 106 | 0.000 % |
151.79/151.95 c | 208089 | 3902 16683 50655 | 2147483647 203581 106 | 0.000 % |
152.09/152.20 c | 208236 | 3902 16683 50655 | 2147483647 203728 106 | 0.000 % |
152.29/152.46 c | 208397 | 3902 16683 50655 | 2147483647 203889 106 | 0.000 % |
152.59/152.70 c | 208575 | 3902 16683 50655 | 2147483647 204067 106 | 0.000 % |
152.89/153.00 c | 208768 | 3902 16683 50655 | 2147483647 204260 106 | 0.000 % |
153.19/153.32 c | 208980 | 3902 16683 50655 | 2147483647 204472 106 | 0.000 % |
153.49/153.67 c | 209213 | 3902 16683 50655 | 2147483647 204705 106 | 0.000 % |
153.89/154.03 c | 209470 | 3902 16683 50655 | 2147483647 204962 106 | 0.000 % |
154.29/154.41 c | 209751 | 3902 16683 50655 | 2147483647 205243 106 | 0.000 % |
154.69/154.84 c | 210063 | 3902 16683 50655 | 205492 205555 106 | 0.000 % |
155.39/155.57 c | 210402 | 3902 16683 50655 | 205492 183927 106 | 0.000 % |
155.89/156.08 c | 210774 | 3902 16683 50655 | 205492 184299 106 | 0.000 % |
156.49/156.63 c | 211184 | 3902 16683 50655 | 205492 184709 106 | 0.000 % |
157.09/157.22 c | 211633 | 3902 16683 50655 | 205492 185158 106 | 0.000 % |
157.69/157.88 c | 212128 | 3902 16683 50655 | 205492 185653 106 | 0.000 % |
158.39/158.53 c | 212671 | 3902 16683 50655 | 205492 186196 106 | 0.000 % |
159.09/159.23 c | 213267 | 3902 16683 50655 | 205492 186792 106 | 0.000 % |
159.89/160.03 c | 213923 | 3902 16683 50655 | 205492 187448 106 | 0.000 % |
160.79/160.92 c | 214643 | 3902 16683 50655 | 205492 188168 107 | 0.000 % |
161.69/161.89 c | 215435 | 3902 16683 50655 | 205492 188960 107 | 0.000 % |
162.89/163.03 c | 216306 | 3902 16683 50655 | 205492 189831 107 | 0.000 % |
164.19/164.36 c | 217264 | 3902 16683 50655 | 205492 190789 107 | 0.000 % |
165.49/165.65 c | 218317 | 3902 16683 50655 | 205492 191842 107 | 0.000 % |
166.89/167.02 c | 219475 | 3902 16683 50655 | 205492 193000 107 | 0.000 % |
168.39/168.53 c | 220749 | 3902 16683 50655 | 2147483647 194274 107 | 0.000 % |
170.18/170.30 c | 222149 | 3902 16683 50655 | 2147483647 195674 107 | 0.000 % |
171.98/172.18 c | 223690 | 3902 16683 50655 | 2147483647 197215 107 | 0.000 % |
174.08/174.22 c | 225384 | 3902 16683 50655 | 2147483647 198909 107 | 0.000 % |
176.48/176.66 c | 227247 | 3902 16683 50655 | 2147483647 200772 107 | 0.000 % |
178.98/179.15 c | 229298 | 3902 16683 50655 | 2147483647 202823 107 | 0.000 % |
181.79/181.97 c | 231551 | 3902 16683 50655 | 2147483647 205076 107 | 0.000 % |
181.99/182.16 c | 231651 | 3902 16683 50655 | 2147483647 205176 107 | 0.000 % |
182.19/182.34 c | 231761 | 3902 16683 50655 | 2147483647 205286 107 | 0.000 % |
182.39/182.54 c | 231882 | 3902 16683 50655 | 2147483647 205407 107 | 0.000 % |
182.59/182.76 c | 232015 | 3902 16683 50655 | 2147483647 205540 107 | 0.000 % |
182.88/183.08 c | 232161 | 3902 16683 50655 | 2147483647 205686 107 | 0.000 % |
183.18/183.34 c | 232322 | 3902 16683 50655 | 2147483647 205847 107 | 0.000 % |
183.49/183.62 c | 232498 | 3902 16683 50655 | 2147483647 206023 107 | 0.000 % |
183.78/183.93 c | 232691 | 3902 16683 50655 | 2147483647 206216 107 | 0.000 % |
184.08/184.21 c | 232904 | 3902 16683 50655 | 2147483647 206429 107 | 0.000 % |
184.38/184.55 c | 233137 | 3902 16683 50655 | 2147483647 206662 107 | 0.000 % |
184.78/184.93 c | 233393 | 3902 16683 50655 | 2147483647 206918 107 | 0.000 % |
185.28/185.40 c | 233674 | 3902 16683 50655 | 2147483647 207199 107 | 0.000 % |
185.68/185.90 c | 233983 | 3902 16683 50655 | 2147483647 207508 107 | 0.000 % |
186.18/186.39 c | 234323 | 3902 16683 50655 | 2147483647 207848 107 | 0.000 % |
186.78/186.92 c | 234698 | 3902 16683 50655 | 2147483647 208223 107 | 0.000 % |
187.38/187.51 c | 235107 | 3902 16683 50655 | 2147483647 208632 107 | 0.000 % |
188.08/188.22 c | 235557 | 3902 16683 50655 | 2147483647 209082 107 | 0.000 % |
188.79/188.97 c | 236050 | 3902 16683 50655 | 2147483647 209575 107 | 0.000 % |
189.58/189.79 c | 236592 | 3902 16683 50655 | 2147483647 210117 107 | 0.000 % |
190.49/190.62 c | 237188 | 3902 16683 50655 | 2147483647 210713 107 | 0.000 % |
191.29/191.48 c | 237843 | 3902 16683 50655 | 2147483647 211368 107 | 0.000 % |
192.29/192.44 c | 238563 | 3902 16683 50655 | 2147483647 212088 107 | 0.000 % |
193.49/193.64 c | 239356 | 3902 16683 50655 | 2147483647 212881 107 | 0.000 % |
194.78/194.99 c | 240227 | 3902 16683 50655 | 213527 213752 107 | 0.000 % |
196.28/196.47 c | 241187 | 3902 16683 50655 | 213527 187934 107 | 0.000 % |
197.68/197.80 c | 242241 | 3902 16683 50655 | 213527 188988 107 | 0.000 % |
199.08/199.23 c | 243399 | 3902 16683 50655 | 213527 190146 107 | 0.000 % |
200.68/200.86 c | 244672 | 3902 16683 50655 | 213527 191419 107 | 0.000 % |
202.48/202.63 c | 246075 | 3902 16683 50655 | 213527 192822 107 | 0.000 % |
204.48/204.62 c | 247616 | 3902 16683 50655 | 213527 194363 107 | 0.000 % |
206.47/206.66 c | 249312 | 3902 16683 50655 | 213527 196059 107 | 0.000 % |
208.67/208.87 c | 251176 | 3902 16683 50655 | 2147483647 197923 107 | 0.000 % |
211.27/211.40 c | 253227 | 3902 16683 50655 | 2147483647 199974 107 | 0.000 % |
214.07/214.25 c | 255480 | 3902 16683 50655 | 2147483647 202227 107 | 0.000 % |
217.17/217.37 c | 257960 | 3902 16683 50655 | 2147483647 204707 107 | 0.000 % |
217.37/217.55 c | 258065 | 3902 16683 50655 | 2147483647 204812 107 | 0.000 % |
217.57/217.78 c | 258177 | 3902 16683 50655 | 2147483647 204924 107 | 0.000 % |
217.77/217.99 c | 258299 | 3902 16683 50655 | 2147483647 205046 107 | 0.000 % |
218.07/218.22 c | 258434 | 3902 16683 50655 | 2147483647 205181 107 | 0.000 % |
218.27/218.48 c | 258580 | 3902 16683 50655 | 2147483647 205327 107 | 0.000 % |
218.57/218.75 c | 258742 | 3902 16683 50655 | 2147483647 205489 107 | 0.000 % |
218.87/219.03 c | 258918 | 3902 16683 50655 | 2147483647 205665 107 | 0.000 % |
219.17/219.33 c | 259112 | 3902 16683 50655 | 2147483647 205859 107 | 0.000 % |
219.37/219.58 c | 259324 | 3902 16683 50655 | 2147483647 206071 107 | 0.000 % |
219.77/219.90 c | 259558 | 3902 16683 50655 | 2147483647 206305 107 | 0.000 % |
220.07/220.26 c | 259815 | 3902 16683 50655 | 2147483647 206562 107 | 0.000 % |
220.57/220.71 c | 260096 | 3902 16683 50655 | 2147483647 206843 107 | 0.000 % |
221.07/221.20 c | 260406 | 3902 16683 50655 | 2147483647 207153 107 | 0.000 % |
221.57/221.71 c | 260747 | 3902 16683 50655 | 2147483647 207494 107 | 0.000 % |
222.07/222.27 c | 261119 | 3902 16683 50655 | 2147483647 207866 107 | 0.000 % |
222.67/222.89 c | 261529 | 3902 16683 50655 | 2147483647 208276 107 | 0.000 % |
223.37/223.55 c | 261978 | 3902 16683 50655 | 2147483647 208725 107 | 0.000 % |
224.17/224.34 c | 262472 | 3902 16683 50655 | 2147483647 209219 107 | 0.000 % |
224.97/225.15 c | 263014 | 3902 16683 50655 | 2147483647 209761 107 | 0.000 % |
225.87/226.06 c | 263612 | 3902 16683 50655 | 2147483647 210359 107 | 0.000 % |
226.87/227.02 c | 264269 | 3902 16683 50655 | 2147483647 211016 107 | 0.000 % |
227.76/227.94 c | 264990 | 3902 16683 50655 | 2147483647 211737 107 | 0.000 % |
228.86/229.01 c | 265782 | 3902 16683 50655 | 2147483647 212529 107 | 0.000 % |
229.96/230.18 c | 266653 | 3902 16683 50655 | 2147483647 213400 107 | 0.000 % |
231.27/231.46 c | 267613 | 3902 16683 50655 | 2147483647 214360 107 | 0.000 % |
232.77/232.97 c | 268667 | 3902 16683 50655 | 2147483647 215414 107 | 0.000 % |
234.57/234.70 c | 269825 | 3902 16683 50655 | 2147483647 216572 107 | 0.000 % |
236.27/236.47 c | 271100 | 3902 16683 50655 | 216747 191697 108 | 0.000 % |
237.96/238.17 c | 272500 | 3902 16683 50655 | 216747 193097 108 | 0.000 % |
240.06/240.25 c | 274040 | 3902 16683 50655 | 216747 194637 108 | 0.000 % |
242.26/242.44 c | 275734 | 3902 16683 50655 | 216747 196331 108 | 0.000 % |
244.56/244.72 c | 277598 | 3902 16683 50655 | 216747 198195 108 | 0.000 % |
247.16/247.31 c | 279648 | 3902 16683 50655 | 216747 200245 108 | 0.000 % |
249.96/250.16 c | 281903 | 3902 16683 50655 | 2147483647 202500 108 | 0.000 % |
253.06/253.27 c | 284383 | 3902 16683 50655 | 2147483647 204980 109 | 0.000 % |
256.46/256.66 c | 287108 | 3902 16683 50655 | 2147483647 207705 109 | 0.000 % |
256.56/256.79 c | 287209 | 3902 16683 50655 | 2147483647 207806 109 | 0.000 % |
256.76/256.97 c | 287320 | 3902 16683 50655 | 2147483647 207917 109 | 0.000 % |
256.96/257.19 c | 287441 | 3902 16683 50655 | 2147483647 208038 109 | 0.000 % |
257.26/257.41 c | 287574 | 3902 16683 50655 | 2147483647 208171 109 | 0.000 % |
257.46/257.69 c | 287720 | 3902 16683 50655 | 2147483647 208317 109 | 0.000 % |
257.76/257.96 c | 287882 | 3902 16683 50655 | 2147483647 208479 109 | 0.000 % |
258.06/258.23 c | 288059 | 3902 16683 50655 | 2147483647 208656 109 | 0.000 % |
258.36/258.56 c | 288255 | 3902 16683 50655 | 2147483647 208852 109 | 0.000 % |
258.76/258.91 c | 288467 | 3902 16683 50655 | 2147483647 209064 109 | 0.000 % |
259.06/259.25 c | 288701 | 3902 16683 50655 | 2147483647 209298 109 | 0.000 % |
259.46/259.62 c | 288958 | 3902 16683 50655 | 2147483647 209555 109 | 0.000 % |
259.86/260.03 c | 289239 | 3902 16683 50655 | 2147483647 209836 109 | 0.000 % |
260.26/260.49 c | 289549 | 3902 16683 50655 | 2147483647 210146 109 | 0.000 % |
260.86/261.03 c | 289888 | 3902 16683 50655 | 2147483647 210485 109 | 0.000 % |
261.36/261.58 c | 290260 | 3902 16683 50655 | 210597 210857 109 | 0.000 % |
262.16/262.38 c | 290669 | 3902 16683 50655 | 210597 188445 108 | 0.000 % |
262.76/262.99 c | 291118 | 3902 16683 50655 | 210597 188894 108 | 0.000 % |
263.46/263.65 c | 291611 | 3902 16683 50655 | 210597 189387 108 | 0.000 % |
264.25/264.42 c | 292154 | 3902 16683 50655 | 210597 189930 108 | 0.000 % |
265.05/265.27 c | 292751 | 3902 16683 50655 | 210597 190527 108 | 0.000 % |
265.85/266.08 c | 293406 | 3902 16683 50655 | 210597 191182 108 | 0.000 % |
266.75/266.91 c | 294127 | 3902 16683 50655 | 210597 191903 108 | 0.000 % |
267.75/267.93 c | 294920 | 3902 16683 50655 | 210597 192696 108 | 0.000 % |
268.75/268.98 c | 295791 | 3902 16683 50655 | 210597 193567 108 | 0.000 % |
269.95/270.12 c | 296749 | 3902 16683 50655 | 210597 194525 108 | 0.000 % |
271.15/271.35 c | 297802 | 3902 16683 50655 | 210597 195578 108 | 0.000 % |
272.56/272.78 c | 298960 | 3902 16683 50655 | 210597 196736 108 | 0.000 % |
274.25/274.41 c | 300234 | 3902 16683 50655 | 2147483647 198010 109 | 0.000 % |
276.15/276.32 c | 301634 | 3902 16683 50655 | 2147483647 199410 108 | 0.000 % |
278.15/278.31 c | 303174 | 3902 16683 50655 | 2147483647 200950 109 | 0.000 % |
280.15/280.37 c | 304871 | 3902 16683 50655 | 2147483647 202647 109 | 0.000 % |
282.55/282.75 c | 306735 | 3902 16683 50655 | 2147483647 204511 109 | 0.000 % |
285.35/285.50 c | 308784 | 3902 16683 50655 | 2147483647 206560 109 | 0.000 % |
288.35/288.51 c | 311038 | 3902 16683 50655 | 2147483647 208814 109 | 0.000 % |
291.75/291.91 c | 313517 | 3902 16683 50655 | 2147483647 211293 109 | 0.000 % |
295.25/295.46 c | 316242 | 3902 16683 50655 | 2147483647 214018 109 | 0.000 % |
299.14/299.39 c | 319242 | 3902 16683 50655 | 2147483647 217018 109 | 0.000 % |
299.34/299.55 c | 319343 | 3902 16683 50655 | 2147483647 217119 109 | 0.000 % |
299.54/299.74 c | 319453 | 3902 16683 50655 | 2147483647 217229 109 | 0.000 % |
299.74/299.94 c | 319576 | 3902 16683 50655 | 2147483647 217352 109 | 0.000 % |
300.04/300.23 c | 319710 | 3902 16683 50655 | 2147483647 217486 109 | 0.000 % |
300.24/300.46 c | 319857 | 3902 16683 50655 | 2147483647 217633 109 | 0.000 % |
300.54/300.76 c | 320018 | 3902 16683 50655 | 217777 217794 109 | 0.000 % |
301.05/301.30 c | 320198 | 3902 16683 50655 | 217777 190839 109 | 0.000 % |
301.35/301.57 c | 320393 | 3902 16683 50655 | 217777 191034 109 | 0.000 % |
301.65/301.88 c | 320605 | 3902 16683 50655 | 217777 191246 109 | 0.000 % |
302.05/302.22 c | 320838 | 3902 16683 50655 | 217777 191479 109 | 0.000 % |
302.44/302.60 c | 321094 | 3902 16683 50655 | 217777 191735 109 | 0.000 % |
302.84/303.04 c | 321375 | 3902 16683 50655 | 217777 192016 109 | 0.000 % |
303.24/303.49 c | 321684 | 3902 16683 50655 | 217777 192325 109 | 0.000 % |
303.74/303.99 c | 322024 | 3902 16683 50655 | 217777 192665 109 | 0.000 % |
304.34/304.56 c | 322398 | 3902 16683 50655 | 217777 193039 109 | 0.000 % |
304.94/305.12 c | 322807 | 3902 16683 50655 | 217777 193448 109 | 0.000 % |
305.55/305.74 c | 323257 | 3902 16683 50655 | 217777 193898 109 | 0.000 % |
306.14/306.39 c | 323751 | 3902 16683 50655 | 217777 194392 109 | 0.000 % |
306.94/307.12 c | 324293 | 3902 16683 50655 | 217777 194934 109 | 0.000 % |
307.75/307.92 c | 324889 | 3902 16683 50655 | 217777 195530 109 | 0.000 % |
308.64/308.84 c | 325544 | 3902 16683 50655 | 217777 196185 109 | 0.000 % |
309.64/309.85 c | 326264 | 3902 16683 50655 | 217777 196905 109 | 0.000 % |
310.74/310.90 c | 327057 | 3902 16683 50655 | 217777 197698 109 | 0.000 % |
311.94/312.10 c | 327929 | 3902 16683 50655 | 217777 198570 109 | 0.000 % |
313.24/313.42 c | 328889 | 3902 16683 50655 | 217777 199530 109 | 0.000 % |
314.64/314.84 c | 329944 | 3902 16683 50655 | 217777 200585 109 | 0.000 % |
316.34/316.50 c | 331103 | 3902 16683 50655 | 200641 178803 109 | 0.000 % |
317.84/318.08 c | 332378 | 3902 16683 50655 | 200641 180078 109 | 0.000 % |
319.64/319.86 c | 333778 | 3902 16683 50655 | 200641 181478 109 | 0.000 % |
321.54/321.79 c | 335318 | 3902 16683 50655 | 200641 183018 109 | 0.000 % |
323.74/323.93 c | 337015 | 3902 16683 50655 | 200641 184715 109 | 0.000 % |
326.04/326.27 c | 338879 | 3902 16683 50655 | 200641 186579 109 | 0.000 % |
328.44/328.64 c | 340932 | 3902 16683 50655 | 2147483647 188632 109 | 0.000 % |
331.04/331.22 c | 343186 | 3902 16683 50655 | 2147483647 190886 109 | 0.000 % |
334.04/334.28 c | 345664 | 3902 16683 50655 | 2147483647 193364 110 | 0.000 % |
337.63/337.81 c | 348389 | 3902 16683 50655 | 2147483647 196089 110 | 0.000 % |
341.43/341.67 c | 351386 | 3902 16683 50655 | 2147483647 199086 110 | 0.000 % |
345.63/345.85 c | 354683 | 3902 16683 50655 | 2147483647 202383 110 | 0.000 % |
345.83/346.01 c | 354784 | 3902 16683 50655 | 2147483647 202484 110 | 0.000 % |
346.03/346.21 c | 354894 | 3902 16683 50655 | 2147483647 202594 110 | 0.000 % |
346.13/346.40 c | 355015 | 3902 16683 50655 | 2147483647 202715 110 | 0.000 % |
346.43/346.66 c | 355149 | 3902 16683 50655 | 2147483647 202849 110 | 0.000 % |
346.63/346.88 c | 355296 | 3902 16683 50655 | 2147483647 202996 110 | 0.000 % |
346.93/347.12 c | 355457 | 3902 16683 50655 | 2147483647 203157 110 | 0.000 % |
347.23/347.42 c | 355634 | 3902 16683 50655 | 2147483647 203334 110 | 0.000 % |
347.44/347.67 c | 355828 | 3902 16683 50655 | 2147483647 203528 110 | 0.000 % |
347.83/348.00 c | 356040 | 3902 16683 50655 | 2147483647 203740 110 | 0.000 % |
348.13/348.39 c | 356275 | 3902 16683 50655 | 2147483647 203975 110 | 0.000 % |
348.53/348.79 c | 356533 | 3902 16683 50655 | 2147483647 204233 110 | 0.000 % |
349.03/349.20 c | 356814 | 3902 16683 50655 | 2147483647 204514 110 | 0.000 % |
349.43/349.66 c | 357123 | 3902 16683 50655 | 2147483647 204823 110 | 0.000 % |
349.93/350.13 c | 357464 | 3902 16683 50655 | 2147483647 205164 110 | 0.000 % |
350.53/350.71 c | 357837 | 3902 16683 50655 | 2147483647 205537 110 | 0.000 % |
351.03/351.29 c | 358247 | 3902 16683 50655 | 2147483647 205947 110 | 0.000 % |
351.73/351.93 c | 358696 | 3902 16683 50655 | 2147483647 206396 110 | 0.000 % |
352.43/352.62 c | 359190 | 3902 16683 50655 | 2147483647 206890 110 | 0.000 % |
353.13/353.37 c | 359732 | 3902 16683 50655 | 2147483647 207432 110 | 0.000 % |
354.03/354.21 c | 360328 | 3902 16683 50655 | 207700 208028 110 | 0.000 % |
354.93/355.17 c | 360983 | 3902 16683 50655 | 207700 187178 110 | 0.000 % |
355.83/356.02 c | 361703 | 3902 16683 50655 | 207700 187898 110 | 0.000 % |
356.73/356.98 c | 362495 | 3902 16683 50655 | 207700 188690 110 | 0.000 % |
357.83/358.06 c | 363367 | 3902 16683 50655 | 207700 189562 110 | 0.000 % |
359.03/359.23 c | 364325 | 3902 16683 50655 | 207700 190520 110 | 0.000 % |
360.33/360.56 c | 365384 | 3902 16683 50655 | 207700 191579 110 | 0.000 % |
361.73/361.91 c | 366542 | 3902 16683 50655 | 207700 192737 110 | 0.000 % |
363.33/363.52 c | 367816 | 3902 16683 50655 | 207700 194011 110 | 0.000 % |
364.93/365.20 c | 369218 | 3902 16683 50655 | 207700 195413 110 | 0.000 % |
366.93/367.11 c | 370761 | 3902 16683 50655 | 2147483647 196956 110 | 0.000 % |
369.12/369.36 c | 372455 | 3902 16683 50655 | 2147483647 198650 110 | 0.000 % |
371.32/371.56 c | 374318 | 3902 16683 50655 | 2147483647 200513 110 | 0.000 % |
373.83/374.06 c | 376369 | 3902 16683 50655 | 2147483647 202564 110 | 0.000 % |
376.72/376.90 c | 378623 | 3902 16683 50655 | 2147483647 204818 110 | 0.000 % |
379.62/379.85 c | 381101 | 3902 16683 50655 | 2147483647 207296 111 | 0.000 % |
383.02/383.27 c | 383826 | 3902 16683 50655 | 2147483647 210021 111 | 0.000 % |
387.02/387.21 c | 386823 | 3902 16683 50655 | 2147483647 213018 111 | 0.000 % |
391.01/391.24 c | 390120 | 3902 16683 50655 | 2147483647 216315 111 | 0.000 % |
395.72/395.95 c | 393745 | 3902 16683 50655 | 2147483647 219940 112 | 0.000 % |
395.82/396.07 c | 393845 | 3902 16683 50655 | 2147483647 220040 112 | 0.000 % |
396.02/396.27 c | 393956 | 3902 16683 50655 | 2147483647 220151 112 | 0.000 % |
396.31/396.50 c | 394079 | 3902 16683 50655 | 2147483647 220274 112 | 0.000 % |
396.51/396.76 c | 394212 | 3902 16683 50655 | 2147483647 220407 112 | 0.000 % |
396.82/397.04 c | 394358 | 3902 16683 50655 | 2147483647 220553 112 | 0.000 % |
397.11/397.30 c | 394518 | 3902 16683 50655 | 2147483647 220713 112 | 0.000 % |
397.41/397.67 c | 394696 | 3902 16683 50655 | 2147483647 220891 112 | 0.000 % |
397.81/398.00 c | 394889 | 3902 16683 50655 | 2147483647 221084 112 | 0.000 % |
398.11/398.38 c | 395101 | 3902 16683 50655 | 2147483647 221296 112 | 0.000 % |
398.51/398.75 c | 395335 | 3902 16683 50655 | 2147483647 221530 112 | 0.000 % |
398.91/399.12 c | 395591 | 3902 16683 50655 | 2147483647 221786 111 | 0.000 % |
399.41/399.60 c | 395873 | 3902 16683 50655 | 2147483647 222068 111 | 0.000 % |
399.91/400.12 c | 396183 | 3902 16683 50655 | 2147483647 222378 111 | 0.000 % |
400.41/400.68 c | 396523 | 3902 16683 50655 | 2147483647 222718 111 | 0.000 % |
401.01/401.28 c | 396895 | 3902 16683 50655 | 2147483647 223090 111 | 0.000 % |
401.71/401.94 c | 397307 | 3902 16683 50655 | 2147483647 223502 111 | 0.000 % |
402.51/402.70 c | 397760 | 3902 16683 50655 | 2147483647 223955 111 | 0.000 % |
403.21/403.45 c | 398253 | 3902 16683 50655 | 2147483647 224448 111 | 0.000 % |
404.01/404.25 c | 398795 | 3902 16683 50655 | 2147483647 224990 111 | 0.000 % |
405.01/405.20 c | 399392 | 3902 16683 50655 | 2147483647 225587 111 | 0.000 % |
405.91/406.17 c | 400047 | 3902 16683 50655 | 226197 226242 111 | 0.000 % |
407.21/407.43 c | 400768 | 3902 16683 50655 | 226197 196323 112 | 0.000 % |
408.31/408.53 c | 401560 | 3902 16683 50655 | 226197 197115 112 | 0.000 % |
409.61/409.81 c | 402431 | 3902 16683 50655 | 226197 197986 112 | 0.000 % |
410.91/411.14 c | 403390 | 3902 16683 50655 | 226197 198945 112 | 0.000 % |
412.41/412.62 c | 404443 | 3902 16683 50655 | 226197 199998 111 | 0.000 % |
413.91/414.11 c | 405601 | 3902 16683 50655 | 226197 201156 111 | 0.000 % |
415.51/415.79 c | 406874 | 3902 16683 50655 | 226197 202429 111 | 0.000 % |
417.31/417.58 c | 408274 | 3902 16683 50655 | 226197 203829 111 | 0.000 % |
419.51/419.72 c | 409815 | 3902 16683 50655 | 226197 205370 111 | 0.000 % |
421.90/422.15 c | 411509 | 3902 16683 50655 | 205555 183877 111 | 0.000 % |
424.20/424.50 c | 413372 | 3902 16683 50655 | 205555 185740 111 | 0.000 % |
426.80/427.00 c | 415421 | 3902 16683 50655 | 205555 187789 111 | 0.000 % |
429.50/429.72 c | 417677 | 3902 16683 50655 | 205555 190045 111 | 0.000 % |
432.30/432.54 c | 420155 | 3902 16683 50655 | 2147483647 192523 111 | 0.000 % |
435.70/435.94 c | 422880 | 3902 16683 50655 | 2147483647 195248 111 | 0.000 % |
439.40/439.67 c | 425877 | 3902 16683 50655 | 2147483647 198245 111 | 0.000 % |
443.80/444.04 c | 429173 | 3902 16683 50655 | 2147483647 201541 111 | 0.000 % |
448.10/448.38 c | 432799 | 3902 16683 50655 | 2147483647 205167 111 | 0.000 % |
453.00/453.20 c | 436786 | 3902 16683 50655 | 2147483647 209154 112 | 0.000 % |
453.10/453.36 c | 436888 | 3902 16683 50655 | 2147483647 209256 112 | 0.000 % |
453.30/453.54 c | 437000 | 3902 16683 50655 | 2147483647 209368 112 | 0.000 % |
453.50/453.79 c | 437122 | 3902 16683 50655 | 2147483647 209490 112 | 0.000 % |
453.80/454.00 c | 437256 | 3902 16683 50655 | 2147483647 209624 112 | 0.000 % |
454.00/454.24 c | 437403 | 3902 16683 50655 | 2147483647 209771 112 | 0.000 % |
454.29/454.50 c | 437564 | 3902 16683 50655 | 2147483647 209932 112 | 0.000 % |
454.49/454.78 c | 437740 | 3902 16683 50655 | 2147483647 210108 112 | 0.000 % |
454.79/455.09 c | 437933 | 3902 16683 50655 | 2147483647 210301 112 | 0.000 % |
455.20/455.43 c | 438148 | 3902 16683 50655 | 2147483647 210516 112 | 0.000 % |
455.60/455.81 c | 438383 | 3902 16683 50655 | 2147483647 210751 112 | 0.000 % |
456.00/456.26 c | 438639 | 3902 16683 50655 | 2147483647 211007 112 | 0.000 % |
456.49/456.70 c | 438921 | 3902 16683 50655 | 2147483647 211289 112 | 0.000 % |
456.89/457.17 c | 439232 | 3902 16683 50655 | 2147483647 211600 112 | 0.000 % |
457.40/457.68 c | 439571 | 3902 16683 50655 | 2147483647 211939 112 | 0.000 % |
457.99/458.26 c | 439943 | 3902 16683 50655 | 2147483647 212311 112 | 0.000 % |
458.59/458.88 c | 440352 | 3902 16683 50655 | 212369 212720 112 | 0.000 % |
459.39/459.67 c | 440801 | 3902 16683 50655 | 212369 189611 112 | 0.000 % |
460.09/460.33 c | 441294 | 3902 16683 50655 | 212369 190104 112 | 0.000 % |
460.89/461.11 c | 441836 | 3902 16683 50655 | 212369 190646 112 | 0.000 % |
461.70/461.91 c | 442432 | 3902 16683 50655 | 212369 191242 112 | 0.000 % |
462.49/462.75 c | 443089 | 3902 16683 50655 | 212369 191899 112 | 0.000 % |
463.49/463.76 c | 443810 | 3902 16683 50655 | 212369 192620 112 | 0.000 % |
464.49/464.77 c | 444604 | 3902 16683 50655 | 212369 193414 112 | 0.000 % |
465.69/465.92 c | 445475 | 3902 16683 50655 | 212369 194285 112 | 0.000 % |
466.89/467.13 c | 446433 | 3902 16683 50655 | 212369 195243 112 | 0.000 % |
468.19/468.47 c | 447486 | 3902 16683 50655 | 212369 196296 112 | 0.000 % |
469.79/470.01 c | 448644 | 3902 16683 50655 | 212369 197454 112 | 0.000 % |
471.39/471.60 c | 449917 | 3902 16683 50655 | 212369 198727 112 | 0.000 % |
472.99/473.30 c | 451317 | 3902 16683 50655 | 2147483647 200127 112 | 0.000 % |
474.89/475.19 c | 452857 | 3902 16683 50655 | 2147483647 201667 112 | 0.000 % |
477.09/477.35 c | 454552 | 3902 16683 50655 | 2147483647 203362 112 | 0.000 % |
479.79/480.05 c | 456417 | 3902 16683 50655 | 2147483647 205227 112 | 0.000 % |
482.39/482.67 c | 458468 | 3902 16683 50655 | 2147483647 207278 112 | 0.000 % |
485.29/485.52 c | 460722 | 3902 16683 50655 | 2147483647 209532 112 | 0.000 % |
488.48/488.71 c | 463200 | 3902 16683 50655 | 2147483647 212010 112 | 0.000 % |
491.88/492.13 c | 465925 | 3902 16683 50655 | 2147483647 214735 113 | 0.000 % |
495.79/496.01 c | 468924 | 3902 16683 50655 | 2147483647 217734 113 | 0.000 % |
500.08/500.38 c | 472221 | 3902 16683 50655 | 2147483647 221031 113 | 0.000 % |
505.18/505.43 c | 475846 | 3902 16683 50655 | 2147483647 224656 113 | 0.000 % |
510.48/510.72 c | 479836 | 3902 16683 50655 | 2147483647 228646 113 | 0.000 % |
516.38/516.67 c | 484222 | 3902 16683 50655 | 228810 205353 114 | 0.000 % |
516.58/516.82 c | 484322 | 3902 16683 50655 | 228810 205453 114 | 0.000 % |
516.68/516.99 c | 484433 | 3902 16683 50655 | 228810 205564 114 | 0.000 % |
516.88/517.20 c | 484554 | 3902 16683 50655 | 228810 205685 114 | 0.000 % |
517.18/517.44 c | 484687 | 3902 16683 50655 | 228810 205818 114 | 0.000 % |
517.48/517.71 c | 484835 | 3902 16683 50655 | 228810 205966 114 | 0.000 % |
517.68/517.95 c | 484996 | 3902 16683 50655 | 228810 206127 114 | 0.000 % |
517.98/518.23 c | 485172 | 3902 16683 50655 | 228810 206303 114 | 0.000 % |
518.28/518.53 c | 485365 | 3902 16683 50655 | 228810 206496 114 | 0.000 % |
518.58/518.86 c | 485578 | 3902 16683 50655 | 228810 206709 114 | 0.000 % |
518.98/519.22 c | 485811 | 3902 16683 50655 | 228810 206942 114 | 0.000 % |
519.38/519.61 c | 486067 | 3902 16683 50655 | 228810 207198 114 | 0.000 % |
519.78/520.07 c | 486350 | 3902 16683 50655 | 228810 207481 114 | 0.000 % |
520.28/520.51 c | 486663 | 3902 16683 50655 | 228810 207794 114 | 0.000 % |
520.78/521.00 c | 487007 | 3902 16683 50655 | 228810 208138 114 | 0.000 % |
521.28/521.58 c | 487379 | 3902 16683 50655 | 228810 208510 114 | 0.000 % |
521.98/522.26 c | 487792 | 3902 16683 50655 | 228810 208923 114 | 0.000 % |
522.68/522.99 c | 488241 | 3902 16683 50655 | 228810 209372 114 | 0.000 % |
523.48/523.74 c | 488735 | 3902 16683 50655 | 228810 209866 114 | 0.000 % |
524.28/524.54 c | 489277 | 3902 16683 50655 | 228810 210408 114 | 0.000 % |
525.18/525.40 c | 489874 | 3902 16683 50655 | 228810 211005 114 | 0.000 % |
526.18/526.42 c | 490529 | 3902 16683 50655 | 211131 211660 114 | 0.000 % |
527.37/527.63 c | 491249 | 3902 16683 50655 | 211131 184958 114 | 0.000 % |
528.47/528.70 c | 492042 | 3902 16683 50655 | 211131 185751 114 | 0.000 % |
529.57/529.87 c | 492915 | 3902 16683 50655 | 211131 186624 114 | 0.000 % |
530.77/531.07 c | 493873 | 3902 16683 50655 | 211131 187582 114 | 0.000 % |
532.18/532.44 c | 494928 | 3902 16683 50655 | 211131 188637 114 | 0.000 % |
533.77/534.04 c | 496088 | 3902 16683 50655 | 211131 189797 114 | 0.000 % |
535.38/535.66 c | 497361 | 3902 16683 50655 | 211131 191070 114 | 0.000 % |
537.17/537.46 c | 498763 | 3902 16683 50655 | 211131 192472 114 | 0.000 % |
539.07/539.39 c | 500303 | 3902 16683 50655 | 193710 194012 114 | 0.000 % |
541.27/541.58 c | 501998 | 3902 16683 50655 | 193710 175106 115 | 0.000 % |
543.47/543.72 c | 503861 | 3902 16683 50655 | 193710 176969 115 | 0.000 % |
545.87/546.13 c | 505910 | 3902 16683 50655 | 193710 179018 115 | 0.000 % |
548.47/548.72 c | 508163 | 3902 16683 50655 | 193710 181271 115 | 0.000 % |
551.27/551.51 c | 510641 | 3902 16683 50655 | 2147483647 183749 115 | 0.000 % |
554.47/554.75 c | 513369 | 3902 16683 50655 | 2147483647 186477 115 | 0.000 % |
558.17/558.47 c | 516367 | 3902 16683 50655 | 2147483647 189475 115 | 0.000 % |
562.26/562.56 c | 519665 | 3902 16683 50655 | 2147483647 192773 115 | 0.000 % |
566.86/567.11 c | 523290 | 3902 16683 50655 | 2147483647 196398 115 | 0.000 % |
571.77/572.09 c | 527277 | 3902 16683 50655 | 2147483647 200385 115 | 0.000 % |
577.26/577.56 c | 531666 | 3902 16683 50655 | 2147483647 204774 115 | 0.000 % |
583.46/583.72 c | 536490 | 3902 16683 50655 | 2147483647 209598 115 | 0.000 % |
583.66/583.90 c | 536590 | 3902 16683 50655 | 2147483647 209698 115 | 0.000 % |
583.86/584.13 c | 536701 | 3902 16683 50655 | 2147483647 209809 115 | 0.000 % |
584.06/584.32 c | 536825 | 3902 16683 50655 | 2147483647 209933 115 | 0.000 % |
584.26/584.54 c | 536958 | 3902 16683 50655 | 2147483647 210066 115 | 0.000 % |
584.46/584.75 c | 537106 | 3902 16683 50655 | 2147483647 210214 115 | 0.000 % |
584.76/585.03 c | 537267 | 3902 16683 50655 | 2147483647 210375 115 | 0.000 % |
585.06/585.30 c | 537443 | 3902 16683 50655 | 2147483647 210551 115 | 0.000 % |
585.36/585.63 c | 537639 | 3902 16683 50655 | 2147483647 210747 115 | 0.000 % |
585.66/585.96 c | 537852 | 3902 16683 50655 | 2147483647 210960 115 | 0.000 % |
586.06/586.35 c | 538086 | 3902 16683 50655 | 2147483647 211194 115 | 0.000 % |
586.46/586.75 c | 538345 | 3902 16683 50655 | 2147483647 211453 115 | 0.000 % |
586.86/587.19 c | 538629 | 3902 16683 50655 | 2147483647 211737 115 | 0.000 % |
587.36/587.66 c | 538940 | 3902 16683 50655 | 2147483647 212048 115 | 0.000 % |
587.96/588.20 c | 539279 | 3902 16683 50655 | 2147483647 212387 115 | 0.000 % |
588.56/588.83 c | 539651 | 3902 16683 50655 | 2147483647 212759 115 | 0.000 % |
589.05/589.36 c | 540064 | 3902 16683 50655 | 213109 213172 115 | 0.000 % |
589.95/590.24 c | 540514 | 3902 16683 50655 | 213109 190062 114 | 0.000 % |
590.65/590.96 c | 541007 | 3902 16683 50655 | 213109 190555 114 | 0.000 % |
591.35/591.67 c | 541549 | 3902 16683 50655 | 213109 191097 114 | 0.000 % |
592.25/592.51 c | 542145 | 3902 16683 50655 | 213109 191693 114 | 0.000 % |
593.05/593.38 c | 542800 | 3902 16683 50655 | 213109 192348 114 | 0.000 % |
594.05/594.32 c | 543520 | 3902 16683 50655 | 213109 193068 114 | 0.000 % |
595.05/595.39 c | 544312 | 3902 16683 50655 | 213109 193860 114 | 0.000 % |
596.25/596.55 c | 545183 | 3902 16683 50655 | 213109 194731 114 | 0.000 % |
597.45/597.79 c | 546141 | 3902 16683 50655 | 213109 195689 114 | 0.000 % |
598.95/599.21 c | 547195 | 3902 16683 50655 | 213109 196743 114 | 0.000 % |
600.35/600.66 c | 548354 | 3902 16683 50655 | 213109 197902 114 | 0.000 % |
602.05/602.39 c | 549627 | 3902 16683 50655 | 213109 199175 114 | 0.000 % |
603.85/604.17 c | 551027 | 3902 16683 50655 | 2147483647 200575 114 | 0.000 % |
605.75/606.00 c | 552567 | 3902 16683 50655 | 2147483647 202115 114 | 0.000 % |
607.95/608.28 c | 554262 | 3902 16683 50655 | 2147483647 203810 114 | 0.000 % |
610.45/610.70 c | 556125 | 3902 16683 50655 | 2147483647 205673 114 | 0.000 % |
612.74/613.06 c | 558174 | 3902 16683 50655 | 2147483647 207722 114 | 0.000 % |
615.54/615.90 c | 560429 | 3902 16683 50655 | 2147483647 209977 114 | 0.000 % |
619.05/619.33 c | 562907 | 3902 16683 50655 | 2147483647 212455 114 | 0.000 % |
622.74/623.07 c | 565635 | 3902 16683 50655 | 2147483647 215183 115 | 0.000 % |
626.64/626.99 c | 568633 | 3902 16683 50655 | 2147483647 218181 115 | 0.000 % |
631.04/631.31 c | 571929 | 3902 16683 50655 | 2147483647 221477 115 | 0.000 % |
635.84/636.11 c | 575554 | 3902 16683 50655 | 2147483647 225102 115 | 0.000 % |
641.34/641.68 c | 579541 | 3902 16683 50655 | 2147483647 229089 115 | 0.000 % |
647.24/647.57 c | 583926 | 3902 16683 50655 | 229548 203121 116 | 0.000 % |
653.53/653.81 c | 588749 | 3902 16683 50655 | 229548 207944 116 | 0.000 % |
660.13/660.44 c | 594055 | 3902 16683 50655 | 209195 190681 116 | 0.000 % |
660.33/660.63 c | 594157 | 3902 16683 50655 | 209195 190783 116 | 0.000 % |
660.43/660.80 c | 594267 | 3902 16683 50655 | 209195 190893 116 | 0.000 % |
660.63/660.97 c | 594388 | 3902 16683 50655 | 209195 191014 116 | 0.000 % |
660.84/661.19 c | 594523 | 3902 16683 50655 | 209195 191149 116 | 0.000 % |
661.13/661.44 c | 594671 | 3902 16683 50655 | 209195 191297 116 | 0.000 % |
661.33/661.67 c | 594831 | 3902 16683 50655 | 209195 191457 116 | 0.000 % |
661.63/661.94 c | 595007 | 3902 16683 50655 | 209195 191633 116 | 0.000 % |
661.93/662.26 c | 595202 | 3902 16683 50655 | 209195 191828 116 | 0.000 % |
662.23/662.56 c | 595414 | 3902 16683 50655 | 209195 192040 116 | 0.000 % |
662.53/662.86 c | 595647 | 3902 16683 50655 | 209195 192273 116 | 0.000 % |
662.83/663.19 c | 595904 | 3902 16683 50655 | 209195 192530 116 | 0.000 % |
663.33/663.61 c | 596185 | 3902 16683 50655 | 209195 192811 116 | 0.000 % |
663.73/664.04 c | 596494 | 3902 16683 50655 | 209195 193120 116 | 0.000 % |
664.23/664.56 c | 596833 | 3902 16683 50655 | 209195 193459 116 | 0.000 % |
664.73/665.05 c | 597208 | 3902 16683 50655 | 209195 193834 116 | 0.000 % |
665.23/665.58 c | 597619 | 3902 16683 50655 | 209195 194245 116 | 0.000 % |
665.83/666.17 c | 598068 | 3902 16683 50655 | 209195 194694 116 | 0.000 % |
666.43/666.80 c | 598562 | 3902 16683 50655 | 209195 195188 116 | 0.000 % |
667.23/667.55 c | 599105 | 3902 16683 50655 | 209195 195731 116 | 0.000 % |
668.03/668.39 c | 599703 | 3902 16683 50655 | 209195 196329 116 | 0.000 % |
668.83/669.13 c | 600358 | 3902 16683 50655 | 2147483647 196984 116 | 0.000 % |
669.83/670.10 c | 601078 | 3902 16683 50655 | 2147483647 197704 116 | 0.000 % |
670.93/671.21 c | 601870 | 3902 16683 50655 | 2147483647 198496 116 | 0.000 % |
672.03/672.35 c | 602743 | 3902 16683 50655 | 2147483647 199369 116 | 0.000 % |
673.33/673.60 c | 603701 | 3902 16683 50655 | 2147483647 200327 116 | 0.000 % |
674.63/674.96 c | 604755 | 3902 16683 50655 | 2147483647 201381 116 | 0.000 % |
676.13/676.46 c | 605913 | 3902 16683 50655 | 2147483647 202539 116 | 0.000 % |
677.73/678.10 c | 607188 | 3902 16683 50655 | 2147483647 203814 116 | 0.000 % |
679.53/679.90 c | 608589 | 3902 16683 50655 | 2147483647 205215 116 | 0.000 % |
681.82/682.12 c | 610129 | 3902 16683 50655 | 206626 206755 116 | 0.000 % |
684.22/684.53 c | 611825 | 3902 16683 50655 | 206626 187251 115 | 0.000 % |
686.42/686.71 c | 613689 | 3902 16683 50655 | 206626 189115 115 | 0.000 % |
688.82/689.17 c | 615738 | 3902 16683 50655 | 206626 191164 115 | 0.000 % |
691.62/691.94 c | 617993 | 3902 16683 50655 | 206626 193419 115 | 0.000 % |
694.72/695.06 c | 620473 | 3902 16683 50655 | 2147483647 195899 115 | 0.000 % |
698.12/698.48 c | 623199 | 3902 16683 50655 | 2147483647 198625 115 | 0.000 % |
702.02/702.35 c | 626196 | 3902 16683 50655 | 2147483647 201622 115 | 0.000 % |
706.21/706.59 c | 629492 | 3902 16683 50655 | 2147483647 204918 115 | 0.000 % |
711.01/711.35 c | 633118 | 3902 16683 50655 | 2147483647 208544 115 | 0.000 % |
715.91/716.28 c | 637107 | 3902 16683 50655 | 2147483647 212533 115 | 0.000 % |
722.01/722.32 c | 641492 | 3902 16683 50655 | 2147483647 216918 115 | 0.000 % |
728.51/728.86 c | 646316 | 3902 16683 50655 | 2147483647 221742 115 | 0.000 % |
736.11/736.46 c | 651621 | 3902 16683 50655 | 225427 197985 114 | 0.000 % |
743.60/743.97 c | 657456 | 3902 16683 50655 | 225427 203820 115 | 0.000 % |
743.80/744.12 c | 657556 | 3902 16683 50655 | 225427 203920 115 | 0.000 % |
744.00/744.33 c | 657669 | 3902 16683 50655 | 225427 204033 115 | 0.000 % |
744.20/744.57 c | 657793 | 3902 16683 50655 | 225427 204157 115 | 0.000 % |
744.50/744.82 c | 657928 | 3902 16683 50655 | 225427 204292 115 | 0.000 % |
744.70/745.09 c | 658075 | 3902 16683 50655 | 225427 204439 115 | 0.000 % |
745.00/745.39 c | 658236 | 3902 16683 50655 | 225427 204600 115 | 0.000 % |
745.30/745.64 c | 658412 | 3902 16683 50655 | 225427 204776 115 | 0.000 % |
745.60/745.93 c | 658605 | 3902 16683 50655 | 225427 204969 115 | 0.000 % |
745.90/746.24 c | 658817 | 3902 16683 50655 | 225427 205181 115 | 0.000 % |
746.20/746.56 c | 659051 | 3902 16683 50655 | 225427 205415 115 | 0.000 % |
746.70/747.01 c | 659308 | 3902 16683 50655 | 225427 205672 115 | 0.000 % |
747.10/747.46 c | 659589 | 3902 16683 50655 | 225427 205953 115 | 0.000 % |
747.61/747.95 c | 659898 | 3902 16683 50655 | 225427 206262 115 | 0.000 % |
748.10/748.46 c | 660238 | 3902 16683 50655 | 206365 206602 115 | 0.000 % |
748.90/749.25 c | 660610 | 3902 16683 50655 | 206365 181536 115 | 0.000 % |
749.40/749.78 c | 661019 | 3902 16683 50655 | 206365 181945 115 | 0.000 % |
750.10/750.43 c | 661468 | 3902 16683 50655 | 206365 182394 115 | 0.000 % |
750.70/751.07 c | 661962 | 3902 16683 50655 | 206365 182888 115 | 0.000 % |
751.40/751.79 c | 662504 | 3902 16683 50655 | 206365 183430 115 | 0.000 % |
752.20/752.54 c | 663100 | 3902 16683 50655 | 206365 184026 115 | 0.000 % |
753.10/753.41 c | 663756 | 3902 16683 50655 | 206365 184682 115 | 0.000 % |
754.00/754.39 c | 664477 | 3902 16683 50655 | 206365 185403 115 | 0.000 % |
755.10/755.41 c | 665269 | 3902 16683 50655 | 206365 186195 115 | 0.000 % |
756.10/756.46 c | 666140 | 3902 16683 50655 | 206365 187066 115 | 0.000 % |
757.40/757.72 c | 667099 | 3902 16683 50655 | 206365 188025 115 | 0.000 % |
758.80/759.11 c | 668152 | 3902 16683 50655 | 206365 189078 115 | 0.000 % |
760.30/760.66 c | 669310 | 3902 16683 50655 | 206365 190236 115 | 0.000 % |
761.90/762.30 c | 670585 | 3902 16683 50655 | 190926 191511 115 | 0.000 % |
763.90/764.21 c | 671985 | 3902 16683 50655 | 190926 173760 115 | 0.000 % |
765.70/766.03 c | 673525 | 3902 16683 50655 | 190926 175300 115 | 0.000 % |
767.70/768.06 c | 675219 | 3902 16683 50655 | 190926 176994 115 | 0.000 % |
769.90/770.21 c | 677082 | 3902 16683 50655 | 190926 178857 115 | 0.000 % |
772.19/772.59 c | 679131 | 3902 16683 50655 | 190926 180906 115 | 0.000 % |
774.79/775.18 c | 681386 | 3902 16683 50655 | 2147483647 183161 115 | 0.000 % |
777.69/778.07 c | 683864 | 3902 16683 50655 | 2147483647 185639 115 | 0.000 % |
780.99/781.30 c | 686589 | 3902 16683 50655 | 2147483647 188364 115 | 0.000 % |
784.79/785.12 c | 689586 | 3902 16683 50655 | 2147483647 191361 115 | 0.000 % |
788.89/789.20 c | 692883 | 3902 16683 50655 | 2147483647 194658 115 | 0.000 % |
793.19/793.58 c | 696508 | 3902 16683 50655 | 2147483647 198283 115 | 0.000 % |
798.29/798.66 c | 700495 | 3902 16683 50655 | 2147483647 202270 115 | 0.000 % |
804.08/804.42 c | 704881 | 3902 16683 50655 | 2147483647 206656 115 | 0.000 % |
810.48/810.85 c | 709709 | 3902 16683 50655 | 2147483647 211484 115 | 0.000 % |
817.38/817.73 c | 715015 | 3902 16683 50655 | 2147483647 216790 115 | 0.000 % |
825.78/826.19 c | 720850 | 3902 16683 50655 | 221775 193604 115 | 0.000 % |
833.78/834.19 c | 727269 | 3902 16683 50655 | 221775 200023 115 | 0.000 % |
833.98/834.35 c | 727369 | 3902 16683 50655 | 221775 200123 115 | 0.000 % |
834.18/834.50 c | 727479 | 3902 16683 50655 | 221775 200233 115 | 0.000 % |
834.38/834.71 c | 727601 | 3902 16683 50655 | 221775 200355 115 | 0.000 % |
834.58/834.96 c | 727734 | 3902 16683 50655 | 221775 200488 115 | 0.000 % |
834.88/835.21 c | 727880 | 3902 16683 50655 | 221775 200634 115 | 0.000 % |
835.08/835.46 c | 728040 | 3902 16683 50655 | 221775 200794 115 | 0.000 % |
835.38/835.74 c | 728217 | 3902 16683 50655 | 221775 200971 115 | 0.000 % |
835.68/836.07 c | 728411 | 3902 16683 50655 | 221775 201165 115 | 0.000 % |
836.07/836.41 c | 728623 | 3902 16683 50655 | 221775 201377 115 | 0.000 % |
836.37/836.76 c | 728857 | 3902 16683 50655 | 221775 201611 115 | 0.000 % |
836.78/837.15 c | 729113 | 3902 16683 50655 | 221775 201867 115 | 0.000 % |
837.17/837.59 c | 729396 | 3902 16683 50655 | 221775 202150 115 | 0.000 % |
837.67/838.07 c | 729707 | 3902 16683 50655 | 221775 202461 115 | 0.000 % |
838.17/838.58 c | 730046 | 3902 16683 50655 | 202754 202800 115 | 0.000 % |
839.07/839.40 c | 730423 | 3902 16683 50655 | 202754 179606 115 | 0.000 % |
839.57/839.92 c | 730832 | 3902 16683 50655 | 202754 180015 115 | 0.000 % |
840.17/840.50 c | 731282 | 3902 16683 50655 | 202754 180465 115 | 0.000 % |
840.77/841.12 c | 731778 | 3902 16683 50655 | 202754 180961 115 | 0.000 % |
841.37/841.77 c | 732325 | 3902 16683 50655 | 202754 181508 115 | 0.000 % |
842.18/842.58 c | 732923 | 3902 16683 50655 | 202754 182106 114 | 0.000 % |
843.07/843.42 c | 733578 | 3902 16683 50655 | 202754 182761 114 | 0.000 % |
843.97/844.39 c | 734300 | 3902 16683 50655 | 202754 183483 114 | 0.000 % |
845.07/845.43 c | 735093 | 3902 16683 50655 | 202754 184276 114 | 0.000 % |
846.27/846.65 c | 735964 | 3902 16683 50655 | 202754 185147 114 | 0.000 % |
847.57/847.90 c | 736922 | 3902 16683 50655 | 202754 186105 114 | 0.000 % |
848.87/849.26 c | 737976 | 3902 16683 50655 | 202754 187159 114 | 0.000 % |
850.37/850.78 c | 739136 | 3902 16683 50655 | 202754 188319 114 | 0.000 % |
852.07/852.44 c | 740413 | 3902 16683 50655 | 2147483647 189596 114 | 0.000 % |
853.67/854.05 c | 741813 | 3902 16683 50655 | 2147483647 190996 114 | 0.000 % |
855.67/856.05 c | 743353 | 3902 16683 50655 | 2147483647 192536 114 | 0.000 % |
857.67/858.03 c | 745048 | 3902 16683 50655 | 2147483647 194231 114 | 0.000 % |
860.27/860.66 c | 746913 | 3902 16683 50655 | 2147483647 196096 114 | 0.000 % |
862.96/863.36 c | 748964 | 3902 16683 50655 | 2147483647 198147 114 | 0.000 % |
865.96/866.40 c | 751219 | 3902 16683 50655 | 2147483647 200402 114 | 0.000 % |
869.06/869.43 c | 753698 | 3902 16683 50655 | 2147483647 202881 114 | 0.000 % |
872.86/873.20 c | 756426 | 3902 16683 50655 | 2147483647 205609 114 | 0.000 % |
876.86/877.22 c | 759425 | 3902 16683 50655 | 2147483647 208608 114 | 0.000 % |
881.16/881.55 c | 762721 | 3902 16683 50655 | 2147483647 211904 115 | 0.000 % |
885.96/886.34 c | 766347 | 3902 16683 50655 | 2147483647 215530 115 | 0.000 % |
891.36/891.72 c | 770334 | 3902 16683 50655 | 219184 219517 115 | 0.000 % |
896.96/897.39 c | 774720 | 3902 16683 50655 | 219184 200794 115 | 0.000 % |
903.05/903.44 c | 779543 | 3902 16683 50655 | 219184 205617 115 | 0.000 % |
909.95/910.37 c | 784848 | 3902 16683 50655 | 2147483647 210922 115 | 0.000 % |
917.95/918.31 c | 790683 | 3902 16683 50655 | 216074 193609 116 | 0.000 % |
925.75/926.17 c | 797101 | 3902 16683 50655 | 216074 200027 116 | 0.000 % |
934.75/935.11 c | 804161 | 3902 16683 50655 | 2147483647 207087 116 | 0.000 % |
934.84/935.27 c | 804263 | 3902 16683 50655 | 2147483647 207189 116 | 0.000 % |
935.04/935.43 c | 804374 | 3902 16683 50655 | 2147483647 207300 116 | 0.000 % |
935.24/935.64 c | 804498 | 3902 16683 50655 | 2147483647 207424 116 | 0.000 % |
935.44/935.86 c | 804631 | 3902 16683 50655 | 2147483647 207557 116 | 0.000 % |
935.75/936.12 c | 804779 | 3902 16683 50655 | 2147483647 207705 116 | 0.000 % |
935.94/936.37 c | 804939 | 3902 16683 50655 | 2147483647 207865 116 | 0.000 % |
936.24/936.63 c | 805117 | 3902 16683 50655 | 2147483647 208043 116 | 0.000 % |
936.54/936.96 c | 805311 | 3902 16683 50655 | 2147483647 208237 116 | 0.000 % |
936.94/937.31 c | 805523 | 3902 16683 50655 | 2147483647 208449 116 | 0.000 % |
937.34/937.74 c | 805761 | 3902 16683 50655 | 2147483647 208687 116 | 0.000 % |
937.74/938.16 c | 806018 | 3902 16683 50655 | 2147483647 208944 116 | 0.000 % |
938.24/938.64 c | 806301 | 3902 16683 50655 | 2147483647 209227 116 | 0.000 % |
938.74/939.12 c | 806610 | 3902 16683 50655 | 2147483647 209536 116 | 0.000 % |
939.24/939.60 c | 806950 | 3902 16683 50655 | 2147483647 209876 116 | 0.000 % |
939.74/940.15 c | 807322 | 3902 16683 50655 | 2147483647 210248 116 | 0.000 % |
940.44/940.81 c | 807731 | 3902 16683 50655 | 2147483647 210657 116 | 0.000 % |
941.04/941.47 c | 808181 | 3902 16683 50655 | 2147483647 211107 116 | 0.000 % |
941.84/942.22 c | 808674 | 3902 16683 50655 | 2147483647 211600 116 | 0.000 % |
942.64/943.08 c | 809216 | 3902 16683 50655 | 2147483647 212142 116 | 0.000 % |
943.54/943.93 c | 809812 | 3902 16683 50655 | 2147483647 212738 116 | 0.000 % |
944.44/944.84 c | 810467 | 3902 16683 50655 | 212929 213393 116 | 0.000 % |
945.64/946.06 c | 811187 | 3902 16683 50655 | 212929 188463 115 | 0.000 % |
946.74/947.12 c | 811980 | 3902 16683 50655 | 212929 189256 115 | 0.000 % |
947.74/948.17 c | 812851 | 3902 16683 50655 | 212929 190127 115 | 0.000 % |
948.94/949.32 c | 813811 | 3902 16683 50655 | 212929 191087 115 | 0.000 % |
950.24/950.65 c | 814866 | 3902 16683 50655 | 212929 192142 115 | 0.000 % |
951.74/952.14 c | 816024 | 3902 16683 50655 | 212929 193300 115 | 0.000 % |
953.54/953.90 c | 817299 | 3902 16683 50655 | 212929 194575 115 | 0.000 % |
955.34/955.72 c | 818699 | 3902 16683 50655 | 212929 195975 115 | 0.000 % |
957.34/957.74 c | 820241 | 3902 16683 50655 | 197277 197517 115 | 0.000 % |
959.74/960.13 c | 821938 | 3902 16683 50655 | 197277 177693 115 | 0.000 % |
961.94/962.40 c | 823801 | 3902 16683 50655 | 197277 179556 115 | 0.000 % |
964.44/964.84 c | 825853 | 3902 16683 50655 | 197277 181608 115 | 0.000 % |
967.24/967.62 c | 828106 | 3902 16683 50655 | 197277 183861 115 | 0.000 % |
970.33/970.70 c | 830584 | 3902 16683 50655 | 2147483647 186339 115 | 0.000 % |
973.63/974.08 c | 833309 | 3902 16683 50655 | 2147483647 189064 115 | 0.000 % |
977.13/977.59 c | 836306 | 3902 16683 50655 | 2147483647 192061 115 | 0.000 % |
981.33/981.70 c | 839604 | 3902 16683 50655 | 2147483647 195359 116 | 0.000 % |
985.93/986.38 c | 843231 | 3902 16683 50655 | 2147483647 198986 116 | 0.000 % |
990.93/991.39 c | 847218 | 3902 16683 50655 | 2147483647 202973 116 | 0.000 % |
996.62/997.09 c | 851605 | 3902 16683 50655 | 2147483647 207360 116 | 0.000 % |
1003.32/1003.71 c | 856429 | 3902 16683 50655 | 2147483647 212184 116 | 0.000 % |
1010.72/1011.10 c | 861736 | 3902 16683 50655 | 215755 193704 116 | 0.000 % |
1018.02/1018.49 c | 867571 | 3902 16683 50655 | 215755 199539 117 | 0.000 % |
1026.32/1026.77 c | 873989 | 3902 16683 50655 | 2147483647 205957 117 | 0.000 % |
1035.81/1036.23 c | 881050 | 3902 16683 50655 | 2147483647 213018 117 | 0.000 % |
1046.30/1046.77 c | 888814 | 3902 16683 50655 | 2147483647 220782 117 | 0.000 % |
1046.50/1046.92 c | 888915 | 3902 16683 50655 | 2147483647 220883 117 | 0.000 % |
1046.71/1047.11 c | 889027 | 3902 16683 50655 | 2147483647 220995 117 | 0.000 % |
1046.90/1047.33 c | 889150 | 3902 16683 50655 | 2147483647 221118 117 | 0.000 % |
1047.10/1047.56 c | 889285 | 3902 16683 50655 | 2147483647 221253 117 | 0.000 % |
1047.40/1047.81 c | 889431 | 3902 16683 50655 | 2147483647 221399 117 | 0.000 % |
1047.60/1048.08 c | 889592 | 3902 16683 50655 | 2147483647 221560 117 | 0.000 % |
1047.91/1048.37 c | 889768 | 3902 16683 50655 | 2147483647 221736 117 | 0.000 % |
1048.30/1048.75 c | 889962 | 3902 16683 50655 | 2147483647 221930 117 | 0.000 % |
1048.70/1049.11 c | 890175 | 3902 16683 50655 | 221969 222143 117 | 0.000 % |
1049.30/1049.79 c | 890410 | 3902 16683 50655 | 221969 191900 118 | 0.000 % |
1049.70/1050.18 c | 890666 | 3902 16683 50655 | 221969 192156 118 | 0.000 % |
1050.11/1050.56 c | 890948 | 3902 16683 50655 | 221969 192438 118 | 0.000 % |
1050.50/1050.99 c | 891257 | 3902 16683 50655 | 221969 192747 118 | 0.000 % |
1051.00/1051.44 c | 891598 | 3902 16683 50655 | 221969 193088 118 | 0.000 % |
1051.50/1051.94 c | 891970 | 3902 16683 50655 | 221969 193460 118 | 0.000 % |
1052.00/1052.47 c | 892382 | 3902 16683 50655 | 221969 193872 118 | 0.000 % |
1052.60/1053.05 c | 892831 | 3902 16683 50655 | 221969 194321 118 | 0.000 % |
1053.30/1053.75 c | 893326 | 3902 16683 50655 | 221969 194816 118 | 0.000 % |
1054.10/1054.52 c | 893870 | 3902 16683 50655 | 221969 195360 118 | 0.000 % |
1054.90/1055.31 c | 894467 | 3902 16683 50655 | 221969 195957 118 | 0.000 % |
1055.80/1056.24 c | 895122 | 3902 16683 50655 | 221969 196612 118 | 0.000 % |
1056.80/1057.20 c | 895842 | 3902 16683 50655 | 221969 197332 117 | 0.000 % |
1057.70/1058.17 c | 896636 | 3902 16683 50655 | 221969 198126 117 | 0.000 % |
1058.90/1059.33 c | 897508 | 3902 16683 50655 | 221969 198998 117 | 0.000 % |
1060.30/1060.77 c | 898467 | 3902 16683 50655 | 221969 199957 117 | 0.000 % |
1061.60/1062.08 c | 899521 | 3902 16683 50655 | 221969 201011 117 | 0.000 % |
1063.50/1063.90 c | 900680 | 3902 16683 50655 | 201490 179371 117 | 0.000 % |
1065.00/1065.45 c | 901955 | 3902 16683 50655 | 201490 180646 117 | 0.000 % |
1066.70/1067.14 c | 903355 | 3902 16683 50655 | 201490 182046 117 | 0.000 % |
1068.60/1069.03 c | 904895 | 3902 16683 50655 | 201490 183586 117 | 0.000 % |
1070.60/1071.09 c | 906589 | 3902 16683 50655 | 201490 185280 117 | 0.000 % |
1072.89/1073.36 c | 908455 | 3902 16683 50655 | 201490 187146 117 | 0.000 % |
1075.40/1075.86 c | 910504 | 3902 16683 50655 | 2147483647 189195 117 | 0.000 % |
1078.29/1078.80 c | 912757 | 3902 16683 50655 | 2147483647 191448 117 | 0.000 % |
1081.49/1081.90 c | 915237 | 3902 16683 50655 | 2147483647 193928 117 | 0.000 % |
1084.99/1085.47 c | 917964 | 3902 16683 50655 | 2147483647 196655 117 | 0.000 % |
1088.69/1089.14 c | 920961 | 3902 16683 50655 | 2147483647 199652 117 | 0.000 % |
1092.59/1093.08 c | 924258 | 3902 16683 50655 | 2147483647 202949 117 | 0.000 % |
1097.19/1097.69 c | 927883 | 3902 16683 50655 | 2147483647 206574 118 | 0.000 % |
1102.39/1102.88 c | 931872 | 3902 16683 50655 | 2147483647 210563 118 | 0.000 % |
1108.29/1108.71 c | 936259 | 3902 16683 50655 | 2147483647 214950 118 | 0.000 % |
1114.68/1115.18 c | 941083 | 3902 16683 50655 | 218691 197266 117 | 0.000 % |
1121.58/1122.06 c | 946388 | 3902 16683 50655 | 218691 202571 117 | 0.000 % |
1129.08/1129.55 c | 952223 | 3902 16683 50655 | 2147483647 208406 118 | 0.000 % |
1137.48/1137.98 c | 958641 | 3902 16683 50655 | 2147483647 214824 118 | 0.000 % |
1147.07/1147.53 c | 965702 | 3902 16683 50655 | 2147483647 221885 118 | 0.000 % |
1157.48/1157.95 c | 973466 | 3902 16683 50655 | 226186 205318 119 | 0.000 % |
1169.07/1169.58 c | 982006 | 3902 16683 50655 | 211852 192345 120 | 0.000 % |
1169.27/1169.76 c | 982110 | 3902 16683 50655 | 211852 192449 120 | 0.000 % |
1169.47/1169.93 c | 982220 | 3902 16683 50655 | 211852 192559 120 | 0.000 % |
1169.67/1170.13 c | 982341 | 3902 16683 50655 | 211852 192680 120 | 0.000 % |
1169.88/1170.36 c | 982476 | 3902 16683 50655 | 211852 192815 120 | 0.000 % |
1170.07/1170.58 c | 982622 | 3902 16683 50655 | 211852 192961 120 | 0.000 % |
1170.37/1170.82 c | 982782 | 3902 16683 50655 | 211852 193121 120 | 0.000 % |
1170.57/1171.05 c | 982959 | 3902 16683 50655 | 211852 193298 120 | 0.000 % |
1170.87/1171.34 c | 983153 | 3902 16683 50655 | 211852 193492 120 | 0.000 % |
1171.27/1171.70 c | 983365 | 3902 16683 50655 | 211852 193704 120 | 0.000 % |
1171.57/1172.01 c | 983598 | 3902 16683 50655 | 211852 193937 120 | 0.000 % |
1171.97/1172.41 c | 983854 | 3902 16683 50655 | 211852 194193 120 | 0.000 % |
1172.37/1172.86 c | 984135 | 3902 16683 50655 | 211852 194474 120 | 0.000 % |
1172.87/1173.32 c | 984446 | 3902 16683 50655 | 211852 194785 120 | 0.000 % |
1173.37/1173.84 c | 984785 | 3902 16683 50655 | 211852 195124 120 | 0.000 % |
1173.87/1174.36 c | 985157 | 3902 16683 50655 | 211852 195496 120 | 0.000 % |
1174.38/1174.88 c | 985566 | 3902 16683 50655 | 211852 195905 120 | 0.000 % |
1175.07/1175.57 c | 986015 | 3902 16683 50655 | 211852 196354 120 | 0.000 % |
1175.87/1176.32 c | 986509 | 3902 16683 50655 | 211852 196848 120 | 0.000 % |
1176.67/1177.14 c | 987051 | 3902 16683 50655 | 211852 197390 120 | 0.000 % |
1177.57/1178.01 c | 987647 | 3902 16683 50655 | 211852 197986 120 | 0.000 % |
1178.37/1178.88 c | 988302 | 3902 16683 50655 | 211852 198641 119 | 0.000 % |
1179.27/1179.76 c | 989022 | 3902 16683 50655 | 211852 199361 119 | 0.000 % |
1180.47/1180.92 c | 989814 | 3902 16683 50655 | 211852 200153 119 | 0.000 % |
1181.87/1182.31 c | 990685 | 3902 16683 50655 | 200339 179112 119 | 0.000 % |
1182.97/1183.40 c | 991643 | 3902 16683 50655 | 200339 180070 119 | 0.000 % |
1184.17/1184.70 c | 992696 | 3902 16683 50655 | 200339 181123 119 | 0.000 % |
1185.57/1186.04 c | 993855 | 3902 16683 50655 | 200339 182282 119 | 0.000 % |
1187.17/1187.66 c | 995128 | 3902 16683 50655 | 200339 183555 119 | 0.000 % |
1188.87/1189.38 c | 996528 | 3902 16683 50655 | 200339 184955 119 | 0.000 % |
1190.87/1191.36 c | 998068 | 3902 16683 50655 | 200339 186495 119 | 0.000 % |
1193.07/1193.57 c | 999763 | 3902 16683 50655 | 200339 188190 119 | 0.000 % |
1195.56/1196.07 c | 1001628 | 3902 16683 50655 | 2147483647 190055 119 | 0.000 % |
1198.26/1198.75 c | 1003677 | 3902 16683 50655 | 2147483647 192104 119 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832759-1242787431/watcher-1832759-1242787431 -o /tmp/evaluation-result-1832759-1242787431/solver-1832759-1242787431 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832759-1242787431.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/65 1190
/proc/meminfo: memFree=1745000/2055920 swapFree=4179368/4192956
[pid=1190] ppid=1188 vsize=5356 CPUtime=0
/proc/1190/stat : 1190 (SatELiteGTI) S 1188 1190 556 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 306772894 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 269807747154 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/1190/statm: 1339 235 195 169 0 50 0
[pid=1191] ppid=1190 vsize=5356 CPUtime=0
/proc/1191/stat : 1191 (SatELiteGTI) S 1190 1190 556 0 -1 4194368 51 25 0 0 0 0 0 0 18 0 1 0 306772894 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/1191/statm: 1339 238 198 169 0 50 0
[pid=1193] ppid=1191 vsize=184 CPUtime=0
/proc/1193/stat : 1193 (sed) R 1191 1190 556 0 -1 4194304 30 0 0 0 0 0 0 0 21 0 1 0 306772894 188416 11 1992294400 4194304 4240196 548682069056 18446744073709551615 269804959977 0 0 4096 0 0 0 0 17 0 0 0
/proc/1193/statm: 48 21 14 11 0 11 0
[startup+0.0229179 s]
/proc/loadavg: 0.92 0.98 0.99 3/65 1190
/proc/meminfo: memFree=1745000/2055920 swapFree=4179368/4192956
[pid=1190] ppid=1188 vsize=5356 CPUtime=0
/proc/1190/stat : 1190 (SatELiteGTI) S 1188 1190 556 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 306772894 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1190/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.10193 s]
/proc/loadavg: 0.92 0.98 0.99 3/65 1190
/proc/meminfo: memFree=1745000/2055920 swapFree=4179368/4192956
[pid=1190] ppid=1188 vsize=5356 CPUtime=0.06
/proc/1190/stat : 1190 (SatELiteGTI) S 1188 1190 556 0 -1 4194304 336 841 0 0 0 0 6 0 16 0 1 0 306772894 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1190/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 5356
[startup+0.301949 s]
/proc/loadavg: 0.92 0.98 0.99 3/65 1190
/proc/meminfo: memFree=1745000/2055920 swapFree=4179368/4192956
[pid=1190] ppid=1188 vsize=5356 CPUtime=0.06
/proc/1190/stat : 1190 (SatELiteGTI) S 1188 1190 556 0 -1 4194304 336 841 0 0 0 0 6 0 16 0 1 0 306772894 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1190/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 5356
[startup+0.701993 s]
/proc/loadavg: 0.92 0.98 0.99 3/65 1190
/proc/meminfo: memFree=1745000/2055920 swapFree=4179368/4192956
[pid=1190] ppid=1188 vsize=5356 CPUtime=0.06
/proc/1190/stat : 1190 (SatELiteGTI) S 1188 1190 556 0 -1 4194304 336 841 0 0 0 0 6 0 16 0 1 0 306772894 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1190/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 5356
[startup+1.50107 s]
/proc/loadavg: 0.92 0.98 0.99 2/67 1196
/proc/meminfo: memFree=1740568/2055920 swapFree=4179368/4192956
[pid=1190] ppid=1188 vsize=5356 CPUtime=0.06
/proc/1190/stat : 1190 (SatELiteGTI) S 1188 1190 556 0 -1 4194304 336 841 0 0 0 0 6 0 16 0 1 0 306772894 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1190/statm: 1339 239 197 169 0 50 0
[pid=1196] ppid=1190 vsize=5260 CPUtime=1.41
/proc/1196/stat : 1196 (minisat_static) R 1190 1190 556 0 -1 4194304 1039 0 0 0 141 0 0 0 25 0 1 0 306772901 5386240 1025 1992294400 134512640 135215339 4294956240 18446744073709551615 134544549 0 0 4096 3 0 0 0 17 1 0 0
/proc/1196/statm: 1315 1025 77 171 0 1142 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 10616
[startup+3.10124 s]
/proc/loadavg: 0.92 0.98 0.99 2/67 1196
/proc/meminfo: memFree=1738904/2055920 swapFree=4179368/4192956
[pid=1190] ppid=1188 vsize=5356 CPUtime=0.06
/proc/1190/stat : 1190 (SatELiteGTI) S 1188 1190 556 0 -1 4194304 336 841 0 0 0 0 6 0 16 0 1 0 306772894 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1190/statm: 1339 239 197 169 0 50 0
[pid=1196] ppid=1190 vsize=9096 CPUtime=3.01
/proc/1196/stat : 1196 (minisat_static) R 1190 1190 556 0 -1 4194304 1977 0 0 0 300 1 0 0 25 0 1 0 306772901 9314304 1963 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/1196/statm: 2274 1963 77 171 0 2101 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 14452
[startup+6.30158 s]
/proc/loadavg: 0.93 0.98 0.99 2/67 1196
/proc/meminfo: memFree=1732440/2055920 swapFree=4179368/4192956
[pid=1190] ppid=1188 vsize=5356 CPUtime=0.06
/proc/1190/stat : 1190 (SatELiteGTI) S 1188 1190 556 0 -1 4194304 336 841 0 0 0 0 6 0 16 0 1 0 306772894 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1190/statm: 1339 239 197 169 0 50 0
[pid=1196] ppid=1190 vsize=14620 CPUtime=6.21
/proc/1196/stat : 1196 (minisat_static) R 1190 1190 556 0 -1 4194304 3358 0 0 0 618 3 0 0 25 0 1 0 306772901 14970880 3344 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/1196/statm: 3655 3344 77 171 0 3482 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 19976
[startup+12.7013 s]
/proc/loadavg: 0.93 0.98 0.99 2/67 1196
/proc/meminfo: memFree=1723544/2055920 swapFree=4179368/4192956
[pid=1190] ppid=1188 vsize=5356 CPUtime=0.06
/proc/1190/stat : 1190 (SatELiteGTI) S 1188 1190 556 0 -1 4194304 336 841 0 0 0 0 6 0 16 0 1 0 306772894 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1190/statm: 1339 239 197 169 0 50 0
[pid=1196] ppid=1190 vsize=22752 CPUtime=12.6
/proc/1196/stat : 1196 (minisat_static) R 1190 1190 556 0 -1 4194304 5386 0 0 0 1255 5 0 0 25 0 1 0 306772901 23298048 5372 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/1196/statm: 5688 5372 77 171 0 5515 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 28108
[startup+25.5016 s]
/proc/loadavg: 0.95 0.98 0.99 2/67 1196
/proc/meminfo: memFree=1711448/2055920 swapFree=4179368/4192956
[pid=1190] ppid=1188 vsize=5356 CPUtime=0.06
/proc/1190/stat : 1190 (SatELiteGTI) S 1188 1190 556 0 -1 4194304 336 841 0 0 0 0 6 0 16 0 1 0 306772894 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1190/statm: 1339 239 197 169 0 50 0
[pid=1196] ppid=1190 vsize=34356 CPUtime=25.39
/proc/1196/stat : 1196 (minisat_static) R 1190 1190 556 0 -1 4194304 8291 0 0 0 2530 9 0 0 25 0 1 0 306772901 35180544 8277 1992294400 134512640 135215339 4294956240 18446744073709551615 134538925 0 0 4096 3 0 0 0 17 1 0 0
/proc/1196/statm: 8589 8277 77 171 0 8416 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 39712
[startup+51.1013 s]
/proc/loadavg: 0.96 0.98 0.99 2/67 1196
/proc/meminfo: memFree=1694424/2055920 swapFree=4179368/4192956
[pid=1190] ppid=1188 vsize=5356 CPUtime=0.06
/proc/1190/stat : 1190 (SatELiteGTI) S 1188 1190 556 0 -1 4194304 336 841 0 0 0 0 6 0 16 0 1 0 306772894 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1190/statm: 1339 239 197 169 0 50 0
[pid=1196] ppid=1190 vsize=51432 CPUtime=50.97
/proc/1196/stat : 1196 (minisat_static) R 1190 1190 556 0 -1 4194304 12552 0 0 0 5083 14 0 0 25 0 1 0 306772901 52666368 12538 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/1196/statm: 12858 12538 77 171 0 12685 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 56788
[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.99 2/67 1196
/proc/meminfo: memFree=1669144/2055920 swapFree=4179368/4192956
[pid=1190] ppid=1188 vsize=5356 CPUtime=0.06
/proc/1190/stat : 1190 (SatELiteGTI) S 1188 1190 556 0 -1 4194304 336 841 0 0 0 0 6 0 16 0 1 0 306772894 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1190/statm: 1339 239 197 169 0 50 0
[pid=1196] ppid=1190 vsize=76384 CPUtime=102.15
/proc/1196/stat : 1196 (minisat_static) R 1190 1190 556 0 -1 4194304 18765 0 0 0 10193 22 0 0 25 0 1 0 306772901 78217216 18751 1992294400 134512640 135215339 4294956240 18446744073709551615 134528717 0 0 4096 3 0 0 0 17 1 0 0
/proc/1196/statm: 19096 18751 77 171 0 18923 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 81740
[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 1196
/proc/meminfo: memFree=1648792/2055920 swapFree=4179368/4192956
[pid=1190] ppid=1188 vsize=5356 CPUtime=0.06
/proc/1190/stat : 1190 (SatELiteGTI) S 1188 1190 556 0 -1 4194304 336 841 0 0 0 0 6 0 16 0 1 0 306772894 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1190/statm: 1339 239 197 169 0 50 0
[pid=1196] ppid=1190 vsize=96448 CPUtime=162.13
/proc/1196/stat : 1196 (minisat_static) R 1190 1190 556 0 -1 4194304 23819 0 0 0 16186 27 0 0 25 0 1 0 306772901 98762752 23805 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/1196/statm: 24112 23805 77 171 0 23939 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 101804
[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 1196
/proc/meminfo: memFree=1643864/2055920 swapFree=4179368/4192956
[pid=1190] ppid=1188 vsize=5356 CPUtime=0.06
/proc/1190/stat : 1190 (SatELiteGTI) S 1188 1190 556 0 -1 4194304 336 841 0 0 0 0 6 0 16 0 1 0 306772894 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1190/statm: 1339 239 197 169 0 50 0
[pid=1196] ppid=1190 vsize=101604 CPUtime=222.11
/proc/1196/stat : 1196 (minisat_static) R 1190 1190 556 0 -1 4194304 25008 0 0 0 22182 29 0 0 25 0 1 0 306772901 104042496 24994 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/1196/statm: 25401 24994 77 171 0 25228 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 106960
[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 1196
/proc/meminfo: memFree=1641560/2055920 swapFree=4179368/4192956
[pid=1190] ppid=1188 vsize=5356 CPUtime=0.06
/proc/1190/stat : 1190 (SatELiteGTI) S 1188 1190 556 0 -1 4194304 336 841 0 0 0 0 6 0 16 0 1 0 306772894 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1190/statm: 1339 239 197 169 0 50 0
[pid=1196] ppid=1190 vsize=103716 CPUtime=282.09
/proc/1196/stat : 1196 (minisat_static) R 1190 1190 556 0 -1 4194304 25554 0 0 0 28179 30 0 0 25 0 1 0 306772901 106205184 25540 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/1196/statm: 25929 25540 77 171 0 25756 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 109072
[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 1196
/proc/meminfo: memFree=1639640/2055920 swapFree=4179368/4192956
[pid=1190] ppid=1188 vsize=5356 CPUtime=0.06
/proc/1190/stat : 1190 (SatELiteGTI) S 1188 1190 556 0 -1 4194304 336 841 0 0 0 0 6 0 16 0 1 0 306772894 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1190/statm: 1339 239 197 169 0 50 0
[pid=1196] ppid=1190 vsize=105564 CPUtime=342.07
/proc/1196/stat : 1196 (minisat_static) R 1190 1190 556 0 -1 4194304 26031 0 0 0 34176 31 0 0 25 0 1 0 306772901 108097536 26017 1992294400 134512640 135215339 4294956240 18446744073709551615 134528852 0 0 4096 3 0 0 0 17 1 0 0
/proc/1196/statm: 26391 26017 77 171 0 26218 0
Current children cumulated CPU time (s) 342.13
Current children cumulated vsize (KiB) 110920
[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 1196
/proc/meminfo: memFree=1634456/2055920 swapFree=4179368/4192956
[pid=1190] ppid=1188 vsize=5356 CPUtime=0.06
/proc/1190/stat : 1190 (SatELiteGTI) S 1188 1190 556 0 -1 4194304 336 841 0 0 0 0 6 0 16 0 1 0 306772894 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1190/statm: 1339 239 197 169 0 50 0
[pid=1196] ppid=1190 vsize=110844 CPUtime=402.05
################
# More data... #
################
/proc/1196/statm: 28835 28458 77 171 0 28662 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 120696
[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 1196
/proc/meminfo: memFree=1626968/2055920 swapFree=4179368/4192956
[pid=1190] ppid=1188 vsize=5356 CPUtime=0.06
/proc/1190/stat : 1190 (SatELiteGTI) S 1188 1190 556 0 -1 4194304 336 841 0 0 0 0 6 0 16 0 1 0 306772894 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1190/statm: 1339 239 197 169 0 50 0
[pid=1196] ppid=1190 vsize=117716 CPUtime=641.98
/proc/1196/stat : 1196 (minisat_static) R 1190 1190 556 0 -1 4194304 29083 0 0 0 64163 35 0 0 25 0 1 0 306772901 120541184 29069 1992294400 134512640 135215339 4294956240 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 1 0 0
/proc/1196/statm: 29429 29069 77 171 0 29256 0
Current children cumulated CPU time (s) 642.04
Current children cumulated vsize (KiB) 123072
[startup+702.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 1196
/proc/meminfo: memFree=1626456/2055920 swapFree=4179368/4192956
[pid=1190] ppid=1188 vsize=5356 CPUtime=0.06
/proc/1190/stat : 1190 (SatELiteGTI) S 1188 1190 556 0 -1 4194304 336 841 0 0 0 0 6 0 16 0 1 0 306772894 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1190/statm: 1339 239 197 169 0 50 0
[pid=1196] ppid=1190 vsize=118112 CPUtime=701.96
/proc/1196/stat : 1196 (minisat_static) R 1190 1190 556 0 -1 4194304 29160 0 0 0 70161 35 0 0 25 0 1 0 306772901 120946688 29146 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/1196/statm: 29528 29146 77 171 0 29355 0
Current children cumulated CPU time (s) 702.02
Current children cumulated vsize (KiB) 123468
[startup+762.305 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 1196
/proc/meminfo: memFree=1626264/2055920 swapFree=4179368/4192956
[pid=1190] ppid=1188 vsize=5356 CPUtime=0.06
/proc/1190/stat : 1190 (SatELiteGTI) S 1188 1190 556 0 -1 4194304 336 841 0 0 0 0 6 0 16 0 1 0 306772894 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1190/statm: 1339 239 197 169 0 50 0
[pid=1196] ppid=1190 vsize=118112 CPUtime=761.94
/proc/1196/stat : 1196 (minisat_static) R 1190 1190 556 0 -1 4194304 29160 0 0 0 76159 35 0 0 25 0 1 0 306772901 120946688 29146 1992294400 134512640 135215339 4294956240 18446744073709551615 134544549 0 0 4096 3 0 0 0 17 1 0 0
/proc/1196/statm: 29528 29146 77 171 0 29355 0
Current children cumulated CPU time (s) 762
Current children cumulated vsize (KiB) 123468
[startup+822.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 1196
/proc/meminfo: memFree=1626264/2055920 swapFree=4179368/4192956
[pid=1190] ppid=1188 vsize=5356 CPUtime=0.06
/proc/1190/stat : 1190 (SatELiteGTI) S 1188 1190 556 0 -1 4194304 336 841 0 0 0 0 6 0 16 0 1 0 306772894 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1190/statm: 1339 239 197 169 0 50 0
[pid=1196] ppid=1190 vsize=118112 CPUtime=821.92
/proc/1196/stat : 1196 (minisat_static) R 1190 1190 556 0 -1 4194304 29160 0 0 0 82157 35 0 0 25 0 1 0 306772901 120946688 29146 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/1196/statm: 29528 29146 77 171 0 29355 0
Current children cumulated CPU time (s) 821.98
Current children cumulated vsize (KiB) 123468
[startup+882.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 1196
/proc/meminfo: memFree=1626136/2055920 swapFree=4179368/4192956
[pid=1190] ppid=1188 vsize=5356 CPUtime=0.06
/proc/1190/stat : 1190 (SatELiteGTI) S 1188 1190 556 0 -1 4194304 336 841 0 0 0 0 6 0 16 0 1 0 306772894 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1190/statm: 1339 239 197 169 0 50 0
[pid=1196] ppid=1190 vsize=118112 CPUtime=881.9
/proc/1196/stat : 1196 (minisat_static) R 1190 1190 556 0 -1 4194304 29160 0 0 0 88155 35 0 0 25 0 1 0 306772901 120946688 29146 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/1196/statm: 29528 29146 77 171 0 29355 0
Current children cumulated CPU time (s) 881.96
Current children cumulated vsize (KiB) 123468
[startup+942.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 1196
/proc/meminfo: memFree=1626008/2055920 swapFree=4179368/4192956
[pid=1190] ppid=1188 vsize=5356 CPUtime=0.06
/proc/1190/stat : 1190 (SatELiteGTI) S 1188 1190 556 0 -1 4194304 336 841 0 0 0 0 6 0 16 0 1 0 306772894 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1190/statm: 1339 239 197 169 0 50 0
[pid=1196] ppid=1190 vsize=118112 CPUtime=941.88
/proc/1196/stat : 1196 (minisat_static) R 1190 1190 556 0 -1 4194304 29160 0 0 0 94153 35 0 0 25 0 1 0 306772901 120946688 29146 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/1196/statm: 29528 29146 77 171 0 29355 0
Current children cumulated CPU time (s) 941.94
Current children cumulated vsize (KiB) 123468
[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 1196
/proc/meminfo: memFree=1625944/2055920 swapFree=4179368/4192956
[pid=1190] ppid=1188 vsize=5356 CPUtime=0.06
/proc/1190/stat : 1190 (SatELiteGTI) S 1188 1190 556 0 -1 4194304 336 841 0 0 0 0 6 0 16 0 1 0 306772894 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1190/statm: 1339 239 197 169 0 50 0
[pid=1196] ppid=1190 vsize=118112 CPUtime=1001.86
/proc/1196/stat : 1196 (minisat_static) R 1190 1190 556 0 -1 4194304 29160 0 0 0 100151 35 0 0 25 0 1 0 306772901 120946688 29146 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/1196/statm: 29528 29146 77 171 0 29355 0
Current children cumulated CPU time (s) 1001.92
Current children cumulated vsize (KiB) 123468
[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 1202
/proc/meminfo: memFree=1625624/2055920 swapFree=4179368/4192956
[pid=1190] ppid=1188 vsize=5356 CPUtime=0.06
/proc/1190/stat : 1190 (SatELiteGTI) S 1188 1190 556 0 -1 4194304 336 841 0 0 0 0 6 0 16 0 1 0 306772894 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1190/statm: 1339 239 197 169 0 50 0
[pid=1196] ppid=1190 vsize=118112 CPUtime=1061.84
/proc/1196/stat : 1196 (minisat_static) R 1190 1190 556 0 -1 4194304 29160 0 0 0 106149 35 0 0 25 0 1 0 306772901 120946688 29146 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/1196/statm: 29528 29146 77 171 0 29355 0
Current children cumulated CPU time (s) 1061.9
Current children cumulated vsize (KiB) 123468
[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 1202
/proc/meminfo: memFree=1625624/2055920 swapFree=4179368/4192956
[pid=1190] ppid=1188 vsize=5356 CPUtime=0.06
/proc/1190/stat : 1190 (SatELiteGTI) S 1188 1190 556 0 -1 4194304 336 841 0 0 0 0 6 0 16 0 1 0 306772894 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1190/statm: 1339 239 197 169 0 50 0
[pid=1196] ppid=1190 vsize=118112 CPUtime=1121.82
/proc/1196/stat : 1196 (minisat_static) R 1190 1190 556 0 -1 4194304 29160 0 0 0 112147 35 0 0 25 0 1 0 306772901 120946688 29146 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/1196/statm: 29528 29146 77 171 0 29355 0
Current children cumulated CPU time (s) 1121.88
Current children cumulated vsize (KiB) 123468
[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 1202
/proc/meminfo: memFree=1622936/2055920 swapFree=4179368/4192956
[pid=1190] ppid=1188 vsize=5356 CPUtime=0.06
/proc/1190/stat : 1190 (SatELiteGTI) S 1188 1190 556 0 -1 4194304 336 841 0 0 0 0 6 0 16 0 1 0 306772894 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1190/statm: 1339 239 197 169 0 50 0
[pid=1196] ppid=1190 vsize=120620 CPUtime=1181.81
/proc/1196/stat : 1196 (minisat_static) R 1190 1190 556 0 -1 4194304 29806 0 0 0 118145 36 0 0 25 0 1 0 306772901 123514880 29792 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/1196/statm: 30155 29792 77 171 0 29982 0
Current children cumulated CPU time (s) 1181.87
Current children cumulated vsize (KiB) 125976
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.5 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 1202
/proc/meminfo: memFree=1622936/2055920 swapFree=4179368/4192956
[pid=1190] ppid=1188 vsize=5356 CPUtime=0.06
/proc/1190/stat : 1190 (SatELiteGTI) S 1188 1190 556 0 -1 4194304 336 841 0 0 0 0 6 0 16 0 1 0 306772894 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1190/statm: 1339 239 197 169 0 50 0
[pid=1196] ppid=1190 vsize=120620 CPUtime=1200.01
/proc/1196/stat : 1196 (minisat_static) R 1190 1190 556 0 -1 4194304 29806 0 0 0 119965 36 0 0 25 0 1 0 306772901 123514880 29792 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/1196/statm: 30155 29792 77 171 0 29982 0
Current children cumulated CPU time (s) 1200.07
Current children cumulated vsize (KiB) 125976
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: 0.99 0.98 0.99 2/67 1202
/proc/meminfo: memFree=1622936/2055920 swapFree=4179368/4192956
[pid=1190] ppid=1188 vsize=5356 CPUtime=0.06
/proc/1190/stat : 1190 (SatELiteGTI) S 1188 1190 556 0 -1 4194304 336 841 0 0 0 0 6 0 16 0 1 0 306772894 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1190/statm: 1339 239 197 169 0 50 0
[pid=1196] ppid=1190 vsize=120620 CPUtime=1200.01
/proc/1196/stat : 1196 (minisat_static) R 1190 1190 556 0 -1 4194304 29806 0 0 0 119965 36 0 0 25 0 1 0 306772901 123514880 29792 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/1196/statm: 30155 29792 77 171 0 29982 0
Current children cumulated CPU time (s) 1200.07
Current children cumulated vsize (KiB) 125976
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 1190 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=65989
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=4999
# CPU time returned by wait4() is 0.070988
# 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.71
CPU system time (s): 0.36
CPU usage (%): 99.963
Max. virtual memory (cumulated for all children) (KiB): 125976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.065989
system time used= 0.004999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1177
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14
involuntary context switches= 18
runsolver used 1.2778 second user time and 3.19951 second system time
The end
Begin job on node81 at 2009-05-20 04:43:51
IDJOB=1832759
IDBENCH=70343
IDSOLVER=671
FILE ID=node81/1832759-1242787431
PBS_JOBID= 9322343
Free space on /tmp= 126528 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/3SAT/UNKNOWN/4000/unif-k3-r4.2-v4000-c16800-S139794312-098.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832759-1242787431/watcher-1832759-1242787431 -o /tmp/evaluation-result-1832759-1242787431/solver-1832759-1242787431 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832759-1242787431.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 94f2ca8c39053ec6a521a994d8a70291
RANDOM SEED=1786567133
node81.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.234
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.234
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1745480 kB
Buffers: 34804 kB
Cached: 227232 kB
SwapCached: 7176 kB
Active: 101832 kB
Inactive: 168896 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1745480 kB
SwapTotal: 4192956 kB
SwapFree: 4179368 kB
Dirty: 1876 kB
Writeback: 0 kB
Mapped: 13756 kB
Slab: 25440 kB
Committed_AS: 939892 kB
PageTables: 1452 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 126524 MiB
End job on node81 at 2009-05-20 05:03:53