0.00/0.00 c Parsing...
0.00/0.01 c ==============================================================================
0.00/0.01 c | | ORIGINAL | LEARNT | |
0.00/0.01 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.01 c ==============================================================================
0.00/0.01 c | 0 | 13869 32361 | 4160 0 0 nan | 0.000 % |
0.00/0.08 c | 0 | 10390 29200 | -- 0 -- -- | -- | -3477/-3156
0.00/0.08 c ==============================================================================
0.00/0.08 c Result : #vars: 2564 #clauses: 10390 #literals: 29200
0.00/0.08 c CPU time: 0.07 s
0.00/0.08 c ==============================================================================
0.00/0.09 c This is MiniSat 2.0 beta
0.00/0.09 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.09 c ============================[ Problem Statistics ]=============================
0.00/0.09 c | |
0.00/0.09 c | Number of variables: 2564 |
0.00/0.09 c | Number of clauses: 10390 |
0.00/0.10 c | Parsing time: 0.01 s |
0.00/0.10 c ============================[ Search Statistics ]==============================
0.00/0.10 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.00/0.10 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.00/0.10 c ===============================================================================
0.00/0.10 c | 0 | 2564 10390 29200 | 3463 0 nan | 0.000 % |
0.09/0.12 c | 514 | 2564 10390 29200 | 3463 514 23 | 0.001 % |
0.09/0.19 c | 1028 | 2564 10390 29200 | 3463 1028 44 | 0.002 % |
0.09/0.23 c | 1540 | 2564 10390 29200 | 3463 1540 46 | 0.001 % |
0.09/0.31 c | 2567 | 2564 10390 29200 | 3463 2567 48 | 0.000 % |
0.09/0.36 c | 3079 | 2564 10390 29200 | 3463 3079 49 | 0.000 % |
0.09/0.41 c | 3594 | 2564 10390 29200 | 3463 3594 48 | 0.001 % |
0.09/0.54 c | 4619 | 2564 10390 29200 | 3463 4260 54 | 0.000 % |
0.09/1.02 c | 6668 | 2564 10390 29200 | 3463 4165 62 | 0.000 % |
1.12/1.12 c | 7181 | 2564 10390 29200 | 3463 3888 61 | 0.000 % |
1.23/1.27 c | 7693 | 2564 10390 29200 | 3463 3662 59 | 0.000 % |
1.52/1.53 c | 8717 | 2564 10390 29200 | 3463 3898 54 | 0.000 % |
1.62/1.63 c | 9229 | 2564 10390 29200 | 3463 3671 45 | 0.000 % |
1.72/1.73 c | 9743 | 2564 10390 29200 | 3463 3818 42 | 0.000 % |
1.92/1.95 c | 10769 | 2564 10390 29200 | 2147483647 4463 42 | 0.000 % |
2.42/2.49 c | 12818 | 2564 10390 29200 | 2147483647 6512 43 | 0.000 % |
3.62/3.65 c | 16915 | 2564 10390 29200 | 2147483647 10609 49 | 0.000 % |
3.82/3.83 c | 17431 | 2564 10390 29200 | 2147483647 11125 49 | 0.000 % |
3.92/3.96 c | 17944 | 2564 10390 29200 | 2147483647 11638 49 | 0.000 % |
4.12/4.19 c | 18968 | 2564 10390 29200 | 2147483647 12662 49 | 0.000 % |
4.22/4.29 c | 19481 | 2564 10390 29200 | 2147483647 13175 49 | 0.000 % |
4.32/4.41 c | 19993 | 2564 10390 29200 | 2147483647 13687 48 | 0.000 % |
4.53/4.57 c | 21018 | 2564 10390 29200 | 2147483647 14712 49 | 0.000 % |
4.82/4.86 c | 23066 | 2564 10390 29200 | 2147483647 16760 51 | 0.001 % |
4.92/4.95 c | 23579 | 2564 10390 29200 | 2147483647 17273 51 | 0.001 % |
5.02/5.01 c | 24091 | 2564 10390 29200 | 2147483647 17785 50 | 0.001 % |
5.22/5.23 c | 25115 | 2564 10390 29200 | 2147483647 18809 51 | 0.001 % |
5.32/5.37 c | 25627 | 2564 10390 29200 | 2147483647 19321 51 | 0.000 % |
5.42/5.45 c | 26139 | 2564 10390 29200 | 2147483647 19833 51 | 0.000 % |
5.82/5.87 c | 27163 | 2564 10390 29200 | 2147483647 20857 52 | 0.000 % |
6.62/6.71 c | 29215 | 2564 10390 29200 | 2147483647 22909 53 | 0.000 % |
8.22/8.24 c | 33311 | 2564 10390 29200 | 2147483647 27005 54 | 0.000 % |
13.02/13.04 c | 41503 | 2564 10390 29200 | 33694 29706 51 | 0.000 % |
13.12/13.15 c | 42015 | 2564 10390 29200 | 33694 30218 52 | 0.001 % |
13.33/13.39 c | 42531 | 2564 10390 29200 | 33694 30734 52 | 0.001 % |
13.72/13.77 c | 43556 | 2564 10390 29200 | 33694 31759 52 | 0.001 % |
13.92/13.94 c | 44068 | 2564 10390 29200 | 33694 32271 52 | 0.000 % |
14.12/14.18 c | 44581 | 2564 10390 29200 | 33694 32784 52 | 0.001 % |
14.52/14.57 c | 45606 | 2564 10390 29200 | 33694 33809 51 | 0.001 % |
15.92/15.96 c | 47656 | 2564 10390 29200 | 33694 28894 50 | 0.000 % |
16.12/16.16 c | 48168 | 2564 10390 29200 | 33694 29406 50 | 0.000 % |
16.32/16.33 c | 48681 | 2564 10390 29200 | 33694 29919 50 | 0.000 % |
16.92/16.99 c | 49706 | 2564 10390 29200 | 33694 30944 50 | 0.000 % |
17.22/17.29 c | 50218 | 2564 10390 29200 | 31239 31456 50 | 0.000 % |
17.52/17.60 c | 50730 | 2564 10390 29200 | 31239 25979 47 | 0.000 % |
17.82/17.81 c | 51755 | 2564 10390 29200 | 31239 27004 47 | 0.001 % |
18.72/18.74 c | 53804 | 2564 10390 29200 | 31239 29053 46 | 0.000 % |
21.42/21.44 c | 57901 | 2564 10390 29200 | 31239 27060 42 | 0.000 % |
21.72/21.74 c | 58414 | 2564 10390 29200 | 31239 27573 42 | 0.000 % |
22.02/22.06 c | 58928 | 2564 10390 29200 | 31239 28087 42 | 0.001 % |
22.92/22.98 c | 59954 | 2564 10390 29200 | 31239 29113 42 | 0.000 % |
23.32/23.41 c | 60467 | 2564 10390 29200 | 29159 29626 42 | 0.000 % |
23.72/23.75 c | 60981 | 2564 10390 29200 | 29159 24546 40 | 0.000 % |
24.52/24.59 c | 62006 | 2564 10390 29200 | 29159 25571 40 | 0.001 % |
25.22/25.25 c | 64054 | 2564 10390 29200 | 29159 27619 42 | 0.001 % |
25.32/25.37 c | 64566 | 2564 10390 29200 | 29159 28131 42 | 0.000 % |
25.52/25.53 c | 65079 | 2564 10390 29200 | 29159 28644 43 | 0.001 % |
25.82/25.82 c | 66103 | 2564 10390 29200 | 29159 29668 43 | 0.000 % |
26.02/26.01 c | 66615 | 2564 10390 29200 | 29159 24112 39 | 0.000 % |
26.12/26.21 c | 67129 | 2564 10390 29200 | 29159 24626 39 | 0.000 % |
26.62/26.70 c | 68154 | 2564 10390 29200 | 29159 25651 39 | 0.001 % |
27.12/27.17 c | 70203 | 2564 10390 29200 | 27500 27700 39 | 0.001 % |
29.02/29.05 c | 74302 | 2564 10390 29200 | 27500 26469 37 | 0.000 % |
34.62/34.65 c | 82495 | 2564 10390 29200 | 27300 25380 33 | 0.000 % |
43.33/43.34 c | 98879 | 2564 10390 29200 | 24684 22245 39 | 0.000 % |
43.43/43.43 c | 99392 | 2564 10390 29200 | 24684 22758 39 | 0.000 % |
43.63/43.62 c | 99905 | 2564 10390 29200 | 24684 23271 39 | 0.000 % |
44.03/44.04 c | 100930 | 2564 10390 29200 | 23366 21035 40 | 0.000 % |
44.23/44.23 c | 101442 | 2564 10390 29200 | 23366 21547 40 | 0.000 % |
44.23/44.31 c | 101954 | 2564 10390 29200 | 23366 22059 40 | 0.000 % |
44.73/44.80 c | 102978 | 2564 10390 29200 | 23366 23083 41 | 0.000 % |
45.23/45.27 c | 105027 | 2564 10390 29200 | 23366 22249 39 | 0.001 % |
45.33/45.35 c | 105541 | 2564 10390 29200 | 23366 22763 39 | 0.001 % |
45.43/45.44 c | 106054 | 2564 10390 29200 | 23366 23276 39 | 0.001 % |
45.53/45.60 c | 107078 | 2564 10390 29200 | 23366 24300 39 | 0.002 % |
45.63/45.70 c | 107591 | 2564 10390 29200 | 23366 21636 35 | 0.001 % |
45.73/45.81 c | 108103 | 2564 10390 29200 | 23366 22148 36 | 0.001 % |
46.23/46.22 c | 109128 | 2564 10390 29200 | 23366 23173 37 | 0.001 % |
46.93/46.93 c | 111176 | 2564 10390 29200 | 24045 25221 38 | 0.000 % |
49.43/49.50 c | 115273 | 2564 10390 29200 | 24045 21770 36 | 0.000 % |
49.83/49.89 c | 115787 | 2564 10390 29200 | 24045 22284 36 | 0.000 % |
50.13/50.16 c | 116300 | 2564 10390 29200 | 24045 22797 36 | 0.001 % |
50.43/50.49 c | 117324 | 2564 10390 29200 | 24045 23821 36 | 0.000 % |
50.83/50.82 c | 117837 | 2564 10390 29200 | 24045 24334 36 | 0.000 % |
51.03/51.03 c | 118349 | 2564 10390 29200 | 24045 21502 36 | 0.000 % |
51.33/51.36 c | 119373 | 2564 10390 29200 | 24045 22526 36 | 0.000 % |
52.33/52.40 c | 121423 | 2564 10390 29200 | 23153 21516 36 | 0.000 % |
52.53/52.59 c | 121935 | 2564 10390 29200 | 23153 22028 36 | 0.000 % |
52.73/52.72 c | 122448 | 2564 10390 29200 | 23153 22541 36 | 0.000 % |
53.23/53.22 c | 123473 | 2564 10390 29200 | 23153 23566 37 | 0.000 % |
53.23/53.28 c | 123985 | 2564 10390 29200 | 23153 21339 35 | 0.000 % |
53.43/53.45 c | 124499 | 2564 10390 29200 | 23153 21853 36 | 0.000 % |
53.73/53.78 c | 125523 | 2564 10390 29200 | 23153 22877 36 | 0.000 % |
54.03/54.09 c | 127572 | 2564 10390 29200 | 23153 24926 37 | 0.001 % |
55.73/55.74 c | 131668 | 2564 10390 29200 | 24228 21890 36 | 0.001 % |
57.83/57.90 c | 139860 | 2564 10390 29200 | 24228 21476 33 | 0.000 % |
58.03/58.07 c | 140373 | 2564 10390 29200 | 21617 21989 34 | 0.001 % |
58.13/58.20 c | 140885 | 2564 10390 29200 | 21617 18961 34 | 0.000 % |
58.53/58.53 c | 141909 | 2564 10390 29200 | 21617 19985 34 | 0.000 % |
58.73/58.73 c | 142421 | 2564 10390 29200 | 21617 20497 34 | 0.000 % |
58.83/58.90 c | 142934 | 2564 10390 29200 | 21617 21010 34 | 0.000 % |
59.13/59.15 c | 143958 | 2564 10390 29200 | 21617 22034 35 | 0.000 % |
59.63/59.70 c | 146006 | 2564 10390 29200 | 21617 21320 32 | 0.001 % |
59.73/59.75 c | 146518 | 2564 10390 29200 | 21617 21832 33 | 0.001 % |
59.93/59.92 c | 147033 | 2564 10390 29200 | 21617 19541 31 | 0.000 % |
60.03/60.08 c | 148057 | 2564 10390 29200 | 21617 20565 32 | 0.001 % |
60.23/60.25 c | 148569 | 2563 10386 29191 | 21617 21071 32 | 0.040 % |
60.33/60.36 c | 149081 | 2563 10386 29191 | 21617 21583 32 | 0.040 % |
60.53/60.54 c | 150108 | 2563 10386 29191 | 22502 22610 33 | 0.039 % |
60.93/60.94 c | 152156 | 2563 10386 29191 | 22502 21624 31 | 0.040 % |
62.53/62.53 c | 156252 | 2563 10386 29191 | 22502 23130 36 | 0.040 % |
62.63/62.69 c | 156765 | 2563 10386 29191 | 22502 21155 36 | 0.039 % |
62.83/62.89 c | 157277 | 2563 10386 29191 | 22502 21667 36 | 0.039 % |
63.33/63.36 c | 158302 | 2563 10386 29191 | 22502 22692 36 | 0.040 % |
63.53/63.57 c | 158816 | 2563 10386 29191 | 22502 20846 36 | 0.039 % |
63.73/63.75 c | 159330 | 2563 10386 29191 | 22502 21360 36 | 0.039 % |
64.03/64.05 c | 160355 | 2563 10386 29191 | 22031 22385 36 | 0.039 % |
64.73/64.73 c | 162403 | 2563 10386 29191 | 22031 22150 37 | 0.039 % |
64.83/64.92 c | 162915 | 2563 10386 29191 | 22031 20383 36 | 0.039 % |
65.03/65.08 c | 163427 | 2563 10386 29191 | 22031 20895 36 | 0.039 % |
65.33/65.35 c | 164453 | 2563 10386 29191 | 22031 21921 37 | 0.039 % |
65.63/65.64 c | 164966 | 2563 10386 29191 | 22031 22434 37 | 0.039 % |
65.83/65.90 c | 165478 | 2563 10386 29191 | 22031 20541 36 | 0.039 % |
66.23/66.24 c | 166503 | 2563 10386 29191 | 22031 21566 37 | 0.039 % |
66.53/66.58 c | 168552 | 2563 10386 29191 | 22031 23615 38 | 0.040 % |
67.33/67.39 c | 172648 | 2563 10386 29191 | 22131 21977 34 | 0.039 % |
70.23/70.24 c | 180842 | 2563 10386 29191 | 19881 17724 38 | 0.039 % |
76.23/76.29 c | 197226 | 2563 10386 29191 | 19999 18161 46 | 0.040 % |
88.13/88.12 c | 229995 | 2563 10386 29191 | 16141 16122 34 | 0.039 % |
88.23/88.30 c | 230509 | 2563 10386 29191 | 16127 16636 34 | 0.040 % |
88.43/88.42 c | 231022 | 2563 10386 29191 | 16127 15486 36 | 0.040 % |
88.53/88.58 c | 232047 | 2563 10386 29191 | 16127 16511 36 | 0.039 % |
88.63/88.67 c | 232559 | 2563 10386 29191 | 16127 15310 38 | 0.040 % |
88.73/88.73 c | 233073 | 2563 10386 29191 | 16127 15824 37 | 0.039 % |
88.83/88.86 c | 234097 | 2563 10386 29191 | 16127 16848 38 | 0.039 % |
89.93/89.98 c | 236146 | 2563 10386 29191 | 16127 15505 42 | 0.040 % |
90.03/90.11 c | 236658 | 2563 10386 29191 | 16127 16017 42 | 0.039 % |
90.23/90.26 c | 237170 | 2563 10386 29191 | 16127 16529 42 | 0.040 % |
90.53/90.54 c | 238195 | 2563 10386 29191 | 16127 15902 42 | 0.040 % |
90.63/90.63 c | 238709 | 2563 10386 29191 | 16127 16416 42 | 0.039 % |
90.73/90.73 c | 239222 | 2563 10386 29191 | 16127 15288 42 | 0.039 % |
90.83/90.83 c | 240247 | 2563 10386 29191 | 2147483647 16313 41 | 0.039 % |
91.33/91.38 c | 242295 | 2563 10386 29191 | 2147483647 18361 42 | 0.039 % |
93.23/93.22 c | 246391 | 2563 10386 29191 | 2147483647 22457 42 | 0.039 % |
93.53/93.59 c | 246903 | 2563 10386 29191 | 2147483647 22969 42 | 0.039 % |
93.63/93.71 c | 247416 | 2563 10386 29191 | 2147483647 23482 42 | 0.039 % |
94.13/94.15 c | 248441 | 2563 10386 29191 | 2147483647 24507 42 | 0.039 % |
94.23/94.31 c | 248954 | 2563 10386 29191 | 2147483647 25020 42 | 0.039 % |
94.53/94.59 c | 249466 | 2563 10386 29191 | 2147483647 25532 42 | 0.039 % |
94.83/94.91 c | 250492 | 2563 10386 29191 | 2147483647 26558 42 | 0.040 % |
96.03/96.10 c | 252542 | 2563 10386 29191 | 2147483647 28608 43 | 0.039 % |
96.23/96.26 c | 253054 | 2563 10386 29191 | 2147483647 29120 44 | 0.039 % |
96.33/96.40 c | 253567 | 2563 10386 29191 | 2147483647 29633 44 | 0.040 % |
96.73/96.74 c | 254591 | 2563 10386 29191 | 2147483647 30657 44 | 0.040 % |
96.73/96.81 c | 255103 | 2563 10386 29191 | 2147483647 31169 43 | 0.041 % |
96.93/96.93 c | 255617 | 2563 10386 29191 | 2147483647 31683 43 | 0.039 % |
97.33/97.41 c | 256642 | 2563 10386 29191 | 2147483647 32708 43 | 0.040 % |
98.13/98.18 c | 258691 | 2563 10386 29191 | 2147483647 34757 43 | 0.039 % |
100.63/100.68 c | 262787 | 2563 10386 29191 | 36067 31783 45 | 0.040 % |
104.13/104.14 c | 270979 | 2563 10386 29191 | 31005 24894 39 | 0.039 % |
104.33/104.34 c | 271492 | 2563 10386 29191 | 31005 25407 40 | 0.039 % |
104.53/104.57 c | 272005 | 2563 10386 29191 | 31005 25920 39 | 0.039 % |
104.73/104.72 c | 273030 | 2563 10386 29191 | 31005 26945 40 | 0.040 % |
104.83/104.85 c | 273542 | 2563 10386 29191 | 31005 27457 39 | 0.039 % |
105.03/105.10 c | 274056 | 2563 10386 29191 | 31005 27971 40 | 0.040 % |
105.33/105.36 c | 275080 | 2563 10386 29191 | 31005 28995 40 | 0.039 % |
106.43/106.44 c | 277129 | 2563 10386 29191 | 31005 31044 41 | 0.040 % |
106.83/106.86 c | 277642 | 2563 10386 29191 | 31005 24140 39 | 0.039 % |
107.13/107.15 c | 278154 | 2563 10386 29191 | 31005 24652 39 | 0.040 % |
107.63/107.70 c | 279179 | 2563 10386 29191 | 31005 25677 39 | 0.039 % |
107.83/107.84 c | 279692 | 2563 10386 29191 | 31005 26190 39 | 0.039 % |
107.94/108.00 c | 280204 | 2563 10386 29191 | 26498 26702 39 | 0.039 % |
108.43/108.46 c | 281228 | 2563 10386 29191 | 26498 22182 36 | 0.040 % |
109.04/109.05 c | 283276 | 2563 10386 29191 | 26498 24230 37 | 0.039 % |
110.53/110.59 c | 287372 | 2563 10386 29191 | 26498 24009 35 | 0.040 % |
110.73/110.78 c | 287884 | 2563 10386 29191 | 26498 24521 35 | 0.039 % |
110.93/110.98 c | 288396 | 2563 10386 29191 | 26498 25033 36 | 0.039 % |
111.33/111.36 c | 289421 | 2563 10386 29191 | 26498 26058 37 | 0.039 % |
111.43/111.46 c | 289934 | 2563 10386 29191 | 26498 26571 37 | 0.040 % |
111.53/111.56 c | 290446 | 2563 10386 29191 | 22549 22995 35 | 0.039 % |
111.83/111.84 c | 291470 | 2563 10386 29191 | 22549 20623 32 | 0.039 % |
112.53/112.57 c | 293518 | 2563 10386 29191 | 22549 22671 35 | 0.039 % |
112.63/112.66 c | 294030 | 2563 10386 29191 | 22549 20465 34 | 0.040 % |
112.73/112.75 c | 294544 | 2563 10386 29191 | 22549 20979 34 | 0.041 % |
112.93/112.96 c | 295568 | 2563 10386 29191 | 22549 22003 35 | 0.040 % |
113.03/113.03 c | 296080 | 2563 10386 29191 | 22549 22515 35 | 0.041 % |
113.13/113.15 c | 296594 | 2563 10386 29191 | 22549 23029 36 | 0.040 % |
113.23/113.31 c | 297618 | 2563 10386 29191 | 22549 21286 34 | 0.039 % |
113.93/113.96 c | 299667 | 2563 10386 29191 | 22549 20576 33 | 0.040 % |
115.33/115.38 c | 303764 | 2563 10386 29191 | 20911 19386 32 | 0.040 % |
118.33/118.39 c | 311956 | 2563 10386 29191 | 19796 18486 37 | 0.039 % |
124.73/124.77 c | 328340 | 2563 10386 29191 | 19366 19418 35 | 0.039 % |
124.83/124.89 c | 328854 | 2563 10386 29191 | 19366 17936 34 | 0.040 % |
125.03/125.02 c | 329366 | 2563 10386 29191 | 19366 18448 34 | 0.039 % |
125.13/125.18 c | 330390 | 2563 10386 29191 | 2147483647 19472 35 | 0.039 % |
125.33/125.32 c | 330902 | 2563 10386 29191 | 2147483647 19984 35 | 0.039 % |
125.33/125.40 c | 331415 | 2563 10386 29191 | 2147483647 20497 35 | 0.040 % |
125.73/125.78 c | 332440 | 2563 10386 29191 | 2147483647 21522 36 | 0.039 % |
126.13/126.19 c | 334489 | 2563 10386 29191 | 2147483647 23571 35 | 0.039 % |
126.43/126.47 c | 335002 | 2563 10386 29191 | 2147483647 24084 36 | 0.039 % |
126.53/126.53 c | 335514 | 2563 10386 29191 | 2147483647 24596 36 | 0.040 % |
126.73/126.73 c | 336539 | 2563 10386 29191 | 2147483647 25621 36 | 0.040 % |
126.83/126.82 c | 337052 | 2563 10386 29191 | 2147483647 26134 36 | 0.040 % |
126.83/126.87 c | 337565 | 2563 10386 29191 | 2147483647 26647 36 | 0.041 % |
127.13/127.16 c | 338592 | 2563 10386 29191 | 2147483647 27674 37 | 0.040 % |
127.74/127.80 c | 340640 | 2563 10386 29191 | 29083 29722 37 | 0.040 % |
129.23/129.28 c | 344737 | 2563 10386 29191 | 29083 29520 38 | 0.039 % |
129.43/129.50 c | 345250 | 2563 10386 29191 | 29083 24629 37 | 0.040 % |
129.83/129.84 c | 345762 | 2563 10386 29191 | 29083 25141 37 | 0.040 % |
130.23/130.30 c | 346788 | 2563 10386 29191 | 29083 26167 38 | 0.039 % |
130.43/130.47 c | 347300 | 2563 10386 29191 | 29083 26679 38 | 0.040 % |
130.73/130.75 c | 347812 | 2563 10386 29191 | 29083 27191 38 | 0.039 % |
131.23/131.27 c | 348836 | 2563 10386 29191 | 29083 28215 38 | 0.039 % |
132.63/132.65 c | 350885 | 2563 10386 29191 | 29379 24791 39 | 0.039 % |
132.93/133.00 c | 351397 | 2563 10386 29191 | 29379 25303 39 | 0.039 % |
133.24/133.26 c | 351909 | 2563 10386 29191 | 29379 25815 38 | 0.039 % |
133.83/133.88 c | 352933 | 2563 10386 29191 | 29379 26839 38 | 0.039 % |
134.03/134.10 c | 353445 | 2563 10386 29191 | 29379 27351 38 | 0.039 % |
134.43/134.43 c | 353957 | 2563 10386 29191 | 29379 27863 38 | 0.039 % |
135.03/135.02 c | 354981 | 2563 10386 29191 | 29379 28887 38 | 0.040 % |
136.03/136.03 c | 357030 | 2563 10386 29191 | 29379 26134 37 | 0.039 % |
137.23/137.23 c | 361126 | 2563 10386 29191 | 29105 30230 40 | 0.040 % |
140.83/140.88 c | 369318 | 2563 10386 29191 | 29105 26188 37 | 0.039 % |
141.03/141.09 c | 369830 | 2563 10386 29191 | 29105 26700 37 | 0.040 % |
141.33/141.32 c | 370343 | 2563 10386 29191 | 26870 27213 37 | 0.039 % |
141.73/141.80 c | 371367 | 2563 10386 29191 | 26870 22648 37 | 0.039 % |
142.04/142.05 c | 371879 | 2563 10386 29191 | 26870 23160 37 | 0.039 % |
142.23/142.28 c | 372391 | 2563 10386 29191 | 26870 23672 37 | 0.039 % |
142.63/142.69 c | 373415 | 2563 10386 29191 | 26870 24696 38 | 0.039 % |
143.53/143.52 c | 375463 | 2563 10386 29191 | 26870 26744 37 | 0.039 % |
143.83/143.87 c | 375975 | 2563 10386 29191 | 26870 27256 38 | 0.039 % |
144.03/144.05 c | 376487 | 2563 10386 29191 | 26870 22822 37 | 0.040 % |
144.53/144.57 c | 377512 | 2563 10386 29191 | 26870 23847 38 | 0.039 % |
144.63/144.67 c | 378024 | 2563 10386 29191 | 26870 24359 38 | 0.040 % |
144.73/144.75 c | 378537 | 2563 10386 29191 | 26870 24872 38 | 0.041 % |
145.03/145.11 c | 379562 | 2563 10386 29191 | 26870 25897 38 | 0.040 % |
146.13/146.19 c | 381610 | 2563 10386 29191 | 26337 22395 36 | 0.040 % |
147.63/147.66 c | 385706 | 2563 10386 29191 | 26337 26491 36 | 0.040 % |
147.83/147.90 c | 386219 | 2563 10386 29191 | 26337 21760 34 | 0.039 % |
148.13/148.15 c | 386732 | 2563 10386 29191 | 26337 22273 34 | 0.039 % |
148.53/148.58 c | 387758 | 2563 10386 29191 | 26337 23299 35 | 0.039 % |
148.64/148.71 c | 388271 | 2563 10386 29191 | 26337 23812 35 | 0.039 % |
148.83/148.84 c | 388784 | 2563 10386 29191 | 26337 24325 35 | 0.039 % |
149.33/149.32 c | 389809 | 2563 10386 29191 | 26337 25350 35 | 0.040 % |
150.43/150.49 c | 391857 | 2563 10386 29191 | 25543 22716 35 | 0.040 % |
150.63/150.70 c | 392369 | 2563 10386 29191 | 25543 23228 35 | 0.039 % |
150.84/150.86 c | 392881 | 2563 10386 29191 | 25543 23740 36 | 0.039 % |
151.23/151.22 c | 393906 | 2563 10386 29191 | 25543 24765 36 | 0.039 % |
151.33/151.35 c | 394418 | 2563 10386 29191 | 25543 25277 36 | 0.039 % |
151.63/151.63 c | 394931 | 2563 10386 29191 | 25543 25790 36 | 0.040 % |
152.03/152.06 c | 395955 | 2563 10386 29191 | 25543 22184 35 | 0.040 % |
152.83/152.90 c | 398004 | 2563 10386 29191 | 25543 24233 35 | 0.039 % |
153.83/153.88 c | 402104 | 2563 10386 29191 | 26229 22375 36 | 0.040 % |
159.03/159.08 c | 410297 | 2563 10386 29191 | 25018 25315 43 | 0.040 % |
167.44/167.48 c | 426682 | 2563 10386 29191 | 25365 20590 40 | 0.039 % |
182.24/182.22 c | 459450 | 2563 10386 29191 | 23649 23616 37 | 0.039 % |
205.74/205.76 c | 524986 | 2563 10386 29191 | 17411 16848 28 | 0.039 % |
205.84/205.92 c | 525498 | 2563 10386 29191 | 17411 17360 29 | 0.040 % |
206.04/206.06 c | 526010 | 2563 10386 29191 | 17411 17872 29 | 0.039 % |
206.14/206.20 c | 527035 | 2563 10386 29191 | 17411 16561 30 | 0.040 % |
206.24/206.30 c | 527547 | 2563 10386 29191 | 17411 17073 31 | 0.040 % |
206.34/206.38 c | 528061 | 2563 10386 29191 | 17411 17587 32 | 0.040 % |
206.54/206.56 c | 529086 | 2563 10386 29191 | 17411 16257 32 | 0.039 % |
206.94/206.95 c | 531135 | 2563 10386 29191 | 17171 18306 34 | 0.039 % |
207.14/207.13 c | 531648 | 2563 10386 29191 | 17171 16775 35 | 0.040 % |
207.24/207.31 c | 532163 | 2563 10386 29191 | 17171 17290 36 | 0.039 % |
207.54/207.60 c | 533187 | 2563 10386 29191 | 17171 16532 37 | 0.039 % |
207.74/207.74 c | 533699 | 2563 10386 29191 | 17171 17044 38 | 0.039 % |
207.84/207.87 c | 534211 | 2563 10386 29191 | 17171 17556 38 | 0.039 % |
208.24/208.29 c | 535235 | 2563 10386 29191 | 17171 16825 40 | 0.039 % |
208.94/208.98 c | 537283 | 2563 10386 29191 | 17171 17100 40 | 0.039 % |
210.14/210.21 c | 541379 | 2563 10386 29191 | 2147483647 19408 41 | 0.039 % |
210.44/210.43 c | 541891 | 2563 10386 29191 | 2147483647 19920 41 | 0.039 % |
210.54/210.62 c | 542405 | 2563 10386 29191 | 2147483647 20434 41 | 0.040 % |
210.84/210.86 c | 543430 | 2563 10386 29191 | 2147483647 21459 41 | 0.039 % |
210.94/211.01 c | 543942 | 2563 10386 29191 | 2147483647 21971 41 | 0.040 % |
211.24/211.22 c | 544454 | 2563 10386 29191 | 2147483647 22483 41 | 0.039 % |
211.74/211.77 c | 545478 | 2563 10386 29191 | 2147483647 23507 42 | 0.039 % |
213.04/213.06 c | 547526 | 2563 10386 29191 | 2147483647 25555 41 | 0.040 % |
213.14/213.22 c | 548039 | 2563 10386 29191 | 2147483647 26068 42 | 0.039 % |
213.34/213.33 c | 548551 | 2563 10386 29191 | 2147483647 26580 42 | 0.039 % |
213.64/213.62 c | 549576 | 2563 10386 29191 | 2147483647 27605 43 | 0.039 % |
213.74/213.74 c | 550090 | 2563 10386 29191 | 28030 28119 43 | 0.039 % |
213.84/213.92 c | 550604 | 2563 10386 29191 | 28030 24999 42 | 0.040 % |
214.34/214.35 c | 551628 | 2563 10386 29191 | 28030 26023 42 | 0.039 % |
215.74/215.74 c | 553676 | 2563 10386 29191 | 28030 28071 42 | 0.040 % |
217.44/217.49 c | 557774 | 2563 10386 29191 | 28030 28466 39 | 0.039 % |
220.84/220.90 c | 565967 | 2563 10386 29191 | 26641 23025 40 | 0.039 % |
221.24/221.27 c | 566479 | 2563 10386 29191 | 26641 23537 40 | 0.039 % |
221.54/221.54 c | 566991 | 2563 10386 29191 | 26641 24049 40 | 0.039 % |
222.04/222.12 c | 568015 | 2563 10386 29191 | 26641 25073 40 | 0.039 % |
222.34/222.33 c | 568528 | 2563 10386 29191 | 26641 25586 40 | 0.040 % |
222.44/222.46 c | 569040 | 2563 10386 29191 | 26641 26098 40 | 0.039 % |
222.74/222.76 c | 570065 | 2563 10386 29191 | 27058 27123 41 | 0.040 % |
223.24/223.27 c | 572117 | 2563 10386 29191 | 27058 23947 38 | 0.040 % |
223.44/223.43 c | 572629 | 2563 10386 29191 | 27058 24459 39 | 0.040 % |
223.54/223.55 c | 573142 | 2563 10386 29191 | 27058 24972 39 | 0.039 % |
224.04/224.06 c | 574166 | 2563 10386 29191 | 27058 25996 39 | 0.039 % |
224.24/224.24 c | 574680 | 2563 10386 29191 | 27058 26510 40 | 0.039 % |
224.44/224.50 c | 575193 | 2563 10386 29191 | 27058 27023 40 | 0.039 % |
224.84/224.87 c | 576217 | 2563 10386 29191 | 27058 23248 39 | 0.039 % |
225.74/225.78 c | 578266 | 2563 10386 29191 | 27058 25297 41 | 0.039 % |
227.94/227.92 c | 582363 | 2563 10386 29191 | 27031 24771 38 | 0.039 % |
228.04/228.06 c | 582875 | 2563 10386 29191 | 27031 25283 38 | 0.040 % |
228.24/228.23 c | 583388 | 2563 10386 29191 | 27031 25796 38 | 0.039 % |
228.44/228.47 c | 584412 | 2563 10386 29191 | 27031 26820 38 | 0.039 % |
228.64/228.70 c | 584924 | 2563 10386 29191 | 27031 27332 38 | 0.039 % |
228.84/228.85 c | 585437 | 2563 10386 29191 | 27031 23823 37 | 0.040 % |
229.04/229.10 c | 586462 | 2563 10386 29191 | 27031 24848 36 | 0.040 % |
229.94/229.97 c | 588510 | 2563 10386 29191 | 27031 26896 37 | 0.039 % |
230.14/230.15 c | 589022 | 2563 10386 29191 | 27031 27408 38 | 0.039 % |
230.24/230.31 c | 589535 | 2563 10386 29191 | 27031 23624 36 | 0.039 % |
230.64/230.64 c | 590561 | 2563 10386 29191 | 24089 24650 36 | 0.040 % |
230.74/230.76 c | 591073 | 2563 10386 29191 | 24089 20996 34 | 0.040 % |
230.84/230.83 c | 591585 | 2563 10386 29191 | 24089 21508 34 | 0.040 % |
230.94/231.00 c | 592610 | 2563 10386 29191 | 24089 22533 34 | 0.040 % |
231.64/231.66 c | 594659 | 2563 10386 29191 | 24089 24582 35 | 0.039 % |
233.14/233.20 c | 598755 | 2563 10386 29191 | 24089 24935 35 | 0.039 % |
235.24/235.31 c | 606947 | 2563 10386 29191 | 22577 20376 36 | 0.040 % |
241.14/241.20 c | 623331 | 2563 10386 29191 | 19876 19814 40 | 0.039 % |
241.34/241.36 c | 623844 | 2563 10386 29191 | 19876 20327 40 | 0.040 % |
241.44/241.44 c | 624356 | 2563 10386 29191 | 19876 17485 40 | 0.039 % |
241.74/241.73 c | 625382 | 2563 10386 29191 | 19876 18511 41 | 0.039 % |
241.84/241.89 c | 625895 | 2563 10386 29191 | 19876 19024 42 | 0.039 % |
242.04/242.05 c | 626408 | 2563 10386 29191 | 19876 19537 42 | 0.040 % |
242.34/242.41 c | 627433 | 2563 10386 29191 | 19876 20562 42 | 0.039 % |
242.84/242.90 c | 629481 | 2563 10386 29191 | 19876 19914 42 | 0.039 % |
243.04/243.10 c | 629993 | 2563 10386 29191 | 19876 17776 41 | 0.039 % |
243.25/243.29 c | 630505 | 2563 10386 29191 | 17784 18288 41 | 0.039 % |
243.54/243.55 c | 631529 | 2563 10386 29191 | 17784 17094 41 | 0.040 % |
243.64/243.64 c | 632042 | 2563 10386 29191 | 17784 17607 41 | 0.039 % |
243.74/243.79 c | 632555 | 2563 10386 29191 | 17784 18120 41 | 0.040 % |
243.94/243.96 c | 633579 | 2563 10386 29191 | 17784 16952 40 | 0.040 % |
244.24/244.23 c | 635627 | 2563 10386 29191 | 17784 19000 42 | 0.040 % |
245.04/245.05 c | 639725 | 2563 10386 29191 | 17784 18589 41 | 0.039 % |
245.14/245.21 c | 640237 | 2563 10386 29191 | 16846 17081 40 | 0.039 % |
245.34/245.35 c | 640751 | 2563 10386 29191 | 16846 15887 38 | 0.039 % |
245.64/245.71 c | 641775 | 2563 10386 29191 | 16846 16911 39 | 0.039 % |
245.84/245.91 c | 642289 | 2563 10386 29191 | 16846 15734 38 | 0.040 % |
246.14/246.16 c | 642801 | 2563 10386 29191 | 16846 16246 38 | 0.039 % |
246.64/246.69 c | 643825 | 2563 10386 29191 | 16846 17270 37 | 0.039 % |
248.04/248.02 c | 645873 | 2563 10386 29191 | 16846 15847 35 | 0.040 % |
248.24/248.27 c | 646385 | 2563 10386 29191 | 16846 16359 35 | 0.040 % |
248.44/248.48 c | 646897 | 2563 10386 29191 | 16846 16871 36 | 0.040 % |
248.84/248.88 c | 647921 | 2563 10386 29191 | 16846 16208 34 | 0.039 % |
249.04/249.06 c | 648433 | 2563 10386 29191 | 16846 16720 34 | 0.040 % |
249.24/249.24 c | 648946 | 2563 10386 29191 | 16846 17233 34 | 0.039 % |
249.54/249.53 c | 649970 | 2563 10386 29191 | 16846 16534 33 | 0.039 % |
250.34/250.38 c | 652018 | 2563 10386 29191 | 2147483647 18582 36 | 0.039 % |
250.95/250.98 c | 656116 | 2563 10386 29191 | 2147483647 22680 38 | 0.039 % |
255.04/255.11 c | 664308 | 2563 10386 29191 | 2147483647 30872 41 | 0.039 % |
255.35/255.33 c | 664820 | 2563 10386 29191 | 2147483647 31384 41 | 0.039 % |
255.44/255.49 c | 665333 | 2563 10386 29191 | 2147483647 31897 41 | 0.040 % |
255.84/255.91 c | 666358 | 2563 10386 29191 | 2147483647 32922 42 | 0.040 % |
256.14/256.15 c | 666870 | 2563 10386 29191 | 2147483647 33434 41 | 0.040 % |
256.45/256.51 c | 667382 | 2563 10386 29191 | 2147483647 33946 42 | 0.040 % |
256.94/257.01 c | 668406 | 2563 10386 29191 | 2147483647 34970 42 | 0.039 % |
258.24/258.25 c | 670455 | 2563 10386 29191 | 36564 37019 43 | 0.039 % |
258.44/258.48 c | 670967 | 2563 10386 29191 | 36564 30518 42 | 0.040 % |
258.84/258.82 c | 671480 | 2563 10386 29191 | 36564 31031 42 | 0.039 % |
259.34/259.38 c | 672504 | 2563 10386 29191 | 36564 32055 42 | 0.039 % |
259.54/259.53 c | 673017 | 2563 10386 29191 | 36564 32568 42 | 0.040 % |
259.64/259.66 c | 673529 | 2563 10386 29191 | 36564 33080 42 | 0.039 % |
259.94/259.98 c | 674559 | 2563 10386 29191 | 36564 34110 42 | 0.040 % |
260.44/260.43 c | 676608 | 2563 10386 29191 | 36564 36159 42 | 0.040 % |
262.54/262.55 c | 680705 | 2563 10386 29191 | 31361 32065 41 | 0.039 % |
262.74/262.75 c | 681217 | 2563 10386 29191 | 31361 25557 39 | 0.039 % |
262.84/262.87 c | 681731 | 2563 10386 29191 | 31361 26071 39 | 0.040 % |
263.34/263.32 c | 682755 | 2563 10386 29191 | 31361 27095 39 | 0.039 % |
263.44/263.44 c | 683267 | 2563 10386 29191 | 31361 27607 39 | 0.039 % |
263.54/263.60 c | 683779 | 2563 10386 29191 | 31361 28119 39 | 0.039 % |
263.84/263.84 c | 684803 | 2563 10386 29191 | 31361 29143 39 | 0.039 % |
264.94/264.98 c | 686852 | 2563 10386 29191 | 31361 31192 39 | 0.039 % |
265.25/265.27 c | 687364 | 2563 10386 29191 | 31361 31704 39 | 0.040 % |
265.54/265.58 c | 687879 | 2563 10386 29191 | 31361 25965 36 | 0.039 % |
266.04/266.06 c | 688904 | 2563 10386 29191 | 31361 26990 36 | 0.039 % |
266.24/266.31 c | 689416 | 2563 10386 29191 | 31361 27502 36 | 0.040 % |
266.54/266.54 c | 689928 | 2563 10386 29191 | 31361 28014 36 | 0.040 % |
267.04/267.03 c | 690953 | 2563 10386 29191 | 28086 23575 34 | 0.039 % |
267.84/267.87 c | 693001 | 2563 10386 29191 | 28086 25623 35 | 0.040 % |
269.24/269.25 c | 697098 | 2563 10386 29191 | 28086 23769 37 | 0.040 % |
270.94/270.92 c | 705295 | 2563 10386 29191 | 26671 25722 37 | 0.039 % |
275.84/275.89 c | 721679 | 2563 10386 29191 | 22829 18513 40 | 0.039 % |
289.83/289.88 c | 754447 | 2563 10386 29191 | 21586 19244 30 | 0.039 % |
290.03/290.03 c | 754959 | 2563 10386 29191 | 21586 19756 30 | 0.039 % |
290.23/290.22 c | 755472 | 2563 10386 29191 | 21586 20269 31 | 0.039 % |
290.63/290.68 c | 756497 | 2563 10386 29191 | 21586 21294 31 | 0.039 % |
290.93/290.94 c | 757010 | 2563 10386 29191 | 21586 21807 32 | 0.039 % |
291.03/291.07 c | 757522 | 2563 10386 29191 | 21586 19115 31 | 0.040 % |
291.23/291.26 c | 758547 | 2563 10386 29191 | 21586 20140 32 | 0.040 % |
291.74/291.74 c | 760596 | 2563 10386 29191 | 21593 22189 33 | 0.039 % |
291.74/291.81 c | 761108 | 2563 10386 29191 | 21593 19567 32 | 0.040 % |
291.84/291.89 c | 761621 | 2563 10386 29191 | 21593 20080 32 | 0.039 % |
292.24/292.22 c | 762645 | 2563 10386 29191 | 21593 21104 34 | 0.040 % |
292.34/292.40 c | 763158 | 2563 10386 29191 | 21593 21617 34 | 0.039 % |
292.64/292.68 c | 763670 | 2563 10386 29191 | 21593 19288 35 | 0.039 % |
292.84/292.86 c | 764694 | 2563 10386 29191 | 21593 20312 35 | 0.040 % |
294.24/294.28 c | 766742 | 2563 10386 29191 | 21593 22360 35 | 0.039 % |
296.24/296.31 c | 770838 | 2563 10386 29191 | 20971 21809 38 | 0.040 % |
296.44/296.49 c | 771350 | 2563 10386 29191 | 20971 19826 38 | 0.039 % |
296.64/296.68 c | 771863 | 2563 10386 29191 | 20971 20339 39 | 0.039 % |
297.04/297.03 c | 772887 | 2563 10386 29191 | 20971 21363 39 | 0.040 % |
297.14/297.13 c | 773399 | 2563 10386 29191 | 20971 19577 38 | 0.039 % |
297.34/297.34 c | 773911 | 2563 10386 29191 | 20971 20089 38 | 0.039 % |
297.84/297.84 c | 774935 | 2563 10386 29191 | 20971 21113 38 | 0.040 % |
299.24/299.22 c | 776983 | 2563 10386 29191 | 20971 21022 39 | 0.039 % |
299.44/299.50 c | 777496 | 2563 10386 29191 | 20971 19433 38 | 0.039 % |
299.64/299.67 c | 778009 | 2563 10386 29191 | 20971 19946 38 | 0.040 % |
299.74/299.78 c | 779034 | 2563 10386 29191 | 20971 20971 39 | 0.040 % |
299.94/299.93 c | 779546 | 2563 10386 29191 | 20971 21483 39 | 0.040 % |
300.04/300.03 c | 780059 | 2563 10386 29191 | 2147483647 19848 37 | 0.039 % |
300.34/300.40 c | 781084 | 2563 10386 29191 | 2147483647 20873 38 | 0.039 % |
301.04/301.01 c | 783133 | 2562 10381 29180 | 2147483647 22919 39 | 0.079 % |
303.04/303.06 c | 787229 | 2562 10381 29180 | 2147483647 27015 40 | 0.078 % |
307.04/307.04 c | 795421 | 2562 10381 29180 | 29787 29329 40 | 0.078 % |
307.24/307.29 c | 795933 | 2562 10381 29180 | 29787 29841 40 | 0.079 % |
307.54/307.53 c | 796446 | 2562 10381 29180 | 29787 24485 38 | 0.078 % |
307.94/307.92 c | 797470 | 2562 10381 29180 | 29787 25509 37 | 0.079 % |
308.14/308.18 c | 797982 | 2562 10381 29180 | 29787 26021 38 | 0.078 % |
308.34/308.32 c | 798494 | 2562 10381 29180 | 29787 26533 38 | 0.078 % |
308.74/308.80 c | 799518 | 2562 10381 29180 | 29787 27557 38 | 0.078 % |
309.14/309.21 c | 801566 | 2562 10381 29180 | 28042 24338 36 | 0.078 % |
309.34/309.32 c | 802078 | 2562 10381 29180 | 28042 24850 36 | 0.079 % |
309.44/309.46 c | 802590 | 2562 10381 29180 | 28042 25362 36 | 0.078 % |
309.74/309.74 c | 803614 | 2562 10381 29180 | 28042 26386 37 | 0.078 % |
309.74/309.80 c | 804127 | 2562 10381 29180 | 28042 26899 37 | 0.078 % |
309.94/309.99 c | 804639 | 2562 10381 29180 | 28042 27411 37 | 0.078 % |
310.44/310.47 c | 805663 | 2562 10381 29180 | 28042 28435 37 | 0.078 % |
311.44/311.44 c | 807711 | 2562 10381 29180 | 28042 25362 37 | 0.078 % |
313.04/313.05 c | 811807 | 2562 10381 29180 | 27652 24395 34 | 0.078 % |
313.44/313.43 c | 812319 | 2562 10381 29180 | 27652 24907 34 | 0.078 % |
313.54/313.59 c | 812831 | 2562 10381 29180 | 27652 25419 34 | 0.078 % |
314.04/314.02 c | 813855 | 2562 10381 29180 | 27652 26443 34 | 0.078 % |
314.34/314.36 c | 814368 | 2562 10381 29180 | 27652 26956 35 | 0.078 % |
314.64/314.67 c | 814880 | 2562 10381 29180 | 27652 27468 35 | 0.078 % |
315.64/315.61 c | 815904 | 2562 10381 29180 | 27652 23940 34 | 0.078 % |
317.24/317.28 c | 817953 | 2562 10381 29180 | 27652 25989 34 | 0.078 % |
317.64/317.66 c | 818466 | 2562 10381 29180 | 27652 26502 35 | 0.079 % |
317.84/317.82 c | 818979 | 2562 10381 29180 | 27652 27015 34 | 0.078 % |
318.34/318.40 c | 820004 | 2562 10381 29180 | 28036 28040 35 | 0.078 % |
318.44/318.50 c | 820516 | 2562 10381 29180 | 28036 24213 33 | 0.079 % |
318.54/318.57 c | 821029 | 2562 10381 29180 | 28036 24726 33 | 0.078 % |
318.84/318.86 c | 822053 | 2562 10381 29180 | 28036 25750 33 | 0.078 % |
319.34/319.33 c | 824101 | 2562 10381 29180 | 28036 27798 35 | 0.080 % |
321.44/321.49 c | 828198 | 2562 10381 29180 | 28036 26645 34 | 0.078 % |
325.34/325.32 c | 836391 | 2562 10381 29180 | 28448 29635 39 | 0.079 % |
336.74/336.78 c | 852775 | 2562 10381 29180 | 23706 22826 34 | 0.079 % |
336.94/337.00 c | 853288 | 2562 10381 29180 | 23706 23339 35 | 0.078 % |
337.14/337.18 c | 853803 | 2562 10381 29180 | 23706 23854 35 | 0.078 % |
337.54/337.51 c | 854827 | 2562 10381 29180 | 23706 21433 34 | 0.079 % |
337.64/337.69 c | 855340 | 2562 10381 29180 | 23706 21946 34 | 0.078 % |
337.94/337.95 c | 855852 | 2562 10381 29180 | 23706 22458 35 | 0.078 % |
338.24/338.28 c | 856876 | 2562 10381 29180 | 23706 23482 35 | 0.078 % |
339.14/339.20 c | 858924 | 2562 10381 29180 | 23706 22051 33 | 0.078 % |
339.34/339.37 c | 859436 | 2562 10381 29180 | 23706 22563 33 | 0.079 % |
339.44/339.48 c | 859949 | 2562 10381 29180 | 23706 23076 33 | 0.078 % |
339.94/339.96 c | 860973 | 2562 10381 29180 | 23129 24100 34 | 0.079 % |
340.14/340.14 c | 861487 | 2562 10381 29180 | 23129 21255 33 | 0.078 % |
340.14/340.20 c | 862000 | 2562 10381 29180 | 23129 21768 32 | 0.078 % |
340.34/340.39 c | 863025 | 2562 10381 29180 | 23129 22793 34 | 0.078 % |
340.84/340.91 c | 865076 | 2562 10381 29180 | 23129 21263 34 | 0.079 % |
341.94/341.99 c | 869172 | 2562 10381 29180 | 23129 21467 36 | 0.079 % |
342.14/342.18 c | 869685 | 2562 10381 29180 | 23129 21980 37 | 0.079 % |
342.34/342.38 c | 870201 | 2562 10381 29180 | 22295 22496 37 | 0.079 % |
342.84/342.87 c | 871227 | 2562 10381 29180 | 22295 20047 36 | 0.079 % |
343.14/343.13 c | 871739 | 2562 10381 29180 | 22295 20559 37 | 0.078 % |
343.34/343.38 c | 872252 | 2562 10381 29180 | 22295 21072 37 | 0.078 % |
343.64/343.71 c | 873278 | 2562 10381 29180 | 22295 22098 37 | 0.079 % |
344.54/344.61 c | 875326 | 2562 10381 29180 | 22295 21642 38 | 0.078 % |
344.74/344.74 c | 875838 | 2562 10381 29180 | 22295 22154 38 | 0.078 % |
344.94/344.95 c | 876350 | 2562 10381 29180 | 22295 22666 38 | 0.078 % |
345.34/345.39 c | 877374 | 2562 10381 29180 | 22295 21138 38 | 0.078 % |
345.64/345.65 c | 877886 | 2562 10381 29180 | 22295 21650 39 | 0.079 % |
345.74/345.78 c | 878399 | 2562 10381 29180 | 22295 22163 39 | 0.078 % |
346.14/346.16 c | 879424 | 2562 10381 29180 | 22295 23188 40 | 0.078 % |
346.64/346.66 c | 881473 | 2562 10381 29180 | 21173 20153 36 | 0.078 % |
347.84/347.87 c | 885570 | 2562 10381 29180 | 21173 21369 37 | 0.078 % |
350.44/350.44 c | 893762 | 2562 10381 29180 | 19654 20252 39 | 0.079 % |
350.54/350.57 c | 894274 | 2562 10381 29180 | 19654 17491 40 | 0.078 % |
350.74/350.74 c | 894786 | 2562 10381 29180 | 19654 18003 40 | 0.078 % |
351.14/351.17 c | 895810 | 2562 10381 29180 | 19654 19027 40 | 0.078 % |
351.44/351.46 c | 896323 | 2562 10381 29180 | 19654 19540 41 | 0.078 % |
351.64/351.61 c | 896836 | 2562 10381 29180 | 19654 20053 41 | 0.078 % |
351.94/352.01 c | 897862 | 2562 10381 29180 | 19654 18645 40 | 0.078 % |
352.84/352.91 c | 899910 | 2562 10381 29180 | 19654 18596 38 | 0.078 % |
353.04/353.08 c | 900423 | 2562 10381 29180 | 18687 17227 37 | 0.078 % |
353.14/353.19 c | 900937 | 2562 10381 29180 | 18687 17741 37 | 0.078 % |
353.44/353.41 c | 901962 | 2562 10381 29180 | 18687 18766 38 | 0.078 % |
353.44/353.50 c | 902474 | 2562 10381 29180 | 18687 17402 36 | 0.078 % |
353.64/353.65 c | 902987 | 2562 10381 29180 | 18687 17915 37 | 0.078 % |
353.74/353.80 c | 904011 | 2562 10381 29180 | 18687 18939 36 | 0.079 % |
354.04/354.06 c | 906060 | 2562 10381 29180 | 18687 19095 36 | 0.078 % |
354.94/355.00 c | 910156 | 2562 10381 29180 | 19128 19283 35 | 0.079 % |
355.14/355.16 c | 910668 | 2562 10381 29180 | 19128 17671 35 | 0.079 % |
355.24/355.26 c | 911182 | 2562 10381 29180 | 19128 18185 35 | 0.079 % |
355.54/355.60 c | 912206 | 2562 10381 29180 | 19128 19209 35 | 0.078 % |
355.84/355.81 c | 912718 | 2562 10381 29180 | 19128 17736 35 | 0.079 % |
355.94/355.93 c | 913231 | 2562 10381 29180 | 19128 18249 35 | 0.079 % |
356.14/356.18 c | 914255 | 2562 10381 29180 | 19128 19273 36 | 0.078 % |
357.04/357.09 c | 916305 | 2562 10381 29180 | 19128 19396 36 | 0.078 % |
357.14/357.20 c | 916818 | 2562 10381 29180 | 19128 17970 35 | 0.079 % |
357.34/357.33 c | 917331 | 2562 10381 29180 | 19128 18483 35 | 0.078 % |
357.84/357.83 c | 918356 | 2562 10381 29180 | 19128 19508 36 | 0.078 % |
357.94/357.94 c | 918869 | 2561 10376 29169 | 19128 18066 35 | 0.119 % |
357.94/358.00 c | 919381 | 2561 10376 29169 | 19128 18578 35 | 0.117 % |
358.24/358.24 c | 920405 | 2561 10376 29169 | 2147483647 19602 36 | 0.117 % |
359.24/359.28 c | 922453 | 2561 10376 29169 | 2147483647 21650 37 | 0.118 % |
360.74/360.80 c | 926550 | 2561 10376 29169 | 2147483647 25747 38 | 0.118 % |
363.34/363.33 c | 934742 | 2561 10376 29169 | 29197 27622 44 | 0.118 % |
368.14/368.16 c | 951126 | 2561 10376 29169 | 23359 24485 41 | 0.118 % |
387.84/387.86 c | 983895 | 2561 10376 29169 | 42332 36449 59 | 0.117 % |
436.35/436.39 c | 1049432 | 2560 10371 29158 | 39307 38204 36 | 0.156 % |
546.96/546.98 c | 1180506 | 2560 10371 29158 | 37565 38071 44 | 0.156 % |
547.26/547.28 c | 1181018 | 2560 10371 29158 | 37565 28544 41 | 0.156 % |
547.46/547.46 c | 1181531 | 2560 10371 29158 | 37565 29057 41 | 0.156 % |
547.76/547.81 c | 1182555 | 2560 10371 29158 | 37565 30081 42 | 0.157 % |
547.96/547.97 c | 1183067 | 2560 10371 29158 | 37565 30593 42 | 0.156 % |
548.06/548.10 c | 1183579 | 2560 10371 29158 | 37565 31105 42 | 0.157 % |
548.36/548.42 c | 1184605 | 2560 10371 29158 | 37565 32131 42 | 0.157 % |
549.36/549.41 c | 1186653 | 2560 10371 29158 | 37565 34179 43 | 0.156 % |
549.66/549.62 c | 1187166 | 2560 10371 29158 | 37565 34692 43 | 0.156 % |
549.86/549.91 c | 1187678 | 2560 10371 29158 | 37565 35204 43 | 0.156 % |
550.96/550.93 c | 1188704 | 2560 10371 29158 | 37565 36230 43 | 0.156 % |
551.36/551.39 c | 1189218 | 2560 10371 29158 | 37565 36744 43 | 0.157 % |
551.76/551.74 c | 1189732 | 2560 10371 29158 | 37565 37258 43 | 0.157 % |
552.46/552.45 c | 1190757 | 2560 10371 29158 | 37526 38283 43 | 0.156 % |
553.46/553.43 c | 1192807 | 2560 10371 29158 | 37526 30414 40 | 0.156 % |
557.26/557.25 c | 1196903 | 2560 10371 29158 | 37526 34510 41 | 0.157 % |
557.46/557.51 c | 1197415 | 2560 10371 29158 | 37526 35022 41 | 0.157 % |
557.76/557.73 c | 1197927 | 2560 10371 29158 | 37526 35534 41 | 0.157 % |
558.36/558.39 c | 1198952 | 2560 10371 29158 | 37526 36559 42 | 0.156 % |
558.66/558.67 c | 1199468 | 2560 10371 29158 | 37526 37075 42 | 0.156 % |
558.76/558.79 c | 1199981 | 2560 10371 29158 | 37526 37588 42 | 0.156 % |
559.46/559.43 c | 1201006 | 2560 10371 29158 | 28226 29232 41 | 0.156 % |
559.96/559.94 c | 1203054 | 2560 10371 29158 | 28226 24183 41 | 0.156 % |
560.06/560.10 c | 1203566 | 2560 10371 29158 | 28226 24695 41 | 0.157 % |
560.26/560.31 c | 1204078 | 2560 10371 29158 | 28226 25207 41 | 0.157 % |
560.66/560.69 c | 1205103 | 2559 10367 29149 | 28226 26221 42 | 0.195 % |
560.76/560.81 c | 1205616 | 2559 10367 29149 | 28226 26734 41 | 0.195 % |
560.96/560.95 c | 1206128 | 2559 10367 29149 | 28226 27246 41 | 0.195 % |
561.26/561.30 c | 1207152 | 2559 10367 29149 | 28226 28269 42 | 0.234 % |
561.86/561.83 c | 1209200 | 2559 10367 29149 | 28226 24155 40 | 0.234 % |
563.06/563.08 c | 1213297 | 2558 10362 29138 | 24956 23236 37 | 0.234 % |
566.86/566.86 c | 1221490 | 2558 10362 29138 | 21557 19619 37 | 0.234 % |
566.96/566.97 c | 1222002 | 2558 10362 29138 | 21557 20131 37 | 0.234 % |
567.06/567.09 c | 1222514 | 2558 10362 29138 | 21557 20643 37 | 0.235 % |
567.36/567.36 c | 1223538 | 2558 10362 29138 | 21557 21667 37 | 0.234 % |
567.46/567.48 c | 1224050 | 2558 10362 29138 | 21557 18953 38 | 0.235 % |
567.56/567.54 c | 1224564 | 2558 10362 29138 | 21557 19467 38 | 0.234 % |
567.76/567.79 c | 1225588 | 2558 10362 29138 | 21557 20491 39 | 0.235 % |
568.16/568.13 c | 1227637 | 2558 10362 29138 | 21557 22540 39 | 0.234 % |
568.26/568.28 c | 1228150 | 2558 10362 29138 | 21557 19847 39 | 0.234 % |
568.46/568.50 c | 1228662 | 2558 10362 29138 | 21557 20359 39 | 0.234 % |
568.96/568.95 c | 1229687 | 2558 10362 29138 | 21557 21384 39 | 0.235 % |
569.16/569.13 c | 1230199 | 2558 10362 29138 | 21698 21896 39 | 0.235 % |
569.36/569.36 c | 1230712 | 2558 10362 29138 | 21698 19638 38 | 0.235 % |
569.66/569.70 c | 1231736 | 2558 10362 29138 | 21698 20662 38 | 0.234 % |
570.56/570.54 c | 1233785 | 2558 10362 29138 | 21698 22711 40 | 0.234 % |
570.76/570.81 c | 1237881 | 2558 10362 29138 | 21698 21605 31 | 0.235 % |
570.86/570.90 c | 1238394 | 2558 10362 29138 | 21698 22118 31 | 0.234 % |
571.16/571.14 c | 1238907 | 2558 10362 29138 | 21698 20188 31 | 0.234 % |
571.66/571.71 c | 1239931 | 2558 10362 29138 | 21698 21212 31 | 0.234 % |
571.86/571.89 c | 1240444 | 2558 10362 29138 | 21282 21725 32 | 0.234 % |
572.06/572.07 c | 1240958 | 2558 10362 29138 | 21282 20067 31 | 0.234 % |
572.26/572.31 c | 1241983 | 2558 10362 29138 | 21282 21092 31 | 0.234 % |
573.06/573.06 c | 1244031 | 2558 10362 29138 | 21282 20909 32 | 0.234 % |
573.16/573.15 c | 1244543 | 2558 10362 29138 | 21282 21421 32 | 0.235 % |
573.26/573.22 c | 1245055 | 2558 10362 29138 | 21282 19791 32 | 0.234 % |
573.36/573.40 c | 1246080 | 2558 10362 29138 | 21282 20816 32 | 0.235 % |
573.46/573.52 c | 1246592 | 2558 10362 29138 | 21282 21328 32 | 0.235 % |
573.66/573.65 c | 1247104 | 2558 10362 29138 | 21282 19708 31 | 0.235 % |
573.76/573.82 c | 1248129 | 2558 10362 29138 | 21282 20733 31 | 0.234 % |
574.56/574.55 c | 1250179 | 2558 10362 29138 | 20299 20476 32 | 0.234 % |
576.16/576.17 c | 1254277 | 2558 10362 29138 | 20299 20094 37 | 0.234 % |
579.16/579.21 c | 1262469 | 2558 10362 29138 | 21202 21418 35 | 0.234 % |
588.16/588.12 c | 1278855 | 2558 10362 29138 | 22129 22777 37 | 0.234 % |
588.36/588.33 c | 1279368 | 2558 10362 29138 | 22129 20153 37 | 0.234 % |
588.46/588.44 c | 1279882 | 2558 10362 29138 | 22129 20667 37 | 0.234 % |
588.86/588.90 c | 1280906 | 2558 10362 29138 | 20787 21691 38 | 0.234 % |
589.06/589.08 c | 1281418 | 2558 10362 29138 | 20787 18810 37 | 0.234 % |
589.26/589.23 c | 1281930 | 2558 10362 29138 | 20787 19322 37 | 0.234 % |
589.46/589.43 c | 1282954 | 2558 10362 29138 | 20787 20346 37 | 0.235 % |
590.16/590.12 c | 1285002 | 2558 10362 29138 | 20787 19576 38 | 0.234 % |
590.26/590.26 c | 1285514 | 2558 10362 29138 | 20787 20088 38 | 0.234 % |
590.36/590.34 c | 1286026 | 2558 10362 29138 | 20787 20600 39 | 0.235 % |
590.76/590.77 c | 1287052 | 2558 10362 29138 | 20787 21626 39 | 0.235 % |
590.86/590.90 c | 1287564 | 2558 10362 29138 | 20787 19301 39 | 0.235 % |
590.96/590.99 c | 1288077 | 2558 10362 29138 | 20787 19814 39 | 0.235 % |
591.26/591.30 c | 1289101 | 2558 10362 29138 | 20787 20838 40 | 0.234 % |
591.86/591.91 c | 1291151 | 2558 10362 29138 | 18983 17728 39 | 0.234 % |
593.36/593.38 c | 1295247 | 2558 10362 29138 | 18983 19405 41 | 0.235 % |
593.56/593.55 c | 1295759 | 2558 10362 29138 | 18983 17501 41 | 0.235 % |
593.66/593.69 c | 1296271 | 2558 10362 29138 | 18983 18013 41 | 0.234 % |
594.06/594.10 c | 1297296 | 2558 10362 29138 | 18983 19038 41 | 0.234 % |
594.16/594.19 c | 1297809 | 2558 10362 29138 | 18983 17243 39 | 0.234 % |
594.36/594.41 c | 1298323 | 2558 10362 29138 | 18983 17757 41 | 0.234 % |
594.56/594.59 c | 1299347 | 2558 10362 29138 | 18983 18781 40 | 0.234 % |
595.26/595.27 c | 1301396 | 2558 10362 29138 | 19436 18263 41 | 0.234 % |
595.36/595.40 c | 1301909 | 2558 10362 29138 | 19436 18776 41 | 0.234 % |
595.56/595.53 c | 1302421 | 2558 10362 29138 | 19436 19288 41 | 0.234 % |
595.76/595.80 c | 1303445 | 2558 10362 29138 | 19436 20312 42 | 0.234 % |
595.86/595.88 c | 1303958 | 2558 10362 29138 | 19436 18309 40 | 0.235 % |
595.96/595.93 c | 1304470 | 2558 10362 29138 | 19436 18821 40 | 0.234 % |
596.26/596.26 c | 1305495 | 2558 10362 29138 | 19436 19846 41 | 0.235 % |
596.66/596.68 c | 1307543 | 2558 10362 29138 | 19436 19666 38 | 0.234 % |
597.46/597.47 c | 1311639 | 2558 10362 29138 | 20157 21796 39 | 0.236 % |
600.86/600.90 c | 1319831 | 2558 10362 29138 | 20157 20663 39 | 0.234 % |
601.06/601.11 c | 1320343 | 2558 10362 29138 | 18732 19075 39 | 0.235 % |
601.36/601.32 c | 1320855 | 2558 10362 29138 | 18732 17642 41 | 0.234 % |
601.46/601.51 c | 1321879 | 2558 10362 29138 | 18732 18666 40 | 0.234 % |
601.76/601.79 c | 1322391 | 2558 10362 29138 | 18732 19178 41 | 0.234 % |
601.86/601.88 c | 1322903 | 2558 10362 29138 | 18732 17773 40 | 0.234 % |
602.16/602.17 c | 1323928 | 2558 10362 29138 | 18732 18798 41 | 0.235 % |
602.56/602.56 c | 1325976 | 2558 10362 29138 | 18732 18967 39 | 0.234 % |
602.76/602.76 c | 1326488 | 2558 10362 29138 | 18732 17583 38 | 0.234 % |
602.96/602.96 c | 1327000 | 2558 10362 29138 | 18732 18095 39 | 0.234 % |
603.16/603.12 c | 1328025 | 2558 10362 29138 | 18732 19120 39 | 0.235 % |
603.16/603.22 c | 1328537 | 2558 10362 29138 | 18732 17720 36 | 0.235 % |
603.26/603.30 c | 1329049 | 2558 10362 29138 | 18732 18232 36 | 0.234 % |
603.56/603.55 c | 1330073 | 2558 10362 29138 | 2147483647 19256 36 | 0.235 % |
604.06/604.05 c | 1332121 | 2558 10362 29138 | 2147483647 21304 36 | 0.235 % |
605.46/605.44 c | 1336217 | 2558 10362 29138 | 2147483647 25400 35 | 0.234 % |
605.76/605.75 c | 1336730 | 2558 10362 29138 | 2147483647 25913 35 | 0.235 % |
606.06/606.03 c | 1337242 | 2558 10362 29138 | 2147483647 26425 36 | 0.235 % |
606.46/606.44 c | 1338267 | 2558 10362 29138 | 2147483647 27450 37 | 0.234 % |
606.56/606.57 c | 1338781 | 2558 10362 29138 | 2147483647 27964 36 | 0.234 % |
606.86/606.89 c | 1339293 | 2558 10362 29138 | 2147483647 28476 37 | 0.234 % |
607.36/607.40 c | 1340318 | 2558 10362 29138 | 29184 29501 37 | 0.234 % |
608.56/608.54 c | 1342368 | 2558 10362 29138 | 29184 26555 35 | 0.234 % |
608.76/608.81 c | 1342880 | 2558 10362 29138 | 29184 27067 35 | 0.234 % |
608.96/608.96 c | 1343393 | 2558 10362 29138 | 29184 27580 35 | 0.234 % |
609.66/609.68 c | 1344418 | 2558 10362 29138 | 29184 28605 36 | 0.235 % |
609.96/609.97 c | 1344932 | 2558 10362 29138 | 29184 29119 36 | 0.234 % |
610.16/610.20 c | 1345444 | 2558 10362 29138 | 29184 29631 36 | 0.235 % |
610.56/610.59 c | 1346469 | 2558 10362 29138 | 29184 25837 35 | 0.234 % |
611.56/611.53 c | 1348519 | 2558 10362 29138 | 29184 27887 36 | 0.234 % |
613.36/613.39 c | 1352617 | 2558 10362 29138 | 29368 25488 40 | 0.235 % |
617.96/617.92 c | 1360811 | 2558 10362 29138 | 27324 23323 41 | 0.234 % |
626.66/626.71 c | 1377195 | 2558 10362 29138 | 23708 23153 41 | 0.234 % |
642.05/642.10 c | 1409967 | 2558 10362 29138 | 19006 19898 35 | 0.234 % |
642.35/642.31 c | 1410479 | 2558 10362 29138 | 16909 17388 31 | 0.234 % |
642.56/642.54 c | 1410991 | 2558 10362 29138 | 16909 15310 30 | 0.235 % |
642.95/643.00 c | 1412015 | 2558 10362 29138 | 16909 16334 31 | 0.235 % |
643.15/643.11 c | 1412527 | 2558 10362 29138 | 16909 16846 31 | 0.235 % |
643.25/643.22 c | 1413042 | 2558 10362 29138 | 16909 17361 32 | 0.234 % |
643.45/643.43 c | 1414066 | 2558 10362 29138 | 16909 16478 31 | 0.235 % |
643.85/643.81 c | 1416114 | 2558 10362 29138 | 16909 18526 33 | 0.234 % |
644.05/644.05 c | 1416626 | 2558 10362 29138 | 16909 16943 32 | 0.234 % |
644.25/644.25 c | 1417139 | 2558 10362 29138 | 16909 15626 32 | 0.234 % |
644.55/644.57 c | 1418166 | 2558 10362 29138 | 16909 16653 33 | 0.235 % |
644.65/644.70 c | 1418679 | 2558 10362 29138 | 16909 17166 33 | 0.234 % |
644.85/644.89 c | 1419192 | 2558 10362 29138 | 16909 15963 33 | 0.234 % |
645.15/645.17 c | 1420216 | 2558 10362 29138 | 2147483647 16987 35 | 0.235 % |
645.86/645.88 c | 1422264 | 2558 10362 29138 | 2147483647 19035 36 | 0.234 % |
648.06/648.05 c | 1426360 | 2558 10362 29138 | 2147483647 23131 37 | 0.235 % |
648.35/648.31 c | 1426873 | 2558 10362 29138 | 2147483647 23644 37 | 0.235 % |
648.45/648.43 c | 1427385 | 2558 10362 29138 | 2147483647 24156 37 | 0.234 % |
648.85/648.83 c | 1428410 | 2558 10362 29138 | 2147483647 25181 38 | 0.234 % |
648.95/648.96 c | 1428923 | 2558 10362 29138 | 2147483647 25694 38 | 0.234 % |
649.05/649.09 c | 1429435 | 2558 10362 29138 | 2147483647 26206 38 | 0.235 % |
649.65/649.66 c | 1430460 | 2558 10362 29138 | 26773 27231 39 | 0.235 % |
650.95/650.96 c | 1432509 | 2558 10362 29138 | 26773 25805 40 | 0.234 % |
651.05/651.07 c | 1433021 | 2558 10362 29138 | 26773 26317 40 | 0.235 % |
651.25/651.21 c | 1433533 | 2558 10362 29138 | 26773 26829 40 | 0.234 % |
651.55/651.54 c | 1434558 | 2558 10362 29138 | 26773 24041 40 | 0.235 % |
651.65/651.69 c | 1435071 | 2558 10362 29138 | 26773 24554 40 | 0.235 % |
651.75/651.80 c | 1435583 | 2558 10362 29138 | 26773 25066 40 | 0.235 % |
652.15/652.13 c | 1436607 | 2558 10362 29138 | 26773 26090 40 | 0.235 % |
652.85/652.89 c | 1438656 | 2558 10362 29138 | 26773 23697 39 | 0.235 % |
654.66/654.70 c | 1442752 | 2558 10362 29138 | 25042 23566 38 | 0.234 % |
658.75/658.79 c | 1450945 | 2558 10362 29138 | 21700 22645 36 | 0.234 % |
658.95/658.92 c | 1451457 | 2558 10362 29138 | 21700 19219 36 | 0.235 % |
659.06/659.08 c | 1451970 | 2558 10362 29138 | 21700 19732 35 | 0.235 % |
659.35/659.32 c | 1452994 | 2558 10362 29138 | 21700 20756 35 | 0.235 % |
659.55/659.53 c | 1453506 | 2558 10362 29138 | 21700 21268 35 | 0.235 % |
659.65/659.61 c | 1454018 | 2558 10362 29138 | 21700 21780 35 | 0.235 % |
659.75/659.77 c | 1455042 | 2558 10362 29138 | 21700 19284 33 | 0.234 % |
660.25/660.22 c | 1457090 | 2558 10362 29138 | 21700 21332 35 | 0.234 % |
660.35/660.31 c | 1457602 | 2558 10362 29138 | 21700 21844 36 | 0.234 % |
660.35/660.39 c | 1458117 | 2558 10362 29138 | 21700 18845 33 | 0.234 % |
660.65/660.60 c | 1459142 | 2558 10362 29138 | 21700 19870 33 | 0.234 % |
660.75/660.75 c | 1459656 | 2558 10362 29138 | 21700 20384 33 | 0.235 % |
661.05/661.01 c | 1460168 | 2558 10362 29138 | 20730 20896 34 | 0.234 % |
661.45/661.41 c | 1461192 | 2558 10362 29138 | 20730 19076 33 | 0.235 % |
662.36/662.37 c | 1463241 | 2558 10362 29138 | 20730 21125 34 | 0.235 % |
663.75/663.78 c | 1467338 | 2558 10362 29138 | 20730 20945 35 | 0.235 % |
663.85/663.85 c | 1467850 | 2558 10362 29138 | 20730 19363 36 | 0.234 % |
664.05/664.03 c | 1468363 | 2558 10362 29138 | 20730 19876 36 | 0.234 % |
664.45/664.46 c | 1469388 | 2558 10362 29138 | 20730 20901 37 | 0.235 % |
664.56/664.53 c | 1469901 | 2558 10362 29138 | 20730 19324 37 | 0.234 % |
664.75/664.72 c | 1470413 | 2558 10362 29138 | 2147483647 19836 38 | 0.234 % |
665.05/665.05 c | 1471438 | 2558 10362 29138 | 2147483647 20861 37 | 0.234 % |
666.55/666.55 c | 1473487 | 2558 10362 29138 | 2147483647 22910 39 | 0.235 % |
666.85/666.84 c | 1473999 | 2558 10362 29138 | 2147483647 23422 39 | 0.234 % |
667.05/667.02 c | 1474511 | 2558 10362 29138 | 2147483647 23934 39 | 0.234 % |
667.65/667.64 c | 1475537 | 2558 10362 29138 | 2147483647 24960 40 | 0.235 % |
667.75/667.76 c | 1476050 | 2558 10362 29138 | 2147483647 25473 40 | 0.235 % |
667.86/667.85 c | 1476563 | 2558 10362 29138 | 2147483647 25986 40 | 0.234 % |
668.45/668.43 c | 1477588 | 2558 10362 29138 | 2147483647 27011 41 | 0.235 % |
668.75/668.79 c | 1479638 | 2558 10362 29138 | 2147483647 29061 40 | 0.235 % |
670.65/670.63 c | 1483734 | 2558 10362 29138 | 29424 27817 39 | 0.234 % |
674.46/674.45 c | 1491926 | 2558 10362 29138 | 28135 23751 34 | 0.235 % |
685.36/685.41 c | 1508310 | 2558 10362 29138 | 25870 23423 34 | 0.235 % |
685.66/685.70 c | 1508823 | 2558 10362 29138 | 25870 23936 34 | 0.234 % |
685.96/685.93 c | 1509335 | 2558 10362 29138 | 25870 24448 34 | 0.235 % |
686.06/686.11 c | 1510359 | 2558 10362 29138 | 25115 25472 35 | 0.234 % |
686.46/686.44 c | 1510871 | 2558 10362 29138 | 25115 21106 34 | 0.235 % |
686.56/686.60 c | 1511385 | 2558 10362 29138 | 25115 21620 34 | 0.234 % |
686.96/686.98 c | 1512409 | 2558 10362 29138 | 25115 22644 35 | 0.234 % |
687.66/687.71 c | 1514460 | 2558 10362 29138 | 25115 24695 36 | 0.234 % |
687.86/687.82 c | 1514973 | 2558 10362 29138 | 25115 25208 36 | 0.234 % |
688.06/688.10 c | 1515485 | 2558 10362 29138 | 25115 21993 35 | 0.234 % |
688.36/688.33 c | 1516509 | 2558 10362 29138 | 25115 23017 35 | 0.235 % |
688.46/688.43 c | 1517023 | 2558 10362 29138 | 25115 23531 35 | 0.235 % |
688.46/688.48 c | 1517535 | 2558 10362 29138 | 25115 24043 35 | 0.234 % |
688.86/688.85 c | 1518559 | 2558 10362 29138 | 25115 25067 36 | 0.235 % |
689.26/689.29 c | 1520610 | 2558 10362 29138 | 26509 27118 37 | 0.234 % |
690.76/690.73 c | 1524708 | 2558 10362 29138 | 26509 26295 37 | 0.235 % |
690.86/690.89 c | 1525220 | 2558 10362 29138 | 26509 26807 36 | 0.235 % |
691.16/691.12 c | 1525733 | 2558 10362 29138 | 26509 22730 36 | 0.234 % |
691.36/691.35 c | 1526757 | 2558 10362 29138 | 26509 23754 36 | 0.235 % |
691.66/691.67 c | 1527269 | 2558 10362 29138 | 26509 24266 37 | 0.235 % |
691.86/691.86 c | 1527781 | 2558 10362 29138 | 26509 24778 37 | 0.234 % |
692.26/692.31 c | 1528807 | 2558 10362 29138 | 26509 25804 37 | 0.235 % |
693.16/693.15 c | 1530856 | 2558 10362 29138 | 26997 27853 38 | 0.234 % |
693.36/693.40 c | 1531369 | 2558 10362 29138 | 26997 23146 36 | 0.235 % |
693.56/693.55 c | 1531881 | 2558 10362 29138 | 26997 23658 36 | 0.234 % |
693.96/693.94 c | 1532905 | 2558 10362 29138 | 26997 24682 36 | 0.234 % |
694.16/694.15 c | 1533417 | 2558 10362 29138 | 26997 25194 36 | 0.235 % |
694.46/694.44 c | 1533929 | 2558 10362 29138 | 26997 25706 36 | 0.234 % |
694.86/694.86 c | 1534953 | 2558 10362 29138 | 26997 26730 36 | 0.234 % |
695.46/695.44 c | 1537003 | 2558 10362 29138 | 26997 23683 35 | 0.234 % |
696.26/696.24 c | 1541099 | 2558 10362 29138 | 26680 27779 34 | 0.234 % |
698.66/698.61 c | 1549292 | 2558 10362 29138 | 26680 25156 39 | 0.234 % |
698.76/698.76 c | 1549806 | 2558 10362 29138 | 26680 25670 39 | 0.235 % |
699.06/699.06 c | 1550318 | 2558 10362 29138 | 25866 26182 39 | 0.235 % |
699.56/699.53 c | 1551342 | 2558 10362 29138 | 25866 22233 39 | 0.235 % |
699.66/699.71 c | 1551855 | 2558 10362 29138 | 25866 22746 39 | 0.234 % |
699.96/699.99 c | 1552368 | 2558 10362 29138 | 25866 23259 40 | 0.234 % |
700.46/700.46 c | 1553392 | 2558 10362 29138 | 25866 24283 41 | 0.234 % |
701.06/701.04 c | 1555442 | 2558 10362 29138 | 25866 26333 41 | 0.234 % |
701.16/701.21 c | 1555956 | 2558 10362 29138 | 25866 22613 41 | 0.234 % |
701.46/701.42 c | 1556469 | 2558 10362 29138 | 25866 23126 41 | 0.234 % |
701.76/701.80 c | 1557495 | 2558 10362 29138 | 25866 24152 42 | 0.234 % |
702.06/702.11 c | 1558008 | 2558 10362 29138 | 25866 24665 42 | 0.234 % |
702.26/702.26 c | 1558522 | 2558 10362 29138 | 25866 25179 42 | 0.235 % |
702.56/702.56 c | 1559546 | 2558 10362 29138 | 25866 26203 41 | 0.235 % |
702.96/702.99 c | 1561597 | 2558 10362 29138 | 22323 20171 36 | 0.235 % |
704.26/704.23 c | 1565693 | 2558 10362 29138 | 22323 20986 35 | 0.235 % |
704.36/704.38 c | 1566207 | 2558 10362 29138 | 22323 21500 35 | 0.234 % |
704.56/704.61 c | 1566719 | 2558 10362 29138 | 22323 22012 36 | 0.234 % |
704.96/705.01 c | 1567743 | 2558 10362 29138 | 22323 23036 35 | 0.235 % |
705.26/705.25 c | 1568255 | 2558 10362 29138 | 22323 20505 34 | 0.234 % |
705.36/705.34 c | 1568767 | 2558 10362 29138 | 22323 21017 34 | 0.234 % |
705.66/705.69 c | 1569792 | 2558 10362 29138 | 22323 22042 35 | 0.235 % |
706.16/706.18 c | 1571840 | 2558 10362 29138 | 22250 21205 33 | 0.235 % |
706.36/706.41 c | 1572353 | 2558 10362 29138 | 22250 21718 34 | 0.234 % |
706.56/706.57 c | 1572865 | 2558 10362 29138 | 22250 22230 34 | 0.235 % |
706.96/706.92 c | 1573889 | 2558 10362 29138 | 22250 20644 33 | 0.234 % |
707.16/707.18 c | 1574401 | 2558 10362 29138 | 22250 21156 33 | 0.234 % |
707.26/707.21 c | 1574913 | 2558 10362 29138 | 22250 21668 32 | 0.234 % |
707.76/707.74 c | 1575938 | 2558 10362 29138 | 22250 22693 33 | 0.234 % |
708.46/708.50 c | 1577987 | 2558 10362 29138 | 22250 22036 34 | 0.235 % |
709.86/709.86 c | 1582083 | 2558 10362 29138 | 20784 19496 32 | 0.235 % |
712.36/712.32 c | 1590275 | 2558 10362 29138 | 20208 20481 35 | 0.234 % |
719.36/719.34 c | 1606660 | 2558 10362 29138 | 19818 19593 37 | 0.234 % |
733.36/733.35 c | 1639428 | 2558 10362 29138 | 19707 18563 31 | 0.235 % |
759.46/759.49 c | 1704965 | 2558 10362 29138 | 18537 16847 28 | 0.234 % |
759.76/759.72 c | 1705477 | 2558 10362 29138 | 18537 17359 28 | 0.235 % |
759.76/759.79 c | 1705989 | 2558 10362 29138 | 18537 17871 28 | 0.235 % |
759.96/759.99 c | 1707013 | 2558 10362 29138 | 18537 18895 29 | 0.235 % |
760.16/760.14 c | 1707525 | 2558 10362 29138 | 18537 16645 28 | 0.234 % |
760.27/760.23 c | 1708037 | 2558 10362 29138 | 18537 17157 28 | 0.234 % |
760.46/760.43 c | 1709062 | 2558 10362 29138 | 18537 18182 30 | 0.235 % |
760.66/760.63 c | 1711110 | 2558 10362 29138 | 19121 20230 30 | 0.234 % |
760.76/760.75 c | 1711622 | 2558 10362 29138 | 19121 18352 30 | 0.234 % |
760.86/760.89 c | 1712136 | 2558 10362 29138 | 19121 18866 30 | 0.234 % |
761.26/761.24 c | 1713160 | 2558 10362 29138 | 19121 19890 32 | 0.234 % |
761.37/761.33 c | 1713672 | 2558 10362 29138 | 19121 18232 31 | 0.234 % |
761.46/761.45 c | 1714184 | 2558 10362 29138 | 19121 18744 32 | 0.234 % |
761.86/761.90 c | 1715208 | 2558 10362 29138 | 19121 19768 32 | 0.234 % |
762.76/762.78 c | 1717256 | 2558 10362 29138 | 19121 17859 33 | 0.235 % |
764.67/764.66 c | 1721354 | 2558 10362 29138 | 2147483647 19978 37 | 0.235 % |
764.86/764.87 c | 1721866 | 2558 10362 29138 | 2147483647 20490 37 | 0.234 % |
764.96/764.98 c | 1722378 | 2558 10362 29138 | 2147483647 21002 37 | 0.234 % |
765.26/765.22 c | 1723402 | 2558 10362 29138 | 2147483647 22026 37 | 0.234 % |
765.36/765.36 c | 1723914 | 2558 10362 29138 | 2147483647 22538 37 | 0.234 % |
765.56/765.57 c | 1724426 | 2558 10362 29138 | 2147483647 23050 38 | 0.234 % |
765.86/765.89 c | 1725450 | 2558 10362 29138 | 2147483647 24074 38 | 0.234 % |
766.56/766.57 c | 1727498 | 2558 10362 29138 | 2147483647 26122 40 | 0.234 % |
766.76/766.73 c | 1728011 | 2558 10362 29138 | 2147483647 26635 39 | 0.234 % |
766.76/766.81 c | 1728523 | 2558 10362 29138 | 2147483647 27147 40 | 0.235 % |
767.06/767.02 c | 1729548 | 2558 10362 29138 | 2147483647 28172 39 | 0.234 % |
767.16/767.15 c | 1730060 | 2558 10362 29138 | 28627 28684 39 | 0.236 % |
767.26/767.29 c | 1730574 | 2558 10362 29138 | 28627 25818 39 | 0.235 % |
767.56/767.51 c | 1731598 | 2558 10362 29138 | 28627 26842 39 | 0.234 % |
768.16/768.17 c | 1733646 | 2558 10362 29138 | 28627 28890 40 | 0.235 % |
769.26/769.30 c | 1737744 | 2558 10362 29138 | 28627 28261 37 | 0.234 % |
772.06/772.01 c | 1745938 | 2558 10362 29138 | 25501 26443 38 | 0.234 % |
772.16/772.11 c | 1746451 | 2558 10362 29138 | 25501 21952 37 | 0.234 % |
772.26/772.30 c | 1746965 | 2558 10362 29138 | 25501 22466 37 | 0.234 % |
772.76/772.76 c | 1747990 | 2558 10362 29138 | 25501 23491 37 | 0.234 % |
772.96/772.98 c | 1748502 | 2558 10362 29138 | 25501 24003 38 | 0.234 % |
773.06/773.07 c | 1749014 | 2558 10362 29138 | 25501 24515 38 | 0.235 % |
773.26/773.28 c | 1750038 | 2558 10362 29138 | 25504 25539 38 | 0.235 % |
773.76/773.79 c | 1752087 | 2558 10362 29138 | 25504 23097 38 | 0.234 % |
773.96/773.91 c | 1752599 | 2558 10362 29138 | 25504 23609 37 | 0.235 % |
774.06/774.06 c | 1753112 | 2558 10362 29138 | 25504 24122 37 | 0.235 % |
774.36/774.34 c | 1754136 | 2558 10362 29138 | 25504 25146 37 | 0.234 % |
774.57/774.57 c | 1754648 | 2558 10362 29138 | 25504 25658 37 | 0.235 % |
774.86/774.89 c | 1755161 | 2558 10362 29138 | 25504 21862 38 | 0.235 % |
775.36/775.32 c | 1756186 | 2558 10362 29138 | 25504 22887 38 | 0.235 % |
776.26/776.25 c | 1758235 | 2558 10362 29138 | 25504 24936 38 | 0.235 % |
778.56/778.61 c | 1762331 | 2558 10362 29138 | 22848 22235 32 | 0.234 % |
778.76/778.75 c | 1762843 | 2558 10362 29138 | 22848 22747 32 | 0.235 % |
778.97/778.92 c | 1763357 | 2558 10362 29138 | 22848 23261 33 | 0.234 % |
779.36/779.31 c | 1764381 | 2558 10362 29138 | 22848 21461 32 | 0.234 % |
779.46/779.46 c | 1764893 | 2558 10362 29138 | 22848 21973 32 | 0.234 % |
779.66/779.69 c | 1765406 | 2558 10362 29138 | 22848 22486 33 | 0.234 % |
780.16/780.11 c | 1766430 | 2558 10362 29138 | 22848 23510 33 | 0.234 % |
781.06/781.11 c | 1768479 | 2558 10362 29138 | 22848 22580 34 | 0.235 % |
781.36/781.34 c | 1768991 | 2558 10362 29138 | 22848 23092 34 | 0.235 % |
781.56/781.56 c | 1769503 | 2558 10362 29138 | 22848 20574 34 | 0.235 % |
781.86/781.82 c | 1770528 | 2558 10362 29138 | 21072 21599 34 | 0.235 % |
781.96/781.95 c | 1771040 | 2558 10362 29138 | 21072 19042 33 | 0.234 % |
782.06/782.07 c | 1771552 | 2558 10362 29138 | 21072 19554 34 | 0.235 % |
782.36/782.33 c | 1772576 | 2558 10362 29138 | 21072 20578 34 | 0.234 % |
782.86/782.84 c | 1774627 | 2558 10362 29138 | 21072 22629 36 | 0.235 % |
783.56/783.60 c | 1778724 | 2558 10362 29138 | 21072 20291 35 | 0.234 % |
787.46/787.47 c | 1786916 | 2558 10362 29138 | 21567 20146 39 | 0.234 % |
796.86/796.89 c | 1803300 | 2558 10362 29138 | 20335 21008 37 | 0.235 % |
797.26/797.27 c | 1803814 | 2558 10362 29138 | 20335 18504 36 | 0.234 % |
797.46/797.47 c | 1804326 | 2558 10362 29138 | 20335 19016 37 | 0.234 % |
797.86/797.83 c | 1805351 | 2558 10362 29138 | 20335 20041 37 | 0.234 % |
798.07/798.08 c | 1805863 | 2558 10362 29138 | 20335 20553 38 | 0.235 % |
798.37/798.32 c | 1806376 | 2558 10362 29138 | 20335 18334 36 | 0.234 % |
798.77/798.80 c | 1807405 | 2558 10362 29138 | 20335 19363 36 | 0.234 % |
799.67/799.65 c | 1809453 | 2558 10362 29138 | 20335 21411 37 | 0.234 % |
799.87/799.87 c | 1809965 | 2558 10362 29138 | 20335 19251 36 | 0.235 % |
800.07/800.03 c | 1810477 | 2558 10362 29138 | 19286 19763 37 | 0.234 % |
800.37/800.38 c | 1811502 | 2558 10362 29138 | 19286 18203 37 | 0.234 % |
800.47/800.51 c | 1812015 | 2558 10362 29138 | 19286 18716 37 | 0.235 % |
800.57/800.58 c | 1812527 | 2558 10362 29138 | 19286 19228 37 | 0.235 % |
800.77/800.76 c | 1813551 | 2558 10362 29138 | 19286 20252 37 | 0.235 % |
801.17/801.16 c | 1815600 | 2558 10362 29138 | 19286 19735 37 | 0.235 % |
801.77/801.79 c | 1819696 | 2558 10362 29138 | 19286 18184 34 | 0.234 % |
801.97/801.99 c | 1820209 | 2558 10362 29138 | 18488 18697 35 | 0.234 % |
802.07/802.09 c | 1820723 | 2558 10362 29138 | 18488 16975 34 | 0.234 % |
802.37/802.41 c | 1821747 | 2558 10362 29138 | 18488 17999 35 | 0.235 % |
802.67/802.68 c | 1822259 | 2558 10362 29138 | 18488 18511 36 | 0.234 % |
802.87/802.85 c | 1822772 | 2558 10362 29138 | 18488 17173 35 | 0.234 % |
803.27/803.25 c | 1823799 | 2558 10362 29138 | 18488 18200 36 | 0.234 % |
803.97/803.95 c | 1825847 | 2558 10362 29138 | 18488 18274 37 | 0.234 % |
804.07/804.06 c | 1826360 | 2558 10362 29138 | 18488 18787 37 | 0.234 % |
804.27/804.22 c | 1826872 | 2558 10362 29138 | 18488 17421 37 | 0.234 % |
804.57/804.53 c | 1827896 | 2558 10362 29138 | 18488 18445 38 | 0.234 % |
804.67/804.67 c | 1828409 | 2558 10362 29138 | 18488 18958 38 | 0.235 % |
804.87/804.83 c | 1828924 | 2558 10362 29138 | 18488 17578 37 | 0.235 % |
805.27/805.24 c | 1829948 | 2557 10357 29127 | 18488 18594 38 | 0.273 % |
806.07/806.03 c | 1831996 | 2557 10357 29127 | 2147483647 18783 41 | 0.273 % |
806.97/807.00 c | 1836094 | 2557 10357 29127 | 2147483647 22881 39 | 0.273 % |
809.17/809.14 c | 1844289 | 2557 10357 29127 | 26787 25393 40 | 0.275 % |
809.37/809.38 c | 1844802 | 2557 10357 29127 | 26787 25906 40 | 0.274 % |
809.57/809.56 c | 1845315 | 2557 10357 29127 | 26787 26419 40 | 0.273 % |
810.27/810.23 c | 1846340 | 2557 10357 29127 | 26787 27444 41 | 0.273 % |
810.47/810.45 c | 1846852 | 2557 10357 29127 | 26787 21757 38 | 0.274 % |
810.67/810.64 c | 1847364 | 2557 10357 29127 | 26787 22269 38 | 0.274 % |
810.97/810.98 c | 1848388 | 2557 10357 29127 | 26787 23293 38 | 0.274 % |
812.37/812.32 c | 1850437 | 2557 10357 29127 | 24906 25342 39 | 0.273 % |
812.67/812.65 c | 1850950 | 2557 10357 29127 | 24906 21337 37 | 0.273 % |
812.87/812.84 c | 1851463 | 2557 10357 29127 | 24906 21850 38 | 0.273 % |
813.27/813.23 c | 1852487 | 2557 10357 29127 | 24906 22874 38 | 0.273 % |
813.47/813.42 c | 1853000 | 2557 10357 29127 | 24906 23387 38 | 0.273 % |
813.57/813.54 c | 1853514 | 2557 10357 29127 | 24906 23901 38 | 0.274 % |
813.97/813.92 c | 1854538 | 2557 10357 29127 | 24906 24925 38 | 0.273 % |
815.27/815.24 c | 1856587 | 2557 10357 29127 | 24906 22792 38 | 0.274 % |
816.17/816.22 c | 1860684 | 2557 10357 29127 | 26205 26889 38 | 0.274 % |
816.37/816.38 c | 1861198 | 2557 10357 29127 | 26205 22367 35 | 0.274 % |
816.57/816.60 c | 1861711 | 2557 10357 29127 | 26205 22880 35 | 0.274 % |
817.17/817.16 c | 1862735 | 2557 10357 29127 | 26205 23904 35 | 0.274 % |
817.47/817.44 c | 1863249 | 2557 10357 29127 | 26205 24418 36 | 0.274 % |
817.67/817.68 c | 1863761 | 2557 10357 29127 | 26205 24930 36 | 0.274 % |
818.37/818.35 c | 1864785 | 2557 10357 29127 | 26205 25954 36 | 0.273 % |
819.27/819.30 c | 1866833 | 2557 10357 29127 | 26205 23482 34 | 0.274 % |
819.47/819.48 c | 1867345 | 2557 10357 29127 | 26205 23994 34 | 0.273 % |
819.67/819.68 c | 1867858 | 2557 10357 29127 | 26205 24507 34 | 0.273 % |
819.97/820.01 c | 1868882 | 2557 10357 29127 | 26205 25531 34 | 0.273 % |
820.17/820.16 c | 1869396 | 2557 10357 29127 | 26205 26045 34 | 0.273 % |
820.37/820.35 c | 1869908 | 2557 10357 29127 | 26205 26557 34 | 0.273 % |
820.97/820.92 c | 1870932 | 2557 10357 29127 | 22338 23270 32 | 0.273 % |
821.67/821.63 c | 1872980 | 2557 10357 29127 | 22338 21717 31 | 0.274 % |
823.37/823.37 c | 1877076 | 2557 10357 29127 | 22338 22521 34 | 0.273 % |
826.07/826.07 c | 1885269 | 2557 10357 29127 | 22326 19481 40 | 0.274 % |
831.87/831.84 c | 1901654 | 2557 10357 29127 | 21149 19015 34 | 0.273 % |
854.37/854.33 c | 1934424 | 2557 10357 29127 | 29535 27512 38 | 0.274 % |
854.47/854.48 c | 1934937 | 2557 10357 29127 | 29535 28025 38 | 0.274 % |
854.77/854.73 c | 1935449 | 2557 10357 29127 | 29535 28537 38 | 0.273 % |
855.17/855.18 c | 1936474 | 2557 10357 29127 | 29535 29562 39 | 0.273 % |
855.37/855.38 c | 1936986 | 2557 10357 29127 | 29535 24159 37 | 0.273 % |
855.67/855.63 c | 1937498 | 2557 10357 29127 | 29535 24671 37 | 0.273 % |
855.97/855.95 c | 1938522 | 2557 10357 29127 | 29535 25695 38 | 0.273 % |
856.47/856.46 c | 1940570 | 2557 10357 29127 | 27176 27743 39 | 0.273 % |
856.67/856.63 c | 1941082 | 2557 10357 29127 | 27176 22801 37 | 0.274 % |
856.77/856.76 c | 1941596 | 2557 10357 29127 | 27176 23315 38 | 0.274 % |
857.07/857.03 c | 1942620 | 2557 10357 29127 | 27176 24339 39 | 0.273 % |
857.17/857.16 c | 1943133 | 2557 10357 29127 | 27176 24852 38 | 0.273 % |
857.27/857.29 c | 1943647 | 2557 10357 29127 | 27176 25366 39 | 0.274 % |
857.67/857.70 c | 1944672 | 2557 10357 29127 | 27176 26391 39 | 0.273 % |
858.77/858.73 c | 1946723 | 2557 10357 29127 | 27176 23128 39 | 0.274 % |
860.57/860.53 c | 1950820 | 2557 10357 29127 | 26406 27225 39 | 0.274 % |
860.77/860.79 c | 1951332 | 2557 10357 29127 | 26406 22594 39 | 0.274 % |
861.07/861.03 c | 1951844 | 2557 10357 29127 | 26406 23106 40 | 0.274 % |
861.47/861.50 c | 1952869 | 2557 10357 29127 | 26406 24131 40 | 0.274 % |
861.67/861.68 c | 1953381 | 2557 10357 29127 | 26406 24643 40 | 0.274 % |
861.97/861.92 c | 1953893 | 2557 10357 29127 | 26406 25155 40 | 0.274 % |
862.37/862.38 c | 1954917 | 2557 10357 29127 | 26406 26179 40 | 0.273 % |
863.07/863.11 c | 1956965 | 2557 10357 29127 | 26406 23256 41 | 0.273 % |
863.17/863.21 c | 1957478 | 2557 10357 29127 | 26406 23769 41 | 0.273 % |
863.47/863.46 c | 1957991 | 2557 10357 29127 | 26406 24282 41 | 0.273 % |
863.77/863.80 c | 1959017 | 2557 10357 29127 | 26406 25308 41 | 0.273 % |
863.87/863.89 c | 1959529 | 2557 10357 29127 | 26406 25820 41 | 0.274 % |
863.97/864.00 c | 1960042 | 2557 10357 29127 | 26293 26333 41 | 0.274 % |
864.17/864.18 c | 1961066 | 2557 10357 29127 | 26293 22752 37 | 0.273 % |
864.77/864.74 c | 1963114 | 2557 10357 29127 | 26293 24800 39 | 0.274 % |
865.27/865.27 c | 1967211 | 2557 10357 29127 | 26293 24679 35 | 0.273 % |
868.97/868.96 c | 1975405 | 2557 10357 29127 | 23621 22764 36 | 0.273 % |
869.27/869.22 c | 1975919 | 2557 10357 29127 | 23621 23278 36 | 0.273 % |
869.57/869.53 c | 1976431 | 2557 10357 29127 | 23621 23790 36 | 0.274 % |
869.97/869.98 c | 1977455 | 2557 10357 29127 | 23621 21905 36 | 0.274 % |
870.17/870.15 c | 1977968 | 2557 10357 29127 | 23621 22418 36 | 0.274 % |
870.37/870.38 c | 1978481 | 2557 10357 29127 | 23621 22931 36 | 0.274 % |
870.67/870.68 c | 1979507 | 2557 10357 29127 | 23621 23957 36 | 0.273 % |
871.07/871.09 c | 1981555 | 2557 10357 29127 | 21547 20530 35 | 0.274 % |
871.17/871.14 c | 1982069 | 2557 10357 29127 | 21547 21044 35 | 0.274 % |
871.27/871.26 c | 1982581 | 2557 10357 29127 | 21547 21556 35 | 0.274 % |
871.47/871.47 c | 1983606 | 2557 10357 29127 | 21547 20122 37 | 0.273 % |
871.57/871.53 c | 1984118 | 2557 10357 29127 | 21547 20634 36 | 0.273 % |
871.57/871.60 c | 1984630 | 2557 10357 29127 | 21547 21146 36 | 0.273 % |
871.97/871.93 c | 1985654 | 2557 10357 29127 | 21547 22170 37 | 0.273 % |
872.97/872.99 c | 1987702 | 2557 10357 29127 | 21547 21681 35 | 0.274 % |
874.68/874.69 c | 1991799 | 2557 10357 29127 | 21673 20742 35 | 0.274 % |
874.97/875.00 c | 1992312 | 2557 10357 29127 | 21673 21255 35 | 0.273 % |
875.17/875.17 c | 1992825 | 2557 10357 29127 | 21673 21768 35 | 0.273 % |
875.57/875.56 c | 1993850 | 2557 10357 29127 | 21673 20325 35 | 0.274 % |
875.87/875.84 c | 1994362 | 2557 10357 29127 | 21673 20837 35 | 0.274 % |
876.07/876.08 c | 1994874 | 2557 10357 29127 | 21673 21349 35 | 0.274 % |
876.57/876.55 c | 1995898 | 2557 10357 29127 | 21673 20103 34 | 0.273 % |
877.27/877.31 c | 1997946 | 2557 10357 29127 | 21673 22151 34 | 0.273 % |
877.47/877.48 c | 1998458 | 2557 10357 29127 | 21673 20448 34 | 0.273 % |
877.77/877.74 c | 1998971 | 2557 10357 29127 | 21673 20961 34 | 0.273 % |
878.07/878.04 c | 1999996 | 2557 10357 29127 | 21673 21986 34 | 0.274 % |
878.17/878.16 c | 2000509 | 2557 10357 29127 | 2147483647 20301 32 | 0.273 % |
878.27/878.27 c | 2001021 | 2557 10357 29127 | 2147483647 20813 33 | 0.274 % |
878.47/878.43 c | 2002048 | 2557 10357 29127 | 2147483647 21840 33 | 0.274 % |
878.87/878.89 c | 2004098 | 2557 10357 29127 | 2147483647 23890 35 | 0.273 % |
879.77/879.75 c | 2008194 | 2557 10357 29127 | 2147483647 27986 35 | 0.273 % |
882.07/882.10 c | 2016386 | 2557 10357 29127 | 29794 30278 31 | 0.273 % |
889.07/889.07 c | 2032770 | 2557 10357 29127 | 23476 20083 38 | 0.274 % |
889.17/889.21 c | 2033283 | 2557 10357 29127 | 23476 20596 37 | 0.273 % |
889.37/889.36 c | 2033796 | 2557 10357 29127 | 23476 21109 37 | 0.273 % |
889.67/889.67 c | 2034821 | 2557 10357 29127 | 23476 22134 38 | 0.273 % |
889.77/889.79 c | 2035333 | 2557 10357 29127 | 23476 22646 38 | 0.274 % |
890.08/890.03 c | 2035845 | 2557 10357 29127 | 23476 23158 39 | 0.274 % |
890.47/890.41 c | 2036870 | 2557 10357 29127 | 23476 24183 39 | 0.273 % |
891.18/891.13 c | 2038919 | 2557 10357 29127 | 23476 21613 40 | 0.273 % |
891.37/891.34 c | 2039432 | 2557 10357 29127 | 23476 22126 40 | 0.273 % |
891.57/891.56 c | 2039944 | 2557 10357 29127 | 23476 22638 40 | 0.273 % |
891.97/891.97 c | 2040969 | 2557 10357 29127 | 22694 19839 39 | 0.273 % |
892.28/892.24 c | 2041483 | 2557 10357 29127 | 22694 20353 40 | 0.273 % |
892.37/892.33 c | 2041995 | 2557 10357 29127 | 22694 20865 40 | 0.273 % |
892.57/892.59 c | 2043019 | 2557 10357 29127 | 22694 21889 40 | 0.273 % |
893.07/893.10 c | 2045067 | 2556 10352 29116 | 22694 23934 41 | 0.313 % |
894.17/894.11 c | 2049164 | 2556 10352 29116 | 22694 21189 43 | 0.313 % |
894.27/894.27 c | 2049678 | 2556 10352 29116 | 22694 21703 43 | 0.313 % |
894.37/894.41 c | 2050190 | 2556 10352 29116 | 22025 22215 43 | 0.313 % |
894.97/895.01 c | 2051214 | 2556 10352 29116 | 22025 19840 44 | 0.313 % |
895.27/895.21 c | 2051728 | 2556 10352 29116 | 22025 20354 44 | 0.312 % |
895.37/895.40 c | 2052240 | 2556 10352 29116 | 22025 20866 43 | 0.312 % |
895.87/895.90 c | 2053265 | 2556 10352 29116 | 22025 21891 44 | 0.312 % |
896.77/896.72 c | 2055314 | 2556 10352 29116 | 22025 21217 42 | 0.312 % |
896.97/896.96 c | 2055826 | 2556 10352 29116 | 22025 21729 43 | 0.313 % |
897.07/897.06 c | 2056339 | 2556 10352 29116 | 22025 22242 42 | 0.312 % |
897.37/897.36 c | 2057365 | 2556 10352 29116 | 22025 20814 42 | 0.312 % |
897.47/897.47 c | 2057877 | 2556 10352 29116 | 22025 21326 42 | 0.312 % |
897.67/897.62 c | 2058389 | 2556 10352 29116 | 22025 21838 42 | 0.312 % |
897.87/897.88 c | 2059414 | 2556 10352 29116 | 22025 22863 42 | 0.313 % |
898.57/898.52 c | 2061463 | 2556 10352 29116 | 20938 19968 39 | 0.313 % |
899.77/899.72 c | 2065560 | 2556 10352 29116 | 20938 21597 35 | 0.313 % |
901.57/901.52 c | 2073753 | 2556 10352 29116 | 20035 19784 39 | 0.313 % |
901.67/901.61 c | 2074265 | 2556 10352 29116 | 20035 20296 39 | 0.312 % |
901.77/901.78 c | 2074778 | 2556 10352 29116 | 20035 16991 39 | 0.313 % |
902.27/902.23 c | 2075804 | 2556 10352 29116 | 20035 18017 40 | 0.312 % |
902.37/902.34 c | 2076316 | 2556 10352 29116 | 20035 18529 40 | 0.313 % |
902.57/902.54 c | 2076829 | 2556 10352 29116 | 20035 19042 40 | 0.313 % |
902.87/902.81 c | 2077853 | 2556 10352 29116 | 20035 20066 39 | 0.313 % |
903.47/903.49 c | 2079901 | 2556 10352 29116 | 20035 19138 42 | 0.313 % |
903.67/903.71 c | 2080413 | 2556 10352 29116 | 19237 19650 42 | 0.313 % |
903.87/903.89 c | 2080926 | 2556 10352 29116 | 19237 17405 42 | 0.313 % |
904.07/904.04 c | 2081950 | 2556 10352 29116 | 19237 18429 41 | 0.312 % |
904.38/904.33 c | 2082463 | 2556 10352 29116 | 19237 18942 42 | 0.312 % |
904.47/904.45 c | 2082975 | 2556 10352 29116 | 19237 19454 42 | 0.313 % |
904.77/904.73 c | 2084000 | 2556 10352 29116 | 19237 18274 40 | 0.312 % |
905.07/905.06 c | 2086049 | 2556 10352 29116 | 19237 20323 42 | 0.313 % |
907.17/907.18 c | 2090145 | 2556 10352 29116 | 19376 19520 44 | 0.313 % |
907.37/907.36 c | 2090658 | 2556 10352 29116 | 19376 17692 43 | 0.313 % |
907.57/907.57 c | 2091170 | 2556 10352 29116 | 19376 18204 43 | 0.313 % |
907.77/907.77 c | 2092194 | 2556 10352 29116 | 19376 19228 43 | 0.312 % |
907.97/907.94 c | 2092706 | 2556 10352 29116 | 19376 19740 43 | 0.312 % |
908.07/908.11 c | 2093219 | 2556 10352 29116 | 19376 18279 42 | 0.312 % |
908.47/908.49 c | 2094243 | 2556 10352 29116 | 19376 19303 42 | 0.312 % |
909.17/909.12 c | 2096294 | 2556 10352 29116 | 19376 19336 42 | 0.313 % |
909.37/909.33 c | 2096807 | 2556 10352 29116 | 19376 19849 41 | 0.312 % |
909.47/909.50 c | 2097319 | 2556 10352 29116 | 19376 18377 41 | 0.313 % |
909.97/909.94 c | 2098345 | 2556 10352 29116 | 19376 19403 42 | 0.313 % |
910.07/910.09 c | 2098857 | 2556 10352 29116 | 19376 17975 41 | 0.313 % |
910.27/910.27 c | 2099369 | 2556 10352 29116 | 19376 18487 40 | 0.313 % |
910.67/910.67 c | 2100393 | 2556 10352 29116 | 2147483647 19511 41 | 0.312 % |
911.27/911.23 c | 2102441 | 2556 10352 29116 | 2147483647 21559 42 | 0.312 % |
912.37/912.38 c | 2106537 | 2556 10352 29116 | 2147483647 25655 41 | 0.312 % |
914.28/914.27 c | 2114730 | 2556 10352 29116 | 29118 26366 40 | 0.313 % |
919.17/919.20 c | 2131114 | 2556 10352 29116 | 22942 24055 36 | 0.313 % |
935.68/935.67 c | 2163883 | 2556 10352 29116 | 18505 18991 39 | 0.313 % |
960.58/960.52 c | 2229421 | 2556 10352 29116 | 15454 14235 42 | 0.313 % |
1012.87/1012.88 c | 2360493 | 2556 10352 29116 | 15458 15951 36 | 0.312 % |
1155.08/1155.11 c | 2622637 | 2556 10352 29116 | 21066 20551 37 | 0.312 % |
1155.48/1155.48 c | 2623150 | 2556 10352 29116 | 21066 21064 37 | 0.312 % |
1155.68/1155.63 c | 2623662 | 2556 10352 29116 | 21066 21576 38 | 0.312 % |
1155.98/1155.93 c | 2624686 | 2556 10352 29116 | 21066 19789 37 | 0.312 % |
1156.18/1156.17 c | 2625201 | 2556 10352 29116 | 21066 20304 37 | 0.312 % |
1156.38/1156.36 c | 2625714 | 2556 10352 29116 | 21066 20817 37 | 0.312 % |
1156.88/1156.82 c | 2626738 | 2556 10352 29116 | 21066 19309 36 | 0.312 % |
1157.58/1157.60 c | 2628787 | 2556 10352 29116 | 21066 21358 36 | 0.313 % |
1157.88/1157.85 c | 2629299 | 2556 10352 29116 | 21066 19621 35 | 0.312 % |
1158.08/1158.09 c | 2629813 | 2556 10352 29116 | 21066 20135 35 | 0.312 % |
1158.38/1158.34 c | 2630838 | 2556 10352 29116 | 20322 21160 35 | 0.312 % |
1158.58/1158.56 c | 2631350 | 2556 10352 29116 | 20322 19556 35 | 0.312 % |
1158.68/1158.69 c | 2631863 | 2556 10352 29116 | 20322 20069 35 | 0.312 % |
1159.08/1159.05 c | 2632889 | 2556 10352 29116 | 20322 19006 34 | 0.312 % |
1159.98/1159.98 c | 2634938 | 2556 10352 29116 | 20322 21055 36 | 0.312 % |
1161.58/1161.53 c | 2639035 | 2556 10352 29116 | 20322 20939 36 | 0.312 % |
1161.68/1161.68 c | 2639547 | 2556 10352 29116 | 20322 19358 35 | 0.313 % |
1161.88/1161.81 c | 2640060 | 2556 10352 29116 | 2147483647 19871 35 | 0.312 % |
1161.98/1161.99 c | 2641084 | 2556 10352 29116 | 2147483647 20895 36 | 0.313 % |
1162.08/1162.06 c | 2641596 | 2556 10352 29116 | 2147483647 21407 35 | 0.313 % |
1162.18/1162.16 c | 2642110 | 2556 10352 29116 | 2147483647 21921 36 | 0.312 % |
1162.38/1162.36 c | 2643135 | 2556 10352 29116 | 2147483647 22946 36 | 0.313 % |
1163.38/1163.35 c | 2645184 | 2556 10352 29116 | 2147483647 24995 37 | 0.312 % |
1163.68/1163.61 c | 2645696 | 2556 10352 29116 | 2147483647 25507 37 | 0.313 % |
1163.99/1163.94 c | 2646209 | 2556 10352 29116 | 2147483647 26020 37 | 0.312 % |
1164.38/1164.39 c | 2647233 | 2556 10352 29116 | 2147483647 27044 37 | 0.312 % |
1164.68/1164.68 c | 2647747 | 2556 10352 29116 | 2147483647 27558 37 | 0.313 % |
1164.78/1164.76 c | 2648260 | 2556 10352 29116 | 2147483647 28071 37 | 0.312 % |
1165.28/1165.27 c | 2649285 | 2556 10352 29116 | 2147483647 29096 37 | 0.312 % |
1166.38/1166.38 c | 2651334 | 2556 10352 29116 | 29811 26847 37 | 0.312 % |
1167.88/1167.83 c | 2655430 | 2556 10352 29116 | 29811 30943 38 | 0.312 % |
1170.18/1170.15 c | 2663622 | 2556 10352 29116 | 25840 25049 31 | 0.312 % |
1170.28/1170.28 c | 2664135 | 2556 10352 29116 | 25840 25562 32 | 0.312 % |
1170.48/1170.42 c | 2664647 | 2556 10352 29116 | 25840 26074 32 | 0.312 % |
1170.68/1170.70 c | 2665671 | 2556 10352 29116 | 25840 22662 31 | 0.312 % |
1170.88/1170.82 c | 2666183 | 2556 10352 29116 | 25840 23174 31 | 0.312 % |
1170.98/1170.98 c | 2666695 | 2556 10352 29116 | 25840 23686 31 | 0.312 % |
1171.28/1171.26 c | 2667719 | 2556 10352 29116 | 25840 24710 32 | 0.312 % |
1172.08/1172.02 c | 2669767 | 2556 10352 29116 | 25840 26758 33 | 0.312 % |
1172.18/1172.15 c | 2670281 | 2556 10352 29116 | 22605 22886 31 | 0.312 % |
1172.28/1172.29 c | 2670793 | 2556 10352 29116 | 22605 19835 30 | 0.312 % |
1172.68/1172.64 c | 2671817 | 2556 10352 29116 | 22605 20859 30 | 0.312 % |
1172.79/1172.77 c | 2672329 | 2556 10352 29116 | 22605 21371 31 | 0.312 % |
1172.98/1172.95 c | 2672842 | 2556 10352 29116 | 22605 21884 31 | 0.312 % |
1173.38/1173.35 c | 2673866 | 2556 10352 29116 | 22605 22908 32 | 0.313 % |
1174.28/1174.28 c | 2675914 | 2556 10352 29116 | 22605 22074 33 | 0.312 % |
1175.78/1175.79 c | 2680012 | 2556 10352 29116 | 20692 20701 35 | 0.312 % |
1175.88/1175.88 c | 2680524 | 2556 10352 29116 | 20692 18787 34 | 0.313 % |
1175.98/1175.98 c | 2681037 | 2556 10352 29116 | 20692 19300 34 | 0.313 % |
1176.18/1176.18 c | 2682063 | 2556 10352 29116 | 20692 20326 35 | 0.313 % |
1176.28/1176.27 c | 2682575 | 2556 10352 29116 | 20692 20838 35 | 0.313 % |
1176.38/1176.36 c | 2683087 | 2556 10352 29116 | 20692 18520 33 | 0.312 % |
1176.68/1176.61 c | 2684111 | 2556 10352 29116 | 20692 19544 34 | 0.313 % |
1176.98/1176.93 c | 2686161 | 2556 10352 29116 | 20692 18853 32 | 0.312 % |
1177.19/1177.12 c | 2686673 | 2556 10352 29116 | 20692 19365 33 | 0.312 % |
1177.38/1177.31 c | 2687185 | 2556 10352 29116 | 20692 19877 33 | 0.312 % |
1177.68/1177.70 c | 2688209 | 2556 10352 29116 | 20692 20901 34 | 0.312 % |
1177.98/1177.99 c | 2688723 | 2556 10352 29116 | 20692 18871 33 | 0.312 % |
1178.19/1178.17 c | 2689236 | 2556 10352 29116 | 20692 19384 33 | 0.313 % |
1178.59/1178.56 c | 2690260 | 2556 10352 29116 | 20148 20408 34 | 0.313 % |
1179.49/1179.42 c | 2692308 | 2556 10352 29116 | 20148 20186 34 | 0.312 % |
1180.79/1180.80 c | 2696404 | 2556 10352 29116 | 20148 20036 35 | 0.313 % |
1183.79/1183.73 c | 2704596 | 2556 10352 29116 | 2147483647 23910 34 | 0.312 % |
1188.89/1188.88 c | 2720982 | 2556 10352 29116 | 26173 27154 45 | 0.313 % |
1189.09/1189.03 c | 2721495 | 2556 10352 29116 | 26173 20955 49 | 0.313 % |
1189.19/1189.19 c | 2722008 | 2556 10352 29116 | 26173 21468 49 | 0.312 % |
1189.39/1189.38 c | 2723033 | 2556 10352 29116 | 26173 22493 49 | 0.313 % |
1189.49/1189.50 c | 2723545 | 2556 10352 29116 | 26173 23005 49 | 0.312 % |
1189.69/1189.63 c | 2724057 | 2556 10352 29116 | 26173 23517 48 | 0.312 % |
1189.89/1189.85 c | 2725083 | 2556 10352 29116 | 26173 24543 49 | 0.312 % |
1190.29/1190.30 c | 2727132 | 2556 10352 29116 | 26173 26592 47 | 0.313 % |
1190.49/1190.48 c | 2727644 | 2556 10352 29116 | 26173 20694 44 | 0.313 % |
1190.69/1190.64 c | 2728156 | 2556 10352 29116 | 26173 21206 44 | 0.312 % |
1191.09/1191.06 c | 2729180 | 2556 10352 29116 | 26173 22230 44 | 0.312 % |
1191.29/1191.24 c | 2729693 | 2556 10352 29116 | 26173 22743 44 | 0.312 % |
1191.49/1191.49 c | 2730205 | 2556 10352 29116 | 23050 23255 45 | 0.312 % |
1191.79/1191.81 c | 2731229 | 2556 10352 29116 | 23050 19664 39 | 0.313 % |
1192.29/1192.22 c | 2733277 | 2555 10347 29105 | 23050 21708 41 | 0.352 % |
1193.59/1193.61 c | 2737373 | 2555 10347 29105 | 23050 22191 40 | 0.352 % |
1193.89/1193.81 c | 2737885 | 2555 10347 29105 | 23050 22703 40 | 0.352 % |
1194.09/1194.08 c | 2738399 | 2555 10347 29105 | 23050 23217 41 | 0.351 % |
1194.39/1194.37 c | 2739424 | 2555 10347 29105 | 23050 20946 40 | 0.351 % |
1194.59/1194.54 c | 2739937 | 2555 10347 29105 | 23050 21459 40 | 0.351 % |
1194.79/1194.72 c | 2740449 | 2555 10347 29105 | 21524 21971 40 | 0.351 % |
1195.39/1195.38 c | 2741473 | 2555 10347 29105 | 21524 19993 39 | 0.351 % |
1195.79/1195.81 c | 2743522 | 2555 10347 29105 | 21524 19844 38 | 0.351 % |
1195.89/1195.88 c | 2744034 | 2555 10347 29105 | 21524 20356 39 | 0.351 % |
1196.09/1196.05 c | 2744548 | 2555 10347 29105 | 21524 20870 39 | 0.352 % |
1196.39/1196.33 c | 2745572 | 2555 10347 29105 | 21524 21894 40 | 0.352 % |
1196.49/1196.46 c | 2746084 | 2555 10347 29105 | 21524 19936 39 | 0.352 % |
1196.59/1196.53 c | 2746597 | 2555 10347 29105 | 21524 20449 39 | 0.352 % |
1196.69/1196.67 c | 2747622 | 2555 10347 29105 | 21524 21474 38 | 0.352 % |
1197.39/1197.32 c | 2749671 | 2555 10347 29105 | 21524 20970 37 | 0.351 % |
1199.39/1199.32 c | 2753770 | 2555 10347 29105 | 21301 20609 34 | 0.352 % |
1200.09/1200.02 HOME/SatELiteGTI: line 36: 8949 Terminated $MS $TMP.cnf $TMP.result
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1820957-1242491013/watcher-1820957-1242491013 -o /tmp/evaluation-result-1820957-1242491013/solver-1820957-1242491013 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820957-1242491013.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 2/96 8943
/proc/meminfo: memFree=998508/2074464 swapFree=1950760/1959888
[pid=8943] ppid=8941 vsize=2412 CPUtime=0
/proc/8943/stat : 8943 (SatELiteGTI) S 8941 8943 11066 0 -1 4194304 366 647 0 0 0 0 0 0 18 0 1 0 1013599604 2469888 276 4294967295 134512640 135169312 3217141600 3217140136 3085405934 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/8943/statm: 603 276 235 161 0 42 0
[pid=8947] ppid=8943 vsize=952 CPUtime=0.01
/proc/8947/stat : 8947 (SatELite_releas) R 8943 8943 11066 0 -1 4202496 136 0 0 0 0 1 0 0 18 0 1 0 1013599605 974848 72 4294967295 134512640 135223648 3215756800 3215755252 134719062 0 0 0 3 0 0 0 17 1 0 0 0
/proc/8947/statm: 238 72 46 174 0 63 0
[startup+0.124558 s]
/proc/loadavg: 1.00 1.00 1.00 2/96 8943
/proc/meminfo: memFree=998508/2074464 swapFree=1950760/1959888
[pid=8943] ppid=8941 vsize=2416 CPUtime=0.09
/proc/8943/stat : 8943 (SatELiteGTI) S 8941 8943 11066 0 -1 4194304 386 1423 0 0 0 0 8 1 19 0 1 0 1013599604 2473984 278 4294967295 134512640 135169312 3217141600 3217137816 3085405934 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/8943/statm: 604 278 235 161 0 43 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2416
[startup+0.214554 s]
/proc/loadavg: 1.00 1.00 1.00 2/96 8943
/proc/meminfo: memFree=998508/2074464 swapFree=1950760/1959888
[pid=8943] ppid=8941 vsize=2416 CPUtime=0.09
/proc/8943/stat : 8943 (SatELiteGTI) S 8941 8943 11066 0 -1 4194304 386 1423 0 0 0 0 8 1 19 0 1 0 1013599604 2473984 278 4294967295 134512640 135169312 3217141600 3217137816 3085405934 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/8943/statm: 604 278 235 161 0 43 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2416
[startup+0.314548 s]
/proc/loadavg: 1.00 1.00 1.00 2/96 8943
/proc/meminfo: memFree=998508/2074464 swapFree=1950760/1959888
[pid=8943] ppid=8941 vsize=2416 CPUtime=0.09
/proc/8943/stat : 8943 (SatELiteGTI) S 8941 8943 11066 0 -1 4194304 386 1423 0 0 0 0 8 1 19 0 1 0 1013599604 2473984 278 4294967295 134512640 135169312 3217141600 3217137816 3085405934 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/8943/statm: 604 278 235 161 0 43 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2416
[startup+0.714526 s]
/proc/loadavg: 1.00 1.00 1.00 2/96 8943
/proc/meminfo: memFree=998508/2074464 swapFree=1950760/1959888
[pid=8943] ppid=8941 vsize=2416 CPUtime=0.09
/proc/8943/stat : 8943 (SatELiteGTI) S 8941 8943 11066 0 -1 4194304 386 1423 0 0 0 0 8 1 19 0 1 0 1013599604 2473984 278 4294967295 134512640 135169312 3217141600 3217137816 3085405934 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/8943/statm: 604 278 235 161 0 43 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2416
[startup+1.51449 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 8949
/proc/meminfo: memFree=996276/2074464 swapFree=1950760/1959888
[pid=8943] ppid=8941 vsize=2416 CPUtime=0.09
/proc/8943/stat : 8943 (SatELiteGTI) S 8941 8943 11066 0 -1 4194304 386 1423 0 0 0 0 8 1 19 0 1 0 1013599604 2473984 278 4294967295 134512640 135169312 3217141600 3217137816 3085405934 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/8943/statm: 604 278 235 161 0 43 0
[pid=8949] ppid=8943 vsize=3936 CPUtime=1.43
/proc/8949/stat : 8949 (minisat_static) R 8943 8943 11066 0 -1 4202496 710 0 0 0 143 0 0 0 25 0 1 0 1013599613 4030464 644 4294967295 134512640 135216591 3220691744 3220689936 134529023 0 0 0 3 0 0 0 17 2 0 0 0
/proc/8949/statm: 984 644 75 172 0 811 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 6352
[startup+3.11439 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 8949
/proc/meminfo: memFree=996276/2074464 swapFree=1950760/1959888
[pid=8943] ppid=8941 vsize=2416 CPUtime=0.09
/proc/8943/stat : 8943 (SatELiteGTI) S 8941 8943 11066 0 -1 4194304 386 1423 0 0 0 0 8 1 19 0 1 0 1013599604 2473984 278 4294967295 134512640 135169312 3217141600 3217137816 3085405934 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/8943/statm: 604 278 235 161 0 43 0
[pid=8949] ppid=8943 vsize=4596 CPUtime=3.03
/proc/8949/stat : 8949 (minisat_static) R 8943 8943 11066 0 -1 4202496 890 0 0 0 303 0 0 0 25 0 1 0 1013599613 4706304 824 4294967295 134512640 135216591 3220691744 3220689648 134532832 0 0 0 3 0 0 0 17 2 0 0 0
/proc/8949/statm: 1149 824 75 172 0 976 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 7012
[startup+6.31422 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 8949
/proc/meminfo: memFree=992804/2074464 swapFree=1950760/1959888
[pid=8943] ppid=8941 vsize=2416 CPUtime=0.09
/proc/8943/stat : 8943 (SatELiteGTI) S 8941 8943 11066 0 -1 4194304 386 1423 0 0 0 0 8 1 19 0 1 0 1013599604 2473984 278 4294967295 134512640 135169312 3217141600 3217137816 3085405934 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/8943/statm: 604 278 235 161 0 43 0
[pid=8949] ppid=8943 vsize=7892 CPUtime=6.23
/proc/8949/stat : 8949 (minisat_static) R 8943 8943 11066 0 -1 4202496 1718 0 0 0 622 1 0 0 25 0 1 0 1013599613 8081408 1652 4294967295 134512640 135216591 3220691744 3220689712 134538037 0 0 0 3 0 0 0 17 2 0 0 0
/proc/8949/statm: 1973 1652 75 172 0 1800 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 10308
[startup+12.7139 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 8949
/proc/meminfo: memFree=989404/2074464 swapFree=1950760/1959888
[pid=8943] ppid=8941 vsize=2416 CPUtime=0.09
/proc/8943/stat : 8943 (SatELiteGTI) S 8941 8943 11066 0 -1 4194304 386 1423 0 0 0 0 8 1 19 0 1 0 1013599604 2473984 278 4294967295 134512640 135169312 3217141600 3217137816 3085405934 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/8943/statm: 604 278 235 161 0 43 0
[pid=8949] ppid=8943 vsize=10960 CPUtime=12.63
/proc/8949/stat : 8949 (minisat_static) R 8943 8943 11066 0 -1 4202496 2481 0 0 0 1262 1 0 0 25 0 1 0 1013599613 11223040 2415 4294967295 134512640 135216591 3220691744 3220689936 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/8949/statm: 2740 2415 75 172 0 2567 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 13376
[startup+25.5132 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 9132
/proc/meminfo: memFree=988788/2074464 swapFree=1950760/1959888
[pid=8943] ppid=8941 vsize=2416 CPUtime=0.09
/proc/8943/stat : 8943 (SatELiteGTI) S 8941 8943 11066 0 -1 4194304 386 1423 0 0 0 0 8 1 19 0 1 0 1013599604 2473984 278 4294967295 134512640 135169312 3217141600 3217137816 3085405934 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/8943/statm: 604 278 235 161 0 43 0
[pid=8949] ppid=8943 vsize=11096 CPUtime=25.43
/proc/8949/stat : 8949 (minisat_static) R 8943 8943 11066 0 -1 4202496 2492 0 0 0 2541 2 0 0 25 0 1 0 1013599613 11362304 2426 4294967295 134512640 135216591 3220691744 3220689936 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/8949/statm: 2774 2426 75 172 0 2601 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 13512
[startup+51.1217 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 9136
/proc/meminfo: memFree=989144/2074464 swapFree=1950760/1959888
[pid=8943] ppid=8941 vsize=2416 CPUtime=0.09
/proc/8943/stat : 8943 (SatELiteGTI) S 8941 8943 11066 0 -1 4194304 386 1423 0 0 0 0 8 1 19 0 1 0 1013599604 2473984 278 4294967295 134512640 135169312 3217141600 3217137816 3085405934 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/8943/statm: 604 278 235 161 0 43 0
[pid=8949] ppid=8943 vsize=11096 CPUtime=51.04
/proc/8949/stat : 8949 (minisat_static) R 8943 8943 11066 0 -1 4202496 2493 0 0 0 5102 2 0 0 25 0 1 0 1013599613 11362304 2427 4294967295 134512640 135216591 3220691744 3220689936 134529041 0 0 0 3 0 0 0 17 2 0 0 0
/proc/8949/statm: 2774 2427 75 172 0 2601 0
Current children cumulated CPU time (s) 51.13
Current children cumulated vsize (KiB) 13512
[startup+102.319 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 9321
/proc/meminfo: memFree=988228/2074464 swapFree=1950760/1959888
[pid=8943] ppid=8941 vsize=2416 CPUtime=0.09
/proc/8943/stat : 8943 (SatELiteGTI) S 8941 8943 11066 0 -1 4194304 386 1423 0 0 0 0 8 1 19 0 1 0 1013599604 2473984 278 4294967295 134512640 135169312 3217141600 3217137816 3085405934 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/8943/statm: 604 278 235 161 0 43 0
[pid=8949] ppid=8943 vsize=11628 CPUtime=102.24
/proc/8949/stat : 8949 (minisat_static) R 8943 8943 11066 0 -1 4202496 2621 0 0 0 10221 3 0 0 25 0 1 0 1013599613 11907072 2555 4294967295 134512640 135216591 3220691744 3220689936 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/8949/statm: 2907 2555 75 172 0 2734 0
Current children cumulated CPU time (s) 102.33
Current children cumulated vsize (KiB) 14044
[startup+162.316 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 9510
/proc/meminfo: memFree=988088/2074464 swapFree=1950760/1959888
[pid=8943] ppid=8941 vsize=2416 CPUtime=0.09
/proc/8943/stat : 8943 (SatELiteGTI) S 8941 8943 11066 0 -1 4194304 386 1423 0 0 0 0 8 1 19 0 1 0 1013599604 2473984 278 4294967295 134512640 135169312 3217141600 3217137816 3085405934 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/8943/statm: 604 278 235 161 0 43 0
[pid=8949] ppid=8943 vsize=11628 CPUtime=162.24
/proc/8949/stat : 8949 (minisat_static) R 8943 8943 11066 0 -1 4202496 2625 0 0 0 16217 7 0 0 25 0 1 0 1013599613 11907072 2559 4294967295 134512640 135216591 3220691744 3220689712 134538273 0 0 0 3 0 0 0 17 2 0 0 0
/proc/8949/statm: 2907 2559 75 172 0 2734 0
Current children cumulated CPU time (s) 162.33
Current children cumulated vsize (KiB) 14044
[startup+222.322 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 9699
/proc/meminfo: memFree=988096/2074464 swapFree=1950760/1959888
[pid=8943] ppid=8941 vsize=2416 CPUtime=0.09
/proc/8943/stat : 8943 (SatELiteGTI) S 8941 8943 11066 0 -1 4194304 386 1423 0 0 0 0 8 1 19 0 1 0 1013599604 2473984 278 4294967295 134512640 135169312 3217141600 3217137816 3085405934 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/8943/statm: 604 278 235 161 0 43 0
[pid=8949] ppid=8943 vsize=11628 CPUtime=222.25
/proc/8949/stat : 8949 (minisat_static) R 8943 8943 11066 0 -1 4202496 2625 0 0 0 22218 7 0 0 25 0 1 0 1013599613 11907072 2559 4294967295 134512640 135216591 3220691744 3220689936 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/8949/statm: 2907 2559 75 172 0 2734 0
Current children cumulated CPU time (s) 222.34
Current children cumulated vsize (KiB) 14044
[startup+282.309 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 9888
/proc/meminfo: memFree=987468/2074464 swapFree=1950760/1959888
[pid=8943] ppid=8941 vsize=2416 CPUtime=0.09
/proc/8943/stat : 8943 (SatELiteGTI) S 8941 8943 11066 0 -1 4194304 386 1423 0 0 0 0 8 1 19 0 1 0 1013599604 2473984 278 4294967295 134512640 135169312 3217141600 3217137816 3085405934 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/8943/statm: 604 278 235 161 0 43 0
[pid=8949] ppid=8943 vsize=12288 CPUtime=282.24
/proc/8949/stat : 8949 (minisat_static) R 8943 8943 11066 0 -1 4202496 2794 0 0 0 28217 7 0 0 25 0 1 0 1013599613 12582912 2728 4294967295 134512640 135216591 3220691744 3220689936 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/8949/statm: 3072 2728 75 172 0 2899 0
Current children cumulated CPU time (s) 282.33
Current children cumulated vsize (KiB) 14704
[startup+342.316 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 10074
/proc/meminfo: memFree=987328/2074464 swapFree=1950760/1959888
[pid=8943] ppid=8941 vsize=2416 CPUtime=0.09
/proc/8943/stat : 8943 (SatELiteGTI) S 8941 8943 11066 0 -1 4194304 386 1423 0 0 0 0 8 1 19 0 1 0 1013599604 2473984 278 4294967295 134512640 135169312 3217141600 3217137816 3085405934 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/8943/statm: 604 278 235 161 0 43 0
[pid=8949] ppid=8943 vsize=12288 CPUtime=342.25
/proc/8949/stat : 8949 (minisat_static) R 8943 8943 11066 0 -1 4202496 2794 0 0 0 34217 8 0 0 25 0 1 0 1013599613 12582912 2728 4294967295 134512640 135216591 3220691744 3220689936 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/8949/statm: 3072 2728 75 172 0 2899 0
Current children cumulated CPU time (s) 342.34
Current children cumulated vsize (KiB) 14704
[startup+402.312 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 10266
/proc/meminfo: memFree=983748/2074464 swapFree=1950760/1959888
[pid=8943] ppid=8941 vsize=2416 CPUtime=0.09
/proc/8943/stat : 8943 (SatELiteGTI) S 8941 8943 11066 0 -1 4194304 386 1423 0 0 0 0 8 1 19 0 1 0 1013599604 2473984 278 4294967295 134512640 135169312 3217141600 3217137816 3085405934 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/8943/statm: 604 278 235 161 0 43 0
[pid=8949] ppid=8943 vsize=16064 CPUtime=402.25
/proc/8949/stat : 8949 (minisat_static) R 8943 8943 11066 0 -1 4202496 3737 0 0 0 40212 13 0 0 25 0 1 0 1013599613 16449536 3671 4294967295 134512640 135216591 3220691744 3220689936 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/8949/statm: 4016 3671 75 172 0 3843 0
Current children cumulated CPU time (s) 402.34
################
# More data... #
################
/proc/8949/stat : 8949 (minisat_static) R 8943 8943 11066 0 -1 4202496 3747 0 0 0 58213 14 0 0 25 0 1 0 1013599613 16605184 3681 4294967295 134512640 135216591 3220691744 3220689936 134528826 0 0 0 3 0 0 0 17 2 0 0 0
/proc/8949/statm: 4054 3681 75 172 0 3881 0
Current children cumulated CPU time (s) 582.36
Current children cumulated vsize (KiB) 18632
[startup+642.309 s]
/proc/loadavg: 1.02 1.02 1.00 3/98 11019
/proc/meminfo: memFree=983600/2074464 swapFree=1950760/1959888
[pid=8943] ppid=8941 vsize=2416 CPUtime=0.09
/proc/8943/stat : 8943 (SatELiteGTI) S 8941 8943 11066 0 -1 4194304 386 1423 0 0 0 0 8 1 19 0 1 0 1013599604 2473984 278 4294967295 134512640 135169312 3217141600 3217137816 3085405934 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/8943/statm: 604 278 235 161 0 43 0
[pid=8949] ppid=8943 vsize=16216 CPUtime=642.26
/proc/8949/stat : 8949 (minisat_static) R 8943 8943 11066 0 -1 4202496 3747 0 0 0 64212 14 0 0 25 0 1 0 1013599613 16605184 3681 4294967295 134512640 135216591 3220691744 3220689936 134528948 0 0 0 3 0 0 0 17 2 0 0 0
/proc/8949/statm: 4054 3681 75 172 0 3881 0
Current children cumulated CPU time (s) 642.35
Current children cumulated vsize (KiB) 18632
[startup+702.316 s]
/proc/loadavg: 1.01 1.01 1.00 3/98 11208
/proc/meminfo: memFree=983236/2074464 swapFree=1950760/1959888
[pid=8943] ppid=8941 vsize=2416 CPUtime=0.09
/proc/8943/stat : 8943 (SatELiteGTI) S 8941 8943 11066 0 -1 4194304 386 1423 0 0 0 0 8 1 19 0 1 0 1013599604 2473984 278 4294967295 134512640 135169312 3217141600 3217137816 3085405934 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/8943/statm: 604 278 235 161 0 43 0
[pid=8949] ppid=8943 vsize=16216 CPUtime=702.27
/proc/8949/stat : 8949 (minisat_static) R 8943 8943 11066 0 -1 4202496 3747 0 0 0 70213 14 0 0 25 0 1 0 1013599613 16605184 3681 4294967295 134512640 135216591 3220691744 3220689936 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/8949/statm: 4054 3681 75 172 0 3881 0
Current children cumulated CPU time (s) 702.36
Current children cumulated vsize (KiB) 18632
[startup+762.312 s]
/proc/loadavg: 1.00 1.01 1.00 2/98 11401
/proc/meminfo: memFree=983376/2074464 swapFree=1950760/1959888
[pid=8943] ppid=8941 vsize=2416 CPUtime=0.09
/proc/8943/stat : 8943 (SatELiteGTI) S 8941 8943 11066 0 -1 4194304 386 1423 0 0 0 0 8 1 19 0 1 0 1013599604 2473984 278 4294967295 134512640 135169312 3217141600 3217137816 3085405934 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/8943/statm: 604 278 235 161 0 43 0
[pid=8949] ppid=8943 vsize=16216 CPUtime=762.27
/proc/8949/stat : 8949 (minisat_static) R 8943 8943 11066 0 -1 4202496 3747 0 0 0 76213 14 0 0 25 0 1 0 1013599613 16605184 3681 4294967295 134512640 135216591 3220691744 3220689712 134539557 0 0 0 3 0 0 0 17 2 0 0 0
/proc/8949/statm: 4054 3681 75 172 0 3881 0
Current children cumulated CPU time (s) 762.36
Current children cumulated vsize (KiB) 18632
[startup+822.319 s]
/proc/loadavg: 1.06 1.02 1.00 3/98 11590
/proc/meminfo: memFree=983220/2074464 swapFree=1950760/1959888
[pid=8943] ppid=8941 vsize=2416 CPUtime=0.09
/proc/8943/stat : 8943 (SatELiteGTI) S 8941 8943 11066 0 -1 4194304 386 1423 0 0 0 0 8 1 19 0 1 0 1013599604 2473984 278 4294967295 134512640 135169312 3217141600 3217137816 3085405934 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/8943/statm: 604 278 235 161 0 43 0
[pid=8949] ppid=8943 vsize=16216 CPUtime=822.28
/proc/8949/stat : 8949 (minisat_static) R 8943 8943 11066 0 -1 4202496 3747 0 0 0 82211 17 0 0 25 0 1 0 1013599613 16605184 3681 4294967295 134512640 135216591 3220691744 3220689936 134528948 0 0 0 3 0 0 0 17 2 0 0 0
/proc/8949/statm: 4054 3681 75 172 0 3881 0
Current children cumulated CPU time (s) 822.37
Current children cumulated vsize (KiB) 18632
[startup+882.326 s]
/proc/loadavg: 1.02 1.01 1.00 3/98 11779
/proc/meminfo: memFree=983352/2074464 swapFree=1950760/1959888
[pid=8943] ppid=8941 vsize=2416 CPUtime=0.09
/proc/8943/stat : 8943 (SatELiteGTI) S 8941 8943 11066 0 -1 4194304 386 1423 0 0 0 0 8 1 19 0 1 0 1013599604 2473984 278 4294967295 134512640 135169312 3217141600 3217137816 3085405934 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/8943/statm: 604 278 235 161 0 43 0
[pid=8949] ppid=8943 vsize=16216 CPUtime=882.29
/proc/8949/stat : 8949 (minisat_static) R 8943 8943 11066 0 -1 4202496 3747 0 0 0 88212 17 0 0 25 0 1 0 1013599613 16605184 3681 4294967295 134512640 135216591 3220691744 3220689936 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/8949/statm: 4054 3681 75 172 0 3881 0
Current children cumulated CPU time (s) 882.38
Current children cumulated vsize (KiB) 18632
[startup+942.322 s]
/proc/loadavg: 1.01 1.01 1.00 2/98 11967
/proc/meminfo: memFree=983484/2074464 swapFree=1950760/1959888
[pid=8943] ppid=8941 vsize=2416 CPUtime=0.09
/proc/8943/stat : 8943 (SatELiteGTI) S 8941 8943 11066 0 -1 4194304 386 1423 0 0 0 0 8 1 19 0 1 0 1013599604 2473984 278 4294967295 134512640 135169312 3217141600 3217137816 3085405934 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/8943/statm: 604 278 235 161 0 43 0
[pid=8949] ppid=8943 vsize=16216 CPUtime=942.29
/proc/8949/stat : 8949 (minisat_static) R 8943 8943 11066 0 -1 4202496 3747 0 0 0 94212 17 0 0 25 0 1 0 1013599613 16605184 3681 4294967295 134512640 135216591 3220691744 3220689936 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/8949/statm: 4054 3681 75 172 0 3881 0
Current children cumulated CPU time (s) 942.38
Current children cumulated vsize (KiB) 18632
[startup+1002.31 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 12153
/proc/meminfo: memFree=983500/2074464 swapFree=1950760/1959888
[pid=8943] ppid=8941 vsize=2416 CPUtime=0.09
/proc/8943/stat : 8943 (SatELiteGTI) S 8941 8943 11066 0 -1 4194304 386 1423 0 0 0 0 8 1 19 0 1 0 1013599604 2473984 278 4294967295 134512640 135169312 3217141600 3217137816 3085405934 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/8943/statm: 604 278 235 161 0 43 0
[pid=8949] ppid=8943 vsize=16216 CPUtime=1002.28
/proc/8949/stat : 8949 (minisat_static) R 8943 8943 11066 0 -1 4202496 3747 0 0 0 100211 17 0 0 25 0 1 0 1013599613 16605184 3681 4294967295 134512640 135216591 3220691744 3220689936 134528969 0 0 0 3 0 0 0 17 2 0 0 0
/proc/8949/statm: 4054 3681 75 172 0 3881 0
Current children cumulated CPU time (s) 1002.37
Current children cumulated vsize (KiB) 18632
[startup+1062.32 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 12342
/proc/meminfo: memFree=983500/2074464 swapFree=1950760/1959888
[pid=8943] ppid=8941 vsize=2416 CPUtime=0.09
/proc/8943/stat : 8943 (SatELiteGTI) S 8941 8943 11066 0 -1 4194304 386 1423 0 0 0 0 8 1 19 0 1 0 1013599604 2473984 278 4294967295 134512640 135169312 3217141600 3217137816 3085405934 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/8943/statm: 604 278 235 161 0 43 0
[pid=8949] ppid=8943 vsize=16216 CPUtime=1062.29
/proc/8949/stat : 8949 (minisat_static) R 8943 8943 11066 0 -1 4202496 3747 0 0 0 106212 17 0 0 25 0 1 0 1013599613 16605184 3681 4294967295 134512640 135216591 3220691744 3220689936 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/8949/statm: 4054 3681 75 172 0 3881 0
Current children cumulated CPU time (s) 1062.38
Current children cumulated vsize (KiB) 18632
[startup+1122.31 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 12535
/proc/meminfo: memFree=983468/2074464 swapFree=1950760/1959888
[pid=8943] ppid=8941 vsize=2416 CPUtime=0.09
/proc/8943/stat : 8943 (SatELiteGTI) S 8941 8943 11066 0 -1 4194304 386 1423 0 0 0 0 8 1 19 0 1 0 1013599604 2473984 278 4294967295 134512640 135169312 3217141600 3217137816 3085405934 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/8943/statm: 604 278 235 161 0 43 0
[pid=8949] ppid=8943 vsize=16216 CPUtime=1122.29
/proc/8949/stat : 8949 (minisat_static) R 8943 8943 11066 0 -1 4202496 3747 0 0 0 112212 17 0 0 25 0 1 0 1013599613 16605184 3681 4294967295 134512640 135216591 3220691744 3220689936 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/8949/statm: 4054 3681 75 172 0 3881 0
Current children cumulated CPU time (s) 1122.38
Current children cumulated vsize (KiB) 18632
[startup+1182.32 s]
/proc/loadavg: 1.00 1.00 1.00 4/98 12723
/proc/meminfo: memFree=983368/2074464 swapFree=1950760/1959888
[pid=8943] ppid=8941 vsize=2416 CPUtime=0.09
/proc/8943/stat : 8943 (SatELiteGTI) S 8941 8943 11066 0 -1 4194304 386 1423 0 0 0 0 8 1 19 0 1 0 1013599604 2473984 278 4294967295 134512640 135169312 3217141600 3217137816 3085405934 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/8943/statm: 604 278 235 161 0 43 0
[pid=8949] ppid=8943 vsize=16216 CPUtime=1182.3
/proc/8949/stat : 8949 (minisat_static) R 8943 8943 11066 0 -1 4202496 3747 0 0 0 118213 17 0 0 25 0 1 0 1013599613 16605184 3681 4294967295 134512640 135216591 3220691744 3220689936 134528860 0 0 0 3 0 0 0 17 2 0 0 0
/proc/8949/statm: 4054 3681 75 172 0 3881 0
Current children cumulated CPU time (s) 1182.39
Current children cumulated vsize (KiB) 18632
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.02 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 12724
/proc/meminfo: memFree=983440/2074464 swapFree=1950760/1959888
[pid=8943] ppid=8941 vsize=2416 CPUtime=0.09
/proc/8943/stat : 8943 (SatELiteGTI) S 8941 8943 11066 0 -1 4194304 386 1423 0 0 0 0 8 1 19 0 1 0 1013599604 2473984 278 4294967295 134512640 135169312 3217141600 3217137816 3085405934 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/8943/statm: 604 278 235 161 0 43 0
[pid=8949] ppid=8943 vsize=16216 CPUtime=1200
/proc/8949/stat : 8949 (minisat_static) R 8943 8943 11066 0 -1 4202496 3747 0 0 0 119983 17 0 0 25 0 1 0 1013599613 16605184 3681 4294967295 134512640 135216591 3220691744 3220689936 134528871 0 0 0 3 0 0 0 17 2 0 0 0
/proc/8949/statm: 4054 3681 75 172 0 3881 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 18632
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1200.02 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 12724
/proc/meminfo: memFree=983440/2074464 swapFree=1950760/1959888
[pid=8943] ppid=8941 vsize=2416 CPUtime=0.09
/proc/8943/stat : 8943 (SatELiteGTI) S 8941 8943 11066 0 -1 4194304 386 1423 0 0 0 0 8 1 19 0 1 0 1013599604 2473984 278 4294967295 134512640 135169312 3217141600 3217137816 3085405934 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/8943/statm: 604 278 235 161 0 43 0
[pid=8949] ppid=8943 vsize=16216 CPUtime=1200
/proc/8949/stat : 8949 (minisat_static) R 8943 8943 11066 0 -1 4202496 3747 0 0 0 119983 17 0 0 25 0 1 0 1013599613 16605184 3681 4294967295 134512640 135216591 3220691744 3220689936 134528871 0 0 0 3 0 0 0 17 2 0 0 0
/proc/8949/statm: 4054 3681 75 172 0 3881 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 18632
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 8943 and gives
# childrusage.ru_utime.tv_sec=1199
# childrusage.ru_utime.tv_usec=910000
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=180000
# CPU time returned by wait4() is 1200.09
# while last known CPU time is 1200.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.03
CPU time (s): 1200.09
CPU user time (s): 1199.91
CPU system time (s): 0.18
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 18632
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.91
system time used= 0.18
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5832
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22
involuntary context switches= 607
runsolver used 0.01 second user time and 0.04 second system time
The end
Begin job on tipi23 at 2009-05-16 18:23:33
IDJOB=1820957
IDBENCH=70785
IDSOLVER=658
FILE ID=tipi23/1820957-1242491013
PBS_JOBID=
Free space on /tmp= 8840 MiB
SOLVER NAME= minisat_cumr r-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/bitverif/mulhs/mulhs016.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1820957-1242491013/watcher-1820957-1242491013 -o /tmp/evaluation-result-1820957-1242491013/solver-1820957-1242491013 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820957-1242491013.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= e4ef55733955e0a45519e9f7dec923e5
RANDOM SEED= 358994588
Linux tipi23 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.377
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.38
processor : 1
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.377
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.377
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.79
processor : 3
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.377
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: 998508 kB
Buffers: 32072 kB
Cached: 944028 kB
SwapCached: 3660 kB
Active: 461588 kB
Inactive: 526460 kB
HighTotal: 1178688 kB
HighFree: 357312 kB
LowTotal: 895776 kB
LowFree: 641196 kB
SwapTotal: 1959888 kB
SwapFree: 1950760 kB
Dirty: 1772 kB
Writeback: 0 kB
AnonPages: 10976 kB
Mapped: 4520 kB
Slab: 78992 kB
PageTables: 604 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 2997120 kB
Committed_AS: 96896 kB
VmallocTotal: 114680 kB
VmallocUsed: 1324 kB
VmallocChunk: 113264 kB
Free space on /tmp at the end= 8840 MiB
End job on tipi23 at 2009-05-16 18:43:33