Trace number 3727882

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.76 1800

General information on the benchmark

Name/OPT-SMALLINT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_unif_50null50mast_rapportOE2.0_TMAX15_K67_cod1.opb
MD5SUMcd63af4b43031b31fea6da5a72b06e90
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark1.81472
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 16038
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 16038
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 15
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 204087
Number of bits of the biggest sum of numbers18
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-3727882-1338671365.opb.
0.00/0.00	c Instance file HOME/instance-3727882-1338671365.opb
0.00/0.00	c File size is 2643991 bytes.
0.18/0.21	c Cost Offset: -16038
0.18/0.21	c Highest Coefficient sum: 204087
0.18/0.22	c ============================[ Problem Statistics ]=============================
0.18/0.22	c |                                                                             |
0.18/0.22	c |  Parsing time:          0.22         s                                      |
0.18/0.22	c |  Number Variables:      40451                                               |
0.18/0.22	c |  Number Clauses:        40396                                               |
0.18/0.22	c |  Number Cardinality:    553                                                 |
0.18/0.22	c |  Number PB Constraints: 1                                                   |
0.18/0.22	c |                                                                             |
0.18/0.25	c |  Problem Type:          Optimization                                        |
0.18/0.25	c |  Objective Function:    Cardinality Constraint                              |
0.18/0.25	c |                                                                             |
0.18/0.25	c ============================[ Search Statistics ]==============================
0.18/0.25	c | Time (s)  | ID |      Bound      |               Shared Clauses             |
0.18/0.25	c |           |    | value      type |  expCls         impCls        Lit/impCl  |
0.18/0.25	c ===============================================================================
0.18/0.29	c | 0.30      | 0  | -16037       lb |  0                0                0.00  |
0.29/0.33	c | 0.33      | 0  | -16036       lb |  0                0                0.00  |
0.29/0.36	c | 0.36      | 0  | -16035       lb |  0                0                0.00  |
0.29/0.39	c | 0.39      | 0  | -16034       lb |  0                0                0.00  |
0.39/0.42	c | 0.42      | 0  | -16033       lb |  0                0                0.00  |
0.39/0.45	c | 0.46      | 0  | -16032       lb |  0                0                0.00  |
0.39/0.49	c | 0.49      | 0  | -16031       lb |  0                0                0.00  |
0.49/0.52	c | 0.52      | 0  | -16030       lb |  0                0                0.00  |
0.49/0.55	c | 0.56      | 0  | -16029       lb |  0                0                0.00  |
0.49/0.59	c | 0.59      | 0  | -16028       lb |  0                0                0.00  |
0.59/0.62	c | 0.63      | 0  | -16027       lb |  0                0                0.00  |
0.59/0.66	c | 0.66      | 0  | -16026       lb |  0                0                0.00  |
0.59/0.69	c | 0.70      | 0  | -16025       lb |  0                0                0.00  |
0.69/0.73	c | 0.73      | 0  | -16024       lb |  0                0                0.00  |
0.69/0.77	c | 0.77      | 0  | -16023       lb |  0                0                0.00  |
0.79/0.80	c | 0.81      | 0  | -16022       lb |  0                0                0.00  |
0.79/0.84	c | 0.85      | 0  | -16021       lb |  0                0                0.00  |
0.79/0.88	c | 0.88      | 0  | -16020       lb |  0                0                0.00  |
0.88/0.92	c | 0.92      | 0  | -16019       lb |  0                0                0.00  |
0.88/0.96	c | 0.96      | 0  | -16018       lb |  0                0                0.00  |
0.88/0.99	c | 1.00      | 0  | -16017       lb |  0                0                0.00  |
0.99/1.04	c | 1.04      | 0  | -16016       lb |  0                0                0.00  |
0.99/1.08	c | 1.08      | 0  | -16015       lb |  0                0                0.00  |
1.09/1.12	c | 1.12      | 0  | -16014       lb |  0                0                0.00  |
1.09/1.16	c | 1.16      | 0  | -16013       lb |  0                0                0.00  |
1.19/1.20	c | 1.20      | 0  | -16012       lb |  0                0                0.00  |
1.19/1.24	c | 1.25      | 0  | -16011       lb |  0                0                0.00  |
1.19/1.28	c | 1.28      | 0  | -16010       lb |  0                0                0.00  |
1.28/1.33	c | 1.33      | 0  | -16009       lb |  0                0                0.00  |
1.28/1.37	c | 1.37      | 0  | -16008       lb |  0                0                0.00  |
1.38/1.41	c | 1.42      | 0  | -16007       lb |  0                0                0.00  |
1.38/1.45	c | 1.46      | 0  | -16006       lb |  0                0                0.00  |
1.48/1.50	c | 1.50      | 0  | -16005       lb |  0                0                0.00  |
1.48/1.54	c | 1.54      | 0  | -16004       lb |  0                0                0.00  |
1.48/1.59	c | 1.59      | 0  | -16003       lb |  0                0                0.00  |
1.59/1.63	c | 1.63      | 0  | -16002       lb |  0                0                0.00  |
1.59/1.67	c | 1.68      | 0  | -16001       lb |  0                0                0.00  |
1.68/1.72	c | 1.72      | 0  | -16000       lb |  0                0                0.00  |
1.68/1.76	c | 1.77      | 0  | -15999       lb |  0                0                0.00  |
1.78/1.81	c | 1.81      | 0  | -15998       lb |  0                0                0.00  |
1.78/1.85	c | 1.86      | 0  | -15997       lb |  0                0                0.00  |
1.88/1.90	c | 1.90      | 0  | -15996       lb |  0                0                0.00  |
1.88/1.95	c | 1.95      | 0  | -15995       lb |  0                0                0.00  |
1.88/1.99	c | 2.00      | 0  | -15994       lb |  0                0                0.00  |
1.98/2.04	c | 2.04      | 0  | -15993       lb |  0                0                0.00  |
1.98/2.09	c | 2.09      | 0  | -15992       lb |  0                0                0.00  |
2.09/2.14	c | 2.14      | 0  | -15991       lb |  0                0                0.00  |
2.09/2.18	c | 2.19      | 0  | -15990       lb |  0                0                0.00  |
2.19/2.23	c | 2.23      | 0  | -15989       lb |  0                0                0.00  |
2.19/2.28	c | 2.28      | 0  | -15988       lb |  0                0                0.00  |
2.28/2.32	c | 2.33      | 0  | -15987       lb |  0                0                0.00  |
2.28/2.37	c | 2.38      | 0  | -15986       lb |  0                0                0.00  |
2.39/2.42	c | 2.42      | 0  | -15985       lb |  0                0                0.00  |
2.39/2.47	c | 2.47      | 0  | -15984       lb |  0                0                0.00  |
2.49/2.52	c | 2.52      | 0  | -15983       lb |  0                0                0.00  |
2.49/2.56	c | 2.57      | 0  | -15982       lb |  0                0                0.00  |
2.59/2.61	c | 2.62      | 0  | -15981       lb |  0                0                0.00  |
2.59/2.66	c | 2.66      | 0  | -15980       lb |  0                0                0.00  |
2.69/2.71	c | 2.71      | 0  | -15979       lb |  0                0                0.00  |
2.69/2.76	c | 2.76      | 0  | -15978       lb |  0                0                0.00  |
2.79/2.80	c | 2.81      | 0  | -15977       lb |  0                0                0.00  |
2.79/2.85	c | 2.86      | 0  | -15976       lb |  0                0                0.00  |
2.88/2.90	c | 2.91      | 0  | -15975       lb |  0                0                0.00  |
2.88/2.95	c | 2.96      | 0  | -15974       lb |  0                0                0.00  |
2.98/3.00	c | 3.00      | 0  | -15973       lb |  0                0                0.00  |
2.98/3.05	c | 3.05      | 0  | -15972       lb |  0                0                0.00  |
3.08/3.10	c | 3.10      | 0  | -15971       lb |  0                0                0.00  |
3.08/3.15	c | 3.15      | 0  | -15970       lb |  0                0                0.00  |
3.08/3.20	c | 3.20      | 0  | -15969       lb |  0                0                0.00  |
3.19/3.25	c | 3.25      | 0  | -15968       lb |  0                0                0.00  |
3.19/3.30	c | 3.30      | 0  | -15967       lb |  0                0                0.00  |
3.29/3.35	c | 3.35      | 0  | -15966       lb |  0                0                0.00  |
3.39/3.40	c | 3.40      | 0  | -15965       lb |  0                0                0.00  |
3.39/3.45	c | 3.45      | 0  | -15964       lb |  0                0                0.00  |
3.48/3.50	c | 3.50      | 0  | -15963       lb |  0                0                0.00  |
3.48/3.55	c | 3.55      | 0  | -15962       lb |  0                0                0.00  |
3.58/3.60	c | 3.60      | 0  | -15961       lb |  0                0                0.00  |
3.58/3.65	c | 3.65      | 0  | -15960       lb |  0                0                0.00  |
3.68/3.70	c | 3.71      | 0  | -15959       lb |  0                0                0.00  |
3.68/3.75	c | 3.76      | 0  | -15958       lb |  0                0                0.00  |
3.78/3.80	c | 3.81      | 0  | -15957       lb |  0                0                0.00  |
3.78/3.86	c | 3.86      | 0  | -15956       lb |  0                0                0.00  |
3.88/3.91	c | 3.91      | 0  | -15955       lb |  0                0                0.00  |
3.88/3.96	c | 3.96      | 0  | -15954       lb |  0                0                0.00  |
3.98/4.01	c | 4.02      | 0  | -15953       lb |  0                0                0.00  |
3.98/4.06	c | 4.07      | 0  | -15952       lb |  0                0                0.00  |
4.09/4.12	c | 4.12      | 0  | -15951       lb |  0                0                0.00  |
4.09/4.17	c | 4.18      | 0  | -15950       lb |  0                0                0.00  |
4.18/4.23	c | 4.23      | 0  | -15949       lb |  0                0                0.00  |
4.18/4.28	c | 4.29      | 0  | -15948       lb |  0                0                0.00  |
4.29/4.33	c | 4.34      | 0  | -15947       lb |  0                0                0.00  |
4.29/4.39	c | 4.39      | 0  | -15946       lb |  0                0                0.00  |
4.39/4.44	c | 4.45      | 0  | -15945       lb |  0                0                0.00  |
4.48/4.50	c | 4.50      | 0  | -15944       lb |  0                0                0.00  |
4.48/4.55	c | 4.56      | 0  | -15943       lb |  0                0                0.00  |
4.58/4.61	c | 4.61      | 0  | -15942       lb |  0                0                0.00  |
4.68/4.74	c | 4.67      | 0  | -15941       lb |  0                0                0.00  |
4.68/4.74	c | 4.72      | 0  | -15940       lb |  0                0                0.00  |
4.68/4.77	c | 4.78      | 0  | -15939       lb |  0                0                0.00  |
4.79/4.83	c | 4.83      | 0  | -15938       lb |  0                0                0.00  |
4.79/4.88	c | 4.89      | 0  | -15937       lb |  0                0                0.00  |
4.89/4.94	c | 4.94      | 0  | -15936       lb |  0                0                0.00  |
4.89/4.99	c | 5.00      | 0  | -15935       lb |  0                0                0.00  |
4.99/5.05	c | 5.05      | 0  | -15934       lb |  0                0                0.00  |
5.08/5.10	c | 5.11      | 0  | -15933       lb |  0                0                0.00  |
5.08/5.16	c | 5.16      | 0  | -15932       lb |  0                0                0.00  |
5.18/5.21	c | 5.22      | 0  | -15931       lb |  0                0                0.00  |
5.18/5.27	c | 5.27      | 0  | -15930       lb |  0                0                0.00  |
5.28/5.33	c | 5.33      | 0  | -15929       lb |  0                0                0.00  |
5.28/5.38	c | 5.39      | 0  | -15928       lb |  0                0                0.00  |
5.39/5.44	c | 5.44      | 0  | -15927       lb |  0                0                0.00  |
5.39/5.50	c | 5.50      | 0  | -15926       lb |  0                0                0.00  |
5.49/5.55	c | 5.56      | 0  | -15925       lb |  0                0                0.00  |
5.58/5.61	c | 5.62      | 0  | -15924       lb |  0                0                0.00  |
5.58/5.67	c | 5.67      | 0  | -15923       lb |  0                0                0.00  |
5.68/5.73	c | 5.73      | 0  | -15922       lb |  0                0                0.00  |
5.68/5.78	c | 5.79      | 0  | -15921       lb |  0                0                0.00  |
5.79/5.84	c | 5.85      | 0  | -15920       lb |  0                0                0.00  |
5.89/5.90	c | 5.91      | 0  | -15919       lb |  0                0                0.00  |
5.89/5.96	c | 5.96      | 0  | -15918       lb |  0                0                0.00  |
5.99/6.02	c | 6.02      | 0  | -15917       lb |  0                0                0.00  |
5.99/6.08	c | 6.08      | 0  | -15916       lb |  0                0                0.00  |
6.09/6.13	c | 6.14      | 0  | -15915       lb |  0                0                0.00  |
6.09/6.19	c | 6.20      | 0  | -15914       lb |  0                0                0.00  |
6.19/6.25	c | 6.26      | 0  | -15913       lb |  0                0                0.00  |
6.28/6.31	c | 6.32      | 0  | -15912       lb |  0                0                0.00  |
6.28/6.37	c | 6.38      | 0  | -15911       lb |  0                0                0.00  |
6.38/6.43	c | 6.43      | 0  | -15910       lb |  0                0                0.00  |
6.38/6.49	c | 6.50      | 0  | -15909       lb |  0                0                0.00  |
6.49/6.55	c | 6.55      | 0  | -15908       lb |  0                0                0.00  |
6.59/6.61	c | 6.62      | 0  | -15907       lb |  0                0                0.00  |
6.59/6.67	c | 6.68      | 0  | -15906       lb |  0                0                0.00  |
6.69/6.73	c | 6.74      | 0  | -15905       lb |  0                0                0.00  |
6.69/6.79	c | 6.80      | 0  | -15904       lb |  0                0                0.00  |
6.78/6.85	c | 6.86      | 0  | -15903       lb |  0                0                0.00  |
6.88/6.91	c | 6.92      | 0  | -15902       lb |  0                0                0.00  |
6.88/6.97	c | 6.98      | 0  | -15901       lb |  0                0                0.00  |
6.98/7.04	c | 7.04      | 0  | -15900       lb |  0                0                0.00  |
7.08/7.10	c | 7.10      | 0  | -15899       lb |  0                0                0.00  |
7.08/7.16	c | 7.16      | 0  | -15898       lb |  0                0                0.00  |
7.18/7.22	c | 7.22      | 0  | -15897       lb |  0                0                0.00  |
7.18/7.29	c | 7.29      | 0  | -15896       lb |  0                0                0.00  |
7.28/7.35	c | 7.35      | 0  | -15895       lb |  0                0                0.00  |
7.38/7.41	c | 7.41      | 0  | -15894       lb |  0                0                0.00  |
7.38/7.47	c | 7.47      | 0  | -15893       lb |  0                0                0.00  |
7.48/7.53	c | 7.54      | 0  | -15892       lb |  0                0                0.00  |
7.48/7.60	c | 7.60      | 0  | -15891       lb |  0                0                0.00  |
7.59/7.66	c | 7.67      | 0  | -15890       lb |  0                0                0.00  |
7.68/7.72	c | 7.73      | 0  | -15889       lb |  0                0                0.00  |
7.68/7.79	c | 7.79      | 0  | -15888       lb |  0                0                0.00  |
7.79/7.85	c | 7.85      | 0  | -15887       lb |  0                0                0.00  |
7.89/7.91	c | 7.92      | 0  | -15886       lb |  0                0                0.00  |
7.89/7.98	c | 7.98      | 0  | -15885       lb |  0                0                0.00  |
7.99/8.04	c | 8.04      | 0  | -15884       lb |  0                0                0.00  |
8.08/8.11	c | 8.11      | 0  | -15883       lb |  0                0                0.00  |
8.08/8.17	c | 8.17      | 0  | -15882       lb |  0                0                0.00  |
8.18/8.23	c | 8.24      | 0  | -15881       lb |  0                0                0.00  |
8.28/8.30	c | 8.30      | 0  | -15880       lb |  0                0                0.00  |
8.28/8.36	c | 8.36      | 0  | -15879       lb |  0                0                0.00  |
8.38/8.42	c | 8.43      | 0  | -15878       lb |  0                0                0.00  |
8.38/8.49	c | 8.49      | 0  | -15877       lb |  0                0                0.00  |
8.48/8.56	c | 8.56      | 0  | -15876       lb |  0                0                0.00  |
8.58/8.62	c | 8.62      | 0  | -15875       lb |  0                0                0.00  |
8.58/8.69	c | 8.69      | 0  | -15874       lb |  0                0                0.00  |
8.69/8.75	c | 8.76      | 0  | -15873       lb |  0                0                0.00  |
8.79/8.82	c | 8.82      | 0  | -15872       lb |  0                0                0.00  |
8.79/8.89	c | 8.89      | 0  | -15871       lb |  0                0                0.00  |
8.89/8.95	c | 8.96      | 0  | -15870       lb |  0                0                0.00  |
8.99/9.02	c | 9.02      | 0  | -15869       lb |  0                0                0.00  |
8.99/9.09	c | 9.09      | 0  | -15868       lb |  0                0                0.00  |
9.08/9.15	c | 9.16      | 0  | -15867       lb |  0                0                0.00  |
9.18/9.22	c | 9.22      | 0  | -15866       lb |  0                0                0.00  |
9.18/9.29	c | 9.29      | 0  | -15865       lb |  0                0                0.00  |
9.28/9.36	c | 9.36      | 0  | -15864       lb |  0                0                0.00  |
9.38/9.42	c | 9.43      | 0  | -15863       lb |  0                0                0.00  |
9.38/9.49	c | 9.49      | 0  | -15862       lb |  0                0                0.00  |
9.48/9.56	c | 9.56      | 0  | -15861       lb |  0                0                0.00  |
9.59/9.62	c | 9.63      | 0  | -15860       lb |  0                0                0.00  |
9.59/9.69	c | 9.70      | 0  | -15859       lb |  0                0                0.00  |
9.69/9.76	c | 9.76      | 0  | -15858       lb |  0                0                0.00  |
9.79/9.83	c | 9.83      | 0  | -15857       lb |  0                0                0.00  |
9.79/9.90	c | 9.90      | 0  | -15856       lb |  0                0                0.00  |
9.89/9.97	c | 9.97      | 0  | -15855       lb |  0                0                0.00  |
9.98/10.03	c | 10.04     | 0  | -15854       lb |  0                0                0.00  |
10.08/10.11	c | 10.11     | 0  | -15853       lb |  0                0                0.00  |
10.08/10.18	c | 10.18     | 0  | -15852       lb |  0                0                0.00  |
10.18/10.25	c | 10.25     | 0  | -15851       lb |  0                0                0.00  |
10.28/10.32	c | 10.32     | 0  | -15850       lb |  0                0                0.00  |
10.28/10.38	c | 10.39     | 0  | -15849       lb |  0                0                0.00  |
10.38/10.45	c | 10.46     | 0  | -15848       lb |  0                0                0.00  |
10.48/10.52	c | 10.53     | 0  | -15847       lb |  0                0                0.00  |
10.48/10.59	c | 10.60     | 0  | -15846       lb |  0                0                0.00  |
10.58/10.66	c | 10.67     | 0  | -15845       lb |  0                0                0.00  |
10.69/10.73	c | 10.74     | 0  | -15844       lb |  0                0                0.00  |
10.78/10.81	c | 10.81     | 0  | -15843       lb |  0                0                0.00  |
10.78/10.88	c | 10.88     | 0  | -15842       lb |  0                0                0.00  |
10.89/10.95	c | 10.95     | 0  | -15841       lb |  0                0                0.00  |
10.99/11.02	c | 11.03     | 0  | -15840       lb |  0                0                0.00  |
10.99/11.09	c | 11.10     | 0  | -15839       lb |  0                0                0.00  |
11.08/11.16	c | 11.17     | 0  | -15838       lb |  0                0                0.00  |
11.19/11.24	c | 11.24     | 0  | -15837       lb |  0                0                0.00  |
11.29/11.31	c | 11.31     | 0  | -15836       lb |  0                0                0.00  |
11.29/11.38	c | 11.39     | 0  | -15835       lb |  0                0                0.00  |
11.38/11.45	c | 11.46     | 0  | -15834       lb |  0                0                0.00  |
11.48/11.53	c | 11.53     | 0  | -15833       lb |  0                0                0.00  |
11.58/11.60	c | 11.60     | 0  | -15832       lb |  0                0                0.00  |
11.58/11.67	c | 11.68     | 0  | -15831       lb |  0                0                0.00  |
11.68/11.74	c | 11.75     | 0  | -15830       lb |  0                0                0.00  |
11.79/11.82	c | 11.82     | 0  | -15829       lb |  0                0                0.00  |
11.79/11.89	c | 11.90     | 0  | -15828       lb |  0                0                0.00  |
11.89/11.97	c | 11.97     | 0  | -15827       lb |  0                0                0.00  |
11.99/12.04	c | 12.04     | 0  | -15826       lb |  0                0                0.00  |
12.09/12.11	c | 12.12     | 0  | -15825       lb |  0                0                0.00  |
12.09/12.19	c | 12.19     | 0  | -15824       lb |  0                0                0.00  |
12.18/12.26	c | 12.26     | 0  | -15823       lb |  0                0                0.00  |
12.28/12.33	c | 12.34     | 0  | -15822       lb |  0                0                0.00  |
12.38/12.41	c | 12.41     | 0  | -15821       lb |  0                0                0.00  |
12.38/12.48	c | 12.49     | 0  | -15820       lb |  0                0                0.00  |
12.49/12.56	c | 12.56     | 0  | -15819       lb |  0                0                0.00  |
12.59/12.63	c | 12.63     | 0  | -15818       lb |  0                0                0.00  |
12.68/12.71	c | 12.71     | 0  | -15817       lb |  0                0                0.00  |
12.68/12.78	c | 12.79     | 0  | -15816       lb |  0                0                0.00  |
12.78/12.86	c | 12.86     | 0  | -15815       lb |  0                0                0.00  |
12.88/12.94	c | 12.94     | 0  | -15814       lb |  0                0                0.00  |
12.98/13.01	c | 13.01     | 0  | -15813       lb |  0                0                0.00  |
12.98/13.09	c | 13.09     | 0  | -15812       lb |  0                0                0.00  |
13.09/13.16	c | 13.17     | 0  | -15811       lb |  0                0                0.00  |
13.19/13.24	c | 13.24     | 0  | -15810       lb |  0                0                0.00  |
13.28/13.32	c | 13.32     | 0  | -15809       lb |  0                0                0.00  |
13.28/13.39	c | 13.40     | 0  | -15808       lb |  0                0                0.00  |
13.38/13.47	c | 13.47     | 0  | -15807       lb |  0                0                0.00  |
13.48/13.55	c | 13.55     | 0  | -15806       lb |  0                0                0.00  |
13.58/13.62	c | 13.63     | 0  | -15805       lb |  0                0                0.00  |
13.68/13.70	c | 13.71     | 0  | -15804       lb |  0                0                0.00  |
13.68/13.78	c | 13.78     | 0  | -15803       lb |  0                0                0.00  |
13.78/13.86	c | 13.86     | 0  | -15802       lb |  0                0                0.00  |
13.88/13.94	c | 13.94     | 0  | -15801       lb |  0                0                0.00  |
13.98/14.01	c | 14.02     | 0  | -15800       lb |  0                0                0.00  |
13.98/14.09	c | 14.10     | 0  | -15799       lb |  0                0                0.00  |
14.08/14.17	c | 14.18     | 0  | -15798       lb |  0                0                0.00  |
14.19/14.25	c | 14.25     | 0  | -15797       lb |  0                0                0.00  |
14.29/14.33	c | 14.33     | 0  | -15796       lb |  0                0                0.00  |
14.38/14.41	c | 14.41     | 0  | -15795       lb |  0                0                0.00  |
14.48/14.51	c | 14.51     | 0  | -15794       lb |  0                0                0.00  |
14.58/14.63	c | 14.63     | 0  | -15793       lb |  0                0                0.00  |
14.68/14.73	c | 14.74     | 0  | -15792       lb |  0                0                0.00  |
14.78/14.84	c | 14.84     | 0  | -15791       lb |  0                0                0.00  |
14.89/14.94	c | 14.95     | 0  | -15790       lb |  0                0                0.00  |
14.99/15.05	c | 15.05     | 0  | -15789       lb |  0                0                0.00  |
15.08/15.16	c | 15.16     | 0  | -15788       lb |  0                0                0.00  |
15.18/15.26	c | 15.26     | 0  | -15787       lb |  0                0                0.00  |
15.29/15.37	c | 15.38     | 0  | -15786       lb |  0                0                0.00  |
15.39/15.48	c | 15.48     | 0  | -15785       lb |  0                0                0.00  |
15.48/15.58	c | 15.59     | 0  | -15784       lb |  0                0                0.00  |
15.58/15.69	c | 15.70     | 0  | -15783       lb |  0                0                0.00  |
15.78/15.80	c | 15.80     | 0  | -15782       lb |  0                0                0.00  |
15.88/15.91	c | 15.91     | 0  | -15781       lb |  0                0                0.00  |
15.99/16.02	c | 16.02     | 0  | -15780       lb |  0                0                0.00  |
16.09/16.13	c | 16.13     | 0  | -15779       lb |  0                0                0.00  |
16.18/16.25	c | 16.25     | 0  | -15778       lb |  0                0                0.00  |
16.28/16.36	c | 16.37     | 0  | -15777       lb |  0                0                0.00  |
16.39/16.48	c | 16.48     | 0  | -15776       lb |  0                0                0.00  |
16.58/16.60	c | 16.60     | 0  | -15775       lb |  0                0                0.00  |
16.68/16.72	c | 16.72     | 0  | -15774       lb |  0                0                0.00  |
16.78/16.84	c | 16.84     | 0  | -15773       lb |  0                0                0.00  |
16.88/16.96	c | 16.96     | 0  | -15772       lb |  0                0                0.00  |
16.99/17.07	c | 17.07     | 0  | -15771       lb |  0                0                0.00  |
17.08/17.18	c | 17.19     | 0  | -15770       lb |  0                0                0.00  |
17.18/17.29	c | 17.30     | 0  | -15769       lb |  0                0                0.00  |
17.38/17.40	c | 17.41     | 0  | -15768       lb |  0                0                0.00  |
17.49/17.51	c | 17.52     | 0  | -15767       lb |  0                0                0.00  |
17.59/17.62	c | 17.63     | 0  | -15766       lb |  0                0                0.00  |
17.68/17.74	c | 17.75     | 0  | -15765       lb |  0                0                0.00  |
17.78/17.86	c | 17.86     | 0  | -15764       lb |  0                0                0.00  |
17.88/17.97	c | 17.97     | 0  | -15763       lb |  0                0                0.00  |
17.98/18.08	c | 18.08     | 0  | -15762       lb |  0                0                0.00  |
18.08/18.19	c | 18.20     | 0  | -15761       lb |  0                0                0.00  |
18.28/18.31	c | 18.32     | 0  | -15760       lb |  0                0                0.00  |
18.38/18.43	c | 18.43     | 0  | -15759       lb |  0                0                0.00  |
18.48/18.55	c | 18.55     | 0  | -15758       lb |  0                0                0.00  |
18.59/18.67	c | 18.67     | 0  | -15757       lb |  0                0                0.00  |
18.69/18.79	c | 18.79     | 0  | -15756       lb |  0                0                0.00  |
18.88/18.91	c | 18.91     | 0  | -15755       lb |  0                0                0.00  |
18.98/19.03	c | 19.04     | 0  | -15754       lb |  0                0                0.00  |
19.08/19.15	c | 19.15     | 0  | -15753       lb |  0                0                0.00  |
19.19/19.26	c | 19.26     | 0  | -15752       lb |  0                0                0.00  |
19.29/19.37	c | 19.37     | 0  | -15751       lb |  0                0                0.00  |
19.38/19.49	c | 19.49     | 0  | -15750       lb |  0                0                0.00  |
19.58/19.60	c | 19.61     | 0  | -15749       lb |  0                0                0.00  |
19.69/19.71	c | 19.72     | 0  | -15748       lb |  0                0                0.00  |
19.79/19.83	c | 19.84     | 0  | -15747       lb |  0                0                0.00  |
19.88/19.94	c | 19.95     | 0  | -15746       lb |  0                0                0.00  |
19.98/20.06	c | 20.06     | 0  | -15745       lb |  0                0                0.00  |
20.08/20.17	c | 20.18     | 0  | -15744       lb |  0                0                0.00  |
20.18/20.29	c | 20.30     | 0  | -15743       lb |  0                0                0.00  |
20.38/20.40	c | 20.41     | 0  | -15742       lb |  0                0                0.00  |
20.48/20.52	c | 20.52     | 0  | -15741       lb |  0                0                0.00  |
20.58/20.64	c | 20.65     | 0  | -15740       lb |  0                0                0.00  |
20.68/20.76	c | 20.77     | 0  | -15739       lb |  0                0                0.00  |
20.79/20.88	c | 20.88     | 0  | -15738       lb |  0                0                0.00  |
20.89/20.99	c | 21.00     | 0  | -15737       lb |  0                0                0.00  |
21.08/21.11	c | 21.12     | 0  | -15736       lb |  0                0                0.00  |
21.18/21.23	c | 21.24     | 0  | -15735       lb |  0                0                0.00  |
21.28/21.35	c | 21.35     | 0  | -15734       lb |  0                0                0.00  |
21.38/21.46	c | 21.47     | 0  | -15733       lb |  0                0                0.00  |
21.48/21.59	c | 21.59     | 0  | -15732       lb |  0                0                0.00  |
21.68/21.70	c | 21.71     | 0  | -15731       lb |  0                0                0.00  |
21.78/21.82	c | 21.82     | 0  | -15730       lb |  0                0                0.00  |
21.88/21.94	c | 21.95     | 0  | -15729       lb |  0                0                0.00  |
21.99/22.06	c | 22.06     | 0  | -15728       lb |  0                0                0.00  |
22.08/22.18	c | 22.18     | 0  | -15727       lb |  0                0                0.00  |
22.18/22.29	c | 22.30     | 0  | -15726       lb |  0                0                0.00  |
22.38/22.42	c | 22.42     | 0  | -15725       lb |  0                0                0.00  |
22.48/22.53	c | 22.54     | 0  | -15724       lb |  0                0                0.00  |
22.58/22.65	c | 22.66     | 0  | -15723       lb |  0                0                0.00  |
22.68/22.78	c | 22.78     | 0  | -15722       lb |  0                0                0.00  |
22.78/22.89	c | 22.90     | 0  | -15721       lb |  0                0                0.00  |
22.99/23.01	c | 23.02     | 0  | -15720       lb |  0                0                0.00  |
23.09/23.13	c | 23.14     | 0  | -15719       lb |  0                0                0.00  |
23.18/23.26	c | 23.26     | 0  | -15718       lb |  0                0                0.00  |
23.28/23.38	c | 23.38     | 0  | -15717       lb |  0                0                0.00  |
23.48/23.50	c | 23.50     | 0  | -15716       lb |  0                0                0.00  |
23.58/23.62	c | 23.63     | 0  | -15715       lb |  0                0                0.00  |
23.68/23.74	c | 23.75     | 0  | -15714       lb |  0                0                0.00  |
23.78/23.86	c | 23.87     | 0  | -15713       lb |  0                0                0.00  |
23.88/23.99	c | 23.99     | 0  | -15712       lb |  0                0                0.00  |
24.09/24.11	c | 24.12     | 0  | -15711       lb |  0                0                0.00  |
24.19/24.23	c | 24.24     | 0  | -15710       lb |  0                0                0.00  |
24.28/24.35	c | 24.36     | 0  | -15709       lb |  0                0                0.00  |
24.38/24.47	c | 24.48     | 0  | -15708       lb |  0                0                0.00  |
24.58/24.60	c | 24.60     | 0  | -15707       lb |  0                0                0.00  |
24.68/24.72	c | 24.73     | 0  | -15706       lb |  0                0                0.00  |
24.78/24.84	c | 24.85     | 0  | -15705       lb |  0                0                0.00  |
24.88/24.97	c | 24.97     | 0  | -15704       lb |  0                0                0.00  |
24.98/25.09	c | 25.09     | 0  | -15703       lb |  0                0                0.00  |
25.19/25.21	c | 25.22     | 0  | -15702       lb |  0                0                0.00  |
25.29/25.34	c | 25.34     | 0  | -15701       lb |  0                0                0.00  |
25.38/25.46	c | 25.47     | 0  | -15700       lb |  0                0                0.00  |
25.48/25.59	c | 25.59     | 0  | -15699       lb |  0                0                0.00  |
25.68/25.72	c | 25.72     | 0  | -15698       lb |  0                0                0.00  |
25.78/25.85	c | 25.86     | 0  | -15697       lb |  0                0                0.00  |
25.88/25.98	c | 25.98     | 0  | -15696       lb |  0                0                0.00  |
26.08/26.11	c | 26.12     | 0  | -15695       lb |  0                0                0.00  |
26.18/26.24	c | 26.25     | 0  | -15694       lb |  0                0                0.00  |
26.29/26.38	c | 26.38     | 0  | -15693       lb |  0                0                0.00  |
26.48/26.50	c | 26.50     | 0  | -15692       lb |  0                0                0.00  |
26.58/26.63	c | 26.63     | 0  | -15691       lb |  0                0                0.00  |
26.68/26.75	c | 26.76     | 0  | -15690       lb |  0                0                0.00  |
26.78/26.88	c | 26.89     | 0  | -15689       lb |  0                0                0.00  |
26.98/27.01	c | 27.01     | 0  | -15688       lb |  0                0                0.00  |
27.08/27.13	c | 27.14     | 0  | -15687       lb |  0                0                0.00  |
27.18/27.26	c | 27.27     | 0  | -15686       lb |  0                0                0.00  |
27.28/27.39	c | 27.39     | 0  | -15685       lb |  0                0                0.00  |
27.48/27.51	c | 27.52     | 0  | -15684       lb |  0                0                0.00  |
27.58/27.64	c | 27.64     | 0  | -15683       lb |  0                0                0.00  |
27.68/27.76	c | 27.77     | 0  | -15682       lb |  0                0                0.00  |
27.78/27.89	c | 27.89     | 0  | -15681       lb |  0                0                0.00  |
27.98/28.01	c | 28.02     | 0  | -15680       lb |  0                0                0.00  |
28.08/28.15	c | 28.15     | 0  | -15679       lb |  0                0                0.00  |
28.18/28.27	c | 28.27     | 0  | -15678       lb |  0                0                0.00  |
28.38/28.40	c | 28.40     | 0  | -15677       lb |  0                0                0.00  |
28.49/28.53	c | 28.53     | 0  | -15676       lb |  0                0                0.00  |
28.59/28.66	c | 28.66     | 0  | -15675       lb |  0                0                0.00  |
28.68/28.78	c | 28.79     | 0  | -15674       lb |  0                0                0.00  |
28.88/28.91	c | 28.91     | 0  | -15673       lb |  0                0                0.00  |
28.98/29.04	c | 29.05     | 0  | -15672       lb |  0                0                0.00  |
29.08/29.17	c | 29.18     | 0  | -15671       lb |  0                0                0.00  |
29.27/29.30	c | 29.30     | 0  | -15670       lb |  0                0                0.00  |
29.37/29.43	c | 29.44     | 0  | -15669       lb |  0                0                0.00  |
29.48/29.56	c | 29.57     | 0  | -15668       lb |  0                0                0.00  |
29.59/29.69	c | 29.69     | 0  | -15667       lb |  0                0                0.00  |
29.78/29.82	c | 29.82     | 0  | -15666       lb |  0                0                0.00  |
29.88/29.95	c | 29.95     | 0  | -15665       lb |  0                0                0.00  |
29.98/30.08	c | 30.08     | 0  | -15664       lb |  0                0                0.00  |
30.18/30.21	c | 30.21     | 0  | -15663       lb |  0                0                0.00  |
30.28/30.34	c | 30.34     | 0  | -15662       lb |  0                0                0.00  |
30.38/30.47	c | 30.48     | 0  | -15661       lb |  0                0                0.00  |
30.58/30.60	c | 30.60     | 0  | -15660       lb |  0                0                0.00  |
30.69/30.73	c | 30.73     | 0  | -15659       lb |  0                0                0.00  |
30.79/30.87	c | 30.87     | 0  | -15658       lb |  0                0                0.00  |
30.98/31.00	c | 31.00     | 0  | -15657       lb |  0                0                0.00  |
31.08/31.13	c | 31.13     | 0  | -15656       lb |  0                0                0.00  |
31.18/31.26	c | 31.27     | 0  | -15655       lb |  0                0                0.00  |
31.38/31.40	c | 31.40     | 0  | -15654       lb |  0                0                0.00  |
31.48/31.53	c | 31.53     | 0  | -15653       lb |  0                0                0.00  |
31.58/31.66	c | 31.67     | 0  | -15652       lb |  0                0                0.00  |
31.68/31.80	c | 31.80     | 0  | -15651       lb |  0                0                0.00  |
31.89/31.93	c | 31.93     | 0  | -15650       lb |  0                0                0.00  |
31.98/32.06	c | 32.07     | 0  | -15649       lb |  0                0                0.00  |
32.18/32.20	c | 32.20     | 0  | -15648       lb |  0                0                0.00  |
32.28/32.33	c | 32.34     | 0  | -15647       lb |  0                0                0.00  |
32.38/32.46	c | 32.46     | 0  | -15646       lb |  0                0                0.00  |
32.58/32.60	c | 32.60     | 0  | -15645       lb |  0                0                0.00  |
32.68/32.73	c | 32.73     | 0  | -15644       lb |  0                0                0.00  |
32.78/32.87	c | 32.87     | 0  | -15643       lb |  0                0                0.00  |
32.89/33.00	c | 33.01     | 0  | -15642       lb |  0                0                0.00  |
33.08/33.14	c | 33.14     | 0  | -15641       lb |  0                0                0.00  |
33.18/33.27	c | 33.28     | 0  | -15640       lb |  0                0                0.00  |
33.38/33.41	c | 33.41     | 0  | -15639       lb |  0                0                0.00  |
33.48/33.54	c | 33.55     | 0  | -15638       lb |  0                0                0.00  |
33.58/33.68	c | 33.68     | 0  | -15637       lb |  0                0                0.00  |
33.77/33.82	c | 33.82     | 0  | -15636       lb |  0                0                0.00  |
33.87/33.95	c | 33.96     | 0  | -15635       lb |  0                0                0.00  |
33.99/34.09	c | 34.09     | 0  | -15634       lb |  0                0                0.00  |
34.18/34.23	c | 34.23     | 0  | -15633       lb |  0                0                0.00  |
34.28/34.37	c | 34.37     | 0  | -15632       lb |  0                0                0.00  |
34.48/34.51	c | 34.51     | 0  | -15631       lb |  0                0                0.00  |
34.58/34.64	c | 34.65     | 0  | -15630       lb |  0                0                0.00  |
34.68/34.78	c | 34.79     | 0  | -15629       lb |  0                0                0.00  |
34.88/34.92	c | 34.92     | 0  | -15628       lb |  0                0                0.00  |
34.98/35.06	c | 35.06     | 0  | -15627       lb |  0                0                0.00  |
35.08/35.19	c | 35.20     | 0  | -15626       lb |  0                0                0.00  |
35.28/35.34	c | 35.34     | 0  | -15625       lb |  0                0                0.00  |
35.38/35.47	c | 35.48     | 0  | -15624       lb |  0                0                0.00  |
35.58/35.61	c | 35.62     | 0  | -15623       lb |  0                0                0.00  |
35.68/35.75	c | 35.76     | 0  | -15622       lb |  0                0                0.00  |
35.78/35.89	c | 35.90     | 0  | -15621       lb |  0                0                0.00  |
35.98/36.03	c | 36.04     | 0  | -15620       lb |  0                0                0.00  |
36.08/36.17	c | 36.17     | 0  | -15619       lb |  0                0                0.00  |
36.29/36.31	c | 36.31     | 0  | -15618       lb |  0                0                0.00  |
36.38/36.45	c | 36.45     | 0  | -15617       lb |  0                0                0.00  |
36.48/36.59	c | 36.59     | 0  | -15616       lb |  0                0                0.00  |
36.68/36.73	c | 36.74     | 0  | -15615       lb |  0                0                0.00  |
36.78/36.88	c | 36.88     | 0  | -15614       lb |  0                0                0.00  |
36.98/37.02	c | 37.02     | 0  | -15613       lb |  0                0                0.00  |
37.08/37.16	c | 37.16     | 0  | -15612       lb |  0                0                0.00  |
37.28/37.30	c | 37.31     | 0  | -15611       lb |  0                0                0.00  |
37.38/37.45	c | 37.45     | 0  | -15610       lb |  0                0                0.00  |
37.47/37.59	c | 37.59     | 0  | -15609       lb |  0                0                0.00  |
37.68/37.74	c | 37.74     | 0  | -15608       lb |  0                0                0.00  |
37.78/37.88	c | 37.88     | 0  | -15607       lb |  0                0                0.00  |
37.98/38.02	c | 38.03     | 0  | -15606       lb |  0                0                0.00  |
38.07/38.16	c | 38.17     | 0  | -15605       lb |  0                0                0.00  |
38.27/38.31	c | 38.31     | 0  | -15604       lb |  0                0                0.00  |
38.39/38.46	c | 38.46     | 0  | -15603       lb |  0                0                0.00  |
38.58/38.60	c | 38.61     | 0  | -15602       lb |  0                0                0.00  |
38.67/38.75	c | 38.76     | 0  | -15601       lb |  0                0                0.00  |
38.88/38.91	c | 38.91     | 0  | -15600       lb |  0                0                0.00  |
38.98/39.05	c | 39.06     | 0  | -15599       lb |  0                0                0.00  |
39.18/39.20	c | 39.20     | 0  | -15598       lb |  0                0                0.00  |
39.28/39.35	c | 39.35     | 0  | -15597       lb |  0                0                0.00  |
39.38/39.49	c | 39.50     | 0  | -15596       lb |  0                0                0.00  |
39.59/39.64	c | 39.64     | 0  | -15595       lb |  0                0                0.00  |
39.68/39.79	c | 39.79     | 0  | -15594       lb |  0                0                0.00  |
39.88/39.94	c | 39.94     | 0  | -15593       lb |  0                0                0.00  |
39.98/40.09	c | 40.09     | 0  | -15592       lb |  0                0                0.00  |
40.17/40.23	c | 40.24     | 0  | -15591       lb |  0                0                0.00  |
40.27/40.39	c | 40.39     | 0  | -15590       lb |  0                0                0.00  |
40.48/40.53	c | 40.54     | 0  | -15589       lb |  0                0                0.00  |
40.59/40.68	c | 40.68     | 0  | -15588       lb |  0                0                0.00  |
40.78/40.83	c | 40.83     | 0  | -15587       lb |  0                0                0.00  |
40.88/40.98	c | 40.99     | 0  | -15586       lb |  0                0                0.00  |
41.08/41.13	c | 41.13     | 0  | -15585       lb |  0                0                0.00  |
41.18/41.28	c | 41.28     | 0  | -15584       lb |  0                0                0.00  |
41.38/41.43	c | 41.44     | 0  | -15583       lb |  0                0                0.00  |
41.57/41.60	c | 41.60     | 0  | -15582       lb |  0                0                0.00  |
41.68/41.76	c | 41.76     | 0  | -15581       lb |  0                0                0.00  |
41.88/41.95	c | 41.96     | 0  | -15580       lb |  0                0                0.00  |
42.08/42.10	c | 42.10     | 0  | -15579       lb |  0                0                0.00  |
42.18/42.25	c | 42.26     | 0  | -15578       lb |  0                0                0.00  |
42.38/42.40	c | 42.41     | 0  | -15577       lb |  0                0                0.00  |
42.47/42.56	c | 42.56     | 0  | -15576       lb |  0                0                0.00  |
42.67/42.71	c | 42.71     | 0  | -15575       lb |  0                0                0.00  |
42.79/42.87	c | 42.88     | 0  | -15574       lb |  0                0                0.00  |
42.98/43.05	c | 43.05     | 0  | -15573       lb |  0                0                0.00  |
43.18/43.26	c | 43.26     | 0  | -15572       lb |  0                0                0.00  |
43.38/43.49	c | 43.49     | 0  | -15571       lb |  0                0                0.00  |
43.68/43.75	c | 43.75     | 0  | -15570       lb |  0                0                0.00  |
43.88/43.92	c | 43.92     | 0  | -15569       lb |  0                0                0.00  |
44.08/44.11	c | 44.11     | 0  | -15568       lb |  0                0                0.00  |
44.18/44.27	c | 44.27     | 0  | -15567       lb |  0                0                0.00  |
44.38/44.42	c | 44.42     | 0  | -15566       lb |  0                0                0.00  |
44.47/44.58	c | 44.58     | 0  | -15565       lb |  0                0                0.00  |
44.67/44.73	c | 44.73     | 0  | -15564       lb |  0                0                0.00  |
44.77/44.88	c | 44.88     | 0  | -15563       lb |  0                0                0.00  |
44.98/45.03	c | 45.04     | 0  | -15562       lb |  0                0                0.00  |
45.08/45.19	c | 45.19     | 0  | -15561       lb |  0                0                0.00  |
45.27/45.34	c | 45.34     | 0  | -15560       lb |  0                0                0.00  |
45.48/45.50	c | 45.50     | 0  | -15559       lb |  0                0                0.00  |
45.58/45.65	c | 45.66     | 0  | -15558       lb |  0                0                0.00  |
45.78/45.81	c | 45.81     | 0  | -15557       lb |  0                0                0.00  |
45.88/45.96	c | 45.96     | 0  | -15556       lb |  0                0                0.00  |
46.08/46.11	c | 46.12     | 0  | -15555       lb |  0                0                0.00  |
46.18/46.28	c | 46.28     | 0  | -15554       lb |  0                0                0.00  |
46.38/46.46	c | 46.46     | 0  | -15553       lb |  0                0                0.00  |
46.58/46.66	c | 46.67     | 0  | -15552       lb |  0                0                0.00  |
46.88/46.90	c | 46.90     | 0  | -15551       lb |  0                0                0.00  |
47.07/47.16	c | 47.16     | 0  | -15550       lb |  0                0                0.00  |
47.28/47.32	c | 47.33     | 0  | -15549       lb |  0                0                0.00  |
47.47/47.50	c | 47.51     | 0  | -15548       lb |  0                0                0.00  |
47.57/47.67	c | 47.67     | 0  | -15547       lb |  0                0                0.00  |
47.78/47.85	c | 47.85     | 0  | -15546       lb |  0                0                0.00  |
47.98/48.06	c | 48.06     | 0  | -15545       lb |  0                0                0.00  |
48.18/48.22	c | 48.22     | 0  | -15544       lb |  0                0                0.00  |
48.29/48.38	c | 48.38     | 0  | -15543       lb |  0                0                0.00  |
48.48/48.54	c | 48.54     | 0  | -15542       lb |  0                0                0.00  |
48.68/48.70	c | 48.70     | 0  | -15541       lb |  0                0                0.00  |
48.78/48.86	c | 48.87     | 0  | -15540       lb |  0                0                0.00  |
48.98/49.05	c | 49.05     | 0  | -15539       lb |  0                0                0.00  |
49.18/49.26	c | 49.26     | 0  | -15538       lb |  0                0                0.00  |
49.48/49.59	c | 49.60     | 0  | -15537       lb |  0                0                0.00  |
49.77/49.88	c | 49.88     | 0  | -15536       lb |  0                0                0.00  |
50.18/50.27	c | 50.27     | 0  | -15535       lb |  0                0                0.00  |
50.38/50.44	c | 50.44     | 0  | -15534       lb |  0                0                0.00  |
50.58/50.61	c | 50.62     | 0  | -15533       lb |  0                0                0.00  |
50.68/50.79	c | 50.80     | 0  | -15532       lb |  0                0                0.00  |
50.88/50.96	c | 50.97     | 0  | -15531       lb |  0                0                0.00  |
51.08/51.15	c | 51.15     | 0  | -15530       lb |  0                0                0.00  |
51.28/51.36	c | 51.36     | 0  | -15529       lb |  0                0                0.00  |
51.58/51.60	c | 51.61     | 0  | -15528       lb |  0                0                0.00  |
51.78/51.89	c | 51.89     | 0  | -15527       lb |  0                0                0.00  |
52.18/52.25	c | 52.26     | 0  | -15526       lb |  0                0                0.00  |
52.68/52.71	c | 52.71     | 0  | -15525       lb |  0                0                0.00  |
52.97/53.05	c | 53.05     | 0  | -15524       lb |  0                0                0.00  |
53.17/53.21	c | 53.22     | 0  | -15523       lb |  0                0                0.00  |
53.37/53.49	c | 53.49     | 0  | -15522       lb |  0                0                0.00  |
53.67/53.73	c | 53.73     | 0  | -15521       lb |  0                0                0.00  |
53.79/53.90	c | 53.90     | 0  | -15520       lb |  0                0                0.00  |
53.98/54.06	c | 54.07     | 0  | -15519       lb |  0                0                0.00  |
54.18/54.25	c | 54.26     | 0  | -15518       lb |  0                0                0.00  |
54.37/54.48	c | 54.48     | 0  | -15517       lb |  0                0                0.00  |
54.57/54.65	c | 54.65     | 0  | -15516       lb |  0                0                0.00  |
54.77/54.83	c | 54.84     | 0  | -15515       lb |  0                0                0.00  |
54.88/55.00	c | 55.00     | 0  | -15514       lb |  0                0                0.00  |
55.07/55.16	c | 55.17     | 0  | -15513       lb |  0                0                0.00  |
55.27/55.35	c | 55.35     | 0  | -15512       lb |  0                0                0.00  |
55.47/55.52	c | 55.52     | 0  | -15511       lb |  0                0                0.00  |
55.57/55.68	c | 55.69     | 0  | -15510       lb |  0                0                0.00  |
55.77/55.85	c | 55.85     | 0  | -15509       lb |  0                0                0.00  |
55.99/56.04	c | 56.04     | 0  | -15508       lb |  0                0                0.00  |
56.18/56.20	c | 56.20     | 0  | -15507       lb |  0                0                0.00  |
56.28/56.36	c | 56.37     | 0  | -15506       lb |  0                0                0.00  |
56.48/56.53	c | 56.53     | 0  | -15505       lb |  0                0                0.00  |
56.58/56.69	c | 56.70     | 0  | -15504       lb |  0                0                0.00  |
56.78/56.86	c | 56.87     | 0  | -15503       lb |  0                0                0.00  |
57.18/57.29	c | 57.30     | 0  | -15502       lb |  0                0                0.00  |
57.58/57.61	c | 57.62     | 0  | -15501       lb |  0                0                0.00  |
57.98/58.03	c | 58.03     | 0  | -15500       lb |  0                0                0.00  |
58.38/58.41	c | 58.42     | 0  | -15499       lb |  0                0                0.00  |
58.78/58.81	c | 58.81     | 0  | -15498       lb |  0                0                0.00  |
59.08/59.10	c | 59.10     | 0  | -15497       lb |  0                0                0.00  |
59.28/59.38	c | 59.38     | 0  | -15496       lb |  0                0                0.00  |
59.77/59.80	c | 59.80     | 0  | -15495       lb |  0                0                0.00  |
60.07/60.16	c | 60.17     | 0  | -15494       lb |  0                0                0.00  |
60.57/60.67	c | 60.67     | 0  | -15493       lb |  0                0                0.00  |
60.87/60.92	c | 60.92     | 0  | -15492       lb |  0                0                0.00  |
61.17/61.28	c | 61.28     | 0  | -15491       lb |  0                0                0.00  |
61.48/61.57	c | 61.57     | 0  | -15490       lb |  0                0                0.00  |
61.87/61.91	c | 61.91     | 0  | -15489       lb |  0                0                0.00  |
62.17/62.27	c | 62.28     | 0  | -15488       lb |  0                0                0.00  |
62.47/62.57	c | 62.58     | 0  | -15487       lb |  0                0                0.00  |
63.08/63.11	c | 63.11     | 0  | -15486       lb |  0                0                0.00  |
63.68/63.71	c | 63.72     | 0  | -15485       lb |  0                0                0.00  |
63.98/64.08	c | 64.08     | 0  | -15484       lb |  0                0                0.00  |
64.38/64.48	c | 64.48     | 0  | -15483       lb |  0                0                0.00  |
64.58/64.68	c | 64.68     | 0  | -15482       lb |  0                0                0.00  |
64.98/65.07	c | 65.07     | 0  | -15481       lb |  0                0                0.00  |
65.37/65.45	c | 65.46     | 0  | -15480       lb |  0                0                0.00  |
65.88/65.94	c | 65.94     | 0  | -15479       lb |  0                0                0.00  |
66.27/66.35	c | 66.35     | 0  | -15478       lb |  0                0                0.00  |
66.57/66.64	c | 66.64     | 0  | -15477       lb |  0                0                0.00  |
67.08/67.17	c | 67.18     | 0  | -15476       lb |  0                0                0.00  |
67.58/67.69	c | 67.69     | 0  | -15475       lb |  0                0                0.00  |
67.88/67.97	c | 67.97     | 0  | -15474       lb |  0                0                0.00  |
68.18/68.24	c | 68.25     | 0  | -15473       lb |  0                0                0.00  |
68.38/68.44	c | 68.44     | 0  | -15472       lb |  0                0                0.00  |
68.68/68.70	c | 68.70     | 0  | -15471       lb |  0                0                0.00  |
68.88/68.92	c | 68.93     | 0  | -15470       lb |  0                0                0.00  |
69.07/69.18	c | 69.18     | 0  | -15469       lb |  0                0                0.00  |
69.37/69.48	c | 69.48     | 0  | -15468       lb |  0                0                0.00  |
69.77/69.89	c | 69.90     | 0  | -15467       lb |  0                0                0.00  |
70.17/70.27	c | 70.27     | 0  | -15466       lb |  0                0                0.00  |
70.67/70.70	c | 70.71     | 0  | -15465       lb |  0                0                0.00  |
72.58/72.65	c | 72.65     | 0  | -15464       lb |  0                0                0.00  |
72.97/73.05	c | 73.05     | 0  | -15463       lb |  0                0                0.00  |
73.17/73.24	c | 73.25     | 0  | -15462       lb |  0                0                0.00  |
73.37/73.49	c | 73.50     | 0  | -15461       lb |  0                0                0.00  |
73.78/73.80	c | 73.81     | 0  | -15460       lb |  0                0                0.00  |
74.08/74.14	c | 74.14     | 0  | -15459       lb |  0                0                0.00  |
74.28/74.36	c | 74.36     | 0  | -15458       lb |  0                0                0.00  |
74.47/74.56	c | 74.57     | 0  | -15457       lb |  0                0                0.00  |
74.68/74.80	c | 74.80     | 0  | -15456       lb |  0                0                0.00  |
74.97/75.02	c | 75.03     | 0  | -15455       lb |  0                0                0.00  |
75.17/75.23	c | 75.23     | 0  | -15454       lb |  0                0                0.00  |
75.47/75.55	c | 75.56     | 0  | -15453       lb |  0                0                0.00  |
75.67/75.78	c | 75.78     | 0  | -15452       lb |  0                0                0.00  |
75.97/76.09	c | 76.09     | 0  | -15451       lb |  0                0                0.00  |
76.47/76.50	c | 76.51     | 0  | -15450       lb |  0                0                0.00  |
76.67/76.79	c | 76.79     | 0  | -15449       lb |  0                0                0.00  |
76.88/76.97	c | 76.97     | 0  | -15448       lb |  0                0                0.00  |
77.07/77.17	c | 77.17     | 0  | -15447       lb |  0                0                0.00  |
77.27/77.37	c | 77.37     | 0  | -15446       lb |  0                0                0.00  |
77.58/77.62	c | 77.62     | 0  | -15445       lb |  0                0                0.00  |
77.78/77.85	c | 77.86     | 0  | -15444       lb |  0                0                0.00  |
78.08/78.17	c | 78.18     | 0  | -15443       lb |  0                0                0.00  |
78.47/78.57	c | 78.58     | 0  | -15442       lb |  0                0                0.00  |
78.67/78.78	c | 78.78     | 0  | -15441       lb |  0                0                0.00  |
78.97/79.04	c | 79.04     | 0  | -15440       lb |  0                0                0.00  |
79.27/79.37	c | 79.37     | 0  | -15439       lb |  0                0                0.00  |
79.67/79.74	c | 79.75     | 0  | -15438       lb |  0                0                0.00  |
80.07/80.13	c | 80.13     | 0  | -15437       lb |  0                0                0.00  |
80.37/80.46	c | 80.47     | 0  | -15436       lb |  0                0                0.00  |
80.78/80.87	c | 80.88     | 0  | -15435       lb |  0                0                0.00  |
81.17/81.21	c | 81.22     | 0  | -15434       lb |  0                0                0.00  |
81.67/81.76	c | 81.77     | 0  | -15433       lb |  0                0                0.00  |
81.97/82.05	c | 82.05     | 0  | -15432       lb |  0                0                0.00  |
82.67/82.75	c | 82.76     | 0  | -15431       lb |  0                0                0.00  |
82.97/83.01	c | 83.02     | 0  | -15430       lb |  0                0                0.00  |
83.27/83.39	c | 83.39     | 0  | -15429       lb |  0                0                0.00  |
83.67/83.76	c | 83.77     | 0  | -15428       lb |  0                0                0.00  |
83.98/84.07	c | 84.07     | 0  | -15427       lb |  0                0                0.00  |
84.38/84.48	c | 84.48     | 0  | -15426       lb |  0                0                0.00  |
84.77/84.84	c | 84.84     | 0  | -15425       lb |  0                0                0.00  |
85.07/85.14	c | 85.14     | 0  | -15424       lb |  0                0                0.00  |
85.47/85.59	c | 85.59     | 0  | -15423       lb |  0                0                0.00  |
85.87/85.94	c | 85.94     | 0  | -15422       lb |  0                0                0.00  |
86.17/86.20	c | 86.20     | 0  | -15421       lb |  0                0                0.00  |
86.37/86.40	c | 86.41     | 0  | -15420       lb |  0                0                0.00  |
86.57/86.63	c | 86.63     | 0  | -15419       lb |  0                0                0.00  |
86.77/86.82	c | 86.82     | 0  | -15418       lb |  0                0                0.00  |
86.98/87.01	c | 87.01     | 0  | -15417       lb |  0                0                0.00  |
87.27/87.38	c | 87.39     | 0  | -15416       lb |  0                0                0.00  |
87.47/87.58	c | 87.59     | 0  | -15415       lb |  0                0                0.00  |
87.77/87.82	c | 87.82     | 0  | -15414       lb |  0                0                0.00  |
87.98/88.02	c | 88.03     | 0  | -15413       lb |  0                0                0.00  |
88.17/88.22	c | 88.22     | 0  | -15412       lb |  0                0                0.00  |
88.37/88.42	c | 88.42     | 0  | -15411       lb |  0                0                0.00  |
88.57/88.65	c | 88.65     | 0  | -15410       lb |  0                0                0.00  |
88.77/88.84	c | 88.84     | 0  | -15409       lb |  0                0                0.00  |
88.98/89.04	c | 89.04     | 0  | -15408       lb |  0                0                0.00  |
90.18/90.22	c | 90.22     | 0  | -15407       lb |  0                0                0.00  |
90.57/90.63	c | 90.64     | 0  | -15406       lb |  0                0                0.00  |
90.77/90.85	c | 90.86     | 0  | -15405       lb |  0                0                0.00  |
91.07/91.15	c | 91.16     | 0  | -15404       lb |  0                0                0.00  |
91.37/91.43	c | 91.43     | 0  | -15403       lb |  0                0                0.00  |
91.67/91.70	c | 91.71     | 0  | -15402       lb |  0                0                0.00  |
91.97/92.06	c | 92.07     | 0  | -15401       lb |  0                0                0.00  |
92.28/92.39	c | 92.39     | 0  | -15400       lb |  0                0                0.00  |
92.87/92.96	c | 92.96     | 0  | -15399       lb |  0                0                0.00  |
93.17/93.29	c | 93.29     | 0  | -15398       lb |  0                0                0.00  |
93.57/93.64	c | 93.64     | 0  | -15397       lb |  0                0                0.00  |
93.87/93.95	c | 93.96     | 0  | -15396       lb |  0                0                0.00  |
94.17/94.28	c | 94.28     | 0  | -15395       lb |  0                0                0.00  |
94.47/94.52	c | 94.53     | 0  | -15394       lb |  0                0                0.00  |
94.86/94.95	c | 94.96     | 0  | -15393       lb |  0                0                0.00  |
108.47/108.55	c | 108.56    | 0  | -15392       lb |  0                0                0.00  |
108.77/108.85	c | 108.86    | 0  | -15391       lb |  0                0                0.00  |
108.97/109.02	c | 109.03    | 0  | -15390       lb |  0                0                0.00  |
109.27/109.32	c | 109.33    | 0  | -15389       lb |  0                0                0.00  |
109.47/109.59	c | 109.59    | 0  | -15388       lb |  0                0                0.00  |
109.97/110.04	c | 110.04    | 0  | -15387       lb |  0                0                0.00  |
110.16/110.26	c | 110.26    | 0  | -15386       lb |  0                0                0.00  |
110.56/110.60	c | 110.60    | 0  | -15385       lb |  0                0                0.00  |
110.86/110.92	c | 110.92    | 0  | -15384       lb |  0                0                0.00  |
111.27/111.33	c | 111.33    | 0  | -15383       lb |  0                0                0.00  |
111.57/111.65	c | 111.66    | 0  | -15382       lb |  0                0                0.00  |
111.97/112.05	c | 112.05    | 0  | -15381       lb |  0                0                0.00  |
112.46/112.52	c | 112.52    | 0  | -15380       lb |  0                0                0.00  |
112.66/112.75	c | 112.75    | 0  | -15379       lb |  0                0                0.00  |
113.06/113.13	c | 113.14    | 0  | -15378       lb |  0                0                0.00  |
113.36/113.46	c | 113.46    | 0  | -15377       lb |  0                0                0.00  |
113.67/113.70	c | 113.71    | 0  | -15376       lb |  0                0                0.00  |
114.17/114.24	c | 114.24    | 0  | -15375       lb |  0                0                0.00  |
114.37/114.43	c | 114.43    | 0  | -15374       lb |  0                0                0.00  |
114.66/114.70	c | 114.70    | 0  | -15373       lb |  0                0                0.00  |
114.86/114.98	c | 114.99    | 0  | -15372       lb |  0                0                0.00  |
115.16/115.23	c | 115.24    | 0  | -15371       lb |  0                0                0.00  |
115.56/115.66	c | 115.67    | 0  | -15370       lb |  0                0                0.00  |
115.86/115.96	c | 115.97    | 0  | -15369       lb |  0                0                0.00  |
116.06/116.19	c | 116.19    | 0  | -15368       lb |  0                0                0.00  |
116.36/116.47	c | 116.47    | 0  | -15367       lb |  0                0                0.00  |
116.66/116.70	c | 116.71    | 0  | -15366       lb |  0                0                0.00  |
116.86/116.94	c | 116.95    | 0  | -15365       lb |  0                0                0.00  |
117.26/117.36	c | 117.37    | 0  | -15364       lb |  0                0                0.00  |
117.67/117.75	c | 117.75    | 0  | -15363       lb |  0                0                0.00  |
118.17/118.24	c | 118.24    | 0  | -15362       lb |  0                0                0.00  |
118.46/118.52	c | 118.52    | 0  | -15361       lb |  0                0                0.00  |
118.67/118.71	c | 118.71    | 0  | -15360       lb |  0                0                0.00  |
119.16/119.23	c | 119.24    | 0  | -15359       lb |  0                0                0.00  |
119.36/119.46	c | 119.46    | 0  | -15358       lb |  0                0                0.00  |
119.66/119.73	c | 119.73    | 0  | -15357       lb |  0                0                0.00  |
119.87/119.97	c | 119.97    | 0  | -15356       lb |  0                0                0.00  |
120.26/120.33	c | 120.34    | 0  | -15355       lb |  0                0                0.00  |
120.56/120.61	c | 120.61    | 0  | -15354       lb |  0                0                0.00  |
120.97/121.02	c | 121.03    | 0  | -15353       lb |  0                0                0.00  |
121.16/121.28	c | 121.28    | 0  | -15352       lb |  0                0                0.00  |
121.46/121.50	c | 121.50    | 0  | -15351       lb |  0                0                0.00  |
121.76/121.81	c | 121.82    | 0  | -15350       lb |  0                0                0.00  |
122.26/122.39	c | 122.40    | 0  | -15349       lb |  0                0                0.00  |
122.86/122.90	c | 122.90    | 0  | -15348       lb |  0                0                0.00  |
123.07/123.18	c | 123.19    | 0  | -15347       lb |  0                0                0.00  |
123.26/123.38	c | 123.39    | 0  | -15346       lb |  0                0                0.00  |
123.56/123.60	c | 123.61    | 0  | -15345       lb |  0                0                0.00  |
123.96/124.07	c | 124.07    | 0  | -15344       lb |  0                0                0.00  |
124.26/124.32	c | 124.33    | 0  | -15343       lb |  0                0                0.00  |
124.46/124.53	c | 124.54    | 0  | -15342       lb |  0                0                0.00  |
124.66/124.79	c | 124.80    | 0  | -15341       lb |  0                0                0.00  |
124.96/125.03	c | 125.03    | 0  | -15340       lb |  0                0                0.00  |
125.56/125.65	c | 125.65    | 0  | -15339       lb |  0                0                0.00  |
125.76/125.89	c | 125.90    | 0  | -15338       lb |  0                0                0.00  |
126.16/126.20	c | 126.20    | 0  | -15337       lb |  0                0                0.00  |
126.36/126.42	c | 126.42    | 0  | -15336       lb |  0                0                0.00  |
126.56/126.64	c | 126.64    | 0  | -15335       lb |  0                0                0.00  |
126.76/126.86	c | 126.86    | 0  | -15334       lb |  0                0                0.00  |
127.06/127.13	c | 127.13    | 0  | -15333       lb |  0                0                0.00  |
127.26/127.35	c | 127.35    | 0  | -15332       lb |  0                0                0.00  |
127.46/127.56	c | 127.57    | 0  | -15331       lb |  0                0                0.00  |
127.66/127.76	c | 127.76    | 0  | -15330       lb |  0                0                0.00  |
127.86/127.99	c | 128.00    | 0  | -15329       lb |  0                0                0.00  |
128.06/128.18	c | 128.18    | 0  | -15328       lb |  0                0                0.00  |
128.26/128.39	c | 128.40    | 0  | -15327       lb |  0                0                0.00  |
128.56/128.61	c | 128.62    | 0  | -15326       lb |  0                0                0.00  |
128.76/128.84	c | 128.84    | 0  | -15325       lb |  0                0                0.00  |
128.96/129.05	c | 129.05    | 0  | -15324       lb |  0                0                0.00  |
129.16/129.27	c | 129.27    | 0  | -15323       lb |  0                0                0.00  |
133.75/133.86	c | 133.87    | 0  | -15322       lb |  0                0                0.00  |
133.95/134.08	c | 134.08    | 0  | -15321       lb |  0                0                0.00  |
134.15/134.25	c | 134.26    | 0  | -15320       lb |  0                0                0.00  |
134.35/134.46	c | 134.47    | 0  | -15319       lb |  0                0                0.00  |
134.55/134.68	c | 134.68    | 0  | -15318       lb |  0                0                0.00  |
134.95/135.06	c | 135.06    | 0  | -15317       lb |  0                0                0.00  |
135.15/135.26	c | 135.26    | 0  | -15316       lb |  0                0                0.00  |
135.35/135.49	c | 135.49    | 0  | -15315       lb |  0                0                0.00  |
135.55/135.69	c | 135.69    | 0  | -15314       lb |  0                0                0.00  |
136.06/136.18	c | 136.18    | 0  | -15313       lb |  0                0                0.00  |
136.26/136.38	c | 136.38    | 0  | -15312       lb |  0                0                0.00  |
136.55/136.63	c | 136.63    | 0  | -15311       lb |  0                0                0.00  |
136.75/136.86	c | 136.87    | 0  | -15310       lb |  0                0                0.00  |
137.05/137.12	c | 137.12    | 0  | -15309       lb |  0                0                0.00  |
137.25/137.38	c | 137.38    | 0  | -15308       lb |  0                0                0.00  |
137.75/137.81	c | 137.81    | 0  | -15307       lb |  0                0                0.00  |
137.95/138.05	c | 138.05    | 0  | -15306       lb |  0                0                0.00  |
138.25/138.34	c | 138.34    | 0  | -15305       lb |  0                0                0.00  |
138.56/138.65	c | 138.66    | 0  | -15304       lb |  0                0                0.00  |
139.25/139.34	c | 139.35    | 0  | -15303       lb |  0                0                0.00  |
139.45/139.54	c | 139.54    | 0  | -15302       lb |  0                0                0.00  |
140.34/140.42	c | 140.42    | 0  | -15301       lb |  0                0                0.00  |
140.54/140.62	c | 140.62    | 0  | -15300       lb |  0                0                0.00  |
140.84/140.98	c | 140.98    | 0  | -15299       lb |  0                0                0.00  |
141.14/141.22	c | 141.23    | 0  | -15298       lb |  0                0                0.00  |
141.54/141.65	c | 141.66    | 0  | -15297       lb |  0                0                0.00  |
141.75/141.87	c | 141.87    | 0  | -15296       lb |  0                0                0.00  |
142.04/142.11	c | 142.12    | 0  | -15295       lb |  0                0                0.00  |
142.54/142.64	c | 142.64    | 0  | -15294       lb |  0                0                0.00  |
142.74/142.89	c | 142.89    | 0  | -15293       lb |  0                0                0.00  |
143.14/143.20	c | 143.21    | 0  | -15292       lb |  0                0                0.00  |
143.35/143.42	c | 143.42    | 0  | -15291       lb |  0                0                0.00  |
143.55/143.63	c | 143.63    | 0  | -15290       lb |  0                0                0.00  |
145.05/145.13	c | 145.13    | 0  | -15289       lb |  0                0                0.00  |
145.34/145.49	c | 145.49    | 0  | -15288       lb |  0                0                0.00  |
146.15/146.21	c | 146.22    | 0  | -15287       lb |  0                0                0.00  |
146.34/146.44	c | 146.44    | 0  | -15286       lb |  0                0                0.00  |
146.64/146.70	c | 146.71    | 0  | -15285       lb |  0                0                0.00  |
146.84/146.95	c | 146.96    | 0  | -15284       lb |  0                0                0.00  |
147.14/147.23	c | 147.23    | 0  | -15283       lb |  0                0                0.00  |
147.35/147.49	c | 147.50    | 0  | -15282       lb |  0                0                0.00  |
147.84/147.98	c | 147.99    | 0  | -15281       lb |  0                0                0.00  |
148.24/148.36	c | 148.36    | 0  | -15280       lb |  0                0                0.00  |
148.45/148.58	c | 148.58    | 0  | -15279       lb |  0                0                0.00  |
148.64/148.79	c | 148.79    | 0  | -15278       lb |  0                0                0.00  |
148.94/149.02	c | 149.03    | 0  | -15277       lb |  0                0                0.00  |
149.24/149.35	c | 149.35    | 0  | -15276       lb |  0                0                0.00  |
149.45/149.59	c | 149.59    | 0  | -15275       lb |  0                0                0.00  |
149.94/150.06	c | 150.07    | 0  | -15274       lb |  0                0                0.00  |
150.23/150.32	c | 150.32    | 0  | -15273       lb |  0                0                0.00  |
150.43/150.52	c | 150.53    | 0  | -15272       lb |  0                0                0.00  |
150.73/150.89	c | 150.89    | 0  | -15271       lb |  0                0                0.00  |
151.03/151.10	c | 151.10    | 0  | -15270       lb |  0                0                0.00  |
151.24/151.35	c | 151.36    | 0  | -15269       lb |  0                0                0.00  |
151.44/151.58	c | 151.59    | 0  | -15268       lb |  0                0                0.00  |
151.84/151.90	c | 151.91    | 0  | -15267       lb |  0                0                0.00  |
152.03/152.12	c | 152.12    | 0  | -15266       lb |  0                0                0.00  |
152.23/152.39	c | 152.39    | 0  | -15265       lb |  0                0                0.00  |
152.53/152.60	c | 152.60    | 0  | -15264       lb |  0                0                0.00  |
153.03/153.19	c | 153.19    | 0  | -15263       lb |  0                0                0.00  |
153.23/153.39	c | 153.39    | 0  | -15262       lb |  0                0                0.00  |
153.53/153.60	c | 153.60    | 0  | -15261       lb |  0                0                0.00  |
153.73/153.84	c | 153.84    | 0  | -15260       lb |  0                0                0.00  |
153.94/154.05	c | 154.05    | 0  | -15259       lb |  0                0                0.00  |
154.23/154.30	c | 154.31    | 0  | -15258       lb |  0                0                0.00  |
154.43/154.51	c | 154.51    | 0  | -15257       lb |  0                0                0.00  |
155.04/155.14	c | 155.14    | 0  | -15256       lb |  0                0                0.00  |
155.53/155.66	c | 155.67    | 0  | -15255       lb |  0                0                0.00  |
155.83/155.95	c | 155.95    | 0  | -15254       lb |  0                0                0.00  |
156.14/156.24	c | 156.25    | 0  | -15253       lb |  0                0                0.00  |
156.44/156.55	c | 156.55    | 0  | -15252       lb |  0                0                0.00  |
156.74/156.85	c | 156.86    | 0  | -15251       lb |  0                0                0.00  |
157.03/157.11	c | 157.11    | 0  | -15250       lb |  0                0                0.00  |
157.24/157.32	c | 157.32    | 0  | -15249       lb |  0                0                0.00  |
157.93/158.03	c | 158.04    | 0  | -15248       lb |  0                0                0.00  |
158.34/158.42	c | 158.42    | 0  | -15247       lb |  0                0                0.00  |
158.54/158.64	c | 158.65    | 0  | -15246       lb |  0                0                0.00  |
158.74/158.88	c | 158.88    | 0  | -15245       lb |  0                0                0.00  |
159.03/159.10	c | 159.10    | 0  | -15244       lb |  0                0                0.00  |
159.34/159.45	c | 159.46    | 0  | -15243       lb |  0                0                0.00  |
159.53/159.69	c | 159.69    | 0  | -15242       lb |  0                0                0.00  |
159.83/159.93	c | 159.93    | 0  | -15241       lb |  0                0                0.00  |
160.03/160.16	c | 160.16    | 0  | -15240       lb |  0                0                0.00  |
160.33/160.43	c | 160.43    | 0  | -15239       lb |  0                0                0.00  |
160.53/160.68	c | 160.69    | 0  | -15238       lb |  0                0                0.00  |
160.82/160.90	c | 160.91    | 0  | -15237       lb |  0                0                0.00  |
161.02/161.12	c | 161.12    | 0  | -15236       lb |  0                0                0.00  |
161.23/161.36	c | 161.37    | 0  | -15235       lb |  0                0                0.00  |
161.43/161.58	c | 161.58    | 0  | -15234       lb |  0                0                0.00  |
161.93/162.01	c | 162.02    | 0  | -15233       lb |  0                0                0.00  |
162.13/162.25	c | 162.25    | 0  | -15232       lb |  0                0                0.00  |
162.43/162.52	c | 162.53    | 0  | -15231       lb |  0                0                0.00  |
162.93/163.08	c | 163.08    | 0  | -15230       lb |  0                0                0.00  |
163.23/163.33	c | 163.33    | 0  | -15229       lb |  0                0                0.00  |
163.42/163.57	c | 163.58    | 0  | -15228       lb |  0                0                0.00  |
163.62/163.80	c | 163.80    | 0  | -15227       lb |  0                0                0.00  |
163.93/164.04	c | 164.04    | 0  | -15226       lb |  0                0                0.00  |
164.23/164.31	c | 164.32    | 0  | -15225       lb |  0                0                0.00  |
164.43/164.53	c | 164.53    | 0  | -15224       lb |  0                0                0.00  |
164.63/164.77	c | 164.78    | 0  | -15223       lb |  0                0                0.00  |
164.93/165.03	c | 165.03    | 0  | -15222       lb |  0                0                0.00  |
165.22/165.30	c | 165.30    | 0  | -15221       lb |  0                0                0.00  |
165.42/165.57	c | 165.58    | 0  | -15220       lb |  0                0                0.00  |
165.72/165.81	c | 165.81    | 0  | -15219       lb |  0                0                0.00  |
186.91/187.02	c | 187.02    | 0  | -15218       lb |  0                0                0.00  |
187.20/187.32	c | 187.32    | 0  | -15217       lb |  0                0                0.00  |
187.40/187.50	c | 187.50    | 0  | -15216       lb |  0                0                0.00  |
187.60/187.76	c | 187.76    | 0  | -15215       lb |  0                0                0.00  |
187.80/187.95	c | 187.96    | 0  | -15214       lb |  0                0                0.00  |
188.01/188.18	c | 188.19    | 0  | -15213       lb |  0                0                0.00  |
188.40/188.53	c | 188.53    | 0  | -15212       lb |  0                0                0.00  |
188.80/188.91	c | 188.92    | 0  | -15211       lb |  0                0                0.00  |
189.20/189.30	c | 189.31    | 0  | -15210       lb |  0                0                0.00  |
189.40/189.53	c | 189.53    | 0  | -15209       lb |  0                0                0.00  |
189.60/189.78	c | 189.79    | 0  | -15208       lb |  0                0                0.00  |
189.90/190.06	c | 190.06    | 0  | -15207       lb |  0                0                0.00  |
190.20/190.39	c | 190.40    | 0  | -15206       lb |  0                0                0.00  |
190.60/190.71	c | 190.72    | 0  | -15205       lb |  0                0                0.00  |
190.90/191.06	c | 191.06    | 0  | -15204       lb |  0                0                0.00  |
191.09/191.29	c | 191.29    | 0  | -15203       lb |  0                0                0.00  |
191.59/191.70	c | 191.71    | 0  | -15202       lb |  0                0                0.00  |
191.79/191.91	c | 191.92    | 0  | -15201       lb |  0                0                0.00  |
192.09/192.22	c | 192.23    | 0  | -15200       lb |  0                0                0.00  |
192.30/192.48	c | 192.49    | 0  | -15199       lb |  0                0                0.00  |
192.59/192.76	c | 192.76    | 0  | -15198       lb |  0                0                0.00  |
192.89/193.04	c | 193.05    | 0  | -15197       lb |  0                0                0.00  |
193.29/193.40	c | 193.40    | 0  | -15196       lb |  0                0                0.00  |
193.59/193.76	c | 193.77    | 0  | -15195       lb |  0                0                0.00  |
193.99/194.13	c | 194.13    | 0  | -15194       lb |  0                0                0.00  |
194.39/194.51	c | 194.51    | 0  | -15193       lb |  0                0                0.00  |
194.69/194.85	c | 194.85    | 0  | -15192       lb |  0                0                0.00  |
195.09/195.23	c | 195.24    | 0  | -15191       lb |  0                0                0.00  |
195.39/195.55	c | 195.55    | 0  | -15190       lb |  0                0                0.00  |
195.60/195.80	c | 195.80    | 0  | -15189       lb |  0                0                0.00  |
195.89/196.04	c | 196.04    | 0  | -15188       lb |  0                0                0.00  |
196.09/196.27	c | 196.28    | 0  | -15187       lb |  0                0                0.00  |
196.60/196.74	c | 196.75    | 0  | -15186       lb |  0                0                0.00  |
197.20/197.35	c | 197.35    | 0  | -15185       lb |  0                0                0.00  |
197.50/197.69	c | 197.69    | 0  | -15184       lb |  0                0                0.00  |
200.19/200.30	c | 200.30    | 0  | -15183       lb |  0                0                0.00  |
235.06/235.27	c | 235.28    | 0  | -15182       lb |  0                0                0.00  |
1494.26/1494.73	c | 1494.74   | 0  | -15181       lb |  0                0                0.00  |
1495.35/1495.85	c | 1495.86   | 0  | -15180       lb |  0                0                0.00  |
1799.49/1800.00	c ===============================================================================
1799.49/1800.00	c Wall Clock Time: 1800.00 s
1799.49/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-3727882-1338671365/watcher-3727882-1338671365 -o /tmp/evaluation-result-3727882-1338671365/solver-3727882-1338671365 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3727882-1338671365.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/176 18594
/proc/meminfo: memFree=27743824/32873844 swapFree=7628/7628
[pid=18594] ppid=18592 vsize=7364 CPUtime=0 cores=1,3,5,7
/proc/18594/stat : 18594 (wbo1.72) R 18592 18594 17860 0 -1 4202496 650 0 0 0 0 0 0 0 20 0 1 0 333261392 7540736 603 33554432000 4194304 5964350 140736259924384 140735692345464 4395569 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/18594/statm: 1841 605 161 433 0 759 0

