0.00/0.00 c Parsing...
0.05/0.08 c ==============================================================================
0.05/0.08 c | | ORIGINAL | LEARNT | |
0.05/0.08 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.05/0.08 c ==============================================================================
0.05/0.08 c | 0 | 128735 383430 | 38620 0 0 nan | 0.000 % |
1.21/1.24 c | 0 | 127840 554049 | -- 0 -- -- | -- | -895/170619
1.21/1.24 c ==============================================================================
1.21/1.24 c Result : #vars: 1205 #clauses: 127840 #literals: 554049
1.21/1.24 c CPU time: 1.23 s
1.21/1.24 c ==============================================================================
0.00/1.41 c This is MiniSat 2.0 beta
0.00/1.41 c WARNING: for repeatability, setting FPU to use double precision
0.00/1.41 c ============================[ Problem Statistics ]=============================
0.00/1.41 c | |
0.00/1.41 c | Number of variables: 1205 |
0.00/1.41 c | Number of clauses: 127840 |
0.00/1.49 c | Parsing time: 0.06 s |
0.00/1.49 c ============================[ Search Statistics ]==============================
0.00/1.49 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.00/1.49 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.00/1.49 c ===============================================================================
0.00/1.49 c | 0 | 1205 127840 554049 | 42613 0 nan | 0.000 % |
1.41/1.54 c | 100 | 1205 127840 554049 | 42613 100 47 | 0.000 % |
1.41/1.58 c | 202 | 1205 127840 554049 | 42613 202 61 | 0.000 % |
1.41/1.63 c | 302 | 1205 127840 554049 | 42613 302 63 | 0.000 % |
1.41/1.67 c | 412 | 1205 127840 554049 | 42613 412 66 | 0.000 % |
1.41/1.71 c | 514 | 1205 127840 554049 | 42613 514 69 | 0.000 % |
1.41/1.75 c | 625 | 1205 127840 554049 | 42613 625 70 | 0.000 % |
1.41/1.81 c | 748 | 1205 127840 554049 | 42613 748 74 | 0.000 % |
1.41/1.86 c | 852 | 1205 127840 554049 | 42613 852 77 | 0.000 % |
1.41/1.90 c | 964 | 1205 127840 554049 | 42613 964 80 | 0.000 % |
1.41/1.97 c | 1086 | 1205 127840 554049 | 42613 1086 82 | 0.000 % |
1.41/2.02 c | 1221 | 1205 127840 554049 | 42613 1221 84 | 0.000 % |
1.41/2.06 c | 1323 | 1205 127840 554049 | 42613 1323 85 | 0.000 % |
1.41/2.08 c | 1433 | 1205 127840 554049 | 42613 1433 86 | 0.000 % |
2.11/2.13 c | 1556 | 1205 127840 554049 | 42613 1556 86 | 0.000 % |
2.11/2.17 c | 1689 | 1205 127840 554049 | 42613 1689 88 | 0.000 % |
2.11/2.20 c | 1835 | 1205 127840 554049 | 42613 1835 89 | 0.000 % |
2.22/2.24 c | 1935 | 1205 127840 554049 | 42613 1935 89 | 0.000 % |
2.22/2.28 c | 2045 | 1205 127840 554049 | 42613 2045 90 | 0.000 % |
2.31/2.34 c | 2167 | 1205 127840 554049 | 42613 2167 90 | 0.000 % |
2.31/2.39 c | 2300 | 1205 127840 554049 | 42613 2300 90 | 0.000 % |
2.41/2.44 c | 2446 | 1205 127840 554049 | 42613 2446 91 | 0.000 % |
2.41/2.47 c | 2609 | 1205 127840 554049 | 42613 2609 91 | 0.000 % |
2.41/2.50 c | 2709 | 1205 127840 554049 | 42613 2709 91 | 0.000 % |
2.51/2.55 c | 2820 | 1205 127840 554049 | 42613 2820 91 | 0.000 % |
2.51/2.59 c | 2941 | 1205 127840 554049 | 42613 2941 91 | 0.000 % |
2.61/2.64 c | 3075 | 1205 127840 554049 | 42613 3075 91 | 0.000 % |
2.61/2.70 c | 3221 | 1205 127840 554049 | 42613 3221 92 | 0.000 % |
2.70/2.75 c | 3383 | 1205 127840 554049 | 42613 3383 92 | 0.000 % |
2.80/2.82 c | 3560 | 1205 127840 554049 | 42613 3560 93 | 0.000 % |
2.80/2.86 c | 3662 | 1205 127840 554049 | 42613 3662 93 | 0.000 % |
2.90/2.91 c | 3773 | 1205 127840 554049 | 42613 3773 93 | 0.000 % |
2.90/2.95 c | 3894 | 1205 127840 554049 | 42613 3894 93 | 0.000 % |
3.00/3.01 c | 4028 | 1205 127840 554049 | 42613 4028 93 | 0.000 % |
3.00/3.07 c | 4174 | 1205 127840 554049 | 42613 4174 93 | 0.000 % |
3.10/3.13 c | 4334 | 1205 127840 554049 | 42613 4334 94 | 0.000 % |
3.10/3.19 c | 4511 | 1205 127840 554049 | 42613 4511 94 | 0.000 % |
3.31/3.33 c | 4704 | 1205 127840 554049 | 42613 4704 94 | 0.000 % |
3.31/3.40 c | 4805 | 1205 127840 554049 | 42613 4805 94 | 0.000 % |
3.40/3.46 c | 4915 | 1205 127840 554049 | 42613 4915 94 | 0.000 % |
3.50/3.56 c | 5036 | 1205 127840 554049 | 42613 5036 94 | 0.000 % |
3.60/3.65 c | 5170 | 1205 127840 554049 | 42613 5170 94 | 0.000 % |
3.70/3.74 c | 5316 | 1205 127840 554049 | 42613 5316 94 | 0.000 % |
3.80/3.84 c | 5476 | 1205 127840 554049 | 42613 5476 94 | 0.000 % |
3.90/3.96 c | 5654 | 1205 127840 554049 | 42613 5654 94 | 0.000 % |
4.00/4.07 c | 5847 | 1205 127840 554049 | 42613 5847 94 | 0.000 % |
4.10/4.20 c | 6060 | 1205 127840 554049 | 42613 6060 95 | 0.000 % |
4.20/4.26 c | 6160 | 1205 127840 554049 | 42613 6160 95 | 0.000 % |
4.30/4.32 c | 6270 | 1205 127840 554049 | 42613 6270 95 | 0.000 % |
4.30/4.37 c | 6391 | 1205 127840 554049 | 42613 6391 95 | 0.000 % |
4.41/4.44 c | 6524 | 1205 127840 554049 | 42613 6524 95 | 0.000 % |
4.50/4.53 c | 6671 | 1205 127840 554049 | 42613 6671 95 | 0.000 % |
4.60/4.63 c | 6833 | 1205 127840 554049 | 42613 6833 95 | 0.000 % |
4.70/4.73 c | 7010 | 1205 127840 554049 | 42613 7010 95 | 0.000 % |
4.80/4.84 c | 7204 | 1205 127840 554049 | 42613 7204 95 | 0.000 % |
4.90/4.96 c | 7417 | 1205 127840 554049 | 42613 7417 95 | 0.000 % |
5.00/5.08 c | 7652 | 1205 127840 554049 | 42613 7652 95 | 0.000 % |
5.10/5.16 c | 7752 | 1205 127840 554049 | 42613 7752 95 | 0.000 % |
5.20/5.22 c | 7862 | 1205 127840 554049 | 42613 7862 95 | 0.000 % |
5.20/5.29 c | 7983 | 1205 127840 554049 | 42613 7983 95 | 0.000 % |
5.30/5.36 c | 8117 | 1205 127840 554049 | 42613 8117 95 | 0.000 % |
5.40/5.45 c | 8264 | 1205 127840 554049 | 42613 8264 95 | 0.000 % |
5.51/5.55 c | 8424 | 1205 127840 554049 | 42613 8424 95 | 0.000 % |
5.60/5.65 c | 8603 | 1205 127840 554049 | 42613 8603 95 | 0.000 % |
5.70/5.77 c | 8798 | 1205 127840 554049 | 42613 8798 95 | 0.000 % |
5.80/5.86 c | 9012 | 1205 127840 554049 | 42613 9012 94 | 0.000 % |
5.90/5.98 c | 9245 | 1205 127840 554049 | 42613 9245 94 | 0.000 % |
6.10/6.13 c | 9501 | 1205 127840 554049 | 42613 9501 94 | 0.000 % |
6.20/6.23 c | 9602 | 1205 127840 554049 | 42613 9602 94 | 0.000 % |
6.30/6.33 c | 9713 | 1205 127840 554049 | 42613 9713 94 | 0.000 % |
6.40/6.42 c | 9836 | 1205 127840 554049 | 42613 9836 94 | 0.000 % |
6.40/6.50 c | 9971 | 1205 127840 554049 | 42613 9971 94 | 0.000 % |
6.61/6.62 c | 10119 | 1205 127840 554049 | 2147483647 10119 94 | 0.000 % |
6.70/6.73 c | 10280 | 1205 127840 554049 | 2147483647 10280 94 | 0.000 % |
6.80/6.87 c | 10458 | 1205 127840 554049 | 2147483647 10458 94 | 0.000 % |
7.00/7.05 c | 10652 | 1205 127840 554049 | 2147483647 10652 94 | 0.000 % |
7.10/7.20 c | 10864 | 1205 127840 554049 | 2147483647 10864 94 | 0.000 % |
7.30/7.38 c | 11098 | 1205 127840 554049 | 2147483647 11098 94 | 0.000 % |
7.50/7.57 c | 11355 | 1205 127840 554049 | 2147483647 11355 93 | 0.000 % |
7.71/7.76 c | 11638 | 1205 127840 554049 | 2147483647 11638 93 | 0.000 % |
7.80/7.82 c | 11738 | 1205 127840 554049 | 2147483647 11738 93 | 0.000 % |
7.80/7.88 c | 11848 | 1205 127840 554049 | 2147483647 11848 93 | 0.000 % |
7.90/8.00 c | 11970 | 1205 127840 554049 | 2147483647 11970 93 | 0.000 % |
8.00/8.08 c | 12104 | 1205 127840 554049 | 2147483647 12104 93 | 0.000 % |
8.10/8.18 c | 12250 | 1205 127840 554049 | 2147483647 12250 93 | 0.000 % |
8.20/8.29 c | 12410 | 1205 127840 554049 | 2147483647 12410 93 | 0.000 % |
8.30/8.39 c | 12587 | 1205 127840 554049 | 2147483647 12587 93 | 0.000 % |
8.50/8.56 c | 12781 | 1205 127840 554049 | 2147483647 12781 93 | 0.000 % |
8.70/8.72 c | 12995 | 1205 127840 554049 | 2147483647 12995 93 | 0.000 % |
8.90/8.92 c | 13228 | 1205 127840 554049 | 2147483647 13228 93 | 0.000 % |
9.10/9.13 c | 13484 | 1205 127840 554049 | 2147483647 13484 93 | 0.000 % |
9.20/9.28 c | 13767 | 1205 127840 554049 | 2147483647 13767 93 | 0.000 % |
9.40/9.49 c | 14078 | 1205 127840 554049 | 2147483647 14078 93 | 0.000 % |
9.50/9.56 c | 14182 | 1205 127840 554049 | 2147483647 14182 93 | 0.000 % |
9.60/9.64 c | 14294 | 1205 127840 554049 | 2147483647 14294 93 | 0.000 % |
9.70/9.72 c | 14415 | 1205 127840 554049 | 2147483647 14415 93 | 0.000 % |
9.80/9.81 c | 14548 | 1205 127840 554049 | 2147483647 14548 93 | 0.000 % |
9.80/9.91 c | 14694 | 1205 127840 554049 | 2147483647 14694 93 | 0.000 % |
10.00/10.04 c | 14855 | 1205 127840 554049 | 2147483647 14855 93 | 0.000 % |
10.10/10.17 c | 15031 | 1205 127840 554049 | 2147483647 15031 93 | 0.000 % |
10.30/10.32 c | 15224 | 1205 127840 554049 | 2147483647 15224 93 | 0.000 % |
10.40/10.47 c | 15436 | 1205 127840 554049 | 2147483647 15436 93 | 0.000 % |
10.60/10.69 c | 15669 | 1205 127840 554049 | 2147483647 15669 93 | 0.000 % |
10.80/10.85 c | 15926 | 1205 127840 554049 | 2147483647 15926 93 | 0.000 % |
11.01/11.08 c | 16207 | 1205 127840 554049 | 2147483647 16207 93 | 0.000 % |
11.20/11.30 c | 16519 | 1205 127840 554049 | 2147483647 16519 93 | 0.000 % |
11.50/11.59 c | 16859 | 1205 127840 554049 | 2147483647 16859 93 | 0.000 % |
11.60/11.68 c | 16961 | 1205 127840 554049 | 2147483647 16961 93 | 0.000 % |
11.70/11.74 c | 17074 | 1205 127840 554049 | 2147483647 17074 93 | 0.000 % |
11.80/11.87 c | 17195 | 1205 127840 554049 | 2147483647 17195 93 | 0.000 % |
11.90/11.98 c | 17328 | 1205 127840 554049 | 2147483647 17328 93 | 0.000 % |
12.00/12.10 c | 17474 | 1205 127840 554049 | 2147483647 17474 93 | 0.000 % |
12.20/12.23 c | 17634 | 1205 127840 554049 | 2147483647 17634 93 | 0.000 % |
12.30/12.39 c | 17811 | 1205 127840 554049 | 2147483647 17811 93 | 0.000 % |
12.50/12.59 c | 18004 | 1205 127840 554049 | 2147483647 18004 92 | 0.000 % |
12.70/12.78 c | 18217 | 1205 127840 554049 | 2147483647 18217 92 | 0.000 % |
12.90/12.96 c | 18453 | 1205 127840 554049 | 2147483647 18453 92 | 0.000 % |
13.10/13.20 c | 18710 | 1205 127840 554049 | 2147483647 18710 92 | 0.000 % |
13.30/13.40 c | 18991 | 1205 127840 554049 | 2147483647 18991 92 | 0.000 % |
13.60/13.67 c | 19300 | 1205 127840 554049 | 2147483647 19300 92 | 0.000 % |
13.90/13.98 c | 19639 | 1205 127840 554049 | 2147483647 19639 92 | 0.000 % |
14.31/14.32 c | 20011 | 1205 127840 554049 | 2147483647 20011 92 | 0.000 % |
14.40/14.43 c | 20114 | 1205 127840 554049 | 2147483647 20114 92 | 0.000 % |
14.50/14.52 c | 20224 | 1205 127840 554049 | 2147483647 20224 92 | 0.000 % |
14.60/14.63 c | 20348 | 1205 127840 554049 | 2147483647 20348 92 | 0.000 % |
14.70/14.75 c | 20482 | 1205 127840 554049 | 2147483647 20482 92 | 0.000 % |
14.90/14.92 c | 20630 | 1205 127840 554049 | 2147483647 20630 92 | 0.000 % |
15.00/15.04 c | 20792 | 1205 127840 554049 | 2147483647 20792 92 | 0.000 % |
15.10/15.15 c | 20968 | 1205 127840 554049 | 2147483647 20968 92 | 0.000 % |
15.30/15.31 c | 21163 | 1205 127840 554049 | 2147483647 21163 92 | 0.000 % |
15.41/15.46 c | 21375 | 1205 127840 554049 | 2147483647 21375 92 | 0.000 % |
15.60/15.66 c | 21610 | 1205 127840 554049 | 2147483647 21610 92 | 0.000 % |
15.90/16.00 c | 21867 | 1205 127840 554049 | 2147483647 21867 92 | 0.000 % |
16.30/16.35 c | 22148 | 1205 127840 554049 | 2147483647 22148 92 | 0.000 % |
16.70/16.73 c | 22458 | 1205 127840 554049 | 2147483647 22458 91 | 0.000 % |
17.10/17.20 c | 22797 | 1205 127840 554049 | 2147483647 22797 91 | 0.000 % |
17.61/17.62 c | 23169 | 1205 127840 554049 | 2147483647 23169 91 | 0.000 % |
17.90/18.00 c | 23578 | 1205 127840 554049 | 2147483647 23578 91 | 0.000 % |
18.00/18.09 c | 23678 | 1205 127840 554049 | 2147483647 23678 91 | 0.000 % |
18.30/18.36 c | 23790 | 1205 127840 554049 | 2147483647 23790 91 | 0.000 % |
18.40/18.46 c | 23913 | 1205 127840 554049 | 2147483647 23913 91 | 0.000 % |
18.71/18.73 c | 24047 | 1205 127840 554049 | 2147483647 24047 91 | 0.000 % |
18.80/18.85 c | 24193 | 1205 127840 554049 | 2147483647 24193 91 | 0.000 % |
19.20/19.26 c | 24354 | 1205 127840 554049 | 2147483647 24354 91 | 0.000 % |
19.40/19.49 c | 24531 | 1205 127840 554049 | 2147483647 24531 91 | 0.000 % |
19.60/19.69 c | 24724 | 1205 127840 554049 | 2147483647 24724 90 | 0.000 % |
20.00/20.09 c | 24938 | 1205 127840 554049 | 2147483647 24938 90 | 0.000 % |
20.50/20.58 c | 25172 | 1205 127840 554049 | 2147483647 25172 90 | 0.000 % |
20.70/20.81 c | 25429 | 1205 127840 554049 | 2147483647 25429 90 | 0.000 % |
21.20/21.23 c | 25710 | 1205 127840 554049 | 2147483647 25710 90 | 0.000 % |
21.40/21.48 c | 26021 | 1205 127840 554049 | 2147483647 26021 89 | 0.000 % |
21.60/21.66 c | 26360 | 1205 127840 554049 | 2147483647 26360 89 | 0.000 % |
22.20/22.28 c | 26734 | 1205 127840 554049 | 2147483647 26734 89 | 0.000 % |
22.60/22.68 c | 27143 | 1205 127840 554049 | 2147483647 27143 89 | 0.000 % |
23.50/23.57 c | 27597 | 1205 127840 554049 | 2147483647 27597 89 | 0.000 % |
23.70/23.72 c | 27698 | 1205 127840 554049 | 2147483647 27698 89 | 0.000 % |
23.80/23.88 c | 27809 | 1205 127840 554049 | 2147483647 27809 89 | 0.000 % |
24.00/24.02 c | 27933 | 1205 127840 554049 | 2147483647 27933 89 | 0.000 % |
24.10/24.18 c | 28068 | 1205 127840 554049 | 2147483647 28068 89 | 0.000 % |
24.30/24.35 c | 28215 | 1205 127840 554049 | 2147483647 28215 88 | 0.000 % |
24.40/24.50 c | 28375 | 1205 127840 554049 | 2147483647 28375 88 | 0.000 % |
24.50/24.60 c | 28551 | 1205 127840 554049 | 2147483647 28551 88 | 0.000 % |
24.90/24.99 c | 28744 | 1205 127840 554049 | 2147483647 28744 88 | 0.000 % |
25.20/25.22 c | 28957 | 1205 127840 554049 | 2147483647 28957 88 | 0.000 % |
25.40/25.44 c | 29190 | 1205 127840 554049 | 2147483647 29190 88 | 0.000 % |
25.50/25.57 c | 29446 | 1205 127840 554049 | 2147483647 29446 88 | 0.000 % |
26.10/26.18 c | 29727 | 1205 127840 554049 | 2147483647 29727 88 | 0.000 % |
26.50/26.51 c | 30037 | 1205 127840 554049 | 2147483647 30037 88 | 0.000 % |
27.30/27.37 c | 30376 | 1205 127840 554049 | 2147483647 30376 88 | 0.000 % |
28.10/28.13 c | 30749 | 1205 127840 554049 | 2147483647 30749 87 | 0.000 % |
28.70/28.77 c | 31160 | 1205 127840 554049 | 2147483647 31160 87 | 0.001 % |
29.10/29.20 c | 31609 | 1205 127840 554049 | 2147483647 31609 87 | 0.000 % |
29.30/29.37 c | 32105 | 1205 127840 554049 | 2147483647 32105 87 | 0.000 % |
29.60/29.64 c | 32205 | 1205 127840 554049 | 2147483647 32205 87 | 0.000 % |
29.80/29.87 c | 32315 | 1205 127840 554049 | 2147483647 32315 87 | 0.000 % |
30.00/30.04 c | 32436 | 1205 127840 554049 | 2147483647 32436 87 | 0.000 % |
30.10/30.14 c | 32572 | 1205 127840 554049 | 2147483647 32572 87 | 0.000 % |
30.20/30.25 c | 32718 | 1205 127840 554049 | 2147483647 32718 87 | 0.000 % |
30.60/30.70 c | 32878 | 1205 127840 554049 | 2147483647 32878 87 | 0.000 % |
30.81/30.83 c | 33054 | 1205 127840 554049 | 2147483647 33054 87 | 0.000 % |
31.20/31.26 c | 33247 | 1205 127840 554049 | 2147483647 33247 87 | 0.000 % |
31.50/31.60 c | 33459 | 1205 127840 554049 | 2147483647 33459 87 | 0.000 % |
32.00/32.03 c | 33698 | 1205 127840 554049 | 2147483647 33698 87 | 0.000 % |
32.40/32.45 c | 33956 | 1205 127840 554049 | 2147483647 33956 87 | 0.000 % |
32.60/32.70 c | 34238 | 1205 127840 554049 | 2147483647 34238 87 | 0.000 % |
33.10/33.15 c | 34547 | 1205 127840 554049 | 2147483647 34547 87 | 0.000 % |
33.60/33.64 c | 34887 | 1205 127840 554049 | 2147483647 34887 87 | 0.000 % |
33.90/33.92 c | 35259 | 1205 127840 554049 | 2147483647 35259 87 | 0.000 % |
34.20/34.24 c | 35669 | 1205 127840 554049 | 2147483647 35669 87 | 0.000 % |
34.60/34.61 c | 36118 | 1205 127840 554049 | 2147483647 36118 87 | 0.000 % |
35.00/35.01 c | 36611 | 1205 127840 554049 | 2147483647 36611 87 | 0.000 % |
35.70/35.74 c | 37155 | 1205 127840 554049 | 2147483647 37155 87 | 0.000 % |
35.80/35.89 c | 37255 | 1205 127840 554049 | 2147483647 37255 87 | 0.000 % |
36.00/36.02 c | 37366 | 1205 127840 554049 | 2147483647 37366 87 | 0.000 % |
36.20/36.22 c | 37487 | 1205 127840 554049 | 2147483647 37487 87 | 0.000 % |
36.31/36.32 c | 37620 | 1205 127840 554049 | 2147483647 37620 87 | 0.000 % |
36.50/36.54 c | 37766 | 1205 127840 554049 | 2147483647 37766 87 | 0.000 % |
36.70/36.78 c | 37927 | 1205 127840 554049 | 2147483647 37927 87 | 0.000 % |
36.90/37.00 c | 38103 | 1205 127840 554049 | 2147483647 38103 87 | 0.000 % |
37.10/37.17 c | 38296 | 1205 127840 554049 | 2147483647 38296 87 | 0.000 % |
37.41/37.43 c | 38508 | 1205 127840 554049 | 2147483647 38508 87 | 0.000 % |
37.80/37.84 c | 38743 | 1205 127840 554049 | 2147483647 38743 87 | 0.000 % |
38.10/38.16 c | 39000 | 1205 127840 554049 | 2147483647 39000 87 | 0.000 % |
38.41/38.46 c | 39283 | 1205 127840 554049 | 2147483647 39283 87 | 0.000 % |
38.81/38.85 c | 39594 | 1205 127840 554049 | 2147483647 39594 87 | 0.000 % |
39.11/39.16 c | 39934 | 1205 127840 554049 | 2147483647 39934 87 | 0.000 % |
39.51/39.61 c | 40308 | 1205 127840 554049 | 2147483647 40308 87 | 0.000 % |
40.01/40.04 c | 40718 | 1205 127840 554049 | 2147483647 40718 87 | 0.000 % |
40.41/40.46 c | 41172 | 1205 127840 554049 | 2147483647 41172 86 | 0.000 % |
40.81/40.82 c | 41668 | 1205 127840 554049 | 2147483647 41668 86 | 0.000 % |
41.31/41.36 c | 42210 | 1205 127840 554049 | 2147483647 42210 86 | 0.000 % |
42.01/42.02 c | 42809 | 1205 127840 554049 | 2147483647 42809 85 | 0.000 % |
42.21/42.23 c | 42909 | 1205 127840 554049 | 2147483647 42909 85 | 0.000 % |
42.31/42.37 c | 43019 | 1205 127840 554049 | 2147483647 43019 85 | 0.000 % |
42.61/42.71 c | 43141 | 1205 127840 554049 | 2147483647 43141 85 | 0.000 % |
43.01/43.01 c | 43278 | 1205 127840 554049 | 2147483647 43278 85 | 0.000 % |
43.21/43.22 c | 43425 | 1205 127840 554049 | 2147483647 43425 85 | 0.000 % |
43.31/43.39 c | 43586 | 1205 127840 554049 | 2147483647 43586 85 | 0.000 % |
43.61/43.70 c | 43762 | 1205 127840 554049 | 2147483647 43762 85 | 0.000 % |
44.01/44.07 c | 43957 | 1205 127840 554049 | 2147483647 43957 85 | 0.000 % |
44.31/44.35 c | 44169 | 1205 127840 554049 | 2147483647 44169 85 | 0.000 % |
44.71/44.80 c | 44402 | 1205 127840 554049 | 2147483647 44402 85 | 0.000 % |
45.01/45.10 c | 44659 | 1205 127840 554049 | 2147483647 44659 85 | 0.000 % |
45.41/45.42 c | 44940 | 1205 127840 554049 | 2147483647 44940 85 | 0.000 % |
46.11/46.20 c | 45251 | 1205 127840 554049 | 2147483647 45251 85 | 0.000 % |
46.91/46.91 c | 45590 | 1205 127840 554049 | 2147483647 45590 85 | 0.000 % |
47.21/47.26 c | 45963 | 1205 127840 554049 | 2147483647 45963 85 | 0.000 % |
48.01/48.03 c | 46376 | 1205 127840 554049 | 2147483647 46376 85 | 0.000 % |
48.71/48.77 c | 46825 | 1205 127840 554049 | 2147483647 46825 85 | 0.000 % |
49.31/49.32 c | 47318 | 1205 127840 554049 | 2147483647 47318 85 | 0.000 % |
50.31/50.39 c | 47860 | 1205 127840 554049 | 2147483647 47860 85 | 0.000 % |
51.31/51.35 c | 48456 | 1205 127840 554049 | 2147483647 48456 85 | 0.000 % |
52.11/52.13 c | 49111 | 1205 127840 554049 | 2147483647 49111 85 | 0.000 % |
52.31/52.39 c | 49215 | 1205 127840 554049 | 2147483647 49215 85 | 0.000 % |
52.61/52.62 c | 49327 | 1205 127840 554049 | 2147483647 49327 85 | 0.000 % |
52.71/52.80 c | 49451 | 1205 127840 554049 | 2147483647 49451 84 | 0.000 % |
52.91/52.99 c | 49586 | 1205 127840 554049 | 2147483647 49586 84 | 0.000 % |
53.21/53.28 c | 49734 | 1205 127840 554049 | 2147483647 49734 84 | 0.000 % |
53.41/53.48 c | 49894 | 1205 127840 554049 | 2147483647 49894 84 | 0.000 % |
53.91/53.99 c | 50071 | 1205 127840 554049 | 2147483647 50071 84 | 0.000 % |
54.21/54.30 c | 50265 | 1205 127840 554049 | 2147483647 50265 84 | 0.000 % |
54.51/54.59 c | 50478 | 1205 127840 554049 | 2147483647 50478 84 | 0.000 % |
54.81/54.88 c | 50712 | 1205 127840 554049 | 2147483647 50712 84 | 0.000 % |
55.21/55.28 c | 50968 | 1205 127840 554049 | 2147483647 50968 84 | 0.000 % |
55.41/55.47 c | 51250 | 1205 127840 554049 | 2147483647 51250 84 | 0.000 % |
55.51/55.60 c | 51560 | 1205 127840 554049 | 2147483647 51560 84 | 0.000 % |
55.81/55.87 c | 51901 | 1205 127840 554049 | 2147483647 51901 84 | 0.000 % |
56.41/56.49 c | 52273 | 1205 127840 554049 | 2147483647 52273 84 | 0.000 % |
57.01/57.03 c | 52684 | 1205 127840 554049 | 2147483647 52684 84 | 0.000 % |
57.31/57.37 c | 53133 | 1205 127840 554049 | 2147483647 53133 84 | 0.000 % |
57.81/57.87 c | 53627 | 1205 127840 554049 | 2147483647 53627 84 | 0.000 % |
58.21/58.23 c | 54171 | 1205 127840 554049 | 2147483647 54171 83 | 0.000 % |
58.71/58.74 c | 54770 | 1205 127840 554049 | 2147483647 54770 83 | 0.000 % |
59.41/59.41 c | 55428 | 1205 127840 554049 | 2147483647 55428 83 | 0.000 % |
60.11/60.12 c | 56149 | 1205 127840 554049 | 2147483647 56149 83 | 0.001 % |
60.41/60.46 c | 56250 | 1205 127840 554049 | 2147483647 56250 83 | 0.000 % |
60.71/60.73 c | 56360 | 1205 127840 554049 | 2147483647 56360 83 | 0.000 % |
60.91/61.00 c | 56483 | 1205 127840 554049 | 2147483647 56483 83 | 0.000 % |
61.21/61.23 c | 56617 | 1205 127840 554049 | 2147483647 56617 83 | 0.000 % |
61.51/61.53 c | 56765 | 1205 127840 554049 | 2147483647 56765 83 | 0.000 % |
61.81/61.85 c | 56926 | 1205 127840 554049 | 2147483647 56926 83 | 0.000 % |
62.11/62.18 c | 57102 | 1205 127840 554049 | 2147483647 57102 82 | 0.001 % |
62.51/62.54 c | 57296 | 1205 127840 554049 | 2147483647 57296 82 | 0.000 % |
62.91/62.97 c | 57509 | 1205 127840 554049 | 2147483647 57509 82 | 0.000 % |
63.31/63.37 c | 57742 | 1205 127840 554049 | 2147483647 57742 82 | 0.000 % |
63.71/63.79 c | 57999 | 1205 127840 554049 | 2147483647 57999 82 | 0.000 % |
64.31/64.38 c | 58283 | 1205 127840 554049 | 2147483647 58283 82 | 0.000 % |
65.31/65.33 c | 58592 | 1205 127840 554049 | 2147483647 58592 82 | 0.000 % |
65.91/66.00 c | 58932 | 1205 127840 554049 | 2147483647 58932 82 | 0.000 % |
66.51/66.54 c | 59307 | 1205 127840 554049 | 2147483647 59307 82 | 0.000 % |
67.31/67.33 c | 59717 | 1205 127840 554049 | 2147483647 59717 81 | 0.000 % |
68.01/68.05 c | 60166 | 1205 127840 554049 | 2147483647 60166 81 | 0.000 % |
68.81/68.85 c | 60660 | 1205 127840 554049 | 2147483647 60660 81 | 0.000 % |
69.71/69.76 c | 61207 | 1205 127840 554049 | 2147483647 61207 80 | 0.000 % |
70.91/70.98 c | 61803 | 1205 127840 554049 | 2147483647 61803 80 | 0.000 % |
72.11/72.18 c | 62459 | 1205 127840 554049 | 2147483647 62459 79 | 0.000 % |
73.11/73.16 c | 63181 | 1205 127840 554049 | 2147483647 63181 79 | 0.000 % |
74.21/74.23 c | 63976 | 1205 127840 554049 | 2147483647 63976 79 | 0.000 % |
74.41/74.45 c | 64077 | 1205 127840 554049 | 2147483647 64077 78 | 0.000 % |
74.61/74.67 c | 64190 | 1205 127840 554049 | 2147483647 64190 78 | 0.000 % |
74.81/74.90 c | 64311 | 1205 127840 554049 | 2147483647 64311 78 | 0.000 % |
75.11/75.15 c | 64444 | 1205 127840 554049 | 2147483647 64444 78 | 0.000 % |
75.31/75.32 c | 64592 | 1205 127840 554049 | 2147483647 64592 78 | 0.000 % |
75.71/75.75 c | 64753 | 1205 127840 554049 | 2147483647 64753 78 | 0.000 % |
76.01/76.02 c | 64930 | 1205 127840 554049 | 2147483647 64930 79 | 0.000 % |
76.21/76.28 c | 65123 | 1205 127840 554049 | 2147483647 65123 79 | 0.000 % |
76.51/76.55 c | 65335 | 1205 127840 554049 | 2147483647 65335 79 | 0.000 % |
76.91/76.96 c | 65568 | 1205 127840 554049 | 2147483647 65568 79 | 0.000 % |
77.51/77.52 c | 65825 | 1205 127840 554049 | 2147483647 65825 79 | 0.000 % |
78.21/78.24 c | 66108 | 1205 127840 554049 | 2147483647 66108 79 | 0.000 % |
78.71/78.77 c | 66419 | 1205 127840 554049 | 2147483647 66419 79 | 0.000 % |
79.31/79.37 c | 66759 | 1205 127840 554049 | 2147483647 66759 78 | 0.000 % |
79.91/79.93 c | 67131 | 1205 127840 554049 | 2147483647 67131 78 | 0.000 % |
80.21/80.29 c | 67542 | 1205 127840 554049 | 2147483647 67542 78 | 0.000 % |
81.41/81.45 c | 67992 | 1205 127840 554049 | 2147483647 67992 78 | 0.000 % |
82.31/82.40 c | 68486 | 1205 127840 554049 | 2147483647 68486 78 | 0.000 % |
82.91/82.93 c | 69029 | 1205 127840 554049 | 2147483647 69029 79 | 0.000 % |
83.91/83.93 c | 69625 | 1205 127840 554049 | 2147483647 69625 79 | 0.000 % |
84.91/84.97 c | 70280 | 1205 127840 554049 | 2147483647 70280 79 | 0.000 % |
86.31/86.35 c | 71003 | 1205 127840 554049 | 2147483647 71003 78 | 0.000 % |
87.61/87.69 c | 71797 | 1205 127840 554049 | 2147483647 71797 79 | 0.000 % |
89.41/89.44 c | 72670 | 1205 127840 554049 | 2147483647 72670 79 | 0.000 % |
89.61/89.68 c | 72770 | 1205 127840 554049 | 2147483647 72770 79 | 0.000 % |
89.81/89.90 c | 72880 | 1205 127840 554049 | 2147483647 72880 79 | 0.000 % |
90.01/90.09 c | 73002 | 1205 127840 554049 | 2147483647 73002 79 | 0.000 % |
90.21/90.29 c | 73137 | 1205 127840 554049 | 2147483647 73137 79 | 0.000 % |
90.31/90.40 c | 73283 | 1205 127840 554049 | 2147483647 73283 79 | 0.000 % |
90.71/90.76 c | 73443 | 1205 127840 554049 | 2147483647 73443 79 | 0.000 % |
91.11/91.11 c | 73620 | 1205 127840 554049 | 2147483647 73620 79 | 0.000 % |
91.51/91.52 c | 73813 | 1205 127840 554049 | 2147483647 73813 79 | 0.000 % |
91.71/91.73 c | 74025 | 1205 127840 554049 | 2147483647 74025 79 | 0.000 % |
92.11/92.17 c | 74258 | 1205 127840 554049 | 2147483647 74258 79 | 0.000 % |
92.71/92.75 c | 74515 | 1205 127840 554049 | 2147483647 74515 79 | 0.000 % |
93.31/93.35 c | 74799 | 1205 127840 554049 | 2147483647 74799 79 | 0.000 % |
93.91/93.96 c | 75108 | 1205 127840 554049 | 2147483647 75108 79 | 0.000 % |
94.21/94.22 c | 75448 | 1205 127840 554049 | 2147483647 75448 79 | 0.000 % |
95.11/95.14 c | 75821 | 1205 127840 554049 | 2147483647 75821 79 | 0.000 % |
96.21/96.26 c | 76230 | 1205 127840 554049 | 2147483647 76230 79 | 0.000 % |
97.41/97.41 c | 76681 | 1205 127840 554049 | 2147483647 76681 79 | 0.000 % |
98.11/98.18 c | 77175 | 1205 127840 554049 | 2147483647 77175 79 | 0.000 % |
98.91/98.99 c | 77719 | 1205 127840 554049 | 2147483647 77719 79 | 0.000 % |
99.51/99.61 c | 78316 | 1205 127840 554049 | 2147483647 78316 79 | 0.000 % |
100.21/100.21 c | 78972 | 1205 127840 554049 | 2147483647 78972 79 | 0.000 % |
100.91/100.93 c | 79696 | 1205 127840 554049 | 2147483647 79696 79 | 0.000 % |
102.51/102.54 c | 80488 | 1205 127840 554049 | 2147483647 80488 79 | 0.000 % |
103.51/103.55 c | 81359 | 1205 127840 554049 | 2147483647 81359 79 | 0.000 % |
104.41/104.49 c | 82319 | 1205 127840 554049 | 2147483647 82319 80 | 0.000 % |
104.51/104.60 c | 82422 | 1205 127840 554049 | 2147483647 82422 80 | 0.000 % |
104.71/104.71 c | 82537 | 1205 127840 554049 | 2147483647 82537 80 | 0.000 % |
105.11/105.11 c | 82660 | 1205 127840 554049 | 2147483647 82660 80 | 0.000 % |
105.21/105.29 c | 82796 | 1205 127840 554049 | 2147483647 82796 80 | 0.000 % |
105.41/105.47 c | 82942 | 1205 127840 554049 | 2147483647 82942 80 | 0.000 % |
105.81/105.90 c | 83104 | 1205 127840 554049 | 2147483647 83104 80 | 0.000 % |
106.11/106.20 c | 83280 | 1205 127840 554049 | 2147483647 83280 80 | 0.000 % |
106.61/106.67 c | 83473 | 1205 127840 554049 | 2147483647 83473 80 | 0.000 % |
107.11/107.19 c | 83685 | 1205 127840 554049 | 2147483647 83685 80 | 0.000 % |
107.61/107.71 c | 83918 | 1205 127840 554049 | 2147483647 83918 80 | 0.000 % |
108.41/108.44 c | 84174 | 1205 127840 554049 | 2147483647 84174 80 | 0.000 % |
108.91/108.92 c | 84455 | 1205 127840 554049 | 2147483647 84455 79 | 0.000 % |
109.51/109.55 c | 84765 | 1205 127840 554049 | 2147483647 84765 79 | 0.000 % |
110.41/110.44 c | 85104 | 1205 127840 554049 | 2147483647 85104 79 | 0.000 % |
111.41/111.43 c | 85477 | 1205 127840 554049 | 2147483647 85477 79 | 0.000 % |
112.31/112.36 c | 85887 | 1205 127840 554049 | 2147483647 85887 79 | 0.000 % |
113.41/113.50 c | 86336 | 1205 127840 554049 | 2147483647 86336 79 | 0.000 % |
114.71/114.79 c | 86830 | 1205 127840 554049 | 2147483647 86830 79 | 0.000 % |
116.11/116.16 c | 87374 | 1205 127840 554049 | 2147483647 87374 78 | 0.000 % |
117.31/117.33 c | 87972 | 1205 127840 554049 | 2147483647 87972 78 | 0.000 % |
118.82/118.82 c | 88627 | 1205 127840 554049 | 2147483647 88627 78 | 0.000 % |
120.11/120.19 c | 89347 | 1205 127840 554049 | 2147483647 89347 77 | 0.000 % |
121.81/121.87 c | 90139 | 1205 127840 554049 | 2147483647 90139 77 | 0.000 % |
122.81/122.86 c | 91012 | 1205 127840 554049 | 2147483647 91012 77 | 0.000 % |
125.42/125.44 c | 91975 | 1205 127840 554049 | 2147483647 91975 77 | 0.000 % |
127.41/127.45 c | 93029 | 1205 127840 554049 | 2147483647 93029 78 | 0.000 % |
127.81/127.83 c | 93130 | 1205 127840 554049 | 2147483647 93130 78 | 0.000 % |
128.11/128.20 c | 93240 | 1205 127840 554049 | 2147483647 93240 77 | 0.000 % |
128.51/128.54 c | 93362 | 1205 127840 554049 | 2147483647 93362 77 | 0.000 % |
128.81/128.88 c | 93503 | 1205 127840 554049 | 2147483647 93503 77 | 0.000 % |
129.11/129.19 c | 93649 | 1205 127840 554049 | 2147483647 93649 77 | 0.000 % |
129.51/129.55 c | 93810 | 1205 127840 554049 | 2147483647 93810 77 | 0.000 % |
129.71/129.81 c | 93987 | 1205 127840 554049 | 2147483647 93987 77 | 0.000 % |
130.31/130.40 c | 94181 | 1205 127840 554049 | 2147483647 94181 77 | 0.000 % |
130.71/130.74 c | 94397 | 1205 127840 554049 | 2147483647 94397 77 | 0.000 % |
131.41/131.44 c | 94631 | 1205 127840 554049 | 2147483647 94631 77 | 0.000 % |
132.02/132.10 c | 94887 | 1205 127840 554049 | 2147483647 94887 77 | 0.000 % |
132.71/132.77 c | 95168 | 1205 127840 554049 | 2147483647 95168 77 | 0.000 % |
133.31/133.33 c | 95477 | 1205 127840 554049 | 2147483647 95477 77 | 0.000 % |
133.91/133.95 c | 95819 | 1205 127840 554049 | 2147483647 95819 77 | 0.000 % |
134.61/134.65 c | 96192 | 1205 127840 554049 | 2147483647 96192 77 | 0.000 % |
135.51/135.52 c | 96602 | 1205 127840 554049 | 2147483647 96602 77 | 0.000 % |
136.61/136.70 c | 97054 | 1205 127840 554049 | 2147483647 97054 77 | 0.000 % |
137.31/137.37 c | 97548 | 1205 127840 554049 | 2147483647 97548 77 | 0.000 % |
138.51/138.53 c | 98090 | 1205 127840 554049 | 2147483647 98090 77 | 0.000 % |
139.61/139.64 c | 98687 | 1205 127840 554049 | 2147483647 98687 77 | 0.000 % |
140.91/140.97 c | 99342 | 1205 127840 554049 | 2147483647 99342 77 | 0.000 % |
142.61/142.64 c | 100066 | 1205 127840 554049 | 2147483647 100066 77 | 0.000 % |
144.51/144.58 c | 100860 | 1205 127840 554049 | 2147483647 100860 77 | 0.000 % |
146.32/146.35 c | 101731 | 1205 127840 554049 | 2147483647 101731 77 | 0.000 % |
148.21/148.22 c | 102689 | 1205 127840 554049 | 2147483647 102689 77 | 0.000 % |
150.51/150.54 c | 103742 | 1205 127840 554049 | 2147483647 103742 77 | 0.000 % |
152.51/152.53 c | 104900 | 1205 127840 554049 | 2147483647 104900 77 | 0.000 % |
152.71/152.81 c | 105001 | 1205 127840 554049 | 2147483647 105001 77 | 0.000 % |
153.11/153.14 c | 105111 | 1205 127840 554049 | 2147483647 105111 77 | 0.000 % |
153.51/153.55 c | 105233 | 1205 127840 554049 | 2147483647 105233 77 | 0.000 % |
153.71/153.80 c | 105368 | 1205 127840 554049 | 2147483647 105368 77 | 0.000 % |
154.02/154.06 c | 105514 | 1205 127840 554049 | 2147483647 105514 77 | 0.000 % |
154.51/154.52 c | 105677 | 1205 127840 554049 | 2147483647 105677 77 | 0.000 % |
154.71/154.72 c | 105853 | 1205 127840 554049 | 2147483647 105853 77 | 0.000 % |
155.41/155.47 c | 106046 | 1205 127840 554049 | 2147483647 106046 77 | 0.000 % |
155.91/155.98 c | 106263 | 1205 127840 554049 | 2147483647 106263 77 | 0.000 % |
156.31/156.35 c | 106498 | 1205 127840 554049 | 2147483647 106498 77 | 0.000 % |
156.91/156.92 c | 106754 | 1205 127840 554049 | 2147483647 106754 77 | 0.000 % |
157.51/157.52 c | 107036 | 1205 127840 554049 | 2147483647 107036 77 | 0.000 % |
158.01/158.03 c | 107345 | 1205 127840 554049 | 2147483647 107345 77 | 0.000 % |
158.81/158.89 c | 107686 | 1205 127840 554049 | 2147483647 107686 77 | 0.000 % |
159.61/159.67 c | 108059 | 1205 127840 554049 | 2147483647 108059 77 | 0.000 % |
160.81/160.87 c | 108468 | 1205 127840 554049 | 2147483647 108468 78 | 0.000 % |
161.91/161.97 c | 108919 | 1205 127840 554049 | 2147483647 108919 78 | 0.000 % |
163.11/163.18 c | 109414 | 1205 127840 554049 | 2147483647 109414 77 | 0.000 % |
164.41/164.49 c | 109959 | 1205 127840 554049 | 2147483647 109959 77 | 0.000 % |
165.72/165.79 c | 110555 | 1205 127840 554049 | 2147483647 110555 77 | 0.001 % |
167.92/167.97 c | 111210 | 1205 127840 554049 | 2147483647 111210 77 | 0.000 % |
169.52/169.55 c | 111930 | 1205 127840 554049 | 2147483647 111930 77 | 0.000 % |
172.42/172.42 c | 112724 | 1205 127840 554049 | 2147483647 112724 77 | 0.000 % |
174.82/174.88 c | 113596 | 1205 127840 554049 | 2147483647 113596 77 | 0.000 % |
176.82/176.87 c | 114556 | 1205 127840 554049 | 2147483647 114556 77 | 0.000 % |
179.02/179.07 c | 115611 | 1205 127840 554049 | 2147483647 115611 77 | 0.000 % |
181.72/181.72 c | 116769 | 1205 127840 554049 | 2147483647 116769 77 | 0.000 % |
184.12/184.16 c | 118042 | 1205 127840 554049 | 2147483647 118042 77 | 0.000 % |
184.52/184.52 c | 118142 | 1205 127840 554049 | 2147483647 118142 77 | 0.000 % |
184.72/184.73 c | 118252 | 1205 127840 554049 | 2147483647 118252 77 | 0.000 % |
185.22/185.28 c | 118376 | 1205 127840 554049 | 2147483647 118376 77 | 0.000 % |
185.52/185.58 c | 118511 | 1205 127840 554049 | 2147483647 118511 77 | 0.000 % |
185.92/185.98 c | 118657 | 1205 127840 554049 | 2147483647 118657 77 | 0.000 % |
186.32/186.34 c | 118817 | 1205 127840 554049 | 2147483647 118817 77 | 0.000 % |
186.82/186.90 c | 118993 | 1205 127840 554049 | 2147483647 118993 77 | 0.000 % |
187.72/187.73 c | 119186 | 1205 127840 554049 | 2147483647 119186 77 | 0.000 % |
188.42/188.46 c | 119398 | 1205 127840 554049 | 2147483647 119398 77 | 0.000 % |
189.12/189.14 c | 119634 | 1205 127840 554049 | 2147483647 119634 77 | 0.000 % |
189.82/189.85 c | 119892 | 1205 127840 554049 | 2147483647 119892 77 | 0.000 % |
190.62/190.63 c | 120175 | 1205 127840 554049 | 2147483647 120175 77 | 0.000 % |
191.62/191.65 c | 120484 | 1205 127840 554049 | 2147483647 120484 76 | 0.000 % |
192.62/192.68 c | 120825 | 1205 127840 554049 | 2147483647 120825 76 | 0.000 % |
193.72/193.72 c | 121202 | 1205 127840 554049 | 2147483647 121202 76 | 0.000 % |
194.82/194.81 c | 121611 | 1205 127840 554049 | 2147483647 121611 76 | 0.000 % |
196.02/196.06 c | 122062 | 1205 127840 554049 | 2147483647 122062 76 | 0.000 % |
197.12/197.21 c | 122555 | 1205 127840 554049 | 2147483647 122555 76 | 0.000 % |
198.72/198.78 c | 123099 | 1205 127840 554049 | 2147483647 123099 76 | 0.000 % |
200.22/200.22 c | 123695 | 1205 127840 554049 | 2147483647 123695 76 | 0.000 % |
202.52/202.60 c | 124350 | 1205 127840 554049 | 2147483647 124350 76 | 0.000 % |
204.82/204.82 c | 125072 | 1205 127840 554049 | 2147483647 125072 76 | 0.000 % |
207.22/207.27 c | 125867 | 1205 127840 554049 | 2147483647 125867 76 | 0.000 % |
209.62/209.66 c | 126741 | 1205 127840 554049 | 2147483647 126741 76 | 0.000 % |
211.82/211.88 c | 127700 | 1205 127840 554049 | 2147483647 127700 76 | 0.000 % |
214.62/214.68 c | 128755 | 1205 127840 554049 | 2147483647 128755 75 | 0.000 % |
217.02/217.08 c | 129913 | 1205 127840 554049 | 2147483647 129913 75 | 0.000 % |
219.92/219.95 c | 131189 | 1205 127840 554049 | 2147483647 131189 75 | 0.000 % |
222.92/222.94 c | 132589 | 1205 127840 554049 | 2147483647 132589 75 | 0.000 % |
223.22/223.25 c | 132690 | 1205 127840 554049 | 2147483647 132690 75 | 0.000 % |
223.52/223.55 c | 132800 | 1205 127840 554049 | 2147483647 132800 75 | 0.000 % |
223.72/223.76 c | 132921 | 1205 127840 554049 | 2147483647 132921 75 | 0.000 % |
224.22/224.26 c | 133055 | 1205 127840 554049 | 2147483647 133055 75 | 0.000 % |
224.62/224.63 c | 133201 | 1205 127840 554049 | 2147483647 133201 75 | 0.000 % |
225.12/225.19 c | 133362 | 1205 127840 554049 | 2147483647 133362 75 | 0.000 % |
225.82/225.82 c | 133540 | 1205 127840 554049 | 2147483647 133540 75 | 0.000 % |
226.32/226.33 c | 133735 | 1205 127840 554049 | 2147483647 133735 75 | 0.000 % |
226.82/226.86 c | 133947 | 1205 127840 554049 | 2147483647 133947 75 | 0.000 % |
227.42/227.49 c | 134181 | 1205 127840 554049 | 2147483647 134181 75 | 0.000 % |
228.02/228.11 c | 134439 | 1205 127840 554049 | 2147483647 134439 75 | 0.000 % |
228.82/228.88 c | 134721 | 1205 127840 554049 | 2147483647 134721 75 | 0.000 % |
229.62/229.63 c | 135030 | 1205 127840 554049 | 2147483647 135030 75 | 0.000 % |
230.72/230.76 c | 135369 | 1205 127840 554049 | 2147483647 135369 75 | 0.000 % |
231.82/231.82 c | 135741 | 1205 127840 554049 | 2147483647 135741 75 | 0.000 % |
232.72/232.80 c | 136150 | 1205 127840 554049 | 2147483647 136150 75 | 0.000 % |
233.92/233.92 c | 136602 | 1205 127840 554049 | 2147483647 136602 75 | 0.000 % |
234.92/235.01 c | 137095 | 1205 127840 554049 | 2147483647 137095 75 | 0.000 % |
236.92/236.98 c | 137637 | 1205 127840 554049 | 2147483647 137637 75 | 0.000 % |
238.73/238.80 c | 138233 | 1205 127840 554049 | 2147483647 138233 75 | 0.000 % |
240.42/240.46 c | 138890 | 1205 127840 554049 | 2147483647 138890 75 | 0.000 % |
242.22/242.30 c | 139610 | 1205 127840 554049 | 2147483647 139610 75 | 0.000 % |
243.92/243.93 c | 140404 | 1205 127840 554049 | 2147483647 140404 75 | 0.000 % |
245.92/245.97 c | 141278 | 1205 127840 554049 | 2147483647 141278 75 | 0.000 % |
248.72/248.81 c | 142236 | 1205 127840 554049 | 2147483647 142236 75 | 0.000 % |
251.02/251.06 c | 143290 | 1205 127840 554049 | 2147483647 143290 75 | 0.000 % |
253.32/253.35 c | 144450 | 1205 127840 554049 | 2147483647 144450 75 | 0.000 % |
255.02/255.08 c | 145723 | 1205 127840 554049 | 2147483647 145723 75 | 0.000 % |
257.43/257.42 c | 147123 | 1205 127840 554049 | 2147483647 147123 75 | 0.000 % |
259.42/259.44 c | 148663 | 1205 127840 554049 | 2147483647 148663 76 | 0.000 % |
259.52/259.57 c | 148763 | 1205 127840 554049 | 2147483647 148763 76 | 0.000 % |
259.72/259.74 c | 148873 | 1205 127840 554049 | 2147483647 148873 76 | 0.000 % |
259.92/259.93 c | 148994 | 1205 127840 554049 | 2147483647 148994 76 | 0.000 % |
260.02/260.10 c | 149128 | 1205 127840 554049 | 2147483647 149128 76 | 0.000 % |
260.22/260.29 c | 149274 | 1205 127840 554049 | 2147483647 149274 76 | 0.000 % |
260.52/260.59 c | 149434 | 1205 127840 554049 | 2147483647 149434 76 | 0.000 % |
260.82/260.86 c | 149610 | 1205 127840 554049 | 2147483647 149610 76 | 0.000 % |
261.62/261.63 c | 149805 | 1205 127840 554049 | 2147483647 149805 76 | 0.000 % |
262.12/262.16 c | 150018 | 1205 127840 554049 | 2147483647 150018 76 | 0.000 % |
262.82/262.88 c | 150252 | 1205 127840 554049 | 2147483647 150252 76 | 0.000 % |
263.82/263.84 c | 150509 | 1205 127840 554049 | 2147483647 150509 76 | 0.000 % |
264.82/264.88 c | 150790 | 1205 127840 554049 | 2147483647 150790 76 | 0.000 % |
266.23/266.26 c | 151100 | 1205 127840 554049 | 2147483647 151100 76 | 0.000 % |
267.22/267.27 c | 151439 | 1205 127840 554049 | 2147483647 151439 76 | 0.000 % |
268.32/268.37 c | 151812 | 1205 127840 554049 | 2147483647 151812 76 | 0.000 % |
269.32/269.32 c | 152224 | 1205 127840 554049 | 2147483647 152224 76 | 0.000 % |
270.82/270.86 c | 152674 | 1205 127840 554049 | 2147483647 152674 76 | 0.000 % |
272.12/272.12 c | 153167 | 1205 127840 554049 | 2147483647 153167 76 | 0.000 % |
273.42/273.50 c | 153710 | 1205 127840 554049 | 2147483647 153710 76 | 0.000 % |
275.42/275.44 c | 154307 | 1205 127840 554049 | 2147483647 154307 76 | 0.000 % |
277.62/277.65 c | 154964 | 1205 127840 554049 | 2147483647 154964 75 | 0.000 % |
280.02/280.10 c | 155689 | 1205 127840 554049 | 2147483647 155689 75 | 0.000 % |
282.62/282.68 c | 156481 | 1205 127840 554049 | 2147483647 156481 75 | 0.000 % |
285.22/285.22 c | 157353 | 1205 127840 554049 | 2147483647 157353 75 | 0.000 % |
288.32/288.33 c | 158311 | 1205 127840 554049 | 2147483647 158311 75 | 0.000 % |
291.53/291.57 c | 159368 | 1205 127840 554049 | 2147483647 159368 74 | 0.000 % |
295.43/295.46 c | 160526 | 1205 127840 554049 | 2147483647 160526 74 | 0.000 % |
299.33/299.32 c | 161800 | 1205 127840 554049 | 2147483647 161800 74 | 0.000 % |
303.23/303.26 c | 163200 | 1205 127840 554049 | 2147483647 163200 74 | 0.000 % |
308.02/308.03 c | 164740 | 1205 127840 554049 | 2147483647 164740 74 | 0.000 % |
312.62/312.65 c | 166434 | 1205 127840 554049 | 2147483647 166434 74 | 0.000 % |
313.02/313.09 c | 166535 | 1205 127840 554049 | 2147483647 166535 74 | 0.000 % |
313.42/313.46 c | 166646 | 1205 127840 554049 | 2147483647 166646 74 | 0.000 % |
313.82/313.84 c | 166768 | 1205 127840 554049 | 2147483647 166768 74 | 0.000 % |
314.22/314.25 c | 166902 | 1205 127840 554049 | 2147483647 166902 74 | 0.000 % |
314.72/314.72 c | 167048 | 1205 127840 554049 | 2147483647 167048 74 | 0.000 % |
315.42/315.45 c | 167208 | 1205 127840 554049 | 2147483647 167208 74 | 0.000 % |
315.82/315.86 c | 167385 | 1205 127840 554049 | 2147483647 167385 74 | 0.000 % |
316.42/316.44 c | 167583 | 1205 127840 554049 | 2147483647 167583 74 | 0.000 % |
316.92/316.96 c | 167796 | 1205 127840 554049 | 2147483647 167796 74 | 0.000 % |
318.02/318.08 c | 168029 | 1205 127840 554049 | 2147483647 168029 74 | 0.000 % |
318.92/318.95 c | 168286 | 1205 127840 554049 | 2147483647 168286 74 | 0.000 % |
320.02/320.04 c | 168567 | 1205 127840 554049 | 2147483647 168567 74 | 0.000 % |
321.12/321.18 c | 168877 | 1205 127840 554049 | 2147483647 168877 74 | 0.000 % |
321.92/322.00 c | 169216 | 1205 127840 554049 | 2147483647 169216 74 | 0.000 % |
322.92/322.93 c | 169589 | 1205 127840 554049 | 2147483647 169589 74 | 0.000 % |
323.72/323.71 c | 170000 | 1205 127840 554049 | 2147483647 170000 74 | 0.000 % |
325.52/325.58 c | 170452 | 1205 127840 554049 | 2147483647 170452 74 | 0.000 % |
327.02/327.02 c | 170946 | 1205 127840 554049 | 2147483647 170946 74 | 0.000 % |
328.62/328.69 c | 171491 | 1205 127840 554049 | 2147483647 171491 74 | 0.000 % |
330.52/330.52 c | 172087 | 1205 127840 554049 | 2147483647 172087 74 | 0.000 % |
332.12/332.20 c | 172743 | 1205 127840 554049 | 2147483647 172743 74 | 0.000 % |
333.42/333.48 c | 173463 | 1205 127840 554049 | 2147483647 173463 74 | 0.000 % |
334.82/334.87 c | 174255 | 1205 127840 554049 | 2147483647 174255 74 | 0.000 % |
336.02/336.06 c | 175126 | 1205 127840 554049 | 2147483647 175126 74 | 0.000 % |
337.22/337.30 c | 176090 | 1205 127840 554049 | 2147483647 176090 74 | 0.000 % |
340.52/340.54 c | 177143 | 1205 127840 554049 | 2147483647 177143 74 | 0.000 % |
343.92/344.00 c | 178302 | 1205 127840 554049 | 2147483647 178302 74 | 0.000 % |
346.32/346.37 c | 179575 | 1205 127840 554049 | 2147483647 179575 74 | 0.000 % |
351.22/351.23 c | 180975 | 1205 127840 554049 | 2147483647 180975 74 | 0.000 % |
354.02/354.07 c | 182515 | 1205 127840 554049 | 2147483647 182515 74 | 0.000 % |
359.22/359.27 c | 184210 | 1205 127840 554049 | 2147483647 184210 74 | 0.000 % |
365.02/365.01 c | 186074 | 1205 127840 554049 | 2147483647 186074 74 | 0.000 % |
365.42/365.44 c | 186175 | 1205 127840 554049 | 2147483647 186175 74 | 0.000 % |
365.82/365.83 c | 186289 | 1205 127840 554049 | 2147483647 186289 74 | 0.000 % |
366.22/366.27 c | 186411 | 1205 127840 554049 | 2147483647 186411 74 | 0.000 % |
366.72/366.72 c | 186545 | 1205 127840 554049 | 2147483647 186545 74 | 0.000 % |
367.22/367.22 c | 186691 | 1205 127840 554049 | 2147483647 186691 74 | 0.000 % |
367.52/367.60 c | 186851 | 1205 127840 554049 | 2147483647 186851 74 | 0.000 % |
368.53/368.54 c | 187027 | 1205 127840 554049 | 2147483647 187027 74 | 0.000 % |
369.12/369.17 c | 187220 | 1205 127840 554049 | 2147483647 187220 74 | 0.000 % |
369.72/369.76 c | 187432 | 1205 127840 554049 | 2147483647 187432 74 | 0.000 % |
370.52/370.54 c | 187666 | 1205 127840 554049 | 2147483647 187666 74 | 0.000 % |
371.12/371.13 c | 187923 | 1205 127840 554049 | 2147483647 187923 74 | 0.000 % |
372.12/372.17 c | 188204 | 1205 127840 554049 | 2147483647 188204 74 | 0.000 % |
373.22/373.22 c | 188515 | 1205 127840 554049 | 2147483647 188515 74 | 0.000 % |
374.42/374.48 c | 188856 | 1205 127840 554049 | 2147483647 188856 75 | 0.000 % |
375.62/375.67 c | 189229 | 1205 127840 554049 | 2147483647 189229 75 | 0.000 % |
376.72/376.74 c | 189638 | 1205 127840 554049 | 2147483647 189638 74 | 0.000 % |
378.12/378.13 c | 190089 | 1205 127840 554049 | 2147483647 190089 74 | 0.000 % |
379.32/379.32 c | 190583 | 1205 127840 554049 | 2147483647 190583 75 | 0.000 % |
381.12/381.13 c | 191125 | 1205 127840 554049 | 2147483647 191125 75 | 0.000 % |
382.83/382.84 c | 191721 | 1205 127840 554049 | 2147483647 191721 75 | 0.000 % |
385.12/385.13 c | 192381 | 1205 127840 554049 | 2147483647 192381 74 | 0.000 % |
387.32/387.31 c | 193101 | 1205 127840 554049 | 2147483647 193101 74 | 0.000 % |
389.52/389.58 c | 193894 | 1205 127840 554049 | 2147483647 193894 74 | 0.000 % |
391.82/391.88 c | 194768 | 1205 127840 554049 | 2147483647 194768 74 | 0.000 % |
394.62/394.62 c | 195728 | 1205 127840 554049 | 2147483647 195728 74 | 0.000 % |
398.32/398.33 c | 196781 | 1205 127840 554049 | 2147483647 196781 74 | 0.000 % |
401.62/401.65 c | 197939 | 1205 127840 554049 | 2147483647 197939 74 | 0.000 % |
405.62/405.64 c | 199213 | 1205 127840 554049 | 2147483647 199213 74 | 0.000 % |
410.52/410.52 c | 200617 | 1205 127840 554049 | 2147483647 200617 74 | 0.000 % |
415.02/415.00 c | 202159 | 1205 127840 554049 | 2147483647 202159 74 | 0.000 % |
419.93/419.95 c | 203853 | 1205 127840 554049 | 2147483647 203853 74 | 0.000 % |
425.03/425.05 c | 205717 | 1205 127840 554049 | 2147483647 205717 74 | 0.000 % |
429.93/429.92 c | 207767 | 1205 127840 554049 | 2147483647 207767 74 | 0.000 % |
430.13/430.18 c | 207867 | 1205 127840 554049 | 2147483647 207867 74 | 0.000 % |
430.63/430.63 c | 207981 | 1205 127840 554049 | 2147483647 207981 74 | 0.000 % |
431.03/431.04 c | 208107 | 1205 127840 554049 | 2147483647 208107 74 | 0.000 % |
431.63/431.70 c | 208242 | 1205 127840 554049 | 2147483647 208242 74 | 0.000 % |
432.33/432.40 c | 208391 | 1205 127840 554049 | 2147483647 208391 74 | 0.000 % |
433.13/433.12 c | 208551 | 1205 127840 554049 | 2147483647 208551 74 | 0.000 % |
433.83/433.86 c | 208727 | 1205 127840 554049 | 2147483647 208727 74 | 0.000 % |
434.73/434.75 c | 208920 | 1205 127840 554049 | 2147483647 208920 74 | 0.000 % |
435.53/435.56 c | 209135 | 1205 127840 554049 | 2147483647 209135 74 | 0.000 % |
436.33/436.34 c | 209368 | 1205 127840 554049 | 2147483647 209368 74 | 0.000 % |
437.23/437.23 c | 209624 | 1205 127840 554049 | 2147483647 209624 74 | 0.001 % |
438.43/438.43 c | 209906 | 1205 127840 554049 | 2147483647 209906 74 | 0.001 % |
439.23/439.26 c | 210215 | 1205 127840 554049 | 2147483647 210215 74 | 0.000 % |
440.23/440.27 c | 210554 | 1205 127840 554049 | 2147483647 210554 74 | 0.000 % |
441.43/441.44 c | 210926 | 1205 127840 554049 | 2147483647 210926 74 | 0.000 % |
442.33/442.37 c | 211335 | 1205 127840 554049 | 2147483647 211335 74 | 0.000 % |
443.63/443.66 c | 211784 | 1205 127840 554049 | 2147483647 211784 74 | 0.000 % |
444.43/444.41 c | 212278 | 1205 127840 554049 | 2147483647 212278 73 | 0.000 % |
446.43/446.42 c | 212820 | 1205 127840 554049 | 2147483647 212820 73 | 0.000 % |
447.73/447.75 c | 213416 | 1205 127840 554049 | 2147483647 213416 73 | 0.000 % |
449.63/449.70 c | 214071 | 1205 127840 554049 | 2147483647 214071 73 | 0.000 % |
452.33/452.31 c | 214792 | 1205 127840 554049 | 2147483647 214792 73 | 0.000 % |
454.43/454.50 c | 215586 | 1205 127840 554049 | 2147483647 215586 73 | 0.000 % |
457.83/457.82 c | 216459 | 1205 127840 554049 | 2147483647 216459 74 | 0.000 % |
461.83/461.86 c | 217417 | 1205 127840 554049 | 2147483647 217417 74 | 0.000 % |
465.33/465.37 c | 218470 | 1205 127840 554049 | 2147483647 218470 74 | 0.000 % |
468.63/468.64 c | 219629 | 1205 127840 554049 | 2147483647 219629 74 | 0.000 % |
471.53/471.54 c | 220902 | 1205 127840 554049 | 2147483647 220902 74 | 0.000 % |
473.93/473.93 c | 222302 | 1205 127840 554049 | 2147483647 222302 74 | 0.000 % |
477.33/477.41 c | 223845 | 1205 127840 554049 | 2147483647 223845 74 | 0.000 % |
481.13/481.14 c | 225539 | 1205 127840 554049 | 2147483647 225539 74 | 0.000 % |
486.93/486.95 c | 227405 | 1205 127840 554049 | 2147483647 227405 74 | 0.000 % |
491.53/491.53 c | 229454 | 1205 127840 554049 | 2147483647 229454 74 | 0.000 % |
498.03/498.10 c | 231707 | 1205 127840 554049 | 230000 203469 75 | 0.000 % |
498.43/498.42 c | 231810 | 1205 127840 554049 | 230000 203572 75 | 0.000 % |
498.73/498.72 c | 231921 | 1205 127840 554049 | 230000 203683 75 | 0.000 % |
499.03/499.02 c | 232046 | 1205 127840 554049 | 230000 203808 75 | 0.000 % |
499.53/499.59 c | 232179 | 1205 127840 554049 | 230000 203941 75 | 0.000 % |
500.03/500.10 c | 232326 | 1205 127840 554049 | 230000 204088 75 | 0.000 % |
500.54/500.53 c | 232486 | 1205 127840 554049 | 230000 204248 75 | 0.000 % |
501.23/501.30 c | 232662 | 1205 127840 554049 | 230000 204424 75 | 0.000 % |
501.83/501.91 c | 232855 | 1205 127840 554049 | 230000 204617 75 | 0.000 % |
502.43/502.42 c | 233067 | 1205 127840 554049 | 230000 204829 75 | 0.000 % |
503.43/503.41 c | 233301 | 1205 127840 554049 | 230000 205063 75 | 0.000 % |
504.43/504.44 c | 233558 | 1205 127840 554049 | 230000 205320 75 | 0.000 % |
505.13/505.17 c | 233840 | 1205 127840 554049 | 230000 205602 75 | 0.000 % |
506.13/506.12 c | 234149 | 1205 127840 554049 | 230000 205911 75 | 0.000 % |
507.23/507.22 c | 234493 | 1205 127840 554049 | 230000 206255 75 | 0.000 % |
508.63/508.63 c | 234865 | 1205 127840 554049 | 230000 206627 75 | 0.000 % |
509.83/509.86 c | 235278 | 1205 127840 554049 | 230000 207040 75 | 0.000 % |
511.03/511.03 c | 235727 | 1205 127840 554049 | 230000 207489 75 | 0.000 % |
512.23/512.30 c | 236222 | 1205 127840 554049 | 230000 207984 75 | 0.000 % |
513.93/513.95 c | 236766 | 1205 127840 554049 | 230000 208528 75 | 0.000 % |
515.53/515.55 c | 237362 | 1205 127840 554049 | 230000 209124 75 | 0.000 % |
517.33/517.31 c | 238018 | 1205 127840 554049 | 230000 209780 75 | 0.000 % |
520.23/520.21 c | 238738 | 1205 127840 554049 | 230000 210500 75 | 0.000 % |
522.43/522.49 c | 239531 | 1205 127840 554049 | 230000 211293 75 | 0.000 % |
525.63/525.61 c | 240402 | 1205 127840 554049 | 2147483647 212164 75 | 0.000 % |
528.13/528.11 c | 241361 | 1205 127840 554049 | 2147483647 213123 75 | 0.000 % |
530.63/530.62 c | 242414 | 1205 127840 554049 | 2147483647 214176 75 | 0.000 % |
533.23/533.24 c | 243573 | 1205 127840 554049 | 2147483647 215335 75 | 0.000 % |
537.43/537.49 c | 244848 | 1205 127840 554049 | 2147483647 216610 75 | 0.000 % |
541.03/541.09 c | 246248 | 1205 127840 554049 | 2147483647 218010 75 | 0.000 % |
545.84/545.82 c | 247790 | 1205 127840 554049 | 2147483647 219552 75 | 0.000 % |
550.24/550.24 c | 249486 | 1205 127840 554049 | 2147483647 221248 76 | 0.000 % |
555.14/555.19 c | 251349 | 1205 127840 554049 | 2147483647 223111 76 | 0.000 % |
560.14/560.17 c | 253398 | 1205 127840 554049 | 2147483647 225160 76 | 0.000 % |
566.34/566.32 c | 255652 | 1205 127840 554049 | 2147483647 227414 76 | 0.000 % |
573.54/573.61 c | 258130 | 1205 127840 554049 | 2147483647 229892 76 | 0.000 % |
573.84/573.85 c | 258230 | 1205 127840 554049 | 2147483647 229992 76 | 0.000 % |
574.24/574.24 c | 258340 | 1205 127840 554049 | 2147483647 230102 76 | 0.000 % |
574.64/574.70 c | 258463 | 1205 127840 554049 | 2147483647 230225 76 | 0.000 % |
575.14/575.15 c | 258597 | 1205 127840 554049 | 2147483647 230359 76 | 0.000 % |
575.84/575.87 c | 258744 | 1205 127840 554049 | 2147483647 230506 76 | 0.000 % |
576.54/576.60 c | 258905 | 1205 127840 554049 | 2147483647 230667 76 | 0.000 % |
577.44/577.45 c | 259081 | 1205 127840 554049 | 2147483647 230843 76 | 0.000 % |
578.24/578.25 c | 259276 | 1205 127840 554049 | 2147483647 231038 76 | 0.000 % |
579.04/579.07 c | 259488 | 1205 127840 554049 | 2147483647 231250 76 | 0.000 % |
579.84/579.90 c | 259721 | 1205 127840 554049 | 2147483647 231483 76 | 0.000 % |
580.74/580.76 c | 259977 | 1205 127840 554049 | 2147483647 231739 76 | 0.000 % |
581.44/581.42 c | 260259 | 1205 127840 554049 | 2147483647 232021 76 | 0.000 % |
582.24/582.31 c | 260569 | 1205 127840 554049 | 2147483647 232331 76 | 0.000 % |
583.14/583.13 c | 260908 | 1205 127840 554049 | 2147483647 232670 76 | 0.000 % |
583.64/583.69 c | 261281 | 1205 127840 554049 | 2147483647 233043 76 | 0.000 % |
584.14/584.21 c | 261692 | 1205 127840 554049 | 2147483647 233454 76 | 0.000 % |
584.94/584.97 c | 262141 | 1205 127840 554049 | 2147483647 233903 76 | 0.000 % |
585.64/585.63 c | 262635 | 1205 127840 554049 | 2147483647 234397 76 | 0.000 % |
586.54/586.53 c | 263177 | 1205 127840 554049 | 2147483647 234939 76 | 0.000 % |
587.64/587.62 c | 263774 | 1205 127840 554049 | 2147483647 235536 76 | 0.000 % |
588.74/588.77 c | 264433 | 1205 127840 554049 | 2147483647 236195 76 | 0.000 % |
589.94/589.97 c | 265153 | 1205 127840 554049 | 2147483647 236915 76 | 0.000 % |
591.44/591.43 c | 265946 | 1205 127840 554049 | 2147483647 237708 76 | 0.000 % |
593.54/593.53 c | 266817 | 1205 127840 554049 | 2147483647 238579 76 | 0.000 % |
598.04/598.05 c | 267776 | 1205 127840 554049 | 2147483647 239538 76 | 0.000 % |
600.64/600.62 c | 268830 | 1205 127840 554049 | 2147483647 240592 76 | 0.000 % |
604.64/604.64 c | 269989 | 1205 127840 554049 | 2147483647 241751 76 | 0.000 % |
607.84/607.85 c | 271263 | 1205 127840 554049 | 2147483647 243025 76 | 0.000 % |
613.34/613.34 c | 272663 | 1205 127840 554049 | 2147483647 244425 76 | 0.000 % |
616.44/616.48 c | 274203 | 1205 127840 554049 | 2147483647 245965 76 | 0.000 % |
620.34/620.37 c | 275897 | 1205 127840 554049 | 2147483647 247659 76 | 0.000 % |
622.84/622.85 c | 277761 | 1205 127840 554049 | 2147483647 249523 76 | 0.000 % |
626.14/626.17 c | 279811 | 1205 127840 554049 | 2147483647 251573 76 | 0.000 % |
629.74/629.76 c | 282067 | 1205 127840 554049 | 2147483647 253829 76 | 0.000 % |
637.24/637.25 c | 284545 | 1205 127840 554049 | 2147483647 256307 76 | 0.000 % |
644.94/644.95 c | 287271 | 1205 127840 554049 | 2147483647 259033 76 | 0.000 % |
645.34/645.36 c | 287371 | 1205 127840 554049 | 2147483647 259133 76 | 0.000 % |
645.84/645.88 c | 287482 | 1205 127840 554049 | 2147483647 259244 76 | 0.000 % |
646.54/646.55 c | 287605 | 1205 127840 554049 | 2147483647 259367 76 | 0.000 % |
647.14/647.11 c | 287738 | 1205 127840 554049 | 2147483647 259500 76 | 0.000 % |
647.74/647.73 c | 287886 | 1205 127840 554049 | 2147483647 259648 76 | 0.000 % |
648.94/648.91 c | 288047 | 1205 127840 554049 | 2147483647 259809 76 | 0.000 % |
649.54/649.58 c | 288224 | 1205 127840 554049 | 2147483647 259986 76 | 0.000 % |
650.64/650.69 c | 288418 | 1205 127840 554049 | 2147483647 260180 76 | 0.000 % |
651.54/651.59 c | 288630 | 1205 127840 554049 | 2147483647 260392 76 | 0.000 % |
652.44/652.48 c | 288863 | 1205 127840 554049 | 2147483647 260625 76 | 0.000 % |
653.45/653.50 c | 289119 | 1205 127840 554049 | 2147483647 260881 76 | 0.000 % |
654.74/654.81 c | 289403 | 1205 127840 554049 | 2147483647 261165 76 | 0.000 % |
656.34/656.33 c | 289712 | 1205 127840 554049 | 2147483647 261474 76 | 0.000 % |
658.14/658.13 c | 290053 | 1205 127840 554049 | 2147483647 261815 76 | 0.000 % |
659.64/659.71 c | 290428 | 1205 127840 554049 | 2147483647 262190 76 | 0.000 % |
661.34/661.37 c | 290838 | 1205 127840 554049 | 2147483647 262600 76 | 0.000 % |
663.63/663.60 c | 291287 | 1205 127840 554049 | 2147483647 263049 76 | 0.000 % |
666.13/666.13 c | 291780 | 1205 127840 554049 | 2147483647 263542 76 | 0.000 % |
668.93/668.98 c | 292322 | 1205 127840 554049 | 2147483647 264084 76 | 0.000 % |
671.53/671.51 c | 292922 | 1205 127840 554049 | 2147483647 264684 76 | 0.000 % |
674.34/674.39 c | 293578 | 1205 127840 554049 | 2147483647 265340 76 | 0.000 % |
677.94/677.98 c | 294298 | 1205 127840 554049 | 2147483647 266060 76 | 0.000 % |
682.54/682.57 c | 295090 | 1205 127840 554049 | 2147483647 266852 76 | 0.000 % |
687.44/687.47 c | 295963 | 1205 127840 554049 | 2147483647 267725 76 | 0.000 % |
691.54/691.52 c | 296921 | 1205 127840 554049 | 2147483647 268683 76 | 0.000 % |
698.44/698.42 c | 297974 | 1205 127840 554049 | 2147483647 269736 76 | 0.000 % |
703.84/703.90 c | 299135 | 1205 127840 554049 | 2147483647 270897 76 | 0.000 % |
708.14/708.19 c | 300408 | 1205 127840 554049 | 2147483647 272170 76 | 0.000 % |
711.14/711.11 c | 301808 | 1205 127840 554049 | 2147483647 273570 76 | 0.000 % |
715.64/715.61 c | 303350 | 1205 127840 554049 | 2147483647 275112 76 | 0.000 % |
721.94/721.95 c | 305045 | 1205 127840 554049 | 2147483647 276807 76 | 0.000 % |
726.64/726.64 c | 306910 | 1205 127840 554049 | 2147483647 278672 76 | 0.000 % |
736.24/736.28 c | 308959 | 1205 127840 554049 | 2147483647 280721 76 | 0.000 % |
746.34/746.37 c | 311212 | 1205 127840 554049 | 2147483647 282974 76 | 0.000 % |
751.84/751.82 c | 313690 | 1205 127840 554049 | 2147483647 285452 76 | 0.000 % |
756.74/756.78 c | 316415 | 1205 127840 554049 | 2147483647 288177 76 | 0.000 % |
768.44/768.48 c | 319413 | 1205 127840 554049 | 2147483647 291175 76 | 0.000 % |
769.04/769.01 c | 319513 | 1205 127840 554049 | 2147483647 291275 76 | 0.000 % |
769.44/769.45 c | 319625 | 1205 127840 554049 | 2147483647 291387 76 | 0.000 % |
769.94/769.97 c | 319748 | 1205 127840 554049 | 2147483647 291510 76 | 0.000 % |
770.94/770.96 c | 319882 | 1205 127840 554049 | 2147483647 291644 76 | 0.000 % |
771.74/771.75 c | 320028 | 1205 127840 554049 | 291765 291790 76 | 0.000 % |
773.24/773.22 c | 320188 | 1205 127840 554049 | 291765 260452 78 | 0.000 % |
774.34/774.33 c | 320364 | 1205 127840 554049 | 291765 260628 78 | 0.000 % |
775.14/775.16 c | 320559 | 1205 127840 554049 | 291765 260823 78 | 0.000 % |
775.94/775.93 c | 320771 | 1205 127840 554049 | 291765 261035 78 | 0.000 % |
777.44/777.48 c | 321005 | 1205 127840 554049 | 291765 261269 78 | 0.000 % |
778.64/778.62 c | 321261 | 1205 127840 554049 | 291765 261525 78 | 0.000 % |
780.24/780.22 c | 321542 | 1205 127840 554049 | 291765 261806 78 | 0.000 % |
781.24/781.21 c | 321853 | 1205 127840 554049 | 291765 262117 78 | 0.000 % |
782.84/782.89 c | 322192 | 1205 127840 554049 | 291765 262456 78 | 0.000 % |
784.74/784.76 c | 322567 | 1205 127840 554049 | 291765 262831 78 | 0.000 % |
786.94/786.94 c | 322976 | 1205 127840 554049 | 291765 263240 78 | 0.000 % |
789.44/789.40 c | 323425 | 1205 127840 554049 | 291765 263689 78 | 0.000 % |
791.74/791.77 c | 323918 | 1205 127840 554049 | 291765 264182 78 | 0.000 % |
793.94/793.94 c | 324460 | 1205 127840 554049 | 291765 264724 78 | 0.000 % |
795.44/795.42 c | 325056 | 1205 127840 554049 | 291765 265320 78 | 0.000 % |
799.05/799.08 c | 325711 | 1205 127840 554049 | 291765 265975 78 | 0.000 % |
802.95/802.91 c | 326431 | 1205 127840 554049 | 291765 266695 78 | 0.000 % |
807.15/807.11 c | 327223 | 1205 127840 554049 | 291765 267487 78 | 0.000 % |
810.55/810.56 c | 328096 | 1205 127840 554049 | 291765 268360 78 | 0.000 % |
814.75/814.72 c | 329054 | 1205 127840 554049 | 291765 269318 78 | 0.000 % |
820.35/820.39 c | 330111 | 1205 127840 554049 | 270265 270375 78 | 0.000 % |
828.05/828.05 c | 331269 | 1205 127840 554049 | 270265 239267 78 | 0.000 % |
833.85/833.81 c | 332545 | 1205 127840 554049 | 270265 240543 78 | 0.000 % |
840.55/840.52 c | 333946 | 1205 127840 554049 | 270265 241944 78 | 0.000 % |
845.55/845.57 c | 335486 | 1205 127840 554049 | 270265 243484 78 | 0.000 % |
851.45/851.44 c | 337182 | 1205 127840 554049 | 270265 245180 78 | 0.000 % |
857.05/857.04 c | 339045 | 1205 127840 554049 | 270265 247043 78 | 0.000 % |
867.55/867.54 c | 341096 | 1205 127840 554049 | 2147483647 249094 78 | 0.000 % |
879.85/879.88 c | 343349 | 1205 127840 554049 | 2147483647 251347 78 | 0.000 % |
893.05/893.08 c | 345827 | 1205 127840 554049 | 2147483647 253825 79 | 0.000 % |
905.36/905.38 c | 348553 | 1205 127840 554049 | 2147483647 256551 79 | 0.000 % |
919.85/919.89 c | 351550 | 1205 127840 554049 | 257998 212671 80 | 0.000 % |
936.26/936.23 c | 354848 | 1205 127840 554049 | 257998 215969 80 | 0.000 % |
936.66/936.70 c | 354948 | 1205 127840 554049 | 257998 216069 80 | 0.000 % |
937.46/937.49 c | 355060 | 1205 127840 554049 | 257998 216181 80 | 0.000 % |
938.06/938.08 c | 355183 | 1205 127840 554049 | 257998 216304 80 | 0.000 % |
938.66/938.61 c | 355319 | 1205 127840 554049 | 257998 216440 80 | 0.000 % |
939.16/939.12 c | 355465 | 1205 127840 554049 | 257998 216586 80 | 0.000 % |
939.86/939.89 c | 355626 | 1205 127840 554049 | 257998 216747 80 | 0.000 % |
940.56/940.60 c | 355804 | 1205 127840 554049 | 257998 216925 80 | 0.000 % |
941.36/941.39 c | 355998 | 1205 127840 554049 | 257998 217119 80 | 0.000 % |
942.26/942.25 c | 356214 | 1205 127840 554049 | 257998 217335 80 | 0.000 % |
943.16/943.20 c | 356447 | 1205 127840 554049 | 257998 217568 80 | 0.000 % |
944.26/944.24 c | 356703 | 1205 127840 554049 | 257998 217824 80 | 0.000 % |
945.36/945.40 c | 356984 | 1205 127840 554049 | 257998 218105 80 | 0.000 % |
946.66/946.69 c | 357293 | 1205 127840 554049 | 257998 218414 80 | 0.000 % |
947.96/948.00 c | 357634 | 1205 127840 554049 | 257998 218755 80 | 0.001 % |
949.36/949.39 c | 358007 | 1205 127840 554049 | 257998 219128 80 | 0.000 % |
950.76/950.73 c | 358417 | 1205 127840 554049 | 257998 219538 80 | 0.000 % |
952.26/952.24 c | 358867 | 1205 127840 554049 | 257998 219988 80 | 0.000 % |
955.46/955.44 c | 359360 | 1205 127840 554049 | 257998 220481 80 | 0.000 % |
958.06/958.08 c | 359907 | 1205 127840 554049 | 257998 221028 80 | 0.000 % |
960.36/960.33 c | 360503 | 1205 127840 554049 | 2147483647 221624 79 | 0.000 % |
963.26/963.26 c | 361158 | 1205 127840 554049 | 2147483647 222279 80 | 0.000 % |
967.46/967.42 c | 361879 | 1205 127840 554049 | 2147483647 223000 80 | 0.000 % |
969.86/969.90 c | 362673 | 1205 127840 554049 | 2147483647 223794 80 | 0.000 % |
971.86/971.87 c | 363544 | 1205 127840 554049 | 2147483647 224665 80 | 0.000 % |
975.46/975.47 c | 364502 | 1205 127840 554049 | 2147483647 225623 80 | 0.000 % |
980.76/980.74 c | 365557 | 1205 127840 554049 | 2147483647 226678 80 | 0.000 % |
984.56/984.57 c | 366717 | 1205 127840 554049 | 2147483647 227838 80 | 0.000 % |
988.36/988.34 c | 367992 | 1205 127840 554049 | 2147483647 229113 80 | 0.000 % |
992.96/992.93 c | 369393 | 1205 127840 554049 | 2147483647 230514 80 | 0.000 % |
999.36/999.37 c | 370934 | 1205 127840 554049 | 231122 199708 79 | 0.000 % |
1005.66/1005.70 c | 372629 | 1205 127840 554049 | 231122 201403 79 | 0.000 % |
1012.07/1012.02 c | 374492 | 1205 127840 554049 | 231122 203266 79 | 0.000 % |
1016.96/1016.96 c | 376541 | 1205 127840 554049 | 231122 205315 79 | 0.000 % |
1022.65/1022.61 c | 378796 | 1205 127840 554049 | 231122 207570 80 | 0.000 % |
1026.95/1027.00 c | 381274 | 1205 127840 554049 | 2147483647 210048 80 | 0.000 % |
1031.35/1031.39 c | 384002 | 1205 127840 554049 | 2147483647 212776 80 | 0.000 % |
1040.75/1040.76 c | 387000 | 1205 127840 554049 | 2147483647 215774 80 | 0.000 % |
1048.45/1048.45 c | 390296 | 1205 127840 554049 | 2147483647 219070 80 | 0.000 % |
1058.37/1058.34 c | 393921 | 1205 127840 554049 | 2147483647 222695 80 | 0.000 % |
1058.67/1058.70 c | 394024 | 1205 127840 554049 | 2147483647 222798 80 | 0.000 % |
1059.17/1059.13 c | 394135 | 1205 127840 554049 | 2147483647 222909 80 | 0.000 % |
1059.67/1059.69 c | 394256 | 1205 127840 554049 | 2147483647 223030 80 | 0.000 % |
1060.07/1060.11 c | 394390 | 1205 127840 554049 | 2147483647 223164 80 | 0.000 % |
1060.57/1060.61 c | 394536 | 1205 127840 554049 | 2147483647 223310 80 | 0.000 % |
1061.47/1061.50 c | 394696 | 1205 127840 554049 | 2147483647 223470 80 | 0.000 % |
1061.97/1061.92 c | 394872 | 1205 127840 554049 | 2147483647 223646 80 | 0.000 % |
1062.77/1062.80 c | 395066 | 1205 127840 554049 | 2147483647 223840 80 | 0.000 % |
1063.87/1063.86 c | 395278 | 1205 127840 554049 | 2147483647 224052 80 | 0.000 % |
1065.17/1065.12 c | 395511 | 1205 127840 554049 | 2147483647 224285 80 | 0.000 % |
1066.67/1066.67 c | 395768 | 1205 127840 554049 | 2147483647 224542 80 | 0.000 % |
1067.97/1067.98 c | 396051 | 1205 127840 554049 | 2147483647 224825 80 | 0.000 % |
1069.57/1069.59 c | 396361 | 1205 127840 554049 | 2147483647 225135 80 | 0.000 % |
1071.07/1071.07 c | 396702 | 1205 127840 554049 | 2147483647 225476 80 | 0.000 % |
1072.37/1072.37 c | 397074 | 1205 127840 554049 | 2147483647 225848 80 | 0.000 % |
1073.87/1073.84 c | 397483 | 1205 127840 554049 | 2147483647 226257 80 | 0.000 % |
1076.17/1076.14 c | 397935 | 1205 127840 554049 | 2147483647 226709 80 | 0.000 % |
1078.07/1078.08 c | 398428 | 1205 127840 554049 | 2147483647 227202 80 | 0.000 % |
1080.47/1080.45 c | 398973 | 1205 127840 554049 | 2147483647 227747 80 | 0.000 % |
1082.67/1082.70 c | 399569 | 1205 127840 554049 | 2147483647 228343 80 | 0.000 % |
1085.67/1085.71 c | 400224 | 1205 127840 554049 | 2147483647 228998 80 | 0.000 % |
1088.37/1088.39 c | 400947 | 1205 127840 554049 | 2147483647 229721 80 | 0.000 % |
1091.47/1091.42 c | 401741 | 1205 127840 554049 | 2147483647 230515 80 | 0.000 % |
1094.47/1094.50 c | 402612 | 1205 127840 554049 | 2147483647 231386 79 | 0.000 % |
1097.97/1097.94 c | 403570 | 1205 127840 554049 | 2147483647 232344 79 | 0.000 % |
1102.57/1102.58 c | 404624 | 1205 127840 554049 | 2147483647 233398 79 | 0.000 % |
1107.57/1107.60 c | 405783 | 1205 127840 554049 | 2147483647 234557 79 | 0.000 % |
1110.57/1110.61 c | 407058 | 1205 127840 554049 | 2147483647 235832 79 | 0.000 % |
1116.57/1116.59 c | 408460 | 1205 127840 554049 | 2147483647 237234 79 | 0.000 % |
1122.67/1122.68 c | 410001 | 1205 127840 554049 | 2147483647 238775 79 | 0.000 % |
1129.27/1129.26 c | 411696 | 1205 127840 554049 | 2147483647 240470 79 | 0.000 % |
1136.67/1136.66 c | 413560 | 1205 127840 554049 | 2147483647 242334 79 | 0.000 % |
1142.57/1142.55 c | 415610 | 1205 127840 554049 | 2147483647 244384 80 | 0.000 % |
1150.47/1150.41 c | 417870 | 1205 127840 554049 | 2147483647 246644 80 | 0.000 % |
1160.77/1160.74 c | 420349 | 1205 127840 554049 | 248774 218295 80 | 0.000 % |
1168.57/1168.54 c | 423074 | 1205 127840 554049 | 248774 221020 80 | 0.000 % |
1180.08/1180.06 c | 426071 | 1205 127840 554049 | 248774 224017 80 | 0.000 % |
1187.68/1187.67 c | 429367 | 1205 127840 554049 | 248774 227313 81 | 0.000 % |
1198.78/1198.73 HOME/SatELiteGTI: line 36: 10586 Terminated $MS $TMP.cnf $TMP.result
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1821766-1242562214/watcher-1821766-1242562214 -o /tmp/evaluation-result-1821766-1242562214/solver-1821766-1242562214 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821766-1242562214.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 2/96 10580
/proc/meminfo: memFree=1464728/2074464 swapFree=1950760/1959888
[pid=10580] ppid=10578 vsize=2416 CPUtime=0
/proc/10580/stat : 10580 (SatELiteGTI) S 10578 10580 11066 0 -1 4194304 368 646 0 0 0 0 0 0 25 0 1 0 1020719697 2473984 277 4294967295 134512640 135169312 3213841472 3213840008 3085401838 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/10580/statm: 604 277 235 161 0 43 0
[pid=10584] ppid=10580 vsize=956 CPUtime=0
/proc/10584/stat : 10584 (SatELite_releas) R 10580 10580 11066 0 -1 4202496 136 0 0 0 0 0 0 0 25 0 1 0 1020719697 978944 72 4294967295 134512640 135223648 3218602176 3218601132 134563184 0 0 0 3 0 0 0 17 3 0 0 0
/proc/10584/statm: 239 72 46 174 0 64 0
[startup+0.049255 s]
/proc/loadavg: 1.00 1.00 1.00 2/96 10580
/proc/meminfo: memFree=1464728/2074464 swapFree=1950760/1959888
[pid=10580] ppid=10578 vsize=2416 CPUtime=0
/proc/10580/stat : 10580 (SatELiteGTI) S 10578 10580 11066 0 -1 4194304 368 646 0 0 0 0 0 0 25 0 1 0 1020719697 2473984 277 4294967295 134512640 135169312 3213841472 3213840008 3085401838 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/10580/statm: 604 277 235 161 0 43 0
[pid=10584] ppid=10580 vsize=5080 CPUtime=0.05
/proc/10584/stat : 10584 (SatELite_releas) R 10580 10580 11066 0 -1 4202496 1117 0 0 0 4 1 0 0 25 0 1 0 1020719697 5201920 1053 4294967295 134512640 135223648 3218602176 3218600912 134540952 0 0 0 3 0 0 0 17 3 0 0 0
/proc/10584/statm: 1270 1054 46 174 0 1095 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 7496
[startup+0.109236 s]
/proc/loadavg: 1.00 1.00 1.00 2/96 10580
/proc/meminfo: memFree=1464728/2074464 swapFree=1950760/1959888
[pid=10580] ppid=10578 vsize=2416 CPUtime=0
/proc/10580/stat : 10580 (SatELiteGTI) S 10578 10580 11066 0 -1 4194304 368 646 0 0 0 0 0 0 25 0 1 0 1020719697 2473984 277 4294967295 134512640 135169312 3213841472 3213840008 3085401838 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/10580/statm: 604 277 235 161 0 43 0
[pid=10584] ppid=10580 vsize=10084 CPUtime=0.11
/proc/10584/stat : 10584 (SatELite_releas) R 10580 10580 11066 0 -1 4202496 2440 0 0 0 10 1 0 0 25 0 1 0 1020719697 10326016 2376 4294967295 134512640 135223648 3218602176 3218599844 134719062 0 0 0 3 0 0 0 17 3 0 0 0
/proc/10584/statm: 2521 2377 73 174 0 2346 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 12500
[startup+0.309224 s]
/proc/loadavg: 1.00 1.00 1.00 2/96 10580
/proc/meminfo: memFree=1464728/2074464 swapFree=1950760/1959888
[pid=10580] ppid=10578 vsize=2416 CPUtime=0
/proc/10580/stat : 10580 (SatELiteGTI) S 10578 10580 11066 0 -1 4194304 368 646 0 0 0 0 0 0 25 0 1 0 1020719697 2473984 277 4294967295 134512640 135169312 3213841472 3213840008 3085401838 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/10580/statm: 604 277 235 161 0 43 0
[pid=10584] ppid=10580 vsize=11940 CPUtime=0.31
/proc/10584/stat : 10584 (SatELite_releas) R 10580 10580 11066 0 -1 4202496 2910 0 0 0 30 1 0 0 25 0 1 0 1020719697 12226560 2846 4294967295 134512640 135223648 3218602176 3218599952 134585461 0 0 0 3 0 0 0 17 3 0 0 0
/proc/10584/statm: 2985 2846 73 174 0 2810 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 14356
[startup+0.709202 s]
/proc/loadavg: 1.00 1.00 1.00 2/96 10580
/proc/meminfo: memFree=1464728/2074464 swapFree=1950760/1959888
[pid=10580] ppid=10578 vsize=2416 CPUtime=0
/proc/10580/stat : 10580 (SatELiteGTI) S 10578 10580 11066 0 -1 4194304 368 646 0 0 0 0 0 0 25 0 1 0 1020719697 2473984 277 4294967295 134512640 135169312 3213841472 3213840008 3085401838 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/10580/statm: 604 277 235 161 0 43 0
[pid=10584] ppid=10580 vsize=15356 CPUtime=0.71
/proc/10584/stat : 10584 (SatELite_releas) R 10580 10580 11066 0 -1 4202496 3434 0 0 0 70 1 0 0 25 0 1 0 1020719697 15724544 3370 4294967295 134512640 135223648 3218602176 3218600272 134585540 0 0 0 3 0 0 0 17 3 0 0 0
/proc/10584/statm: 3839 3370 73 174 0 3664 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 17772
############
# WARNING:
# current cumulated CPU time (0 s) is less than in the last sample (1.31 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (1.31 s) to the 'lost time'.
[startup+1.30917 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 10585
/proc/meminfo: memFree=1451700/2074464 swapFree=1950760/1959888
[pid=10580] ppid=10578 vsize=2416 CPUtime=0
/proc/10580/stat : 10580 (SatELiteGTI) S 10578 10580 11066 0 -1 4194304 368 646 0 0 0 0 0 0 25 0 1 0 1020719697 2473984 277 4294967295 134512640 135169312 3213841472 3213840008 3085401838 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/10580/statm: 604 277 235 161 0 43 0
[pid=10584] ppid=10580 vsize=13496 CPUtime=1.31
/proc/10584/stat : 10584 (SatELite_releas) R 10580 10580 11066 0 -1 4202496 3435 0 0 0 130 1 0 0 25 0 1 0 1020719697 13819904 3119 4294967295 134512640 135223648 3218602176 3218598980 134818244 0 0 0 3 0 0 0 17 3 0 0 0
/proc/10584/statm: 3374 3119 73 174 0 3199 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 15912
[startup+1.40917 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 10585
/proc/meminfo: memFree=1451700/2074464 swapFree=1950760/1959888
[pid=10580] ppid=10578 vsize=2416 CPUtime=0
/proc/10580/stat : 10580 (SatELiteGTI) S 10578 10580 11066 0 -1 4194304 368 646 0 0 0 0 0 0 25 0 1 0 1020719697 2473984 277 4294967295 134512640 135169312 3213841472 3213840008 3085401838 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/10580/statm: 604 277 235 161 0 43 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2416
#
############
[startup+1.50917 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 10585
/proc/meminfo: memFree=1451700/2074464 swapFree=1950760/1959888
[pid=10580] ppid=10578 vsize=2420 CPUtime=1.41
/proc/10580/stat : 10580 (SatELiteGTI) S 10578 10580 11066 0 -1 4194304 386 4083 0 0 0 0 139 2 18 0 1 0 1020719697 2478080 278 4294967295 134512640 135169312 3213841472 3213837688 3085401838 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10580/statm: 605 278 235 161 0 44 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 2420
[startup+3.10906 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 10586
/proc/meminfo: memFree=1453932/2074464 swapFree=1950760/1959888
[pid=10580] ppid=10578 vsize=2420 CPUtime=1.41
/proc/10580/stat : 10580 (SatELiteGTI) S 10578 10580 11066 0 -1 4194304 386 4083 0 0 0 0 139 2 18 0 1 0 1020719697 2478080 278 4294967295 134512640 135169312 3213841472 3213837688 3085401838 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10580/statm: 605 278 235 161 0 44 0
[pid=10586] ppid=10580 vsize=9836 CPUtime=1.69
/proc/10586/stat : 10586 (minisat_static) R 10580 10580 11066 0 -1 4202496 2387 0 0 0 165 4 0 0 25 0 1 0 1020719838 10072064 2322 4294967295 134512640 135215339 3218811216 3218809504 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/10586/statm: 2459 2322 73 172 0 2286 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 12256
[startup+6.30889 s]
/proc/loadavg: 1.00 1.00 1.00 4/98 10586
/proc/meminfo: memFree=1451608/2074464 swapFree=1950760/1959888
[pid=10580] ppid=10578 vsize=2420 CPUtime=1.41
/proc/10580/stat : 10580 (SatELiteGTI) S 10578 10580 11066 0 -1 4194304 386 4083 0 0 0 0 139 2 18 0 1 0 1020719697 2478080 278 4294967295 134512640 135169312 3213841472 3213837688 3085401838 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10580/statm: 605 278 235 161 0 44 0
[pid=10586] ppid=10580 vsize=12352 CPUtime=4.89
/proc/10586/stat : 10586 (minisat_static) R 10580 10580 11066 0 -1 4202496 3012 0 0 0 485 4 0 0 25 0 1 0 1020719838 12648448 2947 4294967295 134512640 135215339 3218811216 3218809504 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/10586/statm: 3088 2947 73 172 0 2915 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 14772
[startup+12.7085 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 10586
/proc/meminfo: memFree=1447736/2074464 swapFree=1950760/1959888
[pid=10580] ppid=10578 vsize=2420 CPUtime=1.41
/proc/10580/stat : 10580 (SatELiteGTI) S 10578 10580 11066 0 -1 4194304 386 4083 0 0 0 0 139 2 18 0 1 0 1020719697 2478080 278 4294967295 134512640 135169312 3213841472 3213837688 3085401838 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10580/statm: 605 278 235 161 0 44 0
[pid=10586] ppid=10580 vsize=15800 CPUtime=11.29
/proc/10586/stat : 10586 (minisat_static) R 10580 10580 11066 0 -1 4202496 3875 0 0 0 1124 5 0 0 25 0 1 0 1020719838 16179200 3810 4294967295 134512640 135215339 3218811216 3218809504 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/10586/statm: 3950 3810 73 172 0 3777 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 18220
[startup+25.5078 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 10771
/proc/meminfo: memFree=1441796/2074464 swapFree=1950760/1959888
[pid=10580] ppid=10578 vsize=2420 CPUtime=1.41
/proc/10580/stat : 10580 (SatELiteGTI) S 10578 10580 11066 0 -1 4194304 386 4083 0 0 0 0 139 2 18 0 1 0 1020719697 2478080 278 4294967295 134512640 135169312 3213841472 3213837688 3085401838 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10580/statm: 605 278 235 161 0 44 0
[pid=10586] ppid=10580 vsize=21088 CPUtime=24.09
/proc/10586/stat : 10586 (minisat_static) R 10580 10580 11066 0 -1 4202496 5180 0 0 0 2404 5 0 0 25 0 1 0 1020719838 21594112 5115 4294967295 134512640 135215339 3218811216 3218809504 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/10586/statm: 5272 5115 73 172 0 5099 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 23508
[startup+51.1164 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 10774
/proc/meminfo: memFree=1434796/2074464 swapFree=1950760/1959888
[pid=10580] ppid=10578 vsize=2420 CPUtime=1.41
/proc/10580/stat : 10580 (SatELiteGTI) S 10578 10580 11066 0 -1 4194304 386 4083 0 0 0 0 139 2 18 0 1 0 1020719697 2478080 278 4294967295 134512640 135169312 3213841472 3213837688 3085401838 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10580/statm: 605 278 235 161 0 44 0
[pid=10586] ppid=10580 vsize=28660 CPUtime=49.7
/proc/10586/stat : 10586 (minisat_static) R 10580 10580 11066 0 -1 4202496 7017 0 0 0 4965 5 0 0 25 0 1 0 1020719838 29347840 6952 4294967295 134512640 135215339 3218811216 3218809504 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/10586/statm: 7165 6952 73 172 0 6992 0
Current children cumulated CPU time (s) 51.11
Current children cumulated vsize (KiB) 31080
[startup+102.314 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 10961
/proc/meminfo: memFree=1423728/2074464 swapFree=1950760/1959888
[pid=10580] ppid=10578 vsize=2420 CPUtime=1.41
/proc/10580/stat : 10580 (SatELiteGTI) S 10578 10580 11066 0 -1 4194304 386 4083 0 0 0 0 139 2 18 0 1 0 1020719697 2478080 278 4294967295 134512640 135169312 3213841472 3213837688 3085401838 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10580/statm: 605 278 235 161 0 44 0
[pid=10586] ppid=10580 vsize=39496 CPUtime=100.9
/proc/10586/stat : 10586 (minisat_static) R 10580 10580 11066 0 -1 4202496 9689 0 0 0 10082 8 0 0 25 0 1 0 1020719838 40443904 9624 4294967295 134512640 135215339 3218811216 3218809504 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/10586/statm: 9874 9624 73 172 0 9701 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 41916
[startup+162.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 11150
/proc/meminfo: memFree=1413824/2074464 swapFree=1950760/1959888
[pid=10580] ppid=10578 vsize=2420 CPUtime=1.41
/proc/10580/stat : 10580 (SatELiteGTI) S 10578 10580 11066 0 -1 4194304 386 4083 0 0 0 0 139 2 18 0 1 0 1020719697 2478080 278 4294967295 134512640 135169312 3213841472 3213837688 3085401838 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10580/statm: 605 278 235 161 0 44 0
[pid=10586] ppid=10580 vsize=49424 CPUtime=160.9
/proc/10586/stat : 10586 (minisat_static) R 10580 10580 11066 0 -1 4202496 12153 0 0 0 16080 10 0 0 25 0 1 0 1020719838 50610176 12088 4294967295 134512640 135215339 3218811216 3218809504 134528806 0 0 0 3 0 0 0 17 3 0 0 0
/proc/10586/statm: 12356 12088 73 172 0 12183 0
Current children cumulated CPU time (s) 162.31
Current children cumulated vsize (KiB) 51844
[startup+222.317 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 11343
/proc/meminfo: memFree=1406584/2074464 swapFree=1950760/1959888
[pid=10580] ppid=10578 vsize=2420 CPUtime=1.41
/proc/10580/stat : 10580 (SatELiteGTI) S 10578 10580 11066 0 -1 4194304 386 4083 0 0 0 0 139 2 18 0 1 0 1020719697 2478080 278 4294967295 134512640 135169312 3213841472 3213837688 3085401838 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10580/statm: 605 278 235 161 0 44 0
################
# More data... #
################
[pid=10580] ppid=10578 vsize=2420 CPUtime=1.41
/proc/10580/stat : 10580 (SatELiteGTI) S 10578 10580 11066 0 -1 4194304 386 4083 0 0 0 0 139 2 18 0 1 0 1020719697 2478080 278 4294967295 134512640 135169312 3213841472 3213837688 3085401838 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10580/statm: 605 278 235 161 0 44 0
[pid=10586] ppid=10580 vsize=93152 CPUtime=580.93
/proc/10586/stat : 10586 (minisat_static) R 10580 10580 11066 0 -1 4202496 22900 0 0 0 58072 21 0 0 25 0 1 0 1020719838 95387648 22835 4294967295 134512640 135215339 3218811216 3218809504 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/10586/statm: 23288 22835 73 172 0 23115 0
Current children cumulated CPU time (s) 582.34
Current children cumulated vsize (KiB) 95572
[startup+642.314 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 12668
/proc/meminfo: memFree=1361744/2074464 swapFree=1950760/1959888
[pid=10580] ppid=10578 vsize=2420 CPUtime=1.41
/proc/10580/stat : 10580 (SatELiteGTI) S 10578 10580 11066 0 -1 4194304 386 4083 0 0 0 0 139 2 18 0 1 0 1020719697 2478080 278 4294967295 134512640 135169312 3213841472 3213837688 3085401838 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10580/statm: 605 278 235 161 0 44 0
[pid=10586] ppid=10580 vsize=101704 CPUtime=640.93
/proc/10586/stat : 10586 (minisat_static) R 10580 10580 11066 0 -1 4202496 25028 0 0 0 64062 31 0 0 25 0 1 0 1020719838 104144896 24963 4294967295 134512640 135215339 3218811216 3218809504 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/10586/statm: 25426 24963 73 172 0 25253 0
Current children cumulated CPU time (s) 642.34
Current children cumulated vsize (KiB) 104124
[startup+702.31 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 12857
/proc/meminfo: memFree=1356644/2074464 swapFree=1950760/1959888
[pid=10580] ppid=10578 vsize=2420 CPUtime=1.41
/proc/10580/stat : 10580 (SatELiteGTI) S 10578 10580 11066 0 -1 4194304 386 4083 0 0 0 0 139 2 18 0 1 0 1020719697 2478080 278 4294967295 134512640 135169312 3213841472 3213837688 3085401838 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10580/statm: 605 278 235 161 0 44 0
[pid=10586] ppid=10580 vsize=106992 CPUtime=700.93
/proc/10586/stat : 10586 (minisat_static) R 10580 10580 11066 0 -1 4202496 26292 0 0 0 70061 32 0 0 25 0 1 0 1020719838 109559808 26227 4294967295 134512640 135215339 3218811216 3218809504 134528788 0 0 0 3 0 0 0 17 3 0 0 0
/proc/10586/statm: 26748 26227 73 172 0 26575 0
Current children cumulated CPU time (s) 702.34
Current children cumulated vsize (KiB) 109412
[startup+762.317 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 13043
/proc/meminfo: memFree=1349468/2074464 swapFree=1950760/1959888
[pid=10580] ppid=10578 vsize=2420 CPUtime=1.41
/proc/10580/stat : 10580 (SatELiteGTI) S 10578 10580 11066 0 -1 4194304 386 4083 0 0 0 0 139 2 18 0 1 0 1020719697 2478080 278 4294967295 134512640 135169312 3213841472 3213837688 3085401838 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10580/statm: 605 278 235 161 0 44 0
[pid=10586] ppid=10580 vsize=114052 CPUtime=760.94
/proc/10586/stat : 10586 (minisat_static) R 10580 10580 11066 0 -1 4202496 28074 0 0 0 76061 33 0 0 25 0 1 0 1020719838 116789248 28009 4294967295 134512640 135215339 3218811216 3218809504 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/10586/statm: 28513 28009 73 172 0 28340 0
Current children cumulated CPU time (s) 762.35
Current children cumulated vsize (KiB) 116472
[startup+822.314 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 13232
/proc/meminfo: memFree=1347840/2074464 swapFree=1950760/1959888
[pid=10580] ppid=10578 vsize=2420 CPUtime=1.41
/proc/10580/stat : 10580 (SatELiteGTI) S 10578 10580 11066 0 -1 4194304 386 4083 0 0 0 0 139 2 18 0 1 0 1020719697 2478080 278 4294967295 134512640 135169312 3213841472 3213837688 3085401838 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10580/statm: 605 278 235 161 0 44 0
[pid=10586] ppid=10580 vsize=115652 CPUtime=820.94
/proc/10586/stat : 10586 (minisat_static) R 10580 10580 11066 0 -1 4202496 28439 0 0 0 82061 33 0 0 25 0 1 0 1020719838 118427648 28374 4294967295 134512640 135215339 3218811216 3218809504 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/10586/statm: 28913 28374 73 172 0 28740 0
Current children cumulated CPU time (s) 822.35
Current children cumulated vsize (KiB) 118072
[startup+882.31 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 13420
/proc/meminfo: memFree=1347824/2074464 swapFree=1950760/1959888
[pid=10580] ppid=10578 vsize=2420 CPUtime=1.41
/proc/10580/stat : 10580 (SatELiteGTI) S 10578 10580 11066 0 -1 4194304 386 4083 0 0 0 0 139 2 18 0 1 0 1020719697 2478080 278 4294967295 134512640 135169312 3213841472 3213837688 3085401838 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10580/statm: 605 278 235 161 0 44 0
[pid=10586] ppid=10580 vsize=115652 CPUtime=880.94
/proc/10586/stat : 10586 (minisat_static) R 10580 10580 11066 0 -1 4202496 28448 0 0 0 88061 33 0 0 25 0 1 0 1020719838 118427648 28383 4294967295 134512640 135215339 3218811216 3218809504 134528802 0 0 0 3 0 0 0 17 3 0 0 0
/proc/10586/statm: 28913 28383 73 172 0 28740 0
Current children cumulated CPU time (s) 882.35
Current children cumulated vsize (KiB) 118072
[startup+942.317 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 13607
/proc/meminfo: memFree=1347864/2074464 swapFree=1950760/1959888
[pid=10580] ppid=10578 vsize=2420 CPUtime=1.41
/proc/10580/stat : 10580 (SatELiteGTI) S 10578 10580 11066 0 -1 4194304 386 4083 0 0 0 0 139 2 18 0 1 0 1020719697 2478080 278 4294967295 134512640 135169312 3213841472 3213837688 3085401838 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10580/statm: 605 278 235 161 0 44 0
[pid=10586] ppid=10580 vsize=115652 CPUtime=940.95
/proc/10586/stat : 10586 (minisat_static) R 10580 10580 11066 0 -1 4202496 28460 0 0 0 94062 33 0 0 25 0 1 0 1020719838 118427648 28395 4294967295 134512640 135215339 3218811216 3218809504 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/10586/statm: 28913 28395 73 172 0 28740 0
Current children cumulated CPU time (s) 942.36
Current children cumulated vsize (KiB) 118072
[startup+1002.31 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 13800
/proc/meminfo: memFree=1348088/2074464 swapFree=1950760/1959888
[pid=10580] ppid=10578 vsize=2420 CPUtime=1.41
/proc/10580/stat : 10580 (SatELiteGTI) S 10578 10580 11066 0 -1 4194304 386 4083 0 0 0 0 139 2 18 0 1 0 1020719697 2478080 278 4294967295 134512640 135169312 3213841472 3213837688 3085401838 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10580/statm: 605 278 235 161 0 44 0
[pid=10586] ppid=10580 vsize=115652 CPUtime=1000.95
/proc/10586/stat : 10586 (minisat_static) R 10580 10580 11066 0 -1 4202496 28469 0 0 0 100062 33 0 0 25 0 1 0 1020719838 118427648 28404 4294967295 134512640 135215339 3218811216 3218809504 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/10586/statm: 28913 28404 73 172 0 28740 0
Current children cumulated CPU time (s) 1002.36
Current children cumulated vsize (KiB) 118072
[startup+1062.32 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 13986
/proc/meminfo: memFree=1347988/2074464 swapFree=1950760/1959888
[pid=10580] ppid=10578 vsize=2420 CPUtime=1.41
/proc/10580/stat : 10580 (SatELiteGTI) S 10578 10580 11066 0 -1 4194304 386 4083 0 0 0 0 139 2 18 0 1 0 1020719697 2478080 278 4294967295 134512640 135169312 3213841472 3213837688 3085401838 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10580/statm: 605 278 235 161 0 44 0
[pid=10586] ppid=10580 vsize=115652 CPUtime=1060.96
/proc/10586/stat : 10586 (minisat_static) R 10580 10580 11066 0 -1 4202496 28472 0 0 0 106063 33 0 0 25 0 1 0 1020719838 118427648 28407 4294967295 134512640 135215339 3218811216 3218809504 134528802 0 0 0 3 0 0 0 17 3 0 0 0
/proc/10586/statm: 28913 28407 73 172 0 28740 0
Current children cumulated CPU time (s) 1062.37
Current children cumulated vsize (KiB) 118072
[startup+1122.32 s]
/proc/loadavg: 1.04 1.01 1.00 3/98 14175
/proc/meminfo: memFree=1347832/2074464 swapFree=1950760/1959888
[pid=10580] ppid=10578 vsize=2420 CPUtime=1.41
/proc/10580/stat : 10580 (SatELiteGTI) S 10578 10580 11066 0 -1 4194304 386 4083 0 0 0 0 139 2 18 0 1 0 1020719697 2478080 278 4294967295 134512640 135169312 3213841472 3213837688 3085401838 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10580/statm: 605 278 235 161 0 44 0
[pid=10586] ppid=10580 vsize=115652 CPUtime=1120.96
/proc/10586/stat : 10586 (minisat_static) R 10580 10580 11066 0 -1 4202496 28476 0 0 0 112063 33 0 0 25 0 1 0 1020719838 118427648 28411 4294967295 134512640 135215339 3218811216 3218809504 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/10586/statm: 28913 28411 73 172 0 28740 0
Current children cumulated CPU time (s) 1122.37
Current children cumulated vsize (KiB) 118072
[startup+1182.32 s]
/proc/loadavg: 1.01 1.01 1.00 3/98 14363
/proc/meminfo: memFree=1347824/2074464 swapFree=1950760/1959888
[pid=10580] ppid=10578 vsize=2420 CPUtime=1.41
/proc/10580/stat : 10580 (SatELiteGTI) S 10578 10580 11066 0 -1 4194304 386 4083 0 0 0 0 139 2 18 0 1 0 1020719697 2478080 278 4294967295 134512640 135169312 3213841472 3213837688 3085401838 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10580/statm: 605 278 235 161 0 44 0
[pid=10586] ppid=10580 vsize=115652 CPUtime=1180.97
/proc/10586/stat : 10586 (minisat_static) R 10580 10580 11066 0 -1 4202496 28481 0 0 0 118064 33 0 0 25 0 1 0 1020719838 118427648 28416 4294967295 134512640 135215339 3218811216 3218809504 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/10586/statm: 28913 28416 73 172 0 28740 0
Current children cumulated CPU time (s) 1182.38
Current children cumulated vsize (KiB) 118072
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1198.72 s]
/proc/loadavg: 1.01 1.00 1.00 3/98 14364
/proc/meminfo: memFree=1347880/2074464 swapFree=1950760/1959888
[pid=10580] ppid=10578 vsize=2420 CPUtime=1.41
/proc/10580/stat : 10580 (SatELiteGTI) S 10578 10580 11066 0 -1 4194304 386 4083 0 0 0 0 139 2 18 0 1 0 1020719697 2478080 278 4294967295 134512640 135169312 3213841472 3213837688 3085401838 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10580/statm: 605 278 235 161 0 44 0
[pid=10586] ppid=10580 vsize=115652 CPUtime=1197.37
/proc/10586/stat : 10586 (minisat_static) R 10580 10580 11066 0 -1 4202496 28481 0 0 0 119704 33 0 0 25 0 1 0 1020719838 118427648 28416 4294967295 134512640 135215339 3218811216 3218809504 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/10586/statm: 28913 28416 73 172 0 28740 0
Current children cumulated CPU time (s) 1198.78
Current children cumulated vsize (KiB) 118072
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1198.72 s]
/proc/loadavg: 1.01 1.00 1.00 3/98 14364
/proc/meminfo: memFree=1347880/2074464 swapFree=1950760/1959888
[pid=10580] ppid=10578 vsize=2420 CPUtime=1.41
/proc/10580/stat : 10580 (SatELiteGTI) S 10578 10580 11066 0 -1 4194304 386 4083 0 0 0 0 139 2 18 0 1 0 1020719697 2478080 278 4294967295 134512640 135169312 3213841472 3213837688 3085401838 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/10580/statm: 605 278 235 161 0 44 0
[pid=10586] ppid=10580 vsize=115652 CPUtime=1197.37
/proc/10586/stat : 10586 (minisat_static) R 10580 10580 11066 0 -1 4202496 28481 0 0 0 119704 33 0 0 25 0 1 0 1020719838 118427648 28416 4294967295 134512640 135215339 3218811216 3218809504 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/10586/statm: 28913 28416 73 172 0 28740 0
Current children cumulated CPU time (s) 1198.78
Current children cumulated vsize (KiB) 118072
Child status: 143
# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
# lost CPU time (s): 1.31
# lost CPU user time (s): 1.3
# lost CPU system time (s): 0.01
Real time (s): 1198.74
CPU time (s): 1200.1
CPU user time (s): 1199.73
CPU system time (s): 0.37
CPU usage (%): 100.114
Max. virtual memory (cumulated for all children) (KiB): 118072
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1198.43
system time used= 0.36
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33228
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= 19
involuntary context switches= 829
runsolver used 0.01 second user time and 0.03 second system time
The end
Begin job on tipi23 at 2009-05-17 14:10:14
IDJOB=1821766
IDBENCH=71084
IDSOLVER=657
FILE ID=tipi23/1821766-1242562214
PBS_JOBID=
Free space on /tmp= 8522 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/satComp09_BioInstances/rpoc_xits_12_UNKNOWN.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1821766-1242562214/watcher-1821766-1242562214 -o /tmp/evaluation-result-1821766-1242562214/solver-1821766-1242562214 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821766-1242562214.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= fbf37caab2e9eafe910c795f49053484
RANDOM SEED= 809947046
Linux tipi23 2.6.18 #19 SMP Tue Jun 19 11:27:27 CEST 2007 i686 GNU/Linux
/proc/cpuinfo:
processor : 0
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.377
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3618.38
processor : 1
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.377
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.78
processor : 2
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.377
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.79
processor : 3
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.377
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.78
/proc/meminfo:
MemTotal: 2074464 kB
MemFree: 1464744 kB
Buffers: 37956 kB
Cached: 485104 kB
SwapCached: 3584 kB
Active: 244760 kB
Inactive: 290212 kB
HighTotal: 1178688 kB
HighFree: 682544 kB
LowTotal: 895776 kB
LowFree: 782200 kB
SwapTotal: 1959888 kB
SwapFree: 1950760 kB
Dirty: 3784 kB
Writeback: 0 kB
AnonPages: 11116 kB
Mapped: 4360 kB
Slab: 65620 kB
PageTables: 712 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 2997120 kB
Committed_AS: 96900 kB
VmallocTotal: 114680 kB
VmallocUsed: 1324 kB
VmallocChunk: 113264 kB
Free space on /tmp at the end= 8522 MiB
End job on tipi23 at 2009-05-17 14:30:13