Trace number 1820350

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
minisat_cumr p-2009-03-18? (TO) 1200.08 1200.13

General information on the benchmark

Nameindustrial/anbulagan/
hard-unsat/total-10-19-u.cnf
MD5SUMa2687a8a1b0deeabfd7eddcfa56549a2
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables331202
Number of clauses1571183
Sum of the clauses size3644324
Maximum clause length10
Minimum clause length1
Number of clauses of size 127558
Number of clauses of size 21199929
Number of clauses of size 3281756
Number of clauses of size 46880
Number of clauses of size 527520
Number of clauses of size over 527540

Solver Data 

0.00/0.00	c Parsing...
1.52/1.54	c ==============================================================================
1.52/1.54	c |           |     ORIGINAL     |              LEARNT              |          |
1.52/1.54	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
1.52/1.54	c ==============================================================================
1.52/1.54	c |         0 | 1543625  3616766 |  463087       0        0     nan |  0.000 % |
10.80/10.88	c |         0 |  616629  1615529 |      --       0       --      -- |     --   | -584573/-1226581
10.80/10.89	c ==============================================================================
10.80/10.89	c Result  :   #vars: 93490   #clauses: 616629   #literals: 1615529
10.80/10.89	c CPU time:   10.39 s
10.80/10.89	c ==============================================================================
11.48/11.56	c This is MiniSat 2.0 beta
11.48/11.56	c WARNING: for repeatability, setting FPU to use double precision
11.48/11.56	c ============================[ Problem Statistics ]=============================
11.48/11.56	c |                                                                             |
11.48/11.57	c |  Number of variables:  93490                                                |
11.48/11.57	c |  Number of clauses:    616629                                               |
11.52/12.01	c |  Parsing time:         0.41         s                                       |
11.96/12.04	c ============================[ Search Statistics ]==============================
11.96/12.04	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
11.96/12.04	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
11.96/12.04	c ===============================================================================
11.96/12.04	c |         0 |   93490   616629  1615529 |   205543        0    nan |  0.000 % |
12.26/12.41	c |       100 |   93302   616629  1615529 |   205543       92     30 |  2.567 % |
12.66/12.75	c |       200 |   93301   616629  1615529 |   205543      191     32 |  2.576 % |
12.96/13.04	c |       301 |   93301   616629  1615529 |   205543      292     35 |  2.576 % |
13.66/13.79	c |       412 |   90261   595358  1565642 |   205543      390     41 |  5.821 % |
14.14/14.29	c |       512 |   90259   595358  1565642 |   205543      488     41 |  5.843 % |
14.84/14.99	c |       627 |   88015   580679  1530753 |   205543      598     45 |  6.225 % |
15.64/15.76	c |       748 |   87746   580679  1530753 |   205543      709     45 | 12.949 % |
16.14/16.28	c |       848 |   81051   529912  1407458 |   205543      769     47 | 13.305 % |
16.74/16.88	c |       961 |   81038   529912  1407458 |   205543      880     57 | 13.687 % |
17.24/17.36	c |      1083 |   81038   529912  1407458 |   205543     1002     60 | 13.687 % |
17.73/17.83	c |      1217 |   76476   496784  1325215 |   205543     1119     60 | 19.179 % |
18.32/18.45	c |      1317 |   75783   496784  1325215 |   205543     1214     59 | 22.987 % |
18.72/18.85	c |      1430 |   75781   496784  1325215 |   205543     1327     64 | 22.987 % |
19.52/19.67	c |      1553 |   71988   464717  1245484 |   205543     1428     68 | 37.091 % |
19.80/19.95	c |      1687 |   70995   464717  1245484 |   205543     1560     67 | 48.975 % |
20.40/20.61	c |      1835 |   70995   464717  1245484 |   205543     1707     70 | 49.514 % |
21.00/21.17	c |      1935 |   47195   276853   758286 |   205543     1690     73 | 50.818 % |
21.50/21.68	c |      2051 |   45959   265454   726328 |   205543     1792     74 | 50.992 % |
21.70/21.85	c |      2174 |   45944   265454   726328 |   205543     1915     73 | 50.992 % |
22.20/22.35	c |      2308 |   45944   265454   726328 |   205543     2048     73 | 51.249 % |
22.40/22.55	c |      2455 |   45577   259474   709662 |   205543     2194     72 | 51.249 % |
23.00/23.13	c |      2615 |   45577   259474   709662 |   205543     2354     86 | 51.249 % |
23.30/23.42	c |      2718 |   45564   259387   709418 |   205543     2456     89 | 51.263 % |
23.60/23.79	c |      2828 |   45564   259387   709418 |   205543     2566     90 | 51.263 % |
24.30/24.42	c |      2949 |   45563   259387   709418 |   205543     2686     91 | 51.273 % |
24.70/24.90	c |      3084 |   45551   259318   709255 |   205543     2819     92 | 51.388 % |
25.20/25.35	c |      3231 |   45541   259318   709255 |   205543     2965     92 | 51.404 % |
25.79/25.93	c |      3393 |   45394   258552   707427 |   205543     3123     91 | 52.116 % |
26.49/26.71	c |      3570 |   44362   250673   687976 |   205543     3290     91 | 54.135 % |
26.79/26.95	c |      3670 |   44358   250673   687976 |   205543     3389     90 | 54.164 % |
27.09/27.24	c |      3782 |   44358   250673   687976 |   205543     3501     93 | 54.164 % |
27.59/27.78	c |      3903 |   42848   240726   661928 |   205543     3585     97 | 60.476 % |
27.99/28.19	c |      4036 |   42847   240726   661928 |   205543     3717     98 | 60.486 % |
28.49/28.69	c |      4182 |   36933   203001   559025 |   205543     3670     99 | 61.786 % |
28.69/28.91	c |      4344 |   36921   203001   559025 |   205543     3831    100 | 61.796 % |
29.19/29.37	c |      4522 |   36921   203001   559025 |   205543     4009    103 | 61.796 % |
29.29/29.51	c |      4716 |   35717   195876   539200 |   205543     4182    102 | 61.796 % |
29.69/29.88	c |      4816 |   35717   195876   539200 |   205543     4282    100 | 61.796 % |
29.89/30.06	c |      4927 |   35717   195876   539200 |   205543     4393    102 | 61.796 % |
29.99/30.17	c |      5048 |   35717   195876   539200 |   205543     4514    101 | 61.796 % |
30.19/30.40	c |      5183 |   35717   195876   539200 |   205543     4647    102 | 61.816 % |
30.69/30.87	c |      5332 |   35698   195734   538848 |   205543     4795    103 | 61.826 % |
31.19/31.32	c |      5492 |   35695   195734   538848 |   205543     4954    102 | 61.871 % |
31.59/31.77	c |      5673 |   35695   195734   538848 |   205543     5135    104 | 61.871 % |
32.19/32.34	c |      5866 |   35647   195357   537949 |   205543     5328    104 | 61.871 % |
32.59/32.72	c |      6078 |   35647   195357   537949 |   205543     5540    107 | 61.871 % |
32.69/32.83	c |      6180 |   35647   195357   537949 |   205543     5642    106 | 61.871 % |
32.89/33.03	c |      6290 |   35647   195357   537949 |   205543     5752    105 | 61.871 % |
33.09/33.31	c |      6411 |   35647   195357   537949 |   205543     5873    105 | 61.871 % |
33.59/33.78	c |      6544 |   35647   195357   537949 |   205543     6006    106 | 61.871 % |
33.89/34.09	c |      6691 |   35643   195310   537817 |   205543     6152    105 | 61.875 % |
34.29/34.50	c |      6851 |   35643   195310   537817 |   205543     6311    106 | 61.889 % |
34.79/34.92	c |      7027 |   35641   195310   537817 |   205543     6487    106 | 61.889 % |
35.19/35.34	c |      7221 |   35161   192439   529760 |   205543     6668    106 | 62.391 % |
35.59/35.76	c |      7436 |   35161   192439   529760 |   205543     6882    107 | 62.594 % |
36.29/36.47	c |      7671 |   35161   192439   529760 |   205543     7117    105 | 62.594 % |
36.59/36.73	c |      7772 |   34971   188506   518536 |   205543     7218    105 | 62.594 % |
36.79/36.97	c |      7883 |   34971   188506   518536 |   205543     7329    105 | 62.594 % |
36.99/37.16	c |      8004 |   34971   188506   518536 |   205543     7450    106 | 62.594 % |
37.19/37.34	c |      8137 |   34966   188506   518536 |   205543     7582    105 | 64.226 % |
37.59/37.80	c |      8283 |   34966   188506   518536 |   205543     7728    106 | 64.226 % |
38.09/38.24	c |      8444 |   33434   179705   494190 |   205543     7742    108 | 64.248 % |
38.40/38.57	c |      8622 |   33430   179705   494190 |   205543     7919    109 | 64.326 % |
38.69/38.89	c |      8815 |   33430   179705   494190 |   205543     8112    109 | 64.326 % |
39.09/39.27	c |      9028 |   33430   179705   494190 |   205543     8325    108 | 64.326 % |
39.50/39.66	c |      9261 |   33429   179705   494190 |   205543     8557    107 | 64.335 % |
40.19/40.37	c |      9519 |   33343   179091   492620 |   205543     8815    106 | 64.335 % |
40.39/40.61	c |      9621 |   33343   179091   492620 |   205543     8917    106 | 64.335 % |
40.69/40.87	c |      9731 |   33343   179091   492620 |   205543     9027    107 | 64.335 % |
40.89/41.07	c |      9852 |   33343   179091   492620 |   205543     9148    107 | 64.335 % |
41.19/41.38	c |      9986 |   33343   179091   492620 |   205543     9282    108 | 64.335 % |
41.49/41.62	c |     10132 |   33343   179091   492620 | 2147483647     9428    109 | 64.335 % |
41.79/41.96	c |     10293 |   33343   179091   492620 | 2147483647     9589    108 | 64.335 % |
42.09/42.27	c |     10469 |   33343   179091   492620 | 2147483647     9765    108 | 64.335 % |
42.49/42.71	c |     10662 |   33343   179091   492620 | 2147483647     9958    109 | 64.335 % |
43.19/43.36	c |     10878 |   33343   179091   492620 | 2147483647    10174    109 | 64.335 % |
43.49/43.70	c |     11111 |   33343   179091   492620 | 2147483647    10407    109 | 64.335 % |
44.19/44.39	c |     11367 |   33343   179091   492620 | 2147483647    10663    110 | 64.335 % |
44.89/45.07	c |     11648 |   33343   179091   492620 | 2147483647    10944    111 | 64.335 % |
45.19/45.32	c |     11748 |   33343   179091   492620 | 2147483647    11044    111 | 64.335 % |
45.49/45.69	c |     11860 |   33343   179091   492620 | 2147483647    11156    112 | 64.335 % |
45.99/46.21	c |     11981 |   33332   179009   492410 | 2147483647    11276    112 | 64.347 % |
46.29/46.43	c |     12115 |   33332   179009   492410 | 2147483647    11410    112 | 64.347 % |
46.59/46.75	c |     12261 |   33332   179009   492410 | 2147483647    11556    113 | 64.347 % |
46.79/46.92	c |     12421 |   33332   179009   492410 | 2147483647    11716    113 | 64.347 % |
47.29/47.46	c |     12597 |   33332   179009   492410 | 2147483647    11892    114 | 64.347 % |
47.59/47.76	c |     12790 |   33332   179009   492410 | 2147483647    12085    114 | 64.347 % |
48.30/48.45	c |     13003 |   33332   179009   492410 | 2147483647    12298    113 | 64.347 % |
48.69/48.83	c |     13236 |   33332   179009   492410 | 2147483647    12531    113 | 64.347 % |
49.29/49.52	c |     13496 |   33154   175383   482066 | 2147483647    12790    113 | 64.537 % |
49.69/49.85	c |     13777 |   33154   175383   482066 | 2147483647    13071    113 | 64.537 % |
50.69/50.91	c |     14087 |   33147   175383   482066 | 2147483647    13379    113 | 64.778 % |
50.89/51.09	c |     14188 |   33146   175383   482066 | 2147483647    13479    113 | 64.849 % |
51.19/51.32	c |     14299 |   32863   173912   478048 | 2147483647    13568    113 | 64.849 % |
51.49/51.63	c |     14420 |   32863   173912   478048 | 2147483647    13689    114 | 64.849 % |
51.60/51.79	c |     14554 |   32863   173912   478048 | 2147483647    13823    114 | 64.849 % |
51.79/51.99	c |     14700 |   32863   173912   478048 | 2147483647    13969    113 | 64.849 % |
52.59/52.73	c |     14861 |   32863   173912   478048 | 2147483647    14130    112 | 64.849 % |
53.19/53.38	c |     15037 |   32863   173912   478048 | 2147483647    14306    113 | 64.849 % |
53.59/53.76	c |     15230 |   32863   173912   478048 | 2147483647    14499    112 | 64.849 % |
53.80/53.99	c |     15442 |   32863   173912   478048 | 2147483647    14711    112 | 64.849 % |
54.39/54.60	c |     15675 |   32863   173912   478048 | 2147483647    14944    111 | 64.849 % |
55.29/55.42	c |     15932 |   32863   173912   478048 | 2147483647    15201    111 | 64.849 % |
56.29/56.49	c |     16213 |   32863   173912   478048 | 2147483647    15482    110 | 64.849 % |
56.79/56.99	c |     16526 |   31804   168801   463270 | 2147483647    15636    110 | 65.981 % |
57.49/57.64	c |     16865 |   31803   168801   463270 | 2147483647    15974    110 | 66.062 % |
57.69/57.83	c |     16965 |   31803   168801   463270 | 2147483647    16074    110 | 66.062 % |
57.79/58.01	c |     17075 |   31803   168801   463270 | 2147483647    16184    110 | 66.062 % |
57.99/58.19	c |     17196 |   31803   168801   463270 | 2147483647    16305    110 | 66.062 % |
58.39/58.61	c |     17329 |   31803   168801   463270 | 2147483647    16438    111 | 66.062 % |
58.59/58.81	c |     17475 |   31803   168801   463270 | 2147483647    16584    111 | 66.062 % |
59.19/59.37	c |     17635 |   31803   168801   463270 | 2147483647    16744    111 | 66.062 % |
59.89/60.09	c |     17813 |   31729   168519   462348 | 2147483647    16911    111 | 66.062 % |
60.19/60.36	c |     18006 |   31729   168519   462348 | 2147483647    17104    111 | 66.062 % |
60.69/60.87	c |     18218 |   31729   168519   462348 | 2147483647    17316    111 | 66.062 % |
61.19/61.41	c |     18451 |   31729   168519   462348 | 2147483647    17549    112 | 66.062 % |
61.79/61.96	c |     18708 |   31729   168519   462348 | 2147483647    17806    112 | 66.062 % |
62.60/62.78	c |     18989 |   31729   168519   462348 | 2147483647    18087    112 | 66.062 % |
63.29/63.45	c |     19299 |   31729   168519   462348 | 2147483647    18397    113 | 66.062 % |
64.19/64.34	c |     19641 |   31729   168519   462348 | 2147483647    18739    114 | 66.062 % |
64.80/64.93	c |     20013 |   31729   168519   462348 | 2147483647    19111    113 | 66.062 % |
64.99/65.19	c |     20114 |   31729   168519   462348 | 2147483647    19212    114 | 66.062 % |
65.19/65.36	c |     20225 |   31729   168519   462348 | 2147483647    19323    113 | 66.062 % |
65.39/65.61	c |     20346 |   31729   168519   462348 | 2147483647    19444    113 | 66.062 % |
65.79/66.02	c |     20480 |   31729   168519   462348 | 2147483647    19578    113 | 66.062 % |
66.29/66.42	c |     20626 |   31729   168519   462348 | 2147483647    19724    113 | 66.062 % |
66.69/66.84	c |     20790 |   31729   168519   462348 | 2147483647    19888    113 | 66.062 % |
67.00/67.18	c |     20966 |   31719   168437   462158 | 2147483647    20063    113 | 66.072 % |
67.39/67.59	c |     21159 |   31719   168437   462158 | 2147483647    20256    113 | 66.072 % |
68.19/68.39	c |     21372 |   31719   168437   462158 | 2147483647    20469    112 | 66.072 % |
68.69/68.86	c |     21608 |   31719   168437   462158 | 2147483647    20705    113 | 66.072 % |
69.29/69.47	c |     21864 |   31719   168437   462158 | 2147483647    20961    112 | 66.072 % |
69.89/70.10	c |     22145 |   31719   168437   462158 | 2147483647    21242    113 | 66.072 % |
70.30/70.50	c |     22454 |   31719   168437   462158 | 2147483647    21551    113 | 66.072 % |
71.09/71.25	c |     22793 |   31719   168437   462158 | 2147483647    21890    112 | 66.072 % |
71.89/72.06	c |     23166 |   31708   168350   461934 | 2147483647    22262    114 | 66.084 % |
73.49/73.62	c |     23575 |   31708   168350   461934 | 2147483647    22671    116 | 66.084 % |
73.60/73.74	c |     23675 |   31708   168350   461934 | 2147483647    22771    115 | 66.084 % |
73.99/74.17	c |     23788 |   31708   168350   461934 | 2147483647    22884    115 | 66.084 % |
74.29/74.42	c |     23909 |   31708   168350   461934 | 2147483647    23005    115 | 66.084 % |
74.59/74.76	c |     24042 |   31708   168350   461934 | 2147483647    23138    116 | 66.084 % |
74.89/75.02	c |     24188 |   31708   168350   461934 | 2147483647    23284    115 | 66.084 % |
75.59/75.72	c |     24351 |   31708   168350   461934 | 2147483647    23447    116 | 66.084 % |
75.89/76.04	c |     24527 |   31708   168350   461934 | 2147483647    23623    116 | 66.084 % |
76.19/76.36	c |     24721 |   31708   168350   461934 | 2147483647    23817    116 | 66.084 % |
76.69/76.84	c |     24934 |   31708   168350   461934 | 2147483647    24030    115 | 66.084 % |
77.79/77.97	c |     25167 |   31699   168286   461788 | 2147483647    24262    115 | 66.094 % |
79.00/79.14	c |     25424 |   31699   168286   461788 | 2147483647    24519    115 | 66.094 % |
80.00/80.17	c |     25706 |   31699   168286   461788 | 2147483647    24801    115 | 66.094 % |
80.70/80.88	c |     26015 |   31699   168286   461788 | 2147483647    25110    115 | 66.094 % |
81.30/81.42	c |     26354 |   31699   168286   461788 | 2147483647    25449    115 | 66.094 % |
82.00/82.22	c |     26729 |   31699   168286   461788 | 2147483647    25824    116 | 66.094 % |
83.10/83.23	c |     27138 |   31699   168286   461788 | 2147483647    26233    116 | 66.094 % |
84.10/84.32	c |     27588 |   31699   168286   461788 | 2147483647    26683    116 | 66.094 % |
84.40/84.53	c |     27688 |   31699   168286   461788 | 2147483647    26783    116 | 66.094 % |
84.60/84.73	c |     27800 |   31699   168286   461788 | 2147483647    26895    116 | 66.094 % |
85.00/85.13	c |     27921 |   31699   168286   461788 | 2147483647    27016    116 | 66.094 % |
85.20/85.38	c |     28054 |   31699   168286   461788 | 2147483647    27149    116 | 66.094 % |
85.50/85.69	c |     28203 |   31699   168286   461788 | 2147483647    27298    116 | 66.094 % |
85.90/86.05	c |     28367 |   31503   166917   458466 | 2147483647    27461    116 | 66.303 % |
86.40/86.61	c |     28543 |   31503   166917   458466 | 2147483647    27637    116 | 66.303 % |
86.90/87.05	c |     28737 |   31503   166917   458466 | 2147483647    27831    116 | 66.303 % |
87.30/87.48	c |     28949 |   31503   166917   458466 | 2147483647    28043    117 | 66.303 % |
87.90/88.04	c |     29182 |   31503   166917   458466 | 2147483647    28276    116 | 66.303 % |
88.50/88.68	c |     29439 |   31503   166917   458466 | 2147483647    28533    117 | 66.303 % |
88.90/89.09	c |     29720 |   31503   166917   458466 | 2147483647    28814    116 | 66.303 % |
90.00/90.13	c |     30031 |   31503   166917   458466 | 2147483647    29125    116 | 66.303 % |
90.49/90.65	c |     30370 |   31503   166917   458466 | 2147483647    29464    116 | 66.303 % |
91.29/91.47	c |     30742 |   31503   166917   458466 | 2147483647    29836    117 | 66.303 % |
91.99/92.19	c |     31151 |   31503   166917   458466 | 2147483647    30245    117 | 66.303 % |
92.89/93.02	c |     31600 |   31503   166917   458466 | 2147483647    30694    118 | 66.303 % |
93.89/94.09	c |     32093 |   31503   166917   458466 | 2147483647    31187    117 | 66.303 % |
94.19/94.33	c |     32195 |   31503   166917   458466 | 2147483647    31289    117 | 66.303 % |
94.39/94.58	c |     32305 |   31503   166917   458466 | 2147483647    31399    117 | 66.303 % |
94.69/94.87	c |     32428 |   31503   166917   458466 | 2147483647    31522    117 | 66.303 % |
94.99/95.21	c |     32561 |   31503   166917   458466 | 2147483647    31655    117 | 66.303 % |
95.29/95.50	c |     32707 |   31503   166917   458466 | 2147483647    31801    117 | 66.303 % |
95.79/95.94	c |     32868 |   31503   166917   458466 | 2147483647    31962    116 | 66.303 % |
96.09/96.28	c |     33047 |   31503   166917   458466 | 2147483647    32141    116 | 66.303 % |
96.39/96.59	c |     33240 |   31503   166917   458466 | 2147483647    32334    116 | 66.303 % |
96.79/97.01	c |     33452 |   31503   166917   458466 | 2147483647    32546    116 | 66.303 % |
97.29/97.47	c |     33685 |   31503   166917   458466 | 2147483647    32779    116 | 66.303 % |
97.79/97.94	c |     33941 |   31503   166917   458466 | 2147483647    33035    116 | 66.303 % |
98.19/98.34	c |     34223 |   31503   166917   458466 | 2147483647    33317    116 | 66.303 % |
98.79/99.00	c |     34535 |   31503   166917   458466 | 2147483647    33629    115 | 66.303 % |
99.39/99.54	c |     34874 |   31503   166917   458466 | 2147483647    33968    115 | 66.303 % |
100.19/100.37	c |     35247 |   31503   166917   458466 | 2147483647    34341    115 | 66.303 % |
101.39/101.58	c |     35656 |   31503   166917   458466 | 2147483647    34750    116 | 66.303 % |
102.59/102.76	c |     36107 |   31490   166838   458247 | 2147483647    35200    117 | 66.317 % |
103.39/103.57	c |     36601 |   31490   166838   458247 | 2147483647    35694    117 | 66.317 % |
104.49/104.67	c |     37144 |   31490   166838   458247 | 2147483647    36237    117 | 66.317 % |
104.69/104.87	c |     37244 |   31490   166838   458247 | 2147483647    36337    117 | 66.317 % |
104.89/105.10	c |     37354 |   31490   166838   458247 | 2147483647    36447    117 | 66.317 % |
105.19/105.35	c |     37475 |   31490   166838   458247 | 2147483647    36568    117 | 66.317 % |
105.69/105.85	c |     37608 |   31490   166838   458247 | 2147483647    36701    117 | 66.317 % |
106.09/106.30	c |     37754 |   31490   166838   458247 | 2147483647    36847    117 | 66.317 % |
106.69/106.86	c |     37914 |   31490   166838   458247 | 2147483647    37007    117 | 66.317 % |
107.19/107.38	c |     38090 |   31490   166838   458247 | 2147483647    37183    117 | 66.317 % |
107.49/107.70	c |     38283 |   31490   166838   458247 | 2147483647    37376    117 | 66.317 % |
107.99/108.11	c |     38496 |   31490   166838   458247 | 2147483647    37589    117 | 66.317 % |
108.39/108.61	c |     38730 |   31490   166838   458247 | 2147483647    37823    117 | 66.317 % |
109.09/109.24	c |     38987 |   31490   166838   458247 | 2147483647    38080    117 | 66.317 % |
109.59/109.78	c |     39269 |   31490   166838   458247 | 2147483647    38362    117 | 66.317 % |
110.09/110.29	c |     39578 |   31490   166838   458247 | 2147483647    38671    118 | 66.317 % |
110.89/111.02	c |     39917 |   31490   166838   458247 | 2147483647    39010    118 | 66.317 % |
111.99/112.15	c |     40291 |   31490   166838   458247 | 2147483647    39384    118 | 66.317 % |
113.09/113.30	c |     40700 |   31490   166838   458247 | 2147483647    39793    118 | 66.317 % |
114.69/114.86	c |     41149 |   31490   166838   458247 | 2147483647    40242    118 | 66.317 % |
116.29/116.49	c |     41642 |   31480   166768   458082 | 2147483647    40734    119 | 66.328 % |
117.89/118.08	c |     42185 |   31480   166768   458082 | 2147483647    41277    119 | 66.328 % |
119.09/119.29	c |     42784 |   31480   166768   458082 | 2147483647    41876    119 | 66.328 % |
119.39/119.57	c |     42885 |   31480   166768   458082 | 2147483647    41977    119 | 66.328 % |
119.79/119.92	c |     42996 |   31480   166768   458082 | 2147483647    42088    119 | 66.328 % |
119.99/120.19	c |     43117 |   31480   166768   458082 | 2147483647    42209    119 | 66.328 % |
120.49/120.63	c |     43255 |   31480   166768   458082 | 2147483647    42347    119 | 66.328 % |
120.89/121.06	c |     43401 |   31480   166768   458082 | 2147483647    42493    119 | 66.328 % |
121.29/121.48	c |     43562 |   31480   166768   458082 | 2147483647    42654    119 | 66.328 % |
121.69/121.86	c |     43739 |   31480   166768   458082 | 2147483647    42831    119 | 66.328 % |
122.09/122.29	c |     43932 |   31480   166768   458082 | 2147483647    43024    120 | 66.328 % |
122.99/123.17	c |     44145 |   31480   166768   458082 | 2147483647    43237    119 | 66.328 % |
123.69/123.86	c |     44379 |   31480   166768   458082 | 2147483647    43471    120 | 66.328 % |
124.19/124.39	c |     44636 |   31480   166768   458082 | 2147483647    43728    119 | 66.328 % |
124.79/124.97	c |     44920 |   31480   166768   458082 | 2147483647    44012    119 | 66.328 % |
125.49/125.68	c |     45230 |   31480   166768   458082 | 2147483647    44322    119 | 66.328 % |
126.69/126.83	c |     45569 |   31480   166768   458082 | 2147483647    44661    120 | 66.328 % |
127.39/127.59	c |     45942 |   31480   166768   458082 | 2147483647    45034    120 | 66.328 % |
128.19/128.40	c |     46351 |   31480   166768   458082 | 2147483647    45443    119 | 66.328 % |
129.09/129.26	c |     46803 |   31480   166768   458082 | 2147483647    45895    119 | 66.328 % |
130.09/130.28	c |     47298 |   31480   166768   458082 | 2147483647    46390    119 | 66.328 % |
131.39/131.57	c |     47840 |   31480   166768   458082 | 2147483647    46932    118 | 66.328 % |
132.79/132.91	c |     48438 |   31480   166768   458082 | 2147483647    47530    119 | 66.328 % |
134.39/134.55	c |     49093 |   31480   166768   458082 | 2147483647    48185    118 | 66.328 % |
134.69/134.88	c |     49196 |   31480   166768   458082 | 2147483647    48288    118 | 66.328 % |
134.99/135.21	c |     49307 |   31480   166768   458082 | 2147483647    48399    118 | 66.328 % |
135.39/135.54	c |     49428 |   31480   166768   458082 | 2147483647    48520    118 | 66.328 % |
135.69/135.86	c |     49561 |   31480   166768   458082 | 2147483647    48653    118 | 66.328 % |
136.09/136.31	c |     49707 |   31480   166768   458082 | 2147483647    48799    118 | 66.328 % |
136.49/136.62	c |     49867 |   31480   166768   458082 | 2147483647    48959    118 | 66.328 % |
137.40/137.52	c |     50043 |   31471   166704   457915 | 2147483647    49131    118 | 66.338 % |
137.79/137.99	c |     50236 |   31471   166704   457915 | 2147483647    49324    118 | 66.338 % |
138.59/138.74	c |     50449 |   31471   166704   457915 | 2147483647    49537    118 | 66.338 % |
139.39/139.54	c |     50682 |   31471   166704   457915 | 2147483647    49769    118 | 66.353 % |
140.19/140.40	c |     50938 |   31471   166704   457915 | 2147483647    50024    118 | 66.502 % |
141.09/141.28	c |     51219 |   31471   166704   457915 | 2147483647    50305    118 | 66.502 % |
142.19/142.33	c |     51530 |   31471   166704   457915 | 2147483647    50616    118 | 66.502 % |
142.99/143.14	c |     51870 |   31471   166704   457915 | 2147483647    50956    118 | 66.502 % |
143.79/143.95	c |     52244 |   31471   166704   457915 | 2147483647    51330    119 | 66.502 % |
144.99/145.12	c |     52653 |   31471   166704   457915 | 2147483647    51739    119 | 66.502 % |
146.09/146.24	c |     53104 |   31471   166704   457915 | 2147483647    52190    119 | 66.502 % |
147.39/147.56	c |     53600 |   31304   165623   455021 | 2147483647    52685    119 | 66.516 % |
148.79/148.99	c |     54146 |   31304   165623   455021 | 2147483647    53231    119 | 66.516 % |
150.49/150.70	c |     54743 |   31304   165623   455021 | 2147483647    53828    120 | 66.516 % |
152.19/152.34	c |     55398 |   31304   165623   455021 | 2147483647    54482    120 | 66.522 % |
155.00/155.20	c |     56118 |   31304   165623   455021 | 2147483647    55202    120 | 66.522 % |
155.49/155.62	c |     56219 |   31304   165623   455021 | 2147483647    55303    120 | 66.522 % |
155.79/155.99	c |     56330 |   31304   165623   455021 | 2147483647    55414    120 | 66.522 % |
156.19/156.34	c |     56454 |   31304   165623   455021 | 2147483647    55538    120 | 66.522 % |
156.49/156.66	c |     56587 |   31299   165576   454893 | 2147483647    55671    120 | 66.522 % |
156.89/157.05	c |     56733 |   31299   165576   454893 | 2147483647    55817    120 | 66.522 % |
157.49/157.70	c |     56894 |   31299   165576   454893 | 2147483647    55978    120 | 66.522 % |
158.49/158.64	c |     57074 |   31299   165576   454893 | 2147483647    56158    120 | 66.522 % |
158.99/159.14	c |     57267 |   31299   165576   454893 | 2147483647    56351    120 | 66.522 % |
159.69/159.90	c |     57480 |   31299   165576   454893 | 2147483647    56564    120 | 66.522 % |
160.59/160.80	c |     57713 |   31299   165576   454893 | 2147483647    56797    120 | 66.522 % |
161.60/161.77	c |     57970 |   31299   165576   454893 | 2147483647    57054    120 | 66.522 % |
162.89/163.01	c |     58255 |   31299   165576   454893 | 2147483647    57339    120 | 66.522 % |
163.49/163.68	c |     58567 |   31299   165576   454893 | 2147483647    57651    120 | 66.522 % |
164.09/164.29	c |     58906 |   31299   165576   454893 | 2147483647    57990    120 | 66.522 % |
165.29/165.47	c |     59278 |   31299   165576   454893 | 2147483647    58362    120 | 66.522 % |
166.29/166.43	c |     59687 |   31299   165576   454893 | 2147483647    58771    120 | 66.522 % |
168.29/168.44	c |     60136 |   31299   165576   454893 | 2147483647    59220    120 | 66.522 % |
169.79/169.94	c |     60629 |   31299   165576   454893 | 2147483647    59713    119 | 66.522 % |
170.99/171.17	c |     61171 |   31299   165576   454893 | 2147483647    60255    119 | 66.522 % |
172.09/172.28	c |     61768 |   31299   165576   454893 | 2147483647    60852    119 | 66.522 % |
173.99/174.19	c |     62424 |   28698   149062   411911 | 2147483647    61324    119 | 69.319 % |
175.39/175.59	c |     63146 |   28698   149062   411911 | 2147483647    62046    118 | 69.319 % |
177.50/177.62	c |     63940 |   28698   149062   411911 | 2147483647    62840    119 | 69.319 % |
177.80/177.99	c |     64040 |   28698   149062   411911 | 2147483647    62940    119 | 69.319 % |
178.10/178.24	c |     64150 |   28698   149062   411911 | 2147483647    63050    119 | 69.319 % |
178.60/178.79	c |     64271 |   28698   149062   411911 | 2147483647    63171    119 | 69.319 % |
179.00/179.12	c |     64404 |   28698   149062   411911 | 2147483647    63304    119 | 69.319 % |
179.30/179.44	c |     64551 |   28698   149062   411911 | 2147483647    63451    119 | 69.319 % |
179.80/179.95	c |     64711 |   28698   149062   411911 | 2147483647    63611    119 | 69.319 % |
180.20/180.38	c |     64888 |   28698   149062   411911 | 2147483647    63788    119 | 69.319 % |
180.70/180.87	c |     65083 |   28698   149062   411911 | 2147483647    63983    119 | 69.319 % |
181.20/181.39	c |     65298 |   28698   149062   411911 | 2147483647    64198    119 | 69.319 % |
181.90/182.10	c |     65531 |   28698   149062   411911 | 2147483647    64431    119 | 69.319 % |
182.50/182.65	c |     65789 |   28698   149062   411911 | 2147483647    64689    119 | 69.319 % |
183.10/183.31	c |     66071 |   28698   149062   411911 | 2147483647    64971    119 | 69.319 % |
183.80/183.99	c |     66381 |   28698   149062   411911 | 2147483647    65281    119 | 69.319 % |
185.00/185.18	c |     66721 |   28698   149062   411911 | 2147483647    65621    119 | 69.319 % |
185.80/186.01	c |     67097 |   28698   149062   411911 | 2147483647    65996    119 | 69.329 % |
186.80/186.96	c |     67508 |   28698   149062   411911 | 2147483647    66407    119 | 69.329 % |
188.00/188.17	c |     67958 |   28674   148889   411460 | 2147483647    66857    119 | 69.329 % |
189.00/189.13	c |     68452 |   28674   148889   411460 | 2147483647    67351    118 | 69.329 % |
190.20/190.32	c |     68994 |   28674   148889   411460 | 2147483647    67893    118 | 69.329 % |
191.50/191.70	c |     69591 |   28674   148889   411460 | 2147483647    68490    118 | 69.329 % |
192.70/192.89	c |     70247 |   28674   148889   411460 | 2147483647    69146    118 | 69.329 % |
195.10/195.24	c |     70968 |   28674   148889   411460 | 2147483647    69867    117 | 69.329 % |
197.30/197.42	c |     71760 |   28674   148889   411460 | 2147483647    70659    117 | 69.329 % |
200.80/200.92	c |     72633 |   28674   148889   411460 | 2147483647    71532    117 | 69.329 % |
201.10/201.29	c |     72733 |   28674   148889   411460 | 2147483647    71632    117 | 69.329 % |
201.50/201.65	c |     72844 |   28674   148889   411460 | 2147483647    71743    117 | 69.329 % |
201.80/201.94	c |     72966 |   28674   148889   411460 | 2147483647    71865    117 | 69.329 % |
202.20/202.36	c |     73100 |   28674   148889   411460 | 2147483647    71999    117 | 69.329 % |
202.80/203.00	c |     73246 |   28674   148889   411460 | 2147483647    72145    117 | 69.329 % |
203.40/203.54	c |     73409 |   28674   148889   411460 | 2147483647    72308    117 | 69.329 % |
203.90/204.07	c |     73586 |   28674   148889   411460 | 2147483647    72485    117 | 69.329 % |
204.50/204.61	c |     73779 |   28674   148889   411460 | 2147483647    72678    117 | 69.329 % |
204.90/205.06	c |     73991 |   28674   148889   411460 | 2147483647    72890    117 | 69.329 % |
205.50/205.70	c |     74224 |   28674   148889   411460 | 2147483647    73123    117 | 69.329 % |
206.30/206.45	c |     74480 |   28674   148889   411460 | 2147483647    73379    117 | 69.329 % |
207.10/207.28	c |     74763 |   28674   148889   411460 | 2147483647    73662    117 | 69.329 % |
208.00/208.16	c |     75073 |   28674   148889   411460 | 2147483647    73972    117 | 69.329 % |
209.10/209.26	c |     75414 |   28674   148889   411460 | 2147483647    74313    117 | 69.329 % |
210.10/210.25	c |     75787 |   28674   148889   411460 | 2147483647    74686    117 | 69.329 % |
211.10/211.22	c |     76197 |   28674   148889   411460 | 2147483647    75096    117 | 69.329 % |
212.30/212.43	c |     76646 |   28674   148889   411460 | 2147483647    75545    117 | 69.329 % |
213.50/213.63	c |     77140 |   28674   148889   411460 | 2147483647    76039    117 | 69.329 % |
214.90/215.07	c |     77682 |   28674   148889   411460 | 2147483647    76581    117 | 69.329 % |
216.50/216.68	c |     78278 |   28674   148889   411460 | 2147483647    77177    117 | 69.329 % |
218.20/218.34	c |     78936 |   28674   148889   411460 | 2147483647    77835    117 | 69.329 % |
220.30/220.46	c |     79656 |   28674   148889   411460 | 2147483647    78555    117 | 69.329 % |
222.30/222.48	c |     80448 |   28674   148889   411460 | 2147483647    79347    116 | 69.329 % |
224.50/224.70	c |     81319 |   28674   148889   411460 | 2147483647    80218    116 | 69.329 % |
227.30/227.42	c |     82280 |   28674   148889   411460 | 2147483647    81179    116 | 69.329 % |
227.70/227.88	c |     82382 |   28674   148889   411460 | 2147483647    81281    116 | 69.329 % |
228.10/228.25	c |     82494 |   28674   148889   411460 | 2147483647    81393    116 | 69.329 % |
228.50/228.64	c |     82616 |   28674   148889   411460 | 2147483647    81515    116 | 69.329 % |
229.00/229.17	c |     82749 |   28674   148889   411460 | 2147483647    81648    117 | 69.329 % |
229.50/229.71	c |     82896 |   28674   148889   411460 | 2147483647    81795    117 | 69.329 % |
229.90/230.06	c |     83057 |   28674   148889   411460 | 2147483647    81956    117 | 69.329 % |
230.60/230.79	c |     83233 |   28674   148889   411460 | 2147483647    82132    117 | 69.329 % |
231.40/231.58	c |     83427 |   28674   148889   411460 | 2147483647    82326    117 | 69.329 % |
232.30/232.44	c |     83644 |   28674   148889   411460 | 2147483647    82543    117 | 69.329 % |
232.90/233.11	c |     83877 |   28674   148889   411460 | 2147483647    82776    117 | 69.329 % |
233.90/234.06	c |     84134 |   28674   148889   411460 | 2147483647    83033    117 | 69.329 % |
234.80/234.92	c |     84419 |   28674   148889   411460 | 2147483647    83318    117 | 69.329 % |
235.60/235.77	c |     84731 |   28663   148806   411245 | 2147483647    83627    117 | 69.341 % |
237.10/237.25	c |     85073 |   28663   148806   411245 | 2147483647    83969    117 | 69.341 % |
238.40/238.51	c |     85447 |   28663   148806   411245 | 2147483647    84343    117 | 69.341 % |
239.80/240.00	c |     85856 |   28663   148806   411245 | 2147483647    84752    117 | 69.341 % |
240.90/241.07	c |     86306 |   28663   148806   411245 | 2147483647    85202    117 | 69.341 % |
242.80/242.98	c |     86803 |   28663   148806   411245 | 2147483647    85699    117 | 69.341 % |
245.40/245.54	c |     87346 |   28663   148806   411245 | 2147483647    86241    117 | 69.345 % |
247.00/247.19	c |     87943 |   28663   148806   411245 | 2147483647    86838    117 | 69.345 % |
249.10/249.28	c |     88598 |   28663   148806   411245 | 2147483647    87493    117 | 69.345 % |
250.71/250.83	c |     89318 |   28663   148806   411245 | 2147483647    88213    117 | 69.345 % |
253.40/253.53	c |     90110 |   28663   148806   411245 | 2147483647    89005    117 | 69.345 % |
255.80/255.99	c |     90982 |   28659   148773   411162 | 2147483647    89877    117 | 69.345 % |
258.60/258.78	c |     91943 |   28659   148773   411162 | 2147483647    90838    117 | 69.345 % |
263.10/263.24	c |     92997 |   28659   148773   411162 | 2147483647    91892    117 | 69.345 % |
263.50/263.64	c |     93100 |   28659   148773   411162 | 2147483647    91994    117 | 69.358 % |
263.91/264.04	c |     93212 |   28659   148773   411162 | 2147483647    92106    117 | 69.358 % |
264.20/264.38	c |     93333 |   28658   148773   411162 | 2147483647    92226    117 | 69.369 % |
264.90/265.02	c |     93466 |   28658   148773   411162 | 2147483647    92359    117 | 69.369 % |
265.20/265.35	c |     93613 |   28658   148773   411162 | 2147483647    92506    117 | 69.369 % |
265.90/266.05	c |     93774 |   28658   148773   411162 | 2147483647    92667    117 | 69.369 % |
266.90/267.07	c |     93952 |   28658   148773   411162 | 2147483647    92845    117 | 69.369 % |
267.70/267.82	c |     94153 |   28658   148773   411162 | 2147483647    93046    117 | 69.369 % |
268.60/268.77	c |     94366 |   28658   148773   411162 | 2147483647    93259    117 | 69.369 % |
269.50/269.62	c |     94599 |   28658   148773   411162 | 2147483647    93492    117 | 69.369 % |
270.20/270.40	c |     94856 |   28658   148773   411162 | 2147483647    93749    118 | 69.369 % |
271.20/271.35	c |     95138 |   28658   148773   411162 | 2147483647    94031    118 | 69.369 % |
272.60/272.82	c |     95447 |   28626   148533   410542 | 2147483647    94331    118 | 69.381 % |
273.91/274.03	c |     95787 |   28626   148533   410542 | 2147483647    94671    118 | 69.381 % |
275.21/275.37	c |     96160 |   28626   148533   410542 | 2147483647    95043    118 | 69.391 % |
276.71/276.82	c |     96570 |   28626   148533   410542 | 2147483647    95453    118 | 69.391 % |
278.01/278.12	c |     97021 |   28626   148533   410542 | 2147483647    95904    118 | 69.391 % |
279.51/279.62	c |     97514 |   28626   148533   410542 | 2147483647    96397    118 | 69.391 % |
281.01/281.20	c |     98056 |   28626   148533   410542 | 2147483647    96939    117 | 69.391 % |
282.81/282.97	c |     98654 |   28626   148533   410542 | 2147483647    97537    117 | 69.391 % |
284.71/284.86	c |     99309 |   28626   148533   410542 | 2147483647    98192    117 | 69.391 % |
287.51/287.71	c |    100030 |   28626   148533   410542 | 2147483647    98913    117 | 69.391 % |
290.11/290.26	c |    100823 |   28626   148533   410542 | 2147483647    99706    117 | 69.391 % |
293.81/293.98	c |    101696 |   28626   148533   410542 | 2147483647   100579    117 | 69.391 % |
296.71/296.83	c |    102657 |   28626   148533   410542 | 2147483647   101540    117 | 69.391 % |
300.01/300.12	c |    103710 |   28615   148454   410345 | 2147483647   102590    117 | 69.401 % |
303.21/303.41	c |    104869 |   28615   148454   410345 | 2147483647   103749    116 | 69.401 % |
303.51/303.69	c |    104972 |   28615   148454   410345 | 2147483647   103852    116 | 69.401 % |
303.91/304.08	c |    105085 |   28615   148454   410345 | 2147483647   103965    116 | 69.401 % |
304.31/304.49	c |    105206 |   28615   148454   410345 | 2147483647   104086    116 | 69.401 % |
304.81/304.94	c |    105344 |   28615   148454   410345 | 2147483647   104224    116 | 69.401 % |
305.31/305.46	c |    105491 |   28615   148454   410345 | 2147483647   104371    116 | 69.401 % |
305.81/305.97	c |    105654 |   28615   148454   410345 | 2147483647   104534    116 | 69.401 % |
306.51/306.69	c |    105830 |   28615   148454   410345 | 2147483647   104710    116 | 69.401 % |
307.31/307.41	c |    106023 |   28615   148454   410345 | 2147483647   104903    116 | 69.401 % |
308.01/308.14	c |    106236 |   28615   148454   410345 | 2147483647   105116    116 | 69.401 % |
308.81/308.97	c |    106469 |   28615   148454   410345 | 2147483647   105349    116 | 69.401 % |
309.71/309.90	c |    106727 |   28615   148454   410345 | 2147483647   105607    116 | 69.401 % |
310.61/310.79	c |    107010 |   28615   148454   410345 | 2147483647   105890    116 | 69.401 % |
311.61/311.79	c |    107323 |   28615   148454   410345 | 2147483647   106203    116 | 69.401 % |
312.61/312.77	c |    107664 |   28615   148454   410345 | 2147483647   106544    116 | 69.401 % |
313.91/314.06	c |    108039 |   28615   148454   410345 | 2147483647   106919    116 | 69.401 % |
315.21/315.34	c |    108448 |   28615   148454   410345 | 2147483647   107328    116 | 69.401 % |
316.81/316.95	c |    108897 |   28615   148454   410345 | 2147483647   107777    116 | 69.401 % |
318.81/318.92	c |    109392 |   28615   148454   410345 | 2147483647   108272    116 | 69.401 % |
320.31/320.45	c |    109934 |   28615   148454   410345 | 2147483647   108814    116 | 69.401 % |
323.21/323.32	c |    110530 |   28581   148184   409671 | 2147483647   109407    117 | 69.429 % |
325.31/325.44	c |    111185 |   28581   148184   409671 | 2147483647   110062    117 | 69.429 % |
328.21/328.34	c |    111906 |   28581   148184   409671 | 2147483647   110783    116 | 69.429 % |
330.81/330.98	c |    112698 |   28581   148184   409671 | 2147483647   111575    117 | 69.429 % |
333.71/333.86	c |    113569 |   28581   148184   409671 | 2147483647   112446    117 | 69.429 % |
336.41/336.52	c |    114529 |   28581   148184   409671 | 2147483647   113406    117 | 69.429 % |
339.51/339.65	c |    115582 |   28581   148184   409671 | 2147483647   114459    117 | 69.429 % |
343.91/344.08	c |    116741 |   28580   148184   409671 | 2147483647   115617    117 | 69.437 % |
350.11/350.25	c |    118016 |   28579   148184   409671 | 2147483647   116890    116 | 69.461 % |
350.61/350.77	c |    118117 |   28551   147977   409147 | 2147483647   116982    116 | 69.461 % |
351.01/351.19	c |    118227 |   28551   147977   409147 | 2147483647   117092    116 | 69.461 % |
351.41/351.53	c |    118348 |   28551   147977   409147 | 2147483647   117213    116 | 69.461 % |
351.92/352.09	c |    118481 |   28551   147977   409147 | 2147483647   117346    117 | 69.461 % |
352.41/352.57	c |    118630 |   28551   147977   409147 | 2147483647   117495    116 | 69.461 % |
353.31/353.41	c |    118791 |   28551   147977   409147 | 2147483647   117656    117 | 69.461 % |
354.12/354.24	c |    118967 |   28551   147977   409147 | 2147483647   117832    116 | 69.461 % |
355.01/355.13	c |    119163 |   28551   147977   409147 | 2147483647   118028    116 | 69.461 % |
355.91/356.06	c |    119377 |   28551   147977   409147 | 2147483647   118242    116 | 69.461 % |
357.01/357.17	c |    119610 |   28551   147977   409147 | 2147483647   118475    116 | 69.461 % |
358.01/358.14	c |    119866 |   28551   147977   409147 | 2147483647   118731    117 | 69.461 % |
359.01/359.11	c |    120147 |   28551   147977   409147 | 2147483647   119012    117 | 69.461 % |
360.41/360.55	c |    120456 |   28551   147977   409147 | 2147483647   119321    117 | 69.461 % |
361.51/361.68	c |    120796 |   28551   147977   409147 | 2147483647   119661    118 | 69.461 % |
363.51/363.69	c |    121168 |   28551   147977   409147 | 2147483647   120033    118 | 69.461 % |
365.41/365.58	c |    121580 |   28551   147977   409147 | 2147483647   120445    118 | 69.461 % |
367.11/367.26	c |    122029 |   28551   147977   409147 | 2147483647   120894    118 | 69.461 % |
368.51/368.66	c |    122522 |   28551   147977   409147 | 2147483647   121387    118 | 69.461 % |
370.01/370.12	c |    123064 |   28551   147977   409147 | 2147483647   121929    118 | 69.461 % |
372.12/372.23	c |    123660 |   28551   147977   409147 | 2147483647   122525    118 | 69.461 % |
374.32/374.45	c |    124317 |   28551   147977   409147 | 2147483647   123182    118 | 69.461 % |
376.42/376.58	c |    125037 |   28551   147977   409147 | 2147483647   123902    118 | 69.461 % |
378.92/379.09	c |    125831 |   28551   147977   409147 | 2147483647   124696    118 | 69.461 % |
382.22/382.33	c |    126702 |   28551   147977   409147 | 2147483647   125567    119 | 69.461 % |
385.92/386.03	c |    127662 |   28551   147977   409147 | 2147483647   126527    119 | 69.461 % |
390.22/390.39	c |    128716 |   28551   147977   409147 | 2147483647   127581    119 | 69.461 % |
395.12/395.30	c |    129874 |   28551   147977   409147 | 2147483647   128739    119 | 69.461 % |
401.22/401.41	c |    131149 |   28551   147977   409147 | 2147483647   130014    119 | 69.461 % |
408.82/408.98	c |    132549 |   28551   147977   409147 | 2147483647   131414    118 | 69.461 % |
409.22/409.35	c |    132649 |   28551   147977   409147 | 2147483647   131514    118 | 69.461 % |
409.62/409.77	c |    132759 |   28551   147977   409147 | 2147483647   131624    118 | 69.461 % |
410.12/410.24	c |    132885 |   28551   147977   409147 | 2147483647   131750    118 | 69.461 % |
410.82/410.92	c |    133018 |   28551   147977   409147 | 2147483647   131883    118 | 69.461 % |
411.22/411.38	c |    133164 |   28551   147977   409147 | 2147483647   132029    118 | 69.461 % |
412.12/412.30	c |    133324 |   28551   147977   409147 | 2147483647   132189    118 | 69.461 % |
412.92/413.02	c |    133500 |   28551   147977   409147 | 2147483647   132365    118 | 69.461 % |
413.52/413.65	c |    133698 |   28551   147977   409147 | 2147483647   132563    118 | 69.461 % |
414.82/414.95	c |    133910 |   28551   147977   409147 | 2147483647   132775    118 | 69.461 % |
416.12/416.23	c |    134144 |   28551   147977   409147 | 2147483647   133009    118 | 69.461 % |
417.42/417.58	c |    134403 |   28551   147977   409147 | 2147483647   133268    118 | 69.461 % |
418.62/418.77	c |    134684 |   28551   147977   409147 | 2147483647   133549    118 | 69.461 % |
419.82/419.99	c |    134994 |   28551   147977   409147 | 2147483647   133859    118 | 69.461 % |
421.92/422.07	c |    135335 |   28551   147977   409147 | 2147483647   134200    118 | 69.461 % |
424.12/424.31	c |    135708 |   28551   147977   409147 | 2147483647   134573    118 | 69.461 % |
425.92/426.06	c |    136117 |   28551   147977   409147 | 2147483647   134982    118 | 69.461 % |
427.32/427.48	c |    136569 |   28551   147977   409147 | 2147483647   135434    118 | 69.461 % |
429.32/429.46	c |    137063 |   28551   147977   409147 | 2147483647   135928    118 | 69.461 % |
431.32/431.47	c |    137605 |   28551   147977   409147 | 2147483647   136470    118 | 69.461 % |
433.12/433.30	c |    138202 |   28551   147977   409147 | 2147483647   137067    118 | 69.461 % |
435.12/435.22	c |    138857 |   28551   147977   409147 | 2147483647   137722    118 | 69.461 % |
437.73/437.86	c |    139577 |   28551   147977   409147 | 2147483647   138442    118 | 69.461 % |
440.32/440.50	c |    140369 |   28391   146873   406411 | 2147483647   139233    118 | 69.632 % |
443.92/444.08	c |    141242 |   28391   146873   406411 | 2147483647   140106    118 | 69.632 % |
446.82/447.00	c |    142200 |   28391   146873   406411 | 2147483647   141064    119 | 69.632 % |
450.81/450.97	c |    143253 |   28391   146873   406411 | 2147483647   142117    119 | 69.632 % |
454.22/454.37	c |    144411 |   28391   146873   406411 | 2147483647   143275    119 | 69.632 % |
459.41/459.53	c |    145685 |   28391   146873   406411 | 2147483647   144549    119 | 69.632 % |
464.21/464.32	c |    147086 |   28391   146873   406411 | 2147483647   145950    120 | 69.632 % |
468.92/469.01	c |    148626 |   28391   146873   406411 | 2147483647   147490    120 | 69.632 % |
469.22/469.37	c |    148726 |   28391   146873   406411 | 2147483647   147590    120 | 69.632 % |
469.82/469.95	c |    148837 |   28391   146873   406411 | 2147483647   147701    120 | 69.632 % |
470.42/470.60	c |    148960 |   28391   146873   406411 | 2147483647   147824    120 | 69.632 % |
471.12/471.24	c |    149093 |   28391   146873   406411 | 2147483647   147957    120 | 69.632 % |
471.52/471.65	c |    149239 |   28391   146873   406411 | 2147483647   148103    120 | 69.632 % |
471.92/472.09	c |    149399 |   28391   146873   406411 | 2147483647   148263    120 | 69.632 % |
472.82/472.93	c |    149575 |   28391   146873   406411 | 2147483647   148439    120 | 69.632 % |
473.32/473.45	c |    149768 |   28391   146873   406411 | 2147483647   148632    120 | 69.632 % |
474.02/474.20	c |    149981 |   28391   146873   406411 | 2147483647   148845    120 | 69.632 % |
474.72/474.89	c |    150214 |   28391   146873   406411 | 2147483647   149078    120 | 69.632 % |
476.12/476.24	c |    150470 |   28391   146873   406411 | 2147483647   149334    120 | 69.632 % |
477.02/477.12	c |    150751 |   28391   146873   406411 | 2147483647   149615    120 | 69.632 % |
477.92/478.06	c |    151065 |   28391   146873   406411 | 2147483647   149929    120 | 69.632 % |
478.92/479.09	c |    151404 |   28391   146873   406411 | 2147483647   150268    119 | 69.632 % |
480.32/480.42	c |    151776 |   28391   146873   406411 | 2147483647   150640    120 | 69.632 % |
481.82/481.99	c |    152185 |   28391   146873   406411 | 2147483647   151049    120 | 69.632 % |
483.62/483.76	c |    152634 |   28391   146873   406411 | 2147483647   151498    120 | 69.632 % |
485.62/485.71	c |    153128 |   28391   146873   406411 | 2147483647   151992    120 | 69.632 % |
487.52/487.62	c |    153670 |   28391   146873   406411 | 2147483647   152534    120 | 69.632 % |
489.42/489.52	c |    154266 |   28391   146873   406411 | 2147483647   153130    120 | 69.632 % |
491.32/491.50	c |    154922 |   28391   146873   406411 | 2147483647   153786    120 | 69.632 % |
493.92/494.01	c |    155643 |   28391   146873   406411 | 2147483647   154507    120 | 69.632 % |
496.72/496.88	c |    156440 |   28391   146873   406411 | 2147483647   155304    119 | 69.632 % |
499.92/500.06	c |    157313 |   28391   146873   406411 | 2147483647   156177    119 | 69.632 % |
503.42/503.52	c |    158274 |   28391   146873   406411 | 2147483647   157138    119 | 69.632 % |
505.92/506.06	c |    159330 |   28391   146873   406411 | 2147483647   158194    119 | 69.632 % |
510.92/511.06	c |    160493 |   28391   146873   406411 | 2147483647   159357    119 | 69.632 % |
515.12/515.27	c |    161772 |   28391   146873   406411 | 2147483647   160636    119 | 69.632 % |
520.92/521.02	c |    163174 |   28391   146873   406411 | 2147483647   162038    119 | 69.632 % |
526.52/526.66	c |    164717 |   28391   146873   406411 | 2147483647   163581    119 | 69.632 % |
532.02/532.11	c |    166412 |   28391   146873   406411 | 2147483647   165276    120 | 69.632 % |
532.42/532.55	c |    166513 |   28391   146873   406411 | 2147483647   165377    120 | 69.632 % |
532.92/533.04	c |    166624 |   28391   146873   406411 | 2147483647   165488    120 | 69.632 % |
533.52/533.62	c |    166749 |   28391   146873   406411 | 2147483647   165613    120 | 69.632 % |
533.92/534.08	c |    166883 |   28391   146873   406411 | 2147483647   165747    120 | 69.632 % |
534.42/534.60	c |    167030 |   28391   146873   406411 | 2147483647   165894    120 | 69.632 % |
535.02/535.17	c |    167192 |   28391   146873   406411 | 2147483647   166056    120 | 69.632 % |
535.52/535.63	c |    167369 |   28391   146873   406411 | 2147483647   166233    120 | 69.632 % |
536.12/536.25	c |    167562 |   28391   146873   406411 | 2147483647   166426    120 | 69.632 % |
536.73/536.84	c |    167774 |   28391   146873   406411 | 2147483647   166638    120 | 69.632 % |
537.52/537.61	c |    168010 |   28391   146873   406411 | 2147483647   166874    120 | 69.632 % |
538.32/538.45	c |    168267 |   28391   146873   406411 | 2147483647   167131    120 | 69.632 % |
539.22/539.37	c |    168548 |   28391   146873   406411 | 2147483647   167412    119 | 69.632 % |
540.42/540.56	c |    168857 |   28391   146873   406411 | 2147483647   167721    119 | 69.632 % |
541.62/541.79	c |    169199 |   28391   146873   406411 | 2147483647   168063    119 | 69.632 % |
543.22/543.31	c |    169572 |   28096   144870   401526 | 2147483647   168435    119 | 69.948 % |
544.43/544.59	c |    169982 |   28096   144870   401526 | 2147483647   168845    119 | 69.948 % |
545.82/546.00	c |    170431 |   28096   144870   401526 | 2147483647   169294    119 | 69.948 % |
548.12/548.21	c |    170928 |   28096   144870   401526 | 2147483647   169791    120 | 69.948 % |
549.82/549.91	c |    171470 |   28096   144870   401526 | 2147483647   170333    120 | 69.948 % |
551.62/551.73	c |    172067 |   28096   144870   401526 | 2147483647   170930    120 | 69.948 % |
553.82/553.95	c |    172724 |   28096   144870   401526 | 2147483647   171586    120 | 69.963 % |
556.53/556.67	c |    173444 |   28096   144870   401526 | 2147483647   172306    120 | 69.963 % |
559.92/560.07	c |    174236 |   28096   144870   401526 | 2147483647   173098    120 | 69.963 % |
563.22/563.35	c |    175109 |   28096   144870   401526 | 2147483647   173971    120 | 69.963 % |
566.53/566.65	c |    176071 |   28096   144870   401526 | 2147483647   174933    120 | 69.963 % |
569.53/569.61	c |    177125 |   28096   144870   401526 | 2147483647   175987    120 | 69.963 % |
572.83/572.98	c |    178283 |   28096   144870   401526 | 2147483647   177145    120 | 69.963 % |
576.73/576.81	c |    179557 |   28096   144870   401526 | 2147483647   178419    119 | 69.963 % |
580.83/580.96	c |    180959 |   28096   144870   401526 | 2147483647   179821    119 | 69.963 % |
587.43/587.54	c |    182499 |   28095   144870   401526 | 2147483647   181360    119 | 69.975 % |
594.23/594.34	c |    184194 |   28095   144870   401526 | 2147483647   183055    119 | 69.975 % |
601.33/601.44	c |    186057 |   28070   144688   401060 | 2147483647   184906    119 | 69.975 % |
601.53/601.70	c |    186157 |   28070   144688   401060 | 2147483647   185006    119 | 69.975 % |
602.03/602.11	c |    186267 |   28070   144688   401060 | 2147483647   185116    119 | 69.975 % |
602.53/602.70	c |    186389 |   28070   144688   401060 | 2147483647   185238    119 | 69.975 % |
603.13/603.23	c |    186522 |   28070   144688   401060 | 2147483647   185371    119 | 69.975 % |
603.73/603.85	c |    186670 |   28070   144688   401060 | 2147483647   185519    119 | 69.975 % |
604.33/604.42	c |    186838 |   28070   144688   401060 | 2147483647   185687    119 | 69.975 % |
605.13/605.26	c |    187016 |   28070   144688   401060 | 2147483647   185865    119 | 69.975 % |
606.03/606.12	c |    187209 |   28070   144688   401060 | 2147483647   186058    119 | 69.975 % |
606.93/607.05	c |    187422 |   28070   144688   401060 | 2147483647   186271    119 | 69.975 % |
608.03/608.17	c |    187658 |   28070   144688   401060 | 2147483647   186507    119 | 69.975 % |
609.33/609.50	c |    187918 |   28070   144688   401060 | 2147483647   186767    119 | 69.975 % |
610.53/610.63	c |    188199 |   28070   144688   401060 | 2147483647   187048    119 | 69.975 % |
611.63/611.79	c |    188508 |   28070   144688   401060 | 2147483647   187357    119 | 69.975 % |
612.93/613.03	c |    188848 |   28070   144688   401060 | 2147483647   187697    119 | 69.975 % |
614.23/614.35	c |    189225 |   28070   144688   401060 | 2147483647   188074    119 | 69.975 % |
615.53/615.67	c |    189634 |   28070   144688   401060 | 2147483647   188483    119 | 69.975 % |
617.13/617.24	c |    190084 |   28070   144688   401060 | 2147483647   188933    119 | 69.975 % |
618.83/618.94	c |    190577 |   28070   144688   401060 | 2147483647   189426    119 | 69.975 % |
621.03/621.13	c |    191119 |   28070   144688   401060 | 2147483647   189968    119 | 69.975 % |
623.63/623.78	c |    191719 |   28070   144688   401060 | 2147483647   190568    119 | 69.975 % |
626.13/626.27	c |    192375 |   28070   144688   401060 | 2147483647   191224    119 | 69.975 % |
628.93/629.06	c |    193095 |   28070   144688   401060 | 2147483647   191944    119 | 69.975 % |
631.63/631.72	c |    193889 |   28070   144688   401060 | 2147483647   192738    119 | 69.975 % |
635.83/635.93	c |    194766 |   28070   144688   401060 | 2147483647   193614    119 | 69.986 % |
638.83/638.92	c |    195724 |   28070   144688   401060 | 2147483647   194572    119 | 69.986 % |
641.93/642.10	c |    196777 |   28070   144688   401060 | 2147483647   195625    119 | 69.986 % |
645.83/645.91	c |    197935 |   28070   144688   401060 | 2147483647   196783    119 | 69.986 % |
649.83/649.99	c |    199208 |   28070   144688   401060 | 2147483647   198056    118 | 69.986 % |
654.23/654.37	c |    200610 |   28070   144688   401060 | 2147483647   199458    118 | 69.986 % |
659.53/659.60	c |    202150 |   28060   144610   400850 | 2147483647   200995    118 | 69.986 % |
665.24/665.35	c |    203846 |   28060   144610   400850 | 2147483647   202691    118 | 69.986 % |
671.14/671.24	c |    205710 |   28060   144610   400850 | 2147483647   204555    117 | 69.986 % |
679.24/679.36	c |    207763 |   28060   144610   400850 | 2147483647   206608    117 | 69.986 % |
679.74/679.83	c |    207865 |   28060   144610   400850 | 2147483647   206710    117 | 69.986 % |
680.14/680.24	c |    207976 |   28060   144610   400850 | 2147483647   206821    117 | 69.986 % |
680.54/680.67	c |    208097 |   28060   144610   400850 | 2147483647   206942    117 | 69.986 % |
681.24/681.32	c |    208230 |   28060   144610   400850 | 2147483647   207075    117 | 69.986 % |
681.75/681.84	c |    208376 |   28060   144610   400850 | 2147483647   207221    117 | 69.986 % |
682.25/682.42	c |    208537 |   28060   144610   400850 | 2147483647   207382    117 | 69.986 % |
683.15/683.24	c |    208714 |   28060   144610   400850 | 2147483647   207559    117 | 69.986 % |
684.35/684.42	c |    208907 |   28060   144610   400850 | 2147483647   207752    117 | 69.986 % |
685.15/685.31	c |    209122 |   28060   144610   400850 | 2147483647   207967    117 | 69.986 % |
686.35/686.43	c |    209356 |   28060   144610   400850 | 2147483647   208201    117 | 69.986 % |
686.95/687.08	c |    209612 |   28060   144610   400850 | 2147483647   208457    117 | 69.986 % |
688.15/688.24	c |    209893 |   28060   144610   400850 | 2147483647   208738    117 | 69.986 % |
689.15/689.24	c |    210204 |   28060   144610   400850 | 2147483647   209049    117 | 69.986 % |
690.65/690.77	c |    210543 |   28060   144610   400850 | 2147483647   209388    117 | 69.986 % |
692.15/692.27	c |    210915 |   28060   144610   400850 | 2147483647   209760    117 | 69.986 % |
693.75/693.83	c |    211325 |   28060   144610   400850 | 2147483647   210170    117 | 69.986 % |
695.55/695.67	c |    211774 |   28059   144610   400850 | 2147483647   210618    117 | 70.011 % |
697.55/697.62	c |    212271 |   28059   144610   400850 | 2147483647   211115    117 | 70.011 % |
700.05/700.14	c |    212813 |   28059   144610   400850 | 2147483647   211657    117 | 70.011 % |
702.75/702.91	c |    213411 |   28058   144610   400850 | 2147483647   212254    117 | 70.357 % |
705.85/706.00	c |    214069 |   28058   144610   400850 | 2147483647   212912    117 | 70.357 % |
708.65/708.79	c |    214789 |   28058   144610   400850 | 2147483647   213632    117 | 70.357 % |
713.05/713.16	c |    215581 |   28057   144610   400850 | 2147483647   214423    117 | 70.374 % |
716.15/716.24	c |    216452 |   28056   144610   400850 | 2147483647   215293    117 | 70.380 % |
720.05/720.18	c |    217412 |   28056   144610   400850 | 2147483647   216252    117 | 70.394 % |
724.95/725.03	c |    218465 |   28056   144610   400850 | 2147483647   217305    118 | 70.394 % |
730.05/730.15	c |    219623 |   27679   142647   394521 | 2147483647   218452    117 | 70.394 % |
735.86/735.98	c |    220898 |   27679   142647   394521 | 2147483647   219727    117 | 70.394 % |
742.05/742.20	c |    222298 |   27679   142647   394521 | 2147483647   221127    117 | 70.394 % |
749.65/749.80	c |    223839 |   27679   142647   394521 | 2147483647   222668    117 | 70.394 % |
755.55/755.68	c |    225534 |   27679   142647   394521 | 2147483647   224363    117 | 70.394 % |
764.16/764.31	c |    227400 |   27679   142647   394521 | 2147483647   226229    117 | 70.394 % |
773.16/773.31	c |    229454 |   27679   142647   394521 | 2147483647   228282    118 | 70.406 % |
785.06/785.14	c |    231708 |   27679   142647   394521 | 2147483647   230536    118 | 70.406 % |
785.86/785.94	c |    231808 |   27667   142554   394292 | 2147483647   230636    118 | 70.406 % |
786.36/786.52	c |    231918 |   27667   142554   394292 | 2147483647   230746    118 | 70.406 % |
786.86/786.99	c |    232039 |   27667   142554   394292 | 2147483647   230867    118 | 70.406 % |
787.76/787.82	c |    232172 |   27667   142554   394292 | 2147483647   231000    118 | 70.406 % |
788.36/788.52	c |    232318 |   27667   142554   394292 | 2147483647   231146    118 | 70.406 % |
789.26/789.32	c |    232481 |   27667   142554   394292 | 2147483647   231309    118 | 70.406 % |
790.06/790.13	c |    232657 |   27667   142554   394292 | 2147483647   231485    118 | 70.406 % |
790.86/790.99	c |    232850 |   27667   142554   394292 | 2147483647   231678    118 | 70.406 % |
791.96/792.06	c |    233062 |   27667   142554   394292 | 2147483647   231890    118 | 70.406 % |
792.96/793.10	c |    233295 |   27667   142554   394292 | 2147483647   232123    118 | 70.406 % |
794.46/794.59	c |    233552 |   27667   142554   394292 | 2147483647   232380    118 | 70.406 % |
795.76/795.83	c |    233833 |   27667   142554   394292 | 2147483647   232661    118 | 70.406 % |
797.36/797.52	c |    234143 |   27667   142554   394292 | 2147483647   232971    118 | 70.406 % |
798.96/799.03	c |    234487 |   27667   142554   394292 | 2147483647   233315    118 | 70.406 % |
800.76/800.83	c |    234859 |   27667   142554   394292 | 2147483647   233687    118 | 70.406 % |
802.26/802.37	c |    235270 |   27667   142554   394292 | 2147483647   234098    118 | 70.406 % |
804.16/804.27	c |    235720 |   27667   142554   394292 | 2147483647   234548    118 | 70.406 % |
805.96/806.11	c |    236213 |   27667   142554   394292 | 2147483647   235041    118 | 70.406 % |
808.25/808.37	c |    236755 |   27667   142554   394292 | 2147483647   235583    118 | 70.406 % |
810.95/811.10	c |    237353 |   27667   142554   394292 | 2147483647   236181    118 | 70.406 % |
813.45/813.58	c |    238008 |   27667   142554   394292 | 2147483647   236836    118 | 70.406 % |
816.45/816.54	c |    238729 |   27667   142554   394292 | 2147483647   237557    118 | 70.406 % |
819.95/820.04	c |    239521 |   27667   142554   394292 | 2147483647   238349    118 | 70.406 % |
822.85/822.99	c |    240392 |   27667   142554   394292 | 2147483647   239220    118 | 70.406 % |
826.95/827.04	c |    241351 |   27667   142554   394292 | 2147483647   240179    117 | 70.406 % |
832.35/832.42	c |    242406 |   27667   142554   394292 | 2147483647   241234    117 | 70.406 % |
837.75/837.82	c |    243565 |   27667   142554   394292 | 2147483647   242393    117 | 70.406 % |
843.66/843.77	c |    244838 |   27667   142554   394292 | 2147483647   243666    117 | 70.406 % |
850.35/850.49	c |    246238 |   27667   142554   394292 | 2147483647   245066    117 | 70.406 % |
856.96/857.07	c |    247779 |   27667   142554   394292 | 2147483647   246607    117 | 70.406 % |
864.26/864.35	c |    249473 |   27667   142554   394292 | 2147483647   248301    118 | 70.406 % |
872.86/872.93	c |    251336 |   27667   142554   394292 | 2147483647   250164    118 | 70.406 % |
882.36/882.47	c |    253385 |   27667   142554   394292 | 2147483647   252213    119 | 70.406 % |
892.66/892.74	c |    255638 |   27667   142554   394292 | 2147483647   254466    119 | 70.406 % |
904.46/904.52	c |    258119 |   27667   142554   394292 | 2147483647   256947    119 | 70.406 % |
904.86/905.01	c |    258219 |   27667   142554   394292 | 2147483647   257047    119 | 70.406 % |
905.46/905.58	c |    258330 |   27667   142554   394292 | 2147483647   257158    119 | 70.406 % |
905.96/906.10	c |    258456 |   27667   142554   394292 | 2147483647   257284    119 | 70.406 % |
906.86/906.94	c |    258590 |   27667   142554   394292 | 2147483647   257418    119 | 70.406 % |
907.46/907.61	c |    258738 |   27667   142554   394292 | 2147483647   257566    119 | 70.406 % |
908.36/908.41	c |    258899 |   27667   142554   394292 | 2147483647   257727    119 | 70.406 % |
909.36/909.48	c |    259075 |   27667   142554   394292 | 2147483647   257903    119 | 70.406 % |
910.26/910.32	c |    259269 |   27667   142554   394292 | 2147483647   258097    119 | 70.406 % |
911.46/911.53	c |    259481 |   27667   142554   394292 | 2147483647   258309    119 | 70.406 % |
912.46/912.55	c |    259716 |   27667   142554   394292 | 2147483647   258544    119 | 70.406 % |
913.56/913.67	c |    259972 |   27667   142554   394292 | 2147483647   258800    119 | 70.406 % |
915.46/915.53	c |    260255 |   27667   142554   394292 | 2147483647   259083    119 | 70.406 % |
916.96/917.02	c |    260564 |   27667   142554   394292 | 2147483647   259392    119 | 70.406 % |
918.47/918.54	c |    260903 |   27667   142554   394292 | 2147483647   259731    119 | 70.406 % |
920.46/920.53	c |    261276 |   27667   142554   394292 | 2147483647   260104    118 | 70.406 % |
922.26/922.39	c |    261685 |   27667   142554   394292 | 2147483647   260513    118 | 70.406 % |
924.36/924.48	c |    262135 |   27667   142554   394292 | 2147483647   260963    118 | 70.406 % |
926.76/926.84	c |    262629 |   27642   142414   393913 | 2147483647   261453    118 | 70.433 % |
928.66/928.79	c |    263172 |   27642   142414   393913 | 2147483647   261996    118 | 70.433 % |
931.06/931.17	c |    263768 |   27642   142414   393913 | 2147483647   262592    119 | 70.433 % |
933.76/933.91	c |    264424 |   27642   142414   393913 | 2147483647   263248    118 | 70.433 % |
936.36/936.45	c |    265145 |   27642   142414   393913 | 2147483647   263969    118 | 70.433 % |
939.46/939.60	c |    265938 |   27642   142414   393913 | 2147483647   264762    118 | 70.433 % |
942.76/942.87	c |    266810 |   27642   142414   393913 | 2147483647   265634    118 | 70.433 % |
946.26/946.38	c |    267771 |   27642   142414   393913 | 2147483647   266595    118 | 70.433 % |
950.96/951.02	c |    268830 |   27642   142414   393913 | 2147483647   267654    118 | 70.433 % |
956.17/956.30	c |    269988 |   27642   142414   393913 | 2147483647   268812    118 | 70.433 % |
961.27/961.39	c |    271265 |   27642   142414   393913 | 2147483647   270089    118 | 70.433 % |
968.17/968.27	c |    272665 |   27642   142414   393913 | 2147483647   271489    119 | 70.433 % |
976.17/976.31	c |    274205 |   27642   142414   393913 | 2147483647   273029    119 | 70.433 % |
985.17/985.21	c |    275900 |   27637   142414   393913 | 2147483647   274722    119 | 71.479 % |
993.57/993.64	c |    277763 |   27637   142414   393913 | 2147483647   276585    119 | 71.479 % |
1003.77/1003.87	c |    279814 |   27637   142414   393913 | 2147483647   278636    119 | 71.479 % |
1014.57/1014.64	c |    282068 |   27637   142414   393913 | 2147483647   280890    119 | 71.479 % |
1024.97/1025.02	c |    284546 |   26664   138126   380946 | 2147483647   283136    119 | 71.479 % |
1036.77/1036.91	c |    287272 |   26664   138126   380946 | 2147483647   285862    119 | 71.479 % |
1037.57/1037.64	c |    287373 |   26664   138126   380946 | 2147483647   285963    119 | 71.479 % |
1038.38/1038.45	c |    287484 |   26664   138126   380946 | 2147483647   286074    119 | 71.479 % |
1039.07/1039.15	c |    287605 |   26664   138126   380946 | 2147483647   286195    119 | 71.479 % |
1039.97/1040.07	c |    287739 |   26664   138126   380946 | 2147483647   286329    119 | 71.479 % |
1040.97/1041.10	c |    287885 |   26664   138126   380946 | 2147483647   286475    119 | 71.479 % |
1042.07/1042.14	c |    288047 |   26664   138126   380946 | 2147483647   286637    119 | 71.479 % |
1043.37/1043.44	c |    288225 |   26664   138126   380946 | 2147483647   286815    119 | 71.479 % |
1044.57/1044.63	c |    288422 |   26664   138126   380946 | 2147483647   287012    119 | 71.479 % |
1045.57/1045.69	c |    288634 |   26664   138126   380946 | 2147483647   287224    119 | 71.479 % |
1046.67/1046.78	c |    288870 |   26664   138126   380946 | 2147483647   287460    119 | 71.479 % |
1047.97/1048.03	c |    289135 |   26664   138126   380946 | 2147483647   287725    119 | 71.479 % |
1049.17/1049.29	c |    289416 |   26664   138126   380946 | 2147483647   288006    119 | 71.479 % |
1050.48/1050.57	c |    289725 |   26664   138126   380946 | 2147483647   288315    119 | 71.479 % |
1052.08/1052.12	c |    290064 |   26664   138126   380946 |   288593   288654    119 | 71.479 % |
1054.38/1054.42	c |    290441 |   26664   138126   380946 |   288593   289031    119 | 71.479 % |
1056.28/1056.36	c |    290851 |   26664   138126   380946 |   288593   289441    119 | 71.479 % |
1059.48/1059.53	c |    291301 |   26664   138126   380946 |   288593   289891    119 | 71.479 % |
1063.68/1063.74	c |    291797 |   26664   138126   380946 |   288593   290387    119 | 71.479 % |
1066.98/1067.04	c |    292339 |   26664   138126   380946 |   288593   290929    119 | 71.479 % |
1069.78/1069.85	c |    292936 |   26664   138126   380946 |   288593   291526    119 | 71.479 % |
1072.88/1073.00	c |    293591 |   26664   138126   380946 |   288593   292181    119 | 71.479 % |
1076.28/1076.36	c |    294313 |   26664   138126   380946 |   288593   292903    119 | 71.479 % |
1081.08/1081.18	c |    295107 |   26664   138126   380946 |   288593   293697    119 | 71.479 % |
1086.48/1086.58	c |    295981 |   26664   138126   380946 |   288593   294571    119 | 71.479 % |
1091.58/1091.71	c |    296941 |   26664   138126   380946 |   288593   295530    119 | 71.580 % |
1096.88/1096.97	c |    297997 |   26664   138126   380946 |   288593   296586    119 | 71.580 % |
1103.18/1103.28	c |    299158 |   26664   138126   380946 |   288593   297747    119 | 71.580 % |
1110.48/1110.54	c |    300432 |   26664   138126   380946 | 2147483647   299021    119 | 71.580 % |
1117.48/1117.57	c |    301832 |   26664   138126   380946 | 2147483647   300421    119 | 71.580 % |
1124.28/1124.37	c |    303373 |   26664   138126   380946 | 2147483647   301962    119 | 71.580 % |
1132.48/1132.57	c |    305067 |   26664   138126   380946 | 2147483647   303656    119 | 71.580 % |
1142.89/1142.95	c |    306934 |   26664   138126   380946 | 2147483647   305523    119 | 71.580 % |
1153.99/1154.03	c |    308986 |   26569   137657   379515 | 2147483647   307572    119 | 71.592 % |
1163.69/1163.80	c |    311239 |   26569   137657   379515 |   308587   309825    119 | 71.592 % |
1175.08/1175.19	c |    313718 |   26569   137657   379515 |   308587   312304    119 | 71.592 % |
1190.88/1190.94	c |    316444 |   26569   137657   379515 |   308587   315030    119 | 71.592 % |

