0.00/0.00 c Parsing...
0.09/0.12 c ==============================================================================
0.09/0.12 c | | ORIGINAL | LEARNT | |
0.09/0.12 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.09/0.12 c ==============================================================================
0.09/0.12 c | 0 | 147030 430190 | 44108 0 0 nan | 0.000 % |
0.88/0.98 c | 0 | 64819 218530 | -- 0 -- -- | -- | -76809/-195446
0.88/0.98 c ==============================================================================
0.88/0.98 c Result : #vars: 7453 #clauses: 64819 #literals: 218530
0.88/0.98 c CPU time: 0.939857 s
0.88/0.98 c ==============================================================================
0.99/1.05 c This is MiniSat 2.0 beta
0.99/1.05 c WARNING: for repeatability, setting FPU to use double precision
0.99/1.05 c ============================[ Problem Statistics ]=============================
0.99/1.05 c | |
0.99/1.05 c | Number of variables: 7453 |
0.99/1.05 c | Number of clauses: 64819 |
0.99/1.09 c | Parsing time: 0.03 s |
0.99/1.09 c ============================[ Search Statistics ]==============================
0.99/1.09 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.99/1.09 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.99/1.09 c ===============================================================================
0.99/1.09 c | 0 | 7453 64819 218530 | 21606 0 nan | 0.000 % |
0.99/1.10 c | 101 | 7452 64819 218530 | 21606 100 8 | 0.013 % |
1.04/1.11 c | 203 | 7452 64819 218530 | 21606 202 9 | 0.013 % |
1.04/1.11 c | 304 | 7452 64819 218530 | 21606 303 10 | 0.013 % |
1.04/1.12 c | 415 | 7452 64819 218530 | 21606 414 11 | 0.013 % |
1.04/1.12 c | 515 | 7451 64819 218530 | 21606 513 11 | 0.040 % |
1.04/1.13 c | 626 | 7451 64819 218530 | 21606 624 12 | 0.040 % |
1.04/1.14 c | 747 | 7451 64819 218530 | 21606 745 12 | 0.040 % |
1.04/1.14 c | 847 | 7451 64819 218530 | 21606 845 12 | 0.040 % |
1.04/1.15 c | 960 | 7451 64819 218530 | 21606 958 12 | 0.040 % |
1.04/1.16 c | 1082 | 7451 64819 218530 | 21606 1080 12 | 0.040 % |
1.04/1.17 c | 1217 | 7451 64819 218530 | 21606 1215 12 | 0.040 % |
1.04/1.17 c | 1317 | 7451 64819 218530 | 21606 1315 12 | 0.040 % |
1.04/1.18 c | 1429 | 7451 64819 218530 | 21606 1427 12 | 0.040 % |
1.04/1.19 c | 1551 | 7451 64819 218530 | 21606 1549 12 | 0.040 % |
1.04/1.19 c | 1685 | 7451 64819 218530 | 21606 1683 12 | 0.040 % |
1.04/1.20 c | 1831 | 7451 64819 218530 | 21606 1829 12 | 0.040 % |
1.04/1.21 c | 1932 | 7451 64819 218530 | 21606 1930 12 | 0.040 % |
1.04/1.22 c | 2043 | 7451 64819 218530 | 21606 2041 12 | 0.040 % |
1.04/1.23 c | 2165 | 7450 64414 216553 | 21606 2161 12 | 0.040 % |
1.04/1.23 c | 2298 | 7450 64414 216553 | 21606 2294 12 | 0.040 % |
1.04/1.24 c | 2444 | 7450 64414 216553 | 21606 2440 12 | 0.040 % |
1.04/1.25 c | 2604 | 7450 64414 216553 | 21606 2600 12 | 0.040 % |
1.04/1.26 c | 2708 | 7450 64414 216553 | 21606 2704 12 | 0.040 % |
1.04/1.27 c | 2818 | 7450 64414 216553 | 21606 2814 12 | 0.040 % |
1.04/1.27 c | 2939 | 7450 64414 216553 | 21606 2935 12 | 0.040 % |
1.04/1.28 c | 3072 | 7450 64414 216553 | 21606 3068 12 | 0.040 % |
1.04/1.29 c | 3221 | 7450 64414 216553 | 21606 3217 13 | 0.040 % |
1.04/1.30 c | 3381 | 7450 64414 216553 | 21606 3377 13 | 0.040 % |
1.04/1.31 c | 3558 | 7450 64414 216553 | 21606 3554 13 | 0.040 % |
1.04/1.32 c | 3659 | 7450 64414 216553 | 21606 3655 13 | 0.040 % |
1.04/1.33 c | 3769 | 7450 64414 216553 | 21606 3765 13 | 0.040 % |
1.04/1.34 c | 3890 | 7450 64414 216553 | 21606 3886 13 | 0.040 % |
1.04/1.35 c | 4025 | 7450 64414 216553 | 21606 4021 13 | 0.040 % |
1.04/1.36 c | 4171 | 7450 64414 216553 | 21606 4167 13 | 0.040 % |
1.04/1.37 c | 4332 | 7450 64414 216553 | 21606 4328 13 | 0.040 % |
1.04/1.38 c | 4510 | 7450 64414 216553 | 21606 4506 13 | 0.040 % |
1.04/1.39 c | 4703 | 7450 64414 216553 | 21606 4699 13 | 0.040 % |
1.04/1.40 c | 4804 | 7450 64414 216553 | 21606 4800 13 | 0.040 % |
1.04/1.41 c | 4918 | 7450 64414 216553 | 21606 4914 13 | 0.040 % |
1.04/1.42 c | 5041 | 7450 64414 216553 | 21606 5037 13 | 0.040 % |
1.04/1.43 c | 5175 | 7450 64414 216553 | 21606 5171 13 | 0.040 % |
1.04/1.44 c | 5321 | 7450 64414 216553 | 21606 5317 13 | 0.040 % |
1.04/1.45 c | 5483 | 7450 64414 216553 | 21606 5479 13 | 0.040 % |
1.04/1.46 c | 5659 | 7450 64414 216553 | 21606 5655 13 | 0.040 % |
1.04/1.48 c | 5852 | 7450 64414 216553 | 21606 5848 13 | 0.040 % |
1.04/1.49 c | 6064 | 7450 64414 216553 | 21606 6060 13 | 0.040 % |
1.04/1.50 c | 6165 | 7450 64414 216553 | 21606 6161 13 | 0.040 % |
1.04/1.51 c | 6275 | 7450 64414 216553 | 21606 6271 13 | 0.040 % |
1.04/1.52 c | 6398 | 7450 64414 216553 | 21606 6394 13 | 0.040 % |
1.04/1.53 c | 6532 | 7450 64414 216553 | 21606 6528 13 | 0.040 % |
1.04/1.54 c | 6678 | 7450 64414 216553 | 21606 6674 13 | 0.040 % |
1.04/1.55 c | 6838 | 7450 64414 216553 | 21606 6834 13 | 0.040 % |
1.04/1.56 c | 7014 | 7450 64414 216553 | 21606 7010 13 | 0.040 % |
1.04/1.57 c | 7207 | 7450 64414 216553 | 21606 7203 13 | 0.040 % |
1.04/1.59 c | 7420 | 7450 64414 216553 | 21606 7416 13 | 0.040 % |
1.04/1.61 c | 7653 | 7450 64414 216553 | 21606 7649 13 | 0.040 % |
1.04/1.62 c | 7756 | 7450 64414 216553 | 21606 7752 13 | 0.040 % |
1.04/1.63 c | 7867 | 7450 64414 216553 | 21606 7863 13 | 0.040 % |
1.04/1.64 c | 7988 | 7450 64414 216553 | 21606 7984 13 | 0.040 % |
1.04/1.65 c | 8123 | 7450 64414 216553 | 21606 8119 13 | 0.040 % |
1.04/1.66 c | 8271 | 7450 64414 216553 | 21606 8267 13 | 0.040 % |
1.04/1.67 c | 8433 | 7450 64414 216553 | 21606 8429 13 | 0.040 % |
1.04/1.69 c | 8609 | 7450 64414 216553 | 21606 8605 13 | 0.040 % |
1.04/1.71 c | 8802 | 7450 64414 216553 | 21606 8798 13 | 0.040 % |
1.04/1.72 c | 9015 | 7450 64414 216553 | 21606 9011 13 | 0.040 % |
1.04/1.74 c | 9250 | 7450 64414 216553 | 21606 9246 13 | 0.040 % |
1.04/1.77 c | 9507 | 7450 64414 216553 | 21606 9503 13 | 0.040 % |
1.04/1.78 c | 9608 | 7450 64414 216553 | 21606 9604 13 | 0.040 % |
1.04/1.79 c | 9718 | 7450 64414 216553 | 21606 9714 13 | 0.040 % |
1.04/1.80 c | 9839 | 7450 64414 216553 | 21606 9835 13 | 0.040 % |
1.04/1.81 c | 9972 | 7450 64414 216553 | 21606 9968 13 | 0.040 % |
1.04/1.83 c | 10118 | 7450 64414 216553 | 2147483647 10114 13 | 0.040 % |
1.04/1.84 c | 10278 | 7450 64414 216553 | 2147483647 10274 13 | 0.040 % |
1.04/1.85 c | 10456 | 7450 64414 216553 | 2147483647 10452 14 | 0.040 % |
1.04/1.87 c | 10649 | 7450 64414 216553 | 2147483647 10645 14 | 0.040 % |
1.04/1.89 c | 10863 | 7450 64414 216553 | 2147483647 10859 14 | 0.040 % |
1.04/1.91 c | 11096 | 7450 64414 216553 | 2147483647 11092 14 | 0.040 % |
1.04/1.93 c | 11352 | 7449 64411 216547 | 2147483647 11346 14 | 0.054 % |
1.04/1.95 c | 11633 | 7449 64411 216547 | 2147483647 11627 14 | 0.054 % |
1.04/1.95 c | 11733 | 7449 64411 216547 | 2147483647 11727 14 | 0.054 % |
1.04/1.95 c | 11844 | 7449 64411 216547 | 2147483647 11838 14 | 0.054 % |
1.04/1.96 c | 11965 | 7449 64411 216547 | 2147483647 11959 13 | 0.054 % |
1.04/1.96 c | 12100 | 7449 64411 216547 | 2147483647 12094 13 | 0.054 % |
1.04/1.97 c | 12246 | 7449 64411 216547 | 2147483647 12240 13 | 0.054 % |
1.04/1.98 c | 12406 | 7449 64411 216547 | 2147483647 12400 13 | 0.054 % |
1.04/1.98 c | 12582 | 7449 64411 216547 | 2147483647 12576 13 | 0.054 % |
1.04/2.00 c | 12775 | 7449 64411 216547 | 2147483647 12769 13 | 0.054 % |
1.04/2.02 c | 12988 | 7449 64411 216547 | 2147483647 12982 13 | 0.054 % |
1.04/2.04 c | 13221 | 7449 64411 216547 | 2147483647 13215 13 | 0.054 % |
1.04/2.07 c | 13477 | 7449 64411 216547 | 2147483647 13471 13 | 0.054 % |
2.08/2.11 c | 13759 | 7449 64411 216547 | 2147483647 13753 14 | 0.054 % |
2.08/2.14 c | 14068 | 7449 64411 216547 | 2147483647 14062 14 | 0.054 % |
2.08/2.15 c | 14168 | 7449 64411 216547 | 2147483647 14162 14 | 0.054 % |
2.08/2.16 c | 14278 | 7449 64411 216547 | 2147483647 14272 14 | 0.054 % |
2.08/2.17 c | 14399 | 7449 64411 216547 | 2147483647 14393 13 | 0.054 % |
2.08/2.19 c | 14534 | 7449 64411 216547 | 2147483647 14528 13 | 0.054 % |
2.18/2.20 c | 14683 | 7449 64411 216547 | 2147483647 14677 13 | 0.054 % |
2.18/2.22 c | 14845 | 7449 64411 216547 | 2147483647 14839 14 | 0.054 % |
2.18/2.23 c | 15021 | 7449 64411 216547 | 2147483647 15015 14 | 0.054 % |
2.18/2.26 c | 15217 | 7449 64411 216547 | 2147483647 15211 14 | 0.054 % |
2.18/2.28 c | 15431 | 7449 64411 216547 | 2147483647 15425 14 | 0.054 % |
2.27/2.30 c | 15664 | 7449 64411 216547 | 2147483647 15658 14 | 0.054 % |
2.27/2.33 c | 15921 | 7449 64411 216547 | 2147483647 15915 14 | 0.054 % |
2.27/2.35 c | 16205 | 7449 64411 216547 | 2147483647 16199 14 | 0.054 % |
2.27/2.39 c | 16515 | 7449 64411 216547 | 2147483647 16509 14 | 0.054 % |
2.37/2.43 c | 16855 | 7449 64411 216547 | 2147483647 16849 14 | 0.054 % |
2.37/2.44 c | 16955 | 7449 64411 216547 | 2147483647 16949 14 | 0.054 % |
2.37/2.46 c | 17066 | 7449 64411 216547 | 2147483647 17060 14 | 0.054 % |
2.37/2.47 c | 17187 | 7449 64411 216547 | 2147483647 17181 14 | 0.054 % |
2.37/2.49 c | 17320 | 7449 64411 216547 | 2147483647 17314 14 | 0.054 % |
2.47/2.51 c | 17466 | 7449 64411 216547 | 2147483647 17460 14 | 0.054 % |
2.47/2.53 c | 17627 | 7449 64411 216547 | 2147483647 17621 14 | 0.054 % |
2.47/2.55 c | 17803 | 7449 64411 216547 | 2147483647 17797 14 | 0.054 % |
2.47/2.56 c | 17997 | 7449 64411 216547 | 2147483647 17991 14 | 0.054 % |
2.47/2.59 c | 18210 | 7449 64411 216547 | 2147483647 18204 14 | 0.054 % |
2.57/2.62 c | 18444 | 7449 64411 216547 | 2147483647 18438 14 | 0.054 % |
2.57/2.66 c | 18700 | 7449 64411 216547 | 2147483647 18694 14 | 0.054 % |
2.57/2.69 c | 18983 | 7449 64411 216547 | 2147483647 18977 14 | 0.054 % |
2.67/2.73 c | 19293 | 7449 64411 216547 | 2147483647 19287 14 | 0.054 % |
2.67/2.77 c | 19632 | 7449 64411 216547 | 2147483647 19626 14 | 0.054 % |
2.77/2.81 c | 20004 | 7449 64411 216547 | 2147483647 19998 14 | 0.054 % |
2.77/2.83 c | 20105 | 7449 64411 216547 | 2147483647 20099 14 | 0.054 % |
2.77/2.84 c | 20215 | 7449 64411 216547 | 2147483647 20209 14 | 0.054 % |
2.77/2.86 c | 20336 | 7449 64411 216547 | 2147483647 20330 14 | 0.054 % |
2.77/2.87 c | 20469 | 7449 64411 216547 | 2147483647 20463 14 | 0.054 % |
2.87/2.90 c | 20615 | 7449 64411 216547 | 2147483647 20609 14 | 0.054 % |
2.87/2.92 c | 20778 | 7449 64411 216547 | 2147483647 20772 14 | 0.054 % |
2.87/2.94 c | 20954 | 7449 64411 216547 | 2147483647 20948 14 | 0.054 % |
2.87/2.97 c | 21148 | 7449 64411 216547 | 2147483647 21142 14 | 0.054 % |
2.87/2.99 c | 21360 | 7449 64411 216547 | 2147483647 21354 14 | 0.054 % |
2.97/3.02 c | 21593 | 7449 64411 216547 | 2147483647 21587 14 | 0.054 % |
2.97/3.06 c | 21852 | 7449 64411 216547 | 2147483647 21846 14 | 0.054 % |
3.07/3.10 c | 22134 | 7449 64411 216547 | 2147483647 22128 14 | 0.054 % |
3.07/3.14 c | 22444 | 7449 64411 216547 | 2147483647 22438 14 | 0.054 % |
3.07/3.19 c | 22783 | 7449 64411 216547 | 2147483647 22777 14 | 0.054 % |
3.17/3.23 c | 23155 | 7449 64411 216547 | 2147483647 23149 14 | 0.054 % |
3.17/3.30 c | 23564 | 7449 64411 216547 | 2147483647 23558 15 | 0.054 % |
3.27/3.32 c | 23664 | 7449 64411 216547 | 2147483647 23658 15 | 0.054 % |
3.27/3.34 c | 23775 | 7449 64411 216547 | 2147483647 23769 15 | 0.054 % |
3.27/3.36 c | 23897 | 7449 64411 216547 | 2147483647 23891 15 | 0.054 % |
3.27/3.37 c | 24031 | 7449 64411 216547 | 2147483647 24025 15 | 0.054 % |
3.27/3.39 c | 24178 | 7449 64411 216547 | 2147483647 24172 15 | 0.054 % |
3.37/3.41 c | 24340 | 7449 64411 216547 | 2147483647 24334 15 | 0.054 % |
3.37/3.45 c | 24516 | 7449 64411 216547 | 2147483647 24510 15 | 0.054 % |
3.37/3.48 c | 24709 | 7449 64411 216547 | 2147483647 24703 15 | 0.054 % |
3.47/3.51 c | 24921 | 7449 64411 216547 | 2147483647 24915 15 | 0.054 % |
3.47/3.54 c | 25156 | 7449 64411 216547 | 2147483647 25150 15 | 0.054 % |
3.47/3.57 c | 25413 | 7449 64411 216547 | 2147483647 25407 15 | 0.054 % |
3.57/3.62 c | 25695 | 7449 64411 216547 | 2147483647 25689 15 | 0.054 % |
3.57/3.67 c | 26004 | 7449 64411 216547 | 2147483647 25998 15 | 0.054 % |
3.67/3.72 c | 26344 | 7449 64411 216547 | 2147483647 26338 15 | 0.054 % |
3.67/3.77 c | 26716 | 7449 64411 216547 | 2147483647 26710 15 | 0.054 % |
3.77/3.83 c | 27127 | 7449 64411 216547 | 2147483647 27121 15 | 0.054 % |
3.77/3.89 c | 27576 | 7449 64411 216547 | 2147483647 27570 15 | 0.054 % |
3.87/3.91 c | 27677 | 7449 64411 216547 | 2147483647 27671 15 | 0.054 % |
3.87/3.93 c | 27788 | 7449 64411 216547 | 2147483647 27782 15 | 0.054 % |
3.87/3.95 c | 27910 | 7449 64411 216547 | 2147483647 27904 15 | 0.054 % |
3.87/3.97 c | 28043 | 7449 64411 216547 | 2147483647 28037 15 | 0.054 % |
3.96/4.00 c | 28189 | 7449 64411 216547 | 2147483647 28183 15 | 0.054 % |
3.96/4.02 c | 28349 | 7449 64411 216547 | 2147483647 28343 15 | 0.054 % |
3.96/4.05 c | 28525 | 7449 64411 216547 | 2147483647 28519 15 | 0.054 % |
3.96/4.09 c | 28719 | 7449 64411 216547 | 2147483647 28713 15 | 0.054 % |
4.06/4.13 c | 28933 | 7449 64411 216547 | 2147483647 28927 15 | 0.054 % |
4.06/4.17 c | 29167 | 7449 64411 216547 | 2147483647 29161 15 | 0.054 % |
4.16/4.20 c | 29423 | 7449 64411 216547 | 2147483647 29417 15 | 0.054 % |
4.16/4.26 c | 29704 | 7449 64411 216547 | 2147483647 29698 15 | 0.054 % |
4.16/4.30 c | 30017 | 7449 64411 216547 | 2147483647 30011 15 | 0.054 % |
4.27/4.36 c | 30356 | 7449 64411 216547 | 2147483647 30350 15 | 0.054 % |
4.37/4.42 c | 30728 | 7449 64411 216547 | 2147483647 30722 15 | 0.054 % |
4.37/4.49 c | 31137 | 7449 64411 216547 | 2147483647 31131 15 | 0.054 % |
4.47/4.58 c | 31587 | 7449 64411 216547 | 2147483647 31581 15 | 0.054 % |
4.57/4.68 c | 32080 | 7449 64411 216547 | 2147483647 32074 15 | 0.054 % |
4.67/4.70 c | 32180 | 7449 64411 216547 | 2147483647 32174 15 | 0.054 % |
4.67/4.73 c | 32292 | 7449 64411 216547 | 2147483647 32286 15 | 0.054 % |
4.67/4.75 c | 32414 | 7449 64411 216547 | 2147483647 32408 15 | 0.054 % |
4.67/4.78 c | 32547 | 7449 64411 216547 | 2147483647 32541 15 | 0.054 % |
4.77/4.80 c | 32694 | 7449 64411 216547 | 2147483647 32688 15 | 0.054 % |
4.77/4.82 c | 32854 | 7449 64411 216547 | 2147483647 32848 15 | 0.054 % |
4.77/4.85 c | 33032 | 7449 64411 216547 | 2147483647 33026 15 | 0.054 % |
4.77/4.88 c | 33225 | 7449 64411 216547 | 2147483647 33219 15 | 0.054 % |
4.87/4.92 c | 33437 | 7449 64411 216547 | 2147483647 33431 15 | 0.054 % |
4.87/4.95 c | 33670 | 7449 64411 216547 | 2147483647 33664 15 | 0.054 % |
4.87/4.99 c | 33926 | 7449 64411 216547 | 2147483647 33920 15 | 0.054 % |
4.96/5.05 c | 34210 | 7449 64411 216547 | 2147483647 34204 15 | 0.054 % |
5.06/5.10 c | 34519 | 7449 64411 216547 | 2147483647 34513 15 | 0.054 % |
5.06/5.18 c | 34858 | 7449 64411 216547 | 2147483647 34852 15 | 0.054 % |
5.16/5.25 c | 35231 | 7449 64411 216547 | 2147483647 35225 15 | 0.054 % |
5.26/5.32 c | 35642 | 7449 64411 216547 | 2147483647 35636 15 | 0.054 % |
5.37/5.41 c | 36091 | 7449 64411 216547 | 2147483647 36085 15 | 0.054 % |
5.47/5.51 c | 36584 | 7449 64411 216547 | 2147483647 36578 15 | 0.054 % |
5.56/5.64 c | 37126 | 7449 64411 216547 | 2147483647 37120 15 | 0.054 % |
5.56/5.65 c | 37226 | 7449 64411 216547 | 2147483647 37220 15 | 0.054 % |
5.56/5.68 c | 37338 | 7449 64411 216547 | 2147483647 37332 16 | 0.054 % |
5.66/5.71 c | 37460 | 7449 64411 216547 | 2147483647 37454 16 | 0.054 % |
5.66/5.74 c | 37593 | 7449 64411 216547 | 2147483647 37587 16 | 0.054 % |
5.66/5.76 c | 37740 | 7449 64411 216547 | 2147483647 37734 16 | 0.054 % |
5.66/5.80 c | 37900 | 7449 64411 216547 | 2147483647 37894 16 | 0.054 % |
5.76/5.83 c | 38078 | 7449 64411 216547 | 2147483647 38072 16 | 0.054 % |
5.76/5.88 c | 38273 | 7449 64411 216547 | 2147483647 38267 16 | 0.054 % |
5.86/5.93 c | 38485 | 7449 64411 216547 | 2147483647 38479 16 | 0.054 % |
5.86/5.97 c | 38719 | 7449 64411 216547 | 2147483647 38713 16 | 0.054 % |
5.96/6.01 c | 38977 | 7449 64411 216547 | 2147483647 38971 16 | 0.054 % |
5.96/6.08 c | 39258 | 7449 64411 216547 | 2147483647 39252 16 | 0.054 % |
6.06/6.15 c | 39569 | 7449 64411 216547 | 2147483647 39563 16 | 0.054 % |
6.16/6.23 c | 39908 | 7449 64411 216547 | 2147483647 39902 16 | 0.054 % |
6.26/6.32 c | 40281 | 7449 64411 216547 | 2147483647 40275 16 | 0.054 % |
6.36/6.41 c | 40690 | 7449 64411 216547 | 2147483647 40684 16 | 0.054 % |
6.47/6.54 c | 41143 | 7449 64411 216547 | 2147483647 41137 16 | 0.054 % |
6.57/6.66 c | 41636 | 7449 64411 216547 | 2147483647 41630 16 | 0.054 % |
6.66/6.76 c | 42181 | 7449 64411 216547 | 2147483647 42175 16 | 0.054 % |
6.86/6.91 c | 42779 | 7449 64411 216547 | 2147483647 42773 16 | 0.054 % |
6.86/6.94 c | 42882 | 7449 64411 216547 | 2147483647 42876 16 | 0.054 % |
6.86/6.96 c | 42994 | 7449 64411 216547 | 2147483647 42988 16 | 0.054 % |
6.96/7.00 c | 43115 | 7449 64411 216547 | 2147483647 43109 16 | 0.054 % |
6.96/7.03 c | 43249 | 7449 64411 216547 | 2147483647 43243 16 | 0.054 % |
6.96/7.05 c | 43395 | 7449 64411 216547 | 2147483647 43389 16 | 0.054 % |
6.96/7.09 c | 43557 | 7449 64411 216547 | 2147483647 43551 16 | 0.054 % |
7.06/7.13 c | 43735 | 7449 64411 216547 | 2147483647 43729 16 | 0.054 % |
7.06/7.18 c | 43928 | 7449 64411 216547 | 2147483647 43922 16 | 0.054 % |
7.16/7.24 c | 44141 | 7449 64411 216547 | 2147483647 44135 16 | 0.054 % |
7.16/7.29 c | 44374 | 7449 64411 216547 | 2147483647 44368 16 | 0.054 % |
7.26/7.36 c | 44633 | 7449 64411 216547 | 2147483647 44627 16 | 0.054 % |
7.36/7.44 c | 44914 | 7449 64411 216547 | 2147483647 44908 16 | 0.054 % |
7.46/7.51 c | 45223 | 7449 64411 216547 | 2147483647 45217 16 | 0.054 % |
7.57/7.61 c | 45562 | 7449 64411 216547 | 2147483647 45556 16 | 0.054 % |
7.66/7.72 c | 45934 | 7449 64411 216547 | 2147483647 45928 16 | 0.054 % |
7.76/7.83 c | 46343 | 7449 64411 216547 | 2147483647 46337 16 | 0.054 % |
7.86/7.95 c | 46792 | 7449 64411 216547 | 2147483647 46786 16 | 0.054 % |
7.96/8.09 c | 47286 | 7449 64411 216547 | 2147483647 47280 16 | 0.054 % |
8.16/8.25 c | 47828 | 7449 64411 216547 | 2147483647 47822 16 | 0.054 % |
8.36/8.41 c | 48425 | 7449 64411 216547 | 2147483647 48419 16 | 0.054 % |
8.46/8.58 c | 49080 | 7449 64411 216547 | 2147483647 49074 16 | 0.054 % |
8.56/8.61 c | 49183 | 7449 64411 216547 | 2147483647 49177 17 | 0.054 % |
8.56/8.64 c | 49293 | 7449 64411 216547 | 2147483647 49287 17 | 0.054 % |
8.56/8.67 c | 49414 | 7449 64411 216547 | 2147483647 49408 17 | 0.054 % |
8.56/8.70 c | 49548 | 7449 64411 216547 | 2147483647 49542 17 | 0.054 % |
8.66/8.74 c | 49695 | 7449 64411 216547 | 2147483647 49689 17 | 0.054 % |
8.76/8.80 c | 49855 | 7449 64411 216547 | 2147483647 49849 17 | 0.054 % |
8.76/8.87 c | 50031 | 7449 64411 216547 | 2147483647 50025 17 | 0.054 % |
8.86/8.91 c | 50224 | 7449 64411 216547 | 2147483647 50218 17 | 0.054 % |
8.86/8.97 c | 50436 | 7449 64411 216547 | 2147483647 50430 17 | 0.054 % |
8.96/9.04 c | 50669 | 7449 64411 216547 | 2147483647 50663 17 | 0.054 % |
8.96/9.10 c | 50925 | 7449 64411 216547 | 2147483647 50919 17 | 0.054 % |
9.05/9.16 c | 51206 | 7449 64411 216547 | 2147483647 51200 17 | 0.054 % |
9.15/9.24 c | 51516 | 7449 64411 216547 | 2147483647 51510 17 | 0.054 % |
9.25/9.35 c | 51856 | 7449 64411 216547 | 2147483647 51850 17 | 0.054 % |
9.35/9.46 c | 52229 | 7449 64411 216547 | 2147483647 52223 17 | 0.054 % |
9.45/9.57 c | 52638 | 7449 64411 216547 | 2147483647 52632 17 | 0.054 % |
9.55/9.65 c | 53087 | 7449 64411 216547 | 2147483647 53081 17 | 0.054 % |
9.65/9.80 c | 53580 | 7449 64411 216547 | 2147483647 53574 17 | 0.054 % |
9.86/9.98 c | 54123 | 7449 64411 216547 | 2147483647 54117 17 | 0.054 % |
10.05/10.17 c | 54719 | 7449 64411 216547 | 2147483647 54713 17 | 0.054 % |
10.35/10.43 c | 55374 | 7449 64411 216547 | 2147483647 55368 17 | 0.054 % |
10.55/10.69 c | 56094 | 7449 64411 216547 | 2147483647 56088 17 | 0.054 % |
10.65/10.73 c | 56194 | 7449 64411 216547 | 2147483647 56188 17 | 0.054 % |
10.65/10.78 c | 56304 | 7449 64411 216547 | 2147483647 56298 17 | 0.054 % |
10.75/10.81 c | 56425 | 7449 64411 216547 | 2147483647 56419 17 | 0.054 % |
10.75/10.86 c | 56558 | 7449 64411 216547 | 2147483647 56552 17 | 0.054 % |
10.86/10.92 c | 56704 | 7449 64411 216547 | 2147483647 56698 17 | 0.054 % |
10.86/10.99 c | 56865 | 7449 64411 216547 | 2147483647 56859 17 | 0.054 % |
10.96/11.04 c | 57041 | 7449 64411 216547 | 2147483647 57035 17 | 0.054 % |
11.05/11.11 c | 57234 | 7449 64411 216547 | 2147483647 57228 17 | 0.054 % |
11.05/11.19 c | 57448 | 7449 64411 216547 | 2147483647 57442 17 | 0.054 % |
11.15/11.27 c | 57681 | 7449 64411 216547 | 2147483647 57675 17 | 0.054 % |
11.25/11.39 c | 57937 | 7449 64411 216547 | 2147483647 57931 17 | 0.054 % |
11.45/11.51 c | 58218 | 7449 64411 216547 | 2147483647 58212 17 | 0.054 % |
11.55/11.61 c | 58527 | 7449 64411 216547 | 2147483647 58521 17 | 0.054 % |
11.65/11.77 c | 58867 | 7449 64411 216547 | 2147483647 58861 17 | 0.054 % |
11.85/11.94 c | 59239 | 7449 64411 216547 | 2147483647 59233 17 | 0.054 % |
12.05/12.12 c | 59648 | 7449 64411 216547 | 2147483647 59642 17 | 0.054 % |
12.25/12.31 c | 60097 | 7449 64411 216547 | 2147483647 60091 17 | 0.054 % |
12.46/12.51 c | 60592 | 7449 64411 216547 | 2147483647 60586 17 | 0.054 % |
12.66/12.77 c | 61134 | 7449 64411 216547 | 2147483647 61128 17 | 0.054 % |
12.96/13.03 c | 61730 | 7449 64411 216547 | 2147483647 61724 17 | 0.054 % |
13.16/13.22 c | 62385 | 7449 64411 216547 | 2147483647 62379 17 | 0.054 % |
13.46/13.58 c | 63109 | 7449 64411 216547 | 2147483647 63103 17 | 0.054 % |
13.85/13.93 c | 63903 | 7449 64411 216547 | 2147483647 63897 17 | 0.054 % |
13.85/13.96 c | 64003 | 7449 64411 216547 | 2147483647 63997 17 | 0.054 % |
13.95/14.02 c | 64117 | 7449 64411 216547 | 2147483647 64111 17 | 0.054 % |
13.95/14.07 c | 64239 | 7449 64411 216547 | 2147483647 64233 17 | 0.054 % |
14.05/14.12 c | 64373 | 7449 64411 216547 | 2147483647 64367 17 | 0.054 % |
14.05/14.17 c | 64519 | 7449 64411 216547 | 2147483647 64513 17 | 0.054 % |
14.16/14.23 c | 64680 | 7449 64411 216547 | 2147483647 64674 17 | 0.054 % |
14.26/14.34 c | 64856 | 7449 64411 216547 | 2147483647 64850 17 | 0.054 % |
14.35/14.44 c | 65049 | 7449 64411 216547 | 2147483647 65043 17 | 0.054 % |
14.45/14.57 c | 65261 | 7449 64411 216547 | 2147483647 65255 17 | 0.054 % |
14.55/14.66 c | 65496 | 7449 64411 216547 | 2147483647 65490 17 | 0.054 % |
14.65/14.79 c | 65752 | 7449 64411 216547 | 2147483647 65746 17 | 0.054 % |
14.85/14.94 c | 66033 | 7449 64411 216547 | 2147483647 66027 17 | 0.054 % |
14.95/15.07 c | 66344 | 7449 64411 216547 | 2147483647 66338 17 | 0.054 % |
15.15/15.24 c | 66684 | 7449 64411 216547 | 2147483647 66678 18 | 0.054 % |
15.35/15.43 c | 67057 | 7449 64411 216547 | 2147483647 67051 18 | 0.054 % |
15.55/15.61 c | 67468 | 7449 64411 216547 | 2147483647 67462 18 | 0.054 % |
15.65/15.77 c | 67917 | 7449 64411 216547 | 2147483647 67911 18 | 0.054 % |
15.95/16.00 c | 68410 | 7449 64411 216547 | 2147483647 68404 18 | 0.054 % |
16.15/16.25 c | 68953 | 7449 64411 216547 | 2147483647 68947 18 | 0.054 % |
16.55/16.67 c | 69550 | 7449 64411 216547 | 2147483647 69544 18 | 0.054 % |
16.75/16.89 c | 70205 | 7449 64411 216547 | 2147483647 70199 18 | 0.054 % |
17.14/17.29 c | 70925 | 7449 64411 216547 | 2147483647 70919 18 | 0.054 % |
17.45/17.60 c | 71719 | 7449 64411 216547 | 2147483647 71713 18 | 0.054 % |
17.94/18.09 c | 72591 | 7449 64411 216547 | 2147483647 72585 18 | 0.054 % |
18.04/18.14 c | 72691 | 7449 64411 216547 | 2147483647 72685 18 | 0.054 % |
18.14/18.22 c | 72801 | 7449 64411 216547 | 2147483647 72795 18 | 0.054 % |
18.14/18.28 c | 72923 | 7449 64411 216547 | 2147483647 72917 18 | 0.054 % |
18.24/18.36 c | 73056 | 7449 64411 216547 | 2147483647 73050 18 | 0.054 % |
18.34/18.45 c | 73203 | 7449 64411 216547 | 2147483647 73197 18 | 0.054 % |
18.44/18.55 c | 73365 | 7449 64411 216547 | 2147483647 73359 18 | 0.054 % |
18.55/18.68 c | 73541 | 7449 64411 216547 | 2147483647 73535 18 | 0.054 % |
18.74/18.81 c | 73735 | 7449 64411 216547 | 2147483647 73729 18 | 0.054 % |
18.84/18.91 c | 73950 | 7449 64411 216547 | 2147483647 73944 18 | 0.054 % |
18.94/19.03 c | 74185 | 7449 64411 216547 | 2147483647 74179 18 | 0.054 % |
19.04/19.13 c | 74444 | 7449 64411 216547 | 2147483647 74438 18 | 0.054 % |
19.14/19.25 c | 74727 | 7449 64411 216547 | 2147483647 74721 18 | 0.054 % |
19.24/19.37 c | 75039 | 7449 64411 216547 | 2147483647 75033 18 | 0.054 % |
19.44/19.58 c | 75380 | 7449 64411 216547 | 2147483647 75374 18 | 0.054 % |
19.75/19.81 c | 75752 | 7449 64411 216547 | 2147483647 75746 18 | 0.054 % |
19.94/20.03 c | 76161 | 7449 64411 216547 | 2147483647 76155 18 | 0.054 % |
20.24/20.39 c | 76612 | 7449 64411 216547 | 2147483647 76606 18 | 0.054 % |
20.54/20.65 c | 77106 | 7449 64411 216547 | 2147483647 77100 18 | 0.054 % |
20.85/20.96 c | 77648 | 7449 64411 216547 | 2147483647 77642 18 | 0.054 % |
21.24/21.31 c | 78244 | 7449 64411 216547 | 2147483647 78238 18 | 0.054 % |
21.74/21.80 c | 78899 | 7449 64411 216547 | 2147483647 78893 18 | 0.054 % |
22.05/22.19 c | 79621 | 7449 64411 216547 | 2147483647 79615 18 | 0.054 % |
22.65/22.76 c | 80414 | 7449 64411 216547 | 2147483647 80408 18 | 0.054 % |
23.25/23.34 c | 81285 | 7449 64411 216547 | 2147483647 81279 18 | 0.054 % |
23.85/23.90 c | 82243 | 7449 64411 216547 | 2147483647 82237 18 | 0.054 % |
23.85/23.97 c | 82345 | 7449 64411 216547 | 2147483647 82339 18 | 0.054 % |
23.95/24.04 c | 82455 | 7449 64411 216547 | 2147483647 82449 18 | 0.054 % |
24.05/24.11 c | 82576 | 7449 64411 216547 | 2147483647 82570 18 | 0.054 % |
24.15/24.20 c | 82709 | 7449 64411 216547 | 2147483647 82703 18 | 0.054 % |
24.25/24.30 c | 82857 | 7449 64411 216547 | 2147483647 82851 18 | 0.054 % |
24.35/24.41 c | 83017 | 7449 64411 216547 | 2147483647 83011 18 | 0.054 % |
24.45/24.56 c | 83193 | 7449 64411 216547 | 2147483647 83187 18 | 0.054 % |
24.65/24.74 c | 83388 | 7449 64411 216547 | 2147483647 83382 18 | 0.054 % |
24.75/24.85 c | 83600 | 7449 64411 216547 | 2147483647 83594 18 | 0.054 % |
24.95/25.00 c | 83833 | 7449 64411 216547 | 2147483647 83827 18 | 0.054 % |
25.15/25.21 c | 84090 | 7449 64411 216547 | 2147483647 84084 18 | 0.054 % |
25.25/25.35 c | 84371 | 7449 64411 216547 | 2147483647 84365 18 | 0.054 % |
25.45/25.59 c | 84680 | 7449 64411 216547 | 2147483647 84674 18 | 0.054 % |
25.75/25.80 c | 85021 | 7449 64411 216547 | 2147483647 85015 18 | 0.054 % |
25.95/26.10 c | 85393 | 7449 64411 216547 | 2147483647 85387 18 | 0.054 % |
26.25/26.35 c | 85802 | 7449 64411 216547 | 2147483647 85796 18 | 0.054 % |
26.55/26.68 c | 86253 | 7449 64411 216547 | 2147483647 86247 18 | 0.054 % |
26.85/26.97 c | 86749 | 7449 64411 216547 | 2147483647 86743 18 | 0.054 % |
27.15/27.26 c | 87294 | 7449 64411 216547 | 2147483647 87288 18 | 0.054 % |
27.64/27.70 c | 87890 | 7447 64401 216524 | 2147483647 87883 18 | 0.081 % |
28.14/28.21 c | 88545 | 7447 64401 216524 | 2147483647 88538 18 | 0.081 % |
28.64/28.78 c | 89267 | 7447 64401 216524 | 2147483647 89260 19 | 0.081 % |
29.34/29.40 c | 90060 | 7447 64401 216524 | 89993 90053 19 | 0.081 % |
29.94/30.05 c | 90932 | 7447 64401 216524 | 89993 78246 19 | 0.081 % |
30.75/30.89 c | 91891 | 7447 64401 216524 | 89993 79205 19 | 0.081 % |
31.64/31.79 c | 92946 | 7447 64401 216524 | 89993 80260 19 | 0.081 % |
31.75/31.89 c | 93047 | 7447 64401 216524 | 89993 80361 19 | 0.081 % |
31.94/32.01 c | 93159 | 7447 64401 216524 | 89993 80473 19 | 0.081 % |
31.94/32.07 c | 93280 | 7447 64401 216524 | 89993 80594 19 | 0.081 % |
32.04/32.15 c | 93413 | 7447 64401 216524 | 89993 80727 19 | 0.081 % |
32.14/32.23 c | 93561 | 7447 64401 216524 | 89993 80875 19 | 0.081 % |
32.24/32.34 c | 93722 | 7447 64401 216524 | 89993 81036 19 | 0.081 % |
32.44/32.50 c | 93899 | 7447 64401 216524 | 89993 81213 19 | 0.081 % |
32.54/32.65 c | 94094 | 7447 64401 216524 | 89993 81408 19 | 0.081 % |
32.74/32.82 c | 94307 | 7447 64401 216524 | 89993 81621 19 | 0.081 % |
32.85/32.96 c | 94541 | 7447 64401 216524 | 89993 81855 19 | 0.081 % |
33.04/33.16 c | 94798 | 7447 64401 216524 | 89993 82112 19 | 0.081 % |
33.34/33.44 c | 95079 | 7447 64401 216524 | 89993 82393 19 | 0.081 % |
33.64/33.71 c | 95393 | 7447 64401 216524 | 89993 82707 19 | 0.081 % |
33.84/33.93 c | 95734 | 7447 64401 216524 | 89993 83048 19 | 0.081 % |
34.04/34.19 c | 96106 | 7447 64401 216524 | 89993 83420 19 | 0.081 % |
34.44/34.53 c | 96517 | 7447 64401 216524 | 89993 83831 19 | 0.081 % |
34.74/34.90 c | 96967 | 7447 64401 216524 | 89993 84281 19 | 0.081 % |
35.24/35.31 c | 97460 | 7447 64401 216524 | 89993 84774 19 | 0.081 % |
35.74/35.85 c | 98004 | 7447 64401 216524 | 89993 85318 19 | 0.081 % |
35.94/36.04 c | 98604 | 7447 64401 216524 | 89993 85918 19 | 0.081 % |
36.34/36.48 c | 99259 | 7447 64401 216524 | 89993 86573 19 | 0.081 % |
36.54/36.68 c | 99979 | 7447 64401 216524 | 89993 87293 19 | 0.081 % |
37.04/37.12 c | 100772 | 7447 64401 216524 | 87314 88086 19 | 0.081 % |
37.54/37.68 c | 101644 | 7447 64401 216524 | 87314 75560 19 | 0.081 % |
37.94/38.07 c | 102602 | 7447 64401 216524 | 87314 76518 19 | 0.081 % |
38.24/38.37 c | 103657 | 7447 64401 216524 | 87314 77573 19 | 0.081 % |
38.74/38.85 c | 104815 | 7447 64401 216524 | 87314 78731 19 | 0.081 % |
38.74/38.89 c | 104915 | 7447 64401 216524 | 87314 78831 19 | 0.081 % |
38.84/38.95 c | 105026 | 7447 64401 216524 | 87314 78942 19 | 0.081 % |
38.94/39.09 c | 105148 | 7447 64401 216524 | 87314 79064 19 | 0.081 % |
39.14/39.24 c | 105283 | 7447 64401 216524 | 87314 79199 19 | 0.081 % |
39.24/39.37 c | 105429 | 7447 64401 216524 | 87314 79345 19 | 0.081 % |
39.44/39.53 c | 105589 | 7447 64401 216524 | 87314 79505 19 | 0.081 % |
39.54/39.65 c | 105765 | 7447 64401 216524 | 87314 79681 19 | 0.081 % |
39.74/39.84 c | 105958 | 7447 64401 216524 | 87314 79874 19 | 0.081 % |
39.83/39.98 c | 106171 | 7447 64401 216524 | 87314 80087 19 | 0.081 % |
40.03/40.15 c | 106407 | 7447 64401 216524 | 87314 80323 19 | 0.081 % |
40.23/40.38 c | 106663 | 7447 64401 216524 | 87314 80579 19 | 0.081 % |
40.43/40.59 c | 106945 | 7447 64401 216524 | 87314 80861 19 | 0.081 % |
40.73/40.82 c | 107254 | 7447 64401 216524 | 87314 81170 19 | 0.081 % |
41.03/41.11 c | 107593 | 7447 64401 216524 | 87314 81509 19 | 0.081 % |
41.43/41.51 c | 107966 | 7447 64401 216524 | 87314 81882 19 | 0.081 % |
41.74/41.84 c | 108375 | 7447 64401 216524 | 87314 82291 19 | 0.081 % |
42.13/42.28 c | 108824 | 7447 64401 216524 | 87314 82740 19 | 0.081 % |
42.53/42.66 c | 109321 | 7447 64401 216524 | 87314 83237 19 | 0.081 % |
42.93/43.05 c | 109864 | 7447 64401 216524 | 87314 83780 19 | 0.081 % |
43.23/43.31 c | 110462 | 7447 64401 216524 | 83916 84378 20 | 0.081 % |
43.53/43.63 c | 111117 | 7447 64401 216524 | 83916 75288 19 | 0.081 % |
43.73/43.90 c | 111837 | 7447 64401 216524 | 83916 76008 19 | 0.081 % |
44.13/44.20 c | 112629 | 7447 64401 216524 | 83916 76800 19 | 0.081 % |
44.53/44.67 c | 113505 | 7436 63204 209874 | 83916 77621 19 | 0.228 % |
45.13/45.23 c | 114463 | 7436 63204 209874 | 83916 78579 19 | 0.228 % |
45.93/46.03 c | 115516 | 7436 63204 209874 | 83916 79632 19 | 0.228 % |
46.63/46.77 c | 116674 | 7436 63204 209874 | 83916 80790 19 | 0.228 % |
47.63/47.72 c | 117948 | 7436 63204 209874 | 83916 82064 19 | 0.228 % |
47.73/47.82 c | 118048 | 7436 63204 209874 | 83916 82164 19 | 0.228 % |
47.83/47.96 c | 118159 | 7436 63204 209874 | 83916 82275 19 | 0.228 % |
47.93/48.07 c | 118281 | 7436 63204 209874 | 83916 82397 19 | 0.228 % |
48.03/48.18 c | 118415 | 7436 63204 209874 | 83916 82531 19 | 0.228 % |
48.23/48.35 c | 118561 | 7436 63204 209874 | 83916 82677 19 | 0.228 % |
48.43/48.53 c | 118721 | 7436 63204 209874 | 83916 82837 19 | 0.228 % |
48.63/48.70 c | 118897 | 7436 63204 209874 | 83916 83013 19 | 0.228 % |
48.73/48.85 c | 119092 | 7436 63204 209874 | 83916 83208 19 | 0.228 % |
48.83/48.95 c | 119304 | 7436 63204 209874 | 83916 83420 19 | 0.228 % |
49.03/49.14 c | 119538 | 7436 63204 209874 | 83916 83654 19 | 0.228 % |
49.23/49.33 c | 119794 | 7436 63204 209874 | 83916 83910 19 | 0.228 % |
49.53/49.63 c | 120077 | 7436 63204 209874 | 84116 84193 19 | 0.228 % |
49.83/49.93 c | 120387 | 7436 63204 209874 | 84116 74122 19 | 0.228 % |
50.03/50.16 c | 120726 | 7436 63204 209874 | 84116 74461 19 | 0.228 % |
50.33/50.47 c | 121100 | 7436 63204 209874 | 84116 74835 19 | 0.228 % |
50.63/50.76 c | 121510 | 7436 63204 209874 | 84116 75245 19 | 0.228 % |
51.13/51.24 c | 121959 | 7436 63204 209874 | 84116 75694 19 | 0.228 % |
51.53/51.61 c | 122453 | 7436 63204 209874 | 84116 76188 19 | 0.228 % |
51.93/52.08 c | 122995 | 7436 63204 209874 | 84116 76730 19 | 0.228 % |
52.33/52.47 c | 123591 | 7436 63204 209874 | 84116 77326 19 | 0.228 % |
52.73/52.83 c | 124247 | 7436 63204 209874 | 84116 77982 19 | 0.228 % |
53.33/53.41 c | 124967 | 7436 63204 209874 | 84116 78702 19 | 0.228 % |
53.92/54.06 c | 125760 | 7436 63204 209874 | 84116 79495 19 | 0.228 % |
54.52/54.69 c | 126631 | 7436 63204 209874 | 84116 80366 19 | 0.228 % |
55.22/55.30 c | 127590 | 7436 63204 209874 | 84116 81325 19 | 0.228 % |
55.62/55.75 c | 128644 | 7436 63204 209874 | 84116 82379 19 | 0.228 % |
57.13/57.23 c | 129802 | 7434 62940 208829 | 84116 30816 15 | 0.255 % |
57.42/57.54 c | 131075 | 7434 62940 208829 | 31014 28921 16 | 0.255 % |
57.72/57.85 c | 132475 | 7434 62940 208829 | 31014 30321 16 | 0.255 % |
57.72/57.87 c | 132577 | 7434 62940 208829 | 31014 30423 16 | 0.255 % |
57.82/57.90 c | 132688 | 7434 62940 208829 | 31014 30534 16 | 0.255 % |
57.82/57.93 c | 132810 | 7434 62940 208829 | 31014 30656 16 | 0.255 % |
57.82/57.96 c | 132943 | 7434 62940 208829 | 31014 30789 16 | 0.255 % |
57.92/58.01 c | 133089 | 7434 62940 208829 | 31014 30935 16 | 0.255 % |
57.92/58.06 c | 133250 | 7434 62940 208829 | 31014 31096 16 | 0.255 % |
58.02/58.13 c | 133426 | 7434 62940 208829 | 31014 28163 16 | 0.255 % |
58.02/58.19 c | 133620 | 7434 62940 208829 | 31014 28357 16 | 0.255 % |
58.13/58.24 c | 133832 | 7434 62940 208829 | 31014 28569 16 | 0.255 % |
58.13/58.29 c | 134069 | 7434 62940 208829 | 31014 28806 16 | 0.255 % |
58.23/58.34 c | 134325 | 7434 62940 208829 | 31014 29062 16 | 0.255 % |
58.23/58.39 c | 134606 | 7434 62940 208829 | 31014 29343 16 | 0.255 % |
58.32/58.46 c | 134915 | 7434 62940 208829 | 31014 29652 16 | 0.255 % |
58.42/58.52 c | 135255 | 7434 62940 208829 | 31014 29992 16 | 0.255 % |
58.52/58.61 c | 135627 | 7434 62940 208829 | 31014 30364 16 | 0.255 % |
58.62/58.70 c | 136036 | 7434 62940 208829 | 31014 30773 16 | 0.255 % |
58.62/58.79 c | 136486 | 7434 62940 208829 | 31014 31223 16 | 0.255 % |
58.82/58.91 c | 136981 | 7434 62940 208829 | 31014 28596 16 | 0.255 % |
58.92/59.00 c | 137523 | 7434 62940 208829 | 31014 29138 16 | 0.255 % |
59.02/59.14 c | 138120 | 7434 62940 208829 | 31014 29735 16 | 0.255 % |
59.22/59.30 c | 138775 | 7434 62940 208829 | 31014 30390 16 | 0.255 % |
59.32/59.44 c | 139495 | 7434 62940 208829 | 31014 31110 16 | 0.255 % |
59.52/59.62 c | 140287 | 7434 62940 208829 | 2147483647 28791 16 | 0.255 % |
59.62/59.76 c | 141159 | 7434 62940 208829 | 2147483647 29663 16 | 0.255 % |
59.92/60.01 c | 142119 | 7434 62940 208829 | 2147483647 30623 16 | 0.255 % |
60.12/60.25 c | 143172 | 7434 62940 208829 | 2147483647 31676 16 | 0.255 % |
60.42/60.57 c | 144330 | 7434 62940 208829 | 2147483647 32834 17 | 0.255 % |
60.82/60.94 c | 145605 | 7434 62940 208829 | 2147483647 34109 17 | 0.255 % |
61.12/61.29 c | 147005 | 7434 62940 208829 | 2147483647 35509 17 | 0.255 % |
61.52/61.68 c | 148545 | 7434 62940 208829 | 2147483647 37049 17 | 0.255 % |
61.62/61.72 c | 148646 | 7434 62940 208829 | 2147483647 37150 17 | 0.255 % |
61.62/61.75 c | 148757 | 7434 62940 208829 | 2147483647 37261 17 | 0.255 % |
61.62/61.79 c | 148879 | 7434 62940 208829 | 2147483647 37383 17 | 0.255 % |
61.72/61.83 c | 149012 | 7434 62940 208829 | 2147483647 37516 17 | 0.255 % |
61.72/61.89 c | 149160 | 7434 62940 208829 | 2147483647 37664 17 | 0.255 % |
61.82/61.94 c | 149320 | 7434 62940 208829 | 2147483647 37824 17 | 0.255 % |
61.82/61.99 c | 149497 | 7434 62940 208829 | 2147483647 38001 17 | 0.255 % |
61.91/62.05 c | 149691 | 7434 62940 208829 | 2147483647 38195 17 | 0.255 % |
62.01/62.10 c | 149905 | 7434 62940 208829 | 2147483647 38409 17 | 0.255 % |
62.01/62.17 c | 150139 | 7434 62940 208829 | 2147483647 38643 17 | 0.255 % |
62.11/62.24 c | 150395 | 7434 62940 208829 | 2147483647 38899 17 | 0.255 % |
62.21/62.33 c | 150678 | 7434 62940 208829 | 2147483647 39182 17 | 0.255 % |
62.31/62.41 c | 150987 | 7434 62940 208829 | 2147483647 39491 17 | 0.255 % |
62.41/62.50 c | 151329 | 7434 62940 208829 | 2147483647 39833 17 | 0.255 % |
62.41/62.60 c | 151701 | 7434 62940 208829 | 2147483647 40205 17 | 0.255 % |
62.62/62.72 c | 152110 | 7434 62940 208829 | 2147483647 40614 17 | 0.255 % |
62.71/62.83 c | 152562 | 7434 62940 208829 | 2147483647 41066 17 | 0.255 % |
62.81/62.97 c | 153055 | 7434 62940 208829 | 2147483647 41559 17 | 0.255 % |
63.01/63.13 c | 153597 | 7434 62940 208829 | 2147483647 42101 18 | 0.255 % |
63.21/63.34 c | 154194 | 7434 62940 208829 | 2147483647 42698 18 | 0.255 % |
63.41/63.51 c | 154849 | 7434 62940 208829 | 2147483647 43353 18 | 0.255 % |
63.62/63.75 c | 155569 | 7434 62940 208829 | 2147483647 44073 18 | 0.255 % |
63.91/64.06 c | 156361 | 7434 62940 208829 | 2147483647 44865 18 | 0.255 % |
64.21/64.36 c | 157235 | 7434 62940 208829 | 2147483647 45739 18 | 0.255 % |
64.51/64.65 c | 158194 | 7434 62940 208829 | 2147483647 46698 18 | 0.255 % |
64.91/65.00 c | 159249 | 7434 62940 208829 | 2147483647 47753 18 | 0.255 % |
65.31/65.44 c | 160407 | 7434 62940 208829 | 2147483647 48911 18 | 0.255 % |
65.71/65.81 c | 161683 | 7434 62940 208829 | 2147483647 50187 18 | 0.255 % |
66.21/66.37 c | 163084 | 7434 62940 208829 | 2147483647 51588 18 | 0.255 % |
66.71/66.84 c | 164624 | 7434 62940 208829 | 2147483647 53128 19 | 0.255 % |
67.41/67.53 c | 166318 | 7434 62940 208829 | 2147483647 54822 19 | 0.255 % |
67.41/67.58 c | 166419 | 7434 62940 208829 | 2147483647 54923 19 | 0.255 % |
67.51/67.63 c | 166529 | 7434 62940 208829 | 2147483647 55033 19 | 0.255 % |
67.51/67.69 c | 166651 | 7434 62940 208829 | 2147483647 55155 19 | 0.255 % |
67.61/67.74 c | 166787 | 7434 62940 208829 | 2147483647 55291 19 | 0.255 % |
67.61/67.80 c | 166934 | 7434 62940 208829 | 2147483647 55438 19 | 0.255 % |
67.71/67.85 c | 167094 | 7434 62940 208829 | 2147483647 55598 19 | 0.255 % |
67.81/67.93 c | 167270 | 7434 62940 208829 | 2147483647 55774 19 | 0.255 % |
67.91/68.02 c | 167465 | 7434 62940 208829 | 2147483647 55969 19 | 0.255 % |
68.01/68.13 c | 167679 | 7434 62940 208829 | 2147483647 56183 19 | 0.255 % |
68.11/68.23 c | 167916 | 7434 62940 208829 | 2147483647 56420 19 | 0.255 % |
68.21/68.33 c | 168172 | 7434 62940 208829 | 2147483647 56676 19 | 0.255 % |
68.31/68.45 c | 168453 | 7434 62940 208829 | 2147483647 56957 19 | 0.255 % |
68.51/68.63 c | 168762 | 7434 62940 208829 | 2147483647 57266 19 | 0.255 % |
68.61/68.76 c | 169101 | 7434 62940 208829 | 2147483647 57605 19 | 0.255 % |
68.81/68.92 c | 169473 | 7434 62940 208829 | 2147483647 57977 19 | 0.255 % |
68.91/69.09 c | 169883 | 7434 62940 208829 | 2147483647 58387 19 | 0.255 % |
69.11/69.28 c | 170332 | 7434 62940 208829 | 2147483647 58836 19 | 0.255 % |
69.31/69.43 c | 170826 | 7434 62940 208829 | 2147483647 59330 19 | 0.255 % |
69.51/69.66 c | 171369 | 7434 62940 208829 | 2147483647 59873 19 | 0.255 % |
69.70/69.88 c | 171965 | 7434 62940 208829 | 2147483647 60469 19 | 0.255 % |
70.00/70.17 c | 172621 | 7434 62940 208829 | 2147483647 61125 19 | 0.255 % |
70.31/70.43 c | 173341 | 7434 62940 208829 | 2147483647 61845 19 | 0.255 % |
70.70/70.85 c | 174133 | 7434 62940 208829 | 2147483647 62637 19 | 0.255 % |
71.10/71.24 c | 175004 | 7434 62940 208829 | 2147483647 63508 19 | 0.255 % |
71.50/71.65 c | 175962 | 7434 62940 208829 | 2147483647 64466 19 | 0.255 % |
71.90/72.01 c | 177018 | 7434 62940 208829 | 2147483647 65522 19 | 0.255 % |
72.41/72.57 c | 178177 | 7434 62940 208829 | 2147483647 66681 19 | 0.255 % |
73.00/73.18 c | 179450 | 7434 62940 208829 | 2147483647 67954 19 | 0.255 % |
73.61/73.74 c | 180850 | 7434 62940 208829 | 2147483647 69354 20 | 0.255 % |
74.40/74.56 c | 182390 | 7434 62940 208829 | 2147483647 70894 20 | 0.255 % |
75.10/75.23 c | 184085 | 7434 62940 208829 | 2147483647 72589 20 | 0.255 % |
76.00/76.20 c | 185949 | 7434 62940 208829 | 2147483647 74453 20 | 0.255 % |
76.10/76.26 c | 186050 | 7434 62940 208829 | 2147483647 74554 20 | 0.255 % |
76.20/76.33 c | 186162 | 7434 62940 208829 | 2147483647 74666 20 | 0.255 % |
76.30/76.40 c | 186284 | 7434 62940 208829 | 2147483647 74788 20 | 0.255 % |
76.30/76.49 c | 186418 | 7434 62940 208829 | 2147483647 74922 20 | 0.255 % |
76.40/76.58 c | 186566 | 7434 62940 208829 | 2147483647 75070 20 | 0.255 % |
76.50/76.69 c | 186726 | 7434 62940 208829 | 2147483647 75230 20 | 0.255 % |
76.70/76.81 c | 186904 | 7434 62940 208829 | 2147483647 75408 20 | 0.255 % |
76.80/76.94 c | 187097 | 7434 62940 208829 | 2147483647 75601 20 | 0.255 % |
76.90/77.06 c | 187309 | 7434 62940 208829 | 2147483647 75813 20 | 0.255 % |
77.00/77.18 c | 187543 | 7434 62940 208829 | 2147483647 76047 20 | 0.255 % |
77.10/77.28 c | 187799 | 7434 62940 208829 | 2147483647 76303 20 | 0.255 % |
77.30/77.48 c | 188080 | 7434 62940 208829 | 2147483647 76584 20 | 0.255 % |
77.50/77.60 c | 188390 | 7434 62940 208829 | 2147483647 76894 20 | 0.255 % |
77.60/77.75 c | 188729 | 7434 62940 208829 | 2147483647 77233 20 | 0.255 % |
77.80/77.96 c | 189106 | 7434 62940 208829 | 2147483647 77610 20 | 0.255 % |
78.10/78.22 c | 189519 | 7434 62940 208829 | 2147483647 78023 20 | 0.255 % |
78.30/78.47 c | 189968 | 7434 62940 208829 | 2147483647 78472 20 | 0.255 % |
78.70/78.85 c | 190463 | 7434 62940 208829 | 2147483647 78967 20 | 0.255 % |
79.00/79.12 c | 191007 | 7434 62940 208829 | 2147483647 79511 20 | 0.255 % |
79.20/79.39 c | 191603 | 7434 62940 208829 | 2147483647 80107 20 | 0.255 % |
79.60/79.72 c | 192258 | 7434 62940 208829 | 2147483647 80762 20 | 0.255 % |
80.00/80.17 c | 192979 | 7434 62940 208829 | 2147483647 81483 20 | 0.255 % |
80.50/80.61 c | 193771 | 7434 62940 208829 | 2147483647 82275 20 | 0.255 % |
80.99/81.18 c | 194642 | 7434 62940 208829 | 2147483647 83146 20 | 0.255 % |
81.59/81.78 c | 195600 | 7434 62940 208829 | 2147483647 84104 20 | 0.255 % |
82.30/82.43 c | 196653 | 7434 62940 208829 | 2147483647 85157 20 | 0.255 % |
82.99/83.19 c | 197814 | 7434 62940 208829 | 2147483647 86318 20 | 0.255 % |
83.79/83.93 c | 199087 | 7434 62940 208829 | 2147483647 87591 20 | 0.255 % |
84.60/84.79 c | 200488 | 7434 62940 208829 | 2147483647 88992 20 | 0.255 % |
85.60/85.74 c | 202029 | 7434 62940 208829 | 2147483647 90533 20 | 0.255 % |
86.70/86.85 c | 203724 | 7434 62940 208829 | 2147483647 92228 20 | 0.255 % |
88.00/88.13 c | 205587 | 7434 62940 208829 | 2147483647 94091 21 | 0.255 % |
89.50/89.65 c | 207637 | 7434 62940 208829 | 2147483647 96141 21 | 0.255 % |
89.60/89.74 c | 207737 | 7434 62940 208829 | 2147483647 96241 21 | 0.255 % |
89.70/89.84 c | 207847 | 7434 62940 208829 | 2147483647 96351 21 | 0.255 % |
89.80/89.92 c | 207968 | 7434 62940 208829 | 2147483647 96472 21 | 0.255 % |
89.90/90.01 c | 208103 | 7434 62940 208829 | 2147483647 96607 21 | 0.255 % |
89.90/90.07 c | 208252 | 7434 62940 208829 | 2147483647 96756 21 | 0.255 % |
90.00/90.19 c | 208412 | 7434 62940 208829 | 2147483647 96916 21 | 0.255 % |
90.20/90.34 c | 208588 | 7434 62940 208829 | 2147483647 97092 21 | 0.255 % |
90.39/90.50 c | 208781 | 7434 62940 208829 | 2147483647 97285 21 | 0.255 % |
90.49/90.66 c | 208995 | 7434 62940 208829 | 2147483647 97499 21 | 0.255 % |
90.59/90.78 c | 209228 | 7434 62940 208829 | 2147483647 97732 21 | 0.255 % |
90.89/91.03 c | 209484 | 7434 62940 208829 | 2147483647 97988 21 | 0.255 % |
90.99/91.18 c | 209765 | 7434 62940 208829 | 2147483647 98269 21 | 0.255 % |
91.29/91.42 c | 210075 | 7434 62940 208829 | 2147483647 98579 21 | 0.255 % |
91.49/91.67 c | 210415 | 7434 62940 208829 | 2147483647 98919 21 | 0.255 % |
91.79/91.93 c | 210789 | 7434 62940 208829 | 2147483647 99293 21 | 0.255 % |
92.20/92.36 c | 211199 | 7434 62940 208829 | 2147483647 99703 21 | 0.255 % |
92.49/92.65 c | 211648 | 7434 62940 208829 | 2147483647 100152 21 | 0.255 % |
92.69/92.89 c | 212142 | 7434 62940 208829 | 2147483647 100646 21 | 0.255 % |
93.19/93.30 c | 212685 | 7434 62940 208829 | 2147483647 101189 21 | 0.255 % |
93.69/93.86 c | 213282 | 7434 62940 208829 | 2147483647 101786 21 | 0.255 % |
94.19/94.30 c | 213938 | 7434 62940 208829 | 2147483647 102442 21 | 0.255 % |
94.79/94.94 c | 214659 | 7434 62940 208829 | 2147483647 103163 21 | 0.255 % |
95.49/95.65 c | 215452 | 7434 62940 208829 | 2147483647 103956 21 | 0.255 % |
95.99/96.18 c | 216323 | 7434 62940 208829 | 2147483647 104827 21 | 0.255 % |
96.69/96.87 c | 217283 | 7434 62940 208829 | 2147483647 105787 21 | 0.255 % |
97.79/97.93 c | 218337 | 7434 62940 208829 | 2147483647 106841 21 | 0.255 % |
98.79/98.91 c | 219495 | 7434 62940 208829 | 2147483647 107999 21 | 0.255 % |
100.09/100.22 c | 220770 | 7434 62940 208829 | 108504 93524 21 | 0.255 % |
101.09/101.22 c | 222171 | 7434 62940 208829 | 108504 94925 21 | 0.255 % |
102.19/102.35 c | 223713 | 7434 62940 208829 | 108504 96467 21 | 0.255 % |
103.58/103.76 c | 225408 | 7434 62940 208829 | 108504 98162 21 | 0.255 % |
104.68/104.86 c | 227271 | 7433 62937 208823 | 108504 100023 21 | 0.268 % |
105.88/106.01 c | 229321 | 7433 62937 208823 | 108504 102073 21 | 0.268 % |
107.88/108.08 c | 231574 | 7433 62937 208823 | 102753 91046 20 | 0.268 % |
107.98/108.19 c | 231676 | 7433 62937 208823 | 102753 91148 20 | 0.268 % |
108.08/108.25 c | 231787 | 7433 62937 208823 | 102753 91259 20 | 0.268 % |
108.18/108.35 c | 231908 | 7433 62937 208823 | 102753 91380 20 | 0.268 % |
108.28/108.46 c | 232041 | 7433 62937 208823 | 102753 91513 20 | 0.268 % |
108.48/108.60 c | 232188 | 7433 62937 208823 | 102753 91660 20 | 0.268 % |
108.58/108.73 c | 232350 | 7433 62937 208823 | 102753 91822 20 | 0.268 % |
108.69/108.87 c | 232527 | 7433 62937 208823 | 102753 91999 20 | 0.268 % |
108.88/109.02 c | 232721 | 7433 62937 208823 | 102753 92193 20 | 0.268 % |
108.98/109.18 c | 232934 | 7433 62937 208823 | 102753 92406 20 | 0.268 % |
109.18/109.33 c | 233167 | 7433 62937 208823 | 102753 92639 20 | 0.268 % |
109.38/109.54 c | 233423 | 7433 62937 208823 | 102753 92895 20 | 0.268 % |
109.58/109.70 c | 233704 | 7433 62937 208823 | 102753 93176 20 | 0.268 % |
109.78/109.94 c | 234013 | 7433 62937 208823 | 102753 93485 21 | 0.268 % |
109.98/110.16 c | 234352 | 7433 62937 208823 | 102753 93824 21 | 0.268 % |
110.18/110.39 c | 234725 | 7433 62937 208823 | 102753 94197 21 | 0.268 % |
110.48/110.65 c | 235136 | 7433 62937 208823 | 102753 94608 21 | 0.268 % |
110.78/110.91 c | 235585 | 7433 62937 208823 | 102753 95057 21 | 0.268 % |
111.08/111.29 c | 236080 | 7433 62937 208823 | 102753 95552 21 | 0.268 % |
111.58/111.74 c | 236623 | 7433 62937 208823 | 102753 96095 21 | 0.268 % |
111.98/112.12 c | 237220 | 7433 62937 208823 | 102753 96692 21 | 0.268 % |
112.48/112.66 c | 237877 | 7433 62937 208823 | 102753 97349 21 | 0.268 % |
113.08/113.20 c | 238597 | 7433 62937 208823 | 102753 98069 21 | 0.268 % |
113.68/113.89 c | 239391 | 7433 62937 208823 | 102753 98863 21 | 0.268 % |
114.28/114.47 c | 240262 | 7433 62937 208823 | 99472 99734 21 | 0.268 % |
115.08/115.28 c | 241220 | 7433 62937 208823 | 99472 88289 20 | 0.268 % |
115.88/116.07 c | 242274 | 7433 62937 208823 | 99472 89343 20 | 0.268 % |
116.78/116.95 c | 243432 | 7433 62937 208823 | 99472 90501 20 | 0.268 % |
117.58/117.72 c | 244705 | 7433 62937 208823 | 99472 91774 20 | 0.268 % |
118.68/118.87 c | 246105 | 7433 62937 208823 | 99472 93174 20 | 0.268 % |
119.68/119.81 c | 247645 | 7433 62937 208823 | 99472 94714 20 | 0.268 % |
121.07/121.29 c | 249339 | 7433 62937 208823 | 99472 96408 20 | 0.268 % |
122.57/122.74 c | 251203 | 7433 62937 208823 | 97070 86128 20 | 0.268 % |
124.27/124.42 c | 253252 | 7433 62937 208823 | 97070 88177 20 | 0.268 % |
125.67/125.81 c | 255507 | 7433 62937 208823 | 97070 90432 20 | 0.268 % |
127.27/127.44 c | 257985 | 7433 62937 208823 | 97070 92910 20 | 0.268 % |
127.37/127.52 c | 258086 | 7433 62937 208823 | 97070 93011 20 | 0.268 % |
127.47/127.60 c | 258196 | 7433 62937 208823 | 97070 93121 20 | 0.268 % |
127.57/127.72 c | 258318 | 7433 62937 208823 | 97070 93243 20 | 0.268 % |
127.67/127.83 c | 258451 | 7433 62937 208823 | 97070 93376 20 | 0.268 % |
127.77/127.96 c | 258597 | 7433 62937 208823 | 97070 93522 20 | 0.268 % |
127.97/128.12 c | 258759 | 7433 62937 208823 | 97070 93684 20 | 0.268 % |
128.07/128.25 c | 258935 | 7433 62937 208823 | 97070 93860 20 | 0.268 % |
128.17/128.33 c | 259129 | 7433 62937 208823 | 97070 94054 20 | 0.268 % |
128.27/128.49 c | 259342 | 7433 62937 208823 | 97070 94267 20 | 0.268 % |
128.47/128.66 c | 259575 | 7433 62937 208823 | 97070 94500 20 | 0.268 % |
128.67/128.87 c | 259831 | 7433 62937 208823 | 97070 94756 20 | 0.268 % |
128.97/129.12 c | 260112 | 7433 62937 208823 | 94926 95037 20 | 0.268 % |
129.27/129.50 c | 260421 | 7433 62937 208823 | 94926 85574 20 | 0.268 % |
129.58/129.75 c | 260760 | 7433 62937 208823 | 94926 85913 20 | 0.268 % |
129.77/129.98 c | 261134 | 7433 62937 208823 | 94926 86287 20 | 0.268 % |
129.97/130.14 c | 261545 | 7433 62937 208823 | 94926 86698 20 | 0.268 % |
130.37/130.57 c | 261994 | 7433 62937 208823 | 94926 87147 20 | 0.268 % |
130.57/130.76 c | 262488 | 7433 62937 208823 | 94926 87641 20 | 0.268 % |
130.87/131.04 c | 263030 | 7433 62937 208823 | 94926 88183 20 | 0.268 % |
131.37/131.57 c | 263626 | 7433 62937 208823 | 94926 88779 20 | 0.268 % |
131.87/132.03 c | 264281 | 7433 62937 208823 | 94926 89434 20 | 0.268 % |
132.47/132.70 c | 265001 | 7433 62937 208823 | 94926 90154 20 | 0.268 % |
133.07/133.21 c | 265794 | 7433 62937 208823 | 94926 90947 20 | 0.268 % |
133.47/133.60 c | 266667 | 7433 62937 208823 | 94926 91820 20 | 0.268 % |
133.97/134.19 c | 267625 | 7433 62937 208823 | 94926 92778 20 | 0.268 % |
134.87/135.04 c | 268678 | 7433 62937 208823 | 94926 93831 20 | 0.268 % |
135.77/135.99 c | 269837 | 7433 62937 208823 | 94926 94990 20 | 0.268 % |
136.77/136.98 c | 271113 | 7433 62937 208823 | 2147483647 86767 20 | 0.268 % |
137.86/138.05 c | 272513 | 7433 62937 208823 | 2147483647 88167 20 | 0.268 % |
138.76/138.95 c | 274054 | 7433 62937 208823 | 2147483647 89708 20 | 0.268 % |
140.26/140.45 c | 275749 | 7433 62937 208823 | 2147483647 91403 20 | 0.268 % |
141.46/141.69 c | 277613 | 7433 62937 208823 | 2147483647 93267 20 | 0.268 % |
143.16/143.36 c | 279663 | 7433 62937 208823 | 2147483647 95317 20 | 0.268 % |
144.97/145.15 c | 281918 | 7432 62934 208817 | 2147483647 97571 20 | 0.282 % |
146.96/147.15 c | 284396 | 7432 62934 208817 | 2147483647 100049 20 | 0.282 % |
149.16/149.38 c | 287122 | 7432 62934 208817 | 2147483647 102775 20 | 0.282 % |
149.26/149.48 c | 287222 | 7432 62934 208817 | 2147483647 102875 20 | 0.282 % |
149.36/149.58 c | 287332 | 7432 62934 208817 | 2147483647 102985 20 | 0.282 % |
149.56/149.71 c | 287453 | 7432 62934 208817 | 2147483647 103106 20 | 0.282 % |
149.66/149.86 c | 287587 | 7432 62934 208817 | 2147483647 103240 20 | 0.282 % |
149.86/150.02 c | 287734 | 7432 62934 208817 | 2147483647 103387 20 | 0.282 % |
149.96/150.15 c | 287894 | 7432 62934 208817 | 2147483647 103547 20 | 0.282 % |
150.16/150.30 c | 288072 | 7432 62934 208817 | 2147483647 103725 20 | 0.282 % |
150.36/150.51 c | 288266 | 7432 62934 208817 | 2147483647 103919 20 | 0.282 % |
150.56/150.74 c | 288478 | 7432 62934 208817 | 2147483647 104131 20 | 0.282 % |
150.76/150.98 c | 288714 | 7432 62934 208817 | 2147483647 104367 20 | 0.282 % |
151.16/151.30 c | 288972 | 7432 62934 208817 | 2147483647 104625 20 | 0.282 % |
151.36/151.55 c | 289253 | 7432 62934 208817 | 2147483647 104906 20 | 0.282 % |
151.66/151.84 c | 289562 | 7432 62934 208817 | 2147483647 105215 20 | 0.282 % |
151.96/152.16 c | 289902 | 7432 62934 208817 | 2147483647 105555 20 | 0.282 % |
152.26/152.42 c | 290274 | 7432 62934 208817 | 105657 105927 20 | 0.282 % |
152.56/152.78 c | 290684 | 7432 62934 208817 | 105657 95101 20 | 0.282 % |
152.96/153.17 c | 291133 | 7432 62934 208817 | 105657 95550 20 | 0.282 % |
153.46/153.69 c | 291626 | 7432 62934 208817 | 105657 96043 20 | 0.282 % |
153.96/154.19 c | 292169 | 7432 62934 208817 | 105657 96586 20 | 0.282 % |
154.56/154.76 c | 292765 | 7432 62934 208817 | 105657 97182 20 | 0.282 % |
155.16/155.36 c | 293420 | 7432 62934 208817 | 105657 97837 20 | 0.282 % |
155.75/155.96 c | 294141 | 7432 62934 208817 | 105657 98558 20 | 0.282 % |
156.35/156.59 c | 294933 | 7432 62934 208817 | 105657 99350 20 | 0.282 % |
157.16/157.31 c | 295806 | 7432 62934 208817 | 105657 100223 20 | 0.282 % |
157.75/157.99 c | 296764 | 7432 62934 208817 | 105657 101181 20 | 0.282 % |
158.85/159.05 c | 297818 | 7432 62934 208817 | 105657 102235 20 | 0.282 % |
159.75/159.93 c | 298976 | 7432 62934 208817 | 105657 103393 20 | 0.282 % |
160.56/160.78 c | 300249 | 7432 62934 208817 | 104417 104666 20 | 0.282 % |
161.76/161.90 c | 301649 | 7432 62934 208817 | 104417 93266 20 | 0.282 % |
162.66/162.83 c | 303190 | 7432 62934 208817 | 104417 94807 20 | 0.282 % |
163.96/164.18 c | 304886 | 7432 62934 208817 | 104417 96503 20 | 0.282 % |
165.56/165.79 c | 306749 | 7432 62934 208817 | 104417 98366 20 | 0.282 % |
167.06/167.23 c | 308798 | 7432 62934 208817 | 104417 100415 20 | 0.282 % |
169.26/169.44 c | 311052 | 7432 62934 208817 | 101618 90844 20 | 0.282 % |
171.46/171.67 c | 313530 | 7432 62934 208817 | 101618 93322 20 | 0.282 % |
173.96/174.14 c | 316257 | 7432 62934 208817 | 101618 96049 20 | 0.282 % |
176.06/176.25 c | 319254 | 7432 62934 208817 | 101618 99046 20 | 0.282 % |
176.16/176.30 c | 319356 | 7432 62934 208817 | 101618 99148 20 | 0.282 % |
176.16/176.35 c | 319466 | 7432 62934 208817 | 101618 99258 20 | 0.282 % |
176.26/176.43 c | 319587 | 7432 62934 208817 | 101618 99379 20 | 0.282 % |
176.36/176.56 c | 319720 | 7432 62934 208817 | 101618 99512 20 | 0.282 % |
176.46/176.68 c | 319866 | 7432 62934 208817 | 101618 99658 20 | 0.282 % |
176.56/176.78 c | 320027 | 7432 62934 208817 | 99793 99819 20 | 0.282 % |
176.86/177.07 c | 320204 | 7432 62934 208817 | 99793 89032 19 | 0.282 % |
177.06/177.24 c | 320397 | 7432 62934 208817 | 99793 89225 19 | 0.282 % |
177.25/177.44 c | 320610 | 7432 62934 208817 | 99793 89438 19 | 0.282 % |
177.35/177.59 c | 320843 | 7432 62934 208817 | 99793 89671 19 | 0.282 % |
177.65/177.86 c | 321099 | 7432 62934 208817 | 99793 89927 19 | 0.282 % |
177.85/178.03 c | 321381 | 7432 62934 208817 | 99793 90209 19 | 0.282 % |
178.15/178.32 c | 321690 | 7432 62934 208817 | 99793 90518 19 | 0.282 % |
178.35/178.58 c | 322030 | 7432 62934 208817 | 99793 90858 19 | 0.282 % |
178.75/178.94 c | 322402 | 7432 62934 208817 | 99793 91230 19 | 0.282 % |
179.06/179.25 c | 322811 | 7432 62934 208817 | 99793 91639 19 | 0.282 % |
179.45/179.68 c | 323261 | 7432 62934 208817 | 99793 92089 19 | 0.282 % |
179.85/180.08 c | 323754 | 7432 62934 208817 | 99793 92582 19 | 0.282 % |
180.25/180.42 c | 324296 | 7432 62934 208817 | 99793 93124 20 | 0.282 % |
180.65/180.83 c | 324892 | 7432 62934 208817 | 99793 93720 20 | 0.282 % |
181.25/181.44 c | 325547 | 7432 62934 208817 | 99793 94375 20 | 0.282 % |
181.85/182.08 c | 326267 | 7432 62934 208817 | 99793 95095 20 | 0.282 % |
182.55/182.79 c | 327060 | 7432 62934 208817 | 99793 95888 20 | 0.282 % |
183.25/183.43 c | 327931 | 7432 62934 208817 | 99793 96759 20 | 0.282 % |
183.95/184.17 c | 328889 | 7432 62934 208817 | 99793 97717 20 | 0.282 % |
184.55/184.78 c | 329942 | 7432 62934 208817 | 99793 98770 20 | 0.282 % |
185.75/185.90 c | 331100 | 7432 62934 208817 | 98829 89014 19 | 0.282 % |
186.75/186.92 c | 332373 | 7432 62934 208817 | 98829 90287 20 | 0.282 % |
187.95/188.15 c | 333773 | 7432 62934 208817 | 98829 91687 20 | 0.282 % |
189.35/189.54 c | 335313 | 7432 62934 208817 | 98829 93227 20 | 0.282 % |
190.75/190.98 c | 337008 | 7432 62934 208817 | 98829 94922 20 | 0.282 % |
192.45/192.65 c | 338873 | 7432 62934 208817 | 98829 96787 20 | 0.282 % |
194.34/194.50 c | 340922 | 7432 62934 208817 | 97914 88034 19 | 0.282 % |
195.94/196.19 c | 343176 | 7432 62934 208817 | 97914 90288 19 | 0.282 % |
197.94/198.15 c | 345657 | 7432 62934 208817 | 97914 92769 19 | 0.282 % |
200.14/200.35 c | 348383 | 7432 62934 208817 | 97914 95495 20 | 0.282 % |
203.04/203.25 c | 351383 | 7432 62934 208817 | 2147483647 98495 20 | 0.282 % |
205.64/205.90 c | 354681 | 7432 62934 208817 | 2147483647 101793 20 | 0.282 % |
205.84/206.02 c | 354783 | 7432 62934 208817 | 2147483647 101895 20 | 0.282 % |
205.94/206.12 c | 354895 | 7432 62934 208817 | 2147483647 102007 20 | 0.282 % |
206.04/206.23 c | 355017 | 7432 62934 208817 | 2147483647 102129 20 | 0.282 % |
206.14/206.38 c | 355154 | 7432 62934 208817 | 2147483647 102266 20 | 0.282 % |
206.24/206.49 c | 355301 | 7432 62934 208817 | 2147483647 102413 20 | 0.282 % |
206.44/206.66 c | 355464 | 7432 62934 208817 | 2147483647 102576 20 | 0.282 % |
206.64/206.80 c | 355640 | 7432 62934 208817 | 2147483647 102752 20 | 0.282 % |
206.74/206.99 c | 355833 | 7432 62934 208817 | 2147483647 102945 20 | 0.282 % |
206.94/207.12 c | 356046 | 7432 62934 208817 | 2147483647 103158 20 | 0.282 % |
207.14/207.38 c | 356281 | 7432 62934 208817 | 2147483647 103393 20 | 0.282 % |
207.34/207.58 c | 356543 | 7432 62934 208817 | 2147483647 103655 20 | 0.282 % |
207.74/207.95 c | 356826 | 7432 62934 208817 | 2147483647 103938 20 | 0.282 % |
208.04/208.28 c | 357135 | 7432 62934 208817 | 2147483647 104247 20 | 0.282 % |
208.54/208.76 c | 357474 | 7432 62934 208817 | 2147483647 104586 20 | 0.282 % |
209.04/209.20 c | 357846 | 7432 62934 208817 | 2147483647 104958 20 | 0.282 % |
209.44/209.61 c | 358256 | 7432 62934 208817 | 2147483647 105368 20 | 0.282 % |
209.84/210.06 c | 358706 | 7432 62934 208817 | 2147483647 105818 20 | 0.282 % |
210.24/210.49 c | 359201 | 7432 62934 208817 | 2147483647 106313 20 | 0.282 % |
210.64/210.81 c | 359743 | 7432 62934 208817 | 2147483647 106855 20 | 0.282 % |
211.24/211.47 c | 360339 | 7432 62934 208817 | 107112 94709 19 | 0.282 % |
211.94/212.10 c | 360994 | 7432 62934 208817 | 107112 95364 19 | 0.282 % |
212.54/212.74 c | 361714 | 7432 62934 208817 | 107112 96084 19 | 0.282 % |
213.24/213.42 c | 362506 | 7432 62934 208817 | 107112 96876 19 | 0.282 % |
213.93/214.18 c | 363379 | 7432 62934 208817 | 107112 97749 20 | 0.282 % |
214.83/215.06 c | 364339 | 7432 62934 208817 | 107112 98709 20 | 0.282 % |
215.84/216.07 c | 365395 | 7432 62934 208817 | 107112 99765 20 | 0.282 % |
217.23/217.40 c | 366556 | 7432 62934 208817 | 107112 100926 20 | 0.282 % |
217.93/218.18 c | 367830 | 7432 62934 208817 | 107112 102200 20 | 0.282 % |
219.23/219.47 c | 369230 | 7432 62934 208817 | 107112 103600 20 | 0.282 % |
220.63/220.87 c | 370770 | 7432 62934 208817 | 104370 90420 19 | 0.282 % |
221.63/221.87 c | 372465 | 7432 62934 208817 | 104370 92115 19 | 0.282 % |
223.33/223.57 c | 374330 | 7432 62934 208817 | 104370 93980 19 | 0.282 % |
225.33/225.55 c | 376381 | 7432 62934 208817 | 104370 96031 19 | 0.282 % |
227.63/227.82 c | 378634 | 7432 62934 208817 | 104370 98284 19 | 0.282 % |
229.93/230.15 c | 381114 | 7432 62934 208817 | 99651 89969 19 | 0.282 % |
232.22/232.49 c | 383839 | 7432 62934 208817 | 99651 92694 19 | 0.282 % |
234.52/234.77 c | 386837 | 7432 62934 208817 | 99651 95692 19 | 0.282 % |
237.82/238.05 c | 390134 | 7432 62934 208817 | 98855 98989 19 | 0.282 % |
241.52/241.74 c | 393759 | 7432 62934 208817 | 98855 90460 19 | 0.282 % |
241.62/241.82 c | 393860 | 7432 62934 208817 | 98855 90561 19 | 0.282 % |
241.72/241.93 c | 393972 | 7432 62934 208817 | 98855 90673 19 | 0.282 % |
241.82/242.03 c | 394093 | 7432 62934 208817 | 98855 90794 19 | 0.282 % |
241.92/242.15 c | 394226 | 7432 62934 208817 | 98855 90927 19 | 0.282 % |
242.02/242.25 c | 394375 | 7432 62934 208817 | 98855 91076 19 | 0.282 % |
242.22/242.45 c | 394535 | 7432 62934 208817 | 98855 91236 19 | 0.282 % |
242.32/242.58 c | 394712 | 7432 62934 208817 | 98855 91413 19 | 0.282 % |
242.52/242.76 c | 394907 | 7432 62934 208817 | 98855 91608 19 | 0.282 % |
242.72/242.95 c | 395119 | 7432 62934 208817 | 98855 91820 19 | 0.282 % |
242.82/243.07 c | 395352 | 7432 62934 208817 | 98855 92053 19 | 0.282 % |
242.92/243.17 c | 395608 | 7432 62934 208817 | 98855 92309 19 | 0.282 % |
243.02/243.28 c | 395889 | 7432 62934 208817 | 98855 92590 19 | 0.282 % |
243.32/243.56 c | 396203 | 7432 62934 208817 | 98855 92904 19 | 0.282 % |
243.72/243.92 c | 396544 | 7432 62934 208817 | 98855 93245 19 | 0.282 % |
243.92/244.20 c | 396917 | 7432 62934 208817 | 98855 93618 19 | 0.282 % |
244.32/244.52 c | 397328 | 7432 62934 208817 | 98855 94029 19 | 0.282 % |
244.62/244.83 c | 397778 | 7432 62934 208817 | 98855 94479 19 | 0.282 % |
245.02/245.21 c | 398272 | 7432 62934 208817 | 98855 94973 19 | 0.282 % |
245.32/245.56 c | 398815 | 7432 62934 208817 | 98855 95516 19 | 0.282 % |
245.82/246.06 c | 399411 | 7432 62934 208817 | 98855 96112 19 | 0.282 % |
246.22/246.48 c | 400066 | 7432 62934 208817 | 96701 96767 19 | 0.282 % |
246.92/247.11 c | 400786 | 7432 62934 208817 | 96701 86974 19 | 0.282 % |
247.52/247.74 c | 401578 | 7432 62934 208817 | 96701 87766 19 | 0.282 % |
248.02/248.23 c | 402449 | 7432 62934 208817 | 96701 88637 19 | 0.282 % |
248.72/248.94 c | 403407 | 7432 62934 208817 | 96701 89595 19 | 0.282 % |
249.62/249.82 c | 404461 | 7432 62934 208817 | 96701 90649 19 | 0.282 % |
250.52/250.72 c | 405619 | 7432 62934 208817 | 96701 91807 19 | 0.282 % |
251.02/251.26 c | 406894 | 7432 62934 208817 | 96701 93082 19 | 0.282 % |
252.01/252.23 c | 408296 | 7432 62934 208817 | 96701 94484 19 | 0.282 % |
253.41/253.69 c | 409837 | 7432 62934 208817 | 96701 96025 19 | 0.282 % |
255.31/255.53 c | 411534 | 7432 62934 208817 | 2147483647 97722 19 | 0.282 % |
257.12/257.40 c | 413398 | 7432 62934 208817 | 2147483647 99586 19 | 0.282 % |
259.01/259.26 c | 415447 | 7432 62934 208817 | 2147483647 101635 19 | 0.282 % |
261.52/261.77 c | 417701 | 7432 62934 208817 | 2147483647 103889 20 | 0.282 % |
263.61/263.85 c | 420179 | 7432 62934 208817 | 106189 106367 20 | 0.282 % |
266.41/266.69 c | 422905 | 7432 62934 208817 | 106189 95538 19 | 0.282 % |
269.51/269.79 c | 425902 | 7432 62934 208817 | 106189 98535 19 | 0.282 % |
272.51/272.70 c | 429198 | 7432 62934 208817 | 106189 101831 19 | 0.282 % |
275.20/275.48 c | 432825 | 7432 62934 208817 | 102635 92443 19 | 0.282 % |
279.11/279.38 c | 436813 | 7432 62934 208817 | 102635 96431 19 | 0.282 % |
279.30/279.55 c | 436915 | 7432 62934 208817 | 102635 96533 19 | 0.282 % |
279.40/279.67 c | 437025 | 7432 62934 208817 | 102635 96643 19 | 0.282 % |
279.50/279.80 c | 437149 | 7432 62934 208817 | 102635 96767 19 | 0.282 % |
279.70/279.95 c | 437282 | 7432 62934 208817 | 102635 96900 19 | 0.282 % |
279.90/280.10 c | 437432 | 7432 62934 208817 | 102635 97050 19 | 0.282 % |
280.00/280.22 c | 437592 | 7432 62934 208817 | 102635 97210 19 | 0.282 % |
280.21/280.42 c | 437769 | 7432 62934 208817 | 102635 97387 19 | 0.282 % |
280.40/280.68 c | 437962 | 7432 62934 208817 | 102635 97580 19 | 0.282 % |
280.70/280.94 c | 438175 | 7432 62934 208817 | 102635 97793 19 | 0.282 % |
281.00/281.21 c | 438408 | 7432 62934 208817 | 102635 98026 19 | 0.282 % |
281.31/281.54 c | 438666 | 7432 62934 208817 | 102635 98284 19 | 0.282 % |
281.50/281.70 c | 438947 | 7432 62934 208817 | 102635 98565 19 | 0.282 % |
281.80/282.03 c | 439256 | 7432 62934 208817 | 102635 98874 19 | 0.282 % |
282.00/282.28 c | 439597 | 7432 62934 208817 | 102635 99215 19 | 0.282 % |
282.51/282.71 c | 439970 | 7432 62934 208817 | 102635 99588 19 | 0.282 % |
283.10/283.37 c | 440383 | 7432 62934 208817 | 99618 88515 19 | 0.282 % |
283.50/283.76 c | 440832 | 7432 62934 208817 | 99618 88964 19 | 0.282 % |
283.80/284.09 c | 441326 | 7432 62934 208817 | 99618 89458 19 | 0.282 % |
284.40/284.70 c | 441868 | 7432 62934 208817 | 99618 90000 19 | 0.282 % |
284.90/285.15 c | 442464 | 7432 62934 208817 | 99618 90596 19 | 0.282 % |
285.60/285.86 c | 443121 | 7432 62934 208817 | 99618 91253 19 | 0.282 % |
286.40/286.62 c | 443841 | 7432 62934 208817 | 99618 91973 19 | 0.282 % |
287.00/287.28 c | 444633 | 7432 62934 208817 | 99618 92765 19 | 0.282 % |
288.00/288.26 c | 445504 | 7432 62934 208817 | 99618 93636 19 | 0.282 % |
289.00/289.27 c | 446463 | 7432 62934 208817 | 99618 94595 19 | 0.282 % |
290.00/290.24 c | 447519 | 7432 62934 208817 | 99618 95651 19 | 0.282 % |
291.10/291.34 c | 448677 | 7432 62934 208817 | 99618 96809 19 | 0.282 % |
292.40/292.65 c | 449950 | 7432 62934 208817 | 99618 98082 19 | 0.282 % |
293.70/293.91 c | 451350 | 7432 62934 208817 | 98135 88058 19 | 0.282 % |
295.10/295.34 c | 452892 | 7432 62934 208817 | 98135 89600 19 | 0.282 % |
297.00/297.22 c | 454586 | 7432 62934 208817 | 98135 91294 19 | 0.282 % |
298.49/298.77 c | 456450 | 7432 62934 208817 | 98135 93158 19 | 0.282 % |
300.19/300.47 c | 458502 | 7432 62934 208817 | 98135 95210 19 | 0.282 % |
302.30/302.58 c | 460755 | 7432 62934 208817 | 96708 87531 19 | 0.282 % |
304.49/304.77 c | 463233 | 7432 62934 208817 | 96708 90009 19 | 0.282 % |
306.49/306.75 c | 465958 | 7432 62934 208817 | 96708 92734 20 | 0.282 % |
309.39/309.69 c | 468955 | 7432 62934 208817 | 96708 95731 20 | 0.282 % |
311.79/312.02 c | 472252 | 7431 62931 208811 | 2147483647 99027 20 | 0.295 % |
314.69/314.98 c | 475877 | 7431 62931 208811 | 2147483647 102652 20 | 0.295 % |
319.08/319.33 c | 479864 | 7431 62931 208811 | 2147483647 106639 20 | 0.295 % |
322.68/322.98 c | 484249 | 7431 62931 208811 | 106776 98595 20 | 0.295 % |
322.88/323.11 c | 484349 | 7431 62931 208811 | 106776 98695 20 | 0.295 % |
322.88/323.19 c | 484459 | 7431 62931 208811 | 106776 98805 20 | 0.295 % |
323.09/323.30 c | 484580 | 7431 62931 208811 | 106776 98926 20 | 0.295 % |
323.19/323.42 c | 484713 | 7431 62931 208811 | 106776 99059 20 | 0.295 % |
323.38/323.60 c | 484861 | 7431 62931 208811 | 106776 99207 20 | 0.295 % |
323.48/323.80 c | 485021 | 7431 62931 208811 | 106776 99367 20 | 0.295 % |
323.68/323.96 c | 485200 | 7431 62931 208811 | 106776 99546 20 | 0.295 % |
323.88/324.17 c | 485393 | 7431 62931 208811 | 106776 99739 20 | 0.295 % |
324.08/324.33 c | 485606 | 7431 62931 208811 | 106776 99952 20 | 0.295 % |
324.29/324.56 c | 485839 | 7431 62931 208811 | 106776 100185 20 | 0.295 % |
324.58/324.84 c | 486095 | 7431 62931 208811 | 106776 100441 20 | 0.295 % |
324.88/325.11 c | 486379 | 7431 62931 208811 | 106776 100725 20 | 0.295 % |
325.18/325.43 c | 486690 | 7431 62931 208811 | 106776 101036 20 | 0.295 % |
325.58/325.82 c | 487029 | 7431 62931 208811 | 106776 101375 20 | 0.295 % |
326.08/326.31 c | 487401 | 7431 62931 208811 | 106776 101747 20 | 0.295 % |
326.49/326.72 c | 487810 | 7431 62931 208811 | 106776 102156 20 | 0.295 % |
326.98/327.21 c | 488261 | 7431 62931 208811 | 106776 102607 20 | 0.295 % |
327.28/327.60 c | 488755 | 7431 62931 208811 | 106776 103101 20 | 0.295 % |
327.88/328.14 c | 489297 | 7431 62931 208811 | 106776 103643 20 | 0.295 % |
328.48/328.74 c | 489894 | 7431 62931 208811 | 106776 104240 20 | 0.295 % |
329.28/329.55 c | 490552 | 7431 62931 208811 | 104351 90121 19 | 0.295 % |
330.08/330.38 c | 491272 | 7431 62931 208811 | 104351 90841 19 | 0.295 % |
330.68/330.98 c | 492065 | 7431 62931 208811 | 104351 91634 20 | 0.295 % |
331.78/332.02 c | 492939 | 7431 62931 208811 | 104351 92508 20 | 0.295 % |
332.78/333.03 c | 493897 | 7431 62931 208811 | 104351 93466 20 | 0.295 % |
334.08/334.34 c | 494952 | 7431 62931 208811 | 104351 94521 20 | 0.295 % |
335.28/335.57 c | 496113 | 7431 62931 208811 | 104351 95682 20 | 0.295 % |
336.58/336.86 c | 497388 | 7431 62931 208811 | 104351 96957 20 | 0.295 % |
338.07/338.31 c | 498789 | 7431 62931 208811 | 104351 98358 20 | 0.295 % |
339.27/339.56 c | 500331 | 7431 62931 208811 | 99569 88895 19 | 0.295 % |
340.57/340.87 c | 502025 | 7431 62931 208811 | 99569 90589 20 | 0.295 % |
342.37/342.64 c | 503890 | 7431 62931 208811 | 99569 92454 20 | 0.295 % |
344.08/344.32 c | 505939 | 7431 62931 208811 | 99569 94503 20 | 0.295 % |
345.97/346.23 c | 508192 | 7431 62931 208811 | 99569 96756 20 | 0.295 % |
348.57/348.82 c | 510672 | 7431 62931 208811 | 2147483647 99236 20 | 0.295 % |
350.97/351.29 c | 513398 | 7431 62931 208811 | 2147483647 101962 20 | 0.295 % |
353.87/354.13 c | 516397 | 7431 62931 208811 | 2147483647 104961 20 | 0.295 % |
357.27/357.58 c | 519693 | 7431 62931 208811 | 2147483647 108257 20 | 0.295 % |
360.67/360.94 c | 523319 | 7431 62931 208811 | 108566 97659 20 | 0.295 % |
363.87/364.12 c | 527306 | 7431 62931 208811 | 108566 101646 20 | 0.295 % |
368.06/368.32 c | 531691 | 7431 62931 208811 | 2147483647 106031 20 | 0.295 % |
372.46/372.73 c | 536516 | 7431 62931 208811 | 2147483647 110856 20 | 0.295 % |
372.66/372.92 c | 536618 | 7431 62931 208811 | 2147483647 110958 20 | 0.295 % |
372.76/373.06 c | 536729 | 7431 62931 208811 | 2147483647 111069 20 | 0.295 % |
372.96/373.20 c | 536850 | 7431 62931 208811 | 2147483647 111190 20 | 0.295 % |
373.06/373.31 c | 536984 | 7431 62931 208811 | 2147483647 111324 20 | 0.295 % |
373.26/373.50 c | 537130 | 7431 62931 208811 | 2147483647 111470 20 | 0.295 % |
373.46/373.74 c | 537291 | 7431 62931 208811 | 2147483647 111631 20 | 0.295 % |
373.66/373.91 c | 537467 | 7431 62931 208811 | 2147483647 111807 20 | 0.295 % |
373.76/374.09 c | 537661 | 7431 62931 208811 | 2147483647 112001 20 | 0.295 % |
374.16/374.45 c | 537873 | 7431 62931 208811 | 2147483647 112213 20 | 0.295 % |
374.36/374.67 c | 538110 | 7431 62931 208811 | 2147483647 112450 20 | 0.295 % |
374.76/375.02 c | 538367 | 7431 62931 208811 | 2147483647 112707 20 | 0.295 % |
375.06/375.36 c | 538649 | 7431 62931 208811 | 2147483647 112989 20 | 0.295 % |
375.46/375.72 c | 538961 | 7431 62931 208811 | 2147483647 113301 20 | 0.295 % |
375.96/376.21 c | 539301 | 7431 62931 208811 | 2147483647 113641 20 | 0.295 % |
376.36/376.68 c | 539675 | 7431 62931 208811 | 2147483647 114015 20 | 0.295 % |
376.86/377.17 c | 540084 | 7431 62931 208811 | 114341 114424 20 | 0.295 % |
377.66/377.93 c | 540533 | 7431 62931 208811 | 114341 99016 20 | 0.295 % |
378.26/378.52 c | 541026 | 7431 62931 208811 | 114341 99509 20 | 0.295 % |
378.76/379.06 c | 541568 | 7431 62931 208811 | 114341 100051 20 | 0.295 % |
379.65/379.92 c | 542164 | 7431 62931 208811 | 114341 100647 20 | 0.295 % |
380.26/380.52 c | 542819 | 7431 62931 208811 | 114341 101302 20 | 0.295 % |
381.15/381.45 c | 543540 | 7431 62931 208811 | 114341 102023 20 | 0.295 % |
381.95/382.24 c | 544332 | 7431 62931 208811 | 114341 102815 20 | 0.295 % |
382.65/382.94 c | 545204 | 7431 62931 208811 | 114341 103687 20 | 0.295 % |
383.45/383.77 c | 546164 | 7431 62931 208811 | 114341 104647 20 | 0.295 % |
384.66/384.95 c | 547217 | 7431 62931 208811 | 114341 105700 20 | 0.295 % |
385.55/385.89 c | 548377 | 7431 62931 208811 | 114341 106860 20 | 0.295 % |
387.15/387.40 c | 549651 | 7431 62931 208811 | 114341 108134 20 | 0.295 % |
388.45/388.76 c | 551051 | 7431 62931 208811 | 108484 93996 19 | 0.295 % |
389.45/389.78 c | 552592 | 7431 62931 208811 | 108484 95537 19 | 0.295 % |
390.85/391.11 c | 554286 | 7431 62931 208811 | 108484 97231 19 | 0.295 % |
392.35/392.62 c | 556151 | 7431 62931 208811 | 108484 99096 20 | 0.295 % |
393.95/394.24 c | 558201 | 7431 62931 208811 | 108484 101146 20 | 0.295 % |
396.05/396.30 c | 560456 | 7431 62931 208811 | 102945 91481 19 | 0.295 % |
397.75/398.09 c | 562934 | 7431 62931 208811 | 102945 93959 19 | 0.295 % |
399.95/400.23 c | 565660 | 7431 62931 208811 | 102945 96685 19 | 0.295 % |
401.94/402.23 c | 568657 | 7431 62931 208811 | 102945 99682 20 | 0.295 % |
406.24/406.58 c | 571954 | 7431 62931 208811 | 101025 90931 19 | 0.295 % |
408.95/409.25 c | 575579 | 7431 62931 208811 | 101025 94556 19 | 0.295 % |
412.54/412.83 c | 579566 | 7431 62931 208811 | 101025 98543 19 | 0.295 % |
416.44/416.70 c | 583951 | 7429 62906 208751 | 2147483647 102926 20 | 0.322 % |
420.14/420.48 c | 588781 | 7429 62906 208751 | 2147483647 107756 20 | 0.322 % |
425.53/425.81 c | 594086 | 7428 62903 208745 | 108975 100262 19 | 0.335 % |
425.63/425.91 c | 594187 | 7428 62903 208745 | 108975 100363 19 | 0.335 % |
425.73/426.01 c | 594297 | 7428 62903 208745 | 108975 100473 19 | 0.335 % |
425.83/426.14 c | 594420 | 7428 62903 208745 | 108975 100596 19 | 0.335 % |
425.93/426.26 c | 594555 | 7428 62903 208745 | 108975 100731 19 | 0.335 % |
426.13/426.42 c | 594701 | 7428 62903 208745 | 108975 100877 19 | 0.335 % |
426.23/426.59 c | 594863 | 7428 62903 208745 | 108975 101039 19 | 0.335 % |
426.44/426.73 c | 595040 | 7428 62903 208745 | 108975 101216 19 | 0.335 % |
426.63/426.91 c | 595233 | 7428 62903 208745 | 108975 101409 19 | 0.335 % |
426.73/427.09 c | 595446 | 7428 62903 208745 | 108975 101622 19 | 0.335 % |
426.93/427.26 c | 595683 | 7428 62903 208745 | 108975 101859 19 | 0.335 % |
427.13/427.45 c | 595939 | 7428 62903 208745 | 108975 102115 19 | 0.335 % |
427.33/427.69 c | 596220 | 7428 62903 208745 | 108975 102396 19 | 0.335 % |
427.73/428.06 c | 596531 | 7428 62903 208745 | 108975 102707 19 | 0.335 % |
428.23/428.51 c | 596870 | 7428 62903 208745 | 108975 103046 19 | 0.335 % |
428.53/428.86 c | 597242 | 7428 62903 208745 | 108975 103418 19 | 0.335 % |
429.13/429.44 c | 597653 | 7428 62903 208745 | 108975 103829 19 | 0.335 % |
429.53/429.86 c | 598102 | 7428 62903 208745 | 108975 104278 19 | 0.335 % |
430.03/430.37 c | 598597 | 7428 62903 208745 | 108975 104773 19 | 0.335 % |
430.73/431.01 c | 599141 | 7428 62903 208745 | 108975 105317 19 | 0.335 % |
431.43/431.79 c | 599737 | 7428 62903 208745 | 108975 105913 19 | 0.335 % |
432.53/432.80 c | 600393 | 7428 62903 208745 | 106178 90565 19 | 0.335 % |
433.03/433.33 c | 601115 | 7428 62903 208745 | 106178 91287 19 | 0.335 % |
433.63/433.96 c | 601907 | 7428 62903 208745 | 106178 92079 19 | 0.335 % |
434.23/434.59 c | 602778 | 7428 62903 208745 | 106178 92950 19 | 0.335 % |
435.03/435.37 c | 603737 | 7428 62903 208745 | 106178 93909 19 | 0.335 % |
435.93/436.25 c | 604790 | 7428 62903 208745 | 106178 94962 19 | 0.335 % |
436.63/436.99 c | 605948 | 7428 62903 208745 | 106178 96120 19 | 0.335 % |
437.93/438.20 c | 607221 | 7428 62903 208745 | 106178 97393 19 | 0.335 % |
438.83/439.20 c | 608625 | 7428 62903 208745 | 106178 98797 19 | 0.335 % |
440.13/440.48 c | 610165 | 7428 62903 208745 | 100172 88375 19 | 0.335 % |
441.72/442.03 c | 611859 | 7428 62903 208745 | 100172 90069 19 | 0.335 % |
443.42/443.75 c | 613722 | 7428 62903 208745 | 100172 91932 19 | 0.335 % |
445.23/445.56 c | 615771 | 7428 62903 208745 | 100172 93981 19 | 0.335 % |
447.02/447.38 c | 618024 | 7428 62903 208745 | 100172 96234 19 | 0.335 % |
449.72/450.02 c | 620503 | 7428 62903 208745 | 2147483647 98713 19 | 0.335 % |
452.12/452.42 c | 623230 | 7428 62903 208745 | 2147483647 101440 19 | 0.335 % |
455.12/455.41 c | 626230 | 7428 62903 208745 | 2147483647 104440 19 | 0.335 % |
458.22/458.54 c | 629526 | 7428 62903 208745 | 2147483647 107736 20 | 0.335 % |
461.91/462.24 c | 633152 | 7428 62903 208745 | 108210 95735 19 | 0.335 % |
465.71/466.01 c | 637139 | 7427 62900 208739 | 108210 99721 19 | 0.349 % |
469.71/470.03 c | 641524 | 7427 62900 208739 | 102585 90095 19 | 0.362 % |
475.41/475.72 c | 646348 | 7427 62900 208739 | 102585 94919 19 | 0.362 % |
481.51/481.86 c | 651653 | 7426 62897 208733 | 98571 87502 19 | 0.362 % |
487.20/487.59 c | 657488 | 7426 62897 208733 | 98571 93337 19 | 0.362 % |
487.40/487.72 c | 657591 | 7426 62897 208733 | 98571 93440 19 | 0.362 % |
487.50/487.87 c | 657702 | 7426 62897 208733 | 98571 93551 19 | 0.362 % |
487.60/487.97 c | 657824 | 7426 62897 208733 | 98571 93673 19 | 0.362 % |
487.70/488.05 c | 657957 | 7426 62897 208733 | 98571 93806 19 | 0.362 % |
487.90/488.24 c | 658103 | 7425 62894 208727 | 98571 93951 19 | 0.376 % |
488.01/488.37 c | 658263 | 7425 62894 208727 | 98571 94111 19 | 0.376 % |
488.20/488.54 c | 658439 | 7425 62894 208727 | 98571 94287 19 | 0.376 % |
488.30/488.66 c | 658632 | 7425 62894 208727 | 98571 94480 19 | 0.376 % |
488.50/488.83 c | 658845 | 7425 62894 208727 | 98571 94693 19 | 0.376 % |
488.70/489.03 c | 659078 | 7425 62894 208727 | 98571 94926 19 | 0.376 % |
489.00/489.31 c | 659334 | 7425 62894 208727 | 98571 95182 19 | 0.376 % |
489.21/489.58 c | 659615 | 7425 62894 208727 | 98571 95463 19 | 0.376 % |
489.40/489.72 c | 659924 | 7425 62894 208727 | 98571 95772 19 | 0.376 % |
489.70/490.04 c | 660263 | 7425 62894 208727 | 2147483647 96111 19 | 0.376 % |
490.10/490.47 c | 660636 | 7425 62894 208727 | 2147483647 96484 19 | 0.376 % |
490.50/490.85 c | 661047 | 7425 62894 208727 | 2147483647 96895 19 | 0.376 % |
490.90/491.27 c | 661496 | 7425 62894 208727 | 2147483647 97344 19 | 0.376 % |
491.41/491.80 c | 661992 | 7425 62894 208727 | 2147483647 97840 19 | 0.376 % |
492.00/492.30 c | 662537 | 7425 62894 208727 | 2147483647 98385 19 | 0.376 % |
492.70/493.04 c | 663133 | 7425 62894 208727 | 2147483647 98981 19 | 0.376 % |
493.30/493.62 c | 663788 | 7425 62894 208727 | 2147483647 99636 19 | 0.376 % |
494.00/494.37 c | 664509 | 7425 62894 208727 | 2147483647 100357 19 | 0.376 % |
494.80/495.13 c | 665303 | 7425 62894 208727 | 2147483647 101151 19 | 0.376 % |
495.40/495.75 c | 666174 | 7425 62894 208727 | 2147483647 102022 19 | 0.376 % |
496.20/496.52 c | 667132 | 7425 62894 208727 | 2147483647 102980 19 | 0.376 % |
497.10/497.48 c | 668185 | 7425 62894 208727 | 2147483647 104033 19 | 0.376 % |
498.30/498.64 c | 669344 | 7425 62894 208727 | 2147483647 105192 19 | 0.376 % |
499.80/500.17 c | 670617 | 7425 62894 208727 | 105848 93115 18 | 0.376 % |
501.09/501.45 c | 672017 | 7425 62894 208727 | 105848 94515 18 | 0.376 % |
502.40/502.78 c | 673557 | 7424 62891 208721 | 105848 96051 18 | 0.389 % |
503.79/504.15 c | 675252 | 7424 62891 208721 | 105848 97746 18 | 0.389 % |
505.60/505.95 c | 677115 | 7424 62891 208721 | 105848 99609 18 | 0.389 % |
507.80/508.10 c | 679165 | 7424 62891 208721 | 105848 101659 18 | 0.389 % |
510.10/510.41 c | 681420 | 7424 62891 208721 | 102496 91006 18 | 0.389 % |
512.30/512.69 c | 683898 | 7424 62891 208721 | 102496 93484 18 | 0.389 % |
514.59/514.95 c | 686623 | 7424 62891 208721 | 102496 96209 18 | 0.389 % |
517.09/517.40 c | 689620 | 7423 62888 208715 | 102496 99205 18 | 0.403 % |
519.89/520.24 c | 692917 | 7423 62888 208715 | 99586 91970 18 | 0.403 % |
522.89/523.22 c | 696542 | 7423 62888 208715 | 99586 95595 18 | 0.403 % |
526.39/526.73 c | 700529 | 7423 62888 208715 | 99053 89072 18 | 0.403 % |
530.58/530.99 c | 704915 | 7423 62888 208715 | 99053 93458 18 | 0.403 % |
534.78/535.20 c | 709738 | 7423 62888 208715 | 99053 98281 18 | 0.403 % |
540.18/540.52 c | 715043 | 7420 62495 206513 | 98545 21181 11 | 0.443 % |
541.18/541.50 c ===============================================================================
541.18/541.50 c restarts : 1035
541.18/541.50 c conflicts : 720857 (1335 /sec)
541.18/541.50 c decisions : 1037310 (1.80 % random) (1921 /sec)
541.18/541.50 c propagations : 168366207 (311741 /sec)
541.18/541.50 c conflict literals : 15738506 (36.55 % deleted)
541.18/541.50 c Memory used : 20.95 MB
541.18/541.50 c CPU time : 540.084 s
541.18/541.50 c
541.18/541.50 s UNSATISFIABLE
541.18/541.50 s UNSATISFIABLE
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1837392-1242868920/watcher-1837392-1242868920 -o /tmp/evaluation-result-1837392-1242868920/solver-1837392-1242868920 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837392-1242868920.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 12000 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.99 1.00 1.00 3/65 21085
/proc/meminfo: memFree=1399728/2055920 swapFree=4180524/4192956
[pid=21085] ppid=21083 vsize=5356 CPUtime=0
/proc/21085/stat : 21085 (SatELiteGTI) S 21083 21085 20844 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 314921006 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21085/statm: 1339 237 197 169 0 50 0
[pid=21089] ppid=21085 vsize=1008 CPUtime=0
/proc/21089/stat : 21089 (SatELite_releas) R 21085 21085 20844 0 -1 4194304 106 0 0 0 0 0 0 0 18 0 1 0 314921007 1032192 92 1992294400 134512640 135223648 4294956128 18446744073709551615 134719062 0 0 4096 3 0 0 0 17 1 0 0
/proc/21089/statm: 252 95 50 173 0 77 0
[startup+0.0536019 s]
/proc/loadavg: 0.99 1.00 1.00 3/65 21085
/proc/meminfo: memFree=1399728/2055920 swapFree=4180524/4192956
[pid=21085] ppid=21083 vsize=5356 CPUtime=0
/proc/21085/stat : 21085 (SatELiteGTI) S 21083 21085 20844 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 314921006 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21085/statm: 1339 237 197 169 0 50 0
[pid=21089] ppid=21085 vsize=8424 CPUtime=0.04
/proc/21089/stat : 21089 (SatELite_releas) R 21085 21085 20844 0 -1 4194304 1669 0 0 0 3 1 0 0 18 0 1 0 314921007 8626176 1655 1992294400 134512640 135223648 4294956128 18446744073709551615 134543504 0 0 4096 3 0 0 0 17 1 0 0
/proc/21089/statm: 2106 1655 50 173 0 1931 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13780
[startup+0.101612 s]
/proc/loadavg: 0.99 1.00 1.00 3/65 21085
/proc/meminfo: memFree=1399728/2055920 swapFree=4180524/4192956
[pid=21085] ppid=21083 vsize=5356 CPUtime=0
/proc/21085/stat : 21085 (SatELiteGTI) S 21083 21085 20844 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 314921006 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21085/statm: 1339 237 197 169 0 50 0
[pid=21089] ppid=21085 vsize=12912 CPUtime=0.09
/proc/21089/stat : 21089 (SatELite_releas) R 21085 21085 20844 0 -1 4194304 2920 0 0 0 7 2 0 0 18 0 1 0 314921007 13221888 2906 1992294400 134512640 135223648 4294956128 18446744073709551615 134737310 0 0 4096 3 0 0 0 17 1 0 0
/proc/21089/statm: 3228 2907 50 173 0 3053 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18268
[startup+0.301652 s]
/proc/loadavg: 0.99 1.00 1.00 3/65 21085
/proc/meminfo: memFree=1399728/2055920 swapFree=4180524/4192956
[pid=21085] ppid=21083 vsize=5356 CPUtime=0
/proc/21085/stat : 21085 (SatELiteGTI) S 21083 21085 20844 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 314921006 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21085/statm: 1339 237 197 169 0 50 0
[pid=21089] ppid=21085 vsize=18208 CPUtime=0.28
/proc/21089/stat : 21089 (SatELite_releas) R 21085 21085 20844 0 -1 4194304 4174 0 0 0 26 2 0 0 20 0 1 0 314921007 18644992 4160 1992294400 134512640 135223648 4294956128 18446744073709551615 134548217 0 0 4096 3 0 0 0 17 1 0 0
/proc/21089/statm: 4552 4160 75 173 0 4377 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 23564
[startup+0.701733 s]
/proc/loadavg: 0.99 1.00 1.00 3/65 21085
/proc/meminfo: memFree=1399728/2055920 swapFree=4180524/4192956
[pid=21085] ppid=21083 vsize=5356 CPUtime=0
/proc/21085/stat : 21085 (SatELiteGTI) S 21083 21085 20844 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 314921006 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21085/statm: 1339 237 197 169 0 50 0
[pid=21089] ppid=21085 vsize=18460 CPUtime=0.68
/proc/21089/stat : 21089 (SatELite_releas) R 21085 21085 20844 0 -1 4194304 4623 0 0 0 65 3 0 0 24 0 1 0 314921007 18903040 4242 1992294400 134512640 135223648 4294956128 18446744073709551615 134586759 0 0 4096 3 0 0 0 17 1 0 0
/proc/21089/statm: 4615 4242 76 173 0 4440 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 23816
[startup+1.5019 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 21090
/proc/meminfo: memFree=1380768/2055920 swapFree=4180524/4192956
[pid=21085] ppid=21083 vsize=5356 CPUtime=1.04
/proc/21085/stat : 21085 (SatELiteGTI) S 21083 21085 20844 0 -1 4194304 336 5221 0 0 0 0 100 4 16 0 1 0 314921006 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21085/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 1.04
Current children cumulated vsize (KiB) 5356
[startup+3.10122 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 21091
/proc/meminfo: memFree=1390752/2055920 swapFree=4180524/4192956
[pid=21085] ppid=21083 vsize=5356 CPUtime=1.04
/proc/21085/stat : 21085 (SatELiteGTI) S 21083 21085 20844 0 -1 4194304 336 5221 0 0 0 0 100 4 16 0 1 0 314921006 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21085/statm: 1339 239 197 169 0 50 0
[pid=21091] ppid=21085 vsize=7380 CPUtime=2.03
/proc/21091/stat : 21091 (minisat_static) R 21085 21085 20844 0 -1 4194304 1699 0 0 0 202 1 0 0 25 0 1 0 314921112 7557120 1685 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/21091/statm: 1845 1685 77 171 0 1672 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 12736
[startup+6.30187 s]
/proc/loadavg: 1.15 1.03 1.01 2/67 21091
/proc/meminfo: memFree=1388384/2055920 swapFree=4180524/4192956
[pid=21085] ppid=21083 vsize=5356 CPUtime=1.04
/proc/21085/stat : 21085 (SatELiteGTI) S 21083 21085 20844 0 -1 4194304 336 5221 0 0 0 0 100 4 16 0 1 0 314921006 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21085/statm: 1339 239 197 169 0 50 0
[pid=21091] ppid=21085 vsize=9268 CPUtime=5.22
/proc/21091/stat : 21091 (minisat_static) R 21085 21085 20844 0 -1 4194304 2185 0 0 0 520 2 0 0 25 0 1 0 314921112 9490432 2171 1992294400 134512640 135215339 4294956240 18446744073709551615 134525115 0 0 4096 3 0 0 0 17 1 0 0
/proc/21091/statm: 2317 2171 77 171 0 2144 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 14624
[startup+12.7022 s]
/proc/loadavg: 1.14 1.03 1.01 2/67 21091
/proc/meminfo: memFree=1385632/2055920 swapFree=4180524/4192956
[pid=21085] ppid=21083 vsize=5356 CPUtime=1.04
/proc/21085/stat : 21085 (SatELiteGTI) S 21083 21085 20844 0 -1 4194304 336 5221 0 0 0 0 100 4 16 0 1 0 314921006 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21085/statm: 1339 239 197 169 0 50 0
[pid=21091] ppid=21085 vsize=11728 CPUtime=11.62
/proc/21091/stat : 21091 (minisat_static) R 21085 21085 20844 0 -1 4194304 2793 0 0 0 1159 3 0 0 25 0 1 0 314921112 12009472 2779 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/21091/statm: 2932 2779 77 171 0 2759 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 17084
[startup+25.5018 s]
/proc/loadavg: 1.11 1.03 1.01 2/67 21091
/proc/meminfo: memFree=1382560/2055920 swapFree=4180524/4192956
[pid=21085] ppid=21083 vsize=5356 CPUtime=1.04
/proc/21085/stat : 21085 (SatELiteGTI) S 21083 21085 20844 0 -1 4194304 336 5221 0 0 0 0 100 4 16 0 1 0 314921006 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21085/statm: 1339 239 197 169 0 50 0
[pid=21091] ppid=21085 vsize=14656 CPUtime=24.41
/proc/21091/stat : 21091 (minisat_static) R 21085 21085 20844 0 -1 4194304 3528 0 0 0 2437 4 0 0 25 0 1 0 314921112 15007744 3514 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/21091/statm: 3664 3514 77 171 0 3491 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 20012
[startup+51.102 s]
/proc/loadavg: 1.07 1.03 1.00 2/67 21091
/proc/meminfo: memFree=1381280/2055920 swapFree=4180524/4192956
[pid=21085] ppid=21083 vsize=5356 CPUtime=1.04
/proc/21085/stat : 21085 (SatELiteGTI) S 21083 21085 20844 0 -1 4194304 336 5221 0 0 0 0 100 4 16 0 1 0 314921006 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21085/statm: 1339 239 197 169 0 50 0
[pid=21091] ppid=21085 vsize=16080 CPUtime=49.99
/proc/21091/stat : 21091 (minisat_static) R 21085 21085 20844 0 -1 4194304 3856 0 0 0 4995 4 0 0 25 0 1 0 314921112 16465920 3842 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/21091/statm: 4020 3842 77 171 0 3847 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 21436
[startup+102.305 s]
/proc/loadavg: 1.03 1.02 1.00 2/67 21091
/proc/meminfo: memFree=1377888/2055920 swapFree=4180524/4192956
[pid=21085] ppid=21083 vsize=5356 CPUtime=1.04
/proc/21085/stat : 21085 (SatELiteGTI) S 21083 21085 20844 0 -1 4194304 336 5221 0 0 0 0 100 4 16 0 1 0 314921006 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21085/statm: 1339 239 197 169 0 50 0
[pid=21091] ppid=21085 vsize=19480 CPUtime=101.15
/proc/21091/stat : 21091 (minisat_static) R 21085 21085 20844 0 -1 4194304 4685 0 0 0 10110 5 0 0 25 0 1 0 314921112 19947520 4671 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/21091/statm: 4870 4671 77 171 0 4697 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 24836
[startup+162.302 s]
/proc/loadavg: 1.01 1.02 1.00 2/67 21091
/proc/meminfo: memFree=1377504/2055920 swapFree=4180524/4192956
[pid=21085] ppid=21083 vsize=5356 CPUtime=1.04
/proc/21085/stat : 21085 (SatELiteGTI) S 21083 21085 20844 0 -1 4194304 336 5221 0 0 0 0 100 4 16 0 1 0 314921006 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21085/statm: 1339 239 197 169 0 50 0
[pid=21091] ppid=21085 vsize=19916 CPUtime=161.12
/proc/21091/stat : 21091 (minisat_static) R 21085 21085 20844 0 -1 4194304 4782 0 0 0 16106 6 0 0 25 0 1 0 314921112 20393984 4768 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/21091/statm: 4979 4768 77 171 0 4806 0
Current children cumulated CPU time (s) 162.16
Current children cumulated vsize (KiB) 25272
[startup+222.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/67 21091
/proc/meminfo: memFree=1377056/2055920 swapFree=4180524/4192956
[pid=21085] ppid=21083 vsize=5356 CPUtime=1.04
/proc/21085/stat : 21085 (SatELiteGTI) S 21083 21085 20844 0 -1 4194304 336 5221 0 0 0 0 100 4 16 0 1 0 314921006 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21085/statm: 1339 239 197 169 0 50 0
[pid=21091] ppid=21085 vsize=20364 CPUtime=221.09
/proc/21091/stat : 21091 (minisat_static) R 21085 21085 20844 0 -1 4194304 4890 0 0 0 22103 6 0 0 25 0 1 0 314921112 20852736 4876 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/21091/statm: 5091 4876 77 171 0 4918 0
Current children cumulated CPU time (s) 222.13
Current children cumulated vsize (KiB) 25720
[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 21091
/proc/meminfo: memFree=1376736/2055920 swapFree=4180524/4192956
[pid=21085] ppid=21083 vsize=5356 CPUtime=1.04
/proc/21085/stat : 21085 (SatELiteGTI) S 21083 21085 20844 0 -1 4194304 336 5221 0 0 0 0 100 4 16 0 1 0 314921006 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21085/statm: 1339 239 197 169 0 50 0
[pid=21091] ppid=21085 vsize=20684 CPUtime=281.06
/proc/21091/stat : 21091 (minisat_static) R 21085 21085 20844 0 -1 4194304 4968 0 0 0 28100 6 0 0 25 0 1 0 314921112 21180416 4954 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 1 0 0
/proc/21091/statm: 5171 4954 77 171 0 4998 0
Current children cumulated CPU time (s) 282.1
Current children cumulated vsize (KiB) 26040
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 21091
/proc/meminfo: memFree=1376544/2055920 swapFree=4180524/4192956
[pid=21085] ppid=21083 vsize=5356 CPUtime=1.04
/proc/21085/stat : 21085 (SatELiteGTI) S 21083 21085 20844 0 -1 4194304 336 5221 0 0 0 0 100 4 16 0 1 0 314921006 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21085/statm: 1339 239 197 169 0 50 0
[pid=21091] ppid=21085 vsize=20864 CPUtime=341.03
/proc/21091/stat : 21091 (minisat_static) R 21085 21085 20844 0 -1 4194304 5001 0 0 0 34097 6 0 0 25 0 1 0 314921112 21364736 4987 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/21091/statm: 5216 4987 77 171 0 5043 0
Current children cumulated CPU time (s) 342.07
Current children cumulated vsize (KiB) 26220
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 21091
/proc/meminfo: memFree=1376096/2055920 swapFree=4180524/4192956
[pid=21085] ppid=21083 vsize=5356 CPUtime=1.04
/proc/21085/stat : 21085 (SatELiteGTI) S 21083 21085 20844 0 -1 4194304 336 5221 0 0 0 0 100 4 16 0 1 0 314921006 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21085/statm: 1339 239 197 169 0 50 0
[pid=21091] ppid=21085 vsize=21136 CPUtime=401
/proc/21091/stat : 21091 (minisat_static) R 21085 21085 20844 0 -1 4194304 5094 0 0 0 40094 6 0 0 25 0 1 0 314921112 21643264 5080 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/21091/statm: 5284 5080 77 171 0 5111 0
Current children cumulated CPU time (s) 402.04
Current children cumulated vsize (KiB) 26492
[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 21091
/proc/meminfo: memFree=1375968/2055920 swapFree=4180524/4192956
[pid=21085] ppid=21083 vsize=5356 CPUtime=1.04
/proc/21085/stat : 21085 (SatELiteGTI) S 21083 21085 20844 0 -1 4194304 336 5221 0 0 0 0 100 4 16 0 1 0 314921006 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21085/statm: 1339 239 197 169 0 50 0
[pid=21091] ppid=21085 vsize=21296 CPUtime=460.97
/proc/21091/stat : 21091 (minisat_static) R 21085 21085 20844 0 -1 4194304 5120 0 0 0 46091 6 0 0 25 0 1 0 314921112 21807104 5106 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/21091/statm: 5324 5106 77 171 0 5151 0
Current children cumulated CPU time (s) 462.01
Current children cumulated vsize (KiB) 26652
[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 21091
/proc/meminfo: memFree=1375840/2055920 swapFree=4180524/4192956
[pid=21085] ppid=21083 vsize=5356 CPUtime=1.04
/proc/21085/stat : 21085 (SatELiteGTI) S 21083 21085 20844 0 -1 4194304 336 5221 0 0 0 0 100 4 16 0 1 0 314921006 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21085/statm: 1339 239 197 169 0 50 0
[pid=21091] ppid=21085 vsize=21448 CPUtime=520.95
/proc/21091/stat : 21091 (minisat_static) R 21085 21085 20844 0 -1 4194304 5140 0 0 0 52089 6 0 0 25 0 1 0 314921112 21962752 5126 1992294400 134512640 135215339 4294956240 18446744073709551615 134538977 0 0 4096 3 0 0 0 17 1 0 0
/proc/21091/statm: 5362 5126 77 171 0 5189 0
Current children cumulated CPU time (s) 521.99
Current children cumulated vsize (KiB) 26804
Solver just ended. Dumping a history of the last processes samples
[startup+524.705 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 21091
/proc/meminfo: memFree=1375840/2055920 swapFree=4180524/4192956
[pid=21085] ppid=21083 vsize=5356 CPUtime=1.04
/proc/21085/stat : 21085 (SatELiteGTI) S 21083 21085 20844 0 -1 4194304 336 5221 0 0 0 0 100 4 16 0 1 0 314921006 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21085/statm: 1339 239 197 169 0 50 0
[pid=21091] ppid=21085 vsize=21448 CPUtime=523.35
/proc/21091/stat : 21091 (minisat_static) R 21085 21085 20844 0 -1 4194304 5141 0 0 0 52329 6 0 0 25 0 1 0 314921112 21962752 5127 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/21091/statm: 5362 5127 77 171 0 5189 0
Current children cumulated CPU time (s) 524.39
Current children cumulated vsize (KiB) 26804
[startup+531.102 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 21091
/proc/meminfo: memFree=1375840/2055920 swapFree=4180524/4192956
[pid=21085] ppid=21083 vsize=5356 CPUtime=1.04
/proc/21085/stat : 21085 (SatELiteGTI) S 21083 21085 20844 0 -1 4194304 336 5221 0 0 0 0 100 4 16 0 1 0 314921006 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21085/statm: 1339 239 197 169 0 50 0
[pid=21091] ppid=21085 vsize=21448 CPUtime=529.74
/proc/21091/stat : 21091 (minisat_static) R 21085 21085 20844 0 -1 4194304 5143 0 0 0 52968 6 0 0 25 0 1 0 314921112 21962752 5129 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/21091/statm: 5362 5129 77 171 0 5189 0
Current children cumulated CPU time (s) 530.78
Current children cumulated vsize (KiB) 26804
[startup+537.502 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 21091
/proc/meminfo: memFree=1375840/2055920 swapFree=4180524/4192956
[pid=21085] ppid=21083 vsize=5356 CPUtime=1.04
/proc/21085/stat : 21085 (SatELiteGTI) S 21083 21085 20844 0 -1 4194304 336 5221 0 0 0 0 100 4 16 0 1 0 314921006 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21085/statm: 1339 239 197 169 0 50 0
[pid=21091] ppid=21085 vsize=21448 CPUtime=536.14
/proc/21091/stat : 21091 (minisat_static) R 21085 21085 20844 0 -1 4194304 5147 0 0 0 53608 6 0 0 25 0 1 0 314921112 21962752 5133 1992294400 134512640 135215339 4294956240 18446744073709551615 134528824 0 0 4096 3 0 0 0 17 1 0 0
/proc/21091/statm: 5362 5133 77 171 0 5189 0
Current children cumulated CPU time (s) 537.18
Current children cumulated vsize (KiB) 26804
[startup+539.101 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 21091
/proc/meminfo: memFree=1375840/2055920 swapFree=4180524/4192956
[pid=21085] ppid=21083 vsize=5356 CPUtime=1.04
/proc/21085/stat : 21085 (SatELiteGTI) S 21083 21085 20844 0 -1 4194304 336 5221 0 0 0 0 100 4 16 0 1 0 314921006 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21085/statm: 1339 239 197 169 0 50 0
[pid=21091] ppid=21085 vsize=21448 CPUtime=537.74
/proc/21091/stat : 21091 (minisat_static) R 21085 21085 20844 0 -1 4194304 5147 0 0 0 53768 6 0 0 25 0 1 0 314921112 21962752 5133 1992294400 134512640 135215339 4294956240 18446744073709551615 134538130 0 0 4096 3 0 0 0 17 1 0 0
/proc/21091/statm: 5362 5133 77 171 0 5189 0
Current children cumulated CPU time (s) 538.78
Current children cumulated vsize (KiB) 26804
[startup+540.701 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 21091
/proc/meminfo: memFree=1375776/2055920 swapFree=4180524/4192956
[pid=21085] ppid=21083 vsize=5356 CPUtime=1.04
/proc/21085/stat : 21085 (SatELiteGTI) S 21083 21085 20844 0 -1 4194304 336 5221 0 0 0 0 100 4 16 0 1 0 314921006 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21085/statm: 1339 239 197 169 0 50 0
[pid=21091] ppid=21085 vsize=21448 CPUtime=539.34
/proc/21091/stat : 21091 (minisat_static) R 21085 21085 20844 0 -1 4194304 5156 0 0 0 53928 6 0 0 25 0 1 0 314921112 21962752 5142 1992294400 134512640 135215339 4294956240 18446744073709551615 134529051 0 0 4096 3 0 0 0 17 1 0 0
/proc/21091/statm: 5362 5142 77 171 0 5189 0
Current children cumulated CPU time (s) 540.38
Current children cumulated vsize (KiB) 26804
[startup+541.102 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 21091
/proc/meminfo: memFree=1375776/2055920 swapFree=4180524/4192956
[pid=21085] ppid=21083 vsize=5356 CPUtime=1.04
/proc/21085/stat : 21085 (SatELiteGTI) S 21083 21085 20844 0 -1 4194304 336 5221 0 0 0 0 100 4 16 0 1 0 314921006 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21085/statm: 1339 239 197 169 0 50 0
[pid=21091] ppid=21085 vsize=21448 CPUtime=539.74
/proc/21091/stat : 21091 (minisat_static) R 21085 21085 20844 0 -1 4194304 5156 0 0 0 53968 6 0 0 25 0 1 0 314921112 21962752 5142 1992294400 134512640 135215339 4294956240 18446744073709551615 134529051 0 0 4096 3 0 0 0 17 1 0 0
/proc/21091/statm: 5362 5142 77 171 0 5189 0
Current children cumulated CPU time (s) 540.78
Current children cumulated vsize (KiB) 26804
[startup+541.502 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 21091
/proc/meminfo: memFree=1375776/2055920 swapFree=4180524/4192956
[pid=21085] ppid=21083 vsize=5356 CPUtime=1.04
/proc/21085/stat : 21085 (SatELiteGTI) S 21083 21085 20844 0 -1 4194304 336 5221 0 0 0 0 100 4 16 0 1 0 314921006 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21085/statm: 1339 239 197 169 0 50 0
[pid=21091] ppid=21085 vsize=21448 CPUtime=540.14
/proc/21091/stat : 21091 (minisat_static) R 21085 21085 20844 0 -1 4194304 5156 0 0 0 54008 6 0 0 25 0 1 0 314921112 21962752 5142 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 1 0 0
/proc/21091/statm: 5362 5142 77 171 0 5189 0
Current children cumulated CPU time (s) 541.18
Current children cumulated vsize (KiB) 26804
Child status: 20
Real time (s): 541.513
CPU time (s): 541.215
CPU user time (s): 541.094
CPU system time (s): 0.120981
CPU usage (%): 99.945
Max. virtual memory (cumulated for all children) (KiB): 26804
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 541.094
system time used= 0.120981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10874
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= 46
involuntary context switches= 2692
runsolver used 0.558915 second user time and 1.50877 second system time
The end
Begin job on node80 at 2009-05-21 03:22:01
IDJOB=1837392
IDBENCH=70940
IDSOLVER=674
FILE ID=node80/1837392-1242868920
PBS_JOBID= 9328593
Free space on /tmp= 65964 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/bioinfo/q_query_3_l44_lambda.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1837392-1242868920/watcher-1837392-1242868920 -o /tmp/evaluation-result-1837392-1242868920/solver-1837392-1242868920 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837392-1242868920.cnf
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= a7bc41b32260e4459b2bee7c18cacba1
RANDOM SEED=718155383
node80.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.270
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.270
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: 1400280 kB
Buffers: 62428 kB
Cached: 535352 kB
SwapCached: 7148 kB
Active: 337024 kB
Inactive: 269488 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1400280 kB
SwapTotal: 4192956 kB
SwapFree: 4180524 kB
Dirty: 4456 kB
Writeback: 0 kB
Mapped: 13500 kB
Slab: 35156 kB
Committed_AS: 1142800 kB
PageTables: 1392 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 65964 MiB
End job on node80 at 2009-05-21 03:31:02