Trace number 1820962

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.1 1200.03

General information on the benchmark

NameAPPLICATIONS/bitverif/
mulhs/mulhs032.cnf
MD5SUM431823fbe355abc605baf058be5925a0
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 variables18792
Number of clauses56183
Sum of the clauses size131091
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 237454
Number of clauses of size 318727
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Parsing...
0.03/0.05	c ==============================================================================
0.03/0.05	c |           |     ORIGINAL     |              LEARNT              |          |
0.03/0.05	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.03/0.05	c ==============================================================================
0.03/0.05	c |         0 |   56181   131089 |   16854       0        0     nan |  0.000 % |
0.22/0.31	c |         0 |   42760   118489 |      --       0       --      -- |     --   | -13419/-12595
0.22/0.31	c ==============================================================================
0.22/0.31	c Result  :   #vars: 10688   #clauses: 42760   #literals: 118489
0.22/0.31	c CPU time:   0.3 s
0.22/0.31	c ==============================================================================
0.32/0.37	c This is MiniSat 2.0 beta
0.32/0.37	c WARNING: for repeatability, setting FPU to use double precision
0.32/0.37	c ============================[ Problem Statistics ]=============================
0.32/0.37	c |                                                                             |
0.32/0.37	c |  Number of variables:  10688                                                |
0.32/0.37	c |  Number of clauses:    42760                                                |
0.32/0.38	c |  Parsing time:         0.02         s                                       |
0.32/0.38	c ============================[ Search Statistics ]==============================
0.32/0.38	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.32/0.38	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.32/0.38	c ===============================================================================
0.32/0.38	c |         0 |   10688    42760   118489 |    14253        0    nan |  0.000 % |
0.32/0.40	c |       101 |   10688    42760   118489 |    14253      101     16 |  0.000 % |
0.32/0.41	c |       201 |   10688    42760   118489 |    14253      201     18 |  0.000 % |
0.35/0.42	c |       301 |   10688    42760   118489 |    14253      301     20 |  0.000 % |
0.35/0.49	c |       411 |   10688    42760   118489 |    14253      411     48 |  0.000 % |
0.35/0.50	c |       513 |   10688    42760   118489 |    14253      513     45 |  0.000 % |
0.35/0.52	c |       623 |   10688    42760   118489 |    14253      623     49 |  0.000 % |
0.35/0.55	c |       745 |   10688    42760   118489 |    14253      745     50 |  0.000 % |
0.35/0.57	c |       846 |   10688    42760   118489 |    14253      846     48 |  0.000 % |
0.35/0.58	c |       956 |   10688    42760   118489 |    14253      956     44 |  0.000 % |
0.35/0.63	c |      1077 |   10688    42760   118489 |    14253     1077     47 |  0.000 % |
0.35/0.69	c |      1210 |   10688    42760   118489 |    14253     1210     56 |  0.000 % |
0.35/0.71	c |      1310 |   10688    42760   118489 |    14253     1310     56 |  0.000 % |
0.35/0.77	c |      1422 |   10688    42760   118489 |    14253     1422     65 |  0.000 % |
0.35/0.80	c |      1543 |   10688    42760   118489 |    14253     1543     63 |  0.000 % |
0.35/0.82	c |      1676 |   10688    42760   118489 |    14253     1676     63 |  0.000 % |
0.35/0.84	c |      1822 |   10688    42760   118489 |    14253     1822     60 |  0.000 % |
0.35/0.93	c |      1922 |   10688    42760   118489 |    14253     1922     65 |  0.000 % |
0.35/0.95	c |      2032 |   10688    42760   118489 |    14253     2032     63 |  0.000 % |
0.35/0.97	c |      2153 |   10688    42760   118489 |    14253     2153     62 |  0.000 % |
1.02/1.06	c |      2286 |   10688    42760   118489 |    14253     2286     67 |  0.000 % |
1.02/1.08	c |      2432 |   10688    42760   118489 |    14253     2432     65 |  0.000 % |
1.02/1.11	c |      2593 |   10688    42760   118489 |    14253     2593     65 |  0.000 % |
1.13/1.14	c |      2694 |   10688    42760   118489 |    14253     2694     64 |  0.000 % |
1.13/1.15	c |      2805 |   10688    42760   118489 |    14253     2805     62 |  0.000 % |
1.13/1.17	c |      2926 |   10688    42760   118489 |    14253     2926     62 |  0.000 % |
1.22/1.24	c |      3060 |   10688    42760   118489 |    14253     3060     63 |  0.000 % |
1.32/1.34	c |      3212 |   10688    42760   118489 |    14253     3212     70 |  0.000 % |
1.32/1.40	c |      3372 |   10688    42760   118489 |    14253     3372     73 |  0.000 % |
1.42/1.42	c |      3548 |   10688    42760   118489 |    14253     3548     71 |  0.000 % |
1.42/1.44	c |      3648 |   10688    42760   118489 |    14253     3648     70 |  0.000 % |
1.42/1.45	c |      3758 |   10688    42760   118489 |    14253     3758     69 |  0.000 % |
1.42/1.47	c |      3880 |   10688    42760   118489 |    14253     3880     68 |  0.000 % |
1.42/1.49	c |      4013 |   10688    42760   118489 |    14253     4013     68 |  0.000 % |
1.52/1.52	c |      4159 |   10688    42760   118489 |    14253     4159     69 |  0.000 % |
1.52/1.55	c |      4319 |   10688    42760   118489 |    14253     4319     68 |  0.000 % |
1.52/1.60	c |      4496 |   10688    42760   118489 |    14253     4496     69 |  0.000 % |
1.62/1.63	c |      4689 |   10688    42760   118489 |    14253     4689     68 |  0.000 % |
1.62/1.66	c |      4789 |   10688    42760   118489 |    14253     4789     67 |  0.000 % |
1.62/1.68	c |      4899 |   10688    42760   118489 |    14253     4899     67 |  0.000 % |
1.72/1.74	c |      5020 |   10688    42760   118489 |    14253     5020     67 |  0.000 % |
1.72/1.78	c |      5153 |   10688    42760   118489 |    14253     5153     67 |  0.000 % |
1.82/1.84	c |      5299 |   10688    42760   118489 |    14253     5299     70 |  0.000 % |
1.82/1.91	c |      5460 |   10688    42760   118489 |    14253     5460     71 |  0.000 % |
1.92/1.94	c |      5638 |   10688    42760   118489 |    14253     5638     70 |  0.000 % |
1.92/1.96	c |      5833 |   10688    42760   118489 |    14253     5833     68 |  0.000 % |
2.02/2.10	c |      6045 |   10688    42760   118489 |    14253     6045     72 |  0.000 % |
2.12/2.12	c |      6146 |   10688    42760   118489 |    14253     6146     72 |  0.000 % |
2.12/2.17	c |      6257 |   10688    42760   118489 |    14253     6257     72 |  0.000 % |
2.12/2.18	c |      6382 |   10688    42760   118489 |    14253     6382     71 |  0.000 % |
2.12/2.21	c |      6515 |   10688    42760   118489 |    14253     6515     71 |  0.000 % |
2.23/2.23	c |      6661 |   10688    42760   118489 |    14253     6661     70 |  0.000 % |
2.23/2.30	c |      6821 |   10688    42760   118489 |    14253     6821     70 |  0.000 % |
2.32/2.32	c |      6997 |   10688    42760   118489 |    14253     6997     70 |  0.000 % |
2.32/2.35	c |      7190 |   10688    42760   118489 |    14253     7190     69 |  0.000 % |
2.32/2.38	c |      7403 |   10688    42760   118489 |    14253     7403     68 |  0.000 % |
2.42/2.42	c |      7637 |   10688    42760   118489 |    14253     7637     67 |  0.000 % |
2.42/2.45	c |      7737 |   10688    42760   118489 |    14253     7737     67 |  0.000 % |
2.42/2.48	c |      7848 |   10688    42760   118489 |    14253     7848     67 |  0.000 % |
2.52/2.55	c |      7969 |   10688    42760   118489 |    14253     7969     68 |  0.000 % |
2.52/2.59	c |      8102 |   10688    42760   118489 |    14253     8102     67 |  0.000 % |
2.62/2.65	c |      8249 |   10688    42760   118489 |    14253     8249     68 |  0.000 % |
2.62/2.68	c |      8409 |   10688    42760   118489 |    14253     8409     68 |  0.000 % |
2.82/2.86	c |      8585 |   10688    42760   118489 |    14253     8585     70 |  0.000 % |
2.92/2.95	c |      8780 |   10688    42760   118489 |    14253     8780     72 |  0.000 % |
2.92/2.99	c |      8992 |   10688    42760   118489 |    14253     8992     72 |  0.000 % |
3.02/3.10	c |      9226 |   10688    42760   118489 |    14253     9226     73 |  0.000 % |
3.12/3.13	c |      9486 |   10688    42760   118489 |    14253     9486     72 |  0.000 % |
3.12/3.14	c |      9586 |   10688    42760   118489 |    14253     9586     71 |  0.000 % |
3.12/3.19	c |      9696 |   10688    42760   118489 |    14253     9696     72 |  0.000 % |
3.22/3.21	c |      9817 |   10688    42760   118489 |    14253     9817     72 |  0.000 % |
3.22/3.28	c |      9950 |   10688    42760   118489 |    14253     9950     72 |  0.000 % |
3.33/3.33	c |     10097 |   10688    42760   118489 | 2147483647    10097     72 |  0.000 % |
3.33/3.38	c |     10259 |   10688    42760   118489 | 2147483647    10259     73 |  0.000 % |
3.42/3.41	c |     10436 |   10688    42760   118489 | 2147483647    10436     73 |  0.000 % |
3.42/3.44	c |     10629 |   10688    42760   118489 | 2147483647    10629     72 |  0.000 % |
3.42/3.49	c |     10841 |   10688    42760   118489 | 2147483647    10841     72 |  0.000 % |
3.62/3.66	c |     11075 |   10688    42760   118489 | 2147483647    11075     73 |  0.000 % |
3.72/3.72	c |     11331 |   10688    42760   118489 | 2147483647    11331     73 |  0.000 % |
3.82/3.83	c |     11613 |   10688    42760   118489 | 2147483647    11613     73 |  0.000 % |
3.82/3.84	c |     11714 |   10688    42760   118489 | 2147483647    11714     73 |  0.000 % |
3.92/3.96	c |     11824 |   10688    42760   118489 | 2147483647    11824     74 |  0.000 % |
3.92/3.99	c |     11945 |   10688    42760   118489 | 2147483647    11945     73 |  0.000 % |
4.02/4.05	c |     12079 |   10688    42760   118489 | 2147483647    12079     74 |  0.000 % |
4.02/4.08	c |     12225 |   10688    42760   118489 | 2147483647    12225     74 |  0.000 % |
4.12/4.13	c |     12387 |   10688    42760   118489 | 2147483647    12387     74 |  0.000 % |
4.12/4.19	c |     12563 |   10688    42760   118489 | 2147483647    12563     74 |  0.000 % |
4.22/4.24	c |     12757 |   10688    42760   118489 | 2147483647    12757     74 |  0.000 % |
4.22/4.28	c |     12969 |   10688    42760   118489 | 2147483647    12969     74 |  0.000 % |
4.32/4.42	c |     13203 |   10688    42760   118489 | 2147483647    13203     75 |  0.000 % |
4.43/4.48	c |     13460 |   10688    42760   118489 | 2147483647    13460     75 |  0.000 % |
4.52/4.55	c |     13743 |   10688    42760   118489 | 2147483647    13743     74 |  0.000 % |
4.62/4.65	c |     14052 |   10688    42760   118489 | 2147483647    14052     74 |  0.000 % |
4.72/4.71	c |     14155 |   10688    42760   118489 | 2147483647    14155     75 |  0.000 % |
4.72/4.78	c |     14265 |   10688    42760   118489 | 2147483647    14265     75 |  0.000 % |
4.72/4.80	c |     14388 |   10688    42760   118489 | 2147483647    14388     75 |  0.000 % |
4.82/4.82	c |     14521 |   10688    42760   118489 | 2147483647    14521     74 |  0.000 % |
4.82/4.84	c |     14667 |   10688    42760   118489 | 2147483647    14667     74 |  0.000 % |
4.82/4.90	c |     14827 |   10688    42760   118489 | 2147483647    14827     75 |  0.000 % |
4.92/4.96	c |     15003 |   10688    42760   118489 | 2147483647    15003     74 |  0.000 % |
4.92/5.01	c |     15196 |   10688    42760   118489 | 2147483647    15196     74 |  0.000 % |
5.12/5.14	c |     15408 |   10688    42760   118489 | 2147483647    15408     74 |  0.000 % |
5.12/5.20	c |     15641 |   10688    42760   118489 | 2147483647    15641     74 |  0.000 % |
5.22/5.26	c |     15897 |   10688    42760   118489 | 2147483647    15897     74 |  0.000 % |
5.32/5.32	c |     16178 |   10688    42760   118489 | 2147483647    16178     73 |  0.000 % |
5.62/5.71	c |     16487 |   10688    42760   118489 | 2147483647    16487     76 |  0.000 % |
5.82/5.90	c |     16826 |   10688    42760   118489 | 2147483647    16826     76 |  0.000 % |
5.92/5.94	c |     16926 |   10688    42760   118489 | 2147483647    16926     76 |  0.000 % |
6.02/6.05	c |     17036 |   10688    42760   118489 | 2147483647    17036     76 |  0.000 % |
6.12/6.11	c |     17161 |   10688    42760   118489 | 2147483647    17161     77 |  0.000 % |
6.12/6.14	c |     17294 |   10688    42760   118489 | 2147483647    17294     76 |  0.000 % |
6.12/6.17	c |     17441 |   10688    42760   118489 | 2147483647    17441     76 |  0.000 % |
6.12/6.21	c |     17602 |   10688    42760   118489 | 2147483647    17602     76 |  0.000 % |
6.32/6.31	c |     17778 |   10688    42760   118489 | 2147483647    17778     76 |  0.000 % |
6.52/6.56	c |     17971 |   10688    42760   118489 | 2147483647    17971     77 |  0.000 % |
6.63/6.64	c |     18185 |   10688    42760   118489 | 2147483647    18185     77 |  0.000 % |
6.72/6.72	c |     18418 |   10688    42760   118489 | 2147483647    18418     76 |  0.000 % |
6.82/6.84	c |     18675 |   10688    42760   118489 | 2147483647    18675     77 |  0.000 % |
6.92/6.92	c |     18956 |   10688    42760   118489 | 2147483647    18956     77 |  0.000 % |
6.92/6.99	c |     19265 |   10688    42760   118489 | 2147483647    19265     76 |  0.000 % |
7.02/7.06	c |     19605 |   10688    42760   118489 | 2147483647    19605     75 |  0.000 % |
7.02/7.11	c |     19979 |   10688    42760   118489 | 2147483647    19979     75 |  0.000 % |
7.12/7.12	c |     20080 |   10688    42760   118489 | 2147483647    20080     75 |  0.000 % |
7.12/7.15	c |     20190 |   10688    42760   118489 | 2147483647    20190     74 |  0.000 % |
7.12/7.16	c |     20313 |   10688    42760   118489 | 2147483647    20313     74 |  0.000 % |
7.12/7.18	c |     20447 |   10688    42760   118489 | 2147483647    20447     74 |  0.000 % |
7.22/7.21	c |     20594 |   10688    42760   118489 | 2147483647    20594     73 |  0.000 % |
7.22/7.29	c |     20754 |   10688    42760   118489 | 2147483647    20754     74 |  0.000 % |
7.32/7.35	c |     20932 |   10688    42760   118489 | 2147483647    20932     74 |  0.000 % |
7.32/7.38	c |     21125 |   10688    42760   118489 | 2147483647    21125     73 |  0.000 % |
7.42/7.47	c |     21337 |   10688    42760   118489 | 2147483647    21337     73 |  0.000 % |
7.52/7.55	c |     21570 |   10688    42760   118489 | 2147483647    21570     73 |  0.000 % |
7.62/7.64	c |     21826 |   10688    42760   118489 | 2147483647    21826     74 |  0.000 % |
7.73/7.76	c |     22108 |   10688    42760   118489 | 2147483647    22108     74 |  0.000 % |
8.12/8.14	c |     22417 |   10688    42760   118489 | 2147483647    22417     75 |  0.000 % |
8.22/8.22	c |     22757 |   10688    42760   118489 | 2147483647    22757     75 |  0.000 % |
8.52/8.51	c |     23129 |   10688    42760   118489 | 2147483647    23129     76 |  0.000 % |
8.52/8.61	c |     23538 |   10688    42760   118489 | 2147483647    23538     75 |  0.000 % |
8.62/8.65	c |     23638 |   10688    42760   118489 | 2147483647    23638     75 |  0.000 % |
8.62/8.66	c |     23748 |   10688    42760   118489 | 2147483647    23748     75 |  0.000 % |
8.62/8.68	c |     23869 |   10688    42760   118489 | 2147483647    23869     75 |  0.000 % |
8.72/8.73	c |     24003 |   10688    42760   118489 | 2147483647    24003     75 |  0.000 % |
8.72/8.79	c |     24149 |   10688    42760   118489 | 2147483647    24149     76 |  0.000 % |
8.83/8.82	c |     24309 |   10688    42760   118489 | 2147483647    24309     75 |  0.000 % |
8.83/8.88	c |     24486 |   10688    42760   118489 | 2147483647    24486     75 |  0.000 % |
8.92/8.97	c |     24680 |   10688    42760   118489 | 2147483647    24680     75 |  0.000 % |
9.02/9.06	c |     24892 |   10688    42760   118489 | 2147483647    24892     75 |  0.000 % |
9.02/9.09	c |     25125 |   10688    42760   118489 | 2147483647    25125     75 |  0.000 % |
9.12/9.13	c |     25383 |   10688    42760   118489 | 2147483647    25383     74 |  0.000 % |
9.22/9.29	c |     25664 |   10688    42760   118489 | 2147483647    25664     74 |  0.000 % |
9.32/9.37	c |     25974 |   10688    42760   118489 | 2147483647    25974     74 |  0.000 % |
9.52/9.57	c |     26314 |   10688    42760   118489 | 2147483647    26314     75 |  0.000 % |
9.62/9.69	c |     26686 |   10688    42760   118489 | 2147483647    26686     75 |  0.000 % |
10.12/10.12	c |     27095 |   10688    42760   118489 | 2147483647    27095     76 |  0.000 % |
10.32/10.36	c |     27544 |   10688    42760   118489 | 2147483647    27544     77 |  0.000 % |
10.32/10.39	c |     27644 |   10688    42760   118489 | 2147483647    27644     76 |  0.000 % |
10.42/10.42	c |     27754 |   10688    42760   118489 | 2147483647    27754     76 |  0.000 % |
10.42/10.46	c |     27875 |   10688    42760   118489 | 2147483647    27875     76 |  0.000 % |
10.52/10.53	c |     28009 |   10688    42760   118489 | 2147483647    28009     76 |  0.000 % |
10.62/10.62	c |     28157 |   10688    42760   118489 | 2147483647    28157     77 |  0.000 % |
10.62/10.65	c |     28318 |   10688    42760   118489 | 2147483647    28318     76 |  0.000 % |
10.82/10.83	c |     28495 |   10688    42760   118489 | 2147483647    28495     77 |  0.000 % |
10.82/10.88	c |     28689 |   10688    42760   118489 | 2147483647    28689     77 |  0.000 % |
11.03/11.09	c |     28901 |   10688    42760   118489 | 2147483647    28901     77 |  0.000 % |
11.12/11.13	c |     29135 |   10688    42760   118489 | 2147483647    29135     77 |  0.000 % |
11.32/11.38	c |     29391 |   10688    42760   118489 | 2147483647    29391     77 |  0.000 % |
11.42/11.46	c |     29674 |   10688    42760   118489 | 2147483647    29674     77 |  0.000 % |
11.82/11.85	c |     29983 |   10688    42760   118489 | 2147483647    29983     77 |  0.000 % |
11.92/11.94	c |     30322 |   10688    42760   118489 | 2147483647    30322     77 |  0.000 % |
12.22/12.27	c |     30696 |   10688    42760   118489 | 2147483647    30696     78 |  0.000 % |
12.42/12.41	c |     31105 |   10688    42760   118489 | 2147483647    31105     77 |  0.000 % |
12.82/12.91	c |     31554 |   10688    42760   118489 | 2147483647    31554     77 |  0.000 % |
12.92/12.98	c |     32047 |   10688    42760   118489 | 2147483647    32047     77 |  0.000 % |
13.02/13.06	c |     32148 |   10688    42760   118489 | 2147483647    32148     78 |  0.000 % |
13.02/13.10	c |     32259 |   10688    42760   118489 | 2147483647    32259     77 |  0.000 % |
13.12/13.14	c |     32380 |   10688    42760   118489 | 2147483647    32380     77 |  0.000 % |
13.23/13.22	c |     32514 |   10688    42760   118489 | 2147483647    32514     77 |  0.000 % |
13.23/13.26	c |     32661 |   10688    42760   118489 | 2147483647    32661     77 |  0.000 % |
13.32/13.32	c |     32822 |   10688    42760   118489 | 2147483647    32822     77 |  0.000 % |
13.32/13.38	c |     32999 |   10688    42760   118489 | 2147483647    32999     77 |  0.000 % |
13.52/13.57	c |     33192 |   10688    42760   118489 | 2147483647    33192     77 |  0.000 % |
13.62/13.62	c |     33405 |   10688    42760   118489 | 2147483647    33405     77 |  0.000 % |
13.82/13.83	c |     33638 |   10688    42760   118489 | 2147483647    33638     77 |  0.000 % |
13.92/13.91	c |     33895 |   10688    42760   118489 | 2147483647    33895     77 |  0.000 % |
14.02/14.09	c |     34176 |   10688    42760   118489 | 2147483647    34176     77 |  0.000 % |
14.12/14.13	c |     34488 |   10688    42760   118489 | 2147483647    34488     77 |  0.000 % |
14.22/14.26	c |     34828 |   10688    42760   118489 | 2147483647    34828     77 |  0.000 % |
14.52/14.52	c |     35201 |   10688    42760   118489 | 2147483647    35201     77 |  0.000 % |
14.62/14.65	c |     35610 |   10688    42760   118489 | 2147483647    35610     77 |  0.000 % |
14.92/14.98	c |     36059 |   10688    42760   118489 | 2147483647    36059     77 |  0.000 % |
15.13/15.16	c |     36552 |   10688    42760   118489 | 2147483647    36552     78 |  0.000 % |
15.33/15.38	c |     37094 |   10688    42760   118489 | 2147483647    37094     78 |  0.000 % |
15.33/15.42	c |     37194 |   10688    42760   118489 | 2147483647    37194     78 |  0.000 % |
15.43/15.44	c |     37304 |   10688    42760   118489 | 2147483647    37304     78 |  0.000 % |
15.53/15.55	c |     37425 |   10688    42760   118489 | 2147483647    37425     78 |  0.000 % |
15.53/15.58	c |     37559 |   10688    42760   118489 | 2147483647    37559     78 |  0.000 % |
15.63/15.62	c |     37706 |   10688    42760   118489 | 2147483647    37706     78 |  0.000 % |
15.63/15.69	c |     37867 |   10688    42760   118489 | 2147483647    37867     77 |  0.000 % |
15.83/15.85	c |     38045 |   10688    42760   118489 | 2147483647    38045     78 |  0.000 % |
15.93/15.96	c |     38238 |   10688    42760   118489 | 2147483647    38238     78 |  0.000 % |
16.03/16.03	c |     38450 |   10688    42760   118489 | 2147483647    38450     77 |  0.000 % |
16.03/16.08	c |     38683 |   10688    42760   118489 | 2147483647    38683     77 |  0.000 % |
16.13/16.18	c |     38940 |   10688    42760   118489 | 2147483647    38940     77 |  0.000 % |
16.33/16.39	c |     39221 |   10688    42760   118489 | 2147483647    39221     77 |  0.000 % |
16.43/16.46	c |     39530 |   10688    42760   118489 | 2147483647    39530     77 |  0.000 % |
16.63/16.67	c |     39869 |   10688    42760   118489 | 2147483647    39869     78 |  0.000 % |
16.83/16.85	c |     40241 |   10688    42760   118489 | 2147483647    40241     78 |  0.000 % |
16.93/16.92	c |     40652 |   10688    42760   118489 | 2147483647    40652     78 |  0.000 % |
17.03/17.08	c |     41102 |   10688    42760   118489 | 2147483647    41102     77 |  0.000 % |
17.13/17.21	c |     41595 |   10688    42760   118489 | 2147483647    41595     77 |  0.000 % |
17.33/17.34	c |     42137 |   10688    42760   118489 | 2147483647    42137     78 |  0.000 % |
17.43/17.51	c |     42734 |   10688    42760   118489 | 2147483647    42734     78 |  0.000 % |
17.83/17.89	c |     42836 |   10688    42760   118489 | 2147483647    42836     78 |  0.000 % |
17.93/17.97	c |     42946 |   10688    42760   118489 | 2147483647    42946     78 |  0.000 % |
18.03/18.03	c |     43067 |   10688    42760   118489 | 2147483647    43067     78 |  0.000 % |
18.13/18.13	c |     43200 |   10688    42760   118489 | 2147483647    43200     78 |  0.000 % |
18.23/18.23	c |     43346 |   10688    42760   118489 | 2147483647    43346     78 |  0.000 % |
18.23/18.32	c |     43506 |   10688    42760   118489 | 2147483647    43506     78 |  0.000 % |
18.33/18.37	c |     43684 |   10688    42760   118489 | 2147483647    43684     78 |  0.000 % |
18.43/18.43	c |     43877 |   10688    42760   118489 | 2147483647    43877     78 |  0.000 % |
18.63/18.68	c |     44090 |   10688    42760   118489 | 2147483647    44090     78 |  0.000 % |
18.73/18.81	c |     44324 |   10688    42760   118489 | 2147483647    44324     78 |  0.000 % |
18.83/18.90	c |     44581 |   10688    42760   118489 | 2147483647    44581     78 |  0.000 % |
18.93/19.02	c |     44863 |   10688    42760   118489 | 2147483647    44863     78 |  0.000 % |
19.13/19.13	c |     45176 |   10688    42760   118489 | 2147483647    45176     78 |  0.000 % |
19.13/19.19	c |     45515 |   10688    42760   118489 | 2147483647    45515     78 |  0.000 % |
19.23/19.31	c |     45887 |   10688    42760   118489 | 2147483647    45887     78 |  0.000 % |
19.33/19.39	c |     46296 |   10688    42760   118489 | 2147483647    46296     77 |  0.000 % |
20.23/20.30	c |     46745 |   10688    42760   118489 | 2147483647    46745     78 |  0.000 % |
20.73/20.75	c |     47240 |   10688    42760   118489 | 2147483647    47240     79 |  0.000 % |
21.93/21.97	c |     47783 |   10688    42760   118489 | 2147483647    47783     79 |  0.000 % |
22.63/22.66	c |     48379 |   10688    42760   118489 | 2147483647    48379     80 |  0.000 % |
22.93/23.00	c |     49036 |   10688    42760   118489 | 2147483647    49036     79 |  0.000 % |
23.03/23.06	c |     49136 |   10688    42760   118489 | 2147483647    49136     80 |  0.000 % |
23.03/23.11	c |     49246 |   10688    42760   118489 | 2147483647    49246     80 |  0.000 % |
23.13/23.16	c |     49368 |   10688    42760   118489 | 2147483647    49368     80 |  0.000 % |
23.23/23.22	c |     49502 |   10688    42760   118489 | 2147483647    49502     80 |  0.000 % |
23.33/23.33	c |     49649 |   10688    42760   118489 | 2147483647    49649     80 |  0.000 % |
23.33/23.41	c |     49810 |   10688    42760   118489 | 2147483647    49810     80 |  0.000 % |
23.43/23.47	c |     49987 |   10688    42760   118489 | 2147483647    49987     79 |  0.000 % |
23.63/23.71	c |     50181 |   10688    42760   118489 | 2147483647    50181     80 |  0.000 % |
23.73/23.78	c |     50393 |   10688    42760   118489 | 2147483647    50393     79 |  0.000 % |
23.83/23.88	c |     50626 |   10688    42760   118489 | 2147483647    50626     79 |  0.000 % |
24.03/24.03	c |     50883 |   10688    42760   118489 | 2147483647    50883     79 |  0.000 % |
24.13/24.16	c |     51165 |   10688    42760   118489 | 2147483647    51165     79 |  0.000 % |
24.23/24.26	c |     51475 |   10688    42760   118489 | 2147483647    51475     79 |  0.000 % |
24.73/24.72	c |     51814 |   10688    42760   118489 | 2147483647    51814     79 |  0.000 % |
24.83/24.84	c |     52186 |   10688    42760   118489 | 2147483647    52186     79 |  0.000 % |
25.23/25.27	c |     52595 |   10688    42760   118489 | 2147483647    52595     79 |  0.000 % |
25.63/25.67	c |     53045 |   10688    42760   118489 | 2147483647    53045     80 |  0.000 % |
25.73/25.79	c |     53538 |   10688    42760   118489 | 2147483647    53538     80 |  0.000 % |
25.93/25.98	c |     54080 |   10688    42760   118489 | 2147483647    54080     80 |  0.000 % |
26.13/26.15	c |     54678 |   10688    42760   118489 | 2147483647    54678     80 |  0.000 % |
26.73/26.73	c |     55333 |   10688    42760   118489 | 2147483647    55333     80 |  0.000 % |
26.93/26.93	c |     56053 |   10688    42760   118489 | 2147483647    56053     80 |  0.000 % |
26.93/26.97	c |     56153 |   10688    42760   118489 | 2147483647    56153     80 |  0.000 % |
27.03/27.04	c |     56264 |   10688    42760   118489 | 2147483647    56264     80 |  0.000 % |
27.03/27.11	c |     56386 |   10688    42760   118489 | 2147483647    56386     80 |  0.000 % |
27.13/27.16	c |     56520 |   10688    42760   118489 | 2147483647    56520     80 |  0.000 % |
27.23/27.26	c |     56668 |   10688    42760   118489 | 2147483647    56668     80 |  0.000 % |
27.33/27.32	c |     56828 |   10688    42760   118489 | 2147483647    56828     80 |  0.000 % |
27.33/27.36	c |     57005 |   10688    42760   118489 | 2147483647    57005     80 |  0.000 % |
27.43/27.44	c |     57198 |   10688    42760   118489 | 2147483647    57198     80 |  0.000 % |
27.43/27.51	c |     57411 |   10688    42760   118489 | 2147483647    57411     80 |  0.000 % |
27.63/27.67	c |     57644 |   10688    42760   118489 | 2147483647    57644     80 |  0.000 % |
27.73/27.79	c |     57901 |   10688    42760   118489 | 2147483647    57901     79 |  0.000 % |
28.03/28.07	c |     58183 |   10688    42760   118489 | 2147483647    58183     79 |  0.000 % |
28.13/28.16	c |     58492 |   10688    42760   118489 | 2147483647    58492     79 |  0.000 % |
28.33/28.37	c |     58832 |   10688    42760   118489 | 2147483647    58832     79 |  0.000 % |
28.63/28.70	c |     59204 |   10688    42760   118489 | 2147483647    59204     79 |  0.000 % |
29.23/29.23	c |     59613 |   10688    42760   118489 | 2147483647    59613     79 |  0.000 % |
29.33/29.38	c |     60063 |   10688    42760   118489 | 2147483647    60063     79 |  0.000 % |
29.93/30.01	c |     60557 |   10688    42760   118489 | 2147483647    60557     80 |  0.000 % |
30.13/30.21	c |     61099 |   10688    42760   118489 | 2147483647    61099     80 |  0.000 % |
30.53/30.52	c |     61695 |   10688    42760   118489 | 2147483647    61695     80 |  0.000 % |
31.03/31.09	c |     62351 |   10688    42760   118489 | 2147483647    62351     80 |  0.000 % |
31.73/31.76	c |     63071 |   10688    42760   118489 | 2147483647    63071     80 |  0.000 % |
31.93/31.99	c |     63864 |   10688    42760   118489 | 2147483647    63864     80 |  0.000 % |
32.03/32.03	c |     63966 |   10688    42760   118489 | 2147483647    63966     80 |  0.000 % |
32.13/32.17	c |     64076 |   10688    42760   118489 | 2147483647    64076     80 |  0.000 % |
32.23/32.31	c |     64199 |   10688    42760   118489 | 2147483647    64199     81 |  0.000 % |
32.33/32.39	c |     64332 |   10688    42760   118489 | 2147483647    64332     81 |  0.000 % |
32.43/32.50	c |     64479 |   10688    42760   118489 | 2147483647    64479     81 |  0.000 % |
32.53/32.53	c |     64639 |   10688    42760   118489 | 2147483647    64639     81 |  0.000 % |
32.73/32.76	c |     64816 |   10688    42760   118489 | 2147483647    64816     81 |  0.000 % |
32.83/32.86	c |     65010 |   10688    42760   118489 | 2147483647    65010     81 |  0.000 % |
32.93/33.00	c |     65222 |   10688    42760   118489 | 2147483647    65222     81 |  0.000 % |
33.03/33.11	c |     65457 |   10688    42760   118489 | 2147483647    65457     81 |  0.000 % |
33.13/33.18	c |     65713 |   10688    42760   118489 | 2147483647    65713     81 |  0.000 % |
33.43/33.42	c |     65995 |   10688    42760   118489 | 2147483647    65995     81 |  0.000 % |
33.53/33.61	c |     66304 |   10688    42760   118489 | 2147483647    66304     81 |  0.000 % |
33.83/33.89	c |     66644 |   10688    42760   118489 | 2147483647    66644     81 |  0.000 % |
33.93/33.97	c |     67016 |   10688    42760   118489 | 2147483647    67016     81 |  0.000 % |
34.03/34.10	c |     67427 |   10688    42760   118489 | 2147483647    67427     81 |  0.000 % |
34.23/34.28	c |     67877 |   10688    42760   118489 | 2147483647    67877     80 |  0.000 % |
34.43/34.51	c |     68370 |   10688    42760   118489 | 2147483647    68370     80 |  0.000 % |
35.03/35.11	c |     68912 |   10688    42760   118489 | 2147483647    68912     80 |  0.000 % |
35.43/35.43	c |     69510 |   10688    42760   118489 | 2147483647    69510     80 |  0.000 % |
35.73/35.75	c |     70165 |   10688    42760   118489 | 2147483647    70165     80 |  0.000 % |
36.33/36.35	c |     70885 |   10688    42760   118489 | 2147483647    70885     81 |  0.000 % |
37.23/37.26	c |     71677 |   10688    42760   118489 | 2147483647    71677     81 |  0.000 % |
37.63/37.70	c |     72549 |   10688    42760   118489 | 2147483647    72549     80 |  0.000 % |
37.73/37.78	c |     72649 |   10688    42760   118489 | 2147483647    72649     80 |  0.000 % |
37.83/37.85	c |     72761 |   10688    42760   118489 | 2147483647    72761     80 |  0.000 % |
37.93/37.92	c |     72883 |   10688    42760   118489 | 2147483647    72883     80 |  0.000 % |
37.93/37.98	c |     73016 |   10688    42760   118489 | 2147483647    73016     80 |  0.000 % |
38.03/38.06	c |     73163 |   10688    42760   118489 | 2147483647    73163     80 |  0.000 % |
38.13/38.18	c |     73324 |   10688    42760   118489 | 2147483647    73324     80 |  0.000 % |
38.23/38.25	c |     73500 |   10688    42760   118489 | 2147483647    73500     80 |  0.000 % |
38.23/38.31	c |     73694 |   10688    42760   118489 | 2147483647    73694     80 |  0.000 % |
38.33/38.39	c |     73907 |   10688    42760   118489 | 2147483647    73907     80 |  0.000 % |
38.53/38.52	c |     74141 |   10688    42760   118489 | 2147483647    74141     80 |  0.000 % |
38.83/38.90	c |     74397 |   10688    42760   118489 | 2147483647    74397     80 |  0.000 % |
38.93/38.99	c |     74679 |   10688    42760   118489 | 2147483647    74679     80 |  0.000 % |
39.33/39.34	c |     74988 |   10688    42760   118489 | 2147483647    74988     80 |  0.000 % |
39.43/39.46	c |     75327 |   10688    42760   118489 | 2147483647    75327     80 |  0.000 % |
39.93/39.96	c |     75699 |   10688    42760   118489 | 2147483647    75699     80 |  0.000 % |
40.13/40.19	c |     76108 |   10688    42760   118489 | 2147483647    76108     80 |  0.000 % |
40.43/40.43	c |     76557 |   10688    42760   118489 | 2147483647    76557     79 |  0.000 % |
40.63/40.64	c |     77051 |   10688    42760   118489 | 2147483647    77051     80 |  0.000 % |
40.83/40.90	c |     77596 |   10688    42760   118489 | 2147483647    77596     80 |  0.000 % |
41.13/41.13	c |     78193 |   10688    42760   118489 | 2147483647    78193     80 |  0.000 % |
41.23/41.30	c |     78849 |   10688    42760   118489 | 2147483647    78849     79 |  0.000 % |
42.43/42.51	c |     79569 |   10688    42760   118489 | 2147483647    79569     80 |  0.000 % |
43.23/43.27	c |     80362 |   10688    42760   118489 | 2147483647    80362     80 |  0.000 % |
43.53/43.54	c |     81233 |   10688    42760   118489 | 2147483647    81233     80 |  0.000 % |
47.83/47.87	c |     82191 |   10688    42760   118489 | 2147483647    82191     81 |  0.000 % |
47.93/48.00	c |     82291 |   10688    42760   118489 | 2147483647    82291     81 |  0.000 % |
48.03/48.11	c |     82401 |   10688    42760   118489 | 2147483647    82401     81 |  0.000 % |
48.13/48.18	c |     82523 |   10688    42760   118489 | 2147483647    82523     81 |  0.000 % |
48.33/48.34	c |     82656 |   10688    42760   118489 | 2147483647    82656     81 |  0.001 % |
48.33/48.40	c |     82802 |   10688    42760   118489 | 2147483647    82802     81 |  0.000 % |
48.43/48.47	c |     82962 |   10688    42760   118489 | 2147483647    82962     81 |  0.000 % |
48.73/48.73	c |     83139 |   10688    42760   118489 | 2147483647    83139     81 |  0.000 % |
48.73/48.80	c |     83332 |   10688    42760   118489 | 2147483647    83332     81 |  0.000 % |
49.13/49.17	c |     83544 |   10688    42760   118489 | 2147483647    83544     81 |  0.000 % |
49.33/49.35	c |     83778 |   10688    42760   118489 | 2147483647    83778     81 |  0.000 % |
49.43/49.48	c |     84034 |   10688    42760   118489 | 2147483647    84034     81 |  0.000 % |
49.73/49.73	c |     84316 |   10688    42760   118489 | 2147483647    84316     81 |  0.000 % |
49.83/49.90	c |     84626 |   10688    42760   118489 | 2147483647    84626     81 |  0.000 % |
50.13/50.21	c |     84966 |   10688    42760   118489 | 2147483647    84966     81 |  0.000 % |
50.83/50.90	c |     85338 |   10688    42760   118489 | 2147483647    85338     82 |  0.000 % |
51.33/51.34	c |     85749 |   10688    42760   118489 | 2147483647    85749     82 |  0.000 % |
52.23/52.27	c |     86198 |   10688    42760   118489 | 2147483647    86198     82 |  0.000 % |
52.83/52.88	c |     86691 |   10688    42760   118489 | 2147483647    86691     82 |  0.000 % |
53.93/53.95	c |     87234 |   10688    42760   118489 | 2147483647    87234     82 |  0.000 % |
54.03/54.10	c |     87830 |   10688    42760   118489 | 2147483647    87830     82 |  0.000 % |
54.63/54.65	c |     88486 |   10688    42760   118489 | 2147483647    88486     81 |  0.000 % |
55.13/55.16	c |     89207 |   10688    42760   118489 | 2147483647    89207     81 |  0.000 % |
55.43/55.44	c |     90001 |   10688    42760   118489 | 2147483647    90001     81 |  0.000 % |
56.03/56.05	c |     90872 |   10688    42760   118489 | 2147483647    90872     82 |  0.000 % |
56.33/56.35	c |     91830 |   10688    42760   118489 | 2147483647    91830     81 |  0.000 % |
56.63/56.64	c |     92884 |   10688    42760   118489 | 2147483647    92884     81 |  0.000 % |
56.63/56.71	c |     92984 |   10688    42760   118489 | 2147483647    92984     81 |  0.000 % |
56.83/56.84	c |     93095 |   10688    42760   118489 | 2147483647    93095     81 |  0.000 % |
56.93/56.92	c |     93217 |   10688    42760   118489 | 2147483647    93217     81 |  0.000 % |
57.03/57.03	c |     93350 |   10688    42760   118489 | 2147483647    93350     80 |  0.000 % |
57.23/57.26	c |     93496 |   10688    42760   118489 | 2147483647    93496     81 |  0.000 % |
57.33/57.33	c |     93657 |   10688    42760   118489 | 2147483647    93657     80 |  0.000 % |
57.53/57.58	c |     93834 |   10688    42760   118489 | 2147483647    93834     80 |  0.000 % |
57.73/57.73	c |     94028 |   10688    42760   118489 | 2147483647    94028     80 |  0.000 % |
57.83/57.89	c |     94240 |   10688    42760   118489 | 2147483647    94240     80 |  0.000 % |
58.03/58.02	c |     94474 |   10688    42760   118489 | 2147483647    94474     80 |  0.000 % |
58.73/58.81	c |     94731 |   10688    42760   118489 | 2147483647    94731     81 |  0.000 % |
59.03/59.03	c |     95013 |   10688    42760   118489 | 2147483647    95013     81 |  0.000 % |
59.13/59.18	c |     95323 |   10688    42760   118489 | 2147483647    95323     80 |  0.000 % |
59.43/59.44	c |     95662 |   10688    42760   118489 | 2147483647    95662     80 |  0.000 % |
60.23/60.23	c |     96035 |   10688    42760   118489 | 2147483647    96035     80 |  0.000 % |
60.73/60.76	c |     96444 |   10688    42760   118489 | 2147483647    96444     81 |  0.000 % |
61.03/61.10	c |     96893 |   10688    42760   118489 | 2147483647    96893     81 |  0.000 % |
61.33/61.41	c |     97388 |   10688    42760   118489 | 2147483647    97388     81 |  0.000 % |
61.83/61.88	c |     97931 |   10688    42760   118489 | 2147483647    97931     81 |  0.000 % |
63.63/63.65	c |     98530 |   10688    42760   118489 | 2147483647    98530     82 |  0.000 % |
63.93/64.00	c |     99186 |   10688    42760   118489 | 2147483647    99186     82 |  0.000 % |
64.53/64.55	c |     99907 |   10688    42760   118489 | 2147483647    99907     82 |  0.000 % |
65.13/65.21	c |    100700 |   10688    42760   118489 | 2147483647   100700     82 |  0.000 % |
66.33/66.40	c |    101572 |   10688    42760   118489 | 2147483647   101572     82 |  0.000 % |
66.93/66.98	c |    102531 |   10688    42760   118489 | 2147483647   102531     82 |  0.000 % |
67.53/67.53	c |    103584 |   10688    42760   118489 | 2147483647   103584     82 |  0.000 % |
68.73/68.80	c |    104745 |   10688    42760   118489 | 2147483647   104745     83 |  0.000 % |
68.83/68.87	c |    104847 |   10688    42760   118489 | 2147483647   104847     83 |  0.000 % |
68.83/68.91	c |    104957 |   10688    42760   118489 | 2147483647   104957     82 |  0.000 % |
69.03/69.05	c |    105080 |   10688    42760   118489 | 2147483647   105080     82 |  0.000 % |
69.13/69.16	c |    105213 |   10688    42760   118489 | 2147483647   105213     82 |  0.000 % |
69.13/69.20	c |    105360 |   10688    42760   118489 | 2147483647   105360     82 |  0.000 % |
69.23/69.22	c |    105521 |   10688    42760   118489 | 2147483647   105521     82 |  0.000 % |
69.33/69.35	c |    105699 |   10688    42760   118489 | 2147483647   105699     82 |  0.000 % |
69.43/69.48	c |    105892 |   10688    42760   118489 | 2147483647   105892     82 |  0.000 % |
69.63/69.65	c |    106106 |   10688    42760   118489 | 2147483647   106106     82 |  0.000 % |
70.23/70.30	c |    106339 |   10688    42760   118489 | 2147483647   106339     82 |  0.000 % |
70.53/70.54	c |    106597 |   10688    42760   118489 | 2147483647   106597     82 |  0.000 % |
70.63/70.71	c |    106878 |   10688    42760   118489 | 2147483647   106878     82 |  0.000 % |
70.83/70.82	c |    107189 |   10688    42760   118489 | 2147483647   107189     82 |  0.000 % |
71.23/71.23	c |    107529 |   10688    42760   118489 | 2147483647   107529     82 |  0.000 % |
71.53/71.61	c |    107901 |   10688    42760   118489 | 2147483647   107901     82 |  0.000 % |
71.93/71.98	c |    108310 |   10688    42760   118489 | 2147483647   108310     82 |  0.000 % |
72.83/72.87	c |    108759 |   10688    42760   118489 | 2147483647   108759     83 |  0.000 % |
73.13/73.18	c |    109252 |   10688    42760   118489 | 2147483647   109252     83 |  0.000 % |
73.53/73.55	c |    109794 |   10688    42760   118489 | 2147483647   109794     82 |  0.000 % |
73.93/73.92	c |    110391 |   10688    42760   118489 | 2147483647   110391     82 |  0.000 % |
74.92/74.97	c |    111046 |   10688    42760   118489 | 2147483647   111046     82 |  0.000 % |
75.52/75.55	c |    111766 |   10688    42760   118489 | 2147483647   111766     82 |  0.000 % |
77.42/77.42	c |    112558 |   10688    42760   118489 | 2147483647   112558     83 |  0.000 % |
78.12/78.18	c |    113429 |   10688    42760   118489 | 2147483647   113429     83 |  0.000 % |
78.82/78.81	c |    114389 |   10688    42760   118489 | 2147483647   114389     84 |  0.000 % |
80.82/80.81	c |    115442 |   10688    42760   118489 | 2147483647   115442     84 |  0.000 % |
81.52/81.52	c |    116601 |   10688    42760   118489 | 2147483647   116601     84 |  0.000 % |
82.62/82.66	c |    117875 |   10688    42760   118489 | 2147483647   117875     84 |  0.000 % |
82.72/82.80	c |    117976 |   10688    42760   118489 | 2147483647   117976     84 |  0.000 % |
82.82/82.86	c |    118086 |   10688    42760   118489 | 2147483647   118086     84 |  0.000 % |
83.02/83.10	c |    118208 |   10688    42760   118489 | 2147483647   118208     84 |  0.000 % |
83.12/83.15	c |    118343 |   10688    42760   118489 | 2147483647   118343     84 |  0.000 % |
83.12/83.20	c |    118490 |   10688    42760   118489 | 2147483647   118490     84 |  0.000 % |
83.42/83.48	c |    118650 |   10688    42760   118489 | 2147483647   118650     84 |  0.000 % |
83.63/83.66	c |    118827 |   10688    42760   118489 | 2147483647   118827     84 |  0.000 % |
83.72/83.78	c |    119020 |   10688    42760   118489 | 2147483647   119020     84 |  0.000 % |
84.02/84.03	c |    119232 |   10688    42760   118489 | 2147483647   119232     84 |  0.000 % |
84.12/84.17	c |    119467 |   10688    42760   118489 | 2147483647   119467     84 |  0.000 % |
84.32/84.35	c |    119723 |   10688    42760   118489 | 2147483647   119723     84 |  0.000 % |
84.92/84.92	c |    120005 |   10688    42760   118489 | 2147483647   120005     84 |  0.000 % |
85.12/85.16	c |    120315 |   10688    42760   118489 | 2147483647   120315     84 |  0.000 % |
85.52/85.57	c |    120654 |   10688    42760   118489 | 2147483647   120654     84 |  0.000 % |
85.72/85.73	c |    121026 |   10688    42760   118489 | 2147483647   121026     84 |  0.000 % |
86.02/86.02	c |    121435 |   10688    42760   118489 | 2147483647   121435     84 |  0.000 % |
86.52/86.59	c |    121885 |   10688    42760   118489 | 2147483647   121885     84 |  0.000 % |
87.02/87.09	c |    122378 |   10688    42760   118489 | 2147483647   122378     84 |  0.000 % |
87.42/87.48	c |    122921 |   10688    42760   118489 | 2147483647   122921     84 |  0.000 % |
87.62/87.68	c |    123518 |   10688    42760   118489 | 2147483647   123518     84 |  0.000 % |
88.32/88.36	c |    124176 |   10688    42760   118489 | 2147483647   124176     84 |  0.000 % |
88.62/88.65	c |    124898 |   10688    42760   118489 | 2147483647   124898     84 |  0.000 % |
89.62/89.68	c |    125690 |   10688    42760   118489 | 2147483647   125690     84 |  0.000 % |
90.72/90.79	c |    126561 |   10688    42760   118489 | 2147483647   126561     84 |  0.000 % |
91.33/91.39	c |    127519 |   10688    42760   118489 | 2147483647   127519     84 |  0.000 % |
91.92/92.00	c |    128573 |   10688    42760   118489 | 2147483647   128573     84 |  0.000 % |
93.02/93.05	c |    129731 |   10688    42760   118489 | 2147483647   129731     85 |  0.000 % |
94.42/94.46	c |    131005 |   10688    42760   118489 | 2147483647   131005     85 |  0.000 % |
97.02/97.08	c |    132406 |   10688    42760   118489 | 2147483647   132406     86 |  0.000 % |
97.22/97.20	c |    132506 |   10688    42760   118489 | 2147483647   132506     86 |  0.000 % |
97.22/97.30	c |    132617 |   10688    42760   118489 | 2147483647   132617     86 |  0.000 % |
97.52/97.56	c |    132740 |   10688    42760   118489 | 2147483647   132740     86 |  0.000 % |
97.72/97.74	c |    132874 |   10688    42760   118489 | 2147483647   132874     86 |  0.000 % |
97.82/97.89	c |    133021 |   10688    42760   118489 | 2147483647   133021     86 |  0.000 % |
98.02/98.09	c |    133181 |   10688    42760   118489 | 2147483647   133181     86 |  0.000 % |
98.22/98.21	c |    133358 |   10688    42760   118489 | 2147483647   133358     86 |  0.000 % |
98.52/98.56	c |    133551 |   10688    42760   118489 | 2147483647   133551     86 |  0.000 % |
98.92/98.93	c |    133763 |   10688    42760   118489 | 2147483647   133763     86 |  0.000 % |
99.03/99.06	c |    133997 |   10688    42760   118489 | 2147483647   133997     86 |  0.000 % |
99.32/99.34	c |    134257 |   10688    42760   118489 | 2147483647   134257     86 |  0.000 % |
99.62/99.60	c |    134538 |   10688    42760   118489 | 2147483647   134538     86 |  0.000 % |
100.02/100.02	c |    134847 |   10688    42760   118489 | 2147483647   134847     86 |  0.000 % |
100.22/100.26	c |    135186 |   10688    42760   118489 | 2147483647   135186     86 |  0.000 % |
100.42/100.48	c |    135559 |   10688    42760   118489 | 2147483647   135559     86 |  0.000 % |
101.02/101.01	c |    135968 |   10688    42760   118489 | 2147483647   135968     86 |  0.000 % |
101.32/101.37	c |    136417 |   10688    42760   118489 | 2147483647   136417     86 |  0.000 % |
101.62/101.65	c |    136911 |   10688    42760   118489 | 2147483647   136911     86 |  0.000 % |
102.62/102.60	c |    137454 |   10688    42760   118489 | 2147483647   137454     86 |  0.000 % |
103.32/103.35	c |    138052 |   10688    42760   118489 | 2147483647   138052     86 |  0.000 % |
103.92/103.99	c |    138710 |   10688    42760   118489 | 2147483647   138710     86 |  0.000 % |
108.22/108.24	c |    139431 |   10688    42760   118489 | 2147483647   139431     86 |  0.000 % |
109.72/109.72	c |    140223 |   10688    42760   118489 | 2147483647   140223     86 |  0.000 % |
110.52/110.50	c |    141094 |   10688    42760   118489 | 2147483647   141094     86 |  0.000 % |
111.52/111.52	c |    142052 |   10688    42760   118489 | 2147483647   142052     87 |  0.000 % |
113.22/113.25	c |    143108 |   10688    42760   118489 | 2147483647   143108     87 |  0.000 % |
115.22/115.29	c |    144266 |   10688    42760   118489 | 2147483647   144266     88 |  0.000 % |
117.92/117.97	c |    145540 |   10688    42760   118489 | 2147483647   145540     88 |  0.000 % |
118.92/118.96	c |    146940 |   10688    42760   118489 | 2147483647   146940     88 |  0.000 % |
119.82/119.89	c |    148480 |   10688    42760   118489 | 2147483647   148480     88 |  0.000 % |
120.02/120.10	c |    148582 |   10688    42760   118489 | 2147483647   148582     88 |  0.000 % |
120.22/120.25	c |    148692 |   10688    42760   118489 | 2147483647   148692     88 |  0.000 % |
120.32/120.38	c |    148813 |   10688    42760   118489 | 2147483647   148813     88 |  0.000 % |
120.42/120.50	c |    148946 |   10688    42760   118489 | 2147483647   148946     88 |  0.000 % |
121.12/121.14	c |    149093 |   10688    42760   118489 | 2147483647   149093     88 |  0.000 % |
121.32/121.34	c |    149253 |   10688    42760   118489 | 2147483647   149253     88 |  0.000 % |
121.52/121.52	c |    149430 |   10688    42760   118489 | 2147483647   149430     88 |  0.000 % |
121.82/121.86	c |    149623 |   10688    42760   118489 | 2147483647   149623     88 |  0.000 % |
121.92/122.00	c |    149835 |   10688    42760   118489 | 2147483647   149835     88 |  0.000 % |
122.13/122.17	c |    150068 |   10688    42760   118489 | 2147483647   150068     88 |  0.000 % |
122.52/122.53	c |    150326 |   10688    42760   118489 | 2147483647   150326     88 |  0.000 % |
122.72/122.79	c |    150607 |   10688    42760   118489 | 2147483647   150607     88 |  0.000 % |
123.02/123.07	c |    150917 |   10688    42760   118489 | 2147483647   150917     88 |  0.000 % |
123.32/123.37	c |    151256 |   10688    42760   118489 | 2147483647   151256     88 |  0.000 % |
124.12/124.20	c |    151629 |   10688    42760   118489 | 2147483647   151629     88 |  0.000 % |
124.52/124.51	c |    152038 |   10688    42760   118489 | 2147483647   152038     88 |  0.000 % |
124.62/124.65	c |    152487 |   10688    42760   118489 | 2147483647   152487     88 |  0.000 % |
126.33/126.33	c |    152980 |   10688    42760   118489 | 2147483647   152980     88 |  0.000 % |
127.03/127.03	c |    153523 |   10688    42760   118489 | 2147483647   153523     88 |  0.000 % |
127.63/127.69	c |    154120 |   10688    42760   118489 | 2147483647   154120     88 |  0.000 % |
128.03/128.09	c |    154775 |   10688    42760   118489 | 2147483647   154775     88 |  0.000 % |
129.43/129.43	c |    155495 |   10688    42760   118489 | 2147483647   155495     88 |  0.000 % |
130.43/130.46	c |    156287 |   10688    42760   118489 | 2147483647   156287     88 |  0.000 % |
132.93/132.96	c |    157161 |   10688    42760   118489 | 2147483647   157161     88 |  0.000 % |
133.93/134.01	c |    158119 |   10688    42760   118489 | 2147483647   158119     88 |  0.000 % |
136.23/136.24	c |    159173 |   10688    42760   118489 | 2147483647   159173     88 |  0.000 % |
137.43/137.47	c |    160331 |   10688    42760   118489 | 2147483647   160331     87 |  0.000 % |
139.73/139.76	c |    161604 |   10688    42760   118489 | 2147483647   161604     87 |  0.000 % |
144.13/144.14	c |    163004 |   10688    42760   118489 | 2147483647   163004     87 |  0.000 % |
146.13/146.15	c |    164544 |   10688    42760   118489 | 2147483647   164544     88 |  0.000 % |
147.53/147.57	c |    166238 |   10688    42760   118489 | 2147483647   166238     88 |  0.000 % |
147.63/147.64	c |    166339 |   10688    42760   118489 | 2147483647   166339     88 |  0.000 % |
147.83/147.87	c |    166449 |   10688    42760   118489 | 2147483647   166449     88 |  0.000 % |
147.93/148.00	c |    166570 |   10688    42760   118489 | 2147483647   166570     88 |  0.000 % |
148.13/148.12	c |    166703 |   10688    42760   118489 | 2147483647   166703     88 |  0.000 % |
148.23/148.27	c |    166850 |   10688    42760   118489 | 2147483647   166850     88 |  0.000 % |
148.63/148.63	c |    167010 |   10688    42760   118489 | 2147483647   167010     88 |  0.000 % |
148.73/148.77	c |    167186 |   10688    42760   118489 | 2147483647   167186     88 |  0.000 % |
148.93/148.97	c |    167379 |   10688    42760   118489 | 2147483647   167379     88 |  0.000 % |
149.33/149.31	c |    167592 |   10688    42760   118489 | 2147483647   167592     88 |  0.000 % |
149.83/149.90	c |    167826 |   10688    42760   118489 | 2147483647   167826     88 |  0.000 % |
150.33/150.37	c |    168083 |   10688    42760   118489 | 2147483647   168083     88 |  0.000 % |
150.63/150.66	c |    168365 |   10688    42760   118489 | 2147483647   168365     88 |  0.000 % |
151.03/151.08	c |    168676 |   10688    42760   118489 | 2147483647   168676     88 |  0.000 % |
151.63/151.66	c |    169016 |   10688    42760   118489 | 2147483647   169016     88 |  0.000 % |
152.03/152.05	c |    169389 |   10688    42760   118489 | 2147483647   169389     88 |  0.000 % |
152.73/152.73	c |    169800 |   10688    42760   118489 | 2147483647   169800     88 |  0.000 % |
152.93/153.00	c |    170249 |   10688    42760   118489 | 2147483647   170249     88 |  0.000 % |
154.33/154.32	c |    170743 |   10688    42760   118489 | 2147483647   170743     88 |  0.000 % |
154.93/154.99	c |    171285 |   10688    42760   118489 | 2147483647   171285     88 |  0.000 % |
155.73/155.72	c |    171881 |   10688    42760   118489 | 2147483647   171881     88 |  0.000 % |
156.53/156.52	c |    172536 |   10688    42760   118489 | 2147483647   172536     87 |  0.000 % |
157.03/157.06	c |    173257 |   10688    42760   118489 | 2147483647   173257     88 |  0.000 % |
158.23/158.21	c |    174051 |   10688    42760   118489 | 2147483647   174051     88 |  0.000 % |
159.03/159.02	c |    174925 |   10688    42760   118489 | 2147483647   174925     88 |  0.000 % |
160.93/160.93	c |    175883 |   10688    42760   118489 | 2147483647   175883     88 |  0.000 % |
162.23/162.24	c |    176938 |   10688    42760   118489 | 2147483647   176938     88 |  0.000 % |
164.43/164.45	c |    178096 |   10688    42760   118489 | 2147483647   178096     88 |  0.000 % |
165.73/165.76	c |    179369 |   10688    42760   118489 | 2147483647   179369     88 |  0.000 % |
168.33/168.36	c |    180770 |   10688    42760   118489 | 2147483647   180770     89 |  0.000 % |
169.43/169.47	c |    182311 |   10688    42760   118489 | 2147483647   182311     88 |  0.000 % |
171.53/171.55	c |    184007 |   10688    42760   118489 | 2147483647   184007     88 |  0.000 % |
172.93/172.96	c |    185870 |   10688    42760   118489 | 2147483647   185870     88 |  0.000 % |
173.03/173.03	c |    185971 |   10688    42760   118489 | 2147483647   185971     88 |  0.000 % |
173.23/173.29	c |    186081 |   10688    42760   118489 | 2147483647   186081     88 |  0.000 % |
173.33/173.35	c |    186202 |   10688    42760   118489 | 2147483647   186202     88 |  0.000 % |
173.43/173.50	c |    186335 |   10688    42760   118489 | 2147483647   186335     88 |  0.000 % |
173.63/173.62	c |    186481 |   10688    42760   118489 | 2147483647   186481     88 |  0.000 % |
173.83/173.88	c |    186641 |   10688    42760   118489 | 2147483647   186641     88 |  0.000 % |
174.03/174.06	c |    186817 |   10688    42760   118489 | 2147483647   186817     88 |  0.000 % |
174.23/174.26	c |    187011 |   10688    42760   118489 | 2147483647   187011     88 |  0.000 % |
174.43/174.45	c |    187223 |   10688    42760   118489 | 2147483647   187223     88 |  0.000 % |
174.73/174.71	c |    187456 |   10688    42760   118489 | 2147483647   187456     88 |  0.000 % |
174.93/174.97	c |    187712 |   10688    42760   118489 | 2147483647   187712     87 |  0.000 % |
176.23/176.29	c |    187994 |   10688    42760   118489 | 2147483647   187994     88 |  0.000 % |
176.53/176.51	c |    188304 |   10688    42760   118489 | 2147483647   188304     88 |  0.000 % |
177.03/177.08	c |    188643 |   10688    42760   118489 | 2147483647   188643     87 |  0.000 % |
178.13/178.11	c |    189015 |   10688    42760   118489 | 2147483647   189015     87 |  0.000 % |
179.03/179.04	c |    189426 |   10688    42760   118489 | 2147483647   189426     88 |  0.000 % |
179.53/179.60	c |    189876 |   10688    42760   118489 | 2147483647   189876     88 |  0.000 % |
180.63/180.70	c |    190370 |   10687    42755   118478 | 2147483647   190368     88 |  0.009 % |
182.53/182.58	c |    190913 |   10687    42755   118478 | 2147483647   190911     88 |  0.009 % |
183.23/183.20	c |    191509 |   10687    42755   118478 | 2147483647   191507     88 |  0.009 % |
184.13/184.14	c |    192165 |   10687    42755   118478 | 2147483647   192163     88 |  0.009 % |
184.83/184.87	c |    192886 |   10687    42755   118478 | 2147483647   192884     88 |  0.009 % |
185.23/185.27	c |    193679 |   10687    42755   118478 | 2147483647   193677     88 |  0.009 % |
186.33/186.36	c |    194553 |   10687    42755   118478 | 2147483647   194551     88 |  0.009 % |
188.03/188.04	c |    195511 |   10687    42755   118478 | 2147483647   195509     88 |  0.009 % |
188.83/188.90	c |    196565 |   10687    42755   118478 | 2147483647   196563     88 |  0.010 % |
190.23/190.24	c |    197723 |   10687    42755   118478 | 2147483647   197721     88 |  0.009 % |
193.03/193.02	c |    198996 |   10687    42755   118478 | 2147483647   198994     88 |  0.009 % |
197.43/197.43	c |    200397 |   10687    42755   118478 | 2147483647   200395     89 |  0.009 % |
202.53/202.55	c |    201937 |   10687    42755   118478 | 2147483647   201935     89 |  0.009 % |
204.43/204.44	c |    203633 |   10687    42755   118478 | 2147483647   203631     89 |  0.009 % |
207.03/207.10	c |    205496 |   10687    42755   118478 | 2147483647   205494     89 |  0.009 % |
213.53/213.54	c |    207545 |   10687    42755   118478 | 2147483647   207543     89 |  0.009 % |
213.73/213.80	c |    207646 |   10687    42755   118478 | 2147483647   207644     89 |  0.009 % |
213.83/213.88	c |    207756 |   10687    42755   118478 | 2147483647   207754     89 |  0.009 % |
213.93/213.98	c |    207878 |   10687    42755   118478 | 2147483647   207876     89 |  0.009 % |
214.13/214.18	c |    208013 |   10687    42755   118478 | 2147483647   208011     89 |  0.009 % |
214.43/214.49	c |    208159 |   10687    42755   118478 | 2147483647   208157     89 |  0.009 % |
214.73/214.75	c |    208319 |   10687    42755   118478 | 2147483647   208317     89 |  0.009 % |
215.03/215.04	c |    208497 |   10687    42755   118478 | 2147483647   208495     89 |  0.009 % |
215.33/215.35	c |    208691 |   10687    42755   118478 | 2147483647   208689     89 |  0.009 % |
215.64/215.67	c |    208904 |   10687    42755   118478 | 2147483647   208902     89 |  0.009 % |
216.23/216.24	c |    209137 |   10687    42755   118478 | 2147483647   209135     89 |  0.009 % |
216.63/216.63	c |    209393 |   10687    42755   118478 | 2147483647   209391     89 |  0.009 % |
217.63/217.63	c |    209675 |   10687    42755   118478 | 2147483647   209673     89 |  0.009 % |
217.84/217.83	c |    209984 |   10687    42755   118478 | 2147483647   209982     89 |  0.009 % |
218.73/218.75	c |    210323 |   10687    42755   118478 | 2147483647   210321     89 |  0.009 % |
219.43/219.45	c |    210695 |   10687    42755   118478 | 2147483647   210693     89 |  0.009 % |
220.23/220.26	c |    211104 |   10687    42755   118478 | 2147483647   211102     89 |  0.009 % |
222.83/222.81	c |    211554 |   10687    42755   118478 | 2147483647   211552     89 |  0.009 % |
223.23/223.25	c |    212047 |   10687    42755   118478 | 2147483647   212045     89 |  0.009 % |
223.73/223.79	c |    212590 |   10687    42755   118478 | 2147483647   212588     89 |  0.009 % |
224.73/224.71	c |    213188 |   10687    42755   118478 | 2147483647   213186     89 |  0.009 % |
225.83/225.85	c |    213844 |   10687    42755   118478 | 2147483647   213842     89 |  0.009 % |
227.63/227.65	c |    214564 |   10687    42755   118478 | 2147483647   214562     89 |  0.009 % |
228.33/228.33	c |    215356 |   10687    42755   118478 | 2147483647   215354     89 |  0.009 % |
232.14/232.12	c |    216227 |   10687    42755   118478 | 2147483647   216225     90 |  0.009 % |
232.63/232.62	c |    217185 |   10687    42755   118478 | 2147483647   217183     89 |  0.009 % |
233.13/233.19	c |    218238 |   10687    42755   118478 | 2147483647   218236     89 |  0.009 % |
238.04/238.05	c |    219397 |   10687    42755   118478 | 2147483647   219395     89 |  0.009 % |
238.65/238.70	c |    220670 |   10687    42755   118478 | 2147483647   220668     89 |  0.009 % |
243.45/243.44	c |    222071 |   10687    42755   118478 | 2147483647   222069     89 |  0.009 % |
245.25/245.27	c |    223611 |   10687    42755   118478 | 2147483647   223609     89 |  0.011 % |
252.55/252.56	c |    225306 |   10687    42755   118478 | 2147483647   225304     90 |  0.009 % |
255.15/255.14	c |    227170 |   10687    42755   118478 | 2147483647   227168     89 |  0.009 % |
263.74/263.79	c |    229220 |   10687    42755   118478 | 2147483647   229218     90 |  0.009 % |
266.94/267.01	c |    231473 |   10687    42755   118478 | 2147483647   231471     90 |  0.009 % |
267.14/267.20	c |    231573 |   10687    42755   118478 | 2147483647   231571     89 |  0.009 % |
267.54/267.56	c |    231683 |   10687    42755   118478 | 2147483647   231681     90 |  0.009 % |
267.74/267.80	c |    231805 |   10687    42755   118478 | 2147483647   231803     90 |  0.009 % |
267.94/267.97	c |    231938 |   10687    42755   118478 | 2147483647   231936     89 |  0.009 % |
268.34/268.36	c |    232086 |   10687    42755   118478 | 2147483647   232084     89 |  0.009 % |
268.54/268.60	c |    232246 |   10687    42755   118478 | 2147483647   232244     89 |  0.011 % |
268.64/268.71	c |    232423 |   10687    42755   118478 | 2147483647   232421     89 |  0.009 % |
269.64/269.66	c |    232617 |   10687    42755   118478 | 2147483647   232615     89 |  0.009 % |
269.94/270.01	c |    232829 |   10687    42755   118478 | 2147483647   232827     89 |  0.009 % |
270.34/270.33	c |    233062 |   10687    42755   118478 | 2147483647   233060     89 |  0.009 % |
270.84/270.90	c |    233318 |   10687    42755   118478 | 2147483647   233316     89 |  0.009 % |
271.14/271.18	c |    233600 |   10687    42755   118478 | 2147483647   233598     89 |  0.009 % |
271.94/272.02	c |    233911 |   10687    42755   118478 | 2147483647   233909     89 |  0.009 % |
272.64/272.66	c |    234250 |   10687    42755   118478 | 2147483647   234248     89 |  0.009 % |
273.54/273.58	c |    234625 |   10687    42755   118478 | 2147483647   234623     89 |  0.009 % |
274.14/274.21	c |    235034 |   10687    42755   118478 | 2147483647   235032     89 |  0.009 % |
275.04/275.09	c |    235483 |   10687    42755   118478 | 2147483647   235481     89 |  0.009 % |
275.84/275.89	c |    235984 |   10687    42755   118478 | 2147483647   235982     90 |  0.009 % |
277.04/277.12	c |    236526 |   10687    42755   118478 | 2147483647   236524     90 |  0.009 % |
280.04/280.11	c |    237122 |   10687    42755   118478 | 2147483647   237120     90 |  0.009 % |
281.54/281.54	c |    237777 |   10687    42755   118478 | 2147483647   237775     90 |  0.009 % |
283.04/283.10	c |    238497 |   10687    42755   118478 | 2147483647   238495     89 |  0.009 % |
285.64/285.62	c |    239289 |   10687    42755   118478 | 2147483647   239287     90 |  0.009 % |
286.64/286.71	c |    240162 |   10687    42755   118478 | 2147483647   240160     90 |  0.009 % |
293.04/293.11	c |    241120 |   10687    42755   118478 | 2147483647   241118     90 |  0.009 % |
295.24/295.22	c |    242175 |   10687    42755   118478 | 2147483647   242173     90 |  0.009 % |
296.44/296.48	c |    243334 |   10687    42755   118478 | 2147483647   243332     90 |  0.009 % |
301.54/301.58	c |    244607 |   10687    42755   118478 | 2147483647   244605     90 |  0.009 % |
306.95/306.94	c |    246007 |   10687    42755   118478 | 2147483647   246005     90 |  0.009 % |
310.04/310.04	c |    247548 |   10687    42755   118478 | 2147483647   247546     90 |  0.009 % |
311.94/312.00	c |    249243 |   10687    42755   118478 | 2147483647   249241     90 |  0.009 % |
316.34/316.37	c |    251107 |   10687    42755   118478 | 2147483647   251105     90 |  0.009 % |
323.64/323.62	c |    253157 |   10687    42755   118478 | 2147483647   253155     90 |  0.009 % |
328.84/328.87	c |    255413 |   10687    42755   118478 | 2147483647   255411     90 |  0.009 % |
340.44/340.45	c |    257891 |   10687    42755   118478 | 2147483647   257889     91 |  0.009 % |
340.64/340.61	c |    257991 |   10687    42755   118478 | 2147483647   257989     91 |  0.009 % |
340.94/340.94	c |    258101 |   10687    42755   118478 | 2147483647   258099     91 |  0.009 % |
341.05/341.11	c |    258222 |   10687    42755   118478 | 2147483647   258220     90 |  0.009 % |
341.44/341.45	c |    258357 |   10687    42755   118478 | 2147483647   258355     90 |  0.009 % |
341.74/341.72	c |    258503 |   10687    42755   118478 | 2147483647   258501     90 |  0.009 % |
342.04/342.10	c |    258663 |   10687    42755   118478 | 2147483647   258661     91 |  0.009 % |
342.34/342.37	c |    258839 |   10687    42755   118478 | 2147483647   258837     90 |  0.009 % |
342.54/342.57	c |    259032 |   10687    42755   118478 | 2147483647   259030     90 |  0.009 % |
342.94/342.98	c |    259244 |   10687    42755   118478 | 2147483647   259242     90 |  0.009 % |
343.54/343.53	c |    259477 |   10687    42755   118478 | 2147483647   259475     90 |  0.009 % |
345.74/345.78	c |    259734 |   10687    42755   118478 | 2147483647   259732     90 |  0.009 % |
346.24/346.27	c |    260015 |   10687    42755   118478 | 2147483647   260013     90 |  0.009 % |
346.94/346.92	c |    260327 |   10687    42755   118478 | 2147483647   260325     90 |  0.009 % |
347.74/347.75	c |    260666 |   10687    42755   118478 | 2147483647   260664     90 |  0.009 % |
349.45/349.51	c |    261038 |   10687    42755   118478 | 2147483647   261036     90 |  0.009 % |
350.45/350.52	c |    261448 |   10687    42755   118478 | 2147483647   261446     91 |  0.009 % |
351.25/351.26	c |    261898 |   10687    42755   118478 | 2147483647   261896     90 |  0.009 % |
352.45/352.50	c |    262392 |   10687    42755   118478 | 2147483647   262390     90 |  0.009 % |
353.85/353.90	c |    262934 |   10687    42755   118478 | 2147483647   262932     90 |  0.009 % |
355.85/355.84	c |    263530 |   10687    42755   118478 | 2147483647   263528     90 |  0.009 % |
356.45/356.42	c |    264185 |   10687    42755   118478 | 2147483647   264183     90 |  0.009 % |
358.25/358.28	c |    264907 |   10687    42755   118478 | 2147483647   264905     90 |  0.009 % |
360.05/360.07	c |    265699 |   10687    42755   118478 | 2147483647   265697     90 |  0.009 % |
363.85/363.92	c |    266572 |   10687    42755   118478 | 2147483647   266570     90 |  0.009 % |
366.55/366.58	c |    267530 |   10687    42755   118478 | 2147483647   267528     90 |  0.009 % |
367.95/368.02	c |    268584 |   10687    42755   118478 | 2147483647   268582     90 |  0.009 % |
371.55/371.54	c |    269742 |   10687    42755   118478 | 2147483647   269740     90 |  0.009 % |
376.75/376.79	c |    271015 |   10687    42755   118478 |   269999   271013     90 |  0.009 % |
379.45/379.43	c |    272415 |   10687    42755   118478 |   269999   236295     87 |  0.009 % |
383.35/383.40	c |    273956 |   10687    42755   118478 |   269999   237836     87 |  0.009 % |
389.45/389.42	c |    275650 |   10687    42755   118478 |   269999   239530     87 |  0.009 % |
392.35/392.37	c |    277513 |   10687    42755   118478 |   269999   241393     87 |  0.009 % |
394.85/394.88	c |    279562 |   10687    42755   118478 |   269999   243442     87 |  0.009 % |
396.05/396.08	c |    281818 |   10687    42755   118478 |   243881   245698     87 |  0.009 % |
405.55/405.53	c |    284296 |   10687    42755   118478 |   243881   223607     85 |  0.009 % |
409.45/409.45	c |    287021 |   10687    42755   118478 |   243881   226332     85 |  0.009 % |
409.75/409.80	c |    287122 |   10687    42755   118478 |   243881   226433     85 |  0.009 % |
409.95/410.00	c |    287232 |   10687    42755   118478 |   243881   226543     85 |  0.009 % |
410.25/410.26	c |    287354 |   10687    42755   118478 |   243881   226665     85 |  0.009 % |
410.55/410.61	c |    287488 |   10687    42755   118478 |   243881   226799     85 |  0.009 % |
411.15/411.12	c |    287636 |   10687    42755   118478 |   243881   226947     85 |  0.009 % |
411.55/411.52	c |    287796 |   10687    42755   118478 |   243881   227107     85 |  0.009 % |
411.65/411.68	c |    287972 |   10687    42755   118478 |   243881   227283     85 |  0.009 % |
411.95/411.97	c |    288165 |   10687    42755   118478 |   243881   227476     85 |  0.009 % |
412.45/412.44	c |    288378 |   10687    42755   118478 |   243881   227689     85 |  0.009 % |
413.15/413.17	c |    288611 |   10687    42755   118478 |   243881   227922     85 |  0.009 % |
413.65/413.68	c |    288867 |   10687    42755   118478 |   243881   228178     85 |  0.009 % |
414.05/414.06	c |    289148 |   10687    42755   118478 |   243881   228459     85 |  0.009 % |
414.25/414.29	c |    289458 |   10687    42755   118478 |   243881   228769     85 |  0.009 % |
416.05/416.04	c |    289797 |   10687    42755   118478 |   243881   229108     85 |  0.009 % |
416.55/416.52	c |    290169 |   10687    42755   118478 | 2147483647   229480     85 |  0.009 % |
416.75/416.80	c |    290578 |   10687    42755   118478 | 2147483647   229889     85 |  0.009 % |
417.75/417.77	c |    291028 |   10687    42755   118478 | 2147483647   230339     85 |  0.009 % |
418.45/418.45	c |    291522 |   10687    42755   118478 | 2147483647   230833     85 |  0.009 % |
419.25/419.31	c |    292065 |   10687    42755   118478 | 2147483647   231376     85 |  0.010 % |
420.05/420.04	c |    292661 |   10687    42755   118478 | 2147483647   231972     85 |  0.009 % |
421.54/421.55	c |    293316 |   10687    42755   118478 | 2147483647   232627     85 |  0.009 % |
422.84/422.84	c |    294036 |   10687    42755   118478 | 2147483647   233347     84 |  0.009 % |
424.04/424.02	c |    294828 |   10687    42755   118478 | 2147483647   234139     85 |  0.009 % |
425.04/425.11	c |    295699 |   10687    42755   118478 | 2147483647   235010     85 |  0.009 % |
426.14/426.15	c |    296658 |   10687    42755   118478 | 2147483647   235969     85 |  0.009 % |
431.74/431.81	c |    297711 |   10687    42755   118478 | 2147483647   237022     85 |  0.009 % |
436.13/436.11	c |    298869 |   10687    42755   118478 | 2147483647   238180     85 |  0.009 % |
437.93/437.95	c |    300143 |   10687    42755   118478 | 2147483647   239454     85 |  0.009 % |
442.33/442.33	c |    301544 |   10687    42755   118478 | 2147483647   240855     85 |  0.009 % |
446.33/446.34	c |    303085 |   10687    42755   118478 | 2147483647   242396     85 |  0.011 % |
449.23/449.22	c |    304779 |   10687    42755   118478 | 2147483647   244090     86 |  0.009 % |
453.24/453.30	c |    306642 |   10687    42755   118478 | 2147483647   245953     86 |  0.009 % |
460.04/460.05	c |    308691 |   10687    42755   118478 | 2147483647   248002     86 |  0.009 % |
467.54/467.54	c |    310944 |   10687    42755   118478 |   249311   250255     86 |  0.009 % |
473.44/473.41	c |    313422 |   10687    42755   118478 |   249311   223049     83 |  0.009 % |
480.44/480.47	c |    316147 |   10687    42755   118478 |   249311   225774     83 |  0.009 % |
491.64/491.63	c |    319144 |   10687    42755   118478 |   249311   228771     83 |  0.009 % |
491.74/491.75	c |    319245 |   10687    42755   118478 |   249311   228872     83 |  0.009 % |
492.14/492.20	c |    319356 |   10687    42755   118478 |   249311   228983     83 |  0.009 % |
492.54/492.55	c |    319477 |   10687    42755   118478 |   249311   229104     83 |  0.009 % |
492.84/492.82	c |    319610 |   10687    42755   118478 |   249311   229237     83 |  0.009 % |
492.94/492.92	c |    319757 |   10687    42755   118478 |   249311   229384     83 |  0.009 % |
493.04/493.05	c |    319917 |   10687    42755   118478 |   249311   229544     83 |  0.009 % |
493.44/493.42	c |    320094 |   10687    42755   118478 | 2147483647   229721     83 |  0.009 % |
493.84/493.85	c |    320287 |   10687    42755   118478 | 2147483647   229914     83 |  0.009 % |
494.14/494.14	c |    320499 |   10687    42755   118478 | 2147483647   230126     83 |  0.009 % |
495.24/495.23	c |    320732 |   10687    42755   118478 | 2147483647   230359     83 |  0.009 % |
495.84/495.87	c |    320988 |   10687    42755   118478 | 2147483647   230615     83 |  0.009 % |
496.74/496.78	c |    321270 |   10687    42755   118478 | 2147483647   230897     83 |  0.009 % |
497.34/497.33	c |    321579 |   10687    42755   118478 | 2147483647   231206     83 |  0.009 % |
497.94/497.97	c |    321918 |   10687    42755   118478 | 2147483647   231545     83 |  0.009 % |
498.74/498.79	c |    322292 |   10687    42755   118478 | 2147483647   231919     83 |  0.009 % |
500.84/500.90	c |    322701 |   10687    42755   118478 | 2147483647   232328     83 |  0.009 % |
501.74/501.78	c |    323150 |   10687    42755   118478 | 2147483647   232777     83 |  0.009 % |
504.54/504.56	c |    323643 |   10687    42755   118478 | 2147483647   233270     83 |  0.009 % |
506.04/506.08	c |    324185 |   10687    42755   118478 | 2147483647   233812     83 |  0.009 % |
507.84/507.81	c |    324781 |   10687    42755   118478 | 2147483647   234408     83 |  0.009 % |
509.44/509.46	c |    325436 |   10687    42755   118478 | 2147483647   235063     83 |  0.009 % |
511.64/511.62	c |    326156 |   10687    42755   118478 | 2147483647   235783     83 |  0.009 % |
512.94/512.97	c |    326949 |   10687    42755   118478 | 2147483647   236576     83 |  0.009 % |
515.74/515.79	c |    327820 |   10687    42755   118478 | 2147483647   237447     83 |  0.009 % |
517.24/517.31	c |    328779 |   10687    42755   118478 | 2147483647   238406     83 |  0.009 % |
521.14/521.14	c |    329834 |   10687    42755   118478 | 2147483647   239461     83 |  0.009 % |
527.34/527.31	c |    330992 |   10687    42755   118478 | 2147483647   240619     83 |  0.009 % |
538.84/538.85	c |    332266 |   10687    42755   118478 | 2147483647   241893     83 |  0.009 % |
542.04/542.02	c |    333666 |   10687    42755   118478 | 2147483647   243293     83 |  0.009 % |
557.34/557.32	c |    335209 |   10687    42755   118478 | 2147483647   244836     83 |  0.009 % |
562.04/562.09	c |    336903 |   10687    42755   118478 | 2147483647   246530     83 |  0.009 % |
570.95/570.92	c |    338766 |   10687    42755   118478 | 2147483647   248393     84 |  0.009 % |
574.45/574.42	c |    340815 |   10687    42755   118478 | 2147483647   250442     83 |  0.009 % |
586.45/586.41	c |    343068 |   10687    42755   118478 | 2147483647   252695     83 |  0.009 % |
593.35/593.31	c |    345547 |   10687    42755   118478 | 2147483647   255174     84 |  0.009 % |
597.85/597.84	c |    348272 |   10687    42755   118478 | 2147483647   257899     84 |  0.009 % |
613.35/613.40	c |    351269 |   10687    42755   118478 |   259627   260896     84 |  0.009 % |
630.75/630.72	c |    354568 |   10687    42755   118478 |   259627   220683     80 |  0.009 % |
630.95/630.97	c |    354671 |   10687    42755   118478 |   259627   220786     80 |  0.009 % |
631.45/631.42	c |    354784 |   10687    42755   118478 |   259627   220899     80 |  0.009 % |
632.15/632.11	c |    354905 |   10687    42755   118478 |   259627   221020     80 |  0.009 % |
632.15/632.17	c |    355040 |   10687    42755   118478 |   259627   221155     80 |  0.009 % |
632.35/632.38	c |    355186 |   10687    42755   118478 |   259627   221301     80 |  0.009 % |
632.85/632.84	c |    355347 |   10687    42755   118478 |   259627   221462     80 |  0.009 % |
633.25/633.23	c |    355525 |   10687    42755   118478 |   259627   221640     80 |  0.009 % |
633.55/633.58	c |    355718 |   10687    42755   118478 |   259627   221833     80 |  0.009 % |
634.05/634.10	c |    355930 |   10687    42755   118478 |   259627   222045     80 |  0.009 % |
634.75/634.81	c |    356164 |   10687    42755   118478 |   259627   222279     80 |  0.009 % |
635.05/635.10	c |    356420 |   10687    42755   118478 |   259627   222535     80 |  0.009 % |
635.86/635.87	c |    356703 |   10687    42755   118478 |   259627   222818     80 |  0.009 % |
636.25/636.22	c |    357014 |   10687    42755   118478 |   259627   223129     80 |  0.009 % |
636.65/636.67	c |    357353 |   10687    42755   118478 |   259627   223468     80 |  0.009 % |
637.25/637.24	c |    357726 |   10687    42755   118478 |   259627   223841     80 |  0.009 % |
638.06/638.03	c |    358135 |   10687    42755   118478 |   259627   224250     80 |  0.009 % |
638.95/638.94	c |    358585 |   10687    42755   118478 |   259627   224700     80 |  0.009 % |
640.15/640.19	c |    359078 |   10687    42755   118478 |   259627   225193     80 |  0.009 % |
640.95/640.99	c |    359625 |   10687    42755   118478 |   259627   225740     80 |  0.009 % |
641.95/641.92	c |    360221 |   10687    42755   118478 |   226116   226336     80 |  0.009 % |
643.05/643.04	c |    360876 |   10687    42755   118478 |   226116   201264     76 |  0.009 % |
644.85/644.84	c |    361596 |   10687    42755   118478 |   226116   201984     76 |  0.009 % |
646.25/646.23	c |    362388 |   10687    42755   118478 |   226116   202776     77 |  0.009 % |
647.96/647.96	c |    363259 |   10687    42755   118478 |   226116   203647     77 |  0.009 % |
650.16/650.18	c |    364217 |   10687    42755   118478 |   226116   204605     77 |  0.009 % |
654.56/654.56	c |    365271 |   10687    42755   118478 |   226116   205659     77 |  0.009 % |
656.95/656.98	c |    366430 |   10687    42755   118478 |   226116   206818     77 |  0.009 % |
660.75/660.78	c |    367704 |   10687    42755   118478 |   226116   208092     77 |  0.009 % |
666.95/666.91	c |    369105 |   10687    42755   118478 |   226116   209493     78 |  0.009 % |
670.15/670.12	c |    370645 |   10687    42755   118478 | 2147483647   211033     78 |  0.009 % |
678.45/678.48	c |    372340 |   10687    42755   118478 | 2147483647   212728     78 |  0.009 % |
681.25/681.25	c |    374204 |   10687    42755   118478 | 2147483647   214592     78 |  0.009 % |
692.26/692.27	c |    376253 |   10687    42755   118478 | 2147483647   216641     79 |  0.009 % |
696.16/696.19	c |    378506 |   10687    42755   118478 | 2147483647   218894     78 |  0.009 % |
700.76/700.80	c |    380987 |   10687    42755   118478 | 2147483647   221375     79 |  0.009 % |
709.26/709.24	c |    383712 |   10687    42755   118478 | 2147483647   224100     80 |  0.009 % |
716.06/716.03	c |    386709 |   10687    42755   118478 | 2147483647   227097     80 |  0.009 % |
729.56/729.60	c |    390005 |   10687    42755   118478 | 2147483647   230393     81 |  0.009 % |
736.47/736.45	c |    393631 |   10687    42755   118478 | 2147483647   234019     82 |  0.009 % |
736.67/736.64	c |    393731 |   10687    42755   118478 | 2147483647   234119     81 |  0.009 % |
736.77/736.73	c |    393841 |   10687    42755   118478 | 2147483647   234229     81 |  0.009 % |
736.77/736.79	c |    393962 |   10687    42755   118478 | 2147483647   234350     81 |  0.009 % |
737.27/737.26	c |    394096 |   10687    42755   118478 | 2147483647   234484     81 |  0.009 % |
737.87/737.90	c |    394242 |   10687    42755   118478 | 2147483647   234630     81 |  0.009 % |
738.17/738.14	c |    394404 |   10687    42755   118478 | 2147483647   234792     81 |  0.010 % |
738.47/738.47	c |    394580 |   10687    42755   118478 | 2147483647   234968     81 |  0.009 % |
738.67/738.71	c |    394773 |   10687    42755   118478 | 2147483647   235161     81 |  0.009 % |
739.27/739.23	c |    394985 |   10687    42755   118478 | 2147483647   235373     82 |  0.009 % |
740.07/740.04	c |    395220 |   10687    42755   118478 | 2147483647   235608     82 |  0.009 % |
740.37/740.38	c |    395476 |   10687    42755   118478 | 2147483647   235864     82 |  0.009 % |
740.97/741.00	c |    395758 |   10687    42755   118478 | 2147483647   236146     82 |  0.009 % |
741.77/741.75	c |    396069 |   10687    42755   118478 | 2147483647   236457     82 |  0.009 % |
742.37/742.37	c |    396409 |   10687    42755   118478 | 2147483647   236797     82 |  0.009 % |
743.47/743.47	c |    396781 |   10687    42755   118478 | 2147483647   237169     82 |  0.009 % |
744.37/744.36	c |    397190 |   10687    42755   118478 | 2147483647   237578     82 |  0.009 % |
745.57/745.56	c |    397640 |   10687    42755   118478 | 2147483647   238028     81 |  0.009 % |
746.37/746.38	c |    398133 |   10687    42755   118478 | 2147483647   238521     81 |  0.009 % |
749.37/749.34	c |    398675 |   10687    42755   118478 | 2147483647   239063     82 |  0.009 % |
751.87/751.85	c |    399271 |   10687    42755   118478 | 2147483647   239659     81 |  0.009 % |
753.47/753.49	c |    399927 |   10687    42755   118478 | 2147483647   240315     81 |  0.009 % |
755.37/755.34	c |    400647 |   10687    42755   118478 | 2147483647   241035     81 |  0.009 % |
757.47/757.46	c |    401441 |   10687    42755   118478 | 2147483647   241829     81 |  0.009 % |
759.47/759.49	c |    402313 |   10687    42755   118478 | 2147483647   242701     81 |  0.009 % |
760.97/760.98	c |    403271 |   10687    42755   118478 | 2147483647   243659     81 |  0.009 % |
766.47/766.47	c |    404324 |   10687    42755   118478 | 2147483647   244712     81 |  0.009 % |
771.77/771.78	c |    405483 |   10687    42755   118478 | 2147483647   245871     82 |  0.009 % |
773.17/773.18	c |    406757 |   10687    42755   118478 | 2147483647   247145     82 |  0.009 % |
778.67/778.67	c |    408158 |   10687    42755   118478 | 2147483647   248546     82 |  0.009 % |
781.27/781.31	c |    409698 |   10687    42755   118478 | 2147483647   250086     82 |  0.009 % |
787.17/787.12	c |    411393 |   10687    42755   118478 | 2147483647   251781     82 |  0.009 % |
790.86/790.89	c |    413258 |   10687    42755   118478 | 2147483647   253646     82 |  0.009 % |
796.17/796.21	c |    415308 |   10687    42755   118478 | 2147483647   255696     82 |  0.009 % |
801.47/801.50	c |    417561 |   10687    42755   118478 | 2147483647   257949     81 |  0.009 % |
805.87/805.87	c |    420039 |   10687    42755   118478 | 2147483647   260427     82 |  0.009 % |
809.57/809.56	c |    422764 |   10687    42755   118478 | 2147483647   263152     82 |  0.009 % |
813.07/813.02	c |    425761 |   10687    42755   118478 | 2147483647   266149     82 |  0.009 % |
818.77/818.75	c |    429058 |   10687    42755   118478 | 2147483647   269446     82 |  0.009 % |
821.97/822.00	c |    432685 |   10687    42755   118478 |   270389   273073     82 |  0.009 % |
829.97/829.99	c |    436672 |   10687    42755   118478 |   270389   231626     78 |  0.009 % |
830.27/830.21	c |    436773 |   10687    42755   118478 |   270389   231727     78 |  0.009 % |
830.57/830.51	c |    436883 |   10687    42755   118478 |   270389   231837     78 |  0.009 % |
830.67/830.64	c |    437004 |   10687    42755   118478 |   270389   231958     78 |  0.009 % |
830.77/830.78	c |    437137 |   10687    42755   118478 |   270389   232091     78 |  0.009 % |
830.97/830.98	c |    437283 |   10687    42755   118478 |   270389   232237     78 |  0.009 % |
831.17/831.13	c |    437443 |   10687    42755   118478 |   270389   232397     78 |  0.009 % |
831.67/831.63	c |    437620 |   10687    42755   118478 |   270389   232574     78 |  0.009 % |
832.57/832.56	c |    437813 |   10687    42755   118478 |   270389   232767     78 |  0.009 % |
832.87/832.91	c |    438026 |   10687    42755   118478 |   270389   232980     78 |  0.009 % |
833.07/833.07	c |    438259 |   10687    42755   118478 |   270389   233213     78 |  0.009 % |
833.87/833.82	c |    438516 |   10687    42755   118478 |   270389   233470     78 |  0.009 % |
834.37/834.31	c |    438798 |   10687    42755   118478 |   270389   233752     78 |  0.009 % |
836.17/836.13	c |    439108 |   10687    42755   118478 |   270389   234062     78 |  0.009 % |
836.87/836.83	c |    439447 |   10687    42755   118478 |   270389   234401     78 |  0.009 % |
838.37/838.41	c |    439822 |   10687    42755   118478 |   270389   234776     78 |  0.009 % |
839.57/839.56	c |    440232 |   10687    42755   118478 |   234954   235186     78 |  0.009 % |
840.97/840.94	c |    440681 |   10687    42755   118478 |   234954   210814     74 |  0.009 % |
841.67/841.65	c |    441176 |   10687    42755   118478 |   234954   211309     74 |  0.009 % |
842.67/842.69	c |    441718 |   10687    42755   118478 |   234954   211851     74 |  0.009 % |
844.27/844.30	c |    442315 |   10687    42755   118478 |   234954   212448     74 |  0.009 % |
844.97/844.97	c |    442970 |   10687    42755   118478 |   234954   213103     74 |  0.009 % |
845.97/845.99	c |    443691 |   10687    42755   118478 |   234954   213824     74 |  0.009 % |
846.77/846.71	c |    444483 |   10687    42755   118478 |   234954   214616     74 |  0.009 % |
849.97/850.00	c |    445354 |   10687    42755   118478 |   234954   215487     74 |  0.009 % |
851.37/851.35	c |    446312 |   10687    42755   118478 |   234954   216445     74 |  0.009 % |
855.07/855.11	c |    447365 |   10687    42755   118478 |   234954   217498     74 |  0.009 % |
856.37/856.39	c |    448524 |   10687    42755   118478 |   234954   218657     74 |  0.009 % |
857.67/857.65	c |    449799 |   10687    42755   118478 |   234954   219932     75 |  0.009 % |
860.17/860.16	c |    451201 |   10687    42755   118478 | 2147483647   221334     74 |  0.009 % |
862.97/862.92	c |    452742 |   10687    42755   118478 | 2147483647   222875     74 |  0.009 % |
866.77/866.80	c |    454436 |   10687    42755   118478 | 2147483647   224569     75 |  0.009 % |
877.07/877.09	c |    456300 |   10687    42755   118478 | 2147483647   226433     75 |  0.009 % |
880.57/880.51	c |    458349 |   10687    42755   118478 | 2147483647   228482     75 |  0.009 % |
891.47/891.49	c |    460602 |   10687    42755   118478 | 2147483647   230735     75 |  0.009 % |
899.97/899.91	c |    463080 |   10687    42755   118478 | 2147483647   233213     75 |  0.009 % |
902.77/902.75	c |    465807 |   10687    42755   118478 | 2147483647   235940     76 |  0.010 % |
907.18/907.16	c |    468804 |   10687    42755   118478 | 2147483647   238937     77 |  0.009 % |
915.18/915.17	c |    472102 |   10687    42755   118478 | 2147483647   242235     77 |  0.009 % |
930.18/930.12	c |    475728 |   10687    42755   118478 | 2147483647   245861     78 |  0.009 % |
937.58/937.58	c |    479715 |   10687    42755   118478 | 2147483647   249848     78 |  0.009 % |
954.38/954.36	c |    484102 |   10687    42755   118478 | 2147483647   254235     79 |  0.009 % |
954.38/954.41	c |    484203 |   10687    42755   118478 | 2147483647   254336     79 |  0.009 % |
954.78/954.76	c |    484314 |   10687    42755   118478 | 2147483647   254447     79 |  0.009 % |
954.88/954.86	c |    484436 |   10687    42755   118478 | 2147483647   254569     78 |  0.009 % |
955.08/955.02	c |    484570 |   10687    42755   118478 | 2147483647   254703     78 |  0.009 % |
955.18/955.19	c |    484716 |   10687    42755   118478 | 2147483647   254849     78 |  0.011 % |
955.88/955.89	c |    484877 |   10687    42755   118478 | 2147483647   255010     78 |  0.009 % |
956.18/956.20	c |    485055 |   10687    42755   118478 | 2147483647   255188     78 |  0.009 % |
956.58/956.55	c |    485248 |   10687    42755   118478 | 2147483647   255381     78 |  0.009 % |
956.88/956.87	c |    485461 |   10687    42755   118478 | 2147483647   255594     78 |  0.009 % |
957.18/957.12	c |    485694 |   10687    42755   118478 | 2147483647   255827     78 |  0.009 % |
957.98/957.92	c |    485950 |   10687    42755   118478 | 2147483647   256083     78 |  0.009 % |
958.18/958.19	c |    486233 |   10687    42755   118478 | 2147483647   256366     78 |  0.009 % |
959.18/959.14	c |    486543 |   10687    42755   118478 | 2147483647   256676     78 |  0.009 % |
959.38/959.40	c |    486882 |   10687    42755   118478 | 2147483647   257015     78 |  0.009 % |
961.08/961.04	c |    487256 |   10687    42755   118478 | 2147483647   257389     78 |  0.009 % |
961.68/961.66	c |    487666 |   10687    42755   118478 | 2147483647   257799     78 |  0.009 % |
963.58/963.55	c |    488115 |   10687    42755   118478 | 2147483647   258248     78 |  0.009 % |
964.28/964.29	c |    488609 |   10687    42755   118478 | 2147483647   258742     78 |  0.009 % |
967.58/967.51	c |    489151 |   10687    42755   118478 | 2147483647   259284     79 |  0.009 % |
968.08/968.07	c |    489750 |   10687    42755   118478 | 2147483647   259883     79 |  0.009 % |
969.28/969.31	c |    490405 |   10687    42755   118478 | 2147483647   260538     78 |  0.009 % |
971.68/971.66	c |    491126 |   10687    42755   118478 | 2147483647   261259     78 |  0.009 % |
976.48/976.48	c |    491918 |   10687    42755   118478 | 2147483647   262051     79 |  0.009 % |
977.88/977.84	c |    492789 |   10687    42755   118478 | 2147483647   262922     79 |  0.009 % |
983.28/983.26	c |    493747 |   10687    42755   118478 | 2147483647   263880     79 |  0.009 % |
986.18/986.14	c |    494800 |   10687    42755   118478 | 2147483647   264933     79 |  0.009 % |
992.38/992.32	c |    495958 |   10687    42755   118478 | 2147483647   266091     79 |  0.009 % |
994.38/994.38	c |    497231 |   10687    42755   118478 | 2147483647   267364     79 |  0.009 % |
997.28/997.21	c |    498636 |   10687    42755   118478 | 2147483647   268769     79 |  0.009 % |
1000.38/1000.31	c |    500179 |   10687    42755   118478 | 2147483647   270312     79 |  0.009 % |
1006.59/1006.53	c |    501874 |   10687    42755   118478 | 2147483647   272007     79 |  0.009 % |
1011.18/1011.16	c |    503738 |   10687    42755   118478 | 2147483647   273871     79 |  0.009 % |
1016.39/1016.35	c |    505787 |   10687    42755   118478 | 2147483647   275920     79 |  0.009 % |
1022.59/1022.57	c |    508041 |   10687    42755   118478 | 2147483647   278174     79 |  0.009 % |
1025.99/1026.01	c |    510520 |   10687    42755   118478 |   280133   280653     79 |  0.009 % |
1030.29/1030.31	c |    513245 |   10687    42755   118478 |   280133   239685     75 |  0.009 % |
1035.09/1035.02	c |    516242 |   10687    42755   118478 |   280133   242682     75 |  0.009 % |
1044.49/1044.44	c |    519538 |   10687    42755   118478 |   280133   245978     75 |  0.009 % |
1049.69/1049.67	c |    523163 |   10687    42755   118478 |   246443   249603     76 |  0.009 % |
1056.19/1056.17	c |    527153 |   10687    42755   118478 |   246443   208812     72 |  0.009 % |
1064.79/1064.73	c |    531538 |   10687    42755   118478 |   211660   213197     73 |  0.009 % |
1069.29/1069.25	c |    536362 |   10687    42755   118478 |   211660   191865     68 |  0.009 % |
1069.39/1069.38	c |    536462 |   10687    42755   118478 |   211660   191965     68 |  0.009 % |
1069.69/1069.65	c |    536573 |   10687    42755   118478 |   211660   192076     68 |  0.009 % |
1069.99/1069.95	c |    536694 |   10687    42755   118478 |   211660   192197     69 |  0.009 % |
1070.09/1070.09	c |    536827 |   10687    42755   118478 |   211660   192330     69 |  0.009 % |
1070.29/1070.30	c |    536974 |   10687    42755   118478 |   211660   192477     69 |  0.009 % |
1070.49/1070.50	c |    537134 |   10687    42755   118478 |   211660   192637     69 |  0.009 % |
1070.89/1070.87	c |    537312 |   10687    42755   118478 |   211660   192815     69 |  0.009 % |
1071.49/1071.51	c |    537505 |   10687    42755   118478 |   211660   193008     69 |  0.009 % |
1071.89/1071.87	c |    537717 |   10687    42755   118478 |   211660   193220     69 |  0.009 % |
1072.39/1072.37	c |    537950 |   10687    42755   118478 |   211660   193453     69 |  0.009 % |
1072.59/1072.60	c |    538206 |   10687    42755   118478 |   211660   193709     69 |  0.009 % |
1073.09/1073.02	c |    538487 |   10687    42755   118478 |   211660   193990     69 |  0.009 % |
1073.59/1073.54	c |    538797 |   10687    42755   118478 |   211660   194300     69 |  0.009 % |
1074.99/1074.97	c |    539136 |   10687    42755   118478 |   211660   194639     69 |  0.009 % |
1075.49/1075.50	c |    539508 |   10687    42755   118478 |   211660   195011     69 |  0.009 % |
1075.69/1075.71	c |    539917 |   10687    42755   118478 |   211660   195420     69 |  0.009 % |
1079.19/1079.18	c |    540367 |   10687    42755   118478 | 2147483647   195870     69 |  0.009 % |
1079.89/1079.81	c |    540860 |   10687    42755   118478 | 2147483647   196363     69 |  0.009 % |
1080.79/1080.80	c |    541405 |   10687    42755   118478 | 2147483647   196908     69 |  0.009 % |
1081.39/1081.38	c |    542002 |   10687    42755   118478 | 2147483647   197505     69 |  0.009 % |
1083.19/1083.19	c |    542657 |   10687    42755   118478 | 2147483647   198160     69 |  0.009 % |
1085.49/1085.44	c |    543377 |   10687    42755   118478 | 2147483647   198880     69 |  0.009 % |
1090.39/1090.33	c |    544170 |   10687    42755   118478 | 2147483647   199673     69 |  0.009 % |
1091.49/1091.43	c |    545043 |   10687    42755   118478 | 2147483647   200546     69 |  0.009 % |
1092.40/1092.39	c |    546001 |   10687    42755   118478 | 2147483647   201504     69 |  0.009 % |
1093.59/1093.54	c |    547054 |   10687    42755   118478 | 2147483647   202557     69 |  0.009 % |
1096.39/1096.37	c |    548213 |   10687    42755   118478 | 2147483647   203716     69 |  0.009 % |
1100.89/1100.81	c |    549486 |   10687    42755   118478 | 2147483647   204989     70 |  0.009 % |
1102.49/1102.46	c |    550886 |   10687    42755   118478 | 2147483647   206389     70 |  0.009 % |
1104.59/1104.59	c |    552427 |   10687    42755   118478 | 2147483647   207930     70 |  0.009 % |
1107.69/1107.71	c |    554123 |   10687    42755   118478 | 2147483647   209626     70 |  0.009 % |
1112.99/1112.97	c |    555987 |   10687    42755   118478 | 2147483647   211490     70 |  0.009 % |
1115.59/1115.52	c |    558037 |   10687    42755   118478 | 2147483647   213540     69 |  0.009 % |
1117.49/1117.45	c |    560290 |   10687    42755   118478 | 2147483647   215793     70 |  0.010 % |
1120.19/1120.14	c |    562768 |   10687    42755   118478 | 2147483647   218271     70 |  0.009 % |
1132.80/1132.77	c |    565493 |   10687    42755   118478 | 2147483647   220996     71 |  0.009 % |
1140.40/1140.41	c |    568490 |   10687    42755   118478 | 2147483647   223993     71 |  0.009 % |
1149.89/1149.81	c |    571787 |   10687    42755   118478 | 2147483647   227290     71 |  0.009 % |
1154.89/1154.83	c |    575414 |   10687    42755   118478 | 2147483647   230917     71 |  0.009 % |
1180.59/1180.58	c |    579404 |   10687    42755   118478 | 2147483647   234907     72 |  0.009 % |
1189.19/1189.11	c |    583790 |   10687    42755   118478 | 2147483647   239293     71 |  0.009 % |
1200.09/1200.02	HOME/SatELiteGTI: line 36: 12105 Terminated              $MS $TMP.cnf $TMP.result

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-1820962-1242492167/watcher-1820962-1242492167 -o /tmp/evaluation-result-1820962-1242492167/solver-1820962-1242492167 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820962-1242492167.cnf 

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


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 2/93 12099
/proc/meminfo: memFree=1467188/2074464 swapFree=1948616/1959888
[pid=12099] ppid=12097 vsize=2412 CPUtime=0.01
/proc/12099/stat : 12099 (SatELiteGTI) S 12097 12099 10436 0 -1 4194304 368 648 0 0 1 0 0 0 18 0 1 0 1013717250 2469888 277 4294967295 134512640 135169312 3215220112 3215218648 3085537006 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/12099/statm: 603 277 235 161 0 42 0
[pid=12103] ppid=12099 vsize=952 CPUtime=0
/proc/12103/stat : 12103 (SatELite_releas) R 12099 12099 10436 0 -1 4202496 124 0 0 0 0 0 0 0 20 0 1 0 1013717251 974848 60 4294967295 134512640 135223648 3215422896 3215421852 134563184 0 0 0 3 0 0 0 17 2 0 0 0
/proc/12103/statm: 238 60 46 174 0 63 0

