Trace number 3727874

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.72? 1799.46 1800.01

General information on the benchmark

Name/OPT-SMALLINT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_luby_20null10mast_rapportOE1.0_TMAX60_K67_cod3.opb
MD5SUM438c25da2e5c4802d30b8fcc00d9e167
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-2372
Best CPU time to get the best result obtained on this benchmark1011.7
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables40451
Total number of constraints40950
Number of constraints which are clauses40396
Number of constraints which are cardinality constraints (but not clauses)553
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint1
Maximum length of a constraint40128
Number of terms in the objective function 25674
Biggest coefficient in the objective function 256
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 896610
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 256
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 896610
Number of bits of the biggest sum of numbers20
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.72 beta - May, 2012                            |
0.00/0.00	c |                                                                             |
0.00/0.00	c Parsing opb file format. File HOME/instance-3727874-1338672584.opb.
0.00/0.00	c Instance file HOME/instance-3727874-1338672584.opb
0.00/0.00	c File size is 2728437 bytes.
0.19/0.23	c Cost Offset: -896610
0.19/0.23	c Highest Coefficient sum: 89688
0.19/0.23	c ============================[ Problem Statistics ]=============================
0.19/0.23	c |                                                                             |
0.19/0.23	c |  Parsing time:          0.23         s                                      |
0.19/0.23	c |  Number Variables:      40451                                               |
0.19/0.23	c |  Number Clauses:        40396                                               |
0.19/0.23	c |  Number Cardinality:    553                                                 |
0.19/0.23	c |  Number PB Constraints: 1                                                   |
0.19/0.23	c |                                                                             |
0.19/0.26	c |  Problem Type:          Optimization                                        |
0.19/0.26	c |  Objective Function:    PB Constraint                                       |
0.19/0.26	c |                                                                             |
0.19/0.26	c ============================[ Search Statistics ]==============================
0.19/0.26	c | Time (s)  | ID |      Bound      |               Shared Clauses             |
0.19/0.26	c |           |    | value      type |  expCls         impCls        Lit/impCl  |
0.19/0.26	c ===============================================================================
0.29/0.31	c | 0.32      | 0  | -896354      lb |  0                0                0.00  |
0.29/0.35	c | 0.35      | 0  | -896098      lb |  0                0                0.00  |
0.29/0.38	c | 0.39      | 0  | -895842      lb |  0                0                0.00  |
0.38/0.41	c | 0.42      | 0  | -895841      lb |  0                0                0.00  |
0.38/0.45	c | 0.45      | 0  | -895840      lb |  0                0                0.00  |
0.38/0.48	c | 0.48      | 0  | -895838      lb |  0                0                0.00  |
0.49/0.52	c | 0.52      | 0  | -895834      lb |  0                0                0.00  |
0.49/0.55	c | 0.56      | 0  | -895832      lb |  0                0                0.00  |
0.49/0.59	c | 0.59      | 0  | -895576      lb |  0                0                0.00  |
0.59/0.63	c | 0.63      | 0  | -895575      lb |  0                0                0.00  |
0.59/0.66	c | 0.67      | 0  | -895573      lb |  0                0                0.00  |
0.69/0.70	c | 0.70      | 0  | -895569      lb |  0                0                0.00  |
0.69/0.74	c | 0.74      | 0  | -895561      lb |  0                0                0.00  |
0.69/0.78	c | 0.78      | 0  | -895560      lb |  0                0                0.00  |
0.79/0.82	c | 0.82      | 0  | -895559      lb |  0                0                0.00  |
0.79/0.86	c | 0.86      | 0  | -895558      lb |  0                0                0.00  |
0.88/0.90	c | 0.91      | 0  | -895554      lb |  0                0                0.00  |
0.88/0.94	c | 0.95      | 0  | -895553      lb |  0                0                0.00  |
0.88/0.99	c | 0.99      | 0  | -895552      lb |  0                0                0.00  |
1.00/1.03	c | 1.03      | 0  | -895550      lb |  0                0                0.00  |
1.00/1.07	c | 1.08      | 0  | -895549      lb |  0                0                0.00  |
1.09/1.11	c | 1.12      | 0  | -895547      lb |  0                0                0.00  |
1.09/1.16	c | 1.16      | 0  | -895543      lb |  0                0                0.00  |
1.19/1.20	c | 1.21      | 0  | -895535      lb |  0                0                0.00  |
1.19/1.24	c | 1.25      | 0  | -895534      lb |  0                0                0.00  |
1.19/1.29	c | 1.29      | 0  | -895532      lb |  0                0                0.00  |
1.28/1.33	c | 1.34      | 0  | -895276      lb |  0                0                0.00  |
1.28/1.38	c | 1.38      | 0  | -895275      lb |  0                0                0.00  |
1.38/1.43	c | 1.43      | 0  | -895273      lb |  0                0                0.00  |
1.38/1.47	c | 1.48      | 0  | -895269      lb |  0                0                0.00  |
1.48/1.52	c | 1.52      | 0  | -895013      lb |  0                0                0.00  |
1.48/1.57	c | 1.57      | 0  | -895012      lb |  0                0                0.00  |
1.58/1.61	c | 1.62      | 0  | -895010      lb |  0                0                0.00  |
1.58/1.66	c | 1.66      | 0  | -895009      lb |  0                0                0.00  |
1.68/1.71	c | 1.71      | 0  | -895008      lb |  0                0                0.00  |
1.68/1.75	c | 1.76      | 0  | -895006      lb |  0                0                0.00  |
1.78/1.80	c | 1.80      | 0  | -895002      lb |  0                0                0.00  |
1.78/1.85	c | 1.85      | 0  | -894994      lb |  0                0                0.00  |
1.89/1.90	c | 1.90      | 0  | -894993      lb |  0                0                0.00  |
1.89/1.95	c | 1.95      | 0  | -894992      lb |  0                0                0.00  |
1.99/2.00	c | 2.00      | 0  | -894990      lb |  0                0                0.00  |
1.99/2.05	c | 2.05      | 0  | -894989      lb |  0                0                0.00  |
1.99/2.10	c | 2.10      | 0  | -894733      lb |  0                0                0.00  |
2.09/2.15	c | 2.15      | 0  | -894731      lb |  0                0                0.00  |
2.09/2.19	c | 2.20      | 0  | -894727      lb |  0                0                0.00  |
2.19/2.24	c | 2.25      | 0  | -894726      lb |  0                0                0.00  |
2.19/2.29	c | 2.30      | 0  | -894724      lb |  0                0                0.00  |
2.28/2.34	c | 2.35      | 0  | -894723      lb |  0                0                0.00  |
2.28/2.40	c | 2.40      | 0  | -894722      lb |  0                0                0.00  |
2.39/2.45	c | 2.45      | 0  | -894720      lb |  0                0                0.00  |
2.49/2.50	c | 2.50      | 0  | -894464      lb |  0                0                0.00  |
2.49/2.55	c | 2.55      | 0  | -894448      lb |  0                0                0.00  |
2.59/2.60	c | 2.60      | 0  | -894416      lb |  0                0                0.00  |
2.59/2.65	c | 2.65      | 0  | -894415      lb |  0                0                0.00  |
2.69/2.70	c | 2.71      | 0  | -894414      lb |  0                0                0.00  |
2.69/2.75	c | 2.76      | 0  | -894158      lb |  0                0                0.00  |
2.78/2.81	c | 2.81      | 0  | -894157      lb |  0                0                0.00  |
2.78/2.86	c | 2.86      | 0  | -894156      lb |  0                0                0.00  |
2.88/2.91	c | 2.91      | 0  | -894155      lb |  0                0                0.00  |
2.88/2.96	c | 2.97      | 0  | -893899      lb |  0                0                0.00  |
2.98/3.01	c | 3.02      | 0  | -893895      lb |  0                0                0.00  |
2.98/3.07	c | 3.07      | 0  | -893639      lb |  0                0                0.00  |
3.08/3.12	c | 3.12      | 0  | -893638      lb |  0                0                0.00  |
3.08/3.17	c | 3.18      | 0  | -893637      lb |  0                0                0.00  |
3.19/3.23	c | 3.23      | 0  | -893635      lb |  0                0                0.00  |
3.19/3.28	c | 3.29      | 0  | -893634      lb |  0                0                0.00  |
3.29/3.33	c | 3.34      | 0  | -893378      lb |  0                0                0.00  |
3.29/3.39	c | 3.39      | 0  | -893377      lb |  0                0                0.00  |
3.39/3.44	c | 3.45      | 0  | -893376      lb |  0                0                0.00  |
3.49/3.50	c | 3.50      | 0  | -893374      lb |  0                0                0.00  |
3.49/3.55	c | 3.56      | 0  | -893118      lb |  0                0                0.00  |
3.59/3.61	c | 3.61      | 0  | -893117      lb |  0                0                0.00  |
3.59/3.66	c | 3.67      | 0  | -893115      lb |  0                0                0.00  |
3.68/3.72	c | 3.72      | 0  | -893111      lb |  0                0                0.00  |
3.68/3.77	c | 3.78      | 0  | -893103      lb |  0                0                0.00  |
3.78/3.83	c | 3.83      | 0  | -892847      lb |  0                0                0.00  |
3.78/3.88	c | 3.89      | 0  | -892591      lb |  0                0                0.00  |
3.88/3.94	c | 3.94      | 0  | -892335      lb |  0                0                0.00  |
3.88/3.99	c | 4.00      | 0  | -892334      lb |  0                0                0.00  |
3.98/4.05	c | 4.05      | 0  | -892333      lb |  0                0                0.00  |
4.08/4.11	c | 4.11      | 0  | -892331      lb |  0                0                0.00  |
4.08/4.16	c | 4.17      | 0  | -892327      lb |  0                0                0.00  |
4.18/4.22	c | 4.22      | 0  | -892326      lb |  0                0                0.00  |
4.18/4.28	c | 4.28      | 0  | -892070      lb |  0                0                0.00  |
4.29/4.33	c | 4.34      | 0  | -892069      lb |  0                0                0.00  |
4.29/4.39	c | 4.39      | 0  | -892068      lb |  0                0                0.00  |
4.39/4.45	c | 4.45      | 0  | -892066      lb |  0                0                0.00  |
4.48/4.51	c | 4.51      | 0  | -892062      lb |  0                0                0.00  |
4.48/4.57	c | 4.57      | 0  | -891806      lb |  0                0                0.00  |
4.58/4.63	c | 4.63      | 0  | -891805      lb |  0                0                0.00  |
4.58/4.69	c | 4.69      | 0  | -891803      lb |  0                0                0.00  |
4.69/4.75	c | 4.75      | 0  | -891802      lb |  0                0                0.00  |
4.79/4.80	c | 4.81      | 0  | -891801      lb |  0                0                0.00  |
4.79/4.86	c | 4.87      | 0  | -891799      lb |  0                0                0.00  |
4.88/4.92	c | 4.92      | 0  | -891795      lb |  0                0                0.00  |
4.88/4.98	c | 4.99      | 0  | -891794      lb |  0                0                0.00  |
4.98/5.04	c | 5.04      | 0  | -891793      lb |  0                0                0.00  |
5.09/5.10	c | 5.10      | 0  | -891791      lb |  0                0                0.00  |
5.09/5.16	c | 5.16      | 0  | -891790      lb |  0                0                0.00  |
5.19/5.22	c | 5.22      | 0  | -891789      lb |  0                0                0.00  |
5.19/5.28	c | 5.28      | 0  | -891781      lb |  0                0                0.00  |
5.29/5.34	c | 5.34      | 0  | -891765      lb |  0                0                0.00  |
5.29/5.40	c | 5.40      | 0  | -891763      lb |  0                0                0.00  |
5.39/5.45	c | 5.46      | 0  | -891762      lb |  0                0                0.00  |
5.49/5.51	c | 5.52      | 0  | -891506      lb |  0                0                0.00  |
5.49/5.57	c | 5.58      | 0  | -891505      lb |  0                0                0.00  |
5.58/5.63	c | 5.64      | 0  | -891504      lb |  0                0                0.00  |
5.58/5.70	c | 5.70      | 0  | -891248      lb |  0                0                0.00  |
5.68/5.76	c | 5.76      | 0  | -891247      lb |  0                0                0.00  |
5.78/5.82	c | 5.82      | 0  | -891246      lb |  0                0                0.00  |
5.78/5.88	c | 5.88      | 0  | -891244      lb |  0                0                0.00  |
5.88/5.94	c | 5.94      | 0  | -891242      lb |  0                0                0.00  |
5.98/6.00	c | 6.00      | 0  | -890986      lb |  0                0                0.00  |
5.98/6.06	c | 6.07      | 0  | -890984      lb |  0                0                0.00  |
6.08/6.12	c | 6.13      | 0  | -890983      lb |  0                0                0.00  |
6.08/6.19	c | 6.19      | 0  | -890727      lb |  0                0                0.00  |
6.18/6.24	c | 6.25      | 0  | -890725      lb |  0                0                0.00  |
6.29/6.31	c | 6.31      | 0  | -890721      lb |  0                0                0.00  |
6.29/6.37	c | 6.37      | 0  | -890713      lb |  0                0                0.00  |
6.39/6.43	c | 6.43      | 0  | -890697      lb |  0                0                0.00  |
6.39/6.49	c | 6.50      | 0  | -890696      lb |  0                0                0.00  |
6.49/6.56	c | 6.56      | 0  | -890694      lb |  0                0                0.00  |
6.59/6.62	c | 6.62      | 0  | -890438      lb |  0                0                0.00  |
6.59/6.68	c | 6.69      | 0  | -890437      lb |  0                0                0.00  |
6.68/6.75	c | 6.75      | 0  | -890435      lb |  0                0                0.00  |
6.78/6.81	c | 6.81      | 0  | -890431      lb |  0                0                0.00  |
6.78/6.87	c | 6.88      | 0  | -890175      lb |  0                0                0.00  |
6.88/6.94	c | 6.94      | 0  | -889919      lb |  0                0                0.00  |
6.98/7.00	c | 7.00      | 0  | -889917      lb |  0                0                0.00  |
6.98/7.06	c | 7.07      | 0  | -889916      lb |  0                0                0.00  |
7.08/7.13	c | 7.13      | 0  | -889914      lb |  0                0                0.00  |
7.08/7.19	c | 7.19      | 0  | -889910      lb |  0                0                0.00  |
7.18/7.25	c | 7.26      | 0  | -889902      lb |  0                0                0.00  |
7.28/7.32	c | 7.32      | 0  | -889901      lb |  0                0                0.00  |
7.28/7.38	c | 7.39      | 0  | -889899      lb |  0                0                0.00  |
7.39/7.45	c | 7.45      | 0  | -889898      lb |  0                0                0.00  |
7.49/7.51	c | 7.52      | 0  | -889897      lb |  0                0                0.00  |
7.49/7.58	c | 7.58      | 0  | -889895      lb |  0                0                0.00  |
7.59/7.64	c | 7.65      | 0  | -889891      lb |  0                0                0.00  |
7.69/7.71	c | 7.71      | 0  | -889890      lb |  0                0                0.00  |
7.69/7.77	c | 7.78      | 0  | -889889      lb |  0                0                0.00  |
7.79/7.84	c | 7.84      | 0  | -889887      lb |  0                0                0.00  |
7.88/7.91	c | 7.91      | 0  | -889886      lb |  0                0                0.00  |
7.88/7.97	c | 7.97      | 0  | -889885      lb |  0                0                0.00  |
7.98/8.04	c | 8.04      | 0  | -889883      lb |  0                0                0.00  |
8.08/8.10	c | 8.11      | 0  | -889627      lb |  0                0                0.00  |
8.08/8.17	c | 8.17      | 0  | -889611      lb |  0                0                0.00  |
8.18/8.24	c | 8.24      | 0  | -889579      lb |  0                0                0.00  |
8.28/8.30	c | 8.31      | 0  | -889578      lb |  0                0                0.00  |
8.28/8.37	c | 8.37      | 0  | -889577      lb |  0                0                0.00  |
8.39/8.44	c | 8.44      | 0  | -889576      lb |  0                0                0.00  |
8.49/8.50	c | 8.51      | 0  | -889575      lb |  0                0                0.00  |
8.49/8.57	c | 8.57      | 0  | -889573      lb |  0                0                0.00  |
8.59/8.64	c | 8.64      | 0  | -889569      lb |  0                0                0.00  |
8.69/8.71	c | 8.71      | 0  | -889568      lb |  0                0                0.00  |
8.69/8.77	c | 8.78      | 0  | -889566      lb |  0                0                0.00  |
8.79/8.84	c | 8.85      | 0  | -889565      lb |  0                0                0.00  |
8.88/8.91	c | 8.91      | 0  | -889564      lb |  0                0                0.00  |
8.88/8.98	c | 8.98      | 0  | -889562      lb |  0                0                0.00  |
8.98/9.04	c | 9.05      | 0  | -889558      lb |  0                0                0.00  |
9.08/9.11	c | 9.12      | 0  | -889550      lb |  0                0                0.00  |
9.08/9.18	c | 9.18      | 0  | -889294      lb |  0                0                0.00  |
9.19/9.25	c | 9.25      | 0  | -889038      lb |  0                0                0.00  |
9.29/9.32	c | 9.32      | 0  | -889036      lb |  0                0                0.00  |
9.29/9.39	c | 9.39      | 0  | -889035      lb |  0                0                0.00  |
9.39/9.46	c | 9.46      | 0  | -889034      lb |  0                0                0.00  |
9.48/9.53	c | 9.53      | 0  | -889033      lb |  0                0                0.00  |
9.48/9.59	c | 9.60      | 0  | -889032      lb |  0                0                0.00  |
9.58/9.67	c | 9.67      | 0  | -889030      lb |  0                0                0.00  |
9.68/9.73	c | 9.74      | 0  | -889029      lb |  0                0                0.00  |
9.79/9.81	c | 9.81      | 0  | -889028      lb |  0                0                0.00  |
9.79/9.88	c | 9.88      | 0  | -889024      lb |  0                0                0.00  |
9.89/9.95	c | 9.95      | 0  | -889016      lb |  0                0                0.00  |
9.98/10.02	c | 10.02     | 0  | -889000      lb |  0                0                0.00  |
9.98/10.09	c | 10.09     | 0  | -888999      lb |  0                0                0.00  |
10.08/10.16	c | 10.16     | 0  | -888998      lb |  0                0                0.00  |
10.18/10.23	c | 10.23     | 0  | -888996      lb |  0                0                0.00  |
10.29/10.30	c | 10.31     | 0  | -888995      lb |  0                0                0.00  |
10.29/10.37	c | 10.38     | 0  | -888994      lb |  0                0                0.00  |
10.39/10.44	c | 10.45     | 0  | -888992      lb |  0                0                0.00  |
10.49/10.52	c | 10.52     | 0  | -888736      lb |  0                0                0.00  |
10.49/10.59	c | 10.59     | 0  | -888735      lb |  0                0                0.00  |
10.59/10.66	c | 10.66     | 0  | -888479      lb |  0                0                0.00  |
10.69/10.73	c | 10.73     | 0  | -888477      lb |  0                0                0.00  |
10.79/10.80	c | 10.80     | 0  | -888476      lb |  0                0                0.00  |
10.79/10.87	c | 10.88     | 0  | -888220      lb |  0                0                0.00  |
10.89/10.94	c | 10.95     | 0  | -888218      lb |  0                0                0.00  |
10.99/11.02	c | 11.02     | 0  | -888214      lb |  0                0                0.00  |
10.99/11.09	c | 11.10     | 0  | -888206      lb |  0                0                0.00  |
11.09/11.16	c | 11.17     | 0  | -888205      lb |  0                0                0.00  |
11.19/11.24	c | 11.24     | 0  | -888204      lb |  0                0                0.00  |
11.29/11.31	c | 11.31     | 0  | -888202      lb |  0                0                0.00  |
11.29/11.38	c | 11.39     | 0  | -888201      lb |  0                0                0.00  |
11.39/11.46	c | 11.46     | 0  | -888200      lb |  0                0                0.00  |
11.48/11.53	c | 11.53     | 0  | -888198      lb |  0                0                0.00  |
11.58/11.60	c | 11.60     | 0  | -888194      lb |  0                0                0.00  |
11.58/11.67	c | 11.68     | 0  | -888193      lb |  0                0                0.00  |
11.68/11.74	c | 11.75     | 0  | -888191      lb |  0                0                0.00  |
11.78/11.82	c | 11.82     | 0  | -888187      lb |  0                0                0.00  |
11.78/11.89	c | 11.90     | 0  | -888179      lb |  0                0                0.00  |
11.88/11.97	c | 11.97     | 0  | -888163      lb |  0                0                0.00  |
11.99/12.04	c | 12.04     | 0  | -888131      lb |  0                0                0.00  |
12.09/12.11	c | 12.12     | 0  | -888067      lb |  0                0                0.00  |
12.09/12.19	c | 12.19     | 0  | -887939      lb |  0                0                0.00  |
12.19/12.26	c | 12.27     | 0  | -887938      lb |  0                0                0.00  |
12.28/12.34	c | 12.34     | 0  | -887937      lb |  0                0                0.00  |
12.38/12.41	c | 12.42     | 0  | -887681      lb |  0                0                0.00  |
12.38/12.49	c | 12.49     | 0  | -887679      lb |  0                0                0.00  |
12.48/12.56	c | 12.57     | 0  | -887675      lb |  0                0                0.00  |
12.58/12.64	c | 12.64     | 0  | -887674      lb |  0                0                0.00  |
12.68/12.71	c | 12.72     | 0  | -887673      lb |  0                0                0.00  |
12.68/12.79	c | 12.79     | 0  | -887417      lb |  0                0                0.00  |
12.78/12.86	c | 12.87     | 0  | -887415      lb |  0                0                0.00  |
12.88/12.94	c | 12.94     | 0  | -887407      lb |  0                0                0.00  |
12.98/13.02	c | 13.02     | 0  | -887406      lb |  0                0                0.00  |
12.98/13.09	c | 13.10     | 0  | -887405      lb |  0                0                0.00  |
13.09/13.17	c | 13.17     | 0  | -887403      lb |  0                0                0.00  |
13.18/13.24	c | 13.25     | 0  | -887402      lb |  0                0                0.00  |
13.29/13.32	c | 13.32     | 0  | -887401      lb |  0                0                0.00  |
13.39/13.40	c | 13.40     | 0  | -887399      lb |  0                0                0.00  |
13.39/13.47	c | 13.48     | 0  | -887143      lb |  0                0                0.00  |
13.48/13.55	c | 13.56     | 0  | -887141      lb |  0                0                0.00  |
13.58/13.63	c | 13.63     | 0  | -887140      lb |  0                0                0.00  |
13.68/13.71	c | 13.71     | 0  | -887139      lb |  0                0                0.00  |
13.68/13.79	c | 13.79     | 0  | -887137      lb |  0                0                0.00  |
13.78/13.86	c | 13.87     | 0  | -886881      lb |  0                0                0.00  |
13.88/13.94	c | 13.94     | 0  | -886873      lb |  0                0                0.00  |
13.98/14.02	c | 14.02     | 0  | -886617      lb |  0                0                0.00  |
14.08/14.10	c | 14.10     | 0  | -886616      lb |  0                0                0.00  |
14.08/14.18	c | 14.18     | 0  | -886615      lb |  0                0                0.00  |
14.18/14.26	c | 14.26     | 0  | -886614      lb |  0                0                0.00  |
14.28/14.33	c | 14.34     | 0  | -886358      lb |  0                0                0.00  |
14.38/14.41	c | 14.42     | 0  | -886357      lb |  0                0                0.00  |
14.38/14.49	c | 14.49     | 0  | -886356      lb |  0                0                0.00  |
14.48/14.57	c | 14.58     | 0  | -886354      lb |  0                0                0.00  |
14.58/14.65	c | 14.65     | 0  | -886353      lb |  0                0                0.00  |
14.68/14.73	c | 14.74     | 0  | -886352      lb |  0                0                0.00  |
14.78/14.81	c | 14.81     | 0  | -886348      lb |  0                0                0.00  |
14.78/14.89	c | 14.90     | 0  | -886347      lb |  0                0                0.00  |
14.88/14.97	c | 14.98     | 0  | -886346      lb |  0                0                0.00  |
14.98/15.05	c | 15.06     | 0  | -886344      lb |  0                0                0.00  |
15.08/15.13	c | 15.14     | 0  | -886088      lb |  0                0                0.00  |
15.18/15.22	c | 15.22     | 0  | -886086      lb |  0                0                0.00  |
15.18/15.30	c | 15.30     | 0  | -886082      lb |  0                0                0.00  |
15.29/15.38	c | 15.38     | 0  | -886081      lb |  0                0                0.00  |
15.39/15.46	c | 15.46     | 0  | -885825      lb |  0                0                0.00  |
15.48/15.54	c | 15.55     | 0  | -885823      lb |  0                0                0.00  |
15.58/15.62	c | 15.63     | 0  | -885822      lb |  0                0                0.00  |
15.67/15.72	c | 15.72     | 0  | -885821      lb |  0                0                0.00  |
15.77/15.80	c | 15.80     | 0  | -885819      lb |  0                0                0.00  |
15.77/15.88	c | 15.88     | 0  | -885811      lb |  0                0                0.00  |
15.87/15.96	c | 15.96     | 0  | -885795      lb |  0                0                0.00  |
15.98/16.04	c | 16.05     | 0  | -885539      lb |  0                0                0.00  |
16.08/16.12	c | 16.13     | 0  | -885538      lb |  0                0                0.00  |
16.18/16.21	c | 16.21     | 0  | -885537      lb |  0                0                0.00  |
16.18/16.29	c | 16.29     | 0  | -885535      lb |  0                0                0.00  |
16.28/16.37	c | 16.38     | 0  | -885534      lb |  0                0                0.00  |
16.38/16.46	c | 16.46     | 0  | -885533      lb |  0                0                0.00  |
16.48/16.54	c | 16.54     | 0  | -885531      lb |  0                0                0.00  |
16.57/16.62	c | 16.63     | 0  | -885527      lb |  0                0                0.00  |
16.67/16.71	c | 16.71     | 0  | -885525      lb |  0                0                0.00  |
16.67/16.79	c | 16.79     | 0  | -885524      lb |  0                0                0.00  |
16.77/16.87	c | 16.88     | 0  | -885520      lb |  0                0                0.00  |
16.87/16.96	c | 16.96     | 0  | -885512      lb |  0                0                0.00  |
16.97/17.04	c | 17.04     | 0  | -885511      lb |  0                0                0.00  |
17.07/17.12	c | 17.13     | 0  | -885255      lb |  0                0                0.00  |
17.17/17.21	c | 17.21     | 0  | -885253      lb |  0                0                0.00  |
17.17/17.29	c | 17.30     | 0  | -885252      lb |  0                0                0.00  |
17.27/17.38	c | 17.38     | 0  | -885251      lb |  0                0                0.00  |
17.38/17.46	c | 17.47     | 0  | -885249      lb |  0                0                0.00  |
17.48/17.55	c | 17.55     | 0  | -885248      lb |  0                0                0.00  |
17.58/17.63	c | 17.64     | 0  | -885247      lb |  0                0                0.00  |
17.67/17.72	c | 17.73     | 0  | -885246      lb |  0                0                0.00  |
17.77/17.81	c | 17.81     | 0  | -885245      lb |  0                0                0.00  |
17.77/17.89	c | 17.90     | 0  | -885241      lb |  0                0                0.00  |
17.87/17.98	c | 17.98     | 0  | -885233      lb |  0                0                0.00  |
17.97/18.06	c | 18.07     | 0  | -885232      lb |  0                0                0.00  |
18.07/18.15	c | 18.15     | 0  | -885230      lb |  0                0                0.00  |
18.17/18.24	c | 18.24     | 0  | -884974      lb |  0                0                0.00  |
18.27/18.32	c | 18.33     | 0  | -884718      lb |  0                0                0.00  |
18.37/18.41	c | 18.42     | 0  | -884716      lb |  0                0                0.00  |
18.48/18.50	c | 18.51     | 0  | -884712      lb |  0                0                0.00  |
18.48/18.59	c | 18.59     | 0  | -884711      lb |  0                0                0.00  |
18.58/18.68	c | 18.68     | 0  | -884710      lb |  0                0                0.00  |
18.68/18.77	c | 18.77     | 0  | -884708      lb |  0                0                0.00  |
18.77/18.85	c | 18.86     | 0  | -884707      lb |  0                0                0.00  |
18.87/18.94	c | 18.95     | 0  | -884703      lb |  0                0                0.00  |
18.97/19.03	c | 19.03     | 0  | -884695      lb |  0                0                0.00  |
19.07/19.12	c | 19.12     | 0  | -884694      lb |  0                0                0.00  |
19.17/19.21	c | 19.21     | 0  | -884692      lb |  0                0                0.00  |
19.17/19.29	c | 19.30     | 0  | -884691      lb |  0                0                0.00  |
19.27/19.39	c | 19.39     | 0  | -884690      lb |  0                0                0.00  |
19.37/19.47	c | 19.48     | 0  | -884688      lb |  0                0                0.00  |
19.47/19.56	c | 19.57     | 0  | -884684      lb |  0                0                0.00  |
19.57/19.65	c | 19.66     | 0  | -884428      lb |  0                0                0.00  |
19.67/19.75	c | 19.75     | 0  | -884427      lb |  0                0                0.00  |
19.77/19.83	c | 19.84     | 0  | -884425      lb |  0                0                0.00  |
19.88/19.93	c | 19.93     | 0  | -884424      lb |  0                0                0.00  |
19.98/20.02	c | 20.02     | 0  | -884423      lb |  0                0                0.00  |
20.07/20.11	c | 20.11     | 0  | -884421      lb |  0                0                0.00  |
20.17/20.20	c | 20.20     | 0  | -884417      lb |  0                0                0.00  |
20.17/20.29	c | 20.29     | 0  | -884409      lb |  0                0                0.00  |
20.27/20.38	c | 20.38     | 0  | -884393      lb |  0                0                0.00  |
20.37/20.47	c | 20.48     | 0  | -884361      lb |  0                0                0.00  |
20.47/20.56	c | 20.57     | 0  | -884297      lb |  0                0                0.00  |
20.57/20.66	c | 20.66     | 0  | -884041      lb |  0                0                0.00  |
20.67/20.75	c | 20.75     | 0  | -884040      lb |  0                0                0.00  |
20.77/20.84	c | 20.84     | 0  | -884039      lb |  0                0                0.00  |
20.87/20.93	c | 20.93     | 0  | -884037      lb |  0                0                0.00  |
20.97/21.02	c | 21.03     | 0  | -884036      lb |  0                0                0.00  |
21.07/21.12	c | 21.12     | 0  | -884035      lb |  0                0                0.00  |
21.18/21.21	c | 21.21     | 0  | -884033      lb |  0                0                0.00  |
21.28/21.30	c | 21.30     | 0  | -884032      lb |  0                0                0.00  |
21.28/21.40	c | 21.40     | 0  | -884031      lb |  0                0                0.00  |
21.37/21.49	c | 21.49     | 0  | -884029      lb |  0                0                0.00  |
21.47/21.58	c | 21.59     | 0  | -884025      lb |  0                0                0.00  |
21.57/21.67	c | 21.68     | 0  | -884017      lb |  0                0                0.00  |
21.67/21.77	c | 21.77     | 0  | -884016      lb |  0                0                0.00  |
21.77/21.86	c | 21.86     | 0  | -884015      lb |  0                0                0.00  |
21.88/21.96	c | 21.96     | 0  | -884013      lb |  0                0                0.00  |
21.97/22.05	c | 22.05     | 0  | -884012      lb |  0                0                0.00  |
22.07/22.15	c | 22.15     | 0  | -883756      lb |  0                0                0.00  |
22.17/22.24	c | 22.25     | 0  | -883752      lb |  0                0                0.00  |
22.27/22.34	c | 22.34     | 0  | -883751      lb |  0                0                0.00  |
22.38/22.43	c | 22.43     | 0  | -883495      lb |  0                0                0.00  |
22.48/22.52	c | 22.53     | 0  | -883494      lb |  0                0                0.00  |
22.58/22.62	c | 22.62     | 0  | -883493      lb |  0                0                0.00  |
22.68/22.71	c | 22.72     | 0  | -883491      lb |  0                0                0.00  |
22.77/22.81	c | 22.81     | 0  | -883487      lb |  0                0                0.00  |
22.87/22.91	c | 22.91     | 0  | -883479      lb |  0                0                0.00  |
22.98/23.00	c | 23.01     | 0  | -883463      lb |  0                0                0.00  |
23.08/23.10	c | 23.11     | 0  | -883462      lb |  0                0                0.00  |
23.17/23.20	c | 23.20     | 0  | -883461      lb |  0                0                0.00  |
23.27/23.30	c | 23.30     | 0  | -883460      lb |  0                0                0.00  |
23.37/23.40	c | 23.40     | 0  | -883458      lb |  0                0                0.00  |
23.47/23.50	c | 23.50     | 0  | -883454      lb |  0                0                0.00  |
23.47/23.59	c | 23.60     | 0  | -883453      lb |  0                0                0.00  |
23.58/23.69	c | 23.69     | 0  | -883452      lb |  0                0                0.00  |
23.68/23.79	c | 23.79     | 0  | -883450      lb |  0                0                0.00  |
23.77/23.89	c | 23.89     | 0  | -883449      lb |  0                0                0.00  |
23.87/23.98	c | 23.99     | 0  | -883448      lb |  0                0                0.00  |
23.97/24.08	c | 24.09     | 0  | -883446      lb |  0                0                0.00  |
24.08/24.18	c | 24.18     | 0  | -883442      lb |  0                0                0.00  |
24.18/24.28	c | 24.28     | 0  | -883434      lb |  0                0                0.00  |
24.27/24.38	c | 24.38     | 0  | -883433      lb |  0                0                0.00  |
24.37/24.48	c | 24.48     | 0  | -883432      lb |  0                0                0.00  |
24.47/24.58	c | 24.58     | 0  | -883431      lb |  0                0                0.00  |
24.57/24.68	c | 24.68     | 0  | -883429      lb |  0                0                0.00  |
24.67/24.78	c | 24.79     | 0  | -883425      lb |  0                0                0.00  |
24.77/24.88	c | 24.89     | 0  | -883424      lb |  0                0                0.00  |
24.87/24.99	c | 24.99     | 0  | -883423      lb |  0                0                0.00  |
24.97/25.09	c | 25.09     | 0  | -883422      lb |  0                0                0.00  |
25.07/25.19	c | 25.20     | 0  | -883166      lb |  0                0                0.00  |
25.18/25.29	c | 25.29     | 0  | -883162      lb |  0                0                0.00  |
25.28/25.39	c | 25.39     | 0  | -883154      lb |  0                0                0.00  |
25.37/25.49	c | 25.50     | 0  | -883138      lb |  0                0                0.00  |
25.47/25.59	c | 25.60     | 0  | -883106      lb |  0                0                0.00  |
25.66/25.71	c | 25.71     | 0  | -883105      lb |  0                0                0.00  |
25.76/25.81	c | 25.81     | 0  | -883104      lb |  0                0                0.00  |
25.86/25.91	c | 25.91     | 0  | -883102      lb |  0                0                0.00  |
25.97/26.01	c | 26.01     | 0  | -883101      lb |  0                0                0.00  |
26.07/26.11	c | 26.11     | 0  | -883100      lb |  0                0                0.00  |
26.16/26.21	c | 26.21     | 0  | -883096      lb |  0                0                0.00  |
26.27/26.31	c | 26.32     | 0  | -883095      lb |  0                0                0.00  |
26.37/26.42	c | 26.42     | 0  | -883093      lb |  0                0                0.00  |
26.46/26.52	c | 26.52     | 0  | -883092      lb |  0                0                0.00  |
26.56/26.62	c | 26.63     | 0  | -883088      lb |  0                0                0.00  |
26.66/26.73	c | 26.73     | 0  | -883080      lb |  0                0                0.00  |
26.76/26.83	c | 26.84     | 0  | -883079      lb |  0                0                0.00  |
26.86/26.93	c | 26.94     | 0  | -883077      lb |  0                0                0.00  |
26.96/27.04	c | 27.04     | 0  | -883076      lb |  0                0                0.00  |
27.06/27.14	c | 27.15     | 0  | -883075      lb |  0                0                0.00  |
27.16/27.25	c | 27.25     | 0  | -883073      lb |  0                0                0.00  |
27.26/27.35	c | 27.36     | 0  | -883069      lb |  0                0                0.00  |
27.37/27.46	c | 27.46     | 0  | -883068      lb |  0                0                0.00  |
27.47/27.56	c | 27.57     | 0  | -883067      lb |  0                0                0.00  |
27.56/27.66	c | 27.67     | 0  | -883065      lb |  0                0                0.00  |
27.66/27.77	c | 27.77     | 0  | -883064      lb |  0                0                0.00  |
27.76/27.87	c | 27.88     | 0  | -883063      lb |  0                0                0.00  |
27.87/27.97	c | 27.98     | 0  | -883061      lb |  0                0                0.00  |
27.97/28.08	c | 28.08     | 0  | -883053      lb |  0                0                0.00  |
28.07/28.18	c | 28.19     | 0  | -883037      lb |  0                0                0.00  |
28.17/28.29	c | 28.29     | 0  | -883036      lb |  0                0                0.00  |
28.26/28.39	c | 28.40     | 0  | -883035      lb |  0                0                0.00  |
28.36/28.50	c | 28.50     | 0  | -883034      lb |  0                0                0.00  |
28.57/28.61	c | 28.61     | 0  | -883032      lb |  0                0                0.00  |
28.66/28.71	c | 28.71     | 0  | -883028      lb |  0                0                0.00  |
28.76/28.82	c | 28.82     | 0  | -883027      lb |  0                0                0.00  |
28.86/28.92	c | 28.93     | 0  | -883025      lb |  0                0                0.00  |
28.96/29.05	c | 29.05     | 0  | -882769      lb |  0                0                0.00  |
29.06/29.18	c | 29.18     | 0  | -882513      lb |  0                0                0.00  |
29.26/29.30	c | 29.31     | 0  | -882512      lb |  0                0                0.00  |
29.36/29.43	c | 29.43     | 0  | -882511      lb |  0                0                0.00  |
29.46/29.56	c | 29.56     | 0  | -882509      lb |  0                0                0.00  |
29.57/29.68	c | 29.69     | 0  | -882507      lb |  0                0                0.00  |
29.76/29.81	c | 29.82     | 0  | -882505      lb |  0                0                0.00  |
29.86/29.94	c | 29.95     | 0  | -882249      lb |  0                0                0.00  |
29.96/30.07	c | 30.08     | 0  | -881993      lb |  0                0                0.00  |
30.16/30.20	c | 30.21     | 0  | -881991      lb |  0                0                0.00  |
30.26/30.33	c | 30.34     | 0  | -881990      lb |  0                0                0.00  |
30.36/30.47	c | 30.47     | 0  | -881734      lb |  0                0                0.00  |
30.56/30.60	c | 30.60     | 0  | -881478      lb |  0                0                0.00  |
30.67/30.73	c | 30.73     | 0  | -881476      lb |  0                0                0.00  |
30.77/30.86	c | 30.86     | 0  | -881472      lb |  0                0                0.00  |
30.86/30.99	c | 31.00     | 0  | -881468      lb |  0                0                0.00  |
31.06/31.13	c | 31.13     | 0  | -881460      lb |  0                0                0.00  |
31.16/31.26	c | 31.26     | 0  | -881444      lb |  0                0                0.00  |
31.26/31.39	c | 31.40     | 0  | -881443      lb |  0                0                0.00  |
31.46/31.53	c | 31.53     | 0  | -881441      lb |  0                0                0.00  |
31.56/31.66	c | 31.67     | 0  | -881187      lb |  0                0                0.00  |
31.66/31.80	c | 31.81     | 0  | -881185      lb |  0                0                0.00  |
31.86/31.93	c | 31.94     | 0  | -881184      lb |  0                0                0.00  |
31.96/32.06	c | 32.06     | 0  | -881182      lb |  0                0                0.00  |
32.07/32.19	c | 32.20     | 0  | -881178      lb |  0                0                0.00  |
32.27/32.32	c | 32.33     | 0  | -880922      lb |  0                0                0.00  |
32.37/32.46	c | 32.46     | 0  | -880666      lb |  0                0                0.00  |
32.47/32.59	c | 32.59     | 0  | -880664      lb |  0                0                0.00  |
32.67/32.73	c | 32.73     | 0  | -880663      lb |  0                0                0.00  |
32.77/32.86	c | 32.87     | 0  | -880661      lb |  0                0                0.00  |
32.87/33.00	c | 33.00     | 0  | -880657      lb |  0                0                0.00  |
33.06/33.13	c | 33.14     | 0  | -880649      lb |  0                0                0.00  |
33.16/33.28	c | 33.28     | 0  | -880641      lb |  0                0                0.00  |
33.36/33.42	c | 33.42     | 0  | -880633      lb |  0                0                0.00  |
33.46/33.56	c | 33.56     | 0  | -880632      lb |  0                0                0.00  |
33.56/33.69	c | 33.70     | 0  | -880631      lb |  0                0                0.00  |
33.76/33.83	c | 33.84     | 0  | -880630      lb |  0                0                0.00  |
33.86/33.97	c | 33.97     | 0  | -880629      lb |  0                0                0.00  |
34.07/34.11	c | 34.11     | 0  | -880628      lb |  0                0                0.00  |
34.16/34.25	c | 34.25     | 0  | -880626      lb |  0                0                0.00  |
34.26/34.38	c | 34.39     | 0  | -880625      lb |  0                0                0.00  |
34.46/34.52	c | 34.53     | 0  | -880624      lb |  0                0                0.00  |
34.56/34.67	c | 34.67     | 0  | -880623      lb |  0                0                0.00  |
34.76/34.80	c | 34.81     | 0  | -880621      lb |  0                0                0.00  |
34.86/34.95	c | 34.95     | 0  | -880617      lb |  0                0                0.00  |
34.96/35.09	c | 35.09     | 0  | -880613      lb |  0                0                0.00  |
35.17/35.23	c | 35.23     | 0  | -880612      lb |  0                0                0.00  |
35.26/35.38	c | 35.38     | 0  | -880611      lb |  0                0                0.00  |
35.46/35.52	c | 35.53     | 0  | -880609      lb |  0                0                0.00  |
35.56/35.68	c | 35.69     | 0  | -880607      lb |  0                0                0.00  |
35.75/35.82	c | 35.83     | 0  | -880606      lb |  0                0                0.00  |
35.85/35.97	c | 35.97     | 0  | -880605      lb |  0                0                0.00  |
36.05/36.11	c | 36.12     | 0  | -880603      lb |  0                0                0.00  |
36.16/36.26	c | 36.26     | 0  | -880601      lb |  0                0                0.00  |
36.36/36.40	c | 36.41     | 0  | -880345      lb |  0                0                0.00  |
36.46/36.54	c | 36.55     | 0  | -880329      lb |  0                0                0.00  |
36.55/36.69	c | 36.69     | 0  | -880313      lb |  0                0                0.00  |
36.75/36.83	c | 36.84     | 0  | -880281      lb |  0                0                0.00  |
36.85/36.98	c | 36.98     | 0  | -880280      lb |  0                0                0.00  |
37.05/37.12	c | 37.12     | 0  | -880279      lb |  0                0                0.00  |
37.16/37.27	c | 37.27     | 0  | -880278      lb |  0                0                0.00  |
37.36/37.41	c | 37.42     | 0  | -880277      lb |  0                0                0.00  |
37.46/37.55	c | 37.56     | 0  | -880276      lb |  0                0                0.00  |
37.65/37.70	c | 37.71     | 0  | -880275      lb |  0                0                0.00  |
37.76/37.84	c | 37.85     | 0  | -880273      lb |  0                0                0.00  |
37.85/37.99	c | 38.00     | 0  | -880269      lb |  0                0                0.00  |
38.05/38.14	c | 38.14     | 0  | -880268      lb |  0                0                0.00  |
38.16/38.29	c | 38.29     | 0  | -880267      lb |  0                0                0.00  |
38.37/38.43	c | 38.44     | 0  | -880265      lb |  0                0                0.00  |
38.47/38.58	c | 38.59     | 0  | -880264      lb |  0                0                0.00  |
38.66/38.73	c | 38.73     | 0  | -880263      lb |  0                0                0.00  |
38.76/38.87	c | 38.87     | 0  | -880261      lb |  0                0                0.00  |
38.96/39.01	c | 39.02     | 0  | -880257      lb |  0                0                0.00  |
39.06/39.16	c | 39.16     | 0  | -880249      lb |  0                0                0.00  |
39.26/39.31	c | 39.32     | 0  | -880241      lb |  0                0                0.00  |
39.35/39.47	c | 39.47     | 0  | -880233      lb |  0                0                0.00  |
39.56/39.62	c | 39.62     | 0  | -879977      lb |  0                0                0.00  |
39.66/39.77	c | 39.77     | 0  | -879721      lb |  0                0                0.00  |
39.86/39.92	c | 39.92     | 0  | -879719      lb |  0                0                0.00  |
39.95/40.07	c | 40.07     | 0  | -879718      lb |  0                0                0.00  |
40.15/40.22	c | 40.22     | 0  | -879717      lb |  0                0                0.00  |
40.25/40.37	c | 40.37     | 0  | -879473      lb |  0                0                0.00  |
40.45/40.52	c | 40.52     | 0  | -879461      lb |  0                0                0.00  |
40.56/40.66	c | 40.66     | 0  | -879460      lb |  0                0                0.00  |
40.75/40.81	c | 40.81     | 0  | -879459      lb |  0                0                0.00  |
40.85/40.95	c | 40.96     | 0  | -879458      lb |  0                0                0.00  |
41.05/41.10	c | 41.10     | 0  | -879457      lb |  0                0                0.00  |
41.15/41.24	c | 41.25     | 0  | -879455      lb |  0                0                0.00  |
41.26/41.39	c | 41.40     | 0  | -879454      lb |  0                0                0.00  |
41.46/41.54	c | 41.54     | 0  | -879453      lb |  0                0                0.00  |
41.56/41.69	c | 41.69     | 0  | -879452      lb |  0                0                0.00  |
41.76/41.84	c | 41.84     | 0  | -879448      lb |  0                0                0.00  |
41.86/41.98	c | 41.99     | 0  | -879440      lb |  0                0                0.00  |
42.06/42.13	c | 42.14     | 0  | -879424      lb |  0                0                0.00  |
42.16/42.28	c | 42.29     | 0  | -879408      lb |  0                0                0.00  |
42.35/42.43	c | 42.44     | 0  | -879407      lb |  0                0                0.00  |
42.45/42.58	c | 42.59     | 0  | -879406      lb |  0                0                0.00  |
42.65/42.73	c | 42.74     | 0  | -879405      lb |  0                0                0.00  |
42.76/42.88	c | 42.89     | 0  | -879403      lb |  0                0                0.00  |
42.95/43.04	c | 43.04     | 0  | -879163      lb |  0                0                0.00  |
43.05/43.19	c | 43.19     | 0  | -879147      lb |  0                0                0.00  |
43.26/43.34	c | 43.34     | 0  | -879146      lb |  0                0                0.00  |
43.36/43.49	c | 43.49     | 0  | -879144      lb |  0                0                0.00  |
43.56/43.64	c | 43.65     | 0  | -879143      lb |  0                0                0.00  |
43.66/43.80	c | 43.80     | 0  | -879142      lb |  0                0                0.00  |
43.86/43.95	c | 43.95     | 0  | -879141      lb |  0                0                0.00  |
44.05/44.10	c | 44.10     | 0  | -879139      lb |  0                0                0.00  |
44.15/44.26	c | 44.26     | 0  | -879137      lb |  0                0                0.00  |
44.35/44.41	c | 44.41     | 0  | -879133      lb |  0                0                0.00  |
44.46/44.56	c | 44.57     | 0  | -879129      lb |  0                0                0.00  |
44.66/44.72	c | 44.72     | 0  | -879127      lb |  0                0                0.00  |
44.76/44.87	c | 44.87     | 0  | -879125      lb |  0                0                0.00  |
44.96/45.02	c | 45.03     | 0  | -878869      lb |  0                0                0.00  |
45.06/45.18	c | 45.18     | 0  | -878613      lb |  0                0                0.00  |
45.25/45.33	c | 45.33     | 0  | -878612      lb |  0                0                0.00  |
45.35/45.48	c | 45.49     | 0  | -878610      lb |  0                0                0.00  |
45.55/45.64	c | 45.64     | 0  | -878608      lb |  0                0                0.00  |
45.75/45.80	c | 45.80     | 0  | -878604      lb |  0                0                0.00  |
45.84/45.95	c | 45.96     | 0  | -878600      lb |  0                0                0.00  |
46.05/46.11	c | 46.11     | 0  | -878592      lb |  0                0                0.00  |
46.15/46.26	c | 46.26     | 0  | -878584      lb |  0                0                0.00  |
46.35/46.41	c | 46.42     | 0  | -878583      lb |  0                0                0.00  |
46.45/46.57	c | 46.57     | 0  | -878582      lb |  0                0                0.00  |
46.65/46.72	c | 46.73     | 0  | -878581      lb |  0                0                0.00  |
46.75/46.88	c | 46.88     | 0  | -878580      lb |  0                0                0.00  |
46.95/47.03	c | 47.03     | 0  | -878579      lb |  0                0                0.00  |
47.05/47.19	c | 47.19     | 0  | -878575      lb |  0                0                0.00  |
47.26/47.34	c | 47.34     | 0  | -878571      lb |  0                0                0.00  |
47.35/47.49	c | 47.50     | 0  | -878570      lb |  0                0                0.00  |
47.55/47.65	c | 47.65     | 0  | -878569      lb |  0                0                0.00  |
47.75/47.81	c | 47.81     | 0  | -878568      lb |  0                0                0.00  |
47.85/47.96	c | 47.97     | 0  | -878566      lb |  0                0                0.00  |
48.05/48.12	c | 48.12     | 0  | -878564      lb |  0                0                0.00  |
48.15/48.27	c | 48.28     | 0  | -878563      lb |  0                0                0.00  |
48.35/48.43	c | 48.44     | 0  | -878562      lb |  0                0                0.00  |
48.44/48.59	c | 48.59     | 0  | -878560      lb |  0                0                0.00  |
48.64/48.75	c | 48.75     | 0  | -878558      lb |  0                0                0.00  |
48.84/48.90	c | 48.91     | 0  | -878554      lb |  0                0                0.00  |
48.94/49.06	c | 49.06     | 0  | -878550      lb |  0                0                0.00  |
49.14/49.22	c | 49.22     | 0  | -878542      lb |  0                0                0.00  |
49.25/49.37	c | 49.38     | 0  | -878541      lb |  0                0                0.00  |
49.46/49.53	c | 49.53     | 0  | -878540      lb |  0                0                0.00  |
49.55/49.69	c | 49.69     | 0  | -878538      lb |  0                0                0.00  |
49.75/49.84	c | 49.85     | 0  | -878536      lb |  0                0                0.00  |
49.95/50.00	c | 50.01     | 0  | -878280      lb |  0                0                0.00  |
50.04/50.16	c | 50.17     | 0  | -878024      lb |  0                0                0.00  |
50.24/50.32	c | 50.33     | 0  | -878023      lb |  0                0                0.00  |
50.35/50.48	c | 50.49     | 0  | -878022      lb |  0                0                0.00  |
50.56/50.64	c | 50.65     | 0  | -878020      lb |  0                0                0.00  |
50.75/50.80	c | 50.81     | 0  | -878016      lb |  0                0                0.00  |
50.85/50.96	c | 50.97     | 0  | -878012      lb |  0                0                0.00  |
51.05/51.12	c | 51.13     | 0  | -877756      lb |  0                0                0.00  |
51.15/51.28	c | 51.29     | 0  | -877500      lb |  0                0                0.00  |
51.34/51.45	c | 51.45     | 0  | -877499      lb |  0                0                0.00  |
51.56/51.61	c | 51.61     | 0  | -877498      lb |  0                0                0.00  |
51.66/51.77	c | 51.77     | 0  | -877496      lb |  0                0                0.00  |
51.85/51.93	c | 51.93     | 0  | -877494      lb |  0                0                0.00  |
51.95/52.09	c | 52.09     | 0  | -877493      lb |  0                0                0.00  |
52.15/52.25	c | 52.26     | 0  | -877492      lb |  0                0                0.00  |
52.35/52.42	c | 52.42     | 0  | -877491      lb |  0                0                0.00  |
52.44/52.58	c | 52.58     | 0  | -877489      lb |  0                0                0.00  |
52.65/52.74	c | 52.75     | 0  | -877487      lb |  0                0                0.00  |
52.84/52.91	c | 52.91     | 0  | -877483      lb |  0                0                0.00  |
52.95/53.07	c | 53.07     | 0  | -877479      lb |  0                0                0.00  |
53.15/53.23	c | 53.23     | 0  | -877471      lb |  0                0                0.00  |
53.25/53.39	c | 53.39     | 0  | -877470      lb |  0                0                0.00  |
53.45/53.55	c | 53.56     | 0  | -877469      lb |  0                0                0.00  |
53.65/53.71	c | 53.72     | 0  | -877468      lb |  0                0                0.00  |
53.75/53.88	c | 53.88     | 0  | -877467      lb |  0                0                0.00  |
53.95/54.04	c | 54.05     | 0  | -877465      lb |  0                0                0.00  |
54.14/54.20	c | 54.21     | 0  | -877463      lb |  0                0                0.00  |
54.24/54.37	c | 54.37     | 0  | -877462      lb |  0                0                0.00  |
54.44/54.53	c | 54.53     | 0  | -877461      lb |  0                0                0.00  |
54.65/54.70	c | 54.70     | 0  | -877205      lb |  0                0                0.00  |
54.75/54.86	c | 54.86     | 0  | -877203      lb |  0                0                0.00  |
54.95/55.02	c | 55.03     | 0  | -877201      lb |  0                0                0.00  |
55.04/55.19	c | 55.19     | 0  | -877197      lb |  0                0                0.00  |
55.24/55.35	c | 55.35     | 0  | -877193      lb |  0                0                0.00  |
55.44/55.51	c | 55.52     | 0  | -877192      lb |  0                0                0.00  |
55.54/55.68	c | 55.68     | 0  | -877191      lb |  0                0                0.00  |
55.74/55.85	c | 55.85     | 0  | -877189      lb |  0                0                0.00  |
55.95/56.02	c | 56.02     | 0  | -877187      lb |  0                0                0.00  |
56.05/56.18	c | 56.18     | 0  | -877186      lb |  0                0                0.00  |
56.24/56.35	c | 56.35     | 0  | -877185      lb |  0                0                0.00  |
56.44/56.51	c | 56.51     | 0  | -877184      lb |  0                0                0.00  |
56.54/56.68	c | 56.68     | 0  | -877182      lb |  0                0                0.00  |
56.74/56.84	c | 56.85     | 0  | -877180      lb |  0                0                0.00  |
56.94/57.01	c | 57.01     | 0  | -876924      lb |  0                0                0.00  |
57.04/57.17	c | 57.18     | 0  | -876668      lb |  0                0                0.00  |
57.24/57.34	c | 57.34     | 0  | -876652      lb |  0                0                0.00  |
57.44/57.51	c | 57.51     | 0  | -876636      lb |  0                0                0.00  |
57.54/57.67	c | 57.67     | 0  | -876604      lb |  0                0                0.00  |
57.74/57.84	c | 57.84     | 0  | -876603      lb |  0                0                0.00  |
57.94/58.01	c | 58.01     | 0  | -876602      lb |  0                0                0.00  |
58.04/58.18	c | 58.18     | 0  | -876601      lb |  0                0                0.00  |
58.25/58.34	c | 58.35     | 0  | -876600      lb |  0                0                0.00  |
58.44/58.51	c | 58.52     | 0  | -876344      lb |  0                0                0.00  |
58.54/58.68	c | 58.68     | 0  | -876088      lb |  0                0                0.00  |
58.74/58.85	c | 58.85     | 0  | -876087      lb |  0                0                0.00  |
58.94/59.02	c | 59.02     | 0  | -876086      lb |  0                0                0.00  |
59.04/59.19	c | 59.19     | 0  | -876085      lb |  0                0                0.00  |
59.25/59.36	c | 59.36     | 0  | -876084      lb |  0                0                0.00  |
59.44/59.53	c | 59.53     | 0  | -876083      lb |  0                0                0.00  |
59.54/59.69	c | 59.70     | 0  | -875827      lb |  0                0                0.00  |
59.74/59.87	c | 59.87     | 0  | -875571      lb |  0                0                0.00  |
59.94/60.03	c | 60.04     | 0  | -875567      lb |  0                0                0.00  |
60.14/60.21	c | 60.21     | 0  | -875563      lb |  0                0                0.00  |
60.24/60.37	c | 60.38     | 0  | -875307      lb |  0                0                0.00  |
60.44/60.55	c | 60.55     | 0  | -875306      lb |  0                0                0.00  |
60.63/60.72	c | 60.72     | 0  | -875305      lb |  0                0                0.00  |
60.74/60.89	c | 60.89     | 0  | -875304      lb |  0                0                0.00  |
60.94/61.06	c | 61.06     | 0  | -875303      lb |  0                0                0.00  |
61.14/61.23	c | 61.24     | 0  | -875301      lb |  0                0                0.00  |
61.34/61.41	c | 61.41     | 0  | -875299      lb |  0                0                0.00  |
61.44/61.58	c | 61.58     | 0  | -875298      lb |  0                0                0.00  |
61.64/61.75	c | 61.75     | 0  | -875297      lb |  0                0                0.00  |
61.84/61.93	c | 61.93     | 0  | -875041      lb |  0                0                0.00  |
61.94/62.10	c | 62.10     | 0  | -875040      lb |  0                0                0.00  |
62.14/62.27	c | 62.27     | 0  | -875039      lb |  0                0                0.00  |
62.34/62.44	c | 62.44     | 0  | -875038      lb |  0                0                0.00  |
62.54/62.61	c | 62.62     | 0  | -875037      lb |  0                0                0.00  |
62.64/62.78	c | 62.79     | 0  | -875035      lb |  0                0                0.00  |
62.83/62.95	c | 62.96     | 0  | -875033      lb |  0                0                0.00  |
63.04/63.13	c | 63.13     | 0  | -874777      lb |  0                0                0.00  |
63.24/63.30	c | 63.31     | 0  | -874521      lb |  0                0                0.00  |
63.34/63.48	c | 63.48     | 0  | -874520      lb |  0                0                0.00  |
63.54/63.65	c | 63.65     | 0  | -874518      lb |  0                0                0.00  |
63.75/63.83	c | 63.83     | 0  | -874516      lb |  0                0                0.00  |
63.94/64.00	c | 64.00     | 0  | -874512      lb |  0                0                0.00  |
64.04/64.18	c | 64.18     | 0  | -874508      lb |  0                0                0.00  |
64.24/64.35	c | 64.36     | 0  | -874500      lb |  0                0                0.00  |
64.44/64.53	c | 64.53     | 0  | -874492      lb |  0                0                0.00  |
64.64/64.70	c | 64.71     | 0  | -874236      lb |  0                0                0.00  |
64.75/64.88	c | 64.89     | 0  | -873980      lb |  0                0                0.00  |
64.94/65.06	c | 65.06     | 0  | -873724      lb |  0                0                0.00  |
65.14/65.24	c | 65.24     | 0  | -873468      lb |  0                0                0.00  |
65.34/65.41	c | 65.42     | 0  | -873212      lb |  0                0                0.00  |
65.44/65.59	c | 65.59     | 0  | -873211      lb |  0                0                0.00  |
65.64/65.78	c | 65.78     | 0  | -873210      lb |  0                0                0.00  |
65.84/65.95	c | 65.96     | 0  | -873209      lb |  0                0                0.00  |
66.03/66.13	c | 66.13     | 0  | -873208      lb |  0                0                0.00  |
66.23/66.30	c | 66.31     | 0  | -873206      lb |  0                0                0.00  |
66.33/66.48	c | 66.48     | 0  | -873202      lb |  0                0                0.00  |
66.53/66.66	c | 66.66     | 0  | -873198      lb |  0                0                0.00  |
66.73/66.83	c | 66.84     | 0  | -873197      lb |  0                0                0.00  |
66.94/67.01	c | 67.01     | 0  | -873196      lb |  0                0                0.00  |
67.04/67.18	c | 67.19     | 0  | -872940      lb |  0                0                0.00  |
67.23/67.36	c | 67.37     | 0  | -872684      lb |  0                0                0.00  |
67.43/67.54	c | 67.54     | 0  | -872683      lb |  0                0                0.00  |
67.63/67.71	c | 67.72     | 0  | -872682      lb |  0                0                0.00  |
67.73/67.89	c | 67.89     | 0  | -872681      lb |  0                0                0.00  |
67.93/68.06	c | 68.07     | 0  | -872679      lb |  0                0                0.00  |
68.14/68.24	c | 68.25     | 0  | -872677      lb |  0                0                0.00  |
68.33/68.42	c | 68.42     | 0  | -872673      lb |  0                0                0.00  |
68.53/68.60	c | 68.60     | 0  | -872669      lb |  0                0                0.00  |
68.63/68.78	c | 68.78     | 0  | -872413      lb |  0                0                0.00  |
68.83/68.96	c | 68.96     | 0  | -872157      lb |  0                0                0.00  |
69.03/69.13	c | 69.14     | 0  | -872156      lb |  0                0                0.00  |
69.24/69.31	c | 69.31     | 0  | -872155      lb |  0                0                0.00  |
69.33/69.49	c | 69.49     | 0  | -872153      lb |  0                0                0.00  |
69.53/69.67	c | 69.68     | 0  | -872152      lb |  0                0                0.00  |
69.73/69.85	c | 69.86     | 0  | -872151      lb |  0                0                0.00  |
69.93/70.03	c | 70.03     | 0  | -872150      lb |  0                0                0.00  |
70.13/70.21	c | 70.21     | 0  | -872149      lb |  0                0                0.00  |
70.23/70.39	c | 70.39     | 0  | -872147      lb |  0                0                0.00  |
70.42/70.57	c | 70.57     | 0  | -872145      lb |  0                0                0.00  |
70.62/70.75	c | 70.75     | 0  | -872141      lb |  0                0                0.00  |
70.82/70.92	c | 70.93     | 0  | -872137      lb |  0                0                0.00  |
71.02/71.11	c | 71.11     | 0  | -872136      lb |  0                0                0.00  |
71.13/71.29	c | 71.29     | 0  | -872135      lb |  0                0                0.00  |
71.34/71.47	c | 71.47     | 0  | -872134      lb |  0                0                0.00  |
71.53/71.65	c | 71.65     | 0  | -872132      lb |  0                0                0.00  |
71.73/71.83	c | 71.84     | 0  | -872130      lb |  0                0                0.00  |
71.93/72.02	c | 72.02     | 0  | -872129      lb |  0                0                0.00  |
72.13/72.20	c | 72.20     | 0  | -872128      lb |  0                0                0.00  |
72.23/72.39	c | 72.39     | 0  | -872127      lb |  0                0                0.00  |
72.43/72.57	c | 72.57     | 0  | -872119      lb |  0                0                0.00  |
72.62/72.76	c | 72.76     | 0  | -872111      lb |  0                0                0.00  |
72.83/72.94	c | 72.94     | 0  | -872095      lb |  0                0                0.00  |
73.03/73.13	c | 73.13     | 0  | -872079      lb |  0                0                0.00  |
73.23/73.31	c | 73.31     | 0  | -872077      lb |  0                0                0.00  |
73.43/73.50	c | 73.50     | 0  | -872075      lb |  0                0                0.00  |
73.54/73.68	c | 73.69     | 0  | -872074      lb |  0                0                0.00  |
73.73/73.87	c | 73.87     | 0  | -872073      lb |  0                0                0.00  |
73.93/74.06	c | 74.06     | 0  | -871817      lb |  0                0                0.00  |
74.13/74.24	c | 74.25     | 0  | -871816      lb |  0                0                0.00  |
74.32/74.43	c | 74.43     | 0  | -871815      lb |  0                0                0.00  |
74.52/74.62	c | 74.62     | 0  | -871814      lb |  0                0                0.00  |
74.74/74.81	c | 74.81     | 0  | -871813      lb |  0                0                0.00  |
74.93/75.00	c | 75.00     | 0  | -871557      lb |  0                0                0.00  |
75.03/75.19	c | 75.19     | 0  | -871301      lb |  0                0                0.00  |
75.23/75.37	c | 75.38     | 0  | -871300      lb |  0                0                0.00  |
75.43/75.56	c | 75.56     | 0  | -871299      lb |  0                0                0.00  |
75.63/75.76	c | 75.76     | 0  | -871291      lb |  0                0                0.00  |
75.83/75.95	c | 75.95     | 0  | -871290      lb |  0                0                0.00  |
76.02/76.13	c | 76.14     | 0  | -871289      lb |  0                0                0.00  |
76.23/76.32	c | 76.33     | 0  | -871287      lb |  0                0                0.00  |
76.42/76.51	c | 76.51     | 0  | -871285      lb |  0                0                0.00  |
76.62/76.70	c | 76.70     | 0  | -871284      lb |  0                0                0.00  |
76.72/76.89	c | 76.89     | 0  | -871028      lb |  0                0                0.00  |
76.93/77.08	c | 77.08     | 0  | -870772      lb |  0                0                0.00  |
77.12/77.27	c | 77.27     | 0  | -870768      lb |  0                0                0.00  |
77.32/77.46	c | 77.46     | 0  | -870767      lb |  0                0                0.00  |
77.52/77.65	c | 77.65     | 0  | -870511      lb |  0                0                0.00  |
77.72/77.84	c | 77.84     | 0  | -870255      lb |  0                0                0.00  |
77.93/78.03	c | 78.03     | 0  | -870254      lb |  0                0                0.00  |
78.12/78.22	c | 78.22     | 0  | -870253      lb |  0                0                0.00  |
78.32/78.41	c | 78.41     | 0  | -870252      lb |  0                0                0.00  |
78.52/78.60	c | 78.60     | 0  | -870250      lb |  0                0                0.00  |
78.62/78.79	c | 78.79     | 0  | -870246      lb |  0                0                0.00  |
78.82/78.98	c | 78.98     | 0  | -870238      lb |  0                0                0.00  |
79.02/79.17	c | 79.18     | 0  | -870230      lb |  0                0                0.00  |
79.22/79.37	c | 79.37     | 0  | -870214      lb |  0                0                0.00  |
79.42/79.56	c | 79.57     | 0  | -870213      lb |  0                0                0.00  |
79.62/79.75	c | 79.75     | 0  | -870212      lb |  0                0                0.00  |
79.82/79.95	c | 79.95     | 0  | -870211      lb |  0                0                0.00  |
80.02/80.14	c | 80.14     | 0  | -870210      lb |  0                0                0.00  |
80.23/80.33	c | 80.34     | 0  | -870208      lb |  0                0                0.00  |
80.42/80.53	c | 80.53     | 0  | -870206      lb |  0                0                0.00  |
80.62/80.72	c | 80.72     | 0  | -870202      lb |  0                0                0.00  |
80.82/80.92	c | 80.92     | 0  | -870201      lb |  0                0                0.00  |
81.02/81.11	c | 81.11     | 0  | -870200      lb |  0                0                0.00  |
81.23/81.30	c | 81.31     | 0  | -870199      lb |  0                0                0.00  |
81.42/81.50	c | 81.50     | 0  | -870197      lb |  0                0                0.00  |
81.52/81.69	c | 81.69     | 0  | -870196      lb |  0                0                0.00  |
81.72/81.88	c | 81.89     | 0  | -870195      lb |  0                0                0.00  |
81.92/82.07	c | 82.08     | 0  | -870194      lb |  0                0                0.00  |
82.12/82.27	c | 82.28     | 0  | -870192      lb |  0                0                0.00  |
82.33/82.46	c | 82.46     | 0  | -870188      lb |  0                0                0.00  |
82.53/82.66	c | 82.66     | 0  | -870184      lb |  0                0                0.00  |
82.72/82.85	c | 82.85     | 0  | -870176      lb |  0                0                0.00  |
82.92/83.05	c | 83.05     | 0  | -870175      lb |  0                0                0.00  |
83.12/83.24	c | 83.25     | 0  | -870174      lb |  0                0                0.00  |
83.32/83.44	c | 83.44     | 0  | -870173      lb |  0                0                0.00  |
83.53/83.64	c | 83.64     | 0  | -870172      lb |  0                0                0.00  |
83.72/83.83	c | 83.83     | 0  | -870170      lb |  0                0                0.00  |
83.92/84.03	c | 84.03     | 0  | -870168      lb |  0                0                0.00  |
84.12/84.22	c | 84.23     | 0  | -870164      lb |  0                0                0.00  |
84.32/84.42	c | 84.42     | 0  | -870163      lb |  0                0                0.00  |
84.53/84.62	c | 84.62     | 0  | -870162      lb |  0                0                0.00  |
84.72/84.82	c | 84.82     | 0  | -870161      lb |  0                0                0.00  |
84.92/85.01	c | 85.02     | 0  | -870160      lb |  0                0                0.00  |
85.12/85.21	c | 85.22     | 0  | -869904      lb |  0                0                0.00  |
85.32/85.41	c | 85.41     | 0  | -869648      lb |  0                0                0.00  |
85.52/85.61	c | 85.61     | 0  | -869644      lb |  0                0                0.00  |
85.72/85.81	c | 85.82     | 0  | -869636      lb |  0                0                0.00  |
85.91/86.01	c | 86.02     | 0  | -869620      lb |  0                0                0.00  |
86.11/86.21	c | 86.21     | 0  | -869604      lb |  0                0                0.00  |
86.31/86.40	c | 86.41     | 0  | -869572      lb |  0                0                0.00  |
86.51/86.60	c | 86.61     | 0  | -869571      lb |  0                0                0.00  |
86.61/86.80	c | 86.81     | 0  | -869570      lb |  0                0                0.00  |
86.91/87.00	c | 87.01     | 0  | -869569      lb |  0                0                0.00  |
87.12/87.20	c | 87.20     | 0  | -869567      lb |  0                0                0.00  |
87.32/87.40	c | 87.40     | 0  | -869566      lb |  0                0                0.00  |
87.52/87.60	c | 87.60     | 0  | -869565      lb |  0                0                0.00  |
87.62/87.79	c | 87.80     | 0  | -869564      lb |  0                0                0.00  |
87.82/88.00	c | 88.00     | 0  | -869560      lb |  0                0                0.00  |
88.11/88.20	c | 88.21     | 0  | -869556      lb |  0                0                0.00  |
88.31/88.40	c | 88.40     | 0  | -869555      lb |  0                0                0.00  |
88.51/88.60	c | 88.60     | 0  | -869553      lb |  0                0                0.00  |
88.71/88.80	c | 88.80     | 0  | -869552      lb |  0                0                0.00  |
88.92/89.00	c | 89.01     | 0  | -869551      lb |  0                0                0.00  |
89.11/89.20	c | 89.20     | 0  | -869547      lb |  0                0                0.00  |
89.31/89.40	c | 89.41     | 0  | -869539      lb |  0                0                0.00  |
89.52/89.60	c | 89.61     | 0  | -869531      lb |  0                0                0.00  |
89.72/89.80	c | 89.80     | 0  | -869530      lb |  0                0                0.00  |
89.92/90.00	c | 90.00     | 0  | -869528      lb |  0                0                0.00  |
90.02/90.20	c | 90.20     | 0  | -869527      lb |  0                0                0.00  |
90.31/90.40	c | 90.41     | 0  | -869526      lb |  0                0                0.00  |
90.51/90.61	c | 90.61     | 0  | -869525      lb |  0                0                0.00  |
90.71/90.81	c | 90.81     | 0  | -869523      lb |  0                0                0.00  |
90.91/91.01	c | 91.02     | 0  | -869519      lb |  0                0                0.00  |
91.01/91.20	c | 91.20     | 0  | -869518      lb |  0                0                0.00  |
91.31/91.40	c | 91.40     | 0  | -869517      lb |  0                0                0.00  |
91.51/91.60	c | 91.60     | 0  | -869515      lb |  0                0                0.00  |
91.71/91.80	c | 91.80     | 0  | -869514      lb |  0                0                0.00  |
91.91/92.00	c | 92.00     | 0  | -869513      lb |  0                0                0.00  |
92.11/92.20	c | 92.21     | 0  | -869511      lb |  0                0                0.00  |
92.32/92.41	c | 92.41     | 0  | -869503      lb |  0                0                0.00  |
92.51/92.61	c | 92.61     | 0  | -869487      lb |  0                0                0.00  |
92.72/92.81	c | 92.82     | 0  | -869486      lb |  0                0                0.00  |
92.92/93.02	c | 93.02     | 0  | -869485      lb |  0                0                0.00  |
93.12/93.22	c | 93.22     | 0  | -869484      lb |  0                0                0.00  |
93.32/93.42	c | 93.42     | 0  | -869482      lb |  0                0                0.00  |
93.52/93.62	c | 93.62     | 0  | -869478      lb |  0                0                0.00  |
93.71/93.82	c | 93.83     | 0  | -869477      lb |  0                0                0.00  |
93.91/94.03	c | 94.03     | 0  | -869475      lb |  0                0                0.00  |
94.11/94.24	c | 94.25     | 0  | -869473      lb |  0                0                0.00  |
94.31/94.46	c | 94.46     | 0  | -869471      lb |  0                0                0.00  |
94.52/94.67	c | 94.67     | 0  | -869470      lb |  0                0                0.00  |
94.71/94.88	c | 94.88     | 0  | -869469      lb |  0                0                0.00  |
94.91/95.09	c | 95.09     | 0  | -869468      lb |  0                0                0.00  |
95.21/95.31	c | 95.32     | 0  | -869466      lb |  0                0                0.00  |
95.41/95.52	c | 95.53     | 0  | -869465      lb |  0                0                0.00  |
95.62/95.76	c | 95.76     | 0  | -869464      lb |  0                0                0.00  |
95.81/95.98	c | 95.98     | 0  | -869463      lb |  0                0                0.00  |
96.01/96.19	c | 96.19     | 0  | -869462      lb |  0                0                0.00  |
96.32/96.40	c | 96.41     | 0  | -869458      lb |  0                0                0.00  |
96.51/96.61	c | 96.61     | 0  | -869202      lb |  0                0                0.00  |
96.72/96.82	c | 96.82     | 0  | -869201      lb |  0                0                0.00  |
96.91/97.03	c | 97.04     | 0  | -869200      lb |  0                0                0.00  |
97.11/97.24	c | 97.25     | 0  | -868944      lb |  0                0                0.00  |
97.32/97.46	c | 97.46     | 0  | -868688      lb |  0                0                0.00  |
97.52/97.66	c | 97.66     | 0  | -868686      lb |  0                0                0.00  |
97.72/97.87	c | 97.88     | 0  | -868684      lb |  0                0                0.00  |
97.91/98.08	c | 98.08     | 0  | -868683      lb |  0                0                0.00  |
98.11/98.29	c | 98.29     | 0  | -868427      lb |  0                0                0.00  |
98.41/98.50	c | 98.51     | 0  | -868171      lb |  0                0                0.00  |
98.61/98.72	c | 98.72     | 0  | -868169      lb |  0                0                0.00  |
98.82/98.93	c | 98.93     | 0  | -868167      lb |  0                0                0.00  |
99.01/99.14	c | 99.15     | 0  | -868163      lb |  0                0                0.00  |
99.22/99.36	c | 99.36     | 0  | -868159      lb |  0                0                0.00  |
99.42/99.57	c | 99.57     | 0  | -868151      lb |  0                0                0.00  |
99.61/99.78	c | 99.79     | 0  | -868150      lb |  0                0                0.00  |
99.81/100.00	c | 100.00    | 0  | -868149      lb |  0                0                0.00  |
100.11/100.21	c | 100.21    | 0  | -868148      lb |  0                0                0.00  |
100.31/100.43	c | 100.43    | 0  | -868147      lb |  0                0                0.00  |
100.51/100.63	c | 100.64    | 0  | -868145      lb |  0                0                0.00  |
100.71/100.85	c | 100.86    | 0  | -868143      lb |  0                0                0.00  |
100.91/101.06	c | 101.06    | 0  | -868142      lb |  0                0                0.00  |
101.11/101.27	c | 101.27    | 0  | -868141      lb |  0                0                0.00  |
101.31/101.48	c | 101.49    | 0  | -868140      lb |  0                0                0.00  |
101.61/101.70	c | 101.70    | 0  | -868138      lb |  0                0                0.00  |
101.81/101.91	c | 101.91    | 0  | -868136      lb |  0                0                0.00  |
102.01/102.12	c | 102.12    | 0  | -868132      lb |  0                0                0.00  |
102.22/102.34	c | 102.34    | 0  | -868128      lb |  0                0                0.00  |
102.41/102.55	c | 102.55    | 0  | -868127      lb |  0                0                0.00  |
102.61/102.76	c | 102.77    | 0  | -868125      lb |  0                0                0.00  |
102.81/102.98	c | 102.99    | 0  | -868123      lb |  0                0                0.00  |
103.01/103.19	c | 103.20    | 0  | -868119      lb |  0                0                0.00  |
103.31/103.41	c | 103.42    | 0  | -868115      lb |  0                0                0.00  |
103.51/103.63	c | 103.63    | 0  | -868107      lb |  0                0                0.00  |
103.72/103.85	c | 103.85    | 0  | -868099      lb |  0                0                0.00  |
103.91/104.06	c | 104.06    | 0  | -868083      lb |  0                0                0.00  |
104.11/104.27	c | 104.27    | 0  | -868051      lb |  0                0                0.00  |
104.32/104.49	c | 104.49    | 0  | -868019      lb |  0                0                0.00  |
104.61/104.70	c | 104.71    | 0  | -867955      lb |  0                0                0.00  |
104.81/104.92	c | 104.92    | 0  | -867891      lb |  0                0                0.00  |
105.01/105.14	c | 105.14    | 0  | -867763      lb |  0                0                0.00  |
105.21/105.36	c | 105.36    | 0  | -867635      lb |  0                0                0.00  |
105.42/105.57	c | 105.58    | 0  | -867634      lb |  0                0                0.00  |
105.62/105.79	c | 105.79    | 0  | -867633      lb |  0                0                0.00  |
105.91/106.02	c | 106.02    | 0  | -867632      lb |  0                0                0.00  |
106.11/106.23	c | 106.23    | 0  | -867376      lb |  0                0                0.00  |
106.31/106.46	c | 106.46    | 0  | -867120      lb |  0                0                0.00  |
106.52/106.67	c | 106.67    | 0  | -867118      lb |  0                0                0.00  |
106.71/106.89	c | 106.90    | 0  | -867117      lb |  0                0                0.00  |
107.01/107.11	c | 107.11    | 0  | -867113      lb |  0                0                0.00  |
107.21/107.34	c | 107.34    | 0  | -867109      lb |  0                0                0.00  |
107.41/107.55	c | 107.55    | 0  | -867108      lb |  0                0                0.00  |
107.62/107.77	c | 107.77    | 0  | -867107      lb |  0                0                0.00  |
107.81/107.98	c | 107.99    | 0  | -867106      lb |  0                0                0.00  |
108.11/108.20	c | 108.21    | 0  | -866850      lb |  0                0                0.00  |
108.31/108.42	c | 108.42    | 0  | -866594      lb |  0                0                0.00  |
108.51/108.64	c | 108.64    | 0  | -866592      lb |  0                0                0.00  |
108.72/108.86	c | 108.86    | 0  | -866590      lb |  0                0                0.00  |
108.91/109.08	c | 109.09    | 0  | -866582      lb |  0                0                0.00  |
109.21/109.30	c | 109.30    | 0  | -866581      lb |  0                0                0.00  |
109.41/109.53	c | 109.53    | 0  | -866580      lb |  0                0                0.00  |
109.61/109.74	c | 109.75    | 0  | -866579      lb |  0                0                0.00  |
109.81/109.98	c | 109.98    | 0  | -866578      lb |  0                0                0.00  |
110.01/110.19	c | 110.19    | 0  | -866576      lb |  0                0                0.00  |
110.31/110.42	c | 110.43    | 0  | -866574      lb |  0                0                0.00  |
110.51/110.64	c | 110.64    | 0  | -866573      lb |  0                0                0.00  |
110.71/110.86	c | 110.87    | 0  | -866572      lb |  0                0                0.00  |
110.92/111.08	c | 111.09    | 0  | -866571      lb |  0                0                0.00  |
111.21/111.30	c | 111.31    | 0  | -866569      lb |  0                0                0.00  |
111.41/111.52	c | 111.53    | 0  | -866567      lb |  0                0                0.00  |
111.61/111.75	c | 111.75    | 0  | -866311      lb |  0                0                0.00  |
111.81/111.97	c | 111.97    | 0  | -866055      lb |  0                0                0.00  |
112.02/112.19	c | 112.19    | 0  | -866053      lb |  0                0                0.00  |
112.31/112.41	c | 112.42    | 0  | -866052      lb |  0                0                0.00  |
112.51/112.64	c | 112.64    | 0  | -866051      lb |  0                0                0.00  |
112.71/112.85	c | 112.86    | 0  | -866050      lb |  0                0                0.00  |
112.91/113.08	c | 113.09    | 0  | -866049      lb |  0                0                0.00  |
113.11/113.30	c | 113.30    | 0  | -866047      lb |  0                0                0.00  |
113.41/113.53	c | 113.53    | 0  | -866045      lb |  0                0                0.00  |
113.61/113.75	c | 113.75    | 0  | -865789      lb |  0                0                0.00  |
113.81/113.97	c | 113.97    | 0  | -865781      lb |  0                0                0.00  |
114.11/114.20	c | 114.21    | 0  | -865773      lb |  0                0                0.00  |
114.32/114.42	c | 114.43    | 0  | -865517      lb |  0                0                0.00  |
114.51/114.65	c | 114.65    | 0  | -865261      lb |  0                0                0.00  |
114.71/114.87	c | 114.87    | 0  | -865005      lb |  0                0                0.00  |
114.91/115.09	c | 115.10    | 0  | -864749      lb |  0                0                0.00  |
115.21/115.32	c | 115.32    | 0  | -864748      lb |  0                0                0.00  |
115.42/115.54	c | 115.55    | 0  | -864747      lb |  0                0                0.00  |
115.61/115.77	c | 115.77    | 0  | -864746      lb |  0                0                0.00  |
115.91/116.00	c | 116.00    | 0  | -864745      lb |  0                0                0.00  |
116.11/116.22	c | 116.22    | 0  | -864489      lb |  0                0                0.00  |
116.31/116.44	c | 116.44    | 0  | -864233      lb |  0                0                0.00  |
116.51/116.66	c | 116.67    | 0  | -864232      lb |  0                0                0.00  |
116.71/116.89	c | 116.89    | 0  | -864231      lb |  0                0                0.00  |
117.01/117.12	c | 117.12    | 0  | -864230      lb |  0                0                0.00  |
117.21/117.34	c | 117.35    | 0  | -864228      lb |  0                0                0.00  |
117.41/117.57	c | 117.58    | 0  | -864226      lb |  0                0                0.00  |
117.71/117.80	c | 117.80    | 0  | -864225      lb |  0                0                0.00  |
117.91/118.03	c | 118.04    | 0  | -864224      lb |  0                0                0.00  |
118.10/118.26	c | 118.26    | 0  | -864223      lb |  0                0                0.00  |
118.30/118.48	c | 118.48    | 0  | -864219      lb |  0                0                0.00  |
118.62/118.71	c | 118.72    | 0  | -864215      lb |  0                0                0.00  |
118.81/118.94	c | 118.94    | 0  | -864214      lb |  0                0                0.00  |
119.01/119.16	c | 119.17    | 0  | -864213      lb |  0                0                0.00  |
119.21/119.39	c | 119.39    | 0  | -864212      lb |  0                0                0.00  |
119.51/119.62	c | 119.62    | 0  | -864211      lb |  0                0                0.00  |
119.71/119.84	c | 119.85    | 0  | -864209      lb |  0                0                0.00  |
119.91/120.06	c | 120.07    | 0  | -864208      lb |  0                0                0.00  |
120.11/120.30	c | 120.30    | 0  | -863952      lb |  0                0                0.00  |
120.41/120.52	c | 120.52    | 0  | -863950      lb |  0                0                0.00  |
120.61/120.75	c | 120.76    | 0  | -863948      lb |  0                0                0.00  |
120.81/120.98	c | 120.98    | 0  | -863944      lb |  0                0                0.00  |
121.10/121.21	c | 121.22    | 0  | -863940      lb |  0                0                0.00  |
121.30/121.45	c | 121.45    | 0  | -863939      lb |  0                0                0.00  |
121.50/121.67	c | 121.67    | 0  | -863683      lb |  0                0                0.00  |
121.80/121.91	c | 121.92    | 0  | -863427      lb |  0                0                0.00  |
122.02/122.13	c | 122.14    | 0  | -863425      lb |  0                0                0.00  |
122.21/122.36	c | 122.37    | 0  | -863423      lb |  0                0                0.00  |
122.41/122.59	c | 122.59    | 0  | -863422      lb |  0                0                0.00  |
122.71/122.82	c | 122.82    | 0  | -863421      lb |  0                0                0.00  |
122.91/123.05	c | 123.05    | 0  | -863420      lb |  0                0                0.00  |
123.12/123.28	c | 123.28    | 0  | -863418      lb |  0                0                0.00  |
123.41/123.51	c | 123.52    | 0  | -863416      lb |  0                0                0.00  |
123.61/123.73	c | 123.74    | 0  | -863408      lb |  0                0                0.00  |
123.80/123.97	c | 123.97    | 0  | -863400      lb |  0                0                0.00  |
124.00/124.20	c | 124.20    | 0  | -863384      lb |  0                0                0.00  |
124.31/124.43	c | 124.44    | 0  | -863368      lb |  0                0                0.00  |
124.51/124.66	c | 124.66    | 0  | -863112      lb |  0                0                0.00  |
124.71/124.89	c | 124.89    | 0  | -863111      lb |  0                0                0.00  |
125.01/125.13	c | 125.13    | 0  | -863110      lb |  0                0                0.00  |
125.22/125.36	c | 125.36    | 0  | -863109      lb |  0                0                0.00  |
125.41/125.59	c | 125.59    | 0  | -863108      lb |  0                0                0.00  |
125.71/125.82	c | 125.83    | 0  | -863106      lb |  0                0                0.00  |
125.91/126.06	c | 126.06    | 0  | -863104      lb |  0                0                0.00  |
126.20/126.30	c | 126.30    | 0  | -863102      lb |  0                0                0.00  |
126.41/126.52	c | 126.53    | 0  | -863101      lb |  0                0                0.00  |
126.60/126.75	c | 126.76    | 0  | -863100      lb |  0                0                0.00  |
126.81/126.99	c | 126.99    | 0  | -863098      lb |  0                0                0.00  |
127.11/127.23	c | 127.23    | 0  | -863096      lb |  0                0                0.00  |
127.31/127.45	c | 127.45    | 0  | -863092      lb |  0                0                0.00  |
127.51/127.69	c | 127.69    | 0  | -863088      lb |  0                0                0.00  |
127.81/127.92	c | 127.92    | 0  | -863086      lb |  0                0                0.00  |
128.01/128.16	c | 128.16    | 0  | -863084      lb |  0                0                0.00  |
128.21/128.39	c | 128.40    | 0  | -863083      lb |  0                0                0.00  |
128.51/128.62	c | 128.63    | 0  | -863079      lb |  0                0                0.00  |
128.70/128.86	c | 128.86    | 0  | -863075      lb |  0                0                0.00  |
128.90/129.08	c | 129.09    | 0  | -863067      lb |  0                0                0.00  |
129.21/129.32	c | 129.32    | 0  | -863059      lb |  0                0                0.00  |
129.41/129.55	c | 129.55    | 0  | -863058      lb |  0                0                0.00  |
129.62/129.78	c | 129.79    | 0  | -863057      lb |  0                0                0.00  |
129.91/130.02	c | 130.02    | 0  | -862801      lb |  0                0                0.00  |
130.11/130.25	c | 130.25    | 0  | -862799      lb |  0                0                0.00  |
130.30/130.49	c | 130.50    | 0  | -862797      lb |  0                0                0.00  |
130.60/130.72	c | 130.72    | 0  | -862796      lb |  0                0                0.00  |
130.81/130.96	c | 130.97    | 0  | -862795      lb |  0                0                0.00  |
131.00/131.19	c | 131.19    | 0  | -862794      lb |  0                0                0.00  |
131.31/131.43	c | 131.43    | 0  | -862793      lb |  0                0                0.00  |
131.51/131.66	c | 131.67    | 0  | -862791      lb |  0                0                0.00  |
131.71/131.90	c | 131.90    | 0  | -862790      lb |  0                0                0.00  |
132.01/132.14	c | 132.14    | 0  | -862789      lb |  0                0                0.00  |
132.21/132.38	c | 132.38    | 0  | -862788      lb |  0                0                0.00  |
132.51/132.61	c | 132.62    | 0  | -862787      lb |  0                0                0.00  |
132.71/132.85	c | 132.85    | 0  | -862786      lb |  0                0                0.00  |
132.91/133.09	c | 133.09    | 0  | -862785      lb |  0                0                0.00  |
133.20/133.32	c | 133.33    | 0  | -862784      lb |  0                0                0.00  |
133.40/133.56	c | 133.57    | 0  | -862783      lb |  0                0                0.00  |
133.71/133.80	c | 133.80    | 0  | -862779      lb |  0                0                0.00  |
133.91/134.04	c | 134.04    | 0  | -862775      lb |  0                0                0.00  |
134.11/134.28	c | 134.28    | 0  | -862767      lb |  0                0                0.00  |
134.40/134.52	c | 134.52    | 0  | -862759      lb |  0                0                0.00  |
134.60/134.75	c | 134.76    | 0  | -862758      lb |  0                0                0.00  |
134.80/134.99	c | 134.99    | 0  | -862757      lb |  0                0                0.00  |
135.12/135.23	c | 135.23    | 0  | -862755      lb |  0                0                0.00  |
135.31/135.46	c | 135.47    | 0  | -862499      lb |  0                0                0.00  |
135.61/135.70	c | 135.71    | 0  | -862243      lb |  0                0                0.00  |
135.81/135.94	c | 135.95    | 0  | -861987      lb |  0                0                0.00  |
136.01/136.18	c | 136.19    | 0  | -861731      lb |  0                0                0.00  |
136.31/136.42	c | 136.43    | 0  | -861729      lb |  0                0                0.00  |
136.51/136.66	c | 136.66    | 0  | -861727      lb |  0                0                0.00  |
136.80/136.90	c | 136.91    | 0  | -861723      lb |  0                0                0.00  |
137.00/137.14	c | 137.14    | 0  | -861722      lb |  0                0                0.00  |
137.20/137.38	c | 137.38    | 0  | -861721      lb |  0                0                0.00  |
137.51/137.62	c | 137.62    | 0  | -861720      lb |  0                0                0.00  |
137.71/137.87	c | 137.87    | 0  | -861719      lb |  0                0                0.00  |
138.00/138.12	c | 138.12    | 0  | -861717      lb |  0                0                0.00  |
138.20/138.35	c | 138.36    | 0  | -861715      lb |  0                0                0.00  |
138.41/138.59	c | 138.59    | 0  | -861714      lb |  0                0                0.00  |
138.70/138.83	c | 138.83    | 0  | -861710      lb |  0                0                0.00  |
138.90/139.07	c | 139.08    | 0  | -861706      lb |  0                0                0.00  |
139.20/139.31	c | 139.31    | 0  | -861698      lb |  0                0                0.00  |
139.41/139.55	c | 139.56    | 0  | -861690      lb |  0                0                0.00  |
139.62/139.80	c | 139.80    | 0  | -861434      lb |  0                0                0.00  |
139.91/140.04	c | 140.04    | 0  | -861178      lb |  0                0                0.00  |
140.11/140.28	c | 140.28    | 0  | -861176      lb |  0                0                0.00  |
140.41/140.52	c | 140.53    | 0  | -861175      lb |  0                0                0.00  |
140.61/140.77	c | 140.77    | 0  | -861174      lb |  0                0                0.00  |
140.91/141.01	c | 141.01    | 0  | -861173      lb |  0                0                0.00  |
141.11/141.25	c | 141.25    | 0  | -861172      lb |  0                0                0.00  |
141.31/141.49	c | 141.49    | 0  | -861170      lb |  0                0                0.00  |
141.61/141.73	c | 141.74    | 0  | -861168      lb |  0                0                0.00  |
141.81/141.97	c | 141.98    | 0  | -861164      lb |  0                0                0.00  |
142.10/142.21	c | 142.22    | 0  | -860908      lb |  0                0                0.00  |
142.30/142.46	c | 142.46    | 0  | -860652      lb |  0                0                0.00  |
142.61/142.70	c | 142.70    | 0  | -860651      lb |  0                0                0.00  |
142.81/142.95	c | 142.95    | 0  | -860650      lb |  0                0                0.00  |
143.01/143.19	c | 143.19    | 0  | -860648      lb |  0                0                0.00  |
143.31/143.44	c | 143.44    | 0  | -860646      lb |  0                0                0.00  |
143.50/143.68	c | 143.68    | 0  | -860645      lb |  0                0                0.00  |
143.80/143.92	c | 143.93    | 0  | -860644      lb |  0                0                0.00  |
144.01/144.18	c | 144.18    | 0  | -860643      lb |  0                0                0.00  |
144.30/144.43	c | 144.43    | 0  | -860642      lb |  0                0                0.00  |
144.50/144.68	c | 144.69    | 0  | -860641      lb |  0                0                0.00  |
144.81/144.95	c | 144.95    | 0  | -860640      lb |  0                0                0.00  |
145.11/145.21	c | 145.21    | 0  | -860639      lb |  0                0                0.00  |
145.30/145.46	c | 145.46    | 0  | -860638      lb |  0                0                0.00  |
145.60/145.70	c | 145.70    | 0  | -860630      lb |  0                0                0.00  |
145.80/145.95	c | 145.95    | 0  | -860622      lb |  0                0                0.00  |
146.01/146.19	c | 146.19    | 0  | -860606      lb |  0                0                0.00  |
146.31/146.44	c | 146.44    | 0  | -860590      lb |  0                0                0.00  |
146.51/146.68	c | 146.69    | 0  | -860558      lb |  0                0                0.00  |
146.81/146.93	c | 146.94    | 0  | -860526      lb |  0                0                0.00  |
147.01/147.17	c | 147.18    | 0  | -860462      lb |  0                0                0.00  |
147.31/147.43	c | 147.43    | 0  | -860398      lb |  0                0                0.00  |
147.51/147.68	c | 147.69    | 0  | -860142      lb |  0                0                0.00  |
147.81/147.92	c | 147.93    | 0  | -860141      lb |  0                0                0.00  |
148.00/148.18	c | 148.18    | 0  | -860140      lb |  0                0                0.00  |
148.31/148.42	c | 148.42    | 0  | -860139      lb |  0                0                0.00  |
148.50/148.67	c | 148.68    | 0  | -860138      lb |  0                0                0.00  |
148.80/148.92	c | 148.92    | 0  | -860136      lb |  0                0                0.00  |
149.00/149.17	c | 149.17    | 0  | -860134      lb |  0                0                0.00  |
149.31/149.42	c | 149.42    | 0  | -860133      lb |  0                0                0.00  |
149.51/149.66	c | 149.67    | 0  | -860132      lb |  0                0                0.00  |
149.80/149.92	c | 149.93    | 0  | -860131      lb |  0                0                0.00  |
150.00/150.17	c | 150.17    | 0  | -860129      lb |  0                0                0.00  |
150.30/150.42	c | 150.43    | 0  | -860127      lb |  0                0                0.00  |
150.51/150.68	c | 150.68    | 0  | -860126      lb |  0                0                0.00  |
150.81/150.94	c | 150.94    | 0  | -860125      lb |  0                0                0.00  |
151.11/151.20	c | 151.21    | 0  | -860124      lb |  0                0                0.00  |
151.31/151.47	c | 151.48    | 0  | -860123      lb |  0                0                0.00  |
151.61/151.72	c | 151.73    | 0  | -860121      lb |  0                0                0.00  |
151.80/151.97	c | 151.98    | 0  | -860119      lb |  0                0                0.00  |
152.10/152.23	c | 152.23    | 0  | -860117      lb |  0                0                0.00  |
152.30/152.48	c | 152.48    | 0  | -860113      lb |  0                0                0.00  |
152.60/152.73	c | 152.74    | 0  | -860109      lb |  0                0                0.00  |
152.81/153.00	c | 153.00    | 0  | -860108      lb |  0                0                0.00  |
153.11/153.25	c | 153.25    | 0  | -860106      lb |  0                0                0.00  |
153.40/153.51	c | 153.51    | 0  | -860104      lb |  0                0                0.00  |
153.60/153.78	c | 153.78    | 0  | -860102      lb |  0                0                0.00  |
153.91/154.07	c | 154.07    | 0  | -860100      lb |  0                0                0.00  |
154.20/154.32	c | 154.32    | 0  | -860096      lb |  0                0                0.00  |
154.40/154.58	c | 154.59    | 0  | -860088      lb |  0                0                0.00  |
154.70/154.84	c | 154.84    | 0  | -860080      lb |  0                0                0.00  |
155.01/155.12	c | 155.12    | 0  | -860072      lb |  0                0                0.00  |
155.21/155.37	c | 155.37    | 0  | -860056      lb |  0                0                0.00  |
155.50/155.63	c | 155.63    | 0  | -860024      lb |  0                0                0.00  |
155.70/155.89	c | 155.89    | 0  | -859992      lb |  0                0                0.00  |
156.01/156.16	c | 156.16    | 0  | -859960      lb |  0                0                0.00  |
156.31/156.43	c | 156.43    | 0  | -859928      lb |  0                0                0.00  |
156.51/156.69	c | 156.69    | 0  | -859896      lb |  0                0                0.00  |
156.80/156.95	c | 156.95    | 0  | -859832      lb |  0                0                0.00  |
157.00/157.20	c | 157.21    | 0  | -859768      lb |  0                0                0.00  |
157.30/157.49	c | 157.49    | 0  | -859704      lb |  0                0                0.00  |
157.60/157.73	c | 157.74    | 0  | -859703      lb |  0                0                0.00  |
157.91/158.01	c | 158.01    | 0  | -859702      lb |  0                0                0.00  |
158.11/158.26	c | 158.26    | 0  | -859701      lb |  0                0                0.00  |
158.41/158.52	c | 158.52    | 0  | -859700      lb |  0                0                0.00  |
158.71/158.80	c | 158.80    | 0  | -859699      lb |  0                0                0.00  |
158.90/159.05	c | 159.06    | 0  | -859698      lb |  0                0                0.00  |
159.20/159.31	c | 159.32    | 0  | -859697      lb |  0                0                0.00  |
159.41/159.59	c | 159.59    | 0  | -859696      lb |  0                0                0.00  |
159.70/159.86	c | 159.86    | 0  | -859695      lb |  0                0                0.00  |
160.00/160.12	c | 160.12    | 0  | -859694      lb |  0                0                0.00  |
160.20/160.38	c | 160.38    | 0  | -859692      lb |  0                0                0.00  |
160.51/160.64	c | 160.64    | 0  | -859690      lb |  0                0                0.00  |
160.80/160.93	c | 160.93    | 0  | -859688      lb |  0                0                0.00  |
161.00/161.17	c | 161.18    | 0  | -859687      lb |  0                0                0.00  |
161.30/161.44	c | 161.44    | 0  | -859686      lb |  0                0                0.00  |
161.61/161.70	c | 161.71    | 0  | -859685      lb |  0                0                0.00  |
161.81/161.96	c | 161.96    | 0  | -859684      lb |  0                0                0.00  |
162.10/162.24	c | 162.24    | 0  | -859683      lb |  0                0                0.00  |
162.40/162.50	c | 162.50    | 0  | -859681      lb |  0                0                0.00  |
162.61/162.76	c | 162.76    | 0  | -859679      lb |  0                0                0.00  |
162.90/163.05	c | 163.05    | 0  | -859677      lb |  0                0                0.00  |
163.21/163.32	c | 163.32    | 0  | -859675      lb |  0                0                0.00  |
163.41/163.59	c | 163.59    | 0  | -859673      lb |  0                0                0.00  |
163.71/163.87	c | 163.88    | 0  | -859609      lb |  0                0                0.00  |
164.00/164.14	c | 164.14    | 0  | -859545      lb |  0                0                0.00  |
164.30/164.42	c | 164.42    | 0  | -859481      lb |  0                0                0.00  |
164.50/164.69	c | 164.69    | 0  | -859417      lb |  0                0                0.00  |
164.81/164.95	c | 164.96    | 0  | -859415      lb |  0                0                0.00  |
165.10/165.22	c | 165.22    | 0  | -859413      lb |  0                0                0.00  |
165.30/165.49	c | 165.50    | 0  | -859411      lb |  0                0                0.00  |
165.60/165.74	c | 165.74    | 0  | -859395      lb |  0                0                0.00  |
165.91/166.01	c | 166.01    | 0  | -859393      lb |  0                0                0.00  |
166.10/166.28	c | 166.28    | 0  | -859391      lb |  0                0                0.00  |
166.40/166.56	c | 166.56    | 0  | -859389      lb |  0                0                0.00  |
166.70/166.82	c | 166.83    | 0  | -859387      lb |  0                0                0.00  |
166.91/167.09	c | 167.10    | 0  | -859385      lb |  0                0                0.00  |
167.21/167.36	c | 167.37    | 0  | -859383      lb |  0                0                0.00  |
167.50/167.63	c | 167.63    | 0  | -859381      lb |  0                0                0.00  |
167.80/167.98	c | 167.99    | 0  | -859379      lb |  0                0                0.00  |
168.11/168.24	c | 168.25    | 0  | -859375      lb |  0                0                0.00  |
168.40/168.51	c | 168.51    | 0  | -859371      lb |  0                0                0.00  |
168.60/168.78	c | 168.78    | 0  | -859367      lb |  0                0                0.00  |
168.90/169.05	c | 169.05    | 0  | -859363      lb |  0                0                0.00  |
169.21/169.33	c | 169.34    | 0  | -859359      lb |  0                0                0.00  |
169.51/169.61	c | 169.61    | 0  | -859357      lb |  0                0                0.00  |
169.70/169.88	c | 169.88    | 0  | -859355      lb |  0                0                0.00  |
170.00/170.14	c | 170.15    | 0  | -859353      lb |  0                0                0.00  |
170.20/170.39	c | 170.40    | 0  | -859352      lb |  0                0                0.00  |
170.50/170.66	c | 170.67    | 0  | -859351      lb |  0                0                0.00  |
170.80/170.94	c | 170.94    | 0  | -859350      lb |  0                0                0.00  |
171.10/171.21	c | 171.21    | 0  | -859349      lb |  0                0                0.00  |
171.41/171.52	c | 171.52    | 0  | -859348      lb |  0                0                0.00  |
171.70/171.81	c | 171.81    | 0  | -859347      lb |  0                0                0.00  |
173.00/173.11	c | 173.11    | 0  | -859346      lb |  0                0                0.00  |
173.20/173.39	c | 173.39    | 0  | -859344      lb |  0                0                0.00  |
173.50/173.68	c | 173.69    | 0  | -859342      lb |  0                0                0.00  |
173.80/173.99	c | 173.99    | 0  | -859340      lb |  0                0                0.00  |
174.10/174.29	c | 174.30    | 0  | -859338      lb |  0                0                0.00  |
174.50/174.69	c | 174.69    | 0  | -859336      lb |  0                0                0.00  |
178.40/178.59	c | 178.60    | 0  | -859335      lb |  0                0                0.00  |
178.80/178.90	c | 178.90    | 0  | -859333      lb |  0                0                0.00  |
179.00/179.16	c | 179.16    | 0  | -859329      lb |  0                0                0.00  |
179.30/179.44	c | 179.44    | 0  | -859325      lb |  0                0                0.00  |
179.60/179.73	c | 179.73    | 0  | -859321      lb |  0                0                0.00  |
179.90/180.02	c | 180.02    | 0  | -859317      lb |  0                0                0.00  |
180.10/180.29	c | 180.29    | 0  | -859061      lb |  0                0                0.00  |
180.40/180.57	c | 180.58    | 0  | -859059      lb |  0                0                0.00  |
180.70/180.82	c | 180.83    | 0  | -859056      lb |  0                0                0.00  |
183.90/184.06	c | 184.06    | 0  | -859054      lb |  0                0                0.00  |
191.00/191.14	c | 191.14    | 0  | -859052      lb |  0                0                0.00  |
191.30/191.46	c | 191.46    | 0  | -859048      lb |  0                0                0.00  |
191.60/191.72	c | 191.72    | 0  | -859044      lb |  0                0                0.00  |
191.89/192.01	c | 192.01    | 0  | -859040      lb |  0                0                0.00  |
192.09/192.28	c | 192.28    | 0  | -859036      lb |  0                0                0.00  |
192.40/192.59	c | 192.59    | 0  | -859032      lb |  0                0                0.00  |
192.69/192.86	c | 192.86    | 0  | -859031      lb |  0                0                0.00  |
193.79/193.92	c | 193.92    | 0  | -859015      lb |  0                0                0.00  |
194.09/194.21	c | 194.22    | 0  | -859013      lb |  0                0                0.00  |
194.39/194.54	c | 194.54    | 0  | -859011      lb |  0                0                0.00  |
195.89/196.08	c | 196.09    | 0  | -859009      lb |  0                0                0.00  |
225.19/225.39	c | 225.40    | 0  | -859007      lb |  0                0                0.00  |
226.10/226.26	c | 226.27    | 0  | -859005      lb |  0                0                0.00  |
243.49/243.68	c | 243.69    | 0  | -859003      lb |  0                0                0.00  |
311.38/311.59	c | 311.60    | 0  | -859002      lb |  0                0                0.00  |
459.06/459.23	c | 459.24    | 0  | -859001      lb |  0                0                0.00  |
459.46/459.67	c | 459.67    | 0  | -858997      lb |  0                0                0.00  |
459.96/460.11	c | 460.12    | 0  | -858993      lb |  0                0                0.00  |
460.55/460.74	c | 460.74    | 0  | -858989      lb |  0                0                0.00  |
461.05/461.22	c | 461.22    | 0  | -858985      lb |  0                0                0.00  |
463.75/463.96	c | 463.97    | 0  | -858981      lb |  0                0                0.00  |
473.87/474.03	c | 474.03    | 0  | -858977      lb |  0                0                0.00  |
495.05/495.21	c | 495.22    | 0  | -858969      lb |  0                0                0.00  |
599.69/599.92	c | 599.92    | 0  | -858965      lb |  0                0                0.00  |
646.25/646.56	c | 646.56    | 0  | -858964      lb |  0                0                0.00  |
703.22/703.51	c | 703.52    | 0  | -858963      lb |  0                0                0.00  |
974.70/975.17	c | 975.18    | 0  | -858962      lb |  0                0                0.00  |
975.21/975.67	c | 975.67    | 0  | -858946      lb |  0                0                0.00  |
975.51/975.94	c | 975.94    | 0  | -858930      lb |  0                0                0.00  |
975.80/976.25	c | 976.26    | 0  | -858914      lb |  0                0                0.00  |
976.31/976.74	c | 976.75    | 0  | -858882      lb |  0                0                0.00  |
976.60/977.08	c | 977.08    | 0  | -858850      lb |  0                0                0.00  |
976.90/977.36	c | 977.36    | 0  | -858818      lb |  0                0                0.00  |
977.20/977.68	c | 977.69    | 0  | -858786      lb |  0                0                0.00  |
983.10/983.52	c | 983.52    | 0  | -858754      lb |  0                0                0.00  |
1014.80/1015.21	c | 1015.21   | 0  | -858722      lb |  0                0                0.00  |
1015.10/1015.54	c | 1015.55   | 0  | -858658      lb |  0                0                0.00  |
1016.10/1016.54	c | 1016.54   | 0  | -858594      lb |  0                0                0.00  |
1017.00/1017.46	c | 1017.46   | 0  | -858530      lb |  0                0                0.00  |
1017.30/1017.77	c | 1017.77   | 0  | -858466      lb |  0                0                0.00  |
1017.70/1018.17	c | 1018.17   | 0  | -858402      lb |  0                0                0.00  |
1018.00/1018.43	c | 1018.44   | 0  | -858146      lb |  0                0                0.00  |
1018.30/1018.74	c | 1018.74   | 0  | -857890      lb |  0                0                0.00  |
1018.80/1019.26	c | 1019.26   | 0  | -857634      lb |  0                0                0.00  |
1019.10/1019.54	c | 1019.55   | 0  | -857633      lb |  0                0                0.00  |
1019.40/1019.82	c | 1019.82   | 0  | -857625      lb |  0                0                0.00  |
1019.70/1020.10	c | 1020.11   | 0  | -857624      lb |  0                0                0.00  |
1019.90/1020.37	c | 1020.38   | 0  | -857623      lb |  0                0                0.00  |
1020.20/1020.65	c | 1020.65   | 0  | -857622      lb |  0                0                0.00  |
1020.60/1021.08	c | 1021.08   | 0  | -857621      lb |  0                0                0.00  |
1020.90/1021.38	c | 1021.39   | 0  | -857620      lb |  0                0                0.00  |
1028.90/1029.38	c | 1029.38   | 0  | -857619      lb |  0                0                0.00  |
1110.88/1111.34	c | 1111.35   | 0  | -857618      lb |  0                0                0.00  |
1111.28/1111.72	c | 1111.72   | 0  | -857616      lb |  0                0                0.00  |
1111.48/1111.94	c | 1111.94   | 0  | -857615      lb |  0                0                0.00  |
1111.78/1112.24	c | 1112.24   | 0  | -857613      lb |  0                0                0.00  |
1112.08/1112.52	c | 1112.52   | 0  | -857611      lb |  0                0                0.00  |
1112.38/1112.82	c | 1112.82   | 0  | -857610      lb |  0                0                0.00  |
1112.69/1113.10	c | 1113.11   | 0  | -857609      lb |  0                0                0.00  |
1112.98/1113.43	c | 1113.43   | 0  | -857608      lb |  0                0                0.00  |
1113.98/1114.49	c | 1114.49   | 0  | -857607      lb |  0                0                0.00  |
1116.09/1116.58	c | 1116.58   | 0  | -857606      lb |  0                0                0.00  |
1154.38/1154.90	c | 1154.91   | 0  | -857605      lb |  0                0                0.00  |
1154.78/1155.29	c | 1155.30   | 0  | -857604      lb |  0                0                0.00  |
1155.18/1155.69	c | 1155.69   | 0  | -857603      lb |  0                0                0.00  |
1157.18/1157.65	c | 1157.66   | 0  | -857602      lb |  0                0                0.00  |
1160.68/1161.11	c | 1161.11   | 0  | -857600      lb |  0                0                0.00  |
1163.98/1164.46	c | 1164.46   | 0  | -857598      lb |  0                0                0.00  |
1165.38/1165.88	c | 1165.88   | 0  | -857596      lb |  0                0                0.00  |
1211.87/1212.39	c | 1212.39   | 0  | -857594      lb |  0                0                0.00  |
1367.14/1367.60	c | 1367.61   | 0  | -857592      lb |  0                0                0.00  |
1371.84/1372.39	c | 1372.40   | 0  | -857591      lb |  0                0                0.00  |
1432.03/1432.53	c | 1432.54   | 0  | -857589      lb |  0                0                0.00  |
1799.46/1800.00	c ===============================================================================
1799.46/1800.00	c Wall Clock Time: 1800.00 s
1799.46/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-3727874-1338672584/watcher-3727874-1338672584 -o /tmp/evaluation-result-3727874-1338672584/solver-3727874-1338672584 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3727874-1338672584.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.00 2.00 2.00 3/177 2573
/proc/meminfo: memFree=28495412/32873844 swapFree=7644/7644
[pid=2573] ppid=2571 vsize=7092 CPUtime=0 cores=1,3,5,7
/proc/2573/stat : 2573 (wbo1.72) R 2571 2573 2034 0 -1 4202496 604 0 0 0 0 0 0 0 20 0 1 0 333382819 7262208 557 33554432000 4194304 5964350 140736155178400 140733201404040 4395569 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/2573/statm: 1773 559 161 433 0 670 0

