0.00/0.00	c Parsing...
0.51/0.56	c ==============================================================================
0.51/0.56	c |           |     ORIGINAL     |              LEARNT              |          |
0.51/0.56	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.51/0.56	c ==============================================================================
0.51/0.56	c |         0 |  614789  1419314 |  184436       0        0     nan |  0.000 % |
4.11/4.17	c |         0 |  248601   661061 |      --       0       --      -- |     --   | -225959/-441263
4.11/4.17	c ==============================================================================
4.11/4.17	c Result  :   #vars: 44244   #clauses: 248601   #literals: 661061
4.11/4.17	c CPU time:   4.01 s
4.11/4.17	c ==============================================================================
4.40/4.46	c This is MiniSat 2.0 beta
4.40/4.46	c WARNING: for repeatability, setting FPU to use double precision
4.40/4.46	c ============================[ Problem Statistics ]=============================
4.40/4.46	c |                                                                             |
4.40/4.47	c |  Number of variables:  44244                                                |
4.40/4.47	c |  Number of clauses:    248601                                               |
4.46/4.64	c |  Parsing time:         0.14         s                                       |
4.46/4.65	c ============================[ Search Statistics ]==============================
4.46/4.65	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.46/4.65	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
4.46/4.65	c ===============================================================================
4.46/4.65	c |         0 |   44244   248601   661061 |    82867        0    nan |  0.000 % |
4.46/4.81	c |       100 |   44169   248601   661061 |    82867       81     21 |  9.866 % |
4.46/4.93	c |       200 |   43579   248601   661061 |    82867      177     24 | 10.169 % |
4.46/5.18	c |       300 |   32947   178193   486174 |    82867      246     24 | 33.392 % |
5.39/5.46	c |       411 |   32932   178193   486174 |    82867      349     27 | 40.173 % |
5.59/5.67	c |       511 |   26470   135403   376597 |    82867      425     36 | 40.173 % |
5.79/5.81	c |       621 |   25726   131791   367488 |    82867      531     33 | 44.793 % |
5.88/5.92	c |       743 |   25590   131791   367488 |    82867      652     31 | 44.815 % |
6.08/6.12	c |       845 |   24416   123194   346740 |    82867      742     36 | 44.840 % |
6.18/6.23	c |       956 |   24416   123194   346740 |    82867      853     42 | 44.840 % |
6.28/6.39	c |      1079 |   24405   123126   346550 |    82867      976     42 | 44.840 % |
6.48/6.55	c |      1213 |   24405   123126   346550 |    82867     1109     42 | 45.007 % |
6.58/6.69	c |      1315 |   24331   122630   345288 |    82867     1211     43 | 45.007 % |
6.88/6.92	c |      1427 |   24289   122565   345138 |    82867     1316     43 | 50.789 % |
7.08/7.14	c |      1549 |   24289   122565   345138 |    82867     1438     41 | 50.789 % |
7.28/7.30	c |      1683 |   21772   107665   306482 |    82867     1512     42 | 51.069 % |
7.28/7.40	c |      1831 |   21446   107665   306482 |    82867     1659     41 | 54.166 % |
7.48/7.54	c |      1934 |   20279    98874   282043 |    82867     1738     44 | 54.166 % |
7.58/7.63	c |      2047 |   20279    98874   282043 |    82867     1851     45 | 54.166 % |
7.68/7.77	c |      2168 |   20279    98874   282043 |    82867     1972     45 | 54.166 % |
7.88/7.94	c |      2302 |   20279    98874   282043 |    82867     2106     44 | 54.166 % |
8.08/8.19	c |      2448 |   20279    98874   282043 |    82867     2252     43 | 54.166 % |
8.28/8.36	c |      2609 |   20279    98874   282043 |    82867     2413     46 | 54.166 % |
8.48/8.59	c |      2710 |   20279    98874   282043 |    82867     2514     46 | 54.166 % |
8.58/8.69	c |      2820 |   20279    98874   282043 |    82867     2624     47 | 54.166 % |
8.68/8.79	c |      2946 |   20279    98874   282043 |    82867     2750     51 | 54.166 % |
8.98/9.01	c |      3081 |   20269    98806   281871 |    82867     2883     51 | 54.188 % |
9.08/9.19	c |      3231 |   20085    97646   278981 |    82867     3032     51 | 54.604 % |
9.28/9.39	c |      3391 |   20083    97646   278981 |    82867     3189     52 | 54.676 % |
9.58/9.66	c |      3568 |   20053    97430   278417 |    82867     3366     53 | 54.676 % |
9.68/9.73	c |      3668 |   20053    97430   278417 |    82867     3466     53 | 54.676 % |
9.89/9.91	c |      3778 |   20053    97430   278417 |    82867     3576     53 | 54.676 % |
9.98/10.08	c |      3899 |   20053    97430   278417 |    82867     3697     52 | 54.676 % |
10.18/10.26	c |      4032 |   20013    97199   277768 |    82867     3814     52 | 54.877 % |
10.28/10.38	c |      4179 |   20012    97199   277768 |    82867     3961     52 | 54.878 % |
10.68/10.73	c |      4340 |   20012    97199   277768 |    82867     4122     52 | 54.877 % |
10.88/10.99	c |      4519 |   19964    96892   277000 |    82867     4301     52 | 54.878 % |
11.08/11.12	c |      4712 |   19964    96892   277000 |    82867     4494     52 | 54.877 % |
11.18/11.26	c |      4812 |   19952    96811   276795 |    82867     4592     52 | 54.927 % |
11.28/11.39	c |      4922 |   19952    96811   276795 |    82867     4702     52 | 54.927 % |
11.48/11.52	c |      5043 |   19952    96811   276795 |    82867     4823     53 | 54.927 % |
11.58/11.65	c |      5177 |   19933    96741   276610 |    82867     4952     53 | 56.107 % |
11.78/11.83	c |      5323 |   19933    96741   276610 |    82867     5098     54 | 56.107 % |
11.98/12.01	c |      5485 |   19368    93530   267664 |    82867     5241     55 | 56.225 % |
12.18/12.23	c |      5661 |   19368    93530   267664 |    82867     5416     55 | 56.227 % |
12.48/12.51	c |      5855 |   19354    93458   267480 |    82867     5606     54 | 56.308 % |
12.68/12.78	c |      6070 |   19266    92899   265981 |    82867     5808     54 | 56.494 % |
12.78/12.86	c |      6172 |   19266    92899   265981 |    82867     5910     54 | 56.494 % |
12.88/12.99	c |      6284 |   19266    92899   265981 |    82867     6022     55 | 56.494 % |
12.98/13.08	c |      6405 |   19266    92899   265981 |    82867     6143     56 | 56.494 % |
13.19/13.23	c |      6539 |   19249    92755   265615 |    82867     6275     57 | 56.494 % |
13.38/13.41	c |      6685 |   19249    92755   265615 |    82867     6420     56 | 56.564 % |
13.58/13.64	c |      6845 |   19249    92755   265615 |    82867     6580     56 | 56.564 % |
13.78/13.84	c |      7024 |   19218    92610   265227 |    82867     6754     56 | 56.564 % |
14.08/14.11	c |      7218 |   19218    92610   265227 |    82867     6948     56 | 56.564 % |
14.38/14.40	c |      7430 |   19218    92610   265227 |    82867     7160     55 | 56.564 % |
14.58/14.65	c |      7663 |   19206    92540   265037 |    82867     7388     55 | 56.591 % |
14.68/14.77	c |      7763 |   19206    92540   265037 |    82867     7488     55 | 56.591 % |
14.78/14.90	c |      7874 |   19206    92540   265037 |    82867     7599     54 | 56.591 % |
14.98/15.07	c |      7996 |   19205    92540   265037 |    82867     7719     54 | 56.645 % |
15.18/15.25	c |      8130 |   19182    92372   264589 |    82867     7849     54 | 56.645 % |
15.39/15.47	c |      8277 |   19182    92372   264589 |    82867     7996     53 | 56.645 % |
15.68/15.75	c |      8439 |   19182    92372   264589 |    82867     8158     53 | 56.645 % |
15.88/15.97	c |      8616 |   19159    92225   264180 |    82867     8331     52 | 56.697 % |
16.18/16.29	c |      8810 |   19159    92225   264180 |    82867     8525     52 | 56.697 % |
16.49/16.57	c |      9022 |   19159    92225   264180 |    82867     8737     52 | 56.697 % |
16.78/16.80	c |      9257 |   19159    92225   264180 |    82867     8972     51 | 56.697 % |
17.08/17.11	c |      9514 |   19159    92225   264180 |    82867     9229     51 | 56.697 % |
17.18/17.21	c |      9615 |   19159    92225   264180 |    82867     9330     51 | 56.697 % |
17.28/17.36	c |      9726 |   19159    92225   264180 |    82867     9441     51 | 56.697 % |
17.48/17.53	c |      9848 |   19159    92225   264180 |    82867     9563     51 | 56.697 % |
17.68/17.70	c |      9983 |   19150    92165   264036 |    82867     9697     50 | 56.717 % |
17.78/17.88	c |     10130 |   19150    92165   264036 | 2147483647     9844     50 | 56.717 % |
17.98/18.09	c |     10296 |   19150    92165   264036 | 2147483647    10010     50 | 56.717 % |
18.28/18.34	c |     10472 |   19150    92165   264036 | 2147483647    10186     50 | 56.717 % |
18.48/18.55	c |     10665 |   19150    92165   264036 | 2147483647    10379     49 | 56.717 % |
18.69/18.76	c |     10877 |   19150    92165   264036 | 2147483647    10591     49 | 56.717 % |
18.88/18.99	c |     11110 |   19150    92165   264036 | 2147483647    10824     49 | 56.717 % |
19.28/19.38	c |     11366 |   19150    92165   264036 | 2147483647    11080     49 | 56.717 % |
19.58/19.67	c |     11647 |   19149    92161   264026 | 2147483647    11360     49 | 56.720 % |
19.68/19.76	c |     11749 |   19149    92161   264026 | 2147483647    11462     49 | 56.720 % |
19.79/19.90	c |     11860 |   19148    92161   264026 | 2147483647    11572     49 | 56.740 % |
19.98/20.06	c |     11983 |   19148    92161   264026 | 2147483647    11695     50 | 56.740 % |
20.08/20.17	c |     12118 |   19148    92161   264026 | 2147483647    11830     49 | 56.740 % |
20.28/20.38	c |     12265 |   19140    92101   263861 | 2147483647    11975     49 | 56.740 % |
20.58/20.60	c |     12425 |   19138    92101   263861 | 2147483647    12133     49 | 56.790 % |
20.78/20.82	c |     12601 |   19138    92101   263861 | 2147483647    12309     49 | 56.790 % |
21.08/21.11	c |     12794 |   19118    91960   263478 | 2147483647    12491     49 | 56.790 % |
21.38/21.41	c |     13006 |   19117    91960   263478 | 2147483647    12702     50 | 56.817 % |
21.58/21.68	c |     13239 |   19105    91885   263291 | 2147483647    12934     49 | 56.842 % |
21.99/22.02	c |     13497 |   19105    91885   263291 | 2147483647    13192     49 | 56.842 % |
22.38/22.40	c |     13778 |   19095    91800   263077 | 2147483647    13471     49 | 56.842 % |
22.78/22.83	c |     14087 |   19095    91800   263077 | 2147483647    13780     49 | 56.842 % |
22.88/22.98	c |     14187 |   19095    91800   263077 | 2147483647    13880     49 | 56.842 % |
23.09/23.12	c |     14297 |   19095    91800   263077 | 2147483647    13990     49 | 56.842 % |
23.28/23.32	c |     14418 |   19095    91800   263077 | 2147483647    14111     49 | 56.842 % |
23.48/23.51	c |     14553 |   19095    91800   263077 | 2147483647    14246     48 | 56.842 % |
23.68/23.73	c |     14702 |   18094    86291   248961 | 2147483647    14389     48 | 59.104 % |
23.88/23.96	c |     14862 |   18094    86291   248961 | 2147483647    14548     48 | 59.728 % |
24.08/24.13	c |     15041 |   18094    86291   248961 | 2147483647    14727     48 | 59.728 % |
24.38/24.43	c |     15235 |   18094    86291   248961 | 2147483647    14921     48 | 59.728 % |
24.58/24.61	c |     15448 |   17818    84564   244170 | 2147483647    15134     49 | 59.728 % |
24.78/24.86	c |     15681 |   17818    84564   244170 | 2147483647    15367     49 | 59.728 % |
25.18/25.25	c |     15937 |   17818    84564   244170 | 2147483647    15623     49 | 59.728 % |
25.48/25.51	c |     16219 |   17817    84561   244164 | 2147483647    15901     49 | 59.730 % |
25.88/25.94	c |     16528 |   17816    84561   244164 | 2147483647    16209     49 | 59.757 % |
26.28/26.31	c |     16868 |   17816    84561   244164 | 2147483647    16549     49 | 59.757 % |
26.39/26.47	c |     16968 |   17804    84477   243941 | 2147483647    16647     49 | 59.780 % |
26.58/26.61	c |     17078 |   17804    84477   243941 | 2147483647    16757     49 | 59.780 % |
26.68/26.76	c |     17200 |   17804    84477   243941 | 2147483647    16879     49 | 59.780 % |
26.88/26.97	c |     17338 |   17804    84477   243941 | 2147483647    17017     49 | 59.780 % |
27.08/27.14	c |     17484 |   17804    84477   243941 | 2147483647    17163     49 | 59.780 % |
27.28/27.33	c |     17645 |   17795    84406   243751 | 2147483647    17323     50 | 59.780 % |
27.38/27.50	c |     17821 |   17795    84406   243751 | 2147483647    17499     50 | 59.780 % |
27.68/27.72	c |     18015 |   17795    84406   243751 | 2147483647    17693     50 | 59.780 % |
27.88/27.95	c |     18229 |   17795    84406   243751 | 2147483647    17906     50 | 60.056 % |
28.28/28.32	c |     18465 |   17795    84406   243751 | 2147483647    18142     50 | 60.056 % |
28.59/28.62	c |     18723 |   17673    83671   241753 | 2147483647    18400     50 | 60.056 % |
28.88/28.93	c |     19005 |   17673    83671   241753 | 2147483647    18682     50 | 60.056 % |
29.28/29.31	c |     19318 |   17673    83671   241753 | 2147483647    18995     50 | 60.056 % |
29.69/29.71	c |     19658 |   17673    83671   241753 | 2147483647    19335     50 | 60.056 % |
30.18/30.24	c |     20030 |   17673    83671   241753 | 2147483647    19707     49 | 60.056 % |
30.28/30.35	c |     20130 |   17673    83671   241753 | 2147483647    19807     49 | 60.056 % |
30.38/30.46	c |     20240 |   17673    83671   241753 | 2147483647    19917     49 | 60.056 % |
30.58/30.61	c |     20362 |   17673    83671   241753 | 2147483647    20039     50 | 60.056 % |
30.68/30.80	c |     20496 |   17673    83671   241753 | 2147483647    20173     50 | 60.056 % |
30.88/30.98	c |     20642 |   17673    83671   241753 | 2147483647    20319     50 | 60.056 % |
31.18/31.20	c |     20802 |   17673    83671   241753 | 2147483647    20479     50 | 60.056 % |
31.38/31.47	c |     20978 |   17662    83589   241533 | 2147483647    20651     50 | 60.081 % |
31.68/31.72	c |     21171 |   17662    83589   241533 | 2147483647    20844     50 | 60.080 % |
31.89/31.97	c |     21385 |   17662    83589   241533 | 2147483647    21058     50 | 60.080 % |
32.18/32.27	c |     21618 |   17662    83589   241533 | 2147483647    21291     50 | 60.081 % |
32.58/32.62	c |     21877 |   17662    83589   241533 | 2147483647    21550     50 | 60.080 % |
32.88/32.97	c |     22159 |   17662    83589   241533 | 2147483647    21832     50 | 60.080 % |
33.28/33.39	c |     22468 |   17662    83589   241533 | 2147483647    22141     49 | 60.080 % |
33.68/33.79	c |     22808 |   17661    83586   241527 | 2147483647    22475     49 | 60.083 % |
34.18/34.23	c |     23182 |   17661    83586   241527 | 2147483647    22849     49 | 60.083 % |
34.68/34.73	c |     23592 |   17661    83586   241527 | 2147483647    23259     49 | 60.083 % |
34.78/34.82	c |     23693 |   17661    83586   241527 | 2147483647    23360     49 | 60.083 % |
34.88/34.97	c |     23804 |   17303    81697   236163 | 2147483647    23338     49 | 60.892 % |
34.98/35.10	c |     23926 |   17303    81697   236163 | 2147483647    23460     49 | 60.892 % |
35.19/35.27	c |     24060 |   17302    81697   236163 | 2147483647    23593     49 | 60.917 % |
35.38/35.43	c |     24206 |   17302    81697   236163 | 2147483647    23739     49 | 60.917 % |
35.68/35.73	c |     24368 |   17302    81697   236163 | 2147483647    23901     49 | 60.917 % |
35.88/35.95	c |     24544 |   17302    81697   236163 | 2147483647    24077     49 | 60.917 % |
36.18/36.20	c |     24739 |   17302    81697   236163 | 2147483647    24272     49 | 60.917 % |
36.48/36.56	c |     24952 |   17291    81619   235958 | 2147483647    24473     49 | 60.944 % |
36.88/36.96	c |     25186 |   17291    81619   235958 | 2147483647    24706     49 | 60.969 % |
37.18/37.28	c |     25442 |   17291    81619   235958 | 2147483647    24962     49 | 60.969 % |
37.58/37.66	c |     25723 |   17291    81619   235958 | 2147483647    25243     49 | 60.969 % |
37.98/38.03	c |     26033 |   17269    81469   235563 | 2147483647    25547     49 | 60.969 % |
38.38/38.46	c |     26373 |   17268    81469   235563 | 2147483647    25885     49 | 61.025 % |
39.08/39.18	c |     26755 |   17268    81469   235563 | 2147483647    26267     49 | 61.025 % |
39.78/39.86	c |     27165 |   17244    81306   235116 | 2147483647    26668     49 | 61.025 % |
40.48/40.59	c |     27614 |   17244    81306   235116 | 2147483647    27117     49 | 61.025 % |
40.69/40.75	c |     27714 |   17244    81306   235116 | 2147483647    27217     49 | 61.025 % |
40.88/40.96	c |     27824 |   17244    81306   235116 | 2147483647    27327     49 | 61.025 % |
41.08/41.15	c |     27946 |   17244    81306   235116 | 2147483647    27449     49 | 61.025 % |
41.28/41.35	c |     28081 |   17244    81306   235116 | 2147483647    27584     49 | 61.025 % |
41.48/41.56	c |     28228 |   17244    81306   235116 | 2147483647    27731     49 | 61.025 % |
41.68/41.79	c |     28388 |   17244    81306   235116 | 2147483647    27891     49 | 61.025 % |
41.98/42.02	c |     28566 |   17244    81306   235116 | 2147483647    28069     49 | 61.025 % |
42.18/42.24	c |     28760 |   17244    81306   235116 | 2147483647    28263     49 | 61.025 % |
42.48/42.54	c |     28974 |   17244    81306   235116 | 2147483647    28477     48 | 61.025 % |
42.89/42.97	c |     29207 |   17244    81306   235116 | 2147483647    28709     48 | 61.055 % |
43.08/43.18	c |     29463 |   17231    81224   234895 | 2147483647    28964     48 | 61.055 % |
43.48/43.51	c |     29744 |   17231    81224   234895 | 2147483647    29245     48 | 61.055 % |
43.88/43.91	c |     30053 |   17231    81224   234895 | 2147483647    29554     48 | 61.055 % |
44.28/44.31	c |     30394 |   17231    81224   234895 | 2147483647    29895     48 | 61.055 % |
44.68/44.74	c |     30767 |   17231    81224   234895 | 2147483647    30268     48 | 61.055 % |
45.28/45.33	c |     31179 |   17208    81075   234501 | 2147483647    30677     48 | 61.107 % |
45.68/45.71	c |     31628 |   17208    81075   234501 | 2147483647    31126     48 | 61.107 % |
46.48/46.51	c |     32124 |   17208    81075   234501 | 2147483647    31622     48 | 61.107 % |
46.58/46.67	c |     32225 |   17208    81075   234501 | 2147483647    31723     48 | 61.107 % |
46.68/46.80	c |     32336 |   17208    81075   234501 | 2147483647    31834     48 | 61.107 % |
46.88/46.93	c |     32457 |   17208    81075   234501 | 2147483647    31955     48 | 61.107 % |
47.08/47.16	c |     32590 |   16354    76502   221608 | 2147483647    32085     48 | 63.037 % |
47.29/47.33	c |     32736 |   16354    76502   221608 | 2147483647    32231     48 | 63.037 % |
47.48/47.52	c |     32896 |   16353    76502   221608 | 2147483647    32390     48 | 63.039 % |
47.68/47.77	c |     33072 |   16353    76502   221608 | 2147483647    32566     48 | 63.039 % |
47.98/48.08	c |     33266 |   16353    76502   221608 | 2147483647    32760     48 | 63.039 % |
48.39/48.47	c |     33480 |   16353    76502   221608 | 2147483647    32974     48 | 63.039 % |
48.68/48.74	c |     33715 |   16352    76502   221608 | 2147483647    33208     48 | 63.066 % |
49.08/49.13	c |     33971 |   16352    76502   221608 | 2147483647    33464     48 | 63.066 % |
49.38/49.50	c |     34253 |   16341    76431   221416 | 2147483647    33725     48 | 63.066 % |
49.98/50.07	c |     34562 |   16341    76431   221416 | 2147483647    34034     48 | 63.066 % |
50.38/50.49	c |     34901 |   16341    76431   221416 | 2147483647    34373     48 | 63.066 % |
50.88/50.90	c |     35274 |   16341    76431   221416 | 2147483647    34746     48 | 63.066 % |
51.58/51.67	c |     35684 |   16341    76431   221416 | 2147483647    35156     48 | 63.066 % |
52.58/52.62	c |     36135 |   16341    76431   221416 | 2147483647    35607     48 | 63.066 % |
53.28/53.37	c |     36628 |   16341    76431   221416 | 2147483647    36100     47 | 63.066 % |
54.28/54.38	c |     37170 |   16341    76431   221416 | 2147483647    36642     47 | 63.066 % |
54.48/54.56	c |     37270 |   16341    76431   221416 | 2147483647    36742     47 | 63.066 % |
54.68/54.70	c |     37380 |   16341    76431   221416 | 2147483647    36852     48 | 63.066 % |
54.78/54.88	c |     37501 |   16330    76361   221225 | 2147483647    36967     48 | 63.091 % |
54.99/55.02	c |     37635 |   16330    76361   221225 | 2147483647    37101     48 | 63.091 % |
55.18/55.20	c |     37782 |   16327    76361   221225 | 2147483647    37246     48 | 63.717 % |
55.38/55.41	c |     37942 |   16327    76361   221225 | 2147483647    37406     48 | 63.717 % |
55.58/55.64	c |     38118 |   16327    76361   221225 | 2147483647    37582     48 | 63.717 % |
55.88/55.94	c |     38314 |   16327    76361   221225 | 2147483647    37778     48 | 63.717 % |
56.18/56.23	c |     38529 |   16327    76361   221225 | 2147483647    37992     48 | 63.744 % |
56.38/56.49	c |     38762 |   16326    76361   221225 | 2147483647    38224     48 | 63.769 % |
56.78/56.85	c |     39020 |   16018    74765   216726 | 2147483647    38417     48 | 63.796 % |
57.08/57.12	c |     39301 |   16017    74765   216726 | 2147483647    38697     48 | 63.819 % |
57.38/57.40	c |     39612 |   16017    74765   216726 | 2147483647    39008     48 | 63.819 % |
57.78/57.82	c |     39952 |   16017    74765   216726 | 2147483647    39348     48 | 63.819 % |
58.18/58.22	c |     40324 |   16017    74765   216726 | 2147483647    39720     48 | 63.819 % |
58.78/58.89	c |     40737 |   16017    74765   216726 | 2147483647    40133     48 | 63.819 % |
59.48/59.52	c |     41186 |   15591    72087   209716 | 2147483647    40572     48 | 64.793 % |
60.18/60.23	c |     41680 |   15591    72087   209716 | 2147483647    41065     47 | 65.283 % |
60.78/60.82	c |     42222 |   15591    72087   209716 | 2147483647    41607     47 | 65.283 % |
61.59/61.69	c |     42818 |   15591    72087   209716 | 2147483647    42203     47 | 65.283 % |
61.78/61.83	c |     42922 |   15360    70833   206284 | 2147483647    42307     47 | 65.283 % |
61.88/61.96	c |     43032 |   15360    70833   206284 | 2147483647    42417     47 | 65.283 % |
62.08/62.10	c |     43155 |   15360    70833   206284 | 2147483647    42540     47 | 65.283 % |
62.29/62.35	c |     43290 |   15360    70833   206284 | 2147483647    42675     47 | 65.283 % |
62.49/62.54	c |     43436 |   15360    70833   206284 | 2147483647    42821     47 | 65.283 % |
62.69/62.76	c |     43596 |   15360    70833   206284 | 2147483647    42981     47 | 65.283 % |
62.89/62.97	c |     43772 |   15360    70833   206284 | 2147483647    43157     47 | 65.283 % |
63.19/63.28	c |     43967 |   15360    70833   206284 | 2147483647    43352     47 | 65.283 % |
63.39/63.50	c |     44179 |   15360    70833   206284 | 2147483647    43564     47 | 65.283 % |
63.69/63.79	c |     44412 |   15360    70833   206284 | 2147483647    43797     47 | 65.283 % |
64.09/64.20	c |     44668 |   15360    70833   206284 | 2147483647    44053     47 | 65.283 % |
64.59/64.68	c |     44949 |   15360    70833   206284 | 2147483647    44334     47 | 65.283 % |
65.19/65.23	c |     45260 |   15360    70833   206284 | 2147483647    44645     47 | 65.283 % |
65.60/65.68	c |     45599 |   15360    70833   206284 | 2147483647    44984     47 | 65.283 % |
66.20/66.31	c |     45971 |   15347    70752   206063 | 2147483647    45349     47 | 65.313 % |
66.80/66.87	c |     46380 |   15347    70752   206063 | 2147483647    45758     47 | 65.313 % |
67.40/67.46	c |     46830 |   15345    70752   206063 | 2147483647    46206     47 | 65.363 % |
68.00/68.02	c |     47323 |   15345    70752   206063 | 2147483647    46699     47 | 65.363 % |
68.60/68.64	c |     47866 |   15345    70752   206063 | 2147483647    47242     47 | 65.363 % |
69.60/69.70	c |     48464 |   15323    70623   205732 | 2147483647    47834     47 | 65.421 % |
70.40/70.50	c |     49119 |   15323    70623   205732 | 2147483647    48489     47 | 65.421 % |
70.60/70.64	c |     49221 |   15323    70623   205732 | 2147483647    48591     47 | 65.421 % |
70.80/70.89	c |     49332 |   15323    70623   205732 | 2147483647    48702     47 | 65.421 % |
71.00/71.05	c |     49454 |   15323    70623   205732 | 2147483647    48824     47 | 65.421 % |
71.10/71.20	c |     49588 |   15323    70623   205732 | 2147483647    48958     47 | 65.421 % |
71.40/71.45	c |     49734 |   15295    70430   205209 | 2147483647    49085     47 | 65.430 % |
71.60/71.70	c |     49901 |   15295    70430   205209 | 2147483647    49252     47 | 65.430 % |
71.80/71.91	c |     50078 |   15295    70430   205209 | 2147483647    49429     47 | 65.430 % |
72.10/72.20	c |     50272 |   15295    70430   205209 | 2147483647    49622     47 | 65.462 % |
72.40/72.52	c |     50485 |   15295    70430   205209 | 2147483647    49833     47 | 65.509 % |
72.80/72.86	c |     50718 |   15295    70430   205209 | 2147483647    50066     47 | 65.509 % |
73.20/73.26	c |     50974 |   15295    70430   205209 | 2147483647    50322     47 | 65.509 % |
73.60/73.66	c |     51255 |   15295    70430   205209 | 2147483647    50603     47 | 65.509 % |
74.20/74.23	c |     51566 |   15295    70430   205209 | 2147483647    50914     47 | 65.509 % |
74.70/74.78	c |     51905 |   15260    70218   204656 | 2147483647    51229     47 | 65.509 % |
75.20/75.24	c |     52277 |   15260    70218   204656 | 2147483647    51601     47 | 65.509 % |
75.80/75.86	c |     52688 |   15260    70218   204656 | 2147483647    52012     47 | 65.509 % |
76.70/76.76	c |     53137 |   15260    70218   204656 | 2147483647    52461     47 | 65.509 % |
77.50/77.57	c |     53632 |   15260    70218   204656 | 2147483647    52956     47 | 65.509 % |
78.70/78.77	c |     54174 |   15260    70218   204656 | 2147483647    53498     47 | 65.509 % |
79.70/79.76	c |     54771 |   15248    70146   204459 | 2147483647    54088     47 | 65.537 % |
80.60/80.69	c |     55427 |   15248    70146   204459 | 2147483647    54744     46 | 65.537 % |
82.10/82.19	c |     56148 |   15248    70146   204459 | 2147483647    55465     46 | 65.537 % |
82.30/82.33	c |     56249 |   15248    70146   204459 | 2147483647    55566     46 | 65.537 % |
82.50/82.56	c |     56362 |   15248    70146   204459 | 2147483647    55679     46 | 65.537 % |
82.80/82.83	c |     56483 |   15248    70146   204459 | 2147483647    55800     46 | 65.537 % |
83.00/83.02	c |     56616 |   15248    70146   204459 | 2147483647    55933     46 | 65.537 % |
83.30/83.34	c |     56762 |   15248    70146   204459 | 2147483647    56079     46 | 65.537 % |
83.60/83.70	c |     56922 |   15235    70068   204238 | 2147483647    56233     46 | 65.589 % |
84.00/84.04	c |     57100 |   15234    70068   204238 | 2147483647    56410     46 | 65.618 % |
84.20/84.30	c |     57294 |   15234    70068   204238 | 2147483647    56604     46 | 65.618 % |
84.50/84.60	c |     57506 |   15234    70068   204238 | 2147483647    56816     46 | 65.618 % |
84.80/84.84	c |     57740 |   15234    70068   204238 | 2147483647    57050     46 | 65.618 % |
85.20/85.22	c |     57996 |   15234    70068   204238 | 2147483647    57306     46 | 65.618 % |
85.60/85.64	c |     58277 |   15234    70068   204238 | 2147483647    57587     46 | 65.618 % |
86.10/86.16	c |     58586 |   15234    70068   204238 | 2147483647    57896     46 | 65.618 % |
86.50/86.54	c |     58925 |   15234    70068   204238 | 2147483647    58235     46 | 65.618 % |
87.00/87.05	c |     59297 |   15234    70068   204238 | 2147483647    58607     46 | 65.618 % |
87.60/87.70	c |     59706 |   15212    69921   203815 | 2147483647    59006     46 | 65.618 % |
88.30/88.38	c |     60155 |   15212    69921   203815 | 2147483647    59455     46 | 65.618 % |
89.10/89.21	c |     60649 |   15212    69921   203815 | 2147483647    59949     46 | 65.618 % |
90.20/90.25	c |     61191 |   15212    69921   203815 | 2147483647    60491     46 | 65.618 % |
91.20/91.22	c |     61787 |   15212    69921   203815 | 2147483647    61087     46 | 65.618 % |
92.10/92.19	c |     62442 |   15212    69921   203815 | 2147483647    61742     46 | 65.618 % |
93.20/93.29	c |     63163 |   15212    69921   203815 | 2147483647    62463     46 | 65.618 % |
94.40/94.51	c |     63955 |   15212    69921   203815 | 2147483647    63255     46 | 65.618 % |
94.60/94.68	c |     64055 |   15212    69921   203815 | 2147483647    63355     46 | 65.618 % |
94.80/94.84	c |     64167 |   15212    69921   203815 | 2147483647    63467     46 | 65.618 % |
94.90/95.00	c |     64289 |   15212    69921   203815 | 2147483647    63589     46 | 65.618 % |
95.20/95.23	c |     64422 |   15212    69921   203815 | 2147483647    63722     46 | 65.618 % |
95.40/95.50	c |     64568 |   15212    69921   203815 | 2147483647    63868     46 | 65.618 % |
95.70/95.76	c |     64728 |   15212    69921   203815 | 2147483647    64028     46 | 65.618 % |
96.00/96.08	c |     64905 |   15212    69921   203815 | 2147483647    64205     46 | 65.618 % |
96.30/96.38	c |     65099 |   15212    69921   203815 | 2147483647    64399     46 | 65.618 % |
96.70/96.73	c |     65311 |   15212    69921   203815 | 2147483647    64611     46 | 65.618 % |
97.10/97.14	c |     65546 |   15212    69921   203815 | 2147483647    64846     46 | 65.618 % |
97.50/97.53	c |     65803 |   15212    69921   203815 | 2147483647    65103     46 | 65.618 % |
97.90/97.98	c |     66087 |   15212    69921   203815 | 2147483647    65387     46 | 65.618 % |
98.30/98.39	c |     66400 |   15212    69921   203815 | 2147483647    65700     46 | 65.618 % |
98.70/98.78	c |     66739 |   15212    69921   203815 | 2147483647    66039     45 | 65.618 % |
99.40/99.48	c |     67112 |   15212    69921   203815 | 2147483647    66412     45 | 65.618 % |
100.00/100.06	c |     67521 |   15212    69921   203815 | 2147483647    66821     46 | 65.618 % |
100.60/100.66	c |     67971 |   15212    69921   203815 | 2147483647    67271     45 | 65.618 % |
101.30/101.38	c |     68464 |   15212    69921   203815 | 2147483647    67764     45 | 65.618 % |
102.30/102.38	c |     69006 |   15199    69850   203622 | 2147483647    68291     45 | 65.647 % |
103.20/103.26	c |     69602 |   15199    69850   203622 | 2147483647    68887     45 | 65.647 % |
104.40/104.44	c |     70257 |   15199    69850   203622 | 2147483647    69542     45 | 65.647 % |
105.80/105.90	c |     70980 |   15199    69850   203622 | 2147483647    70265     45 | 65.647 % |
107.00/107.06	c |     71773 |   15143    69653   202995 | 2147483647    71054     45 | 65.830 % |
108.80/108.85	c |     72645 |   15143    69653   202995 | 2147483647    71926     45 | 65.830 % |
109.00/109.04	c |     72748 |   15143    69653   202995 | 2147483647    72029     45 | 65.830 % |
109.20/109.25	c |     72858 |   15143    69653   202995 | 2147483647    72139     45 | 65.830 % |
109.40/109.50	c |     72984 |   15143    69653   202995 | 2147483647    72265     45 | 65.830 % |
109.70/109.73	c |     73118 |   15143    69653   202995 | 2147483647    72399     45 | 65.830 % |
110.00/110.01	c |     73265 |   15143    69653   202995 | 2147483647    72546     45 | 65.830 % |
110.30/110.39	c |     73425 |   15143    69653   202995 | 2147483647    72706     45 | 65.830 % |
110.60/110.71	c |     73601 |   15143    69653   202995 | 2147483647    72882     45 | 65.830 % |
111.00/111.04	c |     73794 |   15143    69653   202995 | 2147483647    73075     45 | 65.830 % |
111.40/111.48	c |     74006 |   15143    69653   202995 | 2147483647    73287     45 | 65.830 % |
111.80/111.87	c |     74240 |   15118    69504   202586 | 2147483647    73509     45 | 65.830 % |
112.20/112.31	c |     74496 |   15118    69504   202586 | 2147483647    73765     45 | 65.830 % |
112.90/112.91	c |     74777 |   15117    69504   202586 | 2147483647    74045     45 | 65.851 % |
113.50/113.61	c |     75089 |   15117    69504   202586 | 2147483647    74356     45 | 65.948 % |
114.10/114.16	c |     75429 |   15114    69504   202586 | 2147483647    74696     45 | 65.948 % |
114.80/114.82	c |     75801 |   15114    69504   202586 | 2147483647    75068     45 | 65.948 % |
115.70/115.74	c |     76215 |   15114    69504   202586 | 2147483647    75482     45 | 65.948 % |
116.50/116.53	c |     76667 |   15114    69504   202586 | 2147483647    75934     45 | 65.948 % |
117.20/117.26	c |     77160 |   15114    69504   202586 | 2147483647    76427     45 | 65.948 % |
118.00/118.07	c |     77704 |   15066    69206   201711 | 2147483647    76961     45 | 65.948 % |
118.80/118.90	c |     78300 |   15066    69206   201711 | 2147483647    77557     45 | 65.948 % |
120.00/120.05	c |     78955 |   15065    69206   201711 | 2147483647    78211     45 | 65.973 % |
121.30/121.34	c |     79676 |   15065    69206   201711 | 2147483647    78932     45 | 65.973 % |
122.40/122.48	c |     80468 |   15065    69206   201711 | 2147483647    79724     44 | 65.973 % |
124.30/124.36	c |     81339 |   15043    69054   201299 | 2147483647    80586     44 | 66.000 % |
126.30/126.41	c |     82297 |   15041    69054   201299 | 2147483647    81542     44 | 66.047 % |
126.50/126.59	c |     82398 |   15041    69054   201299 | 2147483647    81643     44 | 66.047 % |
126.70/126.78	c |     82508 |   15041    69054   201299 | 2147483647    81753     44 | 66.047 % |
126.90/127.00	c |     82629 |   15041    69054   201299 | 2147483647    81874     44 | 66.047 % |
127.20/127.26	c |     82763 |   15041    69054   201299 | 2147483647    82008     44 | 66.047 % |
127.40/127.51	c |     82909 |   15041    69054   201299 | 2147483647    82154     44 | 66.047 % |
127.80/127.84	c |     83069 |   15041    69054   201299 | 2147483647    82314     44 | 66.047 % |
128.10/128.17	c |     83246 |   15041    69054   201299 | 2147483647    82491     44 | 66.047 % |
128.40/128.46	c |     83439 |   15041    69054   201299 | 2147483647    82684     44 | 66.047 % |
128.70/128.81	c |     83653 |   15041    69054   201299 | 2147483647    82898     44 | 66.047 % |
129.20/129.23	c |     83888 |   15041    69054   201299 | 2147483647    83133     44 | 66.047 % |
129.60/129.71	c |     84144 |   15022    68926   200961 | 2147483647    83382     44 | 66.047 % |
130.20/130.29	c |     84425 |   15022    68926   200961 | 2147483647    83663     44 | 66.047 % |
131.00/131.06	c |     84734 |   15022    68926   200961 | 2147483647    83971     44 | 67.028 % |
131.70/131.74	c |     85073 |   15020    68926   200961 | 2147483647    84309     44 | 67.207 % |
132.40/132.43	c |     85445 |   15020    68926   200961 | 2147483647    84680     44 | 67.239 % |
133.30/133.32	c |     85854 |   15020    68926   200961 | 2147483647    85089     44 | 67.239 % |
133.90/133.97	c |     86305 |   15020    68926   200961 | 2147483647    85540     44 | 67.238 % |
134.90/134.93	c |     86800 |   15020    68926   200961 | 2147483647    86035     44 | 67.238 % |
135.90/135.92	c |     87342 |   15020    68926   200961 | 2147483647    86577     44 | 67.238 % |
136.90/136.96	c |     87939 |   14495    66431   193791 | 2147483647    87156     44 | 67.238 % |
138.20/138.30	c |     88594 |   14495    66431   193791 | 2147483647    87811     44 | 67.238 % |
139.30/139.37	c |     89314 |   14495    66431   193791 | 2147483647    88531     44 | 67.238 % |
141.20/141.25	c |     90109 |   14495    66431   193791 | 2147483647    89326     44 | 67.239 % |
142.90/142.97	c |     90981 |   14495    66431   193791 | 2147483647    90198     44 | 67.238 % |
144.70/144.76	c |     91943 |   14495    66431   193791 | 2147483647    91160     44 | 67.239 % |
146.60/146.62	c |     92998 |   14495    66431   193791 | 2147483647    92215     44 | 67.239 % |
146.80/146.91	c |     93099 |   14483    66353   193580 | 2147483647    92315     44 | 67.266 % |
147.00/147.06	c |     93209 |   14483    66353   193580 | 2147483647    92425     44 | 67.266 % |
147.30/147.33	c |     93331 |   14483    66353   193580 | 2147483647    92547     44 | 67.266 % |
147.60/147.61	c |     93467 |   14483    66353   193580 | 2147483647    92683     44 | 67.266 % |
147.90/147.93	c |     93613 |   14483    66353   193580 | 2147483647    92829     44 | 67.266 % |
148.20/148.22	c |     93775 |   14483    66353   193580 | 2147483647    92991     44 | 67.266 % |
148.51/148.60	c |     93952 |   14483    66353   193580 | 2147483647    93168     44 | 67.266 % |
149.00/149.02	c |     94145 |   14483    66353   193580 | 2147483647    93361     44 | 67.266 % |
149.50/149.55	c |     94358 |   14483    66353   193580 | 2147483647    93574     44 | 67.266 % |
150.10/150.11	c |     94592 |   14483    66353   193580 | 2147483647    93807     44 | 67.392 % |
150.50/150.57	c |     94849 |   14483    66353   193580 | 2147483647    94064     44 | 67.392 % |
151.00/151.11	c |     95132 |   14483    66353   193580 | 2147483647    94346     44 | 67.501 % |
151.60/151.68	c |     95442 |   14483    66353   193580 | 2147483647    94656     44 | 67.501 % |
152.20/152.30	c |     95782 |   14483    66353   193580 | 2147483647    94996     44 | 67.501 % |
153.00/153.02	c |     96155 |   14483    66353   193580 | 2147483647    95369     44 | 67.501 % |
153.70/153.81	c |     96566 |   14483    66353   193580 | 2147483647    95780     44 | 67.501 % |
154.30/154.40	c |     97015 |   14379    65759   191886 | 2147483647    96187     44 | 67.501 % |
155.20/155.25	c |     97509 |   14379    65759   191886 | 2147483647    96681     44 | 67.501 % |
156.21/156.22	c |     98053 |   14379    65759   191886 | 2147483647    97225     44 | 67.501 % |
157.31/157.35	c |     98649 |   14379    65759   191886 | 2147483647    97821     44 | 67.501 % |
158.30/158.34	c |     99304 |   14379    65759   191886 | 2147483647    98476     44 | 67.501 % |
159.80/159.84	c |    100024 |   14379    65759   191886 | 2147483647    99196     44 | 67.501 % |
161.40/161.50	c |    100816 |   14379    65759   191886 | 2147483647    99988     44 | 67.501 % |
163.30/163.33	c |    101688 |   14379    65759   191886 | 2147483647   100860     44 | 67.501 % |
165.10/165.19	c |    102648 |   14379    65759   191886 | 2147483647   101820     44 | 67.501 % |
166.90/166.96	c |    103702 |   14379    65759   191886 | 2147483647   102874     44 | 67.501 % |
169.30/169.36	c |    104862 |   14379    65759   191886 | 2147483647   104034     44 | 67.501 % |
169.60/169.61	c |    104964 |   14379    65759   191886 | 2147483647   104136     44 | 67.501 % |
169.80/169.83	c |    105074 |   14379    65759   191886 | 2147483647   104246     44 | 67.501 % |
170.10/170.11	c |    105196 |   14379    65759   191886 | 2147483647   104368     44 | 67.501 % |
170.40/170.43	c |    105329 |   14379    65759   191886 | 2147483647   104501     44 | 67.501 % |
170.60/170.70	c |    105477 |   14379    65759   191886 | 2147483647   104649     44 | 67.501 % |
171.00/171.01	c |    105639 |   14379    65759   191886 | 2147483647   104811     44 | 67.501 % |
171.30/171.36	c |    105815 |   14379    65759   191886 | 2147483647   104987     44 | 67.501 % |
171.90/171.94	c |    106009 |   14379    65759   191886 | 2147483647   105181     44 | 67.501 % |
172.30/172.37	c |    106223 |   14379    65759   191886 | 2147483647   105395     44 | 67.501 % |
173.00/173.06	c |    106456 |   14379    65759   191886 | 2147483647   105628     44 | 67.501 % |
173.50/173.58	c |    106715 |   14379    65759   191886 | 2147483647   105887     44 | 67.501 % |
174.30/174.37	c |    106997 |   14379    65759   191886 | 2147483647   106169     44 | 67.501 % |
175.00/175.06	c |    107307 |   14379    65759   191886 | 2147483647   106479     44 | 67.501 % |
176.01/176.08	c |    107646 |   14379    65759   191886 | 2147483647   106818     44 | 67.501 % |
176.90/176.98	c |    108021 |   14379    65759   191886 | 2147483647   107193     44 | 67.501 % |
178.00/178.07	c |    108431 |   14379    65759   191886 | 2147483647   107603     44 | 67.501 % |
178.80/178.90	c |    108881 |   14379    65759   191886 | 2147483647   108053     44 | 67.501 % |
180.10/180.16	c |    109374 |   14379    65759   191886 | 2147483647   108546     44 | 67.501 % |
181.10/181.13	c |    109917 |   14379    65759   191886 | 2147483647   109089     44 | 67.501 % |
182.10/182.12	c |    110513 |   14379    65759   191886 | 2147483647   109685     44 | 67.501 % |
183.50/183.60	c |    111169 |   14379    65759   191886 | 2147483647   110341     44 | 67.501 % |
185.00/185.10	c |    111889 |   14379    65759   191886 | 2147483647   111061     44 | 67.501 % |
186.50/186.51	c |    112682 |   14379    65759   191886 | 2147483647   111854     44 | 67.501 % |
188.30/188.36	c |    113555 |   14379    65759   191886 | 2147483647   112727     44 | 67.501 % |
190.10/190.18	c |    114513 |   14379    65759   191886 | 2147483647   113685     43 | 67.501 % |
192.00/192.08	c |    115567 |   14364    65672   191642 | 2147483647   114738     44 | 67.535 % |
194.81/194.84	c |    116725 |   14364    65672   191642 | 2147483647   115896     44 | 67.535 % |
197.91/197.99	c |    117999 |   14364    65672   191642 | 2147483647   117170     43 | 67.535 % |
198.11/198.21	c |    118100 |   14364    65672   191642 | 2147483647   117271     43 | 67.535 % |
198.41/198.42	c |    118210 |   14364    65672   191642 | 2147483647   117381     43 | 67.535 % |
198.71/198.72	c |    118333 |   14364    65672   191642 | 2147483647   117504     43 | 67.535 % |
199.01/199.12	c |    118467 |   14364    65672   191642 | 2147483647   117637     43 | 67.546 % |
199.51/199.54	c |    118618 |   14364    65672   191642 | 2147483647   117788     43 | 67.546 % |
199.81/199.92	c |    118778 |   14364    65672   191642 | 2147483647   117948     43 | 67.546 % |
200.41/200.43	c |    118956 |   14364    65672   191642 | 2147483647   118126     43 | 67.546 % |
200.91/200.98	c |    119151 |   14359    65627   191523 | 2147483647   118321     43 | 67.546 % |
201.51/201.54	c |    119364 |   14359    65627   191523 | 2147483647   118534     43 | 67.546 % |
201.91/201.97	c |    119597 |   14359    65627   191523 | 2147483647   118767     43 | 67.546 % |
202.71/202.77	c |    119853 |   14359    65627   191523 | 2147483647   119023     43 | 67.546 % |
203.31/203.39	c |    120134 |   14359    65627   191523 | 2147483647   119304     43 | 67.546 % |
204.51/204.61	c |    120445 |   14359    65627   191523 | 2147483647   119615     43 | 67.546 % |
205.81/205.89	c |    120787 |   14359    65627   191523 | 2147483647   119957     43 | 67.546 % |
206.91/207.00	c |    121159 |   14359    65627   191523 | 2147483647   120329     43 | 67.546 % |
208.01/208.04	c |    121568 |   14359    65627   191523 | 2147483647   120738     43 | 67.546 % |
209.11/209.15	c |    122017 |   14359    65627   191523 | 2147483647   121187     43 | 67.546 % |
210.21/210.23	c |    122510 |   14359    65627   191523 | 2147483647   121680     43 | 67.546 % |
211.51/211.52	c |    123053 |   14359    65627   191523 | 2147483647   122223     43 | 67.546 % |
213.11/213.12	c |    123649 |   14359    65627   191523 | 2147483647   122819     43 | 67.546 % |
214.61/214.68	c |    124304 |   14359    65627   191523 | 2147483647   123474     43 | 67.546 % |
216.11/216.16	c |    125024 |   14359    65627   191523 | 2147483647   124194     43 | 67.546 % |
217.81/217.89	c |    125816 |   14359    65627   191523 | 2147483647   124986     43 | 67.546 % |
219.61/219.65	c |    126687 |   14359    65627   191523 | 2147483647   125857     43 | 67.546 % |
222.21/222.23	c |    127647 |   14359    65627   191523 | 2147483647   126817     44 | 67.546 % |
224.01/224.10	c |    128700 |   14359    65627   191523 | 2147483647   127870     44 | 67.546 % |
226.71/226.73	c |    129864 |   14359    65627   191523 | 2147483647   129034     44 | 67.546 % |
229.61/229.65	c |    131139 |   14349    65558   191330 | 2147483647   130305     44 | 67.569 % |
233.31/233.37	c |    132540 |   14349    65558   191330 | 2147483647   131706     43 | 67.568 % |
233.51/233.60	c |    132641 |   14349    65558   191330 | 2147483647   131807     43 | 67.568 % |
233.91/233.93	c |    132751 |   14349    65558   191330 | 2147483647   131917     43 | 67.568 % |
234.31/234.34	c |    132872 |   14349    65558   191330 | 2147483647   132038     43 | 67.568 % |
234.61/234.70	c |    133005 |   14349    65558   191330 | 2147483647   132171     43 | 67.569 % |
235.01/235.08	c |    133151 |   14349    65558   191330 | 2147483647   132317     43 | 67.568 % |
235.51/235.54	c |    133311 |   14349    65558   191330 | 2147483647   132477     43 | 67.568 % |
236.01/236.04	c |    133487 |   14349    65558   191330 | 2147483647   132653     43 | 67.568 % |
236.61/236.71	c |    133681 |   14349    65558   191330 | 2147483647   132847     43 | 67.568 % |
237.11/237.19	c |    133893 |   14349    65558   191330 | 2147483647   133059     43 | 67.568 % |
237.71/237.78	c |    134126 |   14349    65558   191330 | 2147483647   133292     43 | 67.568 % |
238.41/238.46	c |    134383 |   14349    65558   191330 | 2147483647   133549     43 | 67.568 % |
239.11/239.18	c |    134664 |   14349    65558   191330 | 2147483647   133830     43 | 67.568 % |
239.91/239.93	c |    134974 |   14349    65558   191330 | 2147483647   134140     43 | 67.568 % |
240.71/240.76	c |    135313 |   14349    65558   191330 | 2147483647   134479     43 | 67.569 % |
241.91/242.00	c |    135691 |   14349    65558   191330 | 2147483647   134857     43 | 67.568 % |
243.01/243.06	c |    136101 |   14349    65558   191330 | 2147483647   135267     43 | 67.569 % |
244.31/244.39	c |    136552 |   14349    65558   191330 | 2147483647   135718     43 | 67.569 % |
245.61/245.66	c |    137046 |   14349    65558   191330 | 2147483647   136212     43 | 67.569 % |
247.01/247.03	c |    137589 |   14349    65558   191330 | 2147483647   136755     43 | 67.568 % |
248.21/248.28	c |    138186 |   14349    65558   191330 | 2147483647   137352     43 | 67.568 % |
249.91/249.92	c |    138841 |   14349    65558   191330 | 2147483647   138007     43 | 67.568 % |
251.51/251.60	c |    139562 |   14349    65558   191330 | 2147483647   138728     43 | 67.568 % |
253.01/253.06	c |    140355 |   14349    65558   191330 | 2147483647   139521     43 | 67.568 % |
255.21/255.31	c |    141226 |   14349    65558   191330 | 2147483647   140392     43 | 67.568 % |
257.01/257.07	c |    142184 |   14349    65558   191330 | 2147483647   141350     43 | 67.569 % |
260.11/260.17	c |    143237 |   14349    65558   191330 | 2147483647   142403     43 | 67.568 % |
262.71/262.80	c |    144395 |   14349    65558   191330 | 2147483647   143561     43 | 67.568 % |
266.31/266.39	c |    145668 |   14349    65558   191330 | 2147483647   144834     43 | 67.568 % |
270.31/270.37	c |    147069 |   14349    65558   191330 | 2147483647   146235     43 | 67.568 % |
273.61/273.64	c |    148609 |   14349    65558   191330 | 2147483647   147775     43 | 67.568 % |
273.81/273.89	c |    148710 |   14349    65558   191330 | 2147483647   147876     43 | 67.568 % |
274.21/274.22	c |    148820 |   14349    65558   191330 | 2147483647   147986     43 | 67.568 % |
274.51/274.56	c |    148942 |   14349    65558   191330 | 2147483647   148108     43 | 67.568 % |
274.91/274.95	c |    149075 |   14349    65558   191330 | 2147483647   148241     43 | 67.568 % |
275.41/275.49	c |    149226 |   14349    65558   191330 | 2147483647   148392     43 | 67.568 % |
275.91/275.97	c |    149387 |   14349    65558   191330 | 2147483647   148553     43 | 67.568 % |
276.41/276.43	c |    149564 |   14349    65558   191330 | 2147483647   148730     43 | 67.568 % |
276.91/276.98	c |    149757 |   14349    65558   191330 | 2147483647   148923     43 | 67.569 % |
277.51/277.56	c |    149971 |   14349    65558   191330 | 2147483647   149137     43 | 67.568 % |
278.21/278.25	c |    150205 |   14349    65558   191330 | 2147483647   149371     43 | 67.568 % |
279.01/279.07	c |    150461 |   14349    65558   191330 | 2147483647   149627     43 | 67.568 % |
279.71/279.79	c |    150742 |   14349    65558   191330 | 2147483647   149908     43 | 67.568 % |
280.52/280.56	c |    151051 |   14349    65558   191330 | 2147483647   150217     43 | 67.568 % |
281.21/281.29	c |    151393 |   14349    65558   191330 | 2147483647   150559     43 | 67.568 % |
282.31/282.37	c |    151765 |   14349    65558   191330 | 2147483647   150931     43 | 67.568 % |
283.61/283.66	c |    152174 |   14336    65478   191123 | 2147483647   151338     43 | 67.598 % |
285.31/285.40	c |    152623 |   14336    65478   191123 | 2147483647   151787     43 | 67.598 % |
286.31/286.33	c |    153116 |   14336    65478   191123 | 2147483647   152280     43 | 67.598 % |
287.81/287.81	c |    153661 |   14336    65478   191123 | 2147483647   152825     43 | 67.598 % |
289.51/289.51	c |    154257 |   14336    65478   191123 | 2147483647   153421     43 | 67.598 % |
290.81/290.87	c |    154913 |   14336    65478   191123 | 2147483647   154077     43 | 67.598 % |
293.01/293.03	c |    155633 |   14336    65478   191123 | 2147483647   154797     43 | 67.598 % |
295.51/295.51	c |    156427 |   14336    65478   191123 | 2147483647   155591     43 | 67.598 % |
297.61/297.68	c |    157299 |   14336    65478   191123 | 2147483647   156463     43 | 67.598 % |
300.41/300.50	c |    158259 |   14336    65478   191123 | 2147483647   157423     43 | 67.598 % |
303.41/303.49	c |    159312 |   14320    65390   190885 | 2147483647   158473     43 | 67.634 % |
306.81/306.83	c |    160470 |   14320    65390   190885 | 2147483647   159631     43 | 67.634 % |
310.71/310.73	c |    161744 |   14320    65390   190885 | 2147483647   160905     43 | 67.634 % |
313.81/313.89	c |    163144 |   14320    65390   190885 | 2147483647   162305     43 | 67.634 % |
317.41/317.48	c |    164686 |   14320    65390   190885 | 2147483647   163847     43 | 67.634 % |
322.01/322.09	c |    166381 |   14320    65390   190885 | 2147483647   165542     43 | 67.634 % |
322.41/322.44	c |    166481 |   14320    65390   190885 | 2147483647   165642     43 | 67.634 % |
322.71/322.78	c |    166592 |   14320    65390   190885 | 2147483647   165753     43 | 67.634 % |
323.21/323.26	c |    166714 |   14320    65390   190885 | 2147483647   165875     43 | 67.634 % |
323.51/323.59	c |    166851 |   14320    65390   190885 | 2147483647   166012     43 | 67.634 % |
324.11/324.18	c |    166997 |   14320    65390   190885 | 2147483647   166158     43 | 67.634 % |
324.62/324.62	c |    167159 |   14320    65390   190885 | 2147483647   166320     43 | 67.634 % |
325.12/325.15	c |    167335 |   14320    65390   190885 | 2147483647   166496     43 | 67.634 % |
325.62/325.65	c |    167528 |   14320    65390   190885 | 2147483647   166689     43 | 67.634 % |
326.32/326.32	c |    167740 |   14320    65390   190885 | 2147483647   166901     43 | 67.634 % |
327.12/327.18	c |    167973 |   13988    63830   186212 | 2147483647   167114     43 | 68.384 % |
328.22/328.23	c |    168231 |   13988    63830   186212 | 2147483647   167372     43 | 68.384 % |
328.92/328.96	c |    168512 |   13988    63830   186212 | 2147483647   167653     43 | 68.384 % |
330.02/330.08	c |    168821 |   13988    63830   186212 | 2147483647   167962     43 | 68.384 % |
331.22/331.26	c |    169160 |   13988    63830   186212 | 2147483647   168301     43 | 68.384 % |
332.42/332.50	c |    169532 |   13988    63830   186212 | 2147483647   168673     43 | 68.384 % |
333.42/333.49	c |    169941 |   13988    63830   186212 | 2147483647   169082     43 | 68.384 % |
334.62/334.71	c |    170393 |   13988    63830   186212 | 2147483647   169534     43 | 68.385 % |
335.82/335.89	c |    170886 |   13988    63830   186212 | 2147483647   170027     43 | 68.385 % |
337.12/337.17	c |    171429 |   13988    63830   186212 | 2147483647   170570     43 | 68.384 % |
339.02/339.05	c |    172026 |   13988    63830   186212 | 2147483647   171167     43 | 68.384 % |
340.92/341.00	c |    172682 |   13988    63830   186212 | 2147483647   171823     43 | 68.384 % |
342.42/342.50	c |    173403 |   13988    63830   186212 | 2147483647   172544     43 | 68.384 % |
344.92/344.96	c |    174195 |   13988    63830   186212 | 2147483647   173336     43 | 68.384 % |
347.12/347.18	c |    175067 |   13988    63830   186212 | 2147483647   174208     43 | 68.384 % |
349.32/349.36	c |    176025 |   13988    63830   186212 | 2147483647   175166     43 | 68.384 % |
352.31/352.33	c |    177080 |   13988    63830   186212 | 2147483647   176221     43 | 68.384 % |
355.51/355.54	c |    178238 |   13988    63830   186212 | 2147483647   177379     43 | 68.384 % |
358.81/358.88	c |    179515 |   13988    63830   186212 | 2147483647   178656     43 | 68.384 % |
363.21/363.28	c |    180915 |   13988    63830   186212 |   179141   180056     43 | 68.384 % |
367.21/367.26	c |    182455 |   13988    63830   186212 |   179141   181596     43 | 68.384 % |
372.41/372.46	c |    184151 |   13988    63830   186212 |   179141   183292     43 | 68.384 % |
377.71/377.73	c |    186016 |   13988    63830   186212 |   179141   185157     43 | 68.384 % |
378.01/378.03	c |    186116 |   13988    63830   186212 |   179141   185257     43 | 68.384 % |
378.41/378.49	c |    186227 |   13988    63830   186212 |   179141   185368     43 | 68.384 % |
378.91/378.92	c |    186348 |   13988    63830   186212 |   179141   185489     43 | 68.384 % |
379.31/379.40	c |    186481 |   13988    63830   186212 |   179141   185622     43 | 68.384 % |
379.91/379.92	c |    186629 |   13988    63830   186212 |   179141   185770     43 | 68.384 % |
380.31/380.40	c |    186790 |   13988    63830   186212 |   179141   185931     43 | 68.384 % |
381.01/381.10	c |    186968 |   13988    63830   186212 |   179141   186109     43 | 68.384 % |
381.51/381.54	c |    187162 |   13988    63830   186212 |   179141   186303     43 | 68.384 % |
382.21/382.26	c |    187374 |   13988    63830   186212 |   179141   186515     43 | 68.384 % |
383.21/383.27	c |    187607 |   13988    63830   186212 |   179141   186748     43 | 68.384 % |
384.11/384.11	c |    187863 |   13988    63830   186212 |   179141   187004     43 | 68.384 % |
385.51/385.53	c |    188147 |   13988    63830   186212 |   179141   187288     43 | 68.384 % |
386.81/386.87	c |    188457 |   13988    63830   186212 |   179141   187598     43 | 68.384 % |
387.91/387.96	c |    188797 |   13988    63830   186212 |   179141   187938     43 | 68.384 % |
389.41/389.41	c |    189171 |   13988    63830   186212 |   179141   188312     43 | 68.384 % |
391.01/391.07	c |    189580 |   13988    63830   186212 |   179141   188721     43 | 68.384 % |
392.71/392.73	c |    190029 |   13988    63830   186212 |   189141   189170     43 | 68.384 % |
394.21/394.30	c |    190522 |   13988    63830   186212 |   189141   189663     43 | 68.384 % |
395.81/395.86	c |    191066 |   13988    63830   186212 |   189141   190207     43 | 68.384 % |
397.71/397.71	c |    191662 |   13988    63830   186212 |   189141   190803     43 | 68.384 % |
400.01/400.05	c |    192318 |   13988    63830   186212 |   189141   191459     43 | 68.384 % |
402.31/402.36	c |    193038 |   13988    63830   186212 |   189141   192179     43 | 68.384 % |
404.71/404.77	c |    193831 |   13988    63830   186212 |   189141   192972     43 | 68.384 % |
407.61/407.65	c |    194704 |   13988    63830   186212 |   189141   193845     43 | 68.384 % |
410.91/410.98	c |    195663 |   13988    63830   186212 |   189141   194804     43 | 68.384 % |
414.41/414.48	c |    196716 |   13988    63830   186212 |   189141   195857     43 | 68.384 % |
418.21/418.21	c |    197876 |   13988    63830   186212 |   189141   197017     43 | 68.384 % |
422.32/422.39	c |    199150 |   13988    63830   186212 |   189141   198291     43 | 68.384 % |
426.52/426.54	c |    200552 |   13988    63830   186212 |   199142   199693     43 | 68.384 % |
431.02/431.11	c |    202094 |   13988    63830   186212 |   199142   201235     43 | 68.384 % |
436.42/436.50	c |    203789 |   13988    63830   186212 |   199142   202930     43 | 68.384 % |
442.62/442.61	c |    205652 |   13988    63830   186212 |   199142   204793     43 | 68.384 % |
448.83/448.88	c |    207703 |   13988    63830   186212 |   199142   206844     43 | 68.384 % |
449.32/449.39	c |    207803 |   13988    63830   186212 |   199142   206944     43 | 68.384 % |
449.82/449.84	c |    207913 |   13988    63830   186212 |   199142   207054     43 | 68.384 % |
450.22/450.28	c |    208035 |   13988    63830   186212 |   199142   207176     43 | 68.384 % |
450.62/450.66	c |    208171 |   13988    63830   186212 |   199142   207312     43 | 68.384 % |
451.12/451.12	c |    208317 |   13988    63830   186212 |   199142   207458     43 | 68.385 % |
451.62/451.63	c |    208481 |   13988    63830   186212 |   199142   207622     43 | 68.385 % |
452.13/452.16	c |    208658 |   13988    63830   186212 |   199142   207799     43 | 68.384 % |
453.02/453.10	c |    208852 |   13988    63830   186212 |   199142   207993     43 | 68.384 % |
453.72/453.74	c |    209067 |   13988    63830   186212 |   199142   208208     43 | 68.384 % |
454.52/454.51	c |    209302 |   13988    63830   186212 |   199142   208443     43 | 68.384 % |
455.22/455.26	c |    209558 |   13988    63830   186212 |   199142   208699     43 | 68.384 % |
456.13/456.20	c |    209840 |   13988    63830   186212 |   199142   208981     43 | 68.384 % |
457.23/457.30	c |    210151 |   13988    63830   186212 |   209143   209292     43 | 68.384 % |
458.43/458.42	c |    210490 |   13988    63830   186212 |   209143   209631     43 | 68.384 % |
459.63/459.63	c |    210864 |   13988    63830   186212 |   209143   210005     43 | 68.384 % |
461.23/461.26	c |    211273 |   13987    63823   186193 |   209143   210412     43 | 68.387 % |
463.23/463.31	c |    211723 |   13987    63823   186193 |   209143   210862     43 | 68.387 % |
465.13/465.20	c |    212217 |   13987    63823   186193 |   209143   211356     43 | 68.387 % |
467.33/467.42	c |    212761 |   13987    63823   186193 |   209143   211900     43 | 68.387 % |
469.23/469.22	c |    213357 |   13987    63823   186193 |   209143   212496     43 | 68.387 % |
471.23/471.30	c |    214014 |   13987    63823   186193 |   209143   213153     43 | 68.387 % |
472.93/472.95	c |    214734 |   13987    63823   186193 |   209143   213873     43 | 68.387 % |
475.53/475.55	c |    215527 |   13987    63823   186193 |   209143   214666     43 | 68.387 % |
478.63/478.62	c |    216399 |   13987    63823   186193 |   209143   215538     43 | 68.387 % |
481.33/481.35	c |    217358 |   13987    63823   186193 |   209143   216497     43 | 68.387 % |
484.53/484.54	c |    218411 |   13987    63823   186193 |   209143   217550     43 | 68.387 % |
487.93/488.01	c |    219569 |   13987    63823   186193 |   209143   218708     43 | 68.387 % |
492.23/492.22	c |    220843 |   13987    63823   186193 |   219139   219982     43 | 68.387 % |
496.93/496.96	c |    222243 |   13987    63823   186193 |   219139   221382     43 | 68.387 % |
502.53/502.61	c |    223785 |   13987    63823   186193 |   219139   222924     43 | 68.387 % |
508.23/508.23	c |    225479 |   13985    63817   186177 |   219139   224615     43 | 68.418 % |
514.73/514.80	c |    227342 |   13985    63817   186177 |   219139   226478     43 | 68.418 % |
519.63/519.62	c |    229393 |   13985    63817   186177 |   219139   228529     43 | 68.418 % |
528.23/528.23	c |    231646 |   13985    63817   186177 |   229137   230782     42 | 68.418 % |
528.53/528.58	c |    231748 |   13985    63817   186177 |   229137   230884     42 | 68.418 % |
529.13/529.13	c |    231859 |   13985    63817   186177 |   229137   230995     42 | 68.418 % |
529.63/529.62	c |    231982 |   13985    63817   186177 |   229137   231118     42 | 68.418 % |
530.13/530.17	c |    232115 |   13985    63817   186177 |   229137   231251     42 | 68.418 % |
530.53/530.60	c |    232261 |   13985    63817   186177 |   229137   231397     42 | 68.418 % |
531.03/531.10	c |    232422 |   13985    63817   186177 |   229137   231558     42 | 68.418 % |
531.83/531.82	c |    232598 |   13984    63817   186177 |   229137   231733     42 | 68.448 % |
532.33/532.33	c |    232795 |   13984    63817   186177 |   229137   231930     42 | 68.448 % |
532.73/532.78	c |    233008 |   13984    63817   186177 |   229137   232143     42 | 68.448 % |
533.33/533.40	c |    233241 |   13984    63817   186177 |   229137   232376     42 | 68.448 % |
534.43/534.47	c |    233498 |   13984    63817   186177 |   229137   232633     42 | 68.448 % |
535.63/535.67	c |    233780 |   13984    63817   186177 |   229137   232915     42 | 68.448 % |
536.73/536.79	c |    234089 |   13960    63653   185738 |   229137   233209     42 | 68.448 % |
538.13/538.17	c |    234428 |   13960    63653   185738 |   229137   233548     42 | 68.448 % |
539.43/539.47	c |    234800 |   13960    63653   185738 |   229137   233920     42 | 68.448 % |
540.73/540.72	c |    235211 |   13960    63653   185738 |   229137   234331     42 | 68.448 % |
542.13/542.21	c |    235662 |   13960    63653   185738 |   229137   234782     42 | 68.448 % |
543.63/543.68	c |    236155 |   13960    63653   185738 |   229137   235275     42 | 68.448 % |
545.33/545.34	c |    236697 |   13960    63653   185738 |   229137   235817     42 | 68.448 % |
547.13/547.12	c |    237294 |   13960    63653   185738 |   229137   236414     42 | 68.448 % |
549.53/549.52	c |    237953 |   13960    63653   185738 |   229137   237073     42 | 68.448 % |
551.83/551.88	c |    238675 |   13960    63653   185738 |   229137   237795     42 | 68.448 % |
554.63/554.65	c |    239472 |   13960    63653   185738 |   229137   238592     42 | 68.448 % |
558.13/558.11	c |    240343 |   13960    63653   185738 |   239120   239463     42 | 68.448 % |
561.04/561.02	c |    241302 |   13960    63653   185738 |   239120   240422     42 | 68.448 % |
564.34/564.35	c |    242355 |   13960    63653   185738 |   239120   241475     42 | 68.448 % |
568.43/568.43	c |    243513 |   13960    63653   185738 |   239120   242633     42 | 68.448 % |
571.83/571.81	c |    244786 |   13960    63653   185738 |   239120   243906     42 | 68.448 % |
576.23/576.29	c |    246186 |   13960    63653   185738 |   239120   245306     42 | 68.448 % |
581.94/581.93	c |    247728 |   13960    63653   185738 |   239120   246848     42 | 68.448 % |
588.04/588.05	c |    249426 |   13960    63653   185738 |   239120   248546     42 | 68.448 % |
595.94/596.02	c |    251291 |   13960    63653   185738 |   249121   250411     42 | 68.448 % |
604.04/604.05	c |    253343 |   13960    63653   185738 |   249121   252463     42 | 68.448 % |
612.44/612.42	c |    255600 |   13960    63653   185738 |   249121   254720     42 | 68.448 % |
620.84/620.90	c |    258080 |   13960    63653   185738 |   249121   257200     42 | 68.448 % |
621.24/621.31	c |    258181 |   13960    63653   185738 |   249121   257301     42 | 68.448 % |
621.74/621.77	c |    258291 |   13960    63653   185738 |   249121   257411     42 | 68.448 % |
622.24/622.24	c |    258413 |   13960    63653   185738 |   249121   257533     42 | 68.448 % |
622.74/622.73	c |    258547 |   13960    63653   185738 |   249121   257667     42 | 68.448 % |
623.34/623.32	c |    258697 |   13960    63653   185738 |   249121   257817     42 | 68.448 % |
623.94/623.93	c |    258859 |   13960    63653   185738 |   249121   257979     42 | 68.448 % |
624.44/624.51	c |    259036 |   13960    63653   185738 |   249121   258156     42 | 68.448 % |
625.24/625.28	c |    259230 |   13960    63653   185738 |   249121   258350     42 | 68.448 % |
625.94/625.94	c |    259445 |   13960    63653   185738 |   249121   258565     42 | 68.448 % |
626.84/626.91	c |    259679 |   13960    63653   185738 |   249121   258799     42 | 68.448 % |
627.94/628.00	c |    259935 |   13960    63653   185738 |   249121   259055     42 | 68.448 % |
629.14/629.14	c |    260217 |   13960    63653   185738 |   259121   259337     42 | 68.448 % |
630.44/630.41	c |    260527 |   13960    63653   185738 |   259121   259647     42 | 68.448 % |
631.54/631.51	c |    260869 |   13960    63653   185738 |   259121   259989     42 | 68.448 % |
632.84/632.82	c |    261241 |   13960    63653   185738 |   259121   260361     42 | 68.448 % |
634.24/634.31	c |    261651 |   13960    63653   185738 |   259121   260771     42 | 68.448 % |
636.14/636.14	c |    262102 |   13960    63653   185738 |   259121   261222     42 | 68.448 % |
638.14/638.15	c |    262601 |   13960    63653   185738 |   259121   261721     42 | 68.448 % |
640.84/640.83	c |    263143 |   13960    63653   185738 |   259121   262263     42 | 68.448 % |
643.94/643.94	c |    263739 |   13960    63653   185738 |   259121   262859     42 | 68.448 % |
646.34/646.32	c |    264394 |   13960    63653   185738 |   259121   263514     42 | 68.448 % |
648.84/648.91	c |    265114 |   13960    63653   185738 |   259121   264234     42 | 68.448 % |
651.34/651.40	c |    265907 |   13960    63653   185738 |   259121   265027     42 | 68.448 % |
654.64/654.67	c |    266780 |   13960    63653   185738 |   259121   265900     42 | 68.448 % |
658.04/658.10	c |    267742 |   13960    63653   185738 |   259121   266862     42 | 68.448 % |
661.34/661.33	c |    268795 |   13960    63653   185738 |   259121   267915     42 | 68.448 % |
666.24/666.28	c |    269953 |   13960    63653   185738 |   259121   269073     42 | 68.448 % |
671.74/671.74	c |    271226 |   13960    63653   185738 |   269122   270346     42 | 68.448 % |
678.44/678.42	c |    272631 |   13960    63653   185738 |   269122   271751     42 | 68.448 % |
684.94/684.97	c |    274173 |   13960    63653   185738 |   269122   273293     42 | 68.448 % |
691.95/691.97	c |    275867 |   13960    63653   185738 |   269122   274987     42 | 68.448 % |
699.24/699.24	c |    277731 |   13960    63653   185738 |   269122   276851     42 | 68.448 % |
707.54/707.54	c |    279781 |   13960    63653   185738 |   269122   278901     42 | 68.448 % |
716.83/716.89	c |    282034 |   13960    63653   185738 |   279122   281154     42 | 68.448 % |
727.04/727.05	c |    284512 |   13960    63653   185738 |   279122   283632     42 | 68.448 % |
739.04/739.05	c |    287239 |   13960    63653   185738 |   279122   286359     42 | 68.448 % |
739.44/739.42	c |    287341 |   13960    63653   185738 |   279122   286461     42 | 68.448 % |
739.84/739.90	c |    287454 |   13960    63653   185738 |   279122   286574     42 | 68.448 % |
740.44/740.45	c |    287577 |   13960    63653   185738 |   279122   286697     42 | 68.448 % |
740.94/740.99	c |    287713 |   13960    63653   185738 |   279122   286833     42 | 68.448 % |
741.64/741.69	c |    287862 |   13960    63653   185738 |   279122   286982     42 | 68.448 % |
742.44/742.48	c |    288023 |   13960    63653   185738 |   279122   287143     42 | 68.448 % |
743.24/743.27	c |    288199 |   13960    63653   185738 |   279122   287319     42 | 68.448 % |
743.94/743.99	c |    288392 |   13960    63653   185738 |   279122   287512     42 | 68.448 % |
744.94/744.98	c |    288606 |   13960    63653   185738 |   279122   287726     42 | 68.448 % |
745.74/745.78	c |    288839 |   13960    63653   185738 |   279122   287959     42 | 68.448 % |
746.94/746.97	c |    289096 |   13960    63653   185738 |   279122   288216     42 | 68.448 % |
748.04/748.07	c |    289377 |   13960    63653   185738 |   279122   288497     42 | 68.448 % |
749.04/749.09	c |    289687 |   13960    63653   185738 |   279122   288807     42 | 68.448 % |
750.84/750.88	c |    290030 |   13960    63653   185738 |   289122   289150     42 | 68.448 % |
752.44/752.41	c |    290402 |   13960    63653   185738 |   289122   289522     42 | 68.448 % |
753.84/753.82	c |    290812 |   13960    63653   185738 |   289122   289932     42 | 68.448 % |
755.74/755.71	c |    291261 |   13960    63653   185738 |   289122   290381     42 | 68.448 % |
757.84/757.87	c |    291755 |   13960    63653   185738 |   289122   290875     42 | 68.448 % |
760.14/760.17	c |    292298 |   13960    63653   185738 |   289122   291418     42 | 68.448 % |
762.64/762.63	c |    292894 |   13960    63653   185738 |   289122   292014     42 | 68.448 % |
765.34/765.32	c |    293552 |   13960    63653   185738 |   289122   292672     42 | 68.448 % |
769.24/769.29	c |    294272 |   13960    63653   185738 |   289122   293392     42 | 68.448 % |
773.25/773.31	c |    295064 |   13960    63653   185738 |   289122   294184     42 | 68.448 % |
777.55/777.55	c |    295937 |   13960    63653   185738 |   289122   295057     42 | 68.448 % |
781.45/781.50	c |    296897 |   13960    63653   185738 |   289122   296017     42 | 68.448 % |
786.25/786.24	c |    297952 |   13960    63653   185738 |   289122   297072     42 | 68.448 % |
791.75/791.76	c |    299112 |   13960    63653   185738 |   289122   298232     42 | 68.448 % |
797.45/797.44	c |    300386 |   13960    63653   185738 |   299120   299506     42 | 68.448 % |
805.75/805.72	c |    301786 |   13960    63653   185738 |   299120   300906     42 | 68.448 % |
813.05/813.09	c |    303326 |   13960    63653   185738 |   299120   302446     42 | 68.448 % |
819.65/819.67	c |    305020 |   13960    63653   185738 |   299120   304140     42 | 68.448 % |
827.45/827.42	c |    306883 |   13960    63653   185738 |   299120   306003     42 | 68.448 % |
835.95/835.91	c |    308932 |   13960    63653   185738 |   299120   308052     42 | 68.448 % |
845.65/845.68	c |    311185 |   13960    63653   185738 |   309120   310305     42 | 68.448 % |
856.56/856.56	c |    313665 |   13947    63580   185547 |   309120   312776     42 | 68.479 % |
869.16/869.17	c |    316393 |   13946    63580   185547 |   309120   315503     42 | 68.538 % |
882.46/882.51	c |    319393 |   13946    63580   185547 |   309120   318503     42 | 68.538 % |
883.06/883.04	c |    319493 |   13946    63580   185547 |   309120   318603     42 | 68.538 % |
883.76/883.79	c |    319604 |   13946    63580   185547 |   309120   318714     42 | 68.538 % |
884.46/884.47	c |    319725 |   13946    63580   185547 |   309120   318835     42 | 68.538 % |
885.16/885.17	c |    319858 |   13946    63580   185547 |   309120   318968     42 | 68.538 % |
886.06/886.05	c |    320004 |   13946    63580   185547 |   319113   319114     42 | 68.538 % |
886.76/886.79	c |    320166 |   13946    63580   185547 |   319113   319276     42 | 68.538 % |
887.56/887.53	c |    320342 |   13946    63580   185547 |   319113   319452     42 | 68.538 % |
888.46/888.45	c |    320535 |   13946    63580   185547 |   319113   319645     42 | 68.538 % |
889.66/889.70	c |    320747 |   13946    63580   185547 |   319113   319857     42 | 68.538 % |
890.86/890.88	c |    320981 |   13946    63580   185547 |   319113   320091     42 | 68.538 % |
891.86/891.91	c |    321241 |   13946    63580   185547 |   319113   320351     42 | 68.538 % |
892.86/892.87	c |    321524 |   13946    63580   185547 |   319113   320634     42 | 68.538 % |
894.36/894.39	c |    321833 |   13946    63580   185547 |   319113   320943     42 | 68.538 % |
896.06/896.04	c |    322172 |   13946    63580   185547 |   319113   321282     42 | 68.538 % |
898.06/898.07	c |    322545 |   13946    63580   185547 |   319113   321655     42 | 68.538 % |
900.06/900.07	c |    322954 |   13946    63580   185547 |   319113   322064     42 | 68.538 % |
902.06/902.07	c |    323403 |   13946    63580   185547 |   319113   322513     42 | 68.538 % |
904.86/904.82	c |    323900 |   13946    63580   185547 |   319113   323010     42 | 68.538 % |
907.36/907.41	c |    324442 |   13946    63580   185547 |   319113   323552     42 | 68.538 % |
910.36/910.40	c |    325039 |   13946    63580   185547 |   319113   324149     42 | 68.538 % |
913.96/913.96	c |    325695 |   13920    63427   185134 |   319113   324795     42 | 68.538 % |
917.36/917.35	c |    326418 |   13920    63427   185134 |   319113   325518     42 | 68.538 % |
921.36/921.39	c |    327215 |   13920    63427   185134 |   319113   326315     42 | 68.538 % |
925.46/925.49	c |    328088 |   13920    63427   185134 |   319113   327188     42 | 68.538 % |
929.36/929.39	c |    329046 |   13920    63427   185134 |   319113   328146     42 | 68.538 % |
934.56/934.54	c |    330099 |   13920    63427   185134 |   329101   329199     42 | 68.538 % |
941.36/941.31	c |    331258 |   13920    63427   185134 |   329101   330358     42 | 68.538 % |
948.46/948.43	c |    332533 |   13920    63427   185134 |   329101   331633     42 | 68.538 % |
955.06/955.03	c |    333934 |   13920    63427   185134 |   329101   333034     42 | 68.538 % |
961.86/961.84	c |    335474 |   13920    63427   185134 |   329101   334574     42 | 68.538 % |
971.37/971.33	c |    337168 |   13920    63427   185134 |   329101   336268     42 | 68.538 % |
979.66/979.70	c |    339033 |   13920    63427   185134 |   329101   338133     42 | 68.538 % |
988.77/988.78	c |    341083 |   13920    63427   185134 |   339100   340183     42 | 68.538 % |
1000.17/1000.13	c |    343336 |   13919    63423   185124 |   339100   342435     42 | 68.540 % |
1011.97/1012.01	c |    345816 |   13919    63423   185124 |   339100   344915     42 | 68.540 % |
1024.87/1024.88	c |    348542 |   13919    63423   185124 |   339100   347641     42 | 68.540 % |
1040.07/1040.05	c |    351540 |   13919    63423   185124 |   349099   350639     43 | 68.540 % |
1055.07/1055.02	c |    354840 |   13919    63423   185124 |   349099   353939     43 | 68.540 % |
1055.67/1055.68	c |    354944 |   13919    63423   185124 |   349099   354043     43 | 68.540 % |
1056.47/1056.46	c |    355055 |   13919    63423   185124 |   349099   354154     43 | 68.540 % |
1057.17/1057.14	c |    355176 |   13919    63423   185124 |   349099   354275     43 | 68.540 % |
1057.97/1057.99	c |    355310 |   13919    63423   185124 |   349099   354409     43 | 68.540 % |
1058.97/1058.98	c |    355458 |   13919    63423   185124 |   349099   354557     43 | 68.540 % |
1060.07/1060.11	c |    355619 |   13919    63423   185124 |   349099   354718     43 | 68.540 % |
1061.17/1061.16	c |    355795 |   13919    63423   185124 |   349099   354894     43 | 68.540 % |
1062.37/1062.41	c |    355988 |   13919    63423   185124 |   349099   355087     43 | 68.540 % |
1063.87/1063.86	c |    356200 |   13919    63423   185124 |   349099   355299     43 | 68.540 % |
1065.57/1065.52	c |    356435 |   13919    63423   185124 |   349099   355534     43 | 68.540 % |
1067.27/1067.21	c |    356692 |   13919    63423   185124 |   349099   355791     43 | 68.540 % |
1068.76/1068.74	c |    356973 |   13919    63423   185124 |   349099   356072     43 | 68.540 % |
1070.86/1070.84	c |    357283 |   13919    63423   185124 |   349099   356382     43 | 68.540 % |
1073.36/1073.33	c |    357623 |   13919    63423   185124 |   349099   356722     43 | 68.540 % |
1075.26/1075.25	c |    357997 |   13919    63423   185124 |   349099   357096     43 | 68.540 % |
1077.36/1077.35	c |    358406 |   13919    63423   185124 |   349099   357505     43 | 68.540 % |
1079.26/1079.22	c |    358855 |   13919    63423   185124 |   349099   357954     42 | 68.540 % |
1081.16/1081.12	c |    359351 |   13919    63423   185124 |   349099   358450     42 | 68.540 % |
1083.66/1083.62	c |    359893 |   13919    63423   185124 |   349099   358992     42 | 68.540 % |
1087.56/1087.58	c |    360490 |   13919    63423   185124 |   359099   359589     42 | 68.540 % |
1091.66/1091.62	c |    361146 |   13919    63423   185124 |   359099   360245     42 | 68.540 % |
1096.36/1096.33	c |    361866 |   13919    63423   185124 |   359099   360965     42 | 68.540 % |
1101.46/1101.46	c |    362659 |   13919    63423   185124 |   359099   361758     42 | 68.540 % |
1106.76/1106.77	c |    363531 |   13919    63423   185124 |   359099   362630     42 | 68.540 % |
1112.46/1112.40	c |    364490 |   13919    63423   185124 |   359099   363589     42 | 68.540 % |
1118.17/1118.17	c |    365545 |   13919    63423   185124 |   359099   364644     42 | 68.540 % |
1125.78/1125.81	c |    366704 |   13919    63423   185124 |   359099   365803     42 | 68.540 % |
1133.38/1133.37	c |    367977 |   13919    63423   185124 |   359099   367076     42 | 68.540 % |
1141.18/1141.14	c |    369378 |   13919    63423   185124 |   359099   368477     42 | 68.540 % |
1150.88/1150.89	c |    370918 |   13919    63423   185124 |   369101   370017     42 | 68.540 % |
1158.98/1158.99	c |    372612 |   13919    63423   185124 |   369101   371711     42 | 68.540 % |
1168.58/1168.59	c |    374478 |   13919    63423   185124 |   369101   373577     42 | 68.540 % |
1181.28/1181.27	c |    376528 |   13919    63423   185124 |   369101   375627     42 | 68.540 % |
1192.18/1192.14	c |    378781 |   13919    63423   185124 |   369101   377880     42 | 68.540 % |
1200.08/1200.02	HOME/SatELiteGTI: line 36:  1842 Terminated              $MS $TMP.cnf $TMP.result

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w /tmp/evaluation-result-1820386-1242436929/watcher-1820386-1242436929 -o /tmp/evaluation-result-1820386-1242436929/solver-1820386-1242436929 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820386-1242436929.cnf 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.02 1.04 1.00 3/91 1836
/proc/meminfo: memFree=634408/2074464 swapFree=1952056/1959888
[pid=1836] ppid=1834 vsize=2412 CPUtime=0
/proc/1836/stat : 1836 (SatELiteGTI) R 1834 1836 15108 0 -1 4194304 354 645 0 0 0 0 0 0 25 0 1 0 1008191144 2469888 276 4294967295 134512640 135169312 3212915552 3212914028 3085465460 0 65538 4 65536 0 0 0 17 2 0 0 0
/proc/1836/statm: 603 276 235 161 0 42 0
[pid=1840] ppid=1836 vsize=0 CPUtime=0
/proc/1840/stat : 1840 (SatELiteGTI) R 1836 1836 15108 0 -1 4194368 65 0 0 0 0 0 0 0 25 0 1 0 1008191144 0 0 4294967295 0 0 0 3212914180 3085466090 0 0 0 0 0 0 0 17 3 0 0 0
/proc/1840/statm: 0 0 0 0 0 0 0

