0.00/0.00 c Parsing...
0.00/0.02 c ==============================================================================
0.00/0.02 c | | ORIGINAL | LEARNT | |
0.00/0.02 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.02 c ==============================================================================
0.00/0.02 c | 0 | 14000 70000 | 4199 0 0 nan | 0.000 % |
0.00/0.02 c ==============================================================================
0.00/0.02 c Result : #vars: 700 #clauses: 14000 #literals: 70000
0.00/0.02 c CPU time: 0.013997 s
0.00/0.02 c ==============================================================================
0.00/0.04 c This is MiniSat 2.0 beta
0.00/0.04 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.04 c ============================[ Problem Statistics ]=============================
0.00/0.04 c | |
0.00/0.04 c | Number of variables: 700 |
0.00/0.04 c | Number of clauses: 14000 |
0.03/0.05 c | Parsing time: 0.01 s |
0.03/0.05 c ============================[ Search Statistics ]==============================
0.03/0.05 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.03/0.05 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.03/0.05 c ===============================================================================
0.03/0.05 c | 0 | 700 14000 70000 | 4666 0 nan | 0.000 % |
0.03/0.06 c | 101 | 700 14000 70000 | 4666 101 94 | 0.000 % |
0.03/0.07 c | 201 | 700 14000 70000 | 4666 201 96 | 0.000 % |
0.03/0.08 c | 302 | 700 14000 70000 | 4666 302 93 | 0.000 % |
0.03/0.09 c | 412 | 700 14000 70000 | 4666 412 93 | 0.000 % |
0.03/0.10 c | 512 | 700 14000 70000 | 4666 512 90 | 0.000 % |
0.03/0.11 c | 623 | 700 14000 70000 | 4666 623 91 | 0.000 % |
0.03/0.12 c | 746 | 700 14000 70000 | 4666 746 92 | 0.000 % |
0.03/0.13 c | 847 | 700 14000 70000 | 4666 847 91 | 0.000 % |
0.03/0.14 c | 957 | 700 14000 70000 | 4666 957 92 | 0.000 % |
0.03/0.15 c | 1078 | 700 14000 70000 | 4666 1078 91 | 0.000 % |
0.03/0.16 c | 1211 | 700 14000 70000 | 4666 1211 93 | 0.000 % |
0.03/0.17 c | 1312 | 700 14000 70000 | 4666 1312 94 | 0.000 % |
0.03/0.18 c | 1422 | 700 14000 70000 | 4666 1422 95 | 0.000 % |
0.03/0.19 c | 1543 | 700 14000 70000 | 4666 1543 96 | 0.000 % |
0.03/0.20 c | 1676 | 700 14000 70000 | 4666 1676 96 | 0.000 % |
0.03/0.21 c | 1822 | 700 14000 70000 | 4666 1822 96 | 0.000 % |
0.03/0.22 c | 1922 | 700 14000 70000 | 4666 1922 96 | 0.000 % |
0.03/0.23 c | 2034 | 700 14000 70000 | 4666 2034 96 | 0.000 % |
0.03/0.24 c | 2156 | 700 14000 70000 | 4666 2156 95 | 0.000 % |
0.03/0.25 c | 2290 | 700 14000 70000 | 4666 2290 96 | 0.000 % |
0.03/0.27 c | 2437 | 700 14000 70000 | 4666 2437 96 | 0.000 % |
0.03/0.28 c | 2598 | 700 14000 70000 | 4666 2598 96 | 0.000 % |
0.03/0.29 c | 2701 | 700 14000 70000 | 4666 2701 95 | 0.000 % |
0.03/0.30 c | 2811 | 700 14000 70000 | 4666 2811 95 | 0.000 % |
0.03/0.31 c | 2933 | 700 14000 70000 | 4666 2933 95 | 0.000 % |
0.03/0.33 c | 3066 | 700 14000 70000 | 4666 3066 95 | 0.000 % |
0.03/0.34 c | 3212 | 700 14000 70000 | 4666 3212 96 | 0.000 % |
0.03/0.36 c | 3374 | 700 14000 70000 | 4666 3374 96 | 0.000 % |
0.03/0.37 c | 3550 | 700 14000 70000 | 4666 3550 96 | 0.000 % |
0.03/0.38 c | 3651 | 700 14000 70000 | 4666 3651 96 | 0.000 % |
0.03/0.40 c | 3762 | 700 14000 70000 | 4666 3762 95 | 0.000 % |
0.03/0.41 c | 3883 | 700 14000 70000 | 4666 3883 95 | 0.000 % |
0.03/0.42 c | 4016 | 700 14000 70000 | 4666 4016 96 | 0.000 % |
0.03/0.43 c | 4162 | 700 14000 70000 | 4666 4162 96 | 0.000 % |
0.03/0.45 c | 4324 | 700 14000 70000 | 4666 4324 96 | 0.000 % |
0.03/0.47 c | 4500 | 700 14000 70000 | 4666 4500 97 | 0.000 % |
0.03/0.49 c | 4694 | 700 14000 70000 | 4666 4694 97 | 0.000 % |
0.03/0.50 c | 4794 | 700 14000 70000 | 4666 4325 97 | 0.000 % |
0.03/0.51 c | 4904 | 700 14000 70000 | 4666 4435 97 | 0.000 % |
0.03/0.52 c | 5027 | 700 14000 70000 | 4666 4558 97 | 0.000 % |
0.03/0.54 c | 5160 | 700 14000 70000 | 4666 4691 97 | 0.000 % |
0.03/0.55 c | 5308 | 700 14000 70000 | 4666 4370 97 | 0.000 % |
0.03/0.57 c | 5468 | 700 14000 70000 | 4666 4530 97 | 0.000 % |
0.03/0.59 c | 5647 | 700 14000 70000 | 4666 4709 97 | 0.000 % |
0.03/0.61 c | 5840 | 700 14000 70000 | 4666 4432 96 | 0.000 % |
0.03/0.63 c | 6052 | 700 14000 70000 | 4666 4644 96 | 0.000 % |
0.03/0.64 c | 6153 | 700 14000 70000 | 4666 4745 95 | 0.000 % |
0.03/0.65 c | 6264 | 700 14000 70000 | 4666 4382 95 | 0.000 % |
0.03/0.67 c | 6385 | 700 14000 70000 | 4666 4503 95 | 0.000 % |
0.03/0.68 c | 6519 | 700 14000 70000 | 4666 4637 96 | 0.000 % |
0.03/0.69 c | 6665 | 700 14000 70000 | 4666 4783 96 | 0.000 % |
0.03/0.71 c | 6826 | 700 14000 70000 | 4666 4466 96 | 0.000 % |
0.03/0.73 c | 7003 | 700 14000 70000 | 4666 4643 96 | 0.000 % |
0.03/0.75 c | 7198 | 700 14000 70000 | 4666 4838 96 | 0.000 % |
0.03/0.77 c | 7412 | 700 14000 70000 | 4666 4569 96 | 0.000 % |
0.03/0.79 c | 7645 | 700 14000 70000 | 4666 4802 97 | 0.000 % |
0.03/0.80 c | 7746 | 700 14000 70000 | 4666 4423 96 | 0.000 % |
0.03/0.82 c | 7856 | 700 14000 70000 | 4666 4533 96 | 0.000 % |
0.03/0.83 c | 7977 | 700 14000 70000 | 4666 4654 96 | 0.000 % |
0.03/0.84 c | 8110 | 700 14000 70000 | 4666 4787 96 | 0.000 % |
0.03/0.86 c | 8256 | 700 14000 70000 | 4666 4455 95 | 0.000 % |
0.03/0.87 c | 8416 | 700 14000 70000 | 4666 4615 96 | 0.000 % |
0.03/0.89 c | 8592 | 700 14000 70000 | 4666 4791 95 | 0.000 % |
0.03/0.91 c | 8785 | 700 14000 70000 | 4666 4505 94 | 0.000 % |
0.03/0.93 c | 8997 | 700 14000 70000 | 4666 4717 94 | 0.000 % |
0.03/0.96 c | 9232 | 700 14000 70000 | 4666 4481 94 | 0.000 % |
0.03/0.98 c | 9488 | 700 14000 70000 | 4666 4737 94 | 0.000 % |
0.03/1.00 c | 9588 | 700 14000 70000 | 4666 4364 93 | 0.000 % |
0.97/1.01 c | 9698 | 700 14000 70000 | 4666 4474 93 | 0.000 % |
0.97/1.02 c | 9819 | 700 14000 70000 | 4666 4595 94 | 0.000 % |
0.97/1.03 c | 9953 | 700 14000 70000 | 4666 4729 94 | 0.000 % |
0.97/1.05 c | 10099 | 700 14000 70000 | 2147483647 4403 93 | 0.000 % |
0.97/1.06 c | 10261 | 700 14000 70000 | 2147483647 4565 93 | 0.000 % |
0.97/1.08 c | 10437 | 700 14000 70000 | 2147483647 4741 93 | 0.000 % |
1.07/1.10 c | 10630 | 700 14000 70000 | 2147483647 4934 93 | 0.000 % |
1.07/1.12 c | 10842 | 700 14000 70000 | 2147483647 5146 93 | 0.000 % |
1.07/1.15 c | 11079 | 700 14000 70000 | 2147483647 5383 94 | 0.000 % |
1.07/1.17 c | 11336 | 700 14000 70000 | 2147483647 5640 94 | 0.000 % |
1.17/1.21 c | 11617 | 700 14000 70000 | 2147483647 5921 94 | 0.000 % |
1.17/1.22 c | 11718 | 700 14000 70000 | 2147483647 6022 94 | 0.000 % |
1.17/1.23 c | 11828 | 700 14000 70000 | 2147483647 6132 94 | 0.000 % |
1.17/1.24 c | 11949 | 700 14000 70000 | 2147483647 6253 94 | 0.000 % |
1.17/1.26 c | 12087 | 700 14000 70000 | 2147483647 6391 94 | 0.000 % |
1.17/1.28 c | 12236 | 700 14000 70000 | 2147483647 6540 94 | 0.000 % |
1.17/1.30 c | 12396 | 700 14000 70000 | 2147483647 6700 94 | 0.000 % |
1.27/1.32 c | 12573 | 700 14000 70000 | 2147483647 6877 95 | 0.000 % |
1.27/1.34 c | 12766 | 700 14000 70000 | 2147483647 7070 95 | 0.000 % |
1.27/1.36 c | 12981 | 700 14000 70000 | 2147483647 7285 95 | 0.000 % |
1.27/1.39 c | 13215 | 700 14000 70000 | 2147483647 7519 95 | 0.000 % |
1.37/1.42 c | 13471 | 700 14000 70000 | 2147483647 7775 95 | 0.000 % |
1.37/1.45 c | 13752 | 700 14000 70000 | 2147483647 8056 95 | 0.000 % |
1.37/1.49 c | 14061 | 700 14000 70000 | 2147483647 8365 95 | 0.000 % |
1.47/1.50 c | 14161 | 700 14000 70000 | 2147483647 8465 95 | 0.000 % |
1.47/1.51 c | 14271 | 700 14000 70000 | 2147483647 8575 95 | 0.000 % |
1.47/1.53 c | 14392 | 700 14000 70000 | 2147483647 8696 95 | 0.000 % |
1.47/1.54 c | 14525 | 700 14000 70000 | 2147483647 8829 95 | 0.000 % |
1.47/1.56 c | 14671 | 700 14000 70000 | 2147483647 8975 95 | 0.000 % |
1.47/1.58 c | 14833 | 700 14000 70000 | 2147483647 9137 95 | 0.000 % |
1.57/1.60 c | 15009 | 700 14000 70000 | 2147483647 9313 96 | 0.000 % |
1.57/1.63 c | 15203 | 700 14000 70000 | 2147483647 9507 96 | 0.000 % |
1.57/1.66 c | 15416 | 700 14000 70000 | 2147483647 9720 96 | 0.000 % |
1.57/1.69 c | 15649 | 700 14000 70000 | 2147483647 9953 96 | 0.000 % |
1.67/1.72 c | 15906 | 700 14000 70000 | 2147483647 10210 95 | 0.000 % |
1.67/1.76 c | 16187 | 700 14000 70000 | 2147483647 10491 95 | 0.000 % |
1.77/1.80 c | 16496 | 700 14000 70000 | 2147483647 10800 95 | 0.000 % |
1.77/1.84 c | 16836 | 700 14000 70000 | 2147483647 11140 95 | 0.000 % |
1.77/1.85 c | 16936 | 700 14000 70000 | 2147483647 11240 95 | 0.000 % |
1.77/1.87 c | 17047 | 700 14000 70000 | 2147483647 11351 95 | 0.000 % |
1.77/1.89 c | 17168 | 700 14000 70000 | 2147483647 11472 95 | 0.000 % |
1.86/1.91 c | 17302 | 700 14000 70000 | 2147483647 11606 95 | 0.000 % |
1.86/1.93 c | 17450 | 700 14000 70000 | 2147483647 11754 96 | 0.000 % |
1.86/1.95 c | 17613 | 700 14000 70000 | 2147483647 11917 95 | 0.000 % |
1.86/1.97 c | 17789 | 700 14000 70000 | 2147483647 12093 95 | 0.000 % |
1.96/2.00 c | 17983 | 700 14000 70000 | 2147483647 12287 96 | 0.000 % |
1.96/2.03 c | 18198 | 700 14000 70000 | 2147483647 12502 96 | 0.000 % |
1.96/2.07 c | 18433 | 700 14000 70000 | 2147483647 12737 96 | 0.000 % |
2.07/2.11 c | 18689 | 700 14000 70000 | 2147483647 12993 96 | 0.000 % |
2.07/2.15 c | 18972 | 700 14000 70000 | 2147483647 13276 96 | 0.000 % |
2.17/2.20 c | 19281 | 700 14000 70000 | 2147483647 13585 96 | 0.000 % |
2.17/2.26 c | 19621 | 700 14000 70000 | 2147483647 13925 96 | 0.000 % |
2.26/2.31 c | 19995 | 700 14000 70000 | 2147483647 14299 96 | 0.000 % |
2.26/2.33 c | 20095 | 700 14000 70000 | 2147483647 14399 96 | 0.000 % |
2.26/2.35 c | 20207 | 700 14000 70000 | 2147483647 14511 96 | 0.000 % |
2.26/2.37 c | 20329 | 700 14000 70000 | 2147483647 14633 96 | 0.000 % |
2.26/2.39 c | 20463 | 700 14000 70000 | 2147483647 14767 96 | 0.000 % |
2.37/2.42 c | 20610 | 700 14000 70000 | 2147483647 14914 96 | 0.000 % |
2.37/2.45 c | 20770 | 700 14000 70000 | 2147483647 15074 96 | 0.000 % |
2.37/2.47 c | 20946 | 700 14000 70000 | 2147483647 15250 96 | 0.000 % |
2.47/2.51 c | 21140 | 700 14000 70000 | 2147483647 15444 96 | 0.000 % |
2.47/2.55 c | 21352 | 700 14000 70000 | 2147483647 15656 96 | 0.000 % |
2.47/2.59 c | 21585 | 700 14000 70000 | 2147483647 15889 96 | 0.000 % |
2.57/2.64 c | 21841 | 700 14000 70000 | 2147483647 16145 96 | 0.000 % |
2.57/2.69 c | 22122 | 700 14000 70000 | 2147483647 16426 96 | 0.000 % |
2.67/2.74 c | 22431 | 700 14000 70000 | 2147483647 16735 96 | 0.000 % |
2.77/2.80 c | 22771 | 700 14000 70000 | 2147483647 17075 96 | 0.000 % |
2.77/2.87 c | 23145 | 700 14000 70000 | 2147483647 17449 96 | 0.000 % |
2.87/2.95 c | 23554 | 700 14000 70000 | 2147483647 17858 96 | 0.000 % |
2.87/2.97 c | 23654 | 700 14000 70000 | 2147483647 17958 96 | 0.000 % |
2.87/2.99 c | 23764 | 700 14000 70000 | 2147483647 18068 97 | 0.000 % |
2.96/3.01 c | 23889 | 700 14000 70000 | 2147483647 18193 96 | 0.000 % |
2.96/3.04 c | 24022 | 700 14000 70000 | 2147483647 18326 97 | 0.000 % |
2.96/3.07 c | 24169 | 700 14000 70000 | 2147483647 18473 96 | 0.000 % |
3.06/3.10 c | 24331 | 700 14000 70000 | 2147483647 18635 97 | 0.000 % |
3.06/3.14 c | 24511 | 700 14000 70000 | 2147483647 18815 96 | 0.000 % |
3.06/3.18 c | 24707 | 700 14000 70000 | 2147483647 19011 96 | 0.000 % |
3.17/3.23 c | 24919 | 700 14000 70000 | 2147483647 19223 96 | 0.000 % |
3.17/3.28 c | 25152 | 700 14000 70000 | 2147483647 19456 96 | 0.000 % |
3.27/3.33 c | 25409 | 700 14000 70000 | 2147483647 19713 96 | 0.000 % |
3.27/3.38 c | 25690 | 700 14000 70000 | 2147483647 19994 96 | 0.000 % |
3.36/3.44 c | 25999 | 700 14000 70000 | 2147483647 20303 96 | 0.000 % |
3.46/3.52 c | 26340 | 700 14000 70000 | 2147483647 20644 96 | 0.000 % |
3.56/3.60 c | 26715 | 700 14000 70000 | 2147483647 21019 96 | 0.000 % |
3.56/3.68 c | 27125 | 700 14000 70000 | 2147483647 21429 96 | 0.000 % |
3.66/3.78 c | 27574 | 700 14000 70000 | 2147483647 21878 96 | 0.000 % |
3.76/3.81 c | 27674 | 700 14000 70000 | 2147483647 21978 96 | 0.000 % |
3.76/3.83 c | 27784 | 700 14000 70000 | 2147483647 22088 96 | 0.000 % |
3.76/3.87 c | 27905 | 700 14000 70000 | 2147483647 22209 96 | 0.000 % |
3.86/3.90 c | 28040 | 700 14000 70000 | 2147483647 22344 96 | 0.000 % |
3.86/3.94 c | 28186 | 700 14000 70000 | 2147483647 22490 96 | 0.000 % |
3.86/3.98 c | 28346 | 700 14000 70000 | 2147483647 22650 96 | 0.000 % |
3.96/4.02 c | 28523 | 700 14000 70000 | 2147483647 22827 96 | 0.000 % |
3.96/4.06 c | 28717 | 700 14000 70000 | 2147483647 23021 96 | 0.000 % |
4.06/4.12 c | 28930 | 700 14000 70000 | 2147483647 23234 96 | 0.000 % |
4.06/4.17 c | 29164 | 700 14000 70000 | 2147483647 23468 96 | 0.000 % |
4.16/4.23 c | 29420 | 700 14000 70000 | 2147483647 23724 96 | 0.000 % |
4.16/4.30 c | 29701 | 700 14000 70000 | 2147483647 24005 96 | 0.000 % |
4.27/4.37 c | 30010 | 700 14000 70000 | 2147483647 24314 96 | 0.000 % |
4.37/4.46 c | 30351 | 700 14000 70000 | 2147483647 24655 97 | 0.000 % |
4.46/4.55 c | 30725 | 700 14000 70000 | 2147483647 25029 97 | 0.000 % |
4.56/4.66 c | 31137 | 700 14000 70000 | 2147483647 25441 97 | 0.000 % |
4.66/4.77 c | 31586 | 700 14000 70000 | 2147483647 25890 97 | 0.000 % |
4.86/4.91 c | 32080 | 700 14000 70000 | 2147483647 26384 97 | 0.000 % |
4.86/4.94 c | 32181 | 700 14000 70000 | 2147483647 26485 97 | 0.000 % |
4.86/4.98 c | 32292 | 700 14000 70000 | 2147483647 26596 97 | 0.000 % |
4.96/5.01 c | 32414 | 700 14000 70000 | 2147483647 26718 97 | 0.000 % |
4.96/5.05 c | 32549 | 700 14000 70000 | 2147483647 26853 97 | 0.000 % |
5.06/5.10 c | 32696 | 700 14000 70000 | 2147483647 27000 97 | 0.000 % |
5.06/5.14 c | 32860 | 700 14000 70000 | 2147483647 27164 97 | 0.000 % |
5.06/5.19 c | 33037 | 700 14000 70000 | 2147483647 27341 97 | 0.000 % |
5.16/5.26 c | 33230 | 700 14000 70000 | 2147483647 27534 97 | 0.000 % |
5.26/5.31 c | 33442 | 700 14000 70000 | 2147483647 27746 97 | 0.000 % |
5.26/5.37 c | 33675 | 700 14000 70000 | 2147483647 27979 97 | 0.000 % |
5.36/5.43 c | 33931 | 700 14000 70000 | 2147483647 28235 97 | 0.000 % |
5.46/5.51 c | 34213 | 700 14000 70000 | 2147483647 28517 97 | 0.000 % |
5.46/5.58 c | 34522 | 700 14000 70000 | 2147483647 28826 97 | 0.000 % |
5.56/5.68 c | 34861 | 700 14000 70000 | 2147483647 29165 97 | 0.000 % |
5.66/5.79 c | 35234 | 700 14000 70000 | 2147483647 29538 97 | 0.000 % |
5.86/5.90 c | 35643 | 700 14000 70000 | 2147483647 29947 97 | 0.000 % |
5.96/6.02 c | 36092 | 700 14000 70000 | 2147483647 30396 97 | 0.000 % |
6.05/6.17 c | 36586 | 700 14000 70000 | 2147483647 30890 97 | 0.000 % |
6.25/6.33 c | 37128 | 700 14000 70000 | 2147483647 31432 97 | 0.000 % |
6.25/6.36 c | 37231 | 700 14000 70000 | 2147483647 31535 97 | 0.000 % |
6.25/6.40 c | 37341 | 700 14000 70000 | 2147483647 31645 97 | 0.000 % |
6.36/6.43 c | 37462 | 700 14000 70000 | 2147483647 31766 97 | 0.000 % |
6.36/6.48 c | 37596 | 700 14000 70000 | 2147483647 31900 97 | 0.000 % |
6.47/6.53 c | 37744 | 700 14000 70000 | 2147483647 32048 97 | 0.000 % |
6.47/6.59 c | 37907 | 700 14000 70000 | 2147483647 32211 97 | 0.000 % |
6.57/6.64 c | 38083 | 700 14000 70000 | 2147483647 32387 97 | 0.000 % |
6.66/6.71 c | 38277 | 700 14000 70000 | 2147483647 32581 97 | 0.000 % |
6.66/6.78 c | 38490 | 700 14000 70000 | 2147483647 32794 97 | 0.000 % |
6.76/6.86 c | 38725 | 700 14000 70000 | 2147483647 33029 97 | 0.000 % |
6.86/6.94 c | 38981 | 700 14000 70000 | 2147483647 33285 97 | 0.000 % |
6.96/7.03 c | 39263 | 700 14000 70000 | 2147483647 33567 97 | 0.000 % |
7.06/7.13 c | 39572 | 700 14000 70000 | 2147483647 33876 97 | 0.000 % |
7.16/7.25 c | 39913 | 700 14000 70000 | 2147483647 34217 97 | 0.000 % |
7.26/7.38 c | 40286 | 700 14000 70000 | 2147483647 34590 97 | 0.000 % |
7.45/7.51 c | 40696 | 700 14000 70000 | 2147483647 35000 97 | 0.000 % |
7.56/7.64 c | 41146 | 700 14000 70000 | 2147483647 35450 97 | 0.000 % |
7.66/7.79 c | 41639 | 700 14000 70000 | 2147483647 35943 97 | 0.000 % |
7.85/7.97 c | 42181 | 700 14000 70000 | 2147483647 36485 97 | 0.000 % |
8.05/8.18 c | 42777 | 700 14000 70000 | 2147483647 37081 97 | 0.000 % |
8.15/8.21 c | 42878 | 700 14000 70000 | 2147483647 37182 97 | 0.000 % |
8.15/8.26 c | 42991 | 700 14000 70000 | 2147483647 37295 97 | 0.000 % |
8.25/8.31 c | 43114 | 700 14000 70000 | 2147483647 37418 97 | 0.000 % |
8.25/8.35 c | 43247 | 700 14000 70000 | 2147483647 37551 97 | 0.000 % |
8.35/8.40 c | 43393 | 700 14000 70000 | 2147483647 37697 97 | 0.000 % |
8.35/8.46 c | 43555 | 700 14000 70000 | 2147483647 37859 97 | 0.000 % |
8.45/8.53 c | 43732 | 700 14000 70000 | 2147483647 38036 97 | 0.000 % |
8.55/8.60 c | 43925 | 700 14000 70000 | 2147483647 38229 97 | 0.000 % |
8.55/8.68 c | 44137 | 700 14000 70000 | 2147483647 38441 97 | 0.000 % |
8.65/8.78 c | 44371 | 700 14000 70000 | 2147483647 38675 97 | 0.000 % |
8.76/8.87 c | 44627 | 700 14000 70000 | 2147483647 38931 97 | 0.000 % |
8.85/8.97 c | 44910 | 700 14000 70000 | 2147483647 39214 97 | 0.000 % |
8.95/9.08 c | 45219 | 700 14000 70000 | 2147483647 39523 97 | 0.000 % |
9.15/9.21 c | 45558 | 700 14000 70000 | 2147483647 39862 97 | 0.000 % |
9.25/9.37 c | 45931 | 700 14000 70000 | 2147483647 40235 97 | 0.000 % |
9.45/9.52 c | 46340 | 700 14000 70000 | 2147483647 40644 97 | 0.000 % |
9.55/9.68 c | 46789 | 700 14000 70000 | 2147483647 41093 97 | 0.000 % |
9.75/9.86 c | 47283 | 700 14000 70000 | 2147483647 41587 97 | 0.000 % |
9.95/10.06 c | 47826 | 700 14000 70000 | 2147483647 42130 98 | 0.000 % |
10.15/10.29 c | 48423 | 700 14000 70000 | 2147483647 42727 98 | 0.000 % |
10.45/10.54 c | 49078 | 700 14000 70000 | 2147483647 43382 98 | 0.000 % |
10.45/10.60 c | 49178 | 700 14000 70000 | 2147483647 43482 98 | 0.000 % |
10.55/10.64 c | 49289 | 700 14000 70000 | 2147483647 43593 98 | 0.000 % |
10.55/10.70 c | 49411 | 700 14000 70000 | 2147483647 43715 98 | 0.000 % |
10.65/10.76 c | 49544 | 700 14000 70000 | 2147483647 43848 98 | 0.000 % |
10.74/10.84 c | 49691 | 700 14000 70000 | 2147483647 43995 98 | 0.000 % |
10.85/10.91 c | 49851 | 700 14000 70000 | 2147483647 44155 98 | 0.000 % |
10.85/10.98 c | 50028 | 700 14000 70000 | 2147483647 44332 98 | 0.000 % |
10.95/11.07 c | 50222 | 700 14000 70000 | 2147483647 44526 98 | 0.000 % |
11.04/11.16 c | 50434 | 700 14000 70000 | 2147483647 44738 98 | 0.000 % |
11.14/11.26 c | 50667 | 700 14000 70000 | 2147483647 44971 98 | 0.000 % |
11.24/11.37 c | 50923 | 700 14000 70000 | 2147483647 45227 98 | 0.000 % |
11.34/11.49 c | 51204 | 700 14000 70000 | 2147483647 45508 98 | 0.000 % |
11.55/11.61 c | 51514 | 700 14000 70000 | 2147483647 45818 98 | 0.000 % |
11.65/11.77 c | 51855 | 700 14000 70000 | 2147483647 46159 98 | 0.000 % |
11.85/11.92 c | 52227 | 700 14000 70000 | 2147483647 46531 98 | 0.000 % |
11.95/12.10 c | 52636 | 700 14000 70000 | 2147483647 46940 98 | 0.000 % |
12.25/12.30 c | 53085 | 700 14000 70000 | 2147483647 47389 98 | 0.000 % |
12.45/12.53 c | 53579 | 700 14000 70000 | 2147483647 47883 98 | 0.000 % |
12.65/12.77 c | 54121 | 700 14000 70000 | 2147483647 48425 98 | 0.000 % |
12.95/13.03 c | 54720 | 700 14000 70000 | 2147483647 49024 98 | 0.000 % |
13.24/13.31 c | 55376 | 700 14000 70000 | 2147483647 49680 98 | 0.000 % |
13.54/13.62 c | 56096 | 700 14000 70000 | 2147483647 50400 98 | 0.000 % |
13.54/13.68 c | 56197 | 700 14000 70000 | 2147483647 50501 98 | 0.000 % |
13.64/13.73 c | 56310 | 700 14000 70000 | 2147483647 50614 98 | 0.000 % |
13.64/13.78 c | 56431 | 700 14000 70000 | 2147483647 50735 98 | 0.000 % |
13.74/13.85 c | 56564 | 700 14000 70000 | 2147483647 50868 98 | 0.000 % |
13.84/13.93 c | 56711 | 700 14000 70000 | 2147483647 51015 98 | 0.000 % |
13.94/14.02 c | 56871 | 700 14000 70000 | 2147483647 51175 98 | 0.000 % |
14.04/14.11 c | 57047 | 700 14000 70000 | 2147483647 51351 98 | 0.000 % |
14.14/14.22 c | 57240 | 700 14000 70000 | 2147483647 51544 98 | 0.000 % |
14.24/14.33 c | 57456 | 700 14000 70000 | 2147483647 51760 98 | 0.000 % |
14.34/14.44 c | 57691 | 700 14000 70000 | 2147483647 51995 98 | 0.000 % |
14.44/14.56 c | 57948 | 700 14000 70000 | 2147483647 52252 98 | 0.000 % |
14.55/14.70 c | 58230 | 700 14000 70000 | 2147483647 52534 98 | 0.000 % |
14.75/14.85 c | 58539 | 700 14000 70000 | 2147483647 52843 98 | 0.000 % |
14.95/15.02 c | 58879 | 700 14000 70000 | 2147483647 53183 98 | 0.000 % |
15.15/15.21 c | 59251 | 700 14000 70000 | 2147483647 53555 98 | 0.000 % |
15.35/15.40 c | 59660 | 700 14000 70000 | 2147483647 53964 98 | 0.000 % |
15.54/15.61 c | 60109 | 700 14000 70000 | 2147483647 54413 98 | 0.000 % |
15.74/15.85 c | 60603 | 700 14000 70000 | 2147483647 54907 98 | 0.000 % |
15.94/16.09 c | 61145 | 700 14000 70000 | 2147483647 55449 98 | 0.000 % |
16.24/16.36 c | 61744 | 700 14000 70000 | 2147483647 56048 98 | 0.000 % |
16.54/16.66 c | 62399 | 700 14000 70000 | 2147483647 56703 98 | 0.000 % |
16.95/17.04 c | 63119 | 700 14000 70000 | 2147483647 57423 98 | 0.000 % |
17.34/17.43 c | 63911 | 700 14000 70000 | 2147483647 58215 98 | 0.000 % |
17.34/17.48 c | 64011 | 700 14000 70000 | 2147483647 58315 98 | 0.000 % |
17.45/17.56 c | 64121 | 700 14000 70000 | 2147483647 58425 98 | 0.000 % |
17.55/17.63 c | 64246 | 700 14000 70000 | 2147483647 58550 98 | 0.000 % |
17.64/17.72 c | 64380 | 700 14000 70000 | 2147483647 58684 98 | 0.000 % |
17.64/17.80 c | 64527 | 700 14000 70000 | 2147483647 58831 98 | 0.000 % |
17.74/17.89 c | 64688 | 700 14000 70000 | 2147483647 58992 98 | 0.000 % |
17.84/17.99 c | 64866 | 700 14000 70000 | 2147483647 59170 98 | 0.000 % |
17.94/18.09 c | 65060 | 700 14000 70000 | 2147483647 59364 98 | 0.000 % |
18.14/18.22 c | 65273 | 700 14000 70000 | 2147483647 59577 98 | 0.000 % |
18.24/18.37 c | 65507 | 700 14000 70000 | 2147483647 59811 98 | 0.000 % |
18.44/18.51 c | 65763 | 700 14000 70000 | 2147483647 60067 98 | 0.000 % |
18.55/18.67 c | 66044 | 700 14000 70000 | 2147483647 60348 98 | 0.000 % |
18.74/18.85 c | 66354 | 700 14000 70000 | 2147483647 60658 98 | 0.000 % |
18.94/19.03 c | 66694 | 700 14000 70000 | 2147483647 60998 98 | 0.000 % |
19.14/19.24 c | 67068 | 700 14000 70000 | 2147483647 61372 98 | 0.000 % |
19.34/19.48 c | 67477 | 700 14000 70000 | 2147483647 61781 98 | 0.000 % |
19.64/19.73 c | 67927 | 700 14000 70000 | 2147483647 62231 98 | 0.000 % |
19.94/20.01 c | 68423 | 700 14000 70000 | 2147483647 62727 98 | 0.000 % |
20.24/20.33 c | 68965 | 700 14000 70000 | 2147483647 63269 98 | 0.000 % |
20.54/20.68 c | 69563 | 700 14000 70000 | 2147483647 63867 98 | 0.000 % |
20.93/21.06 c | 70218 | 700 14000 70000 | 2147483647 64522 98 | 0.000 % |
21.33/21.48 c | 70940 | 700 14000 70000 | 2147483647 65244 98 | 0.000 % |
21.84/21.91 c | 71732 | 700 14000 70000 | 2147483647 66036 98 | 0.000 % |
22.34/22.43 c | 72604 | 700 14000 70000 | 2147483647 66908 98 | 0.000 % |
22.34/22.48 c | 72704 | 700 14000 70000 | 2147483647 67008 98 | 0.000 % |
22.44/22.55 c | 72815 | 700 14000 70000 | 2147483647 67119 98 | 0.000 % |
22.54/22.63 c | 72937 | 700 14000 70000 | 2147483647 67241 98 | 0.000 % |
22.64/22.71 c | 73071 | 700 14000 70000 | 2147483647 67375 98 | 0.000 % |
22.74/22.83 c | 73218 | 700 14000 70000 | 2147483647 67522 98 | 0.000 % |
22.84/22.93 c | 73379 | 700 14000 70000 | 2147483647 67683 98 | 0.000 % |
22.94/23.04 c | 73556 | 700 14000 70000 | 2147483647 67860 98 | 0.000 % |
23.04/23.18 c | 73749 | 700 14000 70000 | 2147483647 68053 98 | 0.000 % |
23.24/23.32 c | 73961 | 700 14000 70000 | 2147483647 68265 98 | 0.000 % |
23.34/23.47 c | 74195 | 700 14000 70000 | 2147483647 68499 98 | 0.000 % |
23.54/23.63 c | 74452 | 700 14000 70000 | 2147483647 68756 98 | 0.000 % |
23.74/23.81 c | 74733 | 700 14000 70000 | 2147483647 69037 98 | 0.000 % |
23.84/23.99 c | 75042 | 700 14000 70000 | 2147483647 69346 98 | 0.000 % |
24.14/24.21 c | 75383 | 700 14000 70000 | 2147483647 69687 98 | 0.000 % |
24.33/24.44 c | 75755 | 700 14000 70000 | 2147483647 70059 98 | 0.000 % |
24.53/24.69 c | 76164 | 700 14000 70000 | 2147483647 70468 98 | 0.000 % |
24.83/24.97 c | 76613 | 700 14000 70000 | 2147483647 70917 98 | 0.000 % |
25.24/25.31 c | 77108 | 700 14000 70000 | 2147483647 71412 98 | 0.000 % |
25.54/25.64 c | 77653 | 700 14000 70000 | 2147483647 71957 98 | 0.000 % |
25.84/25.99 c | 78251 | 700 14000 70000 | 2147483647 72555 98 | 0.000 % |
26.24/26.36 c | 78908 | 700 14000 70000 | 2147483647 73212 98 | 0.000 % |
26.64/26.79 c | 79630 | 700 14000 70000 | 2147483647 73934 98 | 0.000 % |
27.24/27.32 c | 80424 | 700 14000 70000 | 74304 64148 99 | 0.000 % |
27.74/27.82 c | 81296 | 700 14000 70000 | 74304 65020 99 | 0.000 % |
28.23/28.35 c | 82254 | 700 14000 70000 | 74304 65978 99 | 0.000 % |
28.33/28.42 c | 82356 | 700 14000 70000 | 74304 66080 99 | 0.000 % |
28.44/28.51 c | 82467 | 700 14000 70000 | 74304 66191 99 | 0.000 % |
28.44/28.58 c | 82589 | 700 14000 70000 | 74304 66313 99 | 0.000 % |
28.54/28.69 c | 82722 | 700 14000 70000 | 74304 66446 99 | 0.000 % |
28.63/28.78 c | 82868 | 700 14000 70000 | 74304 66592 99 | 0.000 % |
28.73/28.90 c | 83030 | 700 14000 70000 | 74304 66754 99 | 0.000 % |
28.93/29.03 c | 83207 | 700 14000 70000 | 74304 66931 99 | 0.000 % |
29.03/29.15 c | 83400 | 700 14000 70000 | 74304 67124 99 | 0.000 % |
29.13/29.29 c | 83613 | 700 14000 70000 | 74304 67337 99 | 0.000 % |
29.33/29.43 c | 83846 | 700 14000 70000 | 74304 67570 99 | 0.000 % |
29.43/29.59 c | 84103 | 700 14000 70000 | 74304 67827 99 | 0.000 % |
29.64/29.76 c | 84384 | 700 14000 70000 | 74304 68108 99 | 0.000 % |
29.83/29.95 c | 84693 | 700 14000 70000 | 74304 68417 99 | 0.000 % |
30.03/30.16 c | 85032 | 700 14000 70000 | 74304 68756 99 | 0.000 % |
30.33/30.40 c | 85404 | 700 14000 70000 | 74304 69128 99 | 0.000 % |
30.53/30.67 c | 85813 | 700 14000 70000 | 74304 69537 99 | 0.000 % |
30.83/30.96 c | 86263 | 700 14000 70000 | 74304 69987 99 | 0.000 % |
31.13/31.24 c | 86757 | 700 14000 70000 | 74304 70481 99 | 0.000 % |
31.43/31.56 c | 87300 | 700 14000 70000 | 74304 71024 99 | 0.000 % |
31.74/31.90 c | 87896 | 700 14000 70000 | 74304 71620 99 | 0.000 % |
32.13/32.28 c | 88553 | 700 14000 70000 | 74304 72277 99 | 0.000 % |
32.63/32.77 c | 89273 | 700 14000 70000 | 74304 72997 99 | 0.000 % |
33.13/33.28 c | 90066 | 700 14000 70000 | 73724 73790 99 | 0.000 % |
33.73/33.83 c | 90938 | 700 14000 70000 | 73724 63585 99 | 0.000 % |
34.23/34.34 c | 91896 | 700 14000 70000 | 73724 64543 99 | 0.000 % |
34.83/34.93 c | 92949 | 700 14000 70000 | 73724 65596 99 | 0.000 % |
34.83/34.99 c | 93049 | 700 14000 70000 | 73724 65696 99 | 0.000 % |
34.93/35.07 c | 93162 | 700 14000 70000 | 73724 65809 99 | 0.000 % |
35.03/35.15 c | 93284 | 700 14000 70000 | 73724 65931 99 | 0.000 % |
35.13/35.24 c | 93418 | 700 14000 70000 | 73724 66065 99 | 0.000 % |
35.23/35.31 c | 93565 | 700 14000 70000 | 73724 66212 99 | 0.000 % |
35.33/35.43 c | 93725 | 700 14000 70000 | 73724 66372 99 | 0.000 % |
35.43/35.54 c | 93901 | 700 14000 70000 | 73724 66548 99 | 0.000 % |
35.53/35.66 c | 94095 | 700 14000 70000 | 73724 66742 99 | 0.000 % |
35.73/35.82 c | 94311 | 700 14000 70000 | 73724 66958 99 | 0.000 % |
35.83/35.97 c | 94544 | 700 14000 70000 | 73724 67191 99 | 0.000 % |
36.03/36.13 c | 94800 | 700 14000 70000 | 73724 67447 99 | 0.000 % |
36.23/36.31 c | 95083 | 700 14000 70000 | 73724 67730 99 | 0.000 % |
36.33/36.50 c | 95394 | 700 14000 70000 | 73724 68041 99 | 0.000 % |
36.63/36.74 c | 95733 | 700 14000 70000 | 73724 68380 99 | 0.000 % |
36.83/36.97 c | 96107 | 700 14000 70000 | 73724 68754 99 | 0.000 % |
37.13/37.23 c | 96516 | 700 14000 70000 | 73724 69163 99 | 0.000 % |
37.42/37.52 c | 96967 | 700 14000 70000 | 73724 69614 99 | 0.000 % |
37.72/37.86 c | 97461 | 700 14000 70000 | 73724 70108 99 | 0.000 % |
38.02/38.19 c | 98004 | 700 14000 70000 | 73724 70651 99 | 0.000 % |
38.43/38.56 c | 98601 | 700 14000 70000 | 73724 71248 99 | 0.000 % |
38.82/38.97 c | 99257 | 700 14000 70000 | 73724 71904 99 | 0.000 % |
39.32/39.40 c | 99978 | 700 14000 70000 | 73724 72625 99 | 0.000 % |
39.72/39.88 c | 100770 | 700 14000 70000 | 72650 62174 99 | 0.000 % |
40.22/40.36 c | 101642 | 700 14000 70000 | 72650 63046 99 | 0.000 % |
40.72/40.88 c | 102600 | 700 14000 70000 | 72650 64004 99 | 0.000 % |
41.32/41.46 c | 103654 | 700 14000 70000 | 72650 65058 99 | 0.000 % |
41.92/42.09 c | 104814 | 700 14000 70000 | 72650 66218 99 | 0.000 % |
42.02/42.16 c | 104914 | 700 14000 70000 | 72650 66318 99 | 0.000 % |
42.12/42.22 c | 105025 | 700 14000 70000 | 72650 66429 99 | 0.000 % |
42.22/42.33 c | 105148 | 700 14000 70000 | 72650 66552 99 | 0.000 % |
42.32/42.41 c | 105282 | 700 14000 70000 | 72650 66686 99 | 0.000 % |
42.42/42.51 c | 105429 | 700 14000 70000 | 72650 66833 99 | 0.000 % |
42.52/42.61 c | 105589 | 700 14000 70000 | 72650 66993 99 | 0.000 % |
42.62/42.73 c | 105767 | 700 14000 70000 | 72650 67171 99 | 0.000 % |
42.73/42.86 c | 105960 | 700 14000 70000 | 72650 67364 99 | 0.000 % |
42.83/43.00 c | 106175 | 700 14000 70000 | 72650 67579 99 | 0.000 % |
43.02/43.15 c | 106410 | 700 14000 70000 | 72650 67814 99 | 0.000 % |
43.22/43.30 c | 106666 | 700 14000 70000 | 72650 68070 99 | 0.000 % |
43.32/43.46 c | 106948 | 700 14000 70000 | 72650 68352 99 | 0.000 % |
43.52/43.65 c | 107258 | 700 14000 70000 | 72650 68662 99 | 0.000 % |
43.72/43.85 c | 107597 | 700 14000 70000 | 72650 69001 99 | 0.000 % |
44.02/44.10 c | 107971 | 700 14000 70000 | 72650 69375 99 | 0.000 % |
44.22/44.36 c | 108382 | 700 14000 70000 | 72650 69786 99 | 0.000 % |
44.52/44.60 c | 108831 | 700 14000 70000 | 72650 70235 99 | 0.000 % |
44.82/44.90 c | 109325 | 700 14000 70000 | 72650 70729 99 | 0.000 % |
45.12/45.24 c | 109869 | 700 14000 70000 | 72650 71273 99 | 0.000 % |
45.52/45.61 c | 110467 | 700 14000 70000 | 71404 61610 99 | 0.000 % |
45.82/45.97 c | 111123 | 700 14000 70000 | 71404 62266 99 | 0.000 % |
46.22/46.36 c | 111843 | 700 14000 70000 | 71404 62986 99 | 0.000 % |
46.62/46.78 c | 112635 | 700 14000 70000 | 71404 63778 99 | 0.000 % |
47.12/47.26 c | 113506 | 700 14000 70000 | 71404 64649 99 | 0.000 % |
47.72/47.85 c | 114466 | 700 14000 70000 | 71404 65609 99 | 0.000 % |
48.32/48.48 c | 115519 | 700 14000 70000 | 71404 66662 100 | 0.000 % |
49.02/49.20 c | 116677 | 700 14000 70000 | 71404 67820 100 | 0.000 % |
49.92/50.00 c | 117950 | 700 14000 70000 | 71404 69093 100 | 0.000 % |
49.92/50.06 c | 118050 | 700 14000 70000 | 71404 69193 100 | 0.000 % |
50.02/50.14 c | 118160 | 700 14000 70000 | 71404 69303 100 | 0.000 % |
50.12/50.23 c | 118282 | 700 14000 70000 | 71404 69425 100 | 0.000 % |
50.22/50.30 c | 118415 | 700 14000 70000 | 71404 69558 100 | 0.000 % |
50.32/50.41 c | 118561 | 700 14000 70000 | 71404 69704 100 | 0.000 % |
50.42/50.53 c | 118722 | 700 14000 70000 | 71404 69865 100 | 0.000 % |
50.52/50.65 c | 118899 | 700 14000 70000 | 71404 70042 100 | 0.000 % |
50.62/50.79 c | 119092 | 700 14000 70000 | 71404 70235 100 | 0.000 % |
50.82/50.97 c | 119306 | 700 14000 70000 | 71404 70449 100 | 0.000 % |
51.02/51.15 c | 119539 | 700 14000 70000 | 71404 70682 100 | 0.000 % |
51.22/51.33 c | 119795 | 700 14000 70000 | 71404 70938 100 | 0.000 % |
51.42/51.50 c | 120077 | 700 14000 70000 | 71144 71220 100 | 0.000 % |
51.62/51.74 c | 120386 | 700 14000 70000 | 71144 60906 100 | 0.000 % |
51.82/51.95 c | 120725 | 700 14000 70000 | 71144 61245 100 | 0.000 % |
52.02/52.15 c | 121099 | 700 14000 70000 | 71144 61619 100 | 0.000 % |
52.22/52.38 c | 121508 | 700 14000 70000 | 71144 62028 100 | 0.000 % |
52.52/52.64 c | 121957 | 700 14000 70000 | 71144 62477 100 | 0.000 % |
52.81/52.92 c | 122455 | 700 14000 70000 | 71144 62975 100 | 0.000 % |
53.11/53.24 c | 122997 | 700 14000 70000 | 71144 63517 100 | 0.000 % |
53.41/53.58 c | 123593 | 700 14000 70000 | 71144 64113 100 | 0.000 % |
53.81/53.99 c | 124248 | 700 14000 70000 | 71144 64768 100 | 0.000 % |
54.31/54.40 c | 124968 | 700 14000 70000 | 71144 65488 100 | 0.000 % |
54.71/54.90 c | 125761 | 700 14000 70000 | 71144 66281 100 | 0.000 % |
55.31/55.41 c | 126632 | 700 14000 70000 | 71144 67152 100 | 0.000 % |
55.81/55.98 c | 127590 | 700 14000 70000 | 71144 68110 100 | 0.000 % |
56.51/56.64 c | 128643 | 700 14000 70000 | 71144 69163 100 | 0.000 % |
57.11/57.27 c | 129801 | 700 14000 70000 | 71144 70321 101 | 0.000 % |
57.91/58.01 c | 131075 | 700 14000 70000 | 70521 61724 101 | 0.000 % |
58.71/58.84 c | 132476 | 700 14000 70000 | 70521 63125 101 | 0.000 % |
58.81/58.91 c | 132576 | 700 14000 70000 | 70521 63225 101 | 0.000 % |
58.81/58.99 c | 132686 | 700 14000 70000 | 70521 63335 101 | 0.000 % |
58.91/59.06 c | 132808 | 700 14000 70000 | 70521 63457 101 | 0.000 % |
59.01/59.14 c | 132942 | 700 14000 70000 | 70521 63591 101 | 0.000 % |
59.11/59.22 c | 133088 | 700 14000 70000 | 70521 63737 101 | 0.000 % |
59.21/59.32 c | 133248 | 700 14000 70000 | 70521 63897 101 | 0.000 % |
59.31/59.43 c | 133425 | 700 14000 70000 | 70521 64074 101 | 0.000 % |
59.40/59.56 c | 133618 | 700 14000 70000 | 70521 64267 101 | 0.000 % |
59.50/59.67 c | 133832 | 700 14000 70000 | 70521 64481 101 | 0.000 % |
59.70/59.80 c | 134065 | 700 14000 70000 | 70521 64714 101 | 0.000 % |
59.80/59.97 c | 134322 | 700 14000 70000 | 70521 64971 101 | 0.000 % |
60.00/60.15 c | 134603 | 700 14000 70000 | 70521 65252 101 | 0.000 % |
60.20/60.35 c | 134912 | 700 14000 70000 | 70521 65561 101 | 0.000 % |
60.41/60.54 c | 135253 | 700 14000 70000 | 70521 65902 101 | 0.000 % |
60.60/60.73 c | 135630 | 700 14000 70000 | 70521 66279 101 | 0.000 % |
60.80/60.97 c | 136040 | 700 14000 70000 | 70521 66689 101 | 0.000 % |
61.10/61.26 c | 136490 | 700 14000 70000 | 70521 67139 101 | 0.000 % |
61.41/61.59 c | 136984 | 700 14000 70000 | 70521 67633 101 | 0.000 % |
61.80/61.91 c | 137528 | 700 14000 70000 | 70521 68177 101 | 0.000 % |
62.20/62.31 c | 138124 | 700 14000 70000 | 70521 68773 101 | 0.000 % |
62.61/62.72 c | 138780 | 700 14000 70000 | 70521 69429 101 | 0.000 % |
63.00/63.15 c | 139501 | 700 14000 70000 | 70521 70150 101 | 0.000 % |
63.61/63.70 c | 140294 | 700 14000 70000 | 70649 60733 101 | 0.000 % |
64.00/64.15 c | 141166 | 700 14000 70000 | 70649 61605 101 | 0.000 % |
64.50/64.64 c | 142124 | 700 14000 70000 | 70649 62563 101 | 0.000 % |
65.10/65.20 c | 143179 | 700 14000 70000 | 70649 63618 101 | 0.000 % |
65.70/65.81 c | 144337 | 700 14000 70000 | 70649 64776 101 | 0.000 % |
66.30/66.47 c | 145611 | 700 14000 70000 | 70649 66050 101 | 0.000 % |
67.10/67.21 c | 147012 | 700 14000 70000 | 70649 67451 101 | 0.000 % |
68.00/68.14 c | 148555 | 700 14000 70000 | 70649 68994 101 | 0.000 % |
68.10/68.22 c | 148657 | 700 14000 70000 | 70649 69096 101 | 0.000 % |
68.20/68.30 c | 148769 | 700 14000 70000 | 70649 69208 101 | 0.000 % |
68.20/68.37 c | 148892 | 700 14000 70000 | 70649 69331 101 | 0.000 % |
68.30/68.47 c | 149025 | 700 14000 70000 | 70649 69464 101 | 0.000 % |
68.40/68.58 c | 149171 | 700 14000 70000 | 70649 69610 101 | 0.000 % |
68.50/68.69 c | 149331 | 700 14000 70000 | 70649 69770 101 | 0.000 % |
68.70/68.81 c | 149508 | 700 14000 70000 | 70649 69947 101 | 0.000 % |
68.80/68.95 c | 149703 | 700 14000 70000 | 70649 70142 101 | 0.000 % |
69.00/69.10 c | 149915 | 700 14000 70000 | 70649 70354 101 | 0.000 % |
69.10/69.27 c | 150148 | 700 14000 70000 | 70440 70587 101 | 0.000 % |
69.30/69.46 c | 150404 | 700 14000 70000 | 70440 61460 101 | 0.000 % |
69.50/69.63 c | 150685 | 700 14000 70000 | 70440 61741 101 | 0.000 % |
69.70/69.81 c | 150994 | 700 14000 70000 | 70440 62050 101 | 0.000 % |
69.90/70.00 c | 151333 | 700 14000 70000 | 70440 62389 101 | 0.000 % |
70.10/70.22 c | 151706 | 700 14000 70000 | 70440 62762 101 | 0.000 % |
70.30/70.45 c | 152116 | 700 14000 70000 | 70440 63172 101 | 0.000 % |
70.60/70.70 c | 152565 | 700 14000 70000 | 70440 63621 101 | 0.000 % |
70.90/71.04 c | 153059 | 700 14000 70000 | 70440 64115 101 | 0.000 % |
71.20/71.37 c | 153602 | 700 14000 70000 | 70440 64658 101 | 0.000 % |
71.60/71.73 c | 154200 | 700 14000 70000 | 70440 65256 101 | 0.000 % |
72.00/72.11 c | 154857 | 700 14000 70000 | 70440 65913 101 | 0.000 % |
72.40/72.55 c | 155578 | 700 14000 70000 | 70440 66634 101 | 0.000 % |
72.90/73.06 c | 156371 | 700 14000 70000 | 70440 67427 101 | 0.000 % |
73.40/73.58 c | 157245 | 700 14000 70000 | 70440 68301 101 | 0.000 % |
74.00/74.18 c | 158205 | 700 14000 70000 | 70440 69261 101 | 0.000 % |
74.60/74.76 c | 159260 | 700 14000 70000 | 70440 70316 101 | 0.000 % |
75.30/75.44 c | 160418 | 700 14000 70000 | 61330 53509 102 | 0.000 % |
75.90/76.03 c | 161691 | 700 14000 70000 | 61330 54782 102 | 0.000 % |
76.60/76.72 c | 163093 | 700 14000 70000 | 61330 56184 102 | 0.000 % |
77.40/77.51 c | 164634 | 700 14000 70000 | 61330 57725 102 | 0.000 % |
78.20/78.33 c | 166328 | 700 14000 70000 | 61330 59419 102 | 0.000 % |
78.20/78.38 c | 166429 | 700 14000 70000 | 61330 59520 102 | 0.000 % |
78.30/78.44 c | 166541 | 700 14000 70000 | 61330 59632 102 | 0.000 % |
78.39/78.53 c | 166662 | 700 14000 70000 | 61330 59753 102 | 0.000 % |
78.49/78.61 c | 166797 | 700 14000 70000 | 61330 59888 102 | 0.000 % |
78.49/78.68 c | 166943 | 700 14000 70000 | 61330 60034 102 | 0.000 % |
78.59/78.77 c | 167103 | 700 14000 70000 | 61330 60194 102 | 0.000 % |
78.69/78.87 c | 167281 | 700 14000 70000 | 61330 60372 102 | 0.000 % |
78.79/78.98 c | 167474 | 700 14000 70000 | 61330 60565 102 | 0.000 % |
78.89/79.10 c | 167686 | 700 14000 70000 | 61330 60777 102 | 0.000 % |
79.09/79.22 c | 167920 | 700 14000 70000 | 61330 61011 102 | 0.000 % |
79.19/79.36 c | 168178 | 700 14000 70000 | 61330 61269 102 | 0.000 % |
79.39/79.52 c | 168462 | 700 14000 70000 | 61330 61553 102 | 0.000 % |
79.59/79.71 c | 168772 | 700 14000 70000 | 61330 55708 102 | 0.000 % |
79.69/79.88 c | 169111 | 700 14000 70000 | 61330 56047 102 | 0.000 % |
79.89/80.08 c | 169483 | 700 14000 70000 | 61330 56419 102 | 0.000 % |
80.09/80.28 c | 169894 | 700 14000 70000 | 61330 56830 102 | 0.000 % |
80.39/80.51 c | 170343 | 700 14000 70000 | 2147483647 57279 101 | 0.000 % |
80.59/80.75 c | 170838 | 700 14000 70000 | 2147483647 57774 101 | 0.000 % |
80.89/81.02 c | 171381 | 700 14000 70000 | 2147483647 58317 101 | 0.000 % |
81.19/81.32 c | 171982 | 700 14000 70000 | 2147483647 58918 101 | 0.000 % |
81.48/81.67 c | 172637 | 700 14000 70000 | 2147483647 59573 102 | 0.000 % |
81.88/82.04 c | 173359 | 700 14000 70000 | 2147483647 60295 102 | 0.000 % |
82.29/82.49 c | 174151 | 700 14000 70000 | 2147483647 61087 102 | 0.000 % |
82.78/82.94 c | 175022 | 700 14000 70000 | 2147483647 61958 102 | 0.000 % |
83.28/83.50 c | 175980 | 700 14000 70000 | 2147483647 62916 102 | 0.000 % |
83.88/84.09 c | 177034 | 700 14000 70000 | 2147483647 63970 102 | 0.000 % |
84.59/84.77 c | 178192 | 700 14000 70000 | 2147483647 65128 101 | 0.000 % |
85.38/85.50 c | 179466 | 700 14000 70000 | 2147483647 66402 101 | 0.000 % |
86.08/86.29 c | 180866 | 700 14000 70000 | 66936 60266 101 | 0.000 % |
86.88/87.06 c | 182406 | 700 14000 70000 | 66936 61806 101 | 0.000 % |
87.79/87.94 c | 184100 | 700 14000 70000 | 66936 63500 101 | 0.000 % |
88.78/88.90 c | 185963 | 700 14000 70000 | 66936 65363 101 | 0.000 % |
88.78/88.95 c | 186063 | 700 14000 70000 | 66936 65463 101 | 0.000 % |
88.88/89.05 c | 186175 | 700 14000 70000 | 66936 65575 101 | 0.000 % |
88.98/89.12 c | 186297 | 700 14000 70000 | 66936 65697 101 | 0.000 % |
89.08/89.22 c | 186430 | 700 14000 70000 | 66936 65830 101 | 0.000 % |
89.18/89.33 c | 186576 | 700 14000 70000 | 66936 65976 101 | 0.000 % |
89.28/89.45 c | 186736 | 700 14000 70000 | 66936 66136 101 | 0.000 % |
89.38/89.55 c | 186913 | 700 14000 70000 | 66936 66313 101 | 0.000 % |
89.48/89.67 c | 187106 | 700 14000 70000 | 66936 66506 101 | 0.000 % |
89.58/89.79 c | 187319 | 700 14000 70000 | 66936 66719 101 | 0.000 % |
89.78/89.93 c | 187553 | 700 14000 70000 | 66936 66953 101 | 0.000 % |
89.98/90.12 c | 187809 | 700 14000 70000 | 66936 59641 101 | 0.000 % |
90.18/90.30 c | 188090 | 700 14000 70000 | 66936 59922 101 | 0.000 % |
90.28/90.47 c | 188399 | 700 14000 70000 | 66936 60231 101 | 0.000 % |
90.48/90.64 c | 188738 | 700 14000 70000 | 66936 60570 101 | 0.000 % |
90.68/90.83 c | 189111 | 700 14000 70000 | 66936 60943 101 | 0.000 % |
90.88/91.05 c | 189521 | 700 14000 70000 | 66936 61353 101 | 0.000 % |
91.18/91.31 c | 189970 | 700 14000 70000 | 66936 61802 101 | 0.000 % |
91.48/91.61 c | 190464 | 700 14000 70000 | 61832 55152 101 | 0.000 % |
91.68/91.87 c | 191006 | 700 14000 70000 | 61832 55694 101 | 0.000 % |
91.98/92.17 c | 191602 | 700 14000 70000 | 61832 56290 101 | 0.000 % |
92.38/92.52 c | 192258 | 700 14000 70000 | 61832 56946 101 | 0.000 % |
92.68/92.87 c | 192980 | 700 14000 70000 | 61832 57668 101 | 0.000 % |
93.08/93.28 c | 193772 | 700 14000 70000 | 61832 58460 101 | 0.000 % |
93.58/93.71 c | 194643 | 700 14000 70000 | 61832 59331 101 | 0.000 % |
93.98/94.17 c | 195602 | 700 14000 70000 | 61832 60290 101 | 0.000 % |
94.58/94.73 c | 196655 | 700 14000 70000 | 61832 61343 101 | 0.000 % |
95.18/95.37 c | 197813 | 700 14000 70000 | 61832 56293 101 | 0.000 % |
95.88/96.02 c | 199087 | 700 14000 70000 | 61832 57567 101 | 0.000 % |
96.48/96.70 c | 200487 | 700 14000 70000 | 2147483647 58967 101 | 0.000 % |
97.28/97.48 c | 202029 | 700 14000 70000 | 2147483647 60509 101 | 0.000 % |
98.27/98.43 c | 203723 | 700 14000 70000 | 2147483647 62203 101 | 0.000 % |
99.27/99.43 c | 205586 | 700 14000 70000 | 2147483647 64066 101 | 0.000 % |
100.37/100.54 c | 207636 | 700 14000 70000 | 2147483647 66116 101 | 0.000 % |
100.37/100.60 c | 207736 | 700 14000 70000 | 2147483647 66216 101 | 0.000 % |
100.47/100.67 c | 207846 | 700 14000 70000 | 2147483647 66326 101 | 0.000 % |
100.57/100.74 c | 207967 | 700 14000 70000 | 2147483647 66447 101 | 0.000 % |
100.67/100.83 c | 208100 | 700 14000 70000 | 2147483647 66580 101 | 0.000 % |
100.77/100.93 c | 208246 | 700 14000 70000 | 2147483647 66726 101 | 0.000 % |
100.87/101.02 c | 208406 | 700 14000 70000 | 2147483647 66886 101 | 0.000 % |
100.97/101.12 c | 208583 | 700 14000 70000 | 2147483647 67063 101 | 0.000 % |
101.07/101.25 c | 208777 | 700 14000 70000 | 2147483647 67257 101 | 0.000 % |
101.27/101.40 c | 208991 | 700 14000 70000 | 2147483647 67471 101 | 0.000 % |
101.37/101.55 c | 209227 | 700 14000 70000 | 2147483647 67707 101 | 0.000 % |
101.57/101.72 c | 209484 | 700 14000 70000 | 2147483647 67964 101 | 0.000 % |
101.67/101.89 c | 209767 | 700 14000 70000 | 2147483647 68247 101 | 0.000 % |
101.87/102.09 c | 210076 | 700 14000 70000 | 68482 68556 101 | 0.000 % |
102.17/102.33 c | 210416 | 700 14000 70000 | 68482 60798 101 | 0.000 % |
102.37/102.55 c | 210788 | 700 14000 70000 | 68482 61170 101 | 0.000 % |
102.67/102.81 c | 211198 | 700 14000 70000 | 68482 61580 101 | 0.000 % |
102.87/103.04 c | 211647 | 700 14000 70000 | 68482 62029 101 | 0.000 % |
103.07/103.29 c | 212141 | 700 14000 70000 | 68482 62523 101 | 0.000 % |
103.37/103.58 c | 212683 | 700 14000 70000 | 68482 63065 101 | 0.000 % |
103.77/103.92 c | 213282 | 700 14000 70000 | 68482 63664 101 | 0.000 % |
104.07/104.25 c | 213937 | 700 14000 70000 | 68482 64319 101 | 0.000 % |
104.47/104.65 c | 214657 | 700 14000 70000 | 68482 65039 101 | 0.000 % |
104.87/105.07 c | 215450 | 700 14000 70000 | 68482 65832 101 | 0.000 % |
105.47/105.61 c | 216322 | 700 14000 70000 | 68482 66704 101 | 0.000 % |
105.97/106.19 c | 217283 | 700 14000 70000 | 68482 67665 101 | 0.000 % |
106.57/106.79 c | 218337 | 700 14000 70000 | 68482 68719 101 | 0.000 % |
107.27/107.42 c | 219496 | 700 14000 70000 | 68482 61449 101 | 0.000 % |
107.97/108.10 c | 220769 | 700 14000 70000 | 61954 55333 100 | 0.000 % |
108.57/108.77 c | 222169 | 700 14000 70000 | 61954 56733 100 | 0.000 % |
109.37/109.52 c | 223710 | 700 14000 70000 | 61954 58274 100 | 0.000 % |
110.17/110.33 c | 225407 | 700 14000 70000 | 61954 59971 100 | 0.000 % |
111.07/111.29 c | 227272 | 700 14000 70000 | 61954 61836 100 | 0.000 % |
112.16/112.36 c | 229321 | 700 14000 70000 | 61954 57664 101 | 0.000 % |
113.36/113.54 c | 231575 | 700 14000 70000 | 2147483647 59918 101 | 0.000 % |
113.46/113.61 c | 231676 | 700 14000 70000 | 2147483647 60019 101 | 0.000 % |
113.46/113.67 c | 231786 | 700 14000 70000 | 2147483647 60129 101 | 0.000 % |
113.56/113.74 c | 231907 | 700 14000 70000 | 2147483647 60250 101 | 0.000 % |
113.66/113.82 c | 232041 | 700 14000 70000 | 2147483647 60384 101 | 0.000 % |
113.76/113.92 c | 232187 | 700 14000 70000 | 2147483647 60530 101 | 0.000 % |
113.86/114.01 c | 232351 | 700 14000 70000 | 2147483647 60694 101 | 0.000 % |
113.96/114.11 c | 232527 | 700 14000 70000 | 2147483647 60870 101 | 0.000 % |
114.06/114.23 c | 232720 | 700 14000 70000 | 2147483647 61063 101 | 0.000 % |
114.17/114.35 c | 232933 | 700 14000 70000 | 2147483647 61276 101 | 0.000 % |
114.27/114.49 c | 233166 | 700 14000 70000 | 2147483647 61509 101 | 0.000 % |
114.46/114.63 c | 233422 | 700 14000 70000 | 2147483647 61765 101 | 0.000 % |
114.56/114.78 c | 233704 | 700 14000 70000 | 2147483647 62047 101 | 0.000 % |
114.76/114.94 c | 234013 | 700 14000 70000 | 2147483647 62356 101 | 0.000 % |
114.96/115.16 c | 234354 | 700 14000 70000 | 2147483647 62697 101 | 0.000 % |
115.16/115.39 c | 234726 | 700 14000 70000 | 2147483647 63069 101 | 0.000 % |
115.46/115.60 c | 235135 | 700 14000 70000 | 2147483647 63478 101 | 0.000 % |
115.66/115.86 c | 235585 | 700 14000 70000 | 2147483647 63928 101 | 0.000 % |
116.06/116.20 c | 236081 | 700 14000 70000 | 2147483647 64424 101 | 0.000 % |
116.37/116.53 c | 236623 | 700 14000 70000 | 2147483647 64966 101 | 0.000 % |
116.66/116.86 c | 237220 | 700 14000 70000 | 2147483647 65563 101 | 0.000 % |
117.06/117.27 c | 237877 | 700 14000 70000 | 2147483647 66220 101 | 0.000 % |
117.57/117.73 c | 238598 | 700 14000 70000 | 2147483647 66941 101 | 0.000 % |
118.06/118.23 c | 239390 | 700 14000 70000 | 2147483647 67733 101 | 0.000 % |
118.66/118.83 c | 240261 | 700 14000 70000 | 68343 60321 100 | 0.000 % |
119.16/119.31 c | 241219 | 700 14000 70000 | 68343 61279 101 | 0.000 % |
119.66/119.86 c | 242272 | 700 14000 70000 | 68343 62332 101 | 0.000 % |
120.26/120.47 c | 243430 | 700 14000 70000 | 68343 63490 101 | 0.000 % |
120.96/121.15 c | 244705 | 700 14000 70000 | 68343 64765 101 | 0.000 % |
121.66/121.89 c | 246105 | 700 14000 70000 | 68343 66165 101 | 0.000 % |
122.46/122.69 c | 247645 | 700 14000 70000 | 68343 67705 101 | 0.000 % |
123.46/123.61 c | 249339 | 700 14000 70000 | 68343 61887 101 | 0.000 % |
124.36/124.58 c | 251203 | 700 14000 70000 | 62548 57031 101 | 0.000 % |
125.46/125.65 c | 253252 | 700 14000 70000 | 62548 59080 101 | 0.000 % |
126.56/126.79 c | 255505 | 700 14000 70000 | 62548 61333 101 | 0.000 % |
127.86/128.02 c | 257984 | 700 14000 70000 | 62548 57532 101 | 0.000 % |
127.86/128.07 c | 258086 | 700 14000 70000 | 62548 57634 101 | 0.000 % |
127.96/128.13 c | 258197 | 700 14000 70000 | 62548 57745 101 | 0.000 % |
128.06/128.20 c | 258320 | 700 14000 70000 | 62548 57868 101 | 0.000 % |
128.06/128.27 c | 258453 | 700 14000 70000 | 62548 58001 101 | 0.000 % |
128.16/128.36 c | 258599 | 700 14000 70000 | 62548 58147 101 | 0.000 % |
128.26/128.47 c | 258760 | 700 14000 70000 | 62548 58308 101 | 0.000 % |
128.36/128.57 c | 258936 | 700 14000 70000 | 62548 58484 101 | 0.000 % |
128.46/128.68 c | 259129 | 700 14000 70000 | 62548 58677 101 | 0.000 % |
128.56/128.79 c | 259342 | 700 14000 70000 | 62548 58890 101 | 0.000 % |
128.76/128.92 c | 259575 | 700 14000 70000 | 62548 59123 101 | 0.000 % |
128.86/129.07 c | 259831 | 700 14000 70000 | 62548 59379 101 | 0.000 % |
129.06/129.23 c | 260113 | 700 14000 70000 | 2147483647 59661 101 | 0.000 % |
129.26/129.40 c | 260423 | 700 14000 70000 | 2147483647 59971 101 | 0.000 % |
129.36/129.59 c | 260763 | 700 14000 70000 | 2147483647 60311 101 | 0.000 % |
129.56/129.78 c | 261135 | 700 14000 70000 | 2147483647 60683 101 | 0.000 % |
129.76/129.99 c | 261545 | 700 14000 70000 | 2147483647 61093 101 | 0.000 % |
130.06/130.27 c | 261998 | 700 14000 70000 | 2147483647 61546 101 | 0.000 % |
130.35/130.53 c | 262491 | 700 14000 70000 | 2147483647 62039 101 | 0.000 % |
130.66/130.84 c | 263033 | 700 14000 70000 | 2147483647 62581 101 | 0.000 % |
130.95/131.17 c | 263629 | 700 14000 70000 | 2147483647 63177 101 | 0.000 % |
131.35/131.57 c | 264286 | 700 14000 70000 | 2147483647 63834 101 | 0.000 % |
131.76/131.97 c | 265007 | 700 14000 70000 | 2147483647 64555 101 | 0.000 % |
132.25/132.42 c | 265799 | 700 14000 70000 | 2147483647 65347 101 | 0.000 % |
132.65/132.89 c | 266670 | 700 14000 70000 | 2147483647 66218 101 | 0.000 % |
133.25/133.47 c | 267629 | 700 14000 70000 | 2147483647 67177 101 | 0.000 % |
133.85/134.09 c | 268683 | 700 14000 70000 | 2147483647 68231 101 | 0.000 % |
134.55/134.76 c | 269841 | 700 14000 70000 | 2147483647 69389 101 | 0.000 % |
135.25/135.46 c | 271115 | 700 14000 70000 | 69549 62669 101 | 0.000 % |
135.95/136.19 c | 272515 | 700 14000 70000 | 69549 64069 101 | 0.000 % |
136.85/137.03 c | 274055 | 700 14000 70000 | 69549 65609 101 | 0.000 % |
137.75/137.96 c | 275749 | 700 14000 70000 | 69549 67303 101 | 0.000 % |
138.85/139.00 c | 277615 | 700 14000 70000 | 69549 69169 101 | 0.000 % |
139.95/140.10 c | 279664 | 700 14000 70000 | 69549 62860 101 | 0.000 % |
141.05/141.26 c | 281917 | 700 14000 70000 | 63196 57793 102 | 0.000 % |
142.35/142.53 c | 284395 | 700 14000 70000 | 63196 60271 102 | 0.000 % |
143.75/143.99 c | 287120 | 700 14000 70000 | 63196 62996 102 | 0.000 % |
143.85/144.05 c | 287220 | 700 14000 70000 | 63196 63096 102 | 0.000 % |
143.95/144.12 c | 287330 | 700 14000 70000 | 63196 63206 102 | 0.000 % |
144.05/144.21 c | 287453 | 700 14000 70000 | 63196 57009 102 | 0.000 % |
144.05/144.29 c | 287589 | 700 14000 70000 | 63196 57145 102 | 0.000 % |
144.15/144.40 c | 287738 | 700 14000 70000 | 63196 57294 102 | 0.000 % |
144.25/144.48 c | 287898 | 700 14000 70000 | 63196 57454 102 | 0.000 % |
144.35/144.59 c | 288075 | 700 14000 70000 | 63196 57631 102 | 0.000 % |
144.45/144.69 c | 288268 | 700 14000 70000 | 63196 57824 102 | 0.000 % |
144.65/144.81 c | 288480 | 700 14000 70000 | 63196 58036 102 | 0.000 % |
144.75/144.94 c | 288713 | 700 14000 70000 | 63196 58269 102 | 0.000 % |
144.84/145.08 c | 288971 | 700 14000 70000 | 63196 58527 102 | 0.000 % |
145.05/145.24 c | 289252 | 700 14000 70000 | 63196 58808 102 | 0.000 % |
145.14/145.40 c | 289562 | 700 14000 70000 | 63196 59118 102 | 0.000 % |
145.34/145.59 c | 289901 | 700 14000 70000 | 63196 59457 102 | 0.000 % |
145.64/145.81 c | 290274 | 700 14000 70000 | 2147483647 59830 102 | 0.000 % |
145.84/146.02 c | 290685 | 700 14000 70000 | 2147483647 60241 102 | 0.000 % |
146.05/146.28 c | 291134 | 700 14000 70000 | 2147483647 60690 102 | 0.000 % |
146.34/146.53 c | 291627 | 700 14000 70000 | 2147483647 61183 102 | 0.000 % |
146.64/146.84 c | 292169 | 700 14000 70000 | 2147483647 61725 102 | 0.000 % |
146.94/147.19 c | 292765 | 700 14000 70000 | 2147483647 62321 102 | 0.000 % |
147.34/147.57 c | 293420 | 700 14000 70000 | 2147483647 62976 102 | 0.000 % |
147.74/147.98 c | 294140 | 700 14000 70000 | 2147483647 63696 102 | 0.000 % |
148.25/148.41 c | 294932 | 700 14000 70000 | 2147483647 64488 102 | 0.000 % |
148.74/148.91 c | 295806 | 700 14000 70000 | 2147483647 65362 102 | 0.000 % |
149.24/149.42 c | 296765 | 700 14000 70000 | 2147483647 66321 102 | 0.000 % |
149.84/150.02 c | 297818 | 700 14000 70000 | 2147483647 67374 102 | 0.000 % |
150.45/150.66 c | 298976 | 700 14000 70000 | 2147483647 68532 102 | 0.000 % |
151.24/151.42 c | 300251 | 700 14000 70000 | 69556 61928 102 | 0.000 % |
151.94/152.15 c | 301651 | 700 14000 70000 | 69556 63328 102 | 0.000 % |
152.84/153.01 c | 303191 | 700 14000 70000 | 69556 64868 102 | 0.000 % |
153.74/153.99 c | 304886 | 700 14000 70000 | 69556 66563 102 | 0.000 % |
154.84/155.06 c | 306751 | 700 14000 70000 | 69556 68428 102 | 0.000 % |
156.04/156.25 c | 308801 | 700 14000 70000 | 69556 61990 101 | 0.000 % |
157.24/157.47 c | 311054 | 700 14000 70000 | 63190 56854 102 | 0.000 % |
158.54/158.71 c | 313532 | 700 14000 70000 | 63190 59332 102 | 0.000 % |
159.94/160.18 c | 316258 | 700 14000 70000 | 63190 62058 102 | 0.000 % |
161.54/161.73 c | 319255 | 700 14000 70000 | 63190 58508 102 | 0.000 % |
161.54/161.78 c | 319355 | 700 14000 70000 | 63190 58608 102 | 0.000 % |
161.64/161.83 c | 319465 | 700 14000 70000 | 63190 58718 102 | 0.000 % |
161.74/161.90 c | 319586 | 700 14000 70000 | 63190 58839 102 | 0.000 % |
161.74/161.98 c | 319720 | 700 14000 70000 | 63190 58973 102 | 0.000 % |
161.84/162.06 c | 319866 | 700 14000 70000 | 63190 59119 102 | 0.000 % |
161.94/162.16 c | 320026 | 700 14000 70000 | 2147483647 59279 102 | 0.000 % |
162.04/162.26 c | 320203 | 700 14000 70000 | 2147483647 59456 102 | 0.000 % |
162.14/162.36 c | 320397 | 700 14000 70000 | 2147483647 59650 102 | 0.000 % |
162.34/162.51 c | 320613 | 700 14000 70000 | 2147483647 59866 102 | 0.000 % |
162.44/162.65 c | 320848 | 700 14000 70000 | 2147483647 60101 102 | 0.000 % |
162.54/162.80 c | 321104 | 700 14000 70000 | 2147483647 60357 102 | 0.000 % |
162.74/162.96 c | 321385 | 700 14000 70000 | 2147483647 60638 102 | 0.000 % |
162.93/163.13 c | 321697 | 700 14000 70000 | 2147483647 60950 102 | 0.000 % |
163.13/163.31 c | 322036 | 700 14000 70000 | 2147483647 61289 102 | 0.000 % |
163.33/163.53 c | 322408 | 700 14000 70000 | 2147483647 61661 102 | 0.000 % |
163.53/163.75 c | 322817 | 700 14000 70000 | 2147483647 62070 102 | 0.000 % |
163.83/164.01 c | 323267 | 700 14000 70000 | 2147483647 62520 102 | 0.000 % |
164.03/164.26 c | 323760 | 700 14000 70000 | 2147483647 63013 102 | 0.000 % |
164.33/164.54 c | 324302 | 700 14000 70000 | 2147483647 63555 102 | 0.000 % |
164.63/164.88 c | 324898 | 700 14000 70000 | 2147483647 64151 102 | 0.000 % |
165.03/165.24 c | 325553 | 700 14000 70000 | 2147483647 64806 102 | 0.000 % |
165.43/165.66 c | 326273 | 700 14000 70000 | 2147483647 65526 102 | 0.000 % |
165.84/166.09 c | 327065 | 700 14000 70000 | 2147483647 66318 102 | 0.000 % |
166.43/166.62 c | 327936 | 700 14000 70000 | 2147483647 67189 102 | 0.000 % |
166.95/167.17 c | 328894 | 700 14000 70000 | 2147483647 68147 102 | 0.000 % |
167.54/167.79 c | 329947 | 700 14000 70000 | 2147483647 69200 102 | 0.000 % |
168.34/168.52 c | 331107 | 700 14000 70000 | 69255 61968 102 | 0.000 % |
168.94/169.19 c | 332380 | 700 14000 70000 | 69255 63241 102 | 0.000 % |
169.74/169.91 c | 333781 | 700 14000 70000 | 69255 64642 102 | 0.000 % |
170.54/170.77 c | 335322 | 700 14000 70000 | 69255 66183 102 | 0.000 % |
171.54/171.72 c | 337018 | 700 14000 70000 | 69255 67879 102 | 0.000 % |
172.64/172.87 c | 338882 | 700 14000 70000 | 69255 61251 102 | 0.000 % |
173.64/173.89 c | 340933 | 700 14000 70000 | 62369 55699 102 | 0.000 % |
174.74/174.97 c | 343186 | 700 14000 70000 | 62369 57952 102 | 0.000 % |
176.04/176.26 c | 345664 | 700 14000 70000 | 62369 60430 102 | 0.000 % |
177.54/177.72 c | 348389 | 700 14000 70000 | 62369 56896 103 | 0.000 % |
179.04/179.25 c | 351386 | 700 14000 70000 | 2147483647 59893 103 | 0.000 % |
180.74/180.98 c | 354684 | 700 14000 70000 | 2147483647 63191 103 | 0.000 % |
180.84/181.04 c | 354787 | 700 14000 70000 | 2147483647 63294 103 | 0.000 % |
180.94/181.10 c | 354897 | 700 14000 70000 | 2147483647 63404 103 | 0.000 % |
180.94/181.17 c | 355019 | 700 14000 70000 | 2147483647 63526 103 | 0.000 % |
181.03/181.27 c | 355152 | 700 14000 70000 | 2147483647 63659 103 | 0.000 % |
181.13/181.36 c | 355298 | 700 14000 70000 | 2147483647 63805 103 | 0.000 % |
181.24/181.45 c | 355460 | 700 14000 70000 | 2147483647 63967 103 | 0.000 % |
181.34/181.54 c | 355638 | 700 14000 70000 | 2147483647 64145 103 | 0.000 % |
181.43/181.67 c | 355832 | 700 14000 70000 | 2147483647 64339 103 | 0.000 % |
181.63/181.80 c | 356045 | 700 14000 70000 | 2147483647 64552 103 | 0.000 % |
181.73/181.94 c | 356278 | 700 14000 70000 | 2147483647 64785 103 | 0.000 % |
181.83/182.09 c | 356534 | 700 14000 70000 | 2147483647 65041 103 | 0.000 % |
182.03/182.27 c | 356815 | 700 14000 70000 | 2147483647 65322 103 | 0.000 % |
182.23/182.46 c | 357124 | 700 14000 70000 | 2147483647 65631 103 | 0.000 % |
182.44/182.66 c | 357465 | 700 14000 70000 | 2147483647 65972 103 | 0.000 % |
182.73/182.90 c | 357838 | 700 14000 70000 | 2147483647 66345 103 | 0.000 % |
182.93/183.14 c | 358251 | 700 14000 70000 | 2147483647 66758 103 | 0.000 % |
183.23/183.40 c | 358700 | 700 14000 70000 | 2147483647 67207 103 | 0.000 % |
183.44/183.70 c | 359194 | 700 14000 70000 | 2147483647 67701 103 | 0.000 % |
183.83/184.05 c | 359736 | 700 14000 70000 | 2147483647 68243 103 | 0.000 % |
184.23/184.44 c | 360333 | 700 14000 70000 | 68509 60806 103 | 0.000 % |
184.54/184.78 c | 360989 | 700 14000 70000 | 68509 61462 103 | 0.000 % |
184.93/185.16 c | 361712 | 700 14000 70000 | 68509 62185 103 | 0.000 % |
185.33/185.59 c | 362505 | 700 14000 70000 | 68509 62978 103 | 0.000 % |
185.93/186.11 c | 363376 | 700 14000 70000 | 68509 63849 103 | 0.000 % |
186.43/186.67 c | 364334 | 700 14000 70000 | 68509 64807 103 | 0.000 % |
187.03/187.25 c | 365387 | 700 14000 70000 | 68509 65860 103 | 0.000 % |
187.63/187.88 c | 366545 | 700 14000 70000 | 68509 67018 103 | 0.000 % |
188.52/188.73 c | 367819 | 700 14000 70000 | 68509 68292 103 | 0.000 % |
189.32/189.52 c | 369219 | 700 14000 70000 | 68509 60778 103 | 0.000 % |
190.12/190.34 c | 370760 | 700 14000 70000 | 61560 54611 103 | 0.000 % |
190.91/191.15 c | 372454 | 700 14000 70000 | 61560 56305 103 | 0.000 % |
191.81/192.08 c | 374318 | 700 14000 70000 | 61560 58169 103 | 0.000 % |
192.91/193.13 c | 376369 | 700 14000 70000 | 61560 60220 103 | 0.000 % |
194.11/194.34 c | 378622 | 700 14000 70000 | 61560 56292 103 | 0.000 % |
195.31/195.56 c | 381100 | 700 14000 70000 | 2147483647 58770 103 | 0.000 % |
196.71/196.94 c | 383826 | 700 14000 70000 | 2147483647 61496 103 | 0.000 % |
198.30/198.53 c | 386823 | 700 14000 70000 | 2147483647 64493 104 | 0.000 % |
200.01/200.22 c | 390121 | 700 14000 70000 | 67670 67791 103 | 0.000 % |
201.90/202.13 c | 393746 | 700 14000 70000 | 67670 64384 103 | 0.000 % |
201.90/202.19 c | 393846 | 700 14000 70000 | 67670 64484 103 | 0.000 % |
202.00/202.26 c | 393958 | 700 14000 70000 | 67670 64596 103 | 0.000 % |
202.11/202.32 c | 394079 | 700 14000 70000 | 67670 64717 103 | 0.000 % |
202.21/202.43 c | 394215 | 700 14000 70000 | 67670 64853 103 | 0.000 % |
202.30/202.52 c | 394361 | 700 14000 70000 | 67670 64999 103 | 0.000 % |
202.40/202.62 c | 394522 | 700 14000 70000 | 67670 65160 103 | 0.000 % |
202.50/202.74 c | 394698 | 700 14000 70000 | 67670 65336 103 | 0.000 % |
202.60/202.86 c | 394891 | 700 14000 70000 | 67670 65529 103 | 0.000 % |
202.80/203.01 c | 395104 | 700 14000 70000 | 67670 65742 103 | 0.000 % |
202.90/203.14 c | 395339 | 700 14000 70000 | 67670 65977 103 | 0.000 % |
203.00/203.29 c | 395595 | 700 14000 70000 | 67670 66233 103 | 0.000 % |
203.20/203.46 c | 395879 | 700 14000 70000 | 67670 66517 103 | 0.000 % |
203.40/203.62 c | 396189 | 700 14000 70000 | 67670 66827 103 | 0.000 % |
203.60/203.82 c | 396528 | 700 14000 70000 | 67670 67166 103 | 0.000 % |
203.80/204.04 c | 396904 | 700 14000 70000 | 67670 67542 103 | 0.000 % |
204.10/204.31 c | 397314 | 700 14000 70000 | 67670 59733 103 | 0.000 % |
204.30/204.52 c | 397764 | 700 14000 70000 | 67670 60183 104 | 0.000 % |
204.50/204.76 c | 398257 | 700 14000 70000 | 67670 60676 103 | 0.000 % |
204.80/205.03 c | 398799 | 700 14000 70000 | 67670 61218 103 | 0.000 % |
205.10/205.34 c | 399396 | 700 14000 70000 | 67670 61815 103 | 0.000 % |
205.40/205.68 c | 400051 | 700 14000 70000 | 62419 62470 103 | 0.000 % |
205.80/206.08 c | 400771 | 700 14000 70000 | 62419 56076 103 | 0.000 % |
206.20/206.47 c | 401563 | 700 14000 70000 | 62419 56868 103 | 0.000 % |
206.70/206.90 c | 402434 | 700 14000 70000 | 62419 57739 103 | 0.000 % |
207.10/207.38 c | 403392 | 700 14000 70000 | 62419 58697 103 | 0.000 % |
207.60/207.87 c | 404446 | 700 14000 70000 | 62419 59751 103 | 0.000 % |
208.20/208.45 c | 405604 | 700 14000 70000 | 62419 60909 103 | 0.000 % |
208.90/209.11 c | 406880 | 700 14000 70000 | 62419 62185 103 | 0.000 % |
209.60/209.85 c | 408280 | 700 14000 70000 | 62419 57319 103 | 0.000 % |
210.40/210.63 c | 409820 | 700 14000 70000 | 62419 58859 103 | 0.000 % |
211.20/211.48 c | 411515 | 700 14000 70000 | 2147483647 60554 102 | 0.000 % |
212.19/212.43 c | 413379 | 700 14000 70000 | 2147483647 62418 102 | 0.000 % |
213.29/213.52 c | 415429 | 700 14000 70000 | 2147483647 64468 102 | 0.000 % |
214.49/214.74 c | 417682 | 700 14000 70000 | 2147483647 66721 103 | 0.000 % |
215.89/216.16 c | 420161 | 700 14000 70000 | 69039 69200 103 | 0.000 % |
217.39/217.64 c | 422887 | 700 14000 70000 | 69039 64348 103 | 0.000 % |
218.99/219.25 c | 425884 | 700 14000 70000 | 69039 67345 103 | 0.000 % |
220.90/221.13 c | 429182 | 700 14000 70000 | 69039 63652 103 | 0.000 % |
222.89/223.13 c | 432809 | 700 14000 70000 | 64470 60480 102 | 0.000 % |
225.09/225.32 c | 436796 | 700 14000 70000 | 64470 64467 102 | 0.000 % |
225.09/225.38 c | 436897 | 700 14000 70000 | 64470 64568 102 | 0.000 % |
225.19/225.48 c | 437007 | 700 14000 70000 | 64470 58093 102 | 0.000 % |
225.29/225.57 c | 437128 | 700 14000 70000 | 64470 58214 102 | 0.000 % |
225.39/225.65 c | 437261 | 700 14000 70000 | 64470 58347 102 | 0.000 % |
225.49/225.73 c | 437409 | 700 14000 70000 | 64470 58495 102 | 0.000 % |
225.59/225.82 c | 437570 | 700 14000 70000 | 64470 58656 102 | 0.000 % |
225.69/225.93 c | 437746 | 700 14000 70000 | 64470 58832 102 | 0.000 % |
225.79/226.04 c | 437940 | 700 14000 70000 | 64470 59026 102 | 0.000 % |
225.89/226.16 c | 438152 | 700 14000 70000 | 64470 59238 102 | 0.000 % |
225.99/226.27 c | 438385 | 700 14000 70000 | 64470 59471 102 | 0.000 % |
226.19/226.42 c | 438641 | 700 14000 70000 | 64470 59727 102 | 0.000 % |
226.29/226.56 c | 438922 | 700 14000 70000 | 64470 60008 102 | 0.000 % |
226.49/226.73 c | 439231 | 700 14000 70000 | 64470 60317 102 | 0.000 % |
226.69/226.90 c | 439570 | 700 14000 70000 | 64470 60656 102 | 0.000 % |
226.89/227.12 c | 439942 | 700 14000 70000 | 64470 61028 102 | 0.000 % |
227.09/227.37 c | 440351 | 700 14000 70000 | 61087 54981 101 | 0.000 % |
227.29/227.59 c | 440801 | 700 14000 70000 | 61087 55431 101 | 0.000 % |
227.59/227.81 c | 441295 | 700 14000 70000 | 61087 55925 101 | 0.000 % |
227.79/228.06 c | 441837 | 700 14000 70000 | 61087 56467 101 | 0.000 % |
228.09/228.36 c | 442433 | 700 14000 70000 | 61087 57063 101 | 0.000 % |
228.39/228.68 c | 443090 | 700 14000 70000 | 61087 57720 101 | 0.000 % |
228.79/229.09 c | 443812 | 700 14000 70000 | 61087 58442 101 | 0.000 % |
229.29/229.51 c | 444604 | 700 14000 70000 | 61087 59234 101 | 0.000 % |
229.69/229.95 c | 445475 | 700 14000 70000 | 61087 60105 101 | 0.000 % |
230.18/230.43 c | 446434 | 700 14000 70000 | 61087 61064 101 | 0.000 % |
230.69/230.97 c | 447487 | 700 14000 70000 | 61087 55982 101 | 0.000 % |
231.28/231.50 c | 448645 | 700 14000 70000 | 61087 57140 101 | 0.000 % |
231.89/232.19 c | 449919 | 700 14000 70000 | 61087 58414 101 | 0.000 % |
232.68/232.93 c | 451320 | 700 14000 70000 | 2147483647 59815 101 | 0.000 % |
233.48/233.77 c | 452860 | 700 14000 70000 | 2147483647 61355 101 | 0.000 % |
234.38/234.69 c | 454556 | 700 14000 70000 | 2147483647 63051 101 | 0.000 % |
235.48/235.73 c | 456419 | 700 14000 70000 | 2147483647 64914 102 | 0.000 % |
236.58/236.87 c | 458468 | 700 14000 70000 | 2147483647 66963 102 | 0.000 % |
237.87/238.11 c | 460722 | 700 14000 70000 | 68495 61411 102 | 0.000 % |
239.07/239.38 c | 463203 | 700 14000 70000 | 68495 63892 102 | 0.000 % |
240.58/240.86 c | 465928 | 700 14000 70000 | 68495 66617 102 | 0.000 % |
242.27/242.50 c | 468927 | 700 14000 70000 | 68495 61717 102 | 0.000 % |
243.98/244.26 c | 472223 | 700 14000 70000 | 62793 57927 102 | 0.000 % |
245.77/246.09 c | 475851 | 700 14000 70000 | 62793 61555 102 | 0.000 % |
247.97/248.23 c | 479839 | 700 14000 70000 | 62793 59240 102 | 0.000 % |
250.48/250.73 c | 484224 | 700 14000 70000 | 2147483647 63625 103 | 0.000 % |
250.48/250.80 c | 484326 | 700 14000 70000 | 2147483647 63727 103 | 0.000 % |
250.58/250.87 c | 484438 | 700 14000 70000 | 2147483647 63839 103 | 0.000 % |
250.67/250.96 c | 484562 | 700 14000 70000 | 2147483647 63963 103 | 0.000 % |
250.77/251.05 c | 484695 | 700 14000 70000 | 2147483647 64096 103 | 0.000 % |
250.87/251.15 c | 484841 | 700 14000 70000 | 2147483647 64242 103 | 0.000 % |
250.97/251.26 c | 485004 | 700 14000 70000 | 2147483647 64405 103 | 0.000 % |
251.07/251.36 c | 485181 | 700 14000 70000 | 2147483647 64582 103 | 0.000 % |
251.17/251.48 c | 485374 | 700 14000 70000 | 2147483647 64775 103 | 0.000 % |
251.37/251.61 c | 485587 | 700 14000 70000 | 2147483647 64988 103 | 0.000 % |
251.47/251.74 c | 485821 | 700 14000 70000 | 2147483647 65222 103 | 0.000 % |
251.67/251.90 c | 486077 | 700 14000 70000 | 2147483647 65478 103 | 0.000 % |
251.77/252.09 c | 486358 | 700 14000 70000 | 2147483647 65759 103 | 0.000 % |
251.97/252.27 c | 486667 | 700 14000 70000 | 2147483647 66068 103 | 0.000 % |
252.27/252.50 c | 487006 | 700 14000 70000 | 2147483647 66407 103 | 0.000 % |
252.47/252.73 c | 487378 | 700 14000 70000 | 2147483647 66779 103 | 0.000 % |
252.67/252.97 c | 487787 | 700 14000 70000 | 2147483647 67188 103 | 0.000 % |
252.97/253.23 c | 488236 | 700 14000 70000 | 2147483647 67637 103 | 0.000 % |
253.17/253.47 c | 488729 | 700 14000 70000 | 2147483647 68130 103 | 0.000 % |
253.47/253.79 c | 489273 | 700 14000 70000 | 2147483647 68674 103 | 0.000 % |
253.87/254.13 c | 489869 | 700 14000 70000 | 2147483647 69270 103 | 0.000 % |
254.27/254.54 c | 490525 | 700 14000 70000 | 69401 61283 102 | 0.000 % |
254.67/254.96 c | 491245 | 700 14000 70000 | 69401 62003 102 | 0.000 % |
255.17/255.43 c | 492038 | 700 14000 70000 | 69401 62796 102 | 0.000 % |
255.67/255.91 c | 492910 | 700 14000 70000 | 69401 63668 102 | 0.000 % |
256.17/256.46 c | 493871 | 700 14000 70000 | 69401 64629 102 | 0.000 % |
256.76/257.03 c | 494924 | 700 14000 70000 | 69401 65682 102 | 0.000 % |
257.36/257.66 c | 496082 | 700 14000 70000 | 69401 66840 102 | 0.000 % |
258.06/258.33 c | 497355 | 700 14000 70000 | 69401 68113 103 | 0.000 % |
258.86/259.10 c | 498756 | 700 14000 70000 | 69401 69514 103 | 0.000 % |
259.66/259.97 c | 500296 | 700 14000 70000 | 61933 54534 104 | 0.000 % |
260.47/260.75 c | 501992 | 700 14000 70000 | 61933 56230 104 | 0.000 % |
261.36/261.63 c | 503858 | 700 14000 70000 | 61933 58096 104 | 0.000 % |
262.36/262.60 c | 505910 | 700 14000 70000 | 61933 60148 104 | 0.000 % |
263.46/263.77 c | 508167 | 700 14000 70000 | 61933 56189 104 | 0.000 % |
264.66/264.95 c | 510647 | 700 14000 70000 | 2147483647 58669 104 | 0.000 % |
265.87/266.19 c | 513373 | 700 14000 70000 | 2147483647 61395 105 | 0.000 % |
267.56/267.85 c | 516372 | 700 14000 70000 | 2147483647 64394 105 | 0.000 % |
269.46/269.77 c | 519668 | 700 14000 70000 | 2147483647 67690 105 | 0.000 % |
271.67/271.97 c | 523294 | 700 14000 70000 | 2147483647 71316 105 | 0.000 % |
274.17/274.49 c | 527281 | 700 14000 70000 | 2147483647 75303 105 | 0.000 % |
277.06/277.36 c | 531670 | 700 14000 70000 | 78023 68132 105 | 0.000 % |
280.15/280.41 c | 536494 | 700 14000 70000 | 78023 72956 105 | 0.000 % |
280.15/280.48 c | 536595 | 700 14000 70000 | 78023 73057 105 | 0.000 % |
280.25/280.57 c | 536705 | 700 14000 70000 | 78023 73167 105 | 0.000 % |
280.35/280.66 c | 536826 | 700 14000 70000 | 78023 73288 105 | 0.000 % |
280.45/280.76 c | 536959 | 700 14000 70000 | 78023 73421 105 | 0.000 % |
280.55/280.86 c | 537105 | 700 14000 70000 | 78023 73567 105 | 0.000 % |
280.65/280.96 c | 537266 | 700 14000 70000 | 78023 73728 105 | 0.000 % |
280.75/281.08 c | 537442 | 700 14000 70000 | 78023 73904 105 | 0.000 % |
280.95/281.22 c | 537637 | 700 14000 70000 | 78023 74099 105 | 0.000 % |
281.05/281.35 c | 537849 | 700 14000 70000 | 78023 74311 104 | 0.000 % |
281.15/281.49 c | 538084 | 700 14000 70000 | 78023 74546 104 | 0.000 % |
281.45/281.70 c | 538340 | 700 14000 70000 | 78023 74802 104 | 0.000 % |
281.55/281.89 c | 538621 | 700 14000 70000 | 78023 75083 104 | 0.000 % |
281.75/282.08 c | 538931 | 700 14000 70000 | 78023 75393 104 | 0.000 % |
282.05/282.32 c | 539270 | 700 14000 70000 | 78023 75732 104 | 0.000 % |
282.25/282.57 c | 539644 | 700 14000 70000 | 78023 76106 104 | 0.000 % |
282.55/282.80 c | 540054 | 700 14000 70000 | 76462 76516 104 | 0.000 % |
282.75/283.09 c | 540503 | 700 14000 70000 | 76462 64977 104 | 0.000 % |
283.04/283.38 c | 540996 | 700 14000 70000 | 76462 65470 104 | 0.000 % |
283.34/283.67 c | 541539 | 700 14000 70000 | 76462 66013 104 | 0.000 % |
283.74/284.03 c | 542136 | 700 14000 70000 | 76462 66610 104 | 0.000 % |
284.04/284.39 c | 542791 | 700 14000 70000 | 76462 67265 104 | 0.000 % |
284.44/284.78 c | 543511 | 700 14000 70000 | 76462 67985 104 | 0.000 % |
284.94/285.26 c | 544303 | 700 14000 70000 | 76462 68777 104 | 0.000 % |
285.44/285.79 c | 545175 | 700 14000 70000 | 76462 69649 104 | 0.000 % |
286.04/286.37 c | 546135 | 700 14000 70000 | 76462 70609 104 | 0.000 % |
286.74/287.02 c | 547188 | 700 14000 70000 | 76462 71662 104 | 0.000 % |
287.34/287.70 c | 548350 | 700 14000 70000 | 76462 72824 104 | 0.000 % |
288.24/288.50 c | 549623 | 700 14000 70000 | 76462 74097 104 | 0.000 % |
289.04/289.36 c | 551024 | 700 14000 70000 | 74474 64150 104 | 0.000 % |
289.84/290.19 c | 552564 | 700 14000 70000 | 74474 65690 104 | 0.000 % |
290.84/291.16 c | 554258 | 700 14000 70000 | 74474 67384 104 | 0.000 % |
291.94/292.21 c | 556121 | 700 14000 70000 | 74474 69247 104 | 0.000 % |
293.14/293.46 c | 558170 | 700 14000 70000 | 74474 71296 104 | 0.000 % |
294.54/294.89 c | 560423 | 700 14000 70000 | 73128 62842 104 | 0.000 % |
295.94/296.26 c | 562901 | 700 14000 70000 | 73128 65320 105 | 0.000 % |
297.43/297.76 c | 565626 | 700 14000 70000 | 73128 68045 104 | 0.000 % |
299.23/299.55 c | 568624 | 700 14000 70000 | 73128 71043 104 | 0.000 % |
301.14/301.48 c | 571922 | 700 14000 70000 | 72419 64125 104 | 0.000 % |
303.24/303.54 c | 575547 | 700 14000 70000 | 72419 67750 104 | 0.000 % |
305.54/305.82 c | 579534 | 700 14000 70000 | 72419 71737 104 | 0.000 % |
307.93/308.25 c | 583919 | 700 14000 70000 | 72205 65642 104 | 0.000 % |
310.63/310.95 c | 588742 | 700 14000 70000 | 72205 70465 104 | 0.000 % |
313.63/313.98 c | 594048 | 700 14000 70000 | 71723 65420 104 | 0.000 % |
313.73/314.06 c | 594149 | 700 14000 70000 | 71723 65521 104 | 0.000 % |
313.83/314.13 c | 594261 | 700 14000 70000 | 71723 65633 104 | 0.000 % |
313.93/314.21 c | 594387 | 700 14000 70000 | 71723 65759 104 | 0.000 % |
314.03/314.30 c | 594520 | 700 14000 70000 | 71723 65892 104 | 0.000 % |
314.13/314.41 c | 594667 | 700 14000 70000 | 71723 66039 103 | 0.000 % |
314.13/314.50 c | 594827 | 700 14000 70000 | 71723 66199 103 | 0.000 % |
314.33/314.60 c | 595004 | 700 14000 70000 | 71723 66376 103 | 0.000 % |
314.43/314.73 c | 595199 | 700 14000 70000 | 71723 66571 103 | 0.000 % |
314.53/314.88 c | 595411 | 700 14000 70000 | 71723 66783 103 | 0.000 % |
314.73/315.01 c | 595644 | 700 14000 70000 | 71723 67016 103 | 0.000 % |
314.83/315.16 c | 595901 | 700 14000 70000 | 71723 67273 103 | 0.000 % |
315.03/315.33 c | 596183 | 700 14000 70000 | 71723 67555 103 | 0.000 % |
315.23/315.50 c | 596493 | 700 14000 70000 | 71723 67865 103 | 0.000 % |
315.43/315.70 c | 596833 | 700 14000 70000 | 71723 68205 103 | 0.000 % |
315.63/315.94 c | 597208 | 700 14000 70000 | 71723 68580 103 | 0.000 % |
315.83/316.18 c | 597618 | 700 14000 70000 | 71723 68990 103 | 0.000 % |
316.13/316.44 c | 598068 | 700 14000 70000 | 71723 69440 103 | 0.000 % |
316.43/316.79 c | 598563 | 700 14000 70000 | 71723 69935 103 | 0.000 % |
316.83/317.13 c | 599105 | 700 14000 70000 | 71723 70477 103 | 0.000 % |
317.22/317.51 c | 599702 | 700 14000 70000 | 71723 71074 103 | 0.000 % |
317.63/317.96 c | 600357 | 700 14000 70000 | 71373 61451 104 | 0.000 % |
318.02/318.32 c | 601077 | 700 14000 70000 | 71373 62171 104 | 0.000 % |
318.42/318.78 c | 601869 | 700 14000 70000 | 71373 62963 104 | 0.000 % |
318.92/319.27 c | 602741 | 700 14000 70000 | 71373 63835 104 | 0.000 % |
319.42/319.79 c | 603699 | 700 14000 70000 | 71373 64793 104 | 0.000 % |
320.02/320.34 c | 604752 | 700 14000 70000 | 71373 65846 104 | 0.000 % |
320.62/320.99 c | 605911 | 700 14000 70000 | 71373 67005 104 | 0.000 % |
321.32/321.68 c | 607184 | 700 14000 70000 | 71373 68278 104 | 0.000 % |
322.13/322.41 c | 608584 | 700 14000 70000 | 71373 69678 104 | 0.000 % |
323.12/323.44 c | 610124 | 700 14000 70000 | 71094 71218 104 | 0.000 % |
324.12/324.47 c | 611819 | 700 14000 70000 | 71094 63218 104 | 0.000 % |
325.21/325.51 c | 613682 | 700 14000 70000 | 71094 65081 104 | 0.000 % |
326.41/326.72 c | 615733 | 700 14000 70000 | 71094 67132 104 | 0.000 % |
327.70/328.00 c | 617989 | 700 14000 70000 | 71094 69388 104 | 0.000 % |
329.19/329.53 c | 620467 | 700 14000 70000 | 62391 55012 104 | 0.000 % |
330.49/330.84 c | 623192 | 700 14000 70000 | 62391 57737 104 | 0.000 % |
331.99/332.33 c | 626190 | 700 14000 70000 | 62391 60735 104 | 0.000 % |
333.79/334.13 c | 629486 | 700 14000 70000 | 62391 57772 104 | 0.000 % |
335.59/335.91 c | 633112 | 700 14000 70000 | 2147483647 61398 104 | 0.000 % |
337.69/338.03 c | 637099 | 700 14000 70000 | 2147483647 65385 104 | 0.000 % |
340.09/340.46 c | 641484 | 700 14000 70000 | 68286 62305 105 | 0.000 % |
342.69/343.03 c | 646307 | 700 14000 70000 | 68286 67128 105 | 0.000 % |
345.49/345.82 c | 651614 | 700 14000 70000 | 63137 57972 105 | 0.000 % |
348.49/348.84 c | 657450 | 700 14000 70000 | 63137 57470 106 | 0.000 % |
348.49/348.89 c | 657550 | 700 14000 70000 | 63137 57570 106 | 0.000 % |
348.59/348.97 c | 657661 | 700 14000 70000 | 63137 57681 106 | 0.000 % |
348.69/349.04 c | 657783 | 700 14000 70000 | 63137 57803 106 | 0.000 % |
348.78/349.11 c | 657917 | 700 14000 70000 | 63137 57937 106 | 0.000 % |
348.78/349.19 c | 658063 | 700 14000 70000 | 63137 58083 106 | 0.000 % |
348.98/349.31 c | 658225 | 700 14000 70000 | 63137 58245 106 | 0.000 % |
349.08/349.41 c | 658401 | 700 14000 70000 | 63137 58421 106 | 0.000 % |
349.18/349.52 c | 658594 | 700 14000 70000 | 63137 58614 106 | 0.000 % |
349.28/349.64 c | 658806 | 700 14000 70000 | 63137 58826 106 | 0.000 % |
349.39/349.77 c | 659040 | 700 14000 70000 | 63137 59060 106 | 0.000 % |
349.58/349.92 c | 659296 | 700 14000 70000 | 63137 59316 106 | 0.000 % |
349.68/350.08 c | 659577 | 700 14000 70000 | 63137 59597 106 | 0.000 % |
349.88/350.26 c | 659887 | 700 14000 70000 | 63137 59907 106 | 0.000 % |
350.08/350.46 c | 660227 | 700 14000 70000 | 2147483647 60247 106 | 0.000 % |
350.28/350.66 c | 660599 | 700 14000 70000 | 2147483647 60619 106 | 0.000 % |
350.59/350.90 c | 661008 | 700 14000 70000 | 2147483647 61028 106 | 0.000 % |
350.78/351.16 c | 661458 | 700 14000 70000 | 2147483647 61478 106 | 0.000 % |
351.08/351.42 c | 661951 | 700 14000 70000 | 2147483647 61971 106 | 0.000 % |
351.38/351.71 c | 662495 | 700 14000 70000 | 2147483647 62515 106 | 0.000 % |
351.68/352.02 c | 663092 | 700 14000 70000 | 2147483647 63112 105 | 0.000 % |
352.08/352.41 c | 663748 | 700 14000 70000 | 2147483647 63768 105 | 0.000 % |
352.48/352.80 c | 664468 | 700 14000 70000 | 2147483647 64488 105 | 0.000 % |
352.88/353.24 c | 665260 | 700 14000 70000 | 2147483647 65280 105 | 0.000 % |
353.38/353.74 c | 666133 | 700 14000 70000 | 2147483647 66153 105 | 0.000 % |
353.88/354.27 c | 667093 | 700 14000 70000 | 2147483647 67113 105 | 0.000 % |
354.58/354.94 c | 668146 | 700 14000 70000 | 2147483647 68166 105 | 0.000 % |
355.28/355.62 c | 669305 | 700 14000 70000 | 2147483647 69325 105 | 0.000 % |
356.08/356.45 c | 670581 | 700 14000 70000 | 70020 61564 105 | 0.000 % |
356.88/357.20 c | 671981 | 700 14000 70000 | 70020 62964 105 | 0.000 % |
357.68/358.03 c | 673521 | 700 14000 70000 | 70020 64504 105 | 0.000 % |
358.58/358.96 c | 675215 | 700 14000 70000 | 70020 66198 105 | 0.000 % |
359.58/359.97 c | 677078 | 700 14000 70000 | 70020 68061 105 | 0.000 % |
360.77/361.16 c | 679128 | 700 14000 70000 | 70020 70111 105 | 0.000 % |
361.97/362.32 c | 681383 | 700 14000 70000 | 61608 54977 105 | 0.000 % |
363.17/363.52 c | 683861 | 700 14000 70000 | 61608 57455 105 | 0.000 % |
364.47/364.85 c | 686588 | 700 14000 70000 | 61608 60182 105 | 0.000 % |
366.07/366.46 c | 689585 | 700 14000 70000 | 61608 56993 105 | 0.000 % |
367.67/368.03 c | 692881 | 700 14000 70000 | 2147483647 60289 105 | 0.000 % |
369.56/369.91 c | 696506 | 700 14000 70000 | 2147483647 63914 105 | 0.000 % |
371.76/372.16 c | 700495 | 700 14000 70000 | 67408 60602 105 | 0.000 % |
374.16/374.53 c | 704880 | 700 14000 70000 | 67408 64987 105 | 0.000 % |
376.87/377.24 c | 709705 | 700 14000 70000 | 67408 61790 105 | 0.000 % |
379.46/379.89 c | 715011 | 700 14000 70000 | 62085 59970 105 | 0.000 % |
382.56/382.97 c | 720846 | 700 14000 70000 | 2147483647 59576 106 | 0.000 % |
385.96/386.39 c | 727264 | 700 14000 70000 | 2147483647 65994 106 | 0.000 % |
386.06/386.45 c | 727364 | 700 14000 70000 | 2147483647 66094 106 | 0.000 % |
386.16/386.52 c | 727474 | 700 14000 70000 | 2147483647 66204 106 | 0.000 % |
386.26/386.60 c | 727595 | 700 14000 70000 | 2147483647 66325 106 | 0.000 % |
386.37/386.70 c | 727729 | 700 14000 70000 | 2147483647 66459 106 | 0.000 % |
386.47/386.80 c | 727875 | 700 14000 70000 | 2147483647 66605 106 | 0.000 % |
386.57/386.91 c | 728035 | 700 14000 70000 | 2147483647 66765 106 | 0.000 % |
386.67/387.05 c | 728211 | 700 14000 70000 | 2147483647 66941 106 | 0.000 % |
386.77/387.18 c | 728411 | 700 14000 70000 | 2147483647 67141 106 | 0.000 % |
386.97/387.33 c | 728624 | 700 14000 70000 | 2147483647 67354 106 | 0.000 % |
387.07/387.46 c | 728857 | 700 14000 70000 | 2147483647 67587 106 | 0.000 % |
387.27/387.62 c | 729115 | 700 14000 70000 | 2147483647 67845 106 | 0.000 % |
387.37/387.79 c | 729398 | 700 14000 70000 | 2147483647 68128 106 | 0.000 % |
387.57/387.97 c | 729708 | 700 14000 70000 | 2147483647 68438 106 | 0.000 % |
387.77/388.16 c | 730047 | 700 14000 70000 | 68730 68777 106 | 0.000 % |
388.07/388.43 c | 730419 | 700 14000 70000 | 68730 61086 106 | 0.000 % |
388.27/388.65 c | 730828 | 700 14000 70000 | 68730 61495 106 | 0.000 % |
388.47/388.89 c | 731278 | 700 14000 70000 | 68730 61945 106 | 0.000 % |
388.77/389.17 c | 731772 | 700 14000 70000 | 68730 62439 106 | 0.000 % |
389.07/389.44 c | 732316 | 700 14000 70000 | 68730 62983 106 | 0.000 % |
389.47/389.80 c | 732914 | 700 14000 70000 | 68730 63581 106 | 0.000 % |
389.77/390.15 c | 733569 | 700 14000 70000 | 68730 64236 106 | 0.000 % |
390.17/390.58 c | 734289 | 700 14000 70000 | 68730 64956 106 | 0.000 % |
390.67/391.04 c | 735081 | 700 14000 70000 | 68730 65748 106 | 0.000 % |
391.17/391.59 c | 735952 | 700 14000 70000 | 68730 66619 106 | 0.000 % |
391.87/392.20 c | 736910 | 700 14000 70000 | 68730 67577 106 | 0.000 % |
392.47/392.81 c | 737964 | 700 14000 70000 | 68730 68631 106 | 0.000 % |
393.17/393.50 c | 739122 | 700 14000 70000 | 68730 60916 106 | 0.000 % |
393.87/394.22 c | 740395 | 700 14000 70000 | 61794 54434 106 | 0.000 % |
394.47/394.90 c | 741798 | 700 14000 70000 | 61794 55837 106 | 0.000 % |
395.26/395.62 c | 743338 | 700 14000 70000 | 61794 57377 106 | 0.000 % |
396.16/396.52 c | 745033 | 700 14000 70000 | 61794 59072 105 | 0.000 % |
397.06/397.45 c | 746899 | 700 14000 70000 | 61794 60938 106 | 0.000 % |
398.06/398.48 c | 748948 | 700 14000 70000 | 61794 56785 106 | 0.000 % |
399.16/399.60 c | 751202 | 700 14000 70000 | 2147483647 59039 106 | 0.000 % |
400.46/400.86 c | 753680 | 700 14000 70000 | 2147483647 61517 106 | 0.000 % |
401.86/402.26 c | 756405 | 700 14000 70000 | 2147483647 64242 106 | 0.000 % |
403.66/404.06 c | 759404 | 700 14000 70000 | 2147483647 67241 105 | 0.000 % |
405.47/405.87 c | 762701 | 700 14000 70000 | 67837 63033 106 | 0.000 % |
407.46/407.90 c | 766326 | 700 14000 70000 | 67837 66658 106 | 0.000 % |
409.76/410.17 c | 770313 | 700 14000 70000 | 62514 55949 105 | 0.000 % |
411.96/412.38 c | 774699 | 700 14000 70000 | 62514 60335 105 | 0.000 % |
414.65/415.03 c | 779522 | 700 14000 70000 | 62514 58884 105 | 0.000 % |
417.35/417.76 c | 784827 | 700 14000 70000 | 2147483647 64189 105 | 0.000 % |
420.75/421.10 c | 790662 | 700 14000 70000 | 69363 61447 105 | 0.000 % |
424.25/424.67 c | 797081 | 700 14000 70000 | 69363 67866 106 | 0.000 % |
427.74/428.15 c | 804141 | 700 14000 70000 | 61588 57685 107 | 0.000 % |
427.74/428.20 c | 804241 | 700 14000 70000 | 61588 57785 107 | 0.000 % |
427.84/428.25 c | 804354 | 700 14000 70000 | 61588 57898 107 | 0.000 % |
427.94/428.32 c | 804475 | 700 14000 70000 | 61588 58019 107 | 0.000 % |
427.94/428.39 c | 804608 | 700 14000 70000 | 61588 58152 107 | 0.000 % |
428.04/428.48 c | 804755 | 700 14000 70000 | 61588 58299 106 | 0.000 % |
428.14/428.57 c | 804917 | 700 14000 70000 | 61588 58461 106 | 0.000 % |
428.24/428.67 c | 805093 | 700 14000 70000 | 61588 58637 106 | 0.000 % |
428.34/428.78 c | 805287 | 700 14000 70000 | 61588 58831 106 | 0.000 % |
428.44/428.90 c | 805500 | 700 14000 70000 | 61588 59044 106 | 0.000 % |
428.65/429.04 c | 805733 | 700 14000 70000 | 61588 59277 106 | 0.000 % |
428.74/429.19 c | 805989 | 700 14000 70000 | 61588 59533 106 | 0.000 % |
428.94/429.35 c | 806270 | 700 14000 70000 | 61588 59814 106 | 0.000 % |
429.14/429.51 c | 806579 | 700 14000 70000 | 61588 60123 106 | 0.000 % |
429.34/429.71 c | 806919 | 700 14000 70000 | 61588 60463 106 | 0.000 % |
429.54/429.91 c | 807291 | 700 14000 70000 | 61588 60835 106 | 0.000 % |
429.75/430.13 c | 807702 | 700 14000 70000 | 61588 61246 106 | 0.000 % |
430.04/430.40 c | 808151 | 700 14000 70000 | 61588 61695 106 | 0.000 % |
430.24/430.69 c | 808644 | 700 14000 70000 | 61588 55566 106 | 0.000 % |
430.54/430.98 c | 809188 | 700 14000 70000 | 61588 56110 106 | 0.000 % |
430.84/431.28 c | 809784 | 700 14000 70000 | 61588 56706 106 | 0.000 % |
431.24/431.61 c | 810439 | 700 14000 70000 | 56923 51643 106 | 0.000 % |
431.54/431.99 c | 811159 | 700 14000 70000 | 56923 52363 106 | 0.000 % |
431.94/432.35 c | 811953 | 700 14000 70000 | 56923 53157 106 | 0.000 % |
432.34/432.74 c | 812824 | 700 14000 70000 | 56923 54028 106 | 0.000 % |
432.74/433.15 c | 813782 | 700 14000 70000 | 56923 54986 106 | 0.000 % |
433.14/433.58 c | 814836 | 700 14000 70000 | 56923 56040 106 | 0.000 % |
433.74/434.12 c | 815994 | 700 14000 70000 | 56923 51484 106 | 0.000 % |
434.24/434.66 c | 817267 | 700 14000 70000 | 56923 52757 106 | 0.000 % |
434.94/435.30 c | 818669 | 700 14000 70000 | 56923 54159 105 | 0.000 % |
435.54/435.98 c | 820209 | 700 14000 70000 | 2147483647 55699 105 | 0.000 % |
436.34/436.78 c | 821904 | 700 14000 70000 | 2147483647 57394 105 | 0.000 % |
437.24/437.70 c | 823767 | 700 14000 70000 | 2147483647 59257 105 | 0.000 % |
438.34/438.74 c | 825816 | 700 14000 70000 | 2147483647 61306 105 | 0.000 % |
439.54/439.94 c | 828069 | 700 14000 70000 | 2147483647 63559 105 | 0.000 % |
440.94/441.39 c | 830547 | 700 14000 70000 | 2147483647 66037 105 | 0.000 % |
442.54/442.92 c | 833273 | 700 14000 70000 | 2147483647 68763 105 | 0.000 % |
444.33/444.76 c | 836270 | 700 14000 70000 | 2147483647 71760 106 | 0.000 % |
446.33/446.70 c | 839566 | 700 14000 70000 | 2147483647 75056 106 | 0.000 % |
448.44/448.83 c | 843193 | 700 14000 70000 | 75490 68094 106 | 0.000 % |
450.73/451.18 c | 847181 | 700 14000 70000 | 75490 72082 106 | 0.000 % |
453.33/453.72 c | 851567 | 700 14000 70000 | 74902 65377 106 | 0.000 % |
456.03/456.48 c | 856390 | 700 14000 70000 | 74902 70200 106 | 0.000 % |
459.22/459.61 c | 861695 | 700 14000 70000 | 73810 63885 106 | 0.000 % |
462.63/463.06 c | 867532 | 700 14000 70000 | 73810 69722 106 | 0.000 % |
466.52/466.92 c | 873952 | 700 14000 70000 | 72193 64810 107 | 0.000 % |
470.82/471.22 c | 881015 | 700 14000 70000 | 70858 60953 108 | 0.000 % |
475.12/475.50 c | 888780 | 700 14000 70000 | 70858 68718 108 | 0.000 % |
475.12/475.57 c | 888880 | 700 14000 70000 | 70858 68818 108 | 0.000 % |
475.22/475.63 c | 888990 | 700 14000 70000 | 70858 68928 108 | 0.000 % |
475.32/475.71 c | 889112 | 700 14000 70000 | 70858 69050 108 | 0.000 % |
475.42/475.81 c | 889245 | 700 14000 70000 | 70858 69183 108 | 0.000 % |
475.52/475.91 c | 889392 | 700 14000 70000 | 70858 69330 108 | 0.000 % |
475.62/476.01 c | 889552 | 700 14000 70000 | 70858 69490 108 | 0.000 % |
475.72/476.16 c | 889728 | 700 14000 70000 | 70858 69666 108 | 0.000 % |
475.92/476.31 c | 889922 | 700 14000 70000 | 70858 69860 108 | 0.000 % |
476.02/476.46 c | 890134 | 700 14000 70000 | 69940 70072 108 | 0.000 % |
476.22/476.63 c | 890367 | 700 14000 70000 | 69940 60710 109 | 0.000 % |
476.32/476.77 c | 890624 | 700 14000 70000 | 69940 60967 109 | 0.000 % |
476.52/476.93 c | 890905 | 700 14000 70000 | 69940 61248 109 | 0.000 % |
476.62/477.10 c | 891215 | 700 14000 70000 | 69940 61558 109 | 0.000 % |
476.81/477.28 c | 891554 | 700 14000 70000 | 69940 61897 109 | 0.000 % |
477.11/477.53 c | 891926 | 700 14000 70000 | 69940 62269 109 | 0.000 % |
477.31/477.78 c | 892336 | 700 14000 70000 | 69940 62679 109 | 0.000 % |
477.61/478.04 c | 892786 | 700 14000 70000 | 69940 63129 109 | 0.000 % |
477.91/478.33 c | 893280 | 700 14000 70000 | 69940 63623 109 | 0.000 % |
478.21/478.62 c | 893822 | 700 14000 70000 | 69940 64165 108 | 0.000 % |
478.51/478.94 c | 894419 | 700 14000 70000 | 69940 64762 108 | 0.000 % |
478.81/479.28 c | 895076 | 700 14000 70000 | 69940 65419 108 | 0.000 % |
479.31/479.78 c | 895796 | 700 14000 70000 | 69940 66139 108 | 0.000 % |
479.81/480.27 c | 896590 | 700 14000 70000 | 69940 66933 108 | 0.000 % |
480.41/480.83 c | 897461 | 700 14000 70000 | 69940 67804 108 | 0.000 % |
481.01/481.42 c | 898420 | 700 14000 70000 | 69940 68763 108 | 0.000 % |
481.61/482.04 c | 899473 | 700 14000 70000 | 69940 69816 108 | 0.000 % |
482.31/482.73 c | 900631 | 700 14000 70000 | 60297 52454 107 | 0.000 % |
482.91/483.32 c | 901904 | 700 14000 70000 | 60297 53727 107 | 0.000 % |
483.52/483.97 c | 903304 | 700 14000 70000 | 60297 55127 107 | 0.000 % |
484.21/484.67 c | 904844 | 700 14000 70000 | 60297 56667 107 | 0.000 % |
485.11/485.51 c | 906539 | 700 14000 70000 | 60297 58362 106 | 0.000 % |
486.11/486.55 c | 908402 | 700 14000 70000 | 60297 60225 106 | 0.000 % |
487.21/487.65 c | 910452 | 700 14000 70000 | 2147483647 56219 106 | 0.000 % |
488.41/488.87 c | 912705 | 700 14000 70000 | 2147483647 58472 106 | 0.000 % |
489.81/490.22 c | 915185 | 700 14000 70000 | 2147483647 60952 106 | 0.000 % |
491.31/491.73 c | 917910 | 700 14000 70000 | 2147483647 63677 106 | 0.000 % |
492.91/493.32 c | 920907 | 700 14000 70000 | 2147483647 66674 106 | 0.000 % |
494.71/495.17 c | 924204 | 700 14000 70000 | 2147483647 69971 106 | 0.000 % |
496.81/497.29 c | 927829 | 700 14000 70000 | 2147483647 73596 106 | 0.000 % |
499.31/499.70 c | 931818 | 700 14000 70000 | 75768 66834 105 | 0.000 % |
501.81/502.23 c | 936203 | 700 14000 70000 | 75768 71219 105 | 0.000 % |
504.70/505.13 c | 941026 | 700 14000 70000 | 75016 65141 104 | 0.000 % |
507.80/508.22 c | 946331 | 700 14000 70000 | 75016 70446 105 | 0.000 % |
511.20/511.62 c | 952168 | 700 14000 70000 | 74115 64637 104 | 0.000 % |
514.90/515.31 c | 958587 | 700 14000 70000 | 74115 71056 105 | 0.000 % |
518.80/519.24 c | 965646 | 700 14000 70000 | 72469 67534 105 | 0.000 % |
523.40/523.88 c | 973410 | 700 14000 70000 | 71889 65015 106 | 0.000 % |
528.60/529.06 c | 981950 | 700 14000 70000 | 71606 63259 107 | 0.000 % |
528.70/529.12 c | 982051 | 700 14000 70000 | 71606 63360 107 | 0.000 % |
528.79/529.21 c | 982161 | 700 14000 70000 | 71606 63470 107 | 0.000 % |
528.79/529.29 c | 982283 | 700 14000 70000 | 71606 63592 107 | 0.000 % |
528.89/529.37 c | 982416 | 700 14000 70000 | 71606 63725 107 | 0.000 % |
528.99/529.45 c | 982562 | 700 14000 70000 | 71606 63871 107 | 0.000 % |
529.09/529.57 c | 982723 | 700 14000 70000 | 71606 64032 107 | 0.000 % |
529.19/529.67 c | 982900 | 700 14000 70000 | 71606 64209 107 | 0.000 % |
529.29/529.80 c | 983093 | 700 14000 70000 | 71606 64402 107 | 0.000 % |
529.49/529.94 c | 983305 | 700 14000 70000 | 71606 64614 107 | 0.000 % |
529.59/530.09 c | 983539 | 700 14000 70000 | 71606 64848 107 | 0.000 % |
529.80/530.26 c | 983795 | 700 14000 70000 | 71606 65104 107 | 0.000 % |
529.99/530.43 c | 984077 | 700 14000 70000 | 71606 65386 107 | 0.000 % |
530.19/530.66 c | 984388 | 700 14000 70000 | 71606 65697 107 | 0.000 % |
530.39/530.85 c | 984727 | 700 14000 70000 | 71606 66036 107 | 0.000 % |
530.59/531.06 c | 985100 | 700 14000 70000 | 71606 66409 107 | 0.000 % |
530.80/531.28 c | 985509 | 700 14000 70000 | 71606 66818 106 | 0.000 % |
531.09/531.59 c | 985958 | 700 14000 70000 | 71606 67267 106 | 0.000 % |
531.39/531.88 c | 986452 | 700 14000 70000 | 71606 67761 106 | 0.000 % |
531.69/532.19 c | 986994 | 700 14000 70000 | 71606 68303 106 | 0.000 % |
532.09/532.52 c | 987590 | 700 14000 70000 | 71606 68899 106 | 0.000 % |
532.49/532.96 c | 988245 | 700 14000 70000 | 71606 69554 106 | 0.000 % |
533.00/533.42 c | 988967 | 700 14000 70000 | 71606 70276 106 | 0.000 % |
533.49/533.95 c | 989761 | 700 14000 70000 | 71606 71070 106 | 0.000 % |
533.99/534.49 c | 990633 | 700 14000 70000 | 71309 61016 106 | 0.000 % |
534.59/535.04 c | 991591 | 700 14000 70000 | 71309 61974 106 | 0.000 % |
535.19/535.67 c | 992644 | 700 14000 70000 | 71309 63027 106 | 0.000 % |
535.79/536.29 c | 993802 | 700 14000 70000 | 71309 64185 106 | 0.000 % |
536.49/536.99 c | 995075 | 700 14000 70000 | 71309 65458 106 | 0.000 % |
537.39/537.88 c | 996477 | 700 14000 70000 | 71309 66860 106 | 0.000 % |
538.29/538.76 c | 998018 | 700 14000 70000 | 71309 68401 106 | 0.000 % |
539.29/539.79 c | 999713 | 700 14000 70000 | 71309 70096 106 | 0.000 % |
540.39/540.88 c | 1001578 | 700 14000 70000 | 70383 62033 106 | 0.000 % |
541.69/542.11 c | 1003627 | 700 14000 70000 | 70383 64082 107 | 0.000 % |
542.79/543.27 c | 1005880 | 700 14000 70000 | 70383 66335 106 | 0.000 % |
544.19/544.68 c | 1008359 | 700 14000 70000 | 70383 68814 106 | 0.000 % |
545.89/546.37 c | 1011084 | 700 14000 70000 | 70456 61846 106 | 0.000 % |
547.68/548.10 c | 1014081 | 700 14000 70000 | 70456 64843 106 | 0.000 % |
549.48/549.98 c | 1017377 | 700 14000 70000 | 70456 68139 106 | 0.000 % |
551.57/552.06 c | 1021002 | 700 14000 70000 | 61183 54060 105 | 0.000 % |
553.66/554.12 c | 1024990 | 700 14000 70000 | 61183 58048 105 | 0.000 % |
556.07/556.58 c | 1029375 | 700 14000 70000 | 61183 55897 105 | 0.000 % |
558.56/559.04 c | 1034199 | 700 14000 70000 | 56522 55032 104 | 0.000 % |
561.06/561.55 c | 1039505 | 700 14000 70000 | 56522 54661 105 | 0.000 % |
564.16/564.66 c | 1045340 | 700 14000 70000 | 2147483647 60496 106 | 0.000 % |
567.86/568.36 c | 1051760 | 700 14000 70000 | 65156 59577 106 | 0.000 % |
571.76/572.24 c | 1058819 | 700 14000 70000 | 65156 59560 107 | 0.000 % |
576.26/576.76 c | 1066583 | 700 14000 70000 | 60743 60965 108 | 0.000 % |
580.45/580.99 c | 1075123 | 700 14000 70000 | 2147483647 63409 107 | 0.000 % |
585.86/586.33 c | 1084519 | 700 14000 70000 | 68287 64877 107 | 0.000 % |
585.95/586.41 c | 1084620 | 700 14000 70000 | 68287 64978 107 | 0.000 % |
585.95/586.48 c | 1084731 | 700 14000 70000 | 68287 65089 107 | 0.000 % |
586.05/586.55 c | 1084854 | 700 14000 70000 | 68287 65212 107 | 0.000 % |
586.15/586.64 c | 1084987 | 700 14000 70000 | 68287 65345 107 | 0.000 % |
586.25/586.73 c | 1085133 | 700 14000 70000 | 68287 65491 107 | 0.000 % |
586.35/586.82 c | 1085293 | 700 14000 70000 | 68287 65651 107 | 0.000 % |
586.45/586.94 c | 1085469 | 700 14000 70000 | 68287 65827 107 | 0.000 % |
586.55/587.06 c | 1085662 | 700 14000 70000 | 68287 66020 107 | 0.000 % |
586.65/587.19 c | 1085874 | 700 14000 70000 | 68287 66232 107 | 0.000 % |
586.86/587.33 c | 1086109 | 700 14000 70000 | 68287 66467 107 | 0.000 % |
586.96/587.48 c | 1086367 | 700 14000 70000 | 68287 66725 107 | 0.000 % |
587.15/587.65 c | 1086648 | 700 14000 70000 | 68287 67006 107 | 0.000 % |
587.35/587.84 c | 1086959 | 700 14000 70000 | 68287 67317 107 | 0.000 % |
587.55/588.03 c | 1087298 | 700 14000 70000 | 68287 67656 107 | 0.000 % |
587.75/588.25 c | 1087671 | 700 14000 70000 | 68287 68029 107 | 0.000 % |
588.06/588.52 c | 1088081 | 700 14000 70000 | 68287 68439 107 | 0.000 % |
588.35/588.86 c | 1088530 | 700 14000 70000 | 68287 60335 107 | 0.000 % |
588.65/589.16 c | 1089023 | 700 14000 70000 | 68287 60828 107 | 0.000 % |
589.06/589.51 c | 1089567 | 700 14000 70000 | 68287 61372 107 | 0.000 % |
589.35/589.85 c | 1090163 | 700 14000 70000 | 61806 61968 107 | 0.000 % |
589.75/590.22 c | 1090818 | 700 14000 70000 | 61806 54649 106 | 0.000 % |
590.05/590.58 c | 1091540 | 700 14000 70000 | 61806 55371 106 | 0.000 % |
590.45/590.98 c | 1092332 | 700 14000 70000 | 61806 56163 106 | 0.000 % |
590.85/591.39 c | 1093204 | 700 14000 70000 | 61806 57035 106 | 0.000 % |
591.35/591.88 c | 1094163 | 700 14000 70000 | 61806 57994 106 | 0.000 % |
591.85/592.39 c | 1095216 | 700 14000 70000 | 61806 59047 106 | 0.000 % |
592.45/592.93 c | 1096374 | 700 14000 70000 | 61806 60205 106 | 0.000 % |
593.04/593.54 c | 1097649 | 700 14000 70000 | 61806 61480 106 | 0.000 % |
593.74/594.28 c | 1099049 | 700 14000 70000 | 61806 56674 105 | 0.000 % |
594.65/595.16 c | 1100591 | 700 14000 70000 | 2147483647 58216 105 | 0.000 % |
595.54/596.01 c | 1102285 | 700 14000 70000 | 2147483647 59910 105 | 0.000 % |
596.54/597.01 c | 1104149 | 700 14000 70000 | 2147483647 61774 105 | 0.000 % |
597.54/598.00 c | 1106198 | 700 14000 70000 | 2147483647 63823 105 | 0.000 % |
598.74/599.23 c | 1108454 | 700 14000 70000 | 2147483647 66079 106 | 0.000 % |
600.14/600.68 c | 1110932 | 700 14000 70000 | 67626 61291 105 | 0.000 % |
601.64/602.16 c | 1113658 | 700 14000 70000 | 67626 64017 105 | 0.000 % |
603.34/603.84 c | 1116655 | 700 14000 70000 | 67626 67014 106 | 0.000 % |
605.14/605.64 c | 1119951 | 700 14000 70000 | 67626 62624 105 | 0.000 % |
607.04/607.60 c | 1123577 | 700 14000 70000 | 62674 59097 105 | 0.000 % |
609.13/609.69 c | 1127564 | 700 14000 70000 | 62674 56317 105 | 0.000 % |
611.33/611.89 c | 1131949 | 700 14000 70000 | 58753 54523 106 | 0.000 % |
613.73/614.21 c | 1136773 | 700 14000 70000 | 58753 53446 106 | 0.000 % |
616.33/616.88 c | 1142078 | 700 14000 70000 | 2147483647 58751 106 | 0.000 % |
619.33/619.84 c | 1147915 | 700 14000 70000 | 2147483647 64588 106 | 0.000 % |
622.83/623.39 c | 1154333 | 700 14000 70000 | 66673 63980 107 | 0.000 % |
626.73/627.27 c | 1161395 | 700 14000 70000 | 61451 55415 108 | 0.000 % |
630.73/631.29 c | 1169160 | 700 14000 70000 | 61451 56701 107 | 0.000 % |
635.43/635.96 c | 1177700 | 700 14000 70000 | 57544 53660 108 | 0.000 % |
641.22/641.73 c | 1187096 | 700 14000 70000 | 2147483647 63056 108 | 0.000 % |
646.92/647.45 c | 1197431 | 700 14000 70000 | 65961 65261 108 | 0.000 % |
647.02/647.51 c | 1197531 | 700 14000 70000 | 65961 65361 108 | 0.000 % |
647.02/647.58 c | 1197641 | 700 14000 70000 | 65961 65471 108 | 0.000 % |
647.12/647.67 c | 1197763 | 700 14000 70000 | 65961 65593 108 | 0.000 % |
647.22/647.77 c | 1197896 | 700 14000 70000 | 65961 65726 108 | 0.000 % |
647.33/647.85 c | 1198044 | 700 14000 70000 | 65961 65874 108 | 0.000 % |
647.43/647.95 c | 1198204 | 700 14000 70000 | 65961 66034 108 | 0.000 % |
647.52/648.09 c | 1198380 | 700 14000 70000 | 65961 57370 108 | 0.000 % |
647.72/648.20 c | 1198574 | 700 14000 70000 | 65961 57564 108 | 0.000 % |
647.82/648.32 c | 1198788 | 700 14000 70000 | 65961 57778 108 | 0.000 % |
647.92/648.44 c | 1199021 | 700 14000 70000 | 65961 58011 108 | 0.000 % |
648.02/648.58 c | 1199278 | 700 14000 70000 | 65961 58268 108 | 0.000 % |
648.22/648.75 c | 1199559 | 700 14000 70000 | 65961 58549 108 | 0.000 % |
648.42/648.97 c | 1199870 | 700 14000 70000 | 65961 58860 107 | 0.000 % |
648.61/649.19 c | 1200209 | 700 14000 70000 | 58991 59199 107 | 0.000 % |
648.91/649.41 c | 1200582 | 700 14000 70000 | 58991 51833 108 | 0.000 % |
649.11/649.61 c | 1200991 | 700 14000 70000 | 58991 52242 108 | 0.000 % |
649.31/649.82 c | 1201442 | 700 14000 70000 | 58991 52693 108 | 0.000 % |
649.51/650.06 c | 1201936 | 700 14000 70000 | 58991 53187 108 | 0.000 % |
649.81/650.31 c | 1202478 | 700 14000 70000 | 58991 53729 108 | 0.000 % |
650.11/650.60 c | 1203074 | 700 14000 70000 | 58991 54325 108 | 0.000 % |
650.41/650.99 c | 1203731 | 700 14000 70000 | 58991 54982 107 | 0.000 % |
650.81/651.35 c | 1204452 | 700 14000 70000 | 58991 55703 107 | 0.000 % |
651.21/651.74 c | 1205244 | 700 14000 70000 | 58991 56495 107 | 0.000 % |
651.61/652.17 c | 1206115 | 700 14000 70000 | 58991 57366 107 | 0.000 % |
652.11/652.66 c | 1207073 | 700 14000 70000 | 58991 58324 107 | 0.000 % |
652.71/653.26 c | 1208126 | 700 14000 70000 | 58991 53452 107 | 0.000 % |
653.31/653.80 c | 1209285 | 700 14000 70000 | 58991 54611 107 | 0.000 % |
653.91/654.45 c | 1210558 | 700 14000 70000 | 2147483647 55884 107 | 0.000 % |
654.71/655.25 c | 1211958 | 700 14000 70000 | 2147483647 57284 107 | 0.000 % |
655.51/656.05 c | 1213499 | 700 14000 70000 | 2147483647 58825 107 | 0.000 % |
656.41/656.95 c | 1215193 | 700 14000 70000 | 2147483647 60519 107 | 0.000 % |
657.41/657.94 c | 1217056 | 700 14000 70000 | 2147483647 62382 107 | 0.000 % |
658.61/659.14 c | 1219105 | 700 14000 70000 | 2147483647 64431 107 | 0.000 % |
659.81/660.36 c | 1221358 | 700 14000 70000 | 65326 59857 107 | 0.000 % |
661.11/661.65 c | 1223836 | 700 14000 70000 | 65326 62335 107 | 0.000 % |
662.51/663.05 c | 1226561 | 700 14000 70000 | 65326 65060 107 | 0.000 % |
664.11/664.70 c | 1229560 | 700 14000 70000 | 65326 61042 106 | 0.000 % |
665.70/666.28 c | 1232858 | 700 14000 70000 | 61482 57720 105 | 0.000 % |
667.50/668.09 c | 1236484 | 700 14000 70000 | 61482 61346 106 | 0.000 % |
669.70/670.24 c | 1240473 | 700 14000 70000 | 2147483647 59159 105 | 0.000 % |
672.20/672.78 c | 1244860 | 700 14000 70000 | 2147483647 63546 105 | 0.000 % |
675.20/675.76 c | 1249684 | 700 14000 70000 | 2147483647 68370 105 | 0.000 % |
678.40/678.97 c | 1254989 | 700 14000 70000 | 68688 65812 105 | 0.000 % |
682.00/682.51 c | 1260825 | 700 14000 70000 | 62676 56238 106 | 0.000 % |
685.49/686.02 c | 1267244 | 700 14000 70000 | 62676 62657 107 | 0.000 % |
689.29/689.87 c | 1274303 | 700 14000 70000 | 2147483647 63423 108 | 0.000 % |
694.09/694.62 c | 1282067 | 700 14000 70000 | 69122 63052 108 | 0.000 % |
698.39/698.93 c | 1290608 | 700 14000 70000 | 62139 54826 109 | 0.000 % |
703.49/704.01 c | 1300004 | 700 14000 70000 | 57387 57391 111 | 0.000 % |
708.19/708.75 c | 1310338 | 700 14000 70000 | 2147483647 55629 112 | 0.000 % |
714.19/714.70 c | 1321705 | 700 14000 70000 | 65293 59463 111 | 0.000 % |
714.19/714.76 c | 1321807 | 700 14000 70000 | 65293 59565 111 | 0.000 % |
714.29/714.83 c | 1321917 | 700 14000 70000 | 65293 59675 111 | 0.000 % |
714.29/714.90 c | 1322038 | 700 14000 70000 | 65293 59796 111 | 0.000 % |
714.39/714.99 c | 1322171 | 700 14000 70000 | 65293 59929 111 | 0.000 % |
714.50/715.08 c | 1322317 | 700 14000 70000 | 65293 60075 111 | 0.000 % |
714.59/715.19 c | 1322478 | 700 14000 70000 | 65293 60236 111 | 0.000 % |
714.69/715.29 c | 1322654 | 700 14000 70000 | 65293 60412 111 | 0.000 % |
714.79/715.39 c | 1322847 | 700 14000 70000 | 65293 60605 111 | 0.000 % |
714.89/715.50 c | 1323059 | 700 14000 70000 | 65293 60817 111 | 0.000 % |
715.09/715.65 c | 1323293 | 700 14000 70000 | 65293 61051 111 | 0.000 % |
715.19/715.78 c | 1323550 | 700 14000 70000 | 65293 61308 111 | 0.000 % |
715.39/715.97 c | 1323833 | 700 14000 70000 | 65293 61591 111 | 0.000 % |
715.60/716.15 c | 1324143 | 700 14000 70000 | 65293 61901 111 | 0.000 % |
715.79/716.36 c | 1324482 | 700 14000 70000 | 65293 62240 111 | 0.000 % |
715.99/716.56 c | 1324855 | 700 14000 70000 | 65293 62613 111 | 0.000 % |
716.29/716.83 c | 1325264 | 700 14000 70000 | 65293 63022 110 | 0.000 % |
716.49/717.09 c | 1325714 | 700 14000 70000 | 65293 63472 110 | 0.000 % |
716.79/717.37 c | 1326207 | 700 14000 70000 | 65293 63965 110 | 0.000 % |
717.09/717.66 c | 1326750 | 700 14000 70000 | 65293 64508 110 | 0.000 % |
717.39/717.98 c | 1327346 | 700 14000 70000 | 65293 65104 110 | 0.000 % |
717.79/718.39 c | 1328001 | 700 14000 70000 | 65293 58036 110 | 0.000 % |
718.29/718.81 c | 1328722 | 700 14000 70000 | 65293 58757 110 | 0.000 % |
718.69/719.24 c | 1329515 | 700 14000 70000 | 65293 59550 109 | 0.000 % |
719.19/719.76 c | 1330386 | 700 14000 70000 | 60035 53326 109 | 0.000 % |
719.69/720.23 c | 1331346 | 700 14000 70000 | 60035 54286 109 | 0.000 % |
720.19/720.77 c | 1332399 | 700 14000 70000 | 60035 55339 109 | 0.000 % |
720.79/721.31 c | 1333558 | 700 14000 70000 | 60035 56498 109 | 0.000 % |
721.49/722.00 c | 1334833 | 700 14000 70000 | 60035 57773 109 | 0.000 % |
722.19/722.75 c | 1336234 | 700 14000 70000 | 60035 59174 108 | 0.000 % |
723.09/723.60 c | 1337777 | 700 14000 70000 | 60035 54690 108 | 0.000 % |
723.89/724.40 c | 1339474 | 700 14000 70000 | 60035 56387 108 | 0.000 % |
724.69/725.29 c | 1341337 | 700 14000 70000 | 2147483647 58250 108 | 0.000 % |
725.78/726.31 c | 1343388 | 700 14000 70000 | 2147483647 60301 108 | 0.000 % |
726.88/727.45 c | 1345641 | 700 14000 70000 | 2147483647 62554 108 | 0.000 % |
728.28/728.84 c | 1348121 | 700 14000 70000 | 2147483647 65034 108 | 0.000 % |
729.77/730.30 c | 1350847 | 700 14000 70000 | 2147483647 67760 108 | 0.000 % |
731.47/732.02 c | 1353845 | 700 14000 70000 | 2147483647 70758 107 | 0.000 % |
733.46/734.08 c | 1357141 | 700 14000 70000 | 2147483647 74054 107 | 0.000 % |
735.75/736.34 c | 1360766 | 700 14000 70000 | 76913 67521 106 | 0.000 % |
737.95/738.59 c | 1364754 | 700 14000 70000 | 76913 71509 106 | 0.000 % |
740.76/741.39 c | 1369139 | 700 14000 70000 | 76913 75894 106 | 0.000 % |
743.65/744.30 c | 1373962 | 700 14000 70000 | 76756 69246 105 | 0.000 % |
746.85/747.43 c | 1379268 | 700 14000 70000 | 76756 74552 106 | 0.000 % |
750.35/750.98 c | 1385106 | 700 14000 70000 | 75284 68875 105 | 0.000 % |
754.35/754.93 c | 1391525 | 700 14000 70000 | 73770 64546 106 | 0.000 % |
758.15/758.74 c | 1398585 | 700 14000 70000 | 73770 71606 106 | 0.000 % |
762.46/763.04 c | 1406354 | 700 14000 70000 | 73024 68509 107 | 0.000 % |
767.26/767.89 c | 1414894 | 700 14000 70000 | 72156 66490 108 | 0.000 % |
772.95/773.50 c | 1424289 | 700 14000 70000 | 71597 65538 108 | 0.000 % |
778.95/779.57 c | 1434622 | 700 14000 70000 | 71251 66262 107 | 0.000 % |
785.54/786.16 c | 1445989 | 700 14000 70000 | 62024 59786 107 | 0.000 % |
793.14/793.71 c | 1458492 | 700 14000 70000 | 56774 53461 108 | 0.000 % |
793.14/793.76 c | 1458593 | 700 14000 70000 | 56774 53562 108 | 0.000 % |
793.24/793.82 c | 1458703 | 700 14000 70000 | 56774 53672 108 | 0.000 % |
793.24/793.88 c | 1458824 | 700 14000 70000 | 56774 53793 108 | 0.000 % |
793.34/793.95 c | 1458958 | 700 14000 70000 | 56774 53927 108 | 0.000 % |
793.44/794.03 c | 1459106 | 700 14000 70000 | 56774 54075 108 | 0.000 % |
793.54/794.12 c | 1459269 | 700 14000 70000 | 56774 54238 108 | 0.000 % |
793.64/794.21 c | 1459445 | 700 14000 70000 | 56774 54414 108 | 0.000 % |
793.74/794.30 c | 1459639 | 700 14000 70000 | 56774 54608 108 | 0.000 % |
793.84/794.41 c | 1459853 | 700 14000 70000 | 56774 54822 108 | 0.000 % |
793.94/794.53 c | 1460086 | 700 14000 70000 | 2147483647 55055 108 | 0.000 % |
794.04/794.69 c | 1460343 | 700 14000 70000 | 2147483647 55312 108 | 0.000 % |
794.24/794.84 c | 1460624 | 700 14000 70000 | 2147483647 55593 107 | 0.000 % |
794.44/795.01 c | 1460933 | 700 14000 70000 | 2147483647 55902 107 | 0.000 % |
794.54/795.18 c | 1461272 | 700 14000 70000 | 2147483647 56241 107 | 0.000 % |
794.74/795.36 c | 1461646 | 700 14000 70000 | 2147483647 56615 107 | 0.000 % |
794.94/795.57 c | 1462055 | 700 14000 70000 | 2147483647 57024 107 | 0.000 % |
795.24/795.81 c | 1462504 | 700 14000 70000 | 2147483647 57473 107 | 0.000 % |
795.54/796.12 c | 1462998 | 700 14000 70000 | 2147483647 57967 107 | 0.000 % |
795.74/796.38 c | 1463540 | 700 14000 70000 | 2147483647 58509 107 | 0.000 % |
796.04/796.69 c | 1464138 | 700 14000 70000 | 2147483647 59107 107 | 0.000 % |
796.44/797.05 c | 1464794 | 700 14000 70000 | 2147483647 59763 107 | 0.000 % |
796.84/797.47 c | 1465514 | 700 14000 70000 | 2147483647 60483 107 | 0.000 % |
797.34/797.93 c | 1466306 | 700 14000 70000 | 2147483647 61275 107 | 0.000 % |
797.74/798.38 c | 1467177 | 700 14000 70000 | 2147483647 62146 107 | 0.000 % |
798.24/798.89 c | 1468135 | 700 14000 70000 | 2147483647 63104 107 | 0.000 % |
798.84/799.48 c | 1469190 | 700 14000 70000 | 2147483647 64159 107 | 0.000 % |
799.54/800.15 c | 1470349 | 700 14000 70000 | 2147483647 65318 107 | 0.000 % |
800.34/800.93 c | 1471623 | 700 14000 70000 | 2147483647 66592 106 | 0.000 % |
801.04/801.68 c | 1473026 | 700 14000 70000 | 2147483647 67995 106 | 0.000 % |
801.94/802.59 c | 1474566 | 700 14000 70000 | 2147483647 69535 106 | 0.000 % |
803.04/803.60 c | 1476261 | 700 14000 70000 | 2147483647 71230 106 | 0.000 % |
804.14/804.70 c | 1478125 | 700 14000 70000 | 2147483647 73094 106 | 0.000 % |
805.44/806.00 c | 1480174 | 700 14000 70000 | 74970 75143 106 | 0.000 % |
806.64/807.28 c | 1482431 | 700 14000 70000 | 74970 66704 106 | 0.000 % |
808.04/808.67 c | 1484909 | 700 14000 70000 | 74970 69182 106 | 0.000 % |
809.73/810.31 c | 1487634 | 700 14000 70000 | 74970 71907 106 | 0.000 % |
811.63/812.27 c | 1490632 | 700 14000 70000 | 74274 64221 105 | 0.000 % |
813.63/814.24 c | 1493928 | 700 14000 70000 | 74274 67517 105 | 0.000 % |
815.83/816.41 c | 1497557 | 700 14000 70000 | 74274 71146 105 | 0.000 % |
818.03/818.68 c | 1501545 | 700 14000 70000 | 73589 64887 106 | 0.000 % |
820.43/821.02 c | 1505933 | 700 14000 70000 | 73589 69275 106 | 0.000 % |
823.13/823.80 c | 1510757 | 700 14000 70000 | 73342 64139 106 | 0.000 % |
826.13/826.74 c | 1516062 | 700 14000 70000 | 73342 69444 106 | 0.000 % |
829.62/830.23 c | 1521899 | 700 14000 70000 | 73383 64918 104 | 0.000 % |
833.42/834.08 c | 1528317 | 700 14000 70000 | 73383 71336 105 | 0.000 % |
837.63/838.28 c | 1535376 | 700 14000 70000 | 73019 67229 106 | 0.000 % |
842.22/842.89 c | 1543141 | 700 14000 70000 | 71853 64193 107 | 0.000 % |
847.62/848.23 c | 1551681 | 700 14000 70000 | 71053 62048 108 | 0.000 % |
853.82/854.46 c | 1561075 | 700 14000 70000 | 70368 60256 109 | 0.000 % |
859.62/860.23 c | 1571409 | 700 14000 70000 | 69182 59808 109 | 0.000 % |
866.22/866.83 c | 1582776 | 700 14000 70000 | 68400 60726 110 | 0.000 % |
873.91/874.50 c | 1595280 | 700 14000 70000 | 67950 63389 110 | 0.000 % |
882.41/883.09 c | 1609033 | 700 14000 70000 | 68111 67666 110 | 0.000 % |
882.51/883.18 c | 1609133 | 700 14000 70000 | 68111 67766 110 | 0.000 % |
882.61/883.25 c | 1609244 | 700 14000 70000 | 68111 67877 110 | 0.000 % |
882.71/883.33 c | 1609365 | 700 14000 70000 | 68111 67998 110 | 0.000 % |
882.81/883.42 c | 1609498 | 700 14000 70000 | 68111 68131 110 | 0.000 % |
882.91/883.55 c | 1609644 | 700 14000 70000 | 68111 58583 110 | 0.000 % |
883.01/883.64 c | 1609805 | 700 14000 70000 | 68111 58744 110 | 0.000 % |
883.11/883.74 c | 1609981 | 700 14000 70000 | 68111 58920 110 | 0.000 % |
883.20/883.86 c | 1610175 | 700 14000 70000 | 58940 59114 110 | 0.000 % |
883.30/884.00 c | 1610390 | 700 14000 70000 | 58940 51022 109 | 0.000 % |
883.40/884.10 c | 1610623 | 700 14000 70000 | 58940 51255 109 | 0.000 % |
883.60/884.21 c | 1610879 | 700 14000 70000 | 58940 51511 109 | 0.000 % |
883.71/884.35 c | 1611161 | 700 14000 70000 | 58940 51793 109 | 0.000 % |
883.81/884.49 c | 1611471 | 700 14000 70000 | 58940 52103 109 | 0.000 % |
884.00/884.65 c | 1611810 | 700 14000 70000 | 58940 52442 109 | 0.000 % |
884.20/884.81 c | 1612182 | 700 14000 70000 | 58940 52814 109 | 0.000 % |
884.40/885.01 c | 1612593 | 700 14000 70000 | 58940 53225 109 | 0.000 % |
884.60/885.27 c | 1613042 | 700 14000 70000 | 58940 53674 109 | 0.000 % |
884.91/885.52 c | 1613536 | 700 14000 70000 | 58940 54168 108 | 0.000 % |
885.20/885.82 c | 1614078 | 700 14000 70000 | 58940 54710 108 | 0.000 % |
885.50/886.16 c | 1614675 | 700 14000 70000 | 58940 55307 108 | 0.000 % |
885.91/886.54 c | 1615330 | 700 14000 70000 | 58940 55962 108 | 0.000 % |
886.30/886.94 c | 1616050 | 700 14000 70000 | 58940 56682 108 | 0.000 % |
886.80/887.42 c | 1616842 | 700 14000 70000 | 58940 57474 108 | 0.000 % |
887.20/887.87 c | 1617713 | 700 14000 70000 | 58940 58345 108 | 0.000 % |
887.80/888.44 c | 1618671 | 700 14000 70000 | 58940 53327 108 | 0.000 % |
888.30/888.94 c | 1619724 | 700 14000 70000 | 58940 54380 107 | 0.000 % |
888.90/889.50 c | 1620882 | 700 14000 70000 | 2147483647 55538 107 | 0.000 % |
889.50/890.14 c | 1622156 | 700 14000 70000 | 2147483647 56812 107 | 0.000 % |
890.20/890.82 c | 1623556 | 700 14000 70000 | 2147483647 58212 107 | 0.000 % |
891.10/891.72 c | 1625096 | 700 14000 70000 | 2147483647 59752 107 | 0.000 % |
892.10/892.72 c | 1626793 | 700 14000 70000 | 2147483647 61449 107 | 0.000 % |
893.20/893.81 c | 1628658 | 700 14000 70000 | 2147483647 63314 107 | 0.000 % |
894.40/895.01 c | 1630708 | 700 14000 70000 | 64656 58532 106 | 0.000 % |
895.50/896.17 c | 1632962 | 700 14000 70000 | 64656 60786 106 | 0.000 % |
896.80/897.47 c | 1635441 | 700 14000 70000 | 64656 63265 106 | 0.000 % |
898.20/898.88 c | 1638166 | 700 14000 70000 | 64656 59501 104 | 0.000 % |
899.59/900.29 c | 1641163 | 700 14000 70000 | 2147483647 62498 104 | 0.000 % |
901.40/902.03 c | 1644459 | 700 14000 70000 | 2147483647 65794 105 | 0.000 % |
903.50/904.19 c | 1648087 | 700 14000 70000 | 2147483647 69422 105 | 0.000 % |
905.89/906.50 c | 1652075 | 700 14000 70000 | 71337 65028 105 | 0.000 % |
908.38/909.01 c | 1656462 | 700 14000 70000 | 71337 69415 105 | 0.000 % |
911.28/911.92 c | 1661285 | 700 14000 70000 | 63552 56645 104 | 0.000 % |
913.97/914.68 c | 1666591 | 700 14000 70000 | 63552 61951 104 | 0.000 % |
916.97/917.67 c | 1672426 | 700 14000 70000 | 2147483647 61405 105 | 0.000 % |
920.77/921.40 c | 1678844 | 700 14000 70000 | 2147483647 67823 106 | 0.000 % |
924.67/925.32 c | 1685904 | 700 14000 70000 | 68980 66325 106 | 0.000 % |
928.77/929.40 c | 1693669 | 700 14000 70000 | 61795 57898 107 | 0.000 % |
933.36/934.06 c | 1702209 | 700 14000 70000 | 2147483647 60233 107 | 0.000 % |
939.16/939.89 c | 1711604 | 700 14000 70000 | 68025 61355 107 | 0.000 % |
945.66/946.36 c | 1721938 | 700 14000 70000 | 60465 53966 107 | 0.000 % |
953.06/953.73 c | 1733305 | 700 14000 70000 | 55638 52843 107 | 0.000 % |
960.66/961.34 c | 1745807 | 700 14000 70000 | 2147483647 59761 107 | 0.000 % |
969.35/970.01 c | 1759560 | 700 14000 70000 | 2147483647 73514 108 | 0.000 % |
977.45/978.17 c | 1774689 | 700 14000 70000 | 73687 67569 109 | 0.000 % |
977.55/978.24 c | 1774790 | 700 14000 70000 | 73687 67670 109 | 0.000 % |
977.65/978.31 c | 1774903 | 700 14000 70000 | 73687 67783 109 | 0.000 % |
977.65/978.37 c | 1775025 | 700 14000 70000 | 73687 67905 109 | 0.000 % |
977.75/978.48 c | 1775158 | 700 14000 70000 | 73687 68038 109 | 0.000 % |
977.84/978.58 c | 1775305 | 700 14000 70000 | 73687 68185 109 | 0.000 % |
977.94/978.67 c | 1775465 | 700 14000 70000 | 73687 68345 109 | 0.000 % |
978.04/978.77 c | 1775642 | 700 14000 70000 | 73687 68522 109 | 0.000 % |
978.14/978.90 c | 1775837 | 700 14000 70000 | 73687 68717 109 | 0.000 % |
978.35/979.05 c | 1776052 | 700 14000 70000 | 73687 68932 109 | 0.000 % |
978.54/979.23 c | 1776285 | 700 14000 70000 | 73687 69165 109 | 0.000 % |
978.74/979.40 c | 1776541 | 700 14000 70000 | 73687 69421 109 | 0.000 % |
978.84/979.59 c | 1776822 | 700 14000 70000 | 73687 69702 109 | 0.000 % |
979.04/979.79 c | 1777131 | 700 14000 70000 | 73687 70011 109 | 0.000 % |
979.35/980.01 c | 1777470 | 700 14000 70000 | 73687 70350 109 | 0.000 % |
979.54/980.27 c | 1777847 | 700 14000 70000 | 73687 70727 109 | 0.000 % |
979.84/980.53 c | 1778257 | 700 14000 70000 | 73687 71137 109 | 0.000 % |
980.14/980.83 c | 1778708 | 700 14000 70000 | 73687 71588 109 | 0.000 % |
980.45/981.12 c | 1779201 | 700 14000 70000 | 73687 72081 109 | 0.000 % |
980.74/981.46 c | 1779745 | 700 14000 70000 | 73687 72625 109 | 0.000 % |
981.14/981.86 c | 1780341 | 700 14000 70000 | 72880 61983 108 | 0.000 % |
981.44/982.20 c | 1780996 | 700 14000 70000 | 72880 62638 108 | 0.000 % |
981.84/982.56 c | 1781717 | 700 14000 70000 | 72880 63359 108 | 0.000 % |
982.34/983.00 c | 1782510 | 700 14000 70000 | 72880 64152 108 | 0.000 % |
982.84/983.55 c | 1783381 | 700 14000 70000 | 72880 65023 108 | 0.000 % |
983.34/984.09 c | 1784340 | 700 14000 70000 | 72880 65982 108 | 0.000 % |
983.94/984.69 c | 1785394 | 700 14000 70000 | 72880 67036 108 | 0.000 % |
984.64/985.37 c | 1786555 | 700 14000 70000 | 72880 68197 108 | 0.000 % |
985.44/986.14 c | 1787829 | 700 14000 70000 | 72880 69471 108 | 0.000 % |
986.34/987.04 c | 1789229 | 700 14000 70000 | 72880 70871 108 | 0.000 % |
987.34/988.02 c | 1790769 | 700 14000 70000 | 71644 61898 108 | 0.000 % |
988.25/988.99 c | 1792464 | 700 14000 70000 | 71644 63593 108 | 0.000 % |
989.25/989.93 c | 1794328 | 700 14000 70000 | 71644 65457 108 | 0.000 % |
990.34/991.04 c | 1796379 | 700 14000 70000 | 71644 67508 108 | 0.000 % |
991.64/992.37 c | 1798632 | 700 14000 70000 | 71644 69761 108 | 0.000 % |
993.04/993.77 c | 1801111 | 700 14000 70000 | 71129 62799 107 | 0.000 % |
994.64/995.30 c | 1803836 | 700 14000 70000 | 71129 65524 107 | 0.000 % |
996.24/996.98 c | 1806833 | 700 14000 70000 | 71129 68521 107 | 0.000 % |
998.04/998.78 c | 1810130 | 700 14000 70000 | 63378 63505 107 | 0.000 % |
999.93/1000.63 c | 1813755 | 700 14000 70000 | 63378 59844 106 | 0.000 % |
1002.13/1002.84 c | 1817742 | 700 14000 70000 | 63378 57357 105 | 0.000 % |
1004.43/1005.14 c | 1822129 | 700 14000 70000 | 2147483647 61744 106 | 0.000 % |
1007.12/1007.82 c | 1826952 | 700 14000 70000 | 2147483647 66567 106 | 0.000 % |
1010.32/1011.01 c | 1832259 | 700 14000 70000 | 69619 63548 105 | 0.000 % |
1013.72/1014.42 c | 1838094 | 700 14000 70000 | 69619 69383 105 | 0.000 % |
1016.72/1017.50 c | 1844512 | 700 14000 70000 | 62458 59146 106 | 0.000 % |
1020.12/1020.81 c | 1851574 | 700 14000 70000 | 57458 52777 106 | 0.000 % |
1023.52/1024.21 c | 1859338 | 700 14000 70000 | 57458 54774 106 | 0.000 % |
1027.82/1028.52 c | 1867878 | 700 14000 70000 | 2147483647 63314 106 | 0.000 % |
1033.61/1034.34 c | 1877273 | 700 14000 70000 | 2147483647 72709 107 | 0.000 % |
1040.42/1041.10 c | 1887607 | 700 14000 70000 | 75436 72206 108 | 0.000 % |
1047.91/1048.64 c | 1898973 | 700 14000 70000 | 74601 71430 108 | 0.000 % |
1056.51/1057.26 c | 1911475 | 700 14000 70000 | 71093 61896 108 | 0.000 % |
1065.31/1066.01 c | 1925230 | 700 14000 70000 | 70422 65778 109 | 0.000 % |
1076.00/1076.79 c | 1940358 | 700 14000 70000 | 70227 59762 110 | 0.000 % |
1086.20/1086.96 c | 1956998 | 700 14000 70000 | 69405 67699 111 | 0.000 % |
1086.30/1087.02 c | 1957099 | 700 14000 70000 | 69405 67800 111 | 0.000 % |
1086.40/1087.11 c | 1957209 | 700 14000 70000 | 69405 67910 111 | 0.000 % |
1086.40/1087.19 c | 1957330 | 700 14000 70000 | 69405 68031 111 | 0.000 % |
1086.50/1087.27 c | 1957467 | 700 14000 70000 | 69405 68168 111 | 0.000 % |
1086.60/1087.35 c | 1957615 | 700 14000 70000 | 69405 68316 111 | 0.000 % |
1086.70/1087.46 c | 1957777 | 700 14000 70000 | 69405 68478 111 | 0.000 % |
1086.80/1087.55 c | 1957953 | 700 14000 70000 | 69405 68654 111 | 0.000 % |
1086.90/1087.68 c | 1958146 | 700 14000 70000 | 69405 68847 111 | 0.000 % |
1087.10/1087.84 c | 1958359 | 700 14000 70000 | 69405 69060 111 | 0.000 % |
1087.20/1087.98 c | 1958594 | 700 14000 70000 | 69405 69295 111 | 0.000 % |
1087.39/1088.16 c | 1958852 | 700 14000 70000 | 69405 69553 111 | 0.000 % |
1087.59/1088.36 c | 1959133 | 700 14000 70000 | 69405 60185 111 | 0.000 % |
1087.79/1088.53 c | 1959443 | 700 14000 70000 | 69405 60495 111 | 0.000 % |
1087.99/1088.75 c | 1959784 | 700 14000 70000 | 69405 60836 111 | 0.000 % |
1088.20/1088.97 c | 1960156 | 700 14000 70000 | 61053 61208 111 | 0.000 % |
1088.49/1089.23 c | 1960567 | 700 14000 70000 | 61053 53328 111 | 0.000 % |
1088.69/1089.47 c | 1961016 | 700 14000 70000 | 61053 53777 111 | 0.000 % |
1088.99/1089.72 c | 1961510 | 700 14000 70000 | 61053 54271 111 | 0.000 % |
1089.30/1090.02 c | 1962052 | 700 14000 70000 | 61053 54813 111 | 0.000 % |
1089.59/1090.31 c | 1962649 | 700 14000 70000 | 61053 55410 110 | 0.000 % |
1089.89/1090.61 c | 1963304 | 700 14000 70000 | 61053 56065 110 | 0.000 % |
1090.19/1090.97 c | 1964024 | 700 14000 70000 | 61053 56785 110 | 0.000 % |
1090.69/1091.41 c | 1964817 | 700 14000 70000 | 61053 57578 110 | 0.000 % |
1091.09/1091.87 c | 1965690 | 700 14000 70000 | 61053 58451 110 | 0.000 % |
1091.60/1092.37 c | 1966648 | 700 14000 70000 | 61053 59409 110 | 0.000 % |
1092.19/1092.91 c | 1967701 | 700 14000 70000 | 61053 60462 110 | 0.000 % |
1092.79/1093.55 c | 1968859 | 700 14000 70000 | 61053 55490 110 | 0.000 % |
1093.39/1094.17 c | 1970132 | 700 14000 70000 | 2147483647 56763 109 | 0.000 % |
1094.09/1094.86 c | 1971532 | 700 14000 70000 | 2147483647 58163 109 | 0.000 % |
1094.99/1095.72 c | 1973072 | 700 14000 70000 | 2147483647 59703 109 | 0.000 % |
1095.89/1096.60 c | 1974767 | 700 14000 70000 | 2147483647 61398 109 | 0.000 % |
1096.89/1097.67 c | 1976630 | 700 14000 70000 | 2147483647 63261 109 | 0.000 % |
1098.09/1098.80 c | 1978679 | 700 14000 70000 | 2147483647 65310 109 | 0.000 % |
1099.29/1100.08 c | 1980933 | 700 14000 70000 | 2147483647 67564 109 | 0.000 % |
1100.79/1101.54 c | 1983411 | 700 14000 70000 | 2147483647 70042 108 | 0.000 % |
1102.49/1103.23 c | 1986137 | 700 14000 70000 | 2147483647 72768 108 | 0.000 % |
1104.39/1105.17 c | 1989134 | 700 14000 70000 | 2147483647 75765 108 | 0.000 % |
1106.58/1107.30 c | 1992430 | 700 14000 70000 | 76631 67267 107 | 0.000 % |
1108.68/1109.44 c | 1996056 | 700 14000 70000 | 76631 70893 107 | 0.000 % |
1111.18/1111.90 c | 2000046 | 700 14000 70000 | 74839 74883 107 | 0.000 % |
1113.68/1114.44 c | 2004431 | 700 14000 70000 | 74839 67729 106 | 0.000 % |
1116.38/1117.16 c | 2009254 | 700 14000 70000 | 74839 72552 106 | 0.000 % |
1119.48/1120.29 c | 2014560 | 700 14000 70000 | 73298 66657 105 | 0.000 % |
1122.98/1123.72 c | 2020397 | 700 14000 70000 | 72098 61747 104 | 0.000 % |
1126.58/1127.31 c | 2026816 | 700 14000 70000 | 72098 68166 104 | 0.000 % |
1130.78/1131.59 c | 2033876 | 700 14000 70000 | 71353 65109 105 | 0.000 % |
1135.67/1136.46 c | 2041640 | 700 14000 70000 | 71233 62477 106 | 0.000 % |
1140.97/1141.76 c | 2050180 | 700 14000 70000 | 70839 71017 107 | 0.000 % |
1146.77/1147.50 c | 2059574 | 700 14000 70000 | 70839 70386 107 | 0.000 % |
1152.17/1152.98 c | 2069907 | 700 14000 70000 | 70814 70466 108 | 0.000 % |
1158.76/1159.53 c | 2081274 | 700 14000 70000 | 70790 62453 109 | 0.000 % |
1165.76/1166.59 c | 2093777 | 700 14000 70000 | 61537 57025 111 | 0.000 % |
1173.36/1174.14 c | 2107529 | 700 14000 70000 | 2147483647 64596 110 | 0.000 % |
1181.35/1182.12 c | 2122656 | 700 14000 70000 | 60356 55110 110 | 0.000 % |
1190.35/1191.10 c | 2139295 | 700 14000 70000 | 2147483647 65692 110 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832537-1242782480/watcher-1832537-1242782480 -o /tmp/evaluation-result-1832537-1242782480/solver-1832537-1242782480 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832537-1242782480.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 13849
/proc/meminfo: memFree=1835120/2055920 swapFree=4180408/4192956
[pid=13849] ppid=13847 vsize=5356 CPUtime=0
/proc/13849/stat : 13849 (SatELiteGTI) S 13847 13849 13568 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 306275455 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 273653923922 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/13849/statm: 1339 235 195 169 0 50 0
[pid=13850] ppid=13849 vsize=5356 CPUtime=0
/proc/13850/stat : 13850 (SatELiteGTI) R 13849 13849 13568 0 -1 4194368 51 25 0 0 0 0 0 0 20 0 1 0 306275455 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4096 65538 0 0 0 17 0 0 0
/proc/13850/statm: 1339 238 198 169 0 50 0
[pid=13852] ppid=13850 vsize=0 CPUtime=0
/proc/13852/stat : 13852 (sed) Z 13850 13849 13568 0 -1 4194316 163 0 0 0 0 0 0 0 18 0 1 0 306275455 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744071563351923 0 0 17 1 0 0
/proc/13852/statm: 0 0 0 0 0 0 0
[startup+0.0471231 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 13849
/proc/meminfo: memFree=1835120/2055920 swapFree=4180408/4192956
[pid=13849] ppid=13847 vsize=5356 CPUtime=0.03
/proc/13849/stat : 13849 (SatELiteGTI) S 13847 13849 13568 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306275455 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13849/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356
[startup+0.101123 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 13849
/proc/meminfo: memFree=1835120/2055920 swapFree=4180408/4192956
[pid=13849] ppid=13847 vsize=5356 CPUtime=0.03
/proc/13849/stat : 13849 (SatELiteGTI) S 13847 13849 13568 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306275455 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13849/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356
[startup+0.301136 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 13849
/proc/meminfo: memFree=1835120/2055920 swapFree=4180408/4192956
[pid=13849] ppid=13847 vsize=5356 CPUtime=0.03
/proc/13849/stat : 13849 (SatELiteGTI) S 13847 13849 13568 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306275455 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13849/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356
[startup+0.701163 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 13849
/proc/meminfo: memFree=1835120/2055920 swapFree=4180408/4192956
[pid=13849] ppid=13847 vsize=5356 CPUtime=0.03
/proc/13849/stat : 13849 (SatELiteGTI) S 13847 13849 13568 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306275455 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13849/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356
[startup+1.50122 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13855
/proc/meminfo: memFree=1831136/2055920 swapFree=4180408/4192956
[pid=13849] ppid=13847 vsize=5356 CPUtime=0.03
/proc/13849/stat : 13849 (SatELiteGTI) S 13847 13849 13568 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306275455 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13849/statm: 1339 239 197 169 0 50 0
[pid=13855] ppid=13849 vsize=6164 CPUtime=1.44
/proc/13855/stat : 13855 (minisat_static) R 13849 13849 13568 0 -1 4194304 1270 0 0 0 144 0 0 0 25 0 1 0 306275459 6311936 1256 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/13855/statm: 1541 1256 77 171 0 1368 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 11520
[startup+3.10132 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13855
/proc/meminfo: memFree=1827744/2055920 swapFree=4180408/4192956
[pid=13849] ppid=13847 vsize=5356 CPUtime=0.03
/proc/13849/stat : 13849 (SatELiteGTI) S 13847 13849 13568 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306275455 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13849/statm: 1339 239 197 169 0 50 0
[pid=13855] ppid=13849 vsize=10440 CPUtime=3.03
/proc/13855/stat : 13855 (minisat_static) R 13849 13849 13568 0 -1 4194304 2335 0 0 0 302 1 0 0 25 0 1 0 306275459 10690560 2321 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/13855/statm: 2610 2321 77 171 0 2437 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 15796
[startup+6.30254 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13855
/proc/meminfo: memFree=1821152/2055920 swapFree=4180408/4192956
[pid=13849] ppid=13847 vsize=5356 CPUtime=0.03
/proc/13849/stat : 13849 (SatELiteGTI) S 13847 13849 13568 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306275455 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13849/statm: 1339 239 197 169 0 50 0
[pid=13855] ppid=13849 vsize=15752 CPUtime=6.22
/proc/13855/stat : 13855 (minisat_static) R 13849 13849 13568 0 -1 4194304 3667 0 0 0 620 2 0 0 25 0 1 0 306275459 16130048 3653 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13855/statm: 3938 3653 77 171 0 3765 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 21108
[startup+12.702 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13855
/proc/meminfo: memFree=1813152/2055920 swapFree=4180408/4192956
[pid=13849] ppid=13847 vsize=5356 CPUtime=0.03
/proc/13849/stat : 13849 (SatELiteGTI) S 13847 13849 13568 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306275455 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13849/statm: 1339 239 197 169 0 50 0
[pid=13855] ppid=13849 vsize=23092 CPUtime=12.62
/proc/13855/stat : 13855 (minisat_static) R 13849 13849 13568 0 -1 4194304 5487 0 0 0 1257 5 0 0 25 0 1 0 306275459 23646208 5473 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13855/statm: 5773 5473 77 171 0 5600 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 28448
[startup+25.5018 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13855
/proc/meminfo: memFree=1802656/2055920 swapFree=4180408/4192956
[pid=13849] ppid=13847 vsize=5356 CPUtime=0.03
/proc/13849/stat : 13849 (SatELiteGTI) S 13847 13849 13568 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306275455 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13849/statm: 1339 239 197 169 0 50 0
[pid=13855] ppid=13849 vsize=33244 CPUtime=25.41
/proc/13855/stat : 13855 (minisat_static) R 13849 13849 13568 0 -1 4194304 8017 0 0 0 2532 9 0 0 25 0 1 0 306275459 34041856 8003 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13855/statm: 8311 8003 77 171 0 8138 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 38600
[startup+51.1016 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13855
/proc/meminfo: memFree=1801184/2055920 swapFree=4180408/4192956
[pid=13849] ppid=13847 vsize=5356 CPUtime=0.03
/proc/13849/stat : 13849 (SatELiteGTI) S 13847 13849 13568 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306275455 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13849/statm: 1339 239 197 169 0 50 0
[pid=13855] ppid=13849 vsize=34432 CPUtime=50.99
/proc/13855/stat : 13855 (minisat_static) R 13849 13849 13568 0 -1 4194304 8320 0 0 0 5090 9 0 0 25 0 1 0 306275459 35258368 8306 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13855/statm: 8608 8306 77 171 0 8435 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 39788
[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13855
/proc/meminfo: memFree=1800992/2055920 swapFree=4180408/4192956
[pid=13849] ppid=13847 vsize=5356 CPUtime=0.03
/proc/13849/stat : 13849 (SatELiteGTI) S 13847 13849 13568 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306275455 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13849/statm: 1339 239 197 169 0 50 0
[pid=13855] ppid=13849 vsize=34432 CPUtime=102.14
/proc/13855/stat : 13855 (minisat_static) R 13849 13849 13568 0 -1 4194304 8320 0 0 0 10205 9 0 0 25 0 1 0 306275459 35258368 8306 1992294400 134512640 135215339 4294956240 18446744073709551615 134528793 0 0 4096 3 0 0 0 17 0 0 0
/proc/13855/statm: 8608 8306 77 171 0 8435 0
Current children cumulated CPU time (s) 102.17
Current children cumulated vsize (KiB) 39788
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13855
/proc/meminfo: memFree=1800800/2055920 swapFree=4180408/4192956
[pid=13849] ppid=13847 vsize=5356 CPUtime=0.03
/proc/13849/stat : 13849 (SatELiteGTI) S 13847 13849 13568 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306275455 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13849/statm: 1339 239 197 169 0 50 0
[pid=13855] ppid=13849 vsize=34432 CPUtime=162.11
/proc/13855/stat : 13855 (minisat_static) R 13849 13849 13568 0 -1 4194304 8320 0 0 0 16202 9 0 0 25 0 1 0 306275459 35258368 8306 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13855/statm: 8608 8306 77 171 0 8435 0
Current children cumulated CPU time (s) 162.14
Current children cumulated vsize (KiB) 39788
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13855
/proc/meminfo: memFree=1800544/2055920 swapFree=4180408/4192956
[pid=13849] ppid=13847 vsize=5356 CPUtime=0.03
/proc/13849/stat : 13849 (SatELiteGTI) S 13847 13849 13568 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306275455 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13849/statm: 1339 239 197 169 0 50 0
[pid=13855] ppid=13849 vsize=34688 CPUtime=222.06
/proc/13855/stat : 13855 (minisat_static) R 13849 13849 13568 0 -1 4194304 8391 0 0 0 22196 10 0 0 25 0 1 0 306275459 35520512 8377 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13855/statm: 8672 8377 77 171 0 8499 0
Current children cumulated CPU time (s) 222.09
Current children cumulated vsize (KiB) 40044
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13855
/proc/meminfo: memFree=1795872/2055920 swapFree=4180408/4192956
[pid=13849] ppid=13847 vsize=5356 CPUtime=0.03
/proc/13849/stat : 13849 (SatELiteGTI) S 13847 13849 13568 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306275455 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13849/statm: 1339 239 197 169 0 50 0
[pid=13855] ppid=13849 vsize=39308 CPUtime=282.02
/proc/13855/stat : 13855 (minisat_static) R 13849 13849 13568 0 -1 4194304 9528 0 0 0 28190 12 0 0 25 0 1 0 306275459 40251392 9514 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 0 0 0
/proc/13855/statm: 9827 9514 77 171 0 9654 0
Current children cumulated CPU time (s) 282.05
Current children cumulated vsize (KiB) 44664
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13855
/proc/meminfo: memFree=1795744/2055920 swapFree=4180408/4192956
[pid=13849] ppid=13847 vsize=5356 CPUtime=0.03
/proc/13849/stat : 13849 (SatELiteGTI) S 13847 13849 13568 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306275455 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13849/statm: 1339 239 197 169 0 50 0
[pid=13855] ppid=13849 vsize=39188 CPUtime=341.96
/proc/13855/stat : 13855 (minisat_static) R 13849 13849 13568 0 -1 4194304 9528 0 0 0 34184 12 0 0 25 0 1 0 306275459 40128512 9509 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/13855/statm: 9797 9509 77 171 0 9624 0
Current children cumulated CPU time (s) 341.99
Current children cumulated vsize (KiB) 44544
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13855
/proc/meminfo: memFree=1795680/2055920 swapFree=4180408/4192956
[pid=13849] ppid=13847 vsize=5356 CPUtime=0.03
/proc/13849/stat : 13849 (SatELiteGTI) S 13847 13849 13568 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306275455 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13849/statm: 1339 239 197 169 0 50 0
[pid=13855] ppid=13849 vsize=39184 CPUtime=401.93
################
# More data... #
################
[pid=13855] ppid=13849 vsize=39316 CPUtime=461.89
/proc/13855/stat : 13855 (minisat_static) R 13849 13849 13568 0 -1 4194304 9534 0 0 0 46176 13 0 0 25 0 1 0 306275459 40259584 9514 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13855/statm: 9829 9514 77 171 0 9656 0
Current children cumulated CPU time (s) 461.92
Current children cumulated vsize (KiB) 44672
[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13855
/proc/meminfo: memFree=1795360/2055920 swapFree=4180408/4192956
[pid=13849] ppid=13847 vsize=5356 CPUtime=0.03
/proc/13849/stat : 13849 (SatELiteGTI) S 13847 13849 13568 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306275455 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13849/statm: 1339 239 197 169 0 50 0
[pid=13855] ppid=13849 vsize=39448 CPUtime=521.87
/proc/13855/stat : 13855 (minisat_static) R 13849 13849 13568 0 -1 4194304 9590 0 0 0 52174 13 0 0 25 0 1 0 306275459 40394752 9570 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 0 0 0
/proc/13855/statm: 9862 9570 77 171 0 9689 0
Current children cumulated CPU time (s) 521.9
Current children cumulated vsize (KiB) 44804
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13855
/proc/meminfo: memFree=1795232/2055920 swapFree=4180408/4192956
[pid=13849] ppid=13847 vsize=5356 CPUtime=0.03
/proc/13849/stat : 13849 (SatELiteGTI) S 13847 13849 13568 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306275455 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13849/statm: 1339 239 197 169 0 50 0
[pid=13855] ppid=13849 vsize=39448 CPUtime=581.82
/proc/13855/stat : 13855 (minisat_static) R 13849 13849 13568 0 -1 4194304 9590 0 0 0 58169 13 0 0 25 0 1 0 306275459 40394752 9570 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13855/statm: 9862 9570 77 171 0 9689 0
Current children cumulated CPU time (s) 581.85
Current children cumulated vsize (KiB) 44804
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13855
/proc/meminfo: memFree=1795104/2055920 swapFree=4180408/4192956
[pid=13849] ppid=13847 vsize=5356 CPUtime=0.03
/proc/13849/stat : 13849 (SatELiteGTI) S 13847 13849 13568 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306275455 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13849/statm: 1339 239 197 169 0 50 0
[pid=13855] ppid=13849 vsize=39448 CPUtime=641.8
/proc/13855/stat : 13855 (minisat_static) R 13849 13849 13568 0 -1 4194304 9590 0 0 0 64167 13 0 0 25 0 1 0 306275459 40394752 9570 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13855/statm: 9862 9570 77 171 0 9689 0
Current children cumulated CPU time (s) 641.83
Current children cumulated vsize (KiB) 44804
[startup+702.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13855
/proc/meminfo: memFree=1794912/2055920 swapFree=4180408/4192956
[pid=13849] ppid=13847 vsize=5356 CPUtime=0.03
/proc/13849/stat : 13849 (SatELiteGTI) S 13847 13849 13568 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306275455 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13849/statm: 1339 239 197 169 0 50 0
[pid=13855] ppid=13849 vsize=39448 CPUtime=701.76
/proc/13855/stat : 13855 (minisat_static) R 13849 13849 13568 0 -1 4194304 9590 0 0 0 70163 13 0 0 25 0 1 0 306275459 40394752 9570 1992294400 134512640 135215339 4294956240 18446744073709551615 134528721 0 0 4096 3 0 0 0 17 0 0 0
/proc/13855/statm: 9862 9570 77 171 0 9689 0
Current children cumulated CPU time (s) 701.79
Current children cumulated vsize (KiB) 44804
[startup+762.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13855
/proc/meminfo: memFree=1793056/2055920 swapFree=4180408/4192956
[pid=13849] ppid=13847 vsize=5356 CPUtime=0.03
/proc/13849/stat : 13849 (SatELiteGTI) S 13847 13849 13568 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306275455 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13849/statm: 1339 239 197 169 0 50 0
[pid=13855] ppid=13849 vsize=41296 CPUtime=761.73
/proc/13855/stat : 13855 (minisat_static) R 13849 13849 13568 0 -1 4194304 10029 0 0 0 76158 15 0 0 25 0 1 0 306275459 42287104 10009 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/13855/statm: 10324 10009 77 171 0 10151 0
Current children cumulated CPU time (s) 761.76
Current children cumulated vsize (KiB) 46652
[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13855
/proc/meminfo: memFree=1793056/2055920 swapFree=4180408/4192956
[pid=13849] ppid=13847 vsize=5356 CPUtime=0.03
/proc/13849/stat : 13849 (SatELiteGTI) S 13847 13849 13568 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306275455 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13849/statm: 1339 239 197 169 0 50 0
[pid=13855] ppid=13849 vsize=41204 CPUtime=821.7
/proc/13855/stat : 13855 (minisat_static) R 13849 13849 13568 0 -1 4194304 10029 0 0 0 82155 15 0 0 25 0 1 0 306275459 42192896 10009 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13855/statm: 10301 10009 77 171 0 10128 0
Current children cumulated CPU time (s) 821.73
Current children cumulated vsize (KiB) 46560
[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13855
/proc/meminfo: memFree=1792928/2055920 swapFree=4180408/4192956
[pid=13849] ppid=13847 vsize=5356 CPUtime=0.03
/proc/13849/stat : 13849 (SatELiteGTI) S 13847 13849 13568 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306275455 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13849/statm: 1339 239 197 169 0 50 0
[pid=13855] ppid=13849 vsize=41184 CPUtime=881.68
/proc/13855/stat : 13855 (minisat_static) R 13849 13849 13568 0 -1 4194304 10029 0 0 0 88153 15 0 0 25 0 1 0 306275459 42172416 10008 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13855/statm: 10296 10008 77 171 0 10123 0
Current children cumulated CPU time (s) 881.71
Current children cumulated vsize (KiB) 46540
[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13855
/proc/meminfo: memFree=1792800/2055920 swapFree=4180408/4192956
[pid=13849] ppid=13847 vsize=5356 CPUtime=0.03
/proc/13849/stat : 13849 (SatELiteGTI) S 13847 13849 13568 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306275455 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13849/statm: 1339 239 197 169 0 50 0
[pid=13855] ppid=13849 vsize=41168 CPUtime=941.63
/proc/13855/stat : 13855 (minisat_static) R 13849 13849 13568 0 -1 4194304 10029 0 0 0 94148 15 0 0 25 0 1 0 306275459 42156032 10004 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13855/statm: 10292 10004 77 171 0 10119 0
Current children cumulated CPU time (s) 941.66
Current children cumulated vsize (KiB) 46524
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13855
/proc/meminfo: memFree=1792672/2055920 swapFree=4180408/4192956
[pid=13849] ppid=13847 vsize=5356 CPUtime=0.03
/proc/13849/stat : 13849 (SatELiteGTI) S 13847 13849 13568 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306275455 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13849/statm: 1339 239 197 169 0 50 0
[pid=13855] ppid=13849 vsize=41164 CPUtime=1001.6
/proc/13855/stat : 13855 (minisat_static) R 13849 13849 13568 0 -1 4194304 10029 0 0 0 100145 15 0 0 25 0 1 0 306275459 42151936 10003 1992294400 134512640 135215339 4294956240 18446744073709551615 134528830 0 0 4096 3 0 0 0 17 0 0 0
/proc/13855/statm: 10291 10003 77 171 0 10118 0
Current children cumulated CPU time (s) 1001.63
Current children cumulated vsize (KiB) 46520
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13855
/proc/meminfo: memFree=1792544/2055920 swapFree=4180408/4192956
[pid=13849] ppid=13847 vsize=5356 CPUtime=0.03
/proc/13849/stat : 13849 (SatELiteGTI) S 13847 13849 13568 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306275455 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13849/statm: 1339 239 197 169 0 50 0
[pid=13855] ppid=13849 vsize=41428 CPUtime=1061.58
/proc/13855/stat : 13855 (minisat_static) R 13849 13849 13568 0 -1 4194304 10067 0 0 0 106142 16 0 0 25 0 1 0 306275459 42422272 10039 1992294400 134512640 135215339 4294956240 18446744073709551615 134529116 0 0 4096 3 0 0 0 17 0 0 0
/proc/13855/statm: 10357 10039 77 171 0 10184 0
Current children cumulated CPU time (s) 1061.61
Current children cumulated vsize (KiB) 46784
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13855
/proc/meminfo: memFree=1791264/2055920 swapFree=4180408/4192956
[pid=13849] ppid=13847 vsize=5356 CPUtime=0.03
/proc/13849/stat : 13849 (SatELiteGTI) S 13847 13849 13568 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306275455 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13849/statm: 1339 239 197 169 0 50 0
[pid=13855] ppid=13849 vsize=42616 CPUtime=1121.55
/proc/13855/stat : 13855 (minisat_static) R 13849 13849 13568 0 -1 4194304 10385 0 0 0 112139 16 0 0 25 0 1 0 306275459 43638784 10357 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13855/statm: 10654 10357 77 171 0 10481 0
Current children cumulated CPU time (s) 1121.58
Current children cumulated vsize (KiB) 47972
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13855
/proc/meminfo: memFree=1791072/2055920 swapFree=4180408/4192956
[pid=13849] ppid=13847 vsize=5356 CPUtime=0.03
/proc/13849/stat : 13849 (SatELiteGTI) S 13847 13849 13568 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306275455 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13849/statm: 1339 239 197 169 0 50 0
[pid=13855] ppid=13849 vsize=42616 CPUtime=1181.52
/proc/13855/stat : 13855 (minisat_static) R 13849 13849 13568 0 -1 4194304 10385 0 0 0 118136 16 0 0 25 0 1 0 306275459 43638784 10357 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13855/statm: 10654 10357 77 171 0 10481 0
Current children cumulated CPU time (s) 1181.55
Current children cumulated vsize (KiB) 47972
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13855
/proc/meminfo: memFree=1791072/2055920 swapFree=4180408/4192956
[pid=13849] ppid=13847 vsize=5356 CPUtime=0.03
/proc/13849/stat : 13849 (SatELiteGTI) S 13847 13849 13568 0 -1 4194304 336 650 0 0 0 0 3 0 16 0 1 0 306275455 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13849/statm: 1339 239 197 169 0 50 0
[pid=13855] ppid=13849 vsize=42616 CPUtime=1200.02
/proc/13855/stat : 13855 (minisat_static) R 13849 13849 13568 0 -1 4194304 10385 0 0 0 119986 16 0 0 25 0 1 0 306275459 43638784 10357 1992294400 134512640 135215339 4294956240 18446744073709551615 134525106 0 0 4096 3 0 0 0 17 0 0 0
/proc/13855/statm: 10654 10357 77 171 0 10481 0
Current children cumulated CPU time (s) 1200.05
Current children cumulated vsize (KiB) 47972
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.81
CPU time (s): 1200.08
CPU user time (s): 1199.9
CPU system time (s): 0.179972
CPU usage (%): 99.939
Max. virtual memory (cumulated for all children) (KiB): 47972
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.9
system time used= 0.179972
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11376
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= 16
involuntary context switches= 6792
runsolver used 1.04084 second user time and 3.50947 second system time
The end
Begin job on node52 at 2009-05-20 03:21:20
IDJOB=1832537
IDBENCH=70232
IDSOLVER=671
FILE ID=node52/1832537-1242782480
PBS_JOBID= 9322339
Free space on /tmp= 66140 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/5SAT/UNKNOWN/700/unif-k5-r20-v700-c14000-S1192890414-033.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832537-1242782480/watcher-1832537-1242782480 -o /tmp/evaluation-result-1832537-1242782480/solver-1832537-1242782480 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832537-1242782480.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= b3febcd5ef9d5b37314559489b51c141
RANDOM SEED=1807078413
node52.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.214
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.214
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: 1835600 kB
Buffers: 25140 kB
Cached: 157736 kB
SwapCached: 7048 kB
Active: 35360 kB
Inactive: 157192 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1835600 kB
SwapTotal: 4192956 kB
SwapFree: 4180408 kB
Dirty: 1908 kB
Writeback: 0 kB
Mapped: 13484 kB
Slab: 13780 kB
Committed_AS: 1141608 kB
PageTables: 1500 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66140 MiB
End job on node52 at 2009-05-20 03:41:23