0.00/0.00 c Parsing...
0.00/0.02 c ==============================================================================
0.00/0.02 c | | ORIGINAL | LEARNT | |
0.00/0.02 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.02 c ==============================================================================
0.00/0.02 c | 0 | 28318 74883 | 8495 0 0 nan | 0.000 % |
0.21/0.23 c | 0 | 19862 62399 | -- 0 -- -- | -- | -8325/-12062
0.21/0.23 c ==============================================================================
0.21/0.23 c Result : #vars: 3611 #clauses: 19862 #literals: 62399
0.21/0.23 c CPU time: 0.22 s
0.21/0.23 c ==============================================================================
0.21/0.25 c This is MiniSat 2.0 beta
0.21/0.25 c WARNING: for repeatability, setting FPU to use double precision
0.21/0.25 c ============================[ Problem Statistics ]=============================
0.21/0.25 c | |
0.21/0.25 c | Number of variables: 3611 |
0.21/0.25 c | Number of clauses: 19862 |
0.21/0.26 c | Parsing time: 0.01 s |
0.21/0.27 c ============================[ Search Statistics ]==============================
0.21/0.27 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.21/0.27 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.21/0.27 c ===============================================================================
0.21/0.27 c | 0 | 3611 19862 62399 | 6620 0 nan | 0.000 % |
0.26/0.31 c | 512 | 3611 19862 62399 | 6620 512 20 | 0.001 % |
0.26/0.36 c | 1026 | 3610 18426 59423 | 6620 1021 25 | 0.029 % |
0.26/0.42 c | 1538 | 3610 18426 59423 | 6620 1533 30 | 0.028 % |
0.26/0.53 c | 2562 | 3610 18426 59423 | 6620 2557 27 | 0.029 % |
0.26/0.57 c | 3074 | 3610 18426 59423 | 6620 3069 30 | 0.029 % |
0.26/0.62 c | 3586 | 3610 18426 59423 | 6620 3581 31 | 0.029 % |
0.26/0.76 c | 4610 | 3610 18426 59423 | 6620 4605 33 | 0.028 % |
1.02/1.11 c | 6659 | 3610 18426 59423 | 6620 6654 36 | 0.028 % |
1.13/1.17 c | 7171 | 3610 18426 59423 | 6620 6501 36 | 0.028 % |
1.22/1.25 c | 7685 | 3610 18426 59423 | 6620 7015 35 | 0.028 % |
1.42/1.44 c | 8709 | 3610 18426 59423 | 6620 6635 34 | 0.028 % |
1.52/1.51 c | 9221 | 3610 18426 59423 | 6620 6484 33 | 0.028 % |
1.52/1.59 c | 9736 | 3610 18426 59423 | 6620 6999 33 | 0.028 % |
1.72/1.79 c | 10762 | 3610 18426 59423 | 2147483647 7326 32 | 0.028 % |
2.23/2.28 c | 12810 | 3610 18426 59423 | 2147483647 9374 34 | 0.028 % |
3.62/3.61 c | 16906 | 3610 18426 59423 | 2147483647 13470 35 | 0.028 % |
3.72/3.75 c | 17419 | 3610 18426 59423 | 2147483647 13983 36 | 0.028 % |
3.92/3.92 c | 17933 | 3610 18426 59423 | 2147483647 14497 36 | 0.028 % |
4.22/4.20 c | 18959 | 3610 18426 59423 | 2147483647 15523 37 | 0.028 % |
4.32/4.34 c | 19473 | 3610 18426 59423 | 2147483647 16037 37 | 0.028 % |
4.43/4.47 c | 19985 | 3610 18426 59423 | 2147483647 16549 37 | 0.028 % |
4.82/4.82 c | 21009 | 3610 18426 59423 | 2147483647 17573 37 | 0.028 % |
5.22/5.22 c | 23058 | 3610 18426 59423 | 2147483647 19622 36 | 0.029 % |
5.32/5.34 c | 23571 | 3610 18426 59423 | 2147483647 20135 37 | 0.028 % |
5.42/5.50 c | 24085 | 3610 18426 59423 | 2147483647 20649 37 | 0.029 % |
5.72/5.76 c | 25111 | 3610 18426 59423 | 2147483647 21675 37 | 0.029 % |
5.92/5.91 c | 25625 | 3610 18426 59423 | 2147483647 22189 37 | 0.028 % |
6.12/6.10 c | 26137 | 3610 18426 59423 | 2147483647 22701 37 | 0.028 % |
6.42/6.46 c | 27161 | 3610 18426 59423 | 2147483647 23725 37 | 0.028 % |
7.32/7.33 c | 29210 | 3610 18426 59423 | 2147483647 25774 38 | 0.028 % |
9.32/9.33 c | 33307 | 3610 18426 59423 | 2147483647 29871 38 | 0.028 % |
14.42/14.42 c | 41500 | 3609 18414 59387 | 2147483647 38063 39 | 0.055 % |
14.62/14.62 c | 42012 | 3609 18414 59387 | 2147483647 38575 39 | 0.056 % |
14.82/14.87 c | 42525 | 3609 18414 59387 | 2147483647 39088 39 | 0.056 % |
15.32/15.39 c | 43549 | 3609 18414 59387 | 2147483647 40112 39 | 0.056 % |
15.62/15.65 c | 44063 | 3609 18414 59387 | 2147483647 40626 39 | 0.056 % |
15.82/15.90 c | 44579 | 3609 18414 59387 | 2147483647 41142 39 | 0.056 % |
16.42/16.49 c | 45603 | 3609 18414 59387 | 2147483647 42166 39 | 0.056 % |
17.63/17.64 c | 47653 | 3609 18414 59387 | 2147483647 44216 40 | 0.055 % |
17.92/17.94 c | 48167 | 3609 18414 59387 | 2147483647 44730 40 | 0.055 % |
18.22/18.21 c | 48681 | 3609 18414 59387 | 2147483647 45244 40 | 0.055 % |
18.82/18.88 c | 49705 | 3608 18404 59357 | 2147483647 46267 40 | 0.083 % |
19.12/19.18 c | 50217 | 3608 18404 59357 | 46565 46779 40 | 0.084 % |
19.52/19.54 c | 50729 | 3608 18404 59357 | 46565 39978 40 | 0.083 % |
20.32/20.34 c | 51755 | 3608 18404 59357 | 46565 41004 40 | 0.083 % |
21.82/21.86 c | 53803 | 3608 18404 59357 | 46565 43052 40 | 0.083 % |
24.92/24.99 c | 57899 | 3608 18404 59357 | 46565 39401 40 | 0.083 % |
25.22/25.23 c | 58412 | 3608 18404 59357 | 46565 39914 39 | 0.083 % |
25.52/25.56 c | 58927 | 3608 18404 59357 | 46565 40429 39 | 0.083 % |
26.22/26.22 c | 59953 | 3608 18404 59357 | 46565 41455 40 | 0.083 % |
26.62/26.62 c | 60465 | 3608 18404 59357 | 41502 34892 39 | 0.083 % |
26.82/26.88 c | 60977 | 3608 18404 59357 | 41502 35404 38 | 0.084 % |
27.53/27.53 c | 62006 | 3608 18404 59357 | 41502 36433 38 | 0.083 % |
28.42/28.50 c | 64056 | 3608 18404 59357 | 41502 38483 39 | 0.083 % |
28.72/28.70 c | 64568 | 3608 18404 59357 | 41502 38995 39 | 0.083 % |
28.92/28.92 c | 65081 | 3608 18404 59357 | 41502 39508 39 | 0.083 % |
29.33/29.39 c | 66106 | 3608 18404 59357 | 41502 40533 39 | 0.084 % |
29.63/29.68 c | 66618 | 3608 18404 59357 | 41502 41045 38 | 0.083 % |
29.93/29.99 c | 67131 | 3608 18404 59357 | 41502 41558 38 | 0.084 % |
30.43/30.42 c | 68159 | 3608 18404 59357 | 41502 38128 38 | 0.083 % |
31.53/31.52 c | 70207 | 3608 18404 59357 | 39969 40176 38 | 0.083 % |
33.63/33.64 c | 74303 | 3608 18404 59357 | 39969 39047 38 | 0.083 % |
39.33/39.32 c | 82496 | 3607 18396 59335 | 37363 33880 35 | 0.111 % |
48.93/49.00 c | 98882 | 3607 18396 59335 | 35911 33328 37 | 0.111 % |
49.43/49.45 c | 99394 | 3607 18396 59335 | 35911 33840 38 | 0.111 % |
49.73/49.80 c | 99909 | 3607 18396 59335 | 35911 34355 38 | 0.111 % |
50.53/50.53 c | 100937 | 3607 18396 59335 | 34448 30296 38 | 0.111 % |
50.83/50.83 c | 101453 | 3607 18396 59335 | 34448 30812 38 | 0.111 % |
51.23/51.27 c | 101968 | 3607 18396 59335 | 34448 31327 38 | 0.111 % |
52.03/52.03 c | 102993 | 3607 18396 59335 | 34448 32352 38 | 0.111 % |
53.63/53.63 c | 105041 | 3607 18396 59335 | 34448 34400 39 | 0.111 % |
53.73/53.81 c | 105553 | 3607 18396 59335 | 34448 34912 39 | 0.112 % |
54.13/54.13 c | 106067 | 3606 18388 59309 | 34448 30328 38 | 0.139 % |
54.43/54.47 c | 107092 | 3606 18388 59309 | 34448 31353 38 | 0.139 % |
54.73/54.71 c | 107605 | 3606 18388 59309 | 34448 31866 38 | 0.139 % |
55.03/55.01 c | 108118 | 3606 18388 59309 | 34448 32379 38 | 0.139 % |
55.53/55.57 c | 109143 | 3606 18388 59309 | 34448 33404 38 | 0.138 % |
56.53/56.54 c | 111191 | 3606 18388 59309 | 34263 30888 40 | 0.138 % |
58.93/58.91 c | 115289 | 3606 18388 59309 | 34263 34986 42 | 0.138 % |
59.23/59.23 c | 115805 | 3606 18388 59309 | 34263 30584 42 | 0.138 % |
59.53/59.55 c | 116317 | 3606 18388 59309 | 34263 31096 42 | 0.138 % |
60.23/60.27 c | 117342 | 3606 18388 59309 | 34263 32121 41 | 0.138 % |
60.53/60.54 c | 117855 | 3606 18388 59309 | 34263 32634 41 | 0.138 % |
60.83/60.83 c | 118367 | 3606 18388 59309 | 34263 33146 42 | 0.138 % |
61.43/61.43 c | 119391 | 3606 18388 59309 | 34263 34170 42 | 0.138 % |
62.63/62.66 c | 121439 | 3606 18388 59309 | 34779 31480 39 | 0.138 % |
62.93/62.96 c | 121952 | 3606 18388 59309 | 34779 31993 39 | 0.138 % |
63.23/63.25 c | 122464 | 3606 18388 59309 | 34779 32505 39 | 0.139 % |
63.83/63.83 c | 123490 | 3606 18388 59309 | 34779 33531 39 | 0.138 % |
64.13/64.14 c | 124003 | 3606 18388 59309 | 34779 34044 39 | 0.138 % |
64.33/64.40 c | 124515 | 3606 18388 59309 | 34779 34556 39 | 0.139 % |
64.83/64.82 c | 125539 | 3606 18388 59309 | 34779 35580 39 | 0.139 % |
65.83/65.82 c | 127587 | 3606 18388 59309 | 34779 33937 39 | 0.139 % |
68.13/68.15 c | 131685 | 3606 18388 59309 | 2147483647 34492 39 | 0.139 % |
72.33/72.35 c | 139878 | 3606 18388 59309 | 2147483647 42685 40 | 0.138 % |
72.63/72.69 c | 140390 | 3606 18388 59309 | 2147483647 43197 40 | 0.138 % |
73.03/73.08 c | 140902 | 3606 18388 59309 | 2147483647 43709 40 | 0.138 % |
73.83/73.81 c | 141927 | 3606 18388 59309 | 2147483647 44734 40 | 0.138 % |
74.23/74.27 c | 142439 | 3606 18388 59309 | 2147483647 45246 40 | 0.138 % |
74.63/74.64 c | 142951 | 3606 18388 59309 | 2147483647 45758 40 | 0.138 % |
75.43/75.41 c | 143976 | 3606 18388 59309 | 2147483647 46783 40 | 0.138 % |
76.83/76.89 c | 146024 | 3606 18388 59309 | 2147483647 48831 39 | 0.139 % |
77.23/77.29 c | 146537 | 3606 18388 59309 | 2147483647 49344 39 | 0.139 % |
77.53/77.60 c | 147049 | 3606 18388 59309 | 2147483647 49856 39 | 0.139 % |
78.13/78.11 c | 148073 | 3606 18388 59309 | 2147483647 50880 39 | 0.139 % |
78.43/78.45 c | 148585 | 3606 18388 59309 | 2147483647 51392 39 | 0.139 % |
78.83/78.86 c | 149097 | 3606 18388 59309 | 2147483647 51904 39 | 0.139 % |
79.53/79.55 c | 150126 | 3606 18388 59309 | 52807 52933 39 | 0.139 % |
81.03/81.07 c | 152176 | 3606 18388 59309 | 52807 47649 37 | 0.138 % |
84.23/84.25 c | 156274 | 3606 18388 59309 | 52807 51747 38 | 0.138 % |
84.73/84.73 c | 156790 | 3606 18388 59309 | 52807 52263 38 | 0.138 % |
85.23/85.23 c | 157303 | 3606 18388 59309 | 52807 52776 38 | 0.138 % |
86.13/86.12 c | 158328 | 3606 18388 59309 | 52807 42235 37 | 0.138 % |
86.53/86.56 c | 158841 | 3606 18388 59309 | 52807 42748 37 | 0.138 % |
86.93/86.99 c | 159354 | 3606 18388 59309 | 52807 43261 37 | 0.138 % |
87.73/87.75 c | 160378 | 3606 18388 59309 | 43907 44285 37 | 0.138 % |
89.53/89.54 c | 162429 | 3606 18388 59309 | 43907 37159 35 | 0.138 % |
89.83/89.88 c | 162942 | 3606 18388 59309 | 43907 37672 35 | 0.138 % |
90.13/90.19 c | 163455 | 3606 18388 59309 | 43907 38185 36 | 0.138 % |
90.93/90.98 c | 164480 | 3606 18388 59309 | 43907 39210 36 | 0.138 % |
91.33/91.32 c | 164993 | 3606 18388 59309 | 43907 39723 36 | 0.138 % |
91.63/91.65 c | 165506 | 3606 18388 59309 | 43907 40236 36 | 0.138 % |
92.23/92.27 c | 166530 | 3606 18388 59309 | 43907 41260 36 | 0.139 % |
93.73/93.73 c | 168578 | 3606 18388 59309 | 43907 43308 36 | 0.139 % |
96.03/96.01 c | 172675 | 3606 18388 59309 | 37089 33729 34 | 0.139 % |
100.83/100.90 c | 180868 | 3606 18388 59309 | 36643 33500 33 | 0.138 % |
110.23/110.26 c | 197252 | 3605 18372 59257 | 37023 32395 39 | 0.166 % |
131.63/131.64 c | 230023 | 3603 18359 59217 | 27033 27055 35 | 0.222 % |
131.83/131.82 c | 230535 | 3603 18359 59217 | 27033 23189 34 | 0.222 % |
131.93/131.97 c | 231047 | 3603 18359 59217 | 27033 23701 34 | 0.222 % |
132.33/132.32 c | 232071 | 3603 18359 59217 | 27033 24725 35 | 0.223 % |
132.53/132.55 c | 232584 | 3603 18359 59217 | 27033 25238 35 | 0.222 % |
132.73/132.75 c | 233096 | 3603 18359 59217 | 27033 25750 35 | 0.223 % |
133.14/133.17 c | 234121 | 3603 18359 59217 | 27033 26775 35 | 0.222 % |
134.24/134.25 c | 236170 | 3603 18359 59217 | 27033 25699 34 | 0.222 % |
134.43/134.48 c | 236683 | 3603 18359 59217 | 27033 26212 34 | 0.222 % |
134.73/134.72 c | 237196 | 3603 18359 59217 | 27033 26725 34 | 0.222 % |
135.23/135.29 c | 238222 | 3603 18359 59217 | 27033 27751 34 | 0.222 % |
135.53/135.59 c | 238735 | 3603 18359 59217 | 27033 24792 33 | 0.222 % |
135.83/135.89 c | 239248 | 3603 18359 59217 | 27033 25305 33 | 0.222 % |
136.44/136.44 c | 240272 | 3603 18359 59217 | 26062 26329 33 | 0.222 % |
137.43/137.46 c | 242320 | 3603 18359 59217 | 26062 25305 33 | 0.222 % |
139.33/139.36 c | 246420 | 3603 18359 59217 | 26062 26033 36 | 0.222 % |
139.63/139.62 c | 246933 | 3603 18359 59217 | 26062 26546 36 | 0.222 % |
139.83/139.89 c | 247445 | 3603 18359 59217 | 26062 23957 36 | 0.222 % |
140.43/140.46 c | 248469 | 3603 18359 59217 | 26062 24981 36 | 0.222 % |
140.73/140.73 c | 248982 | 3603 18359 59217 | 26062 25494 36 | 0.222 % |
141.03/141.01 c | 249494 | 3603 18359 59217 | 26062 26006 36 | 0.222 % |
141.63/141.65 c | 250518 | 3603 18359 59217 | 26513 24018 35 | 0.222 % |
142.43/142.42 c | 252566 | 3603 18359 59217 | 26513 26066 36 | 0.222 % |
142.63/142.65 c | 253079 | 3603 18359 59217 | 26513 26579 36 | 0.222 % |
142.83/142.82 c | 253591 | 3603 18359 59217 | 26513 24434 36 | 0.222 % |
143.13/143.16 c | 254616 | 3603 18359 59217 | 26513 25459 37 | 0.222 % |
143.33/143.40 c | 255129 | 3603 18359 59217 | 26513 25972 37 | 0.222 % |
143.63/143.66 c | 255641 | 3603 18359 59217 | 26513 26484 37 | 0.222 % |
144.14/144.17 c | 256666 | 3603 18359 59217 | 26513 24835 37 | 0.222 % |
145.14/145.15 c | 258715 | 3603 18359 59217 | 26513 26884 38 | 0.222 % |
146.74/146.78 c | 262812 | 3603 18359 59217 | 2147483647 28293 36 | 0.222 % |
150.44/150.43 c | 271004 | 3603 18359 59217 | 2147483647 36485 39 | 0.222 % |
150.64/150.67 c | 271518 | 3603 18359 59217 | 2147483647 36999 39 | 0.223 % |
150.94/150.93 c | 272030 | 3603 18359 59217 | 2147483647 37511 38 | 0.222 % |
151.44/151.48 c | 273054 | 3603 18359 59217 | 2147483647 38535 39 | 0.222 % |
151.74/151.72 c | 273566 | 3603 18359 59217 | 2147483647 39047 39 | 0.222 % |
151.94/151.97 c | 274080 | 3603 18359 59217 | 2147483647 39561 39 | 0.222 % |
152.54/152.56 c | 275106 | 3603 18359 59217 | 2147483647 40587 39 | 0.222 % |
153.74/153.75 c | 277154 | 3603 18359 59217 | 2147483647 42635 39 | 0.222 % |
154.04/154.05 c | 277666 | 3603 18359 59217 | 2147483647 43147 39 | 0.222 % |
154.34/154.36 c | 278179 | 3603 18359 59217 | 2147483647 43660 39 | 0.222 % |
154.94/155.01 c | 279203 | 3603 18359 59217 | 2147483647 44684 39 | 0.222 % |
155.24/155.31 c | 279716 | 3603 18359 59217 | 2147483647 45197 39 | 0.222 % |
155.74/155.77 c | 280228 | 3603 18359 59217 | 45482 45709 39 | 0.222 % |
156.54/156.60 c | 281252 | 3603 18359 59217 | 45482 40827 37 | 0.222 % |
158.14/158.13 c | 283300 | 3603 18359 59217 | 45482 42875 38 | 0.222 % |
161.54/161.55 c | 287396 | 3603 18359 59217 | 45482 39040 36 | 0.222 % |
161.84/161.91 c | 287908 | 3603 18359 59217 | 45482 39552 36 | 0.222 % |
162.24/162.26 c | 288420 | 3603 18359 59217 | 45482 40064 36 | 0.222 % |
162.94/162.95 c | 289444 | 3603 18359 59217 | 45482 41088 36 | 0.222 % |
163.34/163.38 c | 289958 | 3603 18359 59217 | 45482 41602 36 | 0.222 % |
163.84/163.83 c | 290470 | 3603 18359 59217 | 41644 34993 36 | 0.222 % |
164.54/164.52 c | 291494 | 3603 18359 59217 | 41644 36017 36 | 0.222 % |
166.14/166.21 c | 293543 | 3603 18359 59217 | 41644 38066 36 | 0.222 % |
166.44/166.47 c | 294058 | 3603 18359 59217 | 41644 38581 36 | 0.222 % |
166.74/166.80 c | 294570 | 3602 18349 59187 | 41644 39090 36 | 0.250 % |
167.44/167.50 c | 295598 | 3602 18349 59187 | 41644 40118 37 | 0.249 % |
167.84/167.85 c | 296110 | 3602 18349 59187 | 41644 40630 37 | 0.249 % |
168.14/168.13 c | 296622 | 3602 18349 59187 | 41644 41142 37 | 0.250 % |
168.84/168.82 c | 297646 | 3602 18349 59187 | 41644 42166 37 | 0.250 % |
170.34/170.39 c | 299694 | 3602 18349 59187 | 41644 37470 34 | 0.250 % |
173.04/173.06 c | 303790 | 3601 18339 59157 | 37777 35284 32 | 0.277 % |
177.54/177.54 c | 311984 | 3601 18339 59157 | 36520 33586 35 | 0.277 % |
187.54/187.52 c | 328368 | 3600 18329 59127 | 31945 29061 37 | 0.305 % |
187.84/187.86 c | 328882 | 3600 18329 59127 | 31945 29575 37 | 0.305 % |
188.14/188.19 c | 329394 | 3600 18329 59127 | 31945 30087 37 | 0.305 % |
188.64/188.71 c | 330418 | 3600 18329 59127 | 30695 31111 38 | 0.305 % |
189.04/189.06 c | 330930 | 3600 18329 59127 | 30695 27572 36 | 0.305 % |
189.34/189.38 c | 331443 | 3600 18329 59127 | 30695 28085 36 | 0.305 % |
189.94/189.91 c | 332467 | 3600 18329 59127 | 30695 29109 36 | 0.305 % |
191.14/191.13 c | 334515 | 3600 18329 59127 | 30695 31157 36 | 0.305 % |
191.24/191.29 c | 335027 | 3600 18329 59127 | 30695 27158 34 | 0.306 % |
191.44/191.47 c | 335541 | 3600 18329 59127 | 30695 27672 34 | 0.305 % |
191.84/191.89 c | 336566 | 3600 18329 59127 | 30695 28697 35 | 0.306 % |
192.14/192.14 c | 337081 | 3600 18329 59127 | 30695 29212 35 | 0.305 % |
192.34/192.40 c | 337594 | 3600 18329 59127 | 30695 29725 36 | 0.306 % |
192.84/192.85 c | 338620 | 3600 18329 59127 | 30695 30751 36 | 0.305 % |
193.74/193.81 c | 340669 | 3600 18329 59127 | 28890 29559 35 | 0.305 % |
195.84/195.87 c | 344765 | 3600 18329 59127 | 28890 27757 36 | 0.305 % |
196.14/196.18 c | 345277 | 3600 18329 59127 | 28890 28269 36 | 0.305 % |
196.54/196.54 c | 345792 | 3600 18329 59127 | 28890 28784 36 | 0.305 % |
197.14/197.16 c | 346816 | 3600 18329 59127 | 28890 26861 36 | 0.305 % |
197.44/197.44 c | 347330 | 3600 18329 59127 | 28890 27375 36 | 0.305 % |
197.74/197.76 c | 347842 | 3600 18329 59127 | 28890 27887 36 | 0.305 % |
198.34/198.33 c | 348866 | 3600 18329 59127 | 28890 28911 36 | 0.305 % |
199.44/199.51 c | 350915 | 3600 18329 59127 | 27008 24851 35 | 0.305 % |
199.84/199.82 c | 351427 | 3600 18329 59127 | 27008 25363 35 | 0.305 % |
200.14/200.14 c | 351940 | 3600 18329 59127 | 27008 25876 35 | 0.305 % |
200.74/200.76 c | 352965 | 3600 18329 59127 | 27008 26901 35 | 0.305 % |
201.14/201.13 c | 353477 | 3600 18329 59127 | 27008 24508 34 | 0.305 % |
201.44/201.46 c | 353991 | 3600 18329 59127 | 27008 25022 34 | 0.305 % |
201.94/202.00 c | 355017 | 3600 18329 59127 | 27008 26048 35 | 0.305 % |
202.94/203.01 c | 357065 | 3599 18319 59097 | 27008 25365 34 | 0.332 % |
204.84/204.83 c | 361163 | 3599 18319 59097 | 2147483647 26699 36 | 0.333 % |
209.74/209.75 c | 369359 | 3598 18314 59087 | 2147483647 34893 35 | 0.361 % |
210.04/210.09 c | 369873 | 3598 18314 59087 | 2147483647 35407 34 | 0.360 % |
210.34/210.40 c | 370385 | 3598 18314 59087 | 2147483647 35919 35 | 0.362 % |
211.04/211.05 c | 371410 | 3598 18314 59087 | 2147483647 36944 35 | 0.360 % |
211.34/211.36 c | 371923 | 3598 18314 59087 | 2147483647 37457 35 | 0.361 % |
211.74/211.76 c | 372435 | 3598 18314 59087 | 2147483647 37969 35 | 0.360 % |
212.54/212.52 c | 373459 | 3598 18314 59087 | 2147483647 38993 35 | 0.360 % |
214.04/214.11 c | 375508 | 3598 18314 59087 | 2147483647 41042 35 | 0.360 % |
214.34/214.39 c | 376020 | 3598 18314 59087 | 2147483647 41554 35 | 0.360 % |
214.64/214.63 c | 376533 | 3598 18314 59087 | 2147483647 42067 35 | 0.361 % |
215.34/215.37 c | 377561 | 3598 18314 59087 | 2147483647 43095 35 | 0.361 % |
215.65/215.66 c | 378074 | 3598 18314 59087 | 2147483647 43608 35 | 0.361 % |
215.94/215.92 c | 378586 | 3598 18314 59087 | 2147483647 44120 36 | 0.360 % |
216.54/216.53 c | 379611 | 3598 18314 59087 | 2147483647 45145 36 | 0.360 % |
217.94/217.95 c | 381660 | 3598 18314 59087 | 45536 38102 34 | 0.360 % |
220.64/220.62 c | 385757 | 3598 18314 59087 | 45536 42199 34 | 0.360 % |
220.94/220.95 c | 386269 | 3598 18314 59087 | 45536 42711 34 | 0.360 % |
221.34/221.31 c | 386782 | 3598 18314 59087 | 45536 43224 34 | 0.360 % |
221.94/221.98 c | 387806 | 3598 18314 59087 | 45536 44248 34 | 0.360 % |
222.34/222.36 c | 388319 | 3598 18314 59087 | 45536 44761 34 | 0.360 % |
222.74/222.79 c | 388831 | 3598 18314 59087 | 45536 45273 34 | 0.360 % |
223.74/223.77 c | 389855 | 3598 18314 59087 | 45536 37644 32 | 0.360 % |
225.44/225.42 c | 391904 | 3598 18314 59087 | 37790 32277 32 | 0.360 % |
225.74/225.80 c | 392416 | 3598 18314 59087 | 37790 32789 32 | 0.360 % |
226.24/226.26 c | 392929 | 3598 18314 59087 | 37790 33302 32 | 0.360 % |
227.04/227.09 c | 393953 | 3598 18314 59087 | 37790 34326 32 | 0.360 % |
227.44/227.41 c | 394467 | 3598 18314 59087 | 37790 34840 32 | 0.360 % |
227.64/227.71 c | 394980 | 3598 18314 59087 | 37790 35353 32 | 0.360 % |
228.34/228.34 c | 396005 | 3598 18314 59087 | 37790 36378 33 | 0.360 % |
229.54/229.52 c | 398053 | 3598 18314 59087 | 37790 32860 32 | 0.361 % |
231.84/231.81 c | 402152 | 3598 18314 59087 | 34809 32574 30 | 0.360 % |
236.14/236.18 c | 410344 | 3597 18298 59035 | 2147483647 33629 31 | 0.389 % |
246.64/246.62 c | 426728 | 3597 18298 59035 | 43288 41939 31 | 0.389 % |
263.65/263.66 c | 459497 | 3595 18278 58975 | 2147483647 41712 32 | 0.443 % |
300.45/300.48 c | 525033 | 3592 18253 58897 | 32489 33281 35 | 0.526 % |
300.75/300.72 c | 525545 | 3592 18253 58897 | 32489 30326 36 | 0.527 % |
300.85/300.91 c | 526059 | 3592 18253 58897 | 32489 30840 36 | 0.526 % |
301.35/301.40 c | 527083 | 3590 18222 58797 | 32489 31862 35 | 0.582 % |
301.55/301.58 c | 527596 | 3590 18222 58797 | 32489 32375 36 | 0.582 % |
301.85/301.82 c | 528112 | 3590 18222 58797 | 32489 32891 36 | 0.582 % |
302.25/302.29 c | 529137 | 3590 18222 58797 | 32489 30627 36 | 0.582 % |
303.35/303.38 c | 531186 | 3590 18222 58797 | 2147483647 32676 37 | 0.582 % |
303.75/303.77 c | 531703 | 3590 18222 58797 | 2147483647 33193 37 | 0.582 % |
304.15/304.17 c | 532215 | 3590 18222 58797 | 2147483647 33705 37 | 0.582 % |
304.85/304.91 c | 533239 | 3590 18222 58797 | 2147483647 34729 37 | 0.582 % |
305.25/305.24 c | 533753 | 3590 18222 58797 | 2147483647 35243 37 | 0.582 % |
305.55/305.55 c | 534265 | 3590 18222 58797 | 2147483647 35755 37 | 0.582 % |
306.05/306.07 c | 535290 | 3590 18222 58797 | 2147483647 36780 37 | 0.582 % |
307.15/307.14 c | 537340 | 3590 18222 58797 | 2147483647 38830 38 | 0.582 % |
309.95/309.97 c | 541437 | 3590 18222 58797 | 41490 37584 37 | 0.582 % |
310.35/310.34 c | 541951 | 3590 18222 58797 | 41490 38098 37 | 0.582 % |
310.65/310.71 c | 542464 | 3590 18222 58797 | 41490 38611 37 | 0.582 % |
311.45/311.42 c | 543488 | 3590 18222 58797 | 41490 39635 37 | 0.582 % |
311.75/311.81 c | 544004 | 3590 18222 58797 | 41490 40151 37 | 0.582 % |
312.05/312.11 c | 544519 | 3590 18222 58797 | 41490 40666 37 | 0.582 % |
312.55/312.60 c | 545546 | 3590 18222 58797 | 41490 41693 38 | 0.582 % |
313.95/313.95 c | 547594 | 3588 18214 58775 | 41490 35820 37 | 0.637 % |
314.25/314.24 c | 548107 | 3588 18214 58775 | 41490 36333 37 | 0.638 % |
314.55/314.56 c | 548622 | 3588 18214 58775 | 41490 36848 37 | 0.637 % |
315.05/315.09 c | 549647 | 3588 18214 58775 | 41490 37873 37 | 0.637 % |
315.55/315.54 c | 550159 | 3588 18206 58749 | 38226 38385 37 | 0.637 % |
315.85/315.89 c | 550672 | 3588 18206 58749 | 38226 31737 34 | 0.637 % |
316.45/316.48 c | 551698 | 3588 18206 58749 | 38226 32763 34 | 0.637 % |
317.85/317.85 c | 553747 | 3588 18206 58749 | 38226 34812 34 | 0.637 % |
320.75/320.78 c | 557843 | 3588 18206 58749 | 38226 33289 33 | 0.637 % |
326.55/326.53 c | 566036 | 3588 18206 58749 | 35446 30953 32 | 0.637 % |
326.75/326.81 c | 566548 | 3588 18206 58749 | 35446 31465 32 | 0.638 % |
327.05/327.05 c | 567061 | 3588 18206 58749 | 35446 31978 32 | 0.638 % |
327.55/327.58 c | 568085 | 3588 18206 58749 | 35446 33002 32 | 0.638 % |
327.86/327.84 c | 568598 | 3588 18206 58749 | 35446 33515 32 | 0.637 % |
328.05/328.04 c | 569111 | 3588 18206 58749 | 35446 34028 32 | 0.637 % |
328.45/328.50 c | 570136 | 3588 18206 58749 | 34918 35053 33 | 0.637 % |
329.55/329.56 c | 572185 | 3588 18206 58749 | 34918 32504 31 | 0.637 % |
329.75/329.81 c | 572698 | 3588 18206 58749 | 34918 33017 31 | 0.637 % |
329.95/330.02 c | 573211 | 3588 18206 58749 | 34918 33530 31 | 0.638 % |
330.45/330.47 c | 574236 | 3588 18206 58749 | 34918 34555 32 | 0.637 % |
330.75/330.79 c | 574748 | 3588 18206 58749 | 34918 35067 32 | 0.637 % |
331.05/331.08 c | 575260 | 3588 18206 58749 | 34918 32073 32 | 0.637 % |
331.65/331.67 c | 576285 | 3587 18191 58699 | 34918 33096 32 | 0.665 % |
332.65/332.65 c | 578334 | 3587 18191 58699 | 34918 35145 32 | 0.665 % |
334.95/334.93 c | 582430 | 3587 18191 58699 | 2147483647 35727 31 | 0.665 % |
335.15/335.21 c | 582943 | 3587 18191 58699 | 2147483647 36240 31 | 0.665 % |
335.45/335.49 c | 583455 | 3587 18191 58699 | 2147483647 36752 31 | 0.665 % |
336.15/336.18 c | 584480 | 3587 18191 58699 | 2147483647 37777 31 | 0.665 % |
336.55/336.56 c | 584993 | 3587 18191 58699 | 2147483647 38290 31 | 0.665 % |
336.85/336.83 c | 585505 | 3587 18191 58699 | 2147483647 38802 31 | 0.665 % |
337.15/337.20 c | 586530 | 3587 18191 58699 | 2147483647 39827 31 | 0.666 % |
338.25/338.29 c | 588580 | 3587 18191 58699 | 2147483647 41877 32 | 0.665 % |
338.55/338.52 c | 589092 | 3587 18191 58699 | 2147483647 42389 32 | 0.666 % |
338.75/338.82 c | 589604 | 3587 18191 58699 | 2147483647 42901 32 | 0.665 % |
339.35/339.41 c | 590628 | 3587 18191 58699 | 43299 43925 32 | 0.665 % |
339.75/339.81 c | 591141 | 3587 18191 58699 | 43299 39143 32 | 0.665 % |
340.15/340.18 c | 591653 | 3587 18191 58699 | 43299 39655 32 | 0.665 % |
340.85/340.85 c | 592677 | 3587 18191 58699 | 43299 40679 32 | 0.665 % |
342.15/342.20 c | 594731 | 3587 18191 58699 | 43299 42733 32 | 0.665 % |
344.94/344.96 c | 598827 | 3584 18173 58640 | 43299 39414 31 | 0.748 % |
350.04/350.10 c | 607019 | 3584 18173 58640 | 40587 40352 33 | 0.748 % |
358.65/358.64 c | 623405 | 3584 18173 58640 | 2147483647 37578 33 | 0.749 % |
358.94/358.95 c | 623918 | 3584 18173 58640 | 2147483647 38091 33 | 0.748 % |
359.14/359.20 c | 624430 | 3584 18173 58640 | 2147483647 38603 33 | 0.748 % |
359.75/359.79 c | 625454 | 3584 18173 58640 | 2147483647 39627 34 | 0.748 % |
360.04/360.05 c | 625968 | 3584 18173 58640 | 2147483647 40141 34 | 0.748 % |
360.44/360.41 c | 626482 | 3584 18173 58640 | 2147483647 40655 34 | 0.748 % |
361.04/361.10 c | 627507 | 3583 18157 58588 | 2147483647 41677 34 | 0.776 % |
362.44/362.47 c | 629556 | 3583 18157 58588 | 2147483647 43726 33 | 0.776 % |
362.84/362.82 c | 630068 | 3583 18157 58588 | 44170 44238 33 | 0.776 % |
363.24/363.22 c | 630582 | 3583 18157 58588 | 44170 38457 33 | 0.776 % |
363.74/363.78 c | 631607 | 3583 18157 58588 | 44170 39482 33 | 0.776 % |
364.15/364.13 c | 632119 | 3583 18157 58588 | 44170 39994 33 | 0.775 % |
364.44/364.45 c | 632632 | 3583 18157 58588 | 44170 40507 33 | 0.775 % |
365.25/365.27 c | 633656 | 3583 18157 58588 | 44170 41531 32 | 0.776 % |
366.64/366.65 c | 635706 | 3583 18157 58588 | 44170 43581 33 | 0.775 % |
369.84/369.82 c | 639803 | 3583 18157 58588 | 44170 39920 32 | 0.775 % |
370.24/370.21 c | 640317 | 3583 18157 58588 | 40118 40434 32 | 0.775 % |
370.64/370.71 c | 640829 | 3583 18157 58588 | 40118 33888 29 | 0.775 % |
371.34/371.38 c | 641853 | 3583 18157 58588 | 40118 34912 30 | 0.775 % |
371.74/371.72 c | 642365 | 3583 18157 58588 | 40118 35424 30 | 0.775 % |
372.04/372.01 c | 642877 | 3583 18157 58588 | 40118 35936 30 | 0.775 % |
372.64/372.66 c | 643901 | 3583 18157 58588 | 40118 36960 30 | 0.775 % |
374.05/374.06 c | 645951 | 3583 18157 58588 | 40118 39010 30 | 0.775 % |
374.45/374.41 c | 646465 | 3583 18157 58588 | 40118 39524 30 | 0.775 % |
374.75/374.80 c | 646980 | 3583 18157 58588 | 40118 40039 30 | 0.775 % |
375.55/375.53 c | 648011 | 3583 18157 58588 | 40118 33715 30 | 0.775 % |
375.75/375.79 c | 648524 | 3583 18157 58588 | 40118 34228 30 | 0.776 % |
376.05/376.10 c | 649037 | 3583 18157 58588 | 40118 34741 30 | 0.776 % |
376.45/376.44 c | 650061 | 3583 18157 58588 | 35705 35765 30 | 0.776 % |
377.25/377.25 c | 652112 | 3583 18157 58588 | 35705 31983 29 | 0.776 % |
378.95/378.99 c | 656209 | 3583 18157 58588 | 35705 36080 30 | 0.775 % |
383.65/383.65 c | 664401 | 3583 18157 58588 | 2147483647 37055 32 | 0.775 % |
383.85/383.91 c | 664914 | 3583 18157 58588 | 2147483647 37568 32 | 0.775 % |
384.15/384.20 c | 665427 | 3583 18157 58588 | 2147483647 38081 32 | 0.775 % |
384.85/384.85 c | 666452 | 3583 18157 58588 | 2147483647 39106 32 | 0.775 % |
385.15/385.21 c | 666964 | 3583 18157 58588 | 2147483647 39618 32 | 0.775 % |
385.55/385.55 c | 667477 | 3583 18157 58588 | 2147483647 40131 32 | 0.775 % |
386.35/386.32 c | 668502 | 3583 18157 58588 | 2147483647 41156 32 | 0.775 % |
387.55/387.61 c | 670553 | 3583 18157 58588 | 42656 43207 32 | 0.776 % |
388.05/388.04 c | 671065 | 3583 18157 58588 | 42656 37093 32 | 0.776 % |
388.25/388.24 c | 671577 | 3583 18157 58588 | 42656 37605 32 | 0.776 % |
388.95/388.92 c | 672602 | 3583 18157 58588 | 42656 38630 32 | 0.776 % |
389.25/389.29 c | 673115 | 3583 18157 58588 | 42656 39143 32 | 0.776 % |
389.55/389.57 c | 673627 | 3583 18157 58588 | 42656 39655 32 | 0.775 % |
390.15/390.17 c | 674651 | 3583 18157 58588 | 42656 40679 32 | 0.775 % |
391.55/391.58 c | 676699 | 3583 18157 58588 | 42656 42727 33 | 0.775 % |
394.55/394.53 c | 680795 | 3583 18157 58588 | 38310 32539 33 | 0.776 % |
394.85/394.87 c | 681308 | 3583 18157 58588 | 38310 33052 33 | 0.775 % |
395.15/395.18 c | 681822 | 3583 18157 58588 | 38310 33566 33 | 0.775 % |
395.85/395.82 c | 682846 | 3583 18157 58588 | 38310 34590 33 | 0.776 % |
396.15/396.19 c | 683360 | 3583 18157 58588 | 38310 35104 33 | 0.775 % |
396.55/396.52 c | 683872 | 3583 18157 58588 | 38310 35616 33 | 0.775 % |
397.25/397.27 c | 684897 | 3583 18157 58588 | 38310 36641 33 | 0.775 % |
398.45/398.48 c | 686945 | 3583 18157 58588 | 38310 38689 34 | 0.775 % |
398.85/398.88 c | 687457 | 3583 18157 58588 | 38310 33043 33 | 0.775 % |
399.15/399.14 c | 687970 | 3583 18157 58588 | 38310 33556 33 | 0.775 % |
399.65/399.70 c | 688995 | 3583 18157 58588 | 38310 34581 33 | 0.775 % |
400.05/400.04 c | 689508 | 3583 18157 58588 | 38310 35094 34 | 0.775 % |
400.25/400.23 c | 690021 | 3583 18157 58588 | 35586 35607 33 | 0.776 % |
400.75/400.78 c | 691046 | 3583 18157 58588 | 35586 31391 33 | 0.776 % |
401.65/401.68 c | 693096 | 3583 18157 58588 | 35586 33441 33 | 0.776 % |
404.15/404.15 c | 697192 | 3583 18157 58588 | 35586 32886 33 | 0.776 % |
409.15/409.19 c | 705386 | 3583 18157 58588 | 35695 31992 31 | 0.775 % |
418.45/418.44 c | 721770 | 3582 18148 58557 | 30576 26828 29 | 0.803 % |
436.45/436.49 c | 754540 | 3578 18119 58474 | 2147483647 42986 33 | 0.914 % |
436.85/436.83 c | 755052 | 3578 18119 58474 | 2147483647 43498 33 | 0.915 % |
437.05/437.01 c | 755565 | 3578 18119 58474 | 2147483647 44011 33 | 0.914 % |
437.85/437.85 c | 756590 | 3578 18119 58474 | 2147483647 45036 32 | 0.915 % |
438.15/438.15 c | 757103 | 3578 18119 58474 | 2147483647 45549 32 | 0.914 % |
438.45/438.49 c | 757615 | 3578 18119 58474 | 2147483647 46061 32 | 0.915 % |
439.25/439.23 c | 758641 | 3578 18119 58474 | 2147483647 47087 32 | 0.915 % |
440.95/440.93 c | 760693 | 3578 18119 58474 | 48447 49139 32 | 0.914 % |
441.45/441.48 c | 761205 | 3578 18119 58474 | 48447 40819 33 | 0.916 % |
441.85/441.88 c | 761718 | 3578 18119 58474 | 48447 41332 33 | 0.914 % |
442.65/442.61 c | 762744 | 3578 18119 58474 | 48447 42358 33 | 0.914 % |
442.95/442.96 c | 763257 | 3578 18119 58474 | 48447 42871 33 | 0.914 % |
443.35/443.34 c | 763769 | 3578 18119 58474 | 48447 43383 32 | 0.914 % |
444.15/444.13 c | 764793 | 3578 18119 58474 | 48447 44407 32 | 0.914 % |
445.65/445.70 c | 766841 | 3578 18119 58474 | 48447 46455 32 | 0.914 % |
449.15/449.14 c | 770937 | 3578 18119 58474 | 38958 31866 29 | 0.914 % |
449.45/449.48 c | 771452 | 3578 18119 58474 | 38958 32381 29 | 0.914 % |
449.85/449.83 c | 771965 | 3578 18119 58474 | 38958 32894 29 | 0.914 % |
450.55/450.53 c | 772989 | 3578 18119 58474 | 38958 33918 29 | 0.914 % |
450.85/450.85 c | 773501 | 3578 18119 58474 | 38958 34430 29 | 0.914 % |
451.06/451.10 c | 774015 | 3578 18119 58474 | 38958 34944 29 | 0.914 % |
451.75/451.73 c | 775042 | 3578 18119 58474 | 38958 35971 29 | 0.915 % |
452.75/452.72 c | 777090 | 3578 18119 58474 | 38958 38019 30 | 0.915 % |
452.85/452.89 c | 777602 | 3578 18119 58474 | 38958 38531 30 | 0.915 % |
453.15/453.18 c | 778114 | 3578 18119 58474 | 38958 39043 30 | 0.914 % |
453.85/453.86 c | 779138 | 3578 18119 58474 | 38958 33166 29 | 0.914 % |
454.15/454.15 c | 779652 | 3578 18119 58474 | 38958 33680 29 | 0.914 % |
454.45/454.46 c | 780164 | 3578 18119 58474 | 34029 34192 29 | 0.914 % |
454.95/454.99 c | 781188 | 3578 18119 58474 | 34029 29032 28 | 0.914 % |
456.05/456.01 c | 783236 | 3578 18119 58474 | 34029 31080 28 | 0.914 % |
457.95/457.98 c | 787334 | 3578 18119 58474 | 34029 35178 29 | 0.914 % |
462.85/462.84 c | 795526 | 3578 18119 58474 | 32354 32600 31 | 0.914 % |
463.05/463.07 c | 796040 | 3578 18119 58474 | 32354 28869 31 | 0.915 % |
463.25/463.28 c | 796554 | 3578 18119 58474 | 32354 29383 31 | 0.914 % |
463.85/463.82 c | 797580 | 3578 18119 58474 | 32354 30409 31 | 0.915 % |
464.05/464.07 c | 798093 | 3578 18119 58474 | 32354 30922 31 | 0.915 % |
464.35/464.38 c | 798606 | 3578 18119 58474 | 32354 31435 31 | 0.914 % |
464.85/464.83 c | 799631 | 3578 18119 58474 | 32354 32460 31 | 0.915 % |
465.85/465.88 c | 801682 | 3578 18119 58474 | 28985 27565 30 | 0.914 % |
466.15/466.15 c | 802194 | 3578 18119 58474 | 28985 28077 30 | 0.914 % |
466.35/466.39 c | 802710 | 3578 18119 58474 | 28985 28593 30 | 0.914 % |
466.85/466.86 c | 803736 | 3578 18119 58474 | 28985 29619 30 | 0.914 % |
467.15/467.14 c | 804248 | 3578 18119 58474 | 28985 25885 30 | 0.914 % |
467.35/467.37 c | 804760 | 3578 18119 58474 | 28985 26397 30 | 0.914 % |
467.85/467.90 c | 805786 | 3578 18119 58474 | 28985 27423 30 | 0.914 % |
469.05/469.09 c | 807834 | 3578 18119 58474 | 28985 25917 29 | 0.914 % |
471.25/471.21 c | 811931 | 3578 18119 58474 | 28086 26549 27 | 0.914 % |
471.45/471.42 c | 812445 | 3578 18119 58474 | 28086 27063 27 | 0.914 % |
471.75/471.72 c | 812957 | 3578 18119 58474 | 28086 27575 28 | 0.914 % |
472.25/472.25 c | 813981 | 3578 18119 58474 | 28086 28599 28 | 0.914 % |
472.55/472.54 c | 814493 | 3578 18119 58474 | 28086 25939 26 | 0.914 % |
472.85/472.81 c | 815006 | 3578 18119 58474 | 28086 26452 26 | 0.914 % |
473.25/473.21 c | 816031 | 3578 18119 58474 | 28086 27477 27 | 0.914 % |
474.35/474.32 c | 818080 | 3578 18119 58474 | 28086 26362 26 | 0.915 % |
474.55/474.54 c | 818592 | 3578 18119 58474 | 28086 26874 27 | 0.914 % |
474.75/474.80 c | 819104 | 3578 18119 58474 | 28086 27386 27 | 0.915 % |
475.15/475.12 c | 820129 | 3578 18119 58474 | 28283 28411 28 | 0.914 % |
475.35/475.34 c | 820643 | 3578 18119 58474 | 28283 25937 28 | 0.914 % |
475.55/475.60 c | 821155 | 3578 18119 58474 | 28283 26449 29 | 0.914 % |
476.05/476.07 c | 822180 | 3578 18119 58474 | 28283 27474 29 | 0.914 % |
477.15/477.16 c | 824229 | 3578 18119 58474 | 28283 26167 30 | 0.914 % |
479.55/479.54 c | 828325 | 3578 18119 58474 | 28283 27412 31 | 0.914 % |
484.25/484.29 c | 836520 | 3578 18119 58474 | 2147483647 32741 34 | 0.914 % |
492.66/492.64 c | 852904 | 3578 18119 58474 | 36423 33487 41 | 0.915 % |
492.96/492.99 c | 853416 | 3578 18119 58474 | 36423 33999 41 | 0.914 % |
493.36/493.34 c | 853929 | 3578 18119 58474 | 36423 34512 41 | 0.914 % |
494.06/494.09 c | 854955 | 3578 18119 58474 | 36423 35538 41 | 0.914 % |
494.46/494.44 c | 855468 | 3578 18119 58474 | 36423 36051 41 | 0.914 % |
494.86/494.84 c | 855980 | 3578 18119 58474 | 36423 36563 41 | 0.914 % |
495.46/495.49 c | 857004 | 3578 18119 58474 | 36423 31714 40 | 0.914 % |
496.36/496.33 c | 859052 | 3578 18119 58474 | 36423 33762 40 | 0.914 % |
496.56/496.61 c | 859565 | 3578 18119 58474 | 36423 34275 40 | 0.914 % |
496.86/496.86 c | 860079 | 3578 18119 58474 | 34710 34789 40 | 0.915 % |
497.46/497.45 c | 861106 | 3578 18119 58474 | 34710 30859 40 | 0.915 % |
497.76/497.72 c | 861618 | 3578 18119 58474 | 34710 31371 40 | 0.914 % |
498.06/498.04 c | 862133 | 3578 18119 58474 | 34710 31886 40 | 0.914 % |
498.56/498.60 c | 863157 | 3578 18119 58474 | 34710 32910 40 | 0.914 % |
499.76/499.79 c | 865205 | 3578 18119 58474 | 34710 34958 40 | 0.914 % |
502.36/502.34 c | 869301 | 3578 18119 58474 | 34710 33548 40 | 0.914 % |
502.66/502.71 c | 869813 | 3578 18119 58474 | 34710 34060 40 | 0.914 % |
503.06/503.07 c | 870327 | 3578 18119 58474 | 34247 34574 40 | 0.914 % |
503.86/503.86 c | 871352 | 3578 18119 58474 | 34247 30483 37 | 0.914 % |
504.16/504.15 c | 871864 | 3578 18119 58474 | 34247 30995 37 | 0.914 % |
504.46/504.52 c | 872377 | 3578 18119 58474 | 34247 31508 37 | 0.914 % |
505.16/505.20 c | 873401 | 3578 18119 58474 | 34247 32532 37 | 0.914 % |
506.66/506.62 c | 875451 | 3578 18119 58474 | 34247 34582 37 | 0.914 % |
506.96/506.96 c | 875964 | 3578 18119 58474 | 34247 29454 33 | 0.914 % |
507.26/507.29 c | 876476 | 3578 18119 58474 | 34247 29966 33 | 0.914 % |
507.96/507.96 c | 877500 | 3578 18119 58474 | 34247 30990 33 | 0.914 % |
508.16/508.15 c | 878013 | 3578 18119 58474 | 34247 31503 33 | 0.915 % |
508.36/508.37 c | 878526 | 3578 18119 58474 | 34247 32016 33 | 0.914 % |
508.86/508.89 c | 879551 | 3578 18119 58474 | 34247 33041 33 | 0.915 % |
509.96/509.93 c | 881599 | 3576 18107 58438 | 33490 30575 32 | 0.969 % |
512.06/512.02 c | 885695 | 3576 18107 58438 | 33490 31002 33 | 0.970 % |
515.86/515.92 c | 893887 | 3576 18099 58412 | 30555 28985 39 | 0.969 % |
516.26/516.26 c | 894399 | 3576 18099 58412 | 30555 29497 39 | 0.969 % |
516.56/516.54 c | 894913 | 3576 18099 58412 | 30555 30011 40 | 0.969 % |
517.16/517.14 c | 895937 | 3576 18099 58412 | 30555 31035 40 | 0.969 % |
517.46/517.46 c | 896451 | 3576 18099 58412 | 30555 26076 41 | 0.969 % |
517.76/517.76 c | 896966 | 3576 18099 58412 | 30555 26591 41 | 0.969 % |
518.36/518.32 c | 897991 | 3576 18099 58412 | 30555 27616 41 | 0.969 % |
519.56/519.60 c | 900041 | 3576 18099 58412 | 29625 29666 41 | 0.969 % |
519.86/519.83 c | 900553 | 3576 18099 58412 | 29625 25681 42 | 0.969 % |
520.06/520.08 c | 901065 | 3576 18099 58412 | 29625 26193 42 | 0.970 % |
520.46/520.48 c | 902093 | 3576 18099 58412 | 29625 27221 42 | 0.970 % |
520.66/520.71 c | 902607 | 3576 18099 58412 | 29625 27735 42 | 0.970 % |
520.96/521.00 c | 903119 | 3576 18099 58412 | 29625 28247 42 | 0.969 % |
521.66/521.62 c | 904143 | 3576 18099 58412 | 29625 29271 42 | 0.969 % |
523.06/523.06 c | 906192 | 3576 18099 58412 | 29625 27941 42 | 0.969 % |
525.46/525.46 c | 910288 | 3576 18099 58412 | 28158 28444 38 | 0.969 % |
525.76/525.77 c | 910801 | 3576 18099 58412 | 28158 25556 35 | 0.969 % |
526.06/526.10 c | 911313 | 3576 18099 58412 | 28158 26068 35 | 0.969 % |
526.76/526.80 c | 912337 | 3576 18099 58412 | 28158 27092 35 | 0.974 % |
527.06/527.02 c | 912849 | 3576 18099 58412 | 28158 27604 35 | 0.970 % |
527.26/527.27 c | 913361 | 3576 18099 58412 | 28158 28116 35 | 0.969 % |
527.86/527.86 c | 914385 | 3576 18099 58412 | 28158 25521 33 | 0.969 % |
528.96/528.95 c | 916433 | 3576 18099 58412 | 28158 27569 33 | 0.970 % |
529.26/529.24 c | 916946 | 3576 18099 58412 | 28158 28082 33 | 0.969 % |
529.66/529.63 c | 917460 | 3576 18099 58412 | 28158 25383 33 | 0.969 % |
530.16/530.13 c | 918485 | 3576 18099 58412 | 28158 26408 33 | 0.969 % |
530.46/530.42 c | 918997 | 3576 18099 58412 | 28158 26920 33 | 0.969 % |
530.66/530.68 c | 919509 | 3576 18099 58412 | 28158 27432 34 | 0.969 % |
531.06/531.03 c | 920533 | 3576 18099 58412 | 27923 28456 34 | 0.970 % |
531.76/531.76 c | 922586 | 3576 18099 58412 | 27923 27664 37 | 0.969 % |
533.36/533.40 c | 926683 | 3576 18099 58412 | 27923 26033 33 | 0.970 % |
537.76/537.74 c | 934876 | 3576 18099 58412 | 2147483647 31307 35 | 0.970 % |
546.46/546.42 c | 951264 | 3576 18099 58412 | 36511 31477 36 | 0.969 % |
564.76/564.79 c | 984032 | 3576 18099 58412 | 30699 29292 33 | 0.969 % |
607.97/607.98 c | 1049570 | 3576 18099 58412 | 45034 44887 55 | 0.970 % |
681.37/681.37 c | 1180646 | 3572 18077 58345 | 2147483647 23806 24 | 1.081 % |
681.67/681.63 c | 1181158 | 3572 18077 58345 | 2147483647 24318 24 | 1.081 % |
681.87/681.90 c | 1181671 | 3568 18047 58256 | 2147483647 24822 24 | 1.192 % |
682.37/682.40 c | 1182696 | 3568 18047 58256 | 2147483647 25847 24 | 1.192 % |
682.67/682.72 c | 1183209 | 3568 18047 58256 | 2147483647 26360 24 | 1.192 % |
682.97/683.00 c | 1183722 | 3568 18047 58256 | 2147483647 26873 24 | 1.192 % |
683.47/683.48 c | 1184746 | 3568 18047 58256 | 2147483647 27897 24 | 1.192 % |
684.57/684.52 c | 1186797 | 3568 18047 58256 | 2147483647 29948 24 | 1.192 % |
684.87/684.82 c | 1187310 | 3568 18047 58256 | 2147483647 30461 24 | 1.192 % |
685.17/685.16 c | 1187826 | 3568 18047 58256 | 2147483647 30977 24 | 1.192 % |
685.77/685.78 c | 1188853 | 3568 18047 58256 | 2147483647 32004 24 | 1.193 % |
686.17/686.13 c | 1189365 | 3567 17953 58023 | 2147483647 6341 16 | 1.219 % |
686.27/686.23 c | 1189877 | 3567 17953 58023 | 2147483647 6853 17 | 1.219 % |
686.37/686.42 c | 1190901 | 3567 17953 58023 | 2147483647 7877 21 | 1.219 % |
686.97/687.00 c | 1192950 | 3567 17953 58023 | 2147483647 9926 24 | 1.219 % |
688.26/688.25 c | 1197048 | 3566 17945 57997 | 2147483647 14022 28 | 1.246 % |
688.36/688.37 c | 1197561 | 3566 17945 57997 | 2147483647 14535 28 | 1.247 % |
688.46/688.47 c | 1198073 | 3566 17945 57997 | 2147483647 15047 29 | 1.247 % |
688.76/688.73 c | 1199097 | 3566 17945 57997 | 2147483647 16071 29 | 1.247 % |
688.86/688.84 c | 1199610 | 3564 17914 57894 | 2147483647 16579 29 | 1.302 % |
688.96/689.01 c | 1200122 | 3564 17914 57894 | 2147483647 17091 29 | 1.302 % |
689.36/689.35 c | 1201146 | 3564 17914 57894 | 2147483647 18115 29 | 1.302 % |
690.26/690.23 c | 1203195 | 3564 17914 57894 | 2147483647 20164 29 | 1.302 % |
690.46/690.47 c | 1203709 | 3564 17914 57894 | 2147483647 20678 29 | 1.302 % |
690.76/690.71 c | 1204221 | 3564 17914 57894 | 2147483647 21190 29 | 1.302 % |
691.16/691.19 c | 1205245 | 3564 17914 57894 | 2147483647 22214 29 | 1.302 % |
691.46/691.43 c | 1205757 | 3564 17914 57894 | 2147483647 22726 29 | 1.302 % |
691.66/691.64 c | 1206272 | 3564 17914 57894 | 2147483647 23241 29 | 1.302 % |
691.97/691.98 c | 1207297 | 3564 17914 57894 | 2147483647 24266 29 | 1.302 % |
692.96/692.98 c | 1209350 | 3564 17914 57894 | 2147483647 26319 29 | 1.302 % |
694.96/695.00 c | 1213447 | 3564 17914 57894 | 2147483647 30416 29 | 1.302 % |
699.95/699.91 c | 1221639 | 3564 17914 57894 | 36969 33993 28 | 1.302 % |
700.15/700.17 c | 1222151 | 3564 17914 57894 | 36969 34505 28 | 1.302 % |
700.45/700.43 c | 1222663 | 3564 17914 57894 | 36969 35017 28 | 1.303 % |
701.05/701.08 c | 1223688 | 3564 17914 57894 | 36969 36042 28 | 1.302 % |
701.45/701.41 c | 1224200 | 3564 17914 57894 | 36969 36554 28 | 1.302 % |
701.75/701.73 c | 1224712 | 3564 17914 57894 | 36969 37066 28 | 1.302 % |
702.35/702.39 c | 1225736 | 3563 17905 57866 | 36969 33974 27 | 1.329 % |
703.45/703.46 c | 1227785 | 3563 17905 57866 | 36969 36023 27 | 1.329 % |
703.75/703.74 c | 1228298 | 3563 17905 57866 | 36969 36536 27 | 1.329 % |
704.06/704.08 c | 1228810 | 3563 17905 57866 | 36969 37048 28 | 1.329 % |
704.65/704.68 c | 1229834 | 3563 17905 57866 | 36969 32344 27 | 1.330 % |
704.95/704.98 c | 1230348 | 3563 17905 57866 | 32514 32858 27 | 1.330 % |
705.35/705.35 c | 1230861 | 3563 17905 57866 | 32514 28268 27 | 1.329 % |
705.95/705.94 c | 1231886 | 3563 17905 57866 | 32514 29293 27 | 1.329 % |
706.95/706.97 c | 1233935 | 3563 17905 57866 | 32514 31342 28 | 1.329 % |
709.05/709.07 c | 1238031 | 3563 17905 57866 | 32514 31218 30 | 1.329 % |
709.35/709.32 c | 1238544 | 3563 17905 57866 | 32514 31731 31 | 1.330 % |
709.56/709.58 c | 1239058 | 3563 17905 57866 | 32514 32245 31 | 1.330 % |
710.05/710.03 c | 1240084 | 3563 17905 57866 | 29146 29229 31 | 1.330 % |
710.35/710.35 c | 1240597 | 3563 17905 57866 | 29146 26241 31 | 1.330 % |
710.55/710.57 c | 1241109 | 3563 17905 57866 | 29146 26753 31 | 1.330 % |
711.15/711.18 c | 1242133 | 3563 17905 57866 | 29146 27777 31 | 1.329 % |
712.45/712.49 c | 1244181 | 3563 17905 57866 | 29146 26097 31 | 1.329 % |
712.75/712.76 c | 1244694 | 3563 17905 57866 | 29146 26610 31 | 1.330 % |
713.05/713.03 c | 1245207 | 3563 17905 57866 | 29146 27123 31 | 1.330 % |
713.55/713.57 c | 1246232 | 3563 17905 57866 | 29146 28148 31 | 1.329 % |
713.96/713.91 c | 1246746 | 3563 17905 57866 | 29146 28662 31 | 1.329 % |
714.15/714.19 c | 1247259 | 3563 17905 57866 | 29146 29175 31 | 1.329 % |
714.85/714.85 c | 1248283 | 3563 17905 57866 | 29146 26687 31 | 1.329 % |
715.95/715.94 c | 1250332 | 3563 17905 57866 | 28405 28736 31 | 1.329 % |
718.15/718.19 c | 1254429 | 3562 17896 57838 | 28405 27013 29 | 1.358 % |
723.36/723.33 c | 1262622 | 3562 17896 57838 | 2147483647 29447 26 | 1.358 % |
733.56/733.60 c | 1279006 | 3561 17886 57808 | 36825 34395 27 | 1.385 % |
733.76/733.77 c | 1279518 | 3561 17886 57808 | 36825 34907 27 | 1.386 % |
734.06/734.05 c | 1280032 | 3561 17886 57808 | 35389 35421 27 | 1.385 % |
734.76/734.75 c | 1281056 | 3561 17886 57808 | 35389 31416 27 | 1.386 % |
734.96/735.00 c | 1281569 | 3561 17886 57808 | 35389 31929 27 | 1.386 % |
735.16/735.20 c | 1282084 | 3561 17886 57808 | 35389 32444 27 | 1.385 % |
735.66/735.64 c | 1283110 | 3561 17886 57808 | 35389 33470 28 | 1.386 % |
736.76/736.74 c | 1285159 | 3561 17886 57808 | 35389 35519 28 | 1.385 % |
737.06/737.07 c | 1285673 | 3561 17886 57808 | 35389 32199 29 | 1.385 % |
737.36/737.35 c | 1286185 | 3561 17886 57808 | 35389 32711 29 | 1.385 % |
737.86/737.89 c | 1287210 | 3561 17886 57808 | 35389 33736 29 | 1.385 % |
738.16/738.11 c | 1287722 | 3561 17886 57808 | 35389 34248 29 | 1.385 % |
738.46/738.44 c | 1288237 | 3561 17886 57808 | 35389 34763 30 | 1.385 % |
739.06/739.04 c | 1289261 | 3561 17886 57808 | 35389 35787 30 | 1.385 % |
740.36/740.36 c | 1291309 | 3561 17886 57808 | 32577 29434 31 | 1.385 % |
743.06/743.07 c | 1295406 | 3561 17886 57808 | 32577 28644 32 | 1.385 % |
743.36/743.38 c | 1295920 | 3561 17886 57808 | 32577 29158 32 | 1.385 % |
743.76/743.71 c | 1296432 | 3561 17886 57808 | 32577 29670 32 | 1.385 % |
744.26/744.30 c | 1297458 | 3561 17886 57808 | 32577 30696 33 | 1.385 % |
744.56/744.61 c | 1297971 | 3561 17886 57808 | 32577 31209 33 | 1.385 % |
744.96/744.91 c | 1298484 | 3561 17886 57808 | 32577 31722 33 | 1.385 % |
745.66/745.65 c | 1299508 | 3561 17886 57808 | 32577 32746 33 | 1.385 % |
746.46/746.49 c | 1301557 | 3561 17886 57808 | 28855 27047 29 | 1.386 % |
746.66/746.67 c | 1302069 | 3561 17886 57808 | 28855 27559 29 | 1.385 % |
746.86/746.90 c | 1302582 | 3561 17886 57808 | 28855 28072 30 | 1.386 % |
747.26/747.30 c | 1303607 | 3561 17886 57808 | 28855 29097 29 | 1.386 % |
747.56/747.53 c | 1304120 | 3561 17886 57808 | 28855 26701 28 | 1.385 % |
747.76/747.76 c | 1304634 | 3561 17886 57808 | 28855 27215 28 | 1.385 % |
748.26/748.29 c | 1305658 | 3561 17886 57808 | 28855 28239 28 | 1.385 % |
749.06/749.07 c | 1307708 | 3561 17886 57808 | 28855 27349 28 | 1.385 % |
751.56/751.54 c | 1311804 | 3561 17886 57808 | 2147483647 31445 31 | 1.385 % |
757.66/757.68 c | 1319996 | 3561 17886 57808 | 2147483647 39637 32 | 1.385 % |
758.06/758.10 c | 1320508 | 3561 17886 57808 | 39642 40149 32 | 1.385 % |
758.36/758.38 c | 1321021 | 3561 17886 57808 | 39642 34221 32 | 1.386 % |
758.96/758.91 c | 1322046 | 3561 17886 57808 | 39642 35246 33 | 1.386 % |
759.16/759.15 c | 1322561 | 3561 17886 57808 | 39642 35761 32 | 1.386 % |
759.46/759.43 c | 1323073 | 3561 17886 57808 | 39642 36273 33 | 1.386 % |
759.96/759.93 c | 1324097 | 3561 17886 57808 | 39642 37297 33 | 1.386 % |
760.96/760.94 c | 1326147 | 3561 17886 57808 | 39642 39347 34 | 1.385 % |
761.26/761.27 c | 1326659 | 3561 17886 57808 | 39642 39859 34 | 1.385 % |
761.66/761.61 c | 1327171 | 3561 17886 57808 | 39642 33136 34 | 1.385 % |
762.16/762.19 c | 1328197 | 3561 17886 57808 | 39642 34162 34 | 1.385 % |
762.46/762.50 c | 1328713 | 3561 17886 57808 | 39642 34678 34 | 1.386 % |
762.76/762.80 c | 1329225 | 3561 17886 57808 | 39642 35190 34 | 1.386 % |
763.46/763.44 c | 1330249 | 3561 17886 57808 | 35966 36214 34 | 1.385 % |
764.76/764.78 c | 1332297 | 3561 17886 57808 | 35966 31649 34 | 1.385 % |
767.06/767.04 c | 1336394 | 3561 17886 57808 | 35966 35746 33 | 1.385 % |
767.36/767.34 c | 1336907 | 3561 17886 57808 | 35966 36259 33 | 1.385 % |
767.66/767.69 c | 1337423 | 3561 17886 57808 | 35966 30120 32 | 1.385 % |
768.26/768.27 c | 1338447 | 3561 17886 57808 | 35966 31144 32 | 1.385 % |
768.56/768.56 c | 1338959 | 3561 17886 57808 | 35966 31656 32 | 1.385 % |
768.86/768.86 c | 1339473 | 3561 17886 57808 | 35966 32170 32 | 1.385 % |
769.46/769.47 c | 1340498 | 3561 17886 57808 | 32700 33195 31 | 1.385 % |
770.46/770.49 c | 1342546 | 3561 17886 57808 | 32700 28419 30 | 1.385 % |
770.66/770.68 c | 1343061 | 3561 17886 57808 | 32700 28934 31 | 1.386 % |
770.96/770.98 c | 1343574 | 3561 17886 57808 | 32700 29447 31 | 1.386 % |
771.56/771.58 c | 1344598 | 3561 17886 57808 | 32700 30471 31 | 1.386 % |
771.86/771.85 c | 1345110 | 3561 17886 57808 | 32700 30983 31 | 1.386 % |
772.06/772.09 c | 1345626 | 3561 17886 57808 | 32700 31499 31 | 1.386 % |
772.76/772.79 c | 1346651 | 3561 17886 57808 | 32700 32524 31 | 1.386 % |
774.06/774.04 c | 1348699 | 3561 17886 57808 | 32700 29479 28 | 1.386 % |
776.46/776.48 c | 1352795 | 3561 17886 57808 | 30780 28738 26 | 1.386 % |
781.76/781.73 c | 1360988 | 3561 17886 57808 | 31481 27282 28 | 1.385 % |
791.26/791.24 c | 1377375 | 3561 17886 57808 | 31884 30421 33 | 1.385 % |
810.86/810.90 c | 1410144 | 3558 17864 57747 | 33383 33527 36 | 1.468 % |
811.16/811.16 c | 1410658 | 3558 17864 57747 | 33383 26968 38 | 1.468 % |
811.36/811.39 c | 1411179 | 3558 17864 57747 | 33383 27489 38 | 1.468 % |
811.87/811.87 c | 1412203 | 3558 17864 57747 | 33383 28513 39 | 1.468 % |
812.16/812.11 c | 1412716 | 3558 17864 57747 | 33383 29026 39 | 1.468 % |
812.46/812.42 c | 1413228 | 3558 17864 57747 | 33383 29538 39 | 1.468 % |
813.06/813.01 c | 1414252 | 3558 17864 57747 | 33383 30562 39 | 1.468 % |
814.46/814.41 c | 1416302 | 3558 17864 57747 | 33383 32612 40 | 1.468 % |
814.76/814.72 c | 1416814 | 3558 17864 57747 | 33383 33124 40 | 1.468 % |
815.06/815.03 c | 1417328 | 3558 17864 57747 | 33383 33638 39 | 1.468 % |
815.56/815.55 c | 1418352 | 3558 17864 57747 | 33383 28534 39 | 1.468 % |
815.86/815.86 c | 1418864 | 3558 17864 57747 | 33383 29046 39 | 1.468 % |
816.16/816.14 c | 1419379 | 3558 17864 57747 | 33383 29561 39 | 1.468 % |
816.66/816.69 c | 1420405 | 3558 17864 57747 | 30184 26375 38 | 1.468 % |
817.56/817.58 c | 1422453 | 3558 17864 57747 | 30184 28423 38 | 1.468 % |
819.76/819.79 c | 1426549 | 3558 17864 57747 | 30184 27732 37 | 1.468 % |
819.96/820.00 c | 1427061 | 3558 17864 57747 | 30184 28244 37 | 1.469 % |
820.16/820.18 c | 1427573 | 3558 17864 57747 | 30184 28756 37 | 1.469 % |
820.56/820.55 c | 1428597 | 3558 17864 57747 | 30184 29780 38 | 1.469 % |
820.76/820.74 c | 1429110 | 3558 17864 57747 | 30184 30293 38 | 1.468 % |
821.06/821.03 c | 1429622 | 3558 17864 57747 | 30184 26308 35 | 1.469 % |
821.46/821.43 c | 1430646 | 3558 17864 57747 | 26686 27332 35 | 1.468 % |
822.36/822.40 c | 1432694 | 3558 17864 57747 | 26686 26150 33 | 1.469 % |
822.66/822.62 c | 1433207 | 3558 17864 57747 | 26686 26663 34 | 1.468 % |
822.96/822.96 c | 1433720 | 3558 17864 57747 | 26686 24466 33 | 1.468 % |
823.56/823.56 c | 1434744 | 3558 17864 57747 | 26686 25490 33 | 1.468 % |
823.86/823.84 c | 1435256 | 3558 17864 57747 | 26686 26002 33 | 1.468 % |
824.16/824.10 c | 1435769 | 3558 17864 57747 | 26686 26515 33 | 1.468 % |
824.66/824.65 c | 1436794 | 3558 17864 57747 | 26686 27540 33 | 1.468 % |
825.86/825.82 c | 1438842 | 3558 17864 57747 | 26686 26834 33 | 1.468 % |
828.16/828.16 c | 1442939 | 3558 17864 57747 | 2147483647 28248 34 | 1.468 % |
833.57/833.56 c | 1451131 | 3558 17864 57747 | 35310 31976 32 | 1.468 % |
833.87/833.87 c | 1451643 | 3558 17864 57747 | 35310 32488 33 | 1.468 % |
834.27/834.26 c | 1452155 | 3558 17864 57747 | 35310 33000 33 | 1.468 % |
834.97/834.97 c | 1453180 | 3558 17864 57747 | 35310 34025 33 | 1.468 % |
835.37/835.35 c | 1453696 | 3558 17864 57747 | 35310 34541 33 | 1.468 % |
835.77/835.74 c | 1454208 | 3558 17864 57747 | 35310 35053 33 | 1.468 % |
836.67/836.62 c | 1455233 | 3558 17864 57747 | 35310 30826 31 | 1.468 % |
838.07/838.05 c | 1457282 | 3558 17864 57747 | 35310 32875 31 | 1.468 % |
838.47/838.49 c | 1457799 | 3558 17864 57747 | 35310 33392 31 | 1.468 % |
838.97/838.93 c | 1458311 | 3558 17864 57747 | 35310 33904 31 | 1.468 % |
839.67/839.63 c | 1459335 | 3556 17845 57688 | 35310 34926 32 | 1.523 % |
840.07/840.02 c | 1459851 | 3556 17845 57688 | 35310 35442 32 | 1.523 % |
840.37/840.41 c | 1460365 | 3556 17845 57688 | 30657 31022 30 | 1.523 % |
841.07/841.05 c | 1461389 | 3556 17845 57688 | 30657 27832 30 | 1.523 % |
842.27/842.29 c | 1463437 | 3556 17845 57688 | 30657 29880 30 | 1.523 % |
845.27/845.23 c | 1467533 | 3556 17845 57688 | 30657 30533 30 | 1.523 % |
845.47/845.43 c | 1468045 | 3556 17845 57688 | 30657 31045 30 | 1.524 % |
845.67/845.66 c | 1468557 | 3556 17845 57688 | 30657 27448 30 | 1.523 % |
846.07/846.06 c | 1469582 | 3556 17845 57688 | 30657 28473 31 | 1.525 % |
846.27/846.21 c | 1470095 | 3556 17845 57688 | 28894 28986 31 | 1.524 % |
846.37/846.40 c | 1470607 | 3556 17845 57688 | 28894 25880 30 | 1.523 % |
846.77/846.74 c | 1471631 | 3556 17845 57688 | 28894 26904 30 | 1.523 % |
847.57/847.52 c | 1473682 | 3556 17845 57688 | 28894 28955 30 | 1.525 % |
847.77/847.78 c | 1474194 | 3556 17845 57688 | 28894 26572 29 | 1.523 % |
848.07/848.04 c | 1474706 | 3556 17845 57688 | 28894 27084 30 | 1.523 % |
848.57/848.59 c | 1475730 | 3556 17845 57688 | 28894 28108 30 | 1.523 % |
848.87/848.83 c | 1476242 | 3556 17845 57688 | 28894 28620 30 | 1.525 % |
849.17/849.12 c | 1476754 | 3556 17845 57688 | 28894 29132 30 | 1.523 % |
849.67/849.62 c | 1477779 | 3556 17845 57688 | 28894 26872 29 | 1.523 % |
850.77/850.74 c | 1479828 | 3556 17845 57688 | 28894 28921 30 | 1.523 % |
853.27/853.25 c | 1483926 | 3556 17845 57688 | 29093 27998 30 | 1.523 % |
857.87/857.82 c | 1492118 | 3556 17845 57688 | 26108 25048 30 | 1.523 % |
866.57/866.56 c | 1508505 | 3556 17845 57688 | 26653 24619 36 | 1.523 % |
866.77/866.73 c | 1509017 | 3556 17845 57688 | 26653 25131 36 | 1.524 % |
866.87/866.89 c | 1509529 | 3556 17845 57688 | 26653 25643 36 | 1.525 % |
867.17/867.20 c | 1510555 | 3556 17845 57688 | 26114 26669 36 | 1.524 % |
867.37/867.40 c | 1511069 | 3556 17845 57688 | 26114 23997 37 | 1.525 % |
867.57/867.56 c | 1511582 | 3556 17845 57688 | 26114 24510 37 | 1.524 % |
867.97/867.97 c | 1512606 | 3555 17836 57660 | 26114 25532 37 | 1.551 % |
868.87/868.85 c | 1514656 | 3555 17836 57660 | 26114 24899 36 | 1.551 % |
869.07/869.07 c | 1515168 | 3555 17836 57660 | 26114 25411 36 | 1.551 % |
869.27/869.31 c | 1515681 | 3555 17836 57660 | 26114 25924 36 | 1.551 % |
869.77/869.74 c | 1516706 | 3555 17836 57660 | 26114 26949 36 | 1.551 % |
869.97/869.99 c | 1517218 | 3555 17836 57660 | 26114 24767 36 | 1.551 % |
870.17/870.20 c | 1517730 | 3555 17836 57660 | 26114 25279 36 | 1.551 % |
870.77/870.78 c | 1518756 | 3555 17836 57660 | 26114 26305 36 | 1.551 % |
871.77/871.78 c | 1520806 | 3554 17826 57630 | 2147483647 25722 35 | 1.579 % |
874.37/874.31 c | 1524905 | 3554 17826 57630 | 2147483647 29821 36 | 1.579 % |
874.77/874.75 c | 1525418 | 3554 17826 57630 | 2147483647 30334 36 | 1.579 % |
875.27/875.26 c | 1525930 | 3554 17826 57630 | 2147483647 30846 36 | 1.579 % |
875.97/875.99 c | 1526955 | 3554 17826 57630 | 2147483647 31871 36 | 1.579 % |
876.37/876.33 c | 1527468 | 3554 17826 57630 | 2147483647 32384 36 | 1.579 % |
876.67/876.65 c | 1527982 | 3554 17826 57630 | 2147483647 32898 36 | 1.579 % |
877.27/877.28 c | 1529006 | 3554 17826 57630 | 2147483647 33922 36 | 1.579 % |
878.27/878.27 c | 1531055 | 3554 17826 57630 | 2147483647 35971 37 | 1.580 % |
878.57/878.54 c | 1531567 | 3554 17826 57630 | 2147483647 36483 37 | 1.580 % |
878.77/878.76 c | 1532079 | 3554 17826 57630 | 2147483647 36995 37 | 1.579 % |
879.27/879.30 c | 1533103 | 3554 17826 57630 | 2147483647 38019 37 | 1.580 % |
879.57/879.61 c | 1533615 | 3554 17826 57630 | 2147483647 38531 37 | 1.580 % |
879.87/879.89 c | 1534129 | 3554 17826 57630 | 2147483647 39045 37 | 1.579 % |
880.57/880.52 c | 1535154 | 3554 17826 57630 | 2147483647 40070 37 | 1.579 % |
881.77/881.71 c | 1537202 | 3554 17826 57630 | 2147483647 42118 37 | 1.579 % |
885.07/885.03 c | 1541298 | 3554 17826 57630 | 44916 36624 34 | 1.579 % |
890.77/890.78 c | 1549490 | 3554 17826 57630 | 44916 44816 35 | 1.579 % |
891.17/891.11 c | 1550003 | 3554 17826 57630 | 44916 45329 35 | 1.579 % |
891.47/891.42 c | 1550515 | 3554 17826 57630 | 45329 45841 35 | 1.580 % |
892.17/892.11 c | 1551539 | 3554 17826 57630 | 45329 34851 33 | 1.579 % |
892.27/892.28 c | 1552051 | 3554 17826 57630 | 45329 35363 33 | 1.580 % |
892.57/892.53 c | 1552563 | 3554 17826 57630 | 45329 35875 33 | 1.579 % |
893.07/893.02 c | 1553587 | 3554 17826 57630 | 45329 36899 34 | 1.580 % |
893.87/893.91 c | 1555640 | 3554 17826 57630 | 45329 38952 35 | 1.580 % |
894.17/894.20 c | 1556153 | 3554 17826 57630 | 45329 39465 35 | 1.579 % |
894.57/894.55 c | 1556665 | 3554 17826 57630 | 45329 39977 35 | 1.579 % |
895.37/895.38 c | 1557689 | 3554 17826 57630 | 45329 41001 35 | 1.579 % |
895.77/895.76 c | 1558201 | 3554 17826 57630 | 45329 41513 35 | 1.579 % |
896.07/896.10 c | 1558715 | 3554 17826 57630 | 45329 42027 35 | 1.579 % |
896.97/896.93 c | 1559740 | 3554 17826 57630 | 45329 43052 35 | 1.579 % |
898.47/898.46 c | 1561789 | 3554 17826 57630 | 43315 36328 34 | 1.579 % |
901.47/901.45 c | 1565886 | 3554 17826 57630 | 43315 40425 35 | 1.579 % |
901.87/901.86 c | 1566398 | 3554 17826 57630 | 43315 40937 35 | 1.579 % |
902.37/902.32 c | 1566910 | 3554 17826 57630 | 43315 41449 35 | 1.579 % |
903.27/903.27 c | 1567934 | 3554 17826 57630 | 43315 42473 35 | 1.579 % |
903.67/903.69 c | 1568446 | 3554 17826 57630 | 43315 42985 35 | 1.579 % |
904.17/904.13 c | 1568958 | 3554 17826 57630 | 43315 43497 35 | 1.579 % |
904.97/904.98 c | 1569983 | 3554 17826 57630 | 43315 36590 35 | 1.579 % |
906.57/906.54 c | 1572034 | 3554 17826 57630 | 36607 32035 35 | 1.579 % |
906.77/906.80 c | 1572546 | 3554 17826 57630 | 36607 32547 35 | 1.580 % |
907.07/907.03 c | 1573058 | 3554 17826 57630 | 36607 33059 35 | 1.580 % |
907.58/907.57 c | 1574085 | 3554 17826 57630 | 36607 34086 35 | 1.580 % |
907.77/907.80 c | 1574598 | 3554 17826 57630 | 36607 34599 35 | 1.580 % |
908.07/908.07 c | 1575112 | 3554 17826 57630 | 36607 35113 35 | 1.580 % |
908.57/908.59 c | 1576136 | 3554 17826 57630 | 36607 36137 35 | 1.579 % |
909.87/909.83 c | 1578188 | 3554 17826 57630 | 36607 33087 33 | 1.579 % |
912.17/912.13 c | 1582286 | 3554 17826 57630 | 34900 31835 32 | 1.579 % |
917.37/917.39 c | 1590478 | 3554 17826 57630 | 33975 28559 32 | 1.579 % |
926.87/926.87 c | 1606862 | 3554 17826 57630 | 32389 29693 36 | 1.579 % |
947.06/947.03 c | 1639630 | 3550 17797 57544 | 25681 25057 35 | 1.689 % |
984.07/984.08 c | 1705169 | 3549 17785 57508 | 31226 30238 37 | 1.718 % |
984.47/984.43 c | 1705684 | 3549 17785 57508 | 31226 30753 37 | 1.717 % |
984.77/984.76 c | 1706196 | 3549 17785 57508 | 31226 31265 37 | 1.717 % |
985.37/985.32 c | 1707220 | 3549 17785 57508 | 31226 25657 35 | 1.717 % |
985.57/985.55 c | 1707732 | 3549 17785 57508 | 31226 26169 35 | 1.717 % |
985.77/985.79 c | 1708244 | 3549 17785 57508 | 31226 26681 35 | 1.717 % |
986.27/986.29 c | 1709269 | 3549 17785 57508 | 31226 27706 35 | 1.717 % |
987.17/987.20 c | 1711317 | 3549 17785 57508 | 28438 24528 34 | 1.717 % |
987.37/987.37 c | 1711830 | 3549 17785 57508 | 28438 25041 34 | 1.717 % |
987.67/987.63 c | 1712342 | 3549 17785 57508 | 28438 25553 34 | 1.717 % |
988.07/988.03 c | 1713368 | 3549 17785 57508 | 28438 26579 34 | 1.717 % |
988.27/988.29 c | 1713880 | 3549 17785 57508 | 28438 27091 34 | 1.717 % |
988.47/988.50 c | 1714393 | 3549 17785 57508 | 28438 27604 35 | 1.717 % |
988.97/988.93 c | 1715417 | 3549 17785 57508 | 28438 28628 35 | 1.717 % |
989.67/989.70 c | 1717466 | 3549 17785 57508 | 28438 27019 35 | 1.717 % |
991.77/991.79 c | 1721564 | 3549 17785 57508 | 26081 24419 34 | 1.717 % |
991.97/991.96 c | 1722078 | 3549 17785 57508 | 26081 24933 34 | 1.718 % |
992.17/992.13 c | 1722591 | 3549 17785 57508 | 26081 25446 34 | 1.719 % |
992.57/992.51 c | 1723615 | 3549 17785 57508 | 26081 26470 34 | 1.717 % |
992.77/992.76 c | 1724127 | 3549 17785 57508 | 26081 24335 34 | 1.717 % |
992.97/992.98 c | 1724639 | 3549 17785 57508 | 26081 24847 34 | 1.717 % |
993.37/993.38 c | 1725663 | 3549 17785 57508 | 26081 25871 34 | 1.717 % |
994.57/994.52 c | 1727711 | 3549 17785 57508 | 26081 25202 36 | 1.717 % |
994.77/994.78 c | 1728223 | 3549 17785 57508 | 26081 25714 36 | 1.717 % |
994.97/995.00 c | 1728737 | 3549 17785 57508 | 26081 26228 36 | 1.717 % |
995.47/995.44 c | 1729762 | 3549 17785 57508 | 26081 24631 36 | 1.717 % |
995.77/995.72 c | 1730275 | 3549 17785 57508 | 2147483647 25144 37 | 1.717 % |
996.07/996.06 c | 1730787 | 3549 17785 57508 | 2147483647 25656 36 | 1.717 % |
996.67/996.62 c | 1731812 | 3549 17785 57508 | 2147483647 26681 37 | 1.717 % |
997.87/997.91 c | 1733861 | 3549 17785 57508 | 2147483647 28730 37 | 1.717 % |
1000.37/1000.40 c | 1737957 | 3549 17785 57508 | 2147483647 32826 37 | 1.717 % |
1006.37/1006.40 c | 1746149 | 3548 17780 57494 | 34868 31512 35 | 1.745 % |
1006.87/1006.81 c | 1746661 | 3548 17780 57494 | 34868 32024 35 | 1.745 % |
1007.17/1007.12 c | 1747175 | 3548 17780 57494 | 34868 32538 35 | 1.745 % |
1007.67/1007.70 c | 1748199 | 3548 17780 57494 | 34868 33562 34 | 1.745 % |
1008.07/1008.02 c | 1748711 | 3548 17780 57494 | 34868 34074 35 | 1.745 % |
1008.37/1008.34 c | 1749225 | 3548 17780 57494 | 34868 34588 35 | 1.745 % |
1008.97/1008.98 c | 1750251 | 3548 17780 57494 | 29981 30231 33 | 1.745 % |
1010.17/1010.16 c | 1752300 | 3548 17780 57494 | 29981 27820 31 | 1.745 % |
1010.47/1010.46 c | 1752812 | 3548 17780 57494 | 29981 28332 31 | 1.745 % |
1010.77/1010.77 c | 1753325 | 3548 17780 57494 | 29981 28845 32 | 1.745 % |
1011.47/1011.44 c | 1754350 | 3548 17780 57494 | 29981 29870 32 | 1.745 % |
1011.77/1011.72 c | 1754862 | 3548 17780 57494 | 29981 30382 32 | 1.745 % |
1012.07/1012.03 c | 1755374 | 3548 17780 57494 | 29981 25911 31 | 1.745 % |
1012.67/1012.62 c | 1756401 | 3548 17780 57494 | 29981 26938 31 | 1.745 % |
1014.07/1014.01 c | 1758450 | 3548 17780 57494 | 29981 28987 31 | 1.745 % |
1016.67/1016.64 c | 1762548 | 3548 17780 57494 | 30537 28253 31 | 1.745 % |
1016.87/1016.82 c | 1763060 | 3548 17780 57494 | 30537 28765 31 | 1.745 % |
1017.07/1017.01 c | 1763572 | 3548 17780 57494 | 30537 29277 31 | 1.746 % |
1017.37/1017.39 c | 1764596 | 3548 17780 57494 | 30537 30301 31 | 1.745 % |
1017.58/1017.59 c | 1765109 | 3548 17780 57494 | 30537 30814 31 | 1.745 % |
1017.87/1017.84 c | 1765621 | 3548 17780 57494 | 30537 27931 30 | 1.746 % |
1018.27/1018.28 c | 1766645 | 3548 17780 57494 | 30537 28955 30 | 1.745 % |
1019.57/1019.60 c | 1768695 | 3548 17780 57494 | 30537 27907 31 | 1.745 % |
1019.87/1019.88 c | 1769207 | 3548 17780 57494 | 30537 28419 31 | 1.745 % |
1020.17/1020.17 c | 1769719 | 3548 17780 57494 | 30537 28931 31 | 1.745 % |
1020.67/1020.71 c | 1770744 | 3548 17780 57494 | 2147483647 29956 31 | 1.745 % |
1020.97/1020.95 c | 1771256 | 3548 17780 57494 | 2147483647 30468 31 | 1.745 % |
1021.27/1021.26 c | 1771770 | 3548 17780 57494 | 2147483647 30982 31 | 1.745 % |
1021.98/1021.97 c | 1772796 | 3548 17780 57494 | 2147483647 32008 31 | 1.745 % |
1023.47/1023.47 c | 1774845 | 3548 17780 57494 | 2147483647 34057 31 | 1.745 % |
1026.47/1026.45 c | 1778941 | 3548 17780 57494 | 2147483647 38153 31 | 1.745 % |
1032.57/1032.59 c | 1787134 | 3548 17780 57494 | 39212 35582 30 | 1.745 % |
1045.17/1045.19 c | 1803518 | 3548 17780 57494 | 32625 29355 30 | 1.745 % |
1045.37/1045.39 c | 1804032 | 3548 17780 57494 | 32625 29869 30 | 1.746 % |
1045.57/1045.53 c | 1804545 | 3548 17780 57494 | 32625 30382 31 | 1.746 % |
1045.97/1045.99 c | 1805570 | 3548 17780 57494 | 32625 31407 31 | 1.746 % |
1046.18/1046.14 c | 1806084 | 3548 17780 57494 | 32625 31921 31 | 1.746 % |
1046.37/1046.37 c | 1806596 | 3548 17780 57494 | 32625 32433 31 | 1.746 % |
1046.77/1046.75 c | 1807622 | 3548 17780 57494 | 32625 33459 32 | 1.745 % |
1047.97/1047.94 c | 1809671 | 3548 17780 57494 | 32625 30966 32 | 1.745 % |
1048.27/1048.24 c | 1810185 | 3548 17780 57494 | 31297 31480 32 | 1.745 % |
1048.57/1048.60 c | 1810697 | 3548 17780 57494 | 31297 27719 31 | 1.745 % |
1049.07/1049.06 c | 1811723 | 3548 17780 57494 | 31297 28745 31 | 1.745 % |
1049.37/1049.35 c | 1812235 | 3548 17780 57494 | 31297 29257 31 | 1.745 % |
1049.57/1049.60 c | 1812748 | 3548 17780 57494 | 31297 29770 31 | 1.745 % |
1050.27/1050.29 c | 1813772 | 3548 17780 57494 | 31297 30794 31 | 1.745 % |
1051.57/1051.57 c | 1815821 | 3548 17780 57494 | 31297 28777 32 | 1.745 % |
1053.97/1053.92 c | 1819919 | 3548 17780 57494 | 31297 28133 31 | 1.745 % |
1054.17/1054.16 c | 1820431 | 3548 17780 57494 | 28214 28645 31 | 1.745 % |
1054.47/1054.46 c | 1820944 | 3548 17780 57494 | 28214 24810 30 | 1.745 % |
1054.98/1054.98 c | 1821968 | 3548 17780 57494 | 28214 25834 30 | 1.745 % |
1055.27/1055.23 c | 1822481 | 3548 17780 57494 | 28214 26347 30 | 1.745 % |
1055.47/1055.48 c | 1822994 | 3548 17780 57494 | 28214 26860 30 | 1.745 % |
1055.97/1055.99 c | 1824020 | 3548 17780 57494 | 28214 27886 30 | 1.745 % |
1056.77/1056.79 c | 1826068 | 3548 17780 57494 | 28214 26583 30 | 1.745 % |
1056.97/1056.94 c | 1826581 | 3548 17780 57494 | 28214 27096 30 | 1.746 % |
1057.17/1057.15 c | 1827093 | 3548 17780 57494 | 28214 27608 30 | 1.746 % |
1057.66/1057.63 c | 1828117 | 3548 17780 57494 | 28214 28632 31 | 1.746 % |
1057.86/1057.89 c | 1828632 | 3548 17780 57494 | 28214 26115 30 | 1.745 % |
1058.16/1058.15 c | 1829146 | 3548 17780 57494 | 28214 26629 30 | 1.745 % |
1058.66/1058.65 c | 1830171 | 3548 17780 57494 | 27486 27654 30 | 1.745 % |
1059.86/1059.87 c | 1832219 | 3548 17780 57494 | 27486 26818 30 | 1.745 % |
1061.96/1061.93 c | 1836317 | 3548 17780 57494 | 27486 27982 30 | 1.745 % |
1066.77/1066.77 c | 1844509 | 3546 17771 57466 | 25699 24953 30 | 1.800 % |
1066.97/1066.97 c | 1845022 | 3546 17771 57466 | 25699 25466 30 | 1.801 % |
1067.17/1067.16 c | 1845534 | 3546 17771 57466 | 25699 25978 30 | 1.802 % |
1067.57/1067.54 c | 1846558 | 3546 17771 57466 | 25699 24405 29 | 1.802 % |
1067.67/1067.69 c | 1847071 | 3546 17771 57466 | 25699 24918 30 | 1.800 % |
1067.87/1067.88 c | 1847588 | 3546 17771 57466 | 25699 25435 31 | 1.802 % |
1068.27/1068.21 c | 1848612 | 3546 17771 57466 | 25699 26459 32 | 1.800 % |
1069.27/1069.23 c | 1850660 | 3546 17771 57466 | 2147483647 25862 31 | 1.800 % |
1069.47/1069.44 c | 1851173 | 3546 17771 57466 | 2147483647 26375 31 | 1.800 % |
1069.67/1069.69 c | 1851685 | 3546 17771 57466 | 2147483647 26887 31 | 1.800 % |
1070.27/1070.23 c | 1852710 | 3546 17771 57466 | 2147483647 27912 32 | 1.800 % |
1070.57/1070.52 c | 1853222 | 3546 17771 57466 | 2147483647 28424 32 | 1.800 % |
1070.77/1070.77 c | 1853734 | 3546 17771 57466 | 2147483647 28936 32 | 1.800 % |
1071.37/1071.32 c | 1854759 | 3546 17771 57466 | 2147483647 29961 32 | 1.800 % |
1072.67/1072.70 c | 1856807 | 3546 17771 57466 | 2147483647 32009 32 | 1.800 % |
1075.27/1075.27 c | 1860904 | 3546 17771 57466 | 35204 32466 32 | 1.800 % |
1075.57/1075.60 c | 1861417 | 3546 17771 57466 | 35204 32979 32 | 1.800 % |
1075.87/1075.90 c | 1861929 | 3546 17771 57466 | 35204 33491 32 | 1.800 % |
1076.57/1076.58 c | 1862954 | 3546 17771 57466 | 35204 34516 33 | 1.800 % |
1076.87/1076.91 c | 1863467 | 3546 17771 57466 | 35204 35029 33 | 1.800 % |
1077.17/1077.20 c | 1863980 | 3546 17771 57466 | 35204 35542 33 | 1.800 % |
1077.97/1077.94 c | 1865004 | 3546 17771 57466 | 35204 31348 33 | 1.800 % |
1079.07/1079.07 c | 1867053 | 3546 17771 57466 | 35204 33397 33 | 1.801 % |
1079.37/1079.34 c | 1867566 | 3546 17771 57466 | 35204 33910 33 | 1.802 % |
1079.57/1079.56 c | 1868081 | 3546 17771 57466 | 35204 34425 33 | 1.801 % |
1080.17/1080.15 c | 1869105 | 3546 17771 57466 | 35204 35449 34 | 1.802 % |
1080.47/1080.45 c | 1869619 | 3546 17771 57466 | 35204 30853 33 | 1.802 % |
1080.67/1080.70 c | 1870136 | 3546 17771 57466 | 31235 31370 33 | 1.800 % |
1081.27/1081.23 c | 1871160 | 3546 17771 57466 | 31235 27976 31 | 1.800 % |
1082.17/1082.18 c | 1873209 | 3546 17771 57466 | 31235 30025 31 | 1.800 % |
1084.37/1084.39 c | 1877307 | 3546 17771 57466 | 31235 30936 31 | 1.800 % |
1088.97/1089.01 c | 1885499 | 3546 17771 57466 | 2147483647 35925 34 | 1.800 % |
1098.97/1098.99 c | 1901883 | 3544 17753 57410 | 38571 35034 34 | 1.857 % |
1118.47/1118.44 c | 1934654 | 3544 17753 57410 | 31919 31428 28 | 1.855 % |
1118.67/1118.69 c | 1935166 | 3544 17753 57410 | 31919 31940 28 | 1.855 % |
1119.07/1119.03 c | 1935678 | 3544 17753 57410 | 31919 32452 28 | 1.855 % |
1119.57/1119.58 c | 1936704 | 3544 17753 57410 | 31919 29101 27 | 1.857 % |
1119.87/1119.82 c | 1937216 | 3544 17753 57410 | 31919 29613 27 | 1.855 % |
1120.07/1120.10 c | 1937728 | 3544 17753 57410 | 31919 30125 27 | 1.855 % |
1120.67/1120.64 c | 1938753 | 3544 17753 57410 | 31919 31150 27 | 1.856 % |
1121.87/1121.90 c | 1940801 | 3544 17753 57410 | 32398 27745 26 | 1.855 % |
1122.17/1122.14 c | 1941315 | 3544 17753 57410 | 32398 28259 27 | 1.856 % |
1122.37/1122.37 c | 1941829 | 3544 17753 57410 | 32398 28773 27 | 1.855 % |
1122.77/1122.80 c | 1942853 | 3544 17753 57410 | 32398 29797 27 | 1.855 % |
1123.07/1123.03 c | 1943365 | 3544 17753 57410 | 32398 30309 27 | 1.856 % |
1123.27/1123.23 c | 1943877 | 3544 17753 57410 | 32398 30821 28 | 1.855 % |
1123.67/1123.67 c | 1944901 | 3544 17753 57410 | 32398 31845 29 | 1.856 % |
1124.77/1124.73 c | 1946950 | 3544 17753 57410 | 32398 29768 29 | 1.855 % |
1127.27/1127.21 c | 1951046 | 3544 17753 57410 | 32818 29334 32 | 1.855 % |
1127.47/1127.42 c | 1951558 | 3544 17753 57410 | 32818 29846 32 | 1.857 % |
1127.67/1127.61 c | 1952070 | 3544 17753 57410 | 32818 30358 33 | 1.856 % |
1128.17/1128.16 c | 1953094 | 3544 17753 57410 | 32818 31382 33 | 1.857 % |
1128.37/1128.33 c | 1953606 | 3544 17753 57410 | 32818 31894 33 | 1.856 % |
1128.57/1128.59 c | 1954118 | 3544 17753 57410 | 32818 32406 33 | 1.856 % |
1129.17/1129.14 c | 1955142 | 3544 17753 57410 | 32818 30083 34 | 1.856 % |
1130.07/1130.09 c | 1957190 | 3544 17753 57410 | 32818 32131 35 | 1.856 % |
1130.37/1130.34 c | 1957702 | 3544 17753 57410 | 32818 32643 35 | 1.856 % |
1130.67/1130.65 c | 1958216 | 3544 17753 57410 | 32818 33157 35 | 1.855 % |
1131.27/1131.30 c | 1959240 | 3544 17753 57410 | 32818 30866 36 | 1.856 % |
1131.57/1131.55 c | 1959755 | 3544 17753 57410 | 32818 31381 36 | 1.855 % |
1131.77/1131.79 c | 1960268 | 3544 17753 57410 | 2147483647 31894 36 | 1.856 % |
1132.47/1132.49 c | 1961293 | 3544 17753 57410 | 2147483647 32919 36 | 1.855 % |
1133.87/1133.89 c | 1963342 | 3544 17753 57410 | 2147483647 34968 36 | 1.855 % |
1136.97/1136.93 c | 1967438 | 3544 17753 57410 | 2147483647 39064 36 | 1.855 % |
1142.27/1142.21 c | 1975630 | 3544 17753 57410 | 41628 42011 36 | 1.856 % |
1142.57/1142.59 c | 1976142 | 3544 17753 57410 | 41628 36674 34 | 1.856 % |
1142.87/1142.88 c | 1976656 | 3544 17753 57410 | 41628 37188 35 | 1.857 % |
1143.47/1143.49 c | 1977680 | 3544 17753 57410 | 41628 38212 35 | 1.855 % |
1143.87/1143.81 c | 1978192 | 3544 17753 57410 | 41628 38724 35 | 1.855 % |
1144.17/1144.13 c | 1978705 | 3544 17753 57410 | 41628 39237 35 | 1.855 % |
1144.87/1144.83 c | 1979733 | 3544 17753 57410 | 41628 40265 34 | 1.855 % |
1146.28/1146.27 c | 1981783 | 3544 17753 57410 | 40532 36355 31 | 1.855 % |
1146.57/1146.59 c | 1982295 | 3544 17753 57410 | 40532 36867 31 | 1.855 % |
1146.87/1146.84 c | 1982807 | 3544 17753 57410 | 40532 37379 31 | 1.855 % |
1147.47/1147.46 c | 1983831 | 3544 17753 57410 | 40532 38403 32 | 1.855 % |
1147.77/1147.80 c | 1984344 | 3544 17753 57410 | 40532 38916 32 | 1.855 % |
1148.27/1148.22 c | 1984859 | 3544 17753 57410 | 40532 39431 32 | 1.855 % |
1149.07/1149.02 c | 1985883 | 3544 17753 57410 | 40532 40455 32 | 1.855 % |
1150.68/1150.63 c | 1987931 | 3544 17753 57410 | 40532 36169 30 | 1.855 % |
1153.87/1153.87 c | 1992027 | 3544 17753 57410 | 38238 33641 30 | 1.855 % |
1154.07/1154.06 c | 1992539 | 3544 17753 57410 | 38238 34153 30 | 1.857 % |
1154.47/1154.44 c | 1993051 | 3544 17753 57410 | 38238 34665 30 | 1.857 % |
1155.17/1155.12 c | 1994075 | 3544 17753 57410 | 38238 35689 30 | 1.856 % |
1155.37/1155.37 c | 1994590 | 3544 17753 57410 | 38238 36204 30 | 1.857 % |
1155.67/1155.63 c | 1995106 | 3544 17753 57410 | 38238 36720 30 | 1.857 % |
1156.27/1156.29 c | 1996131 | 3544 17753 57410 | 38238 37745 30 | 1.857 % |
1157.57/1157.57 c | 1998180 | 3544 17753 57410 | 38238 32519 29 | 1.855 % |
1157.87/1157.81 c | 1998692 | 3544 17753 57410 | 38238 33031 30 | 1.855 % |
1158.07/1158.07 c | 1999205 | 3544 17753 57410 | 38238 33544 30 | 1.855 % |
1158.57/1158.51 c | 2000230 | 3544 17753 57410 | 34341 34569 30 | 1.855 % |
1158.87/1158.83 c | 2000742 | 3544 17753 57410 | 34341 28718 30 | 1.855 % |
1159.07/1159.09 c | 2001254 | 3544 17753 57410 | 34341 29230 31 | 1.856 % |
1159.67/1159.65 c | 2002280 | 3544 17753 57410 | 34341 30256 31 | 1.855 % |
1160.67/1160.64 c | 2004333 | 3544 17753 57410 | 34341 32309 32 | 1.856 % |
1163.27/1163.23 c | 2008429 | 3544 17753 57410 | 34341 30562 32 | 1.856 % |
1167.97/1167.99 c | 2016621 | 3544 17753 57410 | 32133 29237 34 | 1.856 % |
1178.08/1178.08 c | 2033005 | 3542 17740 57376 | 32892 31669 35 | 1.911 % |
1178.38/1178.34 c | 2033518 | 3542 17740 57376 | 32892 32182 35 | 1.911 % |
1178.58/1178.55 c | 2034030 | 3542 17740 57376 | 32892 32694 35 | 1.912 % |
1178.98/1178.97 c | 2035055 | 3542 17740 57376 | 32892 33719 36 | 1.912 % |
1179.18/1179.19 c | 2035568 | 3542 17740 57376 | 32892 29789 35 | 1.912 % |
1179.38/1179.40 c | 2036081 | 3542 17740 57376 | 32892 30302 36 | 1.912 % |
1179.88/1179.84 c | 2037107 | 3542 17740 57376 | 32892 31328 36 | 1.912 % |
1180.88/1180.82 c | 2039157 | 3542 17740 57376 | 32892 33378 36 | 1.911 % |
1181.18/1181.18 c | 2039669 | 3542 17740 57376 | 32892 30191 35 | 1.911 % |
1181.48/1181.51 c | 2040181 | 3542 17740 57376 | 30522 30703 35 | 1.911 % |
1182.28/1182.25 c | 2041205 | 3542 17740 57376 | 30522 28089 34 | 1.911 % |
1182.48/1182.50 c | 2041717 | 3542 17740 57376 | 30522 28601 34 | 1.911 % |
1182.88/1182.84 c | 2042229 | 3542 17740 57376 | 30522 29113 34 | 1.911 % |
1183.58/1183.56 c | 2043253 | 3542 17740 57376 | 30522 30137 34 | 1.911 % |
1184.78/1184.77 c | 2045304 | 3542 17740 57376 | 30522 27968 32 | 1.911 % |
1187.08/1187.06 c | 2049401 | 3542 17740 57376 | 30522 27684 31 | 1.911 % |
1187.38/1187.41 c | 2049914 | 3542 17740 57376 | 30522 28197 31 | 1.911 % |
1187.88/1187.88 c | 2050426 | 3542 17740 57376 | 28284 24942 30 | 1.911 % |
1188.68/1188.65 c | 2051452 | 3542 17740 57376 | 28284 25968 30 | 1.911 % |
1188.98/1188.93 c | 2051966 | 3542 17740 57376 | 28284 26482 31 | 1.911 % |
1189.28/1189.27 c | 2052481 | 3542 17740 57376 | 28284 26997 31 | 1.911 % |
1189.98/1189.99 c | 2053506 | 3542 17740 57376 | 28284 28022 31 | 1.911 % |
1190.98/1190.97 c | 2055556 | 3542 17740 57376 | 28284 26739 30 | 1.912 % |
1191.18/1191.15 c | 2056069 | 3542 17740 57376 | 28284 27252 30 | 1.911 % |
1191.38/1191.40 c | 2056583 | 3542 17740 57376 | 28284 27766 31 | 1.912 % |
1191.88/1191.84 c | 2057607 | 3542 17740 57376 | 28284 28790 31 | 1.912 % |
1192.18/1192.12 c | 2058120 | 3542 17740 57376 | 28284 26373 30 | 1.911 % |
1192.28/1192.30 c | 2058633 | 3542 17740 57376 | 28284 26886 30 | 1.911 % |
1192.78/1192.74 c | 2059658 | 3542 17740 57376 | 28284 27911 31 | 1.911 % |
1193.88/1193.81 c | 2061708 | 3542 17740 57376 | 2147483647 29961 32 | 1.911 % |
1196.08/1196.03 c | 2065807 | 3542 17740 57376 | 2147483647 34060 33 | 1.911 % |
1200.08/1200.02 HOME/SatELiteGTI: line 36: 18004 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-1820435-1242443963/watcher-1820435-1242443963 -o /tmp/evaluation-result-1820435-1242443963/solver-1820435-1242443963 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820435-1242443963.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: 1.00 1.04 1.02 2/91 17998
/proc/meminfo: memFree=788916/2074464 swapFree=1953004/1959888
[pid=17998] ppid=17996 vsize=2416 CPUtime=0
/proc/17998/stat : 17998 (SatELiteGTI) R 17996 17998 9090 0 -1 4194304 353 646 0 0 0 0 0 0 25 0 1 0 1008896611 2473984 276 4294967295 134512640 135169312 3218100304 3218098780 3085043572 0 65538 4 65536 0 0 0 17 1 0 0 0
/proc/17998/statm: 604 276 235 161 0 43 0
[pid=18002] ppid=17998 vsize=0 CPUtime=0
/proc/18002/stat : 18002 (SatELiteGTI) R 17998 17998 9090 0 -1 4194368 65 0 0 0 0 0 0 0 25 0 1 0 1008896612 0 0 4294967295 0 0 0 3218098932 3085044202 0 0 0 0 0 0 0 17 3 0 0 0
/proc/18002/statm: 0 0 0 0 0 0 0
[startup+0.095184 s]
/proc/loadavg: 1.00 1.04 1.02 2/91 17998
/proc/meminfo: memFree=788916/2074464 swapFree=1953004/1959888
[pid=17998] ppid=17996 vsize=2416 CPUtime=0
/proc/17998/stat : 17998 (SatELiteGTI) S 17996 17998 9090 0 -1 4194304 366 646 0 0 0 0 0 0 25 0 1 0 1008896611 2473984 276 4294967295 134512640 135169312 3218100304 3218098840 3085041390 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/17998/statm: 604 276 235 161 0 43 0
[pid=18002] ppid=17998 vsize=5216 CPUtime=0.1
/proc/18002/stat : 18002 (SatELite_releas) R 17998 17998 9090 0 -1 4202496 1220 0 0 0 9 1 0 0 25 0 1 0 1008896612 5341184 1132 4294967295 134512640 135223648 3217627088 3217625104 134586685 0 0 0 3 0 0 0 17 3 0 0 0
/proc/18002/statm: 1304 1132 73 174 0 1129 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 7632
[startup+0.105183 s]
/proc/loadavg: 1.00 1.04 1.02 2/91 17998
/proc/meminfo: memFree=788916/2074464 swapFree=1953004/1959888
[pid=17998] ppid=17996 vsize=2416 CPUtime=0
/proc/17998/stat : 17998 (SatELiteGTI) S 17996 17998 9090 0 -1 4194304 366 646 0 0 0 0 0 0 25 0 1 0 1008896611 2473984 276 4294967295 134512640 135169312 3218100304 3218098840 3085041390 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/17998/statm: 604 276 235 161 0 43 0
[pid=18002] ppid=17998 vsize=5216 CPUtime=0.11
/proc/18002/stat : 18002 (SatELite_releas) R 17998 17998 9090 0 -1 4202496 1220 0 0 0 10 1 0 0 25 0 1 0 1008896612 5341184 1132 4294967295 134512640 135223648 3217627088 3217625104 134586827 0 0 0 3 0 0 0 17 3 0 0 0
/proc/18002/statm: 1304 1132 73 174 0 1129 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 7632
[startup+0.305179 s]
/proc/loadavg: 1.00 1.04 1.02 2/91 17998
/proc/meminfo: memFree=788916/2074464 swapFree=1953004/1959888
[pid=17998] ppid=17996 vsize=2420 CPUtime=0.26
/proc/17998/stat : 17998 (SatELiteGTI) S 17996 17998 9090 0 -1 4194304 386 2070 0 0 1 0 24 1 23 0 1 0 1008896611 2478080 278 4294967295 134512640 135169312 3218100304 3218096520 3085041390 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/17998/statm: 605 278 235 161 0 44 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 2420
[startup+0.705159 s]
/proc/loadavg: 1.00 1.04 1.02 2/91 17998
/proc/meminfo: memFree=788916/2074464 swapFree=1953004/1959888
[pid=17998] ppid=17996 vsize=2420 CPUtime=0.26
/proc/17998/stat : 17998 (SatELiteGTI) S 17996 17998 9090 0 -1 4194304 386 2070 0 0 1 0 24 1 23 0 1 0 1008896611 2478080 278 4294967295 134512640 135169312 3218100304 3218096520 3085041390 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/17998/statm: 605 278 235 161 0 44 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 2420
[startup+1.50512 s]
/proc/loadavg: 1.00 1.04 1.02 2/93 18004
/proc/meminfo: memFree=785552/2074464 swapFree=1953004/1959888
[pid=17998] ppid=17996 vsize=2420 CPUtime=0.26
/proc/17998/stat : 17998 (SatELiteGTI) S 17996 17998 9090 0 -1 4194304 386 2070 0 0 1 0 24 1 23 0 1 0 1008896611 2478080 278 4294967295 134512640 135169312 3218100304 3218096520 3085041390 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/17998/statm: 605 278 235 161 0 44 0
[pid=18004] ppid=17998 vsize=4388 CPUtime=1.26
/proc/18004/stat : 18004 (minisat_static) R 17998 17998 9090 0 -1 4202496 854 0 0 0 125 1 0 0 25 0 1 0 1008896637 4493312 788 4294967295 134512640 135216591 3221101440 3221099632 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/18004/statm: 1097 788 75 172 0 924 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 6808
[startup+3.10504 s]
/proc/loadavg: 1.00 1.04 1.02 2/93 18005
/proc/meminfo: memFree=785304/2074464 swapFree=1953004/1959888
[pid=17998] ppid=17996 vsize=2420 CPUtime=0.26
/proc/17998/stat : 17998 (SatELiteGTI) S 17996 17998 9090 0 -1 4194304 386 2070 0 0 1 0 24 1 23 0 1 0 1008896611 2478080 278 4294967295 134512640 135169312 3218100304 3218096520 3085041390 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/17998/statm: 605 278 235 161 0 44 0
[pid=18004] ppid=17998 vsize=5180 CPUtime=2.86
/proc/18004/stat : 18004 (minisat_static) R 17998 17998 9090 0 -1 4202496 1077 0 0 0 285 1 0 0 25 0 1 0 1008896637 5304320 1011 4294967295 134512640 135216591 3221101440 3221099632 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/18004/statm: 1295 1011 75 172 0 1122 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 7600
[startup+6.30489 s]
/proc/loadavg: 1.00 1.04 1.02 2/93 18006
/proc/meminfo: memFree=783228/2074464 swapFree=1953004/1959888
[pid=17998] ppid=17996 vsize=2420 CPUtime=0.26
/proc/17998/stat : 17998 (SatELiteGTI) S 17996 17998 9090 0 -1 4194304 386 2070 0 0 1 0 24 1 23 0 1 0 1008896611 2478080 278 4294967295 134512640 135169312 3218100304 3218096520 3085041390 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/17998/statm: 605 278 235 161 0 44 0
[pid=18004] ppid=17998 vsize=7572 CPUtime=6.06
/proc/18004/stat : 18004 (minisat_static) R 17998 17998 9090 0 -1 4202496 1642 0 0 0 605 1 0 0 25 0 1 0 1008896637 7753728 1576 4294967295 134512640 135216591 3221101440 3221099632 134529308 0 0 0 3 0 0 0 17 3 0 0 0
/proc/18004/statm: 1893 1576 75 172 0 1720 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 9992
[startup+12.7046 s]
/proc/loadavg: 1.00 1.04 1.02 2/93 18007
/proc/meminfo: memFree=780184/2074464 swapFree=1953004/1959888
[pid=17998] ppid=17996 vsize=2420 CPUtime=0.26
/proc/17998/stat : 17998 (SatELiteGTI) S 17996 17998 9090 0 -1 4194304 386 2070 0 0 1 0 24 1 23 0 1 0 1008896611 2478080 278 4294967295 134512640 135169312 3218100304 3218096520 3085041390 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/17998/statm: 605 278 235 161 0 44 0
[pid=18004] ppid=17998 vsize=10004 CPUtime=12.46
/proc/18004/stat : 18004 (minisat_static) R 17998 17998 9090 0 -1 4202496 2254 0 0 0 1245 1 0 0 25 0 1 0 1008896637 10244096 2188 4294967295 134512640 135216591 3221101440 3221099632 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/18004/statm: 2501 2188 75 172 0 2328 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 12424
[startup+25.504 s]
/proc/loadavg: 1.00 1.04 1.02 2/93 18007
/proc/meminfo: memFree=777576/2074464 swapFree=1953004/1959888
[pid=17998] ppid=17996 vsize=2420 CPUtime=0.26
/proc/17998/stat : 17998 (SatELiteGTI) S 17996 17998 9090 0 -1 4194304 386 2070 0 0 1 0 24 1 23 0 1 0 1008896611 2478080 278 4294967295 134512640 135169312 3218100304 3218096520 3085041390 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/17998/statm: 605 278 235 161 0 44 0
[pid=18004] ppid=17998 vsize=12792 CPUtime=25.26
/proc/18004/stat : 18004 (minisat_static) R 17998 17998 9090 0 -1 4202496 2929 0 0 0 2523 3 0 0 25 0 1 0 1008896637 13099008 2863 4294967295 134512640 135216591 3221101440 3221099632 134529251 0 0 0 3 0 0 0 17 3 0 0 0
/proc/18004/statm: 3198 2863 75 172 0 3025 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 15212
[startup+51.1128 s]
/proc/loadavg: 1.00 1.03 1.02 2/93 18192
/proc/meminfo: memFree=777156/2074464 swapFree=1953004/1959888
[pid=17998] ppid=17996 vsize=2420 CPUtime=0.26
/proc/17998/stat : 17998 (SatELiteGTI) S 17996 17998 9090 0 -1 4194304 386 2070 0 0 1 0 24 1 23 0 1 0 1008896611 2478080 278 4294967295 134512640 135169312 3218100304 3218096520 3085041390 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/17998/statm: 605 278 235 161 0 44 0
[pid=18004] ppid=17998 vsize=12928 CPUtime=50.87
/proc/18004/stat : 18004 (minisat_static) R 17998 17998 9090 0 -1 4202496 2959 0 0 0 5084 3 0 0 25 0 1 0 1008896637 13238272 2893 4294967295 134512640 135216591 3221101440 3221099632 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/18004/statm: 3232 2893 75 172 0 3059 0
Current children cumulated CPU time (s) 51.13
Current children cumulated vsize (KiB) 15348
[startup+102.32 s]
/proc/loadavg: 1.00 1.03 1.01 2/93 18383
/proc/meminfo: memFree=775396/2074464 swapFree=1953004/1959888
[pid=17998] ppid=17996 vsize=2420 CPUtime=0.26
/proc/17998/stat : 17998 (SatELiteGTI) S 17996 17998 9090 0 -1 4194304 386 2070 0 0 1 0 24 1 23 0 1 0 1008896611 2478080 278 4294967295 134512640 135169312 3218100304 3218096520 3085041390 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/17998/statm: 605 278 235 161 0 44 0
[pid=18004] ppid=17998 vsize=14264 CPUtime=102.08
/proc/18004/stat : 18004 (minisat_static) R 17998 17998 9090 0 -1 4202496 3313 0 0 0 10205 3 0 0 25 0 1 0 1008896637 14606336 3247 4294967295 134512640 135216591 3221101440 3221099632 134528826 0 0 0 3 0 0 0 17 3 0 0 0
/proc/18004/statm: 3566 3247 75 172 0 3393 0
Current children cumulated CPU time (s) 102.34
Current children cumulated vsize (KiB) 16684
[startup+162.317 s]
/proc/loadavg: 1.00 1.02 1.01 2/93 18572
/proc/meminfo: memFree=775232/2074464 swapFree=1953004/1959888
[pid=17998] ppid=17996 vsize=2420 CPUtime=0.26
/proc/17998/stat : 17998 (SatELiteGTI) S 17996 17998 9090 0 -1 4194304 386 2070 0 0 1 0 24 1 23 0 1 0 1008896611 2478080 278 4294967295 134512640 135169312 3218100304 3218096520 3085041390 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/17998/statm: 605 278 235 161 0 44 0
[pid=18004] ppid=17998 vsize=14404 CPUtime=162.08
/proc/18004/stat : 18004 (minisat_static) R 17998 17998 9090 0 -1 4202496 3358 0 0 0 16204 4 0 0 25 0 1 0 1008896637 14749696 3292 4294967295 134512640 135216591 3221101440 3221099632 134529308 0 0 0 3 0 0 0 17 3 0 0 0
/proc/18004/statm: 3601 3292 75 172 0 3428 0
Current children cumulated CPU time (s) 162.34
Current children cumulated vsize (KiB) 16824
[startup+222.315 s]
/proc/loadavg: 1.00 1.02 1.00 3/93 18758
/proc/meminfo: memFree=775148/2074464 swapFree=1953004/1959888
[pid=17998] ppid=17996 vsize=2420 CPUtime=0.26
/proc/17998/stat : 17998 (SatELiteGTI) S 17996 17998 9090 0 -1 4194304 386 2070 0 0 1 0 24 1 23 0 1 0 1008896611 2478080 278 4294967295 134512640 135169312 3218100304 3218096520 3085041390 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/17998/statm: 605 278 235 161 0 44 0
[pid=18004] ppid=17998 vsize=14540 CPUtime=222.08
/proc/18004/stat : 18004 (minisat_static) R 17998 17998 9090 0 -1 4202496 3374 0 0 0 22204 4 0 0 25 0 1 0 1008896637 14888960 3308 4294967295 134512640 135216591 3221101440 3221099632 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/18004/statm: 3635 3308 75 172 0 3462 0
Current children cumulated CPU time (s) 222.34
Current children cumulated vsize (KiB) 16960
[startup+282.322 s]
/proc/loadavg: 1.00 1.01 1.00 2/93 18946
/proc/meminfo: memFree=774652/2074464 swapFree=1953004/1959888
[pid=17998] ppid=17996 vsize=2420 CPUtime=0.26
/proc/17998/stat : 17998 (SatELiteGTI) S 17996 17998 9090 0 -1 4194304 386 2070 0 0 1 0 24 1 23 0 1 0 1008896611 2478080 278 4294967295 134512640 135169312 3218100304 3218096520 3085041390 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/17998/statm: 605 278 235 161 0 44 0
[pid=18004] ppid=17998 vsize=14856 CPUtime=282.09
/proc/18004/stat : 18004 (minisat_static) R 17998 17998 9090 0 -1 4202496 3447 0 0 0 28205 4 0 0 25 0 1 0 1008896637 15212544 3381 4294967295 134512640 135216591 3221101440 3221099632 134528894 0 0 0 3 0 0 0 17 3 0 0 0
/proc/18004/statm: 3714 3381 75 172 0 3541 0
Current children cumulated CPU time (s) 282.35
Current children cumulated vsize (KiB) 17276
[startup+342.309 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 19137
/proc/meminfo: memFree=774544/2074464 swapFree=1953004/1959888
[pid=17998] ppid=17996 vsize=2420 CPUtime=0.26
/proc/17998/stat : 17998 (SatELiteGTI) S 17996 17998 9090 0 -1 4194304 386 2070 0 0 1 0 24 1 23 0 1 0 1008896611 2478080 278 4294967295 134512640 135169312 3218100304 3218096520 3085041390 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/17998/statm: 605 278 235 161 0 44 0
[pid=18004] ppid=17998 vsize=14856 CPUtime=342.08
/proc/18004/stat : 18004 (minisat_static) R 17998 17998 9090 0 -1 4202496 3461 0 0 0 34204 4 0 0 25 0 1 0 1008896637 15212544 3395 4294967295 134512640 135216591 3221101440 3221099632 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/18004/statm: 3714 3395 75 172 0 3541 0
Current children cumulated CPU time (s) 342.34
Current children cumulated vsize (KiB) 17276
[startup+402.316 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 19324
/proc/meminfo: memFree=774512/2074464 swapFree=1953004/1959888
[pid=17998] ppid=17996 vsize=2420 CPUtime=0.26
################
# More data... #
################
/proc/17998/statm: 605 278 235 161 0 44 0
[pid=18004] ppid=17998 vsize=15612 CPUtime=462.09
/proc/18004/stat : 18004 (minisat_static) R 17998 17998 9090 0 -1 4202496 3610 0 0 0 46205 4 0 0 25 0 1 0 1008896637 15986688 3544 4294967295 134512640 135216591 3221101440 3221099632 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/18004/statm: 3903 3544 75 172 0 3730 0
Current children cumulated CPU time (s) 462.35
Current children cumulated vsize (KiB) 18032
[startup+522.32 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 19703
/proc/meminfo: memFree=774148/2074464 swapFree=1953004/1959888
[pid=17998] ppid=17996 vsize=2420 CPUtime=0.26
/proc/17998/stat : 17998 (SatELiteGTI) S 17996 17998 9090 0 -1 4194304 386 2070 0 0 1 0 24 1 23 0 1 0 1008896611 2478080 278 4294967295 134512640 135169312 3218100304 3218096520 3085041390 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/17998/statm: 605 278 235 161 0 44 0
[pid=18004] ppid=17998 vsize=15612 CPUtime=522.1
/proc/18004/stat : 18004 (minisat_static) R 17998 17998 9090 0 -1 4202496 3612 0 0 0 52206 4 0 0 25 0 1 0 1008896637 15986688 3546 4294967295 134512640 135216591 3221101440 3221099632 134528857 0 0 0 3 0 0 0 17 3 0 0 0
/proc/18004/statm: 3903 3546 75 172 0 3730 0
Current children cumulated CPU time (s) 522.36
Current children cumulated vsize (KiB) 18032
[startup+582.317 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 19891
/proc/meminfo: memFree=772544/2074464 swapFree=1953004/1959888
[pid=17998] ppid=17996 vsize=2420 CPUtime=0.26
/proc/17998/stat : 17998 (SatELiteGTI) S 17996 17998 9090 0 -1 4194304 386 2070 0 0 1 0 24 1 23 0 1 0 1008896611 2478080 278 4294967295 134512640 135169312 3218100304 3218096520 3085041390 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/17998/statm: 605 278 235 161 0 44 0
[pid=18004] ppid=17998 vsize=17080 CPUtime=582.1
/proc/18004/stat : 18004 (minisat_static) R 17998 17998 9090 0 -1 4202496 3988 0 0 0 58205 5 0 0 25 0 1 0 1008896637 17489920 3922 4294967295 134512640 135216591 3221101440 3221099632 134529323 0 0 0 3 0 0 0 17 3 0 0 0
/proc/18004/statm: 4270 3922 75 172 0 4097 0
Current children cumulated CPU time (s) 582.36
Current children cumulated vsize (KiB) 19500
[startup+642.325 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 20080
/proc/meminfo: memFree=770552/2074464 swapFree=1953004/1959888
[pid=17998] ppid=17996 vsize=2420 CPUtime=0.26
/proc/17998/stat : 17998 (SatELiteGTI) S 17996 17998 9090 0 -1 4194304 386 2070 0 0 1 0 24 1 23 0 1 0 1008896611 2478080 278 4294967295 134512640 135169312 3218100304 3218096520 3085041390 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/17998/statm: 605 278 235 161 0 44 0
[pid=18004] ppid=17998 vsize=19264 CPUtime=642.11
/proc/18004/stat : 18004 (minisat_static) R 17998 17998 9090 0 -1 4202496 4509 0 0 0 64206 5 0 0 25 0 1 0 1008896637 19726336 4443 4294967295 134512640 135216591 3221101440 3221099632 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/18004/statm: 4816 4443 75 172 0 4643 0
Current children cumulated CPU time (s) 642.37
Current children cumulated vsize (KiB) 21684
[startup+702.302 s]
/proc/loadavg: 1.31 1.09 1.03 2/93 20267
/proc/meminfo: memFree=770544/2074464 swapFree=1953004/1959888
[pid=17998] ppid=17996 vsize=2420 CPUtime=0.26
/proc/17998/stat : 17998 (SatELiteGTI) S 17996 17998 9090 0 -1 4194304 386 2070 0 0 1 0 24 1 23 0 1 0 1008896611 2478080 278 4294967295 134512640 135169312 3218100304 3218096520 3085041390 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/17998/statm: 605 278 235 161 0 44 0
[pid=18004] ppid=17998 vsize=19264 CPUtime=702.09
/proc/18004/stat : 18004 (minisat_static) R 17998 17998 9090 0 -1 4202496 4509 0 0 0 70204 5 0 0 25 0 1 0 1008896637 19726336 4443 4294967295 134512640 135216591 3221101440 3221099632 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/18004/statm: 4816 4443 75 172 0 4643 0
Current children cumulated CPU time (s) 702.35
Current children cumulated vsize (KiB) 21684
[startup+762.309 s]
/proc/loadavg: 1.11 1.07 1.02 2/93 20456
/proc/meminfo: memFree=770528/2074464 swapFree=1953004/1959888
[pid=17998] ppid=17996 vsize=2420 CPUtime=0.26
/proc/17998/stat : 17998 (SatELiteGTI) S 17996 17998 9090 0 -1 4194304 386 2070 0 0 1 0 24 1 23 0 1 0 1008896611 2478080 278 4294967295 134512640 135169312 3218100304 3218096520 3085041390 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/17998/statm: 605 278 235 161 0 44 0
[pid=18004] ppid=17998 vsize=19264 CPUtime=762.1
/proc/18004/stat : 18004 (minisat_static) R 17998 17998 9090 0 -1 4202496 4512 0 0 0 76201 9 0 0 25 0 1 0 1008896637 19726336 4446 4294967295 134512640 135216591 3221101440 3221099632 134528974 0 0 0 3 0 0 0 17 3 0 0 0
/proc/18004/statm: 4816 4446 75 172 0 4643 0
Current children cumulated CPU time (s) 762.36
Current children cumulated vsize (KiB) 21684
[startup+822.306 s]
/proc/loadavg: 1.04 1.05 1.02 3/93 20642
/proc/meminfo: memFree=770552/2074464 swapFree=1953004/1959888
[pid=17998] ppid=17996 vsize=2420 CPUtime=0.26
/proc/17998/stat : 17998 (SatELiteGTI) S 17996 17998 9090 0 -1 4194304 386 2070 0 0 1 0 24 1 23 0 1 0 1008896611 2478080 278 4294967295 134512640 135169312 3218100304 3218096520 3085041390 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/17998/statm: 605 278 235 161 0 44 0
[pid=18004] ppid=17998 vsize=19264 CPUtime=822.1
/proc/18004/stat : 18004 (minisat_static) R 17998 17998 9090 0 -1 4202496 4512 0 0 0 82201 9 0 0 25 0 1 0 1008896637 19726336 4446 4294967295 134512640 135216591 3221101440 3221099632 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/18004/statm: 4816 4446 75 172 0 4643 0
Current children cumulated CPU time (s) 822.36
Current children cumulated vsize (KiB) 21684
[startup+882.313 s]
/proc/loadavg: 1.01 1.04 1.01 3/93 20834
/proc/meminfo: memFree=770536/2074464 swapFree=1953004/1959888
[pid=17998] ppid=17996 vsize=2420 CPUtime=0.26
/proc/17998/stat : 17998 (SatELiteGTI) S 17996 17998 9090 0 -1 4194304 386 2070 0 0 1 0 24 1 23 0 1 0 1008896611 2478080 278 4294967295 134512640 135169312 3218100304 3218096520 3085041390 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/17998/statm: 605 278 235 161 0 44 0
[pid=18004] ppid=17998 vsize=19264 CPUtime=882.11
/proc/18004/stat : 18004 (minisat_static) R 17998 17998 9090 0 -1 4202496 4512 0 0 0 88202 9 0 0 25 0 1 0 1008896637 19726336 4446 4294967295 134512640 135216591 3221101440 3221099632 134528851 0 0 0 3 0 0 0 17 3 0 0 0
/proc/18004/statm: 4816 4446 75 172 0 4643 0
Current children cumulated CPU time (s) 882.37
Current children cumulated vsize (KiB) 21684
[startup+942.31 s]
/proc/loadavg: 1.00 1.03 1.00 2/93 21021
/proc/meminfo: memFree=770544/2074464 swapFree=1953004/1959888
[pid=17998] ppid=17996 vsize=2420 CPUtime=0.26
/proc/17998/stat : 17998 (SatELiteGTI) S 17996 17998 9090 0 -1 4194304 386 2070 0 0 1 0 24 1 23 0 1 0 1008896611 2478080 278 4294967295 134512640 135169312 3218100304 3218096520 3085041390 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/17998/statm: 605 278 235 161 0 44 0
[pid=18004] ppid=17998 vsize=19264 CPUtime=942.1
/proc/18004/stat : 18004 (minisat_static) R 17998 17998 9090 0 -1 4202496 4513 0 0 0 94201 9 0 0 25 0 1 0 1008896637 19726336 4447 4294967295 134512640 135216591 3221101440 3221099552 134534651 0 0 0 3 0 0 0 17 3 0 0 0
/proc/18004/statm: 4816 4447 75 172 0 4643 0
Current children cumulated CPU time (s) 942.36
Current children cumulated vsize (KiB) 21684
[startup+1002.32 s]
/proc/loadavg: 1.00 1.02 1.00 3/93 21210
/proc/meminfo: memFree=770436/2074464 swapFree=1953004/1959888
[pid=17998] ppid=17996 vsize=2420 CPUtime=0.26
/proc/17998/stat : 17998 (SatELiteGTI) S 17996 17998 9090 0 -1 4194304 386 2070 0 0 1 0 24 1 23 0 1 0 1008896611 2478080 278 4294967295 134512640 135169312 3218100304 3218096520 3085041390 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/17998/statm: 605 278 235 161 0 44 0
[pid=18004] ppid=17998 vsize=19264 CPUtime=1002.11
/proc/18004/stat : 18004 (minisat_static) R 17998 17998 9090 0 -1 4202496 4513 0 0 0 100202 9 0 0 25 0 1 0 1008896637 19726336 4447 4294967295 134512640 135216591 3221101440 3221099632 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/18004/statm: 4816 4447 75 172 0 4643 0
Current children cumulated CPU time (s) 1002.37
Current children cumulated vsize (KiB) 21684
[startup+1062.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/93 21399
/proc/meminfo: memFree=770412/2074464 swapFree=1953004/1959888
[pid=17998] ppid=17996 vsize=2420 CPUtime=0.26
/proc/17998/stat : 17998 (SatELiteGTI) S 17996 17998 9090 0 -1 4194304 386 2070 0 0 1 0 24 1 23 0 1 0 1008896611 2478080 278 4294967295 134512640 135169312 3218100304 3218096520 3085041390 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/17998/statm: 605 278 235 161 0 44 0
[pid=18004] ppid=17998 vsize=19264 CPUtime=1062.1
/proc/18004/stat : 18004 (minisat_static) R 17998 17998 9090 0 -1 4202496 4513 0 0 0 106201 9 0 0 25 0 1 0 1008896637 19726336 4447 4294967295 134512640 135216591 3221101440 3221099632 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/18004/statm: 4816 4447 75 172 0 4643 0
Current children cumulated CPU time (s) 1062.36
Current children cumulated vsize (KiB) 21684
[startup+1122.31 s]
/proc/loadavg: 1.00 1.01 1.00 3/93 21585
/proc/meminfo: memFree=770304/2074464 swapFree=1953004/1959888
[pid=17998] ppid=17996 vsize=2420 CPUtime=0.26
/proc/17998/stat : 17998 (SatELiteGTI) S 17996 17998 9090 0 -1 4194304 386 2070 0 0 1 0 24 1 23 0 1 0 1008896611 2478080 278 4294967295 134512640 135169312 3218100304 3218096520 3085041390 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/17998/statm: 605 278 235 161 0 44 0
[pid=18004] ppid=17998 vsize=19264 CPUtime=1122.11
/proc/18004/stat : 18004 (minisat_static) R 17998 17998 9090 0 -1 4202496 4515 0 0 0 112201 10 0 0 25 0 1 0 1008896637 19726336 4449 4294967295 134512640 135216591 3221101440 3221099344 134533138 0 0 0 3 0 0 0 17 3 0 0 0
/proc/18004/statm: 4816 4449 75 172 0 4643 0
Current children cumulated CPU time (s) 1122.37
Current children cumulated vsize (KiB) 21684
[startup+1182.32 s]
/proc/loadavg: 1.00 1.01 1.00 2/93 21773
/proc/meminfo: memFree=770304/2074464 swapFree=1953004/1959888
[pid=17998] ppid=17996 vsize=2420 CPUtime=0.26
/proc/17998/stat : 17998 (SatELiteGTI) S 17996 17998 9090 0 -1 4194304 386 2070 0 0 1 0 24 1 23 0 1 0 1008896611 2478080 278 4294967295 134512640 135169312 3218100304 3218096520 3085041390 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/17998/statm: 605 278 235 161 0 44 0
[pid=18004] ppid=17998 vsize=19264 CPUtime=1182.12
/proc/18004/stat : 18004 (minisat_static) R 17998 17998 9090 0 -1 4202496 4515 0 0 0 118202 10 0 0 25 0 1 0 1008896637 19726336 4449 4294967295 134512640 135216591 3221101440 3221099632 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/18004/statm: 4816 4449 75 172 0 4643 0
Current children cumulated CPU time (s) 1182.38
Current children cumulated vsize (KiB) 21684
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.02 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 21774
/proc/meminfo: memFree=770500/2074464 swapFree=1953004/1959888
[pid=17998] ppid=17996 vsize=2420 CPUtime=0.26
/proc/17998/stat : 17998 (SatELiteGTI) S 17996 17998 9090 0 -1 4194304 386 2070 0 0 1 0 24 1 23 0 1 0 1008896611 2478080 278 4294967295 134512640 135169312 3218100304 3218096520 3085041390 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/17998/statm: 605 278 235 161 0 44 0
[pid=18004] ppid=17998 vsize=19264 CPUtime=1199.82
/proc/18004/stat : 18004 (minisat_static) R 17998 17998 9090 0 -1 4202496 4515 0 0 0 119972 10 0 0 25 0 1 0 1008896637 19726336 4449 4294967295 134512640 135216591 3221101440 3221099632 134529044 0 0 0 3 0 0 0 17 3 0 0 0
/proc/18004/statm: 4816 4449 75 172 0 4643 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 21684
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1200.03
CPU time (s): 1200.09
CPU user time (s): 1199.97
CPU system time (s): 0.12
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 21684
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.97
system time used= 0.12
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7246
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= 20
involuntary context switches= 1119
runsolver used 0 second user time and 0.03 second system time
The end
Begin job on tipi19 at 2009-05-16 05:19:23
IDJOB=1820435
IDBENCH=20404
IDSOLVER=658
FILE ID=tipi19/1820435-1242443963
PBS_JOBID=
Free space on /tmp= 10157 MiB
SOLVER NAME= minisat_cumr r-2009-03-18
BENCH NAME= SAT07/industrial/fuhs/hard/AProVE07-27.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1820435-1242443963/watcher-1820435-1242443963 -o /tmp/evaluation-result-1820435-1242443963/solver-1820435-1242443963 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820435-1242443963.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= a948576641dd03cc33abaca38a6e7e4c
RANDOM SEED= 1654419930
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: 789444 kB
Buffers: 27960 kB
Cached: 1164104 kB
SwapCached: 3036 kB
Active: 453096 kB
Inactive: 748452 kB
HighTotal: 1178688 kB
HighFree: 266036 kB
LowTotal: 895776 kB
LowFree: 523408 kB
SwapTotal: 1959888 kB
SwapFree: 1953004 kB
Dirty: 2124 kB
Writeback: 0 kB
AnonPages: 8756 kB
Mapped: 3092 kB
Slab: 75388 kB
PageTables: 604 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 05:39:23