Verifier Data 

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

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 0.93 0.98 0.99 3/93 15159
/proc/meminfo: memFree=1580076/2074464 swapFree=1949056/1959888
[pid=15159] ppid=15157 vsize=2416 CPUtime=0.01
/proc/15159/stat : 15159 (SatELiteGTI) S 15157 15159 14060 0 -1 4194304 369 643 0 0 1 0 0 0 19 0 1 0 1007617747 2473984 277 4294967295 134512640 135169312 3215361456 3215359992 3085475566 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/15159/statm: 604 277 235 161 0 43 0
[pid=15163] ppid=15159 vsize=952 CPUtime=0
/proc/15163/stat : 15163 (SatELite_releas) R 15159 15159 14060 0 -1 4202496 124 0 0 0 0 0 0 0 20 0 1 0 1007617748 974848 60 4294967295 134512640 135223648 3219216720 3219215316 134719062 0 0 0 3 0 0 0 17 0 0 0 0
/proc/15163/statm: 238 61 46 174 0 63 0

[startup+0.064136 s]
/proc/loadavg: 0.93 0.98 0.99 3/93 15159
/proc/meminfo: memFree=1580076/2074464 swapFree=1949056/1959888
[pid=15159] ppid=15157 vsize=2416 CPUtime=0.01
/proc/15159/stat : 15159 (SatELiteGTI) S 15157 15159 14060 0 -1 4194304 369 643 0 0 1 0 0 0 19 0 1 0 1007617747 2473984 277 4294967295 134512640 135169312 3215361456 3215359992 3085475566 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/15159/statm: 604 277 235 161 0 43 0
[pid=15163] ppid=15159 vsize=12232 CPUtime=0.06
/proc/15163/stat : 15163 (SatELite_releas) R 15159 15159 14060 0 -1 4202496 2405 0 0 0 4 2 0 0 20 0 1 0 1007617748 12525568 2340 4294967295 134512640 135223648 3219216720 3219215304 134719062 0 0 0 3 0 0 0 17 0 0 0 0
/proc/15163/statm: 3058 2340 46 174 0 2883 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 14648