[startup+0.086877 s]
/proc/loadavg: 1.02 1.04 1.00 3/91 1836
/proc/meminfo: memFree=634408/2074464 swapFree=1952056/1959888
[pid=1836] ppid=1834 vsize=2412 CPUtime=0
/proc/1836/stat : 1836 (SatELiteGTI) S 1834 1836 15108 0 -1 4194304 367 645 0 0 0 0 0 0 25 0 1 0 1008191144 2469888 276 4294967295 134512640 135169312 3212915552 3212914088 3085463278 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/1836/statm: 603 276 235 161 0 42 0
[pid=1840] ppid=1836 vsize=20400 CPUtime=0.09
/proc/1840/stat : 1840 (SatELite_releas) R 1836 1836 15108 0 -1 4202496 3982 0 0 0 6 3 0 0 25 0 1 0 1008191144 20889600 3918 4294967295 134512640 135223648 3218731232 3218730184 134737310 0 0 0 3 0 0 0 17 3 0 0 0
/proc/1840/statm: 5100 3919 46 174 0 4925 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22812

[startup+0.106874 s]
/proc/loadavg: 1.02 1.04 1.00 3/91 1836
/proc/meminfo: memFree=634408/2074464 swapFree=1952056/1959888
[pid=1836] ppid=1834 vsize=2412 CPUtime=0
/proc/1836/stat : 1836 (SatELiteGTI) S 1834 1836 15108 0 -1 4194304 367 645 0 0 0 0 0 0 25 0 1 0 1008191144 2469888 276 4294967295 134512640 135169312 3212915552 3212914088 3085463278 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/1836/statm: 603 276 235 161 0 42 0
[pid=1840] ppid=1836 vsize=22116 CPUtime=0.11
/proc/1840/stat : 1840 (SatELite_releas) R 1836 1836 15108 0 -1 4202496 4972 0 0 0 6 5 0 0 25 0 1 0 1008191144 22646784 4908 4294967295 134512640 135223648 3218731232 3218730112 134544034 0 0 0 3 0 0 0 17 3 0 0 0
/proc/1840/statm: 5529 4910 46 174 0 5354 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 24528

