0.00/0.00 c Parsing...
0.10/0.10 c ==============================================================================
0.10/0.10 c | | ORIGINAL | LEARNT | |
0.10/0.10 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.10/0.10 c ==============================================================================
0.10/0.10 c | 0 | 160694 478924 | 48208 0 0 nan | 0.000 % |
1.52/1.56 c | 0 | 159558 690102 | -- 0 -- -- | -- | -1136/211178
1.52/1.56 c ==============================================================================
1.52/1.56 c Result : #vars: 1437 #clauses: 159558 #literals: 690102
1.52/1.56 c CPU time: 1.53 s
1.52/1.56 c ==============================================================================
1.72/1.77 c This is MiniSat 2.0 beta
1.72/1.77 c WARNING: for repeatability, setting FPU to use double precision
1.72/1.77 c ============================[ Problem Statistics ]=============================
1.72/1.77 c | |
1.72/1.77 c | Number of variables: 1437 |
1.72/1.77 c | Number of clauses: 159558 |
1.77/1.87 c | Parsing time: 0.07 s |
1.77/1.88 c ============================[ Search Statistics ]==============================
1.77/1.88 c | Conflicts | ORIGINAL | LEARNT | Progress |
1.77/1.88 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1.77/1.88 c ===============================================================================
1.77/1.88 c | 0 | 1437 159558 690102 | 53186 0 nan | 0.000 % |
1.77/1.98 c | 103 | 1437 159558 690102 | 53186 103 87 | 0.000 % |
1.77/2.01 c | 203 | 1437 159558 690102 | 53186 203 71 | 0.000 % |
1.77/2.04 c | 305 | 1437 159558 690102 | 53186 305 68 | 0.000 % |
1.77/2.08 c | 416 | 1437 159558 690102 | 53186 416 73 | 0.000 % |
2.12/2.12 c | 516 | 1437 159558 690102 | 53186 516 72 | 0.000 % |
2.12/2.17 c | 629 | 1437 159558 690102 | 53186 629 76 | 0.000 % |
2.22/2.22 c | 752 | 1437 159558 690102 | 53186 752 75 | 0.000 % |
2.22/2.25 c | 852 | 1437 159558 690102 | 53186 852 74 | 0.000 % |
2.22/2.30 c | 962 | 1437 159558 690102 | 53186 962 75 | 0.000 % |
2.32/2.33 c | 1083 | 1437 159558 690102 | 53186 1083 76 | 0.000 % |
2.32/2.41 c | 1216 | 1437 159558 690102 | 53186 1216 76 | 0.000 % |
2.42/2.44 c | 1318 | 1437 159558 690102 | 53186 1318 76 | 0.000 % |
2.42/2.48 c | 1428 | 1437 159558 690102 | 53186 1428 77 | 0.000 % |
2.52/2.52 c | 1549 | 1437 159558 690102 | 53186 1549 77 | 0.000 % |
2.52/2.57 c | 1686 | 1437 159558 690102 | 53186 1686 77 | 0.000 % |
2.62/2.62 c | 1832 | 1437 159558 690102 | 53186 1832 77 | 0.000 % |
2.62/2.65 c | 1932 | 1437 159558 690102 | 53186 1932 77 | 0.000 % |
2.62/2.70 c | 2042 | 1437 159558 690102 | 53186 2042 77 | 0.000 % |
2.72/2.75 c | 2163 | 1437 159558 690102 | 53186 2163 78 | 0.000 % |
2.72/2.80 c | 2297 | 1437 159558 690102 | 53186 2297 78 | 0.000 % |
2.82/2.85 c | 2443 | 1437 159558 690102 | 53186 2443 78 | 0.000 % |
2.82/2.91 c | 2604 | 1437 159558 690102 | 53186 2604 77 | 0.000 % |
2.92/2.95 c | 2705 | 1437 159558 690102 | 53186 2705 77 | 0.000 % |
2.92/3.00 c | 2816 | 1437 159558 690102 | 53186 2816 77 | 0.000 % |
3.02/3.04 c | 2938 | 1437 159558 690102 | 53186 2938 78 | 0.000 % |
3.02/3.10 c | 3071 | 1437 159558 690102 | 53186 3071 79 | 0.000 % |
3.12/3.16 c | 3217 | 1437 159558 690102 | 53186 3217 79 | 0.000 % |
3.12/3.21 c | 3377 | 1437 159558 690102 | 53186 3377 78 | 0.000 % |
3.22/3.28 c | 3556 | 1437 159558 690102 | 53186 3556 79 | 0.000 % |
3.32/3.33 c | 3656 | 1437 159558 690102 | 53186 3656 79 | 0.000 % |
3.32/3.37 c | 3767 | 1437 159558 690102 | 53186 3767 80 | 0.000 % |
3.42/3.42 c | 3890 | 1437 159558 690102 | 53186 3890 80 | 0.000 % |
3.42/3.47 c | 4023 | 1437 159558 690102 | 53186 4023 80 | 0.000 % |
3.52/3.52 c | 4170 | 1437 159558 690102 | 53186 4170 80 | 0.000 % |
3.52/3.59 c | 4330 | 1437 159558 690102 | 53186 4330 80 | 0.000 % |
3.62/3.69 c | 4508 | 1437 159558 690102 | 53186 4508 79 | 0.000 % |
3.72/3.76 c | 4701 | 1437 159558 690102 | 53186 4701 81 | 0.000 % |
3.82/3.83 c | 4801 | 1437 159558 690102 | 53186 4801 80 | 0.000 % |
3.82/3.87 c | 4912 | 1437 159558 690102 | 53186 4912 81 | 0.000 % |
3.92/3.94 c | 5035 | 1437 159558 690102 | 53186 5035 80 | 0.000 % |
3.92/3.99 c | 5169 | 1437 159558 690102 | 53186 5169 81 | 0.000 % |
4.02/4.08 c | 5315 | 1437 159558 690102 | 53186 5315 81 | 0.000 % |
4.12/4.15 c | 5475 | 1437 159558 690102 | 53186 5475 81 | 0.000 % |
4.22/4.24 c | 5654 | 1437 159558 690102 | 53186 5654 81 | 0.000 % |
4.32/4.33 c | 5848 | 1437 159558 690102 | 53186 5848 81 | 0.000 % |
4.42/4.42 c | 6062 | 1437 159558 690102 | 53186 6062 81 | 0.000 % |
4.42/4.47 c | 6162 | 1437 159558 690102 | 53186 6162 81 | 0.000 % |
4.52/4.52 c | 6272 | 1437 159558 690102 | 53186 6272 82 | 0.000 % |
4.52/4.59 c | 6393 | 1437 159558 690102 | 53186 6393 82 | 0.000 % |
4.62/4.64 c | 6526 | 1437 159558 690102 | 53186 6526 82 | 0.000 % |
4.72/4.74 c | 6672 | 1437 159558 690102 | 53186 6672 82 | 0.000 % |
4.82/4.85 c | 6833 | 1437 159558 690102 | 53186 6833 82 | 0.000 % |
4.92/4.96 c | 7011 | 1437 159558 690102 | 53186 7011 82 | 0.000 % |
5.02/5.04 c | 7205 | 1437 159558 690102 | 53186 7205 83 | 0.000 % |
5.12/5.12 c | 7417 | 1437 159558 690102 | 53186 7417 82 | 0.000 % |
5.22/5.25 c | 7651 | 1437 159558 690102 | 53186 7651 82 | 0.000 % |
5.22/5.31 c | 7751 | 1437 159558 690102 | 53186 7751 82 | 0.000 % |
5.32/5.37 c | 7861 | 1437 159558 690102 | 53186 7861 82 | 0.000 % |
5.42/5.42 c | 7983 | 1437 159558 690102 | 53186 7983 83 | 0.000 % |
5.42/5.50 c | 8116 | 1437 159558 690102 | 53186 8116 83 | 0.000 % |
5.52/5.55 c | 8262 | 1437 159558 690102 | 53186 8262 83 | 0.000 % |
5.62/5.62 c | 8425 | 1437 159558 690102 | 53186 8425 83 | 0.000 % |
5.62/5.67 c | 8601 | 1437 159558 690102 | 53186 8601 83 | 0.000 % |
5.72/5.74 c | 8794 | 1437 159558 690102 | 53186 8794 84 | 0.000 % |
5.82/5.82 c | 9006 | 1437 159558 690102 | 53186 9006 84 | 0.000 % |
6.02/6.02 c | 9240 | 1437 159558 690102 | 53186 9240 84 | 0.000 % |
6.12/6.13 c | 9496 | 1437 159558 690102 | 53186 9496 84 | 0.000 % |
6.12/6.18 c | 9598 | 1437 159558 690102 | 53186 9598 84 | 0.000 % |
6.22/6.26 c | 9708 | 1437 159558 690102 | 53186 9708 84 | 0.000 % |
6.32/6.33 c | 9829 | 1437 159558 690102 | 53186 9829 84 | 0.000 % |
6.32/6.40 c | 9963 | 1437 159558 690102 | 53186 9963 84 | 0.000 % |
6.42/6.47 c | 10109 | 1437 159558 690102 | 2147483647 10109 84 | 0.000 % |
6.52/6.57 c | 10269 | 1437 159558 690102 | 2147483647 10269 84 | 0.000 % |
6.62/6.66 c | 10448 | 1437 159558 690102 | 2147483647 10448 84 | 0.000 % |
6.72/6.78 c | 10642 | 1437 159558 690102 | 2147483647 10642 83 | 0.000 % |
6.82/6.86 c | 10854 | 1437 159558 690102 | 2147483647 10854 84 | 0.000 % |
6.92/6.96 c | 11088 | 1437 159558 690102 | 2147483647 11088 84 | 0.000 % |
7.02/7.09 c | 11344 | 1437 159558 690102 | 2147483647 11344 84 | 0.000 % |
7.22/7.26 c | 11625 | 1437 159558 690102 | 2147483647 11625 85 | 0.000 % |
7.32/7.32 c | 11726 | 1437 159558 690102 | 2147483647 11726 85 | 0.000 % |
7.32/7.36 c | 11837 | 1437 159558 690102 | 2147483647 11837 85 | 0.000 % |
7.42/7.42 c | 11959 | 1437 159558 690102 | 2147483647 11959 85 | 0.000 % |
7.42/7.47 c | 12092 | 1437 159558 690102 | 2147483647 12092 85 | 0.000 % |
7.52/7.54 c | 12238 | 1437 159558 690102 | 2147483647 12238 85 | 0.000 % |
7.62/7.62 c | 12399 | 1437 159558 690102 | 2147483647 12399 85 | 0.000 % |
7.72/7.73 c | 12577 | 1437 159558 690102 | 2147483647 12577 85 | 0.000 % |
7.82/7.83 c | 12770 | 1437 159558 690102 | 2147483647 12770 85 | 0.000 % |
7.92/7.96 c | 12982 | 1437 159558 690102 | 2147483647 12982 85 | 0.000 % |
8.02/8.05 c | 13215 | 1437 159558 690102 | 2147483647 13215 85 | 0.000 % |
8.12/8.19 c | 13473 | 1437 159558 690102 | 2147483647 13473 85 | 0.000 % |
8.32/8.33 c | 13754 | 1437 159558 690102 | 2147483647 13754 86 | 0.000 % |
8.42/8.46 c | 14063 | 1437 159558 690102 | 2147483647 14063 86 | 0.000 % |
8.52/8.52 c | 14164 | 1437 159558 690102 | 2147483647 14164 86 | 0.000 % |
8.52/8.57 c | 14274 | 1437 159558 690102 | 2147483647 14274 86 | 0.000 % |
8.62/8.63 c | 14395 | 1437 159558 690102 | 2147483647 14395 86 | 0.000 % |
8.62/8.69 c | 14528 | 1437 159558 690102 | 2147483647 14528 86 | 0.000 % |
8.72/8.77 c | 14676 | 1437 159558 690102 | 2147483647 14676 87 | 0.000 % |
8.82/8.84 c | 14837 | 1437 159558 690102 | 2147483647 14837 87 | 0.000 % |
8.92/8.95 c | 15014 | 1437 159558 690102 | 2147483647 15014 87 | 0.000 % |
9.02/9.08 c | 15207 | 1437 159558 690102 | 2147483647 15207 87 | 0.000 % |
9.12/9.19 c | 15421 | 1437 159558 690102 | 2147483647 15421 87 | 0.000 % |
9.32/9.34 c | 15654 | 1437 159558 690102 | 2147483647 15654 87 | 0.000 % |
9.42/9.51 c | 15911 | 1437 159558 690102 | 2147483647 15911 87 | 0.000 % |
9.62/9.65 c | 16192 | 1437 159558 690102 | 2147483647 16192 87 | 0.000 % |
10.02/10.03 c | 16502 | 1437 159558 690102 | 2147483647 16502 87 | 0.000 % |
10.32/10.33 c | 16843 | 1437 159558 690102 | 2147483647 16843 88 | 0.000 % |
10.32/10.38 c | 16944 | 1437 159558 690102 | 2147483647 16944 88 | 0.000 % |
10.42/10.44 c | 17056 | 1437 159558 690102 | 2147483647 17056 88 | 0.000 % |
10.52/10.52 c | 17179 | 1437 159558 690102 | 2147483647 17179 88 | 0.000 % |
10.52/10.59 c | 17313 | 1437 159558 690102 | 2147483647 17313 88 | 0.000 % |
10.62/10.70 c | 17460 | 1437 159558 690102 | 2147483647 17460 88 | 0.000 % |
10.72/10.78 c | 17620 | 1437 159558 690102 | 2147483647 17620 88 | 0.000 % |
10.92/10.93 c | 17797 | 1437 159558 690102 | 2147483647 17797 88 | 0.000 % |
11.02/11.08 c | 17991 | 1437 159558 690102 | 2147483647 17991 88 | 0.000 % |
11.12/11.18 c | 18204 | 1437 159558 690102 | 2147483647 18204 88 | 0.000 % |
11.32/11.38 c | 18438 | 1437 159558 690102 | 2147483647 18438 88 | 0.000 % |
11.52/11.53 c | 18695 | 1437 159558 690102 | 2147483647 18695 88 | 0.000 % |
11.62/11.65 c | 18976 | 1437 159558 690102 | 2147483647 18976 88 | 0.000 % |
11.82/11.84 c | 19285 | 1437 159558 690102 | 2147483647 19285 88 | 0.000 % |
11.92/11.98 c | 19624 | 1437 159558 690102 | 2147483647 19624 88 | 0.000 % |
12.22/12.27 c | 19998 | 1437 159558 690102 | 2147483647 19998 89 | 0.000 % |
12.32/12.36 c | 20098 | 1437 159558 690102 | 2147483647 20098 89 | 0.000 % |
12.52/12.51 c | 20209 | 1437 159558 690102 | 2147483647 20209 89 | 0.000 % |
12.52/12.61 c | 20331 | 1437 159558 690102 | 2147483647 20331 89 | 0.000 % |
12.62/12.69 c | 20467 | 1437 159558 690102 | 2147483647 20467 89 | 0.000 % |
12.72/12.77 c | 20614 | 1437 159558 690102 | 2147483647 20614 89 | 0.000 % |
12.82/12.87 c | 20774 | 1437 159558 690102 | 2147483647 20774 89 | 0.000 % |
12.92/12.97 c | 20952 | 1437 159558 690102 | 2147483647 20952 89 | 0.000 % |
13.02/13.09 c | 21145 | 1437 159558 690102 | 2147483647 21145 89 | 0.000 % |
13.12/13.21 c | 21357 | 1437 159558 690102 | 2147483647 21357 89 | 0.000 % |
13.32/13.37 c | 21591 | 1437 159558 690102 | 2147483647 21591 89 | 0.000 % |
13.52/13.54 c | 21848 | 1437 159558 690102 | 2147483647 21848 89 | 0.000 % |
13.72/13.76 c | 22129 | 1437 159558 690102 | 2147483647 22129 89 | 0.000 % |
13.92/13.98 c | 22438 | 1437 159558 690102 | 2147483647 22438 89 | 0.000 % |
14.12/14.17 c | 22779 | 1437 159558 690102 | 2147483647 22779 89 | 0.000 % |
14.32/14.40 c | 23151 | 1437 159558 690102 | 2147483647 23151 89 | 0.000 % |
14.72/14.76 c | 23566 | 1437 159558 690102 | 2147483647 23566 89 | 0.000 % |
14.82/14.88 c | 23666 | 1437 159558 690102 | 2147483647 23666 89 | 0.000 % |
14.92/14.98 c | 23776 | 1437 159558 690102 | 2147483647 23776 89 | 0.000 % |
15.02/15.08 c | 23898 | 1437 159558 690102 | 2147483647 23898 89 | 0.000 % |
15.12/15.21 c | 24031 | 1437 159558 690102 | 2147483647 24031 89 | 0.000 % |
15.32/15.39 c | 24179 | 1437 159558 690102 | 2147483647 24179 89 | 0.000 % |
15.42/15.48 c | 24339 | 1437 159558 690102 | 2147483647 24339 89 | 0.000 % |
15.52/15.58 c | 24516 | 1437 159558 690102 | 2147483647 24516 89 | 0.000 % |
15.72/15.72 c | 24710 | 1437 159558 690102 | 2147483647 24710 89 | 0.000 % |
15.82/15.84 c | 24922 | 1437 159558 690102 | 2147483647 24922 90 | 0.000 % |
16.02/16.02 c | 25157 | 1437 159558 690102 | 2147483647 25157 90 | 0.000 % |
16.22/16.31 c | 25413 | 1437 159558 690102 | 2147483647 25413 90 | 0.000 % |
16.42/16.47 c | 25696 | 1437 159558 690102 | 2147483647 25696 90 | 0.000 % |
16.72/16.79 c | 26005 | 1437 159558 690102 | 2147483647 26005 90 | 0.000 % |
16.92/17.01 c | 26344 | 1437 159558 690102 | 2147483647 26344 91 | 0.000 % |
17.12/17.20 c | 26718 | 1437 159558 690102 | 2147483647 26718 91 | 0.000 % |
17.42/17.45 c | 27127 | 1437 159558 690102 | 2147483647 27127 91 | 0.000 % |
18.02/18.07 c | 27576 | 1437 159558 690102 | 2147483647 27576 91 | 0.000 % |
18.12/18.17 c | 27676 | 1437 159558 690102 | 2147483647 27676 91 | 0.000 % |
18.22/18.27 c | 27786 | 1437 159558 690102 | 2147483647 27786 91 | 0.000 % |
18.32/18.35 c | 27908 | 1437 159558 690102 | 2147483647 27908 91 | 0.000 % |
18.42/18.49 c | 28042 | 1437 159558 690102 | 2147483647 28042 91 | 0.000 % |
18.62/18.62 c | 28189 | 1437 159558 690102 | 2147483647 28189 91 | 0.000 % |
18.72/18.75 c | 28349 | 1437 159558 690102 | 2147483647 28349 91 | 0.000 % |
18.82/18.86 c | 28525 | 1437 159558 690102 | 2147483647 28525 91 | 0.000 % |
18.92/18.99 c | 28719 | 1437 159558 690102 | 2147483647 28719 91 | 0.000 % |
19.12/19.13 c | 28933 | 1437 159558 690102 | 2147483647 28933 91 | 0.000 % |
19.32/19.41 c | 29166 | 1437 159558 690102 | 2147483647 29166 91 | 0.000 % |
19.52/19.60 c | 29423 | 1437 159558 690102 | 2147483647 29423 92 | 0.000 % |
19.72/19.77 c | 29706 | 1437 159558 690102 | 2147483647 29706 92 | 0.000 % |
19.92/19.99 c | 30016 | 1437 159558 690102 | 2147483647 30016 92 | 0.000 % |
20.32/20.36 c | 30355 | 1437 159558 690102 | 2147483647 30355 92 | 0.000 % |
20.82/20.83 c | 30727 | 1437 159558 690102 | 2147483647 30727 92 | 0.000 % |
21.02/21.10 c | 31136 | 1437 159558 690102 | 2147483647 31136 93 | 0.000 % |
21.42/21.43 c | 31586 | 1437 159558 690102 | 2147483647 31586 93 | 0.000 % |
21.82/21.85 c | 32083 | 1437 159558 690102 | 2147483647 32083 93 | 0.000 % |
21.92/21.98 c | 32186 | 1437 159558 690102 | 2147483647 32186 93 | 0.000 % |
22.02/22.09 c | 32296 | 1437 159558 690102 | 2147483647 32296 93 | 0.000 % |
22.22/22.26 c | 32417 | 1437 159558 690102 | 2147483647 32417 93 | 0.000 % |
22.32/22.41 c | 32550 | 1437 159558 690102 | 2147483647 32550 93 | 0.000 % |
22.52/22.53 c | 32696 | 1437 159558 690102 | 2147483647 32696 93 | 0.000 % |
22.62/22.65 c | 32858 | 1437 159558 690102 | 2147483647 32858 93 | 0.000 % |
22.92/22.93 c | 33035 | 1437 159558 690102 | 2147483647 33035 93 | 0.000 % |
23.12/23.15 c | 33228 | 1437 159558 690102 | 2147483647 33228 93 | 0.000 % |
23.42/23.43 c | 33441 | 1437 159558 690102 | 2147483647 33441 93 | 0.000 % |
23.62/23.63 c | 33675 | 1437 159558 690102 | 2147483647 33675 93 | 0.000 % |
23.82/23.82 c | 33932 | 1437 159558 690102 | 2147483647 33932 93 | 0.000 % |
24.02/24.08 c | 34214 | 1437 159558 690102 | 2147483647 34214 93 | 0.000 % |
24.32/24.35 c | 34523 | 1437 159558 690102 | 2147483647 34523 93 | 0.000 % |
24.52/24.57 c | 34862 | 1437 159558 690102 | 2147483647 34862 93 | 0.000 % |
24.82/24.85 c | 35234 | 1437 159558 690102 | 2147483647 35234 93 | 0.000 % |
25.32/25.41 c | 35644 | 1437 159558 690102 | 2147483647 35644 93 | 0.000 % |
25.62/25.69 c | 36096 | 1437 159558 690102 | 2147483647 36096 93 | 0.000 % |
26.02/26.03 c | 36590 | 1437 159558 690102 | 2147483647 36590 94 | 0.000 % |
26.62/26.67 c | 37132 | 1437 159558 690102 | 2147483647 37132 95 | 0.000 % |
26.72/26.78 c | 37232 | 1437 159558 690102 | 2147483647 37232 95 | 0.000 % |
26.92/26.97 c | 37342 | 1437 159558 690102 | 2147483647 37342 95 | 0.000 % |
27.12/27.17 c | 37463 | 1437 159558 690102 | 2147483647 37463 95 | 0.000 % |
27.22/27.29 c | 37596 | 1437 159558 690102 | 2147483647 37596 95 | 0.000 % |
27.32/27.41 c | 37743 | 1437 159558 690102 | 2147483647 37743 95 | 0.000 % |
27.53/27.57 c | 37905 | 1437 159558 690102 | 2147483647 37905 95 | 0.000 % |
27.72/27.75 c | 38082 | 1437 159558 690102 | 2147483647 38082 95 | 0.000 % |
27.92/27.95 c | 38275 | 1437 159558 690102 | 2147483647 38275 95 | 0.000 % |
28.12/28.14 c | 38488 | 1437 159558 690102 | 2147483647 38488 95 | 0.000 % |
28.42/28.48 c | 38721 | 1437 159558 690102 | 2147483647 38721 95 | 0.000 % |
28.63/28.71 c | 38978 | 1437 159558 690102 | 2147483647 38978 95 | 0.000 % |
28.82/28.91 c | 39259 | 1437 159558 690102 | 2147483647 39259 95 | 0.000 % |
29.32/29.35 c | 39570 | 1437 159558 690102 | 2147483647 39570 95 | 0.000 % |
29.62/29.68 c | 39910 | 1437 159558 690102 | 2147483647 39910 95 | 0.000 % |
30.12/30.14 c | 40282 | 1437 159558 690102 | 2147483647 40282 96 | 0.000 % |
30.72/30.81 c | 40693 | 1437 159558 690102 | 2147483647 40693 95 | 0.000 % |
31.12/31.20 c | 41143 | 1437 159558 690102 | 2147483647 41143 95 | 0.000 % |
31.62/31.62 c | 41636 | 1437 159558 690102 | 2147483647 41636 95 | 0.000 % |
32.12/32.12 c | 42179 | 1437 159558 690102 | 2147483647 42179 95 | 0.000 % |
32.82/32.88 c | 42779 | 1437 159558 690102 | 2147483647 42779 95 | 0.000 % |
33.03/33.07 c | 42881 | 1437 159558 690102 | 2147483647 42881 95 | 0.000 % |
33.12/33.20 c | 42993 | 1437 159558 690102 | 2147483647 42993 95 | 0.001 % |
33.42/33.44 c | 43114 | 1437 159558 690102 | 2147483647 43114 95 | 0.000 % |
33.52/33.59 c | 43254 | 1437 159558 690102 | 2147483647 43254 95 | 0.000 % |
33.72/33.77 c | 43401 | 1437 159558 690102 | 2147483647 43401 95 | 0.000 % |
33.92/33.94 c | 43561 | 1437 159558 690102 | 2147483647 43561 95 | 0.000 % |
34.13/34.14 c | 43739 | 1437 159558 690102 | 2147483647 43739 95 | 0.000 % |
34.32/34.33 c | 43933 | 1437 159558 690102 | 2147483647 43933 95 | 0.000 % |
34.52/34.52 c | 44145 | 1437 159558 690102 | 2147483647 44145 95 | 0.000 % |
34.72/34.72 c | 44378 | 1437 159558 690102 | 2147483647 44378 95 | 0.000 % |
35.12/35.20 c | 44636 | 1437 159558 690102 | 2147483647 44636 95 | 0.000 % |
35.42/35.48 c | 44917 | 1437 159558 690102 | 2147483647 44917 95 | 0.000 % |
35.62/35.70 c | 45228 | 1437 159558 690102 | 2147483647 45228 95 | 0.000 % |
36.02/36.05 c | 45568 | 1437 159558 690102 | 2147483647 45568 95 | 0.000 % |
36.42/36.44 c | 45940 | 1437 159558 690102 | 2147483647 45940 95 | 0.000 % |
36.72/36.79 c | 46349 | 1437 159558 690102 | 2147483647 46349 95 | 0.000 % |
37.32/37.37 c | 46798 | 1437 159558 690102 | 2147483647 46798 95 | 0.000 % |
37.92/37.98 c | 47294 | 1437 159558 690102 | 2147483647 47294 94 | 0.000 % |
38.53/38.55 c | 47837 | 1437 159558 690102 | 2147483647 47837 95 | 0.000 % |
39.63/39.63 c | 48433 | 1437 159558 690102 | 2147483647 48433 94 | 0.000 % |
40.52/40.51 c | 49089 | 1437 159558 690102 | 2147483647 49089 94 | 0.000 % |
40.62/40.69 c | 49189 | 1437 159558 690102 | 2147483647 49189 94 | 0.000 % |
40.73/40.80 c | 49299 | 1437 159558 690102 | 2147483647 49299 94 | 0.000 % |
40.92/40.98 c | 49420 | 1437 159558 690102 | 2147483647 49420 94 | 0.000 % |
41.12/41.21 c | 49554 | 1437 159558 690102 | 2147483647 49554 94 | 0.000 % |
41.52/41.52 c | 49700 | 1437 159558 690102 | 2147483647 49700 94 | 0.000 % |
41.62/41.63 c | 49860 | 1437 159558 690102 | 2147483647 49860 94 | 0.000 % |
41.72/41.79 c | 50038 | 1437 159558 690102 | 2147483647 50038 94 | 0.000 % |
41.92/41.99 c | 50232 | 1437 159558 690102 | 2147483647 50232 94 | 0.000 % |
42.32/42.35 c | 50445 | 1437 159558 690102 | 2147483647 50445 94 | 0.000 % |
42.52/42.54 c | 50678 | 1437 159558 690102 | 2147483647 50678 94 | 0.000 % |
42.72/42.79 c | 50934 | 1437 159558 690102 | 2147483647 50934 94 | 0.000 % |
43.02/43.09 c | 51215 | 1437 159558 690102 | 2147483647 51215 94 | 0.000 % |
43.42/43.46 c | 51525 | 1437 159558 690102 | 2147483647 51525 94 | 0.000 % |
43.82/43.89 c | 51865 | 1437 159558 690102 | 2147483647 51865 94 | 0.000 % |
44.22/44.27 c | 52237 | 1437 159558 690102 | 2147483647 52237 94 | 0.000 % |
45.13/45.18 c | 52646 | 1437 159558 690102 | 2147483647 52646 94 | 0.000 % |
46.23/46.29 c | 53100 | 1437 159558 690102 | 2147483647 53100 94 | 0.000 % |
47.42/47.42 c | 53595 | 1437 159558 690102 | 2147483647 53595 93 | 0.000 % |
48.22/48.24 c | 54137 | 1437 159558 690102 | 2147483647 54137 94 | 0.000 % |
49.22/49.22 c | 54733 | 1437 159558 690102 | 2147483647 54733 94 | 0.000 % |
50.42/50.46 c | 55389 | 1437 159558 690102 | 2147483647 55389 94 | 0.000 % |
51.32/51.41 c | 56109 | 1437 159558 690102 | 2147483647 56109 93 | 0.000 % |
51.52/51.57 c | 56209 | 1437 159558 690102 | 2147483647 56209 93 | 0.000 % |
51.62/51.71 c | 56319 | 1437 159558 690102 | 2147483647 56319 93 | 0.000 % |
51.82/51.84 c | 56441 | 1437 159558 690102 | 2147483647 56441 93 | 0.000 % |
52.02/52.01 c | 56576 | 1437 159558 690102 | 2147483647 56576 93 | 0.000 % |
52.22/52.23 c | 56722 | 1437 159558 690102 | 2147483647 56722 93 | 0.000 % |
52.62/52.63 c | 56882 | 1437 159558 690102 | 2147483647 56882 93 | 0.000 % |
53.02/53.07 c | 57059 | 1437 159558 690102 | 2147483647 57059 93 | 0.000 % |
53.22/53.29 c | 57254 | 1437 159558 690102 | 2147483647 57254 93 | 0.000 % |
53.42/53.51 c | 57466 | 1437 159558 690102 | 2147483647 57466 93 | 0.000 % |
53.62/53.71 c | 57701 | 1437 159558 690102 | 2147483647 57701 94 | 0.000 % |
54.02/54.10 c | 57957 | 1437 159558 690102 | 2147483647 57957 94 | 0.000 % |
54.32/54.37 c | 58240 | 1437 159558 690102 | 2147483647 58240 94 | 0.000 % |
54.72/54.74 c | 58550 | 1437 159558 690102 | 2147483647 58550 94 | 0.000 % |
55.22/55.27 c | 58891 | 1437 159558 690102 | 2147483647 58891 94 | 0.000 % |
55.62/55.62 c | 59263 | 1437 159558 690102 | 2147483647 59263 94 | 0.000 % |
55.92/55.91 c | 59672 | 1437 159558 690102 | 2147483647 59672 94 | 0.000 % |
56.52/56.57 c | 60121 | 1437 159558 690102 | 2147483647 60121 94 | 0.000 % |
57.12/57.15 c | 60615 | 1437 159558 690102 | 2147483647 60615 94 | 0.000 % |
57.72/57.77 c | 61158 | 1437 159558 690102 | 2147483647 61158 94 | 0.000 % |
58.42/58.44 c | 61754 | 1437 159558 690102 | 2147483647 61754 94 | 0.000 % |
58.91/58.99 c | 62411 | 1437 159558 690102 | 2147483647 62411 94 | 0.000 % |
60.21/60.27 c | 63132 | 1437 159558 690102 | 2147483647 63132 94 | 0.000 % |
61.62/61.66 c | 63924 | 1437 159558 690102 | 2147483647 63924 94 | 0.000 % |
61.71/61.75 c | 64026 | 1437 159558 690102 | 2147483647 64026 94 | 0.000 % |
61.81/61.89 c | 64137 | 1437 159558 690102 | 2147483647 64137 94 | 0.000 % |
62.01/62.05 c | 64261 | 1437 159558 690102 | 2147483647 64261 94 | 0.000 % |
62.21/62.22 c | 64394 | 1437 159558 690102 | 2147483647 64394 94 | 0.000 % |
62.41/62.40 c | 64541 | 1437 159558 690102 | 2147483647 64541 94 | 0.000 % |
62.61/62.61 c | 64702 | 1437 159558 690102 | 2147483647 64702 94 | 0.000 % |
62.91/62.96 c | 64879 | 1437 159558 690102 | 2147483647 64879 94 | 0.000 % |
63.31/63.39 c | 65073 | 1437 159558 690102 | 2147483647 65073 94 | 0.000 % |
63.61/63.67 c | 65286 | 1437 159558 690102 | 2147483647 65286 94 | 0.000 % |
63.91/63.95 c | 65520 | 1437 159558 690102 | 2147483647 65520 94 | 0.000 % |
64.31/64.30 c | 65776 | 1437 159558 690102 | 2147483647 65776 94 | 0.000 % |
64.61/64.64 c | 66058 | 1437 159558 690102 | 2147483647 66058 94 | 0.000 % |
65.01/65.08 c | 66367 | 1437 159558 690102 | 2147483647 66367 94 | 0.000 % |
65.71/65.78 c | 66706 | 1437 159558 690102 | 2147483647 66706 94 | 0.000 % |
66.61/66.61 c | 67078 | 1437 159558 690102 | 2147483647 67078 94 | 0.000 % |
67.51/67.52 c | 67487 | 1437 159558 690102 | 2147483647 67487 94 | 0.000 % |
68.61/68.61 c | 67936 | 1437 159558 690102 | 2147483647 67936 94 | 0.000 % |
69.71/69.72 c | 68429 | 1437 159558 690102 | 2147483647 68429 94 | 0.000 % |
70.91/70.94 c | 68977 | 1437 159558 690102 | 2147483647 68977 94 | 0.000 % |
72.12/72.12 c | 69580 | 1437 159558 690102 | 2147483647 69580 93 | 0.000 % |
72.92/73.00 c | 70236 | 1437 159558 690102 | 2147483647 70236 94 | 0.000 % |
73.92/73.96 c | 70956 | 1437 159558 690102 | 2147483647 70956 94 | 0.000 % |
75.62/75.63 c | 71750 | 1437 159558 690102 | 2147483647 71750 94 | 0.000 % |
77.12/77.21 c | 72621 | 1437 159558 690102 | 2147483647 72621 94 | 0.000 % |
77.42/77.43 c | 72722 | 1437 159558 690102 | 2147483647 72722 94 | 0.000 % |
77.52/77.57 c | 72832 | 1437 159558 690102 | 2147483647 72832 94 | 0.000 % |
77.62/77.68 c | 72953 | 1437 159558 690102 | 2147483647 72953 94 | 0.000 % |
77.92/78.01 c | 73086 | 1437 159558 690102 | 2147483647 73086 94 | 0.000 % |
78.22/78.21 c | 73233 | 1437 159558 690102 | 2147483647 73233 94 | 0.000 % |
78.42/78.44 c | 73393 | 1437 159558 690102 | 2147483647 73393 94 | 0.000 % |
78.72/78.76 c | 73571 | 1437 159558 690102 | 2147483647 73571 94 | 0.000 % |
78.92/78.98 c | 73764 | 1437 159558 690102 | 2147483647 73764 94 | 0.000 % |
79.22/79.23 c | 73976 | 1437 159558 690102 | 2147483647 73976 94 | 0.000 % |
79.52/79.57 c | 74209 | 1437 159558 690102 | 2147483647 74209 94 | 0.000 % |
79.82/79.89 c | 74466 | 1437 159558 690102 | 2147483647 74466 94 | 0.000 % |
80.22/80.24 c | 74747 | 1437 159558 690102 | 2147483647 74747 94 | 0.000 % |
80.52/80.61 c | 75058 | 1437 159558 690102 | 2147483647 75058 94 | 0.000 % |
81.22/81.25 c | 75397 | 1437 159558 690102 | 2147483647 75397 95 | 0.000 % |
81.62/81.67 c | 75770 | 1437 159558 690102 | 2147483647 75770 95 | 0.000 % |
82.22/82.21 c | 76179 | 1437 159558 690102 | 2147483647 76179 95 | 0.000 % |
82.82/82.83 c | 76629 | 1437 159558 690102 | 2147483647 76629 95 | 0.000 % |
83.42/83.44 c | 77123 | 1437 159558 690102 | 2147483647 77123 95 | 0.000 % |
84.02/84.02 c | 77665 | 1437 159558 690102 | 2147483647 77665 95 | 0.000 % |
84.62/84.63 c | 78263 | 1437 159558 690102 | 2147483647 78263 95 | 0.000 % |
85.42/85.41 c | 78918 | 1437 159558 690102 | 2147483647 78918 95 | 0.000 % |
86.32/86.31 c | 79640 | 1437 159558 690102 | 2147483647 79640 95 | 0.000 % |
87.62/87.69 c | 80432 | 1437 159558 690102 | 2147483647 80432 95 | 0.000 % |
88.92/88.94 c | 81305 | 1437 159558 690102 | 2147483647 81305 95 | 0.000 % |
90.52/90.59 c | 82263 | 1437 159558 690102 | 2147483647 82263 95 | 0.000 % |
90.82/90.84 c | 82364 | 1437 159558 690102 | 2147483647 82364 95 | 0.000 % |
91.02/91.04 c | 82474 | 1437 159558 690102 | 2147483647 82474 95 | 0.000 % |
91.22/91.28 c | 82596 | 1437 159558 690102 | 2147483647 82596 95 | 0.000 % |
91.42/91.44 c | 82729 | 1437 159558 690102 | 2147483647 82729 95 | 0.000 % |
91.62/91.67 c | 82876 | 1437 159558 690102 | 2147483647 82876 95 | 0.000 % |
92.02/92.09 c | 83037 | 1437 159558 690102 | 2147483647 83037 95 | 0.000 % |
92.52/92.57 c | 83213 | 1437 159558 690102 | 2147483647 83213 95 | 0.000 % |
92.92/92.91 c | 83406 | 1437 159558 690102 | 2147483647 83406 95 | 0.000 % |
93.22/93.26 c | 83619 | 1437 159558 690102 | 2147483647 83619 95 | 0.000 % |
93.72/93.76 c | 83855 | 1437 159558 690102 | 2147483647 83855 95 | 0.000 % |
94.12/94.17 c | 84111 | 1437 159558 690102 | 2147483647 84111 95 | 0.000 % |
94.42/94.46 c | 84394 | 1437 159558 690102 | 2147483647 84394 95 | 0.000 % |
95.02/95.01 c | 84703 | 1437 159558 690102 | 2147483647 84703 95 | 0.000 % |
95.42/95.51 c | 85043 | 1437 159558 690102 | 2147483647 85043 95 | 0.000 % |
96.02/96.08 c | 85415 | 1437 159558 690102 | 2147483647 85415 95 | 0.000 % |
96.72/96.75 c | 85824 | 1437 159558 690102 | 2147483647 85824 95 | 0.000 % |
97.32/97.34 c | 86273 | 1437 159558 690102 | 2147483647 86273 95 | 0.000 % |
98.42/98.41 c | 86768 | 1437 159558 690102 | 2147483647 86768 95 | 0.000 % |
99.22/99.21 c | 87310 | 1437 159558 690102 | 2147483647 87310 95 | 0.000 % |
100.12/100.16 c | 87906 | 1437 159558 690102 | 2147483647 87906 95 | 0.000 % |
101.12/101.14 c | 88561 | 1437 159558 690102 | 2147483647 88561 95 | 0.000 % |
102.22/102.28 c | 89282 | 1437 159558 690102 | 2147483647 89282 95 | 0.000 % |
103.52/103.60 c | 90074 | 1437 159558 690102 | 2147483647 90074 95 | 0.000 % |
104.92/104.98 c | 90945 | 1437 159558 690102 | 2147483647 90945 96 | 0.000 % |
106.32/106.33 c | 91904 | 1437 159558 690102 | 2147483647 91904 96 | 0.000 % |
108.32/108.31 c | 92958 | 1437 159558 690102 | 2147483647 92958 96 | 0.000 % |
108.52/108.57 c | 93058 | 1437 159558 690102 | 2147483647 93058 96 | 0.000 % |
108.92/108.99 c | 93168 | 1437 159558 690102 | 2147483647 93168 96 | 0.000 % |
109.32/109.34 c | 93289 | 1437 159558 690102 | 2147483647 93289 96 | 0.000 % |
109.62/109.67 c | 93423 | 1437 159558 690102 | 2147483647 93423 96 | 0.000 % |
109.82/109.83 c | 93571 | 1437 159558 690102 | 2147483647 93571 96 | 0.000 % |
110.12/110.18 c | 93732 | 1437 159558 690102 | 2147483647 93732 96 | 0.000 % |
110.62/110.64 c | 93909 | 1437 159558 690102 | 2147483647 93909 96 | 0.000 % |
110.92/110.93 c | 94102 | 1437 159558 690102 | 2147483647 94102 96 | 0.000 % |
111.42/111.50 c | 94316 | 1437 159558 690102 | 2147483647 94316 96 | 0.000 % |
111.92/112.00 c | 94549 | 1437 159558 690102 | 2147483647 94549 96 | 0.000 % |
112.42/112.48 c | 94805 | 1437 159558 690102 | 2147483647 94805 96 | 0.000 % |
113.02/113.05 c | 95090 | 1437 159558 690102 | 2147483647 95090 96 | 0.000 % |
113.72/113.79 c | 95399 | 1437 159558 690102 | 2147483647 95399 96 | 0.000 % |
114.32/114.36 c | 95738 | 1437 159558 690102 | 2147483647 95738 96 | 0.000 % |
114.92/114.92 c | 96112 | 1437 159558 690102 | 2147483647 96112 96 | 0.000 % |
115.62/115.63 c | 96523 | 1437 159558 690102 | 2147483647 96523 96 | 0.000 % |
116.22/116.27 c | 96973 | 1437 159558 690102 | 2147483647 96973 96 | 0.000 % |
117.22/117.21 c | 97466 | 1437 159558 690102 | 2147483647 97466 96 | 0.000 % |
118.12/118.17 c | 98010 | 1437 159558 690102 | 2147483647 98010 96 | 0.000 % |
119.32/119.38 c | 98608 | 1437 159558 690102 | 2147483647 98608 96 | 0.000 % |
121.12/121.18 c | 99263 | 1437 159558 690102 | 2147483647 99263 96 | 0.000 % |
122.32/122.39 c | 99983 | 1437 159558 690102 | 2147483647 99983 96 | 0.000 % |
123.72/123.79 c | 100776 | 1437 159558 690102 | 2147483647 100776 96 | 0.000 % |
125.72/125.77 c | 101647 | 1437 159558 690102 | 2147483647 101647 96 | 0.000 % |
128.12/128.18 c | 102607 | 1437 159558 690102 | 2147483647 102607 95 | 0.000 % |
131.02/131.07 c | 103660 | 1437 159558 690102 | 2147483647 103660 95 | 0.000 % |
134.22/134.24 c | 104818 | 1437 159558 690102 | 2147483647 104818 94 | 0.000 % |
134.42/134.41 c | 104920 | 1437 159558 690102 | 2147483647 104920 94 | 0.000 % |
134.62/134.67 c | 105030 | 1437 159558 690102 | 2147483647 105030 94 | 0.000 % |
134.92/134.92 c | 105153 | 1437 159558 690102 | 2147483647 105153 94 | 0.000 % |
135.12/135.20 c | 105288 | 1437 159558 690102 | 2147483647 105288 94 | 0.000 % |
135.42/135.45 c | 105434 | 1437 159558 690102 | 2147483647 105434 94 | 0.000 % |
135.82/135.81 c | 105594 | 1437 159558 690102 | 2147483647 105594 94 | 0.000 % |
136.12/136.17 c | 105770 | 1437 159558 690102 | 2147483647 105770 94 | 0.000 % |
136.62/136.60 c | 105964 | 1437 159558 690102 | 2147483647 105964 94 | 0.000 % |
137.02/137.10 c | 106176 | 1437 159558 690102 | 2147483647 106176 94 | 0.000 % |
137.32/137.40 c | 106410 | 1437 159558 690102 | 2147483647 106410 94 | 0.000 % |
137.82/137.85 c | 106670 | 1437 159558 690102 | 2147483647 106670 94 | 0.000 % |
138.32/138.31 c | 106951 | 1437 159558 690102 | 2147483647 106951 94 | 0.000 % |
139.02/139.01 c | 107261 | 1437 159558 690102 | 2147483647 107261 94 | 0.000 % |
139.52/139.56 c | 107602 | 1437 159558 690102 | 2147483647 107602 94 | 0.000 % |
140.12/140.13 c | 107975 | 1437 159558 690102 | 2147483647 107975 94 | 0.000 % |
140.62/140.68 c | 108385 | 1437 159558 690102 | 2147483647 108385 94 | 0.000 % |
142.02/142.02 c | 108835 | 1437 159558 690102 | 2147483647 108835 94 | 0.000 % |
142.82/142.86 c | 109329 | 1437 159558 690102 | 2147483647 109329 94 | 0.000 % |
143.72/143.71 c | 109873 | 1437 159558 690102 | 2147483647 109873 94 | 0.000 % |
144.52/144.53 c | 110469 | 1437 159558 690102 | 2147483647 110469 95 | 0.000 % |
146.22/146.21 c | 111124 | 1437 159558 690102 | 2147483647 111124 95 | 0.000 % |
147.82/147.88 c | 111844 | 1437 159558 690102 | 2147483647 111844 95 | 0.000 % |
149.72/149.75 c | 112637 | 1437 159558 690102 | 2147483647 112637 94 | 0.000 % |
151.72/151.73 c | 113510 | 1437 159558 690102 | 2147483647 113510 95 | 0.000 % |
154.42/154.50 c | 114471 | 1437 159558 690102 | 2147483647 114471 95 | 0.000 % |
157.42/157.42 c | 115527 | 1437 159558 690102 | 2147483647 115527 95 | 0.000 % |
159.92/159.98 c | 116687 | 1437 159558 690102 | 2147483647 116687 95 | 0.000 % |
162.02/162.05 c | 117963 | 1437 159558 690102 | 2147483647 117963 95 | 0.000 % |
162.22/162.26 c | 118068 | 1437 159558 690102 | 2147483647 118068 95 | 0.000 % |
162.52/162.58 c | 118180 | 1437 159558 690102 | 2147483647 118180 95 | 0.000 % |
162.72/162.80 c | 118303 | 1437 159558 690102 | 2147483647 118303 95 | 0.000 % |
163.12/163.11 c | 118437 | 1437 159558 690102 | 2147483647 118437 96 | 0.000 % |
163.42/163.45 c | 118583 | 1437 159558 690102 | 2147483647 118583 96 | 0.000 % |
163.93/163.93 c | 118744 | 1437 159558 690102 | 2147483647 118744 96 | 0.000 % |
164.32/164.33 c | 118920 | 1437 159558 690102 | 2147483647 118920 96 | 0.000 % |
164.62/164.69 c | 119114 | 1437 159558 690102 | 2147483647 119114 96 | 0.000 % |
165.12/165.11 c | 119328 | 1437 159558 690102 | 2147483647 119328 96 | 0.000 % |
165.52/165.59 c | 119563 | 1437 159558 690102 | 2147483647 119563 96 | 0.000 % |
166.22/166.26 c | 119820 | 1437 159558 690102 | 2147483647 119820 96 | 0.000 % |
167.02/167.04 c | 120101 | 1437 159558 690102 | 2147483647 120101 96 | 0.000 % |
167.62/167.65 c | 120410 | 1437 159558 690102 | 2147483647 120410 96 | 0.000 % |
168.12/168.17 c | 120750 | 1437 159558 690102 | 2147483647 120750 96 | 0.000 % |
168.92/168.97 c | 121123 | 1437 159558 690102 | 2147483647 121123 96 | 0.000 % |
169.82/169.87 c | 121533 | 1437 159558 690102 | 2147483647 121533 96 | 0.000 % |
170.62/170.62 c | 121983 | 1437 159558 690102 | 2147483647 121983 96 | 0.000 % |
171.52/171.58 c | 122476 | 1437 159558 690102 | 2147483647 122476 96 | 0.000 % |
172.32/172.38 c | 123019 | 1437 159558 690102 | 2147483647 123019 96 | 0.000 % |
173.22/173.27 c | 123615 | 1437 159558 690102 | 2147483647 123615 96 | 0.000 % |
174.02/174.01 c | 124271 | 1437 159558 690102 | 2147483647 124271 96 | 0.000 % |
174.82/174.81 c | 124992 | 1437 159558 690102 | 2147483647 124992 96 | 0.000 % |
175.82/175.81 c | 125785 | 1437 159558 690102 | 2147483647 125785 96 | 0.000 % |
176.92/177.00 c | 126656 | 1437 159558 690102 | 2147483647 126656 96 | 0.000 % |
177.92/177.93 c | 127614 | 1437 159558 690102 | 2147483647 127614 96 | 0.000 % |
178.82/178.86 c | 128667 | 1437 159558 690102 | 2147483647 128667 96 | 0.000 % |
179.62/179.66 c | 129825 | 1437 159558 690102 | 2147483647 129825 96 | 0.000 % |
182.92/182.90 c | 131098 | 1437 159558 690102 | 2147483647 131098 96 | 0.000 % |
186.03/186.04 c | 132499 | 1437 159558 690102 | 2147483647 132499 96 | 0.000 % |
186.43/186.43 c | 132599 | 1437 159558 690102 | 2147483647 132599 96 | 0.000 % |
186.73/186.75 c | 132709 | 1437 159558 690102 | 2147483647 132709 96 | 0.000 % |
187.03/187.08 c | 132830 | 1437 159558 690102 | 2147483647 132830 96 | 0.000 % |
187.43/187.46 c | 132963 | 1437 159558 690102 | 2147483647 132963 96 | 0.000 % |
187.73/187.76 c | 133110 | 1437 159558 690102 | 2147483647 133110 96 | 0.000 % |
188.03/188.02 c | 133270 | 1437 159558 690102 | 2147483647 133270 96 | 0.000 % |
188.33/188.33 c | 133447 | 1437 159558 690102 | 2147483647 133447 96 | 0.000 % |
188.93/188.98 c | 133643 | 1437 159558 690102 | 2147483647 133643 96 | 0.000 % |
189.73/189.78 c | 133855 | 1437 159558 690102 | 2147483647 133855 96 | 0.000 % |
190.63/190.63 c | 134091 | 1437 159558 690102 | 2147483647 134091 96 | 0.000 % |
191.13/191.16 c | 134348 | 1437 159558 690102 | 2147483647 134348 96 | 0.000 % |
191.73/191.74 c | 134632 | 1437 159558 690102 | 2147483647 134632 96 | 0.000 % |
192.23/192.25 c | 134944 | 1437 159558 690102 | 2147483647 134944 96 | 0.000 % |
193.13/193.15 c | 135284 | 1437 159558 690102 | 2147483647 135284 96 | 0.000 % |
193.73/193.76 c | 135656 | 1437 159558 690102 | 2147483647 135656 96 | 0.000 % |
194.83/194.85 c | 136065 | 1437 159558 690102 | 2147483647 136065 96 | 0.000 % |
196.23/196.28 c | 136514 | 1437 159558 690102 | 2147483647 136514 96 | 0.000 % |
197.73/197.81 c | 137011 | 1437 159558 690102 | 2147483647 137011 96 | 0.000 % |
199.23/199.29 c | 137553 | 1437 159558 690102 | 2147483647 137553 96 | 0.000 % |
200.83/200.88 c | 138149 | 1437 159558 690102 | 2147483647 138149 96 | 0.000 % |
202.63/202.68 c | 138805 | 1437 159558 690102 | 2147483647 138805 96 | 0.000 % |
204.33/204.36 c | 139527 | 1437 159558 690102 | 2147483647 139527 96 | 0.000 % |
205.93/205.99 c | 140322 | 1437 159558 690102 | 2147483647 140322 97 | 0.000 % |
208.63/208.66 c | 141193 | 1437 159558 690102 | 2147483647 141193 97 | 0.000 % |
211.33/211.32 c | 142152 | 1437 159558 690102 | 2147483647 142152 96 | 0.000 % |
214.74/214.81 c | 143210 | 1437 159558 690102 | 2147483647 143210 96 | 0.000 % |
217.94/217.97 c | 144371 | 1437 159558 690102 | 2147483647 144371 96 | 0.000 % |
221.74/221.78 c | 145644 | 1437 159558 690102 | 2147483647 145644 95 | 0.000 % |
226.04/226.03 c | 147046 | 1437 159558 690102 | 2147483647 147046 95 | 0.000 % |
231.44/231.42 c | 148588 | 1437 159558 690102 | 2147483647 148588 95 | 0.000 % |
231.74/231.81 c | 148690 | 1437 159558 690102 | 2147483647 148690 95 | 0.000 % |
232.14/232.14 c | 148802 | 1437 159558 690102 | 2147483647 148802 95 | 0.000 % |
232.44/232.45 c | 148924 | 1437 159558 690102 | 2147483647 148924 95 | 0.000 % |
232.94/232.92 c | 149057 | 1437 159558 690102 | 2147483647 149057 95 | 0.000 % |
233.44/233.47 c | 149206 | 1437 159558 690102 | 2147483647 149206 95 | 0.000 % |
233.84/233.85 c | 149367 | 1437 159558 690102 | 2147483647 149367 95 | 0.000 % |
234.44/234.45 c | 149543 | 1437 159558 690102 | 2147483647 149543 95 | 0.000 % |
235.04/235.05 c | 149737 | 1437 159558 690102 | 2147483647 149737 95 | 0.000 % |
235.84/235.86 c | 149949 | 1437 159558 690102 | 2147483647 149949 95 | 0.000 % |
236.34/236.39 c | 150183 | 1437 159558 690102 | 2147483647 150183 95 | 0.000 % |
236.94/236.91 c | 150439 | 1437 159558 690102 | 2147483647 150439 95 | 0.000 % |
237.54/237.60 c | 150722 | 1437 159558 690102 | 2147483647 150722 95 | 0.000 % |
238.74/238.76 c | 151031 | 1437 159558 690102 | 2147483647 151031 95 | 0.000 % |
240.14/240.12 c | 151371 | 1437 159558 690102 | 2147483647 151371 95 | 0.000 % |
241.34/241.41 c | 151743 | 1437 159558 690102 | 2147483647 151743 95 | 0.000 % |
242.34/242.34 c | 152152 | 1437 159558 690102 | 2147483647 152152 95 | 0.000 % |
243.84/243.82 c | 152601 | 1437 159558 690102 | 2147483647 152601 95 | 0.000 % |
245.34/245.41 c | 153094 | 1437 159558 690102 | 2147483647 153094 95 | 0.000 % |
247.24/247.29 c | 153636 | 1437 159558 690102 | 2147483647 153636 95 | 0.000 % |
248.65/248.69 c | 154232 | 1437 159558 690102 | 2147483647 154232 95 | 0.000 % |
250.14/250.21 c | 154888 | 1437 159558 690102 | 2147483647 154888 95 | 0.000 % |
252.64/252.64 c | 155608 | 1437 159558 690102 | 2147483647 155608 95 | 0.000 % |
254.44/254.51 c | 156400 | 1437 159558 690102 | 2147483647 156400 95 | 0.000 % |
257.34/257.35 c | 157271 | 1437 159558 690102 | 2147483647 157271 95 | 0.000 % |
259.54/259.56 c | 158229 | 1437 159558 690102 | 2147483647 158229 95 | 0.000 % |
261.34/261.37 c | 159282 | 1437 159558 690102 | 2147483647 159282 95 | 0.000 % |
265.04/265.04 c | 160443 | 1437 159558 690102 | 2147483647 160443 95 | 0.000 % |
269.24/269.31 c | 161717 | 1437 159558 690102 | 2147483647 161717 95 | 0.000 % |
273.95/273.97 c | 163119 | 1437 159558 690102 | 2147483647 163119 95 | 0.000 % |
277.14/277.12 c | 164659 | 1437 159558 690102 | 2147483647 164659 94 | 0.000 % |
280.24/280.27 c | 166353 | 1437 159558 690102 | 2147483647 166353 94 | 0.000 % |
280.55/280.55 c | 166453 | 1437 159558 690102 | 2147483647 166453 94 | 0.000 % |
280.84/280.90 c | 166565 | 1437 159558 690102 | 2147483647 166565 94 | 0.000 % |
281.34/281.32 c | 166688 | 1437 159558 690102 | 2147483647 166688 94 | 0.000 % |
281.84/281.82 c | 166822 | 1437 159558 690102 | 2147483647 166822 94 | 0.000 % |
282.24/282.28 c | 166970 | 1437 159558 690102 | 2147483647 166970 94 | 0.000 % |
282.94/283.00 c | 167133 | 1437 159558 690102 | 2147483647 167133 94 | 0.000 % |
283.54/283.53 c | 167310 | 1437 159558 690102 | 2147483647 167310 94 | 0.000 % |
284.04/284.02 c | 167506 | 1437 159558 690102 | 2147483647 167506 94 | 0.000 % |
284.64/284.65 c | 167718 | 1437 159558 690102 | 2147483647 167718 94 | 0.000 % |
285.14/285.15 c | 167951 | 1437 159558 690102 | 2147483647 167951 94 | 0.000 % |
285.64/285.69 c | 168211 | 1437 159558 690102 | 2147483647 168211 94 | 0.000 % |
286.24/286.27 c | 168494 | 1437 159558 690102 | 2147483647 168494 94 | 0.000 % |
286.94/286.96 c | 168807 | 1437 159558 690102 | 2147483647 168807 95 | 0.000 % |
287.74/287.77 c | 169146 | 1437 159558 690102 | 2147483647 169146 95 | 0.000 % |
288.64/288.70 c | 169519 | 1437 159558 690102 | 2147483647 169519 95 | 0.000 % |
289.84/289.85 c | 169930 | 1437 159558 690102 | 2147483647 169930 95 | 0.000 % |
291.34/291.34 c | 170379 | 1437 159558 690102 | 2147483647 170379 95 | 0.000 % |
292.24/292.27 c | 170872 | 1437 159558 690102 | 2147483647 170872 95 | 0.000 % |
293.34/293.37 c | 171414 | 1437 159558 690102 | 2147483647 171414 95 | 0.000 % |
295.35/295.34 c | 172010 | 1437 159558 690102 | 2147483647 172010 95 | 0.000 % |
297.45/297.50 c | 172666 | 1437 159558 690102 | 2147483647 172666 95 | 0.000 % |
299.35/299.32 c | 173387 | 1437 159558 690102 | 2147483647 173387 95 | 0.000 % |
301.45/301.51 c | 174180 | 1437 159558 690102 | 2147483647 174180 95 | 0.000 % |
303.05/303.11 c | 175051 | 1437 159558 690102 | 2147483647 175051 95 | 0.000 % |
305.25/305.26 c | 176009 | 1437 159558 690102 | 2147483647 176009 95 | 0.000 % |
307.75/307.72 c | 177063 | 1437 159558 690102 | 2147483647 177063 95 | 0.000 % |
311.75/311.76 c | 178222 | 1437 159558 690102 | 2147483647 178222 95 | 0.000 % |
316.75/316.78 c | 179496 | 1437 159558 690102 | 2147483647 179496 96 | 0.000 % |
319.85/319.86 c | 180903 | 1437 159558 690102 | 2147483647 180903 96 | 0.000 % |
323.35/323.39 c | 182443 | 1437 159558 690102 | 2147483647 182443 96 | 0.000 % |
326.75/326.74 c | 184137 | 1437 159558 690102 | 2147483647 184137 96 | 0.000 % |
331.05/331.05 c | 186001 | 1437 159558 690102 | 2147483647 186001 96 | 0.000 % |
331.45/331.44 c | 186103 | 1437 159558 690102 | 2147483647 186103 96 | 0.000 % |
331.75/331.72 c | 186213 | 1437 159558 690102 | 2147483647 186213 96 | 0.000 % |
332.15/332.16 c | 186334 | 1437 159558 690102 | 2147483647 186334 96 | 0.000 % |
332.75/332.72 c | 186469 | 1437 159558 690102 | 2147483647 186469 96 | 0.000 % |
333.15/333.15 c | 186616 | 1437 159558 690102 | 2147483647 186616 96 | 0.000 % |
333.65/333.69 c | 186777 | 1437 159558 690102 | 2147483647 186777 96 | 0.000 % |
334.35/334.36 c | 186953 | 1437 159558 690102 | 2147483647 186953 96 | 0.000 % |
334.95/334.99 c | 187147 | 1437 159558 690102 | 2147483647 187147 96 | 0.000 % |
335.65/335.71 c | 187360 | 1437 159558 690102 | 2147483647 187360 96 | 0.000 % |
336.45/336.42 c | 187593 | 1437 159558 690102 | 2147483647 187593 96 | 0.000 % |
337.15/337.15 c | 187851 | 1437 159558 690102 | 2147483647 187851 96 | 0.000 % |
337.85/337.88 c | 188133 | 1437 159558 690102 | 2147483647 188133 96 | 0.000 % |
339.15/339.18 c | 188444 | 1437 159558 690102 | 2147483647 188444 96 | 0.000 % |
340.65/340.65 c | 188786 | 1437 159558 690102 | 2147483647 188786 96 | 0.000 % |
342.25/342.31 c | 189158 | 1437 159558 690102 | 2147483647 189158 96 | 0.000 % |
343.95/344.01 c | 189571 | 1437 159558 690102 | 2147483647 189571 96 | 0.000 % |
345.65/345.70 c | 190020 | 1437 159558 690102 | 2147483647 190020 96 | 0.000 % |
346.95/346.92 c | 190514 | 1437 159558 690102 | 2147483647 190514 96 | 0.000 % |
348.55/348.61 c | 191056 | 1437 159558 690102 | 2147483647 191056 96 | 0.000 % |
350.15/350.16 c | 191652 | 1437 159558 690102 | 2147483647 191652 96 | 0.000 % |
351.75/351.77 c | 192308 | 1437 159558 690102 | 2147483647 192308 96 | 0.000 % |
354.75/354.79 c | 193028 | 1437 159558 690102 | 2147483647 193028 96 | 0.000 % |
357.55/357.60 c | 193822 | 1437 159558 690102 | 2147483647 193822 96 | 0.000 % |
360.25/360.29 c | 194695 | 1437 159558 690102 | 2147483647 194695 96 | 0.000 % |
363.05/363.02 c | 195653 | 1437 159558 690102 | 2147483647 195653 96 | 0.000 % |
365.55/365.55 c | 196710 | 1437 159558 690102 | 2147483647 196710 96 | 0.000 % |
368.25/368.28 c | 197869 | 1437 159558 690102 | 2147483647 197869 96 | 0.000 % |
371.45/371.44 c | 199142 | 1437 159558 690102 | 2147483647 199142 96 | 0.000 % |
375.95/375.96 c | 200543 | 1437 159558 690102 | 2147483647 200543 96 | 0.000 % |
380.55/380.62 c | 202084 | 1437 159558 690102 | 2147483647 202084 96 | 0.000 % |
385.25/385.31 c | 203781 | 1437 159558 690102 | 2147483647 203781 96 | 0.000 % |
389.05/389.09 c | 205645 | 1437 159558 690102 | 2147483647 205645 97 | 0.000 % |
394.45/394.42 c | 207695 | 1437 159558 690102 | 2147483647 207695 97 | 0.000 % |
394.75/394.72 c | 207795 | 1437 159558 690102 | 2147483647 207795 97 | 0.000 % |
395.15/395.19 c | 207908 | 1437 159558 690102 | 2147483647 207908 97 | 0.000 % |
395.55/395.59 c | 208029 | 1437 159558 690102 | 2147483647 208029 97 | 0.000 % |
396.15/396.16 c | 208162 | 1437 159558 690102 | 2147483647 208162 97 | 0.000 % |
396.75/396.77 c | 208308 | 1437 159558 690102 | 2147483647 208308 97 | 0.000 % |
397.55/397.55 c | 208468 | 1437 159558 690102 | 2147483647 208468 97 | 0.000 % |
398.35/398.38 c | 208644 | 1437 159558 690102 | 2147483647 208644 97 | 0.000 % |
399.25/399.23 c | 208840 | 1437 159558 690102 | 2147483647 208840 97 | 0.000 % |
400.25/400.27 c | 209053 | 1437 159558 690102 | 2147483647 209053 97 | 0.000 % |
401.05/401.04 c | 209287 | 1437 159558 690102 | 2147483647 209287 97 | 0.000 % |
401.95/401.98 c | 209543 | 1437 159558 690102 | 2147483647 209543 97 | 0.000 % |
402.85/402.87 c | 209825 | 1437 159558 690102 | 2147483647 209825 97 | 0.000 % |
403.85/403.81 c | 210135 | 1437 159558 690102 | 2147483647 210135 97 | 0.000 % |
404.75/404.80 c | 210474 | 1437 159558 690102 | 2147483647 210474 97 | 0.000 % |
405.65/405.68 c | 210847 | 1437 159558 690102 | 2147483647 210847 97 | 0.000 % |
406.56/406.56 c | 211257 | 1437 159558 690102 | 2147483647 211257 97 | 0.000 % |
407.86/407.89 c | 211707 | 1437 159558 690102 | 2147483647 211707 97 | 0.000 % |
409.46/409.50 c | 212201 | 1437 159558 690102 | 2147483647 212201 97 | 0.000 % |
411.56/411.55 c | 212744 | 1437 159558 690102 | 2147483647 212744 97 | 0.000 % |
413.96/413.96 c | 213340 | 1437 159558 690102 | 2147483647 213340 97 | 0.000 % |
415.56/415.58 c | 213996 | 1437 159558 690102 | 2147483647 213996 97 | 0.000 % |
418.45/418.42 c | 214717 | 1437 159558 690102 | 2147483647 214717 97 | 0.000 % |
419.95/419.94 c | 215509 | 1437 159558 690102 | 2147483647 215509 97 | 0.000 % |
422.35/422.41 c | 216380 | 1437 159558 690102 | 2147483647 216380 97 | 0.000 % |
425.65/425.64 c | 217338 | 1437 159558 690102 | 2147483647 217338 97 | 0.000 % |
428.15/428.17 c | 218391 | 1437 159558 690102 | 2147483647 218391 97 | 0.000 % |
430.95/430.96 c | 219551 | 1437 159558 690102 | 2147483647 219551 97 | 0.000 % |
434.05/434.11 c | 220824 | 1437 159558 690102 | 2147483647 220824 97 | 0.000 % |
438.95/438.99 c | 222224 | 1437 159558 690102 | 2147483647 222224 97 | 0.000 % |
443.35/443.38 c | 223764 | 1437 159558 690102 | 2147483647 223764 97 | 0.000 % |
449.85/449.87 c | 225458 | 1437 159558 690102 | 2147483647 225458 97 | 0.000 % |
457.85/457.88 c | 227322 | 1437 159558 690102 | 2147483647 227322 97 | 0.000 % |
466.75/466.72 c | 229371 | 1437 159558 690102 | 2147483647 229371 97 | 0.000 % |
472.85/472.89 c | 231625 | 1437 159558 690102 | 2147483647 231625 97 | 0.000 % |
473.15/473.20 c | 231725 | 1437 159558 690102 | 2147483647 231725 97 | 0.000 % |
473.65/473.68 c | 231836 | 1437 159558 690102 | 2147483647 231836 97 | 0.000 % |
474.05/474.10 c | 231957 | 1437 159558 690102 | 2147483647 231957 97 | 0.000 % |
474.65/474.63 c | 232091 | 1437 159558 690102 | 2147483647 232091 97 | 0.000 % |
475.05/475.09 c | 232238 | 1437 159558 690102 | 2147483647 232238 97 | 0.000 % |
475.65/475.65 c | 232399 | 1437 159558 690102 | 2147483647 232399 97 | 0.000 % |
476.55/476.57 c | 232578 | 1437 159558 690102 | 2147483647 232578 97 | 0.000 % |
477.05/477.08 c | 232773 | 1437 159558 690102 | 2147483647 232773 97 | 0.000 % |
477.85/477.88 c | 232986 | 1437 159558 690102 | 2147483647 232986 97 | 0.000 % |
478.45/478.46 c | 233222 | 1437 159558 690102 | 2147483647 233222 97 | 0.000 % |
479.55/479.56 c | 233478 | 1437 159558 690102 | 2147483647 233478 97 | 0.000 % |
480.65/480.67 c | 233759 | 1437 159558 690102 | 2147483647 233759 97 | 0.000 % |
481.65/481.62 c | 234068 | 1437 159558 690102 | 2147483647 234068 97 | 0.000 % |
482.65/482.68 c | 234409 | 1437 159558 690102 | 2147483647 234409 97 | 0.000 % |
483.95/483.97 c | 234784 | 1437 159558 690102 | 2147483647 234784 97 | 0.000 % |
485.25/485.22 c | 235194 | 1437 159558 690102 | 2147483647 235194 97 | 0.000 % |
486.35/486.38 c | 235644 | 1437 159558 690102 | 2147483647 235644 97 | 0.000 % |
487.65/487.63 c | 236137 | 1437 159558 690102 | 2147483647 236137 97 | 0.000 % |
489.15/489.15 c | 236679 | 1437 159558 690102 | 2147483647 236679 97 | 0.000 % |
491.35/491.31 c | 237275 | 1437 159558 690102 | 2147483647 237275 97 | 0.000 % |
492.55/492.58 c | 237932 | 1437 159558 690102 | 2147483647 237932 97 | 0.000 % |
495.75/495.78 c | 238652 | 1437 159558 690102 | 2147483647 238652 97 | 0.000 % |
498.65/498.64 c | 239444 | 1437 159558 690102 | 2147483647 239444 97 | 0.000 % |
501.85/501.83 c | 240317 | 1437 159558 690102 | 2147483647 240317 97 | 0.000 % |
504.15/504.18 c | 241276 | 1437 159558 690102 | 2147483647 241276 97 | 0.000 % |
508.35/508.36 c | 242329 | 1437 159558 690102 | 2147483647 242329 97 | 0.000 % |
511.45/511.43 c | 243488 | 1437 159558 690102 | 2147483647 243488 96 | 0.000 % |
515.25/515.29 c | 244761 | 1437 159558 690102 | 2147483647 244761 96 | 0.000 % |
519.46/519.41 c | 246162 | 1437 159558 690102 | 2147483647 246162 96 | 0.000 % |
525.86/525.82 c | 247702 | 1437 159558 690102 | 2147483647 247702 96 | 0.000 % |
532.96/532.99 c | 249397 | 1437 159558 690102 | 2147483647 249397 96 | 0.000 % |
540.36/540.41 c | 251264 | 1437 159558 690102 | 2147483647 251264 96 | 0.000 % |
547.26/547.28 c | 253313 | 1437 159558 690102 | 2147483647 253313 95 | 0.000 % |
552.66/552.65 c | 255567 | 1437 159558 690102 | 2147483647 255567 95 | 0.000 % |
562.96/562.98 c | 258046 | 1437 159558 690102 | 2147483647 258046 95 | 0.000 % |
563.56/563.58 c | 258149 | 1437 159558 690102 | 2147483647 258149 95 | 0.000 % |
564.26/564.30 c | 258261 | 1437 159558 690102 | 2147483647 258261 95 | 0.000 % |
564.66/564.68 c | 258382 | 1437 159558 690102 | 2147483647 258382 95 | 0.000 % |
565.26/565.26 c | 258516 | 1437 159558 690102 | 2147483647 258516 95 | 0.000 % |
565.96/565.96 c | 258663 | 1437 159558 690102 | 2147483647 258663 95 | 0.000 % |
566.56/566.55 c | 258823 | 1437 159558 690102 | 2147483647 258823 95 | 0.000 % |
567.06/567.07 c | 258999 | 1437 159558 690102 | 2147483647 258999 95 | 0.000 % |
567.76/567.74 c | 259192 | 1437 159558 690102 | 2147483647 259192 95 | 0.000 % |
568.36/568.41 c | 259404 | 1437 159558 690102 | 2147483647 259404 95 | 0.000 % |
569.56/569.58 c | 259638 | 1437 159558 690102 | 2147483647 259638 95 | 0.000 % |
570.56/570.58 c | 259898 | 1437 159558 690102 | 2147483647 259898 95 | 0.000 % |
571.66/571.64 c | 260182 | 1437 159558 690102 | 2147483647 260182 95 | 0.000 % |
572.86/572.86 c | 260492 | 1437 159558 690102 | 2147483647 260492 95 | 0.000 % |
573.66/573.70 c | 260832 | 1437 159558 690102 | 2147483647 260832 95 | 0.000 % |
575.06/575.03 c | 261204 | 1437 159558 690102 | 2147483647 261204 95 | 0.000 % |
577.26/577.22 c | 261614 | 1437 159558 690102 | 2147483647 261614 95 | 0.000 % |
579.46/579.47 c | 262063 | 1437 159558 690102 | 2147483647 262063 95 | 0.000 % |
581.26/581.24 c | 262559 | 1437 159558 690102 | 2147483647 262559 95 | 0.000 % |
583.86/583.91 c | 263101 | 1437 159558 690102 | 2147483647 263101 95 | 0.000 % |
586.36/586.40 c | 263697 | 1437 159558 690102 | 2147483647 263697 95 | 0.000 % |
588.16/588.14 c | 264352 | 1437 159558 690102 | 2147483647 264352 96 | 0.000 % |
590.26/590.27 c | 265072 | 1437 159558 690102 | 2147483647 265072 96 | 0.000 % |
594.16/594.15 c | 265864 | 1437 159558 690102 | 2147483647 265864 96 | 0.000 % |
596.96/596.99 c | 266735 | 1437 159558 690102 | 2147483647 266735 96 | 0.000 % |
601.06/601.02 c | 267693 | 1437 159558 690102 | 2147483647 267693 96 | 0.000 % |
605.46/605.49 c | 268748 | 1437 159558 690102 | 2147483647 268748 95 | 0.000 % |
608.56/608.56 c | 269906 | 1437 159558 690102 | 2147483647 269906 96 | 0.000 % |
612.36/612.31 c | 271180 | 1437 159558 690102 | 2147483647 271180 96 | 0.000 % |
618.06/618.01 c | 272581 | 1437 159558 690102 | 2147483647 272581 96 | 0.000 % |
623.77/623.77 c | 274121 | 1437 159558 690102 | 2147483647 274121 96 | 0.000 % |
629.27/629.25 c | 275815 | 1437 159558 690102 | 2147483647 275815 96 | 0.000 % |
636.07/636.02 c | 277680 | 1437 159558 690102 | 2147483647 277680 96 | 0.000 % |
644.47/644.47 c | 279730 | 1437 159558 690102 | 2147483647 279730 96 | 0.000 % |
654.67/654.65 c | 281983 | 1437 159558 690102 | 2147483647 281983 96 | 0.000 % |
666.47/666.48 c | 284462 | 1437 159558 690102 | 2147483647 284462 96 | 0.000 % |
678.97/678.93 c | 287192 | 1437 159558 690102 | 2147483647 287192 95 | 0.000 % |
679.37/679.35 c | 287292 | 1437 159558 690102 | 2147483647 287292 95 | 0.000 % |
679.87/679.87 c | 287405 | 1437 159558 690102 | 2147483647 287405 95 | 0.000 % |
680.37/680.40 c | 287526 | 1437 159558 690102 | 2147483647 287526 95 | 0.000 % |
680.97/681.01 c | 287659 | 1437 159558 690102 | 2147483647 287659 95 | 0.000 % |
681.87/681.82 c | 287805 | 1437 159558 690102 | 2147483647 287805 95 | 0.000 % |
682.47/682.43 c | 287965 | 1437 159558 690102 | 2147483647 287965 95 | 0.000 % |
683.37/683.37 c | 288142 | 1437 159558 690102 | 2147483647 288142 95 | 0.000 % |
683.97/684.00 c | 288335 | 1437 159558 690102 | 2147483647 288335 95 | 0.000 % |
685.17/685.12 c | 288547 | 1437 159558 690102 | 2147483647 288547 95 | 0.000 % |
685.87/685.90 c | 288780 | 1437 159558 690102 | 2147483647 288780 95 | 0.000 % |
686.67/686.64 c | 289036 | 1437 159558 690102 | 2147483647 289036 95 | 0.000 % |
688.07/688.08 c | 289317 | 1437 159558 690102 | 2147483647 289317 95 | 0.000 % |
689.17/689.11 c | 289626 | 1437 159558 690102 | 2147483647 289626 95 | 0.000 % |
689.97/689.93 c | 289966 | 1437 159558 690102 | 2147483647 289966 95 | 0.000 % |
691.17/691.18 c | 290338 | 1437 159558 690102 | 2147483647 290338 95 | 0.000 % |
692.37/692.32 c | 290748 | 1437 159558 690102 | 2147483647 290748 95 | 0.000 % |
693.57/693.57 c | 291197 | 1437 159558 690102 | 2147483647 291197 95 | 0.000 % |
695.17/695.20 c | 291691 | 1437 159558 690102 | 2147483647 291691 95 | 0.000 % |
697.87/697.83 c | 292233 | 1437 159558 690102 | 2147483647 292233 95 | 0.000 % |
699.57/699.61 c | 292832 | 1437 159558 690102 | 2147483647 292832 95 | 0.000 % |
701.77/701.76 c | 293491 | 1437 159558 690102 | 2147483647 293491 95 | 0.000 % |
703.98/704.01 c | 294211 | 1437 159558 690102 | 2147483647 294211 95 | 0.000 % |
706.18/706.18 c | 295006 | 1437 159558 690102 | 2147483647 295006 95 | 0.000 % |
709.28/709.29 c | 295879 | 1437 159558 690102 | 2147483647 295879 95 | 0.000 % |
713.18/713.18 c | 296837 | 1437 159558 690102 | 2147483647 296837 95 | 0.000 % |
717.98/717.99 c | 297892 | 1437 159558 690102 | 2147483647 297892 95 | 0.000 % |
723.38/723.40 c | 299050 | 1437 159558 690102 | 2147483647 299050 95 | 0.000 % |
727.68/727.69 c | 300323 | 1437 159558 690102 | 2147483647 300323 95 | 0.000 % |
732.08/732.11 c | 301723 | 1437 159558 690102 | 2147483647 301723 96 | 0.000 % |
739.58/739.58 c | 303264 | 1437 159558 690102 | 2147483647 303264 96 | 0.000 % |
745.39/745.33 c | 304959 | 1437 159558 690102 | 2147483647 304959 96 | 0.000 % |
754.39/754.38 c | 306822 | 1437 159558 690102 | 2147483647 306822 96 | 0.000 % |
761.19/761.21 c | 308872 | 1437 159558 690102 | 2147483647 308872 96 | 0.000 % |
770.89/770.89 c | 311125 | 1437 159558 690102 | 2147483647 311125 96 | 0.000 % |
778.58/778.58 c | 313605 | 1437 159558 690102 | 2147483647 313605 96 | 0.000 % |
788.38/788.41 c | 316331 | 1437 159558 690102 | 2147483647 316331 96 | 0.000 % |
799.68/799.64 c | 319328 | 1437 159558 690102 | 2147483647 319328 95 | 0.000 % |
800.08/800.09 c | 319429 | 1437 159558 690102 | 2147483647 319429 95 | 0.000 % |
800.58/800.54 c | 319540 | 1437 159558 690102 | 2147483647 319540 95 | 0.000 % |
801.18/801.19 c | 319661 | 1437 159558 690102 | 2147483647 319661 95 | 0.000 % |
802.08/802.03 c | 319794 | 1437 159558 690102 | 2147483647 319794 95 | 0.000 % |
802.68/802.67 c | 319940 | 1437 159558 690102 | 2147483647 319940 95 | 0.000 % |
803.18/803.18 c | 320101 | 1437 159558 690102 | 2147483647 320101 95 | 0.000 % |
803.88/803.91 c | 320279 | 1437 159558 690102 | 2147483647 320279 95 | 0.000 % |
804.88/804.83 c | 320473 | 1437 159558 690102 | 2147483647 320473 95 | 0.000 % |
805.58/805.57 c | 320686 | 1437 159558 690102 | 2147483647 320686 95 | 0.000 % |
806.48/806.45 c | 320919 | 1437 159558 690102 | 2147483647 320919 95 | 0.000 % |
807.58/807.59 c | 321175 | 1437 159558 690102 | 2147483647 321175 95 | 0.000 % |
809.48/809.48 c | 321457 | 1437 159558 690102 | 2147483647 321457 95 | 0.000 % |
811.18/811.16 c | 321767 | 1437 159558 690102 | 2147483647 321767 95 | 0.000 % |
813.08/813.01 c | 322108 | 1437 159558 690102 | 2147483647 322108 95 | 0.000 % |
815.08/815.10 c | 322484 | 1437 159558 690102 | 2147483647 322484 95 | 0.000 % |
817.39/817.40 c | 322893 | 1437 159558 690102 | 2147483647 322893 95 | 0.000 % |
819.98/819.93 c | 323342 | 1437 159558 690102 | 2147483647 323342 95 | 0.000 % |
821.79/821.75 c | 323835 | 1437 159558 690102 | 2147483647 323835 95 | 0.000 % |
824.38/824.39 c | 324378 | 1437 159558 690102 | 2147483647 324378 95 | 0.000 % |
826.98/826.99 c | 324977 | 1437 159558 690102 | 2147483647 324977 95 | 0.000 % |
829.49/829.42 c | 325632 | 1437 159558 690102 | 2147483647 325632 95 | 0.000 % |
831.98/832.00 c | 326353 | 1437 159558 690102 | 2147483647 326353 95 | 0.000 % |
835.88/835.84 c | 327145 | 1437 159558 690102 | 2147483647 327145 95 | 0.000 % |
840.68/840.61 c | 328017 | 1437 159558 690102 | 2147483647 328017 95 | 0.000 % |
845.18/845.17 c | 328976 | 1437 159558 690102 | 2147483647 328976 95 | 0.000 % |
848.19/848.16 c | 330029 | 1437 159558 690102 | 2147483647 330029 95 | 0.000 % |
852.49/852.43 c | 331189 | 1437 159558 690102 | 2147483647 331189 95 | 0.000 % |
856.49/856.43 c | 332463 | 1437 159558 690102 | 2147483647 332463 95 | 0.000 % |
861.29/861.22 c | 333863 | 1437 159558 690102 | 2147483647 333863 95 | 0.000 % |
865.29/865.25 c | 335405 | 1437 159558 690102 | 2147483647 335405 96 | 0.000 % |
873.59/873.61 c | 337099 | 1437 159558 690102 | 2147483647 337099 96 | 0.000 % |
882.29/882.24 c | 338965 | 1437 159558 690102 | 2147483647 338965 96 | 0.000 % |
892.29/892.29 c | 341015 | 1437 159558 690102 | 2147483647 341015 96 | 0.000 % |
901.19/901.18 c | 343269 | 1437 159558 690102 | 2147483647 343269 96 | 0.000 % |
908.39/908.40 c | 345747 | 1437 159558 690102 | 2147483647 345747 96 | 0.000 % |
921.09/921.04 c | 348472 | 1437 159558 690102 | 2147483647 348472 96 | 0.000 % |
936.79/936.73 c | 351472 | 1437 159558 690102 | 2147483647 351472 96 | 0.000 % |
947.09/947.04 c | 354768 | 1437 159558 690102 | 2147483647 354768 96 | 0.000 % |
947.49/947.44 c | 354869 | 1437 159558 690102 | 2147483647 354869 96 | 0.000 % |
947.99/947.94 c | 354979 | 1437 159558 690102 | 2147483647 354979 96 | 0.000 % |
948.49/948.42 c | 355100 | 1437 159558 690102 | 2147483647 355100 96 | 0.000 % |
949.09/949.08 c | 355234 | 1437 159558 690102 | 2147483647 355234 96 | 0.000 % |
949.99/949.91 c | 355380 | 1437 159558 690102 | 2147483647 355380 96 | 0.000 % |
950.69/950.64 c | 355540 | 1437 159558 690102 | 2147483647 355540 96 | 0.000 % |
951.49/951.41 c | 355716 | 1437 159558 690102 | 2147483647 355716 96 | 0.000 % |
952.59/952.52 c | 355909 | 1437 159558 690102 | 2147483647 355909 96 | 0.000 % |
953.49/953.50 c | 356124 | 1437 159558 690102 | 2147483647 356124 96 | 0.000 % |
954.79/954.75 c | 356357 | 1437 159558 690102 | 2147483647 356357 96 | 0.000 % |
955.59/955.51 c | 356613 | 1437 159558 690102 | 2147483647 356613 96 | 0.000 % |
956.69/956.69 c | 356894 | 1437 159558 690102 | 2147483647 356894 96 | 0.000 % |
957.79/957.73 c | 357203 | 1437 159558 690102 | 2147483647 357203 96 | 0.000 % |
959.69/959.66 c | 357546 | 1437 159558 690102 | 2147483647 357546 96 | 0.000 % |
961.99/961.92 c | 357918 | 1437 159558 690102 | 2147483647 357918 96 | 0.000 % |
963.29/963.28 c | 358327 | 1437 159558 690102 | 2147483647 358327 96 | 0.000 % |
965.10/965.07 c | 358776 | 1437 159558 690102 | 2147483647 358776 96 | 0.000 % |
966.90/966.90 c | 359269 | 1437 159558 690102 | 2147483647 359269 96 | 0.000 % |
968.90/968.87 c | 359811 | 1437 159558 690102 | 2147483647 359811 96 | 0.000 % |
971.50/971.49 c | 360407 | 1437 159558 690102 | 2147483647 360407 96 | 0.000 % |
975.50/975.44 c | 361064 | 1437 159558 690102 | 2147483647 361064 96 | 0.000 % |
979.40/979.40 c | 361786 | 1437 159558 690102 | 2147483647 361786 96 | 0.000 % |
982.30/982.28 c | 362580 | 1437 159558 690102 | 2147483647 362580 96 | 0.000 % |
987.20/987.13 c | 363451 | 1437 159558 690102 | 2147483647 363451 96 | 0.000 % |
992.90/992.88 c | 364409 | 1437 159558 690102 | 2147483647 364409 96 | 0.000 % |
996.40/996.36 c | 365462 | 1437 159558 690102 | 2147483647 365462 96 | 0.000 % |
1000.20/1000.20 c | 366620 | 1437 159558 690102 | 2147483647 366620 96 | 0.000 % |
1005.20/1005.14 c | 367893 | 1437 159558 690102 | 2147483647 367893 96 | 0.000 % |
1010.00/1009.95 c | 369295 | 1437 159558 690102 | 2147483647 369295 96 | 0.000 % |
1013.50/1013.48 c | 370835 | 1437 159558 690102 | 2147483647 370835 96 | 0.000 % |
1018.60/1018.54 c | 372529 | 1437 159558 690102 | 2147483647 372529 96 | 0.000 % |
1024.30/1024.26 c | 374393 | 1437 159558 690102 | 2147483647 374393 96 | 0.000 % |
1033.20/1033.17 c | 376442 | 1437 159558 690102 | 2147483647 376442 97 | 0.000 % |
1042.30/1042.29 c | 378695 | 1437 159558 690102 | 2147483647 378695 97 | 0.000 % |
1050.50/1050.41 c | 381175 | 1437 159558 690102 | 2147483647 381175 97 | 0.000 % |
1057.70/1057.69 c | 383901 | 1437 159558 690102 | 2147483647 383901 97 | 0.000 % |
1070.00/1070.00 c | 386898 | 1437 159558 690102 | 2147483647 386898 97 | 0.000 % |
1088.61/1088.52 c | 390194 | 1437 159558 690102 | 2147483647 390194 96 | 0.000 % |
1103.29/1103.27 c | 393819 | 1437 159558 690102 | 2147483647 393819 96 | 0.000 % |
1103.89/1103.84 c | 393919 | 1437 159558 690102 | 2147483647 393919 96 | 0.000 % |
1104.59/1104.58 c | 394034 | 1437 159558 690102 | 2147483647 394034 96 | 0.000 % |
1105.19/1105.21 c | 394157 | 1437 159558 690102 | 2147483647 394157 96 | 0.000 % |
1106.18/1106.16 c | 394290 | 1437 159558 690102 | 2147483647 394290 96 | 0.000 % |
1106.88/1106.83 c | 394436 | 1437 159558 690102 | 2147483647 394436 96 | 0.000 % |
1107.78/1107.79 c | 394596 | 1437 159558 690102 | 2147483647 394596 96 | 0.000 % |
1108.68/1108.65 c | 394773 | 1437 159558 690102 | 2147483647 394773 96 | 0.000 % |
1109.58/1109.59 c | 394966 | 1437 159558 690102 | 2147483647 394966 96 | 0.000 % |
1110.68/1110.67 c | 395178 | 1437 159558 690102 | 2147483647 395178 96 | 0.000 % |
1111.88/1111.88 c | 395412 | 1437 159558 690102 | 2147483647 395412 96 | 0.000 % |
1113.58/1113.59 c | 395669 | 1437 159558 690102 | 2147483647 395669 96 | 0.000 % |
1114.78/1114.79 c | 395951 | 1437 159558 690102 | 2147483647 395951 96 | 0.000 % |
1116.58/1116.57 c | 396261 | 1437 159558 690102 | 2147483647 396261 96 | 0.000 % |
1118.28/1118.26 c | 396602 | 1437 159558 690102 | 2147483647 396602 96 | 0.000 % |
1119.98/1119.98 c | 396974 | 1437 159558 690102 | 2147483647 396974 96 | 0.000 % |
1121.48/1121.49 c | 397384 | 1437 159558 690102 | 2147483647 397384 96 | 0.000 % |
1124.08/1124.06 c | 397833 | 1437 159558 690102 | 2147483647 397833 96 | 0.000 % |
1125.58/1125.58 c | 398326 | 1437 159558 690102 | 2147483647 398326 96 | 0.000 % |
1129.08/1129.10 c | 398869 | 1437 159558 690102 | 2147483647 398869 96 | 0.000 % |
1132.28/1132.23 c | 399465 | 1437 159558 690102 | 2147483647 399465 96 | 0.000 % |
1135.87/1135.90 c | 400120 | 1437 159558 690102 | 2147483647 400120 96 | 0.000 % |
1140.57/1140.54 c | 400841 | 1437 159558 690102 | 2147483647 400841 96 | 0.000 % |
1145.07/1145.01 c | 401634 | 1437 159558 690102 | 2147483647 401634 96 | 0.000 % |
1150.87/1150.85 c | 402506 | 1437 159558 690102 | 2147483647 402506 96 | 0.000 % |
1154.67/1154.60 c | 403465 | 1437 159558 690102 | 2147483647 403465 96 | 0.000 % |
1161.37/1161.32 c | 404518 | 1437 159558 690102 | 2147483647 404518 96 | 0.000 % |
1168.28/1168.29 c | 405679 | 1437 159558 690102 | 2147483647 405679 96 | 0.000 % |
1176.97/1176.91 c | 406952 | 1437 159558 690102 | 2147483647 406952 96 | 0.000 % |
1184.57/1184.58 c | 408353 | 1437 159558 690102 | 2147483647 408353 96 | 0.000 % |
1190.58/1190.55 c | 409896 | 1437 159558 690102 | 2147483647 409896 96 | 0.000 % |
1196.69/1196.68 c | 411590 | 1437 159558 690102 | 2147483647 411590 96 | 0.000 % |
1200.09/1200.04 HOME/SatELiteGTI: line 36: 2117 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-1821820-1242569853/watcher-1821820-1242569853 -o /tmp/evaluation-result-1821820-1242569853/solver-1821820-1242569853 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821820-1242569853.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.01 1.02 1.00 2/93 2110
/proc/meminfo: memFree=752608/2074464 swapFree=1948616/1959888
[pid=2110] ppid=2108 vsize=2412 CPUtime=0
/proc/2110/stat : 2110 (SatELiteGTI) S 2108 2110 10436 0 -1 4194304 367 646 0 0 0 0 0 0 25 0 1 0 1021485807 2469888 276 4294967295 134512640 135169312 3213530096 3213528632 3085766382 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/2110/statm: 603 276 235 161 0 42 0
[pid=2114] ppid=2110 vsize=952 CPUtime=0
/proc/2114/stat : 2114 (SatELite_releas) R 2110 2110 10436 0 -1 4202496 126 0 0 0 0 0 0 0 25 0 1 0 1021485808 974848 62 4294967295 134512640 135223648 3219403136 3219401732 134719062 0 0 0 3 0 0 0 17 3 0 0 0
/proc/2114/statm: 238 65 45 174 0 63 0
[startup+0.099216 s]
/proc/loadavg: 1.01 1.02 1.00 2/93 2110
/proc/meminfo: memFree=752608/2074464 swapFree=1948616/1959888
[pid=2110] ppid=2108 vsize=2412 CPUtime=0
/proc/2110/stat : 2110 (SatELiteGTI) S 2108 2110 10436 0 -1 4194304 367 646 0 0 0 0 0 0 25 0 1 0 1021485807 2469888 276 4294967295 134512640 135169312 3213530096 3213528632 3085766382 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/2110/statm: 603 276 235 161 0 42 0
[pid=2114] ppid=2110 vsize=10712 CPUtime=0.1
/proc/2114/stat : 2114 (SatELite_releas) R 2110 2110 10436 0 -1 4202496 2448 0 0 0 7 3 0 0 25 0 1 0 1021485808 10969088 2384 4294967295 134512640 135223648 3219403136 3219402144 134547645 0 0 0 3 0 0 0 17 3 0 0 0
/proc/2114/statm: 2678 2384 47 174 0 2503 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13124
[startup+0.119214 s]
/proc/loadavg: 1.01 1.02 1.00 2/93 2110
/proc/meminfo: memFree=752608/2074464 swapFree=1948616/1959888
[pid=2110] ppid=2108 vsize=2412 CPUtime=0
/proc/2110/stat : 2110 (SatELiteGTI) S 2108 2110 10436 0 -1 4194304 367 646 0 0 0 0 0 0 25 0 1 0 1021485807 2469888 276 4294967295 134512640 135169312 3213530096 3213528632 3085766382 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/2110/statm: 603 276 235 161 0 42 0
[pid=2114] ppid=2110 vsize=12004 CPUtime=0.12
/proc/2114/stat : 2114 (SatELite_releas) R 2110 2110 10436 0 -1 4202496 2784 0 0 0 9 3 0 0 25 0 1 0 1021485808 12292096 2720 4294967295 134512640 135223648 3219403136 3219400804 134719062 0 0 0 3 0 0 0 17 3 0 0 0
/proc/2114/statm: 3001 2720 73 174 0 2826 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 14416
[startup+0.319198 s]
/proc/loadavg: 1.01 1.02 1.00 2/93 2110
/proc/meminfo: memFree=752608/2074464 swapFree=1948616/1959888
[pid=2110] ppid=2108 vsize=2412 CPUtime=0
/proc/2110/stat : 2110 (SatELiteGTI) S 2108 2110 10436 0 -1 4194304 367 646 0 0 0 0 0 0 25 0 1 0 1021485807 2469888 276 4294967295 134512640 135169312 3213530096 3213528632 3085766382 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/2110/statm: 603 276 235 161 0 42 0
[pid=2114] ppid=2110 vsize=14520 CPUtime=0.32
/proc/2114/stat : 2114 (SatELite_releas) R 2110 2110 10436 0 -1 4202496 3431 0 0 0 29 3 0 0 25 0 1 0 1021485808 14868480 3367 4294967295 134512640 135223648 3219403136 3219401136 134549039 0 0 0 3 0 0 0 17 3 0 0 0
/proc/2114/statm: 3630 3367 73 174 0 3455 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 16932
[startup+0.719165 s]
/proc/loadavg: 1.01 1.02 1.00 2/93 2110
/proc/meminfo: memFree=752608/2074464 swapFree=1948616/1959888
[pid=2110] ppid=2108 vsize=2412 CPUtime=0
/proc/2110/stat : 2110 (SatELiteGTI) S 2108 2110 10436 0 -1 4194304 367 646 0 0 0 0 0 0 25 0 1 0 1021485807 2469888 276 4294967295 134512640 135169312 3213530096 3213528632 3085766382 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/2110/statm: 603 276 235 161 0 42 0
[pid=2114] ppid=2110 vsize=18800 CPUtime=0.72
/proc/2114/stat : 2114 (SatELite_releas) R 2110 2110 10436 0 -1 4202496 4142 0 0 0 69 3 0 0 25 0 1 0 1021485808 19251200 4077 4294967295 134512640 135223648 3219403136 3219401232 134585540 0 0 0 3 0 0 0 17 3 0 0 0
/proc/2114/statm: 4700 4077 75 174 0 4525 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 21212
[startup+1.5191 s]
/proc/loadavg: 1.01 1.02 1.00 2/95 2115
/proc/meminfo: memFree=736604/2074464 swapFree=1948616/1959888
[pid=2110] ppid=2108 vsize=2412 CPUtime=0
/proc/2110/stat : 2110 (SatELiteGTI) S 2108 2110 10436 0 -1 4194304 367 646 0 0 0 0 0 0 25 0 1 0 1021485807 2469888 276 4294967295 134512640 135169312 3213530096 3213528632 3085766382 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/2110/statm: 603 276 235 161 0 42 0
[pid=2114] ppid=2110 vsize=18800 CPUtime=1.52
/proc/2114/stat : 2114 (SatELite_releas) R 2110 2110 10436 0 -1 4202496 4142 0 0 0 149 3 0 0 25 0 1 0 1021485808 19251200 4077 4294967295 134512640 135223648 3219403136 3219401232 134585537 0 0 0 3 0 0 0 17 3 0 0 0
/proc/2114/statm: 4700 4077 75 174 0 4525 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 21212
[startup+3.11897 s]
/proc/loadavg: 1.01 1.02 1.00 3/95 2117
/proc/meminfo: memFree=740200/2074464 swapFree=1948616/1959888
[pid=2110] ppid=2108 vsize=2416 CPUtime=1.77
/proc/2110/stat : 2110 (SatELiteGTI) S 2108 2110 10436 0 -1 4194304 385 4791 0 0 0 0 173 4 18 0 1 0 1021485807 2473984 277 4294967295 134512640 135169312 3213530096 3213526312 3085766382 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/2110/statm: 604 277 235 161 0 43 0
[pid=2117] ppid=2110 vsize=11164 CPUtime=1.35
/proc/2117/stat : 2117 (minisat_static) R 2110 2110 10436 0 -1 4202496 2673 0 0 0 132 3 0 0 25 0 1 0 1021485985 11431936 2608 4294967295 134512640 135215339 3220325056 3220323056 134532646 0 0 0 3 0 0 0 17 0 0 0 0
/proc/2117/statm: 2791 2608 73 172 0 2618 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 13580
[startup+6.3187 s]
/proc/loadavg: 1.01 1.02 1.00 3/95 2117
/proc/meminfo: memFree=736868/2074464 swapFree=1948616/1959888
[pid=2110] ppid=2108 vsize=2416 CPUtime=1.77
/proc/2110/stat : 2110 (SatELiteGTI) S 2108 2110 10436 0 -1 4194304 385 4791 0 0 0 0 173 4 18 0 1 0 1021485807 2473984 277 4294967295 134512640 135169312 3213530096 3213526312 3085766382 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/2110/statm: 604 277 235 161 0 43 0
[pid=2117] ppid=2110 vsize=13804 CPUtime=4.55
/proc/2117/stat : 2117 (minisat_static) R 2110 2110 10436 0 -1 4202496 3361 0 0 0 451 4 0 0 25 0 1 0 1021485985 14135296 3296 4294967295 134512640 135215339 3220325056 3220323344 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/2117/statm: 3451 3296 73 172 0 3278 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 16220
[startup+12.7182 s]
/proc/loadavg: 1.00 1.02 1.00 3/95 2119
/proc/meminfo: memFree=731864/2074464 swapFree=1948616/1959888
[pid=2110] ppid=2108 vsize=2416 CPUtime=1.77
/proc/2110/stat : 2110 (SatELiteGTI) S 2108 2110 10436 0 -1 4194304 385 4791 0 0 0 0 173 4 18 0 1 0 1021485807 2473984 277 4294967295 134512640 135169312 3213530096 3213526312 3085766382 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/2110/statm: 604 277 235 161 0 43 0
[pid=2117] ppid=2110 vsize=18456 CPUtime=10.95
/proc/2117/stat : 2117 (minisat_static) R 2110 2110 10436 0 -1 4202496 4494 0 0 0 1089 6 0 0 25 0 1 0 1021485985 18898944 4429 4294967295 134512640 135215339 3220325056 3220323344 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/2117/statm: 4614 4429 73 172 0 4441 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 20872
[startup+25.5171 s]
/proc/loadavg: 1.00 1.02 1.00 3/95 2120
/proc/meminfo: memFree=724736/2074464 swapFree=1948616/1959888
[pid=2110] ppid=2108 vsize=2416 CPUtime=1.77
/proc/2110/stat : 2110 (SatELiteGTI) S 2108 2110 10436 0 -1 4194304 385 4791 0 0 0 0 173 4 18 0 1 0 1021485807 2473984 277 4294967295 134512640 135169312 3213530096 3213526312 3085766382 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/2110/statm: 604 277 235 161 0 43 0
[pid=2117] ppid=2110 vsize=25232 CPUtime=23.75
/proc/2117/stat : 2117 (minisat_static) R 2110 2110 10436 0 -1 4202496 6209 0 0 0 2367 8 0 0 25 0 1 0 1021485985 25837568 6144 4294967295 134512640 135215339 3220325056 3220323344 134528802 0 0 0 3 0 0 0 17 0 0 0 0
/proc/2117/statm: 6308 6144 73 172 0 6135 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 27648
[startup+51.115 s]
/proc/loadavg: 1.14 1.05 1.01 2/95 2305
/proc/meminfo: memFree=715496/2074464 swapFree=1948616/1959888
[pid=2110] ppid=2108 vsize=2416 CPUtime=1.77
/proc/2110/stat : 2110 (SatELiteGTI) S 2108 2110 10436 0 -1 4194304 385 4791 0 0 0 0 173 4 18 0 1 0 1021485807 2473984 277 4294967295 134512640 135169312 3213530096 3213526312 3085766382 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/2110/statm: 604 277 235 161 0 43 0
[pid=2117] ppid=2110 vsize=33936 CPUtime=49.35
/proc/2117/stat : 2117 (minisat_static) R 2110 2110 10436 0 -1 4202496 8358 0 0 0 4922 13 0 0 25 0 1 0 1021485985 34750464 8293 4294967295 134512640 135215339 3220325056 3220323344 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/2117/statm: 8484 8293 73 172 0 8311 0
Current children cumulated CPU time (s) 51.12
Current children cumulated vsize (KiB) 36352
[startup+102.311 s]
/proc/loadavg: 1.05 1.04 1.00 2/95 2499
/proc/meminfo: memFree=700436/2074464 swapFree=1948616/1959888
[pid=2110] ppid=2108 vsize=2416 CPUtime=1.77
/proc/2110/stat : 2110 (SatELiteGTI) S 2108 2110 10436 0 -1 4194304 385 4791 0 0 0 0 173 4 18 0 1 0 1021485807 2473984 277 4294967295 134512640 135169312 3213530096 3213526312 3085766382 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/2110/statm: 604 277 235 161 0 43 0
[pid=2117] ppid=2110 vsize=48788 CPUtime=100.55
/proc/2117/stat : 2117 (minisat_static) R 2110 2110 10436 0 -1 4202496 12075 0 0 0 10041 14 0 0 25 0 1 0 1021485985 49958912 12010 4294967295 134512640 135215339 3220325056 3220323344 134528806 0 0 0 3 0 0 0 17 0 0 0 0
/proc/2117/statm: 12197 12010 73 172 0 12024 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 51204
[startup+162.306 s]
/proc/loadavg: 1.02 1.03 1.00 3/95 2694
/proc/meminfo: memFree=688196/2074464 swapFree=1948616/1959888
[pid=2110] ppid=2108 vsize=2416 CPUtime=1.77
/proc/2110/stat : 2110 (SatELiteGTI) S 2108 2110 10436 0 -1 4194304 385 4791 0 0 0 0 173 4 18 0 1 0 1021485807 2473984 277 4294967295 134512640 135169312 3213530096 3213526312 3085766382 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/2110/statm: 604 277 235 161 0 43 0
[pid=2117] ppid=2110 vsize=61468 CPUtime=160.55
/proc/2117/stat : 2117 (minisat_static) R 2110 2110 10436 0 -1 4202496 15183 0 0 0 16038 17 0 0 25 0 1 0 1021485985 62943232 15118 4294967295 134512640 135215339 3220325056 3220323344 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/2117/statm: 15367 15118 73 172 0 15194 0
Current children cumulated CPU time (s) 162.32
Current children cumulated vsize (KiB) 63884
[startup+222.321 s]
/proc/loadavg: 1.00 1.02 1.00 2/95 2882
/proc/meminfo: memFree=676316/2074464 swapFree=1948616/1959888
[pid=2110] ppid=2108 vsize=2416 CPUtime=1.77
/proc/2110/stat : 2110 (SatELiteGTI) S 2108 2110 10436 0 -1 4194304 385 4791 0 0 0 0 173 4 18 0 1 0 1021485807 2473984 277 4294967295 134512640 135169312 3213530096 3213526312 3085766382 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/2110/statm: 604 277 235 161 0 43 0
[pid=2117] ppid=2110 vsize=73368 CPUtime=220.57
/proc/2117/stat : 2117 (minisat_static) R 2110 2110 10436 0 -1 4202496 18110 0 0 0 22037 20 0 0 25 0 1 0 1021485985 75128832 18045 4294967295 134512640 135215339 3220325056 3220323344 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/2117/statm: 18342 18045 73 172 0 18169 0
Current children cumulated CPU time (s) 222.34
Current children cumulated vsize (KiB) 75784
[startup+282.316 s]
/proc/loadavg: 1.00 1.02 1.00 3/95 3072
/proc/meminfo: memFree=667720/2074464 swapFree=1948616/1959888
[pid=2110] ppid=2108 vsize=2416 CPUtime=1.77
/proc/2110/stat : 2110 (SatELiteGTI) S 2108 2110 10436 0 -1 4194304 385 4791 0 0 0 0 173 4 18 0 1 0 1021485807 2473984 277 4294967295 134512640 135169312 3213530096 3213526312 3085766382 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/2110/statm: 604 277 235 161 0 43 0
[pid=2117] ppid=2110 vsize=81876 CPUtime=280.57
/proc/2117/stat : 2117 (minisat_static) R 2110 2110 10436 0 -1 4202496 20241 0 0 0 28029 28 0 0 25 0 1 0 1021485985 83841024 20176 4294967295 134512640 135215339 3220325056 3220323344 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/2117/statm: 20469 20176 73 172 0 20296 0
Current children cumulated CPU time (s) 282.34
Current children cumulated vsize (KiB) 84292
[startup+342.321 s]
/proc/loadavg: 1.00 1.01 1.00 2/95 3267
/proc/meminfo: memFree=657112/2074464 swapFree=1948616/1959888
[pid=2110] ppid=2108 vsize=2416 CPUtime=1.77
/proc/2110/stat : 2110 (SatELiteGTI) S 2108 2110 10436 0 -1 4194304 385 4791 0 0 0 0 173 4 18 0 1 0 1021485807 2473984 277 4294967295 134512640 135169312 3213530096 3213526312 3085766382 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/2110/statm: 604 277 235 161 0 43 0
[pid=2117] ppid=2110 vsize=92336 CPUtime=340.58
/proc/2117/stat : 2117 (minisat_static) R 2110 2110 10436 0 -1 4202496 22854 0 0 0 34029 29 0 0 25 0 1 0 1021485985 94552064 22789 4294967295 134512640 135215339 3220325056 3220323344 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/2117/statm: 23084 22789 73 172 0 22911 0
Current children cumulated CPU time (s) 342.35
################
# More data... #
################
/proc/2110/statm: 604 277 235 161 0 43 0
[pid=2117] ppid=2110 vsize=110348 CPUtime=460.58
/proc/2117/stat : 2117 (minisat_static) R 2110 2110 10436 0 -1 4202496 27251 0 0 0 46029 29 0 0 25 0 1 0 1021485985 112996352 27186 4294967295 134512640 135215339 3220325056 3220323344 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/2117/statm: 27587 27186 73 172 0 27414 0
Current children cumulated CPU time (s) 462.35
Current children cumulated vsize (KiB) 112764
[startup+522.316 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 3856
/proc/meminfo: memFree=631488/2074464 swapFree=1948616/1959888
[pid=2110] ppid=2108 vsize=2416 CPUtime=1.77
/proc/2110/stat : 2110 (SatELiteGTI) S 2108 2110 10436 0 -1 4194304 385 4791 0 0 0 0 173 4 18 0 1 0 1021485807 2473984 277 4294967295 134512640 135169312 3213530096 3213526312 3085766382 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/2110/statm: 604 277 235 161 0 43 0
[pid=2117] ppid=2110 vsize=118476 CPUtime=520.59
/proc/2117/stat : 2117 (minisat_static) R 2110 2110 10436 0 -1 4202496 29241 0 0 0 52027 32 0 0 25 0 1 0 1021485985 121319424 29176 4294967295 134512640 135215339 3220325056 3220323344 134528811 0 0 0 3 0 0 0 17 0 0 0 0
/proc/2117/statm: 29619 29176 73 172 0 29446 0
Current children cumulated CPU time (s) 522.36
Current children cumulated vsize (KiB) 120892
[startup+582.311 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 4045
/proc/meminfo: memFree=625708/2074464 swapFree=1948616/1959888
[pid=2110] ppid=2108 vsize=2416 CPUtime=1.77
/proc/2110/stat : 2110 (SatELiteGTI) S 2108 2110 10436 0 -1 4194304 385 4791 0 0 0 0 173 4 18 0 1 0 1021485807 2473984 277 4294967295 134512640 135169312 3213530096 3213526312 3085766382 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/2110/statm: 604 277 235 161 0 43 0
[pid=2117] ppid=2110 vsize=124364 CPUtime=580.59
/proc/2117/stat : 2117 (minisat_static) R 2110 2110 10436 0 -1 4202496 30724 0 0 0 58026 33 0 0 25 0 1 0 1021485985 127348736 30659 4294967295 134512640 135215339 3220325056 3220323344 134528802 0 0 0 3 0 0 0 17 0 0 0 0
/proc/2117/statm: 31091 30659 73 172 0 30918 0
Current children cumulated CPU time (s) 582.36
Current children cumulated vsize (KiB) 126780
[startup+642.316 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 4233
/proc/meminfo: memFree=617780/2074464 swapFree=1948616/1959888
[pid=2110] ppid=2108 vsize=2416 CPUtime=1.77
/proc/2110/stat : 2110 (SatELiteGTI) S 2108 2110 10436 0 -1 4194304 385 4791 0 0 0 0 173 4 18 0 1 0 1021485807 2473984 277 4294967295 134512640 135169312 3213530096 3213526312 3085766382 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/2110/statm: 604 277 235 161 0 43 0
[pid=2117] ppid=2110 vsize=132004 CPUtime=640.6
/proc/2117/stat : 2117 (minisat_static) R 2110 2110 10436 0 -1 4202496 32619 0 0 0 64026 34 0 0 25 0 1 0 1021485985 135172096 32554 4294967295 134512640 135215339 3220325056 3220323344 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/2117/statm: 33001 32554 73 172 0 32828 0
Current children cumulated CPU time (s) 642.37
Current children cumulated vsize (KiB) 134420
[startup+702.312 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 4425
/proc/meminfo: memFree=612440/2074464 swapFree=1948616/1959888
[pid=2110] ppid=2108 vsize=2416 CPUtime=1.77
/proc/2110/stat : 2110 (SatELiteGTI) S 2108 2110 10436 0 -1 4194304 385 4791 0 0 0 0 173 4 18 0 1 0 1021485807 2473984 277 4294967295 134512640 135169312 3213530096 3213526312 3085766382 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/2110/statm: 604 277 235 161 0 43 0
[pid=2117] ppid=2110 vsize=137332 CPUtime=700.6
/proc/2117/stat : 2117 (minisat_static) R 2110 2110 10436 0 -1 4202496 33938 0 0 0 70017 43 0 0 25 0 1 0 1021485985 140627968 33873 4294967295 134512640 135215339 3220325056 3220323344 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/2117/statm: 34333 33873 73 172 0 34160 0
Current children cumulated CPU time (s) 702.37
Current children cumulated vsize (KiB) 139748
[startup+762.327 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 4613
/proc/meminfo: memFree=605124/2074464 swapFree=1948616/1959888
[pid=2110] ppid=2108 vsize=2416 CPUtime=1.77
/proc/2110/stat : 2110 (SatELiteGTI) S 2108 2110 10436 0 -1 4194304 385 4791 0 0 0 0 173 4 18 0 1 0 1021485807 2473984 277 4294967295 134512640 135169312 3213530096 3213526312 3085766382 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/2110/statm: 604 277 235 161 0 43 0
[pid=2117] ppid=2110 vsize=144464 CPUtime=760.62
/proc/2117/stat : 2117 (minisat_static) R 2110 2110 10436 0 -1 4202496 35767 0 0 0 76017 45 0 0 25 0 1 0 1021485985 147931136 35702 4294967295 134512640 135215339 3220325056 3220323344 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/2117/statm: 36116 35702 73 172 0 35943 0
Current children cumulated CPU time (s) 762.39
Current children cumulated vsize (KiB) 146880
[startup+822.312 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 4800
/proc/meminfo: memFree=599760/2074464 swapFree=1948616/1959888
[pid=2110] ppid=2108 vsize=2416 CPUtime=1.77
/proc/2110/stat : 2110 (SatELiteGTI) S 2108 2110 10436 0 -1 4194304 385 4791 0 0 0 0 173 4 18 0 1 0 1021485807 2473984 277 4294967295 134512640 135169312 3213530096 3213526312 3085766382 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/2110/statm: 604 277 235 161 0 43 0
[pid=2117] ppid=2110 vsize=150544 CPUtime=820.61
/proc/2117/stat : 2117 (minisat_static) R 2110 2110 10436 0 -1 4202496 37121 0 0 0 82015 46 0 0 25 0 1 0 1021485985 154157056 37056 4294967295 134512640 135215339 3220325056 3220323120 134538550 0 0 0 3 0 0 0 17 0 0 0 0
/proc/2117/statm: 37636 37056 73 172 0 37463 0
Current children cumulated CPU time (s) 822.38
Current children cumulated vsize (KiB) 152960
[startup+882.317 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 4990
/proc/meminfo: memFree=592632/2074464 swapFree=1948616/1959888
[pid=2110] ppid=2108 vsize=2416 CPUtime=1.77
/proc/2110/stat : 2110 (SatELiteGTI) S 2108 2110 10436 0 -1 4194304 385 4791 0 0 0 0 173 4 18 0 1 0 1021485807 2473984 277 4294967295 134512640 135169312 3213530096 3213526312 3085766382 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/2110/statm: 604 277 235 161 0 43 0
[pid=2117] ppid=2110 vsize=157612 CPUtime=880.62
/proc/2117/stat : 2117 (minisat_static) R 2110 2110 10436 0 -1 4202496 38896 0 0 0 88015 47 0 0 25 0 1 0 1021485985 161394688 38831 4294967295 134512640 135215339 3220325056 3220323344 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/2117/statm: 39403 38831 73 172 0 39230 0
Current children cumulated CPU time (s) 882.39
Current children cumulated vsize (KiB) 160028
[startup+942.312 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 5177
/proc/meminfo: memFree=586328/2074464 swapFree=1948616/1959888
[pid=2110] ppid=2108 vsize=2416 CPUtime=1.77
/proc/2110/stat : 2110 (SatELiteGTI) S 2108 2110 10436 0 -1 4194304 385 4791 0 0 0 0 173 4 18 0 1 0 1021485807 2473984 277 4294967295 134512640 135169312 3213530096 3213526312 3085766382 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/2110/statm: 604 277 235 161 0 43 0
[pid=2117] ppid=2110 vsize=163896 CPUtime=940.62
/proc/2117/stat : 2117 (minisat_static) R 2110 2110 10436 0 -1 4202496 40444 0 0 0 94015 47 0 0 25 0 1 0 1021485985 167829504 40379 4294967295 134512640 135215339 3220325056 3220323344 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/2117/statm: 40974 40379 73 172 0 40801 0
Current children cumulated CPU time (s) 942.39
Current children cumulated vsize (KiB) 166312
[startup+1002.32 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 5366
/proc/meminfo: memFree=579672/2074464 swapFree=1948616/1959888
[pid=2110] ppid=2108 vsize=2416 CPUtime=1.77
/proc/2110/stat : 2110 (SatELiteGTI) S 2108 2110 10436 0 -1 4194304 385 4791 0 0 0 0 173 4 18 0 1 0 1021485807 2473984 277 4294967295 134512640 135169312 3213530096 3213526312 3085766382 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/2110/statm: 604 277 235 161 0 43 0
[pid=2117] ppid=2110 vsize=170524 CPUtime=1000.63
/proc/2117/stat : 2117 (minisat_static) R 2110 2110 10436 0 -1 4202496 42070 0 0 0 100013 50 0 0 25 0 1 0 1021485985 174616576 42005 4294967295 134512640 135215339 3220325056 3220323056 134532976 0 0 0 3 0 0 0 17 0 0 0 0
/proc/2117/statm: 42631 42005 73 172 0 42458 0
Current children cumulated CPU time (s) 1002.4
Current children cumulated vsize (KiB) 172940
[startup+1062.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 5558
/proc/meminfo: memFree=571604/2074464 swapFree=1948616/1959888
[pid=2110] ppid=2108 vsize=2416 CPUtime=1.77
/proc/2110/stat : 2110 (SatELiteGTI) S 2108 2110 10436 0 -1 4194304 385 4791 0 0 0 0 173 4 18 0 1 0 1021485807 2473984 277 4294967295 134512640 135169312 3213530096 3213526312 3085766382 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/2110/statm: 604 277 235 161 0 43 0
[pid=2117] ppid=2110 vsize=178920 CPUtime=1060.63
/proc/2117/stat : 2117 (minisat_static) R 2110 2110 10436 0 -1 4202496 44140 0 0 0 106013 50 0 0 25 0 1 0 1021485985 183214080 44075 4294967295 134512640 135215339 3220325056 3220323344 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/2117/statm: 44730 44075 73 172 0 44557 0
Current children cumulated CPU time (s) 1062.4
Current children cumulated vsize (KiB) 181336
[startup+1122.32 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 5744
/proc/meminfo: memFree=566668/2074464 swapFree=1948616/1959888
[pid=2110] ppid=2108 vsize=2416 CPUtime=1.77
/proc/2110/stat : 2110 (SatELiteGTI) S 2108 2110 10436 0 -1 4194304 385 4791 0 0 0 0 173 4 18 0 1 0 1021485807 2473984 277 4294967295 134512640 135169312 3213530096 3213526312 3085766382 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/2110/statm: 604 277 235 161 0 43 0
[pid=2117] ppid=2110 vsize=183960 CPUtime=1120.61
/proc/2117/stat : 2117 (minisat_static) R 2110 2110 10436 0 -1 4202496 45418 0 0 0 112010 51 0 0 25 0 1 0 1021485985 188375040 45353 4294967295 134512640 135215339 3220325056 3220323344 134528788 0 0 0 3 0 0 0 17 2 0 0 0
/proc/2117/statm: 45990 45353 73 172 0 45817 0
Current children cumulated CPU time (s) 1122.38
Current children cumulated vsize (KiB) 186376
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 5933
/proc/meminfo: memFree=561660/2074464 swapFree=1948616/1959888
[pid=2110] ppid=2108 vsize=2416 CPUtime=1.77
/proc/2110/stat : 2110 (SatELiteGTI) S 2108 2110 10436 0 -1 4194304 385 4791 0 0 0 0 173 4 18 0 1 0 1021485807 2473984 277 4294967295 134512640 135169312 3213530096 3213526312 3085766382 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/2110/statm: 604 277 235 161 0 43 0
[pid=2117] ppid=2110 vsize=188392 CPUtime=1180.6
/proc/2117/stat : 2117 (minisat_static) R 2110 2110 10436 0 -1 4202496 46522 0 0 0 118009 51 0 0 25 0 1 0 1021485985 192913408 46457 4294967295 134512640 135215339 3220325056 3220323344 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/2117/statm: 47098 46457 73 172 0 46925 0
Current children cumulated CPU time (s) 1182.37
Current children cumulated vsize (KiB) 190808
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.02 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 5933
/proc/meminfo: memFree=559956/2074464 swapFree=1948616/1959888
[pid=2110] ppid=2108 vsize=2416 CPUtime=1.77
/proc/2110/stat : 2110 (SatELiteGTI) S 2108 2110 10436 0 -1 4194304 385 4791 0 0 0 0 173 4 18 0 1 0 1021485807 2473984 277 4294967295 134512640 135169312 3213530096 3213526312 3085766382 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/2110/statm: 604 277 235 161 0 43 0
[pid=2117] ppid=2110 vsize=190476 CPUtime=1198.32
/proc/2117/stat : 2117 (minisat_static) R 2110 2110 10436 0 -1 4202496 47036 0 0 0 119781 51 0 0 25 0 1 0 1021485985 195047424 46971 4294967295 134512640 135215339 3220325056 3220323344 134528788 0 0 0 3 0 0 0 17 2 0 0 0
/proc/2117/statm: 47619 46971 73 172 0 47446 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 192892
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1200.05
CPU time (s): 1200.11
CPU user time (s): 1199.54
CPU system time (s): 0.57
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 192892
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.54
system time used= 0.57
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52490
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= 21
involuntary context switches= 2771
runsolver used 0.01 second user time and 0.02 second system time
The end
Begin job on tipi16 at 2009-05-17 16:17:33
IDJOB=1821820
IDBENCH=71097
IDSOLVER=657
FILE ID=tipi16/1821820-1242569853
PBS_JOBID=
Free space on /tmp= 4644 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/satComp09_BioInstances/rpoc_xits_14_UNKNOWN.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1821820-1242569853/watcher-1821820-1242569853 -o /tmp/evaluation-result-1821820-1242569853/solver-1821820-1242569853 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821820-1242569853.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 74b3bf25aa16f613ee15d6b4b9bc9486
RANDOM SEED= 717188190
Linux tipi16 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.457
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.37
processor : 1
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.457
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.78
processor : 2
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.457
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.78
processor : 3
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.457
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.78
/proc/meminfo:
MemTotal: 2074464 kB
MemFree: 752888 kB
Buffers: 64516 kB
Cached: 1144608 kB
SwapCached: 5940 kB
Active: 295820 kB
Inactive: 923388 kB
HighTotal: 1178688 kB
HighFree: 99276 kB
LowTotal: 895776 kB
LowFree: 653612 kB
SwapTotal: 1959888 kB
SwapFree: 1948616 kB
Dirty: 4328 kB
Writeback: 0 kB
AnonPages: 9192 kB
Mapped: 3296 kB
Slab: 93964 kB
PageTables: 444 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 2997120 kB
Committed_AS: 90764 kB
VmallocTotal: 114680 kB
VmallocUsed: 1324 kB
VmallocChunk: 113264 kB
Free space on /tmp at the end= 4644 MiB
End job on tipi16 at 2009-05-17 16:37:33