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 | 880 2640 | 263 0 0 nan | 0.000 % |
0.00/0.00 c ==============================================================================
0.00/0.00 c Result : #vars: 220 #clauses: 880 #literals: 2640
0.00/0.00 c CPU time: 0.000999 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: 220 |
0.00/0.01 c | Number of clauses: 880 |
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 | 220 880 2640 | 293 0 nan | 0.000 % |
0.00/0.01 c | 100 | 220 880 2640 | 293 100 30 | 0.002 % |
0.00/0.01 c | 200 | 220 880 2640 | 293 200 27 | 0.002 % |
0.00/0.02 c | 300 | 220 880 2640 | 293 300 25 | 0.002 % |
0.00/0.02 c | 410 | 219 874 2622 | 293 344 24 | 0.457 % |
0.00/0.02 c | 510 | 219 874 2622 | 293 318 21 | 0.457 % |
0.00/0.03 c | 621 | 219 874 2622 | 293 334 22 | 0.457 % |
0.00/0.03 c | 743 | 219 874 2622 | 293 360 23 | 0.457 % |
0.00/0.04 c | 844 | 219 874 2622 | 293 359 22 | 0.457 % |
0.00/0.04 c | 954 | 219 874 2622 | 293 333 22 | 0.457 % |
0.00/0.04 c | 1076 | 219 874 2622 | 293 357 21 | 0.457 % |
0.00/0.05 c | 1210 | 219 874 2622 | 293 330 20 | 0.457 % |
0.00/0.05 c | 1310 | 219 874 2622 | 293 336 18 | 0.457 % |
0.00/0.06 c | 1420 | 219 874 2622 | 293 318 19 | 0.457 % |
0.00/0.06 c | 1541 | 219 874 2622 | 293 315 18 | 0.457 % |
0.00/0.06 c | 1675 | 219 874 2622 | 293 320 18 | 0.457 % |
0.00/0.07 c | 1821 | 219 874 2622 | 293 312 16 | 0.457 % |
0.00/0.07 c | 1921 | 219 874 2622 | 293 350 16 | 0.457 % |
0.00/0.08 c | 2031 | 219 874 2622 | 293 331 16 | 0.457 % |
0.00/0.08 c | 2152 | 219 874 2622 | 293 327 16 | 0.457 % |
0.00/0.08 c | 2285 | 219 874 2622 | 293 335 16 | 0.457 % |
0.00/0.09 c | 2431 | 219 874 2622 | 293 354 16 | 0.457 % |
0.00/0.09 c | 2592 | 219 874 2622 | 293 349 15 | 0.457 % |
0.00/0.10 c | 2692 | 219 874 2622 | 293 322 14 | 0.457 % |
0.00/0.10 c | 2802 | 219 874 2622 | 293 311 15 | 0.457 % |
0.00/0.11 c | 2924 | 219 874 2622 | 293 306 14 | 0.457 % |
0.00/0.11 c | 3058 | 219 874 2622 | 293 314 15 | 0.457 % |
0.00/0.12 c | 3205 | 219 874 2622 | 293 334 16 | 0.457 % |
0.00/0.12 c | 3365 | 219 874 2622 | 293 336 15 | 0.457 % |
0.00/0.13 c | 3541 | 219 874 2622 | 293 328 16 | 0.457 % |
0.00/0.13 c | 3642 | 219 874 2622 | 293 335 15 | 0.457 % |
0.00/0.13 c | 3753 | 219 874 2622 | 293 293 13 | 0.457 % |
0.00/0.14 c | 3874 | 219 874 2622 | 293 345 15 | 0.457 % |
0.00/0.14 c | 4009 | 219 874 2622 | 293 351 16 | 0.457 % |
0.00/0.15 c | 4155 | 219 874 2622 | 293 308 13 | 0.457 % |
0.00/0.15 c | 4316 | 219 874 2622 | 293 347 15 | 0.457 % |
0.00/0.16 c | 4493 | 219 874 2622 | 293 308 13 | 0.457 % |
0.00/0.17 c | 4686 | 219 874 2622 | 293 314 12 | 0.457 % |
0.00/0.17 c | 4787 | 219 874 2622 | 293 322 12 | 0.457 % |
0.00/0.18 c | 4897 | 219 874 2622 | 293 336 13 | 0.457 % |
0.00/0.18 c | 5019 | 219 874 2622 | 293 328 13 | 0.457 % |
0.00/0.18 c | 5153 | 219 874 2622 | 293 336 12 | 0.457 % |
0.00/0.19 c | 5299 | 219 874 2622 | 293 323 11 | 0.457 % |
0.00/0.19 c | 5459 | 219 874 2622 | 293 351 11 | 0.457 % |
0.00/0.20 c | 5635 | 219 874 2622 | 293 332 11 | 0.457 % |
0.00/0.21 c | 5830 | 219 874 2622 | 293 335 11 | 0.457 % |
0.00/0.21 c | 6043 | 219 874 2622 | 293 327 11 | 0.457 % |
0.00/0.22 c | 6144 | 219 874 2622 | 293 336 12 | 0.457 % |
0.00/0.22 c | 6254 | 219 874 2622 | 293 318 11 | 0.457 % |
0.00/0.23 c | 6375 | 219 874 2622 | 293 345 14 | 0.457 % |
0.00/0.23 c | 6508 | 219 874 2622 | 293 316 11 | 0.457 % |
0.00/0.23 c | 6655 | 219 874 2622 | 293 305 10 | 0.457 % |
0.00/0.24 c | 6815 | 219 874 2622 | 293 314 9 | 0.457 % |
0.00/0.24 c | 6992 | 219 874 2622 | 293 304 9 | 0.457 % |
0.00/0.25 c | 7187 | 219 874 2622 | 293 319 9 | 0.457 % |
0.00/0.26 c | 7399 | 219 874 2622 | 293 315 9 | 0.457 % |
0.00/0.26 c | 7633 | 219 874 2622 | 293 313 9 | 0.457 % |
0.00/0.27 c | 7733 | 219 874 2622 | 293 320 10 | 0.457 % |
0.00/0.27 c | 7843 | 219 874 2622 | 293 305 9 | 0.457 % |
0.00/0.27 c | 7965 | 219 874 2622 | 293 366 12 | 0.457 % |
0.00/0.28 c | 8098 | 219 874 2622 | 293 333 12 | 0.457 % |
0.00/0.28 c | 8245 | 219 874 2622 | 293 320 10 | 0.457 % |
0.00/0.29 c | 8406 | 219 874 2622 | 293 327 9 | 0.457 % |
0.00/0.29 c | 8583 | 219 874 2622 | 293 343 10 | 0.457 % |
0.00/0.30 c | 8777 | 219 874 2622 | 293 311 11 | 0.457 % |
0.00/0.31 c | 8989 | 219 874 2622 | 293 313 9 | 0.457 % |
0.00/0.32 c | 9222 | 219 874 2622 | 293 319 10 | 0.457 % |
0.00/0.32 c | 9479 | 219 874 2622 | 293 326 10 | 0.457 % |
0.00/0.33 c | 9579 | 219 874 2622 | 293 328 11 | 0.457 % |
0.00/0.33 c | 9689 | 219 874 2622 | 293 315 10 | 0.457 % |
0.00/0.34 c | 9810 | 219 874 2622 | 293 341 12 | 0.457 % |
0.00/0.34 c | 9943 | 219 874 2622 | 293 345 11 | 0.457 % |
0.00/0.34 c | 10089 | 219 874 2622 | 2147483647 426 14 | 0.457 % |
0.00/0.35 c | 10250 | 219 874 2622 | 2147483647 587 16 | 0.457 % |
0.00/0.36 c | 10427 | 219 874 2622 | 2147483647 764 17 | 0.457 % |
0.00/0.37 c | 10620 | 219 874 2622 | 2147483647 957 18 | 0.457 % |
0.00/0.37 c | 10832 | 219 874 2622 | 2147483647 1169 18 | 0.457 % |
0.00/0.38 c | 11065 | 219 874 2622 | 2147483647 1402 18 | 0.457 % |
0.00/0.39 c | 11321 | 219 874 2622 | 2147483647 1658 19 | 0.457 % |
0.00/0.41 c | 11602 | 219 874 2622 | 2147483647 1939 20 | 0.457 % |
0.00/0.42 c | 11702 | 219 874 2622 | 2147483647 2039 20 | 0.457 % |
0.00/0.42 c | 11812 | 219 874 2622 | 2147483647 2149 20 | 0.457 % |
0.00/0.43 c | 11933 | 219 874 2622 | 2147483647 2270 20 | 0.457 % |
0.00/0.44 c | 12067 | 219 874 2622 | 2147483647 2404 20 | 0.457 % |
0.00/0.45 c | 12213 | 219 874 2622 | 2147483647 2550 21 | 0.457 % |
0.00/0.46 c | 12375 | 219 874 2622 | 2147483647 2712 21 | 0.457 % |
0.00/0.46 c | 12553 | 219 874 2622 | 2147483647 2890 21 | 0.457 % |
0.00/0.48 c | 12746 | 219 874 2622 | 2147483647 3083 21 | 0.457 % |
0.00/0.49 c | 12958 | 219 874 2622 | 2147483647 3295 21 | 0.457 % |
0.00/0.51 c | 13191 | 219 874 2622 | 2147483647 3528 21 | 0.457 % |
0.00/0.53 c | 13447 | 219 874 2622 | 2147483647 3784 21 | 0.457 % |
0.00/0.55 c | 13729 | 219 874 2622 | 2147483647 4066 21 | 0.457 % |
0.00/0.57 c | 14039 | 219 874 2622 | 2147483647 4376 21 | 0.457 % |
0.00/0.58 c | 14139 | 219 874 2622 | 2147483647 4476 21 | 0.457 % |
0.00/0.59 c | 14250 | 219 874 2622 | 2147483647 4587 21 | 0.457 % |
0.00/0.60 c | 14372 | 219 874 2622 | 2147483647 4709 21 | 0.457 % |
0.00/0.61 c | 14505 | 219 874 2622 | 2147483647 4842 21 | 0.457 % |
0.00/0.62 c | 14651 | 219 874 2622 | 2147483647 4988 21 | 0.457 % |
0.00/0.63 c | 14811 | 219 874 2622 | 2147483647 5148 21 | 0.457 % |
0.00/0.65 c | 14987 | 219 874 2622 | 2147483647 5324 21 | 0.457 % |
0.00/0.66 c | 15181 | 219 874 2622 | 2147483647 5518 21 | 0.457 % |
0.00/0.68 c | 15393 | 219 874 2622 | 2147483647 5730 21 | 0.457 % |
0.00/0.70 c | 15626 | 219 874 2622 | 2147483647 5963 21 | 0.457 % |
0.00/0.72 c | 15882 | 219 874 2622 | 2147483647 6219 21 | 0.457 % |
0.00/0.76 c | 16163 | 219 874 2622 | 2147483647 6500 21 | 0.457 % |
0.00/0.78 c | 16472 | 219 874 2622 | 2147483647 6809 21 | 0.457 % |
0.00/0.81 c | 16812 | 219 874 2622 | 2147483647 7149 21 | 0.457 % |
0.00/0.81 c | 16912 | 219 874 2622 | 2147483647 7249 21 | 0.457 % |
0.00/0.82 c | 17023 | 219 874 2622 | 2147483647 7360 21 | 0.457 % |
0.00/0.83 c | 17145 | 219 874 2622 | 2147483647 7482 21 | 0.457 % |
0.00/0.85 c | 17278 | 219 874 2622 | 2147483647 7615 21 | 0.457 % |
0.00/0.86 c | 17424 | 219 874 2622 | 2147483647 7761 21 | 0.457 % |
0.00/0.88 c | 17585 | 219 874 2622 | 2147483647 7922 21 | 0.457 % |
0.00/0.90 c | 17761 | 219 874 2622 | 2147483647 8098 21 | 0.457 % |
0.00/0.92 c | 17956 | 219 874 2622 | 2147483647 8293 21 | 0.457 % |
0.00/0.96 c | 18168 | 219 874 2622 | 2147483647 8505 21 | 0.457 % |
0.00/0.98 c | 18402 | 219 874 2622 | 2147483647 8739 21 | 0.457 % |
0.98/1.02 c | 18659 | 219 874 2622 | 2147483647 8996 21 | 0.457 % |
0.98/1.05 c | 18941 | 219 874 2622 | 2147483647 9278 21 | 0.457 % |
0.98/1.09 c | 19251 | 219 874 2622 | 2147483647 9588 21 | 0.457 % |
1.08/1.12 c | 19591 | 219 874 2622 | 2147483647 9928 21 | 0.457 % |
1.08/1.17 c | 19963 | 219 874 2622 | 2147483647 10300 21 | 0.457 % |
1.08/1.18 c | 20064 | 219 874 2622 | 2147483647 10401 21 | 0.457 % |
1.17/1.20 c | 20174 | 219 874 2622 | 2147483647 10511 21 | 0.457 % |
1.17/1.21 c | 20295 | 219 874 2622 | 2147483647 10632 21 | 0.457 % |
1.17/1.23 c | 20429 | 219 874 2622 | 2147483647 10766 21 | 0.457 % |
1.17/1.25 c | 20575 | 219 874 2622 | 2147483647 10912 21 | 0.457 % |
1.17/1.27 c | 20735 | 219 874 2622 | 2147483647 11072 21 | 0.457 % |
1.27/1.30 c | 20913 | 219 874 2622 | 2147483647 11250 21 | 0.457 % |
1.27/1.32 c | 21106 | 219 874 2622 | 2147483647 11443 21 | 0.457 % |
1.27/1.36 c | 21320 | 219 874 2622 | 2147483647 11657 21 | 0.457 % |
1.27/1.38 c | 21553 | 219 874 2622 | 2147483647 11890 21 | 0.457 % |
1.37/1.42 c | 21809 | 219 874 2622 | 2147483647 12146 21 | 0.457 % |
1.37/1.47 c | 22092 | 219 874 2622 | 2147483647 12429 21 | 0.457 % |
1.47/1.51 c | 22401 | 219 874 2622 | 2147483647 12738 21 | 0.457 % |
1.47/1.57 c | 22740 | 219 874 2622 | 2147483647 13077 21 | 0.457 % |
1.57/1.61 c | 23113 | 219 874 2622 | 2147483647 13450 21 | 0.457 % |
1.57/1.68 c | 23523 | 219 874 2622 | 2147483647 13860 21 | 0.457 % |
1.67/1.70 c | 23624 | 219 874 2622 | 2147483647 13961 21 | 0.457 % |
1.67/1.72 c | 23735 | 219 874 2622 | 2147483647 14072 21 | 0.457 % |
1.67/1.74 c | 23856 | 219 874 2622 | 2147483647 14193 21 | 0.457 % |
1.67/1.76 c | 23990 | 219 874 2622 | 2147483647 14327 21 | 0.457 % |
1.67/1.78 c | 24137 | 219 874 2622 | 2147483647 14474 21 | 0.457 % |
1.77/1.80 c | 24298 | 219 874 2622 | 2147483647 14635 21 | 0.457 % |
1.77/1.84 c | 24475 | 219 874 2622 | 2147483647 14812 21 | 0.457 % |
1.77/1.87 c | 24669 | 219 874 2622 | 2147483647 15006 21 | 0.457 % |
1.87/1.90 c | 24882 | 219 874 2622 | 2147483647 15219 21 | 0.457 % |
1.87/1.94 c | 25115 | 219 874 2622 | 2147483647 15452 21 | 0.457 % |
1.87/1.98 c | 25372 | 219 874 2622 | 2147483647 15709 21 | 0.457 % |
1.97/2.04 c | 25654 | 219 874 2622 | 2147483647 15991 21 | 0.457 % |
1.97/2.09 c | 25964 | 219 874 2622 | 2147483647 16301 21 | 0.457 % |
2.08/2.14 c | 26303 | 219 874 2622 | 2147483647 16640 21 | 0.457 % |
2.18/2.23 c | 26676 | 219 874 2622 | 2147483647 17013 21 | 0.457 % |
2.27/2.33 c | 27085 | 219 874 2622 | 2147483647 17422 21 | 0.457 % |
2.37/2.42 c | 27534 | 219 874 2622 | 2147483647 17871 21 | 0.457 % |
2.37/2.44 c | 27635 | 219 874 2622 | 2147483647 17972 21 | 0.457 % |
2.37/2.46 c | 27745 | 219 874 2622 | 2147483647 18082 21 | 0.457 % |
2.37/2.48 c | 27866 | 219 874 2622 | 2147483647 18203 21 | 0.459 % |
2.47/2.51 c | 28000 | 219 874 2622 | 2147483647 18337 21 | 0.457 % |
2.47/2.55 c | 28146 | 219 874 2622 | 2147483647 18483 21 | 0.457 % |
2.47/2.58 c | 28307 | 219 874 2622 | 2147483647 18644 21 | 0.457 % |
2.57/2.62 c | 28484 | 219 874 2622 | 2147483647 18821 21 | 0.459 % |
2.57/2.67 c | 28679 | 219 874 2622 | 2147483647 19016 21 | 0.457 % |
2.67/2.72 c | 28892 | 219 874 2622 | 2147483647 19229 21 | 0.457 % |
2.67/2.78 c | 29126 | 219 874 2622 | 2147483647 19463 21 | 0.457 % |
2.77/2.85 c | 29383 | 219 874 2622 | 2147483647 19720 21 | 0.457 % |
2.87/2.93 c | 29664 | 219 874 2622 | 2147483647 20001 21 | 0.457 % |
2.87/2.99 c | 29973 | 219 874 2622 | 2147483647 20310 21 | 0.457 % |
2.97/3.09 c | 30312 | 219 874 2622 | 20337 13313 20 | 0.457 % |
3.07/3.15 c | 30685 | 219 874 2622 | 20337 13686 20 | 0.457 % |
3.18/3.21 c | 31095 | 219 874 2622 | 20337 14096 20 | 0.457 % |
3.18/3.28 c | 31544 | 219 874 2622 | 20337 14545 20 | 0.457 % |
3.28/3.35 c | 32037 | 219 874 2622 | 20337 15038 20 | 0.457 % |
3.28/3.38 c | 32138 | 219 874 2622 | 20337 15139 20 | 0.457 % |
3.37/3.40 c | 32248 | 219 874 2622 | 20337 15249 20 | 0.457 % |
3.37/3.42 c | 32371 | 219 874 2622 | 20337 15372 20 | 0.457 % |
3.37/3.44 c | 32504 | 219 874 2622 | 20337 15505 20 | 0.459 % |
3.37/3.47 c | 32650 | 219 874 2622 | 20337 15651 20 | 0.457 % |
3.37/3.50 c | 32810 | 219 874 2622 | 20337 15811 20 | 0.457 % |
3.47/3.52 c | 32988 | 219 874 2622 | 20337 15989 20 | 0.457 % |
3.47/3.55 c | 33181 | 219 874 2622 | 20337 16182 20 | 0.457 % |
3.47/3.59 c | 33393 | 219 874 2622 | 20337 16394 20 | 0.457 % |
3.57/3.63 c | 33627 | 219 874 2622 | 20337 16628 20 | 0.457 % |
3.57/3.67 c | 33883 | 219 874 2622 | 20337 16884 20 | 0.457 % |
3.67/3.72 c | 34164 | 219 874 2622 | 20337 17165 20 | 0.459 % |
3.67/3.79 c | 34474 | 219 874 2622 | 20337 17475 20 | 0.457 % |
3.77/3.85 c | 34814 | 219 874 2622 | 20337 17815 20 | 0.457 % |
3.87/3.92 c | 35186 | 219 874 2622 | 20337 18187 20 | 0.457 % |
3.97/4.02 c | 35596 | 219 874 2622 | 20337 18597 20 | 0.457 % |
4.07/4.12 c | 36046 | 219 874 2622 | 20337 19047 20 | 0.457 % |
4.17/4.23 c | 36539 | 219 874 2622 | 20337 19540 20 | 0.457 % |
4.28/4.36 c | 37081 | 219 874 2622 | 20337 20082 20 | 0.457 % |
4.28/4.39 c | 37183 | 219 874 2622 | 20337 20184 20 | 0.457 % |
4.37/4.41 c | 37295 | 219 874 2622 | 20337 20296 20 | 0.457 % |
4.37/4.47 c | 37416 | 219 874 2622 | 20337 12067 19 | 0.457 % |
4.37/4.48 c | 37550 | 219 874 2622 | 20337 12201 19 | 0.457 % |
4.47/4.51 c | 37697 | 219 874 2622 | 20337 12348 19 | 0.457 % |
4.47/4.53 c | 37858 | 219 874 2622 | 20337 12509 19 | 0.457 % |
4.47/4.55 c | 38034 | 219 874 2622 | 20337 12685 19 | 0.457 % |
4.47/4.58 c | 38228 | 219 874 2622 | 20337 12879 19 | 0.457 % |
4.57/4.61 c | 38440 | 219 874 2622 | 20337 13091 19 | 0.457 % |
4.57/4.64 c | 38673 | 219 874 2622 | 20337 13324 19 | 0.457 % |
4.57/4.68 c | 38929 | 219 874 2622 | 20337 13580 19 | 0.457 % |
4.67/4.73 c | 39211 | 219 874 2622 | 20337 13862 19 | 0.459 % |
4.67/4.77 c | 39520 | 219 874 2622 | 20337 14171 19 | 0.457 % |
4.77/4.82 c | 39859 | 219 874 2622 | 20337 14510 19 | 0.457 % |
4.77/4.88 c | 40233 | 219 874 2622 | 14651 8967 18 | 0.457 % |
4.87/4.93 c | 40642 | 219 874 2622 | 14651 9376 18 | 0.457 % |
4.87/4.98 c | 41091 | 219 874 2622 | 14651 9825 18 | 0.457 % |
4.97/5.05 c | 41584 | 219 874 2622 | 14651 10318 18 | 0.457 % |
5.07/5.12 c | 42128 | 219 874 2622 | 14651 10862 18 | 0.457 % |
5.07/5.19 c | 42725 | 219 874 2622 | 14651 11459 18 | 0.457 % |
5.17/5.20 c | 42825 | 219 874 2622 | 14651 11559 18 | 0.457 % |
5.17/5.22 c | 42935 | 219 874 2622 | 14651 11669 18 | 0.457 % |
5.17/5.23 c | 43056 | 219 874 2622 | 14651 11790 18 | 0.457 % |
5.17/5.25 c | 43189 | 219 874 2622 | 14651 11923 18 | 0.457 % |
5.17/5.26 c | 43336 | 219 874 2622 | 14651 12070 18 | 0.457 % |
5.17/5.29 c | 43496 | 219 874 2622 | 14651 12230 18 | 0.459 % |
5.27/5.32 c | 43672 | 219 874 2622 | 14651 12406 18 | 0.457 % |
5.27/5.34 c | 43865 | 219 874 2622 | 14651 12599 18 | 0.457 % |
5.27/5.37 c | 44078 | 219 874 2622 | 14651 12812 18 | 0.457 % |
5.27/5.40 c | 44311 | 219 874 2622 | 14651 13045 18 | 0.457 % |
5.37/5.43 c | 44568 | 219 874 2622 | 14651 13302 18 | 0.457 % |
5.37/5.48 c | 44850 | 219 874 2622 | 14651 13584 18 | 0.457 % |
5.47/5.52 c | 45161 | 219 874 2622 | 14651 13895 18 | 0.457 % |
5.47/5.58 c | 45501 | 219 874 2622 | 14651 14235 18 | 0.457 % |
5.57/5.63 c | 45873 | 219 874 2622 | 14651 14607 18 | 0.457 % |
5.57/5.69 c | 46283 | 219 874 2622 | 14651 9650 17 | 0.457 % |
5.67/5.74 c | 46734 | 219 874 2622 | 14651 10101 17 | 0.459 % |
5.77/5.80 c | 47228 | 219 874 2622 | 14651 10595 18 | 0.457 % |
5.77/5.86 c | 47771 | 219 874 2622 | 14651 11138 18 | 0.457 % |
5.87/5.92 c | 48367 | 219 874 2622 | 14651 11734 18 | 0.457 % |
5.87/5.99 c | 49022 | 219 874 2622 | 14651 12389 18 | 0.457 % |
5.97/6.01 c | 49122 | 219 874 2622 | 14651 12489 18 | 0.457 % |
5.97/6.02 c | 49233 | 219 874 2622 | 14651 12600 18 | 0.457 % |
5.97/6.04 c | 49354 | 219 874 2622 | 14651 12721 18 | 0.459 % |
5.97/6.06 c | 49487 | 219 874 2622 | 14651 12854 18 | 0.457 % |
5.97/6.08 c | 49635 | 219 874 2622 | 14651 13002 18 | 0.457 % |
6.07/6.10 c | 49796 | 219 874 2622 | 14651 13163 18 | 0.457 % |
6.07/6.13 c | 49974 | 219 874 2622 | 14651 13341 18 | 0.457 % |
6.07/6.17 c | 50167 | 219 874 2622 | 13367 8738 17 | 0.457 % |
6.07/6.19 c | 50379 | 219 874 2622 | 13367 8950 17 | 0.457 % |
6.17/6.21 c | 50612 | 219 874 2622 | 13367 9183 17 | 0.457 % |
6.17/6.24 c | 50868 | 219 874 2622 | 13367 9439 17 | 0.457 % |
6.17/6.27 c | 51149 | 219 874 2622 | 13367 9720 18 | 0.457 % |
6.27/6.31 c | 51459 | 219 874 2622 | 13367 10030 18 | 0.457 % |
6.27/6.35 c | 51800 | 219 874 2622 | 13367 10371 18 | 0.459 % |
6.27/6.39 c | 52173 | 219 874 2622 | 13367 10744 18 | 0.457 % |
6.37/6.42 c | 52582 | 219 874 2622 | 13367 11153 18 | 0.457 % |
6.37/6.48 c | 53032 | 219 874 2622 | 13367 11603 18 | 0.459 % |
6.47/6.56 c | 53525 | 219 874 2622 | 13367 12096 18 | 0.457 % |
6.57/6.64 c | 54067 | 219 874 2622 | 13367 12638 18 | 0.457 % |
6.67/6.72 c | 54664 | 219 874 2622 | 13367 13235 18 | 0.457 % |
6.77/6.82 c | 55320 | 219 874 2622 | 13367 9474 18 | 0.457 % |
6.77/6.90 c | 56041 | 219 874 2622 | 13367 10195 18 | 0.457 % |
6.87/6.91 c | 56141 | 219 874 2622 | 13367 10295 18 | 0.459 % |
6.87/6.92 c | 56252 | 219 874 2622 | 13367 10406 18 | 0.457 % |
6.87/6.94 c | 56373 | 219 874 2622 | 13367 10527 18 | 0.457 % |
6.87/6.96 c | 56506 | 219 874 2622 | 13367 10660 18 | 0.457 % |
6.87/6.98 c | 56653 | 219 874 2622 | 13367 10807 18 | 0.459 % |
6.97/7.00 c | 56813 | 219 874 2622 | 13367 10967 18 | 0.459 % |
6.97/7.02 c | 56990 | 219 874 2622 | 13367 11144 18 | 0.457 % |
6.97/7.04 c | 57183 | 219 874 2622 | 13367 11337 18 | 0.457 % |
6.97/7.06 c | 57395 | 219 874 2622 | 13367 11549 18 | 0.457 % |
7.07/7.10 c | 57629 | 219 874 2622 | 13367 11783 18 | 0.457 % |
7.07/7.13 c | 57886 | 219 874 2622 | 13367 12040 18 | 0.457 % |
7.07/7.17 c | 58169 | 219 874 2622 | 13367 12323 18 | 0.457 % |
7.17/7.20 c | 58478 | 219 874 2622 | 13367 12632 18 | 0.457 % |
7.17/7.24 c | 58818 | 219 874 2622 | 13367 12972 18 | 0.457 % |
7.17/7.28 c | 59190 | 219 874 2622 | 13367 13344 18 | 0.457 % |
7.27/7.34 c | 59599 | 219 874 2622 | 13367 9452 18 | 0.457 % |
7.27/7.39 c | 60048 | 219 874 2622 | 9853 9901 18 | 0.457 % |
7.37/7.45 c | 60541 | 219 874 2622 | 9853 7256 17 | 0.457 % |
7.47/7.50 c | 61083 | 219 874 2622 | 9853 7798 18 | 0.459 % |
7.47/7.56 c | 61679 | 219 874 2622 | 9853 8394 18 | 0.457 % |
7.57/7.63 c | 62334 | 219 874 2622 | 9853 9049 18 | 0.459 % |
7.67/7.72 c | 63054 | 219 874 2622 | 9853 9769 18 | 0.459 % |
7.77/7.82 c | 63848 | 219 874 2622 | 9853 7746 17 | 0.457 % |
7.77/7.83 c | 63948 | 219 874 2622 | 9853 7846 17 | 0.457 % |
7.77/7.85 c | 64059 | 219 874 2622 | 9853 7957 17 | 0.457 % |
7.77/7.87 c | 64180 | 219 874 2622 | 9853 8078 17 | 0.457 % |
7.77/7.88 c | 64314 | 219 874 2622 | 9853 8212 17 | 0.459 % |
7.77/7.89 c | 64461 | 219 874 2622 | 9853 8359 17 | 0.457 % |
7.87/7.91 c | 64621 | 219 874 2622 | 9853 8519 18 | 0.457 % |
7.87/7.93 c | 64798 | 219 874 2622 | 9853 8696 18 | 0.457 % |
7.87/7.95 c | 64993 | 219 874 2622 | 9853 8891 18 | 0.457 % |
7.87/7.97 c | 65205 | 219 874 2622 | 9853 9103 18 | 0.457 % |
7.97/8.00 c | 65438 | 219 874 2622 | 9853 9336 18 | 0.457 % |
7.97/8.04 c | 65694 | 219 874 2622 | 9853 9592 18 | 0.457 % |
7.97/8.08 c | 65975 | 219 874 2622 | 9853 9873 18 | 0.459 % |
8.07/8.13 c | 66284 | 219 874 2622 | 9853 7528 17 | 0.457 % |
8.07/8.16 c | 66624 | 219 874 2622 | 9853 7868 17 | 0.457 % |
8.16/8.20 c | 66996 | 219 874 2622 | 9853 8240 17 | 0.457 % |
8.16/8.26 c | 67406 | 219 874 2622 | 9853 8650 17 | 0.457 % |
8.26/8.31 c | 67855 | 219 874 2622 | 9853 9099 17 | 0.457 % |
8.26/8.36 c | 68350 | 219 874 2622 | 9853 9594 18 | 0.457 % |
8.36/8.42 c | 68892 | 219 874 2622 | 9853 7573 17 | 0.457 % |
8.36/8.49 c | 69488 | 219 874 2622 | 9853 8169 18 | 0.457 % |
8.46/8.55 c | 70144 | 219 874 2622 | 8681 6599 17 | 0.457 % |
8.56/8.62 c | 70864 | 219 874 2622 | 8681 7319 17 | 0.457 % |
8.56/8.70 c | 71657 | 219 874 2622 | 8681 8112 18 | 0.457 % |
8.67/8.80 c | 72529 | 219 874 2622 | 8681 6979 17 | 0.457 % |
8.77/8.81 c | 72630 | 219 874 2622 | 8681 7080 17 | 0.457 % |
8.77/8.82 c | 72741 | 219 874 2622 | 8681 7191 17 | 0.457 % |
8.77/8.83 c | 72862 | 219 874 2622 | 8681 7312 17 | 0.459 % |
8.77/8.85 c | 72996 | 219 874 2622 | 8681 7446 17 | 0.457 % |
8.77/8.87 c | 73143 | 219 874 2622 | 8681 7593 17 | 0.457 % |
8.77/8.88 c | 73303 | 219 874 2622 | 8681 7753 18 | 0.459 % |
8.77/8.90 c | 73480 | 219 874 2622 | 8681 7930 18 | 0.457 % |
8.86/8.92 c | 73674 | 219 874 2622 | 8681 8124 18 | 0.459 % |
8.86/8.94 c | 73886 | 219 874 2622 | 8681 8336 18 | 0.457 % |
8.86/8.97 c | 74119 | 219 874 2622 | 8681 8569 18 | 0.459 % |
8.96/9.00 c | 74375 | 219 874 2622 | 8681 6831 17 | 0.457 % |
8.96/9.04 c | 74657 | 219 874 2622 | 8681 7113 17 | 0.457 % |
8.96/9.07 c | 74967 | 219 874 2622 | 8681 7423 17 | 0.457 % |
9.06/9.10 c | 75307 | 219 874 2622 | 8681 7763 18 | 0.457 % |
9.06/9.16 c | 75679 | 219 874 2622 | 8681 8135 18 | 0.457 % |
9.16/9.20 c | 76089 | 219 874 2622 | 8681 8545 18 | 0.459 % |
9.16/9.25 c | 76538 | 219 874 2622 | 8681 6981 17 | 0.457 % |
9.16/9.29 c | 77031 | 219 874 2622 | 8681 7474 17 | 0.457 % |
9.26/9.35 c | 77573 | 219 874 2622 | 8681 8016 17 | 0.457 % |
9.36/9.41 c | 78170 | 219 874 2622 | 8681 8613 17 | 0.457 % |
9.36/9.49 c | 78826 | 219 874 2622 | 8681 7302 17 | 0.457 % |
9.46/9.57 c | 79547 | 219 874 2622 | 8681 8023 17 | 0.457 % |
9.56/9.66 c | 80340 | 219 874 2622 | 8476 6947 16 | 0.457 % |
9.66/9.74 c | 81212 | 219 874 2622 | 8476 7819 17 | 0.457 % |
9.76/9.83 c | 82170 | 219 874 2622 | 8476 7042 16 | 0.457 % |
9.76/9.84 c | 82270 | 219 874 2622 | 8476 7142 16 | 0.457 % |
9.76/9.85 c | 82381 | 219 874 2622 | 8476 7253 16 | 0.457 % |
9.76/9.86 c | 82503 | 219 874 2622 | 8476 7375 17 | 0.457 % |
9.76/9.88 c | 82636 | 219 874 2622 | 8476 7508 17 | 0.459 % |
9.76/9.90 c | 82783 | 219 874 2622 | 8476 7655 17 | 0.457 % |
9.86/9.91 c | 82943 | 219 874 2622 | 8476 7815 17 | 0.457 % |
9.86/9.94 c | 83120 | 219 874 2622 | 8476 7992 17 | 0.459 % |
9.86/9.96 c | 83313 | 219 874 2622 | 8476 8185 17 | 0.457 % |
9.86/9.98 c | 83525 | 219 874 2622 | 8476 8397 17 | 0.457 % |
9.96/10.01 c | 83759 | 219 874 2622 | 8476 6880 16 | 0.459 % |
9.96/10.04 c | 84016 | 219 874 2622 | 8476 7137 17 | 0.457 % |
9.96/10.07 c | 84298 | 219 874 2622 | 8476 7419 17 | 0.457 % |
10.06/10.10 c | 84607 | 219 874 2622 | 8476 7728 17 | 0.457 % |
10.06/10.14 c | 84946 | 219 874 2622 | 8476 8067 17 | 0.459 % |
10.06/10.17 c | 85319 | 219 874 2622 | 8476 8440 17 | 0.457 % |
10.16/10.22 c | 85728 | 219 874 2622 | 8476 7076 17 | 0.459 % |
10.16/10.27 c | 86177 | 219 874 2622 | 8476 7525 17 | 0.459 % |
10.26/10.32 c | 86671 | 219 874 2622 | 8476 8019 17 | 0.457 % |
10.26/10.38 c | 87215 | 219 874 2622 | 8476 6831 17 | 0.457 % |
10.36/10.44 c | 87811 | 219 874 2622 | 8476 7427 17 | 0.457 % |
10.46/10.51 c | 88466 | 219 874 2622 | 8476 8082 18 | 0.457 % |
10.46/10.59 c | 89187 | 219 874 2622 | 8476 7053 17 | 0.457 % |
10.56/10.68 c | 89979 | 219 874 2622 | 8476 7845 18 | 0.457 % |
10.66/10.77 c | 90851 | 219 874 2622 | 7867 7085 17 | 0.457 % |
10.76/10.88 c | 91809 | 219 874 2622 | 7867 6502 17 | 0.457 % |
10.86/10.99 c | 92862 | 219 874 2622 | 7867 7555 17 | 0.459 % |
10.96/11.00 c | 92963 | 219 874 2622 | 7867 7656 17 | 0.457 % |
10.96/11.01 c | 93074 | 219 874 2622 | 7867 7767 17 | 0.459 % |
10.96/11.03 c | 93195 | 219 874 2622 | 7867 7888 17 | 0.457 % |
10.96/11.04 c | 93328 | 219 874 2622 | 7867 6546 17 | 0.457 % |
10.96/11.05 c | 93475 | 219 874 2622 | 7867 6693 17 | 0.457 % |
10.96/11.07 c | 93635 | 219 874 2622 | 7867 6853 17 | 0.457 % |
10.96/11.09 c | 93811 | 219 874 2622 | 7867 7029 17 | 0.457 % |
11.05/11.11 c | 94004 | 219 874 2622 | 7867 7222 17 | 0.457 % |
11.05/11.13 c | 94216 | 219 874 2622 | 7867 7434 17 | 0.459 % |
11.05/11.16 c | 94450 | 219 874 2622 | 7867 7668 17 | 0.457 % |
11.05/11.19 c | 94707 | 219 874 2622 | 7867 6443 17 | 0.457 % |
11.15/11.21 c | 94988 | 219 874 2622 | 7867 6724 17 | 0.457 % |
11.15/11.25 c | 95297 | 219 874 2622 | 7867 7033 17 | 0.459 % |
11.15/11.28 c | 95637 | 219 874 2622 | 7867 7373 17 | 0.457 % |
11.25/11.32 c | 96009 | 219 874 2622 | 7867 7745 17 | 0.457 % |
11.25/11.37 c | 96418 | 219 874 2622 | 7867 6658 17 | 0.457 % |
11.35/11.42 c | 96867 | 219 874 2622 | 7867 7107 17 | 0.459 % |
11.35/11.46 c | 97360 | 219 874 2622 | 7867 7600 17 | 0.459 % |
11.45/11.52 c | 97902 | 219 874 2622 | 7867 6622 17 | 0.457 % |
11.45/11.57 c | 98499 | 219 874 2622 | 7867 7219 17 | 0.457 % |
11.55/11.64 c | 99154 | 219 874 2622 | 7867 7874 17 | 0.459 % |
11.65/11.72 c | 99874 | 219 874 2622 | 7867 7071 17 | 0.459 % |
11.75/11.80 c | 100666 | 219 874 2622 | 7197 6463 17 | 0.457 % |
11.75/11.89 c | 101537 | 219 874 2622 | 7197 5986 17 | 0.459 % |
11.85/12.00 c | 102496 | 219 874 2622 | 7197 6945 17 | 0.459 % |
11.95/12.10 c | 103550 | 219 874 2622 | 7197 6692 17 | 0.457 % |
12.15/12.21 c | 104708 | 219 874 2622 | 7197 6584 17 | 0.457 % |
12.15/12.22 c | 104808 | 219 874 2622 | 7197 6684 17 | 0.457 % |
12.15/12.23 c | 104918 | 219 874 2622 | 7197 6794 17 | 0.457 % |
12.15/12.25 c | 105040 | 219 874 2622 | 7197 6916 17 | 0.457 % |
12.15/12.26 c | 105173 | 219 874 2622 | 7197 7049 17 | 0.457 % |
12.15/12.27 c | 105320 | 219 874 2622 | 7197 7196 17 | 0.459 % |
12.15/12.29 c | 105480 | 219 874 2622 | 7197 6116 17 | 0.459 % |
12.25/12.31 c | 105657 | 219 874 2622 | 7197 6293 17 | 0.457 % |
12.25/12.33 c | 105850 | 219 874 2622 | 7197 6486 17 | 0.457 % |
12.25/12.35 c | 106062 | 219 874 2622 | 7197 6698 17 | 0.457 % |
12.25/12.37 c | 106296 | 219 874 2622 | 7197 6932 17 | 0.457 % |
12.25/12.38 c | 106553 | 219 874 2622 | 7197 7189 17 | 0.459 % |
12.35/12.42 c | 106834 | 219 874 2622 | 7197 6253 17 | 0.457 % |
12.35/12.45 c | 107146 | 219 874 2622 | 7197 6565 17 | 0.457 % |
12.35/12.48 c | 107486 | 219 874 2622 | 7197 6905 17 | 0.459 % |
12.45/12.52 c | 107859 | 219 874 2622 | 7197 6068 17 | 0.459 % |
12.45/12.56 c | 108268 | 219 874 2622 | 7197 6477 17 | 0.457 % |
12.55/12.60 c | 108717 | 219 874 2622 | 7197 6926 18 | 0.457 % |
12.55/12.65 c | 109210 | 219 874 2622 | 7197 6184 17 | 0.457 % |
12.65/12.70 c | 109753 | 219 874 2622 | 7197 6727 18 | 0.457 % |
12.65/12.75 c | 110349 | 219 874 2622 | 6975 6114 17 | 0.457 % |
12.75/12.82 c | 111005 | 219 874 2622 | 6975 6770 17 | 0.457 % |
12.75/12.89 c | 111725 | 219 874 2622 | 6975 6275 17 | 0.457 % |
12.85/12.97 c | 112518 | 219 874 2622 | 6975 5902 17 | 0.459 % |
12.95/13.06 c | 113389 | 219 874 2622 | 6975 6773 18 | 0.457 % |
13.05/13.14 c | 114348 | 219 874 2622 | 6975 6594 17 | 0.457 % |
13.15/13.24 c | 115402 | 219 874 2622 | 6975 6526 17 | 0.457 % |
13.25/13.35 c | 116561 | 219 874 2622 | 6975 6548 17 | 0.457 % |
13.35/13.46 c | 117835 | 219 874 2622 | 6975 6658 17 | 0.457 % |
13.35/13.47 c | 117936 | 219 874 2622 | 6975 6759 17 | 0.457 % |
13.35/13.48 c | 118046 | 219 874 2622 | 6975 6869 17 | 0.457 % |
13.35/13.49 c | 118167 | 219 874 2622 | 6975 6990 17 | 0.457 % |
13.46/13.50 c | 118301 | 219 874 2622 | 6975 5961 17 | 0.457 % |
13.46/13.52 c | 118447 | 219 874 2622 | 6975 6107 17 | 0.457 % |
13.46/13.53 c | 118607 | 219 874 2622 | 6975 6267 17 | 0.457 % |
13.46/13.55 c | 118783 | 219 874 2622 | 6975 6443 17 | 0.459 % |
13.46/13.57 c | 118976 | 219 874 2622 | 6975 6636 17 | 0.457 % |
13.46/13.59 c | 119188 | 219 874 2622 | 6975 6848 17 | 0.457 % |
13.56/13.62 c | 119422 | 219 874 2622 | 6975 5925 17 | 0.457 % |
13.56/13.64 c | 119679 | 219 874 2622 | 6975 6182 17 | 0.459 % |
13.56/13.67 c | 119960 | 219 874 2622 | 6975 6463 17 | 0.459 % |
13.66/13.70 c | 120269 | 219 874 2622 | 6504 5701 17 | 0.459 % |
13.66/13.73 c | 120608 | 219 874 2622 | 6504 6040 17 | 0.457 % |
13.66/13.76 c | 120980 | 219 874 2622 | 6504 6412 17 | 0.459 % |
13.76/13.80 c | 121390 | 219 874 2622 | 6504 5796 16 | 0.457 % |
13.76/13.84 c | 121839 | 219 874 2622 | 6504 6245 16 | 0.459 % |
13.76/13.89 c | 122332 | 219 874 2622 | 6504 5759 16 | 0.459 % |
13.86/13.95 c | 122874 | 219 874 2622 | 6504 6301 16 | 0.457 % |
13.96/14.00 c | 123470 | 219 874 2622 | 6504 5904 16 | 0.459 % |
13.96/14.07 c | 124125 | 219 874 2622 | 6504 5590 16 | 0.459 % |
14.05/14.14 c | 124847 | 219 874 2622 | 6504 6312 17 | 0.457 % |
14.16/14.21 c | 125639 | 219 874 2622 | 6504 6146 17 | 0.459 % |
14.16/14.29 c | 126512 | 219 874 2622 | 6504 6046 17 | 0.457 % |
14.26/14.37 c | 127470 | 219 874 2622 | 6504 6019 17 | 0.459 % |
14.35/14.47 c | 128523 | 219 874 2622 | 6504 6101 17 | 0.457 % |
14.45/14.58 c | 129681 | 219 874 2622 | 6504 6297 16 | 0.457 % |
14.55/14.68 c | 130955 | 219 874 2622 | 5660 5029 16 | 0.457 % |
14.75/14.82 c | 132356 | 219 874 2622 | 5660 5660 16 | 0.457 % |
14.75/14.83 c | 132456 | 219 874 2622 | 5660 5004 16 | 0.457 % |
14.75/14.84 c | 132566 | 219 874 2622 | 5660 5114 16 | 0.457 % |
14.75/14.85 c | 132687 | 219 874 2622 | 5660 5235 16 | 0.459 % |
14.75/14.86 c | 132820 | 219 874 2622 | 5660 5368 16 | 0.457 % |
14.75/14.87 c | 132966 | 219 874 2622 | 5660 5514 16 | 0.459 % |
14.75/14.89 c | 133126 | 219 874 2622 | 5660 5674 16 | 0.457 % |
14.85/14.90 c | 133302 | 219 874 2622 | 5660 5108 16 | 0.457 % |
14.85/14.92 c | 133495 | 219 874 2622 | 5660 5301 16 | 0.459 % |
14.85/14.93 c | 133708 | 219 874 2622 | 5660 5514 16 | 0.457 % |
14.85/14.95 c | 133942 | 219 874 2622 | 5660 5020 16 | 0.457 % |
14.85/14.98 c | 134199 | 219 874 2622 | 5660 5277 16 | 0.459 % |
14.95/15.00 c | 134482 | 219 874 2622 | 5660 5560 16 | 0.459 % |
14.95/15.03 c | 134792 | 219 874 2622 | 5660 5138 16 | 0.457 % |
14.95/15.05 c | 135131 | 219 874 2622 | 5660 5477 16 | 0.457 % |
14.95/15.08 c | 135503 | 219 874 2622 | 5660 5112 16 | 0.457 % |
15.05/15.12 c | 135912 | 219 874 2622 | 5660 5521 16 | 0.457 % |
15.05/15.16 c | 136362 | 219 874 2622 | 5660 5216 16 | 0.457 % |
15.15/15.21 c | 136856 | 219 874 2622 | 5660 4942 16 | 0.457 % |
15.15/15.26 c | 137398 | 219 874 2622 | 5660 5484 16 | 0.457 % |
15.26/15.31 c | 137994 | 219 874 2622 | 5660 5297 16 | 0.457 % |
15.26/15.37 c | 138650 | 219 874 2622 | 5660 5149 16 | 0.459 % |
15.36/15.43 c | 139371 | 219 874 2622 | 5660 5045 16 | 0.457 % |
15.45/15.50 c | 140163 | 219 874 2622 | 5674 4982 15 | 0.457 % |
15.45/15.57 c | 141034 | 219 874 2622 | 5674 4970 16 | 0.457 % |
15.55/15.64 c | 141993 | 219 874 2622 | 5674 5098 16 | 0.457 % |
15.65/15.73 c | 143046 | 219 874 2622 | 5674 5312 16 | 0.457 % |
15.75/15.81 c | 144204 | 219 874 2622 | 5674 5637 16 | 0.457 % |
15.85/15.90 c | 145477 | 219 874 2622 | 5674 5264 16 | 0.459 % |
15.95/16.00 c | 146878 | 219 874 2622 | 5674 5020 16 | 0.457 % |
16.05/16.11 c | 148420 | 219 874 2622 | 5674 4923 16 | 0.459 % |
16.05/16.12 c | 148520 | 219 874 2622 | 5674 5023 16 | 0.459 % |
16.05/16.13 c | 148630 | 219 874 2622 | 5674 5133 16 | 0.459 % |
16.05/16.14 c | 148751 | 219 874 2622 | 5674 5254 16 | 0.459 % |
16.05/16.14 c | 148885 | 219 874 2622 | 5674 5388 16 | 0.459 % |
16.05/16.15 c | 149032 | 219 874 2622 | 5674 5535 16 | 0.459 % |
16.05/16.17 c | 149192 | 219 874 2622 | 5674 5695 16 | 0.459 % |
16.05/16.18 c | 149369 | 219 874 2622 | 5674 5047 16 | 0.459 % |
16.05/16.19 c | 149563 | 219 874 2622 | 5674 5241 16 | 0.457 % |
16.15/16.21 c | 149775 | 219 874 2622 | 5674 5453 16 | 0.457 % |
16.15/16.22 c | 150011 | 219 874 2622 | 5678 5689 16 | 0.457 % |
16.15/16.24 c | 150268 | 219 874 2622 | 5678 5116 16 | 0.459 % |
16.15/16.26 c | 150550 | 219 874 2622 | 5678 5398 16 | 0.457 % |
16.15/16.29 c | 150859 | 219 874 2622 | 5678 4875 16 | 0.457 % |
16.25/16.32 c | 151199 | 219 874 2622 | 5678 5215 16 | 0.459 % |
16.25/16.34 c | 151573 | 219 874 2622 | 5678 5589 16 | 0.459 % |
16.25/16.37 c | 151983 | 219 874 2622 | 5678 5134 16 | 0.457 % |
16.36/16.41 c | 152433 | 219 874 2622 | 5678 5584 16 | 0.457 % |
16.36/16.44 c | 152926 | 219 874 2622 | 5678 5216 16 | 0.459 % |
16.36/16.49 c | 153469 | 219 874 2622 | 5678 4934 16 | 0.459 % |
16.46/16.53 c | 154065 | 219 874 2622 | 5678 5530 16 | 0.457 % |
16.46/16.58 c | 154721 | 219 874 2622 | 5678 5380 16 | 0.457 % |
16.55/16.63 c | 155442 | 219 874 2622 | 5678 5303 16 | 0.459 % |
16.55/16.69 c | 156235 | 219 874 2622 | 5678 5307 16 | 0.457 % |
16.65/16.76 c | 157107 | 219 874 2622 | 5678 5397 16 | 0.459 % |
16.75/16.82 c | 158066 | 219 874 2622 | 5678 5574 16 | 0.457 % |
16.85/16.90 c | 159119 | 219 874 2622 | 5678 5037 16 | 0.457 % |
16.85/16.99 c | 160277 | 219 874 2622 | 5106 4651 16 | 0.457 % |
17.05/17.10 c | 161551 | 219 874 2622 | 5106 4435 15 | 0.457 % |
17.05/17.19 c | 162951 | 219 874 2622 | 5106 5107 16 | 0.459 % |
17.15/17.29 c | 164493 | 219 874 2622 | 5106 4560 15 | 0.457 % |
17.35/17.41 c | 166187 | 219 874 2622 | 5106 4887 15 | 0.457 % |
17.35/17.41 c | 166289 | 219 874 2622 | 5106 4989 15 | 0.457 % |
17.35/17.42 c | 166399 | 219 874 2622 | 5106 5099 16 | 0.459 % |
17.35/17.43 c | 166520 | 219 874 2622 | 5106 4545 15 | 0.457 % |
17.35/17.44 c | 166653 | 219 874 2622 | 5106 4678 15 | 0.457 % |
17.35/17.45 c | 166800 | 219 874 2622 | 5106 4825 16 | 0.457 % |
17.35/17.46 c | 166961 | 219 874 2622 | 5106 4986 16 | 0.457 % |
17.35/17.47 c | 167139 | 219 874 2622 | 5106 4487 15 | 0.459 % |
17.35/17.48 c | 167332 | 219 874 2622 | 5106 4680 16 | 0.457 % |
17.46/17.50 c | 167544 | 219 874 2622 | 5106 4892 16 | 0.459 % |
17.46/17.52 c | 167778 | 219 874 2622 | 5106 5126 16 | 0.457 % |
17.46/17.54 c | 168034 | 219 874 2622 | 5106 4715 16 | 0.457 % |
17.46/17.55 c | 168315 | 219 874 2622 | 5106 4996 16 | 0.457 % |
17.46/17.58 c | 168625 | 219 874 2622 | 5106 4653 16 | 0.457 % |
17.46/17.60 c | 168965 | 219 874 2622 | 5106 4993 16 | 0.457 % |
17.56/17.63 c | 169337 | 219 874 2622 | 5106 4728 16 | 0.457 % |
17.56/17.66 c | 169747 | 219 874 2622 | 5106 4510 16 | 0.457 % |
17.56/17.69 c | 170196 | 219 874 2622 | 4763 4378 16 | 0.457 % |
17.65/17.72 c | 170691 | 219 874 2622 | 4763 4326 16 | 0.459 % |
17.65/17.75 c | 171234 | 219 874 2622 | 4763 4350 16 | 0.457 % |
17.65/17.79 c | 171830 | 219 874 2622 | 4763 4420 16 | 0.457 % |
17.75/17.83 c | 172486 | 219 874 2622 | 4763 4553 16 | 0.457 % |
17.75/17.87 c | 173207 | 219 874 2622 | 4763 4759 16 | 0.457 % |
17.85/17.93 c | 173999 | 219 874 2622 | 4763 4536 17 | 0.457 % |
17.85/17.99 c | 174870 | 219 874 2622 | 4763 4440 16 | 0.457 % |
17.95/18.05 c | 175828 | 219 874 2622 | 4763 4440 16 | 0.457 % |
18.05/18.12 c | 176881 | 219 874 2622 | 4763 4537 16 | 0.457 % |
18.05/18.19 c | 178040 | 219 874 2622 | 4763 4738 16 | 0.457 % |
18.15/18.27 c | 179313 | 219 874 2622 | 4763 4573 16 | 0.457 % |
18.25/18.36 c | 180713 | 219 874 2622 | 2147483647 5494 16 | 0.457 % |
18.35/18.48 c | 182253 | 219 874 2622 | 2147483647 7034 16 | 0.457 % |
18.56/18.62 c | 183948 | 219 874 2622 | 2147483647 8729 16 | 0.457 % |
18.66/18.77 c | 185812 | 219 874 2622 | 2147483647 10593 17 | 0.457 % |
18.66/18.78 c | 185912 | 219 874 2622 | 2147483647 10693 17 | 0.457 % |
18.66/18.79 c | 186024 | 219 874 2622 | 2147483647 10805 17 | 0.457 % |
18.75/18.81 c | 186146 | 219 874 2622 | 2147483647 10927 17 | 0.457 % |
18.75/18.82 c | 186279 | 219 874 2622 | 2147483647 11060 17 | 0.457 % |
18.75/18.83 c | 186426 | 219 874 2622 | 2147483647 11207 17 | 0.457 % |
18.75/18.86 c | 186586 | 219 874 2622 | 2147483647 11367 17 | 0.457 % |
18.75/18.88 c | 186762 | 219 874 2622 | 2147483647 11543 17 | 0.457 % |
18.85/18.90 c | 186956 | 219 874 2622 | 2147483647 11737 17 | 0.457 % |
18.85/18.92 c | 187168 | 219 874 2622 | 2147483647 11949 17 | 0.457 % |
18.85/18.95 c | 187402 | 219 874 2622 | 2147483647 12183 17 | 0.459 % |
18.85/18.99 c | 187658 | 219 874 2622 | 2147483647 12439 17 | 0.457 % |
18.95/19.01 c | 187940 | 219 874 2622 | 2147483647 12721 17 | 0.457 % |
18.95/19.05 c | 188249 | 219 874 2622 | 2147483647 13030 17 | 0.457 % |
18.95/19.08 c | 188588 | 219 874 2622 | 2147483647 13369 17 | 0.457 % |
19.05/19.12 c | 188960 | 219 874 2622 | 2147483647 13741 17 | 0.457 % |
19.05/19.16 c | 189369 | 219 874 2622 | 2147483647 14150 17 | 0.457 % |
19.15/19.22 c | 189818 | 219 874 2622 | 2147483647 14599 17 | 0.457 % |
19.15/19.29 c | 190311 | 219 874 2622 | 14783 11058 17 | 0.457 % |
19.25/19.34 c | 190854 | 219 874 2622 | 14783 11601 17 | 0.457 % |
19.25/19.40 c | 191450 | 219 874 2622 | 14783 12197 17 | 0.457 % |
19.35/19.46 c | 192105 | 219 874 2622 | 14783 12852 17 | 0.459 % |
19.45/19.54 c | 192825 | 219 874 2622 | 14783 13572 17 | 0.457 % |
19.55/19.64 c | 193618 | 219 874 2622 | 14783 14365 17 | 0.459 % |
19.65/19.75 c | 194490 | 219 874 2622 | 14783 10559 17 | 0.459 % |
19.75/19.85 c | 195448 | 219 874 2622 | 14783 11517 17 | 0.459 % |
19.85/19.95 c | 196501 | 219 874 2622 | 14783 12570 17 | 0.459 % |
19.95/20.07 c | 197659 | 219 874 2622 | 14783 13728 17 | 0.457 % |
20.15/20.24 c | 198933 | 219 874 2622 | 14783 10240 16 | 0.457 % |
20.25/20.37 c | 200334 | 219 874 2622 | 11307 8013 16 | 0.459 % |
20.45/20.51 c | 201875 | 219 874 2622 | 11307 9554 16 | 0.457 % |
20.55/20.67 c | 203570 | 219 874 2622 | 11307 11249 16 | 0.459 % |
20.75/20.85 c | 205433 | 219 874 2622 | 11307 9628 16 | 0.459 % |
20.95/21.04 c | 207483 | 219 874 2622 | 11307 8386 15 | 0.457 % |
20.95/21.05 c | 207585 | 219 874 2622 | 11307 8488 15 | 0.457 % |
20.95/21.06 c | 207696 | 219 874 2622 | 11307 8599 15 | 0.459 % |
20.95/21.07 c | 207818 | 219 874 2622 | 11307 8721 15 | 0.457 % |
20.95/21.08 c | 207954 | 219 874 2622 | 11307 8857 15 | 0.459 % |
20.95/21.09 c | 208100 | 219 874 2622 | 11307 9003 15 | 0.457 % |
21.05/21.11 c | 208260 | 219 874 2622 | 11307 9163 16 | 0.459 % |
21.05/21.12 c | 208438 | 219 874 2622 | 11307 9341 16 | 0.457 % |
21.05/21.14 c | 208632 | 219 874 2622 | 11307 9535 16 | 0.457 % |
21.05/21.16 c | 208844 | 219 874 2622 | 11307 9747 16 | 0.459 % |
21.05/21.18 c | 209078 | 219 874 2622 | 11307 9981 16 | 0.457 % |
21.15/21.20 c | 209334 | 219 874 2622 | 11307 10237 16 | 0.457 % |
21.15/21.22 c | 209616 | 219 874 2622 | 11307 10519 16 | 0.457 % |
21.15/21.25 c | 209926 | 219 874 2622 | 11307 10829 16 | 0.457 % |
21.15/21.29 c | 210265 | 219 874 2622 | 10903 8031 16 | 0.457 % |
21.25/21.32 c | 210637 | 219 874 2622 | 10903 8403 16 | 0.457 % |
21.25/21.35 c | 211047 | 219 874 2622 | 10903 8813 16 | 0.457 % |
21.35/21.40 c | 211496 | 219 874 2622 | 10903 9262 16 | 0.457 % |
21.35/21.45 c | 211990 | 219 874 2622 | 10903 9756 16 | 0.457 % |
21.35/21.50 c | 212533 | 219 874 2622 | 10903 10299 16 | 0.459 % |
21.45/21.55 c | 213130 | 219 874 2622 | 10903 10896 16 | 0.459 % |
21.55/21.62 c | 213785 | 219 874 2622 | 10903 8432 16 | 0.457 % |
21.55/21.68 c | 214505 | 219 874 2622 | 10903 9152 16 | 0.457 % |
21.65/21.75 c | 215297 | 219 874 2622 | 10903 9944 16 | 0.459 % |
21.75/21.84 c | 216168 | 219 874 2622 | 10903 10815 16 | 0.457 % |
21.85/21.92 c | 217126 | 219 874 2622 | 10903 8783 16 | 0.457 % |
21.95/22.02 c | 218179 | 219 874 2622 | 10903 9836 16 | 0.457 % |
22.04/22.14 c | 219337 | 219 874 2622 | 10903 8029 15 | 0.457 % |
22.14/22.25 c | 220610 | 219 874 2622 | 8694 6929 15 | 0.459 % |
22.24/22.36 c | 222011 | 219 874 2622 | 8694 8330 16 | 0.457 % |
22.34/22.47 c | 223552 | 219 874 2622 | 8694 7582 16 | 0.457 % |
22.54/22.62 c | 225247 | 219 874 2622 | 8694 7008 16 | 0.457 % |
22.64/22.77 c | 227111 | 219 874 2622 | 8694 6702 16 | 0.457 % |
22.84/22.94 c | 229161 | 219 874 2622 | 8694 6575 16 | 0.457 % |
23.05/23.12 c | 231414 | 219 874 2622 | 7415 6987 16 | 0.459 % |
23.05/23.12 c | 231515 | 219 874 2622 | 7415 7088 16 | 0.457 % |
23.05/23.14 c | 231625 | 219 874 2622 | 7415 7198 16 | 0.459 % |
23.05/23.15 c | 231746 | 219 874 2622 | 7415 7319 16 | 0.457 % |
23.05/23.16 c | 231880 | 219 874 2622 | 7415 7453 16 | 0.457 % |
23.05/23.18 c | 232027 | 219 874 2622 | 7415 5921 16 | 0.457 % |
23.05/23.19 c | 232187 | 219 874 2622 | 7415 6081 16 | 0.459 % |
23.14/23.20 c | 232363 | 219 874 2622 | 7415 6257 16 | 0.459 % |
23.14/23.22 c | 232557 | 219 874 2622 | 7415 6451 16 | 0.459 % |
23.14/23.23 c | 232770 | 219 874 2622 | 7415 6664 16 | 0.457 % |
23.14/23.25 c | 233003 | 219 874 2622 | 7415 6897 16 | 0.459 % |
23.14/23.27 c | 233260 | 219 874 2622 | 7415 7154 16 | 0.457 % |
23.24/23.30 c | 233541 | 219 874 2622 | 7415 7435 16 | 0.459 % |
23.24/23.33 c | 233850 | 219 874 2622 | 7415 6163 16 | 0.459 % |
23.24/23.36 c | 234190 | 219 874 2622 | 7415 6503 16 | 0.457 % |
23.24/23.39 c | 234563 | 219 874 2622 | 7415 6876 16 | 0.457 % |
23.34/23.43 c | 234972 | 219 874 2622 | 7415 7285 16 | 0.457 % |
23.34/23.47 c | 235422 | 219 874 2622 | 7415 6158 16 | 0.457 % |
23.44/23.51 c | 235915 | 219 874 2622 | 7415 6651 16 | 0.459 % |
23.44/23.55 c | 236458 | 219 874 2622 | 7415 7194 17 | 0.457 % |
23.54/23.60 c | 237055 | 219 874 2622 | 7415 6281 16 | 0.459 % |
23.54/23.65 c | 237711 | 219 874 2622 | 7415 6937 17 | 0.459 % |
23.64/23.70 c | 238431 | 219 874 2622 | 7415 6149 16 | 0.459 % |
23.64/23.76 c | 239223 | 219 874 2622 | 7415 6941 17 | 0.457 % |
23.74/23.83 c | 240095 | 219 874 2622 | 6228 5073 16 | 0.457 % |
23.84/23.91 c | 241053 | 219 874 2622 | 6228 6031 16 | 0.457 % |
23.84/23.99 c | 242107 | 219 874 2622 | 6228 5933 16 | 0.457 % |
23.94/24.08 c | 243266 | 219 874 2622 | 6228 5988 16 | 0.457 % |
24.05/24.18 c | 244539 | 219 874 2622 | 6228 6224 16 | 0.457 % |
24.15/24.29 c | 245939 | 219 874 2622 | 6228 5692 15 | 0.459 % |
24.34/24.43 c | 247480 | 219 874 2622 | 6228 5392 15 | 0.459 % |
24.44/24.58 c | 249175 | 219 874 2622 | 6228 6169 15 | 0.459 % |
24.64/24.75 c | 251039 | 219 874 2622 | 6082 5401 15 | 0.457 % |
24.84/24.92 c | 253088 | 219 874 2622 | 6082 5849 14 | 0.459 % |
24.94/25.09 c | 255342 | 219 874 2622 | 6082 5839 14 | 0.457 % |
25.15/25.28 c | 257821 | 219 874 2622 | 6082 6085 15 | 0.459 % |
25.15/25.29 c | 257921 | 219 874 2622 | 6082 5434 15 | 0.459 % |
25.15/25.30 c | 258032 | 219 874 2622 | 6082 5545 15 | 0.459 % |
25.25/25.30 c | 258153 | 219 874 2622 | 6082 5666 15 | 0.457 % |
25.25/25.31 c | 258287 | 219 874 2622 | 6082 5800 16 | 0.459 % |
25.25/25.32 c | 258433 | 219 874 2622 | 6082 5946 16 | 0.459 % |
25.25/25.34 c | 258593 | 219 874 2622 | 6082 6106 16 | 0.459 % |
25.25/25.36 c | 258770 | 219 874 2622 | 6082 5498 16 | 0.459 % |
25.25/25.37 c | 258963 | 219 874 2622 | 6082 5691 16 | 0.459 % |
25.25/25.39 c | 259175 | 219 874 2622 | 6082 5903 16 | 0.457 % |
25.34/25.41 c | 259409 | 219 874 2622 | 6082 5338 16 | 0.459 % |
25.34/25.43 c | 259666 | 219 874 2622 | 6082 5595 16 | 0.457 % |
25.34/25.44 c | 259949 | 219 874 2622 | 6082 5878 16 | 0.459 % |
25.34/25.46 c | 260258 | 219 874 2622 | 5929 5399 16 | 0.459 % |
25.34/25.49 c | 260598 | 219 874 2622 | 5929 5739 16 | 0.459 % |
25.44/25.52 c | 260970 | 219 874 2622 | 5929 5349 16 | 0.459 % |
25.44/25.55 c | 261380 | 219 874 2622 | 5929 5759 16 | 0.459 % |
25.44/25.58 c | 261830 | 219 874 2622 | 5929 5416 16 | 0.459 % |
25.54/25.61 c | 262323 | 219 874 2622 | 5929 5909 16 | 0.459 % |
25.54/25.65 c | 262866 | 219 874 2622 | 5929 5631 16 | 0.457 % |
25.64/25.70 c | 263463 | 219 874 2622 | 5929 5399 16 | 0.459 % |
25.64/25.74 c | 264118 | 219 874 2622 | 5929 5215 16 | 0.457 % |
25.64/25.79 c | 264839 | 219 874 2622 | 5929 5936 16 | 0.459 % |
25.74/25.86 c | 265633 | 219 874 2622 | 5929 5912 16 | 0.457 % |
25.84/25.92 c | 266504 | 219 874 2622 | 5929 5171 16 | 0.459 % |
25.84/25.99 c | 267462 | 219 874 2622 | 5929 5314 16 | 0.459 % |
25.94/26.08 c | 268516 | 219 874 2622 | 5929 5531 16 | 0.459 % |
26.04/26.16 c | 269675 | 219 874 2622 | 5929 5850 16 | 0.459 % |
26.14/26.25 c | 270950 | 219 874 2622 | 5359 4896 16 | 0.459 % |
26.24/26.35 c | 272350 | 219 874 2622 | 5359 4981 16 | 0.457 % |
26.34/26.46 c | 273890 | 219 874 2622 | 5359 5285 16 | 0.459 % |
26.44/26.58 c | 275584 | 219 874 2622 | 5359 5224 16 | 0.459 % |
26.64/26.71 c | 277448 | 219 874 2622 | 5359 5332 15 | 0.459 % |
26.74/26.86 c | 279498 | 219 874 2622 | 5359 5131 16 | 0.459 % |
26.94/27.02 c | 281751 | 219 874 2622 | 5088 4785 16 | 0.457 % |
27.04/27.19 c | 284230 | 219 874 2622 | 5088 4709 16 | 0.459 % |
27.24/27.36 c | 286957 | 219 874 2622 | 5088 4878 16 | 0.457 % |
27.24/27.37 c | 287057 | 219 874 2622 | 5088 4978 16 | 0.457 % |
27.24/27.37 c | 287168 | 219 874 2622 | 5088 5089 16 | 0.457 % |
27.24/27.38 c | 287290 | 219 874 2622 | 5088 4703 16 | 0.457 % |
27.24/27.39 c | 287423 | 219 874 2622 | 5088 4836 16 | 0.457 % |
27.24/27.40 c | 287570 | 219 874 2622 | 5088 4983 16 | 0.457 % |
27.34/27.41 c | 287731 | 219 874 2622 | 5088 4632 16 | 0.457 % |
27.34/27.42 c | 287907 | 219 874 2622 | 5088 4808 16 | 0.457 % |
27.34/27.44 c | 288101 | 219 874 2622 | 5088 5002 16 | 0.457 % |
27.34/27.45 c | 288313 | 219 874 2622 | 5088 4702 16 | 0.459 % |
27.34/27.47 c | 288546 | 219 874 2622 | 5088 4935 16 | 0.457 % |
27.34/27.49 c | 288804 | 219 874 2622 | 5088 4682 16 | 0.457 % |
27.44/27.50 c | 289085 | 219 874 2622 | 5088 4963 16 | 0.459 % |
27.44/27.53 c | 289396 | 219 874 2622 | 5088 4762 16 | 0.457 % |
27.44/27.55 c | 289735 | 219 874 2622 | 5088 5101 16 | 0.459 % |
27.44/27.58 c | 290107 | 219 874 2622 | 2147483647 4963 16 | 0.457 % |
27.54/27.60 c | 290516 | 219 874 2622 | 2147483647 5372 16 | 0.457 % |
27.54/27.64 c | 290966 | 219 874 2622 | 2147483647 5822 16 | 0.457 % |
27.54/27.67 c | 291459 | 219 874 2622 | 2147483647 6315 17 | 0.457 % |
27.63/27.72 c | 292002 | 219 874 2622 | 2147483647 6858 17 | 0.457 % |
27.63/27.78 c | 292599 | 219 874 2622 | 2147483647 7455 17 | 0.459 % |
27.73/27.85 c | 293254 | 219 874 2622 | 2147483647 8110 17 | 0.457 % |
27.83/27.92 c | 293974 | 219 874 2622 | 2147483647 8830 17 | 0.459 % |
27.93/28.01 c | 294767 | 219 874 2622 | 2147483647 9623 17 | 0.457 % |
28.03/28.11 c | 295638 | 219 874 2622 | 2147483647 10494 17 | 0.459 % |
28.13/28.22 c | 296597 | 219 874 2622 | 2147483647 11453 17 | 0.459 % |
28.23/28.33 c | 297651 | 219 874 2622 | 2147483647 12507 17 | 0.457 % |
28.33/28.45 c | 298810 | 219 874 2622 | 2147483647 13666 17 | 0.459 % |
28.54/28.62 c | 300083 | 219 874 2622 | 14858 10700 17 | 0.457 % |
28.64/28.79 c | 301483 | 219 874 2622 | 14858 12100 17 | 0.459 % |
28.84/28.96 c | 303023 | 219 874 2622 | 14858 13640 17 | 0.459 % |
29.14/29.20 c | 304718 | 219 874 2622 | 14858 10386 16 | 0.457 % |
29.23/29.39 c | 306582 | 219 874 2622 | 14858 12250 16 | 0.459 % |
29.54/29.64 c | 308631 | 219 874 2622 | 14858 14299 16 | 0.459 % |
29.73/29.88 c | 310884 | 219 874 2622 | 10653 7960 15 | 0.459 % |
30.03/30.10 c | 313362 | 219 874 2622 | 10653 10438 15 | 0.457 % |
30.23/30.35 c | 316087 | 219 874 2622 | 10653 9920 15 | 0.457 % |
30.53/30.63 c | 319085 | 219 874 2622 | 10653 9897 15 | 0.459 % |
30.53/30.64 c | 319186 | 219 874 2622 | 10653 9998 15 | 0.459 % |
30.53/30.65 c | 319296 | 219 874 2622 | 10653 10108 15 | 0.459 % |
30.53/30.67 c | 319417 | 219 874 2622 | 10653 10229 15 | 0.459 % |
30.53/30.68 c | 319550 | 219 874 2622 | 10653 10362 15 | 0.459 % |
30.53/30.70 c | 319696 | 219 874 2622 | 10653 10508 15 | 0.457 % |
30.63/30.71 c | 319856 | 219 874 2622 | 10653 10668 15 | 0.457 % |
30.63/30.75 c | 320032 | 219 874 2622 | 7836 7868 15 | 0.459 % |
30.63/30.77 c | 320225 | 219 874 2622 | 7836 5880 15 | 0.457 % |
30.63/30.78 c | 320438 | 219 874 2622 | 7836 6093 15 | 0.459 % |
30.63/30.80 c | 320672 | 219 874 2622 | 7836 6327 15 | 0.459 % |
30.73/30.82 c | 320929 | 219 874 2622 | 7836 6584 15 | 0.459 % |
30.73/30.84 c | 321211 | 219 874 2622 | 7836 6866 15 | 0.459 % |
30.73/30.87 c | 321520 | 219 874 2622 | 7836 7175 15 | 0.459 % |
30.73/30.90 c | 321860 | 219 874 2622 | 7836 7515 15 | 0.457 % |
30.83/30.93 c | 322232 | 219 874 2622 | 7836 5920 15 | 0.459 % |
30.83/30.95 c | 322641 | 219 874 2622 | 7836 6329 15 | 0.459 % |
30.83/30.99 c | 323090 | 219 874 2622 | 7836 6778 15 | 0.459 % |
30.93/31.03 c | 323583 | 219 874 2622 | 7836 7271 15 | 0.457 % |
30.93/31.07 c | 324126 | 219 874 2622 | 7836 7814 16 | 0.459 % |
31.03/31.12 c | 324723 | 219 874 2622 | 7836 6549 16 | 0.459 % |
31.03/31.17 c | 325381 | 219 874 2622 | 7836 7207 16 | 0.459 % |
31.13/31.25 c | 326101 | 219 874 2622 | 7836 6093 15 | 0.457 % |
31.23/31.32 c | 326894 | 219 874 2622 | 7836 6886 16 | 0.459 % |
31.33/31.40 c | 327766 | 219 874 2622 | 7836 7758 16 | 0.459 % |
31.33/31.48 c | 328724 | 219 874 2622 | 7836 6874 16 | 0.457 % |
31.43/31.58 c | 329779 | 219 874 2622 | 7836 6114 16 | 0.457 % |
31.53/31.67 c | 330937 | 219 874 2622 | 6337 5809 16 | 0.459 % |
31.63/31.77 c | 332211 | 219 874 2622 | 6337 5728 15 | 0.459 % |
31.73/31.88 c | 333611 | 219 874 2622 | 6337 5846 15 | 0.457 % |
31.93/32.01 c | 335151 | 219 874 2622 | 6337 6150 16 | 0.459 % |
32.03/32.15 c | 336845 | 219 874 2622 | 6337 5407 16 | 0.457 % |
32.13/32.28 c | 338710 | 219 874 2622 | 6337 6113 16 | 0.459 % |
32.33/32.43 c | 340759 | 219 874 2622 | 6260 5907 16 | 0.457 % |
32.53/32.60 c | 343013 | 219 874 2622 | 6260 6095 16 | 0.457 % |
32.63/32.77 c | 345491 | 219 874 2622 | 6260 5643 16 | 0.457 % |
32.83/32.99 c | 348217 | 219 874 2622 | 6260 5403 16 | 0.457 % |
33.13/33.20 c | 351214 | 219 874 2622 | 6201 5535 15 | 0.459 % |
33.33/33.44 c | 354510 | 219 874 2622 | 6201 6156 15 | 0.457 % |
33.33/33.46 c | 354611 | 219 874 2622 | 6201 5372 15 | 0.459 % |
33.33/33.46 c | 354722 | 219 874 2622 | 6201 5483 15 | 0.459 % |
33.33/33.47 c | 354843 | 219 874 2622 | 6201 5604 15 | 0.459 % |
33.33/33.48 c | 354976 | 219 874 2622 | 6201 5737 15 | 0.457 % |
33.43/33.50 c | 355123 | 219 874 2622 | 6201 5884 15 | 0.457 % |
33.43/33.51 c | 355284 | 219 874 2622 | 6201 6045 15 | 0.459 % |
33.43/33.52 c | 355461 | 219 874 2622 | 6201 6222 15 | 0.457 % |
33.43/33.54 c | 355654 | 219 874 2622 | 6201 5508 15 | 0.457 % |
33.43/33.55 c | 355866 | 219 874 2622 | 6201 5720 15 | 0.459 % |
33.43/33.58 c | 356099 | 219 874 2622 | 6201 5953 16 | 0.459 % |
33.43/33.60 c | 356355 | 219 874 2622 | 6201 6209 16 | 0.459 % |
33.53/33.62 c | 356638 | 219 874 2622 | 6201 5564 15 | 0.457 % |
33.53/33.64 c | 356949 | 219 874 2622 | 6201 5875 15 | 0.457 % |
33.53/33.67 c | 357289 | 219 874 2622 | 6201 6215 16 | 0.459 % |
33.63/33.70 c | 357661 | 219 874 2622 | 6201 5647 16 | 0.459 % |
33.63/33.73 c | 358070 | 219 874 2622 | 6201 6056 16 | 0.459 % |
33.63/33.77 c | 358520 | 219 874 2622 | 6201 5571 16 | 0.457 % |
33.73/33.80 c | 359016 | 219 874 2622 | 6201 6067 16 | 0.459 % |
33.73/33.85 c | 359559 | 219 874 2622 | 6201 5674 16 | 0.459 % |
33.83/33.90 c | 360156 | 219 874 2622 | 6116 5331 16 | 0.459 % |
33.83/33.96 c | 360811 | 219 874 2622 | 6116 5986 16 | 0.459 % |
33.93/34.01 c | 361532 | 219 874 2622 | 6116 5720 16 | 0.457 % |
33.93/34.08 c | 362324 | 219 874 2622 | 6116 5546 16 | 0.457 % |
34.03/34.15 c | 363196 | 219 874 2622 | 6116 5481 16 | 0.459 % |
34.13/34.22 c | 364155 | 219 874 2622 | 6116 5520 16 | 0.459 % |
34.23/34.30 c | 365209 | 219 874 2622 | 6116 5646 16 | 0.457 % |
34.23/34.38 c | 366369 | 219 874 2622 | 6116 5875 16 | 0.457 % |
34.33/34.48 c | 367642 | 219 874 2622 | 6116 5293 16 | 0.459 % |
34.42/34.58 c | 369043 | 219 874 2622 | 6116 5773 16 | 0.457 % |
34.52/34.69 c | 370583 | 219 874 2622 | 5815 5532 16 | 0.459 % |
34.72/34.80 c | 372278 | 219 874 2622 | 5815 5514 16 | 0.457 % |
34.82/34.93 c | 374142 | 219 874 2622 | 5815 5755 16 | 0.457 % |
34.92/35.10 c | 376192 | 219 874 2622 | 5815 5401 16 | 0.457 % |
35.13/35.27 c | 378446 | 219 874 2622 | 5815 5304 16 | 0.457 % |
35.32/35.45 c | 380925 | 219 874 2622 | 5270 4751 16 | 0.457 % |
35.52/35.65 c | 383650 | 219 874 2622 | 5270 4803 17 | 0.457 % |
35.72/35.87 c | 386648 | 219 874 2622 | 5270 4702 16 | 0.459 % |
36.02/36.13 c | 389946 | 219 874 2622 | 5270 5002 15 | 0.459 % |
36.23/36.39 c | 393571 | 219 874 2622 | 5056 5000 16 | 0.459 % |
36.32/36.40 c | 393672 | 219 874 2622 | 5056 4592 16 | 0.459 % |
36.32/36.40 c | 393783 | 219 874 2622 | 5056 4703 16 | 0.459 % |
36.32/36.41 c | 393905 | 219 874 2622 | 5056 4825 16 | 0.459 % |
36.32/36.42 c | 394039 | 219 874 2622 | 5056 4959 16 | 0.459 % |
36.32/36.44 c | 394186 | 219 874 2622 | 5056 4597 16 | 0.457 % |
36.32/36.44 c | 394347 | 219 874 2622 | 5056 4758 16 | 0.459 % |
36.32/36.46 c | 394523 | 219 874 2622 | 5056 4934 16 | 0.457 % |
36.32/36.47 c | 394717 | 219 874 2622 | 5056 4619 16 | 0.457 % |
36.32/36.48 c | 394930 | 219 874 2622 | 5056 4832 16 | 0.459 % |
36.42/36.50 c | 395164 | 219 874 2622 | 5056 5066 16 | 0.459 % |
36.42/36.52 c | 395421 | 219 874 2622 | 5056 4817 16 | 0.459 % |
36.42/36.54 c | 395702 | 219 874 2622 | 5056 4590 16 | 0.457 % |
36.42/36.57 c | 396011 | 219 874 2622 | 5056 4899 16 | 0.459 % |
36.42/36.59 c | 396351 | 219 874 2622 | 5056 4732 16 | 0.459 % |
36.52/36.62 c | 396724 | 219 874 2622 | 5056 4597 17 | 0.457 % |
36.52/36.64 c | 397135 | 219 874 2622 | 5056 5008 17 | 0.457 % |
36.52/36.68 c | 397584 | 219 874 2622 | 5056 4948 17 | 0.457 % |
36.62/36.71 c | 398079 | 219 874 2622 | 5056 4936 17 | 0.457 % |
36.62/36.75 c | 398623 | 219 874 2622 | 5056 4972 17 | 0.459 % |
36.62/36.79 c | 399219 | 219 874 2622 | 5056 5059 17 | 0.457 % |
36.72/36.84 c | 399875 | 219 874 2622 | 5056 4701 16 | 0.459 % |
36.72/36.89 c | 400596 | 219 874 2622 | 2147483647 5422 16 | 0.457 % |
36.82/36.94 c | 401388 | 219 874 2622 | 2147483647 6214 17 | 0.459 % |
36.92/37.01 c | 402260 | 219 874 2622 | 2147483647 7086 17 | 0.459 % |
36.92/37.10 c | 403218 | 219 874 2622 | 2147483647 8044 17 | 0.457 % |
37.12/37.20 c | 404271 | 219 874 2622 | 2147483647 9097 17 | 0.457 % |
37.22/37.32 c | 405430 | 219 874 2622 | 2147483647 10256 17 | 0.459 % |
37.32/37.45 c | 406704 | 219 874 2622 | 2147483647 11530 17 | 0.459 % |
37.42/37.59 c | 408104 | 219 874 2622 | 2147483647 12930 17 | 0.459 % |
37.62/37.77 c | 409645 | 219 874 2622 | 2147483647 14471 17 | 0.459 % |
37.82/37.98 c | 411339 | 219 874 2622 | 14826 12175 16 | 0.457 % |
38.02/38.16 c | 413204 | 219 874 2622 | 14826 14040 17 | 0.457 % |
38.22/38.39 c | 415253 | 219 874 2622 | 14826 11254 16 | 0.457 % |
38.52/38.62 c | 417506 | 219 874 2622 | 14826 13507 17 | 0.457 % |
38.92/39.00 c | 419985 | 219 874 2622 | 14826 10831 16 | 0.457 % |
39.12/39.26 c | 422713 | 219 874 2622 | 10848 9787 16 | 0.459 % |
39.42/39.53 c | 425712 | 219 874 2622 | 10848 9294 15 | 0.457 % |
39.72/39.84 c | 429008 | 219 874 2622 | 10848 9230 15 | 0.457 % |
40.02/40.14 c | 432635 | 219 874 2622 | 10223 9742 16 | 0.457 % |
40.42/40.52 c | 436622 | 219 874 2622 | 10223 7785 16 | 0.457 % |
40.42/40.53 c | 436723 | 219 874 2622 | 10223 7886 16 | 0.457 % |
40.42/40.54 c | 436834 | 219 874 2622 | 10223 7997 16 | 0.457 % |
40.42/40.55 c | 436956 | 219 874 2622 | 10223 8119 16 | 0.459 % |
40.42/40.56 c | 437090 | 219 874 2622 | 10223 8253 16 | 0.459 % |
40.42/40.57 c | 437237 | 219 874 2622 | 10223 8400 16 | 0.457 % |
40.42/40.58 c | 437397 | 219 874 2622 | 10223 8560 16 | 0.457 % |
40.42/40.60 c | 437574 | 219 874 2622 | 10223 8737 16 | 0.457 % |
40.52/40.61 c | 437767 | 219 874 2622 | 10223 8930 16 | 0.457 % |
40.52/40.63 c | 437980 | 219 874 2622 | 10223 9143 16 | 0.457 % |
40.52/40.65 c | 438215 | 219 874 2622 | 10223 9378 16 | 0.457 % |
40.52/40.68 c | 438471 | 219 874 2622 | 10223 9634 16 | 0.457 % |
40.52/40.70 c | 438753 | 219 874 2622 | 10223 9916 16 | 0.457 % |
40.62/40.73 c | 439062 | 219 874 2622 | 10223 10225 16 | 0.457 % |
40.62/40.76 c | 439402 | 219 874 2622 | 10223 7596 15 | 0.459 % |
40.62/40.79 c | 439774 | 219 874 2622 | 10223 7968 16 | 0.459 % |
40.72/40.83 c | 440185 | 219 874 2622 | 8195 6017 15 | 0.459 % |
40.72/40.86 c | 440636 | 219 874 2622 | 8195 6468 15 | 0.457 % |
40.82/40.90 c | 441130 | 219 874 2622 | 8195 6962 16 | 0.459 % |
40.82/40.95 c | 441672 | 219 874 2622 | 8195 7504 16 | 0.459 % |
40.82/40.99 c | 442270 | 219 874 2622 | 8195 8102 16 | 0.457 % |
40.92/41.05 c | 442926 | 219 874 2622 | 8195 6643 16 | 0.457 % |
41.02/41.11 c | 443646 | 219 874 2622 | 8195 7363 16 | 0.457 % |
41.02/41.17 c | 444438 | 219 874 2622 | 8195 8155 16 | 0.459 % |
41.12/41.25 c | 445310 | 219 874 2622 | 8195 6919 16 | 0.459 % |
41.22/41.33 c | 446268 | 219 874 2622 | 8195 7877 16 | 0.457 % |
41.32/41.41 c | 447321 | 219 874 2622 | 8195 6840 16 | 0.459 % |
41.32/41.50 c | 448479 | 219 874 2622 | 8195 7998 16 | 0.457 % |
41.41/41.60 c | 449753 | 219 874 2622 | 8195 7264 16 | 0.459 % |
41.62/41.71 c | 451153 | 219 874 2622 | 7512 6840 16 | 0.457 % |
41.72/41.83 c | 452693 | 219 874 2622 | 7512 6613 16 | 0.459 % |
41.81/41.95 c | 454387 | 219 874 2622 | 7512 6593 16 | 0.457 % |
41.91/42.09 c | 456251 | 219 874 2622 | 7512 6827 16 | 0.457 % |
42.11/42.24 c | 458301 | 219 874 2622 | 7512 7269 16 | 0.459 % |
42.31/42.41 c | 460554 | 219 874 2622 | 7406 6448 16 | 0.457 % |
42.41/42.59 c | 463033 | 219 874 2622 | 7406 7435 16 | 0.459 % |
42.61/42.78 c | 465759 | 219 874 2622 | 7406 7145 16 | 0.459 % |
42.91/43.02 c | 468756 | 219 874 2622 | 7406 7148 16 | 0.457 % |
43.11/43.29 c | 472052 | 219 874 2622 | 6902 6121 15 | 0.459 % |
43.41/43.57 c | 475679 | 219 874 2622 | 6902 5593 15 | 0.459 % |
43.71/43.88 c | 479667 | 219 874 2622 | 6902 6883 16 | 0.457 % |
44.11/44.20 c | 484053 | 219 874 2622 | 5891 5121 15 | 0.459 % |
44.11/44.21 c | 484155 | 219 874 2622 | 5891 5223 15 | 0.457 % |
44.11/44.21 c | 484266 | 219 874 2622 | 5891 5334 15 | 0.457 % |
44.11/44.22 c | 484387 | 219 874 2622 | 5891 5455 15 | 0.457 % |
44.11/44.23 c | 484520 | 219 874 2622 | 5891 5588 15 | 0.457 % |
44.11/44.25 c | 484666 | 219 874 2622 | 5891 5734 15 | 0.457 % |
44.11/44.26 c | 484827 | 219 874 2622 | 5891 5895 15 | 0.457 % |
44.11/44.27 c | 485004 | 219 874 2622 | 5891 5182 15 | 0.457 % |
44.11/44.29 c | 485197 | 219 874 2622 | 5891 5375 15 | 0.457 % |
44.21/44.30 c | 485410 | 219 874 2622 | 5891 5588 15 | 0.457 % |
44.21/44.32 c | 485643 | 219 874 2622 | 5891 5821 15 | 0.457 % |
44.21/44.34 c | 485900 | 219 874 2622 | 5891 5193 15 | 0.457 % |
44.21/44.36 c | 486182 | 219 874 2622 | 5891 5475 15 | 0.457 % |
44.21/44.38 c | 486492 | 219 874 2622 | 5891 5785 15 | 0.457 % |
44.21/44.40 c | 486833 | 219 874 2622 | 5891 5254 15 | 0.457 % |
44.31/44.42 c | 487206 | 219 874 2622 | 5891 5627 15 | 0.457 % |
44.31/44.44 c | 487615 | 219 874 2622 | 5891 5180 15 | 0.457 % |
44.31/44.48 c | 488064 | 219 874 2622 | 5891 5629 16 | 0.457 % |
44.41/44.51 c | 488557 | 219 874 2622 | 5891 5258 16 | 0.457 % |
44.41/44.55 c | 489099 | 219 874 2622 | 5891 5800 16 | 0.457 % |
44.41/44.59 c | 489696 | 219 874 2622 | 5891 5538 16 | 0.457 % |
44.51/44.64 c | 490351 | 219 874 2622 | 5843 5335 16 | 0.457 % |
44.51/44.69 c | 491072 | 219 874 2622 | 5843 5174 16 | 0.457 % |
44.61/44.76 c | 491864 | 219 874 2622 | 5843 5043 16 | 0.459 % |
44.71/44.83 c | 492736 | 219 874 2622 | 5843 4961 15 | 0.457 % |
44.81/44.91 c | 493694 | 219 874 2622 | 5843 4938 15 | 0.457 % |
44.81/45.00 c | 494747 | 219 874 2622 | 5843 5035 15 | 0.457 % |
44.92/45.08 c | 495905 | 219 874 2622 | 5843 5246 15 | 0.459 % |
45.02/45.17 c | 497178 | 219 874 2622 | 5843 5569 15 | 0.457 % |
45.11/45.28 c | 498579 | 219 874 2622 | 5843 5035 15 | 0.457 % |
45.21/45.38 c | 500120 | 219 874 2622 | 5501 4730 15 | 0.459 % |
45.31/45.49 c | 501814 | 219 874 2622 | 5501 4733 15 | 0.457 % |
45.51/45.62 c | 503678 | 219 874 2622 | 5501 4949 15 | 0.457 % |
45.61/45.73 c | 505728 | 219 874 2622 | 5501 5412 15 | 0.457 % |
45.71/45.87 c | 507982 | 219 874 2622 | 5501 5348 15 | 0.457 % |
45.91/46.04 c | 510460 | 219 874 2622 | 5083 4843 16 | 0.457 % |
46.11/46.22 c | 513185 | 219 874 2622 | 5083 4911 16 | 0.457 % |
46.31/46.41 c | 516183 | 219 874 2622 | 5083 4915 16 | 0.457 % |
46.51/46.63 c | 519479 | 219 874 2622 | 5083 4736 15 | 0.457 % |
46.71/46.87 c | 523104 | 219 874 2622 | 4682 4291 16 | 0.457 % |
47.01/47.15 c | 527091 | 219 874 2622 | 4682 4244 15 | 0.457 % |
47.31/47.42 c | 531477 | 219 874 2622 | 2147483647 5802 15 | 0.457 % |
47.71/47.82 c | 536300 | 219 874 2622 | 2147483647 10625 16 | 0.459 % |
47.71/47.83 c | 536402 | 219 874 2622 | 2147483647 10727 16 | 0.457 % |
47.71/47.84 c | 536513 | 219 874 2622 | 2147483647 10838 16 | 0.459 % |
47.71/47.85 c | 536635 | 219 874 2622 | 2147483647 10960 16 | 0.459 % |
47.71/47.87 c | 536768 | 219 874 2622 | 2147483647 11093 16 | 0.457 % |
47.71/47.88 c | 536916 | 219 874 2622 | 2147483647 11241 16 | 0.457 % |
47.71/47.90 c | 537076 | 219 874 2622 | 2147483647 11401 16 | 0.457 % |
47.81/47.92 c | 537252 | 219 874 2622 | 2147483647 11577 16 | 0.457 % |
47.81/47.94 c | 537446 | 219 874 2622 | 2147483647 11771 16 | 0.457 % |
47.81/47.96 c | 537659 | 219 874 2622 | 2147483647 11984 16 | 0.457 % |
47.81/47.99 c | 537893 | 219 874 2622 | 2147483647 12218 16 | 0.457 % |
47.91/48.01 c | 538150 | 219 874 2622 | 2147483647 12475 16 | 0.457 % |
47.91/48.04 c | 538431 | 219 874 2622 | 2147483647 12756 16 | 0.457 % |
47.91/48.07 c | 538740 | 219 874 2622 | 2147483647 13065 16 | 0.457 % |
48.01/48.10 c | 539079 | 219 874 2622 | 2147483647 13404 16 | 0.457 % |
48.01/48.15 c | 539452 | 219 874 2622 | 2147483647 13777 16 | 0.459 % |
48.11/48.20 c | 539861 | 219 874 2622 | 2147483647 14186 16 | 0.457 % |
48.11/48.26 c | 540310 | 219 874 2622 | 14325 10509 16 | 0.457 % |
48.21/48.32 c | 540804 | 219 874 2622 | 14325 11003 16 | 0.457 % |
48.21/48.37 c | 541348 | 219 874 2622 | 14325 11547 16 | 0.457 % |
48.31/48.43 c | 541945 | 219 874 2622 | 14325 12144 16 | 0.459 % |
48.31/48.49 c | 542600 | 219 874 2622 | 14325 12799 16 | 0.457 % |
48.41/48.56 c | 543320 | 219 874 2622 | 14325 13519 16 | 0.459 % |
48.51/48.66 c | 544112 | 219 874 2622 | 14325 14311 16 | 0.459 % |
48.61/48.77 c | 544983 | 219 874 2622 | 14325 10297 16 | 0.457 % |
48.71/48.86 c | 545941 | 219 874 2622 | 14325 11255 16 | 0.459 % |
48.81/48.97 c | 546994 | 219 874 2622 | 14325 12308 16 | 0.457 % |
49.01/49.10 c | 548152 | 219 874 2622 | 14325 13466 16 | 0.457 % |
49.11/49.26 c | 549426 | 219 874 2622 | 14325 9692 16 | 0.459 % |
49.31/49.42 c | 550826 | 219 874 2622 | 10266 7481 16 | 0.457 % |
49.41/49.55 c | 552367 | 219 874 2622 | 10266 9022 16 | 0.457 % |
49.61/49.70 c | 554061 | 219 874 2622 | 10266 7447 16 | 0.459 % |
49.71/49.85 c | 555924 | 219 874 2622 | 10266 9310 16 | 0.459 % |
49.91/50.03 c | 557973 | 219 874 2622 | 10266 8194 16 | 0.459 % |
50.11/50.24 c | 560227 | 219 874 2622 | 10221 7356 16 | 0.457 % |
50.31/50.43 c | 562705 | 219 874 2622 | 10221 9834 16 | 0.457 % |
50.51/50.66 c | 565430 | 219 874 2622 | 10221 9569 17 | 0.457 % |
50.81/50.96 c | 568427 | 219 874 2622 | 10221 9577 16 | 0.457 % |
51.11/51.24 c | 571724 | 219 874 2622 | 8151 7499 15 | 0.457 % |
51.41/51.55 c | 575349 | 219 874 2622 | 8151 6805 15 | 0.457 % |
51.71/51.88 c | 579336 | 219 874 2622 | 8151 6748 16 | 0.457 % |
52.10/52.28 c | 583721 | 219 874 2622 | 7412 5789 15 | 0.457 % |
52.50/52.69 c | 588544 | 219 874 2622 | 7412 7163 15 | 0.457 % |
53.00/53.11 c | 593849 | 219 874 2622 | 6937 6291 15 | 0.459 % |
53.00/53.12 c | 593949 | 219 874 2622 | 6937 6391 15 | 0.457 % |
53.00/53.13 c | 594059 | 219 874 2622 | 6937 6501 15 | 0.457 % |
53.00/53.14 c | 594182 | 219 874 2622 | 6937 6624 15 | 0.459 % |
53.00/53.15 c | 594315 | 219 874 2622 | 6937 6757 16 | 0.459 % |
53.00/53.16 c | 594461 | 219 874 2622 | 6937 6903 16 | 0.459 % |
53.00/53.18 c | 594621 | 219 874 2622 | 6937 5589 15 | 0.459 % |
53.00/53.19 c | 594797 | 219 874 2622 | 6937 5765 15 | 0.457 % |
53.10/53.20 c | 594991 | 219 874 2622 | 6937 5959 15 | 0.457 % |
53.10/53.22 c | 595204 | 219 874 2622 | 6937 6172 15 | 0.457 % |
53.10/53.24 c | 595437 | 219 874 2622 | 6937 6405 15 | 0.459 % |
53.10/53.25 c | 595694 | 219 874 2622 | 6937 6662 16 | 0.457 % |
53.10/53.28 c | 595976 | 219 874 2622 | 6937 6944 16 | 0.457 % |
53.20/53.30 c | 596285 | 219 874 2622 | 6937 5824 15 | 0.457 % |
53.20/53.32 c | 596624 | 219 874 2622 | 6937 6163 16 | 0.457 % |
53.20/53.35 c | 596996 | 219 874 2622 | 6937 6535 16 | 0.457 % |
53.20/53.39 c | 597405 | 219 874 2622 | 6937 6944 16 | 0.457 % |
53.30/53.43 c | 597855 | 219 874 2622 | 6937 5984 16 | 0.457 % |
53.30/53.45 c | 598348 | 219 874 2622 | 6937 6477 16 | 0.457 % |
53.40/53.50 c | 598890 | 219 874 2622 | 6937 5610 17 | 0.457 % |
53.40/53.55 c | 599487 | 219 874 2622 | 6937 6207 17 | 0.457 % |
53.50/53.60 c | 600142 | 219 874 2622 | 6720 5507 17 | 0.457 % |
53.50/53.65 c | 600862 | 219 874 2622 | 6720 6227 17 | 0.457 % |
53.60/53.71 c | 601655 | 219 874 2622 | 6720 5720 17 | 0.457 % |
53.60/53.78 c | 602526 | 219 874 2622 | 6720 6591 17 | 0.457 % |
53.71/53.85 c | 603485 | 219 874 2622 | 6720 6288 17 | 0.457 % |
53.81/53.93 c | 604540 | 219 874 2622 | 6720 6095 16 | 0.459 % |
53.90/54.02 c | 605699 | 219 874 2622 | 6720 6011 16 | 0.457 % |
54.00/54.13 c | 606972 | 219 874 2622 | 6720 6038 16 | 0.459 % |
54.10/54.25 c | 608373 | 219 874 2622 | 6720 6180 16 | 0.457 % |
54.20/54.36 c | 609914 | 219 874 2622 | 6720 6447 16 | 0.457 % |
54.40/54.51 c | 611609 | 219 874 2622 | 6533 5722 16 | 0.459 % |
54.50/54.63 c | 613472 | 219 874 2622 | 6533 6374 16 | 0.457 % |
54.60/54.77 c | 615523 | 219 874 2622 | 6533 6052 16 | 0.457 % |
54.81/54.96 c | 617776 | 219 874 2622 | 6533 5991 16 | 0.457 % |
55.00/55.15 c | 620254 | 219 874 2622 | 5892 5100 15 | 0.457 % |
55.20/55.36 c | 622980 | 219 874 2622 | 5892 5726 16 | 0.457 % |
55.50/55.60 c | 625977 | 219 874 2622 | 5892 5602 16 | 0.457 % |
55.70/55.86 c | 629273 | 219 874 2622 | 5892 5881 16 | 0.457 % |
56.00/56.12 c | 632898 | 219 874 2622 | 5610 4884 16 | 0.457 % |
56.29/56.45 c | 636885 | 219 874 2622 | 5610 5445 15 | 0.457 % |
56.59/56.76 c | 641270 | 219 874 2622 | 5241 4991 16 | 0.457 % |
57.00/57.11 c | 646093 | 219 874 2622 | 5241 4800 15 | 0.457 % |
57.29/57.49 c | 651400 | 219 874 2622 | 4856 4645 15 | 0.457 % |
57.79/57.90 c | 657235 | 219 874 2622 | 4856 4609 16 | 0.459 % |
57.79/57.91 c | 657335 | 219 874 2622 | 4856 4709 16 | 0.459 % |
57.79/57.91 c | 657446 | 219 874 2622 | 4856 4820 16 | 0.457 % |
57.79/57.92 c | 657569 | 219 874 2622 | 4856 4453 16 | 0.457 % |
57.79/57.93 c | 657702 | 219 874 2622 | 4856 4586 16 | 0.457 % |
57.79/57.94 c | 657848 | 219 874 2622 | 4856 4732 16 | 0.457 % |
57.79/57.95 c | 658008 | 219 874 2622 | 4856 4892 16 | 0.457 % |
57.79/57.97 c | 658187 | 219 874 2622 | 4856 4582 16 | 0.457 % |
57.79/57.98 c | 658380 | 219 874 2622 | 4856 4775 16 | 0.457 % |
57.79/57.99 c | 658592 | 219 874 2622 | 4856 4500 16 | 0.457 % |
57.89/58.01 c | 658825 | 219 874 2622 | 4856 4733 16 | 0.457 % |
57.89/58.02 c | 659082 | 219 874 2622 | 4856 4499 16 | 0.457 % |
57.89/58.04 c | 659364 | 219 874 2622 | 4856 4781 16 | 0.457 % |
57.89/58.07 c | 659674 | 219 874 2622 | 4856 4602 16 | 0.457 % |
57.89/58.09 c | 660013 | 219 874 2622 | 2147483647 4452 17 | 0.457 % |
57.99/58.12 c | 660386 | 219 874 2622 | 2147483647 4825 17 | 0.457 % |
57.99/58.15 c | 660796 | 219 874 2622 | 2147483647 5235 17 | 0.459 % |
57.99/58.18 c | 661245 | 219 874 2622 | 2147483647 5684 17 | 0.457 % |
58.10/58.22 c | 661739 | 219 874 2622 | 2147483647 6178 17 | 0.457 % |
58.10/58.26 c | 662282 | 219 874 2622 | 2147483647 6721 17 | 0.459 % |
58.20/58.31 c | 662878 | 219 874 2622 | 2147483647 7317 17 | 0.457 % |
58.20/58.37 c | 663534 | 219 874 2622 | 2147483647 7973 17 | 0.457 % |
58.29/58.43 c | 664254 | 219 874 2622 | 2147483647 8693 17 | 0.457 % |
58.29/58.50 c | 665046 | 219 874 2622 | 2147483647 9485 17 | 0.459 % |
58.39/58.59 c | 665917 | 219 874 2622 | 2147483647 10356 17 | 0.457 % |
58.59/58.70 c | 666875 | 219 874 2622 | 2147483647 11314 17 | 0.459 % |
58.69/58.82 c | 667929 | 219 874 2622 | 2147483647 12368 17 | 0.457 % |
58.79/58.97 c | 669088 | 219 874 2622 | 2147483647 13527 17 | 0.459 % |
58.99/59.13 c | 670362 | 219 874 2622 | 14442 10905 17 | 0.457 % |
59.09/59.27 c | 671762 | 219 874 2622 | 14442 12305 17 | 0.457 % |
59.29/59.42 c | 673303 | 219 874 2622 | 14442 13846 17 | 0.457 % |
59.39/59.59 c | 674998 | 219 874 2622 | 14442 10870 17 | 0.457 % |
59.59/59.77 c | 676861 | 219 874 2622 | 14442 12733 17 | 0.457 % |
59.79/59.99 c | 678911 | 219 874 2622 | 14442 10005 17 | 0.457 % |
59.99/60.19 c | 681164 | 219 874 2622 | 11096 8579 16 | 0.459 % |
60.29/60.41 c | 683642 | 219 874 2622 | 11096 11057 16 | 0.459 % |
60.49/60.70 c | 686368 | 219 874 2622 | 11096 10276 16 | 0.457 % |
60.89/61.00 c | 689366 | 219 874 2622 | 11096 9772 16 | 0.457 % |
61.19/61.33 c | 692664 | 219 874 2622 | 10406 9811 16 | 0.457 % |
61.49/61.68 c | 696290 | 219 874 2622 | 10406 10318 16 | 0.457 % |
61.89/62.05 c | 700278 | 219 874 2622 | 8038 6030 16 | 0.457 % |
62.19/62.39 c | 704664 | 219 874 2622 | 8038 6594 16 | 0.457 % |
62.69/62.88 c | 709489 | 219 874 2622 | 8038 7664 16 | 0.457 % |
63.19/63.38 c | 714795 | 219 874 2622 | 6289 5694 15 | 0.457 % |
63.69/63.86 c | 720632 | 219 874 2622 | 6284 5805 15 | 0.457 % |
64.19/64.33 c | 727051 | 219 874 2622 | 6284 5461 15 | 0.457 % |
64.19/64.33 c | 727151 | 219 874 2622 | 6284 5561 15 | 0.457 % |
64.19/64.34 c | 727261 | 219 874 2622 | 6284 5671 15 | 0.457 % |
64.19/64.34 c | 727382 | 219 874 2622 | 6284 5792 15 | 0.457 % |
64.19/64.35 c | 727515 | 219 874 2622 | 6284 5925 15 | 0.459 % |
64.19/64.36 c | 727661 | 219 874 2622 | 6284 6071 16 | 0.459 % |
64.19/64.37 c | 727821 | 219 874 2622 | 6284 6231 16 | 0.459 % |
64.19/64.39 c | 727997 | 219 874 2622 | 6284 5454 15 | 0.457 % |
64.29/64.40 c | 728192 | 219 874 2622 | 6284 5649 16 | 0.457 % |
64.29/64.42 c | 728404 | 219 874 2622 | 6284 5861 16 | 0.457 % |
64.29/64.43 c | 728638 | 219 874 2622 | 6284 6095 16 | 0.457 % |
64.29/64.45 c | 728894 | 219 874 2622 | 6284 5418 16 | 0.459 % |
64.29/64.47 c | 729176 | 219 874 2622 | 6284 5700 16 | 0.457 % |
64.29/64.48 c | 729485 | 219 874 2622 | 6284 6009 16 | 0.459 % |
64.39/64.51 c | 729824 | 219 874 2622 | 6284 5420 16 | 0.457 % |
64.39/64.53 c | 730196 | 219 874 2622 | 5597 4972 16 | 0.457 % |
64.39/64.55 c | 730605 | 219 874 2622 | 5597 5381 16 | 0.457 % |
64.39/64.59 c | 731054 | 219 874 2622 | 5597 5029 16 | 0.459 % |
64.49/64.61 c | 731548 | 219 874 2622 | 5597 5523 16 | 0.457 % |
64.49/64.65 c | 732090 | 219 874 2622 | 5597 5276 16 | 0.457 % |
64.49/64.70 c | 732686 | 219 874 2622 | 5597 5092 16 | 0.457 % |
64.59/64.74 c | 733341 | 219 874 2622 | 5597 5014 16 | 0.457 % |
64.59/64.79 c | 734061 | 219 874 2622 | 5597 5005 16 | 0.457 % |
64.69/64.87 c | 734854 | 219 874 2622 | 5597 5077 16 | 0.457 % |
64.79/64.93 c | 735725 | 219 874 2622 | 5597 5233 16 | 0.457 % |
64.88/65.01 c | 736683 | 219 874 2622 | 5597 5466 16 | 0.457 % |
64.98/65.10 c | 737737 | 219 874 2622 | 5597 5044 16 | 0.459 % |
64.98/65.18 c | 738895 | 219 874 2622 | 5597 5460 16 | 0.457 % |
65.08/65.28 c | 740168 | 219 874 2622 | 5068 4554 16 | 0.459 % |
65.18/65.37 c | 741568 | 219 874 2622 | 5068 4695 16 | 0.457 % |
65.28/65.47 c | 743108 | 219 874 2622 | 5068 5082 16 | 0.459 % |
65.38/65.60 c | 744803 | 219 874 2622 | 5068 4584 16 | 0.459 % |
65.58/65.73 c | 746667 | 219 874 2622 | 5068 4858 16 | 0.459 % |
65.68/65.88 c | 748716 | 219 874 2622 | 5068 4753 16 | 0.459 % |
65.89/66.04 c | 750970 | 219 874 2622 | 4971 4905 15 | 0.457 % |
66.08/66.21 c | 753448 | 219 874 2622 | 4971 4877 15 | 0.457 % |
66.28/66.41 c | 756174 | 219 874 2622 | 4971 4574 15 | 0.459 % |
66.48/66.61 c | 759171 | 219 874 2622 | 4971 4577 15 | 0.457 % |
66.68/66.85 c | 762467 | 219 874 2622 | 2147483647 7374 16 | 0.457 % |
66.99/67.19 c | 766093 | 219 874 2622 | 2147483647 11000 16 | 0.457 % |
67.48/67.66 c | 770080 | 219 874 2622 | 14907 10852 16 | 0.457 % |
67.98/68.12 c | 774465 | 219 874 2622 | 14907 10310 15 | 0.457 % |
68.48/68.66 c | 779289 | 219 874 2622 | 14907 9955 16 | 0.457 % |
68.98/69.16 c | 784594 | 219 874 2622 | 10667 8063 16 | 0.457 % |
69.48/69.64 c | 790429 | 219 874 2622 | 10086 7369 15 | 0.457 % |
69.98/70.18 c | 796847 | 219 874 2622 | 10086 7813 16 | 0.457 % |
70.58/70.75 c | 803907 | 219 874 2622 | 8033 7458 16 | 0.457 % |
70.58/70.76 c | 804008 | 219 874 2622 | 8033 7559 16 | 0.457 % |
70.58/70.76 c | 804118 | 219 874 2622 | 8033 7669 16 | 0.457 % |
70.58/70.77 c | 804240 | 219 874 2622 | 8033 7791 16 | 0.457 % |
70.58/70.78 c | 804373 | 219 874 2622 | 8033 7924 16 | 0.457 % |
70.58/70.79 c | 804519 | 219 874 2622 | 8033 8070 16 | 0.459 % |
70.68/70.81 c | 804679 | 219 874 2622 | 8033 6149 15 | 0.457 % |
70.68/70.82 c | 804856 | 219 874 2622 | 8033 6326 15 | 0.457 % |
70.68/70.84 c | 805050 | 219 874 2622 | 8033 6520 15 | 0.459 % |
70.68/70.86 c | 805263 | 219 874 2622 | 8033 6733 16 | 0.457 % |
70.68/70.87 c | 805496 | 219 874 2622 | 8033 6966 16 | 0.457 % |
70.68/70.89 c | 805753 | 219 874 2622 | 8033 7223 16 | 0.457 % |
70.78/70.91 c | 806035 | 219 874 2622 | 8033 7505 16 | 0.457 % |
70.78/70.93 c | 806344 | 219 874 2622 | 8033 7814 16 | 0.457 % |
70.78/70.96 c | 806684 | 219 874 2622 | 8033 6121 16 | 0.457 % |
70.78/70.98 c | 807058 | 219 874 2622 | 8033 6495 16 | 0.457 % |
70.88/71.01 c | 807468 | 219 874 2622 | 8033 6905 16 | 0.457 % |
70.88/71.04 c | 807918 | 219 874 2622 | 8033 7355 16 | 0.457 % |
70.88/71.08 c | 808411 | 219 874 2622 | 8033 7848 16 | 0.457 % |
70.98/71.13 c | 808955 | 219 874 2622 | 8033 6370 16 | 0.457 % |
70.98/71.18 c | 809552 | 219 874 2622 | 8033 6967 16 | 0.457 % |
71.08/71.24 c | 810207 | 219 874 2622 | 7415 5764 16 | 0.459 % |
71.08/71.28 c | 810928 | 219 874 2622 | 7415 6485 16 | 0.457 % |
71.18/71.34 c | 811720 | 219 874 2622 | 7415 7277 16 | 0.457 % |
71.28/71.40 c | 812591 | 219 874 2622 | 7415 6338 16 | 0.457 % |
71.28/71.47 c | 813550 | 219 874 2622 | 7415 7297 16 | 0.457 % |
71.38/71.55 c | 814603 | 219 874 2622 | 7415 6600 16 | 0.457 % |
71.48/71.65 c | 815761 | 219 874 2622 | 7415 6007 16 | 0.457 % |
71.58/71.74 c | 817034 | 219 874 2622 | 7415 7280 16 | 0.457 % |
71.68/71.85 c | 818434 | 219 874 2622 | 7415 6951 16 | 0.457 % |
71.78/71.95 c | 819976 | 219 874 2622 | 7415 6783 16 | 0.457 % |
71.88/72.08 c | 821670 | 219 874 2622 | 6807 5450 15 | 0.457 % |
72.08/72.21 c | 823533 | 219 874 2622 | 6807 5891 15 | 0.457 % |
72.18/72.34 c | 825582 | 219 874 2622 | 6807 6581 15 | 0.457 % |
72.38/72.52 c | 827835 | 219 874 2622 | 6807 6182 15 | 0.457 % |
72.57/72.70 c | 830314 | 219 874 2622 | 5775 5017 15 | 0.457 % |
72.67/72.88 c | 833040 | 219 874 2622 | 5775 4958 15 | 0.457 % |
72.87/73.07 c | 836038 | 219 874 2622 | 5775 5273 15 | 0.457 % |
73.17/73.32 c | 839334 | 219 874 2622 | 5775 5023 16 | 0.457 % |
73.37/73.54 c | 842959 | 219 874 2622 | 5689 5570 16 | 0.457 % |
73.67/73.80 c | 846947 | 219 874 2622 | 5689 5318 16 | 0.459 % |
73.97/74.11 c | 851333 | 219 874 2622 | 5266 5149 15 | 0.459 % |
74.07/74.24 c ===============================================================================
74.07/74.24 c restarts : 1124
74.07/74.24 c conflicts : 853449 (11516 /sec)
74.07/74.24 c decisions : 919729 (1.72 % random) (12410 /sec)
74.07/74.24 c propagations : 49545369 (668514 /sec)
74.07/74.24 c conflict literals : 14962483 (26.92 % deleted)
74.07/74.24 c Memory used : 4.80 MB
74.07/74.24 c CPU time : 74.1127 s
74.07/74.24 c
74.07/74.24 s SATISFIABLE
74.07/74.24 s SATISFIABLE
74.07/74.24 v -1 2 3 -4 -5 -6 7 8 9 -10 11 12 13 -14 -15 -16 -17 -18 19 -20 -21 22 23 -24 25 26 27 -28 29 30 31 -32 33 -34 35 36 37 -38 39 40 -41 -42 -43 44 -45 -46 47 48 49 50 51 -52 53 54 -55 56 -57 58 59 60 -61 -62 -63 -64 -65 -66 -67 68 -69 -70 -71 72 73 74 75 -76 77 78 -79 -80 81 -82 -83 -84 -85 86 -87 88 -89 -90 -91 92 93 94 95 -96 97 98 99 100 101 102 -103 104 105 -106 -107 108 -109 110 -111 -112 -113 -114 115 -116 117 -118 119 120 -121 -122 123 -124 125 -126 -127 -128 129 130 -131 132 133 134 -135 -136 137 -138 -139 140 -141 -142 143 144 -145 -146 -147 -148 -149 150 151 152 -153 -154 -155 -156 -157 158 159 -160 -161 -162 -163 164 -165 166 167 168 169 -170 171 172 173 174 -175 176 177 178 -179 180 -181 -182 183 -184 -185 186 187 -188 189 190 -191 192 193 194 -195 -196 -197 198 199 200 201 202 -203 -204 -205 -206 -207 -208 209 210 211 -212 213 -214 -215 216 217 -218 -219 -220 0
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832173-1242770143/watcher-1832173-1242770143 -o /tmp/evaluation-result-1832173-1242770143/solver-1832173-1242770143 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832173-1242770143.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 28669
/proc/meminfo: memFree=1897840/2055920 swapFree=4177008/4192956
[pid=28669] ppid=28667 vsize=5356 CPUtime=0
/proc/28669/stat : 28669 (SatELiteGTI) S 28667 28669 28415 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 305044629 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 228044013650 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/28669/statm: 1339 235 195 169 0 50 0
[pid=28670] ppid=28669 vsize=5356 CPUtime=0
/proc/28670/stat : 28670 (SatELiteGTI) S 28669 28669 28415 0 -1 4194368 51 25 0 0 0 0 0 0 19 0 1 0 305044629 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/28670/statm: 1339 238 198 169 0 50 0
[pid=28672] ppid=28670 vsize=1204 CPUtime=0
/proc/28672/stat : 28672 (sed) R 28670 28669 28415 0 -1 4194304 21 0 0 0 0 0 0 0 21 0 1 0 305044629 1232896 3 1992294400 0 0 548682069787 18446744073709551615 228043844903 0 0 4096 0 0 0 0 17 0 0 0
/proc/28672/statm: 46 11 6 11 0 9 0
[startup+0.0108041 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 28669
/proc/meminfo: memFree=1897840/2055920 swapFree=4177008/4192956
[pid=28669] ppid=28667 vsize=5356 CPUtime=0
/proc/28669/stat : 28669 (SatELiteGTI) R 28667 28669 28415 0 -1 4194304 314 376 0 0 0 0 0 0 19 0 1 0 305044629 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 228043450867 0 0 4100 65536 0 0 0 17 0 0 0
/proc/28669/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.102054 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 28669
/proc/meminfo: memFree=1897840/2055920 swapFree=4177008/4192956
[pid=28669] ppid=28667 vsize=5356 CPUtime=0
/proc/28669/stat : 28669 (SatELiteGTI) S 28667 28669 28415 0 -1 4194304 336 376 0 0 0 0 0 0 19 0 1 0 305044629 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28669/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301093 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 28669
/proc/meminfo: memFree=1897840/2055920 swapFree=4177008/4192956
[pid=28669] ppid=28667 vsize=5356 CPUtime=0
/proc/28669/stat : 28669 (SatELiteGTI) S 28667 28669 28415 0 -1 4194304 336 376 0 0 0 0 0 0 19 0 1 0 305044629 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28669/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701172 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 28669
/proc/meminfo: memFree=1897840/2055920 swapFree=4177008/4192956
[pid=28669] ppid=28667 vsize=5356 CPUtime=0
/proc/28669/stat : 28669 (SatELiteGTI) S 28667 28669 28415 0 -1 4194304 336 376 0 0 0 0 0 0 19 0 1 0 305044629 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28669/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50133 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 28675
/proc/meminfo: memFree=1896224/2055920 swapFree=4177008/4192956
[pid=28669] ppid=28667 vsize=5356 CPUtime=0
/proc/28669/stat : 28669 (SatELiteGTI) S 28667 28669 28415 0 -1 4194304 336 376 0 0 0 0 0 0 19 0 1 0 305044629 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28669/statm: 1339 239 197 169 0 50 0
[pid=28675] ppid=28669 vsize=3476 CPUtime=1.47
/proc/28675/stat : 28675 (minisat_static) R 28669 28669 28415 0 -1 4194304 525 0 0 0 147 0 0 0 25 0 1 0 305044630 3559424 511 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/28675/statm: 869 511 76 171 0 696 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 8832
[startup+3.10164 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 28675
/proc/meminfo: memFree=1895136/2055920 swapFree=4177008/4192956
[pid=28669] ppid=28667 vsize=5356 CPUtime=0
/proc/28669/stat : 28669 (SatELiteGTI) S 28667 28669 28415 0 -1 4194304 336 376 0 0 0 0 0 0 19 0 1 0 305044629 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28669/statm: 1339 239 197 169 0 50 0
[pid=28675] ppid=28669 vsize=4488 CPUtime=3.07
/proc/28675/stat : 28675 (minisat_static) R 28669 28669 28415 0 -1 4194304 766 0 0 0 307 0 0 0 25 0 1 0 305044630 4595712 752 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/28675/statm: 1122 752 76 171 0 949 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 9844
[startup+6.30127 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 28675
/proc/meminfo: memFree=1894432/2055920 swapFree=4177008/4192956
[pid=28669] ppid=28667 vsize=5356 CPUtime=0
/proc/28669/stat : 28669 (SatELiteGTI) S 28667 28669 28415 0 -1 4194304 336 376 0 0 0 0 0 0 19 0 1 0 305044629 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28669/statm: 1339 239 197 169 0 50 0
[pid=28675] ppid=28669 vsize=4620 CPUtime=6.27
/proc/28675/stat : 28675 (minisat_static) R 28669 28669 28415 0 -1 4194304 808 0 0 0 627 0 0 0 25 0 1 0 305044630 4730880 794 1992294400 134512640 135215339 4294956240 18446744073709551615 134538518 0 0 4096 3 0 0 0 17 0 0 0
/proc/28675/statm: 1155 794 76 171 0 982 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 9976
[startup+12.7015 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 28675
/proc/meminfo: memFree=1894312/2055920 swapFree=4177008/4192956
[pid=28669] ppid=28667 vsize=5356 CPUtime=0
/proc/28669/stat : 28669 (SatELiteGTI) S 28667 28669 28415 0 -1 4194304 336 376 0 0 0 0 0 0 19 0 1 0 305044629 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28669/statm: 1339 239 197 169 0 50 0
[pid=28675] ppid=28669 vsize=4752 CPUtime=12.65
/proc/28675/stat : 28675 (minisat_static) R 28669 28669 28415 0 -1 4194304 815 0 0 0 1265 0 0 0 25 0 1 0 305044630 4866048 801 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/28675/statm: 1188 801 76 171 0 1015 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 10108
[startup+25.502 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 28675
/proc/meminfo: memFree=1894248/2055920 swapFree=4177008/4192956
[pid=28669] ppid=28667 vsize=5356 CPUtime=0
/proc/28669/stat : 28669 (SatELiteGTI) S 28667 28669 28415 0 -1 4194304 336 376 0 0 0 0 0 0 19 0 1 0 305044629 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28669/statm: 1339 239 197 169 0 50 0
[pid=28675] ppid=28669 vsize=4752 CPUtime=25.44
/proc/28675/stat : 28675 (minisat_static) R 28669 28669 28415 0 -1 4194304 815 0 0 0 2543 1 0 0 25 0 1 0 305044630 4866048 801 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/28675/statm: 1188 801 76 171 0 1015 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 10108
[startup+51.102 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 28675
/proc/meminfo: memFree=1894184/2055920 swapFree=4177008/4192956
[pid=28669] ppid=28667 vsize=5356 CPUtime=0
/proc/28669/stat : 28669 (SatELiteGTI) S 28667 28669 28415 0 -1 4194304 336 376 0 0 0 0 0 0 19 0 1 0 305044629 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28669/statm: 1339 239 197 169 0 50 0
[pid=28675] ppid=28669 vsize=4752 CPUtime=51.01
/proc/28675/stat : 28675 (minisat_static) R 28669 28669 28415 0 -1 4194304 845 0 0 0 5100 1 0 0 25 0 1 0 305044630 4866048 831 1992294400 134512640 135215339 4294956240 18446744073709551615 134525027 0 0 4096 3 0 0 0 17 0 0 0
/proc/28675/statm: 1188 831 76 171 0 1015 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 10108
Solver just ended. Dumping a history of the last processes samples
[startup+63.9015 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 28675
/proc/meminfo: memFree=1894184/2055920 swapFree=4177008/4192956
[pid=28669] ppid=28667 vsize=5356 CPUtime=0
/proc/28669/stat : 28669 (SatELiteGTI) S 28667 28669 28415 0 -1 4194304 336 376 0 0 0 0 0 0 19 0 1 0 305044629 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28669/statm: 1339 239 197 169 0 50 0
[pid=28675] ppid=28669 vsize=4752 CPUtime=63.79
/proc/28675/stat : 28675 (minisat_static) R 28669 28669 28415 0 -1 4194304 845 0 0 0 6378 1 0 0 25 0 1 0 305044630 4866048 831 1992294400 134512640 135215339 4294956240 18446744073709551615 134537944 0 0 4096 3 0 0 0 17 0 0 0
/proc/28675/statm: 1188 831 76 171 0 1015 0
Current children cumulated CPU time (s) 63.79
Current children cumulated vsize (KiB) 10108
[startup+70.3018 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 28675
/proc/meminfo: memFree=1894120/2055920 swapFree=4177008/4192956
[pid=28669] ppid=28667 vsize=5356 CPUtime=0
/proc/28669/stat : 28669 (SatELiteGTI) S 28667 28669 28415 0 -1 4194304 336 376 0 0 0 0 0 0 19 0 1 0 305044629 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28669/statm: 1339 239 197 169 0 50 0
[pid=28675] ppid=28669 vsize=4908 CPUtime=70.18
/proc/28675/stat : 28675 (minisat_static) R 28669 28669 28415 0 -1 4194304 852 0 0 0 7017 1 0 0 25 0 1 0 305044630 5025792 838 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 0 0 0
/proc/28675/statm: 1227 838 76 171 0 1054 0
Current children cumulated CPU time (s) 70.18
Current children cumulated vsize (KiB) 10264
[startup+71.9011 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 28675
/proc/meminfo: memFree=1894120/2055920 swapFree=4177008/4192956
[pid=28669] ppid=28667 vsize=5356 CPUtime=0
/proc/28669/stat : 28669 (SatELiteGTI) S 28667 28669 28415 0 -1 4194304 336 376 0 0 0 0 0 0 19 0 1 0 305044629 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28669/statm: 1339 239 197 169 0 50 0
[pid=28675] ppid=28669 vsize=4908 CPUtime=71.78
/proc/28675/stat : 28675 (minisat_static) R 28669 28669 28415 0 -1 4194304 852 0 0 0 7177 1 0 0 25 0 1 0 305044630 5025792 838 1992294400 134512640 135215339 4294956240 18446744073709551615 134528688 0 0 4096 3 0 0 0 17 0 0 0
/proc/28675/statm: 1227 838 76 171 0 1054 0
Current children cumulated CPU time (s) 71.78
Current children cumulated vsize (KiB) 10264
[startup+73.5014 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 28675
/proc/meminfo: memFree=1894120/2055920 swapFree=4177008/4192956
[pid=28669] ppid=28667 vsize=5356 CPUtime=0
/proc/28669/stat : 28669 (SatELiteGTI) S 28667 28669 28415 0 -1 4194304 336 376 0 0 0 0 0 0 19 0 1 0 305044629 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28669/statm: 1339 239 197 169 0 50 0
[pid=28675] ppid=28669 vsize=4908 CPUtime=73.37
/proc/28675/stat : 28675 (minisat_static) R 28669 28669 28415 0 -1 4194304 852 0 0 0 7336 1 0 0 25 0 1 0 305044630 5025792 838 1992294400 134512640 135215339 4294956240 18446744073709551615 134529085 0 0 4096 3 0 0 0 17 0 0 0
/proc/28675/statm: 1227 838 76 171 0 1054 0
Current children cumulated CPU time (s) 73.37
Current children cumulated vsize (KiB) 10264
[startup+73.9015 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 28675
/proc/meminfo: memFree=1894120/2055920 swapFree=4177008/4192956
[pid=28669] ppid=28667 vsize=5356 CPUtime=0
/proc/28669/stat : 28669 (SatELiteGTI) S 28667 28669 28415 0 -1 4194304 336 376 0 0 0 0 0 0 19 0 1 0 305044629 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28669/statm: 1339 239 197 169 0 50 0
[pid=28675] ppid=28669 vsize=4908 CPUtime=73.77
/proc/28675/stat : 28675 (minisat_static) R 28669 28669 28415 0 -1 4194304 852 0 0 0 7376 1 0 0 25 0 1 0 305044630 5025792 838 1992294400 134512640 135215339 4294956240 18446744073709551615 134525112 0 0 4096 3 0 0 0 17 0 0 0
/proc/28675/statm: 1227 838 76 171 0 1054 0
Current children cumulated CPU time (s) 73.77
Current children cumulated vsize (KiB) 10264
[startup+74.1015 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 28675
/proc/meminfo: memFree=1894120/2055920 swapFree=4177008/4192956
[pid=28669] ppid=28667 vsize=5356 CPUtime=0
/proc/28669/stat : 28669 (SatELiteGTI) S 28667 28669 28415 0 -1 4194304 336 376 0 0 0 0 0 0 19 0 1 0 305044629 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28669/statm: 1339 239 197 169 0 50 0
[pid=28675] ppid=28669 vsize=4908 CPUtime=73.97
/proc/28675/stat : 28675 (minisat_static) R 28669 28669 28415 0 -1 4194304 852 0 0 0 7396 1 0 0 25 0 1 0 305044630 5025792 838 1992294400 134512640 135215339 4294956240 18446744073709551615 134528875 0 0 4096 3 0 0 0 17 0 0 0
/proc/28675/statm: 1227 838 76 171 0 1054 0
Current children cumulated CPU time (s) 73.97
Current children cumulated vsize (KiB) 10264
[startup+74.2016 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 28675
/proc/meminfo: memFree=1894120/2055920 swapFree=4177008/4192956
[pid=28669] ppid=28667 vsize=5356 CPUtime=0
/proc/28669/stat : 28669 (SatELiteGTI) S 28667 28669 28415 0 -1 4194304 336 376 0 0 0 0 0 0 19 0 1 0 305044629 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28669/statm: 1339 239 197 169 0 50 0
[pid=28675] ppid=28669 vsize=4908 CPUtime=74.07
/proc/28675/stat : 28675 (minisat_static) R 28669 28669 28415 0 -1 4194304 852 0 0 0 7406 1 0 0 25 0 1 0 305044630 5025792 838 1992294400 134512640 135215339 4294956240 18446744073709551615 134528627 0 0 4096 3 0 0 0 17 0 0 0
/proc/28675/statm: 1227 838 76 171 0 1054 0
Current children cumulated CPU time (s) 74.07
Current children cumulated vsize (KiB) 10264
Child status: 10
Real time (s): 74.2525
CPU time (s): 74.1467
CPU user time (s): 74.1187
CPU system time (s): 0.027995
CPU usage (%): 99.8575
Max. virtual memory (cumulated for all children) (KiB): 10264
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 74.1187
system time used= 0.027995
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1849
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= 49
involuntary context switches= 2336
runsolver used 0.088986 second user time and 0.252961 second system time
The end
Begin job on node77 at 2009-05-19 23:55:43
IDJOB=1832173
IDBENCH=24604
IDSOLVER=671
FILE ID=node77/1832173-1242770143
PBS_JOBID= 9322226
Free space on /tmp= 66216 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT07/crafted/Medium/contest05/jarvisalo/mod2-rand3bip-sat-220-1.sat05-2173.reshuffled-07.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832173-1242770143/watcher-1832173-1242770143 -o /tmp/evaluation-result-1832173-1242770143/solver-1832173-1242770143 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832173-1242770143.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= ce96de70272a2ecfcbbf1c8e965c8e57
RANDOM SEED=1912880590
node77.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: 1898320 kB
Buffers: 12632 kB
Cached: 105824 kB
SwapCached: 10200 kB
Active: 31896 kB
Inactive: 98444 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1898320 kB
SwapTotal: 4192956 kB
SwapFree: 4177008 kB
Dirty: 1608 kB
Writeback: 0 kB
Mapped: 17012 kB
Slab: 13272 kB
Committed_AS: 1067508 kB
PageTables: 1384 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= 66212 MiB
End job on node77 at 2009-05-19 23:56:57