[startup+0.306859 s]
/proc/loadavg: 1.02 1.04 1.00 3/91 1836
/proc/meminfo: memFree=634408/2074464 swapFree=1952056/1959888
[pid=1836] ppid=1834 vsize=2412 CPUtime=0
/proc/1836/stat : 1836 (SatELiteGTI) S 1834 1836 15108 0 -1 4194304 367 645 0 0 0 0 0 0 25 0 1 0 1008191144 2469888 276 4294967295 134512640 135169312 3212915552 3212914088 3085463278 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/1836/statm: 603 276 235 161 0 42 0
[pid=1840] ppid=1836 vsize=39888 CPUtime=0.31
/proc/1840/stat : 1840 (SatELite_releas) R 1836 1836 15108 0 -1 4202496 9612 0 0 0 21 10 0 0 25 0 1 0 1008191144 40845312 9548 4294967295 134512640 135223648 3218731232 3218730184 134737310 0 0 0 3 0 0 0 17 3 0 0 0
/proc/1840/statm: 9972 9548 46 174 0 9797 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 42300

[startup+0.706828 s]
/proc/loadavg: 1.02 1.04 1.00 3/91 1836
/proc/meminfo: memFree=634408/2074464 swapFree=1952056/1959888
[pid=1836] ppid=1834 vsize=2412 CPUtime=0
/proc/1836/stat : 1836 (SatELiteGTI) S 1834 1836 15108 0 -1 4194304 367 645 0 0 0 0 0 0 25 0 1 0 1008191144 2469888 276 4294967295 134512640 135169312 3212915552 3212914088 3085463278 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/1836/statm: 603 276 235 161 0 42 0
[pid=1840] ppid=1836 vsize=75360 CPUtime=0.71
/proc/1840/stat : 1840 (SatELite_releas) R 1836 1836 15108 0 -1 4202496 16061 0 0 0 58 13 0 0 25 0 1 0 1008191144 77168640 14815 4294967295 134512640 135223648 3218731232 3218729504 134582213 0 0 0 3 0 0 0 17 3 0 0 0
/proc/1840/statm: 18840 14815 72 174 0 18665 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 77772