[startup+0.124139 s]
/proc/loadavg: 0.93 0.98 0.99 3/93 15159
/proc/meminfo: memFree=1580076/2074464 swapFree=1949056/1959888
[pid=15159] ppid=15157 vsize=2416 CPUtime=0.01
/proc/15159/stat : 15159 (SatELiteGTI) S 15157 15159 14060 0 -1 4194304 369 643 0 0 1 0 0 0 19 0 1 0 1007617747 2473984 277 4294967295 134512640 135169312 3215361456 3215359992 3085475566 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/15159/statm: 604 277 235 161 0 43 0
[pid=15163] ppid=15159 vsize=23740 CPUtime=0.11
/proc/15163/stat : 15163 (SatELite_releas) R 15159 15159 14060 0 -1 4202496 4858 0 0 0 8 3 0 0 21 0 1 0 1007617748 24309760 4793 4294967295 134512640 135223648 3219216720 3219215304 134719062 0 0 0 3 0 0 0 17 0 0 0 0
/proc/15163/statm: 5935 4794 46 174 0 5760 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 26156

[startup+0.324114 s]
/proc/loadavg: 0.93 0.98 0.99 3/93 15159
/proc/meminfo: memFree=1580076/2074464 swapFree=1949056/1959888
[pid=15159] ppid=15157 vsize=2416 CPUtime=0.01
/proc/15159/stat : 15159 (SatELiteGTI) S 15157 15159 14060 0 -1 4194304 369 643 0 0 1 0 0 0 19 0 1 0 1007617747 2473984 277 4294967295 134512640 135169312 3215361456 3215359992 3085475566 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/15159/statm: 604 277 235 161 0 43 0
[pid=15163] ppid=15159 vsize=76420 CPUtime=0.31
/proc/15163/stat : 15163 (SatELite_releas) R 15159 15159 14060 0 -1 4202496 13550 0 0 0 25 6 0 0 21 0 1 0 1007617748 78254080 13485 4294967295 134512640 135223648 3219216720 3219215304 134719062 0 0 0 3 0 0 0 17 0 0 0 0
/proc/15163/statm: 19105 13485 46 174 0 18930 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 78836

