Trace number 3727881

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
wbo 1.72? 1799.99 1800.01

General information on the benchmark

Name/OPT-SMALLINT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_unif_50null0mast_rapportOE1.0_TMAX180_K67_cod2.opb
MD5SUM4555e70390d674ec14d0ef1e0b38ebad
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-33662
Best CPU time to get the best result obtained on this benchmark1800.03
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables40937
Total number of constraints41436
Number of constraints which are clauses40882
Number of constraints which are cardinality constraints (but not clauses)67
Number of constraints which are nor clauses,nor cardinality constraints487
Minimum length of a constraint1
Maximum length of a constraint8416
Number of terms in the objective function 243
Biggest coefficient in the objective function 998
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 136517
Number of bits of the sum of numbers in the objective function 18
Biggest number in a constraint 998
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 136517
Number of bits of the biggest sum of numbers18
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

0.00/0.00	c ==============================[ Solver Version ]===============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |   wbo:                     1.72 beta - May, 2012                            |
0.00/0.00	c |                                                                             |
0.00/0.00	c Parsing opb file format. File HOME/instance-3727881-1338672885.opb.
0.00/0.00	c Instance file HOME/instance-3727881-1338672885.opb
0.00/0.00	c File size is 2492102 bytes.
0.09/0.19	c Cost Offset: -136517
0.09/0.19	c Highest Coefficient sum: 12446
0.09/0.19	c ============================[ Problem Statistics ]=============================
0.09/0.19	c |                                                                             |
0.09/0.19	c |  Parsing time:          0.20         s                                      |
0.09/0.19	c |  Number Variables:      40937                                               |
0.09/0.19	c |  Number Clauses:        40882                                               |
0.09/0.19	c |  Number Cardinality:    553                                                 |
0.09/0.19	c |  Number PB Constraints: 1                                                   |
0.09/0.19	c |                                                                             |
0.19/0.23	c |  Problem Type:          Optimization                                        |
0.19/0.23	c |  Objective Function:    PB Constraint                                       |
0.19/0.23	c |                                                                             |
0.19/0.23	c ============================[ Search Statistics ]==============================
0.19/0.23	c | Time (s)  | ID |      Bound      |               Shared Clauses             |
0.19/0.23	c |           |    | value      type |  expCls         impCls        Lit/impCl  |
0.19/0.23	c ===============================================================================
0.19/0.27	c | 0.27      | 0  | -136515      lb |  0                0                0.00  |
0.29/0.31	c | 0.31      | 0  | -136513      lb |  0                0                0.00  |
0.29/0.34	c | 0.35      | 0  | -136510      lb |  0                0                0.00  |
0.29/0.38	c | 0.38      | 0  | -136501      lb |  0                0                0.00  |
0.39/0.41	c | 0.42      | 0  | -136494      lb |  0                0                0.00  |
0.39/0.45	c | 0.45      | 0  | -136471      lb |  0                0                0.00  |
0.39/0.48	c | 0.49      | 0  | -136457      lb |  0                0                0.00  |
0.49/0.52	c | 0.52      | 0  | -136455      lb |  0                0                0.00  |
0.49/0.56	c | 0.56      | 0  | -136440      lb |  0                0                0.00  |
0.49/0.59	c | 0.60      | 0  | -136429      lb |  0                0                0.00  |
0.59/0.63	c | 0.64      | 0  | -136427      lb |  0                0                0.00  |
0.59/0.67	c | 0.67      | 0  | -136419      lb |  0                0                0.00  |
0.68/0.71	c | 0.71      | 0  | -136417      lb |  0                0                0.00  |
0.68/0.75	c | 0.75      | 0  | -136415      lb |  0                0                0.00  |
0.68/0.78	c | 0.79      | 0  | -136410      lb |  0                0                0.00  |
0.79/0.82	c | 0.83      | 0  | -136409      lb |  0                0                0.00  |
0.79/0.86	c | 0.87      | 0  | -136402      lb |  0                0                0.00  |
0.89/0.90	c | 0.91      | 0  | -136400      lb |  0                0                0.00  |
0.89/0.94	c | 0.95      | 0  | -136399      lb |  0                0                0.00  |
0.89/0.98	c | 0.99      | 0  | -136396      lb |  0                0                0.00  |
0.99/1.02	c | 1.03      | 0  | -136386      lb |  0                0                0.00  |
0.99/1.06	c | 1.07      | 0  | -136364      lb |  0                0                0.00  |
1.09/1.11	c | 1.11      | 0  | -136363      lb |  0                0                0.00  |
1.09/1.15	c | 1.15      | 0  | -136345      lb |  0                0                0.00  |
1.09/1.19	c | 1.20      | 0  | -136340      lb |  0                0                0.00  |
1.18/1.23	c | 1.24      | 0  | -136325      lb |  0                0                0.00  |
1.18/1.28	c | 1.28      | 0  | -136319      lb |  0                0                0.00  |
1.28/1.32	c | 1.32      | 0  | -136306      lb |  0                0                0.00  |
1.28/1.36	c | 1.36      | 0  | -136305      lb |  0                0                0.00  |
1.38/1.41	c | 1.41      | 0  | -136302      lb |  0                0                0.00  |
1.38/1.45	c | 1.45      | 0  | -136295      lb |  0                0                0.00  |
1.38/1.49	c | 1.50      | 0  | -136292      lb |  0                0                0.00  |
1.48/1.54	c | 1.54      | 0  | -136290      lb |  0                0                0.00  |
1.48/1.58	c | 1.59      | 0  | -136283      lb |  0                0                0.00  |
1.59/1.63	c | 1.63      | 0  | -136275      lb |  0                0                0.00  |
1.59/1.67	c | 1.68      | 0  | -136268      lb |  0                0                0.00  |
1.69/1.72	c | 1.72      | 0  | -136255      lb |  0                0                0.00  |
1.69/1.76	c | 1.76      | 0  | -136254      lb |  0                0                0.00  |
1.78/1.81	c | 1.81      | 0  | -136251      lb |  0                0                0.00  |
1.78/1.85	c | 1.86      | 0  | -136250      lb |  0                0                0.00  |
1.88/1.90	c | 1.90      | 0  | -136249      lb |  0                0                0.00  |
1.88/1.94	c | 1.95      | 0  | -136247      lb |  0                0                0.00  |
1.88/1.99	c | 1.99      | 0  | -136242      lb |  0                0                0.00  |
1.98/2.04	c | 2.04      | 0  | -136241      lb |  0                0                0.00  |
1.98/2.08	c | 2.09      | 0  | -136239      lb |  0                0                0.00  |
2.09/2.13	c | 2.13      | 0  | -136238      lb |  0                0                0.00  |
2.09/2.18	c | 2.18      | 0  | -136225      lb |  0                0                0.00  |
2.19/2.22	c | 2.23      | 0  | -136214      lb |  0                0                0.00  |
2.19/2.27	c | 2.27      | 0  | -136211      lb |  0                0                0.00  |
2.29/2.32	c | 2.32      | 0  | -136209      lb |  0                0                0.00  |
2.29/2.36	c | 2.37      | 0  | -136193      lb |  0                0                0.00  |
2.38/2.41	c | 2.42      | 0  | -136184      lb |  0                0                0.00  |
2.38/2.46	c | 2.46      | 0  | -136167      lb |  0                0                0.00  |
2.48/2.51	c | 2.51      | 0  | -136161      lb |  0                0                0.00  |
2.48/2.56	c | 2.56      | 0  | -136158      lb |  0                0                0.00  |
2.58/2.60	c | 2.61      | 0  | -136157      lb |  0                0                0.00  |
2.58/2.65	c | 2.65      | 0  | -136153      lb |  0                0                0.00  |
2.68/2.70	c | 2.70      | 0  | -136152      lb |  0                0                0.00  |
2.68/2.75	c | 2.75      | 0  | -136145      lb |  0                0                0.00  |
2.79/2.80	c | 2.80      | 0  | -136142      lb |  0                0                0.00  |
2.79/2.85	c | 2.85      | 0  | -136138      lb |  0                0                0.00  |
2.89/2.90	c | 2.90      | 0  | -136132      lb |  0                0                0.00  |
2.89/2.95	c | 2.95      | 0  | -136128      lb |  0                0                0.00  |
2.99/3.00	c | 3.00      | 0  | -136124      lb |  0                0                0.00  |
2.99/3.04	c | 3.05      | 0  | -136116      lb |  0                0                0.00  |
3.08/3.10	c | 3.10      | 0  | -136114      lb |  0                0                0.00  |
3.08/3.15	c | 3.15      | 0  | -136108      lb |  0                0                0.00  |
3.08/3.20	c | 3.20      | 0  | -136103      lb |  0                0                0.00  |
3.19/3.25	c | 3.25      | 0  | -136100      lb |  0                0                0.00  |
3.19/3.30	c | 3.30      | 0  | -136096      lb |  0                0                0.00  |
3.29/3.35	c | 3.35      | 0  | -136088      lb |  0                0                0.00  |
3.39/3.40	c | 3.40      | 0  | -136086      lb |  0                0                0.00  |
3.39/3.45	c | 3.45      | 0  | -136077      lb |  0                0                0.00  |
3.48/3.50	c | 3.51      | 0  | -136072      lb |  0                0                0.00  |
3.48/3.55	c | 3.56      | 0  | -136067      lb |  0                0                0.00  |
3.58/3.60	c | 3.61      | 0  | -136065      lb |  0                0                0.00  |
3.58/3.65	c | 3.66      | 0  | -136063      lb |  0                0                0.00  |
3.68/3.71	c | 3.71      | 0  | -136052      lb |  0                0                0.00  |
3.68/3.76	c | 3.76      | 0  | -136050      lb |  0                0                0.00  |
3.78/3.81	c | 3.81      | 0  | -136046      lb |  0                0                0.00  |
3.78/3.86	c | 3.87      | 0  | -136044      lb |  0                0                0.00  |
3.88/3.91	c | 3.92      | 0  | -136043      lb |  0                0                0.00  |
3.88/3.97	c | 3.97      | 0  | -136042      lb |  0                0                0.00  |
3.98/4.02	c | 4.02      | 0  | -136041      lb |  0                0                0.00  |
3.98/4.07	c | 4.08      | 0  | -136027      lb |  0                0                0.00  |
4.08/4.13	c | 4.13      | 0  | -136023      lb |  0                0                0.00  |
4.08/4.18	c | 4.18      | 0  | -136021      lb |  0                0                0.00  |
4.18/4.23	c | 4.24      | 0  | -136017      lb |  0                0                0.00  |
4.18/4.29	c | 4.29      | 0  | -136014      lb |  0                0                0.00  |
4.28/4.34	c | 4.35      | 0  | -135998      lb |  0                0                0.00  |
4.28/4.40	c | 4.40      | 0  | -135995      lb |  0                0                0.00  |
4.38/4.45	c | 4.46      | 0  | -135993      lb |  0                0                0.00  |
4.49/4.51	c | 4.51      | 0  | -135987      lb |  0                0                0.00  |
4.49/4.56	c | 4.56      | 0  | -135986      lb |  0                0                0.00  |
4.59/4.61	c | 4.62      | 0  | -135984      lb |  0                0                0.00  |
4.59/4.67	c | 4.67      | 0  | -135979      lb |  0                0                0.00  |
4.69/4.79	c | 4.73      | 0  | -135971      lb |  0                0                0.00  |
4.69/4.79	c | 4.79      | 0  | -135963      lb |  0                0                0.00  |
4.78/4.84	c | 4.84      | 0  | -135961      lb |  0                0                0.00  |
4.78/4.89	c | 4.90      | 0  | -135960      lb |  0                0                0.00  |
4.88/4.95	c | 4.96      | 0  | -135956      lb |  0                0                0.00  |
4.98/5.01	c | 5.01      | 0  | -135951      lb |  0                0                0.00  |
4.98/5.06	c | 5.07      | 0  | -135939      lb |  0                0                0.00  |
5.08/5.12	c | 5.12      | 0  | -135938      lb |  0                0                0.00  |
5.08/5.18	c | 5.18      | 0  | -135932      lb |  0                0                0.00  |
5.18/5.23	c | 5.24      | 0  | -135920      lb |  0                0                0.00  |
5.18/5.29	c | 5.29      | 0  | -135906      lb |  0                0                0.00  |
5.28/5.34	c | 5.35      | 0  | -135904      lb |  0                0                0.00  |
5.39/5.40	c | 5.41      | 0  | -135902      lb |  0                0                0.00  |
5.39/5.46	c | 5.46      | 0  | -135901      lb |  0                0                0.00  |
5.49/5.52	c | 5.52      | 0  | -135899      lb |  0                0                0.00  |
5.49/5.57	c | 5.58      | 0  | -135898      lb |  0                0                0.00  |
5.58/5.63	c | 5.63      | 0  | -135892      lb |  0                0                0.00  |
5.58/5.69	c | 5.69      | 0  | -135891      lb |  0                0                0.00  |
5.68/5.75	c | 5.75      | 0  | -135890      lb |  0                0                0.00  |
5.78/5.80	c | 5.81      | 0  | -135880      lb |  0                0                0.00  |
5.78/5.86	c | 5.87      | 0  | -135878      lb |  0                0                0.00  |
5.88/5.92	c | 5.92      | 0  | -135876      lb |  0                0                0.00  |
5.88/5.98	c | 5.98      | 0  | -135875      lb |  0                0                0.00  |
5.98/6.04	c | 6.04      | 0  | -135872      lb |  0                0                0.00  |
6.09/6.10	c | 6.10      | 0  | -135871      lb |  0                0                0.00  |
6.09/6.15	c | 6.16      | 0  | -135869      lb |  0                0                0.00  |
6.19/6.21	c | 6.22      | 0  | -135864      lb |  0                0                0.00  |
6.19/6.27	c | 6.27      | 0  | -135858      lb |  0                0                0.00  |
6.29/6.33	c | 6.33      | 0  | -135841      lb |  0                0                0.00  |
6.29/6.39	c | 6.39      | 0  | -135840      lb |  0                0                0.00  |
6.39/6.45	c | 6.45      | 0  | -135837      lb |  0                0                0.00  |
6.49/6.51	c | 6.51      | 0  | -135835      lb |  0                0                0.00  |
6.49/6.57	c | 6.57      | 0  | -135833      lb |  0                0                0.00  |
6.59/6.63	c | 6.63      | 0  | -135827      lb |  0                0                0.00  |
6.59/6.69	c | 6.69      | 0  | -135826      lb |  0                0                0.00  |
6.68/6.75	c | 6.75      | 0  | -135819      lb |  0                0                0.00  |
6.78/6.81	c | 6.81      | 0  | -135812      lb |  0                0                0.00  |
6.78/6.87	c | 6.87      | 0  | -135805      lb |  0                0                0.00  |
6.88/6.93	c | 6.93      | 0  | -135804      lb |  0                0                0.00  |
6.88/6.98	c | 6.99      | 0  | -135799      lb |  0                0                0.00  |
6.98/7.05	c | 7.05      | 0  | -135798      lb |  0                0                0.00  |
7.08/7.11	c | 7.11      | 0  | -135791      lb |  0                0                0.00  |
7.08/7.16	c | 7.17      | 0  | -135789      lb |  0                0                0.00  |
7.19/7.23	c | 7.23      | 0  | -135788      lb |  0                0                0.00  |
7.19/7.29	c | 7.29      | 0  | -135785      lb |  0                0                0.00  |
7.28/7.35	c | 7.35      | 0  | -135782      lb |  0                0                0.00  |
7.38/7.41	c | 7.41      | 0  | -135779      lb |  0                0                0.00  |
7.38/7.47	c | 7.47      | 0  | -135778      lb |  0                0                0.00  |
7.48/7.53	c | 7.53      | 0  | -135770      lb |  0                0                0.00  |
7.48/7.59	c | 7.59      | 0  | -135757      lb |  0                0                0.00  |
7.59/7.65	c | 7.65      | 0  | -135752      lb |  0                0                0.00  |
7.69/7.71	c | 7.72      | 0  | -135748      lb |  0                0                0.00  |
7.69/7.77	c | 7.78      | 0  | -135747      lb |  0                0                0.00  |
7.79/7.84	c | 7.84      | 0  | -135745      lb |  0                0                0.00  |
7.89/7.90	c | 7.90      | 0  | -135736      lb |  0                0                0.00  |
7.89/7.96	c | 7.96      | 0  | -135735      lb |  0                0                0.00  |
7.98/8.02	c | 8.02      | 0  | -135734      lb |  0                0                0.00  |
7.98/8.08	c | 8.09      | 0  | -135732      lb |  0                0                0.00  |
8.08/8.15	c | 8.15      | 0  | -135731      lb |  0                0                0.00  |
8.18/8.22	c | 8.22      | 0  | -135730      lb |  0                0                0.00  |
8.18/8.29	c | 8.30      | 0  | -135729      lb |  0                0                0.00  |
8.28/8.37	c | 8.37      | 0  | -135727      lb |  0                0                0.00  |
8.38/8.44	c | 8.45      | 0  | -135725      lb |  0                0                0.00  |
8.48/8.52	c | 8.53      | 0  | -135724      lb |  0                0                0.00  |
8.58/8.60	c | 8.61      | 0  | -135723      lb |  0                0                0.00  |
8.58/8.69	c | 8.69      | 0  | -135722      lb |  0                0                0.00  |
8.69/8.77	c | 8.77      | 0  | -135721      lb |  0                0                0.00  |
8.79/8.85	c | 8.85      | 0  | -135719      lb |  0                0                0.00  |
8.88/8.93	c | 8.93      | 0  | -135718      lb |  0                0                0.00  |
8.98/9.01	c | 9.02      | 0  | -135716      lb |  0                0                0.00  |
8.98/9.09	c | 9.10      | 0  | -135715      lb |  0                0                0.00  |
9.08/9.18	c | 9.18      | 0  | -135712      lb |  0                0                0.00  |
9.18/9.27	c | 9.27      | 0  | -135711      lb |  0                0                0.00  |
9.28/9.35	c | 9.36      | 0  | -135710      lb |  0                0                0.00  |
9.39/9.44	c | 9.45      | 0  | -135709      lb |  0                0                0.00  |
9.48/9.53	c | 9.53      | 0  | -135708      lb |  0                0                0.00  |
9.58/9.62	c | 9.63      | 0  | -135707      lb |  0                0                0.00  |
9.68/9.72	c | 9.72      | 0  | -135706      lb |  0                0                0.00  |
9.79/9.81	c | 9.81      | 0  | -135704      lb |  0                0                0.00  |
9.89/9.91	c | 9.91      | 0  | -135700      lb |  0                0                0.00  |
9.98/10.00	c | 10.00     | 0  | -135698      lb |  0                0                0.00  |
10.08/10.11	c | 10.11     | 0  | -135697      lb |  0                0                0.00  |
10.18/10.21	c | 10.21     | 0  | -135696      lb |  0                0                0.00  |
10.28/10.31	c | 10.32     | 0  | -135695      lb |  0                0                0.00  |
10.38/10.41	c | 10.42     | 0  | -135694      lb |  0                0                0.00  |
10.48/10.52	c | 10.53     | 0  | -135693      lb |  0                0                0.00  |
10.58/10.63	c | 10.63     | 0  | -135692      lb |  0                0                0.00  |
10.68/10.74	c | 10.74     | 0  | -135691      lb |  0                0                0.00  |
10.78/10.84	c | 10.85     | 0  | -135690      lb |  0                0                0.00  |
10.89/10.95	c | 10.96     | 0  | -135688      lb |  0                0                0.00  |
10.99/11.06	c | 11.06     | 0  | -135687      lb |  0                0                0.00  |
11.08/11.17	c | 11.17     | 0  | -135686      lb |  0                0                0.00  |
11.18/11.27	c | 11.28     | 0  | -135684      lb |  0                0                0.00  |
11.28/11.39	c | 11.39     | 0  | -135683      lb |  0                0                0.00  |
11.48/11.50	c | 11.51     | 0  | -135682      lb |  0                0                0.00  |
11.58/11.62	c | 11.62     | 0  | -135681      lb |  0                0                0.00  |
11.68/11.74	c | 11.74     | 0  | -135680      lb |  0                0                0.00  |
11.78/11.86	c | 11.86     | 0  | -135679      lb |  0                0                0.00  |
11.88/11.98	c | 11.98     | 0  | -135678      lb |  0                0                0.00  |
11.98/12.09	c | 12.10     | 0  | -135677      lb |  0                0                0.00  |
12.18/12.21	c | 12.22     | 0  | -135674      lb |  0                0                0.00  |
12.28/12.33	c | 12.33     | 0  | -135673      lb |  0                0                0.00  |
12.38/12.45	c | 12.46     | 0  | -135672      lb |  0                0                0.00  |
12.48/12.58	c | 12.58     | 0  | -135671      lb |  0                0                0.00  |
12.68/12.70	c | 12.71     | 0  | -135670      lb |  0                0                0.00  |
12.78/12.82	c | 12.83     | 0  | -135667      lb |  0                0                0.00  |
12.88/12.95	c | 12.96     | 0  | -135666      lb |  0                0                0.00  |
12.98/13.08	c | 13.09     | 0  | -135665      lb |  0                0                0.00  |
13.18/13.22	c | 13.22     | 0  | -135664      lb |  0                0                0.00  |
13.28/13.35	c | 13.35     | 0  | -135663      lb |  0                0                0.00  |
13.37/13.48	c | 13.48     | 0  | -135662      lb |  0                0                0.00  |
13.58/13.61	c | 13.61     | 0  | -135661      lb |  0                0                0.00  |
13.68/13.74	c | 13.74     | 0  | -135660      lb |  0                0                0.00  |
13.78/13.87	c | 13.88     | 0  | -135659      lb |  0                0                0.00  |
13.98/14.00	c | 14.01     | 0  | -135658      lb |  0                0                0.00  |
14.08/14.14	c | 14.14     | 0  | -135657      lb |  0                0                0.00  |
14.18/14.27	c | 14.28     | 0  | -135656      lb |  0                0                0.00  |
14.38/14.41	c | 14.41     | 0  | -135655      lb |  0                0                0.00  |
14.48/14.55	c | 14.55     | 0  | -135654      lb |  0                0                0.00  |
14.58/14.68	c | 14.69     | 0  | -135653      lb |  0                0                0.00  |
14.78/14.82	c | 14.82     | 0  | -135652      lb |  0                0                0.00  |
14.88/14.96	c | 14.96     | 0  | -135651      lb |  0                0                0.00  |
15.08/15.10	c | 15.10     | 0  | -135650      lb |  0                0                0.00  |
15.18/15.24	c | 15.24     | 0  | -135649      lb |  0                0                0.00  |
15.28/15.38	c | 15.38     | 0  | -135648      lb |  0                0                0.00  |
15.48/15.52	c | 15.53     | 0  | -135647      lb |  0                0                0.00  |
15.57/15.66	c | 15.67     | 0  | -135646      lb |  0                0                0.00  |
15.77/15.80	c | 15.81     | 0  | -135645      lb |  0                0                0.00  |
15.88/15.94	c | 15.95     | 0  | -135644      lb |  0                0                0.00  |
15.98/16.09	c | 16.09     | 0  | -135643      lb |  0                0                0.00  |
16.18/16.23	c | 16.23     | 0  | -135642      lb |  0                0                0.00  |
16.28/16.37	c | 16.38     | 0  | -135641      lb |  0                0                0.00  |
16.49/16.52	c | 16.52     | 0  | -135640      lb |  0                0                0.00  |
16.58/16.66	c | 16.66     | 0  | -135639      lb |  0                0                0.00  |
16.78/16.81	c | 16.81     | 0  | -135638      lb |  0                0                0.00  |
16.88/16.95	c | 16.96     | 0  | -135637      lb |  0                0                0.00  |
17.08/17.10	c | 17.10     | 0  | -135636      lb |  0                0                0.00  |
17.18/17.24	c | 17.25     | 0  | -135635      lb |  0                0                0.00  |
17.28/17.39	c | 17.39     | 0  | -135634      lb |  0                0                0.00  |
17.48/17.53	c | 17.54     | 0  | -135633      lb |  0                0                0.00  |
17.58/17.68	c | 17.69     | 0  | -135632      lb |  0                0                0.00  |
17.78/17.84	c | 17.84     | 0  | -135631      lb |  0                0                0.00  |
17.87/17.99	c | 17.99     | 0  | -135630      lb |  0                0                0.00  |
18.07/18.14	c | 18.15     | 0  | -135629      lb |  0                0                0.00  |
18.17/18.29	c | 18.29     | 0  | -135628      lb |  0                0                0.00  |
18.38/18.44	c | 18.44     | 0  | -135627      lb |  0                0                0.00  |
18.48/18.59	c | 18.59     | 0  | -135626      lb |  0                0                0.00  |
18.69/18.74	c | 18.74     | 0  | -135625      lb |  0                0                0.00  |
18.78/18.89	c | 18.89     | 0  | -135624      lb |  0                0                0.00  |
18.98/19.04	c | 19.05     | 0  | -135623      lb |  0                0                0.00  |
19.08/19.19	c | 19.20     | 0  | -135622      lb |  0                0                0.00  |
19.28/19.34	c | 19.34     | 0  | -135621      lb |  0                0                0.00  |
19.38/19.49	c | 19.50     | 0  | -135619      lb |  0                0                0.00  |
19.58/19.64	c | 19.65     | 0  | -135618      lb |  0                0                0.00  |
19.68/19.80	c | 19.80     | 0  | -135617      lb |  0                0                0.00  |
19.88/19.97	c | 19.97     | 0  | -135616      lb |  0                0                0.00  |
20.07/20.13	c | 20.14     | 0  | -135615      lb |  0                0                0.00  |
20.17/20.30	c | 20.30     | 0  | -135614      lb |  0                0                0.00  |
20.37/20.46	c | 20.46     | 0  | -135613      lb |  0                0                0.00  |
20.57/20.63	c | 20.63     | 0  | -135612      lb |  0                0                0.00  |
20.78/20.80	c | 20.81     | 0  | -135611      lb |  0                0                0.00  |
20.88/20.98	c | 20.98     | 0  | -135610      lb |  0                0                0.00  |
21.08/21.15	c | 21.16     | 0  | -135609      lb |  0                0                0.00  |
21.28/21.33	c | 21.34     | 0  | -135608      lb |  0                0                0.00  |
21.47/21.51	c | 21.52     | 0  | -135607      lb |  0                0                0.00  |
21.57/21.69	c | 21.70     | 0  | -135606      lb |  0                0                0.00  |
21.77/21.87	c | 21.88     | 0  | -135605      lb |  0                0                0.00  |
21.98/22.06	c | 22.06     | 0  | -135604      lb |  0                0                0.00  |
22.17/22.24	c | 22.25     | 0  | -135603      lb |  0                0                0.00  |
22.38/22.43	c | 22.43     | 0  | -135602      lb |  0                0                0.00  |
22.58/22.62	c | 22.62     | 0  | -135601      lb |  0                0                0.00  |
22.78/22.80	c | 22.81     | 0  | -135600      lb |  0                0                0.00  |
22.88/22.99	c | 22.99     | 0  | -135599      lb |  0                0                0.00  |
23.08/23.18	c | 23.18     | 0  | -135598      lb |  0                0                0.00  |
23.27/23.37	c | 23.37     | 0  | -135597      lb |  0                0                0.00  |
23.47/23.56	c | 23.56     | 0  | -135596      lb |  0                0                0.00  |
23.67/23.75	c | 23.75     | 0  | -135595      lb |  0                0                0.00  |
23.87/23.95	c | 23.95     | 0  | -135594      lb |  0                0                0.00  |
24.08/24.14	c | 24.14     | 0  | -135593      lb |  0                0                0.00  |
24.28/24.34	c | 24.34     | 0  | -135592      lb |  0                0                0.00  |
24.48/24.53	c | 24.53     | 0  | -135591      lb |  0                0                0.00  |
24.67/24.73	c | 24.73     | 0  | -135590      lb |  0                0                0.00  |
24.87/24.93	c | 24.93     | 0  | -135589      lb |  0                0                0.00  |
25.07/25.13	c | 25.13     | 0  | -135588      lb |  0                0                0.00  |
25.28/25.33	c | 25.33     | 0  | -135587      lb |  0                0                0.00  |
25.47/25.52	c | 25.53     | 0  | -135586      lb |  0                0                0.00  |
25.67/25.72	c | 25.72     | 0  | -135585      lb |  0                0                0.00  |
25.87/25.92	c | 25.93     | 0  | -135584      lb |  0                0                0.00  |
26.07/26.13	c | 26.13     | 0  | -135583      lb |  0                0                0.00  |
26.28/26.34	c | 26.34     | 0  | -135582      lb |  0                0                0.00  |
26.47/26.55	c | 26.55     | 0  | -135581      lb |  0                0                0.00  |
26.67/26.76	c | 26.76     | 0  | -135580      lb |  0                0                0.00  |
26.87/26.97	c | 26.98     | 0  | -135579      lb |  0                0                0.00  |
27.07/27.18	c | 27.18     | 0  | -135578      lb |  0                0                0.00  |
27.28/27.39	c | 27.39     | 0  | -135577      lb |  0                0                0.00  |
27.58/27.60	c | 27.61     | 0  | -135576      lb |  0                0                0.00  |
27.78/27.82	c | 27.82     | 0  | -135575      lb |  0                0                0.00  |
27.98/28.04	c | 28.04     | 0  | -135574      lb |  0                0                0.00  |
28.17/28.25	c | 28.26     | 0  | -135573      lb |  0                0                0.00  |
28.37/28.47	c | 28.47     | 0  | -135572      lb |  0                0                0.00  |
28.58/28.68	c | 28.69     | 0  | -135571      lb |  0                0                0.00  |
28.87/28.90	c | 28.90     | 0  | -135570      lb |  0                0                0.00  |
29.07/29.11	c | 29.11     | 0  | -135569      lb |  0                0                0.00  |
29.27/29.32	c | 29.33     | 0  | -135568      lb |  0                0                0.00  |
29.47/29.54	c | 29.54     | 0  | -135567      lb |  0                0                0.00  |
29.67/29.75	c | 29.75     | 0  | -135566      lb |  0                0                0.00  |
29.88/29.97	c | 29.97     | 0  | -135565      lb |  0                0                0.00  |
30.07/30.18	c | 30.19     | 0  | -135564      lb |  0                0                0.00  |
30.37/30.41	c | 30.41     | 0  | -135563      lb |  0                0                0.00  |
30.57/30.63	c | 30.63     | 0  | -135562      lb |  0                0                0.00  |
30.77/30.86	c | 30.86     | 0  | -135561      lb |  0                0                0.00  |
30.96/31.09	c | 31.09     | 0  | -135560      lb |  0                0                0.00  |
31.26/31.31	c | 31.32     | 0  | -135559      lb |  0                0                0.00  |
31.46/31.53	c | 31.54     | 0  | -135558      lb |  0                0                0.00  |
31.66/31.76	c | 31.76     | 0  | -135557      lb |  0                0                0.00  |
31.87/31.99	c | 31.99     | 0  | -135556      lb |  0                0                0.00  |
32.16/32.24	c | 32.24     | 0  | -135555      lb |  0                0                0.00  |
32.36/32.49	c | 32.49     | 0  | -135554      lb |  0                0                0.00  |
32.66/32.73	c | 32.73     | 0  | -135553      lb |  0                0                0.00  |
32.87/32.96	c | 32.97     | 0  | -135552      lb |  0                0                0.00  |
33.17/33.25	c | 33.25     | 0  | -135551      lb |  0                0                0.00  |
33.47/33.53	c | 33.53     | 0  | -135550      lb |  0                0                0.00  |
33.77/33.80	c | 33.80     | 0  | -135549      lb |  0                0                0.00  |
33.97/34.08	c | 34.09     | 0  | -135548      lb |  0                0                0.00  |
34.27/34.36	c | 34.36     | 0  | -135547      lb |  0                0                0.00  |
34.57/34.65	c | 34.66     | 0  | -135546      lb |  0                0                0.00  |
34.87/34.94	c | 34.94     | 0  | -135545      lb |  0                0                0.00  |
35.17/35.23	c | 35.23     | 0  | -135544      lb |  0                0                0.00  |
35.47/35.50	c | 35.51     | 0  | -135543      lb |  0                0                0.00  |
35.66/35.78	c | 35.78     | 0  | -135542      lb |  0                0                0.00  |
35.96/36.05	c | 36.05     | 0  | -135541      lb |  0                0                0.00  |
36.27/36.34	c | 36.34     | 0  | -135540      lb |  0                0                0.00  |
36.56/36.63	c | 36.63     | 0  | -135539      lb |  0                0                0.00  |
36.86/36.93	c | 36.93     | 0  | -135538      lb |  0                0                0.00  |
37.16/37.22	c | 37.23     | 0  | -135537      lb |  0                0                0.00  |
37.47/37.55	c | 37.55     | 0  | -135536      lb |  0                0                0.00  |
37.76/37.85	c | 37.85     | 0  | -135535      lb |  0                0                0.00  |
38.06/38.16	c | 38.16     | 0  | -135534      lb |  0                0                0.00  |
38.37/38.46	c | 38.46     | 0  | -135533      lb |  0                0                0.00  |
38.67/38.76	c | 38.76     | 0  | -135532      lb |  0                0                0.00  |
38.97/39.06	c | 39.06     | 0  | -135531      lb |  0                0                0.00  |
39.27/39.36	c | 39.36     | 0  | -135530      lb |  0                0                0.00  |
39.57/39.66	c | 39.66     | 0  | -135529      lb |  0                0                0.00  |
39.86/39.97	c | 39.97     | 0  | -135528      lb |  0                0                0.00  |
40.16/40.26	c | 40.27     | 0  | -135527      lb |  0                0                0.00  |
40.46/40.55	c | 40.55     | 0  | -135526      lb |  0                0                0.00  |
40.76/40.83	c | 40.84     | 0  | -135525      lb |  0                0                0.00  |
41.05/41.11	c | 41.12     | 0  | -135524      lb |  0                0                0.00  |
41.25/41.39	c | 41.39     | 0  | -135523      lb |  0                0                0.00  |
41.56/41.67	c | 41.67     | 0  | -135522      lb |  0                0                0.00  |
41.86/41.96	c | 41.96     | 0  | -135521      lb |  0                0                0.00  |
42.16/42.25	c | 42.26     | 0  | -135520      lb |  0                0                0.00  |
42.46/42.54	c | 42.54     | 0  | -135519      lb |  0                0                0.00  |
42.77/42.84	c | 42.84     | 0  | -135518      lb |  0                0                0.00  |
43.06/43.12	c | 43.13     | 0  | -135517      lb |  0                0                0.00  |
43.36/43.42	c | 43.43     | 0  | -135516      lb |  0                0                0.00  |
43.66/43.71	c | 43.71     | 0  | -135515      lb |  0                0                0.00  |
43.86/44.00	c | 44.00     | 0  | -135514      lb |  0                0                0.00  |
44.16/44.28	c | 44.28     | 0  | -135513      lb |  0                0                0.00  |
44.46/44.56	c | 44.56     | 0  | -135512      lb |  0                0                0.00  |
44.75/44.85	c | 44.85     | 0  | -135511      lb |  0                0                0.00  |
45.07/45.15	c | 45.16     | 0  | -135510      lb |  0                0                0.00  |
45.36/45.44	c | 45.44     | 0  | -135509      lb |  0                0                0.00  |
45.66/45.72	c | 45.73     | 0  | -135508      lb |  0                0                0.00  |
45.96/46.01	c | 46.01     | 0  | -135507      lb |  0                0                0.00  |
46.17/46.29	c | 46.30     | 0  | -135506      lb |  0                0                0.00  |
46.46/46.57	c | 46.58     | 0  | -135505      lb |  0                0                0.00  |
46.76/46.86	c | 46.86     | 0  | -135504      lb |  0                0                0.00  |
47.06/47.13	c | 47.14     | 0  | -135503      lb |  0                0                0.00  |
47.36/47.42	c | 47.42     | 0  | -135502      lb |  0                0                0.00  |
47.65/47.70	c | 47.70     | 0  | -135501      lb |  0                0                0.00  |
47.86/47.97	c | 47.98     | 0  | -135500      lb |  0                0                0.00  |
48.16/48.26	c | 48.26     | 0  | -135499      lb |  0                0                0.00  |
48.46/48.54	c | 48.55     | 0  | -135498      lb |  0                0                0.00  |
48.76/48.83	c | 48.83     | 0  | -135497      lb |  0                0                0.00  |
49.05/49.10	c | 49.11     | 0  | -135496      lb |  0                0                0.00  |
49.26/49.38	c | 49.38     | 0  | -135495      lb |  0                0                0.00  |
49.56/49.66	c | 49.66     | 0  | -135494      lb |  0                0                0.00  |
49.86/49.94	c | 49.95     | 0  | -135493      lb |  0                0                0.00  |
50.16/50.22	c | 50.23     | 0  | -135492      lb |  0                0                0.00  |
50.46/50.51	c | 50.51     | 0  | -135491      lb |  0                0                0.00  |
50.66/50.78	c | 50.79     | 0  | -135490      lb |  0                0                0.00  |
50.96/51.06	c | 51.06     | 0  | -135489      lb |  0                0                0.00  |
51.26/51.32	c | 51.33     | 0  | -135488      lb |  0                0                0.00  |
51.56/51.60	c | 51.61     | 0  | -135487      lb |  0                0                0.00  |
51.76/51.89	c | 51.89     | 0  | -135486      lb |  0                0                0.00  |
52.05/52.17	c | 52.17     | 0  | -135485      lb |  0                0                0.00  |
52.35/52.45	c | 52.45     | 0  | -135484      lb |  0                0                0.00  |
52.66/52.73	c | 52.74     | 0  | -135483      lb |  0                0                0.00  |
52.95/53.02	c | 53.02     | 0  | -135482      lb |  0                0                0.00  |
53.15/53.29	c | 53.30     | 0  | -135481      lb |  0                0                0.00  |
53.46/53.56	c | 53.56     | 0  | -135480      lb |  0                0                0.00  |
53.76/53.86	c | 53.86     | 0  | -135479      lb |  0                0                0.00  |
54.05/54.16	c | 54.16     | 0  | -135478      lb |  0                0                0.00  |
54.35/54.45	c | 54.45     | 0  | -135477      lb |  0                0                0.00  |
54.66/54.74	c | 54.74     | 0  | -135476      lb |  0                0                0.00  |
54.96/55.03	c | 55.03     | 0  | -135475      lb |  0                0                0.00  |
55.26/55.31	c | 55.32     | 0  | -135474      lb |  0                0                0.00  |
55.56/55.60	c | 55.61     | 0  | -135473      lb |  0                0                0.00  |
55.76/55.88	c | 55.88     | 0  | -135472      lb |  0                0                0.00  |
56.06/56.16	c | 56.17     | 0  | -135471      lb |  0                0                0.00  |
56.35/56.44	c | 56.44     | 0  | -135470      lb |  0                0                0.00  |
56.66/56.72	c | 56.73     | 0  | -135469      lb |  0                0                0.00  |
56.96/57.00	c | 57.01     | 0  | -135468      lb |  0                0                0.00  |
57.25/57.30	c | 57.30     | 0  | -135467      lb |  0                0                0.00  |
57.55/57.60	c | 57.60     | 0  | -135466      lb |  0                0                0.00  |
57.86/57.90	c | 57.90     | 0  | -135465      lb |  0                0                0.00  |
58.06/58.20	c | 58.20     | 0  | -135464      lb |  0                0                0.00  |
58.45/58.51	c | 58.51     | 0  | -135463      lb |  0                0                0.00  |
58.75/58.81	c | 58.81     | 0  | -135462      lb |  0                0                0.00  |
59.06/59.10	c | 59.11     | 0  | -135461      lb |  0                0                0.00  |
59.26/59.40	c | 59.41     | 0  | -135460      lb |  0                0                0.00  |
59.65/59.70	c | 59.70     | 0  | -135459      lb |  0                0                0.00  |
59.85/59.99	c | 59.99     | 0  | -135458      lb |  0                0                0.00  |
60.15/60.27	c | 60.28     | 0  | -135457      lb |  0                0                0.00  |
60.46/60.56	c | 60.56     | 0  | -135456      lb |  0                0                0.00  |
60.75/60.86	c | 60.86     | 0  | -135455      lb |  0                0                0.00  |
61.05/61.14	c | 61.15     | 0  | -135454      lb |  0                0                0.00  |
61.35/61.43	c | 61.43     | 0  | -135453      lb |  0                0                0.00  |
61.65/61.73	c | 61.73     | 0  | -135452      lb |  0                0                0.00  |
61.95/62.01	c | 62.01     | 0  | -135451      lb |  0                0                0.00  |
62.25/62.31	c | 62.31     | 0  | -135450      lb |  0                0                0.00  |
62.45/62.60	c | 62.60     | 0  | -135449      lb |  0                0                0.00  |
62.85/62.90	c | 62.90     | 0  | -135448      lb |  0                0                0.00  |
63.05/63.20	c | 63.20     | 0  | -135447      lb |  0                0                0.00  |
63.35/63.48	c | 63.49     | 0  | -135446      lb |  0                0                0.00  |
63.65/63.78	c | 63.78     | 0  | -135445      lb |  0                0                0.00  |
63.95/64.07	c | 64.07     | 0  | -135444      lb |  0                0                0.00  |
64.25/64.36	c | 64.36     | 0  | -135443      lb |  0                0                0.00  |
64.55/64.65	c | 64.66     | 0  | -135442      lb |  0                0                0.00  |
64.85/64.94	c | 64.94     | 0  | -135441      lb |  0                0                0.00  |
65.15/65.22	c | 65.23     | 0  | -135440      lb |  0                0                0.00  |
65.45/65.51	c | 65.51     | 0  | -135439      lb |  0                0                0.00  |
65.65/65.79	c | 65.80     | 0  | -135438      lb |  0                0                0.00  |
65.96/66.08	c | 66.08     | 0  | -135437      lb |  0                0                0.00  |
66.25/66.37	c | 66.37     | 0  | -135436      lb |  0                0                0.00  |
66.55/66.66	c | 66.67     | 0  | -135435      lb |  0                0                0.00  |
66.85/66.95	c | 66.95     | 0  | -135434      lb |  0                0                0.00  |
67.15/67.24	c | 67.25     | 0  | -135433      lb |  0                0                0.00  |
67.45/67.53	c | 67.53     | 0  | -135432      lb |  0                0                0.00  |
67.75/67.83	c | 67.83     | 0  | -135431      lb |  0                0                0.00  |
68.06/68.12	c | 68.12     | 0  | -135430      lb |  0                0                0.00  |
68.35/68.43	c | 68.43     | 0  | -135429      lb |  0                0                0.00  |
68.65/68.72	c | 68.72     | 0  | -135428      lb |  0                0                0.00  |
68.95/69.02	c | 69.02     | 0  | -135427      lb |  0                0                0.00  |
69.25/69.32	c | 69.33     | 0  | -135426      lb |  0                0                0.00  |
69.55/69.63	c | 69.63     | 0  | -135425      lb |  0                0                0.00  |
69.85/69.93	c | 69.93     | 0  | -135424      lb |  0                0                0.00  |
70.14/70.24	c | 70.24     | 0  | -135423      lb |  0                0                0.00  |
70.44/70.53	c | 70.53     | 0  | -135422      lb |  0                0                0.00  |
70.74/70.83	c | 70.83     | 0  | -135421      lb |  0                0                0.00  |
71.04/71.12	c | 71.12     | 0  | -135420      lb |  0                0                0.00  |
71.35/71.42	c | 71.42     | 0  | -135419      lb |  0                0                0.00  |
71.65/71.71	c | 71.72     | 0  | -135418      lb |  0                0                0.00  |
71.95/72.00	c | 72.00     | 0  | -135417      lb |  0                0                0.00  |
72.14/72.28	c | 72.29     | 0  | -135416      lb |  0                0                0.00  |
72.45/72.58	c | 72.58     | 0  | -135415      lb |  0                0                0.00  |
72.74/72.87	c | 72.87     | 0  | -135414      lb |  0                0                0.00  |
73.04/73.17	c | 73.17     | 0  | -135413      lb |  0                0                0.00  |
73.35/73.47	c | 73.47     | 0  | -135412      lb |  0                0                0.00  |
73.65/73.77	c | 73.77     | 0  | -135411      lb |  0                0                0.00  |
73.95/74.05	c | 74.05     | 0  | -135410      lb |  0                0                0.00  |
74.24/74.34	c | 74.35     | 0  | -135409      lb |  0                0                0.00  |
74.54/74.63	c | 74.64     | 0  | -135408      lb |  0                0                0.00  |
74.84/74.94	c | 74.94     | 0  | -135407      lb |  0                0                0.00  |
75.14/75.24	c | 75.24     | 0  | -135406      lb |  0                0                0.00  |
75.45/75.54	c | 75.54     | 0  | -135405      lb |  0                0                0.00  |
75.75/75.83	c | 75.83     | 0  | -135404      lb |  0                0                0.00  |
76.04/76.13	c | 76.13     | 0  | -135403      lb |  0                0                0.00  |
76.34/76.43	c | 76.43     | 0  | -135402      lb |  0                0                0.00  |
76.64/76.73	c | 76.73     | 0  | -135401      lb |  0                0                0.00  |
76.95/77.02	c | 77.03     | 0  | -135400      lb |  0                0                0.00  |
77.25/77.33	c | 77.33     | 0  | -135399      lb |  0                0                0.00  |
77.54/77.66	c | 77.67     | 0  | -135398      lb |  0                0                0.00  |
77.84/77.99	c | 78.00     | 0  | -135397      lb |  0                0                0.00  |
78.24/78.37	c | 78.37     | 0  | -135396      lb |  0                0                0.00  |
78.64/78.73	c | 78.74     | 0  | -135395      lb |  0                0                0.00  |
79.05/79.10	c | 79.11     | 0  | -135394      lb |  0                0                0.00  |
79.34/79.47	c | 79.47     | 0  | -135393      lb |  0                0                0.00  |
79.74/79.86	c | 79.87     | 0  | -135392      lb |  0                0                0.00  |
80.14/80.25	c | 80.26     | 0  | -135391      lb |  0                0                0.00  |
80.54/80.61	c | 80.61     | 0  | -135390      lb |  0                0                0.00  |
80.94/81.02	c | 81.02     | 0  | -135389      lb |  0                0                0.00  |
81.34/81.49	c | 81.49     | 0  | -135388      lb |  0                0                0.00  |
81.74/81.82	c | 81.83     | 0  | -135387      lb |  0                0                0.00  |
82.24/82.36	c | 82.36     | 0  | -135386      lb |  0                0                0.00  |
82.84/82.90	c | 82.90     | 0  | -135385      lb |  0                0                0.00  |
83.23/83.33	c | 83.34     | 0  | -135384      lb |  0                0                0.00  |
83.63/83.72	c | 83.73     | 0  | -135383      lb |  0                0                0.00  |
84.23/84.32	c | 84.32     | 0  | -135382      lb |  0                0                0.00  |
84.65/84.71	c | 84.71     | 0  | -135381      lb |  0                0                0.00  |
85.04/85.15	c | 85.16     | 0  | -135380      lb |  0                0                0.00  |
87.34/87.43	c | 87.44     | 0  | -135379      lb |  0                0                0.00  |
89.53/89.65	c | 89.65     | 0  | -135378      lb |  0                0                0.00  |
90.04/90.15	c | 90.15     | 0  | -135377      lb |  0                0                0.00  |
94.33/94.41	c | 94.42     | 0  | -135376      lb |  0                0                0.00  |
94.84/94.97	c | 94.98     | 0  | -135375      lb |  0                0                0.00  |
95.44/95.55	c | 95.55     | 0  | -135374      lb |  0                0                0.00  |
96.43/96.51	c | 96.52     | 0  | -135373      lb |  0                0                0.00  |
97.13/97.27	c | 97.27     | 0  | -135372      lb |  0                0                0.00  |
97.64/97.71	c | 97.72     | 0  | -135371      lb |  0                0                0.00  |
98.33/98.45	c | 98.46     | 0  | -135370      lb |  0                0                0.00  |
99.04/99.14	c | 99.14     | 0  | -135369      lb |  0                0                0.00  |
99.54/99.68	c | 99.69     | 0  | -135368      lb |  0                0                0.00  |
100.13/100.22	c | 100.22    | 0  | -135367      lb |  0                0                0.00  |
102.53/102.60	c | 102.61    | 0  | -135366      lb |  0                0                0.00  |
103.13/103.25	c | 103.25    | 0  | -135365      lb |  0                0                0.00  |
104.43/104.59	c | 104.59    | 0  | -135364      lb |  0                0                0.00  |
107.53/107.67	c | 107.68    | 0  | -135363      lb |  0                0                0.00  |
108.74/108.87	c | 108.88    | 0  | -135362      lb |  0                0                0.00  |
110.33/110.40	c | 110.40    | 0  | -135361      lb |  0                0                0.00  |
116.43/116.57	c | 116.57    | 0  | -135360      lb |  0                0                0.00  |
118.23/118.39	c | 118.40    | 0  | -135359      lb |  0                0                0.00  |
118.74/118.84	c | 118.85    | 0  | -135358      lb |  0                0                0.00  |
121.03/121.13	c | 121.13    | 0  | -135357      lb |  0                0                0.00  |
121.94/122.01	c | 122.02    | 0  | -135356      lb |  0                0                0.00  |
126.93/127.04	c | 127.04    | 0  | -135355      lb |  0                0                0.00  |
130.43/130.52	c | 130.53    | 0  | -135354      lb |  0                0                0.00  |
132.13/132.26	c | 132.26    | 0  | -135353      lb |  0                0                0.00  |
137.53/137.64	c | 137.64    | 0  | -135352      lb |  0                0                0.00  |
139.13/139.22	c | 139.22    | 0  | -135351      lb |  0                0                0.00  |
140.53/140.60	c | 140.61    | 0  | -135350      lb |  0                0                0.00  |
143.43/143.50	c | 143.50    | 0  | -135349      lb |  0                0                0.00  |
144.32/144.48	c | 144.48    | 0  | -135348      lb |  0                0                0.00  |
147.02/147.19	c | 147.20    | 0  | -135347      lb |  0                0                0.00  |
149.43/149.51	c | 149.52    | 0  | -135346      lb |  0                0                0.00  |
153.73/153.80	c | 153.81    | 0  | -135345      lb |  0                0                0.00  |
156.22/156.34	c | 156.34    | 0  | -135344      lb |  0                0                0.00  |
163.63/163.73	c | 163.74    | 0  | -135343      lb |  0                0                0.00  |
169.12/169.25	c | 169.26    | 0  | -135342      lb |  0                0                0.00  |
177.42/177.55	c | 177.56    | 0  | -135341      lb |  0                0                0.00  |
356.69/356.88	c | 356.88    | 0  | -135340      lb |  0                0                0.00  |
427.58/427.78	c | 427.78    | 0  | -135339      lb |  0                0                0.00  |
448.17/448.35	c | 448.35    | 0  | -135338      lb |  0                0                0.00  |
717.05/717.21	c | 717.21    | 0  | -135337      lb |  0                0                0.00  |
868.52/868.73	c | 868.73    | 0  | -135336      lb |  0                0                0.00  |
879.12/879.36	c | 879.36    | 0  | -135335      lb |  0                0                0.00  |
1042.28/1042.53	c | 1042.54   | 0  | -135334      lb |  0                0                0.00  |
1061.47/1061.79	c | 1061.80   | 0  | -135333      lb |  0                0                0.00  |
1256.92/1257.27	c | 1257.27   | 0  | -135332      lb |  0                0                0.00  |
1576.15/1576.51	c | 1576.52   | 0  | -135331      lb |  0                0                0.00  |
1605.84/1606.30	c | 1606.30   | 0  | -135330      lb |  0                0                0.00  |
1628.04/1628.47	c | 1628.47   | 0  | -135329      lb |  0                0                0.00  |
1799.61/1800.00	c ===============================================================================
1799.61/1800.00	c Wall Clock Time: 1800.00 s
1799.61/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-3727881-1338672885/watcher-3727881-1338672885 -o /tmp/evaluation-result-3727881-1338672885/solver-3727881-1338672885 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3727881-1338672885.opb 

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 28977
/proc/meminfo: memFree=31476784/32873844 swapFree=7116/7116
[pid=28977] ppid=28973 vsize=6312 CPUtime=0 cores=0,2,4,6
/proc/28977/stat : 28977 (wbo1.72) R 28973 28977 28198 0 -1 4202496 505 0 0 0 0 0 0 0 20 0 1 0 333415528 6463488 458 33554432000 4194304 5964350 140737008278512 140737008276392 4395186 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/28977/statm: 1578 459 176 433 0 533 0