[startup+1.50677 s]
/proc/loadavg: 1.02 1.04 1.00 3/93 1841
/proc/meminfo: memFree=570672/2074464 swapFree=1952056/1959888
[pid=1836] ppid=1834 vsize=2412 CPUtime=0
/proc/1836/stat : 1836 (SatELiteGTI) S 1834 1836 15108 0 -1 4194304 367 645 0 0 0 0 0 0 25 0 1 0 1008191144 2469888 276 4294967295 134512640 135169312 3212915552 3212914088 3085463278 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/1836/statm: 603 276 235 161 0 42 0
[pid=1840] ppid=1836 vsize=83020 CPUtime=1.51
/proc/1840/stat : 1840 (SatELite_releas) R 1836 1836 15108 0 -1 4202496 18130 0 0 0 137 14 0 0 25 0 1 0 1008191144 85012480 16612 4294967295 134512640 135223648 3218731232 3218729328 134595980 0 0 0 3 0 0 0 17 3 0 0 0
/proc/1840/statm: 20755 16612 73 174 0 20580 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 85432

[startup+3.10664 s]
/proc/loadavg: 1.02 1.04 1.00 4/93 1841
/proc/meminfo: memFree=567200/2074464 swapFree=1952056/1959888
[pid=1836] ppid=1834 vsize=2412 CPUtime=0
/proc/1836/stat : 1836 (SatELiteGTI) S 1834 1836 15108 0 -1 4194304 367 645 0 0 0 0 0 0 25 0 1 0 1008191144 2469888 276 4294967295 134512640 135169312 3212915552 3212914088 3085463278 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/1836/statm: 603 276 235 161 0 42 0
[pid=1840] ppid=1836 vsize=84960 CPUtime=3.11
/proc/1840/stat : 1840 (SatELite_releas) R 1836 1836 15108 0 -1 4202496 20292 0 0 0 297 14 0 0 25 0 1 0 1008191144 86999040 17123 4294967295 134512640 135223648 3218731232 3218729248 134586689 0 0 0 3 0 0 0 17 3 0 0 0
/proc/1840/statm: 21240 17123 73 174 0 21065 0
Current children cumulated CPU time (s) 3.11
Current children cumulated vsize (KiB) 87372

