Trace number 3705076

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 NameAnswerobjective functionCPU timeWall clock time
wbo 1.7? 1799.59 1800

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
synthesis-ptl-cmos-circuits/normalized-my_adder.opb
MD5SUM38f65eab3d9896915eed9a127435e25b
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark4561
Best CPU time to get the best result obtained on this benchmark0.174972
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 4561
Optimality of the best value was proved YES
Number of variables577
Total number of constraints1322
Number of constraints which are clauses1306
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints16
Minimum length of a constraint2
Maximum length of a constraint17
Number of terms in the objective function 577
Biggest coefficient in the objective function 61
Number of bits for the biggest coefficient in the objective function 6
Sum of the numbers in the objective function 24510
Number of bits of the sum of numbers in the objective function 15
Biggest number in a constraint 61
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 24510
Number of bits of the biggest sum of numbers15
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

0.00/0.00	c ==============================[ Solver Version ]===============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |   wbo:                    1.7 beta - March, 2012                            |
0.00/0.00	c |                                                                             |
0.00/0.00	c Parsing opb file format. File HOME/instance-3705076-1338091155.opb.
0.00/0.00	c Instance file HOME/instance-3705076-1338091155.opb
0.00/0.00	c File size is 53759 bytes.
0.00/0.00	c Cost Offset: 0
0.00/0.00	c Highest Coefficient sum: 19
0.00/0.00	c ============================[ Problem Statistics ]=============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |  Parsing time:          0.01         s                                      |
0.00/0.00	c |  Number Variables:      577                                                 |
0.00/0.00	c |  Number Clauses:        1322                                                |
0.00/0.00	c |  Number Cardinality:    0                                                   |
0.00/0.00	c |  Number PB Constraints: 0                                                   |
0.00/0.00	c |                                                                             |
0.00/0.00	c |  Problem Type:          Optimization                                        |
0.00/0.00	c |  Objective Function:    PB Constraint                                       |
0.00/0.00	c |                                                                             |
0.00/0.00	c ============================[ Search Statistics ]==============================
0.00/0.00	c | Time (s)  | ID |      Bound      |               Shared Clauses             |
0.00/0.00	c |           |    | value      type |  expCls         impCls        Lit/impCl  |
0.00/0.00	c ===============================================================================
0.00/0.00	c | 0.01      | 0  | 42           lb |  0                0                0.00  |
0.00/0.00	c | 0.01      | 0  | 50           lb |  0                0                0.00  |
0.00/0.00	c | 0.01      | 0  | 51           lb |  0                0                0.00  |
0.00/0.00	c | 0.01      | 0  | 93           lb |  0                0                0.00  |
0.00/0.01	c | 0.01      | 0  | 101          lb |  0                0                0.00  |
0.00/0.01	c | 0.01      | 0  | 102          lb |  0                0                0.00  |
0.00/0.01	c | 0.01      | 0  | 144          lb |  0                0                0.00  |
0.00/0.01	c | 0.01      | 0  | 152          lb |  0                0                0.00  |
0.00/0.01	c | 0.01      | 0  | 153          lb |  0                0                0.00  |
0.00/0.01	c | 0.01      | 0  | 195          lb |  0                0                0.00  |
0.00/0.01	c | 0.01      | 0  | 203          lb |  0                0                0.00  |
0.00/0.01	c | 0.01      | 0  | 204          lb |  0                0                0.00  |
0.00/0.01	c | 0.01      | 0  | 246          lb |  0                0                0.00  |
0.00/0.01	c | 0.01      | 0  | 254          lb |  0                0                0.00  |
0.00/0.01	c | 0.02      | 0  | 255          lb |  0                0                0.00  |
0.00/0.01	c | 0.02      | 0  | 297          lb |  0                0                0.00  |
0.00/0.01	c | 0.02      | 0  | 305          lb |  0                0                0.00  |
0.00/0.01	c | 0.02      | 0  | 306          lb |  0                0                0.00  |
0.00/0.01	c | 0.02      | 0  | 348          lb |  0                0                0.00  |
0.00/0.02	c | 0.02      | 0  | 356          lb |  0                0                0.00  |
0.00/0.02	c | 0.02      | 0  | 357          lb |  0                0                0.00  |
0.00/0.02	c | 0.02      | 0  | 399          lb |  0                0                0.00  |
0.00/0.02	c | 0.02      | 0  | 407          lb |  0                0                0.00  |
0.00/0.02	c | 0.02      | 0  | 408          lb |  0                0                0.00  |
0.00/0.02	c | 0.02      | 0  | 450          lb |  0                0                0.00  |
0.00/0.02	c | 0.02      | 0  | 458          lb |  0                0                0.00  |
0.00/0.02	c | 0.02      | 0  | 459          lb |  0                0                0.00  |
0.00/0.02	c | 0.02      | 0  | 501          lb |  0                0                0.00  |
0.00/0.02	c | 0.03      | 0  | 509          lb |  0                0                0.00  |
0.00/0.02	c | 0.03      | 0  | 510          lb |  0                0                0.00  |
0.00/0.02	c | 0.03      | 0  | 552          lb |  0                0                0.00  |
0.00/0.02	c | 0.03      | 0  | 560          lb |  0                0                0.00  |
0.00/0.02	c | 0.03      | 0  | 561          lb |  0                0                0.00  |
0.00/0.02	c | 0.03      | 0  | 603          lb |  0                0                0.00  |
0.00/0.03	c | 0.03      | 0  | 611          lb |  0                0                0.00  |
0.00/0.03	c | 0.03      | 0  | 612          lb |  0                0                0.00  |
0.00/0.03	c | 0.03      | 0  | 654          lb |  0                0                0.00  |
0.00/0.03	c | 0.03      | 0  | 662          lb |  0                0                0.00  |
0.00/0.03	c | 0.03      | 0  | 663          lb |  0                0                0.00  |
0.00/0.03	c | 0.03      | 0  | 705          lb |  0                0                0.00  |
0.00/0.03	c | 0.03      | 0  | 713          lb |  0                0                0.00  |
0.00/0.03	c | 0.03      | 0  | 714          lb |  0                0                0.00  |
0.00/0.03	c | 0.04      | 0  | 756          lb |  0                0                0.00  |
0.00/0.03	c | 0.04      | 0  | 764          lb |  0                0                0.00  |
0.00/0.03	c | 0.04      | 0  | 765          lb |  0                0                0.00  |
0.00/0.03	c | 0.04      | 0  | 807          lb |  0                0                0.00  |
0.00/0.03	c | 0.04      | 0  | 815          lb |  0                0                0.00  |
0.00/0.04	c | 0.04      | 0  | 816          lb |  0                0                0.00  |
0.00/0.04	c | 0.04      | 0  | 850          lb |  0                0                0.00  |
0.00/0.04	c | 0.04      | 0  | 864          lb |  0                0                0.00  |
0.00/0.04	c | 0.04      | 0  | 890          lb |  0                0                0.00  |
0.00/0.04	c | 0.04      | 0  | 912          lb |  0                0                0.00  |
0.00/0.04	c | 0.04      | 0  | 946          lb |  0                0                0.00  |
0.00/0.04	c | 0.04      | 0  | 960          lb |  0                0                0.00  |
0.00/0.04	c | 0.04      | 0  | 994          lb |  0                0                0.00  |
0.00/0.04	c | 0.04      | 0  | 1008         lb |  0                0                0.00  |
0.00/0.04	c | 0.05      | 0  | 1042         lb |  0                0                0.00  |
0.00/0.04	c | 0.05      | 0  | 1056         lb |  0                0                0.00  |
0.00/0.04	c | 0.05      | 0  | 1090         lb |  0                0                0.00  |
0.00/0.04	c | 0.05      | 0  | 1104         lb |  0                0                0.00  |
0.00/0.05	c | 0.05      | 0  | 1138         lb |  0                0                0.00  |
0.00/0.05	c | 0.05      | 0  | 1152         lb |  0                0                0.00  |
0.00/0.05	c | 0.05      | 0  | 1186         lb |  0                0                0.00  |
0.00/0.05	c | 0.05      | 0  | 1200         lb |  0                0                0.00  |
0.00/0.05	c | 0.05      | 0  | 1234         lb |  0                0                0.00  |
0.00/0.05	c | 0.05      | 0  | 1248         lb |  0                0                0.00  |
0.00/0.05	c | 0.05      | 0  | 1282         lb |  0                0                0.00  |
0.00/0.05	c | 0.06      | 0  | 1296         lb |  0                0                0.00  |
0.00/0.05	c | 0.06      | 0  | 1330         lb |  0                0                0.00  |
0.00/0.05	c | 0.06      | 0  | 1344         lb |  0                0                0.00  |
0.00/0.05	c | 0.06      | 0  | 1378         lb |  0                0                0.00  |
0.00/0.05	c | 0.06      | 0  | 1392         lb |  0                0                0.00  |
0.00/0.06	c | 0.06      | 0  | 1426         lb |  0                0                0.00  |
0.00/0.06	c | 0.06      | 0  | 1440         lb |  0                0                0.00  |
0.00/0.06	c | 0.06      | 0  | 1474         lb |  0                0                0.00  |
0.00/0.06	c | 0.06      | 0  | 1488         lb |  0                0                0.00  |
0.00/0.06	c | 0.06      | 0  | 1522         lb |  0                0                0.00  |
0.00/0.06	c | 0.06      | 0  | 1536         lb |  0                0                0.00  |
0.00/0.06	c | 0.06      | 0  | 1570         lb |  0                0                0.00  |
0.00/0.06	c | 0.07      | 0  | 1587         lb |  0                0                0.00  |
0.00/0.06	c | 0.07      | 0  | 1595         lb |  0                0                0.00  |
0.00/0.06	c | 0.07      | 0  | 1628         lb |  0                0                0.00  |
0.00/0.06	c | 0.07      | 0  | 1646         lb |  0                0                0.00  |
0.00/0.07	c | 0.07      | 0  | 1663         lb |  0                0                0.00  |
0.00/0.07	c | 0.07      | 0  | 1672         lb |  0                0                0.00  |
0.00/0.07	c | 0.07      | 0  | 1675         lb |  0                0                0.00  |
0.00/0.07	c | 0.07      | 0  | 1692         lb |  0                0                0.00  |
0.00/0.07	c | 0.07      | 0  | 1701         lb |  0                0                0.00  |
0.00/0.07	c | 0.07      | 0  | 1704         lb |  0                0                0.00  |
0.00/0.07	c | 0.07      | 0  | 1721         lb |  0                0                0.00  |
0.00/0.07	c | 0.07      | 0  | 1730         lb |  0                0                0.00  |
0.00/0.07	c | 0.08      | 0  | 1733         lb |  0                0                0.00  |
0.00/0.07	c | 0.08      | 0  | 1750         lb |  0                0                0.00  |
0.00/0.07	c | 0.08      | 0  | 1759         lb |  0                0                0.00  |
0.00/0.08	c | 0.08      | 0  | 1762         lb |  0                0                0.00  |
0.00/0.08	c | 0.08      | 0  | 1779         lb |  0                0                0.00  |
0.00/0.08	c | 0.08      | 0  | 1788         lb |  0                0                0.00  |
0.00/0.08	c | 0.08      | 0  | 1791         lb |  0                0                0.00  |
0.00/0.08	c | 0.08      | 0  | 1808         lb |  0                0                0.00  |
0.00/0.08	c | 0.08      | 0  | 1817         lb |  0                0                0.00  |
0.00/0.08	c | 0.09      | 0  | 1820         lb |  0                0                0.00  |
0.00/0.08	c | 0.09      | 0  | 1837         lb |  0                0                0.00  |
0.00/0.08	c | 0.09      | 0  | 1846         lb |  0                0                0.00  |
0.00/0.08	c | 0.09      | 0  | 1849         lb |  0                0                0.00  |
0.00/0.08	c | 0.09      | 0  | 1866         lb |  0                0                0.00  |
0.00/0.09	c | 0.09      | 0  | 1875         lb |  0                0                0.00  |
0.00/0.09	c | 0.09      | 0  | 1878         lb |  0                0                0.00  |
0.00/0.09	c | 0.09      | 0  | 1895         lb |  0                0                0.00  |
0.00/0.09	c | 0.09      | 0  | 1904         lb |  0                0                0.00  |
0.00/0.09	c | 0.09      | 0  | 1907         lb |  0                0                0.00  |
0.00/0.09	c | 0.10      | 0  | 1924         lb |  0                0                0.00  |
0.00/0.09	c | 0.10      | 0  | 1933         lb |  0                0                0.00  |
0.00/0.09	c | 0.10      | 0  | 1936         lb |  0                0                0.00  |
0.00/0.09	c | 0.10      | 0  | 1953         lb |  0                0                0.00  |
0.00/0.09	c | 0.10      | 0  | 1962         lb |  0                0                0.00  |
0.09/0.10	c | 0.10      | 0  | 1965         lb |  0                0                0.00  |
0.09/0.10	c | 0.10      | 0  | 1982         lb |  0                0                0.00  |
0.09/0.10	c | 0.10      | 0  | 1991         lb |  0                0                0.00  |
0.09/0.10	c | 0.10      | 0  | 1994         lb |  0                0                0.00  |
0.09/0.10	c | 0.10      | 0  | 2011         lb |  0                0                0.00  |
0.09/0.10	c | 0.10      | 0  | 2020         lb |  0                0                0.00  |
0.09/0.10	c | 0.11      | 0  | 2023         lb |  0                0                0.00  |
0.09/0.10	c | 0.11      | 0  | 2040         lb |  0                0                0.00  |
0.09/0.10	c | 0.11      | 0  | 2049         lb |  0                0                0.00  |
0.09/0.11	c | 0.11      | 0  | 2052         lb |  0                0                0.00  |
0.09/0.11	c | 0.11      | 0  | 2077         lb |  0                0                0.00  |
0.09/0.11	c | 0.11      | 0  | 2084         lb |  0                0                0.00  |
0.09/0.11	c | 0.11      | 0  | 2086         lb |  0                0                0.00  |
0.09/0.11	c | 0.11      | 0  | 2103         lb |  0                0                0.00  |
0.09/0.11	c | 0.11      | 0  | 2116         lb |  0                0                0.00  |
0.09/0.11	c | 0.12      | 0  | 2119         lb |  0                0                0.00  |
0.09/0.11	c | 0.12      | 0  | 2139         lb |  0                0                0.00  |
0.09/0.11	c | 0.12      | 0  | 2141         lb |  0                0                0.00  |
0.09/0.11	c | 0.12      | 0  | 2149         lb |  0                0                0.00  |
0.09/0.12	c | 0.12      | 0  | 2154         lb |  0                0                0.00  |
0.09/0.12	c | 0.12      | 0  | 2165         lb |  0                0                0.00  |
0.09/0.12	c | 0.12      | 0  | 2173         lb |  0                0                0.00  |
0.09/0.12	c | 0.12      | 0  | 2177         lb |  0                0                0.00  |
0.09/0.12	c | 0.12      | 0  | 2178         lb |  0                0                0.00  |
0.09/0.12	c | 0.12      | 0  | 2181         lb |  0                0                0.00  |
0.09/0.12	c | 0.13      | 0  | 2189         lb |  0                0                0.00  |
0.09/0.12	c | 0.13      | 0  | 2194         lb |  0                0                0.00  |
0.09/0.12	c | 0.13      | 0  | 2197         lb |  0                0                0.00  |
0.09/0.13	c | 0.13      | 0  | 2205         lb |  0                0                0.00  |
0.09/0.13	c | 0.13      | 0  | 2210         lb |  0                0                0.00  |
0.09/0.13	c | 0.13      | 0  | 2213         lb |  0                0                0.00  |
0.09/0.13	c | 0.13      | 0  | 2221         lb |  0                0                0.00  |
0.09/0.13	c | 0.13      | 0  | 2226         lb |  0                0                0.00  |
0.09/0.13	c | 0.14      | 0  | 2229         lb |  0                0                0.00  |
0.09/0.13	c | 0.14      | 0  | 2237         lb |  0                0                0.00  |
0.09/0.13	c | 0.14      | 0  | 2242         lb |  0                0                0.00  |
0.09/0.13	c | 0.14      | 0  | 2245         lb |  0                0                0.00  |
0.09/0.14	c | 0.14      | 0  | 2253         lb |  0                0                0.00  |
0.09/0.14	c | 0.14      | 0  | 2258         lb |  0                0                0.00  |
0.09/0.14	c | 0.14      | 0  | 2261         lb |  0                0                0.00  |
0.09/0.14	c | 0.14      | 0  | 2269         lb |  0                0                0.00  |
0.09/0.14	c | 0.14      | 0  | 2274         lb |  0                0                0.00  |
0.09/0.14	c | 0.15      | 0  | 2277         lb |  0                0                0.00  |
0.09/0.14	c | 0.15      | 0  | 2285         lb |  0                0                0.00  |
0.09/0.14	c | 0.15      | 0  | 2290         lb |  0                0                0.00  |
0.09/0.15	c | 0.15      | 0  | 2293         lb |  0                0                0.00  |
0.09/0.15	c | 0.15      | 0  | 2301         lb |  0                0                0.00  |
0.09/0.15	c | 0.15      | 0  | 2306         lb |  0                0                0.00  |
0.09/0.15	c | 0.15      | 0  | 2309         lb |  0                0                0.00  |
0.09/0.15	c | 0.15      | 0  | 2317         lb |  0                0                0.00  |
0.09/0.15	c | 0.15      | 0  | 2322         lb |  0                0                0.00  |
0.09/0.15	c | 0.16      | 0  | 2325         lb |  0                0                0.00  |
0.09/0.15	c | 0.16      | 0  | 2333         lb |  0                0                0.00  |
0.09/0.16	c | 0.16      | 0  | 2338         lb |  0                0                0.00  |
0.09/0.16	c | 0.16      | 0  | 2341         lb |  0                0                0.00  |
0.09/0.16	c | 0.16      | 0  | 2349         lb |  0                0                0.00  |
0.09/0.16	c | 0.16      | 0  | 2354         lb |  0                0                0.00  |
0.09/0.16	c | 0.16      | 0  | 2357         lb |  0                0                0.00  |
0.09/0.16	c | 0.17      | 0  | 2363         lb |  0                0                0.00  |
0.09/0.16	c | 0.17      | 0  | 2373         lb |  0                0                0.00  |
0.09/0.16	c | 0.17      | 0  | 2374         lb |  0                0                0.00  |
0.09/0.16	c | 0.17      | 0  | 2378         lb |  0                0                0.00  |
0.09/0.17	c | 0.17      | 0  | 2390         lb |  0                0                0.00  |
0.09/0.17	c | 0.17      | 0  | 2391         lb |  0                0                0.00  |
0.09/0.17	c | 0.17      | 0  | 2394         lb |  0                0                0.00  |
0.09/0.17	c | 0.17      | 0  | 2395         lb |  0                0                0.00  |
0.09/0.17	c | 0.17      | 0  | 2407         lb |  0                0                0.00  |
0.09/0.17	c | 0.18      | 0  | 2408         lb |  0                0                0.00  |
0.09/0.17	c | 0.18      | 0  | 2411         lb |  0                0                0.00  |
0.09/0.17	c | 0.18      | 0  | 2412         lb |  0                0                0.00  |
0.09/0.18	c | 0.18      | 0  | 2424         lb |  0                0                0.00  |
0.09/0.18	c | 0.18      | 0  | 2425         lb |  0                0                0.00  |
0.09/0.18	c | 0.18      | 0  | 2428         lb |  0                0                0.00  |
0.09/0.18	c | 0.18      | 0  | 2429         lb |  0                0                0.00  |
0.09/0.18	c | 0.18      | 0  | 2441         lb |  0                0                0.00  |
0.09/0.18	c | 0.19      | 0  | 2442         lb |  0                0                0.00  |
0.09/0.18	c | 0.19      | 0  | 2445         lb |  0                0                0.00  |
0.09/0.19	c | 0.19      | 0  | 2446         lb |  0                0                0.00  |
0.09/0.19	c | 0.19      | 0  | 2458         lb |  0                0                0.00  |
0.09/0.19	c | 0.19      | 0  | 2459         lb |  0                0                0.00  |
0.09/0.19	c | 0.19      | 0  | 2462         lb |  0                0                0.00  |
0.09/0.19	c | 0.19      | 0  | 2463         lb |  0                0                0.00  |
0.09/0.19	c | 0.20      | 0  | 2475         lb |  0                0                0.00  |
0.09/0.19	c | 0.20      | 0  | 2476         lb |  0                0                0.00  |
0.09/0.19	c | 0.20      | 0  | 2479         lb |  0                0                0.00  |
0.19/0.20	c | 0.20      | 0  | 2480         lb |  0                0                0.00  |
0.19/0.20	c | 0.20      | 0  | 2492         lb |  0                0                0.00  |
0.19/0.20	c | 0.20      | 0  | 2493         lb |  0                0                0.00  |
0.19/0.20	c | 0.20      | 0  | 2496         lb |  0                0                0.00  |
0.19/0.20	c | 0.20      | 0  | 2497         lb |  0                0                0.00  |
0.19/0.20	c | 0.21      | 0  | 2509         lb |  0                0                0.00  |
0.19/0.20	c | 0.21      | 0  | 2510         lb |  0                0                0.00  |
0.19/0.21	c | 0.21      | 0  | 2513         lb |  0                0                0.00  |
0.19/0.21	c | 0.21      | 0  | 2514         lb |  0                0                0.00  |
0.19/0.21	c | 0.21      | 0  | 2526         lb |  0                0                0.00  |
0.19/0.21	c | 0.21      | 0  | 2527         lb |  0                0                0.00  |
0.19/0.21	c | 0.21      | 0  | 2530         lb |  0                0                0.00  |
0.19/0.21	c | 0.22      | 0  | 2531         lb |  0                0                0.00  |
0.19/0.21	c | 0.22      | 0  | 2543         lb |  0                0                0.00  |
0.19/0.22	c | 0.22      | 0  | 2544         lb |  0                0                0.00  |
0.19/0.22	c | 0.22      | 0  | 2547         lb |  0                0                0.00  |
0.19/0.22	c | 0.22      | 0  | 2548         lb |  0                0                0.00  |
0.19/0.22	c | 0.22      | 0  | 2560         lb |  0                0                0.00  |
0.19/0.22	c | 0.22      | 0  | 2561         lb |  0                0                0.00  |
0.19/0.22	c | 0.23      | 0  | 2564         lb |  0                0                0.00  |
0.19/0.22	c | 0.23      | 0  | 2577         lb |  0                0                0.00  |
0.19/0.22	c | 0.23      | 0  | 2578         lb |  0                0                0.00  |
0.19/0.23	c | 0.23      | 0  | 2619         lb |  0                0                0.00  |
0.19/0.23	c | 0.23      | 0  | 2623         lb |  0                0                0.00  |
0.19/0.23	c | 0.23      | 0  | 2626         lb |  0                0                0.00  |
0.19/0.23	c | 0.23      | 0  | 2635         lb |  0                0                0.00  |
0.19/0.23	c | 0.23      | 0  | 2644         lb |  0                0                0.00  |
0.19/0.23	c | 0.24      | 0  | 2647         lb |  0                0                0.00  |
0.19/0.23	c | 0.24      | 0  | 2659         lb |  0                0                0.00  |
0.19/0.24	c | 0.24      | 0  | 2671         lb |  0                0                0.00  |
0.19/0.24	c | 0.24      | 0  | 2683         lb |  0                0                0.00  |
0.19/0.24	c | 0.24      | 0  | 2695         lb |  0                0                0.00  |
0.19/0.24	c | 0.24      | 0  | 2707         lb |  0                0                0.00  |
0.19/0.24	c | 0.24      | 0  | 2719         lb |  0                0                0.00  |
0.19/0.24	c | 0.25      | 0  | 2731         lb |  0                0                0.00  |
0.19/0.24	c | 0.25      | 0  | 2743         lb |  0                0                0.00  |
0.19/0.25	c | 0.25      | 0  | 2755         lb |  0                0                0.00  |
0.19/0.25	c | 0.25      | 0  | 2758         lb |  0                0                0.00  |
0.19/0.25	c | 0.25      | 0  | 2790         lb |  0                0                0.00  |
0.19/0.25	c | 0.25      | 0  | 2800         lb |  0                0                0.00  |
0.19/0.25	c | 0.26      | 0  | 2808         lb |  0                0                0.00  |
0.19/0.25	c | 0.26      | 0  | 2824         lb |  0                0                0.00  |
0.19/0.25	c | 0.26      | 0  | 2833         lb |  0                0                0.00  |
0.19/0.26	c | 0.26      | 0  | 2834         lb |  0                0                0.00  |
0.19/0.26	c | 0.26      | 0  | 2841         lb |  0                0                0.00  |
0.19/0.26	c | 0.26      | 0  | 2842         lb |  0                0                0.00  |
0.19/0.26	c | 0.27      | 0  | 2844         lb |  0                0                0.00  |
0.19/0.26	c | 0.27      | 0  | 2849         lb |  0                0                0.00  |
0.19/0.26	c | 0.27      | 0  | 2850         lb |  0                0                0.00  |
0.19/0.27	c | 0.27      | 0  | 2858         lb |  0                0                0.00  |
0.19/0.27	c | 0.27      | 0  | 2859         lb |  0                0                0.00  |
0.19/0.27	c | 0.27      | 0  | 2862         lb |  0                0                0.00  |
0.19/0.27	c | 0.27      | 0  | 2866         lb |  0                0                0.00  |
0.19/0.27	c | 0.28      | 0  | 2869         lb |  0                0                0.00  |
0.19/0.27	c | 0.28      | 0  | 2874         lb |  0                0                0.00  |
0.19/0.28	c | 0.28      | 0  | 2881         lb |  0                0                0.00  |
0.19/0.28	c | 0.28      | 0  | 2884         lb |  0                0                0.00  |
0.19/0.28	c | 0.28      | 0  | 2899         lb |  0                0                0.00  |
0.19/0.28	c | 0.28      | 0  | 2903         lb |  0                0                0.00  |
0.19/0.28	c | 0.29      | 0  | 2904         lb |  0                0                0.00  |
0.19/0.28	c | 0.29      | 0  | 2919         lb |  0                0                0.00  |
0.19/0.29	c | 0.29      | 0  | 2926         lb |  0                0                0.00  |
0.19/0.29	c | 0.29      | 0  | 2927         lb |  0                0                0.00  |
0.19/0.29	c | 0.29      | 0  | 2942         lb |  0                0                0.00  |
0.19/0.29	c | 0.29      | 0  | 2949         lb |  0                0                0.00  |
0.19/0.29	c | 0.30      | 0  | 2950         lb |  0                0                0.00  |
0.19/0.29	c | 0.30      | 0  | 2965         lb |  0                0                0.00  |
0.29/0.30	c | 0.30      | 0  | 2972         lb |  0                0                0.00  |
0.29/0.30	c | 0.30      | 0  | 2973         lb |  0                0                0.00  |
0.29/0.30	c | 0.30      | 0  | 2988         lb |  0                0                0.00  |
0.29/0.30	c | 0.30      | 0  | 2995         lb |  0                0                0.00  |
0.29/0.30	c | 0.31      | 0  | 2996         lb |  0                0                0.00  |
0.29/0.30	c | 0.31      | 0  | 3011         lb |  0                0                0.00  |
0.29/0.31	c | 0.31      | 0  | 3018         lb |  0                0                0.00  |
0.29/0.31	c | 0.31      | 0  | 3019         lb |  0                0                0.00  |
0.29/0.31	c | 0.31      | 0  | 3034         lb |  0                0                0.00  |
0.29/0.31	c | 0.32      | 0  | 3041         lb |  0                0                0.00  |
0.29/0.31	c | 0.32      | 0  | 3042         lb |  0                0                0.00  |
0.29/0.32	c | 0.32      | 0  | 3057         lb |  0                0                0.00  |
0.29/0.32	c | 0.32      | 0  | 3064         lb |  0                0                0.00  |
0.29/0.32	c | 0.32      | 0  | 3065         lb |  0                0                0.00  |
0.29/0.32	c | 0.33      | 0  | 3080         lb |  0                0                0.00  |
0.29/0.32	c | 0.33      | 0  | 3087         lb |  0                0                0.00  |
0.29/0.32	c | 0.33      | 0  | 3088         lb |  0                0                0.00  |
0.29/0.33	c | 0.33      | 0  | 3103         lb |  0                0                0.00  |
0.29/0.33	c | 0.33      | 0  | 3110         lb |  0                0                0.00  |
0.29/0.33	c | 0.33      | 0  | 3111         lb |  0                0                0.00  |
0.29/0.33	c | 0.34      | 0  | 3126         lb |  0                0                0.00  |
0.29/0.33	c | 0.34      | 0  | 3133         lb |  0                0                0.00  |
0.29/0.34	c | 0.34      | 0  | 3134         lb |  0                0                0.00  |
0.29/0.34	c | 0.34      | 0  | 3149         lb |  0                0                0.00  |
0.29/0.34	c | 0.34      | 0  | 3156         lb |  0                0                0.00  |
0.29/0.34	c | 0.35      | 0  | 3157         lb |  0                0                0.00  |
0.29/0.34	c | 0.35      | 0  | 3170         lb |  0                0                0.00  |
0.29/0.35	c | 0.35      | 0  | 3172         lb |  0                0                0.00  |
0.29/0.35	c | 0.35      | 0  | 3173         lb |  0                0                0.00  |
0.29/0.35	c | 0.35      | 0  | 3174         lb |  0                0                0.00  |
0.29/0.35	c | 0.35      | 0  | 3189         lb |  0                0                0.00  |
0.29/0.35	c | 0.36      | 0  | 3191         lb |  0                0                0.00  |
0.29/0.36	c | 0.36      | 0  | 3193         lb |  0                0                0.00  |
0.29/0.36	c | 0.36      | 0  | 3195         lb |  0                0                0.00  |
0.29/0.36	c | 0.36      | 0  | 3196         lb |  0                0                0.00  |
0.29/0.36	c | 0.37      | 0  | 3197         lb |  0                0                0.00  |
0.29/0.36	c | 0.37      | 0  | 3198         lb |  0                0                0.00  |
0.29/0.37	c | 0.37      | 0  | 3221         lb |  0                0                0.00  |
0.29/0.37	c | 0.37      | 0  | 3222         lb |  0                0                0.00  |
0.29/0.37	c | 0.38      | 0  | 3227         lb |  0                0                0.00  |
0.29/0.37	c | 0.38      | 0  | 3229         lb |  0                0                0.00  |
0.29/0.38	c | 0.38      | 0  | 3231         lb |  0                0                0.00  |
0.29/0.38	c | 0.38      | 0  | 3233         lb |  0                0                0.00  |
0.29/0.38	c | 0.39      | 0  | 3234         lb |  0                0                0.00  |
0.29/0.38	c | 0.39      | 0  | 3238         lb |  0                0                0.00  |
0.29/0.39	c | 0.39      | 0  | 3239         lb |  0                0                0.00  |
0.29/0.39	c | 0.39      | 0  | 3241         lb |  0                0                0.00  |
0.29/0.39	c | 0.40      | 0  | 3242         lb |  0                0                0.00  |
0.29/0.39	c | 0.40      | 0  | 3243         lb |  0                0                0.00  |
0.39/0.40	c | 0.40      | 0  | 3244         lb |  0                0                0.00  |
0.39/0.40	c | 0.40      | 0  | 3247         lb |  0                0                0.00  |
0.39/0.40	c | 0.41      | 0  | 3250         lb |  0                0                0.00  |
0.39/0.41	c | 0.41      | 0  | 3258         lb |  0                0                0.00  |
0.39/0.41	c | 0.41      | 0  | 3261         lb |  0                0                0.00  |
0.39/0.41	c | 0.41      | 0  | 3269         lb |  0                0                0.00  |
0.39/0.41	c | 0.42      | 0  | 3270         lb |  0                0                0.00  |
0.39/0.42	c | 0.42      | 0  | 3272         lb |  0                0                0.00  |
0.39/0.42	c | 0.42      | 0  | 3273         lb |  0                0                0.00  |
0.39/0.42	c | 0.43      | 0  | 3274         lb |  0                0                0.00  |
0.39/0.42	c | 0.43      | 0  | 3277         lb |  0                0                0.00  |
0.39/0.43	c | 0.43      | 0  | 3281         lb |  0                0                0.00  |
0.39/0.43	c | 0.43      | 0  | 3282         lb |  0                0                0.00  |
0.39/0.43	c | 0.44      | 0  | 3288         lb |  0                0                0.00  |
0.39/0.44	c | 0.44      | 0  | 3291         lb |  0                0                0.00  |
0.39/0.44	c | 0.44      | 0  | 3293         lb |  0                0                0.00  |
0.39/0.44	c | 0.45      | 0  | 3297         lb |  0                0                0.00  |
0.39/0.44	c | 0.45      | 0  | 3299         lb |  0                0                0.00  |
0.39/0.45	c | 0.45      | 0  | 3300         lb |  0                0                0.00  |
0.39/0.45	c | 0.45      | 0  | 3303         lb |  0                0                0.00  |
0.39/0.45	c | 0.46      | 0  | 3310         lb |  0                0                0.00  |
0.39/0.46	c | 0.46      | 0  | 3312         lb |  0                0                0.00  |
0.39/0.46	c | 0.46      | 0  | 3317         lb |  0                0                0.00  |
0.39/0.46	c | 0.47      | 0  | 3319         lb |  0                0                0.00  |
0.39/0.47	c | 0.47      | 0  | 3325         lb |  0                0                0.00  |
0.39/0.47	c | 0.47      | 0  | 3328         lb |  0                0                0.00  |
0.39/0.47	c | 0.47      | 0  | 3329         lb |  0                0                0.00  |
0.39/0.47	c | 0.48      | 0  | 3332         lb |  0                0                0.00  |
0.39/0.48	c | 0.48      | 0  | 3333         lb |  0                0                0.00  |
0.39/0.48	c | 0.48      | 0  | 3335         lb |  0                0                0.00  |
0.39/0.48	c | 0.49      | 0  | 3338         lb |  0                0                0.00  |
0.39/0.49	c | 0.49      | 0  | 3339         lb |  0                0                0.00  |
0.39/0.49	c | 0.49      | 0  | 3345         lb |  0                0                0.00  |
0.39/0.49	c | 0.50      | 0  | 3346         lb |  0                0                0.00  |
0.49/0.50	c | 0.50      | 0  | 3351         lb |  0                0                0.00  |
0.49/0.50	c | 0.50      | 0  | 3352         lb |  0                0                0.00  |
0.49/0.50	c | 0.51      | 0  | 3357         lb |  0                0                0.00  |
0.49/0.51	c | 0.51      | 0  | 3359         lb |  0                0                0.00  |
0.49/0.51	c | 0.51      | 0  | 3361         lb |  0                0                0.00  |
0.49/0.51	c | 0.52      | 0  | 3365         lb |  0                0                0.00  |
0.49/0.51	c | 0.52      | 0  | 3366         lb |  0                0                0.00  |
0.49/0.52	c | 0.52      | 0  | 3368         lb |  0                0                0.00  |
0.49/0.52	c | 0.53      | 0  | 3369         lb |  0                0                0.00  |
0.49/0.52	c | 0.53      | 0  | 3375         lb |  0                0                0.00  |
0.49/0.53	c | 0.53      | 0  | 3376         lb |  0                0                0.00  |
0.49/0.53	c | 0.54      | 0  | 3377         lb |  0                0                0.00  |
0.49/0.53	c | 0.54      | 0  | 3379         lb |  0                0                0.00  |
0.49/0.54	c | 0.54      | 0  | 3380         lb |  0                0                0.00  |
0.49/0.54	c | 0.55      | 0  | 3384         lb |  0                0                0.00  |
0.49/0.54	c | 0.55      | 0  | 3386         lb |  0                0                0.00  |
0.49/0.55	c | 0.55      | 0  | 3390         lb |  0                0                0.00  |
0.49/0.55	c | 0.56      | 0  | 3391         lb |  0                0                0.00  |
0.49/0.55	c | 0.56      | 0  | 3395         lb |  0                0                0.00  |
0.49/0.56	c | 0.56      | 0  | 3398         lb |  0                0                0.00  |
0.49/0.56	c | 0.56      | 0  | 3401         lb |  0                0                0.00  |
0.49/0.56	c | 0.57      | 0  | 3404         lb |  0                0                0.00  |
0.49/0.57	c | 0.57      | 0  | 3405         lb |  0                0                0.00  |
0.49/0.57	c | 0.58      | 0  | 3406         lb |  0                0                0.00  |
0.49/0.58	c | 0.58      | 0  | 3407         lb |  0                0                0.00  |
0.49/0.58	c | 0.58      | 0  | 3408         lb |  0                0                0.00  |
0.49/0.58	c | 0.59      | 0  | 3410         lb |  0                0                0.00  |
0.49/0.59	c | 0.59      | 0  | 3413         lb |  0                0                0.00  |
0.49/0.59	c | 0.59      | 0  | 3414         lb |  0                0                0.00  |
0.49/0.59	c | 0.60      | 0  | 3419         lb |  0                0                0.00  |
0.59/0.60	c | 0.60      | 0  | 3421         lb |  0                0                0.00  |
0.59/0.60	c | 0.60      | 0  | 3423         lb |  0                0                0.00  |
0.59/0.60	c | 0.61      | 0  | 3426         lb |  0                0                0.00  |
0.59/0.61	c | 0.61      | 0  | 3427         lb |  0                0                0.00  |
0.59/0.61	c | 0.61      | 0  | 3428         lb |  0                0                0.00  |
0.59/0.61	c | 0.62      | 0  | 3431         lb |  0                0                0.00  |
0.59/0.62	c | 0.62      | 0  | 3432         lb |  0                0                0.00  |
0.59/0.62	c | 0.62      | 0  | 3433         lb |  0                0                0.00  |
0.59/0.63	c | 0.63      | 0  | 3438         lb |  0                0                0.00  |
0.59/0.63	c | 0.63      | 0  | 3439         lb |  0                0                0.00  |
0.59/0.63	c | 0.64      | 0  | 3440         lb |  0                0                0.00  |
0.59/0.64	c | 0.64      | 0  | 3441         lb |  0                0                0.00  |
0.59/0.64	c | 0.64      | 0  | 3443         lb |  0                0                0.00  |
0.59/0.64	c | 0.65      | 0  | 3445         lb |  0                0                0.00  |
0.59/0.65	c | 0.65      | 0  | 3448         lb |  0                0                0.00  |
0.59/0.65	c | 0.65      | 0  | 3449         lb |  0                0                0.00  |
0.59/0.65	c | 0.66      | 0  | 3450         lb |  0                0                0.00  |
0.59/0.66	c | 0.66      | 0  | 3452         lb |  0                0                0.00  |
0.59/0.66	c | 0.67      | 0  | 3459         lb |  0                0                0.00  |
0.59/0.66	c | 0.67      | 0  | 3460         lb |  0                0                0.00  |
0.59/0.67	c | 0.67      | 0  | 3463         lb |  0                0                0.00  |
0.59/0.67	c | 0.68      | 0  | 3465         lb |  0                0                0.00  |
0.59/0.68	c | 0.68      | 0  | 3470         lb |  0                0                0.00  |
0.59/0.68	c | 0.68      | 0  | 3471         lb |  0                0                0.00  |
0.59/0.68	c | 0.69      | 0  | 3472         lb |  0                0                0.00  |
0.59/0.69	c | 0.69      | 0  | 3473         lb |  0                0                0.00  |
0.59/0.69	c | 0.69      | 0  | 3476         lb |  0                0                0.00  |
0.59/0.69	c | 0.70      | 0  | 3479         lb |  0                0                0.00  |
0.69/0.70	c | 0.70      | 0  | 3483         lb |  0                0                0.00  |
0.69/0.70	c | 0.70      | 0  | 3484         lb |  0                0                0.00  |
0.69/0.70	c | 0.71      | 0  | 3485         lb |  0                0                0.00  |
0.69/0.71	c | 0.71      | 0  | 3486         lb |  0                0                0.00  |
0.69/0.71	c | 0.71      | 0  | 3488         lb |  0                0                0.00  |
0.69/0.72	c | 0.72      | 0  | 3489         lb |  0                0                0.00  |
0.69/0.72	c | 0.72      | 0  | 3491         lb |  0                0                0.00  |
0.69/0.72	c | 0.73      | 0  | 3492         lb |  0                0                0.00  |
0.69/0.73	c | 0.73      | 0  | 3494         lb |  0                0                0.00  |
0.69/0.73	c | 0.73      | 0  | 3499         lb |  0                0                0.00  |
0.69/0.73	c | 0.74      | 0  | 3500         lb |  0                0                0.00  |
0.69/0.74	c | 0.74      | 0  | 3501         lb |  0                0                0.00  |
0.69/0.74	c | 0.74      | 0  | 3502         lb |  0                0                0.00  |
0.69/0.74	c | 0.75      | 0  | 3503         lb |  0                0                0.00  |
0.69/0.75	c | 0.75      | 0  | 3504         lb |  0                0                0.00  |
0.69/0.75	c | 0.76      | 0  | 3505         lb |  0                0                0.00  |
0.69/0.76	c | 0.76      | 0  | 3506         lb |  0                0                0.00  |
0.69/0.76	c | 0.76      | 0  | 3507         lb |  0                0                0.00  |
0.69/0.76	c | 0.77      | 0  | 3508         lb |  0                0                0.00  |
0.69/0.77	c | 0.77      | 0  | 3509         lb |  0                0                0.00  |
0.69/0.77	c | 0.78      | 0  | 3510         lb |  0                0                0.00  |
0.69/0.78	c | 0.78      | 0  | 3511         lb |  0                0                0.00  |
0.69/0.78	c | 0.78      | 0  | 3513         lb |  0                0                0.00  |
0.69/0.78	c | 0.79      | 0  | 3514         lb |  0                0                0.00  |
0.69/0.79	c | 0.79      | 0  | 3515         lb |  0                0                0.00  |
0.69/0.79	c | 0.80      | 0  | 3520         lb |  0                0                0.00  |
0.69/0.80	c | 0.80      | 0  | 3522         lb |  0                0                0.00  |
0.79/0.80	c | 0.80      | 0  | 3523         lb |  0                0                0.00  |
0.79/0.80	c | 0.81      | 0  | 3525         lb |  0                0                0.00  |
0.79/0.81	c | 0.81      | 0  | 3526         lb |  0                0                0.00  |
0.79/0.81	c | 0.81      | 0  | 3527         lb |  0                0                0.00  |
0.79/0.82	c | 0.82      | 0  | 3528         lb |  0                0                0.00  |
0.79/0.82	c | 0.82      | 0  | 3529         lb |  0                0                0.00  |
0.79/0.82	c | 0.83      | 0  | 3530         lb |  0                0                0.00  |
0.79/0.83	c | 0.83      | 0  | 3532         lb |  0                0                0.00  |
0.79/0.83	c | 0.84      | 0  | 3533         lb |  0                0                0.00  |
0.79/0.84	c | 0.84      | 0  | 3534         lb |  0                0                0.00  |
0.79/0.84	c | 0.84      | 0  | 3540         lb |  0                0                0.00  |
0.79/0.84	c | 0.85      | 0  | 3541         lb |  0                0                0.00  |
0.79/0.85	c | 0.85      | 0  | 3542         lb |  0                0                0.00  |
0.79/0.85	c | 0.86      | 0  | 3543         lb |  0                0                0.00  |
0.79/0.86	c | 0.86      | 0  | 3544         lb |  0                0                0.00  |
0.79/0.86	c | 0.87      | 0  | 3545         lb |  0                0                0.00  |
0.79/0.87	c | 0.87      | 0  | 3546         lb |  0                0                0.00  |
0.79/0.87	c | 0.88      | 0  | 3549         lb |  0                0                0.00  |
0.79/0.88	c | 0.88      | 0  | 3550         lb |  0                0                0.00  |
0.79/0.88	c | 0.88      | 0  | 3553         lb |  0                0                0.00  |
0.79/0.88	c | 0.89      | 0  | 3554         lb |  0                0                0.00  |
0.79/0.89	c | 0.89      | 0  | 3555         lb |  0                0                0.00  |
0.79/0.89	c | 0.90      | 0  | 3557         lb |  0                0                0.00  |
0.89/0.90	c | 0.90      | 0  | 3559         lb |  0                0                0.00  |
0.89/0.90	c | 0.91      | 0  | 3560         lb |  0                0                0.00  |
0.89/0.91	c | 0.91      | 0  | 3562         lb |  0                0                0.00  |
0.89/0.91	c | 0.92      | 0  | 3563         lb |  0                0                0.00  |
0.89/0.92	c | 0.92      | 0  | 3564         lb |  0                0                0.00  |
0.89/0.92	c | 0.92      | 0  | 3565         lb |  0                0                0.00  |
0.89/0.92	c | 0.93      | 0  | 3566         lb |  0                0                0.00  |
0.89/0.93	c | 0.93      | 0  | 3567         lb |  0                0                0.00  |
0.89/0.93	c | 0.94      | 0  | 3568         lb |  0                0                0.00  |
0.89/0.94	c | 0.94      | 0  | 3569         lb |  0                0                0.00  |
0.89/0.94	c | 0.95      | 0  | 3570         lb |  0                0                0.00  |
0.89/0.95	c | 0.95      | 0  | 3571         lb |  0                0                0.00  |
0.89/0.95	c | 0.96      | 0  | 3572         lb |  0                0                0.00  |
0.89/0.96	c | 0.96      | 0  | 3573         lb |  0                0                0.00  |
0.89/0.96	c | 0.97      | 0  | 3574         lb |  0                0                0.00  |
0.89/0.97	c | 0.97      | 0  | 3575         lb |  0                0                0.00  |
0.89/0.97	c | 0.98      | 0  | 3576         lb |  0                0                0.00  |
0.89/0.98	c | 0.98      | 0  | 3577         lb |  0                0                0.00  |
0.89/0.99	c | 0.99      | 0  | 3578         lb |  0                0                0.00  |
0.89/0.99	c | 0.99      | 0  | 3579         lb |  0                0                0.00  |
0.89/0.99	c | 1.00      | 0  | 3580         lb |  0                0                0.00  |
0.99/1.00	c | 1.00      | 0  | 3582         lb |  0                0                0.00  |
0.99/1.00	c | 1.01      | 0  | 3585         lb |  0                0                0.00  |
0.99/1.01	c | 1.01      | 0  | 3587         lb |  0                0                0.00  |
0.99/1.01	c | 1.02      | 0  | 3588         lb |  0                0                0.00  |
0.99/1.02	c | 1.02      | 0  | 3589         lb |  0                0                0.00  |
0.99/1.02	c | 1.02      | 0  | 3590         lb |  0                0                0.00  |
0.99/1.03	c | 1.03      | 0  | 3593         lb |  0                0                0.00  |
0.99/1.03	c | 1.03      | 0  | 3597         lb |  0                0                0.00  |
0.99/1.03	c | 1.04      | 0  | 3599         lb |  0                0                0.00  |
0.99/1.04	c | 1.04      | 0  | 3600         lb |  0                0                0.00  |
0.99/1.04	c | 1.05      | 0  | 3601         lb |  0                0                0.00  |
0.99/1.05	c | 1.05      | 0  | 3602         lb |  0                0                0.00  |
0.99/1.05	c | 1.06      | 0  | 3603         lb |  0                0                0.00  |
0.99/1.06	c | 1.06      | 0  | 3604         lb |  0                0                0.00  |
0.99/1.06	c | 1.07      | 0  | 3605         lb |  0                0                0.00  |
0.99/1.07	c | 1.07      | 0  | 3610         lb |  0                0                0.00  |
0.99/1.07	c | 1.08      | 0  | 3611         lb |  0                0                0.00  |
0.99/1.08	c | 1.08      | 0  | 3613         lb |  0                0                0.00  |
0.99/1.08	c | 1.08      | 0  | 3614         lb |  0                0                0.00  |
0.99/1.09	c | 1.09      | 0  | 3615         lb |  0                0                0.00  |
0.99/1.09	c | 1.10      | 0  | 3616         lb |  0                0                0.00  |
0.99/1.10	c | 1.10      | 0  | 3617         lb |  0                0                0.00  |
0.99/1.10	c | 1.11      | 0  | 3621         lb |  0                0                0.00  |
1.10/1.11	c | 1.11      | 0  | 3624         lb |  0                0                0.00  |
1.10/1.11	c | 1.11      | 0  | 3628         lb |  0                0                0.00  |
1.10/1.12	c | 1.12      | 0  | 3629         lb |  0                0                0.00  |
1.10/1.12	c | 1.12      | 0  | 3630         lb |  0                0                0.00  |
1.10/1.13	c | 1.13      | 0  | 3631         lb |  0                0                0.00  |
1.10/1.13	c | 1.13      | 0  | 3633         lb |  0                0                0.00  |
1.10/1.13	c | 1.14      | 0  | 3634         lb |  0                0                0.00  |
1.10/1.14	c | 1.14      | 0  | 3635         lb |  0                0                0.00  |
1.10/1.14	c | 1.15      | 0  | 3637         lb |  0                0                0.00  |
1.10/1.15	c | 1.15      | 0  | 3638         lb |  0                0                0.00  |
1.10/1.15	c | 1.16      | 0  | 3639         lb |  0                0                0.00  |
1.10/1.16	c | 1.16      | 0  | 3640         lb |  0                0                0.00  |
1.10/1.16	c | 1.17      | 0  | 3641         lb |  0                0                0.00  |
1.10/1.17	c | 1.17      | 0  | 3643         lb |  0                0                0.00  |
1.10/1.17	c | 1.18      | 0  | 3644         lb |  0                0                0.00  |
1.10/1.18	c | 1.18      | 0  | 3645         lb |  0                0                0.00  |
1.10/1.19	c | 1.19      | 0  | 3646         lb |  0                0                0.00  |
1.10/1.19	c | 1.19      | 0  | 3649         lb |  0                0                0.00  |
1.10/1.20	c | 1.20      | 0  | 3651         lb |  0                0                0.00  |
1.10/1.20	c | 1.21      | 0  | 3652         lb |  0                0                0.00  |
1.20/1.21	c | 1.21      | 0  | 3653         lb |  0                0                0.00  |
1.20/1.21	c | 1.22      | 0  | 3654         lb |  0                0                0.00  |
1.20/1.22	c | 1.22      | 0  | 3655         lb |  0                0                0.00  |
1.20/1.22	c | 1.23      | 0  | 3656         lb |  0                0                0.00  |
1.20/1.23	c | 1.24      | 0  | 3657         lb |  0                0                0.00  |
1.20/1.24	c | 1.24      | 0  | 3658         lb |  0                0                0.00  |
1.20/1.24	c | 1.25      | 0  | 3659         lb |  0                0                0.00  |
1.20/1.25	c | 1.26      | 0  | 3660         lb |  0                0                0.00  |
1.20/1.26	c | 1.26      | 0  | 3661         lb |  0                0                0.00  |
1.20/1.27	c | 1.27      | 0  | 3662         lb |  0                0                0.00  |
1.20/1.27	c | 1.28      | 0  | 3663         lb |  0                0                0.00  |
1.20/1.28	c | 1.28      | 0  | 3664         lb |  0                0                0.00  |
1.20/1.28	c | 1.29      | 0  | 3666         lb |  0                0                0.00  |
1.20/1.29	c | 1.29      | 0  | 3667         lb |  0                0                0.00  |
1.20/1.29	c | 1.30      | 0  | 3668         lb |  0                0                0.00  |
1.29/1.30	c | 1.30      | 0  | 3669         lb |  0                0                0.00  |
1.29/1.31	c | 1.31      | 0  | 3670         lb |  0                0                0.00  |
1.29/1.31	c | 1.31      | 0  | 3672         lb |  0                0                0.00  |
1.29/1.32	c | 1.32      | 0  | 3673         lb |  0                0                0.00  |
1.29/1.32	c | 1.32      | 0  | 3674         lb |  0                0                0.00  |
1.29/1.33	c | 1.33      | 0  | 3676         lb |  0                0                0.00  |
1.29/1.33	c | 1.33      | 0  | 3677         lb |  0                0                0.00  |
1.29/1.34	c | 1.34      | 0  | 3678         lb |  0                0                0.00  |
1.29/1.34	c | 1.35      | 0  | 3679         lb |  0                0                0.00  |
1.29/1.35	c | 1.35      | 0  | 3680         lb |  0                0                0.00  |
1.29/1.35	c | 1.36      | 0  | 3681         lb |  0                0                0.00  |
1.29/1.36	c | 1.36      | 0  | 3682         lb |  0                0                0.00  |
1.29/1.37	c | 1.37      | 0  | 3683         lb |  0                0                0.00  |
1.29/1.37	c | 1.38      | 0  | 3684         lb |  0                0                0.00  |
1.29/1.38	c | 1.38      | 0  | 3685         lb |  0                0                0.00  |
1.29/1.38	c | 1.39      | 0  | 3686         lb |  0                0                0.00  |
1.29/1.39	c | 1.39      | 0  | 3689         lb |  0                0                0.00  |
1.39/1.40	c | 1.40      | 0  | 3690         lb |  0                0                0.00  |
1.39/1.40	c | 1.41      | 0  | 3694         lb |  0                0                0.00  |
1.39/1.41	c | 1.41      | 0  | 3695         lb |  0                0                0.00  |
1.39/1.41	c | 1.42      | 0  | 3697         lb |  0                0                0.00  |
1.39/1.42	c | 1.42      | 0  | 3698         lb |  0                0                0.00  |
1.39/1.42	c | 1.43      | 0  | 3699         lb |  0                0                0.00  |
1.39/1.43	c | 1.43      | 0  | 3700         lb |  0                0                0.00  |
1.39/1.44	c | 1.44      | 0  | 3701         lb |  0                0                0.00  |
1.39/1.44	c | 1.45      | 0  | 3702         lb |  0                0                0.00  |
1.39/1.45	c | 1.45      | 0  | 3703         lb |  0                0                0.00  |
1.39/1.45	c | 1.46      | 0  | 3704         lb |  0                0                0.00  |
1.39/1.46	c | 1.46      | 0  | 3705         lb |  0                0                0.00  |
1.39/1.47	c | 1.47      | 0  | 3706         lb |  0                0                0.00  |
1.39/1.47	c | 1.48      | 0  | 3707         lb |  0                0                0.00  |
1.39/1.48	c | 1.48      | 0  | 3708         lb |  0                0                0.00  |
1.39/1.48	c | 1.49      | 0  | 3709         lb |  0                0                0.00  |
1.39/1.49	c | 1.49      | 0  | 3710         lb |  0                0                0.00  |
1.48/1.50	c | 1.50      | 0  | 3711         lb |  0                0                0.00  |
1.48/1.50	c | 1.51      | 0  | 3712         lb |  0                0                0.00  |
1.48/1.51	c | 1.51      | 0  | 3713         lb |  0                0                0.00  |
1.48/1.52	c | 1.52      | 0  | 3716         lb |  0                0                0.00  |
1.48/1.52	c | 1.53      | 0  | 3717         lb |  0                0                0.00  |
1.48/1.53	c | 1.53      | 0  | 3719         lb |  0                0                0.00  |
1.48/1.54	c | 1.54      | 0  | 3720         lb |  0                0                0.00  |
1.48/1.54	c | 1.55      | 0  | 3721         lb |  0                0                0.00  |
1.48/1.55	c | 1.55      | 0  | 3722         lb |  0                0                0.00  |
1.48/1.56	c | 1.56      | 0  | 3723         lb |  0                0                0.00  |
1.48/1.56	c | 1.57      | 0  | 3724         lb |  0                0                0.00  |
1.48/1.57	c | 1.57      | 0  | 3730         lb |  0                0                0.00  |
1.48/1.58	c | 1.58      | 0  | 3732         lb |  0                0                0.00  |
1.48/1.58	c | 1.58      | 0  | 3734         lb |  0                0                0.00  |
1.48/1.59	c | 1.59      | 0  | 3735         lb |  0                0                0.00  |
1.48/1.59	c | 1.60      | 0  | 3737         lb |  0                0                0.00  |
1.59/1.60	c | 1.60      | 0  | 3738         lb |  0                0                0.00  |
1.59/1.61	c | 1.61      | 0  | 3740         lb |  0                0                0.00  |
1.59/1.61	c | 1.61      | 0  | 3741         lb |  0                0                0.00  |
1.59/1.62	c | 1.62      | 0  | 3742         lb |  0                0                0.00  |
1.59/1.62	c | 1.63      | 0  | 3743         lb |  0                0                0.00  |
1.59/1.63	c | 1.63      | 0  | 3744         lb |  0                0                0.00  |
1.59/1.63	c | 1.64      | 0  | 3747         lb |  0                0                0.00  |
1.59/1.64	c | 1.64      | 0  | 3748         lb |  0                0                0.00  |
1.59/1.65	c | 1.65      | 0  | 3750         lb |  0                0                0.00  |
1.59/1.65	c | 1.66      | 0  | 3752         lb |  0                0                0.00  |
1.59/1.66	c | 1.66      | 0  | 3756         lb |  0                0                0.00  |
1.59/1.67	c | 1.67      | 0  | 3760         lb |  0                0                0.00  |
1.59/1.67	c | 1.68      | 0  | 3761         lb |  0                0                0.00  |
1.59/1.68	c | 1.68      | 0  | 3764         lb |  0                0                0.00  |
1.59/1.68	c | 1.69      | 0  | 3766         lb |  0                0                0.00  |
1.59/1.69	c | 1.70      | 0  | 3767         lb |  0                0                0.00  |
1.69/1.70	c | 1.70      | 0  | 3768         lb |  0                0                0.00  |
1.69/1.70	c | 1.71      | 0  | 3770         lb |  0                0                0.00  |
1.69/1.71	c | 1.72      | 0  | 3772         lb |  0                0                0.00  |
1.69/1.72	c | 1.72      | 0  | 3773         lb |  0                0                0.00  |
1.69/1.72	c | 1.73      | 0  | 3774         lb |  0                0                0.00  |
1.69/1.73	c | 1.74      | 0  | 3775         lb |  0                0                0.00  |
1.69/1.74	c | 1.74      | 0  | 3778         lb |  0                0                0.00  |
1.69/1.75	c | 1.75      | 0  | 3779         lb |  0                0                0.00  |
1.69/1.75	c | 1.76      | 0  | 3780         lb |  0                0                0.00  |
1.69/1.76	c | 1.76      | 0  | 3786         lb |  0                0                0.00  |
1.69/1.77	c | 1.77      | 0  | 3787         lb |  0                0                0.00  |
1.69/1.77	c | 1.78      | 0  | 3788         lb |  0                0                0.00  |
1.69/1.78	c | 1.78      | 0  | 3789         lb |  0                0                0.00  |
1.69/1.79	c | 1.79      | 0  | 3790         lb |  0                0                0.00  |
1.69/1.79	c | 1.80      | 0  | 3791         lb |  0                0                0.00  |
1.79/1.80	c | 1.80      | 0  | 3792         lb |  0                0                0.00  |
1.79/1.81	c | 1.81      | 0  | 3793         lb |  0                0                0.00  |
1.79/1.81	c | 1.82      | 0  | 3794         lb |  0                0                0.00  |
1.79/1.82	c | 1.83      | 0  | 3795         lb |  0                0                0.00  |
1.79/1.83	c | 1.83      | 0  | 3797         lb |  0                0                0.00  |
1.79/1.84	c | 1.84      | 0  | 3799         lb |  0                0                0.00  |
1.79/1.84	c | 1.85      | 0  | 3800         lb |  0                0                0.00  |
1.79/1.85	c | 1.85      | 0  | 3803         lb |  0                0                0.00  |
1.79/1.86	c | 1.86      | 0  | 3804         lb |  0                0                0.00  |
1.79/1.86	c | 1.87      | 0  | 3805         lb |  0                0                0.00  |
1.79/1.87	c | 1.87      | 0  | 3807         lb |  0                0                0.00  |
1.79/1.88	c | 1.88      | 0  | 3808         lb |  0                0                0.00  |
1.79/1.88	c | 1.89      | 0  | 3809         lb |  0                0                0.00  |
1.79/1.89	c | 1.89      | 0  | 3810         lb |  0                0                0.00  |
1.89/1.90	c | 1.90      | 0  | 3811         lb |  0                0                0.00  |
1.89/1.90	c | 1.91      | 0  | 3814         lb |  0                0                0.00  |
1.89/1.91	c | 1.91      | 0  | 3815         lb |  0                0                0.00  |
1.89/1.92	c | 1.92      | 0  | 3817         lb |  0                0                0.00  |
1.89/1.92	c | 1.93      | 0  | 3819         lb |  0                0                0.00  |
1.89/1.93	c | 1.93      | 0  | 3820         lb |  0                0                0.00  |
1.89/1.93	c | 1.94      | 0  | 3821         lb |  0                0                0.00  |
1.89/1.94	c | 1.95      | 0  | 3822         lb |  0                0                0.00  |
1.89/1.95	c | 1.95      | 0  | 3823         lb |  0                0                0.00  |
1.89/1.96	c | 1.96      | 0  | 3825         lb |  0                0                0.00  |
1.89/1.96	c | 1.97      | 0  | 3826         lb |  0                0                0.00  |
1.89/1.97	c | 1.97      | 0  | 3828         lb |  0                0                0.00  |
1.89/1.98	c | 1.98      | 0  | 3829         lb |  0                0                0.00  |
1.89/1.99	c | 1.99      | 0  | 3831         lb |  0                0                0.00  |
1.89/1.99	c | 2.00      | 0  | 3832         lb |  0                0                0.00  |
1.99/2.00	c | 2.00      | 0  | 3834         lb |  0                0                0.00  |
1.99/2.01	c | 2.01      | 0  | 3835         lb |  0                0                0.00  |
1.99/2.01	c | 2.02      | 0  | 3836         lb |  0                0                0.00  |
1.99/2.02	c | 2.02      | 0  | 3843         lb |  0                0                0.00  |
1.99/2.03	c | 2.03      | 0  | 3845         lb |  0                0                0.00  |
1.99/2.03	c | 2.04      | 0  | 3849         lb |  0                0                0.00  |
1.99/2.04	c | 2.04      | 0  | 3850         lb |  0                0                0.00  |
1.99/2.05	c | 2.05      | 0  | 3851         lb |  0                0                0.00  |
1.99/2.05	c | 2.06      | 0  | 3853         lb |  0                0                0.00  |
1.99/2.06	c | 2.06      | 0  | 3854         lb |  0                0                0.00  |
1.99/2.07	c | 2.07      | 0  | 3855         lb |  0                0                0.00  |
1.99/2.08	c | 2.08      | 0  | 3856         lb |  0                0                0.00  |
1.99/2.08	c | 2.09      | 0  | 3857         lb |  0                0                0.00  |
1.99/2.09	c | 2.09      | 0  | 3858         lb |  0                0                0.00  |
2.09/2.10	c | 2.10      | 0  | 3859         lb |  0                0                0.00  |
2.09/2.10	c | 2.11      | 0  | 3861         lb |  0                0                0.00  |
2.09/2.11	c | 2.11      | 0  | 3865         lb |  0                0                0.00  |
2.09/2.12	c | 2.12      | 0  | 3866         lb |  0                0                0.00  |
2.09/2.12	c | 2.13      | 0  | 3867         lb |  0                0                0.00  |
2.09/2.13	c | 2.13      | 0  | 3868         lb |  0                0                0.00  |
2.09/2.14	c | 2.14      | 0  | 3875         lb |  0                0                0.00  |
2.09/2.15	c | 2.15      | 0  | 3877         lb |  0                0                0.00  |
2.09/2.15	c | 2.16      | 0  | 3879         lb |  0                0                0.00  |
2.09/2.16	c | 2.16      | 0  | 3880         lb |  0                0                0.00  |
2.09/2.17	c | 2.17      | 0  | 3881         lb |  0                0                0.00  |
2.09/2.18	c | 2.18      | 0  | 3882         lb |  0                0                0.00  |
2.09/2.18	c | 2.19      | 0  | 3883         lb |  0                0                0.00  |
2.09/2.19	c | 2.19      | 0  | 3884         lb |  0                0                0.00  |
2.09/2.20	c | 2.20      | 0  | 3885         lb |  0                0                0.00  |
2.19/2.21	c | 2.21      | 0  | 3886         lb |  0                0                0.00  |
2.19/2.22	c | 2.22      | 0  | 3887         lb |  0                0                0.00  |
2.19/2.23	c | 2.23      | 0  | 3888         lb |  0                0                0.00  |
2.19/2.23	c | 2.24      | 0  | 3892         lb |  0                0                0.00  |
2.19/2.24	c | 2.25      | 0  | 3894         lb |  0                0                0.00  |
2.19/2.25	c | 2.25      | 0  | 3895         lb |  0                0                0.00  |
2.19/2.26	c | 2.26      | 0  | 3896         lb |  0                0                0.00  |
2.19/2.27	c | 2.27      | 0  | 3897         lb |  0                0                0.00  |
2.19/2.28	c | 2.28      | 0  | 3898         lb |  0                0                0.00  |
2.19/2.29	c | 2.29      | 0  | 3899         lb |  0                0                0.00  |
2.19/2.30	c | 2.30      | 0  | 3900         lb |  0                0                0.00  |
2.29/2.30	c | 2.31      | 0  | 3901         lb |  0                0                0.00  |
2.29/2.31	c | 2.32      | 0  | 3902         lb |  0                0                0.00  |
2.29/2.32	c | 2.33      | 0  | 3903         lb |  0                0                0.00  |
2.29/2.33	c | 2.34      | 0  | 3904         lb |  0                0                0.00  |
2.29/2.34	c | 2.35      | 0  | 3905         lb |  0                0                0.00  |
2.29/2.35	c | 2.35      | 0  | 3908         lb |  0                0                0.00  |
2.29/2.36	c | 2.37      | 0  | 3909         lb |  0                0                0.00  |
2.29/2.37	c | 2.38      | 0  | 3910         lb |  0                0                0.00  |
2.29/2.38	c | 2.39      | 0  | 3911         lb |  0                0                0.00  |
2.29/2.39	c | 2.40      | 0  | 3912         lb |  0                0                0.00  |
2.39/2.40	c | 2.40      | 0  | 3913         lb |  0                0                0.00  |
2.39/2.41	c | 2.42      | 0  | 3914         lb |  0                0                0.00  |
2.39/2.43	c | 2.43      | 0  | 3915         lb |  0                0                0.00  |
2.39/2.44	c | 2.45      | 0  | 3916         lb |  0                0                0.00  |
2.39/2.46	c | 2.46      | 0  | 3917         lb |  0                0                0.00  |
2.39/2.47	c | 2.47      | 0  | 3918         lb |  0                0                0.00  |
2.39/2.48	c | 2.48      | 0  | 3919         lb |  0                0                0.00  |
2.39/2.49	c | 2.49      | 0  | 3920         lb |  0                0                0.00  |
2.49/2.50	c | 2.50      | 0  | 3926         lb |  0                0                0.00  |
2.49/2.51	c | 2.51      | 0  | 3927         lb |  0                0                0.00  |
2.49/2.52	c | 2.52      | 0  | 3928         lb |  0                0                0.00  |
2.49/2.53	c | 2.53      | 0  | 3929         lb |  0                0                0.00  |
2.49/2.54	c | 2.54      | 0  | 3930         lb |  0                0                0.00  |
2.49/2.55	c | 2.55      | 0  | 3931         lb |  0                0                0.00  |
2.49/2.56	c | 2.56      | 0  | 3932         lb |  0                0                0.00  |
2.49/2.57	c | 2.57      | 0  | 3933         lb |  0                0                0.00  |
2.49/2.58	c | 2.59      | 0  | 3934         lb |  0                0                0.00  |
2.49/2.59	c | 2.60      | 0  | 3935         lb |  0                0                0.00  |
2.59/2.61	c | 2.61      | 0  | 3936         lb |  0                0                0.00  |
2.59/2.62	c | 2.62      | 0  | 3937         lb |  0                0                0.00  |
2.59/2.63	c | 2.63      | 0  | 3938         lb |  0                0                0.00  |
2.59/2.66	c | 2.67      | 0  | 3939         lb |  0                0                0.00  |
2.59/2.67	c | 2.68      | 0  | 3946         lb |  0                0                0.00  |
2.59/2.69	c | 2.69      | 0  | 3947         lb |  0                0                0.00  |
2.69/2.71	c | 2.71      | 0  | 3948         lb |  0                0                0.00  |
2.69/2.72	c | 2.73      | 0  | 3949         lb |  0                0                0.00  |
2.69/2.74	c | 2.74      | 0  | 3950         lb |  0                0                0.00  |
2.69/2.75	c | 2.75      | 0  | 3951         lb |  0                0                0.00  |
2.79/2.87	c | 2.87      | 0  | 3952         lb |  0                0                0.00  |
2.89/2.99	c | 2.99      | 0  | 3953         lb |  0                0                0.00  |
2.99/3.00	c | 3.01      | 0  | 3954         lb |  0                0                0.00  |
2.99/3.02	c | 3.02      | 0  | 3955         lb |  0                0                0.00  |
2.99/3.03	c | 3.03      | 0  | 3956         lb |  0                0                0.00  |
2.99/3.05	c | 3.06      | 0  | 3957         lb |  0                0                0.00  |
2.99/3.07	c | 3.07      | 0  | 3958         lb |  0                0                0.00  |
3.89/3.91	c | 3.91      | 0  | 3959         lb |  0                0                0.00  |
3.89/3.93	c | 3.94      | 0  | 3961         lb |  0                0                0.00  |
3.89/3.94	c | 3.95      | 0  | 3966         lb |  0                0                0.00  |
3.89/3.96	c | 3.96      | 0  | 3967         lb |  0                0                0.00  |
3.89/3.97	c | 3.98      | 0  | 3968         lb |  0                0                0.00  |
3.89/3.99	c | 3.99      | 0  | 3969         lb |  0                0                0.00  |
3.99/4.01	c | 4.01      | 0  | 3970         lb |  0                0                0.00  |
3.99/4.02	c | 4.02      | 0  | 3971         lb |  0                0                0.00  |
3.99/4.04	c | 4.04      | 0  | 3972         lb |  0                0                0.00  |
3.99/4.05	c | 4.05      | 0  | 3973         lb |  0                0                0.00  |
3.99/4.06	c | 4.07      | 0  | 3974         lb |  0                0                0.00  |
3.99/4.08	c | 4.08      | 0  | 3975         lb |  0                0                0.00  |
3.99/4.09	c | 4.10      | 0  | 3976         lb |  0                0                0.00  |
4.09/4.11	c | 4.11      | 0  | 3977         lb |  0                0                0.00  |
4.09/4.13	c | 4.13      | 0  | 3978         lb |  0                0                0.00  |
4.09/4.14	c | 4.15      | 0  | 3979         lb |  0                0                0.00  |
15.50/15.52	c | 15.53     | 0  | 3980         lb |  0                0                0.00  |
15.50/15.57	c | 15.57     | 0  | 3981         lb |  0                0                0.00  |
15.50/15.58	c | 15.59     | 0  | 3982         lb |  0                0                0.00  |
15.59/15.60	c | 15.60     | 0  | 3983         lb |  0                0                0.00  |
15.59/15.61	c | 15.62     | 0  | 3984         lb |  0                0                0.00  |
15.59/15.63	c | 15.63     | 0  | 3985         lb |  0                0                0.00  |
15.59/15.65	c | 15.65     | 0  | 3986         lb |  0                0                0.00  |
15.59/15.67	c | 15.67     | 0  | 3987         lb |  0                0                0.00  |
19.29/19.37	c | 19.37     | 0  | 3988         lb |  0                0                0.00  |
19.79/19.83	c | 19.83     | 0  | 3989         lb |  0                0                0.00  |
19.79/19.85	c | 19.85     | 0  | 3990         lb |  0                0                0.00  |
19.79/19.86	c | 19.87     | 0  | 3991         lb |  0                0                0.00  |
19.79/19.88	c | 19.88     | 0  | 3992         lb |  0                0                0.00  |
19.79/19.90	c | 19.90     | 0  | 3993         lb |  0                0                0.00  |
30.09/30.14	c | 30.14     | 0  | 3994         lb |  0                0                0.00  |
30.09/30.19	c | 30.20     | 0  | 3995         lb |  0                0                0.00  |
37.29/37.34	c | 37.34     | 0  | 3996         lb |  0                0                0.00  |
37.39/37.42	c | 37.42     | 0  | 3997         lb |  0                0                0.00  |
42.58/42.65	c | 42.66     | 0  | 3998         lb |  0                0                0.00  |
42.58/42.69	c | 42.70     | 0  | 3999         lb |  0                0                0.00  |
42.68/42.71	c | 42.72     | 0  | 4000         lb |  0                0                0.00  |
42.78/42.88	c | 42.88     | 0  | 4001         lb |  0                0                0.00  |
42.78/42.89	c | 42.90     | 0  | 4003         lb |  0                0                0.00  |
42.89/42.92	c | 42.92     | 0  | 4004         lb |  0                0                0.00  |
42.89/42.94	c | 42.95     | 0  | 4005         lb |  0                0                0.00  |
42.89/42.96	c | 42.96     | 0  | 4006         lb |  0                0                0.00  |
42.89/42.98	c | 42.98     | 0  | 4007         lb |  0                0                0.00  |
42.89/43.00	c | 43.00     | 0  | 4008         lb |  0                0                0.00  |
42.99/43.02	c | 43.03     | 0  | 4009         lb |  0                0                0.00  |
42.99/43.04	c | 43.05     | 0  | 4010         lb |  0                0                0.00  |
42.99/43.06	c | 43.06     | 0  | 4011         lb |  0                0                0.00  |
42.99/43.08	c | 43.09     | 0  | 4012         lb |  0                0                0.00  |
43.08/43.11	c | 43.11     | 0  | 4013         lb |  0                0                0.00  |
43.08/43.14	c | 43.14     | 0  | 4014         lb |  0                0                0.00  |
43.08/43.16	c | 43.16     | 0  | 4015         lb |  0                0                0.00  |
43.08/43.18	c | 43.19     | 0  | 4016         lb |  0                0                0.00  |
51.69/51.73	c | 51.73     | 0  | 4017         lb |  0                0                0.00  |
51.79/51.81	c | 51.81     | 0  | 4018         lb |  0                0                0.00  |
51.79/51.83	c | 51.84     | 0  | 4019         lb |  0                0                0.00  |
51.79/51.86	c | 51.86     | 0  | 4020         lb |  0                0                0.00  |
51.79/51.88	c | 51.88     | 0  | 4021         lb |  0                0                0.00  |
51.88/51.90	c | 51.91     | 0  | 4022         lb |  0                0                0.00  |
64.68/64.75	c | 64.76     | 0  | 4023         lb |  0                0                0.00  |
64.78/64.83	c | 64.83     | 0  | 4024         lb |  0                0                0.00  |
64.78/64.86	c | 64.86     | 0  | 4025         lb |  0                0                0.00  |
303.01/303.14	c | 303.14    | 0  | 4026         lb |  0                0                0.00  |
303.51/303.64	c | 303.64    | 0  | 4027         lb |  0                0                0.00  |
303.51/303.68	c | 303.68    | 0  | 4028         lb |  0                0                0.00  |
303.51/303.70	c | 303.70    | 0  | 4029         lb |  0                0                0.00  |
303.61/303.72	c | 303.72    | 0  | 4030         lb |  0                0                0.00  |
303.61/303.75	c | 303.75    | 0  | 4031         lb |  0                0                0.00  |
303.61/303.77	c | 303.77    | 0  | 4032         lb |  0                0                0.00  |
303.71/303.80	c | 303.80    | 0  | 4033         lb |  0                0                0.00  |
303.71/303.82	c | 303.82    | 0  | 4035         lb |  0                0                0.00  |
303.71/303.88	c | 303.88    | 0  | 4036         lb |  0                0                0.00  |
303.81/303.90	c | 303.90    | 0  | 4037         lb |  0                0                0.00  |
303.81/303.92	c | 303.93    | 0  | 4038         lb |  0                0                0.00  |
303.81/303.95	c | 303.95    | 0  | 4039         lb |  0                0                0.00  |
303.81/303.98	c | 303.98    | 0  | 4040         lb |  0                0                0.00  |
303.91/304.00	c | 304.00    | 0  | 4041         lb |  0                0                0.00  |
303.91/304.02	c | 304.03    | 0  | 4042         lb |  0                0                0.00  |
303.91/304.04	c | 304.05    | 0  | 4043         lb |  0                0                0.00  |
303.91/304.07	c | 304.08    | 0  | 4044         lb |  0                0                0.00  |
303.91/304.09	c | 304.10    | 0  | 4045         lb |  0                0                0.00  |
304.01/304.13	c | 304.13    | 0  | 4046         lb |  0                0                0.00  |
304.01/304.15	c | 304.15    | 0  | 4047         lb |  0                0                0.00  |
304.01/304.18	c | 304.18    | 0  | 4048         lb |  0                0                0.00  |
304.11/304.20	c | 304.20    | 0  | 4049         lb |  0                0                0.00  |
304.11/304.22	c | 304.23    | 0  | 4050         lb |  0                0                0.00  |
304.11/304.25	c | 304.25    | 0  | 4051         lb |  0                0                0.00  |
304.11/304.27	c | 304.28    | 0  | 4052         lb |  0                0                0.00  |
304.21/304.30	c | 304.31    | 0  | 4053         lb |  0                0                0.00  |
304.21/304.32	c | 304.33    | 0  | 4054         lb |  0                0                0.00  |
304.21/304.35	c | 304.35    | 0  | 4055         lb |  0                0                0.00  |
304.21/304.37	c | 304.38    | 0  | 4056         lb |  0                0                0.00  |
304.21/304.39	c | 304.40    | 0  | 4057         lb |  0                0                0.00  |
304.31/304.42	c | 304.42    | 0  | 4058         lb |  0                0                0.00  |
384.59/384.79	c | 384.80    | 0  | 4059         lb |  0                0                0.00  |
384.90/385.01	c | 385.02    | 0  | 4060         lb |  0                0                0.00  |
384.90/385.05	c | 385.05    | 0  | 4061         lb |  0                0                0.00  |
384.90/385.07	c | 385.08    | 0  | 4062         lb |  0                0                0.00  |
385.00/385.19	c | 385.19    | 0  | 4063         lb |  0                0                0.00  |
385.09/385.22	c | 385.22    | 0  | 4064         lb |  0                0                0.00  |
385.09/385.25	c | 385.25    | 0  | 4065         lb |  0                0                0.00  |
385.19/385.30	c | 385.30    | 0  | 4066         lb |  0                0                0.00  |
385.19/385.33	c | 385.33    | 0  | 4067         lb |  0                0                0.00  |
385.19/385.38	c | 385.38    | 0  | 4068         lb |  0                0                0.00  |
385.29/385.41	c | 385.41    | 0  | 4069         lb |  0                0                0.00  |
385.29/385.43	c | 385.44    | 0  | 4070         lb |  0                0                0.00  |
385.29/385.47	c | 385.48    | 0  | 4071         lb |  0                0                0.00  |
385.59/385.75	c | 385.75    | 0  | 4072         lb |  0                0                0.00  |
385.59/385.78	c | 385.78    | 0  | 4073         lb |  0                0                0.00  |
385.69/385.80	c | 385.81    | 0  | 4074         lb |  0                0                0.00  |
385.69/385.83	c | 385.83    | 0  | 4075         lb |  0                0                0.00  |
385.69/385.85	c | 385.86    | 0  | 4076         lb |  0                0                0.00  |
385.69/385.88	c | 385.89    | 0  | 4077         lb |  0                0                0.00  |
385.79/385.91	c | 385.92    | 0  | 4078         lb |  0                0                0.00  |
385.79/385.94	c | 385.94    | 0  | 4079         lb |  0                0                0.00  |
385.89/386.00	c | 386.00    | 0  | 4080         lb |  0                0                0.00  |
385.89/386.03	c | 386.03    | 0  | 4081         lb |  0                0                0.00  |
385.89/386.06	c | 386.06    | 0  | 4082         lb |  0                0                0.00  |
388.30/388.41	c | 388.41    | 0  | 4083         lb |  0                0                0.00  |
388.30/388.45	c | 388.46    | 0  | 4084         lb |  0                0                0.00  |
389.89/390.07	c | 390.07    | 0  | 4085         lb |  0                0                0.00  |
389.99/390.11	c | 390.11    | 0  | 4086         lb |  0                0                0.00  |
389.99/390.14	c | 390.14    | 0  | 4087         lb |  0                0                0.00  |
389.99/390.17	c | 390.18    | 0  | 4088         lb |  0                0                0.00  |
390.09/390.20	c | 390.21    | 0  | 4089         lb |  0                0                0.00  |
390.09/390.24	c | 390.24    | 0  | 4090         lb |  0                0                0.00  |
390.09/390.27	c | 390.28    | 0  | 4091         lb |  0                0                0.00  |
798.19/798.47	c | 798.47    | 0  | 4092         lb |  0                0                0.00  |
1282.68/1283.05	c | 1283.05   | 0  | 4093         lb |  0                0                0.00  |
1283.79/1284.14	c | 1284.14   | 0  | 4094         lb |  0                0                0.00  |
1283.89/1284.21	c | 1284.21   | 0  | 4095         lb |  0                0                0.00  |
1799.59/1800.00	c ===============================================================================
1799.59/1800.00	c Wall Clock Time: 1800.00 s
1799.59/1800.00	s UNKNOWN

