0.00/0.00 c Parsing...
0.72/0.74 c ==============================================================================
0.72/0.74 c | | ORIGINAL | LEARNT | |
0.72/0.74 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.72/0.74 c ==============================================================================
0.72/0.74 c | 0 | 750876 1752044 | 225262 0 0 nan | 0.000 % |
5.02/5.10 c | 0 | 320735 1252421 | -- 0 -- -- | -- | -430139/-499618
5.02/5.11 c ==============================================================================
5.02/5.11 c Result : #vars: 41437 #clauses: 320735 #literals: 1252421
5.02/5.11 c CPU time: 4.8 s
5.02/5.11 c ==============================================================================
5.52/5.55 c This is MiniSat 2.0 beta
5.52/5.55 c WARNING: for repeatability, setting FPU to use double precision
5.52/5.55 c ============================[ Problem Statistics ]=============================
5.52/5.55 c | |
5.52/5.55 c | Number of variables: 41437 |
5.52/5.55 c | Number of clauses: 320735 |
5.55/5.80 c | Parsing time: 0.23 s |
5.55/5.82 c ============================[ Search Statistics ]==============================
5.55/5.82 c | Conflicts | ORIGINAL | LEARNT | Progress |
5.55/5.82 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
5.55/5.82 c ===============================================================================
5.55/5.82 c | 0 | 41437 320735 1252421 | 106911 0 nan | 0.000 % |
5.55/6.01 c | 512 | 41434 320735 1252421 | 106911 510 11 | 0.010 % |
5.55/6.16 c | 1024 | 41434 320735 1252421 | 106911 1022 16 | 0.010 % |
5.55/6.30 c | 1538 | 41425 320735 1252421 | 106911 1534 20 | 0.036 % |
5.55/6.43 c | 2566 | 41425 320735 1252421 | 106911 2562 32 | 0.036 % |
5.55/6.59 c | 3081 | 41425 320735 1252421 | 106911 3077 32 | 0.036 % |
6.73/6.77 c | 3593 | 41416 320735 1252421 | 106911 3587 30 | 0.063 % |
6.92/6.93 c | 4617 | 41412 320735 1252421 | 106911 4609 32 | 0.244 % |
7.02/7.04 c | 6666 | 41336 318265 1243512 | 106911 6654 28 | 0.244 % |
7.22/7.26 c | 7179 | 41335 318265 1243512 | 106911 7166 27 | 0.343 % |
7.32/7.38 c | 7691 | 41335 318265 1243512 | 106911 7678 26 | 0.343 % |
7.52/7.53 c | 8717 | 41329 318265 1243512 | 106911 8700 25 | 0.401 % |
7.92/7.97 c | 9230 | 41304 318265 1243512 | 106911 9213 25 | 0.401 % |
8.02/8.07 c | 9744 | 41298 318265 1243512 | 106911 9725 25 | 0.415 % |
8.22/8.31 c | 10769 | 41298 318265 1243512 | 2147483647 10750 24 | 0.415 % |
8.72/8.79 c | 12817 | 41253 317207 1239419 | 2147483647 12708 26 | 0.461 % |
9.22/9.22 c | 16914 | 41250 317207 1239419 | 2147483647 16803 29 | 0.497 % |
9.52/9.57 c | 17426 | 41250 317207 1239419 | 2147483647 17315 30 | 0.497 % |
9.92/9.97 c | 17939 | 41231 316632 1237461 | 2147483647 17813 30 | 0.497 % |
10.12/10.13 c | 18964 | 41231 316632 1237461 | 2147483647 18838 29 | 0.497 % |
10.22/10.27 c | 19479 | 41231 316632 1237461 | 2147483647 19353 29 | 0.497 % |
10.32/10.37 c | 19992 | 41231 316632 1237461 | 2147483647 19866 29 | 0.497 % |
10.62/10.66 c | 21017 | 41230 316632 1237461 | 2147483647 20890 29 | 0.500 % |
11.22/11.22 c | 23065 | 41211 316632 1237461 | 2147483647 22936 28 | 0.557 % |
11.32/11.39 c | 23577 | 41191 316264 1235971 | 2147483647 23441 28 | 0.652 % |
11.42/11.43 c | 24089 | 41191 316264 1235971 | 2147483647 23953 28 | 0.652 % |
11.52/11.59 c | 25114 | 41191 316264 1235971 | 2147483647 24978 29 | 0.652 % |
11.62/11.65 c | 25627 | 41191 316264 1235971 | 2147483647 25491 29 | 0.652 % |
11.62/11.68 c | 26141 | 41191 316264 1235971 | 2147483647 26005 30 | 0.652 % |
12.02/12.03 c | 27165 | 41191 316264 1235971 | 2147483647 27029 32 | 0.652 % |
12.42/12.51 c | 29213 | 41184 316264 1235971 | 2147483647 29077 32 | 0.652 % |
13.33/13.33 c | 33310 | 41183 316264 1235971 | 2147483647 33173 34 | 0.654 % |
14.72/14.74 c | 41502 | 41159 315373 1232500 | 2147483647 41356 32 | 0.693 % |
14.82/14.85 c | 42014 | 41157 315373 1232500 | 2147483647 41866 32 | 0.697 % |
15.02/15.08 c | 42526 | 41156 315373 1232500 | 2147483647 42378 32 | 0.697 % |
15.32/15.35 c | 43552 | 41144 315373 1232500 | 2147483647 43397 32 | 0.746 % |
15.42/15.43 c | 44064 | 41144 315373 1232500 | 2147483647 43908 32 | 0.763 % |
15.53/15.55 c | 44576 | 41139 315373 1232500 | 2147483647 44420 32 | 0.763 % |
15.82/15.84 c | 45600 | 41108 314367 1228879 | 2147483647 45394 31 | 0.813 % |
16.32/16.37 c | 47648 | 41108 314367 1228879 | 2147483647 47442 31 | 0.813 % |
16.42/16.42 c | 48161 | 41108 314367 1228879 | 2147483647 47955 31 | 0.813 % |
16.63/16.65 c | 48674 | 41108 314367 1228879 | 2147483647 48468 31 | 0.813 % |
16.82/16.90 c | 49698 | 41108 314367 1228879 | 2147483647 49492 32 | 0.813 % |
16.92/16.94 c | 50211 | 41108 314367 1228879 | 2147483647 50005 32 | 0.813 % |
17.02/17.10 c | 50723 | 41108 314367 1228879 | 2147483647 50517 31 | 0.813 % |
17.22/17.22 c | 51747 | 41108 314367 1228879 | 2147483647 51541 31 | 0.813 % |
17.73/17.79 c | 53795 | 41108 314367 1228879 | 2147483647 53589 31 | 0.813 % |
18.42/18.43 c | 57893 | 41108 314367 1228879 | 2147483647 57687 31 | 0.813 % |
18.62/18.69 c | 58406 | 41100 313876 1226972 | 2147483647 58195 32 | 0.813 % |
18.92/18.93 c | 58918 | 41100 313876 1226972 | 2147483647 58707 32 | 0.813 % |
19.12/19.15 c | 59943 | 41100 313876 1226972 | 2147483647 59732 32 | 0.813 % |
19.22/19.25 c | 60456 | 41100 313876 1226972 | 2147483647 60245 32 | 0.813 % |
19.32/19.40 c | 60968 | 41100 313876 1226972 | 2147483647 60757 31 | 0.813 % |
19.52/19.55 c | 61992 | 41100 313876 1226972 | 2147483647 61781 31 | 0.813 % |
20.02/20.10 c | 64040 | 41100 313876 1226972 | 2147483647 63829 32 | 0.813 % |
20.12/20.19 c | 64554 | 41100 313876 1226972 | 2147483647 64343 32 | 0.813 % |
20.32/20.38 c | 65068 | 41100 313876 1226972 | 2147483647 64857 32 | 0.813 % |
20.62/20.65 c | 66093 | 41100 313876 1226972 | 2147483647 65882 32 | 0.813 % |
20.72/20.75 c | 66605 | 41100 313876 1226972 | 2147483647 66394 32 | 0.813 % |
20.92/20.95 c | 67118 | 41100 313876 1226972 | 2147483647 66907 32 | 0.813 % |
21.32/21.32 c | 68143 | 41100 313876 1226972 | 2147483647 67932 32 | 0.813 % |
22.02/22.11 c | 70193 | 41099 313876 1226972 | 2147483647 69981 32 | 0.833 % |
23.32/23.31 c | 74290 | 41092 313653 1226321 | 2147483647 74008 32 | 0.833 % |
24.62/24.67 c | 82486 | 41092 313653 1226321 | 2147483647 82204 32 | 0.833 % |
28.02/28.07 c | 98873 | 41092 313653 1226321 | 2147483647 98591 31 | 0.833 % |
28.32/28.33 c | 99385 | 41092 313653 1226321 | 2147483647 99103 31 | 0.833 % |
28.62/28.65 c | 99898 | 41092 313653 1226321 | 2147483647 99616 31 | 0.833 % |
29.03/29.03 c | 100922 | 41092 313653 1226321 | 2147483647 100640 30 | 0.833 % |
29.13/29.22 c | 101434 | 41092 313653 1226321 | 2147483647 101152 30 | 0.833 % |
29.33/29.38 c | 101947 | 41092 313653 1226321 | 2147483647 101665 30 | 0.833 % |
29.73/29.76 c | 102972 | 41092 313653 1226321 | 2147483647 102690 30 | 0.833 % |
30.03/30.08 c | 105020 | 41092 313653 1226321 | 2147483647 104738 30 | 0.833 % |
30.33/30.35 c | 105535 | 41092 313653 1226321 | 2147483647 105253 30 | 0.833 % |
30.43/30.49 c | 106047 | 41092 313653 1226321 | 2147483647 105765 30 | 0.833 % |
30.83/30.89 c | 107071 | 41092 313653 1226321 | 2147483647 106789 30 | 0.833 % |
31.13/31.12 c | 107589 | 41092 313653 1226321 | 2147483647 107307 30 | 0.833 % |
31.13/31.20 c | 108102 | 41092 313653 1226321 | 2147483647 107820 30 | 0.833 % |
31.63/31.67 c | 109126 | 41092 313653 1226321 | 2147483647 108844 30 | 0.833 % |
32.13/32.13 c | 111176 | 41092 313653 1226321 | 2147483647 110894 30 | 0.833 % |
34.43/34.43 c | 115273 | 41092 313653 1226321 | 2147483647 114991 31 | 0.833 % |
34.53/34.58 c | 115786 | 41092 313653 1226321 | 2147483647 115504 30 | 0.833 % |
34.83/34.85 c | 116298 | 41092 313653 1226321 | 2147483647 116016 30 | 0.833 % |
35.23/35.24 c | 117323 | 41092 313653 1226321 | 2147483647 117041 31 | 0.833 % |
35.43/35.45 c | 117837 | 41092 313653 1226321 | 2147483647 117555 31 | 0.833 % |
35.63/35.65 c | 118349 | 41092 313653 1226321 | 2147483647 118067 31 | 0.833 % |
35.83/35.84 c | 119373 | 41092 313653 1226321 | 2147483647 119091 30 | 0.833 % |
36.83/36.90 c | 121421 | 41092 313653 1226321 | 2147483647 121139 31 | 0.833 % |
37.13/37.13 c | 121936 | 41092 313653 1226321 | 2147483647 121654 31 | 0.833 % |
37.23/37.30 c | 122449 | 41092 313653 1226321 | 2147483647 122167 31 | 0.833 % |
37.73/37.82 c | 123473 | 41092 313653 1226321 | 2147483647 123191 31 | 0.833 % |
37.83/37.91 c | 123986 | 41092 313653 1226321 | 2147483647 123704 31 | 0.833 % |
37.93/37.93 c | 124498 | 41092 313653 1226321 | 2147483647 124216 31 | 0.833 % |
38.23/38.23 c | 125523 | 41092 313653 1226321 | 2147483647 125241 31 | 0.833 % |
38.63/38.65 c | 127572 | 41092 313653 1226321 | 2147483647 127290 30 | 0.833 % |
39.33/39.36 c | 131670 | 41092 313653 1226321 | 2147483647 131388 30 | 0.833 % |
41.53/41.56 c | 139864 | 41092 313653 1226321 | 2147483647 139582 31 | 0.833 % |
41.93/42.01 c | 140377 | 41092 313653 1226321 | 139718 140095 30 | 0.833 % |
42.23/42.30 c | 140891 | 41092 313653 1226321 | 139718 126600 29 | 0.833 % |
42.83/42.83 c | 141915 | 41092 313653 1226321 | 139718 127624 29 | 0.833 % |
42.93/42.99 c | 142429 | 41092 313653 1226321 | 139718 128138 29 | 0.833 % |
43.13/43.12 c | 142942 | 41092 313653 1226321 | 139718 128651 29 | 0.833 % |
43.43/43.51 c | 143967 | 41092 313653 1226321 | 139718 129676 29 | 0.833 % |
44.43/44.51 c | 146015 | 41092 313653 1226321 | 139718 131724 29 | 0.833 % |
44.73/44.73 c | 146529 | 41092 313653 1226321 | 139718 132238 29 | 0.833 % |
44.93/44.95 c | 147041 | 41092 313653 1226321 | 139718 132750 29 | 0.833 % |
45.13/45.18 c | 148066 | 41092 313653 1226321 | 139718 133775 29 | 0.833 % |
45.33/45.32 c | 148578 | 41092 313653 1226321 | 139718 134287 29 | 0.833 % |
45.53/45.53 c | 149090 | 41092 313653 1226321 | 139718 134799 29 | 0.833 % |
45.83/45.91 c | 150114 | 41086 313545 1226000 | 2147483647 135816 29 | 0.847 % |
46.73/46.72 c | 152162 | 41086 313545 1226000 | 2147483647 137864 29 | 0.847 % |
47.83/47.91 c | 156258 | 41086 313545 1226000 | 2147483647 141960 29 | 0.847 % |
48.53/48.54 c | 156770 | 41086 313545 1226000 | 2147483647 142472 29 | 0.847 % |
48.63/48.63 c | 157284 | 41086 313545 1226000 | 2147483647 142986 29 | 0.847 % |
49.13/49.20 c | 158308 | 41086 313545 1226000 | 2147483647 144010 29 | 0.847 % |
49.33/49.41 c | 158821 | 41086 313545 1226000 | 2147483647 144523 29 | 0.847 % |
49.43/49.50 c | 159333 | 41086 313545 1226000 | 2147483647 145035 29 | 0.847 % |
50.03/50.07 c | 160358 | 41086 313545 1226000 | 2147483647 146060 29 | 0.847 % |
50.73/50.72 c | 162406 | 41086 313545 1226000 | 2147483647 148108 29 | 0.847 % |
50.93/50.92 c | 162918 | 41086 313545 1226000 | 2147483647 148620 29 | 0.847 % |
51.03/51.06 c | 163432 | 41086 313545 1226000 | 2147483647 149134 29 | 0.847 % |
51.33/51.41 c | 164457 | 41083 313545 1226000 | 2147483647 150158 29 | 0.854 % |
51.63/51.69 c | 164969 | 41083 313545 1226000 | 2147483647 150670 29 | 0.854 % |
52.03/52.07 c | 165481 | 41083 313545 1226000 | 2147483647 151182 29 | 0.854 % |
52.33/52.38 c | 166505 | 41083 313545 1226000 | 2147483647 152206 29 | 0.854 % |
52.63/52.64 c | 168554 | 41083 313545 1226000 | 2147483647 154255 29 | 0.854 % |
54.33/54.38 c | 172650 | 41083 313545 1226000 | 155701 158351 29 | 0.854 % |
57.33/57.37 c | 180846 | 41083 313518 1225894 | 134699 135544 29 | 0.854 % |
63.23/63.30 c | 197230 | 41077 313518 1225894 | 122954 116119 28 | 0.871 % |
73.52/73.51 c | 229998 | 41076 313518 1225894 | 2147483647 148886 29 | 0.874 % |
73.82/73.82 c | 230510 | 41075 313310 1225251 | 2147483647 149394 29 | 0.874 % |
74.22/74.24 c | 231023 | 41075 313310 1225251 | 2147483647 149907 28 | 0.874 % |
74.72/74.70 c | 232048 | 41075 313310 1225251 | 2147483647 150932 29 | 0.874 % |
75.12/75.11 c | 232560 | 41075 313310 1225251 | 2147483647 151444 28 | 0.874 % |
75.42/75.47 c | 233072 | 41075 313310 1225251 | 2147483647 151956 28 | 0.874 % |
75.62/75.63 c | 234096 | 41075 313310 1225251 | 2147483647 152980 28 | 0.874 % |
76.82/76.90 c | 236144 | 40961 313310 1225251 | 2147483647 155027 29 | 1.274 % |
77.32/77.33 c | 236657 | 40939 313310 1225251 | 2147483647 155540 29 | 1.274 % |
77.42/77.47 c | 237170 | 40939 313310 1225251 | 2147483647 156053 29 | 1.274 % |
78.72/78.77 c | 238194 | 40935 313310 1225251 | 2147483647 157075 29 | 1.279 % |
78.92/78.96 c | 238707 | 40932 313310 1225251 | 2147483647 157588 28 | 1.279 % |
79.32/79.37 c | 239220 | 40932 313310 1225251 | 2147483647 158101 28 | 1.279 % |
79.72/79.72 c | 240244 | 40932 313310 1225251 | 2147483647 159125 28 | 1.279 % |
80.42/80.49 c | 242292 | 40925 313310 1225251 | 2147483647 161171 28 | 1.291 % |
81.72/81.76 c | 246388 | 40925 313310 1225251 | 2147483647 165267 28 | 1.291 % |
81.82/81.84 c | 246900 | 40925 313310 1225251 | 2147483647 165779 28 | 1.291 % |
81.92/81.94 c | 247414 | 40925 313310 1225251 | 2147483647 166293 28 | 1.291 % |
82.22/82.22 c | 248438 | 40925 313310 1225251 | 2147483647 167317 28 | 1.291 % |
82.52/82.53 c | 248953 | 40902 309471 1209109 | 2147483647 140326 24 | 1.291 % |
82.62/82.66 c | 249465 | 40902 309471 1209109 | 2147483647 140838 24 | 1.291 % |
83.02/83.04 c | 250491 | 40902 309471 1209109 | 2147483647 141864 24 | 1.291 % |
83.82/83.83 c | 252542 | 40896 309471 1209109 | 2147483647 143912 24 | 1.308 % |
84.02/84.01 c | 253056 | 40896 309471 1209109 | 2147483647 144426 24 | 1.308 % |
84.32/84.38 c | 253568 | 40896 309471 1209109 | 2147483647 144938 24 | 1.308 % |
84.82/84.90 c | 254592 | 40896 309471 1209109 | 2147483647 145962 24 | 1.308 % |
85.02/85.01 c | 255104 | 40896 309471 1209109 | 2147483647 146474 24 | 1.308 % |
85.22/85.22 c | 255616 | 40896 309471 1209109 | 2147483647 146986 24 | 1.308 % |
85.42/85.49 c | 256640 | 40895 309471 1209109 | 2147483647 148009 24 | 1.344 % |
86.32/86.39 c | 258689 | 40895 309471 1209109 | 2147483647 150058 24 | 1.344 % |
87.82/87.88 c | 262789 | 40888 309471 1209109 | 2147483647 154158 24 | 1.344 % |
90.52/90.55 c | 270982 | 40888 309471 1209109 | 2147483647 162351 25 | 1.344 % |
90.82/90.84 c | 271494 | 40880 309162 1207942 | 2147483647 162823 25 | 1.344 % |
91.02/91.08 c | 272006 | 40880 309162 1207942 | 2147483647 163335 25 | 1.344 % |
91.43/91.44 c | 273031 | 40879 309162 1207942 | 2147483647 164359 25 | 1.347 % |
91.62/91.61 c | 273544 | 40879 309162 1207942 | 2147483647 164872 25 | 1.347 % |
91.82/91.88 c | 274059 | 40842 309162 1207942 | 2147483647 165385 25 | 1.508 % |
92.42/92.45 c | 275083 | 40842 309162 1207942 | 2147483647 166409 25 | 1.508 % |
93.12/93.18 c | 277134 | 40820 309162 1207942 | 2147483647 168458 25 | 1.634 % |
93.42/93.49 c | 277647 | 40820 309162 1207942 | 2147483647 168971 25 | 1.634 % |
93.63/93.62 c | 278160 | 40820 309162 1207942 | 2147483647 169484 25 | 1.634 % |
93.92/93.98 c | 279184 | 40807 309162 1207942 | 2147483647 170508 25 | 1.634 % |
94.22/94.27 c | 279696 | 40803 309162 1207942 | 2147483647 171020 25 | 1.634 % |
94.62/94.68 c | 280210 | 40803 309162 1207942 | 2147483647 171534 25 | 1.634 % |
95.02/95.07 c | 281234 | 40803 309162 1207942 | 2147483647 172558 25 | 1.634 % |
96.12/96.15 c | 283282 | 40803 309162 1207942 | 2147483647 174606 25 | 1.634 % |
97.12/97.10 c | 287379 | 40803 309162 1207942 | 2147483647 178703 25 | 1.634 % |
97.22/97.27 c | 287892 | 40783 309162 1207942 | 2147483647 179211 25 | 1.689 % |
97.72/97.76 c | 288404 | 40783 309162 1207942 | 2147483647 179723 25 | 1.689 % |
97.82/97.89 c | 289428 | 40783 309162 1207942 | 2147483647 180747 25 | 1.689 % |
98.22/98.27 c | 289940 | 40736 306135 1196209 | 2147483647 178600 25 | 1.692 % |
98.42/98.46 c | 290452 | 40736 306135 1196209 | 2147483647 179112 25 | 1.692 % |
98.72/98.77 c | 291479 | 40736 306135 1196209 | 2147483647 180139 25 | 1.692 % |
98.92/98.93 c | 293530 | 40736 306135 1196209 | 2147483647 182190 25 | 1.692 % |
99.13/99.14 c | 294042 | 40736 306135 1196209 | 2147483647 182702 25 | 1.692 % |
99.42/99.41 c | 294554 | 40736 306135 1196209 | 2147483647 183214 25 | 1.692 % |
99.82/99.84 c | 295579 | 40727 306135 1196209 | 2147483647 184238 25 | 1.742 % |
100.12/100.12 c | 296092 | 40727 306135 1196209 | 2147483647 184751 25 | 1.742 % |
100.32/100.34 c | 296605 | 40720 306135 1196209 | 2147483647 185263 25 | 1.759 % |
100.72/100.80 c | 297629 | 40720 306135 1196209 | 2147483647 186287 25 | 1.759 % |
101.92/102.00 c | 299678 | 40719 306135 1196209 | 2147483647 188335 25 | 1.762 % |
103.53/103.58 c | 303774 | 40715 306135 1196209 | 2147483647 192431 25 | 1.762 % |
105.12/105.20 c | 311966 | 40713 306135 1196209 | 198658 200621 25 | 1.767 % |
110.82/110.83 c | 328351 | 40684 305499 1193700 | 181362 162972 25 | 1.846 % |
110.82/110.89 c | 328864 | 40684 305499 1193700 | 181362 163485 25 | 1.846 % |
111.12/111.17 c | 329376 | 40684 305499 1193700 | 181362 163997 25 | 1.846 % |
111.72/111.73 c | 330402 | 40678 305499 1193700 | 2147483647 165022 25 | 1.861 % |
112.12/112.16 c | 330916 | 40678 305499 1193700 | 2147483647 165536 25 | 1.861 % |
112.42/112.41 c | 331429 | 40678 305499 1193700 | 2147483647 166049 25 | 1.861 % |
112.72/112.72 c | 332453 | 40678 305499 1193700 | 2147483647 167073 25 | 1.861 % |
113.22/113.26 c | 334503 | 40677 305499 1193700 | 2147483647 169122 25 | 1.863 % |
113.52/113.50 c | 335015 | 40671 305499 1193700 | 2147483647 169630 25 | 1.878 % |
113.72/113.79 c | 335527 | 40662 305499 1193700 | 2147483647 170141 25 | 1.935 % |
114.02/114.08 c | 336551 | 40660 305499 1193700 | 2147483647 171164 25 | 1.938 % |
114.42/114.43 c | 337063 | 40656 305499 1193700 | 2147483647 171675 25 | 1.948 % |
114.72/114.71 c | 337575 | 40654 305499 1193700 | 2147483647 172186 25 | 1.962 % |
115.02/115.09 c | 338599 | 40651 305499 1193700 | 2147483647 173210 25 | 1.962 % |
116.32/116.39 c | 340649 | 40649 305499 1193700 | 2147483647 175258 25 | 1.967 % |
117.72/117.78 c | 344745 | 40621 304117 1188490 | 2147483647 176651 25 | 1.969 % |
118.12/118.17 c | 345257 | 40621 304117 1188490 | 2147483647 177163 25 | 1.969 % |
118.42/118.47 c | 345769 | 40621 304117 1188490 | 2147483647 177675 25 | 1.969 % |
119.22/119.29 c | 346793 | 40617 304117 1188490 | 2147483647 178698 25 | 1.979 % |
119.42/119.41 c | 347306 | 40617 304117 1188490 | 2147483647 179211 25 | 1.979 % |
119.72/119.73 c | 347818 | 40617 304117 1188490 | 2147483647 179723 25 | 1.979 % |
119.92/119.99 c | 348842 | 40617 304117 1188490 | 2147483647 180747 25 | 1.979 % |
121.42/121.47 c | 350890 | 40617 304117 1188490 | 2147483647 182795 25 | 1.979 % |
121.92/121.99 c | 351402 | 40617 304117 1188490 | 2147483647 183307 25 | 1.979 % |
122.23/122.28 c | 351915 | 40617 304117 1188490 | 2147483647 183820 25 | 1.979 % |
122.82/122.88 c | 352939 | 40617 304117 1188490 | 2147483647 184844 25 | 1.979 % |
123.12/123.10 c | 353453 | 40617 304117 1188490 | 2147483647 185358 25 | 1.979 % |
123.33/123.38 c | 353967 | 40617 304117 1188490 | 2147483647 185872 25 | 1.979 % |
123.82/123.84 c | 354992 | 40617 304117 1188490 | 2147483647 186897 25 | 1.979 % |
124.32/124.37 c | 357041 | 40617 304117 1188490 | 2147483647 188946 25 | 1.979 % |
126.42/126.42 c | 361137 | 40617 304117 1188490 | 2147483647 193042 25 | 1.979 % |
129.13/129.12 c | 369330 | 40617 303990 1187996 | 2147483647 201064 26 | 1.979 % |
129.33/129.32 c | 369845 | 40617 303990 1187996 | 2147483647 201579 26 | 1.979 % |
129.63/129.67 c | 370358 | 40617 303990 1187996 | 201735 202092 26 | 1.979 % |
130.13/130.12 c | 371383 | 40617 303990 1187996 | 201735 203117 27 | 1.979 % |
130.63/130.63 c | 371895 | 40617 303990 1187996 | 201735 183318 26 | 1.979 % |
130.73/130.75 c | 372408 | 40617 303990 1187996 | 201735 183831 26 | 1.979 % |
130.83/130.86 c | 373432 | 40617 303990 1187996 | 201735 184855 26 | 1.979 % |
132.03/132.04 c | 375481 | 40617 303990 1187996 | 201735 186904 26 | 1.979 % |
132.23/132.28 c | 375995 | 40617 303990 1187996 | 201735 187418 26 | 1.979 % |
132.73/132.73 c | 376508 | 40617 303990 1187996 | 201735 187931 27 | 1.979 % |
133.03/133.11 c | 377532 | 40614 303990 1187996 | 201735 188954 27 | 1.986 % |
133.33/133.32 c | 378044 | 40614 303990 1187996 | 201735 189466 27 | 1.986 % |
133.53/133.54 c | 378558 | 40614 303990 1187996 | 201735 189980 27 | 1.986 % |
134.03/134.05 c | 379582 | 40614 303990 1187996 | 201735 191004 27 | 1.986 % |
134.93/134.93 c | 381630 | 40605 303990 1187996 | 2147483647 193051 27 | 2.020 % |
135.43/135.41 c | 385728 | 40605 303990 1187996 | 2147483647 197149 27 | 2.020 % |
135.93/135.96 c | 386240 | 40605 303990 1187996 | 2147483647 197661 27 | 2.020 % |
136.23/136.27 c | 386752 | 40605 303990 1187996 | 2147483647 198173 26 | 2.020 % |
136.83/136.84 c | 387778 | 40600 303728 1186868 | 2147483647 196305 26 | 2.020 % |
137.23/137.30 c | 388290 | 40600 303728 1186868 | 2147483647 196817 26 | 2.020 % |
137.33/137.39 c | 388803 | 40600 303728 1186868 | 2147483647 197330 26 | 2.020 % |
137.83/137.85 c | 389827 | 40600 303728 1186868 | 2147483647 198354 26 | 2.020 % |
138.53/138.57 c | 391875 | 40600 303728 1186868 | 2147483647 200402 27 | 2.020 % |
138.83/138.88 c | 392387 | 40600 303728 1186868 | 2147483647 200914 27 | 2.020 % |
139.03/139.06 c | 392903 | 40600 303728 1186868 | 2147483647 201430 27 | 2.020 % |
139.83/139.90 c | 393927 | 40599 303728 1186868 | 2147483647 202453 27 | 2.022 % |
140.03/140.09 c | 394439 | 40598 303728 1186868 | 2147483647 202964 27 | 2.025 % |
140.23/140.28 c | 394953 | 40598 303728 1186868 | 2147483647 203478 27 | 2.025 % |
140.83/140.82 c | 395980 | 40598 303728 1186868 | 2147483647 204505 27 | 2.025 % |
142.03/142.08 c | 398029 | 40598 303728 1186868 | 2147483647 206554 27 | 2.025 % |
142.63/142.67 c | 402127 | 40598 303728 1186868 | 208526 210652 27 | 2.025 % |
143.93/143.94 c | 410319 | 40598 303728 1186868 | 183408 183727 27 | 2.025 % |
149.33/149.36 c | 426704 | 40598 303728 1186868 | 193408 157206 27 | 2.025 % |
161.53/161.56 c | 459473 | 40598 303636 1186594 | 2147483647 189975 29 | 2.025 % |
188.43/188.43 c | 525010 | 40598 303636 1186594 | 90097 95106 68 | 2.025 % |
188.83/188.84 c | 525522 | 40594 303555 1186237 | 90097 64160 86 | 2.034 % |
188.93/188.91 c | 526034 | 40594 303555 1186237 | 90097 64672 86 | 2.034 % |
189.13/189.12 c | 527058 | 40594 303555 1186237 | 90097 65696 84 | 2.034 % |
189.13/189.18 c | 527570 | 40594 303555 1186237 | 90097 66208 84 | 2.034 % |
189.53/189.59 c | 528082 | 40594 303555 1186237 | 90097 66720 84 | 2.034 % |
189.73/189.75 c | 529106 | 40594 303555 1186237 | 90097 67744 83 | 2.034 % |
190.33/190.35 c | 531154 | 40594 303555 1186237 | 68638 69792 81 | 2.034 % |
190.63/190.64 c | 531666 | 40594 303555 1186237 | 68638 60315 88 | 2.034 % |
190.83/190.84 c | 532178 | 40594 303555 1186237 | 68638 60827 88 | 2.034 % |
191.23/191.25 c | 533204 | 40594 303555 1186237 | 68638 61853 87 | 2.034 % |
191.33/191.34 c | 533716 | 40594 303555 1186237 | 68638 62365 86 | 2.034 % |
191.83/191.83 c | 534228 | 40594 303555 1186237 | 68638 62877 86 | 2.034 % |
192.13/192.17 c | 535253 | 40594 303555 1186237 | 68638 63902 84 | 2.034 % |
192.23/192.28 c | 537302 | 40594 303555 1186237 | 68638 65951 82 | 2.034 % |
192.93/192.93 c | 541398 | 40594 303555 1186237 | 2147483647 70047 79 | 2.034 % |
193.13/193.11 c | 541911 | 40594 303555 1186237 | 2147483647 70560 78 | 2.034 % |
193.53/193.51 c | 542424 | 40594 303555 1186237 | 2147483647 71073 78 | 2.034 % |
193.83/193.86 c | 543449 | 40594 303555 1186237 | 2147483647 72098 77 | 2.034 % |
194.13/194.17 c | 543961 | 40594 303555 1186237 | 2147483647 72610 77 | 2.034 % |
194.23/194.24 c | 544473 | 40594 303555 1186237 | 2147483647 73122 77 | 2.034 % |
194.63/194.61 c | 545497 | 40592 303555 1186237 | 2147483647 74145 76 | 2.039 % |
195.23/195.22 c | 547545 | 40592 303555 1186237 | 2147483647 76193 74 | 2.039 % |
195.53/195.56 c | 548057 | 40592 303545 1186189 | 2147483647 76654 74 | 2.039 % |
195.94/195.93 c | 548569 | 40592 303545 1186189 | 2147483647 77166 73 | 2.039 % |
196.33/196.35 c | 549594 | 40592 303545 1186189 | 2147483647 78191 73 | 2.039 % |
196.63/196.64 c | 550106 | 40592 303545 1186189 | 2147483647 78703 72 | 2.039 % |
196.73/196.73 c | 550619 | 40592 303545 1186189 | 2147483647 79216 72 | 2.039 % |
196.83/196.81 c | 551643 | 40592 303545 1186189 | 2147483647 80240 72 | 2.039 % |
197.13/197.12 c | 553692 | 40592 303545 1186189 | 2147483647 82289 70 | 2.039 % |
198.23/198.28 c | 557788 | 40592 303545 1186189 | 2147483647 86385 69 | 2.039 % |
200.13/200.16 c | 565980 | 40591 303545 1186189 | 2147483647 94576 66 | 2.044 % |
200.23/200.26 c | 566493 | 40591 303545 1186189 | 2147483647 95089 66 | 2.044 % |
200.34/200.36 c | 567006 | 40591 303545 1186189 | 2147483647 95602 66 | 2.044 % |
200.83/200.90 c | 568030 | 40590 303545 1186189 | 2147483647 96626 66 | 2.044 % |
201.23/201.23 c | 568542 | 40590 303545 1186189 | 2147483647 97138 65 | 2.044 % |
201.33/201.39 c | 569058 | 40590 303545 1186189 | 2147483647 97654 65 | 2.044 % |
202.03/202.03 c | 570082 | 40590 303545 1186189 | 2147483647 98678 65 | 2.044 % |
202.73/202.74 c | 572133 | 40589 303545 1186189 | 2147483647 100728 65 | 2.046 % |
203.13/203.14 c | 572645 | 40589 303505 1186012 | 2147483647 101234 64 | 2.046 % |
203.43/203.47 c | 573158 | 40589 303505 1186012 | 2147483647 101747 64 | 2.046 % |
203.93/203.92 c | 574183 | 40588 303505 1186012 | 2147483647 102771 64 | 2.054 % |
204.13/204.15 c | 574695 | 40588 303505 1186012 | 2147483647 103283 64 | 2.054 % |
204.53/204.58 c | 575208 | 40588 303505 1186012 | 2147483647 103796 63 | 2.054 % |
204.93/204.94 c | 576232 | 40588 303505 1186012 | 2147483647 104820 63 | 2.054 % |
205.43/205.47 c | 578281 | 40588 303505 1186012 | 2147483647 106869 62 | 2.054 % |
205.73/205.77 c | 582377 | 40588 303505 1186012 | 2147483647 110965 61 | 2.054 % |
206.03/206.07 c | 582890 | 40588 303505 1186012 | 2147483647 111478 61 | 2.054 % |
206.23/206.26 c | 583403 | 40588 303505 1186012 | 2147483647 111991 61 | 2.054 % |
206.63/206.66 c | 584429 | 40588 303505 1186012 | 2147483647 113017 61 | 2.054 % |
206.73/206.77 c | 584941 | 40588 303505 1186012 | 2147483647 113529 60 | 2.054 % |
206.94/206.95 c | 585453 | 40588 303505 1186012 | 2147483647 114041 60 | 2.054 % |
207.53/207.51 c | 586477 | 40588 303505 1186012 | 2147483647 115065 60 | 2.054 % |
208.13/208.13 c | 588527 | 40588 303505 1186012 | 2147483647 117115 60 | 2.054 % |
208.43/208.47 c | 589039 | 40588 303505 1186012 | 2147483647 117627 60 | 2.054 % |
208.83/208.81 c | 589551 | 40588 303505 1186012 | 2147483647 118139 59 | 2.054 % |
209.03/209.02 c | 590575 | 40588 303505 1186012 | 2147483647 119163 59 | 2.054 % |
209.23/209.25 c | 591087 | 40588 303505 1186012 | 2147483647 119675 59 | 2.054 % |
209.33/209.34 c | 591599 | 40588 303505 1186012 | 2147483647 120187 59 | 2.054 % |
209.43/209.42 c | 592624 | 40588 303505 1186012 | 2147483647 121212 59 | 2.054 % |
210.43/210.43 c | 594672 | 40588 303505 1186012 | 2147483647 123260 59 | 2.054 % |
211.13/211.13 c | 598768 | 40588 303505 1186012 | 2147483647 127356 58 | 2.054 % |
213.63/213.63 c | 606960 | 40588 303505 1186012 | 2147483647 135548 56 | 2.054 % |
216.23/216.30 c | 623344 | 40580 303494 1185983 | 148588 151930 54 | 2.075 % |
216.73/216.74 c | 623856 | 40579 303494 1185983 | 148588 114891 39 | 2.075 % |
217.13/217.16 c | 624368 | 40576 303494 1185983 | 148588 115401 39 | 2.080 % |
217.53/217.57 c | 625393 | 40576 303494 1185983 | 148588 116426 39 | 2.080 % |
217.63/217.63 c | 625905 | 40576 303494 1185983 | 148588 116938 39 | 2.080 % |
217.83/217.91 c | 626417 | 40576 303494 1185983 | 148588 117450 39 | 2.080 % |
217.94/217.97 c | 627441 | 40576 303494 1185983 | 148588 118474 39 | 2.080 % |
218.53/218.53 c | 629489 | 40576 303494 1185983 | 148588 120522 39 | 2.080 % |
218.93/218.91 c | 630001 | 40576 303494 1185983 | 2147483647 121034 39 | 2.080 % |
219.04/219.07 c | 630513 | 40576 303494 1185983 | 2147483647 121546 39 | 2.080 % |
219.33/219.31 c | 631538 | 40576 303494 1185983 | 2147483647 122571 38 | 2.080 % |
219.43/219.50 c | 632050 | 40571 303494 1185983 | 2147483647 123082 38 | 2.097 % |
219.73/219.76 c | 632562 | 40571 303494 1185983 | 2147483647 123594 38 | 2.097 % |
220.23/220.28 c | 633586 | 40570 303494 1185983 | 2147483647 124618 39 | 2.097 % |
221.53/221.56 c | 635634 | 40570 303494 1185983 | 2147483647 126666 38 | 2.097 % |
222.53/222.53 c | 639731 | 40570 303494 1185983 | 2147483647 130763 38 | 2.097 % |
222.63/222.69 c | 640243 | 40565 303494 1185983 | 2147483647 131274 38 | 2.109 % |
222.83/222.82 c | 640756 | 40565 303494 1185983 | 2147483647 131787 38 | 2.109 % |
223.03/223.04 c | 641780 | 40565 303494 1185983 | 2147483647 132811 38 | 2.109 % |
223.03/223.09 c | 642294 | 40565 303494 1185983 | 2147483647 133325 38 | 2.109 % |
223.23/223.29 c | 642807 | 40565 303494 1185983 | 2147483647 133838 38 | 2.109 % |
224.13/224.15 c | 643831 | 40564 303494 1185983 | 2147483647 134862 38 | 2.109 % |
225.34/225.36 c | 645880 | 40564 303494 1185983 | 2147483647 136911 38 | 2.109 % |
225.54/225.59 c | 646393 | 40563 303182 1184704 | 2147483647 137228 38 | 2.109 % |
225.64/225.70 c | 646906 | 40563 303182 1184704 | 2147483647 137741 37 | 2.109 % |
226.54/226.58 c | 647930 | 40563 303182 1184704 | 2147483647 138765 37 | 2.109 % |
226.74/226.72 c | 648442 | 40563 303182 1184704 | 2147483647 139277 37 | 2.109 % |
227.14/227.14 c | 648954 | 40563 303182 1184704 | 2147483647 139789 37 | 2.109 % |
227.14/227.21 c | 649978 | 40563 303182 1184704 | 2147483647 140813 37 | 2.109 % |
228.24/228.21 c | 652027 | 40563 303182 1184704 | 2147483647 142862 37 | 2.109 % |
228.84/228.87 c | 656123 | 40539 303182 1184704 | 2147483647 146957 37 | 2.223 % |
233.34/233.31 c | 664315 | 40537 303182 1184704 | 2147483647 155149 36 | 2.223 % |
233.64/233.68 c | 664827 | 40535 303182 1184704 | 2147483647 155660 36 | 2.227 % |
233.74/233.80 c | 665340 | 40514 302700 1182730 | 2147483647 156170 36 | 2.227 % |
234.34/234.41 c | 666364 | 40514 302700 1182730 | 2147483647 157194 36 | 2.227 % |
234.64/234.65 c | 666877 | 40514 302700 1182730 | 2147483647 157707 36 | 2.227 % |
234.84/234.91 c | 667390 | 40514 302700 1182730 | 2147483647 158220 36 | 2.227 % |
235.04/235.08 c | 668414 | 40514 302700 1182730 | 2147483647 159244 36 | 2.227 % |
235.24/235.31 c | 670462 | 40514 302700 1182730 | 2147483647 161292 36 | 2.227 % |
235.64/235.71 c | 670975 | 40514 302700 1182730 | 2147483647 161805 36 | 2.227 % |
236.04/236.10 c | 671487 | 40511 302700 1182730 | 2147483647 162315 36 | 2.237 % |
236.64/236.68 c | 672511 | 40511 302700 1182730 | 2147483647 163339 36 | 2.237 % |
236.74/236.74 c | 673025 | 40511 302700 1182730 | 2147483647 163853 36 | 2.237 % |
236.84/236.85 c | 673537 | 40509 302700 1182730 | 2147483647 164364 36 | 2.295 % |
237.44/237.51 c | 674563 | 40495 302700 1182730 | 2147483647 165390 35 | 2.295 % |
238.04/238.04 c | 676611 | 40494 302700 1182730 | 2147483647 167437 35 | 2.297 % |
240.24/240.29 c | 680708 | 40494 302700 1182730 | 2147483647 171534 36 | 2.297 % |
240.54/240.52 c | 681221 | 40494 302700 1182730 | 2147483647 172047 36 | 2.297 % |
240.74/240.80 c | 681733 | 40494 302700 1182730 | 2147483647 172559 36 | 2.297 % |
241.04/241.09 c | 682759 | 40494 302700 1182730 | 2147483647 173585 36 | 2.297 % |
241.34/241.32 c | 683272 | 40493 302700 1182730 | 2147483647 174098 36 | 2.297 % |
241.84/241.82 c | 683784 | 40492 302700 1182730 | 2147483647 174609 36 | 2.300 % |
242.54/242.54 c | 684808 | 40492 302700 1182730 | 2147483647 175633 35 | 2.300 % |
243.34/243.39 c | 686856 | 40492 302700 1182730 | 2147483647 177681 35 | 2.300 % |
243.84/243.89 c | 687368 | 40484 302005 1180291 | 2147483647 178179 35 | 2.300 % |
244.14/244.13 c | 687880 | 40484 302005 1180291 | 2147483647 178691 35 | 2.300 % |
244.34/244.35 c | 688905 | 40484 302005 1180291 | 2147483647 179716 35 | 2.300 % |
244.44/244.42 c | 689417 | 40483 302005 1180291 | 2147483647 180227 35 | 2.331 % |
244.44/244.49 c | 689929 | 40483 302005 1180291 | 2147483647 180739 35 | 2.331 % |
245.04/245.03 c | 690954 | 40483 302005 1180291 | 2147483647 181764 35 | 2.331 % |
245.44/245.43 c | 693003 | 40483 302005 1180291 | 2147483647 183813 35 | 2.331 % |
246.74/246.80 c | 697099 | 40481 302005 1180291 | 2147483647 187907 35 | 2.336 % |
248.04/248.03 c | 705295 | 40479 302005 1180291 | 2147483647 196102 36 | 2.338 % |
252.34/252.40 c | 721679 | 40478 302005 1180291 | 2147483647 169615 33 | 2.341 % |
263.04/263.10 c | 754447 | 40478 302005 1180291 | 197936 202383 33 | 2.341 % |
263.84/263.88 c | 754959 | 40467 301579 1178744 | 197936 128008 28 | 2.341 % |
264.14/264.11 c | 755471 | 40467 301579 1178744 | 197936 128520 28 | 2.341 % |
264.44/264.47 c | 756495 | 40467 301579 1178744 | 197936 129544 28 | 2.341 % |
264.54/264.56 c | 757007 | 40467 301579 1178744 | 197936 130056 28 | 2.341 % |
264.74/264.79 c | 757519 | 40467 301579 1178744 | 197936 130568 28 | 2.341 % |
264.94/265.00 c | 758549 | 40467 301579 1178744 | 197936 131598 29 | 2.341 % |
265.94/265.96 c | 760597 | 40467 301579 1178744 | 133049 133646 28 | 2.341 % |
266.44/266.44 c | 761109 | 40467 301579 1178744 | 133049 134158 28 | 2.341 % |
266.64/266.70 c | 761621 | 40467 301579 1178744 | 133049 117291 29 | 2.341 % |
267.14/267.12 c | 762646 | 40466 301579 1178744 | 133049 118315 29 | 2.343 % |
267.24/267.25 c | 763159 | 40466 301579 1178744 | 133049 118828 29 | 2.343 % |
267.44/267.46 c | 763671 | 40466 301579 1178744 | 133049 119340 29 | 2.343 % |
267.74/267.80 c | 764695 | 40465 301579 1178744 | 133049 120363 29 | 2.346 % |
268.04/268.07 c | 766743 | 40464 301579 1178744 | 133049 122410 29 | 2.348 % |
269.54/269.61 c | 770839 | 40464 301579 1178744 | 2147483647 126506 28 | 2.348 % |
269.84/269.90 c | 771353 | 40464 301579 1178744 | 2147483647 127020 28 | 2.348 % |
270.04/270.06 c | 771866 | 40464 301579 1178744 | 2147483647 127533 28 | 2.348 % |
270.64/270.61 c | 772890 | 40464 301579 1178744 | 2147483647 128557 28 | 2.348 % |
270.74/270.76 c | 773404 | 40464 301579 1178744 | 2147483647 129071 28 | 2.348 % |
270.94/271.00 c | 773917 | 40464 301579 1178744 | 2147483647 129584 28 | 2.348 % |
271.44/271.43 c | 774944 | 40464 301579 1178744 | 2147483647 130611 28 | 2.348 % |
272.74/272.74 c | 776993 | 40463 301445 1178313 | 2147483647 132638 28 | 2.351 % |
272.94/272.94 c | 777505 | 40463 301445 1178313 | 2147483647 133150 28 | 2.351 % |
273.14/273.13 c | 778018 | 40460 301445 1178313 | 2147483647 133662 28 | 2.358 % |
273.54/273.61 c | 779043 | 40460 301445 1178313 | 2147483647 134687 28 | 2.358 % |
273.74/273.80 c | 779555 | 40460 301445 1178313 | 2147483647 135199 28 | 2.358 % |
274.04/274.03 c | 780067 | 40460 301445 1178313 | 2147483647 135711 28 | 2.358 % |
274.34/274.39 c | 781092 | 40460 301445 1178313 | 2147483647 136736 28 | 2.358 % |
275.14/275.11 c | 783140 | 40460 301445 1178313 | 2147483647 138784 28 | 2.358 % |
276.94/276.95 c | 787238 | 40460 301445 1178313 | 2147483647 142882 29 | 2.358 % |
278.94/278.93 c | 795431 | 40459 301445 1178313 | 2147483647 151074 29 | 2.360 % |
279.34/279.32 c | 795943 | 40458 301382 1178077 | 2147483647 151546 29 | 2.363 % |
279.64/279.64 c | 796456 | 40458 301382 1178077 | 2147483647 152059 29 | 2.363 % |
279.94/280.00 c | 797482 | 40458 301382 1178077 | 2147483647 153085 29 | 2.363 % |
280.24/280.25 c | 797995 | 40458 301382 1178077 | 2147483647 153598 29 | 2.363 % |
280.44/280.44 c | 798507 | 40458 301382 1178077 | 2147483647 154110 29 | 2.363 % |
280.84/280.83 c | 799531 | 40453 301382 1178077 | 2147483647 155133 29 | 2.375 % |
281.24/281.28 c | 801579 | 40453 301382 1178077 | 2147483647 157181 29 | 2.375 % |
281.34/281.34 c | 802105 | 40453 301382 1178077 | 2147483647 157707 29 | 2.375 % |
281.44/281.50 c | 802618 | 40453 301382 1178077 | 2147483647 158220 29 | 2.375 % |
282.04/282.07 c | 803642 | 40453 301382 1178077 | 2147483647 159244 29 | 2.375 % |
282.24/282.21 c | 804155 | 40453 301382 1178077 | 2147483647 159757 29 | 2.375 % |
282.54/282.61 c | 804668 | 40441 301382 1178077 | 2147483647 160269 29 | 2.546 % |
283.04/283.01 c | 805692 | 40441 301382 1178077 | 2147483647 161293 29 | 2.546 % |
283.74/283.75 c | 807742 | 40441 301382 1178077 | 2147483647 163343 29 | 2.546 % |
284.74/284.77 c | 811838 | 40421 301382 1178077 | 2147483647 167439 29 | 2.546 % |
284.94/284.98 c | 812352 | 40421 301382 1178077 | 2147483647 167953 29 | 2.546 % |
285.34/285.31 c | 812866 | 40421 301382 1178077 | 2147483647 168467 29 | 2.546 % |
286.04/286.05 c | 813893 | 40421 301382 1178077 | 2147483647 169494 29 | 2.546 % |
286.44/286.50 c | 814408 | 40382 300116 1173348 | 2147483647 169988 29 | 2.546 % |
286.84/286.84 c | 814920 | 40382 300116 1173348 | 2147483647 170500 29 | 2.546 % |
287.34/287.36 c | 815944 | 40382 300116 1173348 | 2147483647 171524 29 | 2.546 % |
287.94/287.99 c | 817992 | 40382 300116 1173348 | 2147483647 173572 28 | 2.546 % |
288.24/288.28 c | 818504 | 40382 300116 1173348 | 2147483647 174084 28 | 2.546 % |
288.54/288.56 c | 819017 | 40382 300116 1173348 | 2147483647 174597 28 | 2.546 % |
289.24/289.26 c | 820041 | 40382 300116 1173348 | 2147483647 175621 28 | 2.546 % |
289.54/289.55 c | 820553 | 40382 300116 1173348 | 2147483647 176133 28 | 2.546 % |
289.84/289.82 c | 821065 | 40382 300116 1173348 | 2147483647 176645 28 | 2.546 % |
290.14/290.15 c | 822089 | 40382 300116 1173348 | 2147483647 177669 28 | 2.546 % |
290.84/290.85 c | 824137 | 40382 300116 1173348 | 2147483647 179717 28 | 2.546 % |
292.14/292.16 c | 828233 | 40382 300116 1173348 | 2147483647 183813 28 | 2.546 % |
294.14/294.12 c | 836425 | 40382 300116 1173348 | 2147483647 192005 29 | 2.546 % |
297.74/297.74 c | 852809 | 40381 300050 1173065 | 205543 208347 29 | 2.548 % |
298.25/298.26 c | 853322 | 40381 300050 1173065 | 205543 143491 28 | 2.548 % |
298.54/298.53 c | 853834 | 40381 300050 1173065 | 205543 144003 28 | 2.548 % |
299.14/299.11 c | 854860 | 40381 300050 1173065 | 205543 145029 28 | 2.548 % |
299.54/299.51 c | 855372 | 40381 300050 1173065 | 205543 145541 28 | 2.548 % |
299.84/299.86 c | 855884 | 40381 300050 1173065 | 205543 146053 28 | 2.548 % |
300.34/300.38 c | 856908 | 40380 300050 1173065 | 205543 147076 28 | 2.553 % |
300.74/300.75 c | 858956 | 40380 300050 1173065 | 205543 149124 28 | 2.553 % |
301.14/301.14 c | 859468 | 40380 300050 1173065 | 205543 149636 28 | 2.553 % |
301.24/301.28 c | 859980 | 40380 300050 1173065 | 205543 150148 28 | 2.553 % |
301.55/301.53 c | 861005 | 40379 300050 1173065 | 2147483647 151173 28 | 2.553 % |
301.74/301.78 c | 861517 | 40379 300050 1173065 | 2147483647 151685 28 | 2.553 % |
302.04/302.01 c | 862029 | 40373 300050 1173065 | 2147483647 152196 28 | 2.577 % |
302.44/302.41 c | 863054 | 40373 300050 1173065 | 2147483647 153221 28 | 2.577 % |
303.24/303.24 c | 865103 | 40373 300050 1173065 | 2147483647 155270 28 | 2.577 % |
304.54/304.51 c | 869199 | 40373 300050 1173065 | 2147483647 159366 28 | 2.577 % |
304.74/304.76 c | 869712 | 40369 299691 1171735 | 2147483647 159878 28 | 2.577 % |
304.94/304.91 c | 870224 | 40369 299691 1171735 | 2147483647 160390 28 | 2.577 % |
305.24/305.29 c | 871248 | 40369 299691 1171735 | 2147483647 161414 28 | 2.577 % |
305.54/305.55 c | 871763 | 40369 299691 1171735 | 2147483647 161929 28 | 2.577 % |
306.04/306.01 c | 872276 | 40369 299691 1171735 | 2147483647 162442 28 | 2.577 % |
306.44/306.42 c | 873300 | 40369 299691 1171735 | 2147483647 163466 28 | 2.577 % |
306.94/306.92 c | 875351 | 40369 299691 1171735 | 2147483647 165517 28 | 2.577 % |
307.24/307.28 c | 875863 | 40369 299691 1171735 | 2147483647 166029 28 | 2.577 % |
307.64/307.62 c | 876375 | 40369 299691 1171735 | 2147483647 166541 28 | 2.577 % |
308.64/308.70 c | 877399 | 40369 299691 1171735 | 2147483647 167565 28 | 2.577 % |
308.84/308.86 c | 877912 | 40369 299691 1171735 | 2147483647 168078 28 | 2.577 % |
309.04/309.03 c | 878424 | 40369 299691 1171735 | 2147483647 168590 28 | 2.577 % |
309.25/309.25 c | 879449 | 40369 299691 1171735 | 2147483647 169615 28 | 2.577 % |
310.14/310.12 c | 881498 | 40369 299691 1171735 | 2147483647 171664 28 | 2.577 % |
310.94/311.00 c | 885597 | 40369 299691 1171735 | 2147483647 175763 28 | 2.577 % |
312.64/312.68 c | 893791 | 40368 299645 1171576 | 2147483647 183955 28 | 2.580 % |
312.84/312.88 c | 894304 | 40368 299645 1171576 | 2147483647 184468 28 | 2.580 % |
313.34/313.36 c | 894816 | 40368 299645 1171576 | 2147483647 184980 28 | 2.580 % |
314.04/314.09 c | 895841 | 40368 299645 1171576 | 2147483647 186005 28 | 2.580 % |
314.34/314.31 c | 896354 | 40368 299645 1171576 | 2147483647 186518 28 | 2.580 % |
314.64/314.61 c | 896867 | 40368 299645 1171576 | 2147483647 187031 28 | 2.580 % |
314.94/314.93 c | 897891 | 40368 299645 1171576 | 2147483647 188055 28 | 2.580 % |
315.94/316.00 c | 899939 | 40368 299645 1171576 | 2147483647 190103 28 | 2.580 % |
316.34/316.37 c | 900451 | 40368 299645 1171576 | 2147483647 190615 28 | 2.580 % |
316.84/316.85 c | 900963 | 40368 299645 1171576 | 2147483647 191127 28 | 2.580 % |
317.54/317.59 c | 901987 | 40368 299645 1171576 | 2147483647 192151 28 | 2.580 % |
317.64/317.63 c | 902505 | 40368 299645 1171576 | 2147483647 192669 28 | 2.580 % |
317.74/317.74 c | 903017 | 40368 299645 1171576 | 2147483647 193181 28 | 2.580 % |
317.94/317.99 c | 904042 | 40368 299645 1171576 | 2147483647 194206 28 | 2.580 % |
318.34/318.38 c | 906090 | 40368 299645 1171576 | 2147483647 196254 28 | 2.580 % |
320.14/320.14 c | 910186 | 40368 299645 1171576 | 200165 200350 28 | 2.580 % |
320.54/320.55 c | 910699 | 40368 299645 1171576 | 200165 200863 28 | 2.580 % |
321.04/321.01 c | 911211 | 40368 299645 1171576 | 200165 201375 28 | 2.580 % |
321.74/321.74 c | 912237 | 40368 299645 1171576 | 200165 182264 28 | 2.580 % |
321.94/321.98 c | 912749 | 40368 299645 1171576 | 200165 182776 28 | 2.580 % |
322.14/322.17 c | 913261 | 40368 299645 1171576 | 200165 183288 28 | 2.580 % |
322.45/322.44 c | 914286 | 40368 299645 1171576 | 200165 184313 28 | 2.580 % |
324.15/324.19 c | 916334 | 40368 299645 1171576 | 200165 186361 28 | 2.580 % |
324.45/324.46 c | 916846 | 40368 299645 1171576 | 200165 186873 28 | 2.580 % |
324.55/324.60 c | 917359 | 40368 299645 1171576 | 200165 187386 28 | 2.580 % |
324.65/324.68 c | 918385 | 40368 299645 1171576 | 200165 188412 28 | 2.580 % |
324.85/324.90 c | 918897 | 40368 299645 1171576 | 200165 188924 28 | 2.580 % |
325.15/325.14 c | 919409 | 40368 299645 1171576 | 200165 189436 28 | 2.580 % |
325.75/325.80 c | 920433 | 40368 299645 1171576 | 2147483647 190460 28 | 2.580 % |
326.55/326.59 c | 922484 | 40368 299645 1171576 | 2147483647 192511 28 | 2.580 % |
327.25/327.28 c | 926580 | 40368 299645 1171576 | 2147483647 196607 28 | 2.580 % |
330.95/330.94 c | 934772 | 40368 299645 1171576 | 2147483647 204799 29 | 2.580 % |
338.45/338.51 c | 951156 | 40355 299597 1171283 | 2147483647 221098 29 | 2.614 % |
357.46/357.46 c | 983926 | 40350 299407 1170563 | 2147483647 230264 30 | 2.623 % |
385.66/385.68 c | 1049465 | 40349 299361 1170415 | 209202 174263 31 | 2.626 % |
415.76/415.77 c | 1180539 | 40348 299361 1170415 | 61271 61810 35 | 2.628 % |
416.06/416.02 c | 1181051 | 40348 299312 1170261 | 61271 62319 35 | 2.628 % |
416.16/416.12 c | 1181564 | 40348 299312 1170261 | 61271 62832 34 | 2.628 % |
416.46/416.45 c | 1182593 | 40348 299312 1170261 | 61271 57578 35 | 2.628 % |
416.66/416.66 c | 1183105 | 40348 299312 1170261 | 61271 58090 35 | 2.628 % |
416.76/416.78 c | 1183618 | 40348 299312 1170261 | 61271 58603 34 | 2.628 % |
417.16/417.14 c | 1184642 | 40348 299312 1170261 | 61271 59627 35 | 2.628 % |
417.56/417.60 c | 1186691 | 40348 299312 1170261 | 61271 61676 34 | 2.628 % |
417.76/417.79 c | 1187204 | 40348 299312 1170261 | 61271 62189 34 | 2.628 % |
418.06/418.08 c | 1187718 | 40348 299312 1170261 | 61271 62703 34 | 2.628 % |
418.26/418.28 c | 1188742 | 40348 299312 1170261 | 61271 57457 34 | 2.628 % |
418.56/418.53 c | 1189254 | 40348 299312 1170261 | 61271 57969 34 | 2.628 % |
418.76/418.78 c | 1189767 | 40348 299312 1170261 | 61271 58482 34 | 2.628 % |
418.96/418.98 c | 1190791 | 40348 299312 1170261 | 2147483647 59506 33 | 2.628 % |
419.36/419.33 c | 1192840 | 40348 299312 1170261 | 2147483647 61555 33 | 2.628 % |
420.16/420.17 c | 1196936 | 40347 299264 1170112 | 2147483647 65648 32 | 2.630 % |
420.26/420.27 c | 1197449 | 40347 299264 1170112 | 2147483647 66161 32 | 2.630 % |
420.57/420.53 c | 1197964 | 40347 299264 1170112 | 2147483647 66676 32 | 2.630 % |
420.67/420.66 c | 1198988 | 40347 299264 1170112 | 2147483647 67700 32 | 2.630 % |
420.77/420.73 c | 1199501 | 40347 299264 1170112 | 2147483647 68213 32 | 2.630 % |
420.87/420.88 c | 1200014 | 40347 299264 1170112 | 2147483647 68726 32 | 2.630 % |
420.87/420.92 c | 1201038 | 40347 299264 1170112 | 2147483647 69750 32 | 2.630 % |
421.37/421.42 c | 1203090 | 40347 299264 1170112 | 2147483647 71802 31 | 2.630 % |
421.67/421.63 c | 1203603 | 40347 299264 1170112 | 2147483647 72315 31 | 2.630 % |
421.77/421.78 c | 1204116 | 40347 299264 1170112 | 2147483647 72828 31 | 2.631 % |
422.17/422.20 c | 1205140 | 40347 299264 1170112 | 2147483647 73852 31 | 2.631 % |
422.37/422.33 c | 1205655 | 40347 299264 1170112 | 2147483647 74367 31 | 2.630 % |
422.57/422.60 c | 1206168 | 40347 299264 1170112 | 2147483647 74880 31 | 2.630 % |
423.07/423.03 c | 1207194 | 40347 299264 1170112 | 2147483647 75906 31 | 2.630 % |
423.37/423.33 c | 1209242 | 40347 299264 1170112 | 2147483647 77954 31 | 2.630 % |
424.37/424.39 c | 1213340 | 40347 299264 1170112 | 2147483647 82052 31 | 2.630 % |
426.46/426.48 c | 1221533 | 40347 299264 1170112 | 2147483647 90245 34 | 2.630 % |
426.66/426.64 c | 1222049 | 40347 299264 1170112 | 2147483647 90761 34 | 2.630 % |
426.96/426.93 c | 1222561 | 40347 299264 1170112 | 2147483647 91273 34 | 2.630 % |
426.96/427.00 c | 1223589 | 40347 299264 1170112 | 2147483647 92301 34 | 2.630 % |
427.16/427.18 c | 1224101 | 40347 299264 1170112 | 2147483647 92813 34 | 2.630 % |
427.16/427.21 c | 1224614 | 40347 299264 1170112 | 2147483647 93326 34 | 2.631 % |
427.36/427.36 c | 1225640 | 40347 299264 1170112 | 2147483647 94352 33 | 2.630 % |
427.86/427.90 c | 1227689 | 40347 299264 1170112 | 2147483647 96401 33 | 2.630 % |
427.96/427.99 c | 1228205 | 40347 299264 1170112 | 2147483647 96917 33 | 2.631 % |
428.16/428.17 c | 1228717 | 40346 299218 1169975 | 2147483647 97428 33 | 2.633 % |
428.46/428.45 c | 1229741 | 40346 299218 1169975 | 2147483647 98452 33 | 2.633 % |
428.66/428.68 c | 1230253 | 40343 299218 1169975 | 2147483647 98963 33 | 2.640 % |
428.76/428.79 c | 1230765 | 40343 299218 1169975 | 2147483647 99475 33 | 2.640 % |
429.06/429.11 c | 1231789 | 40343 299218 1169975 | 2147483647 100499 33 | 2.640 % |
429.66/429.67 c | 1233838 | 40343 299218 1169975 | 2147483647 102548 33 | 2.640 % |
430.96/430.96 c | 1237934 | 40343 299218 1169975 | 2147483647 106644 33 | 2.640 % |
431.16/431.14 c | 1238446 | 40343 299218 1169975 | 2147483647 107156 33 | 2.640 % |
431.26/431.25 c | 1238959 | 40343 299218 1169975 | 2147483647 107669 33 | 2.640 % |
431.76/431.72 c | 1239983 | 40343 299218 1169975 | 2147483647 108693 33 | 2.640 % |
432.06/432.04 c | 1240496 | 40343 299182 1169835 | 2147483647 109206 33 | 2.640 % |
432.26/432.25 c | 1241008 | 40343 299182 1169835 | 2147483647 109718 33 | 2.640 % |
432.66/432.70 c | 1242033 | 40343 299182 1169835 | 2147483647 110743 33 | 2.640 % |
432.96/432.92 c | 1244081 | 40343 299182 1169835 | 2147483647 112791 33 | 2.640 % |
433.06/433.07 c | 1244593 | 40343 299182 1169835 | 2147483647 113303 33 | 2.640 % |
433.26/433.27 c | 1245107 | 40343 299182 1169835 | 2147483647 113817 33 | 2.640 % |
433.56/433.53 c | 1246132 | 40343 299182 1169835 | 2147483647 114842 32 | 2.640 % |
433.56/433.56 c | 1246644 | 40343 299182 1169835 | 2147483647 115354 32 | 2.640 % |
433.86/433.90 c | 1247158 | 40339 299182 1169835 | 2147483647 115866 32 | 2.737 % |
434.26/434.21 c | 1248184 | 40339 299182 1169835 | 2147483647 116892 32 | 2.737 % |
434.66/434.71 c | 1250232 | 40339 299182 1169835 | 2147483647 118940 32 | 2.737 % |
435.66/435.62 c | 1254328 | 40336 299182 1169835 | 2147483647 123036 32 | 2.737 % |
438.36/438.40 c | 1262520 | 40336 299182 1169835 | 2147483647 131228 33 | 2.737 % |
442.76/442.79 c | 1278904 | 40303 298418 1166971 | 2147483647 147612 34 | 2.737 % |
442.96/443.01 c | 1279416 | 40303 298418 1166971 | 2147483647 148124 34 | 2.737 % |
443.26/443.24 c | 1279928 | 40303 298418 1166971 | 2147483647 148636 35 | 2.737 % |
443.26/443.31 c | 1280953 | 40303 298418 1166971 | 148709 149661 34 | 2.737 % |
443.66/443.65 c | 1281466 | 40302 298418 1166971 | 148709 150173 34 | 2.746 % |
444.16/444.16 c | 1281979 | 40302 298418 1166971 | 148709 135669 33 | 2.746 % |
444.36/444.38 c | 1283005 | 40301 298418 1166971 | 148709 136695 33 | 2.746 % |
444.86/444.83 c | 1285053 | 40301 298418 1166971 | 148709 138743 32 | 2.746 % |
444.96/444.92 c | 1285565 | 40301 298418 1166971 | 148709 139255 32 | 2.746 % |
445.26/445.22 c | 1286079 | 40301 298418 1166971 | 148709 139769 32 | 2.746 % |
445.66/445.66 c | 1287103 | 40299 298336 1166640 | 148709 140789 33 | 2.746 % |
446.06/446.10 c | 1287616 | 40299 298336 1166640 | 148709 141302 33 | 2.746 % |
446.26/446.24 c | 1288128 | 40299 298336 1166640 | 148709 141814 33 | 2.746 % |
446.46/446.41 c | 1289153 | 40299 298336 1166640 | 148709 142839 33 | 2.746 % |
446.86/446.85 c | 1291201 | 40289 298336 1166640 | 2147483647 144886 32 | 2.809 % |
447.66/447.67 c | 1295297 | 40281 298336 1166640 | 2147483647 148982 32 | 2.809 % |
447.96/447.93 c | 1295809 | 40281 298336 1166640 | 2147483647 149494 32 | 2.809 % |
448.06/448.02 c | 1296322 | 40281 298336 1166640 | 2147483647 150007 32 | 2.809 % |
448.56/448.58 c | 1297347 | 40280 298336 1166640 | 2147483647 151031 32 | 2.812 % |
448.86/448.84 c | 1297860 | 40280 298336 1166640 | 2147483647 151544 32 | 2.811 % |
448.96/448.99 c | 1298372 | 40280 298336 1166640 | 2147483647 152056 32 | 2.811 % |
449.26/449.29 c | 1299397 | 40280 298336 1166640 | 2147483647 153081 32 | 2.811 % |
449.66/449.71 c | 1301445 | 40280 298336 1166640 | 2147483647 155129 32 | 2.811 % |
449.76/449.78 c | 1301958 | 40280 298336 1166640 | 2147483647 155642 32 | 2.811 % |
450.06/450.03 c | 1302470 | 40280 298336 1166640 | 2147483647 156154 32 | 2.811 % |
450.26/450.27 c | 1303494 | 40280 298336 1166640 | 2147483647 157178 32 | 2.811 % |
450.56/450.53 c | 1304007 | 40280 298336 1166640 | 2147483647 157691 32 | 2.811 % |
450.66/450.69 c | 1304519 | 40280 298336 1166640 | 2147483647 158203 32 | 2.811 % |
451.16/451.11 c | 1305543 | 40280 298336 1166640 | 2147483647 159227 32 | 2.812 % |
451.66/451.70 c | 1307591 | 40267 297663 1164284 | 2147483647 161270 31 | 2.824 % |
452.46/452.50 c | 1311690 | 40267 297663 1164284 | 2147483647 165369 32 | 2.824 % |
456.26/456.31 c | 1319885 | 40267 297663 1164284 | 2147483647 173564 31 | 2.824 % |
456.46/456.51 c | 1320398 | 40267 297663 1164284 | 2147483647 174077 31 | 2.824 % |
456.76/456.77 c | 1320911 | 40267 297663 1164284 | 2147483647 174590 31 | 2.824 % |
457.26/457.21 c | 1321936 | 40267 297663 1164284 | 2147483647 175615 31 | 2.824 % |
457.46/457.47 c | 1322451 | 40267 297663 1164284 | 2147483647 176130 31 | 2.824 % |
457.66/457.63 c | 1322964 | 40267 297663 1164284 | 2147483647 176643 31 | 2.824 % |
458.06/458.06 c | 1323989 | 40267 297663 1164284 | 2147483647 177668 31 | 2.824 % |
458.66/458.64 c | 1326041 | 40267 297663 1164284 | 2147483647 179720 31 | 2.824 % |
458.96/458.94 c | 1326556 | 40266 297663 1164284 | 2147483647 180234 31 | 2.826 % |
459.36/459.35 c | 1327068 | 40266 297615 1164135 | 2147483647 180744 31 | 2.826 % |
459.86/459.89 c | 1328093 | 40266 297615 1164135 | 2147483647 181769 31 | 2.826 % |
460.16/460.14 c | 1328605 | 40266 297615 1164135 | 2147483647 182281 31 | 2.826 % |
460.46/460.43 c | 1329117 | 40266 297615 1164135 | 2147483647 182793 31 | 2.826 % |
460.76/460.77 c | 1330141 | 40266 297615 1164135 | 2147483647 183817 31 | 2.826 % |
461.46/461.43 c | 1332189 | 40266 297615 1164135 | 2147483647 185865 31 | 2.826 % |
462.26/462.26 c | 1336286 | 40266 297615 1164135 | 2147483647 189962 31 | 2.826 % |
462.46/462.50 c | 1336798 | 40266 297615 1164135 | 2147483647 190474 31 | 2.826 % |
462.66/462.65 c | 1337310 | 40266 297615 1164135 | 2147483647 190986 31 | 2.826 % |
463.06/463.10 c | 1338334 | 40266 297615 1164135 | 2147483647 192010 31 | 2.826 % |
463.26/463.31 c | 1338846 | 40266 297615 1164135 | 2147483647 192522 31 | 2.826 % |
463.46/463.48 c | 1339360 | 40266 297615 1164135 | 2147483647 193036 31 | 2.826 % |
463.86/463.89 c | 1340384 | 40266 297615 1164135 | 2147483647 194060 31 | 2.826 % |
464.56/464.52 c | 1342432 | 40266 297615 1164135 | 2147483647 196108 31 | 2.826 % |
464.56/464.56 c | 1342944 | 40266 297615 1164135 | 2147483647 196620 31 | 2.826 % |
464.66/464.70 c | 1343456 | 40266 297615 1164135 | 2147483647 197132 31 | 2.826 % |
464.96/464.92 c | 1344481 | 40266 297615 1164135 | 2147483647 198157 31 | 2.826 % |
464.96/464.99 c | 1344993 | 40266 297615 1164135 | 2147483647 198669 31 | 2.826 % |
465.06/465.03 c | 1345505 | 40266 297615 1164135 | 2147483647 199181 31 | 2.826 % |
465.66/465.70 c | 1346532 | 40266 297615 1164135 | 2147483647 200208 31 | 2.826 % |
466.36/466.37 c | 1348580 | 40266 297615 1164135 | 2147483647 202256 31 | 2.826 % |
468.16/468.13 c | 1352677 | 40266 297615 1164135 | 2147483647 206353 31 | 2.826 % |
470.56/470.51 c | 1360869 | 40266 297615 1164135 | 2147483647 214545 31 | 2.826 % |
476.16/476.20 c | 1377253 | 40264 297607 1164113 | 2147483647 230924 31 | 2.831 % |
490.26/490.29 c | 1410022 | 40264 297607 1164113 | 205545 205567 31 | 2.831 % |
490.46/490.44 c | 1410534 | 40264 297607 1164113 | 205545 206079 31 | 2.831 % |
490.66/490.61 c | 1411046 | 40264 297607 1164113 | 205545 206591 31 | 2.831 % |
491.16/491.13 c | 1412070 | 40264 297607 1164113 | 205545 207615 31 | 2.831 % |
491.66/491.63 c | 1412583 | 40264 297607 1164113 | 205545 183267 29 | 2.831 % |
492.06/492.02 c | 1413095 | 40264 297607 1164113 | 205545 183779 29 | 2.831 % |
492.26/492.23 c | 1414119 | 40264 297607 1164113 | 205545 184803 29 | 2.831 % |
493.06/493.11 c | 1416168 | 40264 297607 1164113 | 205545 186852 29 | 2.831 % |
493.46/493.41 c | 1416680 | 40264 297607 1164113 | 205545 187364 29 | 2.831 % |
493.56/493.58 c | 1417194 | 40264 297607 1164113 | 205545 187878 29 | 2.831 % |
493.96/493.94 c | 1418221 | 40264 297607 1164113 | 205545 188905 29 | 2.831 % |
494.46/494.49 c | 1418734 | 40264 297607 1164113 | 205545 189418 29 | 2.831 % |
494.66/494.64 c | 1419246 | 40264 297607 1164113 | 205545 189930 29 | 2.831 % |
495.17/495.17 c | 1420272 | 40264 297607 1164113 | 2147483647 190956 29 | 2.831 % |
496.46/496.44 c | 1422320 | 40264 297607 1164113 | 2147483647 193004 29 | 2.831 % |
497.66/497.66 c | 1426416 | 40263 297591 1164064 | 2147483647 197094 29 | 2.833 % |
497.96/498.00 c | 1426928 | 40263 297591 1164064 | 2147483647 197606 29 | 2.833 % |
498.06/498.03 c | 1427444 | 40263 297591 1164064 | 2147483647 198122 29 | 2.833 % |
498.47/498.46 c | 1428471 | 40263 297591 1164064 | 2147483647 199149 29 | 2.833 % |
498.76/498.78 c | 1428983 | 40263 297591 1164064 | 2147483647 199661 29 | 2.833 % |
499.06/499.03 c | 1429495 | 40263 297591 1164064 | 2147483647 200173 29 | 2.833 % |
499.57/499.55 c | 1430519 | 40263 297591 1164064 | 200678 201197 29 | 2.833 % |
499.96/499.97 c | 1432567 | 40263 297591 1164064 | 200678 203245 29 | 2.833 % |
500.36/500.33 c | 1433080 | 40263 297591 1164064 | 200678 182309 29 | 2.833 % |
500.46/500.46 c | 1433595 | 40263 297591 1164064 | 200678 182824 29 | 2.833 % |
500.56/500.61 c | 1434619 | 40263 297591 1164064 | 200678 183848 29 | 2.833 % |
501.06/501.07 c | 1435131 | 40263 297591 1164064 | 200678 184360 29 | 2.833 % |
501.46/501.47 c | 1435643 | 40263 297591 1164064 | 200678 184872 29 | 2.833 % |
501.77/501.72 c | 1436667 | 40263 297591 1164064 | 200678 185896 29 | 2.833 % |
503.26/503.29 c | 1438715 | 40263 297591 1164064 | 200678 187944 29 | 2.833 % |
503.86/503.82 c | 1442811 | 40263 297591 1164064 | 189229 192040 29 | 2.833 % |
505.76/505.75 c | 1451003 | 40263 297591 1164064 | 169032 170033 29 | 2.833 % |
506.06/506.03 c | 1451517 | 40263 297591 1164064 | 169032 170547 29 | 2.833 % |
506.46/506.49 c | 1452031 | 40263 297591 1164064 | 169032 144585 28 | 2.833 % |
506.86/506.81 c | 1453056 | 40262 297591 1164064 | 169032 145609 28 | 2.843 % |
507.06/507.07 c | 1453569 | 40259 297571 1163946 | 169032 146122 28 | 2.843 % |
507.27/507.28 c | 1454083 | 40259 297571 1163946 | 169032 146636 28 | 2.843 % |
507.76/507.78 c | 1455108 | 40259 297571 1163946 | 169032 147661 28 | 2.843 % |
508.26/508.28 c | 1457156 | 40259 297571 1163946 | 169032 149709 29 | 2.843 % |
508.46/508.46 c | 1457669 | 40259 297571 1163946 | 169032 150222 29 | 2.843 % |
508.76/508.71 c | 1458181 | 40259 297571 1163946 | 169032 150734 29 | 2.843 % |
509.06/509.08 c | 1459206 | 40259 297571 1163946 | 169032 151759 29 | 2.843 % |
509.26/509.21 c | 1459718 | 40259 297571 1163946 | 169032 152271 28 | 2.843 % |
509.56/509.56 c | 1460231 | 40259 297571 1163946 | 2147483647 152784 28 | 2.843 % |
509.86/509.83 c | 1461258 | 40259 297571 1163946 | 2147483647 153811 28 | 2.843 % |
510.26/510.26 c | 1463307 | 40259 297571 1163946 | 2147483647 155860 28 | 2.843 % |
511.96/511.99 c | 1467403 | 40259 297571 1163946 | 2147483647 159956 28 | 2.843 % |
512.26/512.23 c | 1467916 | 40259 297571 1163946 | 2147483647 160469 28 | 2.843 % |
512.36/512.34 c | 1468428 | 40259 297571 1163946 | 2147483647 160981 28 | 2.843 % |
512.77/512.79 c | 1469453 | 40259 297571 1163946 | 2147483647 162006 28 | 2.843 % |
513.06/513.04 c | 1469965 | 40259 297571 1163946 | 2147483647 162518 28 | 2.843 % |
513.26/513.22 c | 1470478 | 40259 297571 1163946 | 2147483647 163031 28 | 2.843 % |
513.96/513.92 c | 1471503 | 40259 297571 1163946 | 2147483647 164056 28 | 2.843 % |
514.86/514.85 c | 1473551 | 40256 297525 1163797 | 2147483647 166101 28 | 2.850 % |
515.06/515.09 c | 1474064 | 40256 297525 1163797 | 2147483647 166614 28 | 2.850 % |
515.46/515.44 c | 1474576 | 40256 297525 1163797 | 2147483647 167126 28 | 2.850 % |
515.86/515.83 c | 1475601 | 40256 297525 1163797 | 2147483647 168151 28 | 2.850 % |
515.96/515.99 c | 1476113 | 40256 297525 1163797 | 2147483647 168663 28 | 2.850 % |
516.36/516.38 c | 1476625 | 40256 297525 1163797 | 2147483647 169175 28 | 2.850 % |
516.86/516.89 c | 1477649 | 40256 297525 1163797 | 2147483647 170199 28 | 2.850 % |
517.86/517.89 c | 1479699 | 40256 297525 1163797 | 2147483647 172249 29 | 2.850 % |
518.37/518.36 c | 1483795 | 40256 297525 1163797 | 2147483647 176345 29 | 2.850 % |
520.17/520.12 c | 1491987 | 40256 297525 1163797 | 2147483647 184537 29 | 2.850 % |
524.27/524.27 c | 1508373 | 40256 297525 1163797 | 2147483647 200923 30 | 2.850 % |
524.47/524.49 c | 1508887 | 40256 297525 1163797 | 2147483647 201437 30 | 2.850 % |
524.77/524.78 c | 1509399 | 40256 297525 1163797 | 2147483647 201949 30 | 2.850 % |
525.17/525.21 c | 1510423 | 40256 297525 1163797 | 2147483647 202973 30 | 2.850 % |
525.37/525.38 c | 1510936 | 40256 297525 1163797 | 2147483647 203486 30 | 2.850 % |
525.77/525.72 c | 1511450 | 40256 297525 1163797 | 2147483647 204000 30 | 2.850 % |
526.27/526.29 c | 1512475 | 40256 297525 1163797 | 2147483647 205025 30 | 2.850 % |
526.77/526.73 c | 1514524 | 40256 297525 1163797 | 2147483647 207074 30 | 2.850 % |
526.97/526.92 c | 1515036 | 40256 297525 1163797 | 2147483647 207586 30 | 2.850 % |
527.07/527.04 c | 1515548 | 40256 297525 1163797 | 2147483647 208098 30 | 2.850 % |
527.47/527.42 c | 1516573 | 40256 297525 1163797 | 2147483647 209123 30 | 2.850 % |
527.77/527.77 c | 1517085 | 40256 297525 1163797 | 2147483647 209635 30 | 2.850 % |
527.97/527.92 c | 1517597 | 40256 297525 1163797 | 2147483647 210147 30 | 2.850 % |
528.67/528.63 c | 1518621 | 40256 297525 1163797 | 2147483647 211171 30 | 2.850 % |
529.77/529.78 c | 1520670 | 40256 297525 1163797 | 2147483647 213220 30 | 2.850 % |
530.77/530.74 c | 1524766 | 40256 297525 1163797 | 2147483647 217316 30 | 2.850 % |
531.17/531.13 c | 1525278 | 40256 297525 1163797 | 2147483647 217828 30 | 2.850 % |
531.27/531.29 c | 1525790 | 40256 297525 1163797 | 2147483647 218340 30 | 2.850 % |
531.87/531.85 c | 1526814 | 40256 297525 1163797 | 2147483647 219364 30 | 2.850 % |
532.27/532.24 c | 1527326 | 40256 297525 1163797 | 2147483647 219876 30 | 2.850 % |
532.37/532.34 c | 1527838 | 40256 297525 1163797 | 2147483647 220388 30 | 2.850 % |
532.67/532.71 c | 1528864 | 40256 297525 1163797 | 2147483647 221414 30 | 2.850 % |
533.47/533.49 c | 1530912 | 40256 297525 1163797 | 222550 223462 30 | 2.850 % |
533.57/533.56 c | 1531424 | 40256 297525 1163797 | 222550 223974 30 | 2.850 % |
533.97/533.96 c | 1531937 | 40256 297525 1163797 | 222550 199427 29 | 2.850 % |
534.27/534.21 c | 1532961 | 40256 297525 1163797 | 222550 200451 30 | 2.850 % |
534.47/534.45 c | 1533473 | 40256 297525 1163797 | 222550 200963 30 | 2.850 % |
534.57/534.58 c | 1533988 | 40256 297525 1163797 | 222550 201478 30 | 2.850 % |
535.17/535.18 c | 1535013 | 40256 297525 1163797 | 222550 202503 29 | 2.850 % |
535.97/535.99 c | 1537061 | 40256 297525 1163797 | 222550 204551 29 | 2.850 % |
537.77/537.75 c | 1541160 | 40256 297525 1163797 | 2147483647 208650 30 | 2.850 % |
540.87/540.86 c | 1549352 | 40239 297065 1162210 | 2147483647 216839 30 | 2.891 % |
541.07/541.07 c | 1549865 | 40239 297065 1162210 | 2147483647 217352 30 | 2.891 % |
541.57/541.52 c | 1550377 | 40239 297065 1162210 | 2147483647 217864 30 | 2.891 % |
541.87/541.91 c | 1551401 | 40239 297065 1162210 | 2147483647 218888 30 | 2.891 % |
542.17/542.16 c | 1551914 | 40239 297065 1162210 | 2147483647 219401 30 | 2.891 % |
542.37/542.35 c | 1552426 | 40239 297065 1162210 | 2147483647 219913 30 | 2.891 % |
542.87/542.91 c | 1553450 | 40239 297065 1162210 | 2147483647 220937 30 | 2.891 % |
543.97/544.00 c | 1555498 | 40239 297065 1162210 | 2147483647 222985 30 | 2.891 % |
544.07/544.08 c | 1556010 | 40239 297065 1162210 | 2147483647 223497 30 | 2.891 % |
544.17/544.19 c | 1556524 | 40239 297065 1162210 | 2147483647 224011 30 | 2.891 % |
544.97/545.01 c | 1557548 | 40239 297065 1162210 | 2147483647 225035 30 | 2.891 % |
545.37/545.34 c | 1558062 | 40239 297065 1162210 | 2147483647 225549 30 | 2.891 % |
545.57/545.55 c | 1558575 | 40239 297065 1162210 | 2147483647 226062 30 | 2.891 % |
546.47/546.46 c | 1559600 | 40239 297065 1162210 | 2147483647 227087 30 | 2.891 % |
547.47/547.49 c | 1561650 | 40239 297065 1162210 | 227489 229137 30 | 2.891 % |
548.87/548.84 c | 1565748 | 40239 297065 1162210 | 227489 203884 30 | 2.891 % |
548.97/548.92 c | 1566261 | 40239 297065 1162210 | 227489 204397 30 | 2.891 % |
549.17/549.15 c | 1566774 | 40239 297065 1162210 | 227489 204910 30 | 2.891 % |
549.67/549.65 c | 1567799 | 40239 297065 1162210 | 227489 205935 30 | 2.891 % |
549.77/549.76 c | 1568313 | 40239 297065 1162210 | 227489 206449 30 | 2.891 % |
550.17/550.19 c | 1568825 | 40239 297065 1162210 | 227489 206961 30 | 2.891 % |
550.77/550.72 c | 1569851 | 40239 297065 1162210 | 227489 207987 30 | 2.891 % |
551.77/551.75 c | 1571899 | 40239 297065 1162210 | 208136 210035 30 | 2.891 % |
552.07/552.08 c | 1572412 | 40239 297065 1162210 | 208136 187187 29 | 2.891 % |
552.37/552.31 c | 1572926 | 40239 297065 1162210 | 208136 187701 29 | 2.891 % |
552.67/552.66 c | 1573950 | 40239 297065 1162210 | 208136 188725 29 | 2.891 % |
552.87/552.86 c | 1574465 | 40239 297065 1162210 | 208136 189240 29 | 2.891 % |
552.97/552.94 c | 1574977 | 40239 297065 1162210 | 208136 189752 29 | 2.891 % |
553.37/553.32 c | 1576003 | 40239 297065 1162210 | 208136 190778 29 | 2.891 % |
553.87/553.90 c | 1578056 | 40239 297065 1162210 | 208136 192831 29 | 2.891 % |
555.37/555.38 c | 1582152 | 40239 297065 1162210 | 194777 196927 29 | 2.891 % |
558.67/558.66 c | 1590344 | 40239 297065 1162210 | 185083 185427 30 | 2.891 % |
565.67/565.68 c | 1606729 | 40239 297065 1162210 | 2147483647 177834 30 | 2.891 % |
579.17/579.20 c | 1639499 | 40239 297065 1162210 | 2147483647 210604 30 | 2.891 % |
604.57/604.57 c | 1705038 | 40239 297065 1162210 | 2147483647 174306 32 | 2.891 % |
604.87/604.85 c | 1705551 | 40239 297065 1162210 | 2147483647 174819 32 | 2.891 % |
605.07/605.09 c | 1706063 | 40239 297065 1162210 | 2147483647 175331 32 | 2.891 % |
605.77/605.79 c | 1707088 | 40233 296953 1161878 | 2147483647 176350 32 | 2.906 % |
606.07/606.06 c | 1707600 | 40233 296953 1161878 | 2147483647 176862 31 | 2.906 % |
606.17/606.21 c | 1708112 | 40233 296953 1161878 | 2147483647 177374 31 | 2.906 % |
606.37/606.36 c | 1709136 | 40233 296953 1161878 | 2147483647 178398 31 | 2.906 % |
607.67/607.67 c | 1711184 | 40233 296953 1161878 | 2147483647 180446 31 | 2.906 % |
607.87/607.90 c | 1711696 | 40233 296953 1161878 | 2147483647 180958 31 | 2.906 % |
608.27/608.21 c | 1712208 | 40233 296953 1161878 | 2147483647 181470 31 | 2.906 % |
608.87/608.85 c | 1713232 | 40221 296953 1161878 | 2147483647 182493 31 | 2.966 % |
609.27/609.28 c | 1713744 | 40221 296953 1161878 | 2147483647 183005 31 | 2.966 % |
609.58/609.58 c | 1714256 | 40221 296953 1161878 | 2147483647 183517 31 | 2.966 % |
609.77/609.78 c | 1715281 | 40221 296953 1161878 | 2147483647 184542 31 | 2.966 % |
611.07/611.11 c | 1717331 | 40209 296953 1161878 | 2147483647 186592 31 | 2.966 % |
612.57/612.56 c | 1721429 | 40209 296953 1161878 | 2147483647 190690 31 | 2.966 % |
612.97/612.92 c | 1721941 | 40209 296953 1161878 | 2147483647 191202 31 | 2.966 % |
613.17/613.19 c | 1722454 | 40209 296953 1161878 | 2147483647 191715 31 | 2.966 % |
613.67/613.67 c | 1723478 | 40209 296953 1161878 | 2147483647 192739 31 | 2.966 % |
614.07/614.02 c | 1723992 | 40209 296953 1161878 | 2147483647 193253 31 | 2.966 % |
614.37/614.39 c | 1724504 | 40208 296670 1160922 | 2147483647 193765 31 | 2.966 % |
614.87/614.85 c | 1725529 | 40208 296670 1160922 | 2147483647 194790 31 | 2.966 % |
615.97/616.00 c | 1727577 | 40208 296670 1160922 | 2147483647 196838 31 | 2.966 % |
616.27/616.29 c | 1728089 | 40208 296670 1160922 | 2147483647 197350 31 | 2.966 % |
616.68/616.66 c | 1728601 | 40208 296670 1160922 | 2147483647 197862 31 | 2.966 % |
617.28/617.26 c | 1729625 | 40208 296670 1160922 | 2147483647 198886 31 | 2.966 % |
617.38/617.40 c | 1730138 | 40208 296670 1160922 | 2147483647 199399 31 | 2.966 % |
617.68/617.67 c | 1730650 | 40208 296670 1160922 | 2147483647 199911 31 | 2.966 % |
618.28/618.26 c | 1731678 | 40207 296670 1160922 | 2147483647 200938 31 | 2.968 % |
619.48/619.49 c | 1733726 | 40207 296670 1160922 | 2147483647 202986 31 | 2.968 % |
621.68/621.70 c | 1737822 | 40207 296670 1160922 | 2147483647 207082 31 | 2.968 % |
624.88/624.86 c | 1746014 | 40207 296670 1160922 | 2147483647 215274 31 | 2.968 % |
625.28/625.30 c | 1746528 | 40207 296665 1160906 | 2147483647 215784 31 | 2.968 % |
625.78/625.77 c | 1747041 | 40207 296665 1160906 | 2147483647 216297 31 | 2.968 % |
626.48/626.51 c | 1748066 | 40207 296665 1160906 | 2147483647 217322 31 | 2.968 % |
626.88/626.84 c | 1748578 | 40207 296665 1160906 | 2147483647 217834 31 | 2.968 % |
627.48/627.42 c | 1749092 | 40207 296665 1160906 | 2147483647 218348 31 | 2.968 % |
628.18/628.21 c | 1750116 | 40207 296665 1160906 | 2147483647 219372 31 | 2.968 % |
628.58/628.55 c | 1752165 | 40207 296665 1160906 | 2147483647 221421 31 | 2.968 % |
628.98/628.95 c | 1752679 | 40207 296665 1160906 | 2147483647 221935 31 | 2.968 % |
629.28/629.26 c | 1753193 | 40207 296665 1160906 | 2147483647 222449 31 | 2.968 % |
629.58/629.56 c | 1754222 | 40207 296665 1160906 | 2147483647 223478 31 | 2.968 % |
630.28/630.23 c | 1754734 | 40207 296665 1160906 | 2147483647 223990 31 | 2.968 % |
630.58/630.52 c | 1755247 | 40207 296665 1160906 | 2147483647 224503 31 | 2.968 % |
631.38/631.32 c | 1756271 | 40207 296665 1160906 | 2147483647 225527 31 | 2.968 % |
632.28/632.31 c | 1758319 | 40207 296665 1160906 | 2147483647 227575 31 | 2.968 % |
634.68/634.69 c | 1762417 | 40207 296665 1160906 | 229256 231673 31 | 2.968 % |
635.28/635.31 c | 1762929 | 40207 296665 1160906 | 229256 200708 32 | 2.968 % |
635.58/635.54 c | 1763442 | 40207 296665 1160906 | 229256 201221 32 | 2.968 % |
635.98/635.98 c | 1764466 | 40207 296665 1160906 | 229256 202245 32 | 2.968 % |
635.98/636.01 c | 1764980 | 40207 296665 1160906 | 229256 202759 32 | 2.968 % |
636.08/636.07 c | 1765493 | 40207 296665 1160906 | 229256 203272 32 | 2.968 % |
636.88/636.87 c | 1766517 | 40200 296665 1160906 | 229256 204295 32 | 2.995 % |
637.48/637.44 c | 1768565 | 40200 296665 1160906 | 229256 206343 32 | 2.995 % |
637.88/637.91 c | 1769079 | 40196 296359 1159844 | 229256 206857 32 | 2.995 % |
638.18/638.15 c | 1769593 | 40196 296359 1159844 | 229256 207371 32 | 2.995 % |
638.48/638.45 c | 1770617 | 40196 296359 1159844 | 207779 208395 31 | 2.995 % |
638.78/638.81 c | 1771130 | 40196 296359 1159844 | 207779 208908 31 | 2.995 % |
638.98/638.97 c | 1771643 | 40196 296359 1159844 | 207779 209421 31 | 2.995 % |
639.38/639.40 c | 1772668 | 40196 296359 1159844 | 207779 186430 30 | 2.995 % |
640.88/640.86 c | 1774717 | 40196 296359 1159844 | 207779 188479 30 | 2.995 % |
643.18/643.13 c | 1778814 | 40196 296359 1159844 | 207779 192576 30 | 2.995 % |
645.78/645.78 c | 1787008 | 40196 296359 1159844 | 2147483647 200770 31 | 2.995 % |
653.28/653.25 c | 1803392 | 40196 296359 1159844 | 2147483647 217154 31 | 2.995 % |
653.48/653.42 c | 1803905 | 40196 296359 1159844 | 2147483647 217667 31 | 2.995 % |
653.78/653.75 c | 1804417 | 40196 296359 1159844 | 2147483647 218179 31 | 2.995 % |
654.48/654.42 c | 1805442 | 40196 296359 1159844 | 2147483647 219204 31 | 2.995 % |
654.78/654.73 c | 1805954 | 40196 296359 1159844 | 2147483647 219716 31 | 2.995 % |
655.28/655.25 c | 1806466 | 40196 296359 1159844 | 2147483647 220228 31 | 2.995 % |
655.98/655.98 c | 1807492 | 40196 296359 1159844 | 2147483647 221254 31 | 2.995 % |
657.08/657.08 c | 1809542 | 40196 296359 1159844 | 2147483647 223304 31 | 2.995 % |
657.58/657.59 c | 1810054 | 40196 296359 1159844 | 2147483647 223816 31 | 2.995 % |
657.88/657.86 c | 1810567 | 40196 296359 1159844 | 2147483647 224329 31 | 2.995 % |
658.28/658.29 c | 1811592 | 40196 296359 1159844 | 2147483647 225354 31 | 2.995 % |
658.58/658.53 c | 1812104 | 40196 296359 1159844 | 2147483647 225866 31 | 2.995 % |
658.78/658.78 c | 1812617 | 40196 296359 1159844 | 2147483647 226379 31 | 2.995 % |
659.58/659.53 c | 1813642 | 40196 296359 1159844 | 2147483647 227404 31 | 2.995 % |
660.48/660.44 c | 1815690 | 40196 296359 1159844 | 2147483647 229452 31 | 2.995 % |
662.08/662.08 c | 1819786 | 40196 296359 1159844 | 2147483647 233548 31 | 2.995 % |
662.38/662.34 c | 1820300 | 40196 296359 1159844 | 2147483647 234062 31 | 2.995 % |
662.48/662.51 c | 1820812 | 40196 296359 1159844 | 2147483647 234574 31 | 2.995 % |
663.48/663.47 c | 1821836 | 40196 296359 1159844 | 2147483647 235598 31 | 2.995 % |
663.68/663.71 c | 1822348 | 40196 296359 1159844 | 2147483647 236110 31 | 2.995 % |
664.18/664.13 c | 1822861 | 40196 296359 1159844 | 2147483647 236623 31 | 2.995 % |
664.98/664.94 c | 1823885 | 40196 296359 1159844 | 2147483647 237647 31 | 2.995 % |
665.48/665.51 c | 1825935 | 40196 296359 1159844 | 2147483647 239697 30 | 2.995 % |
666.08/666.09 c | 1826448 | 40196 296359 1159844 | 2147483647 240210 30 | 2.995 % |
666.48/666.50 c | 1826962 | 40196 296359 1159844 | 2147483647 240724 30 | 2.995 % |
667.18/667.17 c | 1827988 | 40196 296359 1159844 | 2147483647 241750 30 | 2.995 % |
667.58/667.58 c | 1828501 | 40196 296359 1159844 | 2147483647 242263 30 | 2.995 % |
667.88/667.85 c | 1829014 | 40196 296359 1159844 | 2147483647 242776 30 | 2.995 % |
668.58/668.54 c | 1830039 | 40196 296359 1159844 | 2147483647 243801 30 | 2.995 % |
669.88/669.89 c | 1832087 | 40196 296359 1159844 | 2147483647 245849 30 | 2.995 % |
671.78/671.75 c | 1836183 | 40196 296359 1159844 | 2147483647 249945 30 | 2.995 % |
675.08/675.03 c | 1844375 | 40196 296359 1159844 | 253764 258137 30 | 2.995 % |
675.88/675.81 c | 1844887 | 40196 296359 1159844 | 253764 210253 29 | 2.995 % |
676.38/676.37 c | 1845400 | 40193 296335 1159743 | 253764 210764 29 | 3.002 % |
677.18/677.12 c | 1846426 | 40192 296335 1159743 | 253764 211789 29 | 3.005 % |
677.48/677.42 c | 1846940 | 40192 296335 1159743 | 253764 212303 29 | 3.005 % |
677.88/677.81 c | 1847452 | 40192 296335 1159743 | 253764 212815 29 | 3.005 % |
678.48/678.42 c | 1848476 | 40192 296335 1159743 | 253764 213839 29 | 3.005 % |
679.99/680.01 c | 1850524 | 40192 296335 1159743 | 215363 215887 29 | 3.005 % |
680.58/680.53 c | 1851036 | 40192 296335 1159743 | 215363 216399 29 | 3.005 % |
681.28/681.26 c | 1851548 | 40192 296335 1159743 | 215363 193825 28 | 3.005 % |
681.58/681.60 c | 1852573 | 40192 296335 1159743 | 215363 194850 28 | 3.005 % |
682.08/682.05 c | 1853086 | 40192 296335 1159743 | 215363 195363 28 | 3.005 % |
682.88/682.87 c | 1853598 | 40192 296335 1159743 | 215363 195875 28 | 3.005 % |
683.68/683.63 c | 1854623 | 40192 296335 1159743 | 215363 196900 28 | 3.005 % |
684.58/684.57 c | 1856671 | 40192 296335 1159743 | 215363 198948 28 | 3.005 % |
686.48/686.44 c | 1860767 | 40192 296335 1159743 | 2147483647 203044 28 | 3.005 % |
686.78/686.73 c | 1861279 | 40192 296335 1159743 | 2147483647 203556 28 | 3.005 % |
687.28/687.24 c | 1861793 | 40192 296335 1159743 | 2147483647 204070 28 | 3.005 % |
687.98/687.96 c | 1862818 | 40192 296302 1159576 | 2147483647 205095 28 | 3.005 % |
688.38/688.39 c | 1863330 | 40192 296302 1159576 | 2147483647 205607 28 | 3.005 % |
688.68/688.71 c | 1863842 | 40192 296302 1159576 | 2147483647 206119 28 | 3.005 % |
689.18/689.17 c | 1864866 | 40192 296302 1159576 | 2147483647 207143 28 | 3.005 % |
690.68/690.62 c | 1866916 | 40192 296302 1159576 | 2147483647 209193 28 | 3.005 % |
690.99/691.01 c | 1867431 | 40192 296302 1159576 | 2147483647 209708 28 | 3.005 % |
691.48/691.49 c | 1867947 | 40192 296302 1159576 | 2147483647 210224 28 | 3.005 % |
692.38/692.39 c | 1868973 | 40192 296302 1159576 | 2147483647 211250 28 | 3.005 % |
692.78/692.74 c | 1869485 | 40192 296302 1159576 | 2147483647 211762 28 | 3.005 % |
693.19/693.20 c | 1869997 | 40192 296302 1159576 | 2147483647 212274 28 | 3.005 % |
693.78/693.79 c | 1871021 | 40192 296302 1159576 | 212277 213298 28 | 3.005 % |
694.18/694.18 c | 1873069 | 40192 296302 1159576 | 212277 215346 28 | 3.005 % |
697.78/697.71 c | 1877166 | 40192 296302 1159576 | 212277 190640 28 | 3.005 % |
704.68/704.66 c | 1885361 | 40192 296302 1159576 | 193475 174907 27 | 3.005 % |
715.19/715.19 c | 1901745 | 40192 296302 1159576 | 2147483647 191291 28 | 3.005 % |
733.09/733.10 c | 1934513 | 40192 296302 1159576 | 191005 195518 28 | 3.005 % |
734.09/734.11 c | 1935025 | 40192 296302 1159576 | 191005 167647 28 | 3.005 % |
734.49/734.49 c | 1935537 | 40192 296302 1159576 | 191005 168159 28 | 3.005 % |
734.99/735.00 c | 1936561 | 40192 296302 1159576 | 191005 169183 29 | 3.005 % |
735.49/735.51 c | 1937073 | 40192 296302 1159576 | 191005 169695 29 | 3.005 % |
735.99/735.95 c | 1937585 | 40192 296302 1159576 | 191005 170207 28 | 3.005 % |
737.19/737.16 c | 1938609 | 40192 296302 1159576 | 191005 171231 29 | 3.005 % |
738.59/738.53 c | 1940658 | 40192 296302 1159576 | 172623 173280 29 | 3.005 % |
738.89/738.89 c | 1941170 | 40192 296302 1159576 | 172623 173792 29 | 3.005 % |
739.29/739.24 c | 1941682 | 40192 296302 1159576 | 172623 174304 29 | 3.005 % |
740.59/740.56 c | 1942706 | 40192 296302 1159576 | 172623 157478 28 | 3.005 % |
740.89/740.91 c | 1943219 | 40192 296302 1159576 | 172623 157991 28 | 3.005 % |
741.49/741.42 c | 1943731 | 40192 296302 1159576 | 172623 158503 28 | 3.005 % |
742.09/742.10 c | 1944755 | 40192 296302 1159576 | 172623 159527 29 | 3.005 % |
743.79/743.73 c | 1946804 | 40192 296302 1159576 | 172623 161576 28 | 3.005 % |
747.19/747.13 c | 1950900 | 40192 296302 1159576 | 2147483647 165672 28 | 3.005 % |
747.39/747.36 c | 1951413 | 40192 296302 1159576 | 2147483647 166185 28 | 3.005 % |
747.69/747.64 c | 1951925 | 40192 296302 1159576 | 2147483647 166697 28 | 3.005 % |
748.29/748.30 c | 1952949 | 40192 296302 1159576 | 2147483647 167721 28 | 3.005 % |
748.69/748.65 c | 1953463 | 40192 296302 1159576 | 2147483647 168235 28 | 3.005 % |
749.09/749.11 c | 1953976 | 40192 296302 1159576 | 2147483647 168748 28 | 3.005 % |
749.89/749.87 c | 1955000 | 40192 296302 1159576 | 2147483647 169772 28 | 3.005 % |
751.49/751.48 c | 1957048 | 40192 296302 1159576 | 2147483647 171820 28 | 3.005 % |
751.89/751.85 c | 1957561 | 40192 296302 1159576 | 2147483647 172333 28 | 3.005 % |
752.39/752.41 c | 1958074 | 40192 296302 1159576 | 2147483647 172846 28 | 3.005 % |
752.89/752.83 c | 1959101 | 40192 296302 1159576 | 2147483647 173873 28 | 3.005 % |
753.19/753.21 c | 1959613 | 40192 296302 1159576 | 2147483647 174385 28 | 3.005 % |
753.79/753.78 c | 1960125 | 40192 296302 1159576 | 174772 174897 28 | 3.005 % |
754.79/754.79 c | 1961149 | 40192 296302 1159576 | 174772 175921 28 | 3.005 % |
756.59/756.55 c | 1963198 | 40192 296302 1159576 | 174772 177970 28 | 3.005 % |
761.09/761.04 c | 1967295 | 40192 296302 1159576 | 174772 160881 28 | 3.005 % |
769.49/769.49 c | 1975488 | 40192 296302 1159576 | 163587 142964 28 | 3.005 % |
770.09/770.02 c | 1976003 | 40192 296302 1159576 | 163587 143479 28 | 3.005 % |
770.49/770.45 c | 1976516 | 40192 296302 1159576 | 163587 143992 28 | 3.005 % |
771.19/771.16 c | 1977540 | 40192 296302 1159576 | 163587 145016 28 | 3.005 % |
771.69/771.66 c | 1978052 | 40192 296302 1159576 | 163587 145528 28 | 3.005 % |
772.19/772.14 c | 1978565 | 40192 296302 1159576 | 163587 146041 28 | 3.005 % |
772.89/772.86 c | 1979589 | 40192 296302 1159576 | 163587 147065 28 | 3.005 % |
774.19/774.12 c | 1981637 | 40192 296302 1159576 | 147477 149113 28 | 3.005 % |
775.19/775.19 c | 1982149 | 40191 296281 1159507 | 147477 130022 27 | 3.007 % |
775.70/775.69 c | 1982662 | 40191 296281 1159507 | 147477 130535 27 | 3.007 % |
776.49/776.50 c | 1983686 | 40191 296281 1159507 | 147477 131559 27 | 3.007 % |
776.69/776.62 c | 1984198 | 40191 296281 1159507 | 147477 132071 27 | 3.007 % |
776.89/776.83 c | 1984710 | 40191 296281 1159507 | 147477 132583 27 | 3.007 % |
777.69/777.67 c | 1985736 | 40191 296281 1159507 | 147477 133609 27 | 3.007 % |
779.09/779.06 c | 1987784 | 40191 296281 1159507 | 147477 135657 27 | 3.007 % |
782.09/782.04 c | 1991882 | 40191 296281 1159507 | 137873 139755 27 | 3.007 % |
782.78/782.70 c | 1992394 | 40191 296281 1159507 | 137873 126292 27 | 3.007 % |
783.28/783.28 c | 1992907 | 40191 296281 1159507 | 137873 126805 27 | 3.007 % |
784.18/784.13 c | 1993932 | 40191 296281 1159507 | 137873 127830 27 | 3.007 % |
784.68/784.67 c | 1994444 | 40191 296281 1159507 | 137873 128342 27 | 3.007 % |
785.28/785.23 c | 1994956 | 40191 296281 1159507 | 137873 128854 27 | 3.007 % |
786.28/786.28 c | 1995980 | 40191 296281 1159507 | 137873 129878 27 | 3.007 % |
788.08/788.04 c | 1998028 | 40191 296281 1159507 | 137873 131926 27 | 3.007 % |
788.58/788.59 c | 1998540 | 40191 296281 1159507 | 137873 132438 27 | 3.007 % |
789.08/789.04 c | 1999053 | 40191 296281 1159507 | 137873 132951 26 | 3.007 % |
789.38/789.40 c | 2000078 | 40191 296281 1159507 | 2147483647 133976 26 | 3.007 % |
789.58/789.56 c | 2000591 | 40191 296281 1159507 | 2147483647 134489 26 | 3.007 % |
789.99/789.99 c | 2001104 | 40191 296281 1159507 | 2147483647 135002 26 | 3.007 % |
790.28/790.23 c | 2002130 | 40191 296281 1159507 | 2147483647 136028 26 | 3.007 % |
791.98/791.92 c | 2004178 | 40191 296281 1159507 | 2147483647 138076 26 | 3.007 % |
793.58/793.54 c | 2008275 | 40191 296281 1159507 | 2147483647 142173 27 | 3.007 % |
798.38/798.34 c | 2016468 | 40191 296281 1159507 | 2147483647 150366 27 | 3.007 % |
803.48/803.42 c | 2032854 | 40191 296281 1159507 | 2147483647 166752 27 | 3.007 % |
803.78/803.79 c | 2033366 | 40191 296281 1159507 | 2147483647 167264 27 | 3.007 % |
804.38/804.35 c | 2033880 | 40191 296281 1159507 | 2147483647 167778 27 | 3.007 % |
805.28/805.28 c | 2034904 | 40191 296281 1159507 | 2147483647 168802 27 | 3.007 % |
805.88/805.86 c | 2035416 | 40191 296281 1159507 | 2147483647 169314 28 | 3.007 % |
806.38/806.31 c | 2035928 | 40191 296281 1159507 | 2147483647 169826 28 | 3.007 % |
807.08/807.06 c | 2036953 | 40191 296281 1159507 | 2147483647 170851 28 | 3.007 % |
808.78/808.72 c | 2039001 | 40191 296281 1159507 | 2147483647 172899 28 | 3.007 % |
809.18/809.15 c | 2039513 | 40191 296281 1159507 | 2147483647 173411 28 | 3.007 % |
809.48/809.49 c | 2040027 | 40191 296281 1159507 | 173898 173925 28 | 3.007 % |
810.48/810.48 c | 2041051 | 40191 296281 1159507 | 173898 174949 28 | 3.007 % |
810.98/810.98 c | 2041563 | 40191 296281 1159507 | 173898 175461 28 | 3.007 % |
811.68/811.67 c | 2042075 | 40191 296281 1159507 | 173898 156564 27 | 3.007 % |
812.59/812.57 c | 2043100 | 40191 296281 1159507 | 173898 157589 27 | 3.007 % |
814.79/814.72 c | 2045148 | 40191 296281 1159507 | 173898 159637 27 | 3.007 % |
818.69/818.65 c | 2049245 | 40191 296281 1159507 | 173898 163734 27 | 3.007 % |
818.99/819.00 c | 2049757 | 40191 296281 1159507 | 173898 164246 27 | 3.007 % |
819.59/819.59 c | 2050270 | 40191 296281 1159507 | 164489 164759 27 | 3.007 % |
820.49/820.47 c | 2051294 | 40191 296281 1159507 | 164489 165783 27 | 3.007 % |
820.89/820.87 c | 2051806 | 40191 296281 1159507 | 164489 147396 26 | 3.007 % |
821.09/821.07 c | 2052318 | 40191 296281 1159507 | 164489 147908 26 | 3.007 % |
821.89/821.83 c | 2053342 | 40191 296281 1159507 | 164489 148932 26 | 3.007 % |
823.69/823.69 c | 2055394 | 40191 296281 1159507 | 164489 150984 26 | 3.007 % |
824.19/824.15 c | 2055906 | 40191 296281 1159507 | 164489 151496 26 | 3.007 % |
824.69/824.63 c | 2056421 | 40191 296281 1159507 | 164489 152011 26 | 3.007 % |
825.49/825.48 c | 2057445 | 40191 296281 1159507 | 164489 153035 26 | 3.007 % |
825.99/826.00 c | 2057958 | 40191 296281 1159507 | 164489 153548 26 | 3.007 % |
826.49/826.44 c | 2058470 | 40191 296281 1159507 | 164489 154060 26 | 3.007 % |
827.49/827.48 c | 2059496 | 40191 296281 1159507 | 164489 155086 26 | 3.007 % |
829.09/829.05 c | 2061546 | 40191 296281 1159507 | 155590 157136 26 | 3.007 % |
832.09/832.05 c | 2065642 | 40188 296255 1159302 | 155590 139883 26 | 3.014 % |
837.49/837.44 c | 2073834 | 40188 296255 1159302 | 144241 148075 26 | 3.014 % |
838.29/838.26 c | 2074347 | 40188 296255 1159302 | 144241 129582 26 | 3.014 % |
838.49/838.49 c | 2074859 | 40188 296255 1159302 | 144241 130094 26 | 3.014 % |
839.59/839.52 c | 2075885 | 40188 296255 1159302 | 144241 131120 26 | 3.014 % |
840.09/840.01 c | 2076397 | 40188 296255 1159302 | 144241 131632 26 | 3.014 % |
840.59/840.52 c | 2076909 | 40188 296255 1159302 | 144241 132144 26 | 3.014 % |
841.49/841.48 c | 2077935 | 40188 296255 1159302 | 144241 133170 26 | 3.014 % |
843.19/843.16 c | 2079985 | 40188 296255 1159302 | 144241 135220 26 | 3.014 % |
843.59/843.54 c | 2080497 | 40188 296255 1159302 | 135237 135732 26 | 3.014 % |
844.09/844.10 c | 2081010 | 40188 296255 1159302 | 135237 136245 26 | 3.014 % |
844.99/844.93 c | 2082036 | 40188 296255 1159302 | 135237 137271 26 | 3.014 % |
845.59/845.58 c | 2082548 | 40188 296255 1159302 | 135237 116953 26 | 3.014 % |
846.19/846.12 c | 2083060 | 40188 296255 1159302 | 135237 117465 26 | 3.014 % |
846.79/846.79 c | 2084084 | 40188 296255 1159302 | 135237 118489 26 | 3.014 % |
848.89/848.84 c | 2086133 | 40188 296255 1159302 | 135237 120538 26 | 3.014 % |
852.09/852.11 c | 2090229 | 40188 296255 1159302 | 2147483647 124634 26 | 3.014 % |
852.49/852.48 c | 2090742 | 40188 296255 1159302 | 2147483647 125147 26 | 3.014 % |
853.09/853.09 c | 2091254 | 40188 296255 1159302 | 2147483647 125659 26 | 3.014 % |
853.79/853.79 c | 2092278 | 40188 296255 1159302 | 2147483647 126683 26 | 3.014 % |
854.09/854.06 c | 2092791 | 40188 296255 1159302 | 2147483647 127196 26 | 3.014 % |
854.69/854.64 c | 2093303 | 40188 296255 1159302 | 2147483647 127708 26 | 3.014 % |
855.69/855.64 c | 2094327 | 40188 296255 1159302 | 2147483647 128732 26 | 3.014 % |
856.49/856.48 c | 2096375 | 40188 296255 1159302 | 2147483647 130780 26 | 3.014 % |
856.79/856.72 c | 2096887 | 40188 296255 1159302 | 2147483647 131292 26 | 3.014 % |
856.79/856.78 c | 2097399 | 40188 296255 1159302 | 2147483647 131804 26 | 3.014 % |
857.69/857.64 c | 2098423 | 40188 296255 1159302 | 2147483647 132828 26 | 3.014 % |
858.09/858.09 c | 2098938 | 40188 296255 1159302 | 2147483647 133343 26 | 3.014 % |
858.59/858.58 c | 2099453 | 40188 296255 1159302 | 2147483647 133858 26 | 3.014 % |
859.49/859.48 c | 2100477 | 40188 296255 1159302 | 134405 134882 26 | 3.014 % |
861.59/861.55 c | 2102525 | 40188 296255 1159302 | 134405 122280 26 | 3.014 % |
863.79/863.78 c | 2106623 | 40188 296255 1159302 | 134405 126378 26 | 3.014 % |
865.49/865.41 c | 2114815 | 40188 296255 1159302 | 2147483647 134570 26 | 3.014 % |
868.59/868.52 c | 2131199 | 40188 296255 1159302 | 149755 150954 26 | 3.014 % |
881.59/881.56 c | 2163968 | 40188 296255 1159302 | 119646 111339 23 | 3.014 % |
895.29/895.21 c ===============================================================================
895.29/895.21 c restarts : 1022
895.29/895.21 c conflicts : 2197476 (2470 /sec)
895.29/895.21 c decisions : 9162703 (1.50 % random) (10300 /sec)
895.29/895.21 c propagations : 645272586 (725400 /sec)
895.29/895.21 c conflict literals : 71932012 (22.78 % deleted)
895.29/895.21 c Memory used : 74.93 MB
895.29/895.21 c CPU time : 889.54 s
895.29/895.21 c
895.29/895.21 s UNSATISFIABLE
895.29/895.22 s UNSATISFIABLE
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1820843-1242482412/watcher-1820843-1242482412 -o /tmp/evaluation-result-1820843-1242482412/solver-1820843-1242482412 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820843-1242482412.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.01 1.01 1.00 2/93 17122
/proc/meminfo: memFree=562376/2074464 swapFree=1949056/1959888
[pid=17122] ppid=17120 vsize=2412 CPUtime=0
/proc/17122/stat : 17122 (SatELiteGTI) R 17120 17122 14060 0 -1 4194304 367 648 0 0 0 0 0 0 25 0 1 0 1012738432 2469888 277 4294967295 134512640 135169312 3214675216 3214673272 3085032408 0 65536 4 65538 0 0 0 17 2 0 0 0
/proc/17122/statm: 603 277 235 161 0 42 0
[pid=17126] ppid=17122 vsize=808 CPUtime=0
/proc/17126/stat : 17126 (SatELite_releas) R 17122 17122 14060 0 -1 4194304 66 0 0 0 0 0 0 0 18 0 1 0 1012738432 827392 2 4294967295 0 0 3214896226 3214673844 3085449706 0 0 0 0 0 0 0 17 3 0 0 0
/proc/17126/statm: 204 13 9 174 0 29 0
[startup+0.105579 s]
/proc/loadavg: 1.01 1.01 1.00 2/93 17122
/proc/meminfo: memFree=562376/2074464 swapFree=1949056/1959888
[pid=17122] ppid=17120 vsize=2412 CPUtime=0
/proc/17122/stat : 17122 (SatELiteGTI) S 17120 17122 14060 0 -1 4194304 367 648 0 0 0 0 0 0 25 0 1 0 1012738432 2469888 277 4294967295 134512640 135169312 3214675216 3214673752 3085446894 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/17122/statm: 603 277 235 161 0 42 0
[pid=17126] ppid=17122 vsize=17076 CPUtime=0.11
/proc/17126/stat : 17126 (SatELite_releas) R 17122 17122 14060 0 -1 4202496 3733 0 0 0 8 3 0 0 18 0 1 0 1012738432 17485824 3669 4294967295 134512640 135223648 3214894384 3214892968 134719062 0 0 0 3 0 0 0 17 3 0 0 0
/proc/17126/statm: 4269 3669 46 174 0 4094 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 19488
[startup+0.215569 s]
/proc/loadavg: 1.01 1.01 1.00 2/93 17122
/proc/meminfo: memFree=562376/2074464 swapFree=1949056/1959888
[pid=17122] ppid=17120 vsize=2412 CPUtime=0
/proc/17122/stat : 17122 (SatELiteGTI) S 17120 17122 14060 0 -1 4194304 367 648 0 0 0 0 0 0 25 0 1 0 1012738432 2469888 277 4294967295 134512640 135169312 3214675216 3214673752 3085446894 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/17122/statm: 603 277 235 161 0 42 0
[pid=17126] ppid=17122 vsize=33672 CPUtime=0.22
/proc/17126/stat : 17126 (SatELite_releas) R 17122 17122 14060 0 -1 4202496 7362 0 0 0 17 5 0 0 18 0 1 0 1012738432 34480128 7298 4294967295 134512640 135223648 3214894384 3214892968 134719062 0 0 0 3 0 0 0 17 3 0 0 0
/proc/17126/statm: 8418 7298 46 174 0 8243 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 36084
[startup+0.31556 s]
/proc/loadavg: 1.01 1.01 1.00 2/93 17122
/proc/meminfo: memFree=562376/2074464 swapFree=1949056/1959888
[pid=17122] ppid=17120 vsize=2412 CPUtime=0
/proc/17122/stat : 17122 (SatELiteGTI) S 17120 17122 14060 0 -1 4194304 367 648 0 0 0 0 0 0 25 0 1 0 1012738432 2469888 277 4294967295 134512640 135169312 3214675216 3214673752 3085446894 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/17122/statm: 603 277 235 161 0 42 0
[pid=17126] ppid=17122 vsize=43412 CPUtime=0.32
/proc/17126/stat : 17126 (SatELite_releas) R 17122 17122 14060 0 -1 4202496 10518 0 0 0 25 7 0 0 18 0 1 0 1012738432 44453888 10454 4294967295 134512640 135223648 3214894384 3214892968 134719062 0 0 0 3 0 0 0 17 3 0 0 0
/proc/17126/statm: 10853 10455 46 174 0 10678 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 45824
[startup+0.715525 s]
/proc/loadavg: 1.01 1.01 1.00 2/93 17122
/proc/meminfo: memFree=562376/2074464 swapFree=1949056/1959888
[pid=17122] ppid=17120 vsize=2412 CPUtime=0
/proc/17122/stat : 17122 (SatELiteGTI) S 17120 17122 14060 0 -1 4194304 367 648 0 0 0 0 0 0 25 0 1 0 1012738432 2469888 277 4294967295 134512640 135169312 3214675216 3214673752 3085446894 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/17122/statm: 603 277 235 161 0 42 0
[pid=17126] ppid=17122 vsize=95232 CPUtime=0.72
/proc/17126/stat : 17126 (SatELite_releas) R 17122 17122 14060 0 -1 4202496 23191 0 0 0 56 16 0 0 18 0 1 0 1012738432 97517568 23127 4294967295 134512640 135223648 3214894384 3214893392 134547591 0 0 0 3 0 0 0 17 3 0 0 0
/proc/17126/statm: 23808 23128 47 174 0 23633 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 97644
[startup+1.51546 s]
/proc/loadavg: 1.01 1.01 1.00 3/95 17127
/proc/meminfo: memFree=458448/2074464 swapFree=1949056/1959888
[pid=17122] ppid=17120 vsize=2412 CPUtime=0
/proc/17122/stat : 17122 (SatELiteGTI) S 17120 17122 14060 0 -1 4194304 367 648 0 0 0 0 0 0 25 0 1 0 1012738432 2469888 277 4294967295 134512640 135169312 3214675216 3214673752 3085446894 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/17122/statm: 603 277 235 161 0 42 0
[pid=17126] ppid=17122 vsize=110056 CPUtime=1.52
/proc/17126/stat : 17126 (SatELite_releas) R 17122 17122 14060 0 -1 4202496 28178 0 0 0 132 20 0 0 20 0 1 0 1012738432 112697344 26028 4294967295 134512640 135223648 3214894384 3214892384 134548984 0 0 0 3 0 0 0 17 3 0 0 0
/proc/17126/statm: 27514 26028 73 174 0 27339 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 112468
[startup+3.11532 s]
/proc/loadavg: 1.01 1.01 1.00 3/95 17127
/proc/meminfo: memFree=446172/2074464 swapFree=1949056/1959888
[pid=17122] ppid=17120 vsize=2412 CPUtime=0
/proc/17122/stat : 17122 (SatELiteGTI) S 17120 17122 14060 0 -1 4194304 367 648 0 0 0 0 0 0 25 0 1 0 1012738432 2469888 277 4294967295 134512640 135169312 3214675216 3214673752 3085446894 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/17122/statm: 603 277 235 161 0 42 0
[pid=17126] ppid=17122 vsize=116988 CPUtime=3.12
/proc/17126/stat : 17126 (SatELite_releas) R 17122 17122 14060 0 -1 4202496 29794 0 0 0 287 25 0 0 25 0 1 0 1012738432 119795712 27644 4294967295 134512640 135223648 3214894384 3214892336 134563559 0 0 0 3 0 0 0 17 3 0 0 0
/proc/17126/statm: 29247 27644 73 174 0 29072 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 119400
[startup+6.31504 s]
/proc/loadavg: 1.00 1.01 1.00 4/95 17127
/proc/meminfo: memFree=420008/2074464 swapFree=1949056/1959888
[pid=17122] ppid=17120 vsize=2416 CPUtime=5.55
/proc/17122/stat : 17122 (SatELiteGTI) S 17120 17122 14060 0 -1 4194304 387 33927 0 0 0 0 521 34 20 0 1 0 1012738432 2473984 278 4294967295 134512640 135169312 3214675216 3214671432 3085446894 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/17122/statm: 604 278 235 161 0 43 0
Current children cumulated CPU time (s) 5.55
Current children cumulated vsize (KiB) 2416
[startup+12.7145 s]
/proc/loadavg: 1.00 1.01 1.00 3/95 17311
/proc/meminfo: memFree=506564/2074464 swapFree=1949056/1959888
[pid=17122] ppid=17120 vsize=2416 CPUtime=5.55
/proc/17122/stat : 17122 (SatELiteGTI) S 17120 17122 14060 0 -1 4194304 387 33927 0 0 0 0 521 34 20 0 1 0 1012738432 2473984 278 4294967295 134512640 135169312 3214675216 3214671432 3085446894 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/17122/statm: 604 278 235 161 0 43 0
[pid=17128] ppid=17122 vsize=27276 CPUtime=7.17
/proc/17128/stat : 17128 (minisat_static) R 17122 17122 14060 0 -1 4202496 6452 0 0 0 711 6 0 0 25 0 1 0 1012738987 27930624 6374 4294967295 134512640 135216591 3217608752 3217606752 134527556 0 0 0 3 0 0 0 17 0 0 0 0
/proc/17128/statm: 6819 6374 75 172 0 6646 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 29692
[startup+25.5134 s]
/proc/loadavg: 1.00 1.01 1.00 3/95 17311
/proc/meminfo: memFree=497448/2074464 swapFree=1949056/1959888
[pid=17122] ppid=17120 vsize=2416 CPUtime=5.55
/proc/17122/stat : 17122 (SatELiteGTI) S 17120 17122 14060 0 -1 4194304 387 33927 0 0 0 0 521 34 20 0 1 0 1012738432 2473984 278 4294967295 134512640 135169312 3214675216 3214671432 3085446894 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/17122/statm: 604 278 235 161 0 43 0
[pid=17128] ppid=17122 vsize=36192 CPUtime=19.97
/proc/17128/stat : 17128 (minisat_static) R 17122 17122 14060 0 -1 4202496 8687 0 0 0 1990 7 0 0 25 0 1 0 1012738987 37060608 8609 4294967295 134512640 135216591 3217608752 3217606752 134527568 0 0 0 3 0 0 0 17 0 0 0 0
/proc/17128/statm: 9048 8609 75 172 0 8875 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 38608
[startup+51.1212 s]
/proc/loadavg: 1.00 1.01 1.00 3/95 17313
/proc/meminfo: memFree=488576/2074464 swapFree=1949056/1959888
[pid=17122] ppid=17120 vsize=2416 CPUtime=5.55
/proc/17122/stat : 17122 (SatELiteGTI) S 17120 17122 14060 0 -1 4194304 387 33927 0 0 0 0 521 34 20 0 1 0 1012738432 2473984 278 4294967295 134512640 135169312 3214675216 3214671432 3085446894 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/17122/statm: 604 278 235 161 0 43 0
[pid=17128] ppid=17122 vsize=45436 CPUtime=45.58
/proc/17128/stat : 17128 (minisat_static) R 17122 17122 14060 0 -1 4202496 10941 0 0 0 4548 10 0 0 25 0 1 0 1012738987 46526464 10863 4294967295 134512640 135216591 3217608752 3217606928 134525748 0 0 0 3 0 0 0 17 0 0 0 0
/proc/17128/statm: 11359 10863 75 172 0 11186 0
Current children cumulated CPU time (s) 51.13
Current children cumulated vsize (KiB) 47852
[startup+102.307 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 17500
/proc/meminfo: memFree=484004/2074464 swapFree=1949056/1959888
[pid=17122] ppid=17120 vsize=2416 CPUtime=5.55
/proc/17122/stat : 17122 (SatELiteGTI) S 17120 17122 14060 0 -1 4194304 387 33927 0 0 0 0 521 34 20 0 1 0 1012738432 2473984 278 4294967295 134512640 135169312 3214675216 3214671432 3085446894 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/17122/statm: 604 278 235 161 0 43 0
[pid=17128] ppid=17122 vsize=49660 CPUtime=96.77
/proc/17128/stat : 17128 (minisat_static) R 17122 17122 14060 0 -1 4202496 12015 0 0 0 9666 11 0 0 25 0 1 0 1012738987 50851840 11937 4294967295 134512640 135216591 3217608752 3217606944 134528851 0 0 0 3 0 0 0 17 0 0 0 0
/proc/17128/statm: 12415 11937 75 172 0 12242 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 52076
[startup+162.312 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 17689
/proc/meminfo: memFree=478316/2074464 swapFree=1949056/1959888
[pid=17122] ppid=17120 vsize=2416 CPUtime=5.55
/proc/17122/stat : 17122 (SatELiteGTI) S 17120 17122 14060 0 -1 4194304 387 33927 0 0 0 0 521 34 20 0 1 0 1012738432 2473984 278 4294967295 134512640 135169312 3214675216 3214671432 3085446894 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/17122/statm: 604 278 235 161 0 43 0
[pid=17128] ppid=17122 vsize=55884 CPUtime=156.78
/proc/17128/stat : 17128 (minisat_static) R 17122 17122 14060 0 -1 4202496 13490 0 0 0 15663 15 0 0 25 0 1 0 1012738987 57225216 13412 4294967295 134512640 135216591 3217608752 3217606656 134532786 0 0 0 3 0 0 0 17 0 0 0 0
/proc/17128/statm: 13971 13412 75 172 0 13798 0
Current children cumulated CPU time (s) 162.33
Current children cumulated vsize (KiB) 58300
[startup+222.316 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 17878
/proc/meminfo: memFree=466760/2074464 swapFree=1949056/1959888
[pid=17122] ppid=17120 vsize=2416 CPUtime=5.55
/proc/17122/stat : 17122 (SatELiteGTI) S 17120 17122 14060 0 -1 4194304 387 33927 0 0 0 0 521 34 20 0 1 0 1012738432 2473984 278 4294967295 134512640 135169312 3214675216 3214671432 3085446894 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/17122/statm: 604 278 235 161 0 43 0
[pid=17128] ppid=17122 vsize=67592 CPUtime=216.79
/proc/17128/stat : 17128 (minisat_static) R 17122 17122 14060 0 -1 4202496 16395 0 0 0 21663 16 0 0 25 0 1 0 1012738987 69214208 16317 4294967295 134512640 135216591 3217608752 3217606752 134527562 0 0 0 3 0 0 0 17 0 0 0 0
/proc/17128/statm: 16898 16317 75 172 0 16725 0
Current children cumulated CPU time (s) 222.34
Current children cumulated vsize (KiB) 70008
[startup+282.311 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 18067
/proc/meminfo: memFree=466496/2074464 swapFree=1949056/1959888
[pid=17122] ppid=17120 vsize=2416 CPUtime=5.55
/proc/17122/stat : 17122 (SatELiteGTI) S 17120 17122 14060 0 -1 4194304 387 33927 0 0 0 0 521 34 20 0 1 0 1012738432 2473984 278 4294967295 134512640 135169312 3214675216 3214671432 3085446894 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/17122/statm: 604 278 235 161 0 43 0
[pid=17128] ppid=17122 vsize=67588 CPUtime=276.79
/proc/17128/stat : 17128 (minisat_static) R 17122 17122 14060 0 -1 4202496 16395 0 0 0 27663 16 0 0 25 0 1 0 1012738987 69210112 16317 4294967295 134512640 135216591 3217608752 3217606944 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/17128/statm: 16897 16317 75 172 0 16724 0
Current children cumulated CPU time (s) 282.34
Current children cumulated vsize (KiB) 70004
[startup+342.316 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 18255
/proc/meminfo: memFree=466388/2074464 swapFree=1949056/1959888
[pid=17122] ppid=17120 vsize=2416 CPUtime=5.55
/proc/17122/stat : 17122 (SatELiteGTI) S 17120 17122 14060 0 -1 4194304 387 33927 0 0 0 0 521 34 20 0 1 0 1012738432 2473984 278 4294967295 134512640 135169312 3214675216 3214671432 3085446894 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/17122/statm: 604 278 235 161 0 43 0
[pid=17128] ppid=17122 vsize=67588 CPUtime=336.8
/proc/17128/stat : 17128 (minisat_static) R 17122 17122 14060 0 -1 4202496 16412 0 0 0 33664 16 0 0 25 0 1 0 1012738987 69210112 16334 4294967295 134512640 135216591 3217608752 3217606944 134528948 0 0 0 3 0 0 0 17 3 0 0 0
/proc/17128/statm: 16897 16334 75 172 0 16724 0
Current children cumulated CPU time (s) 342.35
Current children cumulated vsize (KiB) 70004
[startup+402.321 s]
################
# More data... #
################
[startup+462.316 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 18635
/proc/meminfo: memFree=463420/2074464 swapFree=1949056/1959888
[pid=17122] ppid=17120 vsize=2416 CPUtime=5.55
/proc/17122/stat : 17122 (SatELiteGTI) S 17120 17122 14060 0 -1 4194304 387 33927 0 0 0 0 521 34 20 0 1 0 1012738432 2473984 278 4294967295 134512640 135169312 3214675216 3214671432 3085446894 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/17122/statm: 604 278 235 161 0 43 0
[pid=17128] ppid=17122 vsize=70908 CPUtime=456.81
/proc/17128/stat : 17128 (minisat_static) R 17122 17122 14060 0 -1 4202496 17266 0 0 0 45662 19 0 0 25 0 1 0 1012738987 72609792 17188 4294967295 134512640 135216591 3217608752 3217606944 134528948 0 0 0 3 0 0 0 17 3 0 0 0
/proc/17128/statm: 17727 17188 75 172 0 17554 0
Current children cumulated CPU time (s) 462.36
Current children cumulated vsize (KiB) 73324
[startup+522.32 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 18824
/proc/meminfo: memFree=461644/2074464 swapFree=1949056/1959888
[pid=17122] ppid=17120 vsize=2416 CPUtime=5.55
/proc/17122/stat : 17122 (SatELiteGTI) S 17120 17122 14060 0 -1 4194304 387 33927 0 0 0 0 521 34 20 0 1 0 1012738432 2473984 278 4294967295 134512640 135169312 3214675216 3214671432 3085446894 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/17122/statm: 604 278 235 161 0 43 0
[pid=17128] ppid=17122 vsize=72672 CPUtime=516.82
/proc/17128/stat : 17128 (minisat_static) R 17122 17122 14060 0 -1 4202496 17697 0 0 0 51663 19 0 0 25 0 1 0 1012738987 74416128 17619 4294967295 134512640 135216591 3217608752 3217606928 134525873 0 0 0 3 0 0 0 17 3 0 0 0
/proc/17128/statm: 18168 17619 75 172 0 17995 0
Current children cumulated CPU time (s) 522.37
Current children cumulated vsize (KiB) 75088
[startup+582.315 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 19009
/proc/meminfo: memFree=461660/2074464 swapFree=1949056/1959888
[pid=17122] ppid=17120 vsize=2416 CPUtime=5.55
/proc/17122/stat : 17122 (SatELiteGTI) S 17120 17122 14060 0 -1 4194304 387 33927 0 0 0 0 521 34 20 0 1 0 1012738432 2473984 278 4294967295 134512640 135169312 3214675216 3214671432 3085446894 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/17122/statm: 604 278 235 161 0 43 0
[pid=17128] ppid=17122 vsize=72804 CPUtime=576.82
/proc/17128/stat : 17128 (minisat_static) R 17122 17122 14060 0 -1 4202496 17735 0 0 0 57663 19 0 0 25 0 1 0 1012738987 74551296 17657 4294967295 134512640 135216591 3217608752 3217606944 134528860 0 0 0 3 0 0 0 17 3 0 0 0
/proc/17128/statm: 18201 17657 75 172 0 18028 0
Current children cumulated CPU time (s) 582.37
Current children cumulated vsize (KiB) 75220
[startup+642.32 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 19197
/proc/meminfo: memFree=460932/2074464 swapFree=1949056/1959888
[pid=17122] ppid=17120 vsize=2416 CPUtime=5.55
/proc/17122/stat : 17122 (SatELiteGTI) S 17120 17122 14060 0 -1 4194304 387 33927 0 0 0 0 521 34 20 0 1 0 1012738432 2473984 278 4294967295 134512640 135169312 3214675216 3214671432 3085446894 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/17122/statm: 604 278 235 161 0 43 0
[pid=17128] ppid=17122 vsize=73332 CPUtime=636.83
/proc/17128/stat : 17128 (minisat_static) R 17122 17122 14060 0 -1 4202496 17860 0 0 0 63664 19 0 0 25 0 1 0 1012738987 75091968 17782 4294967295 134512640 135216591 3217608752 3217606944 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/17128/statm: 18333 17782 75 172 0 18160 0
Current children cumulated CPU time (s) 642.38
Current children cumulated vsize (KiB) 75748
[startup+702.315 s]
/proc/loadavg: 1.07 1.03 1.01 2/95 19389
/proc/meminfo: memFree=458088/2074464 swapFree=1949056/1959888
[pid=17122] ppid=17120 vsize=2416 CPUtime=5.55
/proc/17122/stat : 17122 (SatELiteGTI) S 17120 17122 14060 0 -1 4194304 387 33927 0 0 0 0 521 34 20 0 1 0 1012738432 2473984 278 4294967295 134512640 135169312 3214675216 3214671432 3085446894 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/17122/statm: 604 278 235 161 0 43 0
[pid=17128] ppid=17122 vsize=76376 CPUtime=696.83
/proc/17128/stat : 17128 (minisat_static) R 17122 17122 14060 0 -1 4202496 18647 0 0 0 69663 20 0 0 25 0 1 0 1012738987 78209024 18569 4294967295 134512640 135216591 3217608752 3217606944 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/17128/statm: 19094 18569 75 172 0 18921 0
Current children cumulated CPU time (s) 702.38
Current children cumulated vsize (KiB) 78792
[startup+762.32 s]
/proc/loadavg: 1.02 1.02 1.00 2/95 19578
/proc/meminfo: memFree=457328/2074464 swapFree=1949056/1959888
[pid=17122] ppid=17120 vsize=2416 CPUtime=5.55
/proc/17122/stat : 17122 (SatELiteGTI) S 17120 17122 14060 0 -1 4194304 387 33927 0 0 0 0 521 34 20 0 1 0 1012738432 2473984 278 4294967295 134512640 135169312 3214675216 3214671432 3085446894 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/17122/statm: 604 278 235 161 0 43 0
[pid=17128] ppid=17122 vsize=76568 CPUtime=756.84
/proc/17128/stat : 17128 (minisat_static) R 17122 17122 14060 0 -1 4202496 18672 0 0 0 75664 20 0 0 25 0 1 0 1012738987 78405632 18594 4294967295 134512640 135216591 3217608752 3217606944 134529023 0 0 0 3 0 0 0 17 3 0 0 0
/proc/17128/statm: 19142 18594 75 172 0 18969 0
Current children cumulated CPU time (s) 762.39
Current children cumulated vsize (KiB) 78984
[startup+822.314 s]
/proc/loadavg: 1.01 1.02 1.00 2/95 19767
/proc/meminfo: memFree=457436/2074464 swapFree=1949056/1959888
[pid=17122] ppid=17120 vsize=2416 CPUtime=5.55
/proc/17122/stat : 17122 (SatELiteGTI) S 17120 17122 14060 0 -1 4194304 387 33927 0 0 0 0 521 34 20 0 1 0 1012738432 2473984 278 4294967295 134512640 135169312 3214675216 3214671432 3085446894 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/17122/statm: 604 278 235 161 0 43 0
[pid=17128] ppid=17122 vsize=76568 CPUtime=816.84
/proc/17128/stat : 17128 (minisat_static) R 17122 17122 14060 0 -1 4202496 18673 0 0 0 81664 20 0 0 25 0 1 0 1012738987 78405632 18595 4294967295 134512640 135216591 3217608752 3217606720 134538210 0 0 0 3 0 0 0 17 3 0 0 0
/proc/17128/statm: 19142 18595 75 172 0 18969 0
Current children cumulated CPU time (s) 822.39
Current children cumulated vsize (KiB) 78984
[startup+882.319 s]
/proc/loadavg: 1.00 1.01 1.00 3/95 19952
/proc/meminfo: memFree=457560/2074464 swapFree=1949056/1959888
[pid=17122] ppid=17120 vsize=2416 CPUtime=5.55
/proc/17122/stat : 17122 (SatELiteGTI) S 17120 17122 14060 0 -1 4194304 387 33927 0 0 0 0 521 34 20 0 1 0 1012738432 2473984 278 4294967295 134512640 135169312 3214675216 3214671432 3085446894 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/17122/statm: 604 278 235 161 0 43 0
[pid=17128] ppid=17122 vsize=76728 CPUtime=876.85
/proc/17128/stat : 17128 (minisat_static) R 17122 17122 14060 0 -1 4202496 18723 0 0 0 87665 20 0 0 25 0 1 0 1012738987 78569472 18645 4294967295 134512640 135216591 3217608752 3217606944 134528888 0 0 0 3 0 0 0 17 3 0 0 0
/proc/17128/statm: 19182 18645 75 172 0 19009 0
Current children cumulated CPU time (s) 882.4
Current children cumulated vsize (KiB) 79144
Solver just ended. Dumping a history of the last processes samples
[startup+883.209 s]
/proc/loadavg: 1.00 1.01 1.00 3/95 19952
/proc/meminfo: memFree=457560/2074464 swapFree=1949056/1959888
[pid=17122] ppid=17120 vsize=2416 CPUtime=5.55
/proc/17122/stat : 17122 (SatELiteGTI) S 17120 17122 14060 0 -1 4194304 387 33927 0 0 0 0 521 34 20 0 1 0 1012738432 2473984 278 4294967295 134512640 135169312 3214675216 3214671432 3085446894 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/17122/statm: 604 278 235 161 0 43 0
[pid=17128] ppid=17122 vsize=76728 CPUtime=877.74
/proc/17128/stat : 17128 (minisat_static) R 17122 17122 14060 0 -1 4202496 18723 0 0 0 87754 20 0 0 25 0 1 0 1012738987 78569472 18645 4294967295 134512640 135216591 3217608752 3217606944 134529343 0 0 0 3 0 0 0 17 3 0 0 0
/proc/17128/statm: 19182 18645 75 172 0 19009 0
Current children cumulated CPU time (s) 883.29
Current children cumulated vsize (KiB) 79144
[startup+889.609 s]
/proc/loadavg: 1.00 1.01 1.00 3/95 19953
/proc/meminfo: memFree=457584/2074464 swapFree=1949056/1959888
[pid=17122] ppid=17120 vsize=2416 CPUtime=5.55
/proc/17122/stat : 17122 (SatELiteGTI) S 17120 17122 14060 0 -1 4194304 387 33927 0 0 0 0 521 34 20 0 1 0 1012738432 2473984 278 4294967295 134512640 135169312 3214675216 3214671432 3085446894 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/17122/statm: 604 278 235 161 0 43 0
[pid=17128] ppid=17122 vsize=76728 CPUtime=884.14
/proc/17128/stat : 17128 (minisat_static) R 17122 17122 14060 0 -1 4202496 18723 0 0 0 88394 20 0 0 25 0 1 0 1012738987 78569472 18645 4294967295 134512640 135216591 3217608752 3217606944 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/17128/statm: 19182 18645 75 172 0 19009 0
Current children cumulated CPU time (s) 889.69
Current children cumulated vsize (KiB) 79144
[startup+892.808 s]
/proc/loadavg: 1.00 1.01 1.00 3/95 19953
/proc/meminfo: memFree=457592/2074464 swapFree=1949056/1959888
[pid=17122] ppid=17120 vsize=2416 CPUtime=5.55
/proc/17122/stat : 17122 (SatELiteGTI) S 17120 17122 14060 0 -1 4194304 387 33927 0 0 0 0 521 34 20 0 1 0 1012738432 2473984 278 4294967295 134512640 135169312 3214675216 3214671432 3085446894 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/17122/statm: 604 278 235 161 0 43 0
[pid=17128] ppid=17122 vsize=76728 CPUtime=887.34
/proc/17128/stat : 17128 (minisat_static) R 17122 17122 14060 0 -1 4202496 18723 0 0 0 88714 20 0 0 25 0 1 0 1012738987 78569472 18645 4294967295 134512640 135216591 3217608752 3217606944 134529243 0 0 0 3 0 0 0 17 3 0 0 0
/proc/17128/statm: 19182 18645 75 172 0 19009 0
Current children cumulated CPU time (s) 892.89
Current children cumulated vsize (KiB) 79144
[startup+894.418 s]
/proc/loadavg: 1.00 1.01 1.00 3/95 19956
/proc/meminfo: memFree=457328/2074464 swapFree=1949056/1959888
[pid=17122] ppid=17120 vsize=2416 CPUtime=5.55
/proc/17122/stat : 17122 (SatELiteGTI) S 17120 17122 14060 0 -1 4194304 387 33927 0 0 0 0 521 34 20 0 1 0 1012738432 2473984 278 4294967295 134512640 135169312 3214675216 3214671432 3085446894 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/17122/statm: 604 278 235 161 0 43 0
[pid=17128] ppid=17122 vsize=76728 CPUtime=888.95
/proc/17128/stat : 17128 (minisat_static) R 17122 17122 14060 0 -1 4202496 18723 0 0 0 88875 20 0 0 25 0 1 0 1012738987 78569472 18645 4294967295 134512640 135216591 3217608752 3217606944 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/17128/statm: 19182 18645 75 172 0 19009 0
Current children cumulated CPU time (s) 894.5
Current children cumulated vsize (KiB) 79144
[startup+894.808 s]
/proc/loadavg: 1.00 1.01 1.00 3/95 19956
/proc/meminfo: memFree=457328/2074464 swapFree=1949056/1959888
[pid=17122] ppid=17120 vsize=2416 CPUtime=5.55
/proc/17122/stat : 17122 (SatELiteGTI) S 17120 17122 14060 0 -1 4194304 387 33927 0 0 0 0 521 34 20 0 1 0 1012738432 2473984 278 4294967295 134512640 135169312 3214675216 3214671432 3085446894 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/17122/statm: 604 278 235 161 0 43 0
[pid=17128] ppid=17122 vsize=76728 CPUtime=889.34
/proc/17128/stat : 17128 (minisat_static) R 17122 17122 14060 0 -1 4202496 18723 0 0 0 88914 20 0 0 25 0 1 0 1012738987 78569472 18645 4294967295 134512640 135216591 3217608752 3217606720 134539535 0 0 0 3 0 0 0 17 3 0 0 0
/proc/17128/statm: 19182 18645 75 172 0 19009 0
Current children cumulated CPU time (s) 894.89
Current children cumulated vsize (KiB) 79144
[startup+895.208 s]
/proc/loadavg: 1.00 1.01 1.00 3/95 19956
/proc/meminfo: memFree=457328/2074464 swapFree=1949056/1959888
[pid=17122] ppid=17120 vsize=2416 CPUtime=5.55
/proc/17122/stat : 17122 (SatELiteGTI) S 17120 17122 14060 0 -1 4194304 387 33927 0 0 0 0 521 34 20 0 1 0 1012738432 2473984 278 4294967295 134512640 135169312 3214675216 3214671432 3085446894 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/17122/statm: 604 278 235 161 0 43 0
[pid=17128] ppid=17122 vsize=76728 CPUtime=889.74
/proc/17128/stat : 17128 (minisat_static) R 17122 17122 14060 0 -1 4202496 18723 0 0 0 88954 20 0 0 25 0 1 0 1012738987 78569472 18645 4294967295 134512640 135216591 3217608752 3217606944 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/17128/statm: 19182 18645 75 172 0 19009 0
Current children cumulated CPU time (s) 895.29
Current children cumulated vsize (KiB) 79144
Child status: 20
Real time (s): 895.239
CPU time (s): 895.32
CPU user time (s): 894.75
CPU system time (s): 0.57
CPU usage (%): 100.009
Max. virtual memory (cumulated for all children) (KiB): 124988
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 894.75
system time used= 0.57
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53322
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22
involuntary context switches= 2355
runsolver used 0.01 second user time and 0.02 second system time
The end
Begin job on tipi27 at 2009-05-16 16:00:12
IDJOB=1820843
IDBENCH=69630
IDSOLVER=658
FILE ID=tipi27/1820843-1242482412
PBS_JOBID=
Free space on /tmp= 9275 MiB
SOLVER NAME= minisat_cumr r-2009-03-18
BENCH NAME= SAT_RACE08/cnf/manol-pipe-c10nid_i.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1820843-1242482412/watcher-1820843-1242482412 -o /tmp/evaluation-result-1820843-1242482412/solver-1820843-1242482412 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820843-1242482412.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 5845608382cee59cce4973c50f16416c
RANDOM SEED= 1887122446
Linux tipi27 2.6.18 #19 SMP Tue Jun 19 11:27:27 CEST 2007 i686 GNU/Linux
/proc/cpuinfo:
processor : 0
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.389
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3618.40
processor : 1
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.389
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.79
processor : 2
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.389
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.77
processor : 3
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.389
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.78
/proc/meminfo:
MemTotal: 2074464 kB
MemFree: 562392 kB
Buffers: 60904 kB
Cached: 1324352 kB
SwapCached: 5508 kB
Active: 853956 kB
Inactive: 541324 kB
HighTotal: 1178688 kB
HighFree: 327108 kB
LowTotal: 895776 kB
LowFree: 235284 kB
SwapTotal: 1959888 kB
SwapFree: 1949056 kB
Dirty: 15204 kB
Writeback: 0 kB
AnonPages: 9132 kB
Mapped: 3424 kB
Slab: 107900 kB
PageTables: 596 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 2997120 kB
Committed_AS: 90632 kB
VmallocTotal: 114680 kB
VmallocUsed: 1324 kB
VmallocChunk: 113264 kB
Free space on /tmp at the end= 9275 MiB
End job on tipi27 at 2009-05-16 16:15:08