[startup+0.024244 s]
/proc/loadavg: 0.92 0.98 0.99 2/93 12099
/proc/meminfo: memFree=1467188/2074464 swapFree=1948616/1959888
[pid=12099] ppid=12097 vsize=2412 CPUtime=0.01
/proc/12099/stat : 12099 (SatELiteGTI) S 12097 12099 10436 0 -1 4194304 368 648 0 0 1 0 0 0 18 0 1 0 1013717250 2469888 277 4294967295 134512640 135169312 3215220112 3215218648 3085537006 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/12099/statm: 603 277 235 161 0 42 0
[pid=12103] ppid=12099 vsize=4456 CPUtime=0.02
/proc/12103/stat : 12103 (SatELite_releas) R 12099 12099 10436 0 -1 4202496 877 0 0 0 2 0 0 0 20 0 1 0 1013717251 4562944 813 4294967295 134512640 135223648 3215422896 3215421464 134719062 0 0 0 3 0 0 0 17 2 0 0 0
/proc/12103/statm: 1114 814 46 174 0 939 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 6868

[startup+0.114237 s]
/proc/loadavg: 0.92 0.98 0.99 2/93 12099
/proc/meminfo: memFree=1467188/2074464 swapFree=1948616/1959888
[pid=12099] ppid=12097 vsize=2412 CPUtime=0.01
/proc/12099/stat : 12099 (SatELiteGTI) S 12097 12099 10436 0 -1 4194304 368 648 0 0 1 0 0 0 18 0 1 0 1013717250 2469888 277 4294967295 134512640 135169312 3215220112 3215218648 3085537006 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/12099/statm: 603 277 235 161 0 42 0
[pid=12103] ppid=12099 vsize=11296 CPUtime=0.11
/proc/12103/stat : 12103 (SatELite_releas) R 12099 12099 10436 0 -1 4202496 2540 0 0 0 11 0 0 0 21 0 1 0 1013717251 11567104 2329 4294967295 134512640 135223648 3215422896 3215420912 134587350 0 0 0 3 0 0 0 17 2 0 0 0
/proc/12103/statm: 2824 2329 73 174 0 2649 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 13708

