0.00/0.00 c Parsing...
0.00/0.06 c ==============================================================================
0.00/0.06 c | | ORIGINAL | LEARNT | |
0.00/0.06 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.06 c ==============================================================================
0.00/0.06 c | 0 | 91646 272553 | 27493 0 0 nan | 0.000 % |
0.62/0.66 c | 0 | 90841 386353 | -- 0 -- -- | -- | -805/113800
0.62/0.66 c ==============================================================================
0.62/0.66 c Result : #vars: 958 #clauses: 90841 #literals: 386353
0.62/0.66 c CPU time: 0.66 s
0.62/0.66 c ==============================================================================
0.72/0.79 c This is MiniSat 2.0 beta
0.72/0.79 c WARNING: for repeatability, setting FPU to use double precision
0.72/0.79 c ============================[ Problem Statistics ]=============================
0.72/0.79 c | |
0.72/0.79 c | Number of variables: 958 |
0.72/0.79 c | Number of clauses: 90841 |
0.79/0.83 c | Parsing time: 0.05 s |
0.79/0.84 c ============================[ Search Statistics ]==============================
0.79/0.84 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.79/0.84 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.79/0.84 c ===============================================================================
0.79/0.84 c | 0 | 958 90841 386353 | 30280 0 nan | 0.000 % |
0.79/0.89 c | 101 | 958 90841 386353 | 30280 101 48 | 0.000 % |
0.79/0.93 c | 202 | 958 90841 386353 | 30280 202 49 | 0.000 % |
0.79/0.96 c | 303 | 958 90841 386353 | 30280 303 49 | 0.000 % |
0.79/1.00 c | 414 | 958 90841 386353 | 30280 414 47 | 0.000 % |
1.02/1.04 c | 514 | 958 90841 386353 | 30280 514 45 | 0.000 % |
1.02/1.10 c | 627 | 958 90841 386353 | 30280 627 46 | 0.000 % |
1.13/1.15 c | 748 | 958 90841 386353 | 30280 748 45 | 0.000 % |
1.13/1.19 c | 848 | 958 90841 386353 | 30280 848 45 | 0.000 % |
1.22/1.23 c | 959 | 958 90841 386353 | 30280 959 46 | 0.000 % |
1.22/1.27 c | 1080 | 958 90841 386353 | 30280 1080 47 | 0.000 % |
1.32/1.33 c | 1215 | 958 90841 386353 | 30280 1215 49 | 0.000 % |
1.32/1.35 c | 1315 | 958 90841 386353 | 30280 1315 50 | 0.000 % |
1.32/1.39 c | 1425 | 958 90841 386353 | 30280 1425 50 | 0.000 % |
1.42/1.41 c | 1547 | 958 90841 386353 | 30280 1547 50 | 0.000 % |
1.42/1.44 c | 1680 | 958 90841 386353 | 30280 1680 51 | 0.000 % |
1.42/1.48 c | 1828 | 958 90841 386353 | 30280 1828 52 | 0.000 % |
1.42/1.50 c | 1929 | 958 90841 386353 | 30280 1929 52 | 0.000 % |
1.52/1.54 c | 2039 | 958 90841 386353 | 30280 2039 52 | 0.000 % |
1.52/1.57 c | 2160 | 958 90841 386353 | 30280 2160 53 | 0.000 % |
1.62/1.61 c | 2295 | 958 90841 386353 | 30280 2295 54 | 0.000 % |
1.62/1.65 c | 2442 | 958 90841 386353 | 30280 2442 54 | 0.000 % |
1.62/1.68 c | 2603 | 958 90841 386353 | 30280 2603 54 | 0.000 % |
1.72/1.71 c | 2703 | 958 90841 386353 | 30280 2703 54 | 0.000 % |
1.72/1.73 c | 2813 | 958 90841 386353 | 30280 2813 54 | 0.000 % |
1.72/1.76 c | 2934 | 958 90841 386353 | 30280 2934 54 | 0.000 % |
1.82/1.83 c | 3068 | 958 90841 386353 | 30280 3068 53 | 0.000 % |
1.82/1.88 c | 3215 | 958 90841 386353 | 30280 3215 53 | 0.000 % |
1.92/1.95 c | 3379 | 958 90841 386353 | 30280 3379 53 | 0.000 % |
2.02/2.05 c | 3556 | 958 90841 386353 | 30280 3556 52 | 0.000 % |
2.12/2.11 c | 3656 | 958 90841 386353 | 30280 3656 52 | 0.000 % |
2.12/2.17 c | 3766 | 958 90841 386353 | 30280 3766 51 | 0.000 % |
2.23/2.23 c | 3887 | 958 90841 386353 | 30280 3887 51 | 0.000 % |
2.23/2.30 c | 4020 | 958 90841 386353 | 30280 4020 50 | 0.000 % |
2.32/2.34 c | 4166 | 958 90841 386353 | 30280 4166 51 | 0.000 % |
2.32/2.38 c | 4326 | 958 90841 386353 | 30280 4326 51 | 0.000 % |
2.42/2.44 c | 4503 | 958 90841 386353 | 30280 4503 51 | 0.000 % |
2.42/2.49 c | 4698 | 958 90841 386353 | 30280 4698 52 | 0.000 % |
2.52/2.53 c | 4798 | 958 90841 386353 | 30280 4798 52 | 0.000 % |
2.52/2.55 c | 4909 | 958 90841 386353 | 30280 4909 52 | 0.000 % |
2.62/2.61 c | 5031 | 958 90841 386353 | 30280 5031 52 | 0.000 % |
2.62/2.66 c | 5165 | 958 90841 386353 | 30280 5165 52 | 0.000 % |
2.62/2.70 c | 5311 | 958 90841 386353 | 30280 5311 52 | 0.000 % |
2.72/2.78 c | 5472 | 958 90841 386353 | 30280 5472 52 | 0.000 % |
2.82/2.85 c | 5648 | 958 90841 386353 | 30280 5648 52 | 0.000 % |
2.92/2.91 c | 5842 | 958 90841 386353 | 30280 5842 53 | 0.000 % |
2.92/2.96 c | 6054 | 958 90841 386353 | 30280 6054 53 | 0.000 % |
2.92/2.99 c | 6154 | 958 90841 386353 | 30280 6154 53 | 0.000 % |
3.02/3.02 c | 6268 | 958 90841 386353 | 30280 6268 53 | 0.000 % |
3.02/3.05 c | 6389 | 958 90841 386353 | 30280 6389 54 | 0.000 % |
3.02/3.09 c | 6524 | 958 90841 386353 | 30280 6524 54 | 0.000 % |
3.12/3.18 c | 6671 | 958 90841 386353 | 30280 6671 54 | 0.000 % |
3.22/3.26 c | 6832 | 958 90841 386353 | 30280 6832 53 | 0.000 % |
3.33/3.35 c | 7010 | 958 90841 386353 | 30280 7010 53 | 0.000 % |
3.42/3.46 c | 7203 | 958 90841 386353 | 30280 7203 54 | 0.000 % |
3.52/3.53 c | 7415 | 958 90841 386353 | 30280 7415 54 | 0.000 % |
3.62/3.64 c | 7648 | 958 90841 386353 | 30280 7648 54 | 0.000 % |
3.62/3.68 c | 7748 | 958 90841 386353 | 30280 7748 53 | 0.000 % |
3.72/3.75 c | 7860 | 958 90841 386353 | 30280 7860 53 | 0.000 % |
3.82/3.83 c | 7982 | 958 90841 386353 | 30280 7982 53 | 0.000 % |
3.92/3.92 c | 8116 | 958 90841 386353 | 30280 8116 53 | 0.000 % |
3.92/4.00 c | 8264 | 958 90841 386353 | 30280 8264 52 | 0.000 % |
4.11/4.11 c | 8427 | 958 90841 386353 | 30280 8427 52 | 0.000 % |
4.21/4.24 c | 8604 | 958 90841 386353 | 30280 8604 52 | 0.001 % |
4.31/4.35 c | 8798 | 958 90841 386353 | 30280 8798 51 | 0.000 % |
4.42/4.46 c | 9014 | 958 90841 386353 | 30280 9014 51 | 0.000 % |
4.51/4.53 c | 9247 | 958 90841 386353 | 30280 9247 51 | 0.000 % |
4.61/4.65 c | 9504 | 958 90841 386353 | 30280 9504 51 | 0.000 % |
4.71/4.72 c | 9605 | 958 90841 386353 | 30280 9605 51 | 0.000 % |
4.71/4.77 c | 9716 | 958 90841 386353 | 30280 9716 51 | 0.000 % |
4.81/4.84 c | 9837 | 958 90841 386353 | 30280 9837 50 | 0.000 % |
4.91/4.92 c | 9971 | 958 90841 386353 | 30280 9971 50 | 0.000 % |
5.01/5.04 c | 10117 | 958 90841 386353 | 2147483647 10117 50 | 0.000 % |
5.11/5.14 c | 10277 | 958 90841 386353 | 2147483647 10277 49 | 0.000 % |
5.21/5.27 c | 10455 | 958 90841 386353 | 2147483647 10455 49 | 0.000 % |
5.41/5.41 c | 10650 | 958 90841 386353 | 2147483647 10650 49 | 0.000 % |
5.52/5.54 c | 10862 | 958 90841 386353 | 2147483647 10862 48 | 0.000 % |
5.61/5.70 c | 11097 | 958 90841 386353 | 2147483647 11097 48 | 0.000 % |
5.81/5.84 c | 11353 | 958 90841 386353 | 2147483647 11353 48 | 0.000 % |
5.91/5.98 c | 11634 | 958 90841 386353 | 2147483647 11634 48 | 0.000 % |
6.01/6.04 c | 11734 | 958 90841 386353 | 2147483647 11734 48 | 0.000 % |
6.11/6.12 c | 11847 | 958 90841 386353 | 2147483647 11847 48 | 0.000 % |
6.11/6.20 c | 11968 | 958 90841 386353 | 2147483647 11968 48 | 0.000 % |
6.21/6.28 c | 12101 | 958 90841 386353 | 2147483647 12101 48 | 0.001 % |
6.31/6.35 c | 12247 | 958 90841 386353 | 2147483647 12247 47 | 0.000 % |
6.41/6.42 c | 12407 | 958 90841 386353 | 2147483647 12407 47 | 0.000 % |
6.51/6.55 c | 12583 | 958 90841 386353 | 2147483647 12583 47 | 0.000 % |
6.51/6.62 c | 12777 | 958 90841 386353 | 2147483647 12777 47 | 0.000 % |
6.62/6.66 c | 12989 | 958 90841 386353 | 2147483647 12989 48 | 0.000 % |
6.71/6.72 c | 13222 | 958 90841 386353 | 2147483647 13222 48 | 0.000 % |
6.71/6.78 c | 13478 | 958 90841 386353 | 2147483647 13478 48 | 0.000 % |
6.81/6.83 c | 13760 | 958 90841 386353 | 2147483647 13760 48 | 0.000 % |
6.81/6.88 c | 14071 | 958 90841 386353 | 2147483647 14071 49 | 0.000 % |
6.91/6.91 c | 14172 | 958 90841 386353 | 2147483647 14172 49 | 0.000 % |
6.91/6.94 c | 14282 | 958 90841 386353 | 2147483647 14282 49 | 0.000 % |
6.91/6.97 c | 14404 | 958 90841 386353 | 2147483647 14404 49 | 0.000 % |
7.01/7.01 c | 14537 | 958 90841 386353 | 2147483647 14537 49 | 0.000 % |
7.01/7.06 c | 14690 | 958 90841 386353 | 2147483647 14690 50 | 0.000 % |
7.01/7.10 c | 14850 | 958 90841 386353 | 2147483647 14850 50 | 0.000 % |
7.11/7.15 c | 15026 | 958 90841 386353 | 2147483647 15026 50 | 0.000 % |
7.21/7.21 c | 15219 | 958 90841 386353 | 2147483647 15219 50 | 0.000 % |
7.21/7.26 c | 15431 | 958 90841 386353 | 2147483647 15431 50 | 0.000 % |
7.31/7.32 c | 15665 | 958 90841 386353 | 2147483647 15665 51 | 0.000 % |
7.31/7.39 c | 15923 | 958 90841 386353 | 2147483647 15923 51 | 0.000 % |
7.41/7.46 c | 16204 | 958 90841 386353 | 2147483647 16204 51 | 0.000 % |
7.51/7.56 c | 16517 | 958 90841 386353 | 2147483647 16517 51 | 0.000 % |
7.61/7.69 c | 16857 | 958 90841 386353 | 2147483647 16857 52 | 0.000 % |
7.72/7.73 c | 16958 | 958 90841 386353 | 2147483647 16958 52 | 0.000 % |
7.72/7.76 c | 17068 | 958 90841 386353 | 2147483647 17068 52 | 0.000 % |
7.81/7.82 c | 17189 | 958 90841 386353 | 2147483647 17189 52 | 0.000 % |
7.81/7.86 c | 17322 | 958 90841 386353 | 2147483647 17322 52 | 0.000 % |
7.91/7.92 c | 17469 | 958 90841 386353 | 2147483647 17469 52 | 0.000 % |
7.91/7.97 c | 17629 | 958 90841 386353 | 2147483647 17629 52 | 0.000 % |
8.01/8.03 c | 17806 | 958 90841 386353 | 2147483647 17806 52 | 0.000 % |
8.11/8.12 c | 17999 | 958 90841 386353 | 2147483647 17999 53 | 0.000 % |
8.21/8.22 c | 18212 | 958 90841 386353 | 2147483647 18212 53 | 0.000 % |
8.31/8.32 c | 18446 | 958 90841 386353 | 2147483647 18446 53 | 0.000 % |
8.41/8.45 c | 18702 | 958 90841 386353 | 2147483647 18702 53 | 0.000 % |
8.51/8.58 c | 18983 | 958 90841 386353 | 2147483647 18983 53 | 0.000 % |
8.71/8.72 c | 19292 | 958 90841 386353 | 2147483647 19292 54 | 0.000 % |
8.82/8.88 c | 19633 | 958 90841 386353 | 2147483647 19633 54 | 0.000 % |
9.01/9.06 c | 20005 | 958 90841 386353 | 2147483647 20005 54 | 0.000 % |
9.11/9.11 c | 20105 | 958 90841 386353 | 2147483647 20105 54 | 0.000 % |
9.11/9.17 c | 20218 | 958 90841 386353 | 2147483647 20218 54 | 0.000 % |
9.21/9.25 c | 20339 | 958 90841 386353 | 2147483647 20339 54 | 0.000 % |
9.31/9.33 c | 20472 | 958 90841 386353 | 2147483647 20472 54 | 0.000 % |
9.41/9.43 c | 20622 | 958 90841 386353 | 2147483647 20622 54 | 0.000 % |
9.51/9.54 c | 20782 | 958 90841 386353 | 2147483647 20782 54 | 0.000 % |
9.61/9.65 c | 20962 | 958 90841 386353 | 2147483647 20962 54 | 0.000 % |
9.71/9.76 c | 21158 | 958 90841 386353 | 2147483647 21158 55 | 0.000 % |
9.81/9.90 c | 21372 | 958 90841 386353 | 2147483647 21372 55 | 0.000 % |
9.92/10.00 c | 21607 | 958 90841 386353 | 2147483647 21607 55 | 0.000 % |
10.11/10.14 c | 21866 | 958 90841 386353 | 2147483647 21866 55 | 0.000 % |
10.31/10.34 c | 22147 | 958 90841 386353 | 2147483647 22147 55 | 0.000 % |
10.51/10.58 c | 22456 | 958 90841 386353 | 2147483647 22456 55 | 0.000 % |
10.71/10.80 c | 22796 | 958 90841 386353 | 2147483647 22796 55 | 0.000 % |
11.02/11.07 c | 23169 | 958 90841 386353 | 2147483647 23169 56 | 0.000 % |
11.31/11.36 c | 23578 | 958 90841 386353 | 2147483647 23578 56 | 0.000 % |
11.41/11.46 c | 23681 | 958 90841 386353 | 2147483647 23681 56 | 0.000 % |
11.51/11.57 c | 23795 | 958 90841 386353 | 2147483647 23795 56 | 0.000 % |
11.61/11.69 c | 23916 | 958 90841 386353 | 2147483647 23916 56 | 0.000 % |
11.81/11.83 c | 24049 | 958 90841 386353 | 2147483647 24049 56 | 0.000 % |
11.91/11.96 c | 24195 | 958 90841 386353 | 2147483647 24195 56 | 0.000 % |
12.01/12.11 c | 24357 | 958 90841 386353 | 2147483647 24357 56 | 0.000 % |
12.21/12.23 c | 24534 | 958 90841 386353 | 2147483647 24534 56 | 0.000 % |
12.41/12.45 c | 24727 | 958 90841 386353 | 2147483647 24727 56 | 0.000 % |
12.61/12.64 c | 24939 | 958 90841 386353 | 2147483647 24939 56 | 0.002 % |
12.81/12.82 c | 25172 | 958 90841 386353 | 2147483647 25172 56 | 0.000 % |
13.01/13.03 c | 25429 | 958 90841 386353 | 2147483647 25429 56 | 0.000 % |
13.22/13.27 c | 25711 | 958 90841 386353 | 2147483647 25711 56 | 0.000 % |
13.51/13.53 c | 26023 | 958 90841 386353 | 2147483647 26023 56 | 0.000 % |
13.81/13.85 c | 26364 | 958 90841 386353 | 2147483647 26364 57 | 0.000 % |
14.11/14.18 c | 26737 | 958 90841 386353 | 2147483647 26737 57 | 0.000 % |
14.51/14.56 c | 27147 | 958 90841 386353 | 2147483647 27147 57 | 0.000 % |
15.01/15.02 c | 27597 | 958 90841 386353 | 2147483647 27597 57 | 0.000 % |
15.11/15.16 c | 27698 | 958 90841 386353 | 2147483647 27698 57 | 0.000 % |
15.31/15.32 c | 27810 | 958 90841 386353 | 2147483647 27810 57 | 0.000 % |
15.42/15.46 c | 27932 | 958 90841 386353 | 2147483647 27932 57 | 0.000 % |
15.61/15.62 c | 28067 | 958 90841 386353 | 2147483647 28067 57 | 0.000 % |
15.61/15.68 c | 28213 | 958 90841 386353 | 2147483647 28213 57 | 0.000 % |
15.81/15.91 c | 28373 | 958 90841 386353 | 2147483647 28373 57 | 0.000 % |
16.01/16.09 c | 28555 | 958 90841 386353 | 2147483647 28555 57 | 0.000 % |
16.31/16.35 c | 28749 | 958 90841 386353 | 2147483647 28749 57 | 0.000 % |
16.61/16.65 c | 28961 | 958 90841 386353 | 2147483647 28961 57 | 0.000 % |
16.91/16.94 c | 29194 | 958 90841 386353 | 2147483647 29194 57 | 0.000 % |
17.21/17.25 c | 29450 | 958 90841 386353 | 2147483647 29450 57 | 0.000 % |
17.51/17.59 c | 29731 | 958 90841 386353 | 2147483647 29731 56 | 0.000 % |
17.81/17.89 c | 30040 | 958 90841 386353 | 2147483647 30040 56 | 0.000 % |
18.11/18.16 c | 30380 | 958 90841 386353 | 2147483647 30380 56 | 0.000 % |
18.61/18.63 c | 30752 | 958 90841 386353 | 2147483647 30752 56 | 0.000 % |
19.01/19.10 c | 31161 | 958 90841 386353 | 2147483647 31161 56 | 0.000 % |
19.31/19.39 c | 31610 | 958 90841 386353 | 2147483647 31610 56 | 0.000 % |
19.71/19.80 c | 32103 | 958 90841 386353 | 2147483647 32103 56 | 0.000 % |
19.91/19.91 c | 32204 | 958 90841 386353 | 2147483647 32204 56 | 0.000 % |
20.01/20.01 c | 32317 | 958 90841 386353 | 2147483647 32317 56 | 0.000 % |
20.01/20.09 c | 32438 | 958 90841 386353 | 2147483647 32438 56 | 0.000 % |
20.11/20.20 c | 32573 | 958 90841 386353 | 2147483647 32573 56 | 0.000 % |
20.31/20.39 c | 32719 | 958 90841 386353 | 2147483647 32719 56 | 0.000 % |
20.51/20.56 c | 32879 | 958 90841 386353 | 2147483647 32879 56 | 0.000 % |
20.71/20.79 c | 33056 | 958 90841 386353 | 2147483647 33056 56 | 0.000 % |
21.01/21.04 c | 33253 | 958 90841 386353 | 2147483647 33253 56 | 0.000 % |
21.11/21.19 c | 33465 | 958 90841 386353 | 2147483647 33465 56 | 0.000 % |
21.31/21.38 c | 33698 | 958 90841 386353 | 2147483647 33698 56 | 0.001 % |
21.61/21.70 c | 33954 | 958 90841 386353 | 2147483647 33954 56 | 0.000 % |
21.91/21.94 c | 34235 | 958 90841 386353 | 2147483647 34235 56 | 0.000 % |
22.11/22.14 c | 34546 | 958 90841 386353 | 2147483647 34546 56 | 0.000 % |
22.31/22.37 c | 34885 | 958 90841 386353 | 2147483647 34885 56 | 0.000 % |
22.51/22.60 c | 35257 | 958 90841 386353 | 2147483647 35257 56 | 0.000 % |
23.01/23.05 c | 35666 | 958 90841 386353 | 2147483647 35666 56 | 0.001 % |
23.51/23.56 c | 36115 | 958 90841 386353 | 2147483647 36115 56 | 0.000 % |
23.91/23.99 c | 36613 | 958 90841 386353 | 2147483647 36613 56 | 0.000 % |
24.41/24.47 c | 37158 | 958 90841 386353 | 2147483647 37158 56 | 0.000 % |
24.51/24.56 c | 37259 | 958 90841 386353 | 2147483647 37259 56 | 0.000 % |
24.61/24.66 c | 37371 | 958 90841 386353 | 2147483647 37371 56 | 0.000 % |
24.71/24.72 c | 37493 | 958 90841 386353 | 2147483647 37493 56 | 0.000 % |
24.81/24.84 c | 37629 | 958 90841 386353 | 2147483647 37629 56 | 0.000 % |
24.91/24.96 c | 37775 | 958 90841 386353 | 2147483647 37775 56 | 0.000 % |
25.11/25.13 c | 37936 | 958 90841 386353 | 2147483647 37936 56 | 0.001 % |
25.21/25.28 c | 38115 | 958 90841 386353 | 2147483647 38115 55 | 0.000 % |
25.41/25.42 c | 38308 | 958 90841 386353 | 2147483647 38308 55 | 0.001 % |
25.51/25.60 c | 38522 | 958 90841 386353 | 2147483647 38522 55 | 0.001 % |
25.81/25.90 c | 38756 | 958 90841 386353 | 2147483647 38756 55 | 0.000 % |
26.11/26.17 c | 39012 | 958 90841 386353 | 2147483647 39012 55 | 0.000 % |
26.21/26.29 c | 39294 | 958 90841 386353 | 2147483647 39294 55 | 0.000 % |
26.51/26.57 c | 39603 | 958 90841 386353 | 2147483647 39603 55 | 0.000 % |
26.81/26.89 c | 39944 | 958 90841 386353 | 2147483647 39944 55 | 0.000 % |
27.21/27.24 c | 40317 | 958 90841 386353 | 2147483647 40317 56 | 0.000 % |
27.52/27.56 c | 40726 | 958 90841 386353 | 2147483647 40726 56 | 0.000 % |
27.91/27.98 c | 41175 | 958 90841 386353 | 2147483647 41175 56 | 0.000 % |
28.21/28.28 c | 41670 | 958 90841 386353 | 2147483647 41670 56 | 0.000 % |
28.91/28.95 c | 42212 | 958 90841 386353 | 2147483647 42212 56 | 0.000 % |
29.51/29.55 c | 42809 | 958 90841 386353 | 2147483647 42809 56 | 0.000 % |
29.61/29.66 c | 42910 | 958 90841 386353 | 2147483647 42910 56 | 0.000 % |
29.72/29.75 c | 43022 | 958 90841 386353 | 2147483647 43022 56 | 0.000 % |
29.81/29.87 c | 43143 | 958 90841 386353 | 2147483647 43143 56 | 0.000 % |
30.01/30.03 c | 43276 | 958 90841 386353 | 2147483647 43276 56 | 0.000 % |
30.11/30.12 c | 43423 | 958 90841 386353 | 2147483647 43423 56 | 0.000 % |
30.21/30.30 c | 43584 | 958 90841 386353 | 2147483647 43584 56 | 0.000 % |
30.41/30.44 c | 43763 | 958 90841 386353 | 2147483647 43763 56 | 0.000 % |
30.71/30.73 c | 43958 | 958 90841 386353 | 2147483647 43958 56 | 0.000 % |
30.91/31.00 c | 44170 | 958 90841 386353 | 2147483647 44170 56 | 0.000 % |
31.21/31.30 c | 44404 | 958 90841 386353 | 2147483647 44404 56 | 0.000 % |
31.51/31.60 c | 44660 | 958 90841 386353 | 2147483647 44660 56 | 0.000 % |
31.81/31.89 c | 44945 | 958 90841 386353 | 2147483647 44945 56 | 0.000 % |
32.21/32.28 c | 45256 | 958 90841 386353 | 2147483647 45256 56 | 0.000 % |
32.71/32.74 c | 45595 | 958 90841 386353 | 2147483647 45595 56 | 0.000 % |
33.21/33.28 c | 45967 | 958 90841 386353 | 2147483647 45967 56 | 0.000 % |
33.61/33.67 c | 46376 | 958 90841 386353 | 2147483647 46376 56 | 0.000 % |
34.21/34.23 c | 46825 | 958 90841 386353 | 2147483647 46825 56 | 0.000 % |
34.71/34.74 c | 47318 | 958 90841 386353 | 2147483647 47318 56 | 0.000 % |
35.31/35.37 c | 47863 | 958 90841 386353 | 2147483647 47863 56 | 0.000 % |
35.91/35.99 c | 48459 | 958 90841 386353 | 2147483647 48459 56 | 0.000 % |
36.81/36.82 c | 49114 | 958 90841 386353 | 2147483647 49114 56 | 0.000 % |
36.91/36.95 c | 49216 | 958 90841 386353 | 2147483647 49216 56 | 0.000 % |
37.01/37.08 c | 49326 | 958 90841 386353 | 2147483647 49326 56 | 0.000 % |
37.11/37.15 c | 49447 | 958 90841 386353 | 2147483647 49447 56 | 0.000 % |
37.31/37.36 c | 49581 | 958 90841 386353 | 2147483647 49581 56 | 0.000 % |
37.51/37.51 c | 49729 | 958 90841 386353 | 2147483647 49729 56 | 0.000 % |
37.71/37.72 c | 49889 | 958 90841 386353 | 2147483647 49889 56 | 0.000 % |
37.81/37.88 c | 50067 | 958 90841 386353 | 2147483647 50067 56 | 0.000 % |
38.11/38.15 c | 50260 | 958 90841 386353 | 2147483647 50260 56 | 0.000 % |
38.21/38.28 c | 50473 | 958 90841 386353 | 2147483647 50473 56 | 0.000 % |
38.41/38.51 c | 50707 | 958 90841 386353 | 2147483647 50707 56 | 0.000 % |
38.81/38.81 c | 50965 | 958 90841 386353 | 2147483647 50965 56 | 0.000 % |
39.21/39.23 c | 51246 | 958 90841 386353 | 2147483647 51246 56 | 0.000 % |
39.62/39.69 c | 51558 | 958 90841 386353 | 2147483647 51558 56 | 0.000 % |
40.11/40.11 c | 51897 | 958 90841 386353 | 2147483647 51897 56 | 0.000 % |
40.51/40.51 c | 52272 | 958 90841 386353 | 2147483647 52272 56 | 0.000 % |
40.81/40.85 c | 52683 | 958 90841 386353 | 2147483647 52683 56 | 0.000 % |
41.31/41.32 c | 53133 | 958 90841 386353 | 2147483647 53133 56 | 0.000 % |
41.82/41.89 c | 53626 | 958 90841 386353 | 2147483647 53626 56 | 0.000 % |
42.51/42.52 c | 54168 | 958 90841 386353 | 2147483647 54168 56 | 0.000 % |
43.11/43.18 c | 54766 | 958 90841 386353 | 2147483647 54766 56 | 0.000 % |
44.02/44.09 c | 55421 | 958 90841 386353 | 2147483647 55421 56 | 0.000 % |
45.02/45.02 c | 56142 | 958 90841 386353 | 2147483647 56142 57 | 0.000 % |
45.12/45.15 c | 56247 | 958 90841 386353 | 2147483647 56247 57 | 0.000 % |
45.22/45.29 c | 56357 | 958 90841 386353 | 2147483647 56357 57 | 0.000 % |
45.42/45.47 c | 56480 | 958 90841 386353 | 2147483647 56480 57 | 0.000 % |
45.62/45.65 c | 56613 | 958 90841 386353 | 2147483647 56613 57 | 0.000 % |
45.72/45.80 c | 56761 | 958 90841 386353 | 2147483647 56761 57 | 0.000 % |
45.92/45.95 c | 56923 | 958 90841 386353 | 2147483647 56923 57 | 0.000 % |
46.22/46.26 c | 57101 | 958 90841 386353 | 2147483647 57101 57 | 0.000 % |
46.52/46.52 c | 57294 | 958 90841 386353 | 2147483647 57294 57 | 0.000 % |
46.82/46.83 c | 57506 | 958 90841 386353 | 2147483647 57506 57 | 0.000 % |
47.12/47.21 c | 57741 | 958 90841 386353 | 2147483647 57741 57 | 0.000 % |
47.42/47.48 c | 57998 | 958 90841 386353 | 2147483647 57998 57 | 0.000 % |
47.72/47.79 c | 58281 | 958 90841 386353 | 2147483647 58281 57 | 0.000 % |
48.22/48.26 c | 58591 | 958 90841 386353 | 2147483647 58591 57 | 0.000 % |
48.52/48.53 c | 58931 | 958 90841 386353 | 2147483647 58931 57 | 0.000 % |
49.02/49.09 c | 59304 | 958 90841 386353 | 2147483647 59304 57 | 0.000 % |
49.82/49.84 c | 59715 | 958 90841 386353 | 2147483647 59715 57 | 0.000 % |
50.42/50.47 c | 60165 | 958 90841 386353 | 2147483647 60165 57 | 0.000 % |
51.02/51.02 c | 60661 | 958 90841 386353 | 2147483647 60661 57 | 0.000 % |
51.52/51.56 c | 61203 | 958 90841 386353 | 2147483647 61203 57 | 0.000 % |
52.22/52.22 c | 61799 | 958 90841 386353 | 2147483647 61799 57 | 0.000 % |
53.02/53.08 c | 62455 | 958 90841 386353 | 2147483647 62455 57 | 0.000 % |
53.82/53.85 c | 63176 | 958 90841 386353 | 2147483647 63176 57 | 0.000 % |
55.02/55.03 c | 63969 | 958 90841 386353 | 2147483647 63969 57 | 0.000 % |
55.22/55.24 c | 64071 | 958 90841 386353 | 2147483647 64071 57 | 0.000 % |
55.42/55.43 c | 64183 | 958 90841 386353 | 2147483647 64183 57 | 0.000 % |
55.52/55.56 c | 64305 | 958 90841 386353 | 2147483647 64305 57 | 0.000 % |
55.62/55.71 c | 64439 | 958 90841 386353 | 2147483647 64439 57 | 0.000 % |
55.92/55.95 c | 64585 | 958 90841 386353 | 2147483647 64585 57 | 0.000 % |
56.22/56.26 c | 64745 | 958 90841 386353 | 2147483647 64745 57 | 0.000 % |
56.32/56.39 c | 64921 | 958 90841 386353 | 2147483647 64921 57 | 0.000 % |
56.62/56.68 c | 65115 | 958 90841 386353 | 2147483647 65115 57 | 0.000 % |
56.92/56.92 c | 65327 | 958 90841 386353 | 2147483647 65327 57 | 0.000 % |
57.12/57.19 c | 65561 | 958 90841 386353 | 2147483647 65561 57 | 0.000 % |
57.52/57.61 c | 65818 | 958 90841 386353 | 2147483647 65818 57 | 0.000 % |
57.82/57.91 c | 66101 | 958 90841 386353 | 2147483647 66101 57 | 0.000 % |
58.22/58.28 c | 66410 | 958 90841 386353 | 2147483647 66410 57 | 0.000 % |
58.62/58.70 c | 66751 | 958 90841 386353 | 2147483647 66751 57 | 0.000 % |
59.22/59.24 c | 67124 | 958 90841 386353 | 2147483647 67124 57 | 0.000 % |
59.62/59.64 c | 67533 | 958 90841 386353 | 2147483647 67533 57 | 0.000 % |
60.52/60.54 c | 67982 | 958 90841 386353 | 2147483647 67982 57 | 0.000 % |
61.42/61.42 c | 68475 | 958 90841 386353 | 2147483647 68475 57 | 0.000 % |
62.32/62.33 c | 69017 | 958 90841 386353 | 2147483647 69017 57 | 0.000 % |
63.22/63.29 c | 69613 | 958 90841 386353 | 2147483647 69613 57 | 0.000 % |
64.32/64.36 c | 70268 | 958 90841 386353 | 2147483647 70268 57 | 0.000 % |
65.52/65.61 c | 70990 | 958 90841 386353 | 2147483647 70990 57 | 0.000 % |
66.92/66.93 c | 71785 | 958 90841 386353 | 2147483647 71785 57 | 0.000 % |
68.12/68.13 c | 72656 | 958 90841 386353 | 2147483647 72656 57 | 0.000 % |
68.22/68.24 c | 72756 | 958 90841 386353 | 2147483647 72756 57 | 0.000 % |
68.42/68.45 c | 72867 | 958 90841 386353 | 2147483647 72867 57 | 0.000 % |
68.72/68.73 c | 72991 | 958 90841 386353 | 2147483647 72991 57 | 0.000 % |
68.82/68.91 c | 73126 | 958 90841 386353 | 2147483647 73126 57 | 0.000 % |
69.12/69.18 c | 73272 | 958 90841 386353 | 2147483647 73272 57 | 0.000 % |
69.42/69.50 c | 73435 | 958 90841 386353 | 2147483647 73435 57 | 0.000 % |
69.72/69.81 c | 73611 | 958 90841 386353 | 2147483647 73611 57 | 0.000 % |
70.02/70.11 c | 73806 | 958 90841 386353 | 2147483647 73806 57 | 0.000 % |
70.42/70.44 c | 74018 | 958 90841 386353 | 2147483647 74018 57 | 0.000 % |
70.82/70.91 c | 74252 | 958 90841 386353 | 2147483647 74252 57 | 0.000 % |
71.22/71.26 c | 74508 | 958 90841 386353 | 2147483647 74508 57 | 0.000 % |
71.72/71.77 c | 74790 | 958 90841 386353 | 2147483647 74790 57 | 0.000 % |
72.02/72.08 c | 75100 | 958 90841 386353 | 2147483647 75100 57 | 0.000 % |
72.62/72.62 c | 75440 | 958 90841 386353 | 2147483647 75440 57 | 0.000 % |
73.02/73.08 c | 75812 | 958 90841 386353 | 2147483647 75812 57 | 0.000 % |
73.72/73.73 c | 76221 | 958 90841 386353 | 2147483647 76221 57 | 0.000 % |
74.42/74.49 c | 76671 | 958 90841 386353 | 2147483647 76671 57 | 0.000 % |
75.42/75.42 c | 77165 | 958 90841 386353 | 2147483647 77165 57 | 0.000 % |
76.22/76.25 c | 77708 | 958 90841 386353 | 2147483647 77708 57 | 0.000 % |
77.32/77.33 c | 78307 | 958 90841 386353 | 2147483647 78307 57 | 0.000 % |
78.52/78.53 c | 78964 | 958 90841 386353 | 2147483647 78964 57 | 0.000 % |
79.92/79.96 c | 79684 | 958 90841 386353 | 2147483647 79684 57 | 0.000 % |
81.72/81.76 c | 80476 | 958 90841 386353 | 2147483647 80476 57 | 0.000 % |
83.52/83.56 c | 81348 | 958 90841 386353 | 2147483647 81348 57 | 0.000 % |
85.72/85.75 c | 82307 | 958 90841 386353 | 2147483647 82307 57 | 0.000 % |
85.92/85.96 c | 82407 | 958 90841 386353 | 2147483647 82407 57 | 0.000 % |
86.12/86.20 c | 82519 | 958 90841 386353 | 2147483647 82519 57 | 0.000 % |
86.42/86.47 c | 82640 | 958 90841 386353 | 2147483647 82640 57 | 0.000 % |
86.62/86.69 c | 82773 | 958 90841 386353 | 2147483647 82773 57 | 0.000 % |
86.92/87.01 c | 82920 | 958 90841 386353 | 2147483647 82920 57 | 0.000 % |
87.32/87.35 c | 83081 | 958 90841 386353 | 2147483647 83081 57 | 0.000 % |
87.62/87.70 c | 83259 | 958 90841 386353 | 2147483647 83259 57 | 0.000 % |
88.02/88.11 c | 83453 | 958 90841 386353 | 2147483647 83453 57 | 0.000 % |
88.42/88.49 c | 83667 | 958 90841 386353 | 2147483647 83667 57 | 0.000 % |
88.82/88.87 c | 83902 | 958 90841 386353 | 2147483647 83902 57 | 0.000 % |
89.12/89.16 c | 84161 | 958 90841 386353 | 2147483647 84161 57 | 0.000 % |
89.62/89.71 c | 84442 | 958 90841 386353 | 2147483647 84442 57 | 0.000 % |
90.12/90.17 c | 84751 | 958 90841 386353 | 2147483647 84751 57 | 0.000 % |
90.62/90.63 c | 85091 | 958 90841 386353 | 2147483647 85091 57 | 0.000 % |
91.42/91.44 c | 85463 | 958 90841 386353 | 2147483647 85463 57 | 0.000 % |
92.12/92.14 c | 85874 | 958 90841 386353 | 2147483647 85874 57 | 0.000 % |
92.82/92.84 c | 86323 | 958 90841 386353 | 2147483647 86323 57 | 0.000 % |
93.62/93.67 c | 86816 | 958 90841 386353 | 2147483647 86816 57 | 0.000 % |
94.52/94.56 c | 87359 | 958 90841 386353 | 2147483647 87359 57 | 0.000 % |
95.52/95.56 c | 87955 | 958 90841 386353 | 2147483647 87955 57 | 0.000 % |
96.62/96.69 c | 88613 | 958 90841 386353 | 2147483647 88613 57 | 0.000 % |
97.92/97.92 c | 89334 | 958 90841 386353 | 2147483647 89334 57 | 0.000 % |
99.32/99.35 c | 90127 | 958 90841 386353 | 2147483647 90127 57 | 0.000 % |
101.12/101.12 c | 91000 | 958 90841 386353 | 2147483647 91000 57 | 0.000 % |
103.12/103.15 c | 91959 | 958 90841 386353 | 2147483647 91959 57 | 0.000 % |
104.92/104.95 c | 93012 | 958 90841 386353 | 2147483647 93012 57 | 0.000 % |
105.22/105.22 c | 93114 | 958 90841 386353 | 2147483647 93114 57 | 0.000 % |
105.42/105.44 c | 93225 | 958 90841 386353 | 2147483647 93225 57 | 0.000 % |
105.52/105.59 c | 93348 | 958 90841 386353 | 2147483647 93348 57 | 0.000 % |
105.82/105.82 c | 93481 | 958 90841 386353 | 2147483647 93481 57 | 0.000 % |
106.12/106.15 c | 93627 | 958 90841 386353 | 2147483647 93627 57 | 0.000 % |
106.42/106.45 c | 93790 | 958 90841 386353 | 2147483647 93790 57 | 0.000 % |
106.72/106.81 c | 93966 | 958 90841 386353 | 2147483647 93966 57 | 0.000 % |
107.12/107.19 c | 94159 | 958 90841 386353 | 2147483647 94159 57 | 0.000 % |
107.62/107.66 c | 94373 | 958 90841 386353 | 2147483647 94373 57 | 0.000 % |
108.12/108.14 c | 94607 | 958 90841 386353 | 2147483647 94607 57 | 0.000 % |
108.62/108.65 c | 94865 | 958 90841 386353 | 2147483647 94865 57 | 0.000 % |
109.12/109.18 c | 95146 | 958 90841 386353 | 2147483647 95146 57 | 0.000 % |
109.92/109.94 c | 95455 | 958 90841 386353 | 2147483647 95455 57 | 0.000 % |
110.72/110.75 c | 95794 | 958 90841 386353 | 2147483647 95794 57 | 0.000 % |
111.62/111.66 c | 96167 | 958 90841 386353 | 2147483647 96167 57 | 0.000 % |
112.23/112.23 c | 96580 | 958 90841 386353 | 2147483647 96580 57 | 0.000 % |
113.33/113.39 c | 97034 | 958 90841 386353 | 2147483647 97034 57 | 0.000 % |
114.72/114.75 c | 97531 | 958 90841 386353 | 2147483647 97531 57 | 0.000 % |
116.02/116.02 c | 98073 | 958 90841 386353 | 2147483647 98073 57 | 0.000 % |
117.32/117.33 c | 98670 | 958 90841 386353 | 2147483647 98670 57 | 0.000 % |
118.62/118.66 c | 99326 | 958 90841 386353 | 2147483647 99326 57 | 0.000 % |
120.22/120.28 c | 100047 | 958 90841 386353 | 100002 100047 57 | 0.000 % |
122.22/122.28 c | 100840 | 958 90841 386353 | 100002 89705 58 | 0.000 % |
124.12/124.13 c | 101713 | 958 90841 386353 | 100002 90578 58 | 0.000 % |
126.22/126.29 c | 102671 | 958 90841 386353 | 100002 91536 58 | 0.000 % |
128.92/128.94 c | 103725 | 958 90841 386353 | 100002 92590 58 | 0.000 % |
131.32/131.38 c | 104883 | 958 90841 386353 | 100002 93748 58 | 0.000 % |
131.62/131.65 c | 104984 | 958 90841 386353 | 100002 93849 58 | 0.000 % |
132.12/132.13 c | 105095 | 958 90841 386353 | 100002 93960 58 | 0.000 % |
132.62/132.63 c | 105217 | 958 90841 386353 | 100002 94082 58 | 0.000 % |
133.02/133.03 c | 105351 | 958 90841 386353 | 100002 94216 58 | 0.000 % |
133.42/133.46 c | 105497 | 958 90841 386353 | 100002 94362 58 | 0.000 % |
133.92/133.96 c | 105657 | 958 90841 386353 | 100002 94522 58 | 0.000 % |
134.32/134.38 c | 105836 | 958 90841 386353 | 100002 94701 58 | 0.000 % |
134.72/134.75 c | 106030 | 958 90841 386353 | 100002 94895 58 | 0.000 % |
135.22/135.24 c | 106242 | 958 90841 386353 | 100002 95107 58 | 0.000 % |
135.72/135.80 c | 106475 | 958 90841 386353 | 100002 95340 58 | 0.000 % |
136.62/136.63 c | 106731 | 958 90841 386353 | 100002 95596 58 | 0.000 % |
137.22/137.30 c | 107013 | 958 90841 386353 | 100002 95878 58 | 0.000 % |
138.02/138.09 c | 107322 | 958 90841 386353 | 100002 96187 58 | 0.000 % |
138.92/139.01 c | 107662 | 958 90841 386353 | 100002 96527 58 | 0.000 % |
139.82/139.85 c | 108034 | 958 90841 386353 | 100002 96899 58 | 0.000 % |
140.72/140.79 c | 108445 | 958 90841 386353 | 100002 97310 58 | 0.000 % |
142.12/142.16 c | 108895 | 958 90841 386353 | 100002 97760 58 | 0.000 % |
143.52/143.61 c | 109389 | 958 90841 386353 | 100002 98254 58 | 0.000 % |
145.32/145.33 c | 109933 | 958 90841 386353 | 100002 98798 58 | 0.000 % |
147.32/147.37 c | 110532 | 958 90841 386353 | 98866 84392 58 | 0.000 % |
149.02/149.01 c | 111187 | 958 90841 386353 | 98866 85047 58 | 0.000 % |
151.02/151.07 c | 111912 | 958 90841 386353 | 98866 85772 58 | 0.000 % |
153.42/153.46 c | 112704 | 958 90841 386353 | 98866 86564 58 | 0.000 % |
155.52/155.57 c | 113576 | 958 90841 386353 | 98866 87436 58 | 0.000 % |
157.52/157.58 c | 114534 | 958 90841 386353 | 98866 88394 58 | 0.000 % |
159.93/160.02 c | 115589 | 958 90841 386353 | 98866 89449 58 | 0.000 % |
163.63/163.68 c | 116748 | 958 90841 386353 | 98866 90608 58 | 0.000 % |
167.13/167.17 c | 118023 | 958 90841 386353 | 98866 91883 58 | 0.000 % |
167.53/167.56 c | 118123 | 958 90841 386353 | 98866 91983 58 | 0.000 % |
167.73/167.78 c | 118235 | 958 90841 386353 | 98866 92095 58 | 0.000 % |
168.03/168.02 c | 118356 | 958 90841 386353 | 98866 92216 58 | 0.000 % |
168.23/168.29 c | 118490 | 958 90841 386353 | 98866 92350 58 | 0.000 % |
168.43/168.50 c | 118640 | 958 90841 386353 | 98866 92500 58 | 0.000 % |
168.73/168.74 c | 118801 | 958 90841 386353 | 98866 92661 58 | 0.000 % |
169.03/169.11 c | 118978 | 958 90841 386353 | 98866 92838 58 | 0.000 % |
169.43/169.51 c | 119171 | 958 90841 386353 | 98866 93031 58 | 0.000 % |
169.83/169.90 c | 119383 | 958 90841 386353 | 98866 93243 58 | 0.000 % |
170.23/170.31 c | 119616 | 958 90841 386353 | 98866 93476 58 | 0.000 % |
170.73/170.77 c | 119874 | 958 90841 386353 | 98866 93734 58 | 0.000 % |
171.23/171.30 c | 120159 | 958 90841 386353 | 2147483647 94019 58 | 0.000 % |
171.83/171.89 c | 120468 | 958 90841 386353 | 2147483647 94328 58 | 0.000 % |
172.53/172.59 c | 120808 | 958 90841 386353 | 2147483647 94668 58 | 0.000 % |
173.23/173.26 c | 121181 | 958 90841 386353 | 2147483647 95041 58 | 0.000 % |
173.93/174.01 c | 121591 | 958 90841 386353 | 2147483647 95451 58 | 0.000 % |
175.33/175.37 c | 122040 | 958 90841 386353 | 2147483647 95900 58 | 0.000 % |
176.73/176.78 c | 122534 | 958 90841 386353 | 2147483647 96394 58 | 0.000 % |
178.13/178.22 c | 123078 | 958 90841 386353 | 2147483647 96938 58 | 0.000 % |
179.73/179.79 c | 123676 | 958 90841 386353 | 2147483647 97536 58 | 0.000 % |
181.03/181.11 c | 124331 | 958 90841 386353 | 2147483647 98191 58 | 0.000 % |
182.73/182.72 c | 125051 | 958 90841 386353 | 2147483647 98911 58 | 0.000 % |
185.03/185.05 c | 125845 | 958 90841 386353 | 2147483647 99705 58 | 0.000 % |
187.53/187.54 c | 126718 | 958 90841 386353 | 2147483647 100578 58 | 0.000 % |
190.23/190.25 c | 127677 | 958 90841 386353 | 2147483647 101537 58 | 0.000 % |
193.13/193.15 c | 128730 | 958 90841 386353 | 2147483647 102590 58 | 0.000 % |
195.73/195.81 c | 129890 | 958 90841 386353 | 2147483647 103750 58 | 0.000 % |
199.33/199.41 c | 131163 | 958 90841 386353 | 2147483647 105023 58 | 0.000 % |
203.03/203.11 c | 132565 | 958 90841 386353 | 2147483647 106425 58 | 0.000 % |
203.43/203.44 c | 132665 | 958 90841 386353 | 2147483647 106525 58 | 0.000 % |
203.83/203.82 c | 132775 | 958 90841 386353 | 2147483647 106635 58 | 0.000 % |
204.23/204.27 c | 132896 | 958 90841 386353 | 2147483647 106756 58 | 0.000 % |
204.53/204.56 c | 133030 | 958 90841 386353 | 2147483647 106890 58 | 0.000 % |
205.13/205.17 c | 133178 | 958 90841 386353 | 2147483647 107038 58 | 0.000 % |
205.63/205.72 c | 133338 | 958 90841 386353 | 2147483647 107198 58 | 0.000 % |
206.23/206.29 c | 133514 | 958 90841 386353 | 2147483647 107374 58 | 0.000 % |
207.13/207.12 c | 133707 | 958 90841 386353 | 2147483647 107567 58 | 0.000 % |
207.73/207.79 c | 133921 | 958 90841 386353 | 2147483647 107781 58 | 0.000 % |
208.53/208.58 c | 134155 | 958 90841 386353 | 2147483647 108015 58 | 0.000 % |
209.33/209.36 c | 134414 | 958 90841 386353 | 2147483647 108274 58 | 0.000 % |
210.13/210.21 c | 134697 | 958 90841 386353 | 2147483647 108557 58 | 0.000 % |
211.03/211.09 c | 135011 | 958 90841 386353 | 2147483647 108871 58 | 0.000 % |
212.53/212.52 c | 135350 | 958 90841 386353 | 2147483647 109210 58 | 0.000 % |
213.13/213.20 c | 135724 | 958 90841 386353 | 2147483647 109584 58 | 0.000 % |
213.93/213.99 c | 136133 | 958 90841 386353 | 2147483647 109993 58 | 0.000 % |
214.83/214.91 c | 136584 | 958 90841 386353 | 2147483647 110444 58 | 0.000 % |
216.83/216.84 c | 137079 | 958 90841 386353 | 2147483647 110939 58 | 0.000 % |
218.63/218.69 c | 137623 | 958 90841 386353 | 2147483647 111483 58 | 0.000 % |
220.13/220.14 c | 138221 | 958 90841 386353 | 2147483647 112081 58 | 0.000 % |
221.83/221.85 c | 138876 | 958 90841 386353 | 2147483647 112736 58 | 0.000 % |
223.53/223.57 c | 139597 | 958 90841 386353 | 2147483647 113457 58 | 0.000 % |
226.53/226.58 c | 140390 | 958 90841 386353 | 113861 99007 59 | 0.000 % |
228.93/228.96 c | 141263 | 958 90841 386353 | 113861 99880 59 | 0.000 % |
231.53/231.54 c | 142221 | 958 90841 386353 | 113861 100838 59 | 0.000 % |
234.23/234.22 c | 143275 | 958 90841 386353 | 113861 101892 58 | 0.000 % |
237.03/237.05 c | 144433 | 958 90841 386353 | 113861 103050 58 | 0.000 % |
239.53/239.54 c | 145707 | 958 90841 386353 | 113861 104324 58 | 0.000 % |
242.53/242.59 c | 147107 | 958 90841 386353 | 113861 105724 58 | 0.000 % |
245.53/245.59 c | 148647 | 958 90841 386353 | 113861 107264 58 | 0.000 % |
245.73/245.77 c | 148751 | 958 90841 386353 | 113861 107368 58 | 0.000 % |
246.03/246.04 c | 148861 | 958 90841 386353 | 113861 107478 58 | 0.000 % |
246.33/246.37 c | 148987 | 958 90841 386353 | 113861 107604 58 | 0.000 % |
246.63/246.66 c | 149122 | 958 90841 386353 | 113861 107739 58 | 0.000 % |
246.93/246.99 c | 149268 | 958 90841 386353 | 113861 107885 58 | 0.000 % |
247.33/247.33 c | 149428 | 958 90841 386353 | 113861 108045 58 | 0.000 % |
247.73/247.72 c | 149604 | 958 90841 386353 | 113861 108221 58 | 0.000 % |
248.13/248.14 c | 149802 | 958 90841 386353 | 113861 108419 58 | 0.000 % |
248.53/248.57 c | 150015 | 958 90841 386353 | 108618 108632 58 | 0.000 % |
249.83/249.88 c | 150249 | 958 90841 386353 | 108618 97563 58 | 0.000 % |
250.73/250.72 c | 150505 | 958 90841 386353 | 108618 97819 58 | 0.000 % |
251.63/251.64 c | 150786 | 958 90841 386353 | 108618 98100 58 | 0.000 % |
252.13/252.20 c | 151098 | 958 90841 386353 | 108618 98412 58 | 0.000 % |
253.23/253.28 c | 151437 | 958 90841 386353 | 108618 98751 58 | 0.000 % |
254.14/254.16 c | 151809 | 958 90841 386353 | 108618 99123 58 | 0.000 % |
255.24/255.24 c | 152219 | 958 90841 386353 | 108618 99533 58 | 0.000 % |
256.53/256.60 c | 152668 | 958 90841 386353 | 108618 99982 58 | 0.000 % |
257.83/257.85 c | 153161 | 958 90841 386353 | 108618 100475 58 | 0.000 % |
259.53/259.55 c | 153704 | 958 90841 386353 | 108618 101018 58 | 0.000 % |
261.33/261.33 c | 154300 | 958 90841 386353 | 108618 101614 58 | 0.000 % |
263.43/263.50 c | 154955 | 958 90841 386353 | 108618 102269 58 | 0.000 % |
265.03/265.07 c | 155675 | 958 90841 386353 | 108618 102989 58 | 0.000 % |
267.02/267.01 c | 156468 | 958 90841 386353 | 108618 103782 58 | 0.000 % |
269.42/269.41 c | 157341 | 958 90841 386353 | 108618 104655 58 | 0.000 % |
271.32/271.37 c | 158299 | 958 90841 386353 | 108618 105613 58 | 0.000 % |
273.83/273.91 c | 159356 | 958 90841 386353 | 108618 106670 58 | 0.000 % |
277.43/277.46 c | 160514 | 958 90841 386353 | 107314 95317 58 | 0.000 % |
280.53/280.61 c | 161789 | 958 90841 386353 | 107314 96592 58 | 0.000 % |
285.03/285.02 c | 163189 | 958 90841 386353 | 107314 97992 58 | 0.000 % |
288.73/288.76 c | 164733 | 958 90841 386353 | 107314 99536 58 | 0.000 % |
293.33/293.41 c | 166427 | 958 90841 386353 | 107314 101230 57 | 0.000 % |
293.63/293.69 c | 166527 | 958 90841 386353 | 107314 101330 57 | 0.000 % |
294.03/294.07 c | 166637 | 958 90841 386353 | 107314 101440 57 | 0.000 % |
294.43/294.50 c | 166758 | 958 90841 386353 | 107314 101561 57 | 0.000 % |
294.83/294.91 c | 166891 | 958 90841 386353 | 107314 101694 57 | 0.000 % |
295.23/295.26 c | 167040 | 958 90841 386353 | 107314 101843 57 | 0.000 % |
295.83/295.86 c | 167200 | 958 90841 386353 | 107314 102003 57 | 0.000 % |
296.53/296.54 c | 167376 | 958 90841 386353 | 107314 102179 57 | 0.000 % |
297.13/297.14 c | 167569 | 958 90841 386353 | 107314 102372 57 | 0.000 % |
297.83/297.89 c | 167781 | 958 90841 386353 | 107314 102584 57 | 0.000 % |
298.53/298.55 c | 168017 | 958 90841 386353 | 107314 102820 57 | 0.000 % |
299.33/299.33 c | 168273 | 958 90841 386353 | 107314 103076 57 | 0.000 % |
300.03/300.09 c | 168556 | 958 90841 386353 | 107314 103359 57 | 0.000 % |
301.03/301.04 c | 168866 | 958 90841 386353 | 107314 103669 57 | 0.000 % |
302.03/302.07 c | 169205 | 958 90841 386353 | 107314 104008 57 | 0.000 % |
303.03/303.02 c | 169577 | 958 90841 386353 | 107314 104380 57 | 0.000 % |
304.53/304.59 c | 169987 | 958 90841 386353 | 107314 104790 57 | 0.000 % |
306.13/306.11 c | 170438 | 958 90841 386353 | 104804 91009 58 | 0.000 % |
307.43/307.43 c | 170931 | 958 90841 386353 | 104804 91502 58 | 0.000 % |
308.43/308.46 c | 171473 | 958 90841 386353 | 104804 92044 58 | 0.000 % |
309.73/309.72 c | 172070 | 958 90841 386353 | 104804 92641 58 | 0.000 % |
311.43/311.41 c | 172726 | 958 90841 386353 | 104804 93297 58 | 0.000 % |
313.53/313.53 c | 173446 | 958 90841 386353 | 104804 94017 58 | 0.000 % |
315.43/315.45 c | 174238 | 958 90841 386353 | 104804 94809 58 | 0.000 % |
317.83/317.88 c | 175110 | 958 90841 386353 | 104804 95681 58 | 0.000 % |
319.83/319.87 c | 176071 | 958 90841 386353 | 104804 96642 58 | 0.000 % |
322.23/322.30 c | 177127 | 958 90841 386353 | 104804 97698 58 | 0.000 % |
325.93/325.95 c | 178285 | 958 90841 386353 | 104804 98856 58 | 0.000 % |
328.73/328.78 c | 179559 | 958 90841 386353 | 104804 100130 58 | 0.000 % |
333.23/333.24 c | 180960 | 958 90841 386353 | 100573 89646 57 | 0.000 % |
336.13/336.19 c | 182503 | 958 90841 386353 | 100573 91189 57 | 0.000 % |
340.63/340.71 c | 184198 | 958 90841 386353 | 100573 92884 57 | 0.000 % |
344.43/344.48 c | 186061 | 958 90841 386353 | 100573 94747 57 | 0.000 % |
344.73/344.81 c | 186161 | 958 90841 386353 | 100573 94847 57 | 0.000 % |
345.03/345.10 c | 186275 | 958 90841 386353 | 100573 94961 57 | 0.000 % |
345.33/345.41 c | 186397 | 958 90841 386353 | 100573 95083 57 | 0.000 % |
345.73/345.73 c | 186531 | 958 90841 386353 | 100573 95217 57 | 0.000 % |
346.23/346.23 c | 186677 | 958 90841 386353 | 100573 95363 57 | 0.000 % |
346.63/346.65 c | 186838 | 958 90841 386353 | 100573 95524 57 | 0.000 % |
346.93/346.94 c | 187017 | 958 90841 386353 | 100573 95703 57 | 0.000 % |
347.64/347.69 c | 187210 | 958 90841 386353 | 100573 95896 57 | 0.000 % |
348.23/348.24 c | 187422 | 958 90841 386353 | 100573 96108 57 | 0.000 % |
348.93/348.97 c | 187657 | 958 90841 386353 | 100573 96343 57 | 0.000 % |
349.63/349.61 c | 187914 | 958 90841 386353 | 100573 96600 57 | 0.000 % |
350.23/350.30 c | 188198 | 958 90841 386353 | 100573 96884 57 | 0.000 % |
351.03/351.03 c | 188507 | 958 90841 386353 | 100573 97193 57 | 0.000 % |
351.93/352.01 c | 188846 | 958 90841 386353 | 100573 97532 57 | 0.000 % |
352.63/352.69 c | 189218 | 958 90841 386353 | 100573 97904 57 | 0.000 % |
353.53/353.57 c | 189628 | 958 90841 386353 | 100573 98314 57 | 0.000 % |
354.53/354.55 c | 190078 | 958 90841 386353 | 2147483647 98764 57 | 0.000 % |
356.03/356.03 c | 190571 | 958 90841 386353 | 2147483647 99257 57 | 0.000 % |
357.73/357.73 c | 191115 | 958 90841 386353 | 2147483647 99801 57 | 0.000 % |
358.73/358.76 c | 191715 | 958 90841 386353 | 2147483647 100401 57 | 0.000 % |
359.83/359.84 c | 192371 | 958 90841 386353 | 2147483647 101057 57 | 0.000 % |
360.84/360.87 c | 193091 | 958 90841 386353 | 2147483647 101777 57 | 0.000 % |
362.63/362.66 c | 193886 | 958 90841 386353 | 2147483647 102572 57 | 0.000 % |
364.73/364.80 c | 194757 | 958 90841 386353 | 2147483647 103443 57 | 0.000 % |
367.33/367.41 c | 195715 | 958 90841 386353 | 2147483647 104401 57 | 0.000 % |
369.33/369.35 c | 196769 | 958 90841 386353 | 2147483647 105455 57 | 0.000 % |
371.53/371.55 c | 197928 | 958 90841 386353 | 2147483647 106614 57 | 0.000 % |
373.73/373.78 c | 199201 | 958 90841 386353 | 2147483647 107887 56 | 0.000 % |
378.03/378.04 c | 200602 | 958 90841 386353 | 108688 96990 56 | 0.000 % |
381.43/381.42 c | 202146 | 958 90841 386353 | 108688 98534 56 | 0.000 % |
384.73/384.80 c | 203841 | 958 90841 386353 | 108688 100229 56 | 0.000 % |
388.74/388.81 c | 205705 | 958 90841 386353 | 108688 102093 56 | 0.000 % |
392.94/392.98 c | 207756 | 958 90841 386353 | 108688 104144 56 | 0.000 % |
393.24/393.28 c | 207856 | 958 90841 386353 | 108688 104244 56 | 0.000 % |
393.64/393.65 c | 207967 | 958 90841 386353 | 108688 104355 56 | 0.000 % |
394.04/394.04 c | 208088 | 958 90841 386353 | 108688 104476 56 | 0.000 % |
394.44/394.44 c | 208222 | 958 90841 386353 | 108688 104610 56 | 0.000 % |
394.84/394.91 c | 208369 | 958 90841 386353 | 108688 104757 56 | 0.000 % |
395.34/395.38 c | 208529 | 958 90841 386353 | 108688 104917 56 | 0.000 % |
395.84/395.86 c | 208706 | 958 90841 386353 | 108688 105094 56 | 0.000 % |
396.44/396.44 c | 208904 | 958 90841 386353 | 108688 105292 56 | 0.000 % |
396.94/396.99 c | 209116 | 958 90841 386353 | 108688 105504 56 | 0.000 % |
397.54/397.52 c | 209351 | 958 90841 386353 | 108688 105739 56 | 0.000 % |
398.04/398.02 c | 209607 | 958 90841 386353 | 108688 105995 56 | 0.000 % |
398.84/398.82 c | 209888 | 958 90841 386353 | 108688 106276 56 | 0.000 % |
400.64/400.68 c | 210197 | 958 90841 386353 | 106388 106585 56 | 0.000 % |
401.84/401.91 c | 210536 | 958 90841 386353 | 106388 91305 55 | 0.000 % |
404.24/404.26 c | 210910 | 958 90841 386353 | 106388 91679 55 | 0.000 % |
406.14/406.17 c | 211319 | 958 90841 386353 | 106388 92088 55 | 0.000 % |
408.94/408.96 c | 211768 | 958 90841 386353 | 106388 92537 55 | 0.000 % |
409.44/409.44 c | 212261 | 958 90841 386353 | 106388 93030 55 | 0.000 % |
412.54/412.60 c | 212805 | 958 90841 386353 | 106388 93574 55 | 0.000 % |
417.73/417.76 c | 213401 | 958 90841 386353 | 106388 94170 55 | 0.000 % |
422.33/422.40 c | 214057 | 958 90841 386353 | 106388 94826 55 | 0.000 % |
424.33/424.37 c | 214777 | 958 90841 386353 | 106388 95546 55 | 0.000 % |
428.83/428.88 c | 215571 | 958 90841 386353 | 106388 96340 55 | 0.000 % |
431.13/431.12 c | 216442 | 958 90841 386353 | 106388 97211 55 | 0.000 % |
439.03/439.03 c | 217401 | 958 90841 386353 | 106388 98170 55 | 0.000 % |
447.43/447.48 c | 218454 | 958 90841 386353 | 106388 99223 55 | 0.000 % |
455.73/455.75 c | 219614 | 958 90841 386353 | 106388 100383 56 | 0.000 % |
468.53/468.56 c | 220889 | 958 90841 386353 | 100769 64209 55 | 0.000 % |
473.23/473.20 c | 222289 | 958 90841 386353 | 100769 65609 55 | 0.000 % |
481.73/481.73 c | 223829 | 958 90841 386353 | 100769 67149 55 | 0.000 % |
489.73/489.70 c | 225526 | 958 90841 386353 | 100769 68846 55 | 0.000 % |
496.83/496.90 c | 227391 | 958 90841 386353 | 100769 70711 55 | 0.000 % |
507.64/507.65 c | 229442 | 958 90841 386353 | 100769 72762 56 | 0.000 % |
516.44/516.48 c | 231695 | 958 90841 386353 | 73320 48406 56 | 0.000 % |
516.74/516.81 c | 231795 | 958 90841 386353 | 73320 48506 56 | 0.000 % |
517.04/517.04 c | 231906 | 958 90841 386353 | 73320 48617 56 | 0.000 % |
517.44/517.44 c | 232027 | 958 90841 386353 | 73320 48738 56 | 0.000 % |
517.64/517.65 c | 232160 | 958 90841 386353 | 73320 48871 56 | 0.000 % |
518.24/518.26 c | 232309 | 958 90841 386353 | 73320 49020 56 | 0.000 % |
518.74/518.72 c | 232469 | 958 90841 386353 | 73320 49180 56 | 0.000 % |
519.24/519.27 c | 232646 | 958 90841 386353 | 73320 49357 56 | 0.000 % |
519.94/519.93 c | 232841 | 958 90841 386353 | 73320 49552 56 | 0.000 % |
520.74/520.76 c | 233053 | 958 90841 386353 | 73320 49764 56 | 0.000 % |
521.54/521.58 c | 233287 | 958 90841 386353 | 73320 49998 56 | 0.000 % |
522.44/522.47 c | 233543 | 958 90841 386353 | 73320 50254 56 | 0.000 % |
522.74/522.76 c | 233825 | 958 90841 386353 | 73320 50536 56 | 0.000 % |
522.94/522.94 c | 234136 | 958 90841 386353 | 73320 50847 56 | 0.000 % |
523.34/523.41 c | 234478 | 958 90841 386353 | 73320 51189 56 | 0.000 % |
524.14/524.16 c | 234851 | 958 90841 386353 | 73320 51562 56 | 0.000 % |
524.84/524.84 c | 235262 | 958 90841 386353 | 73320 51973 56 | 0.000 % |
525.44/525.42 c | 235711 | 958 90841 386353 | 73320 52422 56 | 0.000 % |
525.84/525.88 c | 236207 | 958 90841 386353 | 73320 52918 55 | 0.000 % |
526.44/526.43 c | 236749 | 958 90841 386353 | 73320 53460 55 | 0.000 % |
527.14/527.17 c | 237348 | 958 90841 386353 | 73320 54059 55 | 0.000 % |
527.74/527.81 c | 238003 | 958 90841 386353 | 73320 54714 55 | 0.001 % |
529.74/529.78 c | 238724 | 958 90841 386353 | 73320 55435 55 | 0.000 % |
531.64/531.65 c | 239517 | 958 90841 386353 | 73320 56228 55 | 0.000 % |
533.34/533.36 c | 240389 | 958 90841 386353 | 2147483647 57100 55 | 0.000 % |
535.24/535.21 c | 241351 | 958 90841 386353 | 2147483647 58062 55 | 0.000 % |
536.44/536.45 c | 242404 | 958 90841 386353 | 2147483647 59115 55 | 0.000 % |
538.54/538.56 c | 243564 | 958 90841 386353 | 2147483647 60275 55 | 0.000 % |
539.84/539.90 c | 244837 | 958 90841 386353 | 2147483647 61548 56 | 0.000 % |
540.74/540.78 c | 246238 | 958 90841 386353 | 2147483647 62949 56 | 0.000 % |
541.84/541.90 c | 247778 | 958 90841 386353 | 2147483647 64489 55 | 0.000 % |
543.44/543.46 c | 249472 | 958 90841 386353 | 2147483647 66183 55 | 0.001 % |
545.04/545.08 c | 251338 | 958 90841 386353 | 2147483647 68049 54 | 0.000 % |
546.94/546.92 c | 253387 | 958 90841 386353 | 2147483647 70098 53 | 0.000 % |
548.84/548.90 c | 255640 | 958 90841 386353 | 2147483647 72351 53 | 0.000 % |
552.54/552.57 c | 258120 | 958 90841 386353 | 2147483647 74831 53 | 0.000 % |
552.74/552.76 c | 258220 | 958 90841 386353 | 2147483647 74931 53 | 0.000 % |
552.94/552.92 c | 258330 | 958 90841 386353 | 2147483647 75041 53 | 0.000 % |
553.04/553.07 c | 258451 | 958 90841 386353 | 2147483647 75162 53 | 0.000 % |
553.34/553.33 c | 258585 | 958 90841 386353 | 2147483647 75296 53 | 0.000 % |
553.74/553.74 c | 258731 | 958 90841 386353 | 2147483647 75442 53 | 0.000 % |
553.84/553.88 c | 258892 | 958 90841 386353 | 2147483647 75603 53 | 0.000 % |
554.24/554.28 c | 259068 | 958 90841 386353 | 2147483647 75779 53 | 0.000 % |
554.64/554.70 c | 259261 | 958 90841 386353 | 2147483647 75972 53 | 0.000 % |
555.14/555.11 c | 259473 | 958 90841 386353 | 2147483647 76184 53 | 0.000 % |
555.34/555.36 c | 259707 | 958 90841 386353 | 2147483647 76418 53 | 0.000 % |
556.04/556.06 c | 259964 | 958 90841 386353 | 2147483647 76675 53 | 0.001 % |
556.74/556.75 c | 260247 | 958 90841 386353 | 2147483647 76958 53 | 0.000 % |
557.34/557.35 c | 260556 | 958 90841 386353 | 2147483647 77267 53 | 0.000 % |
557.74/557.75 c | 260895 | 958 90841 386353 | 2147483647 77606 53 | 0.000 % |
558.04/558.06 c | 261267 | 958 90841 386353 | 2147483647 77978 53 | 0.000 % |
558.34/558.33 c | 261680 | 958 90841 386353 | 2147483647 78391 53 | 0.000 % |
558.64/558.66 c | 262130 | 958 90841 386353 | 2147483647 78841 53 | 0.000 % |
558.84/558.89 c | 262624 | 958 90841 386353 | 2147483647 79335 53 | 0.000 % |
559.14/559.12 c | 263167 | 958 90841 386353 | 2147483647 79878 54 | 0.000 % |
559.34/559.38 c | 263764 | 958 90841 386353 | 2147483647 80475 54 | 0.000 % |
559.64/559.67 c | 264422 | 958 90841 386353 | 2147483647 81133 54 | 0.000 % |
560.04/560.02 c | 265142 | 958 90841 386353 | 2147483647 81853 54 | 0.000 % |
560.54/560.54 c | 265935 | 958 90841 386353 | 2147483647 82646 54 | 0.000 % |
561.14/561.19 c | 266806 | 958 90841 386353 | 2147483647 83517 54 | 0.000 % |
561.94/561.97 c | 267764 | 958 90841 386353 | 2147483647 84475 54 | 0.000 % |
562.74/562.78 c | 268817 | 958 90841 386353 | 2147483647 85528 54 | 0.000 % |
563.54/563.52 c | 269975 | 958 90841 386353 | 2147483647 86686 55 | 0.000 % |
564.24/564.31 c | 271251 | 958 90841 386353 | 2147483647 87962 55 | 0.000 % |
565.34/565.34 c | 272653 | 958 90841 386353 | 2147483647 89364 55 | 0.000 % |
568.44/568.50 c | 274196 | 958 90841 386353 | 2147483647 90907 55 | 0.001 % |
573.44/573.49 c | 275890 | 958 90841 386353 | 2147483647 92601 55 | 0.000 % |
577.24/577.28 c | 277755 | 958 90841 386353 | 2147483647 94466 55 | 0.001 % |
582.64/582.69 c | 279804 | 958 90841 386353 | 2147483647 96515 55 | 0.000 % |
587.74/587.77 c | 282057 | 958 90841 386353 | 2147483647 98768 55 | 0.000 % |
595.84/595.83 c | 284537 | 958 90841 386353 | 2147483647 101248 55 | 0.000 % |
604.04/604.06 c | 287264 | 958 90841 386353 | 2147483647 103975 56 | 0.000 % |
604.44/604.49 c | 287365 | 958 90841 386353 | 2147483647 104076 56 | 0.000 % |
604.74/604.78 c | 287476 | 958 90841 386353 | 2147483647 104187 56 | 0.000 % |
605.14/605.12 c | 287599 | 958 90841 386353 | 2147483647 104310 56 | 0.000 % |
605.84/605.83 c | 287732 | 958 90841 386353 | 2147483647 104443 56 | 0.000 % |
606.24/606.23 c | 287880 | 958 90841 386353 | 2147483647 104591 57 | 0.000 % |
606.84/606.87 c | 288041 | 958 90841 386353 | 2147483647 104752 57 | 0.000 % |
607.14/607.12 c | 288219 | 958 90841 386353 | 2147483647 104930 57 | 0.000 % |
607.25/607.24 c | 288412 | 958 90841 386353 | 2147483647 105123 57 | 0.000 % |
607.54/607.58 c | 288628 | 958 90841 386353 | 2147483647 105339 57 | 0.000 % |
607.84/607.82 c | 288861 | 958 90841 386353 | 2147483647 105572 57 | 0.001 % |
608.04/608.07 c | 289117 | 958 90841 386353 | 2147483647 105828 57 | 0.000 % |
608.24/608.25 c | 289398 | 958 90841 386353 | 2147483647 106109 57 | 0.000 % |
608.54/608.59 c | 289708 | 958 90841 386353 | 2147483647 106419 57 | 0.000 % |
608.94/608.91 c | 290047 | 958 90841 386353 | 2147483647 106758 57 | 0.000 % |
609.24/609.29 c | 290419 | 958 90841 386353 | 2147483647 107130 57 | 0.000 % |
611.24/611.22 c | 290832 | 958 90841 386353 | 2147483647 107543 57 | 0.000 % |
612.34/612.36 c | 291281 | 958 90841 386353 | 2147483647 107992 57 | 0.000 % |
614.44/614.50 c | 291778 | 958 90841 386353 | 2147483647 108489 57 | 0.000 % |
615.54/615.60 c | 292322 | 958 90841 386353 | 2147483647 109033 57 | 0.000 % |
618.15/618.20 c | 292918 | 958 90841 386353 | 2147483647 109629 57 | 0.000 % |
621.15/621.15 c | 293573 | 958 90841 386353 | 2147483647 110284 57 | 0.000 % |
622.35/622.39 c | 294293 | 958 90841 386353 | 2147483647 111004 57 | 0.000 % |
624.74/624.78 c | 295085 | 958 90841 386353 | 2147483647 111796 57 | 0.000 % |
627.64/627.62 c | 295956 | 958 90841 386353 | 2147483647 112667 57 | 0.000 % |
630.74/630.73 c | 296914 | 958 90841 386353 | 2147483647 113625 57 | 0.000 % |
633.54/633.57 c | 297967 | 958 90841 386353 | 2147483647 114678 57 | 0.000 % |
636.64/636.69 c | 299126 | 958 90841 386353 | 2147483647 115837 57 | 0.000 % |
641.34/641.38 c | 300399 | 958 90841 386353 | 116713 98234 58 | 0.000 % |
644.14/644.20 c | 301799 | 958 90841 386353 | 116713 99634 58 | 0.000 % |
648.04/648.08 c | 303341 | 958 90841 386353 | 116713 101176 58 | 0.000 % |
652.44/652.46 c | 305035 | 958 90841 386353 | 116713 102870 58 | 0.000 % |
657.24/657.29 c | 306899 | 958 90841 386353 | 116713 104734 59 | 0.000 % |
662.44/662.48 c | 308950 | 958 90841 386353 | 116713 106785 59 | 0.000 % |
667.54/667.56 c | 311204 | 958 90841 386353 | 107837 86825 60 | 0.000 % |
672.84/672.90 c | 313683 | 958 90841 386353 | 107837 89304 60 | 0.000 % |
679.04/679.05 c | 316409 | 958 90841 386353 | 107837 92030 60 | 0.000 % |
685.94/685.91 c | 319406 | 958 90841 386353 | 107837 95027 60 | 0.000 % |
686.04/686.09 c | 319507 | 958 90841 386353 | 107837 95128 60 | 0.000 % |
686.45/686.48 c | 319619 | 958 90841 386353 | 107837 95240 61 | 0.000 % |
686.64/686.66 c | 319740 | 958 90841 386353 | 107837 95361 61 | 0.000 % |
686.94/686.99 c | 319874 | 958 90841 386353 | 107837 95495 61 | 0.000 % |
687.24/687.29 c | 320020 | 958 90841 386353 | 95621 95641 61 | 0.000 % |
687.84/687.85 c | 320183 | 958 90841 386353 | 95621 74580 62 | 0.000 % |
688.14/688.16 c | 320360 | 958 90841 386353 | 95621 74757 62 | 0.000 % |
688.44/688.41 c | 320553 | 958 90841 386353 | 95621 74950 62 | 0.000 % |
688.65/688.70 c | 320765 | 958 90841 386353 | 95621 75162 62 | 0.000 % |
689.04/689.01 c | 320999 | 958 90841 386353 | 95621 75396 62 | 0.000 % |
689.34/689.33 c | 321256 | 958 90841 386353 | 95621 75653 62 | 0.000 % |
689.84/689.86 c | 321537 | 958 90841 386353 | 95621 75934 62 | 0.000 % |
690.34/690.38 c | 321846 | 958 90841 386353 | 95621 76243 62 | 0.000 % |
691.04/691.08 c | 322187 | 958 90841 386353 | 95621 76584 62 | 0.000 % |
691.64/691.68 c | 322559 | 958 90841 386353 | 95621 76956 62 | 0.000 % |
692.04/692.04 c | 322968 | 958 90841 386353 | 95621 77365 62 | 0.000 % |
692.94/692.96 c | 323418 | 958 90841 386353 | 95621 77815 62 | 0.000 % |
693.74/693.71 c | 323911 | 958 90841 386353 | 95621 78308 62 | 0.000 % |
694.34/694.36 c | 324453 | 958 90841 386353 | 95621 78850 62 | 0.000 % |
695.25/695.28 c | 325050 | 958 90841 386353 | 95621 79447 62 | 0.000 % |
696.74/696.72 c | 325707 | 958 90841 386353 | 95621 80104 62 | 0.000 % |
698.55/698.54 c | 326429 | 958 90841 386353 | 95621 80826 63 | 0.000 % |
700.34/700.32 c | 327223 | 958 90841 386353 | 95621 81620 63 | 0.000 % |
701.85/701.82 c | 328094 | 958 90841 386353 | 95621 82491 63 | 0.000 % |
703.14/703.18 c | 329052 | 958 90841 386353 | 95621 83449 63 | 0.000 % |
705.04/705.10 c | 330107 | 958 90841 386353 | 2147483647 84504 63 | 0.000 % |
706.84/706.84 c | 331265 | 958 90841 386353 | 2147483647 85662 63 | 0.000 % |
708.74/708.77 c | 332539 | 958 90841 386353 | 2147483647 86936 63 | 0.000 % |
711.54/711.53 c | 333941 | 958 90841 386353 | 2147483647 88338 63 | 0.000 % |
714.54/714.60 c | 335482 | 958 90841 386353 | 2147483647 89879 63 | 0.000 % |
717.44/717.46 c | 337178 | 958 90841 386353 | 2147483647 91575 63 | 0.000 % |
722.64/722.62 c | 339043 | 958 90841 386353 | 2147483647 93440 64 | 0.000 % |
726.34/726.32 c | 341093 | 958 90841 386353 | 2147483647 95490 64 | 0.000 % |
731.05/731.11 c | 343347 | 958 90841 386353 | 2147483647 97744 64 | 0.000 % |
735.95/735.92 c | 345825 | 958 90841 386353 | 2147483647 100222 65 | 0.000 % |
741.35/741.38 c | 348550 | 958 90841 386353 | 2147483647 102947 65 | 0.000 % |
748.35/748.38 c | 351547 | 958 90841 386353 | 2147483647 105944 65 | 0.000 % |
755.05/755.05 c | 354844 | 958 90841 386353 | 2147483647 109241 65 | 0.000 % |
755.35/755.40 c | 354944 | 958 90841 386353 | 2147483647 109341 65 | 0.000 % |
755.65/755.70 c | 355056 | 958 90841 386353 | 2147483647 109453 65 | 0.000 % |
756.05/756.02 c | 355178 | 958 90841 386353 | 2147483647 109575 65 | 0.000 % |
756.25/756.29 c | 355311 | 958 90841 386353 | 2147483647 109708 65 | 0.000 % |
756.65/756.61 c | 355457 | 958 90841 386353 | 2147483647 109854 65 | 0.000 % |
756.95/756.95 c | 355618 | 958 90841 386353 | 2147483647 110015 65 | 0.000 % |
757.35/757.40 c | 355796 | 958 90841 386353 | 2147483647 110193 65 | 0.000 % |
757.75/757.80 c | 355990 | 958 90841 386353 | 2147483647 110387 65 | 0.000 % |
758.55/758.56 c | 356204 | 958 90841 386353 | 2147483647 110601 66 | 0.000 % |
759.15/759.16 c | 356437 | 958 90841 386353 | 2147483647 110834 66 | 0.000 % |
759.85/759.83 c | 356695 | 958 90841 386353 | 2147483647 111092 66 | 0.000 % |
760.65/760.63 c | 356979 | 958 90841 386353 | 2147483647 111376 66 | 0.000 % |
761.35/761.33 c | 357288 | 958 90841 386353 | 2147483647 111685 66 | 0.000 % |
762.35/762.38 c | 357627 | 958 90841 386353 | 2147483647 112024 66 | 0.000 % |
763.55/763.56 c | 358001 | 958 90841 386353 | 2147483647 112398 66 | 0.000 % |
764.55/764.53 c | 358410 | 958 90841 386353 | 2147483647 112807 66 | 0.000 % |
765.85/765.83 c | 358859 | 958 90841 386353 | 2147483647 113256 66 | 0.000 % |
767.05/767.08 c | 359357 | 958 90841 386353 | 2147483647 113754 66 | 0.000 % |
768.45/768.50 c | 359900 | 958 90841 386353 | 2147483647 114297 66 | 0.000 % |
769.75/769.78 c | 360497 | 958 90841 386353 | 2147483647 114894 66 | 0.000 % |
771.45/771.47 c | 361152 | 958 90841 386353 | 2147483647 115549 66 | 0.000 % |
773.35/773.38 c | 361872 | 958 90841 386353 | 2147483647 116269 66 | 0.000 % |
775.25/775.27 c | 362666 | 958 90841 386353 | 2147483647 117063 66 | 0.000 % |
777.45/777.43 c | 363537 | 958 90841 386353 | 2147483647 117934 66 | 0.000 % |
779.85/779.90 c | 364497 | 958 90841 386353 | 2147483647 118894 66 | 0.000 % |
782.45/782.46 c | 365550 | 958 90841 386353 | 2147483647 119947 66 | 0.000 % |
785.15/785.16 c | 366710 | 958 90841 386353 | 2147483647 121107 66 | 0.000 % |
788.55/788.59 c | 367983 | 958 90841 386353 | 2147483647 122380 66 | 0.000 % |
792.55/792.58 c | 369384 | 958 90841 386353 | 2147483647 123781 66 | 0.000 % |
796.95/796.94 c | 370925 | 958 90841 386353 | 2147483647 125322 66 | 0.000 % |
801.35/801.36 c | 372619 | 958 90841 386353 | 2147483647 127016 66 | 0.000 % |
807.85/807.89 c | 374482 | 958 90841 386353 | 2147483647 128879 66 | 0.000 % |
811.86/811.87 c | 376533 | 958 90841 386353 | 2147483647 130930 66 | 0.000 % |
819.05/819.02 c | 378788 | 958 90841 386353 | 2147483647 133185 67 | 0.000 % |
826.25/826.25 c | 381266 | 958 90841 386353 | 134397 106684 70 | 0.000 % |
833.75/833.81 c | 383991 | 958 90841 386353 | 134397 109409 70 | 0.000 % |
839.95/839.92 c | 386989 | 958 90841 386353 | 134397 112407 70 | 0.000 % |
849.06/849.10 c | 390286 | 958 90841 386353 | 2147483647 115704 70 | 0.000 % |
859.36/859.40 c | 393911 | 958 90841 386353 | 2147483647 119329 70 | 0.000 % |
859.66/859.66 c | 394013 | 958 90841 386353 | 2147483647 119431 70 | 0.000 % |
860.16/860.14 c | 394123 | 958 90841 386353 | 2147483647 119541 70 | 0.000 % |
860.56/860.59 c | 394245 | 958 90841 386353 | 2147483647 119663 70 | 0.000 % |
861.16/861.14 c | 394378 | 958 90841 386353 | 2147483647 119796 70 | 0.000 % |
861.56/861.52 c | 394526 | 958 90841 386353 | 2147483647 119944 70 | 0.000 % |
861.96/862.00 c | 394686 | 958 90841 386353 | 2147483647 120104 70 | 0.000 % |
862.36/862.37 c | 394862 | 958 90841 386353 | 2147483647 120280 70 | 0.000 % |
862.76/862.79 c | 395055 | 958 90841 386353 | 2147483647 120473 70 | 0.000 % |
863.66/863.63 c | 395267 | 958 90841 386353 | 2147483647 120685 70 | 0.000 % |
864.36/864.34 c | 395501 | 958 90841 386353 | 2147483647 120919 70 | 0.000 % |
865.26/865.26 c | 395759 | 958 90841 386353 | 2147483647 121177 70 | 0.000 % |
865.96/865.96 c | 396042 | 958 90841 386353 | 2147483647 121460 70 | 0.000 % |
866.76/866.73 c | 396351 | 958 90841 386353 | 2147483647 121769 70 | 0.000 % |
867.46/867.45 c | 396690 | 958 90841 386353 | 2147483647 122108 70 | 0.000 % |
868.26/868.27 c | 397062 | 958 90841 386353 | 2147483647 122480 70 | 0.000 % |
869.46/869.49 c | 397471 | 958 90841 386353 | 2147483647 122889 70 | 0.000 % |
870.76/870.75 c | 397920 | 958 90841 386353 | 2147483647 123338 70 | 0.000 % |
871.96/872.00 c | 398413 | 958 90841 386353 | 2147483647 123831 70 | 0.000 % |
873.66/873.67 c | 398957 | 958 90841 386353 | 2147483647 124375 70 | 0.000 % |
875.46/875.46 c | 399556 | 958 90841 386353 | 2147483647 124974 70 | 0.000 % |
877.06/877.04 c | 400211 | 958 90841 386353 | 125419 125629 70 | 0.000 % |
879.26/879.22 c | 400931 | 958 90841 386353 | 125419 111127 70 | 0.000 % |
881.46/881.45 c | 401724 | 958 90841 386353 | 125419 111920 70 | 0.000 % |
883.86/883.90 c | 402597 | 958 90841 386353 | 125419 112793 70 | 0.000 % |
886.16/886.12 c | 403557 | 958 90841 386353 | 125419 113753 70 | 0.000 % |
889.16/889.17 c | 404610 | 958 90841 386353 | 125419 114806 70 | 0.000 % |
892.76/892.76 c | 405768 | 958 90841 386353 | 125419 115964 70 | 0.000 % |
897.76/897.72 c | 407041 | 958 90841 386353 | 125419 117237 70 | 0.000 % |
902.56/902.58 c | 408441 | 958 90841 386353 | 125419 118637 70 | 0.000 % |
906.36/906.35 c | 409981 | 958 90841 386353 | 125419 120177 70 | 0.000 % |
911.16/911.21 c | 411676 | 958 90841 386353 | 120200 99663 70 | 0.000 % |
915.86/915.82 c | 413539 | 958 90841 386353 | 120200 101526 70 | 0.000 % |
921.66/921.63 c | 415588 | 958 90841 386353 | 120200 103575 70 | 0.000 % |
926.46/926.51 c | 417841 | 958 90841 386353 | 120200 105828 70 | 0.000 % |
933.36/933.40 c | 420319 | 958 90841 386353 | 107988 93311 70 | 0.000 % |
939.16/939.14 c | 423044 | 958 90841 386353 | 107988 96036 70 | 0.000 % |
944.26/944.23 c | 426044 | 958 90841 386353 | 107988 99036 70 | 0.000 % |
952.86/952.89 c | 429340 | 958 90841 386353 | 107988 102332 70 | 0.000 % |
959.47/959.49 c | 432966 | 958 90841 386353 | 2147483647 105958 70 | 0.000 % |
972.57/972.52 c | 436954 | 958 90841 386353 | 2147483647 109946 70 | 0.000 % |
972.97/972.94 c | 437054 | 958 90841 386353 | 2147483647 110046 70 | 0.000 % |
973.37/973.37 c | 437164 | 958 90841 386353 | 2147483647 110156 70 | 0.000 % |
973.77/973.76 c | 437285 | 958 90841 386353 | 2147483647 110277 70 | 0.000 % |
974.27/974.24 c | 437418 | 958 90841 386353 | 2147483647 110410 70 | 0.000 % |
974.67/974.67 c | 437564 | 958 90841 386353 | 2147483647 110556 70 | 0.000 % |
975.27/975.24 c | 437726 | 958 90841 386353 | 2147483647 110718 70 | 0.000 % |
975.97/975.96 c | 437903 | 958 90841 386353 | 2147483647 110895 70 | 0.000 % |
976.77/976.73 c | 438100 | 958 90841 386353 | 2147483647 111092 70 | 0.000 % |
977.47/977.48 c | 438313 | 958 90841 386353 | 2147483647 111305 70 | 0.000 % |
978.17/978.19 c | 438548 | 958 90841 386353 | 2147483647 111540 70 | 0.000 % |
979.07/979.07 c | 438805 | 958 90841 386353 | 2147483647 111797 70 | 0.000 % |
979.87/979.84 c | 439086 | 958 90841 386353 | 2147483647 112078 70 | 0.000 % |
980.97/980.98 c | 439397 | 958 90841 386353 | 2147483647 112389 70 | 0.000 % |
982.06/982.08 c | 439738 | 958 90841 386353 | 2147483647 112730 70 | 0.000 % |
983.06/983.05 c | 440111 | 958 90841 386353 | 2147483647 113103 70 | 0.000 % |
984.66/984.71 c | 440520 | 958 90841 386353 | 2147483647 113512 70 | 0.000 % |
986.56/986.57 c | 440969 | 958 90841 386353 | 2147483647 113961 70 | 0.000 % |
988.96/988.93 c | 441463 | 958 90841 386353 | 2147483647 114455 70 | 0.000 % |
991.06/991.03 c | 442005 | 958 90841 386353 | 2147483647 114997 70 | 0.000 % |
993.56/993.53 c | 442602 | 958 90841 386353 | 2147483647 115594 70 | 0.000 % |
996.76/996.81 c | 443259 | 958 90841 386353 | 2147483647 116251 70 | 0.000 % |
1000.76/1000.77 c | 443979 | 958 90841 386353 | 2147483647 116971 70 | 0.000 % |
1004.36/1004.31 c | 444771 | 958 90841 386353 | 2147483647 117763 70 | 0.000 % |
1008.16/1008.20 c | 445642 | 958 90841 386353 | 2147483647 118634 70 | 0.000 % |
1012.16/1012.19 c | 446601 | 958 90841 386353 | 2147483647 119593 70 | 0.000 % |
1016.96/1016.99 c | 447654 | 958 90841 386353 | 2147483647 120646 70 | 0.000 % |
1021.86/1021.88 c | 448813 | 958 90841 386353 | 2147483647 121805 70 | 0.000 % |
1026.96/1026.96 c | 450086 | 958 90841 386353 | 122994 123078 70 | 0.000 % |
1031.16/1031.20 c | 451486 | 958 90841 386353 | 122994 93115 69 | 0.000 % |
1035.66/1035.62 c | 453026 | 958 90841 386353 | 122994 94655 69 | 0.000 % |
1041.06/1041.07 c | 454721 | 958 90841 386353 | 122994 96350 69 | 0.000 % |
1045.76/1045.78 c | 456585 | 958 90841 386353 | 122994 98214 69 | 0.000 % |
1053.46/1053.42 c | 458635 | 958 90841 386353 | 122994 100264 69 | 0.000 % |
1057.96/1057.98 c | 460890 | 958 90841 386353 | 101629 86545 68 | 0.000 % |
1066.16/1066.11 c | 463368 | 958 90841 386353 | 101629 89023 69 | 0.000 % |
1071.76/1071.71 c | 466093 | 958 90841 386353 | 101629 91748 69 | 0.000 % |
1081.27/1081.23 c | 469092 | 958 90841 386353 | 101629 94747 69 | 0.000 % |
1092.57/1092.58 c | 472388 | 958 90841 386353 | 95657 81341 69 | 0.000 % |
1101.87/1101.86 c | 476015 | 958 90841 386353 | 95657 84968 69 | 0.000 % |
1114.07/1114.07 c | 480003 | 958 90841 386353 | 88953 88956 70 | 0.000 % |
1119.17/1119.17 c | 484388 | 958 90841 386353 | 88953 78696 69 | 0.000 % |
1119.57/1119.55 c | 484488 | 958 90841 386353 | 88953 78796 69 | 0.000 % |
1119.87/1119.82 c | 484600 | 958 90841 386353 | 88953 78908 69 | 0.000 % |
1119.97/1119.94 c | 484721 | 958 90841 386353 | 88953 79029 69 | 0.000 % |
1120.17/1120.21 c | 484855 | 958 90841 386353 | 88953 79163 69 | 0.000 % |
1120.37/1120.34 c | 485001 | 958 90841 386353 | 88953 79309 69 | 0.000 % |
1120.57/1120.55 c | 485161 | 958 90841 386353 | 88953 79469 69 | 0.000 % |
1120.97/1120.95 c | 485340 | 958 90841 386353 | 88953 79648 69 | 0.000 % |
1121.27/1121.30 c | 485536 | 958 90841 386353 | 88953 79844 69 | 0.000 % |
1121.67/1121.62 c | 485749 | 958 90841 386353 | 88953 80057 69 | 0.000 % |
1121.97/1121.99 c | 485982 | 958 90841 386353 | 88953 80290 69 | 0.000 % |
1122.17/1122.19 c | 486238 | 958 90841 386353 | 88953 80546 69 | 0.000 % |
1122.77/1122.75 c | 486519 | 958 90841 386353 | 88953 80827 69 | 0.000 % |
1123.27/1123.21 c | 486830 | 958 90841 386353 | 88953 81138 69 | 0.000 % |
1123.67/1123.64 c | 487169 | 958 90841 386353 | 88953 81477 69 | 0.000 % |
1124.17/1124.19 c | 487543 | 958 90841 386353 | 88953 81851 69 | 0.000 % |
1124.87/1124.87 c | 487952 | 958 90841 386353 | 88953 82260 69 | 0.000 % |
1125.37/1125.36 c | 488403 | 958 90841 386353 | 88953 82711 69 | 0.000 % |
1126.07/1126.02 c | 488896 | 958 90841 386353 | 88953 83204 69 | 0.000 % |
1126.67/1126.71 c | 489440 | 958 90841 386353 | 88953 83748 69 | 0.000 % |
1127.37/1127.37 c | 490038 | 958 90841 386353 | 84309 84346 69 | 0.000 % |
1129.17/1129.19 c | 490693 | 958 90841 386353 | 84309 72248 69 | 0.000 % |
1130.17/1130.20 c | 491413 | 958 90841 386353 | 84309 72968 69 | 0.000 % |
1131.47/1131.45 c | 492205 | 958 90841 386353 | 84309 73760 69 | 0.000 % |
1132.67/1132.68 c | 493076 | 958 90841 386353 | 84309 74631 69 | 0.000 % |
1134.17/1134.19 c | 494034 | 958 90841 386353 | 84309 75589 69 | 0.000 % |
1135.87/1135.82 c | 495090 | 958 90841 386353 | 84309 76645 69 | 0.000 % |
1137.37/1137.38 c | 496248 | 958 90841 386353 | 84309 77803 68 | 0.000 % |
1139.37/1139.38 c | 497521 | 958 90841 386353 | 84309 79076 68 | 0.000 % |
1141.77/1141.74 c | 498921 | 958 90841 386353 | 84309 80476 68 | 0.000 % |
1145.07/1145.07 c | 500462 | 958 90841 386353 | 81555 67546 69 | 0.000 % |
1148.27/1148.25 c | 502156 | 958 90841 386353 | 81555 69240 68 | 0.000 % |
1151.97/1151.96 c | 504022 | 958 90841 386353 | 81555 71106 68 | 0.000 % |
1157.07/1157.11 c | 506071 | 958 90841 386353 | 81555 73155 68 | 0.000 % |
1163.27/1163.22 c | 508327 | 958 90841 386353 | 81555 75411 68 | 0.000 % |
1170.48/1170.50 c | 510805 | 958 90841 386353 | 77085 57080 66 | 0.000 % |
1177.08/1177.08 c | 513532 | 958 90841 386353 | 77085 59807 66 | 0.000 % |
1184.57/1184.61 c | 516529 | 958 90841 386353 | 77085 62804 65 | 0.000 % |
1196.28/1196.23 c | 519825 | 958 90841 386353 | 77085 66100 65 | 0.000 % |
1200.08/1200.03 HOME/SatELiteGTI: line 36: 12776 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-1821688-1242552848/watcher-1821688-1242552848 -o /tmp/evaluation-result-1821688-1242552848/solver-1821688-1242552848 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821688-1242552848.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/91 12770
/proc/meminfo: memFree=641580/2074464 swapFree=1953004/1959888
[pid=12770] ppid=12768 vsize=2412 CPUtime=0.01
/proc/12770/stat : 12770 (SatELiteGTI) S 12768 12770 9090 0 -1 4194304 366 646 0 0 0 1 0 0 18 0 1 0 1019785169 2469888 276 4294967295 134512640 135169312 3220753120 3220751656 3084979950 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12770/statm: 603 276 235 161 0 42 0
[pid=12774] ppid=12770 vsize=816 CPUtime=0
/proc/12774/stat : 12774 (SatELite_releas) R 12770 12770 9090 0 -1 4194304 71 0 0 0 0 0 0 0 20 0 1 0 1019785169 835584 8 4294967295 134512640 135223648 3213235104 3213234988 134743488 0 0 0 0 0 0 0 17 3 0 0 0
/proc/12774/statm: 205 20 14 174 0 30 0
[startup+0.071669 s]
/proc/loadavg: 1.00 1.00 1.00 2/91 12770
/proc/meminfo: memFree=641580/2074464 swapFree=1953004/1959888
[pid=12770] ppid=12768 vsize=2412 CPUtime=0.01
/proc/12770/stat : 12770 (SatELiteGTI) S 12768 12770 9090 0 -1 4194304 366 646 0 0 0 1 0 0 18 0 1 0 1019785169 2469888 276 4294967295 134512640 135169312 3220753120 3220751656 3084979950 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12770/statm: 603 276 235 161 0 42 0
[pid=12774] ppid=12770 vsize=7404 CPUtime=0.07
/proc/12774/stat : 12774 (SatELite_releas) R 12770 12770 9090 0 -1 4202496 1719 0 0 0 7 0 0 0 21 0 1 0 1019785169 7581696 1656 4294967295 134512640 135223648 3213235104 3213232772 134719062 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12774/statm: 1851 1656 73 174 0 1676 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9816
[startup+0.111667 s]
/proc/loadavg: 1.00 1.00 1.00 2/91 12770
/proc/meminfo: memFree=641580/2074464 swapFree=1953004/1959888
[pid=12770] ppid=12768 vsize=2412 CPUtime=0.01
/proc/12770/stat : 12770 (SatELiteGTI) S 12768 12770 9090 0 -1 4194304 366 646 0 0 0 1 0 0 18 0 1 0 1019785169 2469888 276 4294967295 134512640 135169312 3220753120 3220751656 3084979950 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12770/statm: 603 276 235 161 0 42 0
[pid=12774] ppid=12770 vsize=8064 CPUtime=0.11
/proc/12774/stat : 12774 (SatELite_releas) R 12770 12770 9090 0 -1 4202496 1892 0 0 0 11 0 0 0 21 0 1 0 1019785169 8257536 1828 4294967295 134512640 135223648 3213235104 3213232840 134719062 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12774/statm: 2016 1828 73 174 0 1841 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 10476
[startup+0.311657 s]
/proc/loadavg: 1.00 1.00 1.00 2/91 12770
/proc/meminfo: memFree=641580/2074464 swapFree=1953004/1959888
[pid=12770] ppid=12768 vsize=2412 CPUtime=0.01
/proc/12770/stat : 12770 (SatELiteGTI) S 12768 12770 9090 0 -1 4194304 366 646 0 0 0 1 0 0 18 0 1 0 1019785169 2469888 276 4294967295 134512640 135169312 3220753120 3220751656 3084979950 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12770/statm: 603 276 235 161 0 42 0
[pid=12774] ppid=12770 vsize=10452 CPUtime=0.31
/proc/12774/stat : 12774 (SatELite_releas) R 12770 12770 9090 0 -1 4202496 2458 0 0 0 31 0 0 0 21 0 1 0 1019785169 10702848 2394 4294967295 134512640 135223648 3213235104 3213233200 134585544 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12774/statm: 2613 2394 73 174 0 2438 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 12864
[startup+0.711638 s]
/proc/loadavg: 1.00 1.00 1.00 2/91 12770
/proc/meminfo: memFree=641580/2074464 swapFree=1953004/1959888
[pid=12770] ppid=12768 vsize=2412 CPUtime=0.01
/proc/12770/stat : 12770 (SatELiteGTI) S 12768 12770 9090 0 -1 4194304 366 646 0 0 0 1 0 0 18 0 1 0 1019785169 2469888 276 4294967295 134512640 135169312 3220753120 3220751656 3084979950 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12770/statm: 603 276 235 161 0 42 0
[pid=12774] ppid=12770 vsize=9688 CPUtime=0.71
/proc/12774/stat : 12774 (SatELite_releas) R 12770 12770 9090 0 -1 4202496 2460 0 0 0 71 0 0 0 22 0 1 0 1019785169 9920512 2217 4294967295 134512640 135223648 3213235104 3213231860 134688070 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12774/statm: 2422 2217 74 174 0 2247 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 12100
[startup+1.5116 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 12776
/proc/meminfo: memFree=633852/2074464 swapFree=1953004/1959888
[pid=12770] ppid=12768 vsize=2416 CPUtime=0.79
/proc/12770/stat : 12770 (SatELiteGTI) S 12768 12770 9090 0 -1 4194304 385 3108 0 0 0 1 78 0 15 0 1 0 1019785169 2473984 277 4294967295 134512640 135169312 3220753120 3220749336 3084979950 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/12770/statm: 604 277 235 161 0 43 0
[pid=12776] ppid=12770 vsize=6972 CPUtime=0.73
/proc/12776/stat : 12776 (minisat_static) R 12770 12770 9090 0 -1 4202496 1673 0 0 0 72 1 0 0 20 0 1 0 1019785247 7139328 1608 4294967295 134512640 135215339 3218749760 3218748048 134528691 0 0 0 3 0 0 0 17 2 0 0 0
/proc/12776/statm: 1743 1608 73 172 0 1570 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 9388
[startup+3.11152 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 12776
/proc/meminfo: memFree=632736/2074464 swapFree=1953004/1959888
[pid=12770] ppid=12768 vsize=2416 CPUtime=0.79
/proc/12770/stat : 12770 (SatELiteGTI) S 12768 12770 9090 0 -1 4194304 385 3108 0 0 0 1 78 0 15 0 1 0 1019785169 2473984 277 4294967295 134512640 135169312 3220753120 3220749336 3084979950 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/12770/statm: 604 277 235 161 0 43 0
[pid=12776] ppid=12770 vsize=8180 CPUtime=2.33
/proc/12776/stat : 12776 (minisat_static) R 12770 12770 9090 0 -1 4202496 1975 0 0 0 232 1 0 0 25 0 1 0 1019785247 8376320 1910 4294967295 134512640 135215339 3218749760 3218748048 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/12776/statm: 2045 1910 73 172 0 1872 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 10596
[startup+6.31137 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 12778
/proc/meminfo: memFree=631124/2074464 swapFree=1953004/1959888
[pid=12770] ppid=12768 vsize=2416 CPUtime=0.79
/proc/12770/stat : 12770 (SatELiteGTI) S 12768 12770 9090 0 -1 4194304 385 3108 0 0 0 1 78 0 15 0 1 0 1019785169 2473984 277 4294967295 134512640 135169312 3220753120 3220749336 3084979950 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/12770/statm: 604 277 235 161 0 43 0
[pid=12776] ppid=12770 vsize=9388 CPUtime=5.52
/proc/12776/stat : 12776 (minisat_static) R 12770 12770 9090 0 -1 4202496 2268 0 0 0 550 2 0 0 25 0 1 0 1019785247 9613312 2203 4294967295 134512640 135215339 3218749760 3218748048 134528814 0 0 0 3 0 0 0 17 2 0 0 0
/proc/12776/statm: 2347 2203 73 172 0 2174 0
Current children cumulated CPU time (s) 6.31
Current children cumulated vsize (KiB) 11804
[startup+12.7111 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 12778
/proc/meminfo: memFree=627160/2074464 swapFree=1953004/1959888
[pid=12770] ppid=12768 vsize=2416 CPUtime=0.79
/proc/12770/stat : 12770 (SatELiteGTI) S 12768 12770 9090 0 -1 4194304 385 3108 0 0 0 1 78 0 15 0 1 0 1019785169 2473984 277 4294967295 134512640 135169312 3220753120 3220749336 3084979950 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/12770/statm: 604 277 235 161 0 43 0
[pid=12776] ppid=12770 vsize=13160 CPUtime=11.92
/proc/12776/stat : 12776 (minisat_static) R 12770 12770 9090 0 -1 4202496 3240 0 0 0 1190 2 0 0 25 0 1 0 1019785247 13475840 3175 4294967295 134512640 135215339 3218749760 3218748048 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/12776/statm: 3290 3175 73 172 0 3117 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 15576
[startup+25.5105 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 12778
/proc/meminfo: memFree=623040/2074464 swapFree=1953004/1959888
[pid=12770] ppid=12768 vsize=2416 CPUtime=0.79
/proc/12770/stat : 12770 (SatELiteGTI) S 12768 12770 9090 0 -1 4194304 385 3108 0 0 0 1 78 0 15 0 1 0 1019785169 2473984 277 4294967295 134512640 135169312 3220753120 3220749336 3084979950 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/12770/statm: 604 277 235 161 0 43 0
[pid=12776] ppid=12770 vsize=17316 CPUtime=24.72
/proc/12776/stat : 12776 (minisat_static) R 12770 12770 9090 0 -1 4202496 4243 0 0 0 2468 4 0 0 25 0 1 0 1019785247 17731584 4178 4294967295 134512640 135215339 3218749760 3218748048 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/12776/statm: 4329 4178 73 172 0 4156 0
Current children cumulated CPU time (s) 25.51
Current children cumulated vsize (KiB) 19732
[startup+51.1192 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 12963
/proc/meminfo: memFree=616636/2074464 swapFree=1953004/1959888
[pid=12770] ppid=12768 vsize=2416 CPUtime=0.79
/proc/12770/stat : 12770 (SatELiteGTI) S 12768 12770 9090 0 -1 4194304 385 3108 0 0 0 1 78 0 15 0 1 0 1019785169 2473984 277 4294967295 134512640 135169312 3220753120 3220749336 3084979950 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/12770/statm: 604 277 235 161 0 43 0
[pid=12776] ppid=12770 vsize=23492 CPUtime=50.33
/proc/12776/stat : 12776 (minisat_static) R 12770 12770 9090 0 -1 4202496 5779 0 0 0 5028 5 0 0 25 0 1 0 1019785247 24055808 5714 4294967295 134512640 135215339 3218749760 3218748048 134528734 0 0 0 3 0 0 0 17 2 0 0 0
/proc/12776/statm: 5873 5714 73 172 0 5700 0
Current children cumulated CPU time (s) 51.12
Current children cumulated vsize (KiB) 25908
[startup+102.317 s]
/proc/loadavg: 1.06 1.01 1.00 2/93 13150
/proc/meminfo: memFree=608188/2074464 swapFree=1953004/1959888
[pid=12770] ppid=12768 vsize=2416 CPUtime=0.79
/proc/12770/stat : 12770 (SatELiteGTI) S 12768 12770 9090 0 -1 4194304 385 3108 0 0 0 1 78 0 15 0 1 0 1019785169 2473984 277 4294967295 134512640 135169312 3220753120 3220749336 3084979950 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/12770/statm: 604 277 235 161 0 43 0
[pid=12776] ppid=12770 vsize=32140 CPUtime=101.53
/proc/12776/stat : 12776 (minisat_static) R 12770 12770 9090 0 -1 4202496 7897 0 0 0 10147 6 0 0 25 0 1 0 1019785247 32911360 7832 4294967295 134512640 135215339 3218749760 3218748048 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/12776/statm: 8035 7832 73 172 0 7862 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 34556
[startup+162.324 s]
/proc/loadavg: 1.07 1.03 1.00 2/93 13339
/proc/meminfo: memFree=605072/2074464 swapFree=1953004/1959888
[pid=12770] ppid=12768 vsize=2416 CPUtime=0.79
/proc/12770/stat : 12770 (SatELiteGTI) S 12768 12770 9090 0 -1 4194304 385 3108 0 0 0 1 78 0 15 0 1 0 1019785169 2473984 277 4294967295 134512640 135169312 3220753120 3220749336 3084979950 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/12770/statm: 604 277 235 161 0 43 0
[pid=12776] ppid=12770 vsize=35344 CPUtime=161.54
/proc/12776/stat : 12776 (minisat_static) R 12770 12770 9090 0 -1 4202496 8679 0 0 0 16148 6 0 0 25 0 1 0 1019785247 36192256 8614 4294967295 134512640 135215339 3218749760 3218748048 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/12776/statm: 8836 8614 73 172 0 8663 0
Current children cumulated CPU time (s) 162.33
Current children cumulated vsize (KiB) 37760
[startup+222.321 s]
/proc/loadavg: 1.15 1.05 1.01 2/93 13526
/proc/meminfo: memFree=601120/2074464 swapFree=1953004/1959888
[pid=12770] ppid=12768 vsize=2416 CPUtime=0.79
/proc/12770/stat : 12770 (SatELiteGTI) S 12768 12770 9090 0 -1 4194304 385 3108 0 0 0 1 78 0 15 0 1 0 1019785169 2473984 277 4294967295 134512640 135169312 3220753120 3220749336 3084979950 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/12770/statm: 604 277 235 161 0 43 0
[pid=12776] ppid=12770 vsize=39664 CPUtime=221.54
/proc/12776/stat : 12776 (minisat_static) R 12770 12770 9090 0 -1 4202496 9691 0 0 0 22144 10 0 0 25 0 1 0 1019785247 40615936 9626 4294967295 134512640 135215339 3218749760 3218747824 134539261 0 0 0 3 0 0 0 17 2 0 0 0
/proc/12776/statm: 9916 9626 73 172 0 9743 0
Current children cumulated CPU time (s) 222.33
Current children cumulated vsize (KiB) 42080
[startup+282.318 s]
/proc/loadavg: 1.05 1.04 1.00 2/93 13714
/proc/meminfo: memFree=599748/2074464 swapFree=1953004/1959888
[pid=12770] ppid=12768 vsize=2416 CPUtime=0.79
/proc/12770/stat : 12770 (SatELiteGTI) S 12768 12770 9090 0 -1 4194304 385 3108 0 0 0 1 78 0 15 0 1 0 1019785169 2473984 277 4294967295 134512640 135169312 3220753120 3220749336 3084979950 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/12770/statm: 604 277 235 161 0 43 0
[pid=12776] ppid=12770 vsize=40780 CPUtime=281.54
/proc/12776/stat : 12776 (minisat_static) R 12770 12770 9090 0 -1 4202496 9993 0 0 0 28144 10 0 0 25 0 1 0 1019785247 41758720 9928 4294967295 134512640 135215339 3218749760 3218748048 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/12776/statm: 10195 9928 73 172 0 10022 0
Current children cumulated CPU time (s) 282.33
Current children cumulated vsize (KiB) 43196
[startup+342.315 s]
/proc/loadavg: 1.02 1.03 1.00 2/93 13901
/proc/meminfo: memFree=599740/2074464 swapFree=1953004/1959888
[pid=12770] ppid=12768 vsize=2416 CPUtime=0.79
/proc/12770/stat : 12770 (SatELiteGTI) S 12768 12770 9090 0 -1 4194304 385 3108 0 0 0 1 78 0 15 0 1 0 1019785169 2473984 277 4294967295 134512640 135169312 3220753120 3220749336 3084979950 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/12770/statm: 604 277 235 161 0 43 0
[pid=12776] ppid=12770 vsize=40996 CPUtime=341.54
/proc/12776/stat : 12776 (minisat_static) R 12770 12770 9090 0 -1 4202496 10037 0 0 0 34144 10 0 0 25 0 1 0 1019785247 41979904 9972 4294967295 134512640 135215339 3218749760 3218748048 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/12776/statm: 10249 9972 73 172 0 10076 0
Current children cumulated CPU time (s) 342.33
################
# More data... #
################
[pid=12776] ppid=12770 vsize=43360 CPUtime=461.54
/proc/12776/stat : 12776 (minisat_static) R 12770 12770 9090 0 -1 4202496 10610 0 0 0 46144 10 0 0 25 0 1 0 1019785247 44400640 10511 4294967295 134512640 135215339 3218749760 3218748048 134528788 0 0 0 3 0 0 0 17 2 0 0 0
/proc/12776/statm: 10840 10511 73 172 0 10667 0
Current children cumulated CPU time (s) 462.33
Current children cumulated vsize (KiB) 45776
[startup+522.317 s]
/proc/loadavg: 1.00 1.01 1.00 3/93 14471
/proc/meminfo: memFree=597152/2074464 swapFree=1953004/1959888
[pid=12770] ppid=12768 vsize=2416 CPUtime=0.79
/proc/12770/stat : 12770 (SatELiteGTI) S 12768 12770 9090 0 -1 4194304 385 3108 0 0 0 1 78 0 15 0 1 0 1019785169 2473984 277 4294967295 134512640 135169312 3220753120 3220749336 3084979950 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/12770/statm: 604 277 235 161 0 43 0
[pid=12776] ppid=12770 vsize=43360 CPUtime=521.55
/proc/12776/stat : 12776 (minisat_static) R 12770 12770 9090 0 -1 4202496 10610 0 0 0 52145 10 0 0 25 0 1 0 1019785247 44400640 10511 4294967295 134512640 135215339 3218749760 3218748048 134528849 0 0 0 3 0 0 0 17 2 0 0 0
/proc/12776/statm: 10840 10511 73 172 0 10667 0
Current children cumulated CPU time (s) 522.34
Current children cumulated vsize (KiB) 45776
[startup+582.314 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 14660
/proc/meminfo: memFree=595656/2074464 swapFree=1953004/1959888
[pid=12770] ppid=12768 vsize=2416 CPUtime=0.79
/proc/12770/stat : 12770 (SatELiteGTI) S 12768 12770 9090 0 -1 4194304 385 3108 0 0 0 1 78 0 15 0 1 0 1019785169 2473984 277 4294967295 134512640 135169312 3220753120 3220749336 3084979950 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/12770/statm: 604 277 235 161 0 43 0
[pid=12776] ppid=12770 vsize=45244 CPUtime=581.55
/proc/12776/stat : 12776 (minisat_static) R 12770 12770 9090 0 -1 4202496 10991 0 0 0 58145 10 0 0 25 0 1 0 1019785247 46329856 10892 4294967295 134512640 135215339 3218749760 3218748048 134528802 0 0 0 3 0 0 0 17 2 0 0 0
/proc/12776/statm: 11311 10892 73 172 0 11138 0
Current children cumulated CPU time (s) 582.34
Current children cumulated vsize (KiB) 47660
[startup+642.311 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 14847
/proc/meminfo: memFree=594532/2074464 swapFree=1953004/1959888
[pid=12770] ppid=12768 vsize=2416 CPUtime=0.79
/proc/12770/stat : 12770 (SatELiteGTI) S 12768 12770 9090 0 -1 4194304 385 3108 0 0 0 1 78 0 15 0 1 0 1019785169 2473984 277 4294967295 134512640 135169312 3220753120 3220749336 3084979950 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/12770/statm: 604 277 235 161 0 43 0
[pid=12776] ppid=12770 vsize=46344 CPUtime=641.55
/proc/12776/stat : 12776 (minisat_static) R 12770 12770 9090 0 -1 4202496 11246 0 0 0 64143 12 0 0 25 0 1 0 1019785247 47456256 11147 4294967295 134512640 135215339 3218749760 3218748048 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/12776/statm: 11586 11147 73 172 0 11413 0
Current children cumulated CPU time (s) 642.34
Current children cumulated vsize (KiB) 48760
[startup+702.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 15035
/proc/meminfo: memFree=593928/2074464 swapFree=1953004/1959888
[pid=12770] ppid=12768 vsize=2416 CPUtime=0.79
/proc/12770/stat : 12770 (SatELiteGTI) S 12768 12770 9090 0 -1 4194304 385 3108 0 0 0 1 78 0 15 0 1 0 1019785169 2473984 277 4294967295 134512640 135169312 3220753120 3220749336 3084979950 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/12770/statm: 604 277 235 161 0 43 0
[pid=12776] ppid=12770 vsize=47356 CPUtime=701.55
/proc/12776/stat : 12776 (minisat_static) R 12770 12770 9090 0 -1 4202496 11464 0 0 0 70143 12 0 0 25 0 1 0 1019785247 48492544 11365 4294967295 134512640 135215339 3218749760 3218748048 134528688 0 0 0 3 0 0 0 17 2 0 0 0
/proc/12776/statm: 11839 11365 73 172 0 11666 0
Current children cumulated CPU time (s) 702.34
Current children cumulated vsize (KiB) 49772
[startup+762.315 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 15228
/proc/meminfo: memFree=590696/2074464 swapFree=1953004/1959888
[pid=12770] ppid=12768 vsize=2416 CPUtime=0.79
/proc/12770/stat : 12770 (SatELiteGTI) S 12768 12770 9090 0 -1 4194304 385 3108 0 0 0 1 78 0 15 0 1 0 1019785169 2473984 277 4294967295 134512640 135169312 3220753120 3220749336 3084979950 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/12770/statm: 604 277 235 161 0 43 0
[pid=12776] ppid=12770 vsize=50344 CPUtime=761.56
/proc/12776/stat : 12776 (minisat_static) R 12770 12770 9090 0 -1 4202496 12218 0 0 0 76143 13 0 0 25 0 1 0 1019785247 51552256 12119 4294967295 134512640 135215339 3218749760 3218748048 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/12776/statm: 12586 12119 73 172 0 12413 0
Current children cumulated CPU time (s) 762.35
Current children cumulated vsize (KiB) 52760
[startup+822.312 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 15415
/proc/meminfo: memFree=583512/2074464 swapFree=1953004/1959888
[pid=12770] ppid=12768 vsize=2416 CPUtime=0.79
/proc/12770/stat : 12770 (SatELiteGTI) S 12768 12770 9090 0 -1 4194304 385 3108 0 0 0 1 78 0 15 0 1 0 1019785169 2473984 277 4294967295 134512640 135169312 3220753120 3220749336 3084979950 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/12770/statm: 604 277 235 161 0 43 0
[pid=12776] ppid=12770 vsize=57320 CPUtime=821.56
/proc/12776/stat : 12776 (minisat_static) R 12770 12770 9090 0 -1 4202496 13943 0 0 0 82141 15 0 0 25 0 1 0 1019785247 58695680 13844 4294967295 134512640 135215339 3218749760 3218748048 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/12776/statm: 14330 13844 73 172 0 14157 0
Current children cumulated CPU time (s) 822.35
Current children cumulated vsize (KiB) 59736
[startup+882.319 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 15603
/proc/meminfo: memFree=582876/2074464 swapFree=1953004/1959888
[pid=12770] ppid=12768 vsize=2416 CPUtime=0.79
/proc/12770/stat : 12770 (SatELiteGTI) S 12768 12770 9090 0 -1 4194304 385 3108 0 0 0 1 78 0 15 0 1 0 1019785169 2473984 277 4294967295 134512640 135169312 3220753120 3220749336 3084979950 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/12770/statm: 604 277 235 161 0 43 0
[pid=12776] ppid=12770 vsize=57968 CPUtime=881.57
/proc/12776/stat : 12776 (minisat_static) R 12770 12770 9090 0 -1 4202496 14101 0 0 0 88142 15 0 0 25 0 1 0 1019785247 59359232 14002 4294967295 134512640 135215339 3218749760 3218748048 134528795 0 0 0 3 0 0 0 17 2 0 0 0
/proc/12776/statm: 14492 14002 73 172 0 14319 0
Current children cumulated CPU time (s) 882.36
Current children cumulated vsize (KiB) 60384
[startup+942.317 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 15790
/proc/meminfo: memFree=582752/2074464 swapFree=1953004/1959888
[pid=12770] ppid=12768 vsize=2416 CPUtime=0.79
/proc/12770/stat : 12770 (SatELiteGTI) S 12768 12770 9090 0 -1 4194304 385 3108 0 0 0 1 78 0 15 0 1 0 1019785169 2473984 277 4294967295 134512640 135169312 3220753120 3220749336 3084979950 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/12770/statm: 604 277 235 161 0 43 0
[pid=12776] ppid=12770 vsize=58420 CPUtime=941.57
/proc/12776/stat : 12776 (minisat_static) R 12770 12770 9090 0 -1 4202496 14193 0 0 0 94142 15 0 0 25 0 1 0 1019785247 59822080 14094 4294967295 134512640 135215339 3218749760 3218748048 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/12776/statm: 14605 14094 73 172 0 14432 0
Current children cumulated CPU time (s) 942.36
Current children cumulated vsize (KiB) 60836
[startup+1002.31 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 15978
/proc/meminfo: memFree=581768/2074464 swapFree=1953004/1959888
[pid=12770] ppid=12768 vsize=2416 CPUtime=0.79
/proc/12770/stat : 12770 (SatELiteGTI) S 12768 12770 9090 0 -1 4194304 385 3108 0 0 0 1 78 0 15 0 1 0 1019785169 2473984 277 4294967295 134512640 135169312 3220753120 3220749336 3084979950 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/12770/statm: 604 277 235 161 0 43 0
[pid=12776] ppid=12770 vsize=59344 CPUtime=1001.57
/proc/12776/stat : 12776 (minisat_static) R 12770 12770 9090 0 -1 4202496 14429 0 0 0 100142 15 0 0 25 0 1 0 1019785247 60768256 14330 4294967295 134512640 135215339 3218749760 3218748048 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/12776/statm: 14836 14330 73 172 0 14663 0
Current children cumulated CPU time (s) 1002.36
Current children cumulated vsize (KiB) 61760
[startup+1062.31 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 16171
/proc/meminfo: memFree=581248/2074464 swapFree=1953004/1959888
[pid=12770] ppid=12768 vsize=2416 CPUtime=0.79
/proc/12770/stat : 12770 (SatELiteGTI) S 12768 12770 9090 0 -1 4194304 385 3108 0 0 0 1 78 0 15 0 1 0 1019785169 2473984 277 4294967295 134512640 135169312 3220753120 3220749336 3084979950 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/12770/statm: 604 277 235 161 0 43 0
[pid=12776] ppid=12770 vsize=59836 CPUtime=1061.57
/proc/12776/stat : 12776 (minisat_static) R 12770 12770 9090 0 -1 4202496 14521 0 0 0 106142 15 0 0 25 0 1 0 1019785247 61272064 14422 4294967295 134512640 135215339 3218749760 3218748048 134528691 0 0 0 3 0 0 0 17 2 0 0 0
/proc/12776/statm: 14959 14422 73 172 0 14786 0
Current children cumulated CPU time (s) 1062.36
Current children cumulated vsize (KiB) 62252
[startup+1122.32 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 16358
/proc/meminfo: memFree=580760/2074464 swapFree=1953004/1959888
[pid=12770] ppid=12768 vsize=2416 CPUtime=0.79
/proc/12770/stat : 12770 (SatELiteGTI) S 12768 12770 9090 0 -1 4194304 385 3108 0 0 0 1 78 0 15 0 1 0 1019785169 2473984 277 4294967295 134512640 135169312 3220753120 3220749336 3084979950 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/12770/statm: 604 277 235 161 0 43 0
[pid=12776] ppid=12770 vsize=60464 CPUtime=1121.58
/proc/12776/stat : 12776 (minisat_static) R 12770 12770 9090 0 -1 4202496 14669 0 0 0 112143 15 0 0 25 0 1 0 1019785247 61915136 14548 4294967295 134512640 135215339 3218749760 3218748048 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/12776/statm: 15116 14548 73 172 0 14943 0
Current children cumulated CPU time (s) 1122.37
Current children cumulated vsize (KiB) 62880
[startup+1182.32 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 16546
/proc/meminfo: memFree=580868/2074464 swapFree=1953004/1959888
[pid=12770] ppid=12768 vsize=2416 CPUtime=0.79
/proc/12770/stat : 12770 (SatELiteGTI) S 12768 12770 9090 0 -1 4194304 385 3108 0 0 0 1 78 0 15 0 1 0 1019785169 2473984 277 4294967295 134512640 135169312 3220753120 3220749336 3084979950 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/12770/statm: 604 277 235 161 0 43 0
[pid=12776] ppid=12770 vsize=60464 CPUtime=1181.58
/proc/12776/stat : 12776 (minisat_static) R 12770 12770 9090 0 -1 4202496 14672 0 0 0 118143 15 0 0 25 0 1 0 1019785247 61915136 14551 4294967295 134512640 135215339 3218749760 3218748048 134528742 0 0 0 3 0 0 0 17 2 0 0 0
/proc/12776/statm: 15116 14551 73 172 0 14943 0
Current children cumulated CPU time (s) 1182.37
Current children cumulated vsize (KiB) 62880
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.02 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 16547
/proc/meminfo: memFree=581004/2074464 swapFree=1953004/1959888
[pid=12770] ppid=12768 vsize=2416 CPUtime=0.79
/proc/12770/stat : 12770 (SatELiteGTI) S 12768 12770 9090 0 -1 4194304 385 3108 0 0 0 1 78 0 15 0 1 0 1019785169 2473984 277 4294967295 134512640 135169312 3220753120 3220749336 3084979950 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/12770/statm: 604 277 235 161 0 43 0
[pid=12776] ppid=12770 vsize=60464 CPUtime=1199.29
/proc/12776/stat : 12776 (minisat_static) R 12770 12770 9090 0 -1 4202496 14672 0 0 0 119914 15 0 0 25 0 1 0 1019785247 61915136 14551 4294967295 134512640 135215339 3218749760 3218748048 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/12776/statm: 15116 14551 73 172 0 14943 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 62880
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1200.04
CPU time (s): 1200.09
CPU user time (s): 1199.92
CPU system time (s): 0.17
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 62880
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.92
system time used= 0.17
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18441
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= 20
involuntary context switches= 987
runsolver used 0.02 second user time and 0.03 second system time
The end
Begin job on tipi19 at 2009-05-17 11:34:08
IDJOB=1821688
IDBENCH=71066
IDSOLVER=657
FILE ID=tipi19/1821688-1242552848
PBS_JOBID=
Free space on /tmp= 8831 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/satComp09_BioInstances/rbcl_xits_10_UNKNOWN.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1821688-1242552848/watcher-1821688-1242552848 -o /tmp/evaluation-result-1821688-1242552848/solver-1821688-1242552848 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821688-1242552848.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= e868383f091c36fa9594c670095c9824
RANDOM SEED= 232264783
Linux tipi19 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.426
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.39
processor : 1
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.426
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.77
processor : 2
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.426
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.77
processor : 3
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.426
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.77
/proc/meminfo:
MemTotal: 2074464 kB
MemFree: 641968 kB
Buffers: 49332 kB
Cached: 1260392 kB
SwapCached: 2992 kB
Active: 359860 kB
Inactive: 959444 kB
HighTotal: 1178688 kB
HighFree: 102328 kB
LowTotal: 895776 kB
LowFree: 539640 kB
SwapTotal: 1959888 kB
SwapFree: 1953004 kB
Dirty: 3000 kB
Writeback: 0 kB
AnonPages: 8576 kB
Mapped: 3128 kB
Slab: 104612 kB
PageTables: 488 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 2997120 kB
Committed_AS: 87780 kB
VmallocTotal: 114680 kB
VmallocUsed: 1324 kB
VmallocChunk: 113264 kB
Free space on /tmp at the end= 8831 MiB
End job on tipi19 at 2009-05-17 11:54:09