0.00/0.00 c Parsing...
0.11/0.13 c ==============================================================================
0.11/0.13 c | | ORIGINAL | LEARNT | |
0.11/0.13 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.11/0.13 c ==============================================================================
0.11/0.13 c | 0 | 147030 430190 | 44108 0 0 nan | 0.000 % |
1.01/1.02 c | 0 | 64819 218530 | -- 0 -- -- | -- | -76809/-195446
1.01/1.02 c ==============================================================================
1.01/1.02 c Result : #vars: 7453 #clauses: 64819 #literals: 218530
1.01/1.02 c CPU time: 0.98 s
1.01/1.02 c ==============================================================================
1.01/1.10 c This is MiniSat 2.0 beta
1.01/1.10 c WARNING: for repeatability, setting FPU to use double precision
1.01/1.10 c ============================[ Problem Statistics ]=============================
1.01/1.10 c | |
1.01/1.10 c | Number of variables: 7453 |
1.01/1.10 c | Number of clauses: 64819 |
1.10/1.14 c | Parsing time: 0.04 s |
1.10/1.14 c ============================[ Search Statistics ]==============================
1.10/1.14 c | Conflicts | ORIGINAL | LEARNT | Progress |
1.10/1.14 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1.10/1.14 c ===============================================================================
1.10/1.14 c | 0 | 7453 64819 218530 | 21606 0 nan | 0.000 % |
1.10/1.15 c | 101 | 7452 64819 218530 | 21606 100 8 | 0.013 % |
1.10/1.15 c | 203 | 7452 64819 218530 | 21606 202 9 | 0.013 % |
1.10/1.16 c | 304 | 7452 64819 218530 | 21606 303 10 | 0.013 % |
1.10/1.16 c | 415 | 7452 64819 218530 | 21606 414 11 | 0.013 % |
1.10/1.17 c | 515 | 7451 64819 218530 | 21606 513 11 | 0.040 % |
1.10/1.18 c | 626 | 7451 64819 218530 | 21606 624 12 | 0.040 % |
1.10/1.18 c | 747 | 7451 64819 218530 | 21606 745 12 | 0.040 % |
1.10/1.19 c | 847 | 7451 64819 218530 | 21606 845 12 | 0.040 % |
1.10/1.20 c | 960 | 7451 64819 218530 | 21606 958 12 | 0.040 % |
1.10/1.20 c | 1082 | 7451 64819 218530 | 21606 1080 12 | 0.040 % |
1.10/1.21 c | 1217 | 7451 64819 218530 | 21606 1215 12 | 0.040 % |
1.10/1.21 c | 1317 | 7451 64819 218530 | 21606 1315 12 | 0.040 % |
1.10/1.22 c | 1429 | 7451 64819 218530 | 21606 1427 12 | 0.040 % |
1.10/1.23 c | 1551 | 7451 64819 218530 | 21606 1549 12 | 0.040 % |
1.10/1.23 c | 1685 | 7451 64819 218530 | 21606 1683 12 | 0.040 % |
1.10/1.24 c | 1831 | 7451 64819 218530 | 21606 1829 12 | 0.040 % |
1.10/1.24 c | 1932 | 7451 64819 218530 | 21606 1930 12 | 0.040 % |
1.10/1.25 c | 2043 | 7451 64819 218530 | 21606 2041 12 | 0.040 % |
1.10/1.26 c | 2165 | 7450 64414 216553 | 21606 2161 12 | 0.040 % |
1.10/1.27 c | 2298 | 7450 64414 216553 | 21606 2294 12 | 0.040 % |
1.10/1.28 c | 2444 | 7450 64414 216553 | 21606 2440 12 | 0.040 % |
1.10/1.29 c | 2604 | 7450 64414 216553 | 21606 2600 12 | 0.040 % |
1.10/1.29 c | 2708 | 7450 64414 216553 | 21606 2704 12 | 0.040 % |
1.10/1.30 c | 2818 | 7450 64414 216553 | 21606 2814 12 | 0.040 % |
1.10/1.30 c | 2939 | 7450 64414 216553 | 21606 2935 12 | 0.040 % |
1.10/1.31 c | 3072 | 7450 64414 216553 | 21606 3068 12 | 0.040 % |
1.10/1.32 c | 3221 | 7450 64414 216553 | 21606 3217 13 | 0.040 % |
1.10/1.33 c | 3381 | 7450 64414 216553 | 21606 3377 13 | 0.040 % |
1.10/1.34 c | 3558 | 7450 64414 216553 | 21606 3554 13 | 0.040 % |
1.10/1.35 c | 3659 | 7450 64414 216553 | 21606 3655 13 | 0.040 % |
1.10/1.36 c | 3769 | 7450 64414 216553 | 21606 3765 13 | 0.040 % |
1.10/1.36 c | 3890 | 7450 64414 216553 | 21606 3886 13 | 0.040 % |
1.10/1.37 c | 4025 | 7450 64414 216553 | 21606 4021 13 | 0.040 % |
1.10/1.38 c | 4171 | 7450 64414 216553 | 21606 4167 13 | 0.040 % |
1.10/1.39 c | 4332 | 7450 64414 216553 | 21606 4328 13 | 0.040 % |
1.10/1.40 c | 4510 | 7450 64414 216553 | 21606 4506 13 | 0.040 % |
1.10/1.41 c | 4703 | 7450 64414 216553 | 21606 4699 13 | 0.040 % |
1.10/1.42 c | 4804 | 7450 64414 216553 | 21606 4800 13 | 0.040 % |
1.10/1.43 c | 4918 | 7450 64414 216553 | 21606 4914 13 | 0.040 % |
1.10/1.44 c | 5041 | 7450 64414 216553 | 21606 5037 13 | 0.040 % |
1.10/1.45 c | 5175 | 7450 64414 216553 | 21606 5171 13 | 0.040 % |
1.10/1.46 c | 5321 | 7450 64414 216553 | 21606 5317 13 | 0.040 % |
1.10/1.47 c | 5483 | 7450 64414 216553 | 21606 5479 13 | 0.040 % |
1.10/1.48 c | 5659 | 7450 64414 216553 | 21606 5655 13 | 0.040 % |
1.10/1.49 c | 5852 | 7450 64414 216553 | 21606 5848 13 | 0.040 % |
1.10/1.50 c | 6064 | 7450 64414 216553 | 21606 6060 13 | 0.040 % |
1.10/1.51 c | 6165 | 7450 64414 216553 | 21606 6161 13 | 0.040 % |
1.10/1.52 c | 6275 | 7450 64414 216553 | 21606 6271 13 | 0.040 % |
1.10/1.53 c | 6398 | 7450 64414 216553 | 21606 6394 13 | 0.040 % |
1.10/1.54 c | 6532 | 7450 64414 216553 | 21606 6528 13 | 0.040 % |
1.10/1.55 c | 6678 | 7450 64414 216553 | 21606 6674 13 | 0.040 % |
1.10/1.55 c | 6838 | 7450 64414 216553 | 21606 6834 13 | 0.040 % |
1.10/1.57 c | 7014 | 7450 64414 216553 | 21606 7010 13 | 0.040 % |
1.10/1.58 c | 7207 | 7450 64414 216553 | 21606 7203 13 | 0.040 % |
1.10/1.60 c | 7420 | 7450 64414 216553 | 21606 7416 13 | 0.040 % |
1.10/1.61 c | 7653 | 7450 64414 216553 | 21606 7649 13 | 0.040 % |
1.10/1.62 c | 7756 | 7450 64414 216553 | 21606 7752 13 | 0.040 % |
1.10/1.63 c | 7867 | 7450 64414 216553 | 21606 7863 13 | 0.040 % |
1.10/1.64 c | 7988 | 7450 64414 216553 | 21606 7984 13 | 0.040 % |
1.10/1.65 c | 8123 | 7450 64414 216553 | 21606 8119 13 | 0.040 % |
1.10/1.66 c | 8271 | 7450 64414 216553 | 21606 8267 13 | 0.040 % |
1.10/1.67 c | 8433 | 7450 64414 216553 | 21606 8429 13 | 0.040 % |
1.10/1.68 c | 8609 | 7450 64414 216553 | 21606 8605 13 | 0.040 % |
1.10/1.70 c | 8802 | 7450 64414 216553 | 21606 8798 13 | 0.040 % |
1.10/1.71 c | 9015 | 7450 64414 216553 | 21606 9011 13 | 0.040 % |
1.10/1.74 c | 9250 | 7450 64414 216553 | 21606 9246 13 | 0.040 % |
1.10/1.76 c | 9507 | 7450 64414 216553 | 21606 9503 13 | 0.040 % |
1.10/1.77 c | 9608 | 7450 64414 216553 | 21606 9604 13 | 0.040 % |
1.10/1.78 c | 9718 | 7450 64414 216553 | 21606 9714 13 | 0.040 % |
1.10/1.79 c | 9839 | 7450 64414 216553 | 21606 9835 13 | 0.040 % |
1.10/1.80 c | 9972 | 7450 64414 216553 | 21606 9968 13 | 0.040 % |
1.10/1.81 c | 10118 | 7450 64414 216553 | 2147483647 10114 13 | 0.040 % |
1.10/1.83 c | 10278 | 7450 64414 216553 | 2147483647 10274 13 | 0.040 % |
1.10/1.84 c | 10456 | 7450 64414 216553 | 2147483647 10452 14 | 0.040 % |
1.10/1.86 c | 10649 | 7450 64414 216553 | 2147483647 10645 14 | 0.040 % |
1.10/1.88 c | 10863 | 7450 64414 216553 | 2147483647 10859 14 | 0.040 % |
1.10/1.90 c | 11096 | 7450 64414 216553 | 2147483647 11092 14 | 0.040 % |
1.10/1.91 c | 11352 | 7449 64411 216547 | 2147483647 11346 14 | 0.054 % |
1.10/1.93 c | 11633 | 7449 64411 216547 | 2147483647 11627 14 | 0.054 % |
1.10/1.93 c | 11733 | 7449 64411 216547 | 2147483647 11727 14 | 0.054 % |
1.10/1.93 c | 11844 | 7449 64411 216547 | 2147483647 11838 14 | 0.054 % |
1.10/1.94 c | 11965 | 7449 64411 216547 | 2147483647 11959 13 | 0.054 % |
1.10/1.94 c | 12100 | 7449 64411 216547 | 2147483647 12094 13 | 0.054 % |
1.10/1.95 c | 12246 | 7449 64411 216547 | 2147483647 12240 13 | 0.054 % |
1.10/1.95 c | 12406 | 7449 64411 216547 | 2147483647 12400 13 | 0.054 % |
1.10/1.96 c | 12582 | 7449 64411 216547 | 2147483647 12576 13 | 0.054 % |
1.10/1.97 c | 12775 | 7449 64411 216547 | 2147483647 12769 13 | 0.054 % |
1.10/1.99 c | 12988 | 7449 64411 216547 | 2147483647 12982 13 | 0.054 % |
1.10/2.02 c | 13221 | 7449 64411 216547 | 2147483647 13215 13 | 0.054 % |
1.10/2.04 c | 13477 | 7449 64411 216547 | 2147483647 13471 13 | 0.054 % |
1.10/2.07 c | 13759 | 7449 64411 216547 | 2147483647 13753 14 | 0.054 % |
2.11/2.11 c | 14068 | 7449 64411 216547 | 2147483647 14062 14 | 0.054 % |
2.11/2.12 c | 14168 | 7449 64411 216547 | 2147483647 14162 14 | 0.054 % |
2.11/2.12 c | 14278 | 7449 64411 216547 | 2147483647 14272 14 | 0.054 % |
2.11/2.14 c | 14399 | 7449 64411 216547 | 2147483647 14393 13 | 0.054 % |
2.11/2.15 c | 14534 | 7449 64411 216547 | 2147483647 14528 13 | 0.054 % |
2.11/2.16 c | 14683 | 7449 64411 216547 | 2147483647 14677 13 | 0.054 % |
2.11/2.18 c | 14845 | 7449 64411 216547 | 2147483647 14839 14 | 0.054 % |
2.11/2.19 c | 15021 | 7449 64411 216547 | 2147483647 15015 14 | 0.054 % |
2.22/2.21 c | 15217 | 7449 64411 216547 | 2147483647 15211 14 | 0.054 % |
2.22/2.24 c | 15431 | 7449 64411 216547 | 2147483647 15425 14 | 0.054 % |
2.22/2.26 c | 15664 | 7449 64411 216547 | 2147483647 15658 14 | 0.054 % |
2.22/2.29 c | 15921 | 7449 64411 216547 | 2147483647 15915 14 | 0.054 % |
2.31/2.31 c | 16205 | 7449 64411 216547 | 2147483647 16199 14 | 0.054 % |
2.31/2.35 c | 16515 | 7449 64411 216547 | 2147483647 16509 14 | 0.054 % |
2.31/2.38 c | 16855 | 7449 64411 216547 | 2147483647 16849 14 | 0.054 % |
2.31/2.40 c | 16955 | 7449 64411 216547 | 2147483647 16949 14 | 0.054 % |
2.41/2.41 c | 17066 | 7449 64411 216547 | 2147483647 17060 14 | 0.054 % |
2.41/2.43 c | 17187 | 7449 64411 216547 | 2147483647 17181 14 | 0.054 % |
2.41/2.45 c | 17320 | 7449 64411 216547 | 2147483647 17314 14 | 0.054 % |
2.41/2.46 c | 17466 | 7449 64411 216547 | 2147483647 17460 14 | 0.054 % |
2.41/2.48 c | 17627 | 7449 64411 216547 | 2147483647 17621 14 | 0.054 % |
2.41/2.50 c | 17803 | 7449 64411 216547 | 2147483647 17797 14 | 0.054 % |
2.51/2.52 c | 17997 | 7449 64411 216547 | 2147483647 17991 14 | 0.054 % |
2.51/2.55 c | 18210 | 7449 64411 216547 | 2147483647 18204 14 | 0.054 % |
2.51/2.57 c | 18444 | 7449 64411 216547 | 2147483647 18438 14 | 0.054 % |
2.61/2.61 c | 18700 | 7449 64411 216547 | 2147483647 18694 14 | 0.054 % |
2.61/2.64 c | 18983 | 7449 64411 216547 | 2147483647 18977 14 | 0.054 % |
2.61/2.68 c | 19293 | 7449 64411 216547 | 2147483647 19287 14 | 0.054 % |
2.71/2.72 c | 19632 | 7449 64411 216547 | 2147483647 19626 14 | 0.054 % |
2.71/2.76 c | 20004 | 7449 64411 216547 | 2147483647 19998 14 | 0.054 % |
2.71/2.78 c | 20105 | 7449 64411 216547 | 2147483647 20099 14 | 0.054 % |
2.71/2.80 c | 20215 | 7449 64411 216547 | 2147483647 20209 14 | 0.054 % |
2.81/2.81 c | 20336 | 7449 64411 216547 | 2147483647 20330 14 | 0.054 % |
2.81/2.83 c | 20469 | 7449 64411 216547 | 2147483647 20463 14 | 0.054 % |
2.81/2.86 c | 20615 | 7449 64411 216547 | 2147483647 20609 14 | 0.054 % |
2.81/2.87 c | 20778 | 7449 64411 216547 | 2147483647 20772 14 | 0.054 % |
2.81/2.89 c | 20954 | 7449 64411 216547 | 2147483647 20948 14 | 0.054 % |
2.91/2.93 c | 21148 | 7449 64411 216547 | 2147483647 21142 14 | 0.054 % |
2.91/2.95 c | 21360 | 7449 64411 216547 | 2147483647 21354 14 | 0.054 % |
2.91/2.98 c | 21593 | 7449 64411 216547 | 2147483647 21587 14 | 0.054 % |
3.01/3.02 c | 21852 | 7449 64411 216547 | 2147483647 21846 14 | 0.054 % |
3.01/3.06 c | 22134 | 7449 64411 216547 | 2147483647 22128 14 | 0.054 % |
3.01/3.10 c | 22444 | 7449 64411 216547 | 2147483647 22438 14 | 0.054 % |
3.11/3.15 c | 22783 | 7449 64411 216547 | 2147483647 22777 14 | 0.054 % |
3.11/3.19 c | 23155 | 7449 64411 216547 | 2147483647 23149 14 | 0.054 % |
3.21/3.26 c | 23564 | 7449 64411 216547 | 2147483647 23558 15 | 0.054 % |
3.21/3.28 c | 23664 | 7449 64411 216547 | 2147483647 23658 15 | 0.054 % |
3.21/3.30 c | 23775 | 7449 64411 216547 | 2147483647 23769 15 | 0.054 % |
3.32/3.32 c | 23897 | 7449 64411 216547 | 2147483647 23891 15 | 0.054 % |
3.32/3.33 c | 24031 | 7449 64411 216547 | 2147483647 24025 15 | 0.054 % |
3.32/3.35 c | 24178 | 7449 64411 216547 | 2147483647 24172 15 | 0.054 % |
3.32/3.38 c | 24340 | 7449 64411 216547 | 2147483647 24334 15 | 0.054 % |
3.41/3.41 c | 24516 | 7449 64411 216547 | 2147483647 24510 15 | 0.054 % |
3.41/3.44 c | 24709 | 7449 64411 216547 | 2147483647 24703 15 | 0.054 % |
3.41/3.47 c | 24921 | 7449 64411 216547 | 2147483647 24915 15 | 0.054 % |
3.41/3.50 c | 25156 | 7449 64411 216547 | 2147483647 25150 15 | 0.054 % |
3.51/3.54 c | 25413 | 7449 64411 216547 | 2147483647 25407 15 | 0.054 % |
3.51/3.59 c | 25695 | 7449 64411 216547 | 2147483647 25689 15 | 0.054 % |
3.61/3.63 c | 26004 | 7449 64411 216547 | 2147483647 25998 15 | 0.054 % |
3.61/3.69 c | 26344 | 7449 64411 216547 | 2147483647 26338 15 | 0.054 % |
3.71/3.74 c | 26716 | 7449 64411 216547 | 2147483647 26710 15 | 0.054 % |
3.71/3.79 c | 27127 | 7449 64411 216547 | 2147483647 27121 15 | 0.054 % |
3.81/3.86 c | 27576 | 7449 64411 216547 | 2147483647 27570 15 | 0.054 % |
3.81/3.88 c | 27677 | 7449 64411 216547 | 2147483647 27671 15 | 0.054 % |
3.81/3.89 c | 27788 | 7449 64411 216547 | 2147483647 27782 15 | 0.054 % |
3.91/3.92 c | 27910 | 7449 64411 216547 | 2147483647 27904 15 | 0.054 % |
3.91/3.93 c | 28043 | 7449 64411 216547 | 2147483647 28037 15 | 0.054 % |
3.91/3.96 c | 28189 | 7449 64411 216547 | 2147483647 28183 15 | 0.054 % |
3.91/3.99 c | 28349 | 7449 64411 216547 | 2147483647 28343 15 | 0.054 % |
4.01/4.02 c | 28525 | 7449 64411 216547 | 2147483647 28519 15 | 0.054 % |
4.01/4.05 c | 28719 | 7449 64411 216547 | 2147483647 28713 15 | 0.054 % |
4.01/4.09 c | 28933 | 7449 64411 216547 | 2147483647 28927 15 | 0.054 % |
4.11/4.14 c | 29167 | 7449 64411 216547 | 2147483647 29161 15 | 0.054 % |
4.11/4.17 c | 29423 | 7449 64411 216547 | 2147483647 29417 15 | 0.054 % |
4.21/4.22 c | 29704 | 7449 64411 216547 | 2147483647 29698 15 | 0.054 % |
4.21/4.26 c | 30017 | 7449 64411 216547 | 2147483647 30011 15 | 0.054 % |
4.31/4.33 c | 30356 | 7449 64411 216547 | 2147483647 30350 15 | 0.054 % |
4.31/4.39 c | 30728 | 7449 64411 216547 | 2147483647 30722 15 | 0.054 % |
4.42/4.45 c | 31137 | 7449 64411 216547 | 2147483647 31131 15 | 0.054 % |
4.51/4.55 c | 31587 | 7449 64411 216547 | 2147483647 31581 15 | 0.054 % |
4.61/4.65 c | 32080 | 7449 64411 216547 | 2147483647 32074 15 | 0.054 % |
4.61/4.67 c | 32180 | 7449 64411 216547 | 2147483647 32174 15 | 0.054 % |
4.61/4.70 c | 32292 | 7449 64411 216547 | 2147483647 32286 15 | 0.054 % |
4.71/4.73 c | 32414 | 7449 64411 216547 | 2147483647 32408 15 | 0.054 % |
4.71/4.75 c | 32547 | 7449 64411 216547 | 2147483647 32541 15 | 0.054 % |
4.71/4.78 c | 32694 | 7449 64411 216547 | 2147483647 32688 15 | 0.054 % |
4.71/4.80 c | 32854 | 7449 64411 216547 | 2147483647 32848 15 | 0.054 % |
4.81/4.83 c | 33032 | 7449 64411 216547 | 2147483647 33026 15 | 0.054 % |
4.81/4.86 c | 33225 | 7449 64411 216547 | 2147483647 33219 15 | 0.054 % |
4.81/4.90 c | 33437 | 7449 64411 216547 | 2147483647 33431 15 | 0.054 % |
4.91/4.93 c | 33670 | 7449 64411 216547 | 2147483647 33664 15 | 0.054 % |
4.91/4.97 c | 33926 | 7449 64411 216547 | 2147483647 33920 15 | 0.054 % |
5.01/5.04 c | 34210 | 7449 64411 216547 | 2147483647 34204 15 | 0.054 % |
5.01/5.09 c | 34519 | 7449 64411 216547 | 2147483647 34513 15 | 0.054 % |
5.11/5.17 c | 34858 | 7449 64411 216547 | 2147483647 34852 15 | 0.054 % |
5.21/5.23 c | 35231 | 7449 64411 216547 | 2147483647 35225 15 | 0.054 % |
5.21/5.31 c | 35642 | 7449 64411 216547 | 2147483647 35636 15 | 0.054 % |
5.32/5.41 c | 36091 | 7449 64411 216547 | 2147483647 36085 15 | 0.054 % |
5.42/5.50 c | 36584 | 7449 64411 216547 | 2147483647 36578 15 | 0.054 % |
5.62/5.64 c | 37126 | 7449 64411 216547 | 2147483647 37120 15 | 0.054 % |
5.62/5.65 c | 37226 | 7449 64411 216547 | 2147483647 37220 15 | 0.054 % |
5.62/5.68 c | 37338 | 7449 64411 216547 | 2147483647 37332 16 | 0.054 % |
5.62/5.71 c | 37460 | 7449 64411 216547 | 2147483647 37454 16 | 0.054 % |
5.72/5.74 c | 37593 | 7449 64411 216547 | 2147483647 37587 16 | 0.054 % |
5.72/5.76 c | 37740 | 7449 64411 216547 | 2147483647 37734 16 | 0.054 % |
5.72/5.80 c | 37900 | 7449 64411 216547 | 2147483647 37894 16 | 0.054 % |
5.82/5.83 c | 38078 | 7449 64411 216547 | 2147483647 38072 16 | 0.054 % |
5.82/5.89 c | 38273 | 7449 64411 216547 | 2147483647 38267 16 | 0.054 % |
5.92/5.94 c | 38485 | 7449 64411 216547 | 2147483647 38479 16 | 0.054 % |
5.92/5.97 c | 38719 | 7449 64411 216547 | 2147483647 38713 16 | 0.054 % |
6.02/6.02 c | 38977 | 7449 64411 216547 | 2147483647 38971 16 | 0.054 % |
6.02/6.10 c | 39258 | 7449 64411 216547 | 2147483647 39252 16 | 0.054 % |
6.12/6.17 c | 39569 | 7449 64411 216547 | 2147483647 39563 16 | 0.054 % |
6.22/6.25 c | 39908 | 7449 64411 216547 | 2147483647 39902 16 | 0.054 % |
6.32/6.34 c | 40281 | 7449 64411 216547 | 2147483647 40275 16 | 0.054 % |
6.42/6.43 c | 40690 | 7449 64411 216547 | 2147483647 40684 16 | 0.054 % |
6.52/6.56 c | 41143 | 7449 64411 216547 | 2147483647 41137 16 | 0.054 % |
6.62/6.69 c | 41636 | 7449 64411 216547 | 2147483647 41630 16 | 0.054 % |
6.72/6.79 c | 42181 | 7449 64411 216547 | 2147483647 42175 16 | 0.054 % |
6.92/6.95 c | 42779 | 7449 64411 216547 | 2147483647 42773 16 | 0.054 % |
6.92/6.98 c | 42882 | 7449 64411 216547 | 2147483647 42876 16 | 0.054 % |
6.92/7.01 c | 42994 | 7449 64411 216547 | 2147483647 42988 16 | 0.054 % |
7.02/7.04 c | 43115 | 7449 64411 216547 | 2147483647 43109 16 | 0.054 % |
7.02/7.07 c | 43249 | 7449 64411 216547 | 2147483647 43243 16 | 0.054 % |
7.02/7.10 c | 43395 | 7449 64411 216547 | 2147483647 43389 16 | 0.054 % |
7.12/7.14 c | 43557 | 7449 64411 216547 | 2147483647 43551 16 | 0.054 % |
7.12/7.18 c | 43735 | 7449 64411 216547 | 2147483647 43729 16 | 0.054 % |
7.22/7.23 c | 43928 | 7449 64411 216547 | 2147483647 43922 16 | 0.054 % |
7.22/7.29 c | 44141 | 7449 64411 216547 | 2147483647 44135 16 | 0.054 % |
7.32/7.34 c | 44374 | 7449 64411 216547 | 2147483647 44368 16 | 0.054 % |
7.42/7.42 c | 44633 | 7449 64411 216547 | 2147483647 44627 16 | 0.054 % |
7.42/7.50 c | 44914 | 7449 64411 216547 | 2147483647 44908 16 | 0.054 % |
7.52/7.57 c | 45223 | 7449 64411 216547 | 2147483647 45217 16 | 0.054 % |
7.62/7.68 c | 45562 | 7449 64411 216547 | 2147483647 45556 16 | 0.054 % |
7.72/7.80 c | 45934 | 7449 64411 216547 | 2147483647 45928 16 | 0.054 % |
7.82/7.91 c | 46343 | 7449 64411 216547 | 2147483647 46337 16 | 0.054 % |
8.02/8.03 c | 46792 | 7449 64411 216547 | 2147483647 46786 16 | 0.054 % |
8.12/8.18 c | 47286 | 7449 64411 216547 | 2147483647 47280 16 | 0.054 % |
8.32/8.34 c | 47828 | 7449 64411 216547 | 2147483647 47822 16 | 0.054 % |
8.42/8.50 c | 48425 | 7449 64411 216547 | 2147483647 48419 16 | 0.054 % |
8.62/8.68 c | 49080 | 7449 64411 216547 | 2147483647 49074 16 | 0.054 % |
8.62/8.71 c | 49183 | 7449 64411 216547 | 2147483647 49177 17 | 0.054 % |
8.72/8.75 c | 49293 | 7449 64411 216547 | 2147483647 49287 17 | 0.054 % |
8.72/8.77 c | 49414 | 7449 64411 216547 | 2147483647 49408 17 | 0.054 % |
8.72/8.80 c | 49548 | 7449 64411 216547 | 2147483647 49542 17 | 0.054 % |
8.82/8.85 c | 49695 | 7449 64411 216547 | 2147483647 49689 17 | 0.054 % |
8.82/8.91 c | 49855 | 7449 64411 216547 | 2147483647 49849 17 | 0.054 % |
8.92/8.97 c | 50031 | 7449 64411 216547 | 2147483647 50025 17 | 0.054 % |
9.02/9.02 c | 50224 | 7449 64411 216547 | 2147483647 50218 17 | 0.054 % |
9.02/9.08 c | 50436 | 7449 64411 216547 | 2147483647 50430 17 | 0.054 % |
9.12/9.15 c | 50669 | 7449 64411 216547 | 2147483647 50663 17 | 0.054 % |
9.12/9.21 c | 50925 | 7449 64411 216547 | 2147483647 50919 17 | 0.054 % |
9.22/9.27 c | 51206 | 7449 64411 216547 | 2147483647 51200 17 | 0.054 % |
9.32/9.36 c | 51516 | 7449 64411 216547 | 2147483647 51510 17 | 0.054 % |
9.42/9.47 c | 51856 | 7449 64411 216547 | 2147483647 51850 17 | 0.054 % |
9.52/9.59 c | 52229 | 7449 64411 216547 | 2147483647 52223 17 | 0.054 % |
9.62/9.70 c | 52638 | 7449 64411 216547 | 2147483647 52632 17 | 0.054 % |
9.72/9.78 c | 53087 | 7449 64411 216547 | 2147483647 53081 17 | 0.054 % |
9.92/9.93 c | 53580 | 7449 64411 216547 | 2147483647 53574 17 | 0.054 % |
10.12/10.11 c | 54123 | 7449 64411 216547 | 2147483647 54117 17 | 0.054 % |
10.32/10.31 c | 54719 | 7449 64411 216547 | 2147483647 54713 17 | 0.054 % |
10.52/10.59 c | 55374 | 7449 64411 216547 | 2147483647 55368 17 | 0.054 % |
10.82/10.85 c | 56094 | 7449 64411 216547 | 2147483647 56088 17 | 0.054 % |
10.82/10.90 c | 56194 | 7449 64411 216547 | 2147483647 56188 17 | 0.054 % |
10.92/10.94 c | 56304 | 7449 64411 216547 | 2147483647 56298 17 | 0.054 % |
10.92/10.98 c | 56425 | 7449 64411 216547 | 2147483647 56419 17 | 0.054 % |
11.02/11.03 c | 56558 | 7449 64411 216547 | 2147483647 56552 17 | 0.054 % |
11.02/11.09 c | 56704 | 7449 64411 216547 | 2147483647 56698 17 | 0.054 % |
11.12/11.16 c | 56865 | 7449 64411 216547 | 2147483647 56859 17 | 0.054 % |
11.22/11.22 c | 57041 | 7449 64411 216547 | 2147483647 57035 17 | 0.054 % |
11.22/11.29 c | 57234 | 7449 64411 216547 | 2147483647 57228 17 | 0.054 % |
11.32/11.36 c | 57448 | 7449 64411 216547 | 2147483647 57442 17 | 0.054 % |
11.42/11.45 c | 57681 | 7449 64411 216547 | 2147483647 57675 17 | 0.054 % |
11.52/11.57 c | 57937 | 7449 64411 216547 | 2147483647 57931 17 | 0.054 % |
11.62/11.69 c | 58218 | 7449 64411 216547 | 2147483647 58212 17 | 0.054 % |
11.72/11.80 c | 58527 | 7449 64411 216547 | 2147483647 58521 17 | 0.054 % |
11.92/11.96 c | 58867 | 7449 64411 216547 | 2147483647 58861 17 | 0.054 % |
12.12/12.13 c | 59239 | 7449 64411 216547 | 2147483647 59233 17 | 0.054 % |
12.32/12.32 c | 59648 | 7449 64411 216547 | 2147483647 59642 17 | 0.054 % |
12.42/12.51 c | 60097 | 7449 64411 216547 | 2147483647 60091 17 | 0.054 % |
12.72/12.73 c | 60592 | 7449 64411 216547 | 2147483647 60586 17 | 0.054 % |
12.92/12.99 c | 61134 | 7449 64411 216547 | 2147483647 61128 17 | 0.054 % |
13.22/13.26 c | 61730 | 7449 64411 216547 | 2147483647 61724 17 | 0.054 % |
13.42/13.46 c | 62385 | 7449 64411 216547 | 2147483647 62379 17 | 0.054 % |
13.82/13.83 c | 63109 | 7449 64411 216547 | 2147483647 63103 17 | 0.054 % |
14.12/14.20 c | 63903 | 7449 64411 216547 | 2147483647 63897 17 | 0.054 % |
14.22/14.24 c | 64003 | 7449 64411 216547 | 2147483647 63997 17 | 0.054 % |
14.22/14.30 c | 64117 | 7449 64411 216547 | 2147483647 64111 17 | 0.054 % |
14.32/14.34 c | 64239 | 7449 64411 216547 | 2147483647 64233 17 | 0.054 % |
14.32/14.39 c | 64373 | 7449 64411 216547 | 2147483647 64367 17 | 0.054 % |
14.42/14.44 c | 64519 | 7449 64411 216547 | 2147483647 64513 17 | 0.054 % |
14.42/14.51 c | 64680 | 7449 64411 216547 | 2147483647 64674 17 | 0.054 % |
14.62/14.61 c | 64856 | 7449 64411 216547 | 2147483647 64850 17 | 0.054 % |
14.72/14.72 c | 65049 | 7449 64411 216547 | 2147483647 65043 17 | 0.054 % |
14.82/14.85 c | 65261 | 7449 64411 216547 | 2147483647 65255 17 | 0.054 % |
14.92/14.94 c | 65496 | 7449 64411 216547 | 2147483647 65490 17 | 0.054 % |
15.02/15.08 c | 65752 | 7449 64411 216547 | 2147483647 65746 17 | 0.054 % |
15.22/15.23 c | 66033 | 7449 64411 216547 | 2147483647 66027 17 | 0.054 % |
15.32/15.36 c | 66344 | 7449 64411 216547 | 2147483647 66338 17 | 0.054 % |
15.52/15.54 c | 66684 | 7449 64411 216547 | 2147483647 66678 18 | 0.054 % |
15.72/15.74 c | 67057 | 7449 64411 216547 | 2147483647 67051 18 | 0.054 % |
15.92/15.93 c | 67468 | 7449 64411 216547 | 2147483647 67462 18 | 0.054 % |
16.02/16.09 c | 67917 | 7449 64411 216547 | 2147483647 67911 18 | 0.054 % |
16.32/16.33 c | 68410 | 7449 64411 216547 | 2147483647 68404 18 | 0.054 % |
16.52/16.59 c | 68953 | 7449 64411 216547 | 2147483647 68947 18 | 0.054 % |
17.02/17.02 c | 69550 | 7449 64411 216547 | 2147483647 69544 18 | 0.054 % |
17.22/17.25 c | 70205 | 7449 64411 216547 | 2147483647 70199 18 | 0.054 % |
17.62/17.65 c | 70925 | 7449 64411 216547 | 2147483647 70919 18 | 0.054 % |
17.92/17.97 c | 71719 | 7449 64411 216547 | 2147483647 71713 18 | 0.054 % |
18.42/18.48 c | 72591 | 7449 64411 216547 | 2147483647 72585 18 | 0.054 % |
18.52/18.53 c | 72691 | 7449 64411 216547 | 2147483647 72685 18 | 0.054 % |
18.52/18.60 c | 72801 | 7449 64411 216547 | 2147483647 72795 18 | 0.054 % |
18.62/18.67 c | 72923 | 7449 64411 216547 | 2147483647 72917 18 | 0.054 % |
18.72/18.75 c | 73056 | 7449 64411 216547 | 2147483647 73050 18 | 0.054 % |
18.82/18.85 c | 73203 | 7449 64411 216547 | 2147483647 73197 18 | 0.054 % |
18.92/18.95 c | 73365 | 7449 64411 216547 | 2147483647 73359 18 | 0.054 % |
19.02/19.09 c | 73541 | 7449 64411 216547 | 2147483647 73535 18 | 0.054 % |
19.22/19.22 c | 73735 | 7449 64411 216547 | 2147483647 73729 18 | 0.054 % |
19.32/19.32 c | 73950 | 7449 64411 216547 | 2147483647 73944 18 | 0.054 % |
19.42/19.44 c | 74185 | 7449 64411 216547 | 2147483647 74179 18 | 0.054 % |
19.52/19.55 c | 74444 | 7449 64411 216547 | 2147483647 74438 18 | 0.054 % |
19.62/19.67 c | 74727 | 7449 64411 216547 | 2147483647 74721 18 | 0.054 % |
19.72/19.80 c | 75039 | 7449 64411 216547 | 2147483647 75033 18 | 0.054 % |
20.02/20.02 c | 75380 | 7449 64411 216547 | 2147483647 75374 18 | 0.054 % |
20.22/20.26 c | 75752 | 7449 64411 216547 | 2147483647 75746 18 | 0.054 % |
20.42/20.49 c | 76161 | 7449 64411 216547 | 2147483647 76155 18 | 0.054 % |
20.82/20.85 c | 76612 | 7449 64411 216547 | 2147483647 76606 18 | 0.054 % |
21.12/21.13 c | 77106 | 7449 64411 216547 | 2147483647 77100 18 | 0.054 % |
21.42/21.46 c | 77648 | 7449 64411 216547 | 2147483647 77642 18 | 0.054 % |
21.82/21.82 c | 78244 | 7449 64411 216547 | 2147483647 78238 18 | 0.054 % |
22.32/22.33 c | 78899 | 7449 64411 216547 | 2147483647 78893 18 | 0.054 % |
22.72/22.74 c | 79621 | 7449 64411 216547 | 2147483647 79615 18 | 0.054 % |
23.32/23.33 c | 80414 | 7449 64411 216547 | 2147483647 80408 18 | 0.054 % |
23.92/23.94 c | 81285 | 7449 64411 216547 | 2147483647 81279 18 | 0.054 % |
24.52/24.53 c | 82243 | 7449 64411 216547 | 2147483647 82237 18 | 0.054 % |
24.52/24.60 c | 82345 | 7449 64411 216547 | 2147483647 82339 18 | 0.054 % |
24.62/24.67 c | 82455 | 7449 64411 216547 | 2147483647 82449 18 | 0.054 % |
24.72/24.74 c | 82576 | 7449 64411 216547 | 2147483647 82570 18 | 0.054 % |
24.82/24.84 c | 82709 | 7449 64411 216547 | 2147483647 82703 18 | 0.054 % |
24.92/24.94 c | 82857 | 7449 64411 216547 | 2147483647 82851 18 | 0.054 % |
25.02/25.05 c | 83017 | 7449 64411 216547 | 2147483647 83011 18 | 0.054 % |
25.12/25.21 c | 83193 | 7449 64411 216547 | 2147483647 83187 18 | 0.054 % |
25.32/25.39 c | 83388 | 7449 64411 216547 | 2147483647 83382 18 | 0.054 % |
25.42/25.50 c | 83600 | 7449 64411 216547 | 2147483647 83594 18 | 0.054 % |
25.62/25.67 c | 83833 | 7449 64411 216547 | 2147483647 83827 18 | 0.054 % |
25.82/25.89 c | 84090 | 7449 64411 216547 | 2147483647 84084 18 | 0.054 % |
26.02/26.03 c | 84371 | 7449 64411 216547 | 2147483647 84365 18 | 0.054 % |
26.22/26.26 c | 84680 | 7449 64411 216547 | 2147483647 84674 18 | 0.054 % |
26.42/26.48 c | 85021 | 7449 64411 216547 | 2147483647 85015 18 | 0.054 % |
26.72/26.78 c | 85393 | 7449 64411 216547 | 2147483647 85387 18 | 0.054 % |
27.02/27.05 c | 85802 | 7449 64411 216547 | 2147483647 85796 18 | 0.054 % |
27.32/27.39 c | 86253 | 7449 64411 216547 | 2147483647 86247 18 | 0.054 % |
27.62/27.70 c | 86749 | 7449 64411 216547 | 2147483647 86743 18 | 0.054 % |
28.02/28.01 c | 87294 | 7449 64411 216547 | 2147483647 87288 18 | 0.054 % |
28.42/28.47 c | 87890 | 7447 64401 216524 | 2147483647 87883 18 | 0.081 % |
28.92/28.99 c | 88545 | 7447 64401 216524 | 2147483647 88538 18 | 0.081 % |
29.52/29.61 c | 89267 | 7447 64401 216524 | 2147483647 89260 19 | 0.081 % |
30.22/30.25 c | 90060 | 7447 64401 216524 | 89993 90053 19 | 0.081 % |
30.92/30.93 c | 90932 | 7447 64401 216524 | 89993 78246 19 | 0.081 % |
31.72/31.79 c | 91891 | 7447 64401 216524 | 89993 79205 19 | 0.081 % |
32.72/32.71 c | 92946 | 7447 64401 216524 | 89993 80260 19 | 0.081 % |
32.82/32.81 c | 93047 | 7447 64401 216524 | 89993 80361 19 | 0.081 % |
32.92/32.94 c | 93159 | 7447 64401 216524 | 89993 80473 19 | 0.081 % |
32.92/33.00 c | 93280 | 7447 64401 216524 | 89993 80594 19 | 0.081 % |
33.02/33.08 c | 93413 | 7447 64401 216524 | 89993 80727 19 | 0.081 % |
33.12/33.16 c | 93561 | 7447 64401 216524 | 89993 80875 19 | 0.081 % |
33.22/33.27 c | 93722 | 7447 64401 216524 | 89993 81036 19 | 0.081 % |
33.42/33.43 c | 93899 | 7447 64401 216524 | 89993 81213 19 | 0.081 % |
33.52/33.59 c | 94094 | 7447 64401 216524 | 89993 81408 19 | 0.081 % |
33.72/33.76 c | 94307 | 7447 64401 216524 | 89993 81621 19 | 0.081 % |
33.82/33.91 c | 94541 | 7447 64401 216524 | 89993 81855 19 | 0.081 % |
34.12/34.12 c | 94798 | 7447 64401 216524 | 89993 82112 19 | 0.081 % |
34.32/34.40 c | 95079 | 7447 64401 216524 | 89993 82393 19 | 0.081 % |
34.62/34.67 c | 95393 | 7447 64401 216524 | 89993 82707 19 | 0.081 % |
34.82/34.90 c | 95734 | 7447 64401 216524 | 89993 83048 19 | 0.081 % |
35.12/35.17 c | 96106 | 7447 64401 216524 | 89993 83420 19 | 0.081 % |
35.42/35.51 c | 96517 | 7447 64401 216524 | 89993 83831 19 | 0.081 % |
35.82/35.89 c | 96967 | 7447 64401 216524 | 89993 84281 19 | 0.081 % |
36.32/36.33 c | 97460 | 7447 64401 216524 | 89993 84774 19 | 0.081 % |
36.82/36.88 c | 98004 | 7447 64401 216524 | 89993 85318 19 | 0.081 % |
37.02/37.08 c | 98604 | 7447 64401 216524 | 89993 85918 19 | 0.081 % |
37.52/37.53 c | 99259 | 7447 64401 216524 | 89993 86573 19 | 0.081 % |
37.72/37.74 c | 99979 | 7447 64401 216524 | 89993 87293 19 | 0.081 % |
38.12/38.20 c | 100772 | 7447 64401 216524 | 87314 88086 19 | 0.081 % |
38.82/38.83 c | 101644 | 7447 64401 216524 | 87314 75560 19 | 0.081 % |
39.22/39.23 c | 102602 | 7447 64401 216524 | 87314 76518 19 | 0.081 % |
39.52/39.55 c | 103657 | 7447 64401 216524 | 87314 77573 19 | 0.081 % |
40.02/40.06 c | 104815 | 7447 64401 216524 | 87314 78731 19 | 0.081 % |
40.02/40.10 c | 104915 | 7447 64401 216524 | 87314 78831 19 | 0.081 % |
40.12/40.16 c | 105026 | 7447 64401 216524 | 87314 78942 19 | 0.081 % |
40.22/40.30 c | 105148 | 7447 64401 216524 | 87314 79064 19 | 0.081 % |
40.42/40.45 c | 105283 | 7447 64401 216524 | 87314 79199 19 | 0.081 % |
40.52/40.59 c | 105429 | 7447 64401 216524 | 87314 79345 19 | 0.081 % |
40.72/40.74 c | 105589 | 7447 64401 216524 | 87314 79505 19 | 0.081 % |
40.82/40.87 c | 105765 | 7447 64401 216524 | 87314 79681 19 | 0.081 % |
41.02/41.07 c | 105958 | 7447 64401 216524 | 87314 79874 19 | 0.081 % |
41.12/41.21 c | 106171 | 7447 64401 216524 | 87314 80087 19 | 0.081 % |
41.32/41.39 c | 106407 | 7447 64401 216524 | 87314 80323 19 | 0.081 % |
41.62/41.62 c | 106663 | 7447 64401 216524 | 87314 80579 19 | 0.081 % |
41.82/41.83 c | 106945 | 7447 64401 216524 | 87314 80861 19 | 0.081 % |
42.02/42.07 c | 107254 | 7447 64401 216524 | 87314 81170 19 | 0.081 % |
42.32/42.38 c | 107593 | 7447 64401 216524 | 87314 81509 19 | 0.081 % |
42.72/42.77 c | 107966 | 7447 64401 216524 | 87314 81882 19 | 0.081 % |
43.12/43.12 c | 108375 | 7447 64401 216524 | 87314 82291 19 | 0.081 % |
43.52/43.57 c | 108824 | 7447 64401 216524 | 87314 82740 19 | 0.081 % |
43.92/43.96 c | 109321 | 7447 64401 216524 | 87314 83237 19 | 0.081 % |
44.32/44.38 c | 109864 | 7447 64401 216524 | 87314 83780 19 | 0.081 % |
44.62/44.66 c | 110462 | 7447 64401 216524 | 83916 84378 20 | 0.081 % |
45.02/45.01 c | 111117 | 7447 64401 216524 | 83916 75288 19 | 0.081 % |
45.22/45.29 c | 111837 | 7447 64401 216524 | 83916 76008 19 | 0.081 % |
45.62/45.61 c | 112629 | 7447 64401 216524 | 83916 76800 19 | 0.081 % |
46.02/46.08 c | 113505 | 7436 63204 209874 | 83916 77621 19 | 0.228 % |
46.62/46.66 c | 114463 | 7436 63204 209874 | 83916 78579 19 | 0.228 % |
47.42/47.49 c | 115516 | 7436 63204 209874 | 83916 79632 19 | 0.228 % |
48.22/48.27 c | 116674 | 7436 63204 209874 | 83916 80790 19 | 0.228 % |
49.22/49.27 c | 117948 | 7436 63204 209874 | 83916 82064 19 | 0.228 % |
49.32/49.37 c | 118048 | 7436 63204 209874 | 83916 82164 19 | 0.228 % |
49.52/49.51 c | 118159 | 7436 63204 209874 | 83916 82275 19 | 0.228 % |
49.62/49.63 c | 118281 | 7436 63204 209874 | 83916 82397 19 | 0.228 % |
49.72/49.75 c | 118415 | 7436 63204 209874 | 83916 82531 19 | 0.228 % |
49.92/49.92 c | 118561 | 7436 63204 209874 | 83916 82677 19 | 0.228 % |
50.12/50.11 c | 118721 | 7436 63204 209874 | 83916 82837 19 | 0.228 % |
50.22/50.29 c | 118897 | 7436 63204 209874 | 83916 83013 19 | 0.228 % |
50.42/50.44 c | 119092 | 7436 63204 209874 | 83916 83208 19 | 0.228 % |
50.52/50.55 c | 119304 | 7436 63204 209874 | 83916 83420 19 | 0.228 % |
50.72/50.75 c | 119538 | 7436 63204 209874 | 83916 83654 19 | 0.228 % |
50.92/50.94 c | 119794 | 7436 63204 209874 | 83916 83910 19 | 0.228 % |
51.22/51.25 c | 120077 | 7436 63204 209874 | 84116 84193 19 | 0.228 % |
51.52/51.56 c | 120387 | 7436 63204 209874 | 84116 74122 19 | 0.228 % |
51.72/51.81 c | 120726 | 7436 63204 209874 | 84116 74461 19 | 0.228 % |
52.12/52.12 c | 121100 | 7436 63204 209874 | 84116 74835 19 | 0.228 % |
52.42/52.42 c | 121510 | 7436 63204 209874 | 84116 75245 19 | 0.228 % |
52.82/52.89 c | 121959 | 7436 63204 209874 | 84116 75694 19 | 0.228 % |
53.22/53.28 c | 122453 | 7436 63204 209874 | 84116 76188 19 | 0.228 % |
53.72/53.74 c | 122995 | 7436 63204 209874 | 84116 76730 19 | 0.228 % |
54.12/54.15 c | 123591 | 7436 63204 209874 | 84116 77326 19 | 0.228 % |
54.52/54.53 c | 124247 | 7436 63204 209874 | 84116 77982 19 | 0.228 % |
55.12/55.13 c | 124967 | 7436 63204 209874 | 84116 78702 19 | 0.228 % |
55.82/55.82 c | 125760 | 7436 63204 209874 | 84116 79495 19 | 0.228 % |
56.42/56.47 c | 126631 | 7436 63204 209874 | 84116 80366 19 | 0.228 % |
57.02/57.11 c | 127590 | 7436 63204 209874 | 84116 81325 19 | 0.228 % |
57.52/57.58 c | 128644 | 7436 63204 209874 | 84116 82379 19 | 0.228 % |
59.32/59.31 c | 129802 | 7434 62940 208829 | 84116 30816 15 | 0.255 % |
59.62/59.63 c | 131075 | 7434 62940 208829 | 31014 28921 16 | 0.255 % |
59.92/59.93 c | 132475 | 7434 62940 208829 | 31014 30321 16 | 0.255 % |
59.92/59.96 c | 132577 | 7434 62940 208829 | 31014 30423 16 | 0.255 % |
59.92/59.98 c | 132688 | 7434 62940 208829 | 31014 30534 16 | 0.255 % |
60.02/60.01 c | 132810 | 7434 62940 208829 | 31014 30656 16 | 0.255 % |
60.02/60.04 c | 132943 | 7434 62940 208829 | 31014 30789 16 | 0.255 % |
60.02/60.09 c | 133089 | 7434 62940 208829 | 31014 30935 16 | 0.255 % |
60.12/60.14 c | 133250 | 7434 62940 208829 | 31014 31096 16 | 0.255 % |
60.12/60.21 c | 133426 | 7434 62940 208829 | 31014 28163 16 | 0.255 % |
60.22/60.27 c | 133620 | 7434 62940 208829 | 31014 28357 16 | 0.255 % |
60.32/60.31 c | 133832 | 7434 62940 208829 | 31014 28569 16 | 0.255 % |
60.32/60.36 c | 134069 | 7434 62940 208829 | 31014 28806 16 | 0.255 % |
60.32/60.41 c | 134325 | 7434 62940 208829 | 31014 29062 16 | 0.255 % |
60.42/60.46 c | 134606 | 7434 62940 208829 | 31014 29343 16 | 0.255 % |
60.52/60.53 c | 134915 | 7434 62940 208829 | 31014 29652 16 | 0.255 % |
60.52/60.59 c | 135255 | 7434 62940 208829 | 31014 29992 16 | 0.255 % |
60.62/60.68 c | 135627 | 7434 62940 208829 | 31014 30364 16 | 0.255 % |
60.72/60.77 c | 136036 | 7434 62940 208829 | 31014 30773 16 | 0.255 % |
60.82/60.85 c | 136486 | 7434 62940 208829 | 31014 31223 16 | 0.255 % |
60.92/60.98 c | 136981 | 7434 62940 208829 | 31014 28596 16 | 0.255 % |
61.02/61.06 c | 137523 | 7434 62940 208829 | 31014 29138 16 | 0.255 % |
61.22/61.21 c | 138120 | 7434 62940 208829 | 31014 29735 16 | 0.255 % |
61.32/61.37 c | 138775 | 7434 62940 208829 | 31014 30390 16 | 0.255 % |
61.42/61.51 c | 139495 | 7434 62940 208829 | 31014 31110 16 | 0.255 % |
61.63/61.69 c | 140287 | 7434 62940 208829 | 2147483647 28791 16 | 0.255 % |
61.82/61.84 c | 141159 | 7434 62940 208829 | 2147483647 29663 16 | 0.255 % |
62.02/62.09 c | 142119 | 7434 62940 208829 | 2147483647 30623 16 | 0.255 % |
62.32/62.33 c | 143172 | 7434 62940 208829 | 2147483647 31676 16 | 0.255 % |
62.62/62.66 c | 144330 | 7434 62940 208829 | 2147483647 32834 17 | 0.255 % |
63.02/63.04 c | 145605 | 7434 62940 208829 | 2147483647 34109 17 | 0.255 % |
63.32/63.40 c | 147005 | 7434 62940 208829 | 2147483647 35509 17 | 0.255 % |
63.72/63.79 c | 148545 | 7434 62940 208829 | 2147483647 37049 17 | 0.255 % |
63.83/63.83 c | 148646 | 7434 62940 208829 | 2147483647 37150 17 | 0.255 % |
63.83/63.86 c | 148757 | 7434 62940 208829 | 2147483647 37261 17 | 0.255 % |
63.83/63.90 c | 148879 | 7434 62940 208829 | 2147483647 37383 17 | 0.255 % |
63.92/63.95 c | 149012 | 7434 62940 208829 | 2147483647 37516 17 | 0.255 % |
63.92/64.01 c | 149160 | 7434 62940 208829 | 2147483647 37664 17 | 0.255 % |
64.02/64.06 c | 149320 | 7434 62940 208829 | 2147483647 37824 17 | 0.255 % |
64.02/64.10 c | 149497 | 7434 62940 208829 | 2147483647 38001 17 | 0.255 % |
64.12/64.16 c | 149691 | 7434 62940 208829 | 2147483647 38195 17 | 0.255 % |
64.22/64.21 c | 149905 | 7434 62940 208829 | 2147483647 38409 17 | 0.255 % |
64.22/64.29 c | 150139 | 7434 62940 208829 | 2147483647 38643 17 | 0.255 % |
64.32/64.36 c | 150395 | 7434 62940 208829 | 2147483647 38899 17 | 0.255 % |
64.42/64.45 c | 150678 | 7434 62940 208829 | 2147483647 39182 17 | 0.255 % |
64.52/64.53 c | 150987 | 7434 62940 208829 | 2147483647 39491 17 | 0.255 % |
64.62/64.62 c | 151329 | 7434 62940 208829 | 2147483647 39833 17 | 0.255 % |
64.72/64.73 c | 151701 | 7434 62940 208829 | 2147483647 40205 17 | 0.255 % |
64.82/64.84 c | 152110 | 7434 62940 208829 | 2147483647 40614 17 | 0.255 % |
64.93/64.96 c | 152562 | 7434 62940 208829 | 2147483647 41066 17 | 0.255 % |
65.02/65.11 c | 153055 | 7434 62940 208829 | 2147483647 41559 17 | 0.255 % |
65.22/65.27 c | 153597 | 7434 62940 208829 | 2147483647 42101 18 | 0.255 % |
65.42/65.48 c | 154194 | 7434 62940 208829 | 2147483647 42698 18 | 0.255 % |
65.62/65.65 c | 154849 | 7434 62940 208829 | 2147483647 43353 18 | 0.255 % |
65.82/65.90 c | 155569 | 7434 62940 208829 | 2147483647 44073 18 | 0.255 % |
66.22/66.22 c | 156361 | 7434 62940 208829 | 2147483647 44865 18 | 0.255 % |
66.52/66.53 c | 157235 | 7434 62940 208829 | 2147483647 45739 18 | 0.255 % |
66.82/66.83 c | 158194 | 7434 62940 208829 | 2147483647 46698 18 | 0.255 % |
67.13/67.19 c | 159249 | 7434 62940 208829 | 2147483647 47753 18 | 0.255 % |
67.62/67.64 c | 160407 | 7434 62940 208829 | 2147483647 48911 18 | 0.255 % |
68.02/68.02 c | 161683 | 7434 62940 208829 | 2147483647 50187 18 | 0.255 % |
68.52/68.59 c | 163084 | 7434 62940 208829 | 2147483647 51588 18 | 0.255 % |
69.02/69.08 c | 164624 | 7434 62940 208829 | 2147483647 53128 19 | 0.255 % |
69.72/69.79 c | 166318 | 7434 62940 208829 | 2147483647 54822 19 | 0.255 % |
69.82/69.84 c | 166419 | 7434 62940 208829 | 2147483647 54923 19 | 0.255 % |
69.82/69.89 c | 166529 | 7434 62940 208829 | 2147483647 55033 19 | 0.255 % |
69.92/69.95 c | 166651 | 7434 62940 208829 | 2147483647 55155 19 | 0.255 % |
69.92/70.00 c | 166787 | 7434 62940 208829 | 2147483647 55291 19 | 0.255 % |
70.02/70.06 c | 166934 | 7434 62940 208829 | 2147483647 55438 19 | 0.255 % |
70.12/70.11 c | 167094 | 7434 62940 208829 | 2147483647 55598 19 | 0.255 % |
70.12/70.19 c | 167270 | 7434 62940 208829 | 2147483647 55774 19 | 0.255 % |
70.22/70.28 c | 167465 | 7434 62940 208829 | 2147483647 55969 19 | 0.255 % |
70.32/70.40 c | 167679 | 7434 62940 208829 | 2147483647 56183 19 | 0.255 % |
70.43/70.50 c | 167916 | 7434 62940 208829 | 2147483647 56420 19 | 0.255 % |
70.52/70.60 c | 168172 | 7434 62940 208829 | 2147483647 56676 19 | 0.255 % |
70.72/70.73 c | 168453 | 7434 62940 208829 | 2147483647 56957 19 | 0.255 % |
70.92/70.91 c | 168762 | 7434 62940 208829 | 2147483647 57266 19 | 0.255 % |
71.02/71.05 c | 169101 | 7434 62940 208829 | 2147483647 57605 19 | 0.255 % |
71.22/71.22 c | 169473 | 7434 62940 208829 | 2147483647 57977 19 | 0.255 % |
71.32/71.38 c | 169883 | 7434 62940 208829 | 2147483647 58387 19 | 0.255 % |
71.53/71.58 c | 170332 | 7434 62940 208829 | 2147483647 58836 19 | 0.255 % |
71.72/71.73 c | 170826 | 7434 62940 208829 | 2147483647 59330 19 | 0.255 % |
71.92/71.97 c | 171369 | 7434 62940 208829 | 2147483647 59873 19 | 0.255 % |
72.12/72.20 c | 171965 | 7434 62940 208829 | 2147483647 60469 19 | 0.255 % |
72.42/72.49 c | 172621 | 7434 62940 208829 | 2147483647 61125 19 | 0.255 % |
72.72/72.76 c | 173341 | 7434 62940 208829 | 2147483647 61845 19 | 0.255 % |
73.12/73.19 c | 174133 | 7434 62940 208829 | 2147483647 62637 19 | 0.255 % |
73.52/73.58 c | 175004 | 7434 62940 208829 | 2147483647 63508 19 | 0.255 % |
74.02/74.01 c | 175962 | 7434 62940 208829 | 2147483647 64466 19 | 0.255 % |
74.32/74.38 c | 177018 | 7434 62940 208829 | 2147483647 65522 19 | 0.255 % |
74.92/74.95 c | 178177 | 7434 62940 208829 | 2147483647 66681 19 | 0.255 % |
75.52/75.58 c | 179450 | 7434 62940 208829 | 2147483647 67954 19 | 0.255 % |
76.12/76.15 c | 180850 | 7434 62940 208829 | 2147483647 69354 20 | 0.255 % |
76.92/76.97 c | 182390 | 7434 62940 208829 | 2147483647 70894 20 | 0.255 % |
77.62/77.67 c | 184085 | 7434 62940 208829 | 2147483647 72589 20 | 0.255 % |
78.62/78.66 c | 185949 | 7434 62940 208829 | 2147483647 74453 20 | 0.255 % |
78.72/78.72 c | 186050 | 7434 62940 208829 | 2147483647 74554 20 | 0.255 % |
78.72/78.79 c | 186162 | 7434 62940 208829 | 2147483647 74666 20 | 0.255 % |
78.82/78.86 c | 186284 | 7434 62940 208829 | 2147483647 74788 20 | 0.255 % |
78.92/78.95 c | 186418 | 7434 62940 208829 | 2147483647 74922 20 | 0.255 % |
79.02/79.05 c | 186566 | 7434 62940 208829 | 2147483647 75070 20 | 0.255 % |
79.12/79.15 c | 186726 | 7434 62940 208829 | 2147483647 75230 20 | 0.255 % |
79.23/79.28 c | 186904 | 7434 62940 208829 | 2147483647 75408 20 | 0.255 % |
79.42/79.41 c | 187097 | 7434 62940 208829 | 2147483647 75601 20 | 0.255 % |
79.52/79.53 c | 187309 | 7434 62940 208829 | 2147483647 75813 20 | 0.255 % |
79.62/79.66 c | 187543 | 7434 62940 208829 | 2147483647 76047 20 | 0.255 % |
79.72/79.75 c | 187799 | 7434 62940 208829 | 2147483647 76303 20 | 0.255 % |
79.92/79.95 c | 188080 | 7434 62940 208829 | 2147483647 76584 20 | 0.255 % |
80.02/80.08 c | 188390 | 7434 62940 208829 | 2147483647 76894 20 | 0.255 % |
80.22/80.22 c | 188729 | 7434 62940 208829 | 2147483647 77233 20 | 0.255 % |
80.42/80.43 c | 189106 | 7434 62940 208829 | 2147483647 77610 20 | 0.255 % |
80.62/80.70 c | 189519 | 7434 62940 208829 | 2147483647 78023 20 | 0.255 % |
80.92/80.96 c | 189968 | 7434 62940 208829 | 2147483647 78472 20 | 0.255 % |
81.32/81.33 c | 190463 | 7434 62940 208829 | 2147483647 78967 20 | 0.255 % |
81.62/81.62 c | 191007 | 7434 62940 208829 | 2147483647 79511 20 | 0.255 % |
81.82/81.90 c | 191603 | 7434 62940 208829 | 2147483647 80107 20 | 0.255 % |
82.22/82.24 c | 192258 | 7434 62940 208829 | 2147483647 80762 20 | 0.255 % |
82.62/82.70 c | 192979 | 7434 62940 208829 | 2147483647 81483 20 | 0.255 % |
83.12/83.15 c | 193771 | 7434 62940 208829 | 2147483647 82275 20 | 0.255 % |
83.72/83.74 c | 194642 | 7434 62940 208829 | 2147483647 83146 20 | 0.255 % |
84.32/84.37 c | 195600 | 7434 62940 208829 | 2147483647 84104 20 | 0.255 % |
85.02/85.05 c | 196653 | 7434 62940 208829 | 2147483647 85157 20 | 0.255 % |
85.83/85.86 c | 197814 | 7434 62940 208829 | 2147483647 86318 20 | 0.255 % |
86.62/86.64 c | 199087 | 7434 62940 208829 | 2147483647 87591 20 | 0.255 % |
87.52/87.53 c | 200488 | 7434 62940 208829 | 2147483647 88992 20 | 0.255 % |
88.52/88.54 c | 202029 | 7434 62940 208829 | 2147483647 90533 20 | 0.255 % |
89.62/89.70 c | 203724 | 7434 62940 208829 | 2147483647 92228 20 | 0.255 % |
91.02/91.06 c | 205587 | 7434 62940 208829 | 2147483647 94091 21 | 0.255 % |
92.62/92.66 c | 207637 | 7434 62940 208829 | 2147483647 96141 21 | 0.255 % |
92.72/92.75 c | 207737 | 7434 62940 208829 | 2147483647 96241 21 | 0.255 % |
92.82/92.85 c | 207847 | 7434 62940 208829 | 2147483647 96351 21 | 0.255 % |
92.92/92.94 c | 207968 | 7434 62940 208829 | 2147483647 96472 21 | 0.255 % |
93.02/93.03 c | 208103 | 7434 62940 208829 | 2147483647 96607 21 | 0.255 % |
93.02/93.08 c | 208252 | 7434 62940 208829 | 2147483647 96756 21 | 0.255 % |
93.12/93.20 c | 208412 | 7434 62940 208829 | 2147483647 96916 21 | 0.255 % |
93.32/93.35 c | 208588 | 7434 62940 208829 | 2147483647 97092 21 | 0.255 % |
93.42/93.51 c | 208781 | 7434 62940 208829 | 2147483647 97285 21 | 0.255 % |
93.62/93.67 c | 208995 | 7434 62940 208829 | 2147483647 97499 21 | 0.255 % |
93.72/93.80 c | 209228 | 7434 62940 208829 | 2147483647 97732 21 | 0.255 % |
94.02/94.05 c | 209484 | 7434 62940 208829 | 2147483647 97988 21 | 0.255 % |
94.22/94.21 c | 209765 | 7434 62940 208829 | 2147483647 98269 21 | 0.255 % |
94.42/94.44 c | 210075 | 7434 62940 208829 | 2147483647 98579 21 | 0.255 % |
94.63/94.69 c | 210415 | 7434 62940 208829 | 2147483647 98919 21 | 0.255 % |
94.92/94.96 c | 210789 | 7434 62940 208829 | 2147483647 99293 21 | 0.255 % |
95.32/95.40 c | 211199 | 7434 62940 208829 | 2147483647 99703 21 | 0.255 % |
95.62/95.69 c | 211648 | 7434 62940 208829 | 2147483647 100152 21 | 0.255 % |
95.92/95.94 c | 212142 | 7434 62940 208829 | 2147483647 100646 21 | 0.255 % |
96.32/96.35 c | 212685 | 7434 62940 208829 | 2147483647 101189 21 | 0.255 % |
96.92/96.91 c | 213282 | 7434 62940 208829 | 2147483647 101786 21 | 0.255 % |
97.32/97.37 c | 213938 | 7434 62940 208829 | 2147483647 102442 21 | 0.255 % |
98.02/98.04 c | 214659 | 7434 62940 208829 | 2147483647 103163 21 | 0.255 % |
98.72/98.80 c | 215452 | 7434 62940 208829 | 2147483647 103956 21 | 0.255 % |
99.32/99.36 c | 216323 | 7434 62940 208829 | 2147483647 104827 21 | 0.255 % |
100.02/100.08 c | 217283 | 7434 62940 208829 | 2147483647 105787 21 | 0.255 % |
101.12/101.16 c | 218337 | 7434 62940 208829 | 2147483647 106841 21 | 0.255 % |
102.12/102.18 c | 219495 | 7434 62940 208829 | 2147483647 107999 21 | 0.255 % |
103.53/103.54 c | 220770 | 7434 62940 208829 | 108504 93524 21 | 0.255 % |
104.53/104.59 c | 222171 | 7434 62940 208829 | 108504 94925 21 | 0.255 % |
105.73/105.76 c | 223713 | 7434 62940 208829 | 108504 96467 21 | 0.255 % |
107.23/107.22 c | 225408 | 7434 62940 208829 | 108504 98162 21 | 0.255 % |
108.33/108.37 c | 227271 | 7433 62937 208823 | 108504 100023 21 | 0.268 % |
109.53/109.61 c | 229321 | 7433 62937 208823 | 108504 102073 21 | 0.268 % |
111.73/111.74 c | 231574 | 7433 62937 208823 | 102753 91046 20 | 0.268 % |
111.83/111.85 c | 231676 | 7433 62937 208823 | 102753 91148 20 | 0.268 % |
111.93/111.92 c | 231787 | 7433 62937 208823 | 102753 91259 20 | 0.268 % |
112.03/112.02 c | 231908 | 7433 62937 208823 | 102753 91380 20 | 0.268 % |
112.13/112.13 c | 232041 | 7433 62937 208823 | 102753 91513 20 | 0.268 % |
112.23/112.27 c | 232188 | 7433 62937 208823 | 102753 91660 20 | 0.268 % |
112.33/112.41 c | 232350 | 7433 62937 208823 | 102753 91822 20 | 0.268 % |
112.53/112.55 c | 232527 | 7433 62937 208823 | 102753 91999 20 | 0.268 % |
112.63/112.71 c | 232721 | 7433 62937 208823 | 102753 92193 20 | 0.268 % |
112.83/112.86 c | 232934 | 7433 62937 208823 | 102753 92406 20 | 0.268 % |
112.93/113.00 c | 233167 | 7433 62937 208823 | 102753 92639 20 | 0.268 % |
113.23/113.23 c | 233423 | 7433 62937 208823 | 102753 92895 20 | 0.268 % |
113.33/113.39 c | 233704 | 7433 62937 208823 | 102753 93176 20 | 0.268 % |
113.63/113.63 c | 234013 | 7433 62937 208823 | 102753 93485 21 | 0.268 % |
113.83/113.85 c | 234352 | 7433 62937 208823 | 102753 93824 21 | 0.268 % |
114.03/114.10 c | 234725 | 7433 62937 208823 | 102753 94197 21 | 0.268 % |
114.33/114.36 c | 235136 | 7433 62937 208823 | 102753 94608 21 | 0.268 % |
114.63/114.63 c | 235585 | 7433 62937 208823 | 102753 95057 21 | 0.268 % |
114.93/115.01 c | 236080 | 7433 62937 208823 | 102753 95552 21 | 0.268 % |
115.43/115.46 c | 236623 | 7433 62937 208823 | 102753 96095 21 | 0.268 % |
115.83/115.84 c | 237220 | 7433 62937 208823 | 102753 96692 21 | 0.268 % |
116.33/116.40 c | 237877 | 7433 62937 208823 | 102753 97349 21 | 0.268 % |
116.93/116.96 c | 238597 | 7433 62937 208823 | 102753 98069 21 | 0.268 % |
117.63/117.66 c | 239391 | 7433 62937 208823 | 102753 98863 21 | 0.268 % |
118.23/118.27 c | 240262 | 7433 62937 208823 | 99472 99734 21 | 0.268 % |
119.03/119.11 c | 241220 | 7433 62937 208823 | 99472 88289 20 | 0.268 % |
119.83/119.91 c | 242274 | 7433 62937 208823 | 99472 89343 20 | 0.268 % |
120.83/120.82 c | 243432 | 7433 62937 208823 | 99472 90501 20 | 0.268 % |
121.63/121.62 c | 244705 | 7433 62937 208823 | 99472 91774 20 | 0.268 % |
122.73/122.80 c | 246105 | 7433 62937 208823 | 99472 93174 20 | 0.268 % |
123.73/123.79 c | 247645 | 7433 62937 208823 | 99472 94714 20 | 0.268 % |
125.23/125.31 c | 249339 | 7433 62937 208823 | 99472 96408 20 | 0.268 % |
126.83/126.87 c | 251203 | 7433 62937 208823 | 97070 86128 20 | 0.268 % |
128.63/128.64 c | 253252 | 7433 62937 208823 | 97070 88177 20 | 0.268 % |
130.03/130.11 c | 255507 | 7433 62937 208823 | 97070 90432 20 | 0.268 % |
131.83/131.82 c | 257985 | 7433 62937 208823 | 97070 92910 20 | 0.268 % |
131.83/131.90 c | 258086 | 7433 62937 208823 | 97070 93011 20 | 0.268 % |
131.93/131.99 c | 258196 | 7433 62937 208823 | 97070 93121 20 | 0.268 % |
132.03/132.11 c | 258318 | 7433 62937 208823 | 97070 93243 20 | 0.268 % |
132.23/132.21 c | 258451 | 7433 62937 208823 | 97070 93376 20 | 0.268 % |
132.33/132.35 c | 258597 | 7433 62937 208823 | 97070 93522 20 | 0.268 % |
132.53/132.51 c | 258759 | 7433 62937 208823 | 97070 93684 20 | 0.268 % |
132.63/132.64 c | 258935 | 7433 62937 208823 | 97070 93860 20 | 0.268 % |
132.73/132.72 c | 259129 | 7433 62937 208823 | 97070 94054 20 | 0.268 % |
132.83/132.89 c | 259342 | 7433 62937 208823 | 97070 94267 20 | 0.268 % |
133.03/133.07 c | 259575 | 7433 62937 208823 | 97070 94500 20 | 0.268 % |
133.23/133.29 c | 259831 | 7433 62937 208823 | 97070 94756 20 | 0.268 % |
133.53/133.55 c | 260112 | 7433 62937 208823 | 94926 95037 20 | 0.268 % |
133.93/133.94 c | 260421 | 7433 62937 208823 | 94926 85574 20 | 0.268 % |
134.13/134.20 c | 260760 | 7433 62937 208823 | 94926 85913 20 | 0.268 % |
134.43/134.44 c | 261134 | 7433 62937 208823 | 94926 86287 20 | 0.268 % |
134.53/134.60 c | 261545 | 7433 62937 208823 | 94926 86698 20 | 0.268 % |
135.03/135.02 c | 261994 | 7433 62937 208823 | 94926 87147 20 | 0.268 % |
135.23/135.22 c | 262488 | 7433 62937 208823 | 94926 87641 20 | 0.268 % |
135.43/135.51 c | 263030 | 7433 62937 208823 | 94926 88183 20 | 0.268 % |
136.03/136.03 c | 263626 | 7433 62937 208823 | 94926 88779 20 | 0.268 % |
136.43/136.49 c | 264281 | 7433 62937 208823 | 94926 89434 20 | 0.268 % |
137.13/137.18 c | 265001 | 7433 62937 208823 | 94926 90154 20 | 0.268 % |
137.63/137.70 c | 265794 | 7433 62937 208823 | 94926 90947 20 | 0.268 % |
138.03/138.10 c | 266667 | 7433 62937 208823 | 94926 91820 20 | 0.268 % |
138.63/138.70 c | 267625 | 7433 62937 208823 | 94926 92778 20 | 0.268 % |
139.53/139.59 c | 268678 | 7433 62937 208823 | 94926 93831 20 | 0.268 % |
140.53/140.57 c | 269837 | 7433 62937 208823 | 94926 94990 20 | 0.268 % |
141.53/141.60 c | 271113 | 7433 62937 208823 | 2147483647 86767 20 | 0.268 % |
142.63/142.71 c | 272513 | 7433 62937 208823 | 2147483647 88167 20 | 0.268 % |
143.63/143.62 c | 274054 | 7433 62937 208823 | 2147483647 89708 20 | 0.268 % |
145.13/145.16 c | 275749 | 7433 62937 208823 | 2147483647 91403 20 | 0.268 % |
146.43/146.45 c | 277613 | 7433 62937 208823 | 2147483647 93267 20 | 0.268 % |
148.13/148.20 c | 279663 | 7433 62937 208823 | 2147483647 95317 20 | 0.268 % |
150.03/150.07 c | 281918 | 7432 62934 208817 | 2147483647 97571 20 | 0.282 % |
152.13/152.21 c | 284396 | 7432 62934 208817 | 2147483647 100049 20 | 0.282 % |
154.53/154.54 c | 287122 | 7432 62934 208817 | 2147483647 102775 20 | 0.282 % |
154.63/154.64 c | 287222 | 7432 62934 208817 | 2147483647 102875 20 | 0.282 % |
154.73/154.75 c | 287332 | 7432 62934 208817 | 2147483647 102985 20 | 0.282 % |
154.83/154.88 c | 287453 | 7432 62934 208817 | 2147483647 103106 20 | 0.282 % |
155.03/155.04 c | 287587 | 7432 62934 208817 | 2147483647 103240 20 | 0.282 % |
155.13/155.20 c | 287734 | 7432 62934 208817 | 2147483647 103387 20 | 0.282 % |
155.33/155.33 c | 287894 | 7432 62934 208817 | 2147483647 103547 20 | 0.282 % |
155.43/155.48 c | 288072 | 7432 62934 208817 | 2147483647 103725 20 | 0.282 % |
155.63/155.69 c | 288266 | 7432 62934 208817 | 2147483647 103919 20 | 0.282 % |
155.93/155.93 c | 288478 | 7432 62934 208817 | 2147483647 104131 20 | 0.282 % |
156.13/156.18 c | 288714 | 7432 62934 208817 | 2147483647 104367 20 | 0.282 % |
156.53/156.52 c | 288972 | 7432 62934 208817 | 2147483647 104625 20 | 0.282 % |
156.73/156.78 c | 289253 | 7432 62934 208817 | 2147483647 104906 20 | 0.282 % |
157.03/157.08 c | 289562 | 7432 62934 208817 | 2147483647 105215 20 | 0.282 % |
157.33/157.40 c | 289902 | 7432 62934 208817 | 2147483647 105555 20 | 0.282 % |
157.63/157.67 c | 290274 | 7432 62934 208817 | 105657 105927 20 | 0.282 % |
158.03/158.04 c | 290684 | 7432 62934 208817 | 105657 95101 20 | 0.282 % |
158.43/158.45 c | 291133 | 7432 62934 208817 | 105657 95550 20 | 0.282 % |
158.93/158.98 c | 291626 | 7432 62934 208817 | 105657 96043 20 | 0.282 % |
159.43/159.50 c | 292169 | 7432 62934 208817 | 105657 96586 20 | 0.282 % |
160.03/160.09 c | 292765 | 7432 62934 208817 | 105657 97182 20 | 0.282 % |
160.64/160.70 c | 293420 | 7432 62934 208817 | 105657 97837 20 | 0.282 % |
161.33/161.33 c | 294141 | 7432 62934 208817 | 105657 98558 20 | 0.282 % |
161.93/161.99 c | 294933 | 7432 62934 208817 | 105657 99350 20 | 0.282 % |
162.72/162.75 c | 295806 | 7432 62934 208817 | 105657 100223 20 | 0.282 % |
163.42/163.48 c | 296764 | 7432 62934 208817 | 105657 101181 20 | 0.282 % |
164.52/164.56 c | 297818 | 7432 62934 208817 | 105657 102235 20 | 0.282 % |
165.42/165.48 c | 298976 | 7432 62934 208817 | 105657 103393 20 | 0.282 % |
166.32/166.39 c | 300249 | 7432 62934 208817 | 104417 104666 20 | 0.282 % |
167.52/167.57 c | 301649 | 7432 62934 208817 | 104417 93266 20 | 0.282 % |
168.52/168.55 c | 303190 | 7432 62934 208817 | 104417 94807 20 | 0.282 % |
169.92/169.94 c | 304886 | 7432 62934 208817 | 104417 96503 20 | 0.282 % |
171.63/171.64 c | 306749 | 7432 62934 208817 | 104417 98366 20 | 0.282 % |
173.12/173.17 c | 308798 | 7432 62934 208817 | 104417 100415 20 | 0.282 % |
175.52/175.51 c | 311052 | 7432 62934 208817 | 101618 90844 20 | 0.282 % |
177.82/177.83 c | 313530 | 7432 62934 208817 | 101618 93322 20 | 0.282 % |
180.43/180.43 c | 316257 | 7432 62934 208817 | 101618 96049 20 | 0.282 % |
182.63/182.63 c | 319254 | 7432 62934 208817 | 101618 99046 20 | 0.282 % |
182.63/182.67 c | 319356 | 7432 62934 208817 | 101618 99148 20 | 0.282 % |
182.72/182.72 c | 319466 | 7432 62934 208817 | 101618 99258 20 | 0.282 % |
182.82/182.80 c | 319587 | 7432 62934 208817 | 101618 99379 20 | 0.282 % |
182.92/182.92 c | 319720 | 7432 62934 208817 | 101618 99512 20 | 0.282 % |
183.02/183.05 c | 319866 | 7432 62934 208817 | 101618 99658 20 | 0.282 % |
183.12/183.15 c | 320027 | 7432 62934 208817 | 99793 99819 20 | 0.282 % |
183.42/183.46 c | 320204 | 7432 62934 208817 | 99793 89032 19 | 0.282 % |
183.62/183.62 c | 320397 | 7432 62934 208817 | 99793 89225 19 | 0.282 % |
183.82/183.83 c | 320610 | 7432 62934 208817 | 99793 89438 19 | 0.282 % |
183.92/183.99 c | 320843 | 7432 62934 208817 | 99793 89671 19 | 0.282 % |
184.22/184.27 c | 321099 | 7432 62934 208817 | 99793 89927 19 | 0.282 % |
184.42/184.44 c | 321381 | 7432 62934 208817 | 99793 90209 19 | 0.282 % |
184.72/184.73 c | 321690 | 7432 62934 208817 | 99793 90518 19 | 0.282 % |
185.02/185.01 c | 322030 | 7432 62934 208817 | 99793 90858 19 | 0.282 % |
185.32/185.36 c | 322402 | 7432 62934 208817 | 99793 91230 19 | 0.282 % |
185.62/185.69 c | 322811 | 7432 62934 208817 | 99793 91639 19 | 0.282 % |
186.12/186.14 c | 323261 | 7432 62934 208817 | 99793 92089 19 | 0.282 % |
186.52/186.55 c | 323754 | 7432 62934 208817 | 99793 92582 19 | 0.282 % |
186.92/186.92 c | 324296 | 7432 62934 208817 | 99793 93124 20 | 0.282 % |
187.32/187.35 c | 324892 | 7432 62934 208817 | 99793 93720 20 | 0.282 % |
187.92/187.98 c | 325547 | 7432 62934 208817 | 99793 94375 20 | 0.282 % |
188.62/188.65 c | 326267 | 7432 62934 208817 | 99793 95095 20 | 0.282 % |
189.42/189.42 c | 327060 | 7432 62934 208817 | 99793 95888 20 | 0.282 % |
190.02/190.08 c | 327931 | 7432 62934 208817 | 99793 96759 20 | 0.282 % |
190.82/190.82 c | 328889 | 7432 62934 208817 | 99793 97717 20 | 0.282 % |
191.43/191.48 c | 329942 | 7432 62934 208817 | 99793 98770 20 | 0.282 % |
192.62/192.68 c | 331100 | 7432 62934 208817 | 98829 89014 19 | 0.282 % |
193.72/193.75 c | 332373 | 7432 62934 208817 | 98829 90287 20 | 0.282 % |
195.02/195.07 c | 333773 | 7432 62934 208817 | 98829 91687 20 | 0.282 % |
196.52/196.55 c | 335313 | 7432 62934 208817 | 98829 93227 20 | 0.282 % |
198.03/198.07 c | 337008 | 7432 62934 208817 | 98829 94922 20 | 0.282 % |
199.72/199.75 c | 338873 | 7432 62934 208817 | 98829 96787 20 | 0.282 % |
201.63/201.70 c | 340922 | 7432 62934 208817 | 97914 88034 19 | 0.282 % |
203.43/203.48 c | 343176 | 7432 62934 208817 | 97914 90288 19 | 0.282 % |
205.54/205.54 c | 345657 | 7432 62934 208817 | 97914 92769 19 | 0.282 % |
207.84/207.90 c | 348383 | 7432 62934 208817 | 97914 95495 20 | 0.282 % |
210.94/211.00 c | 351383 | 7432 62934 208817 | 2147483647 98495 20 | 0.282 % |
213.84/213.82 c | 354681 | 7432 62934 208817 | 2147483647 101793 20 | 0.282 % |
213.94/213.94 c | 354783 | 7432 62934 208817 | 2147483647 101895 20 | 0.282 % |
214.04/214.05 c | 354895 | 7432 62934 208817 | 2147483647 102007 20 | 0.282 % |
214.14/214.18 c | 355017 | 7432 62934 208817 | 2147483647 102129 20 | 0.282 % |
214.34/214.33 c | 355154 | 7432 62934 208817 | 2147483647 102266 20 | 0.282 % |
214.44/214.44 c | 355301 | 7432 62934 208817 | 2147483647 102413 20 | 0.282 % |
214.64/214.62 c | 355464 | 7432 62934 208817 | 2147483647 102576 20 | 0.282 % |
214.74/214.76 c | 355640 | 7432 62934 208817 | 2147483647 102752 20 | 0.282 % |
214.94/214.96 c | 355833 | 7432 62934 208817 | 2147483647 102945 20 | 0.282 % |
215.04/215.10 c | 356046 | 7432 62934 208817 | 2147483647 103158 20 | 0.282 % |
215.34/215.36 c | 356281 | 7432 62934 208817 | 2147483647 103393 20 | 0.282 % |
215.54/215.58 c | 356543 | 7432 62934 208817 | 2147483647 103655 20 | 0.282 % |
215.94/215.96 c | 356826 | 7432 62934 208817 | 2147483647 103938 20 | 0.282 % |
216.24/216.31 c | 357135 | 7432 62934 208817 | 2147483647 104247 20 | 0.282 % |
216.74/216.81 c | 357474 | 7432 62934 208817 | 2147483647 104586 20 | 0.282 % |
217.24/217.27 c | 357846 | 7432 62934 208817 | 2147483647 104958 20 | 0.282 % |
217.64/217.70 c | 358256 | 7432 62934 208817 | 2147483647 105368 20 | 0.282 % |
218.14/218.16 c | 358706 | 7432 62934 208817 | 2147483647 105818 20 | 0.282 % |
218.54/218.61 c | 359201 | 7432 62934 208817 | 2147483647 106313 20 | 0.282 % |
218.94/218.95 c | 359743 | 7432 62934 208817 | 2147483647 106855 20 | 0.282 % |
219.64/219.66 c | 360339 | 7432 62934 208817 | 107112 94709 19 | 0.282 % |
220.24/220.29 c | 360994 | 7432 62934 208817 | 107112 95364 19 | 0.282 % |
220.94/220.95 c | 361714 | 7432 62934 208817 | 107112 96084 19 | 0.282 % |
221.64/221.68 c | 362506 | 7432 62934 208817 | 107112 96876 19 | 0.282 % |
222.44/222.48 c | 363379 | 7432 62934 208817 | 107112 97749 20 | 0.282 % |
223.34/223.41 c | 364339 | 7432 62934 208817 | 107112 98709 20 | 0.282 % |
224.44/224.46 c | 365395 | 7432 62934 208817 | 107112 99765 20 | 0.282 % |
225.84/225.84 c | 366556 | 7432 62934 208817 | 107112 100926 20 | 0.282 % |
226.64/226.66 c | 367830 | 7432 62934 208817 | 107112 102200 20 | 0.282 % |
227.94/227.93 c | 369230 | 7432 62934 208817 | 107112 103600 20 | 0.282 % |
229.44/229.42 c | 370770 | 7432 62934 208817 | 104370 90420 19 | 0.282 % |
230.44/230.48 c | 372465 | 7432 62934 208817 | 104370 92115 19 | 0.282 % |
232.24/232.27 c | 374330 | 7432 62934 208817 | 104370 93980 19 | 0.282 % |
234.34/234.38 c | 376381 | 7432 62934 208817 | 104370 96031 19 | 0.282 % |
236.74/236.76 c | 378634 | 7432 62934 208817 | 104370 98284 19 | 0.282 % |
239.24/239.25 c | 381114 | 7432 62934 208817 | 99651 89969 19 | 0.282 % |
241.64/241.70 c | 383839 | 7432 62934 208817 | 99651 92694 19 | 0.282 % |
244.04/244.11 c | 386837 | 7432 62934 208817 | 99651 95692 19 | 0.282 % |
247.54/247.53 c | 390134 | 7432 62934 208817 | 98855 98989 19 | 0.282 % |
251.44/251.43 c | 393759 | 7432 62934 208817 | 98855 90460 19 | 0.282 % |
251.44/251.51 c | 393860 | 7432 62934 208817 | 98855 90561 19 | 0.282 % |
251.64/251.62 c | 393972 | 7432 62934 208817 | 98855 90673 19 | 0.282 % |
251.74/251.73 c | 394093 | 7432 62934 208817 | 98855 90794 19 | 0.282 % |
251.84/251.84 c | 394226 | 7432 62934 208817 | 98855 90927 19 | 0.282 % |
251.94/251.95 c | 394375 | 7432 62934 208817 | 98855 91076 19 | 0.282 % |
252.14/252.15 c | 394535 | 7432 62934 208817 | 98855 91236 19 | 0.282 % |
252.24/252.29 c | 394712 | 7432 62934 208817 | 98855 91413 19 | 0.282 % |
252.44/252.48 c | 394907 | 7432 62934 208817 | 98855 91608 19 | 0.282 % |
252.64/252.67 c | 395119 | 7432 62934 208817 | 98855 91820 19 | 0.282 % |
252.74/252.80 c | 395352 | 7432 62934 208817 | 98855 92053 19 | 0.282 % |
252.84/252.90 c | 395608 | 7432 62934 208817 | 98855 92309 19 | 0.282 % |
252.94/253.00 c | 395889 | 7432 62934 208817 | 98855 92590 19 | 0.282 % |
253.24/253.29 c | 396203 | 7432 62934 208817 | 98855 92904 19 | 0.282 % |
253.64/253.66 c | 396544 | 7432 62934 208817 | 98855 93245 19 | 0.282 % |
253.94/253.95 c | 396917 | 7432 62934 208817 | 98855 93618 19 | 0.282 % |
254.24/254.29 c | 397328 | 7432 62934 208817 | 98855 94029 19 | 0.282 % |
254.54/254.61 c | 397778 | 7432 62934 208817 | 98855 94479 19 | 0.282 % |
254.94/255.01 c | 398272 | 7432 62934 208817 | 98855 94973 19 | 0.282 % |
255.34/255.36 c | 398815 | 7432 62934 208817 | 98855 95516 19 | 0.282 % |
255.84/255.87 c | 399411 | 7432 62934 208817 | 98855 96112 19 | 0.282 % |
256.24/256.29 c | 400066 | 7432 62934 208817 | 96701 96767 19 | 0.282 % |
256.94/256.97 c | 400786 | 7432 62934 208817 | 96701 86974 19 | 0.282 % |
257.64/257.63 c | 401578 | 7432 62934 208817 | 96701 87766 19 | 0.282 % |
258.14/258.15 c | 402449 | 7432 62934 208817 | 96701 88637 19 | 0.282 % |
258.84/258.90 c | 403407 | 7432 62934 208817 | 96701 89595 19 | 0.282 % |
259.84/259.82 c | 404461 | 7432 62934 208817 | 96701 90649 19 | 0.282 % |
260.75/260.76 c | 405619 | 7432 62934 208817 | 96701 91807 19 | 0.282 % |
261.34/261.34 c | 406894 | 7432 62934 208817 | 96701 93082 19 | 0.282 % |
262.34/262.34 c | 408296 | 7432 62934 208817 | 96701 94484 19 | 0.282 % |
263.84/263.83 c | 409837 | 7432 62934 208817 | 96701 96025 19 | 0.282 % |
265.74/265.78 c | 411534 | 7432 62934 208817 | 2147483647 97722 19 | 0.282 % |
267.74/267.73 c | 413398 | 7432 62934 208817 | 2147483647 99586 19 | 0.282 % |
269.64/269.66 c | 415447 | 7432 62934 208817 | 2147483647 101635 19 | 0.282 % |
272.24/272.31 c | 417701 | 7432 62934 208817 | 2147483647 103889 20 | 0.282 % |
274.54/274.54 c | 420179 | 7432 62934 208817 | 106189 106367 20 | 0.282 % |
277.54/277.56 c | 422905 | 7432 62934 208817 | 106189 95538 19 | 0.282 % |
280.84/280.84 c | 425902 | 7432 62934 208817 | 106189 98535 19 | 0.282 % |
283.85/283.91 c | 429198 | 7432 62934 208817 | 106189 101831 19 | 0.282 % |
286.84/286.85 c | 432825 | 7432 62934 208817 | 102635 92443 19 | 0.282 % |
290.94/290.93 c | 436813 | 7432 62934 208817 | 102635 96431 19 | 0.282 % |
291.04/291.10 c | 436915 | 7432 62934 208817 | 102635 96533 19 | 0.282 % |
291.24/291.23 c | 437025 | 7432 62934 208817 | 102635 96643 19 | 0.282 % |
291.34/291.35 c | 437149 | 7432 62934 208817 | 102635 96767 19 | 0.282 % |
291.44/291.51 c | 437282 | 7432 62934 208817 | 102635 96900 19 | 0.282 % |
291.64/291.68 c | 437432 | 7432 62934 208817 | 102635 97050 19 | 0.282 % |
291.74/291.81 c | 437592 | 7432 62934 208817 | 102635 97210 19 | 0.282 % |
291.94/292.01 c | 437769 | 7432 62934 208817 | 102635 97387 19 | 0.282 % |
292.24/292.27 c | 437962 | 7432 62934 208817 | 102635 97580 19 | 0.282 % |
292.54/292.55 c | 438175 | 7432 62934 208817 | 102635 97793 19 | 0.282 % |
292.84/292.84 c | 438408 | 7432 62934 208817 | 102635 98026 19 | 0.282 % |
293.14/293.19 c | 438666 | 7432 62934 208817 | 102635 98284 19 | 0.282 % |
293.34/293.35 c | 438947 | 7432 62934 208817 | 102635 98565 19 | 0.282 % |
293.64/293.70 c | 439256 | 7432 62934 208817 | 102635 98874 19 | 0.282 % |
293.94/293.97 c | 439597 | 7432 62934 208817 | 102635 99215 19 | 0.282 % |
294.44/294.42 c | 439970 | 7432 62934 208817 | 102635 99588 19 | 0.282 % |
295.14/295.14 c | 440383 | 7432 62934 208817 | 99618 88515 19 | 0.282 % |
295.54/295.55 c | 440832 | 7432 62934 208817 | 99618 88964 19 | 0.282 % |
295.84/295.90 c | 441326 | 7432 62934 208817 | 99618 89458 19 | 0.282 % |
296.44/296.49 c | 441868 | 7432 62934 208817 | 99618 90000 19 | 0.282 % |
296.94/296.96 c | 442464 | 7432 62934 208817 | 99618 90596 19 | 0.282 % |
297.74/297.71 c | 443121 | 7432 62934 208817 | 99618 91253 19 | 0.282 % |
298.54/298.51 c | 443841 | 7432 62934 208817 | 99618 91973 19 | 0.282 % |
299.15/299.21 c | 444633 | 7432 62934 208817 | 99618 92765 19 | 0.282 % |
300.25/300.24 c | 445504 | 7432 62934 208817 | 99618 93636 19 | 0.282 % |
301.25/301.30 c | 446463 | 7432 62934 208817 | 99618 94595 19 | 0.282 % |
302.25/302.28 c | 447519 | 7432 62934 208817 | 99618 95651 19 | 0.282 % |
303.35/303.41 c | 448677 | 7432 62934 208817 | 99618 96809 19 | 0.282 % |
304.75/304.78 c | 449950 | 7432 62934 208817 | 99618 98082 19 | 0.282 % |
306.15/306.13 c | 451350 | 7432 62934 208817 | 98135 88058 19 | 0.282 % |
307.55/307.58 c | 452892 | 7432 62934 208817 | 98135 89600 19 | 0.282 % |
309.45/309.49 c | 454586 | 7432 62934 208817 | 98135 91294 19 | 0.282 % |
311.05/311.11 c | 456450 | 7432 62934 208817 | 98135 93158 19 | 0.282 % |
312.95/312.92 c | 458502 | 7432 62934 208817 | 98135 95210 19 | 0.282 % |
315.15/315.15 c | 460755 | 7432 62934 208817 | 96708 87531 19 | 0.282 % |
317.45/317.47 c | 463233 | 7432 62934 208817 | 96708 90009 19 | 0.282 % |
319.55/319.60 c | 465958 | 7432 62934 208817 | 96708 92734 20 | 0.282 % |
322.65/322.68 c | 468955 | 7432 62934 208817 | 96708 95731 20 | 0.282 % |
325.15/325.15 c | 472252 | 7431 62931 208811 | 2147483647 99027 20 | 0.295 % |
328.25/328.30 c | 475877 | 7431 62931 208811 | 2147483647 102652 20 | 0.295 % |
332.75/332.77 c | 479864 | 7431 62931 208811 | 2147483647 106639 20 | 0.295 % |
336.65/336.68 c | 484249 | 7431 62931 208811 | 106776 98595 20 | 0.295 % |
336.85/336.81 c | 484349 | 7431 62931 208811 | 106776 98695 20 | 0.295 % |
336.85/336.91 c | 484459 | 7431 62931 208811 | 106776 98805 20 | 0.295 % |
337.05/337.02 c | 484580 | 7431 62931 208811 | 106776 98926 20 | 0.295 % |
337.15/337.13 c | 484713 | 7431 62931 208811 | 106776 99059 20 | 0.295 % |
337.35/337.32 c | 484861 | 7431 62931 208811 | 106776 99207 20 | 0.295 % |
337.55/337.52 c | 485021 | 7431 62931 208811 | 106776 99367 20 | 0.295 % |
337.65/337.68 c | 485200 | 7431 62931 208811 | 106776 99546 20 | 0.295 % |
337.85/337.90 c | 485393 | 7431 62931 208811 | 106776 99739 20 | 0.295 % |
338.05/338.06 c | 485606 | 7431 62931 208811 | 106776 99952 20 | 0.295 % |
338.25/338.29 c | 485839 | 7431 62931 208811 | 106776 100185 20 | 0.295 % |
338.55/338.59 c | 486095 | 7431 62931 208811 | 106776 100441 20 | 0.295 % |
338.85/338.84 c | 486379 | 7431 62931 208811 | 106776 100725 20 | 0.295 % |
339.15/339.17 c | 486690 | 7431 62931 208811 | 106776 101036 20 | 0.295 % |
339.55/339.55 c | 487029 | 7431 62931 208811 | 106776 101375 20 | 0.295 % |
340.05/340.06 c | 487401 | 7431 62931 208811 | 106776 101747 20 | 0.295 % |
340.45/340.48 c | 487810 | 7431 62931 208811 | 106776 102156 20 | 0.295 % |
340.95/340.98 c | 488261 | 7431 62931 208811 | 106776 102607 20 | 0.295 % |
341.35/341.39 c | 488755 | 7431 62931 208811 | 106776 103101 20 | 0.295 % |
341.95/341.97 c | 489297 | 7431 62931 208811 | 106776 103643 20 | 0.295 % |
342.55/342.61 c | 489894 | 7431 62931 208811 | 106776 104240 20 | 0.295 % |
343.45/343.48 c | 490552 | 7431 62931 208811 | 104351 90121 19 | 0.295 % |
344.35/344.34 c | 491272 | 7431 62931 208811 | 104351 90841 19 | 0.295 % |
344.95/344.97 c | 492065 | 7431 62931 208811 | 104351 91634 20 | 0.295 % |
345.95/346.01 c | 492939 | 7431 62931 208811 | 104351 92508 20 | 0.295 % |
347.05/347.05 c | 493897 | 7431 62931 208811 | 104351 93466 20 | 0.295 % |
348.35/348.40 c | 494952 | 7431 62931 208811 | 104351 94521 20 | 0.295 % |
349.65/349.71 c | 496113 | 7431 62931 208811 | 104351 95682 20 | 0.295 % |
351.05/351.05 c | 497388 | 7431 62931 208811 | 104351 96957 20 | 0.295 % |
352.55/352.57 c | 498789 | 7431 62931 208811 | 104351 98358 20 | 0.295 % |
353.95/353.93 c | 500331 | 7431 62931 208811 | 99569 88895 19 | 0.295 % |
355.25/355.32 c | 502025 | 7431 62931 208811 | 99569 90589 20 | 0.295 % |
357.15/357.17 c | 503890 | 7431 62931 208811 | 99569 92454 20 | 0.295 % |
358.95/358.98 c | 505939 | 7431 62931 208811 | 99569 94503 20 | 0.295 % |
360.95/360.99 c | 508192 | 7431 62931 208811 | 99569 96756 20 | 0.295 % |
363.65/363.71 c | 510672 | 7431 62931 208811 | 2147483647 99236 20 | 0.295 % |
366.36/366.32 c | 513398 | 7431 62931 208811 | 2147483647 101962 20 | 0.295 % |
369.25/369.27 c | 516397 | 7431 62931 208811 | 2147483647 104961 20 | 0.295 % |
372.75/372.76 c | 519693 | 7431 62931 208811 | 2147483647 108257 20 | 0.295 % |
376.35/376.32 c | 523319 | 7431 62931 208811 | 108566 97659 20 | 0.295 % |
379.65/379.70 c | 527306 | 7431 62931 208811 | 108566 101646 20 | 0.295 % |
384.25/384.26 c | 531691 | 7431 62931 208811 | 2147483647 106031 20 | 0.295 % |
388.95/388.95 c | 536516 | 7431 62931 208811 | 2147483647 110856 20 | 0.295 % |
389.15/389.14 c | 536618 | 7431 62931 208811 | 2147483647 110958 20 | 0.295 % |
389.25/389.28 c | 536729 | 7431 62931 208811 | 2147483647 111069 20 | 0.295 % |
389.46/389.43 c | 536850 | 7431 62931 208811 | 2147483647 111190 20 | 0.295 % |
389.55/389.55 c | 536984 | 7431 62931 208811 | 2147483647 111324 20 | 0.295 % |
389.75/389.74 c | 537130 | 7431 62931 208811 | 2147483647 111470 20 | 0.295 % |
389.95/389.98 c | 537291 | 7431 62931 208811 | 2147483647 111631 20 | 0.295 % |
390.15/390.17 c | 537467 | 7431 62931 208811 | 2147483647 111807 20 | 0.295 % |
390.35/390.36 c | 537661 | 7431 62931 208811 | 2147483647 112001 20 | 0.295 % |
390.75/390.72 c | 537873 | 7431 62931 208811 | 2147483647 112213 20 | 0.295 % |
390.95/390.95 c | 538110 | 7431 62931 208811 | 2147483647 112450 20 | 0.295 % |
391.25/391.31 c | 538367 | 7431 62931 208811 | 2147483647 112707 20 | 0.295 % |
391.66/391.67 c | 538649 | 7431 62931 208811 | 2147483647 112989 20 | 0.295 % |
392.05/392.04 c | 538961 | 7431 62931 208811 | 2147483647 113301 20 | 0.295 % |
392.55/392.56 c | 539301 | 7431 62931 208811 | 2147483647 113641 20 | 0.295 % |
393.05/393.05 c | 539675 | 7431 62931 208811 | 2147483647 114015 20 | 0.295 % |
393.55/393.56 c | 540084 | 7431 62931 208811 | 114341 114424 20 | 0.295 % |
394.35/394.37 c | 540533 | 7431 62931 208811 | 114341 99016 20 | 0.295 % |
394.96/394.97 c | 541026 | 7431 62931 208811 | 114341 99509 20 | 0.295 % |
395.55/395.52 c | 541568 | 7431 62931 208811 | 114341 100051 20 | 0.295 % |
396.45/396.42 c | 542164 | 7431 62931 208811 | 114341 100647 20 | 0.295 % |
397.06/397.06 c | 542819 | 7431 62931 208811 | 114341 101302 20 | 0.295 % |
397.96/398.01 c | 543540 | 7431 62931 208811 | 114341 102023 20 | 0.295 % |
398.86/398.83 c | 544332 | 7431 62931 208811 | 114341 102815 20 | 0.295 % |
399.56/399.56 c | 545204 | 7431 62931 208811 | 114341 103687 20 | 0.295 % |
400.46/400.45 c | 546164 | 7431 62931 208811 | 114341 104647 20 | 0.295 % |
401.66/401.69 c | 547217 | 7431 62931 208811 | 114341 105700 20 | 0.295 % |
402.66/402.69 c | 548377 | 7431 62931 208811 | 114341 106860 20 | 0.295 % |
404.26/404.23 c | 549651 | 7431 62931 208811 | 114341 108134 20 | 0.295 % |
405.76/405.72 c | 551051 | 7431 62931 208811 | 108484 93996 19 | 0.295 % |
406.76/406.79 c | 552592 | 7431 62931 208811 | 108484 95537 19 | 0.295 % |
408.16/408.20 c | 554286 | 7431 62931 208811 | 108484 97231 19 | 0.295 % |
409.76/409.81 c | 556151 | 7431 62931 208811 | 108484 99096 20 | 0.295 % |
411.56/411.53 c | 558201 | 7431 62931 208811 | 108484 101146 20 | 0.295 % |
413.76/413.77 c | 560456 | 7431 62931 208811 | 102945 91481 19 | 0.295 % |
415.66/415.63 c | 562934 | 7431 62931 208811 | 102945 93959 19 | 0.295 % |
417.96/417.93 c | 565660 | 7431 62931 208811 | 102945 96685 19 | 0.295 % |
420.06/420.07 c | 568657 | 7431 62931 208811 | 102945 99682 20 | 0.295 % |
424.56/424.57 c | 571954 | 7431 62931 208811 | 101025 90931 19 | 0.295 % |
427.36/427.39 c | 575579 | 7431 62931 208811 | 101025 94556 19 | 0.295 % |
431.16/431.17 c | 579566 | 7431 62931 208811 | 101025 98543 19 | 0.295 % |
435.26/435.23 c | 583951 | 7429 62906 208751 | 2147483647 102926 20 | 0.322 % |
439.26/439.30 c | 588781 | 7429 62906 208751 | 2147483647 107756 20 | 0.322 % |
444.96/444.97 c | 594086 | 7428 62903 208745 | 108975 100262 19 | 0.335 % |
445.06/445.08 c | 594187 | 7428 62903 208745 | 108975 100363 19 | 0.335 % |
445.16/445.19 c | 594297 | 7428 62903 208745 | 108975 100473 19 | 0.335 % |
445.36/445.32 c | 594420 | 7428 62903 208745 | 108975 100596 19 | 0.335 % |
445.46/445.46 c | 594555 | 7428 62903 208745 | 108975 100731 19 | 0.335 % |
445.56/445.61 c | 594701 | 7428 62903 208745 | 108975 100877 19 | 0.335 % |
445.76/445.79 c | 594863 | 7428 62903 208745 | 108975 101039 19 | 0.335 % |
445.96/445.94 c | 595040 | 7428 62903 208745 | 108975 101216 19 | 0.335 % |
446.16/446.13 c | 595233 | 7428 62903 208745 | 108975 101409 19 | 0.335 % |
446.26/446.32 c | 595446 | 7428 62903 208745 | 108975 101622 19 | 0.335 % |
446.46/446.50 c | 595683 | 7428 62903 208745 | 108975 101859 19 | 0.335 % |
446.66/446.69 c | 595939 | 7428 62903 208745 | 108975 102115 19 | 0.335 % |
446.96/446.95 c | 596220 | 7428 62903 208745 | 108975 102396 19 | 0.335 % |
447.36/447.34 c | 596531 | 7428 62903 208745 | 108975 102707 19 | 0.335 % |
447.76/447.80 c | 596870 | 7428 62903 208745 | 108975 103046 19 | 0.335 % |
448.16/448.17 c | 597242 | 7428 62903 208745 | 108975 103418 19 | 0.335 % |
448.76/448.77 c | 597653 | 7428 62903 208745 | 108975 103829 19 | 0.335 % |
449.16/449.21 c | 598102 | 7428 62903 208745 | 108975 104278 19 | 0.335 % |
449.76/449.76 c | 598597 | 7428 62903 208745 | 108975 104773 19 | 0.335 % |
450.36/450.41 c | 599141 | 7428 62903 208745 | 108975 105317 19 | 0.335 % |
451.26/451.23 c | 599737 | 7428 62903 208745 | 108975 105913 19 | 0.335 % |
452.26/452.31 c | 600393 | 7428 62903 208745 | 106178 90565 19 | 0.335 % |
452.86/452.87 c | 601115 | 7428 62903 208745 | 106178 91287 19 | 0.335 % |
453.46/453.50 c | 601907 | 7428 62903 208745 | 106178 92079 19 | 0.335 % |
454.16/454.16 c | 602778 | 7428 62903 208745 | 106178 92950 19 | 0.335 % |
454.96/454.96 c | 603737 | 7428 62903 208745 | 106178 93909 19 | 0.335 % |
455.86/455.89 c | 604790 | 7428 62903 208745 | 106178 94962 19 | 0.335 % |
456.66/456.67 c | 605948 | 7428 62903 208745 | 106178 96120 19 | 0.335 % |
457.96/457.95 c | 607221 | 7428 62903 208745 | 106178 97393 19 | 0.335 % |
458.96/459.00 c | 608625 | 7428 62903 208745 | 106178 98797 19 | 0.335 % |
460.36/460.38 c | 610165 | 7428 62903 208745 | 100172 88375 19 | 0.335 % |
462.07/462.04 c | 611859 | 7428 62903 208745 | 100172 90069 19 | 0.335 % |
463.86/463.89 c | 613722 | 7428 62903 208745 | 100172 91932 19 | 0.335 % |
465.76/465.80 c | 615771 | 7428 62903 208745 | 100172 93981 19 | 0.335 % |
467.76/467.74 c | 618024 | 7428 62903 208745 | 100172 96234 19 | 0.335 % |
470.46/470.51 c | 620503 | 7428 62903 208745 | 2147483647 98713 19 | 0.335 % |
473.07/473.06 c | 623230 | 7428 62903 208745 | 2147483647 101440 19 | 0.335 % |
476.26/476.22 c | 626230 | 7428 62903 208745 | 2147483647 104440 19 | 0.335 % |
479.56/479.57 c | 629526 | 7428 62903 208745 | 2147483647 107736 20 | 0.335 % |
483.46/483.47 c | 633152 | 7428 62903 208745 | 108210 95735 19 | 0.335 % |
487.37/487.37 c | 637139 | 7427 62900 208739 | 108210 99721 19 | 0.349 % |
491.66/491.70 c | 641524 | 7427 62900 208739 | 102585 90095 19 | 0.362 % |
497.57/497.62 c | 646348 | 7427 62900 208739 | 102585 94919 19 | 0.362 % |
504.07/504.10 c | 651653 | 7426 62897 208733 | 98571 87502 19 | 0.362 % |
510.17/510.18 c | 657488 | 7426 62897 208733 | 98571 93337 19 | 0.362 % |
510.27/510.31 c | 657591 | 7426 62897 208733 | 98571 93440 19 | 0.362 % |
510.47/510.47 c | 657702 | 7426 62897 208733 | 98571 93551 19 | 0.362 % |
510.57/510.58 c | 657824 | 7426 62897 208733 | 98571 93673 19 | 0.362 % |
510.67/510.66 c | 657957 | 7426 62897 208733 | 98571 93806 19 | 0.362 % |
510.87/510.85 c | 658103 | 7425 62894 208727 | 98571 93951 19 | 0.376 % |
510.97/510.99 c | 658263 | 7425 62894 208727 | 98571 94111 19 | 0.376 % |
511.17/511.16 c | 658439 | 7425 62894 208727 | 98571 94287 19 | 0.376 % |
511.27/511.30 c | 658632 | 7425 62894 208727 | 98571 94480 19 | 0.376 % |
511.47/511.48 c | 658845 | 7425 62894 208727 | 98571 94693 19 | 0.376 % |
511.67/511.69 c | 659078 | 7425 62894 208727 | 98571 94926 19 | 0.376 % |
511.97/511.99 c | 659334 | 7425 62894 208727 | 98571 95182 19 | 0.376 % |
512.27/512.28 c | 659615 | 7425 62894 208727 | 98571 95463 19 | 0.376 % |
512.47/512.42 c | 659924 | 7425 62894 208727 | 98571 95772 19 | 0.376 % |
512.77/512.76 c | 660263 | 7425 62894 208727 | 2147483647 96111 19 | 0.376 % |
513.17/513.21 c | 660636 | 7425 62894 208727 | 2147483647 96484 19 | 0.376 % |
513.57/513.61 c | 661047 | 7425 62894 208727 | 2147483647 96895 19 | 0.376 % |
514.07/514.06 c | 661496 | 7425 62894 208727 | 2147483647 97344 19 | 0.376 % |
514.57/514.60 c | 661992 | 7425 62894 208727 | 2147483647 97840 19 | 0.376 % |
515.17/515.14 c | 662537 | 7425 62894 208727 | 2147483647 98385 19 | 0.376 % |
515.87/515.91 c | 663133 | 7425 62894 208727 | 2147483647 98981 19 | 0.376 % |
516.57/516.53 c | 663788 | 7425 62894 208727 | 2147483647 99636 19 | 0.376 % |
517.27/517.29 c | 664509 | 7425 62894 208727 | 2147483647 100357 19 | 0.376 % |
518.07/518.09 c | 665303 | 7425 62894 208727 | 2147483647 101151 19 | 0.376 % |
518.77/518.73 c | 666174 | 7425 62894 208727 | 2147483647 102022 19 | 0.376 % |
519.57/519.53 c | 667132 | 7425 62894 208727 | 2147483647 102980 19 | 0.376 % |
520.56/520.56 c | 668185 | 7425 62894 208727 | 2147483647 104033 19 | 0.376 % |
521.76/521.78 c | 669344 | 7425 62894 208727 | 2147483647 105192 19 | 0.376 % |
523.46/523.42 c | 670617 | 7425 62894 208727 | 105848 93115 18 | 0.376 % |
524.76/524.79 c | 672017 | 7425 62894 208727 | 105848 94515 18 | 0.376 % |
526.16/526.19 c | 673557 | 7424 62891 208721 | 105848 96051 18 | 0.389 % |
527.66/527.63 c | 675252 | 7424 62891 208721 | 105848 97746 18 | 0.389 % |
529.56/529.51 c | 677115 | 7424 62891 208721 | 105848 99609 18 | 0.389 % |
531.86/531.84 c | 679165 | 7424 62891 208721 | 105848 101659 18 | 0.389 % |
534.36/534.33 c | 681420 | 7424 62891 208721 | 102496 91006 18 | 0.389 % |
536.66/536.71 c | 683898 | 7424 62891 208721 | 102496 93484 18 | 0.389 % |
539.06/539.09 c | 686623 | 7424 62891 208721 | 102496 96209 18 | 0.389 % |
541.66/541.70 c | 689620 | 7423 62888 208715 | 102496 99205 18 | 0.403 % |
544.76/544.71 c | 692917 | 7423 62888 208715 | 99586 91970 18 | 0.403 % |
547.96/547.93 c | 696542 | 7423 62888 208715 | 99586 95595 18 | 0.403 % |
551.76/551.77 c | 700529 | 7423 62888 208715 | 99053 89072 18 | 0.403 % |
556.26/556.27 c | 704915 | 7423 62888 208715 | 99053 93458 18 | 0.403 % |
560.76/560.73 c | 709738 | 7423 62888 208715 | 99053 98281 18 | 0.403 % |
566.46/566.48 c | 715043 | 7420 62495 206513 | 98545 21181 11 | 0.443 % |
567.46/567.44 c ===============================================================================
567.46/567.44 c restarts : 1035
567.46/567.44 c conflicts : 720857 (1273 /sec)
567.46/567.44 c decisions : 1037310 (1.80 % random) (1832 /sec)
567.46/567.44 c propagations : 168366207 (297293 /sec)
567.46/567.44 c conflict literals : 15738506 (36.55 % deleted)
567.46/567.44 c Memory used : 20.92 MB
567.46/567.44 c CPU time : 566.33 s
567.46/567.44 c
567.46/567.44 s UNSATISFIABLE
567.46/567.44 s UNSATISFIABLE
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1821340-1242521330/watcher-1821340-1242521330 -o /tmp/evaluation-result-1821340-1242521330/solver-1821340-1242521330 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821340-1242521330.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 0.91 0.93 0.96 2/93 13193
/proc/meminfo: memFree=429584/2074464 swapFree=1949056/1959888
[pid=13193] ppid=13191 vsize=2416 CPUtime=0
/proc/13193/stat : 13193 (SatELiteGTI) S 13191 13193 14060 0 -1 4194304 365 647 0 0 0 0 0 0 25 0 1 0 1016630193 2473984 276 4294967295 134512640 135169312 3218157664 3218156200 3084902126 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/13193/statm: 604 276 235 161 0 43 0
[pid=13197] ppid=13193 vsize=948 CPUtime=0
/proc/13197/stat : 13197 (SatELite_releas) R 13193 13193 14060 0 -1 4202496 110 0 0 0 0 0 0 0 25 0 1 0 1016630194 970752 46 4294967295 134512640 135223648 3213943888 3213942872 134701456 0 0 0 3 0 0 0 17 2 0 0 0
/proc/13197/statm: 237 49 40 174 0 62 0
[startup+0.01864 s]
/proc/loadavg: 0.91 0.93 0.96 2/93 13193
/proc/meminfo: memFree=429584/2074464 swapFree=1949056/1959888
[pid=13193] ppid=13191 vsize=2416 CPUtime=0
/proc/13193/stat : 13193 (SatELiteGTI) S 13191 13193 14060 0 -1 4194304 365 647 0 0 0 0 0 0 25 0 1 0 1016630193 2473984 276 4294967295 134512640 135169312 3218157664 3218156200 3084902126 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/13193/statm: 604 276 235 161 0 43 0
[pid=13197] ppid=13193 vsize=2808 CPUtime=0.02
/proc/13197/stat : 13197 (SatELite_releas) R 13193 13193 14060 0 -1 4202496 555 0 0 0 2 0 0 0 25 0 1 0 1016630194 2875392 491 4294967295 134512640 135223648 3213943888 3213942840 134737310 0 0 0 3 0 0 0 17 2 0 0 0
/proc/13197/statm: 702 492 47 174 0 527 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5224
[startup+0.108631 s]
/proc/loadavg: 0.91 0.93 0.96 2/93 13193
/proc/meminfo: memFree=429584/2074464 swapFree=1949056/1959888
[pid=13193] ppid=13191 vsize=2416 CPUtime=0
/proc/13193/stat : 13193 (SatELiteGTI) S 13191 13193 14060 0 -1 4194304 365 647 0 0 0 0 0 0 25 0 1 0 1016630193 2473984 276 4294967295 134512640 135169312 3218157664 3218156200 3084902126 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/13193/statm: 604 276 235 161 0 43 0
[pid=13197] ppid=13193 vsize=12840 CPUtime=0.11
/proc/13197/stat : 13197 (SatELite_releas) R 13193 13193 14060 0 -1 4202496 2918 0 0 0 10 1 0 0 25 0 1 0 1016630194 13148160 2854 4294967295 134512640 135223648 3213943888 3213942840 134737310 0 0 0 3 0 0 0 17 2 0 0 0
/proc/13197/statm: 3210 2856 47 174 0 3035 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 15256
[startup+0.308613 s]
/proc/loadavg: 0.91 0.93 0.96 2/93 13193
/proc/meminfo: memFree=429584/2074464 swapFree=1949056/1959888
[pid=13193] ppid=13191 vsize=2416 CPUtime=0
/proc/13193/stat : 13193 (SatELiteGTI) S 13191 13193 14060 0 -1 4194304 365 647 0 0 0 0 0 0 25 0 1 0 1016630193 2473984 276 4294967295 134512640 135169312 3218157664 3218156200 3084902126 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/13193/statm: 604 276 235 161 0 43 0
[pid=13197] ppid=13193 vsize=18288 CPUtime=0.31
/proc/13197/stat : 13197 (SatELite_releas) R 13193 13193 14060 0 -1 4202496 4221 0 0 0 28 3 0 0 25 0 1 0 1016630194 18726912 4157 4294967295 134512640 135223648 3213943888 3213941968 134548206 0 0 0 3 0 0 0 17 2 0 0 0
/proc/13197/statm: 4572 4157 72 174 0 4397 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 20704
[startup+0.708579 s]
/proc/loadavg: 0.91 0.93 0.96 2/93 13193
/proc/meminfo: memFree=429584/2074464 swapFree=1949056/1959888
[pid=13193] ppid=13191 vsize=2416 CPUtime=0
/proc/13193/stat : 13193 (SatELiteGTI) S 13191 13193 14060 0 -1 4194304 365 647 0 0 0 0 0 0 25 0 1 0 1016630193 2473984 276 4294967295 134512640 135169312 3218157664 3218156200 3084902126 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/13193/statm: 604 276 235 161 0 43 0
[pid=13197] ppid=13193 vsize=18540 CPUtime=0.71
/proc/13197/stat : 13197 (SatELite_releas) R 13193 13193 14060 0 -1 4202496 4674 0 0 0 67 4 0 0 25 0 1 0 1016630194 18984960 4243 4294967295 134512640 135223648 3213943888 3213941904 134586721 0 0 0 3 0 0 0 17 2 0 0 0
/proc/13197/statm: 4635 4243 73 174 0 4460 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 20956
[startup+1.50851 s]
/proc/loadavg: 0.91 0.93 0.96 2/95 13198
/proc/meminfo: memFree=410860/2074464 swapFree=1949056/1959888
[pid=13193] ppid=13191 vsize=2420 CPUtime=1.1
/proc/13193/stat : 13193 (SatELiteGTI) S 13191 13193 14060 0 -1 4194304 385 5670 0 0 0 0 104 6 20 0 1 0 1016630193 2478080 278 4294967295 134512640 135169312 3218157664 3218153880 3084902126 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/13193/statm: 605 278 235 161 0 44 0
Current children cumulated CPU time (s) 1.1
Current children cumulated vsize (KiB) 2420
[startup+3.10837 s]
/proc/loadavg: 0.91 0.93 0.96 2/95 13199
/proc/meminfo: memFree=421152/2074464 swapFree=1949056/1959888
[pid=13193] ppid=13191 vsize=2420 CPUtime=1.1
/proc/13193/stat : 13193 (SatELiteGTI) S 13191 13193 14060 0 -1 4194304 385 5670 0 0 0 0 104 6 20 0 1 0 1016630193 2478080 278 4294967295 134512640 135169312 3218157664 3218153880 3084902126 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/13193/statm: 605 278 235 161 0 44 0
[pid=13199] ppid=13193 vsize=7384 CPUtime=2.01
/proc/13199/stat : 13199 (minisat_static) R 13193 13193 14060 0 -1 4202496 1755 0 0 0 200 1 0 0 25 0 1 0 1016630304 7561216 1689 4294967295 134512640 135215339 3213464624 3213462912 134528802 0 0 0 3 0 0 0 17 3 0 0 0
/proc/13199/statm: 1846 1689 73 172 0 1673 0
Current children cumulated CPU time (s) 3.11
Current children cumulated vsize (KiB) 9804
[startup+6.31809 s]
/proc/loadavg: 0.92 0.93 0.96 2/95 13199
/proc/meminfo: memFree=418868/2074464 swapFree=1949056/1959888
[pid=13193] ppid=13191 vsize=2420 CPUtime=1.1
/proc/13193/stat : 13193 (SatELiteGTI) S 13191 13193 14060 0 -1 4194304 385 5670 0 0 0 0 104 6 20 0 1 0 1016630193 2478080 278 4294967295 134512640 135169312 3218157664 3218153880 3084902126 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/13193/statm: 605 278 235 161 0 44 0
[pid=13199] ppid=13193 vsize=9272 CPUtime=5.22
/proc/13199/stat : 13199 (minisat_static) R 13193 13193 14060 0 -1 4202496 2233 0 0 0 521 1 0 0 25 0 1 0 1016630304 9494528 2167 4294967295 134512640 135215339 3213464624 3213462912 134528751 0 0 0 3 0 0 0 17 3 0 0 0
/proc/13199/statm: 2318 2167 73 172 0 2145 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 11692
[startup+12.7175 s]
/proc/loadavg: 0.92 0.93 0.96 2/95 13203
/proc/meminfo: memFree=416072/2074464 swapFree=1949056/1959888
[pid=13193] ppid=13191 vsize=2420 CPUtime=1.1
/proc/13193/stat : 13193 (SatELiteGTI) S 13191 13193 14060 0 -1 4194304 385 5670 0 0 0 0 104 6 20 0 1 0 1016630193 2478080 278 4294967295 134512640 135169312 3218157664 3218153880 3084902126 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/13193/statm: 605 278 235 161 0 44 0
[pid=13199] ppid=13193 vsize=11732 CPUtime=11.62
/proc/13199/stat : 13199 (minisat_static) R 13193 13193 14060 0 -1 4202496 2831 0 0 0 1160 2 0 0 25 0 1 0 1016630304 12013568 2765 4294967295 134512640 135215339 3213464624 3213462912 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/13199/statm: 2933 2765 73 172 0 2760 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 14152
[startup+25.5164 s]
/proc/loadavg: 0.94 0.94 0.96 2/95 13203
/proc/meminfo: memFree=413316/2074464 swapFree=1949056/1959888
[pid=13193] ppid=13191 vsize=2420 CPUtime=1.1
/proc/13193/stat : 13193 (SatELiteGTI) S 13191 13193 14060 0 -1 4194304 385 5670 0 0 0 0 104 6 20 0 1 0 1016630193 2478080 278 4294967295 134512640 135169312 3218157664 3218153880 3084902126 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/13193/statm: 605 278 235 161 0 44 0
[pid=13199] ppid=13193 vsize=14528 CPUtime=24.42
/proc/13199/stat : 13199 (minisat_static) R 13193 13193 14060 0 -1 4202496 3541 0 0 0 2440 2 0 0 25 0 1 0 1016630304 14876672 3475 4294967295 134512640 135215339 3213464624 3213462912 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/13199/statm: 3632 3475 73 172 0 3459 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 16948
[startup+51.1142 s]
/proc/loadavg: 0.96 0.94 0.96 3/95 13203
/proc/meminfo: memFree=411968/2074464 swapFree=1949056/1959888
[pid=13193] ppid=13191 vsize=2420 CPUtime=1.1
/proc/13193/stat : 13193 (SatELiteGTI) S 13191 13193 14060 0 -1 4194304 385 5670 0 0 0 0 104 6 20 0 1 0 1016630193 2478080 278 4294967295 134512640 135169312 3218157664 3218153880 3084902126 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/13193/statm: 605 278 235 161 0 44 0
[pid=13199] ppid=13193 vsize=16084 CPUtime=50.02
/proc/13199/stat : 13199 (minisat_static) R 13193 13193 14060 0 -1 4202496 3903 0 0 0 5000 2 0 0 25 0 1 0 1016630304 16470016 3837 4294967295 134512640 135215339 3213464624 3213462912 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/13199/statm: 4021 3837 73 172 0 3848 0
Current children cumulated CPU time (s) 51.12
Current children cumulated vsize (KiB) 18504
[startup+102.32 s]
/proc/loadavg: 0.98 0.95 0.96 2/95 13394
/proc/meminfo: memFree=408240/2074464 swapFree=1949056/1959888
[pid=13193] ppid=13191 vsize=2420 CPUtime=1.1
/proc/13193/stat : 13193 (SatELiteGTI) S 13191 13193 14060 0 -1 4194304 385 5670 0 0 0 0 104 6 20 0 1 0 1016630193 2478080 278 4294967295 134512640 135169312 3218157664 3218153880 3084902126 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/13193/statm: 605 278 235 161 0 44 0
[pid=13199] ppid=13193 vsize=19348 CPUtime=101.23
/proc/13199/stat : 13199 (minisat_static) R 13193 13193 14060 0 -1 4202496 4707 0 0 0 10121 2 0 0 25 0 1 0 1016630304 19812352 4641 4294967295 134512640 135215339 3213464624 3213462912 134528849 0 0 0 3 0 0 0 17 3 0 0 0
/proc/13199/statm: 4837 4641 73 172 0 4664 0
Current children cumulated CPU time (s) 102.33
Current children cumulated vsize (KiB) 21768
[startup+162.315 s]
/proc/loadavg: 0.99 0.95 0.96 3/95 13587
/proc/meminfo: memFree=407852/2074464 swapFree=1949056/1959888
[pid=13193] ppid=13191 vsize=2420 CPUtime=1.1
/proc/13193/stat : 13193 (SatELiteGTI) S 13191 13193 14060 0 -1 4194304 385 5670 0 0 0 0 104 6 20 0 1 0 1016630193 2478080 278 4294967295 134512640 135169312 3218157664 3218153880 3084902126 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/13193/statm: 605 278 235 161 0 44 0
[pid=13199] ppid=13193 vsize=19908 CPUtime=161.23
/proc/13199/stat : 13199 (minisat_static) R 13193 13193 14060 0 -1 4202496 4835 0 0 0 16120 3 0 0 25 0 1 0 1016630304 20385792 4769 4294967295 134512640 135215339 3213464624 3213462912 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/13199/statm: 4977 4769 73 172 0 4804 0
Current children cumulated CPU time (s) 162.33
Current children cumulated vsize (KiB) 22328
[startup+222.319 s]
/proc/loadavg: 0.99 0.96 0.96 2/95 13771
/proc/meminfo: memFree=407528/2074464 swapFree=1949056/1959888
[pid=13193] ppid=13191 vsize=2420 CPUtime=1.1
/proc/13193/stat : 13193 (SatELiteGTI) S 13191 13193 14060 0 -1 4194304 385 5670 0 0 0 0 104 6 20 0 1 0 1016630193 2478080 278 4294967295 134512640 135169312 3218157664 3218153880 3084902126 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/13193/statm: 605 278 235 161 0 44 0
[pid=13199] ppid=13193 vsize=20368 CPUtime=221.24
/proc/13199/stat : 13199 (minisat_static) R 13193 13193 14060 0 -1 4202496 4925 0 0 0 22121 3 0 0 25 0 1 0 1016630304 20856832 4859 4294967295 134512640 135215339 3213464624 3213462912 134528788 0 0 0 3 0 0 0 17 3 0 0 0
/proc/13199/statm: 5092 4859 73 172 0 4919 0
Current children cumulated CPU time (s) 222.34
Current children cumulated vsize (KiB) 22788
[startup+282.314 s]
/proc/loadavg: 0.99 0.96 0.96 3/95 13960
/proc/meminfo: memFree=407272/2074464 swapFree=1949056/1959888
[pid=13193] ppid=13191 vsize=2420 CPUtime=1.1
/proc/13193/stat : 13193 (SatELiteGTI) S 13191 13193 14060 0 -1 4194304 385 5670 0 0 0 0 104 6 20 0 1 0 1016630193 2478080 278 4294967295 134512640 135169312 3218157664 3218153880 3084902126 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/13193/statm: 605 278 235 161 0 44 0
[pid=13199] ppid=13193 vsize=20688 CPUtime=281.24
/proc/13199/stat : 13199 (minisat_static) R 13193 13193 14060 0 -1 4202496 5017 0 0 0 28118 6 0 0 25 0 1 0 1016630304 21184512 4951 4294967295 134512640 135215339 3213464624 3213462912 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/13199/statm: 5172 4951 73 172 0 4999 0
Current children cumulated CPU time (s) 282.34
Current children cumulated vsize (KiB) 23108
[startup+342.319 s]
/proc/loadavg: 0.99 0.97 0.96 2/95 14151
/proc/meminfo: memFree=407016/2074464 swapFree=1949056/1959888
[pid=13193] ppid=13191 vsize=2420 CPUtime=1.1
/proc/13193/stat : 13193 (SatELiteGTI) S 13191 13193 14060 0 -1 4194304 385 5670 0 0 0 0 104 6 20 0 1 0 1016630193 2478080 278 4294967295 134512640 135169312 3218157664 3218153880 3084902126 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/13193/statm: 605 278 235 161 0 44 0
[pid=13199] ppid=13193 vsize=20868 CPUtime=341.25
/proc/13199/stat : 13199 (minisat_static) R 13193 13193 14060 0 -1 4202496 5047 0 0 0 34119 6 0 0 25 0 1 0 1016630304 21368832 4981 4294967295 134512640 135215339 3213464624 3213462912 134528806 0 0 0 3 0 0 0 17 3 0 0 0
/proc/13199/statm: 5217 4981 73 172 0 5044 0
Current children cumulated CPU time (s) 342.35
Current children cumulated vsize (KiB) 23288
[startup+402.324 s]
/proc/loadavg: 0.99 0.97 0.96 2/95 14340
/proc/meminfo: memFree=406404/2074464 swapFree=1949056/1959888
[pid=13193] ppid=13191 vsize=2420 CPUtime=1.1
/proc/13193/stat : 13193 (SatELiteGTI) S 13191 13193 14060 0 -1 4194304 385 5670 0 0 0 0 104 6 20 0 1 0 1016630193 2478080 278 4294967295 134512640 135169312 3218157664 3218153880 3084902126 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/13193/statm: 605 278 235 161 0 44 0
[pid=13199] ppid=13193 vsize=21140 CPUtime=401.26
/proc/13199/stat : 13199 (minisat_static) R 13193 13193 14060 0 -1 4202496 5130 0 0 0 40120 6 0 0 25 0 1 0 1016630304 21647360 5064 4294967295 134512640 135215339 3213464624 3213462912 134528700 0 0 0 3 0 0 0 17 3 0 0 0
/proc/13199/statm: 5285 5064 73 172 0 5112 0
Current children cumulated CPU time (s) 402.36
Current children cumulated vsize (KiB) 23560
[startup+462.319 s]
/proc/loadavg: 0.99 0.97 0.96 3/95 14529
/proc/meminfo: memFree=406364/2074464 swapFree=1949056/1959888
[pid=13193] ppid=13191 vsize=2420 CPUtime=1.1
/proc/13193/stat : 13193 (SatELiteGTI) S 13191 13193 14060 0 -1 4194304 385 5670 0 0 0 0 104 6 20 0 1 0 1016630193 2478080 278 4294967295 134512640 135169312 3218157664 3218153880 3084902126 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/13193/statm: 605 278 235 161 0 44 0
[pid=13199] ppid=13193 vsize=21272 CPUtime=461.26
/proc/13199/stat : 13199 (minisat_static) R 13193 13193 14060 0 -1 4202496 5166 0 0 0 46120 6 0 0 25 0 1 0 1016630304 21782528 5100 4294967295 134512640 135215339 3213464624 3213462912 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/13199/statm: 5318 5100 73 172 0 5145 0
Current children cumulated CPU time (s) 462.36
Current children cumulated vsize (KiB) 23692
[startup+522.313 s]
/proc/loadavg: 0.99 0.97 0.96 3/95 14713
/proc/meminfo: memFree=406412/2074464 swapFree=1949056/1959888
[pid=13193] ppid=13191 vsize=2420 CPUtime=1.1
/proc/13193/stat : 13193 (SatELiteGTI) S 13191 13193 14060 0 -1 4194304 385 5670 0 0 0 0 104 6 20 0 1 0 1016630193 2478080 278 4294967295 134512640 135169312 3218157664 3218153880 3084902126 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/13193/statm: 605 278 235 161 0 44 0
[pid=13199] ppid=13193 vsize=21420 CPUtime=521.26
/proc/13199/stat : 13199 (minisat_static) R 13193 13193 14060 0 -1 4202496 5187 0 0 0 52120 6 0 0 25 0 1 0 1016630304 21934080 5121 4294967295 134512640 135215339 3213464624 3213462912 134528742 0 0 0 3 0 0 0 17 3 0 0 0
/proc/13199/statm: 5355 5121 73 172 0 5182 0
Current children cumulated CPU time (s) 522.36
Current children cumulated vsize (KiB) 23840
Solver just ended. Dumping a history of the last processes samples
[startup+537.512 s]
/proc/loadavg: 0.99 0.97 0.96 3/95 14722
/proc/meminfo: memFree=406132/2074464 swapFree=1949056/1959888
[pid=13193] ppid=13191 vsize=2420 CPUtime=1.1
/proc/13193/stat : 13193 (SatELiteGTI) S 13191 13193 14060 0 -1 4194304 385 5670 0 0 0 0 104 6 20 0 1 0 1016630193 2478080 278 4294967295 134512640 135169312 3218157664 3218153880 3084902126 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/13193/statm: 605 278 235 161 0 44 0
[pid=13199] ppid=13193 vsize=21420 CPUtime=536.46
/proc/13199/stat : 13199 (minisat_static) R 13193 13193 14060 0 -1 4202496 5189 0 0 0 53640 6 0 0 25 0 1 0 1016630304 21934080 5123 4294967295 134512640 135215339 3213464624 3213462912 134528863 0 0 0 3 0 0 0 17 3 0 0 0
/proc/13199/statm: 5355 5123 73 172 0 5182 0
Current children cumulated CPU time (s) 537.56
Current children cumulated vsize (KiB) 23840
[startup+550.311 s]
/proc/loadavg: 1.06 0.99 0.97 3/95 14905
/proc/meminfo: memFree=406300/2074464 swapFree=1949056/1959888
[pid=13193] ppid=13191 vsize=2420 CPUtime=1.1
/proc/13193/stat : 13193 (SatELiteGTI) S 13191 13193 14060 0 -1 4194304 385 5670 0 0 0 0 104 6 20 0 1 0 1016630193 2478080 278 4294967295 134512640 135169312 3218157664 3218153880 3084902126 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/13193/statm: 605 278 235 161 0 44 0
[pid=13199] ppid=13193 vsize=21420 CPUtime=549.26
/proc/13199/stat : 13199 (minisat_static) R 13193 13193 14060 0 -1 4202496 5192 0 0 0 54920 6 0 0 25 0 1 0 1016630304 21934080 5126 4294967295 134512640 135215339 3213464624 3213462912 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/13199/statm: 5355 5126 73 172 0 5182 0
Current children cumulated CPU time (s) 550.36
Current children cumulated vsize (KiB) 23840
[startup+556.71 s]
/proc/loadavg: 1.06 0.99 0.97 3/95 14905
/proc/meminfo: memFree=406364/2074464 swapFree=1949056/1959888
[pid=13193] ppid=13191 vsize=2420 CPUtime=1.1
/proc/13193/stat : 13193 (SatELiteGTI) S 13191 13193 14060 0 -1 4194304 385 5670 0 0 0 0 104 6 20 0 1 0 1016630193 2478080 278 4294967295 134512640 135169312 3218157664 3218153880 3084902126 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/13193/statm: 605 278 235 161 0 44 0
[pid=13199] ppid=13193 vsize=21420 CPUtime=555.66
/proc/13199/stat : 13199 (minisat_static) R 13193 13193 14060 0 -1 4202496 5193 0 0 0 55560 6 0 0 25 0 1 0 1016630304 21934080 5127 4294967295 134512640 135215339 3213464624 3213462912 134528666 0 0 0 3 0 0 0 17 3 0 0 0
/proc/13199/statm: 5355 5127 73 172 0 5182 0
Current children cumulated CPU time (s) 556.76
Current children cumulated vsize (KiB) 23840
[startup+563.11 s]
/proc/loadavg: 1.05 0.99 0.97 3/95 14905
/proc/meminfo: memFree=406396/2074464 swapFree=1949056/1959888
[pid=13193] ppid=13191 vsize=2420 CPUtime=1.1
/proc/13193/stat : 13193 (SatELiteGTI) S 13191 13193 14060 0 -1 4194304 385 5670 0 0 0 0 104 6 20 0 1 0 1016630193 2478080 278 4294967295 134512640 135169312 3218157664 3218153880 3084902126 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/13193/statm: 605 278 235 161 0 44 0
[pid=13199] ppid=13193 vsize=21420 CPUtime=562.06
/proc/13199/stat : 13199 (minisat_static) R 13193 13193 14060 0 -1 4202496 5197 0 0 0 56200 6 0 0 25 0 1 0 1016630304 21934080 5131 4294967295 134512640 135215339 3213464624 3213462912 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/13199/statm: 5355 5131 73 172 0 5182 0
Current children cumulated CPU time (s) 563.16
Current children cumulated vsize (KiB) 23840
[startup+564.71 s]
/proc/loadavg: 1.05 0.99 0.97 3/95 14905
/proc/meminfo: memFree=406412/2074464 swapFree=1949056/1959888
[pid=13193] ppid=13191 vsize=2420 CPUtime=1.1
/proc/13193/stat : 13193 (SatELiteGTI) S 13191 13193 14060 0 -1 4194304 385 5670 0 0 0 0 104 6 20 0 1 0 1016630193 2478080 278 4294967295 134512640 135169312 3218157664 3218153880 3084902126 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/13193/statm: 605 278 235 161 0 44 0
[pid=13199] ppid=13193 vsize=21420 CPUtime=563.66
/proc/13199/stat : 13199 (minisat_static) R 13193 13193 14060 0 -1 4202496 5197 0 0 0 56360 6 0 0 25 0 1 0 1016630304 21934080 5131 4294967295 134512640 135215339 3213464624 3213462912 134528788 0 0 0 3 0 0 0 17 3 0 0 0
/proc/13199/statm: 5355 5131 73 172 0 5182 0
Current children cumulated CPU time (s) 564.76
Current children cumulated vsize (KiB) 23840
[startup+566.31 s]
/proc/loadavg: 1.05 0.99 0.97 4/95 14905
/proc/meminfo: memFree=406412/2074464 swapFree=1949056/1959888
[pid=13193] ppid=13191 vsize=2420 CPUtime=1.1
/proc/13193/stat : 13193 (SatELiteGTI) S 13191 13193 14060 0 -1 4194304 385 5670 0 0 0 0 104 6 20 0 1 0 1016630193 2478080 278 4294967295 134512640 135169312 3218157664 3218153880 3084902126 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/13193/statm: 605 278 235 161 0 44 0
[pid=13199] ppid=13193 vsize=21420 CPUtime=565.26
/proc/13199/stat : 13199 (minisat_static) R 13193 13193 14060 0 -1 4202496 5206 0 0 0 56520 6 0 0 25 0 1 0 1016630304 21934080 5140 4294967295 134512640 135215339 3213464624 3213462832 134526315 0 0 0 3 0 0 0 17 3 0 0 0
/proc/13199/statm: 5355 5140 73 172 0 5182 0
Current children cumulated CPU time (s) 566.36
Current children cumulated vsize (KiB) 23840
[startup+567.109 s]
/proc/loadavg: 1.05 0.99 0.97 3/95 14905
/proc/meminfo: memFree=406412/2074464 swapFree=1949056/1959888
[pid=13193] ppid=13191 vsize=2420 CPUtime=1.1
/proc/13193/stat : 13193 (SatELiteGTI) S 13191 13193 14060 0 -1 4194304 385 5670 0 0 0 0 104 6 20 0 1 0 1016630193 2478080 278 4294967295 134512640 135169312 3218157664 3218153880 3084902126 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/13193/statm: 605 278 235 161 0 44 0
[pid=13199] ppid=13193 vsize=21420 CPUtime=566.06
/proc/13199/stat : 13199 (minisat_static) R 13193 13193 14060 0 -1 4202496 5206 0 0 0 56600 6 0 0 25 0 1 0 1016630304 21934080 5140 4294967295 134512640 135215339 3213464624 3213462912 134528721 0 0 0 3 0 0 0 17 3 0 0 0
/proc/13199/statm: 5355 5140 73 172 0 5182 0
Current children cumulated CPU time (s) 567.16
Current children cumulated vsize (KiB) 23840
[startup+567.31 s]
/proc/loadavg: 1.05 0.99 0.97 3/95 14905
/proc/meminfo: memFree=406412/2074464 swapFree=1949056/1959888
[pid=13193] ppid=13191 vsize=2420 CPUtime=1.1
/proc/13193/stat : 13193 (SatELiteGTI) S 13191 13193 14060 0 -1 4194304 385 5670 0 0 0 0 104 6 20 0 1 0 1016630193 2478080 278 4294967295 134512640 135169312 3218157664 3218153880 3084902126 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/13193/statm: 605 278 235 161 0 44 0
[pid=13199] ppid=13193 vsize=21420 CPUtime=566.26
/proc/13199/stat : 13199 (minisat_static) R 13193 13193 14060 0 -1 4202496 5206 0 0 0 56620 6 0 0 25 0 1 0 1016630304 21934080 5140 4294967295 134512640 135215339 3213464624 3213462912 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/13199/statm: 5355 5140 73 172 0 5182 0
Current children cumulated CPU time (s) 567.36
Current children cumulated vsize (KiB) 23840
[startup+567.409 s]
/proc/loadavg: 1.05 0.99 0.97 3/95 14905
/proc/meminfo: memFree=406412/2074464 swapFree=1949056/1959888
[pid=13193] ppid=13191 vsize=2420 CPUtime=1.1
/proc/13193/stat : 13193 (SatELiteGTI) S 13191 13193 14060 0 -1 4194304 385 5670 0 0 0 0 104 6 20 0 1 0 1016630193 2478080 278 4294967295 134512640 135169312 3218157664 3218153880 3084902126 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/13193/statm: 605 278 235 161 0 44 0
[pid=13199] ppid=13193 vsize=21420 CPUtime=566.36
/proc/13199/stat : 13199 (minisat_static) R 13193 13193 14060 0 -1 4202496 5206 0 0 0 56630 6 0 0 25 0 1 0 1016630304 21934080 5140 4294967295 134512640 135215339 3213464624 3213462912 134528779 0 0 0 3 0 0 0 17 3 0 0 0
/proc/13199/statm: 5355 5140 73 172 0 5182 0
Current children cumulated CPU time (s) 567.46
Current children cumulated vsize (KiB) 23840
Child status: 20
Real time (s): 567.447
CPU time (s): 567.49
CPU user time (s): 567.37
CPU system time (s): 0.12
CPU usage (%): 100.008
Max. virtual memory (cumulated for all children) (KiB): 23840
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 567.37
system time used= 0.12
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11540
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= 25
involuntary context switches= 420
runsolver used 0.01 second user time and 0.04 second system time
The end
Begin job on tipi27 at 2009-05-17 02:48:50
IDJOB=1821340
IDBENCH=70940
IDSOLVER=657
FILE ID=tipi27/1821340-1242521330
PBS_JOBID=
Free space on /tmp= 9071 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= runsolver --timestamp -w /tmp/evaluation-result-1821340-1242521330/watcher-1821340-1242521330 -o /tmp/evaluation-result-1821340-1242521330/solver-1821340-1242521330 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821340-1242521330.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= a7bc41b32260e4459b2bee7c18cacba1
RANDOM SEED= 320763624
Linux tipi27 2.6.18 #19 SMP Tue Jun 19 11:27:27 CEST 2007 i686 GNU/Linux
/proc/cpuinfo:
processor : 0
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.389
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3618.40
processor : 1
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.389
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.79
processor : 2
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.389
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.77
processor : 3
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.389
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.78
/proc/meminfo:
MemTotal: 2074464 kB
MemFree: 429460 kB
Buffers: 67020 kB
Cached: 1444772 kB
SwapCached: 5508 kB
Active: 689292 kB
Inactive: 832220 kB
HighTotal: 1178688 kB
HighFree: 161468 kB
LowTotal: 895776 kB
LowFree: 267992 kB
SwapTotal: 1959888 kB
SwapFree: 1949056 kB
Dirty: 4476 kB
Writeback: 0 kB
AnonPages: 9056 kB
Mapped: 3360 kB
Slab: 114744 kB
PageTables: 600 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 2997120 kB
Committed_AS: 90632 kB
VmallocTotal: 114680 kB
VmallocUsed: 1324 kB
VmallocChunk: 113264 kB
Free space on /tmp at the end= 9071 MiB
End job on tipi27 at 2009-05-17 02:58:18