Verifier Data

ERROR: no interpretation found !

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3705076-1338091155/watcher-3705076-1338091155 -o /tmp/evaluation-result-3705076-1338091155/solver-3705076-1338091155 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3705076-1338091155.opb 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.01 2.01 1.96 3/177 3030
/proc/meminfo: memFree=30057760/32873844 swapFree=7628/7628
[pid=3030] ppid=3028 vsize=83812 CPUtime=0 cores=1,3,5,7
/proc/3030/stat : 3030 (wbo1.7) S 3028 3030 2698 0 -1 4202496 803 0 0 0 0 0 0 0 20 0 2 0 275239873 85823488 741 33554432000 4194304 5963574 140733553285744 140733553285264 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3030/statm: 20953 744 174 432 0 20518 0
[pid=3030/tid=3031] ppid=3028 vsize=83812 CPUtime=0 cores=1,3,5,7
/proc/3030/task/3031/stat : 3031 (wbo1.7) R 3028 3030 2698 0 -1 4202560 38 0 0 0 0 0 0 0 20 0 2 0 275239874 85823488 748 33554432000 4194304 5963574 140733553285744 140734002555560 5243463 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0

[startup+0.10056 s]
/proc/loadavg: 2.01 2.01 1.96 3/177 3030
/proc/meminfo: memFree=30057760/32873844 swapFree=7628/7628
[pid=3030] ppid=3028 vsize=83812 CPUtime=0.09 cores=1,3,5,7
/proc/3030/stat : 3030 (wbo1.7) S 3028 3030 2698 0 -1 4202496 1135 0 0 0 9 0 0 0 20 0 2 0 275239873 85823488 1071 33554432000 4194304 5963574 140733553285744 140733553285264 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3030/statm: 20953 1071 194 432 0 20518 0
[pid=3030/tid=3031] ppid=3028 vsize=83812 CPUtime=0.08 cores=1,3,5,7
/proc/3030/task/3031/stat : 3031 (wbo1.7) R 3028 3030 2698 0 -1 4202560 363 0 0 0 8 0 0 0 20 0 2 0 275239874 85823488 1071 33554432000 4194304 5963574 140733553285744 140734002555560 5141669 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 83812