[startup+0.724078 s]
/proc/loadavg: 0.93 0.98 0.99 3/93 15159
/proc/meminfo: memFree=1580076/2074464 swapFree=1949056/1959888
[pid=15159] ppid=15157 vsize=2416 CPUtime=0.01
/proc/15159/stat : 15159 (SatELiteGTI) S 15157 15159 14060 0 -1 4194304 369 643 0 0 1 0 0 0 19 0 1 0 1007617747 2473984 277 4294967295 134512640 135169312 3215361456 3215359992 3085475566 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/15159/statm: 604 277 235 161 0 43 0
[pid=15163] ppid=15159 vsize=108300 CPUtime=0.71
/proc/15163/stat : 15163 (SatELite_releas) R 15159 15159 14060 0 -1 4202496 21489 0 0 0 57 14 0 0 22 0 1 0 1007617748 110899200 21424 4294967295 134512640 135223648 3219216720 3219215304 134719062 0 0 0 3 0 0 0 17 0 0 0 0
/proc/15163/statm: 27075 21425 46 174 0 26900 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 110716

[startup+1.52401 s]
/proc/loadavg: 0.93 0.98 0.99 2/95 15164
/proc/meminfo: memFree=1475388/2074464 swapFree=1949056/1959888
[pid=15159] ppid=15157 vsize=2416 CPUtime=0.01
/proc/15159/stat : 15159 (SatELiteGTI) S 15157 15159 14060 0 -1 4194304 369 643 0 0 1 0 0 0 19 0 1 0 1007617747 2473984 277 4294967295 134512640 135169312 3215361456 3215359992 3085475566 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/15159/statm: 604 277 235 161 0 43 0
[pid=15163] ppid=15159 vsize=158360 CPUtime=1.51
/proc/15163/stat : 15163 (SatELite_releas) R 15159 15159 14060 0 -1 4202496 34507 0 0 0 125 26 0 0 25 0 1 0 1007617748 162160640 34442 4294967295 134512640 135223648 3219216720 3219215728 134547620 0 0 0 3 0 0 0 17 0 0 0 0
/proc/15163/statm: 39590 34442 47 174 0 39415 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 160776

