Trace number 3727857

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
wbo 1.72? 1799.46 1800.01

General information on the benchmark

Name/OPT-SMALLINT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_fibo_50null0mast_rapportOE1.0_TMAX120_K67_cod2.opb
MD5SUM8e8a9709ab0638484b49ff5cae7622ac
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-94333
Best CPU time to get the best result obtained on this benchmark1797.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 6765
Number of bits for the biggest coefficient in the objective function 13
Sum of the numbers in the objective function 250772
Number of bits of the sum of numbers in the objective function 18
Biggest number in a constraint 6765
Number of bits of the biggest number in a constraint 13
Biggest sum of numbers in a constraint 250772
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-3727857-1338671171.opb.
0.00/0.00	c Instance file HOME/instance-3727857-1338671171.opb
0.00/0.00	c File size is 2491997 bytes.
0.09/0.19	c Cost Offset: -250772
0.09/0.19	c Highest Coefficient sum: 12352
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.22	c |  Problem Type:          Optimization                                        |
0.19/0.22	c |  Objective Function:    Cardinality Constraint                              |
0.19/0.22	c |                                                                             |
0.19/0.22	c ============================[ Search Statistics ]==============================
0.19/0.22	c | Time (s)  | ID |      Bound      |               Shared Clauses             |
0.19/0.22	c |           |    | value      type |  expCls         impCls        Lit/impCl  |
0.19/0.22	c ===============================================================================
0.19/0.27	c | 0.27      | 0  | -250771      lb |  0                0                0.00  |
0.29/0.31	c | 0.31      | 0  | -250770      lb |  0                0                0.00  |
0.29/0.34	c | 0.34      | 0  | -250769      lb |  0                0                0.00  |
0.29/0.37	c | 0.38      | 0  | -250767      lb |  0                0                0.00  |
0.39/0.41	c | 0.41      | 0  | -250764      lb |  0                0                0.00  |
0.39/0.44	c | 0.45      | 0  | -250759      lb |  0                0                0.00  |
0.39/0.48	c | 0.48      | 0  | -250751      lb |  0                0                0.00  |
0.49/0.51	c | 0.52      | 0  | -250738      lb |  0                0                0.00  |
0.49/0.55	c | 0.56      | 0  | -250717      lb |  0                0                0.00  |
0.49/0.59	c | 0.59      | 0  | -250683      lb |  0                0                0.00  |
0.59/0.62	c | 0.63      | 0  | -250628      lb |  0                0                0.00  |
0.59/0.66	c | 0.67      | 0  | -250539      lb |  0                0                0.00  |
0.69/0.70	c | 0.70      | 0  | -250395      lb |  0                0                0.00  |
0.69/0.74	c | 0.74      | 0  | -250162      lb |  0                0                0.00  |
0.69/0.78	c | 0.78      | 0  | -249785      lb |  0                0                0.00  |
0.79/0.82	c | 0.83      | 0  | -249784      lb |  0                0                0.00  |
0.79/0.87	c | 0.88      | 0  | -249783      lb |  0                0                0.00  |
0.89/0.92	c | 0.92      | 0  | -249782      lb |  0                0                0.00  |
0.89/0.96	c | 0.97      | 0  | -249781      lb |  0                0                0.00  |
0.99/1.02	c | 1.02      | 0  | -249780      lb |  0                0                0.00  |
0.99/1.06	c | 1.07      | 0  | -249779      lb |  0                0                0.00  |
1.09/1.11	c | 1.12      | 0  | -249778      lb |  0                0                0.00  |
1.09/1.16	c | 1.17      | 0  | -249777      lb |  0                0                0.00  |
1.19/1.21	c | 1.22      | 0  | -249776      lb |  0                0                0.00  |
1.19/1.26	c | 1.26      | 0  | -249774      lb |  0                0                0.00  |
1.28/1.31	c | 1.32      | 0  | -249773      lb |  0                0                0.00  |
1.28/1.36	c | 1.37      | 0  | -249772      lb |  0                0                0.00  |
1.38/1.41	c | 1.42      | 0  | -249771      lb |  0                0                0.00  |
1.38/1.47	c | 1.47      | 0  | -249770      lb |  0                0                0.00  |
1.48/1.52	c | 1.52      | 0  | -249769      lb |  0                0                0.00  |
1.48/1.57	c | 1.57      | 0  | -249767      lb |  0                0                0.00  |
1.58/1.62	c | 1.63      | 0  | -249766      lb |  0                0                0.00  |
1.58/1.67	c | 1.68      | 0  | -249764      lb |  0                0                0.00  |
1.69/1.73	c | 1.73      | 0  | -249763      lb |  0                0                0.00  |
1.69/1.78	c | 1.79      | 0  | -249762      lb |  0                0                0.00  |
1.79/1.83	c | 1.84      | 0  | -249761      lb |  0                0                0.00  |
1.79/1.89	c | 1.89      | 0  | -249760      lb |  0                0                0.00  |
1.89/1.95	c | 1.95      | 0  | -249759      lb |  0                0                0.00  |
1.99/2.00	c | 2.01      | 0  | -249758      lb |  0                0                0.00  |
1.99/2.06	c | 2.06      | 0  | -249757      lb |  0                0                0.00  |
2.09/2.12	c | 2.12      | 0  | -249756      lb |  0                0                0.00  |
2.09/2.18	c | 2.18      | 0  | -249755      lb |  0                0                0.00  |
2.19/2.23	c | 2.24      | 0  | -249754      lb |  0                0                0.00  |
2.19/2.29	c | 2.29      | 0  | -249753      lb |  0                0                0.00  |
2.28/2.35	c | 2.35      | 0  | -249752      lb |  0                0                0.00  |
2.38/2.41	c | 2.41      | 0  | -249751      lb |  0                0                0.00  |
2.38/2.46	c | 2.47      | 0  | -249750      lb |  0                0                0.00  |
2.48/2.52	c | 2.52      | 0  | -249748      lb |  0                0                0.00  |
2.48/2.58	c | 2.58      | 0  | -249747      lb |  0                0                0.00  |
2.59/2.64	c | 2.64      | 0  | -249746      lb |  0                0                0.00  |
2.59/2.70	c | 2.70      | 0  | -249745      lb |  0                0                0.00  |
2.69/2.75	c | 2.76      | 0  | -249743      lb |  0                0                0.00  |
2.79/2.81	c | 2.82      | 0  | -249742      lb |  0                0                0.00  |
2.79/2.87	c | 2.88      | 0  | -249741      lb |  0                0                0.00  |
2.89/2.93	c | 2.94      | 0  | -249740      lb |  0                0                0.00  |
2.99/3.00	c | 3.00      | 0  | -249739      lb |  0                0                0.00  |
2.99/3.07	c | 3.07      | 0  | -249738      lb |  0                0                0.00  |
3.08/3.13	c | 3.14      | 0  | -249737      lb |  0                0                0.00  |
3.08/3.20	c | 3.21      | 0  | -249736      lb |  0                0                0.00  |
3.19/3.27	c | 3.27      | 0  | -249735      lb |  0                0                0.00  |
3.29/3.34	c | 3.34      | 0  | -249734      lb |  0                0                0.00  |
3.38/3.40	c | 3.41      | 0  | -249733      lb |  0                0                0.00  |
3.38/3.47	c | 3.48      | 0  | -249732      lb |  0                0                0.00  |
3.48/3.54	c | 3.54      | 0  | -249731      lb |  0                0                0.00  |
3.58/3.61	c | 3.61      | 0  | -249730      lb |  0                0                0.00  |
3.58/3.68	c | 3.68      | 0  | -249729      lb |  0                0                0.00  |
3.68/3.75	c | 3.75      | 0  | -249726      lb |  0                0                0.00  |
3.79/3.82	c | 3.82      | 0  | -249725      lb |  0                0                0.00  |
3.79/3.89	c | 3.89      | 0  | -249722      lb |  0                0                0.00  |
3.89/3.96	c | 3.96      | 0  | -249718      lb |  0                0                0.00  |
3.98/4.03	c | 4.03      | 0  | -249717      lb |  0                0                0.00  |
4.08/4.10	c | 4.10      | 0  | -249714      lb |  0                0                0.00  |
4.08/4.17	c | 4.17      | 0  | -249707      lb |  0                0                0.00  |
4.18/4.24	c | 4.25      | 0  | -249706      lb |  0                0                0.00  |
4.29/4.31	c | 4.32      | 0  | -249705      lb |  0                0                0.00  |
4.29/4.39	c | 4.39      | 0  | -249704      lb |  0                0                0.00  |
4.39/4.46	c | 4.46      | 0  | -249702      lb |  0                0                0.00  |
4.48/4.53	c | 4.54      | 0  | -249701      lb |  0                0                0.00  |
4.58/4.60	c | 4.61      | 0  | -249700      lb |  0                0                0.00  |
4.58/4.68	c | 4.68      | 0  | -249699      lb |  0                0                0.00  |
4.68/4.75	c | 4.75      | 0  | -249698      lb |  0                0                0.00  |
4.78/4.82	c | 4.82      | 0  | -249697      lb |  0                0                0.00  |
4.78/4.89	c | 4.90      | 0  | -249696      lb |  0                0                0.00  |
4.88/4.97	c | 4.97      | 0  | -249695      lb |  0                0                0.00  |
4.99/5.04	c | 5.04      | 0  | -249690      lb |  0                0                0.00  |
5.09/5.12	c | 5.12      | 0  | -249688      lb |  0                0                0.00  |
5.09/5.19	c | 5.20      | 0  | -249687      lb |  0                0                0.00  |
5.19/5.27	c | 5.27      | 0  | -249686      lb |  0                0                0.00  |
5.29/5.34	c | 5.34      | 0  | -249685      lb |  0                0                0.00  |
5.39/5.42	c | 5.42      | 0  | -249684      lb |  0                0                0.00  |
5.39/5.49	c | 5.50      | 0  | -249683      lb |  0                0                0.00  |
5.49/5.57	c | 5.57      | 0  | -249681      lb |  0                0                0.00  |
5.58/5.64	c | 5.64      | 0  | -249680      lb |  0                0                0.00  |
5.68/5.71	c | 5.72      | 0  | -249679      lb |  0                0                0.00  |
5.68/5.79	c | 5.79      | 0  | -249678      lb |  0                0                0.00  |
5.78/5.87	c | 5.87      | 0  | -249677      lb |  0                0                0.00  |
5.88/5.94	c | 5.95      | 0  | -249673      lb |  0                0                0.00  |
5.98/6.02	c | 6.02      | 0  | -249670      lb |  0                0                0.00  |
5.98/6.09	c | 6.10      | 0  | -249669      lb |  0                0                0.00  |
6.08/6.17	c | 6.17      | 0  | -249668      lb |  0                0                0.00  |
6.18/6.25	c | 6.25      | 0  | -249666      lb |  0                0                0.00  |
6.28/6.32	c | 6.32      | 0  | -249665      lb |  0                0                0.00  |
6.28/6.39	c | 6.39      | 0  | -249662      lb |  0                0                0.00  |
6.38/6.46	c | 6.46      | 0  | -249659      lb |  0                0                0.00  |
6.48/6.53	c | 6.53      | 0  | -249655      lb |  0                0                0.00  |
6.48/6.60	c | 6.60      | 0  | -249654      lb |  0                0                0.00  |
6.58/6.67	c | 6.67      | 0  | -249651      lb |  0                0                0.00  |
6.68/6.75	c | 6.75      | 0  | -249650      lb |  0                0                0.00  |
6.78/6.82	c | 6.82      | 0  | -249649      lb |  0                0                0.00  |
6.78/6.89	c | 6.89      | 0  | -249647      lb |  0                0                0.00  |
6.89/6.96	c | 6.97      | 0  | -249645      lb |  0                0                0.00  |
6.99/7.03	c | 7.04      | 0  | -249644      lb |  0                0                0.00  |
7.08/7.11	c | 7.11      | 0  | -249637      lb |  0                0                0.00  |
7.08/7.18	c | 7.18      | 0  | -249636      lb |  0                0                0.00  |
7.18/7.25	c | 7.25      | 0  | -249631      lb |  0                0                0.00  |
7.28/7.32	c | 7.33      | 0  | -249618      lb |  0                0                0.00  |
7.28/7.39	c | 7.40      | 0  | -249617      lb |  0                0                0.00  |
7.38/7.47	c | 7.47      | 0  | -249616      lb |  0                0                0.00  |
7.48/7.54	c | 7.54      | 0  | -249607      lb |  0                0                0.00  |
7.58/7.61	c | 7.62      | 0  | -249598      lb |  0                0                0.00  |
7.58/7.69	c | 7.69      | 0  | -249579      lb |  0                0                0.00  |
7.69/7.76	c | 7.76      | 0  | -249578      lb |  0                0                0.00  |
7.79/7.83	c | 7.84      | 0  | -249577      lb |  0                0                0.00  |
7.89/7.91	c | 7.91      | 0  | -249576      lb |  0                0                0.00  |
7.89/7.98	c | 7.98      | 0  | -249574      lb |  0                0                0.00  |
7.98/8.05	c | 8.06      | 0  | -249572      lb |  0                0                0.00  |
8.08/8.13	c | 8.13      | 0  | -249568      lb |  0                0                0.00  |
8.18/8.20	c | 8.21      | 0  | -249566      lb |  0                0                0.00  |
8.18/8.28	c | 8.28      | 0  | -249563      lb |  0                0                0.00  |
8.28/8.35	c | 8.36      | 0  | -249558      lb |  0                0                0.00  |
8.38/8.43	c | 8.44      | 0  | -249553      lb |  0                0                0.00  |
8.48/8.51	c | 8.52      | 0  | -249552      lb |  0                0                0.00  |
8.58/8.60	c | 8.60      | 0  | -249547      lb |  0                0                0.00  |
8.58/8.68	c | 8.68      | 0  | -249542      lb |  0                0                0.00  |
8.68/8.76	c | 8.77      | 0  | -249437      lb |  0                0                0.00  |
8.79/8.84	c | 8.84      | 0  | -249436      lb |  0                0                0.00  |
8.89/8.91	c | 8.91      | 0  | -249435      lb |  0                0                0.00  |
8.89/8.99	c | 8.99      | 0  | -249433      lb |  0                0                0.00  |
8.98/9.06	c | 9.06      | 0  | -249432      lb |  0                0                0.00  |
9.08/9.14	c | 9.14      | 0  | -249430      lb |  0                0                0.00  |
9.18/9.21	c | 9.21      | 0  | -249426      lb |  0                0                0.00  |
9.18/9.28	c | 9.29      | 0  | -249423      lb |  0                0                0.00  |
9.28/9.36	c | 9.36      | 0  | -249422      lb |  0                0                0.00  |
9.38/9.43	c | 9.44      | 0  | -249421      lb |  0                0                0.00  |
9.48/9.51	c | 9.51      | 0  | -249419      lb |  0                0                0.00  |
9.48/9.58	c | 9.59      | 0  | -249418      lb |  0                0                0.00  |
9.58/9.66	c | 9.66      | 0  | -249417      lb |  0                0                0.00  |
9.68/9.73	c | 9.74      | 0  | -249416      lb |  0                0                0.00  |
9.79/9.80	c | 9.81      | 0  | -249408      lb |  0                0                0.00  |
9.79/9.89	c | 9.89      | 0  | -249406      lb |  0                0                0.00  |
9.89/9.97	c | 9.97      | 0  | -249400      lb |  0                0                0.00  |
9.98/10.05	c | 10.05     | 0  | -249382      lb |  0                0                0.00  |
10.08/10.13	c | 10.14     | 0  | -249356      lb |  0                0                0.00  |
10.19/10.22	c | 10.22     | 0  | -249336      lb |  0                0                0.00  |
10.19/10.29	c | 10.30     | 0  | -249319      lb |  0                0                0.00  |
10.29/10.38	c | 10.38     | 0  | -249318      lb |  0                0                0.00  |
10.38/10.47	c | 10.48     | 0  | -249317      lb |  0                0                0.00  |
10.48/10.56	c | 10.57     | 0  | -249316      lb |  0                0                0.00  |
10.58/10.66	c | 10.66     | 0  | -249315      lb |  0                0                0.00  |
10.68/10.75	c | 10.76     | 0  | -249314      lb |  0                0                0.00  |
10.78/10.85	c | 10.85     | 0  | -249309      lb |  0                0                0.00  |
10.88/10.94	c | 10.94     | 0  | -249293      lb |  0                0                0.00  |
10.99/11.03	c | 11.04     | 0  | -249264      lb |  0                0                0.00  |
11.08/11.13	c | 11.13     | 0  | -249256      lb |  0                0                0.00  |
11.18/11.22	c | 11.23     | 0  | -249220      lb |  0                0                0.00  |
11.28/11.32	c | 11.32     | 0  | -249212      lb |  0                0                0.00  |
11.38/11.41	c | 11.42     | 0  | -249202      lb |  0                0                0.00  |
11.48/11.51	c | 11.51     | 0  | -249197      lb |  0                0                0.00  |
11.58/11.60	c | 11.61     | 0  | -249196      lb |  0                0                0.00  |
11.58/11.70	c | 11.70     | 0  | -249187      lb |  0                0                0.00  |
11.78/11.80	c | 11.80     | 0  | -249186      lb |  0                0                0.00  |
11.88/11.90	c | 11.90     | 0  | -249185      lb |  0                0                0.00  |
11.88/12.00	c | 12.00     | 0  | -249184      lb |  0                0                0.00  |
12.09/12.11	c | 12.12     | 0  | -249183      lb |  0                0                0.00  |
12.18/12.22	c | 12.22     | 0  | -249182      lb |  0                0                0.00  |
12.28/12.33	c | 12.34     | 0  | -249181      lb |  0                0                0.00  |
12.38/12.43	c | 12.44     | 0  | -249180      lb |  0                0                0.00  |
12.48/12.54	c | 12.54     | 0  | -249179      lb |  0                0                0.00  |
12.58/12.68	c | 12.68     | 0  | -249178      lb |  0                0                0.00  |
12.68/12.78	c | 12.78     | 0  | -249177      lb |  0                0                0.00  |
12.88/12.90	c | 12.90     | 0  | -249176      lb |  0                0                0.00  |
13.09/13.16	c | 13.17     | 0  | -249175      lb |  0                0                0.00  |
13.38/13.42	c | 13.43     | 0  | -249174      lb |  0                0                0.00  |
13.58/13.62	c | 13.62     | 0  | -249173      lb |  0                0                0.00  |
13.78/13.83	c | 13.84     | 0  | -249172      lb |  0                0                0.00  |
13.98/14.06	c | 14.06     | 0  | -249171      lb |  0                0                0.00  |
14.28/14.31	c | 14.31     | 0  | -249170      lb |  0                0                0.00  |
14.48/14.55	c | 14.56     | 0  | -249169      lb |  0                0                0.00  |
14.68/14.79	c | 14.79     | 0  | -249168      lb |  0                0                0.00  |
14.88/14.93	c | 14.93     | 0  | -249167      lb |  0                0                0.00  |
15.08/15.18	c | 15.19     | 0  | -249166      lb |  0                0                0.00  |
15.39/15.43	c | 15.44     | 0  | -249165      lb |  0                0                0.00  |
15.68/15.71	c | 15.71     | 0  | -249164      lb |  0                0                0.00  |
15.98/16.04	c | 16.04     | 0  | -249163      lb |  0                0                0.00  |
16.18/16.27	c | 16.27     | 0  | -249162      lb |  0                0                0.00  |
16.39/16.45	c | 16.45     | 0  | -249161      lb |  0                0                0.00  |
16.58/16.62	c | 16.62     | 0  | -249160      lb |  0                0                0.00  |
16.68/16.77	c | 16.77     | 0  | -249159      lb |  0                0                0.00  |
16.88/16.92	c | 16.93     | 0  | -249158      lb |  0                0                0.00  |
17.18/17.20	c | 17.20     | 0  | -249157      lb |  0                0                0.00  |
17.28/17.37	c | 17.37     | 0  | -249156      lb |  0                0                0.00  |
17.49/17.53	c | 17.54     | 0  | -249155      lb |  0                0                0.00  |
17.68/17.78	c | 17.79     | 0  | -249154      lb |  0                0                0.00  |
17.98/18.01	c | 18.01     | 0  | -249153      lb |  0                0                0.00  |
18.18/18.26	c | 18.27     | 0  | -249152      lb |  0                0                0.00  |
18.48/18.50	c | 18.50     | 0  | -249151      lb |  0                0                0.00  |
18.69/18.73	c | 18.74     | 0  | -249150      lb |  0                0                0.00  |
18.88/18.96	c | 18.96     | 0  | -249149      lb |  0                0                0.00  |
19.08/19.14	c | 19.14     | 0  | -249148      lb |  0                0                0.00  |
19.28/19.35	c | 19.35     | 0  | -249147      lb |  0                0                0.00  |
19.48/19.55	c | 19.55     | 0  | -249146      lb |  0                0                0.00  |
19.69/19.71	c | 19.72     | 0  | -249145      lb |  0                0                0.00  |
19.88/19.90	c | 19.90     | 0  | -249144      lb |  0                0                0.00  |
20.08/20.10	c | 20.10     | 0  | -249143      lb |  0                0                0.00  |
20.17/20.29	c | 20.30     | 0  | -249142      lb |  0                0                0.00  |
20.37/20.46	c | 20.46     | 0  | -249141      lb |  0                0                0.00  |
20.58/20.63	c | 20.64     | 0  | -249140      lb |  0                0                0.00  |
20.79/20.80	c | 20.81     | 0  | -249139      lb |  0                0                0.00  |
20.98/21.03	c | 21.04     | 0  | -249138      lb |  0                0                0.00  |
21.08/21.19	c | 21.20     | 0  | -249137      lb |  0                0                0.00  |
21.28/21.34	c | 21.34     | 0  | -249136      lb |  0                0                0.00  |
21.48/21.50	c | 21.51     | 0  | -249135      lb |  0                0                0.00  |
21.68/21.77	c | 21.77     | 0  | -249134      lb |  0                0                0.00  |
21.88/21.96	c | 21.97     | 0  | -249133      lb |  0                0                0.00  |
22.07/22.19	c | 22.19     | 0  | -249132      lb |  0                0                0.00  |
22.28/22.34	c | 22.35     | 0  | -249131      lb |  0                0                0.00  |
22.48/22.55	c | 22.55     | 0  | -249130      lb |  0                0                0.00  |
22.68/22.74	c | 22.74     | 0  | -249129      lb |  0                0                0.00  |
22.78/22.86	c | 22.87     | 0  | -249128      lb |  0                0                0.00  |
22.98/23.05	c | 23.06     | 0  | -249127      lb |  0                0                0.00  |
23.17/23.22	c | 23.23     | 0  | -249126      lb |  0                0                0.00  |
23.27/23.39	c | 23.39     | 0  | -249125      lb |  0                0                0.00  |
23.48/23.56	c | 23.56     | 0  | -249124      lb |  0                0                0.00  |
23.68/23.71	c | 23.71     | 0  | -249123      lb |  0                0                0.00  |
23.88/23.91	c | 23.92     | 0  | -249122      lb |  0                0                0.00  |
24.09/24.11	c | 24.11     | 0  | -249121      lb |  0                0                0.00  |
24.28/24.34	c | 24.35     | 0  | -249120      lb |  0                0                0.00  |
24.48/24.52	c | 24.52     | 0  | -249119      lb |  0                0                0.00  |
24.67/24.73	c | 24.73     | 0  | -249118      lb |  0                0                0.00  |
24.87/24.92	c | 24.92     | 0  | -249117      lb |  0                0                0.00  |
24.98/25.09	c | 25.10     | 0  | -249116      lb |  0                0                0.00  |
25.19/25.28	c | 25.28     | 0  | -249115      lb |  0                0                0.00  |
25.38/25.44	c | 25.44     | 0  | -249114      lb |  0                0                0.00  |
25.48/25.59	c | 25.59     | 0  | -249113      lb |  0                0                0.00  |
25.68/25.77	c | 25.77     | 0  | -249112      lb |  0                0                0.00  |
25.87/25.95	c | 25.95     | 0  | -249111      lb |  0                0                0.00  |
26.08/26.13	c | 26.14     | 0  | -249110      lb |  0                0                0.00  |
26.29/26.33	c | 26.33     | 0  | -249109      lb |  0                0                0.00  |
26.48/26.51	c | 26.52     | 0  | -249108      lb |  0                0                0.00  |
26.58/26.66	c | 26.67     | 0  | -249107      lb |  0                0                0.00  |
26.78/26.86	c | 26.86     | 0  | -249106      lb |  0                0                0.00  |
26.97/27.08	c | 27.09     | 0  | -249105      lb |  0                0                0.00  |
27.17/27.27	c | 27.28     | 0  | -249104      lb |  0                0                0.00  |
27.38/27.47	c | 27.48     | 0  | -249103      lb |  0                0                0.00  |
27.58/27.66	c | 27.66     | 0  | -249102      lb |  0                0                0.00  |
27.77/27.84	c | 27.84     | 0  | -249101      lb |  0                0                0.00  |
27.97/28.04	c | 28.05     | 0  | -249100      lb |  0                0                0.00  |
28.17/28.25	c | 28.26     | 0  | -249099      lb |  0                0                0.00  |
28.37/28.40	c | 28.40     | 0  | -249098      lb |  0                0                0.00  |
28.49/28.59	c | 28.59     | 0  | -249097      lb |  0                0                0.00  |
28.68/28.76	c | 28.76     | 0  | -249096      lb |  0                0                0.00  |
28.88/28.94	c | 28.95     | 0  | -249095      lb |  0                0                0.00  |
28.98/29.08	c | 29.08     | 0  | -249094      lb |  0                0                0.00  |
29.18/29.28	c | 29.29     | 0  | -249093      lb |  0                0                0.00  |
29.38/29.47	c | 29.47     | 0  | -249092      lb |  0                0                0.00  |
29.58/29.65	c | 29.65     | 0  | -249091      lb |  0                0                0.00  |
29.78/29.85	c | 29.86     | 0  | -249090      lb |  0                0                0.00  |
29.98/30.01	c | 30.02     | 0  | -249089      lb |  0                0                0.00  |
30.08/30.19	c | 30.19     | 0  | -249088      lb |  0                0                0.00  |
30.28/30.39	c | 30.39     | 0  | -249087      lb |  0                0                0.00  |
30.48/30.58	c | 30.59     | 0  | -249086      lb |  0                0                0.00  |
30.68/30.80	c | 30.80     | 0  | -249085      lb |  0                0                0.00  |
30.88/30.95	c | 30.95     | 0  | -249084      lb |  0                0                0.00  |
31.08/31.11	c | 31.11     | 0  | -249083      lb |  0                0                0.00  |
31.17/31.29	c | 31.30     | 0  | -249082      lb |  0                0                0.00  |
31.37/31.46	c | 31.46     | 0  | -249081      lb |  0                0                0.00  |
31.57/31.63	c | 31.63     | 0  | -249075      lb |  0                0                0.00  |
31.78/31.80	c | 31.81     | 0  | -249074      lb |  0                0                0.00  |
31.88/31.99	c | 31.99     | 0  | -249073      lb |  0                0                0.00  |
32.17/32.22	c | 32.22     | 0  | -249072      lb |  0                0                0.00  |
32.27/32.38	c | 32.39     | 0  | -249071      lb |  0                0                0.00  |
32.47/32.59	c | 32.59     | 0  | -249070      lb |  0                0                0.00  |
32.67/32.76	c | 32.76     | 0  | -249069      lb |  0                0                0.00  |
32.88/32.94	c | 32.94     | 0  | -249068      lb |  0                0                0.00  |
33.07/33.13	c | 33.13     | 0  | -249067      lb |  0                0                0.00  |
33.27/33.30	c | 33.30     | 0  | -249066      lb |  0                0                0.00  |
33.47/33.51	c | 33.52     | 0  | -249065      lb |  0                0                0.00  |
33.67/33.75	c | 33.75     | 0  | -249064      lb |  0                0                0.00  |
33.87/33.92	c | 33.92     | 0  | -249054      lb |  0                0                0.00  |
33.97/34.08	c | 34.08     | 0  | -249053      lb |  0                0                0.00  |
34.17/34.24	c | 34.25     | 0  | -249052      lb |  0                0                0.00  |
34.37/34.41	c | 34.41     | 0  | -249051      lb |  0                0                0.00  |
34.46/34.58	c | 34.58     | 0  | -249050      lb |  0                0                0.00  |
34.66/34.76	c | 34.76     | 0  | -249049      lb |  0                0                0.00  |
34.86/34.96	c | 34.96     | 0  | -249047      lb |  0                0                0.00  |
35.07/35.14	c | 35.14     | 0  | -249046      lb |  0                0                0.00  |
35.27/35.31	c | 35.31     | 0  | -249045      lb |  0                0                0.00  |
35.37/35.48	c | 35.48     | 0  | -249044      lb |  0                0                0.00  |
35.57/35.69	c | 35.69     | 0  | -249043      lb |  0                0                0.00  |
35.77/35.89	c | 35.89     | 0  | -249042      lb |  0                0                0.00  |
35.97/36.05	c | 36.05     | 0  | -249041      lb |  0                0                0.00  |
36.18/36.21	c | 36.22     | 0  | -249040      lb |  0                0                0.00  |
36.37/36.41	c | 36.42     | 0  | -249039      lb |  0                0                0.00  |
36.57/36.63	c | 36.63     | 0  | -249038      lb |  0                0                0.00  |
36.77/36.82	c | 36.83     | 0  | -249037      lb |  0                0                0.00  |
36.97/37.02	c | 37.02     | 0  | -249036      lb |  0                0                0.00  |
37.17/37.20	c | 37.20     | 0  | -249035      lb |  0                0                0.00  |
37.27/37.36	c | 37.37     | 0  | -249034      lb |  0                0                0.00  |
37.47/37.55	c | 37.55     | 0  | -249033      lb |  0                0                0.00  |
37.67/37.73	c | 37.73     | 0  | -249032      lb |  0                0                0.00  |
37.87/37.90	c | 37.90     | 0  | -249031      lb |  0                0                0.00  |
37.97/38.08	c | 38.09     | 0  | -249030      lb |  0                0                0.00  |
38.17/38.28	c | 38.29     | 0  | -249029      lb |  0                0                0.00  |
38.37/38.47	c | 38.48     | 0  | -249028      lb |  0                0                0.00  |
38.57/38.68	c | 38.69     | 0  | -249027      lb |  0                0                0.00  |
38.77/38.86	c | 38.86     | 0  | -249026      lb |  0                0                0.00  |
38.97/39.04	c | 39.04     | 0  | -249025      lb |  0                0                0.00  |
39.17/39.27	c | 39.27     | 0  | -249024      lb |  0                0                0.00  |
39.36/39.49	c | 39.50     | 0  | -249023      lb |  0                0                0.00  |
39.58/39.69	c | 39.70     | 0  | -249022      lb |  0                0                0.00  |
39.87/39.93	c | 39.93     | 0  | -249021      lb |  0                0                0.00  |
40.07/40.14	c | 40.15     | 0  | -249020      lb |  0                0                0.00  |
40.37/40.40	c | 40.41     | 0  | -249019      lb |  0                0                0.00  |
40.58/40.61	c | 40.61     | 0  | -249018      lb |  0                0                0.00  |
40.68/40.79	c | 40.80     | 0  | -249017      lb |  0                0                0.00  |
40.87/40.98	c | 40.98     | 0  | -249016      lb |  0                0                0.00  |
41.07/41.19	c | 41.19     | 0  | -249015      lb |  0                0                0.00  |
41.27/41.39	c | 41.40     | 0  | -249014      lb |  0                0                0.00  |
41.57/41.61	c | 41.61     | 0  | -249013      lb |  0                0                0.00  |
41.77/41.84	c | 41.85     | 0  | -249012      lb |  0                0                0.00  |
41.96/42.06	c | 42.07     | 0  | -249011      lb |  0                0                0.00  |
42.16/42.26	c | 42.27     | 0  | -249010      lb |  0                0                0.00  |
42.36/42.46	c | 42.47     | 0  | -249009      lb |  0                0                0.00  |
42.66/42.71	c | 42.71     | 0  | -249008      lb |  0                0                0.00  |
42.87/42.91	c | 42.91     | 0  | -249007      lb |  0                0                0.00  |
42.97/43.07	c | 43.08     | 0  | -249006      lb |  0                0                0.00  |
43.17/43.24	c | 43.25     | 0  | -249005      lb |  0                0                0.00  |
43.37/43.42	c | 43.42     | 0  | -249004      lb |  0                0                0.00  |
43.46/43.60	c | 43.60     | 0  | -249003      lb |  0                0                0.00  |
43.66/43.78	c | 43.79     | 0  | -249002      lb |  0                0                0.00  |
43.87/43.97	c | 43.97     | 0  | -249001      lb |  0                0                0.00  |
44.07/44.16	c | 44.17     | 0  | -249000      lb |  0                0                0.00  |
44.26/44.34	c | 44.34     | 0  | -248999      lb |  0                0                0.00  |
44.46/44.52	c | 44.52     | 0  | -248998      lb |  0                0                0.00  |
44.66/44.71	c | 44.71     | 0  | -248997      lb |  0                0                0.00  |
44.86/44.91	c | 44.91     | 0  | -248996      lb |  0                0                0.00  |
45.07/45.19	c | 45.19     | 0  | -248995      lb |  0                0                0.00  |
45.37/45.40	c | 45.40     | 0  | -248994      lb |  0                0                0.00  |
45.56/45.60	c | 45.60     | 0  | -248993      lb |  0                0                0.00  |
45.76/45.83	c | 45.83     | 0  | -248992      lb |  0                0                0.00  |
45.96/46.05	c | 46.05     | 0  | -248991      lb |  0                0                0.00  |
46.17/46.27	c | 46.27     | 0  | -248990      lb |  0                0                0.00  |
46.46/46.50	c | 46.50     | 0  | -248989      lb |  0                0                0.00  |
46.66/46.72	c | 46.72     | 0  | -248988      lb |  0                0                0.00  |
46.86/46.95	c | 46.96     | 0  | -248987      lb |  0                0                0.00  |
47.06/47.16	c | 47.17     | 0  | -248986      lb |  0                0                0.00  |
47.27/47.34	c | 47.35     | 0  | -248985      lb |  0                0                0.00  |
47.47/47.58	c | 47.59     | 0  | -248984      lb |  0                0                0.00  |
47.77/47.84	c | 47.85     | 0  | -248983      lb |  0                0                0.00  |
48.06/48.11	c | 48.12     | 0  | -248982      lb |  0                0                0.00  |
48.27/48.33	c | 48.33     | 0  | -248981      lb |  0                0                0.00  |
48.47/48.54	c | 48.55     | 0  | -248980      lb |  0                0                0.00  |
49.56/49.60	c | 49.61     | 0  | -248979      lb |  0                0                0.00  |
50.76/50.89	c | 50.90     | 0  | -248978      lb |  0                0                0.00  |
51.06/51.11	c | 51.12     | 0  | -248977      lb |  0                0                0.00  |
51.26/51.32	c | 51.32     | 0  | -248976      lb |  0                0                0.00  |
51.56/51.61	c | 51.62     | 0  | -248975      lb |  0                0                0.00  |
51.77/51.88	c | 51.88     | 0  | -248974      lb |  0                0                0.00  |
52.06/52.16	c | 52.17     | 0  | -248973      lb |  0                0                0.00  |
52.26/52.39	c | 52.40     | 0  | -248972      lb |  0                0                0.00  |
52.56/52.62	c | 52.63     | 0  | -248971      lb |  0                0                0.00  |
52.86/52.90	c | 52.90     | 0  | -248970      lb |  0                0                0.00  |
53.06/53.14	c | 53.14     | 0  | -248969      lb |  0                0                0.00  |
53.26/53.38	c | 53.38     | 0  | -248968      lb |  0                0                0.00  |
53.56/53.63	c | 53.63     | 0  | -248967      lb |  0                0                0.00  |
53.87/53.91	c | 53.92     | 0  | -248966      lb |  0                0                0.00  |
54.06/54.16	c | 54.17     | 0  | -248965      lb |  0                0                0.00  |
54.36/54.42	c | 54.43     | 0  | -248964      lb |  0                0                0.00  |
54.66/54.71	c | 54.71     | 0  | -248963      lb |  0                0                0.00  |
54.86/54.96	c | 54.97     | 0  | -248962      lb |  0                0                0.00  |
55.06/55.19	c | 55.19     | 0  | -248961      lb |  0                0                0.00  |
55.46/55.56	c | 55.57     | 0  | -248960      lb |  0                0                0.00  |
55.75/55.81	c | 55.81     | 0  | -248959      lb |  0                0                0.00  |
55.96/56.03	c | 56.03     | 0  | -248958      lb |  0                0                0.00  |
56.16/56.28	c | 56.29     | 0  | -248957      lb |  0                0                0.00  |
56.46/56.52	c | 56.52     | 0  | -248956      lb |  0                0                0.00  |
56.66/56.79	c | 56.80     | 0  | -248954      lb |  0                0                0.00  |
56.96/57.02	c | 57.02     | 0  | -248953      lb |  0                0                0.00  |
57.17/57.26	c | 57.26     | 0  | -248952      lb |  0                0                0.00  |
57.46/57.51	c | 57.51     | 0  | -248951      lb |  0                0                0.00  |
57.66/57.73	c | 57.73     | 0  | -248950      lb |  0                0                0.00  |
57.96/58.00	c | 58.01     | 0  | -248949      lb |  0                0                0.00  |
58.17/58.26	c | 58.26     | 0  | -248948      lb |  0                0                0.00  |
58.46/58.53	c | 58.53     | 0  | -248947      lb |  0                0                0.00  |
58.66/58.78	c | 58.78     | 0  | -248946      lb |  0                0                0.00  |
58.96/59.06	c | 59.07     | 0  | -248942      lb |  0                0                0.00  |
59.26/59.35	c | 59.35     | 0  | -248941      lb |  0                0                0.00  |
59.46/59.58	c | 59.58     | 0  | -248940      lb |  0                0                0.00  |
59.75/59.84	c | 59.85     | 0  | -248939      lb |  0                0                0.00  |
60.05/60.12	c | 60.13     | 0  | -248938      lb |  0                0                0.00  |
60.36/60.46	c | 60.46     | 0  | -248937      lb |  0                0                0.00  |
60.65/60.75	c | 60.75     | 0  | -248936      lb |  0                0                0.00  |
60.96/61.02	c | 61.02     | 0  | -248935      lb |  0                0                0.00  |
61.26/61.30	c | 61.31     | 0  | -248934      lb |  0                0                0.00  |
61.47/61.55	c | 61.55     | 0  | -248933      lb |  0                0                0.00  |
61.76/61.81	c | 61.81     | 0  | -248932      lb |  0                0                0.00  |
61.96/62.07	c | 62.07     | 0  | -248931      lb |  0                0                0.00  |
62.26/62.36	c | 62.36     | 0  | -248930      lb |  0                0                0.00  |
62.56/62.64	c | 62.64     | 0  | -248929      lb |  0                0                0.00  |
62.75/62.88	c | 62.88     | 0  | -248928      lb |  0                0                0.00  |
63.05/63.15	c | 63.15     | 0  | -248927      lb |  0                0                0.00  |
63.35/63.42	c | 63.42     | 0  | -248926      lb |  0                0                0.00  |
63.55/63.70	c | 63.70     | 0  | -248925      lb |  0                0                0.00  |
63.85/63.92	c | 63.93     | 0  | -248924      lb |  0                0                0.00  |
64.25/64.33	c | 64.33     | 0  | -248923      lb |  0                0                0.00  |
64.55/64.61	c | 64.61     | 0  | -248922      lb |  0                0                0.00  |
64.76/64.88	c | 64.88     | 0  | -248921      lb |  0                0                0.00  |
65.05/65.17	c | 65.18     | 0  | -248920      lb |  0                0                0.00  |
65.35/65.42	c | 65.42     | 0  | -248919      lb |  0                0                0.00  |
65.55/65.68	c | 65.68     | 0  | -248918      lb |  0                0                0.00  |
65.86/65.91	c | 65.92     | 0  | -248917      lb |  0                0                0.00  |
66.15/66.20	c | 66.21     | 0  | -248916      lb |  0                0                0.00  |
66.35/66.48	c | 66.48     | 0  | -248915      lb |  0                0                0.00  |
66.66/66.77	c | 66.77     | 0  | -248914      lb |  0                0                0.00  |
66.96/67.03	c | 67.04     | 0  | -248913      lb |  0                0                0.00  |
67.25/67.30	c | 67.30     | 0  | -248912      lb |  0                0                0.00  |
67.45/67.57	c | 67.58     | 0  | -248911      lb |  0                0                0.00  |
67.75/67.84	c | 67.84     | 0  | -248910      lb |  0                0                0.00  |
68.06/68.14	c | 68.14     | 0  | -248909      lb |  0                0                0.00  |
68.25/68.34	c | 68.34     | 0  | -248908      lb |  0                0                0.00  |
68.45/68.59	c | 68.60     | 0  | -248907      lb |  0                0                0.00  |
68.75/68.88	c | 68.88     | 0  | -248906      lb |  0                0                0.00  |
69.16/69.24	c | 69.24     | 0  | -248905      lb |  0                0                0.00  |
69.55/69.61	c | 69.61     | 0  | -248904      lb |  0                0                0.00  |
69.75/69.87	c | 69.88     | 0  | -248903      lb |  0                0                0.00  |
70.05/70.17	c | 70.18     | 0  | -248902      lb |  0                0                0.00  |
70.45/70.51	c | 70.52     | 0  | -248901      lb |  0                0                0.00  |
70.75/70.81	c | 70.81     | 0  | -248900      lb |  0                0                0.00  |
70.95/71.07	c | 71.07     | 0  | -248899      lb |  0                0                0.00  |
71.25/71.34	c | 71.34     | 0  | -248898      lb |  0                0                0.00  |
71.55/71.64	c | 71.64     | 0  | -248897      lb |  0                0                0.00  |
71.86/71.97	c | 71.97     | 0  | -248896      lb |  0                0                0.00  |
72.25/72.30	c | 72.30     | 0  | -248895      lb |  0                0                0.00  |
72.55/72.61	c | 72.62     | 0  | -248894      lb |  0                0                0.00  |
72.94/73.05	c | 73.05     | 0  | -248893      lb |  0                0                0.00  |
73.44/73.50	c | 73.50     | 0  | -248892      lb |  0                0                0.00  |
74.04/74.13	c | 74.14     | 0  | -248891      lb |  0                0                0.00  |
74.54/74.61	c | 74.61     | 0  | -248890      lb |  0                0                0.00  |
74.94/75.01	c | 75.02     | 0  | -248889      lb |  0                0                0.00  |
75.24/75.39	c | 75.40     | 0  | -248888      lb |  0                0                0.00  |
75.85/75.95	c | 75.95     | 0  | -248887      lb |  0                0                0.00  |
76.34/76.45	c | 76.45     | 0  | -248886      lb |  0                0                0.00  |
76.74/76.83	c | 76.83     | 0  | -248885      lb |  0                0                0.00  |
77.25/77.30	c | 77.31     | 0  | -248884      lb |  0                0                0.00  |
77.65/77.74	c | 77.74     | 0  | -248883      lb |  0                0                0.00  |
78.05/78.13	c | 78.13     | 0  | -248882      lb |  0                0                0.00  |
78.65/78.72	c | 78.72     | 0  | -248881      lb |  0                0                0.00  |
79.05/79.11	c | 79.12     | 0  | -248880      lb |  0                0                0.00  |
79.64/79.79	c | 79.79     | 0  | -248879      lb |  0                0                0.00  |
80.04/80.14	c | 80.15     | 0  | -248878      lb |  0                0                0.00  |
80.45/80.54	c | 80.55     | 0  | -248877      lb |  0                0                0.00  |
81.04/81.19	c | 81.19     | 0  | -248876      lb |  0                0                0.00  |
81.64/81.72	c | 81.73     | 0  | -248875      lb |  0                0                0.00  |
82.03/82.16	c | 82.17     | 0  | -248874      lb |  0                0                0.00  |
82.44/82.57	c | 82.57     | 0  | -248873      lb |  0                0                0.00  |
82.83/82.95	c | 82.95     | 0  | -248872      lb |  0                0                0.00  |
83.24/83.38	c | 83.38     | 0  | -248871      lb |  0                0                0.00  |
83.74/83.80	c | 83.81     | 0  | -248870      lb |  0                0                0.00  |
84.14/84.23	c | 84.24     | 0  | -248869      lb |  0                0                0.00  |
84.43/84.59	c | 84.59     | 0  | -248868      lb |  0                0                0.00  |
85.23/85.38	c | 85.39     | 0  | -248867      lb |  0                0                0.00  |
85.75/85.85	c | 85.86     | 0  | -248866      lb |  0                0                0.00  |
86.24/86.37	c | 86.37     | 0  | -248865      lb |  0                0                0.00  |
86.74/86.88	c | 86.89     | 0  | -248864      lb |  0                0                0.00  |
87.24/87.32	c | 87.32     | 0  | -248863      lb |  0                0                0.00  |
87.64/87.70	c | 87.71     | 0  | -248862      lb |  0                0                0.00  |
88.13/88.24	c | 88.24     | 0  | -248861      lb |  0                0                0.00  |
88.63/88.72	c | 88.73     | 0  | -248860      lb |  0                0                0.00  |
89.04/89.13	c | 89.13     | 0  | -248859      lb |  0                0                0.00  |
89.63/89.74	c | 89.74     | 0  | -248858      lb |  0                0                0.00  |
90.24/90.37	c | 90.37     | 0  | -248857      lb |  0                0                0.00  |
91.14/91.26	c | 91.26     | 0  | -248856      lb |  0                0                0.00  |
91.64/91.72	c | 91.73     | 0  | -248855      lb |  0                0                0.00  |
92.33/92.42	c | 92.42     | 0  | -248854      lb |  0                0                0.00  |
92.83/92.99	c | 93.00     | 0  | -248853      lb |  0                0                0.00  |
93.33/93.44	c | 93.44     | 0  | -248852      lb |  0                0                0.00  |
93.72/93.81	c | 93.81     | 0  | -248851      lb |  0                0                0.00  |
94.33/94.48	c | 94.48     | 0  | -248850      lb |  0                0                0.00  |
95.53/95.66	c | 95.67     | 0  | -248849      lb |  0                0                0.00  |
97.22/97.32	c | 97.32     | 0  | -248848      lb |  0                0                0.00  |
98.03/98.13	c | 98.14     | 0  | -248847      lb |  0                0                0.00  |
98.53/98.64	c | 98.65     | 0  | -248846      lb |  0                0                0.00  |
99.03/99.11	c | 99.12     | 0  | -248845      lb |  0                0                0.00  |
99.53/99.67	c | 99.68     | 0  | -248844      lb |  0                0                0.00  |
100.23/100.30	c | 100.31    | 0  | -248843      lb |  0                0                0.00  |
101.42/101.52	c | 101.52    | 0  | -248842      lb |  0                0                0.00  |
101.62/101.79	c | 101.79    | 0  | -248841      lb |  0                0                0.00  |
102.13/102.28	c | 102.28    | 0  | -248840      lb |  0                0                0.00  |
102.82/102.91	c | 102.92    | 0  | -248839      lb |  0                0                0.00  |
103.62/103.75	c | 103.75    | 0  | -248838      lb |  0                0                0.00  |
104.33/104.44	c | 104.44    | 0  | -248837      lb |  0                0                0.00  |
105.62/105.79	c | 105.79    | 0  | -248836      lb |  0                0                0.00  |
106.72/106.80	c | 106.81    | 0  | -248835      lb |  0                0                0.00  |
107.22/107.38	c | 107.38    | 0  | -248834      lb |  0                0                0.00  |
108.42/108.55	c | 108.55    | 0  | -248833      lb |  0                0                0.00  |
108.72/108.83	c | 108.83    | 0  | -248832      lb |  0                0                0.00  |
109.02/109.13	c | 109.14    | 0  | -248831      lb |  0                0                0.00  |
109.52/109.69	c | 109.69    | 0  | -248830      lb |  0                0                0.00  |
110.22/110.33	c | 110.33    | 0  | -248829      lb |  0                0                0.00  |
111.32/111.49	c | 111.49    | 0  | -248828      lb |  0                0                0.00  |
111.92/112.01	c | 112.02    | 0  | -248827      lb |  0                0                0.00  |
112.92/113.09	c | 113.09    | 0  | -248826      lb |  0                0                0.00  |
114.52/114.62	c | 114.62    | 0  | -248825      lb |  0                0                0.00  |
118.51/118.69	c | 118.69    | 0  | -248824      lb |  0                0                0.00  |
119.83/119.96	c | 119.97    | 0  | -248823      lb |  0                0                0.00  |
120.93/121.01	c | 121.01    | 0  | -248822      lb |  0                0                0.00  |
121.52/121.60	c | 121.61    | 0  | -248821      lb |  0                0                0.00  |
122.32/122.48	c | 122.48    | 0  | -248820      lb |  0                0                0.00  |
123.12/123.22	c | 123.22    | 0  | -248819      lb |  0                0                0.00  |
125.72/125.86	c | 125.87    | 0  | -248818      lb |  0                0                0.00  |
126.22/126.39	c | 126.40    | 0  | -248817      lb |  0                0                0.00  |
127.43/127.58	c | 127.59    | 0  | -248816      lb |  0                0                0.00  |
128.02/128.10	c | 128.11    | 0  | -248815      lb |  0                0                0.00  |
130.82/130.94	c | 130.94    | 0  | -248814      lb |  0                0                0.00  |
134.91/135.02	c | 135.02    | 0  | -248813      lb |  0                0                0.00  |
135.31/135.45	c | 135.45    | 0  | -248812      lb |  0                0                0.00  |
138.42/138.58	c | 138.58    | 0  | -248811      lb |  0                0                0.00  |
138.91/139.06	c | 139.07    | 0  | -248810      lb |  0                0                0.00  |
141.61/141.73	c | 141.74    | 0  | -248809      lb |  0                0                0.00  |
148.41/148.56	c | 148.56    | 0  | -248808      lb |  0                0                0.00  |
149.30/149.45	c | 149.45    | 0  | -248807      lb |  0                0                0.00  |
150.61/150.79	c | 150.79    | 0  | -248806      lb |  0                0                0.00  |
155.21/155.37	c | 155.37    | 0  | -248805      lb |  0                0                0.00  |
157.21/157.34	c | 157.35    | 0  | -248804      lb |  0                0                0.00  |
159.81/159.97	c | 159.98    | 0  | -248803      lb |  0                0                0.00  |
163.71/163.89	c | 163.90    | 0  | -248802      lb |  0                0                0.00  |
165.91/166.04	c | 166.04    | 0  | -248801      lb |  0                0                0.00  |
168.40/168.58	c | 168.58    | 0  | -248800      lb |  0                0                0.00  |
169.90/170.06	c | 170.07    | 0  | -248799      lb |  0                0                0.00  |
173.80/173.97	c | 173.97    | 0  | -248798      lb |  0                0                0.00  |
177.50/177.67	c | 177.68    | 0  | -248797      lb |  0                0                0.00  |
189.20/189.36	c | 189.37    | 0  | -248796      lb |  0                0                0.00  |
197.00/197.19	c | 197.19    | 0  | -248795      lb |  0                0                0.00  |
197.59/197.77	c | 197.77    | 0  | -248794      lb |  0                0                0.00  |
219.39/219.51	c | 219.51    | 0  | -248793      lb |  0                0                0.00  |
222.89/223.06	c | 223.06    | 0  | -248792      lb |  0                0                0.00  |
224.98/225.14	c | 225.14    | 0  | -248791      lb |  0                0                0.00  |
227.99/228.10	c | 228.10    | 0  | -248790      lb |  0                0                0.00  |
237.69/237.89	c | 237.89    | 0  | -248789      lb |  0                0                0.00  |
248.28/248.49	c | 248.50    | 0  | -248788      lb |  0                0                0.00  |
285.17/285.37	c | 285.37    | 0  | -248787      lb |  0                0                0.00  |
369.44/369.66	c | 369.67    | 0  | -248786      lb |  0                0                0.00  |
521.96/522.26	c | 522.26    | 0  | -248785      lb |  0                0                0.00  |
526.96/527.26	c | 527.27    | 0  | -248784      lb |  0                0                0.00  |
544.75/545.04	c | 545.05    | 0  | -248783      lb |  0                0                0.00  |
738.70/739.02	c | 739.03    | 0  | -248782      lb |  0                0                0.00  |
1799.46/1800.00	c ===============================================================================
1799.46/1800.00	c Wall Clock Time: 1800.00 s
1799.46/1800.00	s UNKNOWN