[startup+0.200343 s]
/proc/loadavg: 2.01 2.01 1.96 3/177 3030
/proc/meminfo: memFree=30057760/32873844 swapFree=7628/7628
[pid=3030] ppid=3028 vsize=83812 CPUtime=0.19 cores=1,3,5,7
/proc/3030/stat : 3030 (wbo1.7) S 3028 3030 2698 0 -1 4202496 1391 0 0 0 19 0 0 0 20 0 2 0 275239873 85823488 1294 33554432000 4194304 5963574 140733553285744 140733553285264 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3030/statm: 20953 1294 194 432 0 20518 0
[pid=3030/tid=3031] ppid=3028 vsize=83812 CPUtime=0.18 cores=1,3,5,7
/proc/3030/task/3031/stat : 3031 (wbo1.7) R 3028 3030 2698 0 -1 4202560 619 0 0 0 18 0 0 0 20 0 2 0 275239874 85823488 1294 33554432000 4194304 5963574 140733553285744 140734002555560 4418759 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 83812

[startup+0.300294 s]
/proc/loadavg: 2.01 2.01 1.96 3/177 3030
/proc/meminfo: memFree=30057760/32873844 swapFree=7628/7628
[pid=3030] ppid=3028 vsize=83812 CPUtime=0.29 cores=1,3,5,7
/proc/3030/stat : 3030 (wbo1.7) S 3028 3030 2698 0 -1 4202496 1634 0 0 0 29 0 0 0 20 0 2 0 275239873 85823488 1489 33554432000 4194304 5963574 140733553285744 140733553285264 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3030/statm: 20953 1489 195 432 0 20518 0
[pid=3030/tid=3031] ppid=3028 vsize=83812 CPUtime=0.28 cores=1,3,5,7
/proc/3030/task/3031/stat : 3031 (wbo1.7) R 3028 3030 2698 0 -1 4202560 862 0 0 0 28 0 0 0 20 0 2 0 275239874 85823488 1489 33554432000 4194304 5963574 140733553285744 140734002555560 5138334 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 83812

