0.00/0.00 c Parsing...
0.00/0.55 c ==============================================================================
0.00/0.55 c | | ORIGINAL | LEARNT | |
0.00/0.55 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.55 c ==============================================================================
0.00/0.55 c | 0 | 552411 1288959 | 165723 0 0 nan | 0.000 % |
3.60/3.69 c | 0 | 224311 892727 | -- 0 -- -- | -- | -328093/-396215
3.60/3.69 c ==============================================================================
3.60/3.69 c Result : #vars: 29191 #clauses: 224311 #literals: 892727
3.60/3.69 c CPU time: 3.51 s
3.60/3.69 c ==============================================================================
3.90/4.01 c This is MiniSat 2.0 beta
3.90/4.01 c WARNING: for repeatability, setting FPU to use double precision
3.90/4.01 c ============================[ Problem Statistics ]=============================
3.90/4.01 c | |
3.99/4.01 c | Number of variables: 29191 |
3.99/4.01 c | Number of clauses: 224311 |
3.99/4.18 c | Parsing time: 0.16 s |
3.99/4.20 c ============================[ Search Statistics ]==============================
3.99/4.20 c | Conflicts | ORIGINAL | LEARNT | Progress |
3.99/4.20 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
3.99/4.20 c ===============================================================================
3.99/4.20 c | 0 | 29191 224311 892727 | 74770 0 nan | 0.000 % |
4.40/4.44 c | 512 | 29180 224311 892727 | 74770 507 22 | 0.093 % |
4.60/4.63 c | 1024 | 29180 224311 892727 | 74770 1018 25 | 0.103 % |
4.89/4.91 c | 1538 | 29179 224311 892727 | 74770 1532 27 | 0.103 % |
4.99/5.09 c | 2562 | 29156 224128 892127 | 74770 2553 26 | 0.141 % |
5.29/5.34 c | 3076 | 29155 224128 892127 | 74770 3067 27 | 0.140 % |
5.39/5.43 c | 3589 | 29149 224128 892127 | 74770 3576 29 | 0.178 % |
5.69/5.80 c | 4613 | 29148 224128 892127 | 74770 4599 32 | 0.182 % |
6.29/6.40 c | 6661 | 29138 223657 890512 | 74770 6646 29 | 0.182 % |
6.58/6.68 c | 7173 | 29135 223631 890437 | 74770 7156 29 | 0.192 % |
6.97/7.06 c | 7685 | 29135 223631 890437 | 74770 7668 29 | 0.192 % |
7.07/7.14 c | 8709 | 29135 223631 890437 | 74770 8692 29 | 0.192 % |
7.37/7.44 c | 9222 | 29135 223631 890437 | 74770 9205 29 | 0.192 % |
7.47/7.57 c | 9735 | 29131 223631 890437 | 74770 9717 29 | 0.219 % |
7.67/7.75 c | 10761 | 29127 223588 890319 | 2147483647 10743 30 | 0.219 % |
8.07/8.14 c | 12809 | 29126 223588 890319 | 2147483647 12790 30 | 0.223 % |
8.77/8.84 c | 16906 | 29124 223588 890319 | 2147483647 16886 29 | 0.243 % |
8.87/8.99 c | 17419 | 29120 223396 889579 | 2147483647 17391 29 | 0.243 % |
9.17/9.28 c | 17932 | 29120 223396 889579 | 2147483647 17904 29 | 0.243 % |
9.47/9.57 c | 18956 | 29120 223396 889579 | 2147483647 18928 29 | 0.243 % |
9.77/9.87 c | 19469 | 29120 223396 889579 | 2147483647 19441 30 | 0.243 % |
9.87/10.00 c | 19981 | 29120 223396 889579 | 2147483647 19953 30 | 0.243 % |
10.27/10.37 c | 21005 | 29120 223396 889579 | 2147483647 20977 30 | 0.243 % |
10.77/10.85 c | 23054 | 29106 223323 889364 | 2147483647 23024 30 | 0.291 % |
10.97/11.05 c | 23567 | 29106 223323 889364 | 2147483647 23537 30 | 0.291 % |
11.37/11.43 c | 24080 | 29106 223323 889364 | 2147483647 24050 30 | 0.291 % |
11.57/11.62 c | 25105 | 29105 223323 889364 | 2147483647 25074 30 | 0.308 % |
11.67/11.80 c | 25617 | 29081 223323 889364 | 2147483647 25585 30 | 0.442 % |
11.77/11.87 c | 26129 | 29062 222303 885557 | 2147483647 26084 31 | 0.442 % |
11.97/12.03 c | 27153 | 29062 222303 885557 | 2147483647 27108 31 | 0.442 % |
12.47/12.57 c | 29203 | 29062 222303 885557 | 2147483647 29158 32 | 0.442 % |
13.37/13.45 c | 33300 | 29062 222303 885557 | 2147483647 33255 33 | 0.442 % |
15.47/15.59 c | 41496 | 29062 222303 885557 | 2147483647 41451 40 | 0.442 % |
15.67/15.72 c | 42013 | 29062 222303 885557 | 2147483647 41968 40 | 0.442 % |
15.97/16.01 c | 42525 | 29062 222303 885557 | 2147483647 42480 39 | 0.442 % |
16.17/16.23 c | 43550 | 29062 222303 885557 | 2147483647 43505 40 | 0.442 % |
16.47/16.55 c | 44063 | 29062 222303 885557 | 2147483647 44018 39 | 0.442 % |
16.67/16.78 c | 44575 | 29061 222292 885530 | 2147483647 44529 39 | 0.445 % |
16.87/16.93 c | 45601 | 29061 222292 885530 | 2147483647 45555 39 | 0.445 % |
17.37/17.47 c | 47649 | 29061 222292 885530 | 2147483647 47603 39 | 0.445 % |
17.47/17.53 c | 48161 | 29061 222292 885530 | 2147483647 48115 39 | 0.445 % |
17.77/17.82 c | 48673 | 29061 222292 885530 | 2147483647 48627 39 | 0.445 % |
18.17/18.25 c | 49697 | 29061 222292 885530 | 2147483647 49651 39 | 0.445 % |
18.47/18.51 c | 50209 | 29061 222292 885530 | 2147483647 50163 39 | 0.445 % |
18.47/18.61 c | 50721 | 29061 222292 885530 | 2147483647 50675 39 | 0.445 % |
18.97/19.10 c | 51745 | 29061 222292 885530 | 2147483647 51699 40 | 0.445 % |
19.37/19.47 c | 53793 | 29061 222292 885530 | 2147483647 53747 40 | 0.445 % |
20.07/20.13 c | 57890 | 29033 222292 885530 | 2147483647 57843 39 | 0.562 % |
20.17/20.23 c | 58402 | 29027 221853 883998 | 2147483647 58344 39 | 0.562 % |
20.37/20.48 c | 58914 | 29020 221853 883998 | 2147483647 58855 39 | 0.593 % |
21.57/21.63 c | 59938 | 29020 221853 883998 | 2147483647 59879 41 | 0.593 % |
21.87/22.00 c | 60450 | 29020 221853 883998 | 2147483647 60391 41 | 0.593 % |
22.07/22.12 c | 60962 | 29016 221853 883998 | 2147483647 60901 40 | 0.610 % |
22.37/22.45 c | 61986 | 29016 221853 883998 | 2147483647 61925 41 | 0.610 % |
22.77/22.83 c | 64035 | 29016 221853 883998 | 2147483647 63974 41 | 0.610 % |
22.96/23.02 c | 64548 | 29016 221853 883998 | 2147483647 64487 41 | 0.610 % |
23.06/23.15 c | 65060 | 29016 221853 883998 | 2147483647 64999 41 | 0.610 % |
23.26/23.36 c | 66084 | 29016 221853 883998 | 2147483647 66023 41 | 0.610 % |
23.36/23.49 c | 66597 | 29016 221853 883998 | 2147483647 66536 41 | 0.610 % |
23.66/23.76 c | 67109 | 29016 221853 883998 | 2147483647 67048 41 | 0.610 % |
23.86/23.99 c | 68133 | 29016 221853 883998 | 2147483647 68072 41 | 0.610 % |
24.76/24.90 c | 70182 | 29016 221853 883998 | 2147483647 70121 42 | 0.610 % |
25.96/26.01 c | 74280 | 29013 221725 883585 | 2147483647 74181 42 | 0.610 % |
29.36/29.47 c | 82477 | 29013 221725 883585 | 79903 82378 42 | 0.610 % |
42.36/42.42 c | 98861 | 29013 221725 883585 | 79198 78501 43 | 0.610 % |
42.56/42.68 c | 99373 | 29013 221725 883585 | 79198 79013 43 | 0.610 % |
42.86/43.00 c | 99887 | 29013 221725 883585 | 79198 79527 43 | 0.610 % |
43.26/43.33 c | 100914 | 29013 221725 883585 | 2147483647 72602 42 | 0.610 % |
43.46/43.58 c | 101426 | 29013 221725 883585 | 2147483647 73114 41 | 0.610 % |
43.76/43.83 c | 101938 | 29013 221725 883585 | 2147483647 73626 41 | 0.610 % |
44.16/44.29 c | 102963 | 29013 221725 883585 | 2147483647 74651 42 | 0.610 % |
45.36/45.42 c | 105011 | 29013 221725 883585 | 2147483647 76699 41 | 0.610 % |
45.56/45.62 c | 105523 | 29013 221725 883585 | 2147483647 77211 41 | 0.610 % |
45.66/45.77 c | 106038 | 29013 221725 883585 | 2147483647 77726 41 | 0.610 % |
45.86/45.97 c | 107068 | 29013 221725 883585 | 2147483647 78756 41 | 0.610 % |
46.16/46.23 c | 107582 | 29013 221725 883585 | 2147483647 79270 41 | 0.610 % |
46.56/46.64 c | 108094 | 29013 221725 883585 | 2147483647 79782 41 | 0.610 % |
46.76/46.87 c | 109120 | 29013 221725 883585 | 2147483647 80808 41 | 0.610 % |
47.96/48.04 c | 111169 | 29013 221725 883585 | 2147483647 82857 41 | 0.610 % |
50.86/50.97 c | 115266 | 29003 221523 882958 | 2147483647 86947 42 | 0.644 % |
51.16/51.26 c | 115779 | 29003 221523 882958 | 2147483647 87460 42 | 0.644 % |
51.56/51.61 c | 116291 | 29003 221523 882958 | 2147483647 87972 42 | 0.644 % |
52.16/52.26 c | 117315 | 29003 221523 882958 | 2147483647 88996 42 | 0.644 % |
52.56/52.62 c | 117827 | 29003 221523 882958 | 2147483647 89508 42 | 0.644 % |
52.76/52.88 c | 118339 | 29003 221523 882958 | 2147483647 90020 42 | 0.644 % |
53.36/53.42 c | 119363 | 29003 221523 882958 | 2147483647 91044 42 | 0.644 % |
54.26/54.38 c | 121411 | 29003 221523 882958 | 91683 93092 42 | 0.644 % |
54.76/54.90 c | 121924 | 29003 221523 882958 | 91683 78665 39 | 0.644 % |
55.36/55.42 c | 122438 | 29003 221523 882958 | 91683 79179 39 | 0.644 % |
55.56/55.69 c | 123464 | 29003 221523 882958 | 91683 80205 39 | 0.644 % |
55.76/55.90 c | 123976 | 29003 221523 882958 | 91683 80717 39 | 0.644 % |
55.86/55.98 c | 124488 | 29003 221523 882958 | 91683 81229 39 | 0.644 % |
56.66/56.71 c | 125513 | 29003 221523 882958 | 91683 82254 39 | 0.644 % |
57.46/57.55 c | 127562 | 28995 221274 882031 | 91683 84286 39 | 0.671 % |
58.96/59.08 c | 131659 | 28995 221274 882031 | 86724 88383 40 | 0.671 % |
61.86/61.98 c | 139851 | 28995 221274 882031 | 86724 78378 36 | 0.671 % |
62.06/62.12 c | 140364 | 28995 221274 882031 | 78527 78891 36 | 0.671 % |
62.36/62.41 c | 140878 | 28995 221274 882031 | 78527 67914 35 | 0.671 % |
62.86/62.96 c | 141902 | 28995 221274 882031 | 78527 68938 35 | 0.671 % |
62.96/63.09 c | 142417 | 28995 221274 882031 | 78527 69453 35 | 0.671 % |
63.36/63.46 c | 142931 | 28995 221274 882031 | 78527 69967 35 | 0.671 % |
63.96/64.01 c | 143957 | 28995 221274 882031 | 78527 70993 35 | 0.671 % |
64.56/64.65 c | 146007 | 28995 221274 882031 | 78527 73043 35 | 0.671 % |
64.66/64.78 c | 146520 | 28995 221274 882031 | 78527 73556 35 | 0.671 % |
64.87/64.98 c | 147033 | 28995 221274 882031 | 78527 74069 35 | 0.671 % |
65.46/65.59 c | 148060 | 28995 221274 882031 | 78527 75096 35 | 0.671 % |
65.66/65.78 c | 148574 | 28995 221274 882031 | 78527 75610 36 | 0.671 % |
65.97/66.09 c | 149086 | 28995 221274 882031 | 78527 76122 36 | 0.671 % |
66.36/66.41 c | 150110 | 28974 220857 880583 | 77027 77137 36 | 0.743 % |
67.16/67.30 c | 152158 | 28974 220857 880583 | 77027 79185 36 | 0.743 % |
69.06/69.14 c | 156255 | 28974 220857 880583 | 77027 68061 38 | 0.743 % |
69.36/69.43 c | 156768 | 28974 220857 880583 | 77027 68574 38 | 0.743 % |
69.56/69.67 c | 157280 | 28974 220857 880583 | 77027 69086 38 | 0.743 % |
69.96/70.03 c | 158305 | 28974 220857 880583 | 77027 70111 38 | 0.743 % |
70.16/70.23 c | 158817 | 28974 220857 880583 | 77027 70623 38 | 0.743 % |
70.46/70.59 c | 159329 | 28974 220857 880583 | 77027 71135 38 | 0.743 % |
70.66/70.77 c | 160356 | 28974 220857 880583 | 2147483647 72162 38 | 0.743 % |
71.96/72.09 c | 162404 | 28974 220857 880583 | 2147483647 74210 39 | 0.743 % |
72.36/72.45 c | 162921 | 28974 220857 880583 | 2147483647 74727 39 | 0.743 % |
72.57/72.65 c | 163433 | 28974 220857 880583 | 2147483647 75239 39 | 0.743 % |
72.86/72.92 c | 164462 | 28974 220857 880583 | 2147483647 76268 39 | 0.743 % |
73.06/73.13 c | 164975 | 28974 220857 880583 | 2147483647 76781 39 | 0.743 % |
73.36/73.50 c | 165489 | 28974 220857 880583 | 2147483647 77295 39 | 0.743 % |
73.96/74.09 c | 166514 | 28974 220857 880583 | 2147483647 78320 39 | 0.743 % |
75.46/75.51 c | 168563 | 28964 220765 880291 | 2147483647 80363 40 | 0.778 % |
78.16/78.30 c | 172661 | 28964 220765 880291 | 2147483647 84461 39 | 0.778 % |
83.26/83.38 c | 180854 | 28964 220765 880291 | 91800 92654 41 | 0.778 % |
92.75/92.86 c | 197238 | 28960 220709 880117 | 87411 85734 39 | 0.791 % |
105.65/105.71 c | 230006 | 28960 220709 880117 | 57600 57606 31 | 0.791 % |
105.85/105.99 c | 230519 | 28960 220709 880117 | 57600 58119 31 | 0.791 % |
106.25/106.39 c | 231032 | 28952 220705 880105 | 57600 52119 30 | 0.843 % |
106.75/106.90 c | 232057 | 28923 220705 880105 | 57600 53143 30 | 1.007 % |
107.15/107.22 c | 232569 | 28923 220705 880105 | 57600 53655 30 | 1.007 % |
107.55/107.64 c | 233082 | 28923 220705 880105 | 57600 54168 30 | 1.007 % |
107.95/108.01 c | 234112 | 28923 220705 880105 | 57600 55198 30 | 1.007 % |
108.75/108.83 c | 236163 | 28896 220705 880105 | 57600 57245 30 | 1.185 % |
108.95/109.02 c | 236675 | 28896 220705 880105 | 57600 57757 30 | 1.185 % |
109.15/109.30 c | 237187 | 28896 220705 880105 | 57600 58269 30 | 1.185 % |
109.85/109.92 c | 238211 | 28896 220705 880105 | 57600 53467 30 | 1.185 % |
110.05/110.17 c | 238723 | 28845 218504 870863 | 57600 53956 30 | 1.185 % |
110.26/110.34 c | 239235 | 28845 218504 870863 | 57600 54468 30 | 1.185 % |
110.66/110.76 c | 240259 | 28845 218504 870863 | 2147483647 55492 30 | 1.185 % |
111.36/111.48 c | 242308 | 28845 218504 870863 | 2147483647 57541 31 | 1.185 % |
112.56/112.63 c | 246404 | 28845 218504 870863 | 2147483647 61637 33 | 1.185 % |
112.66/112.81 c | 246916 | 28845 218504 870863 | 2147483647 62149 33 | 1.185 % |
112.96/113.05 c | 247429 | 28845 218504 870863 | 2147483647 62662 33 | 1.185 % |
113.36/113.51 c | 248453 | 28845 218504 870863 | 2147483647 63686 33 | 1.185 % |
113.56/113.69 c | 248966 | 28845 218504 870863 | 2147483647 64199 33 | 1.185 % |
113.76/113.89 c | 249478 | 28845 218504 870863 | 2147483647 64711 33 | 1.185 % |
114.06/114.13 c | 250503 | 28845 218504 870863 | 2147483647 65736 33 | 1.185 % |
114.76/114.89 c | 252551 | 28845 218504 870863 | 2147483647 67784 33 | 1.185 % |
115.06/115.16 c | 253064 | 28845 218504 870863 | 2147483647 68297 33 | 1.185 % |
115.26/115.40 c | 253576 | 28845 218504 870863 | 2147483647 68809 33 | 1.185 % |
115.66/115.73 c | 254601 | 28845 218504 870863 | 2147483647 69834 33 | 1.185 % |
115.76/115.89 c | 255114 | 28845 218504 870863 | 2147483647 70347 33 | 1.185 % |
115.96/116.08 c | 255627 | 28845 218504 870863 | 2147483647 70860 33 | 1.185 % |
116.76/116.86 c | 256653 | 28845 218504 870863 | 2147483647 71886 34 | 1.185 % |
117.66/117.76 c | 258701 | 28845 218504 870863 | 2147483647 73934 35 | 1.185 % |
118.96/119.07 c | 262797 | 28845 218504 870863 | 2147483647 78030 36 | 1.185 % |
121.26/121.40 c | 270989 | 28845 218504 870863 | 85234 86222 35 | 1.185 % |
121.66/121.80 c | 271501 | 28845 218504 870863 | 85234 74525 36 | 1.185 % |
121.96/122.10 c | 272013 | 28845 218504 870863 | 85234 75037 36 | 1.185 % |
122.76/122.88 c | 273037 | 28845 218504 870863 | 85234 76061 36 | 1.185 % |
123.16/123.24 c | 273549 | 28845 218504 870863 | 85234 76573 36 | 1.185 % |
123.56/123.64 c | 274063 | 28845 218504 870863 | 85234 77087 36 | 1.185 % |
124.26/124.39 c | 275088 | 28845 218504 870863 | 85234 78112 36 | 1.185 % |
125.06/125.20 c | 277137 | 28845 218504 870863 | 85234 80161 36 | 1.185 % |
125.36/125.50 c | 277649 | 28844 218439 870634 | 85234 80666 36 | 1.189 % |
125.66/125.75 c | 278161 | 28844 218439 870634 | 85234 81178 36 | 1.189 % |
126.06/126.20 c | 279186 | 28844 218439 870634 | 85234 82203 36 | 1.189 % |
126.26/126.39 c | 279700 | 28844 218439 870634 | 85234 82717 36 | 1.189 % |
126.46/126.58 c | 280212 | 28844 218439 870634 | 83018 83229 36 | 1.189 % |
126.76/126.83 c | 281239 | 28844 218439 870634 | 83018 84256 36 | 1.189 % |
127.76/127.86 c | 283287 | 28844 218439 870634 | 83018 74920 37 | 1.189 % |
129.56/129.65 c | 287384 | 28844 218439 870634 | 83018 79017 37 | 1.189 % |
129.76/129.84 c | 287896 | 28844 218439 870634 | 83018 79529 37 | 1.189 % |
129.86/129.99 c | 288409 | 28844 218439 870634 | 83018 80042 37 | 1.189 % |
130.46/130.60 c | 289436 | 28844 218439 870634 | 83018 81069 37 | 1.189 % |
130.66/130.77 c | 289948 | 28844 218439 870634 | 83018 81581 37 | 1.189 % |
130.76/130.91 c | 290461 | 28844 218439 870634 | 81633 82094 37 | 1.189 % |
131.26/131.35 c | 291485 | 28844 218439 870634 | 81633 69566 37 | 1.189 % |
132.16/132.25 c | 293535 | 28844 218439 870634 | 81633 71616 37 | 1.189 % |
132.26/132.40 c | 294049 | 28844 218439 870634 | 81633 72130 37 | 1.189 % |
132.66/132.74 c | 294562 | 28838 218316 870211 | 81633 72641 37 | 1.209 % |
133.16/133.24 c | 295586 | 28838 218316 870211 | 81633 73665 37 | 1.209 % |
133.26/133.38 c | 296099 | 28838 218316 870211 | 81633 74178 37 | 1.209 % |
133.66/133.76 c | 296611 | 28838 218316 870211 | 81633 74690 37 | 1.209 % |
134.26/134.32 c | 297639 | 28838 218316 870211 | 81633 75718 37 | 1.209 % |
135.36/135.42 c | 299688 | 28838 218316 870211 | 81633 77767 37 | 1.209 % |
137.26/137.34 c | 303784 | 28838 218316 870211 | 78079 73743 36 | 1.209 % |
141.66/141.73 c | 311976 | 28838 218316 870211 | 2147483647 81935 37 | 1.209 % |
151.16/151.25 c | 328360 | 28837 218246 870028 | 89960 76652 37 | 1.213 % |
151.26/151.36 c | 328873 | 28837 218246 870028 | 89960 77165 37 | 1.213 % |
151.46/151.59 c | 329385 | 28837 218246 870028 | 89960 77677 37 | 1.213 % |
152.06/152.18 c | 330410 | 28837 218246 870028 | 78292 78702 37 | 1.213 % |
152.26/152.40 c | 330927 | 28837 218246 870028 | 78292 64589 36 | 1.213 % |
152.66/152.74 c | 331440 | 28837 218246 870028 | 78292 65102 36 | 1.213 % |
152.86/153.00 c | 332464 | 28837 218246 870028 | 78292 66126 36 | 1.213 % |
154.96/155.08 c | 334513 | 28837 218246 870028 | 78292 68175 36 | 1.213 % |
155.36/155.50 c | 335025 | 28837 218246 870028 | 78292 68687 36 | 1.213 % |
155.66/155.76 c | 335537 | 28837 218246 870028 | 78292 69199 36 | 1.213 % |
156.26/156.36 c | 336565 | 28837 218246 870028 | 78292 70227 36 | 1.213 % |
156.66/156.76 c | 337079 | 28837 218246 870028 | 78292 70741 36 | 1.213 % |
156.96/157.02 c | 337591 | 28837 218246 870028 | 78292 71253 37 | 1.213 % |
157.56/157.69 c | 338615 | 28836 218237 870006 | 78292 72276 36 | 1.216 % |
158.26/158.35 c | 340664 | 28836 218237 870006 | 73661 74325 36 | 1.216 % |
160.56/160.67 c | 344760 | 28836 218237 870006 | 73661 69207 37 | 1.216 % |
160.86/160.98 c | 345272 | 28836 218237 870006 | 73661 69719 37 | 1.216 % |
161.16/161.30 c | 345785 | 28836 218237 870006 | 73661 70232 37 | 1.216 % |
161.56/161.65 c | 346813 | 28836 218237 870006 | 73661 71260 37 | 1.216 % |
162.06/162.12 c | 347325 | 28835 218237 870006 | 73661 71771 37 | 1.220 % |
162.26/162.37 c | 347839 | 28835 218237 870006 | 73661 72285 37 | 1.220 % |
162.66/162.75 c | 348863 | 28835 218237 870006 | 73661 73309 37 | 1.220 % |
164.06/164.12 c | 350911 | 28834 218237 870006 | 2147483647 75356 37 | 1.230 % |
164.46/164.57 c | 351425 | 28832 218080 869390 | 2147483647 75869 37 | 1.230 % |
164.66/164.77 c | 351937 | 28832 218080 869390 | 2147483647 76381 37 | 1.230 % |
165.06/165.19 c | 352961 | 28832 218080 869390 | 2147483647 77405 37 | 1.230 % |
165.66/165.76 c | 353473 | 28832 218080 869390 | 2147483647 77917 37 | 1.230 % |
165.86/166.00 c | 353985 | 28832 218080 869390 | 2147483647 78429 37 | 1.230 % |
166.86/166.92 c | 355011 | 28832 218080 869390 | 2147483647 79455 37 | 1.230 % |
168.26/168.35 c | 357060 | 28832 218080 869390 | 2147483647 81504 38 | 1.230 % |
169.96/170.06 c | 361156 | 28832 218080 869390 | 84444 85600 38 | 1.230 % |
173.96/174.07 c | 369348 | 28832 218080 869390 | 84444 85232 39 | 1.230 % |
174.26/174.34 c | 369860 | 28832 218080 869390 | 84444 74657 39 | 1.230 % |
174.56/174.68 c | 370372 | 28832 218080 869390 | 74797 75169 39 | 1.230 % |
175.06/175.14 c | 371396 | 28832 218080 869390 | 74797 64503 36 | 1.230 % |
175.46/175.54 c | 371908 | 28832 218080 869390 | 74797 65015 36 | 1.230 % |
175.66/175.72 c | 372420 | 28832 218080 869390 | 74797 65527 36 | 1.230 % |
176.26/176.34 c | 373446 | 28832 218080 869390 | 74797 66553 36 | 1.230 % |
176.66/176.73 c | 375495 | 28832 218080 869390 | 74797 68602 36 | 1.230 % |
176.96/177.07 c | 376007 | 28832 218080 869390 | 74797 69114 36 | 1.230 % |
177.36/177.50 c | 376519 | 28831 218068 869361 | 74797 69625 36 | 1.233 % |
177.76/177.83 c | 377543 | 28831 218068 869361 | 74797 70649 36 | 1.233 % |
178.06/178.21 c | 378057 | 28831 218068 869361 | 74797 71163 36 | 1.233 % |
178.26/178.41 c | 378569 | 28831 218068 869361 | 74797 71675 36 | 1.233 % |
178.96/179.03 c | 379594 | 28831 218068 869361 | 74797 72700 36 | 1.233 % |
179.86/179.93 c | 381642 | 28831 218068 869361 | 73108 74748 36 | 1.233 % |
182.16/182.22 c | 385739 | 28831 218068 869361 | 73108 71371 37 | 1.233 % |
182.26/182.34 c | 386253 | 28831 218068 869361 | 73108 71885 36 | 1.233 % |
182.46/182.55 c | 386766 | 28831 218068 869361 | 73108 72398 37 | 1.233 % |
183.06/183.15 c | 387790 | 28831 218068 869361 | 73108 73422 37 | 1.233 % |
183.46/183.57 c | 388302 | 28831 218068 869361 | 73108 66559 37 | 1.233 % |
183.76/183.86 c | 388814 | 28819 217867 868624 | 73108 67061 36 | 1.288 % |
184.66/184.80 c | 389838 | 28819 217867 868624 | 73108 68085 37 | 1.288 % |
185.36/185.46 c | 391886 | 28819 217867 868624 | 2147483647 70133 37 | 1.288 % |
185.56/185.66 c | 392398 | 28819 217867 868624 | 2147483647 70645 37 | 1.288 % |
185.96/186.02 c | 392910 | 28819 217867 868624 | 2147483647 71157 37 | 1.288 % |
186.86/186.94 c | 393935 | 28819 217867 868624 | 2147483647 72182 36 | 1.288 % |
187.06/187.19 c | 394447 | 28819 217867 868624 | 2147483647 72694 36 | 1.288 % |
187.26/187.36 c | 394960 | 28819 217867 868624 | 2147483647 73207 36 | 1.288 % |
188.16/188.30 c | 395985 | 28819 217867 868624 | 2147483647 74232 37 | 1.288 % |
188.76/188.87 c | 398034 | 28819 217867 868624 | 2147483647 76281 36 | 1.288 % |
190.46/190.53 c | 402130 | 28814 217816 868472 | 2147483647 80374 37 | 1.292 % |
193.66/193.74 c | 410322 | 28814 217816 868472 | 88244 88566 37 | 1.291 % |
203.06/203.19 c | 426706 | 28811 217784 868376 | 79609 77673 37 | 1.302 % |
221.76/221.81 c | 459475 | 28811 217784 868376 | 2147483647 89300 40 | 1.302 % |
247.37/247.44 c | 525012 | 28657 215777 861135 | 2147483647 75193 41 | 1.829 % |
247.57/247.64 c | 525525 | 28657 215777 861135 | 2147483647 75706 41 | 1.829 % |
247.97/248.03 c | 526037 | 28657 215777 861135 | 2147483647 76218 41 | 1.829 % |
248.17/248.31 c | 527062 | 28657 215777 861135 | 2147483647 77243 41 | 1.829 % |
248.27/248.35 c | 527575 | 28657 215777 861135 | 2147483647 77756 41 | 1.829 % |
248.37/248.49 c | 528087 | 28657 215777 861135 | 2147483647 78268 41 | 1.829 % |
248.67/248.75 c | 529111 | 28657 215777 861135 | 2147483647 79292 41 | 1.829 % |
249.45/249.60 c | 531159 | 28657 215777 861135 | 2147483647 81340 41 | 1.829 % |
249.65/249.74 c | 531671 | 28657 215777 861135 | 2147483647 81852 41 | 1.829 % |
249.95/250.06 c | 532183 | 28657 215777 861135 | 2147483647 82364 41 | 1.829 % |
250.45/250.57 c | 533207 | 28657 215777 861135 | 2147483647 83388 41 | 1.829 % |
250.75/250.88 c | 533722 | 28657 215777 861135 | 2147483647 83903 41 | 1.829 % |
251.05/251.20 c | 534234 | 28657 215777 861135 | 2147483647 84415 41 | 1.829 % |
251.55/251.71 c | 535259 | 28657 215777 861135 | 2147483647 85440 41 | 1.829 % |
252.45/252.60 c | 537307 | 28657 215777 861135 | 2147483647 87488 41 | 1.829 % |
254.35/254.42 c | 541406 | 28657 215777 861135 | 2147483647 91587 40 | 1.829 % |
254.55/254.65 c | 541918 | 28657 215777 861135 | 2147483647 92099 40 | 1.829 % |
254.75/254.91 c | 542430 | 28657 215777 861135 | 2147483647 92611 40 | 1.829 % |
255.05/255.15 c | 543456 | 28657 215777 861135 | 2147483647 93637 40 | 1.829 % |
255.45/255.59 c | 543968 | 28657 215777 861135 | 2147483647 94149 40 | 1.829 % |
255.95/256.10 c | 544481 | 28657 215777 861135 | 2147483647 94662 40 | 1.829 % |
256.65/256.79 c | 545505 | 28657 215777 861135 | 2147483647 95686 40 | 1.829 % |
257.65/257.72 c | 547554 | 28657 215777 861135 | 2147483647 97735 41 | 1.829 % |
257.95/258.04 c | 548067 | 28657 215777 861135 | 2147483647 98248 41 | 1.829 % |
258.05/258.15 c | 548582 | 28657 215777 861135 | 2147483647 98763 41 | 1.829 % |
258.45/258.61 c | 549606 | 28657 215777 861135 | 2147483647 99787 41 | 1.829 % |
258.75/258.83 c | 550119 | 28657 215777 861135 | 100181 100300 41 | 1.829 % |
258.95/259.06 c | 550632 | 28657 215777 861135 | 100181 100813 41 | 1.829 % |
259.55/259.65 c | 551656 | 28657 215777 861135 | 100181 89356 40 | 1.829 % |
260.35/260.45 c | 553704 | 28655 215762 861077 | 100181 91401 40 | 1.836 % |
262.25/262.39 c | 557803 | 28655 215762 861077 | 100181 95500 40 | 1.836 % |
266.65/266.81 c | 565998 | 28655 215762 861077 | 97697 85127 39 | 1.836 % |
266.95/267.08 c | 566510 | 28654 215762 861077 | 97697 85638 39 | 1.840 % |
267.15/267.29 c | 567022 | 28654 215762 861077 | 97697 86150 39 | 1.840 % |
267.55/267.64 c | 568046 | 28654 215758 861065 | 97697 87173 39 | 1.840 % |
267.75/267.87 c | 568559 | 28654 215758 861065 | 97697 87686 39 | 1.840 % |
268.05/268.20 c | 569071 | 28654 215758 861065 | 97697 88198 39 | 1.840 % |
268.35/268.48 c | 570097 | 28654 215758 861065 | 89127 89224 39 | 1.840 % |
269.25/269.37 c | 572146 | 28654 215758 861065 | 89127 91273 39 | 1.840 % |
269.65/269.79 c | 572658 | 28654 215758 861065 | 89127 77447 41 | 1.840 % |
269.85/270.01 c | 573172 | 28654 215758 861065 | 89127 77961 41 | 1.840 % |
270.35/270.51 c | 574196 | 28654 215758 861065 | 89127 78985 41 | 1.840 % |
270.65/270.81 c | 574709 | 28654 215758 861065 | 89127 79498 41 | 1.840 % |
270.95/271.03 c | 575221 | 28654 215758 861065 | 89127 80010 41 | 1.840 % |
271.25/271.32 c | 576245 | 28654 215758 861065 | 89127 81034 40 | 1.840 % |
271.85/271.96 c | 578293 | 28654 215758 861065 | 89127 83082 40 | 1.840 % |
273.05/273.20 c | 582389 | 28651 215758 861065 | 84792 87177 40 | 1.850 % |
273.45/273.60 c | 582902 | 28651 215758 861065 | 84792 72954 35 | 1.850 % |
273.75/273.82 c | 583415 | 28651 215746 861033 | 84792 73467 35 | 1.850 % |
274.05/274.16 c | 584441 | 28651 215746 861033 | 84792 74493 35 | 1.850 % |
274.35/274.46 c | 584954 | 28651 215746 861033 | 84792 75006 35 | 1.850 % |
274.65/274.73 c | 585466 | 28651 215746 861033 | 84792 75518 35 | 1.850 % |
275.05/275.15 c | 586491 | 28651 215746 861033 | 84792 76543 35 | 1.850 % |
275.75/275.87 c | 588539 | 28651 215746 861033 | 84792 78591 35 | 1.850 % |
276.05/276.15 c | 589051 | 28651 215746 861033 | 84792 79103 35 | 1.850 % |
276.25/276.34 c | 589563 | 28651 215746 861033 | 84792 79615 35 | 1.850 % |
276.75/276.84 c | 590588 | 28651 215746 861033 | 80054 80640 35 | 1.850 % |
277.05/277.13 c | 591103 | 28651 215746 861033 | 80054 68249 34 | 1.850 % |
277.25/277.36 c | 591615 | 28651 215746 861033 | 80054 68761 34 | 1.850 % |
277.55/277.62 c | 592643 | 28650 215746 861033 | 80054 69788 34 | 1.853 % |
278.05/278.19 c | 594692 | 28650 215746 861033 | 80054 71837 35 | 1.853 % |
280.25/280.38 c | 598788 | 28650 215746 861033 | 80054 75933 35 | 1.853 % |
285.75/285.86 c | 606983 | 28650 215742 861022 | 77147 76237 34 | 1.853 % |
293.05/293.17 c | 623367 | 28650 215742 861022 | 81455 84821 37 | 1.853 % |
293.35/293.46 c | 623880 | 28650 215742 861022 | 81455 73497 37 | 1.853 % |
293.75/293.83 c | 624392 | 28650 215742 861022 | 81455 74009 37 | 1.853 % |
294.35/294.44 c | 625419 | 28650 215742 861022 | 81455 75036 38 | 1.853 % |
294.45/294.51 c | 625931 | 28650 215742 861022 | 81455 75548 37 | 1.853 % |
294.76/294.86 c | 626443 | 28650 215742 861022 | 81455 76060 37 | 1.853 % |
295.25/295.39 c | 627467 | 28650 215742 861022 | 81455 77084 38 | 1.853 % |
296.55/296.71 c | 629515 | 28650 215742 861022 | 81455 79132 38 | 1.853 % |
296.75/296.84 c | 630027 | 28650 215742 861022 | 79619 79644 38 | 1.853 % |
296.96/297.05 c | 630539 | 28650 215742 861022 | 79619 80156 38 | 1.853 % |
297.25/297.32 c | 631564 | 28650 215742 861022 | 79619 81181 37 | 1.853 % |
297.65/297.72 c | 632079 | 28650 215742 861022 | 79619 71401 37 | 1.853 % |
297.75/297.89 c | 632593 | 28650 215742 861022 | 79619 71915 37 | 1.853 % |
298.35/298.43 c | 633617 | 28650 215742 861022 | 79619 72939 37 | 1.853 % |
298.85/298.95 c | 635665 | 28650 215742 861022 | 79619 74987 36 | 1.853 % |
301.95/302.04 c | 639763 | 28650 215742 861022 | 79619 79085 37 | 1.853 % |
302.35/302.44 c | 640275 | 28650 215742 861022 | 79323 79597 37 | 1.853 % |
302.65/302.75 c | 640787 | 28650 215742 861022 | 79323 80109 37 | 1.853 % |
302.95/303.10 c | 641812 | 28650 215742 861022 | 79323 71753 37 | 1.853 % |
303.25/303.34 c | 642324 | 28650 215742 861022 | 79323 72265 37 | 1.853 % |
303.45/303.57 c | 642837 | 28650 215742 861022 | 79323 72778 37 | 1.853 % |
303.65/303.79 c | 643861 | 28650 215742 861022 | 79323 73802 37 | 1.853 % |
305.05/305.18 c | 645909 | 28650 215742 861022 | 79323 75850 37 | 1.853 % |
305.45/305.53 c | 646421 | 28650 215742 861022 | 79323 76362 37 | 1.853 % |
305.55/305.64 c | 646933 | 28650 215742 861022 | 79323 76874 37 | 1.853 % |
306.25/306.37 c | 647962 | 28650 215742 861022 | 79323 77903 37 | 1.853 % |
306.55/306.65 c | 648475 | 28650 215742 861022 | 79323 78416 37 | 1.853 % |
306.65/306.81 c | 648988 | 28650 215742 861022 | 79323 78929 37 | 1.853 % |
307.25/307.41 c | 650014 | 28650 215742 861022 | 79941 79955 37 | 1.853 % |
308.45/308.51 c | 652062 | 28650 215742 861022 | 79941 82003 39 | 1.853 % |
309.35/309.45 c | 656158 | 28650 215742 861022 | 79941 69460 39 | 1.853 % |
314.56/314.69 c | 664353 | 28650 215742 861022 | 73303 59377 44 | 1.853 % |
314.95/315.02 c | 664865 | 28650 215742 861022 | 73303 59889 44 | 1.853 % |
315.05/315.20 c | 665377 | 28650 215742 861022 | 73303 60401 43 | 1.853 % |
315.25/315.36 c | 666401 | 28650 215742 861022 | 73303 61425 43 | 1.853 % |
315.55/315.62 c | 666913 | 28650 215742 861022 | 73303 61937 43 | 1.853 % |
315.66/315.79 c | 667425 | 28650 215742 861022 | 73303 62449 43 | 1.853 % |
316.15/316.26 c | 668449 | 28650 215742 861022 | 73303 63473 44 | 1.853 % |
316.65/316.76 c | 670497 | 28650 215742 861022 | 65025 65521 43 | 1.853 % |
316.85/316.96 c | 671009 | 28650 215742 861022 | 65025 66033 44 | 1.853 % |
317.05/317.12 c | 671521 | 28650 215742 861022 | 65025 53963 46 | 1.853 % |
317.55/317.67 c | 672548 | 28650 215742 861022 | 65025 54990 46 | 1.853 % |
317.65/317.81 c | 673060 | 28650 215742 861022 | 65025 55502 46 | 1.853 % |
317.86/317.97 c | 673572 | 28650 215742 861022 | 65025 56014 46 | 1.853 % |
318.35/318.42 c | 674598 | 28650 215742 861022 | 65025 57040 46 | 1.853 % |
319.15/319.28 c | 676646 | 28648 215544 860178 | 65025 59086 46 | 1.860 % |
320.95/321.09 c | 680742 | 28648 215544 860178 | 62441 63182 47 | 1.860 % |
321.16/321.28 c | 681254 | 28648 215544 860178 | 62441 56155 48 | 1.860 % |
321.55/321.65 c | 681767 | 28648 215544 860178 | 62441 56668 48 | 1.860 % |
321.75/321.83 c | 682791 | 28648 215544 860178 | 62441 57692 48 | 1.860 % |
322.05/322.16 c | 683303 | 28648 215544 860178 | 62441 58204 48 | 1.860 % |
322.15/322.28 c | 683815 | 28648 215544 860178 | 62441 58716 48 | 1.860 % |
322.35/322.49 c | 684843 | 28648 215544 860178 | 62441 59744 47 | 1.860 % |
322.85/323.01 c | 686891 | 28648 215544 860178 | 62441 61792 47 | 1.860 % |
323.15/323.24 c | 687403 | 28648 215544 860178 | 62441 62304 47 | 1.860 % |
323.25/323.37 c | 687915 | 28648 215544 860178 | 62441 62816 47 | 1.860 % |
323.75/323.82 c | 688939 | 28648 215544 860178 | 62441 63840 47 | 1.860 % |
323.85/323.98 c | 689452 | 28648 215544 860178 | 62441 57969 47 | 1.860 % |
324.05/324.21 c | 689965 | 28648 215544 860178 | 62441 58482 47 | 1.860 % |
324.35/324.48 c | 690990 | 28648 215544 860178 | 2147483647 59507 47 | 1.860 % |
325.15/325.27 c | 693038 | 28648 215544 860178 | 2147483647 61555 47 | 1.860 % |
326.05/326.12 c | 697136 | 28648 215544 860178 | 2147483647 65653 46 | 1.860 % |
328.95/329.10 c | 705328 | 28648 215544 860178 | 68517 59636 40 | 1.860 % |
339.55/339.70 c | 721713 | 28648 215544 860178 | 2147483647 66467 35 | 1.860 % |
354.15/354.28 c | 754481 | 28648 215544 860178 | 61853 66332 36 | 1.860 % |
354.45/354.58 c | 754993 | 28648 215544 860178 | 61853 48959 36 | 1.860 % |
354.65/354.74 c | 755506 | 28648 215544 860178 | 61853 49472 36 | 1.860 % |
355.05/355.16 c | 756530 | 28648 215544 860178 | 61853 50496 36 | 1.860 % |
355.25/355.34 c | 757044 | 28648 215544 860178 | 61853 51010 36 | 1.860 % |
355.65/355.74 c | 757556 | 28629 215330 859628 | 61853 51517 36 | 1.925 % |
356.25/356.38 c | 758580 | 28629 215330 859628 | 61853 52541 36 | 1.925 % |
357.15/357.22 c | 760630 | 28629 215330 859628 | 2147483647 54591 36 | 1.925 % |
357.25/357.34 c | 761142 | 28629 215330 859628 | 2147483647 55103 36 | 1.925 % |
357.45/357.53 c | 761654 | 28629 215330 859628 | 2147483647 55615 36 | 1.925 % |
357.55/357.69 c | 762683 | 28629 215330 859628 | 2147483647 56644 36 | 1.925 % |
357.85/357.98 c | 763196 | 28629 215330 859628 | 2147483647 57157 36 | 1.925 % |
358.15/358.24 c | 763708 | 28494 213074 849745 | 2147483647 57659 36 | 2.388 % |
358.25/358.31 c | 764733 | 28494 213074 849745 | 2147483647 58684 35 | 2.388 % |
358.75/358.87 c | 766781 | 28494 213074 849745 | 2147483647 60732 36 | 2.388 % |
360.25/360.37 c | 770877 | 28443 213074 849745 | 2147483647 64827 35 | 3.015 % |
360.45/360.55 c | 771389 | 28443 213074 849745 | 2147483647 65339 35 | 3.015 % |
360.55/360.67 c | 771901 | 28443 213074 849745 | 2147483647 65851 35 | 3.015 % |
361.15/361.23 c | 772926 | 28443 213074 849745 | 2147483647 66876 36 | 3.015 % |
361.35/361.42 c | 773438 | 28311 209273 832798 | 2147483647 67382 36 | 3.015 % |
361.65/361.74 c | 773951 | 28311 209273 832798 | 2147483647 67895 36 | 3.015 % |
361.95/362.09 c | 774975 | 28311 209273 832798 | 2147483647 68919 36 | 3.015 % |
363.15/363.22 c | 777024 | 28311 209273 832798 | 2147483647 70968 36 | 3.015 % |
363.35/363.43 c | 777537 | 28311 209273 832798 | 2147483647 71481 36 | 3.015 % |
363.65/363.76 c | 778051 | 28311 209273 832798 | 2147483647 71995 36 | 3.015 % |
364.05/364.16 c | 779076 | 28311 209273 832798 | 2147483647 73020 36 | 3.015 % |
364.15/364.31 c | 779589 | 28308 209273 832798 | 2147483647 73532 36 | 3.152 % |
364.35/364.41 c | 780102 | 28308 209273 832798 | 2147483647 74045 36 | 3.152 % |
364.55/364.65 c | 781126 | 28308 209273 832798 | 2147483647 75069 36 | 3.152 % |
365.35/365.44 c | 783174 | 28308 209273 832798 | 2147483647 77117 36 | 3.152 % |
367.35/367.46 c | 787274 | 28308 209273 832798 | 2147483647 81217 37 | 3.152 % |
370.45/370.58 c | 795467 | 28271 207912 828076 | 2147483647 89409 38 | 3.152 % |
370.75/370.89 c | 795979 | 28271 207912 828076 | 2147483647 89921 38 | 3.152 % |
371.05/371.14 c | 796491 | 28271 207912 828076 | 2147483647 90433 38 | 3.152 % |
371.35/371.47 c | 797515 | 28271 207912 828076 | 2147483647 91457 38 | 3.152 % |
371.45/371.59 c | 798029 | 28271 207912 828076 | 2147483647 91971 38 | 3.152 % |
371.65/371.76 c | 798543 | 28271 207912 828076 | 2147483647 92485 38 | 3.152 % |
372.55/372.66 c | 799567 | 28271 207912 828076 | 2147483647 93509 38 | 3.152 % |
373.95/374.10 c | 801616 | 28270 207912 828076 | 93942 95557 39 | 3.155 % |
374.45/374.52 c | 802128 | 28270 207846 827851 | 93942 72813 36 | 3.155 % |
374.55/374.67 c | 802640 | 28270 207846 827851 | 93942 73325 36 | 3.155 % |
375.05/375.21 c | 803665 | 28270 207846 827851 | 93942 74350 36 | 3.155 % |
375.25/375.39 c | 804178 | 28270 207846 827851 | 93942 74863 36 | 3.155 % |
375.45/375.56 c | 804690 | 28270 207846 827851 | 93942 75375 36 | 3.155 % |
375.95/376.02 c | 805714 | 28270 207846 827851 | 93942 76399 36 | 3.155 % |
376.65/376.74 c | 807763 | 28270 207846 827851 | 93942 78448 36 | 3.155 % |
378.55/378.63 c | 811860 | 28270 207846 827851 | 80686 82545 37 | 3.155 % |
378.85/378.97 c | 812374 | 28270 207846 827851 | 80686 71513 37 | 3.155 % |
378.95/379.09 c | 812891 | 28270 207846 827851 | 80686 72030 37 | 3.155 % |
379.35/379.44 c | 813916 | 28270 207846 827851 | 80686 73055 37 | 3.155 % |
379.55/379.62 c | 814428 | 28270 207846 827851 | 80686 73567 37 | 3.155 % |
379.85/379.95 c | 814941 | 28270 207846 827851 | 80686 74080 37 | 3.155 % |
380.35/380.50 c | 815967 | 28270 207846 827851 | 80686 75106 37 | 3.155 % |
381.05/381.13 c | 818016 | 28270 207846 827851 | 80686 77155 37 | 3.155 % |
381.15/381.27 c | 818528 | 28270 207846 827851 | 80686 77667 37 | 3.155 % |
381.25/381.37 c | 819040 | 28270 207846 827851 | 80686 78179 37 | 3.155 % |
381.45/381.60 c | 820064 | 28270 207846 827851 | 79139 79203 37 | 3.155 % |
381.65/381.81 c | 820576 | 28270 207846 827851 | 79139 79715 37 | 3.155 % |
382.05/382.17 c | 821088 | 28270 207846 827851 | 79139 80227 38 | 3.155 % |
382.25/382.35 c | 822112 | 28270 207846 827851 | 79139 71715 38 | 3.155 % |
382.55/382.70 c | 824160 | 28270 207846 827851 | 79139 73763 38 | 3.155 % |
384.45/384.51 c | 828256 | 28270 207846 827851 | 79139 77859 39 | 3.155 % |
386.85/387.00 c | 836450 | 28270 207846 827851 | 79604 86053 39 | 3.155 % |
392.35/392.50 c | 852834 | 28270 207846 827851 | 69910 72744 36 | 3.155 % |
392.55/392.67 c | 853348 | 28270 207846 827851 | 69910 61808 36 | 3.155 % |
392.85/392.97 c | 853860 | 28270 207846 827851 | 69910 62320 36 | 3.155 % |
393.15/393.27 c | 854885 | 28270 207846 827851 | 69910 63345 36 | 3.155 % |
393.35/393.44 c | 855397 | 28270 207846 827851 | 69910 63857 36 | 3.155 % |
393.65/393.77 c | 855910 | 28270 207846 827851 | 69910 64370 36 | 3.155 % |
393.95/394.04 c | 856935 | 28270 207846 827851 | 69910 65395 36 | 3.155 % |
394.75/394.90 c | 858983 | 28270 207846 827851 | 69910 67443 36 | 3.155 % |
394.95/395.04 c | 859496 | 28270 207846 827851 | 69910 67956 36 | 3.155 % |
395.05/395.16 c | 860009 | 28270 207846 827851 | 68460 68469 36 | 3.155 % |
395.15/395.31 c | 861033 | 28270 207846 827851 | 68460 69493 36 | 3.155 % |
395.55/395.64 c | 861547 | 28270 207846 827851 | 68460 59396 34 | 3.155 % |
395.75/395.88 c | 862059 | 28270 207846 827851 | 68460 59908 34 | 3.155 % |
396.05/396.17 c | 863083 | 28270 207846 827851 | 68460 60932 34 | 3.155 % |
396.95/397.06 c | 865136 | 28270 207846 827851 | 68460 62985 34 | 3.155 % |
398.15/398.28 c | 869235 | 28270 207846 827851 | 68460 67084 34 | 3.155 % |
398.45/398.56 c | 869747 | 28270 207846 827851 | 68460 67596 34 | 3.155 % |
398.65/398.79 c | 870259 | 28270 207846 827851 | 67850 68108 34 | 3.155 % |
399.35/399.47 c | 871283 | 28270 207846 827851 | 67850 69132 34 | 3.155 % |
399.75/399.81 c | 871797 | 28270 207846 827851 | 67850 62733 34 | 3.155 % |
399.95/400.07 c | 872309 | 28270 207846 827851 | 67850 63245 34 | 3.155 % |
400.45/400.51 c | 873338 | 28270 207846 827851 | 67850 64274 34 | 3.155 % |
401.45/401.56 c | 875386 | 28270 207846 827851 | 67850 66322 34 | 3.155 % |
401.75/401.82 c | 875898 | 28270 207846 827851 | 67850 66834 34 | 3.155 % |
401.95/402.08 c | 876411 | 28270 207846 827851 | 67850 67347 34 | 3.155 % |
402.25/402.38 c | 877443 | 28270 207846 827851 | 67850 68379 34 | 3.155 % |
402.55/402.65 c | 877956 | 28270 207846 827851 | 67850 68892 34 | 3.155 % |
402.75/402.89 c | 878468 | 28270 207846 827851 | 67850 61968 32 | 3.155 % |
403.05/403.18 c | 879492 | 28270 207846 827851 | 67850 62992 32 | 3.155 % |
404.05/404.12 c | 881540 | 28270 207846 827851 | 63500 65040 32 | 3.155 % |
405.25/405.35 c | 885636 | 28270 207846 827851 | 63500 59224 33 | 3.155 % |
409.95/410.05 c | 893829 | 28269 207776 827674 | 63586 60850 33 | 3.159 % |
410.35/410.43 c | 894343 | 28269 207776 827674 | 63586 61364 34 | 3.159 % |
410.45/410.56 c | 894855 | 28269 207776 827674 | 63586 61876 34 | 3.159 % |
410.95/411.04 c | 895880 | 28269 207776 827674 | 63586 62901 34 | 3.159 % |
411.15/411.27 c | 896392 | 28269 207776 827674 | 63586 63413 34 | 3.159 % |
411.36/411.44 c | 896904 | 28269 207776 827674 | 63586 63925 34 | 3.159 % |
411.85/412.00 c | 897928 | 28269 207776 827674 | 63586 64949 34 | 3.159 % |
412.46/412.52 c | 899978 | 28269 207776 827674 | 63586 60505 33 | 3.159 % |
412.65/412.72 c | 900490 | 28269 207776 827674 | 2147483647 61017 33 | 3.159 % |
412.85/412.96 c | 901003 | 28269 207776 827674 | 2147483647 61530 33 | 3.159 % |
413.05/413.19 c | 902027 | 28269 207776 827674 | 2147483647 62554 33 | 3.159 % |
413.25/413.37 c | 902539 | 28269 207776 827674 | 2147483647 63066 33 | 3.159 % |
413.56/413.64 c | 903054 | 28269 207776 827674 | 2147483647 63581 33 | 3.159 % |
413.85/413.92 c | 904079 | 28269 207776 827674 | 2147483647 64606 33 | 3.159 % |
414.35/414.49 c | 906128 | 28269 207776 827674 | 2147483647 66655 33 | 3.159 % |
415.85/415.97 c | 910226 | 28269 207776 827674 | 70531 70753 34 | 3.159 % |
416.15/416.25 c | 910738 | 28269 207776 827674 | 70531 71265 34 | 3.159 % |
416.35/416.50 c | 911251 | 28269 207776 827674 | 70531 71778 34 | 3.159 % |
416.86/416.99 c | 912275 | 28269 207776 827674 | 70531 62635 34 | 3.159 % |
417.25/417.37 c | 912787 | 28269 207776 827674 | 70531 63147 34 | 3.159 % |
417.45/417.56 c | 913299 | 28269 207776 827674 | 70531 63659 34 | 3.159 % |
418.25/418.38 c | 914323 | 28269 207776 827674 | 70531 64683 34 | 3.159 % |
418.95/419.04 c | 916371 | 28269 207776 827674 | 70531 66731 34 | 3.159 % |
419.06/419.16 c | 916883 | 28269 207776 827674 | 70531 67243 34 | 3.159 % |
419.25/419.40 c | 917395 | 28269 207776 827674 | 70531 67755 34 | 3.159 % |
419.65/419.78 c | 918420 | 28269 207776 827674 | 70531 68780 34 | 3.159 % |
419.95/420.03 c | 918933 | 28269 207776 827674 | 70531 69293 34 | 3.159 % |
420.05/420.20 c | 919445 | 28269 207776 827674 | 70531 69805 34 | 3.159 % |
420.65/420.72 c | 920469 | 28269 207776 827674 | 2147483647 70829 34 | 3.159 % |
421.45/421.59 c | 922519 | 28269 207776 827674 | 2147483647 72879 35 | 3.159 % |
423.35/423.48 c | 926617 | 28269 207776 827674 | 2147483647 76977 35 | 3.159 % |
426.25/426.34 c | 934809 | 28262 207722 827475 | 80358 85167 35 | 3.186 % |
436.95/437.08 c | 951193 | 28262 207722 827475 | 2147483647 72459 33 | 3.186 % |
456.46/456.59 c | 983961 | 28261 207621 827116 | 81289 85249 48 | 3.186 % |
485.76/485.82 c | 1049497 | 28261 207621 827116 | 64496 60724 42 | 3.186 % |
560.76/560.89 c | 1180570 | 28260 207555 826892 | 2147483647 84535 42 | 3.189 % |
561.06/561.15 c | 1181082 | 28260 207555 826892 | 2147483647 85047 42 | 3.189 % |
561.46/561.54 c | 1181597 | 28260 207555 826892 | 2147483647 85562 42 | 3.189 % |
561.96/562.05 c | 1182621 | 28259 207548 826871 | 2147483647 86574 42 | 3.193 % |
562.07/562.20 c | 1183133 | 28259 207548 826871 | 2147483647 87086 42 | 3.193 % |
562.46/562.56 c | 1183646 | 28259 207548 826871 | 2147483647 87599 42 | 3.193 % |
562.86/563.01 c | 1184671 | 28259 207548 826871 | 2147483647 88624 42 | 3.193 % |
564.06/564.15 c | 1186721 | 28259 207548 826871 | 2147483647 90674 42 | 3.193 % |
564.17/564.31 c | 1187234 | 28259 207548 826871 | 2147483647 91187 42 | 3.193 % |
564.47/564.59 c | 1187747 | 28259 207548 826871 | 2147483647 91700 42 | 3.193 % |
564.97/565.07 c | 1188771 | 28259 207548 826871 | 2147483647 92724 42 | 3.193 % |
565.27/565.33 c | 1189284 | 28259 207548 826871 | 2147483647 93237 42 | 3.193 % |
565.37/565.46 c | 1189797 | 28259 207548 826871 | 2147483647 93750 42 | 3.193 % |
565.87/565.95 c | 1190822 | 28259 207548 826871 | 93953 94775 42 | 3.193 % |
566.07/566.21 c | 1192870 | 28259 207548 826871 | 93953 96823 42 | 3.193 % |
567.37/567.50 c | 1196967 | 28259 207548 826871 | 93953 83789 41 | 3.193 % |
567.47/567.56 c | 1197480 | 28259 207548 826871 | 93953 84302 41 | 3.193 % |
567.87/567.99 c | 1197992 | 28259 207548 826871 | 93953 84814 41 | 3.193 % |
568.07/568.21 c | 1199016 | 28259 207548 826871 | 93953 85838 41 | 3.193 % |
568.27/568.41 c | 1199529 | 28259 207548 826871 | 93953 86351 41 | 3.193 % |
568.37/568.51 c | 1200041 | 28259 207548 826871 | 86823 86863 41 | 3.193 % |
568.87/568.95 c | 1201065 | 28259 207548 826871 | 86823 87887 41 | 3.193 % |
569.67/569.74 c | 1203113 | 28259 207548 826871 | 86823 71261 38 | 3.193 % |
569.97/570.08 c | 1203626 | 28259 207548 826871 | 86823 71774 39 | 3.193 % |
570.17/570.25 c | 1204139 | 28259 207548 826871 | 86823 72287 38 | 3.193 % |
570.47/570.58 c | 1205163 | 28259 207548 826871 | 86823 73311 39 | 3.193 % |
570.67/570.82 c | 1205677 | 28259 207548 826871 | 86823 73825 39 | 3.193 % |
570.87/571.01 c | 1206189 | 28259 207548 826871 | 86823 74337 39 | 3.193 % |
571.27/571.42 c | 1207213 | 28259 207548 826871 | 86823 75361 38 | 3.193 % |
571.97/572.06 c | 1209261 | 28259 207548 826871 | 86823 77409 38 | 3.193 % |
572.77/572.87 c | 1213357 | 28259 207548 826871 | 78149 67121 36 | 3.193 % |
575.27/575.38 c | 1221549 | 28259 207548 826871 | 2147483647 75313 37 | 3.193 % |
575.37/575.48 c | 1222063 | 28259 207548 826871 | 2147483647 75827 37 | 3.193 % |
575.67/575.74 c | 1222576 | 28259 207548 826871 | 2147483647 76340 37 | 3.193 % |
575.97/576.08 c | 1223600 | 28259 207548 826871 | 2147483647 77364 37 | 3.193 % |
576.17/576.27 c | 1224114 | 28259 207548 826871 | 2147483647 77878 37 | 3.193 % |
576.47/576.57 c | 1224627 | 28259 207548 826871 | 2147483647 78391 37 | 3.193 % |
576.87/576.98 c | 1225651 | 28259 207548 826871 | 2147483647 79415 37 | 3.193 % |
577.47/577.59 c | 1227699 | 28259 207548 826871 | 2147483647 81463 37 | 3.193 % |
577.87/577.94 c | 1228211 | 28259 207548 826871 | 2147483647 81975 37 | 3.193 % |
578.07/578.19 c | 1228724 | 28259 207548 826871 | 2147483647 82488 37 | 3.193 % |
578.47/578.56 c | 1229748 | 28259 207548 826871 | 2147483647 83512 37 | 3.193 % |
578.77/578.85 c | 1230261 | 28259 207548 826871 | 83764 84025 37 | 3.193 % |
579.07/579.15 c | 1230773 | 28259 207548 826871 | 83764 84537 37 | 3.193 % |
579.37/579.51 c | 1231799 | 28259 207548 826871 | 83764 85563 37 | 3.193 % |
579.97/580.07 c | 1233847 | 28259 207548 826871 | 83764 75485 35 | 3.193 % |
581.37/581.43 c | 1237943 | 28259 207548 826871 | 83764 79581 35 | 3.193 % |
581.57/581.69 c | 1238456 | 28259 207548 826871 | 83764 80094 35 | 3.193 % |
581.77/581.85 c | 1238968 | 28259 207548 826871 | 83764 80606 35 | 3.193 % |
582.17/582.28 c | 1239992 | 28259 207548 826871 | 83764 81630 35 | 3.193 % |
582.37/582.44 c | 1240505 | 28259 207548 826871 | 81638 82143 35 | 3.193 % |
582.57/582.65 c | 1241017 | 28259 207548 826871 | 81638 82655 35 | 3.193 % |
582.77/582.90 c | 1242041 | 28259 207548 826871 | 81638 68985 35 | 3.193 % |
583.57/583.72 c | 1244089 | 28259 207548 826871 | 81638 71033 35 | 3.193 % |
583.87/584.02 c | 1244601 | 28259 207548 826871 | 81638 71545 35 | 3.193 % |
584.07/584.21 c | 1245113 | 28259 207548 826871 | 81638 72057 35 | 3.193 % |
584.57/584.69 c | 1246137 | 28259 207548 826871 | 81638 73081 35 | 3.193 % |
584.77/584.88 c | 1246649 | 28259 207548 826871 | 81638 73593 35 | 3.193 % |
585.17/585.24 c | 1247161 | 28259 207548 826871 | 81638 74105 35 | 3.193 % |
585.37/585.49 c | 1248185 | 28259 207548 826871 | 81638 75129 35 | 3.193 % |
586.27/586.41 c | 1250233 | 28259 207548 826871 | 76945 77177 35 | 3.193 % |
587.67/587.74 c | 1254329 | 28259 207548 826871 | 76945 64797 34 | 3.193 % |
589.57/589.71 c | 1262522 | 28259 207548 826871 | 70468 72990 34 | 3.193 % |
601.67/601.79 c | 1278907 | 28259 207548 826871 | 2147483647 71310 36 | 3.193 % |
601.87/601.98 c | 1279419 | 28259 207548 826871 | 2147483647 71822 36 | 3.193 % |
602.17/602.28 c | 1279931 | 28259 207548 826871 | 2147483647 72334 36 | 3.193 % |
602.97/603.03 c | 1280957 | 28259 207548 826871 | 2147483647 73360 36 | 3.193 % |
603.17/603.29 c | 1281470 | 28259 207548 826871 | 2147483647 73873 36 | 3.193 % |
603.37/603.48 c | 1281984 | 28259 207548 826871 | 2147483647 74387 36 | 3.193 % |
603.77/603.90 c | 1283009 | 28259 207548 826871 | 2147483647 75412 36 | 3.193 % |
604.37/604.47 c | 1285057 | 28259 207548 826871 | 2147483647 77460 36 | 3.193 % |
604.57/604.71 c | 1285569 | 28259 207548 826871 | 2147483647 77972 36 | 3.193 % |
604.77/604.85 c | 1286082 | 28259 207548 826871 | 2147483647 78485 36 | 3.193 % |
605.57/605.66 c | 1287106 | 28259 207548 826871 | 2147483647 79509 36 | 3.193 % |
605.87/606.00 c | 1287618 | 28259 207548 826871 | 2147483647 80021 37 | 3.193 % |
606.07/606.16 c | 1288130 | 28259 207548 826871 | 2147483647 80533 37 | 3.193 % |
606.37/606.49 c | 1289154 | 28259 207548 826871 | 2147483647 81557 36 | 3.193 % |
607.67/607.81 c | 1291203 | 28259 207548 826871 | 82403 83606 37 | 3.193 % |
609.27/609.34 c | 1295301 | 28259 207548 826871 | 82403 77456 38 | 3.193 % |
609.47/609.57 c | 1295813 | 28259 207548 826871 | 82403 77968 38 | 3.193 % |
609.77/609.88 c | 1296325 | 28259 207548 826871 | 82403 78480 38 | 3.193 % |
610.17/610.25 c | 1297349 | 28259 207548 826871 | 82403 79504 38 | 3.193 % |
610.37/610.48 c | 1297863 | 28259 207548 826871 | 82403 80018 38 | 3.193 % |
610.87/610.92 c | 1298376 | 28259 207548 826871 | 82403 80531 38 | 3.193 % |
611.57/611.66 c | 1299400 | 28259 207548 826871 | 82403 81555 38 | 3.193 % |
612.27/612.35 c | 1301451 | 28259 207548 826871 | 82155 83606 38 | 3.193 % |
612.57/612.71 c | 1301964 | 28259 207548 826871 | 82155 72726 38 | 3.193 % |
612.87/612.93 c | 1302477 | 28259 207548 826871 | 82155 73239 38 | 3.193 % |
613.07/613.15 c | 1303501 | 28259 207548 826871 | 82155 74263 38 | 3.193 % |
613.17/613.30 c | 1304014 | 28259 207548 826871 | 82155 74776 38 | 3.193 % |
613.57/613.62 c | 1304526 | 28259 207548 826871 | 82155 75288 38 | 3.193 % |
613.77/613.85 c | 1305552 | 28259 207548 826871 | 82155 76314 38 | 3.193 % |
614.57/614.69 c | 1307601 | 28259 207548 826871 | 82155 78363 38 | 3.193 % |
615.87/615.97 c | 1311697 | 28259 207548 826871 | 80763 82459 38 | 3.193 % |
619.47/619.62 c | 1319889 | 28255 207490 826667 | 80763 71560 38 | 3.207 % |
619.87/619.98 c | 1320402 | 28255 207490 826667 | 71671 72073 38 | 3.206 % |
620.07/620.12 c | 1320914 | 28255 207490 826667 | 71671 72585 38 | 3.206 % |
620.77/620.88 c | 1321938 | 28255 207490 826667 | 71671 63647 35 | 3.220 % |
620.97/621.07 c | 1322451 | 28255 207490 826667 | 71671 64160 35 | 3.220 % |
621.17/621.31 c | 1322966 | 28255 207490 826667 | 71671 64675 35 | 3.220 % |
621.97/622.11 c | 1323990 | 28255 207490 826667 | 71671 65699 35 | 3.220 % |
622.67/622.72 c | 1326038 | 28255 207490 826667 | 71671 67747 35 | 3.220 % |
622.97/623.05 c | 1326551 | 28255 207490 826667 | 71671 68260 35 | 3.220 % |
623.27/623.34 c | 1327066 | 28251 207437 826527 | 71671 68775 35 | 3.220 % |
623.57/623.63 c | 1328093 | 28251 207437 826527 | 71671 69802 35 | 3.220 % |
623.67/623.75 c | 1328605 | 28251 207437 826527 | 71671 70314 35 | 3.220 % |
623.97/624.04 c | 1329117 | 28251 207437 826527 | 71671 70826 35 | 3.220 % |
624.37/624.46 c | 1330144 | 28251 207437 826527 | 71710 71853 35 | 3.220 % |
625.37/625.44 c | 1332193 | 28251 207437 826527 | 71710 73902 35 | 3.220 % |
627.67/627.77 c | 1336294 | 28251 207437 826527 | 71710 66567 34 | 3.220 % |
627.87/627.96 c | 1336806 | 28251 207437 826527 | 71710 67079 34 | 3.220 % |
628.17/628.26 c | 1337318 | 28251 207437 826527 | 71710 67591 34 | 3.220 % |
628.47/628.60 c | 1338344 | 28251 207437 826527 | 71710 68617 34 | 3.220 % |
628.87/628.97 c | 1338858 | 28251 207437 826527 | 71710 69131 34 | 3.220 % |
629.17/629.24 c | 1339371 | 28251 207437 826527 | 71710 69644 34 | 3.220 % |
629.27/629.41 c | 1340397 | 28251 207437 826527 | 2147483647 70670 34 | 3.220 % |
629.97/630.06 c | 1342446 | 28251 207437 826527 | 2147483647 72719 34 | 3.220 % |
630.37/630.44 c | 1342959 | 28251 207437 826527 | 2147483647 73232 34 | 3.220 % |
630.57/630.65 c | 1343472 | 28251 207437 826527 | 2147483647 73745 34 | 3.220 % |
631.17/631.27 c | 1344496 | 28251 207437 826527 | 2147483647 74769 34 | 3.220 % |
631.37/631.46 c | 1345008 | 28251 207437 826527 | 2147483647 75281 34 | 3.220 % |
631.57/631.71 c | 1345520 | 28251 207437 826527 | 2147483647 75793 34 | 3.220 % |
631.87/631.97 c | 1346546 | 28251 207437 826527 | 2147483647 76819 34 | 3.220 % |
633.67/633.81 c | 1348594 | 28251 207437 826527 | 2147483647 78867 34 | 3.220 % |
634.87/634.94 c | 1352690 | 28245 207389 826362 | 2147483647 82962 34 | 3.241 % |
641.28/641.35 c | 1360882 | 28245 207389 826362 | 2147483647 91154 35 | 3.241 % |
645.47/645.61 c | 1377267 | 28245 207389 826362 | 2147483647 107539 35 | 3.241 % |
667.97/668.03 c | 1410036 | 28245 207389 826362 | 2147483647 80163 40 | 3.241 % |
668.27/668.33 c | 1410548 | 28245 207389 826362 | 2147483647 80675 40 | 3.241 % |
668.37/668.44 c | 1411060 | 28245 207389 826362 | 2147483647 81187 40 | 3.241 % |
668.67/668.76 c | 1412090 | 28245 207389 826362 | 2147483647 82217 40 | 3.241 % |
668.97/669.05 c | 1412603 | 28245 207389 826362 | 2147483647 82730 40 | 3.241 % |
669.17/669.31 c | 1413115 | 28245 207389 826362 | 2147483647 83242 40 | 3.241 % |
669.67/669.78 c | 1414141 | 28245 207389 826362 | 2147483647 84268 40 | 3.241 % |
670.37/670.50 c | 1416189 | 28245 207389 826362 | 2147483647 86316 40 | 3.241 % |
670.87/671.00 c | 1416701 | 28245 207389 826362 | 2147483647 86828 40 | 3.241 % |
671.27/671.32 c | 1417213 | 28245 207389 826362 | 2147483647 87340 40 | 3.241 % |
671.97/672.09 c | 1418238 | 28230 207127 825413 | 2147483647 88363 40 | 3.292 % |
672.27/672.32 c | 1418750 | 28230 207127 825413 | 2147483647 88875 40 | 3.292 % |
672.47/672.60 c | 1419264 | 28230 207127 825413 | 2147483647 89389 40 | 3.292 % |
672.87/672.93 c | 1420289 | 28230 207127 825413 | 2147483647 90414 40 | 3.292 % |
673.77/673.89 c | 1422337 | 28230 207127 825413 | 2147483647 92462 40 | 3.292 % |
675.47/675.61 c | 1426436 | 28230 207127 825413 | 2147483647 96561 41 | 3.292 % |
675.77/675.89 c | 1426949 | 28230 207127 825413 | 2147483647 97074 41 | 3.292 % |
675.97/676.09 c | 1427461 | 28230 207127 825413 | 2147483647 97586 41 | 3.292 % |
676.77/676.89 c | 1428485 | 28230 207127 825413 | 2147483647 98610 41 | 3.292 % |
677.17/677.25 c | 1429000 | 28230 207127 825413 | 2147483647 99125 41 | 3.292 % |
677.37/677.50 c | 1429514 | 28230 207127 825413 | 2147483647 99639 41 | 3.292 % |
677.88/678.01 c | 1430539 | 28230 207127 825413 | 100126 100664 40 | 3.292 % |
678.98/679.11 c | 1432587 | 28230 207127 825413 | 100126 102712 40 | 3.292 % |
679.48/679.57 c | 1433102 | 28230 207127 825413 | 100126 90013 41 | 3.292 % |
679.78/679.83 c | 1433616 | 28230 207127 825413 | 100126 90527 41 | 3.292 % |
680.27/680.35 c | 1434640 | 28230 207127 825413 | 100126 91551 41 | 3.292 % |
680.37/680.50 c | 1435152 | 28230 207127 825413 | 100126 92063 41 | 3.292 % |
680.67/680.73 c | 1435664 | 28230 207127 825413 | 100126 92575 41 | 3.292 % |
680.97/681.05 c | 1436690 | 28230 207127 825413 | 100126 93601 41 | 3.292 % |
682.07/682.13 c | 1438738 | 28230 207127 825413 | 100126 95649 41 | 3.292 % |
683.77/683.84 c | 1442835 | 28229 207099 825336 | 96911 99745 41 | 3.296 % |
686.67/686.72 c | 1451027 | 28229 207099 825336 | 87497 88521 42 | 3.296 % |
686.87/687.01 c | 1451539 | 28229 207099 825336 | 87497 67451 38 | 3.296 % |
687.07/687.16 c | 1452053 | 28229 207099 825336 | 87497 67965 38 | 3.296 % |
687.67/687.73 c | 1453079 | 28229 207099 825336 | 87497 68991 37 | 3.296 % |
687.77/687.85 c | 1453594 | 28229 207099 825336 | 87497 69506 37 | 3.296 % |
687.97/688.11 c | 1454106 | 28229 207099 825336 | 87497 70018 37 | 3.296 % |
688.47/688.60 c | 1455130 | 28229 207099 825336 | 87497 71042 38 | 3.296 % |
689.17/689.23 c | 1457179 | 28229 207099 825336 | 87497 73091 38 | 3.296 % |
689.37/689.46 c | 1457691 | 28229 207099 825336 | 87497 73603 38 | 3.296 % |
689.57/689.68 c | 1458207 | 28229 207099 825336 | 87497 74119 38 | 3.296 % |
689.97/690.08 c | 1459232 | 28229 207099 825336 | 87497 75144 38 | 3.296 % |
690.17/690.28 c | 1459746 | 28229 207099 825336 | 87497 75658 38 | 3.296 % |
690.37/690.44 c | 1460258 | 28229 207099 825336 | 75912 76170 38 | 3.296 % |
690.77/690.87 c | 1461284 | 28229 207099 825336 | 75912 77196 38 | 3.296 % |
691.57/691.71 c | 1463334 | 28229 207099 825336 | 75912 69403 37 | 3.296 % |
692.97/693.06 c | 1467433 | 28229 207099 825336 | 75912 73502 37 | 3.296 % |
693.37/693.43 c | 1467945 | 28229 207099 825336 | 75912 74014 37 | 3.296 % |
693.47/693.60 c | 1468457 | 28229 207099 825336 | 75912 74526 37 | 3.296 % |
694.07/694.14 c | 1469483 | 28229 207099 825336 | 75912 75552 38 | 3.296 % |
694.27/694.34 c | 1469996 | 28229 207099 825336 | 75912 76065 37 | 3.296 % |
694.47/694.57 c | 1470508 | 28229 207099 825336 | 2147483647 76577 37 | 3.296 % |
694.77/694.88 c | 1471532 | 28229 207099 825336 | 2147483647 77601 37 | 3.296 % |
695.47/695.59 c | 1473580 | 28229 207099 825336 | 2147483647 79649 38 | 3.296 % |
695.77/695.91 c | 1474094 | 28229 207099 825336 | 2147483647 80163 38 | 3.296 % |
695.97/696.05 c | 1474606 | 28229 207099 825336 | 2147483647 80675 38 | 3.296 % |
696.27/696.35 c | 1475630 | 28229 207099 825336 | 2147483647 81699 38 | 3.296 % |
696.57/696.67 c | 1476142 | 28229 207099 825336 | 2147483647 82211 38 | 3.296 % |
696.87/696.95 c | 1476654 | 28229 207099 825336 | 2147483647 82723 38 | 3.296 % |
697.26/697.33 c | 1477678 | 28229 207099 825336 | 2147483647 83747 38 | 3.296 % |
698.16/698.23 c | 1479728 | 28229 207099 825336 | 2147483647 85797 38 | 3.296 % |
699.26/699.40 c | 1483825 | 28229 207099 825336 | 86070 89894 38 | 3.296 % |
702.66/702.78 c | 1492017 | 28229 207099 825336 | 79076 81092 37 | 3.296 % |
709.36/709.45 c | 1508406 | 28229 207099 825336 | 67714 66224 35 | 3.296 % |
709.56/709.64 c | 1508923 | 28229 207099 825336 | 67714 66741 35 | 3.296 % |
709.76/709.87 c | 1509435 | 28229 207099 825336 | 67714 67253 35 | 3.296 % |
710.16/710.29 c | 1510461 | 28229 207099 825336 | 67819 68279 35 | 3.296 % |
710.46/710.58 c | 1510973 | 28229 207099 825336 | 67819 68791 35 | 3.296 % |
710.66/710.78 c | 1511485 | 28229 207099 825336 | 67819 60555 34 | 3.296 % |
711.36/711.43 c | 1512510 | 28229 207099 825336 | 67819 61580 34 | 3.296 % |
712.06/712.13 c | 1514558 | 28229 207099 825336 | 67819 63628 34 | 3.296 % |
712.16/712.23 c | 1515070 | 28229 207099 825336 | 67819 64140 34 | 3.296 % |
712.46/712.55 c | 1515585 | 28229 207099 825336 | 67819 64655 35 | 3.296 % |
712.96/713.10 c | 1516609 | 28229 207099 825336 | 67819 65679 35 | 3.296 % |
713.26/713.38 c | 1517121 | 28229 207099 825336 | 67819 66191 35 | 3.296 % |
713.56/713.62 c | 1517633 | 28229 207099 825336 | 67819 66703 35 | 3.296 % |
713.86/713.94 c | 1518657 | 28229 207099 825336 | 67819 67727 35 | 3.296 % |
714.26/714.36 c | 1520709 | 28229 207099 825336 | 2147483647 69779 35 | 3.296 % |
716.46/716.60 c | 1524805 | 28229 207099 825336 | 2147483647 73875 35 | 3.296 % |
716.76/716.81 c | 1525319 | 28229 207099 825336 | 2147483647 74389 35 | 3.296 % |
716.96/717.05 c | 1525833 | 28229 207099 825336 | 2147483647 74903 35 | 3.296 % |
717.86/717.99 c | 1526858 | 28229 207099 825336 | 2147483647 75928 35 | 3.296 % |
718.26/718.32 c | 1527371 | 28229 207099 825336 | 2147483647 76441 35 | 3.296 % |
718.46/718.57 c | 1527888 | 28229 207099 825336 | 2147483647 76958 35 | 3.296 % |
718.76/718.82 c | 1528912 | 28229 207099 825336 | 2147483647 77982 35 | 3.296 % |
719.56/719.65 c | 1530960 | 28229 207099 825336 | 2147483647 80030 36 | 3.296 % |
719.76/719.89 c | 1531472 | 28229 207099 825336 | 2147483647 80542 36 | 3.296 % |
720.06/720.20 c | 1531984 | 28229 207099 825336 | 2147483647 81054 36 | 3.296 % |
720.56/720.64 c | 1533009 | 28229 207099 825336 | 2147483647 82079 36 | 3.296 % |
720.66/720.73 c | 1533521 | 28229 207099 825336 | 2147483647 82591 36 | 3.296 % |
720.96/721.03 c | 1534035 | 28229 207099 825336 | 2147483647 83105 36 | 3.296 % |
721.46/721.51 c | 1535060 | 28229 207099 825336 | 2147483647 84130 36 | 3.296 % |
722.16/722.25 c | 1537109 | 28229 207099 825336 | 2147483647 86179 37 | 3.296 % |
724.46/724.56 c | 1541205 | 28229 207099 825336 | 89070 90275 37 | 3.296 % |
728.26/728.36 c | 1549397 | 28229 207099 825336 | 89070 81498 37 | 3.296 % |
728.66/728.70 c | 1549909 | 28229 207099 825336 | 89070 82010 37 | 3.296 % |
728.86/728.94 c | 1550427 | 28229 207099 825336 | 82101 82528 37 | 3.296 % |
729.96/730.03 c | 1551451 | 28229 207099 825336 | 82101 83552 37 | 3.296 % |
730.36/730.47 c | 1551963 | 28229 207099 825336 | 82101 68153 37 | 3.296 % |
730.56/730.70 c | 1552476 | 28229 207099 825336 | 82101 68666 37 | 3.296 % |
731.16/731.28 c | 1553502 | 28229 207099 825336 | 82101 69692 37 | 3.296 % |
732.16/732.24 c | 1555550 | 28229 207099 825336 | 82101 71740 38 | 3.296 % |
732.36/732.50 c | 1556062 | 28229 207099 825336 | 82101 72252 38 | 3.296 % |
732.76/732.89 c | 1556577 | 28227 207090 825312 | 82101 72765 38 | 3.302 % |
733.06/733.17 c | 1557602 | 28227 207090 825312 | 82101 73790 38 | 3.302 % |
733.36/733.42 c | 1558114 | 28227 207090 825312 | 82101 74302 38 | 3.302 % |
733.76/733.83 c | 1558628 | 28227 207090 825312 | 82101 74816 38 | 3.302 % |
734.16/734.27 c | 1559652 | 28227 207090 825312 | 82101 75840 38 | 3.302 % |
735.46/735.55 c | 1561700 | 28227 207090 825312 | 76188 77888 38 | 3.302 % |
737.46/737.55 c | 1565796 | 28227 207090 825312 | 76188 70342 37 | 3.302 % |
737.76/737.87 c | 1566308 | 28227 207090 825312 | 76188 70854 37 | 3.302 % |
738.06/738.18 c | 1566821 | 28227 207090 825312 | 76188 71367 37 | 3.302 % |
738.66/738.76 c | 1567846 | 28227 207090 825312 | 76188 72392 37 | 3.302 % |
738.96/739.09 c | 1568361 | 28227 207090 825312 | 76188 72907 37 | 3.302 % |
739.26/739.40 c | 1568873 | 28227 207090 825312 | 76188 73419 37 | 3.302 % |
739.66/739.74 c | 1569897 | 28227 207090 825312 | 76188 74443 37 | 3.302 % |
740.96/741.02 c | 1571947 | 28227 207090 825312 | 74546 76493 38 | 3.302 % |
741.16/741.31 c | 1572461 | 28227 207090 825312 | 74546 69358 38 | 3.302 % |
741.46/741.59 c | 1572975 | 28227 207090 825312 | 74546 69872 38 | 3.302 % |
742.06/742.10 c | 1573999 | 28227 207090 825312 | 74546 70896 38 | 3.302 % |
742.26/742.33 c | 1574512 | 28227 207090 825312 | 74546 71409 38 | 3.302 % |
742.46/742.57 c | 1575027 | 28227 207090 825312 | 74546 71924 38 | 3.302 % |
743.16/743.28 c | 1576052 | 28227 207090 825312 | 74546 72949 39 | 3.302 % |
744.96/745.06 c | 1578100 | 28227 207090 825312 | 74546 74997 39 | 3.302 % |
746.76/746.86 c | 1582196 | 28227 207090 825312 | 76898 79093 39 | 3.302 % |
751.16/751.24 c | 1590389 | 28226 207030 825102 | 75660 76049 39 | 3.306 % |
758.36/758.42 c | 1606773 | 28226 207030 825102 | 67832 63600 35 | 3.306 % |
773.56/773.68 c | 1639542 | 28226 207030 825102 | 2147483647 84899 35 | 3.306 % |
803.27/803.32 c | 1705080 | 28226 207030 825102 | 78408 70897 32 | 3.306 % |
803.57/803.67 c | 1705593 | 28226 207030 825102 | 78408 71410 32 | 3.306 % |
803.77/803.87 c | 1706105 | 28226 207030 825102 | 78408 71922 32 | 3.306 % |
804.87/804.98 c | 1707129 | 28226 207030 825102 | 78408 72946 32 | 3.306 % |
805.07/805.12 c | 1707641 | 28226 207030 825102 | 78408 73458 32 | 3.306 % |
805.47/805.52 c | 1708153 | 28226 207030 825102 | 78408 73970 32 | 3.306 % |
806.07/806.17 c | 1709177 | 28226 207030 825102 | 78408 74994 32 | 3.306 % |
806.57/806.70 c | 1711226 | 28226 207030 825102 | 75819 77043 32 | 3.306 % |
806.87/806.95 c | 1711738 | 28226 207030 825102 | 75819 65444 32 | 3.306 % |
807.17/807.22 c | 1712250 | 28226 207030 825102 | 75819 65956 33 | 3.306 % |
807.77/807.82 c | 1713274 | 28226 207030 825102 | 75819 66980 33 | 3.306 % |
807.87/807.96 c | 1713786 | 28226 207030 825102 | 75819 67492 32 | 3.306 % |
808.07/808.11 c | 1714301 | 28226 207030 825102 | 75819 68007 32 | 3.306 % |
808.47/808.55 c | 1715325 | 28226 207030 825102 | 75819 69031 32 | 3.306 % |
810.67/810.79 c | 1717373 | 28226 207030 825102 | 75819 71079 34 | 3.306 % |
812.57/812.64 c | 1721470 | 28226 207030 825102 | 73706 75176 34 | 3.306 % |
812.77/812.88 c | 1721982 | 28226 207030 825102 | 73706 63718 34 | 3.306 % |
812.87/812.97 c | 1722494 | 28226 207030 825102 | 73706 64230 34 | 3.306 % |
813.27/813.34 c | 1723520 | 28226 207030 825102 | 73706 65256 34 | 3.306 % |
813.37/813.49 c | 1724033 | 28226 207030 825102 | 73706 65769 34 | 3.306 % |
813.57/813.70 c | 1724545 | 28226 207030 825102 | 73706 66281 34 | 3.306 % |
813.77/813.89 c | 1725572 | 28226 207030 825102 | 73706 67308 34 | 3.306 % |
815.07/815.17 c | 1727622 | 28226 207030 825102 | 73706 69358 34 | 3.306 % |
815.17/815.28 c | 1728137 | 28226 207030 825102 | 73706 69873 34 | 3.306 % |
815.27/815.36 c | 1728650 | 28226 207030 825102 | 73706 70386 34 | 3.306 % |
815.97/816.07 c | 1729674 | 28226 207030 825102 | 73706 71410 34 | 3.306 % |
816.07/816.19 c | 1730186 | 28226 207030 825102 | 2147483647 71922 34 | 3.306 % |
816.17/816.30 c | 1730698 | 28226 207030 825102 | 2147483647 72434 34 | 3.306 % |
816.67/816.72 c | 1731723 | 28226 207030 825102 | 2147483647 73459 34 | 3.306 % |
817.27/817.35 c | 1733771 | 28226 207030 825102 | 2147483647 75507 34 | 3.306 % |
818.97/819.10 c | 1737867 | 28226 207030 825102 | 2147483647 79603 35 | 3.306 % |
821.27/821.40 c | 1746059 | 28226 207030 825102 | 2147483647 87795 37 | 3.306 % |
821.67/821.72 c | 1746571 | 28226 207030 825102 | 2147483647 88307 37 | 3.306 % |
821.87/821.91 c | 1747083 | 28226 207030 825102 | 2147483647 88819 37 | 3.306 % |
822.07/822.14 c | 1748108 | 28226 207030 825102 | 2147483647 89844 37 | 3.306 % |
822.37/822.44 c | 1748620 | 28226 207030 825102 | 2147483647 90356 37 | 3.306 % |
822.57/822.66 c | 1749132 | 28226 207030 825102 | 2147483647 90868 37 | 3.306 % |
822.97/823.04 c | 1750156 | 28226 207030 825102 | 91736 91892 37 | 3.306 % |
823.97/824.06 c | 1752204 | 28226 207030 825102 | 91736 93940 37 | 3.306 % |
824.27/824.40 c | 1752716 | 28226 207030 825102 | 91736 85058 37 | 3.306 % |
824.57/824.67 c | 1753228 | 28226 207030 825102 | 91736 85570 37 | 3.306 % |
824.97/825.09 c | 1754253 | 28226 207030 825102 | 91736 86595 37 | 3.306 % |
825.17/825.26 c | 1754765 | 28226 207030 825102 | 91736 87107 37 | 3.306 % |
825.47/825.58 c | 1755277 | 28226 207030 825102 | 91736 87619 37 | 3.306 % |
825.77/825.90 c | 1756302 | 28226 207030 825102 | 91736 88644 37 | 3.306 % |
826.87/826.94 c | 1758351 | 28226 207030 825102 | 91736 90693 37 | 3.306 % |
827.57/827.66 c | 1762450 | 28226 207030 825102 | 92343 94792 36 | 3.306 % |
827.97/828.10 c | 1762963 | 28226 207030 825102 | 92343 83081 37 | 3.306 % |
828.17/828.23 c | 1763475 | 28226 207030 825102 | 92343 83593 37 | 3.306 % |
828.67/828.76 c | 1764500 | 28220 207010 824962 | 92343 84608 37 | 3.326 % |
828.87/828.96 c | 1765013 | 28220 207010 824962 | 92343 85121 37 | 3.326 % |
829.17/829.23 c | 1765525 | 28220 207010 824962 | 92343 85633 37 | 3.326 % |
829.37/829.48 c | 1766549 | 28220 207010 824962 | 92343 86657 37 | 3.326 % |
830.07/830.20 c | 1768597 | 28220 207010 824962 | 92343 88705 37 | 3.326 % |
830.27/830.37 c | 1769110 | 28220 207010 824962 | 92343 89218 37 | 3.326 % |
830.47/830.52 c | 1769622 | 28220 207010 824962 | 92343 89730 37 | 3.326 % |
830.87/830.96 c | 1770646 | 28220 207010 824962 | 90111 90754 37 | 3.326 % |
831.17/831.22 c | 1771158 | 28220 207010 824962 | 90111 91266 37 | 3.326 % |
831.47/831.51 c | 1771670 | 28220 207010 824962 | 90111 76839 37 | 3.326 % |
831.77/831.86 c | 1772694 | 28220 207010 824962 | 90111 77863 37 | 3.326 % |
832.37/832.46 c | 1774746 | 28220 207010 824962 | 90111 79915 37 | 3.326 % |
833.97/834.06 c | 1778844 | 28220 207010 824962 | 90111 84013 39 | 3.326 % |
838.57/838.62 c | 1787036 | 28220 207010 824962 | 85170 92205 42 | 3.326 % |
844.97/845.05 c | 1803420 | 28220 207000 824910 | 74435 77855 44 | 3.326 % |
845.27/845.40 c | 1803934 | 28220 207000 824910 | 74435 62665 44 | 3.326 % |
845.47/845.54 c | 1804446 | 28220 207000 824910 | 74435 63177 43 | 3.326 % |
845.77/845.90 c | 1805470 | 28220 207000 824910 | 74435 64201 43 | 3.326 % |
846.07/846.12 c | 1805984 | 28220 207000 824910 | 74435 64715 43 | 3.326 % |
846.17/846.28 c | 1806496 | 28220 207000 824910 | 74435 65227 43 | 3.326 % |
846.77/846.81 c | 1807520 | 28220 207000 824910 | 74435 66251 43 | 3.326 % |
847.67/847.74 c | 1809572 | 28220 207000 824910 | 74435 68303 43 | 3.326 % |
847.77/847.85 c | 1810086 | 28220 207000 824910 | 68732 68817 43 | 3.326 % |
847.97/848.07 c | 1810598 | 28220 207000 824910 | 68732 69329 43 | 3.326 % |
848.37/848.45 c | 1811623 | 28220 207000 824910 | 68732 70354 43 | 3.326 % |
848.67/848.79 c | 1812136 | 28220 207000 824910 | 68732 63832 45 | 3.326 % |
848.97/849.11 c | 1812650 | 28220 207000 824910 | 68732 64346 45 | 3.326 % |
849.37/849.44 c | 1813674 | 28220 207000 824910 | 68732 65370 45 | 3.326 % |
849.97/850.02 c | 1815722 | 28220 207000 824910 | 68732 67418 44 | 3.326 % |
851.57/851.68 c | 1819818 | 28220 207000 824910 | 68732 71514 44 | 3.326 % |
851.87/852.00 c | 1820330 | 28220 207000 824910 | 2147483647 64875 44 | 3.326 % |
852.27/852.35 c | 1820843 | 28220 207000 824910 | 2147483647 65388 44 | 3.326 % |
852.57/852.70 c | 1821868 | 28220 207000 824910 | 2147483647 66413 44 | 3.326 % |
852.87/852.91 c | 1822380 | 28220 207000 824910 | 2147483647 66925 44 | 3.326 % |
853.07/853.11 c | 1822893 | 28220 207000 824910 | 2147483647 67438 44 | 3.326 % |
853.17/853.27 c | 1823917 | 28220 207000 824910 | 2147483647 68462 44 | 3.326 % |
854.27/854.37 c | 1825965 | 28220 207000 824910 | 2147483647 70510 44 | 3.326 % |
854.47/854.52 c | 1826477 | 28220 207000 824910 | 2147483647 71022 44 | 3.326 % |
854.77/854.88 c | 1826990 | 28220 207000 824910 | 2147483647 71535 44 | 3.326 % |
855.07/855.14 c | 1828015 | 28220 207000 824910 | 2147483647 72560 44 | 3.326 % |
855.17/855.23 c | 1828527 | 28220 207000 824910 | 2147483647 73072 44 | 3.326 % |
855.37/855.47 c | 1829039 | 28220 207000 824910 | 2147483647 73584 44 | 3.326 % |
855.77/855.82 c | 1830063 | 28214 206971 824750 | 2147483647 74602 44 | 3.347 % |
856.27/856.39 c | 1832113 | 28214 206971 824750 | 2147483647 76652 43 | 3.347 % |
858.27/858.34 c | 1836210 | 28214 206971 824750 | 2147483647 80749 45 | 3.347 % |
863.77/863.85 c | 1844402 | 28214 206971 824750 | 84540 88941 45 | 3.347 % |
864.07/864.13 c | 1844914 | 28214 206971 824750 | 84540 69633 39 | 3.347 % |
864.27/864.36 c | 1845427 | 28214 206971 824750 | 84540 70146 39 | 3.347 % |
864.67/864.73 c | 1846452 | 28214 206971 824750 | 84540 71171 39 | 3.347 % |
864.97/865.07 c | 1846964 | 28214 206971 824750 | 84540 71683 39 | 3.347 % |
865.27/865.31 c | 1847476 | 28214 206971 824750 | 84540 72195 39 | 3.347 % |
865.47/865.58 c | 1848501 | 28214 206971 824750 | 84540 73220 39 | 3.347 % |
866.07/866.16 c | 1850550 | 28214 206971 824750 | 74719 75269 39 | 3.347 % |
866.37/866.43 c | 1851066 | 28214 206971 824750 | 74719 75785 39 | 3.347 % |
866.57/866.66 c | 1851578 | 28214 206971 824750 | 74719 64799 36 | 3.347 % |
866.87/866.93 c | 1852603 | 28214 206971 824750 | 74719 65824 36 | 3.347 % |
867.07/867.13 c | 1853115 | 28214 206971 824750 | 74719 66336 36 | 3.347 % |
867.27/867.32 c | 1853627 | 28214 206971 824750 | 74719 66848 36 | 3.347 % |
867.97/868.07 c | 1854653 | 28214 206971 824750 | 74719 67874 36 | 3.347 % |
868.47/868.57 c | 1856701 | 28214 206971 824750 | 74719 69922 36 | 3.347 % |
870.97/871.10 c | 1860797 | 28214 206971 824750 | 2147483647 74018 36 | 3.347 % |
871.27/871.37 c | 1861309 | 28214 206971 824750 | 2147483647 74530 36 | 3.347 % |
871.47/871.53 c | 1861822 | 28214 206971 824750 | 2147483647 75043 35 | 3.347 % |
871.97/872.02 c | 1862849 | 28214 206971 824750 | 2147483647 76070 36 | 3.347 % |
872.07/872.16 c | 1863362 | 28214 206971 824750 | 2147483647 76583 36 | 3.347 % |
872.28/872.33 c | 1863874 | 28214 206971 824750 | 2147483647 77095 36 | 3.347 % |
872.87/872.94 c | 1864898 | 28214 206971 824750 | 2147483647 78119 36 | 3.347 % |
873.97/874.09 c | 1866946 | 28214 206971 824750 | 2147483647 80167 36 | 3.347 % |
874.27/874.39 c | 1867459 | 28214 206971 824750 | 2147483647 80680 36 | 3.347 % |
874.67/874.76 c | 1867971 | 28214 206971 824750 | 2147483647 81192 36 | 3.347 % |
875.17/875.23 c | 1868995 | 28214 206971 824750 | 2147483647 82216 36 | 3.347 % |
875.37/875.45 c | 1869507 | 28214 206971 824750 | 2147483647 82728 36 | 3.347 % |
875.58/875.63 c | 1870020 | 28214 206971 824750 | 2147483647 83241 36 | 3.347 % |
876.17/876.24 c | 1871045 | 28214 206971 824750 | 2147483647 84266 36 | 3.347 % |
876.68/876.75 c | 1873093 | 28214 206971 824750 | 2147483647 86314 36 | 3.347 % |
879.17/879.30 c | 1877189 | 28214 206971 824750 | 2147483647 90410 37 | 3.347 % |
883.17/883.25 c | 1885382 | 28214 206971 824750 | 2147483647 98603 36 | 3.347 % |
893.97/894.01 c | 1901766 | 28214 206971 824750 | 94954 96720 36 | 3.347 % |
908.48/908.57 c | 1934535 | 28206 206928 824618 | 68754 56750 44 | 3.374 % |
908.68/908.81 c | 1935047 | 28206 206928 824618 | 68754 57262 43 | 3.374 % |
908.78/908.90 c | 1935562 | 28206 206928 824618 | 68754 57777 43 | 3.374 % |
909.38/909.45 c | 1936587 | 28206 206928 824618 | 68754 58802 43 | 3.374 % |
909.48/909.54 c | 1937099 | 28206 206928 824618 | 68754 59314 43 | 3.374 % |
909.58/909.70 c | 1937611 | 28206 206928 824618 | 68754 59826 43 | 3.374 % |
910.18/910.23 c | 1938636 | 28206 206928 824618 | 68754 60851 43 | 3.374 % |
910.88/910.98 c | 1940684 | 28206 206928 824618 | 62215 62899 43 | 3.374 % |
911.08/911.20 c | 1941196 | 28206 206928 824618 | 62215 63411 43 | 3.374 % |
911.38/911.49 c | 1941710 | 28206 206928 824618 | 62215 56927 43 | 3.374 % |
911.78/911.82 c | 1942737 | 28206 206928 824618 | 62215 57954 42 | 3.374 % |
911.88/911.94 c | 1943249 | 28206 206928 824618 | 62215 58466 42 | 3.374 % |
912.08/912.11 c | 1943761 | 28206 206928 824618 | 62215 58978 42 | 3.374 % |
912.28/912.41 c | 1944785 | 28206 206928 824618 | 62215 60002 42 | 3.374 % |
912.88/912.96 c | 1946833 | 28206 206928 824618 | 62215 62050 42 | 3.374 % |
913.98/914.09 c | 1950930 | 28206 206928 824618 | 2147483647 66147 42 | 3.374 % |
914.18/914.22 c | 1951442 | 28206 206928 824618 | 2147483647 66659 42 | 3.374 % |
914.38/914.44 c | 1951955 | 28206 206928 824618 | 2147483647 67172 42 | 3.374 % |
914.78/914.82 c | 1952980 | 28206 206928 824618 | 2147483647 68197 42 | 3.374 % |
914.98/915.10 c | 1953492 | 28206 206928 824618 | 2147483647 68709 42 | 3.374 % |
915.18/915.22 c | 1954006 | 28206 206928 824618 | 2147483647 69223 42 | 3.374 % |
915.48/915.53 c | 1955037 | 28206 206928 824618 | 2147483647 70254 42 | 3.374 % |
916.18/916.23 c | 1957087 | 28206 206928 824618 | 2147483647 72304 42 | 3.374 % |
916.48/916.57 c | 1957603 | 28206 206928 824618 | 2147483647 72820 41 | 3.374 % |
916.68/916.76 c | 1958115 | 28206 206928 824618 | 2147483647 73332 41 | 3.374 % |
917.18/917.31 c | 1959142 | 28206 206928 824618 | 2147483647 74359 41 | 3.374 % |
917.38/917.50 c | 1959656 | 28206 206928 824618 | 2147483647 74873 41 | 3.374 % |
917.68/917.80 c | 1960168 | 28206 206928 824618 | 2147483647 75385 42 | 3.374 % |
918.08/918.16 c | 1961194 | 28206 206928 824618 | 2147483647 76411 42 | 3.374 % |
918.58/918.66 c | 1963243 | 28206 206928 824618 | 2147483647 78460 41 | 3.374 % |
919.98/920.04 c | 1967340 | 28206 206928 824618 | 2147483647 82557 41 | 3.374 % |
923.38/923.49 c | 1975532 | 28206 206928 824618 | 2147483647 90749 42 | 3.374 % |
923.58/923.67 c | 1976047 | 28206 206928 824618 | 2147483647 91264 42 | 3.374 % |
923.88/923.96 c | 1976559 | 28206 206928 824618 | 2147483647 91776 42 | 3.374 % |
924.18/924.23 c | 1977584 | 28206 206928 824618 | 2147483647 92801 41 | 3.374 % |
924.58/924.63 c | 1978096 | 28206 206928 824618 | 2147483647 93313 41 | 3.374 % |
924.88/925.02 c | 1978608 | 28206 206928 824618 | 2147483647 93825 41 | 3.374 % |
925.48/925.59 c | 1979633 | 28206 206928 824618 | 2147483647 94850 41 | 3.374 % |
926.28/926.34 c | 1981681 | 28206 206928 824618 | 95217 96898 41 | 3.374 % |
926.78/926.87 c | 1982193 | 28206 206928 824618 | 95217 78619 36 | 3.374 % |
926.98/927.08 c | 1982705 | 28206 206928 824618 | 95217 79131 37 | 3.374 % |
927.38/927.48 c | 1983729 | 28206 206928 824618 | 95217 80155 37 | 3.374 % |
927.68/927.74 c | 1984241 | 28206 206928 824618 | 95217 80667 37 | 3.374 % |
927.88/928.01 c | 1984755 | 28206 206928 824618 | 95217 81181 37 | 3.374 % |
928.48/928.61 c | 1985779 | 28205 206924 824607 | 95217 82204 37 | 3.378 % |
929.08/929.17 c | 1987828 | 28205 206924 824607 | 95217 84253 37 | 3.378 % |
931.88/931.98 c | 1991925 | 28205 206924 824607 | 86425 88350 37 | 3.378 % |
932.18/932.30 c | 1992437 | 28205 206924 824607 | 86425 77094 35 | 3.378 % |
932.58/932.69 c | 1992951 | 28205 206924 824607 | 86425 77608 35 | 3.378 % |
933.08/933.19 c | 1993975 | 28205 206924 824607 | 86425 78632 35 | 3.378 % |
933.28/933.39 c | 1994488 | 28205 206924 824607 | 86425 79145 35 | 3.378 % |
933.48/933.56 c | 1995000 | 28205 206924 824607 | 86425 79657 35 | 3.378 % |
933.78/933.86 c | 1996024 | 28205 206924 824607 | 86425 80681 35 | 3.378 % |
934.78/934.89 c | 1998072 | 28205 206924 824607 | 86425 82729 36 | 3.378 % |
934.98/935.07 c | 1998584 | 28205 206924 824607 | 86425 83241 36 | 3.378 % |
935.38/935.49 c | 1999099 | 28205 206924 824607 | 86425 83756 36 | 3.378 % |
935.98/936.08 c | 2000125 | 28205 206924 824607 | 84657 84782 37 | 3.378 % |
936.18/936.26 c | 2000637 | 28205 206924 824607 | 84657 85294 37 | 3.378 % |
936.48/936.54 c | 2001150 | 28205 206924 824607 | 84657 85807 37 | 3.378 % |
936.98/937.04 c | 2002175 | 28205 206924 824607 | 84657 73480 37 | 3.378 % |
938.38/938.48 c | 2004223 | 28205 206924 824607 | 84657 75528 37 | 3.378 % |
940.08/940.20 c | 2008319 | 28205 206924 824607 | 84657 79624 37 | 3.378 % |
943.48/943.60 c | 2016512 | 28173 205714 820463 | 81306 66459 36 | 3.487 % |
952.28/952.36 c | 2032897 | 28172 205714 820463 | 64952 67849 36 | 3.491 % |
952.58/952.69 c | 2033409 | 28172 205711 820457 | 64952 61577 35 | 3.491 % |
952.78/952.88 c | 2033923 | 28172 205711 820457 | 64952 62091 35 | 3.491 % |
953.28/953.36 c | 2034947 | 28172 205711 820457 | 64952 63115 36 | 3.491 % |
953.58/953.70 c | 2035462 | 28172 205711 820457 | 64952 63630 36 | 3.491 % |
953.78/953.90 c | 2035975 | 28172 205711 820457 | 64952 64143 36 | 3.491 % |
953.98/954.10 c | 2037000 | 28172 205711 820457 | 64952 65168 36 | 3.491 % |
954.38/954.48 c | 2039049 | 28172 205711 820457 | 64952 67217 35 | 3.491 % |
954.68/954.80 c | 2039562 | 28172 205711 820457 | 64952 61009 35 | 3.491 % |
954.98/955.04 c | 2040074 | 28172 205711 820457 | 2147483647 61521 35 | 3.491 % |
955.48/955.57 c | 2041099 | 28172 205711 820457 | 2147483647 62546 35 | 3.491 % |
955.58/955.69 c | 2041611 | 28172 205711 820457 | 2147483647 63058 35 | 3.491 % |
955.88/955.93 c | 2042123 | 28172 205711 820457 | 2147483647 63570 35 | 3.491 % |
956.08/956.20 c | 2043147 | 28172 205711 820457 | 2147483647 64594 35 | 3.491 % |
956.48/956.53 c | 2045196 | 28172 205711 820457 | 2147483647 66643 35 | 3.491 % |
957.58/957.66 c | 2049292 | 28172 205711 820457 | 2147483647 70739 35 | 3.491 % |
957.78/957.82 c | 2049804 | 28172 205711 820457 | 2147483647 71251 35 | 3.491 % |
958.08/958.14 c | 2050318 | 28172 205711 820457 | 2147483647 71765 35 | 3.491 % |
958.48/958.60 c | 2051343 | 28172 205711 820457 | 2147483647 72790 35 | 3.491 % |
958.78/958.90 c | 2051856 | 28172 205711 820457 | 2147483647 73303 35 | 3.491 % |
959.08/959.20 c | 2052368 | 28172 205711 820457 | 2147483647 73815 35 | 3.491 % |
959.38/959.47 c | 2053392 | 28172 205711 820457 | 2147483647 74839 35 | 3.491 % |
960.68/960.80 c | 2055441 | 28172 205711 820457 | 2147483647 76888 36 | 3.491 % |
960.88/960.92 c | 2055953 | 28172 205711 820457 | 2147483647 77400 36 | 3.491 % |
961.08/961.14 c | 2056465 | 28172 205711 820457 | 2147483647 77912 36 | 3.491 % |
961.58/961.66 c | 2057489 | 28172 205711 820457 | 2147483647 78936 36 | 3.491 % |
961.88/961.97 c | 2058001 | 28172 205711 820457 | 2147483647 79448 36 | 3.491 % |
962.08/962.20 c | 2058516 | 28172 205711 820457 | 2147483647 79963 36 | 3.491 % |
962.68/962.74 c | 2059540 | 28172 205711 820457 | 2147483647 80987 36 | 3.491 % |
963.18/963.25 c | 2061588 | 28172 205711 820457 | 81447 83035 36 | 3.491 % |
964.58/964.69 c | 2065685 | 28172 205711 820457 | 81447 77460 35 | 3.491 % |
968.78/968.87 c | 2073877 | 28171 205708 820451 | 81775 85651 36 | 3.494 % |
969.18/969.26 c | 2074389 | 28171 205708 820451 | 81775 68168 36 | 3.494 % |
969.38/969.46 c | 2074901 | 28171 205708 820451 | 81775 68680 36 | 3.494 % |
969.78/969.88 c | 2075925 | 28171 205708 820451 | 81775 69704 36 | 3.494 % |
969.98/970.05 c | 2076439 | 28171 205708 820451 | 81775 70218 36 | 3.494 % |
970.18/970.25 c | 2076952 | 28171 205708 820451 | 81775 70731 36 | 3.494 % |
970.48/970.51 c | 2077976 | 28171 205708 820451 | 81775 71755 36 | 3.494 % |
971.08/971.20 c | 2080025 | 28171 205708 820451 | 73779 73804 36 | 3.494 % |
971.28/971.36 c | 2080537 | 28171 205708 820451 | 73779 74316 36 | 3.494 % |
971.68/971.74 c | 2081051 | 28171 205708 820451 | 73779 74830 36 | 3.494 % |
972.18/972.30 c | 2082076 | 28169 205708 820451 | 73779 61491 36 | 3.508 % |
972.39/972.47 c | 2082589 | 28169 205708 820451 | 73779 62004 36 | 3.508 % |
972.78/972.85 c | 2083101 | 28169 205708 820451 | 73779 62516 36 | 3.508 % |
973.08/973.16 c | 2084125 | 28169 205708 820451 | 73779 63540 36 | 3.508 % |
973.49/973.56 c | 2086173 | 28167 205655 820302 | 73779 65588 35 | 3.508 % |
975.88/975.93 c | 2090269 | 28167 205655 820302 | 69416 69684 37 | 3.508 % |
975.98/976.05 c | 2090781 | 28167 205655 820302 | 69416 70196 37 | 3.508 % |
976.18/976.24 c | 2091293 | 28167 205655 820302 | 69416 70708 37 | 3.508 % |
976.58/976.69 c | 2092318 | 28167 205655 820302 | 69416 57501 37 | 3.508 % |
976.79/976.88 c | 2092831 | 28167 205655 820302 | 69416 58014 37 | 3.508 % |
977.08/977.13 c | 2093344 | 28167 205655 820302 | 69416 58527 37 | 3.508 % |
977.48/977.53 c | 2094369 | 28167 205655 820302 | 69416 59552 37 | 3.508 % |
978.08/978.17 c | 2096417 | 28167 205655 820302 | 69416 61600 37 | 3.508 % |
978.28/978.32 c | 2096929 | 28167 205655 820302 | 69416 62112 37 | 3.508 % |
978.48/978.55 c | 2097441 | 28167 205655 820302 | 69416 62624 37 | 3.508 % |
978.78/978.88 c | 2098466 | 28167 205655 820302 | 69416 63649 37 | 3.508 % |
978.99/979.11 c | 2098980 | 28165 205641 820262 | 69416 64161 37 | 3.515 % |
979.18/979.28 c | 2099499 | 28165 205641 820262 | 69416 64680 37 | 3.515 % |
979.58/979.62 c | 2100523 | 28165 205641 820262 | 65184 65704 37 | 3.515 % |
980.18/980.23 c | 2102572 | 28165 205641 820262 | 65184 67753 38 | 3.515 % |
981.58/981.62 c | 2106669 | 28165 205641 820262 | 65184 59271 37 | 3.515 % |
985.78/985.86 c | 2114862 | 28165 205641 820262 | 2147483647 67464 37 | 3.515 % |
993.88/993.96 c | 2131248 | 28165 205641 820262 | 62473 63721 37 | 3.515 % |
1006.28/1006.39 c | 2164016 | 28165 205641 820262 | 79740 83756 40 | 3.515 % |
1029.99/1030.04 c | 2229553 | 28165 205641 820262 | 56875 54723 51 | 3.515 % |
1073.78/1073.83 c | 2360625 | 28160 205632 820191 | 36871 37494 42 | 3.532 % |
1200.10/1200.13 HOME/SatELiteGTI: line 36: 6852 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-1821947-1242582109/watcher-1821947-1242582109 -o /tmp/evaluation-result-1821947-1242582109/solver-1821947-1242582109 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821947-1242582109.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.01 1.00 3/96 6666
/proc/meminfo: memFree=968008/2074464 swapFree=1950884/1959888
[pid=6663] ppid=6661 vsize=2412 CPUtime=0
/proc/6663/stat : 6663 (SatELiteGTI) S 6661 6663 10114 0 -1 4194304 339 0 0 0 0 0 0 0 25 0 1 0 1022711773 2469888 271 4294967295 134512640 135169312 3220368000 3220365592 3085173678 0 0 4 65536 3222620697 0 0 17 0 0 0 0
/proc/6663/statm: 603 271 230 161 0 42 0
[pid=6664] ppid=6663 vsize=2412 CPUtime=0
/proc/6664/stat : 6664 (SatELiteGTI) R 6663 6663 10114 0 -1 4194368 103 0 0 0 0 0 0 0 25 0 1 0 1022711773 2469888 114 4294967295 134512640 135169312 3220368000 3220364220 3084982132 0 65538 0 65538 0 0 0 17 0 0 0 0
/proc/6664/statm: 603 114 72 161 0 42 0
[pid=6665] ppid=6664 vsize=0 CPUtime=0
/proc/6665/stat : 6665 (SatELiteGTI) Z 6664 6663 10114 0 -1 4194380 142 0 0 0 0 0 0 0 25 0 1 0 1022711773 0 0 4294967295 0 0 0 0 0 0 0 0 65538 3222378830 0 0 17 0 0 0 0
/proc/6665/statm: 0 0 0 0 0 0 0
[pid=6666] ppid=6664 vsize=2412 CPUtime=0
/proc/6666/stat : 6666 (SatELiteGTI) R 6664 6663 10114 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 1 0 1022711773 2469888 42 4294967295 134512640 135169312 3220368000 3220364220 3084982132 0 65538 0 65538 0 0 0 17 0 0 0 0
/proc/6666/statm: 603 42 0 161 0 42 0
[startup+0.062488 s]
/proc/loadavg: 1.00 1.01 1.00 3/96 6666
/proc/meminfo: memFree=968008/2074464 swapFree=1950884/1959888
[pid=6663] ppid=6661 vsize=2412 CPUtime=0
/proc/6663/stat : 6663 (SatELiteGTI) S 6661 6663 10114 0 -1 4194304 367 647 0 0 0 0 0 0 25 0 1 0 1022711773 2469888 276 4294967295 134512640 135169312 3220368000 3220366536 3084979950 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/6663/statm: 603 276 235 161 0 42 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2412
[startup+0.112485 s]
/proc/loadavg: 1.00 1.01 1.00 3/96 6666
/proc/meminfo: memFree=968008/2074464 swapFree=1950884/1959888
[pid=6663] ppid=6661 vsize=2412 CPUtime=0
/proc/6663/stat : 6663 (SatELiteGTI) S 6661 6663 10114 0 -1 4194304 367 647 0 0 0 0 0 0 25 0 1 0 1022711773 2469888 276 4294967295 134512640 135169312 3220368000 3220366536 3084979950 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/6663/statm: 603 276 235 161 0 42 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2412
[startup+0.312475 s]
/proc/loadavg: 1.00 1.01 1.00 3/96 6666
/proc/meminfo: memFree=968008/2074464 swapFree=1950884/1959888
[pid=6663] ppid=6661 vsize=2412 CPUtime=0
/proc/6663/stat : 6663 (SatELiteGTI) S 6661 6663 10114 0 -1 4194304 367 647 0 0 0 0 0 0 25 0 1 0 1022711773 2469888 276 4294967295 134512640 135169312 3220368000 3220366536 3084979950 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/6663/statm: 603 276 235 161 0 42 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2412
[startup+0.712461 s]
/proc/loadavg: 1.00 1.01 1.00 3/96 6666
/proc/meminfo: memFree=968008/2074464 swapFree=1950884/1959888
[pid=6663] ppid=6661 vsize=2412 CPUtime=0
/proc/6663/stat : 6663 (SatELiteGTI) S 6661 6663 10114 0 -1 4194304 367 647 0 0 0 0 0 0 25 0 1 0 1022711773 2469888 276 4294967295 134512640 135169312 3220368000 3220366536 3084979950 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/6663/statm: 603 276 235 161 0 42 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2412
[startup+1.51242 s]
/proc/loadavg: 1.00 1.01 1.00 4/95 6851
/proc/meminfo: memFree=890232/2074464 swapFree=1950884/1959888
[pid=6663] ppid=6661 vsize=2412 CPUtime=0
/proc/6663/stat : 6663 (SatELiteGTI) S 6661 6663 10114 0 -1 4194304 367 647 0 0 0 0 0 0 25 0 1 0 1022711773 2469888 276 4294967295 134512640 135169312 3220368000 3220366536 3084979950 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/6663/statm: 603 276 235 161 0 42 0
[pid=6668] ppid=6663 vsize=90588 CPUtime=1.5
/proc/6668/stat : 6668 (SatELite_releas) R 6663 6663 10114 0 -1 4202496 21079 0 0 0 138 12 0 0 25 0 1 0 1022711774 92762112 19482 4294967295 134512640 135223648 3217133408 3217131176 134737406 0 0 0 3 0 0 0 17 1 0 0 0
/proc/6668/statm: 22647 19482 73 174 0 22472 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 93000
[startup+3.11235 s]
/proc/loadavg: 1.00 1.01 1.00 2/95 6851
/proc/meminfo: memFree=878452/2074464 swapFree=1950884/1959888
[pid=6663] ppid=6661 vsize=2412 CPUtime=0
/proc/6663/stat : 6663 (SatELiteGTI) S 6661 6663 10114 0 -1 4194304 367 647 0 0 0 0 0 0 25 0 1 0 1022711773 2469888 276 4294967295 134512640 135169312 3220368000 3220366536 3084979950 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/6663/statm: 603 276 235 161 0 42 0
[pid=6668] ppid=6663 vsize=95188 CPUtime=3.1
/proc/6668/stat : 6668 (SatELite_releas) R 6663 6663 10114 0 -1 4202496 22281 0 0 0 294 16 0 0 25 0 1 0 1022711774 97472512 20503 4294967295 134512640 135223648 3217133408 3217131424 134586676 0 0 0 3 0 0 0 17 2 0 0 0
/proc/6668/statm: 23797 20503 73 174 0 23622 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 97600
[startup+6.31219 s]
/proc/loadavg: 1.00 1.01 1.00 2/95 6852
/proc/meminfo: memFree=932300/2074464 swapFree=1950884/1959888
[pid=6663] ppid=6661 vsize=2416 CPUtime=3.99
/proc/6663/stat : 6663 (SatELiteGTI) S 6661 6663 10114 0 -1 4194304 386 24824 0 0 0 0 381 18 20 0 1 0 1022711773 2473984 277 4294967295 134512640 135169312 3220368000 3220364216 3084979950 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/6663/statm: 604 277 235 161 0 43 0
[pid=6852] ppid=6663 vsize=17140 CPUtime=2.3
/proc/6852/stat : 6852 (minisat_static) R 6663 6663 10114 0 -1 4202496 4056 0 0 0 228 2 0 0 22 0 1 0 1022712174 17551360 3991 4294967295 134512640 135216591 3217809504 3217807504 134527519 0 0 0 3 0 0 0 17 0 0 0 0
/proc/6852/statm: 4285 3991 75 172 0 4112 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19556
[startup+12.7119 s]
/proc/loadavg: 1.00 1.01 1.00 2/95 6854
/proc/meminfo: memFree=928352/2074464 swapFree=1950884/1959888
[pid=6663] ppid=6661 vsize=2416 CPUtime=3.99
/proc/6663/stat : 6663 (SatELiteGTI) S 6661 6663 10114 0 -1 4194304 386 24824 0 0 0 0 381 18 20 0 1 0 1022711773 2473984 277 4294967295 134512640 135169312 3220368000 3220364216 3084979950 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/6663/statm: 604 277 235 161 0 43 0
[pid=6852] ppid=6663 vsize=21104 CPUtime=8.68
/proc/6852/stat : 6852 (minisat_static) R 6663 6663 10114 0 -1 4202496 5034 0 0 0 864 4 0 0 25 0 1 0 1022712174 21610496 4969 4294967295 134512640 135216591 3217809504 3217807444 134722470 0 0 0 3 0 0 0 17 0 0 0 0
/proc/6852/statm: 5276 4970 75 172 0 5103 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 23520
[startup+25.5113 s]
/proc/loadavg: 1.00 1.01 1.00 2/95 6854
/proc/meminfo: memFree=918412/2074464 swapFree=1950884/1959888
[pid=6663] ppid=6661 vsize=2416 CPUtime=3.99
/proc/6663/stat : 6663 (SatELiteGTI) S 6661 6663 10114 0 -1 4194304 386 24824 0 0 0 0 381 18 20 0 1 0 1022711773 2473984 277 4294967295 134512640 135169312 3220368000 3220364216 3084979950 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/6663/statm: 604 277 235 161 0 43 0
[pid=6852] ppid=6663 vsize=30820 CPUtime=21.47
/proc/6852/stat : 6852 (minisat_static) R 6663 6663 10114 0 -1 4202496 7478 0 0 0 2141 6 0 0 25 0 1 0 1022712174 31559680 7413 4294967295 134512640 135216591 3217809504 3217807696 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/6852/statm: 7705 7413 75 172 0 7532 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 33236
[startup+51.11 s]
/proc/loadavg: 1.00 1.01 1.00 2/95 6856
/proc/meminfo: memFree=914608/2074464 swapFree=1950884/1959888
[pid=6663] ppid=6661 vsize=2416 CPUtime=3.99
/proc/6663/stat : 6663 (SatELiteGTI) S 6661 6663 10114 0 -1 4194304 386 24824 0 0 0 0 381 18 20 0 1 0 1022711773 2473984 277 4294967295 134512640 135169312 3220368000 3220364216 3084979950 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/6663/statm: 604 277 235 161 0 43 0
[pid=6852] ppid=6663 vsize=34392 CPUtime=47.07
/proc/6852/stat : 6852 (minisat_static) R 6663 6663 10114 0 -1 4202496 8378 0 0 0 4700 7 0 0 25 0 1 0 1022712174 35217408 8313 4294967295 134512640 135216591 3217809504 3217807696 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/6852/statm: 8598 8313 75 172 0 8425 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 36808
[startup+102.318 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 7043
/proc/meminfo: memFree=912716/2074464 swapFree=1950884/1959888
[pid=6663] ppid=6661 vsize=2416 CPUtime=3.99
/proc/6663/stat : 6663 (SatELiteGTI) S 6661 6663 10114 0 -1 4194304 386 24824 0 0 0 0 381 18 20 0 1 0 1022711773 2473984 277 4294967295 134512640 135169312 3220368000 3220364216 3084979950 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/6663/statm: 604 277 235 161 0 43 0
[pid=6852] ppid=6663 vsize=36196 CPUtime=98.27
/proc/6852/stat : 6852 (minisat_static) R 6663 6663 10114 0 -1 4202496 8793 0 0 0 9819 8 0 0 25 0 1 0 1022712174 37064704 8728 4294967295 134512640 135216591 3217809504 3217807696 134528826 0 0 0 3 0 0 0 17 0 0 0 0
/proc/6852/statm: 9049 8728 75 172 0 8876 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 38612
[startup+162.315 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 7232
/proc/meminfo: memFree=912444/2074464 swapFree=1950884/1959888
[pid=6663] ppid=6661 vsize=2416 CPUtime=3.99
/proc/6663/stat : 6663 (SatELiteGTI) S 6661 6663 10114 0 -1 4194304 386 24824 0 0 0 0 381 18 20 0 1 0 1022711773 2473984 277 4294967295 134512640 135169312 3220368000 3220364216 3084979950 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/6663/statm: 604 277 235 161 0 43 0
[pid=6852] ppid=6663 vsize=36488 CPUtime=158.27
/proc/6852/stat : 6852 (minisat_static) R 6663 6663 10114 0 -1 4202496 8851 0 0 0 15818 9 0 0 25 0 1 0 1022712174 37363712 8786 4294967295 134512640 135216591 3217809504 3217807696 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/6852/statm: 9122 8786 75 172 0 8949 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 38904
[startup+222.312 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 7418
/proc/meminfo: memFree=912384/2074464 swapFree=1950884/1959888
[pid=6663] ppid=6661 vsize=2416 CPUtime=3.99
/proc/6663/stat : 6663 (SatELiteGTI) S 6661 6663 10114 0 -1 4194304 386 24824 0 0 0 0 381 18 20 0 1 0 1022711773 2473984 277 4294967295 134512640 135169312 3220368000 3220364216 3084979950 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/6663/statm: 604 277 235 161 0 43 0
[pid=6852] ppid=6663 vsize=36776 CPUtime=218.27
/proc/6852/stat : 6852 (minisat_static) R 6663 6663 10114 0 -1 4202496 8930 0 0 0 21818 9 0 0 25 0 1 0 1022712174 37658624 8865 4294967295 134512640 135216591 3217809504 3217807696 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/6852/statm: 9194 8865 75 172 0 9021 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 39192
[startup+282.319 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 7606
/proc/meminfo: memFree=909476/2074464 swapFree=1950884/1959888
[pid=6663] ppid=6661 vsize=2416 CPUtime=3.99
/proc/6663/stat : 6663 (SatELiteGTI) S 6661 6663 10114 0 -1 4194304 386 24824 0 0 0 0 381 18 20 0 1 0 1022711773 2473984 277 4294967295 134512640 135169312 3220368000 3220364216 3084979950 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/6663/statm: 604 277 235 161 0 43 0
[pid=6852] ppid=6663 vsize=39552 CPUtime=278.26
/proc/6852/stat : 6852 (minisat_static) R 6663 6663 10114 0 -1 4202496 9630 0 0 0 27817 9 0 0 25 0 1 0 1022712174 40501248 9565 4294967295 134512640 135216591 3217809504 3217807696 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/6852/statm: 9888 9565 75 172 0 9715 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 41968
[startup+342.316 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 7799
/proc/meminfo: memFree=909344/2074464 swapFree=1950884/1959888
[pid=6663] ppid=6661 vsize=2416 CPUtime=3.99
/proc/6663/stat : 6663 (SatELiteGTI) S 6661 6663 10114 0 -1 4194304 386 24824 0 0 0 0 381 18 20 0 1 0 1022711773 2473984 277 4294967295 134512640 135169312 3220368000 3220364216 3084979950 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/6663/statm: 604 277 235 161 0 43 0
[pid=6852] ppid=6663 vsize=39552 CPUtime=338.26
/proc/6852/stat : 6852 (minisat_static) R 6663 6663 10114 0 -1 4202496 9631 0 0 0 33817 9 0 0 25 0 1 0 1022712174 40501248 9566 4294967295 134512640 135216591 3217809504 3217807696 134528826 0 0 0 3 0 0 0 17 3 0 0 0
/proc/6852/statm: 9888 9566 75 172 0 9715 0
Current children cumulated CPU time (s) 342.25
Current children cumulated vsize (KiB) 41968
[startup+402.313 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 7988
/proc/meminfo: memFree=909104/2074464 swapFree=1950884/1959888
[pid=6663] ppid=6661 vsize=2416 CPUtime=3.99
################
# More data... #
################
[pid=6852] ppid=6663 vsize=43312 CPUtime=518.27
/proc/6852/stat : 6852 (minisat_static) R 6663 6663 10114 0 -1 4202496 10556 0 0 0 51816 11 0 0 25 0 1 0 1022712174 44351488 10491 4294967295 134512640 135216591 3217809504 3217807696 134528784 0 0 0 3 0 0 0 17 3 0 0 0
/proc/6852/statm: 10828 10491 75 172 0 10655 0
Current children cumulated CPU time (s) 522.26
Current children cumulated vsize (KiB) 45728
[startup+582.324 s]
/proc/loadavg: 1.01 1.00 1.00 3/95 8551
/proc/meminfo: memFree=904764/2074464 swapFree=1950884/1959888
[pid=6663] ppid=6661 vsize=2416 CPUtime=3.99
/proc/6663/stat : 6663 (SatELiteGTI) S 6661 6663 10114 0 -1 4194304 386 24824 0 0 0 0 381 18 20 0 1 0 1022711773 2473984 277 4294967295 134512640 135169312 3220368000 3220364216 3084979950 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/6663/statm: 604 277 235 161 0 43 0
[pid=6852] ppid=6663 vsize=44052 CPUtime=578.28
/proc/6852/stat : 6852 (minisat_static) R 6663 6663 10114 0 -1 4202496 10726 0 0 0 57817 11 0 0 25 0 1 0 1022712174 45109248 10661 4294967295 134512640 135216591 3217809504 3217807696 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/6852/statm: 11013 10661 75 172 0 10840 0
Current children cumulated CPU time (s) 582.27
Current children cumulated vsize (KiB) 46468
[startup+642.321 s]
/proc/loadavg: 1.07 1.03 1.01 2/95 8740
/proc/meminfo: memFree=904880/2074464 swapFree=1950884/1959888
[pid=6663] ppid=6661 vsize=2416 CPUtime=3.99
/proc/6663/stat : 6663 (SatELiteGTI) S 6661 6663 10114 0 -1 4194304 386 24824 0 0 0 0 381 18 20 0 1 0 1022711773 2473984 277 4294967295 134512640 135169312 3220368000 3220364216 3084979950 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/6663/statm: 604 277 235 161 0 43 0
[pid=6852] ppid=6663 vsize=44052 CPUtime=638.28
/proc/6852/stat : 6852 (minisat_static) R 6663 6663 10114 0 -1 4202496 10726 0 0 0 63817 11 0 0 25 0 1 0 1022712174 45109248 10661 4294967295 134512640 135216591 3217809504 3217807696 134528894 0 0 0 3 0 0 0 17 3 0 0 0
/proc/6852/statm: 11013 10661 75 172 0 10840 0
Current children cumulated CPU time (s) 642.27
Current children cumulated vsize (KiB) 46468
[startup+702.308 s]
/proc/loadavg: 1.16 1.06 1.02 3/95 8931
/proc/meminfo: memFree=904696/2074464 swapFree=1950884/1959888
[pid=6663] ppid=6661 vsize=2416 CPUtime=3.99
/proc/6663/stat : 6663 (SatELiteGTI) S 6661 6663 10114 0 -1 4194304 386 24824 0 0 0 0 381 18 20 0 1 0 1022711773 2473984 277 4294967295 134512640 135169312 3220368000 3220364216 3084979950 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/6663/statm: 604 277 235 161 0 43 0
[pid=6852] ppid=6663 vsize=44052 CPUtime=698.27
/proc/6852/stat : 6852 (minisat_static) R 6663 6663 10114 0 -1 4202496 10739 0 0 0 69816 11 0 0 25 0 1 0 1022712174 45109248 10674 4294967295 134512640 135216591 3217809504 3217807696 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/6852/statm: 11013 10674 75 172 0 10840 0
Current children cumulated CPU time (s) 702.26
Current children cumulated vsize (KiB) 46468
[startup+762.315 s]
/proc/loadavg: 1.06 1.05 1.01 3/95 9120
/proc/meminfo: memFree=904564/2074464 swapFree=1950884/1959888
[pid=6663] ppid=6661 vsize=2416 CPUtime=3.99
/proc/6663/stat : 6663 (SatELiteGTI) S 6661 6663 10114 0 -1 4194304 386 24824 0 0 0 0 381 18 20 0 1 0 1022711773 2473984 277 4294967295 134512640 135169312 3220368000 3220364216 3084979950 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/6663/statm: 604 277 235 161 0 43 0
[pid=6852] ppid=6663 vsize=44052 CPUtime=758.28
/proc/6852/stat : 6852 (minisat_static) R 6663 6663 10114 0 -1 4202496 10739 0 0 0 75815 13 0 0 25 0 1 0 1022712174 45109248 10674 4294967295 134512640 135216591 3217809504 3217807696 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/6852/statm: 11013 10674 75 172 0 10840 0
Current children cumulated CPU time (s) 762.27
Current children cumulated vsize (KiB) 46468
[startup+822.312 s]
/proc/loadavg: 1.02 1.04 1.00 3/95 9306
/proc/meminfo: memFree=904572/2074464 swapFree=1950884/1959888
[pid=6663] ppid=6661 vsize=2416 CPUtime=3.99
/proc/6663/stat : 6663 (SatELiteGTI) S 6661 6663 10114 0 -1 4194304 386 24824 0 0 0 0 381 18 20 0 1 0 1022711773 2473984 277 4294967295 134512640 135169312 3220368000 3220364216 3084979950 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/6663/statm: 604 277 235 161 0 43 0
[pid=6852] ppid=6663 vsize=44052 CPUtime=818.28
/proc/6852/stat : 6852 (minisat_static) R 6663 6663 10114 0 -1 4202496 10739 0 0 0 81815 13 0 0 25 0 1 0 1022712174 45109248 10674 4294967295 134512640 135216591 3217809504 3217807696 134528770 0 0 0 3 0 0 0 17 3 0 0 0
/proc/6852/statm: 11013 10674 75 172 0 10840 0
Current children cumulated CPU time (s) 822.27
Current children cumulated vsize (KiB) 46468
[startup+882.31 s]
/proc/loadavg: 1.00 1.03 1.00 2/95 9494
/proc/meminfo: memFree=904580/2074464 swapFree=1950884/1959888
[pid=6663] ppid=6661 vsize=2416 CPUtime=3.99
/proc/6663/stat : 6663 (SatELiteGTI) S 6661 6663 10114 0 -1 4194304 386 24824 0 0 0 0 381 18 20 0 1 0 1022711773 2473984 277 4294967295 134512640 135169312 3220368000 3220364216 3084979950 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/6663/statm: 604 277 235 161 0 43 0
[pid=6852] ppid=6663 vsize=44052 CPUtime=878.28
/proc/6852/stat : 6852 (minisat_static) R 6663 6663 10114 0 -1 4202496 10739 0 0 0 87815 13 0 0 25 0 1 0 1022712174 45109248 10674 4294967295 134512640 135216591 3217809504 3217807696 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/6852/statm: 11013 10674 75 172 0 10840 0
Current children cumulated CPU time (s) 882.27
Current children cumulated vsize (KiB) 46468
[startup+942.317 s]
/proc/loadavg: 1.00 1.02 1.00 3/95 9683
/proc/meminfo: memFree=904448/2074464 swapFree=1950884/1959888
[pid=6663] ppid=6661 vsize=2416 CPUtime=3.99
/proc/6663/stat : 6663 (SatELiteGTI) S 6661 6663 10114 0 -1 4194304 386 24824 0 0 0 0 381 18 20 0 1 0 1022711773 2473984 277 4294967295 134512640 135169312 3220368000 3220364216 3084979950 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/6663/statm: 604 277 235 161 0 43 0
[pid=6852] ppid=6663 vsize=44052 CPUtime=938.29
/proc/6852/stat : 6852 (minisat_static) R 6663 6663 10114 0 -1 4202496 10739 0 0 0 93816 13 0 0 25 0 1 0 1022712174 45109248 10674 4294967295 134512640 135216591 3217809504 3217807696 134528784 0 0 0 3 0 0 0 17 3 0 0 0
/proc/6852/statm: 11013 10674 75 172 0 10840 0
Current children cumulated CPU time (s) 942.28
Current children cumulated vsize (KiB) 46468
[startup+1002.31 s]
/proc/loadavg: 1.00 1.02 1.00 2/95 9870
/proc/meminfo: memFree=904580/2074464 swapFree=1950884/1959888
[pid=6663] ppid=6661 vsize=2416 CPUtime=3.99
/proc/6663/stat : 6663 (SatELiteGTI) S 6661 6663 10114 0 -1 4194304 386 24824 0 0 0 0 381 18 20 0 1 0 1022711773 2473984 277 4294967295 134512640 135169312 3220368000 3220364216 3084979950 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/6663/statm: 604 277 235 161 0 43 0
[pid=6852] ppid=6663 vsize=44052 CPUtime=998.29
/proc/6852/stat : 6852 (minisat_static) R 6663 6663 10114 0 -1 4202496 10740 0 0 0 99816 13 0 0 25 0 1 0 1022712174 45109248 10675 4294967295 134512640 135216591 3217809504 3217807696 134529317 0 0 0 3 0 0 0 17 3 0 0 0
/proc/6852/statm: 11013 10675 75 172 0 10840 0
Current children cumulated CPU time (s) 1002.28
Current children cumulated vsize (KiB) 46468
[startup+1062.31 s]
/proc/loadavg: 1.00 1.01 1.00 3/95 10063
/proc/meminfo: memFree=904300/2074464 swapFree=1950884/1959888
[pid=6663] ppid=6661 vsize=2416 CPUtime=3.99
/proc/6663/stat : 6663 (SatELiteGTI) S 6661 6663 10114 0 -1 4194304 386 24824 0 0 0 0 381 18 20 0 1 0 1022711773 2473984 277 4294967295 134512640 135169312 3220368000 3220364216 3084979950 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/6663/statm: 604 277 235 161 0 43 0
[pid=6852] ppid=6663 vsize=44212 CPUtime=1058.29
/proc/6852/stat : 6852 (minisat_static) R 6663 6663 10114 0 -1 4202496 10766 0 0 0 105815 14 0 0 25 0 1 0 1022712174 45273088 10701 4294967295 134512640 135216591 3217809504 3217807472 134538864 0 0 0 3 0 0 0 17 3 0 0 0
/proc/6852/statm: 11053 10701 75 172 0 10880 0
Current children cumulated CPU time (s) 1062.28
Current children cumulated vsize (KiB) 46628
[startup+1122.31 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 10252
/proc/meminfo: memFree=904324/2074464 swapFree=1950884/1959888
[pid=6663] ppid=6661 vsize=2416 CPUtime=3.99
/proc/6663/stat : 6663 (SatELiteGTI) S 6661 6663 10114 0 -1 4194304 386 24824 0 0 0 0 381 18 20 0 1 0 1022711773 2473984 277 4294967295 134512640 135169312 3220368000 3220364216 3084979950 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/6663/statm: 604 277 235 161 0 43 0
[pid=6852] ppid=6663 vsize=44356 CPUtime=1118.29
/proc/6852/stat : 6852 (minisat_static) R 6663 6663 10114 0 -1 4202496 10804 0 0 0 111815 14 0 0 25 0 1 0 1022712174 45420544 10739 4294967295 134512640 135216591 3217809504 3217807696 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/6852/statm: 11089 10739 75 172 0 10916 0
Current children cumulated CPU time (s) 1122.28
Current children cumulated vsize (KiB) 46772
[startup+1182.31 s]
/proc/loadavg: 1.00 1.00 1.00 5/95 10440
/proc/meminfo: memFree=895652/2074464 swapFree=1950884/1959888
[pid=6663] ppid=6661 vsize=2416 CPUtime=3.99
/proc/6663/stat : 6663 (SatELiteGTI) S 6661 6663 10114 0 -1 4194304 386 24824 0 0 0 0 381 18 20 0 1 0 1022711773 2473984 277 4294967295 134512640 135169312 3220368000 3220364216 3084979950 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/6663/statm: 604 277 235 161 0 43 0
[pid=6852] ppid=6663 vsize=53148 CPUtime=1178.3
/proc/6852/stat : 6852 (minisat_static) R 6663 6663 10114 0 -1 4202496 13023 0 0 0 117815 15 0 0 25 0 1 0 1022712174 54423552 12958 4294967295 134512640 135216591 3217809504 3217807696 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/6852/statm: 13287 12958 75 172 0 13114 0
Current children cumulated CPU time (s) 1182.29
Current children cumulated vsize (KiB) 55564
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.12 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 10442
/proc/meminfo: memFree=895396/2074464 swapFree=1950884/1959888
[pid=6663] ppid=6661 vsize=2416 CPUtime=3.99
/proc/6663/stat : 6663 (SatELiteGTI) S 6661 6663 10114 0 -1 4194304 386 24824 0 0 0 0 381 18 20 0 1 0 1022711773 2473984 277 4294967295 134512640 135169312 3220368000 3220364216 3084979950 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/6663/statm: 604 277 235 161 0 43 0
[pid=6852] ppid=6663 vsize=53292 CPUtime=1196.11
/proc/6852/stat : 6852 (minisat_static) R 6663 6663 10114 0 -1 4202496 13068 0 0 0 119596 15 0 0 25 0 1 0 1022712174 54571008 13003 4294967295 134512640 135216591 3217809504 3217807696 134529211 0 0 0 3 0 0 0 17 3 0 0 0
/proc/6852/statm: 13323 13003 75 172 0 13150 0
Current children cumulated CPU time (s) 1200.1
Current children cumulated vsize (KiB) 55708
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.12 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 10442
/proc/meminfo: memFree=895396/2074464 swapFree=1950884/1959888
[pid=6663] ppid=6661 vsize=2416 CPUtime=3.99
/proc/6663/stat : 6663 (SatELiteGTI) S 6661 6663 10114 0 -1 4194304 386 24824 0 0 0 0 381 18 20 0 1 0 1022711773 2473984 277 4294967295 134512640 135169312 3220368000 3220364216 3084979950 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/6663/statm: 604 277 235 161 0 43 0
[pid=6852] ppid=6663 vsize=53292 CPUtime=1196.11
/proc/6852/stat : 6852 (minisat_static) R 6663 6663 10114 0 -1 4202496 13068 0 0 0 119596 15 0 0 25 0 1 0 1022712174 54571008 13003 4294967295 134512640 135216591 3217809504 3217807696 134529211 0 0 0 3 0 0 0 17 3 0 0 0
/proc/6852/statm: 13323 13003 75 172 0 13150 0
Current children cumulated CPU time (s) 1200.1
Current children cumulated vsize (KiB) 55708
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.14
CPU time (s): 1200.1
CPU user time (s): 1199.77
CPU system time (s): 0.33
CPU usage (%): 99.9963
Max. virtual memory (cumulated for all children) (KiB): 98872
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.77
system time used= 0.33
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38369
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 20
involuntary context switches= 2567
runsolver used 0.02 second user time and 0.04 second system time
The end
Begin job on tipi13 at 2009-05-17 19:41:49
IDJOB=1821947
IDBENCH=71745
IDSOLVER=658
FILE ID=tipi13/1821947-1242582109
PBS_JOBID=
Free space on /tmp= 6590 MiB
SOLVER NAME= minisat_cumr r-2009-03-18
BENCH NAME= SAT_RACE06/manol-pipe-f9n.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1821947-1242582109/watcher-1821947-1242582109 -o /tmp/evaluation-result-1821947-1242582109/solver-1821947-1242582109 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821947-1242582109.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 61e4a04a828a2cd33ae3f3dde54ef320
RANDOM SEED= 23139909
Linux tipi13 2.6.18 #19 SMP Tue Jun 19 11:27:27 CEST 2007 i686 GNU/Linux
/proc/cpuinfo:
processor : 0
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.475
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3618.37
processor : 1
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.475
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.78
processor : 2
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.475
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.77
processor : 3
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.475
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.78
/proc/meminfo:
MemTotal: 2074464 kB
MemFree: 968684 kB
Buffers: 42272 kB
Cached: 947056 kB
SwapCached: 3428 kB
Active: 374564 kB
Inactive: 624240 kB
HighTotal: 1178688 kB
HighFree: 333628 kB
LowTotal: 895776 kB
LowFree: 635056 kB
SwapTotal: 1959888 kB
SwapFree: 1950884 kB
Dirty: 11456 kB
Writeback: 0 kB
AnonPages: 8604 kB
Mapped: 3160 kB
Slab: 97756 kB
PageTables: 428 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 2997120 kB
Committed_AS: 90600 kB
VmallocTotal: 114680 kB
VmallocUsed: 1324 kB
VmallocChunk: 113264 kB
Free space on /tmp at the end= 6590 MiB
End job on tipi13 at 2009-05-17 20:01:52