0.00/0.00 c Parsing...
0.06/0.11 c ==============================================================================
0.06/0.11 c | | ORIGINAL | LEARNT | |
0.06/0.11 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.06/0.11 c ==============================================================================
0.06/0.11 c | 0 | 177375 464310 | 53212 0 0 nan | 0.000 % |
0.06/0.11 c ==============================================================================
0.06/0.11 c Result : #vars: 1089 #clauses: 177375 #literals: 464310
0.06/0.11 c CPU time: 0.11 s
0.06/0.11 c ==============================================================================
0.23/0.27 c This is MiniSat 2.0 beta
0.23/0.27 c WARNING: for repeatability, setting FPU to use double precision
0.23/0.27 c ============================[ Problem Statistics ]=============================
0.23/0.27 c | |
0.23/0.27 c | Number of variables: 1089 |
0.23/0.27 c | Number of clauses: 177375 |
0.27/0.35 c | Parsing time: 0.07 s |
0.27/0.36 c ============================[ Search Statistics ]==============================
0.27/0.36 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.27/0.36 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.27/0.36 c ===============================================================================
0.27/0.36 c | 0 | 1089 177375 464310 | 59125 0 nan | 0.000 % |
0.27/0.48 c | 513 | 1089 177375 464310 | 59125 513 90 | 0.000 % |
0.27/0.57 c | 1026 | 1089 177375 464310 | 59125 1026 120 | 0.000 % |
0.27/0.66 c | 1541 | 1089 177375 464310 | 59125 1541 121 | 0.000 % |
0.27/0.86 c | 2567 | 1089 177375 464310 | 59125 2567 118 | 0.000 % |
0.27/0.95 c | 3081 | 1089 177375 464310 | 59125 3081 123 | 0.000 % |
1.03/1.06 c | 3596 | 1089 177375 464310 | 59125 3596 129 | 0.000 % |
1.23/1.31 c | 4620 | 1089 177375 464310 | 59125 4620 133 | 0.000 % |
1.73/1.81 c | 6668 | 1089 177375 464310 | 59125 6668 111 | 0.000 % |
1.93/1.96 c | 7184 | 1089 177375 464310 | 59125 7184 105 | 0.006 % |
2.03/2.08 c | 7696 | 1089 177375 464310 | 59125 7696 100 | 0.006 % |
2.33/2.34 c | 8720 | 1089 177375 464310 | 59125 8720 92 | 0.007 % |
2.43/2.46 c | 9234 | 1089 177375 464310 | 59125 9234 89 | 0.006 % |
2.53/2.58 c | 9747 | 1089 177375 464310 | 59125 9747 86 | 0.006 % |
2.83/2.84 c | 10771 | 1089 177375 464310 | 2147483647 10771 84 | 0.006 % |
3.33/3.37 c | 12819 | 1089 177375 464310 | 2147483647 12819 76 | 0.006 % |
4.53/4.54 c | 16915 | 1089 177375 464310 | 2147483647 16915 69 | 0.006 % |
4.73/4.73 c | 17429 | 1089 177375 464310 | 2147483647 17429 68 | 0.006 % |
4.83/4.89 c | 17941 | 1089 177375 464310 | 2147483647 17941 67 | 0.006 % |
5.13/5.20 c | 18967 | 1089 177375 464310 | 2147483647 18967 65 | 0.006 % |
5.33/5.36 c | 19482 | 1089 177375 464310 | 2147483647 19482 64 | 0.006 % |
5.43/5.49 c | 19994 | 1089 177375 464310 | 2147483647 19994 64 | 0.000 % |
5.73/5.78 c | 21018 | 1089 177375 464310 | 2147483647 21018 62 | 0.000 % |
6.33/6.35 c | 23067 | 1089 177375 464310 | 2147483647 23067 64 | 0.000 % |
6.43/6.48 c | 23582 | 1089 177375 464310 | 2147483647 23582 65 | 0.000 % |
6.63/6.62 c | 24094 | 1089 177375 464310 | 2147483647 24094 66 | 0.000 % |
6.83/6.90 c | 25120 | 1089 177375 464310 | 2147483647 25120 66 | 0.000 % |
7.03/7.07 c | 25633 | 1089 177375 464310 | 2147483647 25633 66 | 0.007 % |
7.23/7.23 c | 26148 | 1089 177375 464310 | 2147483647 26148 65 | 0.007 % |
7.53/7.54 c | 27174 | 1089 177375 464310 | 2147483647 27174 64 | 0.007 % |
8.23/8.22 c | 29222 | 1089 177375 464310 | 2147483647 29222 62 | 0.000 % |
9.63/9.63 c | 33318 | 1089 177375 464310 | 2147483647 33318 61 | 0.007 % |
13.13/13.12 c | 41519 | 1089 177375 464310 | 2147483647 41519 58 | 0.007 % |
13.23/13.30 c | 42032 | 1089 177375 464310 | 2147483647 42032 59 | 0.000 % |
13.43/13.46 c | 42544 | 1089 177375 464310 | 2147483647 42544 60 | 0.000 % |
13.73/13.80 c | 43571 | 1089 177375 464310 | 2147483647 43571 61 | 0.000 % |
13.93/13.96 c | 44085 | 1089 177375 464310 | 2147483647 44085 62 | 0.000 % |
14.13/14.20 c | 44597 | 1089 177375 464310 | 2147483647 44597 63 | 0.000 % |
14.53/14.58 c | 45624 | 1089 177375 464310 | 2147483647 45624 63 | 0.000 % |
15.43/15.47 c | 47673 | 1089 177375 464310 | 2147483647 47673 63 | 0.007 % |
15.63/15.71 c | 48186 | 1089 177375 464310 | 2147483647 48186 63 | 0.000 % |
15.93/15.92 c | 48699 | 1089 177375 464310 | 2147483647 48699 63 | 0.007 % |
16.33/16.38 c | 49725 | 1089 177375 464310 | 2147483647 49725 63 | 0.006 % |
16.63/16.64 c | 50238 | 1089 177375 464310 | 2147483647 50238 62 | 0.007 % |
16.83/16.89 c | 50750 | 1089 177375 464310 | 2147483647 50750 62 | 0.007 % |
17.33/17.34 c | 51774 | 1089 177375 464310 | 2147483647 51774 61 | 0.006 % |
18.33/18.33 c | 53825 | 1089 177375 464310 | 2147483647 53825 60 | 0.007 % |
20.03/20.08 c | 57921 | 1089 177375 464310 | 2147483647 57921 59 | 0.007 % |
20.33/20.32 c | 58437 | 1089 177375 464310 | 2147483647 58437 59 | 0.007 % |
20.53/20.58 c | 58950 | 1089 177375 464310 | 2147483647 58950 59 | 0.007 % |
21.03/21.09 c | 59974 | 1089 177375 464310 | 2147483647 59974 58 | 0.007 % |
21.33/21.34 c | 60486 | 1089 177375 464310 | 2147483647 60486 58 | 0.007 % |
21.53/21.58 c | 61002 | 1089 177375 464310 | 2147483647 61002 58 | 0.007 % |
22.03/22.04 c | 62026 | 1089 177375 464310 | 2147483647 62026 59 | 0.000 % |
23.03/23.06 c | 64074 | 1089 177375 464310 | 2147483647 64074 61 | 0.000 % |
23.33/23.33 c | 64586 | 1089 177375 464310 | 2147483647 64586 62 | 0.000 % |
23.53/23.59 c | 65100 | 1089 177375 464310 | 2147483647 65100 62 | 0.000 % |
24.13/24.19 c | 66125 | 1089 177375 464310 | 2147483647 66125 63 | 0.007 % |
24.43/24.49 c | 66640 | 1089 177375 464310 | 2147483647 66640 62 | 0.007 % |
24.73/24.78 c | 67152 | 1089 177375 464310 | 2147483647 67152 62 | 0.007 % |
25.23/25.24 c | 68177 | 1089 177375 464310 | 2147483647 68177 62 | 0.007 % |
26.23/26.31 c | 70227 | 1089 177375 464310 | 2147483647 70227 62 | 0.006 % |
28.63/28.68 c | 74323 | 1089 177375 464310 | 2147483647 74323 61 | 0.006 % |
33.83/33.89 c | 82516 | 1089 177375 464310 | 80003 70190 55 | 0.007 % |
43.13/43.15 c | 98900 | 1089 177375 464310 | 77674 74175 65 | 0.000 % |
43.53/43.53 c | 99415 | 1089 177375 464310 | 77674 74690 64 | 0.000 % |
43.83/43.89 c | 99927 | 1089 177375 464310 | 77674 75202 64 | 0.000 % |
44.53/44.58 c | 100953 | 1089 177375 464310 | 75275 63494 67 | 0.007 % |
44.83/44.86 c | 101467 | 1089 177375 464310 | 75275 64008 67 | 0.000 % |
45.13/45.19 c | 101981 | 1089 177375 464310 | 75275 64522 67 | 0.007 % |
45.83/45.87 c | 103006 | 1089 177375 464310 | 75275 65547 66 | 0.007 % |
46.93/46.92 c | 105054 | 1089 177375 464310 | 75275 67595 68 | 0.000 % |
47.13/47.21 c | 105566 | 1089 177375 464310 | 75275 68107 69 | 0.000 % |
47.53/47.55 c | 106078 | 1089 177375 464310 | 75275 68619 69 | 0.000 % |
48.03/48.11 c | 107103 | 1089 177375 464310 | 75275 69644 70 | 0.000 % |
48.33/48.34 c | 107615 | 1089 177375 464310 | 75275 70156 70 | 0.000 % |
48.63/48.68 c | 108127 | 1089 177375 464310 | 75275 70668 69 | 0.007 % |
49.33/49.36 c | 109152 | 1089 177375 464310 | 75275 71693 69 | 0.007 % |
50.83/50.86 c | 111201 | 1089 177375 464310 | 72543 62788 67 | 0.007 % |
53.13/53.12 c | 115299 | 1089 177375 464310 | 72543 66886 66 | 0.007 % |
53.33/53.40 c | 115813 | 1089 177375 464310 | 72543 67400 65 | 0.007 % |
53.73/53.72 c | 116328 | 1089 177375 464310 | 72543 67915 65 | 0.007 % |
54.23/54.29 c | 117353 | 1089 177375 464310 | 72543 68940 65 | 0.007 % |
54.53/54.60 c | 117866 | 1089 177375 464310 | 72543 69453 64 | 0.006 % |
54.83/54.89 c | 118381 | 1089 177375 464310 | 72543 69968 64 | 0.007 % |
55.53/55.53 c | 119405 | 1089 177375 464310 | 72543 70992 64 | 0.007 % |
56.83/56.91 c | 121453 | 1089 177375 464310 | 71589 62988 65 | 0.007 % |
57.24/57.27 c | 121966 | 1089 177375 464310 | 71589 63501 65 | 0.007 % |
57.53/57.57 c | 122478 | 1089 177375 464310 | 71589 64013 64 | 0.006 % |
58.13/58.17 c | 123502 | 1089 177375 464310 | 71589 65037 64 | 0.007 % |
58.34/58.41 c | 124014 | 1089 177375 464310 | 71589 65549 64 | 0.000 % |
58.63/58.69 c | 124527 | 1089 177375 464310 | 71589 66062 65 | 0.000 % |
59.23/59.23 c | 125553 | 1089 177375 464310 | 71589 67088 66 | 0.000 % |
60.23/60.29 c | 127601 | 1089 177375 464310 | 71589 69136 67 | 0.000 % |
62.63/62.66 c | 131697 | 1089 177375 464310 | 71537 62704 66 | 0.000 % |
67.93/67.99 c | 139890 | 1089 177375 464310 | 71537 70897 66 | 0.000 % |
68.33/68.35 c | 140402 | 1089 177375 464310 | 71008 71409 66 | 0.007 % |
68.73/68.80 c | 140914 | 1089 177375 464310 | 71008 60008 65 | 0.007 % |
69.43/69.51 c | 141938 | 1089 177375 464310 | 71008 61032 65 | 0.007 % |
69.83/69.83 c | 142450 | 1089 177375 464310 | 71008 61544 64 | 0.007 % |
70.23/70.23 c | 142965 | 1089 177375 464310 | 71008 62059 64 | 0.007 % |
70.93/70.98 c | 143991 | 1089 177375 464310 | 71008 63085 64 | 0.007 % |
72.73/72.73 c | 146041 | 1089 177375 464310 | 71008 65135 63 | 0.000 % |
72.93/72.99 c | 146553 | 1089 177375 464310 | 71008 65647 64 | 0.000 % |
73.23/73.26 c | 147065 | 1089 177375 464310 | 71008 66159 64 | 0.000 % |
73.93/74.01 c | 148089 | 1089 177375 464310 | 71008 67183 65 | 0.000 % |
74.33/74.36 c | 148603 | 1089 177375 464310 | 71008 67697 65 | 0.000 % |
74.63/74.70 c | 149115 | 1089 177375 464310 | 71008 68209 65 | 0.000 % |
75.33/75.39 c | 150140 | 1089 177375 464310 | 69094 69234 65 | 0.007 % |
76.63/76.65 c | 152188 | 1089 177375 464310 | 69094 58693 58 | 0.007 % |
79.13/79.13 c | 156284 | 1089 177375 464310 | 69094 62789 57 | 0.007 % |
79.43/79.42 c | 156796 | 1089 177375 464310 | 69094 63301 57 | 0.007 % |
79.83/79.82 c | 157309 | 1089 177375 464310 | 69094 63814 57 | 0.007 % |
80.43/80.42 c | 158333 | 1089 177375 464310 | 69094 64838 57 | 0.000 % |
80.73/80.75 c | 158846 | 1089 177375 464310 | 69094 65351 57 | 0.000 % |
81.03/81.03 c | 159358 | 1089 177375 464310 | 69094 65863 57 | 0.007 % |
81.53/81.61 c | 160383 | 1089 177375 464310 | 66505 66888 56 | 0.007 % |
82.73/82.77 c | 162436 | 1089 177375 464310 | 66505 58150 53 | 0.006 % |
83.13/83.14 c | 162951 | 1089 177375 464310 | 66505 58665 52 | 0.007 % |
83.43/83.46 c | 163464 | 1089 177375 464310 | 66505 59178 52 | 0.006 % |
84.03/84.11 c | 164489 | 1089 177375 464310 | 66505 60203 52 | 0.006 % |
84.33/84.40 c | 165001 | 1089 177375 464310 | 66505 60715 52 | 0.006 % |
84.74/84.74 c | 165516 | 1089 177375 464310 | 66505 61230 53 | 0.000 % |
85.33/85.32 c | 166541 | 1089 177375 464310 | 66505 62255 54 | 0.000 % |
86.43/86.48 c | 168590 | 1089 177375 464310 | 66505 64304 56 | 0.000 % |
88.83/88.85 c | 172687 | 1089 177375 464310 | 65714 59440 62 | 0.000 % |
94.43/94.49 c | 180879 | 1088 177055 463480 | 56455 48266 56 | 0.098 % |
104.74/104.75 c | 197263 | 1088 177055 463480 | 48110 47369 55 | 0.098 % |
127.04/127.10 c | 230032 | 1088 177055 463480 | 32463 32493 47 | 0.098 % |
127.34/127.36 c | 230544 | 1088 177055 463480 | 32463 27129 45 | 0.092 % |
127.54/127.56 c | 231057 | 1088 177055 463480 | 32463 27642 47 | 0.092 % |
127.94/128.00 c | 232081 | 1088 177055 463480 | 32463 28666 49 | 0.092 % |
128.14/128.21 c | 232593 | 1088 177055 463480 | 32463 29178 51 | 0.092 % |
128.34/128.41 c | 233105 | 1088 177055 463480 | 32463 29690 52 | 0.092 % |
128.74/128.80 c | 234131 | 1088 177055 463480 | 32463 30716 51 | 0.098 % |
129.64/129.64 c | 236179 | 1088 177055 463480 | 32463 32764 51 | 0.098 % |
129.84/129.89 c | 236693 | 1088 177055 463480 | 32463 30002 50 | 0.098 % |
130.04/130.11 c | 237208 | 1088 177055 463480 | 32463 30517 50 | 0.098 % |
130.54/130.57 c | 238233 | 1088 177055 463480 | 32463 31542 50 | 0.098 % |
130.74/130.77 c | 238748 | 1088 177055 463480 | 32463 32057 49 | 0.098 % |
130.94/130.98 c | 239260 | 1088 177055 463480 | 32463 32569 49 | 0.098 % |
131.44/131.45 c | 240288 | 1088 177055 463480 | 2147483647 30341 48 | 0.098 % |
132.24/132.29 c | 242337 | 1088 177055 463480 | 2147483647 32390 48 | 0.098 % |
134.04/134.10 c | 246439 | 1088 177055 463480 | 2147483647 36492 50 | 0.098 % |
134.34/134.34 c | 246951 | 1088 177055 463480 | 2147483647 37004 50 | 0.092 % |
134.64/134.64 c | 247467 | 1088 177055 463480 | 2147483647 37520 50 | 0.099 % |
135.14/135.22 c | 248493 | 1088 177055 463480 | 2147483647 38546 49 | 0.098 % |
135.44/135.43 c | 249008 | 1088 177055 463480 | 2147483647 39061 49 | 0.098 % |
135.64/135.64 c | 249526 | 1088 177055 463480 | 2147483647 39579 50 | 0.092 % |
136.04/136.07 c | 250554 | 1088 177055 463480 | 2147483647 40607 53 | 0.092 % |
137.04/137.03 c | 252603 | 1088 177055 463480 | 2147483647 42656 57 | 0.092 % |
137.24/137.26 c | 253116 | 1088 177055 463480 | 2147483647 43169 57 | 0.092 % |
137.44/137.51 c | 253628 | 1088 177055 463480 | 2147483647 43681 57 | 0.092 % |
137.94/137.97 c | 254652 | 1088 177055 463480 | 2147483647 44705 57 | 0.098 % |
138.24/138.26 c | 255164 | 1088 177055 463480 | 2147483647 45217 57 | 0.098 % |
138.54/138.53 c | 255676 | 1088 177055 463480 | 2147483647 45729 57 | 0.098 % |
139.04/139.08 c | 256700 | 1088 177055 463480 | 2147483647 46753 56 | 0.092 % |
140.04/140.09 c | 258752 | 1088 177055 463480 | 2147483647 48805 56 | 0.098 % |
142.54/142.60 c | 262848 | 1088 177055 463480 | 2147483647 52901 55 | 0.098 % |
147.24/147.23 c | 271041 | 1088 177055 463480 | 60055 53378 54 | 0.099 % |
147.44/147.50 c | 271553 | 1088 177055 463480 | 60055 53890 55 | 0.092 % |
147.74/147.75 c | 272069 | 1088 177055 463480 | 60055 54406 55 | 0.092 % |
148.24/148.24 c | 273093 | 1088 177055 463480 | 60055 55430 57 | 0.092 % |
148.54/148.54 c | 273606 | 1088 177055 463480 | 60055 55943 57 | 0.092 % |
148.74/148.82 c | 274118 | 1088 177055 463480 | 60055 56455 57 | 0.098 % |
149.44/149.44 c | 275144 | 1088 177055 463480 | 60055 57481 57 | 0.098 % |
150.54/150.55 c | 277192 | 1088 177055 463480 | 60055 59529 57 | 0.092 % |
150.84/150.83 c | 277705 | 1088 177055 463480 | 60055 60042 57 | 0.098 % |
151.14/151.18 c | 278218 | 1088 177055 463480 | 60055 53032 57 | 0.098 % |
151.64/151.70 c | 279244 | 1088 177055 463480 | 60055 54058 57 | 0.098 % |
152.04/152.03 c | 279756 | 1088 177055 463480 | 60055 54570 57 | 0.098 % |
152.34/152.40 c | 280270 | 1088 177055 463480 | 54814 55084 56 | 0.098 % |
153.14/153.14 c | 281298 | 1088 177055 463480 | 54814 49200 55 | 0.098 % |
154.34/154.37 c | 283347 | 1088 177055 463480 | 54814 51249 54 | 0.098 % |
157.14/157.16 c | 287445 | 1088 177055 463480 | 54814 47982 54 | 0.098 % |
157.44/157.47 c | 287957 | 1088 177055 463480 | 54814 48494 54 | 0.098 % |
157.74/157.76 c | 288471 | 1088 177055 463480 | 54814 49008 54 | 0.098 % |
158.34/158.34 c | 289498 | 1088 177055 463480 | 54814 50035 54 | 0.098 % |
158.64/158.63 c | 290012 | 1088 177055 463480 | 50537 50549 54 | 0.098 % |
158.84/158.92 c | 290526 | 1088 177055 463480 | 50537 44337 47 | 0.092 % |
159.44/159.51 c | 291550 | 1087 176735 462650 | 50537 45360 48 | 0.190 % |
160.44/160.45 c | 293598 | 1087 176735 462650 | 50537 47408 51 | 0.184 % |
160.74/160.73 c | 294110 | 1087 176735 462650 | 50537 47920 52 | 0.184 % |
160.94/160.99 c | 294622 | 1087 176735 462650 | 50537 48432 52 | 0.184 % |
161.64/161.64 c | 295648 | 1087 176735 462650 | 50537 49458 51 | 0.190 % |
161.94/161.96 c | 296163 | 1087 176735 462650 | 50537 49973 51 | 0.190 % |
162.24/162.23 c | 296676 | 1087 176735 462650 | 50537 50486 51 | 0.190 % |
162.74/162.79 c | 297701 | 1087 176735 462650 | 50537 46400 51 | 0.190 % |
163.84/163.84 c | 299751 | 1087 176735 462650 | 50537 48450 52 | 0.190 % |
166.14/166.15 c | 303847 | 1087 176735 462650 | 2147483647 52546 51 | 0.184 % |
171.44/171.48 c | 312039 | 1087 176735 462650 | 58699 52387 51 | 0.190 % |
181.54/181.55 c | 328425 | 1087 176735 462650 | 51029 51232 76 | 0.184 % |
181.93/181.98 c | 328937 | 1087 176735 462650 | 51029 42643 78 | 0.190 % |
182.23/182.31 c | 329449 | 1087 176735 462650 | 51029 43155 77 | 0.190 % |
182.93/182.93 c | 330474 | 1087 176735 462650 | 43709 36501 81 | 0.190 % |
183.13/183.20 c | 330988 | 1087 176735 462650 | 43709 37015 80 | 0.190 % |
183.53/183.51 c | 331502 | 1087 176735 462650 | 43709 37529 80 | 0.190 % |
184.13/184.13 c | 332527 | 1087 176735 462650 | 43709 38554 81 | 0.184 % |
185.43/185.46 c | 334576 | 1087 176735 462650 | 43709 40603 82 | 0.184 % |
185.73/185.74 c | 335089 | 1087 176735 462650 | 43709 41116 82 | 0.184 % |
186.03/186.02 c | 335602 | 1087 176735 462650 | 43709 41629 83 | 0.184 % |
186.53/186.58 c | 336626 | 1087 176735 462650 | 43709 42653 82 | 0.190 % |
186.93/186.92 c | 337140 | 1087 176735 462650 | 43709 43167 82 | 0.190 % |
187.23/187.28 c | 337652 | 1087 176735 462650 | 43709 43679 81 | 0.190 % |
187.93/187.98 c | 338677 | 1087 176735 462650 | 43709 38357 87 | 0.190 % |
189.43/189.45 c | 340725 | 1087 176735 462650 | 39681 34551 90 | 0.190 % |
192.33/192.38 c | 344821 | 1087 176735 462650 | 39681 38647 84 | 0.190 % |
192.73/192.72 c | 345334 | 1087 176735 462650 | 39681 39160 83 | 0.190 % |
193.13/193.18 c | 345850 | 1087 176735 462650 | 39681 39676 83 | 0.190 % |
193.92/193.94 c | 346876 | 1087 176735 462650 | 39681 34115 70 | 0.184 % |
194.22/194.22 c | 347388 | 1087 176735 462650 | 39681 34627 70 | 0.190 % |
194.52/194.54 c | 347900 | 1087 176735 462650 | 39681 35139 69 | 0.190 % |
195.12/195.16 c | 348925 | 1087 176735 462650 | 39681 36164 69 | 0.190 % |
196.22/196.24 c | 350973 | 1087 176735 462650 | 37239 32792 57 | 0.190 % |
196.42/196.49 c | 351485 | 1087 176735 462650 | 37239 33304 57 | 0.190 % |
196.72/196.74 c | 351999 | 1087 176735 462650 | 37239 33818 57 | 0.190 % |
197.32/197.31 c | 353023 | 1087 176735 462650 | 37239 34842 57 | 0.190 % |
197.62/197.64 c | 353536 | 1087 176735 462650 | 37239 35355 58 | 0.184 % |
197.92/197.93 c | 354048 | 1087 176735 462650 | 37239 35867 59 | 0.184 % |
198.42/198.46 c | 355075 | 1087 176735 462650 | 37239 36894 60 | 0.184 % |
199.32/199.36 c | 357123 | 1087 176735 462650 | 37239 34986 57 | 0.184 % |
201.52/201.58 c | 361220 | 1087 176735 462650 | 2147483647 35315 57 | 0.190 % |
206.32/206.37 c | 369414 | 1087 176735 462650 | 2147483647 43509 55 | 0.190 % |
206.72/206.72 c | 369926 | 1087 176735 462650 | 2147483647 44021 55 | 0.190 % |
207.02/207.08 c | 370438 | 1087 176735 462650 | 44095 39255 51 | 0.190 % |
207.52/207.54 c | 371463 | 1087 176735 462650 | 44095 40280 51 | 0.190 % |
207.72/207.79 c | 371979 | 1087 176735 462650 | 44095 40796 51 | 0.190 % |
208.02/208.06 c | 372494 | 1087 176735 462650 | 44095 41311 51 | 0.190 % |
208.62/208.60 c | 373519 | 1087 176735 462650 | 44095 42336 51 | 0.190 % |
209.52/209.51 c | 375567 | 1087 176735 462650 | 44095 44384 54 | 0.184 % |
209.72/209.79 c | 376079 | 1087 176735 462650 | 44095 40458 55 | 0.184 % |
210.02/210.02 c | 376592 | 1087 176735 462650 | 44095 40971 56 | 0.184 % |
210.52/210.54 c | 377618 | 1087 176735 462650 | 44095 41997 58 | 0.184 % |
210.82/210.80 c | 378131 | 1087 176735 462650 | 44095 42510 58 | 0.190 % |
211.02/211.04 c | 378644 | 1087 176735 462650 | 44095 43023 57 | 0.190 % |
211.52/211.52 c | 379668 | 1087 176735 462650 | 44095 44047 57 | 0.190 % |
212.52/212.52 c | 381716 | 1087 176735 462650 | 2147483647 46095 58 | 0.190 % |
214.63/214.68 c | 385814 | 1087 176735 462650 | 2147483647 50193 58 | 0.184 % |
214.93/214.96 c | 386327 | 1087 176735 462650 | 2147483647 50706 58 | 0.190 % |
215.23/215.23 c | 386839 | 1087 176735 462650 | 2147483647 51218 58 | 0.190 % |
215.83/215.85 c | 387864 | 1087 176735 462650 | 2147483647 52243 57 | 0.190 % |
216.13/216.19 c | 388378 | 1087 176735 462650 | 2147483647 52757 57 | 0.190 % |
216.53/216.55 c | 388890 | 1087 176735 462650 | 2147483647 53269 57 | 0.190 % |
217.33/217.33 c | 389914 | 1087 176735 462650 | 2147483647 54293 57 | 0.190 % |
218.73/218.73 c | 391962 | 1087 176735 462650 | 54382 49096 58 | 0.190 % |
219.03/219.04 c | 392476 | 1087 176735 462650 | 54382 49610 58 | 0.190 % |
219.33/219.36 c | 392989 | 1087 176735 462650 | 54382 50123 58 | 0.190 % |
219.93/219.93 c | 394013 | 1087 176735 462650 | 54382 51147 57 | 0.190 % |
220.13/220.20 c | 394526 | 1087 176735 462650 | 54382 51660 58 | 0.184 % |
220.43/220.48 c | 395039 | 1087 176735 462650 | 54382 52173 59 | 0.184 % |
220.93/221.01 c | 396065 | 1087 176735 462650 | 54382 53199 59 | 0.184 % |
222.03/222.05 c | 398114 | 1087 176735 462650 | 54382 48018 58 | 0.184 % |
224.23/224.30 c | 402210 | 1087 176735 462650 | 49911 45597 58 | 0.184 % |
229.13/229.11 c | 410407 | 1087 176735 462650 | 46587 46994 59 | 0.190 % |
238.23/238.28 c | 426792 | 1087 176735 462650 | 43467 39059 49 | 0.190 % |
257.03/257.02 c | 459562 | 1087 176735 462650 | 37020 34584 66 | 0.190 % |
293.43/293.45 c | 525102 | 1087 176735 462650 | 24247 23418 121 | 0.184 % |
293.63/293.69 c | 525617 | 1087 176735 462650 | 24247 23933 120 | 0.184 % |
293.93/293.96 c | 526129 | 1087 176735 462650 | 24247 24445 119 | 0.190 % |
294.33/294.39 c | 527153 | 1087 176735 462650 | 24247 22592 116 | 0.190 % |
294.63/294.62 c | 527665 | 1087 176735 462650 | 24247 23104 115 | 0.190 % |
294.84/294.82 c | 528178 | 1087 176735 462650 | 24247 23617 113 | 0.190 % |
295.23/295.25 c | 529202 | 1087 176735 462650 | 24247 24641 111 | 0.190 % |
296.03/296.03 c | 531252 | 1087 176735 462650 | 2147483647 24188 112 | 0.184 % |
296.23/296.21 c | 531764 | 1087 176735 462650 | 2147483647 24700 111 | 0.190 % |
296.43/296.45 c | 532277 | 1087 176735 462650 | 2147483647 25213 109 | 0.190 % |
296.93/296.95 c | 533302 | 1087 176735 462650 | 2147483647 26238 106 | 0.184 % |
297.23/297.22 c | 533814 | 1087 176735 462650 | 2147483647 26750 105 | 0.184 % |
297.43/297.44 c | 534327 | 1087 176735 462650 | 2147483647 27263 104 | 0.190 % |
298.03/298.01 c | 535352 | 1087 176735 462650 | 2147483647 28288 102 | 0.190 % |
299.13/299.17 c | 537402 | 1087 176735 462650 | 2147483647 30338 100 | 0.190 % |
301.63/301.61 c | 541500 | 1087 176735 462650 | 2147483647 34436 94 | 0.184 % |
301.83/301.88 c | 542012 | 1087 176735 462650 | 2147483647 34948 95 | 0.184 % |
302.13/302.13 c | 542524 | 1087 176735 462650 | 2147483647 35460 95 | 0.184 % |
302.54/302.59 c | 543549 | 1087 176735 462650 | 2147483647 36485 96 | 0.184 % |
302.83/302.83 c | 544061 | 1087 176735 462650 | 2147483647 36997 96 | 0.184 % |
303.03/303.06 c | 544573 | 1087 176735 462650 | 2147483647 37509 97 | 0.184 % |
303.53/303.55 c | 545597 | 1087 176735 462650 | 2147483647 38533 98 | 0.184 % |
304.63/304.68 c | 547647 | 1087 176735 462650 | 2147483647 40583 100 | 0.184 % |
304.93/304.95 c | 548159 | 1087 176735 462650 | 2147483647 41095 100 | 0.184 % |
305.13/305.19 c | 548672 | 1087 176735 462650 | 2147483647 41608 99 | 0.191 % |
305.63/305.68 c | 549698 | 1087 176735 462650 | 2147483647 42634 98 | 0.190 % |
305.93/305.95 c | 550213 | 1087 176735 462650 | 2147483647 43149 97 | 0.190 % |
306.23/306.21 c | 550725 | 1087 176735 462650 | 2147483647 43661 96 | 0.190 % |
306.94/306.95 c | 551752 | 1087 176735 462650 | 2147483647 44688 95 | 0.190 % |
308.33/308.31 c | 553800 | 1087 176735 462650 | 2147483647 46736 92 | 0.190 % |
310.83/310.85 c | 557896 | 1087 176735 462650 | 2147483647 50832 88 | 0.190 % |
316.43/316.45 c | 566089 | 1087 176735 462650 | 52936 51175 69 | 0.190 % |
316.73/316.73 c | 566601 | 1087 176735 462650 | 52936 51687 70 | 0.184 % |
317.03/317.01 c | 567113 | 1087 176735 462650 | 52936 52199 70 | 0.190 % |
317.53/317.56 c | 568137 | 1087 176735 462650 | 52936 53223 70 | 0.184 % |
317.83/317.86 c | 568649 | 1087 176735 462650 | 52936 45397 60 | 0.190 % |
318.13/318.13 c | 569162 | 1087 176735 462650 | 52936 45910 60 | 0.190 % |
318.63/318.63 c | 570186 | 1087 176735 462650 | 46749 46934 60 | 0.190 % |
319.73/319.75 c | 572234 | 1087 176735 462650 | 46749 42262 59 | 0.190 % |
319.93/320.00 c | 572746 | 1087 176735 462650 | 46749 42774 58 | 0.190 % |
320.33/320.31 c | 573259 | 1087 176735 462650 | 46749 43287 58 | 0.190 % |
320.83/320.89 c | 574287 | 1087 176735 462650 | 46749 44315 58 | 0.190 % |
321.13/321.20 c | 574803 | 1087 176735 462650 | 46749 44831 58 | 0.190 % |
321.53/321.53 c | 575316 | 1087 176735 462650 | 46749 45344 57 | 0.190 % |
322.13/322.16 c | 576342 | 1087 176735 462650 | 46749 46370 57 | 0.190 % |
323.23/323.26 c | 578390 | 1087 176735 462650 | 46749 43001 55 | 0.190 % |
325.33/325.31 c | 582486 | 1087 176735 462650 | 44616 42155 49 | 0.190 % |
325.53/325.58 c | 582999 | 1087 176735 462650 | 44616 42668 49 | 0.190 % |
325.83/325.86 c | 583511 | 1087 176735 462650 | 44616 43180 49 | 0.190 % |
326.23/326.27 c | 584538 | 1087 176735 462650 | 44616 44207 51 | 0.184 % |
326.43/326.48 c | 585050 | 1087 176735 462650 | 44616 44719 51 | 0.184 % |
326.74/326.71 c | 585562 | 1087 176735 462650 | 44616 40760 45 | 0.184 % |
327.03/327.09 c | 586588 | 1087 176735 462650 | 44616 41786 46 | 0.184 % |
327.93/327.93 c | 588636 | 1087 176735 462650 | 44616 43834 50 | 0.184 % |
328.14/328.15 c | 589148 | 1087 176735 462650 | 44616 44346 50 | 0.184 % |
328.34/328.40 c | 589664 | 1087 176735 462650 | 44616 44862 50 | 0.190 % |
328.94/328.93 c | 590688 | 1087 176735 462650 | 2147483647 41400 51 | 0.190 % |
329.14/329.21 c | 591201 | 1087 176735 462650 | 2147483647 41913 51 | 0.190 % |
329.44/329.45 c | 591714 | 1087 176735 462650 | 2147483647 42426 50 | 0.190 % |
329.94/330.00 c | 592738 | 1087 176735 462650 | 2147483647 43450 50 | 0.190 % |
330.94/330.94 c | 594787 | 1087 176735 462650 | 2147483647 45499 50 | 0.190 % |
332.74/332.78 c | 598885 | 1087 176735 462650 | 2147483647 49597 51 | 0.190 % |
337.34/337.38 c | 607080 | 1087 176735 462650 | 2147483647 57792 53 | 0.190 % |
347.64/347.64 c | 623468 | 1087 176735 462650 | 53844 48791 78 | 0.184 % |
347.94/347.94 c | 623980 | 1087 176735 462650 | 53844 49303 78 | 0.190 % |
348.34/348.36 c | 624493 | 1087 176735 462650 | 53844 49816 77 | 0.190 % |
349.04/349.08 c | 625517 | 1087 176735 462650 | 53844 50840 77 | 0.190 % |
349.34/349.33 c | 626029 | 1087 176735 462650 | 53844 51352 77 | 0.184 % |
349.54/349.59 c | 626543 | 1087 176735 462650 | 53844 51866 78 | 0.184 % |
350.24/350.22 c | 627570 | 1087 176735 462650 | 53844 52893 78 | 0.184 % |
351.34/351.38 c | 629621 | 1087 176735 462650 | 53844 45750 81 | 0.184 % |
351.64/351.70 c | 630135 | 1087 176735 462650 | 46130 46264 81 | 0.184 % |
352.04/352.04 c | 630647 | 1087 176735 462650 | 46130 39128 88 | 0.190 % |
352.54/352.60 c | 631671 | 1087 176735 462650 | 46130 40152 87 | 0.190 % |
352.84/352.85 c | 632185 | 1087 176735 462650 | 46130 40666 86 | 0.190 % |
353.14/353.16 c | 632697 | 1087 176735 462650 | 46130 41178 85 | 0.190 % |
353.64/353.69 c | 633721 | 1087 176735 462650 | 46130 42202 84 | 0.190 % |
354.84/354.91 c | 635770 | 1087 176735 462650 | 46130 44251 82 | 0.190 % |
357.24/357.27 c | 639870 | 1087 176735 462650 | 46130 41698 81 | 0.190 % |
357.54/357.60 c | 640382 | 1087 176735 462650 | 41831 42210 81 | 0.190 % |
357.94/357.98 c | 640896 | 1087 176735 462650 | 41831 36766 79 | 0.190 % |
358.44/358.48 c | 641920 | 1087 176735 462650 | 41831 37790 78 | 0.190 % |
358.74/358.78 c | 642433 | 1087 176735 462650 | 41831 38303 78 | 0.190 % |
359.04/359.09 c | 642945 | 1087 176735 462650 | 41831 38815 78 | 0.190 % |
359.64/359.68 c | 643974 | 1087 176735 462650 | 41831 39844 77 | 0.190 % |
360.94/360.98 c | 646022 | 1087 176735 462650 | 41831 41892 75 | 0.190 % |
361.24/361.25 c | 646535 | 1087 176735 462650 | 41831 36539 69 | 0.184 % |
361.44/361.49 c | 647050 | 1087 176735 462650 | 41831 37054 70 | 0.184 % |
361.94/361.96 c | 648076 | 1087 176735 462650 | 41831 38080 72 | 0.184 % |
362.24/362.22 c | 648588 | 1087 176735 462650 | 41831 38592 73 | 0.184 % |
362.44/362.48 c | 649105 | 1087 176735 462650 | 41831 39109 73 | 0.184 % |
362.94/362.92 c | 650132 | 1087 176735 462650 | 40004 40136 73 | 0.184 % |
363.94/363.96 c | 652181 | 1087 176735 462650 | 40004 36982 64 | 0.190 % |
366.04/366.08 c | 656279 | 1087 176735 462650 | 40004 36837 60 | 0.190 % |
370.54/370.58 c | 664471 | 1087 176735 462650 | 36287 33363 51 | 0.190 % |
370.84/370.86 c | 664983 | 1087 176735 462650 | 36287 33875 50 | 0.190 % |
371.04/371.09 c | 665496 | 1087 176735 462650 | 36287 34388 50 | 0.190 % |
371.54/371.56 c | 666524 | 1087 176735 462650 | 36287 35416 50 | 0.190 % |
371.74/371.77 c | 667038 | 1087 176735 462650 | 36287 35930 51 | 0.184 % |
371.94/371.98 c | 667552 | 1087 176735 462650 | 36287 36444 52 | 0.184 % |
372.34/372.39 c | 668576 | 1087 176735 462650 | 36287 33824 53 | 0.184 % |
373.34/373.32 c | 670624 | 1087 176735 462650 | 2147483647 35872 57 | 0.184 % |
373.44/373.50 c | 671141 | 1087 176735 462650 | 2147483647 36389 57 | 0.184 % |
373.74/373.73 c | 671653 | 1087 176735 462650 | 2147483647 36901 57 | 0.190 % |
374.14/374.19 c | 672677 | 1087 176735 462650 | 2147483647 37925 57 | 0.190 % |
374.44/374.44 c | 673192 | 1087 176735 462650 | 2147483647 38440 56 | 0.190 % |
374.64/374.65 c | 673704 | 1087 176735 462650 | 2147483647 38952 56 | 0.190 % |
375.04/375.04 c | 674729 | 1087 176735 462650 | 2147483647 39977 56 | 0.190 % |
376.04/376.02 c | 676777 | 1087 176735 462650 | 2147483647 42025 55 | 0.184 % |
378.04/378.11 c | 680873 | 1087 176735 462650 | 2147483647 46121 54 | 0.190 % |
378.34/378.34 c | 681385 | 1087 176735 462650 | 2147483647 46633 54 | 0.190 % |
378.54/378.60 c | 681897 | 1087 176735 462650 | 2147483647 47145 54 | 0.190 % |
379.14/379.12 c | 682922 | 1087 176735 462650 | 2147483647 48170 53 | 0.190 % |
379.34/379.38 c | 683437 | 1087 176735 462650 | 2147483647 48685 53 | 0.190 % |
379.64/379.66 c | 683949 | 1087 176735 462650 | 2147483647 49197 53 | 0.190 % |
380.24/380.26 c | 684973 | 1087 176735 462650 | 2147483647 50221 53 | 0.190 % |
381.34/381.38 c | 687021 | 1087 176735 462650 | 2147483647 52269 54 | 0.184 % |
381.64/381.64 c | 687533 | 1087 176735 462650 | 2147483647 52781 54 | 0.184 % |
381.84/381.90 c | 688049 | 1087 176735 462650 | 2147483647 53297 55 | 0.184 % |
382.34/382.39 c | 689073 | 1087 176735 462650 | 2147483647 54321 56 | 0.184 % |
382.64/382.62 c | 689586 | 1087 176735 462650 | 2147483647 54834 57 | 0.184 % |
382.94/382.92 c | 690099 | 1087 176735 462650 | 2147483647 55347 58 | 0.184 % |
383.54/383.51 c | 691124 | 1087 176735 462650 | 2147483647 56372 59 | 0.184 % |
384.44/384.50 c | 693173 | 1087 176735 462650 | 2147483647 58421 59 | 0.184 % |
387.04/387.03 c | 697270 | 1087 176735 462650 | 2147483647 62518 58 | 0.190 % |
392.54/392.51 c | 705462 | 1087 176735 462650 | 65248 61816 53 | 0.184 % |
403.54/403.56 c | 721847 | 1087 176735 462650 | 46663 39953 51 | 0.190 % |
426.04/426.04 c | 754617 | 1087 176735 462650 | 34560 33776 75 | 0.190 % |
426.34/426.40 c | 755129 | 1087 176735 462650 | 34560 34288 74 | 0.190 % |
426.74/426.74 c | 755642 | 1087 176735 462650 | 34560 34801 74 | 0.190 % |
427.34/427.32 c | 756667 | 1087 176735 462650 | 34560 30007 77 | 0.190 % |
427.64/427.69 c | 757180 | 1087 176735 462650 | 34560 30520 77 | 0.190 % |
427.95/427.93 c | 757692 | 1087 176735 462650 | 34560 31032 76 | 0.190 % |
428.44/428.44 c | 758717 | 1087 176735 462650 | 34560 32057 75 | 0.190 % |
429.34/429.37 c | 760766 | 1087 176735 462650 | 33340 29309 70 | 0.190 % |
429.54/429.60 c | 761282 | 1087 176735 462650 | 33340 29825 70 | 0.190 % |
429.84/429.84 c | 761794 | 1087 176735 462650 | 33340 30337 69 | 0.190 % |
430.24/430.28 c | 762818 | 1087 176735 462650 | 33340 31361 68 | 0.184 % |
430.54/430.52 c | 763333 | 1087 176735 462650 | 33340 31876 67 | 0.190 % |
430.74/430.74 c | 763845 | 1087 176735 462650 | 33340 32388 67 | 0.190 % |
431.14/431.15 c | 764870 | 1087 176735 462650 | 33340 33413 66 | 0.184 % |
431.94/432.00 c | 766918 | 1087 176735 462650 | 33340 32120 64 | 0.190 % |
433.74/433.74 c | 771016 | 1087 176735 462650 | 2147483647 32829 62 | 0.190 % |
433.94/433.96 c | 771528 | 1087 176735 462650 | 2147483647 33341 63 | 0.184 % |
434.14/434.17 c | 772040 | 1087 176735 462650 | 2147483647 33853 63 | 0.184 % |
434.55/434.57 c | 773066 | 1087 176735 462650 | 2147483647 34879 64 | 0.184 % |
434.84/434.82 c | 773580 | 1087 176735 462650 | 2147483647 35393 65 | 0.184 % |
435.04/435.04 c | 774096 | 1087 176735 462650 | 2147483647 35909 65 | 0.184 % |
435.44/435.46 c | 775121 | 1087 176735 462650 | 2147483647 36934 66 | 0.184 % |
436.34/436.36 c | 777169 | 1087 176735 462650 | 2147483647 38982 67 | 0.184 % |
436.64/436.62 c | 777683 | 1087 176735 462650 | 2147483647 39496 66 | 0.184 % |
436.84/436.84 c | 778195 | 1087 176735 462650 | 2147483647 40008 66 | 0.190 % |
437.34/437.35 c | 779219 | 1087 176735 462650 | 2147483647 41032 65 | 0.190 % |
437.64/437.62 c | 779733 | 1087 176735 462650 | 2147483647 41546 65 | 0.190 % |
437.94/437.92 c | 780245 | 1087 176735 462650 | 2147483647 42058 64 | 0.190 % |
438.44/438.46 c | 781269 | 1087 176735 462650 | 2147483647 43082 64 | 0.190 % |
439.54/439.60 c | 783318 | 1087 176735 462650 | 2147483647 45131 64 | 0.190 % |
441.94/441.93 c | 787415 | 1087 176735 462650 | 2147483647 49228 62 | 0.190 % |
446.55/446.59 c | 795609 | 1087 176735 462650 | 2147483647 57422 61 | 0.190 % |
446.85/446.88 c | 796123 | 1087 176735 462650 | 2147483647 57936 61 | 0.190 % |
447.25/447.26 c | 796635 | 1087 176735 462650 | 2147483647 58448 61 | 0.190 % |
448.05/448.08 c | 797665 | 1087 176735 462650 | 2147483647 59478 60 | 0.190 % |
448.35/448.38 c | 798182 | 1087 176735 462650 | 2147483647 59995 60 | 0.190 % |
448.65/448.72 c | 798696 | 1087 176735 462650 | 2147483647 60509 60 | 0.190 % |
449.35/449.33 c | 799721 | 1087 176735 462650 | 2147483647 61534 60 | 0.190 % |
450.45/450.46 c | 801770 | 1087 176735 462650 | 61814 54340 52 | 0.191 % |
450.75/450.75 c | 802286 | 1087 176735 462650 | 61814 54856 51 | 0.190 % |
451.05/451.07 c | 802798 | 1087 176735 462650 | 61814 55368 51 | 0.190 % |
451.65/451.66 c | 803822 | 1087 176735 462650 | 61814 56392 51 | 0.190 % |
451.95/451.96 c | 804338 | 1087 176735 462650 | 61814 56908 51 | 0.190 % |
452.25/452.24 c | 804853 | 1087 176735 462650 | 61814 57423 51 | 0.190 % |
452.75/452.78 c | 805880 | 1087 176735 462650 | 61814 58450 51 | 0.190 % |
453.95/453.93 c | 807929 | 1087 176735 462650 | 61814 60499 50 | 0.190 % |
456.55/456.60 c | 812026 | 1087 176735 462650 | 54625 49467 50 | 0.190 % |
456.85/456.83 c | 812539 | 1087 176735 462650 | 54625 49980 51 | 0.184 % |
457.05/457.06 c | 813051 | 1087 176735 462650 | 54625 50492 51 | 0.184 % |
457.55/457.52 c | 814076 | 1087 176735 462650 | 54625 51517 53 | 0.184 % |
457.75/457.78 c | 814588 | 1087 176735 462650 | 54625 52029 54 | 0.184 % |
458.05/458.05 c | 815100 | 1087 176735 462650 | 54625 52541 55 | 0.184 % |
458.55/458.60 c | 816125 | 1087 176735 462650 | 54625 53566 54 | 0.190 % |
459.65/459.65 c | 818174 | 1087 176735 462650 | 54625 49552 50 | 0.190 % |
459.95/459.95 c | 818690 | 1087 176735 462650 | 54625 50068 50 | 0.190 % |
460.15/460.20 c | 819204 | 1087 176735 462650 | 54625 50582 50 | 0.190 % |
460.65/460.69 c | 820230 | 1087 176735 462650 | 51378 51608 50 | 0.190 % |
460.95/460.99 c | 820743 | 1087 176735 462650 | 51378 46826 49 | 0.190 % |
461.25/461.27 c | 821255 | 1087 176735 462650 | 51378 47338 48 | 0.190 % |
461.75/461.81 c | 822280 | 1087 176735 462650 | 51378 48363 48 | 0.190 % |
462.85/462.91 c | 824328 | 1087 176735 462650 | 51378 50411 48 | 0.190 % |
465.15/465.12 c | 828427 | 1087 176735 462650 | 51378 49096 48 | 0.190 % |
470.25/470.27 c | 836620 | 1087 176735 462650 | 50670 44008 46 | 0.190 % |
481.15/481.11 c | 853004 | 1087 176735 462650 | 44655 40984 41 | 0.190 % |
481.35/481.32 c | 853516 | 1087 176735 462650 | 44655 41496 42 | 0.184 % |
481.55/481.55 c | 854029 | 1087 176735 462650 | 44655 42009 43 | 0.184 % |
481.95/481.97 c | 855054 | 1087 176735 462650 | 44655 43034 44 | 0.184 % |
482.15/482.15 c | 855570 | 1087 176735 462650 | 44655 43550 45 | 0.184 % |
482.35/482.35 c | 856082 | 1087 176735 462650 | 44655 44062 47 | 0.184 % |
482.95/482.93 c | 857109 | 1087 176735 462650 | 44655 38817 49 | 0.184 % |
483.85/483.82 c | 859158 | 1087 176735 462650 | 44655 40866 49 | 0.190 % |
484.05/484.02 c | 859672 | 1087 176735 462650 | 44655 41380 49 | 0.190 % |
484.25/484.27 c | 860184 | 1087 176735 462650 | 41711 41892 50 | 0.184 % |
484.75/484.77 c | 861208 | 1087 176735 462650 | 41711 37842 50 | 0.191 % |
484.95/484.98 c | 861720 | 1087 176735 462650 | 41711 38354 50 | 0.190 % |
485.15/485.17 c | 862232 | 1087 176735 462650 | 41711 38866 50 | 0.190 % |
485.55/485.61 c | 863259 | 1087 176735 462650 | 41711 39893 49 | 0.190 % |
486.65/486.65 c | 865307 | 1087 176735 462650 | 41711 41941 49 | 0.191 % |
488.75/488.72 c | 869406 | 1087 176735 462650 | 41711 41846 50 | 0.190 % |
489.05/489.08 c | 869920 | 1087 176735 462650 | 41711 38176 51 | 0.190 % |
489.35/489.39 c | 870434 | 1087 176735 462650 | 2147483647 38690 51 | 0.190 % |
490.05/490.02 c | 871458 | 1087 176735 462650 | 2147483647 39714 51 | 0.190 % |
490.35/490.32 c | 871970 | 1087 176735 462650 | 2147483647 40226 50 | 0.190 % |
490.55/490.60 c | 872485 | 1087 176735 462650 | 2147483647 40741 50 | 0.190 % |
491.15/491.18 c | 873509 | 1087 176735 462650 | 2147483647 41765 50 | 0.190 % |
492.15/492.16 c | 875557 | 1087 176735 462650 | 2147483647 43813 53 | 0.184 % |
492.45/492.48 c | 876070 | 1087 176735 462650 | 2147483647 44326 54 | 0.184 % |
492.75/492.75 c | 876584 | 1087 176735 462650 | 2147483647 44840 55 | 0.184 % |
493.35/493.38 c | 877616 | 1087 176735 462650 | 2147483647 45872 57 | 0.184 % |
493.65/493.69 c | 878129 | 1087 176735 462650 | 2147483647 46385 57 | 0.184 % |
493.95/493.98 c | 878641 | 1087 176735 462650 | 2147483647 46897 57 | 0.190 % |
494.55/494.59 c | 879665 | 1087 176735 462650 | 2147483647 47921 57 | 0.190 % |
495.75/495.73 c | 881717 | 1087 176735 462650 | 2147483647 49973 56 | 0.190 % |
498.35/498.39 c | 885814 | 1087 176735 462650 | 2147483647 54070 55 | 0.190 % |
503.55/503.53 c | 894010 | 1087 176735 462650 | 58256 54270 55 | 0.190 % |
503.85/503.86 c | 894528 | 1087 176735 462650 | 58256 54788 55 | 0.184 % |
504.15/504.16 c | 895041 | 1087 176735 462650 | 58256 55301 56 | 0.184 % |
504.75/504.75 c | 896067 | 1087 176735 462650 | 58256 56327 57 | 0.184 % |
505.05/505.03 c | 896579 | 1087 176735 462650 | 58256 56839 58 | 0.184 % |
505.25/505.30 c | 897091 | 1087 176735 462650 | 58256 57351 59 | 0.184 % |
505.85/505.91 c | 898115 | 1087 176735 462650 | 58256 58375 60 | 0.184 % |
507.25/507.26 c | 900163 | 1087 176735 462650 | 51993 52156 61 | 0.184 % |
507.55/507.55 c | 900678 | 1087 176735 462650 | 51993 45377 58 | 0.190 % |
507.85/507.81 c | 901190 | 1087 176735 462650 | 51993 45889 57 | 0.190 % |
508.35/508.36 c | 902216 | 1087 176735 462650 | 51993 46915 57 | 0.190 % |
508.65/508.63 c | 902731 | 1087 176735 462650 | 51993 47430 57 | 0.190 % |
508.95/508.92 c | 903243 | 1087 176735 462650 | 51993 47942 57 | 0.190 % |
509.45/509.49 c | 904270 | 1087 176735 462650 | 51993 48969 57 | 0.190 % |
510.75/510.79 c | 906321 | 1087 176735 462650 | 51993 51020 56 | 0.190 % |
513.45/513.46 c | 910419 | 1087 176735 462650 | 47800 48219 56 | 0.190 % |
513.76/513.76 c | 910931 | 1087 176735 462650 | 47800 42082 54 | 0.190 % |
514.05/514.07 c | 911443 | 1087 176735 462650 | 47800 42594 54 | 0.190 % |
514.55/514.54 c | 912469 | 1087 176735 462650 | 47800 43620 54 | 0.190 % |
514.86/514.85 c | 912981 | 1087 176735 462650 | 47800 44132 53 | 0.190 % |
515.15/515.12 c | 913493 | 1087 176735 462650 | 47800 44644 53 | 0.191 % |
515.65/515.70 c | 914519 | 1087 176735 462650 | 47800 45670 53 | 0.190 % |
516.75/516.78 c | 916567 | 1087 176735 462650 | 47800 47718 55 | 0.184 % |
516.95/517.01 c | 917079 | 1087 176735 462650 | 47800 48230 56 | 0.184 % |
517.35/517.35 c | 917591 | 1087 176735 462650 | 47800 42552 55 | 0.184 % |
517.85/517.82 c | 918615 | 1087 176735 462650 | 47800 43576 58 | 0.184 % |
518.05/518.07 c | 919128 | 1087 176735 462650 | 47800 44089 58 | 0.184 % |
518.35/518.35 c | 919640 | 1087 176735 462650 | 47800 44601 58 | 0.190 % |
519.05/519.04 c | 920668 | 1087 176735 462650 | 44963 40155 59 | 0.190 % |
520.25/520.28 c | 922720 | 1087 176735 462650 | 44963 42207 59 | 0.190 % |
522.65/522.67 c | 926816 | 1087 176735 462650 | 44963 40574 59 | 0.190 % |
527.55/527.53 c | 935009 | 1087 176735 462650 | 43760 43020 51 | 0.190 % |
536.65/536.69 c | 951396 | 1087 176735 462650 | 40369 35755 70 | 0.184 % |
557.75/557.71 c | 984164 | 1087 176735 462650 | 36469 33548 56 | 0.190 % |
598.05/598.08 c | 1049700 | 1087 176735 462650 | 21424 20086 70 | 0.190 % |
686.36/686.40 c | 1180773 | 1087 176735 462650 | 27325 23919 86 | 0.184 % |
686.66/686.64 c | 1181285 | 1087 176735 462650 | 27325 24431 86 | 0.190 % |
686.86/686.91 c | 1181799 | 1087 176735 462650 | 27325 24945 85 | 0.190 % |
687.46/687.45 c | 1182824 | 1087 176735 462650 | 27325 25970 83 | 0.190 % |
687.76/687.79 c | 1183336 | 1087 176735 462650 | 27325 26482 82 | 0.190 % |
688.06/688.10 c | 1183851 | 1087 176735 462650 | 27325 26997 81 | 0.190 % |
688.66/688.69 c | 1184875 | 1087 176735 462650 | 27325 24549 75 | 0.190 % |
689.96/690.01 c | 1186924 | 1087 176735 462650 | 27325 26598 74 | 0.184 % |
690.36/690.36 c | 1187437 | 1087 176735 462650 | 27325 27111 73 | 0.190 % |
690.66/690.64 c | 1187950 | 1087 176735 462650 | 27325 27624 73 | 0.190 % |
691.16/691.17 c | 1188975 | 1087 176735 462650 | 27325 25161 67 | 0.190 % |
691.46/691.45 c | 1189488 | 1087 176735 462650 | 27325 25674 67 | 0.190 % |
691.76/691.73 c | 1190000 | 1087 176735 462650 | 27325 26186 66 | 0.190 % |
692.26/692.24 c | 1191030 | 1087 176735 462650 | 26186 24165 64 | 0.184 % |
692.96/692.98 c | 1193081 | 1087 176735 462650 | 26186 26216 69 | 0.184 % |
694.56/694.55 c | 1197177 | 1087 176735 462650 | 26186 25025 70 | 0.184 % |
694.76/694.78 c | 1197689 | 1087 176735 462650 | 26186 25537 71 | 0.184 % |
694.96/695.00 c | 1198202 | 1087 176735 462650 | 26186 26050 71 | 0.190 % |
695.46/695.43 c | 1199228 | 1087 176735 462650 | 26186 24394 68 | 0.190 % |
695.56/695.59 c | 1199740 | 1087 176735 462650 | 26186 24906 68 | 0.190 % |
695.76/695.77 c | 1200254 | 1087 176735 462650 | 2147483647 25420 67 | 0.190 % |
696.16/696.14 c | 1201278 | 1087 176735 462650 | 2147483647 26444 66 | 0.190 % |
696.96/696.92 c | 1203326 | 1087 176735 462650 | 2147483647 28492 64 | 0.190 % |
697.16/697.14 c | 1203839 | 1087 176735 462650 | 2147483647 29005 64 | 0.190 % |
697.36/697.35 c | 1204351 | 1087 176735 462650 | 2147483647 29517 63 | 0.190 % |
697.76/697.78 c | 1205375 | 1087 176735 462650 | 2147483647 30541 63 | 0.184 % |
697.96/697.98 c | 1205889 | 1087 176735 462650 | 2147483647 31055 63 | 0.190 % |
698.16/698.17 c | 1206401 | 1087 176735 462650 | 2147483647 31567 62 | 0.190 % |
698.56/698.61 c | 1207429 | 1087 176735 462650 | 2147483647 32595 62 | 0.190 % |
699.36/699.36 c | 1209479 | 1087 176735 462650 | 2147483647 34645 60 | 0.190 % |
700.86/700.86 c | 1213579 | 1087 176735 462650 | 2147483647 38745 58 | 0.184 % |
704.46/704.46 c | 1221772 | 1087 176735 462650 | 2147483647 46938 67 | 0.184 % |
704.76/704.71 c | 1222284 | 1087 176735 462650 | 2147483647 47450 66 | 0.184 % |
704.96/704.98 c | 1222800 | 1087 176735 462650 | 2147483647 47966 66 | 0.190 % |
705.46/705.49 c | 1223826 | 1087 176735 462650 | 2147483647 48992 65 | 0.184 % |
705.76/705.76 c | 1224338 | 1087 176735 462650 | 2147483647 49504 65 | 0.190 % |
705.96/706.01 c | 1224850 | 1087 176735 462650 | 2147483647 50016 65 | 0.190 % |
706.56/706.54 c | 1225877 | 1087 176735 462650 | 2147483647 51043 65 | 0.190 % |
707.56/707.58 c | 1227925 | 1087 176735 462650 | 2147483647 53091 64 | 0.190 % |
707.86/707.85 c | 1228440 | 1087 176735 462650 | 2147483647 53606 64 | 0.190 % |
708.06/708.09 c | 1228953 | 1087 176735 462650 | 2147483647 54119 64 | 0.190 % |
708.66/708.67 c | 1229978 | 1087 176735 462650 | 2147483647 55144 63 | 0.190 % |
708.86/708.90 c | 1230490 | 1087 176735 462650 | 2147483647 55656 63 | 0.190 % |
709.06/709.11 c | 1231003 | 1087 176735 462650 | 2147483647 56169 63 | 0.184 % |
709.66/709.64 c | 1232027 | 1087 176735 462650 | 2147483647 57193 64 | 0.184 % |
710.56/710.57 c | 1234076 | 1087 176735 462650 | 2147483647 59242 66 | 0.184 % |
713.16/713.14 c | 1238172 | 1087 176735 462650 | 2147483647 63338 70 | 0.184 % |
713.56/713.53 c | 1238685 | 1087 176735 462650 | 2147483647 63851 70 | 0.190 % |
713.86/713.91 c | 1239202 | 1087 176735 462650 | 2147483647 64368 70 | 0.190 % |
714.66/714.66 c | 1240226 | 1087 176735 462650 | 65168 65392 69 | 0.190 % |
715.06/715.03 c | 1240738 | 1087 176735 462650 | 65168 57098 71 | 0.190 % |
715.46/715.45 c | 1241251 | 1087 176735 462650 | 65168 57611 71 | 0.190 % |
716.26/716.26 c | 1242275 | 1087 176735 462650 | 65168 58635 70 | 0.190 % |
717.56/717.58 c | 1244324 | 1087 176735 462650 | 65168 60684 70 | 0.190 % |
717.86/717.86 c | 1244839 | 1087 176735 462650 | 65168 61199 70 | 0.190 % |
718.16/718.16 c | 1245352 | 1087 176735 462650 | 65168 61712 69 | 0.190 % |
718.86/718.84 c | 1246376 | 1087 176735 462650 | 65168 62736 69 | 0.190 % |
719.16/719.17 c | 1246888 | 1087 176735 462650 | 65168 63248 69 | 0.190 % |
719.46/719.49 c | 1247400 | 1087 176735 462650 | 65168 63760 68 | 0.190 % |
720.16/720.20 c | 1248424 | 1087 176735 462650 | 65168 64784 68 | 0.190 % |
721.46/721.51 c | 1250474 | 1087 176735 462650 | 55667 47395 65 | 0.184 % |
723.66/723.68 c | 1254570 | 1087 176735 462650 | 55667 51491 63 | 0.190 % |
728.66/728.69 c | 1262767 | 1087 176735 462650 | 48657 44029 70 | 0.184 % |
739.86/739.90 c | 1279155 | 1087 176735 462650 | 42932 36799 62 | 0.190 % |
740.37/740.33 c | 1279668 | 1087 176735 462650 | 42932 37312 62 | 0.190 % |
740.76/740.78 c | 1280181 | 1087 176735 462650 | 37646 37825 61 | 0.190 % |
741.56/741.53 c | 1281205 | 1087 176735 462650 | 37646 31804 65 | 0.190 % |
741.86/741.91 c | 1281718 | 1087 176735 462650 | 37646 32317 65 | 0.184 % |
742.26/742.24 c | 1282232 | 1087 176735 462650 | 37646 32831 64 | 0.190 % |
742.76/742.77 c | 1283261 | 1087 176735 462650 | 37646 33860 64 | 0.184 % |
743.67/743.63 c | 1285310 | 1087 176735 462650 | 37646 35909 63 | 0.190 % |
743.86/743.91 c | 1285822 | 1087 176735 462650 | 37646 36421 63 | 0.184 % |
744.16/744.19 c | 1286334 | 1087 176735 462650 | 37646 36933 63 | 0.191 % |
744.66/744.66 c | 1287359 | 1087 176735 462650 | 37646 37958 62 | 0.191 % |
744.96/744.92 c | 1287871 | 1087 176735 462650 | 37646 33592 53 | 0.190 % |
745.16/745.12 c | 1288384 | 1087 176735 462650 | 37646 34105 53 | 0.190 % |
745.56/745.57 c | 1289411 | 1087 176735 462650 | 37646 35132 52 | 0.191 % |
746.46/746.45 c | 1291460 | 1087 176735 462650 | 35721 33425 45 | 0.190 % |
748.16/748.13 c | 1295556 | 1087 176735 462650 | 35721 33893 43 | 0.190 % |
748.36/748.39 c | 1296069 | 1087 176735 462650 | 35721 34406 44 | 0.184 % |
748.56/748.57 c | 1296582 | 1087 176735 462650 | 35721 34919 45 | 0.184 % |
748.96/748.93 c | 1297606 | 1087 176735 462650 | 35721 35943 46 | 0.184 % |
749.17/749.15 c | 1298122 | 1087 176735 462650 | 35721 32865 45 | 0.190 % |
749.36/749.35 c | 1298635 | 1087 176735 462650 | 35721 33378 45 | 0.190 % |
749.76/749.77 c | 1299659 | 1087 176735 462650 | 35721 34402 45 | 0.190 % |
750.56/750.52 c | 1301707 | 1087 176735 462650 | 2147483647 36450 45 | 0.190 % |
750.76/750.75 c | 1302219 | 1087 176735 462650 | 2147483647 36962 44 | 0.190 % |
750.96/750.91 c | 1302733 | 1087 176735 462650 | 2147483647 37476 44 | 0.190 % |
751.26/751.30 c | 1303761 | 1087 176735 462650 | 2147483647 38504 44 | 0.190 % |
751.56/751.51 c | 1304274 | 1087 176735 462650 | 2147483647 39017 44 | 0.190 % |
751.76/751.76 c | 1304786 | 1087 176735 462650 | 2147483647 39529 44 | 0.190 % |
752.16/752.18 c | 1305811 | 1087 176735 462650 | 2147483647 40554 44 | 0.190 % |
753.06/753.03 c | 1307859 | 1087 176735 462650 | 2147483647 42602 44 | 0.190 % |
755.06/755.02 c | 1311958 | 1087 176735 462650 | 2147483647 46701 43 | 0.190 % |
759.46/759.43 c | 1320155 | 1087 176735 462650 | 2147483647 54898 43 | 0.190 % |
759.66/759.69 c | 1320670 | 1087 176735 462650 | 2147483647 55413 43 | 0.190 % |
759.96/759.96 c | 1321184 | 1087 176735 462650 | 2147483647 55927 43 | 0.190 % |
760.56/760.53 c | 1322208 | 1087 176735 462650 | 2147483647 56951 43 | 0.190 % |
760.76/760.81 c | 1322721 | 1087 176735 462650 | 2147483647 57464 43 | 0.190 % |
761.06/761.03 c | 1323233 | 1087 176735 462650 | 2147483647 57976 43 | 0.190 % |
761.46/761.47 c | 1324257 | 1087 176735 462650 | 2147483647 59000 44 | 0.190 % |
762.56/762.53 c | 1326306 | 1087 176735 462650 | 2147483647 61049 44 | 0.190 % |
762.76/762.77 c | 1326821 | 1087 176735 462650 | 2147483647 61564 44 | 0.190 % |
763.06/763.03 c | 1327335 | 1087 176735 462650 | 2147483647 62078 44 | 0.190 % |
763.56/763.51 c | 1328360 | 1087 176735 462650 | 2147483647 63103 44 | 0.191 % |
763.76/763.75 c | 1328877 | 1087 176735 462650 | 2147483647 63620 44 | 0.184 % |
763.96/764.00 c | 1329391 | 1087 176735 462650 | 2147483647 64134 44 | 0.190 % |
764.57/764.54 c | 1330416 | 1087 176735 462650 | 2147483647 65159 44 | 0.190 % |
765.67/765.64 c | 1332464 | 1087 176735 462650 | 2147483647 67207 44 | 0.190 % |
767.96/767.95 c | 1336560 | 1087 176735 462650 | 2147483647 71303 44 | 0.190 % |
768.26/768.23 c | 1337076 | 1087 176735 462650 | 2147483647 71819 45 | 0.184 % |
768.46/768.48 c | 1337588 | 1087 176735 462650 | 2147483647 72331 45 | 0.184 % |
769.06/769.05 c | 1338613 | 1087 176735 462650 | 2147483647 73356 47 | 0.184 % |
769.36/769.33 c | 1339125 | 1087 176735 462650 | 2147483647 73868 47 | 0.184 % |
769.66/769.65 c | 1339637 | 1087 176735 462650 | 2147483647 74380 47 | 0.190 % |
770.46/770.43 c | 1340661 | 1087 176735 462650 | 74746 66530 46 | 0.190 % |
771.56/771.58 c | 1342710 | 1087 176735 462650 | 74746 68579 46 | 0.190 % |
771.86/771.90 c | 1343222 | 1087 176735 462650 | 74746 69091 46 | 0.190 % |
772.16/772.16 c | 1343735 | 1087 176735 462650 | 74746 69604 46 | 0.190 % |
772.76/772.72 c | 1344759 | 1087 176735 462650 | 74746 70628 46 | 0.190 % |
773.06/773.01 c | 1345275 | 1087 176735 462650 | 74746 71144 46 | 0.190 % |
773.37/773.32 c | 1345787 | 1087 176735 462650 | 74746 71656 46 | 0.190 % |
773.86/773.91 c | 1346812 | 1087 176735 462650 | 74746 72681 46 | 0.190 % |
775.26/775.22 c | 1348863 | 1087 176735 462650 | 74746 74732 46 | 0.190 % |
778.16/778.13 c | 1352960 | 1087 176735 462650 | 66304 60752 45 | 0.190 % |
783.36/783.36 c | 1361152 | 1087 176735 462650 | 58092 50783 47 | 0.190 % |
793.97/794.02 c | 1377537 | 1087 176735 462650 | 50883 50796 49 | 0.190 % |
811.57/811.56 c | 1410306 | 1087 176735 462650 | 32141 32446 99 | 0.184 % |
811.87/811.83 c | 1410823 | 1087 176735 462650 | 32141 27282 93 | 0.190 % |
812.17/812.12 c | 1411337 | 1087 176735 462650 | 32141 27796 92 | 0.190 % |
812.57/812.56 c | 1412361 | 1087 176735 462650 | 32141 28820 90 | 0.190 % |
812.87/812.87 c | 1412874 | 1087 176735 462650 | 32141 29333 89 | 0.190 % |
813.17/813.14 c | 1413391 | 1087 176735 462650 | 32141 29850 88 | 0.190 % |
813.67/813.70 c | 1414417 | 1087 176735 462650 | 32141 30876 87 | 0.190 % |
814.67/814.70 c | 1416467 | 1087 176735 462650 | 32141 28522 81 | 0.190 % |
814.97/814.97 c | 1416982 | 1087 176735 462650 | 32141 29037 80 | 0.190 % |
815.27/815.26 c | 1417496 | 1087 176735 462650 | 32141 29551 79 | 0.190 % |
815.87/815.84 c | 1418520 | 1087 176735 462650 | 32141 30575 77 | 0.190 % |
816.07/816.11 c | 1419035 | 1087 176735 462650 | 32141 31090 78 | 0.184 % |
816.37/816.35 c | 1419548 | 1087 176735 462650 | 32141 31603 79 | 0.184 % |
816.97/816.95 c | 1420574 | 1087 176735 462650 | 32055 29081 77 | 0.184 % |
817.97/817.95 c | 1422623 | 1087 176735 462650 | 32055 31130 83 | 0.184 % |
819.97/819.94 c | 1426720 | 1087 176735 462650 | 32055 31967 78 | 0.184 % |
820.17/820.21 c | 1427232 | 1087 176735 462650 | 32055 32479 78 | 0.190 % |
820.47/820.50 c | 1427745 | 1087 176735 462650 | 32055 29745 74 | 0.190 % |
820.97/821.00 c | 1428771 | 1087 176735 462650 | 32055 30771 73 | 0.190 % |
821.27/821.23 c | 1429283 | 1087 176735 462650 | 32055 31283 73 | 0.190 % |
821.47/821.47 c | 1429798 | 1087 176735 462650 | 32055 31798 72 | 0.190 % |
822.07/822.03 c | 1430822 | 1087 176735 462650 | 2147483647 32822 71 | 0.190 % |
822.97/822.92 c | 1432870 | 1087 176735 462650 | 2147483647 34870 70 | 0.190 % |
823.17/823.19 c | 1433384 | 1087 176735 462650 | 2147483647 35384 70 | 0.190 % |
823.47/823.43 c | 1433896 | 1087 176735 462650 | 2147483647 35896 69 | 0.190 % |
823.97/823.97 c | 1434920 | 1087 176735 462650 | 2147483647 36920 68 | 0.190 % |
824.27/824.22 c | 1435432 | 1087 176735 462650 | 2147483647 37432 68 | 0.190 % |
824.57/824.54 c | 1435950 | 1087 176735 462650 | 2147483647 37950 67 | 0.190 % |
825.17/825.14 c | 1436974 | 1087 176735 462650 | 2147483647 38974 67 | 0.190 % |
826.27/826.24 c | 1439027 | 1087 176735 462650 | 2147483647 41027 66 | 0.190 % |
828.47/828.43 c | 1443123 | 1087 176735 462650 | 2147483647 45123 71 | 0.184 % |
833.47/833.44 c | 1451315 | 1087 176735 462650 | 52000 46152 65 | 0.184 % |
833.77/833.75 c | 1451827 | 1087 176735 462650 | 52000 46664 64 | 0.190 % |
834.07/834.12 c | 1452339 | 1087 176735 462650 | 52000 47176 64 | 0.190 % |
834.77/834.80 c | 1453363 | 1087 176735 462650 | 52000 48200 64 | 0.190 % |
835.17/835.14 c | 1453876 | 1087 176735 462650 | 52000 48713 64 | 0.190 % |
835.47/835.50 c | 1454388 | 1087 176735 462650 | 52000 49225 63 | 0.190 % |
835.97/836.02 c | 1455415 | 1087 176735 462650 | 52000 50252 63 | 0.190 % |
837.37/837.38 c | 1457466 | 1087 176735 462650 | 52000 52303 62 | 0.184 % |
837.77/837.78 c | 1457978 | 1087 176735 462650 | 52000 44428 64 | 0.190 % |
838.07/838.09 c | 1458490 | 1087 176735 462650 | 52000 44940 64 | 0.190 % |
838.77/838.76 c | 1459516 | 1087 176735 462650 | 52000 45966 63 | 0.190 % |
839.07/839.07 c | 1460029 | 1087 176735 462650 | 46450 46479 64 | 0.184 % |
839.37/839.38 c | 1460542 | 1087 176735 462650 | 46450 39514 56 | 0.184 % |
839.77/839.76 c | 1461566 | 1087 176735 462650 | 46450 40538 58 | 0.184 % |
840.77/840.77 c | 1463619 | 1087 176735 462650 | 46450 42591 62 | 0.184 % |
842.87/842.91 c | 1467719 | 1087 176735 462650 | 46450 46691 62 | 0.190 % |
843.27/843.25 c | 1468231 | 1087 176735 462650 | 46450 41661 64 | 0.190 % |
843.57/843.53 c | 1468744 | 1087 176735 462650 | 46450 42174 63 | 0.190 % |
844.07/844.07 c | 1469768 | 1087 176735 462650 | 46450 43198 63 | 0.184 % |
844.37/844.39 c | 1470281 | 1087 176735 462650 | 43430 43711 63 | 0.190 % |
844.77/844.73 c | 1470795 | 1087 176735 462650 | 43430 39244 65 | 0.190 % |
845.27/845.31 c | 1471821 | 1087 176735 462650 | 43430 40270 64 | 0.190 % |
846.47/846.52 c | 1473870 | 1087 176735 462650 | 43430 42319 63 | 0.190 % |
846.77/846.80 c | 1474383 | 1087 176735 462650 | 43430 42832 63 | 0.190 % |
847.07/847.09 c | 1474895 | 1087 176735 462650 | 43430 43344 63 | 0.190 % |
847.77/847.73 c | 1475920 | 1087 176735 462650 | 43430 39069 57 | 0.190 % |
847.97/847.96 c | 1476433 | 1087 176735 462650 | 43430 39582 57 | 0.190 % |
848.17/848.18 c | 1476948 | 1087 176735 462650 | 43430 40097 57 | 0.190 % |
848.67/848.71 c | 1477974 | 1087 176735 462650 | 43430 41123 57 | 0.190 % |
849.77/849.80 c | 1480023 | 1087 176735 462650 | 43149 43172 57 | 0.190 % |
851.97/851.97 c | 1484121 | 1087 176735 462650 | 43149 42715 61 | 0.184 % |
856.27/856.31 c | 1492316 | 1087 176735 462650 | 39856 37635 67 | 0.184 % |
865.97/865.98 c | 1508700 | 1087 176735 462650 | 35498 35827 62 | 0.190 % |
866.37/866.33 c | 1509213 | 1087 176735 462650 | 35498 31890 57 | 0.190 % |
866.67/866.64 c | 1509725 | 1087 176735 462650 | 35498 32402 57 | 0.184 % |
867.17/867.20 c | 1510752 | 1087 176735 462650 | 32677 29429 52 | 0.190 % |
867.37/867.41 c | 1511265 | 1087 176735 462650 | 32677 29942 52 | 0.190 % |
867.57/867.60 c | 1511777 | 1087 176735 462650 | 32677 30454 52 | 0.190 % |
868.07/868.04 c | 1512802 | 1087 176735 462650 | 32677 31479 52 | 0.190 % |
868.87/868.84 c | 1514850 | 1087 176735 462650 | 32677 30212 49 | 0.190 % |
869.08/869.03 c | 1515362 | 1087 176735 462650 | 32677 30724 49 | 0.190 % |
869.17/869.20 c | 1515874 | 1087 176735 462650 | 32677 31236 49 | 0.190 % |
869.57/869.56 c | 1516900 | 1087 176735 462650 | 32677 32262 49 | 0.190 % |
869.77/869.79 c | 1517413 | 1087 176735 462650 | 32677 32775 49 | 0.190 % |
870.07/870.02 c | 1517925 | 1087 176735 462650 | 32677 30010 46 | 0.184 % |
870.37/870.37 c | 1518950 | 1087 176735 462650 | 32677 31035 46 | 0.190 % |
871.17/871.21 c | 1520999 | 1087 176735 462650 | 2147483647 33084 46 | 0.190 % |
873.07/873.07 c | 1525095 | 1087 176735 462650 | 2147483647 37180 47 | 0.184 % |
873.27/873.24 c | 1525608 | 1087 176735 462650 | 2147483647 37693 48 | 0.184 % |
873.48/873.48 c | 1526121 | 1087 176735 462650 | 2147483647 38206 48 | 0.190 % |
873.97/873.96 c | 1527146 | 1087 176735 462650 | 2147483647 39231 48 | 0.190 % |
874.17/874.18 c | 1527659 | 1087 176735 462650 | 2147483647 39744 48 | 0.190 % |
874.37/874.40 c | 1528173 | 1087 176735 462650 | 2147483647 40258 48 | 0.190 % |
874.87/874.88 c | 1529199 | 1087 176735 462650 | 2147483647 41284 48 | 0.190 % |
875.97/875.97 c | 1531247 | 1087 176735 462650 | 2147483647 43332 48 | 0.190 % |
876.27/876.28 c | 1531759 | 1087 176735 462650 | 2147483647 43844 48 | 0.190 % |
876.57/876.57 c | 1532271 | 1087 176735 462650 | 2147483647 44356 48 | 0.190 % |
877.17/877.19 c | 1533299 | 1087 176735 462650 | 2147483647 45384 48 | 0.190 % |
877.57/877.53 c | 1533811 | 1087 176735 462650 | 2147483647 45896 48 | 0.190 % |
877.88/877.88 c | 1534324 | 1087 176735 462650 | 2147483647 46409 48 | 0.190 % |
878.57/878.61 c | 1535348 | 1087 176735 462650 | 2147483647 47433 48 | 0.190 % |
880.08/880.06 c | 1537398 | 1087 176735 462650 | 2147483647 49483 47 | 0.190 % |
882.87/882.89 c | 1541502 | 1087 176735 462650 | 2147483647 53587 46 | 0.190 % |
886.77/886.74 c | 1549694 | 1087 176735 462650 | 2147483647 61779 53 | 0.184 % |
887.07/887.04 c | 1550211 | 1087 176735 462650 | 62090 62296 53 | 0.190 % |
887.37/887.41 c | 1550723 | 1087 176735 462650 | 62090 54648 54 | 0.190 % |
887.87/887.89 c | 1551747 | 1087 176735 462650 | 62090 55672 54 | 0.190 % |
888.17/888.15 c | 1552259 | 1087 176735 462650 | 62090 56184 54 | 0.190 % |
888.47/888.44 c | 1552771 | 1087 176735 462650 | 62090 56696 54 | 0.190 % |
888.97/888.97 c | 1553795 | 1087 176735 462650 | 62090 57720 54 | 0.190 % |
890.07/890.06 c | 1555843 | 1087 176735 462650 | 62090 59768 53 | 0.190 % |
890.27/890.27 c | 1556357 | 1087 176735 462650 | 62090 60282 53 | 0.190 % |
890.47/890.50 c | 1556870 | 1087 176735 462650 | 62090 60795 53 | 0.190 % |
890.97/890.99 c | 1557895 | 1087 176735 462650 | 62090 61820 53 | 0.190 % |
891.27/891.23 c | 1558410 | 1087 176735 462650 | 62090 62335 53 | 0.190 % |
891.57/891.55 c | 1558924 | 1087 176735 462650 | 62090 55490 52 | 0.190 % |
892.07/892.02 c | 1559948 | 1087 176735 462650 | 62090 56514 51 | 0.190 % |
893.17/893.17 c | 1561997 | 1087 176735 462650 | 56566 50921 52 | 0.184 % |
895.67/895.62 c | 1566095 | 1087 176735 462650 | 56566 55019 51 | 0.190 % |
895.87/895.88 c | 1566607 | 1087 176735 462650 | 56566 55531 52 | 0.184 % |
896.17/896.13 c | 1567119 | 1087 176735 462650 | 56566 56043 52 | 0.184 % |
896.77/896.72 c | 1568143 | 1087 176735 462650 | 56566 57067 51 | 0.190 % |
897.07/897.07 c | 1568657 | 1087 176735 462650 | 56566 50564 51 | 0.190 % |
897.37/897.33 c | 1569170 | 1087 176735 462650 | 56566 51077 51 | 0.190 % |
897.87/897.89 c | 1570197 | 1087 176735 462650 | 51908 52104 51 | 0.190 % |
899.07/899.10 c | 1572245 | 1087 176735 462650 | 51908 47910 49 | 0.190 % |
899.37/899.38 c | 1572759 | 1087 176735 462650 | 51908 48424 49 | 0.190 % |
899.67/899.68 c | 1573274 | 1087 176735 462650 | 51908 48939 49 | 0.190 % |
900.17/900.20 c | 1574298 | 1087 176735 462650 | 51908 49963 49 | 0.190 % |
900.47/900.46 c | 1574810 | 1087 176735 462650 | 51908 50475 49 | 0.190 % |
900.78/900.75 c | 1575323 | 1087 176735 462650 | 51908 50988 49 | 0.190 % |
901.28/901.30 c | 1576349 | 1087 176735 462650 | 51908 52014 49 | 0.190 % |
902.48/902.50 c | 1578398 | 1087 176735 462650 | 51908 48694 49 | 0.190 % |
904.58/904.59 c | 1582494 | 1087 176735 462650 | 2147483647 52790 48 | 0.190 % |
908.98/909.02 c | 1590686 | 1087 176735 462650 | 60296 53834 47 | 0.190 % |
918.67/918.63 c | 1607070 | 1087 176735 462650 | 54947 54057 42 | 0.190 % |
938.97/939.00 c | 1639838 | 1087 176735 462650 | 38691 33931 97 | 0.184 % |
977.17/977.21 c | 1705378 | 1087 176735 462650 | 35407 35418 46 | 0.184 % |
977.57/977.52 c | 1705892 | 1087 176735 462650 | 35407 30711 45 | 0.190 % |
977.77/977.71 c | 1706404 | 1087 176735 462650 | 35407 31223 45 | 0.184 % |
978.07/978.07 c | 1707429 | 1087 176735 462650 | 35407 32248 45 | 0.190 % |
978.27/978.27 c | 1707945 | 1087 176735 462650 | 35407 32764 44 | 0.190 % |
978.47/978.46 c | 1708458 | 1087 176735 462650 | 35407 33277 44 | 0.190 % |
978.87/978.86 c | 1709482 | 1087 176735 462650 | 35407 34301 45 | 0.190 % |
979.57/979.57 c | 1711531 | 1087 176735 462650 | 34820 32812 43 | 0.190 % |
979.77/979.75 c | 1712045 | 1087 176735 462650 | 34820 33326 44 | 0.184 % |
979.97/979.94 c | 1712558 | 1087 176735 462650 | 34820 33839 45 | 0.184 % |
980.27/980.30 c | 1713582 | 1087 176735 462650 | 34820 34863 47 | 0.184 % |
980.57/980.51 c | 1714095 | 1087 176735 462650 | 34820 31890 47 | 0.184 % |
980.67/980.70 c | 1714607 | 1087 176735 462650 | 34820 32402 48 | 0.184 % |
981.17/981.15 c | 1715632 | 1087 176735 462650 | 34820 33427 48 | 0.190 % |
982.07/982.02 c | 1717681 | 1087 176735 462650 | 34820 31955 48 | 0.184 % |
983.77/983.77 c | 1721778 | 1087 176735 462650 | 2147483647 36052 47 | 0.190 % |
984.07/984.01 c | 1722290 | 1087 176735 462650 | 2147483647 36564 47 | 0.190 % |
984.27/984.21 c | 1722802 | 1087 176735 462650 | 2147483647 37076 47 | 0.190 % |
984.67/984.64 c | 1723827 | 1087 176735 462650 | 2147483647 38101 47 | 0.190 % |
984.87/984.86 c | 1724342 | 1087 176735 462650 | 2147483647 38616 46 | 0.190 % |
985.07/985.09 c | 1724854 | 1087 176735 462650 | 2147483647 39128 46 | 0.184 % |
985.57/985.58 c | 1725881 | 1087 176735 462650 | 2147483647 40155 46 | 0.190 % |
986.47/986.42 c | 1727930 | 1087 176735 462650 | 2147483647 42204 46 | 0.184 % |
986.67/986.65 c | 1728444 | 1087 176735 462650 | 2147483647 42718 45 | 0.190 % |
986.87/986.91 c | 1728960 | 1087 176735 462650 | 2147483647 43234 45 | 0.190 % |
987.37/987.37 c | 1729985 | 1087 176735 462650 | 2147483647 44259 45 | 0.190 % |
987.57/987.60 c | 1730497 | 1087 176735 462650 | 2147483647 44771 45 | 0.190 % |
987.77/987.81 c | 1731011 | 1087 176735 462650 | 2147483647 45285 45 | 0.190 % |
988.27/988.24 c | 1732037 | 1087 176735 462650 | 2147483647 46311 47 | 0.184 % |
988.98/989.01 c | 1734088 | 1087 176735 462650 | 2147483647 48362 50 | 0.184 % |
990.77/990.77 c | 1738185 | 1087 176735 462650 | 2147483647 52459 56 | 0.184 % |
995.37/995.38 c | 1746379 | 1087 176735 462650 | 2147483647 60653 57 | 0.190 % |
995.67/995.69 c | 1746893 | 1087 176735 462650 | 2147483647 61167 57 | 0.190 % |
996.07/996.02 c | 1747406 | 1087 176735 462650 | 2147483647 61680 57 | 0.190 % |
996.68/996.66 c | 1748434 | 1087 176735 462650 | 2147483647 62708 57 | 0.190 % |
996.97/996.98 c | 1748946 | 1087 176735 462650 | 2147483647 63220 56 | 0.190 % |
997.27/997.30 c | 1749458 | 1087 176735 462650 | 2147483647 63732 56 | 0.190 % |
998.17/998.17 c | 1750482 | 1087 176735 462650 | 64274 56023 58 | 0.190 % |
999.47/999.49 c | 1752531 | 1087 176735 462650 | 64274 58072 57 | 0.190 % |
999.77/999.79 c | 1753043 | 1087 176735 462650 | 64274 58584 58 | 0.184 % |
1000.07/1000.07 c | 1753555 | 1087 176735 462650 | 64274 59096 58 | 0.184 % |
1000.57/1000.57 c | 1754580 | 1087 176735 462650 | 64274 60121 60 | 0.184 % |
1000.87/1000.87 c | 1755092 | 1087 176735 462650 | 64274 60633 61 | 0.184 % |
1001.17/1001.18 c | 1755605 | 1087 176735 462650 | 64274 61146 61 | 0.184 % |
1001.77/1001.79 c | 1756629 | 1087 176735 462650 | 64274 62170 62 | 0.184 % |
1003.17/1003.16 c | 1758679 | 1087 176735 462650 | 64274 64220 61 | 0.190 % |
1005.97/1005.93 c | 1762775 | 1087 176735 462650 | 56492 51050 61 | 0.190 % |
1006.27/1006.29 c | 1763292 | 1087 176735 462650 | 56492 51567 61 | 0.190 % |
1006.58/1006.61 c | 1763805 | 1087 176735 462650 | 56492 52080 61 | 0.190 % |
1007.27/1007.30 c | 1764829 | 1087 176735 462650 | 56492 53104 61 | 0.190 % |
1007.57/1007.57 c | 1765341 | 1087 176735 462650 | 56492 53616 60 | 0.190 % |
1007.87/1007.83 c | 1765853 | 1087 176735 462650 | 56492 54128 60 | 0.184 % |
1008.47/1008.41 c | 1766878 | 1087 176735 462650 | 56492 55153 60 | 0.190 % |
1009.67/1009.67 c | 1768929 | 1087 176735 462650 | 56492 48619 63 | 0.190 % |
1009.97/1009.99 c | 1769441 | 1087 176735 462650 | 56492 49131 63 | 0.190 % |
1010.37/1010.36 c | 1769953 | 1087 176735 462650 | 56492 49643 62 | 0.190 % |
1011.07/1011.04 c | 1770977 | 1087 176735 462650 | 49690 43323 62 | 0.190 % |
1011.37/1011.33 c | 1771492 | 1087 176735 462650 | 49690 43838 62 | 0.190 % |
1011.67/1011.63 c | 1772006 | 1087 176735 462650 | 49690 44352 61 | 0.184 % |
1012.17/1012.17 c | 1773033 | 1087 176735 462650 | 49690 45379 62 | 0.184 % |
1013.27/1013.28 c | 1775083 | 1087 176735 462650 | 49690 47429 65 | 0.184 % |
1015.28/1015.31 c | 1779179 | 1087 176735 462650 | 49690 45189 67 | 0.184 % |
1020.58/1020.59 c | 1787372 | 1087 176735 462650 | 46012 41096 69 | 0.184 % |
1031.58/1031.61 c | 1803756 | 1087 176735 462650 | 40807 37983 65 | 0.190 % |
1031.98/1031.99 c | 1804268 | 1087 176735 462650 | 40807 38495 64 | 0.190 % |
1032.38/1032.38 c | 1804781 | 1087 176735 462650 | 40807 39008 64 | 0.190 % |
1033.18/1033.18 c | 1805808 | 1087 176735 462650 | 40807 40035 63 | 0.190 % |
1033.58/1033.52 c | 1806320 | 1087 176735 462650 | 40807 40547 63 | 0.190 % |
1033.98/1033.97 c | 1806832 | 1087 176735 462650 | 40807 41059 63 | 0.190 % |
1034.88/1034.84 c | 1807858 | 1087 176735 462650 | 40807 34786 47 | 0.190 % |
1036.38/1036.34 c | 1809908 | 1087 176735 462650 | 40807 36836 46 | 0.190 % |
1036.78/1036.74 c | 1810421 | 1087 176735 462650 | 36930 37349 46 | 0.190 % |
1037.08/1037.12 c | 1810935 | 1087 176735 462650 | 36930 31200 42 | 0.190 % |
1037.78/1037.76 c | 1811959 | 1087 176735 462650 | 36930 32224 42 | 0.190 % |
1038.18/1038.13 c | 1812471 | 1087 176735 462650 | 36930 32736 42 | 0.190 % |
1038.48/1038.50 c | 1812984 | 1087 176735 462650 | 36930 33249 42 | 0.190 % |
1039.18/1039.16 c | 1814008 | 1087 176735 462650 | 36930 34273 42 | 0.190 % |
1039.98/1039.92 c | 1816058 | 1087 176735 462650 | 36930 36323 47 | 0.184 % |
1041.78/1041.81 c | 1820157 | 1087 176735 462650 | 35376 35532 53 | 0.184 % |
1042.18/1042.12 c | 1820669 | 1087 176735 462650 | 35376 32115 54 | 0.184 % |
1042.38/1042.34 c | 1821181 | 1087 176735 462650 | 35376 32627 53 | 0.190 % |
1042.88/1042.82 c | 1822205 | 1087 176735 462650 | 35376 33651 53 | 0.190 % |
1043.08/1043.07 c | 1822717 | 1087 176735 462650 | 35376 34163 53 | 0.190 % |
1043.38/1043.32 c | 1823232 | 1087 176735 462650 | 35376 34678 52 | 0.190 % |
1043.68/1043.71 c | 1824259 | 1087 176735 462650 | 35376 35705 52 | 0.190 % |
1044.58/1044.58 c | 1826307 | 1087 176735 462650 | 35376 34183 50 | 0.190 % |
1044.78/1044.77 c | 1826820 | 1087 176735 462650 | 35376 34696 50 | 0.190 % |
1044.98/1044.97 c | 1827332 | 1087 176735 462650 | 35376 35208 50 | 0.190 % |
1045.48/1045.46 c | 1828356 | 1087 176735 462650 | 35376 32648 50 | 0.190 % |
1045.68/1045.68 c | 1828868 | 1087 176735 462650 | 35376 33160 50 | 0.190 % |
1045.88/1045.88 c | 1829380 | 1087 176735 462650 | 35376 33672 50 | 0.190 % |
1046.28/1046.31 c | 1830404 | 1087 176735 462650 | 2147483647 34696 49 | 0.190 % |
1047.17/1047.12 c | 1832453 | 1087 176735 462650 | 2147483647 36745 50 | 0.184 % |
1049.17/1049.15 c | 1836549 | 1087 176735 462650 | 2147483647 40841 50 | 0.190 % |
1053.37/1053.39 c | 1844741 | 1087 176735 462650 | 2147483647 49033 61 | 0.184 % |
1053.67/1053.66 c | 1845256 | 1087 176735 462650 | 2147483647 49548 61 | 0.190 % |
1053.87/1053.89 c | 1845768 | 1087 176735 462650 | 2147483647 50060 61 | 0.190 % |
1054.37/1054.39 c | 1846795 | 1087 176735 462650 | 2147483647 51087 60 | 0.190 % |
1054.67/1054.64 c | 1847310 | 1087 176735 462650 | 2147483647 51602 60 | 0.190 % |
1054.97/1054.98 c | 1847824 | 1087 176735 462650 | 2147483647 52116 60 | 0.190 % |
1055.67/1055.67 c | 1848849 | 1087 176735 462650 | 2147483647 53141 60 | 0.190 % |
1056.97/1057.01 c | 1850897 | 1087 176735 462650 | 2147483647 55189 59 | 0.190 % |
1057.27/1057.29 c | 1851414 | 1087 176735 462650 | 2147483647 55706 59 | 0.190 % |
1057.67/1057.61 c | 1851928 | 1087 176735 462650 | 2147483647 56220 59 | 0.190 % |
1058.27/1058.24 c | 1852952 | 1087 176735 462650 | 2147483647 57244 59 | 0.191 % |
1058.57/1058.59 c | 1853465 | 1087 176735 462650 | 2147483647 57757 59 | 0.191 % |
1058.97/1058.91 c | 1853977 | 1087 176735 462650 | 2147483647 58269 58 | 0.190 % |
1059.57/1059.59 c | 1855009 | 1087 176735 462650 | 2147483647 59301 58 | 0.190 % |
1060.77/1060.71 c | 1857057 | 1087 176735 462650 | 2147483647 61349 60 | 0.184 % |
1063.37/1063.40 c | 1861155 | 1087 176735 462650 | 64294 57044 68 | 0.184 % |
1063.77/1063.79 c | 1861668 | 1087 176735 462650 | 64294 57557 68 | 0.184 % |
1064.17/1064.17 c | 1862183 | 1087 176735 462650 | 64294 58072 67 | 0.190 % |
1064.97/1064.93 c | 1863207 | 1087 176735 462650 | 64294 59096 67 | 0.190 % |
1065.27/1065.28 c | 1863724 | 1087 176735 462650 | 64294 59613 67 | 0.190 % |
1065.57/1065.60 c | 1864236 | 1087 176735 462650 | 64294 60125 67 | 0.190 % |
1066.27/1066.28 c | 1865262 | 1087 176735 462650 | 64294 61151 66 | 0.190 % |
1067.77/1067.72 c | 1867310 | 1087 176735 462650 | 64294 63199 66 | 0.190 % |
1068.17/1068.13 c | 1867822 | 1087 176735 462650 | 64294 63711 65 | 0.190 % |
1068.57/1068.54 c | 1868334 | 1087 176735 462650 | 64294 64223 65 | 0.190 % |
1069.27/1069.28 c | 1869358 | 1087 176735 462650 | 64294 54821 62 | 0.190 % |
1069.57/1069.58 c | 1869870 | 1087 176735 462650 | 64294 55333 61 | 0.190 % |
1069.97/1069.92 c | 1870384 | 1087 176735 462650 | 55463 46990 65 | 0.190 % |
1070.57/1070.51 c | 1871408 | 1087 176735 462650 | 55463 48014 65 | 0.190 % |
1071.87/1071.83 c | 1873458 | 1087 176735 462650 | 55463 50064 64 | 0.190 % |
1074.57/1074.56 c | 1877560 | 1087 176735 462650 | 55463 54166 63 | 0.191 % |
1079.47/1079.42 c | 1885754 | 1087 176735 462650 | 48183 46501 67 | 0.184 % |
1089.97/1089.94 c | 1902142 | 1087 176735 462650 | 40470 36105 68 | 0.190 % |
1113.28/1113.27 c | 1934911 | 1087 176735 462650 | 29556 26906 46 | 0.190 % |
1113.57/1113.54 c | 1935426 | 1087 176735 462650 | 29556 27421 46 | 0.190 % |
1113.87/1113.81 c | 1935939 | 1087 176735 462650 | 29556 27934 46 | 0.190 % |
1114.38/1114.38 c | 1936964 | 1087 176735 462650 | 29556 28959 45 | 0.190 % |
1114.77/1114.71 c | 1937478 | 1087 176735 462650 | 29556 29473 45 | 0.190 % |
1115.07/1115.01 c | 1937990 | 1087 176735 462650 | 29556 26474 45 | 0.190 % |
1115.57/1115.51 c | 1939016 | 1087 176735 462650 | 29556 27500 45 | 0.190 % |
1116.27/1116.24 c | 1941065 | 1087 176735 462650 | 28484 26663 51 | 0.184 % |
1116.37/1116.40 c | 1941578 | 1087 176735 462650 | 28484 27176 52 | 0.184 % |
1116.58/1116.56 c | 1942093 | 1087 176735 462650 | 28484 27691 54 | 0.184 % |
1116.97/1116.92 c | 1943117 | 1087 176735 462650 | 28484 28715 57 | 0.184 % |
1117.17/1117.15 c | 1943630 | 1087 176735 462650 | 28484 26357 58 | 0.190 % |
1117.37/1117.32 c | 1944146 | 1087 176735 462650 | 28484 26873 58 | 0.190 % |
1117.68/1117.70 c | 1945170 | 1087 176735 462650 | 28484 27897 58 | 0.190 % |
1118.47/1118.45 c | 1947221 | 1087 176735 462650 | 28484 27041 59 | 0.190 % |
1120.17/1120.14 c | 1951317 | 1087 176735 462650 | 2147483647 28239 60 | 0.190 % |
1120.37/1120.34 c | 1951831 | 1087 176735 462650 | 2147483647 28753 60 | 0.190 % |
1120.57/1120.59 c | 1952344 | 1087 176735 462650 | 2147483647 29266 59 | 0.190 % |
1121.07/1121.04 c | 1953368 | 1087 176735 462650 | 2147483647 30290 59 | 0.190 % |
1121.27/1121.27 c | 1953880 | 1087 176735 462650 | 2147483647 30802 59 | 0.190 % |
1121.47/1121.46 c | 1954392 | 1087 176735 462650 | 2147483647 31314 58 | 0.184 % |
1121.97/1121.93 c | 1955416 | 1087 176735 462650 | 2147483647 32338 58 | 0.190 % |
1122.87/1122.84 c | 1957466 | 1087 176735 462650 | 2147483647 34388 58 | 0.190 % |
1123.07/1123.05 c | 1957979 | 1087 176735 462650 | 2147483647 34901 57 | 0.190 % |
1123.27/1123.25 c | 1958494 | 1087 176735 462650 | 2147483647 35416 57 | 0.190 % |
1123.67/1123.69 c | 1959520 | 1087 176735 462650 | 2147483647 36442 57 | 0.190 % |
1123.87/1123.89 c | 1960032 | 1087 176735 462650 | 2147483647 36954 57 | 0.184 % |
1124.07/1124.05 c | 1960544 | 1087 176735 462650 | 2147483647 37466 59 | 0.184 % |
1124.47/1124.46 c | 1961569 | 1087 176735 462650 | 2147483647 38491 61 | 0.184 % |
1125.38/1125.33 c | 1963617 | 1087 176735 462650 | 2147483647 40539 65 | 0.184 % |
1127.37/1127.40 c | 1967713 | 1087 176735 462650 | 2147483647 44635 68 | 0.184 % |
1132.28/1132.27 c | 1975905 | 1087 176735 462650 | 2147483647 52827 66 | 0.190 % |
1132.68/1132.65 c | 1976418 | 1087 176735 462650 | 2147483647 53340 65 | 0.190 % |
1132.98/1132.97 c | 1976930 | 1087 176735 462650 | 2147483647 53852 65 | 0.190 % |
1133.58/1133.54 c | 1977954 | 1087 176735 462650 | 2147483647 54876 65 | 0.190 % |
1133.88/1133.87 c | 1978468 | 1087 176735 462650 | 2147483647 55390 64 | 0.190 % |
1134.18/1134.21 c | 1978981 | 1087 176735 462650 | 2147483647 55903 64 | 0.190 % |
1134.88/1134.90 c | 1980005 | 1087 176735 462650 | 56922 56927 64 | 0.190 % |
1136.08/1136.09 c | 1982054 | 1087 176735 462650 | 56922 51796 64 | 0.184 % |
1136.38/1136.41 c | 1982566 | 1087 176735 462650 | 56922 52308 64 | 0.184 % |
1136.68/1136.70 c | 1983079 | 1087 176735 462650 | 56922 52821 65 | 0.184 % |
1137.38/1137.38 c | 1984103 | 1087 176735 462650 | 56922 53845 66 | 0.184 % |
1137.68/1137.64 c | 1984616 | 1087 176735 462650 | 56922 54358 66 | 0.184 % |
1137.98/1137.94 c | 1985131 | 1087 176735 462650 | 56922 54873 66 | 0.184 % |
1138.58/1138.60 c | 1986157 | 1087 176735 462650 | 56922 55899 65 | 0.190 % |
1139.98/1139.97 c | 1988206 | 1087 176735 462650 | 56922 49994 62 | 0.190 % |
1142.18/1142.20 c | 1992304 | 1087 176735 462650 | 51788 46625 62 | 0.190 % |
1142.58/1142.53 c | 1992821 | 1087 176735 462650 | 51788 47142 62 | 0.190 % |
1142.88/1142.84 c | 1993333 | 1087 176735 462650 | 51788 47654 62 | 0.190 % |
1143.38/1143.40 c | 1994357 | 1087 176735 462650 | 51788 48678 61 | 0.190 % |
1143.68/1143.69 c | 1994869 | 1087 176735 462650 | 51788 49190 61 | 0.190 % |
1144.08/1144.03 c | 1995382 | 1087 176735 462650 | 51788 49703 61 | 0.190 % |
1144.58/1144.55 c | 1996407 | 1087 176735 462650 | 51788 50728 60 | 0.190 % |
1145.78/1145.73 c | 1998456 | 1087 176735 462650 | 51788 45878 62 | 0.190 % |
1146.08/1146.02 c | 1998969 | 1087 176735 462650 | 51788 46391 62 | 0.190 % |
1146.38/1146.34 c | 1999482 | 1087 176735 462650 | 51788 46904 61 | 0.190 % |
1147.08/1147.04 c | 2000508 | 1087 176735 462650 | 47423 41678 53 | 0.190 % |
1147.28/1147.29 c | 2001021 | 1087 176735 462650 | 47423 42191 54 | 0.184 % |
1147.58/1147.58 c | 2001533 | 1087 176735 462650 | 47423 42703 55 | 0.184 % |
1148.08/1148.08 c | 2002559 | 1087 176735 462650 | 47423 43729 56 | 0.184 % |
1148.88/1148.89 c | 2004607 | 1087 176735 462650 | 47423 45777 59 | 0.184 % |
1150.98/1151.00 c | 2008705 | 1087 176735 462650 | 47423 45075 59 | 0.184 % |
1155.38/1155.32 c | 2016897 | 1087 176735 462650 | 2147483647 53267 59 | 0.184 % |
1168.08/1168.02 c | 2033284 | 1087 176735 462650 | 56375 46097 56 | 0.190 % |
1168.48/1168.49 c | 2033796 | 1087 176735 462650 | 56375 46609 56 | 0.191 % |
1168.78/1168.74 c | 2034310 | 1087 176735 462650 | 56375 47123 56 | 0.190 % |
1169.28/1169.27 c | 2035335 | 1087 176735 462650 | 56375 48148 55 | 0.184 % |
1169.58/1169.54 c | 2035848 | 1087 176735 462650 | 56375 48661 55 | 0.191 % |
1169.88/1169.84 c | 2036362 | 1087 176735 462650 | 56375 49175 55 | 0.190 % |
1170.38/1170.39 c | 2037387 | 1087 176735 462650 | 56375 50200 55 | 0.190 % |
1171.68/1171.67 c | 2039436 | 1087 176735 462650 | 56375 52249 54 | 0.190 % |
1171.98/1171.94 c | 2039948 | 1087 176735 462650 | 56375 52761 54 | 0.191 % |
1172.28/1172.27 c | 2040461 | 1087 176735 462650 | 52813 43086 52 | 0.190 % |
1172.78/1172.72 c | 2041491 | 1087 176735 462650 | 52813 44116 52 | 0.184 % |
1172.98/1172.97 c | 2042005 | 1087 176735 462650 | 52813 44630 52 | 0.190 % |
1173.28/1173.22 c | 2042523 | 1087 176735 462650 | 52813 45148 53 | 0.184 % |
1173.68/1173.70 c | 2043549 | 1087 176735 462650 | 52813 46174 55 | 0.184 % |
1174.58/1174.60 c | 2045598 | 1087 176735 462650 | 52813 48223 57 | 0.184 % |
1176.68/1176.64 c | 2049696 | 1087 176735 462650 | 52813 52321 60 | 0.184 % |
1176.88/1176.90 c | 2050208 | 1087 176735 462650 | 52629 52833 60 | 0.190 % |
1177.18/1177.21 c | 2050722 | 1087 176735 462650 | 52629 46957 55 | 0.190 % |
1177.78/1177.74 c | 2051746 | 1087 176735 462650 | 52629 47981 55 | 0.190 % |
1177.98/1177.99 c | 2052261 | 1087 176735 462650 | 52629 48496 55 | 0.190 % |
1178.28/1178.24 c | 2052773 | 1087 176735 462650 | 52629 49008 55 | 0.190 % |
1178.78/1178.79 c | 2053798 | 1087 176735 462650 | 52629 50033 54 | 0.190 % |
1179.88/1179.83 c | 2055847 | 1087 176735 462650 | 52629 52082 54 | 0.190 % |
1180.08/1180.10 c | 2056361 | 1087 176735 462650 | 52629 52596 54 | 0.184 % |
1180.48/1180.43 c | 2056875 | 1087 176735 462650 | 52629 47525 53 | 0.190 % |
1180.98/1180.95 c | 2057899 | 1087 176735 462650 | 52629 48549 53 | 0.191 % |
1181.18/1181.20 c | 2058411 | 1087 176735 462650 | 52629 49061 52 | 0.191 % |
1181.48/1181.45 c | 2058923 | 1087 176735 462650 | 52629 49573 52 | 0.191 % |
1181.98/1181.99 c | 2059947 | 1087 176735 462650 | 52629 50597 52 | 0.190 % |
1183.08/1183.07 c | 2061995 | 1087 176735 462650 | 50654 47325 51 | 0.190 % |
1185.28/1185.25 c | 2066093 | 1087 176735 462650 | 50654 46325 50 | 0.190 % |
1189.78/1189.77 c | 2074286 | 1087 176735 462650 | 2147483647 54518 61 | 0.184 % |
1190.08/1190.04 c | 2074801 | 1087 176735 462650 | 2147483647 55033 61 | 0.190 % |
1190.38/1190.36 c | 2075315 | 1087 176735 462650 | 2147483647 55547 61 | 0.190 % |
1190.98/1190.99 c | 2076342 | 1087 176735 462650 | 2147483647 56574 61 | 0.190 % |
1191.38/1191.39 c | 2076854 | 1087 176735 462650 | 2147483647 57086 61 | 0.190 % |
1191.78/1191.72 c | 2077367 | 1087 176735 462650 | 2147483647 57599 60 | 0.190 % |
1192.48/1192.44 c | 2078391 | 1087 176735 462650 | 2147483647 58623 60 | 0.190 % |
1193.88/1193.89 c | 2080439 | 1087 176735 462650 | 60233 60671 59 | 0.190 % |
1194.28/1194.29 c | 2080953 | 1087 176735 462650 | 60233 52309 62 | 0.190 % |
1194.68/1194.66 c | 2081465 | 1087 176735 462650 | 60233 52821 62 | 0.190 % |
1195.28/1195.29 c | 2082490 | 1087 176735 462650 | 60233 53846 62 | 0.190 % |
1195.58/1195.58 c | 2083002 | 1087 176735 462650 | 60233 54358 61 | 0.190 % |
1195.88/1195.90 c | 2083515 | 1087 176735 462650 | 60233 54871 62 | 0.184 % |
1196.68/1196.64 c | 2084539 | 1087 176735 462650 | 60233 55895 63 | 0.184 % |
1197.88/1197.84 c | 2086589 | 1087 176735 462650 | 60233 57945 65 | 0.184 % |
1200.08/1200.02 HOME/SatELiteGTI: line 36: 26679 Terminated $MS $TMP.cnf $TMP.result
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1820591-1242456637/watcher-1820591-1242456637 -o /tmp/evaluation-result-1820591-1242456637/solver-1820591-1242456637 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820591-1242456637.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 0.93 1.01 0.99 2/91 26673
/proc/meminfo: memFree=706148/2074464 swapFree=1953004/1959888
[pid=26673] ppid=26671 vsize=2416 CPUtime=0.01
/proc/26673/stat : 26673 (SatELiteGTI) S 26671 26673 9090 0 -1 4194304 369 642 0 0 1 0 0 0 18 0 1 0 1010164086 2473984 277 4294967295 134512640 135169312 3216377520 3216376056 3085655790 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/26673/statm: 604 277 235 161 0 43 0
[pid=26677] ppid=26673 vsize=948 CPUtime=0
/proc/26677/stat : 26677 (SatELite_releas) R 26673 26673 9090 0 -1 4202496 105 0 0 0 0 0 0 0 20 0 1 0 1010164086 970752 40 4294967295 134512640 135223648 3214148736 3214147496 134660314 0 0 0 0 0 0 0 17 1 0 0 0
/proc/26677/statm: 237 49 40 174 0 62 0
[startup+0.051326 s]
/proc/loadavg: 0.93 1.01 0.99 2/91 26673
/proc/meminfo: memFree=706148/2074464 swapFree=1953004/1959888
[pid=26673] ppid=26671 vsize=2416 CPUtime=0.01
/proc/26673/stat : 26673 (SatELiteGTI) S 26671 26673 9090 0 -1 4194304 369 642 0 0 1 0 0 0 18 0 1 0 1010164086 2473984 277 4294967295 134512640 135169312 3216377520 3216376056 3085655790 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/26673/statm: 604 277 235 161 0 43 0
[pid=26677] ppid=26673 vsize=4916 CPUtime=0.05
/proc/26677/stat : 26677 (SatELite_releas) R 26673 26673 9090 0 -1 4202496 1074 0 0 0 5 0 0 0 20 0 1 0 1010164086 5033984 1009 4294967295 134512640 135223648 3214148736 3214147688 134737310 0 0 0 3 0 0 0 17 1 0 0 0
/proc/26677/statm: 1229 1009 46 174 0 1054 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 7332
[startup+0.121315 s]
/proc/loadavg: 0.93 1.01 0.99 2/91 26673
/proc/meminfo: memFree=706148/2074464 swapFree=1953004/1959888
[pid=26673] ppid=26671 vsize=2416 CPUtime=0.01
/proc/26673/stat : 26673 (SatELiteGTI) S 26671 26673 9090 0 -1 4194304 369 642 0 0 1 0 0 0 18 0 1 0 1010164086 2473984 277 4294967295 134512640 135169312 3216377520 3216376056 3085655790 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/26673/statm: 604 277 235 161 0 43 0
[pid=26677] ppid=26673 vsize=10828 CPUtime=0.12
/proc/26677/stat : 26677 (SatELite_releas) R 26673 26673 9090 0 -1 4202496 2528 0 0 0 12 0 0 0 20 0 1 0 1010164086 11087872 2463 4294967295 134512640 135223648 3214148736 3214145492 134688107 0 0 0 3 0 0 0 17 1 0 0 0
/proc/26677/statm: 2707 2463 72 174 0 2532 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 13244
[startup+0.321305 s]
/proc/loadavg: 0.93 1.01 0.99 2/91 26673
/proc/meminfo: memFree=706148/2074464 swapFree=1953004/1959888
[pid=26673] ppid=26671 vsize=2420 CPUtime=0.27
/proc/26673/stat : 26673 (SatELiteGTI) S 26671 26673 9090 0 -1 4194304 387 3172 0 0 1 0 26 0 17 0 1 0 1010164086 2478080 278 4294967295 134512640 135169312 3216377520 3216373736 3085655790 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/26673/statm: 605 278 235 161 0 44 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 2420
[startup+0.721285 s]
/proc/loadavg: 0.93 1.01 0.99 2/91 26673
/proc/meminfo: memFree=706148/2074464 swapFree=1953004/1959888
[pid=26673] ppid=26671 vsize=2420 CPUtime=0.27
/proc/26673/stat : 26673 (SatELiteGTI) S 26671 26673 9090 0 -1 4194304 387 3172 0 0 1 0 26 0 17 0 1 0 1010164086 2478080 278 4294967295 134512640 135169312 3216377520 3216373736 3085655790 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/26673/statm: 605 278 235 161 0 44 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 2420
[startup+1.52125 s]
/proc/loadavg: 0.93 1.01 0.99 2/93 26679
/proc/meminfo: memFree=693468/2074464 swapFree=1953004/1959888
[pid=26673] ppid=26671 vsize=2420 CPUtime=0.27
/proc/26673/stat : 26673 (SatELiteGTI) S 26671 26673 9090 0 -1 4194304 387 3172 0 0 1 0 26 0 17 0 1 0 1010164086 2478080 278 4294967295 134512640 135169312 3216377520 3216373736 3085655790 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/26673/statm: 605 278 235 161 0 44 0
[pid=26679] ppid=26673 vsize=12232 CPUtime=1.26
/proc/26679/stat : 26679 (minisat_static) R 26673 26673 9090 0 -1 4202496 2971 0 0 0 123 3 0 0 22 0 1 0 1010164113 12525568 2906 4294967295 134512640 135216591 3214720368 3214718560 134528948 0 0 0 3 0 0 0 17 2 0 0 0
/proc/26679/statm: 3058 2906 75 172 0 2885 0
Current children cumulated CPU time (s) 1.53
Current children cumulated vsize (KiB) 14652
[startup+3.12117 s]
/proc/loadavg: 0.93 1.01 0.99 2/93 26679
/proc/meminfo: memFree=691980/2074464 swapFree=1953004/1959888
[pid=26673] ppid=26671 vsize=2420 CPUtime=0.27
/proc/26673/stat : 26673 (SatELiteGTI) S 26671 26673 9090 0 -1 4194304 387 3172 0 0 1 0 26 0 17 0 1 0 1010164086 2478080 278 4294967295 134512640 135169312 3216377520 3216373736 3085655790 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/26673/statm: 605 278 235 161 0 44 0
[pid=26679] ppid=26673 vsize=13552 CPUtime=2.86
/proc/26679/stat : 26679 (minisat_static) R 26673 26673 9090 0 -1 4202496 3290 0 0 0 283 3 0 0 25 0 1 0 1010164113 13877248 3225 4294967295 134512640 135216591 3214720368 3214718560 134529317 0 0 0 3 0 0 0 17 2 0 0 0
/proc/26679/statm: 3388 3225 75 172 0 3215 0
Current children cumulated CPU time (s) 3.13
Current children cumulated vsize (KiB) 15972
[startup+6.32102 s]
/proc/loadavg: 0.93 1.01 0.99 2/93 26679
/proc/meminfo: memFree=689748/2074464 swapFree=1953004/1959888
[pid=26673] ppid=26671 vsize=2420 CPUtime=0.27
/proc/26673/stat : 26673 (SatELiteGTI) S 26671 26673 9090 0 -1 4194304 387 3172 0 0 1 0 26 0 17 0 1 0 1010164086 2478080 278 4294967295 134512640 135169312 3216377520 3216373736 3085655790 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/26673/statm: 605 278 235 161 0 44 0
[pid=26679] ppid=26673 vsize=15952 CPUtime=6.06
/proc/26679/stat : 26679 (minisat_static) R 26673 26673 9090 0 -1 4202496 3898 0 0 0 602 4 0 0 25 0 1 0 1010164113 16334848 3833 4294967295 134512640 135216591 3214720368 3214718560 134528851 0 0 0 3 0 0 0 17 2 0 0 0
/proc/26679/statm: 3988 3833 75 172 0 3815 0
Current children cumulated CPU time (s) 6.33
Current children cumulated vsize (KiB) 18372
[startup+12.7207 s]
/proc/loadavg: 0.94 1.01 0.99 3/93 26682
/proc/meminfo: memFree=684860/2074464 swapFree=1953004/1959888
[pid=26673] ppid=26671 vsize=2420 CPUtime=0.27
/proc/26673/stat : 26673 (SatELiteGTI) S 26671 26673 9090 0 -1 4194304 387 3172 0 0 1 0 26 0 17 0 1 0 1010164086 2478080 278 4294967295 134512640 135169312 3216377520 3216373736 3085655790 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/26673/statm: 605 278 235 161 0 44 0
[pid=26679] ppid=26673 vsize=20076 CPUtime=12.46
/proc/26679/stat : 26679 (minisat_static) R 26673 26673 9090 0 -1 4202496 4934 0 0 0 1241 5 0 0 25 0 1 0 1010164113 20557824 4869 4294967295 134512640 135216591 3214720368 3214718560 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/26679/statm: 5019 4869 75 172 0 4846 0
Current children cumulated CPU time (s) 12.73
Current children cumulated vsize (KiB) 22496
[startup+25.5201 s]
/proc/loadavg: 0.95 1.01 0.99 3/93 26682
/proc/meminfo: memFree=676492/2074464 swapFree=1953004/1959888
[pid=26673] ppid=26671 vsize=2420 CPUtime=0.27
/proc/26673/stat : 26673 (SatELiteGTI) S 26671 26673 9090 0 -1 4194304 387 3172 0 0 1 0 26 0 17 0 1 0 1010164086 2478080 278 4294967295 134512640 135169312 3216377520 3216373736 3085655790 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/26673/statm: 605 278 235 161 0 44 0
[pid=26679] ppid=26673 vsize=28468 CPUtime=25.26
/proc/26679/stat : 26679 (minisat_static) R 26673 26673 9090 0 -1 4202496 7014 0 0 0 2520 6 0 0 25 0 1 0 1010164113 29151232 6949 4294967295 134512640 135216591 3214720368 3214718560 134528862 0 0 0 3 0 0 0 17 2 0 0 0
/proc/26679/statm: 7117 6949 75 172 0 6944 0
Current children cumulated CPU time (s) 25.53
Current children cumulated vsize (KiB) 30888
[startup+51.1189 s]
/proc/loadavg: 0.97 1.00 0.99 3/93 26867
/proc/meminfo: memFree=672088/2074464 swapFree=1953004/1959888
[pid=26673] ppid=26671 vsize=2420 CPUtime=0.27
/proc/26673/stat : 26673 (SatELiteGTI) S 26671 26673 9090 0 -1 4194304 387 3172 0 0 1 0 26 0 17 0 1 0 1010164086 2478080 278 4294967295 134512640 135169312 3216377520 3216373736 3085655790 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/26673/statm: 605 278 235 161 0 44 0
[pid=26679] ppid=26673 vsize=32172 CPUtime=50.86
/proc/26679/stat : 26679 (minisat_static) R 26673 26673 9090 0 -1 4202496 7951 0 0 0 5080 6 0 0 25 0 1 0 1010164113 32944128 7886 4294967295 134512640 135216591 3214720368 3214718560 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/26679/statm: 8043 7886 75 172 0 7870 0
Current children cumulated CPU time (s) 51.13
Current children cumulated vsize (KiB) 34592
[startup+102.326 s]
/proc/loadavg: 0.98 1.00 0.99 2/93 27058
/proc/meminfo: memFree=671728/2074464 swapFree=1953004/1959888
[pid=26673] ppid=26671 vsize=2420 CPUtime=0.27
/proc/26673/stat : 26673 (SatELiteGTI) S 26671 26673 9090 0 -1 4194304 387 3172 0 0 1 0 26 0 17 0 1 0 1010164086 2478080 278 4294967295 134512640 135169312 3216377520 3216373736 3085655790 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/26673/statm: 605 278 235 161 0 44 0
[pid=26679] ppid=26673 vsize=32172 CPUtime=102.07
/proc/26679/stat : 26679 (minisat_static) R 26673 26673 9090 0 -1 4202496 7959 0 0 0 10201 6 0 0 25 0 1 0 1010164113 32944128 7894 4294967295 134512640 135216591 3214720368 3214718560 134528854 0 0 0 3 0 0 0 17 2 0 0 0
/proc/26679/statm: 8043 7894 75 172 0 7870 0
Current children cumulated CPU time (s) 102.34
Current children cumulated vsize (KiB) 34592
[startup+162.324 s]
/proc/loadavg: 1.48 1.12 1.03 3/93 27246
/proc/meminfo: memFree=671556/2074464 swapFree=1953004/1959888
[pid=26673] ppid=26671 vsize=2420 CPUtime=0.27
/proc/26673/stat : 26673 (SatELiteGTI) S 26671 26673 9090 0 -1 4194304 387 3172 0 0 1 0 26 0 17 0 1 0 1010164086 2478080 278 4294967295 134512640 135169312 3216377520 3216373736 3085655790 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/26673/statm: 605 278 235 161 0 44 0
[pid=26679] ppid=26673 vsize=32172 CPUtime=162.07
/proc/26679/stat : 26679 (minisat_static) R 26673 26673 9090 0 -1 4202496 7959 0 0 0 16200 7 0 0 25 0 1 0 1010164113 32944128 7894 4294967295 134512640 135216591 3214720368 3214718560 134528860 0 0 0 3 0 0 0 17 2 0 0 0
/proc/26679/statm: 8043 7894 75 172 0 7870 0
Current children cumulated CPU time (s) 162.34
Current children cumulated vsize (KiB) 34592
[startup+222.311 s]
/proc/loadavg: 1.28 1.14 1.04 2/93 27432
/proc/meminfo: memFree=671712/2074464 swapFree=1953004/1959888
[pid=26673] ppid=26671 vsize=2420 CPUtime=0.27
/proc/26673/stat : 26673 (SatELiteGTI) S 26671 26673 9090 0 -1 4194304 387 3172 0 0 1 0 26 0 17 0 1 0 1010164086 2478080 278 4294967295 134512640 135169312 3216377520 3216373736 3085655790 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/26673/statm: 605 278 235 161 0 44 0
[pid=26679] ppid=26673 vsize=32172 CPUtime=222.06
/proc/26679/stat : 26679 (minisat_static) R 26673 26673 9090 0 -1 4202496 7959 0 0 0 22199 7 0 0 25 0 1 0 1010164113 32944128 7894 4294967295 134512640 135216591 3214720368 3214718560 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/26679/statm: 8043 7894 75 172 0 7870 0
Current children cumulated CPU time (s) 222.33
Current children cumulated vsize (KiB) 34592
[startup+282.308 s]
/proc/loadavg: 1.10 1.11 1.04 3/93 27621
/proc/meminfo: memFree=671688/2074464 swapFree=1953004/1959888
[pid=26673] ppid=26671 vsize=2420 CPUtime=0.27
/proc/26673/stat : 26673 (SatELiteGTI) S 26671 26673 9090 0 -1 4194304 387 3172 0 0 1 0 26 0 17 0 1 0 1010164086 2478080 278 4294967295 134512640 135169312 3216377520 3216373736 3085655790 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/26673/statm: 605 278 235 161 0 44 0
[pid=26679] ppid=26673 vsize=32172 CPUtime=282.06
/proc/26679/stat : 26679 (minisat_static) R 26673 26673 9090 0 -1 4202496 7959 0 0 0 28199 7 0 0 25 0 1 0 1010164113 32944128 7894 4294967295 134512640 135216591 3214720368 3214718560 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/26679/statm: 8043 7894 75 172 0 7870 0
Current children cumulated CPU time (s) 282.33
Current children cumulated vsize (KiB) 34592
[startup+342.315 s]
/proc/loadavg: 1.04 1.09 1.03 2/93 27810
/proc/meminfo: memFree=668876/2074464 swapFree=1953004/1959888
[pid=26673] ppid=26671 vsize=2420 CPUtime=0.27
/proc/26673/stat : 26673 (SatELiteGTI) S 26671 26673 9090 0 -1 4194304 387 3172 0 0 1 0 26 0 17 0 1 0 1010164086 2478080 278 4294967295 134512640 135169312 3216377520 3216373736 3085655790 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/26673/statm: 605 278 235 161 0 44 0
[pid=26679] ppid=26673 vsize=35084 CPUtime=342.07
/proc/26679/stat : 26679 (minisat_static) R 26673 26673 9090 0 -1 4202496 8663 0 0 0 34199 8 0 0 25 0 1 0 1010164113 35926016 8598 4294967295 134512640 135216591 3214720368 3214718560 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/26679/statm: 8771 8598 75 172 0 8598 0
Current children cumulated CPU time (s) 342.34
Current children cumulated vsize (KiB) 37504
[startup+402.312 s]
/proc/loadavg: 1.01 1.07 1.03 3/93 27999
/proc/meminfo: memFree=668680/2074464 swapFree=1953004/1959888
[pid=26673] ppid=26671 vsize=2420 CPUtime=0.27
################
# More data... #
################
/proc/26673/stat : 26673 (SatELiteGTI) S 26671 26673 9090 0 -1 4194304 387 3172 0 0 1 0 26 0 17 0 1 0 1010164086 2478080 278 4294967295 134512640 135169312 3216377520 3216373736 3085655790 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/26673/statm: 605 278 235 161 0 44 0
[pid=26679] ppid=26673 vsize=35084 CPUtime=462.08
/proc/26679/stat : 26679 (minisat_static) R 26673 26673 9090 0 -1 4202496 8680 0 0 0 46198 10 0 0 25 0 1 0 1010164113 35926016 8615 4294967295 134512640 135216591 3214720368 3214718560 134528860 0 0 0 3 0 0 0 17 2 0 0 0
/proc/26679/statm: 8771 8615 75 172 0 8598 0
Current children cumulated CPU time (s) 462.35
Current children cumulated vsize (KiB) 37504
[startup+522.316 s]
/proc/loadavg: 1.00 1.04 1.02 3/93 28377
/proc/meminfo: memFree=668788/2074464 swapFree=1953004/1959888
[pid=26673] ppid=26671 vsize=2420 CPUtime=0.27
/proc/26673/stat : 26673 (SatELiteGTI) S 26671 26673 9090 0 -1 4194304 387 3172 0 0 1 0 26 0 17 0 1 0 1010164086 2478080 278 4294967295 134512640 135169312 3216377520 3216373736 3085655790 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/26673/statm: 605 278 235 161 0 44 0
[pid=26679] ppid=26673 vsize=35228 CPUtime=522.08
/proc/26679/stat : 26679 (minisat_static) R 26673 26673 9090 0 -1 4202496 8691 0 0 0 52198 10 0 0 25 0 1 0 1010164113 36073472 8626 4294967295 134512640 135216591 3214720368 3214718560 134528948 0 0 0 3 0 0 0 17 2 0 0 0
/proc/26679/statm: 8807 8626 75 172 0 8634 0
Current children cumulated CPU time (s) 522.35
Current children cumulated vsize (KiB) 37648
[startup+582.313 s]
/proc/loadavg: 1.00 1.03 1.01 2/93 28566
/proc/meminfo: memFree=668976/2074464 swapFree=1953004/1959888
[pid=26673] ppid=26671 vsize=2420 CPUtime=0.27
/proc/26673/stat : 26673 (SatELiteGTI) S 26671 26673 9090 0 -1 4194304 387 3172 0 0 1 0 26 0 17 0 1 0 1010164086 2478080 278 4294967295 134512640 135169312 3216377520 3216373736 3085655790 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/26673/statm: 605 278 235 161 0 44 0
[pid=26679] ppid=26673 vsize=35228 CPUtime=582.08
/proc/26679/stat : 26679 (minisat_static) R 26673 26673 9090 0 -1 4202496 8691 0 0 0 58198 10 0 0 25 0 1 0 1010164113 36073472 8626 4294967295 134512640 135216591 3214720368 3214718544 134525272 0 0 0 3 0 0 0 17 2 0 0 0
/proc/26679/statm: 8807 8626 75 172 0 8634 0
Current children cumulated CPU time (s) 582.35
Current children cumulated vsize (KiB) 37648
[startup+642.311 s]
/proc/loadavg: 1.00 1.02 1.00 3/93 28753
/proc/meminfo: memFree=668604/2074464 swapFree=1953004/1959888
[pid=26673] ppid=26671 vsize=2420 CPUtime=0.27
/proc/26673/stat : 26673 (SatELiteGTI) S 26671 26673 9090 0 -1 4194304 387 3172 0 0 1 0 26 0 17 0 1 0 1010164086 2478080 278 4294967295 134512640 135169312 3216377520 3216373736 3085655790 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/26673/statm: 605 278 235 161 0 44 0
[pid=26679] ppid=26673 vsize=35532 CPUtime=642.08
/proc/26679/stat : 26679 (minisat_static) R 26673 26673 9090 0 -1 4202496 8768 0 0 0 64198 10 0 0 25 0 1 0 1010164113 36384768 8703 4294967295 134512640 135216591 3214720368 3214718560 134528962 0 0 0 3 0 0 0 17 2 0 0 0
/proc/26679/statm: 8883 8703 75 172 0 8710 0
Current children cumulated CPU time (s) 642.35
Current children cumulated vsize (KiB) 37952
[startup+702.318 s]
/proc/loadavg: 1.24 1.07 1.02 2/93 28942
/proc/meminfo: memFree=666356/2074464 swapFree=1953004/1959888
[pid=26673] ppid=26671 vsize=2420 CPUtime=0.27
/proc/26673/stat : 26673 (SatELiteGTI) S 26671 26673 9090 0 -1 4194304 387 3172 0 0 1 0 26 0 17 0 1 0 1010164086 2478080 278 4294967295 134512640 135169312 3216377520 3216373736 3085655790 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/26673/statm: 605 278 235 161 0 44 0
[pid=26679] ppid=26673 vsize=37664 CPUtime=702.09
/proc/26679/stat : 26679 (minisat_static) R 26673 26673 9090 0 -1 4202496 9288 0 0 0 70199 10 0 0 25 0 1 0 1010164113 38567936 9223 4294967295 134512640 135216591 3214720368 3214718560 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/26679/statm: 9416 9223 75 172 0 9243 0
Current children cumulated CPU time (s) 702.36
Current children cumulated vsize (KiB) 40084
[startup+762.325 s]
/proc/loadavg: 1.16 1.07 1.02 2/93 29135
/proc/meminfo: memFree=663596/2074464 swapFree=1953004/1959888
[pid=26673] ppid=26671 vsize=2420 CPUtime=0.27
/proc/26673/stat : 26673 (SatELiteGTI) S 26671 26673 9090 0 -1 4194304 387 3172 0 0 1 0 26 0 17 0 1 0 1010164086 2478080 278 4294967295 134512640 135169312 3216377520 3216373736 3085655790 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/26673/statm: 605 278 235 161 0 44 0
[pid=26679] ppid=26673 vsize=40568 CPUtime=762.1
/proc/26679/stat : 26679 (minisat_static) R 26673 26673 9090 0 -1 4202496 10002 0 0 0 76200 10 0 0 25 0 1 0 1010164113 41541632 9937 4294967295 134512640 135216591 3214720368 3214718560 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/26679/statm: 10142 9937 75 172 0 9969 0
Current children cumulated CPU time (s) 762.37
Current children cumulated vsize (KiB) 42988
[startup+822.322 s]
/proc/loadavg: 1.06 1.05 1.01 2/93 29320
/proc/meminfo: memFree=663588/2074464 swapFree=1953004/1959888
[pid=26673] ppid=26671 vsize=2420 CPUtime=0.27
/proc/26673/stat : 26673 (SatELiteGTI) S 26671 26673 9090 0 -1 4194304 387 3172 0 0 1 0 26 0 17 0 1 0 1010164086 2478080 278 4294967295 134512640 135169312 3216377520 3216373736 3085655790 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/26673/statm: 605 278 235 161 0 44 0
[pid=26679] ppid=26673 vsize=40568 CPUtime=822.1
/proc/26679/stat : 26679 (minisat_static) R 26673 26673 9090 0 -1 4202496 10002 0 0 0 82200 10 0 0 25 0 1 0 1010164113 41541632 9937 4294967295 134512640 135216591 3214720368 3214718560 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/26679/statm: 10142 9937 75 172 0 9969 0
Current children cumulated CPU time (s) 822.37
Current children cumulated vsize (KiB) 42988
[startup+882.319 s]
/proc/loadavg: 1.02 1.04 1.00 2/93 29509
/proc/meminfo: memFree=663604/2074464 swapFree=1953004/1959888
[pid=26673] ppid=26671 vsize=2420 CPUtime=0.27
/proc/26673/stat : 26673 (SatELiteGTI) S 26671 26673 9090 0 -1 4194304 387 3172 0 0 1 0 26 0 17 0 1 0 1010164086 2478080 278 4294967295 134512640 135169312 3216377520 3216373736 3085655790 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/26673/statm: 605 278 235 161 0 44 0
[pid=26679] ppid=26673 vsize=40568 CPUtime=882.1
/proc/26679/stat : 26679 (minisat_static) R 26673 26673 9090 0 -1 4202496 10002 0 0 0 88200 10 0 0 25 0 1 0 1010164113 41541632 9937 4294967295 134512640 135216591 3214720368 3214718560 134529090 0 0 0 3 0 0 0 17 2 0 0 0
/proc/26679/statm: 10142 9937 75 172 0 9969 0
Current children cumulated CPU time (s) 882.37
Current children cumulated vsize (KiB) 42988
[startup+942.316 s]
/proc/loadavg: 1.00 1.03 1.00 4/93 29696
/proc/meminfo: memFree=663488/2074464 swapFree=1953004/1959888
[pid=26673] ppid=26671 vsize=2420 CPUtime=0.27
/proc/26673/stat : 26673 (SatELiteGTI) S 26671 26673 9090 0 -1 4194304 387 3172 0 0 1 0 26 0 17 0 1 0 1010164086 2478080 278 4294967295 134512640 135169312 3216377520 3216373736 3085655790 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/26673/statm: 605 278 235 161 0 44 0
[pid=26679] ppid=26673 vsize=40568 CPUtime=942.1
/proc/26679/stat : 26679 (minisat_static) R 26673 26673 9090 0 -1 4202496 10002 0 0 0 94200 10 0 0 25 0 1 0 1010164113 41541632 9937 4294967295 134512640 135216591 3214720368 3214718560 134528948 0 0 0 3 0 0 0 17 2 0 0 0
/proc/26679/statm: 10142 9937 75 172 0 9969 0
Current children cumulated CPU time (s) 942.37
Current children cumulated vsize (KiB) 42988
[startup+1002.31 s]
/proc/loadavg: 1.15 1.06 1.01 2/93 29885
/proc/meminfo: memFree=663332/2074464 swapFree=1953004/1959888
[pid=26673] ppid=26671 vsize=2420 CPUtime=0.27
/proc/26673/stat : 26673 (SatELiteGTI) S 26671 26673 9090 0 -1 4194304 387 3172 0 0 1 0 26 0 17 0 1 0 1010164086 2478080 278 4294967295 134512640 135169312 3216377520 3216373736 3085655790 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/26673/statm: 605 278 235 161 0 44 0
[pid=26679] ppid=26673 vsize=40568 CPUtime=1002.1
/proc/26679/stat : 26679 (minisat_static) R 26673 26673 9090 0 -1 4202496 10002 0 0 0 100200 10 0 0 25 0 1 0 1010164113 41541632 9937 4294967295 134512640 135216591 3214720368 3214718560 134528857 0 0 0 3 0 0 0 17 2 0 0 0
/proc/26679/statm: 10142 9937 75 172 0 9969 0
Current children cumulated CPU time (s) 1002.37
Current children cumulated vsize (KiB) 42988
[startup+1062.31 s]
/proc/loadavg: 1.23 1.09 1.02 3/93 30073
/proc/meminfo: memFree=663356/2074464 swapFree=1953004/1959888
[pid=26673] ppid=26671 vsize=2420 CPUtime=0.27
/proc/26673/stat : 26673 (SatELiteGTI) S 26671 26673 9090 0 -1 4194304 387 3172 0 0 1 0 26 0 17 0 1 0 1010164086 2478080 278 4294967295 134512640 135169312 3216377520 3216373736 3085655790 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/26673/statm: 605 278 235 161 0 44 0
[pid=26679] ppid=26673 vsize=41128 CPUtime=1062.1
/proc/26679/stat : 26679 (minisat_static) R 26673 26673 9090 0 -1 4202496 10157 0 0 0 106200 10 0 0 25 0 1 0 1010164113 42115072 10092 4294967295 134512640 135216591 3214720368 3214718560 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/26679/statm: 10282 10092 75 172 0 10109 0
Current children cumulated CPU time (s) 1062.37
Current children cumulated vsize (KiB) 43548
[startup+1122.31 s]
/proc/loadavg: 1.08 1.07 1.01 3/93 30259
/proc/meminfo: memFree=662100/2074464 swapFree=1953004/1959888
[pid=26673] ppid=26671 vsize=2420 CPUtime=0.27
/proc/26673/stat : 26673 (SatELiteGTI) S 26671 26673 9090 0 -1 4194304 387 3172 0 0 1 0 26 0 17 0 1 0 1010164086 2478080 278 4294967295 134512640 135169312 3216377520 3216373736 3085655790 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/26673/statm: 605 278 235 161 0 44 0
[pid=26679] ppid=26673 vsize=42052 CPUtime=1122.1
/proc/26679/stat : 26679 (minisat_static) R 26673 26673 9090 0 -1 4202496 10383 0 0 0 112200 10 0 0 25 0 1 0 1010164113 43061248 10318 4294967295 134512640 135216591 3214720368 3214718560 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/26679/statm: 10513 10318 75 172 0 10340 0
Current children cumulated CPU time (s) 1122.37
Current children cumulated vsize (KiB) 44472
[startup+1182.31 s]
/proc/loadavg: 1.03 1.06 1.01 3/94 30443
/proc/meminfo: memFree=661660/2074464 swapFree=1953004/1959888
[pid=26673] ppid=26671 vsize=2420 CPUtime=0.27
/proc/26673/stat : 26673 (SatELiteGTI) S 26671 26673 9090 0 -1 4194304 387 3172 0 0 1 0 26 0 17 0 1 0 1010164086 2478080 278 4294967295 134512640 135169312 3216377520 3216373736 3085655790 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/26673/statm: 605 278 235 161 0 44 0
[pid=26679] ppid=26673 vsize=42192 CPUtime=1182.11
/proc/26679/stat : 26679 (minisat_static) R 26673 26673 9090 0 -1 4202496 10415 0 0 0 118201 10 0 0 25 0 1 0 1010164113 43204608 10350 4294967295 134512640 135216591 3214720368 3214718480 134534660 0 0 0 3 0 0 0 17 2 0 0 0
/proc/26679/statm: 10548 10350 75 172 0 10375 0
Current children cumulated CPU time (s) 1182.38
Current children cumulated vsize (KiB) 44612
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.01 s]
/proc/loadavg: 1.02 1.05 1.01 2/93 30453
/proc/meminfo: memFree=661372/2074464 swapFree=1953004/1959888
[pid=26673] ppid=26671 vsize=2420 CPUtime=0.27
/proc/26673/stat : 26673 (SatELiteGTI) S 26671 26673 9090 0 -1 4194304 387 3172 0 0 1 0 26 0 17 0 1 0 1010164086 2478080 278 4294967295 134512640 135169312 3216377520 3216373736 3085655790 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/26673/statm: 605 278 235 161 0 44 0
[pid=26679] ppid=26673 vsize=42984 CPUtime=1199.81
/proc/26679/stat : 26679 (minisat_static) R 26673 26673 9090 0 -1 4202496 10615 0 0 0 119971 10 0 0 25 0 1 0 1010164113 44015616 10550 4294967295 134512640 135216591 3214720368 3214718560 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/26679/statm: 10746 10550 75 172 0 10573 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 45404
Sending SIGTERM to process tree (bottom up)
SSolver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1200.03
CPU time (s): 1200.09
CPU user time (s): 1199.98
CPU system time (s): 0.11
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 45404
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.98
system time used= 0.11
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14450
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= 27
involuntary context switches= 1124
runsolver used 0.01 second user time and 0.03 second system time
The end
Begin job on tipi19 at 2009-05-16 08:50:37
IDJOB=1820591
IDBENCH=20488
IDSOLVER=658
FILE ID=tipi19/1820591-1242456637
PBS_JOBID=
Free space on /tmp= 10122 MiB
SOLVER NAME= minisat_cumr r-2009-03-18
BENCH NAME= SAT07/industrial/grieu/vmpc_33.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1820591-1242456637/watcher-1820591-1242456637 -o /tmp/evaluation-result-1820591-1242456637/solver-1820591-1242456637 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820591-1242456637.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 4c4d694bb911a7a13a7cb66a99dd484c
RANDOM SEED= 265474004
Linux tipi19 2.6.18 #19 SMP Tue Jun 19 11:27:27 CEST 2007 i686 GNU/Linux
/proc/cpuinfo:
processor : 0
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.426
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3618.39
processor : 1
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.426
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.77
processor : 2
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.426
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.77
processor : 3
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.426
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.77
/proc/meminfo:
MemTotal: 2074464 kB
MemFree: 706156 kB
Buffers: 35184 kB
Cached: 1235632 kB
SwapCached: 3036 kB
Active: 484672 kB
Inactive: 795644 kB
HighTotal: 1178688 kB
HighFree: 216832 kB
LowTotal: 895776 kB
LowFree: 489324 kB
SwapTotal: 1959888 kB
SwapFree: 1953004 kB
Dirty: 4216 kB
Writeback: 0 kB
AnonPages: 8784 kB
Mapped: 3208 kB
Slab: 79624 kB
PageTables: 608 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 2997120 kB
Committed_AS: 87780 kB
VmallocTotal: 114680 kB
VmallocUsed: 1324 kB
VmallocChunk: 113264 kB
Free space on /tmp at the end= 10122 MiB
End job on tipi19 at 2009-05-16 09:10:38