[startup+0.700268 s]
/proc/loadavg: 2.01 2.01 1.96 3/177 3030
/proc/meminfo: memFree=30057760/32873844 swapFree=7628/7628
[pid=3030] ppid=3028 vsize=83812 CPUtime=0.69 cores=1,3,5,7
/proc/3030/stat : 3030 (wbo1.7) S 3028 3030 2698 0 -1 4202496 3911 0 0 0 69 0 0 0 20 0 2 0 275239873 85823488 2479 33554432000 4194304 5963574 140733553285744 140733553285264 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3030/statm: 20953 2479 197 432 0 20518 0
[pid=3030/tid=3031] ppid=3028 vsize=83812 CPUtime=0.68 cores=1,3,5,7
/proc/3030/task/3031/stat : 3031 (wbo1.7) R 3028 3030 2698 0 -1 4202560 3139 0 0 0 68 0 0 0 20 0 2 0 275239874 85823488 2479 33554432000 4194304 5963574 140733553285744 140734002555560 5134809 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 83812

[startup+1.5003 s]
/proc/loadavg: 2.01 2.01 1.96 3/179 3032
/proc/meminfo: memFree=29993652/32873844 swapFree=7628/7628
[pid=3030] ppid=3028 vsize=83812 CPUtime=1.48 cores=1,3,5,7
/proc/3030/stat : 3030 (wbo1.7) S 3028 3030 2698 0 -1 4202496 9595 0 0 0 147 1 0 0 20 0 2 0 275239873 85823488 3839 33554432000 4194304 5963574 140733553285744 140733553285264 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3030/statm: 20953 3839 197 432 0 20518 0
[pid=3030/tid=3031] ppid=3028 vsize=83812 CPUtime=1.48 cores=1,3,5,7
/proc/3030/task/3031/stat : 3031 (wbo1.7) R 3028 3030 2698 0 -1 4202560 8823 0 0 0 146 2 0 0 20 0 2 0 275239874 85823488 3839 33554432000 4194304 5963574 140733553285744 140611301681688 5133477 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 83812