[startup+0.069295 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2573
/proc/meminfo: memFree=28495412/32873844 swapFree=7644/7644
[pid=2573] ppid=2571 vsize=16308 CPUtime=0.06 cores=1,3,5,7
/proc/2573/stat : 2573 (wbo1.72) R 2571 2573 2034 0 -1 4202496 2918 0 0 0 6 0 0 0 20 0 1 0 333382819 16699392 2757 33554432000 4194304 5964350 140736155178400 140733201404040 5136410 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/2573/statm: 4077 2758 353 433 0 2974 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16308

[startup+0.100339 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2573
/proc/meminfo: memFree=28495412/32873844 swapFree=7644/7644
[pid=2573] ppid=2571 vsize=19104 CPUtime=0.09 cores=1,3,5,7
/proc/2573/stat : 2573 (wbo1.72) R 2571 2573 2034 0 -1 4202496 3869 0 0 0 9 0 0 0 20 0 1 0 333382819 19562496 3668 33554432000 4194304 5964350 140736155178400 140733201404040 5136410 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/2573/statm: 4776 3669 424 433 0 3673 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19104

[startup+0.300171 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2573
/proc/meminfo: memFree=28495412/32873844 swapFree=7644/7644
[pid=2573] ppid=2571 vsize=110840 CPUtime=0.29 cores=1,3,5,7
/proc/2573/stat : 2573 (wbo1.72) S 2571 2573 2034 0 -1 4202496 11354 0 0 0 28 1 0 0 20 0 2 0 333382819 113500160 10280 33554432000 4194304 5964350 140736155178400 140736155177920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2573/statm: 27710 10280 186 433 0 27274 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 110840

[startup+0.700198 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2573
/proc/meminfo: memFree=28495412/32873844 swapFree=7644/7644
[pid=2573] ppid=2571 vsize=102036 CPUtime=0.69 cores=1,3,5,7
/proc/2573/stat : 2573 (wbo1.72) S 2571 2573 2034 0 -1 4202496 17582 0 0 0 67 2 0 0 20 0 2 0 333382819 104484864 14258 33554432000 4194304 5964350 140736155178400 140736155177920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2573/statm: 25509 14258 194 433 0 25073 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 102036

[startup+1.50036 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2613
/proc/meminfo: memFree=29019032/32873844 swapFree=7644/7644
[pid=2573] ppid=2571 vsize=102036 CPUtime=1.48 cores=1,3,5,7
/proc/2573/stat : 2573 (wbo1.72) S 2571 2573 2034 0 -1 4202496 23408 0 0 0 145 3 0 0 20 0 2 0 333382819 104484864 15994 33554432000 4194304 5964350 140736155178400 140736155177920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2573/statm: 25509 15994 194 433 0 25073 0
[pid=2573/tid=2575] ppid=2571 vsize=102036 CPUtime=1.24 cores=1,3,5,7
/proc/2573/task/2575/stat : 2575 (wbo1.72) R 2571 2573 2034 0 -1 4202560 17400 0 0 0 121 3 0 0 20 0 2 0 333382843 104484864 15994 33554432000 4194304 5964350 140736155178400 140047695905088 4445439 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 102036

[startup+3.10037 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2614
/proc/meminfo: memFree=28957892/32873844 swapFree=7644/7644
[pid=2573] ppid=2571 vsize=102036 CPUtime=3.08 cores=1,3,5,7
/proc/2573/stat : 2573 (wbo1.72) S 2571 2573 2034 0 -1 4202496 32697 0 0 0 303 5 0 0 20 0 2 0 333382819 104484864 18502 33554432000 4194304 5964350 140736155178400 140736155177920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2573/statm: 25509 18502 194 433 0 25073 0
[pid=2573/tid=2575] ppid=2571 vsize=102036 CPUtime=2.84 cores=1,3,5,7
/proc/2573/task/2575/stat : 2575 (wbo1.72) R 2571 2573 2034 0 -1 4202560 26689 0 0 0 279 5 0 0 20 0 2 0 333382843 104484864 18502 33554432000 4194304 5964350 140736155178400 140047695915416 4394746 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 102036

[startup+6.30036 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2614
/proc/meminfo: memFree=28899788/32873844 swapFree=7644/7644
[pid=2573] ppid=2571 vsize=167572 CPUtime=6.29 cores=1,3,5,7
/proc/2573/stat : 2573 (wbo1.72) S 2571 2573 2034 0 -1 4202496 50676 0 0 0 619 10 0 0 20 0 2 0 333382819 171593728 24458 33554432000 4194304 5964350 140736155178400 140736155177920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2573/statm: 41893 24458 194 433 0 41457 0
[pid=2573/tid=2575] ppid=2571 vsize=167572 CPUtime=6.03 cores=1,3,5,7
/proc/2573/task/2575/stat : 2575 (wbo1.72) R 2571 2573 2034 0 -1 4202560 44668 0 0 0 594 9 0 0 20 0 2 0 333382843 171593728 24458 33554432000 4194304 5964350 140736155178400 140047695915544 5122387 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 167572

[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2614
/proc/meminfo: memFree=28819040/32873844 swapFree=7644/7644
[pid=2573] ppid=2571 vsize=167572 CPUtime=12.68 cores=1,3,5,7
/proc/2573/stat : 2573 (wbo1.72) S 2571 2573 2034 0 -1 4202496 82029 0 0 0 1252 16 0 0 20 0 2 0 333382819 171593728 34066 33554432000 4194304 5964350 140736155178400 140736155177920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2573/statm: 41893 34066 194 433 0 41457 0
[pid=2573/tid=2575] ppid=2571 vsize=167572 CPUtime=12.41 cores=1,3,5,7
/proc/2573/task/2575/stat : 2575 (wbo1.72) R 2571 2573 2034 0 -1 4202560 76021 0 0 0 1226 15 0 0 20 0 2 0 333382843 171593728 34066 33554432000 4194304 5964350 140736155178400 140047695915544 5122387 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 167572

[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 2617
/proc/meminfo: memFree=28665376/32873844 swapFree=7644/7644
[pid=2573] ppid=2571 vsize=233108 CPUtime=25.47 cores=1,3,5,7
/proc/2573/stat : 2573 (wbo1.72) S 2571 2573 2034 0 -1 4202496 138242 0 0 0 2520 27 0 0 20 0 2 0 333382819 238702592 49925 33554432000 4194304 5964350 140736155178400 140736155177920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2573/statm: 58277 49925 194 433 0 57841 0
[pid=2573/tid=2575] ppid=2571 vsize=233108 CPUtime=25.17 cores=1,3,5,7
/proc/2573/task/2575/stat : 2575 (wbo1.72) R 2571 2573 2034 0 -1 4202560 132234 0 0 0 2491 26 0 0 20 0 2 0 333382843 238702592 49925 33554432000 4194304 5964350 140736155178400 140047695915416 5134306 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 233108

[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 2617
/proc/meminfo: memFree=28458404/32873844 swapFree=7644/7644
[pid=2573] ppid=2571 vsize=364180 CPUtime=51.05 cores=1,3,5,7
/proc/2573/stat : 2573 (wbo1.72) S 2571 2573 2034 0 -1 4202496 230344 0 0 0 5061 44 0 0 20 0 2 0 333382819 372920320 74567 33554432000 4194304 5964350 140736155178400 140736155177920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2573/statm: 91045 74567 197 433 0 90609 0
[pid=2573/tid=2575] ppid=2571 vsize=364180 CPUtime=50.68 cores=1,3,5,7
/proc/2573/task/2575/stat : 2575 (wbo1.72) R 2571 2573 2034 0 -1 4202560 224336 0 0 0 5025 43 0 0 20 0 2 0 333382843 372920320 74567 33554432000 4194304 5964350 140736155178400 140047695915544 5142429 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 364180

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2617
/proc/meminfo: memFree=28130408/32873844 swapFree=7644/7644
[pid=2573] ppid=2571 vsize=495252 CPUtime=102.22 cores=1,3,5,7
/proc/2573/stat : 2573 (wbo1.72) S 2571 2573 2034 0 -1 4202496 372963 0 0 0 10149 73 0 0 20 0 2 0 333382819 507138048 111399 33554432000 4194304 5964350 140736155178400 140736155177920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2573/statm: 123813 111399 198 433 0 123377 0
[pid=2573/tid=2575] ppid=2571 vsize=495252 CPUtime=101.73 cores=1,3,5,7
/proc/2573/task/2575/stat : 2575 (wbo1.72) R 2571 2573 2034 0 -1 4202560 366955 0 0 0 10099 74 0 0 20 0 2 0 333382843 507138048 111399 33554432000 4194304 5964350 140736155178400 140047695915544 4376171 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 495252

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2617
/proc/meminfo: memFree=27749292/32873844 swapFree=7644/7644
[pid=2573] ppid=2571 vsize=696840 CPUtime=162.2 cores=1,3,5,7
/proc/2573/stat : 2573 (wbo1.72) S 2571 2573 2034 0 -1 4202496 519821 0 0 0 16117 103 0 0 20 0 2 0 333382819 713564160 153103 33554432000 4194304 5964350 140736155178400 140736155177920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2573/statm: 174210 153103 198 433 0 173774 0
[pid=2573/tid=2575] ppid=2571 vsize=696840 CPUtime=161.56 cores=1,3,5,7
/proc/2573/task/2575/stat : 2575 (wbo1.72) R 2571 2573 2034 0 -1 4202560 513813 0 0 0 16052 104 0 0 20 0 2 0 333382843 713564160 153103 33554432000 4194304 5964350 140736155178400 140047695915352 5135577 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 696840

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2617
/proc/meminfo: memFree=27652184/32873844 swapFree=7644/7644
[pid=2573] ppid=2571 vsize=696840 CPUtime=222.19 cores=1,3,5,7
/proc/2573/stat : 2573 (wbo1.72) S 2571 2573 2034 0 -1 4202496 539066 0 0 0 22112 107 0 0 20 0 2 0 333382819 713564160 163375 33554432000 4194304 5964350 140736155178400 140736155177920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2573/statm: 174210 163375 198 433 0 173774 0
[pid=2573/tid=2575] ppid=2571 vsize=696840 CPUtime=221.41 cores=1,3,5,7
/proc/2573/task/2575/stat : 2575 (wbo1.72) R 2571 2573 2034 0 -1 4202560 533058 0 0 0 22031 110 0 0 20 0 2 0 333382843 713564160 163375 33554432000 4194304 5964350 140736155178400 140047695915848 4400715 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 696840

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2618
/proc/meminfo: memFree=27625792/32873844 swapFree=7644/7644
[pid=2573] ppid=2571 vsize=762376 CPUtime=282.19 cores=1,3,5,7
/proc/2573/stat : 2573 (wbo1.72) S 2571 2573 2034 0 -1 4202496 540228 0 0 0 28111 108 0 0 20 0 2 0 333382819 780673024 167603 33554432000 4194304 5964350 140736155178400 140736155177920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2573/statm: 190594 167603 198 433 0 190158 0
[pid=2573/tid=2575] ppid=2571 vsize=762376 CPUtime=281.25 cores=1,3,5,7
/proc/2573/task/2575/stat : 2575 (wbo1.72) R 2571 2573 2034 0 -1 4202560 534220 0 0 0 28014 111 0 0 20 0 2 0 333382843 780673024 167603 33554432000 4194304 5964350 140736155178400 140047695915304 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 762376

[startup+342.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/180 2619
/proc/meminfo: memFree=27610988/32873844 swapFree=7644/7644
[pid=2573] ppid=2571 vsize=762376 CPUtime=342.18 cores=1,3,5,7
/proc/2573/stat : 2573 (wbo1.72) S 2571 2573 2034 0 -1 4202496 541174 0 0 0 34110 108 0 0 20 0 2 0 333382819 780673024 170082 33554432000 4194304 5964350 140736155178400 140736155177920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2573/statm: 190594 170082 198 433 0 190158 0
[pid=2573/tid=2575] ppid=2571 vsize=762376 CPUtime=341.09 cores=1,3,5,7
/proc/2573/task/2575/stat : 2575 (wbo1.72) R 2571 2573 2034 0 -1 4202560 535166 0 0 0 33997 112 0 0 20 0 2 0 333382843 780673024 170082 33554432000 4194304 5964350 140736155178400 140047695915352 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 762376

[startup+402.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 2619
/proc/meminfo: memFree=27605384/32873844 swapFree=7644/7644
[pid=2573] ppid=2571 vsize=762376 CPUtime=402.17 cores=1,3,5,7
/proc/2573/stat : 2573 (wbo1.72) S 2571 2573 2034 0 -1 4202496 541174 0 0 0 40109 108 0 0 20 0 2 0 333382819 780673024 170082 33554432000 4194304 5964350 140736155178400 140736155177920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2573/statm: 190594 170082 198 433 0 190158 0
[pid=2573/tid=2575] ppid=2571 vsize=762376 CPUtime=400.94 cores=1,3,5,7
/proc/2573/task/2575/stat : 2575 (wbo1.72) R 2571 2573 2034 0 -1 4202560 535166 0 0 0 39981 113 0 0 20 0 2 0 333382843 780673024 170082 33554432000 4194304 5964350 140736155178400 140047695915352 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 762376

[startup+462.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 2619
/proc/meminfo: memFree=27582344/32873844 swapFree=7644/7644
[pid=2573] ppid=2571 vsize=762376 CPUtime=462.15 cores=1,3,5,7

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


[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 2639
/proc/meminfo: memFree=27391248/32873844 swapFree=7644/7644
[pid=2573] ppid=2571 vsize=827912 CPUtime=1421.84 cores=1,3,5,7
/proc/2573/stat : 2573 (wbo1.72) S 2571 2573 2034 0 -1 4202496 561973 0 0 0 142068 116 0 0 20 0 2 0 333382819 847781888 185811 33554432000 4194304 5964350 140736155178400 140736155177920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2573/statm: 206978 185811 198 433 0 206542 0
[pid=2573/tid=2575] ppid=2571 vsize=827912 CPUtime=1418.09 cores=1,3,5,7
/proc/2573/task/2575/stat : 2575 (wbo1.72) R 2571 2573 2034 0 -1 4202560 555965 0 0 0 141672 137 0 0 20 0 2 0 333382843 847781888 185811 33554432000 4194304 5964350 140736155178400 140047695915848 4400007 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 827912

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2640
/proc/meminfo: memFree=27388084/32873844 swapFree=7644/7644
[pid=2573] ppid=2571 vsize=827912 CPUtime=1481.82 cores=1,3,5,7
/proc/2573/stat : 2573 (wbo1.72) S 2571 2573 2034 0 -1 4202496 562022 0 0 0 148066 116 0 0 20 0 2 0 333382819 847781888 186602 33554432000 4194304 5964350 140736155178400 140736155177920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2573/statm: 206978 186602 198 433 0 206542 0
[pid=2573/tid=2575] ppid=2571 vsize=827912 CPUtime=1477.93 cores=1,3,5,7
/proc/2573/task/2575/stat : 2575 (wbo1.72) R 2571 2573 2034 0 -1 4202560 556014 0 0 0 147655 138 0 0 20 0 2 0 333382843 847781888 186602 33554432000 4194304 5964350 140736155178400 140047695915544 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 827912

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2640
/proc/meminfo: memFree=27388052/32873844 swapFree=7644/7644
[pid=2573] ppid=2571 vsize=827912 CPUtime=1541.8 cores=1,3,5,7
/proc/2573/stat : 2573 (wbo1.72) S 2571 2573 2034 0 -1 4202496 562036 0 0 0 154064 116 0 0 20 0 2 0 333382819 847781888 186602 33554432000 4194304 5964350 140736155178400 140736155177920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2573/statm: 206978 186602 198 433 0 206542 0
[pid=2573/tid=2575] ppid=2571 vsize=827912 CPUtime=1537.75 cores=1,3,5,7
/proc/2573/task/2575/stat : 2575 (wbo1.72) R 2571 2573 2034 0 -1 4202560 556028 0 0 0 153636 139 0 0 20 0 2 0 333382843 847781888 186602 33554432000 4194304 5964350 140736155178400 140047695915544 4400007 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 827912

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2640
/proc/meminfo: memFree=27388052/32873844 swapFree=7644/7644
[pid=2573] ppid=2571 vsize=827912 CPUtime=1601.79 cores=1,3,5,7
/proc/2573/stat : 2573 (wbo1.72) S 2571 2573 2034 0 -1 4202496 562036 0 0 0 160063 116 0 0 20 0 2 0 333382819 847781888 186602 33554432000 4194304 5964350 140736155178400 140736155177920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2573/statm: 206978 186602 198 433 0 206542 0
[pid=2573/tid=2575] ppid=2571 vsize=827912 CPUtime=1597.6 cores=1,3,5,7
/proc/2573/task/2575/stat : 2575 (wbo1.72) R 2571 2573 2034 0 -1 4202560 556028 0 0 0 159620 140 0 0 20 0 2 0 333382843 847781888 186602 33554432000 4194304 5964350 140736155178400 140047695915544 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 827912

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2640
/proc/meminfo: memFree=27388052/32873844 swapFree=7644/7644
[pid=2573] ppid=2571 vsize=827912 CPUtime=1661.78 cores=1,3,5,7
/proc/2573/stat : 2573 (wbo1.72) S 2571 2573 2034 0 -1 4202496 562036 0 0 0 166062 116 0 0 20 0 2 0 333382819 847781888 186602 33554432000 4194304 5964350 140736155178400 140736155177920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2573/statm: 206978 186602 198 433 0 206542 0
[pid=2573/tid=2575] ppid=2571 vsize=827912 CPUtime=1657.44 cores=1,3,5,7
/proc/2573/task/2575/stat : 2575 (wbo1.72) R 2571 2573 2034 0 -1 4202560 556028 0 0 0 165603 141 0 0 20 0 2 0 333382843 847781888 186602 33554432000 4194304 5964350 140736155178400 140047695915544 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 827912

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2640
/proc/meminfo: memFree=27386564/32873844 swapFree=7644/7644
[pid=2573] ppid=2571 vsize=827912 CPUtime=1721.77 cores=1,3,5,7
/proc/2573/stat : 2573 (wbo1.72) S 2571 2573 2034 0 -1 4202496 562036 0 0 0 172061 116 0 0 20 0 2 0 333382819 847781888 186602 33554432000 4194304 5964350 140736155178400 140736155177920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2573/statm: 206978 186602 198 433 0 206542 0
[pid=2573/tid=2575] ppid=2571 vsize=827912 CPUtime=1717.28 cores=1,3,5,7
/proc/2573/task/2575/stat : 2575 (wbo1.72) R 2571 2573 2034 0 -1 4202560 556028 0 0 0 171586 142 0 0 20 0 2 0 333382843 847781888 186602 33554432000 4194304 5964350 140736155178400 140047695915544 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 827912

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2641
/proc/meminfo: memFree=27386068/32873844 swapFree=7644/7644
[pid=2573] ppid=2571 vsize=827912 CPUtime=1781.76 cores=1,3,5,7
/proc/2573/stat : 2573 (wbo1.72) S 2571 2573 2034 0 -1 4202496 562204 0 0 0 178060 116 0 0 20 0 2 0 333382819 847781888 186770 33554432000 4194304 5964350 140736155178400 140736155177920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2573/statm: 206978 186770 198 433 0 206542 0
[pid=2573/tid=2575] ppid=2571 vsize=827912 CPUtime=1777.13 cores=1,3,5,7
/proc/2573/task/2575/stat : 2575 (wbo1.72) R 2571 2573 2034 0 -1 4202560 556196 0 0 0 177571 142 0 0 20 0 2 0 333382843 847781888 186770 33554432000 4194304 5964350 140736155178400 140047695915544 4399846 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 827912

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

[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2641
/proc/meminfo: memFree=27384580/32873844 swapFree=7644/7644
[pid=2573] ppid=2571 vsize=827912 CPUtime=1791.37 cores=1,3,5,7
/proc/2573/stat : 2573 (wbo1.72) S 2571 2573 2034 0 -1 4202496 562643 0 0 0 179020 117 0 0 20 0 2 0 333382819 847781888 187209 33554432000 4194304 5964350 140736155178400 140736155177920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2573/statm: 206978 187209 198 433 0 206542 0
[pid=2573/tid=2575] ppid=2571 vsize=827912 CPUtime=1786.71 cores=1,3,5,7
/proc/2573/task/2575/stat : 2575 (wbo1.72) R 2571 2573 2034 0 -1 4202560 556635 0 0 0 178528 143 0 0 20 0 2 0 333382843 847781888 187209 33554432000 4194304 5964350 140736155178400 140047695915544 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1791.37
Current children cumulated vsize (KiB) 827912

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2641
/proc/meminfo: memFree=27383836/32873844 swapFree=7644/7644
[pid=2573] ppid=2571 vsize=827912 CPUtime=1794.57 cores=1,3,5,7
/proc/2573/stat : 2573 (wbo1.72) S 2571 2573 2034 0 -1 4202496 562743 0 0 0 179340 117 0 0 20 0 2 0 333382819 847781888 187309 33554432000 4194304 5964350 140736155178400 140736155177920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2573/statm: 206978 187309 198 433 0 206542 0
[pid=2573/tid=2575] ppid=2571 vsize=827912 CPUtime=1789.9 cores=1,3,5,7
/proc/2573/task/2575/stat : 2575 (wbo1.72) R 2571 2573 2034 0 -1 4202560 556735 0 0 0 178847 143 0 0 20 0 2 0 333382843 847781888 187309 33554432000 4194304 5964350 140736155178400 140047695915544 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1794.57
Current children cumulated vsize (KiB) 827912

[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2641
/proc/meminfo: memFree=27383712/32873844 swapFree=7644/7644
[pid=2573] ppid=2571 vsize=827912 CPUtime=1797.76 cores=1,3,5,7
/proc/2573/stat : 2573 (wbo1.72) S 2571 2573 2034 0 -1 4202496 562845 0 0 0 179659 117 0 0 20 0 2 0 333382819 847781888 187411 33554432000 4194304 5964350 140736155178400 140736155177920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2573/statm: 206978 187411 198 433 0 206542 0
[pid=2573/tid=2575] ppid=2571 vsize=827912 CPUtime=1793.09 cores=1,3,5,7
/proc/2573/task/2575/stat : 2575 (wbo1.72) R 2571 2573 2034 0 -1 4202560 556837 0 0 0 179166 143 0 0 20 0 2 0 333382843 847781888 187411 33554432000 4194304 5964350 140736155178400 140047695915544 4400355 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1797.76
Current children cumulated vsize (KiB) 827912

[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2641
/proc/meminfo: memFree=27383464/32873844 swapFree=7644/7644
[pid=2573] ppid=2571 vsize=827912 CPUtime=1798.56 cores=1,3,5,7
/proc/2573/stat : 2573 (wbo1.72) S 2571 2573 2034 0 -1 4202496 562886 0 0 0 179739 117 0 0 20 0 2 0 333382819 847781888 187452 33554432000 4194304 5964350 140736155178400 140736155177920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2573/statm: 206978 187452 198 433 0 206542 0
[pid=2573/tid=2575] ppid=2571 vsize=827912 CPUtime=1793.88 cores=1,3,5,7
/proc/2573/task/2575/stat : 2575 (wbo1.72) R 2571 2573 2034 0 -1 4202560 556878 0 0 0 179245 143 0 0 20 0 2 0 333382843 847781888 187452 33554432000 4194304 5964350 140736155178400 140047695915544 4400007 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1798.56
Current children cumulated vsize (KiB) 827912

[startup+1799.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2641
/proc/meminfo: memFree=27383092/32873844 swapFree=7644/7644
[pid=2573] ppid=2571 vsize=827912 CPUtime=1798.97 cores=1,3,5,7
/proc/2573/stat : 2573 (wbo1.72) S 2571 2573 2034 0 -1 4202496 562916 0 0 0 179780 117 0 0 20 0 2 0 333382819 847781888 187482 33554432000 4194304 5964350 140736155178400 140736155177920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2573/statm: 206978 187482 198 433 0 206542 0
[pid=2573/tid=2575] ppid=2571 vsize=827912 CPUtime=1794.29 cores=1,3,5,7
/proc/2573/task/2575/stat : 2575 (wbo1.72) R 2571 2573 2034 0 -1 4202560 556908 0 0 0 179286 143 0 0 20 0 2 0 333382843 847781888 187482 33554432000 4194304 5964350 140736155178400 140047695915544 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1798.97
Current children cumulated vsize (KiB) 827912

[startup+1799.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2641
/proc/meminfo: memFree=27383092/32873844 swapFree=7644/7644
[pid=2573] ppid=2571 vsize=827912 CPUtime=1799.36 cores=1,3,5,7
/proc/2573/stat : 2573 (wbo1.72) S 2571 2573 2034 0 -1 4202496 562929 0 0 0 179819 117 0 0 20 0 2 0 333382819 847781888 188006 33554432000 4194304 5964350 140736155178400 140736155177920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2573/statm: 206978 188006 198 433 0 206542 0
[pid=2573/tid=2575] ppid=2571 vsize=827912 CPUtime=1794.68 cores=1,3,5,7
/proc/2573/task/2575/stat : 2575 (wbo1.72) R 2571 2573 2034 0 -1 4202560 556921 0 0 0 179325 143 0 0 20 0 2 0 333382843 847781888 188006 33554432000 4194304 5964350 140736155178400 140047695915544 4399921 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.36
Current children cumulated vsize (KiB) 827912

[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2641
/proc/meminfo: memFree=27383092/32873844 swapFree=7644/7644
[pid=2573] ppid=2571 vsize=827912 CPUtime=1799.46 cores=1,3,5,7
/proc/2573/stat : 2573 (wbo1.72) S 2571 2573 2034 0 -1 4202496 562930 0 0 0 179829 117 0 0 20 0 2 0 333382819 847781888 188007 33554432000 4194304 5964350 140736155178400 140736155177920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2573/statm: 206978 188007 198 433 0 206542 0
[pid=2573/tid=2575] ppid=2571 vsize=827912 CPUtime=1794.78 cores=1,3,5,7
/proc/2573/task/2575/stat : 2575 (wbo1.72) R 2571 2573 2034 0 -1 4202560 556922 0 0 0 179335 143 0 0 20 0 2 0 333382843 847781888 188007 33554432000 4194304 5964350 140736155178400 140047695915544 4400439 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.46
Current children cumulated vsize (KiB) 827912

Child status: 255

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 2573 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=583333
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=449779
# CPU time returned by wait4() is 1795.03
# while last known CPU time is 1799.46
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1800.01
CPU time (s): 1799.46
CPU user time (s): 1798.29
CPU system time (s): 1.17
CPU usage (%): 99.9696
Max. virtual memory (cumulated for all children) (KiB): 827912

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.58
system time used= 1.44978
maximum resident set size= 752036
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 562932
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= 297
involuntary context switches= 1956

runsolver used 3.32649 second user time and 9.50755 second system time

The end

Launcher Data

Begin job on node147 at 2012-06-02 23:29:44
IDJOB=3727874
IDBENCH=90788
IDSOLVER=2313
FILE ID=node147/3727874-1338672584
RUNJOBID= node147-1338668983-2334
PBS_JOBID= 14636494
Free space on /tmp= 70776 MiB

SOLVER NAME= wbo 1.72
BENCH NAME= PB12/normalized-PB12/OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_luby_20null10mast_rapportOE1.0_TMAX60_K67_cod3.opb
COMMAND LINE= wbo1.72 -file-format=opb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3727874-1338672584/watcher-3727874-1338672584 -o /tmp/evaluation-result-3727874-1338672584/solver-3727874-1338672584 -C 1800 -W 1900 -M 15500  wbo1.72 -file-format=opb HOME/instance-3727874-1338672584.opb

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

MD5SUM BENCH= 438c25da2e5c4802d30b8fcc00d9e167
RANDOM SEED=79815624

node147.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		: 2666.951
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	: 5333.90
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		: 2666.951
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		: 2666.951
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	: 5331.87
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		: 2666.951
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		: 2666.951
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		: 2666.951
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		: 2666.951
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		: 2666.951
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.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28495684 kB
Buffers:          428508 kB
Cached:          2490408 kB
SwapCached:         3380 kB
Active:          2022644 kB
Inactive:        1494684 kB
Active(anon):     594272 kB
Inactive(anon):     5920 kB
Active(file):    1428372 kB
Inactive(file):  1488764 kB
Unevictable:        7644 kB
Mlocked:            7644 kB
SwapTotal:      67108856 kB
SwapFree:       67100236 kB
Dirty:              8172 kB
Writeback:             0 kB
AnonPages:        652316 kB
Mapped:            10084 kB
Shmem:                 0 kB
Slab:             720192 kB
SReclaimable:     161372 kB
SUnreclaim:       558820 kB
KernelStack:        1488 kB
PageTables:         5008 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     155596 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    573440 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= 70768 MiB
End job on node147 at 2012-06-02 23:59:44