0.00/0.00 c Parsing...
0.00/0.92 c ==============================================================================
0.00/0.92 c | | ORIGINAL | LEARNT | |
0.00/0.92 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.92 c ==============================================================================
0.00/0.92 c | 0 | 1332772 3936682 | 399831 0 0 nan | 0.000 % |
1.48/6.75 c | 0 | 1317234 4010071 | -- 0 -- -- | -- | -15195/74092
1.48/6.75 c ==============================================================================
1.48/6.75 c Result : #vars: 30665 #clauses: 1317234 #literals: 4010071
1.48/6.75 c CPU time: 6.53801 s
1.48/6.75 c ==============================================================================
1.48/7.94 c This is MiniSat 2.0 beta
1.48/7.94 c WARNING: for repeatability, setting FPU to use double precision
1.48/7.94 c ============================[ Problem Statistics ]=============================
1.48/7.94 c | |
1.48/7.94 c | Number of variables: 30665 |
1.48/7.94 c | Number of clauses: 1317234 |
7.91/8.65 c | Parsing time: 0.61 s |
7.91/8.68 c ============================[ Search Statistics ]==============================
7.91/8.68 c | Conflicts | ORIGINAL | LEARNT | Progress |
7.91/8.68 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
7.91/8.68 c ===============================================================================
7.91/8.68 c | 0 | 30665 1317234 4010071 | 439078 0 nan | 0.000 % |
8.88/8.91 c | 100 | 30665 1317234 4010071 | 439078 100 244 | 0.000 % |
8.88/8.96 c | 200 | 30665 1317234 4010071 | 439078 200 178 | 0.000 % |
8.88/8.99 c | 301 | 30665 1317234 4010071 | 439078 301 126 | 0.000 % |
8.98/9.09 c | 411 | 30665 1317234 4010071 | 439078 411 109 | 0.000 % |
9.07/9.14 c | 511 | 30665 1317234 4010071 | 439078 511 104 | 0.000 % |
9.17/9.22 c | 621 | 30665 1317234 4010071 | 439078 621 100 | 0.000 % |
9.17/9.27 c | 742 | 30665 1317234 4010071 | 439078 742 90 | 0.000 % |
9.27/9.32 c | 846 | 30665 1317234 4010071 | 439078 846 89 | 0.000 % |
9.27/9.38 c | 958 | 30665 1317234 4010071 | 439078 958 86 | 0.000 % |
9.37/9.44 c | 1079 | 30665 1317234 4010071 | 439078 1079 84 | 0.000 % |
9.37/9.48 c | 1212 | 30665 1317234 4010071 | 439078 1212 81 | 0.000 % |
9.47/9.51 c | 1312 | 30665 1317234 4010071 | 439078 1312 78 | 0.000 % |
9.47/9.52 c | 1423 | 30665 1317234 4010071 | 439078 1423 77 | 0.000 % |
9.47/9.54 c | 1544 | 30665 1317234 4010071 | 439078 1544 75 | 0.000 % |
9.47/9.57 c | 1679 | 30665 1317234 4010071 | 439078 1679 75 | 0.000 % |
9.47/9.59 c | 1826 | 30665 1317234 4010071 | 439078 1826 72 | 0.000 % |
9.57/9.64 c | 1927 | 30665 1317234 4010071 | 439078 1927 73 | 0.000 % |
9.57/9.68 c | 2040 | 30665 1317234 4010071 | 439078 2040 77 | 0.000 % |
9.67/9.77 c | 2163 | 30665 1317234 4010071 | 439078 2163 79 | 0.000 % |
9.77/9.80 c | 2297 | 30665 1317234 4010071 | 439078 2297 79 | 0.000 % |
9.77/9.87 c | 2444 | 30665 1317234 4010071 | 439078 2444 80 | 0.000 % |
9.87/9.92 c | 2606 | 30665 1317234 4010071 | 439078 2606 82 | 0.000 % |
9.98/10.03 c | 2708 | 30665 1317234 4010071 | 439078 2708 84 | 0.000 % |
10.08/10.17 c | 2825 | 30665 1317234 4010071 | 439078 2825 82 | 0.000 % |
10.17/10.24 c | 2947 | 30665 1317234 4010071 | 439078 2947 83 | 0.000 % |
10.27/10.33 c | 3086 | 30665 1317234 4010071 | 439078 3086 86 | 0.000 % |
10.47/10.50 c | 3232 | 30665 1317234 4010071 | 439078 3232 87 | 0.000 % |
10.47/10.57 c | 3392 | 30665 1317234 4010071 | 439078 3392 84 | 0.000 % |
10.57/10.63 c | 3572 | 30665 1317234 4010071 | 439078 3572 86 | 0.000 % |
10.67/10.71 c | 3672 | 30665 1317234 4010071 | 439078 3672 88 | 0.000 % |
10.67/10.74 c | 3783 | 30665 1317234 4010071 | 439078 3783 88 | 0.000 % |
10.77/10.82 c | 3905 | 30665 1317234 4010071 | 439078 3905 88 | 0.000 % |
10.97/11.00 c | 4038 | 30665 1317234 4010071 | 439078 4038 88 | 0.000 % |
10.97/11.07 c | 4185 | 30665 1317234 4010071 | 439078 4185 90 | 0.000 % |
10.97/11.09 c | 4345 | 30665 1317234 4010071 | 439078 4345 88 | 0.000 % |
11.08/11.18 c | 4523 | 30665 1317234 4010071 | 439078 4523 88 | 0.000 % |
11.27/11.39 c | 4718 | 30665 1317234 4010071 | 439078 4718 88 | 0.000 % |
11.37/11.48 c | 4818 | 30665 1317234 4010071 | 439078 4818 88 | 0.000 % |
11.57/11.68 c | 4928 | 30665 1317234 4010071 | 439078 4928 87 | 0.000 % |
11.67/11.72 c | 5050 | 30665 1317234 4010071 | 439078 5050 86 | 0.000 % |
11.87/11.99 c | 5183 | 30665 1317234 4010071 | 439078 5183 85 | 0.000 % |
11.97/12.07 c | 5329 | 30665 1317234 4010071 | 439078 5329 86 | 0.000 % |
12.07/12.11 c | 5490 | 30665 1317234 4010071 | 439078 5490 85 | 0.000 % |
12.07/12.17 c | 5667 | 30665 1317234 4010071 | 439078 5667 86 | 0.000 % |
12.67/12.75 c | 5861 | 30665 1317234 4010071 | 439078 5861 85 | 0.000 % |
12.77/12.84 c | 6073 | 30665 1317234 4010071 | 439078 6073 85 | 0.000 % |
12.87/12.91 c | 6174 | 30665 1317234 4010071 | 439078 6174 86 | 0.000 % |
12.87/12.95 c | 6284 | 30665 1317234 4010071 | 439078 6284 86 | 0.000 % |
12.87/12.98 c | 6408 | 30665 1317234 4010071 | 439078 6408 85 | 0.000 % |
12.97/13.04 c | 6542 | 30665 1317234 4010071 | 439078 6542 86 | 0.000 % |
13.17/13.22 c | 6688 | 30665 1317234 4010071 | 439078 6688 88 | 0.000 % |
13.27/13.32 c | 6848 | 30665 1317234 4010071 | 439078 6848 87 | 0.000 % |
13.27/13.36 c | 7025 | 30665 1317234 4010071 | 439078 7025 88 | 0.000 % |
13.47/13.51 c | 7218 | 30665 1317234 4010071 | 439078 7218 88 | 0.000 % |
13.47/13.56 c | 7430 | 30665 1317234 4010071 | 439078 7430 91 | 0.000 % |
13.67/13.70 c | 7664 | 30665 1317234 4010071 | 439078 7664 90 | 0.000 % |
13.67/13.72 c | 7764 | 30665 1317234 4010071 | 439078 7764 90 | 0.000 % |
13.77/13.80 c | 7875 | 30665 1317234 4010071 | 439078 7875 90 | 0.000 % |
13.77/13.88 c | 8001 | 30665 1317234 4010071 | 439078 8001 90 | 0.000 % |
13.97/14.00 c | 8136 | 30665 1317234 4010071 | 439078 8136 90 | 0.000 % |
13.97/14.04 c | 8282 | 30665 1317234 4010071 | 439078 8282 89 | 0.000 % |
14.07/14.11 c | 8443 | 30665 1317234 4010071 | 439078 8443 90 | 0.000 % |
14.17/14.25 c | 8622 | 30665 1317234 4010071 | 439078 8622 89 | 0.000 % |
14.37/14.47 c | 8815 | 30665 1317234 4010071 | 439078 8815 89 | 0.000 % |
14.47/14.54 c | 9030 | 30665 1317234 4010071 | 439078 9030 89 | 0.000 % |
14.57/14.67 c | 9264 | 30665 1317234 4010071 | 439078 9264 89 | 0.000 % |
14.78/14.87 c | 9520 | 30665 1317234 4010071 | 439078 9520 89 | 0.000 % |
14.88/14.96 c | 9620 | 30665 1317234 4010071 | 439078 9620 89 | 0.000 % |
14.98/15.06 c | 9732 | 30665 1317234 4010071 | 439078 9732 88 | 0.000 % |
15.08/15.12 c | 9853 | 30665 1317234 4010071 | 439078 9853 89 | 0.000 % |
15.17/15.25 c | 9986 | 30665 1317234 4010071 | 439078 9986 89 | 0.000 % |
15.27/15.30 c | 10134 | 30665 1317234 4010071 | 2147483647 10134 89 | 0.000 % |
15.37/15.42 c | 10302 | 30665 1317234 4010071 | 2147483647 10302 89 | 0.000 % |
15.48/15.53 c | 10478 | 30665 1317234 4010071 | 2147483647 10478 89 | 0.000 % |
15.58/15.66 c | 10683 | 30665 1317234 4010071 | 2147483647 10683 90 | 0.000 % |
15.87/15.92 c | 10898 | 30665 1317234 4010071 | 2147483647 10898 90 | 0.000 % |
16.17/16.22 c | 11131 | 30665 1317234 4010071 | 2147483647 11131 89 | 0.000 % |
16.27/16.35 c | 11390 | 30665 1317234 4010071 | 2147483647 11390 90 | 0.000 % |
16.37/16.45 c | 11671 | 30665 1317234 4010071 | 2147483647 11671 90 | 0.000 % |
16.46/16.50 c | 11772 | 30665 1317234 4010071 | 2147483647 11772 90 | 0.000 % |
16.46/16.59 c | 11882 | 30665 1317234 4010071 | 2147483647 11882 90 | 0.000 % |
16.56/16.67 c | 12006 | 30665 1317234 4010071 | 2147483647 12006 91 | 0.000 % |
16.66/16.77 c | 12139 | 30665 1317234 4010071 | 2147483647 12139 91 | 0.000 % |
16.76/16.84 c | 12289 | 30665 1317234 4010071 | 2147483647 12289 91 | 0.000 % |
16.76/16.88 c | 12450 | 30665 1317234 4010071 | 2147483647 12450 90 | 0.000 % |
16.86/16.92 c | 12626 | 30665 1317234 4010071 | 2147483647 12626 91 | 0.000 % |
16.96/17.03 c | 12819 | 30665 1317234 4010071 | 2147483647 12819 90 | 0.000 % |
17.06/17.12 c | 13031 | 30665 1317234 4010071 | 2147483647 13031 91 | 0.000 % |
17.16/17.26 c | 13264 | 30665 1317234 4010071 | 2147483647 13264 92 | 0.000 % |
17.26/17.34 c | 13521 | 30665 1317234 4010071 | 2147483647 13521 92 | 0.000 % |
17.57/17.63 c | 13802 | 30665 1317234 4010071 | 2147483647 13802 92 | 0.000 % |
17.67/17.73 c | 14111 | 30665 1317234 4010071 | 2147483647 14111 93 | 0.000 % |
17.67/17.79 c | 14212 | 30665 1317234 4010071 | 2147483647 14212 94 | 0.000 % |
17.86/17.90 c | 14322 | 30665 1317234 4010071 | 2147483647 14322 94 | 0.000 % |
17.86/17.96 c | 14443 | 30665 1317234 4010071 | 2147483647 14443 94 | 0.000 % |
17.96/18.05 c | 14576 | 30665 1317234 4010071 | 2147483647 14576 94 | 0.000 % |
18.06/18.11 c | 14723 | 30665 1317234 4010071 | 2147483647 14723 94 | 0.000 % |
18.06/18.19 c | 14883 | 30665 1317234 4010071 | 2147483647 14883 94 | 0.000 % |
18.36/18.45 c | 15059 | 30665 1317234 4010071 | 2147483647 15059 94 | 0.000 % |
18.46/18.56 c | 15252 | 30665 1317234 4010071 | 2147483647 15252 94 | 0.000 % |
18.56/18.68 c | 15465 | 30665 1317234 4010071 | 2147483647 15465 94 | 0.000 % |
18.86/18.99 c | 15700 | 30665 1317234 4010071 | 2147483647 15700 94 | 0.000 % |
19.06/19.17 c | 15962 | 30665 1317234 4010071 | 2147483647 15962 94 | 0.000 % |
19.26/19.35 c | 16243 | 30665 1317234 4010071 | 2147483647 16243 95 | 0.000 % |
19.36/19.46 c | 16554 | 30665 1317234 4010071 | 2147483647 16554 95 | 0.000 % |
19.56/19.67 c | 16895 | 30665 1317234 4010071 | 2147483647 16895 97 | 0.000 % |
19.66/19.71 c | 16996 | 30665 1317234 4010071 | 2147483647 16996 97 | 0.000 % |
19.76/19.88 c | 17108 | 30665 1317234 4010071 | 2147483647 17108 96 | 0.000 % |
19.86/19.94 c | 17230 | 30665 1317234 4010071 | 2147483647 17230 97 | 0.000 % |
19.95/20.03 c | 17363 | 30665 1317234 4010071 | 2147483647 17363 97 | 0.000 % |
19.95/20.10 c | 17511 | 30665 1317234 4010071 | 2147483647 17511 98 | 0.000 % |
20.15/20.27 c | 17672 | 30665 1317234 4010071 | 2147483647 17672 98 | 0.000 % |
20.25/20.38 c | 17848 | 30665 1317234 4010071 | 2147483647 17848 98 | 0.000 % |
20.55/20.60 c | 18042 | 30665 1317234 4010071 | 2147483647 18042 98 | 0.000 % |
20.65/20.76 c | 18255 | 30665 1317234 4010071 | 2147483647 18255 98 | 0.000 % |
20.75/20.88 c | 18488 | 30665 1317234 4010071 | 2147483647 18488 97 | 0.000 % |
20.85/20.96 c | 18744 | 30665 1317234 4010071 | 2147483647 18744 97 | 0.000 % |
21.05/21.14 c | 19027 | 30665 1317234 4010071 | 2147483647 19027 97 | 0.000 % |
21.15/21.27 c | 19336 | 30665 1317234 4010071 | 2147483647 19336 98 | 0.000 % |
21.34/21.44 c | 19677 | 30665 1317234 4010071 | 2147483647 19677 97 | 0.000 % |
21.64/21.73 c | 20054 | 30665 1317234 4010071 | 2147483647 20054 97 | 0.000 % |
21.74/21.84 c | 20154 | 30665 1317234 4010071 | 2147483647 20154 97 | 0.000 % |
21.84/21.93 c | 20266 | 30665 1317234 4010071 | 2147483647 20266 97 | 0.000 % |
21.84/21.99 c | 20387 | 30665 1317234 4010071 | 2147483647 20387 97 | 0.000 % |
21.94/22.10 c | 20524 | 30665 1317234 4010071 | 2147483647 20524 98 | 0.000 % |
22.04/22.19 c | 20670 | 30665 1317234 4010071 | 2147483647 20670 98 | 0.000 % |
22.24/22.30 c | 20831 | 30665 1317234 4010071 | 2147483647 20831 98 | 0.000 % |
22.24/22.36 c | 21010 | 30665 1317234 4010071 | 2147483647 21010 99 | 0.000 % |
22.44/22.52 c | 21205 | 30665 1317234 4010071 | 2147483647 21205 99 | 0.000 % |
22.54/22.62 c | 21418 | 30665 1317234 4010071 | 2147483647 21418 99 | 0.000 % |
22.64/22.74 c | 21651 | 30665 1317234 4010071 | 2147483647 21651 99 | 0.000 % |
22.84/22.92 c | 21907 | 30665 1317234 4010071 | 2147483647 21907 99 | 0.000 % |
22.94/23.08 c | 22189 | 30665 1317234 4010071 | 2147483647 22189 99 | 0.000 % |
23.14/23.25 c | 22499 | 30665 1317234 4010071 | 2147483647 22499 99 | 0.000 % |
23.34/23.45 c | 22839 | 30665 1317234 4010071 | 2147483647 22839 100 | 0.000 % |
23.55/23.63 c | 23212 | 30665 1317234 4010071 | 2147483647 23212 99 | 0.000 % |
23.65/23.77 c | 23622 | 30665 1317234 4010071 | 2147483647 23622 99 | 0.000 % |
23.65/23.80 c | 23728 | 30665 1317234 4010071 | 2147483647 23728 99 | 0.000 % |
23.75/23.87 c | 23838 | 30665 1317234 4010071 | 2147483647 23838 99 | 0.000 % |
23.85/23.94 c | 23959 | 30665 1317234 4010071 | 2147483647 23959 99 | 0.000 % |
23.95/24.02 c | 24095 | 30665 1317234 4010071 | 2147483647 24095 99 | 0.000 % |
24.05/24.18 c | 24242 | 30665 1317234 4010071 | 2147483647 24242 99 | 0.000 % |
24.15/24.30 c | 24404 | 30665 1317234 4010071 | 2147483647 24404 99 | 0.000 % |
24.30/24.40 c | 24583 | 30665 1317234 4010071 | 2147483647 24583 99 | 0.000 % |
24.44/24.56 c | 24776 | 30665 1317234 4010071 | 2147483647 24776 99 | 0.000 % |
24.54/24.63 c | 24989 | 30665 1317234 4010071 | 2147483647 24989 99 | 0.000 % |
24.64/24.78 c | 25224 | 30665 1317234 4010071 | 2147483647 25224 100 | 0.000 % |
24.74/24.87 c | 25482 | 30665 1317234 4010071 | 2147483647 25482 101 | 0.000 % |
25.04/25.10 c | 25767 | 30665 1317234 4010071 | 2147483647 25767 101 | 0.000 % |
25.24/25.38 c | 26076 | 30665 1317234 4010071 | 2147483647 26076 102 | 0.000 % |
25.44/25.53 c | 26415 | 30665 1317234 4010071 | 2147483647 26415 102 | 0.000 % |
25.64/25.71 c | 26791 | 30665 1317234 4010071 | 2147483647 26791 102 | 0.000 % |
25.84/25.94 c | 27200 | 30665 1317234 4010071 | 2147483647 27200 102 | 0.000 % |
26.04/26.14 c | 27652 | 30665 1317234 4010071 | 2147483647 27652 102 | 0.000 % |
26.14/26.20 c | 27753 | 30665 1317234 4010071 | 2147483647 27753 102 | 0.000 % |
26.14/26.26 c | 27866 | 30665 1317234 4010071 | 2147483647 27866 102 | 0.000 % |
26.14/26.29 c | 27988 | 30665 1317234 4010071 | 2147483647 27988 102 | 0.000 % |
26.34/26.41 c | 28121 | 30665 1317234 4010071 | 2147483647 28121 102 | 0.000 % |
26.34/26.46 c | 28270 | 30665 1317234 4010071 | 2147483647 28270 102 | 0.000 % |
26.45/26.56 c | 28431 | 30665 1317234 4010071 | 2147483647 28431 102 | 0.000 % |
26.55/26.68 c | 28607 | 30665 1317234 4010071 | 2147483647 28607 101 | 0.000 % |
26.64/26.76 c | 28804 | 30665 1317234 4010071 | 2147483647 28804 101 | 0.000 % |
26.74/26.89 c | 29017 | 30665 1317234 4010071 | 2147483647 29017 101 | 0.000 % |
26.94/27.09 c | 29253 | 30665 1317234 4010071 | 2147483647 29253 102 | 0.000 % |
27.04/27.17 c | 29511 | 30665 1317234 4010071 | 2147483647 29511 101 | 0.000 % |
27.14/27.30 c | 29792 | 30665 1317234 4010071 | 2147483647 29792 102 | 0.000 % |
27.24/27.38 c | 30101 | 30665 1317234 4010071 | 2147483647 30101 101 | 0.000 % |
27.34/27.45 c | 30441 | 30665 1317234 4010071 | 2147483647 30441 101 | 0.000 % |
27.55/27.61 c | 30816 | 30665 1317234 4010071 | 2147483647 30816 100 | 0.000 % |
27.65/27.73 c | 31226 | 30665 1317234 4010071 | 2147483647 31226 100 | 0.000 % |
27.84/27.90 c | 31681 | 30665 1317234 4010071 | 2147483647 31681 100 | 0.000 % |
28.04/28.17 c | 32175 | 30665 1317234 4010071 | 2147483647 32175 100 | 0.000 % |
28.14/28.25 c | 32275 | 30665 1317234 4010071 | 2147483647 32275 100 | 0.000 % |
28.34/28.44 c | 32389 | 30665 1317234 4010071 | 2147483647 32389 100 | 0.000 % |
28.34/28.48 c | 32511 | 30665 1317234 4010071 | 2147483647 32511 100 | 0.000 % |
28.44/28.55 c | 32646 | 30665 1317234 4010071 | 2147483647 32646 100 | 0.000 % |
28.54/28.66 c | 32792 | 30665 1317234 4010071 | 2147483647 32792 100 | 0.000 % |
28.54/28.84 c | 32952 | 30665 1317234 4010071 | 2147483647 32952 100 | 0.000 % |
28.87/29.02 c | 33128 | 30665 1317234 4010071 | 2147483647 33128 100 | 0.000 % |
28.98/29.11 c | 33322 | 30665 1317234 4010071 | 2147483647 33322 100 | 0.000 % |
29.14/29.29 c | 33536 | 30665 1317234 4010071 | 2147483647 33536 100 | 0.000 % |
29.54/29.68 c | 33769 | 30665 1317234 4010071 | 2147483647 33769 100 | 0.000 % |
29.64/29.79 c | 34025 | 30665 1317234 4010071 | 2147483647 34025 100 | 0.000 % |
30.03/30.14 c | 34306 | 30665 1317234 4010071 | 2147483647 34306 100 | 0.000 % |
30.23/30.32 c | 34617 | 30665 1317234 4010071 | 2147483647 34617 99 | 0.000 % |
30.63/30.75 c | 34956 | 30665 1317234 4010071 | 2147483647 34956 101 | 0.000 % |
30.82/30.93 c | 35328 | 30665 1317234 4010071 | 2147483647 35328 101 | 0.000 % |
31.03/31.18 c | 35738 | 30665 1317234 4010071 | 2147483647 35738 101 | 0.000 % |
31.43/31.52 c | 36187 | 30665 1317234 4010071 | 2147483647 36187 101 | 0.000 % |
31.63/31.74 c | 36683 | 30665 1317234 4010071 | 2147483647 36683 101 | 0.000 % |
32.03/32.18 c | 37225 | 30665 1317234 4010071 | 2147483647 37225 100 | 0.000 % |
32.14/32.28 c | 37328 | 30665 1317234 4010071 | 2147483647 37328 100 | 0.000 % |
32.24/32.37 c | 37439 | 30665 1317234 4010071 | 2147483647 37439 100 | 0.000 % |
32.33/32.46 c | 37560 | 30665 1317234 4010071 | 2147483647 37560 100 | 0.000 % |
32.43/32.58 c | 37695 | 30665 1317234 4010071 | 2147483647 37695 100 | 0.000 % |
32.63/32.75 c | 37841 | 30665 1317234 4010071 | 2147483647 37841 100 | 0.000 % |
32.73/32.85 c | 38001 | 30665 1317234 4010071 | 2147483647 38001 100 | 0.000 % |
32.93/33.00 c | 38179 | 30665 1317234 4010071 | 2147483647 38179 100 | 0.000 % |
33.03/33.15 c | 38373 | 30665 1317234 4010071 | 2147483647 38373 100 | 0.000 % |
33.82/33.91 c | 38586 | 30665 1317234 4010071 | 2147483647 38586 100 | 0.000 % |
34.02/34.11 c | 38823 | 30665 1317234 4010071 | 2147483647 38823 100 | 0.000 % |
34.12/34.26 c | 39079 | 30665 1317234 4010071 | 2147483647 39079 101 | 0.000 % |
34.32/34.42 c | 39360 | 30665 1317234 4010071 | 2147483647 39360 101 | 0.000 % |
34.52/34.69 c | 39669 | 30665 1317234 4010071 | 2147483647 39669 101 | 0.000 % |
34.72/34.83 c | 40010 | 30665 1317234 4010071 | 2147483647 40010 100 | 0.000 % |
35.22/35.38 c | 40383 | 30665 1317234 4010071 | 2147483647 40383 100 | 0.000 % |
35.52/35.62 c | 40792 | 30665 1317234 4010071 | 2147483647 40792 100 | 0.000 % |
35.82/35.93 c | 41241 | 30665 1317234 4010071 | 2147483647 41241 100 | 0.000 % |
36.12/36.21 c | 41735 | 30665 1317234 4010071 | 2147483647 41735 100 | 0.000 % |
36.52/36.64 c | 42277 | 30665 1317234 4010071 | 2147483647 42277 99 | 0.000 % |
36.81/36.93 c | 42873 | 30665 1317234 4010071 | 2147483647 42873 100 | 0.000 % |
37.01/37.12 c | 42973 | 30665 1317234 4010071 | 2147483647 42973 100 | 0.000 % |
37.01/37.18 c | 43086 | 30665 1317234 4010071 | 2147483647 43086 100 | 0.000 % |
37.31/37.41 c | 43207 | 30665 1317234 4010071 | 2147483647 43207 100 | 0.000 % |
37.41/37.51 c | 43341 | 30665 1317234 4010071 | 2147483647 43341 100 | 0.000 % |
37.51/37.68 c | 43489 | 30665 1317234 4010071 | 2147483647 43489 99 | 0.000 % |
37.62/37.77 c | 43650 | 30665 1317234 4010071 | 2147483647 43650 100 | 0.000 % |
37.72/37.89 c | 43826 | 30665 1317234 4010071 | 2147483647 43826 100 | 0.000 % |
37.81/37.99 c | 44021 | 30665 1317234 4010071 | 2147483647 44021 100 | 0.000 % |
38.11/38.25 c | 44236 | 30665 1317234 4010071 | 2147483647 44236 100 | 0.000 % |
38.21/38.38 c | 44469 | 30665 1317234 4010071 | 2147483647 44469 100 | 0.000 % |
38.41/38.55 c | 44725 | 30665 1317234 4010071 | 2147483647 44725 100 | 0.000 % |
38.61/38.79 c | 45006 | 30665 1317234 4010071 | 2147483647 45006 99 | 0.000 % |
39.72/39.84 c | 45315 | 30665 1317234 4010071 | 2147483647 45315 99 | 0.000 % |
39.92/40.08 c | 45659 | 30665 1317234 4010071 | 2147483647 45659 99 | 0.000 % |
40.42/40.51 c | 46032 | 30665 1317234 4010071 | 2147483647 46032 99 | 0.000 % |
40.72/40.87 c | 46445 | 30665 1317234 4010071 | 2147483647 46445 99 | 0.000 % |
41.42/41.51 c | 46894 | 30665 1317234 4010071 | 2147483647 46894 98 | 0.000 % |
41.63/41.76 c | 47387 | 30665 1317234 4010071 | 2147483647 47387 99 | 0.000 % |
42.12/42.24 c | 47931 | 30665 1317234 4010071 | 2147483647 47931 98 | 0.000 % |
42.32/42.49 c | 48527 | 30665 1317234 4010071 | 2147483647 48527 98 | 0.000 % |
42.92/43.04 c | 49185 | 30665 1317234 4010071 | 2147483647 49185 98 | 0.000 % |
43.02/43.11 c | 49287 | 30665 1317234 4010071 | 2147483647 49287 98 | 0.000 % |
43.12/43.21 c | 49397 | 30665 1317234 4010071 | 2147483647 49397 98 | 0.000 % |
43.22/43.31 c | 49518 | 30665 1317234 4010071 | 2147483647 49518 98 | 0.000 % |
43.42/43.53 c | 49652 | 30665 1317234 4010071 | 2147483647 49652 98 | 0.000 % |
43.52/43.63 c | 49800 | 30665 1317234 4010071 | 2147483647 49800 98 | 0.000 % |
43.62/43.77 c | 49960 | 30665 1317234 4010071 | 2147483647 49960 98 | 0.000 % |
43.72/43.84 c | 50137 | 30665 1317234 4010071 | 2147483647 50137 98 | 0.000 % |
43.82/43.95 c | 50330 | 30665 1317234 4010071 | 2147483647 50330 98 | 0.000 % |
44.02/44.10 c | 50545 | 30665 1317234 4010071 | 2147483647 50545 97 | 0.000 % |
44.32/44.41 c | 50778 | 30665 1317234 4010071 | 2147483647 50778 97 | 0.000 % |
44.51/44.60 c | 51034 | 30665 1317234 4010071 | 2147483647 51034 97 | 0.000 % |
45.01/45.15 c | 51316 | 30665 1317234 4010071 | 2147483647 51316 97 | 0.000 % |
45.11/45.27 c | 51626 | 30665 1317234 4010071 | 2147483647 51626 97 | 0.000 % |
45.42/45.57 c | 51965 | 30665 1317234 4010071 | 2147483647 51965 97 | 0.000 % |
45.61/45.77 c | 52339 | 30665 1317234 4010071 | 2147483647 52339 97 | 0.000 % |
46.01/46.13 c | 52748 | 30665 1317234 4010071 | 2147483647 52748 96 | 0.000 % |
46.31/46.40 c | 53197 | 30665 1317234 4010071 | 2147483647 53197 96 | 0.000 % |
46.61/46.71 c | 53690 | 30665 1317234 4010071 | 2147483647 53690 96 | 0.000 % |
46.91/47.08 c | 54232 | 30665 1317234 4010071 | 2147483647 54232 95 | 0.000 % |
47.32/47.42 c | 54830 | 30665 1317234 4010071 | 2147483647 54830 95 | 0.000 % |
47.42/47.95 c | 55487 | 30665 1317234 4010071 | 2147483647 55487 95 | 0.000 % |
48.42/48.54 c | 56208 | 30665 1317234 4010071 | 2147483647 56208 94 | 0.000 % |
48.52/48.65 c | 56308 | 30665 1317234 4010071 | 2147483647 56308 94 | 0.000 % |
48.62/48.76 c | 56418 | 30665 1317234 4010071 | 2147483647 56418 94 | 0.000 % |
48.72/48.87 c | 56539 | 30665 1317234 4010071 | 2147483647 56539 94 | 0.000 % |
48.92/49.08 c | 56672 | 30665 1317234 4010071 | 2147483647 56672 94 | 0.000 % |
49.02/49.19 c | 56821 | 30665 1317234 4010071 | 2147483647 56821 94 | 0.000 % |
49.22/49.36 c | 56981 | 30665 1317234 4010071 | 2147483647 56981 94 | 0.000 % |
49.42/49.54 c | 57157 | 30665 1317234 4010071 | 2147483647 57157 94 | 0.000 % |
49.61/49.72 c | 57350 | 30665 1317234 4010071 | 2147483647 57350 94 | 0.000 % |
49.71/49.89 c | 57563 | 30665 1317234 4010071 | 2147483647 57563 94 | 0.000 % |
50.22/50.35 c | 57796 | 30665 1317234 4010071 | 2147483647 57796 93 | 0.000 % |
50.41/50.53 c | 58054 | 30665 1317234 4010071 | 2147483647 58054 94 | 0.000 % |
50.61/50.77 c | 58335 | 30665 1317234 4010071 | 2147483647 58335 93 | 0.000 % |
50.91/51.09 c | 58644 | 30665 1317234 4010071 | 2147483647 58644 93 | 0.000 % |
51.22/51.31 c | 58985 | 30665 1317234 4010071 | 2147483647 58985 93 | 0.000 % |
51.41/51.59 c | 59357 | 30665 1317234 4010071 | 2147483647 59357 93 | 0.000 % |
51.71/51.88 c | 59767 | 30665 1317234 4010071 | 2147483647 59767 92 | 0.000 % |
52.21/52.30 c | 60218 | 30665 1317234 4010071 | 2147483647 60218 92 | 0.000 % |
52.71/52.82 c | 60712 | 30665 1317234 4010071 | 2147483647 60712 91 | 0.000 % |
53.01/53.19 c | 61254 | 30665 1317234 4010071 | 2147483647 61254 91 | 0.000 % |
53.52/53.69 c | 61850 | 30665 1317234 4010071 | 2147483647 61850 91 | 0.000 % |
54.61/54.75 c | 62505 | 30665 1317234 4010071 | 2147483647 62505 90 | 0.000 % |
55.40/55.59 c | 63225 | 30665 1317234 4010071 | 2147483647 63225 90 | 0.000 % |
56.19/56.33 c | 64018 | 30665 1317234 4010071 | 2147483647 64018 90 | 0.000 % |
56.29/56.49 c | 64118 | 30665 1317234 4010071 | 2147483647 64118 89 | 0.000 % |
56.39/56.58 c | 64231 | 30665 1317234 4010071 | 2147483647 64231 89 | 0.000 % |
56.59/56.71 c | 64353 | 30665 1317234 4010071 | 2147483647 64353 89 | 0.000 % |
56.69/56.84 c | 64486 | 30665 1317234 4010071 | 2147483647 64486 89 | 0.000 % |
56.79/56.93 c | 64633 | 30665 1317234 4010071 | 2147483647 64633 89 | 0.000 % |
56.89/57.06 c | 64794 | 30665 1317234 4010071 | 2147483647 64794 89 | 0.000 % |
56.99/57.19 c | 64970 | 30665 1317234 4010071 | 2147483647 64970 89 | 0.000 % |
57.19/57.38 c | 65164 | 30665 1317234 4010071 | 2147483647 65164 89 | 0.000 % |
57.39/57.58 c | 65376 | 30665 1317234 4010071 | 2147483647 65376 88 | 0.000 % |
57.59/57.78 c | 65609 | 30665 1317234 4010071 | 2147483647 65609 88 | 0.000 % |
57.79/57.98 c | 65867 | 30665 1317234 4010071 | 2147483647 65867 88 | 0.000 % |
57.98/58.19 c | 66148 | 30665 1317234 4010071 | 2147483647 66148 88 | 0.000 % |
58.38/58.55 c | 66457 | 30665 1317234 4010071 | 2147483647 66457 87 | 0.000 % |
58.78/58.91 c | 66796 | 30665 1317234 4010071 | 2147483647 66796 87 | 0.000 % |
59.08/59.20 c | 67168 | 30665 1317234 4010071 | 2147483647 67168 87 | 0.000 % |
59.28/59.49 c | 67577 | 30665 1317234 4010071 | 2147483647 67577 87 | 0.000 % |
59.78/59.92 c | 68028 | 30665 1317234 4010071 | 2147483647 68028 86 | 0.000 % |
60.08/60.29 c | 68521 | 30665 1317234 4010071 | 2147483647 68521 86 | 0.000 % |
60.67/60.80 c | 69064 | 30665 1317234 4010071 | 2147483647 69064 86 | 0.000 % |
60.97/61.38 c | 69664 | 30665 1317234 4010071 | 2147483647 69664 85 | 0.000 % |
61.57/61.79 c | 70319 | 30665 1317234 4010071 | 2147483647 70319 86 | 0.000 % |
61.97/62.14 c | 71040 | 30665 1317234 4010071 | 2147483647 71040 86 | 0.000 % |
62.57/62.78 c | 71832 | 30665 1317234 4010071 | 2147483647 71832 86 | 0.000 % |
63.08/63.27 c | 72704 | 30665 1317234 4010071 | 2147483647 72704 86 | 0.000 % |
63.18/63.39 c | 72804 | 30665 1317234 4010071 | 2147483647 72804 86 | 0.000 % |
63.28/63.50 c | 72915 | 30665 1317234 4010071 | 2147483647 72915 86 | 0.000 % |
63.38/63.58 c | 73040 | 30665 1317234 4010071 | 2147483647 73040 86 | 0.000 % |
63.55/63.69 c | 73174 | 30665 1317234 4010071 | 2147483647 73174 87 | 0.000 % |
63.55/63.76 c | 73321 | 30665 1317234 4010071 | 2147483647 73321 87 | 0.000 % |
63.86/64.01 c | 73482 | 30665 1317234 4010071 | 2147483647 73482 87 | 0.000 % |
63.96/64.18 c | 73659 | 30665 1317234 4010071 | 2147483647 73659 87 | 0.000 % |
64.06/64.28 c | 73852 | 30665 1317234 4010071 | 2147483647 73852 87 | 0.000 % |
64.26/64.40 c | 74064 | 30665 1317234 4010071 | 2147483647 74064 87 | 0.000 % |
64.47/64.60 c | 74297 | 30665 1317234 4010071 | 2147483647 74297 87 | 0.000 % |
64.57/64.73 c | 74555 | 30665 1317234 4010071 | 2147483647 74555 87 | 0.000 % |
64.87/65.07 c | 74838 | 30665 1317234 4010071 | 2147483647 74838 87 | 0.000 % |
65.17/65.32 c | 75148 | 30665 1317234 4010071 | 2147483647 75148 86 | 0.000 % |
65.47/65.62 c | 75489 | 30665 1317234 4010071 | 2147483647 75489 86 | 0.000 % |
65.57/65.78 c | 75861 | 30665 1317234 4010071 | 2147483647 75861 86 | 0.000 % |
65.87/66.02 c | 76271 | 30665 1317234 4010071 | 2147483647 76271 86 | 0.000 % |
66.17/66.35 c | 76721 | 30665 1317234 4010071 | 2147483647 76721 86 | 0.000 % |
66.58/66.74 c | 77214 | 30665 1317234 4010071 | 2147483647 77214 86 | 0.000 % |
66.97/67.11 c | 77756 | 30665 1317234 4010071 | 2147483647 77756 86 | 0.000 % |
67.37/67.53 c | 78353 | 30665 1317234 4010071 | 2147483647 78353 85 | 0.000 % |
67.87/68.02 c | 79008 | 30665 1317234 4010071 | 2147483647 79008 85 | 0.000 % |
68.27/68.41 c | 79728 | 30665 1317234 4010071 | 2147483647 79728 86 | 0.000 % |
68.86/69.04 c | 80524 | 30665 1317234 4010071 | 2147483647 80524 85 | 0.000 % |
69.56/69.72 c | 81396 | 30665 1317234 4010071 | 2147483647 81396 86 | 0.000 % |
70.17/70.38 c | 82354 | 30665 1317234 4010071 | 2147483647 82354 86 | 0.000 % |
70.26/70.49 c | 82454 | 30665 1317234 4010071 | 2147483647 82454 86 | 0.000 % |
70.36/70.59 c | 82565 | 30665 1317234 4010071 | 2147483647 82565 86 | 0.000 % |
70.56/70.75 c | 82687 | 30665 1317234 4010071 | 2147483647 82687 86 | 0.000 % |
70.66/70.87 c | 82821 | 30665 1317234 4010071 | 2147483647 82821 86 | 0.000 % |
70.86/71.00 c | 82967 | 30665 1317234 4010071 | 2147483647 82967 86 | 0.000 % |
70.96/71.16 c | 83127 | 30665 1317234 4010071 | 2147483647 83127 86 | 0.000 % |
71.36/71.51 c | 83303 | 30665 1317234 4010071 | 2147483647 83303 86 | 0.000 % |
71.65/71.89 c | 83497 | 30665 1317234 4010071 | 2147483647 83497 85 | 0.000 % |
71.95/72.11 c | 83709 | 30665 1317234 4010071 | 2147483647 83709 85 | 0.000 % |
72.15/72.32 c | 83943 | 30665 1317234 4010071 | 2147483647 83943 85 | 0.000 % |
72.36/72.53 c | 84199 | 30665 1317234 4010071 | 2147483647 84199 85 | 0.000 % |
72.55/72.71 c | 84480 | 30665 1317234 4010071 | 2147483647 84480 85 | 0.000 % |
72.75/72.94 c | 84789 | 30665 1317234 4010071 | 2147483647 84789 85 | 0.000 % |
72.95/73.18 c | 85130 | 30665 1317234 4010071 | 2147483647 85130 85 | 0.000 % |
73.15/73.39 c | 85502 | 30665 1317234 4010071 | 2147483647 85502 84 | 0.000 % |
73.55/73.73 c | 85911 | 30665 1317234 4010071 | 2147483647 85911 85 | 0.000 % |
73.95/74.19 c | 86363 | 30665 1317234 4010071 | 2147483647 86363 84 | 0.000 % |
74.45/74.62 c | 86857 | 30665 1317234 4010071 | 2147483647 86857 84 | 0.000 % |
74.74/74.99 c | 87400 | 30665 1317234 4010071 | 2147483647 87400 84 | 0.000 % |
75.24/75.43 c | 87999 | 30665 1317234 4010071 | 2147483647 87999 84 | 0.000 % |
75.74/75.97 c | 88654 | 30665 1317234 4010071 | 2147483647 88654 83 | 0.000 % |
76.24/76.45 c | 89374 | 30665 1317234 4010071 | 2147483647 89374 83 | 0.000 % |
76.94/77.16 c | 90169 | 30665 1317234 4010071 | 2147483647 90169 83 | 0.000 % |
77.65/77.84 c | 91040 | 30665 1317234 4010071 | 2147483647 91040 82 | 0.000 % |
78.65/78.84 c | 91998 | 30665 1317234 4010071 | 2147483647 91998 82 | 0.000 % |
80.15/80.39 c | 93052 | 30665 1317234 4010071 | 2147483647 93052 82 | 0.000 % |
80.54/80.74 c | 93152 | 30665 1317234 4010071 | 2147483647 93152 82 | 0.000 % |
80.74/80.92 c | 93265 | 30665 1317234 4010071 | 2147483647 93265 82 | 0.000 % |
80.84/81.07 c | 93387 | 30665 1317234 4010071 | 2147483647 93387 82 | 0.000 % |
81.04/81.20 c | 93520 | 30665 1317234 4010071 | 2147483647 93520 82 | 0.000 % |
81.14/81.33 c | 93666 | 30665 1317234 4010071 | 2147483647 93666 82 | 0.000 % |
81.24/81.47 c | 93827 | 30665 1317234 4010071 | 2147483647 93827 82 | 0.000 % |
81.44/81.62 c | 94003 | 30665 1317234 4010071 | 2147483647 94003 82 | 0.000 % |
81.64/81.86 c | 94196 | 30665 1317234 4010071 | 2147483647 94196 82 | 0.000 % |
81.84/82.06 c | 94409 | 30665 1317234 4010071 | 2147483647 94409 82 | 0.000 % |
82.04/82.29 c | 94642 | 30665 1317234 4010071 | 2147483647 94642 82 | 0.000 % |
82.33/82.52 c | 94898 | 30665 1317234 4010071 | 2147483647 94898 82 | 0.000 % |
82.53/82.78 c | 95179 | 30665 1317234 4010071 | 2147483647 95179 82 | 0.000 % |
82.83/83.00 c | 95488 | 30665 1317234 4010071 | 2147483647 95488 81 | 0.000 % |
83.13/83.35 c | 95827 | 30665 1317234 4010071 | 2147483647 95827 81 | 0.000 % |
83.44/83.67 c | 96201 | 30665 1317234 4010071 | 2147483647 96201 81 | 0.000 % |
83.74/83.99 c | 96610 | 30665 1317234 4010071 | 2147483647 96610 81 | 0.000 % |
84.13/84.39 c | 97060 | 30665 1317234 4010071 | 2147483647 97060 81 | 0.000 % |
84.53/84.79 c | 97554 | 30665 1317234 4010071 | 2147483647 97554 81 | 0.000 % |
85.03/85.27 c | 98096 | 30665 1317234 4010071 | 2147483647 98096 81 | 0.000 % |
85.53/85.78 c | 98692 | 30665 1317234 4010071 | 2147483647 98692 80 | 0.000 % |
86.23/86.43 c | 99347 | 30665 1317234 4010071 | 2147483647 99347 80 | 0.000 % |
86.63/86.85 c | 100069 | 30665 1317234 4010071 | 2147483647 100069 80 | 0.000 % |
87.52/87.79 c | 100861 | 30665 1317234 4010071 | 2147483647 100861 79 | 0.000 % |
88.32/88.59 c | 101733 | 30665 1317234 4010071 | 2147483647 101733 79 | 0.000 % |
89.14/89.32 c | 102691 | 30665 1317234 4010071 | 2147483647 102691 79 | 0.000 % |
89.92/90.11 c | 103745 | 30665 1317234 4010071 | 2147483647 103745 78 | 0.000 % |
91.13/91.33 c | 104904 | 30665 1317234 4010071 | 2147483647 104904 78 | 0.000 % |
91.23/91.43 c | 105005 | 30665 1317234 4010071 | 2147483647 105005 78 | 0.000 % |
91.32/91.52 c | 105115 | 30665 1317234 4010071 | 2147483647 105115 78 | 0.000 % |
91.42/91.61 c | 105236 | 30665 1317234 4010071 | 2147483647 105236 78 | 0.000 % |
91.52/91.72 c | 105369 | 30665 1317234 4010071 | 2147483647 105369 78 | 0.000 % |
91.62/91.84 c | 105515 | 30665 1317234 4010071 | 2147483647 105515 78 | 0.000 % |
91.72/91.98 c | 105676 | 30665 1317234 4010071 | 2147483647 105676 78 | 0.000 % |
92.12/92.32 c | 105852 | 30665 1317234 4010071 | 2147483647 105852 78 | 0.000 % |
92.23/92.48 c | 106046 | 30665 1317234 4010071 | 2147483647 106046 78 | 0.000 % |
92.42/92.67 c | 106258 | 30665 1317234 4010071 | 2147483647 106258 78 | 0.000 % |
92.72/92.92 c | 106493 | 30665 1317234 4010071 | 2147483647 106493 77 | 0.000 % |
92.92/93.15 c | 106749 | 30665 1317234 4010071 | 2147483647 106749 77 | 0.000 % |
93.22/93.44 c | 107031 | 30665 1317234 4010071 | 2147483647 107031 77 | 0.000 % |
93.53/93.73 c | 107341 | 30665 1317234 4010071 | 2147483647 107341 77 | 0.000 % |
93.83/94.04 c | 107680 | 30665 1317234 4010071 | 2147483647 107680 77 | 0.000 % |
94.23/94.46 c | 108052 | 30665 1317234 4010071 | 2147483647 108052 77 | 0.000 % |
94.53/94.73 c | 108464 | 30665 1317234 4010071 | 2147483647 108464 77 | 0.000 % |
94.73/94.97 c | 108916 | 30665 1317234 4010071 | 2147483647 108916 77 | 0.000 % |
95.02/95.21 c | 109409 | 30665 1317234 4010071 | 2147483647 109409 77 | 0.000 % |
95.32/95.51 c | 109952 | 30665 1317234 4010071 | 2147483647 109952 77 | 0.000 % |
95.53/95.72 c | 110549 | 30665 1317234 4010071 | 2147483647 110549 77 | 0.000 % |
96.12/96.37 c | 111205 | 30665 1317234 4010071 | 2147483647 111205 77 | 0.000 % |
96.61/96.86 c | 111927 | 30665 1317234 4010071 | 2147483647 111927 77 | 0.000 % |
97.11/97.35 c | 112719 | 30665 1317234 4010071 | 2147483647 112719 77 | 0.000 % |
97.71/97.91 c | 113594 | 30665 1317234 4010071 | 2147483647 113594 78 | 0.000 % |
98.30/98.51 c | 114552 | 30665 1317234 4010071 | 2147483647 114552 78 | 0.000 % |
98.90/99.12 c | 115606 | 30665 1317234 4010071 | 2147483647 115606 78 | 0.000 % |
99.50/99.78 c | 116764 | 30665 1317234 4010071 | 2147483647 116764 79 | 0.000 % |
100.61/100.80 c | 118038 | 30665 1317234 4010071 | 2147483647 118038 79 | 0.000 % |
100.61/100.89 c | 118139 | 30665 1317234 4010071 | 2147483647 118139 79 | 0.000 % |
100.71/100.96 c | 118250 | 30665 1317234 4010071 | 2147483647 118250 79 | 0.000 % |
100.81/101.08 c | 118372 | 30665 1317234 4010071 | 2147483647 118372 79 | 0.000 % |
100.91/101.20 c | 118506 | 30665 1317234 4010071 | 2147483647 118506 79 | 0.000 % |
101.11/101.31 c | 118654 | 30665 1317234 4010071 | 2147483647 118654 79 | 0.000 % |
101.20/101.48 c | 118814 | 30665 1317234 4010071 | 2147483647 118814 79 | 0.000 % |
101.40/101.65 c | 118991 | 30665 1317234 4010071 | 2147483647 118991 79 | 0.000 % |
101.50/101.79 c | 119184 | 30665 1317234 4010071 | 2147483647 119184 79 | 0.000 % |
101.70/101.93 c | 119396 | 30665 1317234 4010071 | 2147483647 119396 79 | 0.000 % |
101.90/102.13 c | 119629 | 30665 1317234 4010071 | 2147483647 119629 79 | 0.000 % |
102.00/102.30 c | 119887 | 30665 1317234 4010071 | 2147483647 119887 79 | 0.000 % |
102.30/102.59 c | 120169 | 30665 1317234 4010071 | 2147483647 120169 79 | 0.000 % |
102.60/102.82 c | 120478 | 30665 1317234 4010071 | 2147483647 120478 79 | 0.000 % |
102.90/103.15 c | 120817 | 30665 1317234 4010071 | 2147483647 120817 79 | 0.000 % |
103.10/103.35 c | 121189 | 30665 1317234 4010071 | 2147483647 121189 79 | 0.000 % |
103.40/103.61 c | 121598 | 30665 1317234 4010071 | 2147483647 121598 79 | 0.000 % |
103.70/103.96 c | 122048 | 30665 1317234 4010071 | 2147483647 122048 80 | 0.000 % |
104.10/104.31 c | 122541 | 30665 1317234 4010071 | 2147483647 122541 80 | 0.000 % |
104.30/104.58 c | 123083 | 30665 1317234 4010071 | 2147483647 123083 80 | 0.000 % |
104.80/105.09 c | 123682 | 30665 1317234 4010071 | 2147483647 123682 80 | 0.000 % |
105.20/105.44 c | 124340 | 30665 1317234 4010071 | 2147483647 124340 80 | 0.000 % |
105.69/105.93 c | 125062 | 30665 1317234 4010071 | 2147483647 125062 80 | 0.000 % |
106.19/106.44 c | 125855 | 30665 1317234 4010071 | 2147483647 125855 80 | 0.000 % |
106.69/106.93 c | 126727 | 30665 1317234 4010071 | 2147483647 126727 80 | 0.000 % |
107.29/107.50 c | 127690 | 30665 1317234 4010071 | 2147483647 127690 80 | 0.000 % |
107.69/107.93 c | 128746 | 30665 1317234 4010071 | 2147483647 128746 80 | 0.000 % |
108.29/108.59 c | 129906 | 30665 1317234 4010071 | 2147483647 129906 81 | 0.000 % |
109.30/109.54 c | 131179 | 30665 1317234 4010071 | 2147483647 131179 81 | 0.000 % |
110.10/110.34 c | 132579 | 30665 1317234 4010071 | 2147483647 132579 81 | 0.000 % |
110.20/110.45 c | 132682 | 30665 1317234 4010071 | 2147483647 132682 81 | 0.000 % |
110.30/110.53 c | 132794 | 30665 1317234 4010071 | 2147483647 132794 81 | 0.000 % |
110.40/110.63 c | 132916 | 30665 1317234 4010071 | 2147483647 132916 81 | 0.000 % |
110.50/110.75 c | 133049 | 30665 1317234 4010071 | 2147483647 133049 81 | 0.000 % |
110.60/110.90 c | 133195 | 30665 1317234 4010071 | 2147483647 133195 81 | 0.000 % |
110.79/111.03 c | 133357 | 30665 1317234 4010071 | 2147483647 133357 81 | 0.000 % |
110.90/111.19 c | 133533 | 30665 1317234 4010071 | 2147483647 133533 81 | 0.000 % |
111.09/111.35 c | 133726 | 30665 1317234 4010071 | 2147483647 133726 81 | 0.000 % |
111.19/111.48 c | 133938 | 30665 1317234 4010071 | 2147483647 133938 81 | 0.000 % |
111.39/111.62 c | 134172 | 30665 1317234 4010071 | 2147483647 134172 81 | 0.000 % |
111.49/111.76 c | 134428 | 30665 1317234 4010071 | 2147483647 134428 81 | 0.000 % |
111.69/111.96 c | 134709 | 30665 1317234 4010071 | 2147483647 134709 81 | 0.000 % |
111.89/112.18 c | 135018 | 30665 1317234 4010071 | 2147483647 135018 81 | 0.000 % |
112.19/112.42 c | 135359 | 30665 1317234 4010071 | 2147483647 135359 82 | 0.000 % |
112.39/112.64 c | 135734 | 30665 1317234 4010071 | 2147483647 135734 82 | 0.000 % |
112.69/112.94 c | 136143 | 30665 1317234 4010071 | 2147483647 136143 82 | 0.000 % |
112.89/113.18 c | 136592 | 30665 1317234 4010071 | 2147483647 136592 82 | 0.000 % |
113.20/113.47 c | 137085 | 30665 1317234 4010071 | 2147483647 137085 82 | 0.000 % |
113.49/113.77 c | 137627 | 30665 1317234 4010071 | 2147483647 137627 82 | 0.000 % |
113.89/114.12 c | 138223 | 30665 1317234 4010071 | 2147483647 138223 82 | 0.000 % |
114.29/114.51 c | 138878 | 30665 1317234 4010071 | 2147483647 138878 82 | 0.000 % |
114.69/114.91 c | 139598 | 30665 1317234 4010071 | 2147483647 139598 81 | 0.000 % |
115.09/115.36 c | 140390 | 30665 1317234 4010071 | 2147483647 140390 82 | 0.000 % |
115.69/115.93 c | 141262 | 30665 1317234 4010071 | 2147483647 141262 82 | 0.000 % |
116.29/116.51 c | 142220 | 30665 1317234 4010071 | 2147483647 142220 82 | 0.000 % |
116.89/117.12 c | 143275 | 30665 1317234 4010071 | 2147483647 143275 81 | 0.000 % |
117.39/117.68 c | 144434 | 30665 1317234 4010071 | 2147483647 144434 81 | 0.000 % |
118.09/118.36 c | 145708 | 30665 1317234 4010071 | 2147483647 145708 81 | 0.000 % |
118.99/119.25 c | 147110 | 30665 1317234 4010071 | 2147483647 147110 81 | 0.000 % |
119.99/120.29 c | 148653 | 30665 1317234 4010071 | 2147483647 148653 81 | 0.000 % |
120.09/120.38 c | 148753 | 30665 1317234 4010071 | 2147483647 148753 81 | 0.000 % |
120.19/120.48 c | 148863 | 30665 1317234 4010071 | 2147483647 148863 81 | 0.000 % |
120.39/120.61 c | 148986 | 30665 1317234 4010071 | 2147483647 148986 81 | 0.000 % |
120.49/120.73 c | 149119 | 30665 1317234 4010071 | 2147483647 149119 81 | 0.000 % |
120.59/120.83 c | 149265 | 30665 1317234 4010071 | 2147483647 149265 81 | 0.000 % |
120.69/120.96 c | 149425 | 30665 1317234 4010071 | 2147483647 149425 81 | 0.000 % |
120.79/121.08 c | 149601 | 30665 1317234 4010071 | 2147483647 149601 81 | 0.000 % |
120.99/121.22 c | 149794 | 30665 1317234 4010071 | 2147483647 149794 81 | 0.000 % |
121.09/121.36 c | 150006 | 30665 1317234 4010071 | 2147483647 150006 81 | 0.000 % |
121.29/121.53 c | 150241 | 30665 1317234 4010071 | 2147483647 150241 81 | 0.000 % |
121.48/121.70 c | 150497 | 30665 1317234 4010071 | 2147483647 150497 81 | 0.000 % |
121.68/121.93 c | 150780 | 30665 1317234 4010071 | 2147483647 150780 81 | 0.000 % |
121.99/122.22 c | 151089 | 30665 1317234 4010071 | 2147483647 151089 80 | 0.000 % |
122.18/122.46 c | 151429 | 30665 1317234 4010071 | 2147483647 151429 80 | 0.000 % |
122.48/122.74 c | 151803 | 30665 1317234 4010071 | 2147483647 151803 80 | 0.000 % |
122.78/123.05 c | 152213 | 30665 1317234 4010071 | 2147483647 152213 80 | 0.000 % |
123.18/123.43 c | 152666 | 30665 1317234 4010071 | 2147483647 152666 80 | 0.000 % |
123.48/123.79 c | 153161 | 30665 1317234 4010071 | 2147483647 153161 80 | 0.000 % |
123.98/124.29 c | 153703 | 30665 1317234 4010071 | 2147483647 153703 80 | 0.000 % |
124.48/124.76 c | 154299 | 30665 1317234 4010071 | 2147483647 154299 80 | 0.000 % |
124.88/125.19 c | 154954 | 30665 1317234 4010071 | 2147483647 154954 80 | 0.000 % |
125.38/125.67 c | 155674 | 30665 1317234 4010071 | 2147483647 155674 79 | 0.000 % |
125.89/126.15 c | 156466 | 30665 1317234 4010071 | 2147483647 156466 79 | 0.000 % |
126.39/126.63 c | 157338 | 30665 1317234 4010071 | 2147483647 157338 79 | 0.000 % |
126.88/127.19 c | 158296 | 30665 1317234 4010071 | 2147483647 158296 79 | 0.000 % |
127.78/128.01 c | 159349 | 30665 1317234 4010071 | 2147483647 159349 79 | 0.000 % |
128.59/128.83 c | 160509 | 30665 1317234 4010071 | 2147483647 160509 79 | 0.000 % |
129.48/129.71 c | 161783 | 30665 1317234 4010071 | 2147483647 161783 80 | 0.000 % |
130.18/130.49 c | 163183 | 30665 1317234 4010071 | 2147483647 163183 80 | 0.000 % |
131.08/131.36 c | 164724 | 30665 1317234 4010071 | 2147483647 164724 80 | 0.000 % |
132.19/132.48 c | 166418 | 30665 1317234 4010071 | 2147483647 166418 80 | 0.000 % |
132.29/132.59 c | 166518 | 30665 1317234 4010071 | 2147483647 166518 80 | 0.000 % |
132.49/132.72 c | 166628 | 30665 1317234 4010071 | 2147483647 166628 80 | 0.000 % |
132.59/132.80 c | 166749 | 30665 1317234 4010071 | 2147483647 166749 80 | 0.000 % |
132.59/132.89 c | 166884 | 30665 1317234 4010071 | 2147483647 166884 80 | 0.000 % |
132.79/133.01 c | 167030 | 30665 1317234 4010071 | 2147483647 167030 80 | 0.000 % |
132.89/133.16 c | 167191 | 30665 1317234 4010071 | 2147483647 167191 80 | 0.000 % |
133.08/133.30 c | 167367 | 30665 1317234 4010071 | 2147483647 167367 80 | 0.000 % |
133.08/133.39 c | 167560 | 30665 1317234 4010071 | 2147483647 167560 80 | 0.000 % |
133.28/133.56 c | 167773 | 30665 1317234 4010071 | 2147483647 167773 80 | 0.000 % |
133.48/133.71 c | 168007 | 30665 1317234 4010071 | 2147483647 168007 80 | 0.000 % |
133.78/134.00 c | 168264 | 30665 1317234 4010071 | 2147483647 168264 80 | 0.000 % |
133.88/134.14 c | 168547 | 30665 1317234 4010071 | 2147483647 168547 80 | 0.000 % |
134.18/134.44 c | 168856 | 30665 1317234 4010071 | 2147483647 168856 80 | 0.000 % |
134.28/134.59 c | 169195 | 30665 1317234 4010071 | 2147483647 169195 80 | 0.000 % |
134.58/134.87 c | 169567 | 30665 1317234 4010071 | 2147483647 169567 80 | 0.000 % |
134.98/135.29 c | 169980 | 30665 1317234 4010071 | 2147483647 169980 80 | 0.000 % |
135.28/135.58 c | 170431 | 30665 1317234 4010071 | 2147483647 170431 80 | 0.000 % |
135.68/135.95 c | 170927 | 30665 1317234 4010071 | 2147483647 170927 80 | 0.000 % |
135.98/136.25 c | 171472 | 30665 1317234 4010071 | 2147483647 171472 80 | 0.000 % |
136.38/136.68 c | 172068 | 30665 1317234 4010071 | 2147483647 172068 80 | 0.000 % |
136.88/137.14 c | 172726 | 30665 1317234 4010071 | 2147483647 172726 80 | 0.000 % |
137.28/137.56 c | 173448 | 30665 1317234 4010071 | 2147483647 173448 80 | 0.000 % |
137.78/138.04 c | 174242 | 30665 1317234 4010071 | 2147483647 174242 80 | 0.000 % |
138.48/138.77 c | 175115 | 30665 1317234 4010071 | 2147483647 175115 80 | 0.000 % |
139.28/139.54 c | 176074 | 30665 1317234 4010071 | 2147483647 176074 80 | 0.000 % |
139.77/140.07 c | 177128 | 30665 1317234 4010071 | 2147483647 177128 81 | 0.000 % |
140.37/140.68 c | 178287 | 30665 1317234 4010071 | 2147483647 178287 81 | 0.000 % |
141.18/141.44 c | 179561 | 30665 1317234 4010071 | 2147483647 179561 81 | 0.000 % |
141.98/142.22 c | 180961 | 30665 1317234 4010071 | 2147483647 180961 82 | 0.000 % |
142.98/143.22 c | 182501 | 30665 1317234 4010071 | 2147483647 182501 82 | 0.000 % |
143.88/144.16 c | 184195 | 30665 1317234 4010071 | 2147483647 184195 83 | 0.000 % |
144.98/145.30 c | 186059 | 30665 1317234 4010071 | 2147483647 186059 83 | 0.000 % |
145.17/145.42 c | 186160 | 30665 1317234 4010071 | 2147483647 186160 83 | 0.000 % |
145.27/145.53 c | 186270 | 30665 1317234 4010071 | 2147483647 186270 83 | 0.000 % |
145.37/145.64 c | 186391 | 30665 1317234 4010071 | 2147483647 186391 83 | 0.000 % |
145.47/145.75 c | 186526 | 30665 1317234 4010071 | 2147483647 186526 83 | 0.000 % |
145.57/145.87 c | 186672 | 30665 1317234 4010071 | 2147483647 186672 83 | 0.000 % |
145.67/145.97 c | 186834 | 30665 1317234 4010071 | 2147483647 186834 83 | 0.000 % |
145.87/146.11 c | 187011 | 30665 1317234 4010071 | 2147483647 187011 83 | 0.000 % |
145.97/146.23 c | 187206 | 30665 1317234 4010071 | 2147483647 187206 83 | 0.000 % |
146.07/146.38 c | 187419 | 30665 1317234 4010071 | 2147483647 187419 83 | 0.000 % |
146.27/146.58 c | 187654 | 30665 1317234 4010071 | 2147483647 187654 83 | 0.000 % |
146.47/146.78 c | 187913 | 30665 1317234 4010071 | 2147483647 187913 83 | 0.000 % |
146.67/146.95 c | 188197 | 30665 1317234 4010071 | 2147483647 188197 83 | 0.000 % |
146.88/147.15 c | 188512 | 30665 1317234 4010071 | 2147483647 188512 83 | 0.000 % |
147.18/147.40 c | 188854 | 30665 1317234 4010071 | 2147483647 188854 83 | 0.000 % |
147.37/147.67 c | 189230 | 30665 1317234 4010071 | 2147483647 189230 83 | 0.000 % |
147.67/147.90 c | 189639 | 30665 1317234 4010071 | 2147483647 189639 82 | 0.000 % |
148.07/148.30 c | 190088 | 30665 1317234 4010071 | 2147483647 190088 82 | 0.000 % |
148.28/148.57 c | 190582 | 30665 1317234 4010071 | 2147483647 190582 82 | 0.000 % |
148.67/148.98 c | 191125 | 30665 1317234 4010071 | 2147483647 191125 82 | 0.000 % |
149.17/149.41 c | 191721 | 30665 1317234 4010071 | 2147483647 191721 82 | 0.000 % |
149.77/150.04 c | 192376 | 30665 1317234 4010071 | 2147483647 192376 82 | 0.000 % |
150.27/150.56 c | 193096 | 30665 1317234 4010071 | 2147483647 193096 82 | 0.000 % |
150.77/151.05 c | 193889 | 30665 1317234 4010071 | 2147483647 193889 82 | 0.000 % |
151.37/151.63 c | 194761 | 30665 1317234 4010071 | 2147483647 194761 82 | 0.000 % |
152.17/152.44 c | 195720 | 30665 1317234 4010071 | 2147483647 195720 82 | 0.000 % |
152.86/153.14 c | 196775 | 30665 1317234 4010071 | 2147483647 196775 82 | 0.000 % |
153.88/154.11 c | 197933 | 30665 1317234 4010071 | 2147483647 197933 82 | 0.000 % |
154.87/155.12 c | 199206 | 30665 1317234 4010071 | 2147483647 199206 82 | 0.000 % |
155.87/156.19 c | 200607 | 30665 1317234 4010071 | 2147483647 200607 82 | 0.000 % |
157.27/157.53 c | 202149 | 30665 1317234 4010071 | 2147483647 202149 82 | 0.000 % |
158.66/158.91 c | 203843 | 30665 1317234 4010071 | 2147483647 203843 81 | 0.000 % |
160.06/160.36 c | 205707 | 30665 1317234 4010071 | 2147483647 205707 81 | 0.000 % |
161.97/162.20 c | 207756 | 30665 1317234 4010071 | 2147483647 207756 81 | 0.000 % |
162.07/162.33 c | 207857 | 30665 1317234 4010071 | 2147483647 207857 81 | 0.000 % |
162.17/162.43 c | 207968 | 30665 1317234 4010071 | 2147483647 207968 81 | 0.000 % |
162.27/162.55 c | 208089 | 30665 1317234 4010071 | 2147483647 208089 81 | 0.000 % |
162.47/162.75 c | 208222 | 30665 1317234 4010071 | 2147483647 208222 81 | 0.000 % |
162.57/162.87 c | 208373 | 30665 1317234 4010071 | 2147483647 208373 81 | 0.000 % |
162.77/163.00 c | 208533 | 30665 1317234 4010071 | 2147483647 208533 81 | 0.000 % |
162.87/163.18 c | 208711 | 30665 1317234 4010071 | 2147483647 208711 81 | 0.000 % |
163.07/163.35 c | 208904 | 30665 1317234 4010071 | 2147483647 208904 81 | 0.000 % |
163.27/163.55 c | 209118 | 30665 1317234 4010071 | 2147483647 209118 81 | 0.000 % |
163.47/163.76 c | 209351 | 30665 1317234 4010071 | 2147483647 209351 81 | 0.000 % |
163.67/163.98 c | 209607 | 30665 1317234 4010071 | 2147483647 209607 81 | 0.000 % |
163.96/164.28 c | 209888 | 30665 1317234 4010071 | 2147483647 209888 81 | 0.000 % |
164.26/164.56 c | 210197 | 30665 1317234 4010071 | 2147483647 210197 81 | 0.000 % |
164.56/164.83 c | 210536 | 30665 1317234 4010071 | 2147483647 210536 80 | 0.000 % |
164.86/165.19 c | 210908 | 30665 1317234 4010071 | 2147483647 210908 80 | 0.000 % |
165.26/165.50 c | 211317 | 30665 1317234 4010071 | 2147483647 211317 80 | 0.000 % |
165.56/165.85 c | 211770 | 30665 1317234 4010071 | 2147483647 211770 80 | 0.000 % |
165.86/166.18 c | 212265 | 30665 1317234 4010071 | 2147483647 212265 80 | 0.000 % |
166.26/166.57 c | 212807 | 30665 1317234 4010071 | 2147483647 212807 80 | 0.000 % |
166.76/167.08 c | 213403 | 30665 1317234 4010071 | 2147483647 213403 80 | 0.000 % |
167.26/167.58 c | 214058 | 30665 1317234 4010071 | 2147483647 214058 80 | 0.000 % |
167.96/168.21 c | 214778 | 30665 1317234 4010071 | 2147483647 214778 80 | 0.000 % |
168.66/168.95 c | 215570 | 30665 1317234 4010071 | 2147483647 215570 80 | 0.000 % |
169.56/169.87 c | 216442 | 30665 1317234 4010071 | 2147483647 216442 80 | 0.000 % |
170.46/170.75 c | 217400 | 30665 1317234 4010071 | 2147483647 217400 79 | 0.000 % |
171.36/171.63 c | 218453 | 30665 1317234 4010071 | 2147483647 218453 79 | 0.000 % |
172.16/172.42 c | 219612 | 30665 1317234 4010071 | 2147483647 219612 79 | 0.000 % |
173.15/173.42 c | 220885 | 30665 1317234 4010071 | 2147483647 220885 79 | 0.000 % |
174.15/174.44 c | 222288 | 30665 1317234 4010071 | 2147483647 222288 79 | 0.000 % |
175.45/175.75 c | 223828 | 30665 1317234 4010071 | 2147483647 223828 78 | 0.000 % |
176.96/177.22 c | 225522 | 30665 1317234 4010071 | 2147483647 225522 78 | 0.000 % |
178.35/178.66 c | 227387 | 30665 1317234 4010071 | 2147483647 227387 78 | 0.000 % |
179.95/180.24 c | 229439 | 30665 1317234 4010071 | 2147483647 229439 77 | 0.000 % |
181.86/182.17 c | 231693 | 30665 1317234 4010071 | 2147483647 231693 77 | 0.000 % |
181.96/182.26 c | 231795 | 30665 1317234 4010071 | 2147483647 231795 77 | 0.000 % |
182.05/182.36 c | 231905 | 30665 1317234 4010071 | 2147483647 231905 77 | 0.000 % |
182.15/182.46 c | 232028 | 30665 1317234 4010071 | 2147483647 232028 77 | 0.000 % |
182.25/182.57 c | 232161 | 30665 1317234 4010071 | 2147483647 232161 77 | 0.000 % |
182.46/182.73 c | 232308 | 30665 1317234 4010071 | 2147483647 232308 77 | 0.000 % |
182.55/182.88 c | 232468 | 30665 1317234 4010071 | 2147483647 232468 77 | 0.000 % |
182.75/183.05 c | 232644 | 30665 1317234 4010071 | 2147483647 232644 77 | 0.000 % |
182.95/183.23 c | 232837 | 30665 1317234 4010071 | 2147483647 232837 77 | 0.000 % |
183.15/183.40 c | 233049 | 30665 1317234 4010071 | 2147483647 233049 77 | 0.000 % |
183.35/183.64 c | 233282 | 30665 1317234 4010071 | 2147483647 233282 77 | 0.000 % |
183.56/183.88 c | 233538 | 30665 1317234 4010071 | 2147483647 233538 77 | 0.000 % |
183.85/184.13 c | 233820 | 30665 1317234 4010071 | 2147483647 233820 77 | 0.000 % |
184.05/184.38 c | 234130 | 30665 1317234 4010071 | 2147483647 234130 76 | 0.000 % |
184.35/184.65 c | 234470 | 30665 1317234 4010071 | 2147483647 234470 76 | 0.000 % |
184.66/184.94 c | 234844 | 30665 1317234 4010071 | 2147483647 234844 76 | 0.000 % |
184.95/185.20 c | 235253 | 30665 1317234 4010071 | 2147483647 235253 76 | 0.000 % |
185.25/185.60 c | 235702 | 30665 1317234 4010071 | 2147483647 235702 76 | 0.000 % |
185.55/185.86 c | 236195 | 30665 1317234 4010071 | 2147483647 236195 76 | 0.000 % |
186.05/186.30 c | 236738 | 30665 1317234 4010071 | 2147483647 236738 76 | 0.000 % |
186.55/186.82 c | 237335 | 30665 1317234 4010071 | 2147483647 237335 76 | 0.000 % |
187.05/187.33 c | 237991 | 30665 1317234 4010071 | 2147483647 237991 76 | 0.000 % |
187.75/188.00 c | 238712 | 30665 1317234 4010071 | 2147483647 238712 76 | 0.000 % |
188.45/188.70 c | 239505 | 30665 1317234 4010071 | 2147483647 239505 75 | 0.000 % |
189.05/189.32 c | 240377 | 30665 1317234 4010071 | 2147483647 240377 75 | 0.000 % |
189.65/189.98 c | 241338 | 30665 1317234 4010071 | 2147483647 241338 75 | 0.000 % |
190.45/190.78 c | 242391 | 30665 1317234 4010071 | 2147483647 242391 75 | 0.000 % |
191.45/191.79 c | 243550 | 30665 1317234 4010071 | 2147483647 243550 75 | 0.000 % |
192.54/192.81 c | 244823 | 30665 1317234 4010071 | 2147483647 244823 74 | 0.000 % |
193.65/193.90 c | 246223 | 30665 1317234 4010071 | 2147483647 246223 74 | 0.000 % |
194.94/195.23 c | 247764 | 30665 1317234 4010071 | 2147483647 247764 74 | 0.000 % |
196.24/196.56 c | 249458 | 30665 1317234 4010071 | 2147483647 249458 74 | 0.000 % |
197.64/197.96 c | 251321 | 30665 1317234 4010071 | 2147483647 251321 75 | 0.000 % |
198.94/199.25 c | 253370 | 30665 1317234 4010071 | 2147483647 253370 75 | 0.000 % |
200.35/200.62 c | 255624 | 30665 1317234 4010071 | 2147483647 255624 75 | 0.000 % |
202.15/202.48 c | 258102 | 30665 1317234 4010071 | 2147483647 258102 76 | 0.000 % |
202.25/202.57 c | 258203 | 30665 1317234 4010071 | 2147483647 258203 76 | 0.000 % |
202.34/202.65 c | 258314 | 30665 1317234 4010071 | 2147483647 258314 76 | 0.000 % |
202.44/202.75 c | 258435 | 30665 1317234 4010071 | 2147483647 258435 76 | 0.000 % |
202.54/202.86 c | 258568 | 30665 1317234 4010071 | 2147483647 258568 76 | 0.000 % |
202.74/203.01 c | 258714 | 30665 1317234 4010071 | 2147483647 258714 76 | 0.000 % |
202.84/203.18 c | 258875 | 30665 1317234 4010071 | 2147483647 258875 76 | 0.000 % |
203.04/203.34 c | 259055 | 30665 1317234 4010071 | 2147483647 259055 76 | 0.000 % |
203.24/203.54 c | 259252 | 30665 1317234 4010071 | 2147483647 259252 76 | 0.000 % |
203.34/203.63 c | 259465 | 30665 1317234 4010071 | 2147483647 259465 76 | 0.000 % |
203.54/203.85 c | 259698 | 30665 1317234 4010071 | 2147483647 259698 76 | 0.000 % |
203.74/204.03 c | 259958 | 30665 1317234 4010071 | 2147483647 259958 76 | 0.000 % |
204.14/204.46 c | 260246 | 30665 1317234 4010071 | 2147483647 260246 76 | 0.000 % |
204.34/204.70 c | 260560 | 30665 1317234 4010071 | 2147483647 260560 76 | 0.000 % |
204.64/204.97 c | 260900 | 30665 1317234 4010071 | 2147483647 260900 76 | 0.000 % |
204.94/205.26 c | 261272 | 30665 1317234 4010071 | 2147483647 261272 76 | 0.000 % |
205.34/205.61 c | 261682 | 30665 1317234 4010071 | 2147483647 261682 76 | 0.000 % |
205.64/205.96 c | 262131 | 30665 1317234 4010071 | 2147483647 262131 76 | 0.000 % |
206.04/206.40 c | 262624 | 30665 1317234 4010071 | 2147483647 262624 76 | 0.000 % |
206.64/206.93 c | 263166 | 30665 1317234 4010071 | 2147483647 263166 76 | 0.000 % |
207.14/207.43 c | 263762 | 30665 1317234 4010071 | 2147483647 263762 76 | 0.000 % |
207.64/207.97 c | 264419 | 30665 1317234 4010071 | 2147483647 264419 76 | 0.000 % |
208.33/208.68 c | 265140 | 30665 1317234 4010071 | 2147483647 265140 76 | 0.000 % |
209.02/209.30 c | 265932 | 30665 1317234 4010071 | 2147483647 265932 76 | 0.000 % |
209.72/210.08 c | 266803 | 30665 1317234 4010071 | 2147483647 266803 76 | 0.000 % |
210.53/210.87 c | 267761 | 30665 1317234 4010071 | 2147483647 267761 76 | 0.000 % |
211.63/211.90 c | 268815 | 30665 1317234 4010071 | 2147483647 268815 76 | 0.000 % |
212.53/212.81 c | 269973 | 30665 1317234 4010071 | 2147483647 269973 76 | 0.000 % |
213.52/213.89 c | 271247 | 30665 1317234 4010071 | 2147483647 271247 76 | 0.000 % |
214.73/215.02 c | 272647 | 30665 1317234 4010071 | 2147483647 272647 76 | 0.000 % |
216.03/216.38 c | 274190 | 30665 1317234 4010071 | 2147483647 274190 76 | 0.000 % |
217.53/217.87 c | 275884 | 30665 1317234 4010071 | 2147483647 275884 76 | 0.000 % |
219.13/219.46 c | 277747 | 30665 1317234 4010071 | 2147483647 277747 76 | 0.000 % |
220.93/221.27 c | 279796 | 30665 1317234 4010071 | 2147483647 279796 76 | 0.000 % |
223.13/223.43 c | 282049 | 30665 1317234 4010071 | 2147483647 282049 76 | 0.000 % |
224.92/225.22 c | 284527 | 30665 1317234 4010071 | 2147483647 284527 77 | 0.000 % |
226.92/227.25 c | 287252 | 30665 1317234 4010071 | 2147483647 287252 78 | 0.000 % |
227.02/227.37 c | 287353 | 30665 1317234 4010071 | 2147483647 287353 78 | 0.000 % |
227.22/227.52 c | 287463 | 30665 1317234 4010071 | 2147483647 287463 78 | 0.000 % |
227.32/227.62 c | 287587 | 30665 1317234 4010071 | 2147483647 287587 78 | 0.000 % |
227.52/227.87 c | 287722 | 30665 1317234 4010071 | 2147483647 287722 78 | 0.000 % |
227.72/228.02 c | 287868 | 30665 1317234 4010071 | 2147483647 287868 78 | 0.000 % |
227.92/228.20 c | 288029 | 30665 1317234 4010071 | 2147483647 288029 78 | 0.000 % |
228.02/228.39 c | 288205 | 30665 1317234 4010071 | 2147483647 288205 78 | 0.000 % |
228.22/228.58 c | 288398 | 30665 1317234 4010071 | 2147483647 288398 78 | 0.000 % |
228.63/228.92 c | 288612 | 30665 1317234 4010071 | 2147483647 288612 78 | 0.000 % |
228.83/229.13 c | 288845 | 30665 1317234 4010071 | 2147483647 288845 78 | 0.000 % |
229.02/229.34 c | 289102 | 30665 1317234 4010071 | 2147483647 289102 78 | 0.000 % |
229.32/229.69 c | 289385 | 30665 1317234 4010071 | 2147483647 289385 78 | 0.000 % |
229.73/230.02 c | 289694 | 30665 1317234 4010071 | 2147483647 289694 78 | 0.000 % |
230.02/230.35 c | 290035 | 30665 1317234 4010071 | 2147483647 290035 78 | 0.000 % |
230.42/230.70 c | 290407 | 30665 1317234 4010071 | 2147483647 290407 78 | 0.000 % |
230.72/231.03 c | 290816 | 30665 1317234 4010071 | 2147483647 290816 77 | 0.000 % |
231.22/231.53 c | 291265 | 30665 1317234 4010071 | 2147483647 291265 78 | 0.000 % |
231.62/231.99 c | 291758 | 30665 1317234 4010071 | 2147483647 291758 78 | 0.000 % |
232.12/232.43 c | 292301 | 30665 1317234 4010071 | 2147483647 292301 78 | 0.000 % |
232.62/232.96 c | 292897 | 30665 1317234 4010071 | 2147483647 292897 78 | 0.000 % |
233.22/233.54 c | 293552 | 30665 1317234 4010071 | 2147483647 293552 78 | 0.000 % |
233.92/234.30 c | 294272 | 30665 1317234 4010071 | 2147483647 294272 78 | 0.000 % |
234.62/234.96 c | 295065 | 30665 1317234 4010071 | 2147483647 295065 78 | 0.000 % |
235.32/235.67 c | 295937 | 30665 1317234 4010071 | 2147483647 295937 78 | 0.000 % |
236.42/236.72 c | 296898 | 30665 1317234 4010071 | 2147483647 296898 78 | 0.000 % |
237.52/237.85 c | 297953 | 30665 1317234 4010071 | 2147483647 297953 78 | 0.000 % |
238.92/239.29 c | 299112 | 30665 1317234 4010071 | 2147483647 299112 78 | 0.000 % |
240.12/240.41 c | 300386 | 30665 1317234 4010071 | 2147483647 300386 78 | 0.000 % |
241.52/241.85 c | 301787 | 30665 1317234 4010071 | 2147483647 301787 78 | 0.000 % |
243.31/243.66 c | 303327 | 30665 1317234 4010071 | 2147483647 303327 78 | 0.000 % |
244.92/245.29 c | 305021 | 30665 1317234 4010071 | 2147483647 305021 78 | 0.000 % |
246.51/246.82 c | 306886 | 30665 1317234 4010071 | 2147483647 306886 78 | 0.000 % |
248.32/248.69 c | 308936 | 30665 1317234 4010071 | 2147483647 308936 78 | 0.000 % |
250.82/251.11 c | 311189 | 30665 1317234 4010071 | 2147483647 311189 78 | 0.000 % |
253.81/254.14 c | 313667 | 30665 1317234 4010071 | 2147483647 313667 78 | 0.000 % |
256.60/256.91 c | 316392 | 30665 1317234 4010071 | 2147483647 316392 77 | 0.000 % |
259.20/259.59 c | 319390 | 30665 1317234 4010071 | 2147483647 319390 77 | 0.000 % |
259.30/259.68 c | 319490 | 30665 1317234 4010071 | 2147483647 319490 77 | 0.000 % |
259.50/259.80 c | 319600 | 30665 1317234 4010071 | 2147483647 319600 77 | 0.000 % |
259.60/259.92 c | 319721 | 30665 1317234 4010071 | 2147483647 319721 77 | 0.000 % |
259.70/260.08 c | 319855 | 30665 1317234 4010071 | 2147483647 319855 77 | 0.000 % |
259.90/260.22 c | 320001 | 30665 1317234 4010071 | 2147483647 320001 77 | 0.000 % |
260.10/260.44 c | 320165 | 30665 1317234 4010071 | 2147483647 320165 77 | 0.000 % |
260.30/260.66 c | 320345 | 30665 1317234 4010071 | 2147483647 320345 77 | 0.000 % |
260.50/260.86 c | 320539 | 30665 1317234 4010071 | 2147483647 320539 77 | 0.000 % |
260.90/261.22 c | 320752 | 30665 1317234 4010071 | 2147483647 320752 77 | 0.000 % |
261.20/261.57 c | 320989 | 30665 1317234 4010071 | 2147483647 320989 77 | 0.000 % |
261.60/261.90 c | 321245 | 30665 1317234 4010071 | 2147483647 321245 77 | 0.000 % |
262.00/262.30 c | 321527 | 30665 1317234 4010071 | 2147483647 321527 77 | 0.000 % |
262.40/262.74 c | 321836 | 30665 1317234 4010071 | 2147483647 321836 77 | 0.000 % |
262.90/263.22 c | 322178 | 30665 1317234 4010071 | 2147483647 322178 77 | 0.000 % |
263.50/263.86 c | 322551 | 30665 1317234 4010071 | 2147483647 322551 77 | 0.000 % |
263.90/264.25 c | 322960 | 30665 1317234 4010071 | 2147483647 322960 77 | 0.000 % |
264.50/264.82 c | 323410 | 30665 1317234 4010071 | 2147483647 323410 77 | 0.000 % |
265.20/265.55 c | 323905 | 30665 1317234 4010071 | 2147483647 323905 77 | 0.000 % |
266.00/266.39 c | 324447 | 30665 1317234 4010071 | 2147483647 324447 77 | 0.000 % |
266.70/267.06 c | 325043 | 30665 1317234 4010071 | 2147483647 325043 77 | 0.000 % |
267.40/267.72 c | 325699 | 30665 1317234 4010071 | 2147483647 325699 77 | 0.000 % |
268.10/268.45 c | 326419 | 30665 1317234 4010071 | 2147483647 326419 77 | 0.000 % |
269.20/269.59 c | 327214 | 30665 1317234 4010071 | 2147483647 327214 77 | 0.000 % |
270.60/270.90 c | 328087 | 30665 1317234 4010071 | 2147483647 328087 77 | 0.000 % |
271.59/271.95 c | 329045 | 30665 1317234 4010071 | 2147483647 329045 77 | 0.000 % |
272.79/273.15 c | 330098 | 30665 1317234 4010071 | 2147483647 330098 77 | 0.000 % |
273.99/274.36 c | 331257 | 30665 1317234 4010071 | 2147483647 331257 77 | 0.000 % |
275.49/275.84 c | 332531 | 30665 1317234 4010071 | 2147483647 332531 77 | 0.000 % |
277.29/277.63 c | 333931 | 30665 1317234 4010071 | 2147483647 333931 77 | 0.000 % |
279.19/279.51 c | 335473 | 30665 1317234 4010071 | 2147483647 335473 77 | 0.000 % |
280.99/281.37 c | 337167 | 30665 1317234 4010071 | 2147483647 337167 77 | 0.000 % |
283.18/283.55 c | 339032 | 30665 1317234 4010071 | 2147483647 339032 77 | 0.000 % |
285.28/285.61 c | 341081 | 30665 1317234 4010071 | 2147483647 341081 77 | 0.000 % |
287.49/287.88 c | 343336 | 30665 1317234 4010071 | 2147483647 343336 77 | 0.000 % |
290.69/291.04 c | 345814 | 30665 1317234 4010071 | 2147483647 345814 76 | 0.000 % |
293.18/293.54 c | 348540 | 30665 1317234 4010071 | 2147483647 348540 76 | 0.000 % |
296.99/297.35 c | 351538 | 30665 1317234 4010071 | 2147483647 351538 76 | 0.000 % |
301.28/301.61 c | 354834 | 30665 1317234 4010071 | 2147483647 354834 76 | 0.000 % |
301.38/301.78 c | 354936 | 30665 1317234 4010071 | 2147483647 354936 76 | 0.000 % |
301.58/301.93 c | 355047 | 30665 1317234 4010071 | 2147483647 355047 76 | 0.000 % |
301.88/302.20 c | 355170 | 30665 1317234 4010071 | 2147483647 355170 76 | 0.000 % |
302.08/302.50 c | 355306 | 30665 1317234 4010071 | 2147483647 355306 76 | 0.000 % |
302.38/302.74 c | 355453 | 30665 1317234 4010071 | 2147483647 355453 76 | 0.000 % |
302.58/302.97 c | 355615 | 30665 1317234 4010071 | 2147483647 355615 76 | 0.000 % |
302.88/303.30 c | 355792 | 30665 1317234 4010071 | 2147483647 355792 76 | 0.000 % |
303.29/303.63 c | 355986 | 30665 1317234 4010071 | 2147483647 355986 76 | 0.000 % |
303.68/304.01 c | 356199 | 30665 1317234 4010071 | 2147483647 356199 76 | 0.000 % |
304.08/304.41 c | 356432 | 30665 1317234 4010071 | 2147483647 356432 76 | 0.000 % |
304.28/304.69 c | 356688 | 30665 1317234 4010071 | 2147483647 356688 76 | 0.000 % |
304.68/305.00 c | 356970 | 30665 1317234 4010071 | 2147483647 356970 76 | 0.000 % |
305.08/305.43 c | 357280 | 30665 1317234 4010071 | 2147483647 357280 76 | 0.000 % |
305.48/305.84 c | 357621 | 30665 1317234 4010071 | 2147483647 357621 76 | 0.000 % |
305.88/306.25 c | 357995 | 30665 1317234 4010071 | 2147483647 357995 76 | 0.000 % |
306.38/306.70 c | 358406 | 30665 1317234 4010071 | 2147483647 358406 76 | 0.000 % |
306.88/307.21 c | 358856 | 30665 1317234 4010071 | 2147483647 358856 76 | 0.000 % |
307.38/307.78 c | 359350 | 30665 1317234 4010071 | 2147483647 359350 76 | 0.000 % |
308.17/308.54 c | 359893 | 30665 1317234 4010071 | 2147483647 359893 76 | 0.000 % |
309.27/309.61 c | 360490 | 30665 1317234 4010071 | 2147483647 360490 76 | 0.000 % |
309.98/310.37 c | 361146 | 30665 1317234 4010071 | 2147483647 361146 76 | 0.000 % |
310.98/311.38 c | 361867 | 30665 1317234 4010071 | 2147483647 361867 75 | 0.000 % |
311.97/312.33 c | 362660 | 30665 1317234 4010071 | 2147483647 362660 75 | 0.000 % |
312.97/313.37 c | 363532 | 30665 1317234 4010071 | 2147483647 363532 75 | 0.000 % |
313.87/314.23 c | 364490 | 30665 1317234 4010071 | 2147483647 364490 75 | 0.000 % |
314.97/315.30 c | 365543 | 30665 1317234 4010071 | 2147483647 365543 75 | 0.000 % |
316.17/316.58 c | 366701 | 30665 1317234 4010071 | 2147483647 366701 75 | 0.000 % |
317.97/318.35 c | 367976 | 30665 1317234 4010071 | 2147483647 367976 75 | 0.000 % |
319.47/319.80 c | 369377 | 30665 1317234 4010071 | 2147483647 369377 75 | 0.000 % |
321.07/321.40 c | 370918 | 30665 1317234 4010071 | 2147483647 370918 75 | 0.000 % |
322.67/323.04 c | 372612 | 30665 1317234 4010071 | 2147483647 372612 74 | 0.000 % |
324.37/324.72 c | 374475 | 30665 1317234 4010071 | 2147483647 374475 74 | 0.000 % |
326.47/326.81 c | 376524 | 30665 1317234 4010071 | 2147483647 376524 74 | 0.000 % |
328.46/328.90 c | 378777 | 30665 1317234 4010071 | 2147483647 378777 74 | 0.000 % |
330.57/330.99 c | 381256 | 30665 1317234 4010071 | 2147483647 381256 74 | 0.000 % |
332.86/333.30 c | 383982 | 30665 1317234 4010071 | 2147483647 383982 74 | 0.000 % |
335.96/336.33 c | 386979 | 30665 1317234 4010071 | 2147483647 386979 75 | 0.000 % |
339.16/339.50 c | 390276 | 30665 1317234 4010071 | 2147483647 390276 75 | 0.000 % |
342.37/342.70 c | 393902 | 30665 1317234 4010071 | 2147483647 393902 75 | 0.001 % |
342.47/342.84 c | 394002 | 30665 1317234 4010071 | 2147483647 394002 75 | 0.001 % |
343.16/343.54 c | 394113 | 30663 1307611 3980579 | 2147483647 384825 74 | 0.007 % |
343.36/343.78 c | 394235 | 30663 1307611 3980579 | 2147483647 384947 74 | 0.007 % |
343.56/343.92 c | 394368 | 30663 1307611 3980579 | 2147483647 385080 74 | 0.007 % |
343.66/344.03 c | 394517 | 30663 1307611 3980579 | 2147483647 385229 74 | 0.007 % |
343.96/344.36 c | 394680 | 30663 1307611 3980579 | 2147483647 385392 74 | 0.007 % |
344.16/344.58 c | 394856 | 30663 1307611 3980579 | 2147483647 385568 74 | 0.007 % |
344.36/344.78 c | 395055 | 30663 1307611 3980579 | 2147483647 385767 74 | 0.007 % |
344.66/345.06 c | 395267 | 30663 1307611 3980579 | 2147483647 385979 74 | 0.007 % |
344.86/345.26 c | 395503 | 30663 1307611 3980579 | 2147483647 386215 74 | 0.007 % |
345.16/345.59 c | 395759 | 30663 1307611 3980579 | 2147483647 386471 74 | 0.007 % |
345.36/345.77 c | 396044 | 30663 1307611 3980579 | 2147483647 386756 74 | 0.007 % |
345.86/346.24 c | 396354 | 30663 1307611 3980579 | 2147483647 387066 74 | 0.007 % |
346.16/346.53 c | 396693 | 30663 1307611 3980579 | 2147483647 387405 74 | 0.007 % |
346.45/346.88 c | 397070 | 30663 1307611 3980579 | 2147483647 387782 74 | 0.007 % |
346.85/347.23 c | 397479 | 30663 1307611 3980579 | 2147483647 388191 74 | 0.007 % |
347.36/347.78 c | 397928 | 30663 1307611 3980579 | 2147483647 388640 75 | 0.007 % |
347.85/348.22 c | 398422 | 30663 1307611 3980579 | 2147483647 389134 75 | 0.007 % |
348.36/348.71 c | 398968 | 30663 1307611 3980579 | 2147483647 389680 75 | 0.007 % |
348.95/349.30 c | 399564 | 30663 1307611 3980579 | 2147483647 390276 75 | 0.007 % |
349.65/350.05 c | 400223 | 30663 1307611 3980579 | 2147483647 390935 75 | 0.007 % |
350.25/350.63 c | 400943 | 30663 1307611 3980579 | 2147483647 391655 75 | 0.007 % |
351.05/351.42 c | 401736 | 30663 1307611 3980579 | 2147483647 392448 75 | 0.007 % |
351.76/352.18 c | 402608 | 30663 1307611 3980579 | 2147483647 393320 75 | 0.007 % |
352.76/353.14 c | 403567 | 30663 1307611 3980579 | 2147483647 394279 75 | 0.007 % |
353.65/354.02 c | 404620 | 30663 1307611 3980579 | 2147483647 395332 75 | 0.007 % |
354.85/355.27 c | 405780 | 30663 1307611 3980579 | 2147483647 396492 75 | 0.007 % |
356.05/356.47 c | 407054 | 30663 1307611 3980579 | 2147483647 397766 75 | 0.007 % |
357.25/357.65 c | 408456 | 30663 1307611 3980579 | 2147483647 399168 75 | 0.007 % |
359.04/359.41 c | 409999 | 30663 1307611 3980579 | 2147483647 400711 75 | 0.007 % |
360.74/361.13 c | 411700 | 30663 1307611 3980579 | 2147483647 402412 75 | 0.007 % |
362.65/363.07 c | 413563 | 30663 1307611 3980579 | 2147483647 404275 75 | 0.007 % |
364.45/364.85 c | 415612 | 30663 1307611 3980579 | 2147483647 406324 76 | 0.007 % |
366.44/366.82 c | 417865 | 30663 1307611 3980579 | 2147483647 408577 76 | 0.007 % |
368.95/369.32 c | 420343 | 30663 1307611 3980579 | 2147483647 411055 76 | 0.007 % |
371.35/371.73 c | 423068 | 30663 1307611 3980579 | 2147483647 413780 76 | 0.007 % |
375.05/375.49 c | 426066 | 30663 1307611 3980579 | 2147483647 416778 77 | 0.007 % |
378.44/378.81 c | 429362 | 30663 1307611 3980579 | 2147483647 420074 77 | 0.007 % |
381.14/381.56 c | 432987 | 30663 1307611 3980579 | 2147483647 423699 78 | 0.007 % |
385.03/385.41 c | 436975 | 30663 1307611 3980579 | 2147483647 427687 78 | 0.007 % |
385.14/385.51 c | 437075 | 30663 1307611 3980579 | 2147483647 427787 78 | 0.007 % |
385.34/385.78 c | 437186 | 30663 1307611 3980579 | 2147483647 427898 78 | 0.007 % |
385.64/386.02 c | 437310 | 30663 1307611 3980579 | 2147483647 428022 78 | 0.007 % |
385.85/386.25 c | 437447 | 30663 1307611 3980579 | 2147483647 428159 78 | 0.007 % |
385.94/386.38 c | 437593 | 30663 1307611 3980579 | 2147483647 428305 78 | 0.007 % |
386.14/386.58 c | 437754 | 30663 1307611 3980579 | 2147483647 428466 78 | 0.007 % |
386.44/386.80 c | 437930 | 30663 1307611 3980579 | 2147483647 428642 78 | 0.007 % |
386.54/386.93 c | 438124 | 30663 1307611 3980579 | 2147483647 428836 78 | 0.007 % |
386.74/387.20 c | 438337 | 30663 1307611 3980579 | 2147483647 429049 78 | 0.007 % |
387.04/387.47 c | 438571 | 30663 1307611 3980579 | 2147483647 429283 78 | 0.007 % |
387.34/387.79 c | 438829 | 30663 1307611 3980579 | 2147483647 429541 78 | 0.007 % |
387.64/388.03 c | 439110 | 30663 1307611 3980579 | 2147483647 429822 78 | 0.007 % |
387.93/388.39 c | 439419 | 30663 1307611 3980579 | 2147483647 430131 78 | 0.007 % |
388.43/388.83 c | 439759 | 30663 1307611 3980579 | 2147483647 430471 78 | 0.007 % |
388.83/389.28 c | 440132 | 30663 1307611 3980579 | 2147483647 430844 78 | 0.007 % |
389.33/389.71 c | 440541 | 30663 1307611 3980579 | 2147483647 431253 78 | 0.007 % |
389.93/390.39 c | 440990 | 30663 1307611 3980579 | 2147483647 431702 78 | 0.007 % |
390.43/390.86 c | 441486 | 30663 1307611 3980579 | 2147483647 432198 78 | 0.007 % |
390.93/391.30 c | 442029 | 30663 1307611 3980579 | 2147483647 432741 78 | 0.007 % |
391.63/392.07 c | 442627 | 30663 1307611 3980579 | 2147483647 433339 78 | 0.007 % |
392.33/392.73 c | 443286 | 30663 1307611 3980579 | 2147483647 433998 78 | 0.007 % |
393.32/393.73 c | 444006 | 30663 1307611 3980579 | 2147483647 434718 78 | 0.007 % |
394.22/394.61 c | 444801 | 30663 1307611 3980579 | 2147483647 435513 78 | 0.007 % |
395.12/395.59 c | 445672 | 30663 1307611 3980579 | 2147483647 436384 78 | 0.007 % |
396.22/396.69 c | 446630 | 30663 1307611 3980579 | 2147483647 437342 78 | 0.007 % |
397.52/397.98 c | 447686 | 30663 1307611 3980579 | 2147483647 438398 78 | 0.007 % |
398.63/399.04 c | 448844 | 30663 1307611 3980579 | 2147483647 439556 78 | 0.007 % |
399.93/400.33 c | 450119 | 30663 1307611 3980579 | 2147483647 440831 78 | 0.007 % |
401.33/401.79 c | 451520 | 30663 1307611 3980579 | 2147483647 442232 78 | 0.007 % |
402.72/403.11 c | 453061 | 30663 1307611 3980579 | 2147483647 443773 78 | 0.007 % |
404.43/404.82 c | 454755 | 30663 1307611 3980579 | 2147483647 445467 78 | 0.007 % |
406.62/407.01 c | 456619 | 30663 1307611 3980579 | 2147483647 447331 78 | 0.007 % |
408.82/409.22 c | 458670 | 30663 1307611 3980579 | 2147483647 449382 78 | 0.007 % |
410.82/411.24 c | 460923 | 30663 1307611 3980579 | 2147483647 451635 78 | 0.007 % |
413.82/414.20 c | 463403 | 30663 1307611 3980579 | 2147483647 454115 78 | 0.007 % |
416.32/416.75 c | 466129 | 30663 1307611 3980579 | 2147483647 456841 78 | 0.007 % |
420.12/420.56 c | 469127 | 30663 1307611 3980579 | 2147483647 459839 78 | 0.007 % |
423.62/424.07 c | 472424 | 30663 1307611 3980579 | 2147483647 463136 78 | 0.007 % |
428.22/428.66 c | 476049 | 30663 1307611 3980579 | 2147483647 466761 78 | 0.007 % |
432.41/432.86 c | 480036 | 30663 1307611 3980579 | 2147483647 470748 81 | 0.007 % |
437.01/437.48 c | 484422 | 30663 1307611 3980579 | 2147483647 475134 82 | 0.007 % |
437.11/437.59 c | 484522 | 30663 1307611 3980579 | 2147483647 475234 82 | 0.007 % |
437.31/437.77 c | 484632 | 30663 1307611 3980579 | 2147483647 475344 82 | 0.007 % |
437.51/437.91 c | 484754 | 30663 1307611 3980579 | 2147483647 475466 82 | 0.007 % |
437.71/438.12 c | 484889 | 30663 1307611 3980579 | 2147483647 475601 82 | 0.007 % |
437.91/438.37 c | 485039 | 30663 1307611 3980579 | 2147483647 475751 82 | 0.007 % |
438.31/438.70 c | 485199 | 30663 1307611 3980579 | 2147483647 475911 82 | 0.007 % |
438.51/438.98 c | 485376 | 30663 1307611 3980579 | 2147483647 476088 82 | 0.007 % |
438.71/439.14 c | 485571 | 30663 1307611 3980579 | 2147483647 476283 82 | 0.007 % |
439.10/439.55 c | 485783 | 30663 1307611 3980579 | 2147483647 476495 82 | 0.007 % |
439.30/439.77 c | 486017 | 30663 1307611 3980579 | 2147483647 476729 82 | 0.007 % |
439.80/440.22 c | 486273 | 30663 1307611 3980579 | 2147483647 476985 82 | 0.007 % |
440.10/440.53 c | 486555 | 30663 1307611 3980579 | 2147483647 477267 82 | 0.007 % |
440.50/440.95 c | 486866 | 30663 1307611 3980579 | 2147483647 477578 82 | 0.007 % |
440.71/441.19 c | 487205 | 30663 1307611 3980579 | 2147483647 477917 82 | 0.007 % |
441.20/441.61 c | 487577 | 30663 1307611 3980579 | 2147483647 478289 82 | 0.007 % |
441.50/441.97 c | 487988 | 30663 1307611 3980579 | 2147483647 478700 82 | 0.007 % |
442.10/442.57 c | 488437 | 30663 1307611 3980579 | 2147483647 479149 82 | 0.007 % |
442.70/443.10 c | 488932 | 30663 1307611 3980579 | 2147483647 479644 82 | 0.007 % |
443.20/443.66 c | 489474 | 30663 1307611 3980579 | 2147483647 480186 82 | 0.007 % |
444.00/444.47 c | 490072 | 30663 1307611 3980579 | 2147483647 480784 82 | 0.007 % |
444.60/445.06 c | 490729 | 30663 1307611 3980579 | 2147483647 481441 82 | 0.007 % |
445.60/446.08 c | 491449 | 30663 1307611 3980579 | 2147483647 482161 82 | 0.007 % |
446.50/446.99 c | 492241 | 30663 1307611 3980579 | 2147483647 482953 82 | 0.007 % |
447.51/447.92 c | 493112 | 30663 1307611 3980579 | 2147483647 483824 82 | 0.007 % |
448.51/448.98 c | 494070 | 30663 1307611 3980579 | 2147483647 484782 82 | 0.007 % |
449.61/450.04 c | 495124 | 30663 1307611 3980579 | 2147483647 485836 82 | 0.007 % |
450.90/451.32 c | 496283 | 30663 1307611 3980579 | 2147483647 486995 82 | 0.007 % |
452.10/452.57 c | 497556 | 30663 1307611 3980579 | 2147483647 488268 82 | 0.007 % |
453.60/454.06 c | 498956 | 30663 1307611 3980579 | 2147483647 489668 82 | 0.007 % |
455.19/455.63 c | 500496 | 30663 1307611 3980579 | 2147483647 491208 82 | 0.007 % |
457.21/457.62 c | 502190 | 30663 1307611 3980579 | 2147483647 492902 83 | 0.007 % |
459.20/459.65 c | 504053 | 30663 1307611 3980579 | 2147483647 494765 83 | 0.007 % |
461.60/462.00 c | 506102 | 30663 1307611 3980579 | 2147483647 496814 83 | 0.007 % |
463.80/464.28 c | 508357 | 30663 1307611 3980579 | 2147483647 499069 83 | 0.007 % |
466.59/467.06 c | 510835 | 30663 1307611 3980579 | 2147483647 501547 83 | 0.007 % |
470.10/470.50 c | 513560 | 30663 1307611 3980579 | 2147483647 504272 82 | 0.007 % |
473.30/473.71 c | 516558 | 30663 1307611 3980579 | 2147483647 507270 82 | 0.007 % |
477.39/477.89 c | 519854 | 30663 1307611 3980579 | 2147483647 510566 82 | 0.007 % |
482.69/483.12 c | 523480 | 30663 1307611 3980579 | 2147483647 514192 82 | 0.007 % |
487.98/488.41 c | 527467 | 30663 1307611 3980579 | 2147483647 518179 82 | 0.007 % |
494.88/495.32 c | 531852 | 30663 1307611 3980579 | 2147483647 522564 81 | 0.007 % |
501.48/501.97 c | 536677 | 30663 1307611 3980579 | 2147483647 527389 81 | 0.007 % |
501.68/502.15 c | 536779 | 30663 1307611 3980579 | 2147483647 527491 81 | 0.007 % |
501.78/502.27 c | 536889 | 30663 1307611 3980579 | 2147483647 527601 81 | 0.007 % |
502.18/502.61 c | 537010 | 30663 1307611 3980579 | 2147483647 527722 81 | 0.007 % |
502.38/502.89 c | 537143 | 30663 1307611 3980579 | 2147483647 527855 81 | 0.007 % |
502.78/503.21 c | 537289 | 30663 1307611 3980579 | 2147483647 528001 81 | 0.007 % |
502.98/503.46 c | 537449 | 30663 1307611 3980579 | 2147483647 528161 81 | 0.007 % |
503.28/503.79 c | 537628 | 30663 1307611 3980579 | 2147483647 528340 81 | 0.007 % |
503.58/504.00 c | 537821 | 30663 1307611 3980579 | 2147483647 528533 81 | 0.007 % |
503.88/504.39 c | 538033 | 30663 1307611 3980579 | 2147483647 528745 81 | 0.007 % |
504.28/504.74 c | 538269 | 30663 1307611 3980579 | 2147483647 528981 81 | 0.007 % |
504.58/505.07 c | 538526 | 30663 1307611 3980579 | 2147483647 529238 81 | 0.007 % |
505.08/505.58 c | 538809 | 30663 1307611 3980579 | 2147483647 529521 81 | 0.007 % |
505.68/506.12 c | 539120 | 30663 1307611 3980579 | 2147483647 529832 81 | 0.007 % |
506.27/506.76 c | 539460 | 30663 1307611 3980579 | 2147483647 530172 81 | 0.007 % |
506.78/507.21 c | 539832 | 30663 1307611 3980579 | 2147483647 530544 81 | 0.007 % |
507.37/507.82 c | 540241 | 30663 1307611 3980579 | 2147483647 530953 81 | 0.007 % |
507.97/508.49 c | 540690 | 30663 1307611 3980579 | 2147483647 531402 81 | 0.007 % |
508.87/509.40 c | 541183 | 30663 1307611 3980579 | 2147483647 531895 81 | 0.007 % |
509.77/510.23 c | 541725 | 30663 1307611 3980579 | 2147483647 532437 81 | 0.007 % |
510.57/511.10 c | 542324 | 30663 1307611 3980579 | 2147483647 533036 81 | 0.007 % |
511.57/512.07 c | 542979 | 30663 1307611 3980579 | 2147483647 533691 81 | 0.007 % |
512.57/513.05 c | 543701 | 30663 1307611 3980579 | 2147483647 534413 81 | 0.007 % |
513.67/514.13 c | 544494 | 30663 1307611 3980579 | 2147483647 535206 80 | 0.007 % |
514.87/515.35 c | 545366 | 30663 1307611 3980579 | 2147483647 536078 80 | 0.007 % |
516.26/516.77 c | 546324 | 30663 1307611 3980579 | 2147483647 537036 80 | 0.007 % |
517.56/518.03 c | 547377 | 30663 1307611 3980579 | 2147483647 538089 80 | 0.007 % |
518.96/519.44 c | 548535 | 30663 1307611 3980579 | 2147483647 539247 80 | 0.007 % |
520.36/520.81 c | 549808 | 30663 1307611 3980579 | 2147483647 540520 80 | 0.007 % |
522.06/522.58 c | 551209 | 30663 1307611 3980579 | 2147483647 541921 80 | 0.007 % |
524.37/524.85 c | 552750 | 30663 1307611 3980579 | 2147483647 543462 80 | 0.007 % |
526.66/527.13 c | 554444 | 30663 1307611 3980579 | 2147483647 545156 80 | 0.007 % |
529.06/529.57 c | 556307 | 30663 1307611 3980579 | 2147483647 547019 79 | 0.007 % |
531.26/531.72 c | 558356 | 30663 1307611 3980579 | 2147483647 549068 79 | 0.007 % |
533.75/534.20 c | 560609 | 30663 1307611 3980579 | 2147483647 551321 79 | 0.007 % |
537.06/537.58 c | 563087 | 30663 1307611 3980579 | 2147483647 553799 80 | 0.007 % |
539.76/540.27 c | 565813 | 30663 1307611 3980579 | 2147483647 556525 80 | 0.007 % |
543.06/543.55 c | 568811 | 30663 1307611 3980579 | 2147483647 559523 80 | 0.007 % |
546.45/546.98 c | 572107 | 30663 1307611 3980579 | 2147483647 562819 80 | 0.007 % |
552.35/552.82 c | 575733 | 30663 1307611 3980579 | 2147483647 566445 81 | 0.007 % |
556.95/557.49 c | 579722 | 30663 1307611 3980579 | 2147483647 570434 81 | 0.007 % |
561.75/562.25 c | 584107 | 30663 1307611 3980579 | 2147483647 574819 81 | 0.007 % |
568.25/568.77 c | 588930 | 30663 1307611 3980579 | 2147483647 579642 81 | 0.007 % |
574.43/574.90 c | 594236 | 30663 1307611 3980579 | 2147483647 584948 82 | 0.007 % |
574.53/575.04 c | 594337 | 30663 1307611 3980579 | 2147483647 585049 82 | 0.007 % |
574.84/575.32 c | 594447 | 30663 1307611 3980579 | 2147483647 585159 82 | 0.007 % |
575.14/575.60 c | 594568 | 30663 1307611 3980579 | 2147483647 585280 82 | 0.007 % |
575.34/575.86 c | 594705 | 30663 1307611 3980579 | 2147483647 585417 82 | 0.007 % |
575.54/576.08 c | 594852 | 30663 1307611 3980579 | 2147483647 585564 82 | 0.007 % |
575.84/576.35 c | 595013 | 30663 1307611 3980579 | 2147483647 585725 82 | 0.007 % |
576.24/576.73 c | 595189 | 30663 1307611 3980579 | 2147483647 585901 82 | 0.007 % |
576.44/576.91 c | 595384 | 30663 1307611 3980579 | 2147483647 586096 82 | 0.007 % |
576.74/577.23 c | 595596 | 30663 1307611 3980579 | 2147483647 586308 82 | 0.007 % |
577.44/577.91 c | 595830 | 30663 1307611 3980579 | 2147483647 586542 82 | 0.007 % |
577.64/578.15 c | 596087 | 30663 1307611 3980579 | 2147483647 586799 82 | 0.007 % |
578.04/578.56 c | 596368 | 30663 1307611 3980579 | 2147483647 587080 82 | 0.007 % |
578.34/578.85 c | 596677 | 30663 1307611 3980579 | 2147483647 587389 82 | 0.007 % |
578.84/579.33 c | 597016 | 30663 1307611 3980579 | 2147483647 587728 82 | 0.007 % |
579.34/579.82 c | 597388 | 30663 1307611 3980579 | 2147483647 588100 82 | 0.007 % |
580.04/580.55 c | 597797 | 30663 1307611 3980579 | 2147483647 588509 82 | 0.007 % |
580.64/581.15 c | 598246 | 30663 1307611 3980579 | 2147483647 588958 82 | 0.007 % |
581.23/581.78 c | 598743 | 30663 1307611 3980579 | 2147483647 589455 82 | 0.007 % |
581.93/582.44 c | 599289 | 30663 1307611 3980579 | 2147483647 590001 82 | 0.007 % |
582.83/583.37 c | 599887 | 30663 1307611 3980579 | 2147483647 590599 82 | 0.007 % |
583.93/584.41 c | 600542 | 30663 1307611 3980579 | 2147483647 591254 82 | 0.007 % |
585.13/585.64 c | 601265 | 30663 1307611 3980579 | 2147483647 591977 82 | 0.007 % |
586.23/586.75 c | 602057 | 30663 1307611 3980579 | 2147483647 592769 82 | 0.007 % |
587.13/587.68 c | 602931 | 30663 1307611 3980579 | 2147483647 593643 82 | 0.007 % |
588.22/588.74 c | 603889 | 30663 1307611 3980579 | 2147483647 594601 82 | 0.007 % |
589.63/590.20 c | 604942 | 30663 1307611 3980579 | 2147483647 595654 82 | 0.007 % |
591.03/591.57 c | 606100 | 30663 1307611 3980579 | 2147483647 596812 82 | 0.007 % |
592.83/593.32 c | 607375 | 30663 1307611 3980579 | 2147483647 598087 82 | 0.007 % |
594.63/595.15 c | 608775 | 30663 1307611 3980579 | 2147483647 599487 82 | 0.007 % |
597.23/597.71 c | 610315 | 30663 1307611 3980579 | 2147483647 601027 82 | 0.007 % |
599.22/599.73 c | 612011 | 30663 1307611 3980579 | 2147483647 602723 81 | 0.007 % |
602.02/602.51 c | 613874 | 30663 1307611 3980579 | 2147483647 604586 81 | 0.007 % |
604.22/604.77 c | 615924 | 30663 1307611 3980579 | 2147483647 606636 82 | 0.007 % |
607.12/607.66 c | 618178 | 30663 1307611 3980579 | 2147483647 608890 81 | 0.007 % |
611.22/611.78 c | 620656 | 30663 1307611 3980579 | 2147483647 611368 81 | 0.007 % |
614.81/615.32 c | 623381 | 30663 1307611 3980579 | 2147483647 614093 81 | 0.007 % |
618.92/619.44 c | 626380 | 30663 1307611 3980579 | 2147483647 617092 81 | 0.007 % |
622.91/623.49 c | 629676 | 30663 1307611 3980579 | 2147483647 620388 81 | 0.007 % |
627.71/628.29 c | 633301 | 30663 1307611 3980579 | 2147483647 624013 81 | 0.007 % |
632.30/632.80 c | 637289 | 30663 1307611 3980579 | 2147483647 628001 81 | 0.007 % |
638.11/638.67 c | 641674 | 30663 1307611 3980579 | 2147483647 632386 80 | 0.007 % |
643.40/643.99 c | 646497 | 30663 1307611 3980579 | 2147483647 637209 80 | 0.007 % |
649.70/650.24 c | 651802 | 30663 1307611 3980579 | 2147483647 642514 80 | 0.007 % |
657.80/658.32 c | 657637 | 30663 1307611 3980579 | 2147483647 648349 80 | 0.007 % |
657.90/658.49 c | 657737 | 30663 1307611 3980579 | 2147483647 648449 80 | 0.007 % |
658.10/658.67 c | 657848 | 30663 1307611 3980579 | 2147483647 648560 80 | 0.007 % |
658.30/658.90 c | 657969 | 30663 1307611 3980579 | 2147483647 648681 80 | 0.007 % |
658.59/659.17 c | 658102 | 30663 1307611 3980579 | 2147483647 648814 80 | 0.007 % |
658.79/659.39 c | 658248 | 30663 1307611 3980579 | 2147483647 648960 80 | 0.007 % |
659.09/659.64 c | 658409 | 30663 1307611 3980579 | 2147483647 649121 80 | 0.007 % |
659.39/659.91 c | 658585 | 30663 1307611 3980579 | 2147483647 649297 80 | 0.007 % |
659.69/660.22 c | 658778 | 30663 1307611 3980579 | 2147483647 649490 80 | 0.007 % |
659.99/660.53 c | 658990 | 30663 1307611 3980579 | 2147483647 649702 80 | 0.007 % |
660.39/660.98 c | 659223 | 30663 1307611 3980579 | 2147483647 649935 80 | 0.007 % |
660.99/661.53 c | 659479 | 30663 1307611 3980579 | 2147483647 650191 80 | 0.007 % |
661.39/661.94 c | 659762 | 30663 1307611 3980579 | 2147483647 650474 80 | 0.007 % |
661.79/662.33 c | 660071 | 30663 1307611 3980579 | 2147483647 650783 80 | 0.007 % |
662.29/662.80 c | 660410 | 30663 1307611 3980579 | 2147483647 651122 80 | 0.007 % |
662.99/663.50 c | 660782 | 30663 1307611 3980579 | 2147483647 651494 80 | 0.007 % |
663.49/664.04 c | 661191 | 30663 1307611 3980579 | 2147483647 651903 80 | 0.007 % |
664.09/664.68 c | 661641 | 30663 1307611 3980579 | 2147483647 652353 80 | 0.007 % |
665.09/665.64 c | 662135 | 30663 1307611 3980579 | 2147483647 652847 79 | 0.007 % |
665.89/666.41 c | 662678 | 30663 1307611 3980579 | 2147483647 653390 79 | 0.007 % |
666.69/667.27 c | 663274 | 30663 1307611 3980579 | 2147483647 653986 79 | 0.007 % |
667.59/668.10 c | 663929 | 30663 1307611 3980579 | 2147483647 654641 79 | 0.007 % |
668.78/669.31 c | 664649 | 30663 1307611 3980579 | 2147483647 655361 79 | 0.007 % |
669.88/670.44 c | 665441 | 30663 1307611 3980579 | 2147483647 656153 79 | 0.007 % |
671.08/671.63 c | 666312 | 30663 1307611 3980579 | 2147483647 657024 79 | 0.007 % |
672.28/672.85 c | 667271 | 30663 1307611 3980579 | 2147483647 657983 79 | 0.007 % |
673.98/674.58 c | 668325 | 30663 1307611 3980579 | 2147483647 659037 79 | 0.007 % |
675.38/675.93 c | 669483 | 30663 1307611 3980579 | 2147483647 660195 79 | 0.007 % |
677.58/678.13 c | 670756 | 30663 1307611 3980579 | 2147483647 661468 79 | 0.007 % |
679.48/680.07 c | 672158 | 30663 1307611 3980579 | 2147483647 662870 79 | 0.007 % |
681.98/682.57 c | 673701 | 30663 1307611 3980579 | 2147483647 664413 79 | 0.007 % |
684.18/684.76 c | 675395 | 30663 1307611 3980579 | 2147483647 666107 79 | 0.007 % |
686.58/687.12 c | 677258 | 30663 1307611 3980579 | 2147483647 667970 79 | 0.007 % |
688.88/689.45 c | 679307 | 30663 1307611 3980579 | 2147483647 670019 78 | 0.007 % |
691.68/692.22 c | 681561 | 30663 1307611 3980579 | 2147483647 672273 78 | 0.007 % |
694.69/695.27 c | 684040 | 30663 1307611 3980579 | 2147483647 674752 78 | 0.007 % |
697.88/698.42 c | 686766 | 30663 1307611 3980579 | 2147483647 677478 78 | 0.007 % |
702.38/702.91 c | 689764 | 30663 1307611 3980579 | 2147483647 680476 78 | 0.007 % |
706.77/707.36 c | 693061 | 30663 1307611 3980579 | 2147483647 683773 78 | 0.007 % |
711.36/711.98 c | 696689 | 30663 1307611 3980579 | 2147483647 687401 77 | 0.007 % |
713.66/714.28 c ===============================================================================
713.66/714.28 c restarts : 1031
713.66/714.28 c conflicts : 696920 (988 /sec)
713.66/714.28 c decisions : 3710469 (0.84 % random) (5262 /sec)
713.66/714.28 c propagations : 510504131 (723999 /sec)
713.66/714.28 c conflict literals : 54203986 (51.90 % deleted)
713.66/714.28 c Memory used : 294.79 MB
713.66/714.28 c CPU time : 705.117 s
713.66/714.28 c
713.66/714.28 s UNSATISFIABLE
713.76/714.32 s UNSATISFIABLE
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1834233-1242828844/watcher-1834233-1242828844 -o /tmp/evaluation-result-1834233-1242828844/solver-1834233-1242828844 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1834233-1242828844.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.01 1.00 1.00 3/64 30082
/proc/meminfo: memFree=1853556/2055920 swapFree=4160960/4192956
[pid=30082] ppid=30080 vsize=5356 CPUtime=0
/proc/30082/stat : 30082 (SatELiteGTI) S 30080 30082 29743 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 310913587 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 256365002834 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/30082/statm: 1339 235 195 169 0 50 0
[pid=30083] ppid=30082 vsize=0 CPUtime=0
/proc/30083/stat : 30083 (SatELiteGTI) R 30082 30082 29743 0 -1 4194372 61 188 0 0 0 0 0 0 19 0 1 0 310913588 0 0 1992294400 0 0 0 0 0 0 0 4096 65538 0 0 0 17 0 0 0
/proc/30083/statm: -- couldn't open statm file --
[startup+0.100402 s]
/proc/loadavg: 1.01 1.00 1.00 3/64 30082
/proc/meminfo: memFree=1853556/2055920 swapFree=4160960/4192956
[pid=30082] ppid=30080 vsize=5356 CPUtime=0
/proc/30082/stat : 30082 (SatELiteGTI) S 30080 30082 29743 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 310913587 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30082/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.201412 s]
/proc/loadavg: 1.01 1.00 1.00 3/64 30082
/proc/meminfo: memFree=1853556/2055920 swapFree=4160960/4192956
[pid=30082] ppid=30080 vsize=5356 CPUtime=0
/proc/30082/stat : 30082 (SatELiteGTI) S 30080 30082 29743 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 310913587 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30082/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301422 s]
/proc/loadavg: 1.01 1.00 1.00 3/64 30082
/proc/meminfo: memFree=1853556/2055920 swapFree=4160960/4192956
[pid=30082] ppid=30080 vsize=5356 CPUtime=0
/proc/30082/stat : 30082 (SatELiteGTI) S 30080 30082 29743 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 310913587 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30082/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701464 s]
/proc/loadavg: 1.01 1.00 1.00 3/64 30082
/proc/meminfo: memFree=1853556/2055920 swapFree=4160960/4192956
[pid=30082] ppid=30080 vsize=5356 CPUtime=0
/proc/30082/stat : 30082 (SatELiteGTI) S 30080 30082 29743 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 310913587 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30082/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50431 s]
/proc/loadavg: 1.01 1.00 1.00 2/66 30087
/proc/meminfo: memFree=1760932/2055920 swapFree=4160960/4192956
[pid=30082] ppid=30080 vsize=5356 CPUtime=0
/proc/30082/stat : 30082 (SatELiteGTI) S 30080 30082 29743 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 310913587 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30082/statm: 1339 237 197 169 0 50 0
[pid=30087] ppid=30082 vsize=108920 CPUtime=1.48
/proc/30087/stat : 30087 (SatELite_releas) R 30082 30082 29743 0 -1 4194304 25965 0 0 0 131 17 0 0 25 0 1 0 310913588 111534080 23246 1992294400 134512640 135223648 4294956128 18446744073709551615 134586748 0 0 4096 3 0 0 0 17 0 0 0
/proc/30087/statm: 27230 23248 76 173 0 27055 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 114276
[startup+8.3114 s]
/proc/loadavg: 1.01 1.00 1.00 2/66 30087
/proc/meminfo: memFree=1760932/2055920 swapFree=4160960/4192956
[pid=30082] ppid=30080 vsize=5356 CPUtime=7.91
/proc/30082/stat : 30082 (SatELiteGTI) S 30080 30082 29743 0 -1 4194304 336 29728 0 0 0 0 759 32 16 0 1 0 310913587 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30082/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 7.91
Current children cumulated vsize (KiB) 5356
[startup+8.41252 s]
/proc/loadavg: 1.01 1.00 1.00 2/66 30087
/proc/meminfo: memFree=1760932/2055920 swapFree=4160960/4192956
[pid=30082] ppid=30080 vsize=5356 CPUtime=7.91
/proc/30082/stat : 30082 (SatELiteGTI) S 30080 30082 29743 0 -1 4194304 336 29728 0 0 0 0 759 32 16 0 1 0 310913587 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30082/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 7.91
Current children cumulated vsize (KiB) 5356
[startup+12.7017 s]
/proc/loadavg: 1.39 1.09 1.03 2/66 30088
/proc/meminfo: memFree=1763564/2055920 swapFree=4160960/4192956
[pid=30082] ppid=30080 vsize=5356 CPUtime=7.91
/proc/30082/stat : 30082 (SatELiteGTI) S 30080 30082 29743 0 -1 4194304 336 29728 0 0 0 0 759 32 16 0 1 0 310913587 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30082/statm: 1339 239 197 169 0 50 0
[pid=30088] ppid=30082 vsize=63508 CPUtime=4.76
/proc/30088/stat : 30088 (minisat_static) R 30082 30082 29743 0 -1 4194304 15409 0 0 0 466 10 0 0 25 0 1 0 310914380 65032192 15395 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/30088/statm: 15877 15395 77 171 0 15704 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 68864
[startup+25.506 s]
/proc/loadavg: 1.74 1.18 1.06 2/66 30088
/proc/meminfo: memFree=1754284/2055920 swapFree=4160960/4192956
[pid=30082] ppid=30080 vsize=5356 CPUtime=7.91
/proc/30082/stat : 30082 (SatELiteGTI) S 30080 30082 29743 0 -1 4194304 336 29728 0 0 0 0 759 32 16 0 1 0 310913587 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30082/statm: 1339 239 197 169 0 50 0
[pid=30088] ppid=30082 vsize=73068 CPUtime=17.53
/proc/30088/stat : 30088 (minisat_static) R 30082 30082 29743 0 -1 4194304 17801 0 0 0 1741 12 0 0 25 0 1 0 310914380 74821632 17787 1992294400 134512640 135215339 4294956240 18446744073709551615 134529069 0 0 4096 3 0 0 0 17 0 0 0
/proc/30088/statm: 18267 17787 77 171 0 18094 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 78424
[startup+51.1016 s]
/proc/loadavg: 1.95 1.27 1.09 2/66 30088
/proc/meminfo: memFree=1742380/2055920 swapFree=4160960/4192956
[pid=30082] ppid=30080 vsize=5356 CPUtime=7.91
/proc/30082/stat : 30082 (SatELiteGTI) S 30080 30082 29743 0 -1 4194304 336 29728 0 0 0 0 759 32 16 0 1 0 310913587 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30082/statm: 1339 239 197 169 0 50 0
[pid=30088] ppid=30082 vsize=85392 CPUtime=43.1
/proc/30088/stat : 30088 (minisat_static) R 30082 30082 29743 0 -1 4194304 20862 0 0 0 4294 16 0 0 25 0 1 0 310914380 87441408 20848 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/30088/statm: 21348 20848 77 171 0 21175 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 90748
[startup+102.302 s]
/proc/loadavg: 2.00 1.40 1.14 2/66 30088
/proc/meminfo: memFree=1724972/2055920 swapFree=4160960/4192956
[pid=30082] ppid=30080 vsize=5356 CPUtime=7.91
/proc/30082/stat : 30082 (SatELiteGTI) S 30080 30082 29743 0 -1 4194304 336 29728 0 0 0 0 759 32 16 0 1 0 310913587 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30082/statm: 1339 239 197 169 0 50 0
[pid=30088] ppid=30082 vsize=103976 CPUtime=94.2
/proc/30088/stat : 30088 (minisat_static) R 30082 30082 29743 0 -1 4194304 25426 0 0 0 9399 21 0 0 25 0 1 0 310914380 106471424 25412 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 0 0 0
/proc/30088/statm: 25994 25412 77 171 0 25821 0
Current children cumulated CPU time (s) 102.11
Current children cumulated vsize (KiB) 109332
[startup+162.301 s]
/proc/loadavg: 1.36 1.32 1.13 2/66 30088
/proc/meminfo: memFree=1693164/2055920 swapFree=4160960/4192956
[pid=30082] ppid=30080 vsize=5356 CPUtime=7.91
/proc/30082/stat : 30082 (SatELiteGTI) S 30080 30082 29743 0 -1 4194304 336 29728 0 0 0 0 759 32 16 0 1 0 310913587 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30082/statm: 1339 239 197 169 0 50 0
[pid=30088] ppid=30082 vsize=136336 CPUtime=154.16
/proc/30088/stat : 30088 (minisat_static) R 30082 30082 29743 0 -1 4194304 33425 0 0 0 15386 30 0 0 25 0 1 0 310914380 139608064 33411 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/30088/statm: 34084 33411 77 171 0 33911 0
Current children cumulated CPU time (s) 162.07
Current children cumulated vsize (KiB) 141692
[startup+222.305 s]
/proc/loadavg: 1.13 1.26 1.12 2/66 30088
/proc/meminfo: memFree=1672044/2055920 swapFree=4160960/4192956
[pid=30082] ppid=30080 vsize=5356 CPUtime=7.91
/proc/30082/stat : 30082 (SatELiteGTI) S 30080 30082 29743 0 -1 4194304 336 29728 0 0 0 0 759 32 16 0 1 0 310913587 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30082/statm: 1339 239 197 169 0 50 0
[pid=30088] ppid=30082 vsize=157404 CPUtime=214.12
/proc/30088/stat : 30088 (minisat_static) R 30082 30082 29743 0 -1 4194304 38670 0 0 0 21378 34 0 0 25 0 1 0 310914380 161181696 38656 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/30088/statm: 39351 38656 77 171 0 39178 0
Current children cumulated CPU time (s) 222.03
Current children cumulated vsize (KiB) 162760
[startup+282.301 s]
/proc/loadavg: 1.05 1.21 1.11 2/66 30088
/proc/meminfo: memFree=1651500/2055920 swapFree=4160960/4192956
[pid=30082] ppid=30080 vsize=5356 CPUtime=7.91
/proc/30082/stat : 30082 (SatELiteGTI) S 30080 30082 29743 0 -1 4194304 336 29728 0 0 0 0 759 32 16 0 1 0 310913587 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30082/statm: 1339 239 197 169 0 50 0
[pid=30088] ppid=30082 vsize=178264 CPUtime=274.07
/proc/30088/stat : 30088 (minisat_static) R 30082 30082 29743 0 -1 4194304 43803 0 0 0 27366 41 0 0 25 0 1 0 310914380 182542336 43789 1992294400 134512640 135215339 4294956240 18446744073709551615 134529051 0 0 4096 3 0 0 0 17 0 0 0
/proc/30088/statm: 44566 43789 77 171 0 44393 0
Current children cumulated CPU time (s) 281.98
Current children cumulated vsize (KiB) 183620
[startup+342.301 s]
/proc/loadavg: 1.02 1.17 1.09 2/66 30088
/proc/meminfo: memFree=1634860/2055920 swapFree=4160960/4192956
[pid=30082] ppid=30080 vsize=5356 CPUtime=7.91
/proc/30082/stat : 30082 (SatELiteGTI) S 30080 30082 29743 0 -1 4194304 336 29728 0 0 0 0 759 32 16 0 1 0 310913587 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30082/statm: 1339 239 197 169 0 50 0
[pid=30088] ppid=30082 vsize=194584 CPUtime=334.06
/proc/30088/stat : 30088 (minisat_static) R 30082 30082 29743 0 -1 4194304 47912 0 0 0 33360 46 0 0 25 0 1 0 310914380 199254016 47898 1992294400 134512640 135215339 4294956240 18446744073709551615 134527302 0 0 4096 3 0 0 0 17 0 0 0
/proc/30088/statm: 48646 47898 77 171 0 48473 0
Current children cumulated CPU time (s) 341.97
Current children cumulated vsize (KiB) 199940
[startup+402.302 s]
/proc/loadavg: 1.00 1.14 1.09 2/66 30088
/proc/meminfo: memFree=1612012/2055920 swapFree=4160960/4192956
[pid=30082] ppid=30080 vsize=5356 CPUtime=7.91
/proc/30082/stat : 30082 (SatELiteGTI) S 30080 30082 29743 0 -1 4194304 336 29728 0 0 0 0 759 32 16 0 1 0 310913587 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30082/statm: 1339 239 197 169 0 50 0
[pid=30088] ppid=30082 vsize=217600 CPUtime=394.02
/proc/30088/stat : 30088 (minisat_static) R 30082 30082 29743 0 -1 4194304 53636 0 0 0 39351 51 0 0 25 0 1 0 310914380 222822400 53622 1992294400 134512640 135215339 4294956240 18446744073709551615 134528802 0 0 4096 3 0 0 0 17 0 0 0
/proc/30088/statm: 54400 53622 77 171 0 54227 0
Current children cumulated CPU time (s) 401.93
Current children cumulated vsize (KiB) 222956
[startup+462.302 s]
/proc/loadavg: 1.00 1.11 1.08 2/66 30088
/proc/meminfo: memFree=1582572/2055920 swapFree=4160960/4192956
[pid=30082] ppid=30080 vsize=5356 CPUtime=7.91
/proc/30082/stat : 30082 (SatELiteGTI) S 30080 30082 29743 0 -1 4194304 336 29728 0 0 0 0 759 32 16 0 1 0 310913587 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30082/statm: 1339 239 197 169 0 50 0
[pid=30088] ppid=30082 vsize=247628 CPUtime=453.99
/proc/30088/stat : 30088 (minisat_static) R 30082 30082 29743 0 -1 4194304 60907 0 0 0 45342 57 0 0 25 0 1 0 310914380 253571072 60893 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/30088/statm: 61907 60893 77 171 0 61734 0
Current children cumulated CPU time (s) 461.9
Current children cumulated vsize (KiB) 252984
[startup+522.302 s]
/proc/loadavg: 1.00 1.09 1.08 2/66 30088
/proc/meminfo: memFree=1572588/2055920 swapFree=4160960/4192956
[pid=30082] ppid=30080 vsize=5356 CPUtime=7.91
/proc/30082/stat : 30082 (SatELiteGTI) S 30080 30082 29743 0 -1 4194304 336 29728 0 0 0 0 759 32 16 0 1 0 310913587 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30082/statm: 1339 239 197 169 0 50 0
[pid=30088] ppid=30082 vsize=257376 CPUtime=513.95
/proc/30088/stat : 30088 (minisat_static) R 30082 30082 29743 0 -1 4194304 63391 0 0 0 51335 60 0 0 25 0 1 0 310914380 263553024 63377 1992294400 134512640 135215339 4294956240 18446744073709551615 134529085 0 0 4096 3 0 0 0 17 0 0 0
/proc/30088/statm: 64344 63377 77 171 0 64171 0
Current children cumulated CPU time (s) 521.86
Current children cumulated vsize (KiB) 262732
[startup+582.301 s]
/proc/loadavg: 1.00 1.07 1.07 2/66 30088
/proc/meminfo: memFree=1551404/2055920 swapFree=4160960/4192956
[pid=30082] ppid=30080 vsize=5356 CPUtime=7.91
/proc/30082/stat : 30082 (SatELiteGTI) S 30080 30082 29743 0 -1 4194304 336 29728 0 0 0 0 759 32 16 0 1 0 310913587 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30082/statm: 1339 239 197 169 0 50 0
[pid=30088] ppid=30082 vsize=278772 CPUtime=573.92
/proc/30088/stat : 30088 (minisat_static) R 30082 30082 29743 0 -1 4194304 68655 0 0 0 57326 66 0 0 25 0 1 0 310914380 285462528 68641 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/30088/statm: 69693 68641 77 171 0 69520 0
Current children cumulated CPU time (s) 581.83
Current children cumulated vsize (KiB) 284128
[startup+642.301 s]
/proc/loadavg: 1.00 1.05 1.06 2/66 30088
/proc/meminfo: memFree=1538668/2055920 swapFree=4160960/4192956
[pid=30082] ppid=30080 vsize=5356 CPUtime=7.91
/proc/30082/stat : 30082 (SatELiteGTI) S 30080 30082 29743 0 -1 4194304 336 29728 0 0 0 0 759 32 16 0 1 0 310913587 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30082/statm: 1339 239 197 169 0 50 0
[pid=30088] ppid=30082 vsize=291392 CPUtime=633.89
/proc/30088/stat : 30088 (minisat_static) R 30082 30082 29743 0 -1 4194304 71837 0 0 0 63319 70 0 0 25 0 1 0 310914380 298385408 71823 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/30088/statm: 72848 71823 77 171 0 72675 0
Current children cumulated CPU time (s) 641.8
Current children cumulated vsize (KiB) 296748
[startup+702.301 s]
/proc/loadavg: 1.00 1.04 1.06 2/66 30088
/proc/meminfo: memFree=1529324/2055920 swapFree=4160960/4192956
[pid=30082] ppid=30080 vsize=5356 CPUtime=7.91
/proc/30082/stat : 30082 (SatELiteGTI) S 30080 30082 29743 0 -1 4194304 336 29728 0 0 0 0 759 32 16 0 1 0 310913587 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30082/statm: 1339 239 197 169 0 50 0
[pid=30088] ppid=30082 vsize=300344 CPUtime=693.87
/proc/30088/stat : 30088 (minisat_static) R 30082 30082 29743 0 -1 4194304 74072 0 0 0 69315 72 0 0 25 0 1 0 310914380 307552256 74058 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/30088/statm: 75086 74058 77 171 0 74913 0
Current children cumulated CPU time (s) 701.78
Current children cumulated vsize (KiB) 305700
Solver just ended. Dumping a history of the last processes samples
[startup+705.302 s]
/proc/loadavg: 1.00 1.04 1.06 2/66 30088
/proc/meminfo: memFree=1529068/2055920 swapFree=4160960/4192956
[pid=30082] ppid=30080 vsize=5356 CPUtime=7.91
/proc/30082/stat : 30082 (SatELiteGTI) S 30080 30082 29743 0 -1 4194304 336 29728 0 0 0 0 759 32 16 0 1 0 310913587 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30082/statm: 1339 239 197 169 0 50 0
[pid=30088] ppid=30082 vsize=300608 CPUtime=696.86
/proc/30088/stat : 30088 (minisat_static) R 30082 30082 29743 0 -1 4194304 74131 0 0 0 69614 72 0 0 25 0 1 0 310914380 307822592 74117 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/30088/statm: 75152 74118 77 171 0 74979 0
Current children cumulated CPU time (s) 704.77
Current children cumulated vsize (KiB) 305964
[startup+708.505 s]
/proc/loadavg: 1.00 1.04 1.06 2/66 30088
/proc/meminfo: memFree=1528684/2055920 swapFree=4160960/4192956
[pid=30082] ppid=30080 vsize=5356 CPUtime=7.91
/proc/30082/stat : 30082 (SatELiteGTI) S 30080 30082 29743 0 -1 4194304 336 29728 0 0 0 0 759 32 16 0 1 0 310913587 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30082/statm: 1339 239 197 169 0 50 0
[pid=30088] ppid=30082 vsize=300872 CPUtime=700.06
/proc/30088/stat : 30088 (minisat_static) R 30082 30082 29743 0 -1 4194304 74228 0 0 0 69934 72 0 0 25 0 1 0 310914380 308092928 74214 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 0 0 0
/proc/30088/statm: 75218 74214 77 171 0 75045 0
Current children cumulated CPU time (s) 707.97
Current children cumulated vsize (KiB) 306228
[startup+711.701 s]
/proc/loadavg: 1.00 1.04 1.06 2/66 30088
/proc/meminfo: memFree=1528364/2055920 swapFree=4160960/4192956
[pid=30082] ppid=30080 vsize=5356 CPUtime=7.91
/proc/30082/stat : 30082 (SatELiteGTI) S 30080 30082 29743 0 -1 4194304 336 29728 0 0 0 0 759 32 16 0 1 0 310913587 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30082/statm: 1339 239 197 169 0 50 0
[pid=30088] ppid=30082 vsize=301268 CPUtime=703.26
/proc/30088/stat : 30088 (minisat_static) R 30082 30082 29743 0 -1 4194304 74309 0 0 0 70254 72 0 0 25 0 1 0 310914380 308498432 74295 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/30088/statm: 75317 74295 77 171 0 75144 0
Current children cumulated CPU time (s) 711.17
Current children cumulated vsize (KiB) 306624
[startup+713.302 s]
/proc/loadavg: 1.00 1.04 1.06 2/66 30088
/proc/meminfo: memFree=1528236/2055920 swapFree=4160960/4192956
[pid=30082] ppid=30080 vsize=5356 CPUtime=7.91
/proc/30082/stat : 30082 (SatELiteGTI) S 30080 30082 29743 0 -1 4194304 336 29728 0 0 0 0 759 32 16 0 1 0 310913587 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30082/statm: 1339 239 197 169 0 50 0
[pid=30088] ppid=30082 vsize=301268 CPUtime=704.85
/proc/30088/stat : 30088 (minisat_static) R 30082 30082 29743 0 -1 4194304 74331 0 0 0 70413 72 0 0 25 0 1 0 310914380 308498432 74317 1992294400 134512640 135215339 4294956240 18446744073709551615 134526326 0 0 4096 3 0 0 0 17 0 0 0
/proc/30088/statm: 75317 74317 77 171 0 75144 0
Current children cumulated CPU time (s) 712.76
Current children cumulated vsize (KiB) 306624
[startup+714.102 s]
/proc/loadavg: 1.00 1.04 1.06 2/66 30088
/proc/meminfo: memFree=1528236/2055920 swapFree=4160960/4192956
[pid=30082] ppid=30080 vsize=5356 CPUtime=7.91
/proc/30082/stat : 30082 (SatELiteGTI) S 30080 30082 29743 0 -1 4194304 336 29728 0 0 0 0 759 32 16 0 1 0 310913587 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30082/statm: 1339 239 197 169 0 50 0
[pid=30088] ppid=30082 vsize=301268 CPUtime=705.65
/proc/30088/stat : 30088 (minisat_static) R 30082 30082 29743 0 -1 4194304 74331 0 0 0 70493 72 0 0 25 0 1 0 310914380 308498432 74317 1992294400 134512640 135215339 4294956240 18446744073709551615 134526243 0 0 4096 3 0 0 0 17 0 0 0
/proc/30088/statm: 75317 74317 77 171 0 75144 0
Current children cumulated CPU time (s) 713.56
Current children cumulated vsize (KiB) 306624
[startup+714.302 s]
/proc/loadavg: 1.00 1.04 1.06 2/66 30088
/proc/meminfo: memFree=1528236/2055920 swapFree=4160960/4192956
[pid=30082] ppid=30080 vsize=5356 CPUtime=7.91
/proc/30082/stat : 30082 (SatELiteGTI) S 30080 30082 29743 0 -1 4194304 336 29728 0 0 0 0 759 32 16 0 1 0 310913587 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/30082/statm: 1339 239 197 169 0 50 0
[pid=30088] ppid=30082 vsize=0 CPUtime=705.85
/proc/30088/stat : 30088 (minisat_static) R 30082 30082 29743 0 -1 4194308 74453 0 0 0 70511 74 0 0 25 0 1 0 310914380 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 0 0 0
/proc/30088/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 713.76
Current children cumulated vsize (KiB) 5356
Child status: 20
Real time (s): 714.345
CPU time (s): 713.823
CPU user time (s): 712.711
CPU system time (s): 1.11283
CPU usage (%): 99.9269
Max. virtual memory (cumulated for all children) (KiB): 306624
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 712.711
system time used= 1.11283
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 104672
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= 45
involuntary context switches= 4188
runsolver used 1.22081 second user time and 3.11453 second system time
The end
Begin job on node90 at 2009-05-20 16:14:05
IDJOB=1834233
IDBENCH=71777
IDSOLVER=671
FILE ID=node90/1834233-1242828844
PBS_JOBID= 9322474
Free space on /tmp= 66224 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= BIN/runsolver --timestamp -w /tmp/evaluation-result-1834233-1242828844/watcher-1834233-1242828844 -o /tmp/evaluation-result-1834233-1242828844/solver-1834233-1242828844 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1834233-1242828844.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 0767e5dbf6844720495e9eb5423112e1
RANDOM SEED=1497214799
node90.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.238
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.238
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1853972 kB
Buffers: 21032 kB
Cached: 123352 kB
SwapCached: 26432 kB
Active: 72616 kB
Inactive: 100364 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1853972 kB
SwapTotal: 4192956 kB
SwapFree: 4160960 kB
Dirty: 25720 kB
Writeback: 0 kB
Mapped: 15940 kB
Slab: 14908 kB
Committed_AS: 913004 kB
PageTables: 1436 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66220 MiB
End job on node90 at 2009-05-20 16:26:00