0.00/0.01 c Parsing...
0.00/0.96 c ==============================================================================
0.00/0.96 c | | ORIGINAL | LEARNT | |
0.00/0.96 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.96 c ==============================================================================
0.00/0.96 c | 0 | 1108439 3246165 | 332531 0 0 nan | 0.000 % |
20.66/20.78 c | 0 | 365178 1362642 | -- 0 -- -- | -- | -599968/-1491637
20.66/20.79 c ==============================================================================
20.66/20.79 c Result : #vars: 34857 #clauses: 365178 #literals: 1362642
20.66/20.79 c CPU time: 20.5099 s
20.66/20.79 c ==============================================================================
21.23/21.30 c This is MiniSat 2.0 beta
21.23/21.30 c WARNING: for repeatability, setting FPU to use double precision
21.23/21.30 c ============================[ Problem Statistics ]=============================
21.23/21.30 c | |
21.23/21.30 c | Number of variables: 34857 |
21.23/21.30 c | Number of clauses: 365178 |
21.23/21.55 c | Parsing time: 0.21 s |
21.23/21.57 c ============================[ Search Statistics ]==============================
21.23/21.57 c | Conflicts | ORIGINAL | LEARNT | Progress |
21.23/21.57 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
21.23/21.57 c ===============================================================================
21.23/21.57 c | 0 | 34857 365178 1362642 | 121726 0 nan | 0.000 % |
21.23/21.61 c | 100 | 34819 365178 1362642 | 121726 90 7 | 0.450 % |
21.23/21.62 c | 201 | 34819 365178 1362642 | 121726 191 9 | 0.450 % |
21.23/21.63 c | 302 | 34813 365178 1362642 | 121726 290 10 | 0.726 % |
21.23/21.70 c | 412 | 34799 365178 1362642 | 121726 399 11 | 0.861 % |
21.23/21.71 c | 512 | 34799 365178 1362642 | 121726 499 12 | 0.861 % |
21.23/21.73 c | 625 | 34776 365178 1362642 | 121726 609 11 | 0.958 % |
21.23/21.74 c | 750 | 34775 365178 1362642 | 121726 734 11 | 0.958 % |
21.23/21.78 c | 850 | 34709 365178 1362642 | 121726 830 11 | 1.314 % |
21.23/21.82 c | 960 | 34656 365178 1362642 | 121726 940 10 | 1.314 % |
21.23/21.85 c | 1083 | 34656 365178 1362642 | 121726 1063 11 | 1.314 % |
21.81/21.90 c | 1216 | 34656 365178 1362642 | 121726 1196 11 | 1.314 % |
21.81/21.91 c | 1316 | 34656 365178 1362642 | 121726 1296 11 | 1.314 % |
21.81/21.92 c | 1427 | 34656 365178 1362642 | 121726 1407 11 | 1.314 % |
21.81/21.93 c | 1548 | 34656 365178 1362642 | 121726 1528 10 | 1.314 % |
21.81/21.94 c | 1682 | 34656 365178 1362642 | 121726 1662 10 | 1.314 % |
21.81/21.98 c | 1829 | 34595 365178 1362642 | 121726 1799 11 | 1.609 % |
21.91/22.01 c | 1930 | 34595 365178 1362642 | 121726 1900 11 | 1.609 % |
21.91/22.05 c | 2042 | 34580 365178 1362642 | 121726 2011 10 | 1.650 % |
21.91/22.08 c | 2164 | 34580 365178 1362642 | 121726 2133 10 | 1.650 % |
22.00/22.12 c | 2297 | 34580 365178 1362642 | 121726 2266 11 | 1.650 % |
22.00/22.13 c | 2443 | 34580 365178 1362642 | 121726 2412 11 | 1.650 % |
22.00/22.14 c | 2604 | 34580 365178 1362642 | 121726 2573 11 | 1.650 % |
22.00/22.15 c | 2704 | 34580 365178 1362642 | 121726 2673 11 | 1.650 % |
22.00/22.16 c | 2815 | 34580 365178 1362642 | 121726 2784 11 | 1.650 % |
22.00/22.17 c | 2937 | 34580 365178 1362642 | 121726 2906 11 | 1.650 % |
22.00/22.20 c | 3072 | 34580 365178 1362642 | 121726 3041 11 | 1.650 % |
22.10/22.21 c | 3218 | 34580 365178 1362642 | 121726 3187 11 | 1.650 % |
22.10/22.23 c | 3379 | 34580 365178 1362642 | 121726 3348 12 | 1.650 % |
22.10/22.25 c | 3556 | 34580 365178 1362642 | 121726 3525 12 | 1.650 % |
22.10/22.26 c | 3658 | 34580 365178 1362642 | 121726 3627 12 | 1.650 % |
22.10/22.27 c | 3768 | 34580 365178 1362642 | 121726 3737 12 | 1.650 % |
22.10/22.28 c | 3890 | 34580 365178 1362642 | 121726 3859 12 | 1.650 % |
22.20/22.30 c | 4023 | 34580 365178 1362642 | 121726 3992 12 | 1.650 % |
22.20/22.30 c | 4169 | 34580 365178 1362642 | 121726 4138 12 | 1.650 % |
22.20/22.32 c | 4329 | 34580 365178 1362642 | 121726 4298 12 | 1.650 % |
22.20/22.33 c | 4506 | 34580 365178 1362642 | 121726 4475 12 | 1.650 % |
22.20/22.35 c | 4700 | 34580 365178 1362642 | 121726 4669 12 | 1.650 % |
22.20/22.37 c | 4800 | 34580 365178 1362642 | 121726 4769 12 | 1.650 % |
22.20/22.39 c | 4912 | 34580 365178 1362642 | 121726 4881 12 | 1.650 % |
22.30/22.40 c | 5035 | 34580 365178 1362642 | 121726 5004 12 | 1.650 % |
22.30/22.44 c | 5168 | 34282 337494 1207725 | 121726 4745 13 | 1.650 % |
22.30/22.45 c | 5314 | 34282 337494 1207725 | 121726 4891 12 | 1.650 % |
22.30/22.47 c | 5474 | 34282 337494 1207725 | 121726 5051 13 | 1.650 % |
22.30/22.48 c | 5652 | 34282 337494 1207725 | 121726 5229 12 | 1.650 % |
22.40/22.50 c | 5845 | 34282 337494 1207725 | 121726 5422 13 | 1.650 % |
22.40/22.52 c | 6057 | 34282 337494 1207725 | 121726 5634 13 | 1.650 % |
22.40/22.54 c | 6158 | 34282 337494 1207725 | 121726 5735 13 | 1.650 % |
22.40/22.56 c | 6268 | 34282 337494 1207725 | 121726 5845 13 | 1.650 % |
22.40/22.57 c | 6390 | 34282 337494 1207725 | 121726 5967 13 | 1.650 % |
22.40/22.59 c | 6525 | 34282 337494 1207725 | 121726 6102 13 | 1.650 % |
22.50/22.61 c | 6674 | 34282 337494 1207725 | 121726 6251 13 | 1.650 % |
22.50/22.63 c | 6835 | 34282 337494 1207725 | 121726 6412 13 | 1.650 % |
22.50/22.65 c | 7014 | 34282 337494 1207725 | 121726 6591 13 | 1.650 % |
22.50/22.67 c | 7207 | 34282 337494 1207725 | 121726 6784 14 | 1.650 % |
22.50/22.70 c | 7419 | 34282 337494 1207725 | 121726 6996 14 | 1.650 % |
22.60/22.73 c | 7652 | 34282 337494 1207725 | 121726 7229 14 | 1.650 % |
22.60/22.75 c | 7752 | 34282 337494 1207725 | 121726 7329 14 | 1.650 % |
22.60/22.77 c | 7862 | 34282 337494 1207725 | 121726 7439 14 | 1.650 % |
22.60/22.79 c | 7983 | 34282 337494 1207725 | 121726 7560 14 | 1.650 % |
22.70/22.81 c | 8117 | 34282 337494 1207725 | 121726 7694 14 | 1.650 % |
22.70/22.84 c | 8264 | 34282 337494 1207725 | 121726 7841 14 | 1.650 % |
22.70/22.87 c | 8424 | 34282 337494 1207725 | 121726 8001 14 | 1.650 % |
22.80/22.92 c | 8600 | 34282 337494 1207725 | 121726 8177 14 | 1.650 % |
22.80/22.96 c | 8793 | 34282 337494 1207725 | 121726 8370 14 | 1.650 % |
22.80/23.00 c | 9005 | 34282 337494 1207725 | 121726 8582 14 | 1.650 % |
22.91/23.04 c | 9238 | 34282 337494 1207725 | 121726 8815 14 | 1.650 % |
22.91/23.07 c | 9494 | 34282 337494 1207725 | 121726 9071 14 | 1.650 % |
22.91/23.09 c | 9595 | 34282 337494 1207725 | 121726 9172 14 | 1.650 % |
23.01/23.11 c | 9706 | 34282 337494 1207725 | 121726 9283 15 | 1.650 % |
23.01/23.13 c | 9827 | 34282 337494 1207725 | 121726 9404 15 | 1.650 % |
23.01/23.16 c | 9960 | 34282 337494 1207725 | 121726 9537 15 | 1.650 % |
23.01/23.19 c | 10106 | 34282 337494 1207725 | 2147483647 9683 15 | 1.650 % |
23.10/23.22 c | 10267 | 34282 337494 1207725 | 2147483647 9844 15 | 1.650 % |
23.10/23.23 c | 10443 | 34282 337494 1207725 | 2147483647 10020 15 | 1.650 % |
23.10/23.26 c | 10636 | 34282 337494 1207725 | 2147483647 10213 15 | 1.650 % |
23.10/23.28 c | 10849 | 34282 337494 1207725 | 2147483647 10426 15 | 1.650 % |
23.20/23.30 c | 11082 | 34282 337494 1207725 | 2147483647 10659 15 | 1.650 % |
23.20/23.34 c | 11339 | 34282 337494 1207725 | 2147483647 10916 15 | 1.650 % |
23.20/23.38 c | 11621 | 34282 337494 1207725 | 2147483647 11198 15 | 1.650 % |
23.20/23.39 c | 11721 | 34282 337494 1207725 | 2147483647 11298 15 | 1.650 % |
23.30/23.43 c | 11832 | 34282 337494 1207725 | 2147483647 11409 15 | 1.650 % |
23.30/23.46 c | 11954 | 34282 337494 1207725 | 2147483647 11531 15 | 1.650 % |
23.30/23.47 c | 12087 | 34282 337494 1207725 | 2147483647 11664 15 | 1.650 % |
23.40/23.50 c | 12234 | 34282 337494 1207725 | 2147483647 11811 15 | 1.650 % |
23.40/23.52 c | 12395 | 34282 337494 1207725 | 2147483647 11972 15 | 1.650 % |
23.40/23.55 c | 12571 | 34282 337494 1207725 | 2147483647 12148 15 | 1.650 % |
23.40/23.57 c | 12764 | 34282 337494 1207725 | 2147483647 12341 15 | 1.650 % |
23.50/23.61 c | 12977 | 34282 337494 1207725 | 2147483647 12554 15 | 1.650 % |
23.50/23.65 c | 13212 | 34282 337494 1207725 | 2147483647 12789 15 | 1.650 % |
23.50/23.69 c | 13468 | 34282 337494 1207725 | 2147483647 13045 15 | 1.650 % |
23.60/23.72 c | 13749 | 34282 337494 1207725 | 2147483647 13326 15 | 1.650 % |
23.60/23.75 c | 14061 | 34282 337494 1207725 | 2147483647 13638 15 | 1.650 % |
23.60/23.77 c | 14162 | 34282 337494 1207725 | 2147483647 13739 15 | 1.650 % |
23.60/23.79 c | 14273 | 34282 337494 1207725 | 2147483647 13850 15 | 1.650 % |
23.70/23.81 c | 14394 | 34282 337494 1207725 | 2147483647 13971 15 | 1.650 % |
23.70/23.83 c | 14528 | 34282 337494 1207725 | 2147483647 14105 15 | 1.650 % |
23.70/23.85 c | 14676 | 34282 337494 1207725 | 2147483647 14253 16 | 1.650 % |
23.70/23.87 c | 14836 | 34282 337494 1207725 | 2147483647 14413 16 | 1.650 % |
23.70/23.89 c | 15017 | 34282 337494 1207725 | 2147483647 14594 16 | 1.650 % |
23.80/23.92 c | 15210 | 34282 337494 1207725 | 2147483647 14787 16 | 1.650 % |
23.80/23.94 c | 15422 | 34282 337494 1207725 | 2147483647 14999 16 | 1.650 % |
23.80/23.98 c | 15656 | 34282 337494 1207725 | 2147483647 15233 16 | 1.650 % |
23.90/24.01 c | 15912 | 34282 337494 1207725 | 2147483647 15489 16 | 1.650 % |
23.90/24.06 c | 16194 | 34282 337494 1207725 | 2147483647 15771 16 | 1.650 % |
24.00/24.12 c | 16504 | 34282 337494 1207725 | 2147483647 16081 16 | 1.650 % |
24.00/24.16 c | 16844 | 34282 337494 1207725 | 2147483647 16421 16 | 1.650 % |
24.00/24.19 c | 16944 | 34282 337494 1207725 | 2147483647 16521 16 | 1.650 % |
24.10/24.21 c | 17054 | 34282 337494 1207725 | 2147483647 16631 16 | 1.650 % |
24.10/24.23 c | 17175 | 34282 337494 1207725 | 2147483647 16752 16 | 1.650 % |
24.10/24.28 c | 17308 | 34282 337494 1207725 | 2147483647 16885 16 | 1.650 % |
24.20/24.31 c | 17454 | 34282 337494 1207725 | 2147483647 17031 16 | 1.650 % |
24.20/24.34 c | 17615 | 34282 337494 1207725 | 2147483647 17192 16 | 1.650 % |
24.20/24.38 c | 17791 | 34282 337494 1207725 | 2147483647 17368 16 | 1.650 % |
24.30/24.44 c | 17984 | 34282 337494 1207725 | 2147483647 17561 16 | 1.650 % |
24.30/24.49 c | 18200 | 34282 337494 1207725 | 2147483647 17777 16 | 1.650 % |
24.40/24.54 c | 18433 | 34282 337494 1207725 | 2147483647 18010 16 | 1.650 % |
24.40/24.59 c | 18690 | 34282 337494 1207725 | 2147483647 18267 17 | 1.650 % |
24.50/24.63 c | 18972 | 34282 337494 1207725 | 2147483647 18549 17 | 1.650 % |
24.50/24.67 c | 19281 | 34282 337494 1207725 | 2147483647 18858 17 | 1.650 % |
24.60/24.71 c | 19623 | 34282 337494 1207725 | 2147483647 19200 17 | 1.650 % |
24.70/24.80 c | 19995 | 34282 337494 1207725 | 2147483647 19572 17 | 1.650 % |
24.70/24.82 c | 20097 | 34282 337494 1207725 | 2147483647 19674 17 | 1.650 % |
24.70/24.84 c | 20207 | 34282 337494 1207725 | 2147483647 19784 17 | 1.650 % |
24.70/24.86 c | 20328 | 34282 337494 1207725 | 2147483647 19905 17 | 1.650 % |
24.70/24.88 c | 20463 | 34282 337494 1207725 | 2147483647 20040 17 | 1.650 % |
24.80/24.90 c | 20609 | 34282 337494 1207725 | 2147483647 20186 17 | 1.650 % |
24.80/24.93 c | 20769 | 34282 337494 1207725 | 2147483647 20346 17 | 1.650 % |
24.80/24.97 c | 20945 | 34282 337494 1207725 | 2147483647 20522 17 | 1.650 % |
24.80/24.99 c | 21139 | 34282 337494 1207725 | 2147483647 20716 17 | 1.650 % |
24.90/25.03 c | 21353 | 34282 337494 1207725 | 2147483647 20930 17 | 1.650 % |
24.90/25.08 c | 21586 | 34282 337494 1207725 | 2147483647 21163 17 | 1.650 % |
24.99/25.12 c | 21842 | 34282 337494 1207725 | 2147483647 21419 17 | 1.650 % |
24.99/25.17 c | 22125 | 34282 337494 1207725 | 2147483647 21702 17 | 1.650 % |
25.10/25.24 c | 22434 | 34282 337494 1207725 | 2147483647 22011 17 | 1.650 % |
25.10/25.30 c | 22774 | 34282 337494 1207725 | 2147483647 22351 17 | 1.650 % |
25.20/25.35 c | 23147 | 34282 337494 1207725 | 2147483647 22724 17 | 1.650 % |
25.29/25.41 c | 23557 | 34282 337494 1207725 | 2147483647 23134 17 | 1.650 % |
25.29/25.43 c | 23658 | 34282 337494 1207725 | 2147483647 23235 17 | 1.650 % |
25.29/25.47 c | 23770 | 34282 337494 1207725 | 2147483647 23347 17 | 1.650 % |
25.39/25.50 c | 23891 | 34282 337494 1207725 | 2147483647 23468 17 | 1.650 % |
25.39/25.53 c | 24024 | 34282 337494 1207725 | 2147483647 23601 17 | 1.650 % |
25.39/25.56 c | 24170 | 34282 337494 1207725 | 2147483647 23747 17 | 1.650 % |
25.39/25.59 c | 24332 | 34282 337494 1207725 | 2147483647 23909 17 | 1.650 % |
25.49/25.61 c | 24508 | 34282 337494 1207725 | 2147483647 24085 17 | 1.650 % |
25.49/25.66 c | 24703 | 34282 337494 1207725 | 2147483647 24280 17 | 1.650 % |
25.59/25.72 c | 24915 | 34282 337494 1207725 | 2147483647 24492 17 | 1.650 % |
25.59/25.77 c | 25149 | 34282 337494 1207725 | 2147483647 24726 17 | 1.650 % |
25.69/25.82 c | 25405 | 34282 337494 1207725 | 2147483647 24982 17 | 1.650 % |
25.69/25.89 c | 25686 | 34282 337494 1207725 | 2147483647 25263 17 | 1.650 % |
25.79/25.93 c | 25995 | 34282 337494 1207725 | 2147483647 25572 17 | 1.650 % |
25.79/25.99 c | 26335 | 34282 337494 1207725 | 2147483647 25912 17 | 1.650 % |
25.89/26.06 c | 26707 | 34282 337494 1207725 | 2147483647 26284 17 | 1.650 % |
25.99/26.13 c | 27120 | 34282 337494 1207725 | 2147483647 26697 17 | 1.650 % |
26.09/26.20 c | 27570 | 34282 337494 1207725 | 2147483647 27147 17 | 1.650 % |
26.09/26.24 c | 27676 | 34282 337494 1207725 | 2147483647 27253 17 | 1.650 % |
26.09/26.26 c | 27786 | 34282 337494 1207725 | 2147483647 27363 17 | 1.650 % |
26.09/26.29 c | 27908 | 34282 337494 1207725 | 2147483647 27485 17 | 1.650 % |
26.20/26.34 c | 28042 | 34282 337494 1207725 | 2147483647 27619 17 | 1.650 % |
26.20/26.39 c | 28188 | 34281 337491 1207719 | 2147483647 27764 17 | 1.652 % |
26.30/26.44 c | 28348 | 34281 337491 1207719 | 2147483647 27924 17 | 1.652 % |
26.39/26.51 c | 28524 | 34281 337491 1207719 | 2147483647 28100 17 | 1.652 % |
26.39/26.57 c | 28717 | 34281 337491 1207719 | 2147483647 28293 18 | 1.652 % |
26.49/26.63 c | 28930 | 34281 337491 1207719 | 2147483647 28506 18 | 1.652 % |
26.49/26.67 c | 29163 | 34281 337491 1207719 | 2147483647 28739 18 | 1.652 % |
26.59/26.74 c | 29419 | 34281 337491 1207719 | 2147483647 28995 18 | 1.652 % |
26.69/26.80 c | 29700 | 34281 337491 1207719 | 2147483647 29276 18 | 1.652 % |
26.69/26.87 c | 30009 | 34281 337491 1207719 | 2147483647 29585 18 | 1.652 % |
26.79/26.97 c | 30348 | 34281 337491 1207719 | 2147483647 29924 18 | 1.652 % |
26.90/27.05 c | 30720 | 34281 337491 1207719 | 2147483647 30296 18 | 1.652 % |
27.00/27.14 c | 31129 | 34281 337491 1207719 | 2147483647 30705 18 | 1.652 % |
27.10/27.24 c | 31578 | 34281 337491 1207719 | 2147483647 31154 18 | 1.652 % |
27.20/27.38 c | 32071 | 34281 337491 1207719 | 2147483647 31647 18 | 1.652 % |
27.30/27.41 c | 32172 | 34281 337491 1207719 | 2147483647 31748 18 | 1.652 % |
27.30/27.44 c | 32286 | 34281 337491 1207719 | 2147483647 31862 18 | 1.652 % |
27.30/27.48 c | 32410 | 34281 337491 1207719 | 2147483647 31986 18 | 1.652 % |
27.40/27.51 c | 32543 | 34281 337491 1207719 | 2147483647 32119 18 | 1.652 % |
27.40/27.55 c | 32691 | 34281 337491 1207719 | 2147483647 32267 18 | 1.652 % |
27.50/27.60 c | 32852 | 34281 337491 1207719 | 2147483647 32428 18 | 1.652 % |
27.50/27.65 c | 33030 | 34281 337491 1207719 | 2147483647 32606 18 | 1.652 % |
27.60/27.72 c | 33224 | 34281 337491 1207719 | 2147483647 32800 18 | 1.652 % |
27.60/27.78 c | 33436 | 34281 337491 1207719 | 2147483647 33012 18 | 1.652 % |
27.70/27.86 c | 33670 | 34281 337491 1207719 | 2147483647 33246 18 | 1.652 % |
27.80/27.95 c | 33929 | 34281 337491 1207719 | 2147483647 33505 18 | 1.652 % |
27.90/28.02 c | 34210 | 34281 337491 1207719 | 2147483647 33786 18 | 1.652 % |
28.00/28.10 c | 34519 | 34281 337491 1207719 | 2147483647 34095 18 | 1.652 % |
28.10/28.23 c | 34861 | 34281 337491 1207719 | 2147483647 34437 18 | 1.652 % |
28.20/28.37 c | 35234 | 34278 337467 1207637 | 2147483647 34807 18 | 1.661 % |
28.30/28.50 c | 35643 | 34278 337467 1207637 | 2147483647 35216 19 | 1.661 % |
28.50/28.65 c | 36094 | 34278 337467 1207637 | 2147483647 35667 19 | 1.661 % |
28.60/28.76 c | 36588 | 34278 337467 1207637 | 2147483647 36161 19 | 1.661 % |
28.70/28.89 c | 37132 | 34278 337467 1207637 | 2147483647 36705 19 | 1.661 % |
28.80/28.93 c | 37235 | 34278 337467 1207637 | 2147483647 36808 19 | 1.661 % |
28.80/28.96 c | 37350 | 34278 337467 1207637 | 2147483647 36923 19 | 1.661 % |
28.90/29.00 c | 37473 | 34278 337467 1207637 | 2147483647 37046 19 | 1.661 % |
28.90/29.06 c | 37606 | 34278 337467 1207637 | 2147483647 37179 19 | 1.661 % |
29.00/29.10 c | 37753 | 34278 337467 1207637 | 2147483647 37326 19 | 1.661 % |
29.00/29.13 c | 37913 | 34278 337467 1207637 | 2147483647 37486 19 | 1.661 % |
29.00/29.17 c | 38091 | 34278 337467 1207637 | 2147483647 37664 19 | 1.661 % |
29.09/29.24 c | 38284 | 34278 337467 1207637 | 2147483647 37857 19 | 1.661 % |
29.19/29.30 c | 38498 | 34278 337467 1207637 | 2147483647 38071 19 | 1.661 % |
29.19/29.38 c | 38732 | 34278 337467 1207637 | 2147483647 38305 19 | 1.661 % |
29.29/29.46 c | 38988 | 34278 337467 1207637 | 2147483647 38561 19 | 1.661 % |
29.39/29.54 c | 39269 | 34278 337467 1207637 | 2147483647 38842 19 | 1.661 % |
29.50/29.62 c | 39580 | 34278 337467 1207637 | 2147483647 39153 19 | 1.661 % |
29.50/29.70 c | 39919 | 34278 337467 1207637 | 2147483647 39492 19 | 1.661 % |
29.60/29.79 c | 40291 | 34278 337467 1207637 | 2147483647 39864 19 | 1.661 % |
29.79/29.93 c | 40704 | 34278 337467 1207637 | 2147483647 40277 19 | 1.661 % |
29.89/30.09 c | 41153 | 34278 337467 1207637 | 2147483647 40726 19 | 1.661 % |
30.09/30.26 c | 41648 | 34277 337224 1206213 | 2147483647 41220 19 | 1.664 % |
30.19/30.40 c | 42190 | 34277 337224 1206213 | 2147483647 41762 19 | 1.664 % |
30.49/30.63 c | 42786 | 34277 337224 1206213 | 2147483647 42358 19 | 1.664 % |
30.49/30.65 c | 42887 | 34277 337224 1206213 | 2147483647 42459 19 | 1.664 % |
30.49/30.68 c | 43000 | 34277 337224 1206213 | 2147483647 42572 19 | 1.664 % |
30.60/30.73 c | 43121 | 34277 337224 1206213 | 2147483647 42693 19 | 1.664 % |
30.60/30.79 c | 43254 | 34277 337224 1206213 | 2147483647 42826 19 | 1.664 % |
30.70/30.85 c | 43400 | 34277 337224 1206213 | 2147483647 42972 19 | 1.664 % |
30.79/30.90 c | 43561 | 34277 337224 1206213 | 2147483647 43133 19 | 1.664 % |
30.79/30.98 c | 43740 | 34277 337224 1206213 | 2147483647 43312 19 | 1.664 % |
30.89/31.04 c | 43935 | 34277 337224 1206213 | 2147483647 43507 19 | 1.664 % |
30.99/31.13 c | 44148 | 34277 337224 1206213 | 2147483647 43720 19 | 1.664 % |
30.99/31.19 c | 44382 | 34277 337224 1206213 | 2147483647 43954 19 | 1.664 % |
31.09/31.29 c | 44638 | 34277 337224 1206213 | 2147483647 44210 19 | 1.664 % |
31.29/31.41 c | 44920 | 34277 337224 1206213 | 2147483647 44492 19 | 1.664 % |
31.39/31.51 c | 45229 | 34277 337224 1206213 | 2147483647 44801 19 | 1.664 % |
31.49/31.63 c | 45568 | 34277 337224 1206213 | 2147483647 45140 20 | 1.664 % |
31.59/31.80 c | 45941 | 34277 337224 1206213 | 2147483647 45513 20 | 1.664 % |
31.79/31.92 c | 46355 | 34277 337224 1206213 | 2147483647 45927 20 | 1.664 % |
31.88/32.04 c | 46804 | 34277 337224 1206213 | 2147483647 46376 20 | 1.664 % |
32.08/32.23 c | 47297 | 34277 337224 1206213 | 2147483647 46869 20 | 1.664 % |
32.28/32.43 c | 47841 | 34277 337224 1206213 | 2147483647 47413 20 | 1.664 % |
32.58/32.71 c | 48437 | 34277 337224 1206213 | 2147483647 48009 20 | 1.664 % |
32.79/32.98 c | 49093 | 34277 337224 1206213 | 2147483647 48665 20 | 1.664 % |
32.89/33.04 c | 49193 | 34277 337224 1206213 | 2147483647 48765 20 | 1.664 % |
32.89/33.08 c | 49303 | 34277 337224 1206213 | 2147483647 48875 20 | 1.664 % |
32.98/33.14 c | 49424 | 34277 337224 1206213 | 2147483647 48996 20 | 1.664 % |
33.08/33.22 c | 49557 | 34277 337224 1206213 | 2147483647 49129 20 | 1.664 % |
33.08/33.29 c | 49703 | 34277 337224 1206213 | 2147483647 49275 20 | 1.664 % |
33.18/33.34 c | 49864 | 34277 337224 1206213 | 2147483647 49436 20 | 1.664 % |
33.28/33.42 c | 50042 | 34277 337224 1206213 | 2147483647 49614 20 | 1.664 % |
33.28/33.47 c | 50235 | 34277 337224 1206213 | 2147483647 49807 20 | 1.664 % |
33.38/33.53 c | 50448 | 34277 337224 1206213 | 2147483647 50020 20 | 1.664 % |
33.48/33.60 c | 50682 | 34277 337224 1206213 | 2147483647 50254 20 | 1.664 % |
33.58/33.72 c | 50940 | 34277 337224 1206213 | 2147483647 50512 20 | 1.664 % |
33.68/33.81 c | 51221 | 34277 337224 1206213 | 2147483647 50793 20 | 1.664 % |
33.68/33.90 c | 51530 | 34277 337224 1206213 | 2147483647 51102 20 | 1.664 % |
33.88/34.07 c | 51869 | 34277 337224 1206213 | 2147483647 51441 20 | 1.664 % |
34.08/34.20 c | 52241 | 34277 337224 1206213 | 2147483647 51813 20 | 1.664 % |
34.18/34.37 c | 52650 | 34277 337224 1206213 | 2147483647 52222 20 | 1.664 % |
34.38/34.50 c | 53100 | 34277 337224 1206213 | 2147483647 52672 20 | 1.664 % |
34.47/34.64 c | 53596 | 34277 337224 1206213 | 2147483647 53168 20 | 1.664 % |
34.57/34.71 c | 54138 | 34277 337224 1206213 | 2147483647 53710 20 | 1.664 % |
34.67/34.84 c | 54734 | 34277 337224 1206213 | 2147483647 54306 20 | 1.664 % |
34.87/35.06 c | 55390 | 34277 337224 1206213 | 2147483647 54962 20 | 1.664 % |
35.08/35.29 c | 56110 | 34277 337224 1206213 | 2147483647 55682 20 | 1.664 % |
35.18/35.32 c | 56210 | 34277 337224 1206213 | 2147483647 55782 20 | 1.664 % |
35.18/35.36 c | 56320 | 34277 337224 1206213 | 2147483647 55892 20 | 1.664 % |
35.28/35.40 c | 56441 | 34277 337224 1206213 | 2147483647 56013 20 | 1.664 % |
35.28/35.46 c | 56574 | 34277 337224 1206213 | 2147483647 56146 20 | 1.664 % |
35.38/35.53 c | 56722 | 34277 337224 1206213 | 2147483647 56294 20 | 1.664 % |
35.38/35.59 c | 56883 | 34277 337224 1206213 | 2147483647 56455 20 | 1.664 % |
35.48/35.69 c | 57060 | 34277 337224 1206213 | 2147483647 56632 20 | 1.664 % |
35.58/35.76 c | 57254 | 34277 337224 1206213 | 2147483647 56826 20 | 1.664 % |
35.68/35.86 c | 57466 | 34277 337224 1206213 | 2147483647 57038 20 | 1.664 % |
35.88/36.01 c | 57699 | 34277 337224 1206213 | 2147483647 57271 20 | 1.664 % |
35.98/36.11 c | 57955 | 34277 337224 1206213 | 2147483647 57527 20 | 1.664 % |
36.09/36.25 c | 58237 | 34277 337224 1206213 | 2147483647 57809 20 | 1.664 % |
36.19/36.37 c | 58546 | 34277 337224 1206213 | 2147483647 58118 20 | 1.664 % |
36.38/36.54 c | 58886 | 34277 337224 1206213 | 2147483647 58458 20 | 1.664 % |
36.48/36.67 c | 59259 | 34277 337224 1206213 | 2147483647 58831 20 | 1.664 % |
36.68/36.88 c | 59669 | 34277 337224 1206213 | 2147483647 59241 20 | 1.664 % |
36.88/37.00 c | 60119 | 34277 337224 1206213 | 2147483647 59691 20 | 1.664 % |
36.98/37.13 c | 60613 | 34277 337224 1206213 | 2147483647 60185 20 | 1.664 % |
37.08/37.27 c | 61156 | 34277 337224 1206213 | 2147483647 60728 20 | 1.664 % |
37.29/37.46 c | 61752 | 34277 337224 1206213 | 2147483647 61324 20 | 1.664 % |
37.58/37.72 c | 62407 | 34277 337224 1206213 | 2147483647 61979 20 | 1.664 % |
37.88/38.02 c | 63129 | 34277 337224 1206213 | 2147483647 62701 20 | 1.664 % |
38.18/38.30 c | 63922 | 34277 337224 1206213 | 2147483647 63494 20 | 1.664 % |
38.18/38.32 c | 64024 | 34277 337224 1206213 | 2147483647 63596 20 | 1.664 % |
38.18/38.37 c | 64135 | 34277 337224 1206213 | 2147483647 63707 20 | 1.664 % |
38.18/38.39 c | 64256 | 34277 337224 1206213 | 2147483647 63828 20 | 1.664 % |
38.29/38.43 c | 64389 | 34277 337224 1206213 | 2147483647 63961 20 | 1.664 % |
38.29/38.47 c | 64535 | 34277 337224 1206213 | 2147483647 64107 20 | 1.664 % |
38.38/38.51 c | 64695 | 34277 337224 1206213 | 2147483647 64267 20 | 1.664 % |
38.48/38.61 c | 64873 | 34277 337224 1206213 | 2147483647 64445 20 | 1.664 % |
38.48/38.68 c | 65067 | 34277 337224 1206213 | 2147483647 64639 20 | 1.664 % |
38.58/38.78 c | 65280 | 34277 337224 1206213 | 2147483647 64852 20 | 1.664 % |
38.68/38.88 c | 65514 | 34277 337224 1206213 | 2147483647 65086 20 | 1.664 % |
38.88/39.00 c | 65772 | 34277 337224 1206213 | 2147483647 65344 20 | 1.664 % |
38.98/39.11 c | 66053 | 34277 337224 1206213 | 2147483647 65625 20 | 1.664 % |
39.08/39.26 c | 66362 | 34277 337224 1206213 | 2147483647 65934 20 | 1.664 % |
39.28/39.44 c | 66702 | 34277 337224 1206213 | 2147483647 66274 20 | 1.664 % |
39.38/39.55 c | 67074 | 34277 337224 1206213 | 2147483647 66646 21 | 1.664 % |
39.58/39.74 c | 67485 | 34277 337224 1206213 | 2147483647 67057 21 | 1.664 % |
39.68/39.90 c | 67937 | 34277 337224 1206213 | 2147483647 67509 21 | 1.664 % |
39.98/40.13 c | 68430 | 34277 337224 1206213 | 2147483647 68002 21 | 1.664 % |
40.28/40.40 c | 68972 | 34277 337224 1206213 | 2147483647 68544 21 | 1.664 % |
40.48/40.67 c | 69568 | 34277 337224 1206213 | 2147483647 69140 21 | 1.664 % |
40.88/41.04 c | 70223 | 34277 337224 1206213 | 2147483647 69795 21 | 1.664 % |
41.17/41.35 c | 70945 | 34277 337224 1206213 | 2147483647 70517 21 | 1.664 % |
41.68/41.81 c | 71737 | 34277 337224 1206213 | 2147483647 71309 21 | 1.664 % |
42.07/42.22 c | 72608 | 34277 337224 1206213 | 2147483647 72180 21 | 1.664 % |
42.07/42.28 c | 72708 | 34277 337224 1206213 | 2147483647 72280 21 | 1.664 % |
42.17/42.34 c | 72818 | 34277 337224 1206213 | 2147483647 72390 21 | 1.664 % |
42.17/42.39 c | 72940 | 34277 337224 1206213 | 2147483647 72512 21 | 1.664 % |
42.27/42.46 c | 73074 | 34277 337224 1206213 | 2147483647 72646 21 | 1.664 % |
42.37/42.54 c | 73220 | 34277 337224 1206213 | 2147483647 72792 21 | 1.664 % |
42.47/42.63 c | 73380 | 34277 337224 1206213 | 2147483647 72952 21 | 1.664 % |
42.57/42.74 c | 73557 | 34277 337224 1206213 | 2147483647 73129 21 | 1.664 % |
42.67/42.84 c | 73750 | 34277 337224 1206213 | 2147483647 73322 21 | 1.664 % |
42.77/42.97 c | 73965 | 34277 337224 1206213 | 2147483647 73537 21 | 1.664 % |
42.87/43.10 c | 74198 | 34277 337224 1206213 | 2147483647 73770 21 | 1.664 % |
42.97/43.19 c | 74455 | 34277 337224 1206213 | 2147483647 74027 21 | 1.664 % |
43.17/43.30 c | 74736 | 34277 337224 1206213 | 2147483647 74308 21 | 1.664 % |
43.27/43.46 c | 75047 | 34277 337224 1206213 | 2147483647 74619 21 | 1.664 % |
43.47/43.61 c | 75386 | 34277 337224 1206213 | 2147483647 74958 21 | 1.664 % |
43.57/43.78 c | 75758 | 34277 337224 1206213 | 2147483647 75330 21 | 1.664 % |
43.77/43.96 c | 76167 | 34277 337224 1206213 | 2147483647 75739 21 | 1.664 % |
43.97/44.13 c | 76620 | 34277 337224 1206213 | 2147483647 76192 21 | 1.664 % |
44.27/44.45 c | 77113 | 34277 337224 1206213 | 2147483647 76685 21 | 1.664 % |
44.47/44.62 c | 77655 | 34277 337224 1206213 | 2147483647 77227 21 | 1.664 % |
44.77/44.93 c | 78252 | 34277 337224 1206213 | 2147483647 77824 21 | 1.664 % |
45.07/45.28 c | 78909 | 34277 337224 1206213 | 2147483647 78481 21 | 1.664 % |
45.47/45.63 c | 79629 | 34277 337224 1206213 | 2147483647 79201 21 | 1.664 % |
45.87/46.05 c | 80421 | 34277 337224 1206213 | 2147483647 79993 21 | 1.664 % |
46.27/46.49 c | 81292 | 34277 337224 1206213 | 2147483647 80864 21 | 1.664 % |
46.77/46.93 c | 82251 | 34277 337224 1206213 | 2147483647 81823 21 | 1.664 % |
46.77/46.98 c | 82353 | 34277 337224 1206213 | 2147483647 81925 21 | 1.664 % |
46.87/47.06 c | 82465 | 34277 337224 1206213 | 2147483647 82037 21 | 1.664 % |
46.97/47.17 c | 82589 | 34277 337224 1206213 | 2147483647 82161 21 | 1.664 % |
47.07/47.25 c | 82722 | 34277 337224 1206213 | 2147483647 82294 21 | 1.664 % |
47.17/47.35 c | 82870 | 34277 337224 1206213 | 2147483647 82442 21 | 1.664 % |
47.27/47.49 c | 83031 | 34274 337200 1206131 | 2147483647 82601 21 | 1.673 % |
47.37/47.60 c | 83207 | 34274 337200 1206131 | 2147483647 82777 21 | 1.673 % |
47.57/47.72 c | 83400 | 34274 337200 1206131 | 2147483647 82970 21 | 1.673 % |
47.67/47.85 c | 83612 | 34274 337200 1206131 | 2147483647 83182 21 | 1.673 % |
47.77/47.99 c | 83845 | 34274 337200 1206131 | 2147483647 83415 21 | 1.673 % |
47.97/48.14 c | 84102 | 34274 337200 1206131 | 2147483647 83672 21 | 1.673 % |
48.07/48.25 c | 84384 | 34274 337200 1206131 | 2147483647 83954 21 | 1.673 % |
48.17/48.40 c | 84693 | 34274 337200 1206131 | 2147483647 84263 21 | 1.673 % |
48.37/48.56 c | 85032 | 34274 337200 1206131 | 2147483647 84602 21 | 1.673 % |
48.67/48.84 c | 85405 | 34274 337200 1206131 | 2147483647 84975 21 | 1.673 % |
48.97/49.15 c | 85815 | 34274 337200 1206131 | 2147483647 85385 21 | 1.673 % |
49.17/49.36 c | 86265 | 34274 337200 1206131 | 2147483647 85835 21 | 1.673 % |
49.27/49.46 c | 86759 | 34274 337200 1206131 | 2147483647 86329 21 | 1.673 % |
49.37/49.54 c | 87303 | 34274 337200 1206131 | 2147483647 86873 21 | 1.673 % |
49.46/49.70 c | 87899 | 34273 337200 1206131 | 2147483647 87468 21 | 1.681 % |
49.66/49.81 c | 88554 | 34273 337200 1206131 | 2147483647 88123 21 | 1.681 % |
49.76/49.95 c | 89275 | 34273 337200 1206131 | 2147483647 88844 21 | 1.681 % |
49.96/50.15 c | 90067 | 34273 337200 1206131 | 2147483647 89636 21 | 1.681 % |
50.57/50.74 c | 90938 | 34273 337200 1206131 | 2147483647 90507 21 | 1.681 % |
50.87/51.07 c | 91896 | 34273 337200 1206131 | 2147483647 91465 22 | 1.681 % |
51.57/51.78 c | 92949 | 34271 336478 1203277 | 2147483647 92518 22 | 1.681 % |
51.66/51.84 c | 93054 | 34271 336478 1203277 | 2147483647 92623 22 | 1.681 % |
51.76/51.94 c | 93166 | 34271 336478 1203277 | 2147483647 92735 22 | 1.681 % |
51.86/52.03 c | 93288 | 34271 336478 1203277 | 2147483647 92857 22 | 1.681 % |
51.96/52.13 c | 93422 | 34271 336478 1203277 | 2147483647 92991 22 | 1.681 % |
52.06/52.23 c | 93569 | 34271 336478 1203277 | 2147483647 93138 22 | 1.681 % |
52.16/52.33 c | 93729 | 34271 336478 1203277 | 2147483647 93298 22 | 1.681 % |
52.26/52.43 c | 93905 | 34271 336478 1203277 | 2147483647 93474 22 | 1.681 % |
52.46/52.63 c | 94098 | 34271 336478 1203277 | 2147483647 93667 22 | 1.681 % |
52.56/52.77 c | 94311 | 34271 336478 1203277 | 2147483647 93880 22 | 1.681 % |
52.76/52.92 c | 94546 | 34271 336478 1203277 | 2147483647 94115 22 | 1.681 % |
52.96/53.10 c | 94804 | 34271 336478 1203277 | 2147483647 94373 22 | 1.681 % |
53.16/53.32 c | 95086 | 34271 336478 1203277 | 2147483647 94655 22 | 1.681 % |
53.36/53.57 c | 95395 | 34271 336478 1203277 | 2147483647 94964 22 | 1.681 % |
53.56/53.77 c | 95734 | 34271 336478 1203277 | 2147483647 95303 22 | 1.681 % |
53.86/54.00 c | 96106 | 34271 336478 1203277 | 2147483647 95675 22 | 1.681 % |
54.06/54.23 c | 96520 | 34271 336478 1203277 | 2147483647 96089 22 | 1.681 % |
54.16/54.40 c | 96969 | 34271 336478 1203277 | 2147483647 96538 22 | 1.681 % |
54.46/54.61 c | 97462 | 34271 336478 1203277 | 2147483647 97031 22 | 1.681 % |
54.66/54.89 c | 98005 | 34271 336478 1203277 | 2147483647 97574 22 | 1.681 % |
55.16/55.33 c | 98601 | 34271 336478 1203277 | 2147483647 98170 22 | 1.681 % |
55.66/55.81 c | 99257 | 34271 336478 1203277 | 2147483647 98826 22 | 1.681 % |
55.96/56.19 c | 99978 | 34271 336478 1203277 | 2147483647 99547 22 | 1.681 % |
56.45/56.69 c | 100770 | 34271 336478 1203277 | 2147483647 100339 22 | 1.681 % |
56.85/57.09 c | 101641 | 34271 336478 1203277 | 2147483647 101210 22 | 1.681 % |
57.35/57.56 c | 102599 | 34271 336478 1203277 | 2147483647 102168 22 | 1.681 % |
58.05/58.24 c | 103652 | 34268 336454 1203195 | 2147483647 103217 22 | 1.690 % |
58.94/59.13 c | 104810 | 34268 336454 1203195 | 2147483647 104375 22 | 1.690 % |
59.04/59.21 c | 104910 | 34268 336454 1203195 | 2147483647 104475 22 | 1.690 % |
59.15/59.31 c | 105020 | 34268 336454 1203195 | 2147483647 104585 22 | 1.690 % |
59.25/59.44 c | 105141 | 34268 336454 1203195 | 2147483647 104706 22 | 1.690 % |
59.34/59.55 c | 105274 | 34268 336454 1203195 | 2147483647 104839 22 | 1.690 % |
59.44/59.65 c | 105423 | 34268 336454 1203195 | 2147483647 104988 22 | 1.690 % |
59.54/59.71 c | 105583 | 34268 336454 1203195 | 2147483647 105148 22 | 1.690 % |
59.64/59.88 c | 105762 | 34268 336454 1203195 | 2147483647 105327 22 | 1.690 % |
59.84/60.04 c | 105956 | 34268 336454 1203195 | 2147483647 105521 22 | 1.690 % |
60.04/60.21 c | 106169 | 34268 336454 1203195 | 2147483647 105734 22 | 1.690 % |
60.14/60.36 c | 106404 | 34268 336454 1203195 | 2147483647 105969 22 | 1.690 % |
60.34/60.55 c | 106662 | 34268 336454 1203195 | 2147483647 106227 22 | 1.690 % |
60.54/60.71 c | 106944 | 34268 336454 1203195 | 2147483647 106509 22 | 1.690 % |
60.74/60.93 c | 107253 | 34268 336454 1203195 | 2147483647 106818 22 | 1.690 % |
60.94/61.19 c | 107592 | 34268 336454 1203195 | 2147483647 107157 22 | 1.690 % |
61.24/61.45 c | 107965 | 34268 336454 1203195 | 2147483647 107530 22 | 1.690 % |
61.54/61.78 c | 108374 | 34268 336454 1203195 | 2147483647 107939 22 | 1.690 % |
61.85/62.03 c | 108824 | 34268 336454 1203195 | 2147483647 108389 22 | 1.690 % |
61.95/62.18 c | 109318 | 34268 336454 1203195 | 2147483647 108883 22 | 1.690 % |
62.45/62.60 c | 109860 | 34268 336454 1203195 | 2147483647 109425 22 | 1.690 % |
62.85/63.02 c | 110457 | 34268 336454 1203195 | 2147483647 110022 22 | 1.690 % |
63.05/63.27 c | 111112 | 34268 336454 1203195 | 2147483647 110677 22 | 1.690 % |
63.65/63.85 c | 111832 | 34268 336454 1203195 | 2147483647 111397 22 | 1.690 % |
64.15/64.33 c | 112625 | 34268 336454 1203195 | 2147483647 112190 22 | 1.690 % |
64.35/64.56 c | 113497 | 34268 336454 1203195 | 2147483647 113062 22 | 1.690 % |
64.55/64.75 c | 114455 | 34268 336454 1203195 | 2147483647 114020 22 | 1.690 % |
64.95/65.10 c | 115511 | 34268 336454 1203195 | 2147483647 115076 22 | 1.690 % |
65.55/65.77 c | 116670 | 34268 336454 1203195 | 2147483647 116235 22 | 1.690 % |
66.44/66.61 c | 117943 | 34268 336454 1203195 | 2147483647 117508 22 | 1.690 % |
66.44/66.66 c | 118043 | 34268 336454 1203195 | 2147483647 117608 22 | 1.690 % |
66.54/66.72 c | 118153 | 34268 336454 1203195 | 2147483647 117718 22 | 1.690 % |
66.64/66.80 c | 118275 | 34268 336454 1203195 | 2147483647 117840 22 | 1.690 % |
66.74/66.90 c | 118408 | 34268 336454 1203195 | 2147483647 117973 22 | 1.690 % |
66.84/67.03 c | 118556 | 34268 336454 1203195 | 2147483647 118121 22 | 1.690 % |
66.94/67.16 c | 118716 | 34268 336454 1203195 | 2147483647 118281 22 | 1.690 % |
67.04/67.28 c | 118892 | 34268 336454 1203195 | 2147483647 118457 22 | 1.690 % |
67.24/67.46 c | 119087 | 34268 336454 1203195 | 2147483647 118652 22 | 1.690 % |
67.44/67.63 c | 119302 | 34268 336454 1203195 | 2147483647 118867 22 | 1.690 % |
67.64/67.82 c | 119537 | 34268 336454 1203195 | 2147483647 119102 22 | 1.690 % |
67.84/68.05 c | 119794 | 34268 336454 1203195 | 2147483647 119359 22 | 1.690 % |
68.14/68.31 c | 120076 | 34268 336454 1203195 | 2147483647 119641 22 | 1.690 % |
68.34/68.58 c | 120386 | 34268 336454 1203195 | 2147483647 119951 22 | 1.690 % |
68.53/68.72 c | 120727 | 34268 336454 1203195 | 2147483647 120292 22 | 1.690 % |
68.83/69.00 c | 121099 | 34268 336454 1203195 | 2147483647 120664 22 | 1.690 % |
69.14/69.32 c | 121510 | 34268 336454 1203195 | 2147483647 121075 22 | 1.690 % |
69.43/69.69 c | 121960 | 34268 336454 1203195 | 2147483647 121525 22 | 1.690 % |
69.83/70.09 c | 122454 | 34268 336454 1203195 | 2147483647 122019 22 | 1.690 % |
70.33/70.59 c | 122997 | 34268 336454 1203195 | 2147483647 122562 22 | 1.690 % |
70.93/71.14 c | 123593 | 34268 336454 1203195 | 2147483647 123158 22 | 1.690 % |
71.24/71.48 c | 124249 | 34268 336454 1203195 | 2147483647 123814 22 | 1.690 % |
71.83/72.07 c | 124971 | 34268 336454 1203195 | 2147483647 124536 23 | 1.690 % |
72.34/72.53 c | 125763 | 34268 336454 1203195 | 2147483647 125328 23 | 1.690 % |
73.03/73.20 c | 126634 | 34268 336454 1203195 | 2147483647 126199 23 | 1.690 % |
73.83/74.01 c | 127594 | 34268 336454 1203195 | 2147483647 127159 23 | 1.690 % |
74.63/74.83 c | 128649 | 34268 336454 1203195 | 2147483647 128214 23 | 1.690 % |
75.23/75.45 c | 129807 | 34268 336454 1203195 | 2147483647 129372 23 | 1.690 % |
76.03/76.23 c | 131080 | 34268 336454 1203195 | 2147483647 130645 23 | 1.690 % |
76.93/77.15 c | 132481 | 34268 336454 1203195 | 2147483647 132046 23 | 1.690 % |
77.03/77.27 c | 132582 | 34268 336454 1203195 | 2147483647 132147 23 | 1.690 % |
77.23/77.41 c | 132692 | 34268 336454 1203195 | 2147483647 132257 23 | 1.690 % |
77.32/77.51 c | 132816 | 34268 336454 1203195 | 2147483647 132381 23 | 1.690 % |
77.42/77.65 c | 132949 | 34268 336454 1203195 | 2147483647 132514 23 | 1.690 % |
77.52/77.76 c | 133095 | 34268 336454 1203195 | 2147483647 132660 23 | 1.690 % |
77.72/77.99 c | 133257 | 34268 336454 1203195 | 2147483647 132822 23 | 1.690 % |
77.93/78.18 c | 133433 | 34268 336454 1203195 | 2147483647 132998 23 | 1.690 % |
78.12/78.34 c | 133628 | 34268 336454 1203195 | 2147483647 133193 23 | 1.690 % |
78.32/78.57 c | 133840 | 34268 336454 1203195 | 2147483647 133405 23 | 1.690 % |
78.42/78.68 c | 134074 | 34268 336454 1203195 | 2147483647 133639 23 | 1.690 % |
78.72/78.90 c | 134333 | 34268 336454 1203195 | 2147483647 133898 23 | 1.690 % |
78.92/79.10 c | 134621 | 34268 336454 1203195 | 2147483647 134186 23 | 1.690 % |
79.12/79.36 c | 134933 | 34268 336454 1203195 | 2147483647 134498 23 | 1.690 % |
79.42/79.65 c | 135272 | 34268 336454 1203195 | 2147483647 134837 23 | 1.690 % |
79.63/79.89 c | 135644 | 34268 336454 1203195 | 2147483647 135209 23 | 1.690 % |
80.03/80.23 c | 136055 | 34268 336454 1203195 | 2147483647 135620 23 | 1.690 % |
80.43/80.65 c | 136504 | 34268 336454 1203195 | 2147483647 136069 23 | 1.690 % |
80.83/81.03 c | 137000 | 34268 336454 1203195 | 2147483647 136565 23 | 1.690 % |
81.23/81.49 c | 137542 | 34268 336454 1203195 | 2147483647 137107 23 | 1.690 % |
81.73/81.90 c | 138139 | 34268 336454 1203195 | 2147483647 137704 23 | 1.690 % |
82.23/82.43 c | 138794 | 34268 336454 1203195 | 2147483647 138359 23 | 1.690 % |
82.63/82.85 c | 139514 | 34268 336454 1203195 | 2147483647 139079 23 | 1.690 % |
82.93/83.18 c | 140310 | 34268 336454 1203195 | 2147483647 139875 23 | 1.690 % |
83.83/84.07 c | 141181 | 34268 336454 1203195 | 2147483647 140746 23 | 1.690 % |
84.43/84.69 c | 142139 | 34268 336454 1203195 | 2147483647 141704 23 | 1.690 % |
85.22/85.50 c | 143194 | 34268 336454 1203195 | 2147483647 142759 23 | 1.690 % |
86.22/86.48 c | 144355 | 34268 336454 1203195 | 2147483647 143920 23 | 1.690 % |
87.02/87.25 c | 145629 | 34268 336454 1203195 | 2147483647 145194 23 | 1.690 % |
88.32/88.55 c | 147030 | 34268 336454 1203195 | 2147483647 146595 23 | 1.690 % |
89.72/89.96 c | 148572 | 34268 336454 1203195 | 2147483647 148137 23 | 1.690 % |
89.82/90.07 c | 148672 | 34268 336454 1203195 | 2147483647 148237 23 | 1.690 % |
90.02/90.24 c | 148784 | 34265 336430 1203113 | 2147483647 148345 23 | 1.698 % |
90.12/90.32 c | 148906 | 34265 336430 1203113 | 2147483647 148467 23 | 1.698 % |
90.22/90.46 c | 149040 | 34265 336430 1203113 | 2147483647 148601 23 | 1.698 % |
90.42/90.61 c | 149186 | 34265 336430 1203113 | 2147483647 148747 23 | 1.698 % |
90.52/90.78 c | 149346 | 34265 336430 1203113 | 2147483647 148907 23 | 1.698 % |
90.72/90.98 c | 149522 | 34265 336430 1203113 | 2147483647 149083 23 | 1.698 % |
90.92/91.17 c | 149715 | 34265 336430 1203113 | 2147483647 149276 23 | 1.698 % |
91.12/91.38 c | 149928 | 34265 336430 1203113 | 2147483647 149489 23 | 1.698 % |
91.32/91.58 c | 150161 | 34265 336430 1203113 | 2147483647 149722 23 | 1.698 % |
91.52/91.79 c | 150418 | 34265 336430 1203113 | 2147483647 149979 23 | 1.698 % |
91.92/92.13 c | 150700 | 34265 336430 1203113 | 2147483647 150261 23 | 1.698 % |
92.22/92.48 c | 151011 | 34265 336430 1203113 | 2147483647 150572 23 | 1.698 % |
92.72/92.91 c | 151351 | 34265 336430 1203113 | 2147483647 150912 23 | 1.698 % |
92.92/93.19 c | 151725 | 34265 336430 1203113 | 2147483647 151286 23 | 1.698 % |
93.32/93.53 c | 152136 | 34265 336430 1203113 | 2147483647 151697 23 | 1.698 % |
93.62/93.86 c | 152587 | 34265 336430 1203113 | 2147483647 152148 23 | 1.698 % |
94.11/94.39 c | 153083 | 34265 336430 1203113 | 2147483647 152644 23 | 1.698 % |
94.61/94.89 c | 153627 | 34265 336430 1203113 | 2147483647 153188 23 | 1.698 % |
95.11/95.31 c | 154223 | 34265 336430 1203113 | 2147483647 153784 23 | 1.698 % |
95.52/95.71 c | 154879 | 34265 336430 1203113 | 2147483647 154440 24 | 1.698 % |
96.22/96.44 c | 155600 | 34265 336430 1203113 | 2147483647 155161 24 | 1.698 % |
97.02/97.29 c | 156392 | 34265 336430 1203113 | 2147483647 155953 24 | 1.698 % |
97.52/97.76 c | 157263 | 34265 336430 1203113 | 2147483647 156824 24 | 1.698 % |
98.62/98.82 c | 158224 | 34265 336430 1203113 | 2147483647 157785 24 | 1.698 % |
99.72/99.92 c | 159277 | 34265 336430 1203113 | 2147483647 158838 24 | 1.698 % |
100.51/100.73 c | 160435 | 34265 336430 1203113 | 2147483647 159996 24 | 1.698 % |
101.51/101.74 c | 161710 | 34265 336430 1203113 | 2147483647 161271 23 | 1.698 % |
102.41/102.68 c | 163111 | 34265 336430 1203113 | 2147483647 162672 24 | 1.698 % |
103.31/103.53 c | 164651 | 34265 336430 1203113 | 2147483647 164212 24 | 1.698 % |
104.11/104.38 c | 166348 | 34265 336430 1203113 | 2147483647 165909 24 | 1.698 % |
104.32/104.51 c | 166449 | 34265 336430 1203113 | 2147483647 166010 24 | 1.698 % |
104.32/104.56 c | 166560 | 34265 336430 1203113 | 2147483647 166121 24 | 1.698 % |
104.41/104.62 c | 166683 | 34265 336430 1203113 | 2147483647 166244 24 | 1.698 % |
104.41/104.67 c | 166816 | 34265 336430 1203113 | 2147483647 166377 24 | 1.698 % |
104.51/104.75 c | 166963 | 34265 336430 1203113 | 2147483647 166524 24 | 1.698 % |
104.71/104.90 c | 167124 | 34265 336430 1203113 | 2147483647 166685 24 | 1.698 % |
104.91/105.11 c | 167301 | 34265 336430 1203113 | 2147483647 166862 24 | 1.698 % |
105.01/105.25 c | 167495 | 34265 336430 1203113 | 2147483647 167056 24 | 1.698 % |
105.32/105.57 c | 167707 | 34265 336430 1203113 | 2147483647 167268 24 | 1.698 % |
105.51/105.72 c | 167941 | 34265 336430 1203113 | 2147483647 167502 24 | 1.698 % |
105.71/105.94 c | 168199 | 34265 336430 1203113 | 2147483647 167760 24 | 1.698 % |
106.01/106.25 c | 168482 | 34265 336430 1203113 | 2147483647 168043 24 | 1.698 % |
106.11/106.39 c | 168793 | 34265 336430 1203113 | 2147483647 168354 24 | 1.698 % |
106.61/106.81 c | 169133 | 34265 336430 1203113 | 2147483647 168694 24 | 1.698 % |
106.71/106.94 c | 169505 | 34265 336430 1203113 | 2147483647 169066 24 | 1.698 % |
107.01/107.20 c | 169916 | 34265 336430 1203113 | 2147483647 169477 24 | 1.698 % |
107.21/107.47 c | 170365 | 34265 336430 1203113 | 2147483647 169926 24 | 1.698 % |
107.81/108.06 c | 170858 | 34262 336406 1203031 | 2147483647 170417 24 | 1.707 % |
108.41/108.65 c | 171402 | 34262 336406 1203031 | 2147483647 170961 24 | 1.707 % |
109.01/109.29 c | 171998 | 34262 336406 1203031 | 2147483647 171557 24 | 1.707 % |
109.90/110.18 c | 172654 | 34262 336406 1203031 | 2147483647 172213 24 | 1.707 % |
110.40/110.65 c | 173374 | 34262 336406 1203031 | 2147483647 172933 24 | 1.707 % |
111.10/111.30 c | 174167 | 34262 336406 1203031 | 2147483647 173726 24 | 1.707 % |
111.80/112.03 c | 175039 | 34262 336406 1203031 | 2147483647 174598 24 | 1.707 % |
112.20/112.48 c | 175999 | 34262 336406 1203031 | 2147483647 175558 24 | 1.707 % |
113.40/113.68 c | 177053 | 34262 336406 1203031 | 2147483647 176612 24 | 1.707 % |
114.70/114.93 c | 178213 | 34262 336406 1203031 | 2147483647 177771 24 | 1.716 % |
116.20/116.48 c | 179487 | 34262 336406 1203031 | 2147483647 179045 24 | 1.716 % |
117.50/117.79 c | 180887 | 34252 336406 1203031 | 2147483647 180444 24 | 1.833 % |
120.10/120.39 c | 182427 | 34252 336406 1203031 | 2147483647 181984 24 | 1.833 % |
121.70/121.97 c | 184121 | 34218 333070 1188671 | 2147483647 147720 25 | 1.833 % |
123.50/123.71 c | 185985 | 34218 333070 1188671 | 2147483647 149584 25 | 1.833 % |
123.60/123.80 c | 186087 | 34218 333070 1188671 | 2147483647 149686 25 | 1.833 % |
123.60/123.88 c | 186199 | 34218 333070 1188671 | 2147483647 149798 25 | 1.833 % |
123.70/123.93 c | 186322 | 34218 333070 1188671 | 2147483647 149921 25 | 1.833 % |
123.80/124.06 c | 186458 | 34218 333070 1188671 | 2147483647 150057 25 | 1.833 % |
123.90/124.17 c | 186604 | 34218 333070 1188671 | 2147483647 150203 25 | 1.833 % |
124.00/124.28 c | 186764 | 34218 333070 1188671 | 2147483647 150363 25 | 1.833 % |
124.10/124.38 c | 186945 | 34218 333070 1188671 | 2147483647 150544 25 | 1.833 % |
124.40/124.65 c | 187138 | 34218 333070 1188671 | 2147483647 150737 25 | 1.833 % |
124.60/124.82 c | 187350 | 34218 333070 1188671 | 2147483647 150949 25 | 1.833 % |
124.80/125.10 c | 187586 | 34218 333070 1188671 | 2147483647 151185 25 | 1.833 % |
125.00/125.24 c | 187842 | 34218 333070 1188671 | 2147483647 151441 25 | 1.833 % |
125.30/125.57 c | 188123 | 34218 333070 1188671 | 2147483647 151722 25 | 1.833 % |
125.59/125.82 c | 188433 | 34218 333070 1188671 | 2147483647 152032 25 | 1.833 % |
125.89/126.16 c | 188773 | 34218 333070 1188671 | 2147483647 152372 25 | 1.833 % |
126.20/126.45 c | 189145 | 34218 333070 1188671 | 2147483647 152744 25 | 1.833 % |
126.69/126.97 c | 189554 | 34218 333070 1188671 | 2147483647 153153 25 | 1.833 % |
127.09/127.39 c | 190004 | 34218 333070 1188671 | 2147483647 153603 25 | 1.833 % |
127.79/128.01 c | 190498 | 34218 333070 1188671 | 2147483647 154097 25 | 1.833 % |
128.59/128.88 c | 191041 | 34218 333070 1188671 | 2147483647 154640 25 | 1.833 % |
129.39/129.63 c | 191637 | 34218 333070 1188671 | 2147483647 155236 25 | 1.833 % |
130.09/130.30 c | 192292 | 34218 333070 1188671 | 2147483647 155891 25 | 1.833 % |
130.49/130.76 c | 193012 | 34218 333070 1188671 | 2147483647 156611 25 | 1.833 % |
131.39/131.67 c | 193806 | 34218 333070 1188671 | 2147483647 157405 25 | 1.833 % |
132.09/132.33 c | 194677 | 34218 333070 1188671 | 2147483647 158276 25 | 1.833 % |
133.09/133.33 c | 195637 | 34218 333070 1188671 | 2147483647 159236 25 | 1.833 % |
133.69/133.91 c | 196690 | 34218 333070 1188671 | 2147483647 160289 25 | 1.833 % |
134.79/135.07 c | 197848 | 34218 333070 1188671 | 2147483647 161447 25 | 1.833 % |
135.39/135.63 c | 199123 | 34218 333070 1188671 | 2147483647 162722 25 | 1.833 % |
136.99/137.23 c | 200523 | 34218 333070 1188671 | 2147483647 164122 25 | 1.833 % |
138.20/138.50 c | 202064 | 34218 333070 1188671 | 2147483647 165663 25 | 1.833 % |
139.70/139.91 c | 203759 | 34218 333070 1188671 | 2147483647 167358 25 | 1.833 % |
141.00/141.21 c | 205622 | 34218 333070 1188671 | 2147483647 169221 25 | 1.833 % |
143.09/143.37 c | 207671 | 34218 333070 1188671 | 2147483647 171270 25 | 1.833 % |
143.19/143.43 c | 207773 | 34218 333070 1188671 | 2147483647 171372 25 | 1.833 % |
143.29/143.54 c | 207883 | 34218 333070 1188671 | 2147483647 171482 25 | 1.833 % |
143.39/143.60 c | 208004 | 34218 333070 1188671 | 2147483647 171603 25 | 1.833 % |
143.49/143.75 c | 208138 | 34218 333070 1188671 | 2147483647 171737 25 | 1.833 % |
143.59/143.85 c | 208284 | 34218 333070 1188671 | 2147483647 171883 25 | 1.833 % |
143.79/144.07 c | 208444 | 34218 333070 1188671 | 2147483647 172043 25 | 1.833 % |
143.99/144.25 c | 208620 | 34218 333070 1188671 | 2147483647 172219 25 | 1.833 % |
144.19/144.44 c | 208814 | 34218 333070 1188671 | 2147483647 172413 25 | 1.833 % |
144.39/144.61 c | 209027 | 34218 333070 1188671 | 2147483647 172626 25 | 1.833 % |
144.49/144.76 c | 209260 | 34218 333070 1188671 | 2147483647 172859 25 | 1.833 % |
144.69/144.92 c | 209516 | 34218 333070 1188671 | 2147483647 173115 25 | 1.833 % |
144.79/145.04 c | 209799 | 34218 333070 1188671 | 2147483647 173398 25 | 1.833 % |
144.99/145.27 c | 210109 | 34218 333070 1188671 | 2147483647 173708 25 | 1.833 % |
145.49/145.76 c | 210450 | 34218 333070 1188671 | 2147483647 174049 25 | 1.833 % |
145.69/145.97 c | 210822 | 34218 333070 1188671 | 2147483647 174421 25 | 1.833 % |
146.09/146.33 c | 211232 | 34218 333070 1188671 | 2147483647 174831 25 | 1.833 % |
146.49/146.79 c | 211682 | 34218 333070 1188671 | 2147483647 175281 25 | 1.833 % |
147.09/147.35 c | 212177 | 34218 333070 1188671 | 2147483647 175776 25 | 1.833 % |
147.69/147.98 c | 212719 | 34218 333070 1188671 | 2147483647 176318 25 | 1.833 % |
148.39/148.65 c | 213316 | 34217 333066 1188663 | 2147483647 176914 25 | 1.836 % |
149.19/149.46 c | 213972 | 34217 333066 1188663 | 2147483647 177570 25 | 1.836 % |
149.69/149.98 c | 214692 | 34217 333066 1188663 | 2147483647 178290 26 | 1.836 % |
150.29/150.54 c | 215485 | 34217 333066 1188663 | 2147483647 179083 26 | 1.836 % |
151.38/151.68 c | 216357 | 34217 333066 1188663 | 2147483647 179955 26 | 1.836 % |
152.69/152.91 c | 217318 | 34217 333066 1188663 | 2147483647 180916 26 | 1.836 % |
153.78/154.05 c | 218371 | 34217 333066 1188663 | 2147483647 181969 26 | 1.836 % |
154.68/154.93 c | 219532 | 34217 333066 1188663 | 2147483647 183130 26 | 1.836 % |
155.38/155.66 c | 220806 | 34217 333066 1188663 | 2147483647 184404 26 | 1.836 % |
156.58/156.80 c | 222206 | 34217 333066 1188663 | 2147483647 185804 26 | 1.836 % |
157.98/158.21 c | 223746 | 34217 333066 1188663 | 2147483647 187344 26 | 1.836 % |
159.67/159.94 c | 225440 | 34217 333066 1188663 | 2147483647 189038 26 | 1.836 % |
161.87/162.15 c | 227304 | 34217 333066 1188663 | 2147483647 190902 26 | 1.836 % |
164.17/164.48 c | 229354 | 34217 333066 1188663 | 2147483647 192952 26 | 1.836 % |
167.27/167.57 c | 231607 | 34217 333066 1188663 | 2147483647 195205 26 | 1.836 % |
167.47/167.74 c | 231707 | 34217 333066 1188663 | 2147483647 195305 26 | 1.836 % |
167.57/167.87 c | 231819 | 34217 333066 1188663 | 2147483647 195417 26 | 1.836 % |
167.67/167.97 c | 231941 | 34217 333066 1188663 | 2147483647 195539 26 | 1.836 % |
167.97/168.22 c | 232075 | 34217 333066 1188663 | 2147483647 195673 26 | 1.836 % |
168.17/168.48 c | 232221 | 34217 333066 1188663 | 2147483647 195819 26 | 1.836 % |
168.47/168.73 c | 232381 | 34217 333066 1188663 | 2147483647 195979 26 | 1.836 % |
168.77/169.07 c | 232559 | 34217 333066 1188663 | 2147483647 196157 26 | 1.836 % |
169.07/169.33 c | 232754 | 34217 333066 1188663 | 2147483647 196352 26 | 1.836 % |
169.47/169.73 c | 232967 | 34217 333066 1188663 | 2147483647 196565 26 | 1.836 % |
169.77/170.02 c | 233201 | 34217 333066 1188663 | 2147483647 196799 26 | 1.836 % |
170.07/170.34 c | 233458 | 34217 333066 1188663 | 2147483647 197056 26 | 1.836 % |
170.27/170.58 c | 233739 | 34217 333066 1188663 | 2147483647 197337 26 | 1.836 % |
170.67/170.96 c | 234048 | 34217 333066 1188663 | 2147483647 197646 26 | 1.836 % |
170.77/171.07 c | 234387 | 34217 333066 1188663 | 2147483647 197985 26 | 1.836 % |
170.97/171.26 c | 234759 | 34217 333066 1188663 | 2147483647 198357 26 | 1.836 % |
171.37/171.62 c | 235169 | 34217 333066 1188663 | 2147483647 198767 26 | 1.836 % |
171.67/171.97 c | 235619 | 34217 333066 1188663 | 2147483647 199217 26 | 1.836 % |
171.87/172.17 c | 236114 | 34217 333066 1188663 | 2147483647 199712 26 | 1.836 % |
172.27/172.58 c | 236656 | 34217 333066 1188663 | 2147483647 200254 26 | 1.836 % |
172.67/172.99 c | 237252 | 34217 333066 1188663 | 2147483647 200850 26 | 1.836 % |
172.98/173.25 c | 237909 | 34217 333066 1188663 | 2147483647 201507 26 | 1.836 % |
173.48/173.80 c | 238629 | 34217 333066 1188663 | 2147483647 202227 26 | 1.836 % |
174.28/174.59 c | 239421 | 34217 333066 1188663 | 2147483647 203019 26 | 1.836 % |
175.28/175.53 c | 240292 | 34217 333066 1188663 | 2147483647 203890 26 | 1.836 % |
175.88/176.17 c | 241251 | 34217 333066 1188663 | 2147483647 204849 26 | 1.836 % |
177.28/177.53 c | 242304 | 34217 333066 1188663 | 2147483647 205902 26 | 1.836 % |
178.47/178.76 c | 243463 | 34217 333066 1188663 | 2147483647 207061 26 | 1.836 % |
180.47/180.79 c | 244736 | 34217 333066 1188663 | 2147483647 208334 26 | 1.836 % |
182.17/182.47 c | 246136 | 34217 333066 1188663 | 2147483647 209734 26 | 1.836 % |
183.77/184.00 c | 247676 | 34217 333066 1188663 | 2147483647 211274 26 | 1.836 % |
186.66/186.96 c | 249372 | 34217 333066 1188663 | 2147483647 212970 26 | 1.836 % |
187.86/188.11 c | 251235 | 34217 333066 1188663 | 2147483647 214833 27 | 1.836 % |
191.37/191.69 c | 253286 | 34217 333066 1188663 | 2147483647 216884 27 | 1.836 % |
193.16/193.40 c | 255539 | 34217 333066 1188663 | 2147483647 219137 27 | 1.836 % |
194.56/194.86 c | 258017 | 34217 333066 1188663 | 2147483647 221615 27 | 1.836 % |
194.66/194.91 c | 258118 | 34217 333066 1188663 | 2147483647 221716 27 | 1.836 % |
194.76/195.02 c | 258229 | 34217 333066 1188663 | 2147483647 221827 27 | 1.836 % |
194.96/195.21 c | 258350 | 34217 333066 1188663 | 2147483647 221948 27 | 1.836 % |
195.16/195.47 c | 258484 | 34217 333066 1188663 | 2147483647 222082 27 | 1.836 % |
195.47/195.80 c | 258633 | 34217 333066 1188663 | 2147483647 222231 27 | 1.836 % |
195.76/196.04 c | 258793 | 34217 333066 1188663 | 2147483647 222391 27 | 1.836 % |
195.96/196.25 c | 258969 | 34217 333066 1188663 | 2147483647 222567 27 | 1.836 % |
196.26/196.57 c | 259165 | 34217 333066 1188663 | 2147483647 222763 27 | 1.836 % |
196.67/196.92 c | 259377 | 34217 333066 1188663 | 2147483647 222975 27 | 1.836 % |
196.96/197.23 c | 259610 | 34217 333066 1188663 | 2147483647 223208 27 | 1.836 % |
197.46/197.76 c | 259866 | 34217 333066 1188663 | 2147483647 223464 27 | 1.836 % |
197.86/198.14 c | 260148 | 34217 333066 1188663 | 2147483647 223746 27 | 1.836 % |
198.26/198.54 c | 260459 | 34217 333066 1188663 | 2147483647 224057 27 | 1.836 % |
198.56/198.88 c | 260801 | 34217 333066 1188663 | 2147483647 224399 27 | 1.836 % |
199.16/199.49 c | 261173 | 34217 333066 1188663 | 2147483647 224771 27 | 1.836 % |
199.56/199.83 c | 261583 | 34217 333066 1188663 | 2147483647 225181 27 | 1.836 % |
200.06/200.34 c | 262032 | 34217 333066 1188663 | 2147483647 225630 27 | 1.836 % |
200.56/200.81 c | 262525 | 34217 333066 1188663 | 2147483647 226123 27 | 1.836 % |
201.16/201.43 c | 263068 | 34217 333066 1188663 | 2147483647 226666 27 | 1.836 % |
202.06/202.32 c | 263664 | 34217 333066 1188663 | 2147483647 227262 27 | 1.836 % |
202.96/203.28 c | 264320 | 34217 333066 1188663 | 2147483647 227918 27 | 1.836 % |
203.96/204.25 c | 265042 | 34217 333066 1188663 | 2147483647 228640 27 | 1.836 % |
205.36/205.61 c | 265835 | 34217 333066 1188663 | 2147483647 229433 27 | 1.836 % |
206.46/206.71 c | 266706 | 34217 333066 1188663 | 2147483647 230304 27 | 1.836 % |
207.36/207.63 c | 267664 | 34217 333066 1188663 | 2147483647 231262 27 | 1.836 % |
209.16/209.48 c | 268717 | 34217 333066 1188663 | 2147483647 232315 27 | 1.836 % |
210.06/210.33 c | 269875 | 34217 333066 1188663 | 2147483647 233473 27 | 1.836 % |
211.75/212.03 c | 271148 | 34217 333066 1188663 | 2147483647 234746 27 | 1.836 % |
213.16/213.47 c | 272549 | 34217 333066 1188663 | 2147483647 236147 27 | 1.836 % |
215.05/215.32 c | 274090 | 34217 333066 1188663 | 2147483647 237688 27 | 1.836 % |
216.55/216.80 c | 275785 | 34217 333066 1188663 | 2147483647 239383 27 | 1.836 % |
219.95/220.20 c | 277650 | 34217 333066 1188663 | 2147483647 241248 27 | 1.836 % |
223.05/223.32 c | 279700 | 34217 333066 1188663 | 2147483647 243298 27 | 1.836 % |
226.15/226.44 c | 281953 | 34217 333066 1188663 | 2147483647 245551 27 | 1.836 % |
229.05/229.31 c | 284431 | 34217 333066 1188663 | 2147483647 248029 27 | 1.836 % |
232.55/232.80 c | 287156 | 34217 333066 1188663 | 2147483647 250754 27 | 1.836 % |
232.65/232.96 c | 287260 | 34217 333066 1188663 | 2147483647 250858 27 | 1.836 % |
232.85/233.14 c | 287371 | 34217 333066 1188663 | 2147483647 250969 27 | 1.836 % |
232.95/233.24 c | 287492 | 34217 333066 1188663 | 2147483647 251090 27 | 1.836 % |
233.25/233.57 c | 287626 | 34217 333066 1188663 | 2147483647 251224 27 | 1.836 % |
233.55/233.88 c | 287775 | 34217 333066 1188663 | 2147483647 251373 27 | 1.836 % |
233.84/234.10 c | 287935 | 34217 333066 1188663 | 2147483647 251533 27 | 1.836 % |
234.24/234.52 c | 288112 | 34217 333066 1188663 | 2147483647 251710 27 | 1.836 % |
234.44/234.80 c | 288306 | 34217 333066 1188663 | 2147483647 251904 27 | 1.836 % |
234.95/235.25 c | 288518 | 34217 333066 1188663 | 2147483647 252116 27 | 1.836 % |
235.45/235.75 c | 288751 | 34217 333066 1188663 | 2147483647 252349 27 | 1.836 % |
235.94/236.23 c | 289007 | 34217 333066 1188663 | 2147483647 252605 27 | 1.836 % |
236.44/236.79 c | 289290 | 34217 333066 1188663 | 2147483647 252888 27 | 1.836 % |
236.94/237.24 c | 289599 | 34217 333066 1188663 | 2147483647 253197 27 | 1.836 % |
237.64/237.96 c | 289938 | 34217 333066 1188663 | 2147483647 253536 27 | 1.836 % |
238.04/238.33 c | 290313 | 34217 333066 1188663 | 2147483647 253911 27 | 1.836 % |
238.14/238.49 c | 290722 | 34217 333066 1188663 | 2147483647 254320 27 | 1.836 % |
238.84/239.11 c | 291173 | 34217 333066 1188663 | 2147483647 254771 27 | 1.836 % |
239.64/239.91 c | 291668 | 34217 333066 1188663 | 2147483647 255266 27 | 1.836 % |
240.34/240.65 c | 292210 | 34217 333066 1188663 | 2147483647 255808 27 | 1.836 % |
241.54/241.90 c | 292808 | 34217 333066 1188663 | 2147483647 256406 28 | 1.836 % |
242.94/243.27 c | 293464 | 34217 333066 1188663 | 2147483647 257062 28 | 1.836 % |
244.04/244.39 c | 294185 | 34217 333066 1188663 | 2147483647 257783 28 | 1.836 % |
245.04/245.30 c | 294977 | 34217 333066 1188663 | 2147483647 258575 28 | 1.836 % |
247.04/247.34 c | 295849 | 34217 333066 1188663 | 2147483647 259447 28 | 1.836 % |
248.43/248.78 c | 296809 | 34217 333066 1188663 | 2147483647 260407 28 | 1.836 % |
250.03/250.36 c | 297862 | 34217 333066 1188663 | 2147483647 261460 28 | 1.836 % |
252.24/252.57 c | 299020 | 34217 333066 1188663 | 2147483647 262618 28 | 1.836 % |
253.94/254.20 c | 300293 | 34217 333066 1188663 | 2147483647 263891 28 | 1.836 % |
255.84/256.13 c | 301694 | 34217 333066 1188663 | 2147483647 265292 28 | 1.836 % |
258.44/258.79 c | 303235 | 34217 333066 1188663 | 2147483647 266833 28 | 1.836 % |
261.24/261.55 c | 304929 | 34217 333066 1188663 | 2147483647 268527 28 | 1.836 % |
263.64/263.99 c | 306792 | 34217 333066 1188663 | 2147483647 270390 28 | 1.836 % |
266.03/266.36 c | 308842 | 34217 333066 1188663 | 2147483647 272440 28 | 1.836 % |
268.73/269.07 c | 311095 | 34217 333066 1188663 | 2147483647 274693 28 | 1.836 % |
272.83/273.13 c | 313574 | 34217 333066 1188663 | 2147483647 277172 28 | 1.836 % |
275.33/275.64 c | 316301 | 34217 333066 1188663 | 2147483647 279899 28 | 1.836 % |
281.02/281.33 c | 319298 | 34217 333066 1188663 | 2147483647 282896 28 | 1.836 % |
281.12/281.45 c | 319398 | 34217 333066 1188663 | 2147483647 282996 28 | 1.836 % |
281.33/281.64 c | 319508 | 34217 333066 1188663 | 2147483647 283106 28 | 1.836 % |
281.52/281.84 c | 319631 | 34217 333066 1188663 | 2147483647 283229 28 | 1.836 % |
281.72/282.01 c | 319765 | 34217 333066 1188663 | 2147483647 283363 28 | 1.836 % |
281.82/282.19 c | 319911 | 34217 333066 1188663 | 2147483647 283509 28 | 1.836 % |
282.22/282.59 c | 320072 | 34217 333066 1188663 | 2147483647 283670 28 | 1.836 % |
282.62/282.91 c | 320248 | 34217 333066 1188663 | 2147483647 283846 28 | 1.836 % |
282.92/283.25 c | 320441 | 34217 333066 1188663 | 2147483647 284039 28 | 1.836 % |
283.32/283.68 c | 320655 | 34217 333066 1188663 | 2147483647 284253 28 | 1.836 % |
283.62/283.92 c | 320888 | 34217 333066 1188663 | 2147483647 284486 28 | 1.836 % |
283.82/284.18 c | 321145 | 34217 333066 1188663 | 2147483647 284743 28 | 1.836 % |
284.12/284.43 c | 321426 | 34217 333066 1188663 | 2147483647 285024 28 | 1.836 % |
284.63/284.96 c | 321737 | 34217 333066 1188663 | 2147483647 285335 28 | 1.836 % |
285.32/285.68 c | 322077 | 34217 333066 1188663 | 2147483647 285675 28 | 1.836 % |
286.22/286.59 c | 322449 | 34217 333066 1188663 | 2147483647 286047 28 | 1.836 % |
287.12/287.43 c | 322858 | 34217 333066 1188663 | 2147483647 286456 28 | 1.836 % |
288.02/288.30 c | 323307 | 34217 333066 1188663 | 2147483647 286905 28 | 1.836 % |
288.72/289.06 c | 323805 | 34217 333066 1188663 | 2147483647 287403 28 | 1.836 % |
290.32/290.64 c | 324351 | 34217 333066 1188663 | 2147483647 287949 28 | 1.836 % |
291.42/291.71 c | 324947 | 34217 333066 1188663 | 2147483647 288545 28 | 1.836 % |
291.92/292.21 c | 325603 | 34217 333066 1188663 | 2147483647 289201 28 | 1.836 % |
293.52/293.80 c | 326326 | 34217 333066 1188663 | 2147483647 289924 28 | 1.836 % |
294.72/295.02 c | 327121 | 34217 333066 1188663 | 2147483647 290719 28 | 1.836 % |
296.42/296.78 c | 327995 | 34217 333066 1188663 | 2147483647 291593 28 | 1.836 % |
297.92/298.21 c | 328954 | 34217 333066 1188663 | 2147483647 292552 28 | 1.836 % |
300.22/300.51 c | 330008 | 34217 333066 1188663 | 2147483647 293606 28 | 1.836 % |
302.12/302.47 c | 331169 | 34217 333066 1188663 | 2147483647 294767 28 | 1.836 % |
304.12/304.41 c | 332442 | 34180 333057 1188635 | 2147483647 296035 28 | 3.027 % |
306.11/306.40 c | 333842 | 34180 333057 1188635 | 2147483647 297435 28 | 3.027 % |
308.61/308.93 c | 335383 | 34180 333057 1188635 | 2147483647 298976 28 | 3.027 % |
311.51/311.88 c | 337077 | 34180 333057 1188635 | 2147483647 300670 28 | 3.027 % |
314.32/314.66 c | 338942 | 34179 333057 1188635 | 2147483647 302534 28 | 3.035 % |
318.01/318.39 c | 340993 | 34179 333057 1188635 | 2147483647 304585 28 | 3.035 % |
320.91/321.26 c | 343247 | 34179 333057 1188635 | 2147483647 306839 28 | 3.035 % |
326.90/327.25 c | 345726 | 34071 333057 1188635 | 2147483647 309317 28 | 3.047 % |
332.90/333.26 c | 348453 | 34071 333057 1188635 | 2147483647 312044 28 | 3.047 % |
337.00/337.30 c | 351450 | 33795 321276 1131441 | 2147483647 290011 29 | 3.047 % |
341.30/341.66 c | 354746 | 33795 321276 1131441 | 2147483647 293307 29 | 3.047 % |
341.50/341.81 c | 354846 | 33795 321276 1131441 | 2147483647 293407 29 | 3.047 % |
341.80/342.13 c | 354956 | 33795 321276 1131441 | 2147483647 293517 29 | 3.047 % |
342.00/342.38 c | 355079 | 33795 321276 1131441 | 2147483647 293640 29 | 3.047 % |
342.20/342.57 c | 355212 | 33795 321276 1131441 | 2147483647 293773 29 | 3.047 % |
342.40/342.77 c | 355361 | 33795 321276 1131441 | 2147483647 293922 29 | 3.047 % |
342.70/343.08 c | 355522 | 33795 321276 1131441 | 2147483647 294083 29 | 3.047 % |
343.30/343.60 c | 355698 | 33795 321276 1131441 | 2147483647 294259 29 | 3.047 % |
343.70/344.02 c | 355892 | 33795 321276 1131441 | 2147483647 294453 29 | 3.047 % |
344.20/344.59 c | 356107 | 33795 321276 1131441 | 2147483647 294668 29 | 3.047 % |
344.50/344.90 c | 356340 | 33795 321276 1131441 | 2147483647 294901 29 | 3.047 % |
345.30/345.69 c | 356597 | 33795 321276 1131441 | 2147483647 295158 29 | 3.047 % |
345.70/346.05 c | 356878 | 33795 321276 1131441 | 2147483647 295439 29 | 3.047 % |
346.30/346.61 c | 357189 | 33795 321276 1131441 | 2147483647 295750 29 | 3.047 % |
347.10/347.47 c | 357530 | 33795 321276 1131441 | 2147483647 296091 29 | 3.047 % |
348.00/348.38 c | 357903 | 33795 321276 1131441 | 2147483647 296464 29 | 3.047 % |
348.70/349.04 c | 358312 | 33795 321276 1131441 | 2147483647 296873 29 | 3.047 % |
349.51/349.86 c | 358761 | 33795 321276 1131441 | 2147483647 297322 29 | 3.047 % |
350.80/351.12 c | 359254 | 33795 321276 1131441 | 2147483647 297815 29 | 3.047 % |
352.00/352.33 c | 359798 | 33795 321276 1131441 | 2147483647 298359 29 | 3.047 % |
353.60/353.99 c | 360396 | 33795 321276 1131441 | 2147483647 298957 29 | 3.047 % |
355.00/355.38 c | 361052 | 33795 321276 1131441 | 2147483647 299613 29 | 3.047 % |
356.70/357.04 c | 361774 | 33795 321276 1131441 | 2147483647 300335 29 | 3.047 % |
358.70/359.05 c | 362566 | 33795 321276 1131441 | 2147483647 301127 29 | 3.047 % |
361.00/361.35 c | 363438 | 33795 321276 1131441 | 2147483647 301999 29 | 3.047 % |
363.30/363.61 c | 364396 | 33795 321276 1131441 | 2147483647 302957 29 | 3.047 % |
365.90/366.24 c | 365450 | 33795 321276 1131441 | 2147483647 304011 29 | 3.047 % |
368.39/368.74 c | 366610 | 33795 321276 1131441 | 2147483647 305171 29 | 3.047 % |
370.79/371.17 c | 367884 | 33795 321276 1131441 | 2147483647 306445 29 | 3.047 % |
373.89/374.28 c | 369284 | 33795 321276 1131441 | 2147483647 307845 29 | 3.047 % |
376.89/377.26 c | 370824 | 33795 321276 1131441 | 2147483647 309385 29 | 3.047 % |
380.58/380.96 c | 372518 | 33795 321276 1131441 | 2147483647 311079 29 | 3.047 % |
384.48/384.81 c | 374381 | 33795 321276 1131441 | 2147483647 312942 29 | 3.047 % |
388.08/388.41 c | 376431 | 33795 321276 1131441 | 2147483647 314992 29 | 3.047 % |
393.58/393.99 c | 378684 | 33795 321276 1131441 | 2147483647 317245 29 | 3.047 % |
397.07/397.45 c | 381162 | 33793 321254 1131384 | 2147483647 319720 29 | 3.052 % |
402.08/402.46 c | 383887 | 33793 321254 1131384 | 2147483647 322445 29 | 3.052 % |
407.98/408.40 c | 386884 | 33793 321254 1131384 | 2147483647 325442 29 | 3.052 % |
416.36/416.71 c | 390180 | 33793 321254 1131384 | 2147483647 328738 29 | 3.052 % |
424.46/424.88 c | 393805 | 33793 321254 1131384 | 2147483647 332363 29 | 3.052 % |
424.76/425.12 c | 393905 | 33793 321254 1131384 | 2147483647 332463 29 | 3.052 % |
425.06/425.42 c | 394019 | 33793 321254 1131384 | 2147483647 332577 29 | 3.052 % |
425.36/425.80 c | 394140 | 33793 321254 1131384 | 2147483647 332698 29 | 3.052 % |
425.76/426.16 c | 394274 | 33793 321254 1131384 | 2147483647 332832 29 | 3.052 % |
426.26/426.60 c | 394420 | 33793 321254 1131384 | 2147483647 332978 29 | 3.052 % |
426.56/426.90 c | 394582 | 33793 321254 1131384 | 2147483647 333140 29 | 3.052 % |
427.06/427.45 c | 394759 | 33793 321254 1131384 | 2147483647 333317 29 | 3.052 % |
427.56/427.95 c | 394952 | 33793 321254 1131384 | 2147483647 333510 29 | 3.052 % |
428.26/428.62 c | 395165 | 33793 321254 1131384 | 2147483647 333723 29 | 3.052 % |
428.66/429.06 c | 395398 | 33793 321254 1131384 | 2147483647 333956 29 | 3.052 % |
428.96/429.34 c | 395654 | 33793 321254 1131384 | 2147483647 334212 29 | 3.052 % |
429.56/429.98 c | 395935 | 33793 321254 1131384 | 2147483647 334493 29 | 3.052 % |
430.26/430.65 c | 396245 | 33793 321254 1131384 | 2147483647 334803 29 | 3.052 % |
430.96/431.32 c | 396585 | 33793 321254 1131384 | 2147483647 335143 30 | 3.052 % |
431.86/432.22 c | 396958 | 33793 321254 1131384 | 2147483647 335516 30 | 3.052 % |
432.46/432.88 c | 397368 | 33793 321254 1131384 | 2147483647 335926 30 | 3.052 % |
433.06/433.49 c | 397817 | 33793 321254 1131384 | 2147483647 336375 30 | 3.052 % |
433.76/434.15 c | 398312 | 33793 321254 1131384 | 2147483647 336870 30 | 3.052 % |
434.65/435.08 c | 398854 | 33793 321254 1131384 | 2147483647 337412 30 | 3.052 % |
435.35/435.73 c | 399450 | 33793 321254 1131384 | 2147483647 338008 30 | 3.052 % |
437.05/437.49 c | 400105 | 33793 321254 1131384 | 2147483647 338663 30 | 3.052 % |
439.35/439.71 c | 400825 | 33793 321254 1131384 | 2147483647 339383 30 | 3.052 % |
441.26/441.61 c | 401617 | 33793 321254 1131384 | 2147483647 340175 30 | 3.052 % |
443.86/444.22 c | 402489 | 33793 321254 1131384 | 2147483647 341047 30 | 3.052 % |
445.26/445.66 c | 403447 | 33793 321254 1131384 | 2147483647 342005 30 | 3.052 % |
446.36/446.70 c | 404501 | 33793 321254 1131384 | 2147483647 343059 30 | 3.052 % |
449.76/450.12 c | 405660 | 33793 321254 1131384 | 2147483647 344218 30 | 3.052 % |
453.66/454.02 c | 406935 | 33793 321254 1131384 | 2147483647 345493 30 | 3.052 % |
455.96/456.31 c | 408337 | 33793 321254 1131384 | 2147483647 346895 30 | 3.052 % |
459.65/460.02 c | 409877 | 33793 321254 1131384 | 2147483647 348435 30 | 3.052 % |
463.45/463.84 c | 411571 | 33793 321254 1131384 | 2147483647 350129 30 | 3.052 % |
468.64/469.01 c | 413435 | 33793 321254 1131384 | 2147483647 351993 30 | 3.052 % |
473.75/474.16 c | 415484 | 33793 321254 1131384 | 2147483647 354042 30 | 3.052 % |
478.94/479.38 c | 417737 | 33793 321254 1131384 | 2147483647 356295 30 | 3.052 % |
485.24/485.64 c | 420217 | 33793 321254 1131384 | 2147483647 358775 30 | 3.052 % |
490.94/491.37 c | 422942 | 33793 321254 1131384 | 2147483647 361500 30 | 3.052 % |
498.63/499.08 c | 425942 | 33793 321254 1131384 | 2147483647 364500 30 | 3.052 % |
506.13/506.54 c | 429239 | 33793 321254 1131384 | 2147483647 367797 30 | 3.052 % |
514.02/514.47 c | 432864 | 33793 321254 1131384 | 2147483647 371422 30 | 3.052 % |
524.13/524.60 c | 436851 | 33792 321250 1131376 | 2147483647 375408 30 | 3.055 % |
524.53/525.00 c | 436951 | 33792 321250 1131376 | 2147483647 375508 30 | 3.055 % |
524.93/525.38 c | 437063 | 33792 321250 1131376 | 2147483647 375620 30 | 3.055 % |
525.43/525.82 c | 437185 | 33792 321250 1131376 | 2147483647 375742 30 | 3.055 % |
525.83/526.21 c | 437318 | 33792 321250 1131376 | 2147483647 375875 30 | 3.055 % |
526.23/526.63 c | 437464 | 33792 321250 1131376 | 2147483647 376021 30 | 3.055 % |
526.63/527.07 c | 437624 | 33792 321250 1131376 | 2147483647 376181 30 | 3.055 % |
527.03/527.49 c | 437801 | 33792 321250 1131376 | 2147483647 376358 30 | 3.055 % |
527.63/528.06 c | 437994 | 33792 321250 1131376 | 2147483647 376551 30 | 3.055 % |
528.03/528.47 c | 438209 | 33792 321250 1131376 | 2147483647 376766 30 | 3.055 % |
528.83/529.30 c | 438445 | 33792 321250 1131376 | 2147483647 377002 30 | 3.055 % |
529.73/530.12 c | 438702 | 33792 321250 1131376 | 2147483647 377259 30 | 3.055 % |
530.33/530.79 c | 438983 | 33792 321250 1131376 | 2147483647 377540 30 | 3.055 % |
531.13/531.57 c | 439293 | 33792 321250 1131376 | 2147483647 377850 30 | 3.055 % |
532.33/532.72 c | 439632 | 33792 321250 1131376 | 2147483647 378189 30 | 3.055 % |
533.33/533.71 c | 440004 | 33792 321250 1131376 | 2147483647 378561 30 | 3.055 % |
534.72/535.17 c | 440413 | 33792 321250 1131376 | 2147483647 378970 30 | 3.055 % |
536.02/536.49 c | 440863 | 33792 321250 1131376 | 2147483647 379420 30 | 3.055 % |
536.82/537.25 c | 441356 | 33792 321250 1131376 | 2147483647 379913 30 | 3.055 % |
537.43/537.80 c | 441899 | 33792 321250 1131376 | 2147483647 380456 30 | 3.055 % |
538.42/538.84 c | 442495 | 33792 321250 1131376 | 2147483647 381052 30 | 3.055 % |
539.22/539.64 c | 443150 | 33792 321250 1131376 | 2147483647 381707 30 | 3.055 % |
540.52/540.96 c | 443873 | 33792 321250 1131376 | 2147483647 382430 30 | 3.055 % |
542.72/543.17 c | 444665 | 33792 321250 1131376 | 2147483647 383222 30 | 3.055 % |
544.92/545.38 c | 445536 | 33792 321250 1131376 | 2147483647 384093 30 | 3.055 % |
547.51/547.96 c | 446494 | 33792 321250 1131376 | 2147483647 385051 30 | 3.055 % |
551.31/551.77 c | 447547 | 33792 321250 1131376 | 2147483647 386104 30 | 3.055 % |
554.31/554.75 c | 448706 | 33791 321250 1131376 | 2147483647 387262 30 | 3.064 % |
555.81/556.23 c | 449979 | 33791 321250 1131376 | 2147483647 388535 30 | 3.064 % |
557.01/557.41 c | 451382 | 33791 321250 1131376 | 2147483647 389938 30 | 3.064 % |
558.91/559.36 c | 452924 | 33791 321250 1131376 | 2147483647 391480 30 | 3.064 % |
571.21/571.67 c | 454619 | 33789 320559 1129306 | 2147483647 156361 21 | 3.064 % |
572.41/572.87 c | 456483 | 33789 320559 1129306 | 2147483647 158225 21 | 3.064 % |
574.61/575.07 c | 458532 | 33789 320559 1129306 | 2147483647 160274 21 | 3.064 % |
577.51/577.96 c | 460785 | 33789 320559 1129306 | 2147483647 162527 21 | 3.064 % |
580.20/580.70 c | 463265 | 33789 320559 1129306 | 2147483647 165007 21 | 3.064 % |
582.90/583.36 c | 465991 | 33789 320559 1129306 | 2147483647 167733 21 | 3.064 % |
585.81/586.29 c ===============================================================================
585.81/586.29 c restarts : 858
585.81/586.29 c conflicts : 468338 (830 /sec)
585.81/586.29 c decisions : 742665 (1.75 % random) (1316 /sec)
585.81/586.29 c propagations : 248841595 (440844 /sec)
585.81/586.29 c conflict literals : 13332570 (45.24 % deleted)
585.81/586.29 c Memory used : 82.05 MB
585.81/586.29 c CPU time : 564.466 s
585.81/586.29 c
585.81/586.29 s UNSATISFIABLE
585.81/586.30 s UNSATISFIABLE
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1833837-1242825409/watcher-1833837-1242825409 -o /tmp/evaluation-result-1833837-1242825409/solver-1833837-1242825409 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833837-1242825409.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.38 1.12 1.04 3/64 17695
/proc/meminfo: memFree=1975272/2055920 swapFree=4180444/4192956
[pid=17695] ppid=17693 vsize=5356 CPUtime=0
/proc/17695/stat : 17695 (SatELiteGTI) S 17693 17695 17416 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 310569170 5484544 236 1992294400 4194304 4889804 548682068832 18446744073709551615 221954761540 0 65536 4100 65538 0 0 0 17 1 0 0
/proc/17695/statm: 1339 236 196 169 0 50 0
[startup+0.0500219 s]
/proc/loadavg: 1.38 1.12 1.04 3/64 17695
/proc/meminfo: memFree=1975272/2055920 swapFree=4180444/4192956
[pid=17695] ppid=17693 vsize=5356 CPUtime=0
/proc/17695/stat : 17695 (SatELiteGTI) S 17693 17695 17416 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310569170 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17695/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101021 s]
/proc/loadavg: 1.38 1.12 1.04 3/64 17695
/proc/meminfo: memFree=1975272/2055920 swapFree=4180444/4192956
[pid=17695] ppid=17693 vsize=5356 CPUtime=0
/proc/17695/stat : 17695 (SatELiteGTI) S 17693 17695 17416 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310569170 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17695/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301038 s]
/proc/loadavg: 1.38 1.12 1.04 3/64 17695
/proc/meminfo: memFree=1975272/2055920 swapFree=4180444/4192956
[pid=17695] ppid=17693 vsize=5356 CPUtime=0
/proc/17695/stat : 17695 (SatELiteGTI) S 17693 17695 17416 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310569170 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17695/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701073 s]
/proc/loadavg: 1.38 1.12 1.04 3/64 17695
/proc/meminfo: memFree=1975272/2055920 swapFree=4180444/4192956
[pid=17695] ppid=17693 vsize=5356 CPUtime=0
/proc/17695/stat : 17695 (SatELiteGTI) S 17693 17695 17416 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310569170 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17695/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50115 s]
/proc/loadavg: 1.38 1.12 1.04 2/66 17700
/proc/meminfo: memFree=1861208/2055920 swapFree=4180444/4192956
[pid=17695] ppid=17693 vsize=5356 CPUtime=0
/proc/17695/stat : 17695 (SatELiteGTI) S 17693 17695 17416 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310569170 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17695/statm: 1339 237 197 169 0 50 0
[pid=17700] ppid=17695 vsize=125284 CPUtime=1.47
/proc/17700/stat : 17700 (SatELite_releas) R 17695 17695 17416 0 -1 4194304 29763 0 0 0 132 15 0 0 25 0 1 0 310569171 128290816 29672 1992294400 134512640 135223648 4294956128 18446744073709551615 134548577 0 0 4096 3 0 0 0 17 0 0 0
/proc/17700/statm: 31321 29672 70 173 0 31146 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 130640
[startup+3.10129 s]
/proc/loadavg: 1.38 1.12 1.04 2/66 17700
/proc/meminfo: memFree=1846424/2055920 swapFree=4180444/4192956
[pid=17695] ppid=17693 vsize=5356 CPUtime=0
/proc/17695/stat : 17695 (SatELiteGTI) S 17693 17695 17416 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310569170 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17695/statm: 1339 237 197 169 0 50 0
[pid=17700] ppid=17695 vsize=136984 CPUtime=3.08
/proc/17700/stat : 17700 (SatELite_releas) R 17695 17695 17416 0 -1 4194304 32226 0 0 0 291 17 0 0 25 0 1 0 310569171 140271616 32135 1992294400 134512640 135223648 4294956128 18446744073709551615 134548581 0 0 4096 3 0 0 0 17 0 0 0
/proc/17700/statm: 34246 32135 75 173 0 34071 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 142340
[startup+6.30158 s]
/proc/loadavg: 1.35 1.12 1.04 2/66 17700
/proc/meminfo: memFree=1846360/2055920 swapFree=4180444/4192956
[pid=17695] ppid=17693 vsize=5356 CPUtime=0
/proc/17695/stat : 17695 (SatELiteGTI) S 17693 17695 17416 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310569170 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17695/statm: 1339 237 197 169 0 50 0
[pid=17700] ppid=17695 vsize=136984 CPUtime=6.28
/proc/17700/stat : 17700 (SatELite_releas) R 17695 17695 17416 0 -1 4194304 32255 0 0 0 611 17 0 0 25 0 1 0 310569171 140271616 32164 1992294400 134512640 135223648 4294956128 18446744073709551615 134548206 0 0 4096 3 0 0 0 17 0 0 0
/proc/17700/statm: 34246 32164 75 173 0 34071 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 142340
[startup+12.7022 s]
/proc/loadavg: 1.32 1.12 1.04 2/66 17700
/proc/meminfo: memFree=1846168/2055920 swapFree=4180444/4192956
[pid=17695] ppid=17693 vsize=5356 CPUtime=0
/proc/17695/stat : 17695 (SatELiteGTI) S 17693 17695 17416 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310569170 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17695/statm: 1339 237 197 169 0 50 0
[pid=17700] ppid=17695 vsize=137240 CPUtime=12.67
/proc/17700/stat : 17700 (SatELite_releas) R 17695 17695 17416 0 -1 4194304 32353 0 0 0 1250 17 0 0 25 0 1 0 310569171 140533760 32262 1992294400 134512640 135223648 4294956128 18446744073709551615 134548577 0 0 4096 3 0 0 0 17 0 0 0
/proc/17700/statm: 34310 32262 75 173 0 34135 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 142596
[startup+25.5013 s]
/proc/loadavg: 1.33 1.13 1.04 2/66 17701
/proc/meminfo: memFree=1933400/2055920 swapFree=4180444/4192956
[pid=17695] ppid=17693 vsize=5356 CPUtime=21.23
/proc/17695/stat : 17695 (SatELiteGTI) S 17693 17695 17416 0 -1 4194304 336 39434 0 0 0 0 2093 30 16 0 1 0 310569170 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17695/statm: 1339 239 197 169 0 50 0
[pid=17701] ppid=17695 vsize=23240 CPUtime=4.16
/proc/17701/stat : 17701 (minisat_static) R 17695 17695 17416 0 -1 4194304 5497 0 0 0 412 4 0 0 25 0 1 0 310571300 23797760 5483 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/17701/statm: 5810 5483 77 171 0 5637 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 28596
[startup+51.1016 s]
/proc/loadavg: 1.22 1.12 1.04 2/66 17701
/proc/meminfo: memFree=1925144/2055920 swapFree=4180444/4192956
[pid=17695] ppid=17693 vsize=5356 CPUtime=21.23
/proc/17695/stat : 17695 (SatELiteGTI) S 17693 17695 17416 0 -1 4194304 336 39434 0 0 0 0 2093 30 16 0 1 0 310569170 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17695/statm: 1339 239 197 169 0 50 0
[pid=17701] ppid=17695 vsize=31840 CPUtime=29.74
/proc/17701/stat : 17701 (minisat_static) R 17695 17695 17416 0 -1 4194304 7653 0 0 0 2967 7 0 0 25 0 1 0 310571300 32604160 7639 1992294400 134512640 135215339 4294956240 18446744073709551615 134526262 0 0 4096 3 0 0 0 17 0 0 0
/proc/17701/statm: 7960 7639 77 171 0 7787 0
Current children cumulated CPU time (s) 50.97
Current children cumulated vsize (KiB) 37196
[startup+102.305 s]
/proc/loadavg: 1.09 1.10 1.03 2/66 17701
/proc/meminfo: memFree=1914776/2055920 swapFree=4180444/4192956
[pid=17695] ppid=17693 vsize=5356 CPUtime=21.23
/proc/17695/stat : 17695 (SatELiteGTI) S 17693 17695 17416 0 -1 4194304 336 39434 0 0 0 0 2093 30 16 0 1 0 310569170 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17695/statm: 1339 239 197 169 0 50 0
[pid=17701] ppid=17695 vsize=42100 CPUtime=80.89
/proc/17701/stat : 17701 (minisat_static) R 17695 17695 17416 0 -1 4194304 10159 0 0 0 8079 10 0 0 25 0 1 0 310571300 43110400 10145 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/17701/statm: 10525 10145 77 171 0 10352 0
Current children cumulated CPU time (s) 102.12
Current children cumulated vsize (KiB) 47456
[startup+162.302 s]
/proc/loadavg: 1.03 1.08 1.03 2/66 17701
/proc/meminfo: memFree=1908568/2055920 swapFree=4180444/4192956
[pid=17695] ppid=17693 vsize=5356 CPUtime=21.23
/proc/17695/stat : 17695 (SatELiteGTI) S 17693 17695 17416 0 -1 4194304 336 39434 0 0 0 0 2093 30 16 0 1 0 310569170 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17695/statm: 1339 239 197 169 0 50 0
[pid=17701] ppid=17695 vsize=48096 CPUtime=140.84
/proc/17701/stat : 17701 (minisat_static) R 17695 17695 17416 0 -1 4194304 11689 0 0 0 14073 11 0 0 25 0 1 0 310571300 49250304 11675 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/17701/statm: 12024 11675 77 171 0 11851 0
Current children cumulated CPU time (s) 162.07
Current children cumulated vsize (KiB) 53452
[startup+222.302 s]
/proc/loadavg: 1.01 1.06 1.02 2/66 17701
/proc/meminfo: memFree=1899864/2055920 swapFree=4180444/4192956
[pid=17695] ppid=17693 vsize=5356 CPUtime=21.23
/proc/17695/stat : 17695 (SatELiteGTI) S 17693 17695 17416 0 -1 4194304 336 39434 0 0 0 0 2093 30 16 0 1 0 310569170 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17695/statm: 1339 239 197 169 0 50 0
[pid=17701] ppid=17695 vsize=56640 CPUtime=200.82
/proc/17701/stat : 17701 (minisat_static) R 17695 17695 17416 0 -1 4194304 13797 0 0 0 20069 13 0 0 25 0 1 0 310571300 57999360 13783 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 0 0 0
/proc/17701/statm: 14160 13783 77 171 0 13987 0
Current children cumulated CPU time (s) 222.05
Current children cumulated vsize (KiB) 61996
[startup+282.301 s]
/proc/loadavg: 1.00 1.05 1.02 2/66 17701
/proc/meminfo: memFree=1893144/2055920 swapFree=4180444/4192956
[pid=17695] ppid=17693 vsize=5356 CPUtime=21.23
/proc/17695/stat : 17695 (SatELiteGTI) S 17693 17695 17416 0 -1 4194304 336 39434 0 0 0 0 2093 30 16 0 1 0 310569170 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17695/statm: 1339 239 197 169 0 50 0
[pid=17701] ppid=17695 vsize=63288 CPUtime=260.79
/proc/17701/stat : 17701 (minisat_static) R 17695 17695 17416 0 -1 4194304 15479 0 0 0 26063 16 0 0 25 0 1 0 310571300 64806912 15465 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/17701/statm: 15822 15465 77 171 0 15649 0
Current children cumulated CPU time (s) 282.02
Current children cumulated vsize (KiB) 68644
[startup+342.302 s]
/proc/loadavg: 1.00 1.04 1.01 2/66 17701
/proc/meminfo: memFree=1887896/2055920 swapFree=4180444/4192956
[pid=17695] ppid=17693 vsize=5356 CPUtime=21.23
/proc/17695/stat : 17695 (SatELiteGTI) S 17693 17695 17416 0 -1 4194304 336 39434 0 0 0 0 2093 30 16 0 1 0 310569170 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17695/statm: 1339 239 197 169 0 50 0
[pid=17701] ppid=17695 vsize=68996 CPUtime=320.77
/proc/17701/stat : 17701 (minisat_static) R 17695 17695 17416 0 -1 4194304 16741 0 0 0 32061 16 0 0 25 0 1 0 310571300 70651904 16727 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/17701/statm: 17249 16727 77 171 0 17076 0
Current children cumulated CPU time (s) 342
Current children cumulated vsize (KiB) 74352
[startup+402.301 s]
/proc/loadavg: 1.00 1.03 1.00 2/66 17701
/proc/meminfo: memFree=1884440/2055920 swapFree=4180444/4192956
[pid=17695] ppid=17693 vsize=5356 CPUtime=21.23
/proc/17695/stat : 17695 (SatELiteGTI) S 17693 17695 17416 0 -1 4194304 336 39434 0 0 0 0 2093 30 16 0 1 0 310569170 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17695/statm: 1339 239 197 169 0 50 0
[pid=17701] ppid=17695 vsize=72400 CPUtime=380.75
/proc/17701/stat : 17701 (minisat_static) R 17695 17695 17416 0 -1 4194304 17599 0 0 0 38057 18 0 0 25 0 1 0 310571300 74137600 17585 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/17701/statm: 18100 17585 77 171 0 17927 0
Current children cumulated CPU time (s) 401.98
Current children cumulated vsize (KiB) 77756
[startup+462.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/66 17701
/proc/meminfo: memFree=1879640/2055920 swapFree=4180444/4192956
[pid=17695] ppid=17693 vsize=5356 CPUtime=21.23
/proc/17695/stat : 17695 (SatELiteGTI) S 17693 17695 17416 0 -1 4194304 336 39434 0 0 0 0 2093 30 16 0 1 0 310569170 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17695/statm: 1339 239 197 169 0 50 0
[pid=17701] ppid=17695 vsize=77084 CPUtime=440.72
/proc/17701/stat : 17701 (minisat_static) R 17695 17695 17416 0 -1 4194304 18778 0 0 0 44053 19 0 0 25 0 1 0 310571300 78934016 18764 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 0 0 0
/proc/17701/statm: 19271 18764 77 171 0 19098 0
Current children cumulated CPU time (s) 461.95
Current children cumulated vsize (KiB) 82440
[startup+522.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/66 17701
/proc/meminfo: memFree=1875032/2055920 swapFree=4180444/4192956
[pid=17695] ppid=17693 vsize=5356 CPUtime=21.23
/proc/17695/stat : 17695 (SatELiteGTI) S 17693 17695 17416 0 -1 4194304 336 39434 0 0 0 0 2093 30 16 0 1 0 310569170 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17695/statm: 1339 239 197 169 0 50 0
[pid=17701] ppid=17695 vsize=81512 CPUtime=500.7
/proc/17701/stat : 17701 (minisat_static) R 17695 17695 17416 0 -1 4194304 19915 0 0 0 50050 20 0 0 25 0 1 0 310571300 83468288 19901 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/17701/statm: 20378 19901 77 171 0 20205 0
Current children cumulated CPU time (s) 521.93
Current children cumulated vsize (KiB) 86868
[startup+582.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 17701
/proc/meminfo: memFree=1872408/2055920 swapFree=4180444/4192956
[pid=17695] ppid=17693 vsize=5356 CPUtime=21.23
/proc/17695/stat : 17695 (SatELiteGTI) S 17693 17695 17416 0 -1 4194304 336 39434 0 0 0 0 2093 30 16 0 1 0 310569170 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17695/statm: 1339 239 197 169 0 50 0
[pid=17701] ppid=17695 vsize=84016 CPUtime=560.67
/proc/17701/stat : 17701 (minisat_static) R 17695 17695 17416 0 -1 4194304 20509 0 0 0 56047 20 0 0 25 0 1 0 310571300 86032384 20495 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/17701/statm: 21004 20495 77 171 0 20831 0
Current children cumulated CPU time (s) 581.9
Current children cumulated vsize (KiB) 89372
Solver just ended. Dumping a history of the last processes samples
[startup+583.901 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 17701
/proc/meminfo: memFree=1872408/2055920 swapFree=4180444/4192956
[pid=17695] ppid=17693 vsize=5356 CPUtime=21.23
/proc/17695/stat : 17695 (SatELiteGTI) S 17693 17695 17416 0 -1 4194304 336 39434 0 0 0 0 2093 30 16 0 1 0 310569170 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17695/statm: 1339 239 197 169 0 50 0
[pid=17701] ppid=17695 vsize=84016 CPUtime=562.27
/proc/17701/stat : 17701 (minisat_static) R 17695 17695 17416 0 -1 4194304 20509 0 0 0 56207 20 0 0 25 0 1 0 310571300 86032384 20495 1992294400 134512640 135215339 4294956240 18446744073709551615 134528669 0 0 4096 3 0 0 0 17 0 0 0
/proc/17701/statm: 21004 20495 77 171 0 20831 0
Current children cumulated CPU time (s) 583.5
Current children cumulated vsize (KiB) 89372
[startup+585.502 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 17701
/proc/meminfo: memFree=1872408/2055920 swapFree=4180444/4192956
[pid=17695] ppid=17693 vsize=5356 CPUtime=21.23
/proc/17695/stat : 17695 (SatELiteGTI) S 17693 17695 17416 0 -1 4194304 336 39434 0 0 0 0 2093 30 16 0 1 0 310569170 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17695/statm: 1339 239 197 169 0 50 0
[pid=17701] ppid=17695 vsize=84016 CPUtime=563.87
/proc/17701/stat : 17701 (minisat_static) R 17695 17695 17416 0 -1 4194304 20509 0 0 0 56367 20 0 0 25 0 1 0 310571300 86032384 20495 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/17701/statm: 21004 20495 77 171 0 20831 0
Current children cumulated CPU time (s) 585.1
Current children cumulated vsize (KiB) 89372
[startup+585.903 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 17701
/proc/meminfo: memFree=1872408/2055920 swapFree=4180444/4192956
[pid=17695] ppid=17693 vsize=5356 CPUtime=21.23
/proc/17695/stat : 17695 (SatELiteGTI) S 17693 17695 17416 0 -1 4194304 336 39434 0 0 0 0 2093 30 16 0 1 0 310569170 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17695/statm: 1339 239 197 169 0 50 0
[pid=17701] ppid=17695 vsize=84016 CPUtime=564.27
/proc/17701/stat : 17701 (minisat_static) R 17695 17695 17416 0 -1 4194304 20509 0 0 0 56407 20 0 0 25 0 1 0 310571300 86032384 20495 1992294400 134512640 135215339 4294956240 18446744073709551615 134526369 0 0 4096 3 0 0 0 17 0 0 0
/proc/17701/statm: 21004 20495 77 171 0 20831 0
Current children cumulated CPU time (s) 585.5
Current children cumulated vsize (KiB) 89372
[startup+586.307 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 17701
/proc/meminfo: memFree=1872408/2055920 swapFree=4180444/4192956
[pid=17695] ppid=17693 vsize=5360 CPUtime=585.92
/proc/17695/stat : 17695 (SatELiteGTI) R 17693 17695 17416 0 -1 4194304 341 59949 0 0 0 0 58540 52 19 0 1 0 310569170 5488640 241 1992294400 4194304 4889804 548682068832 18446744073709551615 221954931301 0 0 4100 65536 0 0 0 17 0 0 0
/proc/17695/statm: 1340 241 198 169 0 51 0
Current children cumulated CPU time (s) 585.92
Current children cumulated vsize (KiB) 5360
Child status: 20
Real time (s): 586.321
CPU time (s): 585.949
CPU user time (s): 585.407
CPU system time (s): 0.541917
CPU usage (%): 99.9366
Max. virtual memory (cumulated for all children) (KiB): 153484
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 585.407
system time used= 0.541917
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 60440
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= 53
involuntary context switches= 2913
runsolver used 0.628904 second user time and 1.57776 second system time
The end
Begin job on node43 at 2009-05-20 15:16:51
IDJOB=1833837
IDBENCH=70960
IDSOLVER=671
FILE ID=node43/1833837-1242825409
PBS_JOBID= 9322541
Free space on /tmp= 66136 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/bioinfo/q_query_3_L80_coli.sat.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1833837-1242825409/watcher-1833837-1242825409 -o /tmp/evaluation-result-1833837-1242825409/solver-1833837-1242825409 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833837-1242825409.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= eb71c8cb3482ee70f1c98af8944179ca
RANDOM SEED=165731225
node43.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.237
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.237
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: 1976520 kB
Buffers: 1060 kB
Cached: 42316 kB
SwapCached: 5992 kB
Active: 43600 kB
Inactive: 7964 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1976520 kB
SwapTotal: 4192956 kB
SwapFree: 4180444 kB
Dirty: 25036 kB
Writeback: 0 kB
Mapped: 13940 kB
Slab: 13800 kB
Committed_AS: 1140012 kB
PageTables: 1448 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= 66132 MiB
End job on node43 at 2009-05-20 15:26:38