0.00/0.00 c Parsing...
0.00/0.56 c ==============================================================================
0.00/0.56 c | | ORIGINAL | LEARNT | |
0.00/0.56 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.56 c ==============================================================================
0.00/0.56 c | 0 | 324210 1229994 | 97262 0 0 nan | 0.000 % |
0.00/0.66 c | 0 | 317822 1204035 | -- 0 -- -- | -- | -5669/-22972
0.00/0.67 c ==============================================================================
0.00/0.67 c Result : #vars: 48560 #clauses: 317822 #literals: 1204035
0.00/0.67 c CPU time: 0.596909 s
0.00/0.67 c ==============================================================================
0.99/1.08 c This is MiniSat 2.0 beta
0.99/1.08 c WARNING: for repeatability, setting FPU to use double precision
0.99/1.08 c ============================[ Problem Statistics ]=============================
0.99/1.08 c | |
0.99/1.08 c | Number of variables: 48560 |
0.99/1.08 c | Number of clauses: 317822 |
1.07/1.41 c | Parsing time: 0.29 s |
1.07/1.44 c ============================[ Search Statistics ]==============================
1.07/1.44 c | Conflicts | ORIGINAL | LEARNT | Progress |
1.07/1.44 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1.07/1.44 c ===============================================================================
1.07/1.44 c | 0 | 48560 317822 1204035 | 105940 0 nan | 0.000 % |
1.07/1.49 c | 101 | 48560 317822 1204035 | 105940 101 4 | 0.000 % |
1.07/1.57 c | 202 | 48560 317822 1204035 | 105940 202 7 | 0.000 % |
1.07/1.58 c | 302 | 48560 317822 1204035 | 105940 302 8 | 0.000 % |
1.07/1.63 c | 413 | 48560 317822 1204035 | 105940 413 9 | 0.000 % |
1.07/1.75 c | 513 | 48560 317822 1204035 | 105940 513 14 | 0.000 % |
1.07/1.98 c | 623 | 48560 317822 1204035 | 105940 623 15 | 0.000 % |
1.07/2.05 c | 744 | 48560 317822 1204035 | 105940 744 21 | 0.000 % |
1.07/2.10 c | 844 | 48560 317822 1204035 | 105940 844 20 | 0.000 % |
2.07/2.12 c | 954 | 48560 317822 1204035 | 105940 954 20 | 0.000 % |
2.07/2.14 c | 1075 | 48560 317822 1204035 | 105940 1075 20 | 0.000 % |
2.07/2.15 c | 1210 | 48560 317822 1204035 | 105940 1210 18 | 0.000 % |
2.07/2.16 c | 1310 | 48560 317822 1204035 | 105940 1310 18 | 0.000 % |
2.26/2.33 c | 1420 | 48560 317822 1204035 | 105940 1420 21 | 0.000 % |
2.26/2.37 c | 1542 | 48560 317822 1204035 | 105940 1542 21 | 0.000 % |
2.26/2.39 c | 1676 | 48560 317822 1204035 | 105940 1676 20 | 0.000 % |
2.47/2.54 c | 1823 | 48560 317822 1204035 | 105940 1823 22 | 0.000 % |
2.47/2.58 c | 1923 | 48560 317822 1204035 | 105940 1923 21 | 0.000 % |
2.57/2.62 c | 2033 | 48560 317822 1204035 | 105940 2033 20 | 0.000 % |
2.57/2.64 c | 2156 | 48560 317822 1204035 | 105940 2156 19 | 0.000 % |
2.67/2.76 c | 2289 | 48560 317822 1204035 | 105940 2289 23 | 0.000 % |
2.87/2.99 c | 2435 | 48560 317822 1204035 | 105940 2435 25 | 0.000 % |
2.97/3.08 c | 2595 | 48560 317822 1204035 | 105940 2595 27 | 0.000 % |
3.07/3.12 c | 2696 | 48560 317822 1204035 | 105940 2696 26 | 0.000 % |
3.07/3.16 c | 2807 | 48560 317822 1204035 | 105940 2807 26 | 0.000 % |
3.07/3.19 c | 2928 | 48560 317822 1204035 | 105940 2928 25 | 0.000 % |
3.17/3.22 c | 3062 | 48560 317822 1204035 | 105940 3062 25 | 0.000 % |
3.27/3.30 c | 3209 | 48560 317822 1204035 | 105940 3209 24 | 0.000 % |
3.27/3.39 c | 3369 | 48560 317822 1204035 | 105940 3369 23 | 0.000 % |
3.37/3.42 c | 3546 | 48560 317822 1204035 | 105940 3546 23 | 0.000 % |
3.37/3.46 c | 3646 | 48560 317822 1204035 | 105940 3646 22 | 0.000 % |
3.47/3.50 c | 3756 | 48560 317822 1204035 | 105940 3756 22 | 0.000 % |
3.47/3.57 c | 3878 | 48560 317822 1204035 | 105940 3878 21 | 0.000 % |
3.57/3.69 c | 4011 | 48560 317822 1204035 | 105940 4011 22 | 0.000 % |
3.67/3.72 c | 4157 | 48560 317822 1204035 | 105940 4157 21 | 0.000 % |
3.77/3.82 c | 4317 | 48560 317822 1204035 | 105940 4317 21 | 0.000 % |
3.77/3.86 c | 4494 | 48560 317822 1204035 | 105940 4494 20 | 0.000 % |
3.77/3.89 c | 4687 | 48560 317822 1204035 | 105940 4687 20 | 0.000 % |
3.87/3.94 c | 4787 | 48560 317822 1204035 | 105940 4787 20 | 0.000 % |
3.87/3.97 c | 4900 | 48560 317822 1204035 | 105940 4900 20 | 0.000 % |
3.96/4.04 c | 5021 | 48560 317822 1204035 | 105940 5021 20 | 0.000 % |
4.06/4.10 c | 5154 | 48560 317822 1204035 | 105940 5154 19 | 0.000 % |
4.06/4.18 c | 5300 | 48560 317822 1204035 | 105940 5300 19 | 0.000 % |
4.27/4.33 c | 5460 | 48560 317822 1204035 | 105940 5460 19 | 0.000 % |
4.27/4.38 c | 5637 | 48560 317822 1204035 | 105940 5637 18 | 0.000 % |
4.37/4.46 c | 5830 | 48560 317822 1204035 | 105940 5830 18 | 0.000 % |
4.46/4.50 c | 6042 | 48560 317822 1204035 | 105940 6042 19 | 0.000 % |
4.46/4.53 c | 6143 | 48560 317822 1204035 | 105940 6143 19 | 0.000 % |
4.56/4.62 c | 6254 | 48560 317822 1204035 | 105940 6254 20 | 0.000 % |
4.76/4.84 c | 6375 | 48560 317822 1204035 | 105940 6375 24 | 0.000 % |
4.96/5.05 c | 6508 | 48560 317822 1204035 | 105940 6508 25 | 0.000 % |
5.06/5.11 c | 6655 | 48560 317822 1204035 | 105940 6655 25 | 0.000 % |
5.16/5.27 c | 6815 | 48560 317822 1204035 | 105940 6815 25 | 0.000 % |
5.26/5.36 c | 6992 | 48560 317822 1204035 | 105940 6992 25 | 0.000 % |
5.37/5.46 c | 7185 | 48560 317822 1204035 | 105940 7185 25 | 0.000 % |
5.56/5.68 c | 7397 | 48560 317822 1204035 | 105940 7397 25 | 0.000 % |
5.86/5.95 c | 7632 | 48560 317822 1204035 | 105940 7632 26 | 0.000 % |
5.86/5.98 c | 7732 | 48560 317822 1204035 | 105940 7732 26 | 0.000 % |
6.06/6.12 c | 7842 | 48560 317822 1204035 | 105940 7842 27 | 0.000 % |
6.16/6.23 c | 7964 | 48560 317822 1204035 | 105940 7964 28 | 0.000 % |
6.16/6.25 c | 8097 | 48560 317822 1204035 | 105940 8097 28 | 0.000 % |
6.26/6.36 c | 8244 | 48560 317822 1204035 | 105940 8244 29 | 0.000 % |
6.26/6.39 c | 8406 | 48560 317822 1204035 | 105940 8406 28 | 0.000 % |
6.36/6.44 c | 8583 | 48560 317822 1204035 | 105940 8583 28 | 0.000 % |
6.57/6.68 c | 8777 | 48560 317822 1204035 | 105940 8777 28 | 0.000 % |
6.96/7.01 c | 8989 | 48560 317822 1204035 | 105940 8989 28 | 0.000 % |
7.06/7.12 c | 9222 | 48560 317822 1204035 | 105940 9222 28 | 0.000 % |
7.36/7.48 c | 9478 | 48560 317822 1204035 | 105940 9478 30 | 0.000 % |
7.46/7.57 c | 9579 | 48559 317811 1203994 | 105940 9577 31 | 0.002 % |
7.66/7.78 c | 9689 | 48559 317811 1203994 | 105940 9687 30 | 0.002 % |
8.06/8.12 c | 9811 | 48559 317811 1203994 | 105940 9809 31 | 0.002 % |
8.16/8.23 c | 9944 | 48559 317811 1203994 | 105940 9942 31 | 0.002 % |
8.16/8.26 c | 10090 | 48559 317811 1203994 | 2147483647 10088 31 | 0.002 % |
8.16/8.30 c | 10250 | 48559 317811 1203994 | 2147483647 10248 30 | 0.002 % |
8.46/8.53 c | 10426 | 48559 317811 1203994 | 2147483647 10424 30 | 0.002 % |
8.56/8.64 c | 10619 | 48559 317811 1203994 | 2147483647 10617 30 | 0.002 % |
8.66/8.74 c | 10832 | 48559 317811 1203994 | 2147483647 10830 30 | 0.002 % |
8.86/8.94 c | 11065 | 48559 317811 1203994 | 2147483647 11063 29 | 0.002 % |
9.06/9.12 c | 11321 | 48559 317811 1203994 | 2147483647 11319 29 | 0.002 % |
9.26/9.39 c | 11603 | 48559 317811 1203994 | 2147483647 11601 29 | 0.002 % |
9.46/9.57 c | 11703 | 48559 317811 1203994 | 2147483647 11701 29 | 0.002 % |
9.86/9.96 c | 11813 | 48559 317811 1203994 | 2147483647 11811 29 | 0.002 % |
9.96/10.06 c | 11934 | 48559 317811 1203994 | 2147483647 11932 29 | 0.002 % |
10.06/10.18 c | 12068 | 48559 317811 1203994 | 2147483647 12066 29 | 0.002 % |
10.16/10.29 c | 12214 | 48558 317800 1203953 | 2147483647 12209 29 | 0.004 % |
10.26/10.39 c | 12374 | 48558 317800 1203953 | 2147483647 12369 28 | 0.004 % |
10.36/10.48 c | 12550 | 48558 317800 1203953 | 2147483647 12545 28 | 0.004 % |
10.46/10.54 c | 12744 | 48558 317800 1203953 | 2147483647 12739 28 | 0.004 % |
10.75/10.88 c | 12956 | 48558 317800 1203953 | 2147483647 12951 28 | 0.004 % |
10.86/10.95 c | 13191 | 48558 317800 1203953 | 2147483647 13186 28 | 0.004 % |
10.96/11.09 c | 13449 | 48558 317800 1203953 | 2147483647 13444 28 | 0.004 % |
11.15/11.21 c | 13731 | 48558 317800 1203953 | 2147483647 13726 27 | 0.004 % |
11.15/11.28 c | 14040 | 48558 317800 1203953 | 2147483647 14035 28 | 0.004 % |
11.25/11.30 c | 14140 | 48558 317800 1203953 | 2147483647 14135 28 | 0.004 % |
11.25/11.34 c | 14250 | 48558 317800 1203953 | 2147483647 14245 28 | 0.004 % |
11.56/11.67 c | 14371 | 48558 317800 1203953 | 2147483647 14366 27 | 0.004 % |
11.76/11.80 c | 14504 | 48558 317800 1203953 | 2147483647 14499 27 | 0.004 % |
11.76/11.83 c | 14651 | 48558 317800 1203953 | 2147483647 14646 27 | 0.004 % |
11.76/11.88 c | 14811 | 48558 317800 1203953 | 2147483647 14806 27 | 0.004 % |
11.86/11.96 c | 14987 | 48558 317800 1203953 | 2147483647 14982 27 | 0.004 % |
11.96/12.02 c | 15181 | 48558 317800 1203953 | 2147483647 15176 27 | 0.004 % |
12.16/12.23 c | 15394 | 48558 317800 1203953 | 2147483647 15389 27 | 0.004 % |
12.26/12.38 c | 15627 | 48558 317800 1203953 | 2147483647 15622 27 | 0.004 % |
12.45/12.56 c | 15884 | 48558 317800 1203953 | 2147483647 15879 27 | 0.004 % |
12.55/12.67 c | 16166 | 48558 317800 1203953 | 2147483647 16161 27 | 0.004 % |
12.85/12.97 c | 16475 | 48558 317800 1203953 | 2147483647 16470 27 | 0.004 % |
13.06/13.11 c | 16814 | 48558 317800 1203953 | 2147483647 16809 27 | 0.004 % |
13.06/13.16 c | 16914 | 48558 317800 1203953 | 2147483647 16909 27 | 0.004 % |
13.06/13.18 c | 17024 | 48558 317800 1203953 | 2147483647 17019 27 | 0.004 % |
13.16/13.24 c | 17145 | 48558 317800 1203953 | 2147483647 17140 27 | 0.004 % |
13.25/13.37 c | 17278 | 48558 317800 1203953 | 2147483647 17273 27 | 0.004 % |
13.45/13.50 c | 17424 | 48558 317800 1203953 | 2147483647 17419 27 | 0.004 % |
13.45/13.54 c | 17585 | 48558 317800 1203953 | 2147483647 17580 26 | 0.004 % |
13.65/13.76 c | 17761 | 48558 317800 1203953 | 2147483647 17756 27 | 0.004 % |
13.75/13.87 c | 17954 | 48558 317800 1203953 | 2147483647 17949 27 | 0.004 % |
13.85/13.95 c | 18167 | 48558 317800 1203953 | 2147483647 18162 27 | 0.004 % |
13.85/13.99 c | 18400 | 48558 317800 1203953 | 2147483647 18395 27 | 0.004 % |
14.26/14.31 c | 18656 | 48558 317800 1203953 | 2147483647 18651 28 | 0.004 % |
14.45/14.50 c | 18938 | 48558 317800 1203953 | 2147483647 18933 28 | 0.004 % |
14.65/14.78 c | 19247 | 48558 317800 1203953 | 2147483647 19242 28 | 0.004 % |
15.05/15.13 c | 19586 | 48557 317789 1203912 | 2147483647 19579 28 | 0.006 % |
15.45/15.54 c | 19958 | 48557 317789 1203912 | 2147483647 19951 27 | 0.006 % |
15.45/15.55 c | 20059 | 48557 317789 1203912 | 2147483647 20052 27 | 0.006 % |
15.55/15.65 c | 20171 | 48557 317789 1203912 | 2147483647 20164 27 | 0.006 % |
15.55/15.68 c | 20292 | 48557 317789 1203912 | 2147483647 20285 27 | 0.006 % |
15.65/15.72 c | 20427 | 48557 317789 1203912 | 2147483647 20420 27 | 0.006 % |
15.65/15.75 c | 20575 | 48557 317789 1203912 | 2147483647 20568 27 | 0.006 % |
15.75/15.82 c | 20735 | 48557 317789 1203912 | 2147483647 20728 27 | 0.006 % |
15.75/15.85 c | 20911 | 48557 317789 1203912 | 2147483647 20904 27 | 0.006 % |
15.75/15.88 c | 21104 | 48557 317789 1203912 | 2147483647 21097 27 | 0.006 % |
15.85/15.99 c | 21317 | 48557 317789 1203912 | 2147483647 21310 27 | 0.006 % |
15.95/16.09 c | 21550 | 48557 317789 1203912 | 2147483647 21543 26 | 0.006 % |
16.15/16.20 c | 21806 | 48557 317789 1203912 | 2147483647 21799 26 | 0.006 % |
16.25/16.33 c | 22087 | 48557 317789 1203912 | 2147483647 22080 26 | 0.006 % |
16.35/16.43 c | 22396 | 48557 317789 1203912 | 2147483647 22389 26 | 0.006 % |
16.45/16.53 c | 22735 | 48557 317789 1203912 | 2147483647 22728 26 | 0.006 % |
16.45/16.58 c | 23108 | 48557 317789 1203912 | 2147483647 23101 26 | 0.006 % |
16.75/16.82 c | 23518 | 48556 317789 1203912 | 2147483647 23510 26 | 0.008 % |
16.75/16.85 c | 23619 | 48556 317789 1203912 | 2147483647 23611 26 | 0.008 % |
16.85/16.93 c | 23730 | 48556 317789 1203912 | 2147483647 23722 25 | 0.008 % |
16.85/16.95 c | 23851 | 48556 317789 1203912 | 2147483647 23843 25 | 0.008 % |
16.85/16.97 c | 23985 | 48556 317789 1203912 | 2147483647 23977 25 | 0.008 % |
16.95/17.04 c | 24131 | 48556 317789 1203912 | 2147483647 24123 25 | 0.008 % |
17.05/17.12 c | 24291 | 48556 317789 1203912 | 2147483647 24283 25 | 0.008 % |
17.15/17.29 c | 24468 | 48556 317778 1203871 | 2147483647 24459 25 | 0.008 % |
17.25/17.36 c | 24661 | 48556 317778 1203871 | 2147483647 24652 25 | 0.008 % |
17.35/17.41 c | 24874 | 48556 317778 1203871 | 2147483647 24865 25 | 0.008 % |
17.45/17.57 c | 25107 | 48556 317778 1203871 | 2147483647 25098 25 | 0.008 % |
17.64/17.78 c | 25363 | 48556 317778 1203871 | 2147483647 25354 25 | 0.008 % |
17.74/17.87 c | 25645 | 48556 317778 1203871 | 2147483647 25636 25 | 0.008 % |
17.94/18.03 c | 25954 | 48556 317778 1203871 | 2147483647 25945 25 | 0.008 % |
18.04/18.15 c | 26294 | 48556 317778 1203871 | 2147483647 26285 25 | 0.008 % |
18.34/18.41 c | 26667 | 48556 317778 1203871 | 2147483647 26658 25 | 0.008 % |
18.44/18.59 c | 27076 | 48556 317778 1203871 | 2147483647 27067 25 | 0.008 % |
18.74/18.84 c | 27525 | 48556 317778 1203871 | 2147483647 27516 25 | 0.008 % |
18.74/18.87 c | 27627 | 48556 317778 1203871 | 2147483647 27618 25 | 0.008 % |
18.84/18.90 c | 27737 | 48556 317778 1203871 | 2147483647 27728 25 | 0.008 % |
18.84/18.94 c | 27858 | 48556 317778 1203871 | 2147483647 27849 25 | 0.008 % |
18.84/18.98 c | 27992 | 48556 317778 1203871 | 2147483647 27983 25 | 0.008 % |
19.04/19.15 c | 28138 | 48556 317778 1203871 | 2147483647 28129 25 | 0.008 % |
19.24/19.39 c | 28299 | 48556 317778 1203871 | 2147483647 28290 25 | 0.008 % |
19.44/19.50 c | 28475 | 48556 317778 1203871 | 2147483647 28466 25 | 0.008 % |
19.65/19.72 c | 28668 | 48556 317778 1203871 | 2147483647 28659 26 | 0.008 % |
19.94/20.04 c | 28880 | 48556 317778 1203871 | 2147483647 28871 26 | 0.008 % |
20.04/20.19 c | 29115 | 48556 317778 1203871 | 2147483647 29106 26 | 0.008 % |
20.54/20.69 c | 29371 | 48556 317778 1203871 | 2147483647 29362 26 | 0.008 % |
20.74/20.83 c | 29652 | 48556 317778 1203871 | 2147483647 29643 26 | 0.008 % |
20.84/20.96 c | 29963 | 48556 317778 1203871 | 2147483647 29954 26 | 0.008 % |
21.04/21.12 c | 30303 | 48556 317778 1203871 | 2147483647 30294 26 | 0.008 % |
21.44/21.51 c | 30675 | 48556 317778 1203871 | 2147483647 30666 26 | 0.008 % |
22.05/22.17 c | 31085 | 48556 317778 1203871 | 2147483647 31076 27 | 0.008 % |
22.55/22.63 c | 31535 | 48556 317778 1203871 | 2147483647 31526 28 | 0.008 % |
23.25/23.35 c | 32028 | 48556 317778 1203871 | 2147483647 32019 28 | 0.008 % |
23.25/23.39 c | 32129 | 48556 317778 1203871 | 2147483647 32120 28 | 0.008 % |
23.44/23.59 c | 32240 | 48556 317778 1203871 | 2147483647 32231 28 | 0.008 % |
23.54/23.66 c | 32362 | 48556 317778 1203871 | 2147483647 32353 28 | 0.008 % |
23.94/24.08 c | 32495 | 48556 317778 1203871 | 2147483647 32486 29 | 0.008 % |
24.94/25.03 c | 32641 | 48556 317778 1203871 | 2147483647 32632 30 | 0.008 % |
25.44/25.51 c | 32801 | 48556 317778 1203871 | 2147483647 32792 32 | 0.008 % |
25.94/26.03 c | 32978 | 48556 317778 1203871 | 2147483647 32969 33 | 0.008 % |
26.64/26.77 c | 33171 | 48556 317778 1203871 | 2147483647 33162 36 | 0.008 % |
27.14/27.24 c | 33386 | 48555 317767 1203830 | 2147483647 33375 36 | 0.010 % |
27.24/27.37 c | 33620 | 48555 317767 1203830 | 2147483647 33609 36 | 0.010 % |
27.34/27.46 c | 33876 | 48555 317767 1203830 | 2147483647 33865 36 | 0.010 % |
27.54/27.63 c | 34157 | 48555 317767 1203830 | 2147483647 34146 36 | 0.010 % |
27.54/27.69 c | 34467 | 48555 317767 1203830 | 2147483647 34456 36 | 0.010 % |
27.74/27.89 c | 34806 | 48555 317767 1203830 | 2147483647 34795 36 | 0.010 % |
28.14/28.29 c | 35178 | 48555 317767 1203830 | 2147483647 35167 36 | 0.010 % |
28.33/28.46 c | 35588 | 48555 317767 1203830 | 2147483647 35577 36 | 0.010 % |
28.63/28.72 c | 36037 | 48555 317767 1203830 | 2147483647 36026 36 | 0.010 % |
28.83/28.94 c | 36530 | 48555 317767 1203830 | 2147483647 36519 35 | 0.010 % |
29.74/29.89 c | 37075 | 48555 317767 1203830 | 2147483647 37064 36 | 0.010 % |
29.84/29.97 c | 37175 | 48555 317767 1203830 | 2147483647 37164 36 | 0.010 % |
30.14/30.21 c | 37285 | 48555 317767 1203830 | 2147483647 37274 36 | 0.010 % |
30.24/30.33 c | 37406 | 48555 317767 1203830 | 2147483647 37395 36 | 0.010 % |
30.65/30.76 c | 37539 | 48555 317767 1203830 | 2147483647 37528 36 | 0.010 % |
30.75/30.82 c | 37685 | 48555 317767 1203830 | 2147483647 37674 36 | 0.010 % |
30.84/30.93 c | 37845 | 48555 317767 1203830 | 2147483647 37834 36 | 0.010 % |
30.94/31.04 c | 38021 | 48555 317767 1203830 | 2147483647 38010 36 | 0.010 % |
31.04/31.14 c | 38215 | 48555 317767 1203830 | 2147483647 38204 36 | 0.010 % |
31.14/31.27 c | 38427 | 48555 317767 1203830 | 2147483647 38416 36 | 0.010 % |
31.24/31.37 c | 38660 | 48555 317767 1203830 | 2147483647 38649 36 | 0.010 % |
31.44/31.54 c | 38916 | 48555 317767 1203830 | 2147483647 38905 36 | 0.010 % |
32.23/32.37 c | 39198 | 48555 317767 1203830 | 2147483647 39187 37 | 0.010 % |
32.84/32.91 c | 39507 | 48555 317767 1203830 | 2147483647 39496 38 | 0.010 % |
33.43/33.56 c | 39846 | 48555 317767 1203830 | 2147483647 39835 38 | 0.010 % |
33.63/33.75 c | 40219 | 48555 317767 1203830 | 2147483647 40208 38 | 0.010 % |
33.73/33.84 c | 40628 | 48555 317767 1203830 | 2147483647 40617 37 | 0.010 % |
33.83/33.99 c | 41081 | 48555 317767 1203830 | 2147483647 41070 37 | 0.010 % |
34.03/34.18 c | 41574 | 48555 317767 1203830 | 2147483647 41563 37 | 0.010 % |
34.32/34.42 c | 42116 | 48555 317767 1203830 | 2147483647 42105 37 | 0.010 % |
34.62/34.72 c | 42712 | 48555 317767 1203830 | 2147483647 42701 36 | 0.010 % |
34.72/34.82 c | 42812 | 48555 317767 1203830 | 2147483647 42801 36 | 0.010 % |
34.82/34.92 c | 42922 | 48555 317767 1203830 | 2147483647 42911 36 | 0.010 % |
35.03/35.10 c | 43044 | 48555 317767 1203830 | 2147483647 43033 36 | 0.010 % |
35.03/35.16 c | 43177 | 48555 317767 1203830 | 2147483647 43166 36 | 0.010 % |
35.13/35.21 c | 43324 | 48555 317767 1203830 | 2147483647 43313 36 | 0.010 % |
35.13/35.26 c | 43484 | 48555 317767 1203830 | 2147483647 43473 36 | 0.010 % |
35.22/35.31 c | 43660 | 48555 317767 1203830 | 2147483647 43649 36 | 0.010 % |
35.52/35.63 c | 43853 | 48547 317455 1202854 | 2147483647 43826 36 | 0.027 % |
35.62/35.75 c | 44065 | 48547 317455 1202854 | 2147483647 44038 36 | 0.027 % |
35.72/35.85 c | 44298 | 48547 317455 1202854 | 2147483647 44271 36 | 0.027 % |
35.82/35.91 c | 44554 | 48547 317455 1202854 | 2147483647 44527 36 | 0.027 % |
35.92/36.01 c | 44835 | 48547 317455 1202854 | 2147483647 44808 35 | 0.027 % |
36.12/36.25 c | 45145 | 48547 317455 1202854 | 2147483647 45118 36 | 0.027 % |
36.42/36.55 c | 45484 | 48547 317455 1202854 | 2147483647 45457 35 | 0.027 % |
36.62/36.72 c | 45856 | 48547 317455 1202854 | 2147483647 45829 35 | 0.027 % |
37.02/37.17 c | 46267 | 48547 317455 1202854 | 2147483647 46240 35 | 0.027 % |
37.22/37.37 c | 46716 | 48546 317455 1202854 | 2147483647 46688 35 | 0.029 % |
37.81/37.97 c | 47210 | 48544 317455 1202854 | 2147483647 47180 35 | 0.033 % |
38.21/38.39 c | 47752 | 48543 317455 1202854 | 2147483647 47721 35 | 0.035 % |
38.81/38.91 c | 48349 | 48542 317455 1202854 | 2147483647 48317 35 | 0.037 % |
39.31/39.50 c | 49004 | 48541 317389 1202608 | 2147483647 48965 35 | 0.039 % |
39.42/39.58 c | 49104 | 48541 317389 1202608 | 2147483647 49065 35 | 0.039 % |
39.61/39.77 c | 49215 | 48541 317389 1202608 | 2147483647 49176 35 | 0.039 % |
39.81/39.97 c | 49337 | 48541 317389 1202608 | 2147483647 49298 35 | 0.039 % |
39.81/39.99 c | 49471 | 48541 317389 1202608 | 2147483647 49432 35 | 0.039 % |
39.91/40.01 c | 49617 | 48541 317389 1202608 | 2147483647 49578 35 | 0.039 % |
39.91/40.05 c | 49777 | 48541 317389 1202608 | 2147483647 49738 35 | 0.039 % |
40.01/40.14 c | 49953 | 48541 317389 1202608 | 2147483647 49914 35 | 0.039 % |
40.11/40.24 c | 50147 | 48541 317389 1202608 | 2147483647 50108 34 | 0.039 % |
40.21/40.37 c | 50359 | 48541 317389 1202608 | 2147483647 50320 34 | 0.039 % |
40.31/40.48 c | 50593 | 48541 317389 1202608 | 2147483647 50554 34 | 0.039 % |
40.61/40.74 c | 50849 | 48541 317389 1202608 | 2147483647 50810 34 | 0.039 % |
41.01/41.12 c | 51131 | 48541 317389 1202608 | 2147483647 51092 34 | 0.039 % |
41.21/41.38 c | 51440 | 48541 317389 1202608 | 2147483647 51401 34 | 0.039 % |
41.51/41.68 c | 51779 | 48541 317389 1202608 | 2147483647 51740 34 | 0.039 % |
41.81/41.96 c | 52151 | 48541 317389 1202608 | 2147483647 52112 34 | 0.039 % |
42.01/42.19 c | 52562 | 48541 317389 1202608 | 2147483647 52523 34 | 0.039 % |
42.51/42.64 c | 53011 | 48541 317389 1202608 | 2147483647 52972 34 | 0.039 % |
43.01/43.13 c | 53505 | 48541 317389 1202608 | 2147483647 53466 35 | 0.039 % |
43.41/43.53 c | 54048 | 48541 317389 1202608 | 2147483647 54009 35 | 0.039 % |
43.91/44.05 c | 54644 | 48531 317065 1201596 | 2147483647 54572 35 | 0.060 % |
44.91/45.09 c | 55299 | 48531 317065 1201596 | 2147483647 55227 35 | 0.060 % |
46.02/46.11 c | 56021 | 48531 317065 1201596 | 2147483647 55949 35 | 0.060 % |
46.12/46.22 c | 56121 | 48531 317065 1201596 | 2147483647 56049 35 | 0.060 % |
46.21/46.30 c | 56231 | 48531 317065 1201596 | 2147483647 56159 35 | 0.060 % |
46.21/46.39 c | 56352 | 48531 317065 1201596 | 2147483647 56280 35 | 0.060 % |
46.31/46.48 c | 56485 | 48531 317065 1201596 | 2147483647 56413 35 | 0.060 % |
46.41/46.57 c | 56631 | 48531 317065 1201596 | 2147483647 56559 35 | 0.060 % |
46.61/46.74 c | 56791 | 48531 317065 1201596 | 2147483647 56719 35 | 0.060 % |
46.71/46.85 c | 56967 | 48531 317065 1201596 | 2147483647 56895 35 | 0.060 % |
46.91/47.03 c | 57160 | 48531 317065 1201596 | 2147483647 57088 35 | 0.060 % |
47.11/47.30 c | 57372 | 48531 317065 1201596 | 2147483647 57300 35 | 0.060 % |
47.71/47.88 c | 57605 | 48531 317065 1201596 | 2147483647 57533 35 | 0.060 % |
48.41/48.54 c | 57861 | 48530 317054 1201555 | 2147483647 57787 36 | 0.062 % |
48.61/48.74 c | 58142 | 48530 317054 1201555 | 2147483647 58068 36 | 0.062 % |
48.91/49.01 c | 58451 | 48530 317054 1201555 | 2147483647 58377 36 | 0.062 % |
49.21/49.37 c | 58790 | 48530 317054 1201555 | 2147483647 58716 36 | 0.062 % |
49.51/49.60 c | 59162 | 48530 317054 1201555 | 2147483647 59088 36 | 0.062 % |
49.60/49.73 c | 59571 | 48530 317054 1201555 | 2147483647 59497 36 | 0.062 % |
50.20/50.31 c | 60020 | 48530 317054 1201555 | 2147483647 59946 36 | 0.062 % |
50.60/50.76 c | 60513 | 48530 317054 1201555 | 2147483647 60439 36 | 0.062 % |
51.70/51.87 c | 61056 | 48530 317054 1201555 | 2147483647 60982 37 | 0.062 % |
52.90/53.06 c | 61653 | 48530 317054 1201555 | 2147483647 61579 38 | 0.062 % |
55.10/55.21 c | 62308 | 48530 317054 1201555 | 2147483647 62234 41 | 0.062 % |
56.60/56.77 c | 63029 | 48530 317054 1201555 | 2147483647 62955 43 | 0.062 % |
63.00/63.16 c | 63822 | 48530 317054 1201555 | 2147483647 63748 46 | 0.062 % |
63.40/63.55 c | 63922 | 48530 317054 1201555 | 2147483647 63848 46 | 0.062 % |
63.60/63.73 c | 64032 | 48530 317054 1201555 | 2147483647 63958 47 | 0.062 % |
63.70/63.81 c | 64153 | 48530 317054 1201555 | 2147483647 64079 47 | 0.062 % |
64.00/64.18 c | 64286 | 48530 317054 1201555 | 2147483647 64212 47 | 0.062 % |
64.70/64.85 c | 64432 | 48530 317054 1201555 | 2147483647 64358 47 | 0.062 % |
64.80/64.96 c | 64592 | 48530 317054 1201555 | 2147483647 64518 47 | 0.062 % |
64.80/64.99 c | 64768 | 48530 317054 1201555 | 2147483647 64694 47 | 0.062 % |
64.90/65.04 c | 64961 | 48530 317054 1201555 | 2147483647 64887 47 | 0.062 % |
64.90/65.08 c | 65173 | 48530 317054 1201555 | 2147483647 65099 47 | 0.062 % |
65.00/65.14 c | 65407 | 48530 317054 1201555 | 2147483647 65333 46 | 0.062 % |
65.10/65.20 c | 65663 | 48530 317054 1201555 | 2147483647 65589 46 | 0.062 % |
65.10/65.27 c | 65944 | 48530 317054 1201555 | 2147483647 65870 46 | 0.062 % |
65.20/65.32 c | 66255 | 48530 317054 1201555 | 2147483647 66181 46 | 0.062 % |
65.30/65.44 c | 66594 | 48530 317054 1201555 | 2147483647 66520 46 | 0.062 % |
65.40/65.59 c | 66966 | 48530 317054 1201555 | 2147483647 66892 46 | 0.062 % |
65.50/65.66 c | 67375 | 48530 317054 1201555 | 2147483647 67301 45 | 0.062 % |
65.60/65.74 c | 67825 | 48530 317054 1201555 | 2147483647 67751 45 | 0.062 % |
66.00/66.15 c | 68318 | 48530 317054 1201555 | 2147483647 68244 45 | 0.062 % |
66.50/66.60 c | 68861 | 48530 317054 1201555 | 2147483647 68787 45 | 0.062 % |
66.60/66.70 c | 69457 | 48530 317054 1201555 | 2147483647 69383 45 | 0.062 % |
67.00/67.16 c | 70113 | 48530 317054 1201555 | 2147483647 70039 45 | 0.062 % |
68.00/68.10 c | 70833 | 48530 317054 1201555 | 2147483647 70759 45 | 0.062 % |
69.49/69.65 c | 71625 | 48530 317054 1201555 | 2147483647 71551 46 | 0.062 % |
75.28/75.43 c | 72496 | 48530 317054 1201555 | 2147483647 72422 50 | 0.062 % |
75.48/75.67 c | 72598 | 48530 317054 1201555 | 2147483647 72524 50 | 0.062 % |
75.69/75.82 c | 72708 | 48530 317054 1201555 | 2147483647 72634 50 | 0.062 % |
76.08/76.28 c | 72830 | 48530 317054 1201555 | 2147483647 72756 51 | 0.062 % |
76.28/76.44 c | 72963 | 48530 317054 1201555 | 2147483647 72889 51 | 0.062 % |
76.48/76.61 c | 73110 | 48530 317054 1201555 | 2147483647 73036 51 | 0.062 % |
76.90/77.01 c | 73270 | 48530 317054 1201555 | 2147483647 73196 51 | 0.062 % |
77.19/77.32 c | 73447 | 48530 317054 1201555 | 2147483647 73373 51 | 0.062 % |
77.29/77.46 c | 73640 | 48530 317054 1201555 | 2147483647 73566 51 | 0.062 % |
77.69/77.89 c | 73853 | 48530 317054 1201555 | 2147483647 73779 51 | 0.062 % |
77.90/78.04 c | 74086 | 48530 317054 1201555 | 2147483647 74012 51 | 0.062 % |
78.49/78.61 c | 74342 | 48530 317054 1201555 | 2147483647 74268 51 | 0.062 % |
78.89/79.04 c | 74624 | 48530 317054 1201555 | 2147483647 74550 51 | 0.062 % |
79.09/79.23 c | 74934 | 48530 317054 1201555 | 2147483647 74860 51 | 0.062 % |
79.28/79.40 c | 75273 | 48530 317054 1201555 | 2147483647 75199 51 | 0.062 % |
79.58/79.74 c | 75645 | 48530 317054 1201555 | 2147483647 75571 51 | 0.062 % |
79.98/80.15 c | 76055 | 48530 317054 1201555 | 2147483647 75981 51 | 0.062 % |
80.48/80.62 c | 76504 | 48530 317054 1201555 | 2147483647 76430 50 | 0.062 % |
80.68/80.86 c | 76998 | 48530 317054 1201555 | 2147483647 76924 50 | 0.062 % |
80.98/81.18 c | 77540 | 48530 317054 1201555 | 2147483647 77466 50 | 0.062 % |
83.38/83.50 c | 78136 | 48530 317054 1201555 | 2147483647 78062 53 | 0.062 % |
84.48/84.67 c | 78792 | 48530 317054 1201555 | 2147483647 78718 53 | 0.062 % |
85.58/85.73 c | 79512 | 48530 317054 1201555 | 2147483647 79438 54 | 0.062 % |
86.48/86.69 c | 80304 | 48530 317054 1201555 | 2147483647 80230 54 | 0.062 % |
87.28/87.44 c | 81176 | 48530 317054 1201555 | 2147483647 81102 54 | 0.062 % |
89.28/89.42 c | 82134 | 48530 317054 1201555 | 2147483647 82060 55 | 0.062 % |
89.38/89.53 c | 82235 | 48530 317054 1201555 | 2147483647 82161 55 | 0.062 % |
89.48/89.67 c | 82348 | 48530 317054 1201555 | 2147483647 82274 55 | 0.062 % |
89.68/89.83 c | 82469 | 48530 317054 1201555 | 2147483647 82395 55 | 0.062 % |
89.78/89.92 c | 82602 | 48530 317054 1201555 | 2147483647 82528 55 | 0.062 % |
89.88/90.09 c | 82748 | 48530 317054 1201555 | 2147483647 82674 55 | 0.062 % |
89.98/90.14 c | 82908 | 48530 317054 1201555 | 2147483647 82834 55 | 0.062 % |
90.28/90.44 c | 83085 | 48530 317054 1201555 | 2147483647 83011 55 | 0.062 % |
90.48/90.65 c | 83280 | 48530 317054 1201555 | 2147483647 83206 55 | 0.062 % |
90.68/90.86 c | 83492 | 48530 317054 1201555 | 2147483647 83418 55 | 0.062 % |
90.98/91.17 c | 83725 | 48530 317054 1201555 | 2147483647 83651 55 | 0.062 % |
91.18/91.36 c | 83983 | 48530 317054 1201555 | 2147483647 83909 55 | 0.062 % |
91.38/91.56 c | 84264 | 48530 317054 1201555 | 2147483647 84190 55 | 0.062 % |
93.47/93.64 c | 84574 | 48530 317054 1201555 | 2147483647 84500 56 | 0.062 % |
94.57/94.79 c | 84913 | 48530 317054 1201555 | 2147483647 84839 57 | 0.062 % |
94.87/95.05 c | 85287 | 48530 317054 1201555 | 2147483647 85213 57 | 0.062 % |
95.07/95.21 c | 85696 | 48530 317054 1201555 | 2147483647 85622 57 | 0.062 % |
97.27/97.49 c | 86146 | 48530 317054 1201555 | 2147483647 86072 58 | 0.062 % |
99.37/99.52 c | 86639 | 48529 317043 1201514 | 2147483647 86562 60 | 0.064 % |
101.66/101.81 c | 87183 | 48529 317043 1201514 | 2147483647 87106 62 | 0.064 % |
102.17/102.33 c | 87779 | 48529 317043 1201514 | 2147483647 87702 62 | 0.064 % |
102.96/103.17 c | 88436 | 48529 317043 1201514 | 2147483647 88359 62 | 0.064 % |
104.36/104.51 c | 89156 | 48529 317043 1201514 | 2147483647 89079 62 | 0.064 % |
105.67/105.87 c | 89948 | 48528 317043 1201514 | 2147483647 89870 62 | 0.066 % |
106.97/107.10 c | 90819 | 48527 317043 1201514 | 2147483647 90740 62 | 0.068 % |
108.17/108.38 c | 91778 | 48527 317043 1201514 | 2147483647 91699 62 | 0.068 % |
109.96/110.17 c | 92831 | 48527 317021 1201432 | 2147483647 92750 64 | 0.068 % |
110.16/110.37 c | 92931 | 48527 317021 1201432 | 2147483647 92850 64 | 0.068 % |
110.26/110.41 c | 93041 | 48527 317021 1201432 | 2147483647 92960 64 | 0.068 % |
110.26/110.44 c | 93162 | 48527 317021 1201432 | 2147483647 93081 64 | 0.068 % |
110.26/110.48 c | 93295 | 48527 317021 1201432 | 2147483647 93214 64 | 0.068 % |
110.36/110.59 c | 93441 | 48527 317021 1201432 | 2147483647 93360 64 | 0.068 % |
110.56/110.75 c | 93603 | 48527 317021 1201432 | 2147483647 93522 64 | 0.068 % |
111.06/111.25 c | 93780 | 48527 317021 1201432 | 2147483647 93699 64 | 0.068 % |
111.86/112.00 c | 93973 | 48527 317021 1201432 | 2147483647 93892 64 | 0.068 % |
112.26/112.49 c | 94186 | 48527 317021 1201432 | 2147483647 94105 65 | 0.068 % |
113.06/113.24 c | 94419 | 48527 317021 1201432 | 2147483647 94338 65 | 0.068 % |
113.46/113.63 c | 94675 | 48527 317021 1201432 | 2147483647 94594 66 | 0.068 % |
114.06/114.21 c | 94956 | 48527 317021 1201432 | 2147483647 94875 66 | 0.068 % |
114.46/114.69 c | 95266 | 48527 317021 1201432 | 2147483647 95185 66 | 0.068 % |
115.26/115.49 c | 95605 | 48527 317021 1201432 | 2147483647 95524 66 | 0.068 % |
115.96/116.10 c | 95977 | 48527 317021 1201432 | 2147483647 95896 67 | 0.068 % |
117.66/117.88 c | 96387 | 48527 317021 1201432 | 2147483647 96306 68 | 0.068 % |
118.36/118.57 c | 96836 | 48527 317021 1201432 | 2147483647 96755 68 | 0.068 % |
120.36/120.58 c | 97329 | 48527 317021 1201432 | 2147483647 97248 70 | 0.068 % |
123.06/123.29 c | 97871 | 48526 317010 1201391 | 2147483647 97788 72 | 0.070 % |
123.95/124.13 c | 98469 | 48526 317010 1201391 | 2147483647 98386 72 | 0.070 % |
127.05/127.28 c | 99124 | 48526 317010 1201391 | 2147483647 99041 74 | 0.070 % |
128.66/128.83 c | 99846 | 48526 317010 1201391 | 2147483647 99763 74 | 0.070 % |
130.86/131.02 c | 100638 | 48526 317010 1201391 | 2147483647 100555 75 | 0.070 % |
136.15/136.34 c | 101511 | 48526 317010 1201391 | 2147483647 101428 79 | 0.070 % |
138.45/138.66 c | 102470 | 48526 317010 1201391 | 2147483647 102387 79 | 0.070 % |
140.75/140.96 c | 103523 | 48526 317010 1201391 | 2147483647 103440 81 | 0.070 % |
143.35/143.57 c | 104683 | 48526 317010 1201391 | 2147483647 104600 82 | 0.070 % |
143.55/143.73 c | 104784 | 48526 317010 1201391 | 2147483647 104701 82 | 0.070 % |
143.65/143.80 c | 104894 | 48526 317010 1201391 | 2147483647 104811 82 | 0.070 % |
143.65/143.83 c | 105015 | 48526 317010 1201391 | 2147483647 104932 82 | 0.070 % |
143.65/143.89 c | 105149 | 48526 317010 1201391 | 2147483647 105066 82 | 0.070 % |
143.75/143.94 c | 105295 | 48526 317010 1201391 | 2147483647 105212 82 | 0.070 % |
143.75/143.97 c | 105455 | 48526 317010 1201391 | 2147483647 105372 81 | 0.070 % |
143.95/144.15 c | 105632 | 48526 317010 1201391 | 2147483647 105549 81 | 0.070 % |
144.64/144.85 c | 105826 | 48526 317010 1201391 | 2147483647 105743 82 | 0.070 % |
145.34/145.53 c | 106038 | 48526 317010 1201391 | 2147483647 105955 82 | 0.070 % |
146.54/146.74 c | 106272 | 48526 317010 1201391 | 2147483647 106189 82 | 0.070 % |
148.14/148.31 c | 106529 | 48526 317010 1201391 | 2147483647 106446 82 | 0.070 % |
148.84/149.04 c | 106811 | 48526 317010 1201391 | 2147483647 106728 83 | 0.070 % |
149.04/149.26 c | 107120 | 48526 317010 1201391 | 2147483647 107037 83 | 0.070 % |
149.44/149.69 c | 107461 | 48526 317010 1201391 | 2147483647 107378 82 | 0.070 % |
150.15/150.38 c | 107834 | 48526 317010 1201391 | 2147483647 107751 83 | 0.070 % |
151.14/151.39 c | 108244 | 48526 317010 1201391 | 2147483647 108161 83 | 0.070 % |
151.55/151.73 c | 108693 | 48526 317010 1201391 | 2147483647 108610 83 | 0.070 % |
151.55/151.80 c | 109186 | 48526 317010 1201391 | 2147483647 109103 82 | 0.070 % |
151.65/151.89 c | 109728 | 48526 317010 1201391 | 2147483647 109645 82 | 0.070 % |
151.84/152.06 c | 110324 | 48526 317010 1201391 | 2147483647 110241 82 | 0.070 % |
151.94/152.12 c | 110980 | 48526 317010 1201391 | 2147483647 110897 81 | 0.070 % |
152.14/152.30 c | 111700 | 48526 317010 1201391 | 2147483647 111617 81 | 0.070 % |
154.04/154.28 c | 112494 | 48526 317010 1201391 | 2147483647 112411 81 | 0.070 % |
156.44/156.62 c | 113365 | 48526 317010 1201391 | 2147483647 113282 82 | 0.070 % |
159.34/159.56 c | 114323 | 48526 317010 1201391 | 2147483647 114240 83 | 0.070 % |
163.64/163.81 c | 115377 | 48526 317010 1201391 | 2147483647 115294 85 | 0.070 % |
169.24/169.49 c | 116536 | 48526 317010 1201391 | 2147483647 116453 87 | 0.070 % |
175.42/175.69 c | 117809 | 48526 317010 1201391 | 2147483647 117726 90 | 0.070 % |
175.52/175.75 c | 117909 | 48526 317010 1201391 | 2147483647 117826 90 | 0.070 % |
175.62/175.88 c | 118019 | 48526 317010 1201391 | 2147483647 117936 90 | 0.070 % |
175.92/176.13 c | 118142 | 48526 317010 1201391 | 2147483647 118059 90 | 0.070 % |
176.23/176.45 c | 118275 | 48526 317010 1201391 | 2147483647 118192 90 | 0.070 % |
176.73/176.96 c | 118421 | 48526 317010 1201391 | 2147483647 118338 90 | 0.070 % |
177.23/177.46 c | 118581 | 48526 317010 1201391 | 2147483647 118498 90 | 0.070 % |
177.53/177.79 c | 118757 | 48526 317010 1201391 | 2147483647 118674 91 | 0.070 % |
178.42/178.66 c | 118951 | 48526 317010 1201391 | 2147483647 118868 91 | 0.070 % |
178.62/178.89 c | 119164 | 48526 317010 1201391 | 2147483647 119081 91 | 0.070 % |
179.42/179.65 c | 119397 | 48526 317010 1201391 | 2147483647 119314 91 | 0.070 % |
180.82/181.00 c | 119654 | 48526 317010 1201391 | 2147483647 119571 92 | 0.070 % |
181.22/181.44 c | 119935 | 48526 317010 1201391 | 2147483647 119852 92 | 0.070 % |
185.33/185.52 c | 120244 | 48526 317010 1201391 | 2147483647 120161 94 | 0.070 % |
188.52/188.74 c | 120583 | 48526 317010 1201391 | 2147483647 120500 95 | 0.070 % |
189.92/190.18 c | 120955 | 48526 317010 1201391 | 2147483647 120872 96 | 0.070 % |
191.32/191.52 c | 121365 | 48526 317010 1201391 | 2147483647 121282 96 | 0.070 % |
192.61/192.88 c | 121814 | 48526 317010 1201391 | 2147483647 121731 96 | 0.070 % |
193.42/193.63 c | 122307 | 48526 317010 1201391 | 2147483647 122224 96 | 0.070 % |
194.52/194.78 c | 122850 | 48526 317010 1201391 | 2147483647 122767 96 | 0.070 % |
198.02/198.20 c | 123446 | 48526 317010 1201391 | 2147483647 123363 99 | 0.070 % |
200.32/200.52 c | 124101 | 48525 316999 1201350 | 2147483647 124016 100 | 0.072 % |
200.52/200.73 c | 124821 | 48525 316999 1201350 | 2147483647 124736 100 | 0.072 % |
202.31/202.51 c | 125613 | 48525 316999 1201350 | 2147483647 125528 100 | 0.072 % |
205.01/205.23 c | 126484 | 48525 316999 1201350 | 2147483647 126399 101 | 0.072 % |
207.61/207.88 c | 127442 | 48525 316999 1201350 | 2147483647 127357 102 | 0.072 % |
211.21/211.47 c | 128495 | 48525 316999 1201350 | 2147483647 128410 102 | 0.072 % |
215.91/216.15 c | 129653 | 48525 316999 1201350 | 2147483647 129568 104 | 0.072 % |
219.50/219.79 c | 130926 | 48525 316999 1201350 | 2147483647 130841 105 | 0.072 % |
221.20/221.42 c | 132326 | 48524 316999 1201350 | 2147483647 132240 104 | 0.074 % |
221.40/221.60 c | 132427 | 48524 316999 1201350 | 2147483647 132341 104 | 0.074 % |
221.50/221.78 c | 132537 | 48524 316999 1201350 | 2147483647 132451 104 | 0.074 % |
221.60/221.88 c | 132659 | 48524 316999 1201350 | 2147483647 132573 104 | 0.074 % |
221.90/222.17 c | 132792 | 48524 316999 1201350 | 2147483647 132706 104 | 0.074 % |
222.09/222.33 c | 132939 | 48524 316999 1201350 | 2147483647 132853 104 | 0.074 % |
222.29/222.50 c | 133100 | 48524 316999 1201350 | 2147483647 133014 104 | 0.074 % |
222.70/222.92 c | 133276 | 48524 316999 1201350 | 2147483647 133190 104 | 0.074 % |
222.80/223.07 c | 133471 | 48524 316999 1201350 | 2147483647 133385 104 | 0.074 % |
223.11/223.33 c | 133683 | 48524 316999 1201350 | 2147483647 133597 104 | 0.074 % |
223.40/223.61 c | 133916 | 48524 316999 1201350 | 2147483647 133830 104 | 0.074 % |
224.21/224.45 c | 134173 | 48524 316999 1201350 | 2147483647 134087 104 | 0.074 % |
224.90/225.17 c | 134454 | 48524 316988 1201309 | 2147483647 134367 104 | 0.074 % |
225.40/225.63 c | 134764 | 48524 316988 1201309 | 2147483647 134677 104 | 0.074 % |
225.80/226.09 c | 135104 | 48524 316988 1201309 | 2147483647 135017 103 | 0.074 % |
226.10/226.36 c | 135476 | 48524 316988 1201309 | 2147483647 135389 103 | 0.074 % |
226.30/226.53 c | 135885 | 48524 316988 1201309 | 2147483647 135798 103 | 0.074 % |
227.90/228.14 c | 136334 | 48524 316988 1201309 | 2147483647 136247 103 | 0.074 % |
231.39/231.69 c | 136828 | 48524 316988 1201309 | 2147483647 136741 104 | 0.074 % |
234.39/234.63 c | 137370 | 48524 316988 1201309 | 2147483647 137283 106 | 0.074 % |
235.39/235.62 c | 137966 | 48524 316988 1201309 | 2147483647 137879 105 | 0.074 % |
236.50/236.73 c | 138621 | 48524 316988 1201309 | 2147483647 138534 106 | 0.074 % |
239.19/239.45 c | 139341 | 48524 316988 1201309 | 2147483647 139254 108 | 0.074 % |
239.79/240.09 c | 140135 | 48524 316988 1201309 | 2147483647 140048 108 | 0.074 % |
245.29/245.56 c | 141007 | 48524 316988 1201309 | 2147483647 140920 109 | 0.074 % |
248.18/248.48 c | 141967 | 48524 316988 1201309 | 2147483647 141880 110 | 0.074 % |
253.39/253.64 c | 143021 | 48524 316988 1201309 | 2147483647 142934 113 | 0.074 % |
255.59/255.82 c | 144181 | 48524 316988 1201309 | 2147483647 144094 113 | 0.074 % |
257.28/257.51 c | 145455 | 48524 316988 1201309 | 2147483647 145368 113 | 0.074 % |
268.28/268.59 c | 146855 | 48524 316988 1201309 | 2147483647 146768 117 | 0.074 % |
271.28/271.52 c | 148395 | 48524 316988 1201309 | 2147483647 148308 118 | 0.074 % |
271.98/272.23 c | 148495 | 48524 316988 1201309 | 2147483647 148408 119 | 0.074 % |
272.38/272.68 c | 148606 | 48524 316988 1201309 | 2147483647 148519 119 | 0.074 % |
272.58/272.88 c | 148727 | 48524 316988 1201309 | 2147483647 148640 119 | 0.074 % |
273.68/273.98 c | 148861 | 48524 316988 1201309 | 2147483647 148774 119 | 0.074 % |
274.08/274.39 c | 149007 | 48524 316988 1201309 | 2147483647 148920 119 | 0.074 % |
274.38/274.68 c | 149168 | 48524 316988 1201309 | 2147483647 149081 119 | 0.074 % |
274.48/274.74 c | 149344 | 48524 316988 1201309 | 2147483647 149257 119 | 0.074 % |
274.68/274.93 c | 149537 | 48524 316988 1201309 | 2147483647 149450 119 | 0.074 % |
274.88/275.17 c | 149749 | 48524 316988 1201309 | 2147483647 149662 119 | 0.074 % |
274.98/275.23 c | 149983 | 48524 316988 1201309 | 2147483647 149896 118 | 0.074 % |
274.98/275.28 c | 150239 | 48524 316988 1201309 | 2147483647 150152 118 | 0.074 % |
275.07/275.34 c | 150521 | 48524 316988 1201309 | 2147483647 150434 118 | 0.074 % |
275.27/275.51 c | 150830 | 48524 316988 1201309 | 2147483647 150743 118 | 0.074 % |
275.37/275.65 c | 151169 | 48524 316988 1201309 | 2147483647 151082 118 | 0.074 % |
276.77/277.08 c | 151541 | 48524 316988 1201309 | 2147483647 151454 118 | 0.074 % |
277.87/278.17 c | 151950 | 48524 316988 1201309 | 2147483647 151863 118 | 0.074 % |
278.67/278.93 c | 152401 | 48524 316988 1201309 | 2147483647 152314 118 | 0.074 % |
281.07/281.33 c | 152895 | 48524 316988 1201309 | 2147483647 152808 119 | 0.074 % |
283.87/284.14 c | 153437 | 48524 316988 1201309 | 2147483647 153350 120 | 0.074 % |
285.57/285.82 c | 154033 | 48524 316988 1201309 | 2147483647 153946 121 | 0.074 % |
287.57/287.89 c | 154688 | 48524 316988 1201309 | 2147483647 154601 121 | 0.074 % |
289.97/290.22 c | 155408 | 48524 316988 1201309 | 2147483647 155321 121 | 0.074 % |
293.16/293.45 c | 156200 | 48524 316988 1201309 | 2147483647 156113 123 | 0.074 % |
296.66/296.96 c | 157071 | 48524 316988 1201309 | 2147483647 156984 124 | 0.074 % |
300.57/300.83 c | 158029 | 48524 316988 1201309 | 2147483647 157942 125 | 0.074 % |
303.96/304.24 c | 159084 | 48524 316988 1201309 | 2147483647 158997 125 | 0.074 % |
308.65/308.95 c | 160243 | 48524 316988 1201309 | 2147483647 160156 127 | 0.074 % |
312.35/312.69 c | 161516 | 48524 316988 1201309 | 2147483647 161429 128 | 0.074 % |
312.95/313.24 c | 162916 | 48524 316988 1201309 | 2147483647 162829 127 | 0.074 % |
317.66/317.97 c | 164457 | 48524 316988 1201309 | 2147483647 164370 128 | 0.074 % |
321.15/321.44 c | 166152 | 48524 316988 1201309 | 2147483647 166065 129 | 0.074 % |
321.35/321.62 c | 166253 | 48524 316988 1201309 | 2147483647 166166 129 | 0.074 % |
321.45/321.74 c | 166363 | 48524 316988 1201309 | 2147483647 166276 128 | 0.074 % |
321.65/321.91 c | 166486 | 48524 316988 1201309 | 2147483647 166399 128 | 0.074 % |
321.95/322.22 c | 166619 | 48524 316988 1201309 | 2147483647 166532 128 | 0.074 % |
322.95/323.29 c | 166765 | 48524 316988 1201309 | 2147483647 166678 128 | 0.074 % |
323.65/323.94 c | 166926 | 48524 316988 1201309 | 2147483647 166839 128 | 0.074 % |
323.95/324.21 c | 167102 | 48524 316988 1201309 | 2147483647 167015 128 | 0.074 % |
324.25/324.52 c | 167295 | 48524 316988 1201309 | 2147483647 167208 128 | 0.074 % |
324.75/325.03 c | 167508 | 48524 316988 1201309 | 2147483647 167421 128 | 0.074 % |
325.05/325.38 c | 167742 | 48524 316988 1201309 | 2147483647 167655 128 | 0.074 % |
325.65/325.98 c | 167998 | 48524 316988 1201309 | 2147483647 167911 128 | 0.074 % |
325.95/326.26 c | 168279 | 48524 316988 1201309 | 2147483647 168192 128 | 0.074 % |
326.84/327.19 c | 168589 | 48524 316988 1201309 | 2147483647 168502 128 | 0.074 % |
327.94/328.24 c | 168929 | 48524 316988 1201309 | 2147483647 168842 128 | 0.074 % |
328.44/328.75 c | 169301 | 48524 316988 1201309 | 2147483647 169214 128 | 0.074 % |
329.44/329.73 c | 169712 | 48524 316988 1201309 | 2147483647 169625 129 | 0.074 % |
331.24/331.52 c | 170161 | 48524 316988 1201309 | 2147483647 170074 129 | 0.074 % |
332.94/333.22 c | 170654 | 48524 316988 1201309 | 2147483647 170567 129 | 0.074 % |
333.64/333.90 c | 171196 | 48524 316988 1201309 | 2147483647 171109 129 | 0.074 % |
335.85/336.14 c | 171793 | 48524 316988 1201309 | 2147483647 171706 130 | 0.074 % |
342.04/342.37 c | 172449 | 48524 316988 1201309 | 2147483647 172362 131 | 0.074 % |
347.73/348.09 c | 173170 | 48524 316988 1201309 | 2147483647 173083 131 | 0.074 % |
351.14/351.44 c | 173962 | 48524 316988 1201309 | 2147483647 173875 132 | 0.074 % |
354.44/354.75 c | 174833 | 48524 316988 1201309 | 2147483647 174746 133 | 0.074 % |
357.63/357.96 c | 175792 | 48524 316988 1201309 | 2147483647 175705 134 | 0.074 % |
363.13/363.44 c | 176845 | 48524 316988 1201309 | 2147483647 176758 135 | 0.074 % |
365.13/365.43 c | 178003 | 48524 316988 1201309 | 2147483647 177916 135 | 0.074 % |
368.42/368.79 c | 179276 | 48524 316988 1201309 | 2147483647 179189 135 | 0.074 % |
372.32/372.62 c | 180676 | 48524 316988 1201309 | 2147483647 180589 134 | 0.074 % |
386.22/386.56 c | 182216 | 48524 316988 1201309 | 2147483647 182129 140 | 0.074 % |
391.81/392.13 c | 183911 | 48524 316988 1201309 | 2147483647 183824 141 | 0.074 % |
397.62/397.97 c | 185774 | 48524 316988 1201309 | 2147483647 185687 142 | 0.074 % |
397.92/398.26 c | 185875 | 48524 316988 1201309 | 2147483647 185788 142 | 0.074 % |
398.12/398.41 c | 185985 | 48524 316988 1201309 | 2147483647 185898 142 | 0.074 % |
398.32/398.66 c | 186107 | 48524 316988 1201309 | 2147483647 186020 142 | 0.074 % |
398.62/398.93 c | 186240 | 48524 316988 1201309 | 2147483647 186153 141 | 0.074 % |
398.82/399.12 c | 186386 | 48524 316988 1201309 | 2147483647 186299 141 | 0.074 % |
398.92/399.27 c | 186546 | 48524 316988 1201309 | 2147483647 186459 141 | 0.074 % |
399.12/399.42 c | 186722 | 48524 316988 1201309 | 2147483647 186635 141 | 0.074 % |
399.72/400.06 c | 186916 | 48524 316988 1201309 | 2147483647 186829 141 | 0.074 % |
400.22/400.58 c | 187128 | 48524 316988 1201309 | 2147483647 187041 141 | 0.074 % |
400.62/400.92 c | 187361 | 48524 316988 1201309 | 2147483647 187274 141 | 0.074 % |
402.22/402.52 c | 187618 | 48524 316988 1201309 | 2147483647 187531 142 | 0.074 % |
404.81/405.13 c | 187899 | 48524 316988 1201309 | 2147483647 187812 142 | 0.074 % |
405.01/405.37 c | 188209 | 48524 316988 1201309 | 2147483647 188122 141 | 0.074 % |
405.91/406.25 c | 188548 | 48524 316988 1201309 | 2147483647 188461 141 | 0.074 % |
406.51/406.84 c | 188921 | 48524 316988 1201309 | 2147483647 188834 141 | 0.074 % |
407.91/408.23 c | 189331 | 48524 316988 1201309 | 2147483647 189244 141 | 0.074 % |
409.70/410.08 c | 189780 | 48524 316988 1201309 | 2147483647 189693 142 | 0.074 % |
410.70/411.02 c | 190273 | 48524 316988 1201309 | 2147483647 190186 142 | 0.074 % |
413.90/414.30 c | 190816 | 48524 316988 1201309 | 2147483647 190729 143 | 0.074 % |
416.81/417.13 c | 191412 | 48524 316988 1201309 | 2147483647 191325 144 | 0.074 % |
418.71/419.08 c | 192067 | 48524 316988 1201309 | 2147483647 191980 144 | 0.074 % |
420.80/421.14 c | 192788 | 48524 316988 1201309 | 2147483647 192701 144 | 0.074 % |
423.90/424.26 c | 193580 | 48524 316988 1201309 | 2147483647 193493 145 | 0.074 % |
425.99/426.36 c | 194452 | 48524 316988 1201309 | 2147483647 194365 145 | 0.074 % |
427.79/428.20 c | 195411 | 48524 316988 1201309 | 2147483647 195324 145 | 0.074 % |
430.90/431.27 c | 196466 | 48524 316988 1201309 | 2147483647 196379 145 | 0.074 % |
434.60/434.98 c | 197625 | 48524 316988 1201309 | 2147483647 197538 145 | 0.074 % |
438.39/438.72 c | 198899 | 48524 316988 1201309 | 2147483647 198812 145 | 0.074 % |
443.08/443.40 c | 200301 | 48524 316988 1201309 | 2147483647 200214 146 | 0.074 % |
448.98/449.38 c | 201843 | 48524 316988 1201309 | 2147483647 201756 147 | 0.074 % |
454.07/454.48 c | 203537 | 48524 316988 1201309 | 2147483647 203450 148 | 0.074 % |
466.07/466.49 c | 205401 | 48524 316988 1201309 | 2147483647 205314 151 | 0.074 % |
471.16/471.54 c | 207450 | 48524 316988 1201309 | 2147483647 207363 151 | 0.074 % |
471.26/471.62 c | 207550 | 48524 316988 1201309 | 2147483647 207463 150 | 0.074 % |
471.66/472.09 c | 207660 | 48524 316988 1201309 | 2147483647 207573 151 | 0.074 % |
472.06/472.48 c | 207782 | 48524 316988 1201309 | 2147483647 207695 151 | 0.074 % |
472.36/472.70 c | 207916 | 48524 316988 1201309 | 2147483647 207829 150 | 0.074 % |
472.57/472.92 c | 208063 | 48524 316988 1201309 | 2147483647 207976 150 | 0.074 % |
473.06/473.41 c | 208224 | 48524 316988 1201309 | 2147483647 208137 150 | 0.074 % |
473.46/473.82 c | 208400 | 48524 316988 1201309 | 2147483647 208313 150 | 0.074 % |
473.86/474.28 c | 208593 | 48524 316988 1201309 | 2147483647 208506 150 | 0.074 % |
474.26/474.64 c | 208805 | 48524 316988 1201309 | 2147483647 208718 150 | 0.074 % |
475.56/475.99 c | 209039 | 48524 316988 1201309 | 2147483647 208952 151 | 0.074 % |
476.57/476.97 c | 209297 | 48524 316988 1201309 | 2147483647 209210 151 | 0.074 % |
478.07/478.42 c | 209578 | 48524 316988 1201309 | 2147483647 209491 151 | 0.074 % |
478.57/478.98 c | 209887 | 48524 316988 1201309 | 2147483647 209800 151 | 0.074 % |
478.97/479.40 c | 210226 | 48524 316988 1201309 | 2147483647 210139 151 | 0.074 % |
480.16/480.56 c | 210598 | 48524 316988 1201309 | 2147483647 210511 151 | 0.074 % |
483.26/483.67 c | 211008 | 48524 316988 1201309 | 2147483647 210921 152 | 0.074 % |
485.25/485.65 c | 211457 | 48524 316988 1201309 | 2147483647 211370 152 | 0.074 % |
486.15/486.56 c | 211951 | 48524 316988 1201309 | 2147483647 211864 152 | 0.074 % |
488.55/488.97 c | 212493 | 48524 316988 1201309 | 2147483647 212406 153 | 0.074 % |
490.85/491.23 c | 213090 | 48524 316988 1201309 | 2147483647 213003 153 | 0.074 % |
492.25/492.68 c | 213746 | 48524 316988 1201309 | 2147483647 213659 153 | 0.074 % |
494.95/495.38 c | 214466 | 48524 316988 1201309 | 2147483647 214379 153 | 0.074 % |
499.34/499.76 c | 215258 | 48524 316988 1201309 | 2147483647 215171 153 | 0.074 % |
501.84/502.27 c | 216129 | 48524 316988 1201309 | 2147483647 216042 153 | 0.074 % |
503.84/504.20 c | 217088 | 48524 316988 1201309 | 2147483647 217001 153 | 0.074 % |
506.44/506.88 c | 218143 | 48524 316988 1201309 | 2147483647 218056 153 | 0.074 % |
510.14/510.58 c | 219301 | 48524 316988 1201309 | 2147483647 219214 153 | 0.074 % |
514.94/515.38 c | 220577 | 48524 316988 1201309 | 2147483647 220490 154 | 0.074 % |
520.34/520.74 c | 221977 | 48524 316988 1201309 | 2147483647 221890 155 | 0.074 % |
523.93/524.32 c | 223518 | 48524 316988 1201309 | 2147483647 223431 155 | 0.074 % |
528.74/529.17 c | 225215 | 48524 316988 1201309 | 2147483647 225128 156 | 0.074 % |
532.13/532.50 c | 227079 | 48524 316988 1201309 | 2147483647 226992 155 | 0.074 % |
542.53/542.91 c | 229129 | 48524 316988 1201309 | 2147483647 229042 157 | 0.074 % |
550.43/550.83 c | 231384 | 48523 316977 1201268 | 2147483647 231295 158 | 0.076 % |
550.53/550.91 c | 231484 | 48523 316977 1201268 | 2147483647 231395 158 | 0.076 % |
550.73/551.18 c | 231594 | 48523 316977 1201268 | 2147483647 231505 158 | 0.076 % |
551.03/551.43 c | 231716 | 48523 316977 1201268 | 2147483647 231627 158 | 0.076 % |
552.23/552.67 c | 231849 | 48523 316977 1201268 | 2147483647 231760 158 | 0.076 % |
553.03/553.46 c | 231995 | 48523 316977 1201268 | 2147483647 231906 158 | 0.076 % |
553.62/554.08 c | 232155 | 48523 316977 1201268 | 2147483647 232066 158 | 0.076 % |
554.62/555.09 c | 232332 | 48523 316977 1201268 | 2147483647 232243 158 | 0.076 % |
554.92/555.40 c | 232525 | 48523 316977 1201268 | 2147483647 232436 158 | 0.076 % |
555.42/555.89 c | 232737 | 48523 316977 1201268 | 2147483647 232648 158 | 0.076 % |
556.13/556.51 c | 232970 | 48523 316977 1201268 | 2147483647 232881 158 | 0.076 % |
557.12/557.59 c | 233227 | 48523 316977 1201268 | 2147483647 233138 159 | 0.076 % |
557.72/558.13 c | 233508 | 48523 316977 1201268 | 2147483647 233419 158 | 0.076 % |
558.02/558.44 c | 233818 | 48523 316977 1201268 | 2147483647 233729 158 | 0.076 % |
559.92/560.35 c | 234157 | 48523 316977 1201268 | 2147483647 234068 159 | 0.076 % |
561.62/562.02 c | 234529 | 48523 316977 1201268 | 2147483647 234440 159 | 0.076 % |
563.52/563.91 c | 234938 | 48523 316977 1201268 | 2147483647 234849 159 | 0.076 % |
566.02/566.41 c | 235388 | 48523 316977 1201268 | 2147483647 235299 159 | 0.076 % |
568.42/568.81 c | 235881 | 48523 316977 1201268 | 2147483647 235792 160 | 0.076 % |
570.52/570.97 c | 236423 | 48523 316977 1201268 | 2147483647 236334 160 | 0.076 % |
573.21/573.63 c | 237020 | 48523 316977 1201268 | 2147483647 236931 161 | 0.076 % |
574.31/574.70 c | 237676 | 48523 316977 1201268 | 2147483647 237587 161 | 0.076 % |
574.91/575.38 c | 238397 | 48523 316977 1201268 | 2147483647 238308 160 | 0.076 % |
576.62/577.08 c | 239189 | 48523 316977 1201268 | 2147483647 239100 160 | 0.076 % |
579.92/580.35 c | 240060 | 48523 316977 1201268 | 2147483647 239971 160 | 0.076 % |
583.81/584.29 c | 241019 | 48523 316977 1201268 | 2147483647 240930 160 | 0.076 % |
586.31/586.76 c | 242072 | 48523 316977 1201268 | 2147483647 241983 160 | 0.076 % |
589.50/589.94 c | 243230 | 48523 316977 1201268 | 2147483647 243141 160 | 0.076 % |
597.01/597.41 c | 244505 | 48523 316977 1201268 | 2147483647 244416 162 | 0.076 % |
603.50/603.95 c | 245905 | 48523 316977 1201268 | 2147483647 245816 163 | 0.076 % |
607.80/608.27 c | 247446 | 48523 316977 1201268 | 2147483647 247357 164 | 0.076 % |
615.79/616.22 c | 249141 | 48523 316977 1201268 | 2147483647 249052 165 | 0.076 % |
622.89/623.31 c | 251006 | 48523 316977 1201268 | 2147483647 250917 166 | 0.076 % |
632.68/633.19 c | 253055 | 48523 316977 1201268 | 2147483647 252966 167 | 0.076 % |
637.18/637.68 c | 255308 | 48523 316977 1201268 | 2147483647 255219 166 | 0.076 % |
650.08/650.50 c | 257787 | 48523 316977 1201268 | 2147483647 257698 169 | 0.076 % |
650.08/650.58 c | 257887 | 48523 316977 1201268 | 2147483647 257798 169 | 0.076 % |
650.18/650.68 c | 257997 | 48523 316977 1201268 | 2147483647 257908 169 | 0.076 % |
650.48/650.97 c | 258121 | 48523 316977 1201268 | 2147483647 258032 169 | 0.076 % |
650.58/651.07 c | 258255 | 48523 316977 1201268 | 2147483647 258166 169 | 0.076 % |
651.18/651.64 c | 258402 | 48523 316977 1201268 | 2147483647 258313 169 | 0.076 % |
652.08/652.55 c | 258562 | 48523 316977 1201268 | 2147483647 258473 169 | 0.076 % |
652.38/652.80 c | 258739 | 48523 316977 1201268 | 2147483647 258650 169 | 0.076 % |
652.88/653.35 c | 258933 | 48523 316977 1201268 | 2147483647 258844 169 | 0.076 % |
653.28/653.78 c | 259145 | 48523 316977 1201268 | 2147483647 259056 169 | 0.076 % |
654.47/654.94 c | 259379 | 48523 316977 1201268 | 2147483647 259290 169 | 0.076 % |
655.47/655.97 c | 259636 | 48523 316977 1201268 | 2147483647 259547 169 | 0.076 % |
657.67/658.16 c | 259917 | 48523 316977 1201268 | 2147483647 259828 169 | 0.076 % |
658.37/658.82 c | 260226 | 48523 316977 1201268 | 2147483647 260137 169 | 0.076 % |
660.37/660.87 c | 260566 | 48523 316977 1201268 | 2147483647 260477 169 | 0.076 % |
662.07/662.55 c | 260938 | 48523 316977 1201268 | 2147483647 260849 169 | 0.076 % |
662.88/663.34 c | 261348 | 48523 316977 1201268 | 2147483647 261259 169 | 0.076 % |
664.57/665.06 c | 261798 | 48523 316977 1201268 | 2147483647 261709 169 | 0.076 % |
665.27/665.72 c | 262291 | 48523 316977 1201268 | 2147483647 262202 169 | 0.076 % |
665.37/665.84 c | 262833 | 48523 316977 1201268 | 2147483647 262744 169 | 0.076 % |
666.27/666.74 c | 263431 | 48523 316977 1201268 | 2147483647 263342 169 | 0.076 % |
668.77/669.22 c | 264086 | 48523 316977 1201268 | 2147483647 263997 169 | 0.076 % |
669.57/670.05 c | 264806 | 48523 316977 1201268 | 2147483647 264717 169 | 0.076 % |
672.06/672.54 c | 265600 | 48523 316977 1201268 | 2147483647 265511 169 | 0.076 % |
672.96/673.40 c | 266471 | 48523 316977 1201268 | 2147483647 266382 168 | 0.076 % |
677.16/677.70 c | 267429 | 48523 316977 1201268 | 2147483647 267340 169 | 0.076 % |
681.77/682.20 c | 268482 | 48523 316977 1201268 | 2147483647 268393 169 | 0.076 % |
684.56/685.00 c | 269640 | 48523 316977 1201268 | 2147483647 269551 169 | 0.076 % |
688.36/688.84 c | 270914 | 48523 316977 1201268 | 2147483647 270825 168 | 0.076 % |
694.96/695.41 c | 272314 | 48523 316977 1201268 | 2147483647 272225 170 | 0.076 % |
698.65/699.15 c | 273855 | 48523 316977 1201268 | 2147483647 273766 170 | 0.076 % |
707.96/708.47 c | 275549 | 48523 316977 1201268 | 2147483647 275460 171 | 0.076 % |
714.15/714.69 c | 277412 | 48523 316977 1201268 | 2147483647 277323 172 | 0.076 % |
724.94/725.45 c | 279461 | 48523 316977 1201268 | 2147483647 279372 173 | 0.076 % |
730.24/730.75 c | 281714 | 48523 316977 1201268 | 2147483647 281625 173 | 0.076 % |
741.74/742.25 c | 284192 | 48523 316977 1201268 | 2147483647 284103 175 | 0.076 % |
750.43/750.90 c | 286917 | 48523 316977 1201268 | 2147483647 286828 174 | 0.076 % |
750.73/751.22 c | 287017 | 48523 316977 1201268 | 2147483647 286928 174 | 0.076 % |
750.83/751.35 c | 287128 | 48523 316977 1201268 | 2147483647 287039 174 | 0.076 % |
751.03/751.58 c | 287251 | 48523 316977 1201268 | 2147483647 287162 173 | 0.076 % |
751.33/751.89 c | 287385 | 48523 316977 1201268 | 2147483647 287296 173 | 0.076 % |
752.73/753.25 c | 287531 | 48523 316977 1201268 | 2147483647 287442 174 | 0.076 % |
753.23/753.71 c | 287691 | 48523 316977 1201268 | 2147483647 287602 174 | 0.076 % |
753.73/754.21 c | 287867 | 48523 316977 1201268 | 2147483647 287778 174 | 0.076 % |
754.52/755.04 c | 288061 | 48523 316977 1201268 | 2147483647 287972 174 | 0.076 % |
754.82/755.37 c | 288273 | 48523 316977 1201268 | 2147483647 288184 174 | 0.076 % |
756.43/756.92 c | 288506 | 48523 316977 1201268 | 2147483647 288417 174 | 0.076 % |
757.44/757.91 c | 288763 | 48523 316977 1201268 | 2147483647 288674 174 | 0.076 % |
759.33/759.83 c | 289044 | 48523 316977 1201268 | 2147483647 288955 174 | 0.076 % |
760.03/760.50 c | 289353 | 48523 316977 1201268 | 2147483647 289264 174 | 0.076 % |
760.33/760.85 c | 289693 | 48523 316977 1201268 | 2147483647 289604 174 | 0.076 % |
761.23/761.71 c | 290065 | 48523 316977 1201268 | 2147483647 289976 174 | 0.076 % |
762.02/762.56 c | 290474 | 48523 316977 1201268 | 2147483647 290385 174 | 0.076 % |
764.62/765.16 c | 290924 | 48523 316977 1201268 | 2147483647 290835 174 | 0.076 % |
765.32/765.83 c | 291418 | 48523 316977 1201268 | 2147483647 291329 174 | 0.076 % |
767.32/767.90 c | 291961 | 48523 316977 1201268 | 2147483647 291872 174 | 0.076 % |
770.42/770.91 c | 292557 | 48523 316977 1201268 | 2147483647 292468 174 | 0.076 % |
772.32/772.86 c | 293215 | 48523 316977 1201268 | 2147483647 293126 175 | 0.076 % |
776.21/776.73 c | 293935 | 48523 316977 1201268 | 2147483647 293846 175 | 0.076 % |
780.22/780.72 c | 294727 | 48523 316977 1201268 | 2147483647 294638 176 | 0.076 % |
783.02/783.56 c | 295598 | 48523 316977 1201268 | 2147483647 295509 176 | 0.076 % |
788.01/788.52 c | 296556 | 48523 316977 1201268 | 2147483647 296467 177 | 0.076 % |
794.61/795.19 c | 297609 | 48523 316977 1201268 | 2147483647 297520 178 | 0.076 % |
800.80/801.37 c | 298769 | 48523 316977 1201268 | 2147483647 298680 179 | 0.076 % |
804.10/804.63 c | 300043 | 48523 316977 1201268 | 2147483647 299954 179 | 0.076 % |
807.40/807.92 c | 301443 | 48523 316977 1201268 | 2147483647 301354 179 | 0.076 % |
814.50/815.01 c | 302984 | 48523 316977 1201268 | 2147483647 302895 181 | 0.076 % |
819.29/819.81 c | 304679 | 48523 316977 1201268 | 2147483647 304590 181 | 0.076 % |
824.99/825.58 c | 306544 | 48523 316977 1201268 | 2147483647 306455 181 | 0.076 % |
836.39/836.92 c | 308593 | 48523 316977 1201268 | 2147483647 308504 183 | 0.076 % |
843.28/843.87 c | 310847 | 48523 316977 1201268 | 2147483647 310758 184 | 0.076 % |
848.38/848.90 c | 313325 | 48523 316977 1201268 | 2147483647 313236 184 | 0.076 % |
867.67/868.23 c | 316051 | 48523 316977 1201268 | 2147483647 315962 186 | 0.076 % |
879.16/879.79 c | 319048 | 48523 316977 1201268 | 2147483647 318959 187 | 0.076 % |
879.47/880.01 c | 319149 | 48523 316977 1201268 | 2147483647 319060 187 | 0.076 % |
879.97/880.55 c | 319259 | 48523 316977 1201268 | 2147483647 319170 186 | 0.076 % |
880.26/880.86 c | 319381 | 48523 316977 1201268 | 2147483647 319292 186 | 0.076 % |
880.76/881.30 c | 319515 | 48523 316977 1201268 | 2147483647 319426 186 | 0.076 % |
881.06/881.61 c | 319662 | 48523 316977 1201268 | 2147483647 319573 186 | 0.076 % |
881.26/881.87 c | 319822 | 48523 316977 1201268 | 2147483647 319733 186 | 0.076 % |
882.26/882.82 c | 319999 | 48523 316977 1201268 | 2147483647 319910 186 | 0.076 % |
883.16/883.70 c | 320194 | 48523 316977 1201268 | 2147483647 320105 186 | 0.076 % |
884.06/884.65 c | 320407 | 48523 316977 1201268 | 2147483647 320318 187 | 0.076 % |
885.06/885.60 c | 320640 | 48523 316977 1201268 | 2147483647 320551 186 | 0.076 % |
886.26/886.82 c | 320897 | 48523 316977 1201268 | 2147483647 320808 187 | 0.076 % |
887.26/887.84 c | 321178 | 48523 316977 1201268 | 2147483647 321089 187 | 0.076 % |
887.66/888.22 c | 321487 | 48523 316977 1201268 | 2147483647 321398 187 | 0.076 % |
888.86/889.43 c | 321827 | 48523 316977 1201268 | 2147483647 321738 187 | 0.076 % |
890.16/890.74 c | 322200 | 48523 316977 1201268 | 2147483647 322111 186 | 0.076 % |
891.16/891.77 c | 322609 | 48523 316977 1201268 | 2147483647 322520 187 | 0.076 % |
892.35/892.99 c | 323058 | 48523 316977 1201268 | 2147483647 322969 187 | 0.076 % |
895.25/895.89 c | 323551 | 48523 316977 1201268 | 2147483647 323462 187 | 0.076 % |
896.05/896.66 c | 324093 | 48523 316977 1201268 | 2147483647 324004 187 | 0.076 % |
898.65/899.21 c | 324690 | 48523 316977 1201268 | 2147483647 324601 186 | 0.076 % |
901.84/902.49 c | 325346 | 48523 316977 1201268 | 2147483647 325257 187 | 0.076 % |
906.74/907.36 c | 326066 | 48523 316977 1201268 | 2147483647 325977 187 | 0.076 % |
911.25/911.80 c | 326861 | 48523 316977 1201268 | 2147483647 326772 188 | 0.076 % |
913.94/914.58 c | 327732 | 48523 316977 1201268 | 2147483647 327643 188 | 0.076 % |
919.64/920.28 c | 328691 | 48523 316977 1201268 | 2147483647 328602 189 | 0.076 % |
924.24/924.86 c | 329745 | 48523 316977 1201268 | 2147483647 329656 189 | 0.076 % |
927.54/928.18 c | 330904 | 48523 316977 1201268 | 2147483647 330815 189 | 0.076 % |
947.13/947.71 c | 332178 | 48523 316977 1201268 | 2147483647 332089 189 | 0.076 % |
952.72/953.35 c | 333578 | 48523 316977 1201268 | 2147483647 333489 190 | 0.076 % |
958.53/959.12 c | 335118 | 48523 316977 1201268 | 2147483647 335029 190 | 0.076 % |
964.62/965.24 c | 336813 | 48523 316977 1201268 | 2147483647 336724 190 | 0.076 % |
978.02/978.61 c | 338678 | 48523 316977 1201268 | 2147483647 338589 191 | 0.076 % |
990.30/990.96 c | 340729 | 48523 316977 1201268 | 2147483647 340640 191 | 0.076 % |
995.71/996.32 c | 342982 | 48523 316977 1201268 | 2147483647 342893 191 | 0.076 % |
1006.50/1007.18 c | 345462 | 48523 316977 1201268 | 2147483647 345373 192 | 0.076 % |
1017.49/1018.20 c | 348187 | 48523 316977 1201268 | 2147483647 348098 193 | 0.076 % |
1033.09/1033.74 c | 351185 | 48523 316977 1201268 | 2147483647 351096 194 | 0.076 % |
1057.38/1058.01 c | 354481 | 48523 316977 1201268 | 2147483647 354392 196 | 0.076 % |
1057.98/1058.60 c | 354582 | 48523 316977 1201268 | 2147483647 354493 196 | 0.076 % |
1058.18/1058.89 c | 354693 | 48523 316977 1201268 | 2147483647 354604 196 | 0.076 % |
1058.98/1059.61 c | 354814 | 48523 316977 1201268 | 2147483647 354725 196 | 0.076 % |
1059.18/1059.83 c | 354947 | 48523 316977 1201268 | 2147483647 354858 196 | 0.076 % |
1059.88/1060.55 c | 355094 | 48523 316977 1201268 | 2147483647 355005 196 | 0.076 % |
1060.48/1061.17 c | 355254 | 48523 316977 1201268 | 2147483647 355165 196 | 0.076 % |
1061.38/1062.04 c | 355431 | 48523 316977 1201268 | 2147483647 355342 196 | 0.076 % |
1061.78/1062.49 c | 355625 | 48523 316977 1201268 | 2147483647 355536 196 | 0.076 % |
1062.68/1063.38 c | 355837 | 48523 316977 1201268 | 2147483647 355748 196 | 0.076 % |
1063.08/1063.78 c | 356070 | 48523 316977 1201268 | 2147483647 355981 196 | 0.076 % |
1064.78/1065.45 c | 356327 | 48523 316977 1201268 | 2147483647 356238 196 | 0.076 % |
1066.27/1066.94 c | 356609 | 48523 316977 1201268 | 2147483647 356520 196 | 0.076 % |
1067.58/1068.21 c | 356919 | 48523 316977 1201268 | 2147483647 356830 196 | 0.076 % |
1067.78/1068.46 c | 357258 | 48523 316977 1201268 | 2147483647 357169 196 | 0.076 % |
1067.97/1068.65 c | 357630 | 48523 316977 1201268 | 2147483647 357541 196 | 0.076 % |
1068.58/1069.22 c | 358039 | 48523 316977 1201268 | 2147483647 357950 196 | 0.076 % |
1071.37/1072.08 c | 358488 | 48523 316977 1201268 | 2147483647 358399 196 | 0.076 % |
1073.07/1073.78 c | 358981 | 48523 316977 1201268 | 2147483647 358892 196 | 0.076 % |
1074.47/1075.11 c | 359524 | 48523 316977 1201268 | 2147483647 359435 196 | 0.076 % |
1078.16/1078.88 c | 360121 | 48523 316977 1201268 | 2147483647 360032 196 | 0.076 % |
1079.37/1080.03 c | 360779 | 48523 316977 1201268 | 2147483647 360690 196 | 0.076 % |
1085.37/1086.02 c | 361500 | 48523 316977 1201268 | 2147483647 361411 197 | 0.076 % |
1088.57/1089.23 c | 362292 | 48523 316977 1201268 | 2147483647 362203 197 | 0.076 % |
1092.26/1092.96 c | 363163 | 48523 316977 1201268 | 2147483647 363074 197 | 0.076 % |
1095.76/1096.45 c | 364122 | 48523 316977 1201268 | 2147483647 364033 197 | 0.076 % |
1099.66/1100.36 c | 365175 | 48523 316977 1201268 | 2147483647 365086 197 | 0.076 % |
1110.06/1110.77 c | 366334 | 48523 316977 1201268 | 2147483647 366245 198 | 0.076 % |
1118.44/1119.18 c | 367607 | 48523 316977 1201268 | 2147483647 367518 199 | 0.076 % |
1123.54/1124.23 c | 369007 | 48523 316977 1201268 | 2147483647 368918 198 | 0.076 % |
1131.24/1131.96 c | 370547 | 48523 316977 1201268 | 2147483647 370458 199 | 0.076 % |
1137.14/1137.85 c | 372241 | 48523 316977 1201268 | 2147483647 372152 198 | 0.076 % |
1144.03/1144.71 c | 374105 | 48523 316977 1201268 | 2147483647 374016 199 | 0.076 % |
1151.23/1152.00 c | 376155 | 48523 316977 1201268 | 2147483647 376066 199 | 0.076 % |
1157.12/1157.88 c | 378408 | 48523 316977 1201268 | 2147483647 378319 198 | 0.076 % |
1174.22/1174.94 c | 380888 | 48523 316977 1201268 | 2147483647 380799 199 | 0.076 % |
1182.82/1183.57 c | 383614 | 48523 316977 1201268 | 2147483647 383525 200 | 0.076 % |
1198.91/1199.64 c | 386611 | 48523 316977 1201268 | 2147483647 386522 202 | 0.076 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832273-1242771469/watcher-1832273-1242771469 -o /tmp/evaluation-result-1832273-1242771469/solver-1832273-1242771469 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832273-1242771469.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 20963
/proc/meminfo: memFree=1867120/2055920 swapFree=4177156/4192956
[pid=20963] ppid=20961 vsize=5356 CPUtime=0
/proc/20963/stat : 20963 (SatELiteGTI) S 20961 20963 20563 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305175457 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20963/statm: 1339 237 197 169 0 50 0
[startup+0.0551509 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 20963
/proc/meminfo: memFree=1867120/2055920 swapFree=4177156/4192956
[pid=20963] ppid=20961 vsize=5356 CPUtime=0
/proc/20963/stat : 20963 (SatELiteGTI) S 20961 20963 20563 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305175457 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20963/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.10116 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 20963
/proc/meminfo: memFree=1867120/2055920 swapFree=4177156/4192956
[pid=20963] ppid=20961 vsize=5356 CPUtime=0
/proc/20963/stat : 20963 (SatELiteGTI) S 20961 20963 20563 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305175457 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20963/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301197 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 20963
/proc/meminfo: memFree=1867120/2055920 swapFree=4177156/4192956
[pid=20963] ppid=20961 vsize=5356 CPUtime=0
/proc/20963/stat : 20963 (SatELiteGTI) S 20961 20963 20563 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305175457 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20963/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701275 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 20963
/proc/meminfo: memFree=1867120/2055920 swapFree=4177156/4192956
[pid=20963] ppid=20961 vsize=5356 CPUtime=0
/proc/20963/stat : 20963 (SatELiteGTI) S 20961 20963 20563 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305175457 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20963/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50263 s]
/proc/loadavg: 0.92 0.98 0.99 2/66 20968
/proc/meminfo: memFree=1828128/2055920 swapFree=4177156/4192956
[pid=20963] ppid=20961 vsize=5356 CPUtime=1.07
/proc/20963/stat : 20963 (SatELiteGTI) S 20961 20963 20563 0 -1 4194304 336 10478 0 0 0 0 97 10 16 0 1 0 305175457 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20963/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 1.07
Current children cumulated vsize (KiB) 5356
[startup+3.10193 s]
/proc/loadavg: 1.01 1.00 1.00 2/66 20969
/proc/meminfo: memFree=1838688/2055920 swapFree=4177156/4192956
[pid=20963] ppid=20961 vsize=5356 CPUtime=1.07
/proc/20963/stat : 20963 (SatELiteGTI) S 20961 20963 20563 0 -1 4194304 336 10478 0 0 0 0 97 10 16 0 1 0 305175457 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20963/statm: 1339 239 197 169 0 50 0
[pid=20969] ppid=20963 vsize=21908 CPUtime=2
/proc/20969/stat : 20969 (minisat_static) R 20963 20963 20563 0 -1 4194304 5017 0 0 0 196 4 0 0 25 0 1 0 305175565 22433792 4998 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/20969/statm: 5477 4998 77 171 0 5304 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 27264
[startup+6.30254 s]
/proc/loadavg: 1.01 1.00 1.00 2/66 20969
/proc/meminfo: memFree=1837288/2055920 swapFree=4177156/4192956
[pid=20963] ppid=20961 vsize=5356 CPUtime=1.07
/proc/20963/stat : 20963 (SatELiteGTI) S 20961 20963 20563 0 -1 4194304 336 10478 0 0 0 0 97 10 16 0 1 0 305175457 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20963/statm: 1339 239 197 169 0 50 0
[pid=20969] ppid=20963 vsize=23260 CPUtime=5.19
/proc/20969/stat : 20969 (minisat_static) R 20963 20963 20563 0 -1 4194304 5353 0 0 0 515 4 0 0 25 0 1 0 305175565 23818240 5334 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 0 0 0
/proc/20969/statm: 5815 5334 77 171 0 5642 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 28616
[startup+12.7018 s]
/proc/loadavg: 1.08 1.02 1.00 2/66 20969
/proc/meminfo: memFree=1835880/2055920 swapFree=4177156/4192956
[pid=20963] ppid=20961 vsize=5356 CPUtime=1.07
/proc/20963/stat : 20963 (SatELiteGTI) S 20961 20963 20563 0 -1 4194304 336 10478 0 0 0 0 97 10 16 0 1 0 305175457 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20963/statm: 1339 239 197 169 0 50 0
[pid=20969] ppid=20963 vsize=24660 CPUtime=11.58
/proc/20969/stat : 20969 (minisat_static) R 20963 20963 20563 0 -1 4194304 5695 0 0 0 1153 5 0 0 25 0 1 0 305175565 25251840 5676 1992294400 134512640 135215339 4294956240 18446744073709551615 134539375 0 0 4096 3 0 0 0 17 0 0 0
/proc/20969/statm: 6165 5676 77 171 0 5992 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 30016
[startup+25.5012 s]
/proc/loadavg: 1.07 1.02 1.00 2/66 20969
/proc/meminfo: memFree=1832488/2055920 swapFree=4177156/4192956
[pid=20963] ppid=20961 vsize=5356 CPUtime=1.07
/proc/20963/stat : 20963 (SatELiteGTI) S 20961 20963 20563 0 -1 4194304 336 10478 0 0 0 0 97 10 16 0 1 0 305175457 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20963/statm: 1339 239 197 169 0 50 0
[pid=20969] ppid=20963 vsize=28096 CPUtime=24.37
/proc/20969/stat : 20969 (minisat_static) R 20963 20963 20563 0 -1 4194304 6549 0 0 0 2431 6 0 0 25 0 1 0 305175565 28770304 6530 1992294400 134512640 135215339 4294956240 18446744073709551615 134538302 0 0 4096 3 0 0 0 17 0 0 0
/proc/20969/statm: 7024 6530 77 171 0 6851 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 33452
[startup+51.1012 s]
/proc/loadavg: 1.04 1.01 1.00 2/66 20969
/proc/meminfo: memFree=1826856/2055920 swapFree=4177156/4192956
[pid=20963] ppid=20961 vsize=5356 CPUtime=1.07
/proc/20963/stat : 20963 (SatELiteGTI) S 20961 20963 20563 0 -1 4194304 336 10478 0 0 0 0 97 10 16 0 1 0 305175457 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20963/statm: 1339 239 197 169 0 50 0
[pid=20969] ppid=20963 vsize=33884 CPUtime=49.93
/proc/20969/stat : 20969 (minisat_static) R 20963 20963 20563 0 -1 4194304 7983 0 0 0 4985 8 0 0 25 0 1 0 305175565 34697216 7964 1992294400 134512640 135215339 4294956240 18446744073709551615 134528664 0 0 4096 3 0 0 0 17 0 0 0
/proc/20969/statm: 8471 7964 77 171 0 8298 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 39240
[startup+102.307 s]
/proc/loadavg: 1.02 1.01 1.00 2/66 20969
/proc/meminfo: memFree=1812648/2055920 swapFree=4177156/4192956
[pid=20963] ppid=20961 vsize=5356 CPUtime=1.07
/proc/20963/stat : 20963 (SatELiteGTI) S 20961 20963 20563 0 -1 4194304 336 10478 0 0 0 0 97 10 16 0 1 0 305175457 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20963/statm: 1339 239 197 169 0 50 0
[pid=20969] ppid=20963 vsize=47780 CPUtime=101.1
/proc/20969/stat : 20969 (minisat_static) R 20963 20963 20563 0 -1 4194304 11457 0 0 0 10099 11 0 0 25 0 1 0 305175565 48926720 11438 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/20969/statm: 11945 11438 77 171 0 11772 0
Current children cumulated CPU time (s) 102.17
Current children cumulated vsize (KiB) 53136
[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 20969
/proc/meminfo: memFree=1794984/2055920 swapFree=4177156/4192956
[pid=20963] ppid=20961 vsize=5356 CPUtime=1.07
/proc/20963/stat : 20963 (SatELiteGTI) S 20961 20963 20563 0 -1 4194304 336 10478 0 0 0 0 97 10 16 0 1 0 305175457 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20963/statm: 1339 239 197 169 0 50 0
[pid=20969] ppid=20963 vsize=65524 CPUtime=161.07
/proc/20969/stat : 20969 (minisat_static) R 20963 20963 20563 0 -1 4194304 15892 0 0 0 16090 17 0 0 25 0 1 0 305175565 67096576 15873 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 0 0 0
/proc/20969/statm: 16381 15873 77 171 0 16208 0
Current children cumulated CPU time (s) 162.14
Current children cumulated vsize (KiB) 70880
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 20969
/proc/meminfo: memFree=1777704/2055920 swapFree=4177156/4192956
[pid=20963] ppid=20961 vsize=5356 CPUtime=1.07
/proc/20963/stat : 20963 (SatELiteGTI) S 20961 20963 20563 0 -1 4194304 336 10478 0 0 0 0 97 10 16 0 1 0 305175457 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20963/statm: 1339 239 197 169 0 50 0
[pid=20969] ppid=20963 vsize=82508 CPUtime=221.02
/proc/20969/stat : 20969 (minisat_static) R 20963 20963 20563 0 -1 4194304 20132 0 0 0 22081 21 0 0 25 0 1 0 305175565 84488192 20113 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 0 0 0
/proc/20969/statm: 20627 20113 77 171 0 20454 0
Current children cumulated CPU time (s) 222.09
Current children cumulated vsize (KiB) 87864
[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 20969
/proc/meminfo: memFree=1759720/2055920 swapFree=4177156/4192956
[pid=20963] ppid=20961 vsize=5356 CPUtime=1.07
/proc/20963/stat : 20963 (SatELiteGTI) S 20961 20963 20563 0 -1 4194304 336 10478 0 0 0 0 97 10 16 0 1 0 305175457 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20963/statm: 1339 239 197 169 0 50 0
[pid=20969] ppid=20963 vsize=100776 CPUtime=281.01
/proc/20969/stat : 20969 (minisat_static) R 20963 20963 20563 0 -1 4194304 24672 0 0 0 28074 27 0 0 25 0 1 0 305175565 103194624 24653 1992294400 134512640 135215339 4294956240 18446744073709551615 134529083 0 0 4096 3 0 0 0 17 0 0 0
/proc/20969/statm: 25194 24653 77 171 0 25021 0
Current children cumulated CPU time (s) 282.08
Current children cumulated vsize (KiB) 106132
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 20969
/proc/meminfo: memFree=1741608/2055920 swapFree=4177156/4192956
[pid=20963] ppid=20961 vsize=5356 CPUtime=1.07
/proc/20963/stat : 20963 (SatELiteGTI) S 20961 20963 20563 0 -1 4194304 336 10478 0 0 0 0 97 10 16 0 1 0 305175457 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20963/statm: 1339 239 197 169 0 50 0
[pid=20969] ppid=20963 vsize=118416 CPUtime=340.97
/proc/20969/stat : 20969 (minisat_static) R 20963 20963 20563 0 -1 4194304 29100 0 0 0 34067 30 0 0 25 0 1 0 305175565 121257984 29081 1992294400 134512640 135215339 4294956240 18446744073709551615 134532704 0 0 4096 3 0 0 0 17 0 0 0
/proc/20969/statm: 29604 29081 77 171 0 29431 0
Current children cumulated CPU time (s) 342.04
Current children cumulated vsize (KiB) 123772
[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 20969
/proc/meminfo: memFree=1725800/2055920 swapFree=4177156/4192956
[pid=20963] ppid=20961 vsize=5356 CPUtime=1.07
/proc/20963/stat : 20963 (SatELiteGTI) S 20961 20963 20563 0 -1 4194304 336 10478 0 0 0 0 97 10 16 0 1 0 305175457 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20963/statm: 1339 239 197 169 0 50 0
[pid=20969] ppid=20963 vsize=134328 CPUtime=400.94
/proc/20969/stat : 20969 (minisat_static) R 20963 20963 20563 0 -1 4194304 33092 0 0 0 40060 34 0 0 25 0 1 0 305175565 137551872 33073 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 0 0 0
/proc/20969/statm: 33582 33073 77 171 0 33409 0
Current children cumulated CPU time (s) 402.01
Current children cumulated vsize (KiB) 139684
[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 20969
/proc/meminfo: memFree=1708776/2055920 swapFree=4177156/4192956
[pid=20963] ppid=20961 vsize=5356 CPUtime=1.07
################
# More data... #
################
/proc/20969/statm: 45838 45287 77 171 0 45665 0
Current children cumulated CPU time (s) 581.91
Current children cumulated vsize (KiB) 188708
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 20969
/proc/meminfo: memFree=1658600/2055920 swapFree=4177156/4192956
[pid=20963] ppid=20961 vsize=5356 CPUtime=1.07
/proc/20963/stat : 20963 (SatELiteGTI) S 20961 20963 20563 0 -1 4194304 336 10478 0 0 0 0 97 10 16 0 1 0 305175457 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20963/statm: 1339 239 197 169 0 50 0
[pid=20969] ppid=20963 vsize=200868 CPUtime=640.81
/proc/20969/stat : 20969 (minisat_static) R 20963 20963 20563 0 -1 4194304 49689 0 0 0 64031 50 0 0 25 0 1 0 305175565 205688832 49670 1992294400 134512640 135215339 4294956240 18446744073709551615 134532704 0 0 4096 3 0 0 0 17 0 0 0
/proc/20969/statm: 50217 49670 77 171 0 50044 0
Current children cumulated CPU time (s) 641.88
Current children cumulated vsize (KiB) 206224
[startup+702.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 20969
/proc/meminfo: memFree=1642792/2055920 swapFree=4177156/4192956
[pid=20963] ppid=20961 vsize=5356 CPUtime=1.07
/proc/20963/stat : 20963 (SatELiteGTI) S 20961 20963 20563 0 -1 4194304 336 10478 0 0 0 0 97 10 16 0 1 0 305175457 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20963/statm: 1339 239 197 169 0 50 0
[pid=20969] ppid=20963 vsize=216632 CPUtime=700.79
/proc/20969/stat : 20969 (minisat_static) R 20963 20963 20563 0 -1 4194304 53654 0 0 0 70024 55 0 0 25 0 1 0 305175565 221831168 53635 1992294400 134512640 135215339 4294956240 18446744073709551615 134532915 0 0 4096 3 0 0 0 17 0 0 0
/proc/20969/statm: 54158 53635 77 171 0 53985 0
Current children cumulated CPU time (s) 701.86
Current children cumulated vsize (KiB) 221988
[startup+762.307 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 20969
/proc/meminfo: memFree=1627432/2055920 swapFree=4177156/4192956
[pid=20963] ppid=20961 vsize=5356 CPUtime=1.07
/proc/20963/stat : 20963 (SatELiteGTI) S 20961 20963 20563 0 -1 4194304 336 10478 0 0 0 0 97 10 16 0 1 0 305175457 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20963/statm: 1339 239 197 169 0 50 0
[pid=20969] ppid=20963 vsize=231716 CPUtime=760.76
/proc/20969/stat : 20969 (minisat_static) R 20963 20963 20563 0 -1 4194304 57424 0 0 0 76017 59 0 0 25 0 1 0 305175565 237277184 57405 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/20969/statm: 57929 57405 77 171 0 57756 0
Current children cumulated CPU time (s) 761.83
Current children cumulated vsize (KiB) 237072
[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 20969
/proc/meminfo: memFree=1608104/2055920 swapFree=4177156/4192956
[pid=20963] ppid=20961 vsize=5356 CPUtime=1.07
/proc/20963/stat : 20963 (SatELiteGTI) S 20961 20963 20563 0 -1 4194304 336 10478 0 0 0 0 97 10 16 0 1 0 305175457 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20963/statm: 1339 239 197 169 0 50 0
[pid=20969] ppid=20963 vsize=251160 CPUtime=820.72
/proc/20969/stat : 20969 (minisat_static) R 20963 20963 20563 0 -1 4194304 62309 0 0 0 82008 64 0 0 25 0 1 0 305175565 257187840 62290 1992294400 134512640 135215339 4294956240 18446744073709551615 134528764 0 0 4096 3 0 0 0 17 0 0 0
/proc/20969/statm: 62790 62290 77 171 0 62617 0
Current children cumulated CPU time (s) 821.79
Current children cumulated vsize (KiB) 256516
[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 20969
/proc/meminfo: memFree=1590184/2055920 swapFree=4177156/4192956
[pid=20963] ppid=20961 vsize=5356 CPUtime=1.07
/proc/20963/stat : 20963 (SatELiteGTI) S 20961 20963 20563 0 -1 4194304 336 10478 0 0 0 0 97 10 16 0 1 0 305175457 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20963/statm: 1339 239 197 169 0 50 0
[pid=20969] ppid=20963 vsize=269356 CPUtime=880.69
/proc/20969/stat : 20969 (minisat_static) R 20963 20963 20563 0 -1 4194304 66716 0 0 0 88001 68 0 0 25 0 1 0 305175565 275820544 66697 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 0 0 0
/proc/20969/statm: 67339 66697 77 171 0 67166 0
Current children cumulated CPU time (s) 881.76
Current children cumulated vsize (KiB) 274712
[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 20969
/proc/meminfo: memFree=1577512/2055920 swapFree=4177156/4192956
[pid=20963] ppid=20961 vsize=5356 CPUtime=1.07
/proc/20963/stat : 20963 (SatELiteGTI) S 20961 20963 20563 0 -1 4194304 336 10478 0 0 0 0 97 10 16 0 1 0 305175457 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20963/statm: 1339 239 197 169 0 50 0
[pid=20969] ppid=20963 vsize=281852 CPUtime=940.66
/proc/20969/stat : 20969 (minisat_static) R 20963 20963 20563 0 -1 4194304 69855 0 0 0 93995 71 0 0 25 0 1 0 305175565 288616448 69836 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/20969/statm: 70463 69836 77 171 0 70290 0
Current children cumulated CPU time (s) 941.73
Current children cumulated vsize (KiB) 287208
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 20969
/proc/meminfo: memFree=1564008/2055920 swapFree=4177156/4192956
[pid=20963] ppid=20961 vsize=5356 CPUtime=1.07
/proc/20963/stat : 20963 (SatELiteGTI) S 20961 20963 20563 0 -1 4194304 336 10478 0 0 0 0 97 10 16 0 1 0 305175457 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20963/statm: 1339 239 197 169 0 50 0
[pid=20969] ppid=20963 vsize=295212 CPUtime=1000.64
/proc/20969/stat : 20969 (minisat_static) R 20963 20963 20563 0 -1 4194304 73216 0 0 0 99988 76 0 0 25 0 1 0 305175565 302297088 73197 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 0 0 0
/proc/20969/statm: 73803 73197 77 171 0 73630 0
Current children cumulated CPU time (s) 1001.71
Current children cumulated vsize (KiB) 300568
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 20969
/proc/meminfo: memFree=1549160/2055920 swapFree=4177156/4192956
[pid=20963] ppid=20961 vsize=5356 CPUtime=1.07
/proc/20963/stat : 20963 (SatELiteGTI) S 20961 20963 20563 0 -1 4194304 336 10478 0 0 0 0 97 10 16 0 1 0 305175457 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20963/statm: 1339 239 197 169 0 50 0
[pid=20969] ppid=20963 vsize=310156 CPUtime=1060.61
/proc/20969/stat : 20969 (minisat_static) R 20963 20963 20563 0 -1 4194304 76938 0 0 0 105982 79 0 0 25 0 1 0 305175565 317599744 76919 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 0 0 0
/proc/20969/statm: 77539 76919 77 171 0 77366 0
Current children cumulated CPU time (s) 1061.68
Current children cumulated vsize (KiB) 315512
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 20969
/proc/meminfo: memFree=1534696/2055920 swapFree=4177156/4192956
[pid=20963] ppid=20961 vsize=5356 CPUtime=1.07
/proc/20963/stat : 20963 (SatELiteGTI) S 20961 20963 20563 0 -1 4194304 336 10478 0 0 0 0 97 10 16 0 1 0 305175457 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20963/statm: 1339 239 197 169 0 50 0
[pid=20969] ppid=20963 vsize=324200 CPUtime=1120.57
/proc/20969/stat : 20969 (minisat_static) R 20963 20963 20563 0 -1 4194304 80475 0 0 0 111975 82 0 0 25 0 1 0 305175565 331980800 80456 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/20969/statm: 81050 80456 77 171 0 80877 0
Current children cumulated CPU time (s) 1121.64
Current children cumulated vsize (KiB) 329556
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 20969
/proc/meminfo: memFree=1520744/2055920 swapFree=4177156/4192956
[pid=20963] ppid=20961 vsize=5356 CPUtime=1.07
/proc/20963/stat : 20963 (SatELiteGTI) S 20961 20963 20563 0 -1 4194304 336 10478 0 0 0 0 97 10 16 0 1 0 305175457 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20963/statm: 1339 239 197 169 0 50 0
[pid=20969] ppid=20963 vsize=338348 CPUtime=1180.54
/proc/20969/stat : 20969 (minisat_static) R 20963 20963 20563 0 -1 4194304 84009 0 0 0 117969 85 0 0 25 0 1 0 305175565 346468352 83990 1992294400 134512640 135215339 4294956240 18446744073709551615 134529323 0 0 4096 3 0 0 0 17 0 0 0
/proc/20969/statm: 84587 83990 77 171 0 84414 0
Current children cumulated CPU time (s) 1181.61
Current children cumulated vsize (KiB) 343704
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 20969
/proc/meminfo: memFree=1514536/2055920 swapFree=4177156/4192956
[pid=20963] ppid=20961 vsize=5356 CPUtime=1.07
/proc/20963/stat : 20963 (SatELiteGTI) S 20961 20963 20563 0 -1 4194304 336 10478 0 0 0 0 97 10 16 0 1 0 305175457 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20963/statm: 1339 239 197 169 0 50 0
[pid=20969] ppid=20963 vsize=344184 CPUtime=1198.95
/proc/20969/stat : 20969 (minisat_static) R 20963 20963 20563 0 -1 4194304 85470 0 0 0 119808 87 0 0 25 0 1 0 305175565 352444416 85451 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/20969/statm: 86046 85451 77 171 0 85873 0
Current children cumulated CPU time (s) 1200.02
Current children cumulated vsize (KiB) 349540
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 20969
/proc/meminfo: memFree=1514536/2055920 swapFree=4177156/4192956
[pid=20963] ppid=20961 vsize=5356 CPUtime=1.07
/proc/20963/stat : 20963 (SatELiteGTI) S 20961 20963 20563 0 -1 4194304 336 10478 0 0 0 0 97 10 16 0 1 0 305175457 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20963/statm: 1339 239 197 169 0 50 0
[pid=20969] ppid=20963 vsize=344184 CPUtime=1198.95
/proc/20969/stat : 20969 (minisat_static) R 20963 20963 20563 0 -1 4194304 85470 0 0 0 119808 87 0 0 25 0 1 0 305175565 352444416 85451 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/20969/statm: 86046 85451 77 171 0 85873 0
Current children cumulated CPU time (s) 1200.02
Current children cumulated vsize (KiB) 349540
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 20963 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=974851
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=107983
# CPU time returned by wait4() is 1.08283
# while last known CPU time is 1200.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.71
CPU time (s): 1200.02
CPU user time (s): 1199.05
CPU system time (s): 0.97
CPU usage (%): 99.9424
Max. virtual memory (cumulated for all children) (KiB): 349540
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.974851
system time used= 0.107983
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10814
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= 15
involuntary context switches= 10
runsolver used 1.05384 second user time and 3.41248 second system time
The end
Begin job on node38 at 2009-05-20 00:17:50
IDJOB=1832273
IDBENCH=24683
IDSOLVER=671
FILE ID=node38/1832273-1242771469
PBS_JOBID= 9322260
Free space on /tmp= 66204 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT07/crafted/Hard/contest02/ezfact256_1.sat05-464.reshuffled-07.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832273-1242771469/watcher-1832273-1242771469 -o /tmp/evaluation-result-1832273-1242771469/solver-1832273-1242771469 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832273-1242771469.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 69151394f3e0e8838dc6693844061945
RANDOM SEED=671018483
node38.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.265
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.265
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1867664 kB
Buffers: 21284 kB
Cached: 125428 kB
SwapCached: 9960 kB
Active: 75920 kB
Inactive: 83364 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1867664 kB
SwapTotal: 4192956 kB
SwapFree: 4177156 kB
Dirty: 9764 kB
Writeback: 0 kB
Mapped: 14036 kB
Slab: 14976 kB
Committed_AS: 1082220 kB
PageTables: 1456 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66192 MiB
End job on node38 at 2009-05-20 00:37:53