Verifier Data

ERROR: no interpretation found !

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

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

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.01 2.20 3/175 4982
/proc/meminfo: memFree=27034492/32873624 swapFree=7112/7112
[pid=4982] ppid=4980 vsize=6120 CPUtime=0 cores=1,3,5,7
/proc/4982/stat : 4982 (wbo1.72) R 4980 4982 4521 0 -1 4202496 454 0 0 0 0 0 0 0 20 0 1 0 333242576 6266880 406 33554432000 4194304 5964350 140733723100912 140733723098792 5136410 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/4982/statm: 1530 406 174 433 0 485 0

[startup+0.0437971 s]
/proc/loadavg: 2.00 2.01 2.20 3/175 4982
/proc/meminfo: memFree=27034492/32873624 swapFree=7112/7112
[pid=4982] ppid=4980 vsize=9700 CPUtime=0.04 cores=1,3,5,7
/proc/4982/stat : 4982 (wbo1.72) R 4980 4982 4521 0 -1 4202496 1385 0 0 0 4 0 0 0 20 0 1 0 333242576 9932800 1337 33554432000 4194304 5964350 140733723100912 140733723098792 5136410 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/4982/statm: 2425 1338 305 433 0 1380 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 9700

[startup+0.100236 s]
/proc/loadavg: 2.00 2.01 2.20 3/175 4982
/proc/meminfo: memFree=27034492/32873624 swapFree=7112/7112
[pid=4982] ppid=4980 vsize=15772 CPUtime=0.09 cores=1,3,5,7
/proc/4982/stat : 4982 (wbo1.72) R 4980 4982 4521 0 -1 4202496 3080 0 0 0 9 0 0 0 20 0 1 0 333242576 16150528 2983 33554432000 4194304 5964350 140733723100912 140733723098792 5136410 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/4982/statm: 3943 2984 482 433 0 2898 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15772