[startup+3.12387 s]
/proc/loadavg: 0.93 0.98 0.99 2/95 15164
/proc/meminfo: memFree=1428764/2074464 swapFree=1949056/1959888
[pid=15159] ppid=15157 vsize=2416 CPUtime=0.01
/proc/15159/stat : 15159 (SatELiteGTI) S 15157 15159 14060 0 -1 4194304 369 643 0 0 1 0 0 0 19 0 1 0 1007617747 2473984 277 4294967295 134512640 135169312 3215361456 3215359992 3085475566 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/15159/statm: 604 277 235 161 0 43 0
[pid=15163] ppid=15159 vsize=185716 CPUtime=3.09
/proc/15163/stat : 15163 (SatELite_releas) R 15159 15159 14060 0 -1 4202496 43341 0 0 0 275 34 0 0 25 0 1 0 1007617748 190173184 39522 4294967295 134512640 135223648 3219216720 3219214736 134586730 0 0 0 3 0 0 0 17 0 0 0 0
/proc/15163/statm: 46429 39522 73 174 0 46254 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 188132

[startup+6.32359 s]
/proc/loadavg: 0.93 0.98 0.99 2/95 15164
/proc/meminfo: memFree=1413668/2074464 swapFree=1949056/1959888
[pid=15159] ppid=15157 vsize=2416 CPUtime=0.01
/proc/15159/stat : 15159 (SatELiteGTI) S 15157 15159 14060 0 -1 4194304 369 643 0 0 1 0 0 0 19 0 1 0 1007617747 2473984 277 4294967295 134512640 135169312 3215361456 3215359992 3085475566 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/15159/statm: 604 277 235 161 0 43 0
[pid=15163] ppid=15159 vsize=205128 CPUtime=6.29
/proc/15163/stat : 15163 (SatELite_releas) R 15159 15159 14060 0 -1 4202496 48061 0 0 0 591 38 0 0 25 0 1 0 1007617748 210051072 43511 4294967295 134512640 135223648 3219216720 3219215072 134610222 0 0 0 3 0 0 0 17 0 0 0 0
/proc/15163/statm: 51282 43511 73 174 0 51107 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 207544

