0.00/0.00 c Parsing...
0.00/0.00 c ==============================================================================
0.00/0.00 c | | ORIGINAL | LEARNT | |
0.00/0.00 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.00 c ==============================================================================
0.00/0.00 c | 0 | 840 2520 | 251 0 0 nan | 0.000 % |
0.00/0.00 c ==============================================================================
0.00/0.00 c Result : #vars: 210 #clauses: 840 #literals: 2520
0.00/0.00 c CPU time: 0.001999 s
0.00/0.00 c ==============================================================================
0.00/0.01 c This is MiniSat 2.0 beta
0.00/0.01 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01 c ============================[ Problem Statistics ]=============================
0.00/0.01 c | |
0.00/0.01 c | Number of variables: 210 |
0.00/0.01 c | Number of clauses: 840 |
0.00/0.01 c | Parsing time: 0.00 s |
0.00/0.01 c ============================[ Search Statistics ]==============================
0.00/0.01 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.00/0.01 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.00/0.01 c ===============================================================================
0.00/0.01 c | 0 | 210 840 2520 | 280 0 nan | 0.000 % |
0.00/0.01 c | 102 | 210 840 2520 | 280 102 21 | 0.002 % |
0.00/0.01 c | 202 | 210 840 2520 | 280 202 21 | 0.002 % |
0.00/0.02 c | 302 | 210 840 2520 | 280 302 20 | 0.002 % |
0.00/0.02 c | 413 | 210 840 2520 | 280 350 21 | 0.002 % |
0.00/0.02 c | 513 | 210 840 2520 | 280 324 21 | 0.002 % |
0.00/0.03 c | 624 | 210 840 2520 | 280 310 19 | 0.002 % |
0.00/0.03 c | 746 | 210 840 2520 | 280 305 19 | 0.002 % |
0.00/0.03 c | 847 | 210 840 2520 | 280 316 20 | 0.002 % |
0.00/0.04 c | 957 | 210 840 2520 | 280 308 19 | 0.002 % |
0.00/0.04 c | 1078 | 210 840 2520 | 280 334 19 | 0.002 % |
0.00/0.04 c | 1211 | 210 840 2520 | 280 313 18 | 0.002 % |
0.00/0.05 c | 1311 | 210 840 2520 | 280 323 17 | 0.002 % |
0.00/0.05 c | 1422 | 210 840 2520 | 280 313 17 | 0.002 % |
0.00/0.05 c | 1544 | 210 840 2520 | 280 343 17 | 0.002 % |
0.00/0.06 c | 1678 | 210 840 2520 | 280 294 15 | 0.002 % |
0.00/0.06 c | 1825 | 210 840 2520 | 280 322 14 | 0.002 % |
0.00/0.07 c | 1925 | 210 840 2520 | 280 302 13 | 0.002 % |
0.00/0.07 c | 2035 | 210 840 2520 | 280 294 13 | 0.002 % |
0.00/0.07 c | 2156 | 210 840 2520 | 280 294 13 | 0.002 % |
0.00/0.08 c | 2290 | 210 840 2520 | 280 280 11 | 0.002 % |
0.00/0.08 c | 2437 | 210 840 2520 | 280 313 13 | 0.002 % |
0.00/0.09 c | 2598 | 210 840 2520 | 280 298 12 | 0.002 % |
0.00/0.09 c | 2699 | 210 840 2520 | 280 310 12 | 0.002 % |
0.00/0.09 c | 2810 | 210 840 2520 | 280 299 12 | 0.002 % |
0.00/0.10 c | 2931 | 210 840 2520 | 280 302 12 | 0.002 % |
0.00/0.10 c | 3064 | 210 840 2520 | 280 295 12 | 0.002 % |
0.00/0.11 c | 3211 | 210 840 2520 | 280 296 11 | 0.002 % |
0.00/0.11 c | 3371 | 210 840 2520 | 280 309 10 | 0.002 % |
0.00/0.12 c | 3547 | 210 840 2520 | 280 331 12 | 0.002 % |
0.00/0.12 c | 3647 | 210 840 2520 | 280 310 10 | 0.002 % |
0.00/0.12 c | 3759 | 210 840 2520 | 280 305 10 | 0.002 % |
0.00/0.13 c | 3880 | 210 840 2520 | 280 281 9 | 0.002 % |
0.00/0.13 c | 4014 | 210 840 2520 | 280 324 11 | 0.002 % |
0.00/0.14 c | 4161 | 210 840 2520 | 280 323 10 | 0.002 % |
0.00/0.14 c | 4322 | 210 840 2520 | 280 303 9 | 0.002 % |
0.00/0.15 c | 4498 | 210 840 2520 | 280 301 10 | 0.002 % |
0.00/0.15 c | 4691 | 210 840 2520 | 280 314 9 | 0.002 % |
0.00/0.16 c | 4792 | 210 840 2520 | 280 325 11 | 0.002 % |
0.00/0.16 c | 4903 | 210 840 2520 | 280 346 12 | 0.002 % |
0.00/0.16 c | 5025 | 210 840 2520 | 280 284 9 | 0.002 % |
0.00/0.17 c | 5158 | 210 840 2520 | 280 300 9 | 0.002 % |
0.00/0.17 c | 5305 | 210 840 2520 | 280 298 8 | 0.002 % |
0.00/0.18 c | 5466 | 210 840 2520 | 280 306 10 | 0.002 % |
0.00/0.18 c | 5642 | 210 840 2520 | 280 308 9 | 0.005 % |
0.00/0.19 c | 5835 | 210 840 2520 | 280 320 9 | 0.002 % |
0.00/0.19 c | 6047 | 210 840 2520 | 280 298 8 | 0.002 % |
0.00/0.20 c | 6147 | 210 840 2520 | 280 309 8 | 0.002 % |
0.00/0.20 c | 6257 | 210 840 2520 | 280 298 8 | 0.002 % |
0.00/0.20 c | 6378 | 210 840 2520 | 280 301 8 | 0.002 % |
0.00/0.21 c | 6511 | 210 840 2520 | 280 288 7 | 0.002 % |
0.00/0.21 c | 6657 | 210 840 2520 | 280 317 8 | 0.002 % |
0.00/0.22 c | 6817 | 210 840 2520 | 280 304 7 | 0.002 % |
0.00/0.22 c | 6993 | 210 840 2520 | 280 298 7 | 0.002 % |
0.00/0.23 c | 7186 | 210 840 2520 | 280 288 7 | 0.002 % |
0.00/0.23 c | 7399 | 210 840 2520 | 280 299 8 | 0.002 % |
0.00/0.24 c | 7632 | 210 840 2520 | 280 297 8 | 0.002 % |
0.00/0.24 c | 7732 | 210 840 2520 | 280 283 7 | 0.002 % |
0.00/0.25 c | 7843 | 210 840 2520 | 280 306 8 | 0.002 % |
0.00/0.25 c | 7966 | 210 840 2520 | 280 312 8 | 0.002 % |
0.00/0.26 c | 8099 | 210 840 2520 | 280 299 8 | 0.002 % |
0.00/0.26 c | 8247 | 210 840 2520 | 280 302 8 | 0.002 % |
0.00/0.27 c | 8409 | 210 840 2520 | 280 312 8 | 0.002 % |
0.00/0.27 c | 8586 | 210 840 2520 | 280 314 8 | 0.002 % |
0.00/0.28 c | 8780 | 210 840 2520 | 280 302 8 | 0.002 % |
0.00/0.28 c | 8993 | 210 840 2520 | 280 292 7 | 0.002 % |
0.00/0.29 c | 9228 | 210 840 2520 | 280 293 8 | 0.002 % |
0.00/0.30 c | 9484 | 210 840 2520 | 280 302 8 | 0.002 % |
0.00/0.30 c | 9584 | 210 840 2520 | 280 312 8 | 0.002 % |
0.00/0.30 c | 9694 | 210 840 2520 | 280 305 8 | 0.002 % |
0.00/0.31 c | 9815 | 210 840 2520 | 280 307 8 | 0.002 % |
0.00/0.31 c | 9948 | 210 840 2520 | 280 319 9 | 0.005 % |
0.00/0.32 c | 10095 | 210 840 2520 | 2147483647 407 11 | 0.002 % |
0.00/0.32 c | 10255 | 210 840 2520 | 2147483647 567 13 | 0.002 % |
0.00/0.33 c | 10431 | 210 840 2520 | 2147483647 743 15 | 0.002 % |
0.00/0.33 c | 10625 | 210 840 2520 | 2147483647 937 16 | 0.002 % |
0.00/0.34 c | 10838 | 210 840 2520 | 2147483647 1150 16 | 0.002 % |
0.00/0.35 c | 11072 | 210 840 2520 | 2147483647 1384 17 | 0.002 % |
0.00/0.36 c | 11329 | 210 840 2520 | 2147483647 1641 17 | 0.002 % |
0.00/0.37 c | 11611 | 210 840 2520 | 2147483647 1923 17 | 0.002 % |
0.00/0.38 c | 11711 | 210 840 2520 | 2147483647 2023 17 | 0.002 % |
0.00/0.38 c | 11822 | 210 840 2520 | 2147483647 2134 17 | 0.002 % |
0.00/0.39 c | 11944 | 210 840 2520 | 2147483647 2256 17 | 0.002 % |
0.00/0.39 c | 12077 | 210 840 2520 | 2147483647 2389 17 | 0.002 % |
0.00/0.40 c | 12223 | 210 840 2520 | 2147483647 2535 17 | 0.002 % |
0.00/0.41 c | 12384 | 210 840 2520 | 2147483647 2696 18 | 0.002 % |
0.00/0.42 c | 12561 | 210 840 2520 | 2147483647 2873 17 | 0.005 % |
0.00/0.43 c | 12755 | 210 840 2520 | 2147483647 3067 17 | 0.002 % |
0.00/0.44 c | 12968 | 210 840 2520 | 2147483647 3280 17 | 0.002 % |
0.00/0.45 c | 13201 | 210 840 2520 | 2147483647 3513 17 | 0.002 % |
0.00/0.47 c | 13458 | 210 840 2520 | 2147483647 3770 17 | 0.002 % |
0.00/0.49 c | 13739 | 210 840 2520 | 2147483647 4051 17 | 0.002 % |
0.00/0.51 c | 14048 | 210 840 2520 | 2147483647 4360 17 | 0.002 % |
0.00/0.52 c | 14148 | 210 840 2520 | 2147483647 4460 17 | 0.002 % |
0.00/0.52 c | 14258 | 210 840 2520 | 2147483647 4570 17 | 0.002 % |
0.00/0.53 c | 14380 | 210 840 2520 | 2147483647 4692 17 | 0.002 % |
0.00/0.54 c | 14513 | 210 840 2520 | 2147483647 4825 17 | 0.002 % |
0.00/0.55 c | 14659 | 210 840 2520 | 2147483647 4971 17 | 0.002 % |
0.00/0.56 c | 14819 | 210 840 2520 | 2147483647 5131 17 | 0.002 % |
0.00/0.58 c | 14998 | 210 840 2520 | 2147483647 5310 17 | 0.002 % |
0.00/0.59 c | 15192 | 210 840 2520 | 2147483647 5504 18 | 0.002 % |
0.00/0.61 c | 15405 | 210 840 2520 | 2147483647 5717 18 | 0.002 % |
0.00/0.63 c | 15638 | 210 840 2520 | 2147483647 5950 18 | 0.002 % |
0.00/0.65 c | 15894 | 210 840 2520 | 2147483647 6206 18 | 0.002 % |
0.00/0.67 c | 16176 | 210 840 2520 | 2147483647 6488 18 | 0.002 % |
0.00/0.70 c | 16485 | 210 840 2520 | 2147483647 6797 18 | 0.002 % |
0.00/0.72 c | 16825 | 210 840 2520 | 2147483647 7137 18 | 0.002 % |
0.00/0.73 c | 16926 | 210 840 2520 | 2147483647 7238 18 | 0.002 % |
0.00/0.74 c | 17036 | 210 840 2520 | 2147483647 7348 18 | 0.002 % |
0.00/0.75 c | 17158 | 210 840 2520 | 2147483647 7470 18 | 0.002 % |
0.00/0.77 c | 17291 | 210 840 2520 | 2147483647 7603 18 | 0.002 % |
0.00/0.78 c | 17438 | 210 840 2520 | 2147483647 7750 18 | 0.002 % |
0.00/0.79 c | 17598 | 210 840 2520 | 2147483647 7910 18 | 0.002 % |
0.00/0.81 c | 17775 | 210 840 2520 | 2147483647 8087 18 | 0.002 % |
0.00/0.83 c | 17968 | 210 840 2520 | 2147483647 8280 18 | 0.002 % |
0.00/0.84 c | 18180 | 210 840 2520 | 2147483647 8492 18 | 0.002 % |
0.00/0.86 c | 18414 | 210 840 2520 | 2147483647 8726 18 | 0.002 % |
0.00/0.89 c | 18670 | 210 840 2520 | 2147483647 8982 18 | 0.002 % |
0.00/0.91 c | 18951 | 210 840 2520 | 2147483647 9263 18 | 0.002 % |
0.00/0.94 c | 19261 | 210 840 2520 | 2147483647 9573 18 | 0.002 % |
0.00/0.97 c | 19600 | 210 840 2520 | 2147483647 9912 18 | 0.002 % |
0.00/1.01 c | 19972 | 210 840 2520 | 2147483647 10284 18 | 0.002 % |
0.00/1.02 c | 20073 | 210 840 2520 | 2147483647 10385 18 | 0.002 % |
0.00/1.03 c | 20183 | 210 840 2520 | 2147483647 10495 18 | 0.002 % |
0.00/1.04 c | 20304 | 210 840 2520 | 2147483647 10616 18 | 0.002 % |
0.00/1.05 c | 20438 | 210 840 2520 | 2147483647 10750 18 | 0.002 % |
0.00/1.07 c | 20585 | 210 840 2520 | 2147483647 10897 18 | 0.002 % |
0.00/1.09 c | 20745 | 210 840 2520 | 2147483647 11057 18 | 0.002 % |
1.07/1.11 c | 20921 | 210 840 2520 | 2147483647 11233 18 | 0.002 % |
1.07/1.13 c | 21114 | 210 840 2520 | 2147483647 11426 18 | 0.002 % |
1.07/1.15 c | 21327 | 210 840 2520 | 2147483647 11639 18 | 0.002 % |
1.07/1.19 c | 21561 | 210 840 2520 | 2147483647 11873 18 | 0.002 % |
1.17/1.23 c | 21818 | 210 840 2520 | 2147483647 12130 18 | 0.002 % |
1.17/1.27 c | 22099 | 210 840 2520 | 2147483647 12411 18 | 0.002 % |
1.27/1.32 c | 22408 | 210 840 2520 | 2147483647 12720 18 | 0.002 % |
1.27/1.37 c | 22748 | 210 840 2520 | 2147483647 13060 18 | 0.002 % |
1.37/1.42 c | 23121 | 210 840 2520 | 2147483647 13433 18 | 0.002 % |
1.37/1.46 c | 23530 | 210 840 2520 | 2147483647 13842 18 | 0.002 % |
1.37/1.48 c | 23633 | 210 840 2520 | 2147483647 13945 18 | 0.002 % |
1.37/1.49 c | 23743 | 210 840 2520 | 2147483647 14055 18 | 0.002 % |
1.47/1.51 c | 23865 | 210 840 2520 | 2147483647 14177 18 | 0.002 % |
1.47/1.53 c | 23999 | 210 840 2520 | 2147483647 14311 18 | 0.002 % |
1.47/1.55 c | 24145 | 210 840 2520 | 2147483647 14457 18 | 0.002 % |
1.47/1.57 c | 24306 | 210 840 2520 | 2147483647 14618 18 | 0.002 % |
1.47/1.59 c | 24484 | 210 840 2520 | 2147483647 14796 18 | 0.002 % |
1.57/1.62 c | 24677 | 210 840 2520 | 2147483647 14989 18 | 0.002 % |
1.57/1.65 c | 24890 | 210 840 2520 | 2147483647 15202 18 | 0.002 % |
1.57/1.69 c | 25123 | 210 840 2520 | 2147483647 15435 18 | 0.002 % |
1.67/1.73 c | 25380 | 210 840 2520 | 2147483647 15692 18 | 0.002 % |
1.67/1.78 c | 25662 | 210 840 2520 | 2147483647 15974 18 | 0.002 % |
1.77/1.83 c | 25971 | 210 840 2520 | 2147483647 16283 18 | 0.002 % |
1.77/1.88 c | 26311 | 210 840 2520 | 2147483647 16623 18 | 0.002 % |
1.87/1.94 c | 26683 | 210 840 2520 | 2147483647 16995 18 | 0.002 % |
1.97/2.00 c | 27093 | 210 840 2520 | 2147483647 17405 18 | 0.002 % |
1.97/2.07 c | 27543 | 210 840 2520 | 2147483647 17855 18 | 0.002 % |
1.97/2.09 c | 27644 | 210 840 2520 | 2147483647 17956 18 | 0.002 % |
2.07/2.11 c | 27754 | 210 840 2520 | 2147483647 18066 18 | 0.002 % |
2.07/2.13 c | 27875 | 210 840 2520 | 2147483647 18187 18 | 0.002 % |
2.07/2.16 c | 28009 | 210 840 2520 | 2147483647 18321 18 | 0.002 % |
2.07/2.18 c | 28155 | 210 840 2520 | 2147483647 18467 18 | 0.002 % |
2.17/2.21 c | 28316 | 210 840 2520 | 2147483647 18628 18 | 0.002 % |
2.17/2.24 c | 28494 | 210 840 2520 | 2147483647 18806 18 | 0.002 % |
2.17/2.27 c | 28687 | 210 840 2520 | 2147483647 18999 18 | 0.002 % |
2.27/2.31 c | 28899 | 210 840 2520 | 2147483647 19211 18 | 0.002 % |
2.27/2.34 c | 29132 | 210 840 2520 | 2147483647 19444 18 | 0.002 % |
2.27/2.39 c | 29388 | 210 840 2520 | 2147483647 19700 18 | 0.002 % |
2.37/2.44 c | 29669 | 210 840 2520 | 2147483647 19981 18 | 0.002 % |
2.47/2.50 c | 29978 | 210 840 2520 | 2147483647 20290 18 | 0.002 % |
2.47/2.58 c | 30318 | 210 840 2520 | 20313 13163 17 | 0.002 % |
2.57/2.64 c | 30690 | 210 840 2520 | 20313 13535 17 | 0.002 % |
2.57/2.68 c | 31100 | 210 840 2520 | 20313 13945 17 | 0.002 % |
2.67/2.75 c | 31549 | 210 840 2520 | 20313 14394 17 | 0.002 % |
2.77/2.84 c | 32042 | 210 840 2520 | 20313 14887 17 | 0.002 % |
2.77/2.85 c | 32143 | 210 840 2520 | 20313 14988 17 | 0.002 % |
2.77/2.87 c | 32253 | 210 840 2520 | 20313 15098 17 | 0.002 % |
2.77/2.89 c | 32374 | 210 840 2520 | 20313 15219 17 | 0.002 % |
2.87/2.91 c | 32508 | 210 840 2520 | 20313 15353 17 | 0.002 % |
2.87/2.93 c | 32655 | 210 840 2520 | 20313 15500 17 | 0.002 % |
2.87/2.96 c | 32815 | 210 840 2520 | 20313 15660 17 | 0.002 % |
2.87/2.98 c | 32992 | 210 840 2520 | 20313 15837 17 | 0.002 % |
2.97/3.01 c | 33188 | 210 840 2520 | 20313 16033 17 | 0.002 % |
2.97/3.04 c | 33401 | 210 840 2520 | 20313 16246 17 | 0.002 % |
2.97/3.07 c | 33635 | 210 840 2520 | 20313 16480 17 | 0.002 % |
3.07/3.12 c | 33891 | 210 840 2520 | 20313 16736 17 | 0.002 % |
3.07/3.17 c | 34172 | 210 840 2520 | 20313 17017 17 | 0.002 % |
3.17/3.23 c | 34482 | 210 840 2520 | 20313 17327 17 | 0.002 % |
3.17/3.30 c | 34821 | 210 840 2520 | 20313 17666 17 | 0.002 % |
3.27/3.36 c | 35193 | 210 840 2520 | 20313 18038 17 | 0.002 % |
3.37/3.44 c | 35603 | 210 840 2520 | 20313 18448 17 | 0.002 % |
3.47/3.52 c | 36053 | 210 840 2520 | 20313 18898 17 | 0.002 % |
3.57/3.60 c | 36546 | 210 840 2520 | 20313 19391 17 | 0.002 % |
3.67/3.72 c | 37089 | 210 840 2520 | 20313 19934 17 | 0.005 % |
3.67/3.74 c | 37189 | 210 840 2520 | 20313 20034 17 | 0.002 % |
3.67/3.77 c | 37301 | 210 840 2520 | 20313 20146 17 | 0.002 % |
3.67/3.79 c | 37422 | 210 840 2520 | 20313 20267 17 | 0.002 % |
3.77/3.86 c | 37556 | 210 840 2520 | 20313 12079 16 | 0.002 % |
3.77/3.88 c | 37703 | 210 840 2520 | 20313 12226 16 | 0.002 % |
3.87/3.91 c | 37864 | 210 840 2520 | 20313 12387 16 | 0.002 % |
3.87/3.93 c | 38042 | 210 840 2520 | 20313 12565 16 | 0.002 % |
3.87/3.95 c | 38235 | 210 840 2520 | 20313 12758 16 | 0.002 % |
3.87/3.98 c | 38450 | 210 840 2520 | 20313 12973 16 | 0.002 % |
3.97/4.01 c | 38685 | 210 840 2520 | 20313 13208 16 | 0.002 % |
3.97/4.05 c | 38941 | 210 840 2520 | 20313 13464 16 | 0.002 % |
3.97/4.09 c | 39223 | 210 840 2520 | 20313 13746 16 | 0.002 % |
4.07/4.12 c | 39533 | 210 840 2520 | 20313 14056 16 | 0.002 % |
4.07/4.18 c | 39872 | 210 840 2520 | 20313 14395 16 | 0.002 % |
4.16/4.24 c | 40244 | 210 840 2520 | 14524 8868 15 | 0.002 % |
4.16/4.27 c | 40653 | 210 840 2520 | 14524 9277 15 | 0.002 % |
4.26/4.31 c | 41103 | 210 840 2520 | 14524 9727 15 | 0.002 % |
4.26/4.35 c | 41596 | 210 840 2520 | 14524 10220 15 | 0.002 % |
4.37/4.41 c | 42138 | 210 840 2520 | 14524 10762 15 | 0.002 % |
4.37/4.47 c | 42735 | 210 840 2520 | 14524 11359 15 | 0.002 % |
4.37/4.48 c | 42835 | 210 840 2520 | 14524 11459 15 | 0.002 % |
4.37/4.50 c | 42946 | 210 840 2520 | 14524 11570 16 | 0.002 % |
4.47/4.51 c | 43068 | 210 840 2520 | 14524 11692 16 | 0.002 % |
4.47/4.54 c | 43202 | 210 840 2520 | 14524 11826 16 | 0.002 % |
4.47/4.55 c | 43348 | 210 840 2520 | 14524 11972 16 | 0.002 % |
4.47/4.57 c | 43509 | 210 840 2520 | 14524 12133 16 | 0.002 % |
4.47/4.60 c | 43685 | 210 840 2520 | 14524 12309 16 | 0.002 % |
4.56/4.62 c | 43879 | 210 840 2520 | 14524 12503 16 | 0.002 % |
4.56/4.64 c | 44092 | 210 840 2520 | 14524 12716 16 | 0.002 % |
4.56/4.68 c | 44325 | 210 840 2520 | 14524 12949 16 | 0.002 % |
4.66/4.70 c | 44581 | 210 840 2520 | 14524 13205 16 | 0.002 % |
4.66/4.75 c | 44863 | 210 840 2520 | 14524 13487 16 | 0.002 % |
4.76/4.80 c | 45173 | 210 840 2520 | 14524 13797 16 | 0.002 % |
4.76/4.85 c | 45512 | 210 840 2520 | 14524 14136 16 | 0.002 % |
4.86/4.90 c | 45885 | 210 840 2520 | 14524 14509 16 | 0.002 % |
4.86/4.96 c | 46294 | 210 840 2520 | 14524 9490 15 | 0.002 % |
4.96/5.01 c | 46744 | 210 840 2520 | 14524 9940 15 | 0.002 % |
4.96/5.06 c | 47238 | 210 840 2520 | 14524 10434 15 | 0.002 % |
5.06/5.12 c | 47782 | 210 840 2520 | 14524 10978 15 | 0.002 % |
5.06/5.19 c | 48378 | 210 840 2520 | 14524 11574 16 | 0.002 % |
5.16/5.26 c | 49034 | 210 840 2520 | 14524 12230 16 | 0.002 % |
5.16/5.27 c | 49134 | 210 840 2520 | 14524 12330 16 | 0.002 % |
5.16/5.29 c | 49244 | 210 840 2520 | 14524 12440 16 | 0.002 % |
5.26/5.30 c | 49366 | 210 840 2520 | 14524 12562 16 | 0.002 % |
5.26/5.32 c | 49500 | 210 840 2520 | 14524 12696 16 | 0.002 % |
5.26/5.34 c | 49648 | 210 840 2520 | 14524 12844 16 | 0.002 % |
5.26/5.36 c | 49809 | 210 840 2520 | 14524 13005 16 | 0.002 % |
5.26/5.39 c | 49985 | 210 840 2520 | 14524 13181 16 | 0.002 % |
5.36/5.42 c | 50179 | 210 840 2520 | 13196 8652 15 | 0.002 % |
5.36/5.45 c | 50392 | 210 840 2520 | 13196 8865 15 | 0.002 % |
5.36/5.47 c | 50626 | 210 840 2520 | 13196 9099 15 | 0.002 % |
5.36/5.50 c | 50883 | 210 840 2520 | 13196 9356 15 | 0.002 % |
5.46/5.53 c | 51164 | 210 840 2520 | 13196 9637 15 | 0.002 % |
5.46/5.56 c | 51473 | 210 840 2520 | 13196 9946 15 | 0.002 % |
5.56/5.60 c | 51813 | 210 840 2520 | 13196 10286 15 | 0.002 % |
5.56/5.64 c | 52188 | 210 840 2520 | 13196 10661 15 | 0.002 % |
5.56/5.68 c | 52597 | 210 840 2520 | 13196 11070 16 | 0.002 % |
5.66/5.72 c | 53047 | 210 840 2520 | 13196 11520 15 | 0.002 % |
5.66/5.79 c | 53541 | 210 840 2520 | 13196 12014 16 | 0.002 % |
5.76/5.87 c | 54084 | 210 840 2520 | 13196 12557 16 | 0.002 % |
5.86/5.95 c | 54681 | 210 840 2520 | 13196 13154 16 | 0.002 % |
5.96/6.04 c | 55337 | 210 840 2520 | 13196 9252 15 | 0.002 % |
6.06/6.12 c | 56057 | 210 840 2520 | 13196 9972 15 | 0.002 % |
6.06/6.13 c | 56159 | 210 840 2520 | 13196 10074 15 | 0.002 % |
6.06/6.14 c | 56269 | 210 840 2520 | 13196 10184 15 | 0.002 % |
6.06/6.15 c | 56390 | 210 840 2520 | 13196 10305 15 | 0.002 % |
6.06/6.16 c | 56523 | 210 840 2520 | 13196 10438 15 | 0.002 % |
6.06/6.19 c | 56671 | 210 840 2520 | 13196 10586 15 | 0.002 % |
6.16/6.21 c | 56831 | 210 840 2520 | 13196 10746 15 | 0.002 % |
6.16/6.23 c | 57008 | 210 840 2520 | 13196 10923 15 | 0.002 % |
6.16/6.26 c | 57203 | 210 840 2520 | 13196 11118 15 | 0.002 % |
6.16/6.28 c | 57417 | 210 840 2520 | 13196 11332 15 | 0.002 % |
6.26/6.31 c | 57650 | 210 840 2520 | 13196 11565 15 | 0.002 % |
6.26/6.33 c | 57906 | 210 840 2520 | 13196 11821 15 | 0.002 % |
6.26/6.37 c | 58187 | 210 840 2520 | 13196 12102 15 | 0.002 % |
6.36/6.40 c | 58496 | 210 840 2520 | 13196 12411 15 | 0.002 % |
6.36/6.45 c | 58836 | 210 840 2520 | 13196 12751 15 | 0.002 % |
6.36/6.49 c | 59208 | 210 840 2520 | 13196 13123 15 | 0.002 % |
6.46/6.56 c | 59619 | 210 840 2520 | 13196 9034 15 | 0.002 % |
6.56/6.61 c | 60069 | 210 840 2520 | 9415 6304 14 | 0.002 % |
6.56/6.65 c | 60564 | 210 840 2520 | 9415 6799 14 | 0.002 % |
6.66/6.71 c | 61106 | 210 840 2520 | 9415 7341 14 | 0.002 % |
6.66/6.78 c | 61703 | 210 840 2520 | 9415 7938 14 | 0.002 % |
6.76/6.85 c | 62358 | 210 840 2520 | 9415 8593 15 | 0.002 % |
6.86/6.94 c | 63080 | 210 840 2520 | 9415 9315 15 | 0.002 % |
6.96/7.01 c | 63872 | 210 840 2520 | 9415 7261 14 | 0.002 % |
6.96/7.02 c | 63972 | 210 840 2520 | 9415 7361 14 | 0.002 % |
6.96/7.03 c | 64084 | 210 840 2520 | 9415 7473 14 | 0.002 % |
6.96/7.05 c | 64207 | 210 840 2520 | 9415 7596 14 | 0.002 % |
6.96/7.06 c | 64340 | 210 840 2520 | 9415 7729 14 | 0.002 % |
6.96/7.07 c | 64486 | 210 840 2520 | 9415 7875 14 | 0.002 % |
6.96/7.09 c | 64647 | 210 840 2520 | 9415 8036 14 | 0.002 % |
7.06/7.10 c | 64824 | 210 840 2520 | 9415 8213 14 | 0.002 % |
7.06/7.12 c | 65017 | 210 840 2520 | 9415 8406 15 | 0.002 % |
7.06/7.15 c | 65229 | 210 840 2520 | 9415 8618 15 | 0.002 % |
7.06/7.17 c | 65462 | 210 840 2520 | 9415 8851 15 | 0.002 % |
7.06/7.19 c | 65720 | 210 840 2520 | 9415 9109 15 | 0.002 % |
7.16/7.22 c | 66002 | 210 840 2520 | 9415 9391 15 | 0.002 % |
7.16/7.26 c | 66311 | 210 840 2520 | 9415 6977 14 | 0.002 % |
7.16/7.28 c | 66651 | 210 840 2520 | 9415 7317 14 | 0.002 % |
7.25/7.31 c | 67026 | 210 840 2520 | 9415 7692 14 | 0.002 % |
7.25/7.36 c | 67438 | 210 840 2520 | 9415 8104 14 | 0.002 % |
7.35/7.40 c | 67887 | 210 840 2520 | 9415 8553 15 | 0.002 % |
7.35/7.46 c | 68381 | 210 840 2520 | 9415 9047 15 | 0.002 % |
7.46/7.51 c | 68923 | 210 840 2520 | 9415 6922 14 | 0.002 % |
7.46/7.57 c | 69519 | 210 840 2520 | 9415 7518 14 | 0.002 % |
7.55/7.63 c | 70176 | 210 840 2520 | 7999 5932 13 | 0.002 % |
7.55/7.69 c | 70896 | 210 840 2520 | 7999 6652 14 | 0.002 % |
7.66/7.75 c | 71688 | 210 840 2520 | 7999 7444 14 | 0.002 % |
7.76/7.83 c | 72559 | 210 840 2520 | 7999 6228 14 | 0.002 % |
7.76/7.84 c | 72659 | 210 840 2520 | 7999 6328 14 | 0.002 % |
7.76/7.85 c | 72769 | 210 840 2520 | 7999 6438 14 | 0.002 % |
7.76/7.86 c | 72891 | 210 840 2520 | 7999 6560 14 | 0.002 % |
7.76/7.87 c | 73024 | 210 840 2520 | 7999 6693 14 | 0.002 % |
7.76/7.88 c | 73171 | 210 840 2520 | 7999 6840 14 | 0.002 % |
7.85/7.90 c | 73334 | 210 840 2520 | 7999 7003 14 | 0.002 % |
7.85/7.92 c | 73510 | 210 840 2520 | 7999 7179 14 | 0.002 % |
7.85/7.94 c | 73704 | 210 840 2520 | 7999 7373 14 | 0.002 % |
7.85/7.96 c | 73917 | 210 840 2520 | 7999 7586 14 | 0.002 % |
7.85/7.97 c | 74151 | 210 840 2520 | 7999 7820 14 | 0.002 % |
7.95/8.00 c | 74407 | 210 840 2520 | 7999 6059 14 | 0.002 % |
7.95/8.02 c | 74688 | 210 840 2520 | 7999 6340 14 | 0.002 % |
7.95/8.04 c | 74999 | 210 840 2520 | 7999 6651 14 | 0.002 % |
7.95/8.07 c | 75340 | 210 840 2520 | 7999 6992 15 | 0.002 % |
8.05/8.10 c | 75712 | 210 840 2520 | 7999 7364 15 | 0.002 % |
8.05/8.14 c | 76122 | 210 840 2520 | 7999 7774 15 | 0.002 % |
8.05/8.19 c | 76571 | 210 840 2520 | 7999 6290 15 | 0.002 % |
8.15/8.23 c | 77064 | 210 840 2520 | 7999 6783 15 | 0.002 % |
8.15/8.27 c | 77606 | 210 840 2520 | 7999 7325 15 | 0.002 % |
8.25/8.32 c | 78202 | 210 840 2520 | 7999 7921 15 | 0.002 % |
8.25/8.38 c | 78858 | 210 840 2520 | 7999 6711 16 | 0.002 % |
8.35/8.45 c | 79578 | 210 840 2520 | 7999 7431 16 | 0.002 % |
8.45/8.54 c | 80370 | 210 840 2520 | 7854 6422 15 | 0.002 % |
8.55/8.62 c | 81242 | 210 840 2520 | 7854 7294 15 | 0.002 % |
8.65/8.72 c | 82201 | 210 840 2520 | 7854 6507 14 | 0.002 % |
8.65/8.73 c | 82302 | 210 840 2520 | 7854 6608 14 | 0.002 % |
8.65/8.74 c | 82413 | 210 840 2520 | 7854 6719 15 | 0.002 % |
8.65/8.75 c | 82536 | 210 840 2520 | 7854 6842 15 | 0.002 % |
8.65/8.77 c | 82669 | 210 840 2520 | 7854 6975 15 | 0.002 % |
8.65/8.78 c | 82816 | 210 840 2520 | 7854 7122 15 | 0.002 % |
8.65/8.79 c | 82976 | 210 840 2520 | 7854 7282 15 | 0.002 % |
8.75/8.81 c | 83152 | 210 840 2520 | 7854 7458 15 | 0.002 % |
8.75/8.83 c | 83346 | 210 840 2520 | 7854 7652 15 | 0.002 % |
8.75/8.85 c | 83558 | 210 840 2520 | 7854 7864 15 | 0.002 % |
8.75/8.89 c | 83793 | 210 840 2520 | 7854 6360 14 | 0.002 % |
8.85/8.91 c | 84049 | 210 840 2520 | 7854 6616 14 | 0.002 % |
8.85/8.94 c | 84330 | 210 840 2520 | 7854 6897 14 | 0.002 % |
8.85/8.98 c | 84639 | 210 840 2520 | 7854 7206 14 | 0.002 % |
8.95/9.02 c | 84978 | 210 840 2520 | 7854 7545 14 | 0.002 % |
8.95/9.07 c | 85351 | 210 840 2520 | 7854 6149 14 | 0.002 % |
9.05/9.10 c | 85761 | 210 840 2520 | 7854 6559 14 | 0.002 % |
9.05/9.15 c | 86210 | 210 840 2520 | 7854 7008 14 | 0.002 % |
9.05/9.19 c | 86703 | 210 840 2520 | 7854 7501 14 | 0.002 % |
9.15/9.25 c | 87245 | 210 840 2520 | 7854 6287 14 | 0.002 % |
9.25/9.31 c | 87841 | 210 840 2520 | 7854 6883 14 | 0.002 % |
9.25/9.37 c | 88497 | 210 840 2520 | 7854 7539 14 | 0.002 % |
9.35/9.43 c | 89217 | 210 840 2520 | 7854 6522 14 | 0.002 % |
9.35/9.49 c | 90009 | 210 840 2520 | 7306 7314 15 | 0.002 % |
9.45/9.58 c | 90880 | 210 840 2520 | 7306 6602 15 | 0.002 % |
9.55/9.69 c | 91839 | 210 840 2520 | 7306 5965 15 | 0.002 % |
9.65/9.78 c | 92892 | 210 840 2520 | 7306 7018 15 | 0.002 % |
9.65/9.79 c | 92993 | 210 840 2520 | 7306 7119 15 | 0.002 % |
9.75/9.81 c | 93103 | 210 840 2520 | 7306 7229 15 | 0.002 % |
9.75/9.82 c | 93224 | 210 840 2520 | 7306 5770 14 | 0.002 % |
9.75/9.83 c | 93358 | 210 840 2520 | 7306 5904 14 | 0.002 % |
9.75/9.85 c | 93505 | 210 840 2520 | 7306 6051 14 | 0.002 % |
9.75/9.86 c | 93666 | 210 840 2520 | 7306 6212 14 | 0.002 % |
9.75/9.88 c | 93843 | 210 840 2520 | 7306 6389 14 | 0.002 % |
9.85/9.90 c | 94037 | 210 840 2520 | 7306 6583 15 | 0.002 % |
9.85/9.92 c | 94250 | 210 840 2520 | 7306 6796 15 | 0.002 % |
9.85/9.94 c | 94484 | 210 840 2520 | 7306 7030 15 | 0.002 % |
9.85/9.97 c | 94740 | 210 840 2520 | 7306 7286 15 | 0.002 % |
9.85/9.99 c | 95021 | 210 840 2520 | 7306 5994 14 | 0.002 % |
9.95/10.02 c | 95331 | 210 840 2520 | 7306 6304 14 | 0.002 % |
9.95/10.05 c | 95670 | 210 840 2520 | 7306 6643 14 | 0.002 % |
9.95/10.08 c | 96043 | 210 840 2520 | 7306 7016 14 | 0.002 % |
10.05/10.12 c | 96452 | 210 840 2520 | 7306 5883 14 | 0.002 % |
10.05/10.16 c | 96901 | 210 840 2520 | 7306 6332 14 | 0.002 % |
10.15/10.20 c | 97395 | 210 840 2520 | 7306 6826 14 | 0.002 % |
10.15/10.25 c | 97938 | 210 840 2520 | 7306 5852 14 | 0.002 % |
10.25/10.31 c | 98534 | 210 840 2520 | 7306 6448 14 | 0.002 % |
10.25/10.36 c | 99191 | 210 840 2520 | 7306 7105 15 | 0.002 % |
10.35/10.43 c | 99911 | 210 840 2520 | 7306 6321 14 | 0.002 % |
10.45/10.51 c | 100704 | 210 840 2520 | 6410 5807 14 | 0.002 % |
10.45/10.57 c | 101576 | 210 840 2520 | 6410 5463 14 | 0.002 % |
10.55/10.65 c | 102535 | 210 840 2520 | 6410 6422 14 | 0.002 % |
10.65/10.72 c | 103589 | 210 840 2520 | 6410 6411 15 | 0.002 % |
10.75/10.82 c | 104748 | 210 840 2520 | 6410 5815 15 | 0.002 % |
10.75/10.83 c | 104849 | 210 840 2520 | 6410 5916 15 | 0.002 % |
10.75/10.84 c | 104959 | 210 840 2520 | 6410 6026 15 | 0.002 % |
10.75/10.84 c | 105080 | 210 840 2520 | 6410 6147 15 | 0.002 % |
10.75/10.86 c | 105214 | 210 840 2520 | 6410 6281 15 | 0.002 % |
10.75/10.87 c | 105362 | 210 840 2520 | 6410 6429 15 | 0.002 % |
10.75/10.88 c | 105524 | 210 840 2520 | 6410 5730 15 | 0.002 % |
10.84/10.90 c | 105700 | 210 840 2520 | 6410 5906 15 | 0.002 % |
10.84/10.91 c | 105895 | 210 840 2520 | 6410 6101 16 | 0.002 % |
10.84/10.93 c | 106108 | 210 840 2520 | 6410 6314 16 | 0.002 % |
10.84/10.95 c | 106341 | 210 840 2520 | 6410 5677 16 | 0.005 % |
10.84/10.97 c | 106598 | 210 840 2520 | 6410 5934 16 | 0.002 % |
10.84/10.99 c | 106880 | 210 840 2520 | 6410 6216 16 | 0.002 % |
10.95/11.02 c | 107190 | 210 840 2520 | 6410 5635 16 | 0.002 % |
10.95/11.04 c | 107529 | 210 840 2520 | 6410 5974 16 | 0.002 % |
10.95/11.08 c | 107902 | 210 840 2520 | 6410 6347 16 | 0.002 % |
11.05/11.11 c | 108312 | 210 840 2520 | 6410 5850 16 | 0.002 % |
11.05/11.15 c | 108762 | 210 840 2520 | 6410 6300 16 | 0.002 % |
11.05/11.19 c | 109256 | 210 840 2520 | 6410 5870 16 | 0.002 % |
11.14/11.24 c | 109799 | 210 840 2520 | 6410 6413 16 | 0.002 % |
11.14/11.29 c | 110396 | 210 840 2520 | 5680 5241 15 | 0.002 % |
11.24/11.34 c | 111051 | 210 840 2520 | 5680 5100 15 | 0.002 % |
11.34/11.40 c | 111771 | 210 840 2520 | 5680 4999 15 | 0.002 % |
11.34/11.47 c | 112563 | 210 840 2520 | 5680 4971 15 | 0.002 % |
11.44/11.54 c | 113434 | 210 840 2520 | 5680 5039 15 | 0.002 % |
11.54/11.62 c | 114393 | 210 840 2520 | 5680 5222 16 | 0.002 % |
11.54/11.70 c | 115446 | 210 840 2520 | 5680 5519 16 | 0.002 % |
11.64/11.79 c | 116604 | 210 840 2520 | 5680 5202 16 | 0.002 % |
11.84/11.91 c | 117877 | 210 840 2520 | 5680 5011 15 | 0.002 % |
11.84/11.91 c | 117978 | 210 840 2520 | 5680 5112 15 | 0.002 % |
11.84/11.92 c | 118089 | 210 840 2520 | 5680 5223 16 | 0.002 % |
11.84/11.94 c | 118211 | 210 840 2520 | 5680 5345 16 | 0.002 % |
11.84/11.95 c | 118345 | 210 840 2520 | 5680 5479 16 | 0.002 % |
11.84/11.96 c | 118491 | 210 840 2520 | 5680 5625 16 | 0.002 % |
11.84/11.97 c | 118652 | 210 840 2520 | 5680 5039 15 | 0.002 % |
11.84/11.99 c | 118829 | 210 840 2520 | 5680 5216 16 | 0.002 % |
11.94/12.00 c | 119023 | 210 840 2520 | 5680 5410 16 | 0.002 % |
11.94/12.02 c | 119235 | 210 840 2520 | 5680 5622 16 | 0.002 % |
11.94/12.04 c | 119468 | 210 840 2520 | 5680 5105 15 | 0.002 % |
11.94/12.07 c | 119725 | 210 840 2520 | 5680 5362 15 | 0.002 % |
11.94/12.09 c | 120007 | 210 840 2520 | 5637 5644 15 | 0.002 % |
12.05/12.13 c | 120317 | 210 840 2520 | 5637 5207 15 | 0.002 % |
12.05/12.16 c | 120656 | 210 840 2520 | 5637 5546 15 | 0.002 % |
12.05/12.19 c | 121029 | 210 840 2520 | 5637 5126 15 | 0.002 % |
12.14/12.23 c | 121439 | 210 840 2520 | 5637 5536 15 | 0.002 % |
12.14/12.27 c | 121889 | 210 840 2520 | 5637 5225 15 | 0.002 % |
12.24/12.31 c | 122383 | 210 840 2520 | 5637 4974 15 | 0.002 % |
12.24/12.36 c | 122925 | 210 840 2520 | 5637 5516 15 | 0.002 % |
12.34/12.41 c | 123521 | 210 840 2520 | 5637 5368 15 | 0.002 % |
12.34/12.47 c | 124177 | 210 840 2520 | 5637 5280 15 | 0.002 % |
12.44/12.52 c | 124898 | 210 840 2520 | 5637 5269 15 | 0.002 % |
12.44/12.58 c | 125692 | 210 840 2520 | 5637 5349 15 | 0.002 % |
12.54/12.65 c | 126563 | 210 840 2520 | 5637 5510 15 | 0.002 % |
12.64/12.73 c | 127522 | 210 840 2520 | 5637 5026 15 | 0.002 % |
12.74/12.82 c | 128576 | 210 840 2520 | 5637 5350 15 | 0.002 % |
12.84/12.91 c | 129735 | 210 840 2520 | 5637 5043 15 | 0.002 % |
12.94/13.02 c | 131009 | 210 840 2520 | 5309 4913 14 | 0.002 % |
13.04/13.14 c | 132411 | 210 840 2520 | 5309 4887 14 | 0.002 % |
13.04/13.14 c | 132511 | 210 840 2520 | 5309 4987 14 | 0.002 % |
13.04/13.16 c | 132622 | 210 840 2520 | 5309 5098 14 | 0.002 % |
13.04/13.17 c | 132744 | 210 840 2520 | 5309 5220 15 | 0.002 % |
13.04/13.18 c | 132878 | 210 840 2520 | 5309 4656 14 | 0.002 % |
13.04/13.19 c | 133024 | 210 840 2520 | 5309 4802 14 | 0.002 % |
13.14/13.21 c | 133184 | 210 840 2520 | 5309 4962 14 | 0.002 % |
13.14/13.22 c | 133360 | 210 840 2520 | 5309 5138 14 | 0.002 % |
13.14/13.24 c | 133553 | 210 840 2520 | 5309 5331 15 | 0.002 % |
13.14/13.26 c | 133765 | 210 840 2520 | 5309 4850 14 | 0.002 % |
13.14/13.28 c | 133999 | 210 840 2520 | 5309 5084 14 | 0.002 % |
13.24/13.30 c | 134255 | 210 840 2520 | 5309 5340 14 | 0.002 % |
13.24/13.33 c | 134536 | 210 840 2520 | 5309 4944 15 | 0.002 % |
13.24/13.36 c | 134845 | 210 840 2520 | 5309 5253 15 | 0.002 % |
13.24/13.39 c | 135184 | 210 840 2520 | 5309 4901 15 | 0.002 % |
13.34/13.41 c | 135557 | 210 840 2520 | 5309 5274 15 | 0.002 % |
13.34/13.45 c | 135967 | 210 840 2520 | 5309 5002 15 | 0.002 % |
13.34/13.48 c | 136416 | 210 840 2520 | 5309 4772 15 | 0.002 % |
13.44/13.52 c | 136910 | 210 840 2520 | 5309 5266 15 | 0.002 % |
13.44/13.55 c | 137452 | 210 840 2520 | 5309 5144 15 | 0.002 % |
13.44/13.59 c | 138048 | 210 840 2520 | 5309 5081 16 | 0.002 % |
13.54/13.64 c | 138703 | 210 840 2520 | 5309 5093 16 | 0.002 % |
13.54/13.69 c | 139424 | 210 840 2520 | 5309 5176 16 | 0.002 % |
13.64/13.74 c | 140217 | 210 840 2520 | 5118 4729 15 | 0.002 % |
13.74/13.81 c | 141088 | 210 840 2520 | 5118 5020 15 | 0.002 % |
13.74/13.89 c | 142046 | 210 840 2520 | 5118 4805 15 | 0.002 % |
13.94/14.01 c | 143100 | 210 840 2520 | 5118 4675 14 | 0.002 % |
14.04/14.11 c | 144259 | 210 840 2520 | 5118 4639 14 | 0.002 % |
14.14/14.22 c | 145532 | 210 840 2520 | 5118 4764 14 | 0.002 % |
14.24/14.34 c | 146933 | 210 840 2520 | 5118 5017 14 | 0.002 % |
14.34/14.46 c | 148473 | 210 840 2520 | 5118 4826 14 | 0.002 % |
14.34/14.47 c | 148573 | 210 840 2520 | 5118 4926 14 | 0.002 % |
14.34/14.48 c | 148683 | 210 840 2520 | 5118 5036 14 | 0.002 % |
14.34/14.49 c | 148804 | 210 840 2520 | 5118 5157 14 | 0.002 % |
14.44/14.50 c | 148937 | 210 840 2520 | 5118 4727 14 | 0.002 % |
14.44/14.51 c | 149084 | 210 840 2520 | 5118 4874 14 | 0.002 % |
14.44/14.52 c | 149244 | 210 840 2520 | 5118 5034 14 | 0.002 % |
14.44/14.53 c | 149420 | 210 840 2520 | 5118 4659 15 | 0.002 % |
14.44/14.55 c | 149613 | 210 840 2520 | 5118 4852 15 | 0.002 % |
14.44/14.56 c | 149827 | 210 840 2520 | 5118 5066 15 | 0.002 % |
14.44/14.59 c | 150060 | 210 840 2520 | 4692 4244 15 | 0.002 % |
14.54/14.61 c | 150316 | 210 840 2520 | 4692 4500 15 | 0.002 % |
14.54/14.63 c | 150597 | 210 840 2520 | 4692 4297 15 | 0.002 % |
14.54/14.66 c | 150907 | 210 840 2520 | 4692 4607 15 | 0.002 % |
14.54/14.68 c | 151247 | 210 840 2520 | 4692 4455 15 | 0.002 % |
14.64/14.72 c | 151620 | 210 840 2520 | 4692 4344 15 | 0.002 % |
14.64/14.76 c | 152029 | 210 840 2520 | 4692 4278 16 | 0.002 % |
14.64/14.79 c | 152479 | 210 840 2520 | 4692 4257 15 | 0.002 % |
14.74/14.83 c | 152972 | 210 840 2520 | 4692 4280 15 | 0.002 % |
14.74/14.87 c | 153515 | 210 840 2520 | 4692 4353 15 | 0.002 % |
14.84/14.93 c | 154113 | 210 840 2520 | 4692 4479 15 | 0.002 % |
14.84/14.97 c | 154769 | 210 840 2520 | 4692 4663 15 | 0.002 % |
14.94/15.03 c | 155489 | 210 840 2520 | 4692 4440 15 | 0.002 % |
14.94/15.10 c | 156281 | 210 840 2520 | 4692 4288 15 | 0.002 % |
15.04/15.17 c | 157154 | 210 840 2520 | 4692 4690 15 | 0.002 % |
15.14/15.25 c | 158112 | 210 840 2520 | 4692 4706 15 | 0.002 % |
15.24/15.33 c | 159166 | 210 840 2520 | 4692 4347 15 | 0.002 % |
15.34/15.43 c | 160324 | 210 840 2520 | 2147483647 5034 15 | 0.002 % |
15.44/15.54 c | 161597 | 210 840 2520 | 2147483647 6307 16 | 0.002 % |
15.54/15.66 c | 162997 | 210 840 2520 | 2147483647 7707 16 | 0.002 % |
15.74/15.84 c | 164537 | 210 840 2520 | 2147483647 9247 16 | 0.002 % |
15.94/16.05 c | 166231 | 210 840 2520 | 2147483647 10941 16 | 0.002 % |
15.94/16.06 c | 166332 | 210 840 2520 | 2147483647 11042 16 | 0.002 % |
15.94/16.08 c | 166444 | 210 840 2520 | 2147483647 11154 16 | 0.002 % |
16.04/16.11 c | 166566 | 210 840 2520 | 2147483647 11276 16 | 0.002 % |
16.04/16.12 c | 166700 | 210 840 2520 | 2147483647 11410 16 | 0.002 % |
16.04/16.15 c | 166847 | 210 840 2520 | 2147483647 11557 16 | 0.002 % |
16.04/16.17 c | 167009 | 210 840 2520 | 2147483647 11719 16 | 0.002 % |
16.14/16.20 c | 167186 | 210 840 2520 | 2147483647 11896 16 | 0.002 % |
16.14/16.23 c | 167379 | 210 840 2520 | 2147483647 12089 16 | 0.002 % |
16.14/16.26 c | 167593 | 210 840 2520 | 2147483647 12303 16 | 0.002 % |
16.14/16.29 c | 167827 | 210 840 2520 | 2147483647 12537 16 | 0.002 % |
16.24/16.32 c | 168084 | 210 840 2520 | 2147483647 12794 16 | 0.002 % |
16.24/16.36 c | 168365 | 210 840 2520 | 2147483647 13075 16 | 0.002 % |
16.34/16.41 c | 168674 | 210 840 2520 | 2147483647 13384 16 | 0.002 % |
16.34/16.45 c | 169013 | 210 840 2520 | 2147483647 13723 16 | 0.002 % |
16.44/16.50 c | 169386 | 210 840 2520 | 2147483647 14096 16 | 0.002 % |
16.44/16.56 c | 169796 | 210 840 2520 | 2147483647 14506 17 | 0.002 % |
16.54/16.65 c | 170245 | 210 840 2520 | 14711 10691 16 | 0.002 % |
16.64/16.70 c | 170739 | 210 840 2520 | 14711 11185 16 | 0.002 % |
16.64/16.75 c | 171282 | 210 840 2520 | 14711 11728 16 | 0.002 % |
16.74/16.82 c | 171879 | 210 840 2520 | 14711 12325 16 | 0.002 % |
16.84/16.91 c | 172535 | 210 840 2520 | 14711 12981 16 | 0.002 % |
16.94/17.04 c | 173256 | 210 840 2520 | 14711 13702 16 | 0.002 % |
17.04/17.18 c | 174050 | 210 840 2520 | 14711 14496 16 | 0.002 % |
17.24/17.32 c | 174922 | 210 840 2520 | 14711 10367 16 | 0.002 % |
17.34/17.46 c | 175880 | 210 840 2520 | 14711 11325 16 | 0.002 % |
17.44/17.58 c | 176934 | 210 840 2520 | 14711 12379 16 | 0.002 % |
17.64/17.73 c | 178092 | 210 840 2520 | 14711 13537 16 | 0.002 % |
17.84/17.96 c | 179366 | 210 840 2520 | 14711 9621 16 | 0.002 % |
18.04/18.11 c | 180767 | 210 840 2520 | 10255 7422 15 | 0.002 % |
18.14/18.28 c | 182308 | 210 840 2520 | 10255 8963 15 | 0.002 % |
18.34/18.49 c | 184003 | 210 840 2520 | 10255 7410 15 | 0.002 % |
18.54/18.67 c | 185866 | 210 840 2520 | 10255 9273 15 | 0.002 % |
18.54/18.68 c | 185968 | 210 840 2520 | 10255 9375 15 | 0.002 % |
18.54/18.69 c | 186078 | 210 840 2520 | 10255 9485 15 | 0.002 % |
18.64/18.71 c | 186201 | 210 840 2520 | 10255 9608 15 | 0.002 % |
18.64/18.72 c | 186334 | 210 840 2520 | 10255 9741 15 | 0.002 % |
18.64/18.74 c | 186480 | 210 840 2520 | 10255 9887 15 | 0.002 % |
18.64/18.76 c | 186640 | 210 840 2520 | 10255 10047 15 | 0.002 % |
18.64/18.78 c | 186817 | 210 840 2520 | 10255 10224 15 | 0.002 % |
18.74/18.82 c | 187010 | 210 840 2520 | 10255 7310 14 | 0.002 % |
18.74/18.84 c | 187222 | 210 840 2520 | 10255 7522 14 | 0.002 % |
18.74/18.87 c | 187455 | 210 840 2520 | 10255 7755 15 | 0.002 % |
18.83/18.90 c | 187712 | 210 840 2520 | 10255 8012 15 | 0.002 % |
18.83/18.93 c | 187994 | 210 840 2520 | 10255 8294 15 | 0.002 % |
18.83/18.96 c | 188304 | 210 840 2520 | 10255 8604 15 | 0.002 % |
18.93/19.01 c | 188644 | 210 840 2520 | 10255 8944 15 | 0.002 % |
18.93/19.05 c | 189016 | 210 840 2520 | 10255 9316 15 | 0.002 % |
18.93/19.09 c | 189427 | 210 840 2520 | 10255 9727 15 | 0.002 % |
19.03/19.14 c | 189877 | 210 840 2520 | 10255 10177 15 | 0.002 % |
19.13/19.20 c | 190370 | 210 840 2520 | 7244 5457 15 | 0.002 % |
19.13/19.24 c | 190912 | 210 840 2520 | 7244 5999 15 | 0.002 % |
19.13/19.29 c | 191510 | 210 840 2520 | 7244 6597 15 | 0.002 % |
19.23/19.36 c | 192166 | 210 840 2520 | 7244 7253 15 | 0.005 % |
19.33/19.42 c | 192887 | 210 840 2520 | 7244 6039 15 | 0.002 % |
19.43/19.50 c | 193679 | 210 840 2520 | 7244 6831 15 | 0.002 % |
19.43/19.58 c | 194550 | 210 840 2520 | 7244 5888 15 | 0.002 % |
19.53/19.68 c | 195509 | 210 840 2520 | 7244 6847 15 | 0.002 % |
19.63/19.78 c | 196563 | 210 840 2520 | 7244 6200 15 | 0.002 % |
19.83/19.90 c | 197722 | 210 840 2520 | 7244 5678 14 | 0.002 % |
19.93/20.01 c | 198996 | 210 840 2520 | 7244 6952 15 | 0.002 % |
20.03/20.16 c | 200397 | 210 840 2520 | 6309 5291 14 | 0.002 % |
20.13/20.29 c | 201937 | 210 840 2520 | 6309 5549 15 | 0.002 % |
20.33/20.45 c | 203631 | 210 840 2520 | 6309 6005 14 | 0.002 % |
20.53/20.62 c | 205494 | 210 840 2520 | 6309 5512 14 | 0.002 % |
20.73/20.80 c | 207543 | 210 840 2520 | 6309 5323 14 | 0.002 % |
20.73/20.81 c | 207643 | 210 840 2520 | 6309 5423 14 | 0.002 % |
20.73/20.82 c | 207753 | 210 840 2520 | 6309 5533 14 | 0.002 % |
20.73/20.84 c | 207874 | 210 840 2520 | 6309 5654 14 | 0.002 % |
20.73/20.85 c | 208008 | 210 840 2520 | 6309 5788 14 | 0.002 % |
20.73/20.86 c | 208154 | 210 840 2520 | 6309 5934 15 | 0.002 % |
20.73/20.87 c | 208315 | 210 840 2520 | 6309 6095 15 | 0.002 % |
20.73/20.89 c | 208493 | 210 840 2520 | 6309 6273 15 | 0.002 % |
20.83/20.91 c | 208686 | 210 840 2520 | 6309 5387 14 | 0.002 % |
20.83/20.92 c | 208898 | 210 840 2520 | 6309 5599 15 | 0.002 % |
20.83/20.95 c | 209132 | 210 840 2520 | 6309 5833 15 | 0.002 % |
20.83/20.97 c | 209388 | 210 840 2520 | 6309 6089 15 | 0.002 % |
20.83/21.00 c | 209670 | 210 840 2520 | 6309 5330 15 | 0.002 % |
20.93/21.02 c | 209980 | 210 840 2520 | 6309 5640 15 | 0.002 % |
20.93/21.05 c | 210319 | 210 840 2520 | 5661 5076 15 | 0.002 % |
20.93/21.08 c | 210691 | 210 840 2520 | 5661 5448 15 | 0.002 % |
21.02/21.11 c | 211101 | 210 840 2520 | 5661 5128 15 | 0.002 % |
21.02/21.15 c | 211550 | 210 840 2520 | 5661 5577 15 | 0.002 % |
21.02/21.19 c | 212043 | 210 840 2520 | 5661 5413 15 | 0.002 % |
21.12/21.24 c | 212586 | 210 840 2520 | 5661 5309 15 | 0.002 % |
21.22/21.31 c | 213182 | 210 840 2520 | 5661 5259 15 | 0.002 % |
21.22/21.36 c | 213838 | 210 840 2520 | 5661 5266 15 | 0.002 % |
21.32/21.42 c | 214559 | 210 840 2520 | 5661 5351 15 | 0.002 % |
21.32/21.49 c | 215351 | 210 840 2520 | 5661 5509 14 | 0.002 % |
21.42/21.57 c | 216222 | 210 840 2520 | 5661 5183 14 | 0.002 % |
21.52/21.66 c | 217180 | 210 840 2520 | 5661 5553 14 | 0.002 % |
21.62/21.76 c | 218234 | 210 840 2520 | 5661 5460 14 | 0.002 % |
21.72/21.88 c | 219392 | 210 840 2520 | 5661 5480 14 | 0.002 % |
21.82/21.99 c | 220665 | 210 840 2520 | 2147483647 6185 15 | 0.002 % |
22.02/22.14 c | 222069 | 210 840 2520 | 2147483647 7589 15 | 0.002 % |
22.12/22.28 c | 223610 | 210 840 2520 | 2147483647 9130 15 | 0.002 % |
22.32/22.45 c | 225305 | 210 840 2520 | 2147483647 10825 16 | 0.002 % |
22.52/22.68 c | 227168 | 210 840 2520 | 2147483647 12688 16 | 0.002 % |
22.92/23.00 c | 229218 | 210 840 2520 | 2147483647 14738 16 | 0.002 % |
23.21/23.33 c | 231471 | 210 840 2520 | 15521 12721 16 | 0.002 % |
23.21/23.34 c | 231571 | 210 840 2520 | 15521 12821 16 | 0.002 % |
23.21/23.36 c | 231681 | 210 840 2520 | 15521 12931 16 | 0.002 % |
23.21/23.37 c | 231802 | 210 840 2520 | 15521 13052 16 | 0.002 % |
23.21/23.40 c | 231935 | 210 840 2520 | 15521 13185 16 | 0.002 % |
23.31/23.42 c | 232081 | 210 840 2520 | 15521 13331 16 | 0.002 % |
23.31/23.44 c | 232241 | 210 840 2520 | 15521 13491 16 | 0.002 % |
23.31/23.47 c | 232418 | 210 840 2520 | 15521 13668 16 | 0.002 % |
23.41/23.50 c | 232611 | 210 840 2520 | 15521 13861 16 | 0.002 % |
23.41/23.52 c | 232824 | 210 840 2520 | 15521 14074 16 | 0.002 % |
23.41/23.54 c | 233057 | 210 840 2520 | 15521 14307 16 | 0.002 % |
23.41/23.58 c | 233313 | 210 840 2520 | 15521 14563 16 | 0.002 % |
23.51/23.63 c | 233594 | 210 840 2520 | 15521 14844 16 | 0.002 % |
23.51/23.68 c | 233904 | 210 840 2520 | 15521 15154 16 | 0.002 % |
23.61/23.73 c | 234245 | 210 840 2520 | 15521 15495 16 | 0.002 % |
23.61/23.78 c | 234617 | 210 840 2520 | 15521 10713 15 | 0.002 % |
23.71/23.82 c | 235026 | 210 840 2520 | 15521 11122 16 | 0.002 % |
23.71/23.87 c | 235475 | 210 840 2520 | 15521 11571 16 | 0.002 % |
23.81/23.94 c | 235968 | 210 840 2520 | 15521 12064 16 | 0.002 % |
23.91/24.01 c | 236510 | 210 840 2520 | 15521 12606 16 | 0.002 % |
23.91/24.09 c | 237107 | 210 840 2520 | 15521 13203 16 | 0.002 % |
24.01/24.17 c | 237762 | 210 840 2520 | 15521 13858 16 | 0.002 % |
24.11/24.29 c | 238483 | 210 840 2520 | 15521 14579 16 | 0.002 % |
24.31/24.40 c | 239276 | 210 840 2520 | 15521 15372 16 | 0.002 % |
24.41/24.55 c | 240148 | 210 840 2520 | 10875 7374 14 | 0.002 % |
24.51/24.65 c | 241106 | 210 840 2520 | 10875 8332 15 | 0.002 % |
24.61/24.76 c | 242159 | 210 840 2520 | 10875 9385 15 | 0.002 % |
24.71/24.89 c | 243317 | 210 840 2520 | 10875 10543 15 | 0.002 % |
24.91/25.05 c | 244591 | 210 840 2520 | 10875 8491 15 | 0.002 % |
25.11/25.23 c | 245992 | 210 840 2520 | 10875 9892 15 | 0.002 % |
25.31/25.44 c | 247532 | 210 840 2520 | 10875 8077 14 | 0.002 % |
25.51/25.64 c | 249226 | 210 840 2520 | 10875 9771 15 | 0.002 % |
25.71/25.85 c | 251090 | 210 840 2520 | 10545 8405 14 | 0.002 % |
25.91/26.06 c | 253140 | 210 840 2520 | 10545 10455 14 | 0.002 % |
26.21/26.33 c | 255393 | 210 840 2520 | 10545 9869 14 | 0.002 % |
26.51/26.61 c | 257872 | 210 840 2520 | 10545 9494 14 | 0.002 % |
26.51/26.62 c | 257973 | 210 840 2520 | 10545 9595 15 | 0.002 % |
26.51/26.63 c | 258083 | 210 840 2520 | 10545 9705 15 | 0.002 % |
26.51/26.65 c | 258204 | 210 840 2520 | 10545 9826 15 | 0.002 % |
26.51/26.66 c | 258338 | 210 840 2520 | 10545 9960 15 | 0.005 % |
26.51/26.68 c | 258485 | 210 840 2520 | 10545 10107 15 | 0.002 % |
26.61/26.70 c | 258645 | 210 840 2520 | 10545 10267 15 | 0.002 % |
26.61/26.72 c | 258821 | 210 840 2520 | 10545 10443 15 | 0.002 % |
26.61/26.75 c | 259015 | 210 840 2520 | 10545 7779 15 | 0.002 % |
26.61/26.78 c | 259227 | 210 840 2520 | 10545 7991 15 | 0.002 % |
26.71/26.80 c | 259461 | 210 840 2520 | 10545 8225 15 | 0.002 % |
26.71/26.83 c | 259718 | 210 840 2520 | 10545 8482 15 | 0.002 % |
26.71/26.86 c | 259999 | 210 840 2520 | 10545 8763 15 | 0.002 % |
26.81/26.90 c | 260308 | 210 840 2520 | 8764 6699 15 | 0.002 % |
26.81/26.93 c | 260648 | 210 840 2520 | 8764 7039 15 | 0.002 % |
26.81/26.97 c | 261021 | 210 840 2520 | 8764 7412 15 | 0.002 % |
26.91/27.01 c | 261431 | 210 840 2520 | 8764 7822 15 | 0.002 % |
26.91/27.07 c | 261880 | 210 840 2520 | 8764 8271 15 | 0.002 % |
27.01/27.12 c | 262373 | 210 840 2520 | 8764 8764 16 | 0.002 % |
27.01/27.18 c | 262916 | 210 840 2520 | 8764 7032 15 | 0.002 % |
27.11/27.23 c | 263512 | 210 840 2520 | 8764 7628 16 | 0.002 % |
27.21/27.30 c | 264167 | 210 840 2520 | 8764 8283 16 | 0.002 % |
27.21/27.39 c | 264888 | 210 840 2520 | 8764 6817 15 | 0.002 % |
27.31/27.46 c | 265680 | 210 840 2520 | 8764 7609 15 | 0.002 % |
27.41/27.55 c | 266551 | 210 840 2520 | 8764 8480 15 | 0.002 % |
27.51/27.65 c | 267509 | 210 840 2520 | 8764 7332 15 | 0.002 % |
27.61/27.77 c | 268562 | 210 840 2520 | 8764 8385 15 | 0.002 % |
27.81/27.93 c | 269720 | 210 840 2520 | 8764 7423 15 | 0.002 % |
27.91/28.06 c | 270993 | 210 840 2520 | 7703 6802 15 | 0.002 % |
28.01/28.19 c | 272393 | 210 840 2520 | 7703 6376 15 | 0.002 % |
28.21/28.39 c | 273933 | 210 840 2520 | 7703 6129 15 | 0.002 % |
28.41/28.56 c | 275627 | 210 840 2520 | 7703 6091 15 | 0.002 % |
28.61/28.78 c | 277490 | 210 840 2520 | 7703 6236 14 | 0.002 % |
28.81/28.95 c | 279540 | 210 840 2520 | 7703 6608 14 | 0.002 % |
29.01/29.15 c | 281794 | 210 840 2520 | 7069 5995 14 | 0.002 % |
29.21/29.37 c | 284272 | 210 840 2520 | 7069 6096 14 | 0.002 % |
29.51/29.63 c | 286997 | 210 840 2520 | 7069 6450 15 | 0.002 % |
29.51/29.64 c | 287097 | 210 840 2520 | 7069 6550 15 | 0.002 % |
29.51/29.64 c | 287208 | 210 840 2520 | 7069 6661 15 | 0.002 % |
29.51/29.65 c | 287329 | 210 840 2520 | 7069 6782 15 | 0.002 % |
29.51/29.67 c | 287462 | 210 840 2520 | 7069 6915 15 | 0.002 % |
29.51/29.68 c | 287609 | 210 840 2520 | 7069 7062 15 | 0.002 % |
29.51/29.69 c | 287769 | 210 840 2520 | 7069 6058 15 | 0.002 % |
29.61/29.72 c | 287946 | 210 840 2520 | 7069 6235 15 | 0.002 % |
29.61/29.74 c | 288140 | 210 840 2520 | 7069 6429 15 | 0.002 % |
29.61/29.75 c | 288353 | 210 840 2520 | 7069 6642 15 | 0.002 % |
29.61/29.77 c | 288586 | 210 840 2520 | 7069 6875 15 | 0.002 % |
29.61/29.80 c | 288843 | 210 840 2520 | 7069 5950 15 | 0.002 % |
29.71/29.82 c | 289124 | 210 840 2520 | 7069 6231 15 | 0.002 % |
29.71/29.84 c | 289433 | 210 840 2520 | 7069 6540 15 | 0.002 % |
29.71/29.87 c | 289772 | 210 840 2520 | 7069 6879 15 | 0.002 % |
29.80/29.92 c | 290144 | 210 840 2520 | 5909 5051 15 | 0.002 % |
29.80/29.95 c | 290553 | 210 840 2520 | 5909 5460 15 | 0.002 % |
29.80/29.99 c | 291002 | 210 840 2520 | 5909 5909 15 | 0.002 % |
29.90/30.03 c | 291495 | 210 840 2520 | 5909 5414 15 | 0.002 % |
29.90/30.08 c | 292038 | 210 840 2520 | 5909 4980 15 | 0.002 % |
30.00/30.12 c | 292634 | 210 840 2520 | 5909 5576 15 | 0.002 % |
30.00/30.18 c | 293289 | 210 840 2520 | 5909 5259 15 | 0.002 % |
30.10/30.25 c | 294010 | 210 840 2520 | 5909 5021 15 | 0.002 % |
30.20/30.32 c | 294802 | 210 840 2520 | 5909 5813 15 | 0.002 % |
30.20/30.39 c | 295673 | 210 840 2520 | 5909 5714 15 | 0.002 % |
30.30/30.47 c | 296631 | 210 840 2520 | 5909 5748 15 | 0.002 % |
30.40/30.55 c | 297684 | 210 840 2520 | 5909 5904 15 | 0.002 % |
30.50/30.66 c | 298843 | 210 840 2520 | 5909 5292 15 | 0.002 % |
30.60/30.78 c | 300116 | 210 840 2520 | 5567 4854 15 | 0.002 % |
30.71/30.89 c | 301517 | 210 840 2520 | 5567 5450 15 | 0.002 % |
30.90/31.02 c | 303057 | 210 840 2520 | 5567 5406 15 | 0.002 % |
31.00/31.16 c | 304752 | 210 840 2520 | 5567 5527 15 | 0.002 % |
31.20/31.31 c | 306615 | 210 840 2520 | 5567 5093 14 | 0.002 % |
31.30/31.49 c | 308664 | 210 840 2520 | 5567 4882 14 | 0.002 % |
31.50/31.66 c | 310918 | 210 840 2520 | 5484 5047 14 | 0.002 % |
31.70/31.87 c | 313397 | 210 840 2520 | 5484 5229 15 | 0.002 % |
31.91/32.08 c | 316122 | 210 840 2520 | 5484 4929 16 | 0.002 % |
32.20/32.32 c | 319119 | 210 840 2520 | 5484 5457 17 | 0.002 % |
32.20/32.33 c | 319220 | 210 840 2520 | 5484 4956 16 | 0.002 % |
32.20/32.34 c | 319331 | 210 840 2520 | 5484 5067 16 | 0.002 % |
32.20/32.35 c | 319453 | 210 840 2520 | 5484 5189 16 | 0.002 % |
32.20/32.36 c | 319586 | 210 840 2520 | 5484 5322 16 | 0.002 % |
32.20/32.37 c | 319734 | 210 840 2520 | 5484 5470 16 | 0.002 % |
32.20/32.40 c | 319894 | 210 840 2520 | 5484 5017 16 | 0.002 % |
32.30/32.41 c | 320070 | 210 840 2520 | 5124 4621 16 | 0.002 % |
32.30/32.43 c | 320263 | 210 840 2520 | 5124 4814 16 | 0.002 % |
32.30/32.44 c | 320477 | 210 840 2520 | 5124 5028 16 | 0.002 % |
32.30/32.46 c | 320711 | 210 840 2520 | 5124 4696 16 | 0.002 % |
32.30/32.48 c | 320968 | 210 840 2520 | 5124 4953 16 | 0.002 % |
32.40/32.51 c | 321251 | 210 840 2520 | 5124 4671 16 | 0.002 % |
32.40/32.53 c | 321561 | 210 840 2520 | 5124 4981 16 | 0.002 % |
32.40/32.56 c | 321901 | 210 840 2520 | 5124 4738 16 | 0.002 % |
32.50/32.60 c | 322274 | 210 840 2520 | 5124 5111 16 | 0.002 % |
32.50/32.63 c | 322683 | 210 840 2520 | 5124 4919 15 | 0.002 % |
32.50/32.67 c | 323132 | 210 840 2520 | 5124 4779 15 | 0.002 % |
32.60/32.72 c | 323626 | 210 840 2520 | 5124 4652 15 | 0.002 % |
32.60/32.77 c | 324168 | 210 840 2520 | 5124 4588 15 | 0.002 % |
32.70/32.82 c | 324764 | 210 840 2520 | 5124 4589 15 | 0.002 % |
32.70/32.89 c | 325420 | 210 840 2520 | 5124 4643 15 | 0.002 % |
32.80/32.95 c | 326140 | 210 840 2520 | 5124 4763 15 | 0.002 % |
32.91/33.02 c | 326933 | 210 840 2520 | 5124 4963 15 | 0.002 % |
32.91/33.09 c | 327805 | 210 840 2520 | 5124 4673 14 | 0.002 % |
33.01/33.18 c | 328763 | 210 840 2520 | 5124 5051 14 | 0.002 % |
33.10/33.28 c | 329817 | 210 840 2520 | 5124 4961 14 | 0.002 % |
33.21/33.39 c | 330976 | 210 840 2520 | 5144 4964 14 | 0.002 % |
33.31/33.50 c | 332249 | 210 840 2520 | 5144 5124 14 | 0.002 % |
33.51/33.61 c | 333649 | 210 840 2520 | 5144 4964 14 | 0.002 % |
33.61/33.74 c | 335189 | 210 840 2520 | 5144 4954 14 | 0.002 % |
33.71/33.87 c | 336885 | 210 840 2520 | 5144 5097 15 | 0.002 % |
33.91/34.01 c | 338749 | 210 840 2520 | 5144 4891 16 | 0.002 % |
34.01/34.16 c | 340798 | 210 840 2520 | 2147483647 5902 17 | 0.002 % |
34.21/34.36 c | 343051 | 210 840 2520 | 2147483647 8155 17 | 0.002 % |
34.41/34.59 c | 345529 | 210 840 2520 | 2147483647 10633 17 | 0.002 % |
34.81/34.90 c | 348254 | 210 840 2520 | 2147483647 13358 18 | 0.002 % |
35.31/35.40 c | 351252 | 210 840 2520 | 15104 12551 17 | 0.002 % |
35.81/35.91 c | 354548 | 210 840 2520 | 15104 10709 15 | 0.002 % |
35.81/35.92 c | 354649 | 210 840 2520 | 15104 10810 15 | 0.002 % |
35.81/35.93 c | 354759 | 210 840 2520 | 15104 10920 15 | 0.002 % |
35.81/35.95 c | 354880 | 210 840 2520 | 15104 11041 15 | 0.002 % |
35.81/35.97 c | 355014 | 210 840 2520 | 15104 11175 15 | 0.002 % |
35.81/35.98 c | 355160 | 210 840 2520 | 15104 11321 15 | 0.002 % |
35.91/36.00 c | 355320 | 210 840 2520 | 15104 11481 15 | 0.002 % |
35.91/36.02 c | 355497 | 210 840 2520 | 15104 11658 16 | 0.002 % |
35.91/36.04 c | 355690 | 210 840 2520 | 15104 11851 16 | 0.002 % |
35.91/36.07 c | 355902 | 210 840 2520 | 15104 12063 16 | 0.002 % |
35.91/36.09 c | 356136 | 210 840 2520 | 15104 12297 16 | 0.002 % |
36.01/36.12 c | 356392 | 210 840 2520 | 15104 12553 16 | 0.002 % |
36.01/36.15 c | 356674 | 210 840 2520 | 15104 12835 16 | 0.002 % |
36.01/36.19 c | 356983 | 210 840 2520 | 15104 13144 16 | 0.002 % |
36.11/36.23 c | 357322 | 210 840 2520 | 15104 13483 16 | 0.002 % |
36.11/36.29 c | 357695 | 210 840 2520 | 15104 13856 16 | 0.002 % |
36.21/36.37 c | 358104 | 210 840 2520 | 15104 14265 16 | 0.002 % |
36.31/36.44 c | 358553 | 210 840 2520 | 15104 14714 16 | 0.002 % |
36.41/36.52 c | 359046 | 210 840 2520 | 15104 10015 16 | 0.002 % |
36.41/36.58 c | 359588 | 210 840 2520 | 15104 10557 16 | 0.002 % |
36.51/36.66 c | 360185 | 210 840 2520 | 10970 7430 16 | 0.002 % |
36.61/36.73 c | 360841 | 210 840 2520 | 10970 8086 16 | 0.002 % |
36.61/36.80 c | 361561 | 210 840 2520 | 10970 8806 16 | 0.002 % |
36.71/36.88 c | 362354 | 210 840 2520 | 10970 9599 16 | 0.002 % |
36.81/36.98 c | 363225 | 210 840 2520 | 10970 10470 16 | 0.002 % |
36.91/37.09 c | 364184 | 210 840 2520 | 10970 8086 15 | 0.002 % |
37.11/37.20 c | 365237 | 210 840 2520 | 10970 9139 15 | 0.002 % |
37.21/37.31 c | 366395 | 210 840 2520 | 10970 10297 15 | 0.002 % |
37.31/37.44 c | 367670 | 210 840 2520 | 10970 8451 15 | 0.002 % |
37.41/37.55 c | 369071 | 210 840 2520 | 10970 9852 15 | 0.002 % |
37.61/37.73 c | 370611 | 210 840 2520 | 10783 8410 15 | 0.002 % |
37.81/37.92 c | 372306 | 210 840 2520 | 10783 10105 15 | 0.002 % |
38.01/38.13 c | 374169 | 210 840 2520 | 10783 8883 15 | 0.002 % |
38.21/38.32 c | 376219 | 210 840 2520 | 10783 7821 14 | 0.002 % |
38.41/38.56 c | 378473 | 210 840 2520 | 10783 10075 15 | 0.002 % |
38.61/38.79 c | 380951 | 210 840 2520 | 8498 7066 15 | 0.002 % |
38.91/39.05 c | 383677 | 210 840 2520 | 8498 7835 16 | 0.002 % |
39.21/39.30 c | 386674 | 210 840 2520 | 8498 7158 15 | 0.002 % |
39.51/39.62 c | 389973 | 210 840 2520 | 8498 6961 15 | 0.002 % |
39.80/39.97 c | 393598 | 210 840 2520 | 6989 6836 16 | 0.002 % |
39.80/39.97 c | 393699 | 210 840 2520 | 6989 6937 16 | 0.002 % |
39.80/39.99 c | 393810 | 210 840 2520 | 6989 5908 16 | 0.002 % |
39.80/40.00 c | 393931 | 210 840 2520 | 6989 6029 16 | 0.002 % |
39.90/40.01 c | 394064 | 210 840 2520 | 6989 6162 16 | 0.002 % |
39.90/40.02 c | 394211 | 210 840 2520 | 6989 6309 16 | 0.002 % |
39.90/40.03 c | 394371 | 210 840 2520 | 6989 6469 16 | 0.002 % |
39.90/40.05 c | 394548 | 210 840 2520 | 6989 6646 16 | 0.002 % |
39.90/40.06 c | 394741 | 210 840 2520 | 6989 6839 16 | 0.002 % |
39.90/40.09 c | 394954 | 210 840 2520 | 6989 5900 16 | 0.002 % |
40.00/40.11 c | 395187 | 210 840 2520 | 6989 6133 16 | 0.002 % |
40.00/40.13 c | 395443 | 210 840 2520 | 6989 6389 16 | 0.002 % |
40.00/40.15 c | 395725 | 210 840 2520 | 6989 6671 16 | 0.002 % |
40.00/40.18 c | 396035 | 210 840 2520 | 6989 6981 16 | 0.002 % |
40.10/40.22 c | 396376 | 210 840 2520 | 6989 6156 16 | 0.002 % |
40.10/40.25 c | 396749 | 210 840 2520 | 6989 6529 16 | 0.002 % |
40.10/40.29 c | 397159 | 210 840 2520 | 6989 6939 16 | 0.002 % |
40.20/40.34 c | 397608 | 210 840 2520 | 6989 6224 16 | 0.002 % |
40.20/40.39 c | 398101 | 210 840 2520 | 6989 6717 16 | 0.002 % |
40.30/40.45 c | 398643 | 210 840 2520 | 6989 6080 16 | 0.002 % |
40.40/40.50 c | 399239 | 210 840 2520 | 6989 6676 16 | 0.002 % |
40.40/40.56 c | 399894 | 210 840 2520 | 6989 6147 15 | 0.002 % |
40.50/40.63 c | 400614 | 210 840 2520 | 6254 5799 15 | 0.002 % |
40.50/40.70 c | 401408 | 210 840 2520 | 6254 5589 15 | 0.002 % |
40.61/40.77 c | 402279 | 210 840 2520 | 6254 5470 15 | 0.002 % |
40.71/40.84 c | 403237 | 210 840 2520 | 6254 5515 15 | 0.002 % |
40.80/40.92 c | 404291 | 210 840 2520 | 6254 5696 15 | 0.002 % |
40.90/41.01 c | 405450 | 210 840 2520 | 6254 6027 15 | 0.002 % |
41.00/41.12 c | 406723 | 210 840 2520 | 6254 5697 15 | 0.002 % |
41.00/41.20 c ===============================================================================
41.00/41.20 c restarts : 810
41.00/41.20 c conflicts : 407785 (9923 /sec)
41.00/41.20 c decisions : 443589 (1.68 % random) (10794 /sec)
41.00/41.20 c propagations : 26493473 (644677 /sec)
41.00/41.20 c conflict literals : 6900683 (28.25 % deleted)
41.00/41.20 c Memory used : 4.38 MB
41.00/41.20 c CPU time : 41.0958 s
41.00/41.20 c
41.00/41.20 s SATISFIABLE
41.10/41.20 s SATISFIABLE
41.10/41.20 v 1 -2 3 4 5 6 7 8 -9 10 11 12 13 14 -15 -16 17 -18 19 -20 21 -22 23 24 25 26 27 -28 -29 30 31 -32 33 34 -35 -36 37 38 39 40 41 42 43 -44 45 46 47 -48 49 -50 51 -52 53 -54 -55 56 57 -58 -59 60 61 -62 63 64 -65 66 -67 68 69 70 71 72 73 74 -75 76 77 78 -79 80 81 82 -83 -84 85 -86 -87 88 89 -90 91 -92 93 -94 -95 -96 -97 98 99 -100 -101 -102 103 -104 -105 -106 107 -108 -109 -110 111 112 113 -114 115 116 -117 -118 -119 120 -121 -122 123 124 -125 -126 127 128 129 -130 -131 -132 -133 -134 135 -136 137 138 139 -140 -141 -142 143 144 145 146 -147 -148 149 150 -151 -152 -153 -154 155 156 157 -158 -159 160 161 162 -163 164 -165 166 167 -168 -169 -170 -171 172 173 174 175 176 177 178 179 -180 181 -182 -183 -184 -185 -186 187 188 189 190 -191 192 193 -194 195 196 197 -198 199 -200 201 -202 -203 -204 -205 -206 -207 208 -209 210 0
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832175-1242770163/watcher-1832175-1242770163 -o /tmp/evaluation-result-1832175-1242770163/solver-1832175-1242770163 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832175-1242770163.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.97 0.98 0.98 3/65 16119
/proc/meminfo: memFree=1860360/2055920 swapFree=4180508/4192956
[pid=16119] ppid=16117 vsize=5356 CPUtime=0
/proc/16119/stat : 16119 (SatELiteGTI) S 16117 16119 15897 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 305045281 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 226687156306 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/16119/statm: 1339 235 195 169 0 50 0
[pid=16120] ppid=16119 vsize=5356 CPUtime=0
/proc/16120/stat : 16120 (SatELiteGTI) S 16119 16119 15897 0 -1 4194368 51 25 0 0 0 0 0 0 18 0 1 0 305045281 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/16120/statm: 1339 238 198 169 0 50 0
[pid=16122] ppid=16120 vsize=0 CPUtime=0
/proc/16122/stat : 16122 (SatELiteGTI) R 16120 16119 15897 0 -1 4194368 19 0 0 0 0 0 0 0 21 0 1 0 305045281 0 0 1992294400 0 0 0 18446744073709551615 226686987559 0 0 4096 0 0 0 0 17 0 0 0
/proc/16122/statm: 0 0 0 0 0 0 0
[startup+0.100222 s]
/proc/loadavg: 0.97 0.98 0.98 3/65 16119
/proc/meminfo: memFree=1860360/2055920 swapFree=4180508/4192956
[pid=16119] ppid=16117 vsize=5356 CPUtime=0
/proc/16119/stat : 16119 (SatELiteGTI) S 16117 16119 15897 0 -1 4194304 336 376 0 0 0 0 0 0 19 0 1 0 305045281 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16119/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.20124 s]
/proc/loadavg: 0.97 0.98 0.98 3/65 16119
/proc/meminfo: memFree=1860360/2055920 swapFree=4180508/4192956
[pid=16119] ppid=16117 vsize=5356 CPUtime=0
/proc/16119/stat : 16119 (SatELiteGTI) S 16117 16119 15897 0 -1 4194304 336 376 0 0 0 0 0 0 19 0 1 0 305045281 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16119/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301261 s]
/proc/loadavg: 0.97 0.98 0.98 3/65 16119
/proc/meminfo: memFree=1860360/2055920 swapFree=4180508/4192956
[pid=16119] ppid=16117 vsize=5356 CPUtime=0
/proc/16119/stat : 16119 (SatELiteGTI) S 16117 16119 15897 0 -1 4194304 336 376 0 0 0 0 0 0 19 0 1 0 305045281 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16119/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701341 s]
/proc/loadavg: 0.97 0.98 0.98 3/65 16119
/proc/meminfo: memFree=1860360/2055920 swapFree=4180508/4192956
[pid=16119] ppid=16117 vsize=5356 CPUtime=0
/proc/16119/stat : 16119 (SatELiteGTI) S 16117 16119 15897 0 -1 4194304 336 376 0 0 0 0 0 0 19 0 1 0 305045281 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16119/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.5015 s]
/proc/loadavg: 0.97 0.98 0.98 2/67 16125
/proc/meminfo: memFree=1858616/2055920 swapFree=4180508/4192956
[pid=16119] ppid=16117 vsize=5356 CPUtime=0
/proc/16119/stat : 16119 (SatELiteGTI) S 16117 16119 15897 0 -1 4194304 336 376 0 0 0 0 0 0 19 0 1 0 305045281 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16119/statm: 1339 239 197 169 0 50 0
[pid=16125] ppid=16119 vsize=3508 CPUtime=1.47
/proc/16125/stat : 16125 (minisat_static) R 16119 16119 15897 0 -1 4194304 511 0 0 0 147 0 0 0 25 0 1 0 305045282 3592192 497 1992294400 134512640 135215339 4294956240 18446744073709551615 134528782 0 0 4096 3 0 0 0 17 0 0 0
/proc/16125/statm: 877 497 76 171 0 704 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 8864
[startup+3.10183 s]
/proc/loadavg: 0.97 0.98 0.98 2/67 16125
/proc/meminfo: memFree=1857592/2055920 swapFree=4180508/4192956
[pid=16119] ppid=16117 vsize=5356 CPUtime=0
/proc/16119/stat : 16119 (SatELiteGTI) S 16117 16119 15897 0 -1 4194304 336 376 0 0 0 0 0 0 19 0 1 0 305045281 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16119/statm: 1339 239 197 169 0 50 0
[pid=16125] ppid=16119 vsize=4204 CPUtime=3.07
/proc/16125/stat : 16125 (minisat_static) R 16119 16119 15897 0 -1 4194304 701 0 0 0 307 0 0 0 25 0 1 0 305045282 4304896 687 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 0 0 0
/proc/16125/statm: 1051 687 76 171 0 878 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 9560
[startup+6.30148 s]
/proc/loadavg: 0.97 0.98 0.98 2/67 16125
/proc/meminfo: memFree=1857208/2055920 swapFree=4180508/4192956
[pid=16119] ppid=16117 vsize=5356 CPUtime=0
/proc/16119/stat : 16119 (SatELiteGTI) S 16117 16119 15897 0 -1 4194304 336 376 0 0 0 0 0 0 19 0 1 0 305045281 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16119/statm: 1339 239 197 169 0 50 0
[pid=16125] ppid=16119 vsize=4348 CPUtime=6.26
/proc/16125/stat : 16125 (minisat_static) R 16119 16119 15897 0 -1 4194304 727 0 0 0 626 0 0 0 25 0 1 0 305045282 4452352 713 1992294400 134512640 135215339 4294956240 18446744073709551615 134538518 0 0 4096 3 0 0 0 17 0 0 0
/proc/16125/statm: 1087 713 76 171 0 914 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 9704
[startup+12.7028 s]
/proc/loadavg: 0.97 0.98 0.98 2/67 16125
/proc/meminfo: memFree=1857088/2055920 swapFree=4180508/4192956
[pid=16119] ppid=16117 vsize=5356 CPUtime=0
/proc/16119/stat : 16119 (SatELiteGTI) S 16117 16119 15897 0 -1 4194304 336 376 0 0 0 0 0 0 19 0 1 0 305045281 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16119/statm: 1339 239 197 169 0 50 0
[pid=16125] ppid=16119 vsize=4348 CPUtime=12.64
/proc/16125/stat : 16125 (minisat_static) R 16119 16119 15897 0 -1 4194304 730 0 0 0 1264 0 0 0 25 0 1 0 305045282 4452352 716 1992294400 134512640 135215339 4294956240 18446744073709551615 134538380 0 0 4096 3 0 0 0 17 0 0 0
/proc/16125/statm: 1087 716 76 171 0 914 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 9704
[startup+25.5014 s]
/proc/loadavg: 0.98 0.98 0.98 2/67 16125
/proc/meminfo: memFree=1857088/2055920 swapFree=4180508/4192956
[pid=16119] ppid=16117 vsize=5356 CPUtime=0
/proc/16119/stat : 16119 (SatELiteGTI) S 16117 16119 15897 0 -1 4194304 336 376 0 0 0 0 0 0 19 0 1 0 305045281 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16119/statm: 1339 239 197 169 0 50 0
[pid=16125] ppid=16119 vsize=4348 CPUtime=25.41
/proc/16125/stat : 16125 (minisat_static) R 16119 16119 15897 0 -1 4194304 740 0 0 0 2541 0 0 0 25 0 1 0 305045282 4452352 726 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16125/statm: 1087 726 76 171 0 914 0
Current children cumulated CPU time (s) 25.41
Current children cumulated vsize (KiB) 9704
Solver just ended. Dumping a history of the last processes samples
[startup+25.6014 s]
/proc/loadavg: 0.98 0.98 0.98 2/67 16125
/proc/meminfo: memFree=1857088/2055920 swapFree=4180508/4192956
[pid=16119] ppid=16117 vsize=5356 CPUtime=0
/proc/16119/stat : 16119 (SatELiteGTI) S 16117 16119 15897 0 -1 4194304 336 376 0 0 0 0 0 0 19 0 1 0 305045281 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16119/statm: 1339 239 197 169 0 50 0
[pid=16125] ppid=16119 vsize=4348 CPUtime=25.51
/proc/16125/stat : 16125 (minisat_static) R 16119 16119 15897 0 -1 4194304 740 0 0 0 2551 0 0 0 25 0 1 0 305045282 4452352 726 1992294400 134512640 135215339 4294956240 18446744073709551615 134528802 0 0 4096 3 0 0 0 17 0 0 0
/proc/16125/statm: 1087 726 76 171 0 914 0
Current children cumulated CPU time (s) 25.51
Current children cumulated vsize (KiB) 9704
[startup+32.0057 s]
/proc/loadavg: 0.98 0.98 0.98 2/67 16125
/proc/meminfo: memFree=1857024/2055920 swapFree=4180508/4192956
[pid=16119] ppid=16117 vsize=5356 CPUtime=0
/proc/16119/stat : 16119 (SatELiteGTI) S 16117 16119 15897 0 -1 4194304 336 376 0 0 0 0 0 0 19 0 1 0 305045281 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16119/statm: 1339 239 197 169 0 50 0
[pid=16125] ppid=16119 vsize=4484 CPUtime=31.91
/proc/16125/stat : 16125 (minisat_static) R 16119 16119 15897 0 -1 4194304 754 0 0 0 3191 0 0 0 25 0 1 0 305045282 4591616 740 1992294400 134512640 135215339 4294956240 18446744073709551615 134538983 0 0 4096 3 0 0 0 17 0 0 0
/proc/16125/statm: 1121 740 76 171 0 948 0
Current children cumulated CPU time (s) 31.91
Current children cumulated vsize (KiB) 9840
[startup+35.2013 s]
/proc/loadavg: 0.98 0.98 0.98 2/67 16125
/proc/meminfo: memFree=1857024/2055920 swapFree=4180508/4192956
[pid=16119] ppid=16117 vsize=5356 CPUtime=0
/proc/16119/stat : 16119 (SatELiteGTI) S 16117 16119 15897 0 -1 4194304 336 376 0 0 0 0 0 0 19 0 1 0 305045281 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16119/statm: 1339 239 197 169 0 50 0
[pid=16125] ppid=16119 vsize=4484 CPUtime=35.11
/proc/16125/stat : 16125 (minisat_static) R 16119 16119 15897 0 -1 4194304 754 0 0 0 3510 1 0 0 25 0 1 0 305045282 4591616 740 1992294400 134512640 135215339 4294956240 18446744073709551615 134545713 0 0 4096 3 0 0 0 17 0 0 0
/proc/16125/statm: 1121 740 76 171 0 948 0
Current children cumulated CPU time (s) 35.11
Current children cumulated vsize (KiB) 9840
[startup+38.403 s]
/proc/loadavg: 0.98 0.98 0.98 2/67 16125
/proc/meminfo: memFree=1857024/2055920 swapFree=4180508/4192956
[pid=16119] ppid=16117 vsize=5356 CPUtime=0
/proc/16119/stat : 16119 (SatELiteGTI) S 16117 16119 15897 0 -1 4194304 336 376 0 0 0 0 0 0 19 0 1 0 305045281 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16119/statm: 1339 239 197 169 0 50 0
[pid=16125] ppid=16119 vsize=4484 CPUtime=38.31
/proc/16125/stat : 16125 (minisat_static) R 16119 16119 15897 0 -1 4194304 771 0 0 0 3830 1 0 0 25 0 1 0 305045282 4591616 757 1992294400 134512640 135215339 4294956240 18446744073709551615 134528881 0 0 4096 3 0 0 0 17 0 0 0
/proc/16125/statm: 1121 757 76 171 0 948 0
Current children cumulated CPU time (s) 38.31
Current children cumulated vsize (KiB) 9840
[startup+40.0013 s]
/proc/loadavg: 0.98 0.98 0.98 2/67 16125
/proc/meminfo: memFree=1857024/2055920 swapFree=4180508/4192956
[pid=16119] ppid=16117 vsize=5356 CPUtime=0
/proc/16119/stat : 16119 (SatELiteGTI) S 16117 16119 15897 0 -1 4194304 336 376 0 0 0 0 0 0 19 0 1 0 305045281 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16119/statm: 1339 239 197 169 0 50 0
[pid=16125] ppid=16119 vsize=4484 CPUtime=39.9
/proc/16125/stat : 16125 (minisat_static) R 16119 16119 15897 0 -1 4194304 771 0 0 0 3989 1 0 0 25 0 1 0 305045282 4591616 757 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 0 0 0
/proc/16125/statm: 1121 757 76 171 0 948 0
Current children cumulated CPU time (s) 39.9
Current children cumulated vsize (KiB) 9840
[startup+40.8055 s]
/proc/loadavg: 0.98 0.98 0.98 2/67 16125
/proc/meminfo: memFree=1857024/2055920 swapFree=4180508/4192956
[pid=16119] ppid=16117 vsize=5356 CPUtime=0
/proc/16119/stat : 16119 (SatELiteGTI) S 16117 16119 15897 0 -1 4194304 336 376 0 0 0 0 0 0 19 0 1 0 305045281 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16119/statm: 1339 239 197 169 0 50 0
[pid=16125] ppid=16119 vsize=4484 CPUtime=40.71
/proc/16125/stat : 16125 (minisat_static) R 16119 16119 15897 0 -1 4194304 771 0 0 0 4070 1 0 0 25 0 1 0 305045282 4591616 757 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 0 0 0
/proc/16125/statm: 1121 757 76 171 0 948 0
Current children cumulated CPU time (s) 40.71
Current children cumulated vsize (KiB) 9840
[startup+41.2016 s]
/proc/loadavg: 0.98 0.98 0.98 2/67 16125
/proc/meminfo: memFree=1857024/2055920 swapFree=4180508/4192956
[pid=16119] ppid=16117 vsize=5356 CPUtime=0
/proc/16119/stat : 16119 (SatELiteGTI) S 16117 16119 15897 0 -1 4194304 336 376 0 0 0 0 0 0 19 0 1 0 305045281 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16119/statm: 1339 239 197 169 0 50 0
[pid=16125] ppid=16119 vsize=4492 CPUtime=41.1
/proc/16125/stat : 16125 (minisat_static) R 16119 16119 15897 0 -1 4194304 779 0 0 0 4109 1 0 0 25 0 1 0 305045282 4599808 764 1992294400 134512640 135215339 4294956240 18446744073709551615 134747489 0 0 4096 3 0 0 0 17 0 0 0
/proc/16125/statm: 1122 763 80 171 0 949 0
Current children cumulated CPU time (s) 41.1
Current children cumulated vsize (KiB) 9848
Child status: 10
Real time (s): 41.2057
CPU time (s): 41.1217
CPU user time (s): 41.1037
CPU system time (s): 0.017997
CPU usage (%): 99.7962
Max. virtual memory (cumulated for all children) (KiB): 9848
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 41.1038
system time used= 0.017997
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1768
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= 22
involuntary context switches= 1750
runsolver used 0.058991 second user time and 0.146977 second system time
The end
Begin job on node80 at 2009-05-19 23:56:03
IDJOB=1832175
IDBENCH=24606
IDSOLVER=671
FILE ID=node80/1832175-1242770163
PBS_JOBID= 9322223
Free space on /tmp= 66236 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT07/crafted/Medium/contest05/jarvisalo/mod2-rand3bip-sat-210-2.sat05-2159.reshuffled-07.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832175-1242770163/watcher-1832175-1242770163 -o /tmp/evaluation-result-1832175-1242770163/solver-1832175-1242770163 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832175-1242770163.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= f34a97e9100b15a8025a13df7cb62499
RANDOM SEED=710630803
node80.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.270
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.270
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1860904 kB
Buffers: 15716 kB
Cached: 142724 kB
SwapCached: 7004 kB
Active: 47280 kB
Inactive: 119804 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1860904 kB
SwapTotal: 4192956 kB
SwapFree: 4180508 kB
Dirty: 1604 kB
Writeback: 0 kB
Mapped: 13404 kB
Slab: 13964 kB
Committed_AS: 1100840 kB
PageTables: 1388 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66232 MiB
End job on node80 at 2009-05-19 23:56:45