[startup+0.300152 s]
/proc/loadavg: 2.00 2.01 2.20 3/175 4982
/proc/meminfo: memFree=27034492/32873624 swapFree=7112/7112
[pid=4982] ppid=4980 vsize=104056 CPUtime=0.29 cores=1,3,5,7
/proc/4982/stat : 4982 (wbo1.72) S 4980 4982 4521 0 -1 4202496 14135 0 0 0 28 1 0 0 20 0 2 0 333242576 106553344 12166 33554432000 4194304 5964350 140733723100912 140733723100432 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4982/statm: 26014 12166 194 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.01 2.20 3/175 4982
/proc/meminfo: memFree=27034492/32873624 swapFree=7112/7112
[pid=4982] ppid=4980 vsize=100036 CPUtime=0.69 cores=1,3,5,7
/proc/4982/stat : 4982 (wbo1.72) S 4980 4982 4521 0 -1 4202496 18638 0 0 0 67 2 0 0 20 0 2 0 333242576 102436864 14152 33554432000 4194304 5964350 140733723100912 140733723100432 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4982/statm: 25009 14152 194 433 0 24573 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 100036

[startup+1.50027 s]
/proc/loadavg: 2.00 2.01 2.20 3/177 4984
/proc/meminfo: memFree=26977568/32873624 swapFree=7112/7112
[pid=4982] ppid=4980 vsize=100036 CPUtime=1.48 cores=1,3,5,7
/proc/4982/stat : 4982 (wbo1.72) S 4980 4982 4521 0 -1 4202496 25664 0 0 0 145 3 0 0 20 0 2 0 333242576 102436864 16506 33554432000 4194304 5964350 140733723100912 140733723100432 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4982/statm: 25009 16506 196 433 0 24573 0
[pid=4982/tid=4984] ppid=4980 vsize=100036 CPUtime=1.28 cores=1,3,5,7
/proc/4982/task/4984/stat : 4984 (wbo1.72) R 4980 4982 4521 0 -1 4202560 20144 0 0 0 125 3 0 0 20 0 2 0 333242595 102436864 16506 33554432000 4194304 5964350 140733723100912 140005501497664 4429837 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 100036