[startup+6.3064 s]
/proc/loadavg: 1.01 1.04 1.00 2/93 1842
/proc/meminfo: memFree=611236/2074464 swapFree=1952056/1959888
[pid=1836] ppid=1834 vsize=2416 CPUtime=4.46
/proc/1836/stat : 1836 (SatELiteGTI) S 1834 1836 15108 0 -1 4194304 386 27294 0 0 0 0 426 20 24 0 1 0 1008191144 2473984 277 4294967295 134512640 135169312 3212915552 3212911768 3085463278 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1836/statm: 604 277 235 161 0 43 0
[pid=1842] ppid=1836 vsize=15904 CPUtime=1.82
/proc/1842/stat : 1842 (minisat_static) R 1836 1836 15108 0 -1 4202496 3744 0 0 0 179 3 0 0 25 0 1 0 1008191591 16285696 3679 4294967295 134512640 135215339 3215343104 3215341392 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/1842/statm: 3976 3679 73 172 0 3803 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 18320

[startup+12.7059 s]
/proc/loadavg: 1.01 1.04 1.00 2/93 1842
/proc/meminfo: memFree=611364/2074464 swapFree=1952056/1959888
[pid=1836] ppid=1834 vsize=2416 CPUtime=4.46
/proc/1836/stat : 1836 (SatELiteGTI) S 1834 1836 15108 0 -1 4194304 386 27294 0 0 0 0 426 20 24 0 1 0 1008191144 2473984 277 4294967295 134512640 135169312 3212915552 3212911768 3085463278 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1836/statm: 604 277 235 161 0 43 0
[pid=1842] ppid=1836 vsize=16040 CPUtime=8.22
/proc/1842/stat : 1842 (minisat_static) R 1836 1836 15108 0 -1 4202496 3751 0 0 0 819 3 0 0 25 0 1 0 1008191591 16424960 3686 4294967295 134512640 135215339 3215343104 3215341200 134527410 0 0 0 3 0 0 0 17 2 0 0 0
/proc/1842/statm: 4010 3686 73 172 0 3837 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 18456

