Trace number 3705084

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
wbo 1.7? 1799.77 1800.01

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/ttp/normalized-data8_3.opb
MD5SUMc3720ea5d84e92b781414b36064971fe
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark43606
Best CPU time to get the best result obtained on this benchmark1800.05
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 46478
Optimality of the best value was proved NO
Number of variables1344
Total number of constraints16096
Number of constraints which are clauses8208
Number of constraints which are cardinality constraints (but not clauses)496
Number of constraints which are nor clauses,nor cardinality constraints7392
Minimum length of a constraint2
Maximum length of a constraint28
Number of terms in the objective function 448
Biggest coefficient in the objective function 1380
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 279536
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 1380
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 279536
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

0.00/0.00	c ==============================[ Solver Version ]===============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |   wbo:                    1.7 beta - March, 2012                            |
0.00/0.00	c |                                                                             |
0.00/0.00	c Parsing opb file format. File HOME/instance-3705084-1338090873.opb.
0.00/0.00	c Instance file HOME/instance-3705084-1338090873.opb
0.00/0.00	c File size is 913860 bytes.
0.03/0.06	c Cost Offset: 0
0.03/0.06	c Highest Coefficient sum: 60
0.03/0.06	c ============================[ Problem Statistics ]=============================
0.03/0.06	c |                                                                             |
0.03/0.06	c |  Parsing time:          0.07         s                                      |
0.03/0.06	c |  Number Variables:      1344                                                |
0.03/0.06	c |  Number Clauses:        8488                                                |
0.03/0.06	c |  Number Cardinality:    496                                                 |
0.03/0.06	c |  Number PB Constraints: 7392                                                |
0.03/0.06	c |                                                                             |
0.03/0.07	c |  Problem Type:          Optimization                                        |
0.03/0.07	c |  Objective Function:    PB Constraint                                       |
0.03/0.07	c |                                                                             |
0.03/0.07	c ============================[ Search Statistics ]==============================
0.03/0.07	c | Time (s)  | ID |      Bound      |               Shared Clauses             |
0.03/0.07	c |           |    | value      type |  expCls         impCls        Lit/impCl  |
0.03/0.07	c ===============================================================================
0.03/0.08	c | 0.08      | 0  | 370          lb |  0                0                0.00  |
0.03/0.09	c | 0.09      | 0  | 450          lb |  0                0                0.00  |
0.09/0.10	c | 0.10      | 0  | 530          lb |  0                0                0.00  |
0.09/0.10	c | 0.11      | 0  | 867          lb |  0                0                0.00  |
0.09/0.11	c | 0.12      | 0  | 1472         lb |  0                0                0.00  |
0.09/0.12	c | 0.12      | 0  | 1725         lb |  0                0                0.00  |
0.09/0.13	c | 0.13      | 0  | 1975         lb |  0                0                0.00  |
0.09/0.14	c | 0.14      | 0  | 2225         lb |  0                0                0.00  |
0.09/0.15	c | 0.15      | 0  | 2595         lb |  0                0                0.00  |
0.09/0.16	c | 0.16      | 0  | 2675         lb |  0                0                0.00  |
0.09/0.16	c | 0.17      | 0  | 2755         lb |  0                0                0.00  |
0.09/0.17	c | 0.18      | 0  | 3092         lb |  0                0                0.00  |
0.09/0.18	c | 0.19      | 0  | 3697         lb |  0                0                0.00  |
0.09/0.19	c | 0.20      | 0  | 3950         lb |  0                0                0.00  |
0.19/0.20	c | 0.20      | 0  | 4200         lb |  0                0                0.00  |
0.19/0.21	c | 0.21      | 0  | 4450         lb |  0                0                0.00  |
0.19/0.22	c | 0.22      | 0  | 4530         lb |  0                0                0.00  |
0.19/0.23	c | 0.23      | 0  | 4610         lb |  0                0                0.00  |
0.19/0.24	c | 0.24      | 0  | 4947         lb |  0                0                0.00  |
0.19/0.25	c | 0.25      | 0  | 5182         lb |  0                0                0.00  |
0.19/0.26	c | 0.26      | 0  | 5333         lb |  0                0                0.00  |
0.19/0.27	c | 0.27      | 0  | 5550         lb |  0                0                0.00  |
0.19/0.28	c | 0.28      | 0  | 5920         lb |  0                0                0.00  |
0.19/0.28	c | 0.29      | 0  | 6177         lb |  0                0                0.00  |
0.19/0.29	c | 0.30      | 0  | 6782         lb |  0                0                0.00  |
0.29/0.30	c | 0.31      | 0  | 7017         lb |  0                0                0.00  |
0.29/0.31	c | 0.32      | 0  | 7267         lb |  0                0                0.00  |
0.29/0.32	c | 0.33      | 0  | 7517         lb |  0                0                0.00  |
0.29/0.33	c | 0.34      | 0  | 7887         lb |  0                0                0.00  |
0.29/0.34	c | 0.35      | 0  | 8187         lb |  0                0                0.00  |
0.29/0.35	c | 0.36      | 0  | 8792         lb |  0                0                0.00  |
0.29/0.36	c | 0.37      | 0  | 8969         lb |  0                0                0.00  |
0.29/0.37	c | 0.38      | 0  | 9219         lb |  0                0                0.00  |
0.29/0.38	c | 0.39      | 0  | 9469         lb |  0                0                0.00  |
0.29/0.39	c | 0.40      | 0  | 9839         lb |  0                0                0.00  |
0.39/0.40	c | 0.41      | 0  | 9882         lb |  0                0                0.00  |
0.39/0.41	c | 0.42      | 0  | 10487        lb |  0                0                0.00  |
0.39/0.42	c | 0.43      | 0  | 10558        lb |  0                0                0.00  |
0.39/0.43	c | 0.44      | 0  | 10808        lb |  0                0                0.00  |
0.39/0.44	c | 0.45      | 0  | 11058        lb |  0                0                0.00  |
0.39/0.45	c | 0.46      | 0  | 11138        lb |  0                0                0.00  |
0.39/0.46	c | 0.47      | 0  | 11218        lb |  0                0                0.00  |
0.39/0.47	c | 0.48      | 0  | 11555        lb |  0                0                0.00  |
0.39/0.48	c | 0.49      | 0  | 11808        lb |  0                0                0.00  |
0.39/0.49	c | 0.50      | 0  | 12058        lb |  0                0                0.00  |
0.49/0.50	c | 0.51      | 0  | 12308        lb |  0                0                0.00  |
0.49/0.51	c | 0.52      | 0  | 12576        lb |  0                0                0.00  |
0.49/0.53	c | 0.53      | 0  | 12638        lb |  0                0                0.00  |
0.49/0.54	c | 0.54      | 0  | 12642        lb |  0                0                0.00  |
0.49/0.55	c | 0.55      | 0  | 12797        lb |  0                0                0.00  |
0.49/0.56	c | 0.56      | 0  | 13402        lb |  0                0                0.00  |
0.49/0.57	c | 0.57      | 0  | 13559        lb |  0                0                0.00  |
0.49/0.58	c | 0.58      | 0  | 13679        lb |  0                0                0.00  |
0.49/0.59	c | 0.59      | 0  | 13759        lb |  0                0                0.00  |
0.59/0.60	c | 0.60      | 0  | 13839        lb |  0                0                0.00  |
0.59/0.61	c | 0.61      | 0  | 14176        lb |  0                0                0.00  |
0.59/0.62	c | 0.62      | 0  | 14781        lb |  0                0                0.00  |
0.59/0.63	c | 0.64      | 0  | 14784        lb |  0                0                0.00  |
0.59/0.64	c | 0.65      | 0  | 15121        lb |  0                0                0.00  |
0.59/0.65	c | 0.66      | 0  | 15201        lb |  0                0                0.00  |
0.59/0.66	c | 0.67      | 0  | 15281        lb |  0                0                0.00  |
0.59/0.67	c | 0.68      | 0  | 15618        lb |  0                0                0.00  |
0.59/0.69	c | 0.69      | 0  | 16223        lb |  0                0                0.00  |
0.69/0.70	c | 0.70      | 0  | 16383        lb |  0                0                0.00  |
0.69/0.71	c | 0.71      | 0  | 16426        lb |  0                0                0.00  |
0.69/0.72	c | 0.72      | 0  | 16454        lb |  0                0                0.00  |
0.69/0.73	c | 0.73      | 0  | 16683        lb |  0                0                0.00  |
0.69/0.74	c | 0.74      | 0  | 16918        lb |  0                0                0.00  |
0.69/0.75	c | 0.76      | 0  | 16946        lb |  0                0                0.00  |
0.69/0.76	c | 0.77      | 0  | 17163        lb |  0                0                0.00  |
0.69/0.77	c | 0.78      | 0  | 17336        lb |  0                0                0.00  |
0.69/0.78	c | 0.79      | 0  | 17571        lb |  0                0                0.00  |
0.79/0.80	c | 0.80      | 0  | 17574        lb |  0                0                0.00  |
0.79/0.81	c | 0.81      | 0  | 17722        lb |  0                0                0.00  |
0.79/0.82	c | 0.82      | 0  | 17953        lb |  0                0                0.00  |
0.79/0.83	c | 0.83      | 0  | 18188        lb |  0                0                0.00  |
0.79/0.84	c | 0.84      | 0  | 18191        lb |  0                0                0.00  |
0.79/0.85	c | 0.86      | 0  | 18296        lb |  0                0                0.00  |
0.79/0.86	c | 0.87      | 0  | 18339        lb |  0                0                0.00  |
0.79/0.87	c | 0.88      | 0  | 18574        lb |  0                0                0.00  |
0.79/0.89	c | 0.89      | 0  | 18577        lb |  0                0                0.00  |
0.89/0.90	c | 0.90      | 0  | 18645        lb |  0                0                0.00  |
0.89/0.91	c | 0.91      | 0  | 18688        lb |  0                0                0.00  |
0.89/0.92	c | 0.92      | 0  | 18716        lb |  0                0                0.00  |
0.89/0.93	c | 0.94      | 0  | 18871        lb |  0                0                0.00  |
0.89/0.94	c | 0.95      | 0  | 18933        lb |  0                0                0.00  |
0.89/0.95	c | 0.96      | 0  | 18937        lb |  0                0                0.00  |
0.89/0.97	c | 0.97      | 0  | 19092        lb |  0                0                0.00  |
0.89/0.98	c | 0.98      | 0  | 19429        lb |  0                0                0.00  |
0.89/0.99	c | 0.99      | 0  | 19586        lb |  0                0                0.00  |
0.99/1.00	c | 1.01      | 0  | 19621        lb |  0                0                0.00  |
0.99/1.02	c | 1.02      | 0  | 19878        lb |  0                0                0.00  |
0.99/1.03	c | 1.03      | 0  | 19886        lb |  0                0                0.00  |
0.99/1.04	c | 1.04      | 0  | 20371        lb |  0                0                0.00  |
0.99/1.05	c | 1.05      | 0  | 20374        lb |  0                0                0.00  |
0.99/1.06	c | 1.07      | 0  | 20417        lb |  0                0                0.00  |
0.99/1.07	c | 1.08      | 0  | 20433        lb |  0                0                0.00  |
0.99/1.09	c | 1.09      | 0  | 20674        lb |  0                0                0.00  |
0.99/1.10	c | 1.10      | 0  | 20942        lb |  0                0                0.00  |
1.09/1.11	c | 1.11      | 0  | 20954        lb |  0                0                0.00  |
1.09/1.12	c | 1.12      | 0  | 20961        lb |  0                0                0.00  |
1.09/1.13	c | 1.14      | 0  | 21045        lb |  0                0                0.00  |
1.09/1.14	c | 1.15      | 0  | 21114        lb |  0                0                0.00  |
1.09/1.16	c | 1.16      | 0  | 21466        lb |  0                0                0.00  |
1.09/1.17	c | 1.17      | 0  | 21519        lb |  0                0                0.00  |
1.09/1.18	c | 1.18      | 0  | 21529        lb |  0                0                0.00  |
1.09/1.19	c | 1.19      | 0  | 21593        lb |  0                0                0.00  |
1.18/1.20	c | 1.21      | 0  | 21597        lb |  0                0                0.00  |
1.18/1.21	c | 1.22      | 0  | 21599        lb |  0                0                0.00  |
1.18/1.23	c | 1.23      | 0  | 21706        lb |  0                0                0.00  |
1.18/1.24	c | 1.24      | 0  | 21847        lb |  0                0                0.00  |
1.18/1.25	c | 1.25      | 0  | 21854        lb |  0                0                0.00  |
1.18/1.26	c | 1.26      | 0  | 21956        lb |  0                0                0.00  |
1.18/1.27	c | 1.28      | 0  | 22000        lb |  0                0                0.00  |
1.18/1.28	c | 1.29      | 0  | 22040        lb |  0                0                0.00  |
1.29/1.30	c | 1.30      | 0  | 22073        lb |  0                0                0.00  |
1.29/1.31	c | 1.31      | 0  | 22196        lb |  0                0                0.00  |
1.29/1.32	c | 1.33      | 0  | 22340        lb |  0                0                0.00  |
1.29/1.34	c | 1.34      | 0  | 22347        lb |  0                0                0.00  |
1.29/1.35	c | 1.36      | 0  | 22410        lb |  0                0                0.00  |
1.29/1.37	c | 1.37      | 0  | 22428        lb |  0                0                0.00  |
1.29/1.38	c | 1.39      | 0  | 22432        lb |  0                0                0.00  |
1.39/1.40	c | 1.40      | 0  | 22437        lb |  0                0                0.00  |
1.39/1.41	c | 1.42      | 0  | 22490        lb |  0                0                0.00  |
1.39/1.43	c | 1.43      | 0  | 22527        lb |  0                0                0.00  |
1.39/1.44	c | 1.45      | 0  | 22566        lb |  0                0                0.00  |
1.39/1.46	c | 1.46      | 0  | 22570        lb |  0                0                0.00  |
1.39/1.47	c | 1.48      | 0  | 22607        lb |  0                0                0.00  |
1.39/1.49	c | 1.49      | 0  | 22713        lb |  0                0                0.00  |
1.49/1.50	c | 1.50      | 0  | 22752        lb |  0                0                0.00  |
1.49/1.52	c | 1.52      | 0  | 22811        lb |  0                0                0.00  |
1.49/1.53	c | 1.54      | 0  | 22814        lb |  0                0                0.00  |
1.49/1.55	c | 1.55      | 0  | 22848        lb |  0                0                0.00  |
1.49/1.56	c | 1.57      | 0  | 22864        lb |  0                0                0.00  |
1.49/1.58	c | 1.58      | 0  | 22951        lb |  0                0                0.00  |
1.49/1.59	c | 1.60      | 0  | 22959        lb |  0                0                0.00  |
1.59/1.61	c | 1.61      | 0  | 23218        lb |  0                0                0.00  |
1.59/1.63	c | 1.63      | 0  | 23232        lb |  0                0                0.00  |
1.59/1.64	c | 1.65      | 0  | 23311        lb |  0                0                0.00  |
1.59/1.66	c | 1.66      | 0  | 23338        lb |  0                0                0.00  |
1.59/1.68	c | 1.68      | 0  | 23351        lb |  0                0                0.00  |
1.59/1.69	c | 1.70      | 0  | 23371        lb |  0                0                0.00  |
1.69/1.71	c | 1.72      | 0  | 23453        lb |  0                0                0.00  |
1.69/1.73	c | 1.73      | 0  | 23478        lb |  0                0                0.00  |
1.69/1.75	c | 1.75      | 0  | 23499        lb |  0                0                0.00  |
1.69/1.76	c | 1.77      | 0  | 23588        lb |  0                0                0.00  |
1.69/1.78	c | 1.78      | 0  | 23678        lb |  0                0                0.00  |
1.79/1.80	c | 1.80      | 0  | 23681        lb |  0                0                0.00  |
1.79/1.82	c | 1.82      | 0  | 23687        lb |  0                0                0.00  |
1.79/1.83	c | 1.84      | 0  | 23736        lb |  0                0                0.00  |
1.79/1.85	c | 1.85      | 0  | 23777        lb |  0                0                0.00  |
1.79/1.87	c | 1.87      | 0  | 23788        lb |  0                0                0.00  |
1.79/1.89	c | 1.89      | 0  | 23814        lb |  0                0                0.00  |
1.89/1.90	c | 1.91      | 0  | 23822        lb |  0                0                0.00  |
1.89/1.92	c | 1.93      | 0  | 23838        lb |  0                0                0.00  |
1.89/1.94	c | 1.95      | 0  | 23982        lb |  0                0                0.00  |
1.89/1.96	c | 1.96      | 0  | 24017        lb |  0                0                0.00  |
1.89/1.98	c | 1.98      | 0  | 24062        lb |  0                0                0.00  |
1.89/1.99	c | 2.00      | 0  | 24208        lb |  0                0                0.00  |
1.99/2.01	c | 2.02      | 0  | 24288        lb |  0                0                0.00  |
1.99/2.03	c | 2.04      | 0  | 24368        lb |  0                0                0.00  |
1.99/2.05	c | 2.05      | 0  | 24488        lb |  0                0                0.00  |
1.99/2.07	c | 2.07      | 0  | 24594        lb |  0                0                0.00  |
1.99/2.09	c | 2.09      | 0  | 24615        lb |  0                0                0.00  |
2.09/2.10	c | 2.11      | 0  | 24689        lb |  0                0                0.00  |
2.09/2.12	c | 2.13      | 0  | 24753        lb |  0                0                0.00  |
2.09/2.14	c | 2.14      | 0  | 24762        lb |  0                0                0.00  |
2.09/2.16	c | 2.16      | 0  | 24787        lb |  0                0                0.00  |
2.09/2.18	c | 2.18      | 0  | 24871        lb |  0                0                0.00  |
2.09/2.20	c | 2.20      | 0  | 24940        lb |  0                0                0.00  |
2.19/2.22	c | 2.22      | 0  | 24948        lb |  0                0                0.00  |
2.19/2.24	c | 2.24      | 0  | 24956        lb |  0                0                0.00  |
2.19/2.26	c | 2.26      | 0  | 24963        lb |  0                0                0.00  |
2.19/2.28	c | 2.28      | 0  | 25027        lb |  0                0                0.00  |
2.28/2.30	c | 2.30      | 0  | 25030        lb |  0                0                0.00  |
2.28/2.32	c | 2.32      | 0  | 25046        lb |  0                0                0.00  |
2.28/2.34	c | 2.34      | 0  | 25061        lb |  0                0                0.00  |
2.28/2.36	c | 2.36      | 0  | 25062        lb |  0                0                0.00  |
2.28/2.38	c | 2.38      | 0  | 25065        lb |  0                0                0.00  |
2.39/2.40	c | 2.40      | 0  | 25067        lb |  0                0                0.00  |
2.39/2.42	c | 2.42      | 0  | 25073        lb |  0                0                0.00  |
2.39/2.44	c | 2.44      | 0  | 25084        lb |  0                0                0.00  |
2.39/2.46	c | 2.46      | 0  | 25098        lb |  0                0                0.00  |
2.39/2.48	c | 2.48      | 0  | 25134        lb |  0                0                0.00  |
2.49/2.50	c | 2.50      | 0  | 25142        lb |  0                0                0.00  |
2.49/2.52	c | 2.53      | 0  | 25186        lb |  0                0                0.00  |
2.49/2.54	c | 2.55      | 0  | 25212        lb |  0                0                0.00  |
2.49/2.56	c | 2.57      | 0  | 25219        lb |  0                0                0.00  |
2.49/2.58	c | 2.59      | 0  | 25223        lb |  0                0                0.00  |
2.59/2.61	c | 2.61      | 0  | 25230        lb |  0                0                0.00  |
2.59/2.63	c | 2.63      | 0  | 25239        lb |  0                0                0.00  |
2.59/2.65	c | 2.65      | 0  | 25252        lb |  0                0                0.00  |
2.59/2.67	c | 2.67      | 0  | 25255        lb |  0                0                0.00  |
2.59/2.69	c | 2.69      | 0  | 25272        lb |  0                0                0.00  |
2.69/2.71	c | 2.72      | 0  | 25276        lb |  0                0                0.00  |
2.69/2.73	c | 2.74      | 0  | 25278        lb |  0                0                0.00  |
2.69/2.76	c | 2.76      | 0  | 25281        lb |  0                0                0.00  |
2.69/2.78	c | 2.78      | 0  | 25284        lb |  0                0                0.00  |
2.78/2.80	c | 2.80      | 0  | 25328        lb |  0                0                0.00  |
2.78/2.82	c | 2.82      | 0  | 25407        lb |  0                0                0.00  |
2.78/2.84	c | 2.85      | 0  | 25427        lb |  0                0                0.00  |
2.78/2.86	c | 2.87      | 0  | 25438        lb |  0                0                0.00  |
2.78/2.88	c | 2.89      | 0  | 25445        lb |  0                0                0.00  |
2.88/2.91	c | 2.91      | 0  | 25465        lb |  0                0                0.00  |
2.88/2.93	c | 2.93      | 0  | 25472        lb |  0                0                0.00  |
2.88/2.95	c | 2.95      | 0  | 25478        lb |  0                0                0.00  |
2.88/2.97	c | 2.98      | 0  | 25550        lb |  0                0                0.00  |
2.88/2.99	c | 3.00      | 0  | 25585        lb |  0                0                0.00  |
2.98/3.02	c | 3.02      | 0  | 25588        lb |  0                0                0.00  |
2.98/3.04	c | 3.04      | 0  | 25598        lb |  0                0                0.00  |
2.98/3.06	c | 3.06      | 0  | 25601        lb |  0                0                0.00  |
2.98/3.08	c | 3.08      | 0  | 25622        lb |  0                0                0.00  |
3.08/3.10	c | 3.11      | 0  | 25702        lb |  0                0                0.00  |
3.08/3.13	c | 3.13      | 0  | 25724        lb |  0                0                0.00  |
3.08/3.15	c | 3.15      | 0  | 25734        lb |  0                0                0.00  |
3.08/3.17	c | 3.17      | 0  | 25742        lb |  0                0                0.00  |
3.08/3.19	c | 3.20      | 0  | 25750        lb |  0                0                0.00  |
3.19/3.22	c | 3.22      | 0  | 25767        lb |  0                0                0.00  |
3.19/3.24	c | 3.24      | 0  | 25797        lb |  0                0                0.00  |
3.19/3.26	c | 3.26      | 0  | 25812        lb |  0                0                0.00  |
3.19/3.28	c | 3.29      | 0  | 25822        lb |  0                0                0.00  |
3.29/3.30	c | 3.31      | 0  | 25826        lb |  0                0                0.00  |
3.29/3.33	c | 3.33      | 0  | 25828        lb |  0                0                0.00  |
3.29/3.35	c | 3.35      | 0  | 25837        lb |  0                0                0.00  |
3.29/3.37	c | 3.38      | 0  | 25961        lb |  0                0                0.00  |
3.29/3.40	c | 3.40      | 0  | 25975        lb |  0                0                0.00  |
3.39/3.42	c | 3.42      | 0  | 25979        lb |  0                0                0.00  |
3.39/3.44	c | 3.44      | 0  | 25987        lb |  0                0                0.00  |
3.39/3.46	c | 3.47      | 0  | 25989        lb |  0                0                0.00  |
3.39/3.49	c | 3.49      | 0  | 25990        lb |  0                0                0.00  |
3.49/3.51	c | 3.52      | 0  | 25994        lb |  0                0                0.00  |
3.49/3.53	c | 3.54      | 0  | 25995        lb |  0                0                0.00  |
3.49/3.56	c | 3.56      | 0  | 26024        lb |  0                0                0.00  |
3.49/3.58	c | 3.58      | 0  | 26054        lb |  0                0                0.00  |
3.59/3.60	c | 3.61      | 0  | 26059        lb |  0                0                0.00  |
3.59/3.63	c | 3.63      | 0  | 26203        lb |  0                0                0.00  |
3.59/3.65	c | 3.65      | 0  | 26210        lb |  0                0                0.00  |
3.59/3.67	c | 3.68      | 0  | 26214        lb |  0                0                0.00  |
3.69/3.70	c | 3.70      | 0  | 26418        lb |  0                0                0.00  |
3.69/3.72	c | 3.73      | 0  | 26421        lb |  0                0                0.00  |
3.69/3.75	c | 3.75      | 0  | 26445        lb |  0                0                0.00  |
3.69/3.77	c | 3.77      | 0  | 26584        lb |  0                0                0.00  |
3.69/3.79	c | 3.80      | 0  | 26616        lb |  0                0                0.00  |
3.79/3.82	c | 3.82      | 0  | 26640        lb |  0                0                0.00  |
3.79/3.84	c | 3.84      | 0  | 26661        lb |  0                0                0.00  |
3.79/3.86	c | 3.87      | 0  | 26675        lb |  0                0                0.00  |
3.79/3.89	c | 3.89      | 0  | 26686        lb |  0                0                0.00  |
3.88/3.91	c | 3.92      | 0  | 26688        lb |  0                0                0.00  |
3.88/3.94	c | 3.94      | 0  | 26695        lb |  0                0                0.00  |
3.88/3.96	c | 3.96      | 0  | 26719        lb |  0                0                0.00  |
3.88/3.98	c | 3.99      | 0  | 26738        lb |  0                0                0.00  |
3.98/4.01	c | 4.01      | 0  | 26743        lb |  0                0                0.00  |
3.98/4.03	c | 4.03      | 0  | 26775        lb |  0                0                0.00  |
3.98/4.05	c | 4.06      | 0  | 26777        lb |  0                0                0.00  |
3.98/4.08	c | 4.08      | 0  | 26785        lb |  0                0                0.00  |
4.08/4.10	c | 4.11      | 0  | 26786        lb |  0                0                0.00  |
4.08/4.13	c | 4.13      | 0  | 26789        lb |  0                0                0.00  |
4.08/4.15	c | 4.16      | 0  | 26797        lb |  0                0                0.00  |
4.08/4.18	c | 4.18      | 0  | 26798        lb |  0                0                0.00  |
4.18/4.20	c | 4.21      | 0  | 26799        lb |  0                0                0.00  |
4.18/4.23	c | 4.23      | 0  | 26804        lb |  0                0                0.00  |
4.18/4.25	c | 4.25      | 0  | 26836        lb |  0                0                0.00  |
4.18/4.27	c | 4.28      | 0  | 26840        lb |  0                0                0.00  |
4.18/4.30	c | 4.30      | 0  | 26848        lb |  0                0                0.00  |
4.29/4.32	c | 4.33      | 0  | 26855        lb |  0                0                0.00  |
4.29/4.35	c | 4.35      | 0  | 26856        lb |  0                0                0.00  |
4.29/4.37	c | 4.38      | 0  | 26857        lb |  0                0                0.00  |
4.29/4.40	c | 4.40      | 0  | 26933        lb |  0                0                0.00  |
4.39/4.42	c | 4.43      | 0  | 26935        lb |  0                0                0.00  |
4.39/4.45	c | 4.45      | 0  | 26938        lb |  0                0                0.00  |
4.39/4.47	c | 4.47      | 0  | 26963        lb |  0                0                0.00  |
4.49/4.50	c | 4.50      | 0  | 26964        lb |  0                0                0.00  |
4.49/4.52	c | 4.53      | 0  | 26981        lb |  0                0                0.00  |
4.49/4.55	c | 4.55      | 0  | 27004        lb |  0                0                0.00  |
4.49/4.57	c | 4.58      | 0  | 27014        lb |  0                0                0.00  |
4.59/4.60	c | 4.60      | 0  | 27019        lb |  0                0                0.00  |
4.59/4.63	c | 4.63      | 0  | 27323        lb |  0                0                0.00  |
4.68/4.77	c | 4.66      | 0  | 27334        lb |  0                0                0.00  |
4.68/4.77	c | 4.68      | 0  | 27337        lb |  0                0                0.00  |
4.68/4.77	c | 4.71      | 0  | 27345        lb |  0                0                0.00  |
4.68/4.77	c | 4.73      | 0  | 27346        lb |  0                0                0.00  |
4.68/4.77	c | 4.76      | 0  | 27353        lb |  0                0                0.00  |
4.68/4.78	c | 4.78      | 0  | 27358        lb |  0                0                0.00  |
4.78/4.81	c | 4.81      | 0  | 27359        lb |  0                0                0.00  |
4.78/4.83	c | 4.83      | 0  | 27363        lb |  0                0                0.00  |
4.78/4.86	c | 4.86      | 0  | 27365        lb |  0                0                0.00  |
4.78/4.89	c | 4.89      | 0  | 27378        lb |  0                0                0.00  |
4.88/4.91	c | 4.92      | 0  | 27384        lb |  0                0                0.00  |
4.88/4.94	c | 4.94      | 0  | 27385        lb |  0                0                0.00  |
4.88/4.96	c | 4.97      | 0  | 27389        lb |  0                0                0.00  |
4.88/4.99	c | 4.99      | 0  | 27397        lb |  0                0                0.00  |
4.98/5.02	c | 5.02      | 0  | 27401        lb |  0                0                0.00  |
4.98/5.04	c | 5.05      | 0  | 27404        lb |  0                0                0.00  |
4.98/5.07	c | 5.07      | 0  | 27411        lb |  0                0                0.00  |
5.08/5.10	c | 5.10      | 0  | 27419        lb |  0                0                0.00  |
5.08/5.12	c | 5.13      | 0  | 27454        lb |  0                0                0.00  |
5.08/5.15	c | 5.15      | 0  | 27457        lb |  0                0                0.00  |
5.08/5.18	c | 5.18      | 0  | 27462        lb |  0                0                0.00  |
5.18/5.20	c | 5.21      | 0  | 27467        lb |  0                0                0.00  |
5.18/5.23	c | 5.24      | 0  | 27468        lb |  0                0                0.00  |
5.18/5.26	c | 5.26      | 0  | 27469        lb |  0                0                0.00  |
5.18/5.29	c | 5.29      | 0  | 27500        lb |  0                0                0.00  |
5.28/5.31	c | 5.32      | 0  | 27504        lb |  0                0                0.00  |
5.28/5.34	c | 5.35      | 0  | 27508        lb |  0                0                0.00  |
5.28/5.37	c | 5.37      | 0  | 27513        lb |  0                0                0.00  |
5.28/5.40	c | 5.40      | 0  | 27518        lb |  0                0                0.00  |
5.39/5.43	c | 5.43      | 0  | 27521        lb |  0                0                0.00  |
5.39/5.45	c | 5.46      | 0  | 27522        lb |  0                0                0.00  |
5.39/5.48	c | 5.49      | 0  | 27523        lb |  0                0                0.00  |
5.49/5.51	c | 5.51      | 0  | 27524        lb |  0                0                0.00  |
5.49/5.54	c | 5.54      | 0  | 27525        lb |  0                0                0.00  |
5.49/5.57	c | 5.57      | 0  | 27540        lb |  0                0                0.00  |
5.49/5.60	c | 5.60      | 0  | 27541        lb |  0                0                0.00  |
5.58/5.63	c | 5.63      | 0  | 27542        lb |  0                0                0.00  |
5.58/5.65	c | 5.66      | 0  | 27543        lb |  0                0                0.00  |
5.58/5.68	c | 5.69      | 0  | 27545        lb |  0                0                0.00  |
5.68/5.71	c | 5.71      | 0  | 27546        lb |  0                0                0.00  |
5.68/5.74	c | 5.74      | 0  | 27548        lb |  0                0                0.00  |
5.68/5.77	c | 5.77      | 0  | 27556        lb |  0                0                0.00  |
5.78/5.80	c | 5.80      | 0  | 27557        lb |  0                0                0.00  |
5.78/5.83	c | 5.83      | 0  | 27564        lb |  0                0                0.00  |
5.78/5.86	c | 5.86      | 0  | 27566        lb |  0                0                0.00  |
5.78/5.89	c | 5.89      | 0  | 27582        lb |  0                0                0.00  |
5.88/5.92	c | 5.92      | 0  | 27583        lb |  0                0                0.00  |
5.88/5.95	c | 5.95      | 0  | 27613        lb |  0                0                0.00  |
5.88/5.98	c | 5.98      | 0  | 27620        lb |  0                0                0.00  |
5.98/6.00	c | 6.01      | 0  | 27634        lb |  0                0                0.00  |
5.98/6.04	c | 6.04      | 0  | 27635        lb |  0                0                0.00  |
5.98/6.06	c | 6.07      | 0  | 27648        lb |  0                0                0.00  |
5.98/6.09	c | 6.09      | 0  | 27665        lb |  0                0                0.00  |
6.08/6.12	c | 6.13      | 0  | 27667        lb |  0                0                0.00  |
6.08/6.15	c | 6.15      | 0  | 27669        lb |  0                0                0.00  |
6.08/6.18	c | 6.18      | 0  | 27670        lb |  0                0                0.00  |
6.18/6.21	c | 6.21      | 0  | 27671        lb |  0                0                0.00  |
6.18/6.24	c | 6.24      | 0  | 27675        lb |  0                0                0.00  |
6.18/6.27	c | 6.27      | 0  | 27676        lb |  0                0                0.00  |
6.18/6.29	c | 6.30      | 0  | 27681        lb |  0                0                0.00  |
6.28/6.33	c | 6.33      | 0  | 27682        lb |  0                0                0.00  |
6.28/6.36	c | 6.36      | 0  | 27759        lb |  0                0                0.00  |
6.28/6.38	c | 6.39      | 0  | 27762        lb |  0                0                0.00  |
6.38/6.41	c | 6.42      | 0  | 27765        lb |  0                0                0.00  |
6.38/6.45	c | 6.45      | 0  | 27766        lb |  0                0                0.00  |
6.38/6.48	c | 6.48      | 0  | 27767        lb |  0                0                0.00  |
6.48/6.51	c | 6.51      | 0  | 27768        lb |  0                0                0.00  |
6.48/6.54	c | 6.54      | 0  | 27769        lb |  0                0                0.00  |
6.48/6.57	c | 6.57      | 0  | 27770        lb |  0                0                0.00  |
6.48/6.60	c | 6.60      | 0  | 27773        lb |  0                0                0.00  |
6.59/6.63	c | 6.63      | 0  | 27774        lb |  0                0                0.00  |
6.59/6.66	c | 6.66      | 0  | 27776        lb |  0                0                0.00  |
6.59/6.69	c | 6.69      | 0  | 27777        lb |  0                0                0.00  |
6.68/6.72	c | 6.72      | 0  | 27779        lb |  0                0                0.00  |
6.68/6.75	c | 6.75      | 0  | 27802        lb |  0                0                0.00  |
6.68/6.78	c | 6.79      | 0  | 27803        lb |  0                0                0.00  |
6.78/6.82	c | 6.82      | 0  | 27804        lb |  0                0                0.00  |
6.78/6.85	c | 6.85      | 0  | 27813        lb |  0                0                0.00  |
6.78/6.88	c | 6.88      | 0  | 27814        lb |  0                0                0.00  |
6.88/6.91	c | 6.91      | 0  | 27823        lb |  0                0                0.00  |
6.88/6.94	c | 6.94      | 0  | 27838        lb |  0                0                0.00  |
6.88/6.97	c | 6.97      | 0  | 27846        lb |  0                0                0.00  |
6.98/7.00	c | 7.01      | 0  | 27847        lb |  0                0                0.00  |
6.98/7.04	c | 7.04      | 0  | 27848        lb |  0                0                0.00  |
6.98/7.07	c | 7.08      | 0  | 27849        lb |  0                0                0.00  |
7.08/7.10	c | 7.11      | 0  | 27921        lb |  0                0                0.00  |
7.08/7.13	c | 7.13      | 0  | 27931        lb |  0                0                0.00  |
7.08/7.16	c | 7.17      | 0  | 27937        lb |  0                0                0.00  |
7.08/7.19	c | 7.20      | 0  | 27939        lb |  0                0                0.00  |
7.18/7.22	c | 7.23      | 0  | 27940        lb |  0                0                0.00  |
7.18/7.26	c | 7.26      | 0  | 27943        lb |  0                0                0.00  |
7.18/7.29	c | 7.29      | 0  | 27950        lb |  0                0                0.00  |
7.28/7.32	c | 7.32      | 0  | 27955        lb |  0                0                0.00  |
7.28/7.35	c | 7.35      | 0  | 27957        lb |  0                0                0.00  |
7.28/7.38	c | 7.38      | 0  | 27959        lb |  0                0                0.00  |
7.38/7.41	c | 7.42      | 0  | 27960        lb |  0                0                0.00  |
7.38/7.45	c | 7.45      | 0  | 27962        lb |  0                0                0.00  |
7.38/7.48	c | 7.48      | 0  | 28069        lb |  0                0                0.00  |
7.48/7.51	c | 7.51      | 0  | 28072        lb |  0                0                0.00  |
7.48/7.54	c | 7.54      | 0  | 28074        lb |  0                0                0.00  |
7.48/7.57	c | 7.58      | 0  | 28075        lb |  0                0                0.00  |
7.59/7.60	c | 7.61      | 0  | 28077        lb |  0                0                0.00  |
7.59/7.64	c | 7.64      | 0  | 28106        lb |  0                0                0.00  |
7.59/7.67	c | 7.67      | 0  | 28107        lb |  0                0                0.00  |
7.59/7.70	c | 7.71      | 0  | 28109        lb |  0                0                0.00  |
7.69/7.73	c | 7.74      | 0  | 28110        lb |  0                0                0.00  |
7.69/7.77	c | 7.77      | 0  | 28111        lb |  0                0                0.00  |
7.78/7.80	c | 7.80      | 0  | 28112        lb |  0                0                0.00  |
7.78/7.83	c | 7.83      | 0  | 28113        lb |  0                0                0.00  |
7.78/7.86	c | 7.87      | 0  | 28114        lb |  0                0                0.00  |
7.88/7.90	c | 7.90      | 0  | 28115        lb |  0                0                0.00  |
7.88/7.93	c | 7.94      | 0  | 28132        lb |  0                0                0.00  |
7.88/7.97	c | 7.97      | 0  | 28133        lb |  0                0                0.00  |
7.98/8.00	c | 8.00      | 0  | 28136        lb |  0                0                0.00  |
7.98/8.03	c | 8.04      | 0  | 28138        lb |  0                0                0.00  |
7.98/8.06	c | 8.07      | 0  | 28139        lb |  0                0                0.00  |
8.08/8.10	c | 8.10      | 0  | 28140        lb |  0                0                0.00  |
8.08/8.13	c | 8.13      | 0  | 28143        lb |  0                0                0.00  |
8.08/8.16	c | 8.17      | 0  | 28144        lb |  0                0                0.00  |
8.18/8.20	c | 8.20      | 0  | 28145        lb |  0                0                0.00  |
8.18/8.23	c | 8.23      | 0  | 28147        lb |  0                0                0.00  |
8.18/8.26	c | 8.27      | 0  | 28152        lb |  0                0                0.00  |
8.28/8.30	c | 8.30      | 0  | 28153        lb |  0                0                0.00  |
8.28/8.33	c | 8.33      | 0  | 28161        lb |  0                0                0.00  |
8.28/8.36	c | 8.37      | 0  | 28162        lb |  0                0                0.00  |
8.38/8.40	c | 8.40      | 0  | 28165        lb |  0                0                0.00  |
8.38/8.43	c | 8.44      | 0  | 28166        lb |  0                0                0.00  |
8.38/8.47	c | 8.47      | 0  | 28167        lb |  0                0                0.00  |
8.48/8.50	c | 8.51      | 0  | 28171        lb |  0                0                0.00  |
8.48/8.54	c | 8.54      | 0  | 28172        lb |  0                0                0.00  |
8.48/8.57	c | 8.57      | 0  | 28178        lb |  0                0                0.00  |
8.58/8.61	c | 8.61      | 0  | 28179        lb |  0                0                0.00  |
8.58/8.64	c | 8.64      | 0  | 28180        lb |  0                0                0.00  |
8.58/8.68	c | 8.68      | 0  | 28181        lb |  0                0                0.00  |
8.69/8.71	c | 8.71      | 0  | 28183        lb |  0                0                0.00  |
8.69/8.75	c | 8.75      | 0  | 28184        lb |  0                0                0.00  |
8.69/8.78	c | 8.78      | 0  | 28185        lb |  0                0                0.00  |
8.79/8.82	c | 8.82      | 0  | 28186        lb |  0                0                0.00  |
8.79/8.85	c | 8.86      | 0  | 28188        lb |  0                0                0.00  |
8.79/8.89	c | 8.89      | 0  | 28193        lb |  0                0                0.00  |
8.88/8.92	c | 8.93      | 0  | 28260        lb |  0                0                0.00  |
8.88/8.96	c | 8.96      | 0  | 28261        lb |  0                0                0.00  |
8.98/9.00	c | 9.00      | 0  | 28262        lb |  0                0                0.00  |
8.98/9.03	c | 9.04      | 0  | 28263        lb |  0                0                0.00  |
8.98/9.06	c | 9.07      | 0  | 28265        lb |  0                0                0.00  |
9.08/9.10	c | 9.10      | 0  | 28266        lb |  0                0                0.00  |
9.08/9.14	c | 9.14      | 0  | 28267        lb |  0                0                0.00  |
9.08/9.17	c | 9.18      | 0  | 28268        lb |  0                0                0.00  |
9.18/9.21	c | 9.21      | 0  | 28269        lb |  0                0                0.00  |
9.18/9.24	c | 9.25      | 0  | 28270        lb |  0                0                0.00  |
9.18/9.28	c | 9.28      | 0  | 28271        lb |  0                0                0.00  |
9.28/9.32	c | 9.32      | 0  | 28272        lb |  0                0                0.00  |
9.28/9.35	c | 9.36      | 0  | 28273        lb |  0                0                0.00  |
9.28/9.39	c | 9.40      | 0  | 28274        lb |  0                0                0.00  |
9.38/9.43	c | 9.43      | 0  | 28277        lb |  0                0                0.00  |
9.38/9.47	c | 9.47      | 0  | 28278        lb |  0                0                0.00  |
9.48/9.50	c | 9.51      | 0  | 28279        lb |  0                0                0.00  |
9.48/9.54	c | 9.54      | 0  | 28280        lb |  0                0                0.00  |
9.48/9.57	c | 9.58      | 0  | 28281        lb |  0                0                0.00  |
9.58/9.61	c | 9.61      | 0  | 28287        lb |  0                0                0.00  |
9.58/9.65	c | 9.65      | 0  | 28288        lb |  0                0                0.00  |
9.58/9.68	c | 9.68      | 0  | 28289        lb |  0                0                0.00  |
9.68/9.72	c | 9.72      | 0  | 28290        lb |  0                0                0.00  |
9.68/9.76	c | 9.76      | 0  | 28294        lb |  0                0                0.00  |
9.68/9.79	c | 9.80      | 0  | 28295        lb |  0                0                0.00  |
9.78/9.83	c | 9.84      | 0  | 28296        lb |  0                0                0.00  |
9.78/9.87	c | 9.87      | 0  | 28298        lb |  0                0                0.00  |
9.88/9.91	c | 9.91      | 0  | 28299        lb |  0                0                0.00  |
9.88/9.95	c | 9.95      | 0  | 28300        lb |  0                0                0.00  |
9.88/9.99	c | 9.99      | 0  | 28301        lb |  0                0                0.00  |
9.98/10.03	c | 10.03     | 0  | 28303        lb |  0                0                0.00  |
9.98/10.07	c | 10.07     | 0  | 28304        lb |  0                0                0.00  |
10.08/10.10	c | 10.11     | 0  | 28307        lb |  0                0                0.00  |
10.08/10.14	c | 10.15     | 0  | 28308        lb |  0                0                0.00  |
10.08/10.18	c | 10.18     | 0  | 28309        lb |  0                0                0.00  |
10.18/10.22	c | 10.22     | 0  | 28315        lb |  0                0                0.00  |
10.18/10.26	c | 10.26     | 0  | 28316        lb |  0                0                0.00  |
10.28/10.30	c | 10.30     | 0  | 28320        lb |  0                0                0.00  |
10.28/10.34	c | 10.34     | 0  | 28321        lb |  0                0                0.00  |
10.28/10.38	c | 10.38     | 0  | 28322        lb |  0                0                0.00  |
10.38/10.41	c | 10.42     | 0  | 28323        lb |  0                0                0.00  |
10.38/10.45	c | 10.46     | 0  | 28324        lb |  0                0                0.00  |
10.38/10.49	c | 10.50     | 0  | 28325        lb |  0                0                0.00  |
10.48/10.53	c | 10.54     | 0  | 28326        lb |  0                0                0.00  |
10.48/10.57	c | 10.58     | 0  | 28341        lb |  0                0                0.00  |
10.58/10.61	c | 10.61     | 0  | 28342        lb |  0                0                0.00  |
10.58/10.65	c | 10.65     | 0  | 28343        lb |  0                0                0.00  |
10.58/10.69	c | 10.69     | 0  | 28345        lb |  0                0                0.00  |
10.68/10.73	c | 10.73     | 0  | 28346        lb |  0                0                0.00  |
10.68/10.77	c | 10.77     | 0  | 28347        lb |  0                0                0.00  |
10.78/10.81	c | 10.81     | 0  | 28348        lb |  0                0                0.00  |
10.78/10.85	c | 10.85     | 0  | 28352        lb |  0                0                0.00  |
10.78/10.89	c | 10.89     | 0  | 28353        lb |  0                0                0.00  |
10.89/10.93	c | 10.93     | 0  | 28355        lb |  0                0                0.00  |
10.89/10.97	c | 10.97     | 0  | 28358        lb |  0                0                0.00  |
10.98/11.00	c | 11.01     | 0  | 28359        lb |  0                0                0.00  |
10.98/11.05	c | 11.05     | 0  | 28360        lb |  0                0                0.00  |
10.98/11.09	c | 11.09     | 0  | 28361        lb |  0                0                0.00  |
11.08/11.13	c | 11.13     | 0  | 28362        lb |  0                0                0.00  |
11.08/11.17	c | 11.18     | 0  | 28363        lb |  0                0                0.00  |
11.18/11.22	c | 11.22     | 0  | 28364        lb |  0                0                0.00  |
11.18/11.26	c | 11.26     | 0  | 28365        lb |  0                0                0.00  |
11.28/11.30	c | 11.31     | 0  | 28366        lb |  0                0                0.00  |
11.28/11.34	c | 11.35     | 0  | 28368        lb |  0                0                0.00  |
11.28/11.39	c | 11.39     | 0  | 28369        lb |  0                0                0.00  |
11.38/11.43	c | 11.44     | 0  | 28370        lb |  0                0                0.00  |
11.38/11.48	c | 11.48     | 0  | 28371        lb |  0                0                0.00  |
11.48/11.52	c | 11.52     | 0  | 28373        lb |  0                0                0.00  |
11.48/11.56	c | 11.56     | 0  | 28374        lb |  0                0                0.00  |
11.58/11.60	c | 11.61     | 0  | 28375        lb |  0                0                0.00  |
11.58/11.64	c | 11.65     | 0  | 28376        lb |  0                0                0.00  |
11.58/11.68	c | 11.69     | 0  | 28378        lb |  0                0                0.00  |
11.68/11.73	c | 11.73     | 0  | 28379        lb |  0                0                0.00  |
11.68/11.77	c | 11.77     | 0  | 28380        lb |  0                0                0.00  |
11.78/11.81	c | 11.81     | 0  | 28404        lb |  0                0                0.00  |
11.78/11.85	c | 11.86     | 0  | 28405        lb |  0                0                0.00  |
11.78/11.89	c | 11.90     | 0  | 28406        lb |  0                0                0.00  |
11.88/11.94	c | 11.94     | 0  | 28407        lb |  0                0                0.00  |
11.88/11.98	c | 11.98     | 0  | 28408        lb |  0                0                0.00  |
11.99/12.03	c | 12.03     | 0  | 28409        lb |  0                0                0.00  |
11.99/12.07	c | 12.07     | 0  | 28410        lb |  0                0                0.00  |
12.09/12.11	c | 12.12     | 0  | 28411        lb |  0                0                0.00  |
12.09/12.16	c | 12.16     | 0  | 28412        lb |  0                0                0.00  |
12.18/12.20	c | 12.20     | 0  | 28414        lb |  0                0                0.00  |
12.18/12.24	c | 12.24     | 0  | 28415        lb |  0                0                0.00  |
12.18/12.29	c | 12.29     | 0  | 28416        lb |  0                0                0.00  |
12.28/12.33	c | 12.33     | 0  | 28417        lb |  0                0                0.00  |
12.28/12.37	c | 12.38     | 0  | 28418        lb |  0                0                0.00  |
12.38/12.42	c | 12.42     | 0  | 28422        lb |  0                0                0.00  |
12.38/12.46	c | 12.46     | 0  | 28423        lb |  0                0                0.00  |
12.48/12.51	c | 12.51     | 0  | 28424        lb |  0                0                0.00  |
12.48/12.55	c | 12.55     | 0  | 28425        lb |  0                0                0.00  |
12.48/12.60	c | 12.60     | 0  | 28426        lb |  0                0                0.00  |
12.58/12.64	c | 12.65     | 0  | 28427        lb |  0                0                0.00  |
12.58/12.69	c | 12.69     | 0  | 28428        lb |  0                0                0.00  |
12.68/12.73	c | 12.73     | 0  | 28430        lb |  0                0                0.00  |
12.68/12.77	c | 12.77     | 0  | 28431        lb |  0                0                0.00  |
12.78/12.82	c | 12.82     | 0  | 28432        lb |  0                0                0.00  |
12.78/12.87	c | 12.88     | 0  | 28433        lb |  0                0                0.00  |
12.87/12.92	c | 12.92     | 0  | 28434        lb |  0                0                0.00  |
12.87/12.96	c | 12.96     | 0  | 28435        lb |  0                0                0.00  |
12.97/13.01	c | 13.01     | 0  | 28436        lb |  0                0                0.00  |
12.97/13.05	c | 13.06     | 0  | 28437        lb |  0                0                0.00  |
12.97/13.10	c | 13.10     | 0  | 28438        lb |  0                0                0.00  |
13.08/13.14	c | 13.14     | 0  | 28441        lb |  0                0                0.00  |
13.08/13.18	c | 13.18     | 0  | 28442        lb |  0                0                0.00  |
13.18/13.22	c | 13.23     | 0  | 28443        lb |  0                0                0.00  |
13.18/13.27	c | 13.27     | 0  | 28444        lb |  0                0                0.00  |
13.27/13.31	c | 13.32     | 0  | 28445        lb |  0                0                0.00  |
13.27/13.36	c | 13.36     | 0  | 28446        lb |  0                0                0.00  |
13.37/13.40	c | 13.41     | 0  | 28447        lb |  0                0                0.00  |
13.37/13.45	c | 13.45     | 0  | 28454        lb |  0                0                0.00  |
13.37/13.49	c | 13.49     | 0  | 28455        lb |  0                0                0.00  |
13.48/13.54	c | 13.54     | 0  | 28456        lb |  0                0                0.00  |
13.48/13.59	c | 13.59     | 0  | 28457        lb |  0                0                0.00  |
13.58/13.63	c | 13.64     | 0  | 28458        lb |  0                0                0.00  |
13.58/13.68	c | 13.68     | 0  | 28459        lb |  0                0                0.00  |
13.68/13.73	c | 13.73     | 0  | 28460        lb |  0                0                0.00  |
13.68/13.77	c | 13.78     | 0  | 28462        lb |  0                0                0.00  |
13.78/13.82	c | 13.83     | 0  | 28463        lb |  0                0                0.00  |
13.78/13.88	c | 13.88     | 0  | 28464        lb |  0                0                0.00  |
13.88/13.92	c | 13.92     | 0  | 28466        lb |  0                0                0.00  |
13.88/13.96	c | 13.97     | 0  | 28483        lb |  0                0                0.00  |
13.97/14.02	c | 14.02     | 0  | 28484        lb |  0                0                0.00  |
13.97/14.06	c | 14.07     | 0  | 28485        lb |  0                0                0.00  |
14.07/14.11	c | 14.11     | 0  | 28492        lb |  0                0                0.00  |
14.07/14.16	c | 14.16     | 0  | 28493        lb |  0                0                0.00  |
14.18/14.20	c | 14.21     | 0  | 28494        lb |  0                0                0.00  |
14.18/14.25	c | 14.25     | 0  | 28495        lb |  0                0                0.00  |
14.18/14.29	c | 14.30     | 0  | 28496        lb |  0                0                0.00  |
14.28/14.34	c | 14.34     | 0  | 28499        lb |  0                0                0.00  |
14.28/14.38	c | 14.38     | 0  | 28500        lb |  0                0                0.00  |
14.37/14.43	c | 14.43     | 0  | 28501        lb |  0                0                0.00  |
14.37/14.47	c | 14.48     | 0  | 28502        lb |  0                0                0.00  |
14.47/14.52	c | 14.52     | 0  | 28503        lb |  0                0                0.00  |
14.47/14.57	c | 14.58     | 0  | 28504        lb |  0                0                0.00  |
14.57/14.63	c | 14.63     | 0  | 28505        lb |  0                0                0.00  |
14.57/14.68	c | 14.68     | 0  | 28506        lb |  0                0                0.00  |
14.67/14.73	c | 14.73     | 0  | 28507        lb |  0                0                0.00  |
14.67/14.78	c | 14.79     | 0  | 28508        lb |  0                0                0.00  |
14.77/14.84	c | 14.84     | 0  | 28509        lb |  0                0                0.00  |
14.77/14.88	c | 14.88     | 0  | 28515        lb |  0                0                0.00  |
14.87/14.93	c | 14.93     | 0  | 28517        lb |  0                0                0.00  |
14.87/14.98	c | 14.99     | 0  | 28518        lb |  0                0                0.00  |
14.97/15.04	c | 15.04     | 0  | 28519        lb |  0                0                0.00  |
14.97/15.09	c | 15.09     | 0  | 28520        lb |  0                0                0.00  |
15.08/15.14	c | 15.15     | 0  | 28521        lb |  0                0                0.00  |
15.08/15.19	c | 15.20     | 0  | 28522        lb |  0                0                0.00  |
15.18/15.24	c | 15.24     | 0  | 28523        lb |  0                0                0.00  |
15.18/15.29	c | 15.29     | 0  | 28525        lb |  0                0                0.00  |
15.28/15.33	c | 15.34     | 0  | 28531        lb |  0                0                0.00  |
15.28/15.38	c | 15.38     | 0  | 28532        lb |  0                0                0.00  |
15.38/15.44	c | 15.44     | 0  | 28533        lb |  0                0                0.00  |
15.38/15.48	c | 15.49     | 0  | 28534        lb |  0                0                0.00  |
15.47/15.54	c | 15.54     | 0  | 28535        lb |  0                0                0.00  |
15.47/15.59	c | 15.60     | 0  | 28536        lb |  0                0                0.00  |
15.57/15.64	c | 15.65     | 0  | 28537        lb |  0                0                0.00  |
15.57/15.69	c | 15.70     | 0  | 28539        lb |  0                0                0.00  |
15.67/15.74	c | 15.75     | 0  | 28540        lb |  0                0                0.00  |
15.67/15.79	c | 15.79     | 0  | 28542        lb |  0                0                0.00  |
15.77/15.85	c | 15.85     | 0  | 28543        lb |  0                0                0.00  |
15.87/15.90	c | 15.90     | 0  | 28544        lb |  0                0                0.00  |
15.87/15.95	c | 15.95     | 0  | 28545        lb |  0                0                0.00  |
15.97/16.01	c | 16.01     | 0  | 28546        lb |  0                0                0.00  |
15.97/16.06	c | 16.06     | 0  | 28557        lb |  0                0                0.00  |
16.07/16.12	c | 16.12     | 0  | 28558        lb |  0                0                0.00  |
16.17/16.22	c | 16.22     | 0  | 28559        lb |  0                0                0.00  |
16.17/16.28	c | 16.28     | 0  | 28560        lb |  0                0                0.00  |
16.27/16.33	c | 16.34     | 0  | 28561        lb |  0                0                0.00  |
16.27/16.40	c | 16.40     | 0  | 28562        lb |  0                0                0.00  |
16.38/16.45	c | 16.45     | 0  | 28563        lb |  0                0                0.00  |
16.47/16.50	c | 16.51     | 0  | 28564        lb |  0                0                0.00  |
16.47/16.56	c | 16.56     | 0  | 28565        lb |  0                0                0.00  |
16.58/16.62	c | 16.62     | 0  | 28566        lb |  0                0                0.00  |
16.58/16.68	c | 16.69     | 0  | 28567        lb |  0                0                0.00  |
16.68/16.74	c | 16.74     | 0  | 28568        lb |  0                0                0.00  |
16.68/16.79	c | 16.80     | 0  | 28569        lb |  0                0                0.00  |
17.38/17.44	c | 17.45     | 0  | 28570        lb |  0                0                0.00  |
17.48/17.50	c | 17.51     | 0  | 28571        lb |  0                0                0.00  |
17.48/17.55	c | 17.55     | 0  | 28573        lb |  0                0                0.00  |
17.58/17.61	c | 17.62     | 0  | 28574        lb |  0                0                0.00  |
17.58/17.67	c | 17.67     | 0  | 28575        lb |  0                0                0.00  |
17.67/17.73	c | 17.73     | 0  | 28577        lb |  0                0                0.00  |
17.67/17.79	c | 17.79     | 0  | 28578        lb |  0                0                0.00  |
19.47/19.57	c | 19.57     | 0  | 28579        lb |  0                0                0.00  |
19.57/19.63	c | 19.64     | 0  | 28581        lb |  0                0                0.00  |
19.57/19.69	c | 19.69     | 0  | 28582        lb |  0                0                0.00  |
19.68/19.75	c | 19.75     | 0  | 28583        lb |  0                0                0.00  |
19.78/19.81	c | 19.81     | 0  | 28584        lb |  0                0                0.00  |
19.78/19.87	c | 19.87     | 0  | 28585        lb |  0                0                0.00  |
19.87/19.93	c | 19.93     | 0  | 28586        lb |  0                0                0.00  |
19.97/20.00	c | 20.01     | 0  | 28587        lb |  0                0                0.00  |
19.97/20.08	c | 20.08     | 0  | 28588        lb |  0                0                0.00  |
20.07/20.13	c | 20.14     | 0  | 28589        lb |  0                0                0.00  |
20.07/20.19	c | 20.19     | 0  | 28592        lb |  0                0                0.00  |
20.17/20.24	c | 20.25     | 0  | 28593        lb |  0                0                0.00  |
20.27/20.32	c | 20.32     | 0  | 28594        lb |  0                0                0.00  |
20.27/20.38	c | 20.38     | 0  | 28598        lb |  0                0                0.00  |
20.37/20.43	c | 20.43     | 0  | 28602        lb |  0                0                0.00  |
20.37/20.49	c | 20.49     | 0  | 28603        lb |  0                0                0.00  |
20.48/20.55	c | 20.55     | 0  | 28604        lb |  0                0                0.00  |
20.58/20.61	c | 20.61     | 0  | 28605        lb |  0                0                0.00  |
20.58/20.67	c | 20.68     | 0  | 28606        lb |  0                0                0.00  |
20.68/20.73	c | 20.73     | 0  | 28607        lb |  0                0                0.00  |
20.68/20.79	c | 20.80     | 0  | 28608        lb |  0                0                0.00  |
20.78/20.86	c | 20.86     | 0  | 28609        lb |  0                0                0.00  |
20.88/20.92	c | 20.92     | 0  | 28610        lb |  0                0                0.00  |
20.88/20.98	c | 20.98     | 0  | 28611        lb |  0                0                0.00  |
25.17/25.29	c | 25.30     | 0  | 28612        lb |  0                0                0.00  |
25.27/25.39	c | 25.39     | 0  | 28613        lb |  0                0                0.00  |
25.37/25.44	c | 25.45     | 0  | 28614        lb |  0                0                0.00  |
25.47/25.51	c | 25.51     | 0  | 28615        lb |  0                0                0.00  |
25.47/25.57	c | 25.57     | 0  | 28616        lb |  0                0                0.00  |
25.57/25.64	c | 25.64     | 0  | 28619        lb |  0                0                0.00  |
25.67/25.70	c | 25.70     | 0  | 28621        lb |  0                0                0.00  |
25.67/25.76	c | 25.76     | 0  | 28623        lb |  0                0                0.00  |
25.97/26.07	c | 26.07     | 0  | 28624        lb |  0                0                0.00  |
26.07/26.13	c | 26.14     | 0  | 28625        lb |  0                0                0.00  |
26.07/26.19	c | 26.20     | 0  | 28626        lb |  0                0                0.00  |
56.44/56.54	c | 56.55     | 0  | 28627        lb |  0                0                0.00  |
56.65/56.71	c | 56.71     | 0  | 28628        lb |  0                0                0.00  |
56.65/56.77	c | 56.78     | 0  | 28629        lb |  0                0                0.00  |
77.45/77.54	c | 77.54     | 0  | 28630        lb |  0                0                0.00  |
97.44/97.56	c | 97.57     | 0  | 28631        lb |  0                0                0.00  |
97.54/97.69	c | 97.69     | 0  | 28632        lb |  0                0                0.00  |
97.64/97.76	c | 97.76     | 0  | 28633        lb |  0                0                0.00  |
97.75/97.84	c | 97.84     | 0  | 28641        lb |  0                0                0.00  |
97.75/97.90	c | 97.90     | 0  | 28642        lb |  0                0                0.00  |
97.85/97.99	c | 98.00     | 0  | 28643        lb |  0                0                0.00  |
97.94/98.07	c | 98.07     | 0  | 28644        lb |  0                0                0.00  |
98.04/98.14	c | 98.15     | 0  | 28645        lb |  0                0                0.00  |
98.14/98.21	c | 98.22     | 0  | 28646        lb |  0                0                0.00  |
98.14/98.29	c | 98.29     | 0  | 28647        lb |  0                0                0.00  |
98.24/98.36	c | 98.36     | 0  | 28648        lb |  0                0                0.00  |
98.34/98.44	c | 98.44     | 0  | 28649        lb |  0                0                0.00  |
167.92/168.02	c | 168.03    | 0  | 28650        lb |  0                0                0.00  |
168.13/168.25	c | 168.25    | 0  | 28651        lb |  0                0                0.00  |
464.30/464.57	c | 464.57    | 0  | 28652        lb |  0                0                0.00  |
464.81/465.02	c | 465.02    | 0  | 28653        lb |  0                0                0.00  |
464.81/465.07	c | 465.08    | 0  | 28657        lb |  0                0                0.00  |
473.11/473.35	c | 473.36    | 0  | 28658        lb |  0                0                0.00  |
474.11/474.38	c | 474.38    | 0  | 28659        lb |  0                0                0.00  |
474.21/474.45	c | 474.45    | 0  | 28660        lb |  0                0                0.00  |
474.31/474.52	c | 474.52    | 0  | 28661        lb |  0                0                0.00  |
474.31/474.58	c | 474.58    | 0  | 28662        lb |  0                0                0.00  |
474.41/474.65	c | 474.66    | 0  | 28663        lb |  0                0                0.00  |
474.51/474.72	c | 474.73    | 0  | 28664        lb |  0                0                0.00  |
474.51/474.79	c | 474.79    | 0  | 28665        lb |  0                0                0.00  |
474.61/474.86	c | 474.86    | 0  | 28666        lb |  0                0                0.00  |
1302.44/1302.84	c | 1302.84   | 0  | 28667        lb |  0                0                0.00  |
1303.24/1303.63	c | 1303.64   | 0  | 28668        lb |  0                0                0.00  |
1441.31/1441.74	c | 1441.75   | 0  | 28669        lb |  0                0                0.00  |
1441.61/1442.03	c | 1442.04   | 0  | 28670        lb |  0                0                0.00  |
1441.61/1442.09	c | 1442.10   | 0  | 28671        lb |  0                0                0.00  |
1441.71/1442.17	c | 1442.17   | 0  | 28672        lb |  0                0                0.00  |
1441.81/1442.25	c | 1442.25   | 0  | 28673        lb |  0                0                0.00  |
1441.91/1442.32	c | 1442.33   | 0  | 28674        lb |  0                0                0.00  |
1441.91/1442.39	c | 1442.39   | 0  | 28675        lb |  0                0                0.00  |
1442.01/1442.46	c | 1442.46   | 0  | 28676        lb |  0                0                0.00  |
1442.11/1442.52	c | 1442.53   | 0  | 28677        lb |  0                0                0.00  |
1446.50/1447.00	c | 1447.00   | 0  | 28678        lb |  0                0                0.00  |
1446.60/1447.09	c | 1447.09   | 0  | 28679        lb |  0                0                0.00  |
1446.70/1447.16	c | 1447.16   | 0  | 28680        lb |  0                0                0.00  |
1446.80/1447.23	c | 1447.23   | 0  | 28681        lb |  0                0                0.00  |
1446.90/1447.30	c | 1447.31   | 0  | 28682        lb |  0                0                0.00  |
1446.90/1447.39	c | 1447.39   | 0  | 28683        lb |  0                0                0.00  |
1447.00/1447.46	c | 1447.46   | 0  | 28684        lb |  0                0                0.00  |
1447.11/1447.53	c | 1447.54   | 0  | 28685        lb |  0                0                0.00  |
1447.21/1447.62	c | 1447.62   | 0  | 28686        lb |  0                0                0.00  |
1447.21/1447.69	c | 1447.70   | 0  | 28687        lb |  0                0                0.00  |
1447.30/1447.77	c | 1447.77   | 0  | 28688        lb |  0                0                0.00  |
1447.40/1447.83	c | 1447.84   | 0  | 28689        lb |  0                0                0.00  |
1447.50/1447.90	c | 1447.90   | 0  | 28690        lb |  0                0                0.00  |
1447.50/1447.97	c | 1447.98   | 0  | 28691        lb |  0                0                0.00  |
1447.60/1448.04	c | 1448.04   | 0  | 28692        lb |  0                0                0.00  |
1447.70/1448.11	c | 1448.11   | 0  | 28693        lb |  0                0                0.00  |
1447.70/1448.17	c | 1448.17   | 0  | 28694        lb |  0                0                0.00  |
1447.80/1448.23	c | 1448.24   | 0  | 28695        lb |  0                0                0.00  |
1447.90/1448.30	c | 1448.31   | 0  | 28696        lb |  0                0                0.00  |
1447.90/1448.37	c | 1448.37   | 0  | 28697        lb |  0                0                0.00  |
1497.69/1498.10	c | 1498.11   | 0  | 28698        lb |  0                0                0.00  |
1497.79/1498.28	c | 1498.29   | 0  | 28699        lb |  0                0                0.00  |
1497.88/1498.34	c | 1498.35   | 0  | 28700        lb |  0                0                0.00  |
1497.98/1498.43	c | 1498.43   | 0  | 28701        lb |  0                0                0.00  |
1497.98/1498.48	c | 1498.49   | 0  | 28702        lb |  0                0                0.00  |
1498.08/1498.56	c | 1498.56   | 0  | 28703        lb |  0                0                0.00  |
1498.18/1498.63	c | 1498.63   | 0  | 28705        lb |  0                0                0.00  |
1498.28/1498.70	c | 1498.70   | 0  | 28706        lb |  0                0                0.00  |
1498.28/1498.78	c | 1498.78   | 0  | 28707        lb |  0                0                0.00  |
1498.38/1498.85	c | 1498.85   | 0  | 28708        lb |  0                0                0.00  |
1498.48/1498.91	c | 1498.92   | 0  | 28709        lb |  0                0                0.00  |
1498.48/1498.98	c | 1498.99   | 0  | 28710        lb |  0                0                0.00  |
1498.58/1499.04	c | 1499.05   | 0  | 28711        lb |  0                0                0.00  |
1498.68/1499.12	c | 1499.12   | 0  | 28712        lb |  0                0                0.00  |
1498.68/1499.19	c | 1499.19   | 0  | 28713        lb |  0                0                0.00  |
1498.79/1499.26	c | 1499.27   | 0  | 28714        lb |  0                0                0.00  |
1498.89/1499.34	c | 1499.35   | 0  | 28715        lb |  0                0                0.00  |
1498.98/1499.42	c | 1499.43   | 0  | 28716        lb |  0                0                0.00  |
1499.08/1499.50	c | 1499.50   | 0  | 28717        lb |  0                0                0.00  |
1499.18/1499.61	c | 1499.62   | 0  | 28718        lb |  0                0                0.00  |
1499.28/1499.70	c | 1499.71   | 0  | 28719        lb |  0                0                0.00  |
1499.28/1499.78	c | 1499.79   | 0  | 28722        lb |  0                0                0.00  |
1499.38/1499.86	c | 1499.86   | 0  | 28723        lb |  0                0                0.00  |
1499.48/1499.94	c | 1499.94   | 0  | 28724        lb |  0                0                0.00  |
1499.58/1500.02	c | 1500.02   | 0  | 28725        lb |  0                0                0.00  |
1499.58/1500.08	c | 1500.08   | 0  | 28726        lb |  0                0                0.00  |
1523.38/1523.82	c | 1523.82   | 0  | 28727        lb |  0                0                0.00  |
1542.78/1543.29	c | 1543.30   | 0  | 28728        lb |  0                0                0.00  |
1542.97/1543.43	c | 1543.43   | 0  | 28729        lb |  0                0                0.00  |
1543.07/1543.50	c | 1543.51   | 0  | 28730        lb |  0                0                0.00  |
1555.87/1556.39	c | 1556.40   | 0  | 28731        lb |  0                0                0.00  |
1556.08/1556.51	c | 1556.52   | 0  | 28732        lb |  0                0                0.00  |
1556.08/1556.58	c | 1556.58   | 0  | 28734        lb |  0                0                0.00  |
1556.17/1556.66	c | 1556.66   | 0  | 28735        lb |  0                0                0.00  |
1556.27/1556.74	c | 1556.74   | 0  | 28736        lb |  0                0                0.00  |
1556.37/1556.84	c | 1556.84   | 0  | 28737        lb |  0                0                0.00  |
1556.47/1556.90	c | 1556.91   | 0  | 28759        lb |  0                0                0.00  |
1556.47/1556.99	c | 1557.00   | 0  | 28760        lb |  0                0                0.00  |
1556.57/1557.08	c | 1557.08   | 0  | 28761        lb |  0                0                0.00  |
1556.67/1557.15	c | 1557.16   | 0  | 28762        lb |  0                0                0.00  |
1556.77/1557.24	c | 1557.24   | 0  | 28763        lb |  0                0                0.00  |
1556.87/1557.31	c | 1557.31   | 0  | 28765        lb |  0                0                0.00  |
1556.87/1557.37	c | 1557.38   | 0  | 28766        lb |  0                0                0.00  |
1556.97/1557.44	c | 1557.44   | 0  | 28768        lb |  0                0                0.00  |
1568.77/1569.28	c | 1569.29   | 0  | 28769        lb |  0                0                0.00  |
1568.97/1569.41	c | 1569.41   | 0  | 28770        lb |  0                0                0.00  |
1568.97/1569.48	c | 1569.48   | 0  | 28771        lb |  0                0                0.00  |
1569.07/1569.57	c | 1569.57   | 0  | 28772        lb |  0                0                0.00  |
1569.18/1569.65	c | 1569.65   | 0  | 28773        lb |  0                0                0.00  |
1569.28/1569.74	c | 1569.75   | 0  | 28774        lb |  0                0                0.00  |
1569.37/1569.82	c | 1569.82   | 0  | 28775        lb |  0                0                0.00  |
1569.47/1569.90	c | 1569.91   | 0  | 28776        lb |  0                0                0.00  |
1569.47/1569.98	c | 1569.98   | 0  | 28778        lb |  0                0                0.00  |
1569.57/1570.06	c | 1570.06   | 0  | 28779        lb |  0                0                0.00  |
1569.67/1570.13	c | 1570.14   | 0  | 28780        lb |  0                0                0.00  |
1569.77/1570.22	c | 1570.22   | 0  | 28781        lb |  0                0                0.00  |
1569.77/1570.29	c | 1570.29   | 0  | 28782        lb |  0                0                0.00  |
1569.87/1570.36	c | 1570.37   | 0  | 28783        lb |  0                0                0.00  |
1569.97/1570.44	c | 1570.44   | 0  | 28784        lb |  0                0                0.00  |
1570.07/1570.51	c | 1570.52   | 0  | 28785        lb |  0                0                0.00  |
1570.07/1570.59	c | 1570.59   | 0  | 28786        lb |  0                0                0.00  |
1570.17/1570.66	c | 1570.67   | 0  | 28787        lb |  0                0                0.00  |
1570.28/1570.73	c | 1570.73   | 0  | 28789        lb |  0                0                0.00  |
1666.06/1666.56	c | 1666.57   | 0  | 28790        lb |  0                0                0.00  |
1714.85/1715.33	c | 1715.33   | 0  | 28791        lb |  0                0                0.00  |
1715.05/1715.52	c | 1715.53   | 0  | 28792        lb |  0                0                0.00  |
1715.15/1715.62	c | 1715.62   | 0  | 28793        lb |  0                0                0.00  |
1715.25/1715.71	c | 1715.71   | 0  | 28794        lb |  0                0                0.00  |
1715.25/1715.78	c | 1715.78   | 0  | 28796        lb |  0                0                0.00  |
1715.35/1715.87	c | 1715.88   | 0  | 28797        lb |  0                0                0.00  |
1715.45/1715.94	c | 1715.94   | 0  | 28798        lb |  0                0                0.00  |
1715.55/1716.03	c | 1716.04   | 0  | 28799        lb |  0                0                0.00  |
1715.65/1716.11	c | 1716.12   | 0  | 28800        lb |  0                0                0.00  |
1715.65/1716.19	c | 1716.19   | 0  | 28801        lb |  0                0                0.00  |
1715.75/1716.26	c | 1716.27   | 0  | 28802        lb |  0                0                0.00  |
1715.85/1716.35	c | 1716.36   | 0  | 28803        lb |  0                0                0.00  |
1799.53/1800.00	c ===============================================================================
1799.53/1800.00	c Wall Clock Time: 1800.00 s
1799.53/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-3705084-1338090873/watcher-3705084-1338090873 -o /tmp/evaluation-result-3705084-1338090873/solver-3705084-1338090873 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3705084-1338090873.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 2/171 16328
/proc/meminfo: memFree=29140728/32873844 swapFree=7900/7900
[pid=16328] ppid=16326 vsize=4436 CPUtime=0 cores=1,3,5,7
/proc/16328/stat : 16328 (wbo1.7) R 16326 16328 15878 0 -1 4202496 425 0 0 0 0 0 0 0 20 0 1 0 275211817 4542464 377 33554432000 4194304 5963574 140735977610736 140734635252280 5135642 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/16328/statm: 1109 377 175 432 0 450 0