[startup+0.314224 s]
/proc/loadavg: 0.92 0.98 0.99 2/93 12099
/proc/meminfo: memFree=1467188/2074464 swapFree=1948616/1959888
[pid=12099] ppid=12097 vsize=2412 CPUtime=0.01
/proc/12099/stat : 12099 (SatELiteGTI) S 12097 12099 10436 0 -1 4194304 368 648 0 0 1 0 0 0 18 0 1 0 1013717250 2469888 277 4294967295 134512640 135169312 3215220112 3215218648 3085537006 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/12099/statm: 603 277 235 161 0 42 0
[pid=12103] ppid=12099 vsize=11696 CPUtime=0.31
/proc/12103/stat : 12103 (SatELite_releas) R 12099 12099 10436 0 -1 4202496 2715 0 0 0 31 0 0 0 21 0 1 0 1013717251 11976704 2450 4294967295 134512640 135223648 3215422896 3215419516 134737406 0 0 0 3 0 0 0 17 2 0 0 0
/proc/12103/statm: 2924 2450 74 174 0 2749 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 14108

[startup+0.71418 s]
/proc/loadavg: 0.92 0.98 0.99 2/93 12099
/proc/meminfo: memFree=1467188/2074464 swapFree=1948616/1959888
[pid=12099] ppid=12097 vsize=2416 CPUtime=0.35
/proc/12099/stat : 12099 (SatELiteGTI) S 12097 12099 10436 0 -1 4194304 388 3365 0 0 1 0 34 0 16 0 1 0 1013717250 2473984 278 4294967295 134512640 135169312 3215220112 3215216328 3085537006 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12099/statm: 604 278 235 161 0 43 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 2416

