0.00/0.00 c Parsing...
0.00/0.01 c ==============================================================================
0.00/0.01 c | | ORIGINAL | LEARNT | |
0.00/0.01 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.01 c ==============================================================================
0.00/0.01 c | 0 | 30728 61940 | 9218 0 0 nan | 0.000 % |
0.00/0.08 c | 0 | 30200 90118 | -- 0 -- -- | -- | -528/28178
0.00/0.08 c ==============================================================================
0.00/0.08 c Result : #vars: 506 #clauses: 30200 #literals: 90118
0.00/0.09 c CPU time: 0.080987 s
0.00/0.09 c ==============================================================================
0.00/0.11 c This is MiniSat 2.0 beta
0.00/0.11 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.11 c ============================[ Problem Statistics ]=============================
0.00/0.11 c | |
0.00/0.11 c | Number of variables: 506 |
0.00/0.11 c | Number of clauses: 30200 |
0.00/0.13 c | Parsing time: 0.01 s |
0.00/0.13 c ============================[ Search Statistics ]==============================
0.00/0.13 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.00/0.13 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.00/0.13 c ===============================================================================
0.00/0.13 c | 0 | 506 30200 90118 | 10066 0 nan | 0.000 % |
0.00/0.14 c | 100 | 506 30200 90118 | 10066 100 115 | 0.000 % |
0.00/0.14 c | 201 | 506 30200 90118 | 10066 201 118 | 0.000 % |
0.00/0.15 c | 305 | 506 30200 90118 | 10066 305 114 | 0.000 % |
0.00/0.16 c | 416 | 506 30200 90118 | 10066 416 110 | 0.000 % |
0.00/0.17 c | 517 | 506 30200 90118 | 10066 517 105 | 0.000 % |
0.00/0.18 c | 627 | 506 30200 90118 | 10066 627 106 | 0.000 % |
0.00/0.19 c | 749 | 506 30200 90118 | 10066 749 102 | 0.000 % |
0.00/0.20 c | 849 | 506 30200 90118 | 10066 849 101 | 0.000 % |
0.10/0.20 c | 959 | 506 30200 90118 | 10066 959 96 | 0.000 % |
0.10/0.21 c | 1084 | 506 30200 90118 | 10066 1084 92 | 0.000 % |
0.10/0.22 c | 1218 | 506 30200 90118 | 10066 1218 92 | 0.000 % |
0.10/0.23 c | 1318 | 506 30200 90118 | 10066 1318 93 | 0.000 % |
0.10/0.24 c | 1431 | 506 30200 90118 | 10066 1431 92 | 0.000 % |
0.10/0.25 c | 1553 | 506 30200 90118 | 10066 1553 92 | 0.000 % |
0.10/0.26 c | 1686 | 506 30200 90118 | 10066 1686 91 | 0.000 % |
0.10/0.28 c | 1832 | 506 30200 90118 | 10066 1832 89 | 0.000 % |
0.10/0.28 c | 1933 | 506 30200 90118 | 10066 1933 88 | 0.000 % |
0.10/0.30 c | 2044 | 506 30200 90118 | 10066 2044 88 | 0.000 % |
0.10/0.31 c | 2167 | 506 30200 90118 | 10066 2167 88 | 0.000 % |
0.10/0.32 c | 2303 | 506 30200 90118 | 10066 2303 87 | 0.000 % |
0.10/0.33 c | 2450 | 506 30200 90118 | 10066 2450 88 | 0.000 % |
0.10/0.35 c | 2610 | 506 30200 90118 | 10066 2610 87 | 0.000 % |
0.10/0.36 c | 2711 | 506 30200 90118 | 10066 2711 86 | 0.000 % |
0.10/0.37 c | 2823 | 506 30200 90118 | 10066 2823 86 | 0.000 % |
0.10/0.38 c | 2946 | 506 30200 90118 | 10066 2946 85 | 0.000 % |
0.10/0.40 c | 3080 | 506 30200 90118 | 10066 3080 85 | 0.000 % |
0.10/0.41 c | 3227 | 506 30200 90118 | 10066 3227 86 | 0.000 % |
0.10/0.43 c | 3389 | 506 30200 90118 | 10066 3389 87 | 0.000 % |
0.10/0.45 c | 3565 | 506 30200 90118 | 10066 3565 88 | 0.000 % |
0.10/0.46 c | 3665 | 506 30200 90118 | 10066 3665 89 | 0.000 % |
0.10/0.48 c | 3775 | 506 30200 90118 | 10066 3775 89 | 0.000 % |
0.10/0.50 c | 3898 | 506 30200 90118 | 10066 3898 90 | 0.000 % |
0.10/0.51 c | 4032 | 506 30200 90118 | 10066 4032 90 | 0.000 % |
0.10/0.54 c | 4179 | 506 30200 90118 | 10066 4179 90 | 0.000 % |
0.10/0.57 c | 4342 | 506 30200 90118 | 10066 4342 91 | 0.000 % |
0.10/0.60 c | 4519 | 506 30200 90118 | 10066 4519 91 | 0.000 % |
0.10/0.63 c | 4714 | 506 30200 90118 | 10066 4714 91 | 0.000 % |
0.10/0.65 c | 4814 | 506 30200 90118 | 10066 4814 91 | 0.000 % |
0.10/0.66 c | 4926 | 506 30200 90118 | 10066 4926 91 | 0.000 % |
0.10/0.70 c | 5047 | 506 30200 90118 | 10066 5047 91 | 0.000 % |
0.10/0.73 c | 5182 | 506 30200 90118 | 10066 5182 92 | 0.000 % |
0.10/0.77 c | 5336 | 506 30200 90118 | 10066 5336 92 | 0.000 % |
0.10/0.81 c | 5496 | 506 30200 90118 | 10066 5496 92 | 0.000 % |
0.10/0.85 c | 5672 | 506 30200 90118 | 10066 5672 91 | 0.000 % |
0.10/0.88 c | 5865 | 506 30200 90118 | 10066 5865 90 | 0.000 % |
0.10/0.91 c | 6077 | 506 30200 90118 | 10066 6077 91 | 0.000 % |
0.10/0.93 c | 6179 | 506 30200 90118 | 10066 6179 91 | 0.000 % |
0.10/0.95 c | 6290 | 506 30200 90118 | 10066 6290 91 | 0.000 % |
0.10/0.98 c | 6412 | 506 30200 90118 | 10066 6412 92 | 0.000 % |
0.97/1.02 c | 6545 | 506 30200 90118 | 10066 6545 92 | 0.000 % |
0.97/1.05 c | 6691 | 506 30200 90118 | 10066 6691 92 | 0.000 % |
0.97/1.10 c | 6851 | 506 30200 90118 | 10066 6851 93 | 0.000 % |
1.07/1.13 c | 7027 | 506 30200 90118 | 10066 7027 93 | 0.000 % |
1.07/1.19 c | 7220 | 506 30200 90118 | 10066 7220 93 | 0.000 % |
1.17/1.25 c | 7432 | 506 30200 90118 | 10066 7432 94 | 0.000 % |
1.27/1.31 c | 7667 | 506 30200 90118 | 10066 7667 94 | 0.000 % |
1.27/1.33 c | 7772 | 506 30200 90118 | 10066 7772 94 | 0.000 % |
1.27/1.37 c | 7882 | 506 30200 90118 | 10066 7882 94 | 0.000 % |
1.36/1.40 c | 8004 | 506 30200 90118 | 10066 8004 94 | 0.000 % |
1.36/1.45 c | 8137 | 506 30200 90118 | 10066 8137 94 | 0.000 % |
1.36/1.49 c | 8285 | 506 30200 90118 | 10066 8285 94 | 0.000 % |
1.46/1.56 c | 8448 | 506 30200 90118 | 10066 8448 95 | 0.000 % |
1.56/1.61 c | 8624 | 506 30200 90118 | 10066 8624 95 | 0.000 % |
1.56/1.67 c | 8817 | 506 30200 90118 | 10066 8817 95 | 0.000 % |
1.66/1.72 c | 9030 | 506 30200 90118 | 10066 9030 95 | 0.000 % |
1.76/1.82 c | 9263 | 506 30200 90118 | 10066 9263 95 | 0.000 % |
1.76/1.89 c | 9519 | 506 30200 90118 | 10066 9519 94 | 0.000 % |
1.86/1.92 c | 9619 | 506 30200 90118 | 10066 9619 94 | 0.000 % |
1.86/1.96 c | 9730 | 506 30200 90118 | 10066 9730 95 | 0.000 % |
1.97/2.01 c | 9853 | 506 30200 90118 | 10066 9853 95 | 0.000 % |
1.97/2.08 c | 9986 | 506 30200 90118 | 10066 9986 95 | 0.000 % |
2.08/2.15 c | 10133 | 506 30200 90118 | 2147483647 10133 95 | 0.000 % |
2.18/2.23 c | 10294 | 506 30200 90118 | 2147483647 10294 95 | 0.000 % |
2.27/2.31 c | 10471 | 506 30200 90118 | 2147483647 10471 96 | 0.000 % |
2.27/2.37 c | 10664 | 506 30200 90118 | 2147483647 10664 96 | 0.000 % |
2.37/2.45 c | 10881 | 506 30200 90118 | 2147483647 10881 96 | 0.000 % |
2.47/2.56 c | 11114 | 506 30200 90118 | 2147483647 11114 97 | 0.000 % |
2.57/2.69 c | 11370 | 506 30200 90118 | 2147483647 11370 97 | 0.000 % |
2.77/2.80 c | 11654 | 506 30200 90118 | 2147483647 11654 97 | 0.000 % |
2.77/2.87 c | 11756 | 506 30200 90118 | 2147483647 11756 97 | 0.000 % |
2.87/2.94 c | 11866 | 506 30200 90118 | 2147483647 11866 97 | 0.000 % |
2.97/3.04 c | 11992 | 506 30200 90118 | 2147483647 11992 97 | 0.000 % |
3.07/3.16 c | 12126 | 506 30200 90118 | 2147483647 12126 97 | 0.000 % |
3.17/3.23 c | 12272 | 506 30200 90118 | 2147483647 12272 97 | 0.000 % |
3.17/3.29 c | 12436 | 506 30200 90118 | 2147483647 12436 97 | 0.000 % |
3.37/3.40 c | 12616 | 506 30200 90118 | 2147483647 12616 97 | 0.000 % |
3.47/3.56 c | 12809 | 506 30200 90118 | 2147483647 12809 97 | 0.000 % |
3.67/3.72 c | 13021 | 506 30200 90118 | 2147483647 13021 97 | 0.000 % |
3.77/3.88 c | 13254 | 506 30200 90118 | 2147483647 13254 97 | 0.000 % |
3.97/4.05 c | 13512 | 506 30200 90118 | 2147483647 13512 97 | 0.000 % |
4.17/4.24 c | 13794 | 506 30200 90118 | 2147483647 13794 97 | 0.000 % |
4.37/4.41 c | 14103 | 506 30200 90118 | 2147483647 14103 97 | 0.000 % |
4.37/4.45 c | 14206 | 506 30200 90118 | 2147483647 14206 97 | 0.000 % |
4.37/4.49 c | 14317 | 506 30200 90118 | 2147483647 14317 97 | 0.000 % |
4.47/4.58 c | 14440 | 506 30200 90118 | 2147483647 14440 97 | 0.000 % |
4.57/4.65 c | 14573 | 506 30200 90118 | 2147483647 14573 96 | 0.000 % |
4.67/4.70 c | 14719 | 506 30200 90118 | 2147483647 14719 97 | 0.000 % |
4.67/4.76 c | 14879 | 506 30200 90118 | 2147483647 14879 97 | 0.000 % |
4.77/4.85 c | 15057 | 506 30200 90118 | 2147483647 15057 96 | 0.000 % |
4.97/5.06 c | 15253 | 506 30200 90118 | 2147483647 15253 97 | 0.000 % |
5.27/5.30 c | 15465 | 506 30200 90118 | 2147483647 15465 97 | 0.000 % |
5.47/5.51 c | 15699 | 506 30200 90118 | 2147483647 15699 97 | 0.000 % |
5.67/5.71 c | 15958 | 506 30200 90118 | 2147483647 15958 97 | 0.000 % |
5.97/6.00 c | 16242 | 506 30200 90118 | 2147483647 16242 97 | 0.000 % |
6.26/6.34 c | 16554 | 506 30200 90118 | 2147483647 16554 97 | 0.000 % |
6.57/6.64 c | 16896 | 506 30200 90118 | 2147483647 16896 97 | 0.000 % |
6.66/6.76 c | 16998 | 506 30200 90118 | 2147483647 16998 97 | 0.000 % |
6.76/6.84 c | 17108 | 506 30200 90118 | 2147483647 17108 97 | 0.000 % |
6.86/6.98 c | 17231 | 506 30200 90118 | 2147483647 17231 97 | 0.000 % |
6.96/7.09 c | 17368 | 506 30200 90118 | 2147483647 17368 97 | 0.000 % |
7.16/7.24 c | 17517 | 506 30200 90118 | 2147483647 17517 97 | 0.000 % |
7.36/7.47 c | 17677 | 506 30200 90118 | 2147483647 17677 97 | 0.000 % |
7.57/7.61 c | 17853 | 506 30200 90118 | 2147483647 17853 97 | 0.000 % |
7.76/7.82 c | 18046 | 506 30200 90118 | 2147483647 18046 97 | 0.000 % |
7.96/8.08 c | 18258 | 506 30200 90118 | 2147483647 18258 97 | 0.000 % |
8.16/8.21 c | 18492 | 506 30200 90118 | 2147483647 18492 97 | 0.000 % |
8.36/8.46 c | 18748 | 506 30200 90118 | 2147483647 18748 97 | 0.000 % |
8.56/8.61 c | 19030 | 506 30200 90118 | 2147483647 19030 97 | 0.000 % |
8.86/8.94 c | 19339 | 506 30200 90118 | 2147483647 19339 97 | 0.000 % |
9.16/9.21 c | 19682 | 506 30200 90118 | 2147483647 19682 97 | 0.000 % |
9.46/9.56 c | 20057 | 506 30200 90118 | 2147483647 20057 97 | 0.000 % |
9.56/9.70 c | 20158 | 506 30200 90118 | 2147483647 20158 97 | 0.000 % |
9.77/9.81 c | 20269 | 506 30200 90118 | 2147483647 20269 97 | 0.000 % |
9.87/9.90 c | 20391 | 506 30200 90118 | 2147483647 20391 97 | 0.000 % |
10.06/10.11 c | 20524 | 506 30200 90118 | 2147483647 20524 97 | 0.000 % |
10.26/10.31 c | 20670 | 506 30200 90118 | 2147483647 20670 97 | 0.000 % |
10.36/10.40 c | 20831 | 506 30200 90118 | 2147483647 20831 96 | 0.000 % |
10.36/10.47 c | 21007 | 506 30200 90118 | 2147483647 21007 96 | 0.000 % |
10.46/10.58 c | 21200 | 506 30200 90118 | 2147483647 21200 96 | 0.000 % |
10.57/10.68 c | 21412 | 506 30200 90118 | 2147483647 21412 96 | 0.000 % |
10.77/10.89 c | 21645 | 506 30200 90118 | 2147483647 21645 96 | 0.000 % |
10.97/11.04 c | 21901 | 506 30200 90118 | 2147483647 21901 96 | 0.000 % |
11.27/11.39 c | 22182 | 506 30200 90118 | 2147483647 22182 97 | 0.000 % |
11.67/11.77 c | 22491 | 506 30200 90118 | 2147483647 22491 97 | 0.000 % |
11.97/12.07 c | 22831 | 506 30200 90118 | 2147483647 22831 97 | 0.000 % |
12.47/12.58 c | 23203 | 506 30200 90118 | 2147483647 23203 97 | 0.000 % |
12.97/13.05 c | 23613 | 506 30200 90118 | 2147483647 23613 97 | 0.000 % |
13.17/13.22 c | 23714 | 506 30200 90118 | 2147483647 23714 97 | 0.000 % |
13.27/13.39 c | 23825 | 506 30200 90118 | 2147483647 23825 97 | 0.000 % |
13.36/13.46 c | 23947 | 506 30200 90118 | 2147483647 23947 96 | 0.000 % |
13.56/13.65 c | 24083 | 506 30200 90118 | 2147483647 24083 97 | 0.000 % |
13.86/13.91 c | 24229 | 506 30200 90118 | 2147483647 24229 97 | 0.000 % |
14.06/14.14 c | 24390 | 506 30200 90118 | 2147483647 24390 97 | 0.000 % |
14.27/14.33 c | 24569 | 506 30200 90118 | 2147483647 24569 97 | 0.000 % |
14.56/14.60 c | 24762 | 506 30200 90118 | 2147483647 24762 97 | 0.000 % |
14.86/14.98 c | 24974 | 506 30200 90118 | 2147483647 24974 97 | 0.000 % |
15.37/15.43 c | 25208 | 506 30200 90118 | 2147483647 25208 97 | 0.000 % |
15.56/15.64 c | 25464 | 506 30200 90118 | 2147483647 25464 96 | 0.000 % |
15.76/15.84 c | 25745 | 506 30200 90118 | 2147483647 25745 96 | 0.000 % |
16.06/16.13 c | 26054 | 506 30200 90118 | 2147483647 26054 96 | 0.000 % |
16.56/16.67 c | 26393 | 506 30200 90118 | 2147483647 26393 96 | 0.000 % |
17.16/17.23 c | 26765 | 506 30200 90118 | 2147483647 26765 96 | 0.000 % |
17.76/17.80 c | 27174 | 506 30200 90118 | 2147483647 27174 96 | 0.000 % |
18.26/18.37 c | 27627 | 506 30200 90118 | 2147483647 27627 96 | 0.000 % |
18.36/18.46 c | 27728 | 506 30200 90118 | 2147483647 27728 96 | 0.000 % |
18.56/18.63 c | 27838 | 506 30200 90118 | 2147483647 27838 96 | 0.000 % |
18.66/18.76 c | 27959 | 506 30200 90118 | 2147483647 27959 96 | 0.000 % |
18.86/18.97 c | 28092 | 506 30200 90118 | 2147483647 28092 96 | 0.000 % |
19.06/19.12 c | 28238 | 506 30200 90118 | 2147483647 28238 96 | 0.000 % |
19.36/19.44 c | 28398 | 506 30200 90118 | 2147483647 28398 96 | 0.000 % |
19.56/19.63 c | 28574 | 506 30200 90118 | 2147483647 28574 96 | 0.000 % |
19.96/20.00 c | 28770 | 506 30200 90118 | 2147483647 28770 96 | 0.000 % |
20.26/20.36 c | 28982 | 506 30200 90118 | 2147483647 28982 96 | 0.000 % |
20.56/20.69 c | 29218 | 506 30200 90118 | 2147483647 29218 96 | 0.000 % |
20.86/20.94 c | 29479 | 506 30200 90118 | 2147483647 29479 96 | 0.000 % |
21.37/21.46 c | 29760 | 506 30200 90118 | 2147483647 29760 96 | 0.000 % |
21.77/21.84 c | 30069 | 506 30200 90118 | 30000 30069 96 | 0.000 % |
22.37/22.42 c | 30411 | 506 30200 90118 | 30000 24517 94 | 0.000 % |
22.87/22.91 c | 30784 | 506 30200 90118 | 30000 24890 94 | 0.000 % |
23.37/23.42 c | 31193 | 506 30200 90118 | 30000 25299 94 | 0.000 % |
24.07/24.16 c | 31643 | 506 30200 90118 | 30000 25749 94 | 0.000 % |
24.57/24.60 c | 32137 | 506 30200 90118 | 30000 26243 94 | 0.000 % |
24.67/24.72 c | 32237 | 506 30200 90118 | 30000 26343 94 | 0.000 % |
24.67/24.79 c | 32349 | 506 30200 90118 | 30000 26455 94 | 0.000 % |
24.87/24.96 c | 32470 | 506 30200 90118 | 30000 26576 94 | 0.000 % |
25.17/25.20 c | 32603 | 506 30200 90118 | 30000 26709 94 | 0.000 % |
25.37/25.42 c | 32749 | 506 30200 90118 | 30000 26855 93 | 0.000 % |
25.67/25.70 c | 32909 | 506 30200 90118 | 30000 27015 93 | 0.000 % |
25.97/26.07 c | 33087 | 506 30200 90118 | 30000 27193 93 | 0.000 % |
26.37/26.46 c | 33280 | 506 30200 90118 | 30000 27386 93 | 0.000 % |
26.77/26.81 c | 33494 | 506 30200 90118 | 30000 27600 93 | 0.000 % |
27.17/27.28 c | 33728 | 506 30200 90118 | 30000 27834 93 | 0.000 % |
27.67/27.77 c | 33985 | 506 30200 90118 | 30000 28091 93 | 0.000 % |
28.16/28.25 c | 34266 | 506 30200 90118 | 30000 28372 93 | 0.000 % |
28.57/28.63 c | 34579 | 506 30200 90118 | 30000 28685 93 | 0.000 % |
29.16/29.21 c | 34920 | 506 30200 90118 | 30000 29026 93 | 0.000 % |
29.67/29.73 c | 35292 | 506 30200 90118 | 30000 29398 93 | 0.000 % |
29.96/30.05 c | 35702 | 506 30200 90118 | 30000 29808 93 | 0.000 % |
30.76/30.85 c | 36152 | 506 30200 90118 | 30000 22970 88 | 0.000 % |
31.06/31.18 c | 36647 | 506 30200 90118 | 30000 23465 88 | 0.000 % |
31.76/31.88 c | 37190 | 506 30200 90118 | 30000 24008 88 | 0.000 % |
31.86/31.98 c | 37292 | 506 30200 90118 | 30000 24110 88 | 0.000 % |
31.95/32.06 c | 37406 | 506 30200 90118 | 30000 24224 88 | 0.000 % |
32.15/32.24 c | 37528 | 506 30200 90118 | 30000 24346 88 | 0.000 % |
32.35/32.41 c | 37661 | 506 30200 90118 | 30000 24479 88 | 0.000 % |
32.45/32.57 c | 37808 | 506 30200 90118 | 30000 24626 88 | 0.000 % |
32.75/32.88 c | 37973 | 506 30200 90118 | 30000 24791 88 | 0.000 % |
33.05/33.19 c | 38149 | 506 30200 90118 | 30000 24967 88 | 0.000 % |
33.45/33.50 c | 38342 | 506 30200 90118 | 30000 25160 88 | 0.000 % |
33.65/33.76 c | 38556 | 506 30200 90118 | 30000 25374 88 | 0.000 % |
33.95/34.01 c | 38792 | 506 30200 90118 | 30000 25610 88 | 0.000 % |
34.24/34.33 c | 39052 | 506 30200 90118 | 30000 25870 88 | 0.000 % |
34.64/34.77 c | 39335 | 506 30200 90118 | 30000 26153 88 | 0.000 % |
35.15/35.23 c | 39645 | 506 30200 90118 | 30000 26463 88 | 0.000 % |
35.54/35.68 c | 39985 | 506 30200 90118 | 30000 26803 88 | 0.000 % |
36.04/36.18 c | 40358 | 506 30200 90118 | 26825 20768 85 | 0.000 % |
36.44/36.56 c | 40769 | 506 30200 90118 | 26825 21179 85 | 0.000 % |
36.94/37.03 c | 41218 | 506 30200 90118 | 26825 21628 85 | 0.000 % |
37.34/37.48 c | 41712 | 506 30200 90118 | 26825 22122 85 | 0.000 % |
37.94/38.02 c | 42255 | 506 30200 90118 | 26825 22665 85 | 0.000 % |
38.44/38.57 c | 42852 | 506 30200 90118 | 26825 23262 85 | 0.000 % |
38.64/38.72 c | 42952 | 506 30200 90118 | 26825 23362 85 | 0.000 % |
38.84/38.92 c | 43064 | 506 30200 90118 | 26825 23474 85 | 0.000 % |
38.94/39.09 c | 43186 | 506 30200 90118 | 26825 23596 85 | 0.000 % |
39.04/39.14 c | 43320 | 506 30200 90118 | 26825 23730 85 | 0.000 % |
39.14/39.26 c | 43468 | 506 30200 90118 | 26825 23878 84 | 0.000 % |
39.34/39.46 c | 43628 | 506 30200 90118 | 26825 24038 84 | 0.000 % |
39.54/39.68 c | 43806 | 506 30200 90118 | 26825 24216 84 | 0.000 % |
39.84/39.92 c | 44002 | 506 30200 90118 | 26825 24412 84 | 0.000 % |
39.94/40.04 c | 44214 | 506 30200 90118 | 26825 24624 84 | 0.000 % |
40.34/40.44 c | 44449 | 506 30200 90118 | 26825 24859 85 | 0.000 % |
40.84/40.98 c | 44705 | 506 30200 90118 | 26825 25115 85 | 0.000 % |
41.44/41.55 c | 44988 | 506 30200 90118 | 26825 25398 85 | 0.000 % |
42.04/42.14 c | 45298 | 506 30200 90118 | 26825 25708 85 | 0.000 % |
42.64/42.79 c | 45638 | 506 30200 90118 | 26825 26048 85 | 0.000 % |
43.14/43.25 c | 46010 | 506 30200 90118 | 26825 26420 85 | 0.000 % |
43.74/43.89 c | 46421 | 506 30200 90118 | 26825 26831 85 | 0.000 % |
44.34/44.49 c | 46872 | 506 30200 90118 | 26825 21191 83 | 0.000 % |
45.04/45.17 c | 47365 | 506 30200 90118 | 26825 21684 83 | 0.000 % |
45.74/45.82 c | 47909 | 506 30200 90118 | 26825 22228 84 | 0.000 % |
46.43/46.54 c | 48507 | 506 30200 90118 | 26825 22826 84 | 0.000 % |
47.43/47.53 c | 49163 | 506 30200 90118 | 26825 23482 84 | 0.000 % |
47.53/47.66 c | 49263 | 506 30200 90118 | 26825 23582 84 | 0.000 % |
47.73/47.85 c | 49373 | 506 30200 90118 | 26825 23692 84 | 0.000 % |
47.93/48.07 c | 49497 | 506 30200 90118 | 26825 23816 84 | 0.000 % |
48.13/48.24 c | 49632 | 506 30200 90118 | 26825 23951 84 | 0.000 % |
48.24/48.37 c | 49778 | 506 30200 90118 | 26825 24097 85 | 0.000 % |
48.53/48.63 c | 49940 | 506 30200 90118 | 26825 24259 85 | 0.000 % |
48.73/48.89 c | 50117 | 506 30200 90118 | 24321 24436 85 | 0.000 % |
48.83/48.98 c | 50310 | 506 30200 90118 | 24321 18844 84 | 0.000 % |
49.03/49.16 c | 50522 | 506 30200 90118 | 24321 19056 84 | 0.000 % |
49.34/49.41 c | 50756 | 506 30200 90118 | 24321 19290 84 | 0.000 % |
49.63/49.71 c | 51013 | 506 30200 90118 | 24321 19547 84 | 0.000 % |
49.73/49.89 c | 51296 | 506 30200 90118 | 24321 19830 85 | 0.000 % |
50.13/50.23 c | 51605 | 506 30200 90118 | 24321 20139 85 | 0.000 % |
50.44/50.52 c | 51946 | 506 30200 90118 | 24321 20480 85 | 0.000 % |
50.83/50.95 c | 52322 | 506 30200 90118 | 24321 20856 85 | 0.000 % |
51.14/51.28 c | 52731 | 506 30200 90118 | 24321 21265 85 | 0.000 % |
51.64/51.74 c | 53180 | 506 30200 90118 | 24321 21714 85 | 0.000 % |
52.04/52.14 c | 53673 | 506 30200 90118 | 24321 22207 86 | 0.000 % |
52.64/52.73 c | 54216 | 506 30200 90118 | 24321 22750 86 | 0.000 % |
53.53/53.65 c | 54813 | 506 30200 90118 | 24321 23347 87 | 0.000 % |
54.13/54.25 c | 55469 | 506 30200 90118 | 24321 24003 86 | 0.000 % |
54.94/55.01 c | 56189 | 506 30200 90118 | 24321 19121 86 | 0.000 % |
54.94/55.09 c | 56292 | 506 30200 90118 | 24321 19224 86 | 0.000 % |
55.03/55.15 c | 56402 | 506 30200 90118 | 24321 19334 86 | 0.000 % |
55.13/55.28 c | 56524 | 506 30200 90118 | 24321 19456 86 | 0.000 % |
55.23/55.39 c | 56660 | 506 30200 90118 | 24321 19592 86 | 0.000 % |
55.33/55.44 c | 56807 | 506 30200 90118 | 24321 19739 86 | 0.000 % |
55.43/55.58 c | 56967 | 506 30200 90118 | 24321 19899 86 | 0.000 % |
55.63/55.78 c | 57144 | 506 30200 90118 | 24321 20076 86 | 0.000 % |
55.83/55.95 c | 57337 | 506 30200 90118 | 24321 20269 86 | 0.000 % |
56.04/56.11 c | 57551 | 506 30200 90118 | 24321 20483 86 | 0.000 % |
56.13/56.27 c | 57784 | 506 30200 90118 | 24321 20716 87 | 0.000 % |
56.23/56.38 c | 58041 | 506 30200 90118 | 24321 20973 87 | 0.000 % |
56.63/56.72 c | 58322 | 506 30200 90118 | 24321 21254 87 | 0.000 % |
56.93/57.00 c | 58631 | 506 30200 90118 | 24321 21563 87 | 0.000 % |
57.14/57.26 c | 58971 | 506 30200 90118 | 24321 21903 87 | 0.000 % |
57.53/57.60 c | 59344 | 506 30200 90118 | 24321 22276 87 | 0.000 % |
57.63/57.76 c | 59753 | 506 30200 90118 | 24321 22685 87 | 0.000 % |
58.14/58.27 c | 60203 | 506 30200 90118 | 22933 18275 89 | 0.000 % |
58.53/58.61 c | 60698 | 506 30200 90118 | 22933 18770 89 | 0.000 % |
58.83/58.94 c | 61242 | 506 30200 90118 | 22933 19314 90 | 0.000 % |
59.33/59.45 c | 61838 | 506 30200 90118 | 22933 19910 90 | 0.000 % |
59.63/59.79 c | 62494 | 506 30200 90118 | 22933 20566 90 | 0.000 % |
60.13/60.20 c | 63214 | 506 30200 90118 | 22933 21286 90 | 0.000 % |
60.73/60.86 c | 64007 | 506 30200 90118 | 22933 22079 90 | 0.000 % |
60.83/60.96 c | 64107 | 506 30200 90118 | 22933 22179 90 | 0.000 % |
60.93/61.09 c | 64222 | 506 30200 90118 | 22933 22294 90 | 0.000 % |
61.13/61.20 c | 64343 | 506 30200 90118 | 22933 22415 90 | 0.000 % |
61.23/61.33 c | 64477 | 506 30200 90118 | 22933 22549 90 | 0.000 % |
61.33/61.44 c | 64623 | 506 30200 90118 | 22933 22695 90 | 0.000 % |
61.43/61.55 c | 64785 | 506 30200 90118 | 22933 22857 90 | 0.000 % |
61.53/61.66 c | 64961 | 506 30200 90118 | 22933 23033 90 | 0.000 % |
61.73/61.85 c | 65157 | 506 30200 90118 | 22933 19803 89 | 0.000 % |
61.93/62.06 c | 65369 | 506 30200 90118 | 22933 20015 89 | 0.000 % |
62.13/62.21 c | 65602 | 506 30200 90118 | 22933 20248 89 | 0.000 % |
62.23/62.37 c | 65859 | 506 30200 90118 | 22933 20505 89 | 0.000 % |
62.43/62.59 c | 66142 | 506 30200 90118 | 22933 20788 90 | 0.000 % |
62.73/62.88 c | 66451 | 506 30200 90118 | 22933 21097 90 | 0.000 % |
62.93/63.02 c | 66794 | 506 30200 90118 | 22933 21440 90 | 0.000 % |
63.33/63.41 c | 67167 | 506 30200 90118 | 22933 21813 90 | 0.000 % |
63.73/63.83 c | 67579 | 506 30200 90118 | 22933 22225 90 | 0.000 % |
64.13/64.25 c | 68028 | 506 30200 90118 | 22933 22674 91 | 0.000 % |
64.63/64.71 c | 68525 | 506 30200 90118 | 22933 20126 90 | 0.000 % |
65.03/65.14 c | 69067 | 506 30200 90118 | 22933 20668 90 | 0.000 % |
65.53/65.66 c | 69664 | 506 30200 90118 | 22933 21265 91 | 0.000 % |
66.23/66.31 c | 70321 | 506 30200 90118 | 21604 19102 90 | 0.000 % |
66.73/66.83 c | 71041 | 506 30200 90118 | 21604 19822 91 | 0.000 % |
67.33/67.42 c | 71835 | 506 30200 90118 | 21604 20616 91 | 0.000 % |
67.83/67.94 c | 72707 | 506 30200 90118 | 21604 21488 91 | 0.000 % |
67.83/67.99 c | 72808 | 506 30200 90118 | 21604 21589 91 | 0.000 % |
67.93/68.09 c | 72919 | 506 30200 90118 | 21604 21700 91 | 0.000 % |
68.03/68.16 c | 73043 | 506 30200 90118 | 21604 19432 91 | 0.000 % |
68.13/68.28 c | 73177 | 506 30200 90118 | 21604 19566 91 | 0.000 % |
68.23/68.37 c | 73323 | 506 30200 90118 | 21604 19712 91 | 0.000 % |
68.43/68.55 c | 73483 | 506 30200 90118 | 21604 19872 91 | 0.000 % |
68.53/68.62 c | 73660 | 506 30200 90118 | 21604 20049 91 | 0.000 % |
68.63/68.74 c | 73853 | 506 30200 90118 | 21604 20242 91 | 0.000 % |
68.73/68.82 c | 74070 | 506 30200 90118 | 21604 20459 91 | 0.000 % |
69.03/69.14 c | 74306 | 506 30200 90118 | 21604 20695 91 | 0.000 % |
69.13/69.29 c | 74563 | 506 30200 90118 | 21604 20952 91 | 0.000 % |
69.53/69.61 c | 74845 | 506 30200 90118 | 21604 21234 91 | 0.000 % |
69.83/69.96 c | 75155 | 506 30200 90118 | 21604 21544 91 | 0.000 % |
70.03/70.18 c | 75494 | 506 30200 90118 | 21604 21883 91 | 0.000 % |
70.43/70.52 c | 75866 | 506 30200 90118 | 21604 19938 89 | 0.000 % |
70.53/70.65 c | 76275 | 506 30200 90118 | 21604 20347 89 | 0.000 % |
70.83/70.95 c | 76728 | 506 30200 90118 | 21604 20800 89 | 0.000 % |
71.03/71.17 c | 77222 | 506 30200 90118 | 21604 21294 89 | 0.000 % |
71.53/71.68 c | 77764 | 506 30200 90118 | 21604 19652 89 | 0.000 % |
72.12/72.22 c | 78362 | 506 30200 90118 | 21604 20250 89 | 0.000 % |
72.32/72.42 c | 79019 | 506 30200 90118 | 21604 20907 89 | 0.000 % |
73.12/73.20 c | 79739 | 506 30200 90118 | 21604 21627 89 | 0.000 % |
73.72/73.84 c | 80532 | 506 30200 90118 | 2147483647 20258 88 | 0.000 % |
74.32/74.45 c | 81403 | 506 30200 90118 | 2147483647 21129 89 | 0.000 % |
75.12/75.25 c | 82361 | 506 30200 90118 | 2147483647 22087 89 | 0.000 % |
75.12/75.29 c | 82462 | 506 30200 90118 | 2147483647 22188 89 | 0.000 % |
75.32/75.42 c | 82575 | 506 30200 90118 | 2147483647 22301 89 | 0.000 % |
75.42/75.56 c | 82696 | 506 30200 90118 | 2147483647 22422 89 | 0.000 % |
75.62/75.75 c | 82831 | 506 30200 90118 | 2147483647 22557 89 | 0.000 % |
75.82/75.90 c | 82978 | 506 30200 90118 | 2147483647 22704 90 | 0.000 % |
75.92/76.04 c | 83138 | 506 30200 90118 | 2147483647 22864 90 | 0.000 % |
76.12/76.24 c | 83317 | 506 30200 90118 | 2147483647 23043 90 | 0.000 % |
76.32/76.46 c | 83513 | 506 30200 90118 | 2147483647 23239 90 | 0.000 % |
76.62/76.74 c | 83728 | 506 30200 90118 | 2147483647 23454 90 | 0.000 % |
76.82/76.91 c | 83961 | 506 30200 90118 | 2147483647 23687 90 | 0.000 % |
77.01/77.16 c | 84217 | 506 30200 90118 | 2147483647 23943 90 | 0.000 % |
77.21/77.38 c | 84500 | 506 30200 90118 | 2147483647 24226 90 | 0.000 % |
77.51/77.65 c | 84811 | 506 30200 90118 | 2147483647 24537 90 | 0.000 % |
77.71/77.81 c | 85151 | 506 30200 90118 | 2147483647 24877 90 | 0.000 % |
77.92/78.02 c | 85524 | 506 30200 90118 | 2147483647 25250 90 | 0.000 % |
78.31/78.50 c | 85933 | 506 30200 90118 | 2147483647 25659 90 | 0.000 % |
78.91/79.07 c | 86388 | 506 30200 90118 | 2147483647 26114 91 | 0.000 % |
79.51/79.60 c | 86881 | 506 30200 90118 | 2147483647 26607 91 | 0.000 % |
80.01/80.19 c | 87425 | 506 30200 90118 | 2147483647 27151 91 | 0.000 % |
80.71/80.85 c | 88021 | 506 30200 90118 | 2147483647 27747 91 | 0.000 % |
81.71/81.85 c | 88678 | 506 30200 90118 | 2147483647 28404 92 | 0.000 % |
82.91/83.02 c | 89398 | 506 30200 90118 | 2147483647 29124 92 | 0.000 % |
83.81/83.99 c | 90190 | 506 30200 90118 | 29726 29916 92 | 0.000 % |
84.81/84.94 c | 91064 | 506 30200 90118 | 29726 26583 89 | 0.000 % |
85.61/85.80 c | 92023 | 506 30200 90118 | 29726 27542 90 | 0.000 % |
86.81/86.96 c | 93079 | 506 30200 90118 | 29726 28598 90 | 0.000 % |
87.01/87.12 c | 93179 | 506 30200 90118 | 29726 28698 90 | 0.000 % |
87.11/87.27 c | 93289 | 506 30200 90118 | 29726 28808 90 | 0.000 % |
87.21/87.37 c | 93410 | 506 30200 90118 | 29726 28929 90 | 0.000 % |
87.51/87.62 c | 93543 | 506 30200 90118 | 29726 29062 90 | 0.000 % |
87.81/87.92 c | 93694 | 506 30200 90118 | 29726 29213 90 | 0.000 % |
87.91/88.07 c | 93856 | 506 30200 90118 | 29726 29375 90 | 0.000 % |
88.41/88.51 c | 94032 | 506 30200 90118 | 29726 29551 90 | 0.000 % |
88.81/88.92 c | 94226 | 506 30200 90118 | 29726 29745 90 | 0.000 % |
89.11/89.24 c | 94439 | 506 30200 90118 | 29726 24643 89 | 0.000 % |
89.51/89.63 c | 94672 | 506 30200 90118 | 29726 24876 89 | 0.000 % |
89.81/89.97 c | 94928 | 506 30200 90118 | 29726 25132 89 | 0.000 % |
90.11/90.27 c | 95211 | 506 30200 90118 | 29726 25415 89 | 0.000 % |
90.51/90.64 c | 95522 | 506 30200 90118 | 29726 25726 89 | 0.000 % |
90.91/91.04 c | 95861 | 506 30200 90118 | 29726 26065 89 | 0.000 % |
91.31/91.42 c | 96235 | 506 30200 90118 | 29726 26439 89 | 0.000 % |
91.61/91.70 c | 96644 | 506 30200 90118 | 29726 26848 89 | 0.000 % |
92.21/92.34 c | 97094 | 506 30200 90118 | 29726 27298 89 | 0.000 % |
93.01/93.13 c | 97590 | 506 30200 90118 | 29726 27794 89 | 0.000 % |
93.61/93.74 c | 98133 | 506 30200 90118 | 29726 28337 89 | 0.000 % |
94.51/94.65 c | 98730 | 506 30200 90118 | 29726 28934 89 | 0.000 % |
94.91/95.09 c | 99387 | 506 30200 90118 | 29726 29591 89 | 0.000 % |
96.01/96.11 c | 100108 | 506 30200 90118 | 24588 24694 88 | 0.000 % |
96.41/96.57 c | 100901 | 506 30200 90118 | 24588 20868 86 | 0.000 % |
96.91/97.02 c | 101772 | 506 30200 90118 | 24588 21739 85 | 0.000 % |
97.51/97.68 c | 102732 | 506 30200 90118 | 24588 22699 86 | 0.000 % |
98.70/98.83 c | 103785 | 506 30200 90118 | 24588 23752 86 | 0.000 % |
99.40/99.58 c | 104943 | 506 30200 90118 | 24588 21527 84 | 0.000 % |
99.60/99.73 c | 105043 | 506 30200 90118 | 24588 21627 84 | 0.000 % |
99.70/99.88 c | 105155 | 506 30200 90118 | 24588 21739 84 | 0.000 % |
99.80/99.96 c | 105277 | 506 30200 90118 | 24588 21861 84 | 0.000 % |
99.91/100.03 c | 105410 | 506 30200 90118 | 24588 21994 84 | 0.000 % |
100.10/100.20 c | 105561 | 506 30200 90118 | 24588 22145 84 | 0.000 % |
100.20/100.39 c | 105721 | 506 30200 90118 | 24588 22305 84 | 0.000 % |
100.50/100.63 c | 105898 | 506 30200 90118 | 24588 22482 84 | 0.000 % |
100.70/100.86 c | 106094 | 506 30200 90118 | 24588 22678 84 | 0.000 % |
101.01/101.11 c | 106307 | 506 30200 90118 | 24588 22891 84 | 0.000 % |
101.30/101.40 c | 106541 | 506 30200 90118 | 24588 23125 84 | 0.000 % |
101.60/101.72 c | 106799 | 506 30200 90118 | 24588 23383 84 | 0.000 % |
101.80/101.99 c | 107080 | 506 30200 90118 | 24588 23664 85 | 0.000 % |
102.21/102.39 c | 107391 | 506 30200 90118 | 24588 23975 85 | 0.000 % |
102.50/102.62 c | 107730 | 506 30200 90118 | 24588 24314 85 | 0.000 % |
102.80/102.99 c | 108102 | 506 30200 90118 | 24588 24686 85 | 0.000 % |
103.21/103.31 c | 108511 | 506 30200 90118 | 24588 21817 83 | 0.000 % |
103.50/103.69 c | 108962 | 506 30200 90118 | 24588 22268 84 | 0.000 % |
104.00/104.18 c | 109455 | 506 30200 90118 | 24588 22761 84 | 0.000 % |
104.70/104.83 c | 109999 | 506 30200 90118 | 24588 23305 84 | 0.000 % |
105.00/105.19 c | 110597 | 506 30200 90118 | 23306 20844 82 | 0.000 % |
105.80/105.93 c | 111253 | 506 30200 90118 | 23306 21500 83 | 0.000 % |
106.40/106.57 c | 111975 | 506 30200 90118 | 23306 22222 83 | 0.000 % |
106.90/107.07 c | 112767 | 506 30200 90118 | 23306 23014 83 | 0.000 % |
107.20/107.38 c | 113640 | 506 30200 90118 | 23306 21405 83 | 0.000 % |
108.30/108.43 c | 114598 | 506 30200 90118 | 23306 22363 84 | 0.000 % |
109.10/109.26 c | 115651 | 506 30200 90118 | 23306 23416 85 | 0.000 % |
110.10/110.28 c | 116811 | 506 30200 90118 | 23306 21849 85 | 0.000 % |
111.10/111.28 c | 118088 | 506 30200 90118 | 23306 23126 86 | 0.000 % |
111.30/111.45 c | 118191 | 506 30200 90118 | 23306 23229 86 | 0.000 % |
111.50/111.61 c | 118301 | 506 30200 90118 | 23306 23339 86 | 0.000 % |
111.60/111.73 c | 118422 | 506 30200 90118 | 23306 20562 85 | 0.000 % |
111.80/111.91 c | 118555 | 506 30200 90118 | 23306 20695 85 | 0.000 % |
112.00/112.11 c | 118709 | 506 30200 90118 | 23306 20849 85 | 0.000 % |
112.10/112.22 c | 118873 | 506 30200 90118 | 23306 21013 85 | 0.000 % |
112.20/112.38 c | 119049 | 506 30200 90118 | 23306 21189 85 | 0.000 % |
112.40/112.59 c | 119242 | 506 30200 90118 | 23306 21382 85 | 0.000 % |
112.60/112.78 c | 119454 | 506 30200 90118 | 23306 21594 86 | 0.000 % |
112.80/112.99 c | 119689 | 506 30200 90118 | 23306 21829 86 | 0.000 % |
113.20/113.36 c | 119947 | 506 30200 90118 | 23306 22087 86 | 0.000 % |
113.30/113.48 c | 120228 | 506 30200 90118 | 22141 19683 86 | 0.000 % |
113.60/113.75 c | 120539 | 506 30200 90118 | 22141 19994 86 | 0.000 % |
113.80/113.96 c | 120878 | 506 30200 90118 | 22141 20333 86 | 0.000 % |
114.10/114.27 c | 121250 | 506 30200 90118 | 22141 20705 86 | 0.000 % |
114.50/114.69 c | 121661 | 506 30200 90118 | 22141 21116 86 | 0.000 % |
115.10/115.20 c | 122114 | 506 30200 90118 | 22141 21569 86 | 0.000 % |
115.40/115.55 c | 122607 | 506 30200 90118 | 22141 22062 86 | 0.000 % |
115.90/116.03 c | 123150 | 506 30200 90118 | 22141 20159 86 | 0.000 % |
116.40/116.54 c | 123746 | 506 30200 90118 | 22141 20755 86 | 0.000 % |
117.20/117.30 c | 124403 | 506 30200 90118 | 22141 21412 86 | 0.000 % |
117.70/117.89 c | 125124 | 506 30200 90118 | 22141 22133 87 | 0.000 % |
118.40/118.56 c | 125916 | 506 30200 90118 | 22141 20422 87 | 0.000 % |
119.00/119.14 c | 126787 | 506 30200 90118 | 22141 21293 87 | 0.000 % |
119.60/119.73 c | 127745 | 506 30200 90118 | 22141 22251 87 | 0.000 % |
120.39/120.54 c | 128798 | 506 30200 90118 | 22141 20890 86 | 0.000 % |
120.90/121.07 c | 129956 | 506 30200 90118 | 22141 22048 86 | 0.000 % |
122.00/122.13 c | 131230 | 506 30200 90118 | 22093 20841 83 | 0.000 % |
123.10/123.22 c | 132630 | 506 30200 90118 | 22093 22241 84 | 0.000 % |
123.19/123.35 c | 132730 | 506 30200 90118 | 22093 20117 83 | 0.000 % |
123.39/123.50 c | 132840 | 506 30200 90118 | 22093 20227 83 | 0.000 % |
123.49/123.65 c | 132962 | 506 30200 90118 | 22093 20349 83 | 0.000 % |
123.69/123.85 c | 133097 | 506 30200 90118 | 22093 20484 83 | 0.000 % |
123.79/123.96 c | 133243 | 506 30200 90118 | 22093 20630 83 | 0.000 % |
123.99/124.11 c | 133403 | 506 30200 90118 | 22093 20790 83 | 0.000 % |
124.10/124.24 c | 133580 | 506 30200 90118 | 22093 20967 83 | 0.000 % |
124.29/124.41 c | 133774 | 506 30200 90118 | 22093 21161 83 | 0.000 % |
124.39/124.59 c | 133988 | 506 30200 90118 | 22093 21375 83 | 0.000 % |
124.69/124.81 c | 134223 | 506 30200 90118 | 22093 21610 83 | 0.000 % |
124.89/125.05 c | 134480 | 506 30200 90118 | 22093 21867 83 | 0.000 % |
125.09/125.25 c | 134763 | 506 30200 90118 | 22093 22150 83 | 0.000 % |
125.29/125.46 c | 135073 | 506 30200 90118 | 22093 20245 81 | 0.000 % |
125.59/125.77 c | 135414 | 506 30200 90118 | 22093 20586 81 | 0.000 % |
125.99/126.11 c | 135786 | 506 30200 90118 | 22093 20958 82 | 0.000 % |
126.39/126.53 c | 136195 | 506 30200 90118 | 22093 21367 82 | 0.000 % |
126.79/126.99 c | 136644 | 506 30200 90118 | 22093 21816 82 | 0.000 % |
127.39/127.50 c | 137139 | 506 30200 90118 | 22093 22311 82 | 0.000 % |
127.99/128.13 c | 137681 | 506 30200 90118 | 22093 20622 82 | 0.000 % |
128.50/128.60 c | 138281 | 506 30200 90118 | 22093 21222 82 | 0.000 % |
128.69/128.86 c | 138936 | 506 30200 90118 | 22093 21877 83 | 0.000 % |
129.39/129.57 c | 139658 | 506 30200 90118 | 22093 20264 81 | 0.000 % |
130.09/130.27 c | 140450 | 506 30200 90118 | 20607 18780 81 | 0.000 % |
130.49/130.65 c | 141322 | 506 30200 90118 | 20607 19652 81 | 0.000 % |
130.99/131.15 c | 142281 | 506 30200 90118 | 20607 20611 82 | 0.000 % |
131.49/131.70 c | 143334 | 506 30200 90118 | 20607 19603 82 | 0.000 % |
132.09/132.27 c | 144492 | 506 30200 90118 | 20607 20761 83 | 0.000 % |
132.79/132.98 c | 145765 | 506 30200 90118 | 20607 19958 84 | 0.000 % |
133.49/133.69 c | 147165 | 506 30200 90118 | 20607 19267 84 | 0.000 % |
134.59/134.77 c | 148705 | 506 30200 90118 | 20607 18729 85 | 0.000 % |
134.79/134.90 c | 148806 | 506 30200 90118 | 20607 18830 85 | 0.000 % |
134.89/135.02 c | 148916 | 506 30200 90118 | 20607 18940 85 | 0.000 % |
134.99/135.15 c | 149042 | 506 30200 90118 | 20607 19066 85 | 0.000 % |
135.09/135.27 c | 149175 | 506 30200 90118 | 20607 19199 85 | 0.000 % |
135.29/135.42 c | 149321 | 506 30200 90118 | 20607 19345 85 | 0.000 % |
135.39/135.57 c | 149482 | 506 30200 90118 | 20607 19506 85 | 0.000 % |
135.49/135.66 c | 149658 | 506 30200 90118 | 20607 19682 85 | 0.000 % |
135.59/135.78 c | 149852 | 506 30200 90118 | 20607 19876 85 | 0.000 % |
135.89/136.02 c | 150064 | 506 30200 90118 | 2147483647 20088 85 | 0.000 % |
136.09/136.28 c | 150297 | 506 30200 90118 | 2147483647 20321 86 | 0.000 % |
136.29/136.49 c | 150555 | 506 30200 90118 | 2147483647 20579 86 | 0.000 % |
136.69/136.86 c | 150836 | 506 30200 90118 | 2147483647 20860 86 | 0.000 % |
136.99/137.14 c | 151145 | 506 30200 90118 | 2147483647 21169 86 | 0.000 % |
137.29/137.50 c | 151484 | 506 30200 90118 | 2147483647 21508 86 | 0.000 % |
137.49/137.63 c | 151856 | 506 30200 90118 | 2147483647 21880 86 | 0.000 % |
137.79/137.99 c | 152266 | 506 30200 90118 | 2147483647 22290 86 | 0.000 % |
138.29/138.45 c | 152718 | 506 30200 90118 | 2147483647 22742 86 | 0.000 % |
138.79/138.91 c | 153212 | 506 30200 90118 | 2147483647 23236 86 | 0.000 % |
139.19/139.36 c | 153754 | 506 30200 90118 | 2147483647 23778 86 | 0.000 % |
139.79/139.91 c | 154354 | 506 30200 90118 | 2147483647 24378 87 | 0.000 % |
140.39/140.56 c | 155010 | 506 30200 90118 | 2147483647 25034 87 | 0.000 % |
140.99/141.14 c | 155732 | 506 30200 90118 | 2147483647 25756 87 | 0.000 % |
141.89/142.04 c | 156526 | 506 30200 90118 | 2147483647 26550 87 | 0.000 % |
142.69/142.89 c | 157397 | 506 30200 90118 | 2147483647 27421 87 | 0.000 % |
143.59/143.79 c | 158358 | 506 30200 90118 | 2147483647 28382 88 | 0.000 % |
144.88/145.01 c | 159411 | 506 30200 90118 | 2147483647 29435 88 | 0.000 % |
146.69/146.81 c | 160569 | 506 30200 90118 | 30025 25395 86 | 0.000 % |
147.78/147.90 c | 161844 | 506 30200 90118 | 30025 26670 87 | 0.000 % |
149.39/149.58 c | 163246 | 506 30200 90118 | 30025 28072 86 | 0.000 % |
150.68/150.82 c | 164787 | 506 30200 90118 | 30025 29613 87 | 0.000 % |
152.38/152.59 c | 166482 | 506 30200 90118 | 30025 25559 84 | 0.000 % |
152.58/152.72 c | 166584 | 506 30200 90118 | 30025 25661 85 | 0.000 % |
152.69/152.88 c | 166696 | 506 30200 90118 | 30025 25773 84 | 0.000 % |
152.88/153.00 c | 166818 | 506 30200 90118 | 30025 25895 84 | 0.000 % |
153.08/153.23 c | 166951 | 506 30200 90118 | 30025 26028 84 | 0.000 % |
153.28/153.42 c | 167097 | 506 30200 90118 | 30025 26174 84 | 0.000 % |
153.38/153.58 c | 167260 | 506 30200 90118 | 30025 26337 84 | 0.000 % |
153.58/153.72 c | 167439 | 506 30200 90118 | 30025 26516 84 | 0.000 % |
153.68/153.90 c | 167633 | 506 30200 90118 | 30025 26710 84 | 0.000 % |
153.98/154.10 c | 167845 | 506 30200 90118 | 30025 26922 84 | 0.000 % |
154.18/154.38 c | 168078 | 506 30200 90118 | 30025 27155 84 | 0.000 % |
154.39/154.59 c | 168334 | 506 30200 90118 | 30025 27411 84 | 0.000 % |
154.69/154.88 c | 168615 | 506 30200 90118 | 30025 27692 84 | 0.000 % |
155.00/155.15 c | 168924 | 506 30200 90118 | 30025 28001 84 | 0.000 % |
155.29/155.46 c | 169263 | 506 30200 90118 | 30025 28340 84 | 0.000 % |
155.69/155.80 c | 169635 | 506 30200 90118 | 30025 28712 84 | 0.000 % |
156.09/156.28 c | 170048 | 506 30200 90118 | 29077 29125 84 | 0.000 % |
156.59/156.73 c | 170497 | 506 30200 90118 | 29077 24438 82 | 0.000 % |
157.19/157.32 c | 170993 | 506 30200 90118 | 29077 24934 83 | 0.000 % |
157.89/158.01 c | 171537 | 506 30200 90118 | 29077 25478 83 | 0.000 % |
158.49/158.68 c | 172134 | 506 30200 90118 | 29077 26075 82 | 0.000 % |
159.29/159.45 c | 172790 | 506 30200 90118 | 29077 26731 83 | 0.000 % |
160.19/160.31 c | 173510 | 506 30200 90118 | 29077 27451 83 | 0.000 % |
160.89/161.08 c | 174305 | 506 30200 90118 | 29077 28246 83 | 0.000 % |
161.79/161.93 c | 175177 | 506 30200 90118 | 29077 29118 83 | 0.000 % |
162.99/163.18 c | 176135 | 506 30200 90118 | 29077 24772 80 | 0.000 % |
164.09/164.25 c | 177189 | 506 30200 90118 | 29077 25826 80 | 0.000 % |
165.09/165.24 c | 178347 | 506 30200 90118 | 29077 26984 81 | 0.000 % |
166.28/166.46 c | 179622 | 506 30200 90118 | 29077 28259 81 | 0.000 % |
167.08/167.20 c | 181022 | 506 30200 90118 | 28638 24366 80 | 0.000 % |
168.98/169.12 c | 182562 | 506 30200 90118 | 28638 25906 82 | 0.000 % |
170.68/170.87 c | 184257 | 506 30200 90118 | 28638 27601 83 | 0.000 % |
172.88/173.07 c | 186121 | 506 30200 90118 | 28638 23394 82 | 0.000 % |
172.98/173.19 c | 186222 | 506 30200 90118 | 28638 23495 82 | 0.000 % |
173.18/173.34 c | 186332 | 506 30200 90118 | 28638 23605 82 | 0.000 % |
173.28/173.45 c | 186453 | 506 30200 90118 | 28638 23726 82 | 0.000 % |
173.48/173.62 c | 186586 | 506 30200 90118 | 28638 23859 82 | 0.000 % |
173.58/173.78 c | 186733 | 506 30200 90118 | 28638 24006 82 | 0.000 % |
173.78/173.95 c | 186895 | 506 30200 90118 | 28638 24168 82 | 0.000 % |
173.98/174.16 c | 187071 | 506 30200 90118 | 28638 24344 82 | 0.000 % |
174.28/174.44 c | 187264 | 506 30200 90118 | 28638 24537 82 | 0.000 % |
174.58/174.72 c | 187477 | 506 30200 90118 | 28638 24750 82 | 0.000 % |
174.78/174.94 c | 187710 | 506 30200 90118 | 28638 24983 82 | 0.000 % |
175.08/175.24 c | 187966 | 506 30200 90118 | 28638 25239 82 | 0.000 % |
175.38/175.51 c | 188248 | 506 30200 90118 | 28638 25521 82 | 0.000 % |
175.58/175.77 c | 188559 | 506 30200 90118 | 28638 25832 82 | 0.000 % |
175.88/176.07 c | 188898 | 506 30200 90118 | 28638 26171 82 | 0.000 % |
176.47/176.68 c | 189270 | 506 30200 90118 | 28638 26543 82 | 0.000 % |
176.98/177.16 c | 189679 | 506 30200 90118 | 28638 26952 82 | 0.000 % |
177.47/177.61 c | 190128 | 506 30200 90118 | 27276 27401 82 | 0.000 % |
177.77/177.99 c | 190622 | 506 30200 90118 | 27276 22622 81 | 0.000 % |
178.27/178.41 c | 191164 | 506 30200 90118 | 27276 23164 82 | 0.000 % |
178.87/179.01 c | 191762 | 506 30200 90118 | 27276 23762 82 | 0.000 % |
179.27/179.47 c | 192417 | 506 30200 90118 | 27276 24417 82 | 0.000 % |
179.97/180.18 c | 193139 | 506 30200 90118 | 27276 25139 82 | 0.000 % |
180.77/180.94 c | 193931 | 506 30200 90118 | 27276 25931 82 | 0.000 % |
181.67/181.89 c | 194802 | 506 30200 90118 | 27276 26802 82 | 0.000 % |
182.57/182.78 c | 195762 | 506 30200 90118 | 27276 23186 80 | 0.000 % |
183.37/183.51 c | 196817 | 506 30200 90118 | 27276 24241 80 | 0.000 % |
184.07/184.28 c | 197980 | 506 30200 90118 | 27276 25404 80 | 0.000 % |
185.17/185.34 c | 199253 | 506 30200 90118 | 27276 26677 80 | 0.000 % |
186.57/186.78 c | 200653 | 506 30200 90118 | 27426 23734 78 | 0.000 % |
188.07/188.24 c | 202197 | 506 30200 90118 | 27426 25278 78 | 0.000 % |
189.77/189.91 c | 203891 | 506 30200 90118 | 27426 26972 78 | 0.000 % |
190.97/191.20 c | 205755 | 506 30200 90118 | 27426 24421 76 | 0.000 % |
192.17/192.34 c | 207805 | 506 30200 90118 | 27426 26471 76 | 0.000 % |
192.27/192.48 c | 207906 | 506 30200 90118 | 27426 26572 76 | 0.000 % |
192.37/192.56 c | 208017 | 506 30200 90118 | 27426 26683 76 | 0.000 % |
192.66/192.80 c | 208138 | 506 30200 90118 | 27426 26804 77 | 0.000 % |
192.76/192.90 c | 208276 | 506 30200 90118 | 27426 26942 77 | 0.000 % |
192.96/193.14 c | 208425 | 506 30200 90118 | 27426 27091 77 | 0.000 % |
193.16/193.37 c | 208585 | 506 30200 90118 | 27426 27251 76 | 0.000 % |
193.47/193.62 c | 208764 | 506 30200 90118 | 27426 27430 76 | 0.000 % |
193.66/193.82 c | 208959 | 506 30200 90118 | 27426 23730 75 | 0.000 % |
193.76/193.95 c | 209174 | 506 30200 90118 | 27426 23945 75 | 0.000 % |
193.86/194.09 c | 209409 | 506 30200 90118 | 27426 24180 75 | 0.000 % |
194.16/194.36 c | 209665 | 506 30200 90118 | 27426 24436 76 | 0.000 % |
194.36/194.52 c | 209946 | 506 30200 90118 | 27426 24717 76 | 0.000 % |
194.56/194.72 c | 210259 | 506 30200 90118 | 24771 21620 75 | 0.000 % |
194.66/194.86 c | 210601 | 506 30200 90118 | 24771 21962 75 | 0.000 % |
194.96/195.18 c | 210973 | 506 30200 90118 | 24771 22334 75 | 0.000 % |
195.36/195.54 c | 211382 | 506 30200 90118 | 24771 22743 75 | 0.000 % |
195.66/195.89 c | 211832 | 506 30200 90118 | 24771 23193 75 | 0.000 % |
196.06/196.29 c | 212325 | 506 30200 90118 | 24771 23686 76 | 0.000 % |
196.36/196.59 c | 212867 | 506 30200 90118 | 24771 24228 76 | 0.000 % |
196.66/196.87 c | 213463 | 506 30200 90118 | 24771 24824 76 | 0.000 % |
197.16/197.39 c | 214118 | 506 30200 90118 | 24771 22823 77 | 0.000 % |
197.56/197.76 c | 214838 | 506 30200 90118 | 24771 23543 78 | 0.000 % |
198.26/198.41 c | 215630 | 506 30200 90118 | 24771 24335 78 | 0.000 % |
198.86/199.05 c | 216502 | 506 30200 90118 | 24771 22492 76 | 0.000 % |
199.56/199.72 c | 217460 | 506 30200 90118 | 24771 23450 76 | 0.000 % |
200.86/201.00 c | 218513 | 506 30200 90118 | 24771 24503 76 | 0.000 % |
201.96/202.13 c | 219673 | 506 30200 90118 | 24771 22627 75 | 0.000 % |
202.66/202.80 c | 220947 | 506 30200 90118 | 22955 21213 75 | 0.000 % |
203.26/203.42 c | 222347 | 506 30200 90118 | 22955 22613 75 | 0.000 % |
204.36/204.57 c | 223888 | 506 30200 90118 | 22955 21828 78 | 0.000 % |
206.35/206.53 c | 225584 | 506 30200 90118 | 22955 20362 79 | 0.000 % |
208.35/208.58 c | 227450 | 506 30200 90118 | 22955 22228 81 | 0.000 % |
210.25/210.47 c | 229499 | 506 30200 90118 | 22955 20020 82 | 0.000 % |
212.15/212.35 c | 231752 | 506 30200 90118 | 20521 18282 86 | 0.000 % |
212.25/212.46 c | 231852 | 506 30200 90118 | 20521 18382 86 | 0.000 % |
212.35/212.59 c | 231966 | 506 30200 90118 | 20521 18496 86 | 0.000 % |
212.55/212.73 c | 232089 | 506 30200 90118 | 20521 18619 86 | 0.000 % |
212.65/212.87 c | 232225 | 506 30200 90118 | 20521 18755 86 | 0.000 % |
212.85/213.02 c | 232372 | 506 30200 90118 | 20521 18902 86 | 0.000 % |
212.95/213.12 c | 232532 | 506 30200 90118 | 20521 19062 86 | 0.000 % |
213.05/213.28 c | 232708 | 506 30200 90118 | 20521 19238 86 | 0.000 % |
213.25/213.42 c | 232902 | 506 30200 90118 | 20521 19432 86 | 0.000 % |
213.45/213.62 c | 233115 | 506 30200 90118 | 20521 19645 86 | 0.000 % |
213.65/213.85 c | 233348 | 506 30200 90118 | 20521 19878 86 | 0.000 % |
213.84/214.06 c | 233605 | 506 30200 90118 | 20521 20135 86 | 0.000 % |
214.04/214.28 c | 233886 | 506 30200 90118 | 20521 20416 86 | 0.000 % |
214.25/214.47 c | 234197 | 506 30200 90118 | 20521 20727 86 | 0.000 % |
214.44/214.69 c | 234539 | 506 30200 90118 | 20521 16880 90 | 0.000 % |
214.84/215.04 c | 234911 | 506 30200 90118 | 20521 17252 90 | 0.000 % |
215.24/215.46 c | 235320 | 506 30200 90118 | 20521 17661 91 | 0.000 % |
215.74/215.95 c | 235773 | 506 30200 90118 | 20521 18114 91 | 0.000 % |
216.24/216.41 c | 236270 | 506 30200 90118 | 20521 18611 91 | 0.000 % |
216.64/216.90 c | 236812 | 506 30200 90118 | 20521 19153 91 | 0.000 % |
217.34/217.54 c | 237408 | 506 30200 90118 | 20521 19749 92 | 0.000 % |
217.94/218.16 c | 238064 | 506 30200 90118 | 20521 20405 92 | 0.000 % |
218.64/218.82 c | 238784 | 506 30200 90118 | 20521 16913 97 | 0.000 % |
219.14/219.31 c | 239576 | 506 30200 90118 | 20521 17705 96 | 0.000 % |
219.54/219.77 c | 240447 | 506 30200 90118 | 18130 15114 93 | 0.000 % |
220.24/220.45 c | 241405 | 506 30200 90118 | 18130 16072 93 | 0.000 % |
221.04/221.28 c | 242458 | 506 30200 90118 | 18130 17125 93 | 0.000 % |
221.84/222.06 c | 243616 | 506 30200 90118 | 18130 18283 94 | 0.000 % |
222.74/222.98 c | 244891 | 506 30200 90118 | 18130 16656 92 | 0.000 % |
223.64/223.83 c | 246293 | 506 30200 90118 | 18130 18058 92 | 0.000 % |
224.94/225.15 c | 247833 | 506 30200 90118 | 18130 16971 91 | 0.000 % |
226.54/226.71 c | 249527 | 506 30200 90118 | 18130 15985 90 | 0.000 % |
227.93/228.14 c | 251390 | 506 30200 90118 | 16458 15428 89 | 0.000 % |
229.13/229.36 c | 253444 | 506 30200 90118 | 16458 15473 88 | 0.000 % |
230.53/230.72 c | 255698 | 506 30200 90118 | 16458 15975 88 | 0.000 % |
231.73/231.91 c | 258178 | 506 30200 90118 | 16458 15121 87 | 0.000 % |
231.73/231.99 c | 258279 | 506 30200 90118 | 16458 15222 87 | 0.000 % |
231.84/232.10 c | 258390 | 506 30200 90118 | 16458 15333 87 | 0.000 % |
232.03/232.23 c | 258514 | 506 30200 90118 | 16458 15457 87 | 0.000 % |
232.13/232.38 c | 258647 | 506 30200 90118 | 16458 15590 87 | 0.000 % |
232.23/232.46 c | 258793 | 506 30200 90118 | 16458 15736 87 | 0.000 % |
232.43/232.63 c | 258954 | 506 30200 90118 | 16458 15897 88 | 0.000 % |
232.53/232.77 c | 259130 | 506 30200 90118 | 16458 16073 88 | 0.000 % |
232.73/232.90 c | 259323 | 506 30200 90118 | 16458 16266 88 | 0.000 % |
232.83/233.07 c | 259535 | 506 30200 90118 | 16458 16478 88 | 0.000 % |
233.04/233.25 c | 259769 | 506 30200 90118 | 16458 15065 88 | 0.000 % |
233.23/233.44 c | 260025 | 506 30200 90118 | 2147483647 15321 88 | 0.000 % |
233.53/233.73 c | 260306 | 506 30200 90118 | 2147483647 15602 88 | 0.000 % |
233.83/234.09 c | 260616 | 506 30200 90118 | 2147483647 15912 89 | 0.000 % |
234.23/234.43 c | 260955 | 506 30200 90118 | 2147483647 16251 89 | 0.000 % |
234.63/234.86 c | 261328 | 506 30200 90118 | 2147483647 16624 89 | 0.000 % |
235.03/235.25 c | 261737 | 506 30200 90118 | 2147483647 17033 89 | 0.000 % |
235.53/235.77 c | 262186 | 506 30200 90118 | 2147483647 17482 90 | 0.000 % |
236.13/236.34 c | 262680 | 506 30200 90118 | 2147483647 17976 90 | 0.000 % |
236.73/236.95 c | 263222 | 506 30200 90118 | 2147483647 18518 90 | 0.000 % |
237.33/237.51 c | 263819 | 506 30200 90118 | 2147483647 19115 90 | 0.000 % |
237.93/238.19 c | 264476 | 506 30200 90118 | 2147483647 19772 90 | 0.000 % |
238.83/239.09 c | 265196 | 506 30200 90118 | 2147483647 20492 91 | 0.000 % |
239.53/239.76 c | 265988 | 506 30200 90118 | 2147483647 21284 91 | 0.000 % |
240.33/240.56 c | 266861 | 506 30200 90118 | 2147483647 22157 91 | 0.000 % |
241.33/241.50 c | 267822 | 506 30200 90118 | 2147483647 23118 91 | 0.000 % |
242.63/242.81 c | 268875 | 506 30200 90118 | 2147483647 24171 91 | 0.000 % |
243.82/244.07 c | 270033 | 506 30200 90118 | 25296 25329 91 | 0.000 % |
245.22/245.42 c | 271308 | 506 30200 90118 | 25296 21970 89 | 0.000 % |
246.32/246.52 c | 272708 | 506 30200 90118 | 25296 23370 89 | 0.000 % |
247.72/247.97 c | 274248 | 506 30200 90118 | 25296 24910 89 | 0.000 % |
248.63/248.80 c | 275943 | 506 30200 90118 | 25296 21896 87 | 0.000 % |
249.62/249.80 c | 277809 | 506 30200 90118 | 25296 23762 87 | 0.000 % |
250.53/250.78 c | 279858 | 506 30200 90118 | 25296 21576 84 | 0.000 % |
251.73/251.93 c | 282111 | 506 30200 90118 | 21720 20394 82 | 0.000 % |
253.32/253.58 c | 284589 | 506 30200 90118 | 21720 20012 81 | 0.000 % |
255.42/255.61 c | 287314 | 506 30200 90118 | 21720 19444 83 | 0.000 % |
255.42/255.66 c | 287418 | 506 30200 90118 | 21720 19548 83 | 0.000 % |
255.52/255.71 c | 287528 | 506 30200 90118 | 21720 19658 83 | 0.000 % |
255.62/255.80 c | 287651 | 506 30200 90118 | 21720 19781 83 | 0.000 % |
255.62/255.86 c | 287784 | 506 30200 90118 | 21720 19914 84 | 0.000 % |
255.72/255.95 c | 287930 | 506 30200 90118 | 21720 20060 84 | 0.000 % |
255.82/256.05 c | 288092 | 506 30200 90118 | 21720 20222 84 | 0.000 % |
255.92/256.16 c | 288268 | 506 30200 90118 | 21720 20398 84 | 0.000 % |
256.02/256.28 c | 288462 | 506 30200 90118 | 21720 20592 84 | 0.000 % |
256.22/256.44 c | 288674 | 506 30200 90118 | 21720 20804 85 | 0.000 % |
256.32/256.55 c | 288910 | 506 30200 90118 | 21720 21040 85 | 0.000 % |
256.52/256.73 c | 289166 | 506 30200 90118 | 21720 21296 85 | 0.000 % |
256.72/256.93 c | 289450 | 506 30200 90118 | 21720 21580 85 | 0.000 % |
256.92/257.15 c | 289760 | 506 30200 90118 | 21720 21890 86 | 0.000 % |
257.12/257.36 c | 290103 | 506 30200 90118 | 18901 19001 85 | 0.000 % |
257.32/257.53 c | 290476 | 506 30200 90118 | 18901 16612 87 | 0.000 % |
257.52/257.77 c | 290886 | 506 30200 90118 | 18901 17022 87 | 0.000 % |
257.72/257.93 c | 291335 | 506 30200 90118 | 18901 17471 87 | 0.000 % |
257.92/258.17 c | 291831 | 506 30200 90118 | 18901 17967 88 | 0.000 % |
258.32/258.50 c | 292373 | 506 30200 90118 | 18901 18509 88 | 0.000 % |
258.71/258.95 c | 292971 | 506 30200 90118 | 18901 16732 89 | 0.000 % |
259.11/259.34 c | 293626 | 506 30200 90118 | 18901 17387 89 | 0.000 % |
259.61/259.82 c | 294348 | 506 30200 90118 | 18901 18109 90 | 0.000 % |
260.21/260.40 c | 295143 | 506 30200 90118 | 18901 18904 90 | 0.000 % |
260.81/261.08 c | 296015 | 506 30200 90118 | 18901 17529 92 | 0.000 % |
261.71/261.96 c | 296973 | 506 30200 90118 | 18901 18487 92 | 0.000 % |
262.62/262.83 c | 298027 | 506 30200 90118 | 18901 17196 94 | 0.000 % |
263.41/263.69 c | 299185 | 506 30200 90118 | 18901 18354 94 | 0.000 % |
264.21/264.41 c | 300458 | 506 30200 90118 | 19169 17255 93 | 0.000 % |
264.71/264.96 c | 301858 | 506 30200 90118 | 19169 18655 92 | 0.000 % |
265.91/266.13 c | 303398 | 506 30200 90118 | 19169 18253 90 | 0.000 % |
266.91/267.17 c | 305092 | 506 30200 90118 | 19169 18004 89 | 0.000 % |
268.31/268.54 c | 306957 | 506 30200 90118 | 19169 17933 89 | 0.000 % |
269.81/270.04 c | 309009 | 506 30200 90118 | 19169 17991 89 | 0.000 % |
271.41/271.61 c | 311263 | 506 30200 90118 | 18982 18259 89 | 0.000 % |
272.51/272.78 c | 313741 | 506 30200 90118 | 18982 18840 88 | 0.000 % |
273.81/274.06 c | 316467 | 506 30200 90118 | 18982 17779 89 | 0.000 % |
276.81/277.07 c | 319465 | 506 30200 90118 | 18982 18884 87 | 0.000 % |
276.91/277.15 c | 319566 | 506 30200 90118 | 18982 18985 87 | 0.000 % |
277.01/277.27 c | 319676 | 506 30200 90118 | 18982 17197 86 | 0.000 % |
277.11/277.39 c | 319798 | 506 30200 90118 | 18982 17319 86 | 0.000 % |
277.30/277.57 c | 319935 | 506 30200 90118 | 18982 17456 86 | 0.000 % |
277.40/277.68 c | 320081 | 506 30200 90118 | 2147483647 17602 86 | 0.000 % |
277.50/277.80 c | 320241 | 506 30200 90118 | 2147483647 17762 86 | 0.000 % |
277.70/277.99 c | 320417 | 506 30200 90118 | 2147483647 17938 86 | 0.000 % |
278.01/278.22 c | 320612 | 506 30200 90118 | 2147483647 18133 86 | 0.000 % |
278.11/278.37 c | 320825 | 506 30200 90118 | 2147483647 18346 86 | 0.000 % |
278.30/278.57 c | 321063 | 506 30200 90118 | 2147483647 18584 86 | 0.000 % |
278.70/278.93 c | 321320 | 506 30200 90118 | 2147483647 18841 86 | 0.000 % |
278.80/279.08 c | 321602 | 506 30200 90118 | 2147483647 19123 86 | 0.000 % |
279.21/279.44 c | 321913 | 506 30200 90118 | 2147483647 19434 86 | 0.000 % |
279.60/279.81 c | 322254 | 506 30200 90118 | 2147483647 19775 85 | 0.000 % |
280.00/280.26 c | 322627 | 506 30200 90118 | 2147483647 20148 85 | 0.000 % |
280.21/280.48 c | 323038 | 506 30200 90118 | 2147483647 20559 85 | 0.000 % |
280.91/281.13 c | 323489 | 506 30200 90118 | 2147483647 21010 86 | 0.000 % |
281.81/282.09 c | 323982 | 506 30200 90118 | 2147483647 21503 86 | 0.000 % |
282.71/282.93 c | 324526 | 506 30200 90118 | 2147483647 22047 86 | 0.000 % |
283.51/283.77 c | 325123 | 506 30200 90118 | 2147483647 22644 87 | 0.000 % |
285.01/285.29 c | 325780 | 506 30200 90118 | 2147483647 23301 87 | 0.000 % |
286.41/286.69 c | 326501 | 506 30200 90118 | 2147483647 24022 88 | 0.000 % |
288.20/288.42 c | 327293 | 506 30200 90118 | 2147483647 24814 88 | 0.000 % |
289.80/290.02 c | 328164 | 506 30200 90118 | 2147483647 25685 89 | 0.000 % |
291.00/291.24 c | 329122 | 506 30200 90118 | 2147483647 26643 89 | 0.000 % |
293.20/293.44 c | 330177 | 506 30200 90118 | 27522 27698 90 | 0.000 % |
294.61/294.84 c | 331342 | 506 30200 90118 | 27522 21706 89 | 0.000 % |
296.10/296.33 c | 332616 | 506 30200 90118 | 27522 22980 89 | 0.000 % |
297.60/297.83 c | 334016 | 506 30200 90118 | 27522 24380 89 | 0.000 % |
300.00/300.25 c | 335557 | 506 30200 90118 | 27522 25921 90 | 0.000 % |
302.39/302.61 c | 337252 | 506 30200 90118 | 27522 27616 90 | 0.000 % |
303.69/303.98 c | 339115 | 506 30200 90118 | 27522 22207 90 | 0.000 % |
306.09/306.38 c | 341165 | 506 30200 90118 | 23093 18454 93 | 0.000 % |
308.49/308.73 c | 343418 | 506 30200 90118 | 23093 20707 94 | 0.000 % |
311.79/312.05 c | 345897 | 506 30200 90118 | 23093 23186 94 | 0.000 % |
314.99/315.22 c | 348625 | 506 30200 90118 | 23093 19920 91 | 0.000 % |
317.89/318.11 c | 351622 | 506 30200 90118 | 21295 17678 91 | 0.000 % |
320.39/320.67 c | 354922 | 506 30200 90118 | 21295 20978 91 | 0.000 % |
320.49/320.74 c | 355023 | 506 30200 90118 | 21295 21079 91 | 0.000 % |
320.59/320.80 c | 355134 | 506 30200 90118 | 21295 21190 91 | 0.000 % |
320.59/320.87 c | 355258 | 506 30200 90118 | 21295 21314 91 | 0.000 % |
320.69/320.95 c | 355391 | 506 30200 90118 | 21295 17429 89 | 0.000 % |
320.79/321.00 c | 355537 | 506 30200 90118 | 21295 17575 89 | 0.000 % |
320.79/321.07 c | 355701 | 506 30200 90118 | 21295 17739 89 | 0.000 % |
320.89/321.14 c | 355879 | 506 30200 90118 | 21295 17917 89 | 0.000 % |
320.99/321.24 c | 356073 | 506 30200 90118 | 21295 18111 89 | 0.000 % |
321.09/321.34 c | 356285 | 506 30200 90118 | 21295 18323 89 | 0.000 % |
321.19/321.46 c | 356518 | 506 30200 90118 | 21295 18556 89 | 0.000 % |
321.39/321.62 c | 356774 | 506 30200 90118 | 21295 18812 89 | 0.000 % |
321.49/321.73 c | 357055 | 506 30200 90118 | 21295 19093 89 | 0.000 % |
321.69/321.92 c | 357367 | 506 30200 90118 | 21295 19405 90 | 0.000 % |
321.89/322.15 c | 357707 | 506 30200 90118 | 21295 19745 90 | 0.000 % |
322.09/322.34 c | 358079 | 506 30200 90118 | 21295 20117 90 | 0.000 % |
322.29/322.59 c | 358488 | 506 30200 90118 | 21295 20526 90 | 0.000 % |
322.59/322.83 c | 358939 | 506 30200 90118 | 21295 20977 90 | 0.000 % |
322.89/323.15 c | 359432 | 506 30200 90118 | 21295 21470 89 | 0.000 % |
323.29/323.51 c | 359975 | 506 30200 90118 | 21295 18761 87 | 0.000 % |
323.69/323.90 c | 360571 | 506 30200 90118 | 18787 16676 85 | 0.000 % |
323.89/324.13 c | 361226 | 506 30200 90118 | 18787 17331 86 | 0.000 % |
324.69/324.96 c | 361946 | 506 30200 90118 | 18787 18051 86 | 0.000 % |
325.59/325.82 c | 362743 | 506 30200 90118 | 18787 18848 87 | 0.000 % |
326.19/326.46 c | 363615 | 506 30200 90118 | 18787 16985 87 | 0.000 % |
327.09/327.31 c | 364574 | 506 30200 90118 | 18787 17944 87 | 0.000 % |
328.19/328.40 c | 365627 | 506 30200 90118 | 18787 16274 88 | 0.000 % |
329.08/329.32 c | 366788 | 506 30200 90118 | 18787 17435 89 | 0.000 % |
330.18/330.49 c | 368065 | 506 30200 90118 | 18787 18712 89 | 0.000 % |
331.78/332.01 c | 369465 | 506 30200 90118 | 18787 17419 91 | 0.000 % |
332.88/333.13 c | 371005 | 506 30200 90118 | 17954 16612 91 | 0.000 % |
334.29/334.53 c | 372700 | 506 30200 90118 | 17954 16319 92 | 0.000 % |
335.58/335.88 c | 374565 | 506 30200 90118 | 17954 18184 93 | 0.000 % |
337.28/337.59 c | 376614 | 506 30200 90118 | 17954 16557 92 | 0.000 % |
339.08/339.32 c | 378867 | 506 30200 90118 | 17954 17000 90 | 0.000 % |
341.18/341.47 c | 381346 | 506 30200 90118 | 2147483647 19479 91 | 0.000 % |
343.28/343.59 c | 384073 | 506 30200 90118 | 2147483647 22206 89 | 0.000 % |
344.18/344.43 c | 387070 | 506 30200 90118 | 2147483647 25203 90 | 0.000 % |
345.18/345.43 c | 390366 | 506 30200 90118 | 2147483647 28499 91 | 0.000 % |
352.58/352.88 c | 393993 | 506 30200 90118 | 2147483647 32126 92 | 0.000 % |
352.98/353.21 c | 394096 | 506 30200 90118 | 2147483647 32229 92 | 0.000 % |
353.18/353.49 c | 394206 | 506 30200 90118 | 2147483647 32339 92 | 0.000 % |
353.38/353.70 c | 394330 | 506 30200 90118 | 2147483647 32463 92 | 0.000 % |
353.88/354.14 c | 394464 | 506 30200 90118 | 2147483647 32597 93 | 0.000 % |
354.17/354.48 c | 394611 | 506 30200 90118 | 2147483647 32744 93 | 0.000 % |
354.47/354.79 c | 394772 | 506 30200 90118 | 2147483647 32905 93 | 0.000 % |
355.17/355.43 c | 394948 | 506 30200 90118 | 2147483647 33081 93 | 0.000 % |
355.77/356.01 c | 395141 | 506 30200 90118 | 2147483647 33274 93 | 0.000 % |
355.77/356.09 c | 395353 | 506 30200 90118 | 2147483647 33486 93 | 0.000 % |
356.67/356.94 c | 395586 | 506 30200 90118 | 2147483647 33719 93 | 0.000 % |
357.47/357.78 c | 395845 | 506 30200 90118 | 2147483647 33978 93 | 0.000 % |
358.37/358.68 c | 396130 | 506 30200 90118 | 2147483647 34263 93 | 0.000 % |
359.27/359.56 c | 396439 | 506 30200 90118 | 2147483647 34572 93 | 0.000 % |
360.17/360.45 c | 396779 | 506 30200 90118 | 2147483647 34912 94 | 0.000 % |
360.77/361.06 c | 397153 | 506 30200 90118 | 2147483647 35286 94 | 0.000 % |
362.17/362.44 c | 397563 | 506 30200 90118 | 2147483647 35696 94 | 0.000 % |
363.26/363.52 c | 398012 | 506 30200 90118 | 2147483647 36145 94 | 0.000 % |
364.56/364.81 c | 398505 | 506 30200 90118 | 2147483647 36638 94 | 0.000 % |
365.86/366.17 c | 399047 | 506 30200 90118 | 2147483647 37180 94 | 0.000 % |
366.86/367.19 c | 399643 | 506 30200 90118 | 2147483647 37776 94 | 0.000 % |
367.77/368.05 c | 400298 | 506 30200 90118 | 38135 38431 94 | 0.000 % |
369.17/369.49 c | 401018 | 506 30200 90118 | 38135 25154 92 | 0.000 % |
370.87/371.18 c | 401812 | 506 30200 90118 | 38135 25948 92 | 0.000 % |
372.67/372.94 c | 402683 | 506 30200 90118 | 38135 26819 92 | 0.000 % |
374.26/374.53 c | 403641 | 506 30200 90118 | 38135 27777 93 | 0.000 % |
375.97/376.26 c | 404694 | 506 30200 90118 | 38135 28830 93 | 0.000 % |
378.56/378.87 c | 405854 | 506 30200 90118 | 38135 29990 94 | 0.000 % |
381.06/381.35 c | 407128 | 506 30200 90118 | 38135 31264 94 | 0.000 % |
383.76/384.05 c | 408530 | 506 30200 90118 | 38135 32666 94 | 0.000 % |
387.06/387.32 c | 410073 | 506 30200 90118 | 34137 34209 95 | 0.000 % |
389.36/389.63 c | 411767 | 506 30200 90118 | 34137 23792 98 | 0.000 % |
392.36/392.70 c | 413632 | 506 30200 90118 | 34137 25657 98 | 0.000 % |
396.55/396.85 c | 415681 | 506 30200 90118 | 34137 27706 98 | 0.000 % |
400.25/400.57 c | 417934 | 506 30200 90118 | 34137 29959 98 | 0.000 % |
402.55/402.86 c | 420415 | 506 30200 90118 | 32025 22605 95 | 0.000 % |
405.66/405.91 c | 423141 | 506 30200 90118 | 32025 25331 94 | 0.000 % |
409.55/409.81 c | 426139 | 506 30200 90118 | 32025 28329 95 | 0.000 % |
413.95/414.26 c | 429435 | 506 30200 90118 | 32025 31625 95 | 0.000 % |
418.05/418.38 c | 433060 | 506 30200 90118 | 32191 25288 93 | 0.000 % |
422.15/422.48 c | 437047 | 506 30200 90118 | 32191 29275 95 | 0.000 % |
422.34/422.68 c | 437147 | 506 30200 90118 | 32191 29375 95 | 0.000 % |
422.54/422.84 c | 437257 | 506 30200 90118 | 32191 29485 95 | 0.000 % |
422.74/423.00 c | 437379 | 506 30200 90118 | 32191 29607 95 | 0.000 % |
422.84/423.15 c | 437512 | 506 30200 90118 | 32191 29740 95 | 0.000 % |
423.04/423.40 c | 437663 | 506 30200 90118 | 32191 29891 95 | 0.000 % |
423.34/423.68 c | 437823 | 506 30200 90118 | 32191 30051 96 | 0.000 % |
423.64/423.91 c | 437999 | 506 30200 90118 | 32191 30227 96 | 0.000 % |
423.84/424.14 c | 438195 | 506 30200 90118 | 32191 30423 96 | 0.000 % |
424.04/424.39 c | 438408 | 506 30200 90118 | 32191 30636 96 | 0.000 % |
424.44/424.70 c | 438641 | 506 30200 90118 | 32191 30869 96 | 0.000 % |
424.94/425.21 c | 438899 | 506 30200 90118 | 32191 31127 96 | 0.000 % |
425.54/425.82 c | 439181 | 506 30200 90118 | 32191 31409 96 | 0.000 % |
425.94/426.26 c | 439490 | 506 30200 90118 | 32191 31718 96 | 0.000 % |
426.64/426.90 c | 439830 | 506 30200 90118 | 32191 32058 96 | 0.000 % |
427.24/427.58 c | 440203 | 506 30200 90118 | 32228 23295 96 | 0.000 % |
427.84/428.10 c | 440612 | 506 30200 90118 | 32228 23704 96 | 0.000 % |
428.24/428.56 c | 441062 | 506 30200 90118 | 32228 24154 96 | 0.000 % |
428.84/429.14 c | 441556 | 506 30200 90118 | 32228 24648 96 | 0.000 % |
429.64/429.97 c | 442100 | 506 30200 90118 | 32228 25192 96 | 0.000 % |
430.24/430.51 c | 442696 | 506 30200 90118 | 32228 25788 96 | 0.000 % |
430.94/431.22 c | 443352 | 506 30200 90118 | 32228 26444 96 | 0.000 % |
431.54/431.82 c | 444073 | 506 30200 90118 | 32228 27165 96 | 0.000 % |
432.44/432.79 c | 444869 | 506 30200 90118 | 32228 27961 96 | 0.000 % |
433.54/433.83 c | 445740 | 506 30200 90118 | 32228 28832 96 | 0.000 % |
434.24/434.52 c | 446698 | 506 30200 90118 | 32228 29790 96 | 0.000 % |
435.23/435.52 c | 447751 | 506 30200 90118 | 32228 30843 96 | 0.000 % |
436.43/436.77 c | 448909 | 506 30200 90118 | 32228 32001 95 | 0.000 % |
438.33/438.62 c | 450182 | 506 30200 90118 | 24834 25016 95 | 0.000 % |
439.53/439.86 c | 451583 | 506 30200 90118 | 24834 20209 91 | 0.000 % |
441.03/441.36 c | 453124 | 506 30200 90118 | 24834 21750 92 | 0.000 % |
442.63/442.91 c | 454819 | 506 30200 90118 | 24834 23445 93 | 0.000 % |
444.22/444.59 c | 456682 | 506 30200 90118 | 24834 20438 89 | 0.000 % |
445.73/446.08 c | 458731 | 506 30200 90118 | 24834 22487 90 | 0.000 % |
447.52/447.83 c | 460988 | 506 30200 90118 | 23756 20283 89 | 0.000 % |
449.12/449.43 c | 463466 | 506 30200 90118 | 23756 22761 89 | 0.000 % |
452.22/452.52 c | 466193 | 506 30200 90118 | 23756 20302 89 | 0.000 % |
454.62/454.91 c | 469190 | 506 30200 90118 | 23756 23299 92 | 0.000 % |
457.82/458.10 c | 472486 | 506 30200 90118 | 19085 17564 92 | 0.000 % |
460.42/460.71 c | 476112 | 506 30200 90118 | 19085 18085 94 | 0.000 % |
462.32/462.66 c | 480099 | 506 30200 90118 | 19337 19436 98 | 0.000 % |
465.22/465.59 c | 484485 | 506 30200 90118 | 19337 19376 98 | 0.000 % |
465.42/465.70 c | 484589 | 506 30200 90118 | 19337 17542 97 | 0.000 % |
465.52/465.82 c | 484699 | 506 30200 90118 | 19337 17652 97 | 0.000 % |
465.62/465.96 c | 484822 | 506 30200 90118 | 19337 17775 97 | 0.000 % |
465.72/466.09 c | 484955 | 506 30200 90118 | 19337 17908 97 | 0.000 % |
465.92/466.23 c | 485101 | 506 30200 90118 | 19337 18054 97 | 0.000 % |
466.12/466.40 c | 485262 | 506 30200 90118 | 19337 18215 97 | 0.000 % |
466.22/466.56 c | 485438 | 506 30200 90118 | 19337 18391 97 | 0.000 % |
466.52/466.83 c | 485634 | 506 30200 90118 | 19337 18587 97 | 0.000 % |
466.72/467.07 c | 485846 | 506 30200 90118 | 19337 18799 97 | 0.000 % |
467.02/467.30 c | 486079 | 506 30200 90118 | 19337 19032 96 | 0.000 % |
467.12/467.49 c | 486335 | 506 30200 90118 | 19337 19288 96 | 0.000 % |
467.41/467.78 c | 486616 | 506 30200 90118 | 19337 19569 96 | 0.000 % |
467.61/467.95 c | 486925 | 506 30200 90118 | 19337 17889 96 | 0.000 % |
467.91/468.23 c | 487264 | 506 30200 90118 | 19337 18228 96 | 0.000 % |
468.11/468.48 c | 487637 | 506 30200 90118 | 19337 18601 96 | 0.000 % |
468.41/468.71 c | 488046 | 506 30200 90118 | 19337 19010 96 | 0.000 % |
468.71/469.01 c | 488495 | 506 30200 90118 | 19337 19459 96 | 0.000 % |
469.01/469.30 c | 488990 | 506 30200 90118 | 19337 18009 95 | 0.000 % |
469.51/469.87 c | 489532 | 506 30200 90118 | 19337 18551 95 | 0.000 % |
470.01/470.37 c | 490131 | 506 30200 90118 | 19019 19150 95 | 0.000 % |
470.81/471.14 c | 490787 | 506 30200 90118 | 19019 17854 94 | 0.000 % |
471.41/471.77 c | 491511 | 506 30200 90118 | 19019 18578 94 | 0.000 % |
472.41/472.71 c | 492303 | 506 30200 90118 | 19019 16746 92 | 0.000 % |
473.11/473.48 c | 493176 | 506 30200 90118 | 19019 17619 92 | 0.000 % |
474.01/474.37 c | 494135 | 506 30200 90118 | 19019 18578 92 | 0.000 % |
474.61/474.99 c | 495189 | 506 30200 90118 | 19019 16752 89 | 0.000 % |
475.61/475.94 c | 496348 | 506 30200 90118 | 19019 17911 88 | 0.000 % |
476.81/477.17 c | 497621 | 506 30200 90118 | 19019 19184 89 | 0.000 % |
478.01/478.35 c | 499021 | 506 30200 90118 | 19019 17675 88 | 0.000 % |
479.41/479.77 c | 500561 | 506 30200 90118 | 18655 16302 89 | 0.000 % |
480.80/481.12 c | 502255 | 506 30200 90118 | 18655 17996 90 | 0.000 % |
482.20/482.56 c | 504119 | 506 30200 90118 | 18655 17145 90 | 0.000 % |
483.61/483.95 c | 506168 | 506 30200 90118 | 18655 16789 89 | 0.000 % |
485.20/485.52 c | 508422 | 506 30200 90118 | 18655 16438 91 | 0.000 % |
486.90/487.22 c | 510902 | 506 30200 90118 | 18016 16646 92 | 0.000 % |
488.30/488.64 c | 513629 | 506 30200 90118 | 18016 17561 92 | 0.000 % |
490.10/490.41 c | 516626 | 506 30200 90118 | 18016 16910 91 | 0.000 % |
492.90/493.28 c | 519923 | 506 30200 90118 | 18016 16551 90 | 0.000 % |
495.50/495.80 c | 523549 | 506 30200 90118 | 2147483647 20177 89 | 0.000 % |
497.60/497.94 c | 527536 | 506 30200 90118 | 2147483647 24164 88 | 0.000 % |
500.29/500.63 c | 531921 | 506 30200 90118 | 2147483647 28549 89 | 0.000 % |
509.00/509.39 c | 536744 | 506 30200 90118 | 2147483647 33372 88 | 0.000 % |
509.39/509.72 c | 536847 | 506 30200 90118 | 2147483647 33475 88 | 0.000 % |
509.49/509.84 c | 536960 | 506 30200 90118 | 2147483647 33588 88 | 0.000 % |
509.89/510.21 c | 537081 | 506 30200 90118 | 2147483647 33709 88 | 0.000 % |
510.29/510.60 c | 537216 | 506 30200 90118 | 2147483647 33844 88 | 0.000 % |
510.59/510.96 c | 537363 | 506 30200 90118 | 2147483647 33991 88 | 0.000 % |
510.89/511.23 c | 537525 | 506 30200 90118 | 2147483647 34153 89 | 0.000 % |
511.39/511.72 c | 537701 | 506 30200 90118 | 2147483647 34329 89 | 0.000 % |
511.79/512.11 c | 537894 | 506 30200 90118 | 2147483647 34522 89 | 0.000 % |
512.59/512.92 c | 538107 | 506 30200 90118 | 2147483647 34735 89 | 0.000 % |
513.30/513.67 c | 538342 | 506 30200 90118 | 2147483647 34970 89 | 0.000 % |
513.99/514.38 c | 538598 | 506 30200 90118 | 2147483647 35226 89 | 0.000 % |
514.69/515.06 c | 538882 | 506 30200 90118 | 2147483647 35510 89 | 0.000 % |
515.59/515.93 c | 539193 | 506 30200 90118 | 2147483647 35821 89 | 0.000 % |
516.39/516.77 c | 539537 | 506 30200 90118 | 2147483647 36165 89 | 0.000 % |
517.59/517.99 c | 539910 | 506 30200 90118 | 2147483647 36538 89 | 0.000 % |
518.99/519.36 c | 540320 | 506 30200 90118 | 36628 25089 83 | 0.000 % |
519.69/520.00 c | 540769 | 506 30200 90118 | 36628 25538 83 | 0.000 % |
520.39/520.74 c | 541262 | 506 30200 90118 | 36628 26031 84 | 0.000 % |
521.29/521.67 c | 541806 | 506 30200 90118 | 36628 26575 84 | 0.000 % |
522.39/522.74 c | 542402 | 506 30200 90118 | 36628 27171 84 | 0.000 % |
523.19/523.56 c | 543057 | 506 30200 90118 | 36628 27826 84 | 0.000 % |
524.39/524.77 c | 543777 | 506 30200 90118 | 36628 28546 84 | 0.000 % |
525.88/526.23 c | 544572 | 506 30200 90118 | 36628 29341 84 | 0.000 % |
527.38/527.78 c | 545444 | 506 30200 90118 | 36628 30213 84 | 0.000 % |
528.88/529.26 c | 546402 | 506 30200 90118 | 36628 31171 84 | 0.000 % |
530.48/530.85 c | 547458 | 506 30200 90118 | 36628 32227 85 | 0.000 % |
532.18/532.54 c | 548617 | 506 30200 90118 | 36628 33386 85 | 0.000 % |
534.08/534.49 c | 549892 | 506 30200 90118 | 36628 34661 85 | 0.000 % |
536.28/536.65 c | 551292 | 506 30200 90118 | 34770 24878 85 | 0.000 % |
537.58/537.97 c | 552832 | 506 30200 90118 | 34770 26418 85 | 0.000 % |
538.28/538.61 c | 554526 | 506 30200 90118 | 34770 28112 85 | 0.000 % |
541.38/541.71 c | 556390 | 506 30200 90118 | 34770 29976 87 | 0.000 % |
544.78/545.12 c | 558439 | 506 30200 90118 | 34770 32025 88 | 0.000 % |
548.48/548.82 c | 560692 | 506 30200 90118 | 33587 24754 87 | 0.000 % |
552.38/552.75 c | 563171 | 506 30200 90118 | 33587 27233 88 | 0.000 % |
555.88/556.25 c | 565896 | 506 30200 90118 | 33587 29958 89 | 0.000 % |
559.67/560.03 c | 568893 | 506 30200 90118 | 33587 32955 90 | 0.000 % |
562.78/563.20 c | 572190 | 506 30200 90118 | 24241 19484 90 | 0.000 % |
565.57/565.98 c | 575815 | 506 30200 90118 | 24241 23109 91 | 0.000 % |
568.97/569.34 c | 579803 | 506 30200 90118 | 24241 22548 90 | 0.000 % |
571.67/572.00 c | 584193 | 506 30200 90118 | 22745 20303 89 | 0.000 % |
575.27/575.68 c | 589019 | 506 30200 90118 | 22745 22300 88 | 0.000 % |
577.96/578.34 c | 594326 | 506 30200 90118 | 20608 20642 86 | 0.000 % |
578.06/578.44 c | 594426 | 506 30200 90118 | 20608 18678 83 | 0.000 % |
578.17/578.56 c | 594536 | 506 30200 90118 | 20608 18788 83 | 0.000 % |
578.27/578.69 c | 594657 | 506 30200 90118 | 20608 18909 83 | 0.000 % |
578.46/578.81 c | 594790 | 506 30200 90118 | 20608 19042 83 | 0.000 % |
578.46/578.88 c | 594936 | 506 30200 90118 | 20608 19188 83 | 0.000 % |
578.66/579.04 c | 595096 | 506 30200 90118 | 20608 19348 84 | 0.000 % |
578.76/579.13 c | 595276 | 506 30200 90118 | 20608 19528 84 | 0.000 % |
579.06/579.49 c | 595470 | 506 30200 90118 | 20608 19722 84 | 0.000 % |
579.37/579.75 c | 595683 | 506 30200 90118 | 20608 19935 84 | 0.000 % |
579.66/580.04 c | 595917 | 506 30200 90118 | 20608 20169 84 | 0.000 % |
579.86/580.24 c | 596173 | 506 30200 90118 | 20608 20425 84 | 0.000 % |
580.06/580.45 c | 596455 | 506 30200 90118 | 20608 20707 84 | 0.000 % |
580.26/580.61 c | 596765 | 506 30200 90118 | 20608 18947 82 | 0.000 % |
580.76/581.15 c | 597105 | 506 30200 90118 | 20608 19287 83 | 0.000 % |
580.96/581.39 c | 597479 | 506 30200 90118 | 20608 19661 83 | 0.000 % |
581.47/581.84 c | 597888 | 506 30200 90118 | 20608 20070 83 | 0.000 % |
582.26/582.62 c | 598337 | 506 30200 90118 | 20608 20519 84 | 0.000 % |
583.06/583.43 c | 598830 | 506 30200 90118 | 20608 18484 83 | 0.000 % |
583.86/584.23 c | 599373 | 506 30200 90118 | 20608 19027 84 | 0.000 % |
584.66/585.07 c | 599970 | 506 30200 90118 | 20608 19624 85 | 0.000 % |
585.36/585.78 c | 600625 | 506 30200 90118 | 19654 17472 86 | 0.000 % |
586.26/586.66 c | 601350 | 506 30200 90118 | 19654 18197 86 | 0.000 % |
587.16/587.52 c | 602142 | 506 30200 90118 | 19654 18989 87 | 0.000 % |
588.26/588.62 c | 603013 | 506 30200 90118 | 19654 19860 87 | 0.000 % |
588.96/589.38 c | 603971 | 506 30200 90118 | 19654 17677 88 | 0.000 % |
589.76/590.16 c | 605026 | 506 30200 90118 | 19654 18732 89 | 0.000 % |
590.56/590.94 c | 606190 | 506 30200 90118 | 19654 19896 90 | 0.000 % |
591.66/592.03 c | 607463 | 506 30200 90118 | 19654 18562 90 | 0.000 % |
592.56/592.92 c | 608864 | 506 30200 90118 | 19654 17632 91 | 0.000 % |
593.46/593.86 c | 610404 | 506 30200 90118 | 18768 17244 90 | 0.000 % |
594.76/595.19 c | 612100 | 506 30200 90118 | 18768 18940 91 | 0.000 % |
596.36/596.76 c | 613964 | 506 30200 90118 | 18768 18910 89 | 0.000 % |
598.26/598.63 c | 616015 | 506 30200 90118 | 18768 17081 89 | 0.000 % |
599.76/600.18 c | 618268 | 506 30200 90118 | 18768 17426 88 | 0.000 % |
601.46/601.87 c | 620746 | 506 30200 90118 | 2147483647 18006 89 | 0.000 % |
604.05/604.40 c | 623471 | 506 30200 90118 | 2147483647 20731 90 | 0.000 % |
606.35/606.75 c | 626470 | 506 30200 90118 | 2147483647 23730 91 | 0.000 % |
609.95/610.36 c | 629769 | 506 30200 90118 | 2147483647 27029 92 | 0.000 % |
613.65/614.06 c | 633394 | 506 30200 90118 | 27260 26616 91 | 0.000 % |
617.04/617.46 c | 637382 | 506 30200 90118 | 27260 26097 89 | 0.000 % |
621.54/621.90 c | 641767 | 506 30200 90118 | 24186 21789 84 | 0.000 % |
625.94/626.38 c | 646591 | 506 30200 90118 | 24186 22670 81 | 0.000 % |
629.44/629.80 c | 651896 | 506 30200 90118 | 22452 21274 81 | 0.000 % |
632.94/633.38 c | 657731 | 506 30200 90118 | 22452 22566 84 | 0.000 % |
633.04/633.45 c | 657832 | 506 30200 90118 | 22452 20411 83 | 0.000 % |
633.14/633.55 c | 657942 | 506 30200 90118 | 22452 20521 83 | 0.000 % |
633.24/633.65 c | 658064 | 506 30200 90118 | 22452 20643 83 | 0.000 % |
633.34/633.70 c | 658198 | 506 30200 90118 | 22452 20777 83 | 0.000 % |
633.34/633.77 c | 658345 | 506 30200 90118 | 22452 20924 83 | 0.000 % |
633.54/633.92 c | 658506 | 506 30200 90118 | 22452 21085 83 | 0.000 % |
633.64/634.06 c | 658682 | 506 30200 90118 | 22452 21261 83 | 0.000 % |
633.84/634.24 c | 658875 | 506 30200 90118 | 22452 21454 83 | 0.000 % |
633.94/634.31 c | 659087 | 506 30200 90118 | 22452 21666 84 | 0.000 % |
634.24/634.64 c | 659321 | 506 30200 90118 | 22452 21900 84 | 0.000 % |
634.54/634.98 c | 659582 | 506 30200 90118 | 22452 22161 84 | 0.000 % |
635.14/635.51 c | 659864 | 506 30200 90118 | 22452 22443 84 | 0.000 % |
635.45/635.86 c | 660174 | 506 30200 90118 | 2147483647 22753 84 | 0.000 % |
635.74/636.14 c | 660513 | 506 30200 90118 | 2147483647 23092 84 | 0.000 % |
636.04/636.48 c | 660885 | 506 30200 90118 | 2147483647 23464 84 | 0.000 % |
636.34/636.73 c | 661297 | 506 30200 90118 | 2147483647 23876 84 | 0.000 % |
636.84/637.27 c | 661747 | 506 30200 90118 | 2147483647 24326 84 | 0.000 % |
637.44/637.84 c | 662242 | 506 30200 90118 | 2147483647 24821 84 | 0.000 % |
638.34/638.79 c | 662784 | 506 30200 90118 | 2147483647 25363 85 | 0.000 % |
639.14/639.54 c | 663380 | 506 30200 90118 | 2147483647 25959 85 | 0.000 % |
639.85/640.23 c | 664037 | 506 30200 90118 | 2147483647 26616 85 | 0.000 % |
640.54/641.00 c | 664757 | 506 30200 90118 | 2147483647 27336 85 | 0.000 % |
641.54/641.93 c | 665550 | 506 30200 90118 | 2147483647 28129 85 | 0.000 % |
641.95/642.39 c | 666423 | 506 30200 90118 | 2147483647 29002 85 | 0.000 % |
643.14/643.59 c | 667381 | 506 30200 90118 | 2147483647 29960 85 | 0.000 % |
643.84/644.27 c | 668436 | 506 30200 90118 | 2147483647 31015 86 | 0.000 % |
644.74/645.19 c | 669594 | 506 30200 90118 | 2147483647 32173 86 | 0.000 % |
646.24/646.61 c | 670868 | 506 30200 90118 | 32579 27254 86 | 0.000 % |
647.54/647.93 c | 672268 | 506 30200 90118 | 32579 28654 86 | 0.000 % |
648.64/649.08 c | 673808 | 506 30200 90118 | 32579 30194 86 | 0.000 % |
651.04/651.48 c | 675506 | 506 30200 90118 | 32579 31892 87 | 0.000 % |
652.94/653.39 c | 677369 | 506 30200 90118 | 32579 27074 85 | 0.000 % |
655.24/655.67 c | 679421 | 506 30200 90118 | 32579 29126 86 | 0.000 % |
657.54/657.90 c | 681674 | 506 30200 90118 | 29707 25349 84 | 0.000 % |
660.13/660.56 c | 684152 | 506 30200 90118 | 29707 27827 86 | 0.000 % |
663.02/663.45 c | 686878 | 506 30200 90118 | 29707 24181 84 | 0.000 % |
665.22/665.61 c | 689876 | 506 30200 90118 | 29707 27179 83 | 0.000 % |
666.62/667.03 c | 693173 | 506 30200 90118 | 27304 25380 84 | 0.000 % |
669.62/670.07 c | 696798 | 506 30200 90118 | 27304 24866 83 | 0.000 % |
672.02/672.44 c | 700785 | 506 30200 90118 | 23800 21083 82 | 0.000 % |
674.72/675.18 c | 705172 | 506 30200 90118 | 23800 22203 85 | 0.000 % |
677.62/678.09 c | 709995 | 506 30200 90118 | 23800 24051 86 | 0.000 % |
681.12/681.53 c | 715300 | 506 30200 90118 | 21304 19814 83 | 0.000 % |
685.02/685.44 c | 721136 | 506 30200 90118 | 2147483647 21335 80 | 0.000 % |
688.82/689.21 c | 727555 | 506 30200 90118 | 2147483647 27754 80 | 0.000 % |
688.92/689.34 c | 727655 | 506 30200 90118 | 2147483647 27854 80 | 0.000 % |
689.02/689.42 c | 727766 | 506 30200 90118 | 2147483647 27965 80 | 0.000 % |
689.12/689.55 c | 727890 | 506 30200 90118 | 2147483647 28089 80 | 0.000 % |
689.22/689.64 c | 728023 | 506 30200 90118 | 2147483647 28222 80 | 0.000 % |
689.42/689.87 c | 728169 | 506 30200 90118 | 2147483647 28368 80 | 0.000 % |
689.52/689.97 c | 728329 | 506 30200 90118 | 2147483647 28528 80 | 0.000 % |
689.72/690.10 c | 728507 | 506 30200 90118 | 2147483647 28706 80 | 0.000 % |
689.82/690.26 c | 728701 | 506 30200 90118 | 2147483647 28900 80 | 0.000 % |
690.02/690.48 c | 728915 | 506 30200 90118 | 2147483647 29114 80 | 0.000 % |
690.22/690.69 c | 729150 | 506 30200 90118 | 2147483647 29349 80 | 0.000 % |
690.52/690.95 c | 729407 | 506 30200 90118 | 2147483647 29606 80 | 0.000 % |
690.91/691.35 c | 729691 | 506 30200 90118 | 2147483647 29890 80 | 0.000 % |
691.11/691.58 c | 730000 | 506 30200 90118 | 2147483647 30199 80 | 0.000 % |
691.42/691.80 c | 730339 | 506 30200 90118 | 30199 26870 79 | 0.000 % |
691.42/691.88 c | 730713 | 506 30200 90118 | 30199 27244 79 | 0.000 % |
691.52/691.94 c | 731126 | 506 30200 90118 | 30199 27657 79 | 0.000 % |
691.61/692.03 c | 731577 | 506 30200 90118 | 30199 28108 79 | 0.000 % |
691.91/692.31 c | 732070 | 506 30200 90118 | 30199 28601 78 | 0.000 % |
692.11/692.53 c | 732613 | 506 30200 90118 | 30199 29144 78 | 0.000 % |
692.21/692.64 c | 733209 | 506 30200 90118 | 30199 29740 78 | 0.000 % |
692.31/692.76 c | 733864 | 506 30200 90118 | 30199 30395 77 | 0.000 % |
693.91/694.37 c | 734585 | 506 30200 90118 | 30199 28077 74 | 0.045 % |
694.11/694.58 c | 735377 | 506 30200 90118 | 30199 28869 75 | 0.000 % |
695.41/695.84 c | 736250 | 506 30200 90118 | 30199 29742 75 | 0.030 % |
696.41/696.88 c | 737209 | 506 30200 90118 | 30199 25946 73 | 0.030 % |
698.01/698.46 c | 738264 | 506 30200 90118 | 30199 27001 74 | 0.000 % |
700.01/700.40 c | 739422 | 506 30200 90118 | 30199 28159 74 | 0.030 % |
701.61/702.04 c | 740696 | 506 30200 90118 | 28738 22202 73 | 0.000 % |
703.21/703.61 c | 742098 | 506 30200 90118 | 28738 23604 74 | 0.000 % |
704.41/704.86 c | 743639 | 506 30200 90118 | 28738 25145 76 | 0.000 % |
706.10/706.54 c | 745333 | 506 30200 90118 | 28738 26839 77 | 0.000 % |
708.10/708.59 c | 747200 | 506 30200 90118 | 28738 28706 78 | 0.000 % |
709.50/709.92 c | 749250 | 506 30200 90118 | 28738 22884 82 | 0.000 % |
710.70/711.18 c | 751503 | 506 30200 90118 | 23636 19289 88 | 0.000 % |
711.80/712.27 c | 753983 | 506 30200 90118 | 23636 21769 88 | 0.000 % |
713.40/713.89 c | 756710 | 506 30200 90118 | 23636 21484 90 | 0.000 % |
715.50/715.93 c | 759707 | 506 30200 90118 | 23636 21725 90 | 0.000 % |
717.30/717.75 c | 763004 | 506 30200 90118 | 22018 20587 90 | 0.000 % |
719.40/719.81 c | 766631 | 506 30200 90118 | 22018 21993 90 | 0.000 % |
720.90/721.36 c | 770619 | 506 30200 90118 | 2147483647 21540 88 | 0.000 % |
724.09/724.58 c | 775004 | 506 30200 90118 | 2147483647 25925 88 | 0.000 % |
727.99/728.40 c | 779828 | 506 30200 90118 | 2147483647 30749 89 | 0.000 % |
732.49/732.96 c | 785135 | 506 30200 90118 | 30921 27062 87 | 0.000 % |
738.09/738.55 c | 790974 | 506 30200 90118 | 26087 22054 85 | 0.000 % |
742.99/743.44 c | 797392 | 506 30200 90118 | 26087 24363 85 | 0.000 % |
748.89/749.35 c | 804451 | 506 30200 90118 | 23145 21053 85 | 0.000 % |
748.99/749.41 c | 804552 | 506 30200 90118 | 23145 21154 85 | 0.000 % |
748.99/749.48 c | 804663 | 506 30200 90118 | 23145 21265 85 | 0.000 % |
749.19/749.61 c | 804786 | 506 30200 90118 | 23145 21388 85 | 0.000 % |
749.19/749.64 c | 804920 | 506 30200 90118 | 23145 21522 85 | 0.000 % |
749.39/749.82 c | 805066 | 506 30200 90118 | 23145 21668 85 | 0.000 % |
749.49/749.95 c | 805230 | 506 30200 90118 | 23145 21832 86 | 0.000 % |
749.59/750.07 c | 805407 | 506 30200 90118 | 23145 22009 86 | 0.000 % |
749.79/750.26 c | 805600 | 506 30200 90118 | 23145 22202 86 | 0.000 % |
749.98/750.48 c | 805812 | 506 30200 90118 | 23145 22414 86 | 0.000 % |
750.08/750.59 c | 806047 | 506 30200 90118 | 23145 22649 86 | 0.000 % |
750.38/750.80 c | 806303 | 506 30200 90118 | 23145 22905 87 | 0.000 % |
750.48/750.98 c | 806585 | 506 30200 90118 | 23145 23187 87 | 0.000 % |
750.68/751.17 c | 806894 | 506 30200 90118 | 23145 20475 86 | 0.000 % |
750.88/751.33 c | 807233 | 506 30200 90118 | 23145 20814 86 | 0.000 % |
751.08/751.57 c | 807610 | 506 30200 90118 | 23145 21191 86 | 0.000 % |
751.38/751.81 c | 808022 | 506 30200 90118 | 23145 21603 86 | 0.000 % |
751.88/752.39 c | 808472 | 506 30200 90118 | 23145 22053 86 | 0.000 % |
752.48/752.93 c | 808968 | 506 30200 90118 | 23145 22549 86 | 0.000 % |
752.98/753.43 c | 809512 | 506 30200 90118 | 23145 23093 86 | 0.000 % |
753.38/753.83 c | 810109 | 506 30200 90118 | 20640 20749 85 | 0.000 % |
753.68/754.18 c | 810765 | 506 30200 90118 | 20640 18760 86 | 0.000 % |
754.08/754.55 c | 811486 | 506 30200 90118 | 20640 19481 86 | 0.000 % |
754.47/754.97 c | 812280 | 506 30200 90118 | 20640 20275 86 | 0.000 % |
755.37/755.80 c | 813152 | 506 30200 90118 | 20640 19060 86 | 0.000 % |
755.97/756.43 c | 814113 | 506 30200 90118 | 20640 20021 87 | 0.000 % |
757.07/757.56 c | 815166 | 506 30200 90118 | 20640 18959 87 | 0.000 % |
757.97/758.43 c | 816326 | 506 30200 90118 | 20640 20119 88 | 0.000 % |
758.97/759.40 c | 817601 | 506 30200 90118 | 20640 19216 88 | 0.000 % |
760.17/760.62 c | 819001 | 506 30200 90118 | 20640 20616 89 | 0.000 % |
761.47/761.92 c | 820541 | 506 30200 90118 | 19331 17696 87 | 0.000 % |
762.47/762.93 c | 822236 | 506 30200 90118 | 19331 19391 88 | 0.000 % |
763.57/764.09 c | 824100 | 506 30200 90118 | 19331 19316 89 | 0.000 % |
764.77/765.23 c | 826154 | 506 30200 90118 | 19331 19423 90 | 0.000 % |
766.67/767.18 c | 828407 | 506 30200 90118 | 19331 17772 89 | 0.000 % |
768.97/769.46 c | 830886 | 506 30200 90118 | 2147483647 20251 91 | 0.000 % |
771.67/772.11 c | 833611 | 506 30200 90118 | 2147483647 22976 92 | 0.000 % |
775.27/775.72 c | 836608 | 506 30200 90118 | 2147483647 25973 92 | 0.000 % |
779.17/779.65 c | 839907 | 506 30200 90118 | 2147483647 29272 93 | 0.000 % |
783.36/783.86 c | 843535 | 506 30200 90118 | 29365 27178 91 | 0.000 % |
787.96/788.45 c | 847523 | 506 30200 90118 | 29365 24265 91 | 0.000 % |
791.56/792.01 c | 851908 | 506 30200 90118 | 26742 22859 89 | 0.000 % |
793.56/794.01 c | 856731 | 506 30200 90118 | 26742 23798 87 | 0.000 % |
797.86/798.35 c | 862042 | 506 30200 90118 | 23189 21915 85 | 0.000 % |
802.05/802.52 c | 867879 | 506 30200 90118 | 23189 22790 87 | 0.000 % |
806.86/807.38 c | 874300 | 506 30200 90118 | 2147483647 26872 89 | 0.000 % |
813.35/813.89 c | 881360 | 506 30200 90118 | 32573 29111 87 | 0.000 % |
819.75/820.21 c | 889124 | 506 30200 90118 | 32573 31432 84 | 0.000 % |
819.95/820.42 c | 889227 | 506 30200 90118 | 32573 31535 84 | 0.000 % |
820.15/820.61 c | 889339 | 506 30200 90118 | 32573 31647 84 | 0.000 % |
820.25/820.73 c | 889461 | 506 30200 90118 | 32573 31769 84 | 0.000 % |
820.45/820.90 c | 889595 | 506 30200 90118 | 32573 31903 84 | 0.000 % |
820.65/821.15 c | 889743 | 506 30200 90118 | 32573 32051 84 | 0.000 % |
821.05/821.57 c | 889904 | 506 30200 90118 | 32573 32212 84 | 0.000 % |
821.45/821.95 c | 890081 | 506 30200 90118 | 32310 32389 84 | 0.000 % |
821.85/822.34 c | 890274 | 506 30200 90118 | 32310 26288 81 | 0.000 % |
822.05/822.57 c | 890486 | 506 30200 90118 | 32310 26500 81 | 0.000 % |
822.35/822.89 c | 890720 | 506 30200 90118 | 32310 26734 81 | 0.000 % |
822.95/823.43 c | 890977 | 506 30200 90118 | 32310 26991 81 | 0.000 % |
823.45/823.98 c | 891260 | 506 30200 90118 | 32310 27274 81 | 0.000 % |
823.95/824.42 c | 891569 | 506 30200 90118 | 32310 27583 81 | 0.000 % |
824.55/825.03 c | 891908 | 506 30200 90118 | 32310 27922 82 | 0.000 % |
824.84/825.34 c | 892281 | 506 30200 90118 | 32310 28295 82 | 0.000 % |
825.34/825.80 c | 892693 | 506 30200 90118 | 32310 28707 82 | 0.000 % |
826.04/826.50 c | 893143 | 506 30200 90118 | 32310 29157 82 | 0.000 % |
826.84/827.34 c | 893636 | 506 30200 90118 | 32310 29650 82 | 0.000 % |
827.85/828.32 c | 894178 | 506 30200 90118 | 32310 30192 82 | 0.000 % |
829.24/829.70 c | 894774 | 506 30200 90118 | 32310 30788 83 | 0.000 % |
830.84/831.36 c | 895431 | 506 30200 90118 | 32310 31445 83 | 0.000 % |
831.94/832.47 c | 896152 | 506 30200 90118 | 32310 32166 83 | 0.000 % |
832.94/833.47 c | 896944 | 506 30200 90118 | 32310 24079 81 | 0.000 % |
833.54/834.05 c | 897815 | 506 30200 90118 | 32310 24950 81 | 0.000 % |
834.35/834.85 c | 898777 | 506 30200 90118 | 32310 25912 81 | 0.000 % |
836.04/836.52 c | 899832 | 506 30200 90118 | 32310 26967 82 | 0.000 % |
837.14/837.67 c | 900990 | 506 30200 90118 | 27139 21019 82 | 0.000 % |
838.34/838.87 c | 902266 | 506 30200 90118 | 27139 22295 82 | 0.000 % |
839.64/840.16 c | 903669 | 506 30200 90118 | 27139 23698 82 | 0.000 % |
841.04/841.58 c | 905209 | 506 30200 90118 | 27139 25238 82 | 0.000 % |
843.23/843.72 c | 906903 | 506 30200 90118 | 27139 26932 82 | 0.000 % |
844.73/845.26 c | 908766 | 506 30200 90118 | 27139 23235 82 | 0.000 % |
846.23/846.78 c | 910815 | 506 30200 90118 | 24474 20789 80 | 0.000 % |
847.83/848.34 c | 913069 | 506 30200 90118 | 24474 23043 81 | 0.000 % |
850.03/850.55 c | 915548 | 506 30200 90118 | 24474 21345 80 | 0.000 % |
852.33/852.80 c | 918276 | 506 30200 90118 | 24474 24073 80 | 0.000 % |
854.23/854.79 c | 921275 | 506 30200 90118 | 22205 20642 78 | 0.000 % |
856.23/856.71 c | 924572 | 506 30200 90118 | 22205 21692 80 | 0.000 % |
858.72/859.24 c | 928197 | 506 30200 90118 | 22205 20812 82 | 0.000 % |
861.83/862.35 c | 932184 | 506 30200 90118 | 2147483647 22555 82 | 0.000 % |
865.62/866.14 c | 936573 | 506 30200 90118 | 2147483647 26944 84 | 0.000 % |
869.52/870.04 c | 941398 | 506 30200 90118 | 30373 28022 84 | 0.000 % |
874.72/875.25 c | 946703 | 506 30200 90118 | 30373 28583 82 | 0.000 % |
880.12/880.60 c | 952539 | 506 30200 90118 | 26963 25254 78 | 0.000 % |
884.72/885.23 c | 958957 | 506 30200 90118 | 26963 23512 79 | 0.000 % |
889.21/889.73 c | 966017 | 506 30200 90118 | 24555 24505 76 | 0.000 % |
894.11/894.67 c | 973781 | 506 30200 90118 | 2147483647 27313 75 | 0.000 % |
896.31/896.84 c | 982324 | 506 30200 90118 | 2147483647 35856 74 | 0.000 % |
896.31/896.88 c | 982425 | 506 30200 90118 | 2147483647 35957 74 | 0.000 % |
896.41/896.91 c | 982535 | 506 30200 90118 | 2147483647 36067 74 | 0.000 % |
896.50/897.08 c | 982656 | 506 30200 90118 | 2147483647 36188 74 | 0.000 % |
896.70/897.26 c | 982792 | 506 30200 90118 | 2147483647 36324 74 | 0.000 % |
896.90/897.46 c | 982941 | 506 30200 90118 | 2147483647 36473 74 | 0.000 % |
897.01/897.53 c | 983102 | 506 30200 90118 | 2147483647 36634 74 | 0.000 % |
897.11/897.66 c | 983278 | 506 30200 90118 | 2147483647 36810 74 | 0.000 % |
897.30/897.89 c | 983471 | 506 30200 90118 | 2147483647 37003 74 | 0.000 % |
897.50/898.06 c | 983684 | 506 30200 90118 | 2147483647 37216 74 | 0.000 % |
897.60/898.16 c | 983917 | 506 30200 90118 | 2147483647 37449 74 | 0.000 % |
897.70/898.28 c | 984173 | 506 30200 90118 | 2147483647 37705 74 | 0.000 % |
897.90/898.40 c | 984454 | 506 30200 90118 | 2147483647 37986 74 | 0.000 % |
897.90/898.49 c | 984765 | 506 30200 90118 | 2147483647 38297 74 | 0.000 % |
898.21/898.71 c | 985105 | 506 30200 90118 | 2147483647 38637 74 | 0.000 % |
898.30/898.83 c | 985478 | 506 30200 90118 | 2147483647 39010 74 | 0.000 % |
898.40/898.99 c | 985888 | 506 30200 90118 | 2147483647 39420 75 | 0.000 % |
898.60/899.20 c | 986337 | 506 30200 90118 | 2147483647 39869 75 | 0.000 % |
898.70/899.30 c | 986830 | 506 30200 90118 | 2147483647 40362 75 | 0.000 % |
899.10/899.68 c | 987375 | 506 30200 90118 | 2147483647 40907 76 | 0.000 % |
899.50/900.00 c | 987971 | 506 30200 90118 | 2147483647 41503 76 | 0.000 % |
899.60/900.15 c | 988629 | 506 30200 90118 | 2147483647 42161 77 | 0.000 % |
899.80/900.37 c | 989352 | 506 30200 90118 | 2147483647 42884 77 | 0.000 % |
900.60/901.14 c | 990145 | 506 30200 90118 | 2147483647 43677 78 | 0.000 % |
901.00/901.57 c | 991016 | 506 30200 90118 | 2147483647 44548 78 | 0.000 % |
901.71/902.26 c | 991975 | 506 30200 90118 | 2147483647 45507 79 | 0.000 % |
902.21/902.71 c | 993028 | 506 30200 90118 | 2147483647 46560 79 | 0.000 % |
903.11/903.62 c | 994187 | 506 30200 90118 | 2147483647 47719 79 | 0.000 % |
903.61/904.13 c | 995461 | 506 30200 90118 | 2147483647 48993 80 | 0.000 % |
904.50/905.03 c | 996865 | 506 30200 90118 | 2147483647 50397 80 | 0.000 % |
906.70/907.29 c | 998405 | 506 30200 90118 | 2147483647 51937 81 | 0.000 % |
908.30/908.88 c | 1000099 | 506 30200 90118 | 53533 53631 82 | 0.000 % |
910.60/911.14 c | 1001963 | 506 30200 90118 | 53533 45615 82 | 0.000 % |
913.10/913.62 c | 1004014 | 506 30200 90118 | 53533 47666 82 | 0.000 % |
915.70/916.26 c | 1006269 | 506 30200 90118 | 53533 49921 84 | 0.000 % |
918.50/919.04 c | 1008749 | 506 30200 90118 | 53533 52401 84 | 0.000 % |
922.60/923.16 c | 1011476 | 506 30200 90118 | 53652 40183 90 | 0.000 % |
925.90/926.45 c | 1014473 | 506 30200 90118 | 53652 43180 92 | 0.000 % |
929.90/930.45 c | 1017770 | 506 30200 90118 | 53652 46477 92 | 0.000 % |
933.99/934.54 c | 1021399 | 506 30200 90118 | 48711 34631 95 | 0.000 % |
939.29/939.85 c | 1025393 | 506 30200 90118 | 48711 38625 97 | 0.000 % |
944.39/944.97 c | 1029785 | 506 30200 90118 | 48711 43017 96 | 0.000 % |
948.59/949.14 c | 1034608 | 506 30200 90118 | 43234 34198 92 | 0.000 % |
951.89/952.44 c | 1039915 | 506 30200 90118 | 43234 39505 92 | 0.000 % |
955.59/956.12 c | 1045753 | 506 30200 90118 | 39591 36022 91 | 0.000 % |
960.99/961.57 c | 1052172 | 506 30200 90118 | 31740 27268 88 | 0.000 % |
965.49/966.05 c | 1059231 | 506 30200 90118 | 31740 29123 92 | 0.000 % |
971.48/972.02 c | 1066995 | 506 30200 90118 | 29895 26272 89 | 0.000 % |
977.77/978.31 c | 1075536 | 506 30200 90118 | 29281 24440 90 | 0.000 % |
982.88/983.49 c | 1084931 | 506 30200 90118 | 28904 27223 85 | 0.000 % |
982.97/983.56 c | 1085032 | 506 30200 90118 | 28904 27324 85 | 0.000 % |
983.07/983.65 c | 1085144 | 506 30200 90118 | 28904 27436 85 | 0.000 % |
983.17/983.73 c | 1085267 | 506 30200 90118 | 28904 27559 85 | 0.000 % |
983.27/983.83 c | 1085400 | 506 30200 90118 | 28904 27692 85 | 0.000 % |
983.37/983.94 c | 1085547 | 506 30200 90118 | 28904 27839 85 | 0.000 % |
983.47/984.03 c | 1085707 | 506 30200 90118 | 28904 27999 85 | 0.000 % |
983.57/984.19 c | 1085883 | 506 30200 90118 | 28904 28175 85 | 0.000 % |
983.77/984.31 c | 1086076 | 506 30200 90118 | 28904 28368 85 | 0.000 % |
983.88/984.49 c | 1086291 | 506 30200 90118 | 28904 28583 86 | 0.000 % |
984.17/984.71 c | 1086525 | 506 30200 90118 | 28904 28817 86 | 0.000 % |
984.27/984.83 c | 1086783 | 506 30200 90118 | 28904 29075 86 | 0.000 % |
984.57/985.10 c | 1087064 | 506 30200 90118 | 28904 26448 85 | 0.000 % |
984.77/985.39 c | 1087375 | 506 30200 90118 | 28904 26759 85 | 0.000 % |
985.17/985.74 c | 1087714 | 506 30200 90118 | 28904 27098 84 | 0.000 % |
985.37/985.97 c | 1088088 | 506 30200 90118 | 28904 27472 84 | 0.000 % |
985.77/986.37 c | 1088498 | 506 30200 90118 | 28904 27882 84 | 0.000 % |
986.17/986.78 c | 1088947 | 506 30200 90118 | 28904 28331 84 | 0.000 % |
986.77/987.36 c ===============================================================================
986.77/987.36 c restarts : 1244
986.77/987.36 c conflicts : 1089412 (1104 /sec)
986.77/987.36 c decisions : 1631963 (1.05 % random) (1654 /sec)
986.77/987.36 c propagations : 69714599 (70658 /sec)
986.77/987.36 c conflict literals : 101921331 (21.45 % deleted)
986.77/987.36 c Memory used : 34.21 MB
986.77/987.36 c CPU time : 986.643 s
986.77/987.36 c
986.77/987.37 s SATISFIABLE
986.77/987.37 s SATISFIABLE
986.77/987.37 v 1 -2 -3 -4 -5 -6 -7 -8 -9 -10 -11 -12 -13 -14 -15 -16 -17 -18 -19 -20 -21 -22 -23 -24 -25 26 -27 -28 -29 -30 -31 -32 -33 -34 -35 -36 -37 -38 -39 -40 -41 -42 -43 -44 -45 -46 -47 -48 -49 -50 51 -52 -53 -54 -55 -56 -57 -58 -59 -60 -61 -62 -63 -64 -65 -66 -67 -68 -69 -70 -71 -72 -73 -74 -75 76 -77 -78 -79 -80 -81 -82 -83 -84 -85 -86 -87 -88 -89 -90 -91 -92 -93 -94 -95 -96 -97 -98 -99 -100 -101 102 -103 -104 -105 -106 -107 -108 -109 -110 -111 -112 -113 -114 -115 -116 -117 -118 -119 -120 -121 -122 -123 -124 -125 -126 127 -128 -129 -130 -131 -132 -133 -134 -135 -136 -137 -138 -139 -140 -141 -142 -143 -144 -145 -146 -147 -148 -149 -150 -151 152 -153 -154 -155 -156 -157 -158 -159 -160 -161 -162 -163 -164 -165 -166 -167 -168 -169 -170 -171 -172 -173 -174 -175 -176 177 -178 -179 -180 -181 -182 -183 -184 -185 -186 -187 -188 -189 -190 -191 -192 -193 -194 -195 -196 -197 -198 -199 -200 -201 202 -203 -204 -205 -206 -207 -208 -209 -210 -211 -212 -213 -214 -215 -216 -217 -218 -219 -220 -221 -222 -223 -224 -225 -226 227 -228 -229 -230 -231 -232 -233 -234 -235 -236 -237 -238 -239 -240 -241 -242 -243 -244 -245 -246 -247 -248 -249 -250 -251 252 -253 -254 -255 -256 -257 -258 -259 -260 -261 -262 -263 -264 -265 -266 -267 -268 -269 -270 -271 -272 -273 -274 -275 -276 277 -278 -279 -280 -281 -282 -283 -284 -285 -286 -287 -288 -289 -290 -291 -292 -293 -294 -295 -296 -297 -298 -299 -300 -301 302 -303 -304 -305 -306 -307 -308 -309 -310 -311 -312 -313 -314 -315 -316 -317 -318 -319 -320 -321 -322 -323 -324 -325 -326 327 -328 -329 -330 -331 -332 -333 -334 -335 -336 -337 -338 -339 -340 -341 -342 -343 -344 -345 -346 -347 -348 -349 -350 -351 352 -353 -354 -355 -356 -357 -358 -359 -360 -361 -362 -363 -364 -365 -366 -367 -368 -369 -370 -371 -372 -373 -374 -375 -376 377 -378 -379 -380 -381 -382 -383 -384 -385 -386 -387 -388 -389 -390 -391 -392 -393 -394 -395 -396 -397 -398 -399 -400 -401 402 -403 -404 -405 -406 -407 -408 -409 -410 -411 -412 -413 -414 -415 -416 -417 -418 -419 -420 -421 -422 -423 -424 -425 -426 427 -428 -429 -430 -431 -432 -433 -434 -435 -436 -437 -438 -439 -440 -441 -442 -443 -444 -445 -446 -447 -448 -449 -450 -451 452 -453 -454 -455 -456 -457 -458 -459 -460 -461 -462 -463 -464 -465 -466 -467 -468 -469 -470 -471 -472 -473 -474 -475 -476 477 -478 -479 -480 -481 -482 -483 -484 -485 -486 -487 -488 -489 -490 -491 -492 -493 -494 -495 -496 -497 -498 -499 -500 -501 502 -503 -504 -505 -506 -507 -508 -509 -510 -511 -512 -513 -514 -515 -516 -517 -518 -519 -520 -521 -522 -523 -524 -525 -526 527 -528 0
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1834267-1242829290/watcher-1834267-1242829290 -o /tmp/evaluation-result-1834267-1242829290/solver-1834267-1242829290 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1834267-1242829290.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 3654
/proc/meminfo: memFree=1716408/2055920 swapFree=4131180/4192956
[pid=3654] ppid=3652 vsize=5356 CPUtime=0
/proc/3654/stat : 3654 (SatELiteGTI) S 3652 3654 3335 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 310958688 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3654/statm: 1339 237 197 169 0 50 0
[startup+0.0368869 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 3654
/proc/meminfo: memFree=1716408/2055920 swapFree=4131180/4192956
[pid=3654] ppid=3652 vsize=5356 CPUtime=0
/proc/3654/stat : 3654 (SatELiteGTI) S 3652 3654 3335 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 310958688 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3654/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101894 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 3654
/proc/meminfo: memFree=1716408/2055920 swapFree=4131180/4192956
[pid=3654] ppid=3652 vsize=5356 CPUtime=0
/proc/3654/stat : 3654 (SatELiteGTI) S 3652 3654 3335 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 310958688 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3654/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.302919 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 3654
/proc/meminfo: memFree=1716408/2055920 swapFree=4131180/4192956
[pid=3654] ppid=3652 vsize=5356 CPUtime=0.1
/proc/3654/stat : 3654 (SatELiteGTI) S 3652 3654 3335 0 -1 4194304 336 1009 0 0 0 0 10 0 15 0 1 0 310958688 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3654/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 5356
[startup+0.702965 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 3654
/proc/meminfo: memFree=1716408/2055920 swapFree=4131180/4192956
[pid=3654] ppid=3652 vsize=5356 CPUtime=0.1
/proc/3654/stat : 3654 (SatELiteGTI) S 3652 3654 3335 0 -1 4194304 336 1009 0 0 0 0 10 0 15 0 1 0 310958688 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3654/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 5356
[startup+1.50106 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 3660
/proc/meminfo: memFree=1710824/2055920 swapFree=4131180/4192956
[pid=3654] ppid=3652 vsize=5356 CPUtime=0.1
/proc/3654/stat : 3654 (SatELiteGTI) S 3652 3654 3335 0 -1 4194304 336 1009 0 0 0 0 10 0 15 0 1 0 310958688 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3654/statm: 1339 239 197 169 0 50 0
[pid=3660] ppid=3654 vsize=6940 CPUtime=1.36
/proc/3660/stat : 3660 (minisat_static) R 3654 3654 3335 0 -1 4194304 1491 0 0 0 136 0 0 0 25 0 1 0 310958700 7106560 1477 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 0 0 0
/proc/3660/statm: 1735 1477 77 171 0 1562 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 12296
[startup+3.10123 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 3660
/proc/meminfo: memFree=1708968/2055920 swapFree=4131180/4192956
[pid=3654] ppid=3652 vsize=5356 CPUtime=0.1
/proc/3654/stat : 3654 (SatELiteGTI) S 3652 3654 3335 0 -1 4194304 336 1009 0 0 0 0 10 0 15 0 1 0 310958688 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3654/statm: 1339 239 197 169 0 50 0
[pid=3660] ppid=3654 vsize=8920 CPUtime=2.97
/proc/3660/stat : 3660 (minisat_static) R 3654 3654 3335 0 -1 4194304 1975 0 0 0 296 1 0 0 25 0 1 0 310958700 9134080 1961 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3660/statm: 2230 1961 77 171 0 2057 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 14276
[startup+6.30159 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 3660
/proc/meminfo: memFree=1705960/2055920 swapFree=4131180/4192956
[pid=3654] ppid=3652 vsize=5356 CPUtime=0.1
/proc/3654/stat : 3654 (SatELiteGTI) S 3652 3654 3335 0 -1 4194304 336 1009 0 0 0 0 10 0 15 0 1 0 310958688 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3654/statm: 1339 239 197 169 0 50 0
[pid=3660] ppid=3654 vsize=11216 CPUtime=6.16
/proc/3660/stat : 3660 (minisat_static) R 3654 3654 3335 0 -1 4194304 2551 0 0 0 615 1 0 0 25 0 1 0 310958700 11485184 2537 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3660/statm: 2804 2537 77 171 0 2631 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 16572
[startup+12.7013 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 3660
/proc/meminfo: memFree=1702568/2055920 swapFree=4131180/4192956
[pid=3654] ppid=3652 vsize=5356 CPUtime=0.1
/proc/3654/stat : 3654 (SatELiteGTI) S 3652 3654 3335 0 -1 4194304 336 1009 0 0 0 0 10 0 15 0 1 0 310958688 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3654/statm: 1339 239 197 169 0 50 0
[pid=3660] ppid=3654 vsize=14444 CPUtime=12.57
/proc/3660/stat : 3660 (minisat_static) R 3654 3654 3335 0 -1 4194304 3335 0 0 0 1255 2 0 0 25 0 1 0 310958700 14790656 3321 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3660/statm: 3611 3321 77 171 0 3438 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 19800
[startup+25.5018 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 3660
/proc/meminfo: memFree=1699112/2055920 swapFree=4131180/4192956
[pid=3654] ppid=3652 vsize=5356 CPUtime=0.1
/proc/3654/stat : 3654 (SatELiteGTI) S 3652 3654 3335 0 -1 4194304 336 1009 0 0 0 0 10 0 15 0 1 0 310958688 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3654/statm: 1339 239 197 169 0 50 0
[pid=3660] ppid=3654 vsize=17756 CPUtime=25.37
/proc/3660/stat : 3660 (minisat_static) R 3654 3654 3335 0 -1 4194304 4152 0 0 0 2534 3 0 0 25 0 1 0 310958700 18182144 4138 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/3660/statm: 4439 4138 77 171 0 4266 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 23112
[startup+51.1017 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 3660
/proc/meminfo: memFree=1698280/2055920 swapFree=4131180/4192956
[pid=3654] ppid=3652 vsize=5356 CPUtime=0.1
/proc/3654/stat : 3654 (SatELiteGTI) S 3652 3654 3335 0 -1 4194304 336 1009 0 0 0 0 10 0 15 0 1 0 310958688 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3654/statm: 1339 239 197 169 0 50 0
[pid=3660] ppid=3654 vsize=18668 CPUtime=50.93
/proc/3660/stat : 3660 (minisat_static) R 3654 3654 3335 0 -1 4194304 4370 0 0 0 5090 3 0 0 25 0 1 0 310958700 19116032 4356 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 0 0 0
/proc/3660/statm: 4667 4356 77 171 0 4494 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 24024
[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 3660
/proc/meminfo: memFree=1697896/2055920 swapFree=4131180/4192956
[pid=3654] ppid=3652 vsize=5356 CPUtime=0.1
/proc/3654/stat : 3654 (SatELiteGTI) S 3652 3654 3335 0 -1 4194304 336 1009 0 0 0 0 10 0 15 0 1 0 310958688 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3654/statm: 1339 239 197 169 0 50 0
[pid=3660] ppid=3654 vsize=18984 CPUtime=102.11
/proc/3660/stat : 3660 (minisat_static) R 3654 3654 3335 0 -1 4194304 4427 0 0 0 10208 3 0 0 25 0 1 0 310958700 19439616 4413 1992294400 134512640 135215339 4294956240 18446744073709551615 134528811 0 0 4096 3 0 0 0 17 0 0 0
/proc/3660/statm: 4746 4413 77 171 0 4573 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 24340
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 3660
/proc/meminfo: memFree=1697448/2055920 swapFree=4131180/4192956
[pid=3654] ppid=3652 vsize=5356 CPUtime=0.1
/proc/3654/stat : 3654 (SatELiteGTI) S 3652 3654 3335 0 -1 4194304 336 1009 0 0 0 0 10 0 15 0 1 0 310958688 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3654/statm: 1339 239 197 169 0 50 0
[pid=3660] ppid=3654 vsize=19412 CPUtime=162.09
/proc/3660/stat : 3660 (minisat_static) R 3654 3654 3335 0 -1 4194304 4519 0 0 0 16205 4 0 0 25 0 1 0 310958700 19877888 4505 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/3660/statm: 4853 4505 77 171 0 4680 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 24768
[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 3660
/proc/meminfo: memFree=1696808/2055920 swapFree=4131180/4192956
[pid=3654] ppid=3652 vsize=5356 CPUtime=0.1
/proc/3654/stat : 3654 (SatELiteGTI) S 3652 3654 3335 0 -1 4194304 336 1009 0 0 0 0 10 0 15 0 1 0 310958688 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3654/statm: 1339 239 197 169 0 50 0
[pid=3660] ppid=3654 vsize=20036 CPUtime=222.04
/proc/3660/stat : 3660 (minisat_static) R 3654 3654 3335 0 -1 4194304 4674 0 0 0 22200 4 0 0 25 0 1 0 310958700 20516864 4660 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3660/statm: 5009 4660 77 171 0 4836 0
Current children cumulated CPU time (s) 222.14
Current children cumulated vsize (KiB) 25392
[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 3660
/proc/meminfo: memFree=1696424/2055920 swapFree=4131180/4192956
[pid=3654] ppid=3652 vsize=5356 CPUtime=0.1
/proc/3654/stat : 3654 (SatELiteGTI) S 3652 3654 3335 0 -1 4194304 336 1009 0 0 0 0 10 0 15 0 1 0 310958688 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3654/statm: 1339 239 197 169 0 50 0
[pid=3660] ppid=3654 vsize=20636 CPUtime=282.01
/proc/3660/stat : 3660 (minisat_static) R 3654 3654 3335 0 -1 4194304 4805 0 0 0 28196 5 0 0 25 0 1 0 310958700 21131264 4791 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 0 0 0
/proc/3660/statm: 5159 4791 77 171 0 4986 0
Current children cumulated CPU time (s) 282.11
Current children cumulated vsize (KiB) 25992
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 3660
/proc/meminfo: memFree=1695656/2055920 swapFree=4131180/4192956
[pid=3654] ppid=3652 vsize=5356 CPUtime=0.1
/proc/3654/stat : 3654 (SatELiteGTI) S 3652 3654 3335 0 -1 4194304 336 1009 0 0 0 0 10 0 15 0 1 0 310958688 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3654/statm: 1339 239 197 169 0 50 0
[pid=3660] ppid=3654 vsize=21204 CPUtime=341.98
/proc/3660/stat : 3660 (minisat_static) R 3654 3654 3335 0 -1 4194304 4956 0 0 0 34193 5 0 0 25 0 1 0 310958700 21712896 4942 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3660/statm: 5301 4942 77 171 0 5128 0
Current children cumulated CPU time (s) 342.08
Current children cumulated vsize (KiB) 26560
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 3660
/proc/meminfo: memFree=1690536/2055920 swapFree=4131180/4192956
[pid=3654] ppid=3652 vsize=5356 CPUtime=0.1
/proc/3654/stat : 3654 (SatELiteGTI) S 3652 3654 3335 0 -1 4194304 336 1009 0 0 0 0 10 0 15 0 1 0 310958688 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3654/statm: 1339 239 197 169 0 50 0
[pid=3660] ppid=3654 vsize=26516 CPUtime=401.95
/proc/3660/stat : 3660 (minisat_static) R 3654 3654 3335 0 -1 4194304 6263 0 0 0 40188 7 0 0 25 0 1 0 310958700 27152384 6249 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3660/statm: 6629 6249 77 171 0 6456 0
Current children cumulated CPU time (s) 402.05
Current children cumulated vsize (KiB) 31872
[startup+462.301 s]
################
# More data... #
################
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 3660
/proc/meminfo: memFree=1688872/2055920 swapFree=4131180/4192956
[pid=3654] ppid=3652 vsize=5356 CPUtime=0.1
/proc/3654/stat : 3654 (SatELiteGTI) S 3652 3654 3335 0 -1 4194304 336 1009 0 0 0 0 10 0 15 0 1 0 310958688 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3654/statm: 1339 239 197 169 0 50 0
[pid=3660] ppid=3654 vsize=28172 CPUtime=641.85
/proc/3660/stat : 3660 (minisat_static) R 3654 3654 3335 0 -1 4194304 6640 0 0 0 64177 8 0 0 25 0 1 0 310958700 28848128 6626 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/3660/statm: 7043 6626 77 171 0 6870 0
Current children cumulated CPU time (s) 641.95
Current children cumulated vsize (KiB) 33528
[startup+702.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 3660
/proc/meminfo: memFree=1687656/2055920 swapFree=4131180/4192956
[pid=3654] ppid=3652 vsize=5356 CPUtime=0.1
/proc/3654/stat : 3654 (SatELiteGTI) S 3652 3654 3335 0 -1 4194304 336 1009 0 0 0 0 10 0 15 0 1 0 310958688 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3654/statm: 1339 239 197 169 0 50 0
[pid=3660] ppid=3654 vsize=29420 CPUtime=701.81
/proc/3660/stat : 3660 (minisat_static) R 3654 3654 3335 0 -1 4194304 6917 0 0 0 70173 8 0 0 25 0 1 0 310958700 30126080 6903 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3660/statm: 7355 6903 77 171 0 7182 0
Current children cumulated CPU time (s) 701.91
Current children cumulated vsize (KiB) 34776
[startup+762.307 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 3660
/proc/meminfo: memFree=1687592/2055920 swapFree=4131180/4192956
[pid=3654] ppid=3652 vsize=5356 CPUtime=0.1
/proc/3654/stat : 3654 (SatELiteGTI) S 3652 3654 3335 0 -1 4194304 336 1009 0 0 0 0 10 0 15 0 1 0 310958688 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3654/statm: 1339 239 197 169 0 50 0
[pid=3660] ppid=3654 vsize=29420 CPUtime=761.78
/proc/3660/stat : 3660 (minisat_static) R 3654 3654 3335 0 -1 4194304 6917 0 0 0 76170 8 0 0 25 0 1 0 310958700 30126080 6903 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 0 0 0
/proc/3660/statm: 7355 6903 77 171 0 7182 0
Current children cumulated CPU time (s) 761.88
Current children cumulated vsize (KiB) 34776
[startup+822.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 3660
/proc/meminfo: memFree=1687528/2055920 swapFree=4131180/4192956
[pid=3654] ppid=3652 vsize=5356 CPUtime=0.1
/proc/3654/stat : 3654 (SatELiteGTI) S 3652 3654 3335 0 -1 4194304 336 1009 0 0 0 0 10 0 15 0 1 0 310958688 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3654/statm: 1339 239 197 169 0 50 0
[pid=3660] ppid=3654 vsize=29560 CPUtime=821.75
/proc/3660/stat : 3660 (minisat_static) R 3654 3654 3335 0 -1 4194304 6948 0 0 0 82167 8 0 0 25 0 1 0 310958700 30269440 6934 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3660/statm: 7390 6934 77 171 0 7217 0
Current children cumulated CPU time (s) 821.85
Current children cumulated vsize (KiB) 34916
[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 3660
/proc/meminfo: memFree=1687464/2055920 swapFree=4131180/4192956
[pid=3654] ppid=3652 vsize=5356 CPUtime=0.1
/proc/3654/stat : 3654 (SatELiteGTI) S 3652 3654 3335 0 -1 4194304 336 1009 0 0 0 0 10 0 15 0 1 0 310958688 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3654/statm: 1339 239 197 169 0 50 0
[pid=3660] ppid=3654 vsize=29560 CPUtime=881.72
/proc/3660/stat : 3660 (minisat_static) R 3654 3654 3335 0 -1 4194304 6950 0 0 0 88164 8 0 0 25 0 1 0 310958700 30269440 6936 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 0 0 0
/proc/3660/statm: 7390 6936 77 171 0 7217 0
Current children cumulated CPU time (s) 881.82
Current children cumulated vsize (KiB) 34916
[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 3660
/proc/meminfo: memFree=1682152/2055920 swapFree=4131180/4192956
[pid=3654] ppid=3652 vsize=5356 CPUtime=0.1
/proc/3654/stat : 3654 (SatELiteGTI) S 3652 3654 3335 0 -1 4194304 336 1009 0 0 0 0 10 0 15 0 1 0 310958688 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3654/statm: 1339 239 197 169 0 50 0
[pid=3660] ppid=3654 vsize=35024 CPUtime=941.69
/proc/3660/stat : 3660 (minisat_static) R 3654 3654 3335 0 -1 4194304 8271 0 0 0 94159 10 0 0 25 0 1 0 310958700 35864576 8257 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 0 0 0
/proc/3660/statm: 8756 8257 77 171 0 8583 0
Current children cumulated CPU time (s) 941.79
Current children cumulated vsize (KiB) 40380
Solver just ended. Dumping a history of the last processes samples
[startup+947.106 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 3660
/proc/meminfo: memFree=1682088/2055920 swapFree=4131180/4192956
[pid=3654] ppid=3652 vsize=5356 CPUtime=0.1
/proc/3654/stat : 3654 (SatELiteGTI) S 3652 3654 3335 0 -1 4194304 336 1009 0 0 0 0 10 0 15 0 1 0 310958688 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3654/statm: 1339 239 197 169 0 50 0
[pid=3660] ppid=3654 vsize=35024 CPUtime=946.49
/proc/3660/stat : 3660 (minisat_static) R 3654 3654 3335 0 -1 4194304 8285 0 0 0 94639 10 0 0 25 0 1 0 310958700 35864576 8271 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3660/statm: 8756 8271 77 171 0 8583 0
Current children cumulated CPU time (s) 946.59
Current children cumulated vsize (KiB) 40380
[startup+972.702 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 3660
/proc/meminfo: memFree=1682088/2055920 swapFree=4131180/4192956
[pid=3654] ppid=3652 vsize=5356 CPUtime=0.1
/proc/3654/stat : 3654 (SatELiteGTI) S 3652 3654 3335 0 -1 4194304 336 1009 0 0 0 0 10 0 15 0 1 0 310958688 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3654/statm: 1339 239 197 169 0 50 0
[pid=3660] ppid=3654 vsize=35024 CPUtime=972.08
/proc/3660/stat : 3660 (minisat_static) R 3654 3654 3335 0 -1 4194304 8286 0 0 0 97198 10 0 0 25 0 1 0 310958700 35864576 8272 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/3660/statm: 8756 8272 77 171 0 8583 0
Current children cumulated CPU time (s) 972.18
Current children cumulated vsize (KiB) 40380
[startup+979.101 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 3660
/proc/meminfo: memFree=1682088/2055920 swapFree=4131180/4192956
[pid=3654] ppid=3652 vsize=5356 CPUtime=0.1
/proc/3654/stat : 3654 (SatELiteGTI) S 3652 3654 3335 0 -1 4194304 336 1009 0 0 0 0 10 0 15 0 1 0 310958688 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3654/statm: 1339 239 197 169 0 50 0
[pid=3660] ppid=3654 vsize=35024 CPUtime=978.47
/proc/3660/stat : 3660 (minisat_static) R 3654 3654 3335 0 -1 4194304 8286 0 0 0 97837 10 0 0 25 0 1 0 310958700 35864576 8272 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3660/statm: 8756 8272 77 171 0 8583 0
Current children cumulated CPU time (s) 978.57
Current children cumulated vsize (KiB) 40380
[startup+982.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 3660
/proc/meminfo: memFree=1682088/2055920 swapFree=4131180/4192956
[pid=3654] ppid=3652 vsize=5356 CPUtime=0.1
/proc/3654/stat : 3654 (SatELiteGTI) S 3652 3654 3335 0 -1 4194304 336 1009 0 0 0 0 10 0 15 0 1 0 310958688 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3654/statm: 1339 239 197 169 0 50 0
[pid=3660] ppid=3654 vsize=35024 CPUtime=981.68
/proc/3660/stat : 3660 (minisat_static) R 3654 3654 3335 0 -1 4194304 8286 0 0 0 98158 10 0 0 25 0 1 0 310958700 35864576 8272 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3660/statm: 8756 8272 77 171 0 8583 0
Current children cumulated CPU time (s) 981.78
Current children cumulated vsize (KiB) 40380
[startup+985.501 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 3660
/proc/meminfo: memFree=1682088/2055920 swapFree=4131180/4192956
[pid=3654] ppid=3652 vsize=5356 CPUtime=0.1
/proc/3654/stat : 3654 (SatELiteGTI) S 3652 3654 3335 0 -1 4194304 336 1009 0 0 0 0 10 0 15 0 1 0 310958688 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3654/statm: 1339 239 197 169 0 50 0
[pid=3660] ppid=3654 vsize=35024 CPUtime=984.88
/proc/3660/stat : 3660 (minisat_static) R 3654 3654 3335 0 -1 4194304 8286 0 0 0 98478 10 0 0 25 0 1 0 310958700 35864576 8272 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/3660/statm: 8756 8272 77 171 0 8583 0
Current children cumulated CPU time (s) 984.98
Current children cumulated vsize (KiB) 40380
[startup+986.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 3660
/proc/meminfo: memFree=1682088/2055920 swapFree=4131180/4192956
[pid=3654] ppid=3652 vsize=5356 CPUtime=0.1
/proc/3654/stat : 3654 (SatELiteGTI) S 3652 3654 3335 0 -1 4194304 336 1009 0 0 0 0 10 0 15 0 1 0 310958688 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3654/statm: 1339 239 197 169 0 50 0
[pid=3660] ppid=3654 vsize=35024 CPUtime=985.67
/proc/3660/stat : 3660 (minisat_static) R 3654 3654 3335 0 -1 4194304 8286 0 0 0 98557 10 0 0 25 0 1 0 310958700 35864576 8272 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/3660/statm: 8756 8272 77 171 0 8583 0
Current children cumulated CPU time (s) 985.77
Current children cumulated vsize (KiB) 40380
[startup+987.101 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 3660
/proc/meminfo: memFree=1682088/2055920 swapFree=4131180/4192956
[pid=3654] ppid=3652 vsize=5356 CPUtime=0.1
/proc/3654/stat : 3654 (SatELiteGTI) S 3652 3654 3335 0 -1 4194304 336 1009 0 0 0 0 10 0 15 0 1 0 310958688 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3654/statm: 1339 239 197 169 0 50 0
[pid=3660] ppid=3654 vsize=35024 CPUtime=986.47
/proc/3660/stat : 3660 (minisat_static) R 3654 3654 3335 0 -1 4194304 8286 0 0 0 98637 10 0 0 25 0 1 0 310958700 35864576 8272 1992294400 134512640 135215339 4294956240 18446744073709551615 134532646 0 0 4096 3 0 0 0 17 0 0 0
/proc/3660/statm: 8756 8272 77 171 0 8583 0
Current children cumulated CPU time (s) 986.57
Current children cumulated vsize (KiB) 40380
[startup+987.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 3660
/proc/meminfo: memFree=1682088/2055920 swapFree=4131180/4192956
[pid=3654] ppid=3652 vsize=5356 CPUtime=0.1
/proc/3654/stat : 3654 (SatELiteGTI) S 3652 3654 3335 0 -1 4194304 336 1009 0 0 0 0 10 0 15 0 1 0 310958688 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3654/statm: 1339 239 197 169 0 50 0
[pid=3660] ppid=3654 vsize=35024 CPUtime=986.67
/proc/3660/stat : 3660 (minisat_static) R 3654 3654 3335 0 -1 4194304 8286 0 0 0 98657 10 0 0 25 0 1 0 310958700 35864576 8272 1992294400 134512640 135215339 4294956240 18446744073709551615 134528802 0 0 4096 3 0 0 0 17 0 0 0
/proc/3660/statm: 8756 8272 77 171 0 8583 0
Current children cumulated CPU time (s) 986.77
Current children cumulated vsize (KiB) 40380
Child status: 10
Real time (s): 987.385
CPU time (s): 986.874
CPU user time (s): 986.753
CPU system time (s): 0.120981
CPU usage (%): 99.9483
Max. virtual memory (cumulated for all children) (KiB): 40380
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 986.753
system time used= 0.120981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9938
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 49
involuntary context switches= 3764
runsolver used 1.06084 second user time and 2.6446 second system time
The end
Begin job on node85 at 2009-05-20 16:21:30
IDJOB=1834267
IDBENCH=71800
IDSOLVER=671
FILE ID=node85/1834267-1242829290
PBS_JOBID= 9322486
Free space on /tmp= 126504 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/CRAFTED/sgi/new-difficult-24-193-22-70.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1834267-1242829290/watcher-1834267-1242829290 -o /tmp/evaluation-result-1834267-1242829290/solver-1834267-1242829290 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1834267-1242829290.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 0a7df8011edd7a5f3da371261f9b3f8b
RANDOM SEED=869181005
node85.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.238
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.238
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1716888 kB
Buffers: 53872 kB
Cached: 181620 kB
SwapCached: 56432 kB
Active: 55252 kB
Inactive: 238744 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1716888 kB
SwapTotal: 4192956 kB
SwapFree: 4131180 kB
Dirty: 1932 kB
Writeback: 0 kB
Mapped: 14040 kB
Slab: 31056 kB
Committed_AS: 965952 kB
PageTables: 1376 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= 126504 MiB
End job on node85 at 2009-05-20 16:37:58