0.00/0.00 c Parsing...
1.02/1.10 c ==============================================================================
1.02/1.10 c | | ORIGINAL | LEARNT | |
1.02/1.10 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
1.02/1.10 c ==============================================================================
1.02/1.10 c | 0 | 1108439 3246165 | 332531 0 0 nan | 0.000 % |
26.62/26.70 c | 0 | 365178 1362642 | -- 0 -- -- | -- | -599968/-1491637
26.72/26.71 c ==============================================================================
26.72/26.71 c Result : #vars: 34857 #clauses: 365178 #literals: 1362642
26.72/26.71 c CPU time: 26.46 s
26.72/26.71 c ==============================================================================
27.22/27.22 c This is MiniSat 2.0 beta
27.22/27.22 c WARNING: for repeatability, setting FPU to use double precision
27.22/27.22 c ============================[ Problem Statistics ]=============================
27.22/27.22 c | |
27.22/27.22 c | Number of variables: 34857 |
27.22/27.22 c | Number of clauses: 365178 |
27.43/27.46 c | Parsing time: 0.17 s |
27.43/27.48 c ============================[ Search Statistics ]==============================
27.43/27.48 c | Conflicts | ORIGINAL | LEARNT | Progress |
27.43/27.48 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
27.43/27.48 c ===============================================================================
27.43/27.48 c | 0 | 34857 365178 1362642 | 121726 0 nan | 0.000 % |
27.54/27.53 c | 100 | 34819 365178 1362642 | 121726 90 7 | 0.450 % |
27.54/27.54 c | 201 | 34819 365178 1362642 | 121726 191 9 | 0.450 % |
27.54/27.55 c | 302 | 34813 365178 1362642 | 121726 290 10 | 0.726 % |
27.63/27.67 c | 412 | 34799 365178 1362642 | 121726 399 11 | 0.861 % |
27.63/27.68 c | 512 | 34799 365178 1362642 | 121726 499 12 | 0.861 % |
27.63/27.69 c | 625 | 34776 365178 1362642 | 121726 609 11 | 0.958 % |
27.73/27.71 c | 750 | 34775 365178 1362642 | 121726 734 11 | 0.958 % |
27.73/27.76 c | 850 | 34709 365178 1362642 | 121726 830 11 | 1.314 % |
27.83/27.81 c | 960 | 34656 365178 1362642 | 121726 940 10 | 1.314 % |
27.83/27.85 c | 1083 | 34656 365178 1362642 | 121726 1063 11 | 1.314 % |
27.93/27.91 c | 1216 | 34656 365178 1362642 | 121726 1196 11 | 1.314 % |
27.93/27.93 c | 1316 | 34656 365178 1362642 | 121726 1296 11 | 1.314 % |
27.93/27.93 c | 1427 | 34656 365178 1362642 | 121726 1407 11 | 1.314 % |
27.93/27.95 c | 1548 | 34656 365178 1362642 | 121726 1528 10 | 1.314 % |
27.93/27.96 c | 1682 | 34656 365178 1362642 | 121726 1662 10 | 1.314 % |
28.03/28.01 c | 1829 | 34595 365178 1362642 | 121726 1799 11 | 1.609 % |
28.03/28.05 c | 1930 | 34595 365178 1362642 | 121726 1900 11 | 1.609 % |
28.03/28.10 c | 2042 | 34580 365178 1362642 | 121726 2011 10 | 1.650 % |
28.13/28.13 c | 2164 | 34580 365178 1362642 | 121726 2133 10 | 1.650 % |
28.13/28.18 c | 2297 | 34580 365178 1362642 | 121726 2266 11 | 1.650 % |
28.13/28.19 c | 2443 | 34580 365178 1362642 | 121726 2412 11 | 1.650 % |
28.13/28.20 c | 2604 | 34580 365178 1362642 | 121726 2573 11 | 1.650 % |
28.23/28.21 c | 2704 | 34580 365178 1362642 | 121726 2673 11 | 1.650 % |
28.23/28.23 c | 2815 | 34580 365178 1362642 | 121726 2784 11 | 1.650 % |
28.23/28.24 c | 2937 | 34580 365178 1362642 | 121726 2906 11 | 1.650 % |
28.23/28.26 c | 3072 | 34580 365178 1362642 | 121726 3041 11 | 1.650 % |
28.23/28.28 c | 3218 | 34580 365178 1362642 | 121726 3187 11 | 1.650 % |
28.23/28.30 c | 3379 | 34580 365178 1362642 | 121726 3348 12 | 1.650 % |
28.33/28.32 c | 3556 | 34580 365178 1362642 | 121726 3525 12 | 1.650 % |
28.33/28.34 c | 3658 | 34580 365178 1362642 | 121726 3627 12 | 1.650 % |
28.33/28.34 c | 3768 | 34580 365178 1362642 | 121726 3737 12 | 1.650 % |
28.33/28.36 c | 3890 | 34580 365178 1362642 | 121726 3859 12 | 1.650 % |
28.33/28.38 c | 4023 | 34580 365178 1362642 | 121726 3992 12 | 1.650 % |
28.33/28.38 c | 4169 | 34580 365178 1362642 | 121726 4138 12 | 1.650 % |
28.33/28.40 c | 4329 | 34580 365178 1362642 | 121726 4298 12 | 1.650 % |
28.42/28.42 c | 4506 | 34580 365178 1362642 | 121726 4475 12 | 1.650 % |
28.42/28.44 c | 4700 | 34580 365178 1362642 | 121726 4669 12 | 1.650 % |
28.42/28.45 c | 4800 | 34580 365178 1362642 | 121726 4769 12 | 1.650 % |
28.42/28.47 c | 4912 | 34580 365178 1362642 | 121726 4881 12 | 1.650 % |
28.42/28.49 c | 5035 | 34580 365178 1362642 | 121726 5004 12 | 1.650 % |
28.51/28.54 c | 5168 | 34282 337494 1207725 | 121726 4745 13 | 1.650 % |
28.51/28.55 c | 5314 | 34282 337494 1207725 | 121726 4891 12 | 1.650 % |
28.51/28.57 c | 5474 | 34282 337494 1207725 | 121726 5051 13 | 1.650 % |
28.51/28.59 c | 5652 | 34282 337494 1207725 | 121726 5229 12 | 1.650 % |
28.51/28.61 c | 5845 | 34282 337494 1207725 | 121726 5422 13 | 1.650 % |
28.62/28.63 c | 6057 | 34282 337494 1207725 | 121726 5634 13 | 1.650 % |
28.62/28.64 c | 6158 | 34282 337494 1207725 | 121726 5735 13 | 1.650 % |
28.62/28.66 c | 6268 | 34282 337494 1207725 | 121726 5845 13 | 1.650 % |
28.62/28.68 c | 6390 | 34282 337494 1207725 | 121726 5967 13 | 1.650 % |
28.62/28.70 c | 6525 | 34282 337494 1207725 | 121726 6102 13 | 1.650 % |
28.71/28.72 c | 6674 | 34282 337494 1207725 | 121726 6251 13 | 1.650 % |
28.71/28.75 c | 6835 | 34282 337494 1207725 | 121726 6412 13 | 1.650 % |
28.71/28.77 c | 7014 | 34282 337494 1207725 | 121726 6591 13 | 1.650 % |
28.71/28.79 c | 7207 | 34282 337494 1207725 | 121726 6784 14 | 1.650 % |
28.81/28.82 c | 7419 | 34282 337494 1207725 | 121726 6996 14 | 1.650 % |
28.81/28.86 c | 7652 | 34282 337494 1207725 | 121726 7229 14 | 1.650 % |
28.81/28.88 c | 7752 | 34282 337494 1207725 | 121726 7329 14 | 1.650 % |
28.81/28.90 c | 7862 | 34282 337494 1207725 | 121726 7439 14 | 1.650 % |
28.91/28.93 c | 7983 | 34282 337494 1207725 | 121726 7560 14 | 1.650 % |
28.91/28.95 c | 8117 | 34282 337494 1207725 | 121726 7694 14 | 1.650 % |
28.91/28.98 c | 8264 | 34282 337494 1207725 | 121726 7841 14 | 1.650 % |
29.01/29.02 c | 8424 | 34282 337494 1207725 | 121726 8001 14 | 1.650 % |
29.01/29.08 c | 8600 | 34282 337494 1207725 | 121726 8177 14 | 1.650 % |
29.11/29.13 c | 8793 | 34282 337494 1207725 | 121726 8370 14 | 1.650 % |
29.11/29.17 c | 9005 | 34282 337494 1207725 | 121726 8582 14 | 1.650 % |
29.21/29.21 c | 9238 | 34282 337494 1207725 | 121726 8815 14 | 1.650 % |
29.21/29.26 c | 9494 | 34282 337494 1207725 | 121726 9071 14 | 1.650 % |
29.21/29.27 c | 9595 | 34282 337494 1207725 | 121726 9172 14 | 1.650 % |
29.21/29.29 c | 9706 | 34282 337494 1207725 | 121726 9283 15 | 1.650 % |
29.31/29.31 c | 9827 | 34282 337494 1207725 | 121726 9404 15 | 1.650 % |
29.31/29.35 c | 9960 | 34282 337494 1207725 | 121726 9537 15 | 1.650 % |
29.31/29.38 c | 10106 | 34282 337494 1207725 | 2147483647 9683 15 | 1.650 % |
29.41/29.42 c | 10267 | 34282 337494 1207725 | 2147483647 9844 15 | 1.650 % |
29.41/29.43 c | 10443 | 34282 337494 1207725 | 2147483647 10020 15 | 1.650 % |
29.41/29.46 c | 10636 | 34282 337494 1207725 | 2147483647 10213 15 | 1.650 % |
29.41/29.49 c | 10849 | 34282 337494 1207725 | 2147483647 10426 15 | 1.650 % |
29.51/29.51 c | 11082 | 34282 337494 1207725 | 2147483647 10659 15 | 1.650 % |
29.51/29.56 c | 11339 | 34282 337494 1207725 | 2147483647 10916 15 | 1.650 % |
29.51/29.60 c | 11621 | 34282 337494 1207725 | 2147483647 11198 15 | 1.650 % |
29.61/29.61 c | 11721 | 34282 337494 1207725 | 2147483647 11298 15 | 1.650 % |
29.61/29.66 c | 11832 | 34282 337494 1207725 | 2147483647 11409 15 | 1.650 % |
29.61/29.69 c | 11954 | 34282 337494 1207725 | 2147483647 11531 15 | 1.650 % |
29.61/29.71 c | 12087 | 34282 337494 1207725 | 2147483647 11664 15 | 1.650 % |
29.72/29.74 c | 12234 | 34282 337494 1207725 | 2147483647 11811 15 | 1.650 % |
29.72/29.76 c | 12395 | 34282 337494 1207725 | 2147483647 11972 15 | 1.650 % |
29.72/29.80 c | 12571 | 34282 337494 1207725 | 2147483647 12148 15 | 1.650 % |
29.81/29.82 c | 12764 | 34282 337494 1207725 | 2147483647 12341 15 | 1.650 % |
29.81/29.87 c | 12977 | 34282 337494 1207725 | 2147483647 12554 15 | 1.650 % |
29.91/29.91 c | 13212 | 34282 337494 1207725 | 2147483647 12789 15 | 1.650 % |
29.91/29.95 c | 13468 | 34282 337494 1207725 | 2147483647 13045 15 | 1.650 % |
29.91/29.98 c | 13749 | 34282 337494 1207725 | 2147483647 13326 15 | 1.650 % |
30.01/30.01 c | 14061 | 34282 337494 1207725 | 2147483647 13638 15 | 1.650 % |
30.01/30.03 c | 14162 | 34282 337494 1207725 | 2147483647 13739 15 | 1.650 % |
30.01/30.05 c | 14273 | 34282 337494 1207725 | 2147483647 13850 15 | 1.650 % |
30.01/30.08 c | 14394 | 34282 337494 1207725 | 2147483647 13971 15 | 1.650 % |
30.01/30.10 c | 14528 | 34282 337494 1207725 | 2147483647 14105 15 | 1.650 % |
30.11/30.12 c | 14676 | 34282 337494 1207725 | 2147483647 14253 16 | 1.650 % |
30.11/30.14 c | 14836 | 34282 337494 1207725 | 2147483647 14413 16 | 1.650 % |
30.11/30.17 c | 15017 | 34282 337494 1207725 | 2147483647 14594 16 | 1.650 % |
30.11/30.20 c | 15210 | 34282 337494 1207725 | 2147483647 14787 16 | 1.650 % |
30.21/30.22 c | 15422 | 34282 337494 1207725 | 2147483647 14999 16 | 1.650 % |
30.21/30.26 c | 15656 | 34282 337494 1207725 | 2147483647 15233 16 | 1.650 % |
30.21/30.29 c | 15912 | 34282 337494 1207725 | 2147483647 15489 16 | 1.650 % |
30.31/30.36 c | 16194 | 34282 337494 1207725 | 2147483647 15771 16 | 1.650 % |
30.40/30.43 c | 16504 | 34282 337494 1207725 | 2147483647 16081 16 | 1.650 % |
30.40/30.48 c | 16844 | 34282 337494 1207725 | 2147483647 16421 16 | 1.650 % |
30.50/30.51 c | 16944 | 34282 337494 1207725 | 2147483647 16521 16 | 1.650 % |
30.50/30.54 c | 17054 | 34282 337494 1207725 | 2147483647 16631 16 | 1.650 % |
30.50/30.56 c | 17175 | 34282 337494 1207725 | 2147483647 16752 16 | 1.650 % |
30.60/30.61 c | 17308 | 34282 337494 1207725 | 2147483647 16885 16 | 1.650 % |
30.60/30.65 c | 17454 | 34282 337494 1207725 | 2147483647 17031 16 | 1.650 % |
30.60/30.68 c | 17615 | 34282 337494 1207725 | 2147483647 17192 16 | 1.650 % |
30.70/30.74 c | 17791 | 34282 337494 1207725 | 2147483647 17368 16 | 1.650 % |
30.70/30.80 c | 17984 | 34282 337494 1207725 | 2147483647 17561 16 | 1.650 % |
30.81/30.86 c | 18200 | 34282 337494 1207725 | 2147483647 17777 16 | 1.650 % |
30.90/30.93 c | 18433 | 34282 337494 1207725 | 2147483647 18010 16 | 1.650 % |
30.90/30.98 c | 18690 | 34282 337494 1207725 | 2147483647 18267 17 | 1.650 % |
31.00/31.02 c | 18972 | 34282 337494 1207725 | 2147483647 18549 17 | 1.650 % |
31.00/31.06 c | 19281 | 34282 337494 1207725 | 2147483647 18858 17 | 1.650 % |
31.00/31.10 c | 19623 | 34282 337494 1207725 | 2147483647 19200 17 | 1.650 % |
31.10/31.20 c | 19995 | 34282 337494 1207725 | 2147483647 19572 17 | 1.650 % |
31.20/31.23 c | 20097 | 34282 337494 1207725 | 2147483647 19674 17 | 1.650 % |
31.20/31.25 c | 20207 | 34282 337494 1207725 | 2147483647 19784 17 | 1.650 % |
31.20/31.27 c | 20328 | 34282 337494 1207725 | 2147483647 19905 17 | 1.650 % |
31.20/31.29 c | 20463 | 34282 337494 1207725 | 2147483647 20040 17 | 1.650 % |
31.30/31.32 c | 20609 | 34282 337494 1207725 | 2147483647 20186 17 | 1.650 % |
31.30/31.36 c | 20769 | 34282 337494 1207725 | 2147483647 20346 17 | 1.650 % |
31.30/31.40 c | 20945 | 34282 337494 1207725 | 2147483647 20522 17 | 1.650 % |
31.40/31.43 c | 21139 | 34282 337494 1207725 | 2147483647 20716 17 | 1.650 % |
31.40/31.47 c | 21353 | 34282 337494 1207725 | 2147483647 20930 17 | 1.650 % |
31.50/31.53 c | 21586 | 34282 337494 1207725 | 2147483647 21163 17 | 1.650 % |
31.50/31.57 c | 21842 | 34282 337494 1207725 | 2147483647 21419 17 | 1.650 % |
31.60/31.64 c | 22125 | 34282 337494 1207725 | 2147483647 21702 17 | 1.650 % |
31.70/31.73 c | 22434 | 34282 337494 1207725 | 2147483647 22011 17 | 1.650 % |
31.70/31.79 c | 22774 | 34282 337494 1207725 | 2147483647 22351 17 | 1.650 % |
31.80/31.85 c | 23147 | 34282 337494 1207725 | 2147483647 22724 17 | 1.650 % |
31.80/31.91 c | 23557 | 34282 337494 1207725 | 2147483647 23134 17 | 1.650 % |
31.91/31.94 c | 23658 | 34282 337494 1207725 | 2147483647 23235 17 | 1.650 % |
31.91/31.98 c | 23770 | 34282 337494 1207725 | 2147483647 23347 17 | 1.650 % |
32.00/32.02 c | 23891 | 34282 337494 1207725 | 2147483647 23468 17 | 1.650 % |
32.00/32.05 c | 24024 | 34282 337494 1207725 | 2147483647 23601 17 | 1.650 % |
32.00/32.09 c | 24170 | 34282 337494 1207725 | 2147483647 23747 17 | 1.650 % |
32.10/32.12 c | 24332 | 34282 337494 1207725 | 2147483647 23909 17 | 1.650 % |
32.10/32.15 c | 24508 | 34282 337494 1207725 | 2147483647 24085 17 | 1.650 % |
32.20/32.21 c | 24703 | 34282 337494 1207725 | 2147483647 24280 17 | 1.650 % |
32.20/32.28 c | 24915 | 34282 337494 1207725 | 2147483647 24492 17 | 1.650 % |
32.30/32.34 c | 25149 | 34282 337494 1207725 | 2147483647 24726 17 | 1.650 % |
32.30/32.39 c | 25405 | 34282 337494 1207725 | 2147483647 24982 17 | 1.650 % |
32.40/32.48 c | 25686 | 34282 337494 1207725 | 2147483647 25263 17 | 1.650 % |
32.50/32.52 c | 25995 | 34282 337494 1207725 | 2147483647 25572 17 | 1.650 % |
32.50/32.59 c | 26335 | 34282 337494 1207725 | 2147483647 25912 17 | 1.650 % |
32.60/32.67 c | 26707 | 34282 337494 1207725 | 2147483647 26284 17 | 1.650 % |
32.70/32.75 c | 27120 | 34282 337494 1207725 | 2147483647 26697 17 | 1.650 % |
32.80/32.83 c | 27570 | 34282 337494 1207725 | 2147483647 27147 17 | 1.650 % |
32.80/32.88 c | 27676 | 34282 337494 1207725 | 2147483647 27253 17 | 1.650 % |
32.80/32.90 c | 27786 | 34282 337494 1207725 | 2147483647 27363 17 | 1.650 % |
32.90/32.94 c | 27908 | 34282 337494 1207725 | 2147483647 27485 17 | 1.650 % |
32.90/32.99 c | 28042 | 34282 337494 1207725 | 2147483647 27619 17 | 1.650 % |
33.01/33.06 c | 28188 | 34281 337491 1207719 | 2147483647 27764 17 | 1.652 % |
33.10/33.12 c | 28348 | 34281 337491 1207719 | 2147483647 27924 17 | 1.652 % |
33.10/33.20 c | 28524 | 34281 337491 1207719 | 2147483647 28100 17 | 1.652 % |
33.20/33.29 c | 28717 | 34281 337491 1207719 | 2147483647 28293 18 | 1.652 % |
33.30/33.36 c | 28930 | 34281 337491 1207719 | 2147483647 28506 18 | 1.652 % |
33.30/33.40 c | 29163 | 34281 337491 1207719 | 2147483647 28739 18 | 1.652 % |
33.40/33.49 c | 29419 | 34281 337491 1207719 | 2147483647 28995 18 | 1.652 % |
33.50/33.56 c | 29700 | 34281 337491 1207719 | 2147483647 29276 18 | 1.652 % |
33.60/33.64 c | 30009 | 34281 337491 1207719 | 2147483647 29585 18 | 1.652 % |
33.70/33.77 c | 30348 | 34281 337491 1207719 | 2147483647 29924 18 | 1.652 % |
33.80/33.87 c | 30720 | 34281 337491 1207719 | 2147483647 30296 18 | 1.652 % |
33.90/33.97 c | 31129 | 34281 337491 1207719 | 2147483647 30705 18 | 1.652 % |
34.00/34.09 c | 31578 | 34281 337491 1207719 | 2147483647 31154 18 | 1.652 % |
34.20/34.27 c | 32071 | 34281 337491 1207719 | 2147483647 31647 18 | 1.652 % |
34.30/34.31 c | 32172 | 34281 337491 1207719 | 2147483647 31748 18 | 1.652 % |
34.30/34.34 c | 32286 | 34281 337491 1207719 | 2147483647 31862 18 | 1.652 % |
34.30/34.39 c | 32410 | 34281 337491 1207719 | 2147483647 31986 18 | 1.652 % |
34.40/34.43 c | 32543 | 34281 337491 1207719 | 2147483647 32119 18 | 1.652 % |
34.40/34.47 c | 32691 | 34281 337491 1207719 | 2147483647 32267 18 | 1.652 % |
34.50/34.53 c | 32852 | 34281 337491 1207719 | 2147483647 32428 18 | 1.652 % |
34.50/34.59 c | 33030 | 34281 337491 1207719 | 2147483647 32606 18 | 1.652 % |
34.60/34.67 c | 33224 | 34281 337491 1207719 | 2147483647 32800 18 | 1.652 % |
34.70/34.75 c | 33436 | 34281 337491 1207719 | 2147483647 33012 18 | 1.652 % |
34.80/34.83 c | 33670 | 34281 337491 1207719 | 2147483647 33246 18 | 1.652 % |
34.90/34.95 c | 33929 | 34281 337491 1207719 | 2147483647 33505 18 | 1.652 % |
35.00/35.03 c | 34210 | 34281 337491 1207719 | 2147483647 33786 18 | 1.652 % |
35.10/35.13 c | 34519 | 34281 337491 1207719 | 2147483647 34095 18 | 1.652 % |
35.21/35.29 c | 34861 | 34281 337491 1207719 | 2147483647 34437 18 | 1.652 % |
35.40/35.46 c | 35234 | 34278 337467 1207637 | 2147483647 34807 18 | 1.661 % |
35.60/35.62 c | 35643 | 34278 337467 1207637 | 2147483647 35216 19 | 1.661 % |
35.70/35.79 c | 36094 | 34278 337467 1207637 | 2147483647 35667 19 | 1.661 % |
35.90/35.93 c | 36588 | 34278 337467 1207637 | 2147483647 36161 19 | 1.661 % |
36.00/36.08 c | 37132 | 34278 337467 1207637 | 2147483647 36705 19 | 1.661 % |
36.10/36.12 c | 37235 | 34278 337467 1207637 | 2147483647 36808 19 | 1.661 % |
36.10/36.16 c | 37350 | 34278 337467 1207637 | 2147483647 36923 19 | 1.661 % |
36.20/36.21 c | 37473 | 34278 337467 1207637 | 2147483647 37046 19 | 1.661 % |
36.20/36.28 c | 37606 | 34278 337467 1207637 | 2147483647 37179 19 | 1.661 % |
36.31/36.32 c | 37753 | 34278 337467 1207637 | 2147483647 37326 19 | 1.661 % |
36.31/36.36 c | 37913 | 34278 337467 1207637 | 2147483647 37486 19 | 1.661 % |
36.40/36.41 c | 38091 | 34278 337467 1207637 | 2147483647 37664 19 | 1.661 % |
36.40/36.49 c | 38284 | 34278 337467 1207637 | 2147483647 37857 19 | 1.661 % |
36.50/36.57 c | 38498 | 34278 337467 1207637 | 2147483647 38071 19 | 1.661 % |
36.60/36.65 c | 38732 | 34278 337467 1207637 | 2147483647 38305 19 | 1.661 % |
36.70/36.75 c | 38988 | 34278 337467 1207637 | 2147483647 38561 19 | 1.661 % |
36.80/36.84 c | 39269 | 34278 337467 1207637 | 2147483647 38842 19 | 1.661 % |
36.90/36.93 c | 39580 | 34278 337467 1207637 | 2147483647 39153 19 | 1.661 % |
37.00/37.03 c | 39919 | 34278 337467 1207637 | 2147483647 39492 19 | 1.661 % |
37.10/37.13 c | 40291 | 34278 337467 1207637 | 2147483647 39864 19 | 1.661 % |
37.30/37.32 c | 40704 | 34278 337467 1207637 | 2147483647 40277 19 | 1.661 % |
37.50/37.51 c | 41153 | 34278 337467 1207637 | 2147483647 40726 19 | 1.661 % |
37.70/37.72 c | 41648 | 34277 337224 1206213 | 2147483647 41220 19 | 1.664 % |
37.80/37.88 c | 42190 | 34277 337224 1206213 | 2147483647 41762 19 | 1.664 % |
38.10/38.17 c | 42786 | 34277 337224 1206213 | 2147483647 42358 19 | 1.664 % |
38.10/38.19 c | 42887 | 34277 337224 1206213 | 2147483647 42459 19 | 1.664 % |
38.20/38.23 c | 43000 | 34277 337224 1206213 | 2147483647 42572 19 | 1.664 % |
38.20/38.30 c | 43121 | 34277 337224 1206213 | 2147483647 42693 19 | 1.664 % |
38.30/38.37 c | 43254 | 34277 337224 1206213 | 2147483647 42826 19 | 1.664 % |
38.40/38.45 c | 43400 | 34277 337224 1206213 | 2147483647 42972 19 | 1.664 % |
38.40/38.51 c | 43561 | 34277 337224 1206213 | 2147483647 43133 19 | 1.664 % |
38.51/38.60 c | 43740 | 34277 337224 1206213 | 2147483647 43312 19 | 1.664 % |
38.60/38.67 c | 43935 | 34277 337224 1206213 | 2147483647 43507 19 | 1.664 % |
38.70/38.78 c | 44148 | 34277 337224 1206213 | 2147483647 43720 19 | 1.664 % |
38.80/38.85 c | 44382 | 34277 337224 1206213 | 2147483647 43954 19 | 1.664 % |
38.90/38.97 c | 44638 | 34277 337224 1206213 | 2147483647 44210 19 | 1.664 % |
39.10/39.11 c | 44920 | 34277 337224 1206213 | 2147483647 44492 19 | 1.664 % |
39.20/39.23 c | 45229 | 34277 337224 1206213 | 2147483647 44801 19 | 1.664 % |
39.30/39.37 c | 45568 | 34277 337224 1206213 | 2147483647 45140 20 | 1.664 % |
39.50/39.56 c | 45941 | 34277 337224 1206213 | 2147483647 45513 20 | 1.664 % |
39.61/39.70 c | 46355 | 34277 337224 1206213 | 2147483647 45927 20 | 1.664 % |
39.80/39.85 c | 46804 | 34277 337224 1206213 | 2147483647 46376 20 | 1.664 % |
40.00/40.08 c | 47297 | 34277 337224 1206213 | 2147483647 46869 20 | 1.664 % |
40.30/40.32 c | 47841 | 34277 337224 1206213 | 2147483647 47413 20 | 1.664 % |
40.60/40.67 c | 48437 | 34277 337224 1206213 | 2147483647 48009 20 | 1.664 % |
41.00/41.01 c | 49093 | 34277 337224 1206213 | 2147483647 48665 20 | 1.664 % |
41.00/41.09 c | 49193 | 34277 337224 1206213 | 2147483647 48765 20 | 1.664 % |
41.10/41.14 c | 49303 | 34277 337224 1206213 | 2147483647 48875 20 | 1.664 % |
41.20/41.21 c | 49424 | 34277 337224 1206213 | 2147483647 48996 20 | 1.664 % |
41.20/41.30 c | 49557 | 34277 337224 1206213 | 2147483647 49129 20 | 1.664 % |
41.30/41.39 c | 49703 | 34277 337224 1206213 | 2147483647 49275 20 | 1.664 % |
41.40/41.44 c | 49864 | 34277 337224 1206213 | 2147483647 49436 20 | 1.664 % |
41.50/41.54 c | 50042 | 34277 337224 1206213 | 2147483647 49614 20 | 1.664 % |
41.50/41.60 c | 50235 | 34277 337224 1206213 | 2147483647 49807 20 | 1.664 % |
41.60/41.67 c | 50448 | 34277 337224 1206213 | 2147483647 50020 20 | 1.664 % |
41.70/41.76 c | 50682 | 34277 337224 1206213 | 2147483647 50254 20 | 1.664 % |
41.81/41.90 c | 50940 | 34277 337224 1206213 | 2147483647 50512 20 | 1.664 % |
42.00/42.01 c | 51221 | 34277 337224 1206213 | 2147483647 50793 20 | 1.664 % |
42.10/42.11 c | 51530 | 34277 337224 1206213 | 2147483647 51102 20 | 1.664 % |
42.30/42.32 c | 51869 | 34277 337224 1206213 | 2147483647 51441 20 | 1.664 % |
42.40/42.49 c | 52241 | 34277 337224 1206213 | 2147483647 51813 20 | 1.664 % |
42.60/42.69 c | 52650 | 34277 337224 1206213 | 2147483647 52222 20 | 1.664 % |
42.80/42.85 c | 53100 | 34277 337224 1206213 | 2147483647 52672 20 | 1.664 % |
43.00/43.02 c | 53596 | 34277 337224 1206213 | 2147483647 53168 20 | 1.664 % |
43.00/43.10 c | 54138 | 34277 337224 1206213 | 2147483647 53710 20 | 1.664 % |
43.20/43.25 c | 54734 | 34277 337224 1206213 | 2147483647 54306 20 | 1.664 % |
43.50/43.52 c | 55390 | 34277 337224 1206213 | 2147483647 54962 20 | 1.664 % |
43.70/43.80 c | 56110 | 34277 337224 1206213 | 2147483647 55682 20 | 1.664 % |
43.80/43.83 c | 56210 | 34277 337224 1206213 | 2147483647 55782 20 | 1.664 % |
43.80/43.87 c | 56320 | 34277 337224 1206213 | 2147483647 55892 20 | 1.664 % |
43.90/43.93 c | 56441 | 34277 337224 1206213 | 2147483647 56013 20 | 1.664 % |
43.90/44.00 c | 56574 | 34277 337224 1206213 | 2147483647 56146 20 | 1.664 % |
44.01/44.09 c | 56722 | 34277 337224 1206213 | 2147483647 56294 20 | 1.664 % |
44.10/44.15 c | 56883 | 34277 337224 1206213 | 2147483647 56455 20 | 1.664 % |
44.20/44.27 c | 57060 | 34277 337224 1206213 | 2147483647 56632 20 | 1.664 % |
44.30/44.35 c | 57254 | 34277 337224 1206213 | 2147483647 56826 20 | 1.664 % |
44.40/44.48 c | 57466 | 34277 337224 1206213 | 2147483647 57038 20 | 1.664 % |
44.60/44.67 c | 57699 | 34277 337224 1206213 | 2147483647 57271 20 | 1.664 % |
44.70/44.79 c | 57955 | 34277 337224 1206213 | 2147483647 57527 20 | 1.664 % |
44.90/44.96 c | 58237 | 34277 337224 1206213 | 2147483647 57809 20 | 1.664 % |
45.11/45.12 c | 58546 | 34277 337224 1206213 | 2147483647 58118 20 | 1.664 % |
45.30/45.32 c | 58886 | 34277 337224 1206213 | 2147483647 58458 20 | 1.664 % |
45.40/45.47 c | 59259 | 34277 337224 1206213 | 2147483647 58831 20 | 1.664 % |
45.70/45.74 c | 59669 | 34277 337224 1206213 | 2147483647 59241 20 | 1.664 % |
45.80/45.89 c | 60119 | 34277 337224 1206213 | 2147483647 59691 20 | 1.664 % |
46.00/46.04 c | 60613 | 34277 337224 1206213 | 2147483647 60185 20 | 1.664 % |
46.10/46.21 c | 61156 | 34277 337224 1206213 | 2147483647 60728 20 | 1.664 % |
46.40/46.43 c | 61752 | 34277 337224 1206213 | 2147483647 61324 20 | 1.664 % |
46.70/46.75 c | 62407 | 34277 337224 1206213 | 2147483647 61979 20 | 1.664 % |
47.10/47.11 c | 63129 | 34277 337224 1206213 | 2147483647 62701 20 | 1.664 % |
47.40/47.46 c | 63922 | 34277 337224 1206213 | 2147483647 63494 20 | 1.664 % |
47.40/47.48 c | 64024 | 34277 337224 1206213 | 2147483647 63596 20 | 1.664 % |
47.50/47.53 c | 64135 | 34277 337224 1206213 | 2147483647 63707 20 | 1.664 % |
47.50/47.57 c | 64256 | 34277 337224 1206213 | 2147483647 63828 20 | 1.664 % |
47.60/47.61 c | 64389 | 34277 337224 1206213 | 2147483647 63961 20 | 1.664 % |
47.60/47.65 c | 64535 | 34277 337224 1206213 | 2147483647 64107 20 | 1.664 % |
47.60/47.70 c | 64695 | 34277 337224 1206213 | 2147483647 64267 20 | 1.664 % |
47.80/47.82 c | 64873 | 34277 337224 1206213 | 2147483647 64445 20 | 1.664 % |
47.90/47.91 c | 65067 | 34277 337224 1206213 | 2147483647 64639 20 | 1.664 % |
48.00/48.04 c | 65280 | 34277 337224 1206213 | 2147483647 64852 20 | 1.664 % |
48.10/48.16 c | 65514 | 34277 337224 1206213 | 2147483647 65086 20 | 1.664 % |
48.30/48.31 c | 65772 | 34277 337224 1206213 | 2147483647 65344 20 | 1.664 % |
48.41/48.44 c | 66053 | 34277 337224 1206213 | 2147483647 65625 20 | 1.664 % |
48.60/48.62 c | 66362 | 34277 337224 1206213 | 2147483647 65934 20 | 1.664 % |
48.80/48.85 c | 66702 | 34277 337224 1206213 | 2147483647 66274 20 | 1.664 % |
48.90/48.98 c | 67074 | 34277 337224 1206213 | 2147483647 66646 21 | 1.664 % |
49.20/49.22 c | 67485 | 34277 337224 1206213 | 2147483647 67057 21 | 1.664 % |
49.40/49.41 c | 67937 | 34277 337224 1206213 | 2147483647 67509 21 | 1.664 % |
49.60/49.69 c | 68430 | 34277 337224 1206213 | 2147483647 68002 21 | 1.664 % |
50.00/50.03 c | 68972 | 34277 337224 1206213 | 2147483647 68544 21 | 1.664 % |
50.30/50.37 c | 69568 | 34277 337224 1206213 | 2147483647 69140 21 | 1.664 % |
50.80/50.83 c | 70223 | 34277 337224 1206213 | 2147483647 69795 21 | 1.664 % |
51.20/51.22 c | 70945 | 34277 337224 1206213 | 2147483647 70517 21 | 1.664 % |
51.71/51.80 c | 71737 | 34277 337224 1206213 | 2147483647 71309 21 | 1.664 % |
52.30/52.32 c | 72608 | 34277 337224 1206213 | 2147483647 72180 21 | 1.664 % |
52.30/52.39 c | 72708 | 34277 337224 1206213 | 2147483647 72280 21 | 1.664 % |
52.40/52.46 c | 72818 | 34277 337224 1206213 | 2147483647 72390 21 | 1.664 % |
52.50/52.52 c | 72940 | 34277 337224 1206213 | 2147483647 72512 21 | 1.664 % |
52.60/52.61 c | 73074 | 34277 337224 1206213 | 2147483647 72646 21 | 1.664 % |
52.70/52.71 c | 73220 | 34277 337224 1206213 | 2147483647 72792 21 | 1.664 % |
52.81/52.82 c | 73380 | 34277 337224 1206213 | 2147483647 72952 21 | 1.664 % |
52.90/52.96 c | 73557 | 34277 337224 1206213 | 2147483647 73129 21 | 1.664 % |
53.00/53.08 c | 73750 | 34277 337224 1206213 | 2147483647 73322 21 | 1.664 % |
53.20/53.25 c | 73965 | 34277 337224 1206213 | 2147483647 73537 21 | 1.664 % |
53.30/53.40 c | 74198 | 34277 337224 1206213 | 2147483647 73770 21 | 1.664 % |
53.50/53.52 c | 74455 | 34277 337224 1206213 | 2147483647 74027 21 | 1.664 % |
53.60/53.65 c | 74736 | 34277 337224 1206213 | 2147483647 74308 21 | 1.664 % |
53.81/53.86 c | 75047 | 34277 337224 1206213 | 2147483647 74619 21 | 1.664 % |
54.01/54.05 c | 75386 | 34277 337224 1206213 | 2147483647 74958 21 | 1.664 % |
54.21/54.25 c | 75758 | 34277 337224 1206213 | 2147483647 75330 21 | 1.664 % |
54.41/54.49 c | 76167 | 34277 337224 1206213 | 2147483647 75739 21 | 1.664 % |
54.61/54.70 c | 76620 | 34277 337224 1206213 | 2147483647 76192 21 | 1.664 % |
55.01/55.10 c | 77113 | 34277 337224 1206213 | 2147483647 76685 21 | 1.664 % |
55.21/55.31 c | 77655 | 34277 337224 1206213 | 2147483647 77227 21 | 1.664 % |
55.61/55.70 c | 78252 | 34277 337224 1206213 | 2147483647 77824 21 | 1.664 % |
56.11/56.14 c | 78909 | 34277 337224 1206213 | 2147483647 78481 21 | 1.664 % |
56.51/56.57 c | 79629 | 34277 337224 1206213 | 2147483647 79201 21 | 1.664 % |
57.01/57.11 c | 80421 | 34277 337224 1206213 | 2147483647 79993 21 | 1.664 % |
57.61/57.65 c | 81292 | 34277 337224 1206213 | 2147483647 80864 21 | 1.664 % |
58.11/58.21 c | 82251 | 34277 337224 1206213 | 2147483647 81823 21 | 1.664 % |
58.21/58.27 c | 82353 | 34277 337224 1206213 | 2147483647 81925 21 | 1.664 % |
58.31/58.37 c | 82465 | 34277 337224 1206213 | 2147483647 82037 21 | 1.664 % |
58.41/58.50 c | 82589 | 34277 337224 1206213 | 2147483647 82161 21 | 1.664 % |
58.51/58.61 c | 82722 | 34277 337224 1206213 | 2147483647 82294 21 | 1.664 % |
58.71/58.73 c | 82870 | 34277 337224 1206213 | 2147483647 82442 21 | 1.664 % |
58.81/58.90 c | 83031 | 34274 337200 1206131 | 2147483647 82601 21 | 1.673 % |
59.01/59.03 c | 83207 | 34274 337200 1206131 | 2147483647 82777 21 | 1.673 % |
59.11/59.19 c | 83400 | 34274 337200 1206131 | 2147483647 82970 21 | 1.673 % |
59.31/59.35 c | 83612 | 34274 337200 1206131 | 2147483647 83182 21 | 1.673 % |
59.51/59.53 c | 83845 | 34274 337200 1206131 | 2147483647 83415 21 | 1.673 % |
59.71/59.72 c | 84102 | 34274 337200 1206131 | 2147483647 83672 21 | 1.673 % |
59.81/59.86 c | 84384 | 34274 337200 1206131 | 2147483647 83954 21 | 1.673 % |
60.01/60.04 c | 84693 | 34274 337200 1206131 | 2147483647 84263 21 | 1.673 % |
60.21/60.24 c | 85032 | 34274 337200 1206131 | 2147483647 84602 21 | 1.673 % |
60.51/60.59 c | 85405 | 34274 337200 1206131 | 2147483647 84975 21 | 1.673 % |
60.91/60.99 c | 85815 | 34274 337200 1206131 | 2147483647 85385 21 | 1.673 % |
61.21/61.24 c | 86265 | 34274 337200 1206131 | 2147483647 85835 21 | 1.673 % |
61.31/61.36 c | 86759 | 34274 337200 1206131 | 2147483647 86329 21 | 1.673 % |
61.41/61.45 c | 87303 | 34274 337200 1206131 | 2147483647 86873 21 | 1.673 % |
61.61/61.63 c | 87899 | 34273 337200 1206131 | 2147483647 87468 21 | 1.681 % |
61.71/61.76 c | 88554 | 34273 337200 1206131 | 2147483647 88123 21 | 1.681 % |
61.81/61.91 c | 89275 | 34273 337200 1206131 | 2147483647 88844 21 | 1.681 % |
62.11/62.13 c | 90067 | 34273 337200 1206131 | 2147483647 89636 21 | 1.681 % |
62.81/62.88 c | 90938 | 34273 337200 1206131 | 2147483647 90507 21 | 1.681 % |
63.21/63.28 c | 91896 | 34273 337200 1206131 | 2147483647 91465 22 | 1.681 % |
64.11/64.16 c | 92949 | 34271 336478 1203277 | 2147483647 92518 22 | 1.681 % |
64.21/64.24 c | 93054 | 34271 336478 1203277 | 2147483647 92623 22 | 1.681 % |
64.31/64.36 c | 93166 | 34271 336478 1203277 | 2147483647 92735 22 | 1.681 % |
64.41/64.47 c | 93288 | 34271 336478 1203277 | 2147483647 92857 22 | 1.681 % |
64.51/64.60 c | 93422 | 34271 336478 1203277 | 2147483647 92991 22 | 1.681 % |
64.71/64.72 c | 93569 | 34271 336478 1203277 | 2147483647 93138 22 | 1.681 % |
64.81/64.84 c | 93729 | 34271 336478 1203277 | 2147483647 93298 22 | 1.681 % |
64.91/64.97 c | 93905 | 34271 336478 1203277 | 2147483647 93474 22 | 1.681 % |
65.11/65.21 c | 94098 | 34271 336478 1203277 | 2147483647 93667 22 | 1.681 % |
65.31/65.38 c | 94311 | 34271 336478 1203277 | 2147483647 93880 22 | 1.681 % |
65.51/65.58 c | 94546 | 34271 336478 1203277 | 2147483647 94115 22 | 1.681 % |
65.71/65.80 c | 94804 | 34271 336478 1203277 | 2147483647 94373 22 | 1.681 % |
66.01/66.08 c | 95086 | 34271 336478 1203277 | 2147483647 94655 22 | 1.681 % |
66.31/66.39 c | 95395 | 34271 336478 1203277 | 2147483647 94964 22 | 1.681 % |
66.61/66.65 c | 95734 | 34271 336478 1203277 | 2147483647 95303 22 | 1.681 % |
66.91/66.93 c | 96106 | 34271 336478 1203277 | 2147483647 95675 22 | 1.681 % |
67.21/67.23 c | 96520 | 34271 336478 1203277 | 2147483647 96089 22 | 1.681 % |
67.41/67.42 c | 96969 | 34271 336478 1203277 | 2147483647 96538 22 | 1.681 % |
67.61/67.67 c | 97462 | 34271 336478 1203277 | 2147483647 97031 22 | 1.681 % |
68.01/68.03 c | 98005 | 34271 336478 1203277 | 2147483647 97574 22 | 1.681 % |
68.51/68.57 c | 98601 | 34271 336478 1203277 | 2147483647 98170 22 | 1.681 % |
69.11/69.19 c | 99257 | 34271 336478 1203277 | 2147483647 98826 22 | 1.681 % |
69.61/69.65 c | 99978 | 34271 336478 1203277 | 2147483647 99547 22 | 1.681 % |
70.21/70.27 c | 100770 | 34271 336478 1203277 | 2147483647 100339 22 | 1.681 % |
70.71/70.75 c | 101641 | 34271 336478 1203277 | 2147483647 101210 22 | 1.681 % |
71.21/71.28 c | 102599 | 34271 336478 1203277 | 2147483647 102168 22 | 1.681 % |
72.01/72.09 c | 103652 | 34268 336454 1203195 | 2147483647 103217 22 | 1.690 % |
73.21/73.23 c | 104810 | 34268 336454 1203195 | 2147483647 104375 22 | 1.690 % |
73.31/73.33 c | 104910 | 34268 336454 1203195 | 2147483647 104475 22 | 1.690 % |
73.41/73.45 c | 105020 | 34268 336454 1203195 | 2147483647 104585 22 | 1.690 % |
73.51/73.61 c | 105141 | 34268 336454 1203195 | 2147483647 104706 22 | 1.690 % |
73.71/73.75 c | 105274 | 34268 336454 1203195 | 2147483647 104839 22 | 1.690 % |
73.81/73.87 c | 105423 | 34268 336454 1203195 | 2147483647 104988 22 | 1.690 % |
73.91/73.96 c | 105583 | 34268 336454 1203195 | 2147483647 105148 22 | 1.690 % |
74.11/74.16 c | 105762 | 34268 336454 1203195 | 2147483647 105327 22 | 1.690 % |
74.31/74.36 c | 105956 | 34268 336454 1203195 | 2147483647 105521 22 | 1.690 % |
74.51/74.58 c | 106169 | 34268 336454 1203195 | 2147483647 105734 22 | 1.690 % |
74.71/74.77 c | 106404 | 34268 336454 1203195 | 2147483647 105969 22 | 1.690 % |
74.91/75.01 c | 106662 | 34268 336454 1203195 | 2147483647 106227 22 | 1.690 % |
75.21/75.22 c | 106944 | 34268 336454 1203195 | 2147483647 106509 22 | 1.690 % |
75.41/75.50 c | 107253 | 34268 336454 1203195 | 2147483647 106818 22 | 1.690 % |
75.81/75.84 c | 107592 | 34268 336454 1203195 | 2147483647 107157 22 | 1.690 % |
76.11/76.16 c | 107965 | 34268 336454 1203195 | 2147483647 107530 22 | 1.690 % |
76.51/76.58 c | 108374 | 34268 336454 1203195 | 2147483647 107939 22 | 1.690 % |
76.81/76.90 c | 108824 | 34268 336454 1203195 | 2147483647 108389 22 | 1.690 % |
77.01/77.08 c | 109318 | 34268 336454 1203195 | 2147483647 108883 22 | 1.690 % |
77.51/77.60 c | 109860 | 34268 336454 1203195 | 2147483647 109425 22 | 1.690 % |
78.01/78.11 c | 110457 | 34268 336454 1203195 | 2147483647 110022 22 | 1.690 % |
78.41/78.42 c | 111112 | 34268 336454 1203195 | 2147483647 110677 22 | 1.690 % |
79.11/79.17 c | 111832 | 34268 336454 1203195 | 2147483647 111397 22 | 1.690 % |
79.71/79.78 c | 112625 | 34268 336454 1203195 | 2147483647 112190 22 | 1.690 % |
80.01/80.03 c | 113497 | 34268 336454 1203195 | 2147483647 113062 22 | 1.690 % |
80.21/80.26 c | 114455 | 34268 336454 1203195 | 2147483647 114020 22 | 1.690 % |
80.61/80.68 c | 115511 | 34268 336454 1203195 | 2147483647 115076 22 | 1.690 % |
81.41/81.50 c | 116670 | 34268 336454 1203195 | 2147483647 116235 22 | 1.690 % |
82.51/82.52 c | 117943 | 34268 336454 1203195 | 2147483647 117508 22 | 1.690 % |
82.51/82.58 c | 118043 | 34268 336454 1203195 | 2147483647 117608 22 | 1.690 % |
82.61/82.64 c | 118153 | 34268 336454 1203195 | 2147483647 117718 22 | 1.690 % |
82.71/82.73 c | 118275 | 34268 336454 1203195 | 2147483647 117840 22 | 1.690 % |
82.81/82.85 c | 118408 | 34268 336454 1203195 | 2147483647 117973 22 | 1.690 % |
82.91/83.00 c | 118556 | 34268 336454 1203195 | 2147483647 118121 22 | 1.690 % |
83.11/83.17 c | 118716 | 34268 336454 1203195 | 2147483647 118281 22 | 1.690 % |
83.31/83.31 c | 118892 | 34268 336454 1203195 | 2147483647 118457 22 | 1.690 % |
83.51/83.54 c | 119087 | 34268 336454 1203195 | 2147483647 118652 22 | 1.690 % |
83.71/83.74 c | 119302 | 34268 336454 1203195 | 2147483647 118867 22 | 1.690 % |
83.91/83.98 c | 119537 | 34268 336454 1203195 | 2147483647 119102 22 | 1.690 % |
84.21/84.27 c | 119794 | 34268 336454 1203195 | 2147483647 119359 22 | 1.690 % |
84.51/84.60 c | 120076 | 34268 336454 1203195 | 2147483647 119641 22 | 1.690 % |
84.91/84.95 c | 120386 | 34268 336454 1203195 | 2147483647 119951 22 | 1.690 % |
85.11/85.13 c | 120727 | 34268 336454 1203195 | 2147483647 120292 22 | 1.690 % |
85.41/85.48 c | 121099 | 34268 336454 1203195 | 2147483647 120664 22 | 1.690 % |
85.81/85.88 c | 121510 | 34268 336454 1203195 | 2147483647 121075 22 | 1.690 % |
86.31/86.33 c | 121960 | 34268 336454 1203195 | 2147483647 121525 22 | 1.690 % |
86.81/86.84 c | 122454 | 34268 336454 1203195 | 2147483647 122019 22 | 1.690 % |
87.41/87.47 c | 122997 | 34268 336454 1203195 | 2147483647 122562 22 | 1.690 % |
88.11/88.17 c | 123593 | 34268 336454 1203195 | 2147483647 123158 22 | 1.690 % |
88.51/88.59 c | 124249 | 34268 336454 1203195 | 2147483647 123814 22 | 1.690 % |
89.31/89.33 c | 124971 | 34268 336454 1203195 | 2147483647 124536 23 | 1.690 % |
89.81/89.90 c | 125763 | 34268 336454 1203195 | 2147483647 125328 23 | 1.690 % |
90.61/90.70 c | 126634 | 34268 336454 1203195 | 2147483647 126199 23 | 1.690 % |
91.61/91.71 c | 127594 | 34268 336454 1203195 | 2147483647 127159 23 | 1.690 % |
92.71/92.74 c | 128649 | 34268 336454 1203195 | 2147483647 128214 23 | 1.690 % |
93.51/93.52 c | 129807 | 34268 336454 1203195 | 2147483647 129372 23 | 1.690 % |
94.41/94.47 c | 131080 | 34268 336454 1203195 | 2147483647 130645 23 | 1.690 % |
95.51/95.61 c | 132481 | 34268 336454 1203195 | 2147483647 132046 23 | 1.690 % |
95.71/95.76 c | 132582 | 34268 336454 1203195 | 2147483647 132147 23 | 1.690 % |
95.91/95.93 c | 132692 | 34268 336454 1203195 | 2147483647 132257 23 | 1.690 % |
96.01/96.05 c | 132816 | 34268 336454 1203195 | 2147483647 132381 23 | 1.690 % |
96.21/96.22 c | 132949 | 34268 336454 1203195 | 2147483647 132514 23 | 1.690 % |
96.31/96.36 c | 133095 | 34268 336454 1203195 | 2147483647 132660 23 | 1.690 % |
96.61/96.63 c | 133257 | 34268 336454 1203195 | 2147483647 132822 23 | 1.690 % |
96.81/96.87 c | 133433 | 34268 336454 1203195 | 2147483647 132998 23 | 1.690 % |
97.01/97.06 c | 133628 | 34268 336454 1203195 | 2147483647 133193 23 | 1.690 % |
97.31/97.35 c | 133840 | 34268 336454 1203195 | 2147483647 133405 23 | 1.690 % |
97.41/97.49 c | 134074 | 34268 336454 1203195 | 2147483647 133639 23 | 1.690 % |
97.71/97.76 c | 134333 | 34268 336454 1203195 | 2147483647 133898 23 | 1.690 % |
97.91/98.00 c | 134621 | 34268 336454 1203195 | 2147483647 134186 23 | 1.690 % |
98.31/98.33 c | 134933 | 34268 336454 1203195 | 2147483647 134498 23 | 1.690 % |
98.61/98.69 c | 135272 | 34268 336454 1203195 | 2147483647 134837 23 | 1.690 % |
98.91/98.99 c | 135644 | 34268 336454 1203195 | 2147483647 135209 23 | 1.690 % |
99.41/99.42 c | 136055 | 34268 336454 1203195 | 2147483647 135620 23 | 1.690 % |
99.91/99.93 c | 136504 | 34268 336454 1203195 | 2147483647 136069 23 | 1.690 % |
100.41/100.42 c | 137000 | 34268 336454 1203195 | 2147483647 136565 23 | 1.690 % |
100.91/101.00 c | 137542 | 34268 336454 1203195 | 2147483647 137107 23 | 1.690 % |
101.41/101.48 c | 138139 | 34268 336454 1203195 | 2147483647 137704 23 | 1.690 % |
102.11/102.16 c | 138794 | 34268 336454 1203195 | 2147483647 138359 23 | 1.690 % |
102.61/102.66 c | 139514 | 34268 336454 1203195 | 2147483647 139079 23 | 1.690 % |
103.01/103.05 c | 140310 | 34268 336454 1203195 | 2147483647 139875 23 | 1.690 % |
104.11/104.17 c | 141181 | 34268 336454 1203195 | 2147483647 140746 23 | 1.690 % |
104.91/104.95 c | 142139 | 34268 336454 1203195 | 2147483647 141704 23 | 1.690 % |
105.91/105.96 c | 143194 | 34268 336454 1203195 | 2147483647 142759 23 | 1.690 % |
107.11/107.19 c | 144355 | 34268 336454 1203195 | 2147483647 143920 23 | 1.690 % |
108.01/108.11 c | 145629 | 34268 336454 1203195 | 2147483647 145194 23 | 1.690 % |
109.71/109.74 c | 147030 | 34268 336454 1203195 | 2147483647 146595 23 | 1.690 % |
111.41/111.49 c | 148572 | 34268 336454 1203195 | 2147483647 148137 23 | 1.690 % |
111.61/111.62 c | 148672 | 34268 336454 1203195 | 2147483647 148237 23 | 1.690 % |
111.81/111.83 c | 148784 | 34265 336430 1203113 | 2147483647 148345 23 | 1.698 % |
111.91/111.93 c | 148906 | 34265 336430 1203113 | 2147483647 148467 23 | 1.698 % |
112.01/112.10 c | 149040 | 34265 336430 1203113 | 2147483647 148601 23 | 1.698 % |
112.21/112.27 c | 149186 | 34265 336430 1203113 | 2147483647 148747 23 | 1.698 % |
112.41/112.49 c | 149346 | 34265 336430 1203113 | 2147483647 148907 23 | 1.698 % |
112.71/112.73 c | 149522 | 34265 336430 1203113 | 2147483647 149083 23 | 1.698 % |
112.91/112.96 c | 149715 | 34265 336430 1203113 | 2147483647 149276 23 | 1.698 % |
113.21/113.22 c | 149928 | 34265 336430 1203113 | 2147483647 149489 23 | 1.698 % |
113.41/113.46 c | 150161 | 34265 336430 1203113 | 2147483647 149722 23 | 1.698 % |
113.71/113.73 c | 150418 | 34265 336430 1203113 | 2147483647 149979 23 | 1.698 % |
114.11/114.15 c | 150700 | 34265 336430 1203113 | 2147483647 150261 23 | 1.698 % |
114.51/114.57 c | 151011 | 34265 336430 1203113 | 2147483647 150572 23 | 1.698 % |
115.01/115.10 c | 151351 | 34265 336430 1203113 | 2147483647 150912 23 | 1.698 % |
115.41/115.45 c | 151725 | 34265 336430 1203113 | 2147483647 151286 23 | 1.698 % |
115.81/115.89 c | 152136 | 34265 336430 1203113 | 2147483647 151697 23 | 1.698 % |
116.21/116.29 c | 152587 | 34265 336430 1203113 | 2147483647 152148 23 | 1.698 % |
116.91/116.95 c | 153083 | 34265 336430 1203113 | 2147483647 152644 23 | 1.698 % |
117.51/117.58 c | 153627 | 34265 336430 1203113 | 2147483647 153188 23 | 1.698 % |
118.11/118.13 c | 154223 | 34265 336430 1203113 | 2147483647 153784 23 | 1.698 % |
118.61/118.62 c | 154879 | 34265 336430 1203113 | 2147483647 154440 24 | 1.698 % |
119.41/119.50 c | 155600 | 34265 336430 1203113 | 2147483647 155161 24 | 1.698 % |
120.51/120.57 c | 156392 | 34265 336430 1203113 | 2147483647 155953 24 | 1.698 % |
121.11/121.15 c | 157263 | 34265 336430 1203113 | 2147483647 156824 24 | 1.698 % |
122.41/122.47 c | 158224 | 34265 336430 1203113 | 2147483647 157785 24 | 1.698 % |
123.81/123.86 c | 159277 | 34265 336430 1203113 | 2147483647 158838 24 | 1.698 % |
124.81/124.85 c | 160435 | 34265 336430 1203113 | 2147483647 159996 24 | 1.698 % |
126.01/126.09 c | 161710 | 34265 336430 1203113 | 2147483647 161271 23 | 1.698 % |
127.21/127.27 c | 163111 | 34265 336430 1203113 | 2147483647 162672 24 | 1.698 % |
128.31/128.33 c | 164651 | 34265 336430 1203113 | 2147483647 164212 24 | 1.698 % |
129.31/129.41 c | 166348 | 34265 336430 1203113 | 2147483647 165909 24 | 1.698 % |
129.51/129.56 c | 166449 | 34265 336430 1203113 | 2147483647 166010 24 | 1.698 % |
129.61/129.63 c | 166560 | 34265 336430 1203113 | 2147483647 166121 24 | 1.698 % |
129.61/129.69 c | 166683 | 34265 336430 1203113 | 2147483647 166244 24 | 1.698 % |
129.71/129.75 c | 166816 | 34265 336430 1203113 | 2147483647 166377 24 | 1.698 % |
129.82/129.84 c | 166963 | 34265 336430 1203113 | 2147483647 166524 24 | 1.698 % |
130.01/130.03 c | 167124 | 34265 336430 1203113 | 2147483647 166685 24 | 1.698 % |
130.21/130.30 c | 167301 | 34265 336430 1203113 | 2147483647 166862 24 | 1.698 % |
130.41/130.47 c | 167495 | 34265 336430 1203113 | 2147483647 167056 24 | 1.698 % |
130.81/130.88 c | 167707 | 34265 336430 1203113 | 2147483647 167268 24 | 1.698 % |
131.01/131.06 c | 167941 | 34265 336430 1203113 | 2147483647 167502 24 | 1.698 % |
131.31/131.34 c | 168199 | 34265 336430 1203113 | 2147483647 167760 24 | 1.698 % |
131.71/131.73 c | 168482 | 34265 336430 1203113 | 2147483647 168043 24 | 1.698 % |
131.81/131.90 c | 168793 | 34265 336430 1203113 | 2147483647 168354 24 | 1.698 % |
132.31/132.40 c | 169133 | 34265 336430 1203113 | 2147483647 168694 24 | 1.698 % |
132.51/132.56 c | 169505 | 34265 336430 1203113 | 2147483647 169066 24 | 1.698 % |
132.81/132.86 c | 169916 | 34265 336430 1203113 | 2147483647 169477 24 | 1.698 % |
133.12/133.20 c | 170365 | 34265 336430 1203113 | 2147483647 169926 24 | 1.698 % |
133.81/133.90 c | 170858 | 34262 336406 1203031 | 2147483647 170417 24 | 1.707 % |
134.61/134.64 c | 171402 | 34262 336406 1203031 | 2147483647 170961 24 | 1.707 % |
135.41/135.45 c | 171998 | 34262 336406 1203031 | 2147483647 171557 24 | 1.707 % |
136.51/136.60 c | 172654 | 34262 336406 1203031 | 2147483647 172213 24 | 1.707 % |
137.11/137.20 c | 173374 | 34262 336406 1203031 | 2147483647 172933 24 | 1.707 % |
138.01/138.02 c | 174167 | 34262 336406 1203031 | 2147483647 173726 24 | 1.707 % |
138.81/138.90 c | 175039 | 34262 336406 1203031 | 2147483647 174598 24 | 1.707 % |
139.41/139.43 c | 175999 | 34262 336406 1203031 | 2147483647 175558 24 | 1.707 % |
140.82/140.86 c | 177053 | 34262 336406 1203031 | 2147483647 176612 24 | 1.707 % |
142.41/142.46 c | 178213 | 34262 336406 1203031 | 2147483647 177771 24 | 1.716 % |
144.41/144.45 c | 179487 | 34262 336406 1203031 | 2147483647 179045 24 | 1.716 % |
146.11/146.12 c | 180887 | 34252 336406 1203031 | 2147483647 180444 24 | 1.833 % |
149.31/149.32 c | 182427 | 34252 336406 1203031 | 2147483647 181984 24 | 1.833 % |
151.21/151.27 c | 184121 | 34218 333070 1188671 | 2147483647 147720 25 | 1.833 % |
153.41/153.47 c | 185985 | 34218 333070 1188671 | 2147483647 149584 25 | 1.833 % |
153.51/153.58 c | 186087 | 34218 333070 1188671 | 2147483647 149686 25 | 1.833 % |
153.61/153.66 c | 186199 | 34218 333070 1188671 | 2147483647 149798 25 | 1.833 % |
153.71/153.72 c | 186322 | 34218 333070 1188671 | 2147483647 149921 25 | 1.833 % |
153.81/153.88 c | 186458 | 34218 333070 1188671 | 2147483647 150057 25 | 1.833 % |
153.91/154.00 c | 186604 | 34218 333070 1188671 | 2147483647 150203 25 | 1.833 % |
154.11/154.13 c | 186764 | 34218 333070 1188671 | 2147483647 150363 25 | 1.833 % |
154.21/154.25 c | 186945 | 34218 333070 1188671 | 2147483647 150544 25 | 1.833 % |
154.51/154.56 c | 187138 | 34218 333070 1188671 | 2147483647 150737 25 | 1.833 % |
154.71/154.76 c | 187350 | 34218 333070 1188671 | 2147483647 150949 25 | 1.833 % |
155.01/155.10 c | 187586 | 34218 333070 1188671 | 2147483647 151185 25 | 1.833 % |
155.21/155.27 c | 187842 | 34218 333070 1188671 | 2147483647 151441 25 | 1.833 % |
155.61/155.67 c | 188123 | 34218 333070 1188671 | 2147483647 151722 25 | 1.833 % |
155.91/155.98 c | 188433 | 34218 333070 1188671 | 2147483647 152032 25 | 1.833 % |
156.31/156.40 c | 188773 | 34218 333070 1188671 | 2147483647 152372 25 | 1.833 % |
156.71/156.77 c | 189145 | 34218 333070 1188671 | 2147483647 152744 25 | 1.833 % |
157.32/157.40 c | 189554 | 34218 333070 1188671 | 2147483647 153153 25 | 1.833 % |
157.91/157.92 c | 190004 | 34218 333070 1188671 | 2147483647 153603 25 | 1.833 % |
158.61/158.66 c | 190498 | 34218 333070 1188671 | 2147483647 154097 25 | 1.833 % |
159.61/159.69 c | 191041 | 34218 333070 1188671 | 2147483647 154640 25 | 1.833 % |
160.51/160.59 c | 191637 | 34218 333070 1188671 | 2147483647 155236 25 | 1.833 % |
161.31/161.40 c | 192292 | 34218 333070 1188671 | 2147483647 155891 25 | 1.833 % |
161.91/161.96 c | 193012 | 34218 333070 1188671 | 2147483647 156611 25 | 1.833 % |
163.01/163.04 c | 193806 | 34218 333070 1188671 | 2147483647 157405 25 | 1.833 % |
163.81/163.86 c | 194677 | 34218 333070 1188671 | 2147483647 158276 25 | 1.833 % |
165.02/165.08 c | 195637 | 34218 333070 1188671 | 2147483647 159236 25 | 1.833 % |
165.71/165.78 c | 196690 | 34218 333070 1188671 | 2147483647 160289 25 | 1.833 % |
167.22/167.24 c | 197848 | 34218 333070 1188671 | 2147483647 161447 25 | 1.833 % |
167.92/167.92 c | 199123 | 34218 333070 1188671 | 2147483647 162722 25 | 1.833 % |
169.92/170.01 c | 200523 | 34218 333070 1188671 | 2147483647 164122 25 | 1.833 % |
171.52/171.58 c | 202064 | 34218 333070 1188671 | 2147483647 165663 25 | 1.833 % |
173.22/173.29 c | 203759 | 34218 333070 1188671 | 2147483647 167358 25 | 1.833 % |
174.92/174.92 c | 205622 | 34218 333070 1188671 | 2147483647 169221 25 | 1.833 % |
177.42/177.46 c | 207671 | 34218 333070 1188671 | 2147483647 171270 25 | 1.833 % |
177.52/177.53 c | 207773 | 34218 333070 1188671 | 2147483647 171372 25 | 1.833 % |
177.62/177.66 c | 207883 | 34218 333070 1188671 | 2147483647 171482 25 | 1.833 % |
177.72/177.73 c | 208004 | 34218 333070 1188671 | 2147483647 171603 25 | 1.833 % |
177.82/177.90 c | 208138 | 34218 333070 1188671 | 2147483647 171737 25 | 1.833 % |
178.02/178.03 c | 208284 | 34218 333070 1188671 | 2147483647 171883 25 | 1.833 % |
178.22/178.30 c | 208444 | 34218 333070 1188671 | 2147483647 172043 25 | 1.833 % |
178.52/178.52 c | 208620 | 34218 333070 1188671 | 2147483647 172219 25 | 1.833 % |
178.72/178.75 c | 208814 | 34218 333070 1188671 | 2147483647 172413 25 | 1.833 % |
178.92/178.96 c | 209027 | 34218 333070 1188671 | 2147483647 172626 25 | 1.833 % |
179.12/179.13 c | 209260 | 34218 333070 1188671 | 2147483647 172859 25 | 1.833 % |
179.32/179.33 c | 209516 | 34218 333070 1188671 | 2147483647 173115 25 | 1.833 % |
179.42/179.46 c | 209799 | 34218 333070 1188671 | 2147483647 173398 25 | 1.833 % |
179.72/179.74 c | 210109 | 34218 333070 1188671 | 2147483647 173708 25 | 1.833 % |
180.32/180.37 c | 210450 | 34218 333070 1188671 | 2147483647 174049 25 | 1.833 % |
180.62/180.62 c | 210822 | 34218 333070 1188671 | 2147483647 174421 25 | 1.833 % |
181.02/181.05 c | 211232 | 34218 333070 1188671 | 2147483647 174831 25 | 1.833 % |
181.52/181.60 c | 211682 | 34218 333070 1188671 | 2147483647 175281 25 | 1.833 % |
182.22/182.30 c | 212177 | 34218 333070 1188671 | 2147483647 175776 25 | 1.833 % |
183.02/183.07 c | 212719 | 34218 333070 1188671 | 2147483647 176318 25 | 1.833 % |
183.82/183.87 c | 213316 | 34217 333066 1188663 | 2147483647 176914 25 | 1.836 % |
184.82/184.85 c | 213972 | 34217 333066 1188663 | 2147483647 177570 25 | 1.836 % |
185.42/185.49 c | 214692 | 34217 333066 1188663 | 2147483647 178290 26 | 1.836 % |
186.12/186.17 c | 215485 | 34217 333066 1188663 | 2147483647 179083 26 | 1.836 % |
187.42/187.50 c | 216357 | 34217 333066 1188663 | 2147483647 179955 26 | 1.836 % |
189.02/189.02 c | 217318 | 34217 333066 1188663 | 2147483647 180916 26 | 1.836 % |
190.32/190.40 c | 218371 | 34217 333066 1188663 | 2147483647 181969 26 | 1.836 % |
191.42/191.49 c | 219532 | 34217 333066 1188663 | 2147483647 183130 26 | 1.836 % |
192.32/192.36 c | 220806 | 34217 333066 1188663 | 2147483647 184404 26 | 1.836 % |
193.62/193.68 c | 222206 | 34217 333066 1188663 | 2147483647 185804 26 | 1.836 % |
195.42/195.50 c | 223746 | 34217 333066 1188663 | 2147483647 187344 26 | 1.836 % |
197.62/197.65 c | 225440 | 34217 333066 1188663 | 2147483647 189038 26 | 1.836 % |
200.52/200.52 c | 227304 | 34217 333066 1188663 | 2147483647 190902 26 | 1.836 % |
203.42/203.45 c | 229354 | 34217 333066 1188663 | 2147483647 192952 26 | 1.836 % |
207.22/207.27 c | 231607 | 34217 333066 1188663 | 2147483647 195205 26 | 1.836 % |
207.42/207.48 c | 231707 | 34217 333066 1188663 | 2147483647 195305 26 | 1.836 % |
207.62/207.65 c | 231819 | 34217 333066 1188663 | 2147483647 195417 26 | 1.836 % |
207.72/207.77 c | 231941 | 34217 333066 1188663 | 2147483647 195539 26 | 1.836 % |
208.02/208.05 c | 232075 | 34217 333066 1188663 | 2147483647 195673 26 | 1.836 % |
208.32/208.36 c | 232221 | 34217 333066 1188663 | 2147483647 195819 26 | 1.836 % |
208.62/208.65 c | 232381 | 34217 333066 1188663 | 2147483647 195979 26 | 1.836 % |
209.02/209.05 c | 232559 | 34217 333066 1188663 | 2147483647 196157 26 | 1.836 % |
209.32/209.37 c | 232754 | 34217 333066 1188663 | 2147483647 196352 26 | 1.836 % |
209.82/209.83 c | 232967 | 34217 333066 1188663 | 2147483647 196565 26 | 1.836 % |
210.12/210.20 c | 233201 | 34217 333066 1188663 | 2147483647 196799 26 | 1.836 % |
210.52/210.59 c | 233458 | 34217 333066 1188663 | 2147483647 197056 26 | 1.836 % |
210.82/210.88 c | 233739 | 34217 333066 1188663 | 2147483647 197337 26 | 1.836 % |
211.32/211.35 c | 234048 | 34217 333066 1188663 | 2147483647 197646 26 | 1.836 % |
211.42/211.47 c | 234387 | 34217 333066 1188663 | 2147483647 197985 26 | 1.836 % |
211.62/211.69 c | 234759 | 34217 333066 1188663 | 2147483647 198357 26 | 1.836 % |
212.12/212.12 c | 235169 | 34217 333066 1188663 | 2147483647 198767 26 | 1.836 % |
212.42/212.51 c | 235619 | 34217 333066 1188663 | 2147483647 199217 26 | 1.836 % |
212.72/212.75 c | 236114 | 34217 333066 1188663 | 2147483647 199712 26 | 1.836 % |
213.22/213.22 c | 236656 | 34217 333066 1188663 | 2147483647 200254 26 | 1.836 % |
213.72/213.73 c | 237252 | 34217 333066 1188663 | 2147483647 200850 26 | 1.836 % |
214.02/214.04 c | 237909 | 34217 333066 1188663 | 2147483647 201507 26 | 1.836 % |
214.62/214.70 c | 238629 | 34217 333066 1188663 | 2147483647 202227 26 | 1.836 % |
215.52/215.61 c | 239421 | 34217 333066 1188663 | 2147483647 203019 26 | 1.836 % |
216.72/216.76 c | 240292 | 34217 333066 1188663 | 2147483647 203890 26 | 1.836 % |
217.52/217.52 c | 241251 | 34217 333066 1188663 | 2147483647 204849 26 | 1.836 % |
219.22/219.25 c | 242304 | 34217 333066 1188663 | 2147483647 205902 26 | 1.836 % |
220.82/220.84 c | 243463 | 34217 333066 1188663 | 2147483647 207061 26 | 1.836 % |
223.42/223.42 c | 244736 | 34217 333066 1188663 | 2147483647 208334 26 | 1.836 % |
225.52/225.58 c | 246136 | 34217 333066 1188663 | 2147483647 209734 26 | 1.836 % |
227.42/227.49 c | 247676 | 34217 333066 1188663 | 2147483647 211274 26 | 1.836 % |
231.02/231.09 c | 249372 | 34217 333066 1188663 | 2147483647 212970 26 | 1.836 % |
232.42/232.51 c | 251235 | 34217 333066 1188663 | 2147483647 214833 27 | 1.836 % |
236.72/236.80 c | 253286 | 34217 333066 1188663 | 2147483647 216884 27 | 1.836 % |
238.82/238.90 c | 255539 | 34217 333066 1188663 | 2147483647 219137 27 | 1.836 % |
240.51/240.56 c | 258017 | 34217 333066 1188663 | 2147483647 221615 27 | 1.836 % |
240.61/240.62 c | 258118 | 34217 333066 1188663 | 2147483647 221716 27 | 1.836 % |
240.71/240.74 c | 258229 | 34217 333066 1188663 | 2147483647 221827 27 | 1.836 % |
240.92/240.96 c | 258350 | 34217 333066 1188663 | 2147483647 221948 27 | 1.836 % |
241.21/241.27 c | 258484 | 34217 333066 1188663 | 2147483647 222082 27 | 1.836 % |
241.61/241.64 c | 258633 | 34217 333066 1188663 | 2147483647 222231 27 | 1.836 % |
241.91/241.95 c | 258793 | 34217 333066 1188663 | 2147483647 222391 27 | 1.836 % |
242.11/242.20 c | 258969 | 34217 333066 1188663 | 2147483647 222567 27 | 1.836 % |
242.61/242.61 c | 259165 | 34217 333066 1188663 | 2147483647 222763 27 | 1.836 % |
243.01/243.03 c | 259377 | 34217 333066 1188663 | 2147483647 222975 27 | 1.836 % |
243.41/243.41 c | 259610 | 34217 333066 1188663 | 2147483647 223208 27 | 1.836 % |
244.01/244.03 c | 259866 | 34217 333066 1188663 | 2147483647 223464 27 | 1.836 % |
244.51/244.51 c | 260148 | 34217 333066 1188663 | 2147483647 223746 27 | 1.836 % |
245.01/245.02 c | 260459 | 34217 333066 1188663 | 2147483647 224057 27 | 1.836 % |
245.41/245.44 c | 260801 | 34217 333066 1188663 | 2147483647 224399 27 | 1.836 % |
246.21/246.22 c | 261173 | 34217 333066 1188663 | 2147483647 224771 27 | 1.836 % |
246.61/246.63 c | 261583 | 34217 333066 1188663 | 2147483647 225181 27 | 1.836 % |
247.21/247.23 c | 262032 | 34217 333066 1188663 | 2147483647 225630 27 | 1.836 % |
247.71/247.78 c | 262525 | 34217 333066 1188663 | 2147483647 226123 27 | 1.836 % |
248.51/248.52 c | 263068 | 34217 333066 1188663 | 2147483647 226666 27 | 1.836 % |
249.51/249.59 c | 263664 | 34217 333066 1188663 | 2147483647 227262 27 | 1.836 % |
250.71/250.77 c | 264320 | 34217 333066 1188663 | 2147483647 227918 27 | 1.836 % |
252.01/252.02 c | 265042 | 34217 333066 1188663 | 2147483647 228640 27 | 1.836 % |
253.51/253.59 c | 265835 | 34217 333066 1188663 | 2147483647 229433 27 | 1.836 % |
254.81/254.90 c | 266706 | 34217 333066 1188663 | 2147483647 230304 27 | 1.836 % |
256.01/256.08 c | 267664 | 34217 333066 1188663 | 2147483647 231262 27 | 1.836 % |
258.21/258.30 c | 268717 | 34217 333066 1188663 | 2147483647 232315 27 | 1.836 % |
259.31/259.35 c | 269875 | 34217 333066 1188663 | 2147483647 233473 27 | 1.836 % |
261.41/261.45 c | 271148 | 34217 333066 1188663 | 2147483647 234746 27 | 1.836 % |
263.21/263.26 c | 272549 | 34217 333066 1188663 | 2147483647 236147 27 | 1.836 % |
265.41/265.42 c | 274090 | 34217 333066 1188663 | 2147483647 237688 27 | 1.836 % |
267.21/267.25 c | 275785 | 34217 333066 1188663 | 2147483647 239383 27 | 1.836 % |
271.11/271.18 c | 277650 | 34217 333066 1188663 | 2147483647 241248 27 | 1.836 % |
274.91/274.92 c | 279700 | 34217 333066 1188663 | 2147483647 243298 27 | 1.836 % |
278.71/278.78 c | 281953 | 34217 333066 1188663 | 2147483647 245551 27 | 1.836 % |
282.42/282.51 c | 284431 | 34217 333066 1188663 | 2147483647 248029 27 | 1.836 % |
286.72/286.73 c | 287156 | 34217 333066 1188663 | 2147483647 250754 27 | 1.836 % |
286.92/286.92 c | 287260 | 34217 333066 1188663 | 2147483647 250858 27 | 1.836 % |
287.12/287.13 c | 287371 | 34217 333066 1188663 | 2147483647 250969 27 | 1.836 % |
287.22/287.25 c | 287492 | 34217 333066 1188663 | 2147483647 251090 27 | 1.836 % |
287.62/287.64 c | 287626 | 34217 333066 1188663 | 2147483647 251224 27 | 1.836 % |
287.92/288.01 c | 287775 | 34217 333066 1188663 | 2147483647 251373 27 | 1.836 % |
288.22/288.28 c | 287935 | 34217 333066 1188663 | 2147483647 251533 27 | 1.836 % |
288.72/288.78 c | 288112 | 34217 333066 1188663 | 2147483647 251710 27 | 1.836 % |
289.12/289.12 c | 288306 | 34217 333066 1188663 | 2147483647 251904 27 | 1.836 % |
289.62/289.70 c | 288518 | 34217 333066 1188663 | 2147483647 252116 27 | 1.836 % |
290.22/290.30 c | 288751 | 34217 333066 1188663 | 2147483647 252349 27 | 1.836 % |
290.82/290.88 c | 289007 | 34217 333066 1188663 | 2147483647 252605 27 | 1.836 % |
291.52/291.54 c | 289290 | 34217 333066 1188663 | 2147483647 252888 27 | 1.836 % |
292.02/292.07 c | 289599 | 34217 333066 1188663 | 2147483647 253197 27 | 1.836 % |
292.82/292.87 c | 289938 | 34217 333066 1188663 | 2147483647 253536 27 | 1.836 % |
293.22/293.30 c | 290313 | 34217 333066 1188663 | 2147483647 253911 27 | 1.836 % |
293.42/293.48 c | 290722 | 34217 333066 1188663 | 2147483647 254320 27 | 1.836 % |
294.12/294.18 c | 291173 | 34217 333066 1188663 | 2147483647 254771 27 | 1.836 % |
295.12/295.16 c | 291668 | 34217 333066 1188663 | 2147483647 255266 27 | 1.836 % |
296.02/296.10 c | 292210 | 34217 333066 1188663 | 2147483647 255808 27 | 1.836 % |
297.62/297.64 c | 292808 | 34217 333066 1188663 | 2147483647 256406 28 | 1.836 % |
299.32/299.37 c | 293464 | 34217 333066 1188663 | 2147483647 257062 28 | 1.836 % |
300.72/300.79 c | 294185 | 34217 333066 1188663 | 2147483647 257783 28 | 1.836 % |
301.92/301.95 c | 294977 | 34217 333066 1188663 | 2147483647 258575 28 | 1.836 % |
304.42/304.50 c | 295849 | 34217 333066 1188663 | 2147483647 259447 28 | 1.836 % |
306.22/306.25 c | 296809 | 34217 333066 1188663 | 2147483647 260407 28 | 1.836 % |
308.12/308.19 c | 297862 | 34217 333066 1188663 | 2147483647 261460 28 | 1.836 % |
310.82/310.83 c | 299020 | 34217 333066 1188663 | 2147483647 262618 28 | 1.836 % |
312.72/312.77 c | 300293 | 34217 333066 1188663 | 2147483647 263891 28 | 1.836 % |
315.02/315.07 c | 301694 | 34217 333066 1188663 | 2147483647 265292 28 | 1.836 % |
318.42/318.45 c | 303235 | 34217 333066 1188663 | 2147483647 266833 28 | 1.836 % |
321.82/321.90 c | 304929 | 34217 333066 1188663 | 2147483647 268527 28 | 1.836 % |
324.82/324.90 c | 306792 | 34217 333066 1188663 | 2147483647 270390 28 | 1.836 % |
327.42/327.44 c | 308842 | 34217 333066 1188663 | 2147483647 272440 28 | 1.836 % |
330.41/330.43 c | 311095 | 34217 333066 1188663 | 2147483647 274693 28 | 1.836 % |
335.21/335.25 c | 313574 | 34217 333066 1188663 | 2147483647 277172 28 | 1.836 % |
338.21/338.23 c | 316301 | 34217 333066 1188663 | 2147483647 279899 28 | 1.836 % |
345.01/345.03 c | 319298 | 34217 333066 1188663 | 2147483647 282896 28 | 1.836 % |
345.11/345.18 c | 319398 | 34217 333066 1188663 | 2147483647 282996 28 | 1.836 % |
345.42/345.43 c | 319508 | 34217 333066 1188663 | 2147483647 283106 28 | 1.836 % |
345.61/345.66 c | 319631 | 34217 333066 1188663 | 2147483647 283229 28 | 1.836 % |
345.81/345.86 c | 319765 | 34217 333066 1188663 | 2147483647 283363 28 | 1.836 % |
346.01/346.09 c | 319911 | 34217 333066 1188663 | 2147483647 283509 28 | 1.836 % |
346.51/346.57 c | 320072 | 34217 333066 1188663 | 2147483647 283670 28 | 1.836 % |
346.91/346.94 c | 320248 | 34217 333066 1188663 | 2147483647 283846 28 | 1.836 % |
347.31/347.33 c | 320441 | 34217 333066 1188663 | 2147483647 284039 28 | 1.836 % |
347.81/347.90 c | 320655 | 34217 333066 1188663 | 2147483647 284253 28 | 1.836 % |
348.11/348.20 c | 320888 | 34217 333066 1188663 | 2147483647 284486 28 | 1.836 % |
348.41/348.51 c | 321145 | 34217 333066 1188663 | 2147483647 284743 28 | 1.836 % |
348.72/348.79 c | 321426 | 34217 333066 1188663 | 2147483647 285024 28 | 1.836 % |
349.31/349.38 c | 321737 | 34217 333066 1188663 | 2147483647 285335 28 | 1.836 % |
350.31/350.32 c | 322077 | 34217 333066 1188663 | 2147483647 285675 28 | 1.836 % |
351.31/351.34 c | 322449 | 34217 333066 1188663 | 2147483647 286047 28 | 1.836 % |
352.31/352.34 c | 322858 | 34217 333066 1188663 | 2147483647 286456 28 | 1.836 % |
353.41/353.42 c | 323307 | 34217 333066 1188663 | 2147483647 286905 28 | 1.836 % |
354.31/354.38 c | 323805 | 34217 333066 1188663 | 2147483647 287403 28 | 1.836 % |
356.21/356.28 c | 324351 | 34217 333066 1188663 | 2147483647 287949 28 | 1.836 % |
357.61/357.68 c | 324947 | 34217 333066 1188663 | 2147483647 288545 28 | 1.836 % |
358.21/358.30 c | 325603 | 34217 333066 1188663 | 2147483647 289201 28 | 1.836 % |
360.11/360.15 c | 326326 | 34217 333066 1188663 | 2147483647 289924 28 | 1.836 % |
361.71/361.72 c | 327121 | 34217 333066 1188663 | 2147483647 290719 28 | 1.836 % |
364.01/364.03 c | 327995 | 34217 333066 1188663 | 2147483647 291593 28 | 1.836 % |
365.71/365.79 c | 328954 | 34217 333066 1188663 | 2147483647 292552 28 | 1.836 % |
368.61/368.65 c | 330008 | 34217 333066 1188663 | 2147483647 293606 28 | 1.836 % |
371.01/371.02 c | 331169 | 34217 333066 1188663 | 2147483647 294767 28 | 1.836 % |
373.41/373.42 c | 332442 | 34180 333057 1188635 | 2147483647 296035 28 | 3.027 % |
375.71/375.80 c | 333842 | 34180 333057 1188635 | 2147483647 297435 28 | 3.027 % |
378.91/378.92 c | 335383 | 34180 333057 1188635 | 2147483647 298976 28 | 3.027 % |
382.51/382.59 c | 337077 | 34180 333057 1188635 | 2147483647 300670 28 | 3.027 % |
385.91/385.92 c | 338942 | 34179 333057 1188635 | 2147483647 302534 28 | 3.035 % |
390.31/390.35 c | 340993 | 34179 333057 1188635 | 2147483647 304585 28 | 3.035 % |
393.82/393.86 c | 343247 | 34179 333057 1188635 | 2147483647 306839 28 | 3.035 % |
401.22/401.24 c | 345726 | 34071 333057 1188635 | 2147483647 309317 28 | 3.047 % |
408.42/408.42 c | 348453 | 34071 333057 1188635 | 2147483647 312044 28 | 3.047 % |
413.52/413.54 c | 351450 | 33795 321276 1131441 | 2147483647 290011 29 | 3.047 % |
418.72/418.76 c | 354746 | 33795 321276 1131441 | 2147483647 293307 29 | 3.047 % |
418.92/418.94 c | 354846 | 33795 321276 1131441 | 2147483647 293407 29 | 3.047 % |
419.32/419.33 c | 354956 | 33795 321276 1131441 | 2147483647 293517 29 | 3.047 % |
419.62/419.63 c | 355079 | 33795 321276 1131441 | 2147483647 293640 29 | 3.047 % |
419.82/419.83 c | 355212 | 33795 321276 1131441 | 2147483647 293773 29 | 3.047 % |
420.02/420.07 c | 355361 | 33795 321276 1131441 | 2147483647 293922 29 | 3.047 % |
420.42/420.45 c | 355522 | 33795 321276 1131441 | 2147483647 294083 29 | 3.047 % |
421.02/421.07 c | 355698 | 33795 321276 1131441 | 2147483647 294259 29 | 3.047 % |
421.62/421.62 c | 355892 | 33795 321276 1131441 | 2147483647 294453 29 | 3.047 % |
422.32/422.32 c | 356107 | 33795 321276 1131441 | 2147483647 294668 29 | 3.047 % |
422.62/422.71 c | 356340 | 33795 321276 1131441 | 2147483647 294901 29 | 3.047 % |
423.62/423.64 c | 356597 | 33795 321276 1131441 | 2147483647 295158 29 | 3.047 % |
424.02/424.08 c | 356878 | 33795 321276 1131441 | 2147483647 295439 29 | 3.047 % |
424.72/424.73 c | 357189 | 33795 321276 1131441 | 2147483647 295750 29 | 3.047 % |
425.72/425.74 c | 357530 | 33795 321276 1131441 | 2147483647 296091 29 | 3.047 % |
426.82/426.87 c | 357903 | 33795 321276 1131441 | 2147483647 296464 29 | 3.047 % |
427.62/427.66 c | 358312 | 33795 321276 1131441 | 2147483647 296873 29 | 3.047 % |
428.62/428.67 c | 358761 | 33795 321276 1131441 | 2147483647 297322 29 | 3.047 % |
430.22/430.25 c | 359254 | 33795 321276 1131441 | 2147483647 297815 29 | 3.047 % |
431.72/431.76 c | 359798 | 33795 321276 1131441 | 2147483647 298359 29 | 3.047 % |
433.62/433.71 c | 360396 | 33795 321276 1131441 | 2147483647 298957 29 | 3.047 % |
435.32/435.42 c | 361052 | 33795 321276 1131441 | 2147483647 299613 29 | 3.047 % |
437.22/437.31 c | 361774 | 33795 321276 1131441 | 2147483647 300335 29 | 3.047 % |
439.72/439.72 c | 362566 | 33795 321276 1131441 | 2147483647 301127 29 | 3.047 % |
442.32/442.36 c | 363438 | 33795 321276 1131441 | 2147483647 301999 29 | 3.047 % |
445.02/445.07 c | 364396 | 33795 321276 1131441 | 2147483647 302957 29 | 3.047 % |
448.32/448.35 c | 365450 | 33795 321276 1131441 | 2147483647 304011 29 | 3.047 % |
451.42/451.48 c | 366610 | 33795 321276 1131441 | 2147483647 305171 29 | 3.047 % |
454.32/454.41 c | 367884 | 33795 321276 1131441 | 2147483647 306445 29 | 3.047 % |
458.32/458.38 c | 369284 | 33795 321276 1131441 | 2147483647 307845 29 | 3.047 % |
461.92/462.02 c | 370824 | 33795 321276 1131441 | 2147483647 309385 29 | 3.047 % |
466.52/466.60 c | 372518 | 33795 321276 1131441 | 2147483647 311079 29 | 3.047 % |
471.02/471.05 c | 374381 | 33795 321276 1131441 | 2147483647 312942 29 | 3.047 % |
475.62/475.67 c | 376431 | 33795 321276 1131441 | 2147483647 314992 29 | 3.047 % |
482.82/482.84 c | 378684 | 33795 321276 1131441 | 2147483647 317245 29 | 3.047 % |
486.92/486.98 c | 381162 | 33793 321254 1131384 | 2147483647 319720 29 | 3.052 % |
493.32/493.32 c | 383887 | 33793 321254 1131384 | 2147483647 322445 29 | 3.052 % |
500.53/500.53 c | 386884 | 33793 321254 1131384 | 2147483647 325442 29 | 3.052 % |
511.03/511.09 c | 390180 | 33793 321254 1131384 | 2147483647 328738 29 | 3.052 % |
521.33/521.36 c | 393805 | 33793 321254 1131384 | 2147483647 332363 29 | 3.052 % |
521.63/521.62 c | 393905 | 33793 321254 1131384 | 2147483647 332463 29 | 3.052 % |
521.93/521.99 c | 394019 | 33793 321254 1131384 | 2147483647 332577 29 | 3.052 % |
522.33/522.39 c | 394140 | 33793 321254 1131384 | 2147483647 332698 29 | 3.052 % |
522.73/522.82 c | 394274 | 33793 321254 1131384 | 2147483647 332832 29 | 3.052 % |
523.23/523.31 c | 394420 | 33793 321254 1131384 | 2147483647 332978 29 | 3.052 % |
523.63/523.64 c | 394582 | 33793 321254 1131384 | 2147483647 333140 29 | 3.052 % |
524.23/524.28 c | 394759 | 33793 321254 1131384 | 2147483647 333317 29 | 3.052 % |
524.83/524.90 c | 394952 | 33793 321254 1131384 | 2147483647 333510 29 | 3.052 % |
525.63/525.71 c | 395165 | 33793 321254 1131384 | 2147483647 333723 29 | 3.052 % |
526.23/526.25 c | 395398 | 33793 321254 1131384 | 2147483647 333956 29 | 3.052 % |
526.53/526.59 c | 395654 | 33793 321254 1131384 | 2147483647 334212 29 | 3.052 % |
527.23/527.30 c | 395935 | 33793 321254 1131384 | 2147483647 334493 29 | 3.052 % |
528.13/528.15 c | 396245 | 33793 321254 1131384 | 2147483647 334803 29 | 3.052 % |
528.93/528.97 c | 396585 | 33793 321254 1131384 | 2147483647 335143 30 | 3.052 % |
530.03/530.05 c | 396958 | 33793 321254 1131384 | 2147483647 335516 30 | 3.052 % |
530.83/530.89 c | 397368 | 33793 321254 1131384 | 2147483647 335926 30 | 3.052 % |
531.63/531.62 c | 397817 | 33793 321254 1131384 | 2147483647 336375 30 | 3.052 % |
532.43/532.44 c | 398312 | 33793 321254 1131384 | 2147483647 336870 30 | 3.052 % |
533.53/533.59 c | 398854 | 33793 321254 1131384 | 2147483647 337412 30 | 3.052 % |
534.33/534.39 c | 399450 | 33793 321254 1131384 | 2147483647 338008 30 | 3.052 % |
536.43/536.47 c | 400105 | 33793 321254 1131384 | 2147483647 338663 30 | 3.052 % |
539.13/539.15 c | 400825 | 33793 321254 1131384 | 2147483647 339383 30 | 3.052 % |
541.43/541.47 c | 401617 | 33793 321254 1131384 | 2147483647 340175 30 | 3.052 % |
544.63/544.70 c | 402489 | 33793 321254 1131384 | 2147483647 341047 30 | 3.052 % |
546.53/546.53 c | 403447 | 33793 321254 1131384 | 2147483647 342005 30 | 3.052 % |
547.83/547.84 c | 404501 | 33793 321254 1131384 | 2147483647 343059 30 | 3.052 % |
552.02/552.09 c | 405660 | 33793 321254 1131384 | 2147483647 344218 30 | 3.052 % |
556.62/556.65 c | 406935 | 33793 321254 1131384 | 2147483647 345493 30 | 3.052 % |
559.32/559.38 c | 408337 | 33793 321254 1131384 | 2147483647 346895 30 | 3.052 % |
563.92/564.01 c | 409877 | 33793 321254 1131384 | 2147483647 348435 30 | 3.052 % |
568.62/568.67 c | 411571 | 33793 321254 1131384 | 2147483647 350129 30 | 3.052 % |
575.02/575.04 c | 413435 | 33793 321254 1131384 | 2147483647 351993 30 | 3.052 % |
581.22/581.26 c | 415484 | 33793 321254 1131384 | 2147483647 354042 30 | 3.052 % |
587.82/587.86 c | 417737 | 33793 321254 1131384 | 2147483647 356295 30 | 3.052 % |
595.62/595.66 c | 420217 | 33793 321254 1131384 | 2147483647 358775 30 | 3.052 % |
602.82/602.83 c | 422942 | 33793 321254 1131384 | 2147483647 361500 30 | 3.052 % |
612.01/612.02 c | 425942 | 33793 321254 1131384 | 2147483647 364500 30 | 3.052 % |
621.31/621.38 c | 429239 | 33793 321254 1131384 | 2147483647 367797 30 | 3.052 % |
631.42/631.42 c | 432864 | 33793 321254 1131384 | 2147483647 371422 30 | 3.052 % |
643.72/643.72 c | 436851 | 33792 321250 1131376 | 2147483647 375408 30 | 3.055 % |
644.12/644.20 c | 436951 | 33792 321250 1131376 | 2147483647 375508 30 | 3.055 % |
644.62/644.64 c | 437063 | 33792 321250 1131376 | 2147483647 375620 30 | 3.055 % |
645.12/645.13 c | 437185 | 33792 321250 1131376 | 2147483647 375742 30 | 3.055 % |
645.52/645.59 c | 437318 | 33792 321250 1131376 | 2147483647 375875 30 | 3.055 % |
646.02/646.07 c | 437464 | 33792 321250 1131376 | 2147483647 376021 30 | 3.055 % |
646.52/646.59 c | 437624 | 33792 321250 1131376 | 2147483647 376181 30 | 3.055 % |
647.12/647.15 c | 437801 | 33792 321250 1131376 | 2147483647 376358 30 | 3.055 % |
647.82/647.84 c | 437994 | 33792 321250 1131376 | 2147483647 376551 30 | 3.055 % |
648.32/648.36 c | 438209 | 33792 321250 1131376 | 2147483647 376766 30 | 3.055 % |
649.32/649.33 c | 438445 | 33792 321250 1131376 | 2147483647 377002 30 | 3.055 % |
650.22/650.29 c | 438702 | 33792 321250 1131376 | 2147483647 377259 30 | 3.055 % |
651.12/651.11 c | 438983 | 33792 321250 1131376 | 2147483647 377540 30 | 3.055 % |
652.02/652.06 c | 439293 | 33792 321250 1131376 | 2147483647 377850 30 | 3.055 % |
653.32/653.35 c | 439632 | 33792 321250 1131376 | 2147483647 378189 30 | 3.055 % |
654.52/654.59 c | 440004 | 33792 321250 1131376 | 2147483647 378561 30 | 3.055 % |
656.32/656.35 c | 440413 | 33792 321250 1131376 | 2147483647 378970 30 | 3.055 % |
657.92/657.91 c | 440863 | 33792 321250 1131376 | 2147483647 379420 30 | 3.055 % |
658.72/658.74 c | 441356 | 33792 321250 1131376 | 2147483647 379913 30 | 3.055 % |
659.32/659.35 c | 441899 | 33792 321250 1131376 | 2147483647 380456 30 | 3.055 % |
660.52/660.54 c | 442495 | 33792 321250 1131376 | 2147483647 381052 30 | 3.055 % |
661.42/661.44 c | 443150 | 33792 321250 1131376 | 2147483647 381707 30 | 3.055 % |
663.12/663.17 c | 443873 | 33792 321250 1131376 | 2147483647 382430 30 | 3.055 % |
665.82/665.88 c | 444665 | 33792 321250 1131376 | 2147483647 383222 30 | 3.055 % |
668.52/668.57 c | 445536 | 33792 321250 1131376 | 2147483647 384093 30 | 3.055 % |
671.42/671.49 c | 446494 | 33792 321250 1131376 | 2147483647 385051 30 | 3.055 % |
675.82/675.82 c | 447547 | 33792 321250 1131376 | 2147483647 386104 30 | 3.055 % |
679.32/679.31 c | 448706 | 33791 321250 1131376 | 2147483647 387262 30 | 3.064 % |
681.22/681.24 c | 449979 | 33791 321250 1131376 | 2147483647 388535 30 | 3.064 % |
682.62/682.63 c | 451382 | 33791 321250 1131376 | 2147483647 389938 30 | 3.064 % |
684.92/684.99 c | 452924 | 33791 321250 1131376 | 2147483647 391480 30 | 3.064 % |
700.42/700.40 c | 454619 | 33789 320559 1129306 | 2147483647 156361 21 | 3.064 % |
701.72/701.79 c | 456483 | 33789 320559 1129306 | 2147483647 158225 21 | 3.064 % |
704.32/704.32 c | 458532 | 33789 320559 1129306 | 2147483647 160274 21 | 3.064 % |
707.62/707.61 c | 460785 | 33789 320559 1129306 | 2147483647 162527 21 | 3.064 % |
710.82/710.82 c | 463265 | 33789 320559 1129306 | 2147483647 165007 21 | 3.064 % |
713.82/713.90 c | 465991 | 33789 320559 1129306 | 2147483647 167733 21 | 3.064 % |
717.23/717.24 c ===============================================================================
717.23/717.24 c restarts : 858
717.23/717.24 c conflicts : 468338 (679 /sec)
717.23/717.24 c decisions : 742665 (1.75 % random) (1077 /sec)
717.23/717.24 c propagations : 248841595 (360792 /sec)
717.23/717.24 c conflict literals : 13332570 (45.24 % deleted)
717.23/717.24 c Memory used : 82.05 MB
717.23/717.24 c CPU time : 689.71 s
717.23/717.24 c
717.23/717.24 s UNSATISFIABLE
717.23/717.25 s UNSATISFIABLE
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1821454-1242529233/watcher-1821454-1242529233 -o /tmp/evaluation-result-1821454-1242529233/solver-1821454-1242529233 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821454-1242529233.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: 8192 KiB
[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 2/93 32060
/proc/meminfo: memFree=1139456/2074464 swapFree=1950884/1959888
[pid=32060] ppid=32058 vsize=2412 CPUtime=0.01
/proc/32060/stat : 32060 (SatELiteGTI) S 32058 32060 10114 0 -1 4194304 367 645 0 0 0 0 0 1 18 0 1 0 1017424370 2469888 276 4294967295 134512640 135169312 3220693712 3220692248 3085586158 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/32060/statm: 603 276 235 161 0 42 0
[pid=32064] ppid=32060 vsize=956 CPUtime=0
/proc/32064/stat : 32064 (SatELite_releas) R 32060 32060 10114 0 -1 4202496 128 0 0 0 0 0 0 0 20 0 1 0 1017424371 978944 64 4294967295 134512640 135223648 3217930272 3217928724 134719062 0 0 0 3 0 0 0 17 0 0 0 0
/proc/32064/statm: 239 65 47 174 0 64 0
[startup+0.031784 s]
/proc/loadavg: 0.92 0.98 0.99 2/93 32060
/proc/meminfo: memFree=1139456/2074464 swapFree=1950884/1959888
[pid=32060] ppid=32058 vsize=2412 CPUtime=0.01
/proc/32060/stat : 32060 (SatELiteGTI) S 32058 32060 10114 0 -1 4194304 367 645 0 0 0 0 0 1 18 0 1 0 1017424370 2469888 276 4294967295 134512640 135169312 3220693712 3220692248 3085586158 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/32060/statm: 603 276 235 161 0 42 0
[pid=32064] ppid=32060 vsize=8352 CPUtime=0.03
/proc/32064/stat : 32064 (SatELite_releas) R 32060 32060 10114 0 -1 4202496 1617 0 0 0 2 1 0 0 20 0 1 0 1017424371 8552448 1553 4294967295 134512640 135223648 3217930272 3217929152 134543504 0 0 0 3 0 0 0 17 0 0 0 0
/proc/32064/statm: 2088 1554 47 174 0 1913 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10764
[startup+0.111778 s]
/proc/loadavg: 0.92 0.98 0.99 2/93 32060
/proc/meminfo: memFree=1139456/2074464 swapFree=1950884/1959888
[pid=32060] ppid=32058 vsize=2412 CPUtime=0.01
/proc/32060/stat : 32060 (SatELiteGTI) S 32058 32060 10114 0 -1 4194304 367 645 0 0 0 0 0 1 18 0 1 0 1017424370 2469888 276 4294967295 134512640 135169312 3220693712 3220692248 3085586158 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/32060/statm: 603 276 235 161 0 42 0
[pid=32064] ppid=32060 vsize=18836 CPUtime=0.11
/proc/32064/stat : 32064 (SatELite_releas) R 32060 32060 10114 0 -1 4202496 4390 0 0 0 8 3 0 0 20 0 1 0 1017424371 19288064 4262 4294967295 134512640 135223648 3217930272 3217928856 134719062 0 0 0 3 0 0 0 17 0 0 0 0
/proc/32064/statm: 4709 4262 47 174 0 4534 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 21248
[startup+0.311769 s]
/proc/loadavg: 0.92 0.98 0.99 2/93 32060
/proc/meminfo: memFree=1139456/2074464 swapFree=1950884/1959888
[pid=32060] ppid=32058 vsize=2412 CPUtime=0.01
/proc/32060/stat : 32060 (SatELiteGTI) S 32058 32060 10114 0 -1 4194304 367 645 0 0 0 0 0 1 18 0 1 0 1017424370 2469888 276 4294967295 134512640 135169312 3220693712 3220692248 3085586158 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/32060/statm: 603 276 235 161 0 42 0
[pid=32064] ppid=32060 vsize=47676 CPUtime=0.31
/proc/32064/stat : 32064 (SatELite_releas) R 32060 32060 10114 0 -1 4202496 9613 0 0 0 26 5 0 0 21 0 1 0 1017424371 48820224 9485 4294967295 134512640 135223648 3217930272 3217928840 134719062 0 0 0 3 0 0 0 17 0 0 0 0
/proc/32064/statm: 11919 9486 47 174 0 11744 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 50088
[startup+0.711749 s]
/proc/loadavg: 0.92 0.98 0.99 2/93 32060
/proc/meminfo: memFree=1139456/2074464 swapFree=1950884/1959888
[pid=32060] ppid=32058 vsize=2412 CPUtime=0.01
/proc/32060/stat : 32060 (SatELiteGTI) S 32058 32060 10114 0 -1 4194304 367 645 0 0 0 0 0 1 18 0 1 0 1017424370 2469888 276 4294967295 134512640 135169312 3220693712 3220692248 3085586158 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/32060/statm: 603 276 235 161 0 42 0
[pid=32064] ppid=32060 vsize=79100 CPUtime=0.71
/proc/32064/stat : 32064 (SatELite_releas) R 32060 32060 10114 0 -1 4202496 19127 0 0 0 61 10 0 0 22 0 1 0 1017424371 80998400 18999 4294967295 134512640 135223648 3217930272 3217928772 134718983 0 0 0 3 0 0 0 17 0 0 0 0
/proc/32064/statm: 19775 18999 47 174 0 19600 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 81512
[startup+1.51171 s]
/proc/loadavg: 0.92 0.98 0.99 3/95 32065
/proc/meminfo: memFree=1027072/2074464 swapFree=1950884/1959888
[pid=32060] ppid=32058 vsize=2412 CPUtime=0.01
/proc/32060/stat : 32060 (SatELiteGTI) S 32058 32060 10114 0 -1 4194304 367 645 0 0 0 0 0 1 18 0 1 0 1017424370 2469888 276 4294967295 134512640 135169312 3220693712 3220692248 3085586158 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/32060/statm: 603 276 235 161 0 42 0
[pid=32064] ppid=32060 vsize=125364 CPUtime=1.51
/proc/32064/stat : 32064 (SatELite_releas) R 32060 32060 10114 0 -1 4202496 29797 0 0 0 135 16 0 0 25 0 1 0 1017424371 128372736 29656 4294967295 134512640 135223648 3217930272 3217928768 134548560 0 0 0 3 0 0 0 17 0 0 0 0
/proc/32064/statm: 31341 29656 67 174 0 31166 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 127776
[startup+3.11163 s]
/proc/loadavg: 0.93 0.98 0.99 2/95 32065
/proc/meminfo: memFree=1020624/2074464 swapFree=1950884/1959888
[pid=32060] ppid=32058 vsize=2412 CPUtime=0.01
/proc/32060/stat : 32060 (SatELiteGTI) S 32058 32060 10114 0 -1 4194304 367 645 0 0 0 0 0 1 18 0 1 0 1017424370 2469888 276 4294967295 134512640 135169312 3220693712 3220692248 3085586158 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/32060/statm: 603 276 235 161 0 42 0
[pid=32064] ppid=32060 vsize=137064 CPUtime=3.11
/proc/32064/stat : 32064 (SatELite_releas) R 32060 32060 10114 0 -1 4202496 32272 0 0 0 294 17 0 0 25 0 1 0 1017424371 140353536 32131 4294967295 134512640 135223648 3217930272 3217928352 134548209 0 0 0 3 0 0 0 17 0 0 0 0
/proc/32064/statm: 34266 32131 72 174 0 34091 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 139476
[startup+6.31148 s]
/proc/loadavg: 0.93 0.98 0.99 2/95 32065
/proc/meminfo: memFree=1010828/2074464 swapFree=1950884/1959888
[pid=32060] ppid=32058 vsize=2412 CPUtime=0.01
/proc/32060/stat : 32060 (SatELiteGTI) S 32058 32060 10114 0 -1 4194304 367 645 0 0 0 0 0 1 18 0 1 0 1017424370 2469888 276 4294967295 134512640 135169312 3220693712 3220692248 3085586158 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/32060/statm: 603 276 235 161 0 42 0
[pid=32064] ppid=32060 vsize=137064 CPUtime=6.31
/proc/32064/stat : 32064 (SatELite_releas) R 32060 32060 10114 0 -1 4202496 32282 0 0 0 614 17 0 0 25 0 1 0 1017424371 140353536 32141 4294967295 134512640 135223648 3217930272 3217928352 134548567 0 0 0 3 0 0 0 17 0 0 0 0
/proc/32064/statm: 34266 32141 72 174 0 34091 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 139476
[startup+12.7112 s]
/proc/loadavg: 0.94 0.98 0.99 4/95 32065
/proc/meminfo: memFree=1010428/2074464 swapFree=1950884/1959888
[pid=32060] ppid=32058 vsize=2412 CPUtime=0.01
/proc/32060/stat : 32060 (SatELiteGTI) S 32058 32060 10114 0 -1 4194304 367 645 0 0 0 0 0 1 18 0 1 0 1017424370 2469888 276 4294967295 134512640 135169312 3220693712 3220692248 3085586158 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/32060/statm: 603 276 235 161 0 42 0
[pid=32064] ppid=32060 vsize=137064 CPUtime=12.71
/proc/32064/stat : 32064 (SatELite_releas) R 32060 32060 10114 0 -1 4202496 32329 0 0 0 1254 17 0 0 25 0 1 0 1017424371 140353536 32188 4294967295 134512640 135223648 3217930272 3217928144 134548280 0 0 0 3 0 0 0 17 0 0 0 0
/proc/32064/statm: 34266 32188 72 174 0 34091 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 139476
[startup+25.5105 s]
/proc/loadavg: 0.95 0.98 0.99 2/95 32248
/proc/meminfo: memFree=1006092/2074464 swapFree=1950884/1959888
[pid=32060] ppid=32058 vsize=2412 CPUtime=0.01
/proc/32060/stat : 32060 (SatELiteGTI) S 32058 32060 10114 0 -1 4194304 367 645 0 0 0 0 0 1 18 0 1 0 1017424370 2469888 276 4294967295 134512640 135169312 3220693712 3220692248 3085586158 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/32060/statm: 603 276 235 161 0 42 0
[pid=32064] ppid=32060 vsize=135736 CPUtime=25.51
/proc/32064/stat : 32064 (SatELite_releas) R 32060 32060 10114 0 -1 4202496 34833 0 0 0 2529 22 0 0 25 0 1 0 1017424371 138993664 31667 4294967295 134512640 135223648 3217930272 3217928368 134597720 0 0 0 3 0 0 0 17 0 0 0 0
/proc/32064/statm: 33934 31667 73 174 0 33759 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 138148
[startup+51.1093 s]
/proc/loadavg: 0.96 0.98 0.99 2/95 32251
/proc/meminfo: memFree=1092348/2074464 swapFree=1950884/1959888
[pid=32060] ppid=32058 vsize=2416 CPUtime=27.23
/proc/32060/stat : 32060 (SatELiteGTI) S 32058 32060 10114 0 -1 4194304 386 39878 0 0 0 1 2694 28 18 0 1 0 1017424370 2473984 277 4294967295 134512640 135169312 3220693712 3220689928 3085586158 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/32060/statm: 604 277 235 161 0 43 0
[pid=32251] ppid=32060 vsize=29024 CPUtime=23.87
/proc/32251/stat : 32251 (minisat_static) R 32060 32060 10114 0 -1 4202496 6983 0 0 0 2377 10 0 0 25 0 1 0 1017427092 29720576 6918 4294967295 134512640 135215339 3215869568 3215867856 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/32251/statm: 7256 6918 73 172 0 7083 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 31440
[startup+102.317 s]
/proc/loadavg: 0.98 0.98 0.99 2/95 32440
/proc/meminfo: memFree=1082412/2074464 swapFree=1950884/1959888
[pid=32060] ppid=32058 vsize=2416 CPUtime=27.23
/proc/32060/stat : 32060 (SatELiteGTI) S 32058 32060 10114 0 -1 4194304 386 39878 0 0 0 1 2694 28 18 0 1 0 1017424370 2473984 277 4294967295 134512640 135169312 3220693712 3220689928 3085586158 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/32060/statm: 604 277 235 161 0 43 0
[pid=32251] ppid=32060 vsize=38780 CPUtime=75.08
/proc/32251/stat : 32251 (minisat_static) R 32060 32060 10114 0 -1 4202496 9360 0 0 0 7497 11 0 0 25 0 1 0 1017427092 39710720 9295 4294967295 134512640 135215339 3215869568 3215867856 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/32251/statm: 9695 9295 73 172 0 9522 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 41196
[startup+162.314 s]
/proc/loadavg: 0.99 0.98 0.99 2/95 32631
/proc/meminfo: memFree=1075320/2074464 swapFree=1950884/1959888
[pid=32060] ppid=32058 vsize=2416 CPUtime=27.23
/proc/32060/stat : 32060 (SatELiteGTI) S 32058 32060 10114 0 -1 4194304 386 39878 0 0 0 1 2694 28 18 0 1 0 1017424370 2473984 277 4294967295 134512640 135169312 3220693712 3220689928 3085586158 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/32060/statm: 604 277 235 161 0 43 0
[pid=32251] ppid=32060 vsize=45044 CPUtime=135.08
/proc/32251/stat : 32251 (minisat_static) R 32060 32060 10114 0 -1 4202496 10978 0 0 0 13496 12 0 0 25 0 1 0 1017427092 46125056 10913 4294967295 134512640 135215339 3215869568 3215867856 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/32251/statm: 11261 10913 73 172 0 11088 0
Current children cumulated CPU time (s) 162.31
Current children cumulated vsize (KiB) 47460
[startup+222.321 s]
/proc/loadavg: 0.99 0.98 0.99 2/95 352
/proc/meminfo: memFree=1069592/2074464 swapFree=1950884/1959888
[pid=32060] ppid=32058 vsize=2416 CPUtime=27.23
/proc/32060/stat : 32060 (SatELiteGTI) S 32058 32060 10114 0 -1 4194304 386 39878 0 0 0 1 2694 28 18 0 1 0 1017424370 2473984 277 4294967295 134512640 135169312 3220693712 3220689928 3085586158 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/32060/statm: 604 277 235 161 0 43 0
[pid=32251] ppid=32060 vsize=51028 CPUtime=195.09
/proc/32251/stat : 32251 (minisat_static) R 32060 32060 10114 0 -1 4202496 12375 0 0 0 19494 15 0 0 25 0 1 0 1017427092 52252672 12310 4294967295 134512640 135215339 3215869568 3215867856 134528624 0 0 0 3 0 0 0 17 0 0 0 0
/proc/32251/statm: 12757 12310 73 172 0 12584 0
Current children cumulated CPU time (s) 222.32
Current children cumulated vsize (KiB) 53444
[startup+282.318 s]
/proc/loadavg: 0.99 0.98 0.99 2/95 539
/proc/meminfo: memFree=1063084/2074464 swapFree=1950884/1959888
[pid=32060] ppid=32058 vsize=2416 CPUtime=27.23
/proc/32060/stat : 32060 (SatELiteGTI) S 32058 32060 10114 0 -1 4194304 386 39878 0 0 0 1 2694 28 18 0 1 0 1017424370 2473984 277 4294967295 134512640 135169312 3220693712 3220689928 3085586158 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/32060/statm: 604 277 235 161 0 43 0
[pid=32251] ppid=32060 vsize=57572 CPUtime=255.09
/proc/32251/stat : 32251 (minisat_static) R 32060 32060 10114 0 -1 4202496 14068 0 0 0 25490 19 0 0 25 0 1 0 1017427092 58953728 14003 4294967295 134512640 135215339 3215869568 3215867856 134528624 0 0 0 3 0 0 0 17 0 0 0 0
/proc/32251/statm: 14393 14003 73 172 0 14220 0
Current children cumulated CPU time (s) 282.32
Current children cumulated vsize (KiB) 59988
[startup+342.315 s]
/proc/loadavg: 0.99 0.98 0.99 2/95 726
/proc/meminfo: memFree=1057720/2074464 swapFree=1950884/1959888
[pid=32060] ppid=32058 vsize=2416 CPUtime=27.23
/proc/32060/stat : 32060 (SatELiteGTI) S 32058 32060 10114 0 -1 4194304 386 39878 0 0 0 1 2694 28 18 0 1 0 1017424370 2473984 277 4294967295 134512640 135169312 3220693712 3220689928 3085586158 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/32060/statm: 604 277 235 161 0 43 0
[pid=32251] ppid=32060 vsize=62928 CPUtime=315.08
/proc/32251/stat : 32251 (minisat_static) R 32060 32060 10114 0 -1 4202496 15447 0 0 0 31486 22 0 0 25 0 1 0 1017427092 64438272 15382 4294967295 134512640 135215339 3215869568 3215867856 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/32251/statm: 15732 15382 73 172 0 15559 0
Current children cumulated CPU time (s) 342.31
################
# More data... #
################
[startup+402.322 s]
/proc/loadavg: 0.99 0.98 0.99 2/95 926
/proc/meminfo: memFree=1052652/2074464 swapFree=1950884/1959888
[pid=32060] ppid=32058 vsize=2416 CPUtime=27.23
/proc/32060/stat : 32060 (SatELiteGTI) S 32058 32060 10114 0 -1 4194304 386 39878 0 0 0 1 2694 28 18 0 1 0 1017424370 2473984 277 4294967295 134512640 135169312 3220693712 3220689928 3085586158 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/32060/statm: 604 277 235 161 0 43 0
[pid=32251] ppid=32060 vsize=67976 CPUtime=375.09
/proc/32251/stat : 32251 (minisat_static) R 32060 32060 10114 0 -1 4202496 16678 0 0 0 37483 26 0 0 25 0 1 0 1017427092 69607424 16613 4294967295 134512640 135215339 3215869568 3215867856 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/32251/statm: 16994 16613 73 172 0 16821 0
Current children cumulated CPU time (s) 402.32
Current children cumulated vsize (KiB) 70392
[startup+462.319 s]
/proc/loadavg: 1.11 1.01 1.00 3/95 1118
/proc/meminfo: memFree=1051024/2074464 swapFree=1950884/1959888
[pid=32060] ppid=32058 vsize=2416 CPUtime=27.23
/proc/32060/stat : 32060 (SatELiteGTI) S 32058 32060 10114 0 -1 4194304 386 39878 0 0 0 1 2694 28 18 0 1 0 1017424370 2473984 277 4294967295 134512640 135169312 3220693712 3220689928 3085586158 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/32060/statm: 604 277 235 161 0 43 0
[pid=32251] ppid=32060 vsize=70396 CPUtime=435.09
/proc/32251/stat : 32251 (minisat_static) R 32060 32060 10114 0 -1 4202496 17108 0 0 0 43481 28 0 0 25 0 1 0 1017427092 72085504 17043 4294967295 134512640 135215339 3215869568 3215867664 134527233 0 0 0 3 0 0 0 17 0 0 0 0
/proc/32251/statm: 17599 17043 73 172 0 17426 0
Current children cumulated CPU time (s) 462.32
Current children cumulated vsize (KiB) 72812
[startup+522.326 s]
/proc/loadavg: 1.04 1.01 1.00 2/95 1311
/proc/meminfo: memFree=1046992/2074464 swapFree=1950884/1959888
[pid=32060] ppid=32058 vsize=2416 CPUtime=27.23
/proc/32060/stat : 32060 (SatELiteGTI) S 32058 32060 10114 0 -1 4194304 386 39878 0 0 0 1 2694 28 18 0 1 0 1017424370 2473984 277 4294967295 134512640 135169312 3220693712 3220689928 3085586158 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/32060/statm: 604 277 235 161 0 43 0
[pid=32251] ppid=32060 vsize=74124 CPUtime=495.1
/proc/32251/stat : 32251 (minisat_static) R 32060 32060 10114 0 -1 4202496 18086 0 0 0 49479 31 0 0 25 0 1 0 1017427092 75902976 18021 4294967295 134512640 135215339 3215869568 3215867856 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/32251/statm: 18531 18021 73 172 0 18358 0
Current children cumulated CPU time (s) 522.33
Current children cumulated vsize (KiB) 76540
[startup+582.313 s]
/proc/loadavg: 1.01 1.00 1.00 3/95 1498
/proc/meminfo: memFree=1043344/2074464 swapFree=1950884/1959888
[pid=32060] ppid=32058 vsize=2416 CPUtime=27.23
/proc/32060/stat : 32060 (SatELiteGTI) S 32058 32060 10114 0 -1 4194304 386 39878 0 0 0 1 2694 28 18 0 1 0 1017424370 2473984 277 4294967295 134512640 135169312 3220693712 3220689928 3085586158 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/32060/statm: 604 277 235 161 0 43 0
[pid=32251] ppid=32060 vsize=77904 CPUtime=555.09
/proc/32251/stat : 32251 (minisat_static) R 32060 32060 10114 0 -1 4202496 19028 0 0 0 55478 31 0 0 25 0 1 0 1017427092 79773696 18963 4294967295 134512640 135215339 3215869568 3215867856 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/32251/statm: 19476 18963 73 172 0 19303 0
Current children cumulated CPU time (s) 582.32
Current children cumulated vsize (KiB) 80320
[startup+642.311 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 1685
/proc/meminfo: memFree=1039368/2074464 swapFree=1950884/1959888
[pid=32060] ppid=32058 vsize=2416 CPUtime=27.23
/proc/32060/stat : 32060 (SatELiteGTI) S 32058 32060 10114 0 -1 4194304 386 39878 0 0 0 1 2694 28 18 0 1 0 1017424370 2473984 277 4294967295 134512640 135169312 3220693712 3220689928 3085586158 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/32060/statm: 604 277 235 161 0 43 0
[pid=32251] ppid=32060 vsize=81656 CPUtime=615.09
/proc/32251/stat : 32251 (minisat_static) R 32060 32060 10114 0 -1 4202496 19967 0 0 0 61478 31 0 0 25 0 1 0 1017427092 83615744 19902 4294967295 134512640 135215339 3215869568 3215867856 134528669 0 0 0 3 0 0 0 17 0 0 0 0
/proc/32251/statm: 20414 19902 73 172 0 20241 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 84072
[startup+702.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 1874
/proc/meminfo: memFree=1037144/2074464 swapFree=1950884/1959888
[pid=32060] ppid=32058 vsize=2416 CPUtime=27.23
/proc/32060/stat : 32060 (SatELiteGTI) S 32058 32060 10114 0 -1 4194304 386 39878 0 0 0 1 2694 28 18 0 1 0 1017424370 2473984 277 4294967295 134512640 135169312 3220693712 3220689928 3085586158 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/32060/statm: 604 277 235 161 0 43 0
[pid=32251] ppid=32060 vsize=84016 CPUtime=675.09
/proc/32251/stat : 32251 (minisat_static) R 32060 32060 10114 0 -1 4202496 20548 0 0 0 67477 32 0 0 25 0 1 0 1017427092 86032384 20483 4294967295 134512640 135215339 3215869568 3215867856 134528688 0 0 0 3 0 0 0 17 0 0 0 0
/proc/32251/statm: 21004 20483 73 172 0 20831 0
Current children cumulated CPU time (s) 702.32
Current children cumulated vsize (KiB) 86432
Solver just ended. Dumping a history of the last processes samples
[startup+703.908 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 1874
/proc/meminfo: memFree=1037144/2074464 swapFree=1950884/1959888
[pid=32060] ppid=32058 vsize=2416 CPUtime=27.23
/proc/32060/stat : 32060 (SatELiteGTI) S 32058 32060 10114 0 -1 4194304 386 39878 0 0 0 1 2694 28 18 0 1 0 1017424370 2473984 277 4294967295 134512640 135169312 3220693712 3220689928 3085586158 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/32060/statm: 604 277 235 161 0 43 0
[pid=32251] ppid=32060 vsize=84016 CPUtime=676.69
/proc/32251/stat : 32251 (minisat_static) R 32060 32060 10114 0 -1 4202496 20548 0 0 0 67637 32 0 0 25 0 1 0 1017427092 86032384 20483 4294967295 134512640 135215339 3215869568 3215867632 134537883 0 0 0 3 0 0 0 17 0 0 0 0
/proc/32251/statm: 21004 20483 73 172 0 20831 0
Current children cumulated CPU time (s) 703.92
Current children cumulated vsize (KiB) 86432
[startup+710.307 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 1874
/proc/meminfo: memFree=1037176/2074464 swapFree=1950884/1959888
[pid=32060] ppid=32058 vsize=2416 CPUtime=27.23
/proc/32060/stat : 32060 (SatELiteGTI) S 32058 32060 10114 0 -1 4194304 386 39878 0 0 0 1 2694 28 18 0 1 0 1017424370 2473984 277 4294967295 134512640 135169312 3220693712 3220689928 3085586158 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/32060/statm: 604 277 235 161 0 43 0
[pid=32251] ppid=32060 vsize=84016 CPUtime=683.09
/proc/32251/stat : 32251 (minisat_static) R 32060 32060 10114 0 -1 4202496 20548 0 0 0 68277 32 0 0 25 0 1 0 1017427092 86032384 20483 4294967295 134512640 135215339 3215869568 3215867856 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/32251/statm: 21004 20483 73 172 0 20831 0
Current children cumulated CPU time (s) 710.32
Current children cumulated vsize (KiB) 86432
[startup+713.507 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 1874
/proc/meminfo: memFree=1037176/2074464 swapFree=1950884/1959888
[pid=32060] ppid=32058 vsize=2416 CPUtime=27.23
/proc/32060/stat : 32060 (SatELiteGTI) S 32058 32060 10114 0 -1 4194304 386 39878 0 0 0 1 2694 28 18 0 1 0 1017424370 2473984 277 4294967295 134512640 135169312 3220693712 3220689928 3085586158 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/32060/statm: 604 277 235 161 0 43 0
[pid=32251] ppid=32060 vsize=84016 CPUtime=686.29
/proc/32251/stat : 32251 (minisat_static) R 32060 32060 10114 0 -1 4202496 20548 0 0 0 68597 32 0 0 25 0 1 0 1017427092 86032384 20483 4294967295 134512640 135215339 3215869568 3215867856 134528863 0 0 0 3 0 0 0 17 0 0 0 0
/proc/32251/statm: 21004 20483 73 172 0 20831 0
Current children cumulated CPU time (s) 713.52
Current children cumulated vsize (KiB) 86432
[startup+715.107 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 1874
/proc/meminfo: memFree=1037176/2074464 swapFree=1950884/1959888
[pid=32060] ppid=32058 vsize=2416 CPUtime=27.23
/proc/32060/stat : 32060 (SatELiteGTI) S 32058 32060 10114 0 -1 4194304 386 39878 0 0 0 1 2694 28 18 0 1 0 1017424370 2473984 277 4294967295 134512640 135169312 3220693712 3220689928 3085586158 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/32060/statm: 604 277 235 161 0 43 0
[pid=32251] ppid=32060 vsize=84016 CPUtime=687.89
/proc/32251/stat : 32251 (minisat_static) R 32060 32060 10114 0 -1 4202496 20548 0 0 0 68757 32 0 0 25 0 1 0 1017427092 86032384 20483 4294967295 134512640 135215339 3215869568 3215867856 134528863 0 0 0 3 0 0 0 17 0 0 0 0
/proc/32251/statm: 21004 20483 73 172 0 20831 0
Current children cumulated CPU time (s) 715.12
Current children cumulated vsize (KiB) 86432
[startup+715.907 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 1874
/proc/meminfo: memFree=1037176/2074464 swapFree=1950884/1959888
[pid=32060] ppid=32058 vsize=2416 CPUtime=27.23
/proc/32060/stat : 32060 (SatELiteGTI) S 32058 32060 10114 0 -1 4194304 386 39878 0 0 0 1 2694 28 18 0 1 0 1017424370 2473984 277 4294967295 134512640 135169312 3220693712 3220689928 3085586158 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/32060/statm: 604 277 235 161 0 43 0
[pid=32251] ppid=32060 vsize=84016 CPUtime=688.69
/proc/32251/stat : 32251 (minisat_static) R 32060 32060 10114 0 -1 4202496 20548 0 0 0 68837 32 0 0 25 0 1 0 1017427092 86032384 20483 4294967295 134512640 135215339 3215869568 3215867856 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/32251/statm: 21004 20483 73 172 0 20831 0
Current children cumulated CPU time (s) 715.92
Current children cumulated vsize (KiB) 86432
[startup+716.707 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 1874
/proc/meminfo: memFree=1037176/2074464 swapFree=1950884/1959888
[pid=32060] ppid=32058 vsize=2416 CPUtime=27.23
/proc/32060/stat : 32060 (SatELiteGTI) S 32058 32060 10114 0 -1 4194304 386 39878 0 0 0 1 2694 28 18 0 1 0 1017424370 2473984 277 4294967295 134512640 135169312 3220693712 3220689928 3085586158 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/32060/statm: 604 277 235 161 0 43 0
[pid=32251] ppid=32060 vsize=84016 CPUtime=689.49
/proc/32251/stat : 32251 (minisat_static) R 32060 32060 10114 0 -1 4202496 20548 0 0 0 68917 32 0 0 25 0 1 0 1017427092 86032384 20483 4294967295 134512640 135215339 3215869568 3215867856 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/32251/statm: 21004 20483 73 172 0 20831 0
Current children cumulated CPU time (s) 716.72
Current children cumulated vsize (KiB) 86432
[startup+717.107 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 1874
/proc/meminfo: memFree=1037176/2074464 swapFree=1950884/1959888
[pid=32060] ppid=32058 vsize=2416 CPUtime=27.23
/proc/32060/stat : 32060 (SatELiteGTI) S 32058 32060 10114 0 -1 4194304 386 39878 0 0 0 1 2694 28 18 0 1 0 1017424370 2473984 277 4294967295 134512640 135169312 3220693712 3220689928 3085586158 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/32060/statm: 604 277 235 161 0 43 0
[pid=32251] ppid=32060 vsize=84016 CPUtime=689.89
/proc/32251/stat : 32251 (minisat_static) R 32060 32060 10114 0 -1 4202496 20548 0 0 0 68957 32 0 0 25 0 1 0 1017427092 86032384 20483 4294967295 134512640 135215339 3215869568 3215867856 134528788 0 0 0 3 0 0 0 17 0 0 0 0
/proc/32251/statm: 21004 20483 73 172 0 20831 0
Current children cumulated CPU time (s) 717.12
Current children cumulated vsize (KiB) 86432
[startup+717.217 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 1874
/proc/meminfo: memFree=1037176/2074464 swapFree=1950884/1959888
[pid=32060] ppid=32058 vsize=2416 CPUtime=27.23
/proc/32060/stat : 32060 (SatELiteGTI) S 32058 32060 10114 0 -1 4194304 386 39878 0 0 0 1 2694 28 18 0 1 0 1017424370 2473984 277 4294967295 134512640 135169312 3220693712 3220689928 3085586158 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/32060/statm: 604 277 235 161 0 43 0
[pid=32251] ppid=32060 vsize=84016 CPUtime=690
/proc/32251/stat : 32251 (minisat_static) R 32060 32060 10114 0 -1 4202496 20548 0 0 0 68968 32 0 0 25 0 1 0 1017427092 86032384 20483 4294967295 134512640 135215339 3215869568 3215867856 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/32251/statm: 21004 20483 73 172 0 20831 0
Current children cumulated CPU time (s) 717.23
Current children cumulated vsize (KiB) 86432
Child status: 20
Real time (s): 717.266
CPU time (s): 717.27
CPU user time (s): 716.65
CPU system time (s): 0.62
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 150620
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 716.65
system time used= 0.62
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 61094
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= 20
involuntary context switches= 719
runsolver used 0.01 second user time and 0.04 second system time
The end
Begin job on tipi13 at 2009-05-17 05:00:33
IDJOB=1821454
IDBENCH=70960
IDSOLVER=657
FILE ID=tipi13/1821454-1242529233
PBS_JOBID=
Free space on /tmp= 7034 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= runsolver --timestamp -w /tmp/evaluation-result-1821454-1242529233/watcher-1821454-1242529233 -o /tmp/evaluation-result-1821454-1242529233/solver-1821454-1242529233 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821454-1242529233.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= eb71c8cb3482ee70f1c98af8944179ca
RANDOM SEED= 1441428875
Linux tipi13 2.6.18 #19 SMP Tue Jun 19 11:27:27 CEST 2007 i686 GNU/Linux
/proc/cpuinfo:
processor : 0
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.475
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3618.37
processor : 1
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.475
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.78
processor : 2
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.475
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.77
processor : 3
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.475
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.78
/proc/meminfo:
MemTotal: 2074464 kB
MemFree: 1139472 kB
Buffers: 46468 kB
Cached: 795748 kB
SwapCached: 3516 kB
Active: 375096 kB
Inactive: 476604 kB
HighTotal: 1178688 kB
HighFree: 407176 kB
LowTotal: 895776 kB
LowFree: 732296 kB
SwapTotal: 1959888 kB
SwapFree: 1950884 kB
Dirty: 25220 kB
Writeback: 0 kB
AnonPages: 8852 kB
Mapped: 3120 kB
Slab: 74924 kB
PageTables: 484 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 2997120 kB
Committed_AS: 90604 kB
VmallocTotal: 114680 kB
VmallocUsed: 1324 kB
VmallocChunk: 113264 kB
Free space on /tmp at the end= 7034 MiB
End job on tipi13 at 2009-05-17 05:12:33