[startup+1.51411 s]
/proc/loadavg: 0.92 0.98 0.99 2/95 12105
/proc/meminfo: memFree=1461444/2074464 swapFree=1948616/1959888
[pid=12099] ppid=12097 vsize=2416 CPUtime=0.35
/proc/12099/stat : 12099 (SatELiteGTI) S 12097 12099 10436 0 -1 4194304 388 3365 0 0 1 0 34 0 16 0 1 0 1013717250 2473984 278 4294967295 134512640 135169312 3215220112 3215216328 3085537006 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12099/statm: 604 278 235 161 0 43 0
[pid=12105] ppid=12099 vsize=5980 CPUtime=1.17
/proc/12105/stat : 12105 (minisat_static) R 12099 12099 10436 0 -1 4202496 1321 0 0 0 116 1 0 0 20 0 1 0 1013717286 6123520 1255 4294967295 134512640 135215339 3219255744 3219253840 134527384 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12105/statm: 1495 1255 73 172 0 1322 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 8396

[startup+3.11398 s]
/proc/loadavg: 0.92 0.98 0.99 2/95 12105
/proc/meminfo: memFree=1460080/2074464 swapFree=1948616/1959888
[pid=12099] ppid=12097 vsize=2416 CPUtime=0.35
/proc/12099/stat : 12099 (SatELiteGTI) S 12097 12099 10436 0 -1 4194304 388 3365 0 0 1 0 34 0 16 0 1 0 1013717250 2473984 278 4294967295 134512640 135169312 3215220112 3215216328 3085537006 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12099/statm: 604 278 235 161 0 43 0
[pid=12105] ppid=12099 vsize=7828 CPUtime=2.77
/proc/12105/stat : 12105 (minisat_static) R 12099 12099 10436 0 -1 4202496 1787 0 0 0 276 1 0 0 25 0 1 0 1013717286 8015872 1721 4294967295 134512640 135215339 3219255744 3219254032 134528630 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12105/statm: 1957 1721 73 172 0 1784 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 10244