[startup+25.5049 s]
/proc/loadavg: 1.01 1.03 1.00 2/93 1843
/proc/meminfo: memFree=610064/2074464 swapFree=1952056/1959888
[pid=1836] ppid=1834 vsize=2416 CPUtime=4.46
/proc/1836/stat : 1836 (SatELiteGTI) S 1834 1836 15108 0 -1 4194304 386 27294 0 0 0 0 426 20 24 0 1 0 1008191144 2473984 277 4294967295 134512640 135169312 3212915552 3212911768 3085463278 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1836/statm: 604 277 235 161 0 43 0
[pid=1842] ppid=1836 vsize=17360 CPUtime=21.02
/proc/1842/stat : 1842 (minisat_static) R 1836 1836 15108 0 -1 4202496 4103 0 0 0 2097 5 0 0 25 0 1 0 1008191591 17776640 4038 4294967295 134512640 135215339 3215343104 3215341392 134528624 0 0 0 3 0 0 0 17 2 0 0 0
/proc/1842/statm: 4340 4038 73 172 0 4167 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 19776

[startup+51.103 s]
/proc/loadavg: 1.00 1.03 1.00 2/93 1845
/proc/meminfo: memFree=606104/2074464 swapFree=1952056/1959888
[pid=1836] ppid=1834 vsize=2416 CPUtime=4.46
/proc/1836/stat : 1836 (SatELiteGTI) S 1834 1836 15108 0 -1 4194304 386 27294 0 0 0 0 426 20 24 0 1 0 1008191144 2473984 277 4294967295 134512640 135169312 3212915552 3212911768 3085463278 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1836/statm: 604 277 235 161 0 43 0
[pid=1842] ppid=1836 vsize=21504 CPUtime=46.62
/proc/1842/stat : 1842 (minisat_static) R 1836 1836 15108 0 -1 4202496 5113 0 0 0 4656 6 0 0 25 0 1 0 1008191591 22020096 5048 4294967295 134512640 135215339 3215343104 3215341392 134528666 0 0 0 3 0 0 0 17 2 0 0 0
/proc/1842/statm: 5376 5048 73 172 0 5203 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 23920