[startup+12.723 s]
/proc/loadavg: 0.94 0.98 0.99 2/95 15171
/proc/meminfo: memFree=1527260/2074464 swapFree=1949056/1959888
[pid=15159] ppid=15157 vsize=2420 CPUtime=11.52
/proc/15159/stat : 15159 (SatELiteGTI) S 15157 15159 14060 0 -1 4194304 387 67647 0 0 1 0 1101 50 18 0 1 0 1007617747 2478080 278 4294967295 134512640 135169312 3215361456 3215357672 3085475566 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/15159/statm: 605 278 235 161 0 44 0
[pid=15170] ppid=15159 vsize=34688 CPUtime=1.14
/proc/15170/stat : 15170 (minisat_static) R 15159 15159 14060 0 -1 4202496 8178 0 0 0 112 2 0 0 25 0 1 0 1007618904 35520512 8076 4294967295 134512640 135215339 3214257408 3214255696 134528624 0 0 0 3 0 0 0 17 1 0 0 0
/proc/15170/statm: 8672 8076 72 172 0 8499 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 37108

[startup+25.5219 s]
/proc/loadavg: 0.95 0.98 0.99 3/95 15171
/proc/meminfo: memFree=1525472/2074464 swapFree=1949056/1959888
[pid=15159] ppid=15157 vsize=2420 CPUtime=11.52
/proc/15159/stat : 15159 (SatELiteGTI) S 15157 15159 14060 0 -1 4194304 387 67647 0 0 1 0 1101 50 18 0 1 0 1007617747 2478080 278 4294967295 134512640 135169312 3215361456 3215357672 3085475566 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/15159/statm: 605 278 235 161 0 44 0
[pid=15170] ppid=15159 vsize=35336 CPUtime=13.88
/proc/15170/stat : 15170 (minisat_static) R 15159 15159 14060 0 -1 4202496 8317 0 0 0 1386 2 0 0 25 0 1 0 1007618904 36184064 8215 4294967295 134512640 135215339 3214257408 3214255696 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/15170/statm: 8834 8215 73 172 0 8661 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 37756