[startup+6.31372 s]
/proc/loadavg: 0.93 0.98 0.99 3/95 12105
/proc/meminfo: memFree=1456524/2074464 swapFree=1948616/1959888
[pid=12099] ppid=12097 vsize=2416 CPUtime=0.35
/proc/12099/stat : 12099 (SatELiteGTI) S 12097 12099 10436 0 -1 4194304 388 3365 0 0 1 0 34 0 16 0 1 0 1013717250 2473984 278 4294967295 134512640 135169312 3215220112 3215216328 3085537006 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12099/statm: 604 278 235 161 0 43 0
[pid=12105] ppid=12099 vsize=10864 CPUtime=5.97
/proc/12105/stat : 12105 (minisat_static) R 12099 12099 10436 0 -1 4202496 2550 0 0 0 596 1 0 0 25 0 1 0 1013717286 11124736 2484 4294967295 134512640 135215339 3219255744 3219254032 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12105/statm: 2716 2484 73 172 0 2543 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 13280

[startup+12.7132 s]
/proc/loadavg: 0.93 0.98 0.99 2/95 12107
/proc/meminfo: memFree=1451552/2074464 swapFree=1948616/1959888
[pid=12099] ppid=12097 vsize=2416 CPUtime=0.35
/proc/12099/stat : 12099 (SatELiteGTI) S 12097 12099 10436 0 -1 4194304 388 3365 0 0 1 0 34 0 16 0 1 0 1013717250 2473984 278 4294967295 134512640 135169312 3215220112 3215216328 3085537006 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12099/statm: 604 278 235 161 0 43 0
[pid=12105] ppid=12099 vsize=15788 CPUtime=12.37
/proc/12105/stat : 12105 (minisat_static) R 12099 12099 10436 0 -1 4202496 3754 0 0 0 1235 2 0 0 25 0 1 0 1013717286 16166912 3688 4294967295 134512640 135215339 3219255744 3219254032 134528734 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12105/statm: 3947 3688 73 172 0 3774 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 18204

