0.00/0.00 c Parsing...
0.00/0.03 c ==============================================================================
0.00/0.03 c | | ORIGINAL | LEARNT | |
0.00/0.03 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.03 c ==============================================================================
0.00/0.03 c | 0 | 23237 63534 | 6971 0 0 nan | 0.000 % |
0.00/0.18 c | 0 | 15594 54914 | -- 0 -- -- | -- | -7643/-8620
0.00/0.18 c ==============================================================================
0.00/0.18 c Result : #vars: 2673 #clauses: 15594 #literals: 54914
0.00/0.18 c CPU time: 0.17 s
0.00/0.18 c ==============================================================================
0.00/0.20 c This is MiniSat 2.0 beta
0.00/0.20 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.20 c ============================[ Problem Statistics ]=============================
0.00/0.20 c | |
0.00/0.20 c | Number of variables: 2673 |
0.00/0.20 c | Number of clauses: 15594 |
0.20/0.21 c | Parsing time: 0.01 s |
0.20/0.21 c ============================[ Search Statistics ]==============================
0.20/0.21 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.20/0.21 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.20/0.21 c ===============================================================================
0.20/0.21 c | 0 | 2673 15594 54914 | 5198 0 nan | 0.000 % |
0.20/0.23 c | 513 | 2673 15594 54914 | 5198 513 10 | 0.000 % |
0.20/0.28 c | 1028 | 2673 15594 54914 | 5198 1028 25 | 0.000 % |
0.20/0.35 c | 1540 | 2673 15594 54914 | 5198 1540 34 | 0.000 % |
0.20/0.47 c | 2565 | 2673 15594 54914 | 5198 2565 44 | 0.000 % |
0.20/0.57 c | 3078 | 2673 15594 54914 | 5198 3078 55 | 0.000 % |
0.20/0.61 c | 3590 | 2673 15594 54914 | 5198 3590 49 | 0.000 % |
0.20/0.85 c | 4616 | 2673 15594 54914 | 5198 4616 58 | 0.001 % |
1.31/1.37 c | 6665 | 2673 15594 54914 | 5198 5510 61 | 0.000 % |
1.41/1.41 c | 7177 | 2673 15594 54914 | 5198 5471 55 | 0.000 % |
1.51/1.51 c | 7689 | 2673 15594 54914 | 5198 4907 49 | 0.000 % |
1.61/1.67 c | 8713 | 2673 15594 54914 | 5198 5382 43 | 0.000 % |
1.71/1.77 c | 9225 | 2673 15594 54914 | 5198 5356 41 | 0.000 % |
1.81/1.86 c | 9738 | 2673 15594 54914 | 5198 5334 41 | 0.000 % |
2.01/2.07 c | 10762 | 2673 15594 54914 | 2147483647 5825 40 | 0.000 % |
2.41/2.49 c | 12811 | 2673 15594 54914 | 2147483647 7874 42 | 0.000 % |
3.42/3.45 c | 16907 | 2673 15594 54914 | 2147483647 11970 43 | 0.000 % |
3.61/3.61 c | 17420 | 2673 15594 54914 | 2147483647 12483 43 | 0.000 % |
3.71/3.80 c | 17932 | 2673 15594 54914 | 2147483647 12995 43 | 0.000 % |
4.11/4.12 c | 18957 | 2673 15594 54914 | 2147483647 14020 43 | 0.000 % |
4.21/4.22 c | 19470 | 2673 15594 54914 | 2147483647 14533 42 | 0.000 % |
4.31/4.34 c | 19983 | 2673 15594 54914 | 2147483647 15046 43 | 0.000 % |
4.71/4.71 c | 21007 | 2673 15594 54914 | 2147483647 16070 43 | 0.000 % |
5.01/5.09 c | 23055 | 2673 15594 54914 | 2147483647 18118 41 | 0.000 % |
5.21/5.26 c | 23568 | 2673 15594 54914 | 2147483647 18631 41 | 0.000 % |
5.31/5.37 c | 24080 | 2673 15594 54914 | 2147483647 19143 41 | 0.000 % |
5.71/5.73 c | 25104 | 2673 15594 54914 | 2147483647 20167 45 | 0.000 % |
5.91/5.94 c | 25616 | 2673 15594 54914 | 2147483647 20679 44 | 0.000 % |
6.11/6.14 c | 26128 | 2673 15594 54914 | 2147483647 21191 45 | 0.000 % |
6.41/6.50 c | 27153 | 2673 15594 54914 | 2147483647 22216 45 | 0.000 % |
6.81/6.88 c | 29202 | 2673 15594 54914 | 2147483647 24265 44 | 0.000 % |
8.30/8.36 c | 33299 | 2673 15594 54914 | 2147483647 28362 44 | 0.000 % |
13.60/13.62 c | 41491 | 2673 15594 54914 | 35065 32465 40 | 0.000 % |
13.90/13.95 c | 42003 | 2673 15594 54914 | 35065 32977 40 | 0.000 % |
14.30/14.33 c | 42515 | 2673 15594 54914 | 35065 33489 41 | 0.001 % |
14.60/14.65 c | 43540 | 2673 15594 54914 | 35065 34514 41 | 0.000 % |
14.80/14.89 c | 44052 | 2673 15594 54914 | 35065 35026 41 | 0.000 % |
15.00/15.05 c | 44566 | 2673 15594 54914 | 35065 35540 41 | 0.000 % |
15.70/15.79 c | 45591 | 2673 15594 54914 | 35065 31490 40 | 0.000 % |
16.20/16.27 c | 47639 | 2673 15594 54914 | 35065 33538 39 | 0.000 % |
16.61/16.66 c | 48152 | 2673 15594 54914 | 35065 34051 39 | 0.000 % |
16.90/16.93 c | 48665 | 2673 15594 54914 | 35065 34564 39 | 0.000 % |
17.40/17.46 c | 49689 | 2672 15582 54884 | 35065 30379 39 | 0.037 % |
17.60/17.70 c | 50202 | 2672 15582 54884 | 30690 30892 39 | 0.038 % |
17.90/17.98 c | 50714 | 2672 15582 54884 | 30690 26876 35 | 0.037 % |
18.40/18.43 c | 51740 | 2672 15582 54884 | 30690 27902 35 | 0.038 % |
19.40/19.50 c | 53788 | 2672 15582 54884 | 30690 29950 35 | 0.037 % |
22.30/22.39 c | 57884 | 2672 15582 54884 | 30690 29702 36 | 0.037 % |
22.80/22.83 c | 58397 | 2672 15582 54884 | 30690 30215 36 | 0.037 % |
23.00/23.00 c | 58909 | 2672 15582 54884 | 30690 30727 36 | 0.037 % |
23.21/23.29 c | 59934 | 2672 15582 54884 | 30690 27445 35 | 0.037 % |
23.50/23.53 c | 60446 | 2672 15582 54884 | 27513 24199 34 | 0.037 % |
23.70/23.73 c | 60958 | 2672 15582 54884 | 27513 24711 34 | 0.037 % |
24.40/24.40 c | 61983 | 2672 15582 54884 | 27513 25736 35 | 0.038 % |
25.81/25.88 c | 64033 | 2672 15582 54884 | 27513 27786 36 | 0.037 % |
26.01/26.09 c | 64545 | 2672 15582 54884 | 27513 25070 36 | 0.037 % |
26.31/26.32 c | 65060 | 2672 15582 54884 | 27513 25585 37 | 0.037 % |
26.71/26.76 c | 66087 | 2672 15582 54884 | 27513 26612 37 | 0.038 % |
26.91/26.99 c | 66600 | 2672 15582 54884 | 27513 27125 38 | 0.037 % |
27.21/27.30 c | 67112 | 2672 15582 54884 | 27513 27637 38 | 0.038 % |
27.81/27.83 c | 68136 | 2672 15582 54884 | 27513 25455 38 | 0.038 % |
28.81/28.88 c | 70187 | 2672 15582 54884 | 27319 27506 38 | 0.038 % |
30.31/30.34 c | 74283 | 2672 15582 54884 | 27319 25570 36 | 0.038 % |
35.31/35.31 c | 82475 | 2672 15582 54884 | 24933 24552 33 | 0.038 % |
49.41/49.41 c | 98859 | 2672 15582 54884 | 24375 22563 35 | 0.038 % |
49.61/49.70 c | 99371 | 2672 15582 54884 | 24375 23075 35 | 0.037 % |
49.91/49.99 c | 99883 | 2672 15582 54884 | 24375 23587 35 | 0.037 % |
50.41/50.45 c | 100908 | 2672 15582 54884 | 23704 22000 33 | 0.037 % |
50.61/50.68 c | 101420 | 2672 15582 54884 | 23704 22512 33 | 0.038 % |
50.91/51.00 c | 101933 | 2672 15582 54884 | 23704 23025 33 | 0.037 % |
51.61/51.61 c | 102957 | 2672 15582 54884 | 23704 24049 34 | 0.037 % |
52.61/52.64 c | 105005 | 2672 15582 54884 | 23704 23668 34 | 0.038 % |
52.81/52.87 c | 105518 | 2672 15582 54884 | 23704 24181 35 | 0.038 % |
53.01/53.05 c | 106031 | 2672 15582 54884 | 23704 22129 33 | 0.038 % |
53.41/53.48 c | 107055 | 2672 15582 54884 | 23704 23153 34 | 0.037 % |
53.61/53.62 c | 107567 | 2672 15582 54884 | 23704 23665 34 | 0.037 % |
53.71/53.73 c | 108080 | 2672 15582 54884 | 23704 21721 32 | 0.037 % |
53.81/53.88 c | 109105 | 2672 15582 54884 | 23704 22746 32 | 0.037 % |
54.41/54.41 c | 111154 | 2672 15582 54884 | 2147483647 24795 31 | 0.037 % |
56.31/56.32 c | 115251 | 2672 15582 54884 | 2147483647 28892 31 | 0.038 % |
56.61/56.68 c | 115763 | 2672 15582 54884 | 2147483647 29404 32 | 0.038 % |
56.91/56.99 c | 116275 | 2672 15582 54884 | 2147483647 29916 32 | 0.037 % |
57.51/57.54 c | 117299 | 2672 15582 54884 | 2147483647 30940 33 | 0.037 % |
57.71/57.79 c | 117811 | 2672 15582 54884 | 2147483647 31452 33 | 0.038 % |
58.01/58.04 c | 118323 | 2672 15582 54884 | 2147483647 31964 33 | 0.037 % |
58.61/58.61 c | 119348 | 2672 15582 54884 | 2147483647 32989 34 | 0.038 % |
59.71/59.72 c | 121396 | 2672 15582 54884 | 33641 31002 34 | 0.037 % |
60.21/60.22 c | 121908 | 2672 15582 54884 | 33641 31514 34 | 0.037 % |
60.51/60.58 c | 122421 | 2672 15582 54884 | 33641 32027 34 | 0.037 % |
61.11/61.20 c | 123445 | 2672 15582 54884 | 33641 33051 35 | 0.038 % |
61.71/61.72 c | 123958 | 2672 15582 54884 | 33641 33564 35 | 0.037 % |
62.01/62.07 c | 124470 | 2672 15582 54884 | 33641 34076 35 | 0.038 % |
62.51/62.59 c | 125495 | 2672 15582 54884 | 33641 29947 34 | 0.037 % |
63.41/63.42 c | 127544 | 2672 15582 54884 | 33641 31996 34 | 0.037 % |
66.21/66.21 c | 131641 | 2672 15582 54884 | 34454 30090 38 | 0.038 % |
71.31/71.37 c | 139833 | 2672 15582 54884 | 34454 32370 39 | 0.037 % |
71.81/71.82 c | 140346 | 2672 15582 54884 | 32538 32883 40 | 0.037 % |
72.11/72.11 c | 140858 | 2672 15582 54884 | 32538 27869 38 | 0.037 % |
72.61/72.65 c | 141882 | 2672 15582 54884 | 32538 28893 38 | 0.038 % |
72.71/72.78 c | 142394 | 2672 15582 54884 | 32538 29405 38 | 0.037 % |
73.01/73.08 c | 142906 | 2672 15582 54884 | 32538 29917 39 | 0.038 % |
73.61/73.61 c | 143930 | 2672 15582 54884 | 32538 30941 39 | 0.037 % |
74.51/74.52 c | 145979 | 2672 15582 54884 | 32538 27840 37 | 0.037 % |
74.81/74.85 c | 146491 | 2672 15582 54884 | 32538 28352 37 | 0.038 % |
75.21/75.22 c | 147006 | 2672 15582 54884 | 32538 28867 38 | 0.037 % |
75.61/75.67 c | 148030 | 2672 15582 54884 | 32538 29891 38 | 0.038 % |
75.71/75.80 c | 148542 | 2672 15582 54884 | 32538 30403 38 | 0.037 % |
76.01/76.04 c | 149056 | 2672 15582 54884 | 32538 30917 39 | 0.037 % |
76.21/76.25 c | 150082 | 2672 15582 54884 | 31861 31943 38 | 0.038 % |
77.51/77.60 c | 152130 | 2672 15582 54884 | 31861 28950 34 | 0.037 % |
80.91/80.93 c | 156227 | 2672 15582 54884 | 31861 27976 35 | 0.038 % |
81.21/81.23 c | 156739 | 2672 15582 54884 | 31861 28488 35 | 0.037 % |
81.31/81.34 c | 157253 | 2672 15582 54884 | 31861 29002 35 | 0.038 % |
81.91/82.00 c | 158279 | 2672 15582 54884 | 31861 30028 35 | 0.038 % |
82.31/82.33 c | 158793 | 2672 15582 54884 | 31861 30542 35 | 0.037 % |
82.71/82.72 c | 159305 | 2672 15582 54884 | 31861 31054 36 | 0.037 % |
83.41/83.49 c | 160330 | 2672 15582 54884 | 31749 32079 36 | 0.037 % |
84.91/85.00 c | 162378 | 2672 15582 54884 | 31749 29118 36 | 0.038 % |
85.41/85.46 c | 162890 | 2672 15582 54884 | 31749 29630 36 | 0.038 % |
85.81/85.81 c | 163403 | 2672 15582 54884 | 31749 30143 36 | 0.037 % |
86.41/86.41 c | 164428 | 2672 15582 54884 | 31749 31168 36 | 0.037 % |
86.81/86.81 c | 164940 | 2672 15582 54884 | 31749 31680 37 | 0.038 % |
87.21/87.24 c | 165453 | 2672 15582 54884 | 31749 27661 36 | 0.037 % |
87.71/87.80 c | 166477 | 2672 15582 54884 | 31749 28685 37 | 0.037 % |
88.71/88.76 c | 168526 | 2672 15582 54884 | 31749 30734 38 | 0.037 % |
91.01/91.03 c | 172623 | 2671 15570 54854 | 27721 26202 37 | 0.075 % |
95.91/95.94 c | 180815 | 2671 15570 54854 | 25937 23216 39 | 0.075 % |
106.31/106.33 c | 197201 | 2671 15570 54854 | 26263 24487 37 | 0.075 % |
128.91/128.97 c | 229971 | 2671 15570 54854 | 23146 23536 45 | 0.075 % |
129.31/129.31 c | 230483 | 2671 15570 54854 | 21180 21663 45 | 0.075 % |
129.41/129.50 c | 230996 | 2671 15570 54854 | 21180 19953 43 | 0.075 % |
129.71/129.71 c | 232020 | 2671 15570 54854 | 21180 20977 42 | 0.075 % |
129.81/129.91 c | 232532 | 2671 15570 54854 | 21180 21489 44 | 0.075 % |
130.01/130.10 c | 233044 | 2671 15570 54854 | 21180 19853 42 | 0.075 % |
130.21/130.23 c | 234068 | 2671 15570 54854 | 21180 20877 41 | 0.075 % |
131.21/131.23 c | 236117 | 2671 15570 54854 | 21180 20790 41 | 0.075 % |
131.41/131.43 c | 236630 | 2671 15570 54854 | 21180 21303 41 | 0.075 % |
131.61/131.61 c | 237142 | 2671 15570 54854 | 21180 19685 38 | 0.075 % |
132.01/132.08 c | 238167 | 2671 15570 54854 | 21180 20710 39 | 0.075 % |
132.21/132.25 c | 238679 | 2671 15570 54854 | 21180 21222 39 | 0.075 % |
132.41/132.43 c | 239191 | 2671 15570 54854 | 21180 19612 37 | 0.075 % |
132.51/132.59 c | 240216 | 2671 15570 54854 | 2147483647 20637 36 | 0.075 % |
132.91/132.98 c | 242266 | 2671 15570 54854 | 2147483647 22687 35 | 0.075 % |
134.91/134.95 c | 246363 | 2671 15570 54854 | 2147483647 26784 37 | 0.075 % |
135.21/135.21 c | 246875 | 2671 15570 54854 | 2147483647 27296 37 | 0.075 % |
135.51/135.55 c | 247387 | 2671 15570 54854 | 2147483647 27808 37 | 0.075 % |
136.41/136.41 c | 248412 | 2671 15570 54854 | 2147483647 28833 38 | 0.075 % |
136.61/136.69 c | 248924 | 2671 15570 54854 | 2147483647 29345 38 | 0.075 % |
136.81/136.90 c | 249437 | 2671 15570 54854 | 2147483647 29858 38 | 0.075 % |
137.41/137.49 c | 250464 | 2671 15570 54854 | 2147483647 30885 39 | 0.075 % |
139.41/139.44 c | 252513 | 2671 15570 54854 | 2147483647 32934 41 | 0.075 % |
139.51/139.58 c | 253026 | 2671 15570 54854 | 2147483647 33447 41 | 0.075 % |
139.71/139.80 c | 253538 | 2671 15570 54854 | 2147483647 33959 41 | 0.075 % |
140.32/140.34 c | 254564 | 2671 15570 54854 | 2147483647 34985 42 | 0.075 % |
140.52/140.51 c | 255077 | 2671 15570 54854 | 2147483647 35498 41 | 0.075 % |
140.62/140.66 c | 255591 | 2671 15570 54854 | 2147483647 36012 41 | 0.075 % |
141.32/141.31 c | 256616 | 2671 15570 54854 | 2147483647 37037 42 | 0.075 % |
142.82/142.83 c | 258664 | 2671 15570 54854 | 2147483647 39085 42 | 0.075 % |
145.92/145.95 c | 262762 | 2671 15570 54854 | 40421 36596 40 | 0.075 % |
152.72/152.76 c | 270954 | 2671 15570 54854 | 36235 30258 43 | 0.075 % |
153.12/153.16 c | 271468 | 2671 15570 54854 | 36235 30772 43 | 0.075 % |
153.42/153.45 c | 271981 | 2671 15570 54854 | 36235 31285 43 | 0.075 % |
153.92/154.01 c | 273005 | 2671 15570 54854 | 36235 32309 43 | 0.075 % |
154.22/154.26 c | 273517 | 2671 15570 54854 | 36235 32821 44 | 0.075 % |
154.52/154.56 c | 274029 | 2671 15570 54854 | 36235 33333 44 | 0.075 % |
155.32/155.33 c | 275053 | 2671 15570 54854 | 36235 34357 44 | 0.075 % |
156.32/156.36 c | 277102 | 2671 15570 54854 | 36235 36406 44 | 0.075 % |
156.72/156.72 c | 277614 | 2671 15570 54854 | 36235 30090 40 | 0.075 % |
157.02/157.05 c | 278127 | 2671 15570 54854 | 36235 30603 41 | 0.075 % |
157.52/157.56 c | 279151 | 2671 15570 54854 | 36235 31627 41 | 0.075 % |
157.62/157.64 c | 279663 | 2671 15570 54854 | 36235 32139 41 | 0.075 % |
157.82/157.90 c | 280175 | 2671 15570 54854 | 32477 32651 41 | 0.075 % |
158.42/158.41 c | 281200 | 2671 15570 54854 | 32477 27759 39 | 0.075 % |
159.52/159.57 c | 283248 | 2671 15570 54854 | 32477 29807 39 | 0.075 % |
162.32/162.39 c | 287345 | 2671 15570 54854 | 32477 28347 40 | 0.075 % |
162.62/162.65 c | 287857 | 2671 15570 54854 | 32477 28859 40 | 0.075 % |
163.02/163.05 c | 288370 | 2671 15570 54854 | 32477 29372 41 | 0.075 % |
163.62/163.63 c | 289396 | 2671 15570 54854 | 32477 30398 41 | 0.075 % |
163.92/163.95 c | 289911 | 2671 15570 54854 | 32477 30913 41 | 0.075 % |
164.22/164.27 c | 290423 | 2671 15570 54854 | 31004 26256 38 | 0.075 % |
164.92/164.98 c | 291448 | 2671 15570 54854 | 31004 27281 39 | 0.075 % |
166.02/166.09 c | 293499 | 2671 15570 54854 | 31004 29332 39 | 0.075 % |
166.32/166.39 c | 294011 | 2671 15570 54854 | 31004 29844 39 | 0.075 % |
166.62/166.64 c | 294525 | 2671 15570 54854 | 31004 30358 39 | 0.075 % |
167.12/167.14 c | 295549 | 2671 15570 54854 | 31004 26809 39 | 0.075 % |
167.32/167.39 c | 296062 | 2671 15570 54854 | 31004 27322 39 | 0.075 % |
167.72/167.79 c | 296575 | 2671 15570 54854 | 31004 27835 40 | 0.075 % |
168.02/168.04 c | 297599 | 2671 15570 54854 | 31004 28859 39 | 0.075 % |
169.22/169.25 c | 299648 | 2671 15570 54854 | 31004 30908 42 | 0.075 % |
171.12/171.13 c | 303744 | 2671 15570 54854 | 31261 30182 43 | 0.075 % |
176.72/176.78 c | 311936 | 2671 15570 54854 | 31597 28314 43 | 0.075 % |
187.62/187.61 c | 328320 | 2671 15570 54854 | 31201 29186 39 | 0.075 % |
187.82/187.83 c | 328832 | 2671 15570 54854 | 31201 29698 39 | 0.075 % |
188.02/188.06 c | 329346 | 2671 15570 54854 | 31201 30212 39 | 0.075 % |
188.62/188.66 c | 330371 | 2671 15570 54854 | 30867 31237 39 | 0.075 % |
189.02/189.04 c | 330883 | 2671 15570 54854 | 30867 26800 37 | 0.075 % |
189.32/189.38 c | 331397 | 2671 15570 54854 | 30867 27314 37 | 0.075 % |
189.82/189.91 c | 332422 | 2671 15570 54854 | 30867 28339 38 | 0.075 % |
190.42/190.42 c | 334470 | 2671 15570 54854 | 30867 30387 37 | 0.075 % |
190.62/190.71 c | 334984 | 2671 15570 54854 | 30867 30901 37 | 0.075 % |
190.92/191.01 c | 335496 | 2671 15570 54854 | 30867 26879 33 | 0.075 % |
191.32/191.34 c | 336520 | 2671 15570 54854 | 30867 27903 33 | 0.075 % |
191.52/191.55 c | 337033 | 2671 15570 54854 | 30867 28416 34 | 0.075 % |
191.72/191.75 c | 337546 | 2671 15570 54854 | 30867 28929 35 | 0.075 % |
192.42/192.46 c | 338571 | 2670 15558 54824 | 30867 29951 35 | 0.112 % |
193.42/193.45 c | 340619 | 2670 15558 54824 | 26915 27534 35 | 0.112 % |
195.42/195.46 c | 344716 | 2670 15558 54824 | 26915 24558 36 | 0.112 % |
195.72/195.73 c | 345228 | 2670 15558 54824 | 26915 25070 36 | 0.112 % |
195.92/195.98 c | 345741 | 2670 15558 54824 | 26915 25583 36 | 0.112 % |
196.62/196.70 c | 346766 | 2670 15558 54824 | 26915 26608 37 | 0.113 % |
196.92/196.92 c | 347279 | 2670 15558 54824 | 26915 27121 37 | 0.112 % |
197.12/197.19 c | 347794 | 2670 15558 54824 | 26915 24415 35 | 0.113 % |
197.62/197.70 c | 348818 | 2670 15558 54824 | 26915 25439 37 | 0.112 % |
198.72/198.76 c | 350867 | 2670 15558 54824 | 26621 24400 37 | 0.112 % |
199.02/199.09 c | 351381 | 2670 15558 54824 | 26621 24914 37 | 0.113 % |
199.42/199.43 c | 351893 | 2670 15558 54824 | 26621 25426 38 | 0.112 % |
199.92/200.00 c | 352918 | 2670 15558 54824 | 26621 26451 39 | 0.113 % |
200.22/200.26 c | 353430 | 2670 15558 54824 | 26621 26963 40 | 0.113 % |
200.52/200.58 c | 353942 | 2670 15558 54824 | 26621 24451 38 | 0.112 % |
201.02/201.07 c | 354967 | 2670 15558 54824 | 26621 25476 37 | 0.112 % |
202.52/202.57 c | 357016 | 2670 15558 54824 | 26621 24362 35 | 0.112 % |
204.52/204.60 c | 361113 | 2670 15558 54824 | 27346 28459 43 | 0.113 % |
209.12/209.12 c | 369305 | 2670 15558 54824 | 27346 26418 43 | 0.112 % |
209.32/209.40 c | 369818 | 2670 15558 54824 | 27346 26931 43 | 0.112 % |
209.62/209.71 c | 370330 | 2670 15558 54824 | 27113 24091 43 | 0.112 % |
210.23/210.22 c | 371356 | 2670 15558 54824 | 27113 25117 44 | 0.112 % |
210.52/210.55 c | 371869 | 2670 15558 54824 | 27113 25630 44 | 0.112 % |
210.62/210.66 c | 372381 | 2670 15558 54824 | 27113 26142 44 | 0.112 % |
211.12/211.21 c | 373405 | 2670 15558 54824 | 27113 27166 44 | 0.112 % |
212.82/212.83 c | 375453 | 2670 15558 54824 | 27113 26060 45 | 0.112 % |
212.92/212.94 c | 375966 | 2670 15558 54824 | 27113 26573 45 | 0.112 % |
213.02/213.02 c | 376479 | 2670 15558 54824 | 27113 27086 44 | 0.112 % |
213.53/213.60 c | 377503 | 2670 15558 54824 | 27113 24973 40 | 0.112 % |
213.82/213.86 c | 378015 | 2670 15558 54824 | 27113 25485 40 | 0.112 % |
214.02/214.05 c | 378528 | 2670 15558 54824 | 27113 25998 41 | 0.113 % |
214.42/214.49 c | 379552 | 2670 15558 54824 | 27113 27022 41 | 0.112 % |
215.22/215.24 c | 381600 | 2670 15558 54824 | 24197 22900 38 | 0.112 % |
217.93/217.93 c | 385696 | 2670 15558 54824 | 24197 24331 37 | 0.112 % |
218.02/218.08 c | 386210 | 2670 15558 54824 | 24197 22360 35 | 0.112 % |
218.22/218.27 c | 386722 | 2670 15558 54824 | 24197 22872 35 | 0.112 % |
218.72/218.76 c | 387746 | 2670 15558 54824 | 24197 23896 36 | 0.112 % |
219.03/219.05 c | 388259 | 2670 15558 54824 | 24197 24409 36 | 0.112 % |
219.22/219.26 c | 388773 | 2670 15558 54824 | 24197 22483 34 | 0.112 % |
219.82/219.90 c | 389798 | 2670 15558 54824 | 24197 23508 34 | 0.112 % |
221.02/221.09 c | 391846 | 2670 15558 54824 | 2147483647 25556 34 | 0.112 % |
221.52/221.51 c | 392358 | 2670 15558 54824 | 2147483647 26068 34 | 0.112 % |
221.72/221.75 c | 392872 | 2670 15558 54824 | 2147483647 26582 34 | 0.112 % |
222.22/222.27 c | 393896 | 2670 15558 54824 | 2147483647 27606 35 | 0.112 % |
222.42/222.42 c | 394410 | 2670 15558 54824 | 2147483647 28120 35 | 0.112 % |
222.62/222.67 c | 394923 | 2670 15558 54824 | 2147483647 28633 35 | 0.112 % |
223.22/223.28 c | 395947 | 2670 15558 54824 | 2147483647 29657 36 | 0.112 % |
224.53/224.55 c | 397995 | 2670 15558 54824 | 2147483647 31705 37 | 0.112 % |
227.32/227.39 c | 402091 | 2670 15558 54824 | 33711 31165 38 | 0.112 % |
231.72/231.73 c | 410283 | 2670 15558 54824 | 33911 28795 37 | 0.112 % |
240.72/240.75 c | 426667 | 2670 15558 54824 | 33460 29537 42 | 0.113 % |
262.63/262.70 c | 459436 | 2670 15558 54824 | 31603 31209 33 | 0.112 % |
299.03/299.07 c | 524973 | 2670 15558 54824 | 2147483647 28540 42 | 0.113 % |
299.23/299.30 c | 525486 | 2670 15558 54824 | 2147483647 29053 42 | 0.112 % |
299.53/299.55 c | 525999 | 2670 15558 54824 | 2147483647 29566 42 | 0.112 % |
300.43/300.47 c | 527023 | 2670 15558 54824 | 2147483647 30590 42 | 0.112 % |
300.63/300.66 c | 527537 | 2670 15558 54824 | 2147483647 31104 43 | 0.112 % |
300.83/300.89 c | 528049 | 2670 15558 54824 | 2147483647 31616 44 | 0.112 % |
301.13/301.17 c | 529074 | 2670 15558 54824 | 2147483647 32641 43 | 0.112 % |
302.63/302.66 c | 531122 | 2670 15558 54824 | 33568 29623 42 | 0.113 % |
302.93/302.97 c | 531635 | 2670 15558 54824 | 33568 30136 42 | 0.112 % |
303.03/303.08 c | 532147 | 2670 15558 54824 | 33568 30648 42 | 0.112 % |
303.63/303.65 c | 533171 | 2670 15558 54824 | 33568 31672 43 | 0.112 % |
303.93/303.93 c | 533684 | 2670 15558 54824 | 33568 32185 43 | 0.112 % |
304.23/304.26 c | 534198 | 2670 15558 54824 | 33568 32699 42 | 0.112 % |
304.83/304.89 c | 535224 | 2670 15558 54824 | 33568 33725 42 | 0.112 % |
305.93/305.99 c | 537272 | 2670 15558 54824 | 33568 30889 41 | 0.112 % |
308.43/308.42 c | 541369 | 2670 15558 54824 | 33619 29806 42 | 0.112 % |
308.53/308.52 c | 541884 | 2670 15558 54824 | 33619 30321 42 | 0.112 % |
308.83/308.85 c | 542398 | 2670 15558 54824 | 33619 30835 42 | 0.112 % |
309.43/309.51 c | 543423 | 2670 15558 54824 | 33619 31860 42 | 0.112 % |
309.93/309.92 c | 543935 | 2670 15558 54824 | 33619 32372 43 | 0.112 % |
310.03/310.11 c | 544447 | 2670 15558 54824 | 33619 32884 43 | 0.113 % |
310.63/310.69 c | 545472 | 2670 15558 54824 | 33619 33909 43 | 0.112 % |
311.03/311.09 c | 547520 | 2670 15558 54824 | 33619 30767 40 | 0.112 % |
311.23/311.25 c | 548032 | 2670 15558 54824 | 33619 31279 40 | 0.112 % |
311.63/311.63 c | 548544 | 2670 15558 54824 | 33619 31791 41 | 0.112 % |
311.83/311.85 c | 549568 | 2670 15558 54824 | 33619 32815 40 | 0.112 % |
312.13/312.16 c | 550080 | 2670 15558 54824 | 33248 33327 41 | 0.113 % |
312.33/312.41 c | 550593 | 2670 15558 54824 | 33248 28877 39 | 0.112 % |
312.93/312.96 c | 551617 | 2670 15558 54824 | 33248 29901 40 | 0.112 % |
313.83/313.90 c | 553667 | 2670 15558 54824 | 33248 31951 40 | 0.112 % |
314.83/314.90 c | 557763 | 2670 15558 54824 | 33248 31500 35 | 0.112 % |
320.63/320.69 c | 565957 | 2670 15558 54824 | 29030 27176 32 | 0.112 % |
321.03/321.03 c | 566470 | 2670 15558 54824 | 29030 27689 32 | 0.112 % |
321.23/321.30 c | 566984 | 2670 15558 54824 | 29030 28203 32 | 0.112 % |
321.93/321.94 c | 568008 | 2670 15558 54824 | 29030 29227 33 | 0.112 % |
322.13/322.12 c | 568522 | 2670 15558 54824 | 29030 26102 32 | 0.113 % |
322.33/322.38 c | 569035 | 2670 15558 54824 | 29030 26615 33 | 0.112 % |
322.53/322.53 c | 570060 | 2670 15558 54824 | 27580 27640 32 | 0.112 % |
323.54/323.55 c | 572109 | 2670 15558 54824 | 27580 26440 36 | 0.113 % |
323.83/323.82 c | 572622 | 2670 15558 54824 | 27580 26953 37 | 0.112 % |
323.93/324.00 c | 573135 | 2670 15558 54824 | 27580 27466 36 | 0.112 % |
324.43/324.42 c | 574161 | 2670 15558 54824 | 27580 25336 38 | 0.112 % |
324.53/324.61 c | 574673 | 2670 15558 54824 | 27580 25848 38 | 0.112 % |
324.83/324.85 c | 575186 | 2670 15558 54824 | 27580 26361 39 | 0.112 % |
325.23/325.24 c | 576213 | 2670 15558 54824 | 27580 27388 38 | 0.112 % |
326.43/326.47 c | 578262 | 2670 15558 54824 | 27580 26368 39 | 0.112 % |
328.63/328.64 c | 582358 | 2670 15558 54824 | 28107 26904 43 | 0.113 % |
328.93/329.02 c | 582870 | 2670 15558 54824 | 28107 27416 43 | 0.112 % |
329.23/329.29 c | 583382 | 2670 15558 54824 | 28107 27928 43 | 0.112 % |
329.83/329.84 c | 584406 | 2670 15558 54824 | 28107 25495 44 | 0.112 % |
330.23/330.25 c | 584921 | 2670 15558 54824 | 28107 26010 44 | 0.113 % |
330.63/330.62 c | 585433 | 2670 15558 54824 | 28107 26522 44 | 0.112 % |
331.13/331.21 c | 586461 | 2670 15558 54824 | 28107 27550 45 | 0.112 % |
332.13/332.12 c | 588509 | 2670 15558 54824 | 28107 26217 45 | 0.112 % |
332.23/332.22 c | 589022 | 2670 15558 54824 | 28107 26730 45 | 0.112 % |
332.43/332.44 c | 589535 | 2670 15558 54824 | 28107 27243 44 | 0.112 % |
332.83/332.88 c | 590559 | 2670 15558 54824 | 27709 25059 40 | 0.112 % |
333.03/333.07 c | 591071 | 2670 15558 54824 | 27709 25571 39 | 0.113 % |
333.23/333.22 c | 591584 | 2670 15558 54824 | 27709 26084 39 | 0.112 % |
333.33/333.38 c | 592608 | 2670 15558 54824 | 27709 27108 39 | 0.112 % |
334.54/334.52 c | 594656 | 2670 15558 54824 | 27709 26061 39 | 0.112 % |
336.83/336.82 c | 598753 | 2670 15558 54824 | 27709 27050 37 | 0.112 % |
340.83/340.89 c | 606945 | 2670 15558 54824 | 25220 23919 35 | 0.112 % |
351.43/351.45 c | 623329 | 2670 15558 54824 | 23762 22082 45 | 0.112 % |
351.63/351.62 c | 623841 | 2670 15558 54824 | 23762 22594 45 | 0.112 % |
351.83/351.88 c | 624355 | 2670 15558 54824 | 23762 23108 45 | 0.112 % |
352.33/352.41 c | 625380 | 2670 15558 54824 | 23762 21668 42 | 0.112 % |
352.63/352.65 c | 625894 | 2670 15558 54824 | 23762 22182 43 | 0.112 % |
352.73/352.79 c | 626406 | 2670 15558 54824 | 23762 22694 42 | 0.113 % |
353.53/353.54 c | 627433 | 2670 15558 54824 | 23762 23721 43 | 0.113 % |
354.23/354.30 c | 629481 | 2670 15558 54824 | 23762 23361 40 | 0.112 % |
354.53/354.60 c | 629993 | 2670 15558 54824 | 23762 23873 40 | 0.112 % |
354.83/354.83 c | 630506 | 2670 15558 54824 | 2147483647 21999 38 | 0.112 % |
355.44/355.46 c | 631531 | 2670 15558 54824 | 2147483647 23024 40 | 0.112 % |
355.63/355.67 c | 632043 | 2670 15558 54824 | 2147483647 23536 41 | 0.112 % |
355.73/355.81 c | 632555 | 2670 15558 54824 | 2147483647 24048 41 | 0.113 % |
356.23/356.28 c | 633579 | 2670 15558 54824 | 2147483647 25072 41 | 0.112 % |
357.33/357.38 c | 635629 | 2670 15558 54824 | 2147483647 27122 44 | 0.112 % |
359.84/359.89 c | 639725 | 2670 15558 54824 | 2147483647 31218 46 | 0.112 % |
360.13/360.15 c | 640238 | 2670 15558 54824 | 31494 28065 44 | 0.112 % |
360.33/360.37 c | 640751 | 2670 15558 54824 | 31494 28578 44 | 0.112 % |
360.73/360.81 c | 641776 | 2670 15558 54824 | 31494 29603 44 | 0.112 % |
361.13/361.11 c | 642288 | 2670 15558 54824 | 31494 30115 44 | 0.113 % |
361.43/361.45 c | 642800 | 2670 15558 54824 | 31494 30627 45 | 0.112 % |
362.13/362.14 c | 643824 | 2670 15558 54824 | 31494 31651 45 | 0.112 % |
363.53/363.51 c | 645873 | 2670 15558 54824 | 31494 29593 43 | 0.112 % |
363.73/363.80 c | 646386 | 2670 15558 54824 | 31494 30106 43 | 0.113 % |
364.03/364.10 c | 646899 | 2670 15558 54824 | 31494 30619 43 | 0.112 % |
364.33/364.37 c | 647924 | 2670 15558 54824 | 31494 31644 43 | 0.112 % |
364.63/364.62 c | 648439 | 2670 15558 54824 | 31494 28111 41 | 0.112 % |
364.73/364.74 c | 648951 | 2670 15558 54824 | 31494 28623 41 | 0.112 % |
365.13/365.14 c | 649976 | 2670 15558 54824 | 31494 29648 41 | 0.112 % |
366.22/366.26 c | 652025 | 2670 15558 54824 | 29672 27698 38 | 0.112 % |
368.52/368.53 c | 656121 | 2670 15558 54824 | 29672 27504 37 | 0.112 % |
372.93/373.00 c | 664314 | 2670 15558 54824 | 27046 27401 37 | 0.112 % |
373.33/373.33 c | 664828 | 2670 15558 54824 | 27046 24373 38 | 0.112 % |
373.73/373.72 c | 665342 | 2670 15558 54824 | 27046 24887 38 | 0.112 % |
374.23/374.22 c | 666366 | 2670 15558 54824 | 27046 25911 39 | 0.112 % |
374.33/374.35 c | 666879 | 2670 15558 54824 | 27046 26424 39 | 0.112 % |
374.73/374.73 c | 667391 | 2670 15558 54824 | 27046 26936 40 | 0.113 % |
375.33/375.37 c | 668416 | 2670 15558 54824 | 27046 24447 40 | 0.113 % |
376.53/376.57 c | 670465 | 2670 15558 54824 | 26031 23254 38 | 0.112 % |
376.83/376.86 c | 670978 | 2670 15558 54824 | 26031 23767 38 | 0.112 % |
377.03/377.10 c | 671492 | 2670 15558 54824 | 26031 24281 38 | 0.112 % |
377.83/377.82 c | 672516 | 2670 15558 54824 | 26031 25305 39 | 0.112 % |
377.93/377.97 c | 673028 | 2670 15558 54824 | 26031 25817 38 | 0.112 % |
378.03/378.08 c | 673540 | 2670 15558 54824 | 26031 23651 35 | 0.112 % |
378.43/378.49 c | 674564 | 2670 15558 54824 | 26031 24675 38 | 0.112 % |
379.33/379.37 c | 676612 | 2670 15558 54824 | 26031 26723 39 | 0.112 % |
381.13/381.16 c | 680708 | 2670 15558 54824 | 24116 22136 36 | 0.113 % |
381.43/381.43 c | 681224 | 2670 15558 54824 | 24116 22652 36 | 0.112 % |
381.63/381.69 c | 681736 | 2670 15558 54824 | 24116 23164 36 | 0.113 % |
382.23/382.24 c | 682760 | 2670 15558 54824 | 24116 24188 37 | 0.113 % |
382.53/382.52 c | 683274 | 2670 15558 54824 | 24116 22228 35 | 0.113 % |
382.83/382.82 c | 683786 | 2670 15558 54824 | 24116 22740 35 | 0.113 % |
383.23/383.30 c | 684810 | 2670 15558 54824 | 24116 23764 35 | 0.112 % |
383.93/383.93 c | 686858 | 2670 15558 54824 | 24116 23380 34 | 0.112 % |
384.13/384.13 c | 687370 | 2670 15558 54824 | 24116 23892 34 | 0.112 % |
384.43/384.44 c | 687882 | 2670 15558 54824 | 24116 24404 35 | 0.112 % |
384.83/384.85 c | 688906 | 2670 15558 54824 | 24116 22988 35 | 0.112 % |
384.93/384.96 c | 689419 | 2670 15558 54824 | 24116 23501 34 | 0.113 % |
385.13/385.16 c | 689933 | 2670 15558 54824 | 24116 24015 35 | 0.112 % |
385.63/385.67 c | 690957 | 2670 15558 54824 | 2147483647 25039 35 | 0.112 % |
386.63/386.69 c | 693005 | 2670 15558 54824 | 2147483647 27087 37 | 0.113 % |
388.83/388.90 c | 697101 | 2670 15558 54824 | 2147483647 31183 40 | 0.112 % |
391.93/391.92 c | 705295 | 2670 15558 54824 | 34084 32097 33 | 0.112 % |
402.73/402.76 c | 721679 | 2670 15558 54824 | 27543 24948 39 | 0.112 % |
423.13/423.16 c | 754447 | 2670 15558 54824 | 24603 23929 37 | 0.112 % |
423.33/423.32 c | 754959 | 2670 15558 54824 | 24603 24441 37 | 0.112 % |
423.63/423.67 c | 755471 | 2670 15558 54824 | 24603 24953 37 | 0.112 % |
423.93/423.97 c | 756496 | 2670 15558 54824 | 24603 23483 35 | 0.112 % |
424.13/424.19 c | 757008 | 2670 15558 54824 | 24603 23995 36 | 0.112 % |
424.33/424.40 c | 757520 | 2670 15558 54824 | 24603 24507 37 | 0.113 % |
424.63/424.62 c | 758545 | 2670 15558 54824 | 24603 23050 35 | 0.112 % |
425.53/425.54 c | 760593 | 2670 15558 54824 | 2147483647 25098 38 | 0.112 % |
425.73/425.76 c | 761105 | 2670 15558 54824 | 2147483647 25610 39 | 0.112 % |
425.93/425.97 c | 761618 | 2670 15558 54824 | 2147483647 26123 39 | 0.112 % |
426.23/426.31 c | 762644 | 2670 15558 54824 | 2147483647 27149 39 | 0.112 % |
426.43/426.50 c | 763156 | 2670 15558 54824 | 2147483647 27661 39 | 0.112 % |
426.83/426.82 c | 763669 | 2670 15558 54824 | 2147483647 28174 39 | 0.112 % |
427.33/427.33 c | 764693 | 2670 15558 54824 | 2147483647 29198 39 | 0.112 % |
428.53/428.54 c | 766742 | 2670 15558 54824 | 2147483647 31247 40 | 0.112 % |
431.63/431.66 c | 770838 | 2670 15558 54824 | 34506 30667 39 | 0.112 % |
431.93/431.95 c | 771351 | 2670 15558 54824 | 34506 31180 39 | 0.112 % |
432.33/432.34 c | 771863 | 2670 15558 54824 | 34506 31692 40 | 0.112 % |
433.03/433.06 c | 772887 | 2670 15558 54824 | 34506 32716 40 | 0.112 % |
433.23/433.28 c | 773400 | 2670 15558 54824 | 34506 33229 39 | 0.112 % |
433.63/433.61 c | 773912 | 2670 15558 54824 | 34506 33741 40 | 0.112 % |
434.43/434.47 c | 774936 | 2670 15558 54824 | 34506 34765 40 | 0.112 % |
435.83/435.84 c | 776985 | 2670 15558 54824 | 34506 31580 40 | 0.112 % |
436.13/436.17 c | 777499 | 2670 15558 54824 | 34506 32094 40 | 0.112 % |
436.53/436.59 c | 778011 | 2670 15558 54824 | 34506 32606 40 | 0.112 % |
437.03/437.10 c | 779040 | 2670 15558 54824 | 34506 33635 41 | 0.112 % |
437.33/437.33 c | 779552 | 2670 15558 54824 | 34506 34147 42 | 0.112 % |
437.53/437.54 c | 780064 | 2670 15558 54824 | 34595 34659 42 | 0.112 % |
437.83/437.84 c | 781088 | 2670 15558 54824 | 34595 30192 39 | 0.112 % |
438.83/438.89 c | 783139 | 2670 15558 54824 | 34595 32243 41 | 0.112 % |
440.93/440.96 c | 787236 | 2670 15558 54824 | 34595 30790 39 | 0.113 % |
448.33/448.39 c | 795428 | 2670 15558 54824 | 33556 33750 39 | 0.113 % |
448.63/448.70 c | 795940 | 2670 15558 54824 | 33556 29140 38 | 0.112 % |
448.83/448.87 c | 796454 | 2670 15558 54824 | 33556 29654 38 | 0.112 % |
449.33/449.41 c | 797479 | 2670 15558 54824 | 33556 30679 38 | 0.112 % |
449.73/449.72 c | 797991 | 2670 15558 54824 | 33556 31191 38 | 0.112 % |
450.04/450.04 c | 798503 | 2670 15558 54824 | 33556 31703 38 | 0.112 % |
450.63/450.67 c | 799528 | 2670 15558 54824 | 33556 32728 40 | 0.113 % |
451.93/452.01 c | 801576 | 2670 15558 54824 | 33200 29090 41 | 0.112 % |
452.13/452.14 c | 802089 | 2670 15558 54824 | 33200 29603 41 | 0.112 % |
452.24/452.27 c | 802601 | 2670 15558 54824 | 33200 30115 40 | 0.112 % |
452.73/452.80 c | 803626 | 2670 15558 54824 | 33200 31140 41 | 0.112 % |
453.03/453.07 c | 804139 | 2670 15558 54824 | 33200 31653 41 | 0.112 % |
453.43/453.42 c | 804652 | 2670 15558 54824 | 33200 32166 42 | 0.112 % |
453.93/453.95 c | 805677 | 2670 15558 54824 | 33200 33191 42 | 0.112 % |
455.23/455.27 c | 807725 | 2670 15558 54824 | 33200 29690 41 | 0.112 % |
457.83/457.83 c | 811822 | 2670 15558 54824 | 31965 28569 42 | 0.112 % |
458.13/458.19 c | 812335 | 2670 15558 54824 | 31965 29082 42 | 0.112 % |
458.63/458.65 c | 812849 | 2670 15558 54824 | 31965 29596 42 | 0.113 % |
459.23/459.27 c | 813873 | 2670 15558 54824 | 31965 30620 42 | 0.112 % |
459.43/459.48 c | 814385 | 2670 15558 54824 | 31965 31132 42 | 0.112 % |
459.83/459.85 c | 814897 | 2670 15558 54824 | 31965 31644 42 | 0.112 % |
460.13/460.18 c | 815921 | 2670 15558 54824 | 31965 27742 41 | 0.112 % |
461.53/461.54 c | 817970 | 2670 15558 54824 | 31965 29791 42 | 0.112 % |
461.83/461.83 c | 818483 | 2670 15558 54824 | 31965 30304 42 | 0.112 % |
462.23/462.25 c | 818996 | 2670 15558 54824 | 31965 30817 42 | 0.112 % |
462.83/462.86 c | 820020 | 2670 15558 54824 | 31821 31841 43 | 0.112 % |
463.03/463.07 c | 820532 | 2670 15558 54824 | 31821 27636 38 | 0.112 % |
463.33/463.31 c | 821046 | 2670 15558 54824 | 31821 28150 38 | 0.112 % |
463.73/463.78 c | 822072 | 2670 15558 54824 | 31821 29176 40 | 0.112 % |
464.23/464.26 c | 824120 | 2670 15558 54824 | 31821 31224 39 | 0.112 % |
467.03/467.01 c | 828216 | 2670 15558 54824 | 31821 30820 39 | 0.112 % |
472.13/472.16 c | 836414 | 2670 15558 54824 | 27983 26121 38 | 0.112 % |
483.43/483.50 c | 852798 | 2670 15558 54824 | 24483 23966 38 | 0.112 % |
483.73/483.73 c | 853310 | 2670 15558 54824 | 24483 24478 38 | 0.113 % |
484.03/484.04 c | 853823 | 2670 15558 54824 | 24483 21777 35 | 0.112 % |
484.54/484.57 c | 854847 | 2670 15558 54824 | 24483 22801 37 | 0.112 % |
484.74/484.75 c | 855359 | 2670 15558 54824 | 24483 23313 36 | 0.112 % |
484.94/485.01 c | 855871 | 2670 15558 54824 | 24483 23825 37 | 0.112 % |
485.34/485.32 c | 856896 | 2670 15558 54824 | 24483 24850 37 | 0.112 % |
486.24/486.25 c | 858946 | 2670 15558 54824 | 24483 24074 36 | 0.112 % |
486.54/486.52 c | 859458 | 2670 15558 54824 | 24483 24586 37 | 0.112 % |
486.74/486.72 c | 859970 | 2670 15558 54824 | 24483 22337 36 | 0.112 % |
487.24/487.26 c | 860994 | 2670 15558 54824 | 22367 20970 36 | 0.112 % |
487.44/487.50 c | 861507 | 2670 15558 54824 | 22367 21483 36 | 0.112 % |
487.64/487.67 c | 862021 | 2670 15558 54824 | 22367 21997 37 | 0.112 % |
488.04/488.06 c | 863046 | 2670 15558 54824 | 22367 23022 38 | 0.112 % |
488.64/488.68 c | 865094 | 2670 15558 54824 | 22367 20465 35 | 0.112 % |
490.14/490.13 c | 869190 | 2670 15558 54824 | 22367 22258 38 | 0.112 % |
490.34/490.37 c | 869703 | 2670 15558 54824 | 22367 22771 39 | 0.112 % |
490.54/490.58 c | 870216 | 2670 15558 54824 | 2147483647 21007 39 | 0.112 % |
491.04/491.09 c | 871241 | 2670 15558 54824 | 2147483647 22032 40 | 0.112 % |
491.34/491.37 c | 871753 | 2670 15558 54824 | 2147483647 22544 40 | 0.112 % |
491.64/491.67 c | 872265 | 2670 15558 54824 | 2147483647 23056 41 | 0.112 % |
492.04/492.10 c | 873289 | 2670 15558 54824 | 2147483647 24080 41 | 0.112 % |
493.24/493.27 c | 875337 | 2670 15558 54824 | 2147483647 26128 41 | 0.112 % |
493.54/493.61 c | 875849 | 2670 15558 54824 | 2147483647 26640 42 | 0.112 % |
493.94/493.96 c | 876364 | 2670 15558 54824 | 2147483647 27155 42 | 0.112 % |
494.54/494.59 c | 877390 | 2670 15558 54824 | 2147483647 28181 42 | 0.112 % |
494.94/494.94 c | 877902 | 2670 15558 54824 | 2147483647 28693 42 | 0.112 % |
495.24/495.29 c | 878415 | 2670 15558 54824 | 2147483647 29206 42 | 0.112 % |
495.84/495.87 c | 879441 | 2670 15558 54824 | 2147483647 30232 42 | 0.112 % |
497.24/497.25 c | 881490 | 2670 15558 54824 | 30792 28742 41 | 0.112 % |
500.44/500.45 c | 885586 | 2670 15558 54824 | 30792 28481 42 | 0.112 % |
504.44/504.48 c | 893778 | 2670 15558 54824 | 28487 28124 41 | 0.112 % |
504.74/504.75 c | 894290 | 2670 15558 54824 | 28487 28636 41 | 0.113 % |
504.84/504.90 c | 894802 | 2670 15558 54824 | 28487 25256 39 | 0.112 % |
505.24/505.25 c | 895827 | 2670 15558 54824 | 28487 26281 39 | 0.112 % |
505.54/505.55 c | 896340 | 2670 15558 54824 | 28487 26794 39 | 0.112 % |
505.94/505.94 c | 896853 | 2670 15558 54824 | 28487 27307 39 | 0.112 % |
506.64/506.69 c | 897877 | 2670 15558 54824 | 28487 28331 40 | 0.112 % |
507.94/507.93 c | 899926 | 2670 15558 54824 | 28487 26634 40 | 0.113 % |
508.24/508.26 c | 900439 | 2670 15558 54824 | 26709 27147 41 | 0.112 % |
508.44/508.49 c | 900951 | 2670 15558 54824 | 26709 23993 37 | 0.112 % |
508.74/508.78 c | 901975 | 2670 15558 54824 | 26709 25017 37 | 0.112 % |
509.14/509.13 c | 902488 | 2670 15558 54824 | 26709 25530 38 | 0.112 % |
509.34/509.40 c | 903001 | 2670 15558 54824 | 26709 26043 38 | 0.112 % |
509.84/509.84 c | 904026 | 2670 15558 54824 | 26709 27068 39 | 0.112 % |
510.84/510.85 c | 906074 | 2670 15558 54824 | 26709 25605 39 | 0.112 % |
512.64/512.69 c | 910170 | 2670 15558 54824 | 26099 26269 39 | 0.112 % |
512.94/512.92 c | 910684 | 2670 15558 54824 | 26099 23600 39 | 0.112 % |
513.14/513.20 c | 911197 | 2670 15558 54824 | 26099 24113 40 | 0.112 % |
513.84/513.86 c | 912222 | 2670 15558 54824 | 26099 25138 41 | 0.112 % |
514.04/514.05 c | 912734 | 2670 15558 54824 | 26099 25650 41 | 0.112 % |
514.34/514.40 c | 913246 | 2670 15558 54824 | 26099 26162 41 | 0.112 % |
514.84/514.83 c | 914270 | 2670 15558 54824 | 26099 24448 40 | 0.112 % |
516.04/516.05 c | 916318 | 2670 15558 54824 | 26099 26496 41 | 0.112 % |
516.34/516.39 c | 916831 | 2670 15558 54824 | 26099 24148 40 | 0.112 % |
516.54/516.53 c | 917343 | 2670 15558 54824 | 26099 24660 40 | 0.112 % |
516.94/517.01 c | 918368 | 2670 15558 54824 | 26099 25685 40 | 0.112 % |
517.24/517.22 c | 918882 | 2670 15558 54824 | 26099 26199 40 | 0.112 % |
517.44/517.51 c | 919395 | 2670 15558 54824 | 26099 23958 39 | 0.112 % |
518.04/518.03 c | 920420 | 2670 15558 54824 | 24566 22447 36 | 0.112 % |
519.24/519.28 c | 922469 | 2670 15558 54824 | 24566 24496 37 | 0.113 % |
521.84/521.83 c | 926566 | 2670 15558 54824 | 24566 23269 32 | 0.112 % |
525.84/525.89 c | 934759 | 2670 15558 54824 | 23948 23448 37 | 0.113 % |
532.84/532.86 c | 951146 | 2670 15558 54824 | 23174 21847 37 | 0.113 % |
554.74/554.75 c | 983915 | 2670 15558 54824 | 31877 30130 33 | 0.112 % |
589.54/589.56 c | 1049451 | 2670 15558 54824 | 23619 22562 35 | 0.112 % |
684.85/684.86 c | 1180523 | 2670 15558 54824 | 30929 26675 28 | 0.112 % |
685.15/685.12 c | 1181037 | 2670 15558 54824 | 30929 27189 28 | 0.112 % |
685.25/685.31 c | 1181550 | 2670 15558 54824 | 30929 27702 29 | 0.113 % |
685.65/685.65 c | 1182575 | 2670 15558 54824 | 30929 28727 30 | 0.113 % |
685.75/685.81 c | 1183087 | 2670 15558 54824 | 30929 29239 30 | 0.112 % |
685.95/686.01 c | 1183600 | 2670 15558 54824 | 30929 29752 31 | 0.112 % |
686.45/686.47 c | 1184624 | 2670 15558 54824 | 30929 30776 31 | 0.112 % |
687.25/687.23 c | 1186672 | 2670 15558 54824 | 30929 28493 30 | 0.113 % |
687.55/687.53 c | 1187185 | 2670 15558 54824 | 30929 29006 31 | 0.112 % |
687.85/687.82 c | 1187699 | 2670 15558 54824 | 30929 29520 32 | 0.112 % |
688.15/688.19 c | 1188724 | 2670 15558 54824 | 30929 30545 33 | 0.112 % |
688.25/688.25 c | 1189236 | 2670 15558 54824 | 30929 31057 33 | 0.113 % |
688.45/688.51 c | 1189748 | 2670 15558 54824 | 30929 27251 32 | 0.112 % |
689.05/689.07 c | 1190775 | 2670 15558 54824 | 27504 24544 32 | 0.112 % |
690.25/690.29 c | 1192825 | 2670 15558 54824 | 27504 26594 34 | 0.112 % |
692.15/692.16 c | 1196921 | 2670 15558 54824 | 27504 27167 38 | 0.113 % |
692.35/692.35 c | 1197434 | 2670 15558 54824 | 27504 27680 39 | 0.113 % |
692.45/692.51 c | 1197947 | 2670 15558 54824 | 27504 24568 39 | 0.112 % |
692.95/692.99 c | 1198971 | 2670 15558 54824 | 27504 25592 39 | 0.112 % |
693.16/693.21 c | 1199484 | 2670 15558 54824 | 27504 26105 39 | 0.112 % |
693.55/693.53 c | 1199996 | 2670 15558 54824 | 27504 26617 39 | 0.113 % |
693.95/693.92 c | 1201022 | 2670 15558 54824 | 26621 24210 38 | 0.112 % |
694.85/694.90 c | 1203072 | 2670 15558 54824 | 26621 26260 39 | 0.112 % |
694.95/695.01 c | 1203585 | 2670 15558 54824 | 26621 26773 39 | 0.112 % |
695.25/695.24 c | 1204097 | 2670 15558 54824 | 26621 24256 38 | 0.112 % |
695.55/695.61 c | 1205123 | 2670 15558 54824 | 26621 25282 39 | 0.113 % |
695.75/695.81 c | 1205636 | 2669 15532 54751 | 26621 25786 39 | 0.150 % |
696.05/696.06 c | 1206149 | 2669 15532 54751 | 26621 26299 39 | 0.150 % |
696.55/696.58 c | 1207173 | 2669 15532 54751 | 26621 24260 37 | 0.150 % |
697.56/697.55 c | 1209222 | 2669 15532 54751 | 26621 26309 38 | 0.150 % |
699.45/699.51 c | 1213318 | 2669 15532 54751 | 24038 22212 33 | 0.150 % |
703.65/703.69 c | 1221512 | 2669 15532 54751 | 2147483647 25508 34 | 0.150 % |
703.85/703.82 c | 1222025 | 2669 15532 54751 | 2147483647 26021 34 | 0.150 % |
704.05/704.07 c | 1222537 | 2669 15532 54751 | 2147483647 26533 35 | 0.150 % |
704.45/704.43 c | 1223561 | 2669 15532 54751 | 2147483647 27557 37 | 0.150 % |
704.55/704.54 c | 1224075 | 2669 15532 54751 | 2147483647 28071 37 | 0.150 % |
704.75/704.77 c | 1224587 | 2669 15532 54751 | 2147483647 28583 38 | 0.150 % |
704.95/705.00 c | 1225612 | 2669 15532 54751 | 2147483647 29608 37 | 0.150 % |
706.05/706.04 c | 1227660 | 2669 15532 54751 | 2147483647 31656 38 | 0.150 % |
706.25/706.32 c | 1228172 | 2669 15532 54751 | 2147483647 32168 38 | 0.150 % |
706.55/706.59 c | 1228685 | 2669 15532 54751 | 2147483647 32681 38 | 0.150 % |
707.05/707.11 c | 1229711 | 2669 15532 54751 | 2147483647 33707 38 | 0.150 % |
707.35/707.33 c | 1230224 | 2669 15532 54751 | 33996 34220 39 | 0.150 % |
707.46/707.46 c | 1230738 | 2669 15532 54751 | 33996 30036 36 | 0.150 % |
707.95/708.00 c | 1231762 | 2669 15532 54751 | 33996 31060 38 | 0.150 % |
708.95/709.00 c | 1233810 | 2669 15532 54751 | 33996 33108 38 | 0.150 % |
711.55/711.55 c | 1237908 | 2669 15532 54751 | 33996 31860 37 | 0.150 % |
711.86/711.87 c | 1238421 | 2669 15532 54751 | 33996 32373 37 | 0.150 % |
712.25/712.28 c | 1238935 | 2669 15532 54751 | 33996 32887 37 | 0.150 % |
713.05/713.02 c | 1239959 | 2669 15532 54751 | 33996 33911 37 | 0.150 % |
713.35/713.35 c | 1240471 | 2669 15532 54751 | 33952 28780 35 | 0.150 % |
713.55/713.60 c | 1240984 | 2669 15532 54751 | 33952 29293 36 | 0.150 % |
714.06/714.10 c | 1242008 | 2669 15532 54751 | 33952 30317 36 | 0.150 % |
714.96/714.96 c | 1244058 | 2669 15532 54751 | 33952 32367 36 | 0.150 % |
715.26/715.24 c | 1244570 | 2669 15532 54751 | 33952 32879 36 | 0.150 % |
715.36/715.38 c | 1245082 | 2669 15532 54751 | 33952 33391 36 | 0.150 % |
715.96/716.00 c | 1246106 | 2669 15532 54751 | 33952 28734 34 | 0.150 % |
716.26/716.27 c | 1246618 | 2669 15532 54751 | 33952 29246 35 | 0.150 % |
716.46/716.43 c | 1247130 | 2669 15532 54751 | 33952 29758 35 | 0.150 % |
716.76/716.81 c | 1248154 | 2669 15532 54751 | 33952 30782 36 | 0.150 % |
718.16/718.16 c | 1250203 | 2669 15532 54751 | 32628 32831 36 | 0.150 % |
720.46/720.47 c | 1254299 | 2669 15532 54751 | 32628 31466 36 | 0.150 % |
725.35/725.39 c | 1262491 | 2669 15532 54751 | 31623 29017 36 | 0.150 % |
735.35/735.39 c | 1278876 | 2669 15532 54751 | 31538 29826 36 | 0.150 % |
735.65/735.69 c | 1279389 | 2669 15532 54751 | 31538 30339 36 | 0.150 % |
736.05/736.03 c | 1279902 | 2669 15532 54751 | 31538 30852 37 | 0.150 % |
736.55/736.61 c | 1280926 | 2669 15532 54751 | 30953 26522 36 | 0.150 % |
736.85/736.89 c | 1281439 | 2669 15532 54751 | 30953 27035 36 | 0.150 % |
737.25/737.22 c | 1281951 | 2669 15532 54751 | 30953 27547 36 | 0.150 % |
737.85/737.84 c | 1282976 | 2669 15532 54751 | 30953 28572 36 | 0.150 % |
739.25/739.24 c | 1285024 | 2669 15532 54751 | 30953 30620 38 | 0.150 % |
739.45/739.43 c | 1285537 | 2669 15532 54751 | 30953 31133 38 | 0.150 % |
739.65/739.62 c | 1286049 | 2669 15532 54751 | 30953 26966 36 | 0.150 % |
739.95/739.94 c | 1287074 | 2669 15532 54751 | 30953 27991 35 | 0.150 % |
740.05/740.10 c | 1287587 | 2669 15532 54751 | 30953 28504 35 | 0.150 % |
740.15/740.16 c | 1288099 | 2669 15532 54751 | 30953 29016 35 | 0.150 % |
740.65/740.64 c | 1289125 | 2669 15532 54751 | 30953 30042 38 | 0.150 % |
741.15/741.19 c | 1291175 | 2669 15532 54751 | 30918 27875 34 | 0.150 % |
743.15/743.13 c | 1295271 | 2669 15532 54751 | 30918 27613 33 | 0.150 % |
743.45/743.47 c | 1295784 | 2669 15532 54751 | 30918 28126 33 | 0.150 % |
743.95/743.92 c | 1296297 | 2669 15532 54751 | 30918 28639 33 | 0.150 % |
744.65/744.70 c | 1297321 | 2669 15532 54751 | 30918 29663 34 | 0.150 % |
744.95/744.97 c | 1297833 | 2669 15532 54751 | 30918 30175 34 | 0.150 % |
745.35/745.32 c | 1298345 | 2669 15532 54751 | 30918 30687 34 | 0.150 % |
745.85/745.90 c | 1299371 | 2669 15532 54751 | 30918 27230 33 | 0.150 % |
746.95/746.92 c | 1301420 | 2669 15532 54751 | 27859 25120 30 | 0.150 % |
747.15/747.16 c | 1301933 | 2669 15532 54751 | 27859 25633 30 | 0.150 % |
747.45/747.44 c | 1302447 | 2669 15532 54751 | 27859 26147 30 | 0.150 % |
747.85/747.86 c | 1303471 | 2669 15532 54751 | 27859 27171 31 | 0.150 % |
748.05/748.08 c | 1303984 | 2669 15532 54751 | 27859 27684 31 | 0.150 % |
748.35/748.33 c | 1304496 | 2669 15532 54751 | 27859 28196 31 | 0.150 % |
748.85/748.88 c | 1305520 | 2669 15532 54751 | 27859 25409 29 | 0.150 % |
749.85/749.87 c | 1307568 | 2669 15532 54751 | 27859 27457 34 | 0.150 % |
750.75/750.74 c | 1311664 | 2669 15532 54751 | 26090 24426 30 | 0.150 % |
755.15/755.17 c | 1319856 | 2669 15532 54751 | 26090 23521 34 | 0.150 % |
755.45/755.44 c | 1320368 | 2669 15532 54751 | 23666 24033 35 | 0.150 % |
755.75/755.76 c | 1320880 | 2669 15532 54751 | 23666 21824 31 | 0.150 % |
756.25/756.26 c | 1321905 | 2669 15532 54751 | 23666 22849 33 | 0.150 % |
756.55/756.53 c | 1322417 | 2669 15532 54751 | 23666 23361 33 | 0.150 % |
756.85/756.86 c | 1322929 | 2669 15532 54751 | 23666 23873 34 | 0.150 % |
757.45/757.42 c | 1323955 | 2669 15532 54751 | 23666 22512 35 | 0.150 % |
758.35/758.37 c | 1326005 | 2669 15532 54751 | 23666 22136 36 | 0.150 % |
758.45/758.47 c | 1326518 | 2669 15532 54751 | 23666 22649 36 | 0.150 % |
758.55/758.55 c | 1327030 | 2669 15532 54751 | 23666 23161 36 | 0.150 % |
758.95/758.94 c | 1328054 | 2669 15532 54751 | 23666 21781 36 | 0.150 % |
759.15/759.13 c | 1328566 | 2669 15532 54751 | 23666 22293 37 | 0.150 % |
759.35/759.33 c | 1329079 | 2669 15532 54751 | 23666 22806 38 | 0.150 % |
759.65/759.69 c | 1330104 | 2669 15532 54751 | 2147483647 23831 38 | 0.150 % |
760.65/760.62 c | 1332153 | 2669 15532 54751 | 2147483647 25880 39 | 0.150 % |
762.55/762.58 c | 1336249 | 2669 15532 54751 | 2147483647 29976 41 | 0.150 % |
762.85/762.88 c | 1336762 | 2669 15532 54751 | 2147483647 30489 41 | 0.150 % |
763.15/763.12 c | 1337275 | 2669 15532 54751 | 2147483647 31002 41 | 0.150 % |
763.55/763.53 c | 1338299 | 2669 15532 54751 | 2147483647 32026 42 | 0.150 % |
763.75/763.79 c | 1338812 | 2669 15532 54751 | 2147483647 32539 42 | 0.150 % |
764.05/764.09 c | 1339326 | 2669 15532 54751 | 2147483647 33053 41 | 0.150 % |
764.35/764.33 c | 1340350 | 2669 15532 54751 | 33729 30164 39 | 0.150 % |
765.75/765.81 c | 1342399 | 2669 15532 54751 | 33729 32213 41 | 0.150 % |
766.15/766.16 c | 1342911 | 2669 15532 54751 | 33729 32725 41 | 0.150 % |
766.45/766.47 c | 1343426 | 2669 15532 54751 | 33729 33240 41 | 0.150 % |
767.15/767.16 c | 1344451 | 2669 15532 54751 | 33729 28858 39 | 0.150 % |
767.25/767.25 c | 1344964 | 2669 15532 54751 | 33729 29371 39 | 0.150 % |
767.55/767.54 c | 1345476 | 2669 15532 54751 | 33729 29883 39 | 0.150 % |
768.25/768.22 c | 1346500 | 2669 15532 54751 | 33729 30907 39 | 0.150 % |
769.25/769.24 c | 1348550 | 2669 15532 54751 | 33729 32957 41 | 0.150 % |
771.85/771.87 c | 1352648 | 2669 15532 54751 | 28672 26490 37 | 0.150 % |
777.05/777.03 c | 1360840 | 2669 15532 54751 | 25300 22531 36 | 0.150 % |
784.65/784.63 c | 1377227 | 2669 15532 54751 | 25036 22770 38 | 0.150 % |
805.55/805.54 c | 1409996 | 2669 15532 54751 | 30889 27835 28 | 0.150 % |
805.65/805.70 c | 1410508 | 2669 15532 54751 | 27840 24287 26 | 0.150 % |
805.85/805.87 c | 1411024 | 2669 15532 54751 | 27840 24803 26 | 0.150 % |
806.15/806.16 c | 1412048 | 2669 15532 54751 | 27840 25827 26 | 0.150 % |
806.35/806.35 c | 1412561 | 2669 15532 54751 | 27840 26340 27 | 0.150 % |
806.46/806.51 c | 1413073 | 2669 15532 54751 | 27840 26852 27 | 0.150 % |
806.95/806.92 c | 1414097 | 2669 15532 54751 | 27840 27876 28 | 0.150 % |
807.75/807.73 c | 1416147 | 2669 15532 54751 | 27840 26145 29 | 0.150 % |
808.05/808.02 c | 1416660 | 2669 15532 54751 | 27840 26658 30 | 0.150 % |
808.25/808.22 c | 1417172 | 2669 15532 54751 | 27840 27170 30 | 0.150 % |
808.66/808.65 c | 1418200 | 2669 15532 54751 | 27840 24751 29 | 0.150 % |
808.85/808.90 c | 1418713 | 2669 15532 54751 | 27840 25264 29 | 0.150 % |
809.15/809.11 c | 1419226 | 2669 15532 54751 | 27840 25777 30 | 0.150 % |
809.55/809.55 c | 1420250 | 2669 15532 54751 | 26551 26801 31 | 0.150 % |
811.05/811.04 c | 1422298 | 2669 15532 54751 | 26551 25651 31 | 0.150 % |
812.85/812.88 c | 1426394 | 2669 15532 54751 | 26551 27019 33 | 0.150 % |
813.15/813.13 c | 1426907 | 2669 15532 54751 | 26551 24765 34 | 0.150 % |
813.35/813.37 c | 1427420 | 2669 15532 54751 | 26551 25278 34 | 0.150 % |
813.75/813.73 c | 1428444 | 2669 15532 54751 | 26551 26302 35 | 0.150 % |
813.95/813.96 c | 1428957 | 2669 15532 54751 | 26551 26815 35 | 0.150 % |
814.16/814.19 c | 1429472 | 2669 15532 54751 | 26551 24649 37 | 0.150 % |
814.75/814.79 c | 1430496 | 2669 15532 54751 | 25178 23079 35 | 0.150 % |
815.55/815.58 c | 1432546 | 2669 15532 54751 | 25178 25129 36 | 0.150 % |
815.85/815.83 c | 1433059 | 2669 15532 54751 | 25178 25642 36 | 0.150 % |
816.05/816.07 c | 1433571 | 2669 15532 54751 | 25178 23590 36 | 0.150 % |
816.35/816.39 c | 1434597 | 2669 15532 54751 | 25178 24616 36 | 0.150 % |
816.54/816.50 c | 1435110 | 2669 15532 54751 | 25178 25129 36 | 0.150 % |
816.74/816.75 c | 1435622 | 2669 15532 54751 | 25178 23022 35 | 0.150 % |
817.14/817.17 c | 1436646 | 2669 15532 54751 | 25178 24046 35 | 0.150 % |
817.94/817.90 c | 1438694 | 2669 15532 54751 | 25178 23532 35 | 0.150 % |
819.84/819.89 c | 1442790 | 2669 15532 54751 | 2147483647 27628 36 | 0.150 % |
824.24/824.22 c | 1450982 | 2669 15532 54751 | 34839 30426 36 | 0.150 % |
824.44/824.48 c | 1451494 | 2669 15532 54751 | 34839 30938 36 | 0.150 % |
824.74/824.78 c | 1452006 | 2669 15532 54751 | 34839 31450 36 | 0.150 % |
825.15/825.14 c | 1453030 | 2669 15532 54751 | 34839 32474 36 | 0.150 % |
825.34/825.33 c | 1453544 | 2669 15532 54751 | 34839 32988 37 | 0.150 % |
825.54/825.52 c | 1454056 | 2669 15532 54751 | 34839 33500 37 | 0.150 % |
826.04/826.08 c | 1455080 | 2669 15532 54751 | 34839 34524 39 | 0.150 % |
826.64/826.69 c | 1457130 | 2669 15532 54751 | 34839 31013 35 | 0.150 % |
826.94/826.93 c | 1457645 | 2669 15532 54751 | 34839 31528 35 | 0.150 % |
827.14/827.20 c | 1458157 | 2669 15532 54751 | 34839 32040 35 | 0.150 % |
827.44/827.41 c | 1459182 | 2669 15532 54751 | 34839 33065 35 | 0.150 % |
827.84/827.80 c | 1459694 | 2669 15532 54751 | 34839 33577 35 | 0.150 % |
828.04/828.07 c | 1460208 | 2669 15532 54751 | 33883 34091 35 | 0.150 % |
828.64/828.63 c | 1461232 | 2669 15532 54751 | 33883 29783 34 | 0.150 % |
829.65/829.68 c | 1463281 | 2669 15532 54751 | 33883 31832 34 | 0.150 % |
832.25/832.21 c | 1467378 | 2669 15532 54751 | 33883 30453 33 | 0.150 % |
832.45/832.47 c | 1467890 | 2669 15532 54751 | 33883 30965 33 | 0.150 % |
832.75/832.78 c | 1468402 | 2669 15532 54751 | 33883 31477 33 | 0.150 % |
833.45/833.47 c | 1469426 | 2669 15532 54751 | 33883 32501 33 | 0.150 % |
833.95/833.93 c | 1469938 | 2669 15532 54751 | 33883 33013 34 | 0.150 % |
834.35/834.33 c | 1470450 | 2669 15532 54751 | 33076 33525 34 | 0.150 % |
835.15/835.13 c | 1471475 | 2669 15532 54751 | 33076 28850 33 | 0.150 % |
836.55/836.54 c | 1473523 | 2669 15532 54751 | 33076 30898 35 | 0.150 % |
836.75/836.79 c | 1474035 | 2669 15532 54751 | 33076 31410 36 | 0.150 % |
836.95/836.96 c | 1474547 | 2669 15532 54751 | 33076 31922 36 | 0.150 % |
837.45/837.43 c | 1475571 | 2669 15532 54751 | 33076 32946 36 | 0.150 % |
837.65/837.67 c | 1476083 | 2669 15532 54751 | 33076 28024 34 | 0.150 % |
837.85/837.89 c | 1476596 | 2669 15532 54751 | 33076 28537 34 | 0.150 % |
838.25/838.28 c | 1477620 | 2669 15532 54751 | 33076 29561 35 | 0.150 % |
839.55/839.57 c | 1479668 | 2669 15532 54751 | 33076 31609 35 | 0.150 % |
841.85/841.87 c | 1483765 | 2669 15532 54751 | 31942 30623 36 | 0.150 % |
845.65/845.67 c | 1491957 | 2669 15532 54751 | 31878 28941 34 | 0.150 % |
855.75/855.74 c | 1508343 | 2669 15532 54751 | 32301 30428 30 | 0.150 % |
856.05/856.03 c | 1508856 | 2669 15532 54751 | 32301 30941 30 | 0.150 % |
856.35/856.38 c | 1509369 | 2669 15532 54751 | 32301 31454 31 | 0.150 % |
857.15/857.12 c | 1510394 | 2669 15532 54751 | 32085 27059 31 | 0.150 % |
857.45/857.46 c | 1510906 | 2669 15532 54751 | 32085 27571 31 | 0.150 % |
857.65/857.69 c | 1511418 | 2669 15532 54751 | 32085 28083 32 | 0.150 % |
858.15/858.15 c | 1512442 | 2669 15532 54751 | 32085 29107 32 | 0.150 % |
859.45/859.47 c | 1514493 | 2669 15532 54751 | 32085 31158 33 | 0.150 % |
859.85/859.82 c | 1515006 | 2669 15532 54751 | 32085 31671 33 | 0.150 % |
860.05/860.03 c | 1515520 | 2669 15532 54751 | 32085 32185 34 | 0.150 % |
860.25/860.25 c | 1516546 | 2669 15532 54751 | 32085 28083 32 | 0.150 % |
860.45/860.47 c | 1517058 | 2669 15532 54751 | 32085 28595 33 | 0.150 % |
860.65/860.68 c | 1517572 | 2669 15532 54751 | 32085 29109 34 | 0.150 % |
861.15/861.11 c | 1518596 | 2669 15532 54751 | 32085 30133 35 | 0.150 % |
862.25/862.22 c | 1520645 | 2669 15532 54751 | 31537 27388 35 | 0.150 % |
864.35/864.39 c | 1524741 | 2669 15532 54751 | 31537 31484 37 | 0.150 % |
864.65/864.65 c | 1525254 | 2669 15532 54751 | 31537 31997 37 | 0.150 % |
864.95/864.96 c | 1525766 | 2669 15532 54751 | 31537 27712 37 | 0.150 % |
865.55/865.55 c | 1526791 | 2669 15532 54751 | 31537 28737 37 | 0.150 % |
865.85/865.84 c | 1527303 | 2669 15532 54751 | 31537 29249 38 | 0.150 % |
866.05/866.06 c | 1527815 | 2669 15532 54751 | 31537 29761 38 | 0.150 % |
866.65/866.63 c | 1528840 | 2669 15532 54751 | 31537 30786 39 | 0.150 % |
867.95/867.97 c | 1530888 | 2669 15532 54751 | 31946 27844 36 | 0.150 % |
868.25/868.22 c | 1531402 | 2669 15532 54751 | 31946 28358 36 | 0.150 % |
868.45/868.46 c | 1531914 | 2669 15532 54751 | 31946 28870 36 | 0.150 % |
869.15/869.14 c | 1532939 | 2669 15532 54751 | 31946 29895 37 | 0.150 % |
869.45/869.42 c | 1533452 | 2669 15532 54751 | 31946 30408 37 | 0.150 % |
869.65/869.66 c | 1533964 | 2669 15532 54751 | 31946 30920 38 | 0.150 % |
870.25/870.26 c | 1534988 | 2669 15532 54751 | 31946 31944 38 | 0.150 % |
871.25/871.22 c | 1537037 | 2669 15532 54751 | 31946 28976 37 | 0.150 % |
873.65/873.71 c | 1541134 | 2669 15532 54751 | 31941 28117 39 | 0.150 % |
878.25/878.22 c | 1549329 | 2669 15532 54751 | 31941 31502 43 | 0.150 % |
878.35/878.35 c | 1549841 | 2669 15532 54751 | 31941 32014 43 | 0.150 % |
878.65/878.62 c | 1550353 | 2669 15532 54751 | 27422 27775 42 | 0.150 % |
878.85/878.88 c | 1551377 | 2669 15532 54751 | 27422 24688 40 | 0.150 % |
878.95/878.99 c | 1551890 | 2669 15532 54751 | 27422 25201 40 | 0.150 % |
879.15/879.16 c | 1552402 | 2669 15532 54751 | 27422 25713 40 | 0.150 % |
879.65/879.62 c | 1553428 | 2669 15532 54751 | 27422 26739 40 | 0.150 % |
880.65/880.64 c | 1555476 | 2669 15532 54751 | 27422 25146 39 | 0.150 % |
880.75/880.74 c | 1555989 | 2669 15532 54751 | 27422 25659 38 | 0.150 % |
880.95/880.97 c | 1556502 | 2669 15532 54751 | 27422 26172 39 | 0.150 % |
881.35/881.36 c | 1557527 | 2669 15532 54751 | 27422 27197 41 | 0.150 % |
881.55/881.56 c | 1558039 | 2669 15532 54751 | 27422 27709 41 | 0.150 % |
881.65/881.67 c | 1558554 | 2669 15532 54751 | 27422 24593 37 | 0.150 % |
882.15/882.17 c | 1559578 | 2669 15532 54751 | 27422 25617 39 | 0.150 % |
883.05/883.09 c | 1561627 | 2669 15532 54751 | 26042 24249 37 | 0.150 % |
884.15/884.20 c | 1565725 | 2669 15532 54751 | 26042 25296 32 | 0.150 % |
884.45/884.43 c | 1566237 | 2669 15532 54751 | 26042 25808 32 | 0.150 % |
884.75/884.72 c | 1566750 | 2669 15532 54751 | 26042 23146 31 | 0.150 % |
884.95/884.94 c | 1567775 | 2669 15532 54751 | 26042 24171 32 | 0.150 % |
885.15/885.17 c | 1568287 | 2669 15532 54751 | 26042 24683 32 | 0.150 % |
885.45/885.42 c | 1568799 | 2669 15532 54751 | 26042 25195 33 | 0.150 % |
885.85/885.81 c | 1569830 | 2669 15532 54751 | 26042 26226 33 | 0.150 % |
886.95/886.94 c | 1571879 | 2669 15532 54751 | 23481 22718 31 | 0.150 % |
887.15/887.16 c | 1572393 | 2669 15532 54751 | 23481 23232 32 | 0.150 % |
887.45/887.45 c | 1572906 | 2669 15532 54751 | 23481 23745 32 | 0.150 % |
887.85/887.84 c | 1573932 | 2669 15532 54751 | 23481 22364 29 | 0.150 % |
887.95/887.93 c | 1574445 | 2669 15532 54751 | 23481 22877 29 | 0.150 % |
888.25/888.26 c | 1574959 | 2669 15532 54751 | 23481 23391 30 | 0.150 % |
888.65/888.64 c | 1575986 | 2669 15532 54751 | 23481 22028 29 | 0.150 % |
889.55/889.55 c | 1578034 | 2669 15532 54751 | 23481 24076 30 | 0.150 % |
890.85/890.81 c | 1582130 | 2669 15532 54751 | 2147483647 25765 33 | 0.150 % |
895.95/895.98 c | 1590324 | 2669 15532 54751 | 33635 33959 35 | 0.150 % |
905.95/905.94 c | 1606709 | 2669 15532 54751 | 29106 26653 33 | 0.150 % |
922.65/922.60 c | 1639478 | 2669 15532 54751 | 25428 24842 46 | 0.150 % |
959.36/959.36 c | 1705016 | 2669 15532 54751 | 22948 22704 42 | 0.150 % |
959.46/959.51 c | 1705529 | 2669 15532 54751 | 22948 23217 43 | 0.150 % |
959.66/959.61 c | 1706043 | 2669 15532 54751 | 22948 21096 40 | 0.150 % |
960.06/960.06 c | 1707067 | 2669 15532 54751 | 22948 22120 41 | 0.150 % |
960.26/960.24 c | 1707579 | 2669 15532 54751 | 22948 22632 41 | 0.150 % |
960.36/960.32 c | 1708092 | 2669 15532 54751 | 22948 23145 41 | 0.150 % |
960.76/960.79 c | 1709116 | 2669 15532 54751 | 22948 21712 39 | 0.150 % |
961.76/961.77 c | 1711164 | 2669 15532 54751 | 22596 21307 38 | 0.150 % |
961.96/961.92 c | 1711676 | 2669 15532 54751 | 22596 21819 38 | 0.150 % |
962.06/962.02 c | 1712189 | 2669 15532 54751 | 22596 22332 38 | 0.150 % |
962.36/962.32 c | 1713213 | 2669 15532 54751 | 22596 21057 35 | 0.150 % |
962.46/962.42 c | 1713725 | 2669 15532 54751 | 22596 21569 35 | 0.150 % |
962.66/962.66 c | 1714238 | 2669 15532 54751 | 22596 22082 35 | 0.150 % |
963.06/963.01 c | 1715264 | 2669 15532 54751 | 22596 20805 34 | 0.150 % |
963.86/963.90 c | 1717313 | 2669 15532 54751 | 22596 20571 36 | 0.150 % |
965.86/965.90 c | 1721409 | 2669 15532 54751 | 2147483647 22364 36 | 0.150 % |
966.06/966.09 c | 1721922 | 2669 15532 54751 | 2147483647 22877 37 | 0.150 % |
966.36/966.34 c | 1722435 | 2669 15532 54751 | 2147483647 23390 37 | 0.150 % |
966.76/966.75 c | 1723460 | 2669 15532 54751 | 2147483647 24415 38 | 0.150 % |
966.96/967.00 c | 1723972 | 2669 15532 54751 | 2147483647 24927 38 | 0.150 % |
967.16/967.20 c | 1724487 | 2669 15532 54751 | 2147483647 25442 38 | 0.150 % |
967.66/967.63 c | 1725511 | 2669 15532 54751 | 2147483647 26466 39 | 0.150 % |
968.56/968.56 c | 1727559 | 2669 15532 54751 | 2147483647 28514 42 | 0.150 % |
968.86/968.90 c | 1728072 | 2669 15532 54751 | 2147483647 29027 42 | 0.150 % |
969.16/969.17 c | 1728584 | 2669 15532 54751 | 2147483647 29539 42 | 0.150 % |
969.46/969.49 c | 1729608 | 2669 15532 54751 | 2147483647 30563 41 | 0.150 % |
969.76/969.75 c | 1730120 | 2669 15532 54751 | 30956 31075 42 | 0.150 % |
969.96/969.96 c | 1730632 | 2669 15532 54751 | 30956 28008 40 | 0.150 % |
970.36/970.31 c | 1731658 | 2669 15532 54751 | 30956 29034 40 | 0.150 % |
970.76/970.76 c | 1733707 | 2669 15532 54751 | 30956 31083 39 | 0.150 % |
972.96/972.92 c | 1737804 | 2669 15532 54751 | 30956 27488 38 | 0.150 % |
974.96/974.96 c | 1745997 | 2669 15532 54751 | 29684 27402 29 | 0.150 % |
975.16/975.18 c | 1746511 | 2669 15532 54751 | 29684 27916 29 | 0.150 % |
975.46/975.45 c | 1747025 | 2669 15532 54751 | 29684 28430 30 | 0.150 % |
975.76/975.81 c | 1748049 | 2669 15532 54751 | 29684 29454 31 | 0.150 % |
976.06/976.03 c | 1748563 | 2669 15532 54751 | 29684 25638 27 | 0.150 % |
976.16/976.15 c | 1749076 | 2669 15532 54751 | 29684 26151 27 | 0.150 % |
976.56/976.58 c | 1750100 | 2669 15532 54751 | 27077 27175 30 | 0.150 % |
977.16/977.20 c | 1752148 | 2669 15532 54751 | 27077 25318 28 | 0.150 % |
977.46/977.43 c | 1752660 | 2669 15532 54751 | 27077 25830 29 | 0.150 % |
977.56/977.60 c | 1753172 | 2669 15532 54751 | 27077 26342 29 | 0.150 % |
977.96/978.00 c | 1754196 | 2669 15532 54751 | 27077 27366 30 | 0.150 % |
978.26/978.22 c | 1754709 | 2669 15532 54751 | 27077 25143 28 | 0.150 % |
978.46/978.46 c | 1755223 | 2669 15532 54751 | 27077 25657 28 | 0.150 % |
978.96/978.91 c | 1756247 | 2669 15532 54751 | 27077 26681 30 | 0.150 % |
979.76/979.75 c | 1758296 | 2669 15532 54751 | 27077 25984 32 | 0.150 % |
981.96/982.00 c | 1762393 | 2669 15532 54751 | 2147483647 27327 35 | 0.150 % |
982.26/982.28 c | 1762905 | 2669 15532 54751 | 2147483647 27839 35 | 0.150 % |
982.66/982.64 c | 1763418 | 2669 15532 54751 | 2147483647 28352 36 | 0.150 % |
983.26/983.27 c | 1764442 | 2669 15532 54751 | 2147483647 29376 36 | 0.150 % |
983.36/983.36 c | 1764954 | 2669 15532 54751 | 2147483647 29888 36 | 0.150 % |
983.66/983.66 c | 1765466 | 2669 15532 54751 | 2147483647 30400 37 | 0.150 % |
984.16/984.20 c | 1766491 | 2669 15532 54751 | 2147483647 31425 37 | 0.150 % |
985.16/985.21 c | 1768539 | 2669 15532 54751 | 2147483647 33473 38 | 0.150 % |
985.46/985.41 c | 1769051 | 2669 15532 54751 | 2147483647 33985 38 | 0.150 % |
985.66/985.63 c | 1769564 | 2669 15532 54751 | 2147483647 34498 38 | 0.150 % |
986.26/986.29 c | 1770589 | 2669 15532 54751 | 34934 30682 40 | 0.150 % |
986.46/986.50 c | 1771103 | 2669 15532 54751 | 34934 31196 40 | 0.150 % |
986.76/986.75 c | 1771617 | 2669 15532 54751 | 34934 31710 40 | 0.150 % |
987.46/987.45 c | 1772643 | 2669 15532 54751 | 34934 32736 41 | 0.150 % |
988.86/988.90 c | 1774692 | 2669 15532 54751 | 34934 34785 41 | 0.150 % |
991.06/991.09 c | 1778789 | 2669 15532 54751 | 34934 33529 41 | 0.150 % |
995.66/995.67 c | 1786981 | 2669 15532 54751 | 34742 29690 38 | 0.150 % |
1008.06/1008.02 c | 1803366 | 2669 15532 54751 | 30762 28430 38 | 0.150 % |
1008.46/1008.41 c | 1803878 | 2669 15532 54751 | 30762 28942 38 | 0.150 % |
1008.66/1008.67 c | 1804393 | 2669 15532 54751 | 30762 29457 38 | 0.150 % |
1009.36/1009.34 c | 1805419 | 2669 15532 54751 | 30762 30483 39 | 0.150 % |
1009.66/1009.65 c | 1805932 | 2669 15532 54751 | 30762 30996 39 | 0.150 % |
1010.06/1010.04 c | 1806445 | 2669 15532 54751 | 30762 26358 35 | 0.150 % |
1010.66/1010.66 c | 1807469 | 2669 15532 54751 | 30762 27382 36 | 0.150 % |
1011.96/1011.98 c | 1809518 | 2669 15532 54751 | 30762 29431 36 | 0.150 % |
1012.16/1012.20 c | 1810030 | 2669 15532 54751 | 29916 29943 37 | 0.150 % |
1012.46/1012.45 c | 1810542 | 2669 15532 54751 | 29916 25800 34 | 0.150 % |
1012.66/1012.63 c | 1811566 | 2669 15532 54751 | 29916 26824 33 | 0.150 % |
1012.66/1012.69 c | 1812079 | 2669 15532 54751 | 29916 27337 33 | 0.150 % |
1012.76/1012.78 c | 1812592 | 2669 15532 54751 | 29916 27850 33 | 0.150 % |
1013.27/1013.25 c | 1813618 | 2669 15532 54751 | 29916 28876 33 | 0.150 % |
1014.06/1014.01 c | 1815669 | 2669 15532 54751 | 29916 26993 30 | 0.150 % |
1015.96/1015.92 c | 1819766 | 2669 15532 54751 | 29916 27209 30 | 0.150 % |
1016.16/1016.18 c | 1820279 | 2669 15532 54751 | 27443 27722 31 | 0.150 % |
1016.46/1016.47 c | 1820792 | 2669 15532 54751 | 27443 24666 31 | 0.150 % |
1016.96/1016.98 c | 1821818 | 2669 15532 54751 | 27443 25692 32 | 0.150 % |
1017.06/1017.08 c | 1822331 | 2669 15532 54751 | 27443 26205 32 | 0.150 % |
1017.26/1017.28 c | 1822844 | 2669 15532 54751 | 27443 26718 32 | 0.150 % |
1017.86/1017.86 c | 1823868 | 2669 15532 54751 | 27443 27742 33 | 0.150 % |
1019.26/1019.23 c | 1825916 | 2669 15532 54751 | 27443 26573 33 | 0.150 % |
1019.46/1019.45 c | 1826430 | 2669 15532 54751 | 27443 27087 34 | 0.150 % |
1019.66/1019.68 c | 1826943 | 2669 15532 54751 | 27443 27600 35 | 0.150 % |
1019.87/1019.87 c | 1827967 | 2669 15532 54751 | 27443 25234 32 | 0.150 % |
1020.06/1020.07 c | 1828481 | 2669 15532 54751 | 27443 25748 32 | 0.150 % |
1020.26/1020.27 c | 1828994 | 2669 15532 54751 | 27443 26261 33 | 0.150 % |
1020.76/1020.72 c | 1830018 | 2669 15532 54751 | 27267 27285 33 | 0.150 % |
1021.66/1021.67 c | 1832067 | 2669 15532 54751 | 27267 26159 38 | 0.150 % |
1023.56/1023.59 c | 1836163 | 2669 15532 54751 | 27267 26849 40 | 0.150 % |
1028.16/1028.17 c | 1844356 | 2669 15532 54751 | 27401 25419 37 | 0.150 % |
1028.46/1028.48 c | 1844868 | 2669 15532 54751 | 27401 25931 38 | 0.150 % |
1028.76/1028.78 c | 1845381 | 2669 15532 54751 | 27401 26444 39 | 0.150 % |
1029.26/1029.24 c | 1846405 | 2669 15532 54751 | 27401 27468 39 | 0.150 % |
1029.46/1029.50 c | 1846918 | 2669 15532 54751 | 27401 24783 37 | 0.150 % |
1029.77/1029.73 c | 1847430 | 2669 15532 54751 | 27401 25295 38 | 0.150 % |
1030.26/1030.30 c | 1848457 | 2669 15532 54751 | 27401 26322 39 | 0.150 % |
1031.26/1031.28 c | 1850505 | 2669 15532 54751 | 27865 24928 36 | 0.150 % |
1031.56/1031.53 c | 1851017 | 2669 15532 54751 | 27865 25440 37 | 0.150 % |
1031.76/1031.79 c | 1851529 | 2669 15532 54751 | 27865 25952 38 | 0.150 % |
1031.97/1032.00 c | 1852554 | 2669 15532 54751 | 27865 26977 37 | 0.150 % |
1032.26/1032.21 c | 1853067 | 2669 15532 54751 | 27865 27490 38 | 0.150 % |
1032.26/1032.28 c | 1853579 | 2669 15532 54751 | 27865 28002 37 | 0.150 % |
1032.76/1032.74 c | 1854603 | 2669 15532 54751 | 27865 25573 36 | 0.150 % |
1033.86/1033.85 c | 1856651 | 2669 15532 54751 | 27865 27621 37 | 0.150 % |
1036.37/1036.40 c | 1860748 | 2669 15532 54751 | 27052 24045 37 | 0.150 % |
1036.66/1036.62 c | 1861262 | 2669 15532 54751 | 27052 24559 38 | 0.150 % |
1036.66/1036.68 c | 1861775 | 2669 15532 54751 | 27052 25072 37 | 0.150 % |
1037.16/1037.15 c | 1862800 | 2669 15532 54751 | 27052 26097 39 | 0.150 % |
1037.36/1037.37 c | 1863315 | 2669 15532 54751 | 27052 26612 39 | 0.150 % |
1037.47/1037.47 c | 1863827 | 2669 15532 54751 | 27052 27124 39 | 0.150 % |
1038.06/1038.06 c | 1864852 | 2669 15532 54751 | 27052 24693 37 | 0.150 % |
1039.16/1039.15 c | 1866900 | 2669 15532 54751 | 27052 26741 39 | 0.150 % |
1039.36/1039.38 c | 1867412 | 2669 15532 54751 | 27052 27253 39 | 0.150 % |
1039.56/1039.59 c | 1867925 | 2669 15532 54751 | 27052 24456 37 | 0.150 % |
1039.96/1039.94 c | 1868949 | 2669 15532 54751 | 27052 25480 38 | 0.150 % |
1040.16/1040.20 c | 1869464 | 2669 15532 54751 | 27052 25995 38 | 0.150 % |
1040.56/1040.52 c | 1869976 | 2669 15532 54751 | 27052 26507 39 | 0.150 % |
1040.86/1040.82 c | 1871000 | 2669 15532 54751 | 26531 24466 37 | 0.150 % |
1041.46/1041.50 c | 1873048 | 2669 15532 54751 | 26531 26514 38 | 0.150 % |
1043.16/1043.14 c | 1877144 | 2669 15532 54751 | 26531 25190 39 | 0.150 % |
1046.96/1046.97 c | 1885340 | 2669 15532 54751 | 25147 24845 41 | 0.150 % |
1054.96/1054.93 c | 1901724 | 2669 15532 54751 | 23159 22274 30 | 0.150 % |
1075.07/1075.10 c | 1934492 | 2669 15532 54751 | 33475 32327 38 | 0.150 % |
1075.37/1075.41 c | 1935004 | 2669 15532 54751 | 33475 32839 38 | 0.150 % |
1075.57/1075.57 c | 1935516 | 2669 15532 54751 | 33475 33351 38 | 0.150 % |
1075.77/1075.80 c | 1936541 | 2669 15532 54751 | 33475 28705 36 | 0.150 % |
1076.07/1076.05 c | 1937054 | 2669 15532 54751 | 33475 29218 37 | 0.150 % |
1076.17/1076.15 c | 1937567 | 2669 15532 54751 | 33475 29731 36 | 0.150 % |
1076.67/1076.62 c | 1938591 | 2669 15532 54751 | 33475 30755 38 | 0.150 % |
1077.47/1077.47 c | 1940640 | 2669 15532 54751 | 32164 27624 36 | 0.150 % |
1077.77/1077.76 c | 1941153 | 2669 15532 54751 | 32164 28137 36 | 0.150 % |
1077.97/1078.02 c | 1941666 | 2669 15532 54751 | 32164 28650 37 | 0.150 % |
1078.67/1078.64 c | 1942691 | 2669 15532 54751 | 32164 29675 37 | 0.150 % |
1078.87/1078.82 c | 1943203 | 2669 15532 54751 | 32164 30187 37 | 0.150 % |
1078.97/1078.96 c | 1943715 | 2669 15532 54751 | 32164 30699 37 | 0.150 % |
1079.47/1079.45 c | 1944741 | 2669 15532 54751 | 32164 31725 38 | 0.150 % |
1080.47/1080.46 c | 1946790 | 2669 15532 54751 | 32164 29088 38 | 0.150 % |
1082.86/1082.88 c | 1950886 | 2669 15532 54751 | 32300 28428 39 | 0.150 % |
1082.96/1082.96 c | 1951399 | 2669 15532 54751 | 32300 28941 38 | 0.150 % |
1083.06/1083.03 c | 1951912 | 2669 15532 54751 | 32300 29454 38 | 0.150 % |
1083.56/1083.58 c | 1952938 | 2669 15532 54751 | 32300 30480 39 | 0.150 % |
1083.86/1083.83 c | 1953450 | 2669 15532 54751 | 32300 30992 39 | 0.150 % |
1084.16/1084.12 c | 1953962 | 2669 15532 54751 | 32300 31504 39 | 0.150 % |
1084.66/1084.70 c | 1954987 | 2669 15532 54751 | 32300 32529 39 | 0.150 % |
1085.16/1085.19 c | 1957036 | 2669 15532 54751 | 32300 29872 39 | 0.150 % |
1085.46/1085.45 c | 1957549 | 2669 15532 54751 | 32300 30385 40 | 0.150 % |
1085.56/1085.57 c | 1958063 | 2669 15532 54751 | 32300 30899 40 | 0.150 % |
1086.36/1086.33 c | 1959087 | 2669 15532 54751 | 32300 31923 40 | 0.150 % |
1086.56/1086.58 c | 1959600 | 2669 15532 54751 | 32300 32436 41 | 0.150 % |
1086.86/1086.82 c | 1960114 | 2669 15532 54751 | 28182 28296 38 | 0.150 % |
1087.36/1087.33 c | 1961138 | 2669 15532 54751 | 28182 25361 36 | 0.150 % |
1088.36/1088.32 c | 1963186 | 2669 15532 54751 | 28182 27409 38 | 0.150 % |
1090.16/1090.11 c | 1967283 | 2669 15532 54751 | 28182 28029 37 | 0.150 % |
1094.16/1094.18 c | 1975475 | 2669 15532 54751 | 27355 26202 40 | 0.150 % |
1094.36/1094.39 c | 1975987 | 2669 15532 54751 | 27355 26714 40 | 0.150 % |
1094.66/1094.63 c | 1976499 | 2669 15532 54751 | 27355 27226 40 | 0.150 % |
1095.06/1095.05 c | 1977523 | 2669 15532 54751 | 27355 24882 39 | 0.150 % |
1095.26/1095.23 c | 1978035 | 2669 15532 54751 | 27355 25394 40 | 0.150 % |
1095.36/1095.34 c | 1978547 | 2669 15532 54751 | 27355 25906 40 | 0.150 % |
1095.56/1095.56 c | 1979571 | 2669 15532 54751 | 27355 26930 39 | 0.150 % |
1096.46/1096.50 c | 1981620 | 2669 15532 54751 | 27359 25502 38 | 0.150 % |
1096.66/1096.70 c | 1982133 | 2669 15532 54751 | 27359 26015 38 | 0.150 % |
1096.96/1096.95 c | 1982648 | 2669 15532 54751 | 27359 26530 38 | 0.150 % |
1097.46/1097.46 c | 1983672 | 2669 15532 54751 | 27359 27554 38 | 0.150 % |
1097.76/1097.77 c | 1984186 | 2669 15532 54751 | 27359 24643 38 | 0.150 % |
1098.16/1098.17 c | 1984700 | 2669 15532 54751 | 27359 25157 39 | 0.150 % |
1098.66/1098.69 c | 1985726 | 2669 15532 54751 | 27359 26183 40 | 0.150 % |
1099.56/1099.55 c | 1987774 | 2669 15532 54751 | 27359 24913 36 | 0.150 % |
1101.06/1101.05 c | 1991873 | 2669 15532 54751 | 27141 25523 40 | 0.150 % |
1101.36/1101.35 c | 1992386 | 2669 15532 54751 | 27141 26036 40 | 0.150 % |
1101.46/1101.46 c | 1992898 | 2669 15532 54751 | 27141 26548 40 | 0.150 % |
1101.96/1101.97 c | 1993922 | 2669 15532 54751 | 27141 27572 41 | 0.150 % |
1102.26/1102.27 c | 1994435 | 2669 15532 54751 | 27141 24810 40 | 0.150 % |
1102.56/1102.51 c | 1994947 | 2669 15532 54751 | 27141 25322 40 | 0.150 % |
1103.06/1103.08 c | 1995972 | 2669 15532 54751 | 27141 26347 41 | 0.150 % |
1104.46/1104.46 c | 1998021 | 2669 15532 54751 | 27141 25041 40 | 0.150 % |
1104.66/1104.67 c | 1998533 | 2669 15532 54751 | 27141 25553 41 | 0.150 % |
1104.76/1104.80 c | 1999045 | 2669 15532 54751 | 27141 26065 41 | 0.150 % |
1105.16/1105.18 c | 2000069 | 2669 15532 54751 | 27021 27089 41 | 0.150 % |
1105.46/1105.44 c | 2000581 | 2669 15532 54751 | 27021 24378 39 | 0.150 % |
1105.56/1105.60 c | 2001093 | 2669 15532 54751 | 27021 24890 39 | 0.150 % |
1105.76/1105.77 c | 2002117 | 2669 15532 54751 | 27021 25914 39 | 0.150 % |
1106.56/1106.51 c | 2004166 | 2669 15532 54751 | 27021 25008 37 | 0.150 % |
1108.66/1108.63 c | 2008262 | 2669 15532 54751 | 27021 26273 36 | 0.150 % |
1113.56/1113.53 c | 2016454 | 2669 15532 54751 | 25041 23420 33 | 0.150 % |
1123.66/1123.60 c | 2032840 | 2669 15532 54751 | 23778 23964 36 | 0.150 % |
1123.96/1123.95 c | 2033353 | 2669 15532 54751 | 23778 21744 34 | 0.150 % |
1124.26/1124.28 c | 2033866 | 2669 15532 54751 | 23778 22257 34 | 0.150 % |
1124.86/1124.83 c | 2034890 | 2669 15532 54751 | 23778 23281 35 | 0.150 % |
1125.16/1125.14 c | 2035402 | 2669 15532 54751 | 23778 23793 35 | 0.150 % |
1125.46/1125.42 c | 2035915 | 2669 15532 54751 | 23778 21710 33 | 0.150 % |
1125.86/1125.85 c | 2036939 | 2669 15532 54751 | 23778 22734 33 | 0.150 % |
1127.06/1127.03 c | 2038988 | 2669 15532 54751 | 23778 22221 32 | 0.150 % |
1127.16/1127.14 c | 2039501 | 2669 15532 54751 | 23778 22734 32 | 0.150 % |
1127.36/1127.30 c | 2040013 | 2669 15532 54751 | 23235 23246 34 | 0.150 % |
1127.76/1127.77 c | 2041037 | 2669 15532 54751 | 23235 21834 32 | 0.150 % |
1127.86/1127.90 c | 2041550 | 2669 15532 54751 | 23235 22347 32 | 0.150 % |
1128.06/1128.09 c | 2042062 | 2669 15532 54751 | 23235 22859 33 | 0.150 % |
1128.36/1128.31 c | 2043086 | 2669 15532 54751 | 23235 21533 31 | 0.150 % |
1129.16/1129.15 c | 2045135 | 2669 15532 54751 | 23235 23582 35 | 0.150 % |
1130.86/1130.83 c | 2049235 | 2669 15532 54751 | 23235 22932 37 | 0.150 % |
1131.06/1131.09 c | 2049747 | 2669 15532 54751 | 23235 23444 37 | 0.150 % |
1131.26/1131.28 c | 2050260 | 2669 15532 54751 | 2147483647 21613 37 | 0.150 % |
1131.66/1131.68 c | 2051284 | 2669 15532 54751 | 2147483647 22637 38 | 0.150 % |
1131.96/1131.93 c | 2051797 | 2669 15532 54751 | 2147483647 23150 38 | 0.150 % |
1132.16/1132.18 c | 2052310 | 2669 15532 54751 | 2147483647 23663 38 | 0.150 % |
1132.66/1132.64 c | 2053334 | 2669 15532 54751 | 2147483647 24687 38 | 0.150 % |
1133.76/1133.73 c | 2055382 | 2669 15532 54751 | 2147483647 26735 41 | 0.150 % |
1133.96/1133.98 c | 2055895 | 2669 15532 54751 | 2147483647 27248 42 | 0.150 % |
1134.27/1134.23 c | 2056408 | 2669 15532 54751 | 2147483647 27761 43 | 0.150 % |
1134.76/1134.79 c | 2057432 | 2669 15532 54751 | 2147483647 28785 43 | 0.150 % |
1135.06/1135.05 c | 2057948 | 2669 15532 54751 | 2147483647 29301 43 | 0.150 % |
1135.37/1135.32 c | 2058460 | 2669 15532 54751 | 2147483647 29813 43 | 0.150 % |
1135.86/1135.89 c | 2059485 | 2669 15532 54751 | 2147483647 30838 44 | 0.150 % |
1137.06/1137.09 c | 2061533 | 2669 15532 54751 | 31355 28999 44 | 0.150 % |
1139.96/1139.91 c | 2065631 | 2669 15532 54751 | 31355 28507 43 | 0.150 % |
1144.86/1144.85 c | 2073823 | 2669 15532 54751 | 28291 27871 38 | 0.150 % |
1145.16/1145.21 c | 2074335 | 2669 15532 54751 | 28291 28383 39 | 0.150 % |
1145.36/1145.33 c | 2074851 | 2669 15532 54751 | 28291 24769 34 | 0.150 % |
1145.76/1145.74 c | 2075875 | 2669 15532 54751 | 28291 25793 35 | 0.150 % |
1145.96/1145.95 c | 2076387 | 2669 15532 54751 | 28291 26305 35 | 0.150 % |
1146.16/1146.11 c | 2076899 | 2669 15532 54751 | 28291 26817 36 | 0.150 % |
1146.46/1146.46 c | 2077923 | 2669 15532 54751 | 28291 27841 36 | 0.150 % |
1147.26/1147.27 c | 2079971 | 2669 15532 54751 | 28291 25922 34 | 0.150 % |
1147.47/1147.49 c | 2080483 | 2669 15532 54751 | 25951 22945 31 | 0.150 % |
1147.76/1147.71 c | 2080995 | 2669 15532 54751 | 25951 23457 31 | 0.150 % |
1148.16/1148.17 c | 2082019 | 2669 15532 54751 | 25951 24481 33 | 0.150 % |
1148.36/1148.37 c | 2082531 | 2669 15532 54751 | 25951 24993 34 | 0.150 % |
1148.57/1148.52 c | 2083043 | 2669 15532 54751 | 25951 25505 34 | 0.150 % |
1148.96/1148.91 c | 2084067 | 2669 15532 54751 | 25951 26529 35 | 0.150 % |
1149.46/1149.45 c | 2086117 | 2669 15532 54751 | 25951 25409 34 | 0.150 % |
1151.46/1151.47 c | 2090215 | 2669 15532 54751 | 26402 26614 35 | 0.150 % |
1151.66/1151.70 c | 2090727 | 2669 15532 54751 | 26402 24380 36 | 0.150 % |
1151.96/1151.93 c | 2091239 | 2669 15532 54751 | 26402 24892 36 | 0.150 % |
1152.46/1152.44 c | 2092265 | 2669 15532 54751 | 26402 25918 36 | 0.150 % |
1152.66/1152.65 c | 2092778 | 2669 15532 54751 | 26402 26431 36 | 0.150 % |
1152.76/1152.76 c | 2093292 | 2669 15532 54751 | 26402 24154 35 | 0.150 % |
1153.16/1153.17 c | 2094316 | 2669 15532 54751 | 26402 25178 36 | 0.150 % |
1154.26/1154.28 c | 2096365 | 2669 15532 54751 | 26402 24400 36 | 0.150 % |
1154.56/1154.51 c | 2096877 | 2669 15532 54751 | 26402 24912 36 | 0.150 % |
1154.76/1154.73 c | 2097390 | 2669 15532 54751 | 26402 25425 36 | 0.150 % |
1155.17/1155.14 c | 2098414 | 2669 15532 54751 | 26402 26449 37 | 0.150 % |
1155.36/1155.40 c | 2098926 | 2669 15532 54751 | 26402 24175 35 | 0.150 % |
1155.66/1155.63 c | 2099438 | 2669 15532 54751 | 26402 24687 35 | 0.150 % |
1156.27/1156.26 c | 2100462 | 2669 15532 54751 | 25250 25711 35 | 0.150 % |
1156.96/1156.91 c | 2102512 | 2669 15532 54751 | 25250 25144 34 | 0.150 % |
1158.96/1159.00 c | 2106608 | 2669 15532 54751 | 25250 24040 33 | 0.150 % |
1163.66/1163.62 c | 2114800 | 2669 15532 54751 | 24767 24100 33 | 0.150 % |
1172.86/1172.89 c | 2131184 | 2669 15532 54751 | 2147483647 25284 32 | 0.150 % |
1196.57/1196.58 c | 2163953 | 2669 15532 54751 | 30697 29234 36 | 0.150 % |
1200.07/1200.02 HOME/SatELiteGTI: line 36: 6518 Terminated $MS $TMP.cnf $TMP.result
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1820411-1242440359/watcher-1820411-1242440359 -o /tmp/evaluation-result-1820411-1242440359/solver-1820411-1242440359 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820411-1242440359.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.92 0.99 0.99 3/94 6515
/proc/meminfo: memFree=789588/2074464 swapFree=1953004/1959888
[pid=6512] ppid=6510 vsize=2412 CPUtime=0
/proc/6512/stat : 6512 (SatELiteGTI) S 6510 6512 9090 0 -1 4194304 337 0 0 0 0 0 0 0 25 0 1 0 1008536231 2469888 271 4294967295 134512640 135169312 3216281232 3216278824 3085558702 0 0 4 65536 3222620697 0 0 17 2 0 0 0
/proc/6512/statm: 603 271 230 161 0 42 0
[pid=6513] ppid=6512 vsize=2412 CPUtime=0
/proc/6513/stat : 6513 (SatELiteGTI) R 6512 6512 9090 0 -1 4194368 103 0 0 0 0 0 0 0 25 0 1 0 1008536231 2469888 115 4294967295 134512640 135169312 3216281232 3216277452 3085367156 0 65538 0 65538 0 0 0 17 1 0 0 0
/proc/6513/statm: 603 115 72 161 0 42 0
[pid=6514] ppid=6513 vsize=0 CPUtime=0
/proc/6514/stat : 6514 (SatELiteGTI) Z 6513 6512 9090 0 -1 4194380 143 0 0 0 0 0 0 0 25 0 1 0 1008536231 0 0 4294967295 0 0 0 0 0 0 0 0 65538 3222378830 0 0 17 1 0 0 0
/proc/6514/statm: 0 0 0 0 0 0 0
[pid=6515] ppid=6513 vsize=0 CPUtime=0
/proc/6515/stat : 6515 (sed) Z 6513 6512 9090 0 -1 4194316 327 0 0 0 0 0 0 0 25 0 1 0 1008536231 0 0 4294967295 0 0 0 0 0 0 0 0 0 3222378830 0 0 17 2 0 0 0
/proc/6515/statm: 0 0 0 0 0 0 0
[startup+0.102654 s]
/proc/loadavg: 0.92 0.99 0.99 3/94 6515
/proc/meminfo: memFree=789588/2074464 swapFree=1953004/1959888
[pid=6512] ppid=6510 vsize=2412 CPUtime=0
/proc/6512/stat : 6512 (SatELiteGTI) S 6510 6512 9090 0 -1 4194304 365 649 0 0 0 0 0 0 25 0 1 0 1008536231 2469888 276 4294967295 134512640 135169312 3216281232 3216279768 3085364974 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/6512/statm: 603 276 235 161 0 42 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2412
[startup+0.212679 s]
/proc/loadavg: 0.92 0.99 0.99 3/94 6515
/proc/meminfo: memFree=789588/2074464 swapFree=1953004/1959888
[pid=6512] ppid=6510 vsize=2416 CPUtime=0.2
/proc/6512/stat : 6512 (SatELiteGTI) S 6510 6512 9090 0 -1 4194304 385 1820 0 0 0 0 19 1 24 0 1 0 1008536231 2473984 278 4294967295 134512640 135169312 3216281232 3216277448 3085364974 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/6512/statm: 604 278 235 161 0 43 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 2416
[startup+0.312644 s]
/proc/loadavg: 0.92 0.99 0.99 3/94 6515
/proc/meminfo: memFree=789588/2074464 swapFree=1953004/1959888
[pid=6512] ppid=6510 vsize=2416 CPUtime=0.2
/proc/6512/stat : 6512 (SatELiteGTI) S 6510 6512 9090 0 -1 4194304 385 1820 0 0 0 0 19 1 24 0 1 0 1008536231 2473984 278 4294967295 134512640 135169312 3216281232 3216277448 3085364974 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/6512/statm: 604 278 235 161 0 43 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 2416
[startup+0.712625 s]
/proc/loadavg: 0.92 0.99 0.99 3/94 6515
/proc/meminfo: memFree=789588/2074464 swapFree=1953004/1959888
[pid=6512] ppid=6510 vsize=2416 CPUtime=0.2
/proc/6512/stat : 6512 (SatELiteGTI) S 6510 6512 9090 0 -1 4194304 385 1820 0 0 0 0 19 1 24 0 1 0 1008536231 2473984 278 4294967295 134512640 135169312 3216281232 3216277448 3085364974 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/6512/statm: 604 278 235 161 0 43 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 2416
[startup+1.51259 s]
/proc/loadavg: 0.92 0.99 0.99 3/93 6518
/proc/meminfo: memFree=785364/2074464 swapFree=1953004/1959888
[pid=6512] ppid=6510 vsize=2416 CPUtime=0.2
/proc/6512/stat : 6512 (SatELiteGTI) S 6510 6512 9090 0 -1 4194304 385 1820 0 0 0 0 19 1 24 0 1 0 1008536231 2473984 278 4294967295 134512640 135169312 3216281232 3216277448 3085364974 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/6512/statm: 604 278 235 161 0 43 0
[pid=6518] ppid=6512 vsize=4536 CPUtime=1.31
/proc/6518/stat : 6518 (minisat_static) R 6512 6512 9090 0 -1 4202496 886 0 0 0 131 0 0 0 25 0 1 0 1008536251 4644864 820 4294967295 134512640 135216591 3219517952 3219516144 134529044 0 0 0 3 0 0 0 17 0 0 0 0
/proc/6518/statm: 1134 820 75 172 0 961 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 6952
[startup+3.11251 s]
/proc/loadavg: 0.92 0.99 0.99 3/93 6518
/proc/meminfo: memFree=785240/2074464 swapFree=1953004/1959888
[pid=6512] ppid=6510 vsize=2416 CPUtime=0.2
/proc/6512/stat : 6512 (SatELiteGTI) S 6510 6512 9090 0 -1 4194304 385 1820 0 0 0 0 19 1 24 0 1 0 1008536231 2473984 278 4294967295 134512640 135169312 3216281232 3216277448 3085364974 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/6512/statm: 604 278 235 161 0 43 0
[pid=6518] ppid=6512 vsize=5064 CPUtime=2.91
/proc/6518/stat : 6518 (minisat_static) R 6512 6512 9090 0 -1 4202496 1022 0 0 0 291 0 0 0 25 0 1 0 1008536251 5185536 956 4294967295 134512640 135216591 3219517952 3219516144 134528860 0 0 0 3 0 0 0 17 0 0 0 0
/proc/6518/statm: 1266 956 75 172 0 1093 0
Current children cumulated CPU time (s) 3.11
Current children cumulated vsize (KiB) 7480
[startup+6.31236 s]
/proc/loadavg: 0.93 0.99 0.99 3/93 6519
/proc/meminfo: memFree=782668/2074464 swapFree=1953004/1959888
[pid=6512] ppid=6510 vsize=2416 CPUtime=0.2
/proc/6512/stat : 6512 (SatELiteGTI) S 6510 6512 9090 0 -1 4194304 385 1820 0 0 0 0 19 1 24 0 1 0 1008536231 2473984 278 4294967295 134512640 135169312 3216281232 3216277448 3085364974 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/6512/statm: 604 278 235 161 0 43 0
[pid=6518] ppid=6512 vsize=7592 CPUtime=6.11
/proc/6518/stat : 6518 (minisat_static) R 6512 6512 9090 0 -1 4202496 1645 0 0 0 611 0 0 0 25 0 1 0 1008536251 7774208 1579 4294967295 134512640 135216591 3219517952 3219515856 134532832 0 0 0 3 0 0 0 17 0 0 0 0
/proc/6518/statm: 1898 1579 75 172 0 1725 0
Current children cumulated CPU time (s) 6.31
Current children cumulated vsize (KiB) 10008
[startup+12.7021 s]
/proc/loadavg: 0.93 0.99 0.99 3/93 6521
/proc/meminfo: memFree=779600/2074464 swapFree=1953004/1959888
[pid=6512] ppid=6510 vsize=2416 CPUtime=0.2
/proc/6512/stat : 6512 (SatELiteGTI) S 6510 6512 9090 0 -1 4194304 385 1820 0 0 0 0 19 1 24 0 1 0 1008536231 2473984 278 4294967295 134512640 135169312 3216281232 3216277448 3085364974 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/6512/statm: 604 278 235 161 0 43 0
[pid=6518] ppid=6512 vsize=10000 CPUtime=12.5
/proc/6518/stat : 6518 (minisat_static) R 6512 6512 9090 0 -1 4202496 2276 0 0 0 1250 0 0 0 25 0 1 0 1008536251 10240000 2210 4294967295 134512640 135216591 3219517952 3219516144 134528948 0 0 0 3 0 0 0 17 0 0 0 0
/proc/6518/statm: 2500 2210 75 172 0 2327 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 12416
[startup+25.5114 s]
/proc/loadavg: 0.95 0.99 0.99 2/93 6704
/proc/meminfo: memFree=778804/2074464 swapFree=1953004/1959888
[pid=6512] ppid=6510 vsize=2416 CPUtime=0.2
/proc/6512/stat : 6512 (SatELiteGTI) S 6510 6512 9090 0 -1 4194304 385 1820 0 0 0 0 19 1 24 0 1 0 1008536231 2473984 278 4294967295 134512640 135169312 3216281232 3216277448 3085364974 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/6512/statm: 604 278 235 161 0 43 0
[pid=6518] ppid=6512 vsize=10272 CPUtime=25.31
/proc/6518/stat : 6518 (minisat_static) R 6512 6512 9090 0 -1 4202496 2312 0 0 0 2531 0 0 0 25 0 1 0 1008536251 10518528 2246 4294967295 134512640 135216591 3219517952 3219516144 134528860 0 0 0 3 0 0 0 17 0 0 0 0
/proc/6518/statm: 2568 2246 75 172 0 2395 0
Current children cumulated CPU time (s) 25.51
Current children cumulated vsize (KiB) 12688
[startup+51.1102 s]
/proc/loadavg: 0.96 0.99 0.99 2/93 6706
/proc/meminfo: memFree=779224/2074464 swapFree=1953004/1959888
[pid=6512] ppid=6510 vsize=2416 CPUtime=0.2
/proc/6512/stat : 6512 (SatELiteGTI) S 6510 6512 9090 0 -1 4194304 385 1820 0 0 0 0 19 1 24 0 1 0 1008536231 2473984 278 4294967295 134512640 135169312 3216281232 3216277448 3085364974 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/6512/statm: 604 278 235 161 0 43 0
[pid=6518] ppid=6512 vsize=10272 CPUtime=50.91
/proc/6518/stat : 6518 (minisat_static) R 6512 6512 9090 0 -1 4202496 2319 0 0 0 5091 0 0 0 25 0 1 0 1008536251 10518528 2253 4294967295 134512640 135216591 3219517952 3219516144 134528826 0 0 0 3 0 0 0 17 0 0 0 0
/proc/6518/statm: 2568 2253 75 172 0 2395 0
Current children cumulated CPU time (s) 51.11
Current children cumulated vsize (KiB) 12688
[startup+102.308 s]
/proc/loadavg: 0.98 0.99 0.99 3/93 6893
/proc/meminfo: memFree=778952/2074464 swapFree=1953004/1959888
[pid=6512] ppid=6510 vsize=2416 CPUtime=0.2
/proc/6512/stat : 6512 (SatELiteGTI) S 6510 6512 9090 0 -1 4194304 385 1820 0 0 0 0 19 1 24 0 1 0 1008536231 2473984 278 4294967295 134512640 135169312 3216281232 3216277448 3085364974 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/6512/statm: 604 278 235 161 0 43 0
[pid=6518] ppid=6512 vsize=10272 CPUtime=102.11
/proc/6518/stat : 6518 (minisat_static) R 6512 6512 9090 0 -1 4202496 2320 0 0 0 10211 0 0 0 25 0 1 0 1008536251 10518528 2254 4294967295 134512640 135216591 3219517952 3219516144 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/6518/statm: 2568 2254 75 172 0 2395 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 12688
[startup+162.315 s]
/proc/loadavg: 0.99 0.99 0.99 2/93 7081
/proc/meminfo: memFree=777168/2074464 swapFree=1953004/1959888
[pid=6512] ppid=6510 vsize=2416 CPUtime=0.2
/proc/6512/stat : 6512 (SatELiteGTI) S 6510 6512 9090 0 -1 4194304 385 1820 0 0 0 0 19 1 24 0 1 0 1008536231 2473984 278 4294967295 134512640 135169312 3216281232 3216277448 3085364974 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/6512/statm: 604 278 235 161 0 43 0
[pid=6518] ppid=6512 vsize=12332 CPUtime=162.12
/proc/6518/stat : 6518 (minisat_static) R 6512 6512 9090 0 -1 4202496 2818 0 0 0 16212 0 0 0 25 0 1 0 1008536251 12627968 2752 4294967295 134512640 135216591 3219517952 3219516144 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/6518/statm: 3083 2752 75 172 0 2910 0
Current children cumulated CPU time (s) 162.32
Current children cumulated vsize (KiB) 14748
[startup+222.322 s]
/proc/loadavg: 0.99 0.99 0.99 2/93 7267
/proc/meminfo: memFree=777208/2074464 swapFree=1953004/1959888
[pid=6512] ppid=6510 vsize=2416 CPUtime=0.2
/proc/6512/stat : 6512 (SatELiteGTI) S 6510 6512 9090 0 -1 4194304 385 1820 0 0 0 0 19 1 24 0 1 0 1008536231 2473984 278 4294967295 134512640 135169312 3216281232 3216277448 3085364974 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/6512/statm: 604 278 235 161 0 43 0
[pid=6518] ppid=6512 vsize=12332 CPUtime=222.13
/proc/6518/stat : 6518 (minisat_static) R 6512 6512 9090 0 -1 4202496 2818 0 0 0 22213 0 0 0 25 0 1 0 1008536251 12627968 2752 4294967295 134512640 135216591 3219517952 3219516144 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/6518/statm: 3083 2752 75 172 0 2910 0
Current children cumulated CPU time (s) 222.33
Current children cumulated vsize (KiB) 14748
[startup+282.319 s]
/proc/loadavg: 0.99 0.99 0.99 3/93 7456
/proc/meminfo: memFree=777208/2074464 swapFree=1953004/1959888
[pid=6512] ppid=6510 vsize=2416 CPUtime=0.2
/proc/6512/stat : 6512 (SatELiteGTI) S 6510 6512 9090 0 -1 4194304 385 1820 0 0 0 0 19 1 24 0 1 0 1008536231 2473984 278 4294967295 134512640 135169312 3216281232 3216277448 3085364974 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/6512/statm: 604 278 235 161 0 43 0
[pid=6518] ppid=6512 vsize=12332 CPUtime=282.13
/proc/6518/stat : 6518 (minisat_static) R 6512 6512 9090 0 -1 4202496 2819 0 0 0 28212 1 0 0 25 0 1 0 1008536251 12627968 2753 4294967295 134512640 135216591 3219517952 3219516144 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/6518/statm: 3083 2753 75 172 0 2910 0
Current children cumulated CPU time (s) 282.33
Current children cumulated vsize (KiB) 14748
[startup+342.316 s]
/proc/loadavg: 0.99 0.99 0.99 2/93 7649
/proc/meminfo: memFree=777208/2074464 swapFree=1953004/1959888
[pid=6512] ppid=6510 vsize=2416 CPUtime=0.2
/proc/6512/stat : 6512 (SatELiteGTI) S 6510 6512 9090 0 -1 4194304 385 1820 0 0 0 0 19 1 24 0 1 0 1008536231 2473984 278 4294967295 134512640 135169312 3216281232 3216277448 3085364974 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/6512/statm: 604 278 235 161 0 43 0
[pid=6518] ppid=6512 vsize=12332 CPUtime=342.13
/proc/6518/stat : 6518 (minisat_static) R 6512 6512 9090 0 -1 4202496 2819 0 0 0 34212 1 0 0 25 0 1 0 1008536251 12627968 2753 4294967295 134512640 135216591 3219517952 3219516144 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/6518/statm: 3083 2753 75 172 0 2910 0
Current children cumulated CPU time (s) 342.33
Current children cumulated vsize (KiB) 14748
[startup+402.314 s]
/proc/loadavg: 0.99 0.99 0.99 2/93 7838
/proc/meminfo: memFree=777084/2074464 swapFree=1953004/1959888
[pid=6512] ppid=6510 vsize=2416 CPUtime=0.2
################
# More data... #
################
/proc/6518/stat : 6518 (minisat_static) R 6512 6512 9090 0 -1 4202496 2820 0 0 0 58213 1 0 0 25 0 1 0 1008536251 12627968 2754 4294967295 134512640 135216591 3219517952 3219516144 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/6518/statm: 3083 2754 75 172 0 2910 0
Current children cumulated CPU time (s) 582.34
Current children cumulated vsize (KiB) 14748
[startup+642.322 s]
/proc/loadavg: 1.02 1.00 1.00 3/93 8588
/proc/meminfo: memFree=777440/2074464 swapFree=1953004/1959888
[pid=6512] ppid=6510 vsize=2416 CPUtime=0.2
/proc/6512/stat : 6512 (SatELiteGTI) S 6510 6512 9090 0 -1 4194304 385 1820 0 0 0 0 19 1 24 0 1 0 1008536231 2473984 278 4294967295 134512640 135169312 3216281232 3216277448 3085364974 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/6512/statm: 604 278 235 161 0 43 0
[pid=6518] ppid=6512 vsize=12332 CPUtime=642.15
/proc/6518/stat : 6518 (minisat_static) R 6512 6512 9090 0 -1 4202496 2820 0 0 0 64214 1 0 0 25 0 1 0 1008536251 12627968 2754 4294967295 134512640 135216591 3219517952 3219516144 134528894 0 0 0 3 0 0 0 17 3 0 0 0
/proc/6518/statm: 3083 2754 75 172 0 2910 0
Current children cumulated CPU time (s) 642.35
Current children cumulated vsize (KiB) 14748
[startup+702.319 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 8781
/proc/meminfo: memFree=777324/2074464 swapFree=1953004/1959888
[pid=6512] ppid=6510 vsize=2416 CPUtime=0.2
/proc/6512/stat : 6512 (SatELiteGTI) S 6510 6512 9090 0 -1 4194304 385 1820 0 0 0 0 19 1 24 0 1 0 1008536231 2473984 278 4294967295 134512640 135169312 3216281232 3216277448 3085364974 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/6512/statm: 604 278 235 161 0 43 0
[pid=6518] ppid=6512 vsize=12332 CPUtime=702.15
/proc/6518/stat : 6518 (minisat_static) R 6512 6512 9090 0 -1 4202496 2826 0 0 0 70214 1 0 0 25 0 1 0 1008536251 12627968 2760 4294967295 134512640 135216591 3219517952 3219516144 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/6518/statm: 3083 2760 75 172 0 2910 0
Current children cumulated CPU time (s) 702.35
Current children cumulated vsize (KiB) 14748
[startup+762.316 s]
/proc/loadavg: 1.05 1.01 1.00 3/93 8970
/proc/meminfo: memFree=777540/2074464 swapFree=1953004/1959888
[pid=6512] ppid=6510 vsize=2416 CPUtime=0.2
/proc/6512/stat : 6512 (SatELiteGTI) S 6510 6512 9090 0 -1 4194304 385 1820 0 0 0 0 19 1 24 0 1 0 1008536231 2473984 278 4294967295 134512640 135169312 3216281232 3216277448 3085364974 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/6512/statm: 604 278 235 161 0 43 0
[pid=6518] ppid=6512 vsize=12332 CPUtime=762.15
/proc/6518/stat : 6518 (minisat_static) R 6512 6512 9090 0 -1 4202496 2826 0 0 0 76213 2 0 0 25 0 1 0 1008536251 12627968 2760 4294967295 134512640 135216591 3219517952 3219515920 134538544 0 0 0 3 0 0 0 17 3 0 0 0
/proc/6518/statm: 3083 2760 75 172 0 2910 0
Current children cumulated CPU time (s) 762.35
Current children cumulated vsize (KiB) 14748
[startup+822.303 s]
/proc/loadavg: 1.02 1.01 1.00 2/93 9158
/proc/meminfo: memFree=777432/2074464 swapFree=1953004/1959888
[pid=6512] ppid=6510 vsize=2416 CPUtime=0.2
/proc/6512/stat : 6512 (SatELiteGTI) S 6510 6512 9090 0 -1 4194304 385 1820 0 0 0 0 19 1 24 0 1 0 1008536231 2473984 278 4294967295 134512640 135169312 3216281232 3216277448 3085364974 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/6512/statm: 604 278 235 161 0 43 0
[pid=6518] ppid=6512 vsize=12464 CPUtime=822.14
/proc/6518/stat : 6518 (minisat_static) R 6512 6512 9090 0 -1 4202496 2857 0 0 0 82212 2 0 0 25 0 1 0 1008536251 12763136 2791 4294967295 134512640 135216591 3219517952 3219516144 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/6518/statm: 3116 2791 75 172 0 2943 0
Current children cumulated CPU time (s) 822.34
Current children cumulated vsize (KiB) 14880
[startup+882.311 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 9347
/proc/meminfo: memFree=777308/2074464 swapFree=1953004/1959888
[pid=6512] ppid=6510 vsize=2416 CPUtime=0.2
/proc/6512/stat : 6512 (SatELiteGTI) S 6510 6512 9090 0 -1 4194304 385 1820 0 0 0 0 19 1 24 0 1 0 1008536231 2473984 278 4294967295 134512640 135169312 3216281232 3216277448 3085364974 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/6512/statm: 604 278 235 161 0 43 0
[pid=6518] ppid=6512 vsize=12464 CPUtime=882.15
/proc/6518/stat : 6518 (minisat_static) R 6512 6512 9090 0 -1 4202496 2859 0 0 0 88213 2 0 0 25 0 1 0 1008536251 12763136 2793 4294967295 134512640 135216591 3219517952 3219516144 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/6518/statm: 3116 2793 75 172 0 2943 0
Current children cumulated CPU time (s) 882.35
Current children cumulated vsize (KiB) 14880
[startup+942.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 9534
/proc/meminfo: memFree=777440/2074464 swapFree=1953004/1959888
[pid=6512] ppid=6510 vsize=2416 CPUtime=0.2
/proc/6512/stat : 6512 (SatELiteGTI) S 6510 6512 9090 0 -1 4194304 385 1820 0 0 0 0 19 1 24 0 1 0 1008536231 2473984 278 4294967295 134512640 135169312 3216281232 3216277448 3085364974 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/6512/statm: 604 278 235 161 0 43 0
[pid=6518] ppid=6512 vsize=12464 CPUtime=942.15
/proc/6518/stat : 6518 (minisat_static) R 6512 6512 9090 0 -1 4202496 2859 0 0 0 94213 2 0 0 25 0 1 0 1008536251 12763136 2793 4294967295 134512640 135216591 3219517952 3219515728 134546381 0 0 0 3 0 0 0 17 3 0 0 0
/proc/6518/statm: 3116 2793 75 172 0 2943 0
Current children cumulated CPU time (s) 942.35
Current children cumulated vsize (KiB) 14880
[startup+1002.31 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 9723
/proc/meminfo: memFree=777324/2074464 swapFree=1953004/1959888
[pid=6512] ppid=6510 vsize=2416 CPUtime=0.2
/proc/6512/stat : 6512 (SatELiteGTI) S 6510 6512 9090 0 -1 4194304 385 1820 0 0 0 0 19 1 24 0 1 0 1008536231 2473984 278 4294967295 134512640 135169312 3216281232 3216277448 3085364974 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/6512/statm: 604 278 235 161 0 43 0
[pid=6518] ppid=6512 vsize=12860 CPUtime=1002.16
/proc/6518/stat : 6518 (minisat_static) R 6512 6512 9090 0 -1 4202496 2954 0 0 0 100212 4 0 0 25 0 1 0 1008536251 13168640 2888 4294967295 134512640 135216591 3219517952 3219516144 134528860 0 0 0 3 0 0 0 17 3 0 0 0
/proc/6518/statm: 3215 2888 75 172 0 3042 0
Current children cumulated CPU time (s) 1002.36
Current children cumulated vsize (KiB) 15276
[startup+1062.32 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 9915
/proc/meminfo: memFree=777392/2074464 swapFree=1953004/1959888
[pid=6512] ppid=6510 vsize=2416 CPUtime=0.2
/proc/6512/stat : 6512 (SatELiteGTI) S 6510 6512 9090 0 -1 4194304 385 1820 0 0 0 0 19 1 24 0 1 0 1008536231 2473984 278 4294967295 134512640 135169312 3216281232 3216277448 3085364974 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/6512/statm: 604 278 235 161 0 43 0
[pid=6518] ppid=6512 vsize=12860 CPUtime=1062.17
/proc/6518/stat : 6518 (minisat_static) R 6512 6512 9090 0 -1 4202496 2954 0 0 0 106213 4 0 0 25 0 1 0 1008536251 13168640 2888 4294967295 134512640 135216591 3219517952 3219516144 134528833 0 0 0 3 0 0 0 17 3 0 0 0
/proc/6518/statm: 3215 2888 75 172 0 3042 0
Current children cumulated CPU time (s) 1062.37
Current children cumulated vsize (KiB) 15276
[startup+1122.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 10101
/proc/meminfo: memFree=777324/2074464 swapFree=1953004/1959888
[pid=6512] ppid=6510 vsize=2416 CPUtime=0.2
/proc/6512/stat : 6512 (SatELiteGTI) S 6510 6512 9090 0 -1 4194304 385 1820 0 0 0 0 19 1 24 0 1 0 1008536231 2473984 278 4294967295 134512640 135169312 3216281232 3216277448 3085364974 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/6512/statm: 604 278 235 161 0 43 0
[pid=6518] ppid=6512 vsize=12860 CPUtime=1122.16
/proc/6518/stat : 6518 (minisat_static) R 6512 6512 9090 0 -1 4202496 2954 0 0 0 112212 4 0 0 25 0 1 0 1008536251 13168640 2888 4294967295 134512640 135216591 3219517952 3219516144 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/6518/statm: 3215 2888 75 172 0 3042 0
Current children cumulated CPU time (s) 1122.36
Current children cumulated vsize (KiB) 15276
[startup+1182.32 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 10290
/proc/meminfo: memFree=776936/2074464 swapFree=1953004/1959888
[pid=6512] ppid=6510 vsize=2416 CPUtime=0.2
/proc/6512/stat : 6512 (SatELiteGTI) S 6510 6512 9090 0 -1 4194304 385 1820 0 0 0 0 19 1 24 0 1 0 1008536231 2473984 278 4294967295 134512640 135169312 3216281232 3216277448 3085364974 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/6512/statm: 604 278 235 161 0 43 0
[pid=6518] ppid=6512 vsize=12992 CPUtime=1182.17
/proc/6518/stat : 6518 (minisat_static) R 6512 6512 9090 0 -1 4202496 2992 0 0 0 118212 5 0 0 25 0 1 0 1008536251 13303808 2926 4294967295 134512640 135216591 3219517952 3219516144 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/6518/statm: 3248 2926 75 172 0 3075 0
Current children cumulated CPU time (s) 1182.37
Current children cumulated vsize (KiB) 15408
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.02 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 10291
/proc/meminfo: memFree=777000/2074464 swapFree=1953004/1959888
[pid=6512] ppid=6510 vsize=2416 CPUtime=0.2
/proc/6512/stat : 6512 (SatELiteGTI) S 6510 6512 9090 0 -1 4194304 385 1820 0 0 0 0 19 1 24 0 1 0 1008536231 2473984 278 4294967295 134512640 135169312 3216281232 3216277448 3085364974 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/6512/statm: 604 278 235 161 0 43 0
[pid=6518] ppid=6512 vsize=12992 CPUtime=1199.87
/proc/6518/stat : 6518 (minisat_static) R 6512 6512 9090 0 -1 4202496 2992 0 0 0 119982 5 0 0 25 0 1 0 1008536251 13303808 2926 4294967295 134512640 135216591 3219517952 3219516144 134529483 0 0 0 3 0 0 0 17 3 0 0 0
/proc/6518/statm: 3248 2926 75 172 0 3075 0
Current children cumulated CPU time (s) 1200.07
Current children cumulated vsize (KiB) 15408
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1200.02 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 10291
/proc/meminfo: memFree=777000/2074464 swapFree=1953004/1959888
[pid=6512] ppid=6510 vsize=2416 CPUtime=0.2
/proc/6512/stat : 6512 (SatELiteGTI) S 6510 6512 9090 0 -1 4194304 385 1820 0 0 0 0 19 1 24 0 1 0 1008536231 2473984 278 4294967295 134512640 135169312 3216281232 3216277448 3085364974 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/6512/statm: 604 278 235 161 0 43 0
[pid=6518] ppid=6512 vsize=12992 CPUtime=1199.87
/proc/6518/stat : 6518 (minisat_static) R 6512 6512 9090 0 -1 4202496 2992 0 0 0 119982 5 0 0 25 0 1 0 1008536251 13303808 2926 4294967295 134512640 135216591 3219517952 3219516144 134529483 0 0 0 3 0 0 0 17 3 0 0 0
/proc/6518/statm: 3248 2926 75 172 0 3075 0
Current children cumulated CPU time (s) 1200.07
Current children cumulated vsize (KiB) 15408
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 6512 and gives
# childrusage.ru_utime.tv_sec=1200
# childrusage.ru_utime.tv_usec=10000
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=60000
# CPU time returned by wait4() is 1200.07
# while last known CPU time is 1200.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.02
CPU time (s): 1200.07
CPU user time (s): 1200.01
CPU system time (s): 0.06
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 15408
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1200.01
system time used= 0.06
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5473
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= 22
involuntary context switches= 1954
runsolver used 0.01 second user time and 0.04 second system time
The end
Begin job on tipi19 at 2009-05-16 04:19:19
IDJOB=1820411
IDBENCH=20399
IDSOLVER=658
FILE ID=tipi19/1820411-1242440359
PBS_JOBID=
Free space on /tmp= 10157 MiB
SOLVER NAME= minisat_cumr r-2009-03-18
BENCH NAME= SAT07/industrial/fuhs/hard/AProVE07-01.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1820411-1242440359/watcher-1820411-1242440359 -o /tmp/evaluation-result-1820411-1242440359/solver-1820411-1242440359 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820411-1242440359.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= d2f77e32530988f77dca5112174eee00
RANDOM SEED= 474494808
Linux tipi19 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.426
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.39
processor : 1
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.426
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.77
processor : 2
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.426
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.426
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.77
/proc/meminfo:
MemTotal: 2074464 kB
MemFree: 789868 kB
Buffers: 27856 kB
Cached: 1163648 kB
SwapCached: 3036 kB
Active: 452952 kB
Inactive: 748048 kB
HighTotal: 1178688 kB
HighFree: 266708 kB
LowTotal: 895776 kB
LowFree: 523160 kB
SwapTotal: 1959888 kB
SwapFree: 1953004 kB
Dirty: 2096 kB
Writeback: 0 kB
AnonPages: 8756 kB
Mapped: 3240 kB
Slab: 75320 kB
PageTables: 456 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 2997120 kB
Committed_AS: 87776 kB
VmallocTotal: 114680 kB
VmallocUsed: 1324 kB
VmallocChunk: 113264 kB
Free space on /tmp at the end= 10156 MiB
End job on tipi19 at 2009-05-16 04:39:19