[startup+3.10028 s]
/proc/loadavg: 2.00 2.01 2.20 3/177 4984
/proc/meminfo: memFree=26963276/32873624 swapFree=7112/7112
[pid=4982] ppid=4980 vsize=100036 CPUtime=3.08 cores=1,3,5,7
/proc/4982/stat : 4982 (wbo1.72) S 4980 4982 4521 0 -1 4202496 32701 0 0 0 303 5 0 0 20 0 2 0 333242576 102436864 18767 33554432000 4194304 5964350 140733723100912 140733723100432 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4982/statm: 25009 18767 196 433 0 24573 0
[pid=4982/tid=4984] ppid=4980 vsize=100036 CPUtime=2.87 cores=1,3,5,7
/proc/4982/task/4984/stat : 4984 (wbo1.72) R 4980 4982 4521 0 -1 4202560 27181 0 0 0 283 4 0 0 20 0 2 0 333242595 102436864 18767 33554432000 4194304 5964350 140733723100912 140005501508120 5134703 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 100036

[startup+6.30027 s]
/proc/loadavg: 2.00 2.01 2.20 3/177 4984
/proc/meminfo: memFree=26944756/32873624 swapFree=7112/7112
[pid=4982] ppid=4980 vsize=165572 CPUtime=6.28 cores=1,3,5,7
/proc/4982/stat : 4982 (wbo1.72) S 4980 4982 4521 0 -1 4202496 47265 0 0 0 621 7 0 0 20 0 2 0 333242576 169545728 23199 33554432000 4194304 5964350 140733723100912 140733723100432 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4982/statm: 41393 23199 197 433 0 40957 0
[pid=4982/tid=4984] ppid=4980 vsize=165572 CPUtime=6.07 cores=1,3,5,7
/proc/4982/task/4984/stat : 4984 (wbo1.72) R 4980 4982 4521 0 -1 4202560 41745 0 0 0 600 7 0 0 20 0 2 0 333242595 169545728 23199 33554432000 4194304 5964350 140733723100912 140005501508424 4375144 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 165572

