0.00/0.00 c Parsing...
1.02/1.02 c ==============================================================================
1.02/1.02 c | | ORIGINAL | LEARNT | |
1.02/1.02 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
1.02/1.02 c ==============================================================================
1.02/1.02 c | 0 | 1332772 3936682 | 399831 0 0 nan | 0.000 % |
9.91/10.00 c | 0 | 1317234 4010071 | -- 0 -- -- | -- | -15195/74092
9.91/10.00 c ==============================================================================
9.91/10.00 c Result : #vars: 30665 #clauses: 1317234 #literals: 4010071
9.91/10.00 c CPU time: 9.82 s
9.91/10.00 c ==============================================================================
11.22/11.38 c This is MiniSat 2.0 beta
11.22/11.38 c WARNING: for repeatability, setting FPU to use double precision
11.22/11.38 c ============================[ Problem Statistics ]=============================
11.22/11.38 c | |
11.22/11.39 c | Number of variables: 30665 |
11.22/11.39 c | Number of clauses: 1317234 |
12.03/12.15 c | Parsing time: 0.63 s |
12.03/12.21 c ============================[ Search Statistics ]==============================
12.03/12.21 c | Conflicts | ORIGINAL | LEARNT | Progress |
12.03/12.21 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
12.03/12.21 c ===============================================================================
12.03/12.21 c | 0 | 30665 1317234 4010071 | 439078 0 nan | 0.000 % |
12.32/12.47 c | 100 | 30665 1317234 4010071 | 439078 100 244 | 0.000 % |
12.42/12.54 c | 200 | 30665 1317234 4010071 | 439078 200 178 | 0.000 % |
12.42/12.57 c | 301 | 30665 1317234 4010071 | 439078 301 126 | 0.000 % |
12.52/12.69 c | 411 | 30665 1317234 4010071 | 439078 411 109 | 0.000 % |
12.62/12.75 c | 511 | 30665 1317234 4010071 | 439078 511 104 | 0.000 % |
12.72/12.86 c | 621 | 30665 1317234 4010071 | 439078 621 100 | 0.000 % |
12.82/12.93 c | 742 | 30665 1317234 4010071 | 439078 742 90 | 0.000 % |
12.82/12.98 c | 846 | 30665 1317234 4010071 | 439078 846 89 | 0.000 % |
12.92/13.05 c | 958 | 30665 1317234 4010071 | 439078 958 86 | 0.000 % |
13.02/13.13 c | 1079 | 30665 1317234 4010071 | 439078 1079 84 | 0.000 % |
13.02/13.18 c | 1212 | 30665 1317234 4010071 | 439078 1212 81 | 0.000 % |
13.02/13.20 c | 1312 | 30665 1317234 4010071 | 439078 1312 78 | 0.000 % |
13.13/13.22 c | 1423 | 30665 1317234 4010071 | 439078 1423 77 | 0.000 % |
13.13/13.25 c | 1544 | 30665 1317234 4010071 | 439078 1544 75 | 0.000 % |
13.13/13.28 c | 1679 | 30665 1317234 4010071 | 439078 1679 75 | 0.000 % |
13.13/13.30 c | 1826 | 30665 1317234 4010071 | 439078 1826 72 | 0.000 % |
13.22/13.35 c | 1927 | 30665 1317234 4010071 | 439078 1927 73 | 0.000 % |
13.32/13.41 c | 2040 | 30665 1317234 4010071 | 439078 2040 77 | 0.000 % |
13.42/13.52 c | 2163 | 30665 1317234 4010071 | 439078 2163 79 | 0.000 % |
13.42/13.56 c | 2297 | 30665 1317234 4010071 | 439078 2297 79 | 0.000 % |
13.52/13.64 c | 2444 | 30665 1317234 4010071 | 439078 2444 80 | 0.000 % |
13.52/13.70 c | 2606 | 30665 1317234 4010071 | 439078 2606 82 | 0.000 % |
13.72/13.81 c | 2708 | 30665 1317234 4010071 | 439078 2708 84 | 0.000 % |
13.81/13.96 c | 2825 | 30665 1317234 4010071 | 439078 2825 82 | 0.000 % |
13.91/14.03 c | 2947 | 30665 1317234 4010071 | 439078 2947 83 | 0.000 % |
14.01/14.13 c | 3086 | 30665 1317234 4010071 | 439078 3086 86 | 0.000 % |
14.11/14.29 c | 3232 | 30665 1317234 4010071 | 439078 3232 87 | 0.000 % |
14.22/14.36 c | 3392 | 30665 1317234 4010071 | 439078 3392 84 | 0.000 % |
14.31/14.43 c | 3572 | 30665 1317234 4010071 | 439078 3572 86 | 0.000 % |
14.31/14.50 c | 3672 | 30665 1317234 4010071 | 439078 3672 88 | 0.000 % |
14.41/14.54 c | 3783 | 30665 1317234 4010071 | 439078 3783 88 | 0.000 % |
14.41/14.61 c | 3905 | 30665 1317234 4010071 | 439078 3905 88 | 0.000 % |
14.61/14.76 c | 4038 | 30665 1317234 4010071 | 439078 4038 88 | 0.000 % |
14.71/14.84 c | 4185 | 30665 1317234 4010071 | 439078 4185 90 | 0.000 % |
14.71/14.86 c | 4345 | 30665 1317234 4010071 | 439078 4345 88 | 0.000 % |
14.81/14.94 c | 4523 | 30665 1317234 4010071 | 439078 4523 88 | 0.000 % |
15.01/15.12 c | 4718 | 30665 1317234 4010071 | 439078 4718 88 | 0.000 % |
15.01/15.20 c | 4818 | 30665 1317234 4010071 | 439078 4818 88 | 0.000 % |
15.21/15.37 c | 4928 | 30665 1317234 4010071 | 439078 4928 87 | 0.000 % |
15.21/15.41 c | 5050 | 30665 1317234 4010071 | 439078 5050 86 | 0.000 % |
15.51/15.64 c | 5183 | 30665 1317234 4010071 | 439078 5183 85 | 0.000 % |
15.61/15.72 c | 5329 | 30665 1317234 4010071 | 439078 5329 86 | 0.000 % |
15.61/15.76 c | 5490 | 30665 1317234 4010071 | 439078 5490 85 | 0.000 % |
15.71/15.82 c | 5667 | 30665 1317234 4010071 | 439078 5667 86 | 0.000 % |
15.91/16.05 c | 5861 | 30665 1317234 4010071 | 439078 5861 85 | 0.000 % |
16.01/16.14 c | 6073 | 30665 1317234 4010071 | 439078 6073 85 | 0.000 % |
16.11/16.22 c | 6174 | 30665 1317234 4010071 | 439078 6174 86 | 0.000 % |
16.11/16.26 c | 6284 | 30665 1317234 4010071 | 439078 6284 86 | 0.000 % |
16.11/16.29 c | 6408 | 30665 1317234 4010071 | 439078 6408 85 | 0.000 % |
16.21/16.35 c | 6542 | 30665 1317234 4010071 | 439078 6542 86 | 0.000 % |
16.31/16.51 c | 6688 | 30665 1317234 4010071 | 439078 6688 88 | 0.000 % |
16.42/16.60 c | 6848 | 30665 1317234 4010071 | 439078 6848 87 | 0.000 % |
16.51/16.64 c | 7025 | 30665 1317234 4010071 | 439078 7025 88 | 0.000 % |
16.61/16.77 c | 7218 | 30665 1317234 4010071 | 439078 7218 88 | 0.000 % |
16.71/16.82 c | 7430 | 30665 1317234 4010071 | 439078 7430 91 | 0.000 % |
16.81/16.94 c | 7664 | 30665 1317234 4010071 | 439078 7664 90 | 0.000 % |
16.81/16.97 c | 7764 | 30665 1317234 4010071 | 439078 7764 90 | 0.000 % |
16.91/17.03 c | 7875 | 30665 1317234 4010071 | 439078 7875 90 | 0.000 % |
16.91/17.10 c | 8001 | 30665 1317234 4010071 | 439078 8001 90 | 0.000 % |
17.11/17.22 c | 8136 | 30665 1317234 4010071 | 439078 8136 90 | 0.000 % |
17.11/17.26 c | 8282 | 30665 1317234 4010071 | 439078 8282 89 | 0.000 % |
17.21/17.32 c | 8443 | 30665 1317234 4010071 | 439078 8443 90 | 0.000 % |
17.31/17.45 c | 8622 | 30665 1317234 4010071 | 439078 8622 89 | 0.000 % |
17.52/17.65 c | 8815 | 30665 1317234 4010071 | 439078 8815 89 | 0.000 % |
17.61/17.72 c | 9030 | 30665 1317234 4010071 | 439078 9030 89 | 0.000 % |
17.71/17.85 c | 9264 | 30665 1317234 4010071 | 439078 9264 89 | 0.000 % |
17.91/18.02 c | 9520 | 30665 1317234 4010071 | 439078 9520 89 | 0.000 % |
17.91/18.10 c | 9620 | 30665 1317234 4010071 | 439078 9620 89 | 0.000 % |
18.01/18.19 c | 9732 | 30665 1317234 4010071 | 439078 9732 88 | 0.000 % |
18.11/18.26 c | 9853 | 30665 1317234 4010071 | 439078 9853 89 | 0.000 % |
18.21/18.36 c | 9986 | 30665 1317234 4010071 | 439078 9986 89 | 0.000 % |
18.31/18.41 c | 10134 | 30665 1317234 4010071 | 2147483647 10134 89 | 0.000 % |
18.41/18.53 c | 10302 | 30665 1317234 4010071 | 2147483647 10302 89 | 0.000 % |
18.51/18.63 c | 10478 | 30665 1317234 4010071 | 2147483647 10478 89 | 0.000 % |
18.62/18.76 c | 10683 | 30665 1317234 4010071 | 2147483647 10683 90 | 0.000 % |
18.81/19.00 c | 10898 | 30665 1317234 4010071 | 2147483647 10898 90 | 0.000 % |
18.91/19.10 c | 11131 | 30665 1317234 4010071 | 2147483647 11131 89 | 0.000 % |
19.11/19.23 c | 11390 | 30665 1317234 4010071 | 2147483647 11390 90 | 0.000 % |
19.21/19.33 c | 11671 | 30665 1317234 4010071 | 2147483647 11671 90 | 0.000 % |
19.21/19.38 c | 11772 | 30665 1317234 4010071 | 2147483647 11772 90 | 0.000 % |
19.31/19.48 c | 11882 | 30665 1317234 4010071 | 2147483647 11882 90 | 0.000 % |
19.41/19.55 c | 12006 | 30665 1317234 4010071 | 2147483647 12006 91 | 0.000 % |
19.51/19.65 c | 12139 | 30665 1317234 4010071 | 2147483647 12139 91 | 0.000 % |
19.61/19.72 c | 12289 | 30665 1317234 4010071 | 2147483647 12289 91 | 0.000 % |
19.61/19.76 c | 12450 | 30665 1317234 4010071 | 2147483647 12450 90 | 0.000 % |
19.61/19.80 c | 12626 | 30665 1317234 4010071 | 2147483647 12626 91 | 0.000 % |
19.81/19.92 c | 12819 | 30665 1317234 4010071 | 2147483647 12819 90 | 0.000 % |
19.91/20.01 c | 13031 | 30665 1317234 4010071 | 2147483647 13031 91 | 0.000 % |
20.01/20.15 c | 13264 | 30665 1317234 4010071 | 2147483647 13264 92 | 0.000 % |
20.11/20.24 c | 13521 | 30665 1317234 4010071 | 2147483647 13521 92 | 0.000 % |
20.31/20.50 c | 13802 | 30665 1317234 4010071 | 2147483647 13802 92 | 0.000 % |
20.41/20.59 c | 14111 | 30665 1317234 4010071 | 2147483647 14111 93 | 0.000 % |
20.51/20.66 c | 14212 | 30665 1317234 4010071 | 2147483647 14212 94 | 0.000 % |
20.61/20.76 c | 14322 | 30665 1317234 4010071 | 2147483647 14322 94 | 0.000 % |
20.71/20.82 c | 14443 | 30665 1317234 4010071 | 2147483647 14443 94 | 0.000 % |
20.71/20.89 c | 14576 | 30665 1317234 4010071 | 2147483647 14576 94 | 0.000 % |
20.82/20.96 c | 14723 | 30665 1317234 4010071 | 2147483647 14723 94 | 0.000 % |
20.91/21.03 c | 14883 | 30665 1317234 4010071 | 2147483647 14883 94 | 0.000 % |
21.11/21.26 c | 15059 | 30665 1317234 4010071 | 2147483647 15059 94 | 0.000 % |
21.21/21.37 c | 15252 | 30665 1317234 4010071 | 2147483647 15252 94 | 0.000 % |
21.31/21.50 c | 15465 | 30665 1317234 4010071 | 2147483647 15465 94 | 0.000 % |
21.61/21.77 c | 15700 | 30665 1317234 4010071 | 2147483647 15700 94 | 0.000 % |
21.81/21.95 c | 15962 | 30665 1317234 4010071 | 2147483647 15962 94 | 0.000 % |
22.01/22.14 c | 16243 | 30665 1317234 4010071 | 2147483647 16243 95 | 0.000 % |
22.11/22.24 c | 16554 | 30665 1317234 4010071 | 2147483647 16554 95 | 0.000 % |
22.31/22.46 c | 16895 | 30665 1317234 4010071 | 2147483647 16895 97 | 0.000 % |
22.31/22.50 c | 16996 | 30665 1317234 4010071 | 2147483647 16996 97 | 0.000 % |
22.51/22.64 c | 17108 | 30665 1317234 4010071 | 2147483647 17108 96 | 0.000 % |
22.51/22.70 c | 17230 | 30665 1317234 4010071 | 2147483647 17230 97 | 0.000 % |
22.61/22.79 c | 17363 | 30665 1317234 4010071 | 2147483647 17363 97 | 0.000 % |
22.71/22.85 c | 17511 | 30665 1317234 4010071 | 2147483647 17511 98 | 0.000 % |
22.81/23.00 c | 17672 | 30665 1317234 4010071 | 2147483647 17672 98 | 0.000 % |
22.91/23.10 c | 17848 | 30665 1317234 4010071 | 2147483647 17848 98 | 0.000 % |
23.11/23.29 c | 18042 | 30665 1317234 4010071 | 2147483647 18042 98 | 0.000 % |
23.31/23.44 c | 18255 | 30665 1317234 4010071 | 2147483647 18255 98 | 0.000 % |
23.41/23.57 c | 18488 | 30665 1317234 4010071 | 2147483647 18488 97 | 0.000 % |
23.51/23.63 c | 18744 | 30665 1317234 4010071 | 2147483647 18744 97 | 0.000 % |
23.61/23.81 c | 19027 | 30665 1317234 4010071 | 2147483647 19027 97 | 0.000 % |
23.81/23.94 c | 19336 | 30665 1317234 4010071 | 2147483647 19336 98 | 0.000 % |
23.91/24.10 c | 19677 | 30665 1317234 4010071 | 2147483647 19677 97 | 0.000 % |
24.21/24.37 c | 20054 | 30665 1317234 4010071 | 2147483647 20054 97 | 0.000 % |
24.31/24.46 c | 20154 | 30665 1317234 4010071 | 2147483647 20154 97 | 0.000 % |
24.41/24.55 c | 20266 | 30665 1317234 4010071 | 2147483647 20266 97 | 0.000 % |
24.41/24.60 c | 20387 | 30665 1317234 4010071 | 2147483647 20387 97 | 0.000 % |
24.61/24.71 c | 20524 | 30665 1317234 4010071 | 2147483647 20524 98 | 0.000 % |
24.71/24.81 c | 20670 | 30665 1317234 4010071 | 2147483647 20670 98 | 0.000 % |
24.81/24.91 c | 20831 | 30665 1317234 4010071 | 2147483647 20831 98 | 0.000 % |
24.81/24.98 c | 21010 | 30665 1317234 4010071 | 2147483647 21010 99 | 0.000 % |
25.01/25.13 c | 21205 | 30665 1317234 4010071 | 2147483647 21205 99 | 0.000 % |
25.11/25.23 c | 21418 | 30665 1317234 4010071 | 2147483647 21418 99 | 0.000 % |
25.22/25.37 c | 21651 | 30665 1317234 4010071 | 2147483647 21651 99 | 0.000 % |
25.41/25.54 c | 21907 | 30665 1317234 4010071 | 2147483647 21907 99 | 0.000 % |
25.51/25.70 c | 22189 | 30665 1317234 4010071 | 2147483647 22189 99 | 0.000 % |
25.71/25.87 c | 22499 | 30665 1317234 4010071 | 2147483647 22499 99 | 0.000 % |
25.91/26.07 c | 22839 | 30665 1317234 4010071 | 2147483647 22839 100 | 0.000 % |
26.11/26.25 c | 23212 | 30665 1317234 4010071 | 2147483647 23212 99 | 0.000 % |
26.21/26.40 c | 23622 | 30665 1317234 4010071 | 2147483647 23622 99 | 0.000 % |
26.32/26.42 c | 23728 | 30665 1317234 4010071 | 2147483647 23728 99 | 0.000 % |
26.32/26.49 c | 23838 | 30665 1317234 4010071 | 2147483647 23838 99 | 0.000 % |
26.41/26.56 c | 23959 | 30665 1317234 4010071 | 2147483647 23959 99 | 0.000 % |
26.51/26.64 c | 24095 | 30665 1317234 4010071 | 2147483647 24095 99 | 0.000 % |
26.61/26.78 c | 24242 | 30665 1317234 4010071 | 2147483647 24242 99 | 0.000 % |
26.71/26.90 c | 24404 | 30665 1317234 4010071 | 2147483647 24404 99 | 0.000 % |
26.81/26.99 c | 24583 | 30665 1317234 4010071 | 2147483647 24583 99 | 0.000 % |
27.01/27.14 c | 24776 | 30665 1317234 4010071 | 2147483647 24776 99 | 0.000 % |
27.11/27.22 c | 24989 | 30665 1317234 4010071 | 2147483647 24989 99 | 0.000 % |
27.21/27.36 c | 25224 | 30665 1317234 4010071 | 2147483647 25224 100 | 0.000 % |
27.31/27.46 c | 25482 | 30665 1317234 4010071 | 2147483647 25482 101 | 0.000 % |
27.51/27.66 c | 25767 | 30665 1317234 4010071 | 2147483647 25767 101 | 0.000 % |
27.81/27.93 c | 26076 | 30665 1317234 4010071 | 2147483647 26076 102 | 0.000 % |
27.91/28.08 c | 26415 | 30665 1317234 4010071 | 2147483647 26415 102 | 0.000 % |
28.11/28.26 c | 26791 | 30665 1317234 4010071 | 2147483647 26791 102 | 0.000 % |
28.31/28.49 c | 27200 | 30665 1317234 4010071 | 2147483647 27200 102 | 0.000 % |
28.52/28.69 c | 27652 | 30665 1317234 4010071 | 2147483647 27652 102 | 0.000 % |
28.61/28.76 c | 27753 | 30665 1317234 4010071 | 2147483647 27753 102 | 0.000 % |
28.71/28.81 c | 27866 | 30665 1317234 4010071 | 2147483647 27866 102 | 0.000 % |
28.71/28.84 c | 27988 | 30665 1317234 4010071 | 2147483647 27988 102 | 0.000 % |
28.81/28.96 c | 28121 | 30665 1317234 4010071 | 2147483647 28121 102 | 0.000 % |
28.81/29.00 c | 28270 | 30665 1317234 4010071 | 2147483647 28270 102 | 0.000 % |
28.91/29.10 c | 28431 | 30665 1317234 4010071 | 2147483647 28431 102 | 0.000 % |
29.11/29.22 c | 28607 | 30665 1317234 4010071 | 2147483647 28607 101 | 0.000 % |
29.21/29.31 c | 28804 | 30665 1317234 4010071 | 2147483647 28804 101 | 0.000 % |
29.31/29.43 c | 29017 | 30665 1317234 4010071 | 2147483647 29017 101 | 0.000 % |
29.51/29.63 c | 29253 | 30665 1317234 4010071 | 2147483647 29253 102 | 0.000 % |
29.51/29.70 c | 29511 | 30665 1317234 4010071 | 2147483647 29511 101 | 0.000 % |
29.71/29.82 c | 29792 | 30665 1317234 4010071 | 2147483647 29792 102 | 0.000 % |
29.71/29.91 c | 30101 | 30665 1317234 4010071 | 2147483647 30101 101 | 0.000 % |
29.81/29.98 c | 30441 | 30665 1317234 4010071 | 2147483647 30441 101 | 0.000 % |
30.01/30.11 c | 30816 | 30665 1317234 4010071 | 2147483647 30816 100 | 0.000 % |
30.11/30.23 c | 31226 | 30665 1317234 4010071 | 2147483647 31226 100 | 0.000 % |
30.21/30.40 c | 31681 | 30665 1317234 4010071 | 2147483647 31681 100 | 0.000 % |
30.51/30.68 c | 32175 | 30665 1317234 4010071 | 2147483647 32175 100 | 0.000 % |
30.61/30.76 c | 32275 | 30665 1317234 4010071 | 2147483647 32275 100 | 0.000 % |
30.81/30.93 c | 32389 | 30665 1317234 4010071 | 2147483647 32389 100 | 0.000 % |
30.81/30.96 c | 32511 | 30665 1317234 4010071 | 2147483647 32511 100 | 0.000 % |
30.91/31.03 c | 32646 | 30665 1317234 4010071 | 2147483647 32646 100 | 0.000 % |
31.01/31.14 c | 32792 | 30665 1317234 4010071 | 2147483647 32792 100 | 0.000 % |
31.11/31.27 c | 32952 | 30665 1317234 4010071 | 2147483647 32952 100 | 0.000 % |
31.31/31.44 c | 33128 | 30665 1317234 4010071 | 2147483647 33128 100 | 0.000 % |
31.41/31.53 c | 33322 | 30665 1317234 4010071 | 2147483647 33322 100 | 0.000 % |
31.51/31.69 c | 33536 | 30665 1317234 4010071 | 2147483647 33536 100 | 0.000 % |
31.91/32.02 c | 33769 | 30665 1317234 4010071 | 2147483647 33769 100 | 0.000 % |
32.01/32.13 c | 34025 | 30665 1317234 4010071 | 2147483647 34025 100 | 0.000 % |
32.31/32.45 c | 34306 | 30665 1317234 4010071 | 2147483647 34306 100 | 0.000 % |
32.51/32.62 c | 34617 | 30665 1317234 4010071 | 2147483647 34617 99 | 0.000 % |
32.92/33.03 c | 34956 | 30665 1317234 4010071 | 2147483647 34956 101 | 0.000 % |
33.11/33.21 c | 35328 | 30665 1317234 4010071 | 2147483647 35328 101 | 0.000 % |
33.31/33.47 c | 35738 | 30665 1317234 4010071 | 2147483647 35738 101 | 0.000 % |
33.61/33.78 c | 36187 | 30665 1317234 4010071 | 2147483647 36187 101 | 0.000 % |
33.81/34.01 c | 36683 | 30665 1317234 4010071 | 2147483647 36683 101 | 0.000 % |
34.31/34.46 c | 37225 | 30665 1317234 4010071 | 2147483647 37225 100 | 0.000 % |
34.41/34.55 c | 37328 | 30665 1317234 4010071 | 2147483647 37328 100 | 0.000 % |
34.51/34.64 c | 37439 | 30665 1317234 4010071 | 2147483647 37439 100 | 0.000 % |
34.61/34.73 c | 37560 | 30665 1317234 4010071 | 2147483647 37560 100 | 0.000 % |
34.71/34.85 c | 37695 | 30665 1317234 4010071 | 2147483647 37695 100 | 0.000 % |
34.91/35.01 c | 37841 | 30665 1317234 4010071 | 2147483647 37841 100 | 0.000 % |
35.01/35.12 c | 38001 | 30665 1317234 4010071 | 2147483647 38001 100 | 0.000 % |
35.12/35.26 c | 38179 | 30665 1317234 4010071 | 2147483647 38179 100 | 0.000 % |
35.31/35.41 c | 38373 | 30665 1317234 4010071 | 2147483647 38373 100 | 0.000 % |
35.31/35.50 c | 38586 | 30665 1317234 4010071 | 2147483647 38586 100 | 0.000 % |
35.51/35.68 c | 38823 | 30665 1317234 4010071 | 2147483647 38823 100 | 0.000 % |
35.71/35.83 c | 39079 | 30665 1317234 4010071 | 2147483647 39079 101 | 0.000 % |
35.81/35.95 c | 39360 | 30665 1317234 4010071 | 2147483647 39360 101 | 0.000 % |
36.01/36.21 c | 39669 | 30665 1317234 4010071 | 2147483647 39669 101 | 0.000 % |
36.22/36.34 c | 40010 | 30665 1317234 4010071 | 2147483647 40010 100 | 0.000 % |
36.71/36.81 c | 40383 | 30665 1317234 4010071 | 2147483647 40383 100 | 0.000 % |
36.91/37.01 c | 40792 | 30665 1317234 4010071 | 2147483647 40792 100 | 0.000 % |
37.21/37.31 c | 41241 | 30665 1317234 4010071 | 2147483647 41241 100 | 0.000 % |
37.41/37.55 c | 41735 | 30665 1317234 4010071 | 2147483647 41735 100 | 0.000 % |
37.81/37.97 c | 42277 | 30665 1317234 4010071 | 2147483647 42277 99 | 0.000 % |
38.11/38.22 c | 42873 | 30665 1317234 4010071 | 2147483647 42873 100 | 0.000 % |
38.21/38.38 c | 42973 | 30665 1317234 4010071 | 2147483647 42973 100 | 0.000 % |
38.31/38.43 c | 43086 | 30665 1317234 4010071 | 2147483647 43086 100 | 0.000 % |
38.51/38.63 c | 43207 | 30665 1317234 4010071 | 2147483647 43207 100 | 0.000 % |
38.61/38.74 c | 43341 | 30665 1317234 4010071 | 2147483647 43341 100 | 0.000 % |
38.71/38.90 c | 43489 | 30665 1317234 4010071 | 2147483647 43489 99 | 0.000 % |
38.81/38.99 c | 43650 | 30665 1317234 4010071 | 2147483647 43650 100 | 0.000 % |
39.01/39.11 c | 43826 | 30665 1317234 4010071 | 2147483647 43826 100 | 0.000 % |
39.11/39.21 c | 44021 | 30665 1317234 4010071 | 2147483647 44021 100 | 0.000 % |
39.31/39.45 c | 44236 | 30665 1317234 4010071 | 2147483647 44236 100 | 0.000 % |
39.41/39.58 c | 44469 | 30665 1317234 4010071 | 2147483647 44469 100 | 0.000 % |
39.62/39.76 c | 44725 | 30665 1317234 4010071 | 2147483647 44725 100 | 0.000 % |
39.82/39.99 c | 45006 | 30665 1317234 4010071 | 2147483647 45006 99 | 0.000 % |
40.22/40.38 c | 45315 | 30665 1317234 4010071 | 2147483647 45315 99 | 0.000 % |
40.42/40.61 c | 45659 | 30665 1317234 4010071 | 2147483647 45659 99 | 0.000 % |
40.72/40.89 c | 46032 | 30665 1317234 4010071 | 2147483647 46032 99 | 0.000 % |
41.12/41.23 c | 46445 | 30665 1317234 4010071 | 2147483647 46445 99 | 0.000 % |
41.52/41.68 c | 46894 | 30665 1317234 4010071 | 2147483647 46894 98 | 0.000 % |
41.82/41.93 c | 47387 | 30665 1317234 4010071 | 2147483647 47387 99 | 0.000 % |
42.32/42.42 c | 47931 | 30665 1317234 4010071 | 2147483647 47931 98 | 0.000 % |
42.52/42.66 c | 48527 | 30665 1317234 4010071 | 2147483647 48527 98 | 0.000 % |
43.02/43.20 c | 49185 | 30665 1317234 4010071 | 2147483647 49185 98 | 0.000 % |
43.12/43.27 c | 49287 | 30665 1317234 4010071 | 2147483647 49287 98 | 0.000 % |
43.22/43.36 c | 49397 | 30665 1317234 4010071 | 2147483647 49397 98 | 0.000 % |
43.32/43.46 c | 49518 | 30665 1317234 4010071 | 2147483647 49518 98 | 0.000 % |
43.52/43.65 c | 49652 | 30665 1317234 4010071 | 2147483647 49652 98 | 0.000 % |
43.62/43.74 c | 49800 | 30665 1317234 4010071 | 2147483647 49800 98 | 0.000 % |
43.72/43.88 c | 49960 | 30665 1317234 4010071 | 2147483647 49960 98 | 0.000 % |
43.82/43.95 c | 50137 | 30665 1317234 4010071 | 2147483647 50137 98 | 0.000 % |
43.92/44.05 c | 50330 | 30665 1317234 4010071 | 2147483647 50330 98 | 0.000 % |
44.02/44.19 c | 50545 | 30665 1317234 4010071 | 2147483647 50545 97 | 0.000 % |
44.32/44.47 c | 50778 | 30665 1317234 4010071 | 2147483647 50778 97 | 0.000 % |
44.52/44.65 c | 51034 | 30665 1317234 4010071 | 2147483647 51034 97 | 0.000 % |
45.02/45.13 c | 51316 | 30665 1317234 4010071 | 2147483647 51316 97 | 0.000 % |
45.12/45.26 c | 51626 | 30665 1317234 4010071 | 2147483647 51626 97 | 0.000 % |
45.42/45.55 c | 51965 | 30665 1317234 4010071 | 2147483647 51965 97 | 0.000 % |
45.62/45.75 c | 52339 | 30665 1317234 4010071 | 2147483647 52339 97 | 0.000 % |
45.92/46.09 c | 52748 | 30665 1317234 4010071 | 2147483647 52748 96 | 0.000 % |
46.22/46.34 c | 53197 | 30665 1317234 4010071 | 2147483647 53197 96 | 0.000 % |
46.52/46.64 c | 53690 | 30665 1317234 4010071 | 2147483647 53690 96 | 0.000 % |
46.82/46.99 c | 54232 | 30665 1317234 4010071 | 2147483647 54232 95 | 0.000 % |
47.12/47.31 c | 54830 | 30665 1317234 4010071 | 2147483647 54830 95 | 0.000 % |
47.62/47.81 c | 55487 | 30665 1317234 4010071 | 2147483647 55487 95 | 0.000 % |
48.22/48.36 c | 56208 | 30665 1317234 4010071 | 2147483647 56208 94 | 0.000 % |
48.32/48.47 c | 56308 | 30665 1317234 4010071 | 2147483647 56308 94 | 0.000 % |
48.42/48.58 c | 56418 | 30665 1317234 4010071 | 2147483647 56418 94 | 0.000 % |
48.52/48.69 c | 56539 | 30665 1317234 4010071 | 2147483647 56539 94 | 0.000 % |
48.72/48.88 c | 56672 | 30665 1317234 4010071 | 2147483647 56672 94 | 0.000 % |
48.82/48.99 c | 56821 | 30665 1317234 4010071 | 2147483647 56821 94 | 0.000 % |
49.02/49.15 c | 56981 | 30665 1317234 4010071 | 2147483647 56981 94 | 0.000 % |
49.22/49.33 c | 57157 | 30665 1317234 4010071 | 2147483647 57157 94 | 0.000 % |
49.32/49.50 c | 57350 | 30665 1317234 4010071 | 2147483647 57350 94 | 0.000 % |
49.52/49.65 c | 57563 | 30665 1317234 4010071 | 2147483647 57563 94 | 0.000 % |
49.92/50.06 c | 57796 | 30665 1317234 4010071 | 2147483647 57796 93 | 0.000 % |
50.12/50.24 c | 58054 | 30665 1317234 4010071 | 2147483647 58054 94 | 0.000 % |
50.32/50.46 c | 58335 | 30665 1317234 4010071 | 2147483647 58335 93 | 0.000 % |
50.62/50.76 c | 58644 | 30665 1317234 4010071 | 2147483647 58644 93 | 0.000 % |
50.82/50.98 c | 58985 | 30665 1317234 4010071 | 2147483647 58985 93 | 0.000 % |
51.12/51.25 c | 59357 | 30665 1317234 4010071 | 2147483647 59357 93 | 0.000 % |
51.42/51.53 c | 59767 | 30665 1317234 4010071 | 2147483647 59767 92 | 0.000 % |
51.82/51.93 c | 60218 | 30665 1317234 4010071 | 2147483647 60218 92 | 0.000 % |
52.32/52.42 c | 60712 | 30665 1317234 4010071 | 2147483647 60712 91 | 0.000 % |
52.62/52.76 c | 61254 | 30665 1317234 4010071 | 2147483647 61254 91 | 0.000 % |
53.12/53.25 c | 61850 | 30665 1317234 4010071 | 2147483647 61850 91 | 0.000 % |
53.52/53.67 c | 62505 | 30665 1317234 4010071 | 2147483647 62505 90 | 0.000 % |
54.12/54.22 c | 63225 | 30665 1317234 4010071 | 2147483647 63225 90 | 0.000 % |
54.82/54.92 c | 64018 | 30665 1317234 4010071 | 2147483647 64018 90 | 0.000 % |
54.92/55.06 c | 64118 | 30665 1317234 4010071 | 2147483647 64118 89 | 0.000 % |
55.02/55.15 c | 64231 | 30665 1317234 4010071 | 2147483647 64231 89 | 0.000 % |
55.12/55.28 c | 64353 | 30665 1317234 4010071 | 2147483647 64353 89 | 0.000 % |
55.22/55.39 c | 64486 | 30665 1317234 4010071 | 2147483647 64486 89 | 0.000 % |
55.32/55.48 c | 64633 | 30665 1317234 4010071 | 2147483647 64633 89 | 0.000 % |
55.42/55.59 c | 64794 | 30665 1317234 4010071 | 2147483647 64794 89 | 0.000 % |
55.62/55.73 c | 64970 | 30665 1317234 4010071 | 2147483647 64970 89 | 0.000 % |
55.72/55.91 c | 65164 | 30665 1317234 4010071 | 2147483647 65164 89 | 0.000 % |
55.92/56.08 c | 65376 | 30665 1317234 4010071 | 2147483647 65376 88 | 0.000 % |
56.12/56.27 c | 65609 | 30665 1317234 4010071 | 2147483647 65609 88 | 0.000 % |
56.32/56.44 c | 65867 | 30665 1317234 4010071 | 2147483647 65867 88 | 0.000 % |
56.52/56.63 c | 66148 | 30665 1317234 4010071 | 2147483647 66148 88 | 0.000 % |
56.82/56.95 c | 66457 | 30665 1317234 4010071 | 2147483647 66457 87 | 0.000 % |
57.12/57.25 c | 66796 | 30665 1317234 4010071 | 2147483647 66796 87 | 0.000 % |
57.42/57.52 c | 67168 | 30665 1317234 4010071 | 2147483647 67168 87 | 0.000 % |
57.62/57.80 c | 67577 | 30665 1317234 4010071 | 2147483647 67577 87 | 0.000 % |
58.02/58.20 c | 68028 | 30665 1317234 4010071 | 2147483647 68028 86 | 0.000 % |
58.42/58.54 c | 68521 | 30665 1317234 4010071 | 2147483647 68521 86 | 0.000 % |
58.92/59.02 c | 69064 | 30665 1317234 4010071 | 2147483647 69064 86 | 0.000 % |
59.32/59.46 c | 69664 | 30665 1317234 4010071 | 2147483647 69664 85 | 0.000 % |
59.72/59.85 c | 70319 | 30665 1317234 4010071 | 2147483647 70319 86 | 0.000 % |
60.12/60.22 c | 71040 | 30665 1317234 4010071 | 2147483647 71040 86 | 0.000 % |
60.72/60.87 c | 71832 | 30665 1317234 4010071 | 2147483647 71832 86 | 0.000 % |
61.22/61.35 c | 72704 | 30665 1317234 4010071 | 2147483647 72704 86 | 0.000 % |
61.32/61.46 c | 72804 | 30665 1317234 4010071 | 2147483647 72804 86 | 0.000 % |
61.42/61.56 c | 72915 | 30665 1317234 4010071 | 2147483647 72915 86 | 0.000 % |
61.52/61.64 c | 73040 | 30665 1317234 4010071 | 2147483647 73040 86 | 0.000 % |
61.62/61.74 c | 73174 | 30665 1317234 4010071 | 2147483647 73174 87 | 0.000 % |
61.62/61.81 c | 73321 | 30665 1317234 4010071 | 2147483647 73321 87 | 0.000 % |
61.92/62.04 c | 73482 | 30665 1317234 4010071 | 2147483647 73482 87 | 0.000 % |
62.02/62.20 c | 73659 | 30665 1317234 4010071 | 2147483647 73659 87 | 0.000 % |
62.12/62.30 c | 73852 | 30665 1317234 4010071 | 2147483647 73852 87 | 0.000 % |
62.22/62.41 c | 74064 | 30665 1317234 4010071 | 2147483647 74064 87 | 0.000 % |
62.42/62.61 c | 74297 | 30665 1317234 4010071 | 2147483647 74297 87 | 0.000 % |
62.62/62.73 c | 74555 | 30665 1317234 4010071 | 2147483647 74555 87 | 0.000 % |
62.92/63.07 c | 74838 | 30665 1317234 4010071 | 2147483647 74838 87 | 0.000 % |
63.12/63.30 c | 75148 | 30665 1317234 4010071 | 2147483647 75148 86 | 0.000 % |
63.42/63.60 c | 75489 | 30665 1317234 4010071 | 2147483647 75489 86 | 0.000 % |
63.62/63.77 c | 75861 | 30665 1317234 4010071 | 2147483647 75861 86 | 0.000 % |
63.92/64.02 c | 76271 | 30665 1317234 4010071 | 2147483647 76271 86 | 0.000 % |
64.22/64.35 c | 76721 | 30665 1317234 4010071 | 2147483647 76721 86 | 0.000 % |
64.62/64.73 c | 77214 | 30665 1317234 4010071 | 2147483647 77214 86 | 0.000 % |
64.92/65.11 c | 77756 | 30665 1317234 4010071 | 2147483647 77756 86 | 0.000 % |
65.42/65.53 c | 78353 | 30665 1317234 4010071 | 2147483647 78353 85 | 0.000 % |
65.92/66.03 c | 79008 | 30665 1317234 4010071 | 2147483647 79008 85 | 0.000 % |
66.22/66.41 c | 79728 | 30665 1317234 4010071 | 2147483647 79728 86 | 0.000 % |
66.92/67.06 c | 80524 | 30665 1317234 4010071 | 2147483647 80524 85 | 0.000 % |
67.62/67.73 c | 81396 | 30665 1317234 4010071 | 2147483647 81396 86 | 0.000 % |
68.22/68.36 c | 82354 | 30665 1317234 4010071 | 2147483647 82354 86 | 0.000 % |
68.32/68.47 c | 82454 | 30665 1317234 4010071 | 2147483647 82454 86 | 0.000 % |
68.42/68.57 c | 82565 | 30665 1317234 4010071 | 2147483647 82565 86 | 0.000 % |
68.62/68.73 c | 82687 | 30665 1317234 4010071 | 2147483647 82687 86 | 0.000 % |
68.72/68.84 c | 82821 | 30665 1317234 4010071 | 2147483647 82821 86 | 0.000 % |
68.82/68.97 c | 82967 | 30665 1317234 4010071 | 2147483647 82967 86 | 0.000 % |
69.02/69.13 c | 83127 | 30665 1317234 4010071 | 2147483647 83127 86 | 0.000 % |
69.12/69.27 c | 83303 | 30665 1317234 4010071 | 2147483647 83303 86 | 0.000 % |
69.32/69.42 c | 83497 | 30665 1317234 4010071 | 2147483647 83497 85 | 0.000 % |
69.52/69.63 c | 83709 | 30665 1317234 4010071 | 2147483647 83709 85 | 0.000 % |
69.72/69.83 c | 83943 | 30665 1317234 4010071 | 2147483647 83943 85 | 0.000 % |
69.92/70.03 c | 84199 | 30665 1317234 4010071 | 2147483647 84199 85 | 0.000 % |
70.02/70.20 c | 84480 | 30665 1317234 4010071 | 2147483647 84480 85 | 0.000 % |
70.32/70.43 c | 84789 | 30665 1317234 4010071 | 2147483647 84789 85 | 0.000 % |
70.52/70.67 c | 85130 | 30665 1317234 4010071 | 2147483647 85130 85 | 0.000 % |
70.72/70.87 c | 85502 | 30665 1317234 4010071 | 2147483647 85502 84 | 0.000 % |
71.02/71.19 c | 85911 | 30665 1317234 4010071 | 2147483647 85911 85 | 0.000 % |
71.42/71.61 c | 86363 | 30665 1317234 4010071 | 2147483647 86363 84 | 0.000 % |
71.82/72.00 c | 86857 | 30665 1317234 4010071 | 2147483647 86857 84 | 0.000 % |
72.12/72.31 c | 87400 | 30665 1317234 4010071 | 2147483647 87400 84 | 0.000 % |
72.52/72.70 c | 87999 | 30665 1317234 4010071 | 2147483647 87999 84 | 0.000 % |
73.12/73.22 c | 88654 | 30665 1317234 4010071 | 2147483647 88654 83 | 0.000 % |
73.52/73.70 c | 89374 | 30665 1317234 4010071 | 2147483647 89374 83 | 0.000 % |
74.32/74.42 c | 90169 | 30665 1317234 4010071 | 2147483647 90169 83 | 0.000 % |
74.92/75.10 c | 91040 | 30665 1317234 4010071 | 2147483647 91040 82 | 0.000 % |
75.92/76.06 c | 91998 | 30665 1317234 4010071 | 2147483647 91998 82 | 0.000 % |
76.82/76.92 c | 93052 | 30665 1317234 4010071 | 2147483647 93052 82 | 0.000 % |
76.92/77.11 c | 93152 | 30665 1317234 4010071 | 2147483647 93152 82 | 0.000 % |
77.12/77.28 c | 93265 | 30665 1317234 4010071 | 2147483647 93265 82 | 0.000 % |
77.32/77.43 c | 93387 | 30665 1317234 4010071 | 2147483647 93387 82 | 0.000 % |
77.42/77.56 c | 93520 | 30665 1317234 4010071 | 2147483647 93520 82 | 0.000 % |
77.52/77.68 c | 93666 | 30665 1317234 4010071 | 2147483647 93666 82 | 0.000 % |
77.72/77.82 c | 93827 | 30665 1317234 4010071 | 2147483647 93827 82 | 0.000 % |
77.82/77.97 c | 94003 | 30665 1317234 4010071 | 2147483647 94003 82 | 0.000 % |
78.02/78.20 c | 94196 | 30665 1317234 4010071 | 2147483647 94196 82 | 0.000 % |
78.22/78.40 c | 94409 | 30665 1317234 4010071 | 2147483647 94409 82 | 0.000 % |
78.52/78.63 c | 94642 | 30665 1317234 4010071 | 2147483647 94642 82 | 0.000 % |
78.72/78.85 c | 94898 | 30665 1317234 4010071 | 2147483647 94898 82 | 0.000 % |
78.92/79.10 c | 95179 | 30665 1317234 4010071 | 2147483647 95179 82 | 0.000 % |
79.22/79.32 c | 95488 | 30665 1317234 4010071 | 2147483647 95488 81 | 0.000 % |
79.52/79.65 c | 95827 | 30665 1317234 4010071 | 2147483647 95827 81 | 0.000 % |
79.82/79.97 c | 96201 | 30665 1317234 4010071 | 2147483647 96201 81 | 0.000 % |
80.12/80.27 c | 96610 | 30665 1317234 4010071 | 2147483647 96610 81 | 0.000 % |
80.52/80.66 c | 97060 | 30665 1317234 4010071 | 2147483647 97060 81 | 0.000 % |
80.92/81.04 c | 97554 | 30665 1317234 4010071 | 2147483647 97554 81 | 0.000 % |
81.32/81.50 c | 98096 | 30665 1317234 4010071 | 2147483647 98096 81 | 0.000 % |
81.82/81.99 c | 98692 | 30665 1317234 4010071 | 2147483647 98692 80 | 0.000 % |
82.52/82.64 c | 99347 | 30665 1317234 4010071 | 2147483647 99347 80 | 0.000 % |
82.92/83.04 c | 100069 | 30665 1317234 4010071 | 2147483647 100069 80 | 0.000 % |
83.82/83.93 c | 100861 | 30665 1317234 4010071 | 2147483647 100861 79 | 0.000 % |
84.62/84.73 c | 101733 | 30665 1317234 4010071 | 2147483647 101733 79 | 0.000 % |
85.32/85.43 c | 102691 | 30665 1317234 4010071 | 2147483647 102691 79 | 0.000 % |
86.02/86.19 c | 103745 | 30665 1317234 4010071 | 2147483647 103745 78 | 0.000 % |
87.22/87.36 c | 104904 | 30665 1317234 4010071 | 2147483647 104904 78 | 0.000 % |
87.32/87.47 c | 105005 | 30665 1317234 4010071 | 2147483647 105005 78 | 0.000 % |
87.42/87.55 c | 105115 | 30665 1317234 4010071 | 2147483647 105115 78 | 0.000 % |
87.52/87.64 c | 105236 | 30665 1317234 4010071 | 2147483647 105236 78 | 0.000 % |
87.62/87.74 c | 105369 | 30665 1317234 4010071 | 2147483647 105369 78 | 0.000 % |
87.72/87.86 c | 105515 | 30665 1317234 4010071 | 2147483647 105515 78 | 0.000 % |
87.82/88.00 c | 105676 | 30665 1317234 4010071 | 2147483647 105676 78 | 0.000 % |
88.02/88.15 c | 105852 | 30665 1317234 4010071 | 2147483647 105852 78 | 0.000 % |
88.22/88.32 c | 106046 | 30665 1317234 4010071 | 2147483647 106046 78 | 0.000 % |
88.32/88.50 c | 106258 | 30665 1317234 4010071 | 2147483647 106258 78 | 0.000 % |
88.62/88.74 c | 106493 | 30665 1317234 4010071 | 2147483647 106493 77 | 0.000 % |
88.82/88.98 c | 106749 | 30665 1317234 4010071 | 2147483647 106749 77 | 0.000 % |
89.12/89.26 c | 107031 | 30665 1317234 4010071 | 2147483647 107031 77 | 0.000 % |
89.42/89.54 c | 107341 | 30665 1317234 4010071 | 2147483647 107341 77 | 0.000 % |
89.72/89.85 c | 107680 | 30665 1317234 4010071 | 2147483647 107680 77 | 0.000 % |
90.12/90.26 c | 108052 | 30665 1317234 4010071 | 2147483647 108052 77 | 0.000 % |
90.42/90.52 c | 108464 | 30665 1317234 4010071 | 2147483647 108464 77 | 0.000 % |
90.62/90.76 c | 108916 | 30665 1317234 4010071 | 2147483647 108916 77 | 0.000 % |
90.92/91.01 c | 109409 | 30665 1317234 4010071 | 2147483647 109409 77 | 0.000 % |
91.22/91.33 c | 109952 | 30665 1317234 4010071 | 2147483647 109952 77 | 0.000 % |
91.42/91.56 c | 110549 | 30665 1317234 4010071 | 2147483647 110549 77 | 0.000 % |
91.92/92.04 c | 111205 | 30665 1317234 4010071 | 2147483647 111205 77 | 0.000 % |
92.32/92.47 c | 111927 | 30665 1317234 4010071 | 2147483647 111927 77 | 0.000 % |
92.82/92.99 c | 112719 | 30665 1317234 4010071 | 2147483647 112719 77 | 0.000 % |
93.42/93.58 c | 113594 | 30665 1317234 4010071 | 2147483647 113594 78 | 0.000 % |
94.02/94.21 c | 114552 | 30665 1317234 4010071 | 2147483647 114552 78 | 0.000 % |
94.72/94.85 c | 115606 | 30665 1317234 4010071 | 2147483647 115606 78 | 0.000 % |
95.42/95.55 c | 116764 | 30665 1317234 4010071 | 2147483647 116764 79 | 0.000 % |
96.52/96.63 c | 118038 | 30665 1317234 4010071 | 2147483647 118038 79 | 0.000 % |
96.62/96.72 c | 118139 | 30665 1317234 4010071 | 2147483647 118139 79 | 0.000 % |
96.62/96.79 c | 118250 | 30665 1317234 4010071 | 2147483647 118250 79 | 0.000 % |
96.82/96.92 c | 118372 | 30665 1317234 4010071 | 2147483647 118372 79 | 0.000 % |
96.92/97.05 c | 118506 | 30665 1317234 4010071 | 2147483647 118506 79 | 0.000 % |
97.02/97.17 c | 118654 | 30665 1317234 4010071 | 2147483647 118654 79 | 0.000 % |
97.22/97.35 c | 118814 | 30665 1317234 4010071 | 2147483647 118814 79 | 0.000 % |
97.42/97.53 c | 118991 | 30665 1317234 4010071 | 2147483647 118991 79 | 0.000 % |
97.52/97.67 c | 119184 | 30665 1317234 4010071 | 2147483647 119184 79 | 0.000 % |
97.72/97.83 c | 119396 | 30665 1317234 4010071 | 2147483647 119396 79 | 0.000 % |
97.92/98.03 c | 119629 | 30665 1317234 4010071 | 2147483647 119629 79 | 0.000 % |
98.02/98.20 c | 119887 | 30665 1317234 4010071 | 2147483647 119887 79 | 0.000 % |
98.32/98.49 c | 120169 | 30665 1317234 4010071 | 2147483647 120169 79 | 0.000 % |
98.62/98.73 c | 120478 | 30665 1317234 4010071 | 2147483647 120478 79 | 0.000 % |
98.92/99.07 c | 120817 | 30665 1317234 4010071 | 2147483647 120817 79 | 0.000 % |
99.12/99.29 c | 121189 | 30665 1317234 4010071 | 2147483647 121189 79 | 0.000 % |
99.42/99.56 c | 121598 | 30665 1317234 4010071 | 2147483647 121598 79 | 0.000 % |
99.82/99.91 c | 122048 | 30665 1317234 4010071 | 2147483647 122048 80 | 0.000 % |
100.12/100.28 c | 122541 | 30665 1317234 4010071 | 2147483647 122541 80 | 0.000 % |
100.42/100.57 c | 123083 | 30665 1317234 4010071 | 2147483647 123083 80 | 0.000 % |
100.92/101.11 c | 123682 | 30665 1317234 4010071 | 2147483647 123682 80 | 0.000 % |
101.32/101.46 c | 124340 | 30665 1317234 4010071 | 2147483647 124340 80 | 0.000 % |
101.82/101.95 c | 125062 | 30665 1317234 4010071 | 2147483647 125062 80 | 0.000 % |
102.32/102.49 c | 125855 | 30665 1317234 4010071 | 2147483647 125855 80 | 0.000 % |
102.82/103.00 c | 126727 | 30665 1317234 4010071 | 2147483647 126727 80 | 0.000 % |
103.42/103.61 c | 127690 | 30665 1317234 4010071 | 2147483647 127690 80 | 0.000 % |
103.92/104.05 c | 128746 | 30665 1317234 4010071 | 2147483647 128746 80 | 0.000 % |
104.62/104.72 c | 129906 | 30665 1317234 4010071 | 2147483647 129906 81 | 0.000 % |
105.52/105.67 c | 131179 | 30665 1317234 4010071 | 2147483647 131179 81 | 0.000 % |
106.32/106.50 c | 132579 | 30665 1317234 4010071 | 2147483647 132579 81 | 0.000 % |
106.42/106.62 c | 132682 | 30665 1317234 4010071 | 2147483647 132682 81 | 0.000 % |
106.52/106.69 c | 132794 | 30665 1317234 4010071 | 2147483647 132794 81 | 0.000 % |
106.62/106.79 c | 132916 | 30665 1317234 4010071 | 2147483647 132916 81 | 0.000 % |
106.82/106.91 c | 133049 | 30665 1317234 4010071 | 2147483647 133049 81 | 0.000 % |
106.92/107.06 c | 133195 | 30665 1317234 4010071 | 2147483647 133195 81 | 0.000 % |
107.02/107.19 c | 133357 | 30665 1317234 4010071 | 2147483647 133357 81 | 0.000 % |
107.22/107.34 c | 133533 | 30665 1317234 4010071 | 2147483647 133533 81 | 0.000 % |
107.32/107.51 c | 133726 | 30665 1317234 4010071 | 2147483647 133726 81 | 0.000 % |
107.52/107.64 c | 133938 | 30665 1317234 4010071 | 2147483647 133938 81 | 0.000 % |
107.62/107.79 c | 134172 | 30665 1317234 4010071 | 2147483647 134172 81 | 0.000 % |
107.82/107.93 c | 134428 | 30665 1317234 4010071 | 2147483647 134428 81 | 0.000 % |
108.02/108.13 c | 134709 | 30665 1317234 4010071 | 2147483647 134709 81 | 0.000 % |
108.22/108.35 c | 135018 | 30665 1317234 4010071 | 2147483647 135018 81 | 0.000 % |
108.42/108.60 c | 135359 | 30665 1317234 4010071 | 2147483647 135359 82 | 0.000 % |
108.72/108.82 c | 135734 | 30665 1317234 4010071 | 2147483647 135734 82 | 0.000 % |
108.92/109.11 c | 136143 | 30665 1317234 4010071 | 2147483647 136143 82 | 0.000 % |
109.22/109.35 c | 136592 | 30665 1317234 4010071 | 2147483647 136592 82 | 0.000 % |
109.52/109.65 c | 137085 | 30665 1317234 4010071 | 2147483647 137085 82 | 0.000 % |
109.82/109.95 c | 137627 | 30665 1317234 4010071 | 2147483647 137627 82 | 0.000 % |
110.22/110.31 c | 138223 | 30665 1317234 4010071 | 2147483647 138223 82 | 0.000 % |
110.52/110.69 c | 138878 | 30665 1317234 4010071 | 2147483647 138878 82 | 0.000 % |
110.92/111.08 c | 139598 | 30665 1317234 4010071 | 2147483647 139598 81 | 0.000 % |
111.42/111.54 c | 140390 | 30665 1317234 4010071 | 2147483647 140390 82 | 0.000 % |
112.02/112.12 c | 141262 | 30665 1317234 4010071 | 2147483647 141262 82 | 0.000 % |
112.52/112.71 c | 142220 | 30665 1317234 4010071 | 2147483647 142220 82 | 0.000 % |
113.12/113.31 c | 143275 | 30665 1317234 4010071 | 2147483647 143275 81 | 0.000 % |
113.72/113.88 c | 144434 | 30665 1317234 4010071 | 2147483647 144434 81 | 0.000 % |
114.42/114.55 c | 145708 | 30665 1317234 4010071 | 2147483647 145708 81 | 0.000 % |
115.32/115.44 c | 147110 | 30665 1317234 4010071 | 2147483647 147110 81 | 0.000 % |
116.32/116.47 c | 148653 | 30665 1317234 4010071 | 2147483647 148653 81 | 0.000 % |
116.42/116.56 c | 148753 | 30665 1317234 4010071 | 2147483647 148753 81 | 0.000 % |
116.53/116.66 c | 148863 | 30665 1317234 4010071 | 2147483647 148863 81 | 0.000 % |
116.62/116.79 c | 148986 | 30665 1317234 4010071 | 2147483647 148986 81 | 0.000 % |
116.72/116.90 c | 149119 | 30665 1317234 4010071 | 2147483647 149119 81 | 0.000 % |
116.82/117.00 c | 149265 | 30665 1317234 4010071 | 2147483647 149265 81 | 0.000 % |
117.02/117.12 c | 149425 | 30665 1317234 4010071 | 2147483647 149425 81 | 0.000 % |
117.12/117.24 c | 149601 | 30665 1317234 4010071 | 2147483647 149601 81 | 0.000 % |
117.22/117.38 c | 149794 | 30665 1317234 4010071 | 2147483647 149794 81 | 0.000 % |
117.42/117.52 c | 150006 | 30665 1317234 4010071 | 2147483647 150006 81 | 0.000 % |
117.52/117.68 c | 150241 | 30665 1317234 4010071 | 2147483647 150241 81 | 0.000 % |
117.72/117.86 c | 150497 | 30665 1317234 4010071 | 2147483647 150497 81 | 0.000 % |
117.92/118.09 c | 150780 | 30665 1317234 4010071 | 2147483647 150780 81 | 0.000 % |
118.22/118.37 c | 151089 | 30665 1317234 4010071 | 2147483647 151089 80 | 0.000 % |
118.42/118.60 c | 151429 | 30665 1317234 4010071 | 2147483647 151429 80 | 0.000 % |
118.73/118.87 c | 151803 | 30665 1317234 4010071 | 2147483647 151803 80 | 0.000 % |
119.02/119.18 c | 152213 | 30665 1317234 4010071 | 2147483647 152213 80 | 0.000 % |
119.42/119.55 c | 152666 | 30665 1317234 4010071 | 2147483647 152666 80 | 0.000 % |
119.72/119.90 c | 153161 | 30665 1317234 4010071 | 2147483647 153161 80 | 0.000 % |
120.22/120.41 c | 153703 | 30665 1317234 4010071 | 2147483647 153703 80 | 0.000 % |
120.72/120.85 c | 154299 | 30665 1317234 4010071 | 2147483647 154299 80 | 0.000 % |
121.12/121.28 c | 154954 | 30665 1317234 4010071 | 2147483647 154954 80 | 0.000 % |
121.62/121.74 c | 155674 | 30665 1317234 4010071 | 2147483647 155674 79 | 0.000 % |
122.12/122.21 c | 156466 | 30665 1317234 4010071 | 2147483647 156466 79 | 0.000 % |
122.52/122.68 c | 157338 | 30665 1317234 4010071 | 2147483647 157338 79 | 0.000 % |
123.02/123.22 c | 158296 | 30665 1317234 4010071 | 2147483647 158296 79 | 0.000 % |
123.92/124.04 c | 159349 | 30665 1317234 4010071 | 2147483647 159349 79 | 0.000 % |
124.82/124.94 c | 160509 | 30665 1317234 4010071 | 2147483647 160509 79 | 0.000 % |
125.72/125.90 c | 161783 | 30665 1317234 4010071 | 2147483647 161783 80 | 0.000 % |
126.52/126.71 c | 163183 | 30665 1317234 4010071 | 2147483647 163183 80 | 0.000 % |
127.53/127.63 c | 164724 | 30665 1317234 4010071 | 2147483647 164724 80 | 0.000 % |
128.72/128.87 c | 166418 | 30665 1317234 4010071 | 2147483647 166418 80 | 0.000 % |
128.82/128.98 c | 166518 | 30665 1317234 4010071 | 2147483647 166518 80 | 0.000 % |
129.02/129.12 c | 166628 | 30665 1317234 4010071 | 2147483647 166628 80 | 0.000 % |
129.02/129.20 c | 166749 | 30665 1317234 4010071 | 2147483647 166749 80 | 0.000 % |
129.12/129.30 c | 166884 | 30665 1317234 4010071 | 2147483647 166884 80 | 0.000 % |
129.32/129.43 c | 167030 | 30665 1317234 4010071 | 2147483647 167030 80 | 0.000 % |
129.42/129.59 c | 167191 | 30665 1317234 4010071 | 2147483647 167191 80 | 0.000 % |
129.62/129.73 c | 167367 | 30665 1317234 4010071 | 2147483647 167367 80 | 0.000 % |
129.73/129.83 c | 167560 | 30665 1317234 4010071 | 2147483647 167560 80 | 0.000 % |
129.82/130.01 c | 167773 | 30665 1317234 4010071 | 2147483647 167773 80 | 0.000 % |
130.02/130.17 c | 168007 | 30665 1317234 4010071 | 2147483647 168007 80 | 0.000 % |
130.32/130.49 c | 168264 | 30665 1317234 4010071 | 2147483647 168264 80 | 0.000 % |
130.52/130.65 c | 168547 | 30665 1317234 4010071 | 2147483647 168547 80 | 0.000 % |
130.83/130.98 c | 168856 | 30665 1317234 4010071 | 2147483647 168856 80 | 0.000 % |
131.02/131.13 c | 169195 | 30665 1317234 4010071 | 2147483647 169195 80 | 0.000 % |
131.32/131.43 c | 169567 | 30665 1317234 4010071 | 2147483647 169567 80 | 0.000 % |
131.72/131.91 c | 169980 | 30665 1317234 4010071 | 2147483647 169980 80 | 0.000 % |
132.12/132.22 c | 170431 | 30665 1317234 4010071 | 2147483647 170431 80 | 0.000 % |
132.52/132.63 c | 170927 | 30665 1317234 4010071 | 2147483647 170927 80 | 0.000 % |
132.82/132.96 c | 171472 | 30665 1317234 4010071 | 2147483647 171472 80 | 0.000 % |
133.22/133.41 c | 172068 | 30665 1317234 4010071 | 2147483647 172068 80 | 0.000 % |
133.72/133.91 c | 172726 | 30665 1317234 4010071 | 2147483647 172726 80 | 0.000 % |
134.22/134.36 c | 173448 | 30665 1317234 4010071 | 2147483647 173448 80 | 0.000 % |
134.72/134.86 c | 174242 | 30665 1317234 4010071 | 2147483647 174242 80 | 0.000 % |
135.52/135.65 c | 175115 | 30665 1317234 4010071 | 2147483647 175115 80 | 0.000 % |
136.33/136.46 c | 176074 | 30665 1317234 4010071 | 2147483647 176074 80 | 0.000 % |
136.82/137.01 c | 177128 | 30665 1317234 4010071 | 2147483647 177128 81 | 0.000 % |
137.52/137.64 c | 178287 | 30665 1317234 4010071 | 2147483647 178287 81 | 0.000 % |
138.32/138.43 c | 179561 | 30665 1317234 4010071 | 2147483647 179561 81 | 0.000 % |
139.12/139.27 c | 180961 | 30665 1317234 4010071 | 2147483647 180961 82 | 0.000 % |
140.12/140.30 c | 182501 | 30665 1317234 4010071 | 2147483647 182501 82 | 0.000 % |
141.12/141.27 c | 184195 | 30665 1317234 4010071 | 2147483647 184195 83 | 0.000 % |
142.32/142.48 c | 186059 | 30665 1317234 4010071 | 2147483647 186059 83 | 0.000 % |
142.42/142.61 c | 186160 | 30665 1317234 4010071 | 2147483647 186160 83 | 0.000 % |
142.62/142.72 c | 186270 | 30665 1317234 4010071 | 2147483647 186270 83 | 0.000 % |
142.72/142.83 c | 186391 | 30665 1317234 4010071 | 2147483647 186391 83 | 0.000 % |
142.82/142.95 c | 186526 | 30665 1317234 4010071 | 2147483647 186526 83 | 0.000 % |
142.93/143.06 c | 186672 | 30665 1317234 4010071 | 2147483647 186672 83 | 0.000 % |
143.02/143.17 c | 186834 | 30665 1317234 4010071 | 2147483647 186834 83 | 0.000 % |
143.22/143.31 c | 187011 | 30665 1317234 4010071 | 2147483647 187011 83 | 0.000 % |
143.32/143.43 c | 187206 | 30665 1317234 4010071 | 2147483647 187206 83 | 0.000 % |
143.42/143.59 c | 187419 | 30665 1317234 4010071 | 2147483647 187419 83 | 0.000 % |
143.62/143.79 c | 187654 | 30665 1317234 4010071 | 2147483647 187654 83 | 0.000 % |
143.82/144.00 c | 187913 | 30665 1317234 4010071 | 2147483647 187913 83 | 0.000 % |
144.03/144.17 c | 188197 | 30665 1317234 4010071 | 2147483647 188197 83 | 0.000 % |
144.22/144.38 c | 188512 | 30665 1317234 4010071 | 2147483647 188512 83 | 0.000 % |
144.52/144.64 c | 188854 | 30665 1317234 4010071 | 2147483647 188854 83 | 0.000 % |
144.82/144.91 c | 189230 | 30665 1317234 4010071 | 2147483647 189230 83 | 0.000 % |
145.02/145.15 c | 189639 | 30665 1317234 4010071 | 2147483647 189639 82 | 0.000 % |
145.42/145.56 c | 190088 | 30665 1317234 4010071 | 2147483647 190088 82 | 0.000 % |
145.72/145.83 c | 190582 | 30665 1317234 4010071 | 2147483647 190582 82 | 0.000 % |
146.12/146.26 c | 191125 | 30665 1317234 4010071 | 2147483647 191125 82 | 0.000 % |
146.62/146.71 c | 191721 | 30665 1317234 4010071 | 2147483647 191721 82 | 0.000 % |
147.22/147.36 c | 192376 | 30665 1317234 4010071 | 2147483647 192376 82 | 0.000 % |
147.72/147.91 c | 193096 | 30665 1317234 4010071 | 2147483647 193096 82 | 0.000 % |
148.22/148.40 c | 193889 | 30665 1317234 4010071 | 2147483647 193889 82 | 0.000 % |
148.82/148.99 c | 194761 | 30665 1317234 4010071 | 2147483647 194761 82 | 0.000 % |
149.72/149.85 c | 195720 | 30665 1317234 4010071 | 2147483647 195720 82 | 0.000 % |
150.42/150.57 c | 196775 | 30665 1317234 4010071 | 2147483647 196775 82 | 0.000 % |
151.42/151.54 c | 197933 | 30665 1317234 4010071 | 2147483647 197933 82 | 0.000 % |
152.42/152.58 c | 199206 | 30665 1317234 4010071 | 2147483647 199206 82 | 0.000 % |
153.52/153.63 c | 200607 | 30665 1317234 4010071 | 2147483647 200607 82 | 0.000 % |
154.82/154.96 c | 202149 | 30665 1317234 4010071 | 2147483647 202149 82 | 0.000 % |
156.22/156.31 c | 203843 | 30665 1317234 4010071 | 2147483647 203843 81 | 0.000 % |
157.62/157.79 c | 205707 | 30665 1317234 4010071 | 2147483647 205707 81 | 0.000 % |
159.43/159.58 c | 207756 | 30665 1317234 4010071 | 2147483647 207756 81 | 0.000 % |
159.52/159.71 c | 207857 | 30665 1317234 4010071 | 2147483647 207857 81 | 0.000 % |
159.62/159.81 c | 207968 | 30665 1317234 4010071 | 2147483647 207968 81 | 0.000 % |
159.82/159.92 c | 208089 | 30665 1317234 4010071 | 2147483647 208089 81 | 0.000 % |
160.02/160.13 c | 208222 | 30665 1317234 4010071 | 2147483647 208222 81 | 0.000 % |
160.12/160.25 c | 208373 | 30665 1317234 4010071 | 2147483647 208373 81 | 0.000 % |
160.22/160.37 c | 208533 | 30665 1317234 4010071 | 2147483647 208533 81 | 0.000 % |
160.42/160.56 c | 208711 | 30665 1317234 4010071 | 2147483647 208711 81 | 0.000 % |
160.62/160.74 c | 208904 | 30665 1317234 4010071 | 2147483647 208904 81 | 0.000 % |
160.82/160.92 c | 209118 | 30665 1317234 4010071 | 2147483647 209118 81 | 0.000 % |
161.02/161.14 c | 209351 | 30665 1317234 4010071 | 2147483647 209351 81 | 0.000 % |
161.22/161.36 c | 209607 | 30665 1317234 4010071 | 2147483647 209607 81 | 0.000 % |
161.52/161.69 c | 209888 | 30665 1317234 4010071 | 2147483647 209888 81 | 0.000 % |
161.82/161.96 c | 210197 | 30665 1317234 4010071 | 2147483647 210197 81 | 0.000 % |
162.12/162.22 c | 210536 | 30665 1317234 4010071 | 2147483647 210536 80 | 0.000 % |
162.42/162.58 c | 210908 | 30665 1317234 4010071 | 2147483647 210908 80 | 0.000 % |
162.73/162.88 c | 211317 | 30665 1317234 4010071 | 2147483647 211317 80 | 0.000 % |
163.12/163.22 c | 211770 | 30665 1317234 4010071 | 2147483647 211770 80 | 0.000 % |
163.42/163.56 c | 212265 | 30665 1317234 4010071 | 2147483647 212265 80 | 0.000 % |
163.83/163.95 c | 212807 | 30665 1317234 4010071 | 2147483647 212807 80 | 0.000 % |
164.32/164.46 c | 213403 | 30665 1317234 4010071 | 2147483647 213403 80 | 0.000 % |
164.82/164.96 c | 214058 | 30665 1317234 4010071 | 2147483647 214058 80 | 0.000 % |
165.42/165.60 c | 214778 | 30665 1317234 4010071 | 2147483647 214778 80 | 0.000 % |
166.22/166.33 c | 215570 | 30665 1317234 4010071 | 2147483647 215570 80 | 0.000 % |
167.13/167.26 c | 216442 | 30665 1317234 4010071 | 2147483647 216442 80 | 0.000 % |
167.93/168.11 c | 217400 | 30665 1317234 4010071 | 2147483647 217400 79 | 0.000 % |
168.83/168.98 c | 218453 | 30665 1317234 4010071 | 2147483647 218453 79 | 0.000 % |
169.63/169.76 c | 219612 | 30665 1317234 4010071 | 2147483647 219612 79 | 0.000 % |
170.63/170.73 c | 220885 | 30665 1317234 4010071 | 2147483647 220885 79 | 0.000 % |
171.63/171.73 c | 222288 | 30665 1317234 4010071 | 2147483647 222288 79 | 0.000 % |
172.93/173.04 c | 223828 | 30665 1317234 4010071 | 2147483647 223828 78 | 0.000 % |
174.33/174.46 c | 225522 | 30665 1317234 4010071 | 2147483647 225522 78 | 0.000 % |
175.73/175.85 c | 227387 | 30665 1317234 4010071 | 2147483647 227387 78 | 0.000 % |
177.23/177.40 c | 229439 | 30665 1317234 4010071 | 2147483647 229439 77 | 0.000 % |
179.13/179.30 c | 231693 | 30665 1317234 4010071 | 2147483647 231693 77 | 0.000 % |
179.23/179.40 c | 231795 | 30665 1317234 4010071 | 2147483647 231795 77 | 0.000 % |
179.33/179.49 c | 231905 | 30665 1317234 4010071 | 2147483647 231905 77 | 0.000 % |
179.43/179.60 c | 232028 | 30665 1317234 4010071 | 2147483647 232028 77 | 0.000 % |
179.53/179.70 c | 232161 | 30665 1317234 4010071 | 2147483647 232161 77 | 0.000 % |
179.73/179.85 c | 232308 | 30665 1317234 4010071 | 2147483647 232308 77 | 0.000 % |
179.83/180.00 c | 232468 | 30665 1317234 4010071 | 2147483647 232468 77 | 0.000 % |
180.03/180.16 c | 232644 | 30665 1317234 4010071 | 2147483647 232644 77 | 0.000 % |
180.23/180.34 c | 232837 | 30665 1317234 4010071 | 2147483647 232837 77 | 0.000 % |
180.33/180.51 c | 233049 | 30665 1317234 4010071 | 2147483647 233049 77 | 0.000 % |
180.63/180.74 c | 233282 | 30665 1317234 4010071 | 2147483647 233282 77 | 0.000 % |
180.83/180.98 c | 233538 | 30665 1317234 4010071 | 2147483647 233538 77 | 0.000 % |
181.13/181.22 c | 233820 | 30665 1317234 4010071 | 2147483647 233820 77 | 0.000 % |
181.33/181.47 c | 234130 | 30665 1317234 4010071 | 2147483647 234130 76 | 0.000 % |
181.63/181.73 c | 234470 | 30665 1317234 4010071 | 2147483647 234470 76 | 0.000 % |
181.93/182.03 c | 234844 | 30665 1317234 4010071 | 2147483647 234844 76 | 0.000 % |
182.13/182.29 c | 235253 | 30665 1317234 4010071 | 2147483647 235253 76 | 0.000 % |
182.53/182.67 c | 235702 | 30665 1317234 4010071 | 2147483647 235702 76 | 0.000 % |
182.83/182.93 c | 236195 | 30665 1317234 4010071 | 2147483647 236195 76 | 0.000 % |
183.23/183.36 c | 236738 | 30665 1317234 4010071 | 2147483647 236738 76 | 0.000 % |
183.73/183.87 c | 237335 | 30665 1317234 4010071 | 2147483647 237335 76 | 0.000 % |
184.23/184.38 c | 237991 | 30665 1317234 4010071 | 2147483647 237991 76 | 0.000 % |
184.93/185.04 c | 238712 | 30665 1317234 4010071 | 2147483647 238712 76 | 0.000 % |
185.63/185.73 c | 239505 | 30665 1317234 4010071 | 2147483647 239505 75 | 0.000 % |
186.23/186.34 c | 240377 | 30665 1317234 4010071 | 2147483647 240377 75 | 0.000 % |
186.83/186.99 c | 241338 | 30665 1317234 4010071 | 2147483647 241338 75 | 0.000 % |
187.63/187.78 c | 242391 | 30665 1317234 4010071 | 2147483647 242391 75 | 0.000 % |
188.63/188.78 c | 243550 | 30665 1317234 4010071 | 2147483647 243550 75 | 0.000 % |
189.63/189.80 c | 244823 | 30665 1317234 4010071 | 2147483647 244823 74 | 0.000 % |
190.73/190.90 c | 246223 | 30665 1317234 4010071 | 2147483647 246223 74 | 0.000 % |
192.23/192.34 c | 247764 | 30665 1317234 4010071 | 2147483647 247764 74 | 0.000 % |
193.73/193.83 c | 249458 | 30665 1317234 4010071 | 2147483647 249458 74 | 0.000 % |
195.23/195.37 c | 251321 | 30665 1317234 4010071 | 2147483647 251321 75 | 0.000 % |
196.63/196.77 c | 253370 | 30665 1317234 4010071 | 2147483647 253370 75 | 0.000 % |
198.13/198.28 c | 255624 | 30665 1317234 4010071 | 2147483647 255624 75 | 0.000 % |
200.13/200.29 c | 258102 | 30665 1317234 4010071 | 2147483647 258102 76 | 0.000 % |
200.23/200.37 c | 258203 | 30665 1317234 4010071 | 2147483647 258203 76 | 0.000 % |
200.33/200.47 c | 258314 | 30665 1317234 4010071 | 2147483647 258314 76 | 0.000 % |
200.43/200.57 c | 258435 | 30665 1317234 4010071 | 2147483647 258435 76 | 0.000 % |
200.53/200.69 c | 258568 | 30665 1317234 4010071 | 2147483647 258568 76 | 0.000 % |
200.73/200.83 c | 258714 | 30665 1317234 4010071 | 2147483647 258714 76 | 0.000 % |
200.83/201.01 c | 258875 | 30665 1317234 4010071 | 2147483647 258875 76 | 0.000 % |
201.03/201.17 c | 259055 | 30665 1317234 4010071 | 2147483647 259055 76 | 0.000 % |
201.23/201.39 c | 259252 | 30665 1317234 4010071 | 2147483647 259252 76 | 0.000 % |
201.33/201.47 c | 259465 | 30665 1317234 4010071 | 2147483647 259465 76 | 0.000 % |
201.53/201.71 c | 259698 | 30665 1317234 4010071 | 2147483647 259698 76 | 0.000 % |
201.73/201.91 c | 259958 | 30665 1317234 4010071 | 2147483647 259958 76 | 0.000 % |
202.23/202.36 c | 260246 | 30665 1317234 4010071 | 2147483647 260246 76 | 0.000 % |
202.53/202.62 c | 260560 | 30665 1317234 4010071 | 2147483647 260560 76 | 0.000 % |
202.73/202.91 c | 260900 | 30665 1317234 4010071 | 2147483647 260900 76 | 0.000 % |
203.13/203.22 c | 261272 | 30665 1317234 4010071 | 2147483647 261272 76 | 0.000 % |
203.43/203.59 c | 261682 | 30665 1317234 4010071 | 2147483647 261682 76 | 0.000 % |
203.83/203.97 c | 262131 | 30665 1317234 4010071 | 2147483647 262131 76 | 0.000 % |
204.33/204.42 c | 262624 | 30665 1317234 4010071 | 2147483647 262624 76 | 0.000 % |
204.83/205.00 c | 263166 | 30665 1317234 4010071 | 2147483647 263166 76 | 0.000 % |
205.33/205.50 c | 263762 | 30665 1317234 4010071 | 2147483647 263762 76 | 0.000 % |
205.93/206.08 c | 264419 | 30665 1317234 4010071 | 2147483647 264419 76 | 0.000 % |
206.63/206.80 c | 265140 | 30665 1317234 4010071 | 2147483647 265140 76 | 0.000 % |
207.33/207.42 c | 265932 | 30665 1317234 4010071 | 2147483647 265932 76 | 0.000 % |
208.13/208.22 c | 266803 | 30665 1317234 4010071 | 2147483647 266803 76 | 0.000 % |
208.93/209.03 c | 267761 | 30665 1317234 4010071 | 2147483647 267761 76 | 0.000 % |
210.03/210.16 c | 268815 | 30665 1317234 4010071 | 2147483647 268815 76 | 0.000 % |
211.03/211.14 c | 269973 | 30665 1317234 4010071 | 2147483647 269973 76 | 0.000 % |
212.13/212.28 c | 271247 | 30665 1317234 4010071 | 2147483647 271247 76 | 0.000 % |
213.33/213.42 c | 272647 | 30665 1317234 4010071 | 2147483647 272647 76 | 0.000 % |
214.73/214.84 c | 274190 | 30665 1317234 4010071 | 2147483647 274190 76 | 0.000 % |
216.23/216.36 c | 275884 | 30665 1317234 4010071 | 2147483647 275884 76 | 0.000 % |
217.83/217.98 c | 277747 | 30665 1317234 4010071 | 2147483647 277747 76 | 0.000 % |
219.73/219.91 c | 279796 | 30665 1317234 4010071 | 2147483647 279796 76 | 0.000 % |
222.03/222.19 c | 282049 | 30665 1317234 4010071 | 2147483647 282049 76 | 0.000 % |
224.03/224.12 c | 284527 | 30665 1317234 4010071 | 2147483647 284527 77 | 0.000 % |
226.13/226.27 c | 287252 | 30665 1317234 4010071 | 2147483647 287252 78 | 0.000 % |
226.23/226.39 c | 287353 | 30665 1317234 4010071 | 2147483647 287353 78 | 0.000 % |
226.43/226.54 c | 287463 | 30665 1317234 4010071 | 2147483647 287463 78 | 0.000 % |
226.53/226.63 c | 287587 | 30665 1317234 4010071 | 2147483647 287587 78 | 0.000 % |
226.73/226.90 c | 287722 | 30665 1317234 4010071 | 2147483647 287722 78 | 0.000 % |
226.93/227.06 c | 287868 | 30665 1317234 4010071 | 2147483647 287868 78 | 0.000 % |
227.13/227.25 c | 288029 | 30665 1317234 4010071 | 2147483647 288029 78 | 0.000 % |
227.33/227.45 c | 288205 | 30665 1317234 4010071 | 2147483647 288205 78 | 0.000 % |
227.53/227.63 c | 288398 | 30665 1317234 4010071 | 2147483647 288398 78 | 0.000 % |
227.83/227.98 c | 288612 | 30665 1317234 4010071 | 2147483647 288612 78 | 0.000 % |
228.03/228.21 c | 288845 | 30665 1317234 4010071 | 2147483647 288845 78 | 0.000 % |
228.23/228.41 c | 289102 | 30665 1317234 4010071 | 2147483647 289102 78 | 0.000 % |
228.63/228.78 c | 289385 | 30665 1317234 4010071 | 2147483647 289385 78 | 0.000 % |
229.03/229.12 c | 289694 | 30665 1317234 4010071 | 2147483647 289694 78 | 0.000 % |
229.33/229.46 c | 290035 | 30665 1317234 4010071 | 2147483647 290035 78 | 0.000 % |
229.73/229.84 c | 290407 | 30665 1317234 4010071 | 2147483647 290407 78 | 0.000 % |
230.03/230.19 c | 290816 | 30665 1317234 4010071 | 2147483647 290816 77 | 0.000 % |
230.53/230.71 c | 291265 | 30665 1317234 4010071 | 2147483647 291265 78 | 0.000 % |
231.03/231.20 c | 291758 | 30665 1317234 4010071 | 2147483647 291758 78 | 0.000 % |
231.53/231.67 c | 292301 | 30665 1317234 4010071 | 2147483647 292301 78 | 0.000 % |
232.13/232.22 c | 292897 | 30665 1317234 4010071 | 2147483647 292897 78 | 0.000 % |
232.73/232.82 c | 293552 | 30665 1317234 4010071 | 2147483647 293552 78 | 0.000 % |
233.43/233.61 c | 294272 | 30665 1317234 4010071 | 2147483647 294272 78 | 0.000 % |
234.13/234.29 c | 295065 | 30665 1317234 4010071 | 2147483647 295065 78 | 0.000 % |
234.93/235.05 c | 295937 | 30665 1317234 4010071 | 2147483647 295937 78 | 0.000 % |
236.03/236.13 c | 296898 | 30665 1317234 4010071 | 2147483647 296898 78 | 0.000 % |
237.23/237.33 c | 297953 | 30665 1317234 4010071 | 2147483647 297953 78 | 0.000 % |
238.73/238.86 c | 299112 | 30665 1317234 4010071 | 2147483647 299112 78 | 0.000 % |
239.83/240.01 c | 300386 | 30665 1317234 4010071 | 2147483647 300386 78 | 0.000 % |
241.33/241.51 c | 301787 | 30665 1317234 4010071 | 2147483647 301787 78 | 0.000 % |
243.23/243.35 c | 303327 | 30665 1317234 4010071 | 2147483647 303327 78 | 0.000 % |
244.93/245.02 c | 305021 | 30665 1317234 4010071 | 2147483647 305021 78 | 0.000 % |
246.43/246.60 c | 306886 | 30665 1317234 4010071 | 2147483647 306886 78 | 0.000 % |
248.33/248.49 c | 308936 | 30665 1317234 4010071 | 2147483647 308936 78 | 0.000 % |
250.74/250.91 c | 311189 | 30665 1317234 4010071 | 2147483647 311189 78 | 0.000 % |
253.73/253.90 c | 313667 | 30665 1317234 4010071 | 2147483647 313667 78 | 0.000 % |
256.53/256.69 c | 316392 | 30665 1317234 4010071 | 2147483647 316392 77 | 0.000 % |
259.23/259.35 c | 319390 | 30665 1317234 4010071 | 2147483647 319390 77 | 0.000 % |
259.33/259.44 c | 319490 | 30665 1317234 4010071 | 2147483647 319490 77 | 0.000 % |
259.43/259.56 c | 319600 | 30665 1317234 4010071 | 2147483647 319600 77 | 0.000 % |
259.54/259.68 c | 319721 | 30665 1317234 4010071 | 2147483647 319721 77 | 0.000 % |
259.73/259.83 c | 319855 | 30665 1317234 4010071 | 2147483647 319855 77 | 0.000 % |
259.83/259.98 c | 320001 | 30665 1317234 4010071 | 2147483647 320001 77 | 0.000 % |
260.03/260.20 c | 320165 | 30665 1317234 4010071 | 2147483647 320165 77 | 0.000 % |
260.33/260.41 c | 320345 | 30665 1317234 4010071 | 2147483647 320345 77 | 0.000 % |
260.53/260.63 c | 320539 | 30665 1317234 4010071 | 2147483647 320539 77 | 0.000 % |
260.83/261.00 c | 320752 | 30665 1317234 4010071 | 2147483647 320752 77 | 0.000 % |
261.23/261.33 c | 320989 | 30665 1317234 4010071 | 2147483647 320989 77 | 0.000 % |
261.53/261.68 c | 321245 | 30665 1317234 4010071 | 2147483647 321245 77 | 0.000 % |
261.93/262.09 c | 321527 | 30665 1317234 4010071 | 2147483647 321527 77 | 0.000 % |
262.43/262.54 c | 321836 | 30665 1317234 4010071 | 2147483647 321836 77 | 0.000 % |
262.93/263.03 c | 322178 | 30665 1317234 4010071 | 2147483647 322178 77 | 0.000 % |
263.53/263.68 c | 322551 | 30665 1317234 4010071 | 2147483647 322551 77 | 0.000 % |
263.94/264.10 c | 322960 | 30665 1317234 4010071 | 2147483647 322960 77 | 0.000 % |
264.53/264.69 c | 323410 | 30665 1317234 4010071 | 2147483647 323410 77 | 0.000 % |
265.23/265.41 c | 323905 | 30665 1317234 4010071 | 2147483647 323905 77 | 0.000 % |
266.14/266.27 c | 324447 | 30665 1317234 4010071 | 2147483647 324447 77 | 0.000 % |
266.83/266.93 c | 325043 | 30665 1317234 4010071 | 2147483647 325043 77 | 0.000 % |
267.43/267.59 c | 325699 | 30665 1317234 4010071 | 2147483647 325699 77 | 0.000 % |
268.13/268.32 c | 326419 | 30665 1317234 4010071 | 2147483647 326419 77 | 0.000 % |
269.33/269.48 c | 327214 | 30665 1317234 4010071 | 2147483647 327214 77 | 0.000 % |
270.63/270.76 c | 328087 | 30665 1317234 4010071 | 2147483647 328087 77 | 0.000 % |
271.73/271.89 c | 329045 | 30665 1317234 4010071 | 2147483647 329045 77 | 0.000 % |
273.03/273.12 c | 330098 | 30665 1317234 4010071 | 2147483647 330098 77 | 0.000 % |
274.23/274.41 c | 331257 | 30665 1317234 4010071 | 2147483647 331257 77 | 0.000 % |
275.83/275.94 c | 332531 | 30665 1317234 4010071 | 2147483647 332531 77 | 0.000 % |
277.63/277.80 c | 333931 | 30665 1317234 4010071 | 2147483647 333931 77 | 0.000 % |
279.63/279.75 c | 335473 | 30665 1317234 4010071 | 2147483647 335473 77 | 0.000 % |
281.54/281.66 c | 337167 | 30665 1317234 4010071 | 2147483647 337167 77 | 0.000 % |
283.74/283.91 c | 339032 | 30665 1317234 4010071 | 2147483647 339032 77 | 0.000 % |
285.83/286.01 c | 341081 | 30665 1317234 4010071 | 2147483647 341081 77 | 0.000 % |
288.23/288.36 c | 343336 | 30665 1317234 4010071 | 2147483647 343336 77 | 0.000 % |
291.44/291.54 c | 345814 | 30665 1317234 4010071 | 2147483647 345814 76 | 0.000 % |
293.94/294.04 c | 348540 | 30665 1317234 4010071 | 2147483647 348540 76 | 0.000 % |
297.74/297.91 c | 351538 | 30665 1317234 4010071 | 2147483647 351538 76 | 0.000 % |
302.33/302.47 c | 354834 | 30665 1317234 4010071 | 2147483647 354834 76 | 0.000 % |
302.53/302.63 c | 354936 | 30665 1317234 4010071 | 2147483647 354936 76 | 0.000 % |
302.63/302.77 c | 355047 | 30665 1317234 4010071 | 2147483647 355047 76 | 0.000 % |
302.93/303.05 c | 355170 | 30665 1317234 4010071 | 2147483647 355170 76 | 0.000 % |
303.23/303.35 c | 355306 | 30665 1317234 4010071 | 2147483647 355306 76 | 0.000 % |
303.43/303.60 c | 355453 | 30665 1317234 4010071 | 2147483647 355453 76 | 0.000 % |
303.73/303.82 c | 355615 | 30665 1317234 4010071 | 2147483647 355615 76 | 0.000 % |
304.03/304.14 c | 355792 | 30665 1317234 4010071 | 2147483647 355792 76 | 0.000 % |
304.33/304.46 c | 355986 | 30665 1317234 4010071 | 2147483647 355986 76 | 0.000 % |
304.73/304.85 c | 356199 | 30665 1317234 4010071 | 2147483647 356199 76 | 0.000 % |
305.13/305.25 c | 356432 | 30665 1317234 4010071 | 2147483647 356432 76 | 0.000 % |
305.43/305.54 c | 356688 | 30665 1317234 4010071 | 2147483647 356688 76 | 0.000 % |
305.73/305.83 c | 356970 | 30665 1317234 4010071 | 2147483647 356970 76 | 0.000 % |
306.13/306.25 c | 357280 | 30665 1317234 4010071 | 2147483647 357280 76 | 0.000 % |
306.53/306.65 c | 357621 | 30665 1317234 4010071 | 2147483647 357621 76 | 0.000 % |
306.93/307.04 c | 357995 | 30665 1317234 4010071 | 2147483647 357995 76 | 0.000 % |
307.33/307.48 c | 358406 | 30665 1317234 4010071 | 2147483647 358406 76 | 0.000 % |
307.83/307.97 c | 358856 | 30665 1317234 4010071 | 2147483647 358856 76 | 0.000 % |
308.43/308.53 c | 359350 | 30665 1317234 4010071 | 2147483647 359350 76 | 0.000 % |
309.13/309.26 c | 359893 | 30665 1317234 4010071 | 2147483647 359893 76 | 0.000 % |
310.13/310.31 c | 360490 | 30665 1317234 4010071 | 2147483647 360490 76 | 0.000 % |
310.93/311.05 c | 361146 | 30665 1317234 4010071 | 2147483647 361146 76 | 0.000 % |
311.93/312.02 c | 361867 | 30665 1317234 4010071 | 2147483647 361867 75 | 0.000 % |
312.83/312.95 c | 362660 | 30665 1317234 4010071 | 2147483647 362660 75 | 0.000 % |
313.83/313.98 c | 363532 | 30665 1317234 4010071 | 2147483647 363532 75 | 0.000 % |
314.73/314.82 c | 364490 | 30665 1317234 4010071 | 2147483647 364490 75 | 0.000 % |
315.73/315.85 c | 365543 | 30665 1317234 4010071 | 2147483647 365543 75 | 0.000 % |
316.93/317.07 c | 366701 | 30665 1317234 4010071 | 2147483647 366701 75 | 0.000 % |
318.63/318.81 c | 367976 | 30665 1317234 4010071 | 2147483647 367976 75 | 0.000 % |
320.13/320.25 c | 369377 | 30665 1317234 4010071 | 2147483647 369377 75 | 0.000 % |
321.73/321.83 c | 370918 | 30665 1317234 4010071 | 2147483647 370918 75 | 0.000 % |
323.33/323.42 c | 372612 | 30665 1317234 4010071 | 2147483647 372612 74 | 0.000 % |
324.93/325.09 c | 374475 | 30665 1317234 4010071 | 2147483647 374475 74 | 0.000 % |
327.03/327.17 c | 376524 | 30665 1317234 4010071 | 2147483647 376524 74 | 0.000 % |
329.13/329.24 c | 378777 | 30665 1317234 4010071 | 2147483647 378777 74 | 0.000 % |
331.33/331.42 c | 381256 | 30665 1317234 4010071 | 2147483647 381256 74 | 0.000 % |
333.73/333.88 c | 383982 | 30665 1317234 4010071 | 2147483647 383982 74 | 0.000 % |
337.03/337.16 c | 386979 | 30665 1317234 4010071 | 2147483647 386979 75 | 0.000 % |
340.43/340.52 c | 390276 | 30665 1317234 4010071 | 2147483647 390276 75 | 0.000 % |
343.73/343.91 c | 393902 | 30665 1317234 4010071 | 2147483647 393902 75 | 0.001 % |
343.93/344.06 c | 394002 | 30665 1317234 4010071 | 2147483647 394002 75 | 0.001 % |
344.73/344.84 c | 394113 | 30663 1307611 3980579 | 2147483647 384825 74 | 0.007 % |
344.93/345.09 c | 394235 | 30663 1307611 3980579 | 2147483647 384947 74 | 0.007 % |
345.13/345.24 c | 394368 | 30663 1307611 3980579 | 2147483647 385080 74 | 0.007 % |
345.23/345.36 c | 394517 | 30663 1307611 3980579 | 2147483647 385229 74 | 0.007 % |
345.53/345.70 c | 394680 | 30663 1307611 3980579 | 2147483647 385392 74 | 0.007 % |
345.83/345.93 c | 394856 | 30663 1307611 3980579 | 2147483647 385568 74 | 0.007 % |
346.03/346.13 c | 395055 | 30663 1307611 3980579 | 2147483647 385767 74 | 0.007 % |
346.33/346.43 c | 395267 | 30663 1307611 3980579 | 2147483647 385979 74 | 0.007 % |
346.53/346.66 c | 395503 | 30663 1307611 3980579 | 2147483647 386215 74 | 0.007 % |
346.83/347.00 c | 395759 | 30663 1307611 3980579 | 2147483647 386471 74 | 0.007 % |
347.03/347.19 c | 396044 | 30663 1307611 3980579 | 2147483647 386756 74 | 0.007 % |
347.53/347.71 c | 396354 | 30663 1307611 3980579 | 2147483647 387066 74 | 0.007 % |
347.83/348.00 c | 396693 | 30663 1307611 3980579 | 2147483647 387405 74 | 0.007 % |
348.23/348.38 c | 397070 | 30663 1307611 3980579 | 2147483647 387782 74 | 0.007 % |
348.63/348.78 c | 397479 | 30663 1307611 3980579 | 2147483647 388191 74 | 0.007 % |
349.23/349.36 c | 397928 | 30663 1307611 3980579 | 2147483647 388640 75 | 0.007 % |
349.73/349.81 c | 398422 | 30663 1307611 3980579 | 2147483647 389134 75 | 0.007 % |
350.23/350.33 c | 398968 | 30663 1307611 3980579 | 2147483647 389680 75 | 0.007 % |
350.83/350.93 c | 399564 | 30663 1307611 3980579 | 2147483647 390276 75 | 0.007 % |
351.63/351.78 c | 400223 | 30663 1307611 3980579 | 2147483647 390935 75 | 0.007 % |
352.33/352.42 c | 400943 | 30663 1307611 3980579 | 2147483647 391655 75 | 0.007 % |
353.13/353.24 c | 401736 | 30663 1307611 3980579 | 2147483647 392448 75 | 0.007 % |
353.93/354.03 c | 402608 | 30663 1307611 3980579 | 2147483647 393320 75 | 0.007 % |
354.93/355.05 c | 403567 | 30663 1307611 3980579 | 2147483647 394279 75 | 0.007 % |
355.93/356.01 c | 404620 | 30663 1307611 3980579 | 2147483647 395332 75 | 0.007 % |
357.23/357.32 c | 405780 | 30663 1307611 3980579 | 2147483647 396492 75 | 0.007 % |
358.43/358.58 c | 407054 | 30663 1307611 3980579 | 2147483647 397766 75 | 0.007 % |
359.73/359.88 c | 408456 | 30663 1307611 3980579 | 2147483647 399168 75 | 0.007 % |
361.53/361.69 c | 409999 | 30663 1307611 3980579 | 2147483647 400711 75 | 0.007 % |
363.33/363.44 c | 411700 | 30663 1307611 3980579 | 2147483647 402412 75 | 0.007 % |
365.33/365.47 c | 413563 | 30663 1307611 3980579 | 2147483647 404275 75 | 0.007 % |
367.23/367.37 c | 415612 | 30663 1307611 3980579 | 2147483647 406324 76 | 0.007 % |
369.33/369.44 c | 417865 | 30663 1307611 3980579 | 2147483647 408577 76 | 0.007 % |
371.93/372.06 c | 420343 | 30663 1307611 3980579 | 2147483647 411055 76 | 0.007 % |
374.53/374.61 c | 423068 | 30663 1307611 3980579 | 2147483647 413780 76 | 0.007 % |
378.73/378.87 c | 426066 | 30663 1307611 3980579 | 2147483647 416778 77 | 0.007 % |
382.33/382.48 c | 429362 | 30663 1307611 3980579 | 2147483647 420074 77 | 0.007 % |
385.33/385.45 c | 432987 | 30663 1307611 3980579 | 2147483647 423699 78 | 0.007 % |
389.23/389.36 c | 436975 | 30663 1307611 3980579 | 2147483647 427687 78 | 0.007 % |
389.34/389.47 c | 437075 | 30663 1307611 3980579 | 2147483647 427787 78 | 0.007 % |
389.63/389.74 c | 437186 | 30663 1307611 3980579 | 2147483647 427898 78 | 0.007 % |
389.83/390.01 c | 437310 | 30663 1307611 3980579 | 2147483647 428022 78 | 0.007 % |
390.13/390.24 c | 437447 | 30663 1307611 3980579 | 2147483647 428159 78 | 0.007 % |
390.23/390.39 c | 437593 | 30663 1307611 3980579 | 2147483647 428305 78 | 0.007 % |
390.44/390.60 c | 437754 | 30663 1307611 3980579 | 2147483647 428466 78 | 0.007 % |
390.73/390.83 c | 437930 | 30663 1307611 3980579 | 2147483647 428642 78 | 0.007 % |
390.83/390.97 c | 438124 | 30663 1307611 3980579 | 2147483647 428836 78 | 0.007 % |
391.13/391.27 c | 438337 | 30663 1307611 3980579 | 2147483647 429049 78 | 0.007 % |
391.43/391.57 c | 438571 | 30663 1307611 3980579 | 2147483647 429283 78 | 0.007 % |
391.83/391.92 c | 438829 | 30663 1307611 3980579 | 2147483647 429541 78 | 0.007 % |
392.03/392.17 c | 439110 | 30663 1307611 3980579 | 2147483647 429822 78 | 0.007 % |
392.43/392.55 c | 439419 | 30663 1307611 3980579 | 2147483647 430131 78 | 0.007 % |
392.93/393.02 c | 439759 | 30663 1307611 3980579 | 2147483647 430471 78 | 0.007 % |
393.33/393.49 c | 440132 | 30663 1307611 3980579 | 2147483647 430844 78 | 0.007 % |
393.83/393.94 c | 440541 | 30663 1307611 3980579 | 2147483647 431253 78 | 0.007 % |
394.53/394.69 c | 440990 | 30663 1307611 3980579 | 2147483647 431702 78 | 0.007 % |
395.13/395.21 c | 441486 | 30663 1307611 3980579 | 2147483647 432198 78 | 0.007 % |
395.53/395.66 c | 442029 | 30663 1307611 3980579 | 2147483647 432741 78 | 0.007 % |
396.33/396.50 c | 442627 | 30663 1307611 3980579 | 2147483647 433339 78 | 0.007 % |
397.13/397.21 c | 443286 | 30663 1307611 3980579 | 2147483647 433998 78 | 0.007 % |
398.14/398.29 c | 444006 | 30663 1307611 3980579 | 2147483647 434718 78 | 0.007 % |
399.13/399.22 c | 444801 | 30663 1307611 3980579 | 2147483647 435513 78 | 0.007 % |
400.13/400.22 c | 445672 | 30663 1307611 3980579 | 2147483647 436384 78 | 0.007 % |
401.23/401.38 c | 446630 | 30663 1307611 3980579 | 2147483647 437342 78 | 0.007 % |
402.63/402.73 c | 447686 | 30663 1307611 3980579 | 2147483647 438398 78 | 0.007 % |
403.73/403.84 c | 448844 | 30663 1307611 3980579 | 2147483647 439556 78 | 0.007 % |
405.13/405.22 c | 450119 | 30663 1307611 3980579 | 2147483647 440831 78 | 0.007 % |
406.63/406.71 c | 451520 | 30663 1307611 3980579 | 2147483647 442232 78 | 0.007 % |
407.93/408.07 c | 453061 | 30663 1307611 3980579 | 2147483647 443773 78 | 0.007 % |
409.73/409.84 c | 454755 | 30663 1307611 3980579 | 2147483647 445467 78 | 0.007 % |
411.93/412.04 c | 456619 | 30663 1307611 3980579 | 2147483647 447331 78 | 0.007 % |
414.13/414.26 c | 458670 | 30663 1307611 3980579 | 2147483647 449382 78 | 0.007 % |
416.33/416.49 c | 460923 | 30663 1307611 3980579 | 2147483647 451635 78 | 0.007 % |
419.73/419.83 c | 463403 | 30663 1307611 3980579 | 2147483647 454115 78 | 0.007 % |
422.54/422.63 c | 466129 | 30663 1307611 3980579 | 2147483647 456841 78 | 0.007 % |
426.74/426.83 c | 469127 | 30663 1307611 3980579 | 2147483647 459839 78 | 0.007 % |
430.44/430.60 c | 472424 | 30663 1307611 3980579 | 2147483647 463136 78 | 0.007 % |
435.34/435.47 c | 476049 | 30663 1307611 3980579 | 2147483647 466761 78 | 0.007 % |
440.14/440.25 c | 480036 | 30663 1307611 3980579 | 2147483647 470748 81 | 0.007 % |
445.14/445.31 c | 484422 | 30663 1307611 3980579 | 2147483647 475134 82 | 0.007 % |
445.34/445.44 c | 484522 | 30663 1307611 3980579 | 2147483647 475234 82 | 0.007 % |
445.54/445.63 c | 484632 | 30663 1307611 3980579 | 2147483647 475344 82 | 0.007 % |
445.64/445.78 c | 484754 | 30663 1307611 3980579 | 2147483647 475466 82 | 0.007 % |
445.84/446.00 c | 484889 | 30663 1307611 3980579 | 2147483647 475601 82 | 0.007 % |
446.14/446.27 c | 485039 | 30663 1307611 3980579 | 2147483647 475751 82 | 0.007 % |
446.54/446.64 c | 485199 | 30663 1307611 3980579 | 2147483647 475911 82 | 0.007 % |
446.84/446.94 c | 485376 | 30663 1307611 3980579 | 2147483647 476088 82 | 0.007 % |
447.04/447.11 c | 485571 | 30663 1307611 3980579 | 2147483647 476283 82 | 0.007 % |
447.44/447.58 c | 485783 | 30663 1307611 3980579 | 2147483647 476495 82 | 0.007 % |
447.74/447.82 c | 486017 | 30663 1307611 3980579 | 2147483647 476729 82 | 0.007 % |
448.24/448.33 c | 486273 | 30663 1307611 3980579 | 2147483647 476985 82 | 0.007 % |
448.54/448.65 c | 486555 | 30663 1307611 3980579 | 2147483647 477267 82 | 0.007 % |
448.94/449.11 c | 486866 | 30663 1307611 3980579 | 2147483647 477578 82 | 0.007 % |
449.24/449.36 c | 487205 | 30663 1307611 3980579 | 2147483647 477917 82 | 0.007 % |
449.64/449.80 c | 487577 | 30663 1307611 3980579 | 2147483647 478289 82 | 0.007 % |
450.04/450.19 c | 487988 | 30663 1307611 3980579 | 2147483647 478700 82 | 0.007 % |
450.64/450.79 c | 488437 | 30663 1307611 3980579 | 2147483647 479149 82 | 0.007 % |
451.24/451.38 c | 488932 | 30663 1307611 3980579 | 2147483647 479644 82 | 0.007 % |
451.84/451.97 c | 489474 | 30663 1307611 3980579 | 2147483647 480186 82 | 0.007 % |
452.74/452.83 c | 490072 | 30663 1307611 3980579 | 2147483647 480784 82 | 0.007 % |
453.34/453.47 c | 490729 | 30663 1307611 3980579 | 2147483647 481441 82 | 0.007 % |
454.44/454.58 c | 491449 | 30663 1307611 3980579 | 2147483647 482161 82 | 0.007 % |
455.44/455.56 c | 492241 | 30663 1307611 3980579 | 2147483647 482953 82 | 0.007 % |
456.44/456.55 c | 493112 | 30663 1307611 3980579 | 2147483647 483824 82 | 0.007 % |
457.54/457.65 c | 494070 | 30663 1307611 3980579 | 2147483647 484782 82 | 0.007 % |
458.64/458.81 c | 495124 | 30663 1307611 3980579 | 2147483647 485836 82 | 0.007 % |
460.04/460.17 c | 496283 | 30663 1307611 3980579 | 2147483647 486995 82 | 0.007 % |
461.44/461.54 c | 497556 | 30663 1307611 3980579 | 2147483647 488268 82 | 0.007 % |
463.04/463.16 c | 498956 | 30663 1307611 3980579 | 2147483647 489668 82 | 0.007 % |
464.74/464.86 c | 500496 | 30663 1307611 3980579 | 2147483647 491208 82 | 0.007 % |
466.94/467.10 c | 502190 | 30663 1307611 3980579 | 2147483647 492902 83 | 0.007 % |
469.14/469.25 c | 504053 | 30663 1307611 3980579 | 2147483647 494765 83 | 0.007 % |
471.64/471.79 c | 506102 | 30663 1307611 3980579 | 2147483647 496814 83 | 0.007 % |
474.04/474.15 c | 508357 | 30663 1307611 3980579 | 2147483647 499069 83 | 0.007 % |
476.94/477.04 c | 510835 | 30663 1307611 3980579 | 2147483647 501547 83 | 0.007 % |
480.44/480.58 c | 513560 | 30663 1307611 3980579 | 2147483647 504272 82 | 0.007 % |
483.84/483.96 c | 516558 | 30663 1307611 3980579 | 2147483647 507270 82 | 0.007 % |
488.24/488.39 c | 519854 | 30663 1307611 3980579 | 2147483647 510566 82 | 0.007 % |
493.85/493.94 c | 523480 | 30663 1307611 3980579 | 2147483647 514192 82 | 0.007 % |
499.24/499.42 c | 527467 | 30663 1307611 3980579 | 2147483647 518179 82 | 0.007 % |
506.34/506.51 c | 531852 | 30663 1307611 3980579 | 2147483647 522564 81 | 0.007 % |
513.34/513.50 c | 536677 | 30663 1307611 3980579 | 2147483647 527389 81 | 0.007 % |
513.54/513.69 c | 536779 | 30663 1307611 3980579 | 2147483647 527491 81 | 0.007 % |
513.74/513.81 c | 536889 | 30663 1307611 3980579 | 2147483647 527601 81 | 0.007 % |
514.04/514.17 c | 537010 | 30663 1307611 3980579 | 2147483647 527722 81 | 0.007 % |
514.34/514.45 c | 537143 | 30663 1307611 3980579 | 2147483647 527855 81 | 0.007 % |
514.64/514.78 c | 537289 | 30663 1307611 3980579 | 2147483647 528001 81 | 0.007 % |
514.94/515.03 c | 537449 | 30663 1307611 3980579 | 2147483647 528161 81 | 0.007 % |
515.24/515.36 c | 537628 | 30663 1307611 3980579 | 2147483647 528340 81 | 0.007 % |
515.44/515.58 c | 537821 | 30663 1307611 3980579 | 2147483647 528533 81 | 0.007 % |
515.85/515.98 c | 538033 | 30663 1307611 3980579 | 2147483647 528745 81 | 0.007 % |
516.24/516.33 c | 538269 | 30663 1307611 3980579 | 2147483647 528981 81 | 0.007 % |
516.54/516.67 c | 538526 | 30663 1307611 3980579 | 2147483647 529238 81 | 0.007 % |
517.04/517.19 c | 538809 | 30663 1307611 3980579 | 2147483647 529521 81 | 0.007 % |
517.64/517.74 c | 539120 | 30663 1307611 3980579 | 2147483647 529832 81 | 0.007 % |
518.24/518.40 c | 539460 | 30663 1307611 3980579 | 2147483647 530172 81 | 0.007 % |
518.74/518.87 c | 539832 | 30663 1307611 3980579 | 2147483647 530544 81 | 0.007 % |
519.34/519.48 c | 540241 | 30663 1307611 3980579 | 2147483647 530953 81 | 0.007 % |
520.04/520.19 c | 540690 | 30663 1307611 3980579 | 2147483647 531402 81 | 0.007 % |
521.04/521.12 c | 541183 | 30663 1307611 3980579 | 2147483647 531895 81 | 0.007 % |
521.84/521.97 c | 541725 | 30663 1307611 3980579 | 2147483647 532437 81 | 0.007 % |
522.74/522.87 c | 542324 | 30663 1307611 3980579 | 2147483647 533036 81 | 0.007 % |
523.74/523.87 c | 542979 | 30663 1307611 3980579 | 2147483647 533691 81 | 0.007 % |
524.74/524.85 c | 543701 | 30663 1307611 3980579 | 2147483647 534413 81 | 0.007 % |
525.84/525.96 c | 544494 | 30663 1307611 3980579 | 2147483647 535206 80 | 0.007 % |
527.14/527.22 c | 545366 | 30663 1307611 3980579 | 2147483647 536078 80 | 0.007 % |
528.54/528.70 c | 546324 | 30663 1307611 3980579 | 2147483647 537036 80 | 0.007 % |
529.84/529.96 c | 547377 | 30663 1307611 3980579 | 2147483647 538089 80 | 0.007 % |
531.34/531.44 c | 548535 | 30663 1307611 3980579 | 2147483647 539247 80 | 0.007 % |
532.74/532.89 c | 549808 | 30663 1307611 3980579 | 2147483647 540520 80 | 0.007 % |
534.64/534.71 c | 551209 | 30663 1307611 3980579 | 2147483647 541921 80 | 0.007 % |
536.94/537.04 c | 552750 | 30663 1307611 3980579 | 2147483647 543462 80 | 0.007 % |
539.24/539.38 c | 554444 | 30663 1307611 3980579 | 2147483647 545156 80 | 0.007 % |
541.74/541.90 c | 556307 | 30663 1307611 3980579 | 2147483647 547019 79 | 0.007 % |
544.14/544.28 c | 558356 | 30663 1307611 3980579 | 2147483647 549068 79 | 0.007 % |
546.95/547.04 c | 560609 | 30663 1307611 3980579 | 2147483647 551321 79 | 0.007 % |
550.75/550.82 c | 563087 | 30663 1307611 3980579 | 2147483647 553799 80 | 0.007 % |
553.65/553.72 c | 565813 | 30663 1307611 3980579 | 2147483647 556525 80 | 0.007 % |
557.05/557.18 c | 568811 | 30663 1307611 3980579 | 2147483647 559523 80 | 0.007 % |
560.65/560.73 c | 572107 | 30663 1307611 3980579 | 2147483647 562819 80 | 0.007 % |
567.25/567.36 c | 575733 | 30663 1307611 3980579 | 2147483647 566445 81 | 0.007 % |
572.45/572.54 c | 579722 | 30663 1307611 3980579 | 2147483647 570434 81 | 0.007 % |
577.65/577.78 c | 584107 | 30663 1307611 3980579 | 2147483647 574819 81 | 0.007 % |
584.85/584.93 c | 588930 | 30663 1307611 3980579 | 2147483647 579642 81 | 0.007 % |
591.45/591.54 c | 594236 | 30663 1307611 3980579 | 2147483647 584948 82 | 0.007 % |
591.55/591.68 c | 594337 | 30663 1307611 3980579 | 2147483647 585049 82 | 0.007 % |
591.85/591.98 c | 594447 | 30663 1307611 3980579 | 2147483647 585159 82 | 0.007 % |
592.15/592.30 c | 594568 | 30663 1307611 3980579 | 2147483647 585280 82 | 0.007 % |
592.45/592.58 c | 594705 | 30663 1307611 3980579 | 2147483647 585417 82 | 0.007 % |
592.65/592.80 c | 594852 | 30663 1307611 3980579 | 2147483647 585564 82 | 0.007 % |
592.95/593.10 c | 595013 | 30663 1307611 3980579 | 2147483647 585725 82 | 0.007 % |
593.45/593.53 c | 595189 | 30663 1307611 3980579 | 2147483647 585901 82 | 0.007 % |
593.65/593.72 c | 595384 | 30663 1307611 3980579 | 2147483647 586096 82 | 0.007 % |
593.95/594.07 c | 595596 | 30663 1307611 3980579 | 2147483647 586308 82 | 0.007 % |
594.75/594.86 c | 595830 | 30663 1307611 3980579 | 2147483647 586542 82 | 0.007 % |
595.05/595.12 c | 596087 | 30663 1307611 3980579 | 2147483647 586799 82 | 0.007 % |
595.45/595.59 c | 596368 | 30663 1307611 3980579 | 2147483647 587080 82 | 0.007 % |
595.75/595.90 c | 596677 | 30663 1307611 3980579 | 2147483647 587389 82 | 0.007 % |
596.35/596.42 c | 597016 | 30663 1307611 3980579 | 2147483647 587728 82 | 0.007 % |
596.85/596.97 c | 597388 | 30663 1307611 3980579 | 2147483647 588100 82 | 0.007 % |
597.65/597.77 c | 597797 | 30663 1307611 3980579 | 2147483647 588509 82 | 0.007 % |
598.35/598.43 c | 598246 | 30663 1307611 3980579 | 2147483647 588958 82 | 0.007 % |
599.05/599.14 c | 598743 | 30663 1307611 3980579 | 2147483647 589455 82 | 0.007 % |
599.75/599.85 c | 599289 | 30663 1307611 3980579 | 2147483647 590001 82 | 0.007 % |
600.75/600.85 c | 599887 | 30663 1307611 3980579 | 2147483647 590599 82 | 0.007 % |
601.85/601.98 c | 600542 | 30663 1307611 3980579 | 2147483647 591254 82 | 0.007 % |
603.25/603.33 c | 601265 | 30663 1307611 3980579 | 2147483647 591977 82 | 0.007 % |
604.45/604.53 c | 602057 | 30663 1307611 3980579 | 2147483647 592769 82 | 0.007 % |
605.45/605.55 c | 602931 | 30663 1307611 3980579 | 2147483647 593643 82 | 0.007 % |
606.55/606.68 c | 603889 | 30663 1307611 3980579 | 2147483647 594601 82 | 0.007 % |
608.15/608.28 c | 604942 | 30663 1307611 3980579 | 2147483647 595654 82 | 0.007 % |
609.55/609.71 c | 606100 | 30663 1307611 3980579 | 2147483647 596812 82 | 0.007 % |
611.45/611.61 c | 607375 | 30663 1307611 3980579 | 2147483647 598087 82 | 0.007 % |
613.45/613.59 c | 608775 | 30663 1307611 3980579 | 2147483647 599487 82 | 0.007 % |
616.25/616.40 c | 610315 | 30663 1307611 3980579 | 2147483647 601027 82 | 0.007 % |
618.45/618.57 c | 612011 | 30663 1307611 3980579 | 2147483647 602723 81 | 0.007 % |
621.55/621.63 c | 613874 | 30663 1307611 3980579 | 2147483647 604586 81 | 0.007 % |
623.95/624.05 c | 615924 | 30663 1307611 3980579 | 2147483647 606636 82 | 0.007 % |
626.96/627.09 c | 618178 | 30663 1307611 3980579 | 2147483647 608890 81 | 0.007 % |
631.45/631.59 c | 620656 | 30663 1307611 3980579 | 2147483647 611368 81 | 0.007 % |
635.35/635.42 c | 623381 | 30663 1307611 3980579 | 2147483647 614093 81 | 0.007 % |
639.85/639.95 c | 626380 | 30663 1307611 3980579 | 2147483647 617092 81 | 0.007 % |
644.15/644.29 c | 629676 | 30663 1307611 3980579 | 2147483647 620388 81 | 0.007 % |
649.35/649.42 c | 633301 | 30663 1307611 3980579 | 2147483647 624013 81 | 0.007 % |
654.05/654.12 c | 637289 | 30663 1307611 3980579 | 2147483647 628001 81 | 0.007 % |
660.34/660.46 c | 641674 | 30663 1307611 3980579 | 2147483647 632386 80 | 0.007 % |
665.94/666.06 c | 646497 | 30663 1307611 3980579 | 2147483647 637209 80 | 0.007 % |
672.34/672.50 c | 651802 | 30663 1307611 3980579 | 2147483647 642514 80 | 0.007 % |
680.95/681.02 c | 657637 | 30663 1307611 3980579 | 2147483647 648349 80 | 0.007 % |
681.05/681.19 c | 657737 | 30663 1307611 3980579 | 2147483647 648449 80 | 0.007 % |
681.25/681.37 c | 657848 | 30663 1307611 3980579 | 2147483647 648560 80 | 0.007 % |
681.45/681.61 c | 657969 | 30663 1307611 3980579 | 2147483647 648681 80 | 0.007 % |
681.75/681.88 c | 658102 | 30663 1307611 3980579 | 2147483647 648814 80 | 0.007 % |
681.95/682.10 c | 658248 | 30663 1307611 3980579 | 2147483647 648960 80 | 0.007 % |
682.25/682.36 c | 658409 | 30663 1307611 3980579 | 2147483647 649121 80 | 0.007 % |
682.55/682.63 c | 658585 | 30663 1307611 3980579 | 2147483647 649297 80 | 0.007 % |
682.85/682.95 c | 658778 | 30663 1307611 3980579 | 2147483647 649490 80 | 0.007 % |
683.15/683.29 c | 658990 | 30663 1307611 3980579 | 2147483647 649702 80 | 0.007 % |
683.65/683.76 c | 659223 | 30663 1307611 3980579 | 2147483647 649935 80 | 0.007 % |
684.25/684.34 c | 659479 | 30663 1307611 3980579 | 2147483647 650191 80 | 0.007 % |
684.65/684.77 c | 659762 | 30663 1307611 3980579 | 2147483647 650474 80 | 0.007 % |
685.05/685.17 c | 660071 | 30663 1307611 3980579 | 2147483647 650783 80 | 0.007 % |
685.55/685.67 c | 660410 | 30663 1307611 3980579 | 2147483647 651122 80 | 0.007 % |
686.25/686.38 c | 660782 | 30663 1307611 3980579 | 2147483647 651494 80 | 0.007 % |
686.85/686.96 c | 661191 | 30663 1307611 3980579 | 2147483647 651903 80 | 0.007 % |
687.55/687.63 c | 661641 | 30663 1307611 3980579 | 2147483647 652353 80 | 0.007 % |
688.55/688.67 c | 662135 | 30663 1307611 3980579 | 2147483647 652847 79 | 0.007 % |
689.35/689.43 c | 662678 | 30663 1307611 3980579 | 2147483647 653390 79 | 0.007 % |
690.15/690.30 c | 663274 | 30663 1307611 3980579 | 2147483647 653986 79 | 0.007 % |
691.05/691.15 c | 663929 | 30663 1307611 3980579 | 2147483647 654641 79 | 0.007 % |
692.35/692.42 c | 664649 | 30663 1307611 3980579 | 2147483647 655361 79 | 0.007 % |
693.55/693.63 c | 665441 | 30663 1307611 3980579 | 2147483647 656153 79 | 0.007 % |
694.75/694.86 c | 666312 | 30663 1307611 3980579 | 2147483647 657024 79 | 0.007 % |
696.05/696.14 c | 667271 | 30663 1307611 3980579 | 2147483647 657983 79 | 0.007 % |
697.85/697.91 c | 668325 | 30663 1307611 3980579 | 2147483647 659037 79 | 0.007 % |
699.15/699.31 c | 669483 | 30663 1307611 3980579 | 2147483647 660195 79 | 0.007 % |
701.65/701.77 c | 670756 | 30663 1307611 3980579 | 2147483647 661468 79 | 0.007 % |
703.75/703.87 c | 672158 | 30663 1307611 3980579 | 2147483647 662870 79 | 0.007 % |
706.45/706.54 c | 673701 | 30663 1307611 3980579 | 2147483647 664413 79 | 0.007 % |
708.65/708.80 c | 675395 | 30663 1307611 3980579 | 2147483647 666107 79 | 0.007 % |
711.05/711.20 c | 677258 | 30663 1307611 3980579 | 2147483647 667970 79 | 0.007 % |
713.45/713.58 c | 679307 | 30663 1307611 3980579 | 2147483647 670019 78 | 0.007 % |
716.35/716.45 c | 681561 | 30663 1307611 3980579 | 2147483647 672273 78 | 0.007 % |
719.45/719.55 c | 684040 | 30663 1307611 3980579 | 2147483647 674752 78 | 0.007 % |
722.65/722.79 c | 686766 | 30663 1307611 3980579 | 2147483647 677478 78 | 0.007 % |
727.65/727.71 c | 689764 | 30663 1307611 3980579 | 2147483647 680476 78 | 0.007 % |
732.25/732.39 c | 693061 | 30663 1307611 3980579 | 2147483647 683773 78 | 0.007 % |
737.05/737.20 c | 696689 | 30663 1307611 3980579 | 2147483647 687401 77 | 0.007 % |
739.85/740.00 c ===============================================================================
739.85/740.00 c restarts : 1031
739.85/740.00 c conflicts : 696920 (957 /sec)
739.85/740.00 c decisions : 3710469 (0.84 % random) (5097 /sec)
739.85/740.00 c propagations : 510504131 (701271 /sec)
739.85/740.00 c conflict literals : 54203986 (51.90 % deleted)
739.85/740.00 c Memory used : 294.80 MB
739.85/740.00 c CPU time : 727.97 s
739.85/740.00 c
739.85/740.00 s UNSATISFIABLE
739.95/740.02 s UNSATISFIABLE
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1822000-1242586200/watcher-1822000-1242586200 -o /tmp/evaluation-result-1822000-1242586200/solver-1822000-1242586200 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1822000-1242586200.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: 8192 KiB
[startup+0 s]
/proc/loadavg: 0.93 0.98 0.99 2/96 22404
/proc/meminfo: memFree=1134032/2074464 swapFree=1950760/1959888
[pid=22404] ppid=22402 vsize=2412 CPUtime=0.01
/proc/22404/stat : 22404 (SatELiteGTI) S 22402 22404 11066 0 -1 4194304 368 643 0 0 0 0 1 0 18 0 1 0 1023118458 2469888 276 4294967295 134512640 135169312 3216352928 3216351464 3085709038 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/22404/statm: 603 276 235 161 0 42 0
[pid=22408] ppid=22404 vsize=952 CPUtime=0
/proc/22408/stat : 22408 (SatELite_releas) R 22404 22404 11066 0 -1 4202496 124 0 0 0 0 0 0 0 20 0 1 0 1023118458 974848 59 4294967295 134512640 135223648 3216445104 3216443688 134719062 0 0 0 3 0 0 0 17 0 0 0 0
/proc/22408/statm: 238 61 46 174 0 63 0
[startup+0.053567 s]
/proc/loadavg: 0.93 0.98 0.99 2/96 22404
/proc/meminfo: memFree=1134032/2074464 swapFree=1950760/1959888
[pid=22404] ppid=22402 vsize=2412 CPUtime=0.01
/proc/22404/stat : 22404 (SatELiteGTI) S 22402 22404 11066 0 -1 4194304 368 643 0 0 0 0 1 0 18 0 1 0 1023118458 2469888 276 4294967295 134512640 135169312 3216352928 3216351464 3085709038 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/22404/statm: 603 276 235 161 0 42 0
[pid=22408] ppid=22404 vsize=4956 CPUtime=0.05
/proc/22408/stat : 22408 (SatELite_releas) R 22404 22404 11066 0 -1 4202496 1062 0 0 0 5 0 0 0 21 0 1 0 1023118458 5074944 997 4294967295 134512640 135223648 3216445104 3216444056 134737310 0 0 0 3 0 0 0 17 0 0 0 0
/proc/22408/statm: 1239 997 46 174 0 1064 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 7368
[startup+0.113545 s]
/proc/loadavg: 0.93 0.98 0.99 2/96 22404
/proc/meminfo: memFree=1134032/2074464 swapFree=1950760/1959888
[pid=22404] ppid=22402 vsize=2412 CPUtime=0.01
/proc/22404/stat : 22404 (SatELiteGTI) S 22402 22404 11066 0 -1 4194304 368 643 0 0 0 0 1 0 18 0 1 0 1023118458 2469888 276 4294967295 134512640 135169312 3216352928 3216351464 3085709038 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/22404/statm: 603 276 235 161 0 42 0
[pid=22408] ppid=22404 vsize=9616 CPUtime=0.11
/proc/22408/stat : 22408 (SatELite_releas) R 22404 22404 11066 0 -1 4202496 2141 0 0 0 11 0 0 0 21 0 1 0 1023118458 9846784 2076 4294967295 134512640 135223648 3216445104 3216443672 134719062 0 0 0 3 0 0 0 17 0 0 0 0
/proc/22408/statm: 2404 2076 46 174 0 2229 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 12028
[startup+0.313534 s]
/proc/loadavg: 0.93 0.98 0.99 2/96 22404
/proc/meminfo: memFree=1134032/2074464 swapFree=1950760/1959888
[pid=22404] ppid=22402 vsize=2412 CPUtime=0.01
/proc/22404/stat : 22404 (SatELiteGTI) S 22402 22404 11066 0 -1 4194304 368 643 0 0 0 0 1 0 18 0 1 0 1023118458 2469888 276 4294967295 134512640 135169312 3216352928 3216351464 3085709038 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/22404/statm: 603 276 235 161 0 42 0
[pid=22408] ppid=22404 vsize=23944 CPUtime=0.31
/proc/22408/stat : 22408 (SatELite_releas) R 22404 22404 11066 0 -1 4202496 5688 0 0 0 29 2 0 0 21 0 1 0 1023118458 24518656 5623 4294967295 134512640 135223648 3216445104 3216444056 134737310 0 0 0 3 0 0 0 17 0 0 0 0
/proc/22408/statm: 5986 5624 46 174 0 5811 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 26356
[startup+0.713512 s]
/proc/loadavg: 0.93 0.98 0.99 2/96 22404
/proc/meminfo: memFree=1134032/2074464 swapFree=1950760/1959888
[pid=22404] ppid=22402 vsize=2412 CPUtime=0.01
/proc/22404/stat : 22404 (SatELiteGTI) S 22402 22404 11066 0 -1 4194304 368 643 0 0 0 0 1 0 18 0 1 0 1023118458 2469888 276 4294967295 134512640 135169312 3216352928 3216351464 3085709038 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/22404/statm: 603 276 235 161 0 42 0
[pid=22408] ppid=22404 vsize=55688 CPUtime=0.71
/proc/22408/stat : 22408 (SatELite_releas) R 22404 22404 11066 0 -1 4202496 12577 0 0 0 66 5 0 0 22 0 1 0 1023118458 57024512 12512 4294967295 134512640 135223648 3216445104 3216444056 134737310 0 0 0 3 0 0 0 17 0 0 0 0
/proc/22408/statm: 13922 12513 46 174 0 13747 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 58100
[startup+1.51347 s]
/proc/loadavg: 0.93 0.98 0.99 2/98 22409
/proc/meminfo: memFree=1056160/2074464 swapFree=1950760/1959888
[pid=22404] ppid=22402 vsize=2412 CPUtime=0.01
/proc/22404/stat : 22404 (SatELiteGTI) S 22402 22404 11066 0 -1 4194304 368 643 0 0 0 0 1 0 18 0 1 0 1023118458 2469888 276 4294967295 134512640 135169312 3216352928 3216351464 3085709038 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/22404/statm: 603 276 235 161 0 42 0
[pid=22408] ppid=22404 vsize=108408 CPUtime=1.51
/proc/22408/stat : 22408 (SatELite_releas) R 22404 22404 11066 0 -1 4202496 25843 0 0 0 138 13 0 0 25 0 1 0 1023118458 111009792 23073 4294967295 134512640 135223648 3216445104 3216443120 134586709 0 0 0 3 0 0 0 17 0 0 0 0
/proc/22408/statm: 27102 23073 73 174 0 26927 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 110820
[startup+3.11338 s]
/proc/loadavg: 0.93 0.98 0.99 2/98 22409
/proc/meminfo: memFree=1038924/2074464 swapFree=1950760/1959888
[pid=22404] ppid=22402 vsize=2412 CPUtime=0.01
/proc/22404/stat : 22404 (SatELiteGTI) S 22402 22404 11066 0 -1 4194304 368 643 0 0 0 0 1 0 18 0 1 0 1023118458 2469888 276 4294967295 134512640 135169312 3216352928 3216351464 3085709038 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/22404/statm: 603 276 235 161 0 42 0
[pid=22408] ppid=22404 vsize=111892 CPUtime=3.1
/proc/22408/stat : 22408 (SatELite_releas) R 22404 22404 11066 0 -1 4202496 26706 0 0 0 297 13 0 0 25 0 1 0 1023118458 114577408 23936 4294967295 134512640 135223648 3216445104 3216443120 134587342 0 0 0 3 0 0 0 17 0 0 0 0
/proc/22408/statm: 27973 23936 73 174 0 27798 0
Current children cumulated CPU time (s) 3.11
Current children cumulated vsize (KiB) 114304
[startup+6.3132 s]
/proc/loadavg: 0.93 0.98 0.99 2/98 22410
/proc/meminfo: memFree=1026028/2074464 swapFree=1950760/1959888
[pid=22404] ppid=22402 vsize=2412 CPUtime=0.01
/proc/22404/stat : 22404 (SatELiteGTI) S 22402 22404 11066 0 -1 4194304 368 643 0 0 0 0 1 0 18 0 1 0 1023118458 2469888 276 4294967295 134512640 135169312 3216352928 3216351464 3085709038 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/22404/statm: 603 276 235 161 0 42 0
[pid=22408] ppid=22404 vsize=127360 CPUtime=6.29
/proc/22408/stat : 22408 (SatELite_releas) R 22404 22404 11066 0 -1 4202496 29527 0 0 0 614 15 0 0 25 0 1 0 1023118458 130416640 26687 4294967295 134512640 135223648 3216445104 3216443296 134549042 0 0 0 3 0 0 0 17 2 0 0 0
/proc/22408/statm: 31840 26687 73 174 0 31665 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 129772
[startup+12.7128 s]
/proc/loadavg: 1.02 1.00 1.00 2/98 22411
/proc/meminfo: memFree=1059308/2074464 swapFree=1950760/1959888
[pid=22404] ppid=22402 vsize=2416 CPUtime=11.29
/proc/22404/stat : 22404 (SatELiteGTI) S 22402 22404 11066 0 -1 4194304 386 30177 0 0 0 0 1108 21 18 0 1 0 1023118458 2473984 277 4294967295 134512640 135169312 3216352928 3216349144 3085709038 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/22404/statm: 604 277 235 161 0 43 0
[pid=22411] ppid=22404 vsize=61272 CPUtime=1.33
/proc/22411/stat : 22411 (minisat_static) R 22404 22404 11066 0 -1 4202496 14887 0 0 0 119 14 0 0 25 0 1 0 1023119597 62742528 14822 4294967295 134512640 135215339 3218096288 3218094352 134538115 0 0 0 3 0 0 0 17 0 0 0 0
/proc/22411/statm: 15318 14822 73 172 0 15145 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 63688
[startup+25.5121 s]
/proc/loadavg: 1.02 1.00 1.00 2/98 22594
/proc/meminfo: memFree=1038660/2074464 swapFree=1950760/1959888
[pid=22404] ppid=22402 vsize=2416 CPUtime=11.29
/proc/22404/stat : 22404 (SatELiteGTI) S 22402 22404 11066 0 -1 4194304 386 30177 0 0 0 0 1108 21 18 0 1 0 1023118458 2473984 277 4294967295 134512640 135169312 3216352928 3216349144 3085709038 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/22404/statm: 604 277 235 161 0 43 0
[pid=22411] ppid=22404 vsize=70840 CPUtime=14.12
/proc/22411/stat : 22411 (minisat_static) R 22404 22404 11066 0 -1 4202496 17285 0 0 0 1398 14 0 0 25 0 1 0 1023119597 72540160 17220 4294967295 134512640 135215339 3218096288 3218094560 134525016 0 0 0 3 0 0 0 17 3 0 0 0
/proc/22411/statm: 17710 17220 73 172 0 17537 0
Current children cumulated CPU time (s) 25.41
Current children cumulated vsize (KiB) 73256
[startup+51.1207 s]
/proc/loadavg: 1.01 1.00 1.00 2/98 22597
/proc/meminfo: memFree=1024220/2074464 swapFree=1950760/1959888
[pid=22404] ppid=22402 vsize=2416 CPUtime=11.29
/proc/22404/stat : 22404 (SatELiteGTI) S 22402 22404 11066 0 -1 4194304 386 30177 0 0 0 0 1108 21 18 0 1 0 1023118458 2473984 277 4294967295 134512640 135169312 3216352928 3216349144 3085709038 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/22404/statm: 604 277 235 161 0 43 0
[pid=22411] ppid=22404 vsize=85540 CPUtime=39.73
/proc/22411/stat : 22411 (minisat_static) R 22404 22404 11066 0 -1 4202496 20937 0 0 0 3957 16 0 0 25 0 1 0 1023119597 87592960 20872 4294967295 134512640 135215339 3218096288 3218094576 134528742 0 0 0 3 0 0 0 17 3 0 0 0
/proc/22411/statm: 21385 20872 73 172 0 21212 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 87956
[startup+102.318 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 22787
/proc/meminfo: memFree=1003224/2074464 swapFree=1950760/1959888
[pid=22404] ppid=22402 vsize=2416 CPUtime=11.29
/proc/22404/stat : 22404 (SatELiteGTI) S 22402 22404 11066 0 -1 4194304 386 30177 0 0 0 0 1108 21 18 0 1 0 1023118458 2473984 277 4294967295 134512640 135169312 3216352928 3216349144 3085709038 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/22404/statm: 604 277 235 161 0 43 0
[pid=22411] ppid=22404 vsize=106236 CPUtime=90.93
/proc/22411/stat : 22411 (minisat_static) R 22404 22404 11066 0 -1 4202496 26037 0 0 0 9070 23 0 0 25 0 1 0 1023119597 108785664 25972 4294967295 134512640 135215339 3218096288 3218094576 134528568 0 0 0 3 0 0 0 17 3 0 0 0
/proc/22411/statm: 26559 25972 73 172 0 26386 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 108652
[startup+162.315 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 22976
/proc/meminfo: memFree=973028/2074464 swapFree=1950760/1959888
[pid=22404] ppid=22402 vsize=2416 CPUtime=11.29
/proc/22404/stat : 22404 (SatELiteGTI) S 22402 22404 11066 0 -1 4194304 386 30177 0 0 0 0 1108 21 18 0 1 0 1023118458 2473984 277 4294967295 134512640 135169312 3216352928 3216349144 3085709038 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/22404/statm: 604 277 235 161 0 43 0
[pid=22411] ppid=22404 vsize=136880 CPUtime=150.93
/proc/22411/stat : 22411 (minisat_static) R 22404 22404 11066 0 -1 4202496 33635 0 0 0 15063 30 0 0 25 0 1 0 1023119597 140165120 33570 4294967295 134512640 135215339 3218096288 3218094576 134529148 0 0 0 3 0 0 0 17 3 0 0 0
/proc/22411/statm: 34220 33570 73 172 0 34047 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 139296
[startup+222.321 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 23164
/proc/meminfo: memFree=952268/2074464 swapFree=1950760/1959888
[pid=22404] ppid=22402 vsize=2416 CPUtime=11.29
/proc/22404/stat : 22404 (SatELiteGTI) S 22402 22404 11066 0 -1 4194304 386 30177 0 0 0 0 1108 21 18 0 1 0 1023118458 2473984 277 4294967295 134512640 135169312 3216352928 3216349144 3085709038 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/22404/statm: 604 277 235 161 0 43 0
[pid=22411] ppid=22404 vsize=157812 CPUtime=210.94
/proc/22411/stat : 22411 (minisat_static) R 22404 22404 11066 0 -1 4202496 38820 0 0 0 21061 33 0 0 25 0 1 0 1023119597 161599488 38755 4294967295 134512640 135215339 3218096288 3218094576 134529091 0 0 0 3 0 0 0 17 3 0 0 0
/proc/22411/statm: 39453 38755 73 172 0 39280 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 160228
[startup+282.318 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 23351
/proc/meminfo: memFree=932552/2074464 swapFree=1950760/1959888
[pid=22404] ppid=22402 vsize=2416 CPUtime=11.29
/proc/22404/stat : 22404 (SatELiteGTI) S 22402 22404 11066 0 -1 4194304 386 30177 0 0 0 0 1108 21 18 0 1 0 1023118458 2473984 277 4294967295 134512640 135169312 3216352928 3216349144 3085709038 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/22404/statm: 604 277 235 161 0 43 0
[pid=22411] ppid=22404 vsize=178280 CPUtime=270.94
/proc/22411/stat : 22411 (minisat_static) R 22404 22404 11066 0 -1 4202496 43829 0 0 0 27058 36 0 0 25 0 1 0 1023119597 182558720 43764 4294967295 134512640 135215339 3218096288 3218094576 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/22411/statm: 44570 43764 73 172 0 44397 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 180696
[startup+342.315 s]
/proc/loadavg: 1.04 1.01 1.00 2/98 23541
/proc/meminfo: memFree=916276/2074464 swapFree=1950760/1959888
[pid=22404] ppid=22402 vsize=2416 CPUtime=11.29
/proc/22404/stat : 22404 (SatELiteGTI) S 22402 22404 11066 0 -1 4194304 386 30177 0 0 0 0 1108 21 18 0 1 0 1023118458 2473984 277 4294967295 134512640 135169312 3216352928 3216349144 3085709038 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/22404/statm: 604 277 235 161 0 43 0
[pid=22411] ppid=22404 vsize=194204 CPUtime=330.94
/proc/22411/stat : 22411 (minisat_static) R 22404 22404 11066 0 -1 4202496 47852 0 0 0 33057 37 0 0 25 0 1 0 1023119597 198864896 47787 4294967295 134512640 135215339 3218096288 3218094560 134525025 0 0 0 3 0 0 0 17 3 0 0 0
/proc/22411/statm: 48551 47787 73 172 0 48378 0
Current children cumulated CPU time (s) 342.23
################
# More data... #
################
[startup+402.311 s]
/proc/loadavg: 1.02 1.01 1.00 3/98 23728
/proc/meminfo: memFree=894484/2074464 swapFree=1950760/1959888
[pid=22404] ppid=22402 vsize=2416 CPUtime=11.29
/proc/22404/stat : 22404 (SatELiteGTI) S 22402 22404 11066 0 -1 4194304 386 30177 0 0 0 0 1108 21 18 0 1 0 1023118458 2473984 277 4294967295 134512640 135169312 3216352928 3216349144 3085709038 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/22404/statm: 604 277 235 161 0 43 0
[pid=22411] ppid=22404 vsize=215848 CPUtime=390.94
/proc/22411/stat : 22411 (minisat_static) R 22404 22404 11066 0 -1 4202496 53274 0 0 0 39052 42 0 0 25 0 1 0 1023119597 221028352 53209 4294967295 134512640 135215339 3218096288 3218094576 134528734 0 0 0 3 0 0 0 17 3 0 0 0
/proc/22411/statm: 53962 53209 73 172 0 53789 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 218264
[startup+462.318 s]
/proc/loadavg: 1.08 1.03 1.01 3/98 23921
/proc/meminfo: memFree=868032/2074464 swapFree=1950760/1959888
[pid=22404] ppid=22402 vsize=2416 CPUtime=11.29
/proc/22404/stat : 22404 (SatELiteGTI) S 22402 22404 11066 0 -1 4194304 386 30177 0 0 0 0 1108 21 18 0 1 0 1023118458 2473984 277 4294967295 134512640 135169312 3216352928 3216349144 3085709038 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/22404/statm: 604 277 235 161 0 43 0
[pid=22411] ppid=22404 vsize=243680 CPUtime=450.95
/proc/22411/stat : 22411 (minisat_static) R 22404 22404 11066 0 -1 4202496 59940 0 0 0 45046 49 0 0 25 0 1 0 1023119597 249528320 59875 4294967295 134512640 135215339 3218096288 3218094576 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/22411/statm: 60920 59875 73 172 0 60747 0
Current children cumulated CPU time (s) 462.24
Current children cumulated vsize (KiB) 246096
[startup+522.315 s]
/proc/loadavg: 1.03 1.02 1.00 3/98 24109
/proc/meminfo: memFree=855260/2074464 swapFree=1950760/1959888
[pid=22404] ppid=22402 vsize=2416 CPUtime=11.29
/proc/22404/stat : 22404 (SatELiteGTI) S 22402 22404 11066 0 -1 4194304 386 30177 0 0 0 0 1108 21 18 0 1 0 1023118458 2473984 277 4294967295 134512640 135169312 3216352928 3216349144 3085709038 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/22404/statm: 604 277 235 161 0 43 0
[pid=22411] ppid=22404 vsize=255940 CPUtime=510.95
/proc/22411/stat : 22411 (minisat_static) R 22404 22404 11066 0 -1 4202496 63030 0 0 0 51042 53 0 0 25 0 1 0 1023119597 262082560 62965 4294967295 134512640 135215339 3218096288 3218094576 134529069 0 0 0 3 0 0 0 17 3 0 0 0
/proc/22411/statm: 63985 62965 73 172 0 63812 0
Current children cumulated CPU time (s) 522.24
Current children cumulated vsize (KiB) 258356
[startup+582.321 s]
/proc/loadavg: 1.01 1.02 1.00 3/98 24296
/proc/meminfo: memFree=838040/2074464 swapFree=1950760/1959888
[pid=22404] ppid=22402 vsize=2416 CPUtime=11.29
/proc/22404/stat : 22404 (SatELiteGTI) S 22402 22404 11066 0 -1 4194304 386 30177 0 0 0 0 1108 21 18 0 1 0 1023118458 2473984 277 4294967295 134512640 135169312 3216352928 3216349144 3085709038 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/22404/statm: 604 277 235 161 0 43 0
[pid=22411] ppid=22404 vsize=273376 CPUtime=570.96
/proc/22411/stat : 22411 (minisat_static) R 22404 22404 11066 0 -1 4202496 67343 0 0 0 57041 55 0 0 25 0 1 0 1023119597 279937024 67278 4294967295 134512640 135215339 3218096288 3218094576 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/22411/statm: 68344 67278 73 172 0 68171 0
Current children cumulated CPU time (s) 582.25
Current children cumulated vsize (KiB) 275792
[startup+642.318 s]
/proc/loadavg: 1.00 1.01 1.00 3/98 24485
/proc/meminfo: memFree=823880/2074464 swapFree=1950760/1959888
[pid=22404] ppid=22402 vsize=2416 CPUtime=11.29
/proc/22404/stat : 22404 (SatELiteGTI) S 22402 22404 11066 0 -1 4194304 386 30177 0 0 0 0 1108 21 18 0 1 0 1023118458 2473984 277 4294967295 134512640 135169312 3216352928 3216349144 3085709038 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/22404/statm: 604 277 235 161 0 43 0
[pid=22411] ppid=22404 vsize=287172 CPUtime=630.96
/proc/22411/stat : 22411 (minisat_static) R 22404 22404 11066 0 -1 4202496 70818 0 0 0 63038 58 0 0 25 0 1 0 1023119597 294064128 70753 4294967295 134512640 135215339 3218096288 3218094576 134528884 0 0 0 3 0 0 0 17 3 0 0 0
/proc/22411/statm: 71793 70753 73 172 0 71620 0
Current children cumulated CPU time (s) 642.25
Current children cumulated vsize (KiB) 289588
[startup+702.315 s]
/proc/loadavg: 1.00 1.01 1.00 3/98 24672
/proc/meminfo: memFree=814224/2074464 swapFree=1950760/1959888
[pid=22404] ppid=22402 vsize=2416 CPUtime=11.29
/proc/22404/stat : 22404 (SatELiteGTI) S 22402 22404 11066 0 -1 4194304 386 30177 0 0 0 0 1108 21 18 0 1 0 1023118458 2473984 277 4294967295 134512640 135169312 3216352928 3216349144 3085709038 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/22404/statm: 604 277 235 161 0 43 0
[pid=22411] ppid=22404 vsize=297004 CPUtime=690.96
/proc/22411/stat : 22411 (minisat_static) R 22404 22404 11066 0 -1 4202496 73280 0 0 0 69032 64 0 0 25 0 1 0 1023119597 304132096 73215 4294967295 134512640 135215339 3218096288 3218094576 134528788 0 0 0 3 0 0 0 17 3 0 0 0
/proc/22411/statm: 74251 73215 73 172 0 74078 0
Current children cumulated CPU time (s) 702.25
Current children cumulated vsize (KiB) 299420
Solver just ended. Dumping a history of the last processes samples
[startup+716.714 s]
/proc/loadavg: 1.00 1.01 1.00 3/98 24674
/proc/meminfo: memFree=812420/2074464 swapFree=1950760/1959888
[pid=22404] ppid=22402 vsize=2416 CPUtime=11.29
/proc/22404/stat : 22404 (SatELiteGTI) S 22402 22404 11066 0 -1 4194304 386 30177 0 0 0 0 1108 21 18 0 1 0 1023118458 2473984 277 4294967295 134512640 135169312 3216352928 3216349144 3085709038 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/22404/statm: 604 277 235 161 0 43 0
[pid=22411] ppid=22404 vsize=298896 CPUtime=705.36
/proc/22411/stat : 22411 (minisat_static) R 22404 22404 11066 0 -1 4202496 73773 0 0 0 70469 67 0 0 25 0 1 0 1023119597 306069504 73708 4294967295 134512640 135215339 3218096288 3218094576 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/22411/statm: 74724 73708 73 172 0 74551 0
Current children cumulated CPU time (s) 716.65
Current children cumulated vsize (KiB) 301312
[startup+729.513 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 24675
/proc/meminfo: memFree=810808/2074464 swapFree=1950760/1959888
[pid=22404] ppid=22402 vsize=2416 CPUtime=11.29
/proc/22404/stat : 22404 (SatELiteGTI) S 22402 22404 11066 0 -1 4194304 386 30177 0 0 0 0 1108 21 18 0 1 0 1023118458 2473984 277 4294967295 134512640 135169312 3216352928 3216349144 3085709038 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/22404/statm: 604 277 235 161 0 43 0
[pid=22411] ppid=22404 vsize=300492 CPUtime=718.16
/proc/22411/stat : 22411 (minisat_static) R 22404 22404 11066 0 -1 4202496 74157 0 0 0 71748 68 0 0 25 0 1 0 1023119597 307703808 74092 4294967295 134512640 135215339 3218096288 3218094576 134528863 0 0 0 3 0 0 0 17 3 0 0 0
/proc/22411/statm: 75123 74092 73 172 0 74950 0
Current children cumulated CPU time (s) 729.45
Current children cumulated vsize (KiB) 302908
[startup+735.913 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 24675
/proc/meminfo: memFree=810064/2074464 swapFree=1950760/1959888
[pid=22404] ppid=22402 vsize=2416 CPUtime=11.29
/proc/22404/stat : 22404 (SatELiteGTI) S 22402 22404 11066 0 -1 4194304 386 30177 0 0 0 0 1108 21 18 0 1 0 1023118458 2473984 277 4294967295 134512640 135169312 3216352928 3216349144 3085709038 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/22404/statm: 604 277 235 161 0 43 0
[pid=22411] ppid=22404 vsize=301152 CPUtime=724.56
/proc/22411/stat : 22411 (minisat_static) R 22404 22404 11066 0 -1 4202496 74330 0 0 0 72388 68 0 0 25 0 1 0 1023119597 308379648 74265 4294967295 134512640 135215339 3218096288 3218094576 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/22411/statm: 75288 74265 73 172 0 75115 0
Current children cumulated CPU time (s) 735.85
Current children cumulated vsize (KiB) 303568
[startup+737.513 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 24675
/proc/meminfo: memFree=809940/2074464 swapFree=1950760/1959888
[pid=22404] ppid=22402 vsize=2416 CPUtime=11.29
/proc/22404/stat : 22404 (SatELiteGTI) S 22402 22404 11066 0 -1 4194304 386 30177 0 0 0 0 1108 21 18 0 1 0 1023118458 2473984 277 4294967295 134512640 135169312 3216352928 3216349144 3085709038 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/22404/statm: 604 277 235 161 0 43 0
[pid=22411] ppid=22404 vsize=301284 CPUtime=726.16
/proc/22411/stat : 22411 (minisat_static) R 22404 22404 11066 0 -1 4202496 74376 0 0 0 72548 68 0 0 25 0 1 0 1023119597 308514816 74311 4294967295 134512640 135215339 3218096288 3218094496 134526021 0 0 0 3 0 0 0 17 3 0 0 0
/proc/22411/statm: 75321 74311 73 172 0 75148 0
Current children cumulated CPU time (s) 737.45
Current children cumulated vsize (KiB) 303700
[startup+739.113 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 24676
/proc/meminfo: memFree=809816/2074464 swapFree=1950760/1959888
[pid=22404] ppid=22402 vsize=2416 CPUtime=11.29
/proc/22404/stat : 22404 (SatELiteGTI) S 22402 22404 11066 0 -1 4194304 386 30177 0 0 0 0 1108 21 18 0 1 0 1023118458 2473984 277 4294967295 134512640 135169312 3216352928 3216349144 3085709038 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/22404/statm: 604 277 235 161 0 43 0
[pid=22411] ppid=22404 vsize=301284 CPUtime=727.76
/proc/22411/stat : 22411 (minisat_static) R 22404 22404 11066 0 -1 4202496 74376 0 0 0 72708 68 0 0 25 0 1 0 1023119597 308514816 74311 4294967295 134512640 135215339 3218096288 3218094496 134526318 0 0 0 3 0 0 0 17 3 0 0 0
/proc/22411/statm: 75321 74311 73 172 0 75148 0
Current children cumulated CPU time (s) 739.05
Current children cumulated vsize (KiB) 303700
[startup+739.513 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 24676
/proc/meminfo: memFree=809816/2074464 swapFree=1950760/1959888
[pid=22404] ppid=22402 vsize=2416 CPUtime=11.29
/proc/22404/stat : 22404 (SatELiteGTI) S 22402 22404 11066 0 -1 4194304 386 30177 0 0 0 0 1108 21 18 0 1 0 1023118458 2473984 277 4294967295 134512640 135169312 3216352928 3216349144 3085709038 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/22404/statm: 604 277 235 161 0 43 0
[pid=22411] ppid=22404 vsize=301284 CPUtime=728.16
/proc/22411/stat : 22411 (minisat_static) R 22404 22404 11066 0 -1 4202496 74376 0 0 0 72748 68 0 0 25 0 1 0 1023119597 308514816 74311 4294967295 134512640 135215339 3218096288 3218094496 134525922 0 0 0 3 0 0 0 17 3 0 0 0
/proc/22411/statm: 75321 74311 73 172 0 75148 0
Current children cumulated CPU time (s) 739.45
Current children cumulated vsize (KiB) 303700
[startup+739.913 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 24676
/proc/meminfo: memFree=809816/2074464 swapFree=1950760/1959888
[pid=22404] ppid=22402 vsize=2416 CPUtime=11.29
/proc/22404/stat : 22404 (SatELiteGTI) S 22402 22404 11066 0 -1 4194304 386 30177 0 0 0 0 1108 21 18 0 1 0 1023118458 2473984 277 4294967295 134512640 135169312 3216352928 3216349144 3085709038 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/22404/statm: 604 277 235 161 0 43 0
[pid=22411] ppid=22404 vsize=301284 CPUtime=728.56
/proc/22411/stat : 22411 (minisat_static) R 22404 22404 11066 0 -1 4202496 74376 0 0 0 72788 68 0 0 25 0 1 0 1023119597 308514816 74311 4294967295 134512640 135215339 3218096288 3218094496 134525918 0 0 0 3 0 0 0 17 3 0 0 0
/proc/22411/statm: 75321 74311 73 172 0 75148 0
Current children cumulated CPU time (s) 739.85
Current children cumulated vsize (KiB) 303700
[startup+740.013 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 24676
/proc/meminfo: memFree=809816/2074464 swapFree=1950760/1959888
[pid=22404] ppid=22402 vsize=2416 CPUtime=11.29
/proc/22404/stat : 22404 (SatELiteGTI) S 22402 22404 11066 0 -1 4194304 386 30177 0 0 0 0 1108 21 18 0 1 0 1023118458 2473984 277 4294967295 134512640 135169312 3216352928 3216349144 3085709038 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/22404/statm: 604 277 235 161 0 43 0
[pid=22411] ppid=22404 vsize=0 CPUtime=728.66
/proc/22411/stat : 22411 (minisat_static) R 22404 22404 11066 0 -1 4202500 74500 0 0 0 72797 69 0 0 25 0 1 0 1023119597 0 0 4294967295 0 0 0 0 0 0 0 0 3 0 0 0 17 3 0 0 0
/proc/22411/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 739.95
Current children cumulated vsize (KiB) 2416
Child status: 20
Real time (s): 740.039
CPU time (s): 739.97
CPU user time (s): 739.05
CPU system time (s): 0.92
CPU usage (%): 99.9907
Max. virtual memory (cumulated for all children) (KiB): 303700
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 739.05
system time used= 0.92
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 105336
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= 24
involuntary context switches= 2802
runsolver used 0.02 second user time and 0.05 second system time
The end
Begin job on tipi23 at 2009-05-17 20:50:00
IDJOB=1822000
IDBENCH=71777
IDSOLVER=657
FILE ID=tipi23/1822000-1242586200
PBS_JOBID=
Free space on /tmp= 8299 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT_RACE06/velev-pipe-uns-1.0-8.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1822000-1242586200/watcher-1822000-1242586200 -o /tmp/evaluation-result-1822000-1242586200/solver-1822000-1242586200 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1822000-1242586200.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 0767e5dbf6844720495e9eb5423112e1
RANDOM SEED= 1567413273
Linux tipi23 2.6.18 #19 SMP Tue Jun 19 11:27:27 CEST 2007 i686 GNU/Linux
/proc/cpuinfo:
processor : 0
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.377
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3618.38
processor : 1
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.377
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.78
processor : 2
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.377
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.79
processor : 3
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.377
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.78
/proc/meminfo:
MemTotal: 2074464 kB
MemFree: 1134032 kB
Buffers: 52072 kB
Cached: 785664 kB
SwapCached: 3584 kB
Active: 446552 kB
Inactive: 402976 kB
HighTotal: 1178688 kB
HighFree: 550272 kB
LowTotal: 895776 kB
LowFree: 583760 kB
SwapTotal: 1959888 kB
SwapFree: 1950760 kB
Dirty: 26348 kB
Writeback: 0 kB
AnonPages: 11060 kB
Mapped: 4496 kB
Slab: 82244 kB
PageTables: 492 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 2997120 kB
Committed_AS: 96900 kB
VmallocTotal: 114680 kB
VmallocUsed: 1324 kB
VmallocChunk: 113264 kB
Free space on /tmp at the end= 8299 MiB
End job on tipi23 at 2009-05-17 21:02:22