0.00/0.00 c Parsing...
0.99/1.06 c ==============================================================================
0.99/1.06 c | | ORIGINAL | LEARNT | |
0.99/1.06 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.99/1.06 c ==============================================================================
0.99/1.06 c | 0 | 995760 2383068 | 298727 0 0 nan | 0.000 % |
5.99/6.04 c | 0 | 659939 1826685 | -- 0 -- -- | -- | -84792/17404
5.99/6.05 c ==============================================================================
5.99/6.05 c Result : #vars: 102107 #clauses: 659939 #literals: 1826685
5.99/6.05 c CPU time: 5.81811 s
5.99/6.05 c ==============================================================================
6.68/6.73 c This is MiniSat 2.0 beta
6.68/6.73 c WARNING: for repeatability, setting FPU to use double precision
6.68/6.73 c ============================[ Problem Statistics ]=============================
6.68/6.73 c | |
6.68/6.73 c | Number of variables: 102107 |
6.68/6.73 c | Number of clauses: 659939 |
6.71/7.15 c | Parsing time: 0.38 s |
6.71/7.17 c ============================[ Search Statistics ]==============================
6.71/7.17 c | Conflicts | ORIGINAL | LEARNT | Progress |
6.71/7.17 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
6.71/7.17 c ===============================================================================
6.71/7.17 c | 0 | 102107 659939 1826685 | 219979 0 nan | 0.000 % |
6.71/7.35 c | 100 | 102042 659939 1826685 | 219979 95 8 | 0.726 % |
7.67/7.77 c | 201 | 102017 659939 1826685 | 219979 195 16 | 0.738 % |
7.76/7.87 c | 301 | 102016 659939 1826685 | 219979 294 19 | 0.751 % |
8.06/8.12 c | 411 | 101911 659939 1826685 | 219979 401 20 | 1.294 % |
8.16/8.21 c | 511 | 100786 648207 1796890 | 219979 498 20 | 1.294 % |
8.26/8.38 c | 621 | 100777 648207 1796890 | 219979 607 20 | 1.576 % |
8.56/8.60 c | 744 | 100777 648207 1796890 | 219979 730 31 | 1.576 % |
8.67/8.71 c | 845 | 100776 648207 1796890 | 219979 828 40 | 2.974 % |
8.86/8.97 c | 955 | 100742 648207 1796890 | 219979 938 42 | 2.974 % |
9.06/9.17 c | 1076 | 100742 648207 1796890 | 219979 1059 44 | 2.974 % |
9.36/9.48 c | 1210 | 98674 634148 1762575 | 219979 1191 45 | 3.362 % |
9.87/9.94 c | 1310 | 98521 634148 1762575 | 219979 1287 48 | 5.396 % |
10.56/10.60 c | 1420 | 98502 634148 1762575 | 219979 1396 46 | 6.029 % |
10.87/11.00 c | 1543 | 95951 616026 1717194 | 219979 1519 44 | 6.029 % |
11.16/11.26 c | 1676 | 95951 616026 1717194 | 219979 1652 46 | 6.029 % |
11.36/11.47 c | 1823 | 95947 616026 1717194 | 219979 1798 48 | 6.042 % |
11.66/11.78 c | 1924 | 95947 616026 1717194 | 219979 1899 48 | 6.042 % |
11.86/11.96 c | 2042 | 95947 616026 1717194 | 219979 2017 50 | 6.042 % |
12.07/12.11 c | 2164 | 95938 615924 1716925 | 219979 2139 54 | 6.042 % |
12.16/12.29 c | 2297 | 95932 615924 1716925 | 219979 2271 58 | 6.049 % |
12.56/12.69 c | 2443 | 95901 615924 1716925 | 219979 2415 57 | 6.089 % |
12.96/13.01 c | 2603 | 95869 615924 1716925 | 219979 2573 55 | 6.611 % |
13.17/13.29 c | 2703 | 95869 615924 1716925 | 219979 2673 54 | 6.611 % |
13.46/13.58 c | 2814 | 95357 612047 1707225 | 219979 2780 57 | 6.611 % |
13.76/13.81 c | 2935 | 95357 612047 1707225 | 219979 2901 60 | 6.611 % |
13.76/13.88 c | 3070 | 95357 612047 1707225 | 219979 3036 62 | 6.611 % |
13.86/13.95 c | 3221 | 95357 612047 1707225 | 219979 3187 64 | 6.611 % |
14.06/14.16 c | 3383 | 95356 612047 1707225 | 219979 3348 69 | 6.622 % |
14.36/14.44 c | 3559 | 95351 612047 1707225 | 219979 3523 72 | 7.013 % |
14.46/14.59 c | 3659 | 95351 612047 1707225 | 219979 3623 73 | 7.013 % |
14.76/14.80 c | 3772 | 94946 606168 1691225 | 219979 3720 74 | 7.026 % |
14.86/14.94 c | 3895 | 94945 606168 1691225 | 219979 3843 75 | 7.026 % |
15.06/15.10 c | 4028 | 94941 606168 1691225 | 219979 3976 76 | 7.026 % |
15.26/15.30 c | 4174 | 94940 606168 1691225 | 219979 4121 76 | 7.027 % |
15.56/15.67 c | 4335 | 94890 606168 1691225 | 219979 4280 77 | 7.122 % |
15.86/15.92 c | 4511 | 94354 599378 1673232 | 219979 4409 77 | 7.593 % |
16.16/16.23 c | 4704 | 94354 599378 1673232 | 219979 4602 76 | 7.593 % |
16.26/16.34 c | 4804 | 94354 599378 1673232 | 219979 4702 76 | 7.593 % |
16.46/16.51 c | 4914 | 94342 599378 1673232 | 219979 4811 76 | 7.605 % |
16.56/16.66 c | 5035 | 94243 599378 1673232 | 219979 4931 75 | 7.824 % |
16.86/16.92 c | 5168 | 94243 599378 1673232 | 219979 5064 75 | 7.824 % |
17.06/17.17 c | 5318 | 94191 599378 1673232 | 219979 5211 74 | 8.482 % |
17.26/17.39 c | 5481 | 93446 593244 1658813 | 219979 5370 75 | 8.482 % |
17.56/17.64 c | 5657 | 93445 593244 1658813 | 219979 5545 75 | 8.492 % |
17.87/17.93 c | 5850 | 93445 593244 1658813 | 219979 5738 76 | 8.492 % |
18.17/18.30 c | 6062 | 93387 593244 1658813 | 219979 5947 77 | 8.725 % |
18.37/18.42 c | 6162 | 93386 593244 1658813 | 219979 6046 76 | 8.737 % |
18.77/18.86 c | 6272 | 92734 588702 1647144 | 219979 6137 76 | 9.698 % |
19.06/19.18 c | 6393 | 92627 588702 1647144 | 219979 6256 75 | 9.937 % |
19.36/19.47 c | 6526 | 92627 588702 1647144 | 219979 6389 78 | 9.937 % |
19.56/19.63 c | 6676 | 92627 588702 1647144 | 219979 6539 79 | 9.937 % |
19.67/19.72 c | 6836 | 92627 588702 1647144 | 219979 6699 80 | 9.937 % |
19.96/20.02 c | 7012 | 92627 588702 1647144 | 219979 6875 81 | 9.937 % |
20.36/20.44 c | 7205 | 91960 584700 1638299 | 219979 7019 81 | 9.938 % |
20.66/20.76 c | 7417 | 91933 584700 1638299 | 219979 7230 82 | 10.126 % |
21.16/21.20 c | 7650 | 91932 584700 1638299 | 219979 7462 85 | 10.135 % |
21.26/21.31 c | 7750 | 91932 584700 1638299 | 219979 7562 84 | 10.135 % |
21.36/21.47 c | 7860 | 91932 584700 1638299 | 219979 7672 84 | 10.135 % |
21.76/21.81 c | 7983 | 91705 583705 1636247 | 219979 7793 84 | 10.547 % |
21.87/21.96 c | 8118 | 91705 583705 1636247 | 219979 7928 84 | 10.547 % |
22.16/22.23 c | 8272 | 91590 583705 1636247 | 219979 8081 84 | 11.161 % |
22.46/22.53 c | 8433 | 91590 583705 1636247 | 219979 8242 83 | 11.161 % |
22.76/22.85 c | 8609 | 91561 583705 1636247 | 219979 8415 83 | 11.710 % |
23.16/23.20 c | 8802 | 89859 570497 1604291 | 219979 8358 83 | 12.067 % |
23.46/23.51 c | 9015 | 89807 570497 1604291 | 219979 8566 82 | 12.756 % |
23.86/23.92 c | 9248 | 89754 570497 1604291 | 219979 8797 82 | 12.906 % |
24.07/24.18 c | 9504 | 89753 570497 1604291 | 219979 9052 84 | 12.918 % |
24.17/24.25 c | 9609 | 89753 570497 1604291 | 219979 9157 86 | 12.918 % |
24.36/24.40 c | 9719 | 89705 570497 1604291 | 219979 9266 86 | 12.982 % |
24.56/24.67 c | 9840 | 88837 558610 1572917 | 219979 9144 85 | 13.001 % |
24.96/25.01 c | 9973 | 88698 558610 1572917 | 219979 9275 85 | 13.412 % |
25.06/25.17 c | 10120 | 88695 558610 1572917 | 2147483647 9421 85 | 13.420 % |
25.36/25.45 c | 10281 | 88694 558610 1572917 | 2147483647 9581 85 | 13.424 % |
25.66/25.74 c | 10457 | 88680 558610 1572917 | 2147483647 9756 85 | 13.732 % |
25.96/26.08 c | 10650 | 88680 558610 1572917 | 2147483647 9949 85 | 13.732 % |
26.37/26.44 c | 10862 | 88068 554313 1563086 | 2147483647 10121 86 | 13.773 % |
26.66/26.72 c | 11097 | 88056 554313 1563086 | 2147483647 10353 85 | 14.352 % |
27.16/27.24 c | 11354 | 88055 554313 1563086 | 2147483647 10609 85 | 14.353 % |
27.46/27.54 c | 11636 | 87924 554313 1563086 | 2147483647 10889 85 | 14.692 % |
27.66/27.74 c | 11736 | 87924 554313 1563086 | 2147483647 10989 86 | 14.692 % |
27.86/27.95 c | 11846 | 87924 554313 1563086 | 2147483647 11099 86 | 14.692 % |
28.06/28.10 c | 11967 | 87105 544315 1536952 | 2147483647 11176 87 | 14.692 % |
28.06/28.18 c | 12103 | 87105 544315 1536952 | 2147483647 11312 88 | 14.692 % |
28.26/28.31 c | 12250 | 87105 544315 1536952 | 2147483647 11459 88 | 14.692 % |
28.36/28.48 c | 12412 | 87105 544315 1536952 | 2147483647 11621 88 | 14.692 % |
28.66/28.78 c | 12588 | 87105 544315 1536952 | 2147483647 11797 89 | 14.692 % |
28.96/29.09 c | 12782 | 87091 544315 1536952 | 2147483647 11989 90 | 15.209 % |
29.36/29.47 c | 12998 | 87087 544315 1536952 | 2147483647 12204 90 | 15.218 % |
29.76/29.87 c | 13231 | 86036 529603 1496713 | 2147483647 12104 88 | 15.999 % |
30.16/30.29 c | 13487 | 85982 529603 1496713 | 2147483647 12360 89 | 15.999 % |
30.46/30.50 c | 13769 | 85982 529603 1496713 | 2147483647 12642 90 | 15.999 % |
30.76/30.88 c | 14078 | 85822 529603 1496713 | 2147483647 12949 92 | 16.354 % |
30.96/31.00 c | 14178 | 85822 529603 1496713 | 2147483647 13049 91 | 16.354 % |
31.06/31.10 c | 14288 | 85822 529603 1496713 | 2147483647 13159 91 | 16.354 % |
31.16/31.30 c | 14411 | 85803 529603 1496713 | 2147483647 13282 91 | 16.354 % |
31.36/31.46 c | 14545 | 85803 529603 1496713 | 2147483647 13416 91 | 16.354 % |
31.76/31.82 c | 14691 | 85408 524910 1485255 | 2147483647 13525 91 | 16.354 % |
31.96/32.01 c | 14852 | 85408 524910 1485255 | 2147483647 13686 92 | 16.354 % |
32.06/32.20 c | 15028 | 85408 524910 1485255 | 2147483647 13862 92 | 16.354 % |
32.36/32.49 c | 15222 | 85397 524910 1485255 | 2147483647 14055 92 | 16.633 % |
32.66/32.76 c | 15434 | 85395 524910 1485255 | 2147483647 14266 92 | 16.638 % |
33.05/33.13 c | 15667 | 85395 524910 1485255 | 2147483647 14499 95 | 16.638 % |
33.35/33.43 c | 15924 | 85395 524910 1485255 | 2147483647 14756 98 | 16.638 % |
33.76/33.85 c | 16206 | 85395 524910 1485255 | 2147483647 15038 102 | 16.638 % |
34.26/34.33 c | 16515 | 85118 522659 1479738 | 2147483647 15344 106 | 16.638 % |
34.66/34.76 c | 16857 | 85118 522659 1479738 | 2147483647 15686 111 | 16.638 % |
34.76/34.86 c | 16958 | 85118 522659 1479738 | 2147483647 15787 112 | 16.638 % |
34.96/35.00 c | 17068 | 85118 522659 1479738 | 2147483647 15897 112 | 16.638 % |
35.07/35.16 c | 17189 | 85118 522659 1479738 | 2147483647 16018 112 | 16.638 % |
35.17/35.28 c | 17322 | 85117 522659 1479738 | 2147483647 16150 112 | 16.643 % |
35.46/35.54 c | 17469 | 85117 522659 1479738 | 2147483647 16297 112 | 16.643 % |
35.66/35.77 c | 17629 | 85117 522659 1479738 | 2147483647 16457 113 | 16.643 % |
36.06/36.11 c | 17806 | 85117 522659 1479738 | 2147483647 16634 113 | 16.643 % |
36.46/36.53 c | 18000 | 84950 521778 1477721 | 2147483647 16773 113 | 16.803 % |
36.66/36.79 c | 18214 | 84950 521778 1477721 | 2147483647 16987 114 | 16.803 % |
37.06/37.12 c | 18449 | 84950 521778 1477721 | 2147483647 17222 115 | 16.803 % |
37.56/37.66 c | 18708 | 84947 521778 1477721 | 2147483647 17479 115 | 16.827 % |
37.96/38.01 c | 18990 | 84946 521778 1477721 | 2147483647 17761 116 | 16.827 % |
38.36/38.43 c | 19299 | 84945 521778 1477721 | 2147483647 18069 116 | 16.828 % |
38.86/38.95 c | 19641 | 84942 521778 1477721 | 2147483647 18409 116 | 16.834 % |
39.26/39.39 c | 20016 | 84942 521778 1477721 | 2147483647 18784 115 | 16.834 % |
39.56/39.64 c | 20119 | 84918 521427 1476794 | 2147483647 18870 115 | 16.834 % |
39.76/39.88 c | 20232 | 84915 521427 1476794 | 2147483647 18982 115 | 16.842 % |
39.96/40.02 c | 20354 | 84915 521427 1476794 | 2147483647 19104 115 | 16.842 % |
40.16/40.29 c | 20490 | 84914 521427 1476794 | 2147483647 19239 116 | 16.986 % |
40.36/40.48 c | 20636 | 84914 521427 1476794 | 2147483647 19385 115 | 16.986 % |
40.75/40.84 c | 20796 | 84914 521427 1476794 | 2147483647 19545 115 | 16.986 % |
41.25/41.32 c | 20974 | 84914 521427 1476794 | 2147483647 19723 115 | 16.986 % |
41.55/41.60 c | 21169 | 84914 521427 1476794 | 2147483647 19918 115 | 16.986 % |
41.85/41.95 c | 21381 | 84914 521427 1476794 | 2147483647 20130 116 | 16.986 % |
42.35/42.43 c | 21614 | 84761 520495 1474457 | 2147483647 20355 118 | 17.849 % |
42.76/42.87 c | 21870 | 84761 520495 1474457 | 2147483647 20611 119 | 17.849 % |
43.05/43.11 c | 22151 | 84761 520495 1474457 | 2147483647 20892 120 | 17.849 % |
43.56/43.67 c | 22460 | 84761 520495 1474457 | 2147483647 21201 121 | 17.849 % |
44.06/44.15 c | 22800 | 84761 520495 1474457 | 2147483647 21541 123 | 17.849 % |
44.56/44.63 c | 23172 | 84761 520495 1474457 | 2147483647 21913 123 | 17.849 % |
45.35/45.42 c | 23581 | 84761 520495 1474457 | 2147483647 22322 126 | 17.849 % |
45.45/45.56 c | 23681 | 83880 508495 1441484 | 2147483647 22211 126 | 17.926 % |
45.55/45.68 c | 23792 | 83880 508495 1441484 | 2147483647 22322 127 | 17.926 % |
45.75/45.80 c | 23915 | 83880 508495 1441484 | 2147483647 22445 127 | 17.926 % |
45.85/45.99 c | 24050 | 83880 508495 1441484 | 2147483647 22580 127 | 17.926 % |
46.25/46.33 c | 24198 | 83880 508495 1441484 | 2147483647 22728 129 | 17.926 % |
46.46/46.55 c | 24359 | 83880 508495 1441484 | 2147483647 22889 130 | 17.926 % |
46.96/47.06 c | 24541 | 83880 508495 1441484 | 2147483647 23071 130 | 17.926 % |
47.36/47.40 c | 24734 | 83880 508495 1441484 | 2147483647 23264 132 | 17.926 % |
47.46/47.59 c | 24947 | 83880 508495 1441484 | 2147483647 23477 132 | 17.926 % |
47.76/47.82 c | 25180 | 83880 508495 1441484 | 2147483647 23710 131 | 17.926 % |
48.26/48.34 c | 25436 | 83880 508495 1441484 | 2147483647 23966 131 | 17.926 % |
48.66/48.74 c | 25721 | 83880 508495 1441484 | 2147483647 24251 131 | 17.926 % |
48.96/49.07 c | 26030 | 83880 508495 1441484 | 2147483647 24560 132 | 17.926 % |
49.46/49.52 c | 26371 | 83803 507518 1438812 | 2147483647 24792 132 | 17.926 % |
49.86/50.00 c | 26744 | 83786 507518 1438812 | 2147483647 25164 132 | 17.950 % |
50.75/50.84 c | 27154 | 83786 507518 1438812 | 2147483647 25574 133 | 17.950 % |
51.66/51.72 c | 27603 | 83786 507518 1438812 | 2147483647 26023 134 | 17.950 % |
51.75/51.89 c | 27704 | 83786 507518 1438812 | 2147483647 26124 134 | 17.950 % |
52.05/52.11 c | 27817 | 83786 507518 1438812 | 2147483647 26237 134 | 17.950 % |
52.25/52.32 c | 27938 | 83785 507518 1438812 | 2147483647 26357 134 | 17.951 % |
52.35/52.45 c | 28071 | 83785 507518 1438812 | 2147483647 26490 134 | 17.951 % |
52.66/52.78 c | 28218 | 83785 507518 1438812 | 2147483647 26637 134 | 17.951 % |
52.95/53.05 c | 28378 | 83785 507518 1438812 | 2147483647 26797 135 | 17.951 % |
53.35/53.41 c | 28554 | 83778 507403 1438582 | 2147483647 26973 135 | 17.951 % |
53.65/53.72 c | 28747 | 83778 507403 1438582 | 2147483647 27166 136 | 17.951 % |
53.95/54.03 c | 28960 | 83778 507403 1438582 | 2147483647 27379 136 | 17.951 % |
54.15/54.28 c | 29194 | 83778 507403 1438582 | 2147483647 27613 136 | 17.951 % |
54.65/54.73 c | 29450 | 83778 507403 1438582 | 2147483647 27869 137 | 17.951 % |
55.06/55.18 c | 29732 | 83778 507403 1438582 | 2147483647 28151 137 | 17.951 % |
55.56/55.65 c | 30041 | 83778 507403 1438582 | 2147483647 28460 137 | 17.951 % |
55.96/56.08 c | 30381 | 83778 507403 1438582 | 2147483647 28800 139 | 17.951 % |
56.46/56.54 c | 30755 | 83778 507403 1438582 | 2147483647 29174 141 | 17.951 % |
57.06/57.11 c | 31164 | 83778 507403 1438582 | 2147483647 29583 143 | 17.951 % |
57.85/57.98 c | 31613 | 83778 507403 1438582 | 2147483647 30032 144 | 17.951 % |
58.65/58.74 c | 32106 | 83766 507301 1438313 | 2147483647 30524 145 | 17.963 % |
58.75/58.89 c | 32208 | 83766 507301 1438313 | 2147483647 30626 145 | 17.963 % |
59.05/59.13 c | 32318 | 83766 507301 1438313 | 2147483647 30736 144 | 17.963 % |
59.15/59.25 c | 32440 | 83766 507301 1438313 | 2147483647 30858 144 | 17.963 % |
59.35/59.46 c | 32579 | 83766 507301 1438313 | 2147483647 30997 144 | 17.963 % |
59.65/59.78 c | 32725 | 83766 507301 1438313 | 2147483647 31143 144 | 17.963 % |
59.85/59.93 c | 32885 | 83766 507301 1438313 | 2147483647 31303 144 | 17.963 % |
60.25/60.38 c | 33061 | 83766 507301 1438313 | 2147483647 31479 144 | 17.963 % |
60.85/61.00 c | 33254 | 83766 507301 1438313 | 2147483647 31672 145 | 17.963 % |
61.25/61.35 c | 33468 | 83766 507301 1438313 | 2147483647 31886 145 | 17.963 % |
61.65/61.72 c | 33701 | 83766 507301 1438313 | 2147483647 32119 145 | 17.963 % |
62.06/62.16 c | 33958 | 83764 507301 1438313 | 2147483647 32374 145 | 17.964 % |
62.36/62.45 c | 34240 | 83764 507301 1438313 | 2147483647 32656 145 | 17.964 % |
62.86/62.95 c | 34549 | 83764 507301 1438313 | 2147483647 32965 145 | 17.964 % |
63.56/63.64 c | 34888 | 83764 507294 1438299 | 2147483647 33300 146 | 17.964 % |
64.06/64.10 c | 35261 | 83764 507294 1438299 | 2147483647 33673 146 | 17.964 % |
64.76/64.85 c | 35670 | 83739 507294 1438299 | 2147483647 34080 146 | 18.076 % |
65.35/65.45 c | 36119 | 83735 507294 1438299 | 2147483647 34527 146 | 18.131 % |
66.25/66.37 c | 36613 | 83735 507294 1438299 | 2147483647 35021 148 | 18.131 % |
66.85/66.92 c | 37158 | 83735 507294 1438299 | 2147483647 35566 149 | 18.131 % |
67.05/67.10 c | 37264 | 83735 507294 1438299 | 2147483647 35672 149 | 18.131 % |
67.25/67.31 c | 37375 | 83735 507294 1438299 | 2147483647 35783 149 | 18.131 % |
67.35/67.46 c | 37496 | 83735 507294 1438299 | 2147483647 35904 149 | 18.131 % |
67.55/67.65 c | 37629 | 83735 507294 1438299 | 2147483647 36037 149 | 18.131 % |
67.85/67.90 c | 37775 | 83735 507294 1438299 | 2147483647 36183 149 | 18.131 % |
68.15/68.22 c | 37938 | 83728 507294 1438299 | 2147483647 36342 149 | 18.396 % |
68.35/68.49 c | 38121 | 83726 507294 1438299 | 2147483647 36524 149 | 18.406 % |
68.95/69.00 c | 38314 | 83313 502598 1426027 | 2147483647 36706 150 | 18.406 % |
69.15/69.29 c | 38527 | 83306 502598 1426027 | 2147483647 36917 150 | 18.506 % |
69.35/69.42 c | 38760 | 83306 502598 1426027 | 2147483647 37150 149 | 18.506 % |
69.95/70.01 c | 39020 | 83306 502598 1426027 | 2147483647 37410 150 | 18.506 % |
70.35/70.50 c | 39302 | 83306 502598 1426027 | 2147483647 37692 149 | 18.506 % |
70.85/70.90 c | 39611 | 83306 502598 1426027 | 2147483647 38001 149 | 18.506 % |
71.25/71.32 c | 39951 | 83306 502598 1426027 | 2147483647 38341 150 | 18.506 % |
71.65/71.77 c | 40324 | 83306 502598 1426027 | 2147483647 38714 150 | 18.506 % |
72.65/72.70 c | 40733 | 83306 502598 1426027 | 2147483647 39123 150 | 18.506 % |
73.34/73.50 c | 41182 | 83305 502598 1426027 | 2147483647 39570 151 | 18.516 % |
74.25/74.37 c | 41680 | 83302 502598 1426027 | 2147483647 40067 152 | 18.519 % |
75.15/75.22 c | 42222 | 83302 502598 1426027 | 2147483647 40609 154 | 18.519 % |
76.35/76.41 c | 42819 | 83198 501819 1424054 | 2147483647 41200 155 | 18.519 % |
76.45/76.53 c | 42927 | 83198 501819 1424054 | 2147483647 41308 155 | 18.519 % |
76.55/76.68 c | 43037 | 83198 501819 1424054 | 2147483647 41418 155 | 18.519 % |
76.75/76.85 c | 43161 | 83198 501819 1424054 | 2147483647 41542 155 | 18.519 % |
77.05/77.15 c | 43296 | 83198 501819 1424054 | 2147483647 41677 155 | 18.519 % |
77.35/77.42 c | 43443 | 83198 501819 1424054 | 2147483647 41824 155 | 18.519 % |
77.55/77.63 c | 43608 | 83198 501819 1424054 | 2147483647 41989 155 | 18.519 % |
77.85/77.92 c | 43784 | 83198 501819 1424054 | 2147483647 42165 156 | 18.519 % |
78.15/78.20 c | 43981 | 83198 501819 1424054 | 2147483647 42362 156 | 18.519 % |
78.45/78.59 c | 44193 | 83197 501819 1424054 | 2147483647 42573 155 | 18.534 % |
78.85/78.91 c | 44429 | 83197 501819 1424054 | 2147483647 42808 155 | 18.538 % |
79.25/79.36 c | 44686 | 83197 501819 1424054 | 2147483647 43065 155 | 18.538 % |
79.85/79.98 c | 44967 | 83196 501819 1424054 | 2147483647 43345 156 | 18.539 % |
80.95/81.07 c | 45283 | 83195 501819 1424054 | 2147483647 43660 157 | 18.540 % |
81.54/81.67 c | 45622 | 83195 501819 1424054 | 2147483647 43999 157 | 18.540 % |
82.14/82.25 c | 46001 | 83194 501819 1424054 | 2147483647 44377 157 | 18.541 % |
82.94/83.07 c | 46411 | 83175 501640 1423616 | 2147483647 44771 157 | 18.541 % |
83.75/83.83 c | 46860 | 83174 501640 1423616 | 2147483647 45219 159 | 18.545 % |
84.55/84.62 c | 47353 | 83174 501640 1423616 | 2147483647 45712 160 | 18.545 % |
85.55/85.64 c | 47895 | 83163 501640 1423616 | 2147483647 46251 160 | 18.640 % |
86.75/86.85 c | 48491 | 83163 501640 1423616 | 2147483647 46847 160 | 18.640 % |
87.95/88.05 c | 49146 | 83163 501640 1423616 | 2147483647 47502 160 | 18.640 % |
88.05/88.19 c | 49246 | 83163 501640 1423616 | 2147483647 47602 160 | 18.640 % |
88.35/88.47 c | 49356 | 83163 501640 1423616 | 2147483647 47712 160 | 18.640 % |
88.65/88.70 c | 49478 | 83163 501640 1423616 | 2147483647 47834 160 | 18.640 % |
88.85/88.93 c | 49611 | 83163 501640 1423616 | 2147483647 47967 160 | 18.640 % |
89.15/89.27 c | 49762 | 83163 501640 1423616 | 2147483647 48118 160 | 18.640 % |
89.35/89.49 c | 49922 | 83163 501640 1423616 | 2147483647 48278 161 | 18.640 % |
89.64/89.79 c | 50101 | 83163 501640 1423616 | 2147483647 48457 161 | 18.640 % |
89.94/90.02 c | 50294 | 83163 501640 1423616 | 2147483647 48650 161 | 18.640 % |
90.24/90.39 c | 50506 | 83163 501640 1423616 | 2147483647 48862 161 | 18.640 % |
90.64/90.75 c | 50739 | 83163 501640 1423616 | 2147483647 49095 161 | 18.640 % |
91.15/91.28 c | 50996 | 83074 500462 1420418 | 2147483647 49158 162 | 18.640 % |
91.84/91.99 c | 51277 | 83074 500462 1420418 | 2147483647 49438 163 | 18.644 % |
92.35/92.47 c | 51586 | 83073 500462 1420418 | 2147483647 49745 163 | 18.796 % |
93.24/93.30 c | 51926 | 83072 500462 1420418 | 2147483647 50085 164 | 18.796 % |
94.04/94.11 c | 52298 | 83072 500462 1420418 | 2147483647 50457 164 | 18.796 % |
94.74/94.84 c | 52708 | 83072 500462 1420418 | 2147483647 50867 166 | 18.796 % |
95.74/95.81 c | 53157 | 83072 500462 1420418 | 2147483647 51316 166 | 18.796 % |
96.54/96.67 c | 53652 | 83065 500462 1420418 | 2147483647 51809 166 | 18.803 % |
97.65/97.77 c | 54198 | 83065 500462 1420418 | 2147483647 52355 167 | 18.803 % |
98.85/98.90 c | 54796 | 83065 500462 1420418 | 2147483647 52953 168 | 18.803 % |
100.44/100.50 c | 55453 | 83064 500462 1420418 | 2147483647 53609 168 | 18.807 % |
102.24/102.30 c | 56173 | 82904 498177 1414257 | 2147483647 54314 168 | 18.807 % |
102.44/102.60 c | 56273 | 82904 498177 1414257 | 2147483647 54414 168 | 18.807 % |
102.74/102.83 c | 56383 | 82904 498177 1414257 | 2147483647 54524 167 | 18.807 % |
102.94/103.02 c | 56504 | 82904 498177 1414257 | 2147483647 54645 168 | 18.807 % |
103.14/103.25 c | 56639 | 82904 498177 1414257 | 2147483647 54780 168 | 18.807 % |
103.54/103.62 c | 56786 | 82904 498177 1414257 | 2147483647 54927 168 | 18.807 % |
103.74/103.81 c | 56946 | 82904 498177 1414257 | 2147483647 55087 168 | 18.807 % |
104.04/104.18 c | 57127 | 82904 498177 1414257 | 2147483647 55268 168 | 18.807 % |
104.34/104.45 c | 57320 | 82904 498177 1414257 | 2147483647 55461 168 | 18.807 % |
104.64/104.74 c | 57532 | 82884 498177 1414257 | 2147483647 55671 168 | 18.892 % |
105.14/105.29 c | 57767 | 82882 498177 1414257 | 2147483647 55906 168 | 18.892 % |
105.75/105.81 c | 58024 | 82881 498177 1414257 | 2147483647 56162 169 | 18.893 % |
106.15/106.29 c | 58305 | 82881 498177 1414257 | 2147483647 56443 169 | 18.893 % |
107.04/107.13 c | 58614 | 82879 498177 1414257 | 2147483647 56751 169 | 19.304 % |
107.54/107.66 c | 58955 | 82879 498177 1414257 | 2147483647 57092 169 | 19.304 % |
108.54/108.65 c | 59332 | 82879 498177 1414257 | 2147483647 57469 170 | 19.304 % |
109.14/109.21 c | 59741 | 82879 498177 1414257 | 2147483647 57878 170 | 19.304 % |
109.84/109.96 c | 60190 | 82879 498177 1414257 | 2147483647 58327 171 | 19.304 % |
111.24/111.34 c | 60683 | 81889 489209 1390544 | 2147483647 57691 172 | 19.801 % |
112.04/112.16 c | 61225 | 81881 489209 1390544 | 2147483647 58231 171 | 19.826 % |
113.14/113.28 c | 61821 | 81847 489209 1390544 | 2147483647 58826 171 | 20.127 % |
114.24/114.30 c | 62481 | 81842 489209 1390544 | 2147483647 59481 171 | 20.343 % |
116.14/116.29 c | 63201 | 81842 489209 1390544 | 2147483647 60200 171 | 20.344 % |
118.74/118.80 c | 63993 | 81842 489209 1390544 | 2147483647 60992 171 | 20.344 % |
118.94/119.03 c | 64094 | 81842 489209 1390544 | 2147483647 61093 171 | 20.344 % |
119.24/119.39 c | 64206 | 81842 489209 1390544 | 2147483647 61205 171 | 20.344 % |
119.44/119.57 c | 64327 | 81842 489209 1390544 | 2147483647 61326 171 | 20.344 % |
119.74/119.85 c | 64460 | 81842 489209 1390544 | 2147483647 61459 171 | 20.344 % |
120.14/120.21 c | 64609 | 81842 489209 1390544 | 2147483647 61608 171 | 20.344 % |
120.54/120.68 c | 64769 | 81842 489209 1390544 | 2147483647 61768 171 | 20.344 % |
120.94/121.05 c | 64945 | 81842 489209 1390544 | 2147483647 61944 171 | 20.344 % |
121.44/121.53 c | 65139 | 81842 489209 1390544 | 2147483647 62138 172 | 20.344 % |
122.04/122.18 c | 65351 | 81334 484475 1378073 | 2147483647 61674 172 | 20.344 % |
122.64/122.70 c | 65588 | 81334 484475 1378073 | 2147483647 61911 172 | 20.344 % |
123.43/123.59 c | 65850 | 81333 484475 1378073 | 2147483647 62172 172 | 20.349 % |
124.33/124.41 c | 66131 | 81333 484475 1378073 | 2147483647 62453 172 | 20.349 % |
125.14/125.29 c | 66440 | 81332 484475 1378073 | 2147483647 62761 172 | 20.354 % |
125.74/125.84 c | 66779 | 81332 484475 1378073 | 2147483647 63100 172 | 20.354 % |
126.54/126.68 c | 67153 | 81331 484475 1378073 | 2147483647 63473 173 | 20.355 % |
127.24/127.32 c | 67564 | 81331 484475 1378073 | 2147483647 63884 173 | 20.355 % |
128.14/128.27 c | 68014 | 81329 484475 1378073 | 2147483647 64332 173 | 20.357 % |
129.14/129.22 c | 68509 | 81329 484475 1378073 | 2147483647 64827 173 | 20.357 % |
130.04/130.15 c | 69051 | 81325 484475 1378073 | 2147483647 65369 173 | 20.357 % |
130.74/130.83 c | 69647 | 81323 484475 1378073 | 2147483647 65964 173 | 20.595 % |
132.03/132.13 c | 70302 | 81322 484475 1378073 | 2147483647 66617 173 | 20.597 % |
133.24/133.39 c | 71025 | 81322 484475 1378073 | 2147483647 67340 174 | 20.597 % |
134.73/134.84 c | 71817 | 81321 484475 1378073 | 2147483647 68131 176 | 20.598 % |
136.63/136.72 c | 72689 | 81075 481718 1370646 | 2147483647 68596 177 | 20.598 % |
136.73/136.88 c | 72791 | 81075 481718 1370646 | 2147483647 68698 178 | 20.598 % |
136.94/137.09 c | 72901 | 81075 481718 1370646 | 2147483647 68808 178 | 20.598 % |
137.24/137.32 c | 73023 | 81075 481718 1370646 | 2147483647 68930 178 | 20.598 % |
137.34/137.50 c | 73158 | 81075 481718 1370646 | 2147483647 69065 178 | 20.598 % |
137.84/137.95 c | 73306 | 81075 481718 1370646 | 2147483647 69213 178 | 20.598 % |
138.04/138.17 c | 73466 | 81074 481718 1370646 | 2147483647 69372 178 | 20.605 % |
138.34/138.45 c | 73644 | 81074 481718 1370646 | 2147483647 69550 178 | 20.605 % |
138.83/138.99 c | 73840 | 81074 481718 1370646 | 2147483647 69746 178 | 20.605 % |
139.33/139.49 c | 74053 | 81073 481718 1370646 | 2147483647 69958 178 | 20.612 % |
140.03/140.13 c | 74289 | 81073 481718 1370646 | 2147483647 70194 178 | 20.612 % |
140.43/140.51 c | 74550 | 81073 481718 1370646 | 2147483647 70455 178 | 20.612 % |
140.84/140.97 c | 74831 | 81073 481718 1370646 | 2147483647 70736 178 | 20.612 % |
141.93/142.08 c | 75140 | 81073 481718 1370646 | 2147483647 71045 179 | 20.612 % |
142.53/142.68 c | 75479 | 81073 481718 1370646 | 2147483647 71384 179 | 20.612 % |
143.33/143.47 c | 75851 | 81073 481718 1370646 | 2147483647 71756 180 | 20.612 % |
144.23/144.34 c | 76261 | 81073 481718 1370646 | 2147483647 72166 181 | 20.612 % |
145.33/145.49 c | 76711 | 81072 481718 1370646 | 2147483647 72615 181 | 20.613 % |
146.13/146.29 c | 77206 | 81071 481718 1370646 | 2147483647 73109 182 | 20.616 % |
147.43/147.54 c | 77749 | 81069 481718 1370646 | 2147483647 73650 182 | 20.630 % |
149.03/149.18 c | 78346 | 81069 481718 1370646 | 2147483647 74247 183 | 20.630 % |
150.64/150.75 c | 79001 | 81042 481420 1369994 | 2147483647 74633 184 | 20.630 % |
152.43/152.56 c | 79721 | 81042 481420 1369994 | 2147483647 75353 184 | 20.630 % |
154.32/154.45 c | 80513 | 81042 481420 1369994 | 2147483647 76145 184 | 20.630 % |
155.93/156.04 c | 81385 | 81041 481420 1369994 | 2147483647 77016 183 | 20.641 % |
158.03/158.15 c | 82343 | 81039 481420 1369994 | 2147483647 77972 184 | 20.652 % |
158.33/158.47 c | 82444 | 81039 481420 1369994 | 2147483647 78073 184 | 20.652 % |
158.63/158.72 c | 82554 | 81039 481420 1369994 | 2147483647 78183 184 | 20.652 % |
159.03/159.15 c | 82678 | 81039 481420 1369994 | 2147483647 78307 184 | 20.652 % |
159.43/159.59 c | 82811 | 81039 481420 1369994 | 2147483647 78440 184 | 20.652 % |
159.83/159.96 c | 82968 | 81039 481420 1369994 | 2147483647 78597 185 | 20.652 % |
160.13/160.23 c | 83130 | 81039 481420 1369994 | 2147483647 78759 185 | 20.652 % |
160.53/160.64 c | 83309 | 81039 481420 1369994 | 2147483647 78938 185 | 20.652 % |
160.93/161.03 c | 83502 | 81039 481420 1369994 | 2147483647 79131 185 | 20.652 % |
161.63/161.74 c | 83717 | 81039 481420 1369994 | 2147483647 79346 186 | 20.652 % |
162.23/162.35 c | 83950 | 81039 481420 1369994 | 2147483647 79579 186 | 20.652 % |
162.93/163.00 c | 84206 | 81039 481420 1369994 | 2147483647 79835 186 | 20.652 % |
163.52/163.67 c | 84488 | 81039 481420 1369994 | 2147483647 80117 186 | 20.652 % |
164.03/164.18 c | 84797 | 81039 481420 1369994 | 2147483647 80426 186 | 20.652 % |
164.83/164.94 c | 85140 | 81039 481420 1369994 | 2147483647 80769 188 | 20.652 % |
165.83/165.95 c | 85512 | 81020 481213 1369515 | 2147483647 81083 189 | 20.652 % |
166.83/166.95 c | 85921 | 81019 481213 1369515 | 2147483647 81491 188 | 20.653 % |
167.73/167.88 c | 86371 | 81019 481213 1369515 | 2147483647 81941 189 | 20.653 % |
168.63/168.74 c | 86864 | 81019 481213 1369515 | 2147483647 82434 189 | 20.653 % |
169.92/170.07 c | 87411 | 81019 481213 1369515 | 2147483647 82981 190 | 20.653 % |
171.43/171.57 c | 88007 | 81014 481213 1369515 | 2147483647 83576 190 | 20.728 % |
173.02/173.14 c | 88662 | 81013 481213 1369515 | 2147483647 84230 190 | 20.729 % |
174.53/174.63 c | 89383 | 81013 481213 1369515 | 2147483647 84951 191 | 20.729 % |
175.63/175.79 c | 90176 | 80952 481213 1369515 | 2147483647 85744 191 | 20.729 % |
177.33/177.44 c | 91049 | 80843 481213 1369515 | 2147483647 86614 191 | 21.199 % |
180.02/180.12 c | 92010 | 80843 481213 1369515 | 2147483647 87575 192 | 21.199 % |
182.43/182.54 c | 93063 | 80840 481213 1369515 | 2147483647 88625 192 | 21.202 % |
182.62/182.70 c | 93170 | 80840 481213 1369515 | 2147483647 88732 192 | 21.202 % |
182.92/183.03 c | 93281 | 80840 481213 1369515 | 2147483647 88843 192 | 21.202 % |
183.12/183.26 c | 93402 | 80840 481213 1369515 | 2147483647 88964 193 | 21.202 % |
183.42/183.55 c | 93535 | 80840 481213 1369515 | 2147483647 89097 193 | 21.202 % |
183.72/183.88 c | 93681 | 80839 481213 1369515 | 2147483647 89242 193 | 21.205 % |
184.22/184.32 c | 93841 | 80839 481213 1369515 | 2147483647 89402 193 | 21.205 % |
184.62/184.78 c | 94018 | 80455 477888 1361555 | 2147483647 89486 193 | 21.205 % |
185.12/185.21 c | 94211 | 80455 477888 1361555 | 2147483647 89679 193 | 21.205 % |
185.52/185.65 c | 94427 | 80455 477888 1361555 | 2147483647 89894 193 | 21.220 % |
186.02/186.10 c | 94663 | 80424 477888 1361555 | 2147483647 90121 193 | 21.633 % |
186.53/186.66 c | 94922 | 80424 477888 1361555 | 2147483647 90380 193 | 21.633 % |
187.03/187.13 c | 95204 | 80419 477888 1361555 | 2147483647 90661 193 | 21.644 % |
187.83/187.92 c | 95513 | 80416 477888 1361555 | 2147483647 90968 193 | 21.671 % |
188.83/188.91 c | 95852 | 80410 477888 1361555 | 2147483647 91304 193 | 21.689 % |
189.72/189.81 c | 96224 | 80410 477888 1361555 | 2147483647 91676 194 | 21.689 % |
190.72/190.81 c | 96633 | 80410 477888 1361555 | 2147483647 92085 194 | 21.689 % |
191.92/192.08 c | 97083 | 80410 477888 1361555 | 2147483647 92535 195 | 21.689 % |
193.12/193.29 c | 97576 | 80410 477888 1361555 | 2147483647 93028 196 | 21.689 % |
194.42/194.55 c | 98119 | 80410 477888 1361555 | 2147483647 93571 196 | 21.689 % |
195.52/195.66 c | 98716 | 80404 477888 1361555 | 2147483647 94168 196 | 21.689 % |
197.02/197.15 c | 99371 | 80392 477888 1361555 | 2147483647 94816 196 | 22.655 % |
198.92/199.00 c | 100091 | 80392 477888 1361555 | 2147483647 95536 196 | 22.655 % |
201.42/201.50 c | 100887 | 80392 477888 1361555 | 2147483647 96332 197 | 22.655 % |
203.61/203.75 c | 101763 | 80392 477888 1361555 | 2147483647 97208 198 | 22.655 % |
206.63/206.71 c | 102722 | 80392 477888 1361555 | 2147483647 98167 200 | 22.655 % |
209.12/209.21 c | 103777 | 78975 459278 1310621 | 2147483647 98788 202 | 22.655 % |
211.81/211.97 c | 104941 | 78975 459278 1310621 | 2147483647 99952 202 | 22.655 % |
212.01/212.17 c | 105041 | 78975 459278 1310621 | 2147483647 100052 202 | 22.655 % |
212.41/212.51 c | 105151 | 78975 459278 1310621 | 2147483647 100162 202 | 22.655 % |
212.71/212.84 c | 105274 | 78975 459278 1310621 | 2147483647 100285 202 | 22.655 % |
213.11/213.23 c | 105410 | 78975 459278 1310621 | 2147483647 100421 202 | 22.655 % |
213.41/213.52 c | 105559 | 78975 459278 1310621 | 2147483647 100570 202 | 22.655 % |
213.61/213.78 c | 105719 | 78975 459278 1310621 | 2147483647 100730 202 | 22.655 % |
214.32/214.46 c | 105896 | 78975 459278 1310621 | 2147483647 100907 202 | 22.655 % |
214.71/214.90 c | 106089 | 78975 459278 1310621 | 2147483647 101100 202 | 22.655 % |
215.31/215.46 c | 106301 | 78975 459278 1310621 | 2147483647 101312 202 | 22.655 % |
215.91/216.01 c | 106535 | 78975 459278 1310621 | 2147483647 101546 203 | 22.655 % |
216.41/216.56 c | 106791 | 78974 459278 1310621 | 2147483647 101801 202 | 22.656 % |
216.81/216.98 c | 107073 | 78962 459278 1310621 | 2147483647 102077 202 | 22.762 % |
217.51/217.62 c | 107384 | 78938 459278 1310621 | 2147483647 102387 202 | 22.790 % |
218.51/218.64 c | 107724 | 78937 459278 1310621 | 2147483647 102726 202 | 22.791 % |
219.32/219.42 c | 108096 | 78937 459278 1310621 | 2147483647 103098 203 | 22.791 % |
220.42/220.56 c | 108505 | 78937 459278 1310621 | 2147483647 103507 204 | 22.791 % |
221.62/221.71 c | 108955 | 78937 459278 1310621 | 2147483647 103957 204 | 22.791 % |
222.52/222.67 c | 109449 | 78936 459278 1310621 | 2147483647 104451 204 | 22.791 % |
223.62/223.77 c | 109994 | 78933 459278 1310621 | 2147483647 104994 204 | 22.865 % |
224.51/224.64 c | 110591 | 78933 459278 1310621 | 2147483647 105590 204 | 22.866 % |
226.51/226.68 c | 111246 | 78933 459278 1310621 | 2147483647 106245 204 | 22.866 % |
227.91/228.06 c | 111966 | 78932 459278 1310621 | 2147483647 106965 204 | 22.866 % |
228.62/228.76 c | 112758 | 78922 459278 1310621 | 2147483647 107756 204 | 22.915 % |
230.11/230.23 c | 113633 | 78922 459278 1310621 | 2147483647 108631 205 | 22.915 % |
231.21/231.39 c | 114591 | 78903 459278 1310621 | 2147483647 109585 204 | 23.112 % |
234.21/234.33 c | 115647 | 78289 451669 1289862 | 2147483647 110211 204 | 23.329 % |
236.11/236.24 c | 116805 | 78286 451669 1289862 | 2147483647 111367 204 | 23.340 % |
240.21/240.38 c | 118083 | 78286 451669 1289862 | 2147483647 112645 204 | 23.340 % |
240.51/240.69 c | 118185 | 78286 451669 1289862 | 2147483647 112747 204 | 23.340 % |
240.72/240.89 c | 118295 | 78286 451669 1289862 | 2147483647 112857 204 | 23.340 % |
241.11/241.27 c | 118416 | 78286 451669 1289862 | 2147483647 112978 204 | 23.340 % |
241.51/241.67 c | 118553 | 78286 451669 1289862 | 2147483647 113115 205 | 23.340 % |
242.11/242.24 c | 118703 | 78285 451669 1289862 | 2147483647 113264 205 | 23.344 % |
242.51/242.62 c | 118864 | 78285 451669 1289862 | 2147483647 113425 205 | 23.344 % |
242.91/243.01 c | 119042 | 78285 451669 1289862 | 2147483647 113603 205 | 23.344 % |
243.41/243.50 c | 119238 | 78285 451669 1289862 | 2147483647 113799 205 | 23.344 % |
243.91/244.04 c | 119452 | 78284 451669 1289862 | 2147483647 114012 205 | 23.345 % |
244.41/244.51 c | 119685 | 78284 451669 1289862 | 2147483647 114245 205 | 23.345 % |
244.81/244.97 c | 119941 | 78273 451669 1289862 | 2147483647 114500 205 | 23.806 % |
245.40/245.58 c | 120222 | 78273 451669 1289862 | 2147483647 114781 205 | 23.806 % |
246.10/246.25 c | 120532 | 78273 451669 1289862 | 2147483647 115091 206 | 23.806 % |
247.91/248.05 c | 120872 | 78273 451669 1289862 | 2147483647 115431 206 | 23.806 % |
248.52/248.66 c | 121244 | 78273 451669 1289862 | 2147483647 115803 206 | 23.806 % |
249.52/249.67 c | 121653 | 78273 451669 1289862 | 2147483647 116212 207 | 23.806 % |
250.51/250.65 c | 122104 | 78273 451669 1289862 | 2147483647 116663 206 | 23.806 % |
252.11/252.24 c | 122599 | 78273 451669 1289862 | 2147483647 117158 207 | 23.806 % |
253.80/253.96 c | 123144 | 78272 451669 1289862 | 2147483647 117702 207 | 23.807 % |
255.60/255.76 c | 123752 | 78272 451669 1289862 | 2147483647 118310 207 | 23.807 % |
257.50/257.60 c | 124409 | 78272 451669 1289862 | 2147483647 118967 208 | 23.807 % |
259.51/259.66 c | 125129 | 78272 451669 1289862 | 2147483647 119687 209 | 23.807 % |
261.31/261.43 c | 125922 | 78272 451669 1289862 | 2147483647 120480 209 | 23.807 % |
263.80/263.95 c | 126793 | 78270 451669 1289862 | 2147483647 121349 210 | 23.809 % |
266.41/266.50 c | 127751 | 77788 446586 1276085 | 2147483647 122013 210 | 23.941 % |
269.80/269.97 c | 128807 | 77788 446586 1276085 | 2147483647 123069 210 | 23.941 % |
272.40/272.52 c | 129965 | 77788 446586 1276085 | 2147483647 124227 211 | 23.941 % |
275.10/275.24 c | 131244 | 77676 446586 1276085 | 2147483647 125505 211 | 23.942 % |
280.19/280.32 c | 132645 | 77673 446586 1276085 | 2147483647 126903 211 | 23.948 % |
280.40/280.59 c | 132747 | 77673 446586 1276085 | 2147483647 127005 211 | 23.948 % |
280.69/280.84 c | 132860 | 77673 446586 1276085 | 2147483647 127118 211 | 23.948 % |
280.99/281.15 c | 132982 | 77673 446586 1276085 | 2147483647 127240 211 | 23.948 % |
281.29/281.49 c | 133115 | 77673 446586 1276085 | 2147483647 127373 211 | 23.948 % |
281.69/281.81 c | 133261 | 77673 446586 1276085 | 2147483647 127519 211 | 23.948 % |
282.00/282.12 c | 133422 | 77673 446586 1276085 | 2147483647 127680 212 | 23.948 % |
282.40/282.57 c | 133599 | 77673 446586 1276085 | 2147483647 127857 212 | 23.948 % |
282.90/283.00 c | 133794 | 77673 446586 1276085 | 2147483647 128052 212 | 23.948 % |
283.30/283.40 c | 134008 | 77673 446586 1276085 | 2147483647 128266 212 | 23.948 % |
283.80/283.97 c | 134241 | 77673 446586 1276085 | 2147483647 128499 212 | 23.948 % |
284.70/284.83 c | 134497 | 77673 446586 1276085 | 2147483647 128755 212 | 23.948 % |
285.50/285.61 c | 134782 | 77673 446586 1276085 | 2147483647 129040 212 | 23.948 % |
286.20/286.35 c | 135093 | 77673 446586 1276085 | 2147483647 129351 212 | 23.948 % |
287.19/287.36 c | 135432 | 77673 446586 1276085 | 2147483647 129690 212 | 23.948 % |
288.49/288.62 c | 135808 | 77673 446586 1276085 | 2147483647 130066 212 | 23.948 % |
289.50/289.67 c | 136220 | 77673 446586 1276085 | 2147483647 130478 212 | 23.948 % |
290.70/290.83 c | 136670 | 77673 446586 1276085 | 2147483647 130928 213 | 23.948 % |
291.70/291.82 c | 137169 | 77673 446586 1276085 | 2147483647 131427 213 | 23.948 % |
293.89/294.00 c | 137711 | 77673 446586 1276085 | 2147483647 131968 213 | 23.949 % |
295.59/295.79 c | 138307 | 77672 446586 1276085 | 2147483647 132563 213 | 23.952 % |
297.30/297.45 c | 138962 | 77672 446586 1276085 | 2147483647 133218 214 | 23.952 % |
298.39/298.56 c | 139682 | 77672 446586 1276085 | 2147483647 133938 214 | 23.952 % |
299.49/299.61 c | 140474 | 77659 446586 1276085 | 2147483647 134720 213 | 24.082 % |
301.19/301.35 c | 141345 | 77657 446586 1276085 | 2147483647 135590 213 | 24.093 % |
305.69/305.81 c | 142309 | 77502 444736 1271700 | 2147483647 134649 215 | 24.145 % |
309.00/309.18 c | 143365 | 77502 444736 1271700 | 2147483647 135705 215 | 24.145 % |
312.39/312.56 c | 144523 | 77502 444736 1271700 | 2147483647 136863 215 | 24.145 % |
316.79/316.93 c | 145796 | 77502 444736 1271700 | 2147483647 138136 216 | 24.145 % |
320.49/320.60 c | 147196 | 77485 444736 1271700 | 2147483647 139532 216 | 24.266 % |
323.49/323.62 c | 148738 | 77464 444736 1271700 | 2147483647 141070 215 | 24.516 % |
323.69/323.80 c | 148839 | 77464 444736 1271700 | 2147483647 141171 215 | 24.516 % |
323.99/324.13 c | 148949 | 77464 444736 1271700 | 2147483647 141281 215 | 24.516 % |
324.29/324.45 c | 149073 | 77464 444736 1271700 | 2147483647 141405 215 | 24.516 % |
324.69/324.82 c | 149207 | 77464 444736 1271700 | 2147483647 141539 216 | 24.516 % |
325.09/325.25 c | 149353 | 77464 444736 1271700 | 2147483647 141685 216 | 24.516 % |
325.39/325.58 c | 149513 | 77464 444736 1271700 | 2147483647 141845 216 | 24.516 % |
325.79/325.96 c | 149689 | 77464 444736 1271700 | 2147483647 142021 216 | 24.516 % |
326.19/326.37 c | 149885 | 77464 444736 1271700 | 2147483647 142217 216 | 24.516 % |
327.08/327.25 c | 150101 | 77463 444736 1271700 | 2147483647 142432 216 | 24.517 % |
327.98/328.13 c | 150334 | 77462 444736 1271700 | 2147483647 142664 216 | 24.518 % |
328.70/328.89 c | 150593 | 77462 444736 1271700 | 2147483647 142923 216 | 24.518 % |
329.29/329.43 c | 150874 | 77462 444736 1271700 | 2147483647 143204 216 | 24.518 % |
330.19/330.37 c | 151185 | 77462 444736 1271700 | 2147483647 143515 216 | 24.518 % |
331.19/331.31 c | 151525 | 77462 444736 1271700 | 2147483647 143855 216 | 24.518 % |
332.29/332.42 c | 151907 | 77462 444736 1271700 | 2147483647 144236 217 | 24.659 % |
333.09/333.28 c | 152318 | 77460 444736 1271700 | 2147483647 144646 217 | 24.811 % |
334.89/335.04 c | 152767 | 77460 444736 1271700 | 2147483647 145095 217 | 24.811 % |
335.99/336.10 c | 153266 | 77460 444736 1271700 | 2147483647 145594 217 | 24.811 % |
338.08/338.29 c | 153809 | 77459 444736 1271700 | 2147483647 146136 217 | 24.814 % |
340.58/340.76 c | 154405 | 77459 444736 1271700 | 2147483647 146731 217 | 24.815 % |
343.58/343.77 c | 155065 | 77459 444736 1271700 | 2147483647 147391 218 | 24.815 % |
346.29/346.48 c | 155785 | 77458 444736 1271700 | 2147483647 148110 218 | 24.828 % |
348.59/348.76 c | 156577 | 76176 433906 1243197 | 2147483647 139242 215 | 25.924 % |
351.28/351.46 c | 157452 | 76176 433906 1243197 | 2147483647 140117 215 | 25.924 % |
354.18/354.34 c | 158410 | 76176 433906 1243197 | 2147483647 141075 216 | 25.924 % |
357.78/357.94 c | 159463 | 76176 433906 1243197 | 2147483647 142128 217 | 25.924 % |
360.68/360.84 c | 160621 | 76176 433906 1243197 | 2147483647 143286 218 | 25.924 % |
364.78/364.99 c | 161894 | 76173 433906 1243197 | 2147483647 144557 218 | 25.951 % |
367.28/367.47 c | 163294 | 76172 433906 1243197 | 2147483647 145956 218 | 26.057 % |
371.47/371.62 c | 164834 | 76168 433906 1243197 | 2147483647 147492 218 | 26.213 % |
378.38/378.51 c | 166528 | 76168 433906 1243197 | 2147483647 149186 220 | 26.213 % |
378.78/378.91 c | 166629 | 76168 433906 1243197 | 2147483647 149287 220 | 26.213 % |
379.18/379.40 c | 166739 | 76168 433906 1243197 | 2147483647 149397 220 | 26.213 % |
379.78/379.93 c | 166865 | 76168 433906 1243197 | 2147483647 149523 220 | 26.213 % |
380.18/380.34 c | 166998 | 76168 433906 1243197 | 2147483647 149656 220 | 26.213 % |
380.68/380.82 c | 167146 | 76168 433906 1243197 | 2147483647 149804 220 | 26.213 % |
381.08/381.25 c | 167306 | 76168 433906 1243197 | 2147483647 149964 220 | 26.213 % |
381.68/381.81 c | 167482 | 76168 433906 1243197 | 2147483647 150140 220 | 26.213 % |
382.38/382.55 c | 167677 | 76168 433906 1243197 | 2147483647 150335 220 | 26.213 % |
383.08/383.23 c | 167889 | 76168 433906 1243197 | 2147483647 150547 220 | 26.213 % |
383.87/384.03 c | 168124 | 76168 433906 1243197 | 2147483647 150782 220 | 26.213 % |
384.97/385.18 c | 168381 | 76167 433906 1243197 | 2147483647 151038 220 | 26.214 % |
386.07/386.21 c | 168667 | 76167 433906 1243197 | 2147483647 151324 220 | 26.214 % |
387.07/387.20 c | 168976 | 76166 433906 1243197 | 2147483647 151632 220 | 26.215 % |
387.97/388.10 c | 169316 | 76166 433906 1243197 | 2147483647 151972 220 | 26.215 % |
389.08/389.26 c | 169690 | 76166 433906 1243197 | 2147483647 152346 220 | 26.215 % |
390.57/390.76 c | 170109 | 76165 433906 1243197 | 2147483647 152764 221 | 26.299 % |
392.27/392.46 c | 170561 | 76165 433906 1243197 | 2147483647 153216 222 | 26.299 % |
394.27/394.47 c | 171061 | 76165 433906 1243197 | 2147483647 153716 222 | 26.299 % |
395.87/396.04 c | 171604 | 76165 433906 1243197 | 2147483647 154259 222 | 26.299 % |
398.37/398.57 c | 172200 | 75254 426379 1223497 | 2147483647 148231 220 | 26.299 % |
400.97/401.19 c | 172855 | 75254 426379 1223497 | 2147483647 148886 220 | 26.299 % |
403.37/403.54 c | 173578 | 75254 426379 1223497 | 2147483647 149609 221 | 26.299 % |
406.47/406.66 c | 174372 | 75254 426379 1223497 | 2147483647 150403 222 | 26.299 % |
410.26/410.44 c | 175243 | 75254 426379 1223497 | 2147483647 151274 222 | 26.299 % |
414.86/415.05 c | 176203 | 75254 426379 1223497 | 2147483647 152234 222 | 26.299 % |
419.06/419.25 c | 177257 | 75254 426379 1223497 | 2147483647 153288 222 | 26.299 % |
423.46/423.62 c | 178419 | 75254 426379 1223497 | 2147483647 154450 221 | 26.299 % |
428.37/428.57 c | 179692 | 75254 426379 1223497 | 2147483647 155723 221 | 26.299 % |
432.96/433.12 c | 181092 | 75254 426379 1223497 | 2147483647 157123 221 | 26.299 % |
438.67/438.88 c | 182632 | 75254 426379 1223497 | 2147483647 158663 223 | 26.299 % |
443.46/443.61 c | 184327 | 75254 426379 1223497 | 2147483647 160358 223 | 26.299 % |
449.46/449.66 c | 186191 | 75254 426379 1223497 | 2147483647 162222 222 | 26.299 % |
449.86/450.01 c | 186294 | 75254 426379 1223497 | 2147483647 162325 222 | 26.299 % |
450.26/450.46 c | 186407 | 75254 426379 1223497 | 2147483647 162438 222 | 26.299 % |
450.76/450.97 c | 186531 | 75254 426379 1223497 | 2147483647 162562 222 | 26.299 % |
451.26/451.49 c | 186664 | 75254 426379 1223497 | 2147483647 162695 222 | 26.299 % |
451.96/452.10 c | 186811 | 75254 426379 1223497 | 2147483647 162842 222 | 26.299 % |
452.46/452.69 c | 186971 | 75254 426379 1223497 | 2147483647 163002 222 | 26.299 % |
453.26/453.44 c | 187148 | 75254 426379 1223497 | 2147483647 163179 222 | 26.299 % |
453.76/453.95 c | 187344 | 75254 426379 1223497 | 2147483647 163375 223 | 26.299 % |
454.55/454.77 c | 187558 | 75254 426379 1223497 | 2147483647 163589 223 | 26.299 % |
455.45/455.63 c | 187796 | 75254 426379 1223497 | 2147483647 163827 223 | 26.299 % |
456.65/456.85 c | 188055 | 75087 425073 1220060 | 2147483647 162729 223 | 26.462 % |
457.36/457.58 c | 188336 | 75087 425073 1220060 | 2147483647 163010 224 | 26.462 % |
458.25/458.41 c | 188646 | 75087 425073 1220060 | 2147483647 163320 224 | 26.462 % |
459.46/459.67 c | 188991 | 75083 425073 1220060 | 2147483647 163661 223 | 26.466 % |
460.96/461.17 c | 189364 | 75081 425073 1220060 | 2147483647 164032 224 | 26.474 % |
462.56/462.73 c | 189773 | 75081 425073 1220060 | 2147483647 164441 224 | 26.474 % |
464.36/464.56 c | 190222 | 75081 425073 1220060 | 2147483647 164889 225 | 26.478 % |
465.95/466.15 c | 190719 | 75081 425073 1220060 | 2147483647 165386 225 | 26.478 % |
466.85/467.05 c | 191261 | 75073 425073 1220060 | 2147483647 165928 225 | 26.478 % |
467.55/467.75 c | 191860 | 75073 425073 1220060 | 2147483647 166527 225 | 26.478 % |
470.75/470.91 c | 192524 | 75073 425073 1220060 | 2147483647 167191 225 | 26.478 % |
473.36/473.55 c | 193246 | 75072 425073 1220060 | 2147483647 167912 225 | 26.509 % |
475.75/475.99 c | 194051 | 75072 425073 1220060 | 2147483647 168717 225 | 26.509 % |
478.55/478.77 c | 194922 | 75072 425073 1220060 | 2147483647 169588 226 | 26.509 % |
480.35/480.51 c | 195880 | 75071 425073 1220060 | 2147483647 170545 226 | 26.519 % |
485.75/485.95 c | 196934 | 75071 425073 1220060 | 2147483647 171599 226 | 26.519 % |
490.35/490.54 c | 198092 | 75070 425073 1220060 | 2147483647 172755 227 | 26.521 % |
493.35/493.54 c | 199366 | 75046 425073 1220060 | 2147483647 174019 227 | 26.577 % |
499.25/499.41 c | 200781 | 75045 425073 1220060 | 2147483647 175433 227 | 26.578 % |
504.85/505.03 c | 202321 | 75045 425073 1220060 | 2147483647 176973 227 | 26.578 % |
508.94/509.10 c | 204015 | 75045 425073 1220060 | 2147483647 178667 227 | 26.578 % |
517.24/517.48 c | 205878 | 75044 425073 1220060 | 2147483647 180529 227 | 26.581 % |
525.94/526.18 c | 207928 | 75016 425073 1220060 | 2147483647 182571 226 | 26.721 % |
526.34/526.56 c | 208028 | 74823 422690 1213702 | 2147483647 181605 227 | 26.721 % |
526.75/527.00 c | 208139 | 74823 422690 1213702 | 2147483647 181716 227 | 26.721 % |
527.44/527.64 c | 208261 | 74823 422690 1213702 | 2147483647 181838 227 | 26.721 % |
527.85/528.08 c | 208396 | 74823 422690 1213702 | 2147483647 181973 227 | 26.721 % |
528.34/528.60 c | 208542 | 74822 422690 1213702 | 2147483647 182118 227 | 26.722 % |
528.95/529.13 c | 208702 | 74822 422690 1213702 | 2147483647 182277 227 | 26.927 % |
529.34/529.54 c | 208880 | 74821 422690 1213702 | 2147483647 182455 227 | 26.927 % |
529.74/529.91 c | 209074 | 74817 422690 1213702 | 2147483647 182648 227 | 26.935 % |
529.94/530.14 c | 209291 | 74816 422690 1213702 | 2147483647 182864 227 | 26.940 % |
530.34/530.52 c | 209528 | 74807 422690 1213702 | 2147483647 183099 227 | 27.141 % |
530.94/531.20 c | 209787 | 74807 422690 1213702 | 2147483647 183358 227 | 27.141 % |
532.94/533.13 c | 210071 | 74806 422690 1213702 | 2147483647 183641 227 | 27.145 % |
534.24/534.40 c | 210382 | 74806 422690 1213702 | 2147483647 183952 227 | 27.145 % |
535.34/535.51 c | 210721 | 74806 422690 1213702 | 2147483647 184291 227 | 27.145 % |
536.43/536.63 c | 211093 | 74806 422690 1213702 | 2147483647 184663 227 | 27.145 % |
538.23/538.43 c | 211507 | 74806 422690 1213702 | 2147483647 185077 227 | 27.145 % |
540.13/540.36 c | 211957 | 74806 422690 1213702 | 2147483647 185527 228 | 27.145 % |
543.44/543.65 c | 212454 | 74805 422690 1213702 | 2147483647 186023 228 | 27.146 % |
546.44/546.64 c | 212998 | 74805 422690 1213702 | 2147483647 186566 227 | 27.154 % |
548.04/548.21 c | 213595 | 74805 422690 1213702 | 2147483647 187163 228 | 27.154 % |
551.23/551.44 c | 214250 | 74804 422690 1213702 | 2147483647 187817 228 | 27.159 % |
555.73/555.96 c | 214975 | 74804 422690 1213702 | 2147483647 188541 227 | 27.160 % |
557.23/557.45 c | 215769 | 74797 422690 1213702 | 2147483647 189335 227 | 27.160 % |
558.73/558.95 c | 216641 | 74793 422690 1213702 | 2147483647 190205 227 | 27.169 % |
559.93/560.16 c | 217604 | 74789 422690 1213702 | 2147483647 191163 227 | 27.392 % |
561.63/561.87 c | 218658 | 74781 422690 1213702 | 2147483647 192216 227 | 27.400 % |
563.23/563.43 c | 219817 | 74744 422690 1213702 | 2147483647 193373 228 | 27.436 % |
568.93/569.18 c | 221096 | 74743 422690 1213702 | 2147483647 194651 228 | 27.437 % |
572.23/572.41 c | 222496 | 74743 422690 1213702 | 2147483647 196051 228 | 27.437 % |
576.02/576.25 c | 224046 | 74732 422690 1213702 | 2147483647 197597 228 | 27.504 % |
581.82/582.04 c | 225740 | 74728 422690 1213702 | 2147483647 199289 228 | 27.516 % |
588.02/588.25 c | 227608 | 74727 422690 1213702 | 2147483647 201155 228 | 27.518 % |
595.12/595.31 c | 229659 | 74727 422690 1213702 | 2147483647 203206 228 | 27.518 % |
603.02/603.25 c | 231915 | 73992 414746 1192311 | 2147483647 204806 228 | 28.309 % |
603.42/603.64 c | 232017 | 73992 414746 1192311 | 2147483647 204908 228 | 28.309 % |
603.92/604.15 c | 232128 | 73992 414746 1192311 | 2147483647 205019 228 | 28.309 % |
604.52/604.76 c | 232253 | 73992 414746 1192311 | 2147483647 205144 228 | 28.309 % |
605.12/605.37 c | 232386 | 73992 414746 1192311 | 2147483647 205277 228 | 28.309 % |
605.72/605.94 c | 232532 | 73992 414746 1192311 | 2147483647 205423 228 | 28.309 % |
606.22/606.46 c | 232692 | 73979 414746 1192311 | 2147483647 205582 228 | 28.310 % |
606.52/606.78 c | 232871 | 73979 414746 1192311 | 2147483647 205761 228 | 28.310 % |
606.92/607.14 c | 233065 | 73978 414746 1192311 | 2147483647 205953 228 | 28.563 % |
608.12/608.31 c | 233283 | 73978 414746 1192311 | 2147483647 206171 228 | 28.563 % |
609.12/609.40 c | 233523 | 73978 414746 1192311 | 2147483647 206411 228 | 28.563 % |
610.42/610.63 c | 233779 | 73977 414746 1192311 | 2147483647 206666 228 | 28.564 % |
610.91/611.12 c | 234060 | 73977 414746 1192311 | 2147483647 206947 228 | 28.564 % |
611.21/611.46 c | 234369 | 73977 414746 1192311 | 2147483647 207255 228 | 28.565 % |
611.61/611.83 c | 234715 | 73976 414746 1192311 | 2147483647 207600 228 | 28.566 % |
612.31/612.59 c | 235089 | 73972 414746 1192311 | 2147483647 207972 228 | 29.029 % |
613.12/613.34 c | 235498 | 73972 414746 1192311 | 2147483647 208381 228 | 29.029 % |
613.72/613.95 c | 235947 | 73972 414746 1192311 | 2147483647 208830 228 | 29.029 % |
615.12/615.30 c | 236444 | 73936 414746 1192311 | 2147483647 209325 228 | 29.156 % |
615.92/616.18 c | 236986 | 73936 414746 1192311 | 2147483647 209867 228 | 29.156 % |
617.01/617.26 c | 237583 | 73936 414746 1192311 | 2147483647 210464 228 | 29.156 % |
618.02/618.23 c | 238238 | 73928 414746 1192311 | 2147483647 211118 228 | 29.272 % |
619.42/619.64 c | 238961 | 73925 414746 1192311 | 2147483647 211838 228 | 29.275 % |
621.02/621.27 c | 239753 | 73924 414746 1192311 | 2147483647 212629 228 | 29.285 % |
622.51/622.78 c | 240625 | 73924 414746 1192311 | 2147483647 213501 228 | 29.285 % |
624.01/624.28 c | 241583 | 73923 414746 1192311 | 2147483647 214458 228 | 29.286 % |
626.11/626.38 c | 242637 | 73921 414746 1192311 | 2147483647 215511 228 | 29.307 % |
630.61/630.88 c | 243796 | 73919 414746 1192311 | 2147483647 216668 228 | 29.308 % |
635.31/635.56 c | 245069 | 73919 414746 1192311 | 2147483647 217941 229 | 29.308 % |
639.21/639.43 c | 246469 | 73918 414746 1192311 | 2147483647 219340 229 | 29.309 % |
643.60/643.84 c | 248011 | 73914 414746 1192311 | 2147483647 220878 229 | 30.734 % |
650.61/650.88 c | 249709 | 73914 414746 1192311 | 2147483647 222576 230 | 30.734 % |
660.01/660.28 c | 251573 | 73914 414746 1192311 | 2147483647 224440 231 | 30.734 % |
669.90/670.13 c | 253624 | 70705 389972 1127076 | 2147483647 221420 230 | 30.754 % |
681.90/682.18 c | 255877 | 70703 389972 1127076 | 2147483647 223670 231 | 30.757 % |
689.69/689.93 c | 258368 | 70701 389972 1127076 | 2147483647 226160 231 | 30.758 % |
689.79/690.07 c | 258468 | 70701 389972 1127076 | 2147483647 226260 231 | 30.758 % |
689.99/690.25 c | 258586 | 70701 389972 1127076 | 2147483647 226378 231 | 30.758 % |
690.19/690.41 c | 258710 | 70701 389972 1127076 | 2147483647 226502 231 | 30.758 % |
690.29/690.54 c | 258844 | 70701 389972 1127076 | 2147483647 226636 231 | 30.758 % |
690.50/690.71 c | 258992 | 70701 389972 1127076 | 2147483647 226784 231 | 30.758 % |
690.79/691.05 c | 259152 | 70701 389972 1127076 | 2147483647 226944 231 | 30.758 % |
691.09/691.33 c | 259328 | 70701 389972 1127076 | 2147483647 227120 231 | 30.758 % |
691.39/691.67 c | 259521 | 70701 389972 1127076 | 2147483647 227313 231 | 30.758 % |
691.79/692.04 c | 259734 | 70701 389972 1127076 | 2147483647 227526 231 | 30.758 % |
692.29/692.53 c | 259972 | 70701 389972 1127076 | 2147483647 227764 231 | 30.758 % |
692.80/693.08 c | 260229 | 70701 389972 1127076 | 2147483647 228021 231 | 30.758 % |
693.39/693.64 c | 260511 | 70701 389972 1127076 | 2147483647 228303 231 | 30.758 % |
694.09/694.31 c | 260822 | 70701 389972 1127076 | 2147483647 228614 230 | 30.758 % |
694.69/694.97 c | 261162 | 70701 389972 1127076 | 2147483647 228954 230 | 30.758 % |
695.39/695.67 c | 261534 | 70701 389972 1127076 | 2147483647 229326 230 | 30.758 % |
696.20/696.49 c | 261945 | 70701 389972 1127076 | 2147483647 229737 230 | 30.758 % |
697.20/697.41 c | 262395 | 70701 389972 1127076 | 2147483647 230187 230 | 30.758 % |
697.80/698.10 c | 262890 | 70700 389972 1127076 | 2147483647 230681 230 | 30.759 % |
698.70/698.91 c | 263434 | 70700 389972 1127076 | 2147483647 231225 230 | 30.759 % |
699.59/699.85 c | 264036 | 70694 389972 1127076 | 2147483647 231819 229 | 30.776 % |
700.79/701.00 c | 264691 | 70694 389972 1127076 | 2147483647 232474 229 | 30.776 % |
701.99/702.23 c | 265411 | 70693 389972 1127076 | 2147483647 233192 229 | 30.793 % |
702.60/702.81 c ===============================================================================
702.60/702.81 c restarts : 654
702.60/702.81 c conflicts : 265897 (382 /sec)
702.60/702.81 c decisions : 1731397 (1.52 % random) (2490 /sec)
702.60/702.81 c propagations : 547025959 (786779 /sec)
702.60/702.81 c conflict literals : 60583917 (33.07 % deleted)
702.60/702.81 c Memory used : 254.56 MB
702.60/702.81 c CPU time : 695.272 s
702.60/702.81 c
702.60/702.81 s UNSATISFIABLE
702.60/702.85 s UNSATISFIABLE
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1837480-1242873029/watcher-1837480-1242873029 -o /tmp/evaluation-result-1837480-1242873029/solver-1837480-1242873029 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837480-1242873029.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 12000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/67 8390
/proc/meminfo: memFree=1891912/2055920 swapFree=4177396/4192956
[pid=8390] ppid=8388 vsize=5356 CPUtime=0
/proc/8390/stat : 8390 (SatELiteGTI) S 8388 8390 7569 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315329228 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8390/statm: 1339 237 197 169 0 50 0
[startup+0.031519 s]
/proc/loadavg: 1.00 1.00 1.00 3/67 8390
/proc/meminfo: memFree=1891912/2055920 swapFree=4177396/4192956
[pid=8390] ppid=8388 vsize=5356 CPUtime=0
/proc/8390/stat : 8390 (SatELiteGTI) S 8388 8390 7569 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315329228 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8390/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101522 s]
/proc/loadavg: 1.00 1.00 1.00 3/67 8390
/proc/meminfo: memFree=1891912/2055920 swapFree=4177396/4192956
[pid=8390] ppid=8388 vsize=5356 CPUtime=0
/proc/8390/stat : 8390 (SatELiteGTI) S 8388 8390 7569 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315329228 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8390/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301541 s]
/proc/loadavg: 1.00 1.00 1.00 3/67 8390
/proc/meminfo: memFree=1891912/2055920 swapFree=4177396/4192956
[pid=8390] ppid=8388 vsize=5356 CPUtime=0
/proc/8390/stat : 8390 (SatELiteGTI) S 8388 8390 7569 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315329228 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8390/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701578 s]
/proc/loadavg: 1.00 1.00 1.00 3/67 8390
/proc/meminfo: memFree=1891912/2055920 swapFree=4177396/4192956
[pid=8390] ppid=8388 vsize=5356 CPUtime=0
/proc/8390/stat : 8390 (SatELiteGTI) S 8388 8390 7569 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315329228 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8390/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50265 s]
/proc/loadavg: 1.00 1.00 1.00 2/69 8395
/proc/meminfo: memFree=1805944/2055920 swapFree=4177396/4192956
[pid=8390] ppid=8388 vsize=5356 CPUtime=0
/proc/8390/stat : 8390 (SatELiteGTI) S 8388 8390 7569 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315329228 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8390/statm: 1339 237 197 169 0 50 0
[pid=8394] ppid=8390 vsize=105276 CPUtime=1.49
/proc/8394/stat : 8394 (SatELite_releas) R 8390 8390 7569 0 -1 4194304 26542 0 0 0 134 15 0 0 25 0 1 0 315329229 107802624 23926 1992294400 134512640 135223648 4294956128 18446744073709551615 134737406 0 0 4096 3 0 0 0 17 1 0 0
/proc/8394/statm: 26319 23926 76 173 0 26144 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 110632
[startup+3.10179 s]
/proc/loadavg: 1.00 1.00 1.00 2/69 8395
/proc/meminfo: memFree=1786232/2055920 swapFree=4177396/4192956
[pid=8390] ppid=8388 vsize=5356 CPUtime=0
/proc/8390/stat : 8390 (SatELiteGTI) S 8388 8390 7569 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315329228 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8390/statm: 1339 237 197 169 0 50 0
[pid=8394] ppid=8390 vsize=117712 CPUtime=3.08
/proc/8394/stat : 8394 (SatELite_releas) R 8390 8390 7569 0 -1 4194304 29545 0 0 0 291 17 0 0 25 0 1 0 315329229 120537088 26781 1992294400 134512640 135223648 4294956128 18446744073709551615 134596417 0 0 4096 3 0 0 0 17 1 0 0
/proc/8394/statm: 29428 26781 76 173 0 29253 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 123068
[startup+6.30108 s]
/proc/loadavg: 1.00 1.00 1.00 2/69 8395
/proc/meminfo: memFree=1778296/2055920 swapFree=4177396/4192956
[pid=8390] ppid=8388 vsize=5356 CPUtime=0
/proc/8390/stat : 8390 (SatELiteGTI) S 8388 8390 7569 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315329228 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8390/statm: 1339 237 197 169 0 50 0
[pid=8394] ppid=8390 vsize=118860 CPUtime=6.29
/proc/8394/stat : 8394 (SatELite_releas) R 8390 8390 7569 0 -1 4194304 35758 0 0 0 605 24 0 0 25 0 1 0 315329229 121712640 27271 1992294400 134512640 135223648 4294956128 18446744073709551615 134737406 0 0 4096 3 0 0 0 17 1 0 0
/proc/8394/statm: 29715 27271 76 173 0 29540 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 124216
[startup+12.7016 s]
/proc/loadavg: 1.00 1.00 1.00 2/69 8396
/proc/meminfo: memFree=1836360/2055920 swapFree=4177396/4192956
[pid=8390] ppid=8388 vsize=5356 CPUtime=6.71
/proc/8390/stat : 8390 (SatELiteGTI) S 8388 8390 7569 0 -1 4194304 336 36009 0 0 0 0 642 29 16 0 1 0 315329228 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8390/statm: 1339 239 197 169 0 50 0
[pid=8396] ppid=8390 vsize=37816 CPUtime=5.95
/proc/8396/stat : 8396 (minisat_static) R 8390 8390 7569 0 -1 4194304 9037 0 0 0 590 5 0 0 25 0 1 0 315329901 38723584 9007 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/8396/statm: 9454 9007 77 171 0 9281 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 43172
[startup+25.5018 s]
/proc/loadavg: 1.00 1.00 1.00 2/69 8396
/proc/meminfo: memFree=1833864/2055920 swapFree=4177396/4192956
[pid=8390] ppid=8388 vsize=5356 CPUtime=6.71
/proc/8390/stat : 8390 (SatELiteGTI) S 8388 8390 7569 0 -1 4194304 336 36009 0 0 0 0 642 29 16 0 1 0 315329228 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8390/statm: 1339 239 197 169 0 50 0
[pid=8396] ppid=8390 vsize=40600 CPUtime=18.75
/proc/8396/stat : 8396 (minisat_static) R 8390 8390 7569 0 -1 4194304 9738 0 0 0 1869 6 0 0 25 0 1 0 315329901 41574400 9708 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/8396/statm: 10150 9708 77 171 0 9977 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 45956
[startup+51.1011 s]
/proc/loadavg: 1.00 1.00 1.00 2/69 8396
/proc/meminfo: memFree=1823432/2055920 swapFree=4177396/4192956
[pid=8390] ppid=8388 vsize=5356 CPUtime=6.71
/proc/8390/stat : 8390 (SatELiteGTI) S 8388 8390 7569 0 -1 4194304 336 36009 0 0 0 0 642 29 16 0 1 0 315329228 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8390/statm: 1339 239 197 169 0 50 0
[pid=8396] ppid=8390 vsize=51396 CPUtime=44.34
/proc/8396/stat : 8396 (minisat_static) R 8390 8390 7569 0 -1 4194304 12407 0 0 0 4425 9 0 0 25 0 1 0 315329901 52629504 12377 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/8396/statm: 12849 12377 77 171 0 12676 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 56752
[startup+102.307 s]
/proc/loadavg: 1.00 1.00 1.00 2/69 8396
/proc/meminfo: memFree=1799048/2055920 swapFree=4177396/4192956
[pid=8390] ppid=8388 vsize=5356 CPUtime=6.71
/proc/8390/stat : 8390 (SatELiteGTI) S 8388 8390 7569 0 -1 4194304 336 36009 0 0 0 0 642 29 16 0 1 0 315329228 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8390/statm: 1339 239 197 169 0 50 0
[pid=8396] ppid=8390 vsize=75280 CPUtime=95.53
/proc/8396/stat : 8396 (minisat_static) R 8390 8390 7569 0 -1 4194304 18384 0 0 0 9539 14 0 0 25 0 1 0 315329901 77086720 18354 1992294400 134512640 135215339 4294956240 18446744073709551615 134529051 0 0 4096 3 0 0 0 17 1 0 0
/proc/8396/statm: 18820 18354 77 171 0 18647 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 80636
[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/69 8396
/proc/meminfo: memFree=1775432/2055920 swapFree=4177396/4192956
[pid=8390] ppid=8388 vsize=5356 CPUtime=6.71
/proc/8390/stat : 8390 (SatELiteGTI) S 8388 8390 7569 0 -1 4194304 336 36009 0 0 0 0 642 29 16 0 1 0 315329228 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8390/statm: 1339 239 197 169 0 50 0
[pid=8396] ppid=8390 vsize=99036 CPUtime=155.52
/proc/8396/stat : 8396 (minisat_static) R 8390 8390 7569 0 -1 4194304 24315 0 0 0 15530 22 0 0 25 0 1 0 315329901 101412864 24285 1992294400 134512640 135215339 4294956240 18446744073709551615 134528872 0 0 4096 3 0 0 0 17 1 0 0
/proc/8396/statm: 24759 24285 77 171 0 24586 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 104392
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/69 8396
/proc/meminfo: memFree=1748168/2055920 swapFree=4177396/4192956
[pid=8390] ppid=8388 vsize=5356 CPUtime=6.71
/proc/8390/stat : 8390 (SatELiteGTI) S 8388 8390 7569 0 -1 4194304 336 36009 0 0 0 0 642 29 16 0 1 0 315329228 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8390/statm: 1339 239 197 169 0 50 0
[pid=8396] ppid=8390 vsize=126468 CPUtime=215.51
/proc/8396/stat : 8396 (minisat_static) R 8390 8390 7569 0 -1 4194304 31106 0 0 0 21523 28 0 0 25 0 1 0 315329901 129503232 31076 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/8396/statm: 31617 31076 77 171 0 31444 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 131824
[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/69 8396
/proc/meminfo: memFree=1724552/2055920 swapFree=4177396/4192956
[pid=8390] ppid=8388 vsize=5356 CPUtime=6.71
/proc/8390/stat : 8390 (SatELiteGTI) S 8388 8390 7569 0 -1 4194304 336 36009 0 0 0 0 642 29 16 0 1 0 315329228 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8390/statm: 1339 239 197 169 0 50 0
[pid=8396] ppid=8390 vsize=149992 CPUtime=275.49
/proc/8396/stat : 8396 (minisat_static) R 8390 8390 7569 0 -1 4194304 37026 0 0 0 27515 34 0 0 25 0 1 0 315329901 153591808 36996 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/8396/statm: 37498 36996 77 171 0 37325 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 155348
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/69 8396
/proc/meminfo: memFree=1703496/2055920 swapFree=4177396/4192956
[pid=8390] ppid=8388 vsize=5356 CPUtime=6.71
/proc/8390/stat : 8390 (SatELiteGTI) S 8388 8390 7569 0 -1 4194304 336 36009 0 0 0 0 642 29 16 0 1 0 315329228 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8390/statm: 1339 239 197 169 0 50 0
[pid=8396] ppid=8390 vsize=170888 CPUtime=335.47
/proc/8396/stat : 8396 (minisat_static) R 8390 8390 7569 0 -1 4194304 42186 0 0 0 33508 39 0 0 25 0 1 0 315329901 174989312 42156 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/8396/statm: 42722 42156 77 171 0 42549 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 176244
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/69 8396
/proc/meminfo: memFree=1693640/2055920 swapFree=4177396/4192956
[pid=8390] ppid=8388 vsize=5356 CPUtime=6.71
/proc/8390/stat : 8390 (SatELiteGTI) S 8388 8390 7569 0 -1 4194304 336 36009 0 0 0 0 642 29 16 0 1 0 315329228 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8390/statm: 1339 239 197 169 0 50 0
[pid=8396] ppid=8390 vsize=180552 CPUtime=395.46
/proc/8396/stat : 8396 (minisat_static) R 8390 8390 7569 0 -1 4194304 44601 0 0 0 39504 42 0 0 25 0 1 0 315329901 184885248 44571 1992294400 134512640 135215339 4294956240 18446744073709551615 134538488 0 0 4096 3 0 0 0 17 1 0 0
/proc/8396/statm: 45138 44571 77 171 0 44965 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 185908
[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/69 8396
/proc/meminfo: memFree=1682696/2055920 swapFree=4177396/4192956
[pid=8390] ppid=8388 vsize=5356 CPUtime=6.71
/proc/8390/stat : 8390 (SatELiteGTI) S 8388 8390 7569 0 -1 4194304 336 36009 0 0 0 0 642 29 16 0 1 0 315329228 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8390/statm: 1339 239 197 169 0 50 0
[pid=8396] ppid=8390 vsize=191556 CPUtime=455.45
/proc/8396/stat : 8396 (minisat_static) R 8390 8390 7569 0 -1 4194304 47378 0 0 0 45499 46 0 0 25 0 1 0 315329901 196153344 47348 1992294400 134512640 135215339 4294956240 18446744073709551615 134532687 0 0 4096 3 0 0 0 17 1 0 0
/proc/8396/statm: 47889 47348 77 171 0 47716 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 196912
[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/69 8396
/proc/meminfo: memFree=1664456/2055920 swapFree=4177396/4192956
[pid=8390] ppid=8388 vsize=5356 CPUtime=6.71
/proc/8390/stat : 8390 (SatELiteGTI) S 8388 8390 7569 0 -1 4194304 336 36009 0 0 0 0 642 29 16 0 1 0 315329228 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8390/statm: 1339 239 197 169 0 50 0
[pid=8396] ppid=8390 vsize=209560 CPUtime=515.43
/proc/8396/stat : 8396 (minisat_static) R 8390 8390 7569 0 -1 4194304 51877 0 0 0 51493 50 0 0 25 0 1 0 315329901 214589440 51847 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/8396/statm: 52390 51847 77 171 0 52217 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 214916
[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/69 8396
/proc/meminfo: memFree=1646792/2055920 swapFree=4177396/4192956
[pid=8390] ppid=8388 vsize=5356 CPUtime=6.71
/proc/8390/stat : 8390 (SatELiteGTI) S 8388 8390 7569 0 -1 4194304 336 36009 0 0 0 0 642 29 16 0 1 0 315329228 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8390/statm: 1339 239 197 169 0 50 0
[pid=8396] ppid=8390 vsize=227132 CPUtime=575.41
/proc/8396/stat : 8396 (minisat_static) R 8390 8390 7569 0 -1 4194304 56290 0 0 0 57486 55 0 0 25 0 1 0 315329901 232583168 56260 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/8396/statm: 56783 56260 77 171 0 56610 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 232488
[startup+642.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/69 8396
/proc/meminfo: memFree=1625544/2055920 swapFree=4177396/4192956
[pid=8390] ppid=8388 vsize=5356 CPUtime=6.71
/proc/8390/stat : 8390 (SatELiteGTI) S 8388 8390 7569 0 -1 4194304 336 36009 0 0 0 0 642 29 16 0 1 0 315329228 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8390/statm: 1339 239 197 169 0 50 0
[pid=8396] ppid=8390 vsize=248384 CPUtime=635.4
/proc/8396/stat : 8396 (minisat_static) R 8390 8390 7569 0 -1 4194304 61503 0 0 0 63480 60 0 0 25 0 1 0 315329901 254345216 61473 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/8396/statm: 62096 61473 77 171 0 61923 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 253740
[startup+702.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/69 8396
/proc/meminfo: memFree=1613256/2055920 swapFree=4177396/4192956
[pid=8390] ppid=8388 vsize=5356 CPUtime=6.71
/proc/8390/stat : 8390 (SatELiteGTI) S 8388 8390 7569 0 -1 4194304 336 36009 0 0 0 0 642 29 16 0 1 0 315329228 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8390/statm: 1339 239 197 169 0 50 0
[pid=8396] ppid=8390 vsize=260536 CPUtime=695.38
/proc/8396/stat : 8396 (minisat_static) R 8390 8390 7569 0 -1 4194304 64566 0 0 0 69475 63 0 0 25 0 1 0 315329901 266788864 64536 1992294400 134512640 135215339 4294956240 18446744073709551615 134528875 0 0 4096 3 0 0 0 17 1 0 0
/proc/8396/statm: 65134 64536 77 171 0 64961 0
Current children cumulated CPU time (s) 702.09
Current children cumulated vsize (KiB) 265892
Solver just ended. Dumping a history of the last processes samples
[startup+702.702 s]
/proc/loadavg: 1.00 1.00 1.00 2/69 8396
/proc/meminfo: memFree=1613256/2055920 swapFree=4177396/4192956
[pid=8390] ppid=8388 vsize=5356 CPUtime=6.71
/proc/8390/stat : 8390 (SatELiteGTI) S 8388 8390 7569 0 -1 4194304 336 36009 0 0 0 0 642 29 16 0 1 0 315329228 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8390/statm: 1339 239 197 169 0 50 0
[pid=8396] ppid=8390 vsize=260668 CPUtime=695.78
/proc/8396/stat : 8396 (minisat_static) R 8390 8390 7569 0 -1 4194304 64589 0 0 0 69515 63 0 0 25 0 1 0 315329901 266924032 64559 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/8396/statm: 65167 64559 77 171 0 64994 0
Current children cumulated CPU time (s) 702.49
Current children cumulated vsize (KiB) 266024
[startup+702.802 s]
/proc/loadavg: 1.00 1.00 1.00 2/69 8396
/proc/meminfo: memFree=1613064/2055920 swapFree=4177396/4192956
[pid=8390] ppid=8388 vsize=5356 CPUtime=6.71
/proc/8390/stat : 8390 (SatELiteGTI) S 8388 8390 7569 0 -1 4194304 336 36009 0 0 0 0 642 29 16 0 1 0 315329228 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8390/statm: 1339 239 197 169 0 50 0
[pid=8396] ppid=8390 vsize=260668 CPUtime=695.89
/proc/8396/stat : 8396 (minisat_static) R 8390 8390 7569 0 -1 4194304 64591 0 0 0 69526 63 0 0 25 0 1 0 315329901 266924032 64561 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/8396/statm: 65167 64561 77 171 0 64994 0
Current children cumulated CPU time (s) 702.6
Current children cumulated vsize (KiB) 266024
Child status: 20
Real time (s): 702.873
CPU time (s): 702.688
CPU user time (s): 701.702
CPU system time (s): 0.98585
CPU usage (%): 99.9737
Max. virtual memory (cumulated for all children) (KiB): 266024
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 701.702
system time used= 0.98585
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 101096
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= 47
involuntary context switches= 760
runsolver used 0.694894 second user time and 1.90071 second system time
The end
Begin job on node68 at 2009-05-21 04:30:31
IDJOB=1837480
IDBENCH=71025
IDSOLVER=674
FILE ID=node68/1837480-1242873029
PBS_JOBID= 9328594
Free space on /tmp= 66076 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/diagnosis/UTI-15-10p0.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1837480-1242873029/watcher-1837480-1242873029 -o /tmp/evaluation-result-1837480-1242873029/solver-1837480-1242873029 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837480-1242873029.cnf
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= abc6c44b372f4addd18c6a7b2eac59f5
RANDOM SEED=1112958318
node68.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.223
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.223
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 : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1892392 kB
Buffers: 6756 kB
Cached: 88336 kB
SwapCached: 7452 kB
Active: 51584 kB
Inactive: 52524 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1892392 kB
SwapTotal: 4192956 kB
SwapFree: 4177396 kB
Dirty: 20096 kB
Writeback: 0 kB
Mapped: 14816 kB
Slab: 45036 kB
Committed_AS: 945672 kB
PageTables: 1564 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= 66072 MiB
End job on node68 at 2009-05-21 04:42:14