0.00/0.00 c Parsing...
1.08/1.19 c ==============================================================================
1.08/1.19 c | | ORIGINAL | LEARNT | |
1.08/1.19 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
1.08/1.19 c ==============================================================================
1.08/1.19 c | 0 | 1195096 2901426 | 358528 0 0 nan | 0.000 % |
7.98/8.05 c | 0 | 838748 2352556 | -- 0 -- -- | -- | -102684/26671
7.98/8.06 c ==============================================================================
7.98/8.06 c Result : #vars: 121873 #clauses: 838748 #literals: 2352556
7.98/8.06 c CPU time: 7.77882 s
7.98/8.06 c ==============================================================================
8.78/8.89 c This is MiniSat 2.0 beta
8.78/8.89 c WARNING: for repeatability, setting FPU to use double precision
8.78/8.89 c ============================[ Problem Statistics ]=============================
8.78/8.90 c | |
8.87/8.90 c | Number of variables: 121873 |
8.87/8.90 c | Number of clauses: 838748 |
8.87/9.42 c | Parsing time: 0.46 s |
8.87/9.45 c ============================[ Search Statistics ]==============================
8.87/9.45 c | Conflicts | ORIGINAL | LEARNT | Progress |
8.87/9.45 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
8.87/9.45 c ===============================================================================
8.87/9.45 c | 0 | 121873 838748 2352556 | 279582 0 nan | 0.000 % |
8.87/9.61 c | 104 | 121870 838748 2352556 | 279582 102 81 | 0.252 % |
8.87/9.75 c | 206 | 121870 838748 2352556 | 279582 204 80 | 0.252 % |
9.86/9.94 c | 306 | 121868 838748 2352556 | 279582 304 71 | 0.252 % |
10.26/10.36 c | 419 | 121637 838748 2352556 | 279582 413 58 | 5.218 % |
10.36/10.45 c | 521 | 121637 838748 2352556 | 279582 515 52 | 5.218 % |
10.36/10.49 c | 632 | 121637 838748 2352556 | 279582 626 51 | 5.218 % |
10.46/10.55 c | 755 | 121637 838748 2352556 | 279582 749 49 | 5.218 % |
10.56/10.62 c | 855 | 121636 838748 2352556 | 279582 848 48 | 5.224 % |
10.66/10.70 c | 965 | 121636 838748 2352556 | 279582 958 47 | 5.224 % |
10.76/10.80 c | 1089 | 121636 838748 2352556 | 279582 1082 55 | 5.224 % |
10.86/10.93 c | 1222 | 115506 788648 2221139 | 279582 1211 58 | 5.224 % |
10.96/11.03 c | 1322 | 115500 788648 2221139 | 279582 1310 63 | 5.229 % |
11.16/11.26 c | 1434 | 115371 788648 2221139 | 279582 1418 60 | 5.575 % |
11.26/11.34 c | 1555 | 115371 788648 2221139 | 279582 1539 63 | 5.575 % |
11.46/11.55 c | 1689 | 115322 788648 2221139 | 279582 1673 64 | 5.575 % |
11.56/11.69 c | 1835 | 115259 788648 2221139 | 279582 1816 65 | 7.288 % |
11.66/11.78 c | 1936 | 115259 788648 2221139 | 279582 1917 63 | 7.288 % |
11.86/11.90 c | 2046 | 115259 788648 2221139 | 279582 2027 62 | 7.288 % |
11.86/11.99 c | 2167 | 115259 788648 2221139 | 279582 2148 60 | 7.288 % |
11.96/12.09 c | 2300 | 115259 788648 2221139 | 279582 2281 61 | 7.288 % |
12.16/12.29 c | 2446 | 115258 788648 2221139 | 279582 2426 60 | 7.506 % |
12.46/12.54 c | 2607 | 112725 769033 2171143 | 279582 2566 59 | 7.506 % |
12.56/12.69 c | 2707 | 112721 769033 2171143 | 279582 2665 59 | 7.516 % |
12.76/12.88 c | 2817 | 112703 769033 2171143 | 279582 2774 59 | 7.539 % |
12.96/13.00 c | 2938 | 112703 769033 2171143 | 279582 2895 61 | 7.539 % |
13.06/13.16 c | 3071 | 112701 769033 2171143 | 279582 3027 60 | 7.550 % |
13.16/13.25 c | 3220 | 112700 769033 2171143 | 279582 3175 60 | 7.554 % |
13.36/13.45 c | 3380 | 112700 769033 2171143 | 279582 3335 59 | 7.554 % |
13.56/13.69 c | 3556 | 112605 769033 2171143 | 279582 3509 58 | 8.783 % |
13.76/13.81 c | 3656 | 112605 769033 2171143 | 279582 3609 58 | 8.783 % |
13.86/13.91 c | 3768 | 112605 769033 2171143 | 279582 3721 58 | 8.783 % |
14.06/14.10 c | 3889 | 111092 756638 2139183 | 279582 3830 58 | 9.430 % |
14.16/14.25 c | 4022 | 111078 756638 2139183 | 279582 3962 59 | 9.512 % |
14.26/14.37 c | 4170 | 111055 756638 2139183 | 279582 4108 59 | 9.707 % |
14.56/14.66 c | 4333 | 111000 756638 2139183 | 279582 4271 59 | 9.707 % |
14.66/14.77 c | 4511 | 111000 756638 2139183 | 279582 4449 58 | 9.707 % |
14.86/14.99 c | 4704 | 111000 756638 2139183 | 279582 4642 61 | 9.707 % |
15.36/15.46 c | 4804 | 110614 756638 2139183 | 279582 4736 60 | 11.449 % |
15.56/15.69 c | 4914 | 106383 725019 2059235 | 279582 4823 59 | 12.781 % |
15.76/15.86 c | 5035 | 106383 725019 2059235 | 279582 4944 59 | 12.781 % |
16.06/16.12 c | 5168 | 106185 725019 2059235 | 279582 5074 58 | 13.638 % |
16.16/16.24 c | 5314 | 106087 725019 2059235 | 279582 5220 58 | 13.638 % |
16.46/16.52 c | 5474 | 105970 725019 2059235 | 279582 5378 57 | 14.264 % |
16.66/16.75 c | 5657 | 105941 725019 2059235 | 279582 5554 56 | 15.091 % |
16.96/17.00 c | 5850 | 105920 725019 2059235 | 279582 5744 56 | 15.131 % |
17.25/17.37 c | 6062 | 105920 725019 2059235 | 279582 5956 56 | 15.131 % |
17.46/17.51 c | 6162 | 103433 705891 2011815 | 279582 6028 56 | 15.131 % |
17.56/17.65 c | 6272 | 103433 705891 2011815 | 279582 6138 56 | 15.131 % |
17.75/17.82 c | 6393 | 103433 705891 2011815 | 279582 6259 56 | 15.131 % |
17.85/17.96 c | 6532 | 103433 705891 2011815 | 279582 6398 57 | 15.131 % |
18.05/18.16 c | 6678 | 103418 705891 2011815 | 279582 6543 57 | 15.206 % |
18.25/18.39 c | 6841 | 103386 705891 2011815 | 279582 6706 56 | 15.206 % |
18.45/18.59 c | 7017 | 103373 705891 2011815 | 279582 6881 56 | 15.229 % |
19.05/19.10 c | 7210 | 100792 686849 1962827 | 279582 7046 56 | 17.298 % |
19.45/19.54 c | 7423 | 100403 686849 1962827 | 279582 7244 56 | 19.293 % |
19.85/19.91 c | 7656 | 100205 686849 1962827 | 279582 7467 56 | 21.284 % |
20.05/20.12 c | 7756 | 99981 686849 1962827 | 279582 7566 56 | 21.350 % |
20.35/20.43 c | 7866 | 99693 686849 1962827 | 279582 7675 55 | 21.359 % |
20.65/20.71 c | 7988 | 95708 654806 1882020 | 279582 7781 55 | 22.075 % |
20.85/20.90 c | 8121 | 95705 654806 1882020 | 279582 7912 55 | 22.110 % |
21.05/21.14 c | 8267 | 95674 654806 1882020 | 279582 8055 55 | 22.179 % |
21.45/21.59 c | 8427 | 95651 654806 1882020 | 279582 8213 54 | 22.477 % |
21.95/22.02 c | 8603 | 95643 654806 1882020 | 279582 8385 54 | 23.899 % |
22.25/22.36 c | 8796 | 92686 633094 1825638 | 279582 8546 54 | 23.991 % |
22.55/22.66 c | 9011 | 92609 633094 1825638 | 279582 8758 54 | 24.216 % |
22.85/22.91 c | 9244 | 92603 633094 1825638 | 279582 8989 55 | 24.232 % |
23.35/23.42 c | 9503 | 92480 633094 1825638 | 279582 9244 55 | 24.914 % |
23.45/23.52 c | 9606 | 92467 633094 1825638 | 279582 9345 55 | 25.411 % |
23.55/23.67 c | 9716 | 92467 633094 1825638 | 279582 9455 56 | 25.411 % |
23.75/23.83 c | 9837 | 90904 620920 1794348 | 279582 9536 55 | 25.411 % |
23.95/24.07 c | 9972 | 90859 620920 1794348 | 279582 9670 56 | 25.604 % |
24.15/24.29 c | 10122 | 90812 620920 1794348 | 2147483647 9819 56 | 25.755 % |
24.45/24.50 c | 10283 | 90810 620920 1794348 | 2147483647 9979 56 | 25.764 % |
24.65/24.72 c | 10459 | 90808 620920 1794348 | 2147483647 10154 56 | 25.773 % |
25.25/25.39 c | 10652 | 90758 620920 1794348 | 2147483647 10345 56 | 25.938 % |
25.65/25.74 c | 10865 | 90258 617837 1787160 | 2147483647 10553 56 | 25.963 % |
26.05/26.16 c | 11098 | 90238 617837 1787160 | 2147483647 10785 56 | 25.973 % |
26.64/26.74 c | 11354 | 90116 617837 1787160 | 2147483647 11036 56 | 26.398 % |
27.24/27.31 c | 11635 | 89687 606014 1753452 | 2147483647 11300 56 | 26.409 % |
27.34/27.42 c | 11736 | 89687 606014 1753452 | 2147483647 11401 56 | 26.409 % |
27.54/27.68 c | 11846 | 89684 606014 1753452 | 2147483647 11509 56 | 26.464 % |
27.74/27.82 c | 11967 | 89684 606014 1753452 | 2147483647 11630 56 | 26.464 % |
27.95/28.07 c | 12102 | 89684 606014 1753452 | 2147483647 11765 57 | 26.464 % |
28.15/28.25 c | 12248 | 89684 606014 1753452 | 2147483647 11911 57 | 26.464 % |
28.55/28.67 c | 12408 | 89684 606014 1753452 | 2147483647 12071 57 | 26.464 % |
28.65/28.77 c | 12586 | 89684 606014 1753452 | 2147483647 12249 57 | 26.464 % |
28.84/28.98 c | 12779 | 89684 606014 1753452 | 2147483647 12442 58 | 26.464 % |
29.04/29.13 c | 12991 | 89620 605632 1752607 | 2147483647 12653 58 | 26.464 % |
29.55/29.60 c | 13224 | 89581 605632 1752607 | 2147483647 12881 58 | 26.923 % |
29.74/29.88 c | 13480 | 89567 605632 1752607 | 2147483647 13137 59 | 26.923 % |
30.34/30.41 c | 13761 | 89517 605632 1752607 | 2147483647 13415 59 | 26.931 % |
30.65/30.77 c | 14070 | 89517 605632 1752607 | 2147483647 13724 60 | 26.931 % |
30.75/30.87 c | 14170 | 89051 598224 1731925 | 2147483647 13810 61 | 26.931 % |
30.94/31.06 c | 14280 | 89050 598224 1731925 | 2147483647 13918 61 | 27.124 % |
31.14/31.24 c | 14403 | 89042 598224 1731925 | 2147483647 14040 61 | 27.136 % |
31.24/31.37 c | 14537 | 89042 598224 1731925 | 2147483647 14174 61 | 27.136 % |
31.34/31.45 c | 14683 | 89042 598224 1731925 | 2147483647 14320 61 | 27.136 % |
31.54/31.66 c | 14844 | 89018 598224 1731925 | 2147483647 14480 61 | 27.177 % |
31.64/31.75 c | 15020 | 89018 598224 1731925 | 2147483647 14656 61 | 27.177 % |
32.04/32.12 c | 15213 | 89003 598224 1731925 | 2147483647 14848 61 | 27.177 % |
32.54/32.65 c | 15425 | 88647 595362 1724745 | 2147483647 15050 61 | 27.263 % |
32.85/32.92 c | 15662 | 88647 595362 1724745 | 2147483647 15287 62 | 27.263 % |
33.14/33.25 c | 15920 | 88646 595362 1724745 | 2147483647 15544 63 | 27.310 % |
33.54/33.66 c | 16201 | 88645 595362 1724745 | 2147483647 15824 64 | 27.319 % |
34.14/34.20 c | 16514 | 88612 595362 1724745 | 2147483647 16133 63 | 27.659 % |
34.64/34.73 c | 16854 | 88566 595362 1724745 | 2147483647 16471 64 | 27.872 % |
34.74/34.90 c | 16954 | 87905 590292 1711749 | 2147483647 16543 64 | 27.872 % |
35.04/35.12 c | 17073 | 87905 590292 1711749 | 2147483647 16662 64 | 27.872 % |
35.23/35.32 c | 17195 | 87905 590292 1711749 | 2147483647 16783 64 | 27.977 % |
35.33/35.46 c | 17328 | 87905 590292 1711749 | 2147483647 16916 64 | 27.977 % |
35.63/35.73 c | 17478 | 87904 590292 1711749 | 2147483647 17066 65 | 27.977 % |
35.94/36.00 c | 17638 | 87902 590292 1711749 | 2147483647 17225 65 | 27.987 % |
36.14/36.25 c | 17816 | 87902 590292 1711749 | 2147483647 17403 66 | 27.987 % |
36.34/36.45 c | 18009 | 87899 590292 1711749 | 2147483647 17595 65 | 27.996 % |
36.44/36.59 c | 18221 | 87899 590292 1711749 | 2147483647 17807 66 | 27.996 % |
36.74/36.80 c | 18454 | 87899 590292 1711749 | 2147483647 18040 66 | 27.996 % |
37.04/37.17 c | 18710 | 87749 589554 1710023 | 2147483647 18293 66 | 28.000 % |
37.54/37.61 c | 18993 | 87749 589554 1710023 | 2147483647 18576 66 | 28.000 % |
37.84/37.90 c | 19303 | 87749 589554 1710023 | 2147483647 18886 67 | 28.000 % |
38.44/38.55 c | 19645 | 87749 589554 1710023 | 2147483647 19228 68 | 28.000 % |
39.04/39.13 c | 20018 | 87749 589554 1710023 | 2147483647 19601 68 | 28.000 % |
39.14/39.29 c | 20119 | 87749 589554 1710023 | 2147483647 19702 68 | 28.000 % |
39.44/39.58 c | 20229 | 87738 589457 1709752 | 2147483647 19810 68 | 28.009 % |
39.54/39.66 c | 20350 | 87738 589457 1709752 | 2147483647 19931 68 | 28.009 % |
39.93/40.02 c | 20485 | 87738 589457 1709752 | 2147483647 20066 67 | 28.009 % |
40.13/40.28 c | 20632 | 87737 589457 1709752 | 2147483647 20212 67 | 28.019 % |
40.43/40.59 c | 20794 | 87737 589457 1709752 | 2147483647 20374 68 | 28.019 % |
40.73/40.82 c | 20971 | 87736 589457 1709752 | 2147483647 20550 68 | 28.019 % |
40.93/41.05 c | 21164 | 87736 589457 1709752 | 2147483647 20743 68 | 28.019 % |
41.33/41.45 c | 21376 | 87736 589457 1709752 | 2147483647 20955 69 | 28.019 % |
41.64/41.74 c | 21610 | 87736 589457 1709752 | 2147483647 21189 69 | 28.019 % |
41.93/42.07 c | 21869 | 87736 589457 1709752 | 2147483647 21448 69 | 28.019 % |
42.33/42.47 c | 22153 | 87725 589348 1709448 | 2147483647 21732 69 | 28.019 % |
42.74/42.84 c | 22468 | 87725 589348 1709448 | 2147483647 22047 69 | 28.019 % |
43.33/43.47 c | 22807 | 87725 589348 1709448 | 2147483647 22386 69 | 28.019 % |
43.83/44.00 c | 23181 | 87722 589348 1709448 | 2147483647 22759 70 | 28.028 % |
44.53/44.64 c | 23590 | 87722 589348 1709448 | 2147483647 23168 70 | 28.028 % |
44.73/44.82 c | 23690 | 87722 589348 1709448 | 2147483647 23268 70 | 28.028 % |
44.93/45.01 c | 23802 | 87714 589255 1709185 | 2147483647 23379 70 | 28.028 % |
45.12/45.20 c | 23924 | 87714 589255 1709185 | 2147483647 23501 70 | 28.028 % |
45.22/45.32 c | 24057 | 87714 589255 1709185 | 2147483647 23634 70 | 28.028 % |
45.42/45.55 c | 24205 | 87714 589255 1709185 | 2147483647 23782 71 | 28.028 % |
45.72/45.88 c | 24367 | 87714 589255 1709185 | 2147483647 23944 71 | 28.028 % |
46.03/46.11 c | 24543 | 87714 589255 1709185 | 2147483647 24120 71 | 28.028 % |
46.42/46.51 c | 24736 | 87626 589255 1709185 | 2147483647 24311 71 | 28.195 % |
46.72/46.83 c | 24948 | 87626 589255 1709185 | 2147483647 24523 71 | 28.195 % |
47.23/47.33 c | 25183 | 87623 589255 1709185 | 2147483647 24757 72 | 28.232 % |
47.62/47.79 c | 25440 | 87607 589255 1709185 | 2147483647 25013 72 | 28.277 % |
48.12/48.27 c | 25724 | 87411 587087 1703585 | 2147483647 25272 72 | 28.277 % |
48.43/48.52 c | 26034 | 87408 587087 1703585 | 2147483647 25580 72 | 28.302 % |
48.83/48.98 c | 26378 | 87398 587087 1703585 | 2147483647 25924 73 | 28.302 % |
49.63/49.75 c | 26752 | 87394 587087 1703585 | 2147483647 26297 73 | 28.311 % |
50.33/50.41 c | 27161 | 87388 587087 1703585 | 2147483647 26703 74 | 28.328 % |
51.03/51.10 c | 27610 | 87388 587087 1703585 | 2147483647 27152 74 | 28.328 % |
51.13/51.25 c | 27710 | 87349 586297 1701386 | 2147483647 27221 74 | 28.328 % |
51.33/51.40 c | 27821 | 87349 586297 1701386 | 2147483647 27332 74 | 28.328 % |
51.53/51.62 c | 27942 | 87349 586297 1701386 | 2147483647 27453 74 | 28.328 % |
51.73/51.88 c | 28081 | 87348 586297 1701386 | 2147483647 27591 74 | 28.329 % |
51.93/52.03 c | 28228 | 87344 586297 1701386 | 2147483647 27736 74 | 28.343 % |
52.13/52.27 c | 28388 | 87344 586297 1701386 | 2147483647 27896 75 | 28.343 % |
52.43/52.59 c | 28564 | 87344 586297 1701386 | 2147483647 28072 75 | 28.343 % |
52.83/52.91 c | 28759 | 87342 586297 1701386 | 2147483647 28266 75 | 28.345 % |
53.13/53.23 c | 28974 | 87342 586297 1701386 | 2147483647 28481 75 | 28.345 % |
53.43/53.50 c | 29209 | 87342 586297 1701386 | 2147483647 28715 76 | 28.346 % |
53.73/53.84 c | 29465 | 87341 586297 1701386 | 2147483647 28971 76 | 28.346 % |
54.13/54.23 c | 29752 | 87341 586297 1701386 | 2147483647 29258 76 | 28.346 % |
54.63/54.73 c | 30063 | 87327 586108 1700879 | 2147483647 29569 78 | 28.346 % |
55.13/55.29 c | 30403 | 87325 586108 1700879 | 2147483647 29907 79 | 28.348 % |
55.53/55.65 c | 30775 | 87322 586108 1700879 | 2147483647 30278 79 | 28.355 % |
56.22/56.36 c | 31184 | 87322 586108 1700879 | 2147483647 30687 80 | 28.355 % |
56.92/57.04 c | 31635 | 87322 586108 1700879 | 2147483647 31138 80 | 28.355 % |
57.63/57.78 c | 32128 | 87278 585435 1699003 | 2147483647 31523 81 | 28.386 % |
57.83/57.97 c | 32228 | 87278 585435 1699003 | 2147483647 31623 81 | 28.386 % |
58.03/58.16 c | 32339 | 87257 585435 1699003 | 2147483647 31732 81 | 28.462 % |
58.33/58.46 c | 32462 | 87234 585435 1699003 | 2147483647 31855 82 | 28.462 % |
58.63/58.71 c | 32598 | 87234 585435 1699003 | 2147483647 31991 82 | 28.462 % |
58.93/59.00 c | 32744 | 87234 585435 1699003 | 2147483647 32137 82 | 28.462 % |
59.13/59.26 c | 32904 | 87234 585435 1699003 | 2147483647 32297 82 | 28.462 % |
59.42/59.53 c | 33087 | 87234 585435 1699003 | 2147483647 32480 82 | 28.462 % |
59.92/60.01 c | 33282 | 87234 585435 1699003 | 2147483647 32675 82 | 28.462 % |
60.43/60.52 c | 33494 | 87219 585435 1699003 | 2147483647 32885 82 | 28.507 % |
60.72/60.81 c | 33727 | 87217 585435 1699003 | 2147483647 33117 83 | 28.514 % |
61.02/61.14 c | 33983 | 87217 585435 1699003 | 2147483647 33373 84 | 28.514 % |
61.53/61.64 c | 34265 | 87217 585435 1699003 | 2147483647 33655 84 | 28.514 % |
62.12/62.22 c | 34584 | 87122 584202 1695899 | 2147483647 33911 84 | 28.514 % |
62.52/62.61 c | 34927 | 87121 584202 1695899 | 2147483647 34253 85 | 28.515 % |
62.82/62.93 c | 35299 | 87121 584202 1695899 | 2147483647 34625 85 | 28.515 % |
63.62/63.77 c | 35708 | 87116 584202 1695899 | 2147483647 35032 85 | 28.519 % |
64.32/64.42 c | 36157 | 87110 584202 1695899 | 2147483647 35480 86 | 28.545 % |
65.42/65.53 c | 36650 | 87110 584202 1695899 | 2147483647 35973 87 | 28.545 % |
66.42/66.58 c | 37193 | 87081 583967 1695296 | 2147483647 36512 87 | 28.557 % |
66.62/66.75 c | 37293 | 87081 583967 1695296 | 2147483647 36612 87 | 28.557 % |
66.82/66.97 c | 37405 | 87081 583967 1695296 | 2147483647 36724 87 | 28.557 % |
67.12/67.20 c | 37526 | 87081 583967 1695296 | 2147483647 36845 87 | 28.557 % |
67.42/67.58 c | 37659 | 87081 583967 1695296 | 2147483647 36978 87 | 28.557 % |
67.72/67.86 c | 37807 | 87081 583967 1695296 | 2147483647 37126 87 | 28.557 % |
68.13/68.24 c | 37968 | 87078 583967 1695296 | 2147483647 37286 87 | 28.565 % |
68.42/68.56 c | 38147 | 87078 583967 1695296 | 2147483647 37465 88 | 28.565 % |
68.52/68.69 c | 38340 | 87078 583967 1695296 | 2147483647 37658 88 | 28.565 % |
68.82/68.91 c | 38552 | 87078 583967 1695296 | 2147483647 37870 88 | 28.565 % |
69.23/69.30 c | 38786 | 87078 583967 1695296 | 2147483647 38104 88 | 28.565 % |
69.72/69.81 c | 39043 | 87077 583967 1695296 | 2147483647 38360 88 | 28.571 % |
70.12/70.27 c | 39325 | 87076 583967 1695296 | 2147483647 38641 89 | 28.572 % |
70.42/70.53 c | 39634 | 87076 583967 1695296 | 2147483647 38950 88 | 28.572 % |
71.02/71.11 c | 39978 | 87036 583682 1694541 | 2147483647 39280 89 | 28.595 % |
71.52/71.60 c | 40350 | 87032 583682 1694541 | 2147483647 39651 89 | 28.611 % |
72.11/72.24 c | 40761 | 87025 583682 1694541 | 2147483647 40061 90 | 28.612 % |
72.81/72.92 c | 41212 | 87025 583682 1694541 | 2147483647 40512 90 | 28.612 % |
73.71/73.85 c | 41707 | 87021 583682 1694541 | 2147483647 41005 90 | 28.617 % |
74.81/74.96 c | 42251 | 87021 583682 1694541 | 2147483647 41549 92 | 28.617 % |
75.91/76.08 c | 42847 | 86984 582991 1692654 | 2147483647 42003 93 | 28.644 % |
76.21/76.34 c | 42947 | 86983 582991 1692654 | 2147483647 42102 93 | 28.652 % |
76.31/76.45 c | 43057 | 86903 582991 1692654 | 2147483647 42211 93 | 29.148 % |
76.61/76.78 c | 43178 | 86853 582991 1692654 | 2147483647 42332 93 | 29.148 % |
76.81/76.96 c | 43312 | 86853 582991 1692654 | 2147483647 42466 93 | 29.148 % |
77.21/77.34 c | 43459 | 86853 582991 1692654 | 2147483647 42613 93 | 29.148 % |
77.51/77.64 c | 43624 | 86801 582991 1692654 | 2147483647 42776 93 | 29.466 % |
77.71/77.84 c | 43800 | 86801 582991 1692654 | 2147483647 42952 93 | 29.466 % |
77.91/78.04 c | 43993 | 86800 582991 1692654 | 2147483647 43144 94 | 29.474 % |
78.11/78.26 c | 44207 | 86799 582991 1692654 | 2147483647 43357 94 | 29.475 % |
78.31/78.47 c | 44440 | 86799 582991 1692654 | 2147483647 43590 95 | 29.475 % |
78.71/78.80 c | 44697 | 86799 582991 1692654 | 2147483647 43847 95 | 29.475 % |
79.12/79.24 c | 44979 | 86799 582991 1692654 | 2147483647 44129 95 | 29.475 % |
79.71/79.84 c | 45289 | 86799 582991 1692654 | 2147483647 44439 95 | 29.475 % |
80.31/80.48 c | 45630 | 86795 582991 1692654 | 2147483647 44779 95 | 29.486 % |
81.21/81.31 c | 46003 | 85938 568933 1654211 | 2147483647 45021 96 | 29.486 % |
81.51/81.69 c | 46412 | 85938 568933 1654211 | 2147483647 45430 96 | 29.486 % |
82.31/82.47 c | 46861 | 85931 568933 1654211 | 2147483647 45877 97 | 29.505 % |
83.21/83.39 c | 47354 | 85927 568933 1654211 | 2147483647 46369 98 | 29.511 % |
84.21/84.39 c | 47899 | 85924 568933 1654211 | 2147483647 46912 98 | 29.521 % |
85.50/85.65 c | 48495 | 85924 568933 1654211 | 2147483647 47508 99 | 29.521 % |
86.61/86.78 c | 49155 | 85917 568933 1654211 | 2147483647 48164 100 | 29.740 % |
86.91/87.04 c | 49255 | 85625 563869 1639995 | 2147483647 48234 100 | 29.750 % |
87.11/87.25 c | 49365 | 85623 563869 1639995 | 2147483647 48342 100 | 29.761 % |
87.31/87.49 c | 49499 | 85623 563869 1639995 | 2147483647 48476 99 | 29.761 % |
87.61/87.71 c | 49632 | 85621 563869 1639995 | 2147483647 48606 99 | 29.827 % |
87.71/87.86 c | 49778 | 85621 563869 1639995 | 2147483647 48752 100 | 29.827 % |
88.11/88.20 c | 49938 | 85620 563869 1639995 | 2147483647 48911 100 | 29.828 % |
88.31/88.47 c | 50117 | 85615 563869 1639995 | 2147483647 49089 100 | 29.837 % |
88.61/88.72 c | 50312 | 85615 563869 1639995 | 2147483647 49284 100 | 29.837 % |
89.20/89.35 c | 50524 | 85602 563869 1639995 | 2147483647 49495 101 | 29.856 % |
89.60/89.70 c | 50758 | 85601 563869 1639995 | 2147483647 49727 101 | 29.865 % |
89.90/90.06 c | 51014 | 85599 563869 1639995 | 2147483647 49982 101 | 29.871 % |
90.30/90.49 c | 51296 | 85599 563869 1639995 | 2147483647 50264 101 | 29.871 % |
91.00/91.15 c | 51605 | 85599 563869 1639995 | 2147483647 50573 101 | 29.871 % |
91.50/91.69 c | 51950 | 85595 563869 1639995 | 2147483647 50916 101 | 29.881 % |
92.00/92.17 c | 52323 | 85593 563869 1639995 | 2147483647 51288 102 | 29.890 % |
92.80/93.00 c | 52732 | 85519 563869 1639995 | 2147483647 51694 103 | 30.497 % |
93.70/93.88 c | 53181 | 84703 547849 1595364 | 2147483647 51734 103 | 30.499 % |
94.20/94.35 c | 53676 | 84703 547849 1595364 | 2147483647 52229 103 | 30.499 % |
95.20/95.37 c | 54220 | 84702 547849 1595364 | 2147483647 52772 104 | 30.501 % |
96.50/96.67 c | 54818 | 84702 547849 1595364 | 2147483647 53370 105 | 30.501 % |
97.51/97.69 c | 55473 | 84702 547849 1595364 | 2147483647 54025 106 | 30.501 % |
98.60/98.78 c | 56194 | 84702 547849 1595364 | 2147483647 54746 108 | 30.501 % |
98.81/98.97 c | 56296 | 84701 547849 1595364 | 2147483647 54847 108 | 30.502 % |
99.00/99.14 c | 56406 | 84701 547849 1595364 | 2147483647 54957 108 | 30.502 % |
99.20/99.39 c | 56529 | 84701 547849 1595364 | 2147483647 55080 108 | 30.502 % |
99.40/99.55 c | 56666 | 84701 547849 1595364 | 2147483647 55217 108 | 30.502 % |
99.60/99.78 c | 56814 | 84699 547849 1595364 | 2147483647 55363 108 | 30.504 % |
99.70/99.88 c | 56975 | 84699 547849 1595364 | 2147483647 55524 108 | 30.504 % |
99.90/100.09 c | 57154 | 84699 547849 1595364 | 2147483647 55703 108 | 30.504 % |
100.50/100.61 c | 57352 | 84617 547849 1595364 | 2147483647 55899 108 | 30.630 % |
100.90/101.04 c | 57564 | 84617 547849 1595364 | 2147483647 56111 108 | 30.630 % |
101.60/101.71 c | 57798 | 84543 547031 1593425 | 2147483647 56287 109 | 30.630 % |
102.10/102.21 c | 58054 | 84542 547031 1593425 | 2147483647 56542 109 | 30.631 % |
102.59/102.77 c | 58338 | 84533 547031 1593425 | 2147483647 56822 109 | 30.649 % |
103.31/103.42 c | 58650 | 84533 547031 1593425 | 2147483647 57133 109 | 30.738 % |
104.00/104.13 c | 58989 | 84533 547031 1593425 | 2147483647 57472 110 | 30.738 % |
104.70/104.82 c | 59362 | 84533 547031 1593425 | 2147483647 57845 110 | 30.738 % |
105.20/105.39 c | 59775 | 84533 547031 1593425 | 2147483647 58258 111 | 30.738 % |
105.80/105.97 c | 60226 | 84533 547031 1593425 | 2147483647 58709 112 | 30.738 % |
106.50/106.60 c | 60719 | 84533 547031 1593425 | 2147483647 59202 112 | 30.738 % |
107.50/107.68 c | 61263 | 84532 547031 1593425 | 2147483647 59745 112 | 30.739 % |
108.39/108.50 c | 61859 | 84529 547031 1593425 | 2147483647 60339 112 | 30.743 % |
109.09/109.22 c | 62515 | 84529 547031 1593425 | 2147483647 60995 113 | 30.743 % |
110.29/110.47 c | 63237 | 84405 544678 1586827 | 2147483647 61647 113 | 30.743 % |
111.40/111.50 c | 64029 | 84401 544678 1586827 | 2147483647 62438 114 | 30.753 % |
111.60/111.74 c | 64129 | 84397 544678 1586827 | 2147483647 62536 114 | 30.790 % |
111.90/112.01 c | 64243 | 84396 544678 1586827 | 2147483647 62649 114 | 30.791 % |
112.00/112.20 c | 64366 | 84395 544678 1586827 | 2147483647 62770 114 | 30.818 % |
112.30/112.40 c | 64503 | 84393 544678 1586827 | 2147483647 62906 114 | 30.819 % |
112.40/112.59 c | 64649 | 84393 544678 1586827 | 2147483647 63052 114 | 30.819 % |
112.79/112.93 c | 64809 | 84378 544678 1586827 | 2147483647 63212 114 | 30.819 % |
113.10/113.29 c | 64988 | 84366 544678 1586827 | 2147483647 63389 114 | 31.167 % |
113.59/113.76 c | 65183 | 84366 544678 1586827 | 2147483647 63584 114 | 31.167 % |
113.89/114.08 c | 65395 | 84364 544678 1586827 | 2147483647 63794 114 | 31.169 % |
114.20/114.33 c | 65630 | 84363 544678 1586827 | 2147483647 64028 114 | 31.169 % |
114.89/115.02 c | 65887 | 84363 544678 1586827 | 2147483647 64285 114 | 31.169 % |
115.19/115.39 c | 66168 | 84361 544678 1586827 | 2147483647 64565 115 | 31.176 % |
115.59/115.78 c | 66478 | 84361 544678 1586827 | 2147483647 64875 115 | 31.176 % |
116.19/116.33 c | 66817 | 84360 544678 1586827 | 2147483647 65213 115 | 31.182 % |
116.59/116.79 c | 67192 | 84360 544678 1586827 | 2147483647 65588 115 | 31.182 % |
117.58/117.70 c | 67602 | 84359 544678 1586827 | 2147483647 65998 116 | 31.182 % |
118.28/118.44 c | 68051 | 83870 540364 1575382 | 2147483647 66190 115 | 31.222 % |
118.88/119.05 c | 68548 | 83870 540364 1575382 | 2147483647 66687 115 | 31.222 % |
119.88/120.08 c | 69093 | 83870 540364 1575382 | 2147483647 67232 116 | 31.222 % |
121.09/121.26 c | 69689 | 83866 540364 1575382 | 2147483647 67827 116 | 31.232 % |
122.09/122.28 c | 70345 | 83850 540364 1575382 | 2147483647 68480 116 | 31.256 % |
123.48/123.62 c | 71066 | 83848 540364 1575382 | 2147483647 69198 116 | 31.260 % |
124.58/124.73 c | 71864 | 83846 540364 1575382 | 2147483647 69993 117 | 31.263 % |
126.29/126.49 c | 72735 | 83844 540364 1575382 | 2147483647 70863 117 | 31.264 % |
126.48/126.70 c | 72837 | 83841 540364 1575382 | 2147483647 70962 117 | 31.266 % |
126.78/126.93 c | 72948 | 83767 539404 1572883 | 2147483647 70858 117 | 31.309 % |
126.98/127.17 c | 73071 | 83761 539404 1572883 | 2147483647 70980 117 | 31.310 % |
127.18/127.39 c | 73205 | 83761 539404 1572883 | 2147483647 71114 117 | 31.310 % |
127.58/127.73 c | 73351 | 83757 539404 1572883 | 2147483647 71259 117 | 31.313 % |
127.88/128.08 c | 73517 | 83755 539404 1572883 | 2147483647 71423 117 | 31.315 % |
128.48/128.66 c | 73693 | 83675 539404 1572883 | 2147483647 71596 117 | 31.730 % |
129.08/129.20 c | 73886 | 83675 539404 1572883 | 2147483647 71789 117 | 31.730 % |
129.38/129.51 c | 74099 | 83648 539404 1572883 | 2147483647 72000 117 | 31.800 % |
129.88/130.02 c | 74335 | 83643 539404 1572883 | 2147483647 72235 117 | 31.818 % |
130.38/130.53 c | 74594 | 83643 539404 1572883 | 2147483647 72494 118 | 31.818 % |
130.78/130.93 c | 74875 | 83643 539404 1572883 | 2147483647 72775 118 | 31.818 % |
131.17/131.35 c | 75184 | 83643 539404 1572883 | 2147483647 73084 118 | 31.818 % |
131.58/131.75 c | 75524 | 83643 539404 1572883 | 2147483647 73424 118 | 31.818 % |
132.48/132.60 c | 75896 | 83643 539404 1572883 | 2147483647 73796 119 | 31.818 % |
132.99/133.11 c | 76307 | 83638 539404 1572883 | 2147483647 74204 119 | 31.835 % |
133.68/133.82 c | 76758 | 83638 539404 1572883 | 2147483647 74655 119 | 31.835 % |
134.48/134.69 c | 77251 | 83638 539404 1572883 | 2147483647 75148 119 | 31.835 % |
135.28/135.46 c | 77796 | 83637 539404 1572883 | 2147483647 75692 120 | 31.839 % |
136.58/136.71 c | 78393 | 83637 539404 1572883 | 2147483647 76288 120 | 31.847 % |
137.47/137.60 c | 79051 | 83055 528166 1541640 | 2147483647 76797 120 | 31.860 % |
138.48/138.66 c | 79772 | 83055 528166 1541640 | 2147483647 77518 120 | 31.860 % |
140.27/140.42 c | 80565 | 83042 528166 1541640 | 2147483647 78308 121 | 31.906 % |
141.37/141.50 c | 81436 | 83042 528166 1541640 | 2147483647 79179 121 | 31.906 % |
143.97/144.17 c | 82397 | 83042 528166 1541640 | 2147483647 80140 122 | 31.906 % |
144.17/144.36 c | 82497 | 83042 528166 1541640 | 2147483647 80240 122 | 31.906 % |
144.27/144.49 c | 82609 | 83042 528166 1541640 | 2147483647 80352 122 | 31.906 % |
144.47/144.63 c | 82731 | 83042 528166 1541640 | 2147483647 80474 122 | 31.906 % |
144.77/144.96 c | 82864 | 83042 528166 1541640 | 2147483647 80607 122 | 31.906 % |
145.07/145.21 c | 83010 | 83039 528166 1541640 | 2147483647 80751 122 | 31.988 % |
145.27/145.42 c | 83170 | 83039 528166 1541640 | 2147483647 80911 122 | 31.988 % |
145.67/145.84 c | 83347 | 83039 528166 1541640 | 2147483647 81088 122 | 31.988 % |
145.97/146.17 c | 83540 | 83039 528166 1541640 | 2147483647 81281 122 | 31.988 % |
146.27/146.45 c | 83754 | 83039 528166 1541640 | 2147483647 81495 122 | 31.988 % |
146.57/146.79 c | 83987 | 83039 528166 1541640 | 2147483647 81728 122 | 31.988 % |
147.37/147.50 c | 84243 | 83039 528166 1541640 | 2147483647 81984 122 | 31.988 % |
147.77/147.98 c | 84525 | 83039 528166 1541640 | 2147483647 82266 123 | 31.988 % |
148.17/148.31 c | 84837 | 83039 528166 1541640 | 2147483647 82578 123 | 31.988 % |
148.67/148.85 c | 85178 | 83035 528166 1541640 | 2147483647 82918 123 | 31.992 % |
149.27/149.40 c | 85550 | 83035 528166 1541640 | 2147483647 83290 123 | 31.992 % |
149.87/150.07 c | 85961 | 82883 526975 1538481 | 2147483647 83656 123 | 31.992 % |
150.87/151.02 c | 86410 | 82879 526975 1538481 | 2147483647 84103 123 | 32.007 % |
151.87/152.00 c | 86905 | 82876 526975 1538481 | 2147483647 84597 123 | 32.017 % |
152.57/152.75 c | 87447 | 82875 526975 1538481 | 2147483647 85138 124 | 32.018 % |
152.97/153.16 c | 88046 | 82875 526975 1538481 | 2147483647 85737 123 | 32.018 % |
153.67/153.86 c | 88708 | 82875 526975 1538481 | 2147483647 86399 124 | 32.018 % |
155.17/155.36 c | 89432 | 82860 526975 1538481 | 2147483647 87121 124 | 32.050 % |
157.17/157.36 c | 90224 | 82856 526975 1538481 | 2147483647 87912 126 | 32.051 % |
158.86/159.08 c | 91095 | 82849 526975 1538481 | 2147483647 88777 126 | 32.071 % |
160.37/160.56 c | 92053 | 82848 526975 1538481 | 2147483647 89734 126 | 32.074 % |
162.35/162.50 c | 93107 | 82843 526975 1538481 | 2147483647 90786 126 | 32.093 % |
162.56/162.72 c | 93207 | 82760 525731 1535077 | 2147483647 90789 126 | 32.093 % |
162.85/163.09 c | 93317 | 82760 525731 1535077 | 2147483647 90899 127 | 32.093 % |
163.25/163.41 c | 93443 | 82760 525731 1535077 | 2147483647 91025 127 | 32.093 % |
163.66/163.87 c | 93577 | 82760 525731 1535077 | 2147483647 91159 127 | 32.093 % |
163.95/164.12 c | 93728 | 82760 525731 1535077 | 2147483647 91310 126 | 32.093 % |
164.35/164.59 c | 93889 | 82746 525731 1535077 | 2147483647 91469 127 | 32.138 % |
164.86/165.06 c | 94065 | 82740 525731 1535077 | 2147483647 91645 126 | 32.138 % |
165.46/165.65 c | 94258 | 82734 525731 1535077 | 2147483647 91837 127 | 32.147 % |
166.16/166.33 c | 94472 | 82733 525731 1535077 | 2147483647 92050 127 | 32.150 % |
166.46/166.63 c | 94708 | 82731 525731 1535077 | 2147483647 92284 127 | 32.158 % |
166.96/167.15 c | 94964 | 82731 525731 1535077 | 2147483647 92540 127 | 32.158 % |
167.46/167.69 c | 95247 | 82731 525731 1535077 | 2147483647 92823 127 | 32.158 % |
168.16/168.34 c | 95559 | 82727 525731 1535077 | 2147483647 93134 128 | 32.166 % |
168.65/168.84 c | 95899 | 82727 525731 1535077 | 2147483647 93474 128 | 32.166 % |
169.26/169.46 c | 96271 | 82727 525731 1535077 | 2147483647 93846 129 | 32.166 % |
169.85/170.07 c | 96681 | 82727 525731 1535077 | 2147483647 94256 129 | 32.166 % |
170.45/170.66 c | 97134 | 82727 525731 1535077 | 2147483647 94709 129 | 32.166 % |
171.56/171.72 c | 97627 | 82724 525731 1535077 | 2147483647 95199 129 | 32.175 % |
172.66/172.89 c | 98169 | 82715 525731 1535077 | 2147483647 95737 129 | 32.187 % |
173.66/173.83 c | 98767 | 82715 525731 1535077 | 2147483647 96335 130 | 32.187 % |
174.95/175.11 c | 99425 | 82702 525731 1535077 | 2147483647 96984 130 | 32.210 % |
176.75/176.95 c | 100146 | 82700 525731 1535077 | 2147483647 97705 131 | 32.210 % |
177.96/178.11 c | 100938 | 82698 525731 1535077 | 2147483647 98496 131 | 32.211 % |
179.35/179.54 c | 101813 | 82612 523953 1530142 | 2147483647 98721 131 | 32.221 % |
181.15/181.32 c | 102773 | 82612 523953 1530142 | 2147483647 99681 132 | 32.221 % |
183.25/183.46 c | 103826 | 82610 523953 1530142 | 2147483647 100732 133 | 32.223 % |
185.26/185.45 c | 104984 | 82608 523953 1530142 | 2147483647 101888 133 | 32.231 % |
185.35/185.56 c | 105084 | 82608 523953 1530142 | 2147483647 101988 133 | 32.231 % |
185.45/185.69 c | 105196 | 82608 523953 1530142 | 2147483647 102100 133 | 32.231 % |
185.76/185.95 c | 105318 | 82606 523953 1530142 | 2147483647 102222 133 | 32.231 % |
186.15/186.31 c | 105451 | 82605 523953 1530142 | 2147483647 102353 133 | 32.255 % |
186.45/186.62 c | 105597 | 82576 523953 1530142 | 2147483647 102495 133 | 32.327 % |
186.65/186.90 c | 105758 | 82576 523953 1530142 | 2147483647 102656 133 | 32.327 % |
187.15/187.38 c | 105934 | 82560 523953 1530142 | 2147483647 102832 133 | 32.327 % |
187.55/187.74 c | 106127 | 82557 523953 1530142 | 2147483647 103024 133 | 32.335 % |
187.85/188.07 c | 106342 | 82557 523953 1530142 | 2147483647 103239 133 | 32.334 % |
188.25/188.48 c | 106575 | 82557 523953 1530142 | 2147483647 103472 133 | 32.334 % |
188.75/188.91 c | 106834 | 82557 523953 1530142 | 2147483647 103731 133 | 32.334 % |
189.25/189.40 c | 107117 | 82539 523953 1530142 | 2147483647 104012 133 | 32.614 % |
189.75/189.97 c | 107426 | 82539 523953 1530142 | 2147483647 104321 134 | 32.614 % |
190.34/190.59 c | 107765 | 82539 523953 1530142 | 2147483647 104660 134 | 32.614 % |
190.94/191.12 c | 108138 | 82539 523953 1530142 | 2147483647 105033 135 | 32.614 % |
191.64/191.81 c | 108547 | 82534 523953 1530142 | 2147483647 105438 135 | 32.624 % |
192.64/192.88 c | 108996 | 82531 523953 1530142 | 2147483647 105885 135 | 32.638 % |
193.35/193.54 c | 109492 | 82529 523953 1530142 | 2147483647 106380 136 | 32.645 % |
194.45/194.62 c | 110034 | 82529 523953 1530142 | 2147483647 106922 136 | 32.645 % |
195.75/195.94 c | 110630 | 82057 518434 1515726 | 2147483647 107451 136 | 32.677 % |
197.15/197.35 c | 111286 | 82054 518434 1515726 | 2147483647 108104 136 | 32.700 % |
198.54/198.72 c | 112013 | 82047 518434 1515726 | 2147483647 108831 136 | 32.700 % |
200.24/200.47 c | 112805 | 82047 518434 1515726 | 2147483647 109623 137 | 32.700 % |
201.44/201.62 c | 113676 | 82047 518434 1515726 | 2147483647 110494 137 | 32.700 % |
203.44/203.69 c | 114640 | 82045 518434 1515726 | 2147483647 111457 138 | 32.703 % |
206.34/206.55 c | 115695 | 82045 518434 1515726 | 2147483647 112512 138 | 32.703 % |
208.44/208.60 c | 116855 | 82043 518434 1515726 | 2147483647 113670 138 | 32.713 % |
210.94/211.20 c | 118128 | 82042 518434 1515726 | 2147483647 114941 139 | 32.714 % |
211.33/211.51 c | 118229 | 82042 518434 1515726 | 2147483647 115041 139 | 32.718 % |
211.63/211.83 c | 118339 | 82042 518434 1515726 | 2147483647 115151 139 | 32.718 % |
211.83/212.05 c | 118461 | 82042 518434 1515726 | 2147483647 115273 139 | 32.718 % |
212.14/212.31 c | 118594 | 82042 518434 1515726 | 2147483647 115406 139 | 32.718 % |
212.33/212.58 c | 118740 | 82042 518434 1515726 | 2147483647 115552 139 | 32.718 % |
212.73/212.90 c | 118901 | 82042 518434 1515726 | 2147483647 115713 139 | 32.718 % |
213.03/213.28 c | 119081 | 82042 518434 1515726 | 2147483647 115893 139 | 32.718 % |
213.42/213.61 c | 119275 | 82042 518434 1515726 | 2147483647 116087 139 | 32.718 % |
214.13/214.34 c | 119487 | 81999 517937 1514375 | 2147483647 116267 140 | 32.718 % |
214.73/215.00 c | 119724 | 81999 517937 1514375 | 2147483647 116504 140 | 32.718 % |
215.44/215.64 c | 119980 | 81997 517937 1514375 | 2147483647 116758 140 | 32.719 % |
216.23/216.42 c | 120263 | 81997 517937 1514375 | 2147483647 117041 140 | 32.719 % |
217.03/217.23 c | 120573 | 81997 517937 1514375 | 2147483647 117350 140 | 32.727 % |
217.93/218.19 c | 120916 | 81997 517937 1514375 | 2147483647 117693 140 | 32.727 % |
218.83/219.02 c | 121290 | 81997 517937 1514375 | 2147483647 118067 140 | 32.727 % |
219.43/219.65 c | 121699 | 81997 517937 1514375 | 2147483647 118476 140 | 32.727 % |
220.33/220.52 c | 122148 | 81997 517937 1514375 | 2147483647 118925 140 | 32.727 % |
221.33/221.58 c | 122641 | 81997 517937 1514375 | 2147483647 119418 140 | 32.727 % |
222.43/222.69 c | 123184 | 81991 517937 1514375 | 2147483647 119960 140 | 32.736 % |
223.63/223.82 c | 123781 | 81991 517937 1514375 | 2147483647 120556 141 | 32.737 % |
224.92/225.18 c | 124438 | 81989 517937 1514375 | 2147483647 121212 141 | 32.746 % |
226.52/226.70 c | 125160 | 81929 517937 1514375 | 2147483647 121932 141 | 32.814 % |
228.32/228.58 c | 125952 | 81926 517937 1514375 | 2147483647 122722 142 | 32.824 % |
230.62/230.88 c | 126823 | 81926 517937 1514375 | 2147483647 123593 142 | 32.824 % |
232.62/232.85 c | 127781 | 81925 517937 1514375 | 2147483647 124549 143 | 32.828 % |
234.62/234.80 c | 128834 | 81925 517937 1514375 | 2147483647 125602 143 | 32.828 % |
237.82/238.00 c | 129995 | 81925 517937 1514375 | 2147483647 126763 145 | 32.828 % |
241.42/241.66 c | 131268 | 81856 517105 1512220 | 2147483647 128006 145 | 32.846 % |
244.03/244.24 c | 132669 | 81856 517105 1512220 | 2147483647 129407 145 | 32.846 % |
244.22/244.42 c | 132770 | 81856 517105 1512220 | 2147483647 129508 146 | 32.846 % |
244.32/244.54 c | 132880 | 81856 517105 1512220 | 2147483647 129618 146 | 32.846 % |
244.62/244.80 c | 133001 | 81856 517105 1512220 | 2147483647 129739 146 | 32.846 % |
244.72/244.92 c | 133134 | 81856 517105 1512220 | 2147483647 129872 145 | 32.846 % |
245.02/245.24 c | 133285 | 81856 517105 1512220 | 2147483647 130023 146 | 32.846 % |
245.42/245.66 c | 133446 | 81856 517105 1512220 | 2147483647 130184 146 | 32.846 % |
245.92/246.11 c | 133622 | 81856 517105 1512220 | 2147483647 130360 146 | 32.846 % |
246.22/246.44 c | 133815 | 81855 517105 1512220 | 2147483647 130552 146 | 32.849 % |
246.71/246.97 c | 134029 | 81855 517105 1512220 | 2147483647 130766 146 | 32.849 % |
247.51/247.71 c | 134264 | 81855 517105 1512220 | 2147483647 131001 146 | 32.849 % |
248.11/248.30 c | 134520 | 81855 517105 1512220 | 2147483647 131257 146 | 32.849 % |
248.71/248.95 c | 134802 | 81848 517105 1512220 | 2147483647 131537 146 | 32.864 % |
249.52/249.73 c | 135111 | 81848 517105 1512220 | 2147483647 131846 147 | 32.864 % |
250.32/250.57 c | 135451 | 81848 517105 1512220 | 2147483647 132186 146 | 32.864 % |
251.42/251.62 c | 135823 | 81847 517105 1512220 | 2147483647 132557 147 | 32.865 % |
252.41/252.65 c | 136232 | 81847 517105 1512220 | 2147483647 132966 147 | 32.865 % |
253.51/253.76 c | 136684 | 81845 517105 1512220 | 2147483647 133417 147 | 32.868 % |
254.40/254.65 c | 137178 | 81844 517105 1512220 | 2147483647 133910 147 | 32.869 % |
255.40/255.65 c | 137722 | 81844 517105 1512220 | 2147483647 134454 148 | 32.869 % |
256.91/257.14 c | 138319 | 81841 517105 1512220 | 2147483647 135049 148 | 32.910 % |
258.61/258.82 c | 138977 | 81841 517105 1512220 | 2147483647 135707 148 | 32.910 % |
260.21/260.47 c | 139697 | 81837 517105 1512220 | 2147483647 136424 148 | 32.930 % |
262.11/262.32 c | 140496 | 81834 517105 1512220 | 2147483647 137222 148 | 32.933 % |
263.71/263.90 c | 141372 | 81833 517105 1512220 | 2147483647 138097 148 | 32.933 % |
265.70/265.98 c | 142330 | 81692 516034 1509285 | 2147483647 138982 148 | 33.009 % |
268.50/268.76 c | 143383 | 81692 516034 1509285 | 2147483647 140035 149 | 33.009 % |
270.61/270.86 c | 144542 | 81691 516034 1509285 | 2147483647 141193 150 | 33.017 % |
272.80/273.00 c | 145815 | 81690 516034 1509285 | 2147483647 142465 150 | 33.018 % |
276.50/276.75 c | 147215 | 81686 516034 1509285 | 2147483647 143863 151 | 33.052 % |
278.80/279.05 c | 148755 | 81686 516034 1509285 | 2147483647 145403 150 | 33.052 % |
279.21/279.44 c | 148858 | 81686 516034 1509285 | 2147483647 145506 150 | 33.052 % |
279.50/279.75 c | 148972 | 81686 516034 1509285 | 2147483647 145620 150 | 33.052 % |
280.00/280.21 c | 149095 | 81686 516034 1509285 | 2147483647 145743 151 | 33.052 % |
280.31/280.58 c | 149230 | 81682 516034 1509285 | 2147483647 145877 151 | 33.061 % |
280.70/280.94 c | 149376 | 81682 516034 1509285 | 2147483647 146023 151 | 33.061 % |
281.00/281.29 c | 149537 | 81682 516034 1509285 | 2147483647 146184 151 | 33.061 % |
281.70/281.91 c | 149715 | 81682 516034 1509285 | 2147483647 146362 151 | 33.061 % |
282.20/282.42 c | 149909 | 81682 516034 1509285 | 2147483647 146555 151 | 33.280 % |
282.41/282.65 c | 150123 | 81682 516034 1509285 | 2147483647 146769 150 | 33.280 % |
282.90/283.14 c | 150358 | 81682 516034 1509285 | 2147483647 147004 151 | 33.280 % |
283.80/284.03 c | 150615 | 81682 516034 1509285 | 2147483647 147261 151 | 33.280 % |
284.40/284.64 c | 150896 | 81682 516034 1509285 | 2147483647 147542 151 | 33.280 % |
285.30/285.56 c | 151205 | 81682 516034 1509285 | 2147483647 147851 151 | 33.280 % |
286.20/286.42 c | 151545 | 81681 516034 1509285 | 2147483647 148190 152 | 33.286 % |
286.90/287.18 c | 151917 | 81681 516034 1509285 | 2147483647 148562 152 | 33.286 % |
288.40/288.63 c | 152326 | 81681 516034 1509285 | 2147483647 148971 152 | 33.286 % |
289.30/289.59 c | 152776 | 81678 516034 1509285 | 2147483647 149418 152 | 33.293 % |
290.29/290.56 c | 153277 | 81677 516034 1509285 | 2147483647 149918 152 | 33.294 % |
291.69/291.97 c | 153820 | 81677 516034 1509285 | 2147483647 150461 152 | 33.294 % |
293.60/293.88 c | 154418 | 81677 516034 1509285 | 2147483647 151059 153 | 33.294 % |
295.30/295.54 c | 155075 | 81662 516034 1509285 | 2147483647 151714 153 | 33.348 % |
297.39/297.60 c | 155800 | 81227 512435 1499463 | 2147483647 152168 153 | 33.374 % |
299.29/299.60 c | 156592 | 81227 512435 1499463 | 2147483647 152960 154 | 33.374 % |
301.29/301.55 c | 157464 | 81227 512435 1499463 | 2147483647 153832 155 | 33.374 % |
304.28/304.56 c | 158422 | 81227 512435 1499463 | 2147483647 154790 156 | 33.374 % |
306.08/306.31 c | 159476 | 81222 512435 1499463 | 2147483647 155842 156 | 33.385 % |
308.79/309.04 c | 160638 | 81220 512435 1499463 | 2147483647 157003 156 | 33.401 % |
310.98/311.24 c | 161912 | 81220 512435 1499463 | 2147483647 158277 156 | 33.401 % |
314.38/314.63 c | 163315 | 81220 512435 1499463 | 2147483647 159680 157 | 33.401 % |
317.68/317.92 c | 164855 | 81202 512435 1499463 | 2147483647 161204 157 | 33.508 % |
321.87/322.11 c | 166550 | 81201 512435 1499463 | 2147483647 162898 157 | 33.509 % |
322.08/322.38 c | 166655 | 81201 512435 1499463 | 2147483647 163003 157 | 33.509 % |
322.37/322.62 c | 166767 | 81200 512435 1499463 | 2147483647 163114 157 | 33.509 % |
322.58/322.83 c | 166891 | 81200 512435 1499463 | 2147483647 163238 157 | 33.509 % |
322.98/323.26 c | 167024 | 81198 512435 1499463 | 2147483647 163370 157 | 33.519 % |
323.28/323.58 c | 167170 | 81198 512435 1499463 | 2147483647 163516 157 | 33.519 % |
323.78/324.00 c | 167330 | 81198 512435 1499463 | 2147483647 163676 157 | 33.519 % |
324.08/324.40 c | 167506 | 81198 512435 1499463 | 2147483647 163852 157 | 33.519 % |
324.47/324.70 c | 167699 | 81198 512435 1499463 | 2147483647 164045 157 | 33.519 % |
325.17/325.45 c | 167911 | 81198 512435 1499463 | 2147483647 164257 158 | 33.519 % |
325.77/326.04 c | 168144 | 81198 512435 1499463 | 2147483647 164490 158 | 33.519 % |
326.17/326.48 c | 168400 | 81198 512435 1499463 | 2147483647 164746 158 | 33.519 % |
326.97/327.26 c | 168683 | 81198 512435 1499463 | 2147483647 165029 158 | 33.519 % |
327.67/327.95 c | 168992 | 81197 512435 1499463 | 2147483647 165337 158 | 33.520 % |
328.47/328.72 c | 169332 | 81197 512435 1499463 | 2147483647 165677 158 | 33.520 % |
328.87/329.18 c | 169704 | 81197 512435 1499463 | 2147483647 166049 158 | 33.520 % |
329.78/330.02 c | 170116 | 81005 510913 1495222 | 2147483647 166368 158 | 33.547 % |
330.57/330.85 c | 170565 | 81005 510913 1495222 | 2147483647 166817 157 | 33.547 % |
331.67/331.97 c | 171058 | 80998 510913 1495222 | 2147483647 167308 157 | 33.612 % |
333.67/333.91 c | 171603 | 80998 510913 1495222 | 2147483647 167853 158 | 33.612 % |
335.07/335.34 c | 172201 | 80998 510913 1495222 | 2147483647 168451 158 | 33.612 % |
336.77/337.07 c | 172856 | 80997 510913 1495222 | 2147483647 169105 158 | 33.613 % |
338.48/338.76 c | 173577 | 80997 510913 1495222 | 2147483647 169826 159 | 33.613 % |
340.77/341.06 c | 174369 | 80995 510913 1495222 | 2147483647 170616 159 | 33.615 % |
343.06/343.34 c | 175240 | 80991 510913 1495222 | 2147483647 171485 159 | 33.658 % |
345.46/345.79 c | 176198 | 80943 510913 1495222 | 2147483647 172438 159 | 34.064 % |
348.36/348.69 c | 177253 | 80940 510913 1495222 | 2147483647 173491 160 | 34.066 % |
351.36/351.62 c | 178415 | 80940 510913 1495222 | 2147483647 174653 161 | 34.066 % |
354.55/354.82 c | 179688 | 80936 510913 1495222 | 2147483647 175925 161 | 34.073 % |
358.76/359.09 c | 181088 | 80934 510913 1495222 | 2147483647 177323 161 | 34.075 % |
362.55/362.80 c | 182628 | 80932 510913 1495222 | 2147483647 178861 162 | 34.085 % |
366.36/366.64 c | 184322 | 80925 510913 1495222 | 2147483647 180552 162 | 34.103 % |
370.36/370.67 c | 186186 | 80907 510913 1495222 | 2147483647 182414 162 | 34.148 % |
370.75/371.02 c | 186292 | 80256 499969 1465013 | 2147483647 176558 163 | 34.148 % |
370.95/371.21 c | 186402 | 80256 499969 1465013 | 2147483647 176668 163 | 34.148 % |
371.15/371.46 c | 186526 | 80256 499969 1465013 | 2147483647 176792 163 | 34.148 % |
371.56/371.86 c | 186661 | 80256 499969 1465013 | 2147483647 176927 163 | 34.148 % |
371.95/372.28 c | 186807 | 80255 499969 1465013 | 2147483647 177072 163 | 34.155 % |
372.56/372.82 c | 186968 | 80255 499969 1465013 | 2147483647 177233 163 | 34.155 % |
372.85/373.15 c | 187144 | 80255 499969 1465013 | 2147483647 177409 162 | 34.155 % |
373.25/373.53 c | 187337 | 80255 499969 1465013 | 2147483647 177602 163 | 34.155 % |
373.85/374.12 c | 187553 | 80255 499969 1465013 | 2147483647 177818 163 | 34.155 % |
374.45/374.76 c | 187787 | 80254 499969 1465013 | 2147483647 178051 163 | 34.157 % |
374.85/375.17 c | 188043 | 80254 499969 1465013 | 2147483647 178307 163 | 34.157 % |
375.45/375.71 c | 188324 | 80254 499969 1465013 | 2147483647 178587 163 | 34.165 % |
376.15/376.46 c | 188637 | 80252 499969 1465013 | 2147483647 178898 163 | 34.456 % |
377.15/377.46 c | 188976 | 80162 499969 1465013 | 2147483647 179235 163 | 34.526 % |
378.05/378.35 c | 189348 | 80162 499969 1465013 | 2147483647 179607 163 | 34.526 % |
378.65/378.99 c | 189757 | 80162 499969 1465013 | 2147483647 180016 163 | 34.526 % |
379.85/380.13 c | 190216 | 80162 499969 1465013 | 2147483647 180475 163 | 34.526 % |
381.35/381.63 c | 190714 | 80162 499969 1465013 | 2147483647 180973 163 | 34.526 % |
382.35/382.67 c | 191256 | 80161 499969 1465013 | 2147483647 181514 163 | 34.537 % |
384.05/384.39 c | 191853 | 80157 499969 1465013 | 2147483647 182111 164 | 34.537 % |
385.14/385.47 c | 192508 | 80157 499969 1465013 | 2147483647 182766 164 | 34.537 % |
386.94/387.25 c | 193228 | 80157 499969 1465013 | 2147483647 183485 164 | 34.538 % |
388.83/389.14 c | 194020 | 80157 499969 1465013 | 2147483647 184277 165 | 34.538 % |
391.04/391.37 c | 194894 | 80156 499969 1465013 | 2147483647 185150 165 | 34.597 % |
393.24/393.51 c | 195853 | 80155 499969 1465013 | 2147483647 186108 165 | 34.597 % |
395.53/395.87 c | 196912 | 80155 499969 1465013 | 2147483647 187167 165 | 34.597 % |
399.03/399.31 c | 198070 | 80155 499969 1465013 | 2147483647 188325 166 | 34.597 % |
402.13/402.49 c | 199350 | 80155 499969 1465013 | 2147483647 189605 167 | 34.597 % |
406.13/406.46 c | 200753 | 80155 499969 1465013 | 2147483647 191007 168 | 34.602 % |
411.93/412.23 c | 202296 | 80155 499969 1465013 | 2147483647 192550 170 | 34.602 % |
415.63/415.92 c | 203991 | 80100 499969 1465013 | 2147483647 194241 170 | 34.820 % |
420.93/421.25 c | 205859 | 80099 499969 1465013 | 2147483647 196108 171 | 34.821 % |
426.22/426.50 c | 207908 | 79428 491792 1442128 | 2147483647 194860 173 | 34.835 % |
426.42/426.80 c | 208008 | 79427 491792 1442128 | 2147483647 194959 173 | 34.836 % |
426.82/427.14 c | 208119 | 79425 491792 1442128 | 2147483647 195068 173 | 34.841 % |
427.02/427.38 c | 208240 | 79425 491792 1442128 | 2147483647 195189 173 | 34.841 % |
427.32/427.64 c | 208375 | 79425 491792 1442128 | 2147483647 195324 173 | 34.841 % |
427.72/428.09 c | 208522 | 79425 491792 1442128 | 2147483647 195471 173 | 34.841 % |
428.32/428.63 c | 208682 | 79425 491792 1442128 | 2147483647 195631 174 | 34.841 % |
428.52/428.90 c | 208863 | 79425 491792 1442128 | 2147483647 195812 174 | 34.841 % |
429.13/429.46 c | 209058 | 79424 491792 1442128 | 2147483647 196006 173 | 34.847 % |
429.52/429.85 c | 209272 | 79424 491792 1442128 | 2147483647 196220 174 | 34.847 % |
430.32/430.61 c | 209506 | 79424 491792 1442128 | 2147483647 196454 174 | 34.847 % |
430.82/431.17 c | 209769 | 79424 491792 1442128 | 2147483647 196717 174 | 34.847 % |
431.12/431.47 c | 210053 | 79424 491792 1442128 | 2147483647 197001 174 | 34.847 % |
432.41/432.76 c | 210362 | 79424 491792 1442128 | 2147483647 197310 174 | 34.847 % |
433.31/433.65 c | 210702 | 79424 491792 1442128 | 2147483647 197650 174 | 34.847 % |
434.51/434.89 c | 211078 | 79422 491792 1442128 | 2147483647 198024 174 | 34.849 % |
435.21/435.53 c | 211487 | 79422 491792 1442128 | 2147483647 198433 174 | 34.849 % |
436.60/436.97 c | 211940 | 79415 491792 1442128 | 2147483647 198884 174 | 34.858 % |
438.10/438.47 c | 212435 | 79415 491792 1442128 | 2147483647 199377 174 | 34.869 % |
439.71/440.10 c | 212977 | 79400 491792 1442128 | 2147483647 199917 174 | 34.898 % |
441.01/441.36 c | 213574 | 79400 491792 1442128 | 2147483647 200514 174 | 34.898 % |
442.81/443.16 c | 214230 | 79400 491792 1442128 | 2147483647 201170 174 | 34.898 % |
444.20/444.58 c | 214950 | 79400 491792 1442128 | 2147483647 201890 174 | 34.898 % |
446.30/446.64 c | 215748 | 79395 491792 1442128 | 2147483647 202685 175 | 34.908 % |
448.71/449.00 c | 216622 | 79395 491792 1442128 | 2147483647 203559 175 | 34.908 % |
450.90/451.29 c | 217584 | 79395 491792 1442128 | 2147483647 204521 175 | 34.908 % |
453.60/453.93 c | 218637 | 79395 491792 1442128 | 2147483647 205574 175 | 34.908 % |
457.20/457.57 c | 219796 | 79395 491792 1442128 | 2147483647 206733 176 | 34.908 % |
459.40/459.75 c | 221070 | 79395 491792 1442128 | 2147483647 208006 176 | 34.908 % |
463.30/463.66 c | 222470 | 79394 491792 1442128 | 2147483647 209405 177 | 34.915 % |
468.19/468.59 c | 224012 | 79394 491792 1442128 | 2147483647 210947 178 | 34.915 % |
474.49/474.84 c | 225706 | 79393 491792 1442128 | 2147483647 212640 179 | 34.916 % |
479.48/479.86 c | 227569 | 79368 491792 1442128 | 2147483647 214500 179 | 34.988 % |
485.36/485.74 c | 229618 | 79231 490594 1439262 | 2147483647 216330 180 | 34.996 % |
491.06/491.49 c | 231871 | 79231 490594 1439262 | 2147483647 218583 180 | 34.996 % |
491.46/491.89 c | 231971 | 79231 490594 1439262 | 2147483647 218683 180 | 34.996 % |
491.86/492.28 c | 232081 | 79231 490594 1439262 | 2147483647 218793 180 | 34.996 % |
492.26/492.62 c | 232206 | 79227 490594 1439262 | 2147483647 218917 180 | 35.004 % |
492.86/493.20 c | 232341 | 79227 490594 1439262 | 2147483647 219052 180 | 35.004 % |
493.36/493.74 c | 232487 | 79227 490594 1439262 | 2147483647 219198 181 | 35.004 % |
494.06/494.41 c | 232649 | 79227 490594 1439262 | 2147483647 219360 181 | 35.004 % |
494.35/494.72 c | 232826 | 79227 490594 1439262 | 2147483647 219537 180 | 35.004 % |
494.75/495.10 c | 233019 | 79227 490594 1439262 | 2147483647 219730 181 | 35.004 % |
495.25/495.66 c | 233234 | 79224 490594 1439262 | 2147483647 219944 181 | 35.034 % |
495.66/496.07 c | 233467 | 79224 490594 1439262 | 2147483647 220177 181 | 35.034 % |
496.25/496.62 c | 233724 | 79224 490594 1439262 | 2147483647 220434 181 | 35.034 % |
497.05/497.43 c | 234005 | 79224 490594 1439262 | 2147483647 220715 181 | 35.034 % |
497.86/498.29 c | 234314 | 79223 490594 1439262 | 2147483647 221023 181 | 35.044 % |
498.76/499.17 c | 234653 | 79222 490594 1439262 | 2147483647 221360 181 | 35.059 % |
499.96/500.39 c | 235025 | 79220 490594 1439262 | 2147483647 221731 181 | 35.060 % |
500.85/501.22 c | 235434 | 79220 490594 1439262 | 2147483647 222140 181 | 35.060 % |
502.65/503.03 c | 235883 | 79220 490594 1439262 | 2147483647 222589 181 | 35.060 % |
503.95/504.32 c | 236376 | 79220 490594 1439262 | 2147483647 223082 182 | 35.060 % |
505.75/506.15 c | 236921 | 79220 490594 1439262 | 2147483647 223627 182 | 35.060 % |
507.15/507.55 c | 237519 | 79217 490594 1439262 | 2147483647 224222 182 | 35.077 % |
508.55/508.95 c | 238174 | 79215 490594 1439262 | 2147483647 224876 182 | 35.079 % |
510.65/511.07 c | 238899 | 79213 490594 1439262 | 2147483647 225600 182 | 35.087 % |
512.55/512.91 c | 239692 | 79213 490594 1439262 | 2147483647 226393 182 | 35.087 % |
515.75/516.12 c | 240564 | 79212 490594 1439262 | 2147483647 227264 182 | 35.088 % |
517.64/518.07 c | 241522 | 79209 490594 1439262 | 2147483647 228221 183 | 35.102 % |
521.04/521.47 c | 242575 | 79203 490594 1439262 | 2147483647 229272 183 | 35.187 % |
524.44/524.80 c | 243735 | 79201 490594 1439262 | 2147483647 230430 183 | 35.198 % |
528.83/529.25 c | 245010 | 79201 490594 1439262 | 2147483647 231704 183 | 35.210 % |
532.03/532.42 c | 246412 | 79201 490594 1439262 | 2147483647 233106 184 | 35.210 % |
536.93/537.30 c | 247956 | 79199 490594 1439262 | 2147483647 234648 184 | 35.219 % |
541.63/542.03 c | 249657 | 79194 490594 1439262 | 2147483647 236346 185 | 35.225 % |
545.83/546.20 c | 251523 | 78942 488491 1433731 | 2147483647 237715 186 | 35.226 % |
552.02/552.40 c | 253574 | 78942 488491 1433731 | 2147483647 239766 186 | 35.226 % |
558.22/558.61 c | 255827 | 78938 488491 1433731 | 2147483647 242015 187 | 35.242 % |
564.62/565.06 c | 258308 | 78938 488491 1433731 | 2147483647 244496 188 | 35.242 % |
565.03/565.41 c | 258408 | 78938 488491 1433731 | 2147483647 244596 188 | 35.242 % |
565.22/565.67 c | 258518 | 78938 488491 1433731 | 2147483647 244706 188 | 35.242 % |
565.72/566.16 c | 258639 | 78936 488491 1433731 | 2147483647 244826 188 | 35.246 % |
566.03/566.48 c | 258772 | 78934 488491 1433731 | 2147483647 244958 188 | 35.247 % |
566.32/566.71 c | 258918 | 78934 488491 1433731 | 2147483647 245104 188 | 35.247 % |
566.72/567.17 c | 259078 | 78928 488491 1433731 | 2147483647 245261 188 | 35.274 % |
567.32/567.71 c | 259254 | 78928 488491 1433731 | 2147483647 245437 188 | 35.274 % |
567.91/568.35 c | 259447 | 78928 488491 1433731 | 2147483647 245630 188 | 35.274 % |
568.41/568.82 c | 259659 | 78928 488491 1433731 | 2147483647 245842 188 | 35.274 % |
569.51/569.96 c | 259898 | 78928 488491 1433731 | 2147483647 246081 188 | 35.274 % |
570.21/570.65 c | 260161 | 78928 488491 1433731 | 2147483647 246344 188 | 35.274 % |
570.81/571.20 c | 260443 | 78927 488491 1433731 | 2147483647 246625 188 | 35.282 % |
571.71/572.16 c | 260753 | 78927 488491 1433731 | 2147483647 246935 188 | 35.282 % |
572.91/573.38 c | 261092 | 78927 488491 1433731 | 2147483647 247274 188 | 35.282 % |
574.21/574.62 c | 261465 | 78927 488491 1433731 | 2147483647 247647 188 | 35.282 % |
575.21/575.70 c | 261875 | 78927 488491 1433731 | 2147483647 248057 189 | 35.282 % |
576.71/577.10 c | 262324 | 78922 488491 1433731 | 2147483647 248505 189 | 35.291 % |
577.71/578.12 c | 262818 | 78922 488491 1433731 | 2147483647 248999 189 | 35.291 % |
579.60/580.06 c | 263361 | 78921 488491 1433731 | 2147483647 249541 190 | 35.338 % |
581.41/581.86 c | 263957 | 78916 488491 1433731 | 2147483647 250136 190 | 35.349 % |
583.51/583.99 c | 264612 | 78916 488491 1433731 | 2147483647 250791 190 | 35.349 % |
586.71/587.15 c | 265332 | 78916 488491 1433731 | 2147483647 251511 190 | 35.349 % |
588.90/589.31 c | 266126 | 78916 488491 1433731 | 2147483647 252305 190 | 35.349 % |
590.91/591.34 c | 266998 | 78916 488491 1433731 | 2147483647 253177 190 | 35.349 % |
593.61/594.08 c | 267957 | 78912 488491 1433731 | 2147483647 254133 190 | 35.380 % |
596.10/596.56 c | 269010 | 78912 488491 1433731 | 2147483647 255186 190 | 35.380 % |
599.20/599.64 c | 270168 | 78903 488491 1433731 | 2147483647 256342 190 | 35.406 % |
602.60/603.09 c | 271442 | 78903 488491 1433731 | 2147483647 257616 191 | 35.406 % |
606.80/607.25 c | 272844 | 78898 488491 1433731 | 2147483647 259017 191 | 35.414 % |
611.59/612.06 c | 274391 | 78898 488491 1433731 | 2147483647 260564 193 | 35.414 % |
616.49/616.91 c | 276085 | 78897 488491 1433731 | 2147483647 262257 193 | 35.421 % |
623.79/624.26 c | 277950 | 78897 488491 1433731 | 2147483647 264122 195 | 35.421 % |
630.19/630.69 c | 279999 | 78896 488491 1433731 | 2147483647 266170 195 | 35.422 % |
636.78/637.22 c | 282252 | 78700 486857 1429585 | 2147483647 267209 196 | 35.434 % |
644.89/645.39 c | 284730 | 78664 486857 1429585 | 2147483647 269679 197 | 35.652 % |
652.37/652.88 c | 287455 | 78662 486857 1429585 | 2147483647 272402 199 | 35.675 % |
652.67/653.15 c | 287556 | 78662 486857 1429585 | 2147483647 272503 199 | 35.675 % |
652.98/653.47 c | 287666 | 78662 486857 1429585 | 2147483647 272613 199 | 35.675 % |
653.27/653.75 c | 287792 | 78662 486857 1429585 | 2147483647 272739 199 | 35.675 % |
653.77/654.29 c | 287925 | 78662 486857 1429585 | 2147483647 272872 199 | 35.675 % |
654.37/654.86 c | 288071 | 78662 486857 1429585 | 2147483647 273018 199 | 35.675 % |
654.88/655.35 c | 288231 | 78662 486857 1429585 | 2147483647 273178 199 | 35.675 % |
655.38/655.86 c | 288407 | 78662 486857 1429585 | 2147483647 273354 199 | 35.675 % |
656.17/656.61 c | 288601 | 78662 486857 1429585 | 2147483647 273548 199 | 35.675 % |
656.87/657.33 c | 288813 | 78662 486857 1429585 | 2147483647 273760 200 | 35.675 % |
657.96/658.43 c | 289047 | 78662 486857 1429585 | 2147483647 273994 200 | 35.675 % |
658.96/659.40 c | 289305 | 78653 486857 1429585 | 2147483647 274250 200 | 35.720 % |
659.86/660.31 c | 289591 | 78649 486857 1429585 | 2147483647 274534 200 | 36.096 % |
661.06/661.57 c | 289901 | 78648 486857 1429585 | 2147483647 274843 200 | 36.104 % |
662.26/662.71 c | 290241 | 78648 486857 1429585 | 2147483647 275183 200 | 36.104 % |
663.56/664.07 c | 290617 | 78647 486857 1429585 | 2147483647 275558 200 | 36.106 % |
664.76/665.20 c | 291026 | 78647 486857 1429585 | 2147483647 275967 200 | 36.106 % |
666.26/666.71 c | 291480 | 78647 486857 1429585 | 2147483647 276421 200 | 36.106 % |
667.96/668.45 c | 291973 | 78645 486857 1429585 | 2147483647 276911 200 | 36.120 % |
670.16/670.61 c | 292517 | 78645 486857 1429585 | 2147483647 277455 200 | 36.120 % |
672.26/672.78 c | 293114 | 78645 486857 1429585 | 2147483647 278052 201 | 36.120 % |
674.25/674.71 c | 293772 | 78629 486857 1429585 | 2147483647 278708 201 | 36.142 % |
675.76/676.25 c | 294494 | 78626 486857 1429585 | 2147483647 279429 201 | 36.149 % |
677.76/678.23 c | 295286 | 78626 486857 1429585 | 2147483647 280221 201 | 36.149 % |
681.35/681.85 c | 296162 | 78619 486857 1429585 | 2147483647 281095 201 | 36.248 % |
683.76/684.28 c | 297120 | 78619 486857 1429585 | 2147483647 282053 201 | 36.248 % |
687.65/688.16 c | 298173 | 78619 486857 1429585 | 2147483647 283106 202 | 36.248 % |
690.45/690.95 c | 299333 | 78619 486857 1429585 | 2147483647 284266 202 | 36.248 % |
695.15/695.61 c | 300606 | 78617 486857 1429585 | 2147483647 285538 203 | 36.272 % |
699.06/699.51 c | 302006 | 78617 486857 1429585 | 2147483647 286938 203 | 36.272 % |
703.84/704.32 c | 303546 | 78616 486857 1429585 | 2147483647 288477 204 | 36.274 % |
709.14/709.61 c | 305243 | 78615 486857 1429585 | 2147483647 290172 204 | 36.326 % |
714.74/715.28 c | 307108 | 78613 486857 1429585 | 2147483647 292034 205 | 36.352 % |
721.43/721.98 c | 309160 | 78612 486857 1429585 | 2147483647 294083 205 | 36.356 % |
728.34/728.83 c | 311414 | 78612 486857 1429585 | 2147483647 296337 205 | 36.356 % |
736.03/736.51 c | 313892 | 77535 479870 1411635 | 2147483647 298420 206 | 36.610 % |
743.63/744.19 c | 316618 | 77534 479870 1411635 | 2147483647 301145 207 | 36.611 % |
751.53/752.03 c | 319615 | 77533 479870 1411635 | 2147483647 304141 208 | 36.612 % |
751.83/752.38 c | 319715 | 77533 479870 1411635 | 2147483647 304241 208 | 36.612 % |
752.33/752.85 c | 319828 | 77533 479870 1411635 | 2147483647 304354 208 | 36.612 % |
752.83/753.36 c | 319949 | 77533 479870 1411635 | 2147483647 304475 208 | 36.612 % |
753.03/753.58 c | 320082 | 77533 479870 1411635 | 2147483647 304608 208 | 36.612 % |
753.62/754.16 c | 320229 | 77530 479870 1411635 | 2147483647 304754 208 | 36.630 % |
754.22/754.78 c | 320396 | 77530 479870 1411635 | 2147483647 304921 208 | 36.630 % |
754.82/755.35 c | 320574 | 77530 479870 1411635 | 2147483647 305099 207 | 36.630 % |
755.62/756.17 c | 320769 | 77530 479870 1411635 | 2147483647 305294 207 | 36.630 % |
756.33/756.88 c | 320982 | 77528 479870 1411635 | 2147483647 305506 207 | 36.659 % |
756.62/757.16 c | 321215 | 77528 479870 1411635 | 2147483647 305739 207 | 36.659 % |
757.82/758.38 c | 321473 | 77528 479870 1411635 | 2147483647 305997 208 | 36.659 % |
758.62/759.20 c | 321757 | 77528 479870 1411635 | 2147483647 306281 208 | 36.659 % |
759.92/760.43 c | 322071 | 77528 479870 1411635 | 2147483647 306595 208 | 36.659 % |
760.51/761.03 c | 322411 | 77528 479870 1411635 | 2147483647 306935 208 | 36.659 % |
762.01/762.51 c | 322785 | 77528 479870 1411635 | 2147483647 307309 208 | 36.659 % |
763.92/764.46 c | 323198 | 77528 479870 1411635 | 2147483647 307721 208 | 36.659 % |
765.51/766.08 c | 323647 | 77528 479870 1411635 | 2147483647 308170 208 | 36.659 % |
767.12/767.66 c | 324140 | 77527 479870 1411635 | 2147483647 308662 208 | 36.668 % |
768.82/769.31 c | 324682 | 77526 479870 1411635 | 2147483647 309203 208 | 36.668 % |
770.62/771.11 c | 325280 | 77522 479870 1411635 | 2147483647 309799 208 | 36.682 % |
772.31/772.85 c | 325938 | 77522 479870 1411635 | 2147483647 310457 208 | 36.682 % |
774.71/775.21 c | 326658 | 77521 479870 1411635 | 2147483647 311176 208 | 36.682 % |
776.72/777.24 c | 327450 | 77521 479870 1411635 | 2147483647 311968 209 | 36.682 % |
779.91/780.49 c | 328333 | 77521 479870 1411635 | 2147483647 312851 209 | 36.682 % |
783.11/783.66 c | 329294 | 77521 479870 1411635 | 2147483647 313812 209 | 36.682 % |
786.50/787.05 c | 330357 | 77517 479870 1411635 | 2147483647 314873 210 | 36.700 % |
790.31/790.83 c | 331521 | 77514 479870 1411635 | 2147483647 316036 210 | 36.710 % |
794.30/794.86 c | 332795 | 77514 479870 1411635 | 2147483647 317310 210 | 36.710 % |
797.30/797.85 c | 334195 | 77514 479870 1411635 | 2147483647 318710 210 | 36.710 % |
802.41/802.92 c | 335735 | 77514 479870 1411635 | 2147483647 320250 210 | 36.710 % |
807.50/808.03 c | 337430 | 77514 479870 1411635 | 2147483647 321945 210 | 36.710 % |
812.40/813.00 c | 339293 | 77514 479870 1411635 | 2147483647 323808 210 | 36.710 % |
818.49/819.07 c | 341348 | 77492 479870 1411635 | 2147483647 325848 211 | 37.344 % |
825.39/825.95 c | 343605 | 77487 479870 1411635 | 2147483647 328102 210 | 37.483 % |
834.49/835.01 c | 346086 | 77482 479870 1411635 | 2147483647 330581 211 | 37.784 % |
845.18/845.77 c | 348812 | 77482 479870 1411635 | 2147483647 333307 212 | 37.784 % |
854.88/855.42 c | 351814 | 77481 479870 1411635 | 2147483647 336308 213 | 37.789 % |
867.97/868.59 c | 355115 | 75814 460032 1357421 | 2147483647 337166 214 | 37.794 % |
868.38/868.97 c | 355215 | 75813 460032 1357421 | 2147483647 337264 214 | 37.840 % |
869.07/869.60 c | 355325 | 75797 460032 1357421 | 2147483647 337374 214 | 37.840 % |
869.57/870.10 c | 355446 | 75797 460032 1357421 | 2147483647 337495 214 | 37.840 % |
870.07/870.63 c | 355582 | 75797 460032 1357421 | 2147483647 337631 214 | 37.840 % |
870.67/871.21 c | 355728 | 75797 460032 1357421 | 2147483647 337777 214 | 37.840 % |
871.07/871.69 c | 355892 | 75797 460032 1357421 | 2147483647 337941 214 | 37.840 % |
871.88/872.44 c | 356073 | 75797 460032 1357421 | 2147483647 338122 214 | 37.840 % |
872.38/872.94 c | 356267 | 75797 460032 1357421 | 2147483647 338316 214 | 37.840 % |
873.38/873.97 c | 356480 | 75797 460032 1357421 | 2147483647 338529 215 | 37.840 % |
874.48/875.03 c | 356713 | 75797 460032 1357421 | 2147483647 338762 215 | 37.840 % |
875.27/875.88 c | 356970 | 75797 460032 1357421 | 2147483647 339019 215 | 37.840 % |
876.37/876.94 c | 357253 | 75797 460032 1357421 | 2147483647 339302 215 | 37.840 % |
877.37/877.90 c | 357562 | 75796 460032 1357421 | 2147483647 339610 215 | 37.845 % |
878.28/878.81 c | 357901 | 75796 460032 1357421 | 2147483647 339949 215 | 37.845 % |
879.48/880.04 c | 358274 | 75796 460032 1357421 | 2147483647 340322 215 | 37.845 % |
880.77/881.33 c | 358683 | 75795 460032 1357421 | 2147483647 340730 215 | 37.867 % |
882.77/883.31 c | 359132 | 75795 460032 1357421 | 2147483647 341179 215 | 37.867 % |
884.56/885.13 c | 359625 | 75795 460032 1357421 | 2147483647 341672 215 | 37.867 % |
886.66/887.23 c | 360167 | 75795 460032 1357421 | 2147483647 342214 215 | 37.867 % |
888.16/888.78 c | 360765 | 75795 460032 1357421 | 2147483647 342812 215 | 37.867 % |
890.36/890.96 c | 361422 | 75794 460032 1357421 | 2147483647 343468 215 | 37.885 % |
893.55/894.19 c | 362144 | 75793 460032 1357421 | 2147483647 344189 215 | 37.885 % |
895.75/896.38 c | 362936 | 75793 460032 1357421 | 2147483647 344981 215 | 37.885 % |
899.26/899.80 c | 363807 | 75766 460032 1357421 | 2147483647 345844 215 | 38.602 % |
903.05/903.61 c | 364766 | 75764 460032 1357421 | 2147483647 346801 215 | 38.604 % |
906.66/907.23 c | 365823 | 75764 460032 1357421 | 2147483647 347858 216 | 38.604 % |
910.95/911.52 c | 366982 | 75764 460032 1357421 | 2147483647 349017 217 | 38.604 % |
914.75/915.34 c | 368256 | 75764 460032 1357421 | 2147483647 350291 217 | 38.604 % |
918.85/919.46 c | 369656 | 75764 460032 1357421 | 2147483647 351691 217 | 38.604 % |
924.15/924.78 c | 371197 | 75764 460032 1357421 | 2147483647 353232 217 | 38.604 % |
930.74/931.36 c | 372895 | 75764 460032 1357421 | 2147483647 354929 218 | 38.680 % |
939.03/939.63 c | 374758 | 75755 460032 1357421 | 2147483647 356788 218 | 38.738 % |
946.14/946.73 c | 376809 | 75751 460032 1357421 | 2147483647 358835 218 | 38.754 % |
954.44/955.05 c | 379063 | 75751 460032 1357421 | 2147483647 361089 219 | 38.754 % |
962.73/963.39 c | 381543 | 75751 460032 1357421 | 2147483647 363569 219 | 38.754 % |
969.54/970.17 c | 384268 | 75751 460032 1357421 | 2147483647 366294 219 | 38.754 % |
981.01/981.68 c | 387265 | 75751 460032 1357421 | 2147483647 369291 221 | 38.754 % |
995.31/995.91 c | 390561 | 75750 460032 1357421 | 2147483647 372586 222 | 38.757 % |
1004.41/1005.08 c | 394186 | 75750 460032 1357421 | 2147483647 376211 224 | 38.757 % |
1004.81/1005.45 c | 394287 | 75750 460032 1357421 | 2147483647 376312 224 | 38.757 % |
1005.11/1005.77 c | 394399 | 75750 460032 1357421 | 2147483647 376424 224 | 38.757 % |
1005.51/1006.14 c | 394520 | 75750 460032 1357421 | 2147483647 376545 224 | 38.757 % |
1006.01/1006.64 c | 394657 | 75750 460032 1357421 | 2147483647 376682 224 | 38.757 % |
1006.51/1007.15 c | 394805 | 75750 460032 1357421 | 2147483647 376830 224 | 38.757 % |
1007.21/1007.89 c | 394966 | 75750 460032 1357421 | 2147483647 376991 224 | 38.757 % |
1007.71/1008.34 c | 395145 | 75750 460032 1357421 | 2147483647 377170 224 | 38.757 % |
1008.21/1008.84 c | 395340 | 75750 460032 1357421 | 2147483647 377365 224 | 38.757 % |
1009.30/1009.92 c | 395553 | 75750 460032 1357421 | 2147483647 377578 224 | 38.757 % |
1010.10/1010.79 c | 395787 | 75750 460032 1357421 | 2147483647 377812 224 | 38.757 % |
1010.91/1011.52 c | 396044 | 75750 460032 1357421 | 2147483647 378069 224 | 38.757 % |
1011.81/1012.44 c | 396327 | 75750 460032 1357421 | 2147483647 378352 225 | 38.757 % |
1012.81/1013.50 c | 396638 | 75750 460032 1357421 | 2147483647 378663 225 | 38.757 % |
1014.41/1015.06 c | 396978 | 75750 460032 1357421 | 2147483647 379003 225 | 38.757 % |
1015.61/1016.25 c | 397351 | 75750 460032 1357421 | 2147483647 379375 225 | 38.758 % |
1017.30/1017.90 c | 397763 | 75749 460032 1357421 | 2147483647 379787 225 | 38.758 % |
1018.70/1019.36 c | 398212 | 75749 460032 1357421 | 2147483647 380236 225 | 38.758 % |
1020.50/1021.18 c | 398705 | 75749 460032 1357421 | 2147483647 380729 225 | 38.758 % |
1022.40/1023.06 c | 399247 | 75749 460032 1357421 | 2147483647 381271 225 | 38.758 % |
1024.60/1025.24 c | 399845 | 75748 460032 1357421 | 2147483647 381868 225 | 38.759 % |
1027.49/1028.15 c | 400502 | 75747 460032 1357421 | 2147483647 382524 225 | 38.760 % |
1030.89/1031.54 c | 401222 | 74635 442255 1307361 | 2147483647 360455 226 | 38.760 % |
1033.69/1034.34 c | 402017 | 74635 442255 1307361 | 2147483647 361250 226 | 38.760 % |
1037.49/1038.16 c | 402889 | 74635 442255 1307361 | 2147483647 362122 226 | 38.760 % |
1040.89/1041.52 c | 403847 | 74634 442255 1307361 | 2147483647 363079 226 | 38.761 % |
1043.99/1044.66 c | 404900 | 74634 442255 1307361 | 2147483647 364132 226 | 38.761 % |
1049.48/1050.17 c | 406063 | 74634 442255 1307361 | 2147483647 365295 227 | 38.761 % |
1055.29/1055.92 c | 407336 | 74634 442255 1307361 | 2147483647 366568 227 | 38.761 % |
1060.18/1060.82 c | 408736 | 74634 442255 1307361 | 2147483647 367968 228 | 38.761 % |
1066.67/1067.31 c | 410280 | 74634 442255 1307361 | 2147483647 369511 228 | 38.762 % |
1072.57/1073.26 c | 411977 | 74634 442255 1307361 | 2147483647 371208 229 | 38.762 % |
1078.17/1078.80 c | 413840 | 74634 442255 1307361 | 2147483647 373071 229 | 38.762 % |
1086.47/1087.12 c | 415890 | 74634 442255 1307361 | 2147483647 375121 230 | 38.762 % |
1095.26/1095.90 c | 418143 | 74633 442255 1307361 | 2147483647 377372 230 | 38.763 % |
1103.86/1104.57 c | 420621 | 74632 442255 1307361 | 2147483647 379848 231 | 38.769 % |
1112.95/1113.65 c | 423347 | 74631 442255 1307361 | 2147483647 382571 231 | 38.791 % |
1122.95/1123.67 c | 426346 | 74630 442255 1307361 | 2147483647 385569 231 | 38.792 % |
1136.75/1137.43 c | 429642 | 74629 442255 1307361 | 2147483647 388864 232 | 38.794 % |
1152.54/1153.25 c | 433269 | 74620 442255 1307361 | 2147483647 392483 232 | 38.905 % |
1165.84/1166.51 c | 437264 | 74616 442255 1307361 | 2147483647 396476 233 | 38.918 % |
1166.13/1166.81 c | 437367 | 74616 442255 1307361 | 2147483647 396579 233 | 38.918 % |
1166.83/1167.51 c | 437478 | 74616 442255 1307361 | 2147483647 396690 233 | 38.918 % |
1167.13/1167.80 c | 437604 | 74616 442255 1307361 | 2147483647 396816 233 | 38.918 % |
1167.44/1168.13 c | 437737 | 74616 442255 1307361 | 2147483647 396949 233 | 38.918 % |
1168.13/1168.82 c | 437886 | 74616 442255 1307361 | 2147483647 397098 233 | 38.918 % |
1168.43/1169.18 c | 438051 | 74614 442255 1307361 | 2147483647 397262 233 | 38.919 % |
1169.53/1170.22 c | 438227 | 74614 442255 1307361 | 2147483647 397438 233 | 38.919 % |
1170.63/1171.33 c | 438422 | 74614 442255 1307361 | 2147483647 397633 233 | 38.919 % |
1171.73/1172.45 c | 438634 | 74614 442255 1307361 | 2147483647 397845 233 | 38.919 % |
1172.63/1173.35 c | 438868 | 74614 442255 1307361 | 2147483647 398079 233 | 38.919 % |
1173.53/1174.25 c | 439126 | 74606 442255 1307361 | 2147483647 398336 233 | 38.975 % |
1174.84/1175.54 c | 439408 | 74606 442255 1307361 | 2147483647 398618 233 | 38.975 % |
1175.73/1176.42 c | 439717 | 74606 442255 1307361 | 2147483647 398927 233 | 38.975 % |
1177.33/1178.01 c | 440056 | 74606 442255 1307361 | 2147483647 399266 233 | 38.975 % |
1178.73/1179.43 c | 440428 | 74606 442255 1307361 | 2147483647 399638 233 | 38.975 % |
1179.63/1180.35 c | 440840 | 74606 442255 1307361 | 2147483647 400050 233 | 38.975 % |
1180.93/1181.66 c | 441289 | 74605 442255 1307361 | 2147483647 400498 233 | 38.976 % |
1183.22/1183.92 c | 441782 | 74604 442255 1307361 | 2147483647 400990 233 | 38.977 % |
1185.22/1185.98 c | 442325 | 74602 442255 1307361 | 2147483647 401531 233 | 38.987 % |
1188.02/1188.77 c | 442926 | 74602 442255 1307361 | 2147483647 402132 233 | 38.987 % |
1190.72/1191.43 c | 443582 | 74602 442255 1307361 | 2147483647 402788 233 | 38.987 % |
1194.12/1194.82 c | 444303 | 74601 442255 1307361 | 2147483647 403508 233 | 38.991 % |
1197.01/1197.73 c | 445095 | 74600 442255 1307361 | 2147483647 404299 233 | 38.991 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1833891-1242825875/watcher-1833891-1242825875 -o /tmp/evaluation-result-1833891-1242825875/solver-1833891-1242825875 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833891-1242825875.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 15990
/proc/meminfo: memFree=1941792/2055920 swapFree=4175960/4192956
[pid=15990] ppid=15988 vsize=5356 CPUtime=0
/proc/15990/stat : 15990 (SatELiteGTI) S 15988 15990 15743 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 310616720 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 251601322066 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/15990/statm: 1339 235 195 169 0 50 0
[pid=15991] ppid=15990 vsize=5356 CPUtime=0
/proc/15991/stat : 15991 (SatELiteGTI) S 15990 15990 15743 0 -1 4194368 51 25 0 0 0 0 0 0 18 0 1 0 310616720 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/15991/statm: 1339 238 198 169 0 50 0
[pid=15993] ppid=15991 vsize=5356 CPUtime=0
/proc/15993/stat : 15993 (SatELiteGTI) R 15991 15990 15743 0 -1 4194368 19 0 0 0 0 0 0 0 21 0 1 0 310616720 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251601153319 0 0 4096 0 0 0 0 17 0 0 0
/proc/15993/statm: 0 0 0 0 0 0 0
[startup+0.064175 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 15990
/proc/meminfo: memFree=1941792/2055920 swapFree=4175960/4192956
[pid=15990] ppid=15988 vsize=5356 CPUtime=0
/proc/15990/stat : 15990 (SatELiteGTI) S 15988 15990 15743 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310616720 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15990/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101177 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 15990
/proc/meminfo: memFree=1941792/2055920 swapFree=4175960/4192956
[pid=15990] ppid=15988 vsize=5356 CPUtime=0
/proc/15990/stat : 15990 (SatELiteGTI) S 15988 15990 15743 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310616720 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15990/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.3012 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 15990
/proc/meminfo: memFree=1941792/2055920 swapFree=4175960/4192956
[pid=15990] ppid=15988 vsize=5356 CPUtime=0
/proc/15990/stat : 15990 (SatELiteGTI) S 15988 15990 15743 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310616720 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15990/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701242 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 15990
/proc/meminfo: memFree=1941792/2055920 swapFree=4175960/4192956
[pid=15990] ppid=15988 vsize=5356 CPUtime=0
/proc/15990/stat : 15990 (SatELiteGTI) S 15988 15990 15743 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310616720 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15990/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50132 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 15995
/proc/meminfo: memFree=1840976/2055920 swapFree=4175960/4192956
[pid=15990] ppid=15988 vsize=5356 CPUtime=0
/proc/15990/stat : 15990 (SatELiteGTI) S 15988 15990 15743 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310616720 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15990/statm: 1339 237 197 169 0 50 0
[pid=15995] ppid=15990 vsize=116052 CPUtime=1.48
/proc/15995/stat : 15995 (SatELite_releas) R 15990 15990 15743 0 -1 4194304 26794 0 0 0 132 16 0 0 25 0 1 0 310616721 118837248 26676 1992294400 134512640 135223648 4294956128 18446744073709551615 134575965 0 0 4096 3 0 0 0 17 0 0 0
/proc/15995/statm: 29013 26676 71 173 0 28838 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 121408
[startup+3.1015 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 15995
/proc/meminfo: memFree=1821456/2055920 swapFree=4175960/4192956
[pid=15990] ppid=15988 vsize=5356 CPUtime=0
/proc/15990/stat : 15990 (SatELiteGTI) S 15988 15990 15743 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310616720 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15990/statm: 1339 237 197 169 0 50 0
[pid=15995] ppid=15990 vsize=142004 CPUtime=3.08
/proc/15995/stat : 15995 (SatELite_releas) R 15990 15990 15743 0 -1 4194304 34826 0 0 0 285 23 0 0 25 0 1 0 310616721 145412096 31819 1992294400 134512640 135223648 4294956128 18446744073709551615 134586986 0 0 4096 3 0 0 0 17 0 0 0
/proc/15995/statm: 35501 31819 76 173 0 35326 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 147360
[startup+6.30185 s]
/proc/loadavg: 1.16 1.03 1.01 2/67 15995
/proc/meminfo: memFree=1806808/2055920 swapFree=4175960/4192956
[pid=15990] ppid=15988 vsize=5356 CPUtime=0
/proc/15990/stat : 15990 (SatELiteGTI) S 15988 15990 15743 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310616720 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15990/statm: 1339 237 197 169 0 50 0
[pid=15995] ppid=15990 vsize=142252 CPUtime=6.28
/proc/15995/stat : 15995 (SatELite_releas) R 15990 15990 15743 0 -1 4194304 38170 0 0 0 603 25 0 0 25 0 1 0 310616721 145666048 31953 1992294400 134512640 135223648 4294956128 18446744073709551615 134586728 0 0 4096 3 0 0 0 17 0 0 0
/proc/15995/statm: 35563 31953 76 173 0 35388 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 147608
[startup+12.7016 s]
/proc/loadavg: 1.23 1.05 1.02 2/67 15996
/proc/meminfo: memFree=1870688/2055920 swapFree=4175960/4192956
[pid=15990] ppid=15988 vsize=5356 CPUtime=8.87
/proc/15990/stat : 15990 (SatELiteGTI) S 15988 15990 15743 0 -1 4194304 336 43005 0 0 0 0 853 34 16 0 1 0 310616720 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15990/statm: 1339 239 197 169 0 50 0
[pid=15996] ppid=15990 vsize=47376 CPUtime=3.79
/proc/15996/stat : 15996 (minisat_static) R 15990 15990 15743 0 -1 4194304 11200 0 0 0 372 7 0 0 25 0 1 0 310617610 48513024 11163 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/15996/statm: 11844 11163 77 171 0 11671 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 52732
[startup+25.502 s]
/proc/loadavg: 1.40 1.09 1.03 2/67 15996
/proc/meminfo: memFree=1870240/2055920 swapFree=4175960/4192956
[pid=15990] ppid=15988 vsize=5356 CPUtime=8.87
/proc/15990/stat : 15990 (SatELiteGTI) S 15988 15990 15743 0 -1 4194304 336 43005 0 0 0 0 853 34 16 0 1 0 310616720 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15990/statm: 1339 239 197 169 0 50 0
[pid=15996] ppid=15990 vsize=48048 CPUtime=16.58
/proc/15996/stat : 15996 (minisat_static) R 15990 15990 15743 0 -1 4194304 11361 0 0 0 1651 7 0 0 25 0 1 0 310617610 49201152 11324 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/15996/statm: 12012 11324 77 171 0 11839 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 53404
[startup+51.1018 s]
/proc/loadavg: 1.32 1.10 1.03 2/67 15996
/proc/meminfo: memFree=1865504/2055920 swapFree=4175960/4192956
[pid=15990] ppid=15988 vsize=5356 CPUtime=8.87
/proc/15990/stat : 15990 (SatELiteGTI) S 15988 15990 15743 0 -1 4194304 336 43005 0 0 0 0 853 34 16 0 1 0 310616720 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15990/statm: 1339 239 197 169 0 50 0
[pid=15996] ppid=15990 vsize=53832 CPUtime=42.16
/proc/15996/stat : 15996 (minisat_static) R 15990 15990 15743 0 -1 4194304 12831 0 0 0 4206 10 0 0 25 0 1 0 310617610 55123968 12794 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/15996/statm: 13458 12794 77 171 0 13285 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 59188
[startup+102.305 s]
/proc/loadavg: 1.14 1.08 1.03 2/67 15996
/proc/meminfo: memFree=1847648/2055920 swapFree=4175960/4192956
[pid=15990] ppid=15988 vsize=5356 CPUtime=8.87
/proc/15990/stat : 15990 (SatELiteGTI) S 15988 15990 15743 0 -1 4194304 336 43005 0 0 0 0 853 34 16 0 1 0 310616720 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15990/statm: 1339 239 197 169 0 50 0
[pid=15996] ppid=15990 vsize=71632 CPUtime=93.33
/proc/15996/stat : 15996 (minisat_static) R 15990 15990 15743 0 -1 4194304 17274 0 0 0 9318 15 0 0 25 0 1 0 310617610 73351168 17237 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/15996/statm: 17908 17237 77 171 0 17735 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 76988
[startup+162.301 s]
/proc/loadavg: 1.05 1.07 1.02 2/67 15996
/proc/meminfo: memFree=1825248/2055920 swapFree=4175960/4192956
[pid=15990] ppid=15988 vsize=5356 CPUtime=8.87
/proc/15990/stat : 15990 (SatELiteGTI) S 15988 15990 15743 0 -1 4194304 336 43005 0 0 0 0 853 34 16 0 1 0 310616720 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15990/statm: 1339 239 197 169 0 50 0
[pid=15996] ppid=15990 vsize=94208 CPUtime=153.28
/proc/15996/stat : 15996 (minisat_static) R 15990 15990 15743 0 -1 4194304 22914 0 0 0 15308 20 0 0 25 0 1 0 310617610 96468992 22877 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 0 0 0
/proc/15996/statm: 23552 22877 77 171 0 23379 0
Current children cumulated CPU time (s) 162.15
Current children cumulated vsize (KiB) 99564
[startup+222.302 s]
/proc/loadavg: 1.02 1.05 1.02 2/67 15996
/proc/meminfo: memFree=1802208/2055920 swapFree=4175960/4192956
[pid=15990] ppid=15988 vsize=5356 CPUtime=8.87
/proc/15990/stat : 15990 (SatELiteGTI) S 15988 15990 15743 0 -1 4194304 336 43005 0 0 0 0 853 34 16 0 1 0 310616720 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15990/statm: 1339 239 197 169 0 50 0
[pid=15996] ppid=15990 vsize=116964 CPUtime=213.26
/proc/15996/stat : 15996 (minisat_static) R 15990 15990 15743 0 -1 4194304 28589 0 0 0 21300 26 0 0 25 0 1 0 310617610 119771136 28552 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/15996/statm: 29241 28552 77 171 0 29068 0
Current children cumulated CPU time (s) 222.13
Current children cumulated vsize (KiB) 122320
[startup+282.301 s]
/proc/loadavg: 1.00 1.04 1.01 2/67 15996
/proc/meminfo: memFree=1780064/2055920 swapFree=4175960/4192956
[pid=15990] ppid=15988 vsize=5356 CPUtime=8.87
/proc/15990/stat : 15990 (SatELiteGTI) S 15988 15990 15743 0 -1 4194304 336 43005 0 0 0 0 853 34 16 0 1 0 310616720 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15990/statm: 1339 239 197 169 0 50 0
[pid=15996] ppid=15990 vsize=139152 CPUtime=273.23
/proc/15996/stat : 15996 (minisat_static) R 15990 15990 15743 0 -1 4194304 34100 0 0 0 27291 32 0 0 25 0 1 0 310617610 142491648 34063 1992294400 134512640 135215339 4294956240 18446744073709551615 134527353 0 0 4096 3 0 0 0 17 0 0 0
/proc/15996/statm: 34788 34063 77 171 0 34615 0
Current children cumulated CPU time (s) 282.1
Current children cumulated vsize (KiB) 144508
[startup+342.301 s]
/proc/loadavg: 1.00 1.03 1.00 2/67 15996
/proc/meminfo: memFree=1758304/2055920 swapFree=4175960/4192956
[pid=15990] ppid=15988 vsize=5356 CPUtime=8.87
/proc/15990/stat : 15990 (SatELiteGTI) S 15988 15990 15743 0 -1 4194304 336 43005 0 0 0 0 853 34 16 0 1 0 310616720 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15990/statm: 1339 239 197 169 0 50 0
[pid=15996] ppid=15990 vsize=160676 CPUtime=333.19
/proc/15996/stat : 15996 (minisat_static) R 15990 15990 15743 0 -1 4194304 39498 0 0 0 33280 39 0 0 25 0 1 0 310617610 164532224 39461 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 0 0 0
/proc/15996/statm: 40169 39461 77 171 0 39996 0
Current children cumulated CPU time (s) 342.06
Current children cumulated vsize (KiB) 166032
[startup+402.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/67 15996
/proc/meminfo: memFree=1740192/2055920 swapFree=4175960/4192956
[pid=15990] ppid=15988 vsize=5356 CPUtime=8.87
/proc/15990/stat : 15990 (SatELiteGTI) S 15988 15990 15743 0 -1 4194304 336 43005 0 0 0 0 853 34 16 0 1 0 310616720 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15990/statm: 1339 239 197 169 0 50 0
[pid=15996] ppid=15990 vsize=178916 CPUtime=393.16
################
# More data... #
################
/proc/15996/statm: 61205 60466 77 171 0 61032 0
Current children cumulated CPU time (s) 581.9
Current children cumulated vsize (KiB) 250176
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 15996
/proc/meminfo: memFree=1652512/2055920 swapFree=4175960/4192956
[pid=15990] ppid=15988 vsize=5356 CPUtime=8.87
/proc/15990/stat : 15990 (SatELiteGTI) S 15988 15990 15743 0 -1 4194304 336 43005 0 0 0 0 853 34 16 0 1 0 310616720 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15990/statm: 1339 239 197 169 0 50 0
[pid=15996] ppid=15990 vsize=265680 CPUtime=633.01
/proc/15996/stat : 15996 (minisat_static) R 15990 15990 15743 0 -1 4194304 65746 0 0 0 63235 66 0 0 25 0 1 0 310617610 272056320 65709 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/15996/statm: 66420 65709 77 171 0 66247 0
Current children cumulated CPU time (s) 641.88
Current children cumulated vsize (KiB) 271036
[startup+702.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 15996
/proc/meminfo: memFree=1628448/2055920 swapFree=4175960/4192956
[pid=15990] ppid=15988 vsize=5356 CPUtime=8.87
/proc/15990/stat : 15990 (SatELiteGTI) S 15988 15990 15743 0 -1 4194304 336 43005 0 0 0 0 853 34 16 0 1 0 310616720 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15990/statm: 1339 239 197 169 0 50 0
[pid=15996] ppid=15990 vsize=289708 CPUtime=692.97
/proc/15996/stat : 15996 (minisat_static) R 15990 15990 15743 0 -1 4194304 71771 0 0 0 69224 73 0 0 25 0 1 0 310617610 296660992 71734 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/15996/statm: 72427 71734 77 171 0 72254 0
Current children cumulated CPU time (s) 701.84
Current children cumulated vsize (KiB) 295064
[startup+762.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 15996
/proc/meminfo: memFree=1606560/2055920 swapFree=4175960/4192956
[pid=15990] ppid=15988 vsize=5356 CPUtime=8.87
/proc/15990/stat : 15990 (SatELiteGTI) S 15988 15990 15743 0 -1 4194304 336 43005 0 0 0 0 853 34 16 0 1 0 310616720 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15990/statm: 1339 239 197 169 0 50 0
[pid=15996] ppid=15990 vsize=311260 CPUtime=752.95
/proc/15996/stat : 15996 (minisat_static) R 15990 15990 15743 0 -1 4194304 77167 0 0 0 75218 77 0 0 25 0 1 0 310617610 318730240 77130 1992294400 134512640 135215339 4294956240 18446744073709551615 134528827 0 0 4096 3 0 0 0 17 0 0 0
/proc/15996/statm: 77815 77130 77 171 0 77642 0
Current children cumulated CPU time (s) 761.82
Current children cumulated vsize (KiB) 316616
[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 15996
/proc/meminfo: memFree=1586144/2055920 swapFree=4175960/4192956
[pid=15990] ppid=15988 vsize=5356 CPUtime=8.87
/proc/15990/stat : 15990 (SatELiteGTI) S 15988 15990 15743 0 -1 4194304 336 43005 0 0 0 0 853 34 16 0 1 0 310616720 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15990/statm: 1339 239 197 169 0 50 0
[pid=15996] ppid=15990 vsize=332352 CPUtime=812.93
/proc/15996/stat : 15996 (minisat_static) R 15990 15990 15743 0 -1 4194304 82311 0 0 0 81210 83 0 0 25 0 1 0 310617610 340328448 82274 1992294400 134512640 135215339 4294956240 18446744073709551615 134532976 0 0 4096 3 0 0 0 17 0 0 0
/proc/15996/statm: 83088 82274 77 171 0 82915 0
Current children cumulated CPU time (s) 821.8
Current children cumulated vsize (KiB) 337708
[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 15996
/proc/meminfo: memFree=1567968/2055920 swapFree=4175960/4192956
[pid=15990] ppid=15988 vsize=5356 CPUtime=8.87
/proc/15990/stat : 15990 (SatELiteGTI) S 15988 15990 15743 0 -1 4194304 336 43005 0 0 0 0 853 34 16 0 1 0 310616720 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15990/statm: 1339 239 197 169 0 50 0
[pid=15996] ppid=15990 vsize=350212 CPUtime=872.89
/proc/15996/stat : 15996 (minisat_static) R 15990 15990 15743 0 -1 4194304 86797 0 0 0 87201 88 0 0 25 0 1 0 310617610 358617088 86760 1992294400 134512640 135215339 4294956240 18446744073709551615 134538397 0 0 4096 3 0 0 0 17 0 0 0
/proc/15996/statm: 87553 86760 77 171 0 87380 0
Current children cumulated CPU time (s) 881.76
Current children cumulated vsize (KiB) 355568
[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 15996
/proc/meminfo: memFree=1548128/2055920 swapFree=4175960/4192956
[pid=15990] ppid=15988 vsize=5356 CPUtime=8.87
/proc/15990/stat : 15990 (SatELiteGTI) S 15988 15990 15743 0 -1 4194304 336 43005 0 0 0 0 853 34 16 0 1 0 310616720 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15990/statm: 1339 239 197 169 0 50 0
[pid=15996] ppid=15990 vsize=370176 CPUtime=932.86
/proc/15996/stat : 15996 (minisat_static) R 15990 15990 15743 0 -1 4194304 91786 0 0 0 93194 92 0 0 25 0 1 0 310617610 379060224 91749 1992294400 134512640 135215339 4294956240 18446744073709551615 134537910 0 0 4096 3 0 0 0 17 0 0 0
/proc/15996/statm: 92544 91749 77 171 0 92371 0
Current children cumulated CPU time (s) 941.73
Current children cumulated vsize (KiB) 375532
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 15996
/proc/meminfo: memFree=1525344/2055920 swapFree=4175960/4192956
[pid=15990] ppid=15988 vsize=5356 CPUtime=8.87
/proc/15990/stat : 15990 (SatELiteGTI) S 15988 15990 15743 0 -1 4194304 336 43005 0 0 0 0 853 34 16 0 1 0 310616720 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15990/statm: 1339 239 197 169 0 50 0
[pid=15996] ppid=15990 vsize=392488 CPUtime=992.84
/proc/15996/stat : 15996 (minisat_static) R 15990 15990 15743 0 -1 4194304 97395 0 0 0 99186 98 0 0 25 0 1 0 310617610 401907712 97358 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/15996/statm: 98122 97358 77 171 0 97949 0
Current children cumulated CPU time (s) 1001.71
Current children cumulated vsize (KiB) 397844
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 15996
/proc/meminfo: memFree=1514912/2055920 swapFree=4175960/4192956
[pid=15990] ppid=15988 vsize=5356 CPUtime=8.87
/proc/15990/stat : 15990 (SatELiteGTI) S 15988 15990 15743 0 -1 4194304 336 43005 0 0 0 0 853 34 16 0 1 0 310616720 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15990/statm: 1339 239 197 169 0 50 0
[pid=15996] ppid=15990 vsize=402660 CPUtime=1052.81
/proc/15996/stat : 15996 (minisat_static) R 15990 15990 15743 0 -1 4194304 99944 0 0 0 105182 99 0 0 25 0 1 0 310617610 412323840 99907 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/15996/statm: 100665 99907 77 171 0 100492 0
Current children cumulated CPU time (s) 1061.68
Current children cumulated vsize (KiB) 408016
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 15996
/proc/meminfo: memFree=1502752/2055920 swapFree=4175960/4192956
[pid=15990] ppid=15988 vsize=5356 CPUtime=8.87
/proc/15990/stat : 15990 (SatELiteGTI) S 15988 15990 15743 0 -1 4194304 336 43005 0 0 0 0 853 34 16 0 1 0 310616720 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15990/statm: 1339 239 197 169 0 50 0
[pid=15996] ppid=15990 vsize=414836 CPUtime=1112.78
/proc/15996/stat : 15996 (minisat_static) R 15990 15990 15743 0 -1 4194304 102992 0 0 0 111175 103 0 0 25 0 1 0 310617610 424792064 102955 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/15996/statm: 103709 102955 77 171 0 103536 0
Current children cumulated CPU time (s) 1121.65
Current children cumulated vsize (KiB) 420192
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 15998
/proc/meminfo: memFree=1485152/2055920 swapFree=4175960/4192956
[pid=15990] ppid=15988 vsize=5356 CPUtime=8.87
/proc/15990/stat : 15990 (SatELiteGTI) S 15988 15990 15743 0 -1 4194304 336 43005 0 0 0 0 853 34 16 0 1 0 310616720 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15990/statm: 1339 239 197 169 0 50 0
[pid=15996] ppid=15990 vsize=432300 CPUtime=1172.76
/proc/15996/stat : 15996 (minisat_static) R 15990 15990 15743 0 -1 4194304 107377 0 0 0 117169 107 0 0 25 0 1 0 310617610 442675200 107340 1992294400 134512640 135215339 4294956240 18446744073709551615 134527384 0 0 4096 3 0 0 0 17 0 0 0
/proc/15996/statm: 108075 107340 77 171 0 107902 0
Current children cumulated CPU time (s) 1181.63
Current children cumulated vsize (KiB) 437656
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 15998
/proc/meminfo: memFree=1480352/2055920 swapFree=4175960/4192956
[pid=15990] ppid=15988 vsize=5356 CPUtime=8.87
/proc/15990/stat : 15990 (SatELiteGTI) S 15988 15990 15743 0 -1 4194304 336 43005 0 0 0 0 853 34 16 0 1 0 310616720 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15990/statm: 1339 239 197 169 0 50 0
[pid=15996] ppid=15990 vsize=436932 CPUtime=1191.15
/proc/15996/stat : 15996 (minisat_static) R 15990 15990 15743 0 -1 4194304 108526 0 0 0 119007 108 0 0 25 0 1 0 310617610 447418368 108489 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/15996/statm: 109233 108489 77 171 0 109060 0
Current children cumulated CPU time (s) 1200.02
Current children cumulated vsize (KiB) 442288
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 15998
/proc/meminfo: memFree=1480352/2055920 swapFree=4175960/4192956
[pid=15990] ppid=15988 vsize=5356 CPUtime=8.87
/proc/15990/stat : 15990 (SatELiteGTI) S 15988 15990 15743 0 -1 4194304 336 43005 0 0 0 0 853 34 16 0 1 0 310616720 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15990/statm: 1339 239 197 169 0 50 0
[pid=15996] ppid=15990 vsize=436932 CPUtime=1191.15
/proc/15996/stat : 15996 (minisat_static) R 15990 15990 15743 0 -1 4194304 108526 0 0 0 119007 108 0 0 25 0 1 0 310617610 447418368 108489 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/15996/statm: 109233 108489 77 171 0 109060 0
Current children cumulated CPU time (s) 1200.02
Current children cumulated vsize (KiB) 442288
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 15990 and gives
# childrusage.ru_utime.tv_sec=8
# childrusage.ru_utime.tv_usec=540701
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=351946
# CPU time returned by wait4() is 8.89265
# while last known CPU time is 1200.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.71
CPU time (s): 1200.02
CPU user time (s): 1198.6
CPU system time (s): 1.42
CPU usage (%): 99.9423
Max. virtual memory (cumulated for all children) (KiB): 442288
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.5407
system time used= 0.351946
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43341
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= 54
runsolver used 1.11983 second user time and 3.34749 second system time
The end
Begin job on node91 at 2009-05-20 15:24:37
IDJOB=1833891
IDBENCH=71034
IDSOLVER=671
FILE ID=node91/1833891-1242825875
PBS_JOBID= 9322493
Free space on /tmp= 66300 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/diagnosis/UTI-20-5p1.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1833891-1242825875/watcher-1833891-1242825875 -o /tmp/evaluation-result-1833891-1242825875/solver-1833891-1242825875 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833891-1242825875.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 10eca282b9263f77903cd90a479b46ee
RANDOM SEED=108019407
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: 1942336 kB
Buffers: 17444 kB
Cached: 56104 kB
SwapCached: 10568 kB
Active: 41544 kB
Inactive: 43964 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1942336 kB
SwapTotal: 4192956 kB
SwapFree: 4175960 kB
Dirty: 24316 kB
Writeback: 0 kB
Mapped: 17136 kB
Slab: 13980 kB
Committed_AS: 932256 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= 66276 MiB
End job on node91 at 2009-05-20 15:44:40