[startup+0.0105161 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 28977
/proc/meminfo: memFree=31476784/32873844 swapFree=7116/7116
[pid=28977] ppid=28973 vsize=6592 CPUtime=0 cores=0,2,4,6
/proc/28977/stat : 28977 (wbo1.72) R 28973 28977 28198 0 -1 4202496 575 0 0 0 0 0 0 0 20 0 1 0 333415528 6750208 528 33554432000 4194304 5964350 140737008278512 140737008276392 4395326 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/28977/statm: 1648 529 189 433 0 603 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 6592

[startup+0.100302 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 28977
/proc/meminfo: memFree=31476784/32873844 swapFree=7116/7116
[pid=28977] ppid=28973 vsize=15772 CPUtime=0.09 cores=0,2,4,6
/proc/28977/stat : 28977 (wbo1.72) R 28973 28977 28198 0 -1 4202496 3060 0 0 0 9 0 0 0 20 0 1 0 333415528 16150528 2964 33554432000 4194304 5964350 140737008278512 140737008276392 5136410 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/28977/statm: 3943 2964 479 433 0 2898 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15772

[startup+0.300148 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 28977
/proc/meminfo: memFree=31476784/32873844 swapFree=7116/7116
[pid=28977] ppid=28973 vsize=104056 CPUtime=0.29 cores=0,2,4,6
/proc/28977/stat : 28977 (wbo1.72) S 28973 28977 28198 0 -1 4202496 13967 0 0 0 28 1 0 0 20 0 2 0 333415528 106553344 11999 33554432000 4194304 5964350 140737008278512 140737008278032 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28977/statm: 26014 11999 193 433 0 25578 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 104056

[startup+0.700174 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 28977
/proc/meminfo: memFree=31476784/32873844 swapFree=7116/7116
[pid=28977] ppid=28973 vsize=100036 CPUtime=0.68 cores=0,2,4,6
/proc/28977/stat : 28977 (wbo1.72) S 28973 28977 28198 0 -1 4202496 18695 0 0 0 66 2 0 0 20 0 2 0 333415528 102436864 13633 33554432000 4194304 5964350 140737008278512 140737008278032 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28977/statm: 25009 13633 194 433 0 24573 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 100036

[startup+1.50032 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29014
/proc/meminfo: memFree=31378168/32873844 swapFree=7116/7116
[pid=28977] ppid=28973 vsize=100036 CPUtime=1.48 cores=0,2,4,6
/proc/28977/stat : 28977 (wbo1.72) S 28973 28977 28198 0 -1 4202496 27388 0 0 0 145 3 0 0 20 0 2 0 333415528 102436864 16339 33554432000 4194304 5964350 140737008278512 140737008278032 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28977/statm: 25009 16339 194 433 0 24573 0
[pid=28977/tid=29004] ppid=28973 vsize=100036 CPUtime=1.28 cores=0,2,4,6
/proc/28977/task/29004/stat : 29004 (wbo1.72) R 28973 28977 28198 0 -1 4202560 21868 0 0 0 125 3 0 0 20 0 2 0 333415548 102436864 16339 33554432000 4194304 5964350 140737008278512 140348488727064 5179513 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 100036

[startup+3.10032 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29014
/proc/meminfo: memFree=31295484/32873844 swapFree=7116/7116
[pid=28977] ppid=28973 vsize=100036 CPUtime=3.08 cores=0,2,4,6
/proc/28977/stat : 28977 (wbo1.72) S 28973 28977 28198 0 -1 4202496 39390 0 0 0 302 6 0 0 20 0 2 0 333415528 102436864 18629 33554432000 4194304 5964350 140737008278512 140737008278032 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28977/statm: 25009 18629 194 433 0 24573 0
[pid=28977/tid=29004] ppid=28973 vsize=100036 CPUtime=2.88 cores=0,2,4,6
/proc/28977/task/29004/stat : 29004 (wbo1.72) R 28973 28977 28198 0 -1 4202560 33870 0 0 0 282 6 0 0 20 0 2 0 333415548 102436864 18629 33554432000 4194304 5964350 140737008278512 140348488727064 5142429 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 100036

[startup+6.30029 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 29015
/proc/meminfo: memFree=30938504/32873844 swapFree=7116/7116
[pid=28977] ppid=28973 vsize=165572 CPUtime=6.29 cores=0,2,4,6
/proc/28977/stat : 28977 (wbo1.72) S 28973 28977 28198 0 -1 4202496 59088 0 0 0 620 9 0 0 20 0 2 0 333415528 169545728 23541 33554432000 4194304 5964350 140737008278512 140737008278032 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28977/statm: 41393 23541 194 433 0 40957 0
[pid=28977/tid=29004] ppid=28973 vsize=165572 CPUtime=6.08 cores=0,2,4,6
/proc/28977/task/29004/stat : 29004 (wbo1.72) R 28973 28977 28198 0 -1 4202560 53568 0 0 0 600 8 0 0 20 0 2 0 333415548 169545728 23541 33554432000 4194304 5964350 140737008278512 140348488726872 5139038 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 165572

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 29015
/proc/meminfo: memFree=30778544/32873844 swapFree=7116/7116
[pid=28977] ppid=28973 vsize=165572 CPUtime=12.68 cores=0,2,4,6
/proc/28977/stat : 28977 (wbo1.72) S 28973 28977 28198 0 -1 4202496 101457 0 0 0 1253 15 0 0 20 0 2 0 333415528 169545728 34251 33554432000 4194304 5964350 140737008278512 140737008278032 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28977/statm: 41393 34251 197 433 0 40957 0
[pid=28977/tid=29004] ppid=28973 vsize=165572 CPUtime=12.48 cores=0,2,4,6
/proc/28977/task/29004/stat : 29004 (wbo1.72) R 28973 28977 28198 0 -1 4202560 95937 0 0 0 1232 16 0 0 20 0 2 0 333415548 169545728 34251 33554432000 4194304 5964350 140737008278512 140348488727368 4403484 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 165572

[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 29016
/proc/meminfo: memFree=30654636/32873844 swapFree=7116/7116
[pid=28977] ppid=28973 vsize=234468 CPUtime=25.47 cores=0,2,4,6
/proc/28977/stat : 28977 (wbo1.72) S 28973 28977 28198 0 -1 4202496 130542 0 0 0 2526 21 0 0 20 0 2 0 333415528 240095232 49378 33554432000 4194304 5964350 140737008278512 140737008278032 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28977/statm: 58617 49378 197 433 0 58181 0
[pid=28977/tid=29004] ppid=28973 vsize=234468 CPUtime=25.28 cores=0,2,4,6
/proc/28977/task/29004/stat : 29004 (wbo1.72) R 28973 28977 28198 0 -1 4202560 125022 0 0 0 2507 21 0 0 20 0 2 0 333415548 240095232 49378 33554432000 4194304 5964350 140737008278512 140348488727064 4335964 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 234468

[startup+51.1003 s]
/proc/loadavg: 2.07 2.02 2.00 3/180 29016
/proc/meminfo: memFree=30468076/32873844 swapFree=7116/7116
[pid=28977] ppid=28973 vsize=365540 CPUtime=51.06 cores=0,2,4,6
/proc/28977/stat : 28977 (wbo1.72) S 28973 28977 28198 0 -1 4202496 165996 0 0 0 5075 31 0 0 20 0 2 0 333415528 374312960 72536 33554432000 4194304 5964350 140737008278512 140737008278032 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28977/statm: 91385 72536 198 433 0 90949 0
[pid=28977/tid=29004] ppid=28973 vsize=365540 CPUtime=50.86 cores=0,2,4,6
/proc/28977/task/29004/stat : 29004 (wbo1.72) R 28973 28977 28198 0 -1 4202560 160476 0 0 0 5055 31 0 0 20 0 2 0 333415548 374312960 72536 33554432000 4194304 5964350 140737008278512 140348488727064 4444974 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 365540

[startup+102.307 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 29016
/proc/meminfo: memFree=30107160/32873844 swapFree=7116/7116
[pid=28977] ppid=28973 vsize=496612 CPUtime=102.24 cores=0,2,4,6
/proc/28977/stat : 28977 (wbo1.72) S 28973 28977 28198 0 -1 4202496 252926 0 0 0 10172 52 0 0 20 0 2 0 333415528 508530688 107454 33554432000 4194304 5964350 140737008278512 140737008278032 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28977/statm: 124153 107454 198 433 0 123717 0
[pid=28977/tid=29004] ppid=28973 vsize=496612 CPUtime=102.05 cores=0,2,4,6
/proc/28977/task/29004/stat : 29004 (wbo1.72) R 28973 28977 28198 0 -1 4202560 247406 0 0 0 10152 53 0 0 20 0 2 0 333415548 508530688 107454 33554432000 4194304 5964350 140737008278512 140348488727368 4392771 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 496612

[startup+162.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 29017
/proc/meminfo: memFree=29707928/32873844 swapFree=7116/7116
[pid=28977] ppid=28973 vsize=578556 CPUtime=162.23 cores=0,2,4,6
/proc/28977/stat : 28977 (wbo1.72) S 28973 28977 28198 0 -1 4202496 269282 0 0 0 16165 58 0 0 20 0 2 0 333415528 592441344 124918 33554432000 4194304 5964350 140737008278512 140737008278032 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28977/statm: 144639 124918 198 433 0 144203 0
[pid=28977/tid=29004] ppid=28973 vsize=578556 CPUtime=162.05 cores=0,2,4,6
/proc/28977/task/29004/stat : 29004 (wbo1.72) R 28973 28977 28198 0 -1 4202560 263762 0 0 0 16145 60 0 0 20 0 2 0 333415548 592441344 124918 33554432000 4194304 5964350 140737008278512 140348488727368 4392658 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 578556

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 29017
/proc/meminfo: memFree=29362376/32873844 swapFree=7116/7116
[pid=28977] ppid=28973 vsize=627684 CPUtime=222.22 cores=0,2,4,6
/proc/28977/stat : 28977 (wbo1.72) S 28973 28977 28198 0 -1 4202496 271887 0 0 0 22163 59 0 0 20 0 2 0 333415528 642748416 134552 33554432000 4194304 5964350 140737008278512 140737008278032 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28977/statm: 156921 134552 198 433 0 156485 0
[pid=28977/tid=29004] ppid=28973 vsize=627684 CPUtime=222.05 cores=0,2,4,6
/proc/28977/task/29004/stat : 29004 (wbo1.72) R 28973 28977 28198 0 -1 4202560 266367 0 0 0 22143 62 0 0 20 0 2 0 333415548 642748416 134552 33554432000 4194304 5964350 140737008278512 140348488726872 18446744073699066235 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 627684

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 29017
/proc/meminfo: memFree=29133024/32873844 swapFree=7116/7116
[pid=28977] ppid=28973 vsize=627684 CPUtime=282.2 cores=0,2,4,6
/proc/28977/stat : 28977 (wbo1.72) S 28973 28977 28198 0 -1 4202496 272828 0 0 0 28161 59 0 0 20 0 2 0 333415528 642748416 137026 33554432000 4194304 5964350 140737008278512 140737008278032 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28977/statm: 156921 137026 198 433 0 156485 0
[pid=28977/tid=29004] ppid=28973 vsize=627684 CPUtime=282.06 cores=0,2,4,6
/proc/28977/task/29004/stat : 29004 (wbo1.72) R 28973 28977 28198 0 -1 4202560 267308 0 0 0 28143 63 0 0 20 0 2 0 333415548 642748416 137026 33554432000 4194304 5964350 140737008278512 140348488726872 4392637 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 627684

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 29020
/proc/meminfo: memFree=28813772/32873844 swapFree=7116/7116
[pid=28977] ppid=28973 vsize=693220 CPUtime=342.2 cores=0,2,4,6
/proc/28977/stat : 28977 (wbo1.72) S 28973 28977 28198 0 -1 4202496 280786 0 0 0 34158 62 0 0 20 0 2 0 333415528 709857280 144972 33554432000 4194304 5964350 140737008278512 140737008278032 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28977/statm: 173305 144972 198 433 0 172869 0
[pid=28977/tid=29004] ppid=28973 vsize=693220 CPUtime=342.06 cores=0,2,4,6
/proc/28977/task/29004/stat : 29004 (wbo1.72) R 28973 28977 28198 0 -1 4202560 275266 0 0 0 34139 67 0 0 20 0 2 0 333415548 709857280 144972 33554432000 4194304 5964350 140737008278512 140348488726328 4400035 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 693220

[startup+402.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 29020
/proc/meminfo: memFree=28518048/32873844 swapFree=7116/7116
[pid=28977] ppid=28973 vsize=758756 CPUtime=402.18 cores=0,2,4,6
/proc/28977/stat : 28977 (wbo1.72) S 28973 28977 28198 0 -1 4202496 293514 0 0 0 40153 65 0 0 20 0 2 0 333415528 776966144 171352 33554432000 4194304 5964350 140737008278512 140737008278032 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28977/statm: 189689 171352 198 433 0 189253 0
[pid=28977/tid=29004] ppid=28973 vsize=758756 CPUtime=402.06 cores=0,2,4,6
/proc/28977/task/29004/stat : 29004 (wbo1.72) R 28973 28977 28198 0 -1 4202560 287994 0 0 0 40134 72 0 0 20 0 2 0 333415548 776966144 171352 33554432000 4194304 5964350 140737008278512 140348488726856 4403639 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 758756

[startup+462.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/179 29021
/proc/meminfo: memFree=28200316/32873844 swapFree=7116/7116
[pid=28977] ppid=28973 vsize=758756 CPUtime=462.18 cores=0,2,4,6

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

/proc/28977/task/29004/stat : 29004 (wbo1.72) R 28973 28977 28198 0 -1 4202560 289315 0 0 0 130120 85 0 0 20 0 2 0 333415548 776966144 175735 33554432000 4194304 5964350 140737008278512 140348488727064 4389084 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1302
Current children cumulated vsize (KiB) 758756

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 29038
/proc/meminfo: memFree=27042188/32873844 swapFree=7116/7116
[pid=28977] ppid=28973 vsize=758756 CPUtime=1361.98 cores=0,2,4,6
/proc/28977/stat : 28977 (wbo1.72) S 28973 28977 28198 0 -1 4202496 294841 0 0 0 136132 66 0 0 20 0 2 0 333415528 776966144 175735 33554432000 4194304 5964350 140737008278512 140737008278032 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28977/statm: 189689 175735 198 433 0 189253 0
[pid=28977/tid=29004] ppid=28973 vsize=758756 CPUtime=1362.04 cores=0,2,4,6
/proc/28977/task/29004/stat : 29004 (wbo1.72) R 28973 28977 28198 0 -1 4202560 289321 0 0 0 136118 86 0 0 20 0 2 0 333415548 776966144 175735 33554432000 4194304 5964350 140737008278512 140348488727064 4389049 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1361.98
Current children cumulated vsize (KiB) 758756

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 29038
/proc/meminfo: memFree=26992844/32873844 swapFree=7116/7116
[pid=28977] ppid=28973 vsize=758756 CPUtime=1421.98 cores=0,2,4,6
/proc/28977/stat : 28977 (wbo1.72) S 28973 28977 28198 0 -1 4202496 294841 0 0 0 142132 66 0 0 20 0 2 0 333415528 776966144 175735 33554432000 4194304 5964350 140737008278512 140737008278032 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28977/statm: 189689 175735 198 433 0 189253 0
[pid=28977/tid=29004] ppid=28973 vsize=758756 CPUtime=1422.05 cores=0,2,4,6
/proc/28977/task/29004/stat : 29004 (wbo1.72) R 28973 28977 28198 0 -1 4202560 289321 0 0 0 142118 87 0 0 20 0 2 0 333415548 776966144 175735 33554432000 4194304 5964350 140737008278512 140348488727064 4403597 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1421.98
Current children cumulated vsize (KiB) 758756

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 29038
/proc/meminfo: memFree=26861372/32873844 swapFree=7116/7116
[pid=28977] ppid=28973 vsize=758756 CPUtime=1481.96 cores=0,2,4,6
/proc/28977/stat : 28977 (wbo1.72) S 28973 28977 28198 0 -1 4202496 294841 0 0 0 148130 66 0 0 20 0 2 0 333415528 776966144 175735 33554432000 4194304 5964350 140737008278512 140737008278032 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28977/statm: 189689 175735 198 433 0 189253 0
[pid=28977/tid=29004] ppid=28973 vsize=758756 CPUtime=1482.05 cores=0,2,4,6
/proc/28977/task/29004/stat : 29004 (wbo1.72) R 28973 28977 28198 0 -1 4202560 289321 0 0 0 148117 88 0 0 20 0 2 0 333415548 776966144 175735 33554432000 4194304 5964350 140737008278512 140348488727064 4389005 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1481.96
Current children cumulated vsize (KiB) 758756

[startup+1542.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/180 29041
/proc/meminfo: memFree=26779580/32873844 swapFree=7116/7116
[pid=28977] ppid=28973 vsize=758756 CPUtime=1541.95 cores=0,2,4,6
/proc/28977/stat : 28977 (wbo1.72) S 28973 28977 28198 0 -1 4202496 294841 0 0 0 154129 66 0 0 20 0 2 0 333415528 776966144 175735 33554432000 4194304 5964350 140737008278512 140737008278032 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28977/statm: 189689 175735 198 433 0 189253 0
[pid=28977/tid=29004] ppid=28973 vsize=758756 CPUtime=1542.05 cores=0,2,4,6
/proc/28977/task/29004/stat : 29004 (wbo1.72) R 28973 28977 28198 0 -1 4202560 289321 0 0 0 154116 89 0 0 20 0 2 0 333415548 776966144 175735 33554432000 4194304 5964350 140737008278512 140348488727064 4399930 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.95
Current children cumulated vsize (KiB) 758756

[startup+1602.3 s]
/proc/loadavg: 2.09 2.03 2.00 3/180 29064
/proc/meminfo: memFree=26785144/32873844 swapFree=7116/7116
[pid=28977] ppid=28973 vsize=771920 CPUtime=1601.94 cores=0,2,4,6
/proc/28977/stat : 28977 (wbo1.72) S 28973 28977 28198 0 -1 4202496 295240 0 0 0 160128 66 0 0 20 0 2 0 333415528 790446080 178687 33554432000 4194304 5964350 140737008278512 140737008278032 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28977/statm: 192980 178687 198 433 0 192544 0
[pid=28977/tid=29004] ppid=28973 vsize=771920 CPUtime=1602.05 cores=0,2,4,6
/proc/28977/task/29004/stat : 29004 (wbo1.72) R 28973 28977 28198 0 -1 4202560 289720 0 0 0 160115 90 0 0 20 0 2 0 333415548 790446080 178687 33554432000 4194304 5964350 140737008278512 140348488726856 4400508 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.94
Current children cumulated vsize (KiB) 771920

[startup+1662.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/179 29065
/proc/meminfo: memFree=26625580/32873844 swapFree=7116/7116
[pid=28977] ppid=28973 vsize=771920 CPUtime=1661.93 cores=0,2,4,6
/proc/28977/stat : 28977 (wbo1.72) S 28973 28977 28198 0 -1 4202496 295242 0 0 0 166127 66 0 0 20 0 2 0 333415528 790446080 178687 33554432000 4194304 5964350 140737008278512 140737008278032 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28977/statm: 192980 178687 198 433 0 192544 0
[pid=28977/tid=29004] ppid=28973 vsize=771920 CPUtime=1662.06 cores=0,2,4,6
/proc/28977/task/29004/stat : 29004 (wbo1.72) R 28973 28977 28198 0 -1 4202560 289722 0 0 0 166115 91 0 0 20 0 2 0 333415548 790446080 178687 33554432000 4194304 5964350 140737008278512 140348488726792 4403649 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.93
Current children cumulated vsize (KiB) 771920

[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 29065
/proc/meminfo: memFree=26664500/32873844 swapFree=7116/7116
[pid=28977] ppid=28973 vsize=771920 CPUtime=1721.92 cores=0,2,4,6
/proc/28977/stat : 28977 (wbo1.72) S 28973 28977 28198 0 -1 4202496 295242 0 0 0 172126 66 0 0 20 0 2 0 333415528 790446080 178687 33554432000 4194304 5964350 140737008278512 140737008278032 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28977/statm: 192980 178687 198 433 0 192544 0
[pid=28977/tid=29004] ppid=28973 vsize=771920 CPUtime=1722.06 cores=0,2,4,6
/proc/28977/task/29004/stat : 29004 (wbo1.72) R 28973 28977 28198 0 -1 4202560 289722 0 0 0 172114 92 0 0 20 0 2 0 333415548 790446080 178687 33554432000 4194304 5964350 140737008278512 140348488726792 4399872 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.92
Current children cumulated vsize (KiB) 771920

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 29065
/proc/meminfo: memFree=26596472/32873844 swapFree=7116/7116
[pid=28977] ppid=28973 vsize=771920 CPUtime=1781.91 cores=0,2,4,6
/proc/28977/stat : 28977 (wbo1.72) S 28973 28977 28198 0 -1 4202496 295242 0 0 0 178125 66 0 0 20 0 2 0 333415528 790446080 178687 33554432000 4194304 5964350 140737008278512 140737008278032 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28977/statm: 192980 178687 198 433 0 192544 0
[pid=28977/tid=29004] ppid=28973 vsize=771920 CPUtime=1782.06 cores=0,2,4,6
/proc/28977/task/29004/stat : 29004 (wbo1.72) R 28973 28977 28198 0 -1 4202560 289722 0 0 0 178113 93 0 0 20 0 2 0 333415548 790446080 178687 33554432000 4194304 5964350 140737008278512 140348488726792 4399921 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.91
Current children cumulated vsize (KiB) 771920

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

[startup+1791.91 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 29065
/proc/meminfo: memFree=26585144/32873844 swapFree=7116/7116
[pid=28977] ppid=28973 vsize=771920 CPUtime=1791.52 cores=0,2,4,6
/proc/28977/stat : 28977 (wbo1.72) S 28973 28977 28198 0 -1 4202496 295242 0 0 0 179086 66 0 0 20 0 2 0 333415528 790446080 178687 33554432000 4194304 5964350 140737008278512 140737008278032 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28977/statm: 192980 178687 198 433 0 192544 0
[pid=28977/tid=29004] ppid=28973 vsize=771920 CPUtime=1791.67 cores=0,2,4,6
/proc/28977/task/29004/stat : 29004 (wbo1.72) R 28973 28977 28198 0 -1 4202560 289722 0 0 0 179074 93 0 0 20 0 2 0 333415548 790446080 178687 33554432000 4194304 5964350 140737008278512 140348488726792 18446744073699066235 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1791.52
Current children cumulated vsize (KiB) 771920

[startup+1795.1 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 29065
/proc/meminfo: memFree=26502788/32873844 swapFree=7116/7116
[pid=28977] ppid=28973 vsize=771920 CPUtime=1794.72 cores=0,2,4,6
/proc/28977/stat : 28977 (wbo1.72) S 28973 28977 28198 0 -1 4202496 295242 0 0 0 179406 66 0 0 20 0 2 0 333415528 790446080 178687 33554432000 4194304 5964350 140737008278512 140737008278032 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28977/statm: 192980 178687 198 433 0 192544 0
[pid=28977/tid=29004] ppid=28973 vsize=771920 CPUtime=1794.87 cores=0,2,4,6
/proc/28977/task/29004/stat : 29004 (wbo1.72) R 28973 28977 28198 0 -1 4202560 289722 0 0 0 179394 93 0 0 20 0 2 0 333415548 790446080 178687 33554432000 4194304 5964350 140737008278512 140348488726792 4389052 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1794.72
Current children cumulated vsize (KiB) 771920

[startup+1798.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 29065
/proc/meminfo: memFree=26611248/32873844 swapFree=7116/7116
[pid=28977] ppid=28973 vsize=771920 CPUtime=1797.91 cores=0,2,4,6
/proc/28977/stat : 28977 (wbo1.72) S 28973 28977 28198 0 -1 4202496 295242 0 0 0 179725 66 0 0 20 0 2 0 333415528 790446080 178687 33554432000 4194304 5964350 140737008278512 140737008278032 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28977/statm: 192980 178687 198 433 0 192544 0
[pid=28977/tid=29004] ppid=28973 vsize=771920 CPUtime=1798.06 cores=0,2,4,6
/proc/28977/task/29004/stat : 29004 (wbo1.72) R 28973 28977 28198 0 -1 4202560 289722 0 0 0 179713 93 0 0 20 0 2 0 333415548 790446080 178687 33554432000 4194304 5964350 140737008278512 140348488726792 4399840 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1797.91
Current children cumulated vsize (KiB) 771920

[startup+1799.1 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 29065
/proc/meminfo: memFree=26611248/32873844 swapFree=7116/7116
[pid=28977] ppid=28973 vsize=771920 CPUtime=1798.71 cores=0,2,4,6
/proc/28977/stat : 28977 (wbo1.72) S 28973 28977 28198 0 -1 4202496 295242 0 0 0 179805 66 0 0 20 0 2 0 333415528 790446080 178687 33554432000 4194304 5964350 140737008278512 140737008278032 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28977/statm: 192980 178687 198 433 0 192544 0
[pid=28977/tid=29004] ppid=28973 vsize=771920 CPUtime=1798.86 cores=0,2,4,6
/proc/28977/task/29004/stat : 29004 (wbo1.72) R 28973 28977 28198 0 -1 4202560 289722 0 0 0 179793 93 0 0 20 0 2 0 333415548 790446080 178687 33554432000 4194304 5964350 140737008278512 140348488726792 4399840 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1798.71
Current children cumulated vsize (KiB) 771920

[startup+1799.5 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 29065
/proc/meminfo: memFree=26611248/32873844 swapFree=7116/7116
[pid=28977] ppid=28973 vsize=771920 CPUtime=1799.12 cores=0,2,4,6
/proc/28977/stat : 28977 (wbo1.72) S 28973 28977 28198 0 -1 4202496 295242 0 0 0 179846 66 0 0 20 0 2 0 333415528 790446080 178687 33554432000 4194304 5964350 140737008278512 140737008278032 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28977/statm: 192980 178687 198 433 0 192544 0
[pid=28977/tid=29004] ppid=28973 vsize=771920 CPUtime=1799.27 cores=0,2,4,6
/proc/28977/task/29004/stat : 29004 (wbo1.72) R 28973 28977 28198 0 -1 4202560 289722 0 0 0 179834 93 0 0 20 0 2 0 333415548 790446080 178687 33554432000 4194304 5964350 140737008278512 140348488726792 4399840 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.12
Current children cumulated vsize (KiB) 771920

[startup+1799.9 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 29065
/proc/meminfo: memFree=26611248/32873844 swapFree=7116/7116
[pid=28977] ppid=28973 vsize=771920 CPUtime=1799.51 cores=0,2,4,6
/proc/28977/stat : 28977 (wbo1.72) S 28973 28977 28198 0 -1 4202496 295242 0 0 0 179885 66 0 0 20 0 2 0 333415528 790446080 178687 33554432000 4194304 5964350 140737008278512 140737008278032 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28977/statm: 192980 178687 198 433 0 192544 0
[pid=28977/tid=29004] ppid=28973 vsize=771920 CPUtime=1799.66 cores=0,2,4,6
/proc/28977/task/29004/stat : 29004 (wbo1.72) R 28973 28977 28198 0 -1 4202560 289722 0 0 0 179873 93 0 0 20 0 2 0 333415548 790446080 178687 33554432000 4194304 5964350 140737008278512 140348488726792 4403530 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.51
Current children cumulated vsize (KiB) 771920

[startup+1800 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 29065
/proc/meminfo: memFree=26611248/32873844 swapFree=7116/7116
[pid=28977] ppid=28973 vsize=771920 CPUtime=1799.61 cores=0,2,4,6
/proc/28977/stat : 28977 (wbo1.72) S 28973 28977 28198 0 -1 4202496 295242 0 0 0 179895 66 0 0 20 0 2 0 333415528 790446080 178687 33554432000 4194304 5964350 140737008278512 140737008278032 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28977/statm: 192980 178687 198 433 0 192544 0
[pid=28977/tid=29004] ppid=28973 vsize=771920 CPUtime=1799.76 cores=0,2,4,6
/proc/28977/task/29004/stat : 29004 (wbo1.72) R 28973 28977 28198 0 -1 4202560 289722 0 0 0 179883 93 0 0 20 0 2 0 333415548 790446080 178687 33554432000 4194304 5964350 140737008278512 140348488726792 4403649 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.61
Current children cumulated vsize (KiB) 771920

Child status: 255
Real time (s): 1800.01
CPU time (s): 1799.99
CPU user time (s): 1799.04
CPU system time (s): 0.950855
CPU usage (%): 99.9991
Max. virtual memory (cumulated for all children) (KiB): 771920

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.04
system time used= 0.950855
maximum resident set size= 716796
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 295244
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= 164
involuntary context switches= 2002

runsolver used 2.70559 second user time and 7.14291 second system time

The end

Launcher Data

Begin job on node111 at 2012-06-02 23:34:46
IDJOB=3727881
IDBENCH=90860
IDSOLVER=2313
FILE ID=node111/3727881-1338672885
RUNJOBID= node111-1338669285-28734
PBS_JOBID= 14636481
Free space on /tmp= 67388 MiB

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

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

MD5SUM BENCH= 4555e70390d674ec14d0ef1e0b38ebad
RANDOM SEED=1999933858

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.152
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.152
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.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        31475296 kB
Buffers:          157924 kB
Cached:           450776 kB
SwapCached:         1352 kB
Active:           137996 kB
Inactive:         476388 kB
Active(anon):       6680 kB
Inactive(anon):     1120 kB
Active(file):     131316 kB
Inactive(file):   475268 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67100048 kB
Dirty:              7780 kB
Writeback:             0 kB
AnonPages:        170756 kB
Mapped:             8656 kB
Shmem:                 0 kB
Slab:             644880 kB
SReclaimable:      87060 kB
SUnreclaim:       557820 kB
KernelStack:        1488 kB
PageTables:         4028 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     126728 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    159744 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= 67356 MiB
End job on node111 at 2012-06-03 00:04:46