0.00/0.01 c Parsing...
0.00/0.01 c ==============================================================================
0.00/0.01 c | | ORIGINAL | LEARNT | |
0.00/0.01 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.01 c ==============================================================================
0.00/0.01 c | 0 | 1530 4590 | 458 0 0 nan | 0.000 % |
0.00/0.01 c | 0 | 1520 4618 | -- 0 -- -- | -- | -10/28
0.00/0.01 c ==============================================================================
0.00/0.01 c Result : #vars: 351 #clauses: 1520 #literals: 4618
0.00/0.01 c CPU time: 0.003999 s
0.00/0.01 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: 351 |
0.00/0.01 c | Number of clauses: 1520 |
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 | 351 1520 4618 | 506 0 nan | 0.000 % |
0.00/0.02 c | 100 | 351 1520 4618 | 506 100 22 | 0.001 % |
0.00/0.02 c | 201 | 351 1520 4618 | 506 201 20 | 0.001 % |
0.00/0.02 c | 301 | 351 1520 4618 | 506 301 19 | 0.001 % |
0.00/0.03 c | 411 | 351 1520 4618 | 506 411 19 | 0.001 % |
0.00/0.03 c | 512 | 351 1520 4618 | 506 512 19 | 0.001 % |
0.00/0.03 c | 625 | 351 1520 4618 | 506 523 18 | 0.001 % |
0.00/0.04 c | 749 | 351 1520 4618 | 506 547 17 | 0.001 % |
0.00/0.04 c | 849 | 351 1520 4618 | 506 489 17 | 0.001 % |
0.00/0.04 c | 960 | 351 1520 4618 | 506 495 17 | 0.001 % |
0.00/0.05 c | 1081 | 351 1520 4618 | 506 563 17 | 0.001 % |
0.00/0.05 c | 1215 | 351 1520 4618 | 506 539 17 | 0.001 % |
0.00/0.05 c | 1318 | 351 1520 4618 | 506 536 17 | 0.001 % |
0.00/0.06 c | 1428 | 351 1520 4618 | 506 540 16 | 0.001 % |
0.00/0.06 c | 1550 | 351 1520 4618 | 506 504 16 | 0.001 % |
0.00/0.07 c | 1684 | 351 1520 4618 | 506 532 16 | 0.001 % |
0.00/0.07 c | 1830 | 351 1520 4618 | 506 519 16 | 0.001 % |
0.00/0.07 c | 1931 | 351 1520 4618 | 506 517 16 | 0.001 % |
0.00/0.08 c | 2041 | 351 1520 4618 | 506 524 17 | 0.001 % |
0.00/0.08 c | 2162 | 351 1520 4618 | 506 541 16 | 0.001 % |
0.00/0.09 c | 2297 | 351 1520 4618 | 506 519 16 | 0.001 % |
0.00/0.09 c | 2443 | 351 1520 4618 | 506 511 15 | 0.001 % |
0.00/0.10 c | 2603 | 351 1520 4618 | 506 512 16 | 0.001 % |
0.00/0.10 c | 2703 | 351 1520 4618 | 506 509 15 | 0.001 % |
0.00/0.10 c | 2814 | 351 1520 4618 | 506 517 15 | 0.001 % |
0.00/0.11 c | 2938 | 351 1520 4618 | 506 487 14 | 0.001 % |
0.00/0.11 c | 3071 | 351 1520 4618 | 506 512 14 | 0.001 % |
0.00/0.12 c | 3220 | 351 1520 4618 | 506 508 14 | 0.001 % |
0.00/0.12 c | 3380 | 351 1520 4618 | 506 515 15 | 0.001 % |
0.00/0.13 c | 3556 | 351 1520 4618 | 506 539 14 | 0.001 % |
0.00/0.13 c | 3656 | 351 1520 4618 | 506 534 14 | 0.001 % |
0.00/0.13 c | 3766 | 351 1520 4618 | 506 540 14 | 0.001 % |
0.00/0.14 c | 3887 | 351 1520 4618 | 506 503 14 | 0.001 % |
0.00/0.14 c | 4020 | 351 1520 4618 | 506 531 14 | 0.001 % |
0.00/0.15 c | 4166 | 351 1520 4618 | 506 518 14 | 0.001 % |
0.00/0.15 c | 4326 | 351 1520 4618 | 506 524 14 | 0.001 % |
0.00/0.16 c | 4507 | 351 1520 4618 | 506 549 14 | 0.001 % |
0.00/0.16 c | 4701 | 351 1520 4618 | 506 534 14 | 0.001 % |
0.00/0.17 c | 4802 | 351 1520 4618 | 506 530 14 | 0.001 % |
0.00/0.17 c | 4914 | 351 1520 4618 | 506 536 14 | 0.001 % |
0.00/0.18 c | 5037 | 351 1520 4618 | 506 552 15 | 0.001 % |
0.00/0.18 c | 5170 | 351 1520 4618 | 506 528 15 | 0.001 % |
0.00/0.18 c | 5317 | 351 1520 4618 | 506 520 14 | 0.001 % |
0.00/0.19 c | 5477 | 351 1520 4618 | 506 525 14 | 0.001 % |
0.00/0.20 c | 5653 | 351 1520 4618 | 506 493 14 | 0.001 % |
0.00/0.20 c | 5846 | 351 1520 4618 | 506 530 14 | 0.001 % |
0.00/0.21 c | 6058 | 351 1520 4618 | 506 481 13 | 0.001 % |
0.00/0.21 c | 6159 | 351 1520 4618 | 506 529 14 | 0.001 % |
0.00/0.22 c | 6270 | 351 1520 4618 | 506 486 13 | 0.001 % |
0.00/0.22 c | 6391 | 351 1520 4618 | 506 504 13 | 0.001 % |
0.00/0.22 c | 6526 | 351 1520 4618 | 506 535 14 | 0.001 % |
0.00/0.23 c | 6672 | 351 1520 4618 | 506 524 14 | 0.001 % |
0.00/0.23 c | 6832 | 351 1520 4618 | 506 527 14 | 0.001 % |
0.00/0.24 c | 7008 | 351 1520 4618 | 506 546 14 | 0.001 % |
0.00/0.25 c | 7201 | 351 1520 4618 | 506 529 13 | 0.001 % |
0.00/0.25 c | 7413 | 351 1520 4618 | 506 484 13 | 0.001 % |
0.00/0.26 c | 7649 | 351 1520 4618 | 506 511 14 | 0.001 % |
0.00/0.26 c | 7749 | 351 1520 4618 | 506 506 14 | 0.001 % |
0.00/0.27 c | 7859 | 351 1520 4618 | 506 515 14 | 0.001 % |
0.00/0.27 c | 7981 | 351 1520 4618 | 506 533 14 | 0.001 % |
0.00/0.28 c | 8114 | 351 1520 4618 | 506 511 13 | 0.001 % |
0.00/0.28 c | 8261 | 351 1520 4618 | 506 555 14 | 0.001 % |
0.00/0.29 c | 8421 | 351 1520 4618 | 506 504 14 | 0.001 % |
0.00/0.29 c | 8598 | 351 1520 4618 | 506 523 14 | 0.001 % |
0.00/0.30 c | 8791 | 351 1520 4618 | 506 560 14 | 0.001 % |
0.00/0.30 c | 9004 | 351 1520 4618 | 506 506 14 | 0.001 % |
0.00/0.31 c | 9238 | 351 1520 4618 | 506 536 14 | 0.001 % |
0.00/0.32 c | 9494 | 351 1520 4618 | 506 532 14 | 0.001 % |
0.00/0.32 c | 9594 | 351 1520 4618 | 506 526 15 | 0.001 % |
0.00/0.33 c | 9706 | 351 1520 4618 | 506 531 14 | 0.001 % |
0.00/0.33 c | 9827 | 351 1520 4618 | 506 495 13 | 0.001 % |
0.00/0.34 c | 9960 | 351 1520 4618 | 506 524 13 | 0.001 % |
0.00/0.34 c | 10107 | 351 1520 4618 | 2147483647 619 14 | 0.001 % |
0.00/0.35 c | 10267 | 351 1520 4618 | 2147483647 779 15 | 0.001 % |
0.00/0.35 c | 10446 | 351 1520 4618 | 2147483647 958 15 | 0.001 % |
0.00/0.36 c | 10639 | 351 1520 4618 | 2147483647 1151 16 | 0.001 % |
0.00/0.37 c | 10851 | 351 1520 4618 | 2147483647 1363 16 | 0.001 % |
0.00/0.37 c | 11084 | 351 1520 4618 | 2147483647 1596 16 | 0.001 % |
0.00/0.38 c | 11341 | 351 1520 4618 | 2147483647 1853 16 | 0.001 % |
0.00/0.39 c | 11622 | 351 1520 4618 | 2147483647 2134 16 | 0.001 % |
0.00/0.40 c | 11725 | 351 1520 4618 | 2147483647 2237 16 | 0.001 % |
0.00/0.40 c | 11835 | 351 1520 4618 | 2147483647 2347 17 | 0.001 % |
0.00/0.41 c | 11956 | 351 1520 4618 | 2147483647 2468 16 | 0.001 % |
0.00/0.42 c | 12090 | 351 1520 4618 | 2147483647 2602 16 | 0.001 % |
0.00/0.42 c | 12236 | 351 1520 4618 | 2147483647 2748 16 | 0.001 % |
0.00/0.43 c | 12396 | 351 1520 4618 | 2147483647 2908 17 | 0.001 % |
0.00/0.44 c | 12573 | 351 1520 4618 | 2147483647 3085 17 | 0.001 % |
0.00/0.45 c | 12766 | 351 1520 4618 | 2147483647 3278 17 | 0.001 % |
0.00/0.46 c | 12978 | 351 1520 4618 | 2147483647 3490 17 | 0.001 % |
0.00/0.47 c | 13212 | 351 1520 4618 | 2147483647 3724 17 | 0.001 % |
0.00/0.48 c | 13468 | 351 1520 4618 | 2147483647 3980 17 | 0.001 % |
0.00/0.50 c | 13749 | 351 1520 4618 | 2147483647 4261 17 | 0.001 % |
0.00/0.52 c | 14060 | 351 1520 4618 | 2147483647 4572 17 | 0.001 % |
0.00/0.52 c | 14160 | 351 1520 4618 | 2147483647 4672 17 | 0.001 % |
0.00/0.53 c | 14270 | 351 1520 4618 | 2147483647 4782 17 | 0.001 % |
0.00/0.54 c | 14391 | 351 1520 4618 | 2147483647 4903 17 | 0.001 % |
0.00/0.54 c | 14524 | 351 1520 4618 | 2147483647 5036 17 | 0.001 % |
0.00/0.55 c | 14670 | 351 1520 4618 | 2147483647 5182 17 | 0.001 % |
0.00/0.57 c | 14830 | 351 1520 4618 | 2147483647 5342 17 | 0.001 % |
0.00/0.58 c | 15007 | 351 1520 4618 | 2147483647 5519 17 | 0.001 % |
0.00/0.59 c | 15200 | 351 1520 4618 | 2147483647 5712 17 | 0.001 % |
0.00/0.60 c | 15412 | 351 1520 4618 | 2147483647 5924 17 | 0.001 % |
0.00/0.62 c | 15645 | 351 1520 4618 | 2147483647 6157 17 | 0.001 % |
0.00/0.64 c | 15902 | 351 1520 4618 | 2147483647 6414 17 | 0.001 % |
0.00/0.66 c | 16184 | 351 1520 4618 | 2147483647 6696 17 | 0.001 % |
0.00/0.68 c | 16495 | 351 1520 4618 | 2147483647 7007 17 | 0.001 % |
0.00/0.70 c | 16834 | 351 1520 4618 | 2147483647 7346 17 | 0.001 % |
0.00/0.71 c | 16935 | 351 1520 4618 | 2147483647 7447 17 | 0.001 % |
0.00/0.72 c | 17045 | 351 1520 4618 | 2147483647 7557 17 | 0.001 % |
0.00/0.73 c | 17166 | 351 1520 4618 | 2147483647 7678 17 | 0.001 % |
0.00/0.74 c | 17300 | 351 1520 4618 | 2147483647 7812 17 | 0.001 % |
0.00/0.75 c | 17446 | 351 1520 4618 | 2147483647 7958 17 | 0.001 % |
0.00/0.76 c | 17607 | 351 1520 4618 | 2147483647 8119 17 | 0.001 % |
0.00/0.78 c | 17783 | 351 1520 4618 | 2147483647 8295 17 | 0.001 % |
0.00/0.79 c | 17976 | 351 1520 4618 | 2147483647 8488 17 | 0.001 % |
0.00/0.81 c | 18188 | 351 1520 4618 | 2147483647 8700 17 | 0.001 % |
0.00/0.83 c | 18422 | 351 1520 4618 | 2147483647 8934 18 | 0.001 % |
0.00/0.85 c | 18679 | 351 1520 4618 | 2147483647 9191 18 | 0.001 % |
0.00/0.87 c | 18960 | 351 1520 4618 | 2147483647 9472 18 | 0.001 % |
0.00/0.90 c | 19269 | 351 1520 4618 | 2147483647 9781 18 | 0.001 % |
0.00/0.93 c | 19612 | 351 1520 4618 | 2147483647 10124 18 | 0.001 % |
0.00/0.96 c | 19984 | 351 1520 4618 | 2147483647 10496 18 | 0.001 % |
0.00/0.97 c | 20084 | 351 1520 4618 | 2147483647 10596 18 | 0.001 % |
0.00/0.98 c | 20195 | 351 1520 4618 | 2147483647 10707 18 | 0.001 % |
0.00/1.00 c | 20317 | 351 1520 4618 | 2147483647 10829 18 | 0.001 % |
0.97/1.01 c | 20453 | 351 1520 4618 | 2147483647 10965 18 | 0.001 % |
0.97/1.02 c | 20600 | 351 1520 4618 | 2147483647 11112 18 | 0.001 % |
0.97/1.04 c | 20760 | 351 1520 4618 | 2147483647 11272 18 | 0.001 % |
0.97/1.05 c | 20937 | 351 1520 4618 | 2147483647 11449 18 | 0.001 % |
0.97/1.07 c | 21130 | 351 1520 4618 | 2147483647 11642 18 | 0.001 % |
0.97/1.10 c | 21342 | 351 1520 4618 | 2147483647 11854 18 | 0.001 % |
1.07/1.12 c | 21575 | 351 1520 4618 | 2147483647 12087 18 | 0.001 % |
1.07/1.14 c | 21831 | 351 1520 4618 | 2147483647 12343 18 | 0.001 % |
1.07/1.17 c | 22112 | 351 1520 4618 | 2147483647 12624 18 | 0.001 % |
1.17/1.20 c | 22421 | 351 1520 4618 | 2147483647 12933 18 | 0.001 % |
1.17/1.24 c | 22763 | 351 1520 4618 | 2147483647 13275 18 | 0.001 % |
1.17/1.28 c | 23135 | 351 1520 4618 | 2147483647 13647 18 | 0.001 % |
1.27/1.33 c | 23546 | 351 1520 4618 | 2147483647 14058 18 | 0.001 % |
1.27/1.34 c | 23647 | 351 1520 4618 | 2147483647 14159 18 | 0.001 % |
1.27/1.35 c | 23757 | 351 1520 4618 | 2147483647 14269 18 | 0.001 % |
1.27/1.36 c | 23879 | 351 1520 4618 | 2147483647 14391 18 | 0.001 % |
1.27/1.38 c | 24012 | 351 1520 4618 | 2147483647 14524 18 | 0.001 % |
1.37/1.40 c | 24159 | 351 1520 4618 | 2147483647 14671 18 | 0.001 % |
1.37/1.42 c | 24320 | 351 1520 4618 | 2147483647 14832 18 | 0.001 % |
1.37/1.44 c | 24496 | 351 1520 4618 | 2147483647 15008 18 | 0.001 % |
1.37/1.46 c | 24689 | 351 1520 4618 | 2147483647 15201 18 | 0.001 % |
1.37/1.48 c | 24901 | 351 1520 4618 | 2147483647 15413 18 | 0.001 % |
1.46/1.51 c | 25135 | 351 1520 4618 | 2147483647 15647 18 | 0.001 % |
1.46/1.54 c | 25392 | 351 1520 4618 | 2147483647 15904 18 | 0.001 % |
1.46/1.57 c | 25674 | 351 1520 4618 | 2147483647 16186 18 | 0.001 % |
1.56/1.60 c | 25983 | 351 1520 4618 | 2147483647 16495 18 | 0.001 % |
1.56/1.64 c | 26323 | 351 1520 4618 | 2147483647 16835 18 | 0.001 % |
1.66/1.70 c | 26696 | 351 1520 4618 | 2147483647 17208 18 | 0.001 % |
1.66/1.75 c | 27106 | 351 1520 4618 | 2147483647 17618 18 | 0.001 % |
1.76/1.82 c | 27556 | 351 1520 4618 | 2147483647 18068 18 | 0.001 % |
1.76/1.84 c | 27656 | 351 1520 4618 | 2147483647 18168 18 | 0.001 % |
1.76/1.86 c | 27766 | 351 1520 4618 | 2147483647 18278 18 | 0.001 % |
1.76/1.88 c | 27887 | 351 1520 4618 | 2147483647 18399 18 | 0.001 % |
1.86/1.90 c | 28023 | 351 1520 4618 | 2147483647 18535 18 | 0.001 % |
1.86/1.93 c | 28169 | 351 1520 4618 | 2147483647 18681 18 | 0.001 % |
1.86/1.95 c | 28329 | 351 1520 4618 | 2147483647 18841 18 | 0.001 % |
1.86/1.98 c | 28508 | 351 1520 4618 | 2147483647 19020 18 | 0.001 % |
1.96/2.02 c | 28701 | 351 1520 4618 | 2147483647 19213 18 | 0.001 % |
1.96/2.05 c | 28913 | 351 1520 4618 | 2147483647 19425 18 | 0.001 % |
1.96/2.09 c | 29146 | 351 1520 4618 | 2147483647 19658 18 | 0.001 % |
2.07/2.14 c | 29402 | 351 1520 4618 | 2147483647 19914 18 | 0.001 % |
2.07/2.18 c | 29683 | 351 1520 4618 | 2147483647 20195 18 | 0.001 % |
2.17/2.23 c | 29992 | 351 1520 4618 | 2147483647 20504 18 | 0.001 % |
2.26/2.30 c | 30332 | 351 1520 4618 | 20512 18305 18 | 0.001 % |
2.26/2.36 c | 30705 | 351 1520 4618 | 20512 18678 18 | 0.001 % |
2.36/2.42 c | 31115 | 351 1520 4618 | 20512 19088 18 | 0.001 % |
2.36/2.50 c | 31565 | 351 1520 4618 | 20512 19538 18 | 0.001 % |
2.46/2.58 c | 32060 | 351 1520 4618 | 20512 20033 18 | 0.001 % |
2.46/2.60 c | 32162 | 351 1520 4618 | 20512 20135 18 | 0.001 % |
2.56/2.62 c | 32273 | 351 1520 4618 | 20512 20246 18 | 0.001 % |
2.56/2.64 c | 32396 | 351 1520 4618 | 20512 20369 18 | 0.001 % |
2.56/2.66 c | 32529 | 351 1520 4618 | 20512 20502 18 | 0.001 % |
2.56/2.70 c | 32675 | 351 1520 4618 | 20512 16394 18 | 0.001 % |
2.66/2.72 c | 32836 | 351 1520 4618 | 20512 16555 18 | 0.001 % |
2.66/2.74 c | 33012 | 351 1520 4618 | 20512 16731 18 | 0.001 % |
2.66/2.77 c | 33207 | 351 1520 4618 | 20512 16926 18 | 0.001 % |
2.66/2.80 c | 33420 | 351 1520 4618 | 20512 17139 18 | 0.001 % |
2.76/2.83 c | 33655 | 351 1520 4618 | 20512 17374 18 | 0.001 % |
2.76/2.86 c | 33911 | 351 1520 4618 | 20512 17630 18 | 0.001 % |
2.86/2.90 c | 34193 | 351 1520 4618 | 20512 17912 18 | 0.001 % |
2.86/2.95 c | 34502 | 351 1520 4618 | 20512 18221 18 | 0.001 % |
2.96/3.00 c | 34842 | 351 1520 4618 | 20512 18561 18 | 0.001 % |
2.96/3.06 c | 35217 | 351 1520 4618 | 20512 18936 18 | 0.001 % |
3.06/3.12 c | 35626 | 351 1520 4618 | 20512 19345 18 | 0.001 % |
3.06/3.19 c | 36076 | 351 1520 4618 | 20512 19795 18 | 0.001 % |
3.17/3.27 c | 36569 | 351 1520 4618 | 20512 20288 18 | 0.001 % |
3.27/3.37 c | 37113 | 351 1520 4618 | 20512 16128 17 | 0.001 % |
3.27/3.39 c | 37215 | 351 1520 4618 | 20512 16230 17 | 0.001 % |
3.36/3.40 c | 37326 | 351 1520 4618 | 20512 16341 17 | 0.001 % |
3.36/3.42 c | 37449 | 351 1520 4618 | 20512 16464 17 | 0.001 % |
3.36/3.44 c | 37583 | 351 1520 4618 | 20512 16598 17 | 0.001 % |
3.36/3.46 c | 37730 | 351 1520 4618 | 20512 16745 17 | 0.001 % |
3.36/3.48 c | 37890 | 351 1520 4618 | 20512 16905 17 | 0.001 % |
3.46/3.51 c | 38067 | 351 1520 4618 | 20512 17082 17 | 0.001 % |
3.46/3.54 c | 38261 | 351 1520 4618 | 20512 17276 17 | 0.001 % |
3.46/3.57 c | 38473 | 351 1520 4618 | 20512 17488 17 | 0.001 % |
3.56/3.61 c | 38706 | 351 1520 4618 | 20512 17721 17 | 0.001 % |
3.56/3.65 c | 38962 | 351 1520 4618 | 20512 17977 17 | 0.001 % |
3.56/3.69 c | 39243 | 351 1520 4618 | 20512 18258 17 | 0.001 % |
3.66/3.74 c | 39552 | 351 1520 4618 | 20512 18567 17 | 0.001 % |
3.76/3.80 c | 39891 | 351 1520 4618 | 20512 18906 17 | 0.001 % |
3.76/3.87 c | 40263 | 351 1520 4618 | 19016 14780 17 | 0.001 % |
3.86/3.93 c | 40672 | 351 1520 4618 | 19016 15189 17 | 0.001 % |
3.86/3.99 c | 41121 | 351 1520 4618 | 19016 15638 17 | 0.001 % |
3.96/4.06 c | 41615 | 351 1520 4618 | 19016 16132 17 | 0.001 % |
4.06/4.12 c | 42157 | 351 1520 4618 | 19016 16674 17 | 0.001 % |
4.16/4.20 c | 42753 | 351 1520 4618 | 19016 17270 17 | 0.001 % |
4.16/4.21 c | 42853 | 351 1520 4618 | 19016 17370 17 | 0.001 % |
4.16/4.23 c | 42963 | 351 1520 4618 | 19016 17480 17 | 0.001 % |
4.16/4.25 c | 43084 | 351 1520 4618 | 19016 17601 17 | 0.001 % |
4.16/4.27 c | 43217 | 351 1520 4618 | 19016 17734 17 | 0.001 % |
4.16/4.29 c | 43366 | 351 1520 4618 | 19016 17883 17 | 0.001 % |
4.27/4.32 c | 43527 | 351 1520 4618 | 19016 18044 17 | 0.001 % |
4.27/4.35 c | 43704 | 351 1520 4618 | 19016 18221 17 | 0.001 % |
4.27/4.37 c | 43898 | 351 1520 4618 | 19016 18415 17 | 0.001 % |
4.37/4.41 c | 44110 | 351 1520 4618 | 19016 18627 17 | 0.001 % |
4.37/4.45 c | 44344 | 351 1520 4618 | 19016 18861 17 | 0.001 % |
4.46/4.50 c | 44601 | 351 1520 4618 | 19016 14645 17 | 0.001 % |
4.46/4.54 c | 44884 | 351 1520 4618 | 19016 14928 17 | 0.001 % |
4.46/4.58 c | 45194 | 351 1520 4618 | 19016 15238 17 | 0.001 % |
4.56/4.61 c | 45534 | 351 1520 4618 | 19016 15578 17 | 0.001 % |
4.56/4.68 c | 45906 | 351 1520 4618 | 19016 15950 17 | 0.001 % |
4.66/4.73 c | 46316 | 351 1520 4618 | 19016 16360 17 | 0.001 % |
4.76/4.80 c | 46765 | 351 1520 4618 | 19016 16809 17 | 0.001 % |
4.76/4.86 c | 47260 | 351 1520 4618 | 19016 17304 17 | 0.001 % |
4.86/4.94 c | 47802 | 351 1520 4618 | 19016 17846 17 | 0.001 % |
4.96/5.02 c | 48398 | 351 1520 4618 | 19016 18442 17 | 0.001 % |
5.06/5.12 c | 49056 | 351 1520 4618 | 19016 14682 17 | 0.001 % |
5.06/5.14 c | 49156 | 351 1520 4618 | 19016 14782 17 | 0.001 % |
5.06/5.15 c | 49267 | 351 1520 4618 | 19016 14893 17 | 0.001 % |
5.06/5.17 c | 49388 | 351 1520 4618 | 19016 15014 17 | 0.001 % |
5.06/5.18 c | 49521 | 351 1520 4618 | 19016 15147 17 | 0.001 % |
5.16/5.20 c | 49667 | 351 1520 4618 | 19016 15293 17 | 0.001 % |
5.16/5.23 c | 49828 | 351 1520 4618 | 19016 15454 17 | 0.001 % |
5.16/5.25 c | 50005 | 351 1520 4618 | 15627 15631 17 | 0.001 % |
5.16/5.28 c | 50198 | 351 1520 4618 | 15627 12216 17 | 0.001 % |
5.26/5.31 c | 50410 | 351 1520 4618 | 15627 12428 17 | 0.001 % |
5.26/5.34 c | 50643 | 351 1520 4618 | 15627 12661 17 | 0.001 % |
5.26/5.37 c | 50900 | 351 1520 4618 | 15627 12918 17 | 0.001 % |
5.37/5.40 c | 51184 | 351 1520 4618 | 15627 13202 17 | 0.001 % |
5.37/5.44 c | 51494 | 351 1520 4618 | 15627 13512 17 | 0.001 % |
5.37/5.48 c | 51835 | 351 1520 4618 | 15627 13853 17 | 0.001 % |
5.47/5.53 c | 52207 | 351 1520 4618 | 15627 14225 17 | 0.001 % |
5.47/5.57 c | 52616 | 351 1520 4618 | 15627 14634 17 | 0.001 % |
5.56/5.64 c | 53065 | 351 1520 4618 | 15627 15083 17 | 0.001 % |
5.66/5.71 c | 53559 | 351 1520 4618 | 15627 15577 17 | 0.001 % |
5.66/5.77 c | 54102 | 351 1520 4618 | 15627 12783 17 | 0.001 % |
5.76/5.83 c | 54698 | 351 1520 4618 | 15627 13379 17 | 0.001 % |
5.86/5.90 c | 55356 | 351 1520 4618 | 15627 14037 17 | 0.001 % |
5.86/5.97 c | 56076 | 351 1520 4618 | 15627 14757 17 | 0.001 % |
5.86/5.99 c | 56177 | 351 1520 4618 | 15627 14858 17 | 0.001 % |
5.96/6.00 c | 56287 | 351 1520 4618 | 15627 14968 17 | 0.001 % |
5.96/6.01 c | 56409 | 351 1520 4618 | 15627 15090 17 | 0.001 % |
5.96/6.03 c | 56542 | 351 1520 4618 | 15627 15223 17 | 0.001 % |
5.96/6.05 c | 56688 | 351 1520 4618 | 15627 15369 17 | 0.001 % |
5.96/6.07 c | 56850 | 351 1520 4618 | 15627 15531 17 | 0.001 % |
6.06/6.10 c | 57026 | 351 1520 4618 | 15627 12606 17 | 0.001 % |
6.06/6.13 c | 57219 | 351 1520 4618 | 15627 12799 17 | 0.001 % |
6.06/6.14 c | 57432 | 351 1520 4618 | 15627 13012 17 | 0.001 % |
6.06/6.17 c | 57665 | 351 1520 4618 | 15627 13245 17 | 0.001 % |
6.06/6.19 c | 57921 | 351 1520 4618 | 15627 13501 17 | 0.001 % |
6.16/6.22 c | 58204 | 351 1520 4618 | 15627 13784 17 | 0.001 % |
6.16/6.26 c | 58513 | 351 1520 4618 | 15627 14093 17 | 0.001 % |
6.26/6.30 c | 58852 | 351 1520 4618 | 15627 14432 17 | 0.001 % |
6.26/6.35 c | 59225 | 351 1520 4618 | 15627 14805 17 | 0.001 % |
6.26/6.40 c | 59634 | 351 1520 4618 | 15627 15214 17 | 0.001 % |
6.36/6.46 c | 60083 | 351 1520 4618 | 15581 12695 17 | 0.001 % |
6.47/6.52 c | 60576 | 351 1520 4618 | 15581 13188 17 | 0.001 % |
6.47/6.59 c | 61120 | 351 1520 4618 | 15581 13732 17 | 0.001 % |
6.57/6.67 c | 61716 | 351 1520 4618 | 15581 14328 17 | 0.001 % |
6.66/6.75 c | 62372 | 351 1520 4618 | 15581 14984 17 | 0.001 % |
6.76/6.84 c | 63093 | 351 1520 4618 | 15581 12683 16 | 0.001 % |
6.86/6.93 c | 63886 | 351 1520 4618 | 15581 13476 16 | 0.001 % |
6.86/6.94 c | 63986 | 351 1520 4618 | 15581 13576 16 | 0.001 % |
6.86/6.95 c | 64096 | 351 1520 4618 | 15581 13686 16 | 0.001 % |
6.86/6.97 c | 64219 | 351 1520 4618 | 15581 13809 16 | 0.001 % |
6.86/6.98 c | 64354 | 351 1520 4618 | 15581 13944 16 | 0.001 % |
6.96/7.00 c | 64503 | 351 1520 4618 | 15581 14093 17 | 0.001 % |
6.96/7.03 c | 64666 | 351 1520 4618 | 15581 14256 17 | 0.001 % |
6.96/7.05 c | 64843 | 351 1520 4618 | 15581 14433 17 | 0.001 % |
6.96/7.07 c | 65038 | 351 1520 4618 | 15581 14628 17 | 0.001 % |
6.96/7.10 c | 65253 | 351 1520 4618 | 15581 14843 17 | 0.001 % |
7.06/7.13 c | 65489 | 351 1520 4618 | 15581 15079 17 | 0.001 % |
7.06/7.16 c | 65745 | 351 1520 4618 | 15581 15335 17 | 0.001 % |
7.06/7.19 c | 66026 | 351 1520 4618 | 15581 15616 17 | 0.001 % |
7.16/7.24 c | 66335 | 351 1520 4618 | 15581 13029 16 | 0.001 % |
7.16/7.27 c | 66675 | 351 1520 4618 | 15581 13369 17 | 0.001 % |
7.26/7.32 c | 67047 | 351 1520 4618 | 15581 13741 17 | 0.001 % |
7.26/7.37 c | 67457 | 351 1520 4618 | 15581 14151 17 | 0.001 % |
7.36/7.42 c | 67907 | 351 1520 4618 | 15581 14601 17 | 0.001 % |
7.36/7.48 c | 68401 | 351 1520 4618 | 15581 15095 17 | 0.001 % |
7.46/7.55 c | 68943 | 351 1520 4618 | 15581 12768 16 | 0.001 % |
7.56/7.61 c | 69540 | 351 1520 4618 | 15581 13365 17 | 0.001 % |
7.56/7.69 c | 70195 | 351 1520 4618 | 13826 11539 16 | 0.001 % |
7.66/7.76 c | 70915 | 351 1520 4618 | 13826 12259 16 | 0.001 % |
7.76/7.83 c | 71708 | 351 1520 4618 | 13826 13052 17 | 0.001 % |
7.86/7.93 c | 72580 | 351 1520 4618 | 13826 11834 17 | 0.001 % |
7.86/7.94 c | 72680 | 351 1520 4618 | 13826 11934 17 | 0.001 % |
7.86/7.96 c | 72790 | 351 1520 4618 | 13826 12044 17 | 0.001 % |
7.86/7.97 c | 72913 | 351 1520 4618 | 13826 12167 17 | 0.001 % |
7.86/7.99 c | 73047 | 351 1520 4618 | 13826 12301 17 | 0.001 % |
7.96/8.00 c | 73195 | 351 1520 4618 | 13826 12449 17 | 0.001 % |
7.96/8.02 c | 73355 | 351 1520 4618 | 13826 12609 17 | 0.001 % |
7.96/8.04 c | 73533 | 351 1520 4618 | 13826 12787 17 | 0.001 % |
7.96/8.06 c | 73727 | 351 1520 4618 | 13826 12981 17 | 0.001 % |
7.96/8.08 c | 73939 | 351 1520 4618 | 13826 13193 17 | 0.001 % |
8.06/8.10 c | 74173 | 351 1520 4618 | 13826 13427 17 | 0.001 % |
8.06/8.13 c | 74431 | 351 1520 4618 | 13826 13685 17 | 0.001 % |
8.06/8.17 c | 74714 | 351 1520 4618 | 13826 11908 17 | 0.001 % |
8.06/8.20 c | 75023 | 351 1520 4618 | 13826 12217 17 | 0.001 % |
8.16/8.24 c | 75364 | 351 1520 4618 | 13826 12558 17 | 0.001 % |
8.16/8.28 c | 75737 | 351 1520 4618 | 13826 12931 17 | 0.001 % |
8.26/8.32 c | 76148 | 351 1520 4618 | 13826 13342 17 | 0.001 % |
8.26/8.37 c | 76597 | 351 1520 4618 | 13826 13791 17 | 0.001 % |
8.36/8.43 c | 77090 | 351 1520 4618 | 13826 12256 17 | 0.001 % |
8.47/8.50 c | 77633 | 351 1520 4618 | 13826 12799 17 | 0.001 % |
8.47/8.56 c | 78231 | 351 1520 4618 | 13826 13397 17 | 0.001 % |
8.57/8.65 c | 78886 | 351 1520 4618 | 13826 11918 17 | 0.001 % |
8.67/8.73 c | 79606 | 351 1520 4618 | 13826 12638 17 | 0.001 % |
8.77/8.82 c | 80398 | 351 1520 4618 | 13032 11403 17 | 0.001 % |
8.87/8.91 c | 81271 | 351 1520 4618 | 13032 12276 17 | 0.001 % |
8.97/9.03 c | 82229 | 351 1520 4618 | 13032 11272 17 | 0.001 % |
8.97/9.04 c | 82329 | 351 1520 4618 | 13032 11372 17 | 0.001 % |
8.97/9.06 c | 82440 | 351 1520 4618 | 13032 11483 17 | 0.001 % |
8.97/9.07 c | 82562 | 351 1520 4618 | 13032 11605 17 | 0.001 % |
8.97/9.09 c | 82696 | 351 1520 4618 | 13032 11739 17 | 0.001 % |
9.07/9.10 c | 82844 | 351 1520 4618 | 13032 11887 17 | 0.001 % |
9.07/9.12 c | 83004 | 351 1520 4618 | 13032 12047 17 | 0.001 % |
9.07/9.14 c | 83181 | 351 1520 4618 | 13032 12224 17 | 0.001 % |
9.07/9.16 c | 83374 | 351 1520 4618 | 13032 12417 17 | 0.001 % |
9.07/9.18 c | 83587 | 351 1520 4618 | 13032 12630 17 | 0.001 % |
9.17/9.21 c | 83820 | 351 1520 4618 | 13032 12863 17 | 0.001 % |
9.17/9.24 c | 84076 | 351 1520 4618 | 13032 11141 17 | 0.001 % |
9.17/9.27 c | 84358 | 351 1520 4618 | 13032 11423 17 | 0.001 % |
9.27/9.31 c | 84669 | 351 1520 4618 | 13032 11734 17 | 0.001 % |
9.27/9.34 c | 85008 | 351 1520 4618 | 13032 12073 17 | 0.001 % |
9.27/9.39 c | 85380 | 351 1520 4618 | 13032 12445 17 | 0.001 % |
9.37/9.43 c | 85791 | 351 1520 4618 | 13032 12856 17 | 0.001 % |
9.37/9.49 c | 86240 | 351 1520 4618 | 13032 11320 17 | 0.001 % |
9.47/9.54 c | 86733 | 351 1520 4618 | 13032 11813 17 | 0.001 % |
9.57/9.62 c | 87275 | 351 1520 4618 | 13032 12355 17 | 0.001 % |
9.57/9.69 c | 87871 | 351 1520 4618 | 13032 12951 17 | 0.001 % |
9.67/9.76 c | 88527 | 351 1520 4618 | 13032 11613 17 | 0.001 % |
9.77/9.84 c | 89249 | 351 1520 4618 | 13032 12335 17 | 0.001 % |
9.87/9.93 c | 90043 | 351 1520 4618 | 11109 11150 16 | 0.001 % |
9.97/10.02 c | 90915 | 351 1520 4618 | 11109 10339 16 | 0.001 % |
10.07/10.11 c | 91873 | 351 1520 4618 | 11109 9861 16 | 0.001 % |
10.17/10.23 c | 92927 | 351 1520 4618 | 11109 10915 16 | 0.001 % |
10.17/10.24 c | 93030 | 351 1520 4618 | 11109 11018 16 | 0.001 % |
10.17/10.26 c | 93140 | 351 1520 4618 | 11109 11128 16 | 0.001 % |
10.17/10.28 c | 93262 | 351 1520 4618 | 11109 9880 16 | 0.001 % |
10.17/10.29 c | 93396 | 351 1520 4618 | 11109 10014 16 | 0.001 % |
10.27/10.31 c | 93543 | 351 1520 4618 | 11109 10161 16 | 0.001 % |
10.27/10.32 c | 93703 | 351 1520 4618 | 11109 10321 16 | 0.001 % |
10.27/10.34 c | 93879 | 351 1520 4618 | 11109 10497 16 | 0.001 % |
10.27/10.37 c | 94072 | 351 1520 4618 | 11109 10690 16 | 0.001 % |
10.27/10.39 c | 94285 | 351 1520 4618 | 11109 10903 16 | 0.001 % |
10.37/10.42 c | 94518 | 351 1520 4618 | 11109 11136 16 | 0.001 % |
10.37/10.45 c | 94774 | 351 1520 4618 | 11109 10018 16 | 0.001 % |
10.37/10.47 c | 95057 | 351 1520 4618 | 11109 10301 16 | 0.001 % |
10.47/10.51 c | 95366 | 351 1520 4618 | 11109 10610 16 | 0.001 % |
10.47/10.55 c | 95706 | 351 1520 4618 | 11109 10950 16 | 0.001 % |
10.57/10.60 c | 96079 | 351 1520 4618 | 11109 9971 16 | 0.001 % |
10.57/10.64 c | 96490 | 351 1520 4618 | 11109 10382 16 | 0.001 % |
10.57/10.68 c | 96940 | 351 1520 4618 | 11109 10832 16 | 0.001 % |
10.67/10.74 c | 97433 | 351 1520 4618 | 11109 9993 16 | 0.001 % |
10.67/10.79 c | 97976 | 351 1520 4618 | 11109 10536 16 | 0.001 % |
10.77/10.86 c | 98572 | 351 1520 4618 | 11109 11132 16 | 0.001 % |
10.87/10.94 c | 99227 | 351 1520 4618 | 11109 10473 16 | 0.001 % |
10.97/11.02 c | 99948 | 351 1520 4618 | 11109 9869 16 | 0.001 % |
10.97/11.09 c | 100742 | 351 1520 4618 | 9924 9493 16 | 0.001 % |
11.07/11.17 c | 101614 | 351 1520 4618 | 9924 9371 16 | 0.001 % |
11.17/11.25 c | 102572 | 351 1520 4618 | 9924 9334 16 | 0.001 % |
11.27/11.36 c | 103629 | 351 1520 4618 | 9924 9396 16 | 0.001 % |
11.37/11.45 c | 104787 | 351 1520 4618 | 9924 9555 16 | 0.001 % |
11.37/11.46 c | 104888 | 351 1520 4618 | 9924 9656 16 | 0.001 % |
11.37/11.47 c | 105000 | 351 1520 4618 | 9924 9768 17 | 0.001 % |
11.37/11.48 c | 105121 | 351 1520 4618 | 9924 9889 17 | 0.001 % |
11.47/11.50 c | 105257 | 351 1520 4618 | 9924 9030 16 | 0.001 % |
11.47/11.51 c | 105405 | 351 1520 4618 | 9924 9178 16 | 0.001 % |
11.47/11.53 c | 105565 | 351 1520 4618 | 9924 9338 16 | 0.001 % |
11.47/11.54 c | 105741 | 351 1520 4618 | 9924 9514 16 | 0.001 % |
11.47/11.56 c | 105936 | 351 1520 4618 | 9924 9709 17 | 0.001 % |
11.47/11.58 c | 106148 | 351 1520 4618 | 9924 9921 16 | 0.001 % |
11.57/11.60 c | 106381 | 351 1520 4618 | 9924 9157 16 | 0.001 % |
11.57/11.62 c | 106640 | 351 1520 4618 | 9924 9416 17 | 0.001 % |
11.57/11.65 c | 106922 | 351 1520 4618 | 9924 9698 17 | 0.001 % |
11.57/11.69 c | 107231 | 351 1520 4618 | 9924 9011 17 | 0.001 % |
11.67/11.72 c | 107570 | 351 1520 4618 | 9924 9350 17 | 0.001 % |
11.67/11.75 c | 107943 | 351 1520 4618 | 9924 9723 17 | 0.001 % |
11.67/11.79 c | 108352 | 351 1520 4618 | 9924 9135 17 | 0.001 % |
11.77/11.82 c | 108801 | 351 1520 4618 | 9924 9584 17 | 0.001 % |
11.77/11.87 c | 109294 | 351 1520 4618 | 9924 9081 17 | 0.001 % |
11.87/11.92 c | 109838 | 351 1520 4618 | 9924 9625 17 | 0.001 % |
11.87/11.97 c | 110434 | 351 1520 4618 | 2147483647 10221 17 | 0.001 % |
11.97/12.03 c | 111091 | 351 1520 4618 | 2147483647 10878 17 | 0.001 % |
11.97/12.09 c | 111812 | 351 1520 4618 | 2147483647 11599 17 | 0.001 % |
12.07/12.17 c | 112605 | 351 1520 4618 | 2147483647 12392 17 | 0.001 % |
12.17/12.25 c | 113478 | 351 1520 4618 | 2147483647 13265 17 | 0.001 % |
12.27/12.34 c | 114436 | 351 1520 4618 | 2147483647 14223 17 | 0.001 % |
12.37/12.46 c | 115490 | 351 1520 4618 | 2147483647 15277 17 | 0.001 % |
12.57/12.60 c | 116650 | 351 1520 4618 | 2147483647 16437 17 | 0.001 % |
12.67/12.76 c | 117923 | 351 1520 4618 | 2147483647 17710 18 | 0.001 % |
12.67/12.77 c | 118024 | 351 1520 4618 | 2147483647 17811 18 | 0.001 % |
12.67/12.79 c | 118134 | 351 1520 4618 | 2147483647 17921 18 | 0.001 % |
12.77/12.81 c | 118256 | 351 1520 4618 | 2147483647 18043 18 | 0.001 % |
12.77/12.84 c | 118390 | 351 1520 4618 | 2147483647 18177 18 | 0.001 % |
12.77/12.86 c | 118536 | 351 1520 4618 | 2147483647 18323 18 | 0.001 % |
12.77/12.89 c | 118697 | 351 1520 4618 | 2147483647 18484 18 | 0.001 % |
12.87/12.91 c | 118873 | 351 1520 4618 | 2147483647 18660 18 | 0.001 % |
12.87/12.94 c | 119068 | 351 1520 4618 | 2147483647 18855 18 | 0.001 % |
12.87/12.97 c | 119280 | 351 1520 4618 | 2147483647 19067 18 | 0.001 % |
12.97/13.01 c | 119513 | 351 1520 4618 | 2147483647 19300 18 | 0.001 % |
12.97/13.06 c | 119771 | 351 1520 4618 | 2147483647 19558 18 | 0.001 % |
13.07/13.10 c | 120052 | 351 1520 4618 | 19791 19839 18 | 0.001 % |
13.07/13.15 c | 120362 | 351 1520 4618 | 19791 17265 17 | 0.001 % |
13.17/13.20 c | 120701 | 351 1520 4618 | 19791 17604 17 | 0.001 % |
13.17/13.25 c | 121074 | 351 1520 4618 | 19791 17977 17 | 0.001 % |
13.26/13.32 c | 121483 | 351 1520 4618 | 19791 18386 17 | 0.001 % |
13.26/13.38 c | 121932 | 351 1520 4618 | 19791 18835 18 | 0.001 % |
13.36/13.45 c | 122425 | 351 1520 4618 | 19791 19328 18 | 0.001 % |
13.46/13.55 c | 122969 | 351 1520 4618 | 19791 16043 17 | 0.001 % |
13.56/13.64 c | 123565 | 351 1520 4618 | 19791 16639 17 | 0.001 % |
13.66/13.73 c | 124220 | 351 1520 4618 | 19791 17294 17 | 0.001 % |
13.76/13.83 c | 124940 | 351 1520 4618 | 19791 18014 18 | 0.001 % |
13.86/13.94 c | 125733 | 351 1520 4618 | 19791 18807 18 | 0.001 % |
13.96/14.08 c | 126605 | 351 1520 4618 | 19791 19679 18 | 0.001 % |
14.17/14.22 c | 127563 | 351 1520 4618 | 19791 16357 18 | 0.001 % |
14.27/14.36 c | 128616 | 351 1520 4618 | 19791 17410 18 | 0.001 % |
14.46/14.51 c | 129774 | 351 1520 4618 | 19791 18568 18 | 0.001 % |
14.56/14.67 c | 131047 | 351 1520 4618 | 18794 15803 18 | 0.001 % |
14.76/14.86 c | 132447 | 351 1520 4618 | 18794 17203 18 | 0.001 % |
14.76/14.88 c | 132548 | 351 1520 4618 | 18794 17304 18 | 0.001 % |
14.76/14.89 c | 132658 | 351 1520 4618 | 18794 17414 18 | 0.001 % |
14.86/14.91 c | 132780 | 351 1520 4618 | 18794 17536 18 | 0.001 % |
14.86/14.93 c | 132914 | 351 1520 4618 | 18794 17670 18 | 0.001 % |
14.86/14.96 c | 133061 | 351 1520 4618 | 18794 17817 18 | 0.001 % |
14.86/14.99 c | 133223 | 351 1520 4618 | 18794 17979 18 | 0.001 % |
14.96/15.02 c | 133401 | 351 1520 4618 | 18794 18157 18 | 0.001 % |
14.96/15.05 c | 133595 | 351 1520 4618 | 18794 18351 18 | 0.001 % |
14.96/15.08 c | 133808 | 351 1520 4618 | 18794 18564 18 | 0.001 % |
15.06/15.12 c | 134041 | 351 1520 4618 | 18794 18797 18 | 0.001 % |
15.06/15.16 c | 134297 | 351 1520 4618 | 18794 14788 17 | 0.001 % |
15.06/15.19 c | 134579 | 351 1520 4618 | 18794 15070 17 | 0.001 % |
15.16/15.24 c | 134889 | 351 1520 4618 | 18794 15380 17 | 0.001 % |
15.16/15.28 c | 135229 | 351 1520 4618 | 18794 15720 17 | 0.001 % |
15.27/15.34 c | 135601 | 351 1520 4618 | 18794 16092 17 | 0.001 % |
15.27/15.39 c | 136010 | 351 1520 4618 | 18794 16501 17 | 0.001 % |
15.37/15.44 c | 136463 | 351 1520 4618 | 18794 16954 17 | 0.001 % |
15.47/15.50 c | 136956 | 351 1520 4618 | 18794 17447 17 | 0.001 % |
15.47/15.57 c | 137499 | 351 1520 4618 | 18794 17990 17 | 0.001 % |
15.57/15.67 c | 138096 | 351 1520 4618 | 18794 18587 17 | 0.001 % |
15.67/15.78 c | 138752 | 351 1520 4618 | 18794 14971 17 | 0.001 % |
15.77/15.87 c | 139473 | 351 1520 4618 | 18794 15692 17 | 0.001 % |
15.87/15.97 c | 140266 | 351 1520 4618 | 16219 12823 16 | 0.001 % |
15.97/16.06 c | 141137 | 351 1520 4618 | 16219 13694 17 | 0.001 % |
16.07/16.17 c | 142095 | 351 1520 4618 | 16219 14652 17 | 0.001 % |
16.17/16.28 c | 143148 | 351 1520 4618 | 16219 15705 17 | 0.001 % |
16.37/16.41 c | 144307 | 351 1520 4618 | 16219 13879 17 | 0.001 % |
16.47/16.57 c | 145584 | 351 1520 4618 | 16219 15156 17 | 0.001 % |
16.66/16.76 c | 146984 | 351 1520 4618 | 16219 13524 17 | 0.001 % |
16.86/16.93 c | 148524 | 351 1520 4618 | 16219 15064 17 | 0.001 % |
16.86/16.95 c | 148625 | 351 1520 4618 | 16219 15165 17 | 0.001 % |
16.86/16.96 c | 148735 | 351 1520 4618 | 16219 15275 17 | 0.001 % |
16.86/16.98 c | 148856 | 351 1520 4618 | 16219 15396 17 | 0.001 % |
16.86/17.00 c | 148990 | 351 1520 4618 | 16219 15530 17 | 0.001 % |
16.96/17.02 c | 149137 | 351 1520 4618 | 16219 15677 17 | 0.001 % |
16.96/17.04 c | 149298 | 351 1520 4618 | 16219 15838 17 | 0.001 % |
16.96/17.07 c | 149474 | 351 1520 4618 | 16219 16014 17 | 0.001 % |
16.96/17.09 c | 149667 | 351 1520 4618 | 16219 16207 17 | 0.001 % |
17.06/17.13 c | 149879 | 351 1520 4618 | 16219 13401 17 | 0.001 % |
17.06/17.16 c | 150114 | 351 1520 4618 | 13522 11138 16 | 0.001 % |
17.06/17.19 c | 150374 | 351 1520 4618 | 13522 11398 17 | 0.001 % |
17.16/17.22 c | 150657 | 351 1520 4618 | 13522 11681 17 | 0.001 % |
17.16/17.25 c | 150967 | 351 1520 4618 | 13522 11991 17 | 0.001 % |
17.16/17.29 c | 151306 | 351 1520 4618 | 13522 12330 17 | 0.001 % |
17.26/17.32 c | 151679 | 351 1520 4618 | 13522 12703 17 | 0.001 % |
17.26/17.36 c | 152088 | 351 1520 4618 | 13522 13112 17 | 0.001 % |
17.36/17.42 c | 152537 | 351 1520 4618 | 13522 13561 17 | 0.001 % |
17.36/17.48 c | 153030 | 351 1520 4618 | 13522 11907 17 | 0.001 % |
17.47/17.54 c | 153572 | 351 1520 4618 | 13522 12449 17 | 0.001 % |
17.57/17.61 c | 154170 | 351 1520 4618 | 13522 13047 17 | 0.001 % |
17.57/17.68 c | 154825 | 351 1520 4618 | 13522 11589 16 | 0.001 % |
17.66/17.76 c | 155546 | 351 1520 4618 | 13522 12310 17 | 0.001 % |
17.76/17.85 c | 156340 | 351 1520 4618 | 13522 13104 16 | 0.001 % |
17.86/17.96 c | 157213 | 351 1520 4618 | 13522 11860 16 | 0.001 % |
17.96/18.05 c | 158171 | 351 1520 4618 | 13522 12818 16 | 0.001 % |
18.06/18.15 c | 159224 | 351 1520 4618 | 13522 11828 16 | 0.001 % |
18.16/18.27 c | 160383 | 351 1520 4618 | 12604 11149 15 | 0.001 % |
18.26/18.39 c | 161656 | 351 1520 4618 | 12604 12422 16 | 0.001 % |
18.46/18.56 c | 163058 | 351 1520 4618 | 12604 12182 15 | 0.001 % |
18.67/18.72 c | 164600 | 351 1520 4618 | 12604 12016 15 | 0.001 % |
18.76/18.88 c | 166294 | 351 1520 4618 | 12604 12109 15 | 0.001 % |
18.76/18.89 c | 166394 | 351 1520 4618 | 12604 12209 15 | 0.001 % |
18.76/18.89 c | 166506 | 351 1520 4618 | 12604 12321 15 | 0.001 % |
18.86/18.91 c | 166629 | 351 1520 4618 | 12604 12444 15 | 0.001 % |
18.86/18.92 c | 166763 | 351 1520 4618 | 12604 12578 15 | 0.001 % |
18.86/18.94 c | 166909 | 351 1520 4618 | 12604 11180 15 | 0.001 % |
18.86/18.96 c | 167070 | 351 1520 4618 | 12604 11341 15 | 0.001 % |
18.86/18.98 c | 167247 | 351 1520 4618 | 12604 11518 15 | 0.001 % |
18.96/19.00 c | 167440 | 351 1520 4618 | 12604 11711 16 | 0.001 % |
18.96/19.02 c | 167654 | 351 1520 4618 | 12604 11925 16 | 0.001 % |
18.96/19.04 c | 167887 | 351 1520 4618 | 12604 12158 16 | 0.001 % |
18.96/19.07 c | 168145 | 351 1520 4618 | 12604 12416 16 | 0.001 % |
19.06/19.10 c | 168426 | 351 1520 4618 | 12604 11226 16 | 0.001 % |
19.06/19.13 c | 168736 | 351 1520 4618 | 12604 11536 16 | 0.001 % |
19.06/19.16 c | 169075 | 351 1520 4618 | 12604 11875 16 | 0.001 % |
19.16/19.20 c | 169449 | 351 1520 4618 | 12604 12249 16 | 0.001 % |
19.16/19.25 c | 169858 | 351 1520 4618 | 12604 11183 16 | 0.001 % |
19.26/19.30 c | 170307 | 351 1520 4618 | 11325 10317 16 | 0.001 % |
19.26/19.34 c | 170800 | 351 1520 4618 | 11325 10810 16 | 0.001 % |
19.26/19.38 c | 171342 | 351 1520 4618 | 11325 11352 16 | 0.001 % |
19.36/19.43 c | 171941 | 351 1520 4618 | 11325 10816 16 | 0.001 % |
19.46/19.50 c | 172597 | 351 1520 4618 | 11325 10337 16 | 0.001 % |
19.46/19.57 c | 173317 | 351 1520 4618 | 11325 11057 17 | 0.001 % |
19.56/19.66 c | 174109 | 351 1520 4618 | 11325 10715 17 | 0.001 % |
19.67/19.74 c | 174980 | 351 1520 4618 | 11325 10449 17 | 0.001 % |
19.77/19.83 c | 175940 | 351 1520 4618 | 11325 10274 17 | 0.001 % |
19.86/19.93 c | 176995 | 351 1520 4618 | 11325 11329 17 | 0.001 % |
19.96/20.05 c | 178154 | 351 1520 4618 | 11325 11356 17 | 0.001 % |
20.06/20.17 c | 179427 | 351 1520 4618 | 11325 10360 17 | 0.001 % |
20.26/20.32 c | 180829 | 351 1520 4618 | 2147483647 11762 17 | 0.001 % |
20.36/20.48 c | 182372 | 351 1520 4618 | 2147483647 13305 17 | 0.001 % |
20.56/20.66 c | 184067 | 351 1520 4618 | 2147483647 15000 17 | 0.001 % |
20.87/20.91 c | 185931 | 351 1520 4618 | 2147483647 16864 17 | 0.001 % |
20.87/20.92 c | 186031 | 351 1520 4618 | 2147483647 16964 17 | 0.001 % |
20.87/20.94 c | 186144 | 351 1520 4618 | 2147483647 17077 17 | 0.001 % |
20.87/20.96 c | 186265 | 351 1520 4618 | 2147483647 17198 17 | 0.001 % |
20.87/20.98 c | 186398 | 351 1520 4618 | 2147483647 17331 17 | 0.001 % |
20.96/21.00 c | 186545 | 351 1520 4618 | 2147483647 17478 17 | 0.001 % |
20.96/21.03 c | 186706 | 351 1520 4618 | 2147483647 17639 17 | 0.001 % |
20.96/21.06 c | 186884 | 351 1520 4618 | 2147483647 17817 17 | 0.001 % |
20.96/21.08 c | 187078 | 351 1520 4618 | 2147483647 18011 17 | 0.001 % |
21.06/21.12 c | 187291 | 351 1520 4618 | 2147483647 18224 17 | 0.001 % |
21.06/21.15 c | 187524 | 351 1520 4618 | 2147483647 18457 17 | 0.001 % |
21.16/21.20 c | 187784 | 351 1520 4618 | 2147483647 18717 17 | 0.001 % |
21.16/21.25 c | 188066 | 351 1520 4618 | 2147483647 18999 17 | 0.001 % |
21.26/21.31 c | 188377 | 351 1520 4618 | 2147483647 19310 17 | 0.001 % |
21.26/21.36 c | 188716 | 351 1520 4618 | 2147483647 19649 17 | 0.001 % |
21.36/21.42 c | 189088 | 351 1520 4618 | 2147483647 20021 17 | 0.001 % |
21.36/21.49 c | 189501 | 351 1520 4618 | 2147483647 20434 17 | 0.001 % |
21.46/21.56 c | 189951 | 351 1520 4618 | 2147483647 20884 17 | 0.001 % |
21.56/21.65 c | 190446 | 351 1520 4618 | 20933 16967 17 | 0.001 % |
21.66/21.72 c | 190988 | 351 1520 4618 | 20933 17509 17 | 0.001 % |
21.76/21.80 c | 191585 | 351 1520 4618 | 20933 18106 17 | 0.001 % |
21.86/21.90 c | 192242 | 351 1520 4618 | 20933 18763 17 | 0.001 % |
21.96/22.01 c | 192963 | 351 1520 4618 | 20933 19484 17 | 0.001 % |
22.06/22.14 c | 193756 | 351 1520 4618 | 20933 20277 17 | 0.001 % |
22.26/22.30 c | 194627 | 351 1520 4618 | 20933 15988 17 | 0.001 % |
22.36/22.42 c | 195587 | 351 1520 4618 | 20933 16948 17 | 0.001 % |
22.46/22.55 c | 196640 | 351 1520 4618 | 20933 18001 17 | 0.001 % |
22.66/22.73 c | 197798 | 351 1520 4618 | 20933 19159 17 | 0.001 % |
22.86/22.90 c | 199073 | 351 1520 4618 | 20933 20434 17 | 0.001 % |
23.06/23.13 c | 200473 | 351 1520 4618 | 16069 12500 17 | 0.001 % |
23.16/23.28 c | 202013 | 351 1520 4618 | 16069 14040 17 | 0.001 % |
23.46/23.53 c | 203708 | 351 1520 4618 | 16069 15735 17 | 0.001 % |
23.66/23.73 c | 205571 | 351 1520 4618 | 16069 14049 17 | 0.001 % |
23.86/23.98 c | 207620 | 351 1520 4618 | 16069 16098 17 | 0.001 % |
23.96/24.00 c | 207720 | 351 1520 4618 | 16069 12883 17 | 0.001 % |
23.96/24.02 c | 207831 | 351 1520 4618 | 16069 12994 17 | 0.001 % |
23.96/24.03 c | 207952 | 351 1520 4618 | 16069 13115 17 | 0.001 % |
23.96/24.05 c | 208087 | 351 1520 4618 | 16069 13250 17 | 0.001 % |
23.96/24.06 c | 208234 | 351 1520 4618 | 16069 13397 17 | 0.001 % |
23.96/24.08 c | 208394 | 351 1520 4618 | 16069 13557 17 | 0.001 % |
23.96/24.10 c | 208570 | 351 1520 4618 | 16069 13733 17 | 0.001 % |
24.06/24.12 c | 208763 | 351 1520 4618 | 16069 13926 17 | 0.001 % |
24.06/24.14 c | 208978 | 351 1520 4618 | 16069 14141 17 | 0.001 % |
24.06/24.17 c | 209211 | 351 1520 4618 | 16069 14374 17 | 0.001 % |
24.06/24.20 c | 209469 | 351 1520 4618 | 16069 14632 17 | 0.001 % |
24.16/24.23 c | 209752 | 351 1520 4618 | 16069 14915 17 | 0.001 % |
24.16/24.28 c | 210061 | 351 1520 4618 | 15163 12226 17 | 0.001 % |
24.26/24.32 c | 210402 | 351 1520 4618 | 15163 12567 17 | 0.001 % |
24.26/24.37 c | 210775 | 351 1520 4618 | 15163 12940 17 | 0.001 % |
24.36/24.41 c | 211186 | 351 1520 4618 | 15163 13351 17 | 0.001 % |
24.36/24.46 c | 211635 | 351 1520 4618 | 15163 13800 17 | 0.001 % |
24.46/24.51 c | 212128 | 351 1520 4618 | 15163 14293 17 | 0.001 % |
24.46/24.56 c | 212670 | 351 1520 4618 | 15163 14835 17 | 0.001 % |
24.56/24.64 c | 213266 | 351 1520 4618 | 15163 12924 17 | 0.001 % |
24.66/24.71 c | 213922 | 351 1520 4618 | 15163 13580 17 | 0.001 % |
24.76/24.80 c | 214642 | 351 1520 4618 | 15163 14300 17 | 0.001 % |
24.76/24.90 c | 215435 | 351 1520 4618 | 15163 15093 17 | 0.001 % |
24.86/24.99 c | 216306 | 351 1520 4618 | 15163 13568 17 | 0.001 % |
25.06/25.10 c | 217264 | 351 1520 4618 | 15163 14526 17 | 0.001 % |
25.16/25.23 c | 218317 | 351 1520 4618 | 15163 13266 17 | 0.001 % |
25.26/25.34 c | 219475 | 351 1520 4618 | 15163 14424 17 | 0.001 % |
25.36/25.49 c | 220749 | 351 1520 4618 | 14952 13479 17 | 0.001 % |
25.56/25.65 c | 222150 | 351 1520 4618 | 14952 14880 17 | 0.001 % |
25.76/25.84 c | 223692 | 351 1520 4618 | 14952 14221 17 | 0.001 % |
25.96/26.02 c | 225386 | 351 1520 4618 | 14952 13607 17 | 0.001 % |
26.16/26.23 c | 227249 | 351 1520 4618 | 14952 13229 16 | 0.001 % |
26.36/26.44 c | 229298 | 351 1520 4618 | 14952 13147 16 | 0.001 % |
26.56/26.68 c | 231552 | 351 1520 4618 | 13849 13463 17 | 0.001 % |
26.56/26.69 c | 231652 | 351 1520 4618 | 13849 13563 17 | 0.001 % |
26.66/26.70 c | 231763 | 351 1520 4618 | 13849 13674 17 | 0.001 % |
26.66/26.72 c | 231885 | 351 1520 4618 | 13849 13796 17 | 0.001 % |
26.66/26.74 c | 232019 | 351 1520 4618 | 13849 12112 16 | 0.001 % |
26.66/26.75 c | 232165 | 351 1520 4618 | 13849 12258 16 | 0.001 % |
26.66/26.77 c | 232326 | 351 1520 4618 | 13849 12419 16 | 0.001 % |
26.66/26.79 c | 232502 | 351 1520 4618 | 13849 12595 16 | 0.001 % |
26.76/26.81 c | 232695 | 351 1520 4618 | 13849 12788 16 | 0.001 % |
26.76/26.83 c | 232909 | 351 1520 4618 | 13849 13002 16 | 0.001 % |
26.76/26.86 c | 233142 | 351 1520 4618 | 13849 13235 16 | 0.001 % |
26.76/26.88 c | 233399 | 351 1520 4618 | 13849 13492 17 | 0.001 % |
26.86/26.92 c | 233681 | 351 1520 4618 | 13849 13774 17 | 0.001 % |
26.86/26.96 c | 233990 | 351 1520 4618 | 13849 12324 17 | 0.001 % |
26.96/27.00 c | 234330 | 351 1520 4618 | 13849 12664 17 | 0.001 % |
26.96/27.05 c | 234702 | 351 1520 4618 | 13849 13036 17 | 0.001 % |
26.96/27.09 c | 235111 | 351 1520 4618 | 13849 13445 17 | 0.001 % |
27.06/27.14 c | 235561 | 351 1520 4618 | 13849 12140 17 | 0.001 % |
27.16/27.20 c | 236057 | 351 1520 4618 | 13849 12636 17 | 0.001 % |
27.16/27.25 c | 236600 | 351 1520 4618 | 13849 13179 17 | 0.001 % |
27.26/27.31 c | 237196 | 351 1520 4618 | 13849 13775 17 | 0.001 % |
27.26/27.37 c | 237851 | 351 1520 4618 | 13849 12693 17 | 0.001 % |
27.36/27.45 c | 238571 | 351 1520 4618 | 13849 13413 17 | 0.001 % |
27.46/27.54 c | 239364 | 351 1520 4618 | 13849 12502 17 | 0.001 % |
27.56/27.63 c | 240235 | 351 1520 4618 | 13138 11799 17 | 0.001 % |
27.66/27.72 c | 241193 | 351 1520 4618 | 13138 12757 17 | 0.001 % |
27.76/27.83 c | 242247 | 351 1520 4618 | 13138 12462 17 | 0.001 % |
27.86/27.96 c | 243405 | 351 1520 4618 | 13138 12276 17 | 0.001 % |
27.96/28.08 c | 244680 | 351 1520 4618 | 13138 12233 17 | 0.001 % |
28.16/28.21 c | 246081 | 351 1520 4618 | 13138 12316 17 | 0.001 % |
28.26/28.37 c | 247621 | 351 1520 4618 | 13138 12541 17 | 0.001 % |
28.46/28.53 c | 249316 | 351 1520 4618 | 13138 12916 17 | 0.001 % |
28.66/28.71 c | 251179 | 351 1520 4618 | 2147483647 13464 17 | 0.001 % |
28.86/28.93 c | 253228 | 351 1520 4618 | 2147483647 15513 17 | 0.001 % |
29.06/29.18 c | 255481 | 351 1520 4618 | 2147483647 17766 17 | 0.001 % |
29.46/29.53 c | 257959 | 351 1520 4618 | 2147483647 20244 17 | 0.001 % |
29.46/29.55 c | 258060 | 351 1520 4618 | 2147483647 20345 17 | 0.001 % |
29.46/29.57 c | 258172 | 351 1520 4618 | 2147483647 20457 17 | 0.001 % |
29.46/29.59 c | 258293 | 351 1520 4618 | 2147483647 20578 17 | 0.001 % |
29.56/29.62 c | 258426 | 351 1520 4618 | 2147483647 20711 17 | 0.001 % |
29.56/29.64 c | 258573 | 351 1520 4618 | 2147483647 20858 17 | 0.001 % |
29.56/29.68 c | 258733 | 351 1520 4618 | 2147483647 21018 17 | 0.001 % |
29.66/29.71 c | 258911 | 351 1520 4618 | 2147483647 21196 17 | 0.001 % |
29.66/29.75 c | 259105 | 351 1520 4618 | 2147483647 21390 17 | 0.001 % |
29.66/29.79 c | 259318 | 351 1520 4618 | 2147483647 21603 17 | 0.001 % |
29.76/29.84 c | 259552 | 351 1520 4618 | 2147483647 21837 17 | 0.001 % |
29.86/29.90 c | 259809 | 351 1520 4618 | 2147483647 22094 17 | 0.001 % |
29.86/29.97 c | 260091 | 351 1520 4618 | 22285 17945 17 | 0.001 % |
29.96/30.02 c | 260400 | 351 1520 4618 | 22285 18254 17 | 0.001 % |
29.96/30.07 c | 260739 | 351 1520 4618 | 22285 18593 17 | 0.001 % |
30.06/30.13 c | 261111 | 351 1520 4618 | 22285 18965 17 | 0.001 % |
30.06/30.19 c | 261522 | 351 1520 4618 | 22285 19376 17 | 0.001 % |
30.16/30.26 c | 261972 | 351 1520 4618 | 22285 19826 17 | 0.001 % |
30.26/30.34 c | 262465 | 351 1520 4618 | 22285 20319 17 | 0.001 % |
30.36/30.43 c | 263009 | 351 1520 4618 | 22285 20863 17 | 0.001 % |
30.46/30.53 c | 263606 | 351 1520 4618 | 22285 21460 17 | 0.001 % |
30.56/30.62 c | 264261 | 351 1520 4618 | 22285 22115 17 | 0.001 % |
30.66/30.73 c | 264982 | 351 1520 4618 | 22285 17509 17 | 0.001 % |
30.76/30.84 c | 265777 | 351 1520 4618 | 22285 18304 17 | 0.001 % |
30.86/30.97 c | 266649 | 351 1520 4618 | 22285 19176 17 | 0.001 % |
31.06/31.12 c | 267608 | 351 1520 4618 | 22285 20135 17 | 0.001 % |
31.16/31.30 c | 268661 | 351 1520 4618 | 22285 21188 17 | 0.001 % |
31.46/31.51 c | 269819 | 351 1520 4618 | 22285 16730 17 | 0.001 % |
31.56/31.65 c | 271092 | 351 1520 4618 | 16911 13767 17 | 0.001 % |
31.76/31.82 c | 272493 | 351 1520 4618 | 16911 15168 17 | 0.001 % |
31.96/32.01 c | 274033 | 351 1520 4618 | 16911 16708 17 | 0.001 % |
32.15/32.23 c | 275728 | 351 1520 4618 | 16911 14881 17 | 0.001 % |
32.45/32.50 c | 277591 | 351 1520 4618 | 16911 16744 17 | 0.001 % |
32.66/32.75 c | 279642 | 351 1520 4618 | 16911 15221 17 | 0.001 % |
32.96/33.02 c | 281896 | 351 1520 4618 | 15579 14285 17 | 0.001 % |
33.25/33.31 c | 284374 | 351 1520 4618 | 15579 13932 17 | 0.001 % |
33.55/33.62 c | 287102 | 351 1520 4618 | 15579 13847 17 | 0.001 % |
33.55/33.63 c | 287203 | 351 1520 4618 | 15579 13948 17 | 0.001 % |
33.55/33.64 c | 287313 | 351 1520 4618 | 15579 14058 17 | 0.001 % |
33.55/33.66 c | 287435 | 351 1520 4618 | 15579 14180 17 | 0.001 % |
33.55/33.67 c | 287570 | 351 1520 4618 | 15579 14315 17 | 0.001 % |
33.55/33.69 c | 287717 | 351 1520 4618 | 15579 14462 17 | 0.001 % |
33.65/33.71 c | 287877 | 351 1520 4618 | 15579 14622 17 | 0.001 % |
33.65/33.73 c | 288053 | 351 1520 4618 | 15579 14798 17 | 0.001 % |
33.65/33.76 c | 288246 | 351 1520 4618 | 15579 14991 17 | 0.001 % |
33.65/33.79 c | 288458 | 351 1520 4618 | 15579 15203 17 | 0.001 % |
33.75/33.82 c | 288692 | 351 1520 4618 | 15579 15437 17 | 0.001 % |
33.75/33.86 c | 288949 | 351 1520 4618 | 15579 12833 17 | 0.001 % |
33.75/33.89 c | 289231 | 351 1520 4618 | 15579 13115 17 | 0.001 % |
33.85/33.92 c | 289540 | 351 1520 4618 | 15579 13424 17 | 0.001 % |
33.85/33.97 c | 289879 | 351 1520 4618 | 15579 13763 17 | 0.001 % |
33.96/34.02 c | 290252 | 351 1520 4618 | 13885 11575 16 | 0.001 % |
33.96/34.06 c | 290661 | 351 1520 4618 | 13885 11984 17 | 0.001 % |
34.06/34.11 c | 291112 | 351 1520 4618 | 13885 12435 17 | 0.001 % |
34.06/34.16 c | 291605 | 351 1520 4618 | 13885 12928 17 | 0.001 % |
34.15/34.23 c | 292147 | 351 1520 4618 | 13885 13470 17 | 0.001 % |
34.25/34.31 c | 292743 | 351 1520 4618 | 13885 11767 17 | 0.001 % |
34.25/34.38 c | 293400 | 351 1520 4618 | 13885 12424 17 | 0.001 % |
34.35/34.46 c | 294120 | 351 1520 4618 | 13885 13144 17 | 0.001 % |
34.45/34.55 c | 294913 | 351 1520 4618 | 13885 11710 16 | 0.001 % |
34.55/34.64 c | 295784 | 351 1520 4618 | 13885 12581 16 | 0.001 % |
34.65/34.74 c | 296742 | 351 1520 4618 | 13885 13539 17 | 0.001 % |
34.75/34.87 c | 297796 | 351 1520 4618 | 13885 12445 17 | 0.001 % |
34.85/34.99 c | 298955 | 351 1520 4618 | 13885 13604 17 | 0.001 % |
35.06/35.14 c | 300228 | 351 1520 4618 | 12547 10905 16 | 0.001 % |
35.16/35.29 c | 301628 | 351 1520 4618 | 12547 12305 16 | 0.001 % |
35.35/35.43 c | 303169 | 351 1520 4618 | 12547 12144 17 | 0.001 % |
35.55/35.61 c | 304863 | 351 1520 4618 | 12547 12392 17 | 0.001 % |
35.75/35.80 c | 306729 | 351 1520 4618 | 12547 11560 17 | 0.001 % |
35.95/36.02 c | 308779 | 351 1520 4618 | 12547 12304 16 | 0.001 % |
36.16/36.26 c | 311032 | 351 1520 4618 | 12223 12007 16 | 0.001 % |
36.35/36.50 c | 313510 | 351 1520 4618 | 12223 11942 16 | 0.001 % |
36.65/36.75 c | 316239 | 351 1520 4618 | 12223 12218 17 | 0.001 % |
36.95/37.04 c | 319238 | 351 1520 4618 | 12223 11540 17 | 0.001 % |
36.95/37.05 c | 319338 | 351 1520 4618 | 12223 11640 17 | 0.001 % |
36.95/37.06 c | 319448 | 351 1520 4618 | 12223 11750 17 | 0.001 % |
36.95/37.07 c | 319570 | 351 1520 4618 | 12223 11872 17 | 0.001 % |
36.95/37.09 c | 319704 | 351 1520 4618 | 12223 12006 17 | 0.001 % |
37.05/37.10 c | 319851 | 351 1520 4618 | 12223 12153 17 | 0.001 % |
37.05/37.13 c | 320012 | 351 1520 4618 | 2147483647 11088 17 | 0.001 % |
37.05/37.14 c | 320188 | 351 1520 4618 | 2147483647 11264 17 | 0.001 % |
37.05/37.17 c | 320381 | 351 1520 4618 | 2147483647 11457 17 | 0.001 % |
37.05/37.19 c | 320593 | 351 1520 4618 | 2147483647 11669 17 | 0.001 % |
37.15/37.21 c | 320829 | 351 1520 4618 | 2147483647 11905 17 | 0.001 % |
37.15/37.24 c | 321086 | 351 1520 4618 | 2147483647 12162 17 | 0.001 % |
37.15/37.28 c | 321368 | 351 1520 4618 | 2147483647 12444 17 | 0.001 % |
37.26/37.30 c | 321677 | 351 1520 4618 | 2147483647 12753 17 | 0.001 % |
37.26/37.34 c | 322016 | 351 1520 4618 | 2147483647 13092 17 | 0.001 % |
37.26/37.39 c | 322388 | 351 1520 4618 | 2147483647 13464 17 | 0.001 % |
37.36/37.43 c | 322797 | 351 1520 4618 | 2147483647 13873 17 | 0.001 % |
37.36/37.48 c | 323248 | 351 1520 4618 | 2147483647 14324 17 | 0.001 % |
37.45/37.54 c | 323742 | 351 1520 4618 | 2147483647 14818 17 | 0.001 % |
37.55/37.60 c | 324285 | 351 1520 4618 | 2147483647 15361 17 | 0.001 % |
37.55/37.67 c | 324881 | 351 1520 4618 | 2147483647 15957 17 | 0.001 % |
37.65/37.75 c | 325537 | 351 1520 4618 | 2147483647 16613 17 | 0.001 % |
37.75/37.85 c | 326257 | 351 1520 4618 | 2147483647 17333 18 | 0.001 % |
37.85/37.96 c | 327050 | 351 1520 4618 | 2147483647 18126 18 | 0.001 % |
37.95/38.08 c | 327921 | 351 1520 4618 | 2147483647 18997 18 | 0.001 % |
38.15/38.22 c | 328879 | 351 1520 4618 | 2147483647 19955 18 | 0.001 % |
38.25/38.40 c | 329934 | 351 1520 4618 | 2147483647 21010 18 | 0.001 % |
38.46/38.59 c | 331093 | 351 1520 4618 | 21076 18370 18 | 0.001 % |
38.65/38.78 c | 332367 | 351 1520 4618 | 21076 19644 18 | 0.001 % |
38.85/38.99 c | 333769 | 351 1520 4618 | 21076 21046 18 | 0.001 % |
39.15/39.22 c | 335309 | 351 1520 4618 | 21076 17833 17 | 0.001 % |
39.35/39.43 c | 337003 | 351 1520 4618 | 21076 19527 17 | 0.001 % |
39.65/39.73 c | 338866 | 351 1520 4618 | 21076 16555 17 | 0.001 % |
39.85/39.98 c | 340915 | 351 1520 4618 | 17689 14572 17 | 0.001 % |
40.15/40.24 c | 343168 | 351 1520 4618 | 17689 16825 17 | 0.001 % |
40.45/40.53 c | 345646 | 351 1520 4618 | 17689 15786 17 | 0.001 % |
40.75/40.89 c | 348371 | 351 1520 4618 | 17689 15044 17 | 0.001 % |
41.15/41.22 c | 351368 | 351 1520 4618 | 16673 14874 17 | 0.001 % |
41.55/41.65 c | 354664 | 351 1520 4618 | 16673 14909 17 | 0.001 % |
41.55/41.66 c | 354765 | 351 1520 4618 | 16673 15010 17 | 0.001 % |
41.55/41.68 c | 354875 | 351 1520 4618 | 16673 15120 17 | 0.001 % |
41.55/41.69 c | 354996 | 351 1520 4618 | 16673 15241 17 | 0.001 % |
41.65/41.71 c | 355130 | 351 1520 4618 | 16673 15375 17 | 0.001 % |
41.65/41.73 c | 355277 | 351 1520 4618 | 16673 15522 17 | 0.001 % |
41.65/41.76 c | 355437 | 351 1520 4618 | 16673 15682 17 | 0.001 % |
41.65/41.79 c | 355614 | 351 1520 4618 | 16673 15859 17 | 0.001 % |
41.75/41.81 c | 355809 | 351 1520 4618 | 16673 16054 17 | 0.001 % |
41.75/41.84 c | 356022 | 351 1520 4618 | 16673 16267 17 | 0.001 % |
41.75/41.88 c | 356256 | 351 1520 4618 | 16673 16501 17 | 0.001 % |
41.85/41.92 c | 356514 | 351 1520 4618 | 16673 13469 17 | 0.001 % |
41.85/41.95 c | 356796 | 351 1520 4618 | 16673 13751 17 | 0.001 % |
41.85/41.98 c | 357107 | 351 1520 4618 | 16673 14062 17 | 0.001 % |
41.95/42.03 c | 357446 | 351 1520 4618 | 16673 14401 17 | 0.001 % |
41.95/42.07 c | 357818 | 351 1520 4618 | 16673 14773 17 | 0.001 % |
42.05/42.13 c | 358229 | 351 1520 4618 | 16673 15184 17 | 0.001 % |
42.05/42.19 c | 358678 | 351 1520 4618 | 16673 15633 17 | 0.001 % |
42.15/42.25 c | 359171 | 351 1520 4618 | 16673 16126 17 | 0.001 % |
42.25/42.33 c | 359713 | 351 1520 4618 | 16673 16668 17 | 0.001 % |
42.35/42.41 c | 360309 | 351 1520 4618 | 13749 11433 17 | 0.001 % |
42.35/42.47 c | 360964 | 351 1520 4618 | 13749 12088 17 | 0.001 % |
42.45/42.55 c | 361684 | 351 1520 4618 | 13749 12808 17 | 0.001 % |
42.55/42.63 c | 362477 | 351 1520 4618 | 13749 13601 17 | 0.001 % |
42.65/42.72 c | 363349 | 351 1520 4618 | 13749 12316 17 | 0.001 % |
42.75/42.82 c | 364308 | 351 1520 4618 | 13749 13275 17 | 0.001 % |
42.85/42.93 c | 365363 | 351 1520 4618 | 13749 12371 17 | 0.001 % |
42.95/43.06 c | 366524 | 351 1520 4618 | 13749 13532 17 | 0.001 % |
43.15/43.21 c | 367797 | 351 1520 4618 | 13749 12865 17 | 0.001 % |
43.25/43.35 c | 369199 | 351 1520 4618 | 13749 12313 17 | 0.001 % |
43.45/43.53 c | 370739 | 351 1520 4618 | 13114 11978 17 | 0.001 % |
43.55/43.68 c | 372435 | 351 1520 4618 | 13114 12033 17 | 0.001 % |
43.75/43.86 c | 374298 | 351 1520 4618 | 13114 12360 17 | 0.001 % |
43.95/44.08 c | 376347 | 351 1520 4618 | 13114 12905 17 | 0.001 % |
44.25/44.33 c | 378601 | 351 1520 4618 | 13114 12254 17 | 0.001 % |
44.45/44.57 c | 381079 | 351 1520 4618 | 12224 12000 17 | 0.001 % |
44.75/44.82 c | 383806 | 351 1520 4618 | 12224 12273 17 | 0.001 % |
45.05/45.11 c | 386803 | 351 1520 4618 | 12224 11592 17 | 0.001 % |
45.35/45.43 c | 390099 | 351 1520 4618 | 2147483647 11207 18 | 0.001 % |
45.75/45.81 c | 393724 | 351 1520 4618 | 2147483647 14832 18 | 0.001 % |
45.75/45.82 c | 393825 | 351 1520 4618 | 2147483647 14933 18 | 0.001 % |
45.75/45.84 c | 393936 | 351 1520 4618 | 2147483647 15044 18 | 0.001 % |
45.75/45.85 c | 394058 | 351 1520 4618 | 2147483647 15166 18 | 0.001 % |
45.75/45.87 c | 394191 | 351 1520 4618 | 2147483647 15299 18 | 0.001 % |
45.75/45.89 c | 394339 | 351 1520 4618 | 2147483647 15447 18 | 0.001 % |
45.84/45.91 c | 394499 | 351 1520 4618 | 2147483647 15607 18 | 0.001 % |
45.84/45.93 c | 394675 | 351 1520 4618 | 2147483647 15783 18 | 0.001 % |
45.84/45.96 c | 394868 | 351 1520 4618 | 2147483647 15976 18 | 0.001 % |
45.84/45.99 c | 395080 | 351 1520 4618 | 2147483647 16188 18 | 0.001 % |
45.94/46.02 c | 395314 | 351 1520 4618 | 2147483647 16422 18 | 0.001 % |
45.94/46.06 c | 395570 | 351 1520 4618 | 2147483647 16678 18 | 0.001 % |
45.94/46.10 c | 395851 | 351 1520 4618 | 2147483647 16959 18 | 0.001 % |
46.05/46.15 c | 396162 | 351 1520 4618 | 2147483647 17270 18 | 0.001 % |
46.05/46.19 c | 396501 | 351 1520 4618 | 2147483647 17609 18 | 0.001 % |
46.15/46.24 c | 396873 | 351 1520 4618 | 2147483647 17981 18 | 0.001 % |
46.24/46.30 c | 397282 | 351 1520 4618 | 2147483647 18390 18 | 0.001 % |
46.24/46.36 c | 397731 | 351 1520 4618 | 2147483647 18839 18 | 0.001 % |
46.34/46.44 c | 398224 | 351 1520 4618 | 2147483647 19332 18 | 0.001 % |
46.44/46.52 c | 398768 | 351 1520 4618 | 2147483647 19876 18 | 0.001 % |
46.54/46.62 c | 399365 | 351 1520 4618 | 2147483647 20473 18 | 0.001 % |
46.64/46.73 c | 400021 | 351 1520 4618 | 21109 21129 18 | 0.001 % |
46.74/46.86 c | 400743 | 351 1520 4618 | 21109 17934 18 | 0.001 % |
46.84/46.96 c | 401535 | 351 1520 4618 | 21109 18726 18 | 0.001 % |
47.04/47.10 c | 402406 | 351 1520 4618 | 21109 19597 18 | 0.001 % |
47.15/47.24 c | 403366 | 351 1520 4618 | 21109 20557 18 | 0.001 % |
47.25/47.39 c | 404420 | 351 1520 4618 | 21109 16717 17 | 0.001 % |
47.44/47.55 c | 405580 | 351 1520 4618 | 21109 17877 18 | 0.001 % |
47.64/47.73 c | 406854 | 351 1520 4618 | 21109 19151 17 | 0.001 % |
47.84/47.92 c | 408256 | 351 1520 4618 | 21109 20553 18 | 0.001 % |
48.04/48.13 c | 409798 | 351 1520 4618 | 21109 17079 17 | 0.001 % |
48.25/48.35 c | 411493 | 351 1520 4618 | 17281 14691 17 | 0.001 % |
48.44/48.56 c | 413357 | 351 1520 4618 | 17281 16555 17 | 0.001 % |
48.74/48.84 c | 415407 | 351 1520 4618 | 17281 14810 17 | 0.001 % |
49.04/49.11 c | 417660 | 351 1520 4618 | 17281 17063 17 | 0.001 % |
49.35/49.44 c | 420140 | 351 1520 4618 | 15663 12513 16 | 0.001 % |
49.64/49.77 c | 422866 | 351 1520 4618 | 15663 15239 17 | 0.001 % |
50.04/50.15 c | 425867 | 351 1520 4618 | 15663 15308 16 | 0.001 % |
50.45/50.56 c | 429163 | 351 1520 4618 | 15663 15648 16 | 0.001 % |
50.84/50.94 c | 432790 | 351 1520 4618 | 13504 11765 16 | 0.001 % |
51.24/51.39 c | 436780 | 351 1520 4618 | 13504 11836 16 | 0.001 % |
51.34/51.40 c | 436884 | 351 1520 4618 | 13504 11940 16 | 0.001 % |
51.34/51.41 c | 436994 | 351 1520 4618 | 13504 12050 16 | 0.001 % |
51.34/51.43 c | 437115 | 351 1520 4618 | 13504 12171 16 | 0.001 % |
51.34/51.44 c | 437248 | 351 1520 4618 | 13504 12304 16 | 0.001 % |
51.34/51.45 c | 437394 | 351 1520 4618 | 13504 12450 17 | 0.001 % |
51.34/51.47 c | 437554 | 351 1520 4618 | 13504 12610 17 | 0.001 % |
51.34/51.49 c | 437731 | 351 1520 4618 | 13504 12787 17 | 0.001 % |
51.44/51.51 c | 437924 | 351 1520 4618 | 13504 12980 17 | 0.001 % |
51.44/51.53 c | 438136 | 351 1520 4618 | 13504 13192 17 | 0.001 % |
51.44/51.56 c | 438370 | 351 1520 4618 | 13504 13426 17 | 0.001 % |
51.44/51.59 c | 438627 | 351 1520 4618 | 13504 11764 17 | 0.001 % |
51.54/51.62 c | 438909 | 351 1520 4618 | 13504 12046 17 | 0.001 % |
51.54/51.64 c | 439218 | 351 1520 4618 | 13504 12355 17 | 0.001 % |
51.54/51.68 c | 439559 | 351 1520 4618 | 13504 12696 17 | 0.001 % |
51.64/51.73 c | 439934 | 351 1520 4618 | 13504 13071 17 | 0.001 % |
51.64/51.78 c | 440343 | 351 1520 4618 | 13137 11667 17 | 0.001 % |
51.74/51.83 c | 440792 | 351 1520 4618 | 13137 12116 17 | 0.001 % |
51.74/51.89 c | 441287 | 351 1520 4618 | 13137 12611 17 | 0.001 % |
51.84/51.95 c | 441829 | 351 1520 4618 | 13137 13153 17 | 0.001 % |
51.94/52.01 c | 442425 | 351 1520 4618 | 13137 12046 17 | 0.001 % |
51.94/52.09 c | 443082 | 351 1520 4618 | 13137 12703 17 | 0.001 % |
52.04/52.18 c | 443802 | 351 1520 4618 | 13137 11781 17 | 0.001 % |
52.14/52.25 c | 444594 | 351 1520 4618 | 13137 12573 17 | 0.001 % |
52.24/52.34 c | 445466 | 351 1520 4618 | 13137 11841 17 | 0.001 % |
52.34/52.43 c | 446427 | 351 1520 4618 | 13137 12802 17 | 0.001 % |
52.44/52.56 c | 447481 | 351 1520 4618 | 13137 12271 17 | 0.001 % |
52.54/52.69 c | 448640 | 351 1520 4618 | 13137 11855 17 | 0.001 % |
52.74/52.82 c | 449913 | 351 1520 4618 | 13137 13128 17 | 0.001 % |
52.84/52.95 c | 451315 | 351 1520 4618 | 11674 11630 17 | 0.001 % |
53.04/53.11 c | 452855 | 351 1520 4618 | 11674 10830 17 | 0.001 % |
53.14/53.29 c | 454550 | 351 1520 4618 | 11674 11356 17 | 0.001 % |
53.34/53.49 c | 456413 | 351 1520 4618 | 11674 10876 17 | 0.001 % |
53.64/53.71 c | 458462 | 351 1520 4618 | 11674 10583 17 | 0.001 % |
53.84/53.93 c | 460717 | 351 1520 4618 | 2147483647 11667 17 | 0.001 % |
54.14/54.20 c | 463195 | 351 1520 4618 | 2147483647 14145 17 | 0.001 % |
54.44/54.58 c | 465921 | 351 1520 4618 | 2147483647 16871 17 | 0.001 % |
54.94/55.02 c | 468918 | 351 1520 4618 | 2147483647 19868 17 | 0.001 % |
55.44/55.58 c | 472215 | 351 1520 4618 | 20951 19103 17 | 0.001 % |
56.04/56.10 c | 475842 | 351 1520 4618 | 20951 17982 17 | 0.001 % |
56.64/56.71 c | 479829 | 351 1520 4618 | 20951 17104 17 | 0.001 % |
57.14/57.22 c | 484215 | 351 1520 4618 | 17277 14204 18 | 0.001 % |
57.14/57.24 c | 484316 | 351 1520 4618 | 17277 14305 18 | 0.001 % |
57.14/57.25 c | 484427 | 351 1520 4618 | 17277 14416 18 | 0.001 % |
57.14/57.27 c | 484548 | 351 1520 4618 | 17277 14537 18 | 0.001 % |
57.14/57.29 c | 484681 | 351 1520 4618 | 17277 14670 18 | 0.001 % |
57.24/57.31 c | 484827 | 351 1520 4618 | 17277 14816 18 | 0.001 % |
57.24/57.32 c | 484989 | 351 1520 4618 | 17277 14978 18 | 0.001 % |
57.24/57.35 c | 485165 | 351 1520 4618 | 17277 15154 18 | 0.001 % |
57.24/57.37 c | 485358 | 351 1520 4618 | 17277 15347 18 | 0.001 % |
57.34/57.40 c | 485572 | 351 1520 4618 | 17277 15561 18 | 0.001 % |
57.34/57.44 c | 485808 | 351 1520 4618 | 17277 15797 18 | 0.001 % |
57.34/57.47 c | 486067 | 351 1520 4618 | 17277 16056 18 | 0.001 % |
57.44/57.52 c | 486348 | 351 1520 4618 | 17277 16337 18 | 0.001 % |
57.44/57.57 c | 486657 | 351 1520 4618 | 17277 16646 18 | 0.001 % |
57.54/57.63 c | 486997 | 351 1520 4618 | 17277 16986 18 | 0.001 % |
57.64/57.71 c | 487370 | 351 1520 4618 | 17277 13774 17 | 0.001 % |
57.64/57.76 c | 487780 | 351 1520 4618 | 17277 14184 17 | 0.001 % |
57.74/57.83 c | 488230 | 351 1520 4618 | 17277 14634 17 | 0.001 % |
57.74/57.89 c | 488723 | 351 1520 4618 | 17277 15127 17 | 0.001 % |
57.83/57.96 c | 489265 | 351 1520 4618 | 17277 15669 17 | 0.001 % |
57.93/58.04 c | 489861 | 351 1520 4618 | 17277 16265 17 | 0.001 % |
58.03/58.14 c | 490516 | 351 1520 4618 | 16405 13545 17 | 0.001 % |
58.14/58.21 c | 491237 | 351 1520 4618 | 16405 14266 17 | 0.001 % |
58.24/58.31 c | 492029 | 351 1520 4618 | 16405 15058 17 | 0.001 % |
58.34/58.41 c | 492900 | 351 1520 4618 | 16405 15929 17 | 0.001 % |
58.44/58.53 c | 493858 | 351 1520 4618 | 16405 13773 17 | 0.001 % |
58.54/58.65 c | 494911 | 351 1520 4618 | 16405 14826 17 | 0.001 % |
58.74/58.81 c | 496069 | 351 1520 4618 | 16405 15984 17 | 0.001 % |
58.84/58.98 c | 497342 | 351 1520 4618 | 16405 14163 17 | 0.001 % |
59.04/59.14 c | 498743 | 351 1520 4618 | 16405 15564 17 | 0.001 % |
59.24/59.34 c | 500283 | 351 1520 4618 | 13772 11515 16 | 0.001 % |
59.43/59.55 c | 501981 | 351 1520 4618 | 13772 13213 17 | 0.001 % |
59.63/59.75 c | 503845 | 351 1520 4618 | 13772 12763 16 | 0.001 % |
59.83/59.97 c | 505894 | 351 1520 4618 | 13772 12703 17 | 0.001 % |
60.13/60.21 c | 508148 | 351 1520 4618 | 13772 12989 17 | 0.001 % |
60.34/60.48 c | 510628 | 351 1520 4618 | 12914 11733 17 | 0.001 % |
60.63/60.77 c | 513354 | 351 1520 4618 | 12914 12839 17 | 0.001 % |
60.93/61.07 c | 516351 | 351 1520 4618 | 12914 12738 18 | 0.001 % |
61.33/61.43 c | 519648 | 351 1520 4618 | 12914 11725 18 | 0.001 % |
61.63/61.78 c | 523273 | 351 1520 4618 | 12078 11592 18 | 0.001 % |
62.13/62.21 c | 527263 | 351 1520 4618 | 12078 11949 18 | 0.001 % |
62.54/62.66 c | 531648 | 351 1520 4618 | 10799 10187 18 | 0.001 % |
63.03/63.11 c | 536471 | 351 1520 4618 | 10799 10679 18 | 0.001 % |
63.03/63.12 c | 536571 | 351 1520 4618 | 10799 10779 18 | 0.001 % |
63.03/63.13 c | 536682 | 351 1520 4618 | 10799 9805 17 | 0.001 % |
63.03/63.14 c | 536803 | 351 1520 4618 | 10799 9926 17 | 0.001 % |
63.03/63.15 c | 536936 | 351 1520 4618 | 10799 10059 17 | 0.001 % |
63.03/63.17 c | 537084 | 351 1520 4618 | 10799 10207 17 | 0.001 % |
63.03/63.18 c | 537245 | 351 1520 4618 | 10799 10368 17 | 0.001 % |
63.03/63.20 c | 537422 | 351 1520 4618 | 10799 10545 17 | 0.001 % |
63.13/63.21 c | 537617 | 351 1520 4618 | 10799 10740 17 | 0.001 % |
63.13/63.23 c | 537829 | 351 1520 4618 | 10799 9870 17 | 0.001 % |
63.13/63.26 c | 538064 | 351 1520 4618 | 10799 10105 17 | 0.001 % |
63.13/63.29 c | 538320 | 351 1520 4618 | 10799 10361 17 | 0.001 % |
63.23/63.31 c | 538601 | 351 1520 4618 | 10799 10642 17 | 0.001 % |
63.23/63.34 c | 538910 | 351 1520 4618 | 10799 9868 17 | 0.001 % |
63.23/63.38 c | 539249 | 351 1520 4618 | 10799 10207 17 | 0.001 % |
63.33/63.42 c | 539621 | 351 1520 4618 | 10799 10579 17 | 0.001 % |
63.33/63.47 c | 540030 | 351 1520 4618 | 2147483647 9903 17 | 0.001 % |
63.43/63.51 c | 540480 | 351 1520 4618 | 2147483647 10353 17 | 0.001 % |
63.43/63.56 c | 540976 | 351 1520 4618 | 2147483647 10849 17 | 0.001 % |
63.53/63.61 c | 541518 | 351 1520 4618 | 2147483647 11391 17 | 0.001 % |
63.53/63.67 c | 542116 | 351 1520 4618 | 2147483647 11989 18 | 0.001 % |
63.63/63.74 c | 542773 | 351 1520 4618 | 2147483647 12646 18 | 0.001 % |
63.73/63.82 c | 543494 | 351 1520 4618 | 2147483647 13367 18 | 0.001 % |
63.83/63.90 c | 544287 | 351 1520 4618 | 2147483647 14160 18 | 0.001 % |
63.93/64.01 c | 545159 | 351 1520 4618 | 2147483647 15032 18 | 0.001 % |
64.03/64.13 c | 546118 | 351 1520 4618 | 2147483647 15991 18 | 0.001 % |
64.13/64.26 c | 547174 | 351 1520 4618 | 2147483647 17047 18 | 0.001 % |
64.33/64.42 c | 548332 | 351 1520 4618 | 2147483647 18205 18 | 0.001 % |
64.53/64.61 c | 549605 | 351 1520 4618 | 2147483647 19478 18 | 0.001 % |
64.63/64.80 c | 551008 | 351 1520 4618 | 19873 17788 18 | 0.001 % |
64.93/65.05 c | 552550 | 351 1520 4618 | 19873 19330 18 | 0.001 % |
65.13/65.29 c | 554245 | 351 1520 4618 | 19873 16931 17 | 0.001 % |
65.43/65.55 c | 556108 | 351 1520 4618 | 19873 18794 17 | 0.001 % |
65.73/65.84 c | 558158 | 351 1520 4618 | 19873 16503 17 | 0.001 % |
66.03/66.13 c | 560412 | 351 1520 4618 | 18345 14783 17 | 0.001 % |
66.33/66.44 c | 562890 | 351 1520 4618 | 18345 17261 17 | 0.001 % |
66.63/66.76 c | 565617 | 351 1520 4618 | 18345 15810 17 | 0.001 % |
67.03/67.12 c | 568614 | 351 1520 4618 | 18345 14754 17 | 0.001 % |
67.43/67.50 c | 571910 | 351 1520 4618 | 16140 14541 17 | 0.001 % |
67.83/67.95 c | 575536 | 351 1520 4618 | 16140 14863 17 | 0.001 % |
68.33/68.40 c | 579525 | 351 1520 4618 | 16140 15761 17 | 0.001 % |
68.73/68.86 c | 583910 | 351 1520 4618 | 13263 12710 17 | 0.001 % |
69.23/69.36 c | 588733 | 351 1520 4618 | 13263 11968 17 | 0.001 % |
69.83/69.92 c | 594040 | 351 1520 4618 | 13236 12183 17 | 0.001 % |
69.83/69.93 c | 594140 | 351 1520 4618 | 13236 12283 17 | 0.001 % |
69.83/69.94 c | 594252 | 351 1520 4618 | 13236 12395 17 | 0.001 % |
69.83/69.96 c | 594373 | 351 1520 4618 | 13236 12516 17 | 0.001 % |
69.83/69.97 c | 594507 | 351 1520 4618 | 13236 12650 17 | 0.001 % |
69.83/69.99 c | 594653 | 351 1520 4618 | 13236 12796 17 | 0.001 % |
69.93/70.01 c | 594814 | 351 1520 4618 | 13236 12957 17 | 0.001 % |
69.93/70.02 c | 594990 | 351 1520 4618 | 13236 13133 17 | 0.001 % |
69.93/70.05 c | 595183 | 351 1520 4618 | 13236 11682 17 | 0.001 % |
69.93/70.07 c | 595395 | 351 1520 4618 | 13236 11894 17 | 0.001 % |
69.93/70.09 c | 595630 | 351 1520 4618 | 13236 12129 17 | 0.001 % |
70.04/70.12 c | 595886 | 351 1520 4618 | 13236 12385 17 | 0.001 % |
70.04/70.16 c | 596167 | 351 1520 4618 | 13236 12666 17 | 0.001 % |
70.04/70.18 c | 596476 | 351 1520 4618 | 13236 12975 17 | 0.001 % |
70.14/70.22 c | 596815 | 351 1520 4618 | 13236 11681 16 | 0.001 % |
70.14/70.25 c | 597187 | 351 1520 4618 | 13236 12053 17 | 0.001 % |
70.14/70.30 c | 597599 | 351 1520 4618 | 13236 12465 17 | 0.001 % |
70.24/70.35 c | 598048 | 351 1520 4618 | 13236 12914 17 | 0.001 % |
70.34/70.41 c | 598542 | 351 1520 4618 | 13236 11725 17 | 0.001 % |
70.34/70.47 c | 599084 | 351 1520 4618 | 13236 12267 17 | 0.001 % |
70.44/70.52 c | 599680 | 351 1520 4618 | 13236 12863 17 | 0.001 % |
70.54/70.60 c | 600336 | 351 1520 4618 | 13187 11887 17 | 0.001 % |
70.54/70.67 c | 601056 | 351 1520 4618 | 13187 12607 17 | 0.001 % |
70.63/70.75 c | 601848 | 351 1520 4618 | 13187 11911 17 | 0.001 % |
70.73/70.83 c | 602719 | 351 1520 4618 | 13187 12782 17 | 0.001 % |
70.83/70.94 c | 603677 | 351 1520 4618 | 13187 12321 17 | 0.001 % |
70.93/71.04 c | 604730 | 351 1520 4618 | 13187 11979 17 | 0.001 % |
71.03/71.15 c | 605890 | 351 1520 4618 | 13187 13139 17 | 0.001 % |
71.23/71.30 c | 607164 | 351 1520 4618 | 13187 13081 17 | 0.001 % |
71.34/71.45 c | 608565 | 351 1520 4618 | 13187 13150 17 | 0.001 % |
71.53/71.62 c | 610105 | 351 1520 4618 | 2147483647 12047 17 | 0.001 % |
71.73/71.81 c | 611799 | 351 1520 4618 | 2147483647 13741 17 | 0.001 % |
71.93/72.05 c | 613665 | 351 1520 4618 | 2147483647 15607 17 | 0.001 % |
72.23/72.34 c | 615714 | 351 1520 4618 | 2147483647 17656 17 | 0.001 % |
72.54/72.67 c | 617967 | 351 1520 4618 | 2147483647 19909 18 | 0.001 % |
72.93/73.07 c | 620446 | 351 1520 4618 | 21942 18057 17 | 0.001 % |
73.33/73.47 c | 623171 | 351 1520 4618 | 21942 20782 18 | 0.001 % |
73.83/73.94 c | 626169 | 351 1520 4618 | 21942 18555 17 | 0.001 % |
74.33/74.41 c | 629467 | 351 1520 4618 | 21942 21853 18 | 0.001 % |
74.83/74.95 c | 633093 | 351 1520 4618 | 17031 16011 17 | 0.001 % |
75.23/75.40 c | 637080 | 351 1520 4618 | 17031 16022 18 | 0.001 % |
75.84/75.91 c | 641465 | 351 1520 4618 | 15119 13297 17 | 0.001 % |
76.33/76.44 c | 646288 | 351 1520 4618 | 15119 13080 17 | 0.001 % |
76.93/77.03 c | 651593 | 351 1520 4618 | 14417 13740 17 | 0.001 % |
77.53/77.65 c | 657429 | 351 1520 4618 | 14417 13216 17 | 0.001 % |
77.53/77.66 c | 657530 | 351 1520 4618 | 14417 13317 17 | 0.001 % |
77.53/77.67 c | 657640 | 351 1520 4618 | 14417 13427 17 | 0.001 % |
77.53/77.69 c | 657761 | 351 1520 4618 | 14417 13548 17 | 0.001 % |
77.63/77.71 c | 657894 | 351 1520 4618 | 14417 13681 17 | 0.001 % |
77.63/77.72 c | 658040 | 351 1520 4618 | 14417 13827 17 | 0.001 % |
77.63/77.75 c | 658201 | 351 1520 4618 | 14417 13988 17 | 0.001 % |
77.63/77.77 c | 658378 | 351 1520 4618 | 14417 14165 17 | 0.001 % |
77.63/77.79 c | 658572 | 351 1520 4618 | 14417 14359 17 | 0.001 % |
77.73/77.83 c | 658784 | 351 1520 4618 | 14417 12350 17 | 0.001 % |
77.73/77.86 c | 659017 | 351 1520 4618 | 14417 12583 17 | 0.001 % |
77.73/77.89 c | 659273 | 351 1520 4618 | 14417 12839 17 | 0.001 % |
77.83/77.92 c | 659554 | 351 1520 4618 | 14417 13120 17 | 0.001 % |
77.83/77.96 c | 659863 | 351 1520 4618 | 14417 13429 17 | 0.001 % |
77.93/78.01 c | 660203 | 351 1520 4618 | 13567 11679 16 | 0.001 % |
77.93/78.06 c | 660575 | 351 1520 4618 | 13567 12051 17 | 0.001 % |
78.03/78.11 c | 660985 | 351 1520 4618 | 13567 12461 17 | 0.001 % |
78.03/78.17 c | 661434 | 351 1520 4618 | 13567 12910 17 | 0.001 % |
78.13/78.22 c | 661928 | 351 1520 4618 | 13567 13404 17 | 0.001 % |
78.13/78.28 c | 662471 | 351 1520 4618 | 13567 11824 16 | 0.001 % |
78.23/78.34 c | 663068 | 351 1520 4618 | 13567 12421 16 | 0.001 % |
78.33/78.43 c | 663725 | 351 1520 4618 | 13567 13078 17 | 0.001 % |
78.43/78.53 c | 664445 | 351 1520 4618 | 13567 11658 16 | 0.001 % |
78.53/78.62 c | 665237 | 351 1520 4618 | 13567 12450 16 | 0.001 % |
78.63/78.73 c | 666109 | 351 1520 4618 | 13567 13322 16 | 0.001 % |
78.73/78.85 c | 667067 | 351 1520 4618 | 13567 12100 16 | 0.001 % |
78.83/78.99 c | 668120 | 351 1520 4618 | 13567 13153 16 | 0.001 % |
79.03/79.13 c | 669279 | 351 1520 4618 | 13567 12063 17 | 0.001 % |
79.13/79.27 c | 670553 | 351 1520 4618 | 12785 11313 16 | 0.001 % |
79.32/79.41 c | 671954 | 351 1520 4618 | 12785 12714 17 | 0.001 % |
79.42/79.55 c | 673495 | 351 1520 4618 | 12785 12523 16 | 0.001 % |
79.62/79.73 c | 675189 | 351 1520 4618 | 12785 12648 16 | 0.001 % |
79.82/79.93 c | 677054 | 351 1520 4618 | 12785 11463 16 | 0.001 % |
80.02/80.14 c | 679103 | 351 1520 4618 | 12785 11963 16 | 0.001 % |
80.23/80.37 c | 681357 | 351 1520 4618 | 11313 11292 16 | 0.001 % |
80.52/80.64 c | 683835 | 351 1520 4618 | 11313 11143 16 | 0.001 % |
80.82/80.93 c | 686561 | 351 1520 4618 | 11313 11129 16 | 0.001 % |
81.12/81.29 c | 689558 | 351 1520 4618 | 11313 9921 16 | 0.001 % |
81.52/81.60 c | 692855 | 351 1520 4618 | 10363 9765 16 | 0.001 % |
81.82/81.95 c | 696481 | 351 1520 4618 | 10363 10261 16 | 0.001 % |
82.22/82.33 c | 700468 | 351 1520 4618 | 2147483647 10092 16 | 0.001 % |
82.62/82.79 c | 704853 | 351 1520 4618 | 2147483647 14477 17 | 0.001 % |
83.32/83.48 c | 709676 | 351 1520 4618 | 2147483647 19300 17 | 0.001 % |
84.12/84.22 c | 714981 | 351 1520 4618 | 19624 16936 17 | 0.001 % |
84.82/84.91 c | 720817 | 351 1520 4618 | 17693 14888 17 | 0.001 % |
85.62/85.72 c | 727235 | 351 1520 4618 | 17693 17706 17 | 0.001 % |
85.62/85.75 c | 727335 | 351 1520 4618 | 17693 14159 17 | 0.001 % |
85.62/85.76 c | 727446 | 351 1520 4618 | 17693 14270 17 | 0.001 % |
85.62/85.79 c | 727569 | 351 1520 4618 | 17693 14393 17 | 0.001 % |
85.72/85.81 c | 727706 | 351 1520 4618 | 17693 14530 17 | 0.001 % |
85.72/85.83 c | 727854 | 351 1520 4618 | 17693 14678 17 | 0.001 % |
85.72/85.85 c | 728014 | 351 1520 4618 | 17693 14838 17 | 0.001 % |
85.72/85.88 c | 728190 | 351 1520 4618 | 17693 15014 17 | 0.001 % |
85.82/85.90 c | 728383 | 351 1520 4618 | 17693 15207 17 | 0.001 % |
85.82/85.93 c | 728595 | 351 1520 4618 | 17693 15419 17 | 0.001 % |
85.82/85.96 c | 728831 | 351 1520 4618 | 17693 15655 17 | 0.001 % |
85.82/85.99 c | 729087 | 351 1520 4618 | 17693 15911 17 | 0.001 % |
85.92/86.04 c | 729368 | 351 1520 4618 | 17693 16192 17 | 0.001 % |
85.92/86.08 c | 729677 | 351 1520 4618 | 17693 16501 17 | 0.001 % |
86.02/86.12 c | 730016 | 351 1520 4618 | 16824 16840 17 | 0.001 % |
86.02/86.18 c | 730388 | 351 1520 4618 | 16824 13622 17 | 0.001 % |
86.12/86.22 c | 730797 | 351 1520 4618 | 16824 14031 17 | 0.001 % |
86.12/86.28 c | 731246 | 351 1520 4618 | 16824 14480 17 | 0.001 % |
86.22/86.33 c | 731739 | 351 1520 4618 | 16824 14973 17 | 0.001 % |
86.32/86.41 c | 732281 | 351 1520 4618 | 16824 15515 17 | 0.001 % |
86.32/86.49 c | 732877 | 351 1520 4618 | 16824 16111 17 | 0.001 % |
86.42/86.57 c | 733532 | 351 1520 4618 | 16824 16766 17 | 0.001 % |
86.52/86.66 c | 734252 | 351 1520 4618 | 16824 14051 17 | 0.001 % |
86.62/86.76 c | 735044 | 351 1520 4618 | 16824 14843 17 | 0.001 % |
86.72/86.87 c | 735916 | 351 1520 4618 | 16824 15715 17 | 0.001 % |
86.92/87.00 c | 736876 | 351 1520 4618 | 16824 16675 17 | 0.001 % |
87.02/87.15 c | 737929 | 351 1520 4618 | 16824 14280 17 | 0.001 % |
87.12/87.29 c | 739089 | 351 1520 4618 | 16824 15440 17 | 0.001 % |
87.32/87.47 c | 740362 | 351 1520 4618 | 16351 13371 17 | 0.001 % |
87.52/87.62 c | 741762 | 351 1520 4618 | 16351 14771 17 | 0.001 % |
87.62/87.77 c | 743302 | 351 1520 4618 | 16351 16311 17 | 0.001 % |
87.82/87.96 c | 744996 | 351 1520 4618 | 16351 14888 17 | 0.001 % |
88.02/88.17 c | 746859 | 351 1520 4618 | 16351 13821 17 | 0.001 % |
88.31/88.40 c | 748908 | 351 1520 4618 | 16351 15870 17 | 0.001 % |
88.51/88.66 c | 751162 | 351 1520 4618 | 14141 12897 17 | 0.001 % |
88.81/88.90 c | 753640 | 351 1520 4618 | 14141 13389 18 | 0.001 % |
89.11/89.22 c | 756367 | 351 1520 4618 | 14141 12354 18 | 0.001 % |
89.41/89.55 c | 759364 | 351 1520 4618 | 14141 13465 18 | 0.001 % |
89.81/89.96 c | 762660 | 351 1520 4618 | 14101 12670 18 | 0.001 % |
90.31/90.40 c | 766286 | 351 1520 4618 | 14101 14138 18 | 0.001 % |
90.71/90.89 c | 770274 | 351 1520 4618 | 13350 11519 17 | 0.001 % |
91.22/91.33 c | 774659 | 351 1520 4618 | 13350 12587 17 | 0.001 % |
91.71/91.80 c | 779483 | 351 1520 4618 | 13350 12830 17 | 0.001 % |
92.32/92.41 c | 784789 | 351 1520 4618 | 13347 12948 17 | 0.001 % |
92.91/93.08 c | 790626 | 351 1520 4618 | 11934 10682 16 | 0.001 % |
93.61/93.76 c | 797044 | 351 1520 4618 | 11934 10688 16 | 0.001 % |
94.21/94.35 c | 804104 | 351 1520 4618 | 10794 10401 17 | 0.001 % |
94.21/94.36 c | 804205 | 351 1520 4618 | 10794 10502 17 | 0.001 % |
94.21/94.38 c | 804318 | 351 1520 4618 | 10794 10615 17 | 0.001 % |
94.21/94.39 c | 804439 | 351 1520 4618 | 10794 10736 17 | 0.001 % |
94.31/94.41 c | 804573 | 351 1520 4618 | 10794 9789 17 | 0.001 % |
94.31/94.43 c | 804722 | 351 1520 4618 | 10794 9938 17 | 0.001 % |
94.31/94.44 c | 804883 | 351 1520 4618 | 10794 10099 17 | 0.001 % |
94.31/94.46 c | 805060 | 351 1520 4618 | 10794 10276 17 | 0.001 % |
94.31/94.48 c | 805254 | 351 1520 4618 | 10794 10470 17 | 0.001 % |
94.41/94.51 c | 805467 | 351 1520 4618 | 10794 10683 17 | 0.001 % |
94.41/94.54 c | 805700 | 351 1520 4618 | 10794 9833 17 | 0.001 % |
94.41/94.56 c | 805956 | 351 1520 4618 | 10794 10089 17 | 0.001 % |
94.41/94.58 c | 806238 | 351 1520 4618 | 10794 10371 17 | 0.001 % |
94.51/94.61 c | 806547 | 351 1520 4618 | 10794 10680 17 | 0.001 % |
94.51/94.64 c | 806886 | 351 1520 4618 | 10794 9935 17 | 0.001 % |
94.51/94.68 c | 807258 | 351 1520 4618 | 10794 10307 18 | 0.001 % |
94.61/94.71 c | 807667 | 351 1520 4618 | 10794 10716 18 | 0.001 % |
94.61/94.76 c | 808118 | 351 1520 4618 | 10794 10083 18 | 0.001 % |
94.71/94.80 c | 808612 | 351 1520 4618 | 10794 10577 18 | 0.001 % |
94.71/94.86 c | 809154 | 351 1520 4618 | 10794 10036 17 | 0.001 % |
94.81/94.92 c | 809751 | 351 1520 4618 | 10794 10633 17 | 0.001 % |
94.81/94.98 c | 810407 | 351 1520 4618 | 2147483647 10205 17 | 0.001 % |
94.91/95.05 c | 811130 | 351 1520 4618 | 2147483647 10928 18 | 0.001 % |
95.01/95.13 c | 811922 | 351 1520 4618 | 2147483647 11720 17 | 0.001 % |
95.11/95.23 c | 812793 | 351 1520 4618 | 2147483647 12591 17 | 0.001 % |
95.21/95.34 c | 813751 | 351 1520 4618 | 2147483647 13549 18 | 0.001 % |
95.31/95.48 c | 814805 | 351 1520 4618 | 2147483647 14603 18 | 0.001 % |
95.51/95.61 c | 815965 | 351 1520 4618 | 2147483647 15763 18 | 0.001 % |
95.71/95.81 c | 817240 | 351 1520 4618 | 2147483647 17038 18 | 0.001 % |
95.91/96.03 c | 818640 | 351 1520 4618 | 2147483647 18438 18 | 0.001 % |
96.21/96.30 c | 820180 | 351 1520 4618 | 19798 16595 18 | 0.001 % |
96.41/96.55 c | 821875 | 351 1520 4618 | 19798 18290 18 | 0.001 % |
96.71/96.84 c | 823740 | 351 1520 4618 | 19798 16080 18 | 0.001 % |
97.01/97.11 c | 825789 | 351 1520 4618 | 19798 18129 18 | 0.001 % |
97.31/97.45 c | 828042 | 351 1520 4618 | 19798 16123 18 | 0.001 % |
97.71/97.83 c | 830520 | 351 1520 4618 | 18083 14594 18 | 0.001 % |
98.01/98.19 c | 833247 | 351 1520 4618 | 18083 17321 18 | 0.001 % |
98.41/98.59 c | 836245 | 351 1520 4618 | 18083 16224 17 | 0.001 % |
98.81/98.99 c | 839543 | 351 1520 4618 | 18083 15615 17 | 0.001 % |
99.31/99.42 c | 843168 | 351 1520 4618 | 16073 15869 17 | 0.001 % |
99.81/99.90 c | 847156 | 351 1520 4618 | 16073 13678 17 | 0.001 % |
100.21/100.39 c | 851541 | 351 1520 4618 | 13613 12717 17 | 0.001 % |
100.71/100.89 c | 856369 | 351 1520 4618 | 13613 13615 17 | 0.001 % |
101.31/101.43 c | 861676 | 351 1520 4618 | 13365 13149 16 | 0.001 % |
101.91/102.06 c | 867511 | 351 1520 4618 | 13365 13131 16 | 0.001 % |
102.51/102.64 c | 873929 | 351 1520 4618 | 12084 11627 17 | 0.001 % |
103.21/103.33 c | 880989 | 351 1520 4618 | 2147483647 12587 17 | 0.001 % |
104.11/104.22 c | 888753 | 351 1520 4618 | 2147483647 20351 18 | 0.001 % |
104.11/104.23 c | 888854 | 351 1520 4618 | 2147483647 20452 18 | 0.001 % |
104.11/104.25 c | 888964 | 351 1520 4618 | 2147483647 20562 18 | 0.001 % |
104.11/104.28 c | 889085 | 351 1520 4618 | 2147483647 20683 18 | 0.001 % |
104.21/104.30 c | 889218 | 351 1520 4618 | 2147483647 20816 18 | 0.001 % |
104.21/104.32 c | 889365 | 351 1520 4618 | 2147483647 20963 18 | 0.001 % |
104.21/104.35 c | 889526 | 351 1520 4618 | 2147483647 21124 18 | 0.001 % |
104.21/104.39 c | 889703 | 351 1520 4618 | 2147483647 21301 18 | 0.001 % |
104.31/104.43 c | 889896 | 351 1520 4618 | 2147483647 21494 18 | 0.001 % |
104.31/104.48 c | 890108 | 351 1520 4618 | 21598 18023 18 | 0.001 % |
104.41/104.51 c | 890341 | 351 1520 4618 | 21598 18256 18 | 0.001 % |
104.41/104.54 c | 890598 | 351 1520 4618 | 21598 18513 18 | 0.001 % |
104.41/104.58 c | 890880 | 351 1520 4618 | 21598 18795 18 | 0.001 % |
104.50/104.62 c | 891189 | 351 1520 4618 | 21598 19104 18 | 0.001 % |
104.50/104.67 c | 891528 | 351 1520 4618 | 21598 19443 18 | 0.001 % |
104.60/104.71 c | 891902 | 351 1520 4618 | 21598 19817 18 | 0.001 % |
104.60/104.78 c | 892312 | 351 1520 4618 | 21598 20227 18 | 0.001 % |
104.70/104.85 c | 892762 | 351 1520 4618 | 21598 20677 18 | 0.001 % |
104.80/104.94 c | 893255 | 351 1520 4618 | 21598 21170 18 | 0.001 % |
104.90/105.05 c | 893797 | 351 1520 4618 | 21598 16858 17 | 0.001 % |
105.00/105.12 c | 894393 | 351 1520 4618 | 21598 17454 17 | 0.001 % |
105.10/105.21 c | 895049 | 351 1520 4618 | 21598 18110 17 | 0.001 % |
105.20/105.32 c | 895769 | 351 1520 4618 | 21598 18830 17 | 0.001 % |
105.30/105.45 c | 896561 | 351 1520 4618 | 21598 19622 17 | 0.001 % |
105.41/105.59 c | 897432 | 351 1520 4618 | 21598 20493 17 | 0.001 % |
105.60/105.75 c | 898390 | 351 1520 4618 | 21598 21451 17 | 0.001 % |
105.80/105.93 c | 899445 | 351 1520 4618 | 21598 17459 17 | 0.001 % |
106.00/106.11 c | 900604 | 351 1520 4618 | 18015 14392 17 | 0.001 % |
106.10/106.27 c | 901877 | 351 1520 4618 | 18015 15665 17 | 0.001 % |
106.30/106.46 c | 903277 | 351 1520 4618 | 18015 17065 17 | 0.001 % |
106.51/106.68 c | 904817 | 351 1520 4618 | 18015 14521 17 | 0.001 % |
106.80/106.92 c | 906512 | 351 1520 4618 | 18015 16216 17 | 0.001 % |
107.10/107.20 c | 908375 | 351 1520 4618 | 18015 13844 17 | 0.001 % |
107.30/107.48 c | 910425 | 351 1520 4618 | 15469 12272 16 | 0.001 % |
107.50/107.69 c | 912678 | 351 1520 4618 | 15469 14525 17 | 0.001 % |
107.80/107.99 c | 915156 | 351 1520 4618 | 15469 14031 17 | 0.001 % |
108.20/108.33 c | 917881 | 351 1520 4618 | 15469 13901 17 | 0.001 % |
108.60/108.71 c | 920879 | 351 1520 4618 | 13195 11672 18 | 0.001 % |
109.00/109.11 c | 924178 | 351 1520 4618 | 13195 12726 18 | 0.001 % |
109.40/109.54 c | 927803 | 351 1520 4618 | 13195 12090 17 | 0.001 % |
109.81/109.93 c | 931790 | 351 1520 4618 | 12227 12173 16 | 0.001 % |
110.30/110.42 c | 936176 | 351 1520 4618 | 12227 12247 16 | 0.001 % |
110.80/110.96 c | 941001 | 351 1520 4618 | 11722 11335 17 | 0.001 % |
111.30/111.44 c | 946306 | 351 1520 4618 | 11722 10659 17 | 0.001 % |
111.90/112.06 c | 952141 | 351 1520 4618 | 2147483647 12964 17 | 0.001 % |
112.80/112.98 c | 958561 | 351 1520 4618 | 2147483647 19384 18 | 0.001 % |
113.90/114.09 c | 965620 | 351 1520 4618 | 20823 17284 17 | 0.001 % |
114.90/115.04 c | 973384 | 351 1520 4618 | 16610 15967 16 | 0.001 % |
115.90/116.03 c | 981924 | 351 1520 4618 | 15742 14432 17 | 0.001 % |
115.90/116.05 c | 982025 | 351 1520 4618 | 15742 14533 17 | 0.001 % |
115.90/116.06 c | 982135 | 351 1520 4618 | 15742 14643 17 | 0.001 % |
115.90/116.08 c | 982257 | 351 1520 4618 | 15742 14765 17 | 0.001 % |
115.90/116.09 c | 982390 | 351 1520 4618 | 15742 14898 17 | 0.001 % |
116.00/116.11 c | 982536 | 351 1520 4618 | 15742 15044 17 | 0.001 % |
116.00/116.13 c | 982697 | 351 1520 4618 | 15742 15205 17 | 0.001 % |
116.00/116.15 c | 982873 | 351 1520 4618 | 15742 15381 17 | 0.001 % |
116.00/116.18 c | 983067 | 351 1520 4618 | 15742 15575 17 | 0.001 % |
116.10/116.22 c | 983280 | 351 1520 4618 | 15742 12610 17 | 0.001 % |
116.10/116.25 c | 983517 | 351 1520 4618 | 15742 12847 17 | 0.001 % |
116.10/116.27 c | 983774 | 351 1520 4618 | 15742 13104 17 | 0.001 % |
116.20/116.30 c | 984057 | 351 1520 4618 | 15742 13387 17 | 0.001 % |
116.20/116.34 c | 984370 | 351 1520 4618 | 15742 13700 17 | 0.001 % |
116.20/116.37 c | 984709 | 351 1520 4618 | 15742 14039 17 | 0.001 % |
116.30/116.41 c | 985082 | 351 1520 4618 | 15742 14412 17 | 0.001 % |
116.30/116.46 c | 985492 | 351 1520 4618 | 15742 14822 17 | 0.001 % |
116.40/116.51 c | 985948 | 351 1520 4618 | 15742 15278 17 | 0.001 % |
116.40/116.57 c | 986443 | 351 1520 4618 | 15742 15773 17 | 0.001 % |
116.50/116.65 c | 986988 | 351 1520 4618 | 15742 13296 17 | 0.001 % |
116.60/116.70 c | 987584 | 351 1520 4618 | 15742 13892 17 | 0.001 % |
116.60/116.78 c | 988240 | 351 1520 4618 | 15742 14548 17 | 0.001 % |
116.70/116.86 c | 988961 | 351 1520 4618 | 15742 15269 17 | 0.001 % |
116.80/116.97 c | 989754 | 351 1520 4618 | 15742 13121 17 | 0.001 % |
116.90/117.07 c | 990625 | 351 1520 4618 | 13368 11519 17 | 0.001 % |
117.00/117.16 c | 991585 | 351 1520 4618 | 13368 12479 17 | 0.001 % |
117.10/117.28 c | 992638 | 351 1520 4618 | 13368 11463 17 | 0.001 % |
117.20/117.39 c | 993798 | 351 1520 4618 | 13368 12623 17 | 0.001 % |
117.40/117.54 c | 995071 | 351 1520 4618 | 13368 11918 17 | 0.001 % |
117.50/117.68 c | 996472 | 351 1520 4618 | 13368 13319 17 | 0.001 % |
117.70/117.83 c | 998012 | 351 1520 4618 | 13368 12960 17 | 0.001 % |
117.90/118.00 c | 999707 | 351 1520 4618 | 13368 12895 17 | 0.001 % |
118.00/118.19 c | 1001571 | 351 1520 4618 | 13190 13011 17 | 0.001 % |
118.30/118.40 c | 1003621 | 351 1520 4618 | 13190 11857 17 | 0.001 % |
118.50/118.61 c | 1005874 | 351 1520 4618 | 13190 12561 17 | 0.001 % |
118.70/118.88 c | 1008352 | 351 1520 4618 | 13190 11931 18 | 0.001 % |
119.00/119.17 c | 1011077 | 351 1520 4618 | 12054 11729 17 | 0.001 % |
119.29/119.45 c | 1014076 | 351 1520 4618 | 12054 11939 17 | 0.001 % |
119.59/119.77 c | 1017373 | 351 1520 4618 | 12054 11490 17 | 0.001 % |
119.99/120.12 c | 1021000 | 351 1520 4618 | 2147483647 12700 17 | 0.001 % |
120.39/120.54 c | 1024987 | 351 1520 4618 | 2147483647 16687 18 | 0.001 % |
121.09/121.21 c | 1029373 | 351 1520 4618 | 2147483647 21073 18 | 0.001 % |
121.79/121.99 c | 1034199 | 351 1520 4618 | 21700 21674 18 | 0.001 % |
122.69/122.80 c | 1039507 | 351 1520 4618 | 21700 21469 18 | 0.001 % |
123.29/123.47 c | 1045344 | 351 1520 4618 | 16091 13575 16 | 0.001 % |
124.10/124.21 c | 1051763 | 351 1520 4618 | 14683 13304 15 | 0.001 % |
124.79/124.94 c | 1058823 | 351 1520 4618 | 14683 12555 15 | 0.001 % |
125.59/125.71 c | 1066587 | 351 1520 4618 | 13732 12396 17 | 0.001 % |
126.30/126.48 c | 1075127 | 351 1520 4618 | 12388 12292 18 | 0.001 % |
127.40/127.52 c | 1084521 | 351 1520 4618 | 11336 10543 17 | 0.001 % |
127.40/127.54 c | 1084622 | 351 1520 4618 | 11336 10644 17 | 0.001 % |
127.40/127.55 c | 1084733 | 351 1520 4618 | 11336 10755 17 | 0.001 % |
127.40/127.56 c | 1084854 | 351 1520 4618 | 11336 10876 17 | 0.001 % |
127.40/127.57 c | 1084987 | 351 1520 4618 | 11336 11009 17 | 0.001 % |
127.40/127.59 c | 1085135 | 351 1520 4618 | 11336 11157 17 | 0.001 % |
127.50/127.60 c | 1085295 | 351 1520 4618 | 11336 11317 17 | 0.001 % |
127.50/127.63 c | 1085473 | 351 1520 4618 | 11336 10310 17 | 0.001 % |
127.50/127.64 c | 1085668 | 351 1520 4618 | 11336 10505 17 | 0.001 % |
127.50/127.66 c | 1085882 | 351 1520 4618 | 11336 10719 17 | 0.001 % |
127.50/127.69 c | 1086115 | 351 1520 4618 | 11336 10952 17 | 0.001 % |
127.59/127.71 c | 1086373 | 351 1520 4618 | 11336 11210 17 | 0.001 % |
127.59/127.74 c | 1086654 | 351 1520 4618 | 11336 10355 17 | 0.001 % |
127.59/127.77 c | 1086963 | 351 1520 4618 | 11336 10664 17 | 0.001 % |
127.69/127.81 c | 1087302 | 351 1520 4618 | 11336 11003 17 | 0.001 % |
127.69/127.86 c | 1087675 | 351 1520 4618 | 11336 10241 17 | 0.001 % |
127.79/127.90 c | 1088084 | 351 1520 4618 | 11336 10650 17 | 0.001 % |
127.79/127.95 c | 1088534 | 351 1520 4618 | 11336 11100 17 | 0.001 % |
127.89/128.01 c | 1089027 | 351 1520 4618 | 11336 10457 17 | 0.001 % |
127.89/128.06 c | 1089570 | 351 1520 4618 | 11336 11000 17 | 0.001 % |
127.99/128.13 c | 1090167 | 351 1520 4618 | 2147483647 10460 17 | 0.001 % |
127.99/128.20 c | 1090822 | 351 1520 4618 | 2147483647 11115 17 | 0.001 % |
128.09/128.26 c | 1091542 | 351 1520 4618 | 2147483647 11835 17 | 0.001 % |
128.19/128.34 c | 1092336 | 351 1520 4618 | 2147483647 12629 17 | 0.001 % |
128.29/128.45 c | 1093207 | 351 1520 4618 | 2147483647 13500 17 | 0.001 % |
128.39/128.56 c | 1094165 | 351 1520 4618 | 2147483647 14458 17 | 0.001 % |
128.49/128.69 c | 1095219 | 351 1520 4618 | 2147483647 15512 17 | 0.001 % |
128.69/128.88 c | 1096377 | 351 1520 4618 | 2147483647 16670 17 | 0.001 % |
128.89/129.05 c | 1097651 | 351 1520 4618 | 2147483647 17944 17 | 0.001 % |
129.09/129.27 c | 1099052 | 351 1520 4618 | 2147483647 19345 17 | 0.001 % |
129.39/129.51 c | 1100594 | 351 1520 4618 | 20294 17215 17 | 0.001 % |
129.59/129.77 c | 1102289 | 351 1520 4618 | 20294 18910 17 | 0.001 % |
129.89/130.05 c | 1104152 | 351 1520 4618 | 20294 16333 17 | 0.001 % |
130.19/130.30 c | 1106201 | 351 1520 4618 | 20294 18382 18 | 0.001 % |
130.49/130.63 c | 1108456 | 351 1520 4618 | 20294 16141 18 | 0.001 % |
130.79/130.96 c | 1110934 | 351 1520 4618 | 17685 14743 18 | 0.001 % |
131.09/131.28 c | 1113660 | 351 1520 4618 | 17685 17469 18 | 0.001 % |
131.59/131.70 c | 1116658 | 351 1520 4618 | 17685 16879 18 | 0.001 % |
131.99/132.19 c | 1119955 | 351 1520 4618 | 17685 16377 18 | 0.001 % |
132.49/132.69 c | 1123580 | 351 1520 4618 | 16423 13175 18 | 0.001 % |
132.99/133.11 c | 1127568 | 351 1520 4618 | 16423 13958 18 | 0.001 % |
133.49/133.60 c | 1131954 | 351 1520 4618 | 16393 15368 18 | 0.001 % |
133.99/134.15 c | 1136778 | 351 1520 4618 | 16393 14629 18 | 0.001 % |
134.69/134.85 c | 1142084 | 351 1520 4618 | 15084 14547 17 | 0.001 % |
135.39/135.53 c | 1147921 | 351 1520 4618 | 15084 15091 17 | 0.001 % |
136.09/136.24 c | 1154340 | 351 1520 4618 | 14424 13809 17 | 0.001 % |
136.89/137.02 c | 1161400 | 351 1520 4618 | 12597 12112 17 | 0.001 % |
137.69/137.84 c | 1169164 | 351 1520 4618 | 12597 11857 17 | 0.001 % |
138.49/138.67 c | 1177706 | 351 1520 4618 | 11207 10842 16 | 0.001 % |
139.49/139.64 c | 1187102 | 351 1520 4618 | 2147483647 17988 17 | 0.001 % |
140.99/141.18 c | 1197435 | 351 1520 4618 | 20886 18842 18 | 0.001 % |
140.99/141.19 c | 1197535 | 351 1520 4618 | 20886 18942 18 | 0.001 % |
141.09/141.21 c | 1197645 | 351 1520 4618 | 20886 19052 18 | 0.001 % |
141.09/141.22 c | 1197767 | 351 1520 4618 | 20886 19174 18 | 0.001 % |
141.09/141.24 c | 1197902 | 351 1520 4618 | 20886 19309 18 | 0.001 % |
141.09/141.27 c | 1198049 | 351 1520 4618 | 20886 19456 18 | 0.001 % |
141.19/141.30 c | 1198210 | 351 1520 4618 | 20886 19617 18 | 0.001 % |
141.19/141.32 c | 1198388 | 351 1520 4618 | 20886 19795 18 | 0.001 % |
141.19/141.35 c | 1198581 | 351 1520 4618 | 20886 19988 18 | 0.001 % |
141.19/141.38 c | 1198795 | 351 1520 4618 | 20886 20202 18 | 0.001 % |
141.29/141.42 c | 1199028 | 351 1520 4618 | 20886 20435 18 | 0.001 % |
141.29/141.46 c | 1199285 | 351 1520 4618 | 20886 20692 18 | 0.001 % |
141.39/141.52 c | 1199566 | 351 1520 4618 | 20886 15497 17 | 0.001 % |
141.39/141.56 c | 1199875 | 351 1520 4618 | 20886 15806 17 | 0.001 % |
141.49/141.61 c | 1200215 | 351 1520 4618 | 15931 11997 17 | 0.001 % |
141.49/141.66 c | 1200587 | 351 1520 4618 | 15931 12369 17 | 0.001 % |
141.49/141.69 c | 1200996 | 351 1520 4618 | 15931 12778 17 | 0.001 % |
141.59/141.74 c | 1201445 | 351 1520 4618 | 15931 13227 17 | 0.001 % |
141.59/141.79 c | 1201938 | 351 1520 4618 | 15931 13720 17 | 0.001 % |
141.69/141.84 c | 1202480 | 351 1520 4618 | 15931 14262 17 | 0.001 % |
141.79/141.91 c | 1203076 | 351 1520 4618 | 15931 14858 17 | 0.001 % |
141.79/141.98 c | 1203732 | 351 1520 4618 | 15931 15514 17 | 0.001 % |
141.88/142.08 c | 1204452 | 351 1520 4618 | 15931 12926 17 | 0.001 % |
141.98/142.15 c | 1205245 | 351 1520 4618 | 15931 13719 17 | 0.001 % |
142.08/142.26 c | 1206117 | 351 1520 4618 | 15931 14591 17 | 0.001 % |
142.18/142.38 c | 1207075 | 351 1520 4618 | 15931 15549 17 | 0.001 % |
142.38/142.50 c | 1208128 | 351 1520 4618 | 15931 13564 17 | 0.001 % |
142.48/142.62 c | 1209286 | 351 1520 4618 | 15931 14722 17 | 0.001 % |
142.58/142.77 c | 1210559 | 351 1520 4618 | 15437 13199 18 | 0.001 % |
142.79/142.94 c | 1211959 | 351 1520 4618 | 15437 14599 18 | 0.001 % |
142.98/143.14 c | 1213499 | 351 1520 4618 | 15437 13425 18 | 0.001 % |
143.18/143.34 c | 1215194 | 351 1520 4618 | 15437 15120 18 | 0.001 % |
143.38/143.58 c | 1217057 | 351 1520 4618 | 15437 14330 18 | 0.001 % |
143.68/143.84 c | 1219107 | 351 1520 4618 | 15437 13646 18 | 0.001 % |
143.89/144.08 c | 1221361 | 351 1520 4618 | 14539 13349 17 | 0.001 % |
144.18/144.36 c | 1223840 | 351 1520 4618 | 14539 13547 17 | 0.001 % |
144.48/144.69 c | 1226567 | 351 1520 4618 | 14539 13997 17 | 0.001 % |
144.78/144.98 c | 1229565 | 351 1520 4618 | 14539 12437 17 | 0.001 % |
145.18/145.32 c | 1232864 | 351 1520 4618 | 12872 12060 17 | 0.001 % |
145.48/145.69 c | 1236489 | 351 1520 4618 | 12872 12500 17 | 0.001 % |
145.88/146.08 c | 1240476 | 351 1520 4618 | 12904 11869 17 | 0.001 % |
146.38/146.56 c | 1244861 | 351 1520 4618 | 12904 11632 16 | 0.001 % |
146.98/147.10 c | 1249684 | 351 1520 4618 | 12904 11726 16 | 0.001 % |
147.48/147.68 c | 1254989 | 351 1520 4618 | 12042 11229 16 | 0.001 % |
148.18/148.36 c | 1260824 | 351 1520 4618 | 11659 11009 17 | 0.001 % |
148.78/148.94 c | 1267242 | 351 1520 4618 | 11659 11581 17 | 0.001 % |
149.58/149.70 c | 1274302 | 351 1520 4618 | 2147483647 15129 18 | 0.001 % |
150.68/150.87 c | 1282066 | 351 1520 4618 | 20827 18669 17 | 0.001 % |
151.78/151.99 c | 1290606 | 351 1520 4618 | 16590 13258 17 | 0.001 % |
152.98/153.14 c | 1300001 | 351 1520 4618 | 16590 15905 17 | 0.001 % |
154.18/154.35 c | 1310336 | 351 1520 4618 | 14197 11976 16 | 0.001 % |
155.38/155.52 c | 1321703 | 351 1520 4618 | 13306 13102 17 | 0.001 % |
155.38/155.53 c | 1321803 | 351 1520 4618 | 13306 13202 17 | 0.001 % |
155.38/155.55 c | 1321913 | 351 1520 4618 | 13306 13312 17 | 0.001 % |
155.38/155.57 c | 1322034 | 351 1520 4618 | 13306 11583 17 | 0.001 % |
155.38/155.59 c | 1322168 | 351 1520 4618 | 13306 11717 17 | 0.001 % |
155.48/155.60 c | 1322314 | 351 1520 4618 | 13306 11863 17 | 0.001 % |
155.48/155.62 c | 1322477 | 351 1520 4618 | 13306 12026 17 | 0.001 % |
155.48/155.64 c | 1322657 | 351 1520 4618 | 13306 12206 17 | 0.001 % |
155.48/155.66 c | 1322851 | 351 1520 4618 | 13306 12400 17 | 0.001 % |
155.48/155.69 c | 1323064 | 351 1520 4618 | 13306 12613 17 | 0.001 % |
155.58/155.72 c | 1323299 | 351 1520 4618 | 13306 12848 17 | 0.001 % |
155.58/155.76 c | 1323556 | 351 1520 4618 | 13306 13105 17 | 0.001 % |
155.68/155.80 c | 1323837 | 351 1520 4618 | 13306 11344 17 | 0.001 % |
155.68/155.83 c | 1324146 | 351 1520 4618 | 13306 11653 17 | 0.001 % |
155.68/155.86 c | 1324485 | 351 1520 4618 | 13306 11992 17 | 0.001 % |
155.78/155.90 c | 1324858 | 351 1520 4618 | 13306 12365 17 | 0.001 % |
155.78/155.94 c | 1325267 | 351 1520 4618 | 13306 12774 17 | 0.001 % |
155.78/155.99 c | 1325719 | 351 1520 4618 | 13306 13226 17 | 0.001 % |
155.88/156.04 c | 1326213 | 351 1520 4618 | 13306 11743 17 | 0.001 % |
155.88/156.10 c | 1326756 | 351 1520 4618 | 13306 12286 17 | 0.001 % |
155.98/156.17 c | 1327353 | 351 1520 4618 | 13306 12883 17 | 0.001 % |
156.08/156.27 c | 1328008 | 351 1520 4618 | 13306 11575 17 | 0.001 % |
156.18/156.35 c | 1328730 | 351 1520 4618 | 13306 12297 17 | 0.001 % |
156.28/156.43 c | 1329522 | 351 1520 4618 | 13306 13089 17 | 0.001 % |
156.38/156.54 c | 1330394 | 351 1520 4618 | 11617 10315 16 | 0.001 % |
156.48/156.62 c | 1331353 | 351 1520 4618 | 11617 11274 17 | 0.001 % |
156.58/156.72 c | 1332410 | 351 1520 4618 | 11617 11071 17 | 0.001 % |
156.68/156.85 c | 1333568 | 351 1520 4618 | 11617 11037 17 | 0.001 % |
156.78/156.96 c | 1334841 | 351 1520 4618 | 11617 11145 17 | 0.001 % |
156.98/157.10 c | 1336241 | 351 1520 4618 | 11617 11381 17 | 0.001 % |
157.08/157.23 c | 1337783 | 351 1520 4618 | 11617 10593 17 | 0.001 % |
157.18/157.39 c | 1339477 | 351 1520 4618 | 11617 11122 17 | 0.001 % |
157.38/157.57 c | 1341341 | 351 1520 4618 | 2147483647 11823 17 | 0.001 % |
157.68/157.83 c | 1343392 | 351 1520 4618 | 2147483647 13874 17 | 0.001 % |
157.97/158.11 c | 1345646 | 351 1520 4618 | 2147483647 16128 17 | 0.001 % |
158.28/158.43 c | 1348124 | 351 1520 4618 | 2147483647 18606 17 | 0.001 % |
158.67/158.80 c | 1350849 | 351 1520 4618 | 20482 17924 17 | 0.001 % |
159.07/159.21 c | 1353846 | 351 1520 4618 | 20482 17160 17 | 0.001 % |
159.47/159.68 c | 1357143 | 351 1520 4618 | 20482 20457 17 | 0.001 % |
159.97/160.19 c | 1360768 | 351 1520 4618 | 19109 15827 17 | 0.001 % |
160.57/160.72 c | 1364755 | 351 1520 4618 | 19109 15766 17 | 0.001 % |
161.07/161.29 c | 1369140 | 351 1520 4618 | 19109 16027 17 | 0.001 % |
161.67/161.85 c | 1373963 | 351 1520 4618 | 16888 14018 18 | 0.001 % |
162.27/162.50 c | 1379268 | 351 1520 4618 | 16888 16121 18 | 0.001 % |
162.97/163.14 c | 1385104 | 351 1520 4618 | 16855 15788 17 | 0.001 % |
163.68/163.84 c | 1391522 | 351 1520 4618 | 14790 13761 18 | 0.001 % |
164.37/164.57 c | 1398583 | 351 1520 4618 | 14790 14169 18 | 0.001 % |
165.27/165.45 c | 1406347 | 351 1520 4618 | 13563 12450 17 | 0.001 % |
166.27/166.42 c | 1414888 | 351 1520 4618 | 12094 12124 16 | 0.001 % |
167.17/167.36 c | 1424283 | 351 1520 4618 | 10974 10397 15 | 0.001 % |
168.07/168.28 c | 1434618 | 351 1520 4618 | 2147483647 15229 16 | 0.001 % |
169.77/169.94 c | 1445984 | 351 1520 4618 | 20611 17724 17 | 0.001 % |
171.37/171.59 c | 1458486 | 351 1520 4618 | 16704 14131 17 | 0.001 % |
171.47/171.60 c | 1458586 | 351 1520 4618 | 16704 14231 18 | 0.001 % |
171.47/171.62 c | 1458696 | 351 1520 4618 | 16704 14341 18 | 0.001 % |
171.47/171.63 c | 1458817 | 351 1520 4618 | 16704 14462 18 | 0.001 % |
171.47/171.65 c | 1458950 | 351 1520 4618 | 16704 14595 18 | 0.001 % |
171.47/171.66 c | 1459097 | 351 1520 4618 | 16704 14742 18 | 0.001 % |
171.47/171.68 c | 1459260 | 351 1520 4618 | 16704 14905 18 | 0.001 % |
171.57/171.70 c | 1459436 | 351 1520 4618 | 16704 15081 18 | 0.001 % |
171.57/171.72 c | 1459629 | 351 1520 4618 | 16704 15274 18 | 0.001 % |
171.57/171.74 c | 1459841 | 351 1520 4618 | 16704 15486 18 | 0.001 % |
171.57/171.78 c | 1460074 | 351 1520 4618 | 15646 12568 17 | 0.001 % |
171.68/171.80 c | 1460331 | 351 1520 4618 | 15646 12825 17 | 0.001 % |
171.68/171.83 c | 1460612 | 351 1520 4618 | 15646 13106 17 | 0.001 % |
171.68/171.86 c | 1460922 | 351 1520 4618 | 15646 13416 17 | 0.001 % |
171.78/171.90 c | 1461261 | 351 1520 4618 | 15646 13755 17 | 0.001 % |
171.78/171.94 c | 1461633 | 351 1520 4618 | 15646 14127 17 | 0.001 % |
171.78/171.98 c | 1462043 | 351 1520 4618 | 15646 14537 17 | 0.001 % |
171.88/172.03 c | 1462493 | 351 1520 4618 | 15646 14987 17 | 0.001 % |
171.88/172.08 c | 1462986 | 351 1520 4618 | 15646 15480 17 | 0.001 % |
171.98/172.16 c | 1463528 | 351 1520 4618 | 15646 13427 17 | 0.001 % |
172.08/172.23 c | 1464125 | 351 1520 4618 | 15646 14024 17 | 0.001 % |
172.18/172.30 c | 1464781 | 351 1520 4618 | 15646 14680 17 | 0.001 % |
172.18/172.39 c | 1465502 | 351 1520 4618 | 15646 15401 17 | 0.001 % |
172.28/172.49 c | 1466294 | 351 1520 4618 | 15646 13677 17 | 0.001 % |
172.38/172.59 c | 1467165 | 351 1520 4618 | 15646 14548 17 | 0.001 % |
172.58/172.72 c | 1468123 | 351 1520 4618 | 15646 15506 17 | 0.001 % |
172.68/172.86 c | 1469176 | 351 1520 4618 | 15646 14054 17 | 0.001 % |
172.87/173.01 c | 1470338 | 351 1520 4618 | 14879 12812 17 | 0.001 % |
172.97/173.15 c | 1471612 | 351 1520 4618 | 14879 14086 17 | 0.001 % |
173.17/173.31 c | 1473015 | 351 1520 4618 | 14879 13203 17 | 0.001 % |
173.27/173.49 c | 1474558 | 351 1520 4618 | 14879 14746 17 | 0.001 % |
173.58/173.71 c | 1476252 | 351 1520 4618 | 14879 14054 17 | 0.001 % |
173.77/173.93 c | 1478115 | 351 1520 4618 | 14879 13483 17 | 0.001 % |
173.97/174.17 c | 1480164 | 351 1520 4618 | 12987 11081 17 | 0.001 % |
174.27/174.41 c | 1482418 | 351 1520 4618 | 12987 11479 17 | 0.001 % |
174.47/174.70 c | 1484898 | 351 1520 4618 | 12987 12137 16 | 0.001 % |
174.87/175.00 c | 1487623 | 351 1520 4618 | 12987 11417 16 | 0.001 % |
175.17/175.31 c | 1490620 | 351 1520 4618 | 12117 11192 16 | 0.001 % |
175.47/175.62 c | 1493916 | 351 1520 4618 | 12117 11919 16 | 0.001 % |
175.78/175.96 c | 1497545 | 351 1520 4618 | 12117 11905 16 | 0.001 % |
176.17/176.32 c | 1501532 | 351 1520 4618 | 2147483647 13462 17 | 0.001 % |
176.77/176.90 c | 1505918 | 351 1520 4618 | 2147483647 17848 17 | 0.001 % |
177.37/177.50 c | 1510741 | 351 1520 4618 | 21930 18676 17 | 0.001 % |
177.98/178.17 c | 1516047 | 351 1520 4618 | 21930 19604 17 | 0.001 % |
178.77/178.96 c | 1521882 | 351 1520 4618 | 18817 16543 18 | 0.001 % |
179.67/179.80 c | 1528302 | 351 1520 4618 | 18817 15080 17 | 0.001 % |
180.47/180.66 c | 1535361 | 351 1520 4618 | 16779 15227 17 | 0.001 % |
181.37/181.59 c | 1543126 | 351 1520 4618 | 16507 16256 17 | 0.001 % |
182.27/182.47 c | 1551666 | 351 1520 4618 | 16406 14958 16 | 0.001 % |
183.47/183.70 c | 1561060 | 351 1520 4618 | 13396 11713 16 | 0.001 % |
184.47/184.66 c | 1571396 | 351 1520 4618 | 12801 12489 17 | 0.001 % |
185.57/185.79 c | 1582762 | 351 1520 4618 | 2147483647 14680 19 | 0.001 % |
187.57/187.71 c | 1595265 | 351 1520 4618 | 21919 16412 19 | 0.001 % |
189.57/189.77 c | 1609019 | 351 1520 4618 | 21148 18779 18 | 0.001 % |
189.57/189.78 c | 1609120 | 351 1520 4618 | 21148 18880 18 | 0.001 % |
189.67/189.80 c | 1609230 | 351 1520 4618 | 21148 18990 18 | 0.001 % |
189.67/189.82 c | 1609353 | 351 1520 4618 | 21148 19113 18 | 0.001 % |
189.67/189.84 c | 1609486 | 351 1520 4618 | 21148 19246 18 | 0.001 % |
189.67/189.87 c | 1609632 | 351 1520 4618 | 21148 19392 18 | 0.001 % |
189.77/189.90 c | 1609792 | 351 1520 4618 | 21148 19552 18 | 0.001 % |
189.77/189.93 c | 1609969 | 351 1520 4618 | 21148 19729 18 | 0.001 % |
189.77/189.98 c | 1610164 | 351 1520 4618 | 19764 14747 18 | 0.001 % |
189.87/190.01 c | 1610377 | 351 1520 4618 | 19764 14960 18 | 0.001 % |
189.87/190.04 c | 1610611 | 351 1520 4618 | 19764 15194 18 | 0.001 % |
189.87/190.07 c | 1610867 | 351 1520 4618 | 19764 15450 18 | 0.001 % |
189.96/190.10 c | 1611149 | 351 1520 4618 | 19764 15732 18 | 0.001 % |
189.96/190.16 c | 1611458 | 351 1520 4618 | 19764 16041 18 | 0.001 % |
190.07/190.22 c | 1611797 | 351 1520 4618 | 19764 16380 18 | 0.001 % |
190.07/190.28 c | 1612169 | 351 1520 4618 | 19764 16752 18 | 0.001 % |
190.17/190.34 c | 1612578 | 351 1520 4618 | 19764 17161 18 | 0.001 % |
190.26/190.40 c | 1613027 | 351 1520 4618 | 19764 17610 18 | 0.001 % |
190.26/190.47 c | 1613521 | 351 1520 4618 | 19764 18104 18 | 0.001 % |
190.36/190.56 c | 1614063 | 351 1520 4618 | 19764 18646 18 | 0.001 % |
190.46/190.68 c | 1614659 | 351 1520 4618 | 19764 19242 18 | 0.001 % |
190.66/190.80 c | 1615315 | 351 1520 4618 | 19764 14755 17 | 0.001 % |
190.76/190.90 c | 1616035 | 351 1520 4618 | 19764 15475 17 | 0.001 % |
190.86/191.00 c | 1616828 | 351 1520 4618 | 19764 16268 18 | 0.001 % |
190.96/191.11 c | 1617701 | 351 1520 4618 | 19764 17141 18 | 0.001 % |
191.06/191.26 c | 1618661 | 351 1520 4618 | 19764 18101 18 | 0.001 % |
191.26/191.43 c | 1619715 | 351 1520 4618 | 19764 19155 18 | 0.001 % |
191.46/191.60 c | 1620873 | 351 1520 4618 | 19441 15359 17 | 0.001 % |
191.56/191.75 c | 1622146 | 351 1520 4618 | 19441 16632 17 | 0.001 % |
191.76/191.94 c | 1623546 | 351 1520 4618 | 19441 18032 18 | 0.001 % |
191.96/192.17 c | 1625086 | 351 1520 4618 | 19441 15131 17 | 0.001 % |
192.16/192.39 c | 1626780 | 351 1520 4618 | 19441 16825 18 | 0.001 % |
192.46/192.68 c | 1628643 | 351 1520 4618 | 19441 18688 18 | 0.001 % |
192.76/192.96 c | 1630693 | 351 1520 4618 | 15520 12611 17 | 0.001 % |
193.06/193.22 c | 1632947 | 351 1520 4618 | 15520 14865 17 | 0.001 % |
193.36/193.53 c | 1635425 | 351 1520 4618 | 15520 14114 17 | 0.001 % |
193.66/193.88 c | 1638151 | 351 1520 4618 | 15520 13690 17 | 0.001 % |
194.06/194.28 c | 1641148 | 351 1520 4618 | 15539 13502 17 | 0.001 % |
194.56/194.72 c | 1644444 | 351 1520 4618 | 15539 13507 17 | 0.001 % |
194.96/195.18 c | 1648069 | 351 1520 4618 | 15539 13904 16 | 0.001 % |
195.36/195.58 c | 1652059 | 351 1520 4618 | 12664 12161 16 | 0.001 % |
195.76/195.98 c | 1656445 | 351 1520 4618 | 12664 12542 17 | 0.001 % |
196.26/196.49 c | 1661269 | 351 1520 4618 | 11058 10904 17 | 0.001 % |
196.86/197.02 c | 1666574 | 351 1520 4618 | 11058 10654 17 | 0.001 % |
197.36/197.55 c | 1672410 | 351 1520 4618 | 2147483647 13163 17 | 0.001 % |
198.16/198.36 c | 1678829 | 351 1520 4618 | 2147483647 19582 18 | 0.001 % |
199.16/199.35 c | 1685888 | 351 1520 4618 | 20754 17855 17 | 0.001 % |
200.25/200.44 c | 1693652 | 351 1520 4618 | 16853 16367 16 | 0.001 % |
201.16/201.36 c | 1702192 | 351 1520 4618 | 15275 14310 17 | 0.001 % |
202.26/202.44 c | 1711586 | 351 1520 4618 | 13866 12997 18 | 0.001 % |
203.26/203.47 c | 1721920 | 351 1520 4618 | 13046 11570 17 | 0.001 % |
204.55/204.75 c | 1733286 | 351 1520 4618 | 12356 12093 17 | 0.001 % |
205.85/206.03 c | 1745788 | 351 1520 4618 | 12000 11900 17 | 0.001 % |
207.15/207.37 c | 1759540 | 351 1520 4618 | 11996 11829 17 | 0.001 % |
208.86/209.06 c | 1774668 | 351 1520 4618 | 21089 17838 19 | 0.001 % |
208.86/209.08 c | 1774768 | 351 1520 4618 | 21089 17938 19 | 0.001 % |
208.95/209.10 c | 1774878 | 351 1520 4618 | 21089 18048 19 | 0.001 % |
208.95/209.11 c | 1774999 | 351 1520 4618 | 21089 18169 19 | 0.001 % |
208.95/209.14 c | 1775132 | 351 1520 4618 | 21089 18302 19 | 0.001 % |
208.95/209.16 c | 1775278 | 351 1520 4618 | 21089 18448 19 | 0.001 % |
208.95/209.18 c | 1775438 | 351 1520 4618 | 21089 18608 19 | 0.001 % |
209.05/209.21 c | 1775614 | 351 1520 4618 | 21089 18784 19 | 0.001 % |
209.05/209.23 c | 1775807 | 351 1520 4618 | 21089 18977 19 | 0.001 % |
209.05/209.26 c | 1776020 | 351 1520 4618 | 21089 19190 19 | 0.001 % |
209.15/209.30 c | 1776253 | 351 1520 4618 | 21089 19423 19 | 0.001 % |
209.15/209.34 c | 1776510 | 351 1520 4618 | 21089 19680 19 | 0.001 % |
209.15/209.39 c | 1776791 | 351 1520 4618 | 21089 19961 19 | 0.001 % |
209.25/209.44 c | 1777100 | 351 1520 4618 | 21089 20270 19 | 0.001 % |
209.35/209.52 c | 1777439 | 351 1520 4618 | 21089 20609 19 | 0.001 % |
209.35/209.58 c | 1777811 | 351 1520 4618 | 21089 20981 19 | 0.001 % |
209.45/209.65 c | 1778220 | 351 1520 4618 | 21089 16236 18 | 0.001 % |
209.55/209.71 c | 1778669 | 351 1520 4618 | 21089 16685 18 | 0.001 % |
209.55/209.77 c | 1779162 | 351 1520 4618 | 21089 17178 18 | 0.001 % |
209.65/209.84 c | 1779707 | 351 1520 4618 | 21089 17723 18 | 0.001 % |
209.75/209.93 c | 1780303 | 351 1520 4618 | 18016 14022 18 | 0.001 % |
209.75/210.00 c | 1780960 | 351 1520 4618 | 18016 14679 18 | 0.001 % |
209.85/210.08 c | 1781682 | 351 1520 4618 | 18016 15401 18 | 0.001 % |
209.95/210.20 c | 1782476 | 351 1520 4618 | 18016 16195 18 | 0.001 % |
210.15/210.31 c | 1783348 | 351 1520 4618 | 18016 17067 18 | 0.001 % |
210.25/210.44 c | 1784307 | 351 1520 4618 | 18016 18026 18 | 0.001 % |
210.35/210.59 c | 1785362 | 351 1520 4618 | 18016 15215 17 | 0.001 % |
210.55/210.73 c | 1786520 | 351 1520 4618 | 18016 16373 17 | 0.001 % |
210.75/210.91 c | 1787794 | 351 1520 4618 | 18016 17647 17 | 0.001 % |
210.85/211.08 c | 1789195 | 351 1520 4618 | 18016 15207 17 | 0.001 % |
211.05/211.26 c | 1790735 | 351 1520 4618 | 16012 13403 17 | 0.001 % |
211.25/211.46 c | 1792431 | 351 1520 4618 | 16012 15099 17 | 0.001 % |
211.55/211.70 c | 1794295 | 351 1520 4618 | 16012 14029 17 | 0.001 % |
211.75/211.96 c | 1796345 | 351 1520 4618 | 16012 13220 18 | 0.001 % |
212.05/212.27 c | 1798598 | 351 1520 4618 | 16012 15473 18 | 0.001 % |
212.35/212.57 c | 1801076 | 351 1520 4618 | 13926 12428 18 | 0.001 % |
212.65/212.86 c | 1803802 | 351 1520 4618 | 13926 12703 17 | 0.001 % |
212.95/213.18 c | 1806801 | 351 1520 4618 | 13926 13407 17 | 0.001 % |
213.35/213.55 c | 1810097 | 351 1520 4618 | 12172 10392 17 | 0.001 % |
213.65/213.89 c | 1813723 | 351 1520 4618 | 12172 10741 17 | 0.001 % |
214.15/214.32 c | 1817711 | 351 1520 4618 | 12172 11639 17 | 0.001 % |
214.55/214.74 c | 1822096 | 351 1520 4618 | 10966 10684 17 | 0.001 % |
214.95/215.19 c | 1826919 | 351 1520 4618 | 10966 10006 17 | 0.001 % |
215.55/215.70 c | 1832225 | 351 1520 4618 | 2147483647 13112 17 | 0.001 % |
216.25/216.46 c | 1838060 | 351 1520 4618 | 2147483647 18947 17 | 0.001 % |
217.15/217.35 c | 1844478 | 351 1520 4618 | 20888 15872 17 | 0.001 % |
218.15/218.34 c | 1851538 | 351 1520 4618 | 15960 13367 16 | 0.001 % |
218.85/219.10 c | 1859305 | 351 1520 4618 | 15960 14848 16 | 0.001 % |
219.86/220.07 c | 1867848 | 351 1520 4618 | 15543 15109 17 | 0.001 % |
220.96/221.12 c | 1877242 | 351 1520 4618 | 14588 14495 17 | 0.001 % |
222.06/222.23 c | 1887575 | 351 1520 4618 | 12425 11545 18 | 0.001 % |
223.06/223.25 c | 1898941 | 351 1520 4618 | 11026 10936 18 | 0.001 % |
224.55/224.71 c | 1911443 | 351 1520 4618 | 20867 18371 17 | 0.001 % |
226.25/226.50 c | 1925197 | 351 1520 4618 | 16604 14078 18 | 0.001 % |
228.05/228.26 c | 1940326 | 351 1520 4618 | 13975 11956 18 | 0.001 % |
229.85/230.08 c | 1956967 | 351 1520 4618 | 13456 13076 17 | 0.001 % |
229.85/230.09 c | 1957068 | 351 1520 4618 | 13456 13177 17 | 0.001 % |
229.95/230.10 c | 1957179 | 351 1520 4618 | 13456 13288 17 | 0.001 % |
229.95/230.12 c | 1957300 | 351 1520 4618 | 13456 13409 17 | 0.001 % |
229.95/230.14 c | 1957435 | 351 1520 4618 | 13456 11796 17 | 0.001 % |
229.95/230.16 c | 1957583 | 351 1520 4618 | 13456 11944 17 | 0.001 % |
229.95/230.17 c | 1957744 | 351 1520 4618 | 13456 12105 17 | 0.001 % |
229.95/230.19 c | 1957920 | 351 1520 4618 | 13456 12281 17 | 0.001 % |
230.05/230.21 c | 1958113 | 351 1520 4618 | 13456 12474 17 | 0.001 % |
230.05/230.23 c | 1958326 | 351 1520 4618 | 13456 12687 17 | 0.001 % |
230.05/230.25 c | 1958559 | 351 1520 4618 | 13456 12920 17 | 0.001 % |
230.05/230.28 c | 1958816 | 351 1520 4618 | 13456 13177 17 | 0.001 % |
230.15/230.32 c | 1959098 | 351 1520 4618 | 13456 13459 17 | 0.001 % |
230.15/230.36 c | 1959412 | 351 1520 4618 | 13456 12010 17 | 0.001 % |
230.25/230.40 c | 1959751 | 351 1520 4618 | 13456 12349 17 | 0.001 % |
230.25/230.44 c | 1960124 | 351 1520 4618 | 12598 11095 17 | 0.001 % |
230.25/230.48 c | 1960533 | 351 1520 4618 | 12598 11504 17 | 0.001 % |
230.35/230.53 c | 1960982 | 351 1520 4618 | 12598 11953 17 | 0.001 % |
230.35/230.58 c | 1961475 | 351 1520 4618 | 12598 12446 17 | 0.001 % |
230.45/230.63 c | 1962019 | 351 1520 4618 | 12598 11624 17 | 0.001 % |
230.45/230.70 c | 1962617 | 351 1520 4618 | 12598 12222 17 | 0.001 % |
230.54/230.77 c | 1963272 | 351 1520 4618 | 12598 11514 17 | 0.001 % |
230.64/230.84 c | 1963992 | 351 1520 4618 | 12598 12234 17 | 0.001 % |
230.75/230.93 c | 1964785 | 351 1520 4618 | 12598 11693 17 | 0.001 % |
230.85/231.01 c | 1965657 | 351 1520 4618 | 12598 12565 17 | 0.001 % |
230.94/231.11 c | 1966615 | 351 1520 4618 | 12598 12260 17 | 0.001 % |
231.04/231.22 c | 1967669 | 351 1520 4618 | 12598 12050 17 | 0.001 % |
231.14/231.35 c | 1968828 | 351 1520 4618 | 12598 11944 17 | 0.001 % |
231.24/231.49 c | 1970101 | 351 1520 4618 | 2147483647 11956 18 | 0.001 % |
231.44/231.63 c | 1971502 | 351 1520 4618 | 2147483647 13357 18 | 0.001 % |
231.64/231.82 c | 1973043 | 351 1520 4618 | 2147483647 14898 18 | 0.001 % |
231.85/232.04 c | 1974737 | 351 1520 4618 | 2147483647 16592 18 | 0.001 % |
232.04/232.29 c | 1976602 | 351 1520 4618 | 2147483647 18457 18 | 0.001 % |
232.44/232.63 c | 1978652 | 351 1520 4618 | 2147483647 20507 18 | 0.001 % |
232.84/233.04 c | 1980906 | 351 1520 4618 | 21855 18603 18 | 0.001 % |
233.24/233.42 c | 1983384 | 351 1520 4618 | 21855 21081 18 | 0.001 % |
233.64/233.83 c | 1986109 | 351 1520 4618 | 21855 18656 18 | 0.001 % |
234.05/234.24 c | 1989108 | 351 1520 4618 | 21855 21655 18 | 0.001 % |
234.44/234.67 c | 1992405 | 351 1520 4618 | 17298 15542 17 | 0.001 % |
234.94/235.11 c | 1996031 | 351 1520 4618 | 17298 15520 18 | 0.001 % |
235.34/235.56 c | 2000018 | 351 1520 4618 | 16060 16078 18 | 0.001 % |
235.84/236.03 c | 2004403 | 351 1520 4618 | 16060 14734 18 | 0.001 % |
236.44/236.63 c | 2009226 | 351 1520 4618 | 16060 14219 17 | 0.001 % |
237.04/237.29 c | 2014531 | 351 1520 4618 | 14994 14337 16 | 0.001 % |
237.74/237.96 c | 2020366 | 351 1520 4618 | 14619 12339 17 | 0.001 % |
238.54/238.72 c | 2026786 | 351 1520 4618 | 14619 12969 17 | 0.001 % |
239.24/239.47 c | 2033845 | 351 1520 4618 | 13442 12893 16 | 0.001 % |
240.14/240.34 c | 2041609 | 351 1520 4618 | 12862 12479 16 | 0.001 % |
240.94/241.17 c | 2050150 | 351 1520 4618 | 12594 11314 17 | 0.001 % |
242.04/242.26 c | 2059544 | 351 1520 4618 | 12594 11019 18 | 0.001 % |
242.94/243.19 c | 2069878 | 351 1520 4618 | 11475 10696 17 | 0.001 % |
243.04/243.26 c ===============================================================================
243.04/243.26 c restarts : 1592
243.04/243.26 c conflicts : 2070808 (8519 /sec)
243.04/243.26 c decisions : 2489185 (1.82 % random) (10241 /sec)
243.04/243.26 c propagations : 113562470 (467206 /sec)
243.04/243.26 c conflict literals : 37546814 (20.86 % deleted)
243.04/243.26 c Memory used : 7.18 MB
243.04/243.26 c CPU time : 243.067 s
243.04/243.26 c
243.04/243.26 s SATISFIABLE
243.04/243.26 s SATISFIABLE
243.04/243.26 v -1 2 -3 4 -5 6 7 -8 9 -10 11 12 -13 14 15 16 -17 -18 -19 -20 -21 22 23 24 -25 -26 -27 28 29 30 31 -32 33 -34 -35 -36 37 -38 39 -40 -41 42 -43 44 -45 -46 47 48 49 -50 -51 52 53 54 -55 56 57 58 59 -60 61 -62 63 -64 65 66 -67 68 -69 70 71 72 73 74 75 -76 -77 -78 -79 -80 81 -82 83 84 -85 86 87 88 89 -90 -91 -92 -93 -94 -95 -96 -97 -98 -99 100 101 -102 -103 -104 105 106 107 -108 -109 110 -111 -112 113 -114 -115 116 -117 118 119 120 121 -122 -123 124 -125 -126 -127 128 -129 -130 -131 132 -133 134 135 -136 137 138 -139 -140 -141 -142 143 144 145 146 -147 -148 -149 -150 -151 152 -153 154 155 -156 -157 158 -159 -160 -161 -162 -163 -164 -165 -166 167 -168 -169 -170 -171 -172 -173 174 175 -176 -177 -178 -179 -180 -181 -182 -183 -184 -185 186 -187 -188 189 190 191 -192 193 -194 195 196 197 -198 199 200 201 202 203 -204 -205 -206 -207 -208 -209 210 -211 -212 -213 -214 215 -216 -217 218 -219 220 221 222 223 224 -225 -226 -227 -228 -229 -230 -231 232 233 -234 235 -236 237 238 239 240 241 242 243 244 -245 -246 -247 -248 249 -250 -251 -252 253 254 255 256 -257 -258 -259 260 -261 262 263 -264 -265 -266 267 268 269 -270 271 -272 -273 274 275 -276 -277 278 -279 280 -281 -282 -283 284 285 -286 287 -288 -289 290 -291 -292 293 294 -295 296 -297 298 299 -300 301 302 303 -304 305 306 307 308 309 -310 -311 -312 313 314 -315 -316 -317 318 319 -320 -321 322 -323 -324 -325 -326 -327 -328 -329 330 -331 332 -333 334 -335 -336 337 338 339 340 341 342 -343 -344 -345 -346 347 348 -349 350 -351 352 -353 -354 355 356 -357 -358 -359 360 0
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1833565-1242823434/watcher-1833565-1242823434 -o /tmp/evaluation-result-1833565-1242823434/solver-1833565-1242823434 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833565-1242823434.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.06 3/64 14043
/proc/meminfo: memFree=1863120/2055920 swapFree=4179344/4192956
[pid=14043] ppid=14041 vsize=880 CPUtime=0
/proc/14043/stat : 14043 (SatELiteGTI) R 14041 14043 13936 0 -1 4194304 41 0 0 0 0 0 0 0 19 0 1 0 310376562 901120 25 1992294400 4194304 4889804 548682068832 18446744073709551615 225609578540 0 0 4096 0 0 0 0 17 0 0 0
/proc/14043/statm: 491 32 25 169 0 264 0
[startup+0.099291 s]
/proc/loadavg: 1.00 1.00 1.06 3/64 14043
/proc/meminfo: memFree=1863120/2055920 swapFree=4179344/4192956
[pid=14043] ppid=14041 vsize=5356 CPUtime=0
/proc/14043/stat : 14043 (SatELiteGTI) S 14041 14043 13936 0 -1 4194304 336 401 0 0 0 0 0 0 16 0 1 0 310376562 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14043/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101288 s]
/proc/loadavg: 1.00 1.00 1.06 3/64 14043
/proc/meminfo: memFree=1863120/2055920 swapFree=4179344/4192956
[pid=14043] ppid=14041 vsize=5356 CPUtime=0
/proc/14043/stat : 14043 (SatELiteGTI) S 14041 14043 13936 0 -1 4194304 336 401 0 0 0 0 0 0 16 0 1 0 310376562 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14043/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301306 s]
/proc/loadavg: 1.00 1.00 1.06 3/64 14043
/proc/meminfo: memFree=1863120/2055920 swapFree=4179344/4192956
[pid=14043] ppid=14041 vsize=5356 CPUtime=0
/proc/14043/stat : 14043 (SatELiteGTI) S 14041 14043 13936 0 -1 4194304 336 401 0 0 0 0 0 0 16 0 1 0 310376562 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14043/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701341 s]
/proc/loadavg: 1.00 1.00 1.06 3/64 14043
/proc/meminfo: memFree=1863120/2055920 swapFree=4179344/4192956
[pid=14043] ppid=14041 vsize=5356 CPUtime=0
/proc/14043/stat : 14043 (SatELiteGTI) S 14041 14043 13936 0 -1 4194304 336 401 0 0 0 0 0 0 16 0 1 0 310376562 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14043/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50141 s]
/proc/loadavg: 1.00 1.00 1.06 2/66 14049
/proc/meminfo: memFree=1861376/2055920 swapFree=4179344/4192956
[pid=14043] ppid=14041 vsize=5356 CPUtime=0
/proc/14043/stat : 14043 (SatELiteGTI) S 14041 14043 13936 0 -1 4194304 336 401 0 0 0 0 0 0 16 0 1 0 310376562 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14043/statm: 1339 239 197 169 0 50 0
[pid=14049] ppid=14043 vsize=3640 CPUtime=1.46
/proc/14049/stat : 14049 (minisat_static) R 14043 14043 13936 0 -1 4194304 555 0 0 0 146 0 0 0 18 0 1 0 310376564 3727360 541 1992294400 134512640 135215339 4294956240 18446744073709551615 134528795 0 0 4096 3 0 0 0 17 0 0 0
/proc/14049/statm: 910 541 76 171 0 737 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 8996
[startup+3.10155 s]
/proc/loadavg: 1.00 1.00 1.06 2/66 14049
/proc/meminfo: memFree=1860224/2055920 swapFree=4179344/4192956
[pid=14043] ppid=14041 vsize=5356 CPUtime=0
/proc/14043/stat : 14043 (SatELiteGTI) S 14041 14043 13936 0 -1 4194304 336 401 0 0 0 0 0 0 16 0 1 0 310376562 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14043/statm: 1339 239 197 169 0 50 0
[pid=14049] ppid=14043 vsize=4228 CPUtime=3.06
/proc/14049/stat : 14049 (minisat_static) R 14043 14043 13936 0 -1 4194304 713 0 0 0 306 0 0 0 25 0 1 0 310376564 4329472 699 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/14049/statm: 1057 699 76 171 0 884 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 9584
[startup+6.30182 s]
/proc/loadavg: 1.00 1.00 1.06 2/66 14049
/proc/meminfo: memFree=1860032/2055920 swapFree=4179344/4192956
[pid=14043] ppid=14041 vsize=5356 CPUtime=0
/proc/14043/stat : 14043 (SatELiteGTI) S 14041 14043 13936 0 -1 4194304 336 401 0 0 0 0 0 0 16 0 1 0 310376562 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14043/statm: 1339 239 197 169 0 50 0
[pid=14049] ppid=14043 vsize=4360 CPUtime=6.26
/proc/14049/stat : 14049 (minisat_static) R 14043 14043 13936 0 -1 4194304 728 0 0 0 626 0 0 0 25 0 1 0 310376564 4464640 714 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 0 0 0
/proc/14049/statm: 1090 714 76 171 0 917 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 9716
[startup+12.7014 s]
/proc/loadavg: 1.00 1.00 1.06 2/66 14049
/proc/meminfo: memFree=1859840/2055920 swapFree=4179344/4192956
[pid=14043] ppid=14041 vsize=5356 CPUtime=0
/proc/14043/stat : 14043 (SatELiteGTI) S 14041 14043 13936 0 -1 4194304 336 401 0 0 0 0 0 0 16 0 1 0 310376562 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14043/statm: 1339 239 197 169 0 50 0
[pid=14049] ppid=14043 vsize=4360 CPUtime=12.67
/proc/14049/stat : 14049 (minisat_static) R 14043 14043 13936 0 -1 4194304 744 0 0 0 1266 1 0 0 25 0 1 0 310376564 4464640 730 1992294400 134512640 135215339 4294956240 18446744073709551615 134529099 0 0 4096 3 0 0 0 17 0 0 0
/proc/14049/statm: 1090 730 76 171 0 917 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 9716
[startup+25.5015 s]
/proc/loadavg: 1.00 1.00 1.06 2/66 14049
/proc/meminfo: memFree=1859648/2055920 swapFree=4179344/4192956
[pid=14043] ppid=14041 vsize=5356 CPUtime=0
/proc/14043/stat : 14043 (SatELiteGTI) S 14041 14043 13936 0 -1 4194304 336 401 0 0 0 0 0 0 16 0 1 0 310376562 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14043/statm: 1339 239 197 169 0 50 0
[pid=14049] ppid=14043 vsize=4764 CPUtime=25.46
/proc/14049/stat : 14049 (minisat_static) R 14043 14043 13936 0 -1 4194304 826 0 0 0 2545 1 0 0 25 0 1 0 310376564 4878336 812 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 0 0 0
/proc/14049/statm: 1191 812 76 171 0 1018 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 10120
[startup+51.1017 s]
/proc/loadavg: 1.00 1.00 1.06 2/66 14049
/proc/meminfo: memFree=1859200/2055920 swapFree=4179344/4192956
[pid=14043] ppid=14041 vsize=5356 CPUtime=0
/proc/14043/stat : 14043 (SatELiteGTI) S 14041 14043 13936 0 -1 4194304 336 401 0 0 0 0 0 0 16 0 1 0 310376562 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14043/statm: 1339 239 197 169 0 50 0
[pid=14049] ppid=14043 vsize=5164 CPUtime=51.04
/proc/14049/stat : 14049 (minisat_static) R 14043 14043 13936 0 -1 4194304 940 0 0 0 5103 1 0 0 25 0 1 0 310376564 5287936 926 1992294400 134512640 135215339 4294956240 18446744073709551615 134537877 0 0 4096 3 0 0 0 17 0 0 0
/proc/14049/statm: 1291 926 76 171 0 1118 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 10520
[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.05 2/66 14049
/proc/meminfo: memFree=1858432/2055920 swapFree=4179344/4192956
[pid=14043] ppid=14041 vsize=5356 CPUtime=0
/proc/14043/stat : 14043 (SatELiteGTI) S 14041 14043 13936 0 -1 4194304 336 401 0 0 0 0 0 0 16 0 1 0 310376562 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14043/statm: 1339 239 197 169 0 50 0
[pid=14049] ppid=14043 vsize=5840 CPUtime=102.21
/proc/14049/stat : 14049 (minisat_static) R 14043 14043 13936 0 -1 4194304 1094 0 0 0 10219 2 0 0 25 0 1 0 310376564 5980160 1080 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 0 0 0
/proc/14049/statm: 1460 1080 76 171 0 1287 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 11196
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.05 2/66 14049
/proc/meminfo: memFree=1857600/2055920 swapFree=4179344/4192956
[pid=14043] ppid=14041 vsize=5356 CPUtime=0
/proc/14043/stat : 14043 (SatELiteGTI) S 14041 14043 13936 0 -1 4194304 336 401 0 0 0 0 0 0 16 0 1 0 310376562 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14043/statm: 1339 239 197 169 0 50 0
[pid=14049] ppid=14043 vsize=6540 CPUtime=162.17
/proc/14049/stat : 14049 (minisat_static) R 14043 14043 13936 0 -1 4194304 1281 0 0 0 16215 2 0 0 25 0 1 0 310376564 6696960 1267 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/14049/statm: 1635 1267 76 171 0 1462 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 11896
[startup+222.301 s]
/proc/loadavg: 1.08 1.03 1.05 2/66 14049
/proc/meminfo: memFree=1856896/2055920 swapFree=4179344/4192956
[pid=14043] ppid=14041 vsize=5356 CPUtime=0
/proc/14043/stat : 14043 (SatELiteGTI) S 14041 14043 13936 0 -1 4194304 336 401 0 0 0 0 0 0 16 0 1 0 310376562 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14043/statm: 1339 239 197 169 0 50 0
[pid=14049] ppid=14043 vsize=7220 CPUtime=222.15
/proc/14049/stat : 14049 (minisat_static) R 14043 14043 13936 0 -1 4194304 1442 0 0 0 22211 4 0 0 25 0 1 0 310376564 7393280 1428 1992294400 134512640 135215339 4294956240 18446744073709551615 134528688 0 0 4096 3 0 0 0 17 0 0 0
/proc/14049/statm: 1805 1428 76 171 0 1632 0
Current children cumulated CPU time (s) 222.15
Current children cumulated vsize (KiB) 12576
Solver just ended. Dumping a history of the last processes samples
[startup+230.302 s]
/proc/loadavg: 1.07 1.03 1.05 2/66 14049
/proc/meminfo: memFree=1856832/2055920 swapFree=4179344/4192956
[pid=14043] ppid=14041 vsize=5356 CPUtime=0
/proc/14043/stat : 14043 (SatELiteGTI) S 14041 14043 13936 0 -1 4194304 336 401 0 0 0 0 0 0 16 0 1 0 310376562 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14043/statm: 1339 239 197 169 0 50 0
[pid=14049] ppid=14043 vsize=7352 CPUtime=230.15
/proc/14049/stat : 14049 (minisat_static) R 14043 14043 13936 0 -1 4194304 1467 0 0 0 23011 4 0 0 25 0 1 0 310376564 7528448 1453 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/14049/statm: 1838 1453 76 171 0 1665 0
Current children cumulated CPU time (s) 230.15
Current children cumulated vsize (KiB) 12708
[startup+236.702 s]
/proc/loadavg: 1.06 1.03 1.05 2/66 14049
/proc/meminfo: memFree=1856768/2055920 swapFree=4179344/4192956
[pid=14043] ppid=14041 vsize=5356 CPUtime=0
/proc/14043/stat : 14043 (SatELiteGTI) S 14041 14043 13936 0 -1 4194304 336 401 0 0 0 0 0 0 16 0 1 0 310376562 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14043/statm: 1339 239 197 169 0 50 0
[pid=14049] ppid=14043 vsize=7352 CPUtime=236.54
/proc/14049/stat : 14049 (minisat_static) R 14043 14043 13936 0 -1 4194304 1467 0 0 0 23650 4 0 0 25 0 1 0 310376564 7528448 1453 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/14049/statm: 1838 1453 76 171 0 1665 0
Current children cumulated CPU time (s) 236.54
Current children cumulated vsize (KiB) 12708
[startup+239.902 s]
/proc/loadavg: 1.06 1.03 1.05 2/66 14049
/proc/meminfo: memFree=1856768/2055920 swapFree=4179344/4192956
[pid=14043] ppid=14041 vsize=5356 CPUtime=0
/proc/14043/stat : 14043 (SatELiteGTI) S 14041 14043 13936 0 -1 4194304 336 401 0 0 0 0 0 0 16 0 1 0 310376562 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14043/statm: 1339 239 197 169 0 50 0
[pid=14049] ppid=14043 vsize=7352 CPUtime=239.74
/proc/14049/stat : 14049 (minisat_static) R 14043 14043 13936 0 -1 4194304 1471 0 0 0 23970 4 0 0 25 0 1 0 310376564 7528448 1457 1992294400 134512640 135215339 4294956240 18446744073709551615 134525115 0 0 4096 3 0 0 0 17 0 0 0
/proc/14049/statm: 1838 1457 76 171 0 1665 0
Current children cumulated CPU time (s) 239.74
Current children cumulated vsize (KiB) 12708
[startup+241.501 s]
/proc/loadavg: 1.06 1.03 1.05 2/66 14049
/proc/meminfo: memFree=1856768/2055920 swapFree=4179344/4192956
[pid=14043] ppid=14041 vsize=5356 CPUtime=0
/proc/14043/stat : 14043 (SatELiteGTI) S 14041 14043 13936 0 -1 4194304 336 401 0 0 0 0 0 0 16 0 1 0 310376562 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14043/statm: 1339 239 197 169 0 50 0
[pid=14049] ppid=14043 vsize=7352 CPUtime=241.34
/proc/14049/stat : 14049 (minisat_static) R 14043 14043 13936 0 -1 4194304 1471 0 0 0 24130 4 0 0 25 0 1 0 310376564 7528448 1457 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/14049/statm: 1838 1457 76 171 0 1665 0
Current children cumulated CPU time (s) 241.34
Current children cumulated vsize (KiB) 12708
[startup+242.301 s]
/proc/loadavg: 1.06 1.03 1.05 2/66 14049
/proc/meminfo: memFree=1856768/2055920 swapFree=4179344/4192956
[pid=14043] ppid=14041 vsize=5356 CPUtime=0
/proc/14043/stat : 14043 (SatELiteGTI) S 14041 14043 13936 0 -1 4194304 336 401 0 0 0 0 0 0 16 0 1 0 310376562 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14043/statm: 1339 239 197 169 0 50 0
[pid=14049] ppid=14043 vsize=7352 CPUtime=242.14
/proc/14049/stat : 14049 (minisat_static) R 14043 14043 13936 0 -1 4194304 1476 0 0 0 24210 4 0 0 25 0 1 0 310376564 7528448 1462 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/14049/statm: 1838 1462 76 171 0 1665 0
Current children cumulated CPU time (s) 242.14
Current children cumulated vsize (KiB) 12708
[startup+242.701 s]
/proc/loadavg: 1.06 1.03 1.05 2/66 14049
/proc/meminfo: memFree=1856768/2055920 swapFree=4179344/4192956
[pid=14043] ppid=14041 vsize=5356 CPUtime=0
/proc/14043/stat : 14043 (SatELiteGTI) S 14041 14043 13936 0 -1 4194304 336 401 0 0 0 0 0 0 16 0 1 0 310376562 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14043/statm: 1339 239 197 169 0 50 0
[pid=14049] ppid=14043 vsize=7352 CPUtime=242.54
/proc/14049/stat : 14049 (minisat_static) R 14043 14043 13936 0 -1 4194304 1476 0 0 0 24250 4 0 0 25 0 1 0 310376564 7528448 1462 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/14049/statm: 1838 1462 76 171 0 1665 0
Current children cumulated CPU time (s) 242.54
Current children cumulated vsize (KiB) 12708
[startup+243.105 s]
/proc/loadavg: 1.06 1.03 1.05 2/66 14049
/proc/meminfo: memFree=1856768/2055920 swapFree=4179344/4192956
[pid=14043] ppid=14041 vsize=5356 CPUtime=0
/proc/14043/stat : 14043 (SatELiteGTI) S 14041 14043 13936 0 -1 4194304 336 401 0 0 0 0 0 0 16 0 1 0 310376562 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14043/statm: 1339 239 197 169 0 50 0
[pid=14049] ppid=14043 vsize=7352 CPUtime=242.94
/proc/14049/stat : 14049 (minisat_static) R 14043 14043 13936 0 -1 4194304 1476 0 0 0 24290 4 0 0 25 0 1 0 310376564 7528448 1462 1992294400 134512640 135215339 4294956240 18446744073709551615 134528824 0 0 4096 3 0 0 0 17 0 0 0
/proc/14049/statm: 1838 1462 76 171 0 1665 0
Current children cumulated CPU time (s) 242.94
Current children cumulated vsize (KiB) 12708
[startup+243.201 s]
/proc/loadavg: 1.06 1.03 1.05 2/66 14049
/proc/meminfo: memFree=1856768/2055920 swapFree=4179344/4192956
[pid=14043] ppid=14041 vsize=5356 CPUtime=0
/proc/14043/stat : 14043 (SatELiteGTI) S 14041 14043 13936 0 -1 4194304 336 401 0 0 0 0 0 0 16 0 1 0 310376562 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14043/statm: 1339 239 197 169 0 50 0
[pid=14049] ppid=14043 vsize=7352 CPUtime=243.04
/proc/14049/stat : 14049 (minisat_static) R 14043 14043 13936 0 -1 4194304 1476 0 0 0 24300 4 0 0 25 0 1 0 310376564 7528448 1462 1992294400 134512640 135215339 4294956240 18446744073709551615 134528757 0 0 4096 3 0 0 0 17 0 0 0
/proc/14049/statm: 1838 1462 76 171 0 1665 0
Current children cumulated CPU time (s) 243.04
Current children cumulated vsize (KiB) 12708
Child status: 10
Real time (s): 243.275
CPU time (s): 243.129
CPU user time (s): 243.079
CPU system time (s): 0.049992
CPU usage (%): 99.9401
Max. virtual memory (cumulated for all children) (KiB): 12708
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 243.079
system time used= 0.049992
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2508
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= 48
involuntary context switches= 2404
runsolver used 0.219966 second user time and 0.769882 second system time
The end
Begin job on node31 at 2009-05-20 14:43:54
IDJOB=1833565
IDBENCH=70746
IDSOLVER=671
FILE ID=node31/1833565-1242823434
PBS_JOBID= 9322500
Free space on /tmp= 66228 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/MEDIUM/3SAT/SATISFIABLE/360/unif-k3-r4.25-v360-c1530-S1459690542-033.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1833565-1242823434/watcher-1833565-1242823434 -o /tmp/evaluation-result-1833565-1242823434/solver-1833565-1242823434 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833565-1242823434.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= c06f037558f89bd433f3640c2e148f97
RANDOM SEED=566203097
node31.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.213
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.213
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1863664 kB
Buffers: 50136 kB
Cached: 93036 kB
SwapCached: 7176 kB
Active: 51644 kB
Inactive: 101212 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1863664 kB
SwapTotal: 4192956 kB
SwapFree: 4179344 kB
Dirty: 1604 kB
Writeback: 0 kB
Mapped: 14312 kB
Slab: 25216 kB
Committed_AS: 1014140 kB
PageTables: 1468 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66228 MiB
End job on node31 at 2009-05-20 14:47:57