[startup+51.1197 s]
/proc/loadavg: 0.97 0.98 0.99 2/95 15358
/proc/meminfo: memFree=1522272/2074464 swapFree=1949056/1959888
[pid=15159] ppid=15157 vsize=2420 CPUtime=11.52
/proc/15159/stat : 15159 (SatELiteGTI) S 15157 15159 14060 0 -1 4194304 387 67647 0 0 1 0 1101 50 18 0 1 0 1007617747 2478080 278 4294967295 134512640 135169312 3215361456 3215357672 3085475566 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/15159/statm: 605 278 235 161 0 44 0
[pid=15170] ppid=15159 vsize=38112 CPUtime=39.47
/proc/15170/stat : 15170 (minisat_static) R 15159 15159 14060 0 -1 4202496 9039 0 0 0 3943 4 0 0 25 0 1 0 1007618904 39026688 8937 4294967295 134512640 135215339 3214257408 3214255616 134525933 0 0 0 3 0 0 0 17 0 0 0 0
/proc/15170/statm: 9528 8937 73 172 0 9355 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 40532

[startup+102.315 s]
/proc/loadavg: 0.98 0.98 0.99 2/95 15360
/proc/meminfo: memFree=1513392/2074464 swapFree=1949056/1959888
[pid=15159] ppid=15157 vsize=2420 CPUtime=11.52
/proc/15159/stat : 15159 (SatELiteGTI) S 15157 15159 14060 0 -1 4194304 387 67647 0 0 1 0 1101 50 18 0 1 0 1007617747 2478080 278 4294967295 134512640 135169312 3215361456 3215357672 3085475566 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/15159/statm: 605 278 235 161 0 44 0
[pid=15170] ppid=15159 vsize=47264 CPUtime=90.67
/proc/15170/stat : 15170 (minisat_static) R 15159 15159 14060 0 -1 4202496 11305 0 0 0 9059 8 0 0 25 0 1 0 1007618904 48398336 11203 4294967295 134512640 135215339 3214257408 3214255472 134538050 0 0 0 3 0 0 0 17 0 0 0 0
/proc/15170/statm: 11816 11203 73 172 0 11643 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 49684

[startup+162.31 s]
/proc/loadavg: 0.99 0.98 0.99 3/95 15548
/proc/meminfo: memFree=1502052/2074464 swapFree=1949056/1959888
[pid=15159] ppid=15157 vsize=2420 CPUtime=11.52
/proc/15159/stat : 15159 (SatELiteGTI) S 15157 15159 14060 0 -1 4194304 387 67647 0 0 1 0 1101 50 18 0 1 0 1007617747 2478080 278 4294967295 134512640 135169312 3215361456 3215357672 3085475566 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/15159/statm: 605 278 235 161 0 44 0
[pid=15170] ppid=15159 vsize=58724 CPUtime=150.67
/proc/15170/stat : 15170 (minisat_static) R 15159 15159 14060 0 -1 4202496 14156 0 0 0 15053 14 0 0 25 0 1 0 1007618904 60133376 14054 4294967295 134512640 135215339 3214257408 3214255472 134538971 0 0 0 3 0 0 0 17 0 0 0 0
/proc/15170/statm: 14681 14054 73 172 0 14508 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 61144

[startup+222.315 s]
/proc/loadavg: 1.04 1.00 1.00 2/95 15736
/proc/meminfo: memFree=1492328/2074464 swapFree=1949056/1959888
[pid=15159] ppid=15157 vsize=2420 CPUtime=11.52
/proc/15159/stat : 15159 (SatELiteGTI) S 15157 15159 14060 0 -1 4194304 387 67647 0 0 1 0 1101 50 18 0 1 0 1007617747 2478080 278 4294967295 134512640 135169312 3215361456 3215357672 3085475566 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/15159/statm: 605 278 235 161 0 44 0
[pid=15170] ppid=15159 vsize=68276 CPUtime=210.68
/proc/15170/stat : 15170 (minisat_static) R 15159 15159 14060 0 -1 4202496 16558 0 0 0 21053 15 0 0 25 0 1 0 1007618904 69914624 16456 4294967295 134512640 135215339 3214257408 3214255696 134528700 0 0 0 3 0 0 0 17 0 0 0 0
/proc/15170/statm: 17069 16456 73 172 0 16896 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 70696

[startup+282.32 s]
/proc/loadavg: 1.01 1.00 1.00 2/95 15925
/proc/meminfo: memFree=1483004/2074464 swapFree=1949056/1959888
[pid=15159] ppid=15157 vsize=2420 CPUtime=11.52
/proc/15159/stat : 15159 (SatELiteGTI) S 15157 15159 14060 0 -1 4194304 387 67647 0 0 1 0 1101 50 18 0 1 0 1007617747 2478080 278 4294967295 134512640 135169312 3215361456 3215357672 3085475566 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/15159/statm: 605 278 235 161 0 44 0
[pid=15170] ppid=15159 vsize=77784 CPUtime=270.69
/proc/15170/stat : 15170 (minisat_static) R 15159 15159 14060 0 -1 4202496 18908 0 0 0 27044 25 0 0 25 0 1 0 1007618904 79650816 18806 4294967295 134512640 135215339 3214257408 3214255696 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/15170/statm: 19446 18806 73 172 0 19273 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 80204

