0.00/0.00 c Parsing...
0.00/0.76 c ==============================================================================
0.00/0.76 c | | ORIGINAL | LEARNT | |
0.00/0.76 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.76 c ==============================================================================
0.00/0.76 c | 0 | 990219 2297722 | 297065 0 0 nan | 0.000 % |
7.07/7.17 c | 0 | 427478 1139975 | -- 0 -- -- | -- | -342939/-661157
7.07/7.17 c ==============================================================================
7.07/7.17 c Result : #vars: 72951 #clauses: 427478 #literals: 1139975
7.07/7.17 c CPU time: 6.91295 s
7.07/7.17 c ==============================================================================
7.57/7.61 c This is MiniSat 2.0 beta
7.57/7.61 c WARNING: for repeatability, setting FPU to use double precision
7.57/7.61 c ============================[ Problem Statistics ]=============================
7.57/7.61 c | |
7.57/7.61 c | Number of variables: 72951 |
7.57/7.61 c | Number of clauses: 427478 |
7.58/7.87 c | Parsing time: 0.23 s |
7.58/7.88 c ============================[ Search Statistics ]==============================
7.58/7.88 c | Conflicts | ORIGINAL | LEARNT | Progress |
7.58/7.88 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
7.58/7.88 c ===============================================================================
7.58/7.88 c | 0 | 72951 427478 1139975 | 142492 0 nan | 0.000 % |
7.58/8.10 c | 101 | 72499 427478 1139975 | 142492 90 100 | 11.282 % |
7.58/8.18 c | 202 | 72496 427478 1139975 | 142492 189 62 | 11.301 % |
7.58/8.29 c | 303 | 72491 427478 1139975 | 142492 287 69 | 11.402 % |
7.58/8.69 c | 413 | 59355 340491 930443 | 142492 383 70 | 18.637 % |
8.95/9.00 c | 513 | 58826 340491 930443 | 142492 471 69 | 28.311 % |
9.05/9.12 c | 624 | 58826 340491 930443 | 142492 580 60 | 28.806 % |
9.15/9.25 c | 745 | 58824 340491 930443 | 142492 700 63 | 28.819 % |
9.35/9.44 c | 846 | 51927 292652 813460 | 142492 797 61 | 28.819 % |
9.65/9.74 c | 957 | 51800 292652 813460 | 142492 903 59 | 30.374 % |
9.95/10.05 c | 1078 | 51800 292652 813460 | 142492 1023 71 | 31.126 % |
10.25/10.35 c | 1212 | 50077 281789 784892 | 142492 1133 70 | 33.967 % |
10.45/10.57 c | 1312 | 50077 281789 784892 | 142492 1233 88 | 33.967 % |
10.65/10.75 c | 1422 | 48162 268733 750105 | 142492 1323 90 | 33.980 % |
10.95/11.04 c | 1543 | 48132 268733 750105 | 142492 1437 86 | 39.195 % |
11.15/11.25 c | 1677 | 48120 268733 750105 | 142492 1569 81 | 39.247 % |
11.45/11.55 c | 1824 | 44320 243192 683357 | 142492 1701 87 | 39.247 % |
11.84/11.92 c | 1926 | 44300 243192 683357 | 142492 1801 89 | 40.260 % |
12.24/12.32 c | 2036 | 43580 239040 672718 | 142492 1889 89 | 40.291 % |
12.34/12.43 c | 2157 | 43580 239040 672718 | 142492 2010 86 | 40.291 % |
12.54/12.62 c | 2295 | 43115 238402 671139 | 142492 2134 85 | 43.065 % |
12.84/12.95 c | 2441 | 43060 238402 671139 | 142492 2279 85 | 44.099 % |
13.33/13.45 c | 2604 | 43060 238402 671139 | 142492 2441 86 | 44.338 % |
13.73/13.83 c | 2705 | 40606 217579 617249 | 142492 2518 91 | 44.415 % |
14.03/14.14 c | 2817 | 40606 217579 617249 | 142492 2630 91 | 44.415 % |
14.33/14.43 c | 2938 | 40550 217302 616618 | 142492 2751 93 | 44.415 % |
14.73/14.85 c | 3073 | 40549 217302 616618 | 142492 2885 94 | 44.427 % |
15.03/15.16 c | 3220 | 40539 217231 616439 | 142492 3029 94 | 44.553 % |
15.53/15.65 c | 3380 | 40518 217231 616439 | 142492 3182 95 | 44.659 % |
16.03/16.14 c | 3557 | 40368 216039 613435 | 142492 3344 99 | 44.672 % |
16.23/16.30 c | 3657 | 40368 216039 613435 | 142492 3444 99 | 44.673 % |
16.33/16.50 c | 3769 | 40368 216039 613435 | 142492 3556 97 | 44.672 % |
16.63/16.77 c | 3894 | 40362 215963 613244 | 142492 3681 98 | 44.672 % |
16.93/17.05 c | 4027 | 40359 215963 613244 | 142492 3812 98 | 44.698 % |
17.23/17.33 c | 4173 | 40358 215963 613244 | 142492 3957 102 | 45.022 % |
17.64/17.77 c | 4333 | 40107 211826 601663 | 142492 4114 108 | 45.022 % |
18.04/18.15 c | 4510 | 40107 211826 601663 | 142492 4291 112 | 45.022 % |
18.44/18.57 c | 4703 | 40079 211749 601461 | 142492 4473 110 | 45.288 % |
18.64/18.79 c | 4803 | 40076 211749 601461 | 142492 4572 109 | 45.400 % |
18.84/19.00 c | 4913 | 40076 211749 601461 | 142492 4682 108 | 45.400 % |
19.14/19.20 c | 5039 | 39441 207479 590506 | 142492 4801 107 | 46.269 % |
19.24/19.38 c | 5172 | 39441 207479 590506 | 142492 4934 106 | 46.269 % |
19.64/19.73 c | 5320 | 39441 207479 590506 | 142492 5082 108 | 46.269 % |
19.94/20.03 c | 5483 | 39441 207479 590506 | 142492 5245 110 | 46.269 % |
20.34/20.44 c | 5661 | 39441 207479 590506 | 142492 5423 120 | 46.269 % |
20.74/20.86 c | 5856 | 39197 203354 578896 | 142492 5618 124 | 46.269 % |
21.33/21.44 c | 6070 | 39197 203354 578896 | 142492 5831 131 | 46.438 % |
21.43/21.58 c | 6170 | 39194 203354 578896 | 142492 5931 130 | 46.438 % |
21.63/21.74 c | 6281 | 39074 202491 576839 | 142492 6042 129 | 46.438 % |
22.03/22.14 c | 6403 | 39074 202491 576839 | 142492 6164 129 | 46.438 % |
22.33/22.42 c | 6536 | 39074 202491 576839 | 142492 6297 128 | 46.438 % |
22.53/22.70 c | 6682 | 39071 202491 576839 | 142492 6440 127 | 46.934 % |
22.94/23.01 c | 6842 | 38712 200356 570889 | 142492 6572 130 | 46.934 % |
23.13/23.26 c | 7019 | 38712 200356 570889 | 142492 6749 129 | 46.934 % |
23.53/23.66 c | 7213 | 38703 200356 570889 | 142492 6934 127 | 47.425 % |
23.93/24.06 c | 7425 | 38674 200356 570889 | 142492 7139 127 | 47.668 % |
24.53/24.61 c | 7659 | 38175 196892 561955 | 142492 7366 126 | 47.687 % |
24.73/24.87 c | 7762 | 38175 196892 561955 | 142492 7469 128 | 47.687 % |
24.93/25.04 c | 7872 | 38174 196892 561955 | 142492 7578 128 | 47.688 % |
25.03/25.16 c | 7993 | 38174 196892 561955 | 142492 7699 127 | 47.688 % |
25.43/25.52 c | 8129 | 38151 196708 561469 | 142492 7833 127 | 47.705 % |
25.63/25.72 c | 8275 | 38121 196708 561469 | 142492 7977 127 | 51.637 % |
25.83/25.94 c | 8435 | 38121 196708 561469 | 142492 8137 128 | 51.637 % |
26.24/26.33 c | 8611 | 38120 196708 561469 | 142492 8312 128 | 51.654 % |
26.53/26.65 c | 8806 | 38119 196708 561469 | 142492 8507 128 | 51.654 % |
27.03/27.12 c | 9018 | 35269 179170 513099 | 142492 8679 128 | 51.654 % |
27.43/27.57 c | 9252 | 35263 179170 513099 | 142492 8912 128 | 51.680 % |
28.03/28.16 c | 9509 | 35263 179170 513099 | 142492 9169 126 | 51.680 % |
28.13/28.26 c | 9612 | 35250 179013 512722 | 142492 9271 126 | 51.680 % |
28.33/28.47 c | 9723 | 35249 179013 512722 | 142492 9381 126 | 51.695 % |
28.53/28.68 c | 9845 | 35249 179013 512722 | 142492 9503 126 | 51.695 % |
28.93/29.04 c | 9979 | 35248 179013 512722 | 142492 9636 126 | 51.707 % |
29.23/29.31 c | 10128 | 35248 179013 512722 | 2147483647 9785 128 | 51.707 % |
29.53/29.68 c | 10289 | 35248 179013 512722 | 2147483647 9946 129 | 51.707 % |
29.93/30.10 c | 10465 | 35230 178858 512348 | 2147483647 10121 131 | 51.707 % |
30.43/30.52 c | 10658 | 35230 178858 512348 | 2147483647 10314 131 | 51.707 % |
30.74/30.87 c | 10870 | 35230 178858 512348 | 2147483647 10526 132 | 51.707 % |
31.23/31.35 c | 11107 | 35230 178858 512348 | 2147483647 10763 132 | 51.707 % |
32.13/32.23 c | 11364 | 35220 178786 512171 | 2147483647 11018 130 | 51.721 % |
32.73/32.83 c | 11646 | 35220 178786 512171 | 2147483647 11300 129 | 51.721 % |
32.94/33.06 c | 11747 | 35219 178786 512171 | 2147483647 11400 128 | 51.733 % |
33.23/33.35 c | 11860 | 35219 178786 512171 | 2147483647 11513 128 | 51.733 % |
33.63/33.78 c | 11982 | 35211 178717 511996 | 2147483647 11635 127 | 51.733 % |
34.03/34.12 c | 12116 | 35211 178717 511996 | 2147483647 11769 127 | 51.733 % |
34.23/34.37 c | 12262 | 35211 178717 511996 | 2147483647 11915 126 | 51.734 % |
34.63/34.79 c | 12422 | 35211 178717 511996 | 2147483647 12075 125 | 51.733 % |
35.13/35.26 c | 12598 | 35210 178717 511996 | 2147483647 12250 124 | 51.748 % |
35.53/35.62 c | 12791 | 35200 178642 511797 | 2147483647 12443 125 | 51.748 % |
36.13/36.26 c | 13004 | 35198 178642 511797 | 2147483647 12654 127 | 51.773 % |
36.53/36.67 c | 13237 | 35196 178642 511797 | 2147483647 12886 127 | 51.784 % |
36.93/37.08 c | 13495 | 35124 178642 511797 | 2147483647 13141 127 | 53.311 % |
37.53/37.67 c | 13776 | 35124 178642 511797 | 2147483647 13422 128 | 53.311 % |
38.23/38.35 c | 14086 | 34060 171622 492384 | 2147483647 13684 129 | 53.311 % |
38.33/38.50 c | 14186 | 34055 171622 492384 | 2147483647 13782 128 | 53.336 % |
38.63/38.78 c | 14297 | 34055 171622 492384 | 2147483647 13893 128 | 53.336 % |
38.93/39.01 c | 14418 | 34055 171622 492384 | 2147483647 14014 128 | 53.336 % |
39.23/39.31 c | 14553 | 34055 171622 492384 | 2147483647 14149 128 | 53.336 % |
39.43/39.57 c | 14699 | 34054 171622 492384 | 2147483647 14294 129 | 53.350 % |
39.83/39.99 c | 14860 | 34054 171622 492384 | 2147483647 14455 128 | 53.350 % |
40.33/40.43 c | 15036 | 34032 171418 491882 | 2147483647 14630 129 | 53.350 % |
40.63/40.79 c | 15229 | 34032 171418 491882 | 2147483647 14823 129 | 53.350 % |
41.13/41.21 c | 15445 | 34032 171418 491882 | 2147483647 15039 129 | 53.350 % |
41.53/41.66 c | 15678 | 34032 171418 491882 | 2147483647 15272 129 | 53.350 % |
42.22/42.34 c | 15935 | 34013 171277 491532 | 2147483647 15523 129 | 53.376 % |
42.92/43.03 c | 16226 | 34013 171277 491532 | 2147483647 15814 129 | 53.376 % |
43.62/43.77 c | 16535 | 34013 171277 491532 | 2147483647 16122 130 | 53.391 % |
44.32/44.45 c | 16874 | 34004 171277 491532 | 2147483647 16460 131 | 54.426 % |
44.52/44.67 c | 16974 | 34004 171277 491532 | 2147483647 16560 130 | 54.426 % |
44.82/44.95 c | 17084 | 33246 167065 479604 | 2147483647 16606 131 | 54.483 % |
45.12/45.29 c | 17206 | 33246 167065 479604 | 2147483647 16728 131 | 54.483 % |
45.42/45.58 c | 17340 | 33246 167065 479604 | 2147483647 16862 131 | 54.483 % |
45.92/46.00 c | 17486 | 33246 167065 479604 | 2147483647 17008 132 | 54.483 % |
46.22/46.38 c | 17648 | 33246 167065 479604 | 2147483647 17170 132 | 54.483 % |
46.72/46.88 c | 17824 | 33246 167065 479604 | 2147483647 17345 132 | 54.604 % |
47.22/47.40 c | 18017 | 33246 167065 479604 | 2147483647 17538 133 | 54.604 % |
47.62/47.72 c | 18229 | 32949 166443 477782 | 2147483647 17745 132 | 61.669 % |
48.02/48.15 c | 18466 | 32949 166443 477782 | 2147483647 17982 132 | 61.669 % |
48.52/48.65 c | 18722 | 32949 166443 477782 | 2147483647 18238 131 | 61.669 % |
49.12/49.25 c | 19006 | 32949 166443 477782 | 2147483647 18522 131 | 61.669 % |
49.72/49.81 c | 19315 | 32949 166443 477782 | 2147483647 18831 132 | 61.669 % |
50.42/50.59 c | 19654 | 32949 166443 477782 | 2147483647 19170 132 | 61.669 % |
51.22/51.36 c | 20026 | 27963 134515 387352 | 2147483647 18756 135 | 61.669 % |
51.42/51.57 c | 20126 | 27963 134515 387352 | 2147483647 18856 135 | 61.669 % |
51.72/51.86 c | 20237 | 27963 134515 387352 | 2147483647 18967 135 | 61.669 % |
52.03/52.12 c | 20358 | 27963 134515 387352 | 2147483647 19088 135 | 61.669 % |
52.43/52.57 c | 20491 | 27962 134515 387352 | 2147483647 19220 135 | 61.683 % |
52.83/52.90 c | 20637 | 27962 134515 387352 | 2147483647 19366 135 | 61.683 % |
53.03/53.11 c | 20797 | 27962 134515 387352 | 2147483647 19526 135 | 61.683 % |
53.43/53.52 c | 20973 | 27962 134515 387352 | 2147483647 19702 135 | 61.683 % |
53.83/53.90 c | 21168 | 27953 134447 387169 | 2147483647 19897 135 | 61.683 % |
54.23/54.38 c | 21382 | 27953 134447 387169 | 2147483647 20111 135 | 61.683 % |
54.73/54.82 c | 21617 | 27953 134447 387169 | 2147483647 20346 135 | 61.683 % |
55.13/55.25 c | 21873 | 27953 134447 387169 | 2147483647 20602 134 | 61.683 % |
55.82/55.90 c | 22155 | 27953 134447 387169 | 2147483647 20884 134 | 61.683 % |
56.32/56.49 c | 22464 | 27953 134447 387169 | 2147483647 21192 134 | 61.685 % |
57.02/57.14 c | 22805 | 27951 134440 387141 | 2147483647 21527 134 | 61.685 % |
57.72/57.89 c | 23181 | 27951 134440 387141 | 2147483647 21903 133 | 61.685 % |
58.52/58.68 c | 23591 | 27951 134440 387141 | 2147483647 22313 133 | 61.685 % |
58.72/58.88 c | 23691 | 27951 134440 387141 | 2147483647 22413 133 | 61.685 % |
59.02/59.12 c | 23804 | 27951 134440 387141 | 2147483647 22526 132 | 61.685 % |
59.22/59.36 c | 23925 | 27951 134440 387141 | 2147483647 22647 132 | 61.685 % |
59.62/59.76 c | 24061 | 27951 134440 387141 | 2147483647 22783 132 | 61.685 % |
59.92/60.01 c | 24207 | 27951 134440 387141 | 2147483647 22929 132 | 61.685 % |
60.42/60.51 c | 24377 | 27951 134440 387141 | 2147483647 23099 133 | 61.685 % |
60.81/60.91 c | 24555 | 27951 134440 387141 | 2147483647 23277 133 | 61.685 % |
61.11/61.27 c | 24749 | 27951 134440 387141 | 2147483647 23471 133 | 61.685 % |
61.61/61.76 c | 24961 | 27951 134440 387141 | 2147483647 23683 133 | 61.685 % |
62.11/62.22 c | 25194 | 27951 134440 387141 | 2147483647 23916 133 | 61.685 % |
62.62/62.77 c | 25450 | 27939 134366 386935 | 2147483647 24171 133 | 61.702 % |
63.11/63.25 c | 25733 | 27939 134366 386935 | 2147483647 24454 134 | 61.702 % |
63.72/63.89 c | 26044 | 27939 134366 386935 | 2147483647 24765 133 | 61.702 % |
64.51/64.63 c | 26383 | 27938 134366 386935 | 2147483647 25103 133 | 61.703 % |
65.31/65.42 c | 26758 | 27938 134366 386935 | 2147483647 25477 132 | 61.704 % |
66.21/66.31 c | 27168 | 27938 134366 386935 | 2147483647 25886 132 | 61.721 % |
66.91/67.00 c | 27617 | 27925 134293 386734 | 2147483647 26334 132 | 61.721 % |
67.01/67.19 c | 27717 | 27925 134293 386734 | 2147483647 26434 131 | 61.721 % |
67.31/67.49 c | 27830 | 27925 134293 386734 | 2147483647 26547 131 | 61.721 % |
67.71/67.82 c | 27955 | 27925 134293 386734 | 2147483647 26672 131 | 61.721 % |
68.11/68.26 c | 28091 | 27925 134293 386734 | 2147483647 26808 131 | 61.721 % |
68.41/68.53 c | 28240 | 27925 134293 386734 | 2147483647 26957 131 | 61.721 % |
68.81/68.96 c | 28400 | 27925 134293 386734 | 2147483647 27117 131 | 61.721 % |
69.21/69.38 c | 28576 | 27925 134293 386734 | 2147483647 27293 131 | 61.721 % |
69.61/69.79 c | 28772 | 27925 134293 386734 | 2147483647 27489 130 | 61.721 % |
70.11/70.30 c | 28985 | 27925 134293 386734 | 2147483647 27702 130 | 61.721 % |
70.61/70.77 c | 29219 | 27925 134293 386734 | 2147483647 27936 130 | 61.721 % |
71.32/71.43 c | 29476 | 27925 134293 386734 | 2147483647 28193 130 | 61.721 % |
71.81/71.95 c | 29757 | 27925 134293 386734 | 2147483647 28474 130 | 61.721 % |
72.31/72.47 c | 30066 | 27925 134293 386734 | 2147483647 28783 130 | 61.721 % |
73.21/73.32 c | 30405 | 27925 134293 386734 | 2147483647 29122 130 | 61.721 % |
74.01/74.15 c | 30778 | 27925 134293 386734 | 2147483647 29495 129 | 61.721 % |
75.11/75.24 c | 31187 | 27925 134293 386734 | 2147483647 29904 129 | 61.721 % |
76.11/76.27 c | 31636 | 27925 134293 386734 | 2147483647 30353 128 | 61.721 % |
77.01/77.18 c | 32130 | 27925 134293 386734 | 2147483647 30847 128 | 61.721 % |
77.20/77.38 c | 32230 | 27925 134293 386734 | 2147483647 30947 128 | 61.721 % |
77.50/77.64 c | 32347 | 27925 134293 386734 | 2147483647 31064 128 | 61.721 % |
77.70/77.86 c | 32469 | 27925 134293 386734 | 2147483647 31186 128 | 61.721 % |
78.01/78.17 c | 32605 | 27925 134293 386734 | 2147483647 31322 128 | 61.721 % |
78.40/78.57 c | 32753 | 27925 134293 386734 | 2147483647 31470 128 | 61.721 % |
78.80/78.97 c | 32913 | 27925 134293 386734 | 2147483647 31630 128 | 61.721 % |
79.30/79.41 c | 33089 | 27925 134293 386734 | 2147483647 31806 128 | 61.721 % |
79.70/79.82 c | 33284 | 27925 134293 386734 | 2147483647 32001 127 | 61.721 % |
80.30/80.40 c | 33498 | 27925 134293 386734 | 2147483647 32215 127 | 61.721 % |
80.80/80.91 c | 33733 | 27925 134293 386734 | 2147483647 32450 127 | 61.721 % |
81.31/81.47 c | 33990 | 27925 134293 386734 | 2147483647 32707 127 | 61.721 % |
82.10/82.23 c | 34274 | 27925 134293 386734 | 2147483647 32991 126 | 61.721 % |
82.80/82.93 c | 34584 | 27925 134293 386734 | 2147483647 33301 126 | 61.721 % |
83.50/83.68 c | 34926 | 27925 134293 386734 | 2147483647 33643 126 | 61.721 % |
84.40/84.53 c | 35301 | 27925 134293 386734 | 2147483647 34018 126 | 61.721 % |
85.10/85.25 c | 35710 | 27925 134293 386734 | 2147483647 34427 126 | 61.721 % |
86.00/86.14 c | 36160 | 27925 134293 386734 | 2147483647 34877 126 | 61.721 % |
87.20/87.37 c | 36657 | 27925 134293 386734 | 2147483647 35374 127 | 61.721 % |
88.50/88.69 c | 37199 | 27780 133573 384624 | 2147483647 35851 127 | 61.920 % |
88.80/88.94 c | 37303 | 27780 133573 384624 | 2147483647 35955 127 | 61.920 % |
89.10/89.23 c | 37415 | 27780 133573 384624 | 2147483647 36067 127 | 61.920 % |
89.40/89.55 c | 37540 | 27780 133573 384624 | 2147483647 36192 127 | 61.920 % |
89.80/89.90 c | 37675 | 27780 133573 384624 | 2147483647 36327 127 | 61.920 % |
90.20/90.33 c | 37821 | 27780 133573 384624 | 2147483647 36473 127 | 61.920 % |
90.50/90.67 c | 37983 | 27780 133573 384624 | 2147483647 36635 126 | 61.920 % |
91.00/91.18 c | 38159 | 27778 133573 384624 | 2147483647 36810 126 | 63.053 % |
91.70/91.82 c | 38352 | 27778 133573 384624 | 2147483647 37003 126 | 63.053 % |
92.21/92.37 c | 38564 | 27778 133573 384624 | 2147483647 37215 126 | 63.053 % |
92.70/92.81 c | 38798 | 27778 133573 384624 | 2147483647 37449 126 | 63.053 % |
93.20/93.34 c | 39054 | 27778 133573 384624 | 2147483647 37705 126 | 63.053 % |
93.80/93.95 c | 39336 | 27778 133573 384624 | 2147483647 37987 126 | 63.053 % |
94.60/94.76 c | 39645 | 26953 129797 372725 | 2147483647 37964 125 | 63.053 % |
95.90/96.05 c | 39985 | 26953 129797 372725 | 2147483647 38304 125 | 63.053 % |
96.80/96.99 c | 40358 | 26953 129797 372725 | 2147483647 38677 126 | 63.053 % |
97.70/97.89 c | 40767 | 26950 129797 372725 | 2147483647 39085 126 | 63.125 % |
98.80/98.96 c | 41216 | 26950 129797 372725 | 2147483647 39534 125 | 63.125 % |
100.19/100.35 c | 41709 | 26950 129797 372725 | 2147483647 40027 124 | 63.125 % |
101.69/101.89 c | 42252 | 26901 129474 371843 | 2147483647 40570 124 | 63.125 % |
103.68/103.88 c | 42849 | 26901 129474 371843 | 2147483647 41167 123 | 63.125 % |
103.98/104.16 c | 42949 | 26901 129474 371843 | 2147483647 41267 123 | 63.125 % |
104.18/104.40 c | 43060 | 26901 129474 371843 | 2147483647 41378 123 | 63.125 % |
104.48/104.69 c | 43181 | 26901 129474 371843 | 2147483647 41499 123 | 63.125 % |
104.88/105.05 c | 43315 | 26901 129474 371843 | 2147483647 41633 123 | 63.125 % |
105.28/105.43 c | 43462 | 26901 129474 371843 | 2147483647 41780 123 | 63.125 % |
105.68/105.85 c | 43622 | 26901 129474 371843 | 2147483647 41940 123 | 63.125 % |
105.98/106.19 c | 43799 | 26901 129474 371843 | 2147483647 42117 123 | 63.125 % |
106.49/106.63 c | 43992 | 26901 129474 371843 | 2147483647 42310 123 | 63.125 % |
106.88/107.00 c | 44204 | 26901 129474 371843 | 2147483647 42522 123 | 63.125 % |
107.38/107.58 c | 44441 | 26901 129474 371843 | 2147483647 42759 123 | 63.125 % |
107.98/108.17 c | 44697 | 26901 129474 371843 | 2147483647 43015 123 | 63.125 % |
108.59/108.76 c | 44979 | 26901 129474 371843 | 2147483647 43297 123 | 63.125 % |
109.19/109.37 c | 45290 | 26901 129474 371843 | 2147483647 43608 123 | 63.125 % |
109.99/110.11 c | 45630 | 26896 129426 371716 | 2147483647 43947 123 | 63.132 % |
111.09/111.21 c | 46004 | 26896 129426 371716 | 2147483647 44321 123 | 63.132 % |
112.29/112.41 c | 46413 | 26896 129426 371716 | 2147483647 44730 123 | 63.132 % |
113.59/113.73 c | 46865 | 26896 129426 371716 | 2147483647 45182 122 | 63.131 % |
115.49/115.69 c | 47358 | 26896 129426 371716 | 2147483647 45675 121 | 63.131 % |
117.29/117.45 c | 47902 | 26896 129426 371716 | 2147483647 46219 120 | 63.131 % |
119.29/119.48 c | 48498 | 26896 129426 371716 | 2147483647 46815 119 | 63.131 % |
121.18/121.39 c | 49153 | 26886 129363 371558 | 2147483647 47452 119 | 63.145 % |
121.48/121.64 c | 49255 | 26886 129363 371558 | 2147483647 47554 119 | 63.145 % |
121.78/121.93 c | 49367 | 26886 129363 371558 | 2147483647 47665 119 | 63.160 % |
121.99/122.19 c | 49488 | 26885 129363 371558 | 2147483647 47786 119 | 63.160 % |
122.38/122.57 c | 49622 | 26885 129363 371558 | 2147483647 47920 119 | 63.160 % |
122.78/122.94 c | 49770 | 26885 129363 371558 | 2147483647 48068 119 | 63.160 % |
123.28/123.40 c | 49930 | 26885 129363 371558 | 2147483647 48228 119 | 63.160 % |
123.58/123.76 c | 50106 | 26885 129363 371558 | 2147483647 48404 119 | 63.160 % |
123.98/124.19 c | 50299 | 26885 129363 371558 | 2147483647 48597 119 | 63.160 % |
124.58/124.75 c | 50511 | 26885 129363 371558 | 2147483647 48809 119 | 63.160 % |
125.08/125.28 c | 50748 | 26885 129363 371558 | 2147483647 49046 119 | 63.160 % |
125.68/125.80 c | 51004 | 26885 129363 371558 | 2147483647 49302 119 | 63.160 % |
126.38/126.52 c | 51286 | 26885 129363 371558 | 2147483647 49583 119 | 63.174 % |
127.48/127.62 c | 51596 | 26885 129363 371558 | 2147483647 49893 118 | 63.174 % |
128.27/128.45 c | 51935 | 26885 129363 371558 | 2147483647 50232 118 | 63.174 % |
129.58/129.72 c | 52308 | 26865 129212 371163 | 2147483647 50587 118 | 63.174 % |
130.68/130.81 c | 52718 | 26865 129212 371163 | 2147483647 50997 118 | 63.174 % |
131.78/131.96 c | 53168 | 26865 129212 371163 | 2147483647 51447 118 | 63.174 % |
133.17/133.30 c | 53665 | 26865 129212 371163 | 2147483647 51944 118 | 63.174 % |
134.37/134.51 c | 54207 | 26865 129212 371163 | 2147483647 52486 118 | 63.174 % |
135.78/135.92 c | 54805 | 26865 129212 371163 | 2147483647 53084 118 | 63.174 % |
137.68/137.80 c | 55463 | 26865 129212 371163 | 2147483647 53742 118 | 63.174 % |
139.58/139.75 c | 56183 | 26865 129212 371163 | 2147483647 54462 118 | 63.174 % |
139.87/140.03 c | 56287 | 26865 129212 371163 | 2147483647 54566 118 | 63.174 % |
140.07/140.25 c | 56397 | 26865 129212 371163 | 2147483647 54676 118 | 63.174 % |
140.47/140.63 c | 56518 | 26865 129212 371163 | 2147483647 54797 118 | 63.174 % |
140.77/140.99 c | 56651 | 26865 129212 371163 | 2147483647 54930 118 | 63.174 % |
141.07/141.28 c | 56797 | 26865 129212 371163 | 2147483647 55076 118 | 63.174 % |
141.57/141.77 c | 56957 | 26865 129212 371163 | 2147483647 55236 118 | 63.174 % |
141.97/142.18 c | 57133 | 26865 129212 371163 | 2147483647 55412 118 | 63.174 % |
142.37/142.58 c | 57326 | 26865 129212 371163 | 2147483647 55605 118 | 63.174 % |
143.07/143.21 c | 57538 | 26865 129212 371163 | 2147483647 55817 118 | 63.174 % |
143.77/143.91 c | 57771 | 26865 129212 371163 | 2147483647 56050 118 | 63.174 % |
144.57/144.72 c | 58029 | 26865 129212 371163 | 2147483647 56308 118 | 63.174 % |
145.07/145.28 c | 58310 | 26865 129212 371163 | 2147483647 56589 118 | 63.174 % |
145.97/146.13 c | 58621 | 26865 129212 371163 | 2147483647 56900 118 | 63.174 % |
146.76/146.91 c | 58960 | 26865 129212 371163 | 2147483647 57239 118 | 63.174 % |
147.46/147.68 c | 59332 | 26865 129212 371163 | 2147483647 57611 118 | 63.174 % |
148.56/148.79 c | 59741 | 26865 129212 371163 | 2147483647 58020 118 | 63.174 % |
149.86/150.00 c | 60190 | 26865 129212 371163 | 2147483647 58469 118 | 63.174 % |
150.96/151.15 c | 60684 | 26865 129212 371163 | 2147483647 58963 117 | 63.174 % |
152.26/152.42 c | 61228 | 26865 129212 371163 | 2147483647 59507 117 | 63.174 % |
153.55/153.78 c | 61824 | 26865 129212 371163 | 2147483647 60103 117 | 63.174 % |
155.16/155.37 c | 62480 | 26865 129212 371163 | 2147483647 60759 116 | 63.174 % |
156.76/156.94 c | 63200 | 26865 129212 371163 | 2147483647 61479 116 | 63.174 % |
158.46/158.66 c | 63992 | 26865 129212 371163 | 2147483647 62271 115 | 63.174 % |
158.66/158.86 c | 64092 | 26865 129212 371163 | 2147483647 62371 115 | 63.174 % |
158.96/159.15 c | 64202 | 26865 129212 371163 | 2147483647 62481 115 | 63.174 % |
159.26/159.46 c | 64323 | 26865 129212 371163 | 2147483647 62602 115 | 63.174 % |
159.66/159.87 c | 64457 | 26865 129212 371163 | 2147483647 62736 115 | 63.174 % |
160.16/160.31 c | 64604 | 26865 129212 371163 | 2147483647 62883 115 | 63.174 % |
160.56/160.75 c | 64764 | 26865 129212 371163 | 2147483647 63043 115 | 63.174 % |
161.06/161.24 c | 64940 | 26865 129212 371163 | 2147483647 63219 115 | 63.174 % |
161.66/161.81 c | 65136 | 26865 129212 371163 | 2147483647 63415 115 | 63.174 % |
162.06/162.28 c | 65348 | 26865 129212 371163 | 2147483647 63627 115 | 63.174 % |
162.56/162.77 c | 65581 | 26865 129212 371163 | 2147483647 63860 115 | 63.174 % |
163.26/163.47 c | 65838 | 26865 129212 371163 | 2147483647 64117 115 | 63.174 % |
164.25/164.44 c | 66119 | 26857 129180 370994 | 2147483647 64377 115 | 63.185 % |
165.25/165.45 c | 66428 | 26857 129180 370994 | 2147483647 64686 115 | 63.185 % |
166.35/166.51 c | 66767 | 26857 129180 370994 | 2147483647 65025 115 | 63.185 % |
167.45/167.68 c | 67139 | 26857 129180 370994 | 2147483647 65397 115 | 63.185 % |
168.95/169.18 c | 67548 | 26857 129180 370994 | 2147483647 65806 115 | 63.185 % |
170.15/170.39 c | 67998 | 26857 129180 370994 | 2147483647 66256 115 | 63.185 % |
171.95/172.13 c | 68492 | 26857 129180 370994 | 2147483647 66750 114 | 63.185 % |
173.25/173.49 c | 69036 | 26857 129180 370994 | 2147483647 67294 114 | 63.185 % |
174.65/174.83 c | 69636 | 26857 129180 370994 | 2147483647 67894 114 | 63.185 % |
176.35/176.50 c | 70292 | 26845 129103 370790 | 2147483647 68531 114 | 63.201 % |
178.65/178.82 c | 71015 | 26845 129103 370790 | 2147483647 69254 115 | 63.201 % |
180.95/181.19 c | 71808 | 26845 129103 370790 | 2147483647 70046 115 | 63.319 % |
184.05/184.26 c | 72683 | 26845 129103 370790 | 2147483647 70921 114 | 63.319 % |
184.25/184.48 c | 72783 | 26845 129103 370790 | 2147483647 71021 114 | 63.319 % |
184.55/184.79 c | 72893 | 26845 129103 370790 | 2147483647 71131 114 | 63.319 % |
184.85/185.03 c | 73016 | 26845 129103 370790 | 2147483647 71254 114 | 63.319 % |
185.15/185.33 c | 73150 | 26845 129103 370790 | 2147483647 71388 114 | 63.319 % |
185.45/185.69 c | 73296 | 26845 129103 370790 | 2147483647 71534 114 | 63.319 % |
185.85/186.09 c | 73456 | 26845 129103 370790 | 2147483647 71694 114 | 63.319 % |
186.35/186.60 c | 73634 | 26845 129103 370790 | 2147483647 71872 114 | 63.319 % |
186.95/187.15 c | 73827 | 26845 129103 370790 | 2147483647 72065 114 | 63.319 % |
187.45/187.62 c | 74040 | 26845 129103 370790 | 2147483647 72278 114 | 63.319 % |
188.15/188.37 c | 74274 | 26845 129103 370790 | 2147483647 72512 114 | 63.319 % |
189.05/189.24 c | 74530 | 26759 128512 369353 | 2147483647 72768 114 | 63.319 % |
189.74/189.90 c | 74811 | 26759 128512 369353 | 2147483647 73049 114 | 63.319 % |
190.44/190.67 c | 75121 | 26759 128512 369353 | 2147483647 73359 114 | 63.319 % |
191.44/191.64 c | 75460 | 26759 128512 369353 | 2147483647 73698 114 | 63.319 % |
192.24/192.45 c | 75833 | 26759 128512 369353 | 2147483647 74071 114 | 63.319 % |
193.13/193.38 c | 76243 | 26759 128512 369353 | 2147483647 74481 114 | 63.319 % |
194.33/194.50 c | 76692 | 26759 128512 369353 | 2147483647 74930 114 | 63.319 % |
195.13/195.33 c | 77186 | 26759 128512 369353 | 2147483647 75424 113 | 63.319 % |
196.53/196.72 c | 77729 | 26759 128512 369353 | 2147483647 75967 114 | 63.319 % |
198.33/198.53 c | 78325 | 26759 128512 369353 | 2147483647 76563 114 | 63.319 % |
199.83/200.07 c | 78982 | 26759 128512 369353 | 2147483647 77220 114 | 63.319 % |
201.63/201.82 c | 79702 | 26759 128512 369353 | 2147483647 77940 114 | 63.319 % |
204.04/204.20 c | 80494 | 26759 128512 369353 | 2147483647 78732 115 | 63.319 % |
206.03/206.20 c | 81365 | 26759 128512 369353 | 2147483647 79603 115 | 63.319 % |
208.63/208.88 c | 82325 | 26719 128433 369150 | 2147483647 80549 115 | 64.187 % |
208.93/209.17 c | 82426 | 26719 128433 369150 | 2147483647 80650 115 | 64.187 % |
209.23/209.47 c | 82536 | 26719 128433 369150 | 2147483647 80760 115 | 64.187 % |
209.53/209.79 c | 82657 | 26719 128433 369150 | 2147483647 80881 115 | 64.187 % |
209.94/210.12 c | 82793 | 26719 128433 369150 | 2147483647 81017 115 | 64.187 % |
210.43/210.60 c | 82940 | 26719 128433 369150 | 2147483647 81164 115 | 64.187 % |
210.83/211.08 c | 83102 | 26719 128433 369150 | 2147483647 81326 115 | 64.187 % |
211.43/211.67 c | 83278 | 26719 128433 369150 | 2147483647 81502 115 | 64.187 % |
212.03/212.25 c | 83472 | 26719 128433 369150 | 2147483647 81696 115 | 64.187 % |
212.63/212.80 c | 83684 | 26719 128433 369150 | 2147483647 81908 115 | 64.187 % |
213.33/213.52 c | 83919 | 26719 128433 369150 | 2147483647 82143 115 | 64.187 % |
213.93/214.19 c | 84175 | 26719 128433 369150 | 2147483647 82399 115 | 64.187 % |
214.93/215.12 c | 84461 | 26719 128433 369150 | 2147483647 82685 115 | 64.187 % |
215.83/216.07 c | 84770 | 26719 128433 369150 | 2147483647 82994 115 | 64.187 % |
216.73/216.97 c | 85109 | 26719 128433 369150 | 2147483647 83333 115 | 64.187 % |
217.93/218.12 c | 85484 | 26719 128433 369150 | 2147483647 83707 115 | 64.205 % |
219.02/219.25 c | 85895 | 26719 128433 369150 | 2147483647 84118 115 | 64.205 % |
220.22/220.47 c | 86344 | 26719 128433 369150 | 2147483647 84566 115 | 64.220 % |
221.72/221.94 c | 86838 | 26719 128433 369150 | 2147483647 85060 115 | 64.220 % |
223.52/223.73 c | 87380 | 26101 125007 359116 | 2147483647 85453 115 | 64.235 % |
225.12/225.38 c | 87978 | 26101 125007 359116 | 2147483647 86051 115 | 64.235 % |
227.12/227.32 c | 88633 | 26101 125007 359116 | 2147483647 86706 115 | 64.235 % |
229.02/229.24 c | 89354 | 26101 125007 359116 | 2147483647 87427 115 | 64.235 % |
231.32/231.51 c | 90148 | 26101 125007 359116 | 2147483647 88221 115 | 64.235 % |
233.12/233.39 c | 91021 | 26101 125007 359116 | 2147483647 89094 114 | 64.235 % |
236.11/236.36 c | 91980 | 26101 125007 359116 | 2147483647 90053 114 | 64.235 % |
239.62/239.87 c | 93033 | 26101 125007 359116 | 2147483647 91106 114 | 64.235 % |
239.91/240.16 c | 93136 | 26101 125007 359116 | 2147483647 91208 114 | 64.236 % |
240.21/240.45 c | 93248 | 26101 125007 359116 | 2147483647 91320 114 | 64.236 % |
240.51/240.79 c | 93370 | 26090 124926 358896 | 2147483647 91421 114 | 64.236 % |
241.01/241.25 c | 93505 | 26090 124926 358896 | 2147483647 91556 114 | 64.236 % |
241.51/241.79 c | 93652 | 26090 124926 358896 | 2147483647 91703 114 | 64.236 % |
242.01/242.25 c | 93813 | 26090 124926 358896 | 2147483647 91864 114 | 64.236 % |
242.61/242.88 c | 93989 | 26090 124926 358896 | 2147483647 92040 114 | 64.236 % |
243.51/243.70 c | 94184 | 26090 124926 358896 | 2147483647 92235 113 | 64.236 % |
244.31/244.54 c | 94396 | 26090 124926 358896 | 2147483647 92447 113 | 64.236 % |
245.11/245.35 c | 94630 | 26090 124926 358896 | 2147483647 92681 113 | 64.236 % |
246.11/246.36 c | 94890 | 26090 124926 358896 | 2147483647 92941 113 | 64.236 % |
247.01/247.23 c | 95172 | 26090 124926 358896 | 2147483647 93223 113 | 64.236 % |
247.91/248.16 c | 95481 | 26090 124926 358896 | 2147483647 93532 113 | 64.236 % |
249.00/249.25 c | 95820 | 26090 124926 358896 | 2147483647 93871 113 | 64.236 % |
250.10/250.32 c | 96192 | 26090 124926 358896 | 2147483647 94243 112 | 64.236 % |
251.61/251.86 c | 96602 | 26090 124926 358896 | 2147483647 94653 112 | 64.236 % |
252.80/253.07 c | 97058 | 26090 124926 358896 | 2147483647 95109 112 | 64.236 % |
254.10/254.34 c | 97552 | 26090 124926 358896 | 2147483647 95603 112 | 64.236 % |
256.10/256.39 c | 98094 | 26090 124926 358896 | 2147483647 96145 112 | 64.236 % |
258.20/258.42 c | 98690 | 26090 124926 358896 | 2147483647 96741 112 | 64.236 % |
260.50/260.70 c | 99345 | 26090 124926 358896 | 2147483647 97395 112 | 64.253 % |
262.60/262.80 c | 100066 | 26078 124857 358704 | 2147483647 98114 112 | 64.253 % |
264.40/264.68 c | 100858 | 26078 124857 358704 | 2147483647 98906 112 | 64.253 % |
266.69/266.90 c | 101729 | 26078 124857 358704 | 2147483647 99777 112 | 64.253 % |
269.20/269.48 c | 102690 | 26078 124857 358704 | 2147483647 100738 111 | 64.253 % |
272.29/272.55 c | 103745 | 26078 124857 358704 | 2147483647 101793 111 | 64.253 % |
275.59/275.88 c | 104906 | 26078 124857 358704 | 2147483647 102954 110 | 64.253 % |
275.89/276.17 c | 105006 | 26078 124857 358704 | 2147483647 103054 110 | 64.253 % |
276.19/276.42 c | 105116 | 26078 124857 358704 | 2147483647 103164 110 | 64.253 % |
276.59/276.88 c | 105240 | 26078 124857 358704 | 2147483647 103288 111 | 64.253 % |
277.09/277.38 c | 105373 | 26078 124857 358704 | 2147483647 103421 111 | 64.253 % |
277.49/277.79 c | 105521 | 26078 124857 358704 | 2147483647 103569 111 | 64.253 % |
278.09/278.34 c | 105681 | 26078 124857 358704 | 2147483647 103729 111 | 64.253 % |
278.69/278.99 c | 105858 | 26078 124857 358704 | 2147483647 103906 111 | 64.253 % |
279.50/279.76 c | 106052 | 26078 124857 358704 | 2147483647 104100 111 | 64.253 % |
280.10/280.39 c | 106264 | 26078 124857 358704 | 2147483647 104312 111 | 64.253 % |
280.99/281.20 c | 106497 | 26078 124857 358704 | 2147483647 104545 110 | 64.253 % |
281.69/281.93 c | 106753 | 26078 124857 358704 | 2147483647 104801 110 | 64.253 % |
282.59/282.86 c | 107035 | 26078 124857 358704 | 2147483647 105083 110 | 64.253 % |
283.29/283.51 c | 107344 | 26078 124857 358704 | 2147483647 105392 110 | 64.253 % |
284.49/284.75 c | 107685 | 26078 124857 358704 | 2147483647 105733 110 | 64.253 % |
285.49/285.79 c | 108058 | 26078 124857 358704 | 2147483647 106106 110 | 64.253 % |
287.19/287.42 c | 108468 | 26078 124857 358704 | 2147483647 106516 110 | 64.253 % |
288.99/289.26 c | 108917 | 26078 124857 358704 | 2147483647 106965 110 | 64.253 % |
290.89/291.20 c | 109411 | 26078 124857 358704 | 2147483647 107459 110 | 64.253 % |
292.18/292.50 c | 109954 | 26078 124857 358704 | 2147483647 108002 110 | 64.253 % |
294.08/294.30 c | 110552 | 26078 124857 358704 | 2147483647 108600 110 | 64.253 % |
295.98/296.22 c | 111207 | 26078 124857 358704 | 2147483647 109255 109 | 64.253 % |
298.28/298.54 c | 111927 | 26078 124857 358704 | 2147483647 109975 109 | 64.253 % |
300.68/300.95 c | 112719 | 26060 124743 358419 | 2147483647 110726 109 | 64.277 % |
303.77/304.02 c | 113591 | 26060 124743 358419 | 2147483647 111598 109 | 64.277 % |
307.07/307.30 c | 114549 | 26060 124743 358419 | 2147483647 112556 109 | 64.277 % |
310.17/310.45 c | 115602 | 26060 124743 358419 | 2147483647 113609 109 | 64.277 % |
313.88/314.10 c | 116762 | 26060 124743 358419 | 2147483647 114769 109 | 64.277 % |
318.08/318.34 c | 118039 | 26060 124743 358419 | 2147483647 116046 109 | 64.277 % |
318.57/318.81 c | 118139 | 26060 124743 358419 | 2147483647 116146 109 | 64.277 % |
318.97/319.27 c | 118250 | 26060 124743 358419 | 2147483647 116257 108 | 64.278 % |
319.57/319.81 c | 118371 | 26060 124743 358419 | 2147483647 116378 108 | 64.277 % |
320.17/320.40 c | 118506 | 26060 124743 358419 | 2147483647 116513 108 | 64.278 % |
320.67/320.92 c | 118652 | 26060 124743 358419 | 2147483647 116659 108 | 64.278 % |
321.27/321.53 c | 118812 | 26060 124743 358419 | 2147483647 116819 108 | 64.278 % |
321.77/322.09 c | 118988 | 26060 124743 358419 | 2147483647 116995 108 | 64.277 % |
322.57/322.83 c | 119181 | 26060 124743 358419 | 2147483647 117188 108 | 64.277 % |
323.27/323.51 c | 119396 | 26060 124743 358419 | 2147483647 117403 108 | 64.277 % |
323.97/324.25 c | 119629 | 26060 124743 358419 | 2147483647 117636 109 | 64.278 % |
324.77/325.02 c | 119887 | 26060 124743 358419 | 2147483647 117894 109 | 64.277 % |
325.76/326.09 c | 120168 | 26060 124743 358419 | 2147483647 118175 109 | 64.278 % |
326.76/327.09 c | 120478 | 26060 124743 358419 | 2147483647 118485 109 | 64.278 % |
327.76/328.04 c | 120817 | 26060 124743 358419 | 2147483647 118824 109 | 64.277 % |
328.76/329.06 c | 121190 | 26060 124743 358419 | 2147483647 119197 109 | 64.278 % |
330.26/330.53 c | 121603 | 26060 124743 358419 | 2147483647 119610 109 | 64.278 % |
331.46/331.74 c | 122052 | 26060 124743 358419 | 2147483647 120059 109 | 64.278 % |
333.06/333.38 c | 122551 | 26060 124743 358419 | 2147483647 120558 109 | 64.277 % |
334.96/335.20 c | 123095 | 26060 124743 358419 | 2147483647 121102 109 | 64.278 % |
336.76/337.01 c | 123692 | 20007 91951 265994 | 2147483647 119974 110 | 72.575 % |
338.47/338.73 c | 124349 | 20007 91951 265994 | 2147483647 120631 110 | 72.575 % |
340.77/341.09 c | 125070 | 20007 91951 265994 | 2147483647 121351 110 | 72.591 % |
343.16/343.45 c | 125865 | 20007 91951 265994 | 2147483647 122146 110 | 72.591 % |
345.56/345.83 c | 126736 | 20007 91951 265994 | 2147483647 123017 110 | 72.591 % |
348.66/348.92 c | 127696 | 20007 91951 265994 | 2147483647 123977 110 | 72.591 % |
352.05/352.34 c | 128749 | 20007 91951 265994 | 2147483647 125030 110 | 72.591 % |
355.85/356.10 c | 129908 | 20007 91951 265994 | 2147483647 126189 110 | 72.591 % |
359.65/359.94 c | 131181 | 20007 91951 265994 | 2147483647 127462 110 | 72.591 % |
363.75/364.05 c | 132581 | 19995 91874 265788 | 2147483647 128842 110 | 72.591 % |
364.15/364.46 c | 132681 | 19995 91874 265788 | 2147483647 128942 110 | 72.591 % |
364.65/364.94 c | 132796 | 19995 91874 265788 | 2147483647 129057 110 | 72.591 % |
365.15/365.40 c | 132920 | 19995 91874 265788 | 2147483647 129181 110 | 72.591 % |
365.55/365.83 c | 133053 | 19995 91874 265788 | 2147483647 129314 110 | 72.591 % |
365.95/366.30 c | 133202 | 19995 91874 265788 | 2147483647 129463 110 | 72.591 % |
366.55/366.81 c | 133365 | 19995 91874 265788 | 2147483647 129626 110 | 72.591 % |
367.25/367.50 c | 133542 | 19995 91874 265788 | 2147483647 129802 110 | 72.609 % |
367.85/368.12 c | 133735 | 19986 91874 265788 | 2147483647 129994 110 | 73.745 % |
368.45/368.76 c | 133949 | 19986 91874 265788 | 2147483647 130208 110 | 73.745 % |
369.15/369.40 c | 134184 | 19986 91874 265788 | 2147483647 130443 110 | 73.745 % |
370.15/370.43 c | 134442 | 19986 91874 265788 | 2147483647 130701 110 | 73.745 % |
371.25/371.56 c | 134727 | 19986 91874 265788 | 2147483647 130986 110 | 73.745 % |
372.04/372.40 c | 135036 | 19986 91874 265788 | 2147483647 131295 110 | 73.745 % |
373.44/373.79 c | 135376 | 19986 91874 265788 | 2147483647 131635 110 | 73.745 % |
375.24/375.57 c | 135749 | 19986 91874 265788 | 2147483647 132008 110 | 73.745 % |
376.63/376.91 c | 136161 | 19986 91874 265788 | 2147483647 132420 110 | 73.745 % |
378.23/378.54 c | 136610 | 19986 91874 265788 | 2147483647 132869 110 | 73.745 % |
380.63/381.00 c | 137105 | 19986 91874 265788 | 2147483647 133364 110 | 73.745 % |
382.73/383.00 c | 137649 | 19986 91874 265788 | 2147483647 133908 110 | 73.745 % |
384.73/385.03 c | 138246 | 19986 91874 265788 | 2147483647 134505 110 | 73.745 % |
386.83/387.17 c | 138901 | 19986 91874 265788 | 2147483647 135160 110 | 73.745 % |
389.33/389.63 c | 139621 | 19986 91874 265788 | 2147483647 135880 110 | 73.745 % |
391.93/392.29 c | 140413 | 19153 87784 253427 | 2147483647 136524 110 | 73.745 % |
395.03/395.30 c | 141284 | 19153 87784 253427 | 2147483647 137395 110 | 73.745 % |
398.23/398.52 c | 142244 | 19153 87784 253427 | 2147483647 138355 110 | 73.745 % |
401.83/402.16 c | 143298 | 19153 87784 253427 | 2147483647 139409 110 | 73.745 % |
406.03/406.36 c | 144460 | 19153 87784 253427 | 2147483647 140570 110 | 73.851 % |
410.62/410.90 c | 145734 | 19145 87784 253427 | 2147483647 141842 110 | 73.882 % |
415.82/416.16 c | 147135 | 19145 87784 253427 | 2147483647 143243 110 | 73.882 % |
421.12/421.47 c | 148675 | 19145 87784 253427 | 2147483647 144783 110 | 73.882 % |
421.42/421.79 c | 148775 | 19053 86350 249410 | 2147483647 144811 110 | 73.882 % |
421.92/422.22 c | 148890 | 19053 86350 249410 | 2147483647 144926 110 | 73.882 % |
422.42/422.73 c | 149012 | 19053 86350 249410 | 2147483647 145048 110 | 73.882 % |
422.82/423.18 c | 149145 | 19053 86350 249410 | 2147483647 145181 110 | 73.882 % |
423.42/423.74 c | 149291 | 19053 86350 249410 | 2147483647 145327 110 | 73.882 % |
424.12/424.48 c | 149451 | 19053 86350 249410 | 2147483647 145487 110 | 73.882 % |
424.72/425.08 c | 149627 | 19053 86350 249410 | 2147483647 145663 110 | 73.882 % |
425.42/425.79 c | 149826 | 19053 86350 249410 | 2147483647 145862 110 | 73.882 % |
426.42/426.76 c | 150038 | 19053 86350 249410 | 2147483647 146074 110 | 73.882 % |
427.42/427.70 c | 150272 | 19053 86350 249410 | 2147483647 146308 110 | 73.882 % |
428.42/428.75 c | 150528 | 19053 86350 249410 | 2147483647 146564 110 | 73.882 % |
429.32/429.64 c | 150809 | 19053 86350 249410 | 2147483647 146845 110 | 73.882 % |
430.61/430.97 c | 151119 | 19053 86350 249410 | 2147483647 147155 110 | 73.882 % |
431.81/432.12 c | 151458 | 19053 86350 249410 | 2147483647 147494 110 | 73.882 % |
432.81/433.18 c | 151832 | 19053 86350 249410 | 2147483647 147868 110 | 73.882 % |
434.12/434.49 c | 152243 | 19053 86350 249410 | 2147483647 148279 110 | 73.882 % |
435.51/435.86 c | 152692 | 19053 86350 249410 | 2147483647 148728 110 | 73.882 % |
437.41/437.74 c | 153186 | 19053 86350 249410 | 2147483647 149222 110 | 73.882 % |
439.71/440.03 c | 153733 | 19051 86350 249410 | 2147483647 149767 110 | 73.895 % |
442.02/442.33 c | 154332 | 19051 86350 249410 | 2147483647 150366 110 | 73.895 % |
444.12/444.44 c | 154988 | 19051 86350 249410 | 2147483647 151022 110 | 73.895 % |
446.41/446.71 c | 155708 | 19051 86350 249410 | 2147483647 151742 110 | 73.895 % |
449.01/449.39 c | 156500 | 19051 86350 249410 | 2147483647 152534 110 | 73.895 % |
451.91/452.24 c | 157372 | 19051 86350 249410 | 2147483647 153406 110 | 73.895 % |
455.90/456.21 c | 158332 | 19051 86350 249410 | 2147483647 154366 110 | 73.895 % |
459.90/460.26 c | 159385 | 19051 86350 249410 | 2147483647 155419 110 | 73.895 % |
463.80/464.12 c | 160549 | 19044 86286 249240 | 2147483647 156580 110 | 73.895 % |
469.79/470.15 c | 161822 | 19044 86286 249240 | 2147483647 157853 110 | 73.895 % |
476.29/476.66 c | 163222 | 19044 86286 249240 | 2147483647 159253 109 | 73.895 % |
483.60/483.93 c | 164765 | 19044 86286 249240 | 2147483647 160796 109 | 73.895 % |
491.79/492.18 c | 166461 | 19041 86286 249240 | 2147483647 162491 108 | 73.987 % |
492.19/492.59 c | 166561 | 19041 86286 249240 | 2147483647 162591 108 | 73.987 % |
492.69/493.02 c | 166671 | 19041 86286 249240 | 2147483647 162701 108 | 73.987 % |
493.29/493.65 c | 166793 | 19041 86286 249240 | 2147483647 162823 108 | 73.987 % |
493.99/494.32 c | 166928 | 19041 86286 249240 | 2147483647 162958 108 | 73.987 % |
494.49/494.85 c | 167075 | 19041 86286 249240 | 2147483647 163105 108 | 73.987 % |
494.99/495.32 c | 167235 | 19041 86286 249240 | 2147483647 163265 108 | 73.987 % |
495.59/495.91 c | 167412 | 19041 86286 249240 | 2147483647 163442 108 | 73.987 % |
496.39/496.77 c | 167606 | 19041 86286 249240 | 2147483647 163636 108 | 73.987 % |
497.19/497.53 c | 167818 | 19041 86286 249240 | 2147483647 163848 108 | 73.987 % |
497.99/498.34 c | 168052 | 19041 86286 249240 | 2147483647 164082 108 | 73.987 % |
498.89/499.26 c | 168309 | 19041 86286 249240 | 2147483647 164339 108 | 73.987 % |
500.19/500.58 c | 168591 | 18977 85952 248424 | 2147483647 164552 108 | 73.987 % |
501.58/501.93 c | 168901 | 18977 85952 248424 | 2147483647 164862 108 | 73.987 % |
503.39/503.74 c | 169241 | 18977 85952 248424 | 2147483647 165202 108 | 73.987 % |
505.68/506.07 c | 169613 | 18977 85952 248424 | 2147483647 165574 108 | 73.987 % |
507.58/507.98 c | 170025 | 18977 85952 248424 | 2147483647 165986 108 | 73.987 % |
509.27/509.67 c | 170474 | 18977 85952 248424 | 2147483647 166435 108 | 73.987 % |
511.77/512.10 c | 170972 | 18977 85952 248424 | 2147483647 166933 108 | 73.987 % |
514.38/514.80 c | 171514 | 18977 85952 248424 | 2147483647 167475 108 | 73.987 % |
517.68/518.03 c | 172110 | 18977 85952 248424 | 2147483647 168071 108 | 73.987 % |
520.38/520.70 c | 172765 | 18977 85952 248424 | 2147483647 168726 108 | 73.987 % |
523.57/523.92 c | 173486 | 18977 85952 248424 | 2147483647 169447 108 | 73.987 % |
526.07/526.46 c | 174278 | 18977 85952 248424 | 2147483647 170239 108 | 73.987 % |
528.67/529.06 c | 175151 | 18977 85952 248424 | 2147483647 171112 108 | 73.987 % |
532.67/533.03 c | 176110 | 18977 85952 248424 | 2147483647 172071 108 | 73.987 % |
536.47/536.80 c | 177163 | 18976 85952 248424 | 2147483647 173123 108 | 74.002 % |
540.87/541.28 c | 178322 | 18976 85952 248424 | 2147483647 174282 108 | 74.002 % |
545.76/546.17 c | 179595 | 18966 85881 248235 | 2147483647 175538 108 | 74.002 % |
551.76/552.17 c | 180995 | 18966 85881 248235 | 2147483647 176938 108 | 74.002 % |
558.36/558.79 c | 182536 | 18966 85881 248235 | 2147483647 178479 108 | 74.002 % |
563.75/564.19 c | 184233 | 18966 85881 248235 | 2147483647 180176 108 | 74.002 % |
571.65/572.01 c | 186097 | 18966 85881 248235 | 2147483647 182040 108 | 74.002 % |
572.05/572.44 c | 186199 | 18966 85881 248235 | 2147483647 182142 108 | 74.002 % |
572.55/572.92 c | 186309 | 18966 85881 248235 | 2147483647 182252 108 | 74.002 % |
572.95/573.39 c | 186431 | 18966 85881 248235 | 2147483647 182374 108 | 74.002 % |
573.45/573.88 c | 186567 | 18966 85881 248235 | 2147483647 182510 108 | 74.002 % |
574.15/574.54 c | 186715 | 18966 85881 248235 | 2147483647 182658 108 | 74.002 % |
575.15/575.52 c | 186875 | 18966 85881 248235 | 2147483647 182818 108 | 74.002 % |
576.05/576.44 c | 187051 | 18966 85881 248235 | 2147483647 182994 107 | 74.002 % |
576.95/577.33 c | 187244 | 18966 85881 248235 | 2147483647 183187 107 | 74.002 % |
577.85/578.23 c | 187458 | 18966 85881 248235 | 2147483647 183401 107 | 74.002 % |
578.94/579.39 c | 187692 | 18966 85881 248235 | 2147483647 183635 107 | 74.002 % |
580.14/580.55 c | 187949 | 18966 85881 248235 | 2147483647 183892 107 | 74.002 % |
581.45/581.82 c | 188234 | 18966 85881 248235 | 2147483647 184177 107 | 74.002 % |
582.24/582.69 c | 188547 | 18966 85881 248235 | 2147483647 184490 108 | 74.002 % |
583.64/584.04 c | 188889 | 18966 85881 248235 | 2147483647 184832 108 | 74.002 % |
585.64/586.09 c | 189261 | 18966 85881 248235 | 2147483647 185204 108 | 74.002 % |
587.55/587.95 c | 189672 | 18966 85881 248235 | 2147483647 185615 108 | 74.002 % |
589.75/590.13 c | 190127 | 18966 85881 248235 | 2147483647 186070 107 | 74.002 % |
592.45/592.81 c | 190621 | 18966 85881 248235 | 2147483647 186564 107 | 74.002 % |
594.34/594.71 c | 191165 | 18966 85881 248235 | 2147483647 187108 107 | 74.002 % |
596.64/597.01 c | 191762 | 18966 85881 248235 | 2147483647 187705 107 | 74.002 % |
599.24/599.67 c | 192417 | 18966 85881 248235 | 2147483647 188360 107 | 74.002 % |
602.63/603.08 c | 193137 | 18966 85881 248235 | 2147483647 189080 107 | 74.002 % |
606.04/606.45 c | 193932 | 18966 85881 248235 | 2147483647 189875 107 | 74.002 % |
610.73/611.19 c | 194803 | 18966 85881 248235 | 2147483647 190746 106 | 74.002 % |
615.93/616.38 c | 195761 | 18966 85881 248235 | 2147483647 191704 106 | 74.002 % |
622.13/622.52 c | 196814 | 18966 85881 248235 | 2147483647 192757 106 | 74.002 % |
628.32/628.70 c | 197973 | 18814 85220 246088 | 2147483647 193901 106 | 74.210 % |
634.23/634.62 c | 199249 | 18814 85220 246088 | 2147483647 195177 105 | 74.210 % |
641.21/641.65 c | 200649 | 18814 85220 246088 | 2147483647 196577 105 | 74.210 % |
649.20/649.62 c | 202189 | 18814 85220 246088 | 2147483647 198117 105 | 74.210 % |
657.40/657.81 c | 203886 | 18814 85220 246088 | 2147483647 199814 104 | 74.210 % |
666.10/666.52 c | 205750 | 18814 85220 246088 | 2147483647 201678 104 | 74.210 % |
675.69/676.14 c | 207800 | 18814 85220 246088 | 2147483647 203728 103 | 74.210 % |
676.19/676.68 c | 207902 | 18814 85220 246088 | 2147483647 203830 103 | 74.210 % |
676.59/677.02 c | 208013 | 18814 85220 246088 | 2147483647 203941 103 | 74.210 % |
677.29/677.74 c | 208134 | 18814 85220 246088 | 2147483647 204062 103 | 74.210 % |
678.00/678.42 c | 208268 | 18814 85220 246088 | 2147483647 204196 103 | 74.210 % |
678.80/679.20 c | 208414 | 18814 85220 246088 | 2147483647 204342 103 | 74.210 % |
679.20/679.66 c | 208576 | 18814 85220 246088 | 2147483647 204504 103 | 74.210 % |
680.20/680.63 c | 208753 | 18814 85220 246088 | 2147483647 204681 103 | 74.210 % |
680.90/681.32 c | 208948 | 18814 85220 246088 | 2147483647 204876 103 | 74.210 % |
681.90/682.38 c | 209160 | 18797 85216 246079 | 2147483647 205086 103 | 74.621 % |
683.30/683.79 c | 209393 | 18797 85216 246079 | 2147483647 205319 103 | 74.621 % |
684.60/685.01 c | 209651 | 18797 85216 246079 | 2147483647 205577 103 | 74.621 % |
685.60/686.01 c | 209932 | 18797 85216 246079 | 2147483647 205858 103 | 74.621 % |
686.69/687.10 c | 210244 | 18797 85216 246079 | 2147483647 206170 103 | 74.621 % |
687.89/688.31 c | 210583 | 18797 85216 246079 | 2147483647 206509 103 | 74.621 % |
689.19/689.61 c | 210955 | 18796 85216 246079 | 2147483647 206880 103 | 74.636 % |
691.09/691.53 c | 211364 | 18796 85216 246079 | 2147483647 207289 103 | 74.636 % |
692.69/693.18 c | 211820 | 18795 85216 246079 | 2147483647 207744 103 | 74.649 % |
695.49/695.97 c | 212314 | 18795 85216 246079 | 2147483647 208238 103 | 74.649 % |
698.49/698.96 c | 212857 | 18795 85216 246079 | 2147483647 208781 103 | 74.649 % |
701.58/702.02 c | 213454 | 18795 85216 246079 | 2147483647 209378 103 | 74.649 % |
704.78/705.21 c | 214111 | 18795 85216 246079 | 2147483647 210035 103 | 74.649 % |
707.99/708.41 c | 214832 | 18795 85216 246079 | 2147483647 210756 103 | 74.649 % |
711.48/711.96 c | 215627 | 18795 85216 246079 | 2147483647 211551 102 | 74.649 % |
715.38/715.88 c | 216498 | 18795 85216 246079 | 2147483647 212422 102 | 74.649 % |
719.48/719.91 c | 217456 | 18795 85216 246079 | 2147483647 213380 102 | 74.649 % |
724.67/725.11 c | 218509 | 18795 85216 246079 | 2147483647 214433 102 | 74.649 % |
730.17/730.63 c | 219668 | 18795 85216 246079 | 2147483647 215592 102 | 74.649 % |
736.36/736.80 c | 220943 | 18795 85216 246079 | 2147483647 216867 102 | 74.649 % |
741.76/742.21 c | 222343 | 18795 85216 246079 | 2147483647 218267 102 | 74.649 % |
747.47/747.97 c | 223883 | 18494 83268 241152 | 2147483647 219790 102 | 74.649 % |
754.86/755.37 c | 225579 | 18494 83268 241152 | 2147483647 221486 102 | 74.649 % |
766.05/766.53 c | 227442 | 18494 83268 241152 | 2147483647 223349 102 | 74.649 % |
775.15/775.63 c | 229491 | 18493 83268 241152 | 2147483647 225397 102 | 74.805 % |
784.55/785.05 c | 231744 | 18491 83268 241152 | 2147483647 227649 102 | 74.868 % |
784.95/785.45 c | 231844 | 18491 83268 241152 | 2147483647 227749 102 | 74.868 % |
785.35/785.89 c | 231958 | 18491 83268 241152 | 2147483647 227863 102 | 74.868 % |
785.95/786.46 c | 232079 | 18491 83268 241152 | 2147483647 227984 102 | 74.868 % |
786.65/787.11 c | 232213 | 18491 83268 241152 | 2147483647 228118 102 | 74.868 % |
787.55/788.07 c | 232360 | 18491 83268 241152 | 2147483647 228265 102 | 74.868 % |
788.35/788.84 c | 232521 | 18491 83268 241152 | 2147483647 228426 102 | 74.868 % |
789.25/789.80 c | 232697 | 18491 83268 241152 | 2147483647 228602 102 | 74.868 % |
790.25/790.77 c | 232890 | 18491 83268 241152 | 2147483647 228795 102 | 74.868 % |
791.24/791.72 c | 233104 | 18491 83268 241152 | 2147483647 229009 102 | 74.868 % |
792.84/793.35 c | 233340 | 18491 83268 241152 | 2147483647 229245 102 | 74.868 % |
794.54/795.08 c | 233596 | 18491 83268 241152 | 2147483647 229501 102 | 74.868 % |
795.74/796.28 c | 233877 | 18491 83268 241152 | 2147483647 229782 102 | 74.868 % |
797.24/797.71 c | 234187 | 18491 83268 241152 | 2147483647 230092 102 | 74.868 % |
798.74/799.27 c | 234528 | 18491 83268 241152 | 2147483647 230433 102 | 74.868 % |
800.64/801.19 c | 234900 | 18491 83268 241152 | 2147483647 230805 102 | 74.868 % |
802.74/803.23 c | 235309 | 18491 83268 241152 | 2147483647 231214 102 | 74.868 % |
804.54/805.01 c | 235759 | 18491 83268 241152 | 2147483647 231664 102 | 74.868 % |
806.53/807.08 c | 236252 | 18491 83268 241152 | 2147483647 232157 102 | 74.868 % |
809.33/809.82 c | 236794 | 18491 83268 241152 | 2147483647 232699 102 | 74.868 % |
811.53/812.04 c | 237391 | 18491 83268 241152 | 2147483647 233296 102 | 74.868 % |
815.43/815.93 c | 238047 | 18334 82437 238919 | 2147483647 233901 102 | 74.868 % |
819.23/819.79 c | 238767 | 18334 82437 238919 | 2147483647 234621 102 | 74.868 % |
823.93/824.43 c | 239559 | 18334 82437 238919 | 2147483647 235413 102 | 74.868 % |
828.73/829.22 c | 240432 | 18334 82437 238919 | 2147483647 236286 102 | 74.868 % |
834.03/834.57 c | 241394 | 18334 82437 238919 | 2147483647 237248 102 | 74.868 % |
839.22/839.70 c | 242448 | 18332 82437 238919 | 2147483647 238301 102 | 74.883 % |
844.72/845.30 c | 243606 | 18332 82437 238919 | 2147483647 239458 102 | 74.900 % |
850.62/851.13 c | 244882 | 18332 82437 238919 | 2147483647 240734 102 | 74.900 % |
856.42/856.99 c | 246283 | 18332 82437 238919 | 2147483647 242135 102 | 74.900 % |
863.82/864.36 c | 247823 | 18331 82437 238919 | 2147483647 243674 102 | 74.913 % |
870.91/871.48 c | 249519 | 18331 82437 238919 | 2147483647 245370 102 | 74.913 % |
879.20/879.78 c | 251384 | 18331 82437 238919 | 2147483647 247235 102 | 74.913 % |
888.50/889.03 c | 253433 | 18331 82437 238919 | 2147483647 249284 103 | 74.913 % |
896.80/897.39 c | 255687 | 18301 82233 238355 | 2147483647 251521 103 | 74.913 % |
908.19/908.73 c | 258167 | 18301 82233 238355 | 2147483647 254001 103 | 74.913 % |
908.89/909.40 c | 258267 | 18301 82233 238355 | 2147483647 254101 103 | 74.913 % |
909.49/910.08 c | 258377 | 18301 82233 238355 | 2147483647 254211 103 | 74.913 % |
910.39/910.95 c | 258498 | 18301 82233 238355 | 2147483647 254332 103 | 74.913 % |
911.29/911.83 c | 258631 | 18301 82233 238355 | 2147483647 254465 103 | 74.913 % |
911.99/912.54 c | 258780 | 18301 82233 238355 | 2147483647 254614 103 | 74.913 % |
912.79/913.37 c | 258940 | 18301 82233 238355 | 2147483647 254774 103 | 74.913 % |
913.60/914.16 c | 259116 | 18301 82233 238355 | 2147483647 254950 103 | 74.913 % |
914.60/915.16 c | 259309 | 18301 82233 238355 | 2147483647 255143 103 | 74.913 % |
915.99/916.53 c | 259521 | 18301 82233 238355 | 2147483647 255355 103 | 74.913 % |
917.29/917.86 c | 259754 | 18301 82233 238355 | 2147483647 255588 103 | 74.913 % |
919.19/919.76 c | 260010 | 18301 82233 238355 | 2147483647 255844 103 | 74.913 % |
920.39/920.97 c | 260292 | 18301 82233 238355 | 2147483647 256126 103 | 74.913 % |
921.79/922.33 c | 260602 | 18301 82233 238355 | 2147483647 256436 103 | 74.913 % |
923.09/923.65 c | 260942 | 18301 82233 238355 | 2147483647 256776 103 | 74.913 % |
924.59/925.14 c | 261314 | 18301 82233 238355 | 2147483647 257148 103 | 74.913 % |
926.29/926.89 c | 261725 | 18301 82233 238355 | 2147483647 257559 103 | 74.913 % |
929.38/929.93 c | 262174 | 18301 82233 238355 | 2147483647 258008 103 | 74.913 % |
931.78/932.37 c | 262671 | 18301 82233 238355 | 2147483647 258505 103 | 74.913 % |
934.48/935.06 c | 263214 | 18301 82233 238355 | 2147483647 259048 103 | 74.913 % |
937.08/937.63 c | 263810 | 18301 82233 238355 | 2147483647 259644 103 | 74.913 % |
939.38/939.92 c | 264465 | 18301 82233 238355 | 2147483647 260299 103 | 74.913 % |
942.67/943.21 c | 265186 | 18301 82233 238355 | 2147483647 261020 103 | 74.913 % |
945.78/946.34 c | 265981 | 18301 82233 238355 | 2147483647 261815 103 | 74.913 % |
948.88/949.45 c | 266852 | 18301 82233 238355 | 2147483647 262686 103 | 74.913 % |
953.98/954.57 c | 267810 | 18301 82233 238355 | 2147483647 263644 103 | 74.913 % |
958.37/959.00 c | 268868 | 18301 82233 238355 | 2147483647 264702 103 | 74.913 % |
963.77/964.35 c | 270027 | 18301 82233 238355 | 2147483647 265861 103 | 74.913 % |
968.17/968.73 c | 271300 | 18301 82233 238355 | 2147483647 267134 103 | 74.913 % |
975.97/976.59 c | 272700 | 18301 82233 238355 | 2147483647 268534 104 | 74.913 % |
983.46/984.02 c | 274243 | 18301 82233 238355 | 2147483647 270077 104 | 74.913 % |
991.16/991.79 c | 275939 | 18301 82233 238355 | 2147483647 271773 104 | 74.913 % |
1001.55/1002.12 c | 277804 | 18301 82233 238355 | 2147483647 273638 104 | 74.913 % |
1010.84/1011.42 c | 279854 | 18301 82233 238355 | 2147483647 275688 104 | 74.913 % |
1022.13/1022.72 c | 282107 | 18301 82233 238355 | 2147483647 277941 104 | 74.913 % |
1033.84/1034.48 c | 284585 | 18301 82233 238355 | 2147483647 280419 104 | 74.913 % |
1046.82/1047.43 c | 287310 | 18301 82233 238355 | 2147483647 283144 103 | 74.913 % |
1047.22/1047.81 c | 287410 | 18301 82233 238355 | 2147483647 283244 103 | 74.913 % |
1047.82/1048.44 c | 287521 | 18301 82233 238355 | 2147483647 283355 103 | 74.913 % |
1048.42/1049.09 c | 287642 | 18301 82233 238355 | 2147483647 283476 103 | 74.913 % |
1049.12/1049.78 c | 287776 | 18301 82233 238355 | 2147483647 283610 103 | 74.913 % |
1049.83/1050.48 c | 287925 | 18301 82233 238355 | 2147483647 283759 103 | 74.913 % |
1050.52/1051.14 c | 288087 | 18301 82233 238355 | 2147483647 283921 103 | 74.913 % |
1051.32/1051.99 c | 288263 | 18301 82233 238355 | 2147483647 284097 103 | 74.913 % |
1052.52/1053.15 c | 288460 | 18301 82233 238355 | 2147483647 284294 103 | 74.913 % |
1053.72/1054.37 c | 288674 | 18301 82233 238355 | 2147483647 284508 103 | 74.913 % |
1055.02/1055.63 c | 288907 | 18301 82233 238355 | 2147483647 284741 103 | 74.913 % |
1056.32/1056.95 c | 289164 | 18301 82233 238355 | 2147483647 284998 103 | 74.913 % |
1057.72/1058.37 c | 289446 | 18301 82233 238355 | 2147483647 285280 103 | 74.913 % |
1059.42/1060.06 c | 289756 | 18301 82233 238355 | 2147483647 285590 104 | 74.913 % |
1061.32/1061.94 c | 290096 | 18301 82233 238355 | 2147483647 285930 104 | 74.913 % |
1062.92/1063.58 c | 290471 | 18301 82233 238355 | 2147483647 286305 104 | 74.913 % |
1065.12/1065.70 c | 290881 | 18301 82233 238355 | 2147483647 286715 104 | 74.913 % |
1066.52/1067.19 c | 291330 | 18301 82233 238355 | 2147483647 287164 104 | 74.913 % |
1068.42/1069.04 c | 291824 | 18301 82233 238355 | 2147483647 287658 104 | 74.913 % |
1071.02/1071.63 c | 292368 | 18301 82233 238355 | 2147483647 288202 104 | 74.913 % |
1073.82/1074.48 c | 292964 | 18301 82233 238355 | 2147483647 288798 104 | 74.913 % |
1077.32/1077.95 c | 293619 | 18301 82233 238355 | 2147483647 289453 104 | 74.913 % |
1080.32/1080.96 c | 294339 | 18301 82233 238355 | 2147483647 290173 104 | 74.913 % |
1084.91/1085.58 c | 295131 | 18301 82233 238355 | 2147483647 290965 104 | 74.913 % |
1089.61/1090.22 c | 296002 | 18301 82233 238355 | 2147483647 291836 104 | 74.913 % |
1095.70/1096.37 c | 296961 | 18301 82233 238355 | 2147483647 292795 104 | 74.913 % |
1100.19/1100.88 c | 298014 | 18301 82233 238355 | 2147483647 293848 104 | 74.913 % |
1106.50/1107.18 c | 299173 | 18301 82233 238355 | 2147483647 295007 104 | 74.913 % |
1113.20/1113.84 c | 300447 | 18301 82233 238355 | 2147483647 296281 104 | 74.913 % |
1120.39/1121.01 c | 301847 | 18289 82143 238108 | 2147483647 297674 103 | 74.930 % |
1126.99/1127.68 c | 303390 | 18289 82143 238108 | 2147483647 299217 103 | 74.930 % |
1134.49/1135.10 c | 305084 | 18289 82143 238108 | 2147483647 300911 103 | 74.930 % |
1145.98/1146.68 c | 306947 | 18289 82143 238108 | 2147483647 302774 103 | 74.930 % |
1159.47/1160.17 c | 308996 | 18289 82143 238108 | 2147483647 304823 103 | 74.930 % |
1175.46/1176.14 c | 311252 | 18289 82143 238108 | 2147483647 307079 103 | 74.930 % |
1186.66/1187.37 c | 313733 | 18289 82143 238108 | 2147483647 309560 103 | 74.930 % |
1202.56/1203.21 c | 316458 | 18289 82143 238108 | 2147483647 312285 103 | 74.930 % |
1217.55/1218.26 c | 319459 | 18289 82143 238108 | 2147483647 315286 103 | 74.930 % |
1217.95/1218.70 c | 319560 | 18289 82143 238108 | 2147483647 315387 103 | 74.930 % |
1218.74/1219.42 c | 319671 | 18289 82143 238108 | 2147483647 315498 103 | 74.930 % |
1219.55/1220.23 c | 319794 | 18289 82143 238108 | 2147483647 315621 103 | 74.930 % |
1220.26/1220.90 c | 319927 | 18289 82143 238108 | 2147483647 315754 103 | 74.930 % |
1221.15/1221.88 c | 320073 | 18289 82143 238108 | 2147483647 315900 103 | 74.930 % |
1222.15/1222.86 c | 320233 | 18289 82143 238108 | 2147483647 316060 103 | 74.930 % |
1223.15/1223.82 c | 320410 | 18289 82143 238108 | 2147483647 316237 103 | 74.930 % |
1224.75/1225.47 c | 320605 | 18289 82143 238108 | 2147483647 316432 103 | 74.930 % |
1225.85/1226.56 c | 320817 | 18289 82143 238108 | 2147483647 316644 103 | 74.930 % |
1226.64/1227.39 c | 321050 | 18289 82143 238108 | 2147483647 316877 103 | 74.930 % |
1228.64/1229.39 c | 321310 | 18289 82143 238108 | 2147483647 317137 103 | 74.930 % |
1230.25/1230.93 c | 321591 | 18289 82143 238108 | 2147483647 317418 103 | 74.930 % |
1231.74/1232.49 c | 321900 | 18289 82143 238108 | 2147483647 317727 103 | 74.930 % |
1233.74/1234.42 c | 322239 | 18289 82143 238108 | 2147483647 318066 103 | 74.930 % |
1235.84/1236.51 c | 322613 | 18289 82143 238108 | 2147483647 318440 103 | 74.930 % |
1237.84/1238.56 c | 323024 | 18289 82143 238108 | 2147483647 318851 103 | 74.930 % |
1240.74/1241.44 c | 323474 | 18289 82143 238108 | 2147483647 319301 103 | 74.930 % |
1243.93/1244.60 c | 323967 | 18289 82143 238108 | 2147483647 319794 103 | 74.930 % |
1246.93/1247.69 c | 324509 | 18289 82143 238108 | 2147483647 320336 103 | 74.930 % |
1250.73/1251.49 c | 325105 | 18289 82143 238108 | 2147483647 320932 103 | 74.930 % |
1254.23/1254.91 c | 325760 | 18289 82143 238108 | 2147483647 321587 104 | 74.930 % |
1257.54/1258.20 c | 326480 | 18288 82140 238102 | 2147483647 322304 104 | 74.931 % |
1262.94/1263.65 c | 327275 | 18288 82140 238102 | 2147483647 323099 103 | 74.931 % |
1269.13/1269.90 c | 328150 | 18288 82140 238102 | 2147483647 323974 103 | 74.931 % |
1273.82/1274.52 c | 329109 | 18288 82140 238102 | 2147483647 324933 103 | 74.931 % |
1279.62/1280.35 c | 330163 | 18288 82140 238102 | 325823 325986 103 | 74.932 % |
1285.72/1286.46 c | 331321 | 18288 82140 238102 | 325823 327144 104 | 74.932 % |
1292.22/1292.97 c | 332594 | 18288 82140 238102 | 325823 328417 104 | 74.932 % |
1298.32/1299.02 c | 333998 | 18288 82140 238102 | 325823 329821 104 | 74.932 % |
1306.51/1307.28 c | 335538 | 18288 82140 238102 | 325823 331361 104 | 74.932 % |
1319.00/1319.76 c | 337232 | 18288 82140 238102 | 325823 333055 104 | 74.932 % |
1333.00/1333.79 c | 339097 | 18288 82140 238102 | 325823 334920 103 | 74.932 % |
1343.39/1344.13 c | 341146 | 18288 82140 238102 | 2147483647 336969 103 | 74.932 % |
1357.79/1358.55 c | 343403 | 18288 82140 238102 | 2147483647 339226 104 | 74.932 % |
1371.98/1372.71 c | 345882 | 18288 82140 238102 | 2147483647 341705 104 | 74.932 % |
1388.17/1388.98 c | 348608 | 18288 82140 238102 | 2147483647 344431 104 | 74.932 % |
1406.16/1406.97 c | 351605 | 18286 82136 238092 | 345824 347427 104 | 74.954 % |
1423.65/1424.43 c | 354901 | 18286 82136 238092 | 345824 350723 104 | 74.954 % |
1424.15/1425.00 c | 355001 | 18286 82136 238092 | 345824 350823 104 | 74.954 % |
1425.55/1426.37 c | 355113 | 18286 82136 238092 | 345824 350935 104 | 74.954 % |
1426.55/1427.39 c | 355237 | 18286 82136 238092 | 345824 351059 104 | 74.954 % |
1427.64/1428.43 c | 355372 | 18286 82136 238092 | 345824 351194 104 | 74.954 % |
1428.84/1429.65 c | 355519 | 18286 82136 238092 | 345824 351341 104 | 74.954 % |
1430.04/1430.85 c | 355679 | 18286 82136 238092 | 345824 351501 104 | 74.954 % |
1431.35/1432.19 c | 355855 | 18286 82136 238092 | 345824 351677 104 | 74.954 % |
1432.95/1433.77 c | 356051 | 18286 82136 238092 | 345824 351873 104 | 74.954 % |
1434.15/1434.92 c | 356267 | 18286 82136 238092 | 345824 352089 104 | 74.954 % |
1436.05/1436.84 c | 356501 | 18286 82136 238092 | 345824 352323 104 | 74.954 % |
1437.45/1438.26 c | 356757 | 18286 82136 238092 | 345824 352579 104 | 74.954 % |
1439.05/1439.87 c | 357038 | 18286 82136 238092 | 345824 352860 104 | 74.954 % |
1440.65/1441.49 c | 357347 | 18286 82136 238092 | 345824 353169 104 | 74.954 % |
1442.85/1443.65 c | 357686 | 18286 82136 238092 | 345824 353508 104 | 74.954 % |
1445.05/1445.89 c | 358060 | 18286 82136 238092 | 345824 353882 104 | 74.954 % |
1448.25/1449.02 c | 358471 | 18286 82136 238092 | 345824 354293 104 | 74.954 % |
1452.54/1453.39 c | 358920 | 18286 82136 238092 | 345824 354742 104 | 74.954 % |
1456.23/1457.05 c | 359414 | 18285 82136 238092 | 345824 355235 104 | 74.991 % |
1460.23/1461.08 c | 359956 | 18285 82136 238092 | 345824 355777 104 | 74.991 % |
1464.43/1465.26 c | 360552 | 18285 82136 238092 | 355821 356373 104 | 74.991 % |
1469.13/1469.94 c | 361208 | 18285 82136 238092 | 355821 357029 104 | 74.991 % |
1474.63/1475.46 c | 361929 | 18285 82136 238092 | 355821 357750 104 | 74.991 % |
1479.73/1480.52 c | 362721 | 18285 82136 238092 | 355821 358542 104 | 74.991 % |
1486.72/1487.54 c | 363593 | 18285 82136 238092 | 355821 359414 104 | 74.991 % |
1493.33/1494.18 c | 364552 | 18285 82136 238092 | 355821 360373 104 | 74.991 % |
1502.32/1503.12 c | 365605 | 18285 82136 238092 | 355821 361425 104 | 75.008 % |
1511.51/1512.33 c | 366763 | 18285 82136 238092 | 355821 362583 103 | 75.008 % |
1519.21/1520.04 c | 368036 | 18285 82136 238092 | 355821 363856 103 | 75.008 % |
1526.51/1527.36 c | 369437 | 18285 82136 238092 | 355821 365257 103 | 75.008 % |
1538.01/1538.82 c | 370977 | 18285 82136 238092 | 365820 366797 103 | 75.008 % |
1548.89/1549.73 c | 372671 | 18232 81812 237192 | 365820 368449 103 | 75.008 % |
1561.49/1562.32 c | 374534 | 18232 81812 237192 | 365820 370312 103 | 75.008 % |
1574.29/1575.19 c | 376586 | 18232 81812 237192 | 365820 372364 103 | 75.008 % |
1586.28/1587.16 c | 378841 | 18232 81812 237192 | 365820 374619 103 | 75.008 % |
1600.37/1601.24 c | 381320 | 18232 81812 237192 | 375778 377098 103 | 75.008 % |
1617.27/1618.12 c | 384046 | 18232 81812 237192 | 375778 379824 103 | 75.008 % |
1635.76/1636.68 c | 387043 | 18232 81812 237192 | 375778 382821 103 | 75.008 % |
1657.45/1658.36 c | 390340 | 18232 81812 237192 | 385779 386118 104 | 75.008 % |
1683.24/1684.14 c | 393965 | 18232 81812 237192 | 385779 389743 104 | 75.008 % |
1684.34/1685.22 c | 394065 | 18232 81812 237192 | 385779 389843 104 | 75.008 % |
1685.14/1686.09 c | 394177 | 18232 81812 237192 | 385779 389955 104 | 75.008 % |
1685.93/1686.89 c | 394299 | 18232 81812 237192 | 385779 390077 104 | 75.008 % |
1687.33/1688.21 c | 394433 | 18232 81812 237192 | 385779 390211 104 | 75.008 % |
1688.33/1689.22 c | 394581 | 18232 81812 237192 | 385779 390359 104 | 75.008 % |
1689.53/1690.47 c | 394741 | 18232 81812 237192 | 385779 390519 104 | 75.008 % |
1691.43/1692.30 c | 394918 | 18232 81812 237192 | 385779 390696 104 | 75.008 % |
1692.53/1693.43 c | 395111 | 18232 81812 237192 | 385779 390889 104 | 75.008 % |
1694.24/1695.16 c | 395324 | 18232 81812 237192 | 385779 391102 104 | 75.008 % |
1695.83/1696.79 c | 395558 | 18232 81812 237192 | 385779 391336 104 | 75.008 % |
1697.54/1698.49 c | 395815 | 18232 81812 237192 | 385779 391593 104 | 75.008 % |
1699.93/1700.84 c | 396098 | 18232 81812 237192 | 385779 391876 104 | 75.008 % |
1702.03/1702.96 c | 396408 | 18232 81812 237192 | 385779 392186 104 | 75.008 % |
1704.83/1705.77 c | 396749 | 18232 81812 237192 | 385779 392527 104 | 75.008 % |
1707.43/1708.34 c | 397121 | 18232 81812 237192 | 385779 392899 104 | 75.008 % |
1710.22/1711.17 c | 397533 | 18232 81812 237192 | 385779 393311 104 | 75.008 % |
1713.32/1714.22 c | 397983 | 18222 81746 237016 | 385779 393754 104 | 75.022 % |
1717.63/1718.57 c | 398476 | 18222 81746 237016 | 385779 394247 104 | 75.022 % |
1721.72/1722.65 c | 399018 | 18222 81746 237016 | 385779 394789 104 | 75.022 % |
1726.22/1727.12 c | 399614 | 18222 81746 237016 | 385779 395385 104 | 75.022 % |
1730.61/1731.50 c | 400269 | 18222 81746 237016 | 395772 396040 104 | 75.022 % |
1736.21/1737.19 c | 400989 | 18222 81746 237016 | 395772 396760 104 | 75.022 % |
1742.11/1743.04 c | 401782 | 18222 81746 237016 | 395772 397553 104 | 75.022 % |
1746.80/1747.75 c | 402653 | 18222 81746 237016 | 395772 398424 104 | 75.022 % |
1753.91/1754.81 c | 403611 | 18222 81746 237016 | 395772 399382 104 | 75.022 % |
1760.50/1761.46 c | 404665 | 18222 81746 237016 | 395772 400436 104 | 75.022 % |
1766.89/1767.89 c | 405823 | 18222 81746 237016 | 395772 401594 104 | 75.022 % |
1776.09/1777.02 c | 407097 | 18222 81746 237016 | 395772 402868 103 | 75.022 % |
1784.89/1785.89 c | 408497 | 18222 81746 237016 | 395772 404268 104 | 75.022 % |
1796.49/1797.49 c | 410038 | 18222 81746 237016 | 405772 405809 104 | 75.022 % |
1808.78/1809.71 c | 411732 | 18222 81746 237016 | 405772 407503 104 | 75.022 % |
1822.08/1823.03 c | 413596 | 18222 81746 237016 | 405772 409367 103 | 75.022 % |
1837.27/1838.20 c | 415645 | 18222 81746 237016 | 405772 411416 103 | 75.022 % |
1850.16/1851.18 c | 417901 | 18222 81746 237016 | 405772 413672 103 | 75.022 % |
1865.86/1866.88 c | 420379 | 18222 81746 237016 | 415771 416150 103 | 75.022 % |
1884.05/1885.07 c | 423104 | 18222 81746 237016 | 415771 418875 104 | 75.022 % |
1901.05/1902.08 c | 426101 | 18222 81746 237016 | 415771 421872 104 | 75.022 % |
1920.94/1921.98 c | 429403 | 18222 81746 237016 | 415771 425174 104 | 75.022 % |
1943.23/1944.28 c | 433030 | 18222 81746 237016 | 425773 428801 104 | 75.022 % |
1960.83/1961.83 c | 437017 | 18222 81746 237016 | 425773 432788 103 | 75.022 % |
1961.43/1962.45 c | 437118 | 18222 81746 237016 | 425773 432889 103 | 75.022 % |
1962.32/1963.38 c | 437228 | 18222 81746 237016 | 425773 432999 103 | 75.022 % |
1963.42/1964.41 c | 437351 | 18222 81746 237016 | 425773 433122 103 | 75.022 % |
1964.52/1965.54 c | 437484 | 18222 81746 237016 | 425773 433255 103 | 75.022 % |
1965.62/1966.60 c | 437632 | 18222 81746 237016 | 425773 433403 103 | 75.022 % |
1967.12/1968.17 c | 437792 | 18222 81746 237016 | 425773 433563 103 | 75.022 % |
1968.52/1969.55 c | 437970 | 18222 81746 237016 | 425773 433741 103 | 75.022 % |
1970.12/1971.14 c | 438164 | 18222 81746 237016 | 425773 433935 103 | 75.022 % |
1971.92/1972.97 c | 438377 | 18222 81746 237016 | 425773 434148 103 | 75.022 % |
1974.02/1975.01 c | 438610 | 18222 81746 237016 | 425773 434381 103 | 75.022 % |
1976.32/1977.32 c | 438874 | 18222 81746 237016 | 425773 434645 103 | 75.022 % |
1979.52/1980.57 c | 439155 | 18222 81746 237016 | 425773 434926 103 | 75.022 % |
1982.72/1983.77 c | 439466 | 18222 81746 237016 | 425773 435237 103 | 75.022 % |
1984.62/1985.68 c | 439805 | 18222 81746 237016 | 425773 435576 103 | 75.022 % |
1987.32/1988.38 c | 440178 | 18222 81746 237016 | 435771 435949 103 | 75.022 % |
1989.11/1990.11 c | 440587 | 18222 81746 237016 | 435771 436358 103 | 75.022 % |
1992.71/1993.71 c | 441037 | 18222 81746 237016 | 435771 436808 103 | 75.022 % |
1997.21/1998.24 c | 441535 | 18222 81746 237016 | 435771 437306 103 | 75.022 % |
2001.70/2002.76 c | 442080 | 18222 81746 237016 | 435771 437851 103 | 75.022 % |
2005.31/2006.32 c | 442677 | 18222 81746 237016 | 435771 438448 104 | 75.022 % |
2010.00/2011.02 c | 443333 | 18222 81746 237016 | 435771 439104 104 | 75.022 % |
2015.90/2016.98 c | 444055 | 18222 81746 237016 | 435771 439826 104 | 75.022 % |
2022.80/2023.86 c | 444848 | 18222 81746 237016 | 435771 440619 104 | 75.022 % |
2029.61/2030.65 c | 445719 | 18222 81746 237016 | 435771 441490 104 | 75.022 % |
2037.70/2038.76 c | 446678 | 18221 81740 237000 | 435771 442447 104 | 75.023 % |
2046.79/2047.87 c | 447731 | 18221 81740 237000 | 435771 443500 104 | 75.023 % |
2053.59/2054.64 c | 448890 | 18221 81740 237000 | 435771 444659 104 | 75.023 % |
2063.98/2065.09 c | 450166 | 18221 81740 237000 | 445769 445935 104 | 75.023 % |
2072.29/2073.38 c | 451567 | 18221 81740 237000 | 445769 447336 104 | 75.023 % |
2082.87/2083.91 c | 453108 | 18221 81740 237000 | 445769 448877 104 | 75.023 % |
2093.97/2095.07 c | 454802 | 18221 81740 237000 | 445769 450571 104 | 75.023 % |
2106.07/2107.12 c | 456665 | 18221 81740 237000 | 445769 452434 104 | 75.023 % |
2117.36/2118.42 c | 458714 | 18221 81740 237000 | 445769 454483 104 | 75.023 % |
2128.85/2129.98 c | 460968 | 18221 81740 237000 | 455770 456737 104 | 75.023 % |
2148.05/2149.17 c | 463446 | 18220 81740 237000 | 455770 459214 104 | 75.039 % |
2166.14/2167.21 c | 466171 | 18220 81740 237000 | 455770 461938 104 | 75.041 % |
2183.54/2184.62 c | 469168 | 18220 81740 237000 | 455770 464935 104 | 75.041 % |
2200.13/2201.20 c | 472466 | 18220 81740 237000 | 465767 468233 104 | 75.041 % |
2218.61/2219.79 c | 476092 | 18220 81740 237000 | 465767 471859 104 | 75.041 % |
2247.21/2248.38 c | 480084 | 18208 81669 236799 | 475753 475836 104 | 75.041 % |
2292.39/2293.59 c | 484469 | 18208 81669 236799 | 475753 480221 104 | 75.041 % |
2293.28/2294.45 c | 484569 | 18208 81669 236799 | 475753 480321 104 | 75.041 % |
2294.38/2295.53 c | 484679 | 18208 81669 236799 | 475753 480431 104 | 75.041 % |
2295.59/2296.73 c | 484802 | 18208 81669 236799 | 475753 480554 104 | 75.041 % |
2296.69/2297.82 c | 484938 | 18208 81669 236799 | 475753 480690 104 | 75.041 % |
2297.78/2298.94 c | 485087 | 18208 81669 236799 | 475753 480839 104 | 75.041 % |
2298.98/2300.17 c | 485248 | 18208 81669 236799 | 475753 481000 104 | 75.041 % |
2300.18/2301.31 c | 485424 | 18208 81669 236799 | 475753 481176 104 | 75.041 % |
2302.09/2303.25 c | 485617 | 18208 81669 236799 | 475753 481369 104 | 75.041 % |
2304.29/2305.48 c | 485829 | 18208 81669 236799 | 475753 481581 104 | 75.041 % |
2306.18/2307.33 c | 486065 | 18208 81669 236799 | 475753 481817 104 | 75.041 % |
2307.88/2309.03 c | 486322 | 18208 81669 236799 | 475753 482074 104 | 75.041 % |
2310.28/2311.49 c | 486608 | 18208 81669 236799 | 475753 482360 104 | 75.041 % |
2312.98/2314.12 c | 486917 | 18207 81669 236799 | 475753 482668 104 | 75.056 % |
2315.38/2316.54 c | 487257 | 18207 81669 236799 | 475753 483008 104 | 75.056 % |
2317.68/2318.88 c | 487629 | 18207 81669 236799 | 475753 483380 104 | 75.056 % |
2321.37/2322.50 c | 488040 | 18207 81669 236799 | 475753 483791 104 | 75.056 % |
2326.07/2327.20 c | 488492 | 18207 81669 236799 | 475753 484243 104 | 75.056 % |
2330.17/2331.33 c | 488985 | 18207 81669 236799 | 475753 484736 104 | 75.056 % |
2335.27/2336.42 c | 489527 | 18207 81669 236799 | 475753 485278 104 | 75.056 % |
2342.87/2344.07 c | 490124 | 18207 81669 236799 | 485754 485875 104 | 75.056 % |
2349.57/2350.71 c | 490781 | 18207 81669 236799 | 485754 486532 104 | 75.056 % |
2355.96/2357.17 c | 491504 | 18207 81669 236799 | 485754 487255 104 | 75.056 % |
2360.85/2362.00 c | 492297 | 18207 81669 236799 | 485754 488048 104 | 75.056 % |
2368.45/2369.61 c | 493168 | 18207 81669 236799 | 485754 488919 104 | 75.056 % |
2375.45/2376.68 c | 494126 | 18207 81669 236799 | 485754 489877 104 | 75.056 % |
2382.84/2384.02 c | 495179 | 18207 81669 236799 | 485754 490930 104 | 75.056 % |
2392.25/2393.42 c | 496338 | 18207 81669 236799 | 485754 492088 104 | 75.130 % |
2400.04/2401.28 c | 497612 | 18207 81669 236799 | 485754 493362 104 | 75.130 % |
2411.93/2413.12 c | 499013 | 18207 81669 236799 | 485754 494763 104 | 75.130 % |
2423.13/2424.33 c | 500558 | 18207 81669 236799 | 495751 496308 104 | 75.130 % |
2436.92/2438.11 c | 502254 | 18207 81669 236799 | 495751 498004 104 | 75.130 % |
2452.42/2453.65 c | 504123 | 18207 81669 236799 | 495751 499873 104 | 75.130 % |
2468.01/2469.21 c | 506172 | 18207 81669 236799 | 495751 501922 104 | 75.130 % |
2484.70/2485.92 c | 508428 | 18207 81669 236799 | 495751 504178 104 | 75.130 % |
2502.69/2503.97 c | 510907 | 18143 81259 235664 | 505691 506597 104 | 75.130 % |
2521.19/2522.43 c | 513632 | 18143 81259 235664 | 505691 509322 104 | 75.130 % |
2540.98/2542.24 c | 516631 | 18143 81259 235664 | 505691 512321 104 | 75.130 % |
2565.37/2566.61 c | 519928 | 18143 81259 235664 | 505691 515618 104 | 75.130 % |
2598.06/2599.30 c | 523553 | 18143 81259 235664 | 515690 519243 104 | 75.130 % |
2631.04/2632.32 c | 527540 | 18143 81259 235664 | 515690 523230 104 | 75.130 % |
2676.63/2677.97 c | 531927 | 18143 81259 235664 | 525690 527617 104 | 75.130 % |
2720.20/2721.50 c | 536751 | 18143 81259 235664 | 525690 532440 104 | 75.131 % |
2720.91/2722.22 c | 536851 | 18143 81259 235664 | 525690 532540 104 | 75.131 % |
2721.61/2723.00 c | 536961 | 18143 81259 235664 | 525690 532650 104 | 75.131 % |
2722.41/2723.77 c | 537083 | 18143 81259 235664 | 525690 532772 104 | 75.131 % |
2723.91/2725.27 c | 537216 | 18143 81259 235664 | 525690 532905 104 | 75.131 % |
2725.10/2726.48 c | 537364 | 18143 81259 235664 | 525690 533053 104 | 75.131 % |
2726.41/2727.79 c | 537525 | 18143 81259 235664 | 525690 533214 104 | 75.131 % |
2728.00/2729.40 c | 537704 | 18143 81259 235664 | 525690 533393 104 | 75.131 % |
2729.91/2731.30 c | 537897 | 18143 81259 235664 | 525690 533586 104 | 75.131 % |
2732.40/2733.77 c | 538110 | 18143 81259 235664 | 525690 533799 104 | 75.131 % |
2734.90/2736.23 c | 538345 | 18143 81259 235664 | 525690 534034 104 | 75.131 % |
2737.30/2738.60 c | 538602 | 18143 81259 235664 | 525690 534291 104 | 75.131 % |
2739.90/2741.27 c | 538884 | 18143 81259 235664 | 525690 534573 104 | 75.131 % |
2742.00/2743.33 c | 539193 | 18143 81259 235664 | 525690 534882 104 | 75.131 % |
2744.20/2745.56 c | 539532 | 18143 81259 235664 | 525690 535221 104 | 75.131 % |
2747.29/2748.66 c | 539904 | 18143 81259 235664 | 525690 535593 104 | 75.131 % |
2750.69/2752.05 c | 540318 | 18143 81259 235664 | 535689 536007 104 | 75.131 % |
2754.58/2755.99 c | 540768 | 18143 81259 235664 | 535689 536457 104 | 75.131 % |
2758.99/2760.35 c | 541262 | 18143 81259 235664 | 535689 536951 104 | 75.131 % |
2763.78/2765.17 c | 541804 | 18143 81259 235664 | 535689 537493 104 | 75.131 % |
2768.39/2769.79 c | 542400 | 18143 81259 235664 | 535689 538089 104 | 75.131 % |
2773.98/2775.38 c | 543058 | 18143 81259 235664 | 535689 538747 104 | 75.131 % |
2782.78/2784.11 c | 543778 | 18143 81259 235664 | 535689 539467 104 | 75.131 % |
2791.07/2792.47 c | 544570 | 18143 81259 235664 | 535689 540259 104 | 75.131 % |
2797.67/2799.00 c | 545444 | 18142 81256 235658 | 535689 541123 104 | 75.131 % |
2805.66/2807.07 c | 546406 | 18142 81256 235658 | 535689 542085 104 | 75.131 % |
2814.16/2815.53 c | 547461 | 18142 81256 235658 | 535689 543140 104 | 75.131 % |
2823.36/2824.74 c | 548619 | 18142 81256 235658 | 535689 544298 104 | 75.131 % |
2833.16/2834.56 c | 549893 | 18142 81256 235658 | 535689 545572 104 | 75.131 % |
2846.05/2847.43 c | 551293 | 18142 81256 235658 | 545680 546972 104 | 75.131 % |
2860.24/2861.62 c | 552833 | 18142 81256 235658 | 545680 548512 104 | 75.131 % |
2872.84/2874.25 c | 554528 | 18142 81256 235658 | 545680 550207 104 | 75.131 % |
2885.63/2887.05 c | 556391 | 18142 81256 235658 | 545680 552070 104 | 75.131 % |
2903.03/2904.42 c | 558440 | 18142 81256 235658 | 545680 554119 104 | 75.131 % |
2917.32/2918.75 c | 560695 | 18142 81256 235658 | 555679 556374 104 | 75.131 % |
2938.31/2939.72 c | 563173 | 18142 81256 235658 | 555679 558852 104 | 75.131 % |
2960.91/2962.35 c | 565899 | 18142 81256 235658 | 555679 561578 104 | 75.131 % |
2984.39/2985.86 c | 568899 | 18142 81256 235658 | 555679 564578 104 | 75.131 % |
3019.18/3020.66 c | 572195 | 18141 81256 235658 | 565679 567873 104 | 75.175 % |
3050.77/3052.29 c | 575820 | 18137 81256 235658 | 565679 571497 104 | 76.165 % |
3083.55/3085.02 c | 579808 | 18137 81256 235658 | 565679 575485 104 | 76.165 % |
3127.03/3128.59 c | 584194 | 18137 81256 235658 | 575679 579871 104 | 76.165 % |
3172.61/3174.11 c | 589017 | 17388 77715 224919 | 575679 583861 104 | 76.165 % |
3213.69/3215.24 c | 594322 | 17388 77715 224919 | 584846 589166 104 | 76.165 % |
3214.49/3216.03 c | 594423 | 17388 77715 224919 | 584846 589267 104 | 76.165 % |
3215.59/3217.11 c | 594534 | 17388 77715 224919 | 584846 589378 104 | 76.165 % |
3216.29/3217.90 c | 594657 | 17388 77715 224919 | 584846 589501 104 | 76.165 % |
3217.39/3218.93 c | 594794 | 17388 77715 224919 | 584846 589638 104 | 76.165 % |
3218.89/3220.42 c | 594940 | 17388 77715 224919 | 584846 589784 104 | 76.165 % |
3220.19/3221.74 c | 595100 | 17388 77715 224919 | 584846 589944 104 | 76.165 % |
3221.99/3223.56 c | 595277 | 17388 77715 224919 | 584846 590121 104 | 76.165 % |
3223.70/3225.23 c | 595471 | 17388 77715 224919 | 584846 590315 104 | 76.165 % |
3225.99/3227.54 c | 595685 | 17388 77715 224919 | 584846 590529 104 | 76.165 % |
3227.89/3229.44 c | 595918 | 17388 77715 224919 | 584846 590762 104 | 76.165 % |
3230.09/3231.64 c | 596177 | 17388 77715 224919 | 584846 591021 104 | 76.165 % |
3232.19/3233.72 c | 596459 | 17388 77715 224919 | 584846 591303 104 | 76.165 % |
3234.39/3235.97 c | 596768 | 17388 77715 224919 | 584846 591612 104 | 76.165 % |
3236.99/3238.54 c | 597109 | 17388 77715 224919 | 584846 591953 104 | 76.165 % |
3240.38/3241.94 c | 597481 | 17388 77715 224919 | 584846 592325 104 | 76.165 % |
3245.69/3247.28 c | 597891 | 17388 77715 224919 | 584846 592735 104 | 76.165 % |
3249.68/3251.26 c | 598342 | 17388 77715 224919 | 584846 593186 104 | 76.165 % |
3254.47/3256.02 c | 598836 | 17388 77715 224919 | 584846 593680 104 | 76.165 % |
3259.46/3261.04 c | 599378 | 17388 77715 224919 | 584846 594222 104 | 76.165 % |
3265.16/3266.72 c | 599982 | 17388 77715 224919 | 584846 594826 104 | 76.165 % |
3272.26/3273.86 c | 600640 | 17388 77715 224919 | 594848 595484 104 | 76.165 % |
3277.77/3279.35 c | 601361 | 17388 77715 224919 | 594848 596205 104 | 76.165 % |
3285.56/3287.15 c | 602153 | 17388 77715 224919 | 594848 596997 104 | 76.165 % |
3292.46/3294.00 c | 603025 | 17388 77715 224919 | 594848 597869 104 | 76.165 % |
3300.95/3302.50 c | 603983 | 17388 77715 224919 | 594848 598827 104 | 76.165 % |
3310.55/3312.18 c | 605037 | 17388 77715 224919 | 594848 599881 104 | 76.165 % |
3320.25/3321.84 c | 606195 | 17388 77715 224919 | 594848 601039 104 | 76.165 % |
3331.94/3333.58 c | 607469 | 17388 77715 224919 | 594848 602313 104 | 76.165 % |
3343.73/3345.32 c | 608870 | 17388 77715 224919 | 594848 603714 104 | 76.165 % |
3356.53/3358.14 c | 610410 | 17388 77715 224919 | 604846 605254 104 | 76.165 % |
3375.33/3377.00 c | 612109 | 17388 77715 224919 | 604846 606953 104 | 76.165 % |
3391.82/3393.41 c | 613976 | 17388 77715 224919 | 604846 608820 104 | 76.165 % |
3412.70/3414.38 c | 616026 | 17388 77715 224919 | 604846 610870 104 | 76.165 % |
3440.39/3442.07 c | 618280 | 17388 77715 224919 | 604846 613124 104 | 76.165 % |
3466.17/3467.89 c | 620758 | 17388 77715 224919 | 614845 615602 104 | 76.165 % |
3489.74/3491.43 c | 623483 | 17388 77715 224919 | 614845 618327 104 | 76.165 % |
3519.82/3521.53 c | 626481 | 17388 77715 224919 | 614845 621325 104 | 76.165 % |
3555.71/3557.41 c | 629778 | 17388 77715 224919 | 614845 624622 103 | 76.165 % |
3590.29/3592.09 c | 633403 | 17388 77715 224919 | 624845 628247 103 | 76.165 % |
3631.87/3633.62 c | 637390 | 17388 77715 224919 | 624845 632234 103 | 76.165 % |
3682.16/3683.95 c | 641778 | 17388 77715 224919 | 634844 636622 102 | 76.165 % |
3735.23/3737.01 c | 646601 | 17388 77715 224919 | 634844 641445 102 | 76.165 % |
3792.90/3794.75 c | 651906 | 17388 77715 224919 | 644844 646750 102 | 76.165 % |
3843.96/3845.83 c | 657743 | 17388 77715 224919 | 644844 652587 102 | 76.165 % |
3845.16/3847.01 c | 657843 | 17388 77715 224919 | 644844 652687 102 | 76.165 % |
3846.06/3847.96 c | 657954 | 17388 77715 224919 | 644844 652798 102 | 76.165 % |
3847.16/3849.01 c | 658076 | 17388 77715 224919 | 644844 652920 102 | 76.165 % |
3849.16/3851.02 c | 658211 | 17388 77715 224919 | 644844 653055 102 | 76.165 % |
3850.77/3852.62 c | 658357 | 17388 77715 224919 | 644844 653201 102 | 76.165 % |
3852.37/3854.27 c | 658523 | 17388 77715 224919 | 644844 653367 102 | 76.165 % |
3853.67/3855.57 c | 658699 | 17388 77715 224919 | 644844 653543 102 | 76.165 % |
3856.87/3858.73 c | 658893 | 17388 77715 224919 | 644844 653737 102 | 76.165 % |
3858.46/3860.33 c | 659107 | 17388 77715 224919 | 644844 653951 102 | 76.165 % |
3860.66/3862.56 c | 659340 | 17388 77715 224919 | 644844 654184 102 | 76.165 % |
3863.06/3864.97 c | 659596 | 17388 77715 224919 | 644844 654440 102 | 76.165 % |
3865.67/3867.51 c | 659877 | 17388 77715 224919 | 644844 654721 102 | 76.165 % |
3870.66/3872.59 c | 660186 | 17387 77710 224906 | 654841 655027 103 | 76.166 % |
3875.56/3877.49 c | 660527 | 17387 77710 224906 | 654841 655368 103 | 76.166 % |
3880.55/3882.47 c | 660900 | 17387 77710 224906 | 654841 655741 103 | 76.166 % |
3885.95/3887.85 c | 661313 | 17387 77710 224906 | 654841 656154 103 | 76.166 % |
3890.25/3892.17 c | 661762 | 17387 77710 224906 | 654841 656603 103 | 76.166 % |
3896.95/3898.89 c | 662260 | 17387 77710 224906 | 654841 657101 103 | 76.166 % |
3903.15/3905.02 c | 662802 | 17387 77710 224906 | 654841 657643 103 | 76.166 % |
3909.54/3911.48 c | 663399 | 17387 77710 224906 | 654841 658240 103 | 76.166 % |
3917.54/3919.44 c | 664057 | 17387 77710 224906 | 654841 658898 103 | 76.166 % |
3924.33/3926.22 c | 664777 | 17387 77710 224906 | 654841 659618 103 | 76.166 % |
3930.93/3932.81 c | 665569 | 17387 77710 224906 | 654841 660410 103 | 76.166 % |
3940.13/3942.06 c | 666440 | 17387 77710 224906 | 654841 661281 103 | 76.166 % |
3947.83/3949.73 c | 667398 | 17387 77710 224906 | 654841 662239 103 | 76.166 % |
3956.03/3957.95 c | 668453 | 17387 77710 224906 | 654841 663294 103 | 76.166 % |
3965.73/3967.62 c | 669611 | 17386 77710 224906 | 654841 664451 103 | 76.168 % |
3978.11/3980.02 c | 670885 | 17386 77710 224906 | 664840 665725 103 | 76.168 % |
3992.51/3994.42 c | 672285 | 17386 77710 224906 | 664840 667125 103 | 76.168 % |
4004.10/4006.01 c | 673825 | 17386 77710 224906 | 664840 668665 103 | 76.168 % |
4020.69/4022.65 c | 675521 | 17386 77710 224906 | 664840 670361 103 | 76.168 % |
4044.59/4046.60 c | 677386 | 17386 77710 224906 | 664840 672226 103 | 76.168 % |
4065.67/4067.63 c | 679437 | 17386 77710 224906 | 664840 674277 102 | 76.168 % |
4092.76/4094.71 c | 681696 | 17386 77710 224906 | 674842 676536 102 | 76.168 % |
4116.55/4118.52 c | 684176 | 17386 77710 224906 | 674842 679016 102 | 76.168 % |
4142.44/4144.48 c | 686908 | 17386 77710 224906 | 674842 681748 102 | 76.168 % |
4171.02/4173.02 c | 689908 | 17386 77710 224906 | 674842 684748 102 | 76.168 % |
4198.31/4200.31 c | 693205 | 17386 77710 224906 | 684842 688045 102 | 76.168 % |
4239.30/4241.37 c | 696831 | 17386 77710 224906 | 684842 691671 102 | 76.168 % |
4275.48/4277.58 c | 700822 | 17386 77710 224906 | 694841 695662 103 | 76.168 % |
4316.77/4318.80 c | 705208 | 17386 77707 224900 | 694841 700034 102 | 76.168 % |
4372.64/4374.76 c | 710034 | 17386 77707 224900 | 704828 704860 102 | 76.168 % |
4429.42/4431.54 c | 715341 | 17386 77707 224900 | 704828 710167 103 | 76.168 % |
4490.78/4492.98 c | 721177 | 17386 77707 224900 | 714829 716003 103 | 76.168 % |
4560.45/4562.65 c | 727597 | 17386 77707 224900 | 714829 722423 103 | 76.168 % |
4561.76/4563.97 c | 727699 | 17386 77707 224900 | 714829 722525 103 | 76.168 % |
4563.15/4565.35 c | 727812 | 17386 77707 224900 | 714829 722638 103 | 76.168 % |
4564.85/4567.02 c | 727934 | 17386 77707 224900 | 714829 722760 103 | 76.168 % |
4566.55/4568.70 c | 728068 | 17386 77707 224900 | 714829 722894 103 | 76.168 % |
4568.45/4570.67 c | 728220 | 17386 77707 224900 | 714829 723046 103 | 76.168 % |
4571.35/4573.53 c | 728380 | 17386 77707 224900 | 714829 723206 103 | 76.168 % |
4573.75/4575.99 c | 728556 | 17386 77707 224900 | 714829 723382 103 | 76.168 % |
4576.55/4578.79 c | 728752 | 17386 77707 224900 | 714829 723578 103 | 76.168 % |
4578.35/4580.56 c | 728964 | 17386 77707 224900 | 714829 723790 103 | 76.168 % |
4580.95/4583.13 c | 729201 | 17385 77707 224900 | 714829 724026 103 | 76.187 % |
4583.34/4585.53 c | 729459 | 17385 77707 224900 | 714829 724284 103 | 76.187 % |
4586.44/4588.68 c | 729744 | 17385 77707 224900 | 714829 724569 103 | 76.187 % |
4589.54/4591.79 c | 730054 | 17385 77707 224900 | 724825 724879 103 | 76.187 % |
4593.44/4595.64 c | 730399 | 17385 77707 224900 | 724825 725224 103 | 76.187 % |
4597.64/4599.87 c | 730772 | 17385 77707 224900 | 724825 725597 103 | 76.187 % |
4602.83/4605.03 c | 731182 | 17385 77707 224900 | 724825 726007 103 | 76.187 % |
4607.43/4609.67 c | 731631 | 17385 77707 224900 | 724825 726456 103 | 76.187 % |
4611.33/4613.58 c | 732124 | 17385 77707 224900 | 724825 726949 103 | 76.187 % |
4617.83/4620.06 c | 732668 | 17385 77707 224900 | 724825 727493 103 | 76.187 % |
4625.22/4627.44 c | 733266 | 17385 77707 224900 | 724825 728091 103 | 76.187 % |
4634.23/4636.43 c | 733924 | 17385 77707 224900 | 724825 728749 103 | 76.187 % |
4644.92/4647.15 c | 734644 | 17385 77707 224900 | 724825 729469 103 | 76.187 % |
4652.90/4655.18 c | 735436 | 17385 77707 224900 | 724825 730261 103 | 76.187 % |
4659.99/4662.29 c | 736308 | 17385 77707 224900 | 724825 731133 103 | 76.187 % |
4670.39/4672.68 c | 737269 | 17385 77707 224900 | 724825 732094 103 | 76.187 % |
4680.18/4682.44 c | 738323 | 17385 77707 224900 | 724825 733148 103 | 76.187 % |
4689.68/4691.94 c | 739485 | 17385 77707 224900 | 724825 734310 103 | 76.187 % |
4699.08/4701.35 c | 740761 | 17385 77707 224900 | 734825 735586 103 | 76.187 % |
4713.87/4716.10 c | 742162 | 17385 77707 224900 | 734825 736987 103 | 76.187 % |
4729.36/4731.67 c | 743703 | 17385 77707 224900 | 734825 738528 103 | 76.187 % |
4744.36/4746.65 c | 745400 | 17385 77707 224900 | 734825 740225 103 | 76.187 % |
4767.44/4769.73 c | 747263 | 17385 77707 224900 | 734825 742088 103 | 76.187 % |
4789.53/4791.84 c | 749314 | 17372 77624 224661 | 734825 744131 103 | 76.187 % |
4816.32/4818.64 c | 751572 | 17372 77624 224661 | 744818 746389 103 | 76.187 % |
4839.11/4841.45 c | 754050 | 17372 77624 224661 | 744818 748867 103 | 76.187 % |
4864.90/4867.21 c | 756775 | 17372 77624 224661 | 744818 751592 103 | 76.187 % |
4886.19/4888.60 c | 759772 | 17372 77624 224661 | 744818 754589 103 | 76.187 % |
4910.19/4912.56 c | 763068 | 17372 77624 224661 | 754818 757884 103 | 76.189 % |
4937.27/4939.65 c | 766693 | 17372 77624 224661 | 754818 761509 103 | 76.189 % |
4970.65/4973.03 c | 770680 | 17372 77624 224661 | 764816 765496 103 | 76.189 % |
5009.64/5012.05 c | 775065 | 17372 77624 224661 | 764816 769881 103 | 76.189 % |
5047.52/5049.99 c | 779888 | 17372 77624 224661 | 764816 774704 103 | 76.189 % |
5084.01/5086.41 c | 785193 | 17372 77624 224661 | 774821 780009 103 | 76.189 % |
5136.99/5139.47 c | 791028 | 17372 77624 224661 | 784816 785844 103 | 76.189 % |
5194.26/5196.76 c | 797446 | 17372 77624 224661 | 784816 792262 103 | 76.190 % |
5249.83/5252.38 c | 804505 | 17372 77624 224661 | 794816 799320 103 | 76.218 % |
5251.93/5254.50 c | 804606 | 17349 77509 224295 | 794816 799398 103 | 76.218 % |
5253.13/5255.68 c | 804717 | 17349 77509 224295 | 794816 799509 103 | 76.218 % |
5254.03/5256.59 c | 804840 | 17349 77509 224295 | 794816 799632 103 | 76.218 % |
5256.22/5258.73 c | 804974 | 17349 77509 224295 | 794816 799766 103 | 76.218 % |
5257.73/5260.22 c | 805121 | 17349 77509 224295 | 794816 799913 103 | 76.218 % |
5260.12/5262.65 c | 805281 | 17349 77509 224295 | 794816 800073 103 | 76.218 % |
5263.13/5265.66 c | 805457 | 17349 77509 224295 | 794816 800249 103 | 76.218 % |
5265.82/5268.31 c | 805655 | 17349 77509 224295 | 794816 800447 103 | 76.218 % |
5269.13/5271.65 c | 805869 | 17349 77509 224295 | 794816 800661 103 | 76.218 % |
5272.13/5274.65 c | 806102 | 17349 77509 224295 | 794816 800894 103 | 76.218 % |
5275.32/5277.83 c | 806362 | 17349 77509 224295 | 794816 801154 103 | 76.218 % |
5278.62/5281.15 c | 806646 | 17349 77509 224295 | 794816 801438 103 | 76.218 % |
5282.32/5284.90 c | 806956 | 17349 77509 224295 | 794816 801748 103 | 76.218 % |
5286.01/5288.59 c | 807296 | 17349 77509 224295 | 794816 802088 103 | 76.218 % |
5290.41/5292.96 c | 807669 | 17349 77509 224295 | 794816 802461 103 | 76.218 % |
5295.41/5297.97 c | 808078 | 17349 77509 224295 | 794816 802870 103 | 76.218 % |
5300.71/5303.22 c | 808527 | 17349 77509 224295 | 794816 803319 103 | 76.218 % |
5305.41/5307.94 c | 809020 | 17349 77509 224295 | 794816 803812 103 | 76.218 % |
5309.71/5312.25 c | 809562 | 17349 77509 224295 | 794816 804354 103 | 76.218 % |
5314.00/5316.59 c | 810159 | 17349 77509 224295 | 804794 804951 103 | 76.218 % |
5318.50/5321.08 c | 810818 | 17349 77509 224295 | 804794 805610 103 | 76.218 % |
5324.30/5326.88 c | 811541 | 17349 77509 224295 | 804794 806333 103 | 76.218 % |
5329.99/5332.54 c | 812337 | 17349 77509 224295 | 804794 807129 103 | 76.218 % |
5337.59/5340.14 c | 813209 | 17349 77509 224295 | 804794 808001 102 | 76.218 % |
5345.09/5347.66 c | 814167 | 17349 77509 224295 | 804794 808959 102 | 76.218 % |
5353.59/5356.19 c | 815220 | 17349 77509 224295 | 804794 810012 102 | 76.218 % |
5362.28/5364.82 c | 816378 | 17349 77509 224295 | 804794 811170 102 | 76.218 % |
5373.18/5375.70 c | 817652 | 17349 77509 224295 | 804794 812444 102 | 76.218 % |
5384.77/5387.37 c | 819053 | 17349 77509 224295 | 804794 813845 102 | 76.218 % |
5395.97/5398.58 c | 820595 | 17349 77509 224295 | 814792 815387 102 | 76.218 % |
5407.56/5410.14 c | 822290 | 17349 77509 224295 | 814792 817082 102 | 76.218 % |
5422.06/5424.60 c | 824153 | 17349 77509 224295 | 814792 818945 102 | 76.218 % |
5437.25/5439.81 c | 826202 | 17349 77509 224295 | 814792 820994 102 | 76.218 % |
5453.74/5456.36 c | 828456 | 17349 77509 224295 | 814792 823248 101 | 76.218 % |
5472.34/5474.96 c | 830936 | 17349 77509 224295 | 824792 825728 101 | 76.218 % |
5498.72/5501.34 c | 833661 | 17349 77509 224295 | 824792 828452 101 | 76.220 % |
5531.91/5534.57 c | 836663 | 17349 77509 224295 | 824792 831454 101 | 76.220 % |
5557.71/5560.35 c | 839962 | 17349 77509 224295 | 824792 834753 101 | 76.220 % |
5591.99/5594.63 c | 843587 | 17349 77509 224295 | 834791 838378 101 | 76.220 % |
5631.88/5634.54 c | 847574 | 17349 77509 224295 | 834791 842365 101 | 76.220 % |
5665.46/5668.10 c | 851962 | 17349 77509 224295 | 844798 846753 101 | 76.220 % |
5721.75/5724.43 c | 856787 | 17349 77509 224295 | 844798 851578 101 | 76.220 % |
5786.01/5788.77 c | 862093 | 17349 77509 224295 | 854791 856884 101 | 76.220 % |
5866.28/5869.07 c | 867928 | 17349 77509 224295 | 854791 862719 101 | 76.220 % |
5939.76/5942.50 c | 874346 | 17348 77506 224289 | 864791 869136 101 | 76.220 % |
6032.51/6035.32 c | 881409 | 17348 77506 224289 | 874790 876199 101 | 76.220 % |
6143.66/6146.58 c | 889175 | 17347 77506 224289 | 874790 883964 101 | 76.237 % |
6145.66/6148.54 c | 889276 | 17347 77506 224289 | 874790 884065 101 | 76.237 % |
6147.26/6150.17 c | 889386 | 17347 77506 224289 | 874790 884175 101 | 76.237 % |
6148.55/6151.43 c | 889510 | 17347 77506 224289 | 874790 884299 101 | 76.237 % |
6151.35/6154.24 c | 889652 | 17347 77506 224289 | 874790 884441 101 | 76.237 % |
6154.35/6157.23 c | 889799 | 17347 77506 224289 | 874790 884588 101 | 76.237 % |
6157.35/6160.28 c | 889960 | 17347 77506 224289 | 874790 884749 101 | 76.237 % |
6160.66/6163.53 c | 890138 | 17347 77506 224289 | 884790 884927 101 | 76.237 % |
6164.66/6167.51 c | 890331 | 17347 77506 224289 | 884790 885120 101 | 76.237 % |
6169.26/6172.18 c | 890545 | 17347 77506 224289 | 884790 885334 101 | 76.237 % |
6172.35/6175.27 c | 890779 | 17347 77506 224289 | 884790 885568 101 | 76.237 % |
6176.95/6179.84 c | 891035 | 17347 77506 224289 | 884790 885824 101 | 76.237 % |
6181.54/6184.42 c | 891317 | 17347 77506 224289 | 884790 886106 101 | 76.237 % |
6185.84/6188.79 c | 891626 | 17347 77506 224289 | 884790 886415 101 | 76.237 % |
6189.64/6192.51 c | 891965 | 17347 77506 224289 | 884790 886754 101 | 76.237 % |
6195.54/6198.50 c | 892343 | 17347 77506 224289 | 884790 887132 101 | 76.237 % |
6201.23/6204.11 c | 892752 | 17347 77506 224289 | 884790 887541 101 | 76.237 % |
6207.23/6210.18 c | 893201 | 17347 77506 224289 | 884790 887990 101 | 76.237 % |
6213.73/6216.65 c | 893696 | 17347 77506 224289 | 884790 888485 101 | 76.237 % |
6219.93/6222.87 c | 894241 | 17347 77506 224289 | 884790 889030 101 | 76.237 % |
6226.52/6229.48 c | 894843 | 17347 77506 224289 | 884790 889632 101 | 76.237 % |
6233.82/6236.72 c | 895499 | 17347 77506 224289 | 884790 890288 101 | 76.237 % |
6242.43/6245.37 c | 896220 | 17347 77506 224289 | 884790 891009 101 | 76.237 % |
6252.42/6255.37 c | 897020 | 17347 77506 224289 | 884790 891809 101 | 76.237 % |
6264.61/6267.50 c | 897894 | 17347 77506 224289 | 884790 892683 101 | 76.237 % |
6277.21/6280.20 c | 898852 | 17346 77506 224289 | 884790 893640 101 | 76.257 % |
6291.31/6294.21 c | 899905 | 17346 77506 224289 | 884790 894693 101 | 76.257 % |
6304.80/6307.79 c | 901066 | 17346 77506 224289 | 894789 895854 101 | 76.257 % |
6325.48/6328.47 c | 902342 | 17346 77506 224289 | 894789 897130 101 | 76.257 % |
6342.78/6345.74 c | 903742 | 17346 77506 224289 | 894789 898530 101 | 76.257 % |
6360.37/6363.40 c | 905283 | 17346 77506 224289 | 894789 900071 101 | 76.257 % |
6384.26/6387.21 c | 906977 | 17346 77506 224289 | 894789 901765 101 | 76.257 % |
6407.65/6410.69 c | 908840 | 17346 77506 224289 | 894789 903628 101 | 76.257 % |
6444.94/6447.99 c | 910889 | 17346 77506 224289 | 904792 905677 101 | 76.257 % |
6473.93/6476.90 c | 913142 | 17346 77506 224289 | 904792 907930 101 | 76.257 % |
6506.12/6509.16 c | 915620 | 17346 77506 224289 | 904792 910408 102 | 76.257 % |
6544.30/6547.31 c | 918345 | 17346 77506 224289 | 904792 913133 101 | 76.257 % |
6583.48/6586.57 c | 921343 | 17346 77506 224289 | 914789 916131 101 | 76.257 % |
6627.16/6630.24 c | 924641 | 17346 77506 224289 | 914789 919429 101 | 76.257 % |
6671.95/6675.08 c | 928266 | 17346 77506 224289 | 914789 923054 101 | 76.257 % |
6715.81/6718.94 c | 932253 | 17321 77335 223824 | 924758 927004 101 | 76.257 % |
6775.48/6778.62 c | 936641 | 17321 77335 223824 | 924758 931392 101 | 76.257 % |
6841.35/6844.50 c | 941466 | 17321 77335 223824 | 934751 936217 101 | 76.257 % |
6913.63/6916.89 c | 946773 | 17321 77335 223824 | 934751 941523 101 | 76.273 % |
6992.39/6995.64 c | 952612 | 17321 77335 223824 | 944750 947362 101 | 76.273 % |
7079.86/7083.12 c | 959030 | 17321 77335 223824 | 944750 953780 101 | 76.273 % |
7151.13/7154.40 c | 966090 | 17321 77335 223824 | 954753 960840 101 | 76.273 % |
7245.48/7248.82 c | 973855 | 17321 77335 223824 | 964752 968605 101 | 76.273 % |
7359.63/7363.03 c | 982395 | 17321 77335 223824 | 974750 977145 101 | 76.273 % |
7360.83/7364.25 c | 982497 | 17321 77335 223824 | 974750 977247 101 | 76.273 % |
7362.23/7365.63 c | 982609 | 17321 77335 223824 | 974750 977359 101 | 76.273 % |
7363.93/7367.33 c | 982733 | 17321 77335 223824 | 974750 977483 101 | 76.273 % |
7366.33/7369.72 c | 982870 | 17321 77335 223824 | 974750 977620 101 | 76.273 % |
7369.33/7372.77 c | 983016 | 17321 77335 223824 | 974750 977766 101 | 76.273 % |
7371.73/7375.19 c | 983177 | 17321 77335 223824 | 974750 977927 101 | 76.273 % |
7375.03/7378.40 c | 983353 | 17321 77335 223824 | 974750 978103 101 | 76.273 % |
7378.23/7381.66 c | 983548 | 17321 77335 223824 | 974750 978298 101 | 76.273 % |
7382.72/7386.13 c | 983762 | 17321 77335 223824 | 974750 978512 101 | 76.273 % |
7387.12/7390.57 c | 983997 | 17321 77335 223824 | 974750 978747 101 | 76.273 % |
7390.52/7393.98 c | 984254 | 17321 77335 223824 | 974750 979004 101 | 76.273 % |
7394.02/7397.42 c | 984535 | 17321 77335 223824 | 974750 979285 101 | 76.273 % |
7397.62/7401.02 c | 984848 | 17321 77335 223824 | 974750 979598 101 | 76.273 % |
7403.01/7406.41 c | 985187 | 17321 77335 223824 | 974750 979937 101 | 76.273 % |
7408.71/7412.17 c | 985560 | 17321 77335 223824 | 974750 980310 101 | 76.273 % |
7417.31/7420.72 c | 985971 | 17321 77335 223824 | 974750 980721 101 | 76.273 % |
7424.61/7428.01 c | 986420 | 17321 77335 223824 | 974750 981170 101 | 76.273 % |
7433.00/7436.47 c | 986913 | 17321 77335 223824 | 974750 981663 101 | 76.273 % |
7440.09/7443.56 c | 987460 | 17321 77335 223824 | 974750 982210 101 | 76.273 % |
7451.19/7454.63 c | 988059 | 17321 77335 223824 | 974750 982809 101 | 76.273 % |
7459.89/7463.34 c | 988715 | 17321 77335 223824 | 974750 983465 101 | 76.273 % |
7467.28/7470.71 c | 989440 | 17321 77335 223824 | 974750 984190 101 | 76.273 % |
7476.19/7479.61 c | 990233 | 17321 77335 223824 | 984751 984983 101 | 76.273 % |
7486.48/7489.94 c | 991104 | 17321 77335 223824 | 984751 985854 101 | 76.273 % |
7500.27/7503.76 c | 992062 | 17321 77335 223824 | 984751 986812 101 | 76.273 % |
7514.27/7517.70 c | 993116 | 17321 77335 223824 | 984751 987866 101 | 76.273 % |
7527.96/7531.47 c | 994277 | 17321 77335 223824 | 984751 989027 101 | 76.273 % |
7543.05/7546.59 c | 995551 | 17321 77335 223824 | 984751 990301 101 | 76.273 % |
7560.44/7563.96 c | 996952 | 17321 77335 223824 | 984751 991702 101 | 76.273 % |
7579.95/7583.47 c | 998494 | 17309 77262 223632 | 984751 993243 101 | 76.273 % |
7601.53/7605.05 c | 1000188 | 17309 77262 223632 | 994753 994937 101 | 76.273 % |
7625.91/7629.43 c | 1002053 | 17309 77262 223632 | 994753 996802 101 | 76.273 % |
7650.20/7653.73 c | 1004106 | 17309 77262 223632 | 994753 998855 101 | 76.273 % |
7678.59/7682.11 c | 1006359 | 17309 77262 223632 | 994753 1001108 101 | 76.273 % |
7709.77/7713.30 c | 1008837 | 17309 77262 223632 | 994753 1003584 101 | 76.575 % |
7745.57/7749.16 c | 1011565 | 17309 77262 223632 | 1004747 1006312 101 | 76.575 % |
7792.82/7796.44 c | 1014562 | 17309 77262 223632 | 1004747 1009309 101 | 76.575 % |
7840.09/7843.71 c | 1017860 | 17309 77262 223632 | 1004747 1012607 101 | 76.575 % |
7878.08/7881.76 c | 1021486 | 17309 77262 223632 | 1014748 1016233 101 | 76.575 % |
7922.36/7926.08 c | 1025473 | 17309 77262 223632 | 1014748 1020220 101 | 76.575 % |
7970.51/7974.26 c | 1029859 | 17309 77262 223632 | 1014748 1024606 101 | 76.575 % |
8011.00/8014.75 c | 1034683 | 17309 77262 223632 | 1024747 1029430 101 | 76.575 % |
8089.45/8093.23 c | 1039988 | 17309 77262 223632 | 1024747 1034735 101 | 76.575 % |
8157.62/8161.41 c | 1045824 | 17309 77262 223632 | 1034748 1040571 102 | 76.575 % |
8224.30/8228.11 c | 1052246 | 17309 77262 223632 | 1044748 1046993 102 | 76.575 % |
8304.37/8308.21 c | 1059306 | 17309 77262 223632 | 1044748 1054053 102 | 76.575 % |
8392.12/8396.07 c | 1067070 | 17309 77262 223632 | 1054747 1061817 102 | 76.575 % |
8472.69/8476.63 c | 1075612 | 17309 77262 223632 | 1064748 1070359 102 | 76.575 % |
8605.93/8609.95 c | 1085009 | 17089 76229 220416 | 1074624 1079631 102 | 76.590 % |
8607.83/8611.87 c | 1085109 | 17089 76229 220416 | 1074624 1079731 102 | 76.590 % |
8609.73/8613.72 c | 1085220 | 17089 76229 220416 | 1074624 1079842 102 | 76.590 % |
8612.03/8616.02 c | 1085344 | 17089 76229 220416 | 1074624 1079966 102 | 76.590 % |
8614.32/8618.30 c | 1085478 | 17089 76229 220416 | 1074624 1080100 102 | 76.590 % |
8616.52/8620.55 c | 1085625 | 17089 76229 220416 | 1074624 1080246 102 | 76.594 % |
8620.22/8624.27 c | 1085789 | 17089 76229 220416 | 1074624 1080410 102 | 76.594 % |
8623.42/8627.48 c | 1085965 | 17089 76229 220416 | 1074624 1080586 102 | 76.594 % |
8626.82/8630.84 c | 1086159 | 17089 76229 220416 | 1074624 1080780 102 | 76.594 % |
8630.02/8634.03 c | 1086371 | 17089 76229 220416 | 1074624 1080992 102 | 76.594 % |
8633.82/8637.84 c | 1086605 | 17089 76229 220416 | 1074624 1081226 102 | 76.594 % |
8638.32/8642.32 c | 1086862 | 17089 76229 220416 | 1074624 1081483 102 | 76.594 % |
8643.31/8647.39 c | 1087145 | 17089 76229 220416 | 1074624 1081766 102 | 76.594 % |
8648.51/8652.51 c | 1087455 | 17089 76229 220416 | 1074624 1082076 102 | 76.594 % |
8654.10/8658.19 c | 1087794 | 17089 76229 220416 | 1074624 1082415 102 | 76.594 % |
8659.00/8663.07 c | 1088166 | 17089 76229 220416 | 1074624 1082787 102 | 76.594 % |
8664.40/8668.40 c | 1088579 | 17089 76229 220416 | 1074624 1083200 102 | 76.594 % |
8671.79/8675.80 c | 1089031 | 17089 76229 220416 | 1074624 1083652 102 | 76.594 % |
8678.21/8682.22 c | 1089524 | 17089 76229 220416 | 1074624 1084145 102 | 76.594 % |
8684.90/8688.95 c | 1090066 | 17089 76229 220416 | 1084621 1084687 102 | 76.594 % |
8694.08/8698.12 c | 1090663 | 17089 76229 220416 | 1084621 1085284 102 | 76.594 % |
8704.08/8708.16 c | 1091320 | 17089 76229 220416 | 1084621 1085941 102 | 76.594 % |
8714.28/8718.31 c | 1092044 | 17089 76229 220416 | 1084621 1086665 102 | 76.594 % |
8727.77/8731.87 c | 1092837 | 17089 76229 220416 | 1084621 1087458 102 | 76.594 % |
8740.86/8744.97 c | 1093708 | 17089 76229 220416 | 1084621 1088329 102 | 76.594 % |
8757.06/8761.20 c | 1094666 | 17089 76229 220416 | 1084621 1089287 102 | 76.594 % |
8775.15/8779.23 c | 1095726 | 17089 76229 220416 | 1084621 1090347 102 | 76.594 % |
8794.45/8798.51 c | 1096889 | 17089 76229 220416 | 1084621 1091510 102 | 76.594 % |
8815.24/8819.36 c | 1098163 | 17089 76229 220416 | 1084621 1092784 102 | 76.594 % |
8835.33/8839.43 c | 1099564 | 17089 76229 220416 | 1084621 1094185 102 | 76.594 % |
8854.62/8858.76 c | 1101105 | 17089 76229 220416 | 1094621 1095726 102 | 76.594 % |
8877.50/8881.61 c | 1102799 | 17089 76229 220416 | 1094621 1097420 102 | 76.594 % |
8898.80/8902.90 c | 1104664 | 17089 76229 220416 | 1094621 1099285 102 | 76.594 % |
8918.68/8922.82 c | 1106713 | 17089 76229 220416 | 1094621 1101334 102 | 76.594 % |
8941.48/8945.63 c | 1108966 | 17089 76229 220416 | 1094621 1103587 102 | 76.594 % |
8969.97/8974.19 c | 1111445 | 17089 76229 220416 | 1104621 1106066 102 | 76.594 % |
8996.65/9000.82 c | 1114170 | 17089 76229 220416 | 1104621 1108791 101 | 76.594 % |
9037.64/9041.88 c | 1117167 | 17089 76229 220416 | 1104621 1111788 102 | 76.594 % |
9091.92/9096.15 c | 1120465 | 17089 76229 220416 | 1114622 1115086 102 | 76.594 % |
9135.99/9140.26 c | 1124092 | 17089 76229 220416 | 1114622 1118713 102 | 76.594 % |
9185.87/9190.13 c | 1128080 | 17089 76229 220416 | 1114622 1122701 101 | 76.594 % |
9251.34/9255.65 c | 1132470 | 17089 76229 220416 | 1124622 1127091 102 | 76.594 % |
9313.92/9318.30 c | 1137293 | 17089 76229 220416 | 1124622 1131914 101 | 76.594 % |
9400.68/9405.02 c | 1142599 | 17089 76229 220416 | 1134621 1137220 101 | 76.594 % |
9479.65/9484.07 c | 1148435 | 17089 76229 220416 | 1134621 1143056 101 | 76.594 % |
9570.91/9575.31 c | 1154853 | 17089 76229 220416 | 1144624 1149474 101 | 76.594 % |
9669.77/9674.21 c | 1161913 | 17075 76128 220140 | 1154621 1156534 101 | 76.594 % |
9780.91/9785.49 c | 1169680 | 17075 76128 220140 | 1154621 1164301 102 | 76.594 % |
9881.77/9886.36 c | 1178220 | 17075 76128 220140 | 1164623 1172840 101 | 76.612 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1837052-1242857017/watcher-1837052-1242857017 -o /tmp/evaluation-result-1837052-1242857017/solver-1837052-1242857017 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837052-1242857017.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 12000 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: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.00 0.00 0.00 3/65 900
/proc/meminfo: memFree=1823384/2055920 swapFree=4179928/4192956
[pid=900] ppid=898 vsize=5356 CPUtime=0
/proc/900/stat : 900 (SatELiteGTI) S 898 900 863 0 -1 4194304 276 0 0 0 0 0 0 0 19 0 1 0 313732004 5484544 235 1992294400 4194304 4889804 548682068816 18446744073709551615 265674260562 0 0 4100 65536 18446744071563648864 0 0 17 1 0 0
/proc/900/statm: 1339 235 195 169 0 50 0
[pid=901] ppid=900 vsize=5356 CPUtime=0
/proc/901/stat : 901 (SatELiteGTI) R 900 900 863 0 -1 4194368 51 25 0 0 0 0 0 0 21 0 1 0 313732004 5484544 238 1992294400 4194304 4889804 548682068816 18446744073709551615 265674089284 0 65536 4096 65538 0 0 0 17 1 0 0
/proc/901/statm: 1339 238 198 169 0 50 0
[pid=903] ppid=901 vsize=0 CPUtime=0
/proc/903/stat : 903 (sed) Z 901 900 863 0 -1 4194316 163 0 0 0 0 0 0 0 18 0 1 0 313732004 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744071563351923 0 0 17 0 0 0
/proc/903/statm: 0 0 0 0 0 0 0
[startup+0.0847429 s]
/proc/loadavg: 0.00 0.00 0.00 3/65 900
/proc/meminfo: memFree=1823384/2055920 swapFree=4179928/4192956
[pid=900] ppid=898 vsize=5356 CPUtime=0
/proc/900/stat : 900 (SatELiteGTI) S 898 900 863 0 -1 4194304 310 249 0 0 0 0 0 0 20 0 1 0 313732004 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/900/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101744 s]
/proc/loadavg: 0.00 0.00 0.00 3/65 900
/proc/meminfo: memFree=1823384/2055920 swapFree=4179928/4192956
[pid=900] ppid=898 vsize=5356 CPUtime=0
/proc/900/stat : 900 (SatELiteGTI) S 898 900 863 0 -1 4194304 310 249 0 0 0 0 0 0 20 0 1 0 313732004 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/900/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301765 s]
/proc/loadavg: 0.00 0.00 0.00 3/65 900
/proc/meminfo: memFree=1823384/2055920 swapFree=4179928/4192956
[pid=900] ppid=898 vsize=5356 CPUtime=0
/proc/900/stat : 900 (SatELiteGTI) S 898 900 863 0 -1 4194304 310 249 0 0 0 0 0 0 20 0 1 0 313732004 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/900/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701809 s]
/proc/loadavg: 0.00 0.00 0.00 3/65 900
/proc/meminfo: memFree=1823384/2055920 swapFree=4179928/4192956
[pid=900] ppid=898 vsize=5356 CPUtime=0
/proc/900/stat : 900 (SatELiteGTI) S 898 900 863 0 -1 4194304 310 249 0 0 0 0 0 0 20 0 1 0 313732004 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/900/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.5019 s]
/proc/loadavg: 0.00 0.00 0.00 2/67 905
/proc/meminfo: memFree=1721288/2055920 swapFree=4179928/4192956
[pid=900] ppid=898 vsize=5356 CPUtime=0
/proc/900/stat : 900 (SatELiteGTI) S 898 900 863 0 -1 4194304 310 249 0 0 0 0 0 0 20 0 1 0 313732004 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/900/statm: 1339 237 197 169 0 50 0
[pid=905] ppid=900 vsize=107784 CPUtime=1.48
/proc/905/stat : 905 (SatELite_releas) R 900 900 863 0 -1 4194304 27403 0 0 0 132 16 0 0 25 0 1 0 313732005 110370816 25149 1992294400 134512640 135223648 4294956128 18446744073709551615 134718983 0 0 4096 3 0 0 0 17 0 0 0
/proc/905/statm: 26946 25149 76 173 0 26771 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 113140
[startup+3.10107 s]
/proc/loadavg: 0.08 0.02 0.01 2/67 905
/proc/meminfo: memFree=1716104/2055920 swapFree=4179928/4192956
[pid=900] ppid=898 vsize=5356 CPUtime=0
/proc/900/stat : 900 (SatELiteGTI) S 898 900 863 0 -1 4194304 310 249 0 0 0 0 0 0 20 0 1 0 313732004 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/900/statm: 1339 237 197 169 0 50 0
[pid=905] ppid=900 vsize=112644 CPUtime=3.08
/proc/905/stat : 905 (SatELite_releas) R 900 900 863 0 -1 4194304 28845 0 0 0 291 17 0 0 25 0 1 0 313732005 115347456 26423 1992294400 134512640 135223648 4294956128 18446744073709551615 134587057 0 0 4096 3 0 0 0 17 0 0 0
/proc/905/statm: 28161 26423 76 173 0 27986 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 118000
[startup+6.30143 s]
/proc/loadavg: 0.08 0.02 0.01 2/67 905
/proc/meminfo: memFree=1708744/2055920 swapFree=4179928/4192956
[pid=900] ppid=898 vsize=5356 CPUtime=0
/proc/900/stat : 900 (SatELiteGTI) S 898 900 863 0 -1 4194304 310 249 0 0 0 0 0 0 20 0 1 0 313732004 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/900/statm: 1339 237 197 169 0 50 0
[pid=905] ppid=900 vsize=122916 CPUtime=6.27
/proc/905/stat : 905 (SatELite_releas) R 900 900 863 0 -1 4194304 33811 0 0 0 607 20 0 0 25 0 1 0 313732005 125865984 27203 1992294400 134512640 135223648 4294956128 18446744073709551615 134586751 0 0 4096 3 0 0 0 17 0 0 0
/proc/905/statm: 30729 27203 76 173 0 30554 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 128272
[startup+12.7011 s]
/proc/loadavg: 0.37 0.08 0.03 2/67 906
/proc/meminfo: memFree=1784392/2055920 swapFree=4179928/4192956
[pid=900] ppid=898 vsize=5356 CPUtime=7.58
/proc/900/stat : 900 (SatELiteGTI) S 898 900 863 0 -1 4194304 336 42189 0 0 0 0 729 29 16 0 1 0 313732004 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/900/statm: 1339 239 197 169 0 50 0
[pid=906] ppid=900 vsize=25892 CPUtime=5.06
/proc/906/stat : 906 (minisat_static) R 900 900 863 0 -1 4194304 6005 0 0 0 503 3 0 0 25 0 1 0 313732765 26513408 5974 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/906/statm: 6473 5974 77 171 0 6300 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 31248
[startup+25.5016 s]
/proc/loadavg: 0.47 0.11 0.04 2/67 906
/proc/meminfo: memFree=1782600/2055920 swapFree=4179928/4192956
[pid=900] ppid=898 vsize=5356 CPUtime=7.58
/proc/900/stat : 900 (SatELiteGTI) S 898 900 863 0 -1 4194304 336 42189 0 0 0 0 729 29 16 0 1 0 313732004 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/900/statm: 1339 239 197 169 0 50 0
[pid=906] ppid=900 vsize=28136 CPUtime=17.85
/proc/906/stat : 906 (minisat_static) R 900 900 863 0 -1 4194304 6578 0 0 0 1781 4 0 0 25 0 1 0 313732765 28811264 6547 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/906/statm: 7034 6547 77 171 0 6861 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 33492
[startup+51.1014 s]
/proc/loadavg: 0.71 0.20 0.07 2/67 906
/proc/meminfo: memFree=1776776/2055920 swapFree=4179928/4192956
[pid=900] ppid=898 vsize=5356 CPUtime=7.58
/proc/900/stat : 900 (SatELiteGTI) S 898 900 863 0 -1 4194304 336 42189 0 0 0 0 729 29 16 0 1 0 313732004 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/900/statm: 1339 239 197 169 0 50 0
[pid=906] ppid=900 vsize=34036 CPUtime=43.44
/proc/906/stat : 906 (minisat_static) R 900 900 863 0 -1 4194304 8041 0 0 0 4339 5 0 0 25 0 1 0 313732765 34852864 8010 1992294400 134512640 135215339 4294956240 18446744073709551615 134528827 0 0 4096 3 0 0 0 17 0 0 0
/proc/906/statm: 8509 8010 77 171 0 8336 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 39392
[startup+102.305 s]
/proc/loadavg: 0.94 0.35 0.12 2/67 906
/proc/meminfo: memFree=1766536/2055920 swapFree=4179928/4192956
[pid=900] ppid=898 vsize=5356 CPUtime=7.58
/proc/900/stat : 900 (SatELiteGTI) S 898 900 863 0 -1 4194304 336 42189 0 0 0 0 729 29 16 0 1 0 313732004 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/900/statm: 1339 239 197 169 0 50 0
[pid=906] ppid=900 vsize=44244 CPUtime=94.61
/proc/906/stat : 906 (minisat_static) R 900 900 863 0 -1 4194304 10604 0 0 0 9453 8 0 0 25 0 1 0 313732765 45305856 10573 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 0 0 0
/proc/906/statm: 11061 10573 77 171 0 10888 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 49600
[startup+162.302 s]
/proc/loadavg: 1.03 0.47 0.18 2/67 906
/proc/meminfo: memFree=1756744/2055920 swapFree=4179928/4192956
[pid=900] ppid=898 vsize=5356 CPUtime=7.58
/proc/900/stat : 900 (SatELiteGTI) S 898 900 863 0 -1 4194304 336 42189 0 0 0 0 729 29 16 0 1 0 313732004 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/900/statm: 1339 239 197 169 0 50 0
[pid=906] ppid=900 vsize=54112 CPUtime=154.58
/proc/906/stat : 906 (minisat_static) R 900 900 863 0 -1 4194304 13039 0 0 0 15447 11 0 0 25 0 1 0 313732765 55410688 13008 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/906/statm: 13528 13008 77 171 0 13355 0
Current children cumulated CPU time (s) 162.16
Current children cumulated vsize (KiB) 59468
[startup+222.301 s]
/proc/loadavg: 1.05 0.58 0.23 2/67 906
/proc/meminfo: memFree=1745928/2055920 swapFree=4179928/4192956
[pid=900] ppid=898 vsize=5356 CPUtime=7.58
/proc/900/stat : 900 (SatELiteGTI) S 898 900 863 0 -1 4194304 336 42189 0 0 0 0 729 29 16 0 1 0 313732004 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/900/statm: 1339 239 197 169 0 50 0
[pid=906] ppid=900 vsize=64728 CPUtime=214.54
/proc/906/stat : 906 (minisat_static) R 900 900 863 0 -1 4194304 15711 0 0 0 21441 13 0 0 25 0 1 0 313732765 66281472 15680 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/906/statm: 16182 15680 77 171 0 16009 0
Current children cumulated CPU time (s) 222.12
Current children cumulated vsize (KiB) 70084
[startup+282.302 s]
/proc/loadavg: 1.06 0.67 0.28 2/67 906
/proc/meminfo: memFree=1738120/2055920 swapFree=4179928/4192956
[pid=900] ppid=898 vsize=5356 CPUtime=7.58
/proc/900/stat : 900 (SatELiteGTI) S 898 900 863 0 -1 4194304 336 42189 0 0 0 0 729 29 16 0 1 0 313732004 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/900/statm: 1339 239 197 169 0 50 0
[pid=906] ppid=900 vsize=72788 CPUtime=274.51
/proc/906/stat : 906 (minisat_static) R 900 900 863 0 -1 4194304 17675 0 0 0 27436 15 0 0 25 0 1 0 313732765 74534912 17644 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 0 0 0
/proc/906/statm: 18197 17644 77 171 0 18024 0
Current children cumulated CPU time (s) 282.09
Current children cumulated vsize (KiB) 78144
[startup+342.302 s]
/proc/loadavg: 1.06 0.74 0.33 2/67 906
/proc/meminfo: memFree=1730376/2055920 swapFree=4179928/4192956
[pid=900] ppid=898 vsize=5356 CPUtime=7.58
/proc/900/stat : 900 (SatELiteGTI) S 898 900 863 0 -1 4194304 336 42189 0 0 0 0 729 29 16 0 1 0 313732004 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/900/statm: 1339 239 197 169 0 50 0
[pid=906] ppid=900 vsize=80424 CPUtime=334.48
/proc/906/stat : 906 (minisat_static) R 900 900 863 0 -1 4194304 19583 0 0 0 33431 17 0 0 25 0 1 0 313732765 82354176 19552 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 0 0 0
/proc/906/statm: 20106 19552 77 171 0 19933 0
Current children cumulated CPU time (s) 342.06
Current children cumulated vsize (KiB) 85780
[startup+402.301 s]
/proc/loadavg: 1.06 0.80 0.37 2/67 906
/proc/meminfo: memFree=1722056/2055920 swapFree=4179928/4192956
[pid=900] ppid=898 vsize=5356 CPUtime=7.58
/proc/900/stat : 900 (SatELiteGTI) S 898 900 863 0 -1 4194304 336 42189 0 0 0 0 729 29 16 0 1 0 313732004 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/900/statm: 1339 239 197 169 0 50 0
[pid=906] ppid=900 vsize=88896 CPUtime=394.45
################
# More data... #
################
/proc/906/statm: 135720 132901 77 171 0 135547 0
Current children cumulated CPU time (s) 9338.01
Current children cumulated vsize (KiB) 548236
[startup+9402.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/67 922
/proc/meminfo: memFree=1269576/2055920 swapFree=4179928/4192956
[pid=900] ppid=898 vsize=5356 CPUtime=7.58
/proc/900/stat : 900 (SatELiteGTI) S 898 900 863 0 -1 4194304 336 42189 0 0 0 0 729 29 16 0 1 0 313732004 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/900/statm: 1339 239 197 169 0 50 0
[pid=906] ppid=900 vsize=544076 CPUtime=9390.4
/proc/906/stat : 906 (minisat_static) R 900 900 863 0 -1 4194304 133261 0 0 0 938903 137 0 0 25 0 1 0 313732765 557133824 133230 1992294400 134512640 135215339 4294956240 18446744073709551615 134528688 0 0 4096 3 0 0 0 17 0 0 0
/proc/906/statm: 136019 133230 77 171 0 135846 0
Current children cumulated CPU time (s) 9397.98
Current children cumulated vsize (KiB) 549432
[startup+9462.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/67 922
/proc/meminfo: memFree=1267848/2055920 swapFree=4179928/4192956
[pid=900] ppid=898 vsize=5356 CPUtime=7.58
/proc/900/stat : 900 (SatELiteGTI) S 898 900 863 0 -1 4194304 336 42189 0 0 0 0 729 29 16 0 1 0 313732004 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/900/statm: 1339 239 197 169 0 50 0
[pid=906] ppid=900 vsize=545792 CPUtime=9450.38
/proc/906/stat : 906 (minisat_static) R 900 900 863 0 -1 4194304 133681 0 0 0 944900 138 0 0 25 0 1 0 313732765 558891008 133650 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/906/statm: 136448 133650 77 171 0 136275 0
Current children cumulated CPU time (s) 9457.96
Current children cumulated vsize (KiB) 551148
[startup+9522.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/67 922
/proc/meminfo: memFree=1266184/2055920 swapFree=4179928/4192956
[pid=900] ppid=898 vsize=5356 CPUtime=7.58
/proc/900/stat : 900 (SatELiteGTI) S 898 900 863 0 -1 4194304 336 42189 0 0 0 0 729 29 16 0 1 0 313732004 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/900/statm: 1339 239 197 169 0 50 0
[pid=906] ppid=900 vsize=547376 CPUtime=9510.34
/proc/906/stat : 906 (minisat_static) R 900 900 863 0 -1 4194304 134114 0 0 0 950896 138 0 0 25 0 1 0 313732765 560513024 134083 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/906/statm: 136844 134083 77 171 0 136671 0
Current children cumulated CPU time (s) 9517.92
Current children cumulated vsize (KiB) 552732
[startup+9582.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/67 922
/proc/meminfo: memFree=1264200/2055920 swapFree=4179928/4192956
[pid=900] ppid=898 vsize=5356 CPUtime=7.58
/proc/900/stat : 900 (SatELiteGTI) S 898 900 863 0 -1 4194304 336 42189 0 0 0 0 729 29 16 0 1 0 313732004 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/900/statm: 1339 239 197 169 0 50 0
[pid=906] ppid=900 vsize=549536 CPUtime=9570.32
/proc/906/stat : 906 (minisat_static) R 900 900 863 0 -1 4194304 134622 0 0 0 956893 139 0 0 25 0 1 0 313732765 562724864 134591 1992294400 134512640 135215339 4294956240 18446744073709551615 134528708 0 0 4096 3 0 0 0 17 0 0 0
/proc/906/statm: 137384 134591 77 171 0 137211 0
Current children cumulated CPU time (s) 9577.9
Current children cumulated vsize (KiB) 554892
[startup+9642.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/67 924
/proc/meminfo: memFree=1261896/2055920 swapFree=4179928/4192956
[pid=900] ppid=898 vsize=5356 CPUtime=7.58
/proc/900/stat : 900 (SatELiteGTI) S 898 900 863 0 -1 4194304 336 42189 0 0 0 0 729 29 16 0 1 0 313732004 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/900/statm: 1339 239 197 169 0 50 0
[pid=906] ppid=900 vsize=551676 CPUtime=9630.29
/proc/906/stat : 906 (minisat_static) R 900 900 863 0 -1 4194304 135140 0 0 0 962890 139 0 0 25 0 1 0 313732765 564916224 135109 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/906/statm: 137919 135109 77 171 0 137746 0
Current children cumulated CPU time (s) 9637.87
Current children cumulated vsize (KiB) 557032
[startup+9702.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/67 924
/proc/meminfo: memFree=1259784/2055920 swapFree=4179928/4192956
[pid=900] ppid=898 vsize=5356 CPUtime=7.58
/proc/900/stat : 900 (SatELiteGTI) S 898 900 863 0 -1 4194304 336 42189 0 0 0 0 729 29 16 0 1 0 313732004 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/900/statm: 1339 239 197 169 0 50 0
[pid=906] ppid=900 vsize=553864 CPUtime=9690.27
/proc/906/stat : 906 (minisat_static) R 900 900 863 0 -1 4194304 135683 0 0 0 968887 140 0 0 25 0 1 0 313732765 567156736 135652 1992294400 134512640 135215339 4294956240 18446744073709551615 134539780 0 0 4096 3 0 0 0 17 0 0 0
/proc/906/statm: 138466 135652 77 171 0 138293 0
Current children cumulated CPU time (s) 9697.85
Current children cumulated vsize (KiB) 559220
[startup+9762.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/67 924
/proc/meminfo: memFree=1257480/2055920 swapFree=4179928/4192956
[pid=900] ppid=898 vsize=5356 CPUtime=7.58
/proc/900/stat : 900 (SatELiteGTI) S 898 900 863 0 -1 4194304 336 42189 0 0 0 0 729 29 16 0 1 0 313732004 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/900/statm: 1339 239 197 169 0 50 0
[pid=906] ppid=900 vsize=556048 CPUtime=9750.25
/proc/906/stat : 906 (minisat_static) R 900 900 863 0 -1 4194304 136252 0 0 0 974884 141 0 0 25 0 1 0 313732765 569393152 136221 1992294400 134512640 135215339 4294956240 18446744073709551615 134528691 0 0 4096 3 0 0 0 17 0 0 0
/proc/906/statm: 139012 136221 77 171 0 138839 0
Current children cumulated CPU time (s) 9757.83
Current children cumulated vsize (KiB) 561404
[startup+9822.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/67 924
/proc/meminfo: memFree=1254792/2055920 swapFree=4179928/4192956
[pid=900] ppid=898 vsize=5356 CPUtime=7.58
/proc/900/stat : 900 (SatELiteGTI) S 898 900 863 0 -1 4194304 336 42189 0 0 0 0 729 29 16 0 1 0 313732004 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/900/statm: 1339 239 197 169 0 50 0
[pid=906] ppid=900 vsize=558968 CPUtime=9810.22
/proc/906/stat : 906 (minisat_static) R 900 900 863 0 -1 4194304 136909 0 0 0 980880 142 0 0 25 0 1 0 313732765 572383232 136878 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/906/statm: 139742 136878 77 171 0 139569 0
Current children cumulated CPU time (s) 9817.8
Current children cumulated vsize (KiB) 564324
[startup+9882.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/67 924
/proc/meminfo: memFree=1252744/2055920 swapFree=4179928/4192956
[pid=900] ppid=898 vsize=5356 CPUtime=7.58
/proc/900/stat : 900 (SatELiteGTI) S 898 900 863 0 -1 4194304 336 42189 0 0 0 0 729 29 16 0 1 0 313732004 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/900/statm: 1339 239 197 169 0 50 0
[pid=906] ppid=900 vsize=560948 CPUtime=9870.2
/proc/906/stat : 906 (minisat_static) R 900 900 863 0 -1 4194304 137422 0 0 0 986878 142 0 0 25 0 1 0 313732765 574410752 137391 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/906/statm: 140237 137391 77 171 0 140064 0
Current children cumulated CPU time (s) 9877.78
Current children cumulated vsize (KiB) 566304
[startup+9942.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/67 924
/proc/meminfo: memFree=1250824/2055920 swapFree=4179928/4192956
[pid=900] ppid=898 vsize=5356 CPUtime=7.58
/proc/900/stat : 900 (SatELiteGTI) S 898 900 863 0 -1 4194304 336 42189 0 0 0 0 729 29 16 0 1 0 313732004 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/900/statm: 1339 239 197 169 0 50 0
[pid=906] ppid=900 vsize=563028 CPUtime=9930.17
/proc/906/stat : 906 (minisat_static) R 900 900 863 0 -1 4194304 137922 0 0 0 992875 142 0 0 25 0 1 0 313732765 576540672 137891 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 0 0 0
/proc/906/statm: 140757 137891 77 171 0 140584 0
Current children cumulated CPU time (s) 9937.75
Current children cumulated vsize (KiB) 568384
[startup+10002.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/67 924
/proc/meminfo: memFree=1249352/2055920 swapFree=4179928/4192956
[pid=900] ppid=898 vsize=5356 CPUtime=7.58
/proc/900/stat : 900 (SatELiteGTI) S 898 900 863 0 -1 4194304 336 42189 0 0 0 0 729 29 16 0 1 0 313732004 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/900/statm: 1339 239 197 169 0 50 0
[pid=906] ppid=900 vsize=564360 CPUtime=9990.15
/proc/906/stat : 906 (minisat_static) R 900 900 863 0 -1 4194304 138284 0 0 0 998872 143 0 0 25 0 1 0 313732765 577904640 138253 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/906/statm: 141090 138253 77 171 0 140917 0
Current children cumulated CPU time (s) 9997.73
Current children cumulated vsize (KiB) 569716
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+10004.6 s]
/proc/loadavg: 1.00 1.00 0.91 2/67 924
/proc/meminfo: memFree=1249288/2055920 swapFree=4179928/4192956
[pid=900] ppid=898 vsize=5356 CPUtime=7.58
/proc/900/stat : 900 (SatELiteGTI) S 898 900 863 0 -1 4194304 336 42189 0 0 0 0 729 29 16 0 1 0 313732004 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/900/statm: 1339 239 197 169 0 50 0
[pid=906] ppid=900 vsize=564492 CPUtime=9992.45
/proc/906/stat : 906 (minisat_static) R 900 900 863 0 -1 4194304 138305 0 0 0 999102 143 0 0 25 0 1 0 313732765 578039808 138274 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/906/statm: 141123 138274 77 171 0 140950 0
Current children cumulated CPU time (s) 10000
Current children cumulated vsize (KiB) 569848
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 900 and gives
# childrusage.ru_utime.tv_sec=7
# childrusage.ru_utime.tv_usec=300890
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=293955
# CPU time returned by wait4() is 7.59485
# while last known CPU time is 10000
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 10004.6
CPU time (s): 10000
CPU user time (s): 9998.31
CPU system time (s): 1.72
CPU usage (%): 99.9542
Max. virtual memory (cumulated for all children) (KiB): 569848
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.30089
system time used= 0.293955
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42525
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= 15
involuntary context switches= 56
runsolver used 10.6994 second user time and 25.8151 second system time
The end
Begin job on node76 at 2009-05-21 00:03:39
IDJOB=1837052
IDBENCH=20368
IDSOLVER=674
FILE ID=node76/1837052-1242857017
PBS_JOBID= 9328443
Free space on /tmp= 66140 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT07/industrial/anbulagan/hard-unsat/total-5-15-u.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1837052-1242857017/watcher-1837052-1242857017 -o /tmp/evaluation-result-1837052-1242857017/solver-1837052-1242857017 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837052-1242857017.cnf
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= c438ce1eb243ac0a49869eda1166f28f
RANDOM SEED=2016091326
node76.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.220
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.220
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1823864 kB
Buffers: 36840 kB
Cached: 156544 kB
SwapCached: 7352 kB
Active: 67136 kB
Inactive: 134976 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1823864 kB
SwapTotal: 4192956 kB
SwapFree: 4179928 kB
Dirty: 19780 kB
Writeback: 0 kB
Mapped: 13780 kB
Slab: 15840 kB
Committed_AS: 1036996 kB
PageTables: 1436 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66124 MiB
End job on node76 at 2009-05-21 02:50:25