[startup+102.319 s]
/proc/loadavg: 1.10 1.05 1.01 3/93 2032
/proc/meminfo: memFree=599316/2074464 swapFree=1952056/1959888
[pid=1836] ppid=1834 vsize=2416 CPUtime=4.46
/proc/1836/stat : 1836 (SatELiteGTI) S 1834 1836 15108 0 -1 4194304 386 27294 0 0 0 0 426 20 24 0 1 0 1008191144 2473984 277 4294967295 134512640 135169312 3212915552 3212911768 3085463278 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1836/statm: 604 277 235 161 0 43 0
[pid=1842] ppid=1836 vsize=28528 CPUtime=97.84
/proc/1842/stat : 1842 (minisat_static) R 1836 1836 15108 0 -1 4202496 6833 0 0 0 9777 7 0 0 25 0 1 0 1008191591 29212672 6768 4294967295 134512640 135215339 3215343104 3215341392 134528779 0 0 0 3 0 0 0 17 2 0 0 0
/proc/1842/statm: 7132 6768 73 172 0 6959 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 30944

[startup+162.314 s]
/proc/loadavg: 1.11 1.07 1.01 3/93 2224
/proc/meminfo: memFree=592860/2074464 swapFree=1952056/1959888
[pid=1836] ppid=1834 vsize=2416 CPUtime=4.46
/proc/1836/stat : 1836 (SatELiteGTI) S 1834 1836 15108 0 -1 4194304 386 27294 0 0 0 0 426 20 24 0 1 0 1008191144 2473984 277 4294967295 134512640 135169312 3212915552 3212911768 3085463278 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1836/statm: 604 277 235 161 0 43 0
[pid=1842] ppid=1836 vsize=34924 CPUtime=157.84
/proc/1842/stat : 1842 (minisat_static) R 1836 1836 15108 0 -1 4202496 8434 0 0 0 15777 7 0 0 25 0 1 0 1008191591 35762176 8369 4294967295 134512640 135215339 3215343104 3215341392 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/1842/statm: 8731 8369 73 172 0 8558 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 37340

[startup+222.32 s]
/proc/loadavg: 1.11 1.08 1.02 3/93 2420
/proc/meminfo: memFree=587156/2074464 swapFree=1952056/1959888
[pid=1836] ppid=1834 vsize=2416 CPUtime=4.46
/proc/1836/stat : 1836 (SatELiteGTI) S 1834 1836 15108 0 -1 4194304 386 27294 0 0 0 0 426 20 24 0 1 0 1008191144 2473984 277 4294967295 134512640 135169312 3212915552 3212911768 3085463278 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1836/statm: 604 277 235 161 0 43 0
[pid=1842] ppid=1836 vsize=40656 CPUtime=217.85
/proc/1842/stat : 1842 (minisat_static) R 1836 1836 15108 0 -1 4202496 9844 0 0 0 21777 8 0 0 25 0 1 0 1008191591 41631744 9779 4294967295 134512640 135215339 3215343104 3215341392 134528788 0 0 0 3 0 0 0 17 2 0 0 0
/proc/1842/statm: 10164 9779 73 172 0 9991 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 43072

[startup+282.315 s]
/proc/loadavg: 1.04 1.06 1.01 3/93 2609
/proc/meminfo: memFree=581948/2074464 swapFree=1952056/1959888
[pid=1836] ppid=1834 vsize=2416 CPUtime=4.46
/proc/1836/stat : 1836 (SatELiteGTI) S 1834 1836 15108 0 -1 4194304 386 27294 0 0 0 0 426 20 24 0 1 0 1008191144 2473984 277 4294967295 134512640 135169312 3212915552 3212911768 3085463278 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1836/statm: 604 277 235 161 0 43 0
[pid=1842] ppid=1836 vsize=46232 CPUtime=277.85
/proc/1842/stat : 1842 (minisat_static) R 1836 1836 15108 0 -1 4202496 11155 0 0 0 27775 10 0 0 25 0 1 0 1008191591 47341568 11090 4294967295 134512640 135215339 3215343104 3215341392 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/1842/statm: 11558 11090 73 172 0 11385 0
Current children cumulated CPU time (s) 282.31
Current children cumulated vsize (KiB) 48648

[startup+342.321 s]
/proc/loadavg: 1.01 1.05 1.01 2/93 2803
/proc/meminfo: memFree=577716/2074464 swapFree=1952056/1959888
[pid=1836] ppid=1834 vsize=2416 CPUtime=4.46
/proc/1836/stat : 1836 (SatELiteGTI) S 1834 1836 15108 0 -1 4194304 386 27294 0 0 0 0 426 20 24 0 1 0 1008191144 2473984 277 4294967295 134512640 135169312 3212915552 3212911768 3085463278 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1836/statm: 604 277 235 161 0 43 0
[pid=1842] ppid=1836 vsize=50540 CPUtime=337.86
/proc/1842/stat : 1842 (minisat_static) R 1836 1836 15108 0 -1 4202496 12230 0 0 0 33776 10 0 0 25 0 1 0 1008191591 51752960 12165 4294967295 134512640 135215339 3215343104 3215341392 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/1842/statm: 12635 12165 73 172 0 12462 0
Current children cumulated CPU time (s) 342.32

################
# More data... #
################

/proc/1836/stat : 1836 (SatELiteGTI) S 1834 1836 15108 0 -1 4194304 386 27294 0 0 0 0 426 20 24 0 1 0 1008191144 2473984 277 4294967295 134512640 135169312 3212915552 3212911768 3085463278 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1836/statm: 604 277 235 161 0 43 0
[pid=1842] ppid=1836 vsize=59072 CPUtime=457.87
/proc/1842/stat : 1842 (minisat_static) R 1836 1836 15108 0 -1 4202496 14278 0 0 0 45772 15 0 0 25 0 1 0 1008191591 60489728 14213 4294967295 134512640 135215339 3215343104 3215341392 134528728 0 0 0 3 0 0 0 17 2 0 0 0
/proc/1842/statm: 14768 14213 73 172 0 14595 0
Current children cumulated CPU time (s) 462.33
Current children cumulated vsize (KiB) 61488

[startup+522.317 s]
/proc/loadavg: 1.00 1.02 1.00 3/93 3390
/proc/meminfo: memFree=566440/2074464 swapFree=1952056/1959888
[pid=1836] ppid=1834 vsize=2416 CPUtime=4.46
/proc/1836/stat : 1836 (SatELiteGTI) S 1834 1836 15108 0 -1 4194304 386 27294 0 0 0 0 426 20 24 0 1 0 1008191144 2473984 277 4294967295 134512640 135169312 3212915552 3212911768 3085463278 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1836/statm: 604 277 235 161 0 43 0
[pid=1842] ppid=1836 vsize=62664 CPUtime=517.87
/proc/1842/stat : 1842 (minisat_static) R 1836 1836 15108 0 -1 4202496 15175 0 0 0 51772 15 0 0 25 0 1 0 1008191591 64167936 15110 4294967295 134512640 135215339 3215343104 3215341392 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/1842/statm: 15666 15110 73 172 0 15493 0
Current children cumulated CPU time (s) 522.33
Current children cumulated vsize (KiB) 65080

