0.00/0.00 c Parsing...
0.12/0.14 c ==============================================================================
0.12/0.14 c | | ORIGINAL | LEARNT | |
0.12/0.14 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.12/0.14 c ==============================================================================
0.12/0.14 c | 0 | 151127 442273 | 45338 0 0 nan | 0.000 % |
1.12/1.11 c | 0 | 66882 225550 | -- 0 -- -- | -- | -78765/-200275
1.12/1.11 c ==============================================================================
1.12/1.11 c Result : #vars: 7670 #clauses: 66882 #literals: 225550
1.12/1.11 c CPU time: 1.09 s
1.12/1.11 c ==============================================================================
1.12/1.19 c This is MiniSat 2.0 beta
1.12/1.19 c WARNING: for repeatability, setting FPU to use double precision
1.12/1.19 c ============================[ Problem Statistics ]=============================
1.12/1.19 c | |
1.12/1.20 c | Number of variables: 7670 |
1.12/1.20 c | Number of clauses: 66882 |
1.20/1.24 c | Parsing time: 0.04 s |
1.20/1.24 c ============================[ Search Statistics ]==============================
1.20/1.24 c | Conflicts | ORIGINAL | LEARNT | Progress |
1.20/1.24 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1.20/1.24 c ===============================================================================
1.20/1.24 c | 0 | 7670 66882 225550 | 22294 0 nan | 0.000 % |
1.20/1.26 c | 514 | 7668 66882 225550 | 22294 513 12 | 0.026 % |
1.20/1.29 c | 1026 | 7668 66882 225550 | 22294 1025 12 | 0.026 % |
1.20/1.32 c | 1538 | 7668 66882 225550 | 22294 1537 13 | 0.026 % |
1.20/1.38 c | 2562 | 7668 66882 225550 | 22294 2561 14 | 0.026 % |
1.20/1.41 c | 3074 | 7667 66608 224204 | 22294 3072 14 | 0.039 % |
1.20/1.44 c | 3586 | 7667 66608 224204 | 22294 3584 14 | 0.039 % |
1.20/1.49 c | 4612 | 7667 66608 224204 | 22294 4610 14 | 0.039 % |
1.20/1.65 c | 6660 | 7667 66608 224204 | 22294 6658 16 | 0.039 % |
1.20/1.71 c | 7173 | 7667 66468 223528 | 22294 7170 16 | 0.039 % |
1.20/1.75 c | 7687 | 7667 66468 223528 | 22294 7684 16 | 0.039 % |
1.20/1.85 c | 8712 | 7667 66468 223528 | 22294 8709 16 | 0.039 % |
1.20/1.89 c | 9224 | 7667 66468 223528 | 22294 9221 16 | 0.039 % |
1.20/1.93 c | 9737 | 7667 66468 223528 | 22294 9734 16 | 0.039 % |
1.20/2.02 c | 10762 | 7667 66468 223528 | 2147483647 10759 16 | 0.039 % |
2.11/2.21 c | 12810 | 7667 66468 223528 | 2147483647 12807 17 | 0.039 % |
2.61/2.67 c | 16910 | 7667 66468 223528 | 2147483647 16907 17 | 0.039 % |
2.71/2.74 c | 17424 | 7667 66468 223528 | 2147483647 17421 17 | 0.039 % |
2.81/2.81 c | 17936 | 7667 66468 223528 | 2147483647 17933 17 | 0.039 % |
2.91/2.94 c | 18960 | 7667 66468 223528 | 2147483647 18957 17 | 0.039 % |
3.01/3.02 c | 19472 | 7667 66468 223528 | 2147483647 19469 17 | 0.039 % |
3.01/3.09 c | 19984 | 7667 66468 223528 | 2147483647 19981 18 | 0.039 % |
3.21/3.23 c | 21012 | 7667 66468 223528 | 2147483647 21009 18 | 0.039 % |
3.41/3.47 c | 23060 | 7667 66468 223528 | 2147483647 23057 18 | 0.039 % |
3.51/3.55 c | 23573 | 7667 66468 223528 | 2147483647 23570 18 | 0.039 % |
3.61/3.63 c | 24085 | 7667 66468 223528 | 2147483647 24082 18 | 0.039 % |
3.71/3.76 c | 25109 | 7667 66468 223528 | 2147483647 25106 18 | 0.039 % |
3.81/3.84 c | 25622 | 7667 66468 223528 | 2147483647 25619 17 | 0.039 % |
3.91/3.93 c | 26135 | 7667 66468 223528 | 2147483647 26132 17 | 0.039 % |
4.01/4.09 c | 27159 | 7667 66468 223528 | 2147483647 27156 18 | 0.039 % |
4.41/4.43 c | 29209 | 7667 66468 223528 | 2147483647 29206 18 | 0.039 % |
5.31/5.32 c | 33305 | 7667 66468 223528 | 2147483647 33302 18 | 0.039 % |
7.51/7.52 c | 41498 | 7667 66468 223528 | 39997 36882 19 | 0.039 % |
7.61/7.65 c | 42011 | 7667 66468 223528 | 39997 37395 19 | 0.039 % |
7.71/7.77 c | 42524 | 7667 66468 223528 | 39997 37908 19 | 0.039 % |
8.01/8.04 c | 43550 | 7667 66468 223528 | 39997 38934 19 | 0.039 % |
8.11/8.18 c | 44063 | 7667 66468 223528 | 39997 39447 19 | 0.039 % |
8.31/8.32 c | 44577 | 7667 66468 223528 | 39997 39961 19 | 0.039 % |
8.51/8.56 c | 45602 | 7667 66468 223528 | 39997 35062 18 | 0.039 % |
8.81/8.87 c | 47652 | 7667 66468 223528 | 39997 37112 18 | 0.039 % |
8.91/8.96 c | 48164 | 7667 66468 223528 | 39997 37624 18 | 0.039 % |
9.01/9.06 c | 48676 | 7667 66468 223528 | 39997 38136 18 | 0.039 % |
9.21/9.25 c | 49701 | 7667 66468 223528 | 39997 39161 18 | 0.039 % |
9.31/9.36 c | 50215 | 7667 66468 223528 | 39460 39675 18 | 0.039 % |
9.51/9.55 c | 50729 | 7667 66468 223528 | 39460 33731 18 | 0.039 % |
9.81/9.82 c | 51753 | 7667 66468 223528 | 39460 34755 18 | 0.039 % |
10.21/10.29 c | 53802 | 7667 66468 223528 | 39460 36804 18 | 0.039 % |
11.31/11.40 c | 57900 | 7667 66468 223528 | 39460 34034 18 | 0.039 % |
11.51/11.55 c | 58415 | 7667 66468 223528 | 39460 34549 17 | 0.039 % |
11.61/11.69 c | 58928 | 7667 66468 223528 | 39460 35062 18 | 0.039 % |
11.91/11.99 c | 59952 | 7667 66468 223528 | 39460 36086 18 | 0.039 % |
12.11/12.16 c | 60465 | 7667 66468 223528 | 36136 30507 17 | 0.039 % |
12.21/12.26 c | 60979 | 7667 66468 223528 | 36136 31021 17 | 0.039 % |
12.51/12.53 c | 62003 | 7667 66468 223528 | 36136 32045 17 | 0.039 % |
12.81/12.91 c | 64051 | 7667 66468 223528 | 36136 34093 17 | 0.039 % |
13.01/13.01 c | 64563 | 7667 66468 223528 | 36136 34605 17 | 0.039 % |
13.11/13.17 c | 65077 | 7667 66468 223528 | 36136 35119 17 | 0.039 % |
13.41/13.46 c | 66101 | 7667 66468 223528 | 36136 36143 17 | 0.039 % |
13.61/13.64 c | 66614 | 7667 66468 223528 | 36136 30480 16 | 0.039 % |
13.71/13.74 c | 67129 | 7667 66468 223528 | 36136 30995 16 | 0.039 % |
14.01/14.06 c | 68157 | 7667 66468 223528 | 36136 32023 16 | 0.039 % |
14.61/14.70 c | 70205 | 7667 66468 223528 | 33867 28355 17 | 0.039 % |
16.11/16.18 c | 74301 | 7667 66468 223528 | 33867 32451 17 | 0.039 % |
18.71/18.77 c | 82493 | 7667 66468 223528 | 31879 28934 17 | 0.039 % |
24.11/24.12 c | 98880 | 7667 66468 223528 | 30805 29391 17 | 0.039 % |
24.31/24.33 c | 99392 | 7667 66468 223528 | 30805 29903 17 | 0.039 % |
24.51/24.54 c | 99904 | 7667 66468 223528 | 30805 30415 17 | 0.039 % |
24.91/24.97 c | 100930 | 7667 66468 223528 | 30511 26368 17 | 0.039 % |
25.11/25.14 c | 101442 | 7667 66468 223528 | 30511 26880 17 | 0.039 % |
25.21/25.27 c | 101955 | 7667 66468 223528 | 30511 27393 17 | 0.039 % |
25.51/25.54 c | 102981 | 7667 66468 223528 | 30511 28419 17 | 0.039 % |
26.21/26.24 c | 105029 | 7667 66468 223528 | 30511 30467 17 | 0.039 % |
26.31/26.37 c | 105543 | 7667 66468 223528 | 30511 30981 17 | 0.039 % |
26.41/26.50 c | 106055 | 7667 66468 223528 | 30511 26277 16 | 0.039 % |
26.71/26.77 c | 107079 | 7667 66468 223528 | 30511 27301 17 | 0.039 % |
26.81/26.88 c | 107592 | 7667 66468 223528 | 30511 27814 17 | 0.039 % |
27.01/27.01 c | 108104 | 7667 66468 223528 | 30511 28326 17 | 0.039 % |
27.31/27.34 c | 109129 | 7667 66468 223528 | 30511 29351 17 | 0.039 % |
28.11/28.19 c | 111177 | 7667 66468 223528 | 30222 26034 16 | 0.039 % |
29.51/29.54 c | 115276 | 7667 66468 223528 | 30222 30133 17 | 0.039 % |
29.71/29.76 c | 115788 | 7667 66468 223528 | 30222 25766 16 | 0.039 % |
29.91/29.93 c | 116305 | 7667 66468 223528 | 30222 26283 16 | 0.039 % |
30.21/30.26 c | 117331 | 7667 66468 223528 | 30222 27309 16 | 0.039 % |
30.41/30.42 c | 117846 | 7667 66468 223528 | 30222 27824 17 | 0.039 % |
30.61/30.65 c | 118359 | 7667 66468 223528 | 30222 28337 17 | 0.039 % |
30.91/30.98 c | 119383 | 7667 66468 223528 | 30222 29361 17 | 0.039 % |
31.61/31.65 c | 121431 | 7667 66468 223528 | 29979 26398 17 | 0.039 % |
31.71/31.80 c | 121944 | 7667 66468 223528 | 29979 26911 17 | 0.039 % |
31.91/31.96 c | 122459 | 7667 66468 223528 | 29979 27426 17 | 0.039 % |
32.31/32.31 c | 123484 | 7667 66468 223528 | 29979 28451 17 | 0.039 % |
32.51/32.53 c | 123998 | 7667 66468 223528 | 29979 28965 17 | 0.039 % |
32.71/32.75 c | 124511 | 7667 66468 223528 | 29979 29478 17 | 0.039 % |
32.91/32.95 c | 125536 | 7667 66468 223528 | 29979 25685 16 | 0.039 % |
33.41/33.46 c | 127584 | 7667 66468 223528 | 29979 27733 17 | 0.039 % |
34.01/34.09 c | 131681 | 7667 66468 223528 | 25638 23450 15 | 0.039 % |
35.71/35.71 c | 139873 | 7667 66468 223528 | 25638 25865 16 | 0.039 % |
35.81/35.84 c | 140385 | 7667 66468 223528 | 2147483647 23791 16 | 0.039 % |
35.91/35.95 c | 140898 | 7667 66468 223528 | 2147483647 24304 16 | 0.039 % |
36.11/36.15 c | 141922 | 7667 66468 223528 | 2147483647 25328 16 | 0.039 % |
36.21/36.26 c | 142435 | 7667 66468 223528 | 2147483647 25841 17 | 0.039 % |
36.32/36.36 c | 142948 | 7667 66468 223528 | 2147483647 26354 17 | 0.039 % |
36.61/36.61 c | 143973 | 7667 66468 223528 | 2147483647 27379 17 | 0.039 % |
37.01/37.10 c | 146022 | 7667 66468 223528 | 2147483647 29428 17 | 0.039 % |
37.21/37.24 c | 146534 | 7667 66468 223528 | 2147483647 29940 17 | 0.039 % |
37.31/37.34 c | 147047 | 7667 66468 223528 | 2147483647 30453 17 | 0.039 % |
37.71/37.71 c | 148072 | 7667 66468 223528 | 2147483647 31478 17 | 0.039 % |
37.81/37.87 c | 148587 | 7667 66468 223528 | 2147483647 31993 17 | 0.039 % |
38.01/38.02 c | 149101 | 7667 66468 223528 | 2147483647 32507 17 | 0.039 % |
38.31/38.39 c | 150125 | 7667 66468 223528 | 2147483647 33531 17 | 0.039 % |
39.01/39.02 c | 152173 | 7667 66468 223528 | 2147483647 35579 17 | 0.039 % |
40.51/40.60 c | 156269 | 7667 66468 223528 | 2147483647 39675 17 | 0.039 % |
40.81/40.85 c | 156783 | 7667 66468 223528 | 2147483647 40189 17 | 0.039 % |
41.11/41.12 c | 157297 | 7667 66468 223528 | 2147483647 40703 17 | 0.039 % |
41.61/41.67 c | 158321 | 7667 66468 223528 | 2147483647 41727 17 | 0.039 % |
41.82/41.88 c | 158833 | 7667 66468 223528 | 2147483647 42239 17 | 0.039 % |
42.11/42.12 c | 159345 | 7667 66468 223528 | 2147483647 42751 17 | 0.039 % |
42.61/42.63 c | 160369 | 7667 66468 223528 | 43408 35776 17 | 0.039 % |
43.61/43.66 c | 162417 | 7667 66468 223528 | 43408 37824 17 | 0.039 % |
43.81/43.88 c | 162930 | 7667 66468 223528 | 43408 38337 17 | 0.039 % |
44.02/44.08 c | 163442 | 7667 66468 223528 | 43408 38849 17 | 0.039 % |
44.41/44.45 c | 164467 | 7667 66468 223528 | 43408 39874 17 | 0.039 % |
44.61/44.63 c | 164981 | 7667 66468 223528 | 43408 40388 17 | 0.039 % |
44.71/44.76 c | 165494 | 7667 66468 223528 | 43408 40901 17 | 0.039 % |
45.01/45.04 c | 166519 | 7667 66468 223528 | 43408 41926 17 | 0.039 % |
45.71/45.72 c | 168567 | 7667 66468 223528 | 43408 35516 17 | 0.039 % |
47.21/47.28 c | 172664 | 7667 66468 223528 | 36949 32576 17 | 0.039 % |
49.31/49.38 c | 180857 | 7667 66468 223528 | 35691 32754 19 | 0.039 % |
55.61/55.61 c | 197242 | 7667 66468 223528 | 33320 32728 20 | 0.039 % |
66.71/66.74 c | 230012 | 7667 66468 223528 | 2147483647 27594 19 | 0.039 % |
66.81/66.86 c | 230524 | 7667 66468 223528 | 2147483647 28106 19 | 0.039 % |
66.91/66.92 c | 231036 | 7667 66468 223528 | 2147483647 28618 19 | 0.039 % |
67.01/67.09 c | 232060 | 7667 66468 223528 | 2147483647 29642 19 | 0.039 % |
67.12/67.15 c | 232573 | 7667 66468 223528 | 2147483647 30155 19 | 0.039 % |
67.21/67.22 c | 233086 | 7667 66468 223528 | 2147483647 30668 18 | 0.039 % |
67.21/67.30 c | 234111 | 7667 66468 223528 | 2147483647 31693 18 | 0.039 % |
67.51/67.59 c | 236160 | 7667 66468 223528 | 2147483647 33742 18 | 0.039 % |
67.61/67.69 c | 236673 | 7667 66468 223528 | 2147483647 34255 18 | 0.039 % |
67.71/67.77 c | 237185 | 7667 66468 223528 | 2147483647 34767 18 | 0.039 % |
67.81/67.90 c | 238210 | 7667 66468 223528 | 2147483647 35792 18 | 0.039 % |
68.01/68.05 c | 238722 | 7667 66468 223528 | 2147483647 36304 18 | 0.039 % |
68.11/68.18 c | 239234 | 7667 66468 223528 | 2147483647 36816 18 | 0.039 % |
68.51/68.53 c | 240258 | 7667 66468 223528 | 2147483647 37840 18 | 0.039 % |
69.01/69.07 c | 242307 | 7667 66468 223528 | 2147483647 39889 18 | 0.039 % |
70.51/70.53 c | 246404 | 7667 66468 223528 | 2147483647 43986 19 | 0.039 % |
70.71/70.71 c | 246917 | 7667 66468 223528 | 2147483647 44499 19 | 0.039 % |
70.91/70.92 c | 247431 | 7667 66468 223528 | 2147483647 45013 19 | 0.039 % |
71.21/71.23 c | 248455 | 7667 66468 223528 | 2147483647 46037 19 | 0.039 % |
71.31/71.39 c | 248967 | 7667 66468 223528 | 2147483647 46549 19 | 0.039 % |
71.52/71.56 c | 249479 | 7667 66468 223528 | 2147483647 47061 19 | 0.039 % |
72.01/72.06 c | 250504 | 7667 66468 223528 | 47582 40412 19 | 0.039 % |
72.71/72.79 c | 252552 | 7667 66468 223528 | 47582 42460 19 | 0.039 % |
73.01/73.02 c | 253064 | 7667 66468 223528 | 47582 42972 19 | 0.039 % |
73.11/73.20 c | 253576 | 7667 66468 223528 | 47582 43484 19 | 0.039 % |
73.41/73.48 c | 254600 | 7667 66468 223528 | 47582 44508 19 | 0.039 % |
73.61/73.62 c | 255112 | 7667 66468 223528 | 47582 45020 19 | 0.039 % |
73.81/73.85 c | 255625 | 7667 66468 223528 | 47582 45533 19 | 0.039 % |
74.11/74.14 c | 256651 | 7667 66468 223528 | 47582 46559 19 | 0.039 % |
74.61/74.70 c | 258702 | 7667 66468 223528 | 47582 39876 18 | 0.039 % |
76.01/76.09 c | 262798 | 7667 66468 223528 | 41174 36177 18 | 0.039 % |
78.82/78.88 c | 270990 | 7667 66468 223528 | 36494 31513 18 | 0.039 % |
79.02/79.06 c | 271502 | 7667 66468 223528 | 36494 32025 18 | 0.039 % |
79.12/79.17 c | 272014 | 7664 66061 221528 | 36494 32395 18 | 0.078 % |
79.42/79.45 c | 273038 | 7664 66061 221528 | 36494 33419 18 | 0.078 % |
79.52/79.60 c | 273550 | 7664 66061 221528 | 36494 33931 18 | 0.078 % |
79.72/79.78 c | 274063 | 7664 66061 221528 | 36494 34444 18 | 0.078 % |
80.12/80.12 c | 275087 | 7664 66061 221528 | 36494 35468 19 | 0.078 % |
80.82/80.83 c | 277136 | 7664 66061 221528 | 36494 32306 19 | 0.078 % |
81.02/81.02 c | 277651 | 7664 66061 221528 | 36494 32821 19 | 0.078 % |
81.12/81.18 c | 278163 | 7664 66061 221528 | 36494 33333 19 | 0.078 % |
81.52/81.57 c | 279189 | 7664 66061 221528 | 36494 34359 19 | 0.078 % |
81.72/81.73 c | 279704 | 7664 66061 221528 | 36494 34874 19 | 0.078 % |
81.92/81.91 c | 280217 | 7664 66061 221528 | 35171 35387 19 | 0.078 % |
82.22/82.27 c | 281241 | 7664 66061 221528 | 35171 31426 19 | 0.078 % |
82.72/82.79 c | 283290 | 7664 66061 221528 | 35171 33475 19 | 0.078 % |
84.32/84.34 c | 287387 | 7664 66061 221528 | 35171 33031 19 | 0.078 % |
84.42/84.51 c | 287899 | 7664 66061 221528 | 35171 33543 19 | 0.078 % |
84.62/84.71 c | 288411 | 7664 66061 221528 | 35171 34055 19 | 0.078 % |
85.02/85.03 c | 289435 | 7664 66061 221528 | 35171 35079 19 | 0.078 % |
85.12/85.19 c | 289947 | 7664 66061 221528 | 35171 35591 19 | 0.078 % |
85.32/85.40 c | 290459 | 7664 66061 221528 | 31146 27667 18 | 0.078 % |
85.62/85.63 c | 291484 | 7664 66061 221528 | 31146 28692 18 | 0.078 % |
86.22/86.26 c | 293532 | 7664 66061 221528 | 31146 30740 19 | 0.078 % |
86.42/86.43 c | 294046 | 7664 66061 221528 | 31146 31254 19 | 0.078 % |
86.62/86.64 c | 294559 | 7664 66061 221528 | 31146 28111 18 | 0.078 % |
86.92/86.96 c | 295585 | 7664 66061 221528 | 31146 29137 19 | 0.078 % |
87.02/87.10 c | 296099 | 7664 66061 221528 | 31146 29651 19 | 0.078 % |
87.22/87.26 c | 296611 | 7664 66061 221528 | 31146 30163 19 | 0.078 % |
87.52/87.59 c | 297635 | 7664 66061 221528 | 31146 31187 19 | 0.078 % |
88.32/88.36 c | 299683 | 7664 66061 221528 | 31146 29674 19 | 0.078 % |
89.72/89.81 c | 303780 | 7664 66061 221528 | 29991 27374 18 | 0.078 % |
92.62/92.70 c | 311973 | 7664 66061 221528 | 2147483647 29494 19 | 0.078 % |
98.92/98.92 c | 328359 | 7664 66061 221528 | 37521 36076 19 | 0.078 % |
99.02/99.08 c | 328871 | 7664 66061 221528 | 37521 36588 19 | 0.078 % |
99.22/99.26 c | 329384 | 7664 66061 221528 | 37521 37101 19 | 0.078 % |
99.62/99.71 c | 330408 | 7664 66061 221528 | 32284 27955 17 | 0.078 % |
99.82/99.86 c | 330923 | 7664 66061 221528 | 32284 28470 18 | 0.078 % |
99.92/99.99 c | 331436 | 7664 66061 221528 | 32284 28983 18 | 0.078 % |
100.22/100.26 c | 332460 | 7664 66061 221528 | 32284 30007 18 | 0.078 % |
100.92/100.98 c | 334509 | 7664 66061 221528 | 32284 32056 18 | 0.078 % |
101.12/101.21 c | 335023 | 7664 66061 221528 | 32284 28219 18 | 0.078 % |
101.32/101.37 c | 335536 | 7664 66061 221528 | 32284 28732 18 | 0.078 % |
101.62/101.63 c | 336560 | 7664 66061 221528 | 32284 29756 18 | 0.078 % |
101.82/101.82 c | 337073 | 7664 66061 221528 | 32284 30269 18 | 0.078 % |
101.92/101.97 c | 337586 | 7656 65244 216725 | 32284 30657 18 | 0.183 % |
102.22/102.30 c | 338613 | 7656 65244 216725 | 32284 31684 18 | 0.183 % |
102.92/103.00 c | 340661 | 7656 65244 216725 | 28782 29441 18 | 0.183 % |
104.32/104.38 c | 344757 | 7656 65244 216725 | 28782 26727 17 | 0.183 % |
104.42/104.50 c | 345271 | 7656 65244 216725 | 28782 27241 18 | 0.183 % |
104.62/104.66 c | 345784 | 7656 65244 216725 | 28782 27754 18 | 0.183 % |
104.92/105.01 c | 346808 | 7656 65244 216725 | 28782 28778 18 | 0.183 % |
105.12/105.16 c | 347322 | 7656 65244 216725 | 28782 26334 18 | 0.183 % |
105.22/105.29 c | 347834 | 7656 65244 216725 | 28782 26846 18 | 0.183 % |
105.52/105.56 c | 348863 | 7656 65244 216725 | 28782 27875 18 | 0.183 % |
106.12/106.16 c | 350911 | 7656 65244 216725 | 2147483647 27030 18 | 0.183 % |
106.32/106.34 c | 351423 | 7656 65244 216725 | 2147483647 27542 18 | 0.183 % |
106.42/106.48 c | 351936 | 7656 65244 216725 | 2147483647 28055 18 | 0.183 % |
106.62/106.71 c | 352960 | 7656 65244 216725 | 2147483647 29079 18 | 0.183 % |
106.82/106.86 c | 353472 | 7656 65244 216725 | 2147483647 29591 18 | 0.183 % |
106.92/107.00 c | 353984 | 7656 65244 216725 | 2147483647 30103 18 | 0.183 % |
107.32/107.35 c | 355008 | 7656 65244 216725 | 2147483647 31127 18 | 0.183 % |
108.12/108.17 c | 357056 | 7656 65244 216725 | 2147483647 33175 19 | 0.183 % |
109.42/109.50 c | 361153 | 7656 65244 216725 | 2147483647 37272 19 | 0.183 % |
113.32/113.37 c | 369345 | 7656 65244 216725 | 2147483647 45464 19 | 0.183 % |
113.52/113.53 c | 369857 | 7656 65244 216725 | 2147483647 45976 19 | 0.183 % |
113.82/113.88 c | 370370 | 7656 65244 216725 | 46121 38338 19 | 0.183 % |
114.32/114.36 c | 371394 | 7656 65244 216725 | 46121 39362 19 | 0.183 % |
114.52/114.58 c | 371906 | 7656 65244 216725 | 46121 39874 19 | 0.183 % |
114.82/114.82 c | 372418 | 7656 65244 216725 | 46121 40386 19 | 0.183 % |
115.12/115.12 c | 373444 | 7656 65244 216725 | 46121 41412 19 | 0.183 % |
116.12/116.16 c | 375493 | 7656 65244 216725 | 46121 43461 19 | 0.183 % |
116.32/116.33 c | 376005 | 7656 65244 216725 | 46121 43973 19 | 0.183 % |
116.52/116.58 c | 376520 | 7656 65244 216725 | 46121 44488 19 | 0.183 % |
117.12/117.12 c | 377544 | 7656 65244 216725 | 46121 45512 19 | 0.183 % |
117.32/117.36 c | 378056 | 7656 65244 216725 | 46121 46024 19 | 0.183 % |
117.62/117.65 c | 378570 | 7656 65244 216725 | 46121 37808 18 | 0.183 % |
118.12/118.14 c | 379594 | 7656 65244 216725 | 46121 38832 18 | 0.183 % |
119.02/119.09 c | 381642 | 7656 65244 216725 | 39239 33275 18 | 0.183 % |
120.62/120.71 c | 385740 | 7656 65244 216725 | 39239 37373 18 | 0.183 % |
120.82/120.88 c | 386252 | 7656 65244 216725 | 39239 37885 18 | 0.183 % |
121.02/121.10 c | 386765 | 7656 65244 216725 | 39239 38398 18 | 0.183 % |
121.42/121.51 c | 387789 | 7656 65244 216725 | 39239 39422 19 | 0.183 % |
121.72/121.76 c | 388302 | 7656 65244 216725 | 39239 33478 18 | 0.183 % |
121.92/121.93 c | 388814 | 7656 65244 216725 | 39239 33990 18 | 0.183 % |
122.22/122.29 c | 389838 | 7656 65244 216725 | 39239 35014 18 | 0.183 % |
123.02/123.06 c | 391887 | 7656 65244 216725 | 35176 31445 18 | 0.183 % |
123.22/123.28 c | 392401 | 7656 65244 216725 | 35176 31959 18 | 0.183 % |
123.42/123.48 c | 392914 | 7656 65244 216725 | 35176 32472 18 | 0.183 % |
123.62/123.68 c | 393939 | 7656 65244 216725 | 35176 33497 18 | 0.183 % |
123.82/123.91 c | 394452 | 7656 65244 216725 | 35176 34010 18 | 0.183 % |
124.12/124.12 c | 394965 | 7656 65244 216725 | 35176 34523 18 | 0.183 % |
124.42/124.47 c | 395989 | 7656 65244 216725 | 35176 35547 18 | 0.183 % |
125.12/125.13 c | 398041 | 7656 65244 216725 | 35176 33325 18 | 0.183 % |
126.92/127.01 c | 402137 | 7656 65244 216725 | 35285 32822 18 | 0.183 % |
129.92/129.96 c | 410329 | 7656 65244 216725 | 32085 32414 19 | 0.183 % |
136.22/136.22 c | 426714 | 7656 65244 216725 | 32103 31843 20 | 0.183 % |
149.02/149.03 c | 459484 | 7656 65244 216725 | 41465 38450 21 | 0.183 % |
171.72/171.79 c | 525020 | 7654 65234 216702 | 2147483647 41991 19 | 0.209 % |
171.92/171.95 c | 525532 | 7654 65234 216702 | 2147483647 42503 19 | 0.209 % |
172.12/172.12 c | 526045 | 7654 65234 216702 | 2147483647 43016 19 | 0.209 % |
172.42/172.49 c | 527070 | 7654 65234 216702 | 2147483647 44041 19 | 0.209 % |
172.62/172.68 c | 527582 | 7654 65234 216702 | 2147483647 44553 19 | 0.209 % |
172.82/172.82 c | 528094 | 7654 65234 216702 | 2147483647 45065 19 | 0.209 % |
173.12/173.20 c | 529122 | 7654 65234 216702 | 2147483647 46093 19 | 0.209 % |
173.92/173.94 c | 531171 | 7654 65234 216702 | 46971 40080 19 | 0.209 % |
174.02/174.09 c | 531685 | 7654 65234 216702 | 46971 40594 19 | 0.209 % |
174.22/174.21 c | 532198 | 7654 65234 216702 | 46971 41107 19 | 0.209 % |
174.52/174.57 c | 533222 | 7654 65234 216702 | 46971 42131 19 | 0.209 % |
174.62/174.70 c | 533736 | 7654 65234 216702 | 46971 42645 19 | 0.209 % |
174.82/174.84 c | 534250 | 7654 65234 216702 | 46971 43159 19 | 0.209 % |
175.12/175.14 c | 535274 | 7654 65234 216702 | 46971 44183 19 | 0.209 % |
175.92/175.93 c | 537322 | 7654 65234 216702 | 46971 46231 20 | 0.209 % |
177.32/177.34 c | 541418 | 7654 65234 216702 | 40513 34945 19 | 0.209 % |
177.42/177.49 c | 541930 | 7654 65234 216702 | 40513 35457 19 | 0.209 % |
177.62/177.62 c | 542443 | 7654 65234 216702 | 40513 35970 19 | 0.209 % |
177.92/177.97 c | 543467 | 7654 65234 216702 | 40513 36994 19 | 0.209 % |
178.12/178.14 c | 543979 | 7654 65234 216702 | 40513 37506 19 | 0.209 % |
178.32/178.35 c | 544492 | 7654 65234 216702 | 40513 38019 19 | 0.209 % |
178.62/178.70 c | 545516 | 7654 65234 216702 | 40513 39043 19 | 0.209 % |
179.22/179.30 c | 547564 | 7654 65234 216702 | 40513 34725 19 | 0.209 % |
179.42/179.48 c | 548076 | 7654 65234 216702 | 40513 35237 19 | 0.209 % |
179.62/179.66 c | 548590 | 7654 65234 216702 | 40513 35751 19 | 0.209 % |
179.92/180.01 c | 549614 | 7654 65234 216702 | 40513 36775 19 | 0.209 % |
180.12/180.18 c | 550126 | 7654 65234 216702 | 37161 37287 19 | 0.209 % |
180.32/180.39 c | 550641 | 7654 65234 216702 | 37161 31905 19 | 0.209 % |
180.72/180.71 c | 551666 | 7654 65234 216702 | 37161 32930 19 | 0.209 % |
181.22/181.28 c | 553717 | 7654 65234 216702 | 37161 34981 19 | 0.209 % |
182.63/182.70 c | 557813 | 7654 65234 216702 | 37161 33916 19 | 0.209 % |
185.62/185.68 c | 566006 | 7654 65234 216702 | 36105 32331 18 | 0.209 % |
185.82/185.88 c | 566518 | 7654 65234 216702 | 36105 32843 18 | 0.209 % |
185.93/186.00 c | 567030 | 7654 65234 216702 | 36105 33355 18 | 0.209 % |
186.32/186.32 c | 568055 | 7654 65234 216702 | 36105 34380 18 | 0.209 % |
186.32/186.38 c | 568567 | 7654 65234 216702 | 36105 34892 18 | 0.209 % |
186.42/186.50 c | 569081 | 7654 65234 216702 | 36105 35406 18 | 0.209 % |
186.82/186.86 c | 570108 | 7654 65234 216702 | 31381 31489 18 | 0.209 % |
187.32/187.36 c | 572158 | 7654 65234 216702 | 31381 29230 18 | 0.209 % |
187.42/187.50 c | 572670 | 7654 65234 216702 | 31381 29742 18 | 0.209 % |
187.62/187.64 c | 573183 | 7654 65234 216702 | 31381 30255 18 | 0.209 % |
187.82/187.90 c | 574208 | 7654 65234 216702 | 31381 31280 18 | 0.209 % |
187.92/188.01 c | 574722 | 7654 65234 216702 | 31381 31794 18 | 0.209 % |
188.13/188.16 c | 575235 | 7654 65234 216702 | 31381 29128 18 | 0.209 % |
188.42/188.45 c | 576259 | 7654 65234 216702 | 31381 30152 18 | 0.209 % |
188.92/188.95 c | 578307 | 7654 65234 216702 | 31381 28987 18 | 0.209 % |
189.92/189.95 c | 582404 | 7653 65231 216696 | 2147483647 33083 18 | 0.222 % |
190.02/190.02 c | 582919 | 7653 65231 216696 | 2147483647 33598 18 | 0.222 % |
190.12/190.13 c | 583433 | 7653 65231 216696 | 2147483647 34112 18 | 0.222 % |
190.33/190.37 c | 584459 | 7653 65231 216696 | 2147483647 35138 18 | 0.222 % |
190.52/190.53 c | 584971 | 7653 65231 216696 | 2147483647 35650 19 | 0.222 % |
190.72/190.71 c | 585483 | 7653 65231 216696 | 2147483647 36162 19 | 0.222 % |
190.92/190.99 c | 586509 | 7653 65231 216696 | 2147483647 37188 19 | 0.222 % |
191.63/191.70 c | 588558 | 7653 65231 216696 | 2147483647 39237 19 | 0.222 % |
191.83/191.86 c | 589071 | 7653 65231 216696 | 2147483647 39750 19 | 0.222 % |
192.03/192.08 c | 589583 | 7653 65231 216696 | 2147483647 40262 19 | 0.222 % |
192.43/192.47 c | 590607 | 7653 65231 216696 | 40680 35535 19 | 0.222 % |
192.63/192.63 c | 591120 | 7653 65231 216696 | 40680 36048 19 | 0.222 % |
192.73/192.75 c | 591633 | 7653 65231 216696 | 40680 36561 19 | 0.222 % |
193.03/193.11 c | 592659 | 7653 65231 216696 | 40680 37587 19 | 0.222 % |
193.63/193.67 c | 594707 | 7653 65231 216696 | 40680 39635 19 | 0.222 % |
195.13/195.17 c | 598804 | 7653 65231 216696 | 40680 37365 19 | 0.222 % |
197.93/197.96 c | 606997 | 7653 65231 216696 | 38562 35347 18 | 0.222 % |
203.63/203.67 c | 623381 | 7653 65231 216696 | 38115 36384 18 | 0.222 % |
203.73/203.81 c | 623895 | 7653 65231 216696 | 38115 36898 18 | 0.222 % |
203.93/203.99 c | 624407 | 7653 65231 216696 | 38115 37410 18 | 0.222 % |
204.33/204.33 c | 625431 | 7653 65231 216696 | 38115 38434 18 | 0.222 % |
204.53/204.55 c | 625943 | 7653 65231 216696 | 38115 33860 18 | 0.222 % |
204.63/204.68 c | 626457 | 7653 65231 216696 | 38115 34374 18 | 0.222 % |
204.93/205.01 c | 627483 | 7653 65231 216696 | 38115 35400 18 | 0.222 % |
205.43/205.47 c | 629531 | 7653 65231 216696 | 38115 37448 18 | 0.222 % |
205.63/205.65 c | 630044 | 7653 65231 216696 | 37918 37961 18 | 0.222 % |
205.83/205.82 c | 630557 | 7653 65231 216696 | 37918 33412 18 | 0.222 % |
206.13/206.12 c | 631581 | 7653 65231 216696 | 37918 34436 18 | 0.222 % |
206.23/206.24 c | 632093 | 7653 65231 216696 | 37918 34948 18 | 0.222 % |
206.43/206.46 c | 632607 | 7653 65231 216696 | 37918 35462 18 | 0.222 % |
206.73/206.75 c | 633632 | 7653 65231 216696 | 37918 36487 18 | 0.222 % |
207.43/207.42 c | 635680 | 7653 65231 216696 | 37918 33375 18 | 0.222 % |
208.63/208.71 c | 639776 | 7653 65231 216696 | 37918 37471 18 | 0.222 % |
208.83/208.91 c | 640288 | 7653 65231 216696 | 37696 37983 18 | 0.222 % |
209.03/209.10 c | 640800 | 7653 65231 216696 | 37696 33294 18 | 0.222 % |
209.33/209.35 c | 641824 | 7653 65231 216696 | 37696 34318 18 | 0.222 % |
209.43/209.50 c | 642337 | 7653 65231 216696 | 37696 34831 18 | 0.222 % |
209.63/209.68 c | 642849 | 7653 65231 216696 | 37696 35343 18 | 0.222 % |
209.93/209.95 c | 643875 | 7653 65231 216696 | 37696 36369 18 | 0.222 % |
210.63/210.72 c | 645923 | 7653 65231 216696 | 37696 33023 18 | 0.222 % |
210.83/210.89 c | 646435 | 7653 65231 216696 | 37696 33535 18 | 0.222 % |
211.03/211.07 c | 646951 | 7653 65231 216696 | 37696 34051 18 | 0.222 % |
211.33/211.37 c | 647977 | 7653 65231 216696 | 37696 35077 18 | 0.222 % |
211.53/211.52 c | 648489 | 7653 65231 216696 | 37696 35589 18 | 0.222 % |
211.63/211.69 c | 649001 | 7653 65231 216696 | 37696 36101 18 | 0.222 % |
211.73/211.82 c | 650025 | 7653 65231 216696 | 37100 37125 18 | 0.222 % |
212.43/212.45 c | 652074 | 7653 65231 216696 | 37100 34061 18 | 0.222 % |
213.13/213.18 c | 656171 | 7653 65231 216696 | 37100 32973 16 | 0.222 % |
215.13/215.21 c | 664364 | 7653 65231 216696 | 36803 35934 16 | 0.222 % |
215.33/215.42 c | 664880 | 7653 65231 216696 | 36803 36450 16 | 0.222 % |
215.53/215.53 c | 665392 | 7653 65231 216696 | 36803 36962 16 | 0.222 % |
215.83/215.88 c | 666416 | 7653 65231 216696 | 36803 33599 16 | 0.222 % |
215.93/216.02 c | 666928 | 7653 65231 216696 | 36803 34111 16 | 0.222 % |
216.13/216.14 c | 667440 | 7653 65231 216696 | 36803 34623 16 | 0.222 % |
216.43/216.43 c | 668464 | 7653 65231 216696 | 36803 35647 16 | 0.222 % |
216.93/216.96 c | 670512 | 7653 65231 216696 | 32847 29609 15 | 0.222 % |
217.03/217.08 c | 671024 | 7635 64550 213911 | 32847 23576 15 | 0.456 % |
217.13/217.21 c | 671536 | 7634 64550 213911 | 32847 24087 16 | 0.469 % |
217.43/217.52 c | 672562 | 7634 64550 213911 | 32847 25113 16 | 0.469 % |
217.63/217.63 c | 673074 | 7634 64550 213911 | 32847 25625 16 | 0.469 % |
217.73/217.77 c | 673586 | 7634 64550 213911 | 32847 26137 16 | 0.469 % |
218.03/218.07 c | 674611 | 7634 64547 213905 | 32847 27161 16 | 0.469 % |
218.63/218.68 c | 676659 | 7634 64547 213905 | 32847 29209 16 | 0.469 % |
219.73/219.75 c | 680757 | 7634 64547 213905 | 2147483647 33307 17 | 0.469 % |
219.83/219.87 c | 681269 | 7634 64547 213905 | 2147483647 33819 17 | 0.469 % |
219.93/220.01 c | 681781 | 7634 64547 213905 | 2147483647 34331 17 | 0.469 % |
220.33/220.36 c | 682805 | 7634 64547 213905 | 2147483647 35355 17 | 0.469 % |
220.53/220.54 c | 683317 | 7634 64547 213905 | 2147483647 35867 17 | 0.469 % |
220.73/220.74 c | 683834 | 7634 64547 213905 | 2147483647 36384 17 | 0.469 % |
221.03/221.08 c | 684860 | 7634 64547 213905 | 2147483647 37410 17 | 0.469 % |
221.83/221.89 c | 686909 | 7634 64547 213905 | 2147483647 39459 18 | 0.469 % |
222.03/222.08 c | 687421 | 7634 64547 213905 | 2147483647 39971 18 | 0.469 % |
222.23/222.28 c | 687933 | 7634 64547 213905 | 2147483647 40483 18 | 0.469 % |
222.53/222.59 c | 688957 | 7634 64547 213905 | 2147483647 41507 18 | 0.469 % |
222.73/222.79 c | 689469 | 7634 64547 213905 | 2147483647 42019 18 | 0.469 % |
222.93/222.98 c | 689982 | 7634 64547 213905 | 2147483647 42532 18 | 0.469 % |
223.33/223.34 c | 691006 | 7634 64547 213905 | 42553 37201 18 | 0.469 % |
223.93/223.98 c | 693054 | 7634 64547 213905 | 42553 39249 18 | 0.469 % |
225.43/225.45 c | 697150 | 7634 64547 213905 | 42553 36167 18 | 0.469 % |
228.03/228.05 c | 705344 | 7634 64547 213905 | 39019 38449 18 | 0.469 % |
234.03/234.11 c | 721728 | 7632 64522 213845 | 36678 33438 17 | 0.495 % |
245.43/245.45 c | 754496 | 7631 64519 213839 | 30741 27528 17 | 0.508 % |
245.53/245.56 c | 755011 | 7631 64519 213839 | 30741 28043 17 | 0.508 % |
245.73/245.72 c | 755525 | 7631 64519 213839 | 30741 28557 17 | 0.508 % |
245.93/245.99 c | 756549 | 7630 64516 213833 | 30741 29566 17 | 0.522 % |
246.03/246.10 c | 757061 | 7629 64516 213833 | 30741 30077 17 | 0.535 % |
246.23/246.26 c | 757576 | 7629 64516 213833 | 30741 30592 17 | 0.535 % |
246.43/246.51 c | 758600 | 7628 64516 213833 | 30741 27952 17 | 0.548 % |
246.93/246.98 c | 760649 | 7628 64516 213833 | 29352 26551 17 | 0.548 % |
247.03/247.11 c | 761165 | 7628 64510 213821 | 29352 27064 17 | 0.548 % |
247.23/247.25 c | 761679 | 7628 64510 213821 | 29352 27578 17 | 0.548 % |
247.43/247.51 c | 762703 | 7628 64510 213821 | 29352 28602 17 | 0.548 % |
247.63/247.62 c | 763221 | 7628 64510 213821 | 29352 29120 17 | 0.548 % |
247.73/247.74 c | 763733 | 7628 64510 213821 | 29352 29632 17 | 0.548 % |
247.93/248.00 c | 764760 | 7628 64510 213821 | 29352 27696 17 | 0.548 % |
248.53/248.57 c | 766809 | 7628 64510 213821 | 29352 26786 17 | 0.548 % |
249.73/249.77 c | 770905 | 7628 64510 213821 | 2147483647 27911 17 | 0.548 % |
249.93/249.92 c | 771417 | 7625 64501 213803 | 2147483647 28411 17 | 0.587 % |
250.03/250.10 c | 771929 | 7625 64501 213803 | 2147483647 28923 17 | 0.587 % |
250.33/250.36 c | 772955 | 7625 64501 213803 | 2147483647 29949 17 | 0.587 % |
250.43/250.50 c | 773467 | 7625 64501 213803 | 2147483647 30461 17 | 0.587 % |
250.63/250.67 c | 773980 | 7625 64501 213803 | 2147483647 30974 17 | 0.587 % |
250.93/250.92 c | 775004 | 7623 64495 213791 | 2147483647 31986 17 | 0.613 % |
251.63/251.63 c | 777052 | 7623 64495 213791 | 2147483647 34034 18 | 0.613 % |
251.73/251.76 c | 777565 | 7623 64495 213791 | 2147483647 34547 18 | 0.613 % |
251.83/251.89 c | 778077 | 7623 64495 213791 | 2147483647 35059 18 | 0.613 % |
252.23/252.24 c | 779101 | 7623 64495 213791 | 2147483647 36083 18 | 0.613 % |
252.33/252.41 c | 779613 | 7623 64495 213791 | 2147483647 36595 18 | 0.613 % |
252.53/252.61 c | 780125 | 7622 64492 213785 | 36981 37105 18 | 0.626 % |
252.83/252.90 c | 781150 | 7622 64492 213785 | 36981 33551 18 | 0.626 % |
253.43/253.51 c | 783198 | 7622 64492 213785 | 36981 35599 18 | 0.626 % |
254.83/254.87 c | 787295 | 7622 64492 213785 | 36981 34517 17 | 0.626 % |
257.53/257.55 c | 795487 | 7622 64492 213785 | 37222 33115 18 | 0.626 % |
257.73/257.75 c | 795999 | 7622 64492 213785 | 37222 33627 18 | 0.626 % |
257.83/257.91 c | 796511 | 7622 64492 213785 | 37222 34139 18 | 0.626 % |
258.23/258.30 c | 797535 | 7617 64383 213468 | 37222 35149 18 | 0.691 % |
258.43/258.43 c | 798047 | 7617 64383 213468 | 37222 35661 18 | 0.691 % |
258.54/258.56 c | 798559 | 7617 64383 213468 | 37222 36173 18 | 0.691 % |
258.83/258.89 c | 799583 | 7617 64383 213468 | 37222 37197 18 | 0.691 % |
259.43/259.51 c | 801632 | 7617 64383 213468 | 32384 29447 17 | 0.691 % |
259.64/259.70 c | 802145 | 7617 64380 213462 | 32384 29957 17 | 0.691 % |
259.83/259.87 c | 802657 | 7617 64380 213462 | 32384 30469 17 | 0.691 % |
260.23/260.24 c | 803681 | 7617 64380 213462 | 32384 31493 17 | 0.691 % |
260.33/260.34 c | 804194 | 7617 64380 213462 | 32384 32006 17 | 0.691 % |
260.43/260.49 c | 804706 | 7617 64380 213462 | 32384 32518 17 | 0.691 % |
260.63/260.69 c | 805732 | 7617 64380 213462 | 32384 29859 17 | 0.691 % |
261.33/261.33 c | 807782 | 7617 64380 213462 | 32384 31909 17 | 0.691 % |
262.73/262.80 c | 811878 | 7617 64380 213462 | 30601 29034 17 | 0.691 % |
262.94/262.93 c | 812390 | 7617 64380 213462 | 30601 29546 17 | 0.691 % |
263.03/263.08 c | 812902 | 7617 64380 213462 | 30601 30058 17 | 0.691 % |
263.33/263.35 c | 813928 | 7617 64380 213462 | 30601 27973 17 | 0.691 % |
263.43/263.51 c | 814441 | 7617 64380 213462 | 30601 28486 17 | 0.691 % |
263.63/263.65 c | 814953 | 7617 64380 213462 | 30601 28998 17 | 0.691 % |
263.93/263.94 c | 815979 | 7617 64380 213462 | 30601 30024 17 | 0.691 % |
264.53/264.53 c | 818027 | 7617 64380 213462 | 30601 28945 17 | 0.691 % |
264.63/264.68 c | 818542 | 7617 64380 213462 | 30601 29460 17 | 0.691 % |
264.83/264.82 c | 819054 | 7617 64380 213462 | 30601 29972 17 | 0.691 % |
265.03/265.12 c | 820079 | 7616 64377 213456 | 30917 30995 17 | 0.704 % |
265.23/265.30 c | 820591 | 7616 64377 213456 | 30917 28384 17 | 0.704 % |
265.33/265.41 c | 821103 | 7616 64377 213456 | 30917 28896 17 | 0.704 % |
265.73/265.72 c | 822128 | 7616 64377 213456 | 30917 29921 17 | 0.704 % |
266.33/266.40 c | 824177 | 7616 64377 213456 | 30917 28827 17 | 0.704 % |
267.53/267.53 c | 828274 | 7616 64377 213456 | 30917 29810 17 | 0.704 % |
270.03/270.03 c | 836467 | 7616 64377 213456 | 2147483647 34865 17 | 0.704 % |
276.43/276.45 c | 852852 | 7615 64374 213450 | 38542 35930 17 | 0.717 % |
276.63/276.66 c | 853365 | 7615 64374 213450 | 38542 36443 17 | 0.717 % |
276.83/276.90 c | 853877 | 7615 64374 213450 | 38542 36955 17 | 0.717 % |
277.13/277.22 c | 854901 | 7615 64374 213450 | 38542 37979 17 | 0.717 % |
277.33/277.40 c | 855413 | 7615 64374 213450 | 38542 38491 17 | 0.717 % |
277.53/277.58 c | 855925 | 7615 64374 213450 | 38542 33355 16 | 0.717 % |
277.83/277.86 c | 856949 | 7615 64374 213450 | 38542 34379 17 | 0.717 % |
278.53/278.54 c | 858998 | 7615 64374 213450 | 38542 36428 17 | 0.717 % |
278.63/278.71 c | 859512 | 7615 64374 213450 | 38542 36942 17 | 0.717 % |
278.83/278.87 c | 860024 | 7615 64374 213450 | 37432 37454 17 | 0.717 % |
279.13/279.21 c | 861048 | 7615 64374 213450 | 37432 32810 17 | 0.717 % |
279.33/279.35 c | 861561 | 7615 64374 213450 | 37432 33323 17 | 0.717 % |
279.44/279.50 c | 862074 | 7615 64374 213450 | 37432 33836 17 | 0.717 % |
279.73/279.79 c | 863099 | 7615 64374 213450 | 37432 34861 17 | 0.717 % |
280.54/280.55 c | 865147 | 7613 64368 213438 | 37432 36898 17 | 0.743 % |
281.83/281.91 c | 869244 | 7613 64368 213438 | 37432 35432 17 | 0.743 % |
282.03/282.07 c | 869757 | 7613 64368 213438 | 37432 35945 17 | 0.743 % |
282.23/282.23 c | 870271 | 7613 64368 213438 | 36188 36459 17 | 0.743 % |
282.43/282.50 c | 871297 | 7613 64368 213438 | 36188 32053 17 | 0.743 % |
282.63/282.68 c | 871811 | 7613 64368 213438 | 36188 32567 17 | 0.743 % |
282.74/282.81 c | 872324 | 7613 64368 213438 | 36188 33080 17 | 0.743 % |
283.13/283.19 c | 873350 | 7613 64368 213438 | 36188 34106 17 | 0.743 % |
283.73/283.80 c | 875398 | 7613 64368 213438 | 36188 36154 17 | 0.743 % |
283.93/283.98 c | 875910 | 7613 64368 213438 | 36188 31340 17 | 0.743 % |
284.03/284.11 c | 876423 | 7613 64368 213438 | 36188 31853 17 | 0.743 % |
284.43/284.44 c | 877447 | 7613 64368 213438 | 36188 32877 17 | 0.743 % |
284.53/284.58 c | 877961 | 7613 64368 213438 | 36188 33391 17 | 0.743 % |
284.73/284.72 c | 878473 | 7613 64368 213438 | 36188 33903 17 | 0.743 % |
285.13/285.15 c | 879500 | 7612 64365 213432 | 36188 34928 17 | 0.756 % |
285.73/285.81 c | 881549 | 7612 64365 213432 | 35428 31827 17 | 0.756 % |
287.33/287.38 c | 885645 | 7612 64365 213432 | 35428 30270 17 | 0.756 % |
290.23/290.30 c | 893838 | 7612 64365 213432 | 34627 33994 17 | 0.756 % |
290.44/290.47 c | 894350 | 7612 64365 213432 | 34627 34506 17 | 0.756 % |
290.63/290.68 c | 894862 | 7612 64365 213432 | 34627 30719 17 | 0.756 % |
291.03/291.05 c | 895886 | 7612 64365 213432 | 34627 31743 17 | 0.756 % |
291.23/291.24 c | 896400 | 7612 64365 213432 | 34627 32257 17 | 0.756 % |
291.43/291.44 c | 896913 | 7612 64365 213432 | 34627 32770 17 | 0.756 % |
291.73/291.76 c | 897938 | 7612 64365 213432 | 34627 33795 17 | 0.756 % |
292.43/292.46 c | 899986 | 7612 64365 213432 | 34627 31330 17 | 0.756 % |
292.53/292.62 c | 900503 | 7610 64359 213420 | 31344 27617 16 | 0.782 % |
292.73/292.78 c | 901015 | 7610 64359 213420 | 31344 28129 16 | 0.782 % |
293.03/293.05 c | 902040 | 7610 64359 213420 | 31344 29154 16 | 0.782 % |
293.13/293.20 c | 902552 | 7610 64359 213420 | 31344 29666 16 | 0.782 % |
293.33/293.35 c | 903066 | 7610 64359 213420 | 31344 30180 16 | 0.782 % |
293.53/293.61 c | 904091 | 7610 64359 213420 | 31344 31205 17 | 0.782 % |
294.13/294.21 c | 906141 | 7610 64359 213420 | 31344 29330 17 | 0.782 % |
295.43/295.47 c | 910237 | 7610 64359 213420 | 29700 29937 17 | 0.782 % |
295.63/295.63 c | 910750 | 7610 64359 213420 | 29700 27201 17 | 0.782 % |
295.73/295.77 c | 911263 | 7610 64359 213420 | 29700 27714 17 | 0.782 % |
296.03/296.04 c | 912287 | 7610 64359 213420 | 29700 28738 17 | 0.782 % |
296.13/296.21 c | 912799 | 7610 64359 213420 | 29700 29250 17 | 0.782 % |
296.33/296.37 c | 913311 | 7610 64359 213420 | 29700 29762 17 | 0.782 % |
296.63/296.66 c | 914336 | 7610 64359 213420 | 29700 27811 17 | 0.782 % |
297.13/297.16 c | 916384 | 7610 64359 213420 | 29700 29859 17 | 0.782 % |
297.33/297.34 c | 916897 | 7610 64359 213420 | 29700 27387 17 | 0.782 % |
297.43/297.50 c | 917410 | 7610 64359 213420 | 29700 27900 17 | 0.782 % |
297.73/297.81 c | 918435 | 7610 64359 213420 | 29700 28925 18 | 0.782 % |
297.93/297.93 c | 918947 | 7610 64359 213420 | 29700 29437 18 | 0.782 % |
298.03/298.09 c | 919460 | 7610 64359 213420 | 29700 29950 18 | 0.782 % |
298.33/298.37 c | 920484 | 7610 64359 213420 | 2147483647 27979 18 | 0.782 % |
298.83/298.87 c | 922532 | 7610 64359 213420 | 2147483647 30027 18 | 0.782 % |
300.23/300.25 c | 926628 | 7610 64359 213420 | 2147483647 34123 18 | 0.782 % |
303.13/303.17 c | 934822 | 7610 64359 213420 | 37497 37450 18 | 0.782 % |
309.03/309.07 c | 951206 | 7610 64359 213420 | 35843 31328 17 | 0.782 % |
320.83/320.89 c | 983975 | 7610 64359 213420 | 30820 30916 19 | 0.782 % |
342.43/342.50 c | 1049511 | 7607 64350 213402 | 37478 34870 18 | 0.821 % |
383.32/383.36 c | 1180584 | 7598 64323 213348 | 34980 30890 16 | 0.939 % |
383.52/383.54 c | 1181096 | 7598 64323 213348 | 34980 31402 16 | 0.939 % |
383.62/383.70 c | 1181608 | 7598 64323 213348 | 34980 31914 16 | 0.939 % |
383.93/383.93 c | 1182632 | 7598 64323 213348 | 34980 32938 16 | 0.939 % |
384.02/384.06 c | 1183144 | 7597 64320 213342 | 34980 33448 16 | 0.952 % |
384.12/384.18 c | 1183657 | 7597 64320 213342 | 34980 33961 16 | 0.952 % |
384.42/384.42 c | 1184681 | 7597 64320 213342 | 34980 34985 16 | 0.952 % |
385.03/385.03 c | 1186729 | 7595 64320 213342 | 34980 31977 16 | 0.991 % |
385.12/385.17 c | 1187242 | 7595 64320 213342 | 34980 32490 16 | 0.991 % |
385.32/385.31 c | 1187756 | 7594 64311 213324 | 34980 33003 16 | 0.991 % |
385.62/385.60 c | 1188781 | 7594 64311 213324 | 34980 34028 16 | 0.991 % |
385.72/385.73 c | 1189293 | 7594 64311 213324 | 34980 34540 16 | 0.991 % |
385.82/385.88 c | 1189805 | 7594 64311 213324 | 34980 35052 16 | 0.991 % |
386.22/386.22 c | 1190832 | 7594 64311 213324 | 35247 30697 16 | 0.991 % |
386.72/386.78 c | 1192881 | 7594 64311 213324 | 35247 32746 16 | 0.991 % |
387.62/387.68 c | 1196977 | 7593 64308 213318 | 35247 33164 17 | 1.004 % |
387.72/387.78 c | 1197489 | 7593 64308 213318 | 35247 33676 17 | 1.004 % |
387.82/387.89 c | 1198001 | 7593 64308 213318 | 35247 34188 17 | 1.004 % |
388.22/388.25 c | 1199025 | 7593 64308 213318 | 35247 35212 17 | 1.004 % |
388.42/388.45 c | 1199538 | 7593 64308 213318 | 35247 31820 17 | 1.004 % |
388.62/388.63 c | 1200050 | 7592 64292 213285 | 32281 32329 17 | 1.017 % |
388.82/388.89 c | 1201074 | 7592 64292 213285 | 32281 29556 17 | 1.017 % |
389.32/389.38 c | 1203125 | 7592 64292 213285 | 32281 31607 17 | 1.017 % |
389.52/389.52 c | 1203638 | 7592 64292 213285 | 32281 32120 17 | 1.017 % |
389.62/389.69 c | 1204152 | 7592 64292 213285 | 32281 28682 17 | 1.017 % |
389.92/389.96 c | 1205176 | 7591 64289 213279 | 32281 29704 17 | 1.030 % |
390.02/390.07 c | 1205688 | 7591 64289 213279 | 32281 30216 17 | 1.030 % |
390.12/390.19 c | 1206201 | 7591 64289 213279 | 32281 30729 17 | 1.030 % |
390.42/390.48 c | 1207226 | 7590 64289 213279 | 32281 31753 17 | 1.043 % |
391.02/391.03 c | 1209276 | 7588 64187 212977 | 32281 29891 17 | 1.082 % |
392.02/392.05 c | 1213372 | 7587 64187 212977 | 30615 30112 17 | 1.095 % |
394.22/394.26 c | 1221564 | 7586 64159 212911 | 2147483647 32105 18 | 1.095 % |
394.42/394.41 c | 1222079 | 7586 64159 212911 | 2147483647 32620 18 | 1.095 % |
394.52/394.55 c | 1222591 | 7586 64159 212911 | 2147483647 33132 18 | 1.095 % |
394.82/394.90 c | 1223615 | 7586 64159 212911 | 2147483647 34156 18 | 1.095 % |
395.02/395.07 c | 1224127 | 7586 64159 212911 | 2147483647 34668 18 | 1.095 % |
395.22/395.23 c | 1224641 | 7586 64159 212911 | 2147483647 35182 18 | 1.095 % |
395.52/395.55 c | 1225666 | 7586 64159 212911 | 2147483647 36207 18 | 1.095 % |
396.22/396.24 c | 1227716 | 7586 64159 212911 | 2147483647 38257 18 | 1.095 % |
396.42/396.46 c | 1228229 | 7586 64159 212911 | 2147483647 38770 18 | 1.095 % |
396.62/396.64 c | 1228742 | 7586 64159 212911 | 2147483647 39283 18 | 1.095 % |
396.92/396.92 c | 1229768 | 7586 64159 212911 | 2147483647 40309 18 | 1.095 % |
397.13/397.12 c | 1230280 | 7586 64159 212911 | 40541 40821 18 | 1.095 % |
397.32/397.36 c | 1230792 | 7586 64159 212911 | 40541 35438 18 | 1.095 % |
397.62/397.70 c | 1231817 | 7586 64159 212911 | 40541 36463 18 | 1.095 % |
398.42/398.42 c | 1233868 | 7586 64159 212911 | 40541 38514 18 | 1.095 % |
399.82/399.89 c | 1237967 | 7586 64159 212911 | 40541 35954 18 | 1.095 % |
400.02/400.07 c | 1238482 | 7586 64159 212911 | 40541 36469 18 | 1.095 % |
400.22/400.23 c | 1238995 | 7586 64159 212911 | 40541 36982 18 | 1.095 % |
400.62/400.61 c | 1240020 | 7586 64159 212911 | 37988 38007 18 | 1.095 % |
400.82/400.81 c | 1240532 | 7586 64159 212911 | 37988 32254 17 | 1.095 % |
400.92/400.99 c | 1241044 | 7586 64159 212911 | 37988 32766 17 | 1.095 % |
401.32/401.37 c | 1242071 | 7586 64159 212911 | 37988 33793 17 | 1.095 % |
401.82/401.88 c | 1244121 | 7586 64159 212911 | 37988 35843 17 | 1.095 % |
402.02/402.07 c | 1244633 | 7586 64159 212911 | 37988 36355 17 | 1.095 % |
402.22/402.28 c | 1245147 | 7585 64156 212905 | 37988 36867 17 | 1.108 % |
402.52/402.56 c | 1246171 | 7585 64156 212905 | 37988 37891 18 | 1.108 % |
402.82/402.82 c | 1246685 | 7585 64156 212905 | 37988 32462 17 | 1.108 % |
402.92/402.92 c | 1247197 | 7585 64156 212905 | 37988 32974 17 | 1.108 % |
403.12/403.20 c | 1248222 | 7585 64156 212905 | 37988 33999 17 | 1.108 % |
403.73/403.76 c | 1250270 | 7584 64058 212612 | 35776 36045 17 | 1.121 % |
405.22/405.26 c | 1254366 | 7584 64058 212612 | 35776 34736 17 | 1.121 % |
407.92/407.98 c | 1262559 | 7584 64058 212612 | 35170 32765 16 | 1.121 % |
413.82/413.80 c | 1278943 | 7584 64058 212612 | 35005 33896 17 | 1.121 % |
413.92/413.98 c | 1279455 | 7584 64058 212612 | 35005 34408 17 | 1.121 % |
414.12/414.12 c | 1279970 | 7584 64058 212612 | 35005 34923 18 | 1.121 % |
414.42/414.47 c | 1280995 | 7584 64058 212612 | 34954 30850 18 | 1.121 % |
414.62/414.63 c | 1281507 | 7584 64058 212612 | 34954 31362 18 | 1.121 % |
414.73/414.78 c | 1282019 | 7584 64058 212612 | 34954 31874 18 | 1.121 % |
414.92/414.99 c | 1283043 | 7584 64058 212612 | 34954 32898 18 | 1.121 % |
415.52/415.55 c | 1285091 | 7584 64058 212612 | 34954 34946 18 | 1.121 % |
415.62/415.69 c | 1285603 | 7584 64058 212612 | 34954 35458 18 | 1.121 % |
415.83/415.86 c | 1286118 | 7584 64058 212612 | 34954 31098 18 | 1.121 % |
416.22/416.23 c | 1287142 | 7584 64058 212612 | 34954 32122 18 | 1.121 % |
416.32/416.38 c | 1287654 | 7584 64058 212612 | 34954 32634 18 | 1.121 % |
416.52/416.50 c | 1288166 | 7584 64058 212612 | 34954 33146 18 | 1.121 % |
416.72/416.75 c | 1289190 | 7584 64058 212612 | 34954 34170 18 | 1.121 % |
417.42/417.47 c | 1291240 | 7584 64058 212612 | 34980 31304 18 | 1.121 % |
418.63/418.64 c | 1295336 | 7584 64058 212612 | 34980 30717 17 | 1.121 % |
418.73/418.80 c | 1295848 | 7584 64058 212612 | 34980 31229 17 | 1.121 % |
418.93/418.98 c | 1296360 | 7584 64058 212612 | 34980 31741 18 | 1.121 % |
419.33/419.34 c | 1297385 | 7584 64058 212612 | 34980 32766 18 | 1.121 % |
419.43/419.51 c | 1297897 | 7584 64058 212612 | 34980 33278 18 | 1.121 % |
419.63/419.69 c | 1298410 | 7584 64058 212612 | 34980 33791 18 | 1.121 % |
420.03/420.06 c | 1299434 | 7584 64058 212612 | 34980 34815 18 | 1.121 % |
420.63/420.71 c | 1301482 | 7584 64058 212612 | 30920 28371 16 | 1.121 % |
420.73/420.81 c | 1301996 | 7584 64058 212612 | 30920 28885 17 | 1.121 % |
420.93/420.96 c | 1302508 | 7584 64058 212612 | 30920 29397 17 | 1.121 % |
421.23/421.28 c | 1303532 | 7584 64058 212612 | 30920 30421 17 | 1.121 % |
421.43/421.41 c | 1304047 | 7584 64058 212612 | 30920 30936 17 | 1.121 % |
421.53/421.56 c | 1304560 | 7584 64058 212612 | 30920 27583 16 | 1.121 % |
421.83/421.82 c | 1305584 | 7584 64058 212612 | 30920 28607 16 | 1.121 % |
422.43/422.42 c | 1307633 | 7584 64058 212612 | 30920 30656 17 | 1.121 % |
423.63/423.67 c | 1311729 | 7584 64058 212612 | 29353 27702 16 | 1.121 % |
426.43/426.46 c | 1319924 | 7584 64058 212612 | 29353 26894 17 | 1.121 % |
426.63/426.67 c | 1320436 | 7584 64058 212612 | 26971 24637 17 | 1.121 % |
426.83/426.82 c | 1320950 | 7584 64058 212612 | 26971 25151 17 | 1.121 % |
427.03/427.03 c | 1321974 | 7584 64058 212612 | 26971 26175 17 | 1.121 % |
427.13/427.20 c | 1322487 | 7584 64058 212612 | 26971 26688 17 | 1.121 % |
427.33/427.36 c | 1323000 | 7584 64058 212612 | 26971 27201 17 | 1.121 % |
427.63/427.61 c | 1324024 | 7584 64058 212612 | 26971 25505 17 | 1.121 % |
428.13/428.16 c | 1326073 | 7584 64058 212612 | 26971 24831 17 | 1.121 % |
428.33/428.32 c | 1326585 | 7584 64058 212612 | 26971 25343 17 | 1.121 % |
428.43/428.45 c | 1327098 | 7584 64058 212612 | 26971 25856 17 | 1.121 % |
428.63/428.64 c | 1328122 | 7584 64058 212612 | 26971 26880 17 | 1.121 % |
428.73/428.77 c | 1328638 | 7584 64058 212612 | 26971 27396 17 | 1.121 % |
428.83/428.89 c | 1329150 | 7584 64058 212612 | 26971 25169 17 | 1.121 % |
429.13/429.12 c | 1330174 | 7584 64058 212612 | 2147483647 26193 17 | 1.121 % |
429.63/429.70 c | 1332222 | 7584 64058 212612 | 2147483647 28241 17 | 1.121 % |
430.83/430.86 c | 1336318 | 7580 64046 212588 | 2147483647 32329 17 | 1.173 % |
430.93/431.01 c | 1336830 | 7580 64046 212588 | 2147483647 32841 17 | 1.173 % |
431.13/431.21 c | 1337342 | 7580 64046 212588 | 2147483647 33353 17 | 1.173 % |
431.53/431.56 c | 1338366 | 7580 64046 212588 | 2147483647 34377 17 | 1.173 % |
431.63/431.70 c | 1338878 | 7580 64046 212588 | 2147483647 34889 17 | 1.173 % |
431.83/431.83 c | 1339390 | 7580 64046 212588 | 2147483647 35401 17 | 1.173 % |
432.23/432.23 c | 1340415 | 7580 64046 212588 | 36011 36426 17 | 1.173 % |
432.83/432.87 c | 1342463 | 7580 64046 212588 | 36011 34311 17 | 1.173 % |
433.03/433.04 c | 1342975 | 7580 64046 212588 | 36011 34823 17 | 1.173 % |
433.23/433.24 c | 1343488 | 7580 64046 212588 | 36011 35336 17 | 1.173 % |
433.53/433.60 c | 1344514 | 7580 64046 212588 | 36011 36362 17 | 1.173 % |
433.73/433.75 c | 1345029 | 7580 64046 212588 | 36011 32400 17 | 1.173 % |
433.93/433.92 c | 1345541 | 7580 64046 212588 | 36011 32912 17 | 1.173 % |
434.13/434.19 c | 1346566 | 7580 64046 212588 | 36011 33937 17 | 1.173 % |
434.83/434.86 c | 1348614 | 7580 64046 212588 | 36011 35985 18 | 1.173 % |
436.33/436.39 c | 1352712 | 7580 64046 212588 | 32708 31103 16 | 1.173 % |
439.03/439.02 c | 1360904 | 7580 64046 212588 | 29916 27299 16 | 1.173 % |
443.83/443.87 c | 1377289 | 7580 64046 212588 | 29922 27876 16 | 1.173 % |
456.23/456.28 c | 1410057 | 7574 63934 212268 | 36957 37014 20 | 1.252 % |
456.43/456.45 c | 1410569 | 7574 63934 212268 | 36957 31482 20 | 1.252 % |
456.63/456.61 c | 1411082 | 7574 63934 212268 | 36957 31995 20 | 1.252 % |
456.83/456.86 c | 1412107 | 7574 63934 212268 | 36957 33020 20 | 1.252 % |
456.93/457.00 c | 1412619 | 7574 63934 212268 | 36957 33532 20 | 1.252 % |
457.13/457.13 c | 1413132 | 7574 63934 212268 | 36957 34045 20 | 1.252 % |
457.33/457.36 c | 1414156 | 7574 63934 212268 | 36957 35069 20 | 1.252 % |
458.03/458.06 c | 1416205 | 7574 63934 212268 | 36957 37118 20 | 1.252 % |
458.23/458.25 c | 1416717 | 7574 63934 212268 | 36957 32381 19 | 1.252 % |
458.43/458.43 c | 1417229 | 7574 63934 212268 | 36957 32893 19 | 1.252 % |
458.63/458.66 c | 1418253 | 7574 63934 212268 | 36957 33917 19 | 1.252 % |
458.83/458.83 c | 1418765 | 7574 63934 212268 | 36957 34429 19 | 1.252 % |
458.93/458.98 c | 1419277 | 7574 63934 212268 | 36957 34941 19 | 1.252 % |
459.23/459.27 c | 1420301 | 7574 63934 212268 | 35664 35965 19 | 1.252 % |
460.03/460.02 c | 1422349 | 7574 63934 212268 | 35664 33029 19 | 1.252 % |
460.93/461.00 c | 1426446 | 7574 63934 212268 | 35664 32749 18 | 1.252 % |
461.13/461.16 c | 1426959 | 7574 63934 212268 | 35664 33262 18 | 1.252 % |
461.33/461.32 c | 1427472 | 7574 63934 212268 | 35664 33775 18 | 1.252 % |
461.63/461.62 c | 1428498 | 7574 63934 212268 | 35664 34801 18 | 1.252 % |
461.73/461.76 c | 1429010 | 7574 63934 212268 | 35664 35313 18 | 1.252 % |
461.83/461.91 c | 1429522 | 7574 63934 212268 | 35664 35825 18 | 1.252 % |
462.23/462.25 c | 1430546 | 7574 63934 212268 | 31902 28299 17 | 1.252 % |
462.83/462.88 c | 1432594 | 7574 63934 212268 | 31902 30347 17 | 1.252 % |
463.03/463.04 c | 1433106 | 7574 63934 212268 | 31902 30859 17 | 1.252 % |
463.13/463.19 c | 1433619 | 7574 63934 212268 | 31902 31372 18 | 1.252 % |
463.63/463.68 c | 1434643 | 7574 63934 212268 | 31902 28578 17 | 1.252 % |
463.83/463.82 c | 1435155 | 7574 63934 212268 | 31902 29090 17 | 1.252 % |
463.93/463.96 c | 1435667 | 7574 63934 212268 | 31902 29602 17 | 1.252 % |
464.23/464.30 c | 1436693 | 7574 63934 212268 | 31902 30628 17 | 1.252 % |
464.83/464.86 c | 1438744 | 7574 63934 212268 | 31902 29172 17 | 1.252 % |
466.03/466.09 c | 1442841 | 7574 63934 212268 | 30428 29838 17 | 1.252 % |
468.43/468.44 c | 1451033 | 7574 63934 212268 | 2147483647 31643 17 | 1.252 % |
468.53/468.57 c | 1451547 | 7574 63934 212268 | 2147483647 32157 17 | 1.252 % |
468.73/468.72 c | 1452060 | 7574 63934 212268 | 2147483647 32670 18 | 1.252 % |
468.93/468.98 c | 1453084 | 7574 63934 212268 | 2147483647 33694 18 | 1.252 % |
469.13/469.15 c | 1453597 | 7574 63934 212268 | 2147483647 34207 18 | 1.252 % |
469.23/469.30 c | 1454110 | 7574 63934 212268 | 2147483647 34720 18 | 1.252 % |
469.63/469.64 c | 1455134 | 7574 63934 212268 | 2147483647 35744 18 | 1.252 % |
470.23/470.24 c | 1457183 | 7574 63934 212268 | 2147483647 37793 18 | 1.252 % |
470.43/470.43 c | 1457695 | 7574 63934 212268 | 2147483647 38305 18 | 1.252 % |
470.63/470.62 c | 1458207 | 7574 63934 212268 | 2147483647 38817 18 | 1.252 % |
470.93/470.91 c | 1459231 | 7574 63934 212268 | 2147483647 39841 18 | 1.252 % |
471.13/471.11 c | 1459744 | 7574 63934 212268 | 2147483647 40354 18 | 1.252 % |
471.23/471.30 c | 1460257 | 7574 63934 212268 | 40610 40867 19 | 1.252 % |
471.73/471.72 c | 1461281 | 7574 63934 212268 | 40610 36292 18 | 1.252 % |
472.23/472.21 c | 1463330 | 7574 63934 212268 | 40610 38341 18 | 1.252 % |
473.43/473.49 c | 1467426 | 7574 63934 212268 | 40610 35950 18 | 1.252 % |
473.63/473.67 c | 1467938 | 7574 63934 212268 | 40610 36462 18 | 1.252 % |
473.83/473.86 c | 1468450 | 7574 63934 212268 | 40610 36974 18 | 1.252 % |
474.13/474.18 c | 1469475 | 7574 63934 212268 | 40610 37999 18 | 1.252 % |
474.33/474.37 c | 1469988 | 7574 63934 212268 | 40610 38512 18 | 1.252 % |
474.53/474.56 c | 1470501 | 7574 63934 212268 | 38525 33123 18 | 1.252 % |
474.93/474.96 c | 1471527 | 7574 63934 212268 | 38525 34149 18 | 1.252 % |
475.53/475.60 c | 1473576 | 7574 63934 212268 | 38525 36198 18 | 1.252 % |
475.73/475.76 c | 1474088 | 7574 63934 212268 | 38525 36710 18 | 1.252 % |
475.93/475.93 c | 1474601 | 7574 63934 212268 | 38525 37223 18 | 1.252 % |
476.23/476.28 c | 1475626 | 7574 63934 212268 | 38525 38248 18 | 1.252 % |
476.43/476.46 c | 1476139 | 7574 63934 212268 | 38525 38761 18 | 1.252 % |
476.63/476.69 c | 1476652 | 7574 63934 212268 | 38525 33196 18 | 1.252 % |
477.03/477.08 c | 1477677 | 7574 63934 212268 | 38525 34221 18 | 1.252 % |
477.83/477.81 c | 1479725 | 7574 63934 212268 | 38525 36269 18 | 1.252 % |
479.03/479.02 c | 1483821 | 7573 63918 212235 | 36545 34802 18 | 1.265 % |
482.13/482.13 c | 1492013 | 7573 63918 212235 | 35560 32385 17 | 1.265 % |
488.44/488.43 c | 1508397 | 7572 63902 212202 | 34986 32827 16 | 1.278 % |
488.53/488.60 c | 1508910 | 7572 63902 212202 | 34986 33340 16 | 1.278 % |
488.73/488.74 c | 1509422 | 7572 63902 212202 | 34986 33852 16 | 1.278 % |
489.03/489.08 c | 1510447 | 7572 63902 212202 | 34432 34877 16 | 1.278 % |
489.23/489.25 c | 1510959 | 7572 63902 212202 | 34432 30485 16 | 1.278 % |
489.33/489.38 c | 1511471 | 7572 63902 212202 | 34432 30997 16 | 1.278 % |
489.73/489.71 c | 1512495 | 7572 63902 212202 | 34432 32021 16 | 1.278 % |
490.33/490.36 c | 1514543 | 7572 63902 212202 | 34432 34069 16 | 1.278 % |
490.53/490.56 c | 1515055 | 7572 63902 212202 | 34432 34581 16 | 1.278 % |
490.73/490.73 c | 1515567 | 7572 63902 212202 | 34432 30264 16 | 1.278 % |
491.03/491.07 c | 1516592 | 7572 63902 212202 | 34432 31289 16 | 1.278 % |
491.23/491.22 c | 1517104 | 7572 63902 212202 | 34432 31801 17 | 1.278 % |
491.33/491.33 c | 1517616 | 7572 63902 212202 | 34432 32313 17 | 1.278 % |
491.63/491.70 c | 1518640 | 7572 63902 212202 | 34432 33337 17 | 1.278 % |
492.23/492.25 c | 1520688 | 7572 63902 212202 | 34697 30823 16 | 1.278 % |
493.63/493.62 c | 1524786 | 7572 63902 212202 | 34697 34921 17 | 1.278 % |
493.83/493.82 c | 1525299 | 7572 63902 212202 | 34697 30383 16 | 1.278 % |
493.94/493.96 c | 1525811 | 7572 63902 212202 | 34697 30895 16 | 1.278 % |
494.13/494.20 c | 1526835 | 7572 63902 212202 | 34697 31919 17 | 1.278 % |
494.33/494.32 c | 1527349 | 7572 63902 212202 | 34697 32433 17 | 1.278 % |
494.43/494.49 c | 1527863 | 7572 63902 212202 | 34697 32947 17 | 1.278 % |
494.73/494.77 c | 1528887 | 7572 63902 212202 | 34697 33971 17 | 1.278 % |
495.43/495.46 c | 1530936 | 7572 63902 212202 | 30262 27050 16 | 1.278 % |
495.53/495.60 c | 1531448 | 7572 63902 212202 | 30262 27562 16 | 1.278 % |
495.73/495.74 c | 1531961 | 7572 63902 212202 | 30262 28075 16 | 1.278 % |
496.03/496.08 c | 1532985 | 7572 63902 212202 | 30262 29099 16 | 1.278 % |
496.23/496.25 c | 1533500 | 7572 63902 212202 | 30262 29614 16 | 1.278 % |
496.33/496.39 c | 1534012 | 7572 63902 212202 | 30262 30126 16 | 1.278 % |
496.73/496.75 c | 1535037 | 7572 63902 212202 | 30262 27327 16 | 1.278 % |
497.24/497.29 c | 1537086 | 7571 63899 212196 | 30262 29374 17 | 1.291 % |
498.83/498.83 c | 1541182 | 7571 63899 212196 | 28703 26705 16 | 1.291 % |
501.53/501.52 c | 1549374 | 7571 63899 212196 | 28703 26158 17 | 1.291 % |
501.64/501.70 c | 1549886 | 7571 63899 212196 | 28703 26670 17 | 1.291 % |
501.83/501.87 c | 1550398 | 7571 63899 212196 | 2147483647 27182 17 | 1.291 % |
502.13/502.17 c | 1551423 | 7571 63899 212196 | 2147483647 28207 17 | 1.291 % |
502.33/502.34 c | 1551935 | 7571 63899 212196 | 2147483647 28719 17 | 1.291 % |
502.53/502.51 c | 1552448 | 7571 63899 212196 | 2147483647 29232 17 | 1.291 % |
502.74/502.73 c | 1553472 | 7571 63899 212196 | 2147483647 30256 17 | 1.291 % |
503.43/503.48 c | 1555520 | 7571 63899 212196 | 2147483647 32304 17 | 1.291 % |
503.63/503.62 c | 1556033 | 7571 63899 212196 | 2147483647 32817 17 | 1.291 % |
503.73/503.77 c | 1556545 | 7571 63899 212196 | 2147483647 33329 17 | 1.291 % |
504.03/504.05 c | 1557570 | 7571 63899 212196 | 2147483647 34354 17 | 1.291 % |
504.23/504.24 c | 1558082 | 7571 63899 212196 | 2147483647 34866 17 | 1.291 % |
504.43/504.41 c | 1558596 | 7571 63899 212196 | 2147483647 35380 17 | 1.291 % |
504.63/504.66 c | 1559620 | 7571 63899 212196 | 2147483647 36404 18 | 1.291 % |
505.33/505.35 c | 1561669 | 7571 63899 212196 | 36786 33837 17 | 1.291 % |
506.63/506.68 c | 1565765 | 7571 63899 212196 | 36786 33313 17 | 1.291 % |
506.83/506.83 c | 1566279 | 7571 63899 212196 | 36786 33827 17 | 1.291 % |
506.93/507.00 c | 1566792 | 7571 63899 212196 | 36786 34340 17 | 1.291 % |
507.33/507.37 c | 1567818 | 7571 63899 212196 | 36786 35366 17 | 1.291 % |
507.53/507.56 c | 1568330 | 7571 63899 212196 | 36786 35878 17 | 1.291 % |
507.73/507.77 c | 1568847 | 7571 63899 212196 | 36786 36395 18 | 1.291 % |
508.03/508.10 c | 1569873 | 7571 63899 212196 | 36786 32306 17 | 1.291 % |
508.73/508.77 c | 1571922 | 7570 63896 212190 | 32433 29870 17 | 1.304 % |
508.93/508.94 c | 1572435 | 7570 63896 212190 | 32433 30383 17 | 1.304 % |
509.03/509.10 c | 1572947 | 7570 63896 212190 | 32433 30895 17 | 1.304 % |
509.34/509.36 c | 1573971 | 7570 63896 212190 | 32433 31919 17 | 1.304 % |
509.53/509.53 c | 1574484 | 7570 63896 212190 | 32433 32432 17 | 1.304 % |
509.63/509.67 c | 1574997 | 7570 63896 212190 | 32433 32945 17 | 1.304 % |
510.03/510.08 c | 1576022 | 7570 63896 212190 | 32433 29839 17 | 1.304 % |
510.53/510.55 c | 1578070 | 7570 63896 212190 | 32433 31887 17 | 1.304 % |
511.93/511.94 c | 1582167 | 7570 63896 212190 | 29795 28133 17 | 1.304 % |
514.13/514.20 c | 1590359 | 7570 63896 212190 | 29302 26636 17 | 1.304 % |
519.63/519.67 c | 1606743 | 7570 63896 212190 | 27166 25602 16 | 1.304 % |
530.24/530.26 c | 1639511 | 7567 63869 212127 | 34377 33213 17 | 1.343 % |
550.94/550.92 c | 1705048 | 7567 63869 212127 | 33881 33025 20 | 1.343 % |
551.04/551.06 c | 1705560 | 7567 63869 212127 | 33881 33537 20 | 1.343 % |
551.14/551.20 c | 1706072 | 7567 63869 212127 | 33881 34049 20 | 1.343 % |
551.44/551.45 c | 1707097 | 7567 63869 212127 | 33881 29590 19 | 1.343 % |
551.54/551.60 c | 1707610 | 7566 63772 211837 | 33881 30101 19 | 1.356 % |
551.64/551.69 c | 1708123 | 7566 63772 211837 | 33881 30614 19 | 1.356 % |
552.04/552.02 c | 1709148 | 7566 63772 211837 | 33881 31639 19 | 1.356 % |
552.64/552.67 c | 1711196 | 7566 63772 211837 | 32492 28821 18 | 1.356 % |
552.84/552.83 c | 1711708 | 7566 63772 211837 | 32492 29333 18 | 1.356 % |
552.94/552.99 c | 1712221 | 7566 63772 211837 | 32492 29846 18 | 1.356 % |
553.14/553.20 c | 1713246 | 7566 63772 211837 | 32492 30871 18 | 1.356 % |
553.34/553.40 c | 1713759 | 7566 63772 211837 | 32492 31384 18 | 1.356 % |
553.54/553.55 c | 1714274 | 7566 63772 211837 | 32492 31899 18 | 1.356 % |
553.84/553.85 c | 1715299 | 7566 63772 211837 | 32492 32924 18 | 1.356 % |
554.44/554.48 c | 1717347 | 7566 63772 211837 | 32492 30784 18 | 1.356 % |
555.64/555.68 c | 1721444 | 7566 63772 211837 | 29378 27194 17 | 1.356 % |
555.74/555.80 c | 1721956 | 7566 63772 211837 | 29378 27706 17 | 1.356 % |
555.84/555.89 c | 1722469 | 7566 63772 211837 | 29378 28219 17 | 1.356 % |
556.24/556.24 c | 1723495 | 7566 63772 211837 | 29378 29245 17 | 1.356 % |
556.34/556.32 c | 1724008 | 7566 63772 211837 | 29378 29758 17 | 1.356 % |
556.44/556.48 c | 1724522 | 7566 63772 211837 | 29378 27091 17 | 1.356 % |
556.74/556.72 c | 1725546 | 7566 63772 211837 | 29378 28115 17 | 1.356 % |
557.14/557.16 c | 1727594 | 7566 63772 211837 | 29378 26962 16 | 1.356 % |
557.24/557.30 c | 1728106 | 7566 63772 211837 | 29378 27474 16 | 1.356 % |
557.44/557.43 c | 1728619 | 7566 63772 211837 | 29378 27987 16 | 1.356 % |
557.64/557.67 c | 1729644 | 7566 63772 211837 | 29378 29012 17 | 1.356 % |
557.84/557.85 c | 1730156 | 7566 63772 211837 | 29370 29524 17 | 1.356 % |
557.94/557.96 c | 1730670 | 7566 63772 211837 | 29370 27006 16 | 1.356 % |
558.24/558.24 c | 1731694 | 7566 63772 211837 | 29370 28030 17 | 1.356 % |
558.84/558.90 c | 1733742 | 7566 63772 211837 | 29370 27097 17 | 1.356 % |
560.04/560.08 c | 1737840 | 7566 63772 211837 | 29370 28234 17 | 1.356 % |
562.94/562.92 c | 1746032 | 7566 63772 211837 | 2147483647 33457 17 | 1.356 % |
563.04/563.08 c | 1746544 | 7566 63772 211837 | 2147483647 33969 17 | 1.356 % |
563.24/563.27 c | 1747058 | 7566 63772 211837 | 2147483647 34483 17 | 1.356 % |
563.54/563.58 c | 1748083 | 7566 63772 211837 | 2147483647 35508 17 | 1.356 % |
563.74/563.75 c | 1748596 | 7566 63772 211837 | 2147483647 36021 17 | 1.356 % |
563.94/563.92 c | 1749108 | 7566 63772 211837 | 2147483647 36533 17 | 1.356 % |
564.24/564.31 c | 1750132 | 7566 63772 211837 | 37426 37557 17 | 1.356 % |
564.94/564.93 c | 1752181 | 7566 63772 211837 | 37426 34905 17 | 1.356 % |
565.04/565.07 c | 1752693 | 7566 63772 211837 | 37426 35417 17 | 1.356 % |
565.24/565.25 c | 1753205 | 7566 63772 211837 | 37426 35929 17 | 1.356 % |
565.54/565.61 c | 1754230 | 7566 63772 211837 | 37426 36954 17 | 1.356 % |
565.84/565.83 c | 1754742 | 7566 63772 211837 | 37426 37466 17 | 1.356 % |
566.04/566.05 c | 1755256 | 7566 63772 211837 | 37426 32712 17 | 1.356 % |
566.34/566.39 c | 1756281 | 7566 63772 211837 | 37426 33737 17 | 1.356 % |
567.04/567.03 c | 1758331 | 7566 63772 211837 | 37426 35787 17 | 1.356 % |
568.14/568.13 c | 1762428 | 7566 63772 211837 | 37458 34689 17 | 1.356 % |
568.34/568.32 c | 1762940 | 7566 63772 211837 | 37458 35201 17 | 1.356 % |
568.44/568.48 c | 1763452 | 7566 63772 211837 | 37458 35713 17 | 1.356 % |
568.74/568.80 c | 1764476 | 7566 63772 211837 | 37458 36737 17 | 1.356 % |
568.84/568.91 c | 1764988 | 7566 63772 211837 | 37458 37249 17 | 1.356 % |
569.04/569.07 c | 1765500 | 7566 63772 211837 | 37458 37761 17 | 1.356 % |
569.44/569.46 c | 1766524 | 7566 63772 211837 | 37458 33624 17 | 1.356 % |
570.14/570.17 c | 1768572 | 7566 63772 211837 | 37458 35672 17 | 1.356 % |
570.24/570.30 c | 1769085 | 7566 63772 211837 | 37458 36185 17 | 1.356 % |
570.44/570.47 c | 1769599 | 7566 63772 211837 | 37458 36699 18 | 1.356 % |
570.84/570.82 c | 1770624 | 7566 63772 211837 | 37100 32307 17 | 1.356 % |
570.94/570.97 c | 1771139 | 7566 63772 211837 | 37100 32822 17 | 1.356 % |
571.14/571.17 c | 1771653 | 7566 63772 211837 | 37100 33336 17 | 1.356 % |
571.54/571.52 c | 1772678 | 7566 63772 211837 | 37100 34361 17 | 1.356 % |
572.24/572.25 c | 1774727 | 7566 63772 211837 | 37100 36410 18 | 1.356 % |
573.74/573.71 c | 1778823 | 7566 63772 211837 | 37100 35459 18 | 1.356 % |
576.44/576.44 c | 1787016 | 7566 63772 211837 | 36637 33194 17 | 1.356 % |
581.74/581.74 c | 1803401 | 7566 63772 211837 | 35746 33857 18 | 1.356 % |
581.94/581.96 c | 1803914 | 7566 63772 211837 | 35746 34370 18 | 1.356 % |
582.24/582.23 c | 1804426 | 7566 63772 211837 | 35746 34882 18 | 1.356 % |
582.54/582.57 c | 1805451 | 7566 63772 211837 | 35746 35907 18 | 1.356 % |
582.74/582.75 c | 1805963 | 7566 63772 211837 | 35746 31039 17 | 1.356 % |
582.84/582.89 c | 1806475 | 7566 63772 211837 | 35746 31551 17 | 1.356 % |
583.14/583.21 c | 1807499 | 7566 63772 211837 | 35746 32575 17 | 1.356 % |
583.84/583.89 c | 1809548 | 7566 63772 211837 | 35746 34624 17 | 1.356 % |
584.04/584.09 c | 1810060 | 7566 63772 211837 | 35076 35136 17 | 1.356 % |
584.24/584.24 c | 1810573 | 7566 63772 211837 | 35076 30413 17 | 1.356 % |
584.54/584.53 c | 1811599 | 7566 63772 211837 | 35076 31439 17 | 1.356 % |
584.74/584.73 c | 1812113 | 7566 63772 211837 | 35076 31953 17 | 1.356 % |
584.84/584.88 c | 1812628 | 7566 63772 211837 | 35076 32468 17 | 1.356 % |
585.14/585.18 c | 1813656 | 7566 63772 211837 | 35076 33496 17 | 1.356 % |
585.94/585.96 c | 1815704 | 7566 63772 211837 | 35076 30343 16 | 1.356 % |
587.34/587.39 c | 1819801 | 7566 63772 211837 | 35076 34440 17 | 1.356 % |
587.54/587.54 c | 1820315 | 7566 63772 211837 | 34639 29920 16 | 1.356 % |
587.64/587.67 c | 1820827 | 7566 63772 211837 | 34639 30432 16 | 1.356 % |
587.84/587.87 c | 1821853 | 7566 63772 211837 | 34639 31458 16 | 1.356 % |
587.94/587.98 c | 1822365 | 7566 63772 211837 | 34639 31970 16 | 1.356 % |
588.04/588.08 c | 1822879 | 7566 63772 211837 | 34639 32484 16 | 1.356 % |
588.24/588.25 c | 1823904 | 7566 63772 211837 | 34639 33509 17 | 1.356 % |
588.84/588.86 c | 1825954 | 7566 63772 211837 | 34639 31568 17 | 1.356 % |
589.04/589.06 c | 1826467 | 7566 63772 211837 | 34639 32081 17 | 1.356 % |
589.24/589.23 c | 1826979 | 7566 63772 211837 | 34639 32593 17 | 1.356 % |
589.44/589.51 c | 1828003 | 7566 63772 211837 | 34639 33617 17 | 1.356 % |
589.64/589.71 c | 1828515 | 7566 63772 211837 | 34639 34129 17 | 1.356 % |
589.84/589.85 c | 1829027 | 7566 63772 211837 | 34639 34641 17 | 1.356 % |
590.14/590.16 c | 1830051 | 7566 63772 211837 | 31209 31259 17 | 1.356 % |
590.84/590.86 c | 1832099 | 7566 63772 211837 | 31209 29172 17 | 1.356 % |
591.94/591.97 c | 1836195 | 7564 63748 211780 | 31209 29181 17 | 1.382 % |
594.44/594.46 c | 1844387 | 7564 63748 211780 | 29356 27285 17 | 1.382 % |
594.54/594.61 c | 1844900 | 7564 63748 211780 | 29356 27798 17 | 1.382 % |
594.74/594.72 c | 1845415 | 7564 63748 211780 | 29356 28313 17 | 1.382 % |
594.94/594.98 c | 1846440 | 7564 63748 211780 | 29356 29338 17 | 1.382 % |
595.14/595.12 c | 1846952 | 7564 63748 211780 | 29356 26882 16 | 1.382 % |
595.24/595.25 c | 1847467 | 7564 63748 211780 | 29356 27397 17 | 1.382 % |
595.44/595.50 c | 1848491 | 7564 63748 211780 | 29356 28421 17 | 1.382 % |
596.14/596.13 c | 1850542 | 7564 63748 211780 | 2147483647 27506 16 | 1.382 % |
596.24/596.25 c | 1851055 | 7564 63748 211780 | 2147483647 28019 16 | 1.382 % |
596.44/596.44 c | 1851568 | 7564 63748 211780 | 2147483647 28532 16 | 1.382 % |
596.74/596.74 c | 1852592 | 7564 63748 211780 | 2147483647 29556 16 | 1.382 % |
596.94/596.96 c | 1853105 | 7564 63748 211780 | 2147483647 30069 16 | 1.382 % |
597.04/597.10 c | 1853617 | 7564 63748 211780 | 2147483647 30581 16 | 1.382 % |
597.34/597.36 c | 1854641 | 7564 63748 211780 | 2147483647 31605 17 | 1.382 % |
597.84/597.91 c | 1856692 | 7564 63748 211780 | 2147483647 33656 17 | 1.382 % |
599.14/599.15 c | 1860789 | 7564 63748 211780 | 36964 33766 17 | 1.382 % |
599.24/599.28 c | 1861304 | 7564 63748 211780 | 36964 34281 17 | 1.382 % |
599.44/599.43 c | 1861816 | 7564 63748 211780 | 36964 34793 17 | 1.382 % |
599.74/599.74 c | 1862842 | 7564 63748 211780 | 36964 35819 17 | 1.382 % |
599.94/599.91 c | 1863357 | 7563 63652 211493 | 36964 36332 17 | 1.395 % |
600.04/600.11 c | 1863869 | 7563 63652 211493 | 36964 36844 17 | 1.395 % |
600.44/600.43 c | 1864893 | 7563 63652 211493 | 36964 33179 17 | 1.395 % |
601.14/601.16 c | 1866942 | 7563 63652 211493 | 36964 35228 17 | 1.395 % |
601.34/601.32 c | 1867455 | 7563 63652 211493 | 36964 35741 17 | 1.395 % |
601.44/601.45 c | 1867967 | 7563 63652 211493 | 36964 36253 17 | 1.395 % |
601.84/601.82 c | 1868993 | 7563 63652 211493 | 36964 37279 17 | 1.395 % |
601.94/602.00 c | 1869505 | 7563 63652 211493 | 36964 32942 17 | 1.395 % |
602.14/602.16 c | 1870018 | 7563 63652 211493 | 33437 33455 17 | 1.395 % |
602.54/602.51 c | 1871042 | 7563 63652 211493 | 33437 30001 17 | 1.395 % |
603.14/603.16 c | 1873091 | 7563 63652 211493 | 33437 32050 17 | 1.395 % |
604.44/604.42 c | 1877187 | 7563 63652 211493 | 33437 31997 17 | 1.395 % |
607.14/607.13 c | 1885380 | 7563 63652 211493 | 30269 28597 16 | 1.395 % |
611.74/611.80 c | 1901766 | 7563 63652 211493 | 2147483647 29490 18 | 1.395 % |
624.24/624.25 c | 1934536 | 7561 63649 211487 | 41508 38657 19 | 1.421 % |
624.44/624.46 c | 1935048 | 7561 63646 211481 | 41508 39165 19 | 1.421 % |
624.54/624.56 c | 1935560 | 7561 63646 211481 | 41508 39677 19 | 1.421 % |
624.85/624.85 c | 1936584 | 7561 63646 211481 | 41508 40701 19 | 1.421 % |
625.04/625.08 c | 1937099 | 7561 63646 211481 | 41508 41216 19 | 1.421 % |
625.24/625.25 c | 1937611 | 7561 63646 211481 | 41508 41728 19 | 1.421 % |
625.54/625.59 c | 1938636 | 7561 63646 211481 | 41508 35803 18 | 1.421 % |
626.34/626.33 c | 1940684 | 7561 63646 211481 | 37167 31628 17 | 1.421 % |
626.44/626.48 c | 1941196 | 7561 63646 211481 | 37167 32140 17 | 1.421 % |
626.54/626.60 c | 1941708 | 7561 63646 211481 | 37167 32652 17 | 1.421 % |
626.84/626.88 c | 1942732 | 7561 63646 211481 | 37167 33676 18 | 1.421 % |
627.05/627.04 c | 1943244 | 7561 63646 211481 | 37167 34188 18 | 1.421 % |
627.14/627.16 c | 1943757 | 7561 63646 211481 | 37167 34701 18 | 1.421 % |
627.44/627.46 c | 1944783 | 7560 63643 211475 | 37167 35725 18 | 1.434 % |
628.15/628.19 c | 1946831 | 7560 63643 211475 | 37167 31829 18 | 1.434 % |
629.74/629.75 c | 1950927 | 7560 63643 211475 | 34998 30796 17 | 1.434 % |
629.94/629.93 c | 1951439 | 7560 63643 211475 | 34998 31308 17 | 1.434 % |
630.04/630.05 c | 1951951 | 7560 63643 211475 | 34998 31820 17 | 1.434 % |
630.35/630.37 c | 1952975 | 7560 63643 211475 | 34998 32844 17 | 1.434 % |
630.54/630.52 c | 1953487 | 7560 63643 211475 | 34998 33356 17 | 1.434 % |
630.64/630.68 c | 1953999 | 7560 63643 211475 | 34998 33868 18 | 1.434 % |
630.94/631.00 c | 1955023 | 7560 63643 211475 | 34998 34892 18 | 1.434 % |
631.64/631.64 c | 1957071 | 7560 63643 211475 | 34998 32213 17 | 1.434 % |
631.74/631.78 c | 1957585 | 7560 63643 211475 | 34998 32727 17 | 1.434 % |
631.94/631.92 c | 1958097 | 7560 63643 211475 | 34998 33239 17 | 1.434 % |
632.24/632.23 c | 1959124 | 7560 63643 211475 | 34998 34266 17 | 1.434 % |
632.34/632.41 c | 1959640 | 7560 63643 211475 | 34998 34782 17 | 1.434 % |
632.55/632.59 c | 1960152 | 7560 63643 211475 | 35145 35294 17 | 1.434 % |
632.94/632.94 c | 1961178 | 7560 63643 211475 | 35145 31381 17 | 1.434 % |
633.54/633.55 c | 1963229 | 7560 63643 211475 | 35145 33432 17 | 1.434 % |
635.14/635.13 c | 1967325 | 7560 63643 211475 | 35145 32692 17 | 1.434 % |
638.24/638.22 c | 1975518 | 7560 63643 211475 | 35367 31482 17 | 1.434 % |
638.34/638.37 c | 1976030 | 7560 63643 211475 | 35367 31994 17 | 1.434 % |
638.54/638.54 c | 1976542 | 7560 63643 211475 | 35367 32506 17 | 1.434 % |
638.84/638.90 c | 1977566 | 7560 63643 211475 | 35367 33530 17 | 1.434 % |
639.04/639.04 c | 1978078 | 7560 63643 211475 | 35367 34042 17 | 1.434 % |
639.24/639.23 c | 1978590 | 7560 63643 211475 | 35367 34554 17 | 1.434 % |
639.54/639.54 c | 1979614 | 7560 63643 211475 | 35367 35578 17 | 1.434 % |
640.14/640.18 c | 1981663 | 7560 63643 211475 | 30946 28355 17 | 1.434 % |
640.25/640.29 c | 1982176 | 7560 63643 211475 | 30946 28868 17 | 1.434 % |
640.34/640.40 c | 1982688 | 7560 63643 211475 | 30946 29380 17 | 1.434 % |
640.64/640.66 c | 1983712 | 7560 63643 211475 | 30946 30404 17 | 1.434 % |
640.74/640.76 c | 1984225 | 7560 63643 211475 | 30946 30917 17 | 1.434 % |
640.84/640.88 c | 1984737 | 7560 63643 211475 | 30946 31429 17 | 1.434 % |
641.14/641.18 c | 1985761 | 7560 63643 211475 | 30946 28969 17 | 1.434 % |
641.84/641.83 c | 1987811 | 7560 63643 211475 | 30946 31019 17 | 1.434 % |
643.14/643.18 c | 1991907 | 7560 63643 211475 | 29576 27895 16 | 1.434 % |
643.34/643.37 c | 1992419 | 7560 63643 211475 | 29576 28407 16 | 1.434 % |
643.44/643.52 c | 1992936 | 7560 63643 211475 | 29576 28924 16 | 1.434 % |
643.74/643.78 c | 1993961 | 7560 63643 211475 | 29576 29949 17 | 1.434 % |
643.94/643.96 c | 1994474 | 7560 63643 211475 | 29576 27117 16 | 1.434 % |
644.14/644.14 c | 1994989 | 7560 63643 211475 | 29576 27632 16 | 1.434 % |
644.34/644.39 c | 1996015 | 7560 63643 211475 | 29576 28658 17 | 1.434 % |
644.94/644.93 c | 1998063 | 7560 63643 211475 | 29576 27161 17 | 1.434 % |
645.05/645.07 c | 1998576 | 7560 63643 211475 | 29576 27674 17 | 1.434 % |
645.25/645.26 c | 1999088 | 7560 63643 211475 | 29576 28186 17 | 1.434 % |
645.55/645.58 c | 2000112 | 7560 63643 211475 | 29098 29210 17 | 1.434 % |
645.75/645.74 c | 2000625 | 7560 63643 211475 | 29098 26261 16 | 1.434 % |
645.85/645.87 c | 2001137 | 7560 63643 211475 | 29098 26773 17 | 1.434 % |
646.15/646.20 c | 2002162 | 7560 63643 211475 | 29098 27798 17 | 1.434 % |
646.85/646.82 c | 2004210 | 7560 63643 211475 | 29098 26564 16 | 1.434 % |
648.15/648.13 c | 2008307 | 7560 63643 211475 | 29098 27718 16 | 1.434 % |
650.95/650.96 c | 2016502 | 7560 63643 211475 | 2147483647 35913 18 | 1.434 % |
656.85/656.91 c | 2032887 | 7559 63640 211469 | 38154 34923 18 | 1.447 % |
657.05/657.06 c | 2033400 | 7559 63640 211469 | 38154 35436 18 | 1.447 % |
657.15/657.18 c | 2033914 | 7559 63640 211469 | 38154 35950 18 | 1.447 % |
657.45/657.47 c | 2034938 | 7557 63634 211457 | 38154 36969 18 | 1.473 % |
657.65/657.70 c | 2035450 | 7557 63634 211457 | 38154 37481 18 | 1.473 % |
657.85/657.87 c | 2035962 | 7557 63634 211457 | 38154 37993 18 | 1.473 % |
658.25/658.29 c | 2036987 | 7557 63634 211457 | 38154 32836 18 | 1.473 % |
658.75/658.77 c | 2039036 | 7557 63634 211457 | 38154 34885 18 | 1.473 % |
659.05/659.02 c | 2039549 | 7557 63634 211457 | 38154 35398 18 | 1.473 % |
659.15/659.21 c | 2040061 | 7557 63634 211457 | 35849 35910 18 | 1.473 % |
659.55/659.55 c | 2041085 | 7557 63634 211457 | 35849 31163 18 | 1.473 % |
659.75/659.74 c | 2041598 | 7557 63634 211457 | 35849 31676 18 | 1.473 % |
659.85/659.88 c | 2042110 | 7557 63634 211457 | 35849 32188 18 | 1.473 % |
660.25/660.23 c | 2043134 | 7557 63634 211457 | 35849 33212 18 | 1.473 % |
660.95/660.99 c | 2045185 | 7557 63634 211457 | 35849 35263 18 | 1.473 % |
662.55/662.60 c | 2049283 | 7557 63634 211457 | 35849 33475 17 | 1.473 % |
662.75/662.81 c | 2049796 | 7557 63634 211457 | 35849 33988 17 | 1.473 % |
662.95/662.96 c | 2050308 | 7557 63634 211457 | 34192 34500 17 | 1.473 % |
663.35/663.32 c | 2051333 | 7557 63634 211457 | 34192 30265 17 | 1.473 % |
663.45/663.48 c | 2051845 | 7557 63634 211457 | 34192 30777 17 | 1.473 % |
663.65/663.64 c | 2052357 | 7557 63634 211457 | 34192 31289 17 | 1.473 % |
663.95/663.93 c | 2053383 | 7557 63634 211457 | 34192 32315 17 | 1.473 % |
664.65/664.62 c | 2055432 | 7557 63634 211457 | 34192 34364 17 | 1.473 % |
664.85/664.84 c | 2055946 | 7557 63634 211457 | 34192 30784 17 | 1.473 % |
664.95/665.02 c | 2056458 | 7557 63634 211457 | 34192 31296 17 | 1.473 % |
665.25/665.26 c | 2057482 | 7557 63634 211457 | 34192 32320 17 | 1.473 % |
665.45/665.44 c | 2057994 | 7557 63634 211457 | 34192 32832 17 | 1.473 % |
665.55/665.60 c | 2058508 | 7557 63634 211457 | 34192 33346 17 | 1.473 % |
665.85/665.87 c | 2059534 | 7557 63634 211457 | 34192 34372 17 | 1.473 % |
666.45/666.47 c | 2061583 | 7557 63634 211457 | 30644 28422 16 | 1.473 % |
667.55/667.61 c | 2065679 | 7557 63634 211457 | 30644 29068 17 | 1.473 % |
670.05/670.02 c | 2073871 | 7557 63634 211457 | 2147483647 34104 19 | 1.473 % |
670.25/670.22 c | 2074387 | 7557 63634 211457 | 2147483647 34620 19 | 1.473 % |
670.35/670.39 c | 2074900 | 7557 63634 211457 | 2147483647 35133 19 | 1.473 % |
670.75/670.76 c | 2075925 | 7557 63634 211457 | 2147483647 36158 19 | 1.473 % |
670.95/670.93 c | 2076437 | 7557 63634 211457 | 2147483647 36670 19 | 1.473 % |
671.15/671.12 c | 2076949 | 7557 63634 211457 | 2147483647 37182 19 | 1.473 % |
671.45/671.47 c | 2077973 | 7557 63634 211457 | 2147483647 38206 19 | 1.473 % |
672.25/672.25 c | 2080021 | 7557 63634 211457 | 40233 40254 19 | 1.473 % |
672.45/672.42 c | 2080533 | 7557 63634 211457 | 40233 40766 19 | 1.473 % |
672.65/672.62 c | 2081046 | 7557 63634 211457 | 40233 35385 19 | 1.473 % |
672.95/672.98 c | 2082070 | 7557 63634 211457 | 40233 36409 19 | 1.473 % |
673.15/673.15 c | 2082583 | 7557 63634 211457 | 40233 36922 19 | 1.473 % |
673.35/673.32 c | 2083096 | 7557 63634 211457 | 40233 37435 19 | 1.473 % |
673.75/673.72 c | 2084125 | 7557 63634 211457 | 40233 38464 19 | 1.473 % |
674.55/674.53 c | 2086174 | 7557 63634 211457 | 40233 40513 19 | 1.473 % |
676.05/676.08 c | 2090271 | 7557 63634 211457 | 37293 37562 19 | 1.473 % |
676.25/676.26 c | 2090783 | 7557 63634 211457 | 37293 32176 18 | 1.473 % |
676.45/676.47 c | 2091295 | 7557 63634 211457 | 37293 32688 18 | 1.473 % |
676.75/676.72 c | 2092321 | 7557 63634 211457 | 37293 33714 18 | 1.473 % |
676.85/676.85 c | 2092833 | 7557 63634 211457 | 37293 34226 18 | 1.473 % |
677.05/677.07 c | 2093345 | 7556 63539 211173 | 37293 34736 18 | 1.486 % |
677.35/677.38 c | 2094372 | 7556 63539 211173 | 37293 35763 18 | 1.486 % |
678.15/678.16 c | 2096422 | 7556 63539 211173 | 37293 31952 17 | 1.486 % |
678.35/678.36 c | 2096934 | 7556 63539 211173 | 37293 32464 17 | 1.486 % |
678.55/678.54 c | 2097447 | 7556 63539 211173 | 37293 32977 17 | 1.486 % |
678.95/678.96 c | 2098471 | 7556 63539 211173 | 37293 34001 17 | 1.486 % |
679.15/679.15 c | 2098983 | 7556 63539 211173 | 37293 34513 17 | 1.486 % |
679.35/679.35 c | 2099495 | 7556 63539 211173 | 37293 35025 17 | 1.486 % |
679.65/679.65 c | 2100519 | 7556 63539 211173 | 35530 31116 17 | 1.486 % |
680.25/680.27 c | 2102569 | 7556 63539 211173 | 35530 33166 17 | 1.486 % |
681.65/681.69 c | 2106665 | 7556 63539 211173 | 35530 32242 17 | 1.486 % |
684.85/684.87 c | 2114859 | 7556 63539 211173 | 35577 35407 17 | 1.486 % |
689.95/689.94 c | 2131243 | 7555 63536 211167 | 33153 30467 17 | 1.499 % |
701.35/701.37 c | 2164011 | 7555 63536 211167 | 41553 38801 18 | 1.499 % |
722.94/722.99 c | 2229548 | 7554 63533 211161 | 37638 35170 17 | 1.512 % |
768.05/768.03 c | 2360620 | 7534 63454 210993 | 2147483647 27480 16 | 1.773 % |
852.75/852.79 c | 2622765 | 7522 63399 210873 | 36339 33803 20 | 1.930 % |
852.85/852.88 c | 2623278 | 7522 63399 210873 | 36339 34316 20 | 1.930 % |
852.95/853.00 c | 2623790 | 7522 63399 210873 | 36339 34828 20 | 1.930 % |
853.25/853.23 c | 2624814 | 7522 63399 210873 | 36339 35852 20 | 1.930 % |
853.35/853.34 c | 2625327 | 7522 63399 210873 | 36339 36365 20 | 1.930 % |
853.45/853.46 c | 2625839 | 7522 63399 210873 | 36339 36877 20 | 1.930 % |
853.75/853.74 c | 2626863 | 7522 63399 210873 | 36339 33122 19 | 1.930 % |
854.25/854.23 c | 2628911 | 7522 63399 210873 | 36339 35170 19 | 1.930 % |
854.35/854.35 c | 2629424 | 7522 63399 210873 | 36339 35683 19 | 1.930 % |
854.55/854.51 c | 2629938 | 7522 63399 210873 | 36339 36197 19 | 1.930 % |
854.76/854.80 c | 2630963 | 7522 63399 210873 | 36261 32472 19 | 1.930 % |
854.95/854.92 c | 2631475 | 7522 63399 210873 | 36261 32984 19 | 1.930 % |
855.05/855.07 c | 2631987 | 7522 63399 210873 | 36261 33496 19 | 1.930 % |
855.35/855.33 c | 2633012 | 7522 63399 210873 | 36261 34521 19 | 1.930 % |
855.95/855.96 c | 2635060 | 7522 63399 210873 | 36261 36569 19 | 1.930 % |
857.25/857.28 c | 2639157 | 7522 63399 210873 | 36261 36029 18 | 1.930 % |
857.45/857.46 c | 2639669 | 7522 63399 210873 | 36261 36541 18 | 1.930 % |
857.65/857.62 c | 2640181 | 7522 63399 210873 | 32253 32429 17 | 1.930 % |
857.95/857.95 c | 2641205 | 7522 63399 210873 | 32253 29362 17 | 1.930 % |
858.06/858.09 c | 2641717 | 7522 63399 210873 | 32253 29874 17 | 1.930 % |
858.15/858.20 c | 2642229 | 7522 63399 210873 | 32253 30386 17 | 1.930 % |
858.45/858.43 c | 2643256 | 7522 63399 210873 | 32253 31413 17 | 1.930 % |
859.05/859.06 c | 2645304 | 7521 63306 210595 | 32253 29767 17 | 1.943 % |
859.16/859.18 c | 2645817 | 7521 63306 210595 | 32253 30280 17 | 1.943 % |
859.25/859.30 c | 2646330 | 7521 63306 210595 | 32253 30793 17 | 1.943 % |
859.55/859.59 c | 2647355 | 7521 63306 210595 | 32253 31818 17 | 1.943 % |
859.75/859.72 c | 2647868 | 7521 63306 210595 | 32253 32331 17 | 1.943 % |
859.85/859.87 c | 2648380 | 7521 63306 210595 | 32253 32843 17 | 1.943 % |
860.15/860.14 c | 2649406 | 7521 63306 210595 | 32253 30245 17 | 1.943 % |
860.65/860.71 c | 2651454 | 7521 63306 210595 | 30839 28902 17 | 1.943 % |
862.05/862.05 c | 2655550 | 7521 63306 210595 | 30839 29574 17 | 1.943 % |
864.66/864.70 c | 2663742 | 7520 63303 210589 | 30478 30445 17 | 1.956 % |
864.85/864.84 c | 2664254 | 7520 63303 210589 | 30478 30957 17 | 1.956 % |
864.95/864.98 c | 2664768 | 7520 63303 210589 | 30478 28049 17 | 1.956 % |
865.25/865.26 c | 2665792 | 7520 63303 210589 | 30478 29073 17 | 1.956 % |
865.35/865.39 c | 2666304 | 7520 63303 210589 | 30478 29585 17 | 1.956 % |
865.45/865.51 c | 2666817 | 7520 63303 210589 | 30478 30098 17 | 1.956 % |
865.76/865.81 c | 2667843 | 7520 63303 210589 | 30478 27657 17 | 1.956 % |
866.35/866.37 c | 2669895 | 7520 63303 210589 | 30478 29709 17 | 1.956 % |
866.55/866.52 c | 2670409 | 7520 63303 210589 | 29815 30223 17 | 1.956 % |
866.65/866.69 c | 2670921 | 7520 63303 210589 | 29815 27262 16 | 1.956 % |
866.95/866.98 c | 2671945 | 7520 63303 210589 | 29815 28286 17 | 1.956 % |
867.15/867.15 c | 2672457 | 7520 63303 210589 | 29815 28798 17 | 1.956 % |
867.35/867.33 c | 2672969 | 7520 63303 210589 | 29815 29310 17 | 1.956 % |
867.55/867.59 c | 2673993 | 7520 63303 210589 | 29815 27316 17 | 1.956 % |
868.15/868.13 c | 2676042 | 7520 63303 210589 | 29815 29365 17 | 1.956 % |
869.15/869.15 c | 2680138 | 7520 63303 210589 | 2147483647 27418 16 | 1.956 % |
869.25/869.28 c | 2680652 | 7520 63303 210589 | 2147483647 27932 16 | 1.956 % |
869.35/869.40 c | 2681164 | 7520 63303 210589 | 2147483647 28444 17 | 1.956 % |
869.75/869.71 c | 2682188 | 7520 63303 210589 | 2147483647 29468 17 | 1.956 % |
869.85/869.87 c | 2682702 | 7520 63303 210589 | 2147483647 29982 17 | 1.956 % |
870.05/870.06 c | 2683214 | 7520 63303 210589 | 2147483647 30494 17 | 1.956 % |
870.35/870.37 c | 2684238 | 7520 63303 210589 | 2147483647 31518 17 | 1.956 % |
870.95/870.99 c | 2686287 | 7520 63303 210589 | 2147483647 33567 17 | 1.956 % |
871.15/871.15 c | 2686799 | 7520 63303 210589 | 2147483647 34079 17 | 1.956 % |
871.26/871.29 c | 2687312 | 7520 63303 210589 | 2147483647 34592 17 | 1.956 % |
871.55/871.58 c | 2688337 | 7520 63303 210589 | 2147483647 35617 17 | 1.956 % |
871.76/871.77 c | 2688851 | 7520 63303 210589 | 2147483647 36131 17 | 1.956 % |
871.95/871.96 c | 2689363 | 7520 63303 210589 | 2147483647 36643 17 | 1.956 % |
872.26/872.27 c | 2690389 | 7520 63303 210589 | 37280 37669 17 | 1.956 % |
872.86/872.86 c | 2692437 | 7520 63303 210589 | 37280 34479 17 | 1.956 % |
874.26/874.28 c | 2696533 | 7520 63303 210589 | 37280 33231 17 | 1.956 % |
876.76/876.79 c | 2704725 | 7520 63303 210589 | 36699 36006 17 | 1.956 % |
882.86/882.86 c | 2721109 | 7520 63303 210589 | 34268 30151 16 | 1.956 % |
882.96/882.97 c | 2721623 | 7520 63303 210589 | 34268 30665 16 | 1.956 % |
883.16/883.13 c | 2722136 | 7520 63303 210589 | 34268 31178 16 | 1.956 % |
883.46/883.43 c | 2723162 | 7520 63303 210589 | 34268 32204 16 | 1.956 % |
883.56/883.58 c | 2723674 | 7520 63303 210589 | 34268 32716 17 | 1.956 % |
883.76/883.75 c | 2724186 | 7520 63303 210589 | 34268 33228 17 | 1.956 % |
884.06/884.06 c | 2725213 | 7520 63303 210589 | 34268 34255 17 | 1.956 % |
884.66/884.70 c | 2727261 | 7520 63303 210589 | 34268 31519 16 | 1.956 % |
884.86/884.92 c | 2727774 | 7520 63303 210589 | 34268 32032 16 | 1.956 % |
885.06/885.08 c | 2728286 | 7520 63303 210589 | 34268 32544 16 | 1.956 % |
885.36/885.36 c | 2729313 | 7520 63303 210589 | 34268 33571 16 | 1.956 % |
885.46/885.51 c | 2729828 | 7520 63303 210589 | 34268 34086 17 | 1.956 % |
885.66/885.65 c | 2730340 | 7520 63303 210589 | 34259 34598 17 | 1.956 % |
886.06/886.02 c | 2731364 | 7520 63303 210589 | 34259 30798 16 | 1.956 % |
886.66/886.69 c | 2733414 | 7520 63303 210589 | 34259 32848 16 | 1.956 % |
888.06/888.09 c | 2737510 | 7520 63303 210589 | 34259 32160 16 | 1.956 % |
888.26/888.24 c | 2738022 | 7520 63303 210589 | 34259 32672 16 | 1.956 % |
888.46/888.43 c | 2738535 | 7520 63303 210589 | 34259 33185 16 | 1.956 % |
888.76/888.73 c | 2739559 | 7520 63303 210589 | 34259 34209 17 | 1.956 % |
888.96/888.93 c | 2740072 | 7520 63303 210589 | 29879 29951 16 | 1.956 % |
889.06/889.10 c | 2740584 | 7520 63303 210589 | 29879 26226 16 | 1.956 % |
889.36/889.37 c | 2741608 | 7520 63303 210589 | 29879 27250 16 | 1.956 % |
889.86/889.85 c | 2743656 | 7520 63303 210589 | 29879 29298 16 | 1.956 % |
890.06/890.02 c | 2744169 | 7520 63303 210589 | 29879 29811 16 | 1.956 % |
890.16/890.18 c | 2744681 | 7520 63303 210589 | 29879 26806 16 | 1.956 % |
890.46/890.48 c | 2745707 | 7520 63303 210589 | 29879 27832 16 | 1.956 % |
890.66/890.63 c | 2746221 | 7520 63303 210589 | 29879 28346 16 | 1.956 % |
890.76/890.76 c | 2746733 | 7520 63303 210589 | 29879 28858 16 | 1.956 % |
890.96/891.00 c | 2747757 | 7520 63303 210589 | 29879 29882 16 | 1.956 % |
891.56/891.59 c | 2749805 | 7520 63303 210589 | 29879 28470 16 | 1.956 % |
892.86/892.85 c | 2753902 | 7520 63303 210589 | 28665 26442 16 | 1.956 % |
895.26/895.28 c | 2762094 | 7519 63300 210583 | 26522 25892 16 | 1.969 % |
895.46/895.44 c | 2762608 | 7519 63300 210583 | 26522 26406 16 | 1.969 % |
895.56/895.58 c | 2763122 | 7519 63300 210583 | 26522 24215 15 | 1.969 % |
895.86/895.89 c | 2764146 | 7519 63300 210583 | 26522 25239 16 | 1.969 % |
896.06/896.05 c | 2764658 | 7519 63300 210583 | 26522 25751 16 | 1.969 % |
896.16/896.20 c | 2765170 | 7519 63300 210583 | 26522 26263 16 | 1.969 % |
896.56/896.54 c | 2766194 | 7519 63300 210583 | 26522 24567 16 | 1.969 % |
897.16/897.21 c | 2768242 | 7519 63300 210583 | 26522 26615 16 | 1.969 % |
897.36/897.37 c | 2768755 | 7519 63300 210583 | 26522 24418 15 | 1.969 % |
897.46/897.48 c | 2769268 | 7519 63300 210583 | 26522 24931 15 | 1.969 % |
897.76/897.73 c | 2770294 | 7519 63300 210583 | 2147483647 25957 15 | 1.969 % |
897.86/897.88 c | 2770808 | 7519 63300 210583 | 2147483647 26471 16 | 1.969 % |
898.06/898.04 c | 2771320 | 7519 63300 210583 | 2147483647 26983 16 | 1.969 % |
898.26/898.31 c | 2772345 | 7519 63300 210583 | 2147483647 28008 16 | 1.969 % |
898.86/898.84 c | 2774393 | 7519 63300 210583 | 2147483647 30056 16 | 1.969 % |
899.96/899.95 c | 2778491 | 7519 63300 210583 | 2147483647 34154 17 | 1.969 % |
900.16/900.14 c | 2779004 | 7519 63300 210583 | 2147483647 34667 17 | 1.969 % |
900.36/900.33 c | 2779517 | 7519 63300 210583 | 2147483647 35180 17 | 1.969 % |
900.76/900.81 c | 2780541 | 7519 63300 210583 | 35664 31801 16 | 1.969 % |
900.96/901.00 c | 2781055 | 7519 63300 210583 | 35664 32315 16 | 1.969 % |
901.16/901.20 c | 2781567 | 7519 63300 210583 | 35664 32827 16 | 1.969 % |
901.56/901.58 c | 2782592 | 7519 63300 210583 | 35664 33852 17 | 1.969 % |
902.26/902.26 c | 2784641 | 7519 63300 210583 | 35664 35901 17 | 1.969 % |
902.46/902.47 c | 2785153 | 7519 63300 210583 | 35664 31341 16 | 1.969 % |
902.66/902.64 c | 2785665 | 7519 63300 210583 | 35664 31853 16 | 1.969 % |
902.96/902.94 c | 2786690 | 7519 63300 210583 | 35664 32878 16 | 1.969 % |
903.06/903.09 c | 2787204 | 7519 63300 210583 | 35664 33392 16 | 1.969 % |
903.26/903.22 c | 2787718 | 7519 63300 210583 | 35664 33906 17 | 1.969 % |
903.66/903.62 c | 2788742 | 7519 63300 210583 | 35664 34930 17 | 1.969 % |
904.26/904.27 c | 2790790 | 7519 63300 210583 | 31166 27520 16 | 1.969 % |
905.56/905.60 c | 2794886 | 7519 63300 210583 | 31166 31616 16 | 1.969 % |
907.96/908.01 c | 2803078 | 7519 63300 210583 | 28679 28322 17 | 1.969 % |
913.06/913.05 c | 2819463 | 7519 63300 210583 | 2147483647 36013 19 | 1.969 % |
923.76/923.76 c | 2852233 | 7519 63300 210583 | 28320 27582 16 | 1.969 % |
923.96/923.92 c | 2852745 | 7519 63300 210583 | 28320 28094 16 | 1.969 % |
924.06/924.11 c | 2853257 | 7519 63300 210583 | 28320 28606 16 | 1.969 % |
924.36/924.38 c | 2854282 | 7519 63300 210583 | 28320 26734 16 | 1.969 % |
924.46/924.51 c | 2854795 | 7519 63300 210583 | 28320 27247 16 | 1.969 % |
924.66/924.63 c | 2855308 | 7519 63300 210583 | 28320 27760 16 | 1.969 % |
924.86/924.89 c | 2856332 | 7519 63300 210583 | 28320 25917 16 | 1.969 % |
925.46/925.48 c | 2858380 | 7519 63300 210583 | 28320 27965 16 | 1.969 % |
925.56/925.61 c | 2858892 | 7519 63300 210583 | 28320 28477 16 | 1.969 % |
925.76/925.75 c | 2859405 | 7519 63300 210583 | 28320 26143 16 | 1.969 % |
926.06/926.05 c | 2860429 | 7519 63300 210583 | 2147483647 27167 16 | 1.969 % |
926.16/926.21 c | 2860941 | 7519 63300 210583 | 2147483647 27679 16 | 1.969 % |
926.36/926.32 c | 2861457 | 7519 63300 210583 | 2147483647 28195 16 | 1.969 % |
926.66/926.65 c | 2862481 | 7519 63300 210583 | 2147483647 29219 16 | 1.969 % |
927.26/927.30 c | 2864530 | 7519 63300 210583 | 2147483647 31268 16 | 1.969 % |
928.66/928.62 c | 2868626 | 7519 63300 210583 | 2147483647 35364 17 | 1.969 % |
928.86/928.82 c | 2869140 | 7519 63300 210583 | 2147483647 35878 17 | 1.969 % |
928.96/928.94 c | 2869653 | 7519 63300 210583 | 2147483647 36391 17 | 1.969 % |
929.36/929.41 c | 2870678 | 7519 63300 210583 | 36738 32008 17 | 1.969 % |
929.56/929.56 c | 2871190 | 7519 63300 210583 | 36738 32520 17 | 1.969 % |
929.76/929.73 c | 2871703 | 7519 63300 210583 | 36738 33033 17 | 1.969 % |
930.06/930.02 c | 2872728 | 7519 63300 210583 | 36738 34058 17 | 1.969 % |
930.66/930.62 c | 2874778 | 7519 63300 210583 | 36738 36108 17 | 1.969 % |
930.76/930.75 c | 2875291 | 7519 63300 210583 | 36738 36621 17 | 1.969 % |
930.96/930.97 c | 2875804 | 7519 63300 210583 | 36738 37134 17 | 1.969 % |
931.36/931.38 c | 2876828 | 7518 63297 210577 | 36738 32999 17 | 1.982 % |
931.46/931.51 c | 2877340 | 7518 63297 210577 | 36738 33511 17 | 1.982 % |
931.66/931.71 c | 2877854 | 7518 63297 210577 | 36738 34025 17 | 1.982 % |
932.16/932.17 c | 2878878 | 7518 63297 210577 | 36738 35049 17 | 1.982 % |
932.76/932.81 c | 2880926 | 7518 63297 210577 | 36171 31875 16 | 1.982 % |
934.26/934.22 c | 2885025 | 7518 63297 210577 | 36171 35974 17 | 1.982 % |
936.56/936.52 c | 2893218 | 7518 63297 210577 | 36036 34613 17 | 1.982 % |
936.66/936.65 c | 2893731 | 7518 63297 210577 | 36036 35126 17 | 1.982 % |
936.86/936.85 c | 2894243 | 7518 63297 210577 | 36036 35638 17 | 1.982 % |
937.26/937.23 c | 2895268 | 7518 63297 210577 | 36036 31624 16 | 1.982 % |
937.36/937.40 c | 2895780 | 7518 63297 210577 | 36036 32136 16 | 1.982 % |
937.56/937.57 c | 2896292 | 7518 63297 210577 | 36036 32648 16 | 1.982 % |
937.86/937.90 c | 2897317 | 7518 63297 210577 | 36036 33673 16 | 1.982 % |
938.56/938.57 c | 2899369 | 7518 63297 210577 | 36036 35725 17 | 1.982 % |
938.76/938.78 c | 2899881 | 7518 63297 210577 | 36036 36237 17 | 1.982 % |
939.06/939.03 c | 2900393 | 7518 63297 210577 | 30978 26840 16 | 1.982 % |
939.36/939.32 c | 2901417 | 7518 63297 210577 | 30978 27864 16 | 1.982 % |
939.46/939.48 c | 2901931 | 7518 63297 210577 | 30978 28378 16 | 1.982 % |
939.66/939.65 c | 2902444 | 7518 63297 210577 | 30978 28891 16 | 1.982 % |
939.96/939.97 c | 2903468 | 7518 63297 210577 | 30978 29915 16 | 1.982 % |
940.76/940.80 c | 2905516 | 7518 63297 210577 | 30978 28170 15 | 1.982 % |
942.06/942.02 c | 2909612 | 7518 63297 210577 | 30978 28512 15 | 1.982 % |
942.16/942.19 c | 2910124 | 7518 63297 210577 | 28900 29024 15 | 1.982 % |
942.36/942.34 c | 2910639 | 7518 63297 210577 | 28900 26132 15 | 1.982 % |
942.66/942.63 c | 2911663 | 7518 63297 210577 | 28900 27156 15 | 1.982 % |
942.86/942.81 c | 2912176 | 7518 63297 210577 | 28900 27669 15 | 1.982 % |
942.96/942.92 c | 2912691 | 7518 63297 210577 | 28900 28184 15 | 1.982 % |
943.16/943.20 c | 2913716 | 7518 63297 210577 | 28900 29209 15 | 1.982 % |
943.87/943.90 c | 2915764 | 7518 63297 210577 | 28900 28195 15 | 1.982 % |
944.06/944.07 c | 2916279 | 7518 63297 210577 | 28900 28710 15 | 1.982 % |
944.26/944.26 c | 2916792 | 7518 63297 210577 | 28900 29223 16 | 1.982 % |
944.56/944.52 c | 2917817 | 7518 63297 210577 | 28900 26930 15 | 1.982 % |
944.66/944.67 c | 2918329 | 7518 63297 210577 | 28900 27442 15 | 1.982 % |
944.86/944.85 c | 2918843 | 7518 63297 210577 | 28900 27956 15 | 1.982 % |
945.16/945.14 c | 2919867 | 7518 63297 210577 | 28900 28980 15 | 1.982 % |
945.66/945.66 c | 2921915 | 7518 63297 210577 | 29113 27950 16 | 1.982 % |
947.06/947.08 c | 2926011 | 7518 63297 210577 | 29113 29096 16 | 1.982 % |
949.96/949.99 c | 2934204 | 7518 63297 210577 | 2147483647 31395 16 | 1.982 % |
955.56/955.52 c | 2950588 | 7518 63297 210577 | 32944 29278 16 | 1.982 % |
955.66/955.66 c | 2951100 | 7518 63297 210577 | 32944 29790 16 | 1.982 % |
955.86/955.85 c | 2951612 | 7518 63297 210577 | 32944 30302 16 | 1.982 % |
956.26/956.24 c | 2952638 | 7518 63297 210577 | 32944 31328 16 | 1.982 % |
956.36/956.40 c | 2953151 | 7518 63297 210577 | 32944 31841 16 | 1.982 % |
956.56/956.56 c | 2953663 | 7518 63297 210577 | 32944 32353 16 | 1.982 % |
956.86/956.89 c | 2954687 | 7518 63297 210577 | 32944 29198 16 | 1.982 % |
957.36/957.39 c | 2956739 | 7518 63297 210577 | 32944 31250 16 | 1.982 % |
957.56/957.57 c | 2957251 | 7518 63297 210577 | 32944 31762 16 | 1.982 % |
957.76/957.72 c | 2957764 | 7518 63297 210577 | 32944 32275 16 | 1.982 % |
958.06/958.03 c | 2958788 | 7518 63297 210577 | 32944 33299 16 | 1.982 % |
958.26/958.23 c | 2959302 | 7518 63297 210577 | 32944 29678 16 | 1.982 % |
958.36/958.36 c | 2959815 | 7518 63297 210577 | 32944 30191 16 | 1.982 % |
958.66/958.68 c | 2960839 | 7518 63297 210577 | 30376 27357 16 | 1.982 % |
959.27/959.29 c | 2962887 | 7518 63297 210577 | 30376 29405 16 | 1.982 % |
960.66/960.68 c | 2966984 | 7518 63297 210577 | 30376 29735 16 | 1.982 % |
960.86/960.83 c | 2967497 | 7518 63297 210577 | 30376 30248 16 | 1.982 % |
960.96/961.00 c | 2968009 | 7518 63297 210577 | 30376 30760 16 | 1.982 % |
961.47/961.44 c | 2969034 | 7518 63297 210577 | 30376 28131 16 | 1.982 % |
961.56/961.57 c | 2969547 | 7518 63297 210577 | 30376 28644 16 | 1.982 % |
961.76/961.75 c | 2970059 | 7518 63297 210577 | 29099 29156 16 | 1.982 % |
962.06/962.10 c | 2971083 | 7518 63297 210577 | 29099 26474 16 | 1.982 % |
962.76/962.78 c | 2973133 | 7518 63297 210577 | 29099 28524 16 | 1.982 % |
962.96/962.96 c | 2973645 | 7518 63297 210577 | 29099 29036 16 | 1.982 % |
963.16/963.14 c | 2974161 | 7518 63297 210577 | 29099 26014 16 | 1.982 % |
963.46/963.44 c | 2975185 | 7518 63297 210577 | 29099 27038 16 | 1.982 % |
963.56/963.61 c | 2975697 | 7518 63297 210577 | 29099 27550 16 | 1.982 % |
963.76/963.80 c | 2976209 | 7518 63297 210577 | 29099 28062 16 | 1.982 % |
964.06/964.09 c | 2977233 | 7518 63297 210577 | 29099 29086 16 | 1.982 % |
964.77/964.76 c | 2979282 | 7518 63297 210577 | 29099 27710 16 | 1.982 % |
966.06/966.07 c | 2983378 | 7518 63297 210577 | 28429 28465 15 | 1.982 % |
968.36/968.35 c | 2991571 | 7518 63297 210577 | 2147483647 27882 15 | 1.982 % |
968.56/968.54 c | 2992084 | 7518 63297 210577 | 2147483647 28395 15 | 1.982 % |
968.66/968.68 c | 2992596 | 7518 63297 210577 | 2147483647 28907 15 | 1.982 % |
969.06/969.04 c | 2993623 | 7518 63297 210577 | 2147483647 29934 15 | 1.982 % |
969.17/969.21 c | 2994136 | 7518 63297 210577 | 2147483647 30447 15 | 1.982 % |
969.36/969.36 c | 2994650 | 7518 63297 210577 | 2147483647 30961 16 | 1.982 % |
969.66/969.67 c | 2995674 | 7518 63297 210577 | 2147483647 31985 16 | 1.982 % |
970.36/970.36 c | 2997723 | 7518 63297 210577 | 2147483647 34034 16 | 1.982 % |
970.56/970.54 c | 2998238 | 7518 63297 210577 | 2147483647 34549 16 | 1.982 % |
970.76/970.80 c | 2998751 | 7518 63297 210577 | 2147483647 35062 16 | 1.982 % |
971.16/971.21 c | 2999775 | 7518 63297 210577 | 2147483647 36086 16 | 1.982 % |
971.37/971.41 c | 3000287 | 7518 63297 210577 | 36311 36598 16 | 1.982 % |
971.66/971.62 c | 3000801 | 7518 63297 210577 | 36311 32705 16 | 1.982 % |
971.96/971.94 c | 3001825 | 7518 63297 210577 | 36311 33729 16 | 1.982 % |
972.76/972.74 c | 3003874 | 7518 63297 210577 | 36311 35778 16 | 1.982 % |
974.46/974.47 c | 3007970 | 7518 63297 210577 | 36311 35620 16 | 1.982 % |
974.76/974.75 c | 3008483 | 7518 63297 210577 | 36311 36133 16 | 1.982 % |
974.96/974.93 c | 3008997 | 7518 63297 210577 | 36311 36647 16 | 1.982 % |
975.26/975.27 c | 3010021 | 7518 63297 210577 | 33015 33036 16 | 1.982 % |
975.56/975.54 c | 3010534 | 7518 63297 210577 | 33015 29133 16 | 1.982 % |
975.66/975.71 c | 3011046 | 7518 63297 210577 | 33015 29645 16 | 1.982 % |
976.06/976.08 c | 3012070 | 7518 63297 210577 | 33015 30669 16 | 1.982 % |
976.87/976.84 c | 3014118 | 7518 63297 210577 | 33015 32717 16 | 1.982 % |
977.06/977.04 c | 3014630 | 7518 63297 210577 | 33015 33229 16 | 1.982 % |
977.16/977.18 c | 3015143 | 7518 63297 210577 | 33015 28987 16 | 1.982 % |
977.56/977.58 c | 3016167 | 7518 63297 210577 | 33015 30011 16 | 1.982 % |
977.76/977.76 c | 3016679 | 7518 63297 210577 | 33015 30523 16 | 1.982 % |
977.97/977.95 c | 3017191 | 7518 63297 210577 | 33015 31035 16 | 1.982 % |
978.26/978.24 c | 3018215 | 7518 63297 210577 | 33015 32059 16 | 1.982 % |
978.96/978.94 c | 3020264 | 7517 63294 210571 | 29345 29607 16 | 1.995 % |
980.17/980.13 c | 3024360 | 7517 63294 210571 | 29345 29754 16 | 1.995 % |
983.06/983.02 c | 3032552 | 7517 63294 210571 | 28503 27688 16 | 1.995 % |
987.97/987.95 c | 3048936 | 7515 63269 210511 | 26043 24403 16 | 2.021 % |
999.37/999.39 c | 3081704 | 7514 63266 210505 | 29863 27392 15 | 2.034 % |
1015.37/1015.35 c ===============================================================================
1015.37/1015.35 c restarts : 1279
1015.37/1015.35 c conflicts : 3128807 (3086 /sec)
1015.37/1015.35 c decisions : 4710563 (1.79 % random) (4646 /sec)
1015.37/1015.35 c propagations : 714843075 (704980 /sec)
1015.37/1015.35 c conflict literals : 63312329 (34.75 % deleted)
1015.37/1015.35 c Memory used : 14.03 MB
1015.37/1015.35 c CPU time : 1013.99 s
1015.37/1015.35 c
1015.37/1015.35 s UNSATISFIABLE
1015.37/1015.35 s UNSATISFIABLE
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1821395-1242523399/watcher-1821395-1242523399 -o /tmp/evaluation-result-1821395-1242523399/solver-1821395-1242523399 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821395-1242523399.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 0.91 0.98 0.99 2/93 13488
/proc/meminfo: memFree=1177444/2074464 swapFree=1950884/1959888
[pid=13488] ppid=13486 vsize=2416 CPUtime=0.01
/proc/13488/stat : 13488 (SatELiteGTI) S 13486 13488 10114 0 -1 4194304 365 648 0 0 0 0 1 0 18 0 1 0 1016840746 2473984 276 4294967295 134512640 135169312 3217547216 3217545752 3085418222 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/13488/statm: 604 276 235 161 0 43 0
[pid=13492] ppid=13488 vsize=952 CPUtime=0
/proc/13492/stat : 13492 (SatELite_releas) R 13488 13488 10114 0 -1 4202496 121 0 0 0 0 0 0 0 20 0 1 0 1016840747 974848 58 4294967295 134512640 135223648 3217821696 3217820280 134719062 0 0 0 3 0 0 0 17 0 0 0 0
/proc/13492/statm: 238 59 47 174 0 63 0
[startup+0.093698 s]
/proc/loadavg: 0.91 0.98 0.99 2/93 13488
/proc/meminfo: memFree=1177444/2074464 swapFree=1950884/1959888
[pid=13488] ppid=13486 vsize=2416 CPUtime=0.01
/proc/13488/stat : 13488 (SatELiteGTI) S 13486 13488 10114 0 -1 4194304 365 648 0 0 0 0 1 0 18 0 1 0 1016840746 2473984 276 4294967295 134512640 135169312 3217547216 3217545752 3085418222 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/13488/statm: 604 276 235 161 0 43 0
[pid=13492] ppid=13488 vsize=10872 CPUtime=0.09
/proc/13492/stat : 13492 (SatELite_releas) R 13488 13488 10114 0 -1 4202496 2455 0 0 0 8 1 0 0 20 0 1 0 1016840747 11132928 2391 4294967295 134512640 135223648 3217821696 3217820648 134737310 0 0 0 3 0 0 0 17 0 0 0 0
/proc/13492/statm: 2718 2392 47 174 0 2543 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13288
[startup+0.113695 s]
/proc/loadavg: 0.91 0.98 0.99 2/93 13488
/proc/meminfo: memFree=1177444/2074464 swapFree=1950884/1959888
[pid=13488] ppid=13486 vsize=2416 CPUtime=0.01
/proc/13488/stat : 13488 (SatELiteGTI) S 13486 13488 10114 0 -1 4194304 365 648 0 0 0 0 1 0 18 0 1 0 1016840746 2473984 276 4294967295 134512640 135169312 3217547216 3217545752 3085418222 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/13488/statm: 604 276 235 161 0 43 0
[pid=13492] ppid=13488 vsize=13124 CPUtime=0.11
/proc/13492/stat : 13492 (SatELite_releas) R 13488 13488 10114 0 -1 4202496 2997 0 0 0 10 1 0 0 20 0 1 0 1016840747 13438976 2933 4294967295 134512640 135223648 3217821696 3217820648 134737310 0 0 0 3 0 0 0 17 0 0 0 0
/proc/13492/statm: 3281 2934 47 174 0 3106 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 15540
[startup+0.313687 s]
/proc/loadavg: 0.91 0.98 0.99 2/93 13488
/proc/meminfo: memFree=1177444/2074464 swapFree=1950884/1959888
[pid=13488] ppid=13486 vsize=2416 CPUtime=0.01
/proc/13488/stat : 13488 (SatELiteGTI) S 13486 13488 10114 0 -1 4194304 365 648 0 0 0 0 1 0 18 0 1 0 1016840746 2473984 276 4294967295 134512640 135169312 3217547216 3217545752 3085418222 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/13488/statm: 604 276 235 161 0 43 0
[pid=13492] ppid=13488 vsize=18560 CPUtime=0.31
/proc/13492/stat : 13492 (SatELite_releas) R 13488 13488 10114 0 -1 4202496 4326 0 0 0 29 2 0 0 21 0 1 0 1016840747 19005440 4262 4294967295 134512640 135223648 3217821696 3217819776 134548560 0 0 0 3 0 0 0 17 0 0 0 0
/proc/13492/statm: 4640 4262 72 174 0 4465 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 20976
[startup+0.713666 s]
/proc/loadavg: 0.91 0.98 0.99 2/93 13488
/proc/meminfo: memFree=1177444/2074464 swapFree=1950884/1959888
[pid=13488] ppid=13486 vsize=2416 CPUtime=0.01
/proc/13488/stat : 13488 (SatELiteGTI) S 13486 13488 10114 0 -1 4194304 365 648 0 0 0 0 1 0 18 0 1 0 1016840746 2473984 276 4294967295 134512640 135169312 3217547216 3217545752 3085418222 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/13488/statm: 604 276 235 161 0 43 0
[pid=13492] ppid=13488 vsize=18768 CPUtime=0.71
/proc/13492/stat : 13492 (SatELite_releas) R 13488 13488 10114 0 -1 4202496 4740 0 0 0 69 2 0 0 22 0 1 0 1016840747 19218432 4316 4294967295 134512640 135223648 3217821696 3217819648 134564627 0 0 0 3 0 0 0 17 0 0 0 0
/proc/13492/statm: 4692 4316 73 174 0 4517 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 21184
[startup+1.51363 s]
/proc/loadavg: 0.91 0.98 0.99 2/95 13493
/proc/meminfo: memFree=1157944/2074464 swapFree=1950884/1959888
[pid=13488] ppid=13486 vsize=2420 CPUtime=1.2
/proc/13488/stat : 13488 (SatELiteGTI) S 13486 13488 10114 0 -1 4194304 385 5781 0 0 0 0 117 3 18 0 1 0 1016840746 2478080 278 4294967295 134512640 135169312 3217547216 3217543432 3085418222 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/13488/statm: 605 278 235 161 0 44 0
Current children cumulated CPU time (s) 1.2
Current children cumulated vsize (KiB) 2420
[startup+3.11355 s]
/proc/loadavg: 0.91 0.98 0.99 2/95 13494
/proc/meminfo: memFree=1169724/2074464 swapFree=1950884/1959888
[pid=13488] ppid=13486 vsize=2420 CPUtime=1.2
/proc/13488/stat : 13488 (SatELiteGTI) S 13486 13488 10114 0 -1 4194304 385 5781 0 0 0 0 117 3 18 0 1 0 1016840746 2478080 278 4294967295 134512640 135169312 3217547216 3217543432 3085418222 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/13488/statm: 605 278 235 161 0 44 0
[pid=13494] ppid=13488 vsize=7548 CPUtime=1.91
/proc/13494/stat : 13494 (minisat_static) R 13488 13488 10114 0 -1 4202496 1785 0 0 0 189 2 0 0 25 0 1 0 1016840866 7729152 1719 4294967295 134512640 135216591 3217049504 3217047696 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/13494/statm: 1887 1719 75 172 0 1714 0
Current children cumulated CPU time (s) 3.11
Current children cumulated vsize (KiB) 9968
[startup+6.31339 s]
/proc/loadavg: 0.92 0.98 0.99 2/95 13494
/proc/meminfo: memFree=1167400/2074464 swapFree=1950884/1959888
[pid=13488] ppid=13486 vsize=2420 CPUtime=1.2
/proc/13488/stat : 13488 (SatELiteGTI) S 13486 13488 10114 0 -1 4194304 385 5781 0 0 0 0 117 3 18 0 1 0 1016840746 2478080 278 4294967295 134512640 135169312 3217547216 3217543432 3085418222 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/13488/statm: 605 278 235 161 0 44 0
[pid=13494] ppid=13488 vsize=9456 CPUtime=5.11
/proc/13494/stat : 13494 (minisat_static) R 13488 13488 10114 0 -1 4202496 2261 0 0 0 509 2 0 0 25 0 1 0 1016840866 9682944 2195 4294967295 134512640 135216591 3217049504 3217047696 134528997 0 0 0 3 0 0 0 17 0 0 0 0
/proc/13494/statm: 2364 2195 75 172 0 2191 0
Current children cumulated CPU time (s) 6.31
Current children cumulated vsize (KiB) 11876
[startup+12.7131 s]
/proc/loadavg: 0.93 0.98 0.99 2/95 13496
/proc/meminfo: memFree=1166216/2074464 swapFree=1950884/1959888
[pid=13488] ppid=13486 vsize=2420 CPUtime=1.2
/proc/13488/stat : 13488 (SatELiteGTI) S 13486 13488 10114 0 -1 4194304 385 5781 0 0 0 0 117 3 18 0 1 0 1016840746 2478080 278 4294967295 134512640 135169312 3217547216 3217543432 3085418222 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/13488/statm: 605 278 235 161 0 44 0
[pid=13494] ppid=13488 vsize=9996 CPUtime=11.51
/proc/13494/stat : 13494 (minisat_static) R 13488 13488 10114 0 -1 4202496 2407 0 0 0 1149 2 0 0 25 0 1 0 1016840866 10235904 2341 4294967295 134512640 135216591 3217049504 3217047696 134528851 0 0 0 3 0 0 0 17 0 0 0 0
/proc/13494/statm: 2499 2341 75 172 0 2326 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 12416
[startup+25.5125 s]
/proc/loadavg: 0.94 0.98 0.99 2/95 13679
/proc/meminfo: memFree=1165336/2074464 swapFree=1950884/1959888
[pid=13488] ppid=13486 vsize=2420 CPUtime=1.2
/proc/13488/stat : 13488 (SatELiteGTI) S 13486 13488 10114 0 -1 4194304 385 5781 0 0 0 0 117 3 18 0 1 0 1016840746 2478080 278 4294967295 134512640 135169312 3217547216 3217543432 3085418222 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/13488/statm: 605 278 235 161 0 44 0
[pid=13494] ppid=13488 vsize=10268 CPUtime=24.31
/proc/13494/stat : 13494 (minisat_static) R 13488 13488 10114 0 -1 4202496 2477 0 0 0 2428 3 0 0 25 0 1 0 1016840866 10514432 2411 4294967295 134512640 135216591 3217049504 3217047696 134528948 0 0 0 3 0 0 0 17 0 0 0 0
/proc/13494/statm: 2567 2411 75 172 0 2394 0
Current children cumulated CPU time (s) 25.51
Current children cumulated vsize (KiB) 12688
[startup+51.1112 s]
/proc/loadavg: 0.96 0.98 0.99 2/95 13682
/proc/meminfo: memFree=1165164/2074464 swapFree=1950884/1959888
[pid=13488] ppid=13486 vsize=2420 CPUtime=1.2
/proc/13488/stat : 13488 (SatELiteGTI) S 13486 13488 10114 0 -1 4194304 385 5781 0 0 0 0 117 3 18 0 1 0 1016840746 2478080 278 4294967295 134512640 135169312 3217547216 3217543432 3085418222 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/13488/statm: 605 278 235 161 0 44 0
[pid=13494] ppid=13488 vsize=10944 CPUtime=49.91
/proc/13494/stat : 13494 (minisat_static) R 13488 13488 10114 0 -1 4202496 2611 0 0 0 4988 3 0 0 25 0 1 0 1016840866 11206656 2545 4294967295 134512640 135216591 3217049504 3217047696 134528969 0 0 0 3 0 0 0 17 0 0 0 0
/proc/13494/statm: 2736 2545 75 172 0 2563 0
Current children cumulated CPU time (s) 51.11
Current children cumulated vsize (KiB) 13364
[startup+102.319 s]
/proc/loadavg: 0.98 0.98 0.99 3/95 13868
/proc/meminfo: memFree=1163900/2074464 swapFree=1950884/1959888
[pid=13488] ppid=13486 vsize=2420 CPUtime=1.2
/proc/13488/stat : 13488 (SatELiteGTI) S 13486 13488 10114 0 -1 4194304 385 5781 0 0 0 0 117 3 18 0 1 0 1016840746 2478080 278 4294967295 134512640 135169312 3217547216 3217543432 3085418222 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/13488/statm: 605 278 235 161 0 44 0
[pid=13494] ppid=13488 vsize=11876 CPUtime=101.12
/proc/13494/stat : 13494 (minisat_static) R 13488 13488 10114 0 -1 4202496 2858 0 0 0 10109 3 0 0 25 0 1 0 1016840866 12161024 2792 4294967295 134512640 135216591 3217049504 3217047696 134528848 0 0 0 3 0 0 0 17 0 0 0 0
/proc/13494/statm: 2969 2792 75 172 0 2796 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 14296
[startup+162.316 s]
/proc/loadavg: 0.99 0.98 0.99 2/95 14061
/proc/meminfo: memFree=1163536/2074464 swapFree=1950884/1959888
[pid=13488] ppid=13486 vsize=2420 CPUtime=1.2
/proc/13488/stat : 13488 (SatELiteGTI) S 13486 13488 10114 0 -1 4194304 385 5781 0 0 0 0 117 3 18 0 1 0 1016840746 2478080 278 4294967295 134512640 135169312 3217547216 3217543432 3085418222 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/13488/statm: 605 278 235 161 0 44 0
[pid=13494] ppid=13488 vsize=12160 CPUtime=161.12
/proc/13494/stat : 13494 (minisat_static) R 13488 13488 10114 0 -1 4202496 2925 0 0 0 16109 3 0 0 25 0 1 0 1016840866 12451840 2859 4294967295 134512640 135216591 3217049504 3217047696 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/13494/statm: 3040 2859 75 172 0 2867 0
Current children cumulated CPU time (s) 162.32
Current children cumulated vsize (KiB) 14580
[startup+222.323 s]
/proc/loadavg: 0.99 0.98 0.99 2/95 14248
/proc/meminfo: memFree=1163676/2074464 swapFree=1950884/1959888
[pid=13488] ppid=13486 vsize=2420 CPUtime=1.2
/proc/13488/stat : 13488 (SatELiteGTI) S 13486 13488 10114 0 -1 4194304 385 5781 0 0 0 0 117 3 18 0 1 0 1016840746 2478080 278 4294967295 134512640 135169312 3217547216 3217543432 3085418222 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/13488/statm: 605 278 235 161 0 44 0
[pid=13494] ppid=13488 vsize=12560 CPUtime=221.13
/proc/13494/stat : 13494 (minisat_static) R 13488 13488 10114 0 -1 4202496 3041 0 0 0 22110 3 0 0 25 0 1 0 1016840866 12861440 2975 4294967295 134512640 135216591 3217049504 3217047696 134528888 0 0 0 3 0 0 0 17 3 0 0 0
/proc/13494/statm: 3140 2975 75 172 0 2967 0
Current children cumulated CPU time (s) 222.33
Current children cumulated vsize (KiB) 14980
[startup+282.32 s]
/proc/loadavg: 0.99 0.98 0.99 5/95 14437
/proc/meminfo: memFree=1163488/2074464 swapFree=1950884/1959888
[pid=13488] ppid=13486 vsize=2420 CPUtime=1.2
/proc/13488/stat : 13488 (SatELiteGTI) S 13486 13488 10114 0 -1 4194304 385 5781 0 0 0 0 117 3 18 0 1 0 1016840746 2478080 278 4294967295 134512640 135169312 3217547216 3217543432 3085418222 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/13488/statm: 605 278 235 161 0 44 0
[pid=13494] ppid=13488 vsize=12856 CPUtime=281.13
/proc/13494/stat : 13494 (minisat_static) R 13488 13488 10114 0 -1 4202496 3080 0 0 0 28110 3 0 0 25 0 1 0 1016840866 13164544 3014 4294967295 134512640 135216591 3217049504 3217047696 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/13494/statm: 3214 3014 75 172 0 3041 0
Current children cumulated CPU time (s) 282.33
Current children cumulated vsize (KiB) 15276
[startup+342.317 s]
/proc/loadavg: 1.06 1.00 1.00 2/95 14626
/proc/meminfo: memFree=1163180/2074464 swapFree=1950884/1959888
[pid=13488] ppid=13486 vsize=2420 CPUtime=1.2
/proc/13488/stat : 13488 (SatELiteGTI) S 13486 13488 10114 0 -1 4194304 385 5781 0 0 0 0 117 3 18 0 1 0 1016840746 2478080 278 4294967295 134512640 135169312 3217547216 3217543432 3085418222 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/13488/statm: 605 278 235 161 0 44 0
[pid=13494] ppid=13488 vsize=13132 CPUtime=341.13
/proc/13494/stat : 13494 (minisat_static) R 13488 13488 10114 0 -1 4202496 3142 0 0 0 34107 6 0 0 25 0 1 0 1016840866 13447168 3076 4294967295 134512640 135216591 3217049504 3217047696 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/13494/statm: 3283 3076 75 172 0 3110 0
Current children cumulated CPU time (s) 342.33
Current children cumulated vsize (KiB) 15552
[startup+402.304 s]
################
# More data... #
################
[startup+582.315 s]
/proc/loadavg: 1.11 1.05 1.01 3/95 15382
/proc/meminfo: memFree=1162248/2074464 swapFree=1950884/1959888
[pid=13488] ppid=13486 vsize=2420 CPUtime=1.2
/proc/13488/stat : 13488 (SatELiteGTI) S 13486 13488 10114 0 -1 4194304 385 5781 0 0 0 0 117 3 18 0 1 0 1016840746 2478080 278 4294967295 134512640 135169312 3217547216 3217543432 3085418222 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/13488/statm: 605 278 235 161 0 44 0
[pid=13494] ppid=13488 vsize=13544 CPUtime=581.14
/proc/13494/stat : 13494 (minisat_static) R 13488 13488 10114 0 -1 4202496 3263 0 0 0 58097 17 0 0 25 0 1 0 1016840866 13869056 3197 4294967295 134512640 135216591 3217049504 3217047696 134529219 0 0 0 3 0 0 0 17 3 0 0 0
/proc/13494/statm: 3386 3197 75 172 0 3213 0
Current children cumulated CPU time (s) 582.34
Current children cumulated vsize (KiB) 15964
[startup+642.312 s]
/proc/loadavg: 1.10 1.06 1.01 3/95 15570
/proc/meminfo: memFree=1162056/2074464 swapFree=1950884/1959888
[pid=13488] ppid=13486 vsize=2420 CPUtime=1.2
/proc/13488/stat : 13488 (SatELiteGTI) S 13486 13488 10114 0 -1 4194304 385 5781 0 0 0 0 117 3 18 0 1 0 1016840746 2478080 278 4294967295 134512640 135169312 3217547216 3217543432 3085418222 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/13488/statm: 605 278 235 161 0 44 0
[pid=13494] ppid=13488 vsize=13808 CPUtime=641.14
/proc/13494/stat : 13494 (minisat_static) R 13488 13488 10114 0 -1 4202496 3334 0 0 0 64097 17 0 0 25 0 1 0 1016840866 14139392 3268 4294967295 134512640 135216591 3217049504 3217047696 134529044 0 0 0 3 0 0 0 17 3 0 0 0
/proc/13494/statm: 3452 3268 75 172 0 3279 0
Current children cumulated CPU time (s) 642.34
Current children cumulated vsize (KiB) 16228
[startup+702.32 s]
/proc/loadavg: 1.10 1.06 1.01 2/95 15756
/proc/meminfo: memFree=1162056/2074464 swapFree=1950884/1959888
[pid=13488] ppid=13486 vsize=2420 CPUtime=1.2
/proc/13488/stat : 13488 (SatELiteGTI) S 13486 13488 10114 0 -1 4194304 385 5781 0 0 0 0 117 3 18 0 1 0 1016840746 2478080 278 4294967295 134512640 135169312 3217547216 3217543432 3085418222 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/13488/statm: 605 278 235 161 0 44 0
[pid=13494] ppid=13488 vsize=13952 CPUtime=701.15
/proc/13494/stat : 13494 (minisat_static) R 13488 13488 10114 0 -1 4202496 3349 0 0 0 70098 17 0 0 25 0 1 0 1016840866 14286848 3283 4294967295 134512640 135216591 3217049504 3217047696 134528833 0 0 0 3 0 0 0 17 3 0 0 0
/proc/13494/statm: 3488 3283 75 172 0 3315 0
Current children cumulated CPU time (s) 702.35
Current children cumulated vsize (KiB) 16372
[startup+762.317 s]
/proc/loadavg: 1.10 1.06 1.01 2/95 15945
/proc/meminfo: memFree=1162188/2074464 swapFree=1950884/1959888
[pid=13488] ppid=13486 vsize=2420 CPUtime=1.2
/proc/13488/stat : 13488 (SatELiteGTI) S 13486 13488 10114 0 -1 4194304 385 5781 0 0 0 0 117 3 18 0 1 0 1016840746 2478080 278 4294967295 134512640 135169312 3217547216 3217543432 3085418222 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/13488/statm: 605 278 235 161 0 44 0
[pid=13494] ppid=13488 vsize=14092 CPUtime=761.15
/proc/13494/stat : 13494 (minisat_static) R 13488 13488 10114 0 -1 4202496 3373 0 0 0 76098 17 0 0 25 0 1 0 1016840866 14430208 3307 4294967295 134512640 135216591 3217049504 3217047792 134541141 0 0 0 3 0 0 0 17 3 0 0 0
/proc/13494/statm: 3523 3307 75 172 0 3350 0
Current children cumulated CPU time (s) 762.35
Current children cumulated vsize (KiB) 16512
[startup+822.314 s]
/proc/loadavg: 1.24 1.10 1.02 2/95 16132
/proc/meminfo: memFree=1162048/2074464 swapFree=1950884/1959888
[pid=13488] ppid=13486 vsize=2420 CPUtime=1.2
/proc/13488/stat : 13488 (SatELiteGTI) S 13486 13488 10114 0 -1 4194304 385 5781 0 0 0 0 117 3 18 0 1 0 1016840746 2478080 278 4294967295 134512640 135169312 3217547216 3217543432 3085418222 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/13488/statm: 605 278 235 161 0 44 0
[pid=13494] ppid=13488 vsize=14224 CPUtime=821.15
/proc/13494/stat : 13494 (minisat_static) R 13488 13488 10114 0 -1 4202496 3413 0 0 0 82098 17 0 0 25 0 1 0 1016840866 14565376 3347 4294967295 134512640 135216591 3217049504 3217047696 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/13494/statm: 3556 3347 75 172 0 3383 0
Current children cumulated CPU time (s) 822.35
Current children cumulated vsize (KiB) 16644
[startup+882.321 s]
/proc/loadavg: 1.09 1.08 1.01 2/95 16325
/proc/meminfo: memFree=1161504/2074464 swapFree=1950884/1959888
[pid=13488] ppid=13486 vsize=2420 CPUtime=1.2
/proc/13488/stat : 13488 (SatELiteGTI) S 13486 13488 10114 0 -1 4194304 385 5781 0 0 0 0 117 3 18 0 1 0 1016840746 2478080 278 4294967295 134512640 135169312 3217547216 3217543432 3085418222 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/13488/statm: 605 278 235 161 0 44 0
[pid=13494] ppid=13488 vsize=14364 CPUtime=881.16
/proc/13494/stat : 13494 (minisat_static) R 13488 13488 10114 0 -1 4202496 3453 0 0 0 88098 18 0 0 25 0 1 0 1016840866 14708736 3387 4294967295 134512640 135216591 3217049504 3217047696 134528851 0 0 0 3 0 0 0 17 3 0 0 0
/proc/13494/statm: 3591 3387 75 172 0 3418 0
Current children cumulated CPU time (s) 882.36
Current children cumulated vsize (KiB) 16784
[startup+942.318 s]
/proc/loadavg: 1.03 1.06 1.01 2/95 16512
/proc/meminfo: memFree=1161544/2074464 swapFree=1950884/1959888
[pid=13488] ppid=13486 vsize=2420 CPUtime=1.2
/proc/13488/stat : 13488 (SatELiteGTI) S 13486 13488 10114 0 -1 4194304 385 5781 0 0 0 0 117 3 18 0 1 0 1016840746 2478080 278 4294967295 134512640 135169312 3217547216 3217543432 3085418222 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/13488/statm: 605 278 235 161 0 44 0
[pid=13494] ppid=13488 vsize=14364 CPUtime=941.16
/proc/13494/stat : 13494 (minisat_static) R 13488 13488 10114 0 -1 4202496 3460 0 0 0 94096 20 0 0 25 0 1 0 1016840866 14708736 3394 4294967295 134512640 135216591 3217049504 3217047696 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/13494/statm: 3591 3394 75 172 0 3418 0
Current children cumulated CPU time (s) 942.36
Current children cumulated vsize (KiB) 16784
[startup+1002.32 s]
/proc/loadavg: 1.01 1.05 1.00 2/95 16699
/proc/meminfo: memFree=1161544/2074464 swapFree=1950884/1959888
[pid=13488] ppid=13486 vsize=2420 CPUtime=1.2
/proc/13488/stat : 13488 (SatELiteGTI) S 13486 13488 10114 0 -1 4194304 385 5781 0 0 0 0 117 3 18 0 1 0 1016840746 2478080 278 4294967295 134512640 135169312 3217547216 3217543432 3085418222 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/13488/statm: 605 278 235 161 0 44 0
[pid=13494] ppid=13488 vsize=14364 CPUtime=1001.17
/proc/13494/stat : 13494 (minisat_static) R 13488 13488 10114 0 -1 4202496 3460 0 0 0 100096 21 0 0 25 0 1 0 1016840866 14708736 3394 4294967295 134512640 135216591 3217049504 3217047056 134545961 0 0 0 3 0 0 0 17 3 0 0 0
/proc/13494/statm: 3591 3394 75 172 0 3418 0
Current children cumulated CPU time (s) 1002.37
Current children cumulated vsize (KiB) 16784
Solver just ended. Dumping a history of the last processes samples
[startup+1004.72 s]
/proc/loadavg: 1.01 1.05 1.00 2/95 16699
/proc/meminfo: memFree=1161544/2074464 swapFree=1950884/1959888
[pid=13488] ppid=13486 vsize=2420 CPUtime=1.2
/proc/13488/stat : 13488 (SatELiteGTI) S 13486 13488 10114 0 -1 4194304 385 5781 0 0 0 0 117 3 18 0 1 0 1016840746 2478080 278 4294967295 134512640 135169312 3217547216 3217543432 3085418222 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/13488/statm: 605 278 235 161 0 44 0
[pid=13494] ppid=13488 vsize=14364 CPUtime=1003.57
/proc/13494/stat : 13494 (minisat_static) R 13488 13488 10114 0 -1 4202496 3460 0 0 0 100336 21 0 0 25 0 1 0 1016840866 14708736 3394 4294967295 134512640 135216591 3217049504 3217047696 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/13494/statm: 3591 3394 75 172 0 3418 0
Current children cumulated CPU time (s) 1004.77
Current children cumulated vsize (KiB) 16784
[startup+1011.12 s]
/proc/loadavg: 1.01 1.05 1.00 2/95 16699
/proc/meminfo: memFree=1161608/2074464 swapFree=1950884/1959888
[pid=13488] ppid=13486 vsize=2420 CPUtime=1.2
/proc/13488/stat : 13488 (SatELiteGTI) S 13486 13488 10114 0 -1 4194304 385 5781 0 0 0 0 117 3 18 0 1 0 1016840746 2478080 278 4294967295 134512640 135169312 3217547216 3217543432 3085418222 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/13488/statm: 605 278 235 161 0 44 0
[pid=13494] ppid=13488 vsize=14364 CPUtime=1009.97
/proc/13494/stat : 13494 (minisat_static) R 13488 13488 10114 0 -1 4202496 3460 0 0 0 100976 21 0 0 25 0 1 0 1016840866 14708736 3394 4294967295 134512640 135216591 3217049504 3217047696 134528955 0 0 0 3 0 0 0 17 3 0 0 0
/proc/13494/statm: 3591 3394 75 172 0 3418 0
Current children cumulated CPU time (s) 1011.17
Current children cumulated vsize (KiB) 16784
[startup+1012.72 s]
/proc/loadavg: 1.01 1.05 1.00 2/95 16699
/proc/meminfo: memFree=1161608/2074464 swapFree=1950884/1959888
[pid=13488] ppid=13486 vsize=2420 CPUtime=1.2
/proc/13488/stat : 13488 (SatELiteGTI) S 13486 13488 10114 0 -1 4194304 385 5781 0 0 0 0 117 3 18 0 1 0 1016840746 2478080 278 4294967295 134512640 135169312 3217547216 3217543432 3085418222 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/13488/statm: 605 278 235 161 0 44 0
[pid=13494] ppid=13488 vsize=14364 CPUtime=1011.57
/proc/13494/stat : 13494 (minisat_static) R 13488 13488 10114 0 -1 4202496 3460 0 0 0 101136 21 0 0 25 0 1 0 1016840866 14708736 3394 4294967295 134512640 135216591 3217049504 3217047696 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/13494/statm: 3591 3394 75 172 0 3418 0
Current children cumulated CPU time (s) 1012.77
Current children cumulated vsize (KiB) 16784
[startup+1014.32 s]
/proc/loadavg: 1.01 1.04 1.00 2/95 16699
/proc/meminfo: memFree=1161608/2074464 swapFree=1950884/1959888
[pid=13488] ppid=13486 vsize=2420 CPUtime=1.2
/proc/13488/stat : 13488 (SatELiteGTI) S 13486 13488 10114 0 -1 4194304 385 5781 0 0 0 0 117 3 18 0 1 0 1016840746 2478080 278 4294967295 134512640 135169312 3217547216 3217543432 3085418222 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/13488/statm: 605 278 235 161 0 44 0
[pid=13494] ppid=13488 vsize=14364 CPUtime=1013.17
/proc/13494/stat : 13494 (minisat_static) R 13488 13488 10114 0 -1 4202496 3460 0 0 0 101296 21 0 0 25 0 1 0 1016840866 14708736 3394 4294967295 134512640 135216591 3217049504 3217047696 134528894 0 0 0 3 0 0 0 17 3 0 0 0
/proc/13494/statm: 3591 3394 75 172 0 3418 0
Current children cumulated CPU time (s) 1014.37
Current children cumulated vsize (KiB) 16784
[startup+1015.12 s]
/proc/loadavg: 1.01 1.04 1.00 2/95 16699
/proc/meminfo: memFree=1161608/2074464 swapFree=1950884/1959888
[pid=13488] ppid=13486 vsize=2420 CPUtime=1.2
/proc/13488/stat : 13488 (SatELiteGTI) S 13486 13488 10114 0 -1 4194304 385 5781 0 0 0 0 117 3 18 0 1 0 1016840746 2478080 278 4294967295 134512640 135169312 3217547216 3217543432 3085418222 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/13488/statm: 605 278 235 161 0 44 0
[pid=13494] ppid=13488 vsize=14364 CPUtime=1013.97
/proc/13494/stat : 13494 (minisat_static) R 13488 13488 10114 0 -1 4202496 3460 0 0 0 101376 21 0 0 25 0 1 0 1016840866 14708736 3394 4294967295 134512640 135216591 3217049504 3217047696 134529023 0 0 0 3 0 0 0 17 3 0 0 0
/proc/13494/statm: 3591 3394 75 172 0 3418 0
Current children cumulated CPU time (s) 1015.17
Current children cumulated vsize (KiB) 16784
[startup+1015.32 s]
/proc/loadavg: 1.01 1.04 1.00 2/95 16699
/proc/meminfo: memFree=1161608/2074464 swapFree=1950884/1959888
[pid=13488] ppid=13486 vsize=2420 CPUtime=1.2
/proc/13488/stat : 13488 (SatELiteGTI) S 13486 13488 10114 0 -1 4194304 385 5781 0 0 0 0 117 3 18 0 1 0 1016840746 2478080 278 4294967295 134512640 135169312 3217547216 3217543432 3085418222 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/13488/statm: 605 278 235 161 0 44 0
[pid=13494] ppid=13488 vsize=14364 CPUtime=1014.17
/proc/13494/stat : 13494 (minisat_static) R 13488 13488 10114 0 -1 4202496 3460 0 0 0 101396 21 0 0 25 0 1 0 1016840866 14708736 3394 4294967295 134512640 135216591 3217049504 3217047696 134529041 0 0 0 3 0 0 0 17 3 0 0 0
/proc/13494/statm: 3591 3394 75 172 0 3418 0
Current children cumulated CPU time (s) 1015.37
Current children cumulated vsize (KiB) 16784
Child status: 20
Real time (s): 1015.36
CPU time (s): 1015.4
CPU user time (s): 1015.16
CPU system time (s): 0.24
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 23800
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1015.16
system time used= 0.24
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9910
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= 23
involuntary context switches= 1476
runsolver used 0.04 second user time and 0.07 second system time
The end
Begin job on tipi13 at 2009-05-17 03:23:19
IDJOB=1821395
IDBENCH=70949
IDSOLVER=658
FILE ID=tipi13/1821395-1242523399
PBS_JOBID=
Free space on /tmp= 7054 MiB
SOLVER NAME= minisat_cumr r-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/bioinfo/q_query_3_l45_lambda.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1821395-1242523399/watcher-1821395-1242523399 -o /tmp/evaluation-result-1821395-1242523399/solver-1821395-1242523399 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821395-1242523399.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 94aa7bdbcbe99c5b3082c395dc2384e9
RANDOM SEED= 1865398279
Linux tipi13 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.475
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.37
processor : 1
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.475
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.78
processor : 2
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.475
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.475
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.78
/proc/meminfo:
MemTotal: 2074464 kB
MemFree: 1177476 kB
Buffers: 44476 kB
Cached: 758592 kB
SwapCached: 3516 kB
Active: 353096 kB
Inactive: 459476 kB
HighTotal: 1178688 kB
HighFree: 443444 kB
LowTotal: 895776 kB
LowFree: 734032 kB
SwapTotal: 1959888 kB
SwapFree: 1950884 kB
Dirty: 4728 kB
Writeback: 0 kB
AnonPages: 8792 kB
Mapped: 3080 kB
Slab: 74604 kB
PageTables: 608 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 2997120 kB
Committed_AS: 90604 kB
VmallocTotal: 114680 kB
VmallocUsed: 1324 kB
VmallocChunk: 113264 kB
Free space on /tmp at the end= 7054 MiB
End job on tipi13 at 2009-05-17 03:40:15