0.00/0.00 c Parsing...
0.00/0.01 c ==============================================================================
0.00/0.01 c | | ORIGINAL | LEARNT | |
0.00/0.01 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.01 c ==============================================================================
0.00/0.01 c | 0 | 15063 48355 | 4518 0 0 nan | 0.000 % |
0.00/0.03 c | 0 | 15063 48371 | -- 0 -- -- | -- | 0/16
0.00/0.03 c ==============================================================================
0.00/0.03 c Result : #vars: 1673 #clauses: 15063 #literals: 48371
0.00/0.03 c CPU time: 0.032994 s
0.00/0.03 c ==============================================================================
0.00/0.05 c This is MiniSat 2.0 beta
0.00/0.05 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.05 c ============================[ Problem Statistics ]=============================
0.00/0.05 c | |
0.00/0.05 c | Number of variables: 1673 |
0.00/0.05 c | Number of clauses: 15063 |
0.00/0.06 c | Parsing time: 0.01 s |
0.00/0.06 c ============================[ Search Statistics ]==============================
0.00/0.06 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.00/0.06 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.00/0.06 c ===============================================================================
0.00/0.06 c | 0 | 1673 15063 48371 | 5021 0 nan | 0.000 % |
0.00/0.06 c | 102 | 1673 15063 48371 | 5021 102 14 | 0.000 % |
0.00/0.07 c | 202 | 1673 15063 48371 | 5021 202 24 | 0.000 % |
0.00/0.07 c | 302 | 1673 15063 48371 | 5021 302 22 | 0.000 % |
0.04/0.07 c | 412 | 1673 15063 48371 | 5021 412 23 | 0.000 % |
0.04/0.08 c | 513 | 1673 15063 48371 | 5021 513 28 | 0.000 % |
0.04/0.08 c | 623 | 1673 15063 48371 | 5021 623 33 | 0.000 % |
0.04/0.09 c | 746 | 1669 15063 48371 | 5021 745 36 | 0.239 % |
0.04/0.09 c | 850 | 1659 15051 48347 | 5021 847 35 | 0.837 % |
0.04/0.10 c | 961 | 1655 15051 48347 | 5021 957 34 | 1.076 % |
0.04/0.11 c | 1082 | 1655 15051 48347 | 5021 1078 38 | 1.076 % |
0.04/0.11 c | 1218 | 1651 15051 48347 | 5021 1213 36 | 1.315 % |
0.04/0.11 c | 1318 | 1651 15051 48347 | 5021 1313 35 | 1.315 % |
0.04/0.12 c | 1428 | 1651 15051 48347 | 5021 1423 37 | 1.315 % |
0.04/0.13 c | 1550 | 1647 15051 48347 | 5021 1544 36 | 1.554 % |
0.04/0.13 c | 1684 | 1647 15051 48347 | 5021 1678 36 | 1.554 % |
0.04/0.14 c | 1830 | 1643 15051 48347 | 5021 1822 35 | 2.152 % |
0.04/0.14 c | 1933 | 1637 15051 48347 | 5021 1925 35 | 2.152 % |
0.04/0.15 c | 2043 | 1637 14955 48155 | 5021 2030 36 | 2.152 % |
0.04/0.16 c | 2164 | 1637 14955 48155 | 5021 2151 36 | 2.152 % |
0.04/0.17 c | 2298 | 1637 14955 48155 | 5021 2285 39 | 2.152 % |
0.04/0.18 c | 2445 | 1637 14955 48155 | 5021 2432 40 | 2.152 % |
0.04/0.19 c | 2605 | 1637 14955 48155 | 5021 2592 40 | 2.152 % |
0.04/0.19 c | 2706 | 1637 14955 48155 | 5021 2693 40 | 2.152 % |
0.04/0.20 c | 2816 | 1637 14955 48155 | 5021 2803 41 | 2.152 % |
0.04/0.21 c | 2938 | 1637 14955 48155 | 5021 2925 41 | 2.152 % |
0.04/0.22 c | 3073 | 1637 14955 48155 | 5021 3060 43 | 2.152 % |
0.04/0.23 c | 3219 | 1637 14955 48155 | 5021 3206 42 | 2.152 % |
0.04/0.24 c | 3379 | 1637 14955 48155 | 5021 3366 42 | 2.152 % |
0.04/0.25 c | 3556 | 1637 14955 48155 | 5021 3543 42 | 2.152 % |
0.04/0.26 c | 3656 | 1637 14955 48155 | 5021 3643 42 | 2.152 % |
0.04/0.27 c | 3766 | 1637 14955 48155 | 5021 3753 42 | 2.152 % |
0.04/0.28 c | 3890 | 1637 14955 48155 | 5021 3877 42 | 2.152 % |
0.04/0.28 c | 4023 | 1637 14955 48155 | 5021 4010 42 | 2.152 % |
0.04/0.29 c | 4169 | 1637 14955 48155 | 5021 4156 41 | 2.152 % |
0.04/0.31 c | 4331 | 1637 14955 48155 | 5021 4318 42 | 2.152 % |
0.04/0.31 c | 4508 | 1637 14955 48155 | 5021 4495 41 | 2.152 % |
0.04/0.32 c | 4701 | 1637 14955 48155 | 5021 4688 40 | 2.152 % |
0.04/0.33 c | 4802 | 1637 14955 48155 | 5021 4789 40 | 2.152 % |
0.04/0.34 c | 4913 | 1637 14955 48155 | 5021 4900 40 | 2.152 % |
0.04/0.34 c | 5035 | 1637 14955 48155 | 5021 5022 39 | 2.152 % |
0.04/0.35 c | 5168 | 1637 14955 48155 | 5021 5155 39 | 2.152 % |
0.04/0.36 c | 5316 | 1637 14955 48155 | 5021 4788 38 | 2.152 % |
0.04/0.38 c | 5476 | 1637 14955 48155 | 5021 4948 39 | 2.152 % |
0.04/0.39 c | 5653 | 1637 14955 48155 | 5021 5125 39 | 2.152 % |
0.04/0.40 c | 5846 | 1637 14955 48155 | 5021 4806 38 | 2.152 % |
0.04/0.41 c | 6060 | 1637 14955 48155 | 5021 5020 37 | 2.152 % |
0.04/0.42 c | 6160 | 1637 14955 48155 | 5021 5120 37 | 2.152 % |
0.04/0.43 c | 6270 | 1637 14955 48155 | 5021 4718 35 | 2.152 % |
0.04/0.43 c | 6392 | 1637 14955 48155 | 5021 4840 35 | 2.152 % |
0.04/0.44 c | 6525 | 1637 14955 48155 | 5021 4973 35 | 2.152 % |
0.04/0.45 c | 6676 | 1637 14955 48155 | 5021 5124 35 | 2.152 % |
0.04/0.46 c | 6837 | 1637 14955 48155 | 5021 4773 32 | 2.152 % |
0.04/0.47 c | 7014 | 1637 14955 48155 | 5021 4950 32 | 2.152 % |
0.04/0.48 c | 7208 | 1637 14955 48155 | 5021 5144 32 | 2.152 % |
0.04/0.49 c | 7421 | 1637 14955 48155 | 5021 4843 28 | 2.152 % |
0.04/0.51 c | 7660 | 1637 14955 48155 | 5021 5082 29 | 2.152 % |
0.04/0.51 c | 7762 | 1637 14955 48155 | 5021 4676 27 | 2.152 % |
0.04/0.52 c | 7873 | 1637 14955 48155 | 5021 4787 27 | 2.152 % |
0.04/0.53 c | 7994 | 1637 14955 48155 | 5021 4908 27 | 2.152 % |
0.04/0.53 c | 8128 | 1637 14955 48155 | 5021 5042 27 | 2.152 % |
0.04/0.54 c | 8275 | 1637 14955 48155 | 5021 5189 27 | 2.152 % |
0.04/0.56 c | 8436 | 1637 14955 48155 | 5021 4832 26 | 2.152 % |
0.04/0.57 c | 8612 | 1637 14955 48155 | 5021 5008 26 | 2.152 % |
0.04/0.58 c | 8805 | 1637 14955 48155 | 5021 5201 27 | 2.152 % |
0.04/0.59 c | 9017 | 1637 14955 48155 | 5021 4893 26 | 2.152 % |
0.04/0.60 c | 9250 | 1636 14941 48121 | 5021 5124 26 | 2.212 % |
0.04/0.61 c | 9506 | 1636 14941 48121 | 5021 4868 24 | 2.212 % |
0.04/0.62 c | 9606 | 1636 14941 48121 | 5021 4968 24 | 2.212 % |
0.04/0.63 c | 9718 | 1636 14941 48121 | 5021 5080 25 | 2.212 % |
0.04/0.63 c | 9839 | 1636 14941 48121 | 5021 4693 24 | 2.212 % |
0.04/0.64 c | 9972 | 1636 14941 48121 | 5021 4826 24 | 2.212 % |
0.04/0.64 c | 10119 | 1636 14941 48121 | 2147483647 4973 24 | 2.212 % |
0.04/0.65 c | 10281 | 1636 14941 48121 | 2147483647 5135 24 | 2.212 % |
0.04/0.66 c | 10458 | 1636 14941 48121 | 2147483647 5312 25 | 2.212 % |
0.04/0.68 c | 10651 | 1636 14941 48121 | 2147483647 5505 26 | 2.212 % |
0.04/0.69 c | 10866 | 1636 14941 48121 | 2147483647 5720 26 | 2.212 % |
0.04/0.70 c | 11099 | 1636 14941 48121 | 2147483647 5953 26 | 2.212 % |
0.04/0.73 c | 11355 | 1636 14941 48121 | 2147483647 6209 28 | 2.212 % |
0.04/0.75 c | 11636 | 1636 14941 48121 | 2147483647 6490 29 | 2.212 % |
0.04/0.76 c | 11736 | 1636 14941 48121 | 2147483647 6590 29 | 2.212 % |
0.04/0.77 c | 11846 | 1636 14941 48121 | 2147483647 6700 29 | 2.212 % |
0.04/0.78 c | 11967 | 1636 14941 48121 | 2147483647 6821 29 | 2.212 % |
0.04/0.79 c | 12100 | 1636 14941 48121 | 2147483647 6954 30 | 2.212 % |
0.04/0.80 c | 12249 | 1636 14941 48121 | 2147483647 7103 31 | 2.212 % |
0.04/0.81 c | 12409 | 1636 14941 48121 | 2147483647 7263 30 | 2.212 % |
0.04/0.83 c | 12585 | 1636 14941 48121 | 2147483647 7439 31 | 2.212 % |
0.04/0.84 c | 12779 | 1636 14941 48121 | 2147483647 7633 31 | 2.212 % |
0.04/0.87 c | 12992 | 1636 14941 48121 | 2147483647 7846 32 | 2.212 % |
0.04/0.88 c | 13225 | 1636 14941 48121 | 2147483647 8079 32 | 2.212 % |
0.04/0.89 c | 13482 | 1636 14941 48121 | 2147483647 8336 31 | 2.212 % |
0.04/0.91 c | 13765 | 1636 14941 48121 | 2147483647 8619 31 | 2.212 % |
0.04/0.94 c | 14075 | 1636 14941 48121 | 2147483647 8929 32 | 2.212 % |
0.04/0.94 c | 14178 | 1636 14941 48121 | 2147483647 9032 32 | 2.212 % |
0.04/0.95 c | 14289 | 1636 14941 48121 | 2147483647 9143 32 | 2.212 % |
0.04/0.96 c | 14411 | 1636 14941 48121 | 2147483647 9265 32 | 2.212 % |
0.04/0.97 c | 14545 | 1636 14941 48121 | 2147483647 9399 31 | 2.212 % |
0.04/0.98 c | 14694 | 1636 14941 48121 | 2147483647 9548 31 | 2.212 % |
0.04/0.99 c | 14855 | 1636 14941 48121 | 2147483647 9709 31 | 2.212 % |
0.04/0.99 c | 15031 | 1636 14941 48121 | 2147483647 9885 31 | 2.212 % |
0.04/1.00 c | 15226 | 1636 14941 48121 | 2147483647 10080 31 | 2.212 % |
0.98/1.02 c | 15439 | 1636 14941 48121 | 2147483647 10293 31 | 2.212 % |
0.98/1.05 c | 15673 | 1636 14941 48121 | 2147483647 10527 32 | 2.212 % |
0.98/1.08 c | 15929 | 1636 14941 48121 | 2147483647 10783 32 | 2.212 % |
1.08/1.12 c | 16213 | 1636 14941 48121 | 2147483647 11067 34 | 2.212 % |
1.08/1.15 c | 16522 | 1636 14941 48121 | 2147483647 11376 34 | 2.212 % |
1.08/1.19 c | 16861 | 1636 14941 48121 | 2147483647 11715 35 | 2.212 % |
1.17/1.20 c | 16963 | 1636 14941 48121 | 2147483647 11817 35 | 2.212 % |
1.17/1.22 c | 17073 | 1635 14923 48073 | 2147483647 11925 35 | 2.271 % |
1.17/1.23 c | 17194 | 1635 14923 48073 | 2147483647 12046 35 | 2.271 % |
1.17/1.25 c | 17328 | 1635 14923 48073 | 2147483647 12180 35 | 2.271 % |
1.17/1.26 c | 17475 | 1635 14923 48073 | 2147483647 12327 35 | 2.271 % |
1.17/1.28 c | 17635 | 1635 14923 48073 | 2147483647 12487 35 | 2.271 % |
1.27/1.31 c | 17811 | 1635 14923 48073 | 2147483647 12663 35 | 2.271 % |
1.27/1.33 c | 18004 | 1635 14923 48073 | 2147483647 12856 36 | 2.271 % |
1.27/1.35 c | 18216 | 1635 14923 48073 | 2147483647 13068 36 | 2.271 % |
1.27/1.39 c | 18452 | 1635 14923 48073 | 2147483647 13304 36 | 2.272 % |
1.37/1.41 c | 18708 | 1635 14923 48073 | 2147483647 13560 36 | 2.271 % |
1.37/1.46 c | 18990 | 1635 14923 48073 | 2147483647 13842 36 | 2.271 % |
1.37/1.50 c | 19300 | 1635 14923 48073 | 2147483647 14152 37 | 2.271 % |
1.47/1.53 c | 19639 | 1635 14923 48073 | 2147483647 14491 37 | 2.272 % |
1.47/1.57 c | 20012 | 1635 14923 48073 | 2147483647 14864 37 | 2.271 % |
1.47/1.59 c | 20112 | 1635 14923 48073 | 2147483647 14964 37 | 2.271 % |
1.57/1.60 c | 20223 | 1635 14923 48073 | 2147483647 15075 37 | 2.271 % |
1.57/1.62 c | 20345 | 1635 14923 48073 | 2147483647 15197 37 | 2.271 % |
1.57/1.64 c | 20480 | 1635 14923 48073 | 2147483647 15332 37 | 2.271 % |
1.57/1.66 c | 20627 | 1635 14923 48073 | 2147483647 15479 37 | 2.271 % |
1.57/1.69 c | 20788 | 1635 14923 48073 | 2147483647 15640 37 | 2.271 % |
1.67/1.74 c | 20964 | 1635 14923 48073 | 2147483647 15816 38 | 2.271 % |
1.67/1.77 c | 21157 | 1635 14923 48073 | 2147483647 16009 38 | 2.271 % |
1.77/1.80 c | 21372 | 1635 14923 48073 | 2147483647 16224 38 | 2.271 % |
1.77/1.83 c | 21606 | 1635 14923 48073 | 2147483647 16458 38 | 2.271 % |
1.77/1.89 c | 21863 | 1635 14923 48073 | 2147483647 16715 38 | 2.271 % |
1.87/1.95 c | 22144 | 1635 14923 48073 | 2147483647 16996 39 | 2.271 % |
1.97/2.04 c | 22458 | 1635 14923 48073 | 2147483647 17310 40 | 2.271 % |
1.97/2.08 c | 22797 | 1635 14923 48073 | 2147483647 17649 39 | 2.271 % |
2.07/2.18 c | 23169 | 1635 14923 48073 | 2147483647 18021 40 | 2.271 % |
2.17/2.26 c | 23579 | 1635 14923 48073 | 2147483647 18431 41 | 2.271 % |
2.17/2.29 c | 23680 | 1635 14923 48073 | 2147483647 18532 41 | 2.271 % |
2.26/2.32 c | 23794 | 1635 14923 48073 | 2147483647 18646 41 | 2.271 % |
2.26/2.35 c | 23915 | 1635 14923 48073 | 2147483647 18767 41 | 2.271 % |
2.26/2.36 c | 24052 | 1635 14923 48073 | 2147483647 18904 41 | 2.271 % |
2.26/2.39 c | 24198 | 1635 14923 48073 | 2147483647 19050 41 | 2.271 % |
2.36/2.43 c | 24361 | 1635 14923 48073 | 2147483647 19213 41 | 2.271 % |
2.36/2.48 c | 24537 | 1635 14923 48073 | 2147483647 19389 41 | 2.271 % |
2.47/2.54 c | 24731 | 1635 14923 48073 | 2147483647 19583 41 | 2.271 % |
2.57/2.60 c | 24946 | 1635 14923 48073 | 2147483647 19798 42 | 2.271 % |
2.57/2.67 c | 25180 | 1635 14923 48073 | 2147483647 20032 42 | 2.271 % |
2.67/2.71 c | 25436 | 1635 14923 48073 | 2147483647 20288 42 | 2.271 % |
2.67/2.73 c | 25718 | 1634 14905 48025 | 2147483647 20567 42 | 2.331 % |
2.77/2.82 c | 26029 | 1633 14905 48025 | 2147483647 20877 42 | 2.391 % |
2.77/2.89 c | 26368 | 1633 14905 48025 | 2147483647 21216 42 | 2.391 % |
2.97/3.00 c | 26743 | 1633 14905 48025 | 2147483647 21591 42 | 2.391 % |
3.07/3.11 c | 27153 | 1633 14905 48025 | 2147483647 22001 42 | 2.391 % |
3.18/3.21 c | 27602 | 1633 14905 48025 | 2147483647 22450 42 | 2.391 % |
3.18/3.22 c | 27704 | 1633 14905 48025 | 2147483647 22552 42 | 2.391 % |
3.18/3.25 c | 27816 | 1633 14905 48025 | 2147483647 22664 42 | 2.391 % |
3.18/3.28 c | 27939 | 1633 14905 48025 | 2147483647 22787 42 | 2.391 % |
3.28/3.32 c | 28073 | 1633 14905 48025 | 2147483647 22921 43 | 2.391 % |
3.28/3.37 c | 28219 | 1633 14905 48025 | 2147483647 23067 43 | 2.391 % |
3.37/3.41 c | 28379 | 1633 14905 48025 | 2147483647 23227 43 | 2.391 % |
3.37/3.47 c | 28555 | 1633 14905 48025 | 2147483647 23403 43 | 2.391 % |
3.47/3.53 c | 28748 | 1633 14905 48025 | 2147483647 23596 43 | 2.391 % |
3.47/3.59 c | 28960 | 1633 14905 48025 | 2147483647 23808 43 | 2.391 % |
3.57/3.63 c | 29193 | 1633 14905 48025 | 2147483647 24041 43 | 2.391 % |
3.67/3.72 c | 29457 | 1633 14905 48025 | 2147483647 24305 43 | 2.391 % |
3.77/3.83 c | 29739 | 1633 14905 48025 | 2147483647 24587 43 | 2.391 % |
3.87/3.93 c | 30050 | 1633 14905 48025 | 2147483647 24898 44 | 2.391 % |
3.97/4.07 c | 30390 | 1633 14905 48025 | 2147483647 25238 44 | 2.391 % |
4.07/4.18 c | 30762 | 1633 14905 48025 | 2147483647 25610 44 | 2.391 % |
4.17/4.29 c | 31171 | 1633 14905 48025 | 2147483647 26019 44 | 2.391 % |
4.27/4.37 c | 31620 | 1633 14905 48025 | 2147483647 26468 44 | 2.391 % |
4.47/4.56 c | 32113 | 1633 14905 48025 | 2147483647 26961 44 | 2.392 % |
4.56/4.60 c | 32214 | 1633 14905 48025 | 2147483647 27062 44 | 2.391 % |
4.56/4.62 c | 32325 | 1633 14905 48025 | 2147483647 27173 44 | 2.391 % |
4.56/4.67 c | 32446 | 1633 14905 48025 | 2147483647 27294 44 | 2.392 % |
4.66/4.70 c | 32579 | 1633 14905 48025 | 2147483647 27427 44 | 2.391 % |
4.66/4.74 c | 32725 | 1633 14905 48025 | 2147483647 27573 44 | 2.391 % |
4.66/4.77 c | 32885 | 1633 14905 48025 | 2147483647 27733 44 | 2.391 % |
4.76/4.86 c | 33062 | 1633 14905 48025 | 2147483647 27910 44 | 2.391 % |
4.86/4.97 c | 33255 | 1633 14905 48025 | 2147483647 28103 45 | 2.391 % |
4.96/5.03 c | 33467 | 1633 14905 48025 | 2147483647 28315 45 | 2.391 % |
5.06/5.15 c | 33700 | 1633 14905 48025 | 2147483647 28548 45 | 2.391 % |
5.16/5.23 c | 33957 | 1633 14905 48025 | 2147483647 28805 45 | 2.391 % |
5.27/5.35 c | 34238 | 1633 14905 48025 | 2147483647 29086 45 | 2.392 % |
5.37/5.50 c | 34550 | 1633 14905 48025 | 2147483647 29398 45 | 2.391 % |
5.57/5.69 c | 34890 | 1633 14887 47977 | 2147483647 29738 46 | 2.391 % |
5.77/5.84 c | 35264 | 1633 14887 47977 | 2147483647 30112 46 | 2.391 % |
5.96/6.02 c | 35673 | 1633 14887 47977 | 2147483647 30521 46 | 2.391 % |
6.06/6.18 c | 36124 | 1633 14887 47977 | 2147483647 30972 46 | 2.391 % |
6.36/6.42 c | 36617 | 1633 14887 47977 | 2147483647 31465 46 | 2.391 % |
6.57/6.66 c | 37159 | 1633 14887 47977 | 2147483647 32007 46 | 2.391 % |
6.66/6.73 c | 37259 | 1633 14887 47977 | 2147483647 32107 46 | 2.391 % |
6.66/6.80 c | 37369 | 1633 14887 47977 | 2147483647 32217 47 | 2.391 % |
6.76/6.86 c | 37491 | 1633 14887 47977 | 2147483647 32339 47 | 2.391 % |
6.86/6.91 c | 37624 | 1633 14887 47977 | 2147483647 32472 47 | 2.391 % |
6.86/7.00 c | 37772 | 1633 14887 47977 | 2147483647 32620 47 | 2.391 % |
6.96/7.09 c | 37933 | 1633 14887 47977 | 2147483647 32781 47 | 2.391 % |
7.06/7.17 c | 38109 | 1633 14887 47977 | 2147483647 32957 47 | 2.391 % |
7.16/7.29 c | 38303 | 1633 14887 47977 | 2147483647 33151 47 | 2.391 % |
7.36/7.45 c | 38515 | 1633 14887 47977 | 2147483647 33363 47 | 2.391 % |
7.46/7.57 c | 38749 | 1632 14887 47977 | 2147483647 33596 47 | 2.451 % |
7.66/7.75 c | 39005 | 1632 14887 47977 | 2147483647 33852 47 | 2.451 % |
7.76/7.84 c | 39286 | 1632 14887 47977 | 2147483647 34133 47 | 2.451 % |
7.96/8.04 c | 39595 | 1632 14887 47977 | 2147483647 34442 48 | 2.451 % |
8.06/8.14 c | 39934 | 1632 14887 47977 | 2147483647 34781 48 | 2.451 % |
8.26/8.32 c | 40308 | 1632 14887 47977 | 34850 35155 48 | 2.451 % |
8.46/8.57 c | 40717 | 1632 14887 47977 | 34850 29963 47 | 2.451 % |
8.66/8.80 c | 41166 | 1632 14887 47977 | 34850 30412 47 | 2.451 % |
8.96/9.01 c | 41659 | 1632 14887 47977 | 34850 30905 47 | 2.451 % |
9.26/9.37 c | 42203 | 1632 14887 47977 | 34850 31449 48 | 2.451 % |
9.66/9.71 c | 42800 | 1632 14887 47977 | 34850 32046 48 | 2.451 % |
9.66/9.72 c | 42900 | 1632 14887 47977 | 34850 32146 48 | 2.451 % |
9.66/9.75 c | 43010 | 1631 14887 47977 | 34850 32255 48 | 2.510 % |
9.76/9.80 c | 43131 | 1631 14887 47977 | 34850 32376 48 | 2.510 % |
9.76/9.90 c | 43265 | 1631 14887 47977 | 34850 32510 48 | 2.510 % |
9.86/9.96 c | 43411 | 1631 14887 47977 | 34850 32656 48 | 2.510 % |
9.96/10.06 c | 43571 | 1631 14887 47977 | 34850 32816 48 | 2.511 % |
10.06/10.16 c | 43747 | 1631 14887 47977 | 34850 32992 48 | 2.510 % |
10.16/10.29 c | 43943 | 1631 14887 47977 | 34850 33188 48 | 2.510 % |
10.26/10.40 c | 44156 | 1631 14887 47977 | 34850 33401 48 | 2.510 % |
10.46/10.57 c | 44389 | 1631 14887 47977 | 34850 33634 49 | 2.510 % |
10.56/10.65 c | 44645 | 1631 14887 47977 | 34850 33890 49 | 2.510 % |
10.66/10.78 c | 44926 | 1631 14887 47977 | 34850 34171 49 | 2.510 % |
10.86/10.98 c | 45235 | 1631 14887 47977 | 34850 34480 49 | 2.510 % |
11.05/11.12 c | 45576 | 1631 14887 47977 | 34850 34821 49 | 2.510 % |
11.25/11.39 c | 45951 | 1631 14887 47977 | 34850 35196 49 | 2.510 % |
11.45/11.57 c | 46362 | 1631 14851 47881 | 34850 28470 46 | 2.510 % |
11.75/11.82 c | 46811 | 1631 14851 47881 | 34850 28919 46 | 2.510 % |
11.96/12.02 c | 47305 | 1631 14851 47881 | 34850 29413 47 | 2.510 % |
12.15/12.27 c | 47848 | 1631 14851 47881 | 34850 29956 47 | 2.510 % |
12.45/12.51 c | 48444 | 1631 14851 47881 | 34850 30552 47 | 2.510 % |
12.75/12.81 c | 49099 | 1631 14851 47881 | 34850 31207 47 | 2.511 % |
12.75/12.88 c | 49202 | 1631 14851 47881 | 34850 31310 47 | 2.510 % |
12.85/12.95 c | 49312 | 1631 14851 47881 | 34850 31420 47 | 2.510 % |
12.95/13.02 c | 49434 | 1631 14851 47881 | 34850 31542 47 | 2.510 % |
13.06/13.11 c | 49567 | 1631 14851 47881 | 34850 31675 48 | 2.510 % |
13.16/13.21 c | 49715 | 1631 14851 47881 | 34850 31823 48 | 2.510 % |
13.16/13.25 c | 49877 | 1631 14851 47881 | 34850 31985 48 | 2.510 % |
13.35/13.44 c | 50058 | 1631 14851 47881 | 32109 32166 48 | 2.510 % |
13.45/13.51 c | 50251 | 1631 14851 47881 | 32109 26045 45 | 2.510 % |
13.45/13.59 c | 50464 | 1631 14851 47881 | 32109 26258 45 | 2.510 % |
13.65/13.73 c | 50701 | 1631 14851 47881 | 32109 26495 45 | 2.510 % |
13.75/13.85 c | 50959 | 1631 14851 47881 | 32109 26753 45 | 2.510 % |
13.85/13.99 c | 51244 | 1631 14851 47881 | 32109 27038 46 | 2.510 % |
14.05/14.17 c | 51556 | 1631 14851 47881 | 32109 27350 46 | 2.510 % |
14.25/14.38 c | 51897 | 1631 14851 47881 | 32109 27691 47 | 2.510 % |
14.45/14.60 c | 52269 | 1631 14851 47881 | 32109 28063 47 | 2.510 % |
14.65/14.79 c | 52678 | 1631 14851 47881 | 32109 28472 47 | 2.510 % |
14.85/14.97 c | 53127 | 1631 14851 47881 | 32109 28921 48 | 2.510 % |
15.05/15.17 c | 53620 | 1631 14851 47881 | 32109 29414 48 | 2.510 % |
15.25/15.34 c | 54162 | 1631 14851 47881 | 32109 29956 48 | 2.510 % |
15.45/15.56 c | 54758 | 1631 14851 47881 | 32109 30552 48 | 2.510 % |
15.85/15.93 c | 55414 | 1631 14851 47881 | 32109 31208 49 | 2.510 % |
16.25/16.30 c | 56135 | 1631 14851 47881 | 32109 31929 49 | 2.510 % |
16.25/16.37 c | 56235 | 1631 14851 47881 | 32109 32029 49 | 2.510 % |
16.35/16.46 c | 56345 | 1631 14851 47881 | 32109 32139 49 | 2.510 % |
16.45/16.56 c | 56470 | 1631 14851 47881 | 32109 32264 49 | 2.510 % |
16.55/16.65 c | 56604 | 1631 14851 47881 | 32109 26863 46 | 2.510 % |
16.65/16.71 c | 56754 | 1631 14851 47881 | 32109 27013 47 | 2.510 % |
16.75/16.82 c | 56914 | 1631 14851 47881 | 32109 27173 47 | 2.510 % |
16.75/16.88 c | 57091 | 1631 14851 47881 | 32109 27350 47 | 2.510 % |
16.95/17.01 c | 57284 | 1631 14851 47881 | 32109 27543 47 | 2.510 % |
17.05/17.12 c | 57497 | 1631 14851 47881 | 32109 27756 47 | 2.510 % |
17.15/17.24 c | 57730 | 1631 14851 47881 | 32109 27989 47 | 2.510 % |
17.25/17.37 c | 57987 | 1631 14851 47881 | 32109 28246 48 | 2.510 % |
17.45/17.50 c | 58268 | 1631 14851 47881 | 32109 28527 48 | 2.510 % |
17.55/17.65 c | 58581 | 1631 14851 47881 | 32109 28840 48 | 2.510 % |
17.65/17.75 c | 58921 | 1631 14851 47881 | 32109 29180 48 | 2.510 % |
17.75/17.80 c | 59293 | 1631 14851 47881 | 32109 29552 48 | 2.510 % |
17.85/17.99 c | 59704 | 1631 14851 47881 | 32109 29963 48 | 2.510 % |
18.15/18.25 c | 60157 | 1631 14851 47881 | 30259 30416 48 | 2.510 % |
18.45/18.55 c | 60650 | 1631 14851 47881 | 30259 25956 46 | 2.510 % |
18.65/18.75 c | 61194 | 1631 14851 47881 | 30259 26500 46 | 2.510 % |
18.85/18.97 c | 61790 | 1631 14851 47881 | 30259 27096 46 | 2.510 % |
19.25/19.32 c | 62446 | 1631 14851 47881 | 30259 27752 47 | 2.510 % |
19.45/19.56 c | 63167 | 1631 14851 47881 | 30259 28473 47 | 2.510 % |
19.75/19.83 c | 63962 | 1631 14851 47881 | 30259 29268 48 | 2.510 % |
19.75/19.86 c | 64063 | 1631 14851 47881 | 30259 29369 48 | 2.510 % |
19.84/19.90 c | 64173 | 1631 14851 47881 | 30259 29479 48 | 2.510 % |
19.84/19.99 c | 64295 | 1631 14851 47881 | 30259 29601 48 | 2.510 % |
19.94/20.06 c | 64429 | 1631 14851 47881 | 30259 29735 48 | 2.510 % |
20.05/20.17 c | 64576 | 1631 14851 47881 | 30259 29882 48 | 2.510 % |
20.15/20.27 c | 64736 | 1631 14851 47881 | 30259 30042 48 | 2.510 % |
20.25/20.37 c | 64916 | 1631 14851 47881 | 30259 30222 48 | 2.510 % |
20.45/20.55 c | 65115 | 1631 14851 47881 | 30259 25809 46 | 2.510 % |
20.55/20.65 c | 65329 | 1631 14851 47881 | 30259 26023 46 | 2.510 % |
20.65/20.75 c | 65566 | 1631 14851 47881 | 30259 26260 46 | 2.510 % |
20.76/20.89 c | 65822 | 1631 14851 47881 | 30259 26516 46 | 2.510 % |
20.86/20.99 c | 66104 | 1631 14851 47881 | 30259 26798 46 | 2.510 % |
21.05/21.18 c | 66413 | 1631 14851 47881 | 30259 27107 46 | 2.510 % |
21.25/21.34 c | 66752 | 1631 14851 47881 | 30259 27446 47 | 2.510 % |
21.45/21.55 c | 67127 | 1631 14851 47881 | 30259 27821 47 | 2.510 % |
21.55/21.66 c | 67540 | 1631 14851 47881 | 30259 28234 47 | 2.510 % |
21.85/21.97 c | 67989 | 1631 14851 47881 | 30259 28683 47 | 2.510 % |
22.15/22.26 c | 68482 | 1631 14851 47881 | 30259 29176 48 | 2.510 % |
22.35/22.48 c | 69024 | 1631 14851 47881 | 30259 29718 49 | 2.510 % |
22.75/22.85 c | 69626 | 1631 14851 47881 | 30259 30320 49 | 2.510 % |
23.15/23.25 c | 70281 | 1631 14851 47881 | 26201 26481 47 | 2.510 % |
23.35/23.48 c | 71001 | 1631 14851 47881 | 26201 23346 44 | 2.510 % |
23.75/23.81 c | 71795 | 1631 14851 47881 | 26201 24140 45 | 2.510 % |
24.05/24.19 c | 72666 | 1631 14851 47881 | 26201 25011 45 | 2.510 % |
24.15/24.23 c | 72766 | 1631 14851 47881 | 26201 25111 46 | 2.510 % |
24.15/24.28 c | 72878 | 1631 14851 47881 | 26201 25223 46 | 2.510 % |
24.25/24.34 c | 72999 | 1631 14851 47881 | 26201 25344 46 | 2.510 % |
24.25/24.39 c | 73135 | 1631 14851 47881 | 26201 25480 46 | 2.510 % |
24.35/24.45 c | 73283 | 1631 14851 47881 | 26201 25628 46 | 2.510 % |
24.35/24.48 c | 73444 | 1631 14851 47881 | 26201 25789 46 | 2.510 % |
24.45/24.59 c | 73623 | 1631 14851 47881 | 26201 25968 46 | 2.510 % |
24.55/24.67 c | 73819 | 1631 14851 47881 | 26201 26164 46 | 2.510 % |
24.65/24.77 c | 74031 | 1631 14851 47881 | 26201 26376 47 | 2.510 % |
24.75/24.89 c | 74266 | 1631 14851 47881 | 26201 23586 46 | 2.510 % |
24.85/24.99 c | 74522 | 1631 14851 47881 | 26201 23842 46 | 2.510 % |
25.05/25.16 c | 74803 | 1631 14851 47881 | 26201 24123 46 | 2.510 % |
25.15/25.29 c | 75112 | 1631 14851 47881 | 26201 24432 47 | 2.510 % |
25.35/25.44 c | 75451 | 1631 14851 47881 | 26201 24771 47 | 2.510 % |
25.45/25.58 c | 75826 | 1631 14851 47881 | 26201 25146 47 | 2.510 % |
25.75/25.80 c | 76236 | 1631 14851 47881 | 26201 25556 48 | 2.510 % |
26.05/26.10 c | 76685 | 1631 14851 47881 | 26201 26005 48 | 2.511 % |
26.35/26.42 c | 77179 | 1631 14851 47881 | 26201 23583 47 | 2.510 % |
26.45/26.58 c | 77721 | 1631 14851 47881 | 26201 24125 47 | 2.510 % |
26.75/26.84 c | 78318 | 1631 14851 47881 | 26201 24722 47 | 2.511 % |
27.05/27.15 c | 78976 | 1631 14851 47881 | 26201 25380 48 | 2.510 % |
27.25/27.33 c | 79698 | 1631 14851 47881 | 26201 26102 48 | 2.510 % |
27.74/27.81 c | 80490 | 1631 14851 47881 | 26407 23953 47 | 2.510 % |
28.14/28.21 c | 81361 | 1631 14851 47881 | 26407 24824 48 | 2.510 % |
28.64/28.75 c | 82319 | 1630 14833 47833 | 26407 25780 49 | 2.570 % |
28.74/28.81 c | 82420 | 1630 14833 47833 | 26407 25881 49 | 2.570 % |
28.74/28.89 c | 82533 | 1630 14833 47833 | 26407 25994 49 | 2.570 % |
28.84/28.94 c | 82654 | 1630 14833 47833 | 26407 26115 49 | 2.570 % |
28.94/29.02 c | 82787 | 1630 14833 47833 | 26407 26248 49 | 2.570 % |
29.04/29.10 c | 82935 | 1630 14833 47833 | 26407 26396 50 | 2.570 % |
29.04/29.19 c | 83096 | 1630 14833 47833 | 26407 26557 50 | 2.570 % |
29.24/29.31 c | 83273 | 1630 14833 47833 | 26407 23951 47 | 2.570 % |
29.24/29.39 c | 83468 | 1630 14833 47833 | 26407 24146 47 | 2.570 % |
29.44/29.53 c | 83680 | 1630 14833 47833 | 26407 24358 47 | 2.570 % |
29.55/29.61 c | 83914 | 1630 14833 47833 | 26407 24592 47 | 2.570 % |
29.65/29.73 c | 84170 | 1630 14833 47833 | 26407 24848 47 | 2.570 % |
29.74/29.86 c | 84451 | 1630 14833 47833 | 26407 25129 48 | 2.570 % |
29.94/30.03 c | 84761 | 1630 14833 47833 | 26407 25439 48 | 2.570 % |
30.14/30.20 c | 85104 | 1630 14833 47833 | 26407 25782 48 | 2.570 % |
30.34/30.42 c | 85478 | 1630 14833 47833 | 26407 26156 49 | 2.570 % |
30.44/30.59 c | 85888 | 1630 14833 47833 | 26407 26566 49 | 2.570 % |
30.75/30.88 c | 86338 | 1630 14833 47833 | 26407 24356 47 | 2.570 % |
30.94/31.07 c | 86833 | 1630 14833 47833 | 26407 24851 47 | 2.570 % |
31.14/31.25 c | 87376 | 1630 14833 47833 | 26407 25394 48 | 2.570 % |
31.44/31.54 c | 87973 | 1630 14833 47833 | 26407 25991 48 | 2.570 % |
31.75/31.83 c | 88628 | 1630 14833 47833 | 26407 23985 46 | 2.570 % |
32.04/32.16 c | 89348 | 1630 14833 47833 | 26407 24705 47 | 2.570 % |
32.34/32.49 c | 90140 | 1630 14833 47833 | 2147483647 25497 47 | 2.570 % |
32.74/32.84 c | 91012 | 1630 14833 47833 | 2147483647 26369 48 | 2.570 % |
33.24/33.37 c | 91973 | 1630 14833 47833 | 2147483647 27330 50 | 2.570 % |
33.64/33.77 c | 93026 | 1630 14833 47833 | 2147483647 28383 50 | 2.570 % |
33.74/33.86 c | 93128 | 1630 14833 47833 | 2147483647 28485 50 | 2.570 % |
33.84/33.91 c | 93239 | 1630 14833 47833 | 2147483647 28596 50 | 2.570 % |
33.84/33.98 c | 93362 | 1630 14833 47833 | 2147483647 28719 50 | 2.570 % |
33.94/34.05 c | 93497 | 1630 14833 47833 | 2147483647 28854 51 | 2.570 % |
34.04/34.15 c | 93646 | 1630 14833 47833 | 2147483647 29003 51 | 2.570 % |
34.14/34.20 c | 93808 | 1630 14833 47833 | 2147483647 29165 51 | 2.570 % |
34.24/34.32 c | 93986 | 1630 14833 47833 | 2147483647 29343 51 | 2.570 % |
34.34/34.43 c | 94181 | 1630 14833 47833 | 2147483647 29538 51 | 2.570 % |
34.44/34.52 c | 94393 | 1630 14833 47833 | 2147483647 29750 51 | 2.570 % |
34.54/34.66 c | 94626 | 1630 14833 47833 | 2147483647 29983 51 | 2.570 % |
34.74/34.80 c | 94882 | 1630 14833 47833 | 2147483647 30239 52 | 2.570 % |
34.84/34.98 c | 95163 | 1630 14833 47833 | 2147483647 30520 52 | 2.570 % |
34.94/35.10 c | 95472 | 1630 14833 47833 | 2147483647 30829 52 | 2.570 % |
35.24/35.31 c | 95812 | 1630 14833 47833 | 2147483647 31169 52 | 2.571 % |
35.34/35.49 c | 96189 | 1630 14833 47833 | 2147483647 31546 52 | 2.570 % |
35.64/35.76 c | 96599 | 1630 14833 47833 | 2147483647 31956 53 | 2.570 % |
36.03/36.14 c | 97048 | 1630 14833 47833 | 2147483647 32405 53 | 2.570 % |
36.33/36.41 c | 97542 | 1630 14833 47833 | 2147483647 32899 53 | 2.570 % |
36.73/36.84 c | 98084 | 1630 14833 47833 | 2147483647 33441 54 | 2.570 % |
37.24/37.34 c | 98680 | 1630 14833 47833 | 2147483647 34037 54 | 2.570 % |
37.53/37.66 c | 99337 | 1630 14833 47833 | 2147483647 34694 54 | 2.570 % |
38.13/38.27 c | 100057 | 1630 14833 47833 | 35358 35414 55 | 2.570 % |
38.63/38.77 c | 100849 | 1630 14833 47833 | 35358 30757 52 | 2.570 % |
39.13/39.26 c | 101723 | 1630 14833 47833 | 35358 31631 52 | 2.570 % |
39.63/39.74 c | 102681 | 1630 14833 47833 | 35358 32589 52 | 2.570 % |
40.23/40.30 c | 103734 | 1630 14833 47833 | 35358 33642 53 | 2.570 % |
41.13/41.24 c | 104895 | 1630 14833 47833 | 35358 34803 53 | 2.570 % |
41.23/41.34 c | 104995 | 1630 14833 47833 | 35358 34903 53 | 2.570 % |
41.33/41.43 c | 105105 | 1630 14833 47833 | 35358 35013 54 | 2.570 % |
41.43/41.53 c | 105227 | 1630 14833 47833 | 35358 35135 54 | 2.570 % |
41.53/41.67 c | 105360 | 1630 14833 47833 | 35358 35268 54 | 2.570 % |
41.73/41.81 c | 105506 | 1630 14833 47833 | 35358 35414 54 | 2.570 % |
41.83/41.95 c | 105667 | 1630 14833 47833 | 35358 29050 49 | 2.570 % |
41.93/42.00 c | 105844 | 1630 14833 47833 | 35358 29227 50 | 2.570 % |
41.93/42.10 c | 106037 | 1630 14833 47833 | 35358 29420 50 | 2.570 % |
42.13/42.21 c | 106249 | 1630 14833 47833 | 35358 29632 50 | 2.570 % |
42.23/42.34 c | 106483 | 1630 14833 47833 | 35358 29866 50 | 2.570 % |
42.43/42.54 c | 106739 | 1630 14833 47833 | 35358 30122 50 | 2.570 % |
42.63/42.77 c | 107023 | 1630 14833 47833 | 35358 30406 50 | 2.570 % |
42.83/42.93 c | 107332 | 1630 14833 47833 | 35358 30715 51 | 2.570 % |
43.03/43.17 c | 107672 | 1630 14833 47833 | 35358 31055 51 | 2.570 % |
43.33/43.43 c | 108047 | 1630 14833 47833 | 35358 31430 51 | 2.570 % |
43.63/43.77 c | 108456 | 1630 14833 47833 | 35358 31839 52 | 2.570 % |
44.03/44.11 c | 108905 | 1630 14833 47833 | 35358 32288 52 | 2.570 % |
44.03/44.20 c | 109399 | 1630 14833 47833 | 35358 32782 52 | 2.570 % |
44.43/44.59 c | 109942 | 1630 14833 47833 | 35358 33325 52 | 2.570 % |
44.83/44.98 c | 110540 | 1630 14833 47833 | 33383 27580 46 | 2.570 % |
45.23/45.37 c | 111196 | 1630 14833 47833 | 33383 28236 47 | 2.570 % |
45.73/45.88 c | 111916 | 1630 14833 47833 | 33383 28956 48 | 2.570 % |
46.13/46.27 c | 112708 | 1630 14833 47833 | 33383 29748 48 | 2.570 % |
46.53/46.65 c | 113579 | 1630 14833 47833 | 33383 30619 49 | 2.570 % |
47.13/47.28 c | 114538 | 1630 14833 47833 | 33383 31578 50 | 2.570 % |
48.03/48.12 c | 115591 | 1630 14833 47833 | 33383 32631 50 | 2.570 % |
48.93/49.06 c | 116750 | 1630 14833 47833 | 33383 27696 47 | 2.570 % |
49.73/49.88 c | 118025 | 1630 14833 47833 | 33383 28971 48 | 2.570 % |
49.83/49.95 c | 118126 | 1630 14833 47833 | 33383 29072 49 | 2.570 % |
49.93/50.02 c | 118239 | 1630 14833 47833 | 33383 29185 49 | 2.570 % |
50.03/50.13 c | 118360 | 1630 14833 47833 | 33383 29306 49 | 2.570 % |
50.03/50.19 c | 118494 | 1630 14833 47833 | 33383 29440 49 | 2.570 % |
50.22/50.30 c | 118640 | 1630 14833 47833 | 33383 29586 49 | 2.570 % |
50.32/50.40 c | 118803 | 1630 14833 47833 | 33383 29749 49 | 2.570 % |
50.43/50.56 c | 118981 | 1630 14833 47833 | 33383 29927 49 | 2.570 % |
50.53/50.69 c | 119174 | 1630 14833 47833 | 33383 30120 49 | 2.570 % |
50.72/50.84 c | 119387 | 1630 14833 47833 | 33383 30333 50 | 2.570 % |
50.82/50.95 c | 119621 | 1630 14833 47833 | 33383 30567 50 | 2.570 % |
51.02/51.11 c | 119878 | 1630 14833 47833 | 33383 30824 50 | 2.571 % |
51.22/51.32 c | 120162 | 1630 14833 47833 | 30946 31108 50 | 2.570 % |
51.42/51.50 c | 120473 | 1630 14833 47833 | 30946 25904 46 | 2.570 % |
51.53/51.63 c | 120812 | 1630 14833 47833 | 30946 26243 47 | 2.570 % |
51.63/51.77 c | 121184 | 1630 14833 47833 | 30946 26615 47 | 2.570 % |
51.92/52.02 c | 121595 | 1630 14833 47833 | 30946 27026 48 | 2.570 % |
52.12/52.28 c | 122045 | 1630 14833 47833 | 30946 27476 48 | 2.570 % |
52.52/52.61 c | 122540 | 1630 14833 47833 | 30946 27971 48 | 2.570 % |
52.73/52.89 c | 123082 | 1630 14833 47833 | 30946 28513 49 | 2.570 % |
53.22/53.30 c | 123678 | 1630 14833 47833 | 30946 29109 49 | 2.570 % |
53.52/53.67 c | 124334 | 1630 14833 47833 | 30946 29765 50 | 2.570 % |
54.02/54.19 c | 125056 | 1630 14833 47833 | 30946 30487 50 | 2.570 % |
54.52/54.63 c | 125848 | 1630 14833 47833 | 30946 25997 47 | 2.570 % |
55.12/55.23 c | 126719 | 1630 14833 47833 | 30946 26868 48 | 2.570 % |
55.72/55.82 c | 127677 | 1630 14833 47833 | 30946 27826 49 | 2.570 % |
56.22/56.38 c | 128730 | 1630 14833 47833 | 30946 28879 49 | 2.570 % |
56.92/57.05 c | 129890 | 1630 14833 47833 | 30946 30039 50 | 2.570 % |
57.52/57.68 c | 131164 | 1630 14833 47833 | 30149 26347 47 | 2.570 % |
58.22/58.35 c | 132566 | 1630 14833 47833 | 30149 27749 48 | 2.572 % |
58.32/58.43 c | 132668 | 1630 14833 47833 | 30149 27851 48 | 2.570 % |
58.32/58.49 c | 132780 | 1630 14833 47833 | 30149 27963 48 | 2.570 % |
58.42/58.56 c | 132902 | 1630 14833 47833 | 30149 28085 48 | 2.570 % |
58.52/58.64 c | 133038 | 1630 14833 47833 | 30149 28221 49 | 2.570 % |
58.62/58.70 c | 133184 | 1630 14833 47833 | 30149 28367 49 | 2.570 % |
58.72/58.81 c | 133346 | 1630 14833 47833 | 30149 28529 49 | 2.570 % |
58.82/58.95 c | 133523 | 1630 14833 47833 | 30149 28706 49 | 2.570 % |
59.02/59.10 c | 133719 | 1630 14833 47833 | 30149 28902 49 | 2.570 % |
59.12/59.22 c | 133932 | 1630 14833 47833 | 30149 29115 49 | 2.570 % |
59.22/59.36 c | 134165 | 1628 14816 47789 | 30149 29343 49 | 2.690 % |
59.32/59.48 c | 134422 | 1628 14816 47789 | 30149 29600 50 | 2.690 % |
59.51/59.68 c | 134703 | 1628 14816 47789 | 30149 29881 50 | 2.690 % |
59.71/59.82 c | 135013 | 1628 14816 47789 | 30149 30191 50 | 2.690 % |
60.01/60.12 c | 135352 | 1628 14816 47789 | 30149 25797 46 | 2.690 % |
60.11/60.24 c | 135724 | 1628 14816 47789 | 30149 26169 46 | 2.690 % |
60.32/60.45 c | 136133 | 1628 14816 47789 | 30149 26578 47 | 2.690 % |
60.51/60.69 c | 136584 | 1628 14816 47789 | 30149 27029 47 | 2.690 % |
60.91/61.03 c | 137079 | 1628 14816 47789 | 30149 27524 48 | 2.690 % |
61.31/61.43 c | 137622 | 1628 14816 47789 | 30149 28067 48 | 2.690 % |
61.61/61.76 c | 138220 | 1628 14816 47789 | 30149 28665 49 | 2.690 % |
62.01/62.16 c | 138875 | 1628 14816 47789 | 30149 29320 50 | 2.690 % |
62.41/62.58 c | 139595 | 1628 14816 47789 | 30149 30040 50 | 2.690 % |
63.01/63.10 c | 140389 | 1628 14816 47789 | 30445 26231 47 | 2.690 % |
63.62/63.71 c | 141261 | 1628 14816 47789 | 30445 27103 49 | 2.690 % |
64.21/64.32 c | 142220 | 1628 14816 47789 | 30445 28062 49 | 2.690 % |
64.72/64.86 c | 143276 | 1628 14816 47789 | 30445 29118 50 | 2.690 % |
65.41/65.54 c | 144434 | 1628 14799 47745 | 30445 30269 51 | 2.690 % |
66.21/66.33 c | 145707 | 1628 14799 47745 | 30445 27140 49 | 2.690 % |
66.92/67.02 c | 147108 | 1627 14799 47745 | 30445 28540 49 | 2.750 % |
67.81/67.94 c | 148651 | 1627 14799 47745 | 30445 30083 50 | 2.750 % |
67.91/68.00 c | 148754 | 1627 14799 47745 | 30445 30186 50 | 2.750 % |
67.91/68.09 c | 148864 | 1627 14799 47745 | 30445 30296 51 | 2.750 % |
68.01/68.17 c | 148985 | 1627 14799 47745 | 30445 30417 51 | 2.750 % |
68.11/68.29 c | 149121 | 1627 14799 47745 | 30445 30553 51 | 2.750 % |
68.31/68.42 c | 149267 | 1627 14799 47745 | 30445 26233 48 | 2.750 % |
68.41/68.50 c | 149428 | 1627 14799 47745 | 30445 26394 48 | 2.750 % |
68.51/68.63 c | 149610 | 1627 14799 47745 | 30445 26576 48 | 2.750 % |
68.61/68.71 c | 149803 | 1627 14799 47745 | 30445 26769 48 | 2.750 % |
68.71/68.84 c | 150015 | 1627 14799 47745 | 26967 26981 49 | 2.750 % |
68.81/68.94 c | 150248 | 1627 14799 47745 | 26967 27214 49 | 2.750 % |
68.81/68.97 c | 150504 | 1627 14799 47745 | 26967 23660 45 | 2.750 % |
68.91/69.05 c | 150785 | 1627 14799 47745 | 26967 23941 45 | 2.750 % |
69.01/69.18 c | 151094 | 1627 14799 47745 | 26967 24250 45 | 2.750 % |
69.11/69.27 c | 151433 | 1627 14799 47745 | 26967 24589 45 | 2.750 % |
69.31/69.47 c | 151806 | 1627 14799 47745 | 26967 24962 46 | 2.750 % |
69.51/69.67 c | 152216 | 1627 14799 47745 | 26967 25372 46 | 2.750 % |
69.81/69.95 c | 152665 | 1627 14799 47745 | 26967 25821 47 | 2.750 % |
70.01/70.15 c | 153158 | 1627 14799 47745 | 26967 26314 47 | 2.750 % |
70.31/70.49 c | 153700 | 1627 14781 47697 | 26967 26853 47 | 2.750 % |
70.71/70.86 c | 154297 | 1627 14781 47697 | 26967 24641 45 | 2.750 % |
71.01/71.19 c | 154953 | 1627 14781 47697 | 26967 25297 45 | 2.750 % |
71.41/71.52 c | 155674 | 1627 14781 47697 | 26967 26018 46 | 2.750 % |
71.71/71.86 c | 156469 | 1627 14781 47697 | 26967 26813 47 | 2.750 % |
72.21/72.35 c | 157340 | 1627 14781 47697 | 26967 24961 45 | 2.750 % |
72.71/72.80 c | 158300 | 1627 14781 47697 | 26967 25921 46 | 2.750 % |
73.20/73.35 c | 159353 | 1627 14781 47697 | 26967 26974 47 | 2.750 % |
73.90/74.03 c | 160515 | 1627 14781 47697 | 2147483647 25404 47 | 2.750 % |
74.61/74.77 c | 161788 | 1627 14781 47697 | 2147483647 26677 49 | 2.750 % |
75.30/75.42 c | 163188 | 1627 14781 47697 | 2147483647 28077 50 | 2.750 % |
76.20/76.32 c | 164728 | 1627 14781 47697 | 2147483647 29617 51 | 2.750 % |
77.30/77.46 c | 166422 | 1627 14781 47697 | 2147483647 31311 53 | 2.750 % |
77.40/77.53 c | 166522 | 1627 14781 47697 | 2147483647 31411 53 | 2.750 % |
77.50/77.63 c | 166633 | 1627 14781 47697 | 2147483647 31522 53 | 2.750 % |
77.60/77.72 c | 166754 | 1627 14781 47697 | 2147483647 31643 53 | 2.750 % |
77.70/77.84 c | 166887 | 1627 14781 47697 | 2147483647 31776 53 | 2.750 % |
77.80/77.94 c | 167034 | 1627 14781 47697 | 2147483647 31923 53 | 2.750 % |
78.00/78.11 c | 167196 | 1627 14781 47697 | 2147483647 32085 53 | 2.750 % |
78.00/78.15 c | 167372 | 1627 14781 47697 | 2147483647 32261 54 | 2.750 % |
78.20/78.35 c | 167567 | 1627 14781 47697 | 2147483647 32456 54 | 2.750 % |
78.40/78.55 c | 167779 | 1627 14781 47697 | 2147483647 32668 54 | 2.750 % |
78.60/78.75 c | 168012 | 1627 14781 47697 | 2147483647 32901 54 | 2.750 % |
78.80/78.91 c | 168268 | 1627 14781 47697 | 2147483647 33157 54 | 2.750 % |
79.00/79.13 c | 168550 | 1627 14781 47697 | 2147483647 33439 55 | 2.750 % |
79.30/79.47 c | 168862 | 1627 14781 47697 | 2147483647 33751 55 | 2.750 % |
79.50/79.61 c | 169201 | 1627 14781 47697 | 2147483647 34090 55 | 2.750 % |
79.80/79.92 c | 169574 | 1627 14781 47697 | 2147483647 34463 55 | 2.750 % |
80.10/80.26 c | 169983 | 1627 14781 47697 | 2147483647 34872 56 | 2.750 % |
80.40/80.57 c | 170433 | 1627 14781 47697 | 34892 30511 53 | 2.750 % |
80.80/80.92 c | 170927 | 1627 14781 47697 | 34892 31005 53 | 2.750 % |
81.10/81.30 c | 171469 | 1627 14781 47697 | 34892 31547 53 | 2.751 % |
81.49/81.68 c | 172068 | 1626 14768 47665 | 34892 32143 54 | 2.809 % |
81.89/82.08 c | 172727 | 1626 14768 47665 | 34892 32802 54 | 2.809 % |
82.49/82.63 c | 173452 | 1626 14768 47665 | 34892 33527 55 | 2.809 % |
82.99/83.18 c | 174244 | 1626 14768 47665 | 34892 34319 56 | 2.809 % |
83.59/83.74 c | 175115 | 1626 14768 47665 | 34892 35190 56 | 2.809 % |
84.09/84.27 c | 176075 | 1626 14768 47665 | 34892 30880 53 | 2.809 % |
84.99/85.18 c | 177128 | 1626 14768 47665 | 34892 31933 54 | 2.809 % |
85.70/85.85 c | 178287 | 1626 14768 47665 | 34892 33092 55 | 2.809 % |
86.70/86.84 c | 179562 | 1626 14768 47665 | 34892 34367 56 | 2.809 % |
87.49/87.64 c | 180962 | 1626 14768 47665 | 34808 30216 52 | 2.809 % |
88.09/88.29 c | 182502 | 1626 14768 47665 | 34808 31756 53 | 2.809 % |
88.99/89.14 c | 184197 | 1626 14768 47665 | 34808 33451 55 | 2.809 % |
90.69/90.88 c | 186060 | 1626 14768 47665 | 34808 29977 52 | 2.809 % |
90.79/90.99 c | 186163 | 1626 14768 47665 | 34808 30080 52 | 2.810 % |
90.89/91.03 c | 186277 | 1626 14768 47665 | 34808 30194 52 | 2.809 % |
90.89/91.05 c | 186398 | 1626 14768 47665 | 34808 30315 52 | 2.809 % |
90.99/91.14 c | 186531 | 1626 14768 47665 | 34808 30448 52 | 2.809 % |
91.09/91.23 c | 186677 | 1626 14768 47665 | 34808 30594 52 | 2.809 % |
91.19/91.37 c | 186837 | 1626 14768 47665 | 34808 30754 52 | 2.809 % |
91.29/91.47 c | 187014 | 1626 14768 47665 | 34808 30931 52 | 2.809 % |
91.49/91.62 c | 187207 | 1626 14768 47665 | 34808 31124 52 | 2.809 % |
91.59/91.74 c | 187419 | 1626 14768 47665 | 34808 31336 53 | 2.809 % |
91.69/91.89 c | 187653 | 1626 14768 47665 | 34808 31570 53 | 2.809 % |
91.89/92.05 c | 187909 | 1626 14768 47665 | 34808 31826 53 | 2.809 % |
92.09/92.20 c | 188190 | 1626 14768 47665 | 34808 32107 53 | 2.809 % |
92.19/92.36 c | 188499 | 1626 14768 47665 | 34808 32416 53 | 2.809 % |
92.39/92.55 c | 188838 | 1626 14768 47665 | 34808 32755 53 | 2.809 % |
92.69/92.81 c | 189213 | 1626 14768 47665 | 34808 33130 53 | 2.810 % |
92.99/93.13 c | 189623 | 1626 14768 47665 | 34808 33540 54 | 2.810 % |
93.29/93.42 c | 190072 | 1626 14768 47665 | 33917 33989 54 | 2.809 % |
93.69/93.83 c | 190566 | 1626 14768 47665 | 33917 28884 50 | 2.809 % |
94.09/94.24 c | 191108 | 1626 14768 47665 | 33917 29426 50 | 2.809 % |
94.49/94.61 c | 191705 | 1626 14768 47665 | 33917 30023 51 | 2.809 % |
94.79/95.00 c | 192360 | 1626 14768 47665 | 33917 30678 52 | 2.809 % |
95.29/95.49 c | 193080 | 1626 14768 47665 | 33917 31398 52 | 2.810 % |
96.09/96.21 c | 193872 | 1626 14768 47665 | 33917 32190 53 | 2.809 % |
96.79/96.95 c | 194743 | 1626 14768 47665 | 33917 33061 54 | 2.809 % |
97.49/97.65 c | 195702 | 1626 14768 47665 | 33917 34020 54 | 2.809 % |
97.99/98.12 c | 196757 | 1626 14768 47665 | 33917 29267 50 | 2.809 % |
98.79/98.94 c | 197917 | 1624 14754 47631 | 33917 30420 50 | 2.929 % |
99.78/99.97 c | 199190 | 1624 14754 47631 | 33917 31693 52 | 2.929 % |
100.68/100.80 c | 200590 | 1624 14754 47631 | 32503 27448 47 | 2.929 % |
101.48/101.63 c | 202130 | 1624 14754 47631 | 32503 28988 49 | 2.929 % |
102.58/102.76 c | 203826 | 1624 14754 47631 | 32503 30684 51 | 2.929 % |
104.08/104.23 c | 205690 | 1624 14754 47631 | 32503 32548 54 | 2.929 % |
105.58/105.72 c | 207739 | 1624 14736 47583 | 32503 29322 52 | 2.929 % |
105.58/105.79 c | 207840 | 1624 14736 47583 | 32503 29423 53 | 2.929 % |
105.68/105.87 c | 207950 | 1624 14736 47583 | 32503 29533 53 | 2.929 % |
105.78/105.94 c | 208074 | 1624 14736 47583 | 32503 29657 53 | 2.929 % |
105.88/106.03 c | 208210 | 1624 14736 47583 | 32503 29793 53 | 2.929 % |
105.98/106.12 c | 208357 | 1624 14736 47583 | 32503 29940 53 | 2.929 % |
106.08/106.27 c | 208517 | 1624 14736 47583 | 32503 30100 53 | 2.929 % |
106.18/106.35 c | 208693 | 1624 14736 47583 | 32503 30276 53 | 2.929 % |
106.38/106.52 c | 208887 | 1624 14736 47583 | 32503 30470 53 | 2.929 % |
106.49/106.67 c | 209099 | 1624 14736 47583 | 32503 30682 53 | 2.929 % |
106.68/106.89 c | 209332 | 1624 14736 47583 | 32503 30915 54 | 2.929 % |
106.98/107.11 c | 209590 | 1624 14736 47583 | 32503 31173 54 | 2.929 % |
107.18/107.38 c | 209872 | 1624 14736 47583 | 32503 31455 54 | 2.929 % |
107.48/107.63 c | 210181 | 1624 14736 47583 | 31583 31764 54 | 2.929 % |
107.69/107.89 c | 210521 | 1624 14736 47583 | 31583 27066 51 | 2.929 % |
107.98/108.17 c | 210894 | 1624 14736 47583 | 31583 27439 51 | 2.929 % |
108.28/108.42 c | 211305 | 1623 14736 47583 | 31583 27849 52 | 2.989 % |
108.58/108.79 c | 211754 | 1623 14736 47583 | 31583 28298 52 | 2.989 % |
108.98/109.14 c | 212247 | 1623 14736 47583 | 31583 28791 53 | 2.989 % |
109.28/109.44 c | 212791 | 1623 14736 47583 | 31583 29335 53 | 2.989 % |
109.68/109.84 c | 213389 | 1623 14736 47583 | 31583 29933 54 | 2.989 % |
110.08/110.27 c | 214045 | 1623 14736 47583 | 31583 30589 54 | 2.989 % |
110.68/110.85 c | 214765 | 1623 14736 47583 | 31583 31309 55 | 2.989 % |
111.28/111.43 c | 215559 | 1623 14736 47583 | 31583 27067 52 | 2.989 % |
111.98/112.12 c | 216436 | 1623 14719 47524 | 31583 27941 54 | 2.989 % |
112.58/112.74 c | 217395 | 1623 14719 47524 | 31583 28900 54 | 2.989 % |
113.18/113.35 c | 218448 | 1623 14719 47524 | 31583 29953 55 | 2.989 % |
113.88/114.08 c | 219609 | 1623 14719 47524 | 31583 31114 56 | 2.989 % |
114.98/115.19 c | 220882 | 1623 14719 47524 | 31505 27176 50 | 2.989 % |
115.68/115.89 c | 222283 | 1623 14719 47524 | 31505 28577 51 | 2.989 % |
116.68/116.86 c | 223823 | 1623 14719 47524 | 31505 30117 53 | 2.989 % |
117.58/117.78 c | 225517 | 1623 14719 47524 | 31505 31811 54 | 2.989 % |
118.68/118.83 c | 227381 | 1623 14719 47524 | 31505 28917 52 | 2.989 % |
119.97/120.11 c | 229433 | 1623 14719 47524 | 31505 30969 54 | 2.989 % |
121.27/121.43 c | 231687 | 1623 14719 47524 | 31536 28847 52 | 2.989 % |
121.37/121.51 c | 231788 | 1623 14719 47524 | 31536 28948 52 | 2.989 % |
121.47/121.60 c | 231898 | 1623 14719 47524 | 31536 29058 52 | 2.989 % |
121.47/121.69 c | 232019 | 1623 14719 47524 | 31536 29179 52 | 2.989 % |
121.57/121.78 c | 232152 | 1623 14719 47524 | 31536 29312 53 | 2.989 % |
121.67/121.85 c | 232300 | 1623 14719 47524 | 31536 29460 53 | 2.989 % |
121.77/121.94 c | 232462 | 1623 14719 47524 | 31536 29622 53 | 2.989 % |
121.87/122.07 c | 232638 | 1623 14719 47524 | 31536 29798 53 | 2.989 % |
121.97/122.18 c | 232832 | 1623 14719 47524 | 31536 29992 53 | 2.989 % |
122.17/122.36 c | 233044 | 1623 14719 47524 | 31536 30204 53 | 2.989 % |
122.37/122.60 c | 233283 | 1623 14719 47524 | 31536 30443 54 | 2.989 % |
122.57/122.77 c | 233541 | 1623 14719 47524 | 31536 30701 54 | 2.989 % |
122.87/123.01 c | 233825 | 1623 14719 47524 | 31536 30985 54 | 2.989 % |
123.16/123.30 c | 234137 | 1623 14719 47524 | 31536 31297 54 | 2.989 % |
123.36/123.58 c | 234479 | 1623 14719 47524 | 31536 31639 55 | 2.989 % |
123.66/123.81 c | 234851 | 1623 14719 47524 | 31536 27435 51 | 2.989 % |
123.86/124.07 c | 235260 | 1623 14719 47524 | 31536 27844 51 | 2.989 % |
124.26/124.45 c | 235711 | 1623 14719 47524 | 31536 28295 52 | 2.989 % |
124.56/124.75 c | 236205 | 1623 14719 47524 | 31536 28789 52 | 2.989 % |
124.96/125.14 c | 236747 | 1623 14719 47524 | 31536 29331 53 | 2.989 % |
125.36/125.53 c | 237345 | 1623 14719 47524 | 31536 29929 53 | 2.989 % |
125.86/126.01 c | 238000 | 1623 14719 47524 | 31536 30584 54 | 2.989 % |
126.46/126.62 c | 238724 | 1623 14719 47524 | 31536 31308 55 | 2.989 % |
126.86/127.08 c | 239517 | 1623 14719 47524 | 31536 27552 52 | 2.989 % |
127.47/127.67 c | 240389 | 1623 14719 47524 | 28037 24468 48 | 2.989 % |
128.06/128.30 c | 241349 | 1623 14719 47524 | 28037 25428 49 | 2.989 % |
128.66/128.89 c | 242405 | 1623 14719 47524 | 28037 26484 50 | 2.989 % |
129.46/129.65 c | 243564 | 1623 14719 47524 | 28037 27643 51 | 2.989 % |
130.36/130.53 c | 244838 | 1623 14719 47524 | 28037 25462 49 | 2.989 % |
131.06/131.23 c | 246238 | 1623 14719 47524 | 28037 26862 51 | 2.989 % |
131.66/131.89 c | 247780 | 1623 14719 47524 | 28037 28404 52 | 2.989 % |
132.56/132.73 c | 249475 | 1623 14719 47524 | 28037 27113 51 | 2.989 % |
133.76/133.99 c | 251341 | 1623 14719 47524 | 2147483647 28979 52 | 2.989 % |
135.06/135.27 c | 253390 | 1623 14719 47524 | 2147483647 31028 54 | 2.989 % |
136.46/136.62 c | 255643 | 1623 14719 47524 | 2147483647 33281 55 | 2.989 % |
138.66/138.82 c | 258121 | 1623 14719 47524 | 2147483647 35759 57 | 2.989 % |
138.76/138.91 c | 258224 | 1623 14719 47524 | 2147483647 35862 57 | 2.989 % |
138.87/139.04 c | 258334 | 1623 14719 47524 | 2147483647 35972 57 | 2.989 % |
138.97/139.13 c | 258456 | 1623 14719 47524 | 2147483647 36094 57 | 2.989 % |
139.06/139.28 c | 258589 | 1623 14719 47524 | 2147483647 36227 57 | 2.989 % |
139.26/139.48 c | 258736 | 1623 14719 47524 | 2147483647 36374 57 | 2.989 % |
139.36/139.58 c | 258896 | 1623 14719 47524 | 2147483647 36534 57 | 2.989 % |
139.36/139.60 c | 259072 | 1623 14719 47524 | 2147483647 36710 57 | 2.989 % |
139.47/139.65 c | 259268 | 1622 14702 47478 | 2147483647 36901 57 | 3.048 % |
139.66/139.86 c | 259480 | 1622 14702 47478 | 2147483647 37113 57 | 3.048 % |
139.96/140.10 c | 259713 | 1622 14702 47478 | 2147483647 37346 57 | 3.048 % |
140.16/140.37 c | 259969 | 1622 14702 47478 | 2147483647 37602 57 | 3.048 % |
140.46/140.62 c | 260253 | 1622 14702 47478 | 37637 37886 57 | 3.048 % |
140.67/140.83 c | 260562 | 1622 14702 47478 | 37637 31633 52 | 3.048 % |
140.96/141.14 c | 260905 | 1622 14702 47478 | 37637 31976 52 | 3.048 % |
141.16/141.38 c | 261277 | 1622 14702 47478 | 37637 32348 52 | 3.048 % |
141.46/141.63 c | 261686 | 1622 14702 47478 | 37637 32757 53 | 3.048 % |
141.86/142.02 c | 262139 | 1622 14702 47478 | 37637 33210 53 | 3.048 % |
142.16/142.37 c | 262632 | 1622 14702 47478 | 37637 33703 53 | 3.048 % |
142.66/142.88 c | 263175 | 1622 14702 47478 | 37637 34246 53 | 3.048 % |
143.16/143.34 c | 263773 | 1622 14702 47478 | 37637 34844 54 | 3.048 % |
143.56/143.75 c | 264428 | 1622 14702 47478 | 37637 35499 54 | 3.048 % |
144.16/144.35 c | 265148 | 1622 14702 47478 | 37637 36219 55 | 3.048 % |
144.96/145.10 c | 265942 | 1622 14702 47478 | 37637 37013 55 | 3.048 % |
145.56/145.75 c | 266814 | 1622 14702 47478 | 37637 37885 55 | 3.048 % |
146.16/146.39 c | 267772 | 1622 14702 47478 | 37637 31504 50 | 3.048 % |
146.96/147.16 c | 268827 | 1622 14702 47478 | 37637 32559 51 | 3.048 % |
147.96/148.10 c | 269985 | 1622 14702 47478 | 37637 33717 52 | 3.048 % |
148.76/148.99 c | 271259 | 1622 14702 47478 | 33732 28515 47 | 3.049 % |
149.76/149.95 c | 272659 | 1622 14702 47478 | 33732 29915 49 | 3.048 % |
150.66/150.82 c | 274199 | 1622 14702 47478 | 33732 31455 50 | 3.048 % |
151.96/152.14 c | 275893 | 1622 14702 47478 | 33732 33149 52 | 3.048 % |
153.05/153.22 c | 277756 | 1622 14702 47478 | 33732 29941 50 | 3.048 % |
154.25/154.49 c | 279805 | 1622 14702 47478 | 33732 31990 50 | 3.048 % |
155.65/155.83 c | 282058 | 1622 14702 47478 | 32187 29180 48 | 3.048 % |
157.35/157.53 c | 284540 | 1622 14702 47478 | 32187 31662 51 | 3.048 % |
158.75/158.91 c | 287265 | 1622 14702 47478 | 32187 29936 50 | 3.048 % |
158.75/158.97 c | 287367 | 1622 14702 47478 | 32187 30038 50 | 3.048 % |
158.85/159.06 c | 287479 | 1622 14702 47478 | 32187 30150 50 | 3.048 % |
158.95/159.12 c | 287601 | 1622 14702 47478 | 32187 30272 50 | 3.048 % |
158.95/159.16 c | 287735 | 1622 14702 47478 | 32187 30406 50 | 3.048 % |
159.05/159.25 c | 287881 | 1622 14702 47478 | 32187 30552 50 | 3.048 % |
159.15/159.36 c | 288042 | 1622 14702 47478 | 32187 30713 50 | 3.048 % |
159.36/159.52 c | 288219 | 1622 14702 47478 | 32187 30890 50 | 3.048 % |
159.45/159.65 c | 288415 | 1622 14702 47478 | 32187 31086 51 | 3.048 % |
159.55/159.70 c | 288630 | 1622 14702 47478 | 32187 31301 51 | 3.049 % |
159.65/159.88 c | 288863 | 1622 14702 47478 | 32187 31534 51 | 3.048 % |
159.85/160.01 c | 289119 | 1622 14702 47478 | 32187 31790 51 | 3.048 % |
160.05/160.22 c | 289403 | 1622 14702 47478 | 32187 32074 51 | 3.048 % |
160.25/160.50 c | 289713 | 1622 14702 47478 | 32187 32384 51 | 3.048 % |
160.55/160.75 c | 290052 | 1622 14702 47478 | 28234 28285 48 | 3.048 % |
160.75/160.96 c | 290426 | 1622 14702 47478 | 28234 24831 45 | 3.048 % |
161.05/161.21 c | 290836 | 1622 14702 47478 | 28234 25241 46 | 3.048 % |
161.25/161.47 c | 291288 | 1622 14702 47478 | 28234 25693 46 | 3.048 % |
161.55/161.78 c | 291782 | 1622 14702 47478 | 28234 26187 47 | 3.049 % |
161.95/162.17 c | 292329 | 1622 14702 47478 | 28234 26734 47 | 3.048 % |
162.35/162.55 c | 292925 | 1622 14702 47478 | 28234 27330 48 | 3.048 % |
162.85/163.05 c | 293582 | 1622 14702 47478 | 28234 27987 49 | 3.048 % |
163.35/163.58 c | 294302 | 1622 14702 47478 | 28234 25191 47 | 3.048 % |
163.85/164.02 c | 295094 | 1622 14702 47478 | 28234 25983 48 | 3.048 % |
164.45/164.65 c | 295965 | 1622 14702 47478 | 28234 26854 49 | 3.048 % |
165.15/165.32 c | 296923 | 1622 14702 47478 | 28234 27812 50 | 3.048 % |
165.75/165.95 c | 297979 | 1622 14702 47478 | 28234 25566 48 | 3.048 % |
166.25/166.45 c | 299141 | 1622 14702 47478 | 28234 26728 49 | 3.048 % |
166.55/166.74 c | 300414 | 1620 14685 47432 | 27583 27997 48 | 3.168 % |
167.34/167.50 c | 301814 | 1620 14685 47432 | 27583 26088 45 | 3.168 % |
168.05/168.25 c | 303354 | 1620 14685 47432 | 27583 27628 47 | 3.168 % |
169.04/169.20 c | 305050 | 1620 14685 47432 | 27583 26312 47 | 3.168 % |
170.35/170.53 c | 306914 | 1620 14685 47432 | 27583 25260 46 | 3.168 % |
171.64/171.88 c | 308964 | 1620 14685 47432 | 27583 27310 48 | 3.168 % |
172.84/173.10 c | 311219 | 1620 14667 47384 | 2147483647 26773 48 | 3.168 % |
174.44/174.63 c | 313698 | 1620 14667 47384 | 2147483647 29252 49 | 3.168 % |
175.54/175.73 c | 316423 | 1620 14667 47384 | 2147483647 31977 51 | 3.168 % |
177.64/177.87 c | 319420 | 1620 14667 47384 | 2147483647 34974 53 | 3.168 % |
177.74/177.95 c | 319522 | 1620 14667 47384 | 2147483647 35076 53 | 3.168 % |
177.84/178.07 c | 319632 | 1620 14667 47384 | 2147483647 35186 54 | 3.168 % |
177.94/178.20 c | 319753 | 1620 14667 47384 | 2147483647 35307 54 | 3.168 % |
178.14/178.32 c | 319887 | 1620 14667 47384 | 2147483647 35441 54 | 3.168 % |
178.14/178.39 c | 320033 | 1620 14667 47384 | 35556 35587 54 | 3.168 % |
178.34/178.57 c | 320193 | 1620 14667 47384 | 35556 35747 54 | 3.168 % |
178.54/178.73 c | 320372 | 1620 14667 47384 | 35556 30862 51 | 3.168 % |
178.64/178.87 c | 320566 | 1620 14667 47384 | 35556 31056 52 | 3.168 % |
178.84/179.04 c | 320778 | 1620 14667 47384 | 35556 31268 52 | 3.168 % |
179.04/179.25 c | 321011 | 1620 14667 47384 | 35556 31501 52 | 3.168 % |
179.24/179.47 c | 321267 | 1620 14667 47384 | 35556 31757 52 | 3.168 % |
179.34/179.58 c | 321549 | 1620 14667 47384 | 35556 32039 53 | 3.168 % |
179.64/179.83 c | 321861 | 1620 14667 47384 | 35556 32351 53 | 3.168 % |
179.74/179.92 c | 322200 | 1620 14667 47384 | 35556 32690 53 | 3.168 % |
179.83/180.09 c | 322572 | 1620 14667 47384 | 35556 33062 53 | 3.168 % |
180.14/180.40 c | 322983 | 1620 14667 47384 | 35556 33473 53 | 3.168 % |
180.43/180.69 c | 323433 | 1620 14667 47384 | 35556 33923 54 | 3.168 % |
180.73/180.93 c | 323927 | 1620 14667 47384 | 35556 34417 54 | 3.168 % |
181.13/181.39 c | 324470 | 1620 14667 47384 | 35556 34960 54 | 3.168 % |
181.63/181.85 c | 325068 | 1620 14667 47384 | 35556 35558 55 | 3.168 % |
182.13/182.36 c | 325723 | 1620 14667 47384 | 35556 30791 51 | 3.168 % |
182.73/182.93 c | 326445 | 1620 14667 47384 | 35556 31513 51 | 3.168 % |
183.13/183.30 c | 327237 | 1620 14667 47384 | 35556 32305 52 | 3.168 % |
183.63/183.80 c | 328112 | 1620 14667 47384 | 35556 33180 52 | 3.168 % |
184.33/184.58 c | 329073 | 1620 14667 47384 | 35556 34141 53 | 3.168 % |
185.23/185.46 c | 330127 | 1620 14667 47384 | 35072 35195 54 | 3.168 % |
186.13/186.30 c | 331285 | 1620 14667 47384 | 35072 30669 50 | 3.168 % |
186.83/187.06 c | 332561 | 1620 14667 47384 | 35072 31945 52 | 3.168 % |
188.13/188.30 c | 333961 | 1620 14667 47384 | 35072 33345 54 | 3.168 % |
189.53/189.76 c | 335501 | 1620 14667 47384 | 35072 34885 55 | 3.168 % |
190.23/190.48 c | 337195 | 1619 14653 47350 | 35072 30810 51 | 3.228 % |
191.33/191.53 c | 339058 | 1619 14653 47350 | 35072 32673 53 | 3.228 % |
193.22/193.40 c | 341107 | 1619 14653 47350 | 33617 29089 50 | 3.228 % |
194.93/195.15 c | 343362 | 1619 14653 47350 | 33617 31344 53 | 3.228 % |
196.92/197.12 c | 345840 | 1619 14653 47350 | 33617 33822 55 | 3.228 % |
198.83/199.10 c | 348565 | 1619 14653 47350 | 33617 31016 55 | 3.228 % |
201.03/201.28 c | 351562 | 1619 14653 47350 | 32453 28739 54 | 3.228 % |
203.23/203.48 c | 354858 | 1619 14653 47350 | 32453 32035 58 | 3.228 % |
203.33/203.57 c | 354960 | 1619 14653 47350 | 32453 32137 58 | 3.228 % |
203.42/203.67 c | 355073 | 1619 14653 47350 | 32453 32250 58 | 3.228 % |
203.52/203.79 c | 355194 | 1619 14653 47350 | 32453 32371 58 | 3.228 % |
203.72/203.90 c | 355327 | 1619 14653 47350 | 32453 32504 58 | 3.228 % |
203.82/204.04 c | 355473 | 1619 14653 47350 | 32453 32650 58 | 3.228 % |
203.82/204.09 c | 355634 | 1619 14653 47350 | 32453 27942 56 | 3.228 % |
203.92/204.11 c | 355810 | 1619 14653 47350 | 32453 28118 55 | 3.228 % |
204.02/204.29 c | 356005 | 1619 14653 47350 | 32453 28313 56 | 3.228 % |
204.22/204.43 c | 356217 | 1619 14653 47350 | 32453 28525 56 | 3.228 % |
204.42/204.61 c | 356450 | 1619 14653 47350 | 32453 28758 56 | 3.228 % |
204.62/204.80 c | 356709 | 1619 14653 47350 | 32453 29017 56 | 3.228 % |
204.72/204.99 c | 356990 | 1619 14653 47350 | 32453 29298 56 | 3.228 % |
205.02/205.22 c | 357299 | 1619 14653 47350 | 32453 29607 56 | 3.228 % |
205.22/205.46 c | 357638 | 1619 14653 47350 | 32453 29946 57 | 3.228 % |
205.52/205.72 c | 358012 | 1619 14653 47350 | 32453 30320 57 | 3.228 % |
205.92/206.16 c | 358421 | 1619 14653 47350 | 32453 30729 57 | 3.228 % |
206.12/206.39 c | 358873 | 1619 14653 47350 | 32453 31181 57 | 3.228 % |
206.52/206.76 c | 359367 | 1619 14653 47350 | 32453 31675 58 | 3.228 % |
207.02/207.30 c | 359909 | 1619 14653 47350 | 32453 32217 58 | 3.228 % |
207.62/207.85 c | 360506 | 1619 14653 47350 | 32311 27529 53 | 3.228 % |
208.02/208.22 c | 361165 | 1619 14653 47350 | 32311 28188 54 | 3.228 % |
208.42/208.66 c | 361886 | 1619 14653 47350 | 32311 28909 54 | 3.228 % |
209.02/209.26 c | 362678 | 1619 14653 47350 | 32311 29701 55 | 3.228 % |
209.52/209.76 c | 363549 | 1619 14653 47350 | 32311 30572 55 | 3.228 % |
210.32/210.51 c | 364513 | 1619 14653 47350 | 32311 31536 56 | 3.228 % |
211.32/211.51 c | 365568 | 1619 14653 47350 | 32311 32591 56 | 3.228 % |
212.21/212.48 c | 366731 | 1618 14635 47302 | 32311 28154 51 | 3.288 % |
212.81/213.08 c | 368005 | 1618 14635 47302 | 32311 29428 52 | 3.288 % |
213.91/214.13 c | 369406 | 1618 14635 47302 | 32311 30829 53 | 3.288 % |
215.21/215.49 c | 370946 | 1618 14635 47302 | 31423 26996 49 | 3.288 % |
216.31/216.50 c | 372640 | 1618 14635 47302 | 31423 28690 50 | 3.288 % |
217.61/217.86 c | 374504 | 1618 14635 47302 | 31423 30554 53 | 3.288 % |
219.21/219.45 c | 376557 | 1618 14635 47302 | 31423 28106 51 | 3.288 % |
220.81/221.05 c | 378810 | 1618 14635 47302 | 31423 30359 52 | 3.288 % |
222.71/222.99 c | 381290 | 1618 14635 47302 | 31551 27613 50 | 3.288 % |
224.41/224.65 c | 384015 | 1618 14635 47302 | 31551 30338 52 | 3.288 % |
226.61/226.89 c | 387012 | 1618 14635 47302 | 31551 28434 51 | 3.288 % |
229.31/229.59 c | 390308 | 1618 14635 47302 | 31422 26729 50 | 3.288 % |
231.40/231.65 c | 393936 | 1617 14621 47268 | 31422 30353 53 | 3.347 % |
231.50/231.72 c | 394036 | 1617 14621 47268 | 31422 30453 53 | 3.351 % |
231.60/231.83 c | 394146 | 1617 14621 47268 | 31422 30563 53 | 3.347 % |
231.70/231.92 c | 394271 | 1617 14621 47268 | 31422 30688 53 | 3.347 % |
231.81/232.03 c | 394405 | 1617 14621 47268 | 31422 30822 53 | 3.347 % |
231.81/232.08 c | 394553 | 1617 14621 47268 | 31422 30970 53 | 3.348 % |
232.00/232.27 c | 394713 | 1617 14621 47268 | 31422 31130 53 | 3.347 % |
232.20/232.48 c | 394889 | 1617 14621 47268 | 31422 31306 53 | 3.347 % |
232.40/232.62 c | 395083 | 1617 14621 47268 | 31422 31500 54 | 3.347 % |
232.60/232.81 c | 395295 | 1617 14621 47268 | 31422 27707 51 | 3.347 % |
232.70/232.97 c | 395530 | 1617 14621 47268 | 31422 27942 51 | 3.347 % |
232.91/233.11 c | 395788 | 1617 14621 47268 | 31422 28200 52 | 3.347 % |
233.01/233.23 c | 396071 | 1617 14621 47268 | 31422 28483 52 | 3.347 % |
233.20/233.47 c | 396380 | 1617 14621 47268 | 31422 28792 52 | 3.347 % |
233.50/233.70 c | 396719 | 1617 14621 47268 | 31422 29131 52 | 3.347 % |
233.60/233.86 c | 397091 | 1617 14621 47268 | 31422 29503 53 | 3.347 % |
233.90/234.15 c | 397500 | 1617 14621 47268 | 31422 29912 53 | 3.347 % |
234.20/234.45 c | 397951 | 1617 14621 47268 | 31422 30363 53 | 3.347 % |
234.50/234.78 c | 398444 | 1617 14621 47268 | 31422 30856 54 | 3.347 % |
235.00/235.22 c | 398987 | 1617 14621 47268 | 31422 31399 54 | 3.347 % |
235.40/235.68 c | 399587 | 1617 14621 47268 | 31422 27897 52 | 3.347 % |
235.90/236.13 c | 400242 | 1617 14621 47268 | 28312 28552 53 | 3.347 % |
236.30/236.60 c | 400963 | 1617 14621 47268 | 28312 25602 48 | 3.347 % |
236.80/237.06 c | 401756 | 1617 14621 47268 | 28312 26395 49 | 3.347 % |
237.40/237.60 c | 402632 | 1617 14621 47268 | 28312 27271 50 | 3.347 % |
237.90/238.16 c | 403594 | 1617 14621 47268 | 28312 28233 51 | 3.347 % |
238.50/238.73 c | 404647 | 1617 14621 47268 | 28312 26419 48 | 3.347 % |
239.20/239.47 c | 405805 | 1617 14621 47268 | 28312 27577 49 | 3.347 % |
240.20/240.44 c | 407078 | 1617 14621 47268 | 28312 25976 48 | 3.347 % |
240.90/241.18 c | 408483 | 1617 14621 47268 | 28312 27381 49 | 3.347 % |
241.60/241.81 c | 410023 | 1617 14621 47268 | 2147483647 26051 48 | 3.347 % |
242.80/243.01 c | 411719 | 1617 14621 47268 | 2147483647 27747 50 | 3.347 % |
243.90/244.12 c | 413584 | 1617 14621 47268 | 2147483647 29612 52 | 3.347 % |
245.39/245.69 c | 415635 | 1617 14621 47268 | 2147483647 31663 53 | 3.347 % |
246.29/246.54 c ===============================================================================
246.29/246.54 c restarts : 815
246.29/246.54 c conflicts : 417083 (1694 /sec)
246.29/246.54 c decisions : 872865 (1.53 % random) (3545 /sec)
246.29/246.54 c propagations : 67332848 (273429 /sec)
246.29/246.54 c conflict literals : 30190709 (31.33 % deleted)
246.29/246.54 c Memory used : 14.50 MB
246.29/246.54 c CPU time : 246.254 s
246.29/246.54 c
246.29/246.54 s SATISFIABLE
246.29/246.55 s SATISFIABLE
246.29/246.55 v 1 -2 -3 -4 5 -6 -7 -8 -9 -10 -11 -12 -13 -14 -15 -16 -17 -18 -19 -20 -21 -22 -23 -24 -25 26 -27 -28 -29 -30 -31 -32 -33 -34 -35 -36 -37 -38 -39 -40 -41 -42 -43 -44 -45 -46 47 -48 -49 -50 -51 -52 -53 -54 -55 -56 -57 -58 -59 -60 -61 -62 -63 -64 -65 -66 -67 68 -69 -70 -71 -72 -73 -74 -75 -76 -77 -78 -79 -80 -81 -82 -83 -84 -85 -86 -87 -88 89 -90 -91 -92 -93 -94 -95 -96 -97 -98 -99 -100 -101 -102 -103 -104 -105 106 -107 -108 -109 -110 -111 -112 -113 114 -115 -116 -117 -118 -119 -120 -121 -122 -123 -124 -125 -126 -127 -128 129 -130 -131 -132 -133 -134 -135 -136 -137 -138 -139 -140 -141 -142 -143 -144 -145 -146 -147 -148 -149 -150 -151 -152 -153 -154 155 -156 -157 -158 -159 -160 -161 -162 -163 -164 -165 -166 -167 -168 -169 -170 -171 -172 -173 -174 -175 -176 -177 -178 -179 -180 181 -182 -183 -184 -185 -186 -187 -188 -189 -190 -191 -192 -193 -194 -195 -196 -197 -198 -199 -200 -201 -202 -203 -204 -205 -206 207 -208 -209 -210 -211 -212 -213 -214 -215 -216 -217 -218 -219 -220 -221 -222 -223 -224 -225 -226 -227 -228 -229 -230 -231 -232 233 -234 -235 -236 -237 -238 -239 -240 -241 -242 -243 -244 -245 -246 -247 -248 -249 -250 -251 -252 -253 -254 -255 -256 -257 -258 -259 -260 -261 -262 -263 264 -265 -266 -267 -268 -269 -270 -271 -272 -273 -274 -275 -276 -277 -278 -279 -280 281 -282 -283 -284 -285 -286 -287 -288 -289 -290 -291 -292 -293 -294 -295 -296 -297 -298 299 -300 -301 -302 -303 -304 -305 -306 -307 -308 -309 -310 -311 -312 -313 -314 -315 -316 -317 -318 -319 -320 -321 -322 -323 -324 325 -326 -327 -328 -329 -330 -331 -332 -333 -334 -335 -336 -337 -338 -339 -340 -341 -342 -343 -344 -345 -346 -347 -348 -349 -350 351 -352 -353 -354 -355 -356 -357 -358 -359 -360 -361 -362 -363 -364 -365 -366 -367 -368 -369 -370 -371 -372 -373 -374 -375 -376 377 -378 -379 -380 -381 -382 -383 -384 -385 -386 -387 -388 -389 -390 -391 -392 -393 -394 -395 -396 -397 -398 -399 -400 -401 -402 403 -404 -405 -406 -407 -408 -409 -410 -411 -412 -413 -414 -415 -416 -417 -418 -419 -420 -421 -422 -423 -424 -425 -426 -427 -428 -429 430 -431 -432 -433 -434 -435 -436 -437 -438 -439 -440 -441 -442 -443 -444 445 -446 -447 -448 -449 -450 -451 -452 -453 -454 -455 -456 -457 -458 -459 -460 -461 -462 -463 -464 -465 -466 -467 -468 469 -470 -471 -472 -473 -474 -475 -476 -477 -478 -479 -480 -481 -482 -483 -484 -485 -486 -487 -488 -489 -490 -491 -492 -493 -494 495 -496 -497 -498 -499 -500 -501 -502 -503 -504 -505 -506 -507 -508 -509 -510 -511 -512 -513 -514 -515 -516 -517 -518 -519 -520 521 -522 -523 -524 -525 -526 -527 -528 -529 -530 -531 -532 -533 -534 -535 -536 -537 -538 -539 -540 -541 -542 -543 -544 -545 -546 547 -548 -549 -550 -551 -552 -553 -554 -555 -556 -557 -558 -559 -560 -561 -562 -563 -564 -565 -566 -567 -568 -569 -570 -571 -572 573 -574 -575 -576 -577 -578 -579 -580 -581 -582 -583 -584 -585 -586 -587 -588 -589 -590 -591 -592 -593 -594 -595 596 -597 -598 -599 -600 -601 -602 -603 -604 -605 -606 -607 -608 -609 -610 -611 612 -613 -614 -615 -616 -617 -618 -619 -620 -621 -622 -623 -624 -625 -626 -627 -628 -629 -630 -631 -632 -633 -634 -635 -636 -637 -638 639 -640 -641 -642 -643 -644 -645 -646 -647 -648 -649 -650 -651 -652 -653 -654 -655 -656 -657 -658 -659 -660 -661 -662 -663 -664 665 -666 -667 -668 -669 -670 -671 -672 -673 -674 -675 -676 -677 -678 -679 -680 -681 -682 -683 -684 -685 -686 -687 -688 -689 -690 691 -692 -693 -694 -695 -696 -697 -698 -699 -700 -701 -702 -703 -704 -705 -706 -707 -708 -709 -710 -711 -712 -713 -714 -715 -716 717 -718 -719 -720 -721 -722 -723 -724 -725 -726 -727 -728 -729 -730 -731 -732 -733 -734 -735 -736 -737 -738 -739 -740 -741 -742 743 -744 -745 -746 -747 -748 -749 -750 -751 -752 -753 -754 -755 -756 -757 -758 -759 -760 -761 762 -763 -764 -765 -766 -767 -768 -769 -770 -771 -772 -773 -774 -775 -776 -777 778 -779 -780 -781 -782 -783 -784 -785 -786 -787 -788 -789 -790 -791 -792 -793 -794 -795 -796 -797 -798 -799 -800 -801 -802 -803 -804 -805 -806 -807 -808 809 -810 -811 -812 -813 -814 -815 -816 -817 -818 -819 -820 -821 -822 -823 -824 -825 -826 -827 -828 -829 -830 -831 -832 -833 -834 835 -836 -837 -838 -839 -840 -841 -842 -843 -844 -845 -846 -847 -848 -849 -850 -851 -852 -853 -854 -855 -856 -857 -858 -859 -860 861 -862 -863 -864 -865 -866 -867 -868 -869 -870 -871 -872 -873 -874 -875 -876 -877 -878 -879 -880 -881 -882 -883 -884 -885 -886 887 -888 -889 -890 -891 -892 -893 -894 -895 -896 -897 -898 -899 -900 -901 -902 -903 -904 -905 -906 -907 -908 -909 -910 -911 -912 913 -914 -915 -916 -917 -918 -919 -920 -921 -922 -923 -924 -925 -926 -927 928 -929 -930 -931 -932 -933 -934 -935 936 -937 -938 -939 -940 -941 -942 -943 -944 -945 -946 -947 -948 -949 -950 -951 -952 953 -954 -955 -956 -957 -958 -959 -960 -961 -962 -963 -964 -965 -966 -967 -968 -969 -970 -971 -972 -973 974 -975 -976 -977 -978 -979 -980 -981 -982 -983 -984 -985 -986 -987 -988 -989 -990 -991 -992 -993 -994 995 -996 -997 -998 -999 -1000 -1001 -1002 -1003 -1004 -1005 -1006 -1007 -1008 -1009 -1010 -1011 -1012 -1013 -1014 -1015 1016 -1017 -1018 -1019 -1020 -1021 -1022 -1023 -1024 -1025 -1026 -1027 -1028 -1029 -1030 -1031 -1032 -1033 -1034 -1035 -1036 1037 -1038 -1039 -1040 1041 1042 -1043 -1044 -1045 -1046 -1047 1048 -1049 -1050 1051 -1052 -1053 -1054 -1055 -1056 1057 1058 -1059 -1060 -1061 -1062 1063 -1064 -1065 -1066 1067 -1068 -1069 1070 -1071 -1072 -1073 -1074 -1075 -1076 -1077 -1078 -1079 1080 -1081 -1082 -1083 -1084 -1085 -1086 -1087 -1088 -1089 1090 -1091 -1092 -1093 -1094 -1095 -1096 -1097 1098 -1099 -1100 -1101 -1102 -1103 -1104 -1105 1106 -1107 -1108 -1109 -1110 -1111 -1112 -1113 -1114 -1115 1116 -1117 -1118 -1119 -1120 -1121 1122 -1123 -1124 -1125 -1126 -1127 -1128 -1129 -1130 -1131 1132 -1133 -1134 -1135 -1136 -1137 -1138 -1139 -1140 -1141 1142 -1143 -1144 -1145 -1146 -1147 1148 -1149 -1150 -1151 -1152 -1153 -1154 -1155 -1156 -1157 -1158 -1159 -1160 1161 -1162 -1163 -1164 -1165 -1166 -1167 -1168 1169 -1170 -1171 -1172 -1173 1174 -1175 -1176 -1177 -1178 -1179 -1180 -1181 1182 -1183 -1184 -1185 -1186 -1187 -1188 -1189 -1190 1191 -1192 -1193 -1194 -1195 -1196 -1197 -1198 1199 -1200 -1201 -1202 -1203 -1204 -1205 1206 -1207 -1208 -1209 -1210 -1211 -1212 -1213 -1214 -1215 -1216 -1217 1218 -1219 -1220 -1221 -1222 -1223 -1224 1225 1226 -1227 -1228 -1229 -1230 -1231 -1232 -1233 -1234 -1235 -1236 -1237 1238 -1239 -1240 -1241 -1242 -1243 -1244 -1245 -1246 -1247 -1248 -1249 -1250 1251 -1252 -1253 -1254 -1255 -1256 -1257 -1258 -1259 -1260 1261 -1262 -1263 -1264 1265 -1266 -1267 -1268 -1269 -1270 -1271 -1272 -1273 -1274 1275 -1276 -1277 -1278 -1279 -1280 1281 -1282 -1283 -1284 -1285 1286 -1287 -1288 -1289 -1290 -1291 -1292 -1293 -1294 -1295 1296 -1297 -1298 -1299 -1300 -1301 -1302 -1303 -1304 -1305 -1306 1307 -1308 -1309 -1310 -1311 -1312 -1313 -1314 -1315 -1316 -1317 1318 -1319 -1320 -1321 -1322 -1323 -1324 -1325 1326 -1327 -1328 -1329 -1330 1331 -1332 1333 -1334 -1335 -1336 -1337 -1338 -1339 -1340 -1341 -1342 -1343 -1344 -1345 -1346 -1347 1348 -1349 -1350 -1351 -1352 1353 -1354 -1355 -1356 -1357 -1358 -1359 -1360 -1361 -1362 -1363 -1364 -1365 -1366 -1367 1368 -1369 -1370 -1371 -1372 -1373 -1374 1375 -1376 -1377 -1378 -1379 -1380 -1381 1382 -1383 -1384 -1385 -1386 -1387 1388 -1389 -1390 -1391 -1392 -1393 1394 -1395 -1396 -1397 -1398 -1399 -1400 -1401 -1402 -1403 -1404 1405 -1406 -1407 -1408 -1409 -1410 -1411 -1412 -1413 1414 -1415 -1416 -1417 -1418 -1419 -1420 -1421 1422 -1423 -1424 -1425 -1426 -1427 -1428 1429 -1430 -1431 -1432 -1433 -1434 -1435 -1436 -1437 -1438 1439 -1440 -1441 -1442 -1443 1444 -1445 -1446 -1447 -1448 -1449 -1450 -1451 -1452 -1453 1454 -1455 -1456 -1457 -1458 -1459 -1460 -1461 -1462 -1463 -1464 1465 -1466 1467 -1468 -1469 -1470 -1471 -1472 -1473 -1474 -1475 -1476 -1477 -1478 -1479 1480 -1481 -1482 -1483 -1484 -1485 1486 -1487 -1488 -1489 -1490 -1491 -1492 -1493 -1494 -1495 -1496 1497 -1498 -1499 -1500 1501 -1502 -1503 -1504 -1505 -1506 -1507 1508 -1509 -1510 -1511 -1512 -1513 -1514 -1515 -1516 -1517 -1518 1519 -1520 -1521 -1522 -1523 -1524 -1525 -1526 -1527 -1528 1529 -1530 -1531 -1532 -1533 -1534 -1535 -1536 -1537 -1538 -1539 1540 -1541 -1542 -1543 -1544 1545 -1546 -1547 -1548 -1549 1550 -1551 -1552 -1553 -1554 -1555 -1556 -1557 -1558 -1559 1560 -1561 -1562 -1563 -1564 1565 -1566 -1567 -1568 -1569 -1570 -1571 -1572 -1573 -1574 -1575 -1576 -1577 -1578 -1579 -1580 -1581 1582 -1583 -1584 1585 -1586 -1587 -1588 -1589 -1590 -1591 -1592 -1593 -1594 -1595 -1596 -1597 -1598 1599 -1600 -1601 -1602 1603 -1604 -1605 -1606 -1607 -1608 -1609 1610 -1611 -1612 -1613 -1614 -1615 -1616 -1617 -1618 -1619 -1620 1621 -1622 -1623 -1624 1625 -1626 -1627 -1628 -1629 -1630 -1631 -1632 -1633 -1634 -1635 1636 -1637 -1638 -1639 -1640 -1641 -1642 -1643 -1644 -1645 1646 -1647 -1648 -1649 1650 -1651 -1652 -1653 -1654 -1655 -1656 1657 1658 -1659 -1660 -1661 1662 -1663 -1664 -1665 1666 -1667 -1668 -1669 1670 -1671 -1672 -1673 -1674 -1675 1676 -1677 0
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1833735-1242824836/watcher-1833735-1242824836 -o /tmp/evaluation-result-1833735-1242824836/solver-1833735-1242824836 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833735-1242824836.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: 0.96 0.98 0.99 3/65 1830
/proc/meminfo: memFree=1777128/2055920 swapFree=4180344/4192956
[pid=1830] ppid=1827 vsize=5356 CPUtime=0
/proc/1830/stat : 1830 (SatELiteGTI) R 1827 1830 1203 0 -1 4194304 279 249 0 0 0 0 0 0 18 0 1 0 310512794 5484544 236 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 0 4100 65538 0 0 0 17 0 0 0
/proc/1830/statm: 1339 236 196 169 0 50 0
[startup+0.0776251 s]
/proc/loadavg: 0.96 0.98 0.99 3/65 1830
/proc/meminfo: memFree=1777128/2055920 swapFree=4180344/4192956
[pid=1830] ppid=1827 vsize=5356 CPUtime=0.04
/proc/1830/stat : 1830 (SatELiteGTI) S 1827 1830 1203 0 -1 4194304 336 672 0 0 0 0 3 1 17 0 1 0 310512794 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1830/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356
[startup+0.101623 s]
/proc/loadavg: 0.96 0.98 0.99 3/65 1830
/proc/meminfo: memFree=1777128/2055920 swapFree=4180344/4192956
[pid=1830] ppid=1827 vsize=5356 CPUtime=0.04
/proc/1830/stat : 1830 (SatELiteGTI) S 1827 1830 1203 0 -1 4194304 336 672 0 0 0 0 3 1 17 0 1 0 310512794 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1830/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356
[startup+0.301645 s]
/proc/loadavg: 0.96 0.98 0.99 3/65 1830
/proc/meminfo: memFree=1777128/2055920 swapFree=4180344/4192956
[pid=1830] ppid=1827 vsize=5356 CPUtime=0.04
/proc/1830/stat : 1830 (SatELiteGTI) S 1827 1830 1203 0 -1 4194304 336 672 0 0 0 0 3 1 17 0 1 0 310512794 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1830/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356
[startup+0.70169 s]
/proc/loadavg: 0.96 0.98 0.99 3/65 1830
/proc/meminfo: memFree=1777128/2055920 swapFree=4180344/4192956
[pid=1830] ppid=1827 vsize=5356 CPUtime=0.04
/proc/1830/stat : 1830 (SatELiteGTI) S 1827 1830 1203 0 -1 4194304 336 672 0 0 0 0 3 1 17 0 1 0 310512794 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1830/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356
[startup+1.50178 s]
/proc/loadavg: 0.96 0.98 0.99 2/67 1836
/proc/meminfo: memFree=1773656/2055920 swapFree=4180344/4192956
[pid=1830] ppid=1827 vsize=5356 CPUtime=0.04
/proc/1830/stat : 1830 (SatELiteGTI) S 1827 1830 1203 0 -1 4194304 336 672 0 0 0 0 3 1 17 0 1 0 310512794 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1830/statm: 1339 239 197 169 0 50 0
[pid=1836] ppid=1830 vsize=5412 CPUtime=1.43
/proc/1836/stat : 1836 (minisat_static) R 1830 1830 1203 0 -1 4194304 1077 0 0 0 143 0 0 0 25 0 1 0 310512800 5541888 1063 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/1836/statm: 1353 1063 77 171 0 1180 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 10768
[startup+3.10196 s]
/proc/loadavg: 0.96 0.98 0.99 2/67 1836
/proc/meminfo: memFree=1771544/2055920 swapFree=4180344/4192956
[pid=1830] ppid=1827 vsize=5356 CPUtime=0.04
/proc/1830/stat : 1830 (SatELiteGTI) S 1827 1830 1203 0 -1 4194304 336 672 0 0 0 0 3 1 17 0 1 0 310512794 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1830/statm: 1339 239 197 169 0 50 0
[pid=1836] ppid=1830 vsize=7656 CPUtime=3.03
/proc/1836/stat : 1836 (minisat_static) R 1830 1830 1203 0 -1 4194304 1607 0 0 0 302 1 0 0 25 0 1 0 310512800 7839744 1593 1992294400 134512640 135215339 4294956240 18446744073709551615 134538397 0 0 4096 3 0 0 0 17 0 0 0
/proc/1836/statm: 1914 1593 77 171 0 1741 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 13012
[startup+6.30233 s]
/proc/loadavg: 0.96 0.98 0.99 2/67 1836
/proc/meminfo: memFree=1768280/2055920 swapFree=4180344/4192956
[pid=1830] ppid=1827 vsize=5356 CPUtime=0.04
/proc/1830/stat : 1830 (SatELiteGTI) S 1827 1830 1203 0 -1 4194304 336 672 0 0 0 0 3 1 17 0 1 0 310512794 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1830/statm: 1339 239 197 169 0 50 0
[pid=1836] ppid=1830 vsize=10196 CPUtime=6.22
/proc/1836/stat : 1836 (minisat_static) R 1830 1830 1203 0 -1 4194304 2266 0 0 0 620 2 0 0 25 0 1 0 310512800 10440704 2252 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/1836/statm: 2549 2252 77 171 0 2376 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 15552
[startup+12.7011 s]
/proc/loadavg: 0.96 0.98 0.99 2/67 1836
/proc/meminfo: memFree=1765912/2055920 swapFree=4180344/4192956
[pid=1830] ppid=1827 vsize=5356 CPUtime=0.04
/proc/1830/stat : 1830 (SatELiteGTI) S 1827 1830 1203 0 -1 4194304 336 672 0 0 0 0 3 1 17 0 1 0 310512794 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1830/statm: 1339 239 197 169 0 50 0
[pid=1836] ppid=1830 vsize=11780 CPUtime=12.61
/proc/1836/stat : 1836 (minisat_static) R 1830 1830 1203 0 -1 4194304 2661 0 0 0 1259 2 0 0 25 0 1 0 310512800 12062720 2647 1992294400 134512640 135215339 4294956240 18446744073709551615 134539252 0 0 4096 3 0 0 0 17 0 0 0
/proc/1836/statm: 2945 2647 77 171 0 2772 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 17136
[startup+25.5015 s]
/proc/loadavg: 0.97 0.98 0.99 2/67 1836
/proc/meminfo: memFree=1765912/2055920 swapFree=4180344/4192956
[pid=1830] ppid=1827 vsize=5356 CPUtime=0.04
/proc/1830/stat : 1830 (SatELiteGTI) S 1827 1830 1203 0 -1 4194304 336 672 0 0 0 0 3 1 17 0 1 0 310512794 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1830/statm: 1339 239 197 169 0 50 0
[pid=1836] ppid=1830 vsize=11780 CPUtime=25.41
/proc/1836/stat : 1836 (minisat_static) R 1830 1830 1203 0 -1 4194304 2667 0 0 0 2538 3 0 0 25 0 1 0 310512800 12062720 2653 1992294400 134512640 135215339 4294956240 18446744073709551615 134529186 0 0 4096 3 0 0 0 17 0 0 0
/proc/1836/statm: 2945 2653 77 171 0 2772 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 17136
[startup+51.1014 s]
/proc/loadavg: 0.98 0.98 0.99 2/67 1836
/proc/meminfo: memFree=1764632/2055920 swapFree=4180344/4192956
[pid=1830] ppid=1827 vsize=5356 CPUtime=0.04
/proc/1830/stat : 1830 (SatELiteGTI) S 1827 1830 1203 0 -1 4194304 336 672 0 0 0 0 3 1 17 0 1 0 310512794 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1830/statm: 1339 239 197 169 0 50 0
[pid=1836] ppid=1830 vsize=13236 CPUtime=50.98
/proc/1836/stat : 1836 (minisat_static) R 1830 1830 1203 0 -1 4194304 3021 0 0 0 5094 4 0 0 25 0 1 0 310512800 13553664 3007 1992294400 134512640 135215339 4294956240 18446744073709551615 134529080 0 0 4096 3 0 0 0 17 0 0 0
/proc/1836/statm: 3309 3007 77 171 0 3136 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 18592
[startup+102.305 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 1836
/proc/meminfo: memFree=1763928/2055920 swapFree=4180344/4192956
[pid=1830] ppid=1827 vsize=5356 CPUtime=0.04
/proc/1830/stat : 1830 (SatELiteGTI) S 1827 1830 1203 0 -1 4194304 336 672 0 0 0 0 3 1 17 0 1 0 310512794 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1830/statm: 1339 239 197 169 0 50 0
[pid=1836] ppid=1830 vsize=13768 CPUtime=102.15
/proc/1836/stat : 1836 (minisat_static) R 1830 1830 1203 0 -1 4194304 3163 0 0 0 10211 4 0 0 25 0 1 0 310512800 14098432 3149 1992294400 134512640 135215339 4294956240 18446744073709551615 134528802 0 0 4096 3 0 0 0 17 0 0 0
/proc/1836/statm: 3442 3149 77 171 0 3269 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 19124
[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 1836
/proc/meminfo: memFree=1762776/2055920 swapFree=4180344/4192956
[pid=1830] ppid=1827 vsize=5356 CPUtime=0.04
/proc/1830/stat : 1830 (SatELiteGTI) S 1827 1830 1203 0 -1 4194304 336 672 0 0 0 0 3 1 17 0 1 0 310512794 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1830/statm: 1339 239 197 169 0 50 0
[pid=1836] ppid=1830 vsize=14848 CPUtime=162.11
/proc/1836/stat : 1836 (minisat_static) R 1830 1830 1203 0 -1 4194304 3427 0 0 0 16206 5 0 0 25 0 1 0 310512800 15204352 3413 1992294400 134512640 135215339 4294956240 18446744073709551615 134539280 0 0 4096 3 0 0 0 17 0 0 0
/proc/1836/statm: 3712 3413 77 171 0 3539 0
Current children cumulated CPU time (s) 162.15
Current children cumulated vsize (KiB) 20204
[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 1836
/proc/meminfo: memFree=1762776/2055920 swapFree=4180344/4192956
[pid=1830] ppid=1827 vsize=5356 CPUtime=0.04
/proc/1830/stat : 1830 (SatELiteGTI) S 1827 1830 1203 0 -1 4194304 336 672 0 0 0 0 3 1 17 0 1 0 310512794 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1830/statm: 1339 239 197 169 0 50 0
[pid=1836] ppid=1830 vsize=14848 CPUtime=222.07
/proc/1836/stat : 1836 (minisat_static) R 1830 1830 1203 0 -1 4194304 3429 0 0 0 22202 5 0 0 25 0 1 0 310512800 15204352 3415 1992294400 134512640 135215339 4294956240 18446744073709551615 134529051 0 0 4096 3 0 0 0 17 0 0 0
/proc/1836/statm: 3712 3415 77 171 0 3539 0
Current children cumulated CPU time (s) 222.11
Current children cumulated vsize (KiB) 20204
Solver just ended. Dumping a history of the last processes samples
[startup+230.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 1836
/proc/meminfo: memFree=1762712/2055920 swapFree=4180344/4192956
[pid=1830] ppid=1827 vsize=5356 CPUtime=0.04
/proc/1830/stat : 1830 (SatELiteGTI) S 1827 1830 1203 0 -1 4194304 336 672 0 0 0 0 3 1 17 0 1 0 310512794 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1830/statm: 1339 239 197 169 0 50 0
[pid=1836] ppid=1830 vsize=14848 CPUtime=230.07
/proc/1836/stat : 1836 (minisat_static) R 1830 1830 1203 0 -1 4194304 3429 0 0 0 23002 5 0 0 25 0 1 0 310512800 15204352 3415 1992294400 134512640 135215339 4294956240 18446744073709551615 134538113 0 0 4096 3 0 0 0 17 0 0 0
/proc/1836/statm: 3712 3415 77 171 0 3539 0
Current children cumulated CPU time (s) 230.11
Current children cumulated vsize (KiB) 20204
[startup+236.702 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 1836
/proc/meminfo: memFree=1762712/2055920 swapFree=4180344/4192956
[pid=1830] ppid=1827 vsize=5356 CPUtime=0.04
/proc/1830/stat : 1830 (SatELiteGTI) S 1827 1830 1203 0 -1 4194304 336 672 0 0 0 0 3 1 17 0 1 0 310512794 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1830/statm: 1339 239 197 169 0 50 0
[pid=1836] ppid=1830 vsize=14848 CPUtime=236.46
/proc/1836/stat : 1836 (minisat_static) R 1830 1830 1203 0 -1 4194304 3429 0 0 0 23641 5 0 0 25 0 1 0 310512800 15204352 3415 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/1836/statm: 3712 3415 77 171 0 3539 0
Current children cumulated CPU time (s) 236.5
Current children cumulated vsize (KiB) 20204
[startup+243.105 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 1836
/proc/meminfo: memFree=1762712/2055920 swapFree=4180344/4192956
[pid=1830] ppid=1827 vsize=5356 CPUtime=0.04
/proc/1830/stat : 1830 (SatELiteGTI) S 1827 1830 1203 0 -1 4194304 336 672 0 0 0 0 3 1 17 0 1 0 310512794 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1830/statm: 1339 239 197 169 0 50 0
[pid=1836] ppid=1830 vsize=14848 CPUtime=242.86
/proc/1836/stat : 1836 (minisat_static) R 1830 1830 1203 0 -1 4194304 3429 0 0 0 24281 5 0 0 25 0 1 0 310512800 15204352 3415 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 0 0 0
/proc/1836/statm: 3712 3415 77 171 0 3539 0
Current children cumulated CPU time (s) 242.9
Current children cumulated vsize (KiB) 20204
[startup+244.701 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 1836
/proc/meminfo: memFree=1762712/2055920 swapFree=4180344/4192956
[pid=1830] ppid=1827 vsize=5356 CPUtime=0.04
/proc/1830/stat : 1830 (SatELiteGTI) S 1827 1830 1203 0 -1 4194304 336 672 0 0 0 0 3 1 17 0 1 0 310512794 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1830/statm: 1339 239 197 169 0 50 0
[pid=1836] ppid=1830 vsize=14848 CPUtime=244.45
/proc/1836/stat : 1836 (minisat_static) R 1830 1830 1203 0 -1 4194304 3429 0 0 0 24440 5 0 0 25 0 1 0 310512800 15204352 3415 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/1836/statm: 3712 3415 77 171 0 3539 0
Current children cumulated CPU time (s) 244.49
Current children cumulated vsize (KiB) 20204
[startup+245.502 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 1836
/proc/meminfo: memFree=1762712/2055920 swapFree=4180344/4192956
[pid=1830] ppid=1827 vsize=5356 CPUtime=0.04
/proc/1830/stat : 1830 (SatELiteGTI) S 1827 1830 1203 0 -1 4194304 336 672 0 0 0 0 3 1 17 0 1 0 310512794 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1830/statm: 1339 239 197 169 0 50 0
[pid=1836] ppid=1830 vsize=14848 CPUtime=245.25
/proc/1836/stat : 1836 (minisat_static) R 1830 1830 1203 0 -1 4194304 3429 0 0 0 24520 5 0 0 25 0 1 0 310512800 15204352 3415 1992294400 134512640 135215339 4294956240 18446744073709551615 134525045 0 0 4096 3 0 0 0 17 0 0 0
/proc/1836/statm: 3712 3415 77 171 0 3539 0
Current children cumulated CPU time (s) 245.29
Current children cumulated vsize (KiB) 20204
[startup+246.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 1836
/proc/meminfo: memFree=1762712/2055920 swapFree=4180344/4192956
[pid=1830] ppid=1827 vsize=5356 CPUtime=0.04
/proc/1830/stat : 1830 (SatELiteGTI) S 1827 1830 1203 0 -1 4194304 336 672 0 0 0 0 3 1 17 0 1 0 310512794 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1830/statm: 1339 239 197 169 0 50 0
[pid=1836] ppid=1830 vsize=14848 CPUtime=246.06
/proc/1836/stat : 1836 (minisat_static) R 1830 1830 1203 0 -1 4194304 3429 0 0 0 24601 5 0 0 25 0 1 0 310512800 15204352 3415 1992294400 134512640 135215339 4294956240 18446744073709551615 134528776 0 0 4096 3 0 0 0 17 0 0 0
/proc/1836/statm: 3712 3415 77 171 0 3539 0
Current children cumulated CPU time (s) 246.1
Current children cumulated vsize (KiB) 20204
[startup+246.503 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 1836
/proc/meminfo: memFree=1762712/2055920 swapFree=4180344/4192956
[pid=1830] ppid=1827 vsize=5356 CPUtime=0.04
/proc/1830/stat : 1830 (SatELiteGTI) S 1827 1830 1203 0 -1 4194304 336 672 0 0 0 0 3 1 17 0 1 0 310512794 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1830/statm: 1339 239 197 169 0 50 0
[pid=1836] ppid=1830 vsize=14848 CPUtime=246.25
/proc/1836/stat : 1836 (minisat_static) R 1830 1830 1203 0 -1 4194304 3429 0 0 0 24620 5 0 0 25 0 1 0 310512800 15204352 3415 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/1836/statm: 3712 3415 77 171 0 3539 0
Current children cumulated CPU time (s) 246.29
Current children cumulated vsize (KiB) 20204
Child status: 10
Real time (s): 246.559
CPU time (s): 246.378
CPU user time (s): 246.297
CPU system time (s): 0.080987
CPU usage (%): 99.9262
Max. virtual memory (cumulated for all children) (KiB): 20204
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 246.297
system time used= 0.080987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4778
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= 2725
runsolver used 0.32495 second user time and 0.6569 second system time
The end
Begin job on node88 at 2009-05-20 15:07:17
IDJOB=1833735
IDBENCH=70906
IDSOLVER=671
FILE ID=node88/1833735-1242824836
PBS_JOBID= 9322542
Free space on /tmp= 66140 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/CRAFTED/edgematching/compact/em_7_4_9_cmp.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1833735-1242824836/watcher-1833735-1242824836 -o /tmp/evaluation-result-1833735-1242824836/solver-1833735-1242824836 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833735-1242824836.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= cc3488b2f0eb99d818c5779787a8ab84
RANDOM SEED=1556194275
node88.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.229
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.229
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: 1777608 kB
Buffers: 51940 kB
Cached: 177276 kB
SwapCached: 6880 kB
Active: 64080 kB
Inactive: 174064 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1777608 kB
SwapTotal: 4192956 kB
SwapFree: 4180344 kB
Dirty: 1944 kB
Writeback: 0 kB
Mapped: 14056 kB
Slab: 26096 kB
Committed_AS: 876148 kB
PageTables: 1456 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66140 MiB
End job on node88 at 2009-05-20 15:11:23