[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 2.20 3/177 4984
/proc/meminfo: memFree=26907092/32873624 swapFree=7112/7112
[pid=4982] ppid=4980 vsize=165572 CPUtime=12.68 cores=1,3,5,7
/proc/4982/stat : 4982 (wbo1.72) S 4980 4982 4521 0 -1 4202496 74321 0 0 0 1256 12 0 0 20 0 2 0 333242576 169545728 31805 33554432000 4194304 5964350 140733723100912 140733723100432 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4982/statm: 41393 31805 197 433 0 40957 0
[pid=4982/tid=4984] ppid=4980 vsize=165572 CPUtime=12.45 cores=1,3,5,7
/proc/4982/task/4984/stat : 4984 (wbo1.72) R 4980 4982 4521 0 -1 4202560 68801 0 0 0 1233 12 0 0 20 0 2 0 333242595 169545728 31805 33554432000 4194304 5964350 140733723100912 140005501508120 5135577 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 165572

[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.19 3/177 4984
/proc/meminfo: memFree=26860380/32873624 swapFree=7112/7112
[pid=4982] ppid=4980 vsize=231228 CPUtime=25.48 cores=1,3,5,7
/proc/4982/stat : 4982 (wbo1.72) S 4980 4982 4521 0 -1 4202496 110939 0 0 0 2528 20 0 0 20 0 2 0 333242576 236777472 41270 33554432000 4194304 5964350 140733723100912 140733723100432 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4982/statm: 57807 41270 198 433 0 57371 0
[pid=4982/tid=4984] ppid=4980 vsize=231228 CPUtime=25.21 cores=1,3,5,7
/proc/4982/task/4984/stat : 4984 (wbo1.72) R 4980 4982 4521 0 -1 4202560 105419 0 0 0 2502 19 0 0 20 0 2 0 333242595 236777472 41270 33554432000 4194304 5964350 140733723100912 140005501508424 4380783 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 231228

[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.19 3/177 4984
/proc/meminfo: memFree=26775468/32873624 swapFree=7112/7112
[pid=4982] ppid=4980 vsize=296764 CPUtime=51.06 cores=1,3,5,7
/proc/4982/stat : 4982 (wbo1.72) S 4980 4982 4521 0 -1 4202496 169760 0 0 0 5073 33 0 0 20 0 2 0 333242576 303886336 58051 33554432000 4194304 5964350 140733723100912 140733723100432 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4982/statm: 74191 58051 198 433 0 73755 0
[pid=4982/tid=4984] ppid=4980 vsize=296764 CPUtime=50.73 cores=1,3,5,7
/proc/4982/task/4984/stat : 4984 (wbo1.72) R 4980 4982 4521 0 -1 4202560 164240 0 0 0 5041 32 0 0 20 0 2 0 333242595 303886336 58051 33554432000 4194304 5964350 140733723100912 140005501508120 4388461 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 296764

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.17 3/177 4985
/proc/meminfo: memFree=26645508/32873624 swapFree=7112/7112
[pid=4982] ppid=4980 vsize=427836 CPUtime=102.23 cores=1,3,5,7
/proc/4982/stat : 4982 (wbo1.72) S 4980 4982 4521 0 -1 4202496 240263 0 0 0 10176 47 0 0 20 0 2 0 333242576 438104064 87975 33554432000 4194304 5964350 140733723100912 140733723100432 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4982/statm: 106959 87975 198 433 0 106523 0
[pid=4982/tid=4984] ppid=4980 vsize=427836 CPUtime=101.78 cores=1,3,5,7
/proc/4982/task/4984/stat : 4984 (wbo1.72) R 4980 4982 4521 0 -1 4202560 234743 0 0 0 10130 48 0 0 20 0 2 0 333242595 438104064 87975 33554432000 4194304 5964350 140733723100912 140005501508120 5135577 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 427836

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.16 3/177 5024
/proc/meminfo: memFree=26369632/32873624 swapFree=7112/7112
[pid=4982] ppid=4980 vsize=427836 CPUtime=162.2 cores=1,3,5,7
/proc/4982/stat : 4982 (wbo1.72) S 4980 4982 4521 0 -1 4202496 270869 0 0 0 16166 54 0 0 20 0 2 0 333242576 438104064 95847 33554432000 4194304 5964350 140733723100912 140733723100432 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4982/statm: 106959 95847 198 433 0 106523 0
[pid=4982/tid=4984] ppid=4980 vsize=427836 CPUtime=161.61 cores=1,3,5,7
/proc/4982/task/4984/stat : 4984 (wbo1.72) R 4980 4982 4521 0 -1 4202560 265349 0 0 0 16106 55 0 0 20 0 2 0 333242595 438104064 95847 33554432000 4194304 5964350 140733723100912 140005501508424 4220672 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 427836

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.15 3/177 5024
/proc/meminfo: memFree=26160168/32873624 swapFree=7112/7112
[pid=4982] ppid=4980 vsize=427836 CPUtime=222.19 cores=1,3,5,7
/proc/4982/stat : 4982 (wbo1.72) S 4980 4982 4521 0 -1 4202496 274904 0 0 0 22164 55 0 0 20 0 2 0 333242576 438104064 99352 33554432000 4194304 5964350 140733723100912 140733723100432 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4982/statm: 106959 99352 198 433 0 106523 0
[pid=4982/tid=4984] ppid=4980 vsize=427836 CPUtime=221.45 cores=1,3,5,7
/proc/4982/task/4984/stat : 4984 (wbo1.72) R 4980 4982 4521 0 -1 4202560 269384 0 0 0 22087 58 0 0 20 0 2 0 333242595 438104064 99352 33554432000 4194304 5964350 140733723100912 140005501508120 4387856 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 427836

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.14 3/178 5027
/proc/meminfo: memFree=25969444/32873624 swapFree=7112/7112
[pid=4982] ppid=4980 vsize=427836 CPUtime=282.17 cores=1,3,5,7
/proc/4982/stat : 4982 (wbo1.72) S 4980 4982 4521 0 -1 4202496 278779 0 0 0 28161 56 0 0 20 0 2 0 333242576 438104064 96154 33554432000 4194304 5964350 140733723100912 140733723100432 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4982/statm: 106959 96154 198 433 0 106523 0
[pid=4982/tid=4984] ppid=4980 vsize=427836 CPUtime=281.28 cores=1,3,5,7
/proc/4982/task/4984/stat : 4984 (wbo1.72) R 4980 4982 4521 0 -1 4202560 273259 0 0 0 28068 60 0 0 20 0 2 0 333242595 438104064 96154 33554432000 4194304 5964350 140733723100912 140005501508424 4389090 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 427836

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.13 3/177 5027
/proc/meminfo: memFree=25797288/32873624 swapFree=7112/7112
[pid=4982] ppid=4980 vsize=493372 CPUtime=342.15 cores=1,3,5,7
/proc/4982/stat : 4982 (wbo1.72) S 4980 4982 4521 0 -1 4202496 282023 0 0 0 34158 57 0 0 20 0 2 0 333242576 505212928 102853 33554432000 4194304 5964350 140733723100912 140733723100432 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4982/statm: 123343 102853 198 433 0 122907 0
[pid=4982/tid=4984] ppid=4980 vsize=493372 CPUtime=341.12 cores=1,3,5,7
/proc/4982/task/4984/stat : 4984 (wbo1.72) R 4980 4982 4521 0 -1 4202560 276503 0 0 0 34051 61 0 0 20 0 2 0 333242595 505212928 102853 33554432000 4194304 5964350 140733723100912 140005501507912 4392783 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 493372

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.11 3/177 5028
/proc/meminfo: memFree=25650292/32873624 swapFree=7112/7112
[pid=4982] ppid=4980 vsize=493372 CPUtime=402.12 cores=1,3,5,7
/proc/4982/stat : 4982 (wbo1.72) S 4980 4982 4521 0 -1 4202496 283506 0 0 0 40154 58 0 0 20 0 2 0 333242576 505212928 107198 33554432000 4194304 5964350 140733723100912 140733723100432 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4982/statm: 123343 107198 198 433 0 122907 0
[pid=4982/tid=4984] ppid=4980 vsize=493372 CPUtime=400.94 cores=1,3,5,7
/proc/4982/task/4984/stat : 4984 (wbo1.72) R 4980 4982 4521 0 -1 4202560 277986 0 0 0 40031 63 0 0 20 0 2 0 333242595 505212928 107198 33554432000 4194304 5964350 140733723100912 140005501507912 4387871 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 402.12
Current children cumulated vsize (KiB) 493372

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.10 3/177 5028
/proc/meminfo: memFree=25467048/32873624 swapFree=7112/7112
[pid=4982] ppid=4980 vsize=493372 CPUtime=462.08 cores=1,3,5,7

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


[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.03 3/177 5035
/proc/meminfo: memFree=24703416/32873624 swapFree=7112/7112
[pid=4982] ppid=4980 vsize=624444 CPUtime=1421.85 cores=1,3,5,7
/proc/4982/stat : 4982 (wbo1.72) S 4980 4982 4521 0 -1 4202496 312174 0 0 0 142118 67 0 0 20 0 2 0 333242576 639430656 138803 33554432000 4194304 5964350 140733723100912 140733723100432 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4982/statm: 156111 138803 198 433 0 155675 0
[pid=4982/tid=4984] ppid=4980 vsize=624444 CPUtime=1418.21 cores=1,3,5,7
/proc/4982/task/4984/stat : 4984 (wbo1.72) R 4980 4982 4521 0 -1 4202560 306654 0 0 0 141734 87 0 0 20 0 2 0 333242595 639430656 138803 33554432000 4194304 5964350 140733723100912 140005501507576 4389020 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 624444

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/178 5038
/proc/meminfo: memFree=24669476/32873624 swapFree=7112/7112
[pid=4982] ppid=4980 vsize=624444 CPUtime=1481.83 cores=1,3,5,7
/proc/4982/stat : 4982 (wbo1.72) S 4980 4982 4521 0 -1 4202496 312223 0 0 0 148116 67 0 0 20 0 2 0 333242576 639430656 139021 33554432000 4194304 5964350 140733723100912 140733723100432 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4982/statm: 156111 139021 198 433 0 155675 0
[pid=4982/tid=4984] ppid=4980 vsize=624444 CPUtime=1478.05 cores=1,3,5,7
/proc/4982/task/4984/stat : 4984 (wbo1.72) R 4980 4982 4521 0 -1 4202560 306703 0 0 0 147717 88 0 0 20 0 2 0 333242595 639430656 139021 33554432000 4194304 5964350 140733723100912 140005501507384 4381880 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 624444

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/177 5038
/proc/meminfo: memFree=24672960/32873624 swapFree=7112/7112
[pid=4982] ppid=4980 vsize=624444 CPUtime=1541.8 cores=1,3,5,7
/proc/4982/stat : 4982 (wbo1.72) S 4980 4982 4521 0 -1 4202496 315600 0 0 0 154112 68 0 0 20 0 2 0 333242576 639430656 142371 33554432000 4194304 5964350 140733723100912 140733723100432 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4982/statm: 156111 142371 198 433 0 155675 0
[pid=4982/tid=4984] ppid=4980 vsize=624444 CPUtime=1537.87 cores=1,3,5,7
/proc/4982/task/4984/stat : 4984 (wbo1.72) R 4980 4982 4521 0 -1 4202560 310080 0 0 0 153697 90 0 0 20 0 2 0 333242595 639430656 142371 33554432000 4194304 5964350 140733723100912 140005501507384 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 624444

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/177 5038
/proc/meminfo: memFree=24620120/32873624 swapFree=7112/7112
[pid=4982] ppid=4980 vsize=624444 CPUtime=1601.79 cores=1,3,5,7
/proc/4982/stat : 4982 (wbo1.72) S 4980 4982 4521 0 -1 4202496 315627 0 0 0 160111 68 0 0 20 0 2 0 333242576 639430656 142398 33554432000 4194304 5964350 140733723100912 140733723100432 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4982/statm: 156111 142398 198 433 0 155675 0
[pid=4982/tid=4984] ppid=4980 vsize=624444 CPUtime=1597.72 cores=1,3,5,7
/proc/4982/task/4984/stat : 4984 (wbo1.72) R 4980 4982 4521 0 -1 4202560 310107 0 0 0 159681 91 0 0 20 0 2 0 333242595 639430656 142398 33554432000 4194304 5964350 140733723100912 140005501507384 4389030 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 624444

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/177 5039
/proc/meminfo: memFree=24620616/32873624 swapFree=7112/7112
[pid=4982] ppid=4980 vsize=624444 CPUtime=1661.78 cores=1,3,5,7
/proc/4982/stat : 4982 (wbo1.72) S 4980 4982 4521 0 -1 4202496 315685 0 0 0 166110 68 0 0 20 0 2 0 333242576 639430656 142456 33554432000 4194304 5964350 140733723100912 140733723100432 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4982/statm: 156111 142456 198 433 0 155675 0
[pid=4982/tid=4984] ppid=4980 vsize=624444 CPUtime=1657.56 cores=1,3,5,7
/proc/4982/task/4984/stat : 4984 (wbo1.72) R 4980 4982 4521 0 -1 4202560 310165 0 0 0 165664 92 0 0 20 0 2 0 333242595 639430656 142456 33554432000 4194304 5964350 140733723100912 140005501507384 4381458 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 624444

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5039
/proc/meminfo: memFree=24619876/32873624 swapFree=7112/7112
[pid=4982] ppid=4980 vsize=624444 CPUtime=1721.77 cores=1,3,5,7
/proc/4982/stat : 4982 (wbo1.72) S 4980 4982 4521 0 -1 4202496 315777 0 0 0 172109 68 0 0 20 0 2 0 333242576 639430656 142548 33554432000 4194304 5964350 140733723100912 140733723100432 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4982/statm: 156111 142548 198 433 0 155675 0
[pid=4982/tid=4984] ppid=4980 vsize=624444 CPUtime=1717.4 cores=1,3,5,7
/proc/4982/task/4984/stat : 4984 (wbo1.72) R 4980 4982 4521 0 -1 4202560 310257 0 0 0 171647 93 0 0 20 0 2 0 333242595 639430656 142548 33554432000 4194304 5964350 140733723100912 140005501507384 4389090 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 624444

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5039
/proc/meminfo: memFree=24536560/32873624 swapFree=7112/7112
[pid=4982] ppid=4980 vsize=624444 CPUtime=1781.76 cores=1,3,5,7
/proc/4982/stat : 4982 (wbo1.72) S 4980 4982 4521 0 -1 4202496 320764 0 0 0 178106 70 0 0 20 0 2 0 333242576 639430656 147535 33554432000 4194304 5964350 140733723100912 140733723100432 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4982/statm: 156111 147535 198 433 0 155675 0
[pid=4982/tid=4984] ppid=4980 vsize=624444 CPUtime=1777.25 cores=1,3,5,7
/proc/4982/task/4984/stat : 4984 (wbo1.72) R 4980 4982 4521 0 -1 4202560 315244 0 0 0 177628 97 0 0 20 0 2 0 333242595 639430656 147535 33554432000 4194304 5964350 140733723100912 140005501507384 4399998 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 624444

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

[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5039
/proc/meminfo: memFree=24531476/32873624 swapFree=7112/7112
[pid=4982] ppid=4980 vsize=624444 CPUtime=1791.36 cores=1,3,5,7
/proc/4982/stat : 4982 (wbo1.72) S 4980 4982 4521 0 -1 4202496 321939 0 0 0 179065 71 0 0 20 0 2 0 333242576 639430656 148710 33554432000 4194304 5964350 140733723100912 140733723100432 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4982/statm: 156111 148710 198 433 0 155675 0
[pid=4982/tid=4984] ppid=4980 vsize=624444 CPUtime=1786.83 cores=1,3,5,7
/proc/4982/task/4984/stat : 4984 (wbo1.72) R 4980 4982 4521 0 -1 4202560 316419 0 0 0 178586 97 0 0 20 0 2 0 333242595 639430656 148710 33554432000 4194304 5964350 140733723100912 140005501507576 4389020 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1791.36
Current children cumulated vsize (KiB) 624444

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5039
/proc/meminfo: memFree=24528684/32873624 swapFree=7112/7112
[pid=4982] ppid=4980 vsize=624444 CPUtime=1794.56 cores=1,3,5,7
/proc/4982/stat : 4982 (wbo1.72) S 4980 4982 4521 0 -1 4202496 322395 0 0 0 179385 71 0 0 20 0 2 0 333242576 639430656 149166 33554432000 4194304 5964350 140733723100912 140733723100432 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4982/statm: 156111 149166 198 433 0 155675 0
[pid=4982/tid=4984] ppid=4980 vsize=624444 CPUtime=1790.02 cores=1,3,5,7
/proc/4982/task/4984/stat : 4984 (wbo1.72) R 4980 4982 4521 0 -1 4202560 316875 0 0 0 178904 98 0 0 20 0 2 0 333242595 639430656 149166 33554432000 4194304 5964350 140733723100912 140005501507576 4399835 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1794.56
Current children cumulated vsize (KiB) 624444

[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5039
/proc/meminfo: memFree=24527196/32873624 swapFree=7112/7112
[pid=4982] ppid=4980 vsize=689980 CPUtime=1797.76 cores=1,3,5,7
/proc/4982/stat : 4982 (wbo1.72) S 4980 4982 4521 0 -1 4202496 322922 0 0 0 179704 72 0 0 20 0 2 0 333242576 706539520 149693 33554432000 4194304 5964350 140733723100912 140733723100432 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4982/statm: 172495 149693 198 433 0 172059 0
[pid=4982/tid=4984] ppid=4980 vsize=689980 CPUtime=1793.21 cores=1,3,5,7
/proc/4982/task/4984/stat : 4984 (wbo1.72) R 4980 4982 4521 0 -1 4202560 317402 0 0 0 179223 98 0 0 20 0 2 0 333242595 706539520 149693 33554432000 4194304 5964350 140733723100912 140005501507576 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1797.76
Current children cumulated vsize (KiB) 689980

[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5039
/proc/meminfo: memFree=24526700/32873624 swapFree=7112/7112
[pid=4982] ppid=4980 vsize=689980 CPUtime=1798.56 cores=1,3,5,7
/proc/4982/stat : 4982 (wbo1.72) S 4980 4982 4521 0 -1 4202496 322988 0 0 0 179784 72 0 0 20 0 2 0 333242576 706539520 149759 33554432000 4194304 5964350 140733723100912 140733723100432 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4982/statm: 172495 149759 198 433 0 172059 0
[pid=4982/tid=4984] ppid=4980 vsize=689980 CPUtime=1794.01 cores=1,3,5,7
/proc/4982/task/4984/stat : 4984 (wbo1.72) R 4980 4982 4521 0 -1 4202560 317468 0 0 0 179303 98 0 0 20 0 2 0 333242595 706539520 149759 33554432000 4194304 5964350 140733723100912 140005501507576 4222464 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1798.56
Current children cumulated vsize (KiB) 689980

[startup+1799.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5039
/proc/meminfo: memFree=24526576/32873624 swapFree=7112/7112
[pid=4982] ppid=4980 vsize=689980 CPUtime=1798.96 cores=1,3,5,7
/proc/4982/stat : 4982 (wbo1.72) S 4980 4982 4521 0 -1 4202496 323042 0 0 0 179824 72 0 0 20 0 2 0 333242576 706539520 149813 33554432000 4194304 5964350 140733723100912 140733723100432 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4982/statm: 172495 149813 198 433 0 172059 0
[pid=4982/tid=4984] ppid=4980 vsize=689980 CPUtime=1794.41 cores=1,3,5,7
/proc/4982/task/4984/stat : 4984 (wbo1.72) R 4980 4982 4521 0 -1 4202560 317522 0 0 0 179343 98 0 0 20 0 2 0 333242595 706539520 149813 33554432000 4194304 5964350 140733723100912 140005501507576 4399895 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1798.96
Current children cumulated vsize (KiB) 689980

[startup+1799.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5039
/proc/meminfo: memFree=24526576/32873624 swapFree=7112/7112
[pid=4982] ppid=4980 vsize=689980 CPUtime=1799.36 cores=1,3,5,7
/proc/4982/stat : 4982 (wbo1.72) S 4980 4982 4521 0 -1 4202496 323083 0 0 0 179864 72 0 0 20 0 2 0 333242576 706539520 149854 33554432000 4194304 5964350 140733723100912 140733723100432 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4982/statm: 172495 149854 198 433 0 172059 0
[pid=4982/tid=4984] ppid=4980 vsize=689980 CPUtime=1794.8 cores=1,3,5,7
/proc/4982/task/4984/stat : 4984 (wbo1.72) R 4980 4982 4521 0 -1 4202560 317563 0 0 0 179382 98 0 0 20 0 2 0 333242595 706539520 149854 33554432000 4194304 5964350 140733723100912 140005501507624 4389052 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.36
Current children cumulated vsize (KiB) 689980

[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5039
/proc/meminfo: memFree=24526576/32873624 swapFree=7112/7112
[pid=4982] ppid=4980 vsize=689980 CPUtime=1799.46 cores=1,3,5,7
/proc/4982/stat : 4982 (wbo1.72) S 4980 4982 4521 0 -1 4202496 323102 0 0 0 179874 72 0 0 20 0 2 0 333242576 706539520 149873 33554432000 4194304 5964350 140733723100912 140733723100432 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4982/statm: 172495 149873 198 433 0 172059 0
[pid=4982/tid=4984] ppid=4980 vsize=689980 CPUtime=1794.9 cores=1,3,5,7
/proc/4982/task/4984/stat : 4984 (wbo1.72) R 4980 4982 4521 0 -1 4202560 317582 0 0 0 179392 98 0 0 20 0 2 0 333242595 706539520 149873 33554432000 4194304 5964350 140733723100912 140005501507624 4389080 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.46
Current children cumulated vsize (KiB) 689980

Child status: 255

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

Real time (s): 1800.01
CPU time (s): 1799.46
CPU user time (s): 1798.74
CPU system time (s): 0.72
CPU usage (%): 99.9696
Max. virtual memory (cumulated for all children) (KiB): 689980

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.13
system time used= 1.00085
maximum resident set size= 599500
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 323104
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= 170
involuntary context switches= 3095

runsolver used 2.76158 second user time and 7.19291 second system time

The end

Launcher Data

Begin job on node121 at 2012-06-02 23:06:11
IDJOB=3727857
IDBENCH=90353
IDSOLVER=2313
FILE ID=node121/3727857-1338671171
RUNJOBID= node121-1338669323-4721
PBS_JOBID= 14636507
Free space on /tmp= 71252 MiB

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

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

MD5SUM BENCH= 8e8a9709ab0638484b49ff5cae7622ac
RANDOM SEED=17883636

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873624 kB
MemFree:        27034500 kB
Buffers:          597352 kB
Cached:          4308852 kB
SwapCached:            0 kB
Active:          1733932 kB
Inactive:        3236232 kB
Active(anon):      51460 kB
Inactive(anon):    10772 kB
Active(file):    1682472 kB
Inactive(file):  3225460 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              7712 kB
Writeback:             0 kB
AnonPages:         70632 kB
Mapped:            14884 kB
Shmem:               200 kB
Slab:             732992 kB
SReclaimable:     177052 kB
SUnreclaim:       555940 kB
KernelStack:        1440 kB
PageTables:         4224 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545668 kB
Committed_AS:     132904 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:     43008 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71244 MiB
End job on node121 at 2012-06-02 23:36:11