[startup+0.029251 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 18594
/proc/meminfo: memFree=27743824/32873844 swapFree=7628/7628
[pid=18594] ppid=18592 vsize=11880 CPUtime=0.02 cores=1,3,5,7
/proc/18594/stat : 18594 (wbo1.72) R 18592 18594 17860 0 -1 4202496 1703 0 0 0 2 0 0 0 20 0 1 0 333261392 12165120 1656 33554432000 4194304 5964350 140736259924384 140735692345464 5136410 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/18594/statm: 2970 1656 243 433 0 1888 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 11880

[startup+0.100241 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 18594
/proc/meminfo: memFree=27743824/32873844 swapFree=7628/7628
[pid=18594] ppid=18592 vsize=19596 CPUtime=0.09 cores=1,3,5,7
/proc/18594/stat : 18594 (wbo1.72) R 18592 18594 17860 0 -1 4202496 4043 0 0 0 9 0 0 0 20 0 1 0 333261392 20066304 3842 33554432000 4194304 5964350 140736259924384 140735692345464 4344688 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/18594/statm: 4899 3843 452 433 0 3817 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19596

[startup+0.300184 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 18594
/proc/meminfo: memFree=27743824/32873844 swapFree=7628/7628
[pid=18594] ppid=18592 vsize=105004 CPUtime=0.29 cores=1,3,5,7
/proc/18594/stat : 18594 (wbo1.72) S 18592 18594 17860 0 -1 4202496 11888 0 0 0 27 2 0 0 20 0 2 0 333261392 107524096 9816 33554432000 4194304 5964350 140736259924384 140736259923904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18594/statm: 26251 9816 190 433 0 25815 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 105004

[startup+0.700208 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 18594
/proc/meminfo: memFree=27743824/32873844 swapFree=7628/7628
[pid=18594] ppid=18592 vsize=101308 CPUtime=0.69 cores=1,3,5,7
/proc/18594/stat : 18594 (wbo1.72) S 18592 18594 17860 0 -1 4202496 17547 0 0 0 67 2 0 0 20 0 2 0 333261392 103739392 13638 33554432000 4194304 5964350 140736259924384 140736259923904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18594/statm: 25327 13638 191 433 0 24891 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 101308

[startup+1.50036 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18597
/proc/meminfo: memFree=27639700/32873844 swapFree=7628/7628
[pid=18594] ppid=18592 vsize=101308 CPUtime=1.48 cores=1,3,5,7
/proc/18594/stat : 18594 (wbo1.72) S 18592 18594 17860 0 -1 4202496 23761 0 0 0 145 3 0 0 20 0 2 0 333261392 103739392 15693 33554432000 4194304 5964350 140736259924384 140736259923904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18594/statm: 25327 15693 191 433 0 24891 0
[pid=18594/tid=18597] ppid=18592 vsize=101308 CPUtime=1.26 cores=1,3,5,7
/proc/18594/task/18597/stat : 18597 (wbo1.72) R 18592 18594 17860 0 -1 4202560 17831 0 0 0 123 3 0 0 20 0 2 0 333261414 103739392 15693 33554432000 4194304 5964350 140736259924384 140247757965848 5130762 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 101308

[startup+3.10036 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18597
/proc/meminfo: memFree=27618744/32873844 swapFree=7628/7628
[pid=18594] ppid=18592 vsize=101308 CPUtime=3.08 cores=1,3,5,7
/proc/18594/stat : 18594 (wbo1.72) S 18592 18594 17860 0 -1 4202496 34377 0 0 0 303 5 0 0 20 0 2 0 333261392 103739392 18100 33554432000 4194304 5964350 140736259924384 140736259923904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18594/statm: 25327 18100 191 433 0 24891 0
[pid=18594/tid=18597] ppid=18592 vsize=101308 CPUtime=2.86 cores=1,3,5,7
/proc/18594/task/18597/stat : 18597 (wbo1.72) R 18592 18594 17860 0 -1 4202560 28447 0 0 0 281 5 0 0 20 0 2 0 333261414 103739392 18100 33554432000 4194304 5964350 140736259924384 140247757965656 4376171 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 101308

[startup+6.30036 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18597
/proc/meminfo: memFree=27565296/32873844 swapFree=7628/7628
[pid=18594] ppid=18592 vsize=166844 CPUtime=6.28 cores=1,3,5,7
/proc/18594/stat : 18594 (wbo1.72) S 18592 18594 17860 0 -1 4202496 53079 0 0 0 619 9 0 0 20 0 2 0 333261392 170848256 24565 33554432000 4194304 5964350 140736259924384 140736259923904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18594/statm: 41711 24565 191 433 0 41275 0
[pid=18594/tid=18597] ppid=18592 vsize=166844 CPUtime=6.06 cores=1,3,5,7
/proc/18594/task/18597/stat : 18597 (wbo1.72) R 18592 18594 17860 0 -1 4202560 47149 0 0 0 598 8 0 0 20 0 2 0 333261414 170848256 24565 33554432000 4194304 5964350 140736259924384 140247757965848 5142429 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 166844

[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18597
/proc/meminfo: memFree=27478552/32873844 swapFree=7628/7628
[pid=18594] ppid=18592 vsize=166844 CPUtime=12.68 cores=1,3,5,7
/proc/18594/stat : 18594 (wbo1.72) S 18592 18594 17860 0 -1 4202496 97427 0 0 0 1250 18 0 0 20 0 2 0 333261392 170848256 34628 33554432000 4194304 5964350 140736259924384 140736259923904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18594/statm: 41711 34628 191 433 0 41275 0
[pid=18594/tid=18597] ppid=18592 vsize=166844 CPUtime=12.46 cores=1,3,5,7
/proc/18594/task/18597/stat : 18597 (wbo1.72) R 18592 18594 17860 0 -1 4202560 91497 0 0 0 1229 17 0 0 20 0 2 0 333261414 170848256 34628 33554432000 4194304 5964350 140736259924384 140247757965656 5130914 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) 166844

[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18597
/proc/meminfo: memFree=27334840/32873844 swapFree=7628/7628
[pid=18594] ppid=18592 vsize=232380 CPUtime=25.48 cores=1,3,5,7
/proc/18594/stat : 18594 (wbo1.72) S 18592 18594 17860 0 -1 4202496 150763 0 0 0 2521 27 0 0 20 0 2 0 333261392 237957120 48901 33554432000 4194304 5964350 140736259924384 140736259923904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18594/statm: 58095 48901 193 433 0 57659 0
[pid=18594/tid=18597] ppid=18592 vsize=232380 CPUtime=25.26 cores=1,3,5,7
/proc/18594/task/18597/stat : 18597 (wbo1.72) R 18592 18594 17860 0 -1 4202560 144833 0 0 0 2499 27 0 0 20 0 2 0 333261414 237957120 48901 33554432000 4194304 5964350 140736259924384 140247757965848 5133593 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 232380

[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 18600
/proc/meminfo: memFree=27143972/32873844 swapFree=7628/7628
[pid=18594] ppid=18592 vsize=297916 CPUtime=51.08 cores=1,3,5,7
/proc/18594/stat : 18594 (wbo1.72) S 18592 18594 17860 0 -1 4202496 224395 0 0 0 5064 44 0 0 20 0 2 0 333261392 305065984 68613 33554432000 4194304 5964350 140736259924384 140736259923904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18594/statm: 74479 68613 195 433 0 74043 0
[pid=18594/tid=18597] ppid=18592 vsize=297916 CPUtime=50.86 cores=1,3,5,7
/proc/18594/task/18597/stat : 18597 (wbo1.72) R 18592 18594 17860 0 -1 4202560 218465 0 0 0 5042 44 0 0 20 0 2 0 333261414 305065984 68613 33554432000 4194304 5964350 140736259924384 140247757966152 5122387 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 297916

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18601
/proc/meminfo: memFree=26883384/32873844 swapFree=7628/7628
[pid=18594] ppid=18592 vsize=363452 CPUtime=102.28 cores=1,3,5,7
/proc/18594/stat : 18594 (wbo1.72) S 18592 18594 17860 0 -1 4202496 273324 0 0 0 10172 56 0 0 20 0 2 0 333261392 372174848 85510 33554432000 4194304 5964350 140736259924384 140736259923904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18594/statm: 90863 85510 195 433 0 90427 0
[pid=18594/tid=18597] ppid=18592 vsize=363452 CPUtime=102.06 cores=1,3,5,7
/proc/18594/task/18597/stat : 18597 (wbo1.72) R 18592 18594 17860 0 -1 4202560 267394 0 0 0 10149 57 0 0 20 0 2 0 333261414 372174848 85510 33554432000 4194304 5964350 140736259924384 140247757966152 4400396 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 363452

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18601
/proc/meminfo: memFree=26680304/32873844 swapFree=7628/7628
[pid=18594] ppid=18592 vsize=494524 CPUtime=162.23 cores=1,3,5,7
/proc/18594/stat : 18594 (wbo1.72) S 18592 18594 17860 0 -1 4202496 352156 0 0 0 16149 74 0 0 20 0 2 0 333261392 506392576 107126 33554432000 4194304 5964350 140736259924384 140736259923904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18594/statm: 123631 107126 195 433 0 123195 0
[pid=18594/tid=18597] ppid=18592 vsize=494524 CPUtime=162.02 cores=1,3,5,7
/proc/18594/task/18597/stat : 18597 (wbo1.72) R 18592 18594 17860 0 -1 4202560 346226 0 0 0 16126 76 0 0 20 0 2 0 333261414 506392576 107126 33554432000 4194304 5964350 140736259924384 140247757966152 5139086 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 494524

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18601
/proc/meminfo: memFree=26646544/32873844 swapFree=7628/7628
[pid=18594] ppid=18592 vsize=494524 CPUtime=222.17 cores=1,3,5,7
/proc/18594/stat : 18594 (wbo1.72) S 18592 18594 17860 0 -1 4202496 367876 0 0 0 22140 77 0 0 20 0 2 0 333261392 506392576 114486 33554432000 4194304 5964350 140736259924384 140736259923904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18594/statm: 123631 114486 195 433 0 123195 0
[pid=18594/tid=18597] ppid=18592 vsize=494524 CPUtime=221.98 cores=1,3,5,7
/proc/18594/task/18597/stat : 18597 (wbo1.72) R 18592 18594 17860 0 -1 4202560 361946 0 0 0 22118 80 0 0 20 0 2 0 333261414 506392576 114486 33554432000 4194304 5964350 140736259924384 140247757965112 4400007 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 494524

[startup+282.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 18601
/proc/meminfo: memFree=26616436/32873844 swapFree=7628/7628
[pid=18594] ppid=18592 vsize=560060 CPUtime=282.13 cores=1,3,5,7
/proc/18594/stat : 18594 (wbo1.72) S 18592 18594 17860 0 -1 4202496 372315 0 0 0 28134 79 0 0 20 0 2 0 333261392 573501440 119915 33554432000 4194304 5964350 140736259924384 140736259923904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18594/statm: 140015 119915 195 433 0 139579 0
[pid=18594/tid=18597] ppid=18592 vsize=560060 CPUtime=281.95 cores=1,3,5,7
/proc/18594/task/18597/stat : 18597 (wbo1.72) R 18592 18594 17860 0 -1 4202560 366385 0 0 0 28112 83 0 0 20 0 2 0 333261414 573501440 119915 33554432000 4194304 5964350 140736259924384 140247757965688 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 282.13
Current children cumulated vsize (KiB) 560060

[startup+342.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 18601
/proc/meminfo: memFree=26607704/32873844 swapFree=7628/7628
[pid=18594] ppid=18592 vsize=560060 CPUtime=342.1 cores=1,3,5,7
/proc/18594/stat : 18594 (wbo1.72) S 18592 18594 17860 0 -1 4202496 372596 0 0 0 34131 79 0 0 20 0 2 0 333261392 573501440 120177 33554432000 4194304 5964350 140736259924384 140736259923904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18594/statm: 140015 120177 195 433 0 139579 0
[pid=18594/tid=18597] ppid=18592 vsize=560060 CPUtime=341.94 cores=1,3,5,7
/proc/18594/task/18597/stat : 18597 (wbo1.72) R 18592 18594 17860 0 -1 4202560 366666 0 0 0 34110 84 0 0 20 0 2 0 333261414 573501440 120177 33554432000 4194304 5964350 140736259924384 140247757965688 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 342.1
Current children cumulated vsize (KiB) 560060

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18602
/proc/meminfo: memFree=26581712/32873844 swapFree=7628/7628
[pid=18594] ppid=18592 vsize=560060 CPUtime=402.09 cores=1,3,5,7
/proc/18594/stat : 18594 (wbo1.72) S 18592 18594 17860 0 -1 4202496 375808 0 0 0 40128 81 0 0 20 0 2 0 333261392 573501440 123389 33554432000 4194304 5964350 140736259924384 140736259923904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18594/statm: 140015 123389 195 433 0 139579 0
[pid=18594/tid=18597] ppid=18592 vsize=560060 CPUtime=401.94 cores=1,3,5,7
/proc/18594/task/18597/stat : 18597 (wbo1.72) R 18592 18594 17860 0 -1 4202560 369878 0 0 0 40107 87 0 0 20 0 2 0 333261414 573501440 123389 33554432000 4194304 5964350 140736259924384 140247757965304 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 402.09
Current children cumulated vsize (KiB) 560060

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18602
/proc/meminfo: memFree=26525144/32873844 swapFree=7628/7628
[pid=18594] ppid=18592 vsize=560060 CPUtime=462.09 cores=1,3,5,7

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

/proc/18594/task/18597/stat : 18597 (wbo1.72) R 18592 18594 17860 0 -1 4202560 405290 0 0 0 130049 136 0 0 20 0 2 0 333261414 707719168 159861 33554432000 4194304 5964350 140736259924384 140247757965304 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 691132

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 18612
/proc/meminfo: memFree=26340948/32873844 swapFree=7628/7628
[pid=18594] ppid=18592 vsize=691132 CPUtime=1361.88 cores=1,3,5,7
/proc/18594/stat : 18594 (wbo1.72) S 18592 18594 17860 0 -1 4202496 413621 0 0 0 136066 122 0 0 20 0 2 0 333261392 707719168 162262 33554432000 4194304 5964350 140736259924384 140736259923904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18594/statm: 172783 162262 195 433 0 172347 0
[pid=18594/tid=18597] ppid=18592 vsize=691132 CPUtime=1361.84 cores=1,3,5,7
/proc/18594/task/18597/stat : 18597 (wbo1.72) R 18592 18594 17860 0 -1 4202560 407691 0 0 0 136042 142 0 0 20 0 2 0 333261414 707719168 162262 33554432000 4194304 5964350 140736259924384 140247757965112 4400704 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 691132

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18612
/proc/meminfo: memFree=26333392/32873844 swapFree=7628/7628
[pid=18594] ppid=18592 vsize=691132 CPUtime=1421.88 cores=1,3,5,7
/proc/18594/stat : 18594 (wbo1.72) S 18592 18594 17860 0 -1 4202496 415555 0 0 0 142064 124 0 0 20 0 2 0 333261392 707719168 164196 33554432000 4194304 5964350 140736259924384 140736259923904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18594/statm: 172783 164196 195 433 0 172347 0
[pid=18594/tid=18597] ppid=18592 vsize=691132 CPUtime=1421.85 cores=1,3,5,7
/proc/18594/task/18597/stat : 18597 (wbo1.72) R 18592 18594 17860 0 -1 4202560 409625 0 0 0 142040 145 0 0 20 0 2 0 333261414 707719168 164196 33554432000 4194304 5964350 140736259924384 140247757965304 4399858 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 691132

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18612
/proc/meminfo: memFree=26324464/32873844 swapFree=7628/7628
[pid=18594] ppid=18592 vsize=691132 CPUtime=1481.86 cores=1,3,5,7
/proc/18594/stat : 18594 (wbo1.72) S 18592 18594 17860 0 -1 4202496 417793 0 0 0 148058 128 0 0 20 0 2 0 333261392 707719168 166434 33554432000 4194304 5964350 140736259924384 140736259923904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18594/statm: 172783 166434 195 433 0 172347 0
[pid=18594/tid=18597] ppid=18592 vsize=691132 CPUtime=1481.84 cores=1,3,5,7
/proc/18594/task/18597/stat : 18597 (wbo1.72) R 18592 18594 17860 0 -1 4202560 411863 0 0 0 148034 150 0 0 20 0 2 0 333261414 707719168 166434 33554432000 4194304 5964350 140736259924384 140247757965304 4400007 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 691132

[startup+1542.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 18612
/proc/meminfo: memFree=26263764/32873844 swapFree=7628/7628
[pid=18594] ppid=18592 vsize=756668 CPUtime=1541.85 cores=1,3,5,7
/proc/18594/stat : 18594 (wbo1.72) S 18592 18594 17860 0 -1 4202496 432670 0 0 0 154053 132 0 0 20 0 2 0 333261392 774828032 181580 33554432000 4194304 5964350 140736259924384 140736259923904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18594/statm: 189167 181580 195 433 0 188731 0
[pid=18594/tid=18597] ppid=18592 vsize=756668 CPUtime=1541.84 cores=1,3,5,7
/proc/18594/task/18597/stat : 18597 (wbo1.72) R 18592 18594 17860 0 -1 4202560 426740 0 0 0 154029 155 0 0 20 0 2 0 333261414 774828032 181580 33554432000 4194304 5964350 140736259924384 140247757965848 4400462 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 756668

[startup+1602.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 18612
/proc/meminfo: memFree=26262832/32873844 swapFree=7628/7628
[pid=18594] ppid=18592 vsize=756668 CPUtime=1601.82 cores=1,3,5,7
/proc/18594/stat : 18594 (wbo1.72) S 18592 18594 17860 0 -1 4202496 432686 0 0 0 160050 132 0 0 20 0 2 0 333261392 774828032 181816 33554432000 4194304 5964350 140736259924384 140736259923904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18594/statm: 189167 181816 195 433 0 188731 0
[pid=18594/tid=18597] ppid=18592 vsize=756668 CPUtime=1601.83 cores=1,3,5,7
/proc/18594/task/18597/stat : 18597 (wbo1.72) R 18592 18594 17860 0 -1 4202560 426756 0 0 0 160027 156 0 0 20 0 2 0 333261414 774828032 181816 33554432000 4194304 5964350 140736259924384 140247757965848 4399835 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 756668

[startup+1662.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/179 18613
/proc/meminfo: memFree=26258024/32873844 swapFree=7628/7628
[pid=18594] ppid=18592 vsize=756668 CPUtime=1661.81 cores=1,3,5,7
/proc/18594/stat : 18594 (wbo1.72) S 18592 18594 17860 0 -1 4202496 432686 0 0 0 166049 132 0 0 20 0 2 0 333261392 774828032 183050 33554432000 4194304 5964350 140736259924384 140736259923904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18594/statm: 189167 183050 195 433 0 188731 0
[pid=18594/tid=18597] ppid=18592 vsize=756668 CPUtime=1661.82 cores=1,3,5,7
/proc/18594/task/18597/stat : 18597 (wbo1.72) R 18592 18594 17860 0 -1 4202560 426756 0 0 0 166025 157 0 0 20 0 2 0 333261414 774828032 183050 33554432000 4194304 5964350 140736259924384 140247757965848 4399989 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 756668

[startup+1722.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/179 18613
/proc/meminfo: memFree=26251692/32873844 swapFree=7628/7628
[pid=18594] ppid=18592 vsize=756668 CPUtime=1721.8 cores=1,3,5,7
/proc/18594/stat : 18594 (wbo1.72) S 18592 18594 17860 0 -1 4202496 432686 0 0 0 172048 132 0 0 20 0 2 0 333261392 774828032 183150 33554432000 4194304 5964350 140736259924384 140736259923904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18594/statm: 189167 183150 195 433 0 188731 0
[pid=18594/tid=18597] ppid=18592 vsize=756668 CPUtime=1721.82 cores=1,3,5,7
/proc/18594/task/18597/stat : 18597 (wbo1.72) R 18592 18594 17860 0 -1 4202560 426756 0 0 0 172024 158 0 0 20 0 2 0 333261414 774828032 183150 33554432000 4194304 5964350 140736259924384 140247757965848 4399987 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 756668

[startup+1782.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/179 18613
/proc/meminfo: memFree=26238796/32873844 swapFree=7628/7628
[pid=18594] ppid=18592 vsize=756668 CPUtime=1781.8 cores=1,3,5,7
/proc/18594/stat : 18594 (wbo1.72) S 18592 18594 17860 0 -1 4202496 432686 0 0 0 178048 132 0 0 20 0 2 0 333261392 774828032 183150 33554432000 4194304 5964350 140736259924384 140736259923904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18594/statm: 189167 183150 195 433 0 188731 0
[pid=18594/tid=18597] ppid=18592 vsize=756668 CPUtime=1781.82 cores=1,3,5,7
/proc/18594/task/18597/stat : 18597 (wbo1.72) R 18592 18594 17860 0 -1 4202560 426756 0 0 0 178023 159 0 0 20 0 2 0 333261414 774828032 183150 33554432000 4194304 5964350 140736259924384 140247757965848 4387903 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 756668

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

[startup+1791.91 s]
/proc/loadavg: 2.04 2.04 2.00 3/179 18613
/proc/meminfo: memFree=26237804/32873844 swapFree=7628/7628
[pid=18594] ppid=18592 vsize=756668 CPUtime=1791.4 cores=1,3,5,7
/proc/18594/stat : 18594 (wbo1.72) S 18592 18594 17860 0 -1 4202496 432686 0 0 0 179008 132 0 0 20 0 2 0 333261392 774828032 183150 33554432000 4194304 5964350 140736259924384 140736259923904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18594/statm: 189167 183150 195 433 0 188731 0
[pid=18594/tid=18597] ppid=18592 vsize=756668 CPUtime=1791.43 cores=1,3,5,7
/proc/18594/task/18597/stat : 18597 (wbo1.72) R 18592 18594 17860 0 -1 4202560 426756 0 0 0 178984 159 0 0 20 0 2 0 333261414 774828032 183150 33554432000 4194304 5964350 140736259924384 140247757965848 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1791.4
Current children cumulated vsize (KiB) 756668

[startup+1795.1 s]
/proc/loadavg: 2.04 2.04 2.00 3/179 18613
/proc/meminfo: memFree=26237432/32873844 swapFree=7628/7628
[pid=18594] ppid=18592 vsize=756668 CPUtime=1794.6 cores=1,3,5,7
/proc/18594/stat : 18594 (wbo1.72) S 18592 18594 17860 0 -1 4202496 432686 0 0 0 179328 132 0 0 20 0 2 0 333261392 774828032 183150 33554432000 4194304 5964350 140736259924384 140736259923904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18594/statm: 189167 183150 195 433 0 188731 0
[pid=18594/tid=18597] ppid=18592 vsize=756668 CPUtime=1794.63 cores=1,3,5,7
/proc/18594/task/18597/stat : 18597 (wbo1.72) R 18592 18594 17860 0 -1 4202560 426756 0 0 0 179304 159 0 0 20 0 2 0 333261414 774828032 183150 33554432000 4194304 5964350 140736259924384 140247757965848 4400023 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1794.6
Current children cumulated vsize (KiB) 756668

[startup+1798.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/179 18613
/proc/meminfo: memFree=26237184/32873844 swapFree=7628/7628
[pid=18594] ppid=18592 vsize=756668 CPUtime=1797.79 cores=1,3,5,7
/proc/18594/stat : 18594 (wbo1.72) S 18592 18594 17860 0 -1 4202496 432686 0 0 0 179647 132 0 0 20 0 2 0 333261392 774828032 183150 33554432000 4194304 5964350 140736259924384 140736259923904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18594/statm: 189167 183150 195 433 0 188731 0
[pid=18594/tid=18597] ppid=18592 vsize=756668 CPUtime=1797.82 cores=1,3,5,7
/proc/18594/task/18597/stat : 18597 (wbo1.72) R 18592 18594 17860 0 -1 4202560 426756 0 0 0 179623 159 0 0 20 0 2 0 333261414 774828032 183150 33554432000 4194304 5964350 140736259924384 140247757965848 4399921 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1797.79
Current children cumulated vsize (KiB) 756668

[startup+1799.1 s]
/proc/loadavg: 2.04 2.04 2.00 3/179 18613
/proc/meminfo: memFree=26237060/32873844 swapFree=7628/7628
[pid=18594] ppid=18592 vsize=756668 CPUtime=1798.59 cores=1,3,5,7
/proc/18594/stat : 18594 (wbo1.72) S 18592 18594 17860 0 -1 4202496 432686 0 0 0 179727 132 0 0 20 0 2 0 333261392 774828032 183150 33554432000 4194304 5964350 140736259924384 140736259923904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18594/statm: 189167 183150 195 433 0 188731 0
[pid=18594/tid=18597] ppid=18592 vsize=756668 CPUtime=1798.62 cores=1,3,5,7
/proc/18594/task/18597/stat : 18597 (wbo1.72) R 18592 18594 17860 0 -1 4202560 426756 0 0 0 179703 159 0 0 20 0 2 0 333261414 774828032 183150 33554432000 4194304 5964350 140736259924384 140247757965848 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1798.59
Current children cumulated vsize (KiB) 756668

[startup+1799.5 s]
/proc/loadavg: 2.04 2.04 2.00 3/179 18613
/proc/meminfo: memFree=26236812/32873844 swapFree=7628/7628
[pid=18594] ppid=18592 vsize=756668 CPUtime=1799 cores=1,3,5,7
/proc/18594/stat : 18594 (wbo1.72) S 18592 18594 17860 0 -1 4202496 432686 0 0 0 179768 132 0 0 20 0 2 0 333261392 774828032 183150 33554432000 4194304 5964350 140736259924384 140736259923904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18594/statm: 189167 183150 195 433 0 188731 0
[pid=18594/tid=18597] ppid=18592 vsize=756668 CPUtime=1799.03 cores=1,3,5,7
/proc/18594/task/18597/stat : 18597 (wbo1.72) R 18592 18594 17860 0 -1 4202560 426756 0 0 0 179744 159 0 0 20 0 2 0 333261414 774828032 183150 33554432000 4194304 5964350 140736259924384 140247757965848 4400751 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799
Current children cumulated vsize (KiB) 756668

[startup+1799.9 s]
/proc/loadavg: 2.04 2.04 2.00 3/179 18613
/proc/meminfo: memFree=26236812/32873844 swapFree=7628/7628
[pid=18594] ppid=18592 vsize=756668 CPUtime=1799.39 cores=1,3,5,7
/proc/18594/stat : 18594 (wbo1.72) S 18592 18594 17860 0 -1 4202496 432686 0 0 0 179807 132 0 0 20 0 2 0 333261392 774828032 183150 33554432000 4194304 5964350 140736259924384 140736259923904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18594/statm: 189167 183150 195 433 0 188731 0
[pid=18594/tid=18597] ppid=18592 vsize=756668 CPUtime=1799.42 cores=1,3,5,7
/proc/18594/task/18597/stat : 18597 (wbo1.72) R 18592 18594 17860 0 -1 4202560 426756 0 0 0 179783 159 0 0 20 0 2 0 333261414 774828032 183150 33554432000 4194304 5964350 140736259924384 140247757965848 4400007 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.39
Current children cumulated vsize (KiB) 756668

[startup+1800 s]
/proc/loadavg: 2.04 2.04 2.00 3/179 18613
/proc/meminfo: memFree=26236812/32873844 swapFree=7628/7628
[pid=18594] ppid=18592 vsize=756668 CPUtime=1799.49 cores=1,3,5,7
/proc/18594/stat : 18594 (wbo1.72) S 18592 18594 17860 0 -1 4202496 432686 0 0 0 179817 132 0 0 20 0 2 0 333261392 774828032 183150 33554432000 4194304 5964350 140736259924384 140736259923904 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18594/statm: 189167 183150 195 433 0 188731 0
[pid=18594/tid=18597] ppid=18592 vsize=756668 CPUtime=1799.52 cores=1,3,5,7
/proc/18594/task/18597/stat : 18597 (wbo1.72) R 18592 18594 17860 0 -1 4202560 426756 0 0 0 179793 159 0 0 20 0 2 0 333261414 774828032 183150 33554432000 4194304 5964350 140736259924384 140247757965848 4399976 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.49
Current children cumulated vsize (KiB) 756668

Child status: 255
Real time (s): 1800
CPU time (s): 1799.76
CPU user time (s): 1798.15
CPU system time (s): 1.61375
CPU usage (%): 99.9864
Max. virtual memory (cumulated for all children) (KiB): 756668

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.15
system time used= 1.61375
maximum resident set size= 732608
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 432688
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= 237
involuntary context switches= 1854

runsolver used 2.96555 second user time and 9.06762 second system time

The end

Launcher Data

Begin job on node144 at 2012-06-02 23:09:25
IDJOB=3727882
IDBENCH=90451
IDSOLVER=2313
FILE ID=node144/3727882-1338671365
RUNJOBID= node144-1338667764-18356
PBS_JOBID= 14636488
Free space on /tmp= 70828 MiB

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

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

MD5SUM BENCH= cd63af4b43031b31fea6da5a72b06e90
RANDOM SEED=1299084838

node144.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.196
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	: 5332.39
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.196
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.196
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	: 5438.54
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.196
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.196
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.90
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.196
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.92
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.196
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.196
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:        27746320 kB
Buffers:          622348 kB
Cached:          3611224 kB
SwapCached:          464 kB
Active:          2404688 kB
Inactive:        1857828 kB
Active(anon):      12244 kB
Inactive(anon):    11196 kB
Active(file):    2392444 kB
Inactive(file):  1846632 kB
Unevictable:        7628 kB
Mlocked:            7628 kB
SwapTotal:      67108856 kB
SwapFree:       67108376 kB
Dirty:             16308 kB
Writeback:             0 kB
AnonPages:         28184 kB
Mapped:            15220 kB
Shmem:               172 kB
Slab:             724280 kB
SReclaimable:     166028 kB
SUnreclaim:       558252 kB
KernelStack:        1432 kB
PageTables:         4064 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     138188 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70828 MiB
End job on node144 at 2012-06-02 23:39:25