[startup+0.036139 s]
/proc/loadavg: 2.00 2.00 2.00 2/171 16328
/proc/meminfo: memFree=29140728/32873844 swapFree=7900/7900
[pid=16328] ppid=16326 vsize=6360 CPUtime=0.03 cores=1,3,5,7
/proc/16328/stat : 16328 (wbo1.7) R 16326 16328 15878 0 -1 4202496 1012 0 0 0 3 0 0 0 20 0 1 0 275211817 6512640 964 33554432000 4194304 5963574 140735977610736 140734635252280 5135642 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/16328/statm: 1590 965 280 432 0 931 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 6360

[startup+0.100172 s]
/proc/loadavg: 2.00 2.00 2.00 2/171 16328
/proc/meminfo: memFree=29140728/32873844 swapFree=7900/7900
[pid=16328] ppid=16326 vsize=88776 CPUtime=0.09 cores=1,3,5,7
/proc/16328/stat : 16328 (wbo1.7) S 16326 16328 15878 0 -1 4202496 3634 0 0 0 9 0 0 0 20 0 2 0 275211817 90906624 3297 33554432000 4194304 5963574 140735977610736 140735977610256 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16328/statm: 22194 3297 195 432 0 21759 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 88776

[startup+0.300172 s]
/proc/loadavg: 2.00 2.00 2.00 2/171 16328
/proc/meminfo: memFree=29140728/32873844 swapFree=7900/7900
[pid=16328] ppid=16326 vsize=88776 CPUtime=0.29 cores=1,3,5,7
/proc/16328/stat : 16328 (wbo1.7) S 16326 16328 15878 0 -1 4202496 5860 0 0 0 28 1 0 0 20 0 2 0 275211817 90906624 5523 33554432000 4194304 5963574 140735977610736 140735977610256 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16328/statm: 22194 5523 195 432 0 21759 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 88776