[startup+25.5221 s]
/proc/loadavg: 0.95 0.98 0.99 2/95 12107
/proc/meminfo: memFree=1443588/2074464 swapFree=1948616/1959888
[pid=12099] ppid=12097 vsize=2416 CPUtime=0.35
/proc/12099/stat : 12099 (SatELiteGTI) S 12097 12099 10436 0 -1 4194304 388 3365 0 0 1 0 34 0 16 0 1 0 1013717250 2473984 278 4294967295 134512640 135169312 3215220112 3215216328 3085537006 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12099/statm: 604 278 235 161 0 43 0
[pid=12105] ppid=12099 vsize=23788 CPUtime=25.18
/proc/12105/stat : 12105 (minisat_static) R 12099 12099 10436 0 -1 4202496 5752 0 0 0 2516 2 0 0 25 0 1 0 1013717286 24358912 5686 4294967295 134512640 135215339 3219255744 3219254032 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12105/statm: 5947 5686 73 172 0 5774 0
Current children cumulated CPU time (s) 25.53
Current children cumulated vsize (KiB) 26204

[startup+51.12 s]
/proc/loadavg: 0.96 0.98 0.99 3/95 12292
/proc/meminfo: memFree=1431044/2074464 swapFree=1948616/1959888
[pid=12099] ppid=12097 vsize=2416 CPUtime=0.35
/proc/12099/stat : 12099 (SatELiteGTI) S 12097 12099 10436 0 -1 4194304 388 3365 0 0 1 0 34 0 16 0 1 0 1013717250 2473984 278 4294967295 134512640 135169312 3215220112 3215216328 3085537006 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12099/statm: 604 278 235 161 0 43 0
[pid=12105] ppid=12099 vsize=35936 CPUtime=50.78
/proc/12105/stat : 12105 (minisat_static) R 12099 12099 10436 0 -1 4202496 8796 0 0 0 5074 4 0 0 25 0 1 0 1013717286 36798464 8730 4294967295 134512640 135215339 3219255744 3219254032 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12105/statm: 8984 8730 73 172 0 8811 0
Current children cumulated CPU time (s) 51.13
Current children cumulated vsize (KiB) 38352