[startup+3.10032 s]
/proc/loadavg: 2.01 2.01 1.96 3/179 3032
/proc/meminfo: memFree=29943424/32873844 swapFree=7628/7628
[pid=3030] ppid=3028 vsize=83812 CPUtime=3.09 cores=1,3,5,7
/proc/3030/stat : 3030 (wbo1.7) S 3028 3030 2698 0 -1 4202496 17506 0 0 0 306 3 0 0 20 0 2 0 275239873 85823488 6312 33554432000 4194304 5963574 140733553285744 140733553285264 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3030/statm: 20953 6312 198 432 0 20518 0
[pid=3030/tid=3031] ppid=3028 vsize=83812 CPUtime=3.07 cores=1,3,5,7
/proc/3030/task/3031/stat : 3031 (wbo1.7) R 3028 3030 2698 0 -1 4202560 16734 0 0 0 304 3 0 0 20 0 2 0 275239874 85823488 6312 33554432000 4194304 5963574 140733553285744 140611301681496 4221984 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 83812

[startup+6.3003 s]
/proc/loadavg: 2.01 2.01 1.96 3/179 3032
/proc/meminfo: memFree=29842348/32873844 swapFree=7628/7628
[pid=3030] ppid=3028 vsize=83812 CPUtime=6.29 cores=1,3,5,7
/proc/3030/stat : 3030 (wbo1.7) S 3028 3030 2698 0 -1 4202496 18586 0 0 0 626 3 0 0 20 0 2 0 275239873 85823488 7391 33554432000 4194304 5963574 140733553285744 140733553285264 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3030/statm: 20953 7391 198 432 0 20518 0
[pid=3030/tid=3031] ppid=3028 vsize=83812 CPUtime=6.26 cores=1,3,5,7
/proc/3030/task/3031/stat : 3031 (wbo1.7) R 3028 3030 2698 0 -1 4202560 17814 0 0 0 623 3 0 0 20 0 2 0 275239874 85823488 7391 33554432000 4194304 5963574 140733553285744 140611301680952 4399971 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 83812

