0.00/0.00 c Parsing...
0.12/0.19 c ==============================================================================
0.12/0.19 c | | ORIGINAL | LEARNT | |
0.12/0.19 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.12/0.19 c ==============================================================================
0.12/0.19 c | 0 | 207960 486008 | 62387 0 0 nan | 0.000 % |
1.52/1.55 c | 0 | 121498 417368 | -- 0 -- -- | -- | -86462/-68640
1.52/1.55 c ==============================================================================
1.52/1.55 c Result : #vars: 18081 #clauses: 121498 #literals: 417368
1.52/1.55 c CPU time: 1.5 s
1.52/1.55 c ==============================================================================
1.62/1.69 c This is MiniSat 2.0 beta
1.62/1.69 c WARNING: for repeatability, setting FPU to use double precision
1.62/1.69 c ============================[ Problem Statistics ]=============================
1.62/1.69 c | |
1.62/1.70 c | Number of variables: 18081 |
1.62/1.70 c | Number of clauses: 121498 |
1.70/1.78 c | Parsing time: 0.07 s |
1.70/1.78 c ============================[ Search Statistics ]==============================
1.70/1.78 c | Conflicts | ORIGINAL | LEARNT | Progress |
1.70/1.78 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1.70/1.78 c ===============================================================================
1.70/1.78 c | 0 | 18081 121498 417368 | 40499 0 nan | 0.000 % |
1.70/1.83 c | 100 | 18078 121498 417368 | 40499 96 7 | 0.022 % |
1.70/1.88 c | 200 | 18077 121498 417368 | 40499 196 8 | 0.022 % |
1.70/1.97 c | 300 | 18077 121498 417368 | 40499 296 13 | 0.022 % |
1.70/2.01 c | 410 | 18077 121498 417368 | 40499 405 13 | 0.028 % |
1.70/2.07 c | 510 | 18076 121498 417368 | 40499 505 13 | 0.028 % |
2.12/2.13 c | 623 | 18076 121293 416659 | 40499 603 13 | 0.028 % |
2.32/2.40 c | 744 | 18075 121293 416659 | 40499 723 39 | 0.033 % |
2.42/2.49 c | 845 | 18075 121293 416659 | 40499 824 39 | 0.033 % |
2.52/2.52 c | 955 | 18075 121285 416636 | 40499 932 36 | 0.033 % |
2.52/2.59 c | 1076 | 18075 121285 416636 | 40499 1053 34 | 0.033 % |
2.62/2.67 c | 1210 | 18075 121285 416636 | 40499 1187 32 | 0.033 % |
2.62/2.70 c | 1312 | 18074 121285 416636 | 40499 1288 31 | 0.039 % |
2.72/2.78 c | 1426 | 18074 121285 416636 | 40499 1402 29 | 0.039 % |
2.82/2.86 c | 1547 | 18074 121268 416575 | 40499 1521 28 | 0.039 % |
2.82/2.90 c | 1680 | 18074 121268 416575 | 40499 1654 27 | 0.039 % |
2.92/2.98 c | 1827 | 18073 121268 416575 | 40499 1800 26 | 0.044 % |
3.02/3.03 c | 1927 | 18073 121268 416575 | 40499 1900 27 | 0.044 % |
3.02/3.08 c | 2038 | 18073 121268 416575 | 40499 2011 27 | 0.044 % |
3.12/3.17 c | 2159 | 18073 121251 416514 | 40499 2129 27 | 0.044 % |
3.22/3.28 c | 2292 | 18072 121251 416514 | 40499 2261 27 | 0.050 % |
3.32/3.39 c | 2439 | 18072 121251 416514 | 40499 2408 27 | 0.050 % |
3.52/3.53 c | 2601 | 18072 121251 416514 | 40499 2570 29 | 0.050 % |
3.52/3.59 c | 2703 | 18072 121235 416456 | 40499 2667 29 | 0.050 % |
3.62/3.64 c | 2813 | 18072 121235 416456 | 40499 2777 29 | 0.050 % |
3.62/3.70 c | 2935 | 18072 121235 416456 | 40499 2899 28 | 0.050 % |
3.72/3.75 c | 3069 | 18071 121235 416456 | 40499 3032 27 | 0.055 % |
3.82/3.86 c | 3217 | 18070 121235 416456 | 40499 3179 28 | 0.061 % |
3.92/3.98 c | 3377 | 18070 121235 416456 | 40499 3339 28 | 0.061 % |
4.12/4.16 c | 3559 | 18070 121151 416227 | 40499 3521 27 | 0.061 % |
4.22/4.29 c | 3659 | 18070 121151 416227 | 40499 3621 31 | 0.061 % |
4.32/4.35 c | 3769 | 18070 121151 416227 | 40499 3731 31 | 0.061 % |
4.42/4.41 c | 3892 | 18069 121143 416204 | 40499 3852 30 | 0.066 % |
4.42/4.51 c | 4025 | 18069 121143 416204 | 40499 3985 30 | 0.066 % |
4.62/4.62 c | 4173 | 18068 121143 416204 | 40499 4132 30 | 0.072 % |
4.92/4.95 c | 4333 | 18068 121143 416204 | 40499 4292 34 | 0.072 % |
5.22/5.23 c | 4510 | 18068 121127 416148 | 40499 4467 36 | 0.072 % |
5.32/5.31 c | 4703 | 18064 121127 416148 | 40499 4656 35 | 0.094 % |
5.32/5.36 c | 4803 | 18064 121127 416148 | 40499 4756 35 | 0.094 % |
5.42/5.43 c | 4914 | 18064 121065 415930 | 40499 4851 34 | 0.094 % |
5.52/5.52 c | 5035 | 18063 121065 415930 | 40499 4971 34 | 0.100 % |
5.52/5.55 c | 5168 | 18063 121065 415930 | 40499 5104 33 | 0.100 % |
5.62/5.62 c | 5314 | 18060 121065 415930 | 40499 5247 33 | 0.116 % |
5.72/5.74 c | 5475 | 18060 121065 415930 | 40499 5408 34 | 0.116 % |
5.72/5.80 c | 5651 | 18059 121065 415930 | 40499 5583 33 | 0.122 % |
5.82/5.90 c | 5844 | 18059 120930 415431 | 40499 5729 33 | 0.122 % |
6.22/6.29 c | 6056 | 18059 120930 415431 | 40499 5941 34 | 0.122 % |
6.32/6.36 c | 6156 | 18059 120930 415431 | 40499 6041 34 | 0.122 % |
6.72/6.72 c | 6270 | 18059 120930 415431 | 40499 6155 38 | 0.122 % |
6.82/6.83 c | 6392 | 18059 120930 415431 | 40499 6277 39 | 0.122 % |
6.92/6.94 c | 6526 | 18059 120930 415431 | 40499 6411 38 | 0.122 % |
7.02/7.09 c | 6672 | 18059 120930 415431 | 40499 6557 40 | 0.122 % |
7.22/7.25 c | 6832 | 18058 120869 415202 | 40499 6716 41 | 0.127 % |
7.52/7.52 c | 7008 | 18058 120869 415202 | 40499 6892 43 | 0.127 % |
7.82/7.83 c | 7203 | 18058 120869 415202 | 40499 7085 45 | 0.138 % |
7.92/7.97 c | 7415 | 18055 120847 415128 | 40499 7294 44 | 0.144 % |
8.12/8.19 c | 7649 | 18055 120847 415128 | 40499 7528 43 | 0.144 % |
8.32/8.36 c | 7749 | 18055 120847 415128 | 40499 7628 46 | 0.144 % |
8.52/8.58 c | 7861 | 18054 120783 414941 | 40499 7733 46 | 0.155 % |
8.62/8.70 c | 7982 | 18053 120783 414941 | 40499 7854 46 | 0.155 % |
8.92/8.97 c | 8118 | 18053 120783 414941 | 40499 7990 47 | 0.155 % |
9.12/9.12 c | 8264 | 18053 120783 414941 | 40499 8136 48 | 0.155 % |
9.12/9.19 c | 8425 | 18053 120783 414941 | 40499 8297 48 | 0.155 % |
9.52/9.55 c | 8601 | 18053 120783 414941 | 40499 8473 50 | 0.155 % |
9.82/9.83 c | 8794 | 18053 120733 414802 | 40499 8666 51 | 0.155 % |
9.92/10.00 c | 9006 | 18053 120733 414802 | 40499 8877 51 | 0.160 % |
10.12/10.19 c | 9239 | 18053 120733 414802 | 40499 9110 50 | 0.160 % |
10.62/10.66 c | 9495 | 18053 120733 414802 | 40499 9366 52 | 0.160 % |
10.72/10.71 c | 9595 | 18052 120671 414570 | 40499 9466 51 | 0.160 % |
10.72/10.79 c | 9705 | 18052 120671 414570 | 40499 9569 51 | 0.199 % |
10.82/10.86 c | 9826 | 18044 120671 414570 | 40499 9689 50 | 0.205 % |
11.02/11.06 c | 9959 | 18044 120671 414570 | 40499 9822 51 | 0.205 % |
11.12/11.19 c | 10105 | 18044 120671 414570 | 2147483647 9968 52 | 0.205 % |
11.22/11.29 c | 10265 | 18044 120671 414570 | 2147483647 10128 51 | 0.205 % |
11.42/11.49 c | 10444 | 18044 120671 414570 | 2147483647 10307 52 | 0.205 % |
11.62/11.62 c | 10638 | 18043 120525 414029 | 2147483647 10350 52 | 0.210 % |
11.82/11.82 c | 10852 | 18043 120525 414029 | 2147483647 10564 53 | 0.210 % |
11.92/11.98 c | 11085 | 18040 120525 414029 | 2147483647 10794 52 | 0.227 % |
12.12/12.13 c | 11342 | 18040 120525 414029 | 2147483647 11051 52 | 0.227 % |
12.32/12.34 c | 11625 | 18038 120345 413404 | 2147483647 11316 52 | 0.238 % |
12.32/12.39 c | 11726 | 18037 120345 413404 | 2147483647 11416 52 | 0.243 % |
12.42/12.44 c | 11836 | 18037 120345 413404 | 2147483647 11526 51 | 0.243 % |
12.42/12.50 c | 11958 | 18037 120345 413404 | 2147483647 11648 51 | 0.243 % |
12.62/12.65 c | 12091 | 18037 120345 413404 | 2147483647 11781 53 | 0.243 % |
12.72/12.74 c | 12238 | 18037 120345 413404 | 2147483647 11928 53 | 0.243 % |
12.72/12.80 c | 12398 | 18037 120345 413404 | 2147483647 12088 52 | 0.243 % |
12.82/12.90 c | 12575 | 18037 120345 413404 | 2147483647 12265 52 | 0.243 % |
13.02/13.08 c | 12770 | 18036 120345 413404 | 2147483647 12459 52 | 0.249 % |
13.12/13.20 c | 12983 | 18036 120279 413208 | 2147483647 12667 51 | 0.249 % |
13.52/13.51 c | 13217 | 18036 120279 413208 | 2147483647 12901 52 | 0.249 % |
13.72/13.71 c | 13473 | 18036 120279 413208 | 2147483647 13157 51 | 0.249 % |
13.82/13.87 c | 13754 | 18036 120279 413208 | 2147483647 13438 51 | 0.249 % |
14.12/14.12 c | 14063 | 18035 120263 413152 | 2147483647 13743 51 | 0.254 % |
14.12/14.18 c | 14164 | 18034 120263 413152 | 2147483647 13843 51 | 0.260 % |
14.32/14.38 c | 14274 | 18034 120263 413152 | 2147483647 13953 51 | 0.260 % |
14.62/14.66 c | 14397 | 18034 120263 413152 | 2147483647 14076 52 | 0.260 % |
14.72/14.79 c | 14533 | 18033 120263 413152 | 2147483647 14211 52 | 0.265 % |
15.02/15.02 c | 14680 | 18033 120263 413152 | 2147483647 14358 53 | 0.265 % |
15.12/15.14 c | 14840 | 18033 120263 413152 | 2147483647 14517 53 | 0.271 % |
15.32/15.38 c | 15016 | 18033 120263 413152 | 2147483647 14693 55 | 0.271 % |
15.52/15.56 c | 15209 | 18032 120153 412786 | 2147483647 14885 54 | 0.271 % |
15.82/15.85 c | 15425 | 18032 120153 412786 | 2147483647 15101 57 | 0.271 % |
15.92/15.98 c | 15661 | 18031 120153 412786 | 2147483647 15336 56 | 0.277 % |
16.12/16.17 c | 15918 | 18031 120153 412786 | 2147483647 15593 56 | 0.277 % |
16.32/16.35 c | 16201 | 18030 120153 412786 | 2147483647 15875 55 | 0.282 % |
16.52/16.60 c | 16510 | 18029 120056 412430 | 2147483647 16171 55 | 0.288 % |
16.92/16.92 c | 16849 | 18028 120056 412430 | 2147483647 16508 55 | 0.299 % |
17.02/17.09 c | 16951 | 18028 120056 412430 | 2147483647 16610 55 | 0.299 % |
17.12/17.16 c | 17063 | 18028 120056 412430 | 2147483647 16722 55 | 0.299 % |
17.22/17.24 c | 17187 | 18028 120056 412430 | 2147483647 16846 55 | 0.299 % |
17.42/17.41 c | 17321 | 18028 120056 412430 | 2147483647 16980 56 | 0.299 % |
17.42/17.49 c | 17468 | 18025 120056 412430 | 2147483647 17123 56 | 0.321 % |
17.52/17.61 c | 17630 | 18024 120056 412430 | 2147483647 17285 56 | 0.321 % |
17.72/17.73 c | 17809 | 18024 120056 412430 | 2147483647 17464 55 | 0.321 % |
17.92/17.94 c | 18003 | 18023 119927 412010 | 2147483647 17634 57 | 0.321 % |
18.02/18.03 c | 18215 | 18023 119927 412010 | 2147483647 17846 56 | 0.321 % |
18.22/18.25 c | 18448 | 18023 119927 412010 | 2147483647 18079 56 | 0.321 % |
18.52/18.60 c | 18704 | 18023 119927 412010 | 2147483647 18333 56 | 0.332 % |
18.82/18.82 c | 18985 | 18022 119927 412010 | 2147483647 18614 56 | 0.332 % |
19.42/19.46 c | 19294 | 18022 119927 412010 | 2147483647 18923 57 | 0.332 % |
20.12/20.20 c | 19633 | 18021 119854 411814 | 2147483647 19262 57 | 0.332 % |
20.52/20.57 c | 20005 | 18020 119854 411814 | 2147483647 19633 57 | 0.337 % |
20.62/20.63 c | 20105 | 18020 119854 411814 | 2147483647 19733 57 | 0.337 % |
20.72/20.74 c | 20218 | 18020 119854 411814 | 2147483647 19846 57 | 0.337 % |
21.02/21.01 c | 20340 | 18020 119854 411814 | 2147483647 19968 57 | 0.337 % |
21.32/21.31 c | 20473 | 18020 119839 411762 | 2147483647 20094 58 | 0.337 % |
21.42/21.48 c | 20621 | 18020 119839 411762 | 2147483647 20242 58 | 0.337 % |
21.52/21.56 c | 20781 | 18020 119839 411762 | 2147483647 20401 59 | 0.343 % |
21.62/21.69 c | 20957 | 18019 119839 411762 | 2147483647 20577 58 | 0.343 % |
21.92/22.00 c | 21150 | 18019 119839 411762 | 2147483647 20770 59 | 0.343 % |
22.22/22.21 c | 21363 | 18017 119839 411762 | 2147483647 20981 59 | 0.354 % |
22.42/22.42 c | 21598 | 18017 119839 411762 | 2147483647 21216 58 | 0.354 % |
22.62/22.63 c | 21855 | 18017 119839 411762 | 2147483647 21472 59 | 0.359 % |
22.82/22.84 c | 22137 | 18016 119788 411587 | 2147483647 21735 58 | 0.359 % |
23.42/23.43 c | 22447 | 18016 119788 411587 | 2147483647 22045 59 | 0.359 % |
23.72/23.79 c | 22786 | 18016 119788 411587 | 2147483647 22384 60 | 0.359 % |
24.22/24.28 c | 23158 | 18016 119788 411587 | 2147483647 22756 59 | 0.359 % |
24.62/24.65 c | 23568 | 18016 119788 411587 | 2147483647 23166 59 | 0.359 % |
24.72/24.75 c | 23672 | 18016 119788 411587 | 2147483647 23270 59 | 0.359 % |
24.82/24.82 c | 23783 | 18015 119773 411533 | 2147483647 23369 59 | 0.365 % |
24.82/24.90 c | 23905 | 18015 119773 411533 | 2147483647 23491 58 | 0.365 % |
25.02/25.03 c | 24038 | 18015 119773 411533 | 2147483647 23624 58 | 0.365 % |
25.12/25.18 c | 24184 | 18015 119773 411533 | 2147483647 23770 58 | 0.365 % |
25.22/25.30 c | 24344 | 18015 119773 411533 | 2147483647 23930 58 | 0.365 % |
25.52/25.57 c | 24520 | 18015 119773 411533 | 2147483647 24106 58 | 0.365 % |
25.82/25.81 c | 24713 | 18015 119773 411533 | 2147483647 24299 59 | 0.365 % |
25.92/25.95 c | 24926 | 18011 119773 411533 | 2147483647 24508 59 | 0.387 % |
26.22/26.28 c | 25160 | 18011 119773 411533 | 2147483647 24742 60 | 0.387 % |
26.82/26.88 c | 25416 | 18010 119696 411269 | 2147483647 24959 60 | 0.393 % |
27.02/27.07 c | 25698 | 18010 119696 411269 | 2147483647 25241 60 | 0.393 % |
27.22/27.26 c | 26008 | 18010 119696 411269 | 2147483647 25551 59 | 0.393 % |
27.62/27.64 c | 26348 | 18007 119696 411269 | 2147483647 25887 59 | 0.415 % |
28.32/28.32 c | 26721 | 18007 119696 411269 | 2147483647 26260 59 | 0.415 % |
28.72/28.75 c | 27130 | 18007 119696 411269 | 2147483647 26669 59 | 0.415 % |
29.12/29.14 c | 27579 | 18006 119578 410926 | 2147483647 27111 59 | 0.415 % |
29.22/29.27 c | 27679 | 18006 119578 410926 | 2147483647 27211 59 | 0.415 % |
29.32/29.34 c | 27789 | 18006 119578 410926 | 2147483647 27321 59 | 0.415 % |
29.42/29.50 c | 27911 | 18006 119578 410926 | 2147483647 27443 59 | 0.415 % |
29.72/29.74 c | 28044 | 18006 119578 410926 | 2147483647 27576 59 | 0.415 % |
29.92/29.97 c | 28194 | 18006 119578 410926 | 2147483647 27726 60 | 0.415 % |
30.12/30.13 c | 28355 | 18006 119578 410926 | 2147483647 27886 59 | 0.420 % |
30.32/30.40 c | 28531 | 18006 119578 410926 | 2147483647 28062 59 | 0.420 % |
30.52/30.59 c | 28724 | 18002 119578 410926 | 2147483647 28252 59 | 0.448 % |
30.82/30.82 c | 28937 | 18002 119578 410926 | 2147483647 28465 59 | 0.448 % |
31.02/31.05 c | 29170 | 18000 119451 410489 | 2147483647 28636 59 | 0.454 % |
31.52/31.52 c | 29426 | 18000 119451 410489 | 2147483647 28892 60 | 0.454 % |
31.82/31.90 c | 29714 | 18000 119451 410489 | 2147483647 29180 60 | 0.454 % |
32.12/32.15 c | 30024 | 18000 119451 410489 | 2147483647 29490 60 | 0.454 % |
32.42/32.48 c | 30364 | 18000 119451 410489 | 2147483647 29830 60 | 0.454 % |
32.82/32.83 c | 30740 | 18000 119451 410489 | 2147483647 30206 60 | 0.454 % |
33.12/33.15 c | 31149 | 18000 119451 410489 | 2147483647 30615 60 | 0.454 % |
33.52/33.60 c | 31599 | 17999 119430 410409 | 2147483647 31058 59 | 0.454 % |
33.92/33.95 c | 32094 | 17999 119430 410409 | 2147483647 31553 60 | 0.454 % |
34.02/34.03 c | 32196 | 17999 119430 410409 | 2147483647 31655 60 | 0.454 % |
34.02/34.11 c | 32308 | 17999 119430 410409 | 2147483647 31767 59 | 0.454 % |
34.22/34.27 c | 32429 | 17999 119430 410409 | 2147483647 31888 59 | 0.454 % |
34.32/34.33 c | 32562 | 17998 119430 410409 | 2147483647 32020 59 | 0.459 % |
34.32/34.40 c | 32709 | 17997 119430 410409 | 2147483647 32166 59 | 0.465 % |
34.42/34.48 c | 32869 | 17987 119430 410409 | 2147483647 32313 59 | 0.536 % |
34.52/34.57 c | 33045 | 17987 119430 410409 | 2147483647 32488 59 | 0.542 % |
34.62/34.67 c | 33238 | 17986 119430 410409 | 2147483647 32679 58 | 0.553 % |
34.72/34.80 c | 33450 | 17986 119430 410409 | 2147483647 32890 58 | 0.559 % |
34.92/34.95 c | 33687 | 17980 119143 409402 | 2147483647 33029 58 | 0.564 % |
35.12/35.17 c | 33944 | 17978 119143 409402 | 2147483647 33285 57 | 0.570 % |
35.32/35.37 c | 34226 | 17978 119143 409402 | 2147483647 33567 57 | 0.570 % |
35.52/35.59 c | 34535 | 17968 119143 409402 | 2147483647 33866 57 | 0.625 % |
35.92/35.92 c | 34874 | 17966 119143 409402 | 2147483647 34203 57 | 0.636 % |
36.22/36.25 c | 35246 | 17966 119143 409402 | 2147483647 34575 58 | 0.636 % |
36.62/36.64 c | 35655 | 17966 119143 409402 | 2147483647 34984 57 | 0.636 % |
37.22/37.30 c | 36104 | 17966 119143 409402 | 2147483647 35433 58 | 0.636 % |
37.72/37.75 c | 36598 | 17966 118931 408653 | 2147483647 35848 58 | 0.636 % |
38.12/38.14 c | 37140 | 17956 118931 408653 | 2147483647 36380 57 | 0.691 % |
38.32/38.40 c | 37240 | 17956 118931 408653 | 2147483647 36480 57 | 0.691 % |
38.72/38.75 c | 37350 | 17956 118931 408653 | 2147483647 36590 57 | 0.691 % |
38.82/38.86 c | 37472 | 17956 118931 408653 | 2147483647 36712 57 | 0.691 % |
38.92/38.96 c | 37607 | 17956 118931 408653 | 2147483647 36846 58 | 0.697 % |
39.02/39.08 c | 37755 | 17953 118931 408653 | 2147483647 36992 57 | 0.708 % |
39.32/39.36 c | 37918 | 17953 118931 408653 | 2147483647 37155 58 | 0.708 % |
39.62/39.68 c | 38094 | 17953 118931 408653 | 2147483647 37331 58 | 0.708 % |
39.82/39.90 c | 38287 | 17953 118750 408022 | 2147483647 37457 59 | 0.708 % |
40.12/40.15 c | 38501 | 17953 118750 408022 | 2147483647 37671 58 | 0.708 % |
40.42/40.48 c | 38736 | 17952 118750 408022 | 2147483647 37905 58 | 0.713 % |
40.72/40.76 c | 38992 | 17952 118750 408022 | 2147483647 38161 59 | 0.713 % |
41.02/41.02 c | 39273 | 17947 118750 408022 | 2147483647 38437 58 | 0.741 % |
41.42/41.45 c | 39584 | 17947 118750 408022 | 2147483647 38748 59 | 0.741 % |
41.82/41.87 c | 39923 | 17947 118750 408022 | 2147483647 39086 59 | 0.747 % |
42.42/42.45 c | 40295 | 17947 118750 408022 | 2147483647 39458 59 | 0.747 % |
42.92/42.98 c | 40706 | 17946 118599 407494 | 2147483647 39833 59 | 0.752 % |
43.52/43.58 c | 41155 | 17945 118599 407494 | 2147483647 40281 59 | 0.758 % |
44.12/44.19 c | 41649 | 17945 118599 407494 | 2147483647 40775 60 | 0.758 % |
44.62/44.70 c | 42194 | 17944 118599 407494 | 2147483647 41319 59 | 0.763 % |
45.62/45.61 c | 42791 | 17942 118515 407234 | 2147483647 41899 59 | 0.769 % |
45.62/45.70 c | 42892 | 17939 118515 407234 | 2147483647 41997 59 | 0.785 % |
45.82/45.84 c | 43004 | 17939 118515 407234 | 2147483647 42109 59 | 0.785 % |
45.92/46.00 c | 43125 | 17938 118515 407234 | 2147483647 42229 59 | 0.791 % |
46.22/46.29 c | 43258 | 17938 118515 407234 | 2147483647 42362 60 | 0.791 % |
46.52/46.52 c | 43404 | 17938 118515 407234 | 2147483647 42508 60 | 0.791 % |
46.72/46.71 c | 43564 | 17938 118515 407234 | 2147483647 42668 60 | 0.791 % |
46.92/46.94 c | 43740 | 17938 118515 407234 | 2147483647 42844 60 | 0.791 % |
47.33/47.35 c | 43935 | 17938 118515 407234 | 2147483647 43039 61 | 0.791 % |
47.62/47.65 c | 44148 | 17938 118515 407234 | 2147483647 43252 61 | 0.791 % |
47.82/47.84 c | 44382 | 17938 118515 407234 | 2147483647 43486 61 | 0.791 % |
48.02/48.09 c | 44638 | 17938 118515 407234 | 2147483647 43742 61 | 0.791 % |
48.52/48.52 c | 44920 | 17938 118515 407234 | 2147483647 44024 61 | 0.791 % |
48.72/48.76 c | 45229 | 17938 118515 407234 | 2147483647 44333 61 | 0.791 % |
49.32/49.31 c | 45568 | 17934 118410 406869 | 2147483647 44651 61 | 0.813 % |
49.82/49.81 c | 45941 | 17934 118410 406869 | 2147483647 45024 61 | 0.813 % |
50.22/50.24 c | 46351 | 17929 118410 406869 | 2147483647 45428 61 | 0.846 % |
50.92/50.91 c | 46802 | 17929 118410 406869 | 2147483647 45879 61 | 0.846 % |
51.82/51.80 c | 47295 | 17929 118410 406869 | 2147483647 46371 61 | 0.852 % |
52.52/52.58 c | 47837 | 17927 118226 406252 | 2147483647 46851 62 | 0.852 % |
53.22/53.26 c | 48433 | 17925 118226 406252 | 2147483647 47445 61 | 0.863 % |
54.02/54.10 c | 49090 | 17925 118226 406252 | 2147483647 48102 62 | 0.863 % |
54.12/54.18 c | 49190 | 17925 118226 406252 | 2147483647 48202 62 | 0.863 % |
54.22/54.27 c | 49300 | 17925 118226 406252 | 2147483647 48312 62 | 0.863 % |
54.52/54.59 c | 49422 | 17925 118226 406252 | 2147483647 48434 62 | 0.863 % |
54.82/54.82 c | 49555 | 17925 118226 406252 | 2147483647 48566 62 | 0.868 % |
54.92/54.97 c | 49701 | 17925 118226 406252 | 2147483647 48710 63 | 0.879 % |
55.03/55.09 c | 49861 | 17925 118226 406252 | 2147483647 48870 63 | 0.879 % |
55.22/55.30 c | 50037 | 17925 118226 406252 | 2147483647 49046 63 | 0.879 % |
55.42/55.46 c | 50230 | 17925 118226 406252 | 2147483647 49239 63 | 0.879 % |
55.92/55.97 c | 50444 | 17925 118226 406252 | 2147483647 49453 63 | 0.879 % |
56.42/56.47 c | 50678 | 17922 118170 406059 | 2147483647 49675 63 | 0.879 % |
57.02/57.06 c | 50934 | 17922 118170 406059 | 2147483647 49931 63 | 0.879 % |
57.42/57.41 c | 51216 | 17921 118170 406059 | 2147483647 50212 63 | 0.885 % |
57.92/57.94 c | 51526 | 17921 118170 406059 | 2147483647 50522 63 | 0.885 % |
58.22/58.30 c | 51868 | 17921 118170 406059 | 2147483647 50864 64 | 0.885 % |
58.72/58.77 c | 52240 | 17921 118170 406059 | 2147483647 51236 63 | 0.885 % |
59.12/59.17 c | 52649 | 17914 118170 406059 | 2147483647 51639 64 | 0.924 % |
60.02/60.09 c | 53098 | 17914 118170 406059 | 2147483647 52088 64 | 0.924 % |
60.72/60.72 c | 53591 | 17911 118035 405566 | 2147483647 52499 64 | 0.940 % |
61.32/61.40 c | 54133 | 17910 118035 405566 | 2147483647 53040 64 | 0.946 % |
62.52/62.55 c | 54729 | 17909 118035 405566 | 2147483647 53635 64 | 0.951 % |
63.62/63.69 c | 55388 | 17908 118035 405566 | 2147483647 54293 64 | 0.962 % |
64.52/64.51 c | 56110 | 17908 118035 405566 | 2147483647 55015 64 | 0.962 % |
64.72/64.71 c | 56210 | 17907 117851 404893 | 2147483647 54328 64 | 0.962 % |
64.82/64.87 c | 56321 | 17907 117851 404893 | 2147483647 54439 64 | 0.962 % |
65.02/65.09 c | 56442 | 17907 117851 404893 | 2147483647 54560 64 | 0.962 % |
65.22/65.25 c | 56576 | 17907 117851 404893 | 2147483647 54694 64 | 0.962 % |
65.42/65.40 c | 56722 | 17907 117851 404893 | 2147483647 54840 64 | 0.962 % |
65.72/65.76 c | 56885 | 17907 117851 404893 | 2147483647 55003 65 | 0.962 % |
65.92/65.91 c | 57063 | 17907 117851 404893 | 2147483647 55180 65 | 0.968 % |
66.03/66.09 c | 57256 | 17906 117851 404893 | 2147483647 55373 64 | 0.968 % |
66.42/66.48 c | 57468 | 17906 117851 404893 | 2147483647 55585 64 | 0.968 % |
66.92/66.95 c | 57702 | 17906 117851 404893 | 2147483647 55819 64 | 0.968 % |
67.22/67.21 c | 57958 | 17906 117851 404893 | 2147483647 56075 65 | 0.968 % |
67.52/67.53 c | 58239 | 17905 117851 404893 | 2147483647 56355 65 | 0.973 % |
67.92/67.95 c | 58548 | 17905 117851 404893 | 2147483647 56664 65 | 0.973 % |
68.23/68.29 c | 58889 | 17905 117851 404893 | 2147483647 57005 65 | 0.973 % |
69.02/69.07 c | 59261 | 17905 117851 404893 | 2147483647 57377 65 | 0.973 % |
69.42/69.42 c | 59670 | 17905 117851 404893 | 2147483647 57786 65 | 0.973 % |
69.82/69.89 c | 60121 | 17905 117775 404628 | 2147483647 58234 64 | 0.973 % |
70.82/70.85 c | 60618 | 17905 117775 404628 | 2147483647 58731 65 | 0.973 % |
72.12/72.18 c | 61161 | 17905 117775 404628 | 2147483647 59274 65 | 0.973 % |
73.73/73.77 c | 61757 | 17905 117775 404628 | 2147483647 59870 65 | 0.973 % |
74.62/74.61 c | 62412 | 17905 117775 404628 | 2147483647 60524 65 | 0.979 % |
76.12/76.12 c | 63133 | 17903 117697 404354 | 2147483647 61237 65 | 0.984 % |
77.82/77.85 c | 63925 | 17903 117697 404354 | 2147483647 62029 66 | 0.984 % |
78.02/78.08 c | 64025 | 17903 117697 404354 | 2147483647 62129 66 | 0.985 % |
78.13/78.16 c | 64135 | 17903 117697 404354 | 2147483647 62239 66 | 0.984 % |
78.32/78.39 c | 64257 | 17903 117697 404354 | 2147483647 62361 66 | 0.984 % |
78.42/78.49 c | 64391 | 17903 117697 404354 | 2147483647 62495 66 | 0.984 % |
78.62/78.68 c | 64537 | 17903 117697 404354 | 2147483647 62641 65 | 0.984 % |
78.82/78.87 c | 64698 | 17903 117697 404354 | 2147483647 62802 66 | 0.984 % |
79.02/79.01 c | 64874 | 17902 117697 404354 | 2147483647 62977 66 | 0.990 % |
79.32/79.34 c | 65067 | 17902 117697 404354 | 2147483647 63170 66 | 0.990 % |
79.52/79.55 c | 65280 | 17902 117697 404354 | 2147483647 63383 66 | 0.990 % |
79.82/79.89 c | 65514 | 17902 117697 404354 | 2147483647 63617 66 | 0.990 % |
80.33/80.38 c | 65770 | 17902 117697 404354 | 2147483647 63873 66 | 0.990 % |
80.82/80.89 c | 66051 | 17902 117697 404354 | 2147483647 64154 65 | 0.990 % |
81.22/81.28 c | 66362 | 17902 117697 404354 | 2147483647 64465 65 | 0.990 % |
81.63/81.62 c | 66701 | 17901 117676 404274 | 2147483647 64782 65 | 0.996 % |
82.03/82.02 c | 67075 | 17901 117676 404274 | 2147483647 65156 65 | 0.996 % |
82.73/82.81 c | 67484 | 17901 117676 404274 | 2147483647 65565 65 | 0.996 % |
83.53/83.57 c | 67934 | 17901 117676 404274 | 2147483647 66015 65 | 0.996 % |
84.33/84.39 c | 68428 | 17901 117676 404274 | 2147483647 66509 65 | 0.996 % |
85.33/85.35 c | 68973 | 17901 117676 404274 | 2147483647 67054 65 | 0.996 % |
86.03/86.08 c | 69570 | 17901 117676 404274 | 2147483647 67651 65 | 0.996 % |
87.13/87.20 c | 70225 | 17901 117676 404274 | 2147483647 68306 64 | 0.996 % |
87.93/87.94 c | 70945 | 17901 117672 404263 | 2147483647 69026 64 | 0.996 % |
88.93/89.00 c | 71741 | 17899 117672 404263 | 2147483647 69820 64 | 1.007 % |
90.33/90.34 c | 72612 | 17899 117672 404263 | 2147483647 70691 64 | 1.007 % |
90.43/90.43 c | 72713 | 17899 117672 404263 | 2147483647 70792 64 | 1.007 % |
90.53/90.55 c | 72824 | 17899 117672 404263 | 2147483647 70903 64 | 1.007 % |
90.73/90.74 c | 72945 | 17899 117672 404263 | 2147483647 71024 64 | 1.007 % |
90.93/90.92 c | 73078 | 17899 117672 404263 | 2147483647 71157 64 | 1.007 % |
91.03/91.07 c | 73224 | 17899 117672 404263 | 2147483647 71303 64 | 1.007 % |
91.23/91.28 c | 73384 | 17899 117672 404263 | 2147483647 71463 64 | 1.007 % |
91.63/91.70 c | 73562 | 17899 117672 404263 | 2147483647 71641 64 | 1.007 % |
91.93/91.96 c | 73755 | 17899 117672 404263 | 2147483647 71834 64 | 1.007 % |
92.13/92.20 c | 73968 | 17898 117672 404263 | 2147483647 72046 64 | 1.012 % |
92.53/92.57 c | 74204 | 17898 117672 404263 | 2147483647 72282 64 | 1.012 % |
92.93/92.92 c | 74460 | 17898 117672 404263 | 2147483647 72538 64 | 1.012 % |
93.23/93.26 c | 74741 | 17898 117627 404103 | 2147483647 72803 64 | 1.012 % |
93.53/93.56 c | 75050 | 17898 117627 404103 | 2147483647 73112 64 | 1.012 % |
93.83/93.88 c | 75389 | 17898 117627 404103 | 2147483647 73451 64 | 1.012 % |
94.23/94.29 c | 75761 | 17898 117627 404103 | 2147483647 73823 64 | 1.012 % |
95.33/95.35 c | 76170 | 17898 117627 404103 | 2147483647 74232 64 | 1.012 % |
96.03/96.08 c | 76619 | 17898 117627 404103 | 2147483647 74681 64 | 1.012 % |
96.93/97.00 c | 77112 | 17898 117627 404103 | 2147483647 75174 64 | 1.012 % |
97.63/97.62 c | 77655 | 17898 117627 404103 | 2147483647 75717 64 | 1.012 % |
98.63/98.62 c | 78251 | 17897 117627 404103 | 2147483647 76312 64 | 1.018 % |
100.33/100.33 c | 78906 | 17897 117627 404103 | 2147483647 76967 64 | 1.018 % |
101.23/101.29 c | 79627 | 17896 117565 403887 | 2147483647 77687 64 | 1.023 % |
102.93/102.93 c | 80419 | 17896 117565 403887 | 2147483647 78479 64 | 1.023 % |
104.13/104.19 c | 81290 | 17896 117565 403887 | 2147483647 79349 63 | 1.029 % |
105.63/105.66 c | 82249 | 17896 117565 403887 | 2147483647 80308 63 | 1.029 % |
105.73/105.78 c | 82349 | 17896 117565 403887 | 2147483647 80408 63 | 1.029 % |
105.93/105.97 c | 82459 | 17896 117565 403887 | 2147483647 80518 63 | 1.029 % |
106.23/106.25 c | 82580 | 17896 117565 403887 | 2147483647 80639 63 | 1.029 % |
106.43/106.50 c | 82715 | 17896 117565 403887 | 2147483647 80774 63 | 1.029 % |
106.83/106.89 c | 82865 | 17895 117535 403781 | 2147483647 80909 63 | 1.029 % |
107.13/107.17 c | 83025 | 17895 117535 403781 | 2147483647 81069 63 | 1.029 % |
107.43/107.44 c | 83201 | 17895 117535 403781 | 2147483647 81245 63 | 1.029 % |
107.83/107.82 c | 83395 | 17895 117535 403781 | 2147483647 81439 63 | 1.029 % |
108.23/108.23 c | 83607 | 17895 117535 403781 | 2147483647 81651 63 | 1.029 % |
108.53/108.60 c | 83840 | 17895 117535 403781 | 2147483647 81884 64 | 1.029 % |
108.93/108.95 c | 84098 | 17895 117535 403781 | 2147483647 82142 63 | 1.029 % |
109.43/109.42 c | 84379 | 17895 117535 403781 | 2147483647 82423 64 | 1.029 % |
109.73/109.78 c | 84689 | 17895 117535 403781 | 2147483647 82733 64 | 1.029 % |
110.13/110.20 c | 85029 | 17895 117535 403781 | 2147483647 83073 64 | 1.029 % |
110.73/110.78 c | 85401 | 17895 117535 403781 | 2147483647 83445 64 | 1.029 % |
111.23/111.23 c | 85812 | 17895 117535 403781 | 2147483647 83856 64 | 1.029 % |
111.93/111.97 c | 86261 | 17895 117535 403781 | 2147483647 84305 64 | 1.029 % |
112.93/112.99 c | 86754 | 17895 117535 403781 | 2147483647 84798 64 | 1.029 % |
114.03/114.02 c | 87296 | 17895 117535 403781 | 2147483647 85339 64 | 1.034 % |
115.13/115.12 c | 87892 | 17893 117475 403606 | 2147483647 85927 64 | 1.040 % |
116.23/116.23 c | 88548 | 17893 117475 403606 | 2147483647 86583 64 | 1.040 % |
116.93/117.01 c | 89269 | 17893 117475 403606 | 2147483647 87304 64 | 1.040 % |
118.13/118.18 c | 90062 | 17893 117475 403606 | 2147483647 88097 64 | 1.040 % |
119.53/119.59 c | 90933 | 17893 117475 403606 | 2147483647 88968 64 | 1.040 % |
121.23/121.30 c | 91892 | 17893 117475 403606 | 2147483647 89927 64 | 1.040 % |
122.93/122.99 c | 92945 | 17892 117459 403550 | 2147483647 90973 64 | 1.045 % |
123.23/123.21 c | 93046 | 17892 117459 403550 | 2147483647 91074 64 | 1.045 % |
123.33/123.40 c | 93156 | 17892 117459 403550 | 2147483647 91184 64 | 1.045 % |
123.73/123.72 c | 93278 | 17892 117459 403550 | 2147483647 91306 64 | 1.045 % |
123.83/123.84 c | 93411 | 17892 117459 403550 | 2147483647 91439 64 | 1.045 % |
123.93/123.99 c | 93557 | 17892 117459 403550 | 2147483647 91585 64 | 1.045 % |
124.13/124.14 c | 93717 | 17892 117459 403550 | 2147483647 91745 63 | 1.045 % |
124.33/124.39 c | 93893 | 17892 117459 403550 | 2147483647 91921 63 | 1.045 % |
124.83/124.82 c | 94089 | 17892 117459 403550 | 2147483647 92116 63 | 1.051 % |
125.13/125.18 c | 94303 | 17892 117459 403550 | 2147483647 92330 64 | 1.051 % |
125.53/125.52 c | 94538 | 17892 117459 403550 | 2147483647 92565 63 | 1.051 % |
126.03/126.04 c | 94794 | 17892 117459 403550 | 2147483647 92820 64 | 1.056 % |
126.33/126.38 c | 95077 | 17892 117459 403550 | 2147483647 93103 64 | 1.056 % |
126.83/126.88 c | 95386 | 17892 117459 403550 | 2147483647 93412 64 | 1.056 % |
127.33/127.33 c | 95728 | 17892 117459 403550 | 2147483647 93754 64 | 1.056 % |
128.13/128.20 c | 96100 | 17892 117459 403550 | 2147483647 94126 64 | 1.056 % |
128.73/128.80 c | 96511 | 17891 117459 403550 | 2147483647 94536 64 | 1.062 % |
129.53/129.52 c | 96962 | 17891 117459 403550 | 2147483647 94987 65 | 1.062 % |
129.83/129.83 c | 97455 | 17891 117459 403550 | 2147483647 95480 64 | 1.062 % |
130.43/130.45 c | 97998 | 17891 117459 403550 | 2147483647 96023 64 | 1.062 % |
132.04/132.04 c | 98595 | 17891 117459 403550 | 2147483647 96620 64 | 1.062 % |
132.93/132.98 c | 99251 | 17885 117429 403442 | 2147483647 97235 64 | 1.090 % |
134.93/135.00 c | 99973 | 17885 117429 403442 | 2147483647 97957 64 | 1.090 % |
136.03/136.01 c | 100765 | 17884 117429 403442 | 2147483647 98748 64 | 1.095 % |
137.93/137.92 c | 101636 | 17884 117429 403442 | 2147483647 99619 64 | 1.095 % |
139.93/139.92 c | 102595 | 17884 117429 403442 | 2147483647 100578 65 | 1.095 % |
142.03/142.09 c | 103650 | 17884 117429 403442 | 2147483647 101633 64 | 1.095 % |
144.53/144.52 c | 104808 | 17883 117314 403067 | 2147483647 102764 64 | 1.095 % |
144.63/144.64 c | 104909 | 17883 117314 403067 | 2147483647 102865 64 | 1.095 % |
144.83/144.86 c | 105019 | 17883 117314 403067 | 2147483647 102974 64 | 1.101 % |
145.03/145.07 c | 105141 | 17882 117314 403067 | 2147483647 103096 64 | 1.101 % |
145.43/145.43 c | 105275 | 17882 117314 403067 | 2147483647 103230 64 | 1.101 % |
145.73/145.77 c | 105421 | 17882 117314 403067 | 2147483647 103376 64 | 1.101 % |
146.13/146.16 c | 105581 | 17882 117314 403067 | 2147483647 103536 64 | 1.101 % |
146.34/146.32 c | 105758 | 17882 117314 403067 | 2147483647 103713 64 | 1.101 % |
146.43/146.48 c | 105952 | 17881 117314 403067 | 2147483647 103906 64 | 1.106 % |
146.73/146.72 c | 106165 | 17881 117314 403067 | 2147483647 104119 64 | 1.106 % |
147.23/147.29 c | 106399 | 17881 117314 403067 | 2147483647 104353 64 | 1.106 % |
147.73/147.71 c | 106655 | 17881 117314 403067 | 2147483647 104609 65 | 1.106 % |
148.23/148.26 c | 106937 | 17881 117314 403067 | 2147483647 104891 64 | 1.106 % |
148.83/148.90 c | 107246 | 17881 117314 403067 | 2147483647 105200 65 | 1.106 % |
149.33/149.32 c | 107587 | 17881 117314 403067 | 2147483647 105541 65 | 1.106 % |
149.73/149.79 c | 107959 | 17878 117314 403067 | 2147483647 105910 64 | 1.123 % |
150.63/150.71 c | 108370 | 17878 117314 403067 | 2147483647 106321 65 | 1.123 % |
151.53/151.59 c | 108819 | 17878 117314 403067 | 2147483647 106770 65 | 1.123 % |
152.13/152.19 c | 109313 | 17877 117314 403067 | 2147483647 107262 65 | 1.134 % |
152.94/152.95 c | 109855 | 17871 117165 402541 | 2147483647 107749 65 | 1.161 % |
154.33/154.39 c | 110451 | 17871 117165 402541 | 2147483647 108345 65 | 1.161 % |
155.53/155.52 c | 111106 | 17871 117165 402541 | 2147483647 109000 65 | 1.161 % |
156.93/156.92 c | 111828 | 17871 117165 402541 | 2147483647 109722 65 | 1.161 % |
158.13/158.16 c | 112622 | 17871 117165 402541 | 2147483647 110516 64 | 1.161 % |
159.93/159.98 c | 113493 | 17871 117165 402541 | 2147483647 111387 65 | 1.161 % |
162.13/162.12 c | 114452 | 17871 117165 402541 | 2147483647 112346 65 | 1.161 % |
163.94/163.99 c | 115506 | 17871 117165 402541 | 2147483647 113399 65 | 1.167 % |
166.64/166.63 c | 116664 | 17870 117082 402254 | 2147483647 114526 65 | 1.167 % |
168.84/168.83 c | 117938 | 17860 117082 402254 | 2147483647 115790 64 | 1.222 % |
169.04/169.05 c | 118039 | 17860 117082 402254 | 2147483647 115891 64 | 1.222 % |
169.24/169.26 c | 118149 | 17860 117082 402254 | 2147483647 116001 64 | 1.222 % |
169.54/169.54 c | 118272 | 17860 117082 402254 | 2147483647 116124 64 | 1.222 % |
169.84/169.86 c | 118405 | 17860 117082 402254 | 2147483647 116257 64 | 1.222 % |
170.04/170.09 c | 118551 | 17860 117082 402254 | 2147483647 116403 64 | 1.222 % |
170.24/170.22 c | 118711 | 17860 117082 402254 | 2147483647 116563 64 | 1.222 % |
170.44/170.51 c | 118887 | 17860 117082 402254 | 2147483647 116739 64 | 1.222 % |
170.94/170.99 c | 119083 | 17860 117082 402254 | 2147483647 116934 65 | 1.228 % |
171.44/171.49 c | 119295 | 17860 117082 402254 | 2147483647 117146 65 | 1.228 % |
171.94/171.96 c | 119530 | 17860 117082 402254 | 2147483647 117381 65 | 1.228 % |
172.34/172.35 c | 119787 | 17860 117082 402254 | 2147483647 117638 65 | 1.228 % |
172.84/172.91 c | 120070 | 17860 117082 402254 | 2147483647 117921 65 | 1.228 % |
173.24/173.31 c | 120379 | 17860 117082 402254 | 2147483647 118230 65 | 1.228 % |
173.84/173.83 c | 120720 | 17860 117082 402254 | 2147483647 118571 65 | 1.228 % |
174.34/174.36 c | 121094 | 17860 117082 402254 | 2147483647 118945 65 | 1.228 % |
175.04/175.10 c | 121504 | 17859 117082 402254 | 2147483647 119354 65 | 1.233 % |
175.74/175.79 c | 121954 | 17858 117082 402254 | 2147483647 119802 65 | 1.244 % |
176.64/176.66 c | 122449 | 17856 116899 401607 | 2147483647 120208 65 | 1.244 % |
177.64/177.67 c | 122991 | 17856 116899 401607 | 2147483647 120750 65 | 1.244 % |
178.74/178.74 c | 123587 | 17855 116899 401607 | 2147483647 121345 65 | 1.250 % |
179.84/179.81 c | 124242 | 17855 116899 401607 | 2147483647 122000 65 | 1.250 % |
181.04/181.07 c | 124962 | 17855 116899 401607 | 2147483647 122720 65 | 1.250 % |
182.14/182.14 c | 125756 | 17852 116899 401607 | 2147483647 123511 64 | 1.267 % |
183.94/183.92 c | 126627 | 17849 116899 401607 | 2147483647 124379 64 | 1.283 % |
186.04/186.09 c | 127588 | 17849 116899 401607 | 2147483647 125339 65 | 1.289 % |
188.24/188.27 c | 128641 | 17849 116899 401607 | 2147483647 126392 65 | 1.289 % |
191.34/191.34 c | 129800 | 17848 116709 400954 | 2147483647 127523 65 | 1.289 % |
193.54/193.52 c | 131073 | 17848 116709 400954 | 2147483647 128796 65 | 1.289 % |
196.14/196.18 c | 132474 | 17835 116709 400954 | 2147483647 130184 65 | 1.361 % |
196.34/196.39 c | 132574 | 17835 116709 400954 | 2147483647 130284 65 | 1.361 % |
196.64/196.71 c | 132684 | 17835 116709 400954 | 2147483647 130394 65 | 1.361 % |
196.84/196.90 c | 132806 | 17835 116709 400954 | 2147483647 130516 65 | 1.361 % |
197.24/197.22 c | 132940 | 17835 116709 400954 | 2147483647 130650 65 | 1.361 % |
197.34/197.40 c | 133086 | 17833 116709 400954 | 2147483647 130794 65 | 1.372 % |
197.74/197.80 c | 133248 | 17833 116709 400954 | 2147483647 130956 65 | 1.372 % |
198.24/198.23 c | 133425 | 17833 116709 400954 | 2147483647 131133 65 | 1.372 % |
198.74/198.77 c | 133618 | 17833 116709 400954 | 2147483647 131326 65 | 1.372 % |
198.94/198.99 c | 133830 | 17833 116709 400954 | 2147483647 131538 65 | 1.372 % |
199.44/199.45 c | 134063 | 17833 116709 400954 | 2147483647 131771 65 | 1.372 % |
200.14/200.13 c | 134320 | 17833 116709 400954 | 2147483647 132028 65 | 1.372 % |
200.74/200.79 c | 134601 | 17833 116709 400954 | 2147483647 132309 65 | 1.372 % |
201.64/201.70 c | 134910 | 17833 116709 400954 | 2147483647 132618 65 | 1.372 % |
202.24/202.26 c | 135249 | 17833 116709 400954 | 2147483647 132957 65 | 1.372 % |
203.04/203.10 c | 135621 | 17828 116476 400124 | 2147483647 133234 65 | 1.399 % |
204.04/204.07 c | 136030 | 17828 116476 400124 | 2147483647 133643 65 | 1.399 % |
205.04/205.03 c | 136480 | 17828 116476 400124 | 2147483647 134093 65 | 1.399 % |
205.94/205.95 c | 136973 | 17828 116476 400124 | 2147483647 134586 65 | 1.399 % |
206.64/206.64 c | 137515 | 17828 116476 400124 | 2147483647 135128 65 | 1.399 % |
207.74/207.79 c | 138111 | 17827 116476 400124 | 2147483647 135722 65 | 1.410 % |
208.94/208.95 c | 138766 | 17827 116476 400124 | 2147483647 136377 65 | 1.410 % |
210.24/210.25 c | 139487 | 17827 116476 400124 | 2147483647 137098 65 | 1.410 % |
211.94/211.92 c | 140281 | 17815 116476 400124 | 2147483647 137880 65 | 1.477 % |
213.84/213.91 c | 141152 | 17815 116476 400124 | 2147483647 138751 65 | 1.477 % |
215.84/215.88 c | 142110 | 17815 116476 400124 | 2147483647 139709 65 | 1.477 % |
217.54/217.60 c | 143163 | 17815 116476 400124 | 2147483647 140762 65 | 1.477 % |
220.14/220.16 c | 144321 | 17814 116235 399296 | 2147483647 141831 65 | 1.477 % |
222.34/222.34 c | 145595 | 17814 116235 399296 | 2147483647 143105 65 | 1.477 % |
226.04/226.02 c | 146995 | 17814 116235 399296 | 2147483647 144505 65 | 1.477 % |
228.85/228.86 c | 148535 | 17814 116235 399296 | 2147483647 146045 65 | 1.477 % |
229.04/229.07 c | 148636 | 17814 116235 399296 | 2147483647 146146 65 | 1.477 % |
229.14/229.18 c | 148747 | 17812 116235 399296 | 2147483647 146254 65 | 1.493 % |
229.24/229.28 c | 148868 | 17811 116235 399296 | 2147483647 146375 65 | 1.493 % |
229.64/229.66 c | 149003 | 17811 116235 399296 | 2147483647 146510 65 | 1.493 % |
229.95/229.93 c | 149149 | 17811 116235 399296 | 2147483647 146656 65 | 1.493 % |
230.14/230.18 c | 149309 | 17811 116235 399296 | 2147483647 146816 65 | 1.493 % |
230.74/230.80 c | 149485 | 17811 116235 399296 | 2147483647 146992 65 | 1.493 % |
231.05/231.06 c | 149678 | 17811 116235 399296 | 2147483647 147184 65 | 1.499 % |
231.54/231.59 c | 149891 | 17811 116235 399296 | 2147483647 147397 65 | 1.499 % |
232.34/232.34 c | 150126 | 17811 116235 399296 | 2147483647 147632 65 | 1.499 % |
233.04/233.02 c | 150383 | 17811 116235 399296 | 2147483647 147889 65 | 1.499 % |
233.84/233.88 c | 150665 | 17810 116170 399053 | 2147483647 148133 65 | 1.499 % |
234.44/234.46 c | 150975 | 17810 116170 399053 | 2147483647 148443 65 | 1.499 % |
235.04/235.05 c | 151314 | 17810 116170 399053 | 2147483647 148782 65 | 1.499 % |
235.84/235.81 c | 151686 | 17810 116170 399053 | 2147483647 149154 65 | 1.499 % |
236.44/236.44 c | 152098 | 17809 116170 399053 | 2147483647 149565 65 | 1.504 % |
236.84/236.85 c | 152547 | 17809 116170 399053 | 2147483647 150014 65 | 1.504 % |
237.94/237.91 c | 153040 | 17809 116170 399053 | 2147483647 150507 65 | 1.504 % |
239.44/239.42 c | 153584 | 17809 116170 399053 | 2147483647 151050 65 | 1.510 % |
240.64/240.63 c | 154183 | 17809 116170 399053 | 2147483647 151649 65 | 1.510 % |
242.64/242.70 c | 154840 | 17809 116170 399053 | 2147483647 152306 65 | 1.510 % |
244.25/244.23 c | 155560 | 17809 116170 399053 | 2147483647 153026 64 | 1.510 % |
246.15/246.18 c | 156352 | 17809 116170 399053 | 2147483647 153818 65 | 1.510 % |
248.35/248.39 c | 157225 | 17809 116170 399053 | 2147483647 154691 65 | 1.510 % |
250.45/250.46 c | 158183 | 17809 116170 399053 | 2147483647 155649 65 | 1.510 % |
252.65/252.69 c | 159238 | 17809 116170 399053 | 2147483647 156704 65 | 1.510 % |
255.15/255.17 c | 160397 | 17808 116146 398965 | 2147483647 157832 65 | 1.510 % |
258.45/258.44 c | 161670 | 17808 116146 398965 | 2147483647 159105 65 | 1.510 % |
261.25/261.29 c | 163070 | 17808 116146 398965 | 2147483647 160505 65 | 1.510 % |
264.65/264.68 c | 164612 | 17808 116146 398965 | 2147483647 162046 64 | 1.515 % |
269.45/269.45 c | 166306 | 17807 116146 398965 | 2147483647 163738 64 | 1.526 % |
269.85/269.88 c | 166407 | 17807 116146 398965 | 2147483647 163839 64 | 1.526 % |
270.15/270.20 c | 166517 | 17807 116146 398965 | 2147483647 163949 64 | 1.526 % |
270.85/270.82 c | 166639 | 17807 116146 398965 | 2147483647 164071 64 | 1.526 % |
271.35/271.40 c | 166775 | 17807 116146 398965 | 2147483647 164207 64 | 1.526 % |
271.65/271.63 c | 166921 | 17805 116112 398845 | 2147483647 164321 64 | 1.526 % |
271.95/271.98 c | 167082 | 17805 116112 398845 | 2147483647 164482 64 | 1.527 % |
272.65/272.62 c | 167259 | 17805 116112 398845 | 2147483647 164659 64 | 1.526 % |
273.05/273.05 c | 167453 | 17805 116112 398845 | 2147483647 164853 64 | 1.526 % |
273.65/273.66 c | 167666 | 17805 116112 398845 | 2147483647 165066 64 | 1.526 % |
274.05/274.06 c | 167900 | 17805 116112 398845 | 2147483647 165300 64 | 1.526 % |
274.45/274.50 c | 168161 | 17805 116112 398845 | 2147483647 165561 64 | 1.526 % |
275.25/275.30 c | 168442 | 17805 116112 398845 | 2147483647 165842 64 | 1.526 % |
276.15/276.18 c | 168751 | 17805 116112 398845 | 2147483647 166151 65 | 1.526 % |
276.95/277.00 c | 169091 | 17805 116112 398845 | 2147483647 166491 65 | 1.526 % |
278.05/278.09 c | 169463 | 17805 116112 398845 | 2147483647 166863 64 | 1.526 % |
279.15/279.20 c | 169873 | 17805 116112 398845 | 2147483647 167273 64 | 1.526 % |
279.95/279.95 c | 170324 | 17805 116112 398845 | 2147483647 167724 64 | 1.526 % |
280.95/280.96 c | 170817 | 17805 116112 398845 | 2147483647 168217 64 | 1.526 % |
282.55/282.51 c | 171359 | 17805 116112 398845 | 2147483647 168759 64 | 1.526 % |
284.45/284.44 c | 171956 | 17803 116112 398845 | 2147483647 169353 64 | 1.543 % |
286.05/286.02 c | 172612 | 17803 116112 398845 | 2147483647 170009 64 | 1.543 % |
287.75/287.81 c | 173333 | 17803 116112 398845 | 2147483647 170730 65 | 1.543 % |
289.35/289.35 c | 174125 | 17803 116112 398845 | 2147483647 171522 64 | 1.543 % |
291.35/291.36 c | 175003 | 17803 116112 398845 | 2147483647 172400 64 | 1.543 % |
293.45/293.45 c | 175965 | 17802 116066 398673 | 2147483647 173329 64 | 1.543 % |
296.35/296.39 c | 177019 | 17802 116066 398673 | 2147483647 174383 64 | 1.543 % |
298.95/299.00 c | 178178 | 17801 116066 398673 | 2147483647 175541 64 | 1.549 % |
302.35/302.40 c | 179451 | 17801 116066 398673 | 2147483647 176814 65 | 1.549 % |
305.35/305.33 c | 180851 | 17797 116066 398673 | 2147483647 178209 64 | 1.576 % |
308.85/308.87 c | 182392 | 17797 116066 398673 | 2147483647 179750 64 | 1.576 % |
314.15/314.11 c | 184087 | 17797 116066 398673 | 2147483647 181445 64 | 1.576 % |
318.75/318.75 c | 185951 | 17796 115989 398404 | 2147483647 183164 64 | 1.576 % |
319.15/319.13 c | 186054 | 17796 115989 398404 | 2147483647 183267 64 | 1.576 % |
319.35/319.36 c | 186166 | 17796 115989 398404 | 2147483647 183379 64 | 1.576 % |
319.65/319.69 c | 186289 | 17796 115989 398404 | 2147483647 183502 64 | 1.576 % |
319.85/319.83 c | 186422 | 17796 115989 398404 | 2147483647 183635 64 | 1.576 % |
320.25/320.22 c | 186568 | 17796 115989 398404 | 2147483647 183781 64 | 1.576 % |
320.85/320.90 c | 186729 | 17796 115989 398404 | 2147483647 183942 64 | 1.576 % |
321.26/321.29 c | 186905 | 17796 115989 398404 | 2147483647 184118 64 | 1.576 % |
322.05/322.09 c | 187100 | 17796 115989 398404 | 2147483647 184313 64 | 1.576 % |
322.65/322.66 c | 187313 | 17796 115989 398404 | 2147483647 184526 64 | 1.576 % |
323.25/323.24 c | 187546 | 17796 115989 398404 | 2147483647 184759 64 | 1.576 % |
323.95/323.95 c | 187803 | 17796 115989 398404 | 2147483647 185015 64 | 1.582 % |
324.85/324.89 c | 188087 | 17796 115989 398404 | 2147483647 185299 64 | 1.582 % |
325.95/325.95 c | 188398 | 17796 115989 398404 | 2147483647 185610 64 | 1.582 % |
326.95/327.00 c | 188737 | 17796 115989 398404 | 2147483647 185949 65 | 1.582 % |
328.06/328.02 c | 189109 | 17796 115989 398404 | 2147483647 186321 65 | 1.582 % |
329.06/329.04 c | 189518 | 17795 115989 398404 | 2147483647 186729 64 | 1.587 % |
329.86/329.85 c | 189967 | 17794 115989 398404 | 2147483647 187176 64 | 1.598 % |
331.36/331.32 c | 190460 | 17794 115989 398404 | 2147483647 187669 64 | 1.598 % |
332.86/332.91 c | 191003 | 17794 115989 398404 | 2147483647 188212 64 | 1.598 % |
334.36/334.41 c | 191601 | 17794 115989 398404 | 2147483647 188810 64 | 1.598 % |
336.35/336.40 c | 192258 | 17794 115989 398404 | 2147483647 189467 65 | 1.598 % |
338.35/338.35 c | 192978 | 17794 115989 398404 | 2147483647 190187 65 | 1.598 % |
339.85/339.82 c | 193770 | 17794 115989 398404 | 2147483647 190979 65 | 1.598 % |
342.25/342.25 c | 194643 | 17791 115884 398043 | 2147483647 191830 65 | 1.604 % |
345.85/345.85 c | 195603 | 17791 115884 398043 | 2147483647 192789 65 | 1.609 % |
349.25/349.27 c | 196658 | 17791 115884 398043 | 2147483647 193843 65 | 1.615 % |
351.55/351.57 c | 197816 | 17791 115884 398043 | 2147483647 195001 65 | 1.615 % |
354.45/354.47 c | 199090 | 17789 115884 398043 | 2147483647 196273 64 | 1.626 % |
358.15/358.20 c | 200493 | 17789 115884 398043 | 2147483647 197676 64 | 1.626 % |
362.85/362.83 c | 202034 | 17789 115884 398043 | 2147483647 199216 64 | 1.632 % |
367.05/367.01 c | 203729 | 17789 115884 398043 | 2147483647 200911 64 | 1.632 % |
373.95/373.91 c | 205598 | 17786 115762 397642 | 2147483647 202707 64 | 1.632 % |
379.56/379.59 c | 207649 | 17785 115762 397642 | 2147483647 204757 64 | 1.637 % |
379.95/379.97 c | 207751 | 17785 115762 397642 | 2147483647 204859 64 | 1.637 % |
380.45/380.46 c | 207862 | 17785 115762 397642 | 2147483647 204970 64 | 1.637 % |
380.95/380.98 c | 207983 | 17785 115762 397642 | 2147483647 205091 64 | 1.637 % |
381.35/381.35 c | 208117 | 17785 115762 397642 | 2147483647 205225 64 | 1.637 % |
381.76/381.72 c | 208264 | 17785 115762 397642 | 2147483647 205372 64 | 1.637 % |
382.15/382.12 c | 208424 | 17785 115762 397642 | 2147483647 205532 64 | 1.637 % |
382.55/382.60 c | 208601 | 17785 115762 397642 | 2147483647 205709 64 | 1.637 % |
383.05/383.10 c | 208795 | 17785 115762 397642 | 2147483647 205903 64 | 1.637 % |
383.75/383.76 c | 209007 | 17785 115762 397642 | 2147483647 206115 64 | 1.637 % |
384.45/384.48 c | 209240 | 17785 115762 397642 | 2147483647 206348 64 | 1.637 % |
385.55/385.58 c | 209500 | 17785 115762 397642 | 2147483647 206608 64 | 1.637 % |
386.45/386.42 c | 209783 | 17785 115762 397642 | 2147483647 206891 64 | 1.637 % |
387.45/387.48 c | 210092 | 17785 115762 397642 | 2147483647 207200 64 | 1.637 % |
388.55/388.55 c | 210431 | 17785 115762 397642 | 2147483647 207539 64 | 1.637 % |
389.65/389.66 c | 210803 | 17785 115762 397642 | 2147483647 207911 64 | 1.637 % |
390.65/390.62 c | 211213 | 17785 115762 397642 | 2147483647 208321 64 | 1.637 % |
391.95/391.94 c | 211662 | 17785 115762 397642 | 2147483647 208770 64 | 1.637 % |
393.75/393.78 c | 212157 | 17785 115762 397642 | 2147483647 209265 64 | 1.637 % |
395.05/395.04 c | 212699 | 17785 115737 397545 | 2147483647 209774 64 | 1.637 % |
396.65/396.60 c | 213296 | 17785 115737 397545 | 2147483647 210370 64 | 1.643 % |
398.55/398.56 c | 213951 | 17785 115737 397545 | 2147483647 211025 64 | 1.643 % |
400.85/400.87 c | 214672 | 17785 115737 397545 | 2147483647 211746 64 | 1.643 % |
402.75/402.80 c | 215464 | 17785 115737 397545 | 2147483647 212538 64 | 1.643 % |
405.35/405.37 c | 216337 | 17785 115737 397545 | 2147483647 213411 64 | 1.643 % |
408.45/408.49 c | 217296 | 17785 115737 397545 | 2147483647 214370 64 | 1.643 % |
411.36/411.36 c | 218349 | 17785 115737 397545 | 2147483647 215423 64 | 1.643 % |
415.56/415.51 c | 219507 | 17785 115737 397545 | 2147483647 216581 64 | 1.643 % |
419.56/419.53 c | 220780 | 17784 115737 397545 | 2147483647 217853 64 | 1.648 % |
424.76/424.73 c | 222181 | 17784 115737 397545 | 2147483647 219254 64 | 1.648 % |
429.86/429.86 c | 223721 | 17783 115702 397411 | 2147483647 220762 65 | 1.648 % |
434.76/434.77 c | 225415 | 17782 115702 397411 | 2147483647 222455 64 | 1.654 % |
440.96/440.99 c | 227278 | 17782 115702 397411 | 2147483647 224318 65 | 1.654 % |
447.56/447.60 c | 229328 | 17782 115702 397411 | 2147483647 226368 65 | 1.654 % |
453.36/453.35 c | 231582 | 17782 115702 397411 | 2147483647 228622 65 | 1.654 % |
453.76/453.73 c | 231684 | 17782 115702 397411 | 2147483647 228724 65 | 1.654 % |
454.06/454.06 c | 231794 | 17782 115702 397411 | 2147483647 228834 65 | 1.654 % |
454.56/454.53 c | 231916 | 17782 115686 397349 | 2147483647 228943 65 | 1.654 % |
454.76/454.80 c | 232051 | 17782 115686 397349 | 2147483647 229078 65 | 1.654 % |
455.46/455.42 c | 232198 | 17782 115686 397349 | 2147483647 229225 65 | 1.654 % |
455.76/455.74 c | 232359 | 17782 115686 397349 | 2147483647 229386 65 | 1.654 % |
456.36/456.40 c | 232535 | 17782 115686 397349 | 2147483647 229562 65 | 1.654 % |
457.06/457.07 c | 232729 | 17781 115686 397349 | 2147483647 229755 65 | 1.659 % |
457.86/457.82 c | 232942 | 17781 115686 397349 | 2147483647 229968 65 | 1.659 % |
458.66/458.63 c | 233176 | 17781 115686 397349 | 2147483647 230202 65 | 1.659 % |
459.36/459.39 c | 233432 | 17781 115686 397349 | 2147483647 230458 65 | 1.659 % |
460.16/460.15 c | 233713 | 17781 115686 397349 | 2147483647 230739 65 | 1.659 % |
461.16/461.18 c | 234027 | 17781 115686 397349 | 2147483647 231053 65 | 1.659 % |
462.07/462.03 c | 234368 | 17779 115686 397349 | 2147483647 231392 65 | 1.670 % |
463.56/463.51 c | 234740 | 17779 115686 397349 | 2147483647 231764 65 | 1.670 % |
465.37/465.32 c | 235149 | 17779 115686 397349 | 2147483647 232173 65 | 1.670 % |
467.16/467.13 c | 235599 | 17779 115686 397349 | 2147483647 232623 65 | 1.670 % |
468.86/468.87 c | 236094 | 17779 115686 397349 | 2147483647 233117 65 | 1.676 % |
469.66/469.65 c | 236637 | 17779 115686 397349 | 2147483647 233660 65 | 1.676 % |
471.66/471.62 c | 237234 | 17779 115686 397349 | 2147483647 234257 65 | 1.676 % |
473.66/473.65 c | 237890 | 17779 115686 397349 | 2147483647 234913 65 | 1.676 % |
476.56/476.56 c | 238610 | 17779 115686 397349 | 2147483647 235633 65 | 1.676 % |
479.56/479.51 c | 239402 | 17779 115686 397349 | 2147483647 236424 65 | 1.681 % |
482.46/482.49 c | 240274 | 17778 115686 397349 | 2147483647 237295 65 | 1.687 % |
486.27/486.23 c | 241232 | 17778 115686 397349 | 2147483647 238253 65 | 1.687 % |
489.66/489.60 c | 242286 | 17778 115686 397349 | 2147483647 239306 65 | 1.692 % |
493.87/493.88 c | 243445 | 17778 115686 397349 | 2147483647 240465 65 | 1.692 % |
498.57/498.56 c | 244718 | 17775 115560 396877 | 2147483647 241672 65 | 1.692 % |
503.47/503.42 c | 246118 | 17775 115560 396877 | 2147483647 243072 66 | 1.692 % |
508.97/509.01 c | 247658 | 17775 115560 396877 | 2147483647 244612 66 | 1.692 % |
515.97/515.99 c | 249352 | 17775 115560 396877 | 2147483647 246305 66 | 1.703 % |
523.07/523.05 c | 251215 | 17775 115560 396877 | 2147483647 248167 66 | 1.709 % |
529.37/529.40 c | 253266 | 17775 115560 396877 | 2147483647 250218 66 | 1.709 % |
538.87/538.87 c | 255520 | 17772 115522 396739 | 2147483647 252447 66 | 1.709 % |
548.37/548.31 c | 257998 | 17772 115522 396739 | 2147483647 254925 66 | 1.709 % |
548.67/548.66 c | 258098 | 17772 115522 396739 | 2147483647 255025 66 | 1.709 % |
549.07/549.08 c | 258209 | 17772 115522 396739 | 2147483647 255136 66 | 1.709 % |
549.67/549.63 c | 258330 | 17772 115522 396739 | 2147483647 255257 66 | 1.709 % |
550.27/550.27 c | 258465 | 17772 115522 396739 | 2147483647 255392 66 | 1.709 % |
550.87/550.85 c | 258612 | 17772 115522 396739 | 2147483647 255539 66 | 1.709 % |
551.57/551.60 c | 258772 | 17772 115522 396739 | 2147483647 255699 66 | 1.709 % |
552.57/552.54 c | 258949 | 17772 115522 396739 | 2147483647 255876 66 | 1.709 % |
553.38/553.37 c | 259142 | 17772 115522 396739 | 2147483647 256069 66 | 1.709 % |
554.07/554.02 c | 259354 | 17772 115522 396739 | 2147483647 256281 66 | 1.709 % |
555.07/555.02 c | 259589 | 17772 115522 396739 | 2147483647 256515 66 | 1.715 % |
556.27/556.21 c | 259847 | 17772 115522 396739 | 2147483647 256773 66 | 1.715 % |
557.27/557.28 c | 260128 | 17772 115522 396739 | 2147483647 257054 66 | 1.715 % |
558.17/558.16 c | 260438 | 17772 115522 396739 | 2147483647 257364 66 | 1.715 % |
559.67/559.65 c | 260779 | 17772 115522 396739 | 2147483647 257705 66 | 1.715 % |
561.47/561.40 c | 261152 | 17772 115522 396739 | 2147483647 258078 66 | 1.715 % |
563.47/563.47 c | 261561 | 17772 115522 396739 | 2147483647 258487 66 | 1.715 % |
564.87/564.88 c | 262010 | 17772 115522 396739 | 2147483647 258936 66 | 1.715 % |
566.67/566.66 c | 262503 | 17770 115518 396728 | 2147483647 259428 66 | 1.720 % |
568.27/568.26 c | 263046 | 17769 115518 396728 | 2147483647 259970 66 | 1.726 % |
570.17/570.16 c | 263642 | 17766 115518 396728 | 2147483647 260561 66 | 1.753 % |
572.08/572.05 c | 264300 | 17764 115518 396728 | 2147483647 261218 66 | 1.764 % |
574.98/574.98 c | 265021 | 17764 115518 396728 | 2147483647 261939 66 | 1.764 % |
577.88/577.91 c | 265813 | 17764 115518 396728 | 2147483647 262731 66 | 1.764 % |
580.58/580.59 c | 266688 | 17764 115518 396728 | 2147483647 263605 66 | 1.770 % |
584.68/584.62 c | 267647 | 17764 115518 396728 | 2147483647 264564 66 | 1.770 % |
588.38/588.35 c | 268700 | 17764 115518 396728 | 2147483647 265617 66 | 1.770 % |
591.58/591.54 c | 269858 | 17763 115518 396728 | 2147483647 266774 66 | 1.775 % |
596.58/596.56 c | 271132 | 17763 115518 396728 | 2147483647 268048 66 | 1.775 % |
601.58/601.54 c | 272532 | 17763 115518 396728 | 2147483647 269448 66 | 1.775 % |
606.88/606.82 c | 274072 | 17763 115518 396728 | 2147483647 270988 66 | 1.775 % |
613.18/613.16 c | 275767 | 17752 115327 395992 | 2147483647 272481 66 | 1.842 % |
619.98/619.95 c | 277631 | 17752 115327 395992 | 2147483647 274344 66 | 1.847 % |
628.38/628.35 c | 279680 | 17752 115327 395992 | 2147483647 276393 66 | 1.847 % |
636.78/636.79 c | 281934 | 17751 115327 395992 | 2147483647 278645 66 | 1.864 % |
644.58/644.51 c | 284412 | 17751 115327 395992 | 2147483647 281123 66 | 1.864 % |
656.39/656.36 c | 287138 | 17751 115327 395992 | 2147483647 283849 66 | 1.864 % |
657.09/657.06 c | 287239 | 17744 115058 394977 | 2147483647 283712 66 | 1.864 % |
657.49/657.51 c | 287349 | 17744 115058 394977 | 2147483647 283822 66 | 1.864 % |
658.09/658.04 c | 287474 | 17744 115058 394977 | 2147483647 283947 66 | 1.864 % |
658.79/658.72 c | 287607 | 17744 115058 394977 | 2147483647 284080 66 | 1.864 % |
659.29/659.29 c | 287754 | 17744 115058 394977 | 2147483647 284227 66 | 1.864 % |
659.99/660.00 c | 287914 | 17744 115058 394977 | 2147483647 284387 66 | 1.864 % |
660.79/660.76 c | 288090 | 17744 115058 394977 | 2147483647 284563 66 | 1.864 % |
661.59/661.53 c | 288283 | 17744 115058 394977 | 2147483647 284756 66 | 1.864 % |
662.49/662.48 c | 288496 | 17744 115058 394977 | 2147483647 284969 66 | 1.864 % |
663.49/663.44 c | 288729 | 17744 115058 394977 | 2147483647 285202 66 | 1.864 % |
664.49/664.42 c | 288985 | 17744 115058 394977 | 2147483647 285458 66 | 1.864 % |
665.49/665.46 c | 289267 | 17744 115058 394977 | 2147483647 285740 66 | 1.864 % |
666.69/666.69 c | 289577 | 17744 115058 394977 | 2147483647 286049 66 | 1.869 % |
667.89/667.89 c | 289916 | 17744 115058 394977 | 2147483647 286386 66 | 1.897 % |
669.49/669.49 c | 290291 | 17744 115058 394977 | 2147483647 286759 66 | 1.914 % |
671.19/671.21 c | 290701 | 17744 115058 394977 | 2147483647 287169 66 | 1.914 % |
672.99/672.92 c | 291152 | 17744 115058 394977 | 2147483647 287620 66 | 1.914 % |
674.79/674.80 c | 291647 | 17744 115058 394977 | 2147483647 288115 66 | 1.914 % |
676.59/676.55 c | 292191 | 17744 115058 394977 | 2147483647 288659 66 | 1.914 % |
678.89/678.82 c | 292787 | 17744 115058 394977 | 2147483647 289255 66 | 1.914 % |
681.49/681.48 c | 293442 | 17744 115058 394977 | 2147483647 289910 66 | 1.914 % |
683.99/684.01 c | 294162 | 17744 115058 394977 | 2147483647 290630 66 | 1.914 % |
686.69/686.62 c | 294954 | 17744 115058 394977 | 2147483647 291422 66 | 1.914 % |
690.79/690.80 c | 295826 | 17744 115058 394977 | 2147483647 292294 66 | 1.914 % |
694.68/694.65 c | 296785 | 17744 115058 394977 | 2147483647 293253 66 | 1.914 % |
698.98/698.95 c | 297840 | 17744 115058 394977 | 2147483647 294308 66 | 1.914 % |
703.88/703.80 c | 298998 | 17744 115058 394977 | 2147483647 295466 66 | 1.914 % |
708.49/708.50 c | 300273 | 17734 114905 394388 | 2147483647 296655 66 | 1.925 % |
712.58/712.58 c | 301673 | 17734 114905 394388 | 2147483647 298055 66 | 1.925 % |
719.08/719.08 c | 303215 | 17732 114905 394388 | 2147483647 299594 66 | 1.941 % |
725.68/725.62 c | 304910 | 17732 114905 394388 | 2147483647 301289 66 | 1.941 % |
734.08/734.06 c | 306774 | 17732 114905 394388 | 2147483647 303153 66 | 1.941 % |
743.29/743.27 c | 308823 | 17732 114905 394388 | 2147483647 305202 66 | 1.941 % |
753.89/753.84 c | 311076 | 17732 114905 394388 | 2147483647 307455 66 | 1.941 % |
765.19/765.20 c | 313554 | 17729 114830 394112 | 2147483647 309888 66 | 1.947 % |
775.90/775.84 c | 316279 | 17729 114830 394112 | 2147483647 312611 66 | 1.958 % |
788.30/788.24 c | 319277 | 17729 114830 394112 | 2147483647 315608 66 | 1.963 % |
788.81/788.76 c | 319379 | 17729 114830 394112 | 2147483647 315710 66 | 1.963 % |
789.40/789.39 c | 319490 | 17729 114830 394112 | 2147483647 315821 66 | 1.963 % |
789.91/789.87 c | 319611 | 17729 114830 394112 | 2147483647 315942 66 | 1.963 % |
790.40/790.31 c | 319745 | 17729 114830 394112 | 2147483647 316076 66 | 1.963 % |
790.90/790.91 c | 319892 | 17728 114830 394112 | 2147483647 316222 66 | 1.969 % |
791.70/791.70 c | 320053 | 17728 114830 394112 | 2147483647 316383 66 | 1.969 % |
792.40/792.41 c | 320230 | 17728 114830 394112 | 2147483647 316560 66 | 1.969 % |
793.40/793.41 c | 320423 | 17728 114830 394112 | 2147483647 316752 66 | 1.974 % |
794.40/794.33 c | 320635 | 17728 114830 394112 | 2147483647 316964 66 | 1.974 % |
795.70/795.64 c | 320868 | 17728 114830 394112 | 2147483647 317197 66 | 1.974 % |
797.00/796.95 c | 321124 | 17728 114830 394112 | 2147483647 317453 66 | 1.974 % |
798.40/798.38 c | 321407 | 17728 114830 394112 | 2147483647 317736 66 | 1.974 % |
799.90/799.87 c | 321717 | 17728 114830 394112 | 2147483647 318046 66 | 1.974 % |
801.30/801.30 c | 322056 | 17728 114830 394112 | 2147483647 318384 66 | 1.980 % |
803.50/803.43 c | 322430 | 17728 114830 394112 | 2147483647 318758 66 | 1.980 % |
805.20/805.16 c | 322839 | 17728 114830 394112 | 2147483647 319167 66 | 1.980 % |
806.80/806.81 c | 323291 | 17728 114830 394112 | 2147483647 319619 66 | 1.980 % |
808.80/808.73 c | 323787 | 17728 114830 394112 | 2147483647 320115 66 | 1.980 % |
810.90/810.89 c | 324329 | 17728 114830 394112 | 2147483647 320657 66 | 1.980 % |
812.90/812.91 c | 324925 | 17728 114830 394112 | 2147483647 321252 66 | 1.986 % |
816.20/816.21 c | 325585 | 17728 114830 394112 | 2147483647 321912 66 | 1.986 % |
819.20/819.13 c | 326305 | 17722 114772 393911 | 2147483647 322614 66 | 1.986 % |
822.91/822.84 c | 327097 | 17722 114772 393911 | 2147483647 323406 66 | 1.986 % |
826.51/826.43 c | 327971 | 17722 114772 393911 | 2147483647 324280 66 | 1.986 % |
830.91/830.90 c | 328929 | 17722 114772 393911 | 2147483647 325238 66 | 1.986 % |
836.21/836.14 c | 329982 | 17720 114772 393911 | 2147483647 326289 66 | 1.997 % |
841.41/841.33 c | 331142 | 17719 114772 393911 | 2147483647 327447 66 | 2.008 % |
846.71/846.66 c | 332415 | 17719 114772 393911 | 2147483647 328720 67 | 2.008 % |
853.01/852.92 c | 333815 | 17719 114772 393911 | 2147483647 330120 66 | 2.008 % |
859.51/859.50 c | 335355 | 17719 114772 393911 | 2147483647 331660 67 | 2.008 % |
867.01/867.01 c | 337050 | 17719 114772 393911 | 2147483647 333354 67 | 2.013 % |
876.51/876.47 c | 338914 | 17719 114772 393911 | 2147483647 335218 67 | 2.013 % |
886.81/886.72 c | 340967 | 17716 114668 393561 | 2147483647 337207 67 | 2.019 % |
896.71/896.63 c | 343220 | 17716 114668 393561 | 2147483647 339459 67 | 2.024 % |
907.22/907.15 c | 345698 | 17716 114668 393561 | 2147483647 341937 67 | 2.024 % |
921.42/921.39 c | 348423 | 17716 114668 393561 | 2147483647 344662 67 | 2.024 % |
935.22/935.20 c | 351420 | 17716 114668 393561 | 2147483647 347659 67 | 2.024 % |
951.52/951.50 c | 354716 | 17713 114621 393389 | 2147483647 350925 67 | 2.041 % |
952.02/951.95 c | 354817 | 17713 114621 393389 | 2147483647 351026 67 | 2.041 % |
952.52/952.46 c | 354927 | 17713 114621 393389 | 2147483647 351136 67 | 2.041 % |
953.22/953.20 c | 355049 | 17713 114621 393389 | 2147483647 351258 67 | 2.041 % |
954.12/954.04 c | 355182 | 17713 114621 393389 | 2147483647 351391 67 | 2.041 % |
955.02/954.92 c | 355330 | 17713 114621 393389 | 2147483647 351539 67 | 2.041 % |
956.03/955.96 c | 355490 | 17713 114621 393389 | 2147483647 351699 67 | 2.041 % |
956.72/956.64 c | 355666 | 17713 114621 393389 | 2147483647 351875 67 | 2.041 % |
957.52/957.47 c | 355859 | 17713 114621 393389 | 2147483647 352068 67 | 2.041 % |
958.62/958.60 c | 356072 | 17713 114621 393389 | 2147483647 352281 67 | 2.041 % |
959.92/959.83 c | 356307 | 17713 114621 393389 | 2147483647 352516 67 | 2.041 % |
961.02/960.93 c | 356563 | 17713 114621 393389 | 2147483647 352772 67 | 2.041 % |
962.02/961.98 c | 356848 | 17713 114621 393389 | 2147483647 353057 67 | 2.041 % |
963.62/963.58 c | 357157 | 17713 114621 393389 | 2147483647 353366 67 | 2.041 % |
965.22/965.21 c | 357497 | 17713 114621 393389 | 2147483647 353706 67 | 2.041 % |
967.22/967.13 c | 357869 | 17713 114621 393389 | 2147483647 354078 67 | 2.041 % |
969.23/969.21 c | 358279 | 17713 114621 393389 | 2147483647 354488 67 | 2.041 % |
971.22/971.12 c | 358731 | 17713 114621 393389 | 2147483647 354940 67 | 2.041 % |
973.92/973.84 c | 359225 | 17713 114621 393389 | 2147483647 355434 67 | 2.041 % |
976.93/976.88 c | 359767 | 17713 114621 393389 | 2147483647 355976 67 | 2.041 % |
979.22/979.17 c | 360363 | 17713 114621 393389 | 2147483647 356572 67 | 2.041 % |
982.22/982.13 c | 361018 | 17713 114621 393389 | 2147483647 357227 67 | 2.041 % |
985.63/985.61 c | 361739 | 17713 114621 393389 | 2147483647 357948 67 | 2.041 % |
989.63/989.52 c | 362531 | 17713 114621 393389 | 2147483647 358740 67 | 2.041 % |
993.73/993.69 c | 363403 | 17713 114621 393389 | 2147483647 359611 67 | 2.046 % |
997.23/997.15 c | 364361 | 17713 114621 393389 | 2147483647 360569 67 | 2.046 % |
1002.03/1002.01 c | 365414 | 17713 114621 393389 | 2147483647 361622 67 | 2.046 % |
1007.53/1007.50 c | 366572 | 17713 114621 393389 | 2147483647 362779 67 | 2.052 % |
1015.13/1015.10 c | 367845 | 17713 114621 393389 | 2147483647 364052 67 | 2.052 % |
1022.23/1022.14 c | 369245 | 17710 114550 393169 | 2147483647 365445 67 | 2.052 % |
1030.73/1030.62 c | 370786 | 17710 114550 393169 | 2147483647 366986 67 | 2.052 % |
1039.64/1039.61 c | 372481 | 17710 114550 393169 | 2147483647 368677 67 | 2.074 % |
1049.13/1049.09 c | 374345 | 17710 114550 393169 | 2147483647 370541 67 | 2.074 % |
1060.12/1060.06 c | 376395 | 17710 114550 393169 | 2147483647 372590 67 | 2.080 % |
1070.43/1070.40 c | 378648 | 17710 114550 393169 | 2147483647 374843 67 | 2.080 % |
1082.23/1082.14 c | 381126 | 17709 114550 393169 | 2147483647 377320 67 | 2.085 % |
1096.13/1096.04 c | 383852 | 17709 114550 393169 | 2147483647 380046 67 | 2.085 % |
1109.83/1109.79 c | 386852 | 17704 114466 392857 | 2147483647 382946 67 | 2.096 % |
1127.43/1127.32 c | 390148 | 17704 114466 392857 | 2147483647 386241 67 | 2.102 % |
1144.83/1144.71 c | 393774 | 17704 114466 392857 | 2147483647 389866 67 | 2.107 % |
1145.43/1145.31 c | 393875 | 17704 114466 392857 | 2147483647 389966 67 | 2.113 % |
1145.93/1145.89 c | 393985 | 17704 114466 392857 | 2147483647 390076 67 | 2.113 % |
1146.43/1146.38 c | 394106 | 17704 114466 392857 | 2147483647 390197 67 | 2.113 % |
1147.33/1147.25 c | 394239 | 17704 114466 392857 | 2147483647 390330 67 | 2.113 % |
1148.23/1148.15 c | 394385 | 17704 114466 392857 | 2147483647 390476 67 | 2.113 % |
1148.93/1148.85 c | 394545 | 17704 114466 392857 | 2147483647 390635 67 | 2.118 % |
1150.24/1150.15 c | 394721 | 17703 114466 392857 | 2147483647 390811 67 | 2.118 % |
1151.14/1151.08 c | 394914 | 17703 114466 392857 | 2147483647 391004 67 | 2.118 % |
1152.04/1151.93 c | 395127 | 17703 114466 392857 | 2147483647 391216 67 | 2.124 % |
1153.74/1153.67 c | 395362 | 17703 114466 392857 | 2147483647 391451 67 | 2.124 % |
1154.94/1154.86 c | 395618 | 17703 114466 392857 | 2147483647 391707 67 | 2.124 % |
1156.44/1156.41 c | 395901 | 17703 114466 392857 | 2147483647 391990 67 | 2.124 % |
1158.34/1158.24 c | 396210 | 17703 114466 392857 | 2147483647 392299 67 | 2.124 % |
1160.54/1160.51 c | 396549 | 17703 114466 392857 | 2147483647 392638 67 | 2.124 % |
1162.64/1162.60 c | 396921 | 17703 114466 392857 | 2147483647 393010 67 | 2.124 % |
1165.34/1165.27 c | 397332 | 17703 114466 392857 | 2147483647 393421 67 | 2.124 % |
1167.94/1167.91 c | 397781 | 17703 114466 392857 | 2147483647 393869 67 | 2.129 % |
1171.04/1170.99 c | 398274 | 17703 114466 392857 | 2147483647 394362 67 | 2.129 % |
1173.94/1173.86 c | 398817 | 17703 114466 392857 | 2147483647 394905 67 | 2.129 % |
1177.14/1177.03 c | 399413 | 17692 114362 392491 | 2147483647 395420 67 | 2.151 % |
1180.94/1180.87 c | 400068 | 17692 114362 392491 | 2147483647 396074 67 | 2.157 % |
1184.44/1184.40 c | 400788 | 17692 114362 392491 | 2147483647 396794 67 | 2.157 % |
1188.54/1188.51 c | 401582 | 17692 114362 392491 | 2147483647 397587 67 | 2.162 % |
1192.34/1192.29 c | 402453 | 17692 114362 392491 | 2147483647 398458 67 | 2.163 % |
1196.74/1196.67 c | 403411 | 17692 114362 392491 | 2147483647 399416 67 | 2.163 % |
1200.04/1199.92 HOME/SatELiteGTI: line 36: 20659 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-1820518-1242451127/watcher-1820518-1242451127 -o /tmp/evaluation-result-1820518-1242451127/solver-1820518-1242451127 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820518-1242451127.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 2/93 20653
/proc/meminfo: memFree=1198332/2074464 swapFree=1951868/1959888
[pid=20653] ppid=20651 vsize=2416 CPUtime=0.01
/proc/20653/stat : 20653 (SatELiteGTI) S 20651 20653 20977 0 -1 4194304 367 646 0 0 0 1 0 0 25 0 1 0 1009613838 2473984 277 4294967295 134512640 135169312 3213831232 3213829768 3085033198 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/20653/statm: 604 277 235 161 0 43 0
[pid=20657] ppid=20653 vsize=952 CPUtime=0
/proc/20657/stat : 20657 (SatELite_releas) R 20653 20653 20977 0 -1 4202496 94 0 0 0 0 0 0 0 25 0 1 0 1009613838 974848 30 4294967295 134512640 135223648 3215992384 3215992160 134651172 0 0 0 0 0 0 0 17 3 0 0 0
/proc/20657/statm: 238 41 32 174 0 63 0
[startup+0.044086 s]
/proc/loadavg: 0.92 0.98 0.99 2/93 20653
/proc/meminfo: memFree=1198332/2074464 swapFree=1951868/1959888
[pid=20653] ppid=20651 vsize=2416 CPUtime=0.01
/proc/20653/stat : 20653 (SatELiteGTI) S 20651 20653 20977 0 -1 4194304 367 646 0 0 0 1 0 0 25 0 1 0 1009613838 2473984 277 4294967295 134512640 135169312 3213831232 3213829768 3085033198 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/20653/statm: 604 277 235 161 0 43 0
[pid=20657] ppid=20653 vsize=7852 CPUtime=0.04
/proc/20657/stat : 20657 (SatELite_releas) R 20653 20653 20977 0 -1 4202496 1599 0 0 0 4 0 0 0 25 0 1 0 1009613838 8040448 1535 4294967295 134512640 135223648 3215992384 3215990952 134719062 0 0 0 3 0 0 0 17 3 0 0 0
/proc/20657/statm: 1963 1535 47 174 0 1788 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10268
[startup+0.114079 s]
/proc/loadavg: 0.92 0.98 0.99 2/93 20653
/proc/meminfo: memFree=1198332/2074464 swapFree=1951868/1959888
[pid=20653] ppid=20651 vsize=2416 CPUtime=0.01
/proc/20653/stat : 20653 (SatELiteGTI) S 20651 20653 20977 0 -1 4194304 367 646 0 0 0 1 0 0 25 0 1 0 1009613838 2473984 277 4294967295 134512640 135169312 3213831232 3213829768 3085033198 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/20653/statm: 604 277 235 161 0 43 0
[pid=20657] ppid=20653 vsize=18096 CPUtime=0.11
/proc/20657/stat : 20657 (SatELite_releas) R 20653 20653 20977 0 -1 4202496 3975 0 0 0 11 0 0 0 25 0 1 0 1009613838 18530304 3911 4294967295 134512640 135223648 3215992384 3215991336 134737310 0 0 0 3 0 0 0 17 3 0 0 0
/proc/20657/statm: 4524 3912 47 174 0 4349 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 20512
[startup+0.314059 s]
/proc/loadavg: 0.92 0.98 0.99 2/93 20653
/proc/meminfo: memFree=1198332/2074464 swapFree=1951868/1959888
[pid=20653] ppid=20651 vsize=2416 CPUtime=0.01
/proc/20653/stat : 20653 (SatELiteGTI) S 20651 20653 20977 0 -1 4194304 367 646 0 0 0 1 0 0 25 0 1 0 1009613838 2473984 277 4294967295 134512640 135169312 3213831232 3213829768 3085033198 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/20653/statm: 604 277 235 161 0 43 0
[pid=20657] ppid=20653 vsize=34816 CPUtime=0.31
/proc/20657/stat : 20657 (SatELite_releas) R 20653 20653 20977 0 -1 4202496 7168 0 0 0 29 2 0 0 25 0 1 0 1009613838 35651584 6930 4294967295 134512640 135223648 3215992384 3215990384 134549024 0 0 0 3 0 0 0 17 3 0 0 0
/proc/20657/statm: 8704 6930 73 174 0 8529 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 37232
[startup+0.71402 s]
/proc/loadavg: 0.92 0.98 0.99 2/93 20653
/proc/meminfo: memFree=1198332/2074464 swapFree=1951868/1959888
[pid=20653] ppid=20651 vsize=2416 CPUtime=0.01
/proc/20653/stat : 20653 (SatELiteGTI) S 20651 20653 20977 0 -1 4194304 367 646 0 0 0 1 0 0 25 0 1 0 1009613838 2473984 277 4294967295 134512640 135169312 3213831232 3213829768 3085033198 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/20653/statm: 604 277 235 161 0 43 0
[pid=20657] ppid=20653 vsize=37844 CPUtime=0.71
/proc/20657/stat : 20657 (SatELite_releas) R 20653 20653 20977 0 -1 4202496 7858 0 0 0 69 2 0 0 25 0 1 0 1009613838 38752256 7620 4294967295 134512640 135223648 3215992384 3215990052 134719062 0 0 0 3 0 0 0 17 3 0 0 0
/proc/20657/statm: 9461 7620 73 174 0 9286 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 40260
[startup+1.51394 s]
/proc/loadavg: 0.92 0.98 0.99 2/95 20658
/proc/meminfo: memFree=1162356/2074464 swapFree=1951868/1959888
[pid=20653] ppid=20651 vsize=2416 CPUtime=0.01
/proc/20653/stat : 20653 (SatELiteGTI) S 20651 20653 20977 0 -1 4194304 367 646 0 0 0 1 0 0 25 0 1 0 1009613838 2473984 277 4294967295 134512640 135169312 3213831232 3213829768 3085033198 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/20653/statm: 604 277 235 161 0 43 0
[pid=20657] ppid=20653 vsize=40424 CPUtime=1.51
/proc/20657/stat : 20657 (SatELite_releas) R 20653 20653 20977 0 -1 4202496 8760 0 0 0 148 3 0 0 25 0 1 0 1009613838 41394176 8182 4294967295 134512640 135223648 3215992384 3215990480 134596379 0 0 0 3 0 0 0 17 3 0 0 0
/proc/20657/statm: 10106 8182 73 174 0 9931 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 42840
[startup+3.11378 s]
/proc/loadavg: 0.93 0.98 0.99 3/95 20659
/proc/meminfo: memFree=1183436/2074464 swapFree=1951868/1959888
[pid=20653] ppid=20651 vsize=2420 CPUtime=1.7
/proc/20653/stat : 20653 (SatELiteGTI) S 20651 20653 20977 0 -1 4194304 386 9856 0 0 0 1 164 5 18 0 1 0 1009613838 2478080 278 4294967295 134512640 135169312 3213831232 3213827448 3085033198 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/20653/statm: 605 278 235 161 0 44 0
[pid=20659] ppid=20653 vsize=9312 CPUtime=1.42
/proc/20659/stat : 20659 (minisat_static) R 20653 20653 20977 0 -1 4202496 2244 0 0 0 141 1 0 0 25 0 1 0 1009614008 9535488 2179 4294967295 134512640 135215339 3219597840 3219596128 134528624 0 0 0 3 0 0 0 17 0 0 0 0
/proc/20659/statm: 2328 2179 73 172 0 2155 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 11732
[startup+6.31347 s]
/proc/loadavg: 0.93 0.98 0.99 3/95 20660
/proc/meminfo: memFree=1182608/2074464 swapFree=1951868/1959888
[pid=20653] ppid=20651 vsize=2420 CPUtime=1.7
/proc/20653/stat : 20653 (SatELiteGTI) S 20651 20653 20977 0 -1 4194304 386 9856 0 0 0 1 164 5 18 0 1 0 1009613838 2478080 278 4294967295 134512640 135169312 3213831232 3213827448 3085033198 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/20653/statm: 605 278 235 161 0 44 0
[pid=20659] ppid=20653 vsize=10120 CPUtime=4.62
/proc/20659/stat : 20659 (minisat_static) R 20653 20653 20977 0 -1 4202496 2439 0 0 0 461 1 0 0 25 0 1 0 1009614008 10362880 2374 4294967295 134512640 135215339 3219597840 3219596128 134528930 0 0 0 3 0 0 0 17 0 0 0 0
/proc/20659/statm: 2530 2374 73 172 0 2357 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 12540
[startup+12.7128 s]
/proc/loadavg: 0.94 0.98 0.99 3/95 20661
/proc/meminfo: memFree=1180532/2074464 swapFree=1951868/1959888
[pid=20653] ppid=20651 vsize=2420 CPUtime=1.7
/proc/20653/stat : 20653 (SatELiteGTI) S 20651 20653 20977 0 -1 4194304 386 9856 0 0 0 1 164 5 18 0 1 0 1009613838 2478080 278 4294967295 134512640 135169312 3213831232 3213827448 3085033198 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/20653/statm: 605 278 235 161 0 44 0
[pid=20659] ppid=20653 vsize=12120 CPUtime=11.02
/proc/20659/stat : 20659 (minisat_static) R 20653 20653 20977 0 -1 4202496 2925 0 0 0 1100 2 0 0 25 0 1 0 1009614008 12410880 2860 4294967295 134512640 135215339 3219597840 3219596128 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/20659/statm: 3030 2860 73 172 0 2857 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 14540
[startup+25.5116 s]
/proc/loadavg: 0.95 0.98 0.99 2/95 20845
/proc/meminfo: memFree=1176272/2074464 swapFree=1951868/1959888
[pid=20653] ppid=20651 vsize=2420 CPUtime=1.7
/proc/20653/stat : 20653 (SatELiteGTI) S 20651 20653 20977 0 -1 4194304 386 9856 0 0 0 1 164 5 18 0 1 0 1009613838 2478080 278 4294967295 134512640 135169312 3213831232 3213827448 3085033198 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/20653/statm: 605 278 235 161 0 44 0
[pid=20659] ppid=20653 vsize=15604 CPUtime=23.82
/proc/20659/stat : 20659 (minisat_static) R 20653 20653 20977 0 -1 4202496 3808 0 0 0 2378 4 0 0 25 0 1 0 1009614008 15978496 3743 4294967295 134512640 135215339 3219597840 3219596112 134525032 0 0 0 3 0 0 0 17 0 0 0 0
/proc/20659/statm: 3901 3743 73 172 0 3728 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 18024
[startup+51.1091 s]
/proc/loadavg: 0.96 0.98 0.99 2/95 20847
/proc/meminfo: memFree=1170264/2074464 swapFree=1951868/1959888
[pid=20653] ppid=20651 vsize=2420 CPUtime=1.7
/proc/20653/stat : 20653 (SatELiteGTI) S 20651 20653 20977 0 -1 4194304 386 9856 0 0 0 1 164 5 18 0 1 0 1009613838 2478080 278 4294967295 134512640 135169312 3213831232 3213827448 3085033198 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/20653/statm: 605 278 235 161 0 44 0
[pid=20659] ppid=20653 vsize=22080 CPUtime=49.42
/proc/20659/stat : 20659 (minisat_static) R 20653 20653 20977 0 -1 4202496 5417 0 0 0 4935 7 0 0 25 0 1 0 1009614008 22609920 5352 4294967295 134512640 135215339 3219597840 3219596128 134528884 0 0 0 3 0 0 0 17 0 0 0 0
/proc/20659/statm: 5520 5352 73 172 0 5347 0
Current children cumulated CPU time (s) 51.12
Current children cumulated vsize (KiB) 24500
[startup+102.314 s]
/proc/loadavg: 0.98 0.98 0.99 2/95 21037
/proc/meminfo: memFree=1160080/2074464 swapFree=1951868/1959888
[pid=20653] ppid=20651 vsize=2420 CPUtime=1.7
/proc/20653/stat : 20653 (SatELiteGTI) S 20651 20653 20977 0 -1 4194304 386 9856 0 0 0 1 164 5 18 0 1 0 1009613838 2478080 278 4294967295 134512640 135169312 3213831232 3213827448 3085033198 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/20653/statm: 605 278 235 161 0 44 0
[pid=20659] ppid=20653 vsize=31992 CPUtime=100.63
/proc/20659/stat : 20659 (minisat_static) R 20653 20653 20977 0 -1 4202496 7876 0 0 0 10054 9 0 0 25 0 1 0 1009614008 32759808 7811 4294967295 134512640 135215339 3219597840 3219596128 134528666 0 0 0 3 0 0 0 17 0 0 0 0
/proc/20659/statm: 7998 7811 73 172 0 7825 0
Current children cumulated CPU time (s) 102.33
Current children cumulated vsize (KiB) 34412
[startup+162.308 s]
/proc/loadavg: 0.99 0.98 0.99 2/95 21227
/proc/meminfo: memFree=1149440/2074464 swapFree=1951868/1959888
[pid=20653] ppid=20651 vsize=2420 CPUtime=1.7
/proc/20653/stat : 20653 (SatELiteGTI) S 20651 20653 20977 0 -1 4194304 386 9856 0 0 0 1 164 5 18 0 1 0 1009613838 2478080 278 4294967295 134512640 135169312 3213831232 3213827448 3085033198 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/20653/statm: 605 278 235 161 0 44 0
[pid=20659] ppid=20653 vsize=42536 CPUtime=160.63
/proc/20659/stat : 20659 (minisat_static) R 20653 20653 20977 0 -1 4202496 10501 0 0 0 16047 16 0 0 25 0 1 0 1009614008 43556864 10436 4294967295 134512640 135215339 3219597840 3219596128 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/20659/statm: 10634 10436 73 172 0 10461 0
Current children cumulated CPU time (s) 162.33
Current children cumulated vsize (KiB) 44956
[startup+222.312 s]
/proc/loadavg: 0.99 0.98 0.99 2/95 21414
/proc/meminfo: memFree=1140512/2074464 swapFree=1951868/1959888
[pid=20653] ppid=20651 vsize=2420 CPUtime=1.7
/proc/20653/stat : 20653 (SatELiteGTI) S 20651 20653 20977 0 -1 4194304 386 9856 0 0 0 1 164 5 18 0 1 0 1009613838 2478080 278 4294967295 134512640 135169312 3213831232 3213827448 3085033198 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/20653/statm: 605 278 235 161 0 44 0
[pid=20659] ppid=20653 vsize=51636 CPUtime=220.64
/proc/20659/stat : 20659 (minisat_static) R 20653 20653 20977 0 -1 4202496 12750 0 0 0 22047 17 0 0 25 0 1 0 1009614008 52875264 12685 4294967295 134512640 135215339 3219597840 3219596128 134528875 0 0 0 3 0 0 0 17 0 0 0 0
/proc/20659/statm: 12909 12685 73 172 0 12736 0
Current children cumulated CPU time (s) 222.34
Current children cumulated vsize (KiB) 54056
[startup+282.316 s]
/proc/loadavg: 0.99 0.98 0.99 2/95 21602
/proc/meminfo: memFree=1133320/2074464 swapFree=1951868/1959888
[pid=20653] ppid=20651 vsize=2420 CPUtime=1.7
/proc/20653/stat : 20653 (SatELiteGTI) S 20651 20653 20977 0 -1 4194304 386 9856 0 0 0 1 164 5 18 0 1 0 1009613838 2478080 278 4294967295 134512640 135169312 3213831232 3213827448 3085033198 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/20653/statm: 605 278 235 161 0 44 0
[pid=20659] ppid=20653 vsize=58900 CPUtime=280.65
/proc/20659/stat : 20659 (minisat_static) R 20653 20653 20977 0 -1 4202496 14553 0 0 0 28045 20 0 0 25 0 1 0 1009614008 60313600 14488 4294967295 134512640 135215339 3219597840 3219596128 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/20659/statm: 14725 14488 73 172 0 14552 0
Current children cumulated CPU time (s) 282.35
Current children cumulated vsize (KiB) 61320
[startup+342.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/95 21791
/proc/meminfo: memFree=1125888/2074464 swapFree=1951868/1959888
[pid=20653] ppid=20651 vsize=2420 CPUtime=1.7
/proc/20653/stat : 20653 (SatELiteGTI) S 20651 20653 20977 0 -1 4194304 386 9856 0 0 0 1 164 5 18 0 1 0 1009613838 2478080 278 4294967295 134512640 135169312 3213831232 3213827448 3085033198 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/20653/statm: 605 278 235 161 0 44 0
[pid=20659] ppid=20653 vsize=65844 CPUtime=340.65
/proc/20659/stat : 20659 (minisat_static) R 20653 20653 20977 0 -1 4202496 16322 0 0 0 34043 22 0 0 25 0 1 0 1009614008 67424256 16257 4294967295 134512640 135215339 3219597840 3219596128 134528624 0 0 0 3 0 0 0 17 0 0 0 0
/proc/20659/statm: 16461 16257 73 172 0 16288 0
Current children cumulated CPU time (s) 342.35
################
# More data... #
################
[pid=20659] ppid=20653 vsize=83576 CPUtime=520.67
/proc/20659/stat : 20659 (minisat_static) R 20653 20653 20977 0 -1 4202496 20661 0 0 0 52033 34 0 0 25 0 1 0 1009614008 85581824 20596 4294967295 134512640 135215339 3219597840 3219596128 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/20659/statm: 20894 20596 73 172 0 20721 0
Current children cumulated CPU time (s) 522.37
Current children cumulated vsize (KiB) 85996
[startup+582.317 s]
/proc/loadavg: 0.99 0.98 0.99 2/95 22547
/proc/meminfo: memFree=1103660/2074464 swapFree=1951868/1959888
[pid=20653] ppid=20651 vsize=2420 CPUtime=1.7
/proc/20653/stat : 20653 (SatELiteGTI) S 20651 20653 20977 0 -1 4194304 386 9856 0 0 0 1 164 5 18 0 1 0 1009613838 2478080 278 4294967295 134512640 135169312 3213831232 3213827448 3085033198 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/20653/statm: 605 278 235 161 0 44 0
[pid=20659] ppid=20653 vsize=88700 CPUtime=580.68
/proc/20659/stat : 20659 (minisat_static) R 20653 20653 20977 0 -1 4202496 21933 0 0 0 58028 40 0 0 25 0 1 0 1009614008 90828800 21868 4294967295 134512640 135215339 3219597840 3219596128 134528788 0 0 0 3 0 0 0 17 0 0 0 0
/proc/20659/statm: 22175 21868 73 172 0 22002 0
Current children cumulated CPU time (s) 582.38
Current children cumulated vsize (KiB) 91120
[startup+642.311 s]
/proc/loadavg: 0.99 0.98 0.99 3/95 22734
/proc/meminfo: memFree=1098972/2074464 swapFree=1951868/1959888
[pid=20653] ppid=20651 vsize=2420 CPUtime=1.7
/proc/20653/stat : 20653 (SatELiteGTI) S 20651 20653 20977 0 -1 4194304 386 9856 0 0 0 1 164 5 18 0 1 0 1009613838 2478080 278 4294967295 134512640 135169312 3213831232 3213827448 3085033198 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/20653/statm: 605 278 235 161 0 44 0
[pid=20659] ppid=20653 vsize=93372 CPUtime=640.68
/proc/20659/stat : 20659 (minisat_static) R 20653 20653 20977 0 -1 4202496 23092 0 0 0 64027 41 0 0 25 0 1 0 1009614008 95612928 23027 4294967295 134512640 135215339 3219597840 3219596128 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/20659/statm: 23343 23027 73 172 0 23170 0
Current children cumulated CPU time (s) 642.38
Current children cumulated vsize (KiB) 95792
[startup+702.305 s]
/proc/loadavg: 0.99 0.98 0.99 3/95 22923
/proc/meminfo: memFree=1093980/2074464 swapFree=1951868/1959888
[pid=20653] ppid=20651 vsize=2420 CPUtime=1.7
/proc/20653/stat : 20653 (SatELiteGTI) S 20651 20653 20977 0 -1 4194304 386 9856 0 0 0 1 164 5 18 0 1 0 1009613838 2478080 278 4294967295 134512640 135169312 3213831232 3213827448 3085033198 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/20653/statm: 605 278 235 161 0 44 0
[pid=20659] ppid=20653 vsize=98264 CPUtime=700.68
/proc/20659/stat : 20659 (minisat_static) R 20653 20653 20977 0 -1 4202496 24337 0 0 0 70027 41 0 0 25 0 1 0 1009614008 100622336 24272 4294967295 134512640 135215339 3219597840 3219596128 134528666 0 0 0 3 0 0 0 17 0 0 0 0
/proc/20659/statm: 24566 24272 73 172 0 24393 0
Current children cumulated CPU time (s) 702.38
Current children cumulated vsize (KiB) 100684
[startup+762.309 s]
/proc/loadavg: 0.99 0.98 0.99 3/95 23115
/proc/meminfo: memFree=1089780/2074464 swapFree=1951868/1959888
[pid=20653] ppid=20651 vsize=2420 CPUtime=1.7
/proc/20653/stat : 20653 (SatELiteGTI) S 20651 20653 20977 0 -1 4194304 386 9856 0 0 0 1 164 5 18 0 1 0 1009613838 2478080 278 4294967295 134512640 135169312 3213831232 3213827448 3085033198 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/20653/statm: 605 278 235 161 0 44 0
[pid=20659] ppid=20653 vsize=102676 CPUtime=760.69
/proc/20659/stat : 20659 (minisat_static) R 20653 20653 20977 0 -1 4202496 25419 0 0 0 76024 45 0 0 25 0 1 0 1009614008 105140224 25354 4294967295 134512640 135215339 3219597840 3219596128 134528788 0 0 0 3 0 0 0 17 0 0 0 0
/proc/20659/statm: 25669 25354 73 172 0 25496 0
Current children cumulated CPU time (s) 762.39
Current children cumulated vsize (KiB) 105096
[startup+822.323 s]
/proc/loadavg: 1.04 1.00 1.00 2/95 23302
/proc/meminfo: memFree=1085256/2074464 swapFree=1951868/1959888
[pid=20653] ppid=20651 vsize=2420 CPUtime=1.7
/proc/20653/stat : 20653 (SatELiteGTI) S 20651 20653 20977 0 -1 4194304 386 9856 0 0 0 1 164 5 18 0 1 0 1009613838 2478080 278 4294967295 134512640 135169312 3213831232 3213827448 3085033198 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/20653/statm: 605 278 235 161 0 44 0
[pid=20659] ppid=20653 vsize=107684 CPUtime=820.71
/proc/20659/stat : 20659 (minisat_static) R 20653 20653 20977 0 -1 4202496 26524 0 0 0 82026 45 0 0 25 0 1 0 1009614008 110268416 26459 4294967295 134512640 135215339 3219597840 3219595840 134532964 0 0 0 3 0 0 0 17 0 0 0 0
/proc/20659/statm: 26921 26459 73 172 0 26748 0
Current children cumulated CPU time (s) 822.41
Current children cumulated vsize (KiB) 110104
[startup+882.317 s]
/proc/loadavg: 1.01 1.00 1.00 2/95 23490
/proc/meminfo: memFree=1080512/2074464 swapFree=1951868/1959888
[pid=20653] ppid=20651 vsize=2420 CPUtime=1.7
/proc/20653/stat : 20653 (SatELiteGTI) S 20651 20653 20977 0 -1 4194304 386 9856 0 0 0 1 164 5 18 0 1 0 1009613838 2478080 278 4294967295 134512640 135169312 3213831232 3213827448 3085033198 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/20653/statm: 605 278 235 161 0 44 0
[pid=20659] ppid=20653 vsize=112144 CPUtime=880.71
/proc/20659/stat : 20659 (minisat_static) R 20653 20653 20977 0 -1 4202496 27652 0 0 0 88025 46 0 0 25 0 1 0 1009614008 114835456 27587 4294967295 134512640 135215339 3219597840 3219596048 134525922 0 0 0 3 0 0 0 17 0 0 0 0
/proc/20659/statm: 28036 27587 73 172 0 27863 0
Current children cumulated CPU time (s) 882.41
Current children cumulated vsize (KiB) 114564
[startup+942.321 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 23677
/proc/meminfo: memFree=1076692/2074464 swapFree=1951868/1959888
[pid=20653] ppid=20651 vsize=2420 CPUtime=1.7
/proc/20653/stat : 20653 (SatELiteGTI) S 20651 20653 20977 0 -1 4194304 386 9856 0 0 0 1 164 5 18 0 1 0 1009613838 2478080 278 4294967295 134512640 135169312 3213831232 3213827448 3085033198 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/20653/statm: 605 278 235 161 0 44 0
[pid=20659] ppid=20653 vsize=116088 CPUtime=940.72
/proc/20659/stat : 20659 (minisat_static) R 20653 20653 20977 0 -1 4202496 28612 0 0 0 94024 48 0 0 25 0 1 0 1009614008 118874112 28547 4294967295 134512640 135215339 3219597840 3219595840 134532626 0 0 0 3 0 0 0 17 0 0 0 0
/proc/20659/statm: 29022 28547 73 172 0 28849 0
Current children cumulated CPU time (s) 942.42
Current children cumulated vsize (KiB) 118508
[startup+1002.33 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 23866
/proc/meminfo: memFree=1072552/2074464 swapFree=1951868/1959888
[pid=20653] ppid=20651 vsize=2420 CPUtime=1.7
/proc/20653/stat : 20653 (SatELiteGTI) S 20651 20653 20977 0 -1 4194304 386 9856 0 0 0 1 164 5 18 0 1 0 1009613838 2478080 278 4294967295 134512640 135169312 3213831232 3213827448 3085033198 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/20653/statm: 605 278 235 161 0 44 0
[pid=20659] ppid=20653 vsize=120216 CPUtime=1000.73
/proc/20659/stat : 20659 (minisat_static) R 20653 20653 20977 0 -1 4202496 29650 0 0 0 100021 52 0 0 25 0 1 0 1009614008 123101184 29585 4294967295 134512640 135215339 3219597840 3219596128 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/20659/statm: 30054 29585 73 172 0 29881 0
Current children cumulated CPU time (s) 1002.43
Current children cumulated vsize (KiB) 122636
[startup+1062.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 24054
/proc/meminfo: memFree=1069368/2074464 swapFree=1951868/1959888
[pid=20653] ppid=20651 vsize=2420 CPUtime=1.7
/proc/20653/stat : 20653 (SatELiteGTI) S 20651 20653 20977 0 -1 4194304 386 9856 0 0 0 1 164 5 18 0 1 0 1009613838 2478080 278 4294967295 134512640 135169312 3213831232 3213827448 3085033198 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/20653/statm: 605 278 235 161 0 44 0
[pid=20659] ppid=20653 vsize=123600 CPUtime=1060.72
/proc/20659/stat : 20659 (minisat_static) R 20653 20653 20977 0 -1 4202496 30514 0 0 0 106019 53 0 0 25 0 1 0 1009614008 126566400 30449 4294967295 134512640 135215339 3219597840 3219596128 134528742 0 0 0 3 0 0 0 17 0 0 0 0
/proc/20659/statm: 30900 30449 73 172 0 30727 0
Current children cumulated CPU time (s) 1062.42
Current children cumulated vsize (KiB) 126020
[startup+1122.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 24245
/proc/meminfo: memFree=1066152/2074464 swapFree=1951868/1959888
[pid=20653] ppid=20651 vsize=2420 CPUtime=1.7
/proc/20653/stat : 20653 (SatELiteGTI) S 20651 20653 20977 0 -1 4194304 386 9856 0 0 0 1 164 5 18 0 1 0 1009613838 2478080 278 4294967295 134512640 135169312 3213831232 3213827448 3085033198 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/20653/statm: 605 278 235 161 0 44 0
[pid=20659] ppid=20653 vsize=126756 CPUtime=1120.73
/proc/20659/stat : 20659 (minisat_static) R 20653 20653 20977 0 -1 4202496 31311 0 0 0 112015 58 0 0 25 0 1 0 1009614008 129798144 31246 4294967295 134512640 135215339 3219597840 3219596128 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/20659/statm: 31689 31246 73 172 0 31516 0
Current children cumulated CPU time (s) 1122.43
Current children cumulated vsize (KiB) 129176
[startup+1182.32 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 24433
/proc/meminfo: memFree=1062888/2074464 swapFree=1951868/1959888
[pid=20653] ppid=20651 vsize=2420 CPUtime=1.7
/proc/20653/stat : 20653 (SatELiteGTI) S 20651 20653 20977 0 -1 4194304 386 9856 0 0 0 1 164 5 18 0 1 0 1009613838 2478080 278 4294967295 134512640 135169312 3213831232 3213827448 3085033198 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/20653/statm: 605 278 235 161 0 44 0
[pid=20659] ppid=20653 vsize=129996 CPUtime=1180.74
/proc/20659/stat : 20659 (minisat_static) R 20653 20653 20977 0 -1 4202496 32117 0 0 0 118014 60 0 0 25 0 1 0 1009614008 133115904 32052 4294967295 134512640 135215339 3219597840 3219596128 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/20659/statm: 32499 32052 73 172 0 32326 0
Current children cumulated CPU time (s) 1182.44
Current children cumulated vsize (KiB) 132416
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1199.92 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 24434
/proc/meminfo: memFree=1061968/2074464 swapFree=1951868/1959888
[pid=20653] ppid=20651 vsize=2420 CPUtime=1.7
/proc/20653/stat : 20653 (SatELiteGTI) S 20651 20653 20977 0 -1 4194304 386 9856 0 0 0 1 164 5 18 0 1 0 1009613838 2478080 278 4294967295 134512640 135169312 3213831232 3213827448 3085033198 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/20653/statm: 605 278 235 161 0 44 0
[pid=20659] ppid=20653 vsize=130908 CPUtime=1198.34
/proc/20659/stat : 20659 (minisat_static) R 20653 20653 20977 0 -1 4202496 32352 0 0 0 119773 61 0 0 25 0 1 0 1009614008 134049792 32287 4294967295 134512640 135215339 3219597840 3219596128 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/20659/statm: 32727 32287 73 172 0 32554 0
Current children cumulated CPU time (s) 1200.04
Current children cumulated vsize (KiB) 133328
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1199.92 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 24434
/proc/meminfo: memFree=1061968/2074464 swapFree=1951868/1959888
[pid=20653] ppid=20651 vsize=2420 CPUtime=1.7
/proc/20653/stat : 20653 (SatELiteGTI) S 20651 20653 20977 0 -1 4194304 386 9856 0 0 0 1 164 5 18 0 1 0 1009613838 2478080 278 4294967295 134512640 135169312 3213831232 3213827448 3085033198 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/20653/statm: 605 278 235 161 0 44 0
[pid=20659] ppid=20653 vsize=130908 CPUtime=1198.34
/proc/20659/stat : 20659 (minisat_static) R 20653 20653 20977 0 -1 4202496 32352 0 0 0 119773 61 0 0 25 0 1 0 1009614008 134049792 32287 4294967295 134512640 135215339 3219597840 3219596128 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/20659/statm: 32727 32287 73 172 0 32554 0
Current children cumulated CPU time (s) 1200.04
Current children cumulated vsize (KiB) 133328
Child status: 143
Real time (s): 1199.93
CPU time (s): 1200.05
CPU user time (s): 1199.37
CPU system time (s): 0.68
CPU usage (%): 100.01
Max. virtual memory (cumulated for all children) (KiB): 133328
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.37
system time used= 0.68
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42870
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= 22
involuntary context switches= 1227
runsolver used 0.02 second user time and 0.06 second system time
The end
Begin job on tipi10 at 2009-05-16 07:18:47
IDJOB=1820518
IDBENCH=20425
IDSOLVER=657
FILE ID=tipi10/1820518-1242451127
PBS_JOBID=
Free space on /tmp= 5404 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT07/industrial/palacios/medium/emptyroom-4-h21-unsat.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1820518-1242451127/watcher-1820518-1242451127 -o /tmp/evaluation-result-1820518-1242451127/solver-1820518-1242451127 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820518-1242451127.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 175ec3119584300988ad366c4a04cccc
RANDOM SEED= 350518051
Linux tipi10 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.367
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.367
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.77
processor : 2
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.367
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.77
processor : 3
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.367
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.77
/proc/meminfo:
MemTotal: 2074464 kB
MemFree: 1198356 kB
Buffers: 33400 kB
Cached: 741508 kB
SwapCached: 2896 kB
Active: 380928 kB
Inactive: 404072 kB
HighTotal: 1178688 kB
HighFree: 428152 kB
LowTotal: 895776 kB
LowFree: 770204 kB
SwapTotal: 1959888 kB
SwapFree: 1951868 kB
Dirty: 5012 kB
Writeback: 0 kB
AnonPages: 9184 kB
Mapped: 3388 kB
Slab: 81920 kB
PageTables: 620 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 2997120 kB
Committed_AS: 90592 kB
VmallocTotal: 114680 kB
VmallocUsed: 1324 kB
VmallocChunk: 113264 kB
Free space on /tmp at the end= 5404 MiB
End job on tipi10 at 2009-05-16 07:38:48