[startup+102.316 s]
/proc/loadavg: 0.98 0.98 0.99 2/95 12479
/proc/meminfo: memFree=1409828/2074464 swapFree=1948616/1959888
[pid=12099] ppid=12097 vsize=2416 CPUtime=0.35
/proc/12099/stat : 12099 (SatELiteGTI) S 12097 12099 10436 0 -1 4194304 388 3365 0 0 1 0 34 0 16 0 1 0 1013717250 2473984 278 4294967295 134512640 135169312 3215220112 3215216328 3085537006 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12099/statm: 604 278 235 161 0 43 0
[pid=12105] ppid=12099 vsize=56864 CPUtime=101.98
/proc/12105/stat : 12105 (minisat_static) R 12099 12099 10436 0 -1 4202496 14037 0 0 0 10192 6 0 0 25 0 1 0 1013717286 58228736 13971 4294967295 134512640 135215339 3219255744 3219253808 134538574 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12105/statm: 14216 13971 73 172 0 14043 0
Current children cumulated CPU time (s) 102.33
Current children cumulated vsize (KiB) 59280

[startup+162.311 s]
/proc/loadavg: 0.99 0.98 0.99 2/95 12669
/proc/meminfo: memFree=1392980/2074464 swapFree=1948616/1959888
[pid=12099] ppid=12097 vsize=2416 CPUtime=0.35
/proc/12099/stat : 12099 (SatELiteGTI) S 12097 12099 10436 0 -1 4194304 388 3365 0 0 1 0 34 0 16 0 1 0 1013717250 2473984 278 4294967295 134512640 135169312 3215220112 3215216328 3085537006 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12099/statm: 604 278 235 161 0 43 0
[pid=12105] ppid=12099 vsize=73408 CPUtime=161.98
/proc/12105/stat : 12105 (minisat_static) R 12099 12099 10436 0 -1 4202496 18159 0 0 0 16185 13 0 0 25 0 1 0 1013717286 75169792 18093 4294967295 134512640 135215339 3219255744 3219253808 134537869 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12105/statm: 18352 18093 73 172 0 18179 0
Current children cumulated CPU time (s) 162.33
Current children cumulated vsize (KiB) 75824

[startup+222.306 s]
/proc/loadavg: 0.99 0.98 0.99 2/95 12857
/proc/meminfo: memFree=1378480/2074464 swapFree=1948616/1959888
[pid=12099] ppid=12097 vsize=2416 CPUtime=0.35
/proc/12099/stat : 12099 (SatELiteGTI) S 12097 12099 10436 0 -1 4194304 388 3365 0 0 1 0 34 0 16 0 1 0 1013717250 2473984 278 4294967295 134512640 135169312 3215220112 3215216328 3085537006 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12099/statm: 604 278 235 161 0 43 0
[pid=12105] ppid=12099 vsize=87992 CPUtime=221.98
/proc/12105/stat : 12105 (minisat_static) R 12099 12099 10436 0 -1 4202496 21739 0 0 0 22182 16 0 0 25 0 1 0 1013717286 90103808 21673 4294967295 134512640 135215339 3219255744 3219254032 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12105/statm: 21998 21673 73 172 0 21825 0
Current children cumulated CPU time (s) 222.33
Current children cumulated vsize (KiB) 90408

[startup+282.321 s]
/proc/loadavg: 0.99 0.98 0.99 3/95 13049
/proc/meminfo: memFree=1367816/2074464 swapFree=1948616/1959888
[pid=12099] ppid=12097 vsize=2416 CPUtime=0.35
/proc/12099/stat : 12099 (SatELiteGTI) S 12097 12099 10436 0 -1 4194304 388 3365 0 0 1 0 34 0 16 0 1 0 1013717250 2473984 278 4294967295 134512640 135169312 3215220112 3215216328 3085537006 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12099/statm: 604 278 235 161 0 43 0
[pid=12105] ppid=12099 vsize=98824 CPUtime=281.99
/proc/12105/stat : 12105 (minisat_static) R 12099 12099 10436 0 -1 4202496 24446 0 0 0 28183 16 0 0 25 0 1 0 1013717286 101195776 24380 4294967295 134512640 135215339 3219255744 3219254032 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/12105/statm: 24706 24380 73 172 0 24533 0
Current children cumulated CPU time (s) 282.34
Current children cumulated vsize (KiB) 101240