[startup+12.7003 s]
/proc/loadavg: 2.01 2.00 1.96 3/179 3032
/proc/meminfo: memFree=29796256/32873844 swapFree=7628/7628
[pid=3030] ppid=3028 vsize=83812 CPUtime=12.69 cores=1,3,5,7
/proc/3030/stat : 3030 (wbo1.7) S 3028 3030 2698 0 -1 4202496 20307 0 0 0 1265 4 0 0 20 0 2 0 275239873 85823488 9112 33554432000 4194304 5963574 140733553285744 140733553285264 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3030/statm: 20953 9112 198 432 0 20518 0
[pid=3030/tid=3031] ppid=3028 vsize=83812 CPUtime=12.65 cores=1,3,5,7
/proc/3030/task/3031/stat : 3031 (wbo1.7) R 3028 3030 2698 0 -1 4202560 19535 0 0 0 1262 3 0 0 20 0 2 0 275239874 85823488 9112 33554432000 4194304 5963574 140733553285744 140611301680952 4399390 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 83812

[startup+25.5003 s]
/proc/loadavg: 2.01 2.00 1.96 3/179 3032
/proc/meminfo: memFree=29770828/32873844 swapFree=7628/7628
[pid=3030] ppid=3028 vsize=83812 CPUtime=25.49 cores=1,3,5,7
/proc/3030/stat : 3030 (wbo1.7) S 3028 3030 2698 0 -1 4202496 22256 0 0 0 2545 4 0 0 20 0 2 0 275239873 85823488 11060 33554432000 4194304 5963574 140733553285744 140733553285264 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3030/statm: 20953 11060 198 432 0 20518 0
[pid=3030/tid=3031] ppid=3028 vsize=83812 CPUtime=25.41 cores=1,3,5,7
/proc/3030/task/3031/stat : 3031 (wbo1.7) R 3028 3030 2698 0 -1 4202560 21484 0 0 0 2537 4 0 0 20 0 2 0 275239874 85823488 11060 33554432000 4194304 5963574 140733553285744 140611301681688 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 83812

