0.00/0.00 c Parsing...
0.00/0.90 c ==============================================================================
0.00/0.90 c | | ORIGINAL | LEARNT | |
0.00/0.90 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.90 c ==============================================================================
0.00/0.90 c | 0 | 1169811 2731363 | 350943 0 0 nan | 0.000 % |
8.18/8.24 c | 0 | 742042 2048362 | -- 0 -- -- | -- | -220822/-216972
8.18/8.25 c ==============================================================================
8.18/8.25 c Result : #vars: 129041 #clauses: 742042 #literals: 2048362
8.18/8.25 c CPU time: 7.97179 s
8.18/8.25 c ==============================================================================
8.88/8.96 c This is MiniSat 2.0 beta
8.88/8.96 c WARNING: for repeatability, setting FPU to use double precision
8.88/8.96 c ============================[ Problem Statistics ]=============================
8.88/8.96 c | |
8.88/8.97 c | Number of variables: 129041 |
8.88/8.97 c | Number of clauses: 742042 |
8.96/9.41 c | Parsing time: 0.39 s |
8.96/9.43 c ============================[ Search Statistics ]==============================
8.96/9.43 c | Conflicts | ORIGINAL | LEARNT | Progress |
8.96/9.43 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
8.96/9.43 c ===============================================================================
8.96/9.43 c | 0 | 129041 742042 2048362 | 247347 0 nan | 0.000 % |
8.96/9.77 c | 100 | 128962 742042 2048362 | 247347 97 131 | 2.443 % |
9.88/9.91 c | 200 | 128962 742042 2048362 | 247347 197 84 | 2.443 % |
9.98/10.09 c | 303 | 128962 742042 2048362 | 247347 300 68 | 2.443 % |
10.38/10.44 c | 415 | 128875 742042 2048362 | 247347 409 63 | 3.078 % |
10.67/10.70 c | 515 | 117766 673684 1873253 | 247347 500 62 | 8.738 % |
10.77/10.87 c | 625 | 117766 673684 1873253 | 247347 610 64 | 8.738 % |
10.98/11.07 c | 746 | 117728 673684 1873253 | 247347 730 68 | 9.201 % |
11.07/11.15 c | 846 | 117728 673684 1873253 | 247347 830 67 | 9.201 % |
11.37/11.41 c | 957 | 117728 673684 1873253 | 247347 941 71 | 9.201 % |
11.87/11.96 c | 1079 | 113078 647983 1808936 | 247347 1048 67 | 12.870 % |
12.17/12.24 c | 1214 | 112288 647983 1808936 | 247347 1180 62 | 14.829 % |
12.57/12.68 c | 1314 | 112265 647983 1808936 | 247347 1276 60 | 14.943 % |
12.87/12.91 c | 1424 | 112265 647983 1808936 | 247347 1386 60 | 14.943 % |
13.08/13.17 c | 1547 | 109759 626174 1753606 | 247347 1486 63 | 14.943 % |
13.37/13.48 c | 1680 | 109759 626174 1753606 | 247347 1619 63 | 14.943 % |
13.67/13.75 c | 1826 | 109759 626174 1753606 | 247347 1765 67 | 14.943 % |
13.77/13.83 c | 1929 | 109759 626174 1753606 | 247347 1868 68 | 14.943 % |
13.97/14.07 c | 2045 | 109759 626174 1753606 | 247347 1984 66 | 14.943 % |
14.18/14.29 c | 2166 | 109346 623538 1746664 | 247347 2102 65 | 15.507 % |
14.37/14.47 c | 2299 | 109336 623538 1746664 | 247347 2235 63 | 15.507 % |
14.68/14.76 c | 2445 | 109329 623538 1746664 | 247347 2379 61 | 15.526 % |
14.88/14.92 c | 2610 | 109329 623538 1746664 | 247347 2544 60 | 15.526 % |
14.88/15.00 c | 2711 | 109329 623538 1746664 | 247347 2645 61 | 15.526 % |
15.29/15.35 c | 2821 | 109284 623538 1746664 | 247347 2751 61 | 15.992 % |
15.58/15.66 c | 2942 | 108405 618325 1733741 | 247347 2869 60 | 15.992 % |
15.78/15.80 c | 3076 | 108405 618325 1733741 | 247347 3003 59 | 15.992 % |
16.08/16.15 c | 3222 | 108405 618325 1733741 | 247347 3149 59 | 15.992 % |
16.38/16.46 c | 3388 | 108296 618325 1733741 | 247347 3313 59 | 16.952 % |
16.58/16.67 c | 3565 | 108296 618325 1733741 | 247347 3490 65 | 16.952 % |
16.68/16.79 c | 3668 | 107166 610715 1713674 | 247347 3588 65 | 16.952 % |
16.88/16.98 c | 3778 | 107166 610715 1713674 | 247347 3698 65 | 16.952 % |
16.98/17.06 c | 3900 | 107164 610715 1713674 | 247347 3818 66 | 16.954 % |
17.08/17.11 c | 4033 | 107141 610715 1713674 | 247347 3946 64 | 17.022 % |
17.28/17.31 c | 4179 | 107139 610715 1713674 | 247347 4091 63 | 17.035 % |
17.48/17.50 c | 4339 | 107139 610715 1713674 | 247347 4251 64 | 17.035 % |
17.88/17.91 c | 4515 | 107114 610715 1713674 | 247347 4426 63 | 17.208 % |
18.18/18.29 c | 4711 | 106642 608620 1708145 | 247347 4616 63 | 19.136 % |
18.28/18.37 c | 4813 | 106642 608620 1708145 | 247347 4718 63 | 19.136 % |
18.58/18.64 c | 4925 | 106557 608620 1708145 | 247347 4827 64 | 20.644 % |
18.68/18.78 c | 5046 | 106556 608620 1708145 | 247347 4947 64 | 20.784 % |
18.88/18.91 c | 5179 | 106556 608620 1708145 | 247347 5080 66 | 20.784 % |
18.98/19.02 c | 5325 | 106556 608620 1708145 | 247347 5226 67 | 20.784 % |
19.28/19.38 c | 5485 | 106377 608620 1708145 | 247347 5384 67 | 21.181 % |
19.68/19.76 c | 5663 | 101657 576831 1625483 | 247347 5527 66 | 21.385 % |
20.08/20.18 c | 5856 | 101628 576831 1625483 | 247347 5717 67 | 21.441 % |
20.38/20.43 c | 6071 | 101627 576831 1625483 | 247347 5931 72 | 21.442 % |
20.48/20.60 c | 6171 | 101627 576831 1625483 | 247347 6031 72 | 21.442 % |
20.78/20.81 c | 6282 | 101372 575090 1621550 | 247347 6136 72 | 21.442 % |
20.98/21.00 c | 6403 | 101372 575090 1621550 | 247347 6257 73 | 21.442 % |
21.08/21.17 c | 6540 | 101372 575090 1621550 | 247347 6394 74 | 21.442 % |
21.28/21.34 c | 6687 | 101372 575090 1621550 | 247347 6541 74 | 21.442 % |
21.58/21.69 c | 6849 | 101372 575090 1621550 | 247347 6703 76 | 21.442 % |
21.88/21.91 c | 7028 | 101372 575090 1621550 | 247347 6882 79 | 21.442 % |
21.98/22.08 c | 7229 | 101372 575090 1621550 | 247347 7083 81 | 21.442 % |
22.28/22.34 c | 7444 | 100944 573142 1617654 | 247347 7272 80 | 21.774 % |
22.48/22.55 c | 7677 | 100944 573142 1617654 | 247347 7505 82 | 21.774 % |
22.58/22.63 c | 7778 | 100944 573142 1617654 | 247347 7606 82 | 21.774 % |
22.68/22.71 c | 7889 | 100944 573142 1617654 | 247347 7717 82 | 21.774 % |
22.78/22.85 c | 8010 | 100944 573142 1617654 | 247347 7838 82 | 21.774 % |
22.88/22.98 c | 8143 | 100944 573142 1617654 | 247347 7971 82 | 21.774 % |
23.08/23.19 c | 8290 | 100943 573142 1617654 | 247347 8117 82 | 21.869 % |
23.28/23.40 c | 8451 | 100938 573142 1617654 | 247347 8277 82 | 22.105 % |
23.48/23.56 c | 8629 | 100938 573142 1617654 | 247347 8455 83 | 22.105 % |
23.67/23.76 c | 8824 | 100516 571237 1613611 | 247347 8639 84 | 22.105 % |
23.87/23.96 c | 9042 | 100516 571237 1613611 | 247347 8857 84 | 22.105 % |
24.18/24.21 c | 9276 | 100516 571237 1613611 | 247347 9091 86 | 22.105 % |
24.47/24.53 c | 9533 | 100516 571237 1613611 | 247347 9348 87 | 22.105 % |
24.57/24.64 c | 9634 | 100516 571237 1613611 | 247347 9449 87 | 22.105 % |
24.67/24.77 c | 9744 | 100516 571237 1613611 | 247347 9559 88 | 22.105 % |
24.77/24.88 c | 9865 | 100516 571237 1613611 | 247347 9680 88 | 22.105 % |
24.97/25.05 c | 9998 | 100516 571237 1613611 | 247347 9813 88 | 22.105 % |
25.18/25.28 c | 10145 | 100499 571117 1613288 | 2147483647 9957 87 | 22.119 % |
25.37/25.45 c | 10305 | 100499 571117 1613288 | 2147483647 10117 87 | 22.119 % |
25.57/25.63 c | 10481 | 100499 571117 1613288 | 2147483647 10293 87 | 22.119 % |
25.87/25.93 c | 10674 | 100499 571117 1613288 | 2147483647 10486 87 | 22.119 % |
26.07/26.16 c | 10886 | 100499 571117 1613288 | 2147483647 10698 88 | 22.119 % |
26.38/26.49 c | 11119 | 100499 571117 1613288 | 2147483647 10931 87 | 22.119 % |
26.97/27.01 c | 11375 | 100498 571117 1613288 | 2147483647 11186 87 | 22.281 % |
27.77/27.84 c | 11656 | 100289 569805 1609850 | 2147483647 11467 88 | 22.281 % |
28.17/28.21 c | 11756 | 100289 569805 1609850 | 2147483647 11567 88 | 22.281 % |
28.27/28.30 c | 11866 | 100289 569805 1609850 | 2147483647 11677 88 | 22.281 % |
28.48/28.56 c | 11987 | 100276 569805 1609850 | 2147483647 11797 89 | 22.299 % |
28.77/28.80 c | 12120 | 100276 569805 1609850 | 2147483647 11930 89 | 22.299 % |
28.97/29.07 c | 12267 | 100276 569805 1609850 | 2147483647 12077 89 | 22.299 % |
29.17/29.28 c | 12427 | 100266 569656 1609470 | 2147483647 12228 89 | 22.299 % |
29.47/29.52 c | 12607 | 100266 569656 1609470 | 2147483647 12408 90 | 22.299 % |
30.07/30.11 c | 12801 | 100257 569656 1609470 | 2147483647 12599 90 | 22.692 % |
30.47/30.57 c | 13013 | 100257 569656 1609470 | 2147483647 12811 90 | 22.692 % |
30.97/31.05 c | 13246 | 100165 569656 1609470 | 2147483647 13041 90 | 22.832 % |
31.47/31.54 c | 13503 | 99499 565590 1599275 | 2147483647 13289 89 | 23.030 % |
31.78/31.84 c | 13784 | 99499 565590 1599275 | 2147483647 13570 89 | 23.030 % |
32.38/32.40 c | 14095 | 99290 565590 1599275 | 2147483647 13877 88 | 23.420 % |
32.68/32.71 c | 14196 | 99290 565590 1599275 | 2147483647 13978 89 | 23.420 % |
32.77/32.88 c | 14307 | 99285 565590 1599275 | 2147483647 14087 89 | 23.443 % |
32.98/33.09 c | 14428 | 99285 565590 1599275 | 2147483647 14208 89 | 23.443 % |
33.27/33.38 c | 14561 | 98790 560953 1587556 | 2147483647 14293 89 | 23.443 % |
33.47/33.57 c | 14707 | 98790 560953 1587556 | 2147483647 14439 90 | 23.443 % |
33.67/33.77 c | 14867 | 98790 560953 1587556 | 2147483647 14599 89 | 23.443 % |
33.87/33.98 c | 15043 | 98790 560953 1587556 | 2147483647 14775 90 | 23.443 % |
34.17/34.20 c | 15236 | 98768 560953 1587556 | 2147483647 14967 90 | 23.513 % |
34.77/34.87 c | 15451 | 98739 560953 1587556 | 2147483647 15182 91 | 23.513 % |
35.07/35.19 c | 15686 | 98732 560953 1587556 | 2147483647 15416 92 | 23.527 % |
35.47/35.50 c | 15942 | 98732 560953 1587556 | 2147483647 15672 92 | 23.527 % |
35.97/36.03 c | 16225 | 98681 560387 1586043 | 2147483647 15952 92 | 23.527 % |
36.47/36.51 c | 16534 | 98681 560387 1586043 | 2147483647 16261 91 | 23.527 % |
37.07/37.11 c | 16873 | 98592 560387 1586043 | 2147483647 16595 91 | 23.689 % |
37.27/37.34 c | 16974 | 98592 560387 1586043 | 2147483647 16696 91 | 23.689 % |
37.47/37.56 c | 17084 | 98592 560387 1586043 | 2147483647 16806 91 | 23.689 % |
37.67/37.80 c | 17205 | 98592 560387 1586043 | 2147483647 16927 92 | 23.689 % |
37.97/38.08 c | 17341 | 98472 558915 1582290 | 2147483647 16993 92 | 23.689 % |
38.27/38.34 c | 17487 | 98472 558915 1582290 | 2147483647 17139 92 | 23.689 % |
38.57/38.61 c | 17647 | 98472 558915 1582290 | 2147483647 17299 92 | 23.689 % |
38.77/38.84 c | 17829 | 98472 558915 1582290 | 2147483647 17481 91 | 23.689 % |
39.27/39.33 c | 18022 | 98472 558915 1582290 | 2147483647 17674 92 | 23.689 % |
39.66/39.72 c | 18234 | 98448 558915 1582290 | 2147483647 17882 92 | 23.762 % |
40.26/40.30 c | 18468 | 98441 558915 1582290 | 2147483647 18115 92 | 23.763 % |
41.06/41.19 c | 18724 | 98377 558381 1581025 | 2147483647 18344 93 | 23.763 % |
41.56/41.69 c | 19006 | 98377 558381 1581025 | 2147483647 18626 93 | 23.763 % |
42.16/42.25 c | 19315 | 98377 558381 1581025 | 2147483647 18935 93 | 23.763 % |
44.06/44.15 c | 19654 | 98377 558381 1581025 | 2147483647 19274 95 | 23.763 % |
44.86/44.92 c | 20029 | 98245 557634 1579128 | 2147483647 19643 95 | 23.890 % |
45.07/45.20 c | 20130 | 98243 557634 1579128 | 2147483647 19744 95 | 23.890 % |
45.36/45.45 c | 20240 | 98243 557634 1579128 | 2147483647 19854 95 | 23.890 % |
45.56/45.64 c | 20361 | 98243 557634 1579128 | 2147483647 19975 95 | 23.890 % |
45.66/45.77 c | 20495 | 98243 557634 1579128 | 2147483647 20109 95 | 23.890 % |
45.86/45.95 c | 20642 | 98243 557634 1579128 | 2147483647 20256 95 | 23.890 % |
46.66/46.70 c | 20802 | 98242 557634 1579128 | 2147483647 20415 96 | 23.891 % |
47.36/47.43 c | 20979 | 98186 557205 1578033 | 2147483647 20569 98 | 23.912 % |
47.76/47.80 c | 21172 | 98177 557205 1578033 | 2147483647 20761 98 | 23.921 % |
48.16/48.22 c | 21384 | 98176 557205 1578033 | 2147483647 20973 97 | 23.921 % |
48.66/48.74 c | 21617 | 98122 557205 1578033 | 2147483647 21204 97 | 24.236 % |
49.26/49.33 c | 21874 | 98122 557205 1578033 | 2147483647 21461 97 | 24.236 % |
49.86/49.91 c | 22155 | 98122 557205 1578033 | 2147483647 21742 97 | 24.236 % |
50.26/50.34 c | 22467 | 97767 554553 1571146 | 2147483647 22045 98 | 24.236 % |
50.86/50.92 c | 22808 | 97766 554553 1571146 | 2147483647 22385 99 | 24.247 % |
51.66/51.74 c | 23183 | 97726 554553 1571146 | 2147483647 22756 99 | 24.298 % |
53.06/53.14 c | 23594 | 97726 554553 1571146 | 2147483647 23167 102 | 24.298 % |
53.26/53.39 c | 23695 | 97687 554088 1570032 | 2147483647 23263 102 | 24.298 % |
53.56/53.61 c | 23805 | 97687 554088 1570032 | 2147483647 23373 102 | 24.298 % |
53.86/53.93 c | 23926 | 97687 554088 1570032 | 2147483647 23494 103 | 24.298 % |
54.36/54.47 c | 24061 | 97687 554088 1570032 | 2147483647 23629 104 | 24.298 % |
54.66/54.75 c | 24207 | 97687 554088 1570032 | 2147483647 23775 104 | 24.298 % |
55.26/55.32 c | 24368 | 97687 554088 1570032 | 2147483647 23936 105 | 24.298 % |
55.66/55.78 c | 24544 | 97683 554088 1570032 | 2147483647 24109 105 | 24.400 % |
56.15/56.23 c | 24737 | 97674 554088 1570032 | 2147483647 24300 105 | 24.494 % |
56.65/56.70 c | 24951 | 97674 554088 1570032 | 2147483647 24514 105 | 24.494 % |
57.56/57.69 c | 25186 | 97434 552594 1566050 | 2147483647 24744 106 | 24.494 % |
58.06/58.12 c | 25446 | 97433 552594 1566050 | 2147483647 25003 107 | 24.495 % |
58.86/58.94 c | 25727 | 97432 552594 1566050 | 2147483647 25283 108 | 24.495 % |
60.56/60.67 c | 26037 | 97429 552594 1566050 | 2147483647 25590 111 | 24.863 % |
61.36/61.45 c | 26377 | 96954 549516 1557763 | 2147483647 25929 112 | 24.874 % |
61.85/61.94 c | 26751 | 96947 549516 1557763 | 2147483647 26300 111 | 25.088 % |
62.56/62.64 c | 27160 | 96947 549516 1557763 | 2147483647 26709 111 | 25.088 % |
64.45/64.53 c | 27609 | 96936 549516 1557763 | 2147483647 27158 117 | 25.088 % |
64.55/64.69 c | 27712 | 96667 548135 1553825 | 2147483647 27247 117 | 25.088 % |
64.76/64.80 c | 27822 | 96667 548135 1553825 | 2147483647 27357 117 | 25.088 % |
65.06/65.15 c | 27943 | 96667 548135 1553825 | 2147483647 27478 117 | 25.088 % |
65.36/65.49 c | 28078 | 96667 548135 1553825 | 2147483647 27613 117 | 25.088 % |
65.86/65.99 c | 28226 | 96667 548135 1553825 | 2147483647 27761 118 | 25.088 % |
66.56/66.63 c | 28386 | 96666 548135 1553825 | 2147483647 27920 120 | 25.104 % |
67.36/67.46 c | 28562 | 96666 548135 1553825 | 2147483647 28096 122 | 25.104 % |
68.06/68.12 c | 28758 | 96666 548135 1553825 | 2147483647 28292 123 | 25.104 % |
68.26/68.39 c | 28972 | 96616 548135 1553825 | 2147483647 28505 123 | 25.569 % |
69.05/69.12 c | 29206 | 96601 548135 1553825 | 2147483647 28737 123 | 25.592 % |
70.15/70.26 c | 29464 | 96016 543940 1543033 | 2147483647 28974 130 | 25.593 % |
71.25/71.31 c | 29745 | 96011 543940 1543033 | 2147483647 29254 131 | 25.606 % |
71.95/72.02 c | 30055 | 96011 543940 1543033 | 2147483647 29564 133 | 25.606 % |
73.05/73.17 c | 30394 | 96004 543940 1543033 | 2147483647 29902 134 | 25.617 % |
74.65/74.74 c | 30766 | 96002 543940 1543033 | 2147483647 30272 136 | 25.618 % |
75.95/76.03 c | 31175 | 95983 543711 1542426 | 2147483647 30678 138 | 25.636 % |
77.15/77.29 c | 31624 | 95980 543711 1542426 | 2147483647 31125 139 | 25.701 % |
78.95/79.09 c | 32117 | 95980 543711 1542426 | 2147483647 31617 143 | 25.702 % |
79.55/79.67 c | 32217 | 95979 543711 1542426 | 2147483647 31716 144 | 25.710 % |
80.05/80.11 c | 32327 | 95977 543711 1542426 | 2147483647 31824 145 | 25.724 % |
80.35/80.40 c | 32448 | 95832 542571 1539443 | 2147483647 31909 145 | 25.735 % |
80.55/80.63 c | 32581 | 95832 542571 1539443 | 2147483647 32042 144 | 25.735 % |
80.95/81.06 c | 32727 | 95832 542571 1539443 | 2147483647 32188 145 | 25.735 % |
81.75/81.85 c | 32887 | 95830 542571 1539443 | 2147483647 32346 145 | 25.737 % |
82.35/82.42 c | 33063 | 95830 542571 1539443 | 2147483647 32522 146 | 25.737 % |
82.55/82.66 c | 33257 | 95818 542571 1539443 | 2147483647 32715 146 | 26.112 % |
83.25/83.37 c | 33469 | 95775 542571 1539443 | 2147483647 32924 146 | 26.127 % |
84.04/84.12 c | 33702 | 95775 542571 1539443 | 2147483647 33157 147 | 26.127 % |
84.95/85.09 c | 33958 | 95774 542571 1539443 | 2147483647 33411 148 | 26.242 % |
85.75/85.86 c | 34239 | 95770 542571 1539443 | 2147483647 33691 148 | 26.254 % |
86.55/86.69 c | 34548 | 95097 538160 1528243 | 2147483647 33972 149 | 26.313 % |
87.35/87.42 c | 34887 | 95096 538160 1528243 | 2147483647 34310 149 | 26.324 % |
88.44/88.51 c | 35261 | 95095 538160 1528243 | 2147483647 34684 150 | 26.324 % |
89.34/89.48 c | 35671 | 95094 538160 1528243 | 2147483647 35093 150 | 26.335 % |
90.44/90.55 c | 36122 | 95077 538160 1528243 | 2147483647 35540 150 | 26.360 % |
92.25/92.37 c | 36615 | 95010 537554 1526612 | 2147483647 36003 150 | 26.372 % |
94.25/94.39 c | 37157 | 95010 537554 1526612 | 2147483647 36545 153 | 26.372 % |
94.65/94.75 c | 37259 | 95010 537554 1526612 | 2147483647 36647 153 | 26.372 % |
94.85/94.97 c | 37369 | 95010 537554 1526612 | 2147483647 36757 153 | 26.372 % |
95.15/95.22 c | 37490 | 95008 537554 1526612 | 2147483647 36876 153 | 26.460 % |
95.25/95.38 c | 37628 | 95008 537554 1526612 | 2147483647 37014 153 | 26.460 % |
96.14/96.20 c | 37775 | 94970 537554 1526612 | 2147483647 37161 154 | 26.460 % |
97.34/97.42 c | 37935 | 94970 537554 1526612 | 2147483647 37321 156 | 26.460 % |
97.85/97.98 c | 38111 | 94970 537554 1526612 | 2147483647 37497 156 | 26.460 % |
98.54/98.61 c | 38304 | 94970 537554 1526612 | 2147483647 37690 156 | 26.460 % |
99.54/99.66 c | 38516 | 94970 537554 1526612 | 2147483647 37902 157 | 26.460 % |
100.14/100.20 c | 38749 | 94895 536724 1524463 | 2147483647 37975 157 | 26.468 % |
100.94/101.05 c | 39006 | 94895 536724 1524463 | 2147483647 38232 159 | 26.468 % |
101.44/101.55 c | 39287 | 94895 536724 1524463 | 2147483647 38513 159 | 26.468 % |
102.24/102.39 c | 39596 | 94895 536724 1524463 | 2147483647 38822 160 | 26.468 % |
102.84/102.95 c | 39936 | 94895 536724 1524463 | 2147483647 39162 160 | 26.468 % |
104.44/104.55 c | 40309 | 94895 536724 1524463 | 2147483647 39535 162 | 26.468 % |
105.84/105.97 c | 40718 | 94895 536724 1524463 | 2147483647 39943 164 | 26.476 % |
107.65/107.73 c | 41167 | 94894 536724 1524463 | 2147483647 40391 166 | 26.489 % |
109.84/109.95 c | 41661 | 94819 536223 1523145 | 2147483647 40875 169 | 26.740 % |
112.04/112.11 c | 42203 | 94819 536223 1523145 | 2147483647 41417 173 | 26.740 % |
113.44/113.59 c | 42800 | 94819 536223 1523145 | 2147483647 42014 173 | 26.740 % |
113.64/113.77 c | 42900 | 94819 536223 1523145 | 2147483647 42114 173 | 26.740 % |
114.14/114.28 c | 43011 | 94819 536223 1523145 | 2147483647 42225 173 | 26.740 % |
114.44/114.55 c | 43132 | 94819 536223 1523145 | 2147483647 42346 173 | 26.740 % |
114.84/114.94 c | 43265 | 94818 536223 1523145 | 2147483647 42478 172 | 26.740 % |
115.14/115.27 c | 43412 | 94815 536223 1523145 | 2147483647 42624 172 | 26.764 % |
115.64/115.72 c | 43573 | 94812 536223 1523145 | 2147483647 42782 172 | 26.774 % |
116.24/116.32 c | 43751 | 94809 536223 1523145 | 2147483647 42959 172 | 26.774 % |
116.94/117.03 c | 43944 | 94809 536223 1523145 | 2147483647 43152 174 | 26.774 % |
117.74/117.87 c | 44157 | 94491 534445 1519100 | 2147483647 43343 175 | 26.774 % |
118.74/118.84 c | 44391 | 94491 534445 1519100 | 2147483647 43577 176 | 26.774 % |
119.54/119.66 c | 44647 | 94490 534445 1519100 | 2147483647 43832 177 | 26.775 % |
120.04/120.19 c | 44934 | 94489 534445 1519100 | 2147483647 44118 176 | 26.776 % |
120.84/120.96 c | 45244 | 94489 534445 1519100 | 2147483647 44428 178 | 26.776 % |
122.13/122.21 c | 45583 | 94489 534445 1519100 | 2147483647 44767 179 | 26.776 % |
122.83/122.99 c | 45957 | 94488 534445 1519100 | 2147483647 45140 178 | 26.777 % |
123.64/123.76 c | 46367 | 94488 534445 1519100 | 2147483647 45550 177 | 26.777 % |
124.84/124.98 c | 46817 | 94488 534445 1519100 | 2147483647 46000 178 | 26.777 % |
126.44/126.58 c | 47310 | 94482 534445 1519100 | 2147483647 46489 178 | 26.790 % |
129.03/129.19 c | 47854 | 94470 534324 1518789 | 2147483647 47030 180 | 26.793 % |
132.02/132.14 c | 48450 | 94468 534324 1518789 | 2147483647 47624 182 | 26.795 % |
133.52/133.68 c | 49106 | 94445 534324 1518789 | 2147483647 48277 182 | 26.857 % |
133.92/134.01 c | 49206 | 94445 534324 1518789 | 2147483647 48377 182 | 26.857 % |
134.12/134.22 c | 49316 | 94445 534324 1518789 | 2147483647 48487 182 | 26.857 % |
134.32/134.40 c | 49437 | 94445 534324 1518789 | 2147483647 48608 182 | 26.857 % |
134.52/134.64 c | 49570 | 94445 534324 1518789 | 2147483647 48741 181 | 26.857 % |
134.82/134.92 c | 49716 | 94444 534324 1518789 | 2147483647 48886 181 | 26.858 % |
135.12/135.21 c | 49877 | 94391 534324 1518789 | 2147483647 49046 181 | 26.918 % |
135.72/135.86 c | 50053 | 94384 534324 1518789 | 2147483647 49222 181 | 26.918 % |
136.02/136.18 c | 50246 | 94384 534324 1518789 | 2147483647 49415 181 | 26.918 % |
136.72/136.86 c | 50460 | 94384 534324 1518789 | 2147483647 49629 182 | 26.918 % |
137.32/137.45 c | 50693 | 94306 533486 1516787 | 2147483647 49826 182 | 26.918 % |
137.62/137.78 c | 50953 | 94306 533486 1516787 | 2147483647 50086 182 | 26.918 % |
139.41/139.56 c | 51236 | 94306 533486 1516787 | 2147483647 50369 184 | 26.918 % |
141.32/141.41 c | 51545 | 94306 533486 1516787 | 2147483647 50678 187 | 26.918 % |
142.72/142.80 c | 51884 | 94306 533486 1516787 | 2147483647 51017 188 | 26.918 % |
143.22/143.35 c | 52257 | 94306 533486 1516787 | 2147483647 51390 187 | 26.918 % |
144.22/144.34 c | 52666 | 94277 533486 1516787 | 2147483647 51797 187 | 27.043 % |
146.22/146.35 c | 53115 | 94274 533486 1516787 | 2147483647 52245 190 | 27.344 % |
147.51/147.68 c | 53610 | 94273 533486 1516787 | 2147483647 52739 191 | 27.345 % |
150.22/150.34 c | 54152 | 94273 533486 1516787 | 2147483647 53281 194 | 27.345 % |
152.21/152.34 c | 54749 | 93755 529918 1507109 | 2147483647 53875 197 | 27.345 % |
154.41/154.56 c | 55404 | 93750 529918 1507109 | 2147483647 54529 199 | 27.368 % |
156.61/156.79 c | 56125 | 93749 529918 1507109 | 2147483647 55249 201 | 27.375 % |
157.12/157.28 c | 56225 | 93741 529918 1507109 | 2147483647 55346 201 | 27.457 % |
157.51/157.68 c | 56335 | 93741 529918 1507109 | 2147483647 55456 201 | 27.457 % |
157.81/157.92 c | 56456 | 93741 529918 1507109 | 2147483647 55577 200 | 27.457 % |
158.22/158.32 c | 56590 | 93741 529918 1507109 | 2147483647 55711 201 | 27.457 % |
158.81/158.97 c | 56738 | 93741 529918 1507109 | 2147483647 55859 201 | 27.457 % |
159.91/160.00 c | 56898 | 93741 529918 1507109 | 2147483647 56019 202 | 27.457 % |
160.11/160.28 c | 57074 | 93741 529918 1507109 | 2147483647 56195 202 | 27.457 % |
160.51/160.68 c | 57270 | 93741 529918 1507109 | 2147483647 56391 202 | 27.457 % |
160.81/160.92 c | 57483 | 93740 529918 1507109 | 2147483647 56603 201 | 27.458 % |
161.41/161.50 c | 57716 | 93740 529918 1507109 | 2147483647 56836 201 | 27.458 % |
162.72/162.84 c | 57972 | 93740 529918 1507109 | 2147483647 57092 202 | 27.458 % |
163.72/163.83 c | 58253 | 93738 529918 1507109 | 2147483647 57371 203 | 27.459 % |
164.92/165.01 c | 58563 | 93738 529918 1507109 | 2147483647 57681 203 | 27.459 % |
165.92/166.05 c | 58904 | 93606 529150 1505251 | 2147483647 58000 203 | 27.463 % |
166.91/167.07 c | 59278 | 93605 529150 1505251 | 2147483647 58373 204 | 27.466 % |
167.81/167.95 c | 59687 | 93605 529150 1505251 | 2147483647 58782 204 | 27.466 % |
169.71/169.82 c | 60139 | 93602 529150 1505251 | 2147483647 59232 206 | 27.478 % |
171.61/171.72 c | 60634 | 93596 529150 1505251 | 2147483647 59727 209 | 27.478 % |
172.62/172.79 c | 61176 | 93595 529150 1505251 | 2147483647 60268 209 | 27.479 % |
176.20/176.35 c | 61774 | 93595 529150 1505251 | 2147483647 60866 214 | 27.479 % |
178.21/178.36 c | 62429 | 93595 529150 1505251 | 2147483647 61521 215 | 27.479 % |
181.31/181.40 c | 63149 | 93592 529150 1505251 | 2147483647 62238 218 | 27.483 % |
183.70/183.89 c | 63942 | 93592 529150 1505251 | 2147483647 63031 220 | 27.483 % |
184.00/184.18 c | 64042 | 93577 528978 1504822 | 2147483647 63126 220 | 27.483 % |
184.30/184.46 c | 64154 | 93577 528978 1504822 | 2147483647 63238 220 | 27.483 % |
184.50/184.65 c | 64275 | 93577 528978 1504822 | 2147483647 63358 220 | 27.484 % |
185.00/185.12 c | 64408 | 93576 528978 1504822 | 2147483647 63491 219 | 27.484 % |
185.80/185.95 c | 64554 | 93576 528978 1504822 | 2147483647 63637 220 | 27.484 % |
186.40/186.54 c | 64714 | 93575 528978 1504822 | 2147483647 63796 220 | 27.484 % |
186.80/186.96 c | 64891 | 93575 528978 1504822 | 2147483647 63973 220 | 27.484 % |
187.70/187.89 c | 65084 | 93575 528978 1504822 | 2147483647 64166 221 | 27.484 % |
188.90/189.10 c | 65296 | 93575 528978 1504822 | 2147483647 64378 221 | 27.484 % |
190.11/190.22 c | 65529 | 93575 528978 1504822 | 2147483647 64611 222 | 27.484 % |
191.00/191.17 c | 65785 | 93574 528978 1504822 | 2147483647 64866 223 | 27.485 % |
192.10/192.24 c | 66066 | 93574 528978 1504822 | 2147483647 65147 223 | 27.485 % |
193.10/193.27 c | 66375 | 93574 528978 1504822 | 2147483647 65456 223 | 27.485 % |
194.60/194.73 c | 66715 | 93574 528978 1504822 | 2147483647 65796 224 | 27.485 % |
195.79/195.94 c | 67087 | 93574 528978 1504822 | 2147483647 66168 224 | 27.485 % |
196.81/196.95 c | 67497 | 93566 528978 1504822 | 2147483647 66573 224 | 27.501 % |
197.50/197.60 c | 67946 | 93565 528978 1504822 | 2147483647 67021 223 | 27.501 % |
199.30/199.41 c | 68440 | 93564 528978 1504822 | 2147483647 67515 224 | 27.501 % |
201.10/201.29 c | 68982 | 93564 528978 1504822 | 2147483647 68057 224 | 27.501 % |
203.49/203.69 c | 69580 | 93564 528978 1504822 | 2147483647 68655 226 | 27.501 % |
206.09/206.28 c | 70235 | 93553 528838 1504478 | 2147483647 69305 227 | 27.501 % |
209.90/210.04 c | 70959 | 93553 528838 1504478 | 2147483647 70029 234 | 27.501 % |
213.39/213.58 c | 71751 | 93553 528838 1504478 | 2147483647 70821 237 | 27.501 % |
217.30/217.45 c | 72622 | 93553 528838 1504478 | 2147483647 71692 239 | 27.501 % |
217.60/217.73 c | 72722 | 93553 528838 1504478 | 2147483647 71792 239 | 27.501 % |
217.80/217.94 c | 72832 | 93553 528838 1504478 | 2147483647 71902 238 | 27.501 % |
218.00/218.14 c | 72953 | 93553 528838 1504478 | 2147483647 72023 238 | 27.501 % |
218.59/218.72 c | 73088 | 93553 528838 1504478 | 2147483647 72158 238 | 27.501 % |
219.09/219.22 c | 73234 | 93553 528838 1504478 | 2147483647 72304 238 | 27.501 % |
219.89/220.02 c | 73396 | 93553 528838 1504478 | 2147483647 72466 239 | 27.501 % |
220.39/220.54 c | 73574 | 93553 528838 1504478 | 2147483647 72644 239 | 27.501 % |
220.79/220.95 c | 73770 | 93548 528838 1504478 | 2147483647 72838 239 | 27.961 % |
221.48/221.67 c | 73982 | 93548 528838 1504478 | 2147483647 73050 239 | 27.961 % |
222.28/222.48 c | 74217 | 93547 528838 1504478 | 2147483647 73284 239 | 27.962 % |
222.88/223.05 c | 74473 | 93543 528838 1504478 | 2147483647 73538 239 | 27.970 % |
224.29/224.45 c | 74755 | 93543 528838 1504478 | 2147483647 73820 239 | 27.970 % |
225.89/226.09 c | 75067 | 93543 528838 1504478 | 2147483647 74132 240 | 27.970 % |
226.78/226.95 c | 75406 | 92948 524920 1493843 | 2147483647 74464 240 | 27.970 % |
228.38/228.55 c | 75778 | 92945 524920 1493843 | 2147483647 74834 241 | 27.985 % |
230.09/230.27 c | 76188 | 92944 524920 1493843 | 2147483647 75243 241 | 27.986 % |
232.28/232.45 c | 76637 | 92942 524920 1493843 | 2147483647 75690 243 | 27.987 % |
235.08/235.27 c | 77130 | 92942 524920 1493843 | 2147483647 76183 246 | 27.987 % |
237.58/237.75 c | 77679 | 92937 524920 1493843 | 2147483647 76731 248 | 28.000 % |
238.88/239.07 c | 78275 | 92937 524920 1493843 | 2147483647 77327 248 | 28.000 % |
240.18/240.31 c | 78931 | 92937 524920 1493843 | 2147483647 77983 247 | 28.000 % |
243.68/243.82 c | 79651 | 92937 524920 1493843 | 2147483647 78703 250 | 28.000 % |
247.58/247.76 c | 80443 | 92937 524920 1493843 | 2147483647 79495 254 | 28.000 % |
251.88/252.09 c | 81315 | 92936 524920 1493843 | 2147483647 80366 257 | 28.000 % |
255.67/255.87 c | 82273 | 92909 524671 1493176 | 2147483647 81316 261 | 28.000 % |
256.37/256.59 c | 82373 | 92909 524671 1493176 | 2147483647 81416 261 | 28.000 % |
256.87/257.09 c | 82483 | 92909 524671 1493176 | 2147483647 81526 261 | 28.000 % |
257.18/257.32 c | 82604 | 92909 524671 1493176 | 2147483647 81647 261 | 28.000 % |
257.87/258.09 c | 82739 | 92855 524671 1493176 | 2147483647 81780 261 | 28.231 % |
258.67/258.84 c | 82885 | 92855 524671 1493176 | 2147483647 81926 261 | 28.231 % |
259.28/259.49 c | 83045 | 92855 524671 1493176 | 2147483647 82086 261 | 28.231 % |
259.88/260.02 c | 83224 | 92855 524671 1493176 | 2147483647 82265 261 | 28.231 % |
260.18/260.32 c | 83417 | 92855 524671 1493176 | 2147483647 82458 261 | 28.231 % |
260.78/260.99 c | 83630 | 92853 524671 1493176 | 2147483647 82669 260 | 28.242 % |
262.08/262.21 c | 83863 | 92849 524671 1493176 | 2147483647 82902 261 | 28.242 % |
263.38/263.58 c | 84119 | 92848 524671 1493176 | 2147483647 83157 262 | 28.243 % |
264.97/265.15 c | 84400 | 92848 524671 1493176 | 2147483647 83438 262 | 28.243 % |
266.46/266.60 c | 84710 | 92848 524671 1493176 | 2147483647 83748 263 | 28.243 % |
267.86/268.03 c | 85050 | 92847 524671 1493176 | 2147483647 84087 263 | 28.244 % |
268.86/269.07 c | 85423 | 92843 524671 1493176 | 2147483647 84457 263 | 28.414 % |
271.17/271.35 c | 85835 | 92799 524671 1493176 | 2147483647 84869 264 | 28.414 % |
273.47/273.65 c | 86284 | 92797 524671 1493176 | 2147483647 85316 265 | 28.416 % |
275.37/275.51 c | 86778 | 92797 524671 1493176 | 2147483647 85810 265 | 28.416 % |
278.26/278.44 c | 87322 | 92797 524671 1493176 | 2147483647 86354 268 | 28.416 % |
280.96/281.19 c | 87918 | 92796 524671 1493176 | 2147483647 86949 270 | 28.417 % |
284.76/284.95 c | 88574 | 92370 521725 1486123 | 2147483647 87513 272 | 28.418 % |
288.56/288.72 c | 89294 | 92370 521725 1486123 | 2147483647 88233 274 | 28.418 % |
292.36/292.59 c | 90087 | 92369 521725 1486123 | 2147483647 89025 276 | 28.419 % |
295.77/295.95 c | 90958 | 92369 521725 1486123 | 2147483647 89896 277 | 28.419 % |
300.96/301.15 c | 91916 | 92369 521725 1486123 | 2147483647 90854 280 | 28.419 % |
305.75/305.91 c | 92969 | 92366 521725 1486123 | 2147483647 91904 283 | 28.421 % |
306.36/306.55 c | 93069 | 92366 521725 1486123 | 2147483647 92004 284 | 28.421 % |
306.66/306.87 c | 93179 | 92365 521725 1486123 | 2147483647 92113 284 | 28.422 % |
307.26/307.50 c | 93300 | 92365 521725 1486123 | 2147483647 92234 284 | 28.422 % |
307.95/308.16 c | 93433 | 92365 521725 1486123 | 2147483647 92367 284 | 28.422 % |
308.55/308.78 c | 93579 | 92365 521725 1486123 | 2147483647 92513 284 | 28.422 % |
308.85/309.07 c | 93739 | 92365 521725 1486123 | 2147483647 92673 284 | 28.422 % |
309.75/309.93 c | 93915 | 92365 521725 1486123 | 2147483647 92849 284 | 28.422 % |
310.65/310.84 c | 94108 | 92365 521725 1486123 | 2147483647 93042 284 | 28.422 % |
311.15/311.30 c | 94320 | 92365 521725 1486123 | 2147483647 93254 284 | 28.422 % |
312.45/312.66 c | 94553 | 92364 521725 1486123 | 2147483647 93486 284 | 28.423 % |
313.25/313.43 c | 94809 | 92357 521725 1486123 | 2147483647 93740 284 | 28.488 % |
314.85/315.08 c | 95091 | 92357 521725 1486123 | 2147483647 94022 285 | 28.488 % |
316.25/316.42 c | 95401 | 92280 521136 1484543 | 2147483647 94323 286 | 28.488 % |
318.05/318.28 c | 95740 | 92280 521136 1484543 | 2147483647 94661 287 | 28.489 % |
319.74/319.90 c | 96112 | 92279 521136 1484543 | 2147483647 95032 287 | 28.489 % |
321.74/321.99 c | 96522 | 92279 521136 1484543 | 2147483647 95442 287 | 28.489 % |
323.74/323.92 c | 96971 | 92279 521136 1484543 | 2147483647 95891 288 | 28.489 % |
326.55/326.73 c | 97464 | 92279 521136 1484543 | 2147483647 96384 289 | 28.489 % |
329.34/329.55 c | 98007 | 92279 521136 1484543 | 2147483647 96927 290 | 28.489 % |
331.45/331.65 c | 98604 | 92279 521136 1484543 | 2147483647 97524 291 | 28.489 % |
334.74/334.97 c | 99259 | 92279 521136 1484543 | 2147483647 98179 295 | 28.489 % |
336.94/337.20 c | 99979 | 92278 521136 1484543 | 2147483647 98898 295 | 28.490 % |
340.34/340.54 c | 100771 | 92277 521136 1484543 | 2147483647 99689 295 | 28.491 % |
345.83/346.07 c | 101643 | 92277 521136 1484543 | 2147483647 100561 298 | 28.491 % |
350.84/351.08 c | 102601 | 92273 521136 1484543 | 2147483647 101515 300 | 28.494 % |
354.22/354.47 c | 103657 | 92273 521136 1484543 | 2147483647 102571 300 | 28.494 % |
359.73/359.94 c | 104816 | 92272 521136 1484543 | 2147483647 103729 303 | 28.497 % |
360.43/360.69 c | 104916 | 92268 521065 1484376 | 2147483647 103824 303 | 28.497 % |
361.23/361.42 c | 105028 | 92268 521065 1484376 | 2147483647 103936 303 | 28.497 % |
361.43/361.69 c | 105150 | 92268 521065 1484376 | 2147483647 104058 303 | 28.497 % |
362.03/362.25 c | 105283 | 92268 521065 1484376 | 2147483647 104191 303 | 28.497 % |
362.83/363.01 c | 105429 | 92268 521065 1484376 | 2147483647 104337 303 | 28.497 % |
363.62/363.82 c | 105591 | 92267 521065 1484376 | 2147483647 104498 304 | 28.498 % |
364.42/364.67 c | 105767 | 92267 521065 1484376 | 2147483647 104674 304 | 28.498 % |
365.52/365.74 c | 105960 | 92267 521065 1484376 | 2147483647 104867 304 | 28.498 % |
366.42/366.61 c | 106175 | 92265 521065 1484376 | 2147483647 105081 304 | 28.510 % |
367.63/367.85 c | 106410 | 92265 521065 1484376 | 2147483647 105316 305 | 28.510 % |
368.93/369.19 c | 106668 | 92265 521065 1484376 | 2147483647 105574 305 | 28.510 % |
370.43/370.65 c | 106949 | 92265 521065 1484376 | 2147483647 105855 305 | 28.510 % |
372.12/372.37 c | 107264 | 92265 521065 1484376 | 2147483647 106170 306 | 28.510 % |
374.12/374.32 c | 107606 | 92264 521065 1484376 | 2147483647 106511 307 | 28.511 % |
375.82/376.01 c | 107979 | 92264 521065 1484376 | 2147483647 106884 308 | 28.511 % |
377.62/377.87 c | 108388 | 92264 521065 1484376 | 2147483647 107293 309 | 28.511 % |
379.52/379.72 c | 108837 | 92263 521065 1484376 | 2147483647 107741 309 | 28.512 % |
381.71/381.92 c | 109330 | 92263 521065 1484376 | 2147483647 108233 309 | 28.513 % |
383.22/383.47 c | 109872 | 92263 521065 1484376 | 2147483647 108775 310 | 28.513 % |
386.32/386.58 c | 110471 | 92262 521065 1484376 | 2147483647 109373 311 | 28.513 % |
388.72/388.99 c | 111128 | 92261 521065 1484376 | 2147483647 110029 311 | 28.517 % |
392.11/392.32 c | 111848 | 92260 521065 1484376 | 2147483647 110748 312 | 28.517 % |
396.11/396.31 c | 112641 | 92259 521065 1484376 | 2147483647 111540 315 | 28.518 % |
400.81/401.03 c | 113515 | 92259 521065 1484376 | 2147483647 112414 317 | 28.518 % |
403.52/403.79 c | 114475 | 92254 521065 1484376 | 2147483647 113372 316 | 28.527 % |
410.21/410.46 c | 115529 | 92252 521065 1484376 | 2147483647 114426 319 | 28.527 % |
415.71/415.96 c | 116688 | 92252 521065 1484376 | 2147483647 115585 322 | 28.527 % |
422.90/423.11 c | 117964 | 92229 520804 1483722 | 2147483647 116799 326 | 28.527 % |
423.50/423.73 c | 118064 | 92229 520804 1483722 | 2147483647 116899 326 | 28.527 % |
424.20/424.47 c | 118175 | 92229 520804 1483722 | 2147483647 117010 326 | 28.527 % |
425.00/425.29 c | 118296 | 92229 520804 1483722 | 2147483647 117131 327 | 28.527 % |
425.80/426.07 c | 118430 | 92229 520804 1483722 | 2147483647 117265 327 | 28.527 % |
426.60/426.89 c | 118577 | 92229 520804 1483722 | 2147483647 117412 327 | 28.527 % |
427.50/427.73 c | 118741 | 92229 520804 1483722 | 2147483647 117576 327 | 28.527 % |
428.50/428.73 c | 118917 | 92229 520804 1483722 | 2147483647 117752 327 | 28.527 % |
429.80/430.08 c | 119110 | 92228 520804 1483722 | 2147483647 117944 328 | 28.528 % |
431.01/431.28 c | 119324 | 92228 520804 1483722 | 2147483647 118158 328 | 28.528 % |
432.20/432.48 c | 119557 | 92228 520804 1483722 | 2147483647 118391 329 | 28.528 % |
433.70/433.95 c | 119815 | 92228 520804 1483722 | 2147483647 118649 329 | 28.528 % |
435.10/435.33 c | 120096 | 92228 520804 1483722 | 2147483647 118930 330 | 28.528 % |
436.41/436.66 c | 120405 | 92228 520804 1483722 | 2147483647 119239 331 | 28.528 % |
438.00/438.28 c | 120745 | 92227 520804 1483722 | 2147483647 119578 331 | 28.529 % |
440.20/440.45 c | 121119 | 92227 520804 1483722 | 2147483647 119952 332 | 28.529 % |
442.29/442.56 c | 121534 | 92227 520804 1483722 | 2147483647 120367 333 | 28.529 % |
444.70/444.99 c | 121985 | 92226 520804 1483722 | 2147483647 120817 334 | 28.530 % |
445.80/446.02 c | 122478 | 92225 520804 1483722 | 2147483647 121309 333 | 28.530 % |
446.89/447.11 c | 123020 | 92149 520804 1483722 | 2147483647 121849 332 | 28.612 % |
449.89/450.11 c | 123618 | 92149 520804 1483722 | 2147483647 122447 333 | 28.612 % |
453.29/453.55 c | 124274 | 92147 520804 1483722 | 2147483647 123101 334 | 28.623 % |
455.99/456.30 c | 124995 | 92144 520804 1483722 | 2147483647 123820 334 | 28.641 % |
461.09/461.34 c | 125789 | 92144 520804 1483722 | 2147483647 124614 336 | 28.641 % |
466.89/467.12 c | 126663 | 92140 520804 1483722 | 2147483647 125486 336 | 28.666 % |
472.58/472.83 c | 127622 | 92140 520804 1483722 | 2147483647 126445 339 | 28.666 % |
479.39/479.61 c | 128675 | 92046 519832 1481506 | 2147483647 127463 340 | 28.689 % |
486.68/486.93 c | 129835 | 92044 519832 1481506 | 2147483647 128622 343 | 28.699 % |
493.38/493.63 c | 131113 | 92040 519832 1481506 | 2147483647 129898 344 | 28.713 % |
500.97/501.26 c | 132514 | 92040 519832 1481506 | 2147483647 131299 346 | 28.713 % |
501.37/501.61 c | 132614 | 92040 519832 1481506 | 2147483647 131399 346 | 28.713 % |
501.97/502.23 c | 132725 | 92040 519832 1481506 | 2147483647 131510 346 | 28.713 % |
502.67/502.95 c | 132847 | 92040 519832 1481506 | 2147483647 131632 346 | 28.713 % |
503.27/503.57 c | 132981 | 92040 519832 1481506 | 2147483647 131766 346 | 28.713 % |
503.67/503.92 c | 133128 | 92040 519832 1481506 | 2147483647 131913 346 | 28.713 % |
504.58/504.88 c | 133290 | 92040 519832 1481506 | 2147483647 132075 346 | 28.713 % |
505.78/506.01 c | 133466 | 92040 519832 1481506 | 2147483647 132251 347 | 28.713 % |
507.17/507.50 c | 133659 | 92039 519832 1481506 | 2147483647 132443 347 | 28.714 % |
508.37/508.66 c | 133871 | 92039 519832 1481506 | 2147483647 132655 347 | 28.714 % |
509.77/510.02 c | 134104 | 92039 519832 1481506 | 2147483647 132888 348 | 28.714 % |
510.97/511.29 c | 134360 | 92039 519832 1481506 | 2147483647 133144 348 | 28.714 % |
512.66/512.98 c | 134649 | 92039 519832 1481506 | 2147483647 133433 349 | 28.714 % |
514.87/515.11 c | 134961 | 92039 519832 1481506 | 2147483647 133745 350 | 28.714 % |
516.77/517.10 c | 135301 | 92038 519832 1481506 | 2147483647 134084 352 | 28.715 % |
518.77/519.07 c | 135673 | 92038 519832 1481506 | 2147483647 134456 353 | 28.715 % |
521.07/521.39 c | 136082 | 92038 519832 1481506 | 2147483647 134865 354 | 28.715 % |
522.56/522.86 c | 136531 | 92034 519832 1481506 | 2147483647 135312 353 | 28.725 % |
524.57/524.82 c | 137027 | 92034 519832 1481506 | 2147483647 135808 353 | 28.725 % |
527.67/527.99 c | 137569 | 92034 519832 1481506 | 2147483647 136350 354 | 28.725 % |
530.26/530.51 c | 138165 | 92034 519832 1481506 | 2147483647 136946 354 | 28.725 % |
534.76/535.03 c | 138822 | 92034 519832 1481506 | 2147483647 137603 356 | 28.725 % |
538.76/539.04 c | 139542 | 92034 519832 1481506 | 2147483647 138323 357 | 28.725 % |
542.55/542.81 c | 140334 | 92034 519832 1481506 | 2147483647 139115 358 | 28.725 % |
545.25/545.55 c | 141205 | 91944 519107 1479584 | 2147483647 139956 357 | 28.748 % |
552.54/552.89 c | 142163 | 91942 519107 1479584 | 2147483647 140912 360 | 28.750 % |
559.55/559.80 c | 143217 | 91942 519107 1479584 | 2147483647 141966 361 | 28.750 % |
565.55/565.85 c | 144377 | 91941 519107 1479584 | 2147483647 143125 364 | 28.751 % |
573.25/573.55 c | 145651 | 91941 519107 1479584 | 2147483647 144399 367 | 28.751 % |
581.33/581.63 c | 147051 | 91940 519107 1479584 | 2147483647 145798 368 | 28.751 % |
591.23/591.51 c | 148594 | 91938 519107 1479584 | 2147483647 147340 371 | 28.764 % |
591.73/592.03 c | 148694 | 91938 519107 1479584 | 2147483647 147440 371 | 28.764 % |
592.13/592.46 c | 148806 | 91938 519107 1479584 | 2147483647 147552 371 | 28.764 % |
592.73/593.06 c | 148928 | 91938 519107 1479584 | 2147483647 147674 371 | 28.764 % |
593.63/593.94 c | 149062 | 91938 519107 1479584 | 2147483647 147808 371 | 28.764 % |
594.43/594.79 c | 149208 | 91938 519107 1479584 | 2147483647 147954 371 | 28.764 % |
595.12/595.44 c | 149370 | 91938 519107 1479584 | 2147483647 148116 371 | 28.764 % |
596.43/596.79 c | 149546 | 91938 519107 1479584 | 2147483647 148292 371 | 28.764 % |
597.23/597.54 c | 149740 | 91938 519107 1479584 | 2147483647 148486 371 | 28.764 % |
598.93/599.21 c | 149952 | 91938 519107 1479584 | 2147483647 148698 372 | 28.764 % |
600.73/601.02 c | 150185 | 91938 519107 1479584 | 2147483647 148931 372 | 28.764 % |
602.23/602.51 c | 150443 | 91938 519107 1479584 | 2147483647 149189 372 | 28.764 % |
603.83/604.17 c | 150725 | 91938 519107 1479584 | 2147483647 149471 372 | 28.764 % |
605.63/605.98 c | 151034 | 91938 519107 1479584 | 2147483647 149780 373 | 28.764 % |
607.03/607.38 c | 151373 | 91936 519107 1479584 | 2147483647 150118 372 | 28.775 % |
609.03/609.39 c | 151745 | 91935 519107 1479584 | 2147483647 150489 372 | 28.776 % |
611.53/611.85 c | 152154 | 91935 519107 1479584 | 2147483647 150898 373 | 28.776 % |
614.43/614.73 c | 152605 | 91935 519107 1479584 | 2147483647 151349 374 | 28.776 % |
617.03/617.36 c | 153098 | 91935 519107 1479584 | 2147483647 151842 375 | 28.776 % |
619.22/619.54 c | 153640 | 91916 519107 1479584 | 2147483647 152383 376 | 28.882 % |
622.72/623.09 c | 154236 | 91915 519107 1479584 | 2147483647 152979 376 | 28.882 % |
627.02/627.31 c | 154893 | 91915 519107 1479584 | 2147483647 153636 377 | 28.882 % |
632.51/632.83 c | 155614 | 91761 518085 1476809 | 2147483647 153938 378 | 28.890 % |
637.22/637.50 c | 156406 | 91761 518085 1476809 | 2147483647 154730 379 | 28.890 % |
642.41/642.80 c | 157277 | 91754 518085 1476809 | 2147483647 155599 381 | 28.911 % |
649.01/649.35 c | 158235 | 91751 518085 1476809 | 2147483647 156554 381 | 28.913 % |
653.81/654.19 c | 159291 | 91751 518085 1476809 | 2147483647 157610 382 | 28.913 % |
660.81/661.17 c | 160449 | 91744 518085 1476809 | 2147483647 158767 384 | 28.940 % |
669.70/670.00 c | 161724 | 91743 518085 1476809 | 2147483647 160041 387 | 28.941 % |
677.59/677.95 c | 163125 | 91743 518085 1476809 | 2147483647 161442 388 | 28.941 % |
687.29/687.64 c | 164665 | 91741 518085 1476809 | 2147483647 162980 391 | 28.943 % |
697.49/697.87 c | 166359 | 91736 518085 1476809 | 2147483647 164672 393 | 28.948 % |
698.29/698.68 c | 166459 | 91736 518085 1476809 | 2147483647 164772 393 | 28.948 % |
698.99/699.34 c | 166569 | 91736 518085 1476809 | 2147483647 164882 393 | 28.948 % |
699.49/699.85 c | 166690 | 91736 518085 1476809 | 2147483647 165003 393 | 28.948 % |
699.89/700.22 c | 166823 | 91730 518085 1476809 | 2147483647 165135 393 | 28.957 % |
700.39/700.78 c | 166970 | 91730 518085 1476809 | 2147483647 165282 393 | 28.957 % |
700.89/701.25 c | 167131 | 91730 518085 1476809 | 2147483647 165443 392 | 28.957 % |
701.99/702.30 c | 167307 | 91730 518085 1476809 | 2147483647 165619 393 | 28.957 % |
702.89/703.29 c | 167500 | 91730 518085 1476809 | 2147483647 165812 393 | 28.957 % |
703.79/704.14 c | 167713 | 91730 518085 1476809 | 2147483647 166025 393 | 28.957 % |
705.59/705.93 c | 167946 | 91730 518085 1476809 | 2147483647 166258 393 | 28.957 % |
707.09/707.48 c | 168203 | 91730 518085 1476809 | 2147483647 166515 393 | 28.957 % |
708.78/709.18 c | 168484 | 91730 518085 1476809 | 2147483647 166796 393 | 28.957 % |
710.19/710.59 c | 168794 | 91730 518085 1476809 | 2147483647 167106 394 | 28.957 % |
712.18/712.56 c | 169133 | 91730 518085 1476809 | 2147483647 167445 394 | 28.957 % |
714.48/714.80 c | 169506 | 91730 518085 1476809 | 2147483647 167818 394 | 28.957 % |
716.18/716.57 c | 169917 | 91730 518085 1476809 | 2147483647 168229 395 | 28.957 % |
719.08/719.44 c | 170366 | 91730 518085 1476809 | 2147483647 168678 395 | 28.957 % |
723.28/723.61 c | 170861 | 91730 518085 1476809 | 2147483647 169173 396 | 28.957 % |
726.38/726.70 c | 171403 | 91730 518085 1476809 | 2147483647 169715 397 | 28.957 % |
729.47/729.84 c | 172003 | 91730 518085 1476809 | 2147483647 170315 397 | 28.957 % |
733.78/734.13 c | 172658 | 91730 518085 1476809 | 2147483647 170970 397 | 28.957 % |
738.98/739.35 c | 173379 | 91675 517512 1475295 | 2147483647 171654 398 | 28.957 % |
743.67/744.06 c | 174172 | 91675 517512 1475295 | 2147483647 172447 398 | 28.957 % |
748.27/748.63 c | 175043 | 91673 517512 1475295 | 2147483647 173316 398 | 28.961 % |
753.27/753.67 c | 176001 | 91673 517512 1475295 | 2147483647 174274 400 | 28.961 % |
761.36/761.77 c | 177055 | 91671 517512 1475295 | 2147483647 175326 402 | 28.962 % |
768.06/768.41 c | 178215 | 91642 517512 1475295 | 2147483647 176485 403 | 28.988 % |
777.46/777.88 c | 179488 | 91642 517512 1475295 | 2147483647 177758 406 | 28.988 % |
785.35/785.76 c | 180888 | 91642 517512 1475295 | 2147483647 179158 408 | 28.988 % |
793.85/794.22 c | 182430 | 91635 517512 1475295 | 2147483647 180698 410 | 29.000 % |
804.14/804.55 c | 184127 | 91635 517512 1475295 | 2147483647 182395 413 | 29.000 % |
814.04/814.47 c | 185991 | 91632 517512 1475295 | 2147483647 184258 414 | 29.030 % |
814.94/815.36 c | 186092 | 91632 517512 1475295 | 2147483647 184359 414 | 29.030 % |
815.74/816.12 c | 186202 | 91632 517512 1475295 | 2147483647 184469 414 | 29.030 % |
816.44/816.89 c | 186323 | 91632 517512 1475295 | 2147483647 184590 414 | 29.030 % |
817.34/817.71 c | 186457 | 91632 517512 1475295 | 2147483647 184724 414 | 29.030 % |
818.54/818.90 c | 186603 | 91632 517512 1475295 | 2147483647 184870 414 | 29.030 % |
819.44/819.81 c | 186763 | 91632 517512 1475295 | 2147483647 185030 414 | 29.030 % |
820.74/821.15 c | 186939 | 91632 517512 1475295 | 2147483647 185206 415 | 29.030 % |
821.83/822.25 c | 187133 | 91632 517512 1475295 | 2147483647 185400 415 | 29.030 % |
822.73/823.18 c | 187350 | 91632 517512 1475295 | 2147483647 185617 414 | 29.030 % |
824.23/824.60 c | 187585 | 91632 517512 1475295 | 2147483647 185852 414 | 29.030 % |
825.83/826.22 c | 187841 | 91630 517512 1475295 | 2147483647 186107 414 | 29.031 % |
827.74/828.15 c | 188122 | 91630 517512 1475295 | 2147483647 186388 415 | 29.031 % |
830.04/830.50 c | 188431 | 91630 517512 1475295 | 2147483647 186697 415 | 29.031 % |
832.43/832.85 c | 188770 | 91630 517512 1475295 | 2147483647 187036 416 | 29.031 % |
834.43/834.89 c | 189142 | 91630 517512 1475295 | 2147483647 187408 416 | 29.031 % |
837.23/837.66 c | 189553 | 91630 517512 1475295 | 2147483647 187819 416 | 29.031 % |
839.73/840.16 c | 190002 | 91630 517512 1475295 | 2147483647 188268 417 | 29.031 % |
842.33/842.73 c | 190495 | 91630 517512 1475295 | 2147483647 188761 417 | 29.031 % |
845.13/845.55 c | 191038 | 91628 517512 1475295 | 2147483647 189302 417 | 29.043 % |
848.33/848.78 c | 191634 | 91628 517512 1475295 | 2147483647 189898 417 | 29.043 % |
852.62/853.04 c | 192294 | 91624 517512 1475295 | 2147483647 190556 418 | 29.047 % |
858.42/858.81 c | 193016 | 91623 517512 1475295 | 2147483647 191277 419 | 29.058 % |
861.73/862.14 c | 193808 | 91623 517512 1475295 | 2147483647 192069 419 | 29.058 % |
866.32/866.79 c | 194680 | 91544 516683 1473217 | 2147483647 192910 420 | 29.058 % |
873.42/873.82 c | 195640 | 91544 516683 1473217 | 2147483647 193870 422 | 29.058 % |
879.62/880.04 c | 196693 | 91544 516683 1473217 | 2147483647 194923 423 | 29.058 % |
885.31/885.76 c | 197851 | 91544 516683 1473217 | 2147483647 196081 424 | 29.058 % |
893.11/893.58 c | 199124 | 91543 516683 1473217 | 2147483647 197353 425 | 29.059 % |
902.81/903.22 c | 200528 | 91529 516683 1473217 | 2147483647 198754 427 | 29.093 % |
914.60/915.00 c | 202069 | 91527 516683 1473217 | 2147483647 200292 429 | 29.098 % |
924.60/925.03 c | 203763 | 91527 516683 1473217 | 2147483647 201986 431 | 29.098 % |
938.59/939.06 c | 205626 | 91525 516683 1473217 | 2147483647 203847 433 | 29.099 % |
950.78/951.21 c | 207676 | 91523 516683 1473217 | 2147483647 205895 433 | 29.101 % |
951.58/952.01 c | 207777 | 91523 516683 1473217 | 2147483647 205996 434 | 29.101 % |
952.48/952.92 c | 207891 | 91523 516683 1473217 | 2147483647 206110 434 | 29.101 % |
953.48/953.95 c | 208012 | 91523 516683 1473217 | 2147483647 206231 434 | 29.101 % |
954.28/954.73 c | 208145 | 91523 516683 1473217 | 2147483647 206364 434 | 29.101 % |
955.38/955.86 c | 208292 | 91523 516683 1473217 | 2147483647 206511 434 | 29.101 % |
956.17/956.66 c | 208452 | 91523 516683 1473217 | 2147483647 206671 434 | 29.101 % |
957.38/957.87 c | 208629 | 91523 516683 1473217 | 2147483647 206848 434 | 29.101 % |
958.48/958.91 c | 208822 | 91523 516683 1473217 | 2147483647 207041 434 | 29.101 % |
959.97/960.43 c | 209034 | 91523 516683 1473217 | 2147483647 207253 434 | 29.101 % |
961.57/962.09 c | 209268 | 91523 516683 1473217 | 2147483647 207487 434 | 29.101 % |
963.27/963.79 c | 209524 | 91523 516683 1473217 | 2147483647 207743 434 | 29.101 % |
965.28/965.72 c | 209805 | 91523 516683 1473217 | 2147483647 208024 434 | 29.101 % |
967.78/968.23 c | 210114 | 91523 516683 1473217 | 2147483647 208333 435 | 29.101 % |
970.08/970.54 c | 210455 | 91521 516683 1473217 | 2147483647 208672 435 | 29.102 % |
973.08/973.52 c | 210828 | 91521 516683 1473217 | 2147483647 209045 436 | 29.102 % |
975.77/976.21 c | 211237 | 91520 516683 1473217 | 2147483647 209453 436 | 29.103 % |
978.27/978.70 c | 211687 | 91520 516683 1473217 | 2147483647 209903 436 | 29.103 % |
981.28/981.79 c | 212180 | 91520 516683 1473217 | 2147483647 210396 436 | 29.103 % |
984.87/985.34 c | 212724 | 91515 516683 1473217 | 2147483647 210938 436 | 29.107 % |
989.26/989.71 c | 213320 | 91515 516683 1473217 | 2147483647 211534 437 | 29.107 % |
992.46/992.96 c | 213977 | 91514 516683 1473217 | 2147483647 212190 437 | 29.108 % |
996.07/996.56 c | 214701 | 91514 516683 1473217 | 2147483647 212914 438 | 29.108 % |
1001.36/1001.87 c | 215493 | 91514 516683 1473217 | 2147483647 213706 440 | 29.108 % |
1006.36/1006.85 c | 216366 | 91513 516683 1473217 | 2147483647 214578 440 | 29.109 % |
1013.67/1014.17 c | 217324 | 91510 516683 1473217 | 2147483647 215535 441 | 29.112 % |
1022.56/1023.07 c | 218378 | 91509 516683 1473217 | 2147483647 216588 442 | 29.112 % |
1030.55/1031.07 c | 219539 | 91509 516683 1473217 | 2147483647 217749 444 | 29.112 % |
1037.74/1038.27 c | 220812 | 91470 516245 1472111 | 2147483647 218988 443 | 29.139 % |
1044.94/1045.40 c | 222212 | 91468 516245 1472111 | 2147483647 220386 444 | 29.140 % |
1054.05/1054.56 c | 223754 | 91468 516245 1472111 | 2147483647 221928 446 | 29.140 % |
1061.44/1061.95 c | 225449 | 91468 516245 1472111 | 2147483647 223623 447 | 29.140 % |
1074.53/1075.05 c | 227312 | 91468 516245 1472111 | 2147483647 225486 449 | 29.140 % |
1093.43/1093.91 c | 229361 | 91464 516245 1472111 | 2147483647 227534 453 | 29.154 % |
1106.72/1107.24 c | 231618 | 91464 516245 1472111 | 2147483647 229791 455 | 29.154 % |
1107.52/1108.02 c | 231718 | 91464 516245 1472111 | 2147483647 229891 455 | 29.154 % |
1108.42/1108.99 c | 231831 | 91464 516245 1472111 | 2147483647 230004 456 | 29.154 % |
1109.22/1109.72 c | 231952 | 91464 516245 1472111 | 2147483647 230125 456 | 29.154 % |
1110.22/1110.78 c | 232088 | 91464 516245 1472111 | 2147483647 230261 456 | 29.154 % |
1111.22/1111.71 c | 232234 | 91464 516245 1472111 | 2147483647 230407 456 | 29.154 % |
1112.52/1113.06 c | 232398 | 91464 516245 1472111 | 2147483647 230571 456 | 29.154 % |
1113.12/1113.61 c | 232575 | 91464 516245 1472111 | 2147483647 230748 455 | 29.154 % |
1114.12/1114.63 c | 232768 | 91464 516245 1472111 | 2147483647 230941 455 | 29.154 % |
1115.32/1115.90 c | 232980 | 91464 516245 1472111 | 2147483647 231153 455 | 29.154 % |
1116.32/1116.81 c | 233213 | 91464 516245 1472111 | 2147483647 231386 455 | 29.154 % |
1117.52/1118.00 c | 233469 | 91458 516245 1472111 | 2147483647 231640 455 | 29.168 % |
1118.92/1119.44 c | 233751 | 91458 516245 1472111 | 2147483647 231922 455 | 29.168 % |
1121.11/1121.69 c | 234060 | 91458 516245 1472111 | 2147483647 232231 455 | 29.168 % |
1123.11/1123.66 c | 234401 | 91458 516245 1472111 | 2147483647 232572 455 | 29.168 % |
1125.41/1125.91 c | 234775 | 91458 516245 1472111 | 2147483647 232946 455 | 29.168 % |
1128.41/1128.98 c | 235185 | 91457 516245 1472111 | 2147483647 233355 455 | 29.169 % |
1131.11/1131.67 c | 235637 | 91457 516245 1472111 | 2147483647 233807 456 | 29.169 % |
1134.81/1135.30 c | 236131 | 91456 516245 1472111 | 2147483647 234300 456 | 29.171 % |
1139.31/1139.87 c | 236673 | 91456 516245 1472111 | 2147483647 234842 458 | 29.171 % |
1143.80/1144.34 c | 237270 | 91455 516245 1472111 | 2147483647 235438 458 | 29.171 % |
1149.01/1149.52 c | 237925 | 91455 516245 1472111 | 2147483647 236093 459 | 29.171 % |
1152.90/1153.42 c | 238647 | 91454 516245 1472111 | 2147483647 236814 459 | 29.172 % |
1159.40/1159.94 c | 239441 | 91453 516245 1472111 | 2147483647 237607 459 | 29.173 % |
1165.19/1165.78 c | 240312 | 91453 516245 1472111 | 2147483647 238478 460 | 29.173 % |
1172.79/1173.38 c | 241270 | 91447 516245 1472111 | 2147483647 239435 461 | 29.185 % |
1180.99/1181.54 c | 242326 | 91446 516245 1472111 | 2147483647 240490 462 | 29.186 % |
1187.98/1188.55 c | 243486 | 91446 516245 1472111 | 2147483647 241650 461 | 29.186 % |
1197.58/1198.18 c | 244759 | 91446 516245 1472111 | 2147483647 242923 464 | 29.186 % |
1205.09/1205.67 c | 246160 | 91446 516245 1472111 | 2147483647 244324 465 | 29.186 % |
1214.67/1215.27 c | 247700 | 91441 516245 1472111 | 2147483647 245860 465 | 29.191 % |
1229.47/1230.03 c | 249394 | 91441 516245 1472111 | 2147483647 247554 467 | 29.191 % |
1244.96/1245.54 c | 251258 | 91441 516245 1472111 | 2147483647 249418 469 | 29.191 % |
1260.76/1261.38 c | 253308 | 91373 515559 1470308 | 2147483647 251412 469 | 29.191 % |
1273.75/1274.32 c | 255565 | 91373 515559 1470308 | 2147483647 253669 472 | 29.191 % |
1287.44/1288.06 c | 258045 | 91369 515559 1470308 | 2147483647 256148 473 | 29.198 % |
1288.54/1289.16 c | 258147 | 91368 515559 1470308 | 2147483647 256249 473 | 29.198 % |
1289.45/1290.05 c | 258257 | 91368 515559 1470308 | 2147483647 256359 473 | 29.198 % |
1290.34/1290.92 c | 258378 | 91368 515559 1470308 | 2147483647 256480 473 | 29.198 % |
1291.44/1292.00 c | 258511 | 91368 515559 1470308 | 2147483647 256613 473 | 29.198 % |
1292.84/1293.44 c | 258662 | 91368 515559 1470308 | 2147483647 256764 473 | 29.198 % |
1293.74/1294.30 c | 258827 | 91367 515559 1470308 | 2147483647 256928 473 | 29.199 % |
1294.94/1295.57 c | 259003 | 91367 515559 1470308 | 2147483647 257104 473 | 29.199 % |
1295.84/1296.50 c | 259197 | 91367 515559 1470308 | 2147483647 257298 473 | 29.199 % |
1297.34/1297.98 c | 259409 | 91366 515559 1470308 | 2147483647 257509 473 | 29.200 % |
1298.53/1299.15 c | 259642 | 91366 515559 1470308 | 2147483647 257742 473 | 29.200 % |
1300.23/1300.82 c | 259898 | 91366 515559 1470308 | 2147483647 257998 473 | 29.200 % |
1301.92/1302.58 c | 260180 | 91366 515559 1470308 | 2147483647 258280 473 | 29.200 % |
1303.83/1304.49 c | 260492 | 91366 515559 1470308 | 2147483647 258592 473 | 29.200 % |
1307.43/1308.06 c | 260832 | 91366 515559 1470308 | 2147483647 258932 474 | 29.200 % |
1310.13/1310.74 c | 261205 | 91366 515559 1470308 | 2147483647 259305 474 | 29.200 % |
1313.43/1314.03 c | 261614 | 91366 515559 1470308 | 2147483647 259714 474 | 29.200 % |
1317.33/1317.91 c | 262065 | 91366 515559 1470308 | 2147483647 260165 474 | 29.200 % |
1320.62/1321.29 c | 262558 | 91365 515559 1470308 | 2147483647 260657 474 | 29.215 % |
1323.92/1324.57 c | 263101 | 91364 515559 1470308 | 2147483647 261199 474 | 29.216 % |
1327.33/1327.98 c | 263699 | 91364 515559 1470308 | 2147483647 261797 474 | 29.216 % |
1332.82/1333.46 c | 264358 | 91364 515559 1470308 | 2147483647 262456 475 | 29.216 % |
1336.82/1337.48 c | 265078 | 91364 515559 1470308 | 2147483647 263176 475 | 29.216 % |
1342.42/1343.03 c | 265870 | 91362 515559 1470308 | 2147483647 263967 476 | 29.218 % |
1348.81/1349.42 c | 266742 | 91362 515559 1470308 | 2147483647 264839 477 | 29.218 % |
1356.11/1356.76 c | 267701 | 91362 515559 1470308 | 2147483647 265798 479 | 29.218 % |
1364.00/1364.60 c | 268754 | 91362 515559 1470308 | 2147483647 266851 480 | 29.218 % |
1372.80/1373.46 c | 269912 | 91361 515559 1470308 | 2147483647 268008 481 | 29.324 % |
1383.50/1384.12 c | 271185 | 91361 515559 1470308 | 2147483647 269281 482 | 29.324 % |
1395.79/1396.49 c | 272586 | 91361 515559 1470308 | 2147483647 270682 485 | 29.324 % |
1406.29/1406.93 c | 274126 | 91361 515559 1470308 | 2147483647 272222 486 | 29.324 % |
1418.59/1419.24 c | 275820 | 91361 515559 1470308 | 2147483647 273916 488 | 29.324 % |
1433.87/1434.57 c | 277686 | 91359 515559 1470308 | 2147483647 275781 491 | 29.333 % |
1450.27/1450.99 c | 279737 | 91339 515559 1470308 | 2147483647 277829 493 | 29.839 % |
1464.36/1465.01 c | 281990 | 91339 515559 1470308 | 2147483647 280082 494 | 29.839 % |
1484.85/1485.59 c | 284468 | 91339 515559 1470308 | 2147483647 282560 499 | 29.839 % |
1506.15/1506.87 c | 287196 | 91339 515559 1470308 | 2147483647 285288 504 | 29.839 % |
1507.05/1507.73 c | 287298 | 91339 515559 1470308 | 2147483647 285390 504 | 29.839 % |
1507.95/1508.69 c | 287411 | 91339 515559 1470308 | 2147483647 285503 504 | 29.839 % |
1508.95/1509.64 c | 287536 | 91339 515559 1470308 | 2147483647 285628 504 | 29.839 % |
1510.15/1510.86 c | 287669 | 91339 515559 1470308 | 2147483647 285761 504 | 29.839 % |
1511.14/1511.83 c | 287815 | 91339 515559 1470308 | 2147483647 285907 504 | 29.839 % |
1512.64/1513.33 c | 287978 | 91339 515559 1470308 | 2147483647 286070 504 | 29.839 % |
1513.64/1514.38 c | 288155 | 91339 515559 1470308 | 2147483647 286247 504 | 29.839 % |
1515.04/1515.76 c | 288348 | 91339 515559 1470308 | 2147483647 286440 504 | 29.839 % |
1516.94/1517.67 c | 288561 | 90536 510591 1457038 | 2147483647 286560 504 | 29.839 % |
1518.65/1519.37 c | 288795 | 90534 510591 1457038 | 2147483647 286792 504 | 29.866 % |
1519.05/1519.79 c | 289051 | 90534 510591 1457038 | 2147483647 287048 503 | 29.866 % |
1520.34/1521.07 c | 289333 | 90534 510591 1457038 | 2147483647 287330 503 | 29.866 % |
1523.04/1523.72 c | 289643 | 90534 510591 1457038 | 2147483647 287640 503 | 29.866 % |
1525.63/1526.39 c | 289984 | 90534 510591 1457038 | 2147483647 287981 503 | 29.866 % |
1528.83/1529.55 c | 290358 | 90534 510591 1457038 | 2147483647 288355 504 | 29.866 % |
1531.83/1532.59 c | 290770 | 90534 510591 1457038 | 2147483647 288767 504 | 29.866 % |
1534.43/1535.18 c | 291222 | 90534 510591 1457038 | 2147483647 289219 504 | 29.866 % |
1538.13/1538.87 c | 291717 | 90534 510591 1457038 | 2147483647 289714 504 | 29.866 % |
1542.73/1543.48 c | 292261 | 90534 510591 1457038 | 2147483647 290258 504 | 29.866 % |
1548.03/1548.77 c | 292859 | 90534 510591 1457038 | 2147483647 290856 505 | 29.866 % |
1553.93/1554.69 c | 293519 | 90534 510591 1457038 | 2147483647 291516 505 | 29.866 % |
1558.62/1559.32 c | 294240 | 90534 510591 1457038 | 2147483647 292237 505 | 29.866 % |
1563.92/1564.64 c | 295033 | 90534 510591 1457038 | 2147483647 293030 506 | 29.866 % |
1570.52/1571.22 c | 295904 | 90534 510591 1457038 | 2147483647 293901 506 | 29.866 % |
1578.41/1579.10 c | 296864 | 90534 510591 1457038 | 2147483647 294861 508 | 29.866 % |
1586.91/1587.66 c | 297917 | 90534 510591 1457038 | 2147483647 295914 509 | 29.866 % |
1591.21/1591.99 c | 299075 | 90533 510591 1457038 | 2147483647 297071 508 | 29.878 % |
1598.91/1599.69 c | 300348 | 90533 510591 1457038 | 2147483647 298344 508 | 29.878 % |
1610.60/1611.35 c | 301752 | 90533 510591 1457038 | 2147483647 299748 509 | 29.878 % |
1623.79/1624.55 c | 303293 | 90531 510591 1457038 | 2147483647 301287 511 | 29.880 % |
1636.29/1637.06 c | 304994 | 90530 510591 1457038 | 2147483647 302987 511 | 29.883 % |
1650.99/1651.77 c | 306857 | 90530 510591 1457038 | 2147483647 304850 512 | 29.883 % |
1668.06/1668.86 c | 308907 | 90530 510591 1457038 | 2147483647 306900 513 | 29.883 % |
1684.05/1684.88 c | 311160 | 90482 510591 1457038 | 2147483647 309148 513 | 29.931 % |
1701.85/1702.63 c | 313638 | 90477 510591 1457038 | 2147483647 311623 514 | 29.945 % |
1722.53/1723.33 c | 316364 | 90475 510591 1457038 | 2147483647 314347 514 | 29.946 % |
1747.42/1748.21 c | 319362 | 90475 510591 1457038 | 2147483647 317345 516 | 29.946 % |
1748.31/1749.10 c | 319462 | 90475 510591 1457038 | 2147483647 317445 516 | 29.946 % |
1749.22/1750.09 c | 319575 | 90475 510591 1457038 | 2147483647 317558 516 | 29.946 % |
1750.11/1750.92 c | 319696 | 90475 510591 1457038 | 2147483647 317679 515 | 29.946 % |
1751.21/1752.05 c | 319829 | 90475 510591 1457038 | 2147483647 317812 516 | 29.946 % |
1752.31/1753.11 c | 319976 | 90475 510591 1457038 | 2147483647 317959 516 | 29.946 % |
1752.81/1753.66 c | 320139 | 90475 510591 1457038 | 2147483647 318122 515 | 29.946 % |
1753.72/1754.57 c | 320315 | 90475 510591 1457038 | 2147483647 318298 515 | 29.946 % |
1754.11/1754.92 c | 320509 | 90475 510591 1457038 | 2147483647 318492 515 | 29.946 % |
1754.61/1755.40 c | 320723 | 90475 510591 1457038 | 2147483647 318706 515 | 29.946 % |
1756.71/1757.57 c | 320956 | 90474 510591 1457038 | 2147483647 318938 515 | 29.947 % |
1758.61/1759.40 c | 321213 | 90473 510591 1457038 | 2147483647 319194 515 | 29.949 % |
1761.22/1762.01 c | 321494 | 90473 510591 1457038 | 2147483647 319475 515 | 29.949 % |
1763.31/1764.18 c | 321806 | 90473 510591 1457038 | 2147483647 319787 515 | 29.949 % |
1765.91/1766.71 c | 322147 | 90473 510591 1457038 | 2147483647 320128 515 | 29.949 % |
1769.41/1770.28 c | 322520 | 90473 510591 1457038 | 2147483647 320501 516 | 29.949 % |
1772.61/1773.40 c | 322930 | 90465 510591 1457038 | 2147483647 320910 516 | 29.961 % |
1776.11/1776.98 c | 323380 | 90465 510591 1457038 | 2147483647 321360 516 | 29.961 % |
1781.11/1781.98 c | 323874 | 90465 510591 1457038 | 2147483647 321854 517 | 29.961 % |
1784.71/1785.58 c | 324418 | 90465 510591 1457038 | 2147483647 322398 517 | 29.961 % |
1789.40/1790.22 c | 325015 | 90456 510591 1457038 | 2147483647 322993 517 | 29.994 % |
1794.59/1795.49 c | 325671 | 90456 510591 1457038 | 2147483647 323649 517 | 29.994 % |
1799.29/1800.10 c | 326392 | 90456 510591 1457038 | 2147483647 324370 518 | 29.994 % |
1804.79/1805.68 c | 327186 | 90456 510591 1457038 | 2147483647 325163 519 | 29.994 % |
1811.79/1812.66 c | 328059 | 90453 510591 1457038 | 2147483647 326034 519 | 29.997 % |
1818.59/1819.48 c | 329017 | 90452 510591 1457038 | 2147483647 326991 519 | 29.999 % |
1827.18/1828.00 c | 330073 | 90452 510591 1457038 | 2147483647 328047 521 | 29.999 % |
1836.67/1837.53 c | 331231 | 90452 510591 1457038 | 2147483647 329205 522 | 29.999 % |
1849.97/1850.86 c | 332507 | 90452 510591 1457038 | 2147483647 330481 522 | 29.999 % |
1858.37/1859.29 c | 333907 | 90327 509242 1453383 | 2147483647 331726 522 | 30.011 % |
1870.46/1871.31 c | 335448 | 90327 509242 1453383 | 2147483647 333267 523 | 30.011 % |
1882.36/1883.29 c | 337142 | 90326 509242 1453383 | 2147483647 334960 523 | 30.011 % |
1898.35/1899.28 c | 339005 | 90325 509242 1453383 | 2147483647 336822 525 | 30.012 % |
1911.84/1912.76 c | 341054 | 90325 509242 1453383 | 2147483647 338871 528 | 30.012 % |
1930.13/1931.04 c | 343308 | 90325 509242 1453383 | 2147483647 341125 529 | 30.012 % |
1948.22/1949.15 c | 345786 | 90323 509242 1453383 | 2147483647 343601 529 | 30.014 % |
1969.23/1970.17 c | 348514 | 90322 509242 1453383 | 2147483647 346328 531 | 30.014 % |
1989.80/1990.76 c | 351513 | 90322 509242 1453383 | 2147483647 349327 531 | 30.014 % |
2016.60/2017.51 c | 354810 | 90320 509242 1453383 | 2147483647 352622 535 | 30.016 % |
2017.40/2018.33 c | 354911 | 90320 509242 1453383 | 2147483647 352723 535 | 30.016 % |
2018.40/2019.31 c | 355021 | 90320 509242 1453383 | 2147483647 352833 535 | 30.016 % |
2019.39/2020.38 c | 355142 | 90319 509242 1453383 | 2147483647 352953 535 | 30.017 % |
2020.69/2021.66 c | 355276 | 90319 509242 1453383 | 2147483647 353087 535 | 30.017 % |
2022.29/2023.27 c | 355422 | 90319 509242 1453383 | 2147483647 353233 535 | 30.017 % |
2023.49/2024.48 c | 355582 | 90319 509242 1453383 | 2147483647 353393 535 | 30.017 % |
2025.09/2026.00 c | 355761 | 90312 509242 1453383 | 2147483647 353571 535 | 30.028 % |
2026.29/2027.23 c | 355954 | 90312 509242 1453383 | 2147483647 353764 535 | 30.028 % |
2028.29/2029.24 c | 356166 | 90312 509242 1453383 | 2147483647 353976 535 | 30.028 % |
2029.99/2030.94 c | 356399 | 90312 509242 1453383 | 2147483647 354209 535 | 30.028 % |
2032.69/2033.67 c | 356656 | 90312 509242 1453383 | 2147483647 354466 535 | 30.028 % |
2034.89/2035.83 c | 356938 | 90312 509242 1453383 | 2147483647 354748 535 | 30.028 % |
2037.99/2038.96 c | 357247 | 90312 509242 1453383 | 2147483647 355057 535 | 30.028 % |
2039.68/2040.67 c | 357588 | 90312 509242 1453383 | 2147483647 355398 535 | 30.028 % |
2043.38/2044.36 c | 357963 | 90312 509242 1453383 | 2147483647 355773 535 | 30.028 % |
2046.59/2047.57 c | 358374 | 90312 509242 1453383 | 2147483647 356184 535 | 30.028 % |
2051.08/2052.03 c | 358823 | 90312 509242 1453383 | 2147483647 356633 535 | 30.028 % |
2054.68/2055.60 c | 359319 | 90312 509242 1453383 | 2147483647 357129 535 | 30.028 % |
2059.48/2060.49 c | 359866 | 90312 509242 1453383 | 2147483647 357676 536 | 30.028 % |
2064.47/2065.46 c | 360463 | 90312 509242 1453383 | 2147483647 358273 536 | 30.028 % |
2069.87/2070.85 c | 361121 | 90312 509242 1453383 | 2147483647 358931 536 | 30.028 % |
2075.27/2076.26 c | 361844 | 90312 509242 1453383 | 2147483647 359654 537 | 30.028 % |
2083.07/2084.07 c | 362636 | 90312 509242 1453383 | 2147483647 360446 537 | 30.028 % |
2089.67/2090.63 c | 363507 | 90312 509242 1453383 | 2147483647 361316 537 | 30.029 % |
2097.16/2098.18 c | 364465 | 90312 509242 1453383 | 2147483647 362274 538 | 30.029 % |
2106.06/2107.03 c | 365519 | 90312 509242 1453383 | 2147483647 363328 538 | 30.029 % |
2114.25/2115.23 c | 366677 | 90312 509242 1453383 | 2147483647 364486 539 | 30.029 % |
2124.65/2125.67 c | 367951 | 90311 509242 1453383 | 2147483647 365759 540 | 30.030 % |
2137.05/2138.01 c | 369353 | 90311 509242 1453383 | 2147483647 367161 541 | 30.030 % |
2149.84/2150.86 c | 370896 | 90311 509242 1453383 | 2147483647 368704 543 | 30.030 % |
2164.94/2165.95 c | 372592 | 90311 509242 1453383 | 2147483647 370400 543 | 30.030 % |
2181.03/2182.08 c | 374456 | 90311 509242 1453383 | 2147483647 372264 544 | 30.030 % |
2199.52/2200.54 c | 376505 | 90311 509242 1453383 | 2147483647 374313 546 | 30.030 % |
2218.81/2219.89 c | 378761 | 90310 509242 1453383 | 2147483647 376568 547 | 30.032 % |
2242.40/2243.49 c | 381239 | 90310 509242 1453383 | 2147483647 379046 548 | 30.032 % |
2267.29/2268.35 c | 383964 | 90310 509242 1453383 | 2147483647 381771 549 | 30.032 % |
2294.07/2295.12 c | 386962 | 90310 509242 1453383 | 2147483647 384768 551 | 30.033 % |
2323.27/2324.38 c | 390259 | 90284 508952 1452633 | 2147483647 388014 552 | 30.035 % |
2353.05/2354.14 c | 393884 | 90284 508952 1452633 | 2147483647 391639 553 | 30.035 % |
2353.95/2355.08 c | 393986 | 90284 508952 1452633 | 2147483647 391741 553 | 30.035 % |
2355.15/2356.26 c | 394099 | 90284 508952 1452633 | 2147483647 391854 553 | 30.035 % |
2355.85/2356.98 c | 394220 | 90284 508952 1452633 | 2147483647 391975 553 | 30.035 % |
2357.14/2358.27 c | 394355 | 90284 508952 1452633 | 2147483647 392110 553 | 30.035 % |
2358.55/2359.65 c | 394504 | 90284 508952 1452633 | 2147483647 392259 553 | 30.035 % |
2359.45/2360.60 c | 394664 | 90284 508952 1452633 | 2147483647 392419 553 | 30.035 % |
2361.25/2362.38 c | 394840 | 90284 508952 1452633 | 2147483647 392595 553 | 30.035 % |
2363.44/2364.51 c | 395034 | 90284 508952 1452633 | 2147483647 392789 553 | 30.035 % |
2364.95/2366.09 c | 395246 | 90284 508952 1452633 | 2147483647 393001 553 | 30.035 % |
2366.94/2368.09 c | 395480 | 90284 508952 1452633 | 2147483647 393235 553 | 30.035 % |
2369.24/2370.37 c | 395737 | 90284 508952 1452633 | 2147483647 393492 553 | 30.035 % |
2371.35/2372.44 c | 396019 | 90284 508952 1452633 | 2147483647 393774 553 | 30.035 % |
2374.65/2375.70 c | 396328 | 90284 508952 1452633 | 2147483647 394083 553 | 30.035 % |
2377.94/2379.05 c | 396668 | 90283 508952 1452633 | 2147483647 394422 553 | 30.035 % |
2381.32/2382.44 c | 397041 | 90283 508952 1452633 | 2147483647 394795 554 | 30.035 % |
2384.52/2385.61 c | 397451 | 90283 508952 1452633 | 2147483647 395205 554 | 30.035 % |
2388.42/2389.57 c | 397903 | 90283 508952 1452633 | 2147483647 395657 554 | 30.035 % |
2392.72/2393.80 c | 398401 | 90283 508952 1452633 | 2147483647 396155 555 | 30.035 % |
2398.52/2399.65 c | 398948 | 90283 508952 1452633 | 2147483647 396702 555 | 30.035 % |
2405.32/2406.46 c | 399544 | 90283 508952 1452633 | 2147483647 397297 555 | 30.036 % |
2410.92/2412.08 c | 400200 | 90283 508952 1452633 | 2147483647 397953 555 | 30.036 % |
2416.12/2417.29 c | 400920 | 90280 508952 1452633 | 2147483647 398672 555 | 30.094 % |
2424.00/2425.11 c | 401715 | 90276 508952 1452633 | 2147483647 399466 555 | 30.122 % |
2432.01/2433.11 c | 402591 | 90276 508952 1452633 | 2147483647 400342 556 | 30.122 % |
2440.51/2441.66 c | 403549 | 90276 508952 1452633 | 2147483647 401300 556 | 30.122 % |
2450.20/2451.30 c | 404605 | 90275 508952 1452633 | 2147483647 402355 557 | 30.123 % |
2460.50/2461.67 c | 405765 | 90275 508952 1452633 | 2147483647 403515 558 | 30.123 % |
2470.98/2472.18 c | 407038 | 90275 508952 1452633 | 2147483647 404788 559 | 30.123 % |
2481.08/2482.27 c | 408438 | 90269 508952 1452633 | 2147483647 406187 558 | 30.152 % |
2495.78/2496.96 c | 409978 | 90266 508952 1452633 | 2147483647 407724 559 | 30.162 % |
2511.37/2512.57 c | 411672 | 90261 508952 1452633 | 2147483647 409416 559 | 30.171 % |
2527.36/2528.57 c | 413535 | 90258 508952 1452633 | 2147483647 411276 559 | 30.195 % |
2546.46/2547.66 c | 415584 | 90257 508952 1452633 | 2147483647 413324 560 | 30.196 % |
2564.74/2565.98 c | 417837 | 90257 508952 1452633 | 2147483647 415577 562 | 30.196 % |
2588.94/2590.14 c | 420322 | 90257 508952 1452633 | 2147483647 418062 563 | 30.196 % |
2614.42/2615.70 c | 423047 | 90257 508952 1452633 | 2147483647 420787 565 | 30.196 % |
2640.91/2642.11 c | 426045 | 90239 508952 1452633 | 2147483647 423781 565 | 30.231 % |
2665.69/2666.97 c | 429341 | 90239 508952 1452633 | 2147483647 427077 568 | 30.231 % |
2696.48/2697.78 c | 432966 | 90239 508952 1452633 | 2147483647 430702 569 | 30.231 % |
2731.68/2732.91 c | 436956 | 90234 508952 1452633 | 2147483647 434687 572 | 30.246 % |
2732.78/2734.06 c | 437056 | 90234 508952 1452633 | 2147483647 434787 572 | 30.246 % |
2733.68/2734.92 c | 437166 | 90234 508952 1452633 | 2147483647 434897 572 | 30.246 % |
2734.08/2735.38 c | 437287 | 90234 508952 1452633 | 2147483647 435018 571 | 30.246 % |
2735.28/2736.52 c | 437420 | 90233 508952 1452633 | 2147483647 435150 571 | 30.247 % |
2736.97/2738.24 c | 437568 | 90233 508952 1452633 | 2147483647 435298 571 | 30.247 % |
2738.67/2739.99 c | 437733 | 90233 508952 1452633 | 2147483647 435463 571 | 30.247 % |
2740.77/2742.10 c | 437911 | 90233 508952 1452633 | 2147483647 435641 571 | 30.247 % |
2742.76/2744.00 c | 438104 | 90233 508952 1452633 | 2147483647 435834 571 | 30.247 % |
2745.06/2746.35 c | 438321 | 90233 508952 1452633 | 2147483647 436051 571 | 30.247 % |
2747.46/2748.73 c | 438555 | 90233 508952 1452633 | 2147483647 436285 571 | 30.247 % |
2748.46/2749.75 c | 438811 | 90233 508952 1452633 | 2147483647 436541 571 | 30.247 % |
2751.27/2752.59 c | 439094 | 90233 508952 1452633 | 2147483647 436824 571 | 30.247 % |
2753.56/2754.87 c | 439403 | 90233 508952 1452633 | 2147483647 437133 571 | 30.247 % |
2756.36/2757.62 c | 439742 | 90233 508952 1452633 | 2147483647 437472 571 | 30.247 % |
2760.16/2761.43 c | 440114 | 90232 508952 1452633 | 2147483647 437843 571 | 30.248 % |
2763.56/2764.84 c | 440523 | 90232 508952 1452633 | 2147483647 438252 571 | 30.248 % |
2768.36/2769.64 c | 440972 | 90232 508952 1452633 | 2147483647 438701 571 | 30.248 % |
2772.75/2774.03 c | 441466 | 90232 508952 1452633 | 2147483647 439195 571 | 30.248 % |
2778.06/2779.31 c | 442008 | 90232 508952 1452633 | 2147483647 439737 571 | 30.248 % |
2781.76/2783.02 c | 442605 | 90232 508952 1452633 | 2147483647 440334 571 | 30.248 % |
2787.25/2788.56 c | 443260 | 90228 508952 1452633 | 2147483647 440987 571 | 30.256 % |
2795.55/2796.82 c | 443980 | 90228 508952 1452633 | 2147483647 441707 571 | 30.256 % |
2802.25/2803.56 c | 444773 | 90228 508952 1452633 | 2147483647 442500 572 | 30.256 % |
2811.74/2813.01 c | 445644 | 90228 508952 1452633 | 2147483647 443371 572 | 30.256 % |
2821.03/2822.31 c | 446602 | 90228 508952 1452633 | 2147483647 444329 573 | 30.256 % |
2831.03/2832.36 c | 447655 | 90228 508952 1452633 | 2147483647 445382 573 | 30.256 % |
2839.62/2840.96 c | 448813 | 90228 508952 1452633 | 2147483647 446540 573 | 30.256 % |
2851.93/2853.21 c | 450087 | 90228 508952 1452633 | 2147483647 447814 574 | 30.256 % |
2864.72/2866.00 c | 451489 | 90228 508952 1452633 | 2147483647 449216 574 | 30.256 % |
2882.21/2883.55 c | 453031 | 90228 508952 1452633 | 2147483647 450758 575 | 30.256 % |
2897.61/2898.96 c | 454730 | 90228 508952 1452633 | 2147483647 452457 575 | 30.256 % |
2914.10/2915.44 c | 456593 | 90228 508952 1452633 | 2147483647 454319 575 | 30.257 % |
2931.19/2932.54 c | 458643 | 90228 508952 1452633 | 2147483647 456369 575 | 30.257 % |
2953.58/2954.96 c | 460899 | 90228 508952 1452633 | 2147483647 458625 575 | 30.257 % |
2977.26/2978.65 c | 463377 | 89981 507288 1448255 | 2147483647 460915 575 | 30.275 % |
2996.86/2998.29 c | 466105 | 89981 507288 1448255 | 2147483647 463643 575 | 30.275 % |
3022.45/3023.82 c | 469104 | 89978 507288 1448255 | 2147483647 466641 576 | 30.286 % |
3049.33/3050.79 c | 472402 | 89978 507288 1448255 | 2147483647 469938 577 | 30.287 % |
3083.32/3084.80 c | 476027 | 89978 507288 1448255 | 2147483647 473563 578 | 30.287 % |
3119.31/3120.71 c | 480014 | 89978 507288 1448255 | 2147483647 477550 579 | 30.287 % |
3154.58/3156.05 c | 484400 | 89972 507288 1448255 | 2147483647 481934 581 | 30.305 % |
3156.18/3157.63 c | 484501 | 89972 507288 1448255 | 2147483647 482035 581 | 30.305 % |
3157.38/3158.90 c | 484612 | 89972 507288 1448255 | 2147483647 482146 581 | 30.305 % |
3159.19/3160.63 c | 484733 | 89972 507288 1448255 | 2147483647 482267 581 | 30.305 % |
3160.59/3162.04 c | 484867 | 89972 507288 1448255 | 2147483647 482401 581 | 30.305 % |
3161.99/3163.41 c | 485013 | 89972 507288 1448255 | 2147483647 482547 581 | 30.305 % |
3163.89/3165.33 c | 485176 | 89972 507288 1448255 | 2147483647 482710 581 | 30.305 % |
3165.68/3167.17 c | 485356 | 89972 507288 1448255 | 2147483647 482890 581 | 30.305 % |
3167.88/3169.39 c | 485550 | 89972 507288 1448255 | 2147483647 483084 581 | 30.305 % |
3170.08/3171.57 c | 485762 | 89972 507288 1448255 | 2147483647 483296 581 | 30.305 % |
3173.38/3174.82 c | 485995 | 89972 507288 1448255 | 2147483647 483529 581 | 30.305 % |
3175.98/3177.44 c | 486253 | 89972 507288 1448255 | 2147483647 483787 581 | 30.305 % |
3179.08/3180.54 c | 486535 | 89972 507288 1448255 | 2147483647 484069 581 | 30.305 % |
3182.67/3184.16 c | 486847 | 89970 507288 1448255 | 2147483647 484379 581 | 30.307 % |
3185.58/3187.07 c | 487186 | 89970 507288 1448255 | 2147483647 484718 581 | 30.307 % |
3189.16/3190.62 c | 487558 | 89970 507288 1448255 | 2147483647 485090 581 | 30.307 % |
3192.26/3193.78 c | 487968 | 89970 507288 1448255 | 2147483647 485500 581 | 30.307 % |
3196.86/3198.35 c | 488419 | 89970 507288 1448255 | 2147483647 485951 582 | 30.307 % |
3201.67/3203.13 c | 488912 | 89970 507288 1448255 | 2147483647 486444 582 | 30.307 % |
3205.56/3207.05 c | 489454 | 89970 507288 1448255 | 2147483647 486986 582 | 30.307 % |
3208.86/3210.30 c | 490053 | 89968 507288 1448255 | 2147483647 487583 581 | 30.308 % |
3216.86/3218.32 c | 490709 | 89968 507288 1448255 | 2147483647 488239 581 | 30.308 % |
3223.25/3224.77 c | 491429 | 89968 507288 1448255 | 2147483647 488959 581 | 30.308 % |
3230.45/3231.92 c | 492223 | 89968 507288 1448255 | 2147483647 489753 581 | 30.308 % |
3237.75/3239.20 c | 493094 | 89968 507288 1448255 | 2147483647 490624 582 | 30.308 % |
3248.34/3249.85 c | 494055 | 89968 507288 1448255 | 2147483647 491585 582 | 30.308 % |
3258.85/3260.33 c | 495110 | 89968 507288 1448255 | 2147483647 492640 583 | 30.308 % |
3273.84/3275.36 c | 496268 | 89968 507288 1448255 | 2147483647 493798 583 | 30.308 % |
3284.93/3286.49 c | 497542 | 89968 507288 1448255 | 2147483647 495072 584 | 30.308 % |
3295.63/3297.20 c | 498943 | 89968 507288 1448255 | 2147483647 496473 584 | 30.308 % |
3311.51/3313.01 c | 500483 | 89968 507288 1448255 | 2147483647 498013 584 | 30.308 % |
3330.11/3331.67 c | 502177 | 89968 507288 1448255 | 2147483647 499707 585 | 30.308 % |
3347.41/3348.97 c | 504040 | 89968 507288 1448255 | 2147483647 501570 586 | 30.308 % |
3362.70/3364.28 c | 506089 | 89968 507288 1448255 | 2147483647 503619 587 | 30.308 % |
3382.09/3383.64 c | 508342 | 89968 507288 1448255 | 2147483647 505872 587 | 30.308 % |
3406.58/3408.11 c | 510822 | 89968 507288 1448255 | 2147483647 508352 588 | 30.308 % |
3430.06/3431.65 c | 513547 | 89967 507288 1448255 | 2147483647 511076 590 | 30.309 % |
3460.64/3462.23 c | 516545 | 89967 507288 1448255 | 2147483647 514074 591 | 30.309 % |
3488.13/3489.75 c | 519843 | 89967 507288 1448255 | 2147483647 517372 593 | 30.309 % |
3511.12/3512.71 c | 523469 | 89967 507288 1448255 | 2147483647 520998 594 | 30.309 % |
3550.70/3552.31 c | 527456 | 89966 507288 1448255 | 2147483647 524984 595 | 30.310 % |
3600.68/3602.33 c | 531841 | 89952 507288 1448255 | 2147483647 529368 596 | 30.335 % |
3642.46/3644.17 c | 536664 | 89952 507288 1448255 | 2147483647 534191 597 | 30.335 % |
3643.96/3645.64 c | 536766 | 89952 507288 1448255 | 2147483647 534293 597 | 30.335 % |
3644.96/3646.65 c | 536876 | 89952 507288 1448255 | 2147483647 534403 597 | 30.335 % |
3646.46/3648.15 c | 536999 | 89952 507288 1448255 | 2147483647 534526 597 | 30.335 % |
3647.66/3649.36 c | 537132 | 89952 507288 1448255 | 2147483647 534659 597 | 30.335 % |
3648.96/3650.65 c | 537278 | 89952 507288 1448255 | 2147483647 534805 597 | 30.335 % |
3651.16/3652.85 c | 537439 | 89952 507288 1448255 | 2147483647 534966 597 | 30.335 % |
3653.67/3655.38 c | 537616 | 89952 507288 1448255 | 2147483647 535143 597 | 30.335 % |
3655.46/3657.16 c | 537809 | 89952 507288 1448255 | 2147483647 535336 597 | 30.335 % |
3657.76/3659.46 c | 538021 | 89952 507288 1448255 | 2147483647 535548 597 | 30.335 % |
3660.06/3661.72 c | 538254 | 89952 507288 1448255 | 2147483647 535781 597 | 30.335 % |
3662.85/3664.53 c | 538510 | 89952 507288 1448255 | 2147483647 536037 597 | 30.335 % |
3666.16/3667.89 c | 538792 | 89952 507288 1448255 | 2147483647 536319 597 | 30.335 % |
3667.76/3669.46 c | 539101 | 89952 507288 1448255 | 2147483647 536628 597 | 30.335 % |
3671.16/3672.87 c | 539442 | 89952 507288 1448255 | 2147483647 536969 597 | 30.335 % |
3674.85/3676.53 c | 539814 | 89952 507288 1448255 | 2147483647 537341 597 | 30.335 % |
3680.05/3681.74 c | 540227 | 89951 507288 1448255 | 2147483647 537753 597 | 30.338 % |
3684.15/3685.82 c | 540676 | 89951 507288 1448255 | 2147483647 538202 597 | 30.338 % |
3689.45/3691.16 c | 541170 | 89951 507288 1448255 | 2147483647 538696 597 | 30.338 % |
3696.14/3697.89 c | 541715 | 89951 507288 1448255 | 2147483647 539241 597 | 30.338 % |
3702.54/3704.22 c | 542311 | 89951 507288 1448255 | 2147483647 539837 597 | 30.338 % |
3709.34/3711.04 c | 542966 | 89951 507288 1448255 | 2147483647 540492 597 | 30.338 % |
3717.73/3719.46 c | 543688 | 89951 507288 1448255 | 2147483647 541214 598 | 30.338 % |
3726.13/3727.86 c | 544482 | 89951 507288 1448255 | 2147483647 542008 598 | 30.338 % |
3736.43/3738.20 c | 545355 | 89951 507288 1448255 | 2147483647 542880 598 | 30.342 % |
3744.93/3746.67 c | 546313 | 89951 507288 1448255 | 2147483647 543838 598 | 30.342 % |
3756.22/3757.93 c | 547366 | 89951 507288 1448255 | 2147483647 544891 598 | 30.342 % |
3770.32/3772.01 c | 548524 | 89951 507288 1448255 | 2147483647 546049 599 | 30.342 % |
3783.51/3785.24 c | 549798 | 89951 507288 1448255 | 2147483647 547323 600 | 30.342 % |
3799.00/3800.71 c | 551198 | 89951 507288 1448255 | 2147483647 548723 600 | 30.342 % |
3814.40/3816.14 c | 552739 | 89951 507288 1448255 | 2147483647 550264 600 | 30.342 % |
3832.99/3834.71 c | 554433 | 89951 507288 1448255 | 2147483647 551958 601 | 30.342 % |
3853.08/3854.82 c | 556298 | 89950 507288 1448255 | 2147483647 553822 602 | 30.342 % |
3875.47/3877.27 c | 558347 | 89886 506556 1446369 | 2147483647 555767 602 | 30.343 % |
3899.36/3901.19 c | 560600 | 89886 506556 1446369 | 2147483647 558020 604 | 30.343 % |
3930.65/3932.50 c | 563079 | 89885 506556 1446369 | 2147483647 560498 606 | 30.344 % |
3955.33/3957.18 c | 565804 | 89885 506556 1446369 | 2147483647 563223 607 | 30.344 % |
3985.42/3987.28 c | 568801 | 89885 506556 1446369 | 2147483647 566220 608 | 30.344 % |
4026.11/4027.91 c | 572097 | 89884 506556 1446369 | 2147483647 569515 610 | 30.345 % |
4062.70/4064.58 c | 575722 | 89884 506556 1446369 | 2147483647 573140 610 | 30.345 % |
4106.97/4108.83 c | 579711 | 89883 506556 1446369 | 2147483647 577128 611 | 30.347 % |
4156.25/4158.15 c | 584096 | 89883 506556 1446369 | 2147483647 581513 612 | 30.347 % |
4205.03/4206.92 c | 588920 | 89882 506556 1446369 | 2147483647 586336 613 | 30.348 % |
4261.11/4263.02 c | 594226 | 89881 506556 1446369 | 2147483647 591641 616 | 30.348 % |
4262.31/4264.25 c | 594327 | 89881 506556 1446369 | 2147483647 591742 616 | 30.349 % |
4263.31/4265.25 c | 594437 | 89881 506556 1446369 | 2147483647 591852 616 | 30.348 % |
4264.91/4266.85 c | 594561 | 89881 506556 1446369 | 2147483647 591976 616 | 30.348 % |
4267.10/4269.02 c | 594694 | 89881 506556 1446369 | 2147483647 592109 616 | 30.348 % |
4267.90/4269.86 c | 594840 | 89881 506556 1446369 | 2147483647 592255 616 | 30.348 % |
4269.70/4271.62 c | 595000 | 89881 506556 1446369 | 2147483647 592415 616 | 30.348 % |
4271.20/4273.14 c | 595177 | 89881 506556 1446369 | 2147483647 592592 616 | 30.348 % |
4272.31/4274.20 c | 595375 | 89880 506556 1446369 | 2147483647 592789 616 | 30.349 % |
4275.50/4277.45 c | 595588 | 89880 506556 1446369 | 2147483647 593002 616 | 30.349 % |
4278.30/4280.22 c | 595821 | 89880 506556 1446369 | 2147483647 593235 616 | 30.349 % |
4281.70/4283.68 c | 596082 | 89880 506556 1446369 | 2147483647 593496 616 | 30.349 % |
4285.50/4287.44 c | 596366 | 89880 506556 1446369 | 2147483647 593780 616 | 30.349 % |
4289.00/4290.90 c | 596675 | 89880 506556 1446369 | 2147483647 594089 616 | 30.349 % |
4292.90/4294.81 c | 597014 | 89880 506556 1446369 | 2147483647 594428 616 | 30.349 % |
4296.90/4298.89 c | 597386 | 89880 506556 1446369 | 2147483647 594800 616 | 30.349 % |
4302.69/4304.64 c | 597795 | 89880 506556 1446369 | 2147483647 595209 616 | 30.349 % |
4307.69/4309.67 c | 598244 | 89880 506556 1446369 | 2147483647 595658 616 | 30.349 % |
4313.59/4315.54 c | 598738 | 89879 506556 1446369 | 2147483647 596150 616 | 30.351 % |
4319.18/4321.13 c | 599281 | 89879 506556 1446369 | 2147483647 596693 616 | 30.351 % |
4326.88/4328.80 c | 599879 | 89879 506556 1446369 | 2147483647 597291 616 | 30.351 % |
4334.08/4336.07 c | 600534 | 89879 506556 1446369 | 2147483647 597946 616 | 30.351 % |
4342.48/4344.40 c | 601254 | 89879 506556 1446369 | 2147483647 598666 616 | 30.351 % |
4352.37/4354.36 c | 602046 | 89879 506556 1446369 | 2147483647 599457 616 | 30.352 % |
4361.16/4363.17 c | 602917 | 89879 506556 1446369 | 2147483647 600328 617 | 30.352 % |
4371.17/4373.18 c | 603884 | 89879 506556 1446369 | 2147483647 601295 617 | 30.352 % |
4385.06/4387.07 c | 604939 | 89879 506556 1446369 | 2147483647 602350 617 | 30.352 % |
4398.16/4400.17 c | 606098 | 89879 506556 1446369 | 2147483647 603509 617 | 30.352 % |
4412.14/4414.16 c | 607371 | 89878 506556 1446369 | 2147483647 604781 617 | 30.352 % |
4427.04/4429.04 c | 608771 | 89877 506556 1446369 | 2147483647 606180 618 | 30.365 % |
4443.24/4445.25 c | 610311 | 89877 506556 1446369 | 2147483647 607720 618 | 30.365 % |
4462.52/4464.54 c | 612005 | 89866 506556 1446369 | 2147483647 609413 618 | 30.375 % |
4481.11/4483.14 c | 613869 | 89866 506556 1446369 | 2147483647 611277 619 | 30.375 % |
4504.11/4506.20 c | 615919 | 89865 506556 1446369 | 2147483647 613326 619 | 30.376 % |
4534.09/4536.18 c | 618172 | 89864 506556 1446369 | 2147483647 615578 620 | 30.376 % |
4554.38/4556.41 c | 620653 | 89864 506556 1446369 | 2147483647 618059 620 | 30.376 % |
4587.07/4589.20 c | 623379 | 89864 506556 1446369 | 2147483647 620785 620 | 30.376 % |
4624.15/4626.20 c | 626377 | 89862 506556 1446369 | 2147483647 623781 621 | 30.378 % |
4663.44/4665.51 c | 629673 | 89862 506556 1446369 | 2147483647 627077 622 | 30.378 % |
4701.63/4703.78 c | 633298 | 89861 506556 1446369 | 2147483647 630701 622 | 30.379 % |
4750.80/4752.98 c | 637285 | 89861 506556 1446369 | 2147483647 634688 624 | 30.379 % |
4803.59/4805.73 c | 641671 | 89861 506556 1446369 | 2147483647 639074 624 | 30.379 % |
4852.64/4854.85 c | 646496 | 89861 506556 1446369 | 2147483647 643899 627 | 30.379 % |
4916.32/4918.52 c | 651801 | 89861 506556 1446369 | 2147483647 649203 628 | 30.379 % |
4980.49/4982.74 c | 657637 | 89861 506556 1446369 | 2147483647 655039 629 | 30.379 % |
4983.00/4985.21 c | 657741 | 89839 506309 1445729 | 2147483647 655103 629 | 30.380 % |
4984.39/4986.66 c | 657854 | 89839 506309 1445729 | 2147483647 655216 629 | 30.380 % |
4986.09/4988.32 c | 657975 | 89839 506309 1445729 | 2147483647 655337 629 | 30.380 % |
4987.39/4989.64 c | 658108 | 89839 506309 1445729 | 2147483647 655470 629 | 30.379 % |
4989.08/4991.30 c | 658255 | 89839 506309 1445729 | 2147483647 655617 629 | 30.379 % |
4990.87/4993.12 c | 658415 | 89839 506309 1445729 | 2147483647 655777 629 | 30.379 % |
4993.87/4996.15 c | 658592 | 89839 506309 1445729 | 2147483647 655954 629 | 30.379 % |
4995.57/4997.84 c | 658785 | 89839 506309 1445729 | 2147483647 656147 629 | 30.379 % |
4999.18/5001.45 c | 658997 | 89839 506309 1445729 | 2147483647 656359 629 | 30.379 % |
5002.27/5004.60 c | 659230 | 89839 506309 1445729 | 2147483647 656592 629 | 30.379 % |
5004.67/5006.90 c | 659490 | 89838 506309 1445729 | 2147483647 656851 629 | 30.380 % |
5006.27/5008.59 c | 659771 | 89837 506309 1445729 | 2147483647 657131 629 | 30.381 % |
5011.26/5013.57 c | 660083 | 89837 506309 1445729 | 2147483647 657443 629 | 30.381 % |
5014.87/5017.17 c | 660423 | 89837 506309 1445729 | 2147483647 657783 629 | 30.381 % |
5019.97/5022.23 c | 660795 | 89836 506309 1445729 | 2147483647 658154 629 | 30.382 % |
5024.57/5026.82 c | 661206 | 89836 506309 1445729 | 2147483647 658565 629 | 30.382 % |
5028.76/5031.06 c | 661655 | 89836 506309 1445729 | 2147483647 659014 629 | 30.382 % |
5034.76/5037.07 c | 662150 | 89829 506309 1445729 | 2147483647 659507 629 | 30.408 % |
5040.65/5042.90 c | 662694 | 89829 506309 1445729 | 2147483647 660051 629 | 30.408 % |
5049.76/5052.07 c | 663290 | 89829 506309 1445729 | 2147483647 660647 629 | 30.408 % |
5057.55/5059.84 c | 663946 | 89829 506309 1445729 | 2147483647 661303 629 | 30.408 % |
5066.45/5068.72 c | 664667 | 89829 506309 1445729 | 2147483647 662024 629 | 30.408 % |
5075.75/5078.03 c | 665459 | 89828 506309 1445729 | 2147483647 662815 629 | 30.409 % |
5086.33/5088.67 c | 666330 | 89828 506309 1445729 | 2147483647 663686 629 | 30.409 % |
5096.33/5098.64 c | 667289 | 89828 506309 1445729 | 2147483647 664645 629 | 30.409 % |
5110.82/5113.15 c | 668343 | 89828 506309 1445729 | 2147483647 665699 630 | 30.409 % |
5127.21/5129.56 c | 669502 | 89828 506309 1445729 | 2147483647 666858 630 | 30.409 % |
5141.70/5144.09 c | 670775 | 89828 506309 1445729 | 2147483647 668131 630 | 30.409 % |
5161.10/5163.42 c | 672175 | 89828 506309 1445729 | 2147483647 669531 631 | 30.409 % |
5173.88/5176.21 c | 673715 | 89825 506309 1445729 | 2147483647 671068 630 | 30.411 % |
5192.88/5195.22 c | 675410 | 89825 506309 1445729 | 2147483647 672763 631 | 30.411 % |
5214.97/5217.31 c | 677274 | 89825 506309 1445729 | 2147483647 674627 632 | 30.411 % |
5241.56/5243.97 c | 679323 | 89822 506309 1445729 | 2147483647 676673 632 | 30.414 % |
5272.05/5274.46 c | 681576 | 89822 506309 1445729 | 2147483647 678926 633 | 30.414 % |
5298.94/5301.34 c | 684057 | 89822 506309 1445729 | 2147483647 681407 633 | 30.414 % |
5334.03/5336.42 c | 686782 | 89822 506309 1445729 | 2147483647 684132 634 | 30.414 % |
5371.41/5373.82 c | 689779 | 89822 506309 1445729 | 2147483647 687129 634 | 30.414 % |
5420.59/5423.02 c | 693076 | 89821 506309 1445729 | 2147483647 690425 636 | 30.414 % |
5461.28/5463.73 c | 696703 | 89821 506309 1445729 | 2147483647 694052 637 | 30.414 % |
5507.45/5509.91 c | 700691 | 89821 506309 1445729 | 2147483647 698040 637 | 30.414 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1837038-1242857003/watcher-1837038-1242857003 -o /tmp/evaluation-result-1837038-1242857003/solver-1837038-1242857003 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837038-1242857003.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.08 0.02 0.01 3/65 17714
/proc/meminfo: memFree=1696568/2055920 swapFree=4175964/4192956
[pid=17714] ppid=17712 vsize=5356 CPUtime=0
/proc/17714/stat : 17714 (SatELiteGTI) S 17712 17714 17677 0 -1 4194304 276 0 0 0 0 0 0 0 19 0 1 0 313729518 5484544 235 1992294400 4194304 4889804 548682068816 18446744073709551615 251601322066 0 0 4100 65536 18446744071563648864 0 0 17 1 0 0
/proc/17714/statm: 1339 235 195 169 0 50 0
[pid=17715] ppid=17714 vsize=5356 CPUtime=0
/proc/17715/stat : 17715 (SatELiteGTI) R 17714 17714 17677 0 -1 4194368 51 25 0 0 0 0 0 0 21 0 1 0 313729518 5484544 238 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4096 65538 0 0 0 17 1 0 0
/proc/17715/statm: 1339 238 198 169 0 50 0
[pid=17717] ppid=17715 vsize=0 CPUtime=0
/proc/17717/stat : 17717 (sed) Z 17715 17714 17677 0 -1 4194316 163 0 0 0 0 0 0 0 18 0 1 0 313729519 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744071563351923 0 0 17 0 0 0
/proc/17717/statm: 0 0 0 0 0 0 0
[startup+0.0476971 s]
/proc/loadavg: 0.08 0.02 0.01 3/65 17714
/proc/meminfo: memFree=1696568/2055920 swapFree=4175964/4192956
[pid=17714] ppid=17712 vsize=5356 CPUtime=0
/proc/17714/stat : 17714 (SatELiteGTI) S 17712 17714 17677 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 313729518 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17714/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101701 s]
/proc/loadavg: 0.08 0.02 0.01 3/65 17714
/proc/meminfo: memFree=1696568/2055920 swapFree=4175964/4192956
[pid=17714] ppid=17712 vsize=5356 CPUtime=0
/proc/17714/stat : 17714 (SatELiteGTI) S 17712 17714 17677 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 313729518 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17714/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301723 s]
/proc/loadavg: 0.08 0.02 0.01 3/65 17714
/proc/meminfo: memFree=1696568/2055920 swapFree=4175964/4192956
[pid=17714] ppid=17712 vsize=5356 CPUtime=0
/proc/17714/stat : 17714 (SatELiteGTI) S 17712 17714 17677 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 313729518 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17714/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701768 s]
/proc/loadavg: 0.08 0.02 0.01 3/65 17714
/proc/meminfo: memFree=1696568/2055920 swapFree=4175964/4192956
[pid=17714] ppid=17712 vsize=5356 CPUtime=0
/proc/17714/stat : 17714 (SatELiteGTI) S 17712 17714 17677 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 313729518 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17714/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50185 s]
/proc/loadavg: 0.08 0.02 0.01 2/67 17719
/proc/meminfo: memFree=1586600/2055920 swapFree=4175964/4192956
[pid=17714] ppid=17712 vsize=5356 CPUtime=0
/proc/17714/stat : 17714 (SatELiteGTI) S 17712 17714 17677 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 313729518 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17714/statm: 1339 237 197 169 0 50 0
[pid=17719] ppid=17714 vsize=126308 CPUtime=1.49
/proc/17719/stat : 17719 (SatELite_releas) R 17714 17714 17677 0 -1 4194304 31699 0 0 0 132 17 0 0 25 0 1 0 313729519 129339392 28931 1992294400 134512640 135223648 4294956128 18446744073709551615 134737406 0 0 4096 3 0 0 0 17 0 0 0
/proc/17719/statm: 31577 28931 76 173 0 31402 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 131664
[startup+3.10103 s]
/proc/loadavg: 0.08 0.02 0.01 2/67 17719
/proc/meminfo: memFree=1572008/2055920 swapFree=4175964/4192956
[pid=17714] ppid=17712 vsize=5356 CPUtime=0
/proc/17714/stat : 17714 (SatELiteGTI) S 17712 17714 17677 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 313729518 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17714/statm: 1339 237 197 169 0 50 0
[pid=17719] ppid=17714 vsize=139428 CPUtime=3.09
/proc/17719/stat : 17719 (SatELite_releas) R 17714 17714 17677 0 -1 4194304 34181 0 0 0 290 19 0 0 25 0 1 0 313729519 142774272 31413 1992294400 134512640 135223648 4294956128 18446744073709551615 134586986 0 0 4096 3 0 0 0 17 0 0 0
/proc/17719/statm: 34857 31413 76 173 0 34682 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 144784
[startup+6.30138 s]
/proc/loadavg: 0.23 0.05 0.02 2/67 17719
/proc/meminfo: memFree=1565224/2055920 swapFree=4175964/4192956
[pid=17714] ppid=17712 vsize=5356 CPUtime=0
/proc/17714/stat : 17714 (SatELiteGTI) S 17712 17714 17677 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 313729518 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17714/statm: 1339 237 197 169 0 50 0
[pid=17719] ppid=17714 vsize=141580 CPUtime=6.29
/proc/17719/stat : 17719 (SatELite_releas) R 17714 17714 17677 0 -1 4194304 38232 0 0 0 607 22 0 0 25 0 1 0 313729519 144977920 32124 1992294400 134512640 135223648 4294956128 18446744073709551615 134586989 0 0 4096 3 0 0 0 17 0 0 0
/proc/17719/statm: 35395 32124 76 173 0 35220 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 146936
[startup+12.7021 s]
/proc/loadavg: 0.37 0.08 0.03 2/67 17720
/proc/meminfo: memFree=1630632/2055920 swapFree=4175964/4192956
[pid=17714] ppid=17712 vsize=5356 CPUtime=8.96
/proc/17714/stat : 17714 (SatELiteGTI) S 17712 17714 17677 0 -1 4194304 336 48904 0 0 0 0 862 34 16 0 1 0 313729518 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17714/statm: 1339 239 197 169 0 50 0
[pid=17720] ppid=17714 vsize=43744 CPUtime=3.71
/proc/17720/stat : 17720 (minisat_static) R 17714 17714 17677 0 -1 4194304 10327 0 0 0 366 5 0 0 25 0 1 0 313730415 44793856 10276 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/17720/statm: 10936 10276 77 171 0 10763 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 49100
[startup+25.5015 s]
/proc/loadavg: 0.73 0.18 0.06 2/67 17720
/proc/meminfo: memFree=1629224/2055920 swapFree=4175964/4192956
[pid=17714] ppid=17712 vsize=5356 CPUtime=8.96
/proc/17714/stat : 17714 (SatELiteGTI) S 17712 17714 17677 0 -1 4194304 336 48904 0 0 0 0 862 34 16 0 1 0 313729518 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17714/statm: 1339 239 197 169 0 50 0
[pid=17720] ppid=17714 vsize=45600 CPUtime=16.51
/proc/17720/stat : 17720 (minisat_static) R 17714 17714 17677 0 -1 4194304 10791 0 0 0 1645 6 0 0 25 0 1 0 313730415 46694400 10740 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 0 0 0
/proc/17720/statm: 11400 10740 77 171 0 11227 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 50956
[startup+51.1013 s]
/proc/loadavg: 1.14 0.32 0.11 2/67 17720
/proc/meminfo: memFree=1624488/2055920 swapFree=4175964/4192956
[pid=17714] ppid=17712 vsize=5356 CPUtime=8.96
/proc/17714/stat : 17714 (SatELiteGTI) S 17712 17714 17677 0 -1 4194304 336 48904 0 0 0 0 862 34 16 0 1 0 313729518 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17714/statm: 1339 239 197 169 0 50 0
[pid=17720] ppid=17714 vsize=51456 CPUtime=42.1
/proc/17720/stat : 17720 (minisat_static) R 17714 17714 17677 0 -1 4194304 12245 0 0 0 4202 8 0 0 25 0 1 0 313730415 52690944 12194 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/17720/statm: 12864 12194 77 171 0 12691 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 56812
[startup+102.306 s]
/proc/loadavg: 1.06 0.42 0.15 2/67 17720
/proc/meminfo: memFree=1607976/2055920 swapFree=4175964/4192956
[pid=17714] ppid=17712 vsize=5356 CPUtime=8.96
/proc/17714/stat : 17714 (SatELiteGTI) S 17712 17714 17677 0 -1 4194304 336 48904 0 0 0 0 862 34 16 0 1 0 313729518 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17714/statm: 1339 239 197 169 0 50 0
[pid=17720] ppid=17714 vsize=67904 CPUtime=93.28
/proc/17720/stat : 17720 (minisat_static) R 17714 17714 17677 0 -1 4194304 16387 0 0 0 9315 13 0 0 25 0 1 0 313730415 69533696 16336 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/17720/statm: 16976 16336 77 171 0 16803 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 73260
[startup+162.302 s]
/proc/loadavg: 1.02 0.52 0.20 2/67 17720
/proc/meminfo: memFree=1586096/2055920 swapFree=4175964/4192956
[pid=17714] ppid=17712 vsize=5356 CPUtime=8.96
/proc/17714/stat : 17714 (SatELiteGTI) S 17712 17714 17677 0 -1 4194304 336 48904 0 0 0 0 862 34 16 0 1 0 313729518 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17714/statm: 1339 239 197 169 0 50 0
[pid=17720] ppid=17714 vsize=89936 CPUtime=153.25
/proc/17720/stat : 17720 (minisat_static) R 17714 17714 17677 0 -1 4194304 21888 0 0 0 15305 20 0 0 25 0 1 0 313730415 92094464 21837 1992294400 134512640 135215339 4294956240 18446744073709551615 134532650 0 0 4096 3 0 0 0 17 0 0 0
/proc/17720/statm: 22484 21837 77 171 0 22311 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 95292
[startup+222.301 s]
/proc/loadavg: 1.01 0.61 0.25 2/67 17720
/proc/meminfo: memFree=1561072/2055920 swapFree=4175964/4192956
[pid=17714] ppid=17712 vsize=5356 CPUtime=8.96
/proc/17714/stat : 17714 (SatELiteGTI) S 17712 17714 17677 0 -1 4194304 336 48904 0 0 0 0 862 34 16 0 1 0 313729518 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17714/statm: 1339 239 197 169 0 50 0
[pid=17720] ppid=17714 vsize=114836 CPUtime=213.22
/proc/17720/stat : 17720 (minisat_static) R 17714 17714 17677 0 -1 4194304 28077 0 0 0 21295 27 0 0 25 0 1 0 313730415 117592064 28026 1992294400 134512640 135215339 4294956240 18446744073709551615 134528721 0 0 4096 3 0 0 0 17 0 0 0
/proc/17720/statm: 28709 28026 77 171 0 28536 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 120192
[startup+282.302 s]
/proc/loadavg: 1.00 0.68 0.29 2/67 17720
/proc/meminfo: memFree=1536368/2055920 swapFree=4175964/4192956
[pid=17714] ppid=17712 vsize=5356 CPUtime=8.96
/proc/17714/stat : 17714 (SatELiteGTI) S 17712 17714 17677 0 -1 4194304 336 48904 0 0 0 0 862 34 16 0 1 0 313729518 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17714/statm: 1339 239 197 169 0 50 0
[pid=17720] ppid=17714 vsize=139660 CPUtime=273.2
/proc/17720/stat : 17720 (minisat_static) R 17714 17714 17677 0 -1 4194304 34315 0 0 0 27287 33 0 0 25 0 1 0 313730415 143011840 34264 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/17720/statm: 34915 34264 77 171 0 34742 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 145016
[startup+342.301 s]
/proc/loadavg: 1.00 0.73 0.33 2/67 17720
/proc/meminfo: memFree=1511536/2055920 swapFree=4175964/4192956
[pid=17714] ppid=17712 vsize=5356 CPUtime=8.96
/proc/17714/stat : 17714 (SatELiteGTI) S 17712 17714 17677 0 -1 4194304 336 48904 0 0 0 0 862 34 16 0 1 0 313729518 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17714/statm: 1339 239 197 169 0 50 0
[pid=17720] ppid=17714 vsize=164344 CPUtime=333.18
/proc/17720/stat : 17720 (minisat_static) R 17714 17714 17677 0 -1 4194304 40445 0 0 0 33278 40 0 0 25 0 1 0 313730415 168288256 40394 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17720/statm: 41086 40394 77 171 0 40913 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 169700
[startup+402.302 s]
/proc/loadavg: 1.00 0.78 0.37 2/67 17720
/proc/meminfo: memFree=1486448/2055920 swapFree=4175964/4192956
[pid=17714] ppid=17712 vsize=5356 CPUtime=8.96
/proc/17714/stat : 17714 (SatELiteGTI) S 17712 17714 17677 0 -1 4194304 336 48904 0 0 0 0 862 34 16 0 1 0 313729518 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17714/statm: 1339 239 197 169 0 50 0
[pid=17720] ppid=17714 vsize=189392 CPUtime=393.15
################
# More data... #
################
/proc/17720/statm: 416725 415897 77 171 0 416552 0
Current children cumulated CPU time (s) 4840.15
Current children cumulated vsize (KiB) 1672256
[startup+4902.3 s]
/proc/loadavg: 1.02 0.99 0.91 2/67 17728
/proc/meminfo: memFree=16240/2055920 swapFree=4175964/4192956
[pid=17714] ppid=17712 vsize=5356 CPUtime=8.96
/proc/17714/stat : 17714 (SatELiteGTI) S 17712 17714 17677 0 -1 4194304 336 48904 0 0 0 0 862 34 16 0 1 0 313729518 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17714/statm: 1339 239 197 169 0 50 0
[pid=17720] ppid=17714 vsize=1684168 CPUtime=4891.16
/proc/17720/stat : 17720 (minisat_static) R 17714 17714 17677 0 -1 4194304 420274 0 0 0 488743 373 0 0 25 0 1 0 313730415 1724588032 420223 1992294400 134512640 135215339 4294956240 18446744073709551615 134529083 0 0 4096 3 0 0 0 17 0 0 0
/proc/17720/statm: 421042 420223 77 171 0 420869 0
Current children cumulated CPU time (s) 4900.12
Current children cumulated vsize (KiB) 1689524
[startup+4962.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/67 17728
/proc/meminfo: memFree=16048/2055920 swapFree=4175964/4192956
[pid=17714] ppid=17712 vsize=5356 CPUtime=8.96
/proc/17714/stat : 17714 (SatELiteGTI) S 17712 17714 17677 0 -1 4194304 336 48904 0 0 0 0 862 34 16 0 1 0 313729518 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17714/statm: 1339 239 197 169 0 50 0
[pid=17720] ppid=17714 vsize=1698164 CPUtime=4951.13
/proc/17720/stat : 17720 (minisat_static) R 17714 17714 17677 0 -1 4194304 423782 0 0 0 494736 377 0 0 25 0 1 0 313730415 1738919936 423731 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 0 0 0
/proc/17720/statm: 424541 423731 77 171 0 424368 0
Current children cumulated CPU time (s) 4960.09
Current children cumulated vsize (KiB) 1703520
[startup+5022.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/67 17728
/proc/meminfo: memFree=15792/2055920 swapFree=4175964/4192956
[pid=17714] ppid=17712 vsize=5356 CPUtime=8.96
/proc/17714/stat : 17714 (SatELiteGTI) S 17712 17714 17677 0 -1 4194304 336 48904 0 0 0 0 862 34 16 0 1 0 313729518 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17714/statm: 1339 239 197 169 0 50 0
[pid=17720] ppid=17714 vsize=1710780 CPUtime=5011.11
/proc/17720/stat : 17720 (minisat_static) R 17714 17714 17677 0 -1 4194304 426924 0 0 0 500730 381 0 0 25 0 1 0 313730415 1751838720 426873 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 0 0 0
/proc/17720/statm: 427695 426873 77 171 0 427522 0
Current children cumulated CPU time (s) 5020.07
Current children cumulated vsize (KiB) 1716136
[startup+5082.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/67 17728
/proc/meminfo: memFree=15600/2055920 swapFree=4175964/4192956
[pid=17714] ppid=17712 vsize=5356 CPUtime=8.96
/proc/17714/stat : 17714 (SatELiteGTI) S 17712 17714 17677 0 -1 4194304 336 48904 0 0 0 0 862 34 16 0 1 0 313729518 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17714/statm: 1339 239 197 169 0 50 0
[pid=17720] ppid=17714 vsize=1724716 CPUtime=5071.07
/proc/17720/stat : 17720 (minisat_static) R 17714 17714 17677 0 -1 4194304 430391 0 0 0 506724 383 0 0 25 0 1 0 313730415 1766109184 430340 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/17720/statm: 431179 430340 77 171 0 431006 0
Current children cumulated CPU time (s) 5080.03
Current children cumulated vsize (KiB) 1730072
[startup+5142.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/67 17728
/proc/meminfo: memFree=15024/2055920 swapFree=4175964/4192956
[pid=17714] ppid=17712 vsize=5356 CPUtime=8.96
/proc/17714/stat : 17714 (SatELiteGTI) S 17712 17714 17677 0 -1 4194304 336 48904 0 0 0 0 862 34 16 0 1 0 313729518 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17714/statm: 1339 239 197 169 0 50 0
[pid=17720] ppid=17714 vsize=1740724 CPUtime=5131.04
/proc/17720/stat : 17720 (minisat_static) R 17714 17714 17677 0 -1 4194304 434400 0 0 0 512718 386 0 0 25 0 1 0 313730415 1782501376 434349 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/17720/statm: 435181 434349 77 171 0 435008 0
Current children cumulated CPU time (s) 5140
Current children cumulated vsize (KiB) 1746080
[startup+5202.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/67 17728
/proc/meminfo: memFree=16048/2055920 swapFree=4175964/4192956
[pid=17714] ppid=17712 vsize=5356 CPUtime=8.96
/proc/17714/stat : 17714 (SatELiteGTI) S 17712 17714 17677 0 -1 4194304 336 48904 0 0 0 0 862 34 16 0 1 0 313729518 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17714/statm: 1339 239 197 169 0 50 0
[pid=17720] ppid=17714 vsize=1756292 CPUtime=5191.02
/proc/17720/stat : 17720 (minisat_static) R 17714 17714 17677 0 -1 4194304 438308 0 0 0 518713 389 0 0 25 0 1 0 313730415 1798443008 438257 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/17720/statm: 439073 438257 77 171 0 438900 0
Current children cumulated CPU time (s) 5199.98
Current children cumulated vsize (KiB) 1761648
[startup+5262.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/67 17728
/proc/meminfo: memFree=16176/2055920 swapFree=4175964/4192956
[pid=17714] ppid=17712 vsize=5356 CPUtime=8.96
/proc/17714/stat : 17714 (SatELiteGTI) S 17712 17714 17677 0 -1 4194304 336 48904 0 0 0 0 862 34 16 0 1 0 313729518 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17714/statm: 1339 239 197 169 0 50 0
[pid=17720] ppid=17714 vsize=1772988 CPUtime=5250.99
/proc/17720/stat : 17720 (minisat_static) R 17714 17714 17677 0 -1 4194304 442484 0 0 0 524707 392 0 0 25 0 1 0 313730415 1815539712 442433 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 0 0 0
/proc/17720/statm: 443247 442433 77 171 0 443074 0
Current children cumulated CPU time (s) 5259.95
Current children cumulated vsize (KiB) 1778344
[startup+5322.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/67 17728
/proc/meminfo: memFree=15408/2055920 swapFree=4175964/4192956
[pid=17714] ppid=17712 vsize=5356 CPUtime=8.96
/proc/17714/stat : 17714 (SatELiteGTI) S 17712 17714 17677 0 -1 4194304 336 48904 0 0 0 0 862 34 16 0 1 0 313729518 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17714/statm: 1339 239 197 169 0 50 0
[pid=17720] ppid=17714 vsize=1787884 CPUtime=5310.97
/proc/17720/stat : 17720 (minisat_static) R 17714 17714 17677 0 -1 4194304 446197 0 0 0 530701 396 0 0 25 0 1 0 313730415 1830793216 446146 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/17720/statm: 446971 446146 77 171 0 446798 0
Current children cumulated CPU time (s) 5319.93
Current children cumulated vsize (KiB) 1793240
[startup+5382.31 s]
/proc/loadavg: 1.00 0.99 0.91 2/67 17728
/proc/meminfo: memFree=15408/2055920 swapFree=4175964/4192956
[pid=17714] ppid=17712 vsize=5356 CPUtime=8.96
/proc/17714/stat : 17714 (SatELiteGTI) S 17712 17714 17677 0 -1 4194304 336 48904 0 0 0 0 862 34 16 0 1 0 313729518 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17714/statm: 1339 239 197 169 0 50 0
[pid=17720] ppid=17714 vsize=1802072 CPUtime=5370.95
/proc/17720/stat : 17720 (minisat_static) R 17714 17714 17677 0 -1 4194304 449749 0 0 0 536696 399 0 0 25 0 1 0 313730415 1845321728 449698 1992294400 134512640 135215339 4294956240 18446744073709551615 134528802 0 0 4096 3 0 0 0 17 0 0 0
/proc/17720/statm: 450518 449698 77 171 0 450345 0
Current children cumulated CPU time (s) 5379.91
Current children cumulated vsize (KiB) 1807428
[startup+5442.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/67 17728
/proc/meminfo: memFree=16048/2055920 swapFree=4175964/4192956
[pid=17714] ppid=17712 vsize=5356 CPUtime=8.96
/proc/17714/stat : 17714 (SatELiteGTI) S 17712 17714 17677 0 -1 4194304 336 48904 0 0 0 0 862 34 16 0 1 0 313729518 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17714/statm: 1339 239 197 169 0 50 0
[pid=17720] ppid=17714 vsize=1816840 CPUtime=5430.92
/proc/17720/stat : 17720 (minisat_static) R 17714 17714 17677 0 -1 4194304 453448 0 0 0 542689 403 0 0 25 0 1 0 313730415 1860444160 453397 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/17720/statm: 454210 453397 77 171 0 454037 0
Current children cumulated CPU time (s) 5439.88
Current children cumulated vsize (KiB) 1822196
[startup+5502.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/67 17728
/proc/meminfo: memFree=15792/2055920 swapFree=4175964/4192956
[pid=17714] ppid=17712 vsize=5356 CPUtime=8.96
/proc/17714/stat : 17714 (SatELiteGTI) S 17712 17714 17677 0 -1 4194304 336 48904 0 0 0 0 862 34 16 0 1 0 313729518 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17714/statm: 1339 239 197 169 0 50 0
[pid=17720] ppid=17714 vsize=1833848 CPUtime=5490.89
/proc/17720/stat : 17720 (minisat_static) R 17714 17714 17677 0 -1 4194304 457701 0 0 0 548682 407 0 0 25 0 1 0 313730415 1877860352 457650 1992294400 134512640 135215339 4294956240 18446744073709551615 134529148 0 0 4096 3 0 0 0 17 0 0 0
/proc/17720/statm: 458462 457650 77 171 0 458289 0
Current children cumulated CPU time (s) 5499.85
Current children cumulated vsize (KiB) 1839204
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+5515.8 s]
/proc/loadavg: 1.00 0.99 0.91 2/67 17728
/proc/meminfo: memFree=14832/2055920 swapFree=4175964/4192956
[pid=17714] ppid=17712 vsize=5356 CPUtime=8.96
/proc/17714/stat : 17714 (SatELiteGTI) S 17712 17714 17677 0 -1 4194304 336 48904 0 0 0 0 862 34 16 0 1 0 313729518 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17714/statm: 1339 239 197 169 0 50 0
[pid=17720] ppid=17714 vsize=1837848 CPUtime=5504.4
/proc/17720/stat : 17720 (minisat_static) R 17714 17714 17677 0 -1 4194304 458684 0 0 0 550032 408 0 0 25 0 1 0 313730415 1881956352 458633 1992294400 134512640 135215339 4294956240 18446744073709551615 134528721 0 0 4096 3 0 0 0 17 0 0 0
/proc/17720/statm: 459462 458633 77 171 0 459289 0
Current children cumulated CPU time (s) 5513.36
Current children cumulated vsize (KiB) 1843204
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 17714 and gives
# childrusage.ru_utime.tv_sec=8
# childrusage.ru_utime.tv_usec=621689
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=343947
# CPU time returned by wait4() is 8.96564
# while last known CPU time is 5513.36
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 5515.81
CPU time (s): 5513.36
CPU user time (s): 5508.94
CPU system time (s): 4.42
CPU usage (%): 99.9555
Max. virtual memory (cumulated for all children) (KiB): 1843204
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.62169
system time used= 0.343947
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49240
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= 14
involuntary context switches= 38
runsolver used 5.43117 second user time and 14.6838 second system time
The end
Begin job on node91 at 2009-05-21 00:03:25
IDJOB=1837038
IDBENCH=20348
IDSOLVER=674
FILE ID=node91/1837038-1242857003
PBS_JOBID= 9328428
Free space on /tmp= 66272 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT07/industrial/anbulagan/hard-sat/partial-5-17-s.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1837038-1242857003/watcher-1837038-1242857003 -o /tmp/evaluation-result-1837038-1242857003/solver-1837038-1242857003 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837038-1242857003.cnf
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= cd6cb5ea01688ce5beec6e625055ac90
RANDOM SEED=1240015634
node91.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.241
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.241
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: 1697112 kB
Buffers: 34320 kB
Cached: 282728 kB
SwapCached: 10576 kB
Active: 215812 kB
Inactive: 113044 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1697112 kB
SwapTotal: 4192956 kB
SwapFree: 4175964 kB
Dirty: 23368 kB
Writeback: 0 kB
Mapped: 17028 kB
Slab: 15836 kB
Committed_AS: 946012 kB
PageTables: 1368 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66248 MiB
End job on node91 at 2009-05-21 01:35:23