[startup+342.316 s]
/proc/loadavg: 0.99 0.98 0.99 4/95 13236
/proc/meminfo: memFree=1358716/2074464 swapFree=1948616/1959888
[pid=12099] ppid=12097 vsize=2416 CPUtime=0.35
/proc/12099/stat : 12099 (SatELiteGTI) S 12097 12099 10436 0 -1 4194304 388 3365 0 0 1 0 34 0 16 0 1 0 1013717250 2473984 278 4294967295 134512640 135169312 3215220112 3215216328 3085537006 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12099/statm: 604 278 235 161 0 43 0
[pid=12105] ppid=12099 vsize=107740 CPUtime=341.99
/proc/12105/stat : 12105 (minisat_static) R 12099 12099 10436 0 -1 4202496 26718 0 0 0 34180 19 0 0 25 0 1 0 1013717286 110325760 26652 4294967295 134512640 135215339 3219255744 3219254032 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/12105/statm: 26935 26652 73 172 0 26762 0
Current children cumulated CPU time (s) 342.34
Current children cumulated vsize (KiB) 110156

[startup+402.321 s]

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

/proc/12099/stat : 12099 (SatELiteGTI) S 12097 12099 10436 0 -1 4194304 388 3365 0 0 1 0 34 0 16 0 1 0 1013717250 2473984 278 4294967295 134512640 135169312 3215220112 3215216328 3085537006 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12099/statm: 604 278 235 161 0 43 0
[pid=12105] ppid=12099 vsize=112516 CPUtime=461.99
/proc/12105/stat : 12105 (minisat_static) R 12099 12099 10436 0 -1 4202496 27899 0 0 0 46179 20 0 0 25 0 1 0 1013717286 115216384 27833 4294967295 134512640 135215339 3219255744 3219253808 134538113 0 0 0 3 0 0 0 17 0 0 0 0
/proc/12105/statm: 28129 27833 73 172 0 27956 0
Current children cumulated CPU time (s) 462.34
Current children cumulated vsize (KiB) 114932

[startup+522.311 s]
/proc/loadavg: 0.99 0.98 0.99 3/95 13802
/proc/meminfo: memFree=1354012/2074464 swapFree=1948616/1959888
[pid=12099] ppid=12097 vsize=2416 CPUtime=0.35
/proc/12099/stat : 12099 (SatELiteGTI) S 12097 12099 10436 0 -1 4194304 388 3365 0 0 1 0 34 0 16 0 1 0 1013717250 2473984 278 4294967295 134512640 135169312 3215220112 3215216328 3085537006 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12099/statm: 604 278 235 161 0 43 0
[pid=12105] ppid=12099 vsize=112516 CPUtime=521.99
/proc/12105/stat : 12105 (minisat_static) R 12099 12099 10436 0 -1 4202496 27899 0 0 0 52179 20 0 0 25 0 1 0 1013717286 115216384 27833 4294967295 134512640 135215339 3219255744 3219254032 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/12105/statm: 28129 27833 73 172 0 27956 0
Current children cumulated CPU time (s) 522.34
Current children cumulated vsize (KiB) 114932

[startup+582.316 s]
/proc/loadavg: 1.11 1.01 1.00 2/95 13990
/proc/meminfo: memFree=1354128/2074464 swapFree=1948616/1959888
[pid=12099] ppid=12097 vsize=2416 CPUtime=0.35
/proc/12099/stat : 12099 (SatELiteGTI) S 12097 12099 10436 0 -1 4194304 388 3365 0 0 1 0 34 0 16 0 1 0 1013717250 2473984 278 4294967295 134512640 135169312 3215220112 3215216328 3085537006 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12099/statm: 604 278 235 161 0 43 0
[pid=12105] ppid=12099 vsize=112516 CPUtime=582
/proc/12105/stat : 12105 (minisat_static) R 12099 12099 10436 0 -1 4202496 27899 0 0 0 58180 20 0 0 25 0 1 0 1013717286 115216384 27833 4294967295 134512640 135215339 3219255744 3219254032 134528881 0 0 0 3 0 0 0 17 0 0 0 0
/proc/12105/statm: 28129 27833 73 172 0 27956 0
Current children cumulated CPU time (s) 582.35
Current children cumulated vsize (KiB) 114932

[startup+642.311 s]
/proc/loadavg: 1.04 1.01 1.00 2/95 14181
/proc/meminfo: memFree=1353896/2074464 swapFree=1948616/1959888
[pid=12099] ppid=12097 vsize=2416 CPUtime=0.35
/proc/12099/stat : 12099 (SatELiteGTI) S 12097 12099 10436 0 -1 4194304 388 3365 0 0 1 0 34 0 16 0 1 0 1013717250 2473984 278 4294967295 134512640 135169312 3215220112 3215216328 3085537006 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12099/statm: 604 278 235 161 0 43 0
[pid=12105] ppid=12099 vsize=112516 CPUtime=642
/proc/12105/stat : 12105 (minisat_static) R 12099 12099 10436 0 -1 4202496 27900 0 0 0 64180 20 0 0 25 0 1 0 1013717286 115216384 27834 4294967295 134512640 135215339 3219255744 3219254032 134528700 0 0 0 3 0 0 0 17 0 0 0 0
/proc/12105/statm: 28129 27834 73 172 0 27956 0
Current children cumulated CPU time (s) 642.35
Current children cumulated vsize (KiB) 114932

[startup+702.316 s]
/proc/loadavg: 1.01 1.00 1.00 3/95 14369
/proc/meminfo: memFree=1353880/2074464 swapFree=1948616/1959888
[pid=12099] ppid=12097 vsize=2416 CPUtime=0.35
/proc/12099/stat : 12099 (SatELiteGTI) S 12097 12099 10436 0 -1 4194304 388 3365 0 0 1 0 34 0 16 0 1 0 1013717250 2473984 278 4294967295 134512640 135169312 3215220112 3215216328 3085537006 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12099/statm: 604 278 235 161 0 43 0
[pid=12105] ppid=12099 vsize=112516 CPUtime=702.01
/proc/12105/stat : 12105 (minisat_static) R 12099 12099 10436 0 -1 4202496 27900 0 0 0 70181 20 0 0 25 0 1 0 1013717286 115216384 27834 4294967295 134512640 135215339 3219255744 3219253744 134532976 0 0 0 3 0 0 0 17 0 0 0 0
/proc/12105/statm: 28129 27834 73 172 0 27956 0
Current children cumulated CPU time (s) 702.36
Current children cumulated vsize (KiB) 114932

[startup+762.331 s]
/proc/loadavg: 1.00 1.00 1.00 4/95 14558
/proc/meminfo: memFree=1353788/2074464 swapFree=1948616/1959888
[pid=12099] ppid=12097 vsize=2416 CPUtime=0.35
/proc/12099/stat : 12099 (SatELiteGTI) S 12097 12099 10436 0 -1 4194304 388 3365 0 0 1 0 34 0 16 0 1 0 1013717250 2473984 278 4294967295 134512640 135169312 3215220112 3215216328 3085537006 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12099/statm: 604 278 235 161 0 43 0
[pid=12105] ppid=12099 vsize=112516 CPUtime=762.03
/proc/12105/stat : 12105 (minisat_static) R 12099 12099 10436 0 -1 4202496 27901 0 0 0 76183 20 0 0 25 0 1 0 1013717286 115216384 27835 4294967295 134512640 135215339 3219255744 3219254032 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/12105/statm: 28129 27835 73 172 0 27956 0
Current children cumulated CPU time (s) 762.38
Current children cumulated vsize (KiB) 114932

[startup+822.317 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 14745
/proc/meminfo: memFree=1353632/2074464 swapFree=1948616/1959888
[pid=12099] ppid=12097 vsize=2416 CPUtime=0.35
/proc/12099/stat : 12099 (SatELiteGTI) S 12097 12099 10436 0 -1 4194304 388 3365 0 0 1 0 34 0 16 0 1 0 1013717250 2473984 278 4294967295 134512640 135169312 3215220112 3215216328 3085537006 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12099/statm: 604 278 235 161 0 43 0
[pid=12105] ppid=12099 vsize=112516 CPUtime=822.02
/proc/12105/stat : 12105 (minisat_static) R 12099 12099 10436 0 -1 4202496 27904 0 0 0 82182 20 0 0 25 0 1 0 1013717286 115216384 27838 4294967295 134512640 135215339 3219255744 3219253952 134534547 0 0 0 3 0 0 0 17 2 0 0 0
/proc/12105/statm: 28129 27838 73 172 0 27956 0
Current children cumulated CPU time (s) 822.37
Current children cumulated vsize (KiB) 114932

[startup+882.312 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 14933
/proc/meminfo: memFree=1353648/2074464 swapFree=1948616/1959888
[pid=12099] ppid=12097 vsize=2416 CPUtime=0.35
/proc/12099/stat : 12099 (SatELiteGTI) S 12097 12099 10436 0 -1 4194304 388 3365 0 0 1 0 34 0 16 0 1 0 1013717250 2473984 278 4294967295 134512640 135169312 3215220112 3215216328 3085537006 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12099/statm: 604 278 235 161 0 43 0
[pid=12105] ppid=12099 vsize=112516 CPUtime=882.02
/proc/12105/stat : 12105 (minisat_static) R 12099 12099 10436 0 -1 4202496 27904 0 0 0 88182 20 0 0 25 0 1 0 1013717286 115216384 27838 4294967295 134512640 135215339 3219255744 3219254032 134528666 0 0 0 3 0 0 0 17 2 0 0 0
/proc/12105/statm: 28129 27838 73 172 0 27956 0
Current children cumulated CPU time (s) 882.37
Current children cumulated vsize (KiB) 114932

[startup+942.317 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 14984
/proc/meminfo: memFree=1353492/2074464 swapFree=1948616/1959888
[pid=12099] ppid=12097 vsize=2416 CPUtime=0.35
/proc/12099/stat : 12099 (SatELiteGTI) S 12097 12099 10436 0 -1 4194304 388 3365 0 0 1 0 34 0 16 0 1 0 1013717250 2473984 278 4294967295 134512640 135169312 3215220112 3215216328 3085537006 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12099/statm: 604 278 235 161 0 43 0
[pid=12105] ppid=12099 vsize=112516 CPUtime=942.03
/proc/12105/stat : 12105 (minisat_static) R 12099 12099 10436 0 -1 4202496 27904 0 0 0 94183 20 0 0 25 0 1 0 1013717286 115216384 27838 4294967295 134512640 135215339 3219255744 3219254032 134528742 0 0 0 3 0 0 0 17 2 0 0 0
/proc/12105/statm: 28129 27838 73 172 0 27956 0
Current children cumulated CPU time (s) 942.38
Current children cumulated vsize (KiB) 114932

[startup+1002.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 15312
/proc/meminfo: memFree=1353540/2074464 swapFree=1948616/1959888
[pid=12099] ppid=12097 vsize=2416 CPUtime=0.35
/proc/12099/stat : 12099 (SatELiteGTI) S 12097 12099 10436 0 -1 4194304 388 3365 0 0 1 0 34 0 16 0 1 0 1013717250 2473984 278 4294967295 134512640 135169312 3215220112 3215216328 3085537006 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12099/statm: 604 278 235 161 0 43 0
[pid=12105] ppid=12099 vsize=112516 CPUtime=1002.03
/proc/12105/stat : 12105 (minisat_static) R 12099 12099 10436 0 -1 4202496 27905 0 0 0 100183 20 0 0 25 0 1 0 1013717286 115216384 27839 4294967295 134512640 135215339 3219255744 3219254032 134528691 0 0 0 3 0 0 0 17 2 0 0 0
/proc/12105/statm: 28129 27839 73 172 0 27956 0
Current children cumulated CPU time (s) 1002.38
Current children cumulated vsize (KiB) 114932

[startup+1062.32 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 15316
/proc/meminfo: memFree=1353820/2074464 swapFree=1948616/1959888
[pid=12099] ppid=12097 vsize=2416 CPUtime=0.35
/proc/12099/stat : 12099 (SatELiteGTI) S 12097 12099 10436 0 -1 4194304 388 3365 0 0 1 0 34 0 16 0 1 0 1013717250 2473984 278 4294967295 134512640 135169312 3215220112 3215216328 3085537006 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12099/statm: 604 278 235 161 0 43 0
[pid=12105] ppid=12099 vsize=112516 CPUtime=1062.04
/proc/12105/stat : 12105 (minisat_static) R 12099 12099 10436 0 -1 4202496 27913 0 0 0 106184 20 0 0 25 0 1 0 1013717286 115216384 27847 4294967295 134512640 135215339 3219255744 3219254032 134528700 0 0 0 3 0 0 0 17 2 0 0 0
/proc/12105/statm: 28129 27847 73 172 0 27956 0
Current children cumulated CPU time (s) 1062.39
Current children cumulated vsize (KiB) 114932

[startup+1122.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 15688
/proc/meminfo: memFree=1353540/2074464 swapFree=1948616/1959888
[pid=12099] ppid=12097 vsize=2416 CPUtime=0.35
/proc/12099/stat : 12099 (SatELiteGTI) S 12097 12099 10436 0 -1 4194304 388 3365 0 0 1 0 34 0 16 0 1 0 1013717250 2473984 278 4294967295 134512640 135169312 3215220112 3215216328 3085537006 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12099/statm: 604 278 235 161 0 43 0
[pid=12105] ppid=12099 vsize=112516 CPUtime=1122.04
/proc/12105/stat : 12105 (minisat_static) R 12099 12099 10436 0 -1 4202496 27913 0 0 0 112184 20 0 0 25 0 1 0 1013717286 115216384 27847 4294967295 134512640 135215339 3219255744 3219254032 134528742 0 0 0 3 0 0 0 17 2 0 0 0
/proc/12105/statm: 28129 27847 73 172 0 27956 0
Current children cumulated CPU time (s) 1122.39
Current children cumulated vsize (KiB) 114932

[startup+1182.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 15693
/proc/meminfo: memFree=1353812/2074464 swapFree=1948616/1959888
[pid=12099] ppid=12097 vsize=2416 CPUtime=0.35
/proc/12099/stat : 12099 (SatELiteGTI) S 12097 12099 10436 0 -1 4194304 388 3365 0 0 1 0 34 0 16 0 1 0 1013717250 2473984 278 4294967295 134512640 135169312 3215220112 3215216328 3085537006 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12099/statm: 604 278 235 161 0 43 0
[pid=12105] ppid=12099 vsize=112516 CPUtime=1182.04
/proc/12105/stat : 12105 (minisat_static) R 12099 12099 10436 0 -1 4202496 27913 0 0 0 118184 20 0 0 25 0 1 0 1013717286 115216384 27847 4294967295 134512640 135215339 3219255744 3219254032 134528702 0 0 0 3 0 0 0 17 2 0 0 0
/proc/12105/statm: 28129 27847 73 172 0 27956 0
Current children cumulated CPU time (s) 1182.39
Current children cumulated vsize (KiB) 114932



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.01 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 15877
/proc/meminfo: memFree=1353656/2074464 swapFree=1948616/1959888
[pid=12099] ppid=12097 vsize=2416 CPUtime=0.35
/proc/12099/stat : 12099 (SatELiteGTI) S 12097 12099 10436 0 -1 4194304 388 3365 0 0 1 0 34 0 16 0 1 0 1013717250 2473984 278 4294967295 134512640 135169312 3215220112 3215216328 3085537006 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12099/statm: 604 278 235 161 0 43 0
[pid=12105] ppid=12099 vsize=112516 CPUtime=1199.74
/proc/12105/stat : 12105 (minisat_static) R 12099 12099 10436 0 -1 4202496 27913 0 0 0 119954 20 0 0 25 0 1 0 1013717286 115216384 27847 4294967295 134512640 135215339 3219255744 3219254032 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/12105/statm: 28129 27847 73 172 0 27956 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 114932

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

Child status: 143
Real time (s): 1200.03
CPU time (s): 1200.1
CPU user time (s): 1199.89
CPU system time (s): 0.21
CPU usage (%): 100.006
Max. virtual memory (cumulated for all children) (KiB): 114932

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.89
system time used= 0.21
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31942
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= 20
involuntary context switches= 1437

runsolver used 0.01 second user time and 0.04 second system time

The end

Launcher Data 

Begin job on tipi16 at 2009-05-16 18:42:47
IDJOB=1820962
IDBENCH=70786
IDSOLVER=657
FILE ID=tipi16/1820962-1242492167
PBS_JOBID=
Free space on /tmp= 5072 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/bitverif/mulhs/mulhs032.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1820962-1242492167/watcher-1820962-1242492167 -o /tmp/evaluation-result-1820962-1242492167/solver-1820962-1242492167 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1820962-1242492167.cnf

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

MD5SUM BENCH= 431823fbe355abc605baf058be5925a0
RANDOM SEED= 114872986

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

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

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

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

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


/proc/meminfo:
MemTotal:      2074464 kB
MemFree:       1467212 kB
Buffers:         35100 kB
Cached:         492308 kB
SwapCached:       5940 kB
Active:          68952 kB
Inactive:       468372 kB
HighTotal:     1178688 kB
HighFree:       723220 kB
LowTotal:       895776 kB
LowFree:        743992 kB
SwapTotal:     1959888 kB
SwapFree:      1948616 kB
Dirty:            2648 kB
Writeback:           0 kB
AnonPages:        9192 kB
Mapped:           3176 kB
Slab:            61220 kB
PageTables:        396 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   2997120 kB
Committed_AS:    90756 kB
VmallocTotal:   114680 kB
VmallocUsed:      1324 kB
VmallocChunk:   113264 kB

Free space on /tmp at the end= 5072 MiB
End job on tipi16 at 2009-05-16 19:02:47