[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 1.96 3/180 3035
/proc/meminfo: memFree=29756016/32873844 swapFree=7628/7628
[pid=3030] ppid=3028 vsize=83812 CPUtime=51.08 cores=1,3,5,7
/proc/3030/stat : 3030 (wbo1.7) S 3028 3030 2698 0 -1 4202496 22439 0 0 0 5104 4 0 0 20 0 2 0 275239873 85823488 11243 33554432000 4194304 5963574 140733553285744 140733553285264 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3030/statm: 20953 11243 198 432 0 20518 0
[pid=3030/tid=3031] ppid=3028 vsize=83812 CPUtime=50.95 cores=1,3,5,7
/proc/3030/task/3031/stat : 3031 (wbo1.7) R 3028 3030 2698 0 -1 4202560 21667 0 0 0 5091 4 0 0 20 0 2 0 275239874 85823488 11243 33554432000 4194304 5963574 140733553285744 140611301681688 4399390 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 83812

[startup+102.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/180 3036
/proc/meminfo: memFree=29700152/32873844 swapFree=7628/7628
[pid=3030] ppid=3028 vsize=149348 CPUtime=102.28 cores=1,3,5,7
/proc/3030/stat : 3030 (wbo1.7) S 3028 3030 2698 0 -1 4202496 29613 0 0 0 10221 7 0 0 20 0 2 0 275239873 152932352 17038 33554432000 4194304 5963574 140733553285744 140733553285264 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3030/statm: 37337 17038 198 432 0 36902 0
[pid=3030/tid=3031] ppid=3028 vsize=149348 CPUtime=102.02 cores=1,3,5,7
/proc/3030/task/3031/stat : 3031 (wbo1.7) R 3028 3030 2698 0 -1 4202560 28841 0 0 0 10194 8 0 0 20 0 2 0 275239874 152932352 17038 33554432000 4194304 5963574 140733553285744 140611301680952 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 149348

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/180 3059
/proc/meminfo: memFree=29610660/32873844 swapFree=7628/7628
[pid=3030] ppid=3028 vsize=150072 CPUtime=162.25 cores=1,3,5,7
/proc/3030/stat : 3030 (wbo1.7) S 3028 3030 2698 0 -1 4202496 38634 0 0 0 16213 12 0 0 20 0 2 0 275239873 153673728 26173 33554432000 4194304 5963574 140733553285744 140733553285264 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3030/statm: 37518 26173 198 432 0 37083 0
[pid=3030/tid=3031] ppid=3028 vsize=150072 CPUtime=161.85 cores=1,3,5,7
/proc/3030/task/3031/stat : 3031 (wbo1.7) R 3028 3030 2698 0 -1 4202560 37862 0 0 0 16172 13 0 0 20 0 2 0 275239874 153673728 26173 33554432000 4194304 5963574 140733553285744 140611301681144 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 150072

[startup+222.307 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 3059
/proc/meminfo: memFree=29556300/32873844 swapFree=7628/7628
[pid=3030] ppid=3028 vsize=215608 CPUtime=222.22 cores=1,3,5,7
/proc/3030/stat : 3030 (wbo1.7) S 3028 3030 2698 0 -1 4202496 46136 0 0 0 22206 16 0 0 20 0 2 0 275239873 220782592 34518 33554432000 4194304 5963574 140733553285744 140733553285264 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3030/statm: 53902 34518 198 432 0 53467 0
[pid=3030/tid=3031] ppid=3028 vsize=215608 CPUtime=221.68 cores=1,3,5,7
/proc/3030/task/3031/stat : 3031 (wbo1.7) R 3028 3030 2698 0 -1 4202560 45364 0 0 0 22149 19 0 0 20 0 2 0 275239874 220782592 34518 33554432000 4194304 5963574 140733553285744 140611301680952 4399623 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 215608

[startup+282.3 s]
/proc/loadavg: 2.04 2.01 1.96 3/179 3059
/proc/meminfo: memFree=29490732/32873844 swapFree=7628/7628
[pid=3030] ppid=3028 vsize=215968 CPUtime=282.21 cores=1,3,5,7
/proc/3030/stat : 3030 (wbo1.7) S 3028 3030 2698 0 -1 4202496 51868 0 0 0 28202 19 0 0 20 0 2 0 275239873 221151232 40246 33554432000 4194304 5963574 140733553285744 140733553285264 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3030/statm: 53992 40246 198 432 0 53557 0
[pid=3030/tid=3031] ppid=3028 vsize=215968 CPUtime=281.52 cores=1,3,5,7
/proc/3030/task/3031/stat : 3031 (wbo1.7) R 3028 3030 2698 0 -1 4202560 51096 0 0 0 28129 23 0 0 20 0 2 0 275239874 221151232 40246 33554432000 4194304 5963574 140733553285744 140611301680952 4388696 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 215968

[startup+342.3 s]
/proc/loadavg: 2.01 2.01 1.96 3/179 3059
/proc/meminfo: memFree=29454452/32873844 swapFree=7628/7628
[pid=3030] ppid=3028 vsize=214884 CPUtime=342.2 cores=1,3,5,7
/proc/3030/stat : 3030 (wbo1.7) S 3028 3030 2698 0 -1 4202496 54536 0 0 0 34200 20 0 0 20 0 2 0 275239873 220041216 41763 33554432000 4194304 5963574 140733553285744 140733553285264 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3030/statm: 53721 41763 198 432 0 53286 0
[pid=3030/tid=3031] ppid=3028 vsize=214884 CPUtime=341.37 cores=1,3,5,7
/proc/3030/task/3031/stat : 3031 (wbo1.7) R 3028 3030 2698 0 -1 4202560 53764 0 0 0 34112 25 0 0 20 0 2 0 275239874 220041216 41763 33554432000 4194304 5963574 140733553285744 140611301681688 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 214884

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 3060
/proc/meminfo: memFree=29450112/32873844 swapFree=7628/7628
[pid=3030] ppid=3028 vsize=214884 CPUtime=402.19 cores=1,3,5,7
/proc/3030/stat : 3030 (wbo1.7) S 3028 3030 2698 0 -1 4202496 54657 0 0 0 40199 20 0 0 20 0 2 0 275239873 220041216 41884 33554432000 4194304 5963574 140733553285744 140733553285264 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0

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


[startup+1362.3 s]
/proc/loadavg: 2.03 2.01 1.98 3/179 3069
/proc/meminfo: memFree=29188036/32873844 swapFree=7628/7628
[pid=3030] ppid=3028 vsize=345956 CPUtime=1361.98 cores=1,3,5,7
/proc/3030/stat : 3030 (wbo1.7) S 3028 3030 2698 0 -1 4202496 94393 0 0 0 136158 40 0 0 20 0 2 0 275239873 354258944 82295 33554432000 4194304 5963574 140733553285744 140733553285264 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3030/statm: 86489 82295 198 432 0 86054 0
[pid=3030/tid=3031] ppid=3028 vsize=345956 CPUtime=1358.69 cores=1,3,5,7
/proc/3030/task/3031/stat : 3031 (wbo1.7) R 3028 3030 2698 0 -1 4202560 93621 0 0 0 135810 59 0 0 20 0 2 0 275239874 354258944 82295 33554432000 4194304 5963574 140733553285744 140611301681688 4399592 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1361.98
Current children cumulated vsize (KiB) 345956

[startup+1422.3 s]
/proc/loadavg: 2.01 2.00 1.98 3/179 3069
/proc/meminfo: memFree=29188284/32873844 swapFree=7628/7628
[pid=3030] ppid=3028 vsize=345956 CPUtime=1421.97 cores=1,3,5,7
/proc/3030/stat : 3030 (wbo1.7) S 3028 3030 2698 0 -1 4202496 94393 0 0 0 142157 40 0 0 20 0 2 0 275239873 354258944 82295 33554432000 4194304 5963574 140733553285744 140733553285264 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3030/statm: 86489 82295 198 432 0 86054 0
[pid=3030/tid=3031] ppid=3028 vsize=345956 CPUtime=1418.54 cores=1,3,5,7
/proc/3030/task/3031/stat : 3031 (wbo1.7) R 3028 3030 2698 0 -1 4202560 93621 0 0 0 141794 60 0 0 20 0 2 0 275239874 354258944 82295 33554432000 4194304 5963574 140733553285744 140611301681688 4399623 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.97
Current children cumulated vsize (KiB) 345956

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 3069
/proc/meminfo: memFree=29187572/32873844 swapFree=7628/7628
[pid=3030] ppid=3028 vsize=345956 CPUtime=1481.96 cores=1,3,5,7
/proc/3030/stat : 3030 (wbo1.7) S 3028 3030 2698 0 -1 4202496 94394 0 0 0 148156 40 0 0 20 0 2 0 275239873 354258944 82525 33554432000 4194304 5963574 140733553285744 140733553285264 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3030/statm: 86489 82525 198 432 0 86054 0
[pid=3030/tid=3031] ppid=3028 vsize=345956 CPUtime=1478.38 cores=1,3,5,7
/proc/3030/task/3031/stat : 3031 (wbo1.7) R 3028 3030 2698 0 -1 4202560 93622 0 0 0 147777 61 0 0 20 0 2 0 275239874 354258944 82525 33554432000 4194304 5963574 140733553285744 140611301681688 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.96
Current children cumulated vsize (KiB) 345956

[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 3069
/proc/meminfo: memFree=29186668/32873844 swapFree=7628/7628
[pid=3030] ppid=3028 vsize=345956 CPUtime=1541.95 cores=1,3,5,7
/proc/3030/stat : 3030 (wbo1.7) S 3028 3030 2698 0 -1 4202496 94402 0 0 0 154155 40 0 0 20 0 2 0 275239873 354258944 82779 33554432000 4194304 5963574 140733553285744 140733553285264 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3030/statm: 86489 82779 198 432 0 86054 0
[pid=3030/tid=3031] ppid=3028 vsize=345956 CPUtime=1538.23 cores=1,3,5,7
/proc/3030/task/3031/stat : 3031 (wbo1.7) R 3028 3030 2698 0 -1 4202560 93630 0 0 0 153761 62 0 0 20 0 2 0 275239874 354258944 82779 33554432000 4194304 5963574 140733553285744 140611301681688 4410413 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.95
Current children cumulated vsize (KiB) 345956

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 3070
/proc/meminfo: memFree=29187292/32873844 swapFree=7628/7628
[pid=3030] ppid=3028 vsize=345956 CPUtime=1601.93 cores=1,3,5,7
/proc/3030/stat : 3030 (wbo1.7) S 3028 3030 2698 0 -1 4202496 94439 0 0 0 160153 40 0 0 20 0 2 0 275239873 354258944 82814 33554432000 4194304 5963574 140733553285744 140733553285264 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3030/statm: 86489 82814 198 432 0 86054 0
[pid=3030/tid=3031] ppid=3028 vsize=345956 CPUtime=1598.07 cores=1,3,5,7
/proc/3030/task/3031/stat : 3031 (wbo1.7) R 3028 3030 2698 0 -1 4202560 93667 0 0 0 159744 63 0 0 20 0 2 0 275239874 354258944 82814 33554432000 4194304 5963574 140733553285744 140611301681688 4399546 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.93
Current children cumulated vsize (KiB) 345956

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 3071
/proc/meminfo: memFree=29186724/32873844 swapFree=7628/7628
[pid=3030] ppid=3028 vsize=345956 CPUtime=1661.92 cores=1,3,5,7
/proc/3030/stat : 3030 (wbo1.7) S 3028 3030 2698 0 -1 4202496 94443 0 0 0 166152 40 0 0 20 0 2 0 275239873 354258944 82818 33554432000 4194304 5963574 140733553285744 140733553285264 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3030/statm: 86489 82818 198 432 0 86054 0
[pid=3030/tid=3031] ppid=3028 vsize=345956 CPUtime=1657.92 cores=1,3,5,7
/proc/3030/task/3031/stat : 3031 (wbo1.7) R 3028 3030 2698 0 -1 4202560 93671 0 0 0 165728 64 0 0 20 0 2 0 275239874 354258944 82818 33554432000 4194304 5963574 140733553285744 140611301681688 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.92
Current children cumulated vsize (KiB) 345956

[startup+1722.3 s]
/proc/loadavg: 2.04 2.01 1.98 3/179 3071
/proc/meminfo: memFree=29186724/32873844 swapFree=7628/7628
[pid=3030] ppid=3028 vsize=345956 CPUtime=1721.91 cores=1,3,5,7
/proc/3030/stat : 3030 (wbo1.7) S 3028 3030 2698 0 -1 4202496 94446 0 0 0 172151 40 0 0 20 0 2 0 275239873 354258944 82821 33554432000 4194304 5963574 140733553285744 140733553285264 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3030/statm: 86489 82821 198 432 0 86054 0
[pid=3030/tid=3031] ppid=3028 vsize=345956 CPUtime=1717.76 cores=1,3,5,7
/proc/3030/task/3031/stat : 3031 (wbo1.7) R 3028 3030 2698 0 -1 4202560 93674 0 0 0 171711 65 0 0 20 0 2 0 275239874 354258944 82821 33554432000 4194304 5963574 140733553285744 140611301681688 4399625 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.91
Current children cumulated vsize (KiB) 345956

[startup+1782.3 s]
/proc/loadavg: 2.04 2.02 1.99 3/179 3071
/proc/meminfo: memFree=29186352/32873844 swapFree=7628/7628
[pid=3030] ppid=3028 vsize=345956 CPUtime=1781.9 cores=1,3,5,7
/proc/3030/stat : 3030 (wbo1.7) S 3028 3030 2698 0 -1 4202496 94586 0 0 0 178150 40 0 0 20 0 2 0 275239873 354258944 82961 33554432000 4194304 5963574 140733553285744 140733553285264 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3030/statm: 86489 82961 198 432 0 86054 0
[pid=3030/tid=3031] ppid=3028 vsize=345956 CPUtime=1777.61 cores=1,3,5,7
/proc/3030/task/3031/stat : 3031 (wbo1.7) R 3028 3030 2698 0 -1 4202560 93814 0 0 0 177695 66 0 0 20 0 2 0 275239874 354258944 82961 33554432000 4194304 5963574 140733553285744 140611301681144 4399448 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.9
Current children cumulated vsize (KiB) 345956

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

[startup+1792.01 s]
/proc/loadavg: 2.04 2.02 1.99 3/179 3071
/proc/meminfo: memFree=29177052/32873844 swapFree=7628/7628
[pid=3030] ppid=3028 vsize=411492 CPUtime=1791.6 cores=1,3,5,7
/proc/3030/stat : 3030 (wbo1.7) S 3028 3030 2698 0 -1 4202496 96827 0 0 0 179119 41 0 0 20 0 2 0 275239873 421367808 85202 33554432000 4194304 5963574 140733553285744 140733553285264 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3030/statm: 102873 85202 198 432 0 102438 0
[pid=3030/tid=3031] ppid=3028 vsize=411492 CPUtime=1787.29 cores=1,3,5,7
/proc/3030/task/3031/stat : 3031 (wbo1.7) R 3028 3030 2698 0 -1 4202560 96055 0 0 0 178661 68 0 0 20 0 2 0 275239874 421367808 85202 33554432000 4194304 5963574 140733553285744 140611301681192 4399474 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1791.6
Current children cumulated vsize (KiB) 411492

[startup+1795.2 s]
/proc/loadavg: 2.04 2.02 1.99 3/179 3071
/proc/meminfo: memFree=29175936/32873844 swapFree=7628/7628
[pid=3030] ppid=3028 vsize=411492 CPUtime=1794.8 cores=1,3,5,7
/proc/3030/stat : 3030 (wbo1.7) S 3028 3030 2698 0 -1 4202496 97071 0 0 0 179439 41 0 0 20 0 2 0 275239873 421367808 85446 33554432000 4194304 5963574 140733553285744 140733553285264 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3030/statm: 102873 85446 198 432 0 102438 0
[pid=3030/tid=3031] ppid=3028 vsize=411492 CPUtime=1790.48 cores=1,3,5,7
/proc/3030/task/3031/stat : 3031 (wbo1.7) R 3028 3030 2698 0 -1 4202560 96299 0 0 0 178980 68 0 0 20 0 2 0 275239874 421367808 85446 33554432000 4194304 5963574 140733553285744 140611301681144 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1794.8
Current children cumulated vsize (KiB) 411492

[startup+1798.4 s]
/proc/loadavg: 2.03 2.02 1.99 3/179 3071
/proc/meminfo: memFree=29175936/32873844 swapFree=7628/7628
[pid=3030] ppid=3028 vsize=411492 CPUtime=1797.99 cores=1,3,5,7
/proc/3030/stat : 3030 (wbo1.7) S 3028 3030 2698 0 -1 4202496 97071 0 0 0 179758 41 0 0 20 0 2 0 275239873 421367808 85446 33554432000 4194304 5963574 140733553285744 140733553285264 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3030/statm: 102873 85446 198 432 0 102438 0
[pid=3030/tid=3031] ppid=3028 vsize=411492 CPUtime=1793.67 cores=1,3,5,7
/proc/3030/task/3031/stat : 3031 (wbo1.7) R 3028 3030 2698 0 -1 4202560 96299 0 0 0 179299 68 0 0 20 0 2 0 275239874 421367808 85446 33554432000 4194304 5963574 140733553285744 140611301681144 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1797.99
Current children cumulated vsize (KiB) 411492

[startup+1799.2 s]
/proc/loadavg: 2.03 2.02 1.99 3/179 3071
/proc/meminfo: memFree=29175936/32873844 swapFree=7628/7628
[pid=3030] ppid=3028 vsize=411492 CPUtime=1798.79 cores=1,3,5,7
/proc/3030/stat : 3030 (wbo1.7) S 3028 3030 2698 0 -1 4202496 97071 0 0 0 179838 41 0 0 20 0 2 0 275239873 421367808 85446 33554432000 4194304 5963574 140733553285744 140733553285264 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3030/statm: 102873 85446 198 432 0 102438 0
[pid=3030/tid=3031] ppid=3028 vsize=411492 CPUtime=1794.47 cores=1,3,5,7
/proc/3030/task/3031/stat : 3031 (wbo1.7) R 3028 3030 2698 0 -1 4202560 96299 0 0 0 179379 68 0 0 20 0 2 0 275239874 421367808 85446 33554432000 4194304 5963574 140733553285744 140611301681144 4399623 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1798.79
Current children cumulated vsize (KiB) 411492

[startup+1799.6 s]
/proc/loadavg: 2.03 2.02 1.99 3/179 3071
/proc/meminfo: memFree=29175936/32873844 swapFree=7628/7628
[pid=3030] ppid=3028 vsize=411492 CPUtime=1799.2 cores=1,3,5,7
/proc/3030/stat : 3030 (wbo1.7) S 3028 3030 2698 0 -1 4202496 97071 0 0 0 179879 41 0 0 20 0 2 0 275239873 421367808 85446 33554432000 4194304 5963574 140733553285744 140733553285264 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3030/statm: 102873 85446 198 432 0 102438 0
[pid=3030/tid=3031] ppid=3028 vsize=411492 CPUtime=1794.87 cores=1,3,5,7
/proc/3030/task/3031/stat : 3031 (wbo1.7) R 3028 3030 2698 0 -1 4202560 96299 0 0 0 179419 68 0 0 20 0 2 0 275239874 421367808 85446 33554432000 4194304 5963574 140733553285744 140611301681144 4399574 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.2
Current children cumulated vsize (KiB) 411492

[startup+1800 s]
/proc/loadavg: 2.03 2.02 1.99 3/179 3071
/proc/meminfo: memFree=29175936/32873844 swapFree=7628/7628
[pid=3030] ppid=3028 vsize=411492 CPUtime=1799.59 cores=1,3,5,7
/proc/3030/stat : 3030 (wbo1.7) S 3028 3030 2698 0 -1 4202496 97071 0 0 0 179918 41 0 0 20 0 2 0 275239873 421367808 85446 33554432000 4194304 5963574 140733553285744 140733553285264 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3030/statm: 102873 85446 198 432 0 102438 0
[pid=3030/tid=3031] ppid=3028 vsize=411492 CPUtime=1795.27 cores=1,3,5,7
/proc/3030/task/3031/stat : 3031 (wbo1.7) R 3028 3030 2698 0 -1 4202560 96299 0 0 0 179459 68 0 0 20 0 2 0 275239874 421367808 85446 33554432000 4194304 5963574 140733553285744 140611301681144 4399574 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.59
Current children cumulated vsize (KiB) 411492

Child status: 255

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 3030 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=600179
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=694894
# CPU time returned by wait4() is 1795.3
# while last known CPU time is 1799.59
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1800
CPU time (s): 1799.59
CPU user time (s): 1799.18
CPU system time (s): 0.41
CPU usage (%): 99.977
Max. virtual memory (cumulated for all children) (KiB): 411492

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.6
system time used= 0.694894
maximum resident set size= 341784
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 97071
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= 120
involuntary context switches= 1851

runsolver used 9.42857 second user time and 15.1997 second system time

The end

Launcher Data

Begin job on node145 at 2012-05-27 05:59:15
IDJOB=3705076
IDBENCH=2015
IDSOLVER=2283
FILE ID=node145/3705076-1338091155
RUNJOBID= node145-1338087553-2715
PBS_JOBID= 14624445
Free space on /tmp= 71548 MiB

SOLVER NAME= wbo 1.7
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/synthesis-ptl-cmos-circuits/normalized-my_adder.opb
COMMAND LINE= wbo1.7 -file-format=opb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3705076-1338091155/watcher-3705076-1338091155 -o /tmp/evaluation-result-3705076-1338091155/solver-3705076-1338091155 -C 1800 -W 1900 -M 15500  wbo1.7 -file-format=opb HOME/instance-3705076-1338091155.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 38f65eab3d9896915eed9a127435e25b
RANDOM SEED=1494673589

node145.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.149
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.149
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.149
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5313.38
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.149
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.149
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.149
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.149
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.149
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.89
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        30058132 kB
Buffers:          289384 kB
Cached:          1674756 kB
SwapCached:            0 kB
Active:           666344 kB
Inactive:        1335068 kB
Active(anon):      28668 kB
Inactive(anon):    10912 kB
Active(file):     637676 kB
Inactive(file):  1324156 kB
Unevictable:        7628 kB
Mlocked:            7628 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             14096 kB
Writeback:             0 kB
AnonPages:         44596 kB
Mapped:            15076 kB
Shmem:               200 kB
Slab:             674152 kB
SReclaimable:     115100 kB
SUnreclaim:       559052 kB
KernelStack:        1456 kB
PageTables:         3996 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     158876 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71552 MiB
End job on node145 at 2012-05-27 06:29:15