[startup+582.312 s]
/proc/loadavg: 1.00 1.02 1.00 2/93 3589
/proc/meminfo: memFree=563108/2074464 swapFree=1952056/1959888
[pid=1836] ppid=1834 vsize=2416 CPUtime=4.46
/proc/1836/stat : 1836 (SatELiteGTI) S 1834 1836 15108 0 -1 4194304 386 27294 0 0 0 0 426 20 24 0 1 0 1008191144 2473984 277 4294967295 134512640 135169312 3212915552 3212911768 3085463278 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1836/statm: 604 277 235 161 0 43 0
[pid=1842] ppid=1836 vsize=66016 CPUtime=577.87
/proc/1842/stat : 1842 (minisat_static) R 1836 1836 15108 0 -1 4202496 16033 0 0 0 57772 15 0 0 25 0 1 0 1008191591 67600384 15968 4294967295 134512640 135215339 3215343104 3215341392 134529148 0 0 0 3 0 0 0 17 2 0 0 0
/proc/1842/statm: 16504 15968 73 172 0 16331 0
Current children cumulated CPU time (s) 582.33
Current children cumulated vsize (KiB) 68432

[startup+642.318 s]
/proc/loadavg: 1.00 1.01 1.00 3/93 3778
/proc/meminfo: memFree=559372/2074464 swapFree=1952056/1959888
[pid=1836] ppid=1834 vsize=2416 CPUtime=4.46
/proc/1836/stat : 1836 (SatELiteGTI) S 1834 1836 15108 0 -1 4194304 386 27294 0 0 0 0 426 20 24 0 1 0 1008191144 2473984 277 4294967295 134512640 135169312 3212915552 3212911768 3085463278 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1836/statm: 604 277 235 161 0 43 0
[pid=1842] ppid=1836 vsize=69384 CPUtime=637.88
/proc/1842/stat : 1842 (minisat_static) R 1836 1836 15108 0 -1 4202496 16864 0 0 0 63771 17 0 0 25 0 1 0 1008191591 71049216 16799 4294967295 134512640 135215339 3215343104 3215341392 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/1842/statm: 17346 16799 73 172 0 17173 0
Current children cumulated CPU time (s) 642.34
Current children cumulated vsize (KiB) 71800

[startup+702.313 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 3965
/proc/meminfo: memFree=556528/2074464 swapFree=1952056/1959888
[pid=1836] ppid=1834 vsize=2416 CPUtime=4.46
/proc/1836/stat : 1836 (SatELiteGTI) S 1834 1836 15108 0 -1 4194304 386 27294 0 0 0 0 426 20 24 0 1 0 1008191144 2473984 277 4294967295 134512640 135169312 3212915552 3212911768 3085463278 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1836/statm: 604 277 235 161 0 43 0
[pid=1842] ppid=1836 vsize=72132 CPUtime=697.88
/proc/1842/stat : 1842 (minisat_static) R 1836 1836 15108 0 -1 4202496 17557 0 0 0 69771 17 0 0 25 0 1 0 1008191591 73863168 17492 4294967295 134512640 135215339 3215343104 3215341392 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/1842/statm: 18033 17492 73 172 0 17860 0
Current children cumulated CPU time (s) 702.34
Current children cumulated vsize (KiB) 74548

[startup+762.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 4153
/proc/meminfo: memFree=553064/2074464 swapFree=1952056/1959888
[pid=1836] ppid=1834 vsize=2416 CPUtime=4.46
/proc/1836/stat : 1836 (SatELiteGTI) S 1834 1836 15108 0 -1 4194304 386 27294 0 0 0 0 426 20 24 0 1 0 1008191144 2473984 277 4294967295 134512640 135169312 3212915552 3212911768 3085463278 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1836/statm: 604 277 235 161 0 43 0
[pid=1842] ppid=1836 vsize=75240 CPUtime=757.88
/proc/1842/stat : 1842 (minisat_static) R 1836 1836 15108 0 -1 4202496 18337 0 0 0 75771 17 0 0 25 0 1 0 1008191591 77045760 18272 4294967295 134512640 135215339 3215343104 3215341392 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/1842/statm: 18810 18272 73 172 0 18637 0
Current children cumulated CPU time (s) 762.34
Current children cumulated vsize (KiB) 77656

[startup+822.314 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 4346
/proc/meminfo: memFree=550072/2074464 swapFree=1952056/1959888
[pid=1836] ppid=1834 vsize=2416 CPUtime=4.46
/proc/1836/stat : 1836 (SatELiteGTI) S 1834 1836 15108 0 -1 4194304 386 27294 0 0 0 0 426 20 24 0 1 0 1008191144 2473984 277 4294967295 134512640 135169312 3212915552 3212911768 3085463278 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1836/statm: 604 277 235 161 0 43 0
[pid=1842] ppid=1836 vsize=78172 CPUtime=817.89
/proc/1842/stat : 1842 (minisat_static) R 1836 1836 15108 0 -1 4202496 19065 0 0 0 81771 18 0 0 25 0 1 0 1008191591 80048128 19000 4294967295 134512640 135215339 3215343104 3215341392 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/1842/statm: 19543 19000 73 172 0 19370 0
Current children cumulated CPU time (s) 822.35
Current children cumulated vsize (KiB) 80588

[startup+882.319 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 4532
/proc/meminfo: memFree=546864/2074464 swapFree=1952056/1959888
[pid=1836] ppid=1834 vsize=2416 CPUtime=4.46
/proc/1836/stat : 1836 (SatELiteGTI) S 1834 1836 15108 0 -1 4194304 386 27294 0 0 0 0 426 20 24 0 1 0 1008191144 2473984 277 4294967295 134512640 135169312 3212915552 3212911768 3085463278 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1836/statm: 604 277 235 161 0 43 0
[pid=1842] ppid=1836 vsize=81928 CPUtime=877.9
/proc/1842/stat : 1842 (minisat_static) R 1836 1836 15108 0 -1 4202496 19834 0 0 0 87772 18 0 0 25 0 1 0 1008191591 83894272 19769 4294967295 134512640 135215339 3215343104 3215341392 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/1842/statm: 20482 19769 73 172 0 20309 0
Current children cumulated CPU time (s) 882.36
Current children cumulated vsize (KiB) 84344

[startup+942.315 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 4721
/proc/meminfo: memFree=543996/2074464 swapFree=1952056/1959888
[pid=1836] ppid=1834 vsize=2416 CPUtime=4.46
/proc/1836/stat : 1836 (SatELiteGTI) S 1834 1836 15108 0 -1 4194304 386 27294 0 0 0 0 426 20 24 0 1 0 1008191144 2473984 277 4294967295 134512640 135169312 3212915552 3212911768 3085463278 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1836/statm: 604 277 235 161 0 43 0
[pid=1842] ppid=1836 vsize=84660 CPUtime=937.9
/proc/1842/stat : 1842 (minisat_static) R 1836 1836 15108 0 -1 4202496 20496 0 0 0 93772 18 0 0 25 0 1 0 1008191591 86691840 20431 4294967295 134512640 135215339 3215343104 3215341392 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/1842/statm: 21165 20431 73 172 0 20992 0
Current children cumulated CPU time (s) 942.36
Current children cumulated vsize (KiB) 87076

[startup+1002.32 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 4908
/proc/meminfo: memFree=541152/2074464 swapFree=1952056/1959888
[pid=1836] ppid=1834 vsize=2416 CPUtime=4.46
/proc/1836/stat : 1836 (SatELiteGTI) S 1834 1836 15108 0 -1 4194304 386 27294 0 0 0 0 426 20 24 0 1 0 1008191144 2473984 277 4294967295 134512640 135169312 3212915552 3212911768 3085463278 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1836/statm: 604 277 235 161 0 43 0
[pid=1842] ppid=1836 vsize=87468 CPUtime=997.91
/proc/1842/stat : 1842 (minisat_static) R 1836 1836 15108 0 -1 4202496 21171 0 0 0 99773 18 0 0 25 0 1 0 1008191591 89567232 21106 4294967295 134512640 135215339 3215343104 3215341392 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/1842/statm: 21867 21106 73 172 0 21694 0
Current children cumulated CPU time (s) 1002.37
Current children cumulated vsize (KiB) 89884

[startup+1062.32 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 5096
/proc/meminfo: memFree=538432/2074464 swapFree=1952056/1959888
[pid=1836] ppid=1834 vsize=2416 CPUtime=4.46
/proc/1836/stat : 1836 (SatELiteGTI) S 1834 1836 15108 0 -1 4194304 386 27294 0 0 0 0 426 20 24 0 1 0 1008191144 2473984 277 4294967295 134512640 135169312 3212915552 3212911768 3085463278 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1836/statm: 604 277 235 161 0 43 0
[pid=1842] ppid=1836 vsize=90176 CPUtime=1057.91
/proc/1842/stat : 1842 (minisat_static) R 1836 1836 15108 0 -1 4202496 21856 0 0 0 105773 18 0 0 25 0 1 0 1008191591 92340224 21791 4294967295 134512640 135215339 3215343104 3215341392 134528666 0 0 0 3 0 0 0 17 2 0 0 0
/proc/1842/statm: 22544 21791 73 172 0 22371 0
Current children cumulated CPU time (s) 1062.37
Current children cumulated vsize (KiB) 92592

[startup+1122.31 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 5289
/proc/meminfo: memFree=536308/2074464 swapFree=1952056/1959888
[pid=1836] ppid=1834 vsize=2416 CPUtime=4.46
/proc/1836/stat : 1836 (SatELiteGTI) S 1834 1836 15108 0 -1 4194304 386 27294 0 0 0 0 426 20 24 0 1 0 1008191144 2473984 277 4294967295 134512640 135169312 3212915552 3212911768 3085463278 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1836/statm: 604 277 235 161 0 43 0
[pid=1842] ppid=1836 vsize=92320 CPUtime=1117.91
/proc/1842/stat : 1842 (minisat_static) R 1836 1836 15108 0 -1 4202496 22411 0 0 0 111772 19 0 0 25 0 1 0 1008191591 94535680 22346 4294967295 134512640 135215339 3215343104 3215341392 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/1842/statm: 23080 22346 73 172 0 22907 0
Current children cumulated CPU time (s) 1122.37
Current children cumulated vsize (KiB) 94736

[startup+1182.32 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 5475
/proc/meminfo: memFree=533968/2074464 swapFree=1952056/1959888
[pid=1836] ppid=1834 vsize=2416 CPUtime=4.46
/proc/1836/stat : 1836 (SatELiteGTI) S 1834 1836 15108 0 -1 4194304 386 27294 0 0 0 0 426 20 24 0 1 0 1008191144 2473984 277 4294967295 134512640 135169312 3212915552 3212911768 3085463278 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1836/statm: 604 277 235 161 0 43 0
[pid=1842] ppid=1836 vsize=94672 CPUtime=1177.92
/proc/1842/stat : 1842 (minisat_static) R 1836 1836 15108 0 -1 4202496 22993 0 0 0 117773 19 0 0 25 0 1 0 1008191591 96944128 22928 4294967295 134512640 135215339 3215343104 3215341392 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/1842/statm: 23668 22928 73 172 0 23495 0
Current children cumulated CPU time (s) 1182.38
Current children cumulated vsize (KiB) 97088



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.02 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 5661
/proc/meminfo: memFree=533040/2074464 swapFree=1952056/1959888
[pid=1836] ppid=1834 vsize=2416 CPUtime=4.46
/proc/1836/stat : 1836 (SatELiteGTI) S 1834 1836 15108 0 -1 4194304 386 27294 0 0 0 0 426 20 24 0 1 0 1008191144 2473984 277 4294967295 134512640 135169312 3212915552 3212911768 3085463278 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1836/statm: 604 277 235 161 0 43 0
[pid=1842] ppid=1836 vsize=95240 CPUtime=1195.62
/proc/1842/stat : 1842 (minisat_static) R 1836 1836 15108 0 -1 4202496 23147 0 0 0 119543 19 0 0 25 0 1 0 1008191591 97525760 23082 4294967295 134512640 135215339 3215343104 3215341168 134538556 0 0 0 3 0 0 0 17 2 0 0 0
/proc/1842/statm: 23810 23082 73 172 0 23637 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 97656

Sending SIGTERM to process tree (bottom up)
SSolver just ended. Dumping a history of the last processes samples

Child status: 143
Real time (s): 1200.04
CPU time (s): 1200.1
CPU user time (s): 1199.69
CPU system time (s): 0.41
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 97656

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.69
system time used= 0.41
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51105
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= 24
involuntary context switches= 2248

runsolver used 0.01 second user time and 0 second system time

The end

Begin job on tipi24 at 2009-05-16 03:22:09
IDJOB=1820386
IDBENCH=20387
IDSOLVER=657
FILE ID=tipi24/1820386-1242436929
PBS_JOBID=
Free space on /tmp= 10921 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT07/industrial/anbulagan/hard-unsat/dated-5-13-u.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1820386-1242436929/watcher-1820386-1242436929 -o /tmp/evaluation-result-1820386-1242436929/solver-1820386-1242436929 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1820386-1242436929.cnf

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 45ee13b66821e6c36f3e38be418fa121
RANDOM SEED= 1650430959

Linux tipi24 2.6.18 #19 SMP Tue Jun 19 11:27:27 CEST 2007 i686 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: AuthenticAMD
cpu family	: 15
model		: 33
model name	: Dual Core AMD Opteron(tm) Processor 265
stepping	: 2
cpu MHz		: 1808.461
cache size	: 1024 KB
physical id	: 0
siblings	: 2
core id		: 0
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 1
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips	: 3618.40

processor	: 1
vendor_id	: AuthenticAMD
cpu family	: 15
model		: 33
model name	: Dual Core AMD Opteron(tm) Processor 265
stepping	: 2
cpu MHz		: 1808.461
cache size	: 1024 KB
physical id	: 0
siblings	: 2
core id		: 1
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 1
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips	: 3616.75

processor	: 2
vendor_id	: AuthenticAMD
cpu family	: 15
model		: 33
model name	: Dual Core AMD Opteron(tm) Processor 265
stepping	: 2
cpu MHz		: 1808.461
cache size	: 1024 KB
physical id	: 1
siblings	: 2
core id		: 0
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 1
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips	: 3616.77

processor	: 3
vendor_id	: AuthenticAMD
cpu family	: 15
model		: 33
model name	: Dual Core AMD Opteron(tm) Processor 265
stepping	: 2
cpu MHz		: 1808.461
cache size	: 1024 KB
physical id	: 1
siblings	: 2
core id		: 1
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 1
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips	: 3616.77


/proc/meminfo:
MemTotal:      2074464 kB
MemFree:        634532 kB
Buffers:         35436 kB
Cached:        1302016 kB
SwapCached:       3968 kB
Active:         544636 kB
Inactive:       802540 kB
HighTotal:     1178688 kB
HighFree:        81228 kB
LowTotal:       895776 kB
LowFree:        553304 kB
SwapTotal:     1959888 kB
SwapFree:      1952056 kB
Dirty:           12464 kB
Writeback:           0 kB
AnonPages:        8956 kB
Mapped:           3440 kB
Slab:            83528 kB
PageTables:        596 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   2997120 kB
Committed_AS:    87800 kB
VmallocTotal:   114680 kB
VmallocUsed:      1324 kB
VmallocChunk:   113264 kB

Free space on /tmp at the end= 10921 MiB
End job on tipi24 at 2009-05-16 03:42:11