[startup+0.700183 s]
/proc/loadavg: 2.00 2.00 2.00 2/171 16328
/proc/meminfo: memFree=29140728/32873844 swapFree=7900/7900
[pid=16328] ppid=16326 vsize=88776 CPUtime=0.69 cores=1,3,5,7
/proc/16328/stat : 16328 (wbo1.7) S 16326 16328 15878 0 -1 4202496 9706 0 0 0 67 2 0 0 20 0 2 0 275211817 90906624 9369 33554432000 4194304 5963574 140735977610736 140735977610256 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16328/statm: 22194 9369 195 432 0 21759 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 88776

[startup+1.50033 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16345
/proc/meminfo: memFree=29079004/32873844 swapFree=7900/7900
[pid=16328] ppid=16326 vsize=88776 CPUtime=1.49 cores=1,3,5,7
/proc/16328/stat : 16328 (wbo1.7) S 16326 16328 15878 0 -1 4202496 16439 0 0 0 145 4 0 0 20 0 2 0 275211817 90906624 16102 33554432000 4194304 5963574 140735977610736 140735977610256 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16328/statm: 22194 16102 195 432 0 21759 0
[pid=16328/tid=16338] ppid=16326 vsize=88776 CPUtime=1.41 cores=1,3,5,7
/proc/16328/task/16338/stat : 16338 (wbo1.7) R 16326 16328 15878 0 -1 4202560 14216 0 0 0 137 4 0 0 20 0 2 0 275211824 90906624 16102 33554432000 4194304 5963574 140735977610736 140083861946688 5129986 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 88776

[startup+3.10034 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16345
/proc/meminfo: memFree=29044748/32873844 swapFree=7900/7900
[pid=16328] ppid=16326 vsize=154312 CPUtime=3.08 cores=1,3,5,7
/proc/16328/stat : 16328 (wbo1.7) S 16326 16328 15878 0 -1 4202496 25558 0 0 0 303 5 0 0 20 0 2 0 275211817 158015488 25139 33554432000 4194304 5963574 140735977610736 140735977610256 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16328/statm: 38578 25139 196 432 0 38143 0
[pid=16328/tid=16338] ppid=16326 vsize=154312 CPUtime=3.01 cores=1,3,5,7
/proc/16328/task/16338/stat : 16338 (wbo1.7) R 16326 16328 15878 0 -1 4202560 23335 0 0 0 296 5 0 0 20 0 2 0 275211824 158015488 25139 33554432000 4194304 5963574 140735977610736 140083861957144 5131160 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 154312

[startup+6.30034 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16345
/proc/meminfo: memFree=28979028/32873844 swapFree=7900/7900
[pid=16328] ppid=16326 vsize=219848 CPUtime=6.28 cores=1,3,5,7
/proc/16328/stat : 16328 (wbo1.7) S 16326 16328 15878 0 -1 4202496 39224 0 0 0 620 8 0 0 20 0 2 0 275211817 225124352 38620 33554432000 4194304 5963574 140735977610736 140735977610256 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16328/statm: 54962 38620 198 432 0 54527 0
[pid=16328/tid=16338] ppid=16326 vsize=219848 CPUtime=6.21 cores=1,3,5,7
/proc/16328/task/16338/stat : 16338 (wbo1.7) R 16326 16328 15878 0 -1 4202560 37012 0 0 0 612 9 0 0 20 0 2 0 275211824 225124352 38631 33554432000 4194304 5963574 140735977610736 140083861956952 5178759 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 219848

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16345
/proc/meminfo: memFree=28880436/32873844 swapFree=7900/7900
[pid=16328] ppid=16326 vsize=285384 CPUtime=12.68 cores=1,3,5,7
/proc/16328/stat : 16328 (wbo1.7) S 16326 16328 15878 0 -1 4202496 63341 0 0 0 1255 13 0 0 20 0 2 0 275211817 292233216 59222 33554432000 4194304 5963574 140735977610736 140735977610256 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16328/statm: 71346 59222 198 432 0 70911 0
[pid=16328/tid=16338] ppid=16326 vsize=285384 CPUtime=12.61 cores=1,3,5,7
/proc/16328/task/16338/stat : 16338 (wbo1.7) R 16326 16328 15878 0 -1 4202560 61118 0 0 0 1247 14 0 0 20 0 2 0 275211824 292233216 59222 33554432000 4194304 5963574 140735977610736 140083861956952 5138266 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 285384

[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16345
/proc/meminfo: memFree=28791776/32873844 swapFree=7900/7900
[pid=16328] ppid=16326 vsize=350788 CPUtime=25.47 cores=1,3,5,7
/proc/16328/stat : 16328 (wbo1.7) S 16326 16328 15878 0 -1 4202496 88378 0 0 0 2529 18 0 0 20 0 2 0 275211817 359206912 77681 33554432000 4194304 5963574 140735977610736 140735977610256 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16328/statm: 87697 77681 198 432 0 87262 0
[pid=16328/tid=16338] ppid=16326 vsize=350788 CPUtime=25.4 cores=1,3,5,7
/proc/16328/task/16338/stat : 16338 (wbo1.7) R 16326 16328 15878 0 -1 4202560 86155 0 0 0 2522 18 0 0 20 0 2 0 275211824 359206912 77681 33554432000 4194304 5963574 140735977610736 140083861956920 5133477 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 350788

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16345
/proc/meminfo: memFree=28746360/32873844 swapFree=7900/7900
[pid=16328] ppid=16326 vsize=416324 CPUtime=51.04 cores=1,3,5,7
/proc/16328/stat : 16328 (wbo1.7) S 16326 16328 15878 0 -1 4202496 95654 0 0 0 5085 19 0 0 20 0 2 0 275211817 426315776 84219 33554432000 4194304 5963574 140735977610736 140735977610256 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16328/statm: 104081 84219 198 432 0 103646 0
[pid=16328/tid=16338] ppid=16326 vsize=416324 CPUtime=50.99 cores=1,3,5,7
/proc/16328/task/16338/stat : 16338 (wbo1.7) R 16326 16328 15878 0 -1 4202560 93431 0 0 0 5079 20 0 0 20 0 2 0 275211824 426315776 84219 33554432000 4194304 5963574 140735977610736 140083861956600 4387862 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 416324

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16345
/proc/meminfo: memFree=28723216/32873844 swapFree=7900/7900
[pid=16328] ppid=16326 vsize=416324 CPUtime=102.25 cores=1,3,5,7
/proc/16328/stat : 16328 (wbo1.7) S 16326 16328 15878 0 -1 4202496 97405 0 0 0 10205 20 0 0 20 0 2 0 275211817 426315776 85171 33554432000 4194304 5963574 140735977610736 140735977610256 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16328/statm: 104081 85171 198 432 0 103646 0
[pid=16328/tid=16338] ppid=16326 vsize=416324 CPUtime=102.19 cores=1,3,5,7
/proc/16328/task/16338/stat : 16338 (wbo1.7) R 16326 16328 15878 0 -1 4202560 95182 0 0 0 10198 21 0 0 20 0 2 0 275211824 426315776 85171 33554432000 4194304 5963574 140735977610736 140083861957144 4399971 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 416324

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16345
/proc/meminfo: memFree=28649588/32873844 swapFree=7900/7900
[pid=16328] ppid=16326 vsize=416324 CPUtime=162.23 cores=1,3,5,7
/proc/16328/stat : 16328 (wbo1.7) S 16326 16328 15878 0 -1 4202496 102706 0 0 0 16202 21 0 0 20 0 2 0 275211817 426315776 90469 33554432000 4194304 5963574 140735977610736 140735977610256 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16328/statm: 104081 90469 198 432 0 103646 0
[pid=16328/tid=16338] ppid=16326 vsize=416324 CPUtime=162.17 cores=1,3,5,7
/proc/16328/task/16338/stat : 16338 (wbo1.7) R 16326 16328 15878 0 -1 4202560 100483 0 0 0 16193 24 0 0 20 0 2 0 275211824 426315776 90469 33554432000 4194304 5963574 140735977610736 140083861956408 4399511 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 416324

[startup+222.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 16346
/proc/meminfo: memFree=28594324/32873844 swapFree=7900/7900
[pid=16328] ppid=16326 vsize=416324 CPUtime=222.22 cores=1,3,5,7
/proc/16328/stat : 16328 (wbo1.7) S 16326 16328 15878 0 -1 4202496 104901 0 0 0 22200 22 0 0 20 0 2 0 275211817 426315776 93031 33554432000 4194304 5963574 140735977610736 140735977610256 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16328/statm: 104081 93031 198 432 0 103646 0
[pid=16328/tid=16338] ppid=16326 vsize=416324 CPUtime=222.17 cores=1,3,5,7
/proc/16328/task/16338/stat : 16338 (wbo1.7) R 16326 16328 15878 0 -1 4202560 102678 0 0 0 22191 26 0 0 20 0 2 0 275211824 426315776 93031 33554432000 4194304 5963574 140735977610736 140083861957144 4222416 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 416324

[startup+282.3 s]
/proc/loadavg: 2.08 2.02 2.00 3/179 16346
/proc/meminfo: memFree=28555736/32873844 swapFree=7900/7900
[pid=16328] ppid=16326 vsize=417408 CPUtime=282.21 cores=1,3,5,7
/proc/16328/stat : 16328 (wbo1.7) S 16326 16328 15878 0 -1 4202496 108652 0 0 0 28197 24 0 0 20 0 2 0 275211817 427425792 96781 33554432000 4194304 5963574 140735977610736 140735977610256 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16328/statm: 104352 96781 198 432 0 103917 0
[pid=16328/tid=16338] ppid=16326 vsize=417408 CPUtime=282.17 cores=1,3,5,7
/proc/16328/task/16338/stat : 16338 (wbo1.7) R 16326 16328 15878 0 -1 4202560 106429 0 0 0 28188 29 0 0 20 0 2 0 275211824 427425792 96781 33554432000 4194304 5963574 140735977610736 140083861956408 4392253 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 417408

[startup+342.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/180 16349
/proc/meminfo: memFree=28485848/32873844 swapFree=7900/7900
[pid=16328] ppid=16326 vsize=483484 CPUtime=342.17 cores=1,3,5,7
/proc/16328/stat : 16328 (wbo1.7) S 16326 16328 15878 0 -1 4202496 117388 0 0 0 34186 31 0 0 20 0 2 0 275211817 495087616 105709 33554432000 4194304 5963574 140735977610736 140735977610256 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16328/statm: 120871 105709 198 432 0 120436 0
[pid=16328/tid=16338] ppid=16326 vsize=483484 CPUtime=342.13 cores=1,3,5,7
/proc/16328/task/16338/stat : 16338 (wbo1.7) R 16326 16328 15878 0 -1 4202560 115165 0 0 0 34176 37 0 0 20 0 2 0 275211824 495087616 105709 33554432000 4194304 5963574 140735977610736 140083861956408 4392504 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 483484

[startup+402.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/180 16371
/proc/meminfo: memFree=28436828/32873844 swapFree=7900/7900
[pid=16328] ppid=16326 vsize=483484 CPUtime=402.11 cores=1,3,5,7
/proc/16328/stat : 16328 (wbo1.7) S 16326 16328 15878 0 -1 4202496 122162 0 0 0 40175 36 0 0 20 0 2 0 275211817 495087616 110505 33554432000 4194304 5963574 140735977610736 140735977610256 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16328/statm: 120871 110505 198 432 0 120436 0
[pid=16328/tid=16338] ppid=16326 vsize=483484 CPUtime=402.09 cores=1,3,5,7
/proc/16328/task/16338/stat : 16338 (wbo1.7) R 16326 16328 15878 0 -1 4202560 119939 0 0 0 40166 43 0 0 20 0 2 0 275211824 495087616 110505 33554432000 4194304 5963574 140735977610736 140083861956600 4399645 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 402.11
Current children cumulated vsize (KiB) 483484

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16371
/proc/meminfo: memFree=28391964/32873844 swapFree=7900/7900
[pid=16328] ppid=16326 vsize=550104 CPUtime=462.11 cores=1,3,5,7

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

/proc/16328/task/16338/stat : 16338 (wbo1.7) R 16326 16328 15878 0 -1 4202560 162400 0 0 0 130112 88 0 0 20 0 2 0 275211824 698486784 152839 33554432000 4194304 5963574 140735977610736 140083861956472 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 682116

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16377
/proc/meminfo: memFree=27984008/32873844 swapFree=7900/7900
[pid=16328] ppid=16326 vsize=612932 CPUtime=1361.93 cores=1,3,5,7
/proc/16328/stat : 16328 (wbo1.7) S 16326 16328 15878 0 -1 4202496 166395 0 0 0 136124 69 0 0 20 0 2 0 275211817 627642368 148956 33554432000 4194304 5963574 140735977610736 140735977610256 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16328/statm: 153233 148956 198 432 0 152798 0
[pid=16328/tid=16338] ppid=16326 vsize=612932 CPUtime=1362 cores=1,3,5,7
/proc/16328/task/16338/stat : 16338 (wbo1.7) R 16326 16328 15878 0 -1 4202560 164172 0 0 0 136111 89 0 0 20 0 2 0 275211824 627642368 148956 33554432000 4194304 5963574 140735977610736 140083861957448 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 612932

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16378
/proc/meminfo: memFree=27982056/32873844 swapFree=7900/7900
[pid=16328] ppid=16326 vsize=612932 CPUtime=1421.93 cores=1,3,5,7
/proc/16328/stat : 16328 (wbo1.7) S 16326 16328 15878 0 -1 4202496 166408 0 0 0 142124 69 0 0 20 0 2 0 275211817 627642368 149438 33554432000 4194304 5963574 140735977610736 140735977610256 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16328/statm: 153233 149438 198 432 0 152798 0
[pid=16328/tid=16338] ppid=16326 vsize=612932 CPUtime=1422 cores=1,3,5,7
/proc/16328/task/16338/stat : 16338 (wbo1.7) R 16326 16328 15878 0 -1 4202560 164185 0 0 0 142110 90 0 0 20 0 2 0 275211824 627642368 149438 33554432000 4194304 5963574 140735977610736 140083861957448 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 612932

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16378
/proc/meminfo: memFree=27968472/32873844 swapFree=7900/7900
[pid=16328] ppid=16326 vsize=612932 CPUtime=1481.88 cores=1,3,5,7
/proc/16328/stat : 16328 (wbo1.7) S 16326 16328 15878 0 -1 4202496 166435 0 0 0 148119 69 0 0 20 0 2 0 275211817 627642368 149740 33554432000 4194304 5963574 140735977610736 140735977610256 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16328/statm: 153233 149740 198 432 0 152798 0
[pid=16328/tid=16338] ppid=16326 vsize=612932 CPUtime=1481.97 cores=1,3,5,7
/proc/16328/task/16338/stat : 16338 (wbo1.7) R 16326 16328 15878 0 -1 4202560 164212 0 0 0 148105 92 0 0 20 0 2 0 275211824 627642368 149740 33554432000 4194304 5963574 140735977610736 140083861957144 4378768 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 612932

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 16381
/proc/meminfo: memFree=27938696/32873844 swapFree=7900/7900
[pid=16328] ppid=16326 vsize=612932 CPUtime=1541.87 cores=1,3,5,7
/proc/16328/stat : 16328 (wbo1.7) S 16326 16328 15878 0 -1 4202496 166435 0 0 0 154118 69 0 0 20 0 2 0 275211817 627642368 149740 33554432000 4194304 5963574 140735977610736 140735977610256 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16328/statm: 153233 149740 198 432 0 152798 0
[pid=16328/tid=16338] ppid=16326 vsize=612932 CPUtime=1541.97 cores=1,3,5,7
/proc/16328/task/16338/stat : 16338 (wbo1.7) R 16326 16328 15878 0 -1 4202560 164212 0 0 0 154104 93 0 0 20 0 2 0 275211824 627642368 149740 33554432000 4194304 5963574 140735977610736 140083861957144 4399627 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 612932

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16381
/proc/meminfo: memFree=27924264/32873844 swapFree=7900/7900
[pid=16328] ppid=16326 vsize=612932 CPUtime=1601.86 cores=1,3,5,7
/proc/16328/stat : 16328 (wbo1.7) S 16326 16328 15878 0 -1 4202496 166436 0 0 0 160117 69 0 0 20 0 2 0 275211817 627642368 149740 33554432000 4194304 5963574 140735977610736 140735977610256 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16328/statm: 153233 149740 198 432 0 152798 0
[pid=16328/tid=16338] ppid=16326 vsize=612932 CPUtime=1601.97 cores=1,3,5,7
/proc/16328/task/16338/stat : 16338 (wbo1.7) R 16326 16328 15878 0 -1 4202560 164213 0 0 0 160103 94 0 0 20 0 2 0 275211824 627642368 149740 33554432000 4194304 5963574 140735977610736 140083861957144 4399627 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 612932

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16381
/proc/meminfo: memFree=27921908/32873844 swapFree=7900/7900
[pid=16328] ppid=16326 vsize=612932 CPUtime=1661.85 cores=1,3,5,7
/proc/16328/stat : 16328 (wbo1.7) S 16326 16328 15878 0 -1 4202496 166436 0 0 0 166116 69 0 0 20 0 2 0 275211817 627642368 149740 33554432000 4194304 5963574 140735977610736 140735977610256 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16328/statm: 153233 149740 198 432 0 152798 0
[pid=16328/tid=16338] ppid=16326 vsize=612932 CPUtime=1661.97 cores=1,3,5,7
/proc/16328/task/16338/stat : 16338 (wbo1.7) R 16326 16328 15878 0 -1 4202560 164213 0 0 0 166102 95 0 0 20 0 2 0 275211824 627642368 149740 33554432000 4194304 5963574 140735977610736 140083861957144 4399554 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 612932

[startup+1722.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 16382
/proc/meminfo: memFree=27900084/32873844 swapFree=7900/7900
[pid=16328] ppid=16326 vsize=612932 CPUtime=1721.84 cores=1,3,5,7
/proc/16328/stat : 16328 (wbo1.7) S 16326 16328 15878 0 -1 4202496 166436 0 0 0 172115 69 0 0 20 0 2 0 275211817 627642368 149740 33554432000 4194304 5963574 140735977610736 140735977610256 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16328/statm: 153233 149740 198 432 0 152798 0
[pid=16328/tid=16338] ppid=16326 vsize=612932 CPUtime=1721.97 cores=1,3,5,7
/proc/16328/task/16338/stat : 16338 (wbo1.7) R 16326 16328 15878 0 -1 4202560 164213 0 0 0 172101 96 0 0 20 0 2 0 275211824 627642368 149740 33554432000 4194304 5963574 140735977610736 140083861957144 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 612932

[startup+1782.3 s]
/proc/loadavg: 2.09 2.02 2.01 3/179 16382
/proc/meminfo: memFree=27888704/32873844 swapFree=7900/7900
[pid=16328] ppid=16326 vsize=612932 CPUtime=1781.84 cores=1,3,5,7
/proc/16328/stat : 16328 (wbo1.7) S 16326 16328 15878 0 -1 4202496 166436 0 0 0 178115 69 0 0 20 0 2 0 275211817 627642368 149740 33554432000 4194304 5963574 140735977610736 140735977610256 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16328/statm: 153233 149740 198 432 0 152798 0
[pid=16328/tid=16338] ppid=16326 vsize=612932 CPUtime=1781.97 cores=1,3,5,7
/proc/16328/task/16338/stat : 16338 (wbo1.7) R 16326 16328 15878 0 -1 4202560 164213 0 0 0 178100 97 0 0 20 0 2 0 275211824 627642368 149740 33554432000 4194304 5963574 140735977610736 140083861957144 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 612932

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

[startup+1791.91 s]
/proc/loadavg: 2.08 2.02 2.00 3/179 16382
/proc/meminfo: memFree=27883116/32873844 swapFree=7900/7900
[pid=16328] ppid=16326 vsize=612932 CPUtime=1791.44 cores=1,3,5,7
/proc/16328/stat : 16328 (wbo1.7) S 16326 16328 15878 0 -1 4202496 166436 0 0 0 179075 69 0 0 20 0 2 0 275211817 627642368 149740 33554432000 4194304 5963574 140735977610736 140735977610256 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16328/statm: 153233 149740 198 432 0 152798 0
[pid=16328/tid=16338] ppid=16326 vsize=612932 CPUtime=1791.58 cores=1,3,5,7
/proc/16328/task/16338/stat : 16338 (wbo1.7) R 16326 16328 15878 0 -1 4202560 164213 0 0 0 179061 97 0 0 20 0 2 0 275211824 627642368 149740 33554432000 4194304 5963574 140735977610736 140083861957144 4399462 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1791.44
Current children cumulated vsize (KiB) 612932

[startup+1795.1 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 16382
/proc/meminfo: memFree=27880248/32873844 swapFree=7900/7900
[pid=16328] ppid=16326 vsize=612932 CPUtime=1794.64 cores=1,3,5,7
/proc/16328/stat : 16328 (wbo1.7) S 16326 16328 15878 0 -1 4202496 166436 0 0 0 179395 69 0 0 20 0 2 0 275211817 627642368 149740 33554432000 4194304 5963574 140735977610736 140735977610256 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16328/statm: 153233 149740 198 432 0 152798 0
[pid=16328/tid=16338] ppid=16326 vsize=612932 CPUtime=1794.78 cores=1,3,5,7
/proc/16328/task/16338/stat : 16338 (wbo1.7) R 16326 16328 15878 0 -1 4202560 164213 0 0 0 179381 97 0 0 20 0 2 0 275211824 627642368 149740 33554432000 4194304 5963574 140735977610736 140083861957144 4399971 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1794.64
Current children cumulated vsize (KiB) 612932

[startup+1798.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 16382
/proc/meminfo: memFree=27879132/32873844 swapFree=7900/7900
[pid=16328] ppid=16326 vsize=612932 CPUtime=1797.83 cores=1,3,5,7
/proc/16328/stat : 16328 (wbo1.7) S 16326 16328 15878 0 -1 4202496 166436 0 0 0 179714 69 0 0 20 0 2 0 275211817 627642368 149740 33554432000 4194304 5963574 140735977610736 140735977610256 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16328/statm: 153233 149740 198 432 0 152798 0
[pid=16328/tid=16338] ppid=16326 vsize=612932 CPUtime=1797.98 cores=1,3,5,7
/proc/16328/task/16338/stat : 16338 (wbo1.7) R 16326 16328 15878 0 -1 4202560 164213 0 0 0 179701 97 0 0 20 0 2 0 275211824 627642368 149740 33554432000 4194304 5963574 140735977610736 140083861957144 4392365 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1797.83
Current children cumulated vsize (KiB) 612932

[startup+1799.1 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 16382
/proc/meminfo: memFree=27878512/32873844 swapFree=7900/7900
[pid=16328] ppid=16326 vsize=612932 CPUtime=1798.63 cores=1,3,5,7
/proc/16328/stat : 16328 (wbo1.7) S 16326 16328 15878 0 -1 4202496 166436 0 0 0 179794 69 0 0 20 0 2 0 275211817 627642368 149740 33554432000 4194304 5963574 140735977610736 140735977610256 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16328/statm: 153233 149740 198 432 0 152798 0
[pid=16328/tid=16338] ppid=16326 vsize=612932 CPUtime=1798.78 cores=1,3,5,7
/proc/16328/task/16338/stat : 16338 (wbo1.7) R 16326 16328 15878 0 -1 4202560 164213 0 0 0 179781 97 0 0 20 0 2 0 275211824 627642368 149740 33554432000 4194304 5963574 140735977610736 140083861957144 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1798.63
Current children cumulated vsize (KiB) 612932

[startup+1799.5 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 16382
/proc/meminfo: memFree=27877644/32873844 swapFree=7900/7900
[pid=16328] ppid=16326 vsize=612932 CPUtime=1799.04 cores=1,3,5,7
/proc/16328/stat : 16328 (wbo1.7) S 16326 16328 15878 0 -1 4202496 166436 0 0 0 179835 69 0 0 20 0 2 0 275211817 627642368 149740 33554432000 4194304 5963574 140735977610736 140735977610256 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16328/statm: 153233 149740 198 432 0 152798 0
[pid=16328/tid=16338] ppid=16326 vsize=612932 CPUtime=1799.18 cores=1,3,5,7
/proc/16328/task/16338/stat : 16338 (wbo1.7) R 16326 16328 15878 0 -1 4202560 164213 0 0 0 179821 97 0 0 20 0 2 0 275211824 627642368 149740 33554432000 4194304 5963574 140735977610736 140083861957144 4400361 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.04
Current children cumulated vsize (KiB) 612932

[startup+1799.9 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 16382
/proc/meminfo: memFree=27877644/32873844 swapFree=7900/7900
[pid=16328] ppid=16326 vsize=612932 CPUtime=1799.43 cores=1,3,5,7
/proc/16328/stat : 16328 (wbo1.7) S 16326 16328 15878 0 -1 4202496 166436 0 0 0 179874 69 0 0 20 0 2 0 275211817 627642368 149740 33554432000 4194304 5963574 140735977610736 140735977610256 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16328/statm: 153233 149740 198 432 0 152798 0
[pid=16328/tid=16338] ppid=16326 vsize=612932 CPUtime=1799.58 cores=1,3,5,7
/proc/16328/task/16338/stat : 16338 (wbo1.7) R 16326 16328 15878 0 -1 4202560 164213 0 0 0 179861 97 0 0 20 0 2 0 275211824 627642368 149740 33554432000 4194304 5963574 140735977610736 140083861957144 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.43
Current children cumulated vsize (KiB) 612932

[startup+1800 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 16382
/proc/meminfo: memFree=27877644/32873844 swapFree=7900/7900
[pid=16328] ppid=16326 vsize=612932 CPUtime=1799.53 cores=1,3,5,7
/proc/16328/stat : 16328 (wbo1.7) S 16326 16328 15878 0 -1 4202496 166436 0 0 0 179884 69 0 0 20 0 2 0 275211817 627642368 149740 33554432000 4194304 5963574 140735977610736 140735977610256 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16328/statm: 153233 149740 198 432 0 152798 0
[pid=16328/tid=16338] ppid=16326 vsize=612932 CPUtime=1799.68 cores=1,3,5,7
/proc/16328/task/16338/stat : 16338 (wbo1.7) R 16326 16328 15878 0 -1 4202560 164213 0 0 0 179871 97 0 0 20 0 2 0 275211824 627642368 149740 33554432000 4194304 5963574 140735977610736 140083861957144 4399462 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.53
Current children cumulated vsize (KiB) 612932

Child status: 255
Real time (s): 1800.01
CPU time (s): 1799.77
CPU user time (s): 1798.78
CPU system time (s): 0.986849
CPU usage (%): 99.9868
Max. virtual memory (cumulated for all children) (KiB): 682116

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.78
system time used= 0.986849
maximum resident set size= 618152
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 166436
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= 161
involuntary context switches= 3317

runsolver used 3.33749 second user time and 9.42957 second system time

The end

Launcher Data

Begin job on node137 at 2012-05-27 05:54:33
IDJOB=3705084
IDBENCH=2008
IDSOLVER=2283
FILE ID=node137/3705084-1338090873
RUNJOBID= node137-1338083671-15895
PBS_JOBID= 14624423
Free space on /tmp= 71492 MiB

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

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

MD5SUM BENCH= c3720ea5d84e92b781414b36064971fe
RANDOM SEED=1577782256

node137.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.600
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.20
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.600
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.600
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
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.600
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.600
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.600
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.90
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.600
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.600
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:        29140620 kB
Buffers:          306344 kB
Cached:          2594668 kB
SwapCached:        22060 kB
Active:           772708 kB
Inactive:        2152964 kB
Active(anon):       3716 kB
Inactive(anon):    22684 kB
Active(file):     768992 kB
Inactive(file):  2130280 kB
Unevictable:        7900 kB
Mlocked:            7900 kB
SwapTotal:      67108856 kB
SwapFree:       67081508 kB
Dirty:              6228 kB
Writeback:             0 kB
AnonPages:         92852 kB
Mapped:             9248 kB
Shmem:                 0 kB
Slab:             666004 kB
SReclaimable:     107492 kB
SUnreclaim:       558512 kB
KernelStack:        1488 kB
PageTables:         3944 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     104648 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     81920 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= 71484 MiB
End job on node137 at 2012-05-27 06:24:33