[startup+342.314 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 16116
/proc/meminfo: memFree=1474168/2074464 swapFree=1949056/1959888
[pid=15159] ppid=15157 vsize=2420 CPUtime=11.52
/proc/15159/stat : 15159 (SatELiteGTI) S 15157 15159 14060 0 -1 4194304 387 67647 0 0 1 0 1101 50 18 0 1 0 1007617747 2478080 278 4294967295 134512640 135169312 3215361456 3215357672 3085475566 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/15159/statm: 605 278 235 161 0 44 0
[pid=15170] ppid=15159 vsize=86456 CPUtime=330.69
/proc/15170/stat : 15170 (minisat_static) R 15159 15159 14060 0 -1 4202496 21088 0 0 0 33043 26 0 0 25 0 1 0 1007618904 88530944 20986 4294967295 134512640 135215339 3214257408 3214255696 134528788 0 0 0 3 0 0 0 17 0 0 0 0
/proc/15170/statm: 21614 20986 73 172 0 21441 0
Current children cumulated CPU time (s) 342.21

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

/proc/15170/statm: 30073 29396 73 172 0 29900 0
Current children cumulated CPU time (s) 582.23
Current children cumulated vsize (KiB) 122712

[startup+642.308 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 17061
/proc/meminfo: memFree=1432736/2074464 swapFree=1949056/1959888
[pid=15159] ppid=15157 vsize=2420 CPUtime=11.52
/proc/15159/stat : 15159 (SatELiteGTI) S 15157 15159 14060 0 -1 4194304 387 67647 0 0 1 0 1101 50 18 0 1 0 1007617747 2478080 278 4294967295 134512640 135169312 3215361456 3215357672 3085475566 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/15159/statm: 605 278 235 161 0 44 0
[pid=15170] ppid=15159 vsize=128220 CPUtime=630.71
/proc/15170/stat : 15170 (minisat_static) R 15159 15159 14060 0 -1 4202496 31492 0 0 0 63036 35 0 0 25 0 1 0 1007618904 131297280 31390 4294967295 134512640 135215339 3214257408 3214255696 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/15170/statm: 32055 31390 73 172 0 31882 0
Current children cumulated CPU time (s) 642.23
Current children cumulated vsize (KiB) 130640

[startup+702.323 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 17246
/proc/meminfo: memFree=1425428/2074464 swapFree=1949056/1959888
[pid=15159] ppid=15157 vsize=2420 CPUtime=11.52
/proc/15159/stat : 15159 (SatELiteGTI) S 15157 15159 14060 0 -1 4194304 387 67647 0 0 1 0 1101 50 18 0 1 0 1007617747 2478080 278 4294967295 134512640 135169312 3215361456 3215357672 3085475566 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/15159/statm: 605 278 235 161 0 44 0
[pid=15170] ppid=15159 vsize=135916 CPUtime=690.73
/proc/15170/stat : 15170 (minisat_static) R 15159 15159 14060 0 -1 4202496 33281 0 0 0 69036 37 0 0 25 0 1 0 1007618904 139177984 33179 4294967295 134512640 135215339 3214257408 3214255696 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/15170/statm: 33979 33179 73 172 0 33806 0
Current children cumulated CPU time (s) 702.25
Current children cumulated vsize (KiB) 138336

[startup+762.328 s]
/proc/loadavg: 1.06 1.01 1.00 2/95 17439
/proc/meminfo: memFree=1418460/2074464 swapFree=1949056/1959888
[pid=15159] ppid=15157 vsize=2420 CPUtime=11.52
/proc/15159/stat : 15159 (SatELiteGTI) S 15157 15159 14060 0 -1 4194304 387 67647 0 0 1 0 1101 50 18 0 1 0 1007617747 2478080 278 4294967295 134512640 135169312 3215361456 3215357672 3085475566 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/15159/statm: 605 278 235 161 0 44 0
[pid=15170] ppid=15159 vsize=142588 CPUtime=750.74
/proc/15170/stat : 15170 (minisat_static) R 15159 15159 14060 0 -1 4202496 34985 0 0 0 75037 37 0 0 25 0 1 0 1007618904 146010112 34883 4294967295 134512640 135215339 3214257408 3214255696 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/15170/statm: 35647 34883 73 172 0 35474 0
Current children cumulated CPU time (s) 762.26
Current children cumulated vsize (KiB) 145008

[startup+822.312 s]
/proc/loadavg: 1.02 1.01 1.00 3/95 17626
/proc/meminfo: memFree=1411664/2074464 swapFree=1949056/1959888
[pid=15159] ppid=15157 vsize=2420 CPUtime=11.52
/proc/15159/stat : 15159 (SatELiteGTI) S 15157 15159 14060 0 -1 4194304 387 67647 0 0 1 0 1101 50 18 0 1 0 1007617747 2478080 278 4294967295 134512640 135169312 3215361456 3215357672 3085475566 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/15159/statm: 605 278 235 161 0 44 0
[pid=15170] ppid=15159 vsize=149612 CPUtime=810.73
/proc/15170/stat : 15170 (minisat_static) R 15159 15159 14060 0 -1 4202496 36750 0 0 0 81035 38 0 0 25 0 1 0 1007618904 153202688 36648 4294967295 134512640 135215339 3214257408 3214255696 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/15170/statm: 37403 36648 73 172 0 37230 0
Current children cumulated CPU time (s) 822.25
Current children cumulated vsize (KiB) 152032

[startup+882.317 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 17815
/proc/meminfo: memFree=1404116/2074464 swapFree=1949056/1959888
[pid=15159] ppid=15157 vsize=2420 CPUtime=11.52
/proc/15159/stat : 15159 (SatELiteGTI) S 15157 15159 14060 0 -1 4194304 387 67647 0 0 1 0 1101 50 18 0 1 0 1007617747 2478080 278 4294967295 134512640 135169312 3215361456 3215357672 3085475566 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/15159/statm: 605 278 235 161 0 44 0
[pid=15170] ppid=15159 vsize=157204 CPUtime=870.74
/proc/15170/stat : 15170 (minisat_static) R 15159 15159 14060 0 -1 4202496 38637 0 0 0 87031 43 0 0 25 0 1 0 1007618904 160976896 38535 4294967295 134512640 135215339 3214257408 3214255696 134528666 0 0 0 3 0 0 0 17 3 0 0 0
/proc/15170/statm: 39301 38535 73 172 0 39128 0
Current children cumulated CPU time (s) 882.26
Current children cumulated vsize (KiB) 159624

[startup+942.312 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 18004
/proc/meminfo: memFree=1397760/2074464 swapFree=1949056/1959888
[pid=15159] ppid=15157 vsize=2420 CPUtime=11.52
/proc/15159/stat : 15159 (SatELiteGTI) S 15157 15159 14060 0 -1 4194304 387 67647 0 0 1 0 1101 50 18 0 1 0 1007617747 2478080 278 4294967295 134512640 135169312 3215361456 3215357672 3085475566 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/15159/statm: 605 278 235 161 0 44 0
[pid=15170] ppid=15159 vsize=163888 CPUtime=930.74
/proc/15170/stat : 15170 (minisat_static) R 15159 15159 14060 0 -1 4202496 40268 0 0 0 93030 44 0 0 25 0 1 0 1007618904 167821312 40166 4294967295 134512640 135215339 3214257408 3214255696 134529157 0 0 0 3 0 0 0 17 3 0 0 0
/proc/15170/statm: 40972 40166 73 172 0 40799 0
Current children cumulated CPU time (s) 942.26
Current children cumulated vsize (KiB) 166308

[startup+1002.32 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 18189
/proc/meminfo: memFree=1390592/2074464 swapFree=1949056/1959888
[pid=15159] ppid=15157 vsize=2420 CPUtime=11.52
/proc/15159/stat : 15159 (SatELiteGTI) S 15157 15159 14060 0 -1 4194304 387 67647 0 0 1 0 1101 50 18 0 1 0 1007617747 2478080 278 4294967295 134512640 135169312 3215361456 3215357672 3085475566 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/15159/statm: 605 278 235 161 0 44 0
[pid=15170] ppid=15159 vsize=170900 CPUtime=990.75
/proc/15170/stat : 15170 (minisat_static) R 15159 15159 14060 0 -1 4202496 42047 0 0 0 99030 45 0 0 25 0 1 0 1007618904 175001600 41945 4294967295 134512640 135215339 3214257408 3214255696 134528788 0 0 0 3 0 0 0 17 3 0 0 0
/proc/15170/statm: 42725 41945 73 172 0 42552 0
Current children cumulated CPU time (s) 1002.27
Current children cumulated vsize (KiB) 173320

[startup+1062.32 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 18377
/proc/meminfo: memFree=1384500/2074464 swapFree=1949056/1959888
[pid=15159] ppid=15157 vsize=2420 CPUtime=11.52
/proc/15159/stat : 15159 (SatELiteGTI) S 15157 15159 14060 0 -1 4194304 387 67647 0 0 1 0 1101 50 18 0 1 0 1007617747 2478080 278 4294967295 134512640 135169312 3215361456 3215357672 3085475566 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/15159/statm: 605 278 235 161 0 44 0
[pid=15170] ppid=15159 vsize=176956 CPUtime=1050.76
/proc/15170/stat : 15170 (minisat_static) R 15159 15159 14060 0 -1 4202496 43579 0 0 0 105029 47 0 0 25 0 1 0 1007618904 181202944 43477 4294967295 134512640 135215339 3214257408 3214255696 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/15170/statm: 44239 43477 73 172 0 44066 0
Current children cumulated CPU time (s) 1062.28
Current children cumulated vsize (KiB) 179376

[startup+1122.32 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 18567
/proc/meminfo: memFree=1378440/2074464 swapFree=1949056/1959888
[pid=15159] ppid=15157 vsize=2420 CPUtime=11.52
/proc/15159/stat : 15159 (SatELiteGTI) S 15157 15159 14060 0 -1 4194304 387 67647 0 0 1 0 1101 50 18 0 1 0 1007617747 2478080 278 4294967295 134512640 135169312 3215361456 3215357672 3085475566 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/15159/statm: 605 278 235 161 0 44 0
[pid=15170] ppid=15159 vsize=183096 CPUtime=1110.76
/proc/15170/stat : 15170 (minisat_static) R 15159 15159 14060 0 -1 4202496 45071 0 0 0 111027 49 0 0 25 0 1 0 1007618904 187490304 44969 4294967295 134512640 135215339 3214257408 3214255696 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/15170/statm: 45774 44969 73 172 0 45601 0
Current children cumulated CPU time (s) 1122.28
Current children cumulated vsize (KiB) 185516

[startup+1182.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 18760
/proc/meminfo: memFree=1372504/2074464 swapFree=1949056/1959888
[pid=15159] ppid=15157 vsize=2420 CPUtime=11.52
/proc/15159/stat : 15159 (SatELiteGTI) S 15157 15159 14060 0 -1 4194304 387 67647 0 0 1 0 1101 50 18 0 1 0 1007617747 2478080 278 4294967295 134512640 135169312 3215361456 3215357672 3085475566 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/15159/statm: 605 278 235 161 0 44 0
[pid=15170] ppid=15159 vsize=189708 CPUtime=1170.76
/proc/15170/stat : 15170 (minisat_static) R 15159 15159 14060 0 -1 4202496 46596 0 0 0 117026 50 0 0 25 0 1 0 1007618904 194260992 46494 4294967295 134512640 135215339 3214257408 3214255696 134528788 0 0 0 3 0 0 0 17 3 0 0 0
/proc/15170/statm: 47427 46494 73 172 0 47254 0
Current children cumulated CPU time (s) 1182.28
Current children cumulated vsize (KiB) 192128



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.11 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 18943
/proc/meminfo: memFree=1371144/2074464 swapFree=1949056/1959888
[pid=15159] ppid=15157 vsize=2420 CPUtime=11.52
/proc/15159/stat : 15159 (SatELiteGTI) S 15157 15159 14060 0 -1 4194304 387 67647 0 0 1 0 1101 50 18 0 1 0 1007617747 2478080 278 4294967295 134512640 135169312 3215361456 3215357672 3085475566 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/15159/statm: 605 278 235 161 0 44 0
[pid=15170] ppid=15159 vsize=191052 CPUtime=1188.56
/proc/15170/stat : 15170 (minisat_static) R 15159 15159 14060 0 -1 4202496 46945 0 0 0 118806 50 0 0 25 0 1 0 1007618904 195637248 46843 4294967295 134512640 135215339 3214257408 3214255696 134528806 0 0 0 3 0 0 0 17 3 0 0 0
/proc/15170/statm: 47763 46843 73 172 0 47590 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 193472

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+1200.11 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 18943
/proc/meminfo: memFree=1371144/2074464 swapFree=1949056/1959888
[pid=15159] ppid=15157 vsize=2420 CPUtime=11.52
/proc/15159/stat : 15159 (SatELiteGTI) S 15157 15159 14060 0 -1 4194304 387 67647 0 0 1 0 1101 50 18 0 1 0 1007617747 2478080 278 4294967295 134512640 135169312 3215361456 3215357672 3085475566 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/15159/statm: 605 278 235 161 0 44 0
[pid=15170] ppid=15159 vsize=191052 CPUtime=1188.56
/proc/15170/stat : 15170 (minisat_static) R 15159 15159 14060 0 -1 4202496 46945 0 0 0 118806 50 0 0 25 0 1 0 1007618904 195637248 46843 4294967295 134512640 135215339 3214257408 3214255696 134528806 0 0 0 3 0 0 0 17 3 0 0 0
/proc/15170/statm: 47763 46843 73 172 0 47590 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 193472

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 15159 and gives
#  childrusage.ru_utime.tv_sec=11
#  childrusage.ru_utime.tv_usec=20000
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=500000
# CPU time returned by wait4() is 11.52
# while last known CPU time is 1200.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1200.13
CPU time (s): 1200.08
CPU user time (s): 1199.08
CPU system time (s): 1
CPU usage (%): 99.9959
Max. virtual memory (cumulated for all children) (KiB): 217676

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.02
system time used= 0.5
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 68034
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= 18
involuntary context switches= 496

runsolver used 0.01 second user time and 0.01 second system time

The end

Launcher Data 

Begin job on tipi27 at 2009-05-16 01:46:43
IDJOB=1820350
IDBENCH=20375
IDSOLVER=657
FILE ID=tipi27/1820350-1242431203
PBS_JOBID=
Free space on /tmp= 10009 MiB

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

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

MD5SUM BENCH= a2687a8a1b0deeabfd7eddcfa56549a2
RANDOM SEED= 474043493

Linux tipi27 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.389
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.389
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.79

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


/proc/meminfo:
MemTotal:      2074464 kB
MemFree:       1580076 kB
Buffers:         24516 kB
Cached:         385252 kB
SwapCached:       5508 kB
Active:         329836 kB
Inactive:        89896 kB
HighTotal:     1178688 kB
HighFree:       814280 kB
LowTotal:       895776 kB
LowFree:        765796 kB
SwapTotal:     1959888 kB
SwapFree:      1949056 kB
Dirty:           30852 kB
Writeback:           0 kB
AnonPages:        9084 kB
Mapped:           3588 kB
Slab:            65816 kB
PageTables:        580 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   2997120 kB
Committed_AS:    90632 kB
VmallocTotal:   114680 kB
VmallocUsed:      1324 kB
VmallocChunk:   113264 kB

Free space on /tmp at the end= 9988 MiB
End job on tipi27 at 2009-05-16 02:06:48