Trace number 3705556

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
wbo 1.7? 1799.56 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.7 beta - March, 2012                            |
0.00/0.00	c |                                                                             |
0.00/0.00	c Parsing opb file format. File HOME/instance-3705556-1338118857.opb.
0.00/0.00	c Instance file HOME/instance-3705556-1338118857.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.18/0.23	c |  Problem Type:          Optimization                                        |
0.18/0.23	c |  Objective Function:    Cardinality Constraint                              |
0.18/0.23	c |                                                                             |
0.18/0.23	c ============================[ Search Statistics ]==============================
0.18/0.23	c | Time (s)  | ID |      Bound      |               Shared Clauses             |
0.18/0.23	c |           |    | value      type |  expCls         impCls        Lit/impCl  |
0.18/0.23	c ===============================================================================
0.18/0.28	c | 0.28      | 0  | -250771      lb |  0                0                0.00  |
0.29/0.32	c | 0.32      | 0  | -250770      lb |  0                0                0.00  |
0.29/0.36	c | 0.36      | 0  | -250769      lb |  0                0                0.00  |
0.39/0.40	c | 0.40      | 0  | -250767      lb |  0                0                0.00  |
0.39/0.44	c | 0.44      | 0  | -250764      lb |  0                0                0.00  |
0.39/0.47	c | 0.48      | 0  | -250759      lb |  0                0                0.00  |
0.49/0.51	c | 0.52      | 0  | -250751      lb |  0                0                0.00  |
0.49/0.55	c | 0.56      | 0  | -250738      lb |  0                0                0.00  |
0.59/0.60	c | 0.60      | 0  | -250717      lb |  0                0                0.00  |
0.59/0.64	c | 0.64      | 0  | -250683      lb |  0                0                0.00  |
0.59/0.68	c | 0.68      | 0  | -250628      lb |  0                0                0.00  |
0.68/0.72	c | 0.73      | 0  | -250539      lb |  0                0                0.00  |
0.68/0.77	c | 0.77      | 0  | -250395      lb |  0                0                0.00  |
0.78/0.81	c | 0.81      | 0  | -250162      lb |  0                0                0.00  |
0.78/0.86	c | 0.86      | 0  | -249785      lb |  0                0                0.00  |
0.88/0.91	c | 0.91      | 0  | -249784      lb |  0                0                0.00  |
0.88/0.97	c | 0.97      | 0  | -249783      lb |  0                0                0.00  |
0.98/1.02	c | 1.02      | 0  | -249782      lb |  0                0                0.00  |
0.98/1.08	c | 1.08      | 0  | -249781      lb |  0                0                0.00  |
1.08/1.14	c | 1.14      | 0  | -249780      lb |  0                0                0.00  |
1.08/1.19	c | 1.20      | 0  | -249779      lb |  0                0                0.00  |
1.18/1.25	c | 1.25      | 0  | -249778      lb |  0                0                0.00  |
1.28/1.31	c | 1.31      | 0  | -249777      lb |  0                0                0.00  |
1.28/1.37	c | 1.37      | 0  | -249776      lb |  0                0                0.00  |
1.38/1.43	c | 1.43      | 0  | -249774      lb |  0                0                0.00  |
1.38/1.49	c | 1.49      | 0  | -249773      lb |  0                0                0.00  |
1.48/1.55	c | 1.55      | 0  | -249772      lb |  0                0                0.00  |
1.58/1.61	c | 1.61      | 0  | -249771      lb |  0                0                0.00  |
1.58/1.67	c | 1.68      | 0  | -249770      lb |  0                0                0.00  |
1.68/1.74	c | 1.74      | 0  | -249769      lb |  0                0                0.00  |
1.78/1.80	c | 1.80      | 0  | -249767      lb |  0                0                0.00  |
1.78/1.86	c | 1.86      | 0  | -249766      lb |  0                0                0.00  |
1.88/1.92	c | 1.93      | 0  | -249764      lb |  0                0                0.00  |
1.88/1.99	c | 1.99      | 0  | -249763      lb |  0                0                0.00  |
1.98/2.05	c | 2.05      | 0  | -249762      lb |  0                0                0.00  |
2.08/2.12	c | 2.12      | 0  | -249761      lb |  0                0                0.00  |
2.08/2.18	c | 2.18      | 0  | -249760      lb |  0                0                0.00  |
2.18/2.25	c | 2.25      | 0  | -249759      lb |  0                0                0.00  |
2.28/2.32	c | 2.32      | 0  | -249758      lb |  0                0                0.00  |
2.28/2.38	c | 2.39      | 0  | -249757      lb |  0                0                0.00  |
2.38/2.45	c | 2.46      | 0  | -249756      lb |  0                0                0.00  |
2.48/2.53	c | 2.53      | 0  | -249755      lb |  0                0                0.00  |
2.58/2.60	c | 2.60      | 0  | -249754      lb |  0                0                0.00  |
2.58/2.67	c | 2.67      | 0  | -249753      lb |  0                0                0.00  |
2.68/2.74	c | 2.74      | 0  | -249752      lb |  0                0                0.00  |
2.78/2.80	c | 2.81      | 0  | -249751      lb |  0                0                0.00  |
2.78/2.88	c | 2.88      | 0  | -249750      lb |  0                0                0.00  |
2.87/2.95	c | 2.95      | 0  | -249748      lb |  0                0                0.00  |
2.97/3.02	c | 3.02      | 0  | -249747      lb |  0                0                0.00  |
2.97/3.09	c | 3.09      | 0  | -249746      lb |  0                0                0.00  |
3.07/3.16	c | 3.16      | 0  | -249745      lb |  0                0                0.00  |
3.17/3.23	c | 3.24      | 0  | -249743      lb |  0                0                0.00  |
3.27/3.31	c | 3.31      | 0  | -249742      lb |  0                0                0.00  |
3.27/3.38	c | 3.38      | 0  | -249741      lb |  0                0                0.00  |
3.37/3.45	c | 3.46      | 0  | -249740      lb |  0                0                0.00  |
3.47/3.53	c | 3.54      | 0  | -249739      lb |  0                0                0.00  |
3.57/3.61	c | 3.62      | 0  | -249738      lb |  0                0                0.00  |
3.67/3.70	c | 3.70      | 0  | -249737      lb |  0                0                0.00  |
3.67/3.78	c | 3.78      | 0  | -249736      lb |  0                0                0.00  |
3.77/3.86	c | 3.86      | 0  | -249735      lb |  0                0                0.00  |
3.87/3.94	c | 3.94      | 0  | -249734      lb |  0                0                0.00  |
3.97/4.02	c | 4.03      | 0  | -249733      lb |  0                0                0.00  |
4.07/4.11	c | 4.11      | 0  | -249732      lb |  0                0                0.00  |
4.07/4.19	c | 4.19      | 0  | -249731      lb |  0                0                0.00  |
4.17/4.27	c | 4.28      | 0  | -249730      lb |  0                0                0.00  |
4.28/4.36	c | 4.36      | 0  | -249729      lb |  0                0                0.00  |
4.38/4.44	c | 4.45      | 0  | -249726      lb |  0                0                0.00  |
4.47/4.53	c | 4.53      | 0  | -249725      lb |  0                0                0.00  |
4.57/4.62	c | 4.62      | 0  | -249722      lb |  0                0                0.00  |
4.67/4.70	c | 4.71      | 0  | -249718      lb |  0                0                0.00  |
4.67/4.79	c | 4.79      | 0  | -249717      lb |  0                0                0.00  |
4.76/4.88	c | 4.88      | 0  | -249714      lb |  0                0                0.00  |
4.86/4.96	c | 4.96      | 0  | -249707      lb |  0                0                0.00  |
4.97/5.05	c | 5.05      | 0  | -249706      lb |  0                0                0.00  |
5.07/5.14	c | 5.14      | 0  | -249705      lb |  0                0                0.00  |
5.17/5.23	c | 5.23      | 0  | -249704      lb |  0                0                0.00  |
5.27/5.32	c | 5.32      | 0  | -249702      lb |  0                0                0.00  |
5.38/5.41	c | 5.41      | 0  | -249701      lb |  0                0                0.00  |
5.38/5.49	c | 5.50      | 0  | -249700      lb |  0                0                0.00  |
5.47/5.58	c | 5.59      | 0  | -249699      lb |  0                0                0.00  |
5.57/5.67	c | 5.67      | 0  | -249698      lb |  0                0                0.00  |
5.67/5.76	c | 5.76      | 0  | -249697      lb |  0                0                0.00  |
5.77/5.85	c | 5.85      | 0  | -249696      lb |  0                0                0.00  |
5.87/5.94	c | 5.94      | 0  | -249695      lb |  0                0                0.00  |
5.97/6.03	c | 6.03      | 0  | -249690      lb |  0                0                0.00  |
6.06/6.12	c | 6.13      | 0  | -249688      lb |  0                0                0.00  |
6.17/6.22	c | 6.22      | 0  | -249687      lb |  0                0                0.00  |
6.27/6.31	c | 6.31      | 0  | -249686      lb |  0                0                0.00  |
6.37/6.40	c | 6.40      | 0  | -249685      lb |  0                0                0.00  |
6.37/6.49	c | 6.50      | 0  | -249684      lb |  0                0                0.00  |
6.48/6.59	c | 6.59      | 0  | -249683      lb |  0                0                0.00  |
6.58/6.68	c | 6.68      | 0  | -249681      lb |  0                0                0.00  |
6.67/6.77	c | 6.77      | 0  | -249680      lb |  0                0                0.00  |
6.77/6.86	c | 6.87      | 0  | -249679      lb |  0                0                0.00  |
6.87/6.96	c | 6.96      | 0  | -249678      lb |  0                0                0.00  |
6.97/7.05	c | 7.05      | 0  | -249677      lb |  0                0                0.00  |
7.07/7.14	c | 7.14      | 0  | -249673      lb |  0                0                0.00  |
7.17/7.24	c | 7.24      | 0  | -249670      lb |  0                0                0.00  |
7.27/7.33	c | 7.33      | 0  | -249669      lb |  0                0                0.00  |
7.37/7.42	c | 7.43      | 0  | -249668      lb |  0                0                0.00  |
7.46/7.52	c | 7.52      | 0  | -249666      lb |  0                0                0.00  |
7.57/7.61	c | 7.61      | 0  | -249665      lb |  0                0                0.00  |
7.57/7.70	c | 7.70      | 0  | -249662      lb |  0                0                0.00  |
7.68/7.78	c | 7.78      | 0  | -249659      lb |  0                0                0.00  |
7.77/7.87	c | 7.87      | 0  | -249655      lb |  0                0                0.00  |
7.87/7.96	c | 7.96      | 0  | -249654      lb |  0                0                0.00  |
7.97/8.04	c | 8.05      | 0  | -249651      lb |  0                0                0.00  |
8.07/8.14	c | 8.14      | 0  | -249650      lb |  0                0                0.00  |
8.17/8.23	c | 8.23      | 0  | -249649      lb |  0                0                0.00  |
8.27/8.32	c | 8.32      | 0  | -249647      lb |  0                0                0.00  |
8.37/8.41	c | 8.41      | 0  | -249645      lb |  0                0                0.00  |
8.37/8.49	c | 8.49      | 0  | -249644      lb |  0                0                0.00  |
8.47/8.58	c | 8.59      | 0  | -249637      lb |  0                0                0.00  |
8.57/8.67	c | 8.68      | 0  | -249636      lb |  0                0                0.00  |
8.67/8.76	c | 8.77      | 0  | -249631      lb |  0                0                0.00  |
8.77/8.85	c | 8.85      | 0  | -249618      lb |  0                0                0.00  |
8.87/8.94	c | 8.94      | 0  | -249617      lb |  0                0                0.00  |
8.97/9.03	c | 9.03      | 0  | -249616      lb |  0                0                0.00  |
9.07/9.12	c | 9.12      | 0  | -249607      lb |  0                0                0.00  |
9.17/9.21	c | 9.21      | 0  | -249598      lb |  0                0                0.00  |
9.27/9.30	c | 9.30      | 0  | -249579      lb |  0                0                0.00  |
9.27/9.39	c | 9.39      | 0  | -249578      lb |  0                0                0.00  |
9.36/9.49	c | 9.49      | 0  | -249577      lb |  0                0                0.00  |
9.46/9.58	c | 9.58      | 0  | -249576      lb |  0                0                0.00  |
9.57/9.66	c | 9.67      | 0  | -249574      lb |  0                0                0.00  |
9.67/9.76	c | 9.76      | 0  | -249572      lb |  0                0                0.00  |
9.78/9.85	c | 9.85      | 0  | -249568      lb |  0                0                0.00  |
9.88/9.94	c | 9.94      | 0  | -249566      lb |  0                0                0.00  |
9.97/10.03	c | 10.04     | 0  | -249563      lb |  0                0                0.00  |
10.07/10.13	c | 10.13     | 0  | -249558      lb |  0                0                0.00  |
10.17/10.23	c | 10.23     | 0  | -249553      lb |  0                0                0.00  |
10.27/10.33	c | 10.33     | 0  | -249552      lb |  0                0                0.00  |
10.37/10.43	c | 10.43     | 0  | -249547      lb |  0                0                0.00  |
10.47/10.53	c | 10.53     | 0  | -249542      lb |  0                0                0.00  |
10.56/10.63	c | 10.64     | 0  | -249437      lb |  0                0                0.00  |
10.66/10.73	c | 10.73     | 0  | -249436      lb |  0                0                0.00  |
10.76/10.82	c | 10.82     | 0  | -249435      lb |  0                0                0.00  |
10.88/10.91	c | 10.92     | 0  | -249433      lb |  0                0                0.00  |
10.98/11.01	c | 11.01     | 0  | -249432      lb |  0                0                0.00  |
11.07/11.10	c | 11.10     | 0  | -249430      lb |  0                0                0.00  |
11.07/11.19	c | 11.20     | 0  | -249426      lb |  0                0                0.00  |
11.17/11.29	c | 11.29     | 0  | -249423      lb |  0                0                0.00  |
11.27/11.38	c | 11.38     | 0  | -249422      lb |  0                0                0.00  |
11.37/11.47	c | 11.47     | 0  | -249421      lb |  0                0                0.00  |
11.47/11.56	c | 11.57     | 0  | -249419      lb |  0                0                0.00  |
11.57/11.66	c | 11.66     | 0  | -249418      lb |  0                0                0.00  |
11.67/11.75	c | 11.75     | 0  | -249417      lb |  0                0                0.00  |
11.77/11.85	c | 11.85     | 0  | -249416      lb |  0                0                0.00  |
11.86/11.93	c | 11.94     | 0  | -249408      lb |  0                0                0.00  |
11.97/12.04	c | 12.04     | 0  | -249406      lb |  0                0                0.00  |
12.08/12.14	c | 12.14     | 0  | -249400      lb |  0                0                0.00  |
12.17/12.24	c | 12.24     | 0  | -249382      lb |  0                0                0.00  |
12.27/12.34	c | 12.35     | 0  | -249356      lb |  0                0                0.00  |
12.37/12.45	c | 12.45     | 0  | -249336      lb |  0                0                0.00  |
12.47/12.55	c | 12.55     | 0  | -249319      lb |  0                0                0.00  |
12.57/12.65	c | 12.65     | 0  | -249318      lb |  0                0                0.00  |
12.67/12.77	c | 12.77     | 0  | -249317      lb |  0                0                0.00  |
12.76/12.88	c | 12.88     | 0  | -249316      lb |  0                0                0.00  |
12.96/13.00	c | 13.00     | 0  | -249315      lb |  0                0                0.00  |
13.08/13.12	c | 13.12     | 0  | -249314      lb |  0                0                0.00  |
13.18/13.24	c | 13.24     | 0  | -249309      lb |  0                0                0.00  |
13.27/13.35	c | 13.35     | 0  | -249293      lb |  0                0                0.00  |
13.37/13.47	c | 13.47     | 0  | -249264      lb |  0                0                0.00  |
13.47/13.59	c | 13.59     | 0  | -249256      lb |  0                0                0.00  |
13.66/13.71	c | 13.72     | 0  | -249220      lb |  0                0                0.00  |
13.77/13.83	c | 13.83     | 0  | -249212      lb |  0                0                0.00  |
13.87/13.95	c | 13.95     | 0  | -249202      lb |  0                0                0.00  |
13.97/14.07	c | 14.07     | 0  | -249197      lb |  0                0                0.00  |
14.07/14.19	c | 14.19     | 0  | -249196      lb |  0                0                0.00  |
14.27/14.31	c | 14.31     | 0  | -249187      lb |  0                0                0.00  |
14.36/14.44	c | 14.44     | 0  | -249186      lb |  0                0                0.00  |
14.46/14.56	c | 14.56     | 0  | -249185      lb |  0                0                0.00  |
14.56/14.69	c | 14.69     | 0  | -249184      lb |  0                0                0.00  |
14.77/14.83	c | 14.83     | 0  | -249183      lb |  0                0                0.00  |
14.87/14.96	c | 14.96     | 0  | -249182      lb |  0                0                0.00  |
15.07/15.10	c | 15.10     | 0  | -249181      lb |  0                0                0.00  |
15.17/15.23	c | 15.23     | 0  | -249180      lb |  0                0                0.00  |
15.28/15.35	c | 15.36     | 0  | -249179      lb |  0                0                0.00  |
15.47/15.52	c | 15.53     | 0  | -249178      lb |  0                0                0.00  |
15.57/15.65	c | 15.65     | 0  | -249177      lb |  0                0                0.00  |
15.77/15.80	c | 15.80     | 0  | -249176      lb |  0                0                0.00  |
15.97/16.09	c | 16.10     | 0  | -249175      lb |  0                0                0.00  |
16.27/16.39	c | 16.39     | 0  | -249174      lb |  0                0                0.00  |
16.57/16.62	c | 16.62     | 0  | -249173      lb |  0                0                0.00  |
16.76/16.87	c | 16.88     | 0  | -249172      lb |  0                0                0.00  |
17.06/17.14	c | 17.14     | 0  | -249171      lb |  0                0                0.00  |
17.37/17.42	c | 17.43     | 0  | -249170      lb |  0                0                0.00  |
17.67/17.71	c | 17.71     | 0  | -249169      lb |  0                0                0.00  |
17.87/17.99	c | 17.99     | 0  | -249168      lb |  0                0                0.00  |
18.07/18.16	c | 18.16     | 0  | -249167      lb |  0                0                0.00  |
18.37/18.45	c | 18.45     | 0  | -249166      lb |  0                0                0.00  |
18.67/18.75	c | 18.75     | 0  | -249165      lb |  0                0                0.00  |
18.97/19.07	c | 19.07     | 0  | -249164      lb |  0                0                0.00  |
19.37/19.44	c | 19.44     | 0  | -249163      lb |  0                0                0.00  |
19.67/19.71	c | 19.71     | 0  | -249162      lb |  0                0                0.00  |
19.86/19.92	c | 19.92     | 0  | -249161      lb |  0                0                0.00  |
20.06/20.13	c | 20.13     | 0  | -249160      lb |  0                0                0.00  |
20.27/20.31	c | 20.31     | 0  | -249159      lb |  0                0                0.00  |
20.37/20.49	c | 20.50     | 0  | -249158      lb |  0                0                0.00  |
20.78/20.82	c | 20.82     | 0  | -249157      lb |  0                0                0.00  |
20.97/21.02	c | 21.03     | 0  | -249156      lb |  0                0                0.00  |
21.17/21.22	c | 21.22     | 0  | -249155      lb |  0                0                0.00  |
21.47/21.52	c | 21.52     | 0  | -249154      lb |  0                0                0.00  |
21.66/21.78	c | 21.78     | 0  | -249153      lb |  0                0                0.00  |
21.97/22.09	c | 22.09     | 0  | -249152      lb |  0                0                0.00  |
22.27/22.37	c | 22.37     | 0  | -249151      lb |  0                0                0.00  |
22.57/22.64	c | 22.65     | 0  | -249150      lb |  0                0                0.00  |
22.87/22.91	c | 22.91     | 0  | -249149      lb |  0                0                0.00  |
23.08/23.13	c | 23.13     | 0  | -249148      lb |  0                0                0.00  |
23.26/23.38	c | 23.38     | 0  | -249147      lb |  0                0                0.00  |
23.56/23.62	c | 23.62     | 0  | -249146      lb |  0                0                0.00  |
23.76/23.82	c | 23.82     | 0  | -249145      lb |  0                0                0.00  |
23.96/24.05	c | 24.05     | 0  | -249144      lb |  0                0                0.00  |
24.18/24.29	c | 24.29     | 0  | -249143      lb |  0                0                0.00  |
24.47/24.53	c | 24.53     | 0  | -249142      lb |  0                0                0.00  |
24.66/24.73	c | 24.73     | 0  | -249141      lb |  0                0                0.00  |
24.86/24.94	c | 24.94     | 0  | -249140      lb |  0                0                0.00  |
25.06/25.15	c | 25.15     | 0  | -249139      lb |  0                0                0.00  |
25.36/25.43	c | 25.43     | 0  | -249138      lb |  0                0                0.00  |
25.56/25.62	c | 25.62     | 0  | -249137      lb |  0                0                0.00  |
25.77/25.80	c | 25.81     | 0  | -249136      lb |  0                0                0.00  |
25.97/26.01	c | 26.01     | 0  | -249135      lb |  0                0                0.00  |
26.27/26.32	c | 26.32     | 0  | -249134      lb |  0                0                0.00  |
26.47/26.55	c | 26.56     | 0  | -249133      lb |  0                0                0.00  |
26.77/26.83	c | 26.83     | 0  | -249132      lb |  0                0                0.00  |
26.96/27.02	c | 27.03     | 0  | -249131      lb |  0                0                0.00  |
27.16/27.28	c | 27.28     | 0  | -249130      lb |  0                0                0.00  |
27.47/27.51	c | 27.52     | 0  | -249129      lb |  0                0                0.00  |
27.57/27.67	c | 27.68     | 0  | -249128      lb |  0                0                0.00  |
27.86/27.91	c | 27.91     | 0  | -249127      lb |  0                0                0.00  |
28.06/28.13	c | 28.13     | 0  | -249126      lb |  0                0                0.00  |
28.26/28.34	c | 28.34     | 0  | -249125      lb |  0                0                0.00  |
28.47/28.55	c | 28.55     | 0  | -249124      lb |  0                0                0.00  |
28.66/28.74	c | 28.74     | 0  | -249123      lb |  0                0                0.00  |
28.97/29.00	c | 29.00     | 0  | -249122      lb |  0                0                0.00  |
29.17/29.25	c | 29.25     | 0  | -249121      lb |  0                0                0.00  |
29.47/29.53	c | 29.53     | 0  | -249120      lb |  0                0                0.00  |
29.67/29.76	c | 29.76     | 0  | -249119      lb |  0                0                0.00  |
29.96/30.01	c | 30.01     | 0  | -249118      lb |  0                0                0.00  |
30.16/30.25	c | 30.25     | 0  | -249117      lb |  0                0                0.00  |
30.36/30.47	c | 30.47     | 0  | -249116      lb |  0                0                0.00  |
30.67/30.71	c | 30.71     | 0  | -249115      lb |  0                0                0.00  |
30.87/30.91	c | 30.91     | 0  | -249114      lb |  0                0                0.00  |
31.07/31.10	c | 31.11     | 0  | -249113      lb |  0                0                0.00  |
31.27/31.33	c | 31.33     | 0  | -249112      lb |  0                0                0.00  |
31.46/31.56	c | 31.56     | 0  | -249111      lb |  0                0                0.00  |
31.66/31.79	c | 31.79     | 0  | -249110      lb |  0                0                0.00  |
31.96/32.03	c | 32.04     | 0  | -249109      lb |  0                0                0.00  |
32.16/32.27	c | 32.27     | 0  | -249108      lb |  0                0                0.00  |
32.36/32.46	c | 32.46     | 0  | -249107      lb |  0                0                0.00  |
32.67/32.71	c | 32.71     | 0  | -249106      lb |  0                0                0.00  |
32.87/32.99	c | 32.99     | 0  | -249105      lb |  0                0                0.00  |
33.16/33.23	c | 33.23     | 0  | -249104      lb |  0                0                0.00  |
33.36/33.49	c | 33.49     | 0  | -249103      lb |  0                0                0.00  |
33.66/33.72	c | 33.73     | 0  | -249102      lb |  0                0                0.00  |
33.86/33.95	c | 33.95     | 0  | -249101      lb |  0                0                0.00  |
34.16/34.20	c | 34.21     | 0  | -249100      lb |  0                0                0.00  |
34.36/34.47	c | 34.47     | 0  | -249099      lb |  0                0                0.00  |
34.56/34.65	c | 34.65     | 0  | -249098      lb |  0                0                0.00  |
34.76/34.89	c | 34.89     | 0  | -249097      lb |  0                0                0.00  |
35.06/35.11	c | 35.12     | 0  | -249096      lb |  0                0                0.00  |
35.27/35.35	c | 35.35     | 0  | -249095      lb |  0                0                0.00  |
35.46/35.52	c | 35.52     | 0  | -249094      lb |  0                0                0.00  |
35.66/35.78	c | 35.78     | 0  | -249093      lb |  0                0                0.00  |
35.96/36.02	c | 36.02     | 0  | -249092      lb |  0                0                0.00  |
36.17/36.25	c | 36.25     | 0  | -249091      lb |  0                0                0.00  |
36.46/36.50	c | 36.51     | 0  | -249090      lb |  0                0                0.00  |
36.67/36.71	c | 36.71     | 0  | -249089      lb |  0                0                0.00  |
36.87/36.93	c | 36.93     | 0  | -249088      lb |  0                0                0.00  |
37.06/37.19	c | 37.19     | 0  | -249087      lb |  0                0                0.00  |
37.37/37.44	c | 37.44     | 0  | -249086      lb |  0                0                0.00  |
37.66/37.71	c | 37.71     | 0  | -249085      lb |  0                0                0.00  |
37.86/37.90	c | 37.90     | 0  | -249084      lb |  0                0                0.00  |
38.06/38.11	c | 38.12     | 0  | -249083      lb |  0                0                0.00  |
38.26/38.35	c | 38.35     | 0  | -249082      lb |  0                0                0.00  |
38.47/38.56	c | 38.57     | 0  | -249081      lb |  0                0                0.00  |
38.66/38.78	c | 38.78     | 0  | -249075      lb |  0                0                0.00  |
38.96/39.01	c | 39.02     | 0  | -249074      lb |  0                0                0.00  |
39.16/39.24	c | 39.25     | 0  | -249073      lb |  0                0                0.00  |
39.47/39.54	c | 39.54     | 0  | -249072      lb |  0                0                0.00  |
39.66/39.75	c | 39.76     | 0  | -249071      lb |  0                0                0.00  |
39.96/40.02	c | 40.02     | 0  | -249070      lb |  0                0                0.00  |
40.16/40.24	c | 40.24     | 0  | -249069      lb |  0                0                0.00  |
40.36/40.48	c | 40.48     | 0  | -249068      lb |  0                0                0.00  |
40.67/40.73	c | 40.73     | 0  | -249067      lb |  0                0                0.00  |
40.87/40.95	c | 40.95     | 0  | -249066      lb |  0                0                0.00  |
41.17/41.22	c | 41.23     | 0  | -249065      lb |  0                0                0.00  |
41.46/41.52	c | 41.53     | 0  | -249064      lb |  0                0                0.00  |
41.67/41.74	c | 41.74     | 0  | -249054      lb |  0                0                0.00  |
41.86/41.96	c | 41.96     | 0  | -249053      lb |  0                0                0.00  |
42.06/42.18	c | 42.18     | 0  | -249052      lb |  0                0                0.00  |
42.26/42.39	c | 42.39     | 0  | -249051      lb |  0                0                0.00  |
42.56/42.61	c | 42.62     | 0  | -249050      lb |  0                0                0.00  |
42.77/42.85	c | 42.85     | 0  | -249049      lb |  0                0                0.00  |
43.06/43.11	c | 43.11     | 0  | -249047      lb |  0                0                0.00  |
43.26/43.34	c | 43.34     | 0  | -249046      lb |  0                0                0.00  |
43.46/43.56	c | 43.57     | 0  | -249045      lb |  0                0                0.00  |
43.67/43.79	c | 43.79     | 0  | -249044      lb |  0                0                0.00  |
43.97/44.05	c | 44.06     | 0  | -249043      lb |  0                0                0.00  |
44.26/44.32	c | 44.32     | 0  | -249042      lb |  0                0                0.00  |
44.46/44.53	c | 44.53     | 0  | -249041      lb |  0                0                0.00  |
44.66/44.74	c | 44.74     | 0  | -249040      lb |  0                0                0.00  |
44.86/45.00	c | 45.00     | 0  | -249039      lb |  0                0                0.00  |
45.16/45.27	c | 45.27     | 0  | -249038      lb |  0                0                0.00  |
45.46/45.53	c | 45.54     | 0  | -249037      lb |  0                0                0.00  |
45.66/45.79	c | 45.79     | 0  | -249036      lb |  0                0                0.00  |
45.96/46.02	c | 46.03     | 0  | -249035      lb |  0                0                0.00  |
46.17/46.25	c | 46.25     | 0  | -249034      lb |  0                0                0.00  |
46.36/46.49	c | 46.49     | 0  | -249033      lb |  0                0                0.00  |
46.66/46.73	c | 46.73     | 0  | -249032      lb |  0                0                0.00  |
46.86/46.95	c | 46.96     | 0  | -249031      lb |  0                0                0.00  |
47.06/47.20	c | 47.20     | 0  | -249030      lb |  0                0                0.00  |
47.36/47.46	c | 47.46     | 0  | -249029      lb |  0                0                0.00  |
47.66/47.71	c | 47.71     | 0  | -249028      lb |  0                0                0.00  |
47.86/47.98	c | 47.98     | 0  | -249027      lb |  0                0                0.00  |
48.16/48.22	c | 48.22     | 0  | -249026      lb |  0                0                0.00  |
48.36/48.45	c | 48.45     | 0  | -249025      lb |  0                0                0.00  |
48.66/48.75	c | 48.75     | 0  | -249024      lb |  0                0                0.00  |
48.96/49.05	c | 49.05     | 0  | -249023      lb |  0                0                0.00  |
49.26/49.31	c | 49.31     | 0  | -249022      lb |  0                0                0.00  |
49.56/49.61	c | 49.61     | 0  | -249021      lb |  0                0                0.00  |
49.76/49.89	c | 49.89     | 0  | -249020      lb |  0                0                0.00  |
50.16/50.22	c | 50.23     | 0  | -249019      lb |  0                0                0.00  |
50.36/50.49	c | 50.49     | 0  | -249018      lb |  0                0                0.00  |
50.66/50.74	c | 50.74     | 0  | -249017      lb |  0                0                0.00  |
50.86/50.98	c | 50.98     | 0  | -249016      lb |  0                0                0.00  |
51.16/51.25	c | 51.25     | 0  | -249015      lb |  0                0                0.00  |
51.46/51.52	c | 51.52     | 0  | -249014      lb |  0                0                0.00  |
51.76/51.80	c | 51.80     | 0  | -249013      lb |  0                0                0.00  |
52.06/52.10	c | 52.10     | 0  | -249012      lb |  0                0                0.00  |
52.26/52.38	c | 52.38     | 0  | -249011      lb |  0                0                0.00  |
52.56/52.64	c | 52.65     | 0  | -249010      lb |  0                0                0.00  |
52.86/52.90	c | 52.91     | 0  | -249009      lb |  0                0                0.00  |
53.16/53.22	c | 53.22     | 0  | -249008      lb |  0                0                0.00  |
53.36/53.48	c | 53.48     | 0  | -249007      lb |  0                0                0.00  |
53.66/53.70	c | 53.70     | 0  | -249006      lb |  0                0                0.00  |
53.87/53.93	c | 53.93     | 0  | -249005      lb |  0                0                0.00  |
54.06/54.16	c | 54.17     | 0  | -249004      lb |  0                0                0.00  |
54.36/54.40	c | 54.40     | 0  | -249003      lb |  0                0                0.00  |
54.56/54.66	c | 54.66     | 0  | -249002      lb |  0                0                0.00  |
54.86/54.91	c | 54.91     | 0  | -249001      lb |  0                0                0.00  |
55.06/55.17	c | 55.18     | 0  | -249000      lb |  0                0                0.00  |
55.36/55.41	c | 55.41     | 0  | -248999      lb |  0                0                0.00  |
55.56/55.66	c | 55.66     | 0  | -248998      lb |  0                0                0.00  |
55.86/55.90	c | 55.91     | 0  | -248997      lb |  0                0                0.00  |
56.06/56.17	c | 56.17     | 0  | -248996      lb |  0                0                0.00  |
56.46/56.53	c | 56.54     | 0  | -248995      lb |  0                0                0.00  |
56.76/56.82	c | 56.82     | 0  | -248994      lb |  0                0                0.00  |
56.96/57.09	c | 57.09     | 0  | -248993      lb |  0                0                0.00  |
57.26/57.39	c | 57.39     | 0  | -248992      lb |  0                0                0.00  |
57.56/57.68	c | 57.69     | 0  | -248991      lb |  0                0                0.00  |
57.86/57.98	c | 57.98     | 0  | -248990      lb |  0                0                0.00  |
58.16/58.28	c | 58.28     | 0  | -248989      lb |  0                0                0.00  |
58.46/58.57	c | 58.57     | 0  | -248988      lb |  0                0                0.00  |
58.76/58.87	c | 58.88     | 0  | -248987      lb |  0                0                0.00  |
59.06/59.15	c | 59.15     | 0  | -248986      lb |  0                0                0.00  |
59.27/59.39	c | 59.40     | 0  | -248985      lb |  0                0                0.00  |
59.66/59.71	c | 59.71     | 0  | -248984      lb |  0                0                0.00  |
59.95/60.04	c | 60.05     | 0  | -248983      lb |  0                0                0.00  |
60.26/60.39	c | 60.39     | 0  | -248982      lb |  0                0                0.00  |
60.56/60.67	c | 60.67     | 0  | -248981      lb |  0                0                0.00  |
60.86/60.95	c | 60.95     | 0  | -248980      lb |  0                0                0.00  |
62.06/62.13	c | 62.13     | 0  | -248979      lb |  0                0                0.00  |
63.46/63.58	c | 63.58     | 0  | -248978      lb |  0                0                0.00  |
63.77/63.87	c | 63.88     | 0  | -248977      lb |  0                0                0.00  |
64.06/64.15	c | 64.15     | 0  | -248976      lb |  0                0                0.00  |
64.46/64.53	c | 64.53     | 0  | -248975      lb |  0                0                0.00  |
64.76/64.88	c | 64.88     | 0  | -248974      lb |  0                0                0.00  |
65.16/65.26	c | 65.26     | 0  | -248973      lb |  0                0                0.00  |
65.46/65.55	c | 65.56     | 0  | -248972      lb |  0                0                0.00  |
65.76/65.86	c | 65.86     | 0  | -248971      lb |  0                0                0.00  |
66.16/66.22	c | 66.22     | 0  | -248970      lb |  0                0                0.00  |
66.45/66.52	c | 66.53     | 0  | -248969      lb |  0                0                0.00  |
66.76/66.84	c | 66.84     | 0  | -248968      lb |  0                0                0.00  |
67.06/67.17	c | 67.17     | 0  | -248967      lb |  0                0                0.00  |
67.46/67.55	c | 67.55     | 0  | -248966      lb |  0                0                0.00  |
67.76/67.88	c | 67.88     | 0  | -248965      lb |  0                0                0.00  |
68.17/68.24	c | 68.24     | 0  | -248964      lb |  0                0                0.00  |
68.56/68.60	c | 68.60     | 0  | -248963      lb |  0                0                0.00  |
68.86/68.92	c | 68.93     | 0  | -248962      lb |  0                0                0.00  |
69.16/69.23	c | 69.23     | 0  | -248961      lb |  0                0                0.00  |
69.65/69.70	c | 69.70     | 0  | -248960      lb |  0                0                0.00  |
69.96/70.02	c | 70.03     | 0  | -248959      lb |  0                0                0.00  |
70.26/70.31	c | 70.31     | 0  | -248958      lb |  0                0                0.00  |
70.55/70.65	c | 70.65     | 0  | -248957      lb |  0                0                0.00  |
70.85/70.96	c | 70.96     | 0  | -248956      lb |  0                0                0.00  |
71.25/71.31	c | 71.31     | 0  | -248954      lb |  0                0                0.00  |
71.55/71.60	c | 71.60     | 0  | -248953      lb |  0                0                0.00  |
71.86/71.92	c | 71.92     | 0  | -248952      lb |  0                0                0.00  |
72.16/72.25	c | 72.25     | 0  | -248951      lb |  0                0                0.00  |
72.46/72.53	c | 72.53     | 0  | -248950      lb |  0                0                0.00  |
72.76/72.88	c | 72.89     | 0  | -248949      lb |  0                0                0.00  |
73.16/73.22	c | 73.22     | 0  | -248948      lb |  0                0                0.00  |
73.46/73.57	c | 73.57     | 0  | -248947      lb |  0                0                0.00  |
73.86/73.90	c | 73.90     | 0  | -248946      lb |  0                0                0.00  |
74.16/74.28	c | 74.28     | 0  | -248942      lb |  0                0                0.00  |
74.56/74.66	c | 74.66     | 0  | -248941      lb |  0                0                0.00  |
74.85/74.97	c | 74.97     | 0  | -248940      lb |  0                0                0.00  |
75.25/75.32	c | 75.32     | 0  | -248939      lb |  0                0                0.00  |
75.65/75.70	c | 75.70     | 0  | -248938      lb |  0                0                0.00  |
76.05/76.14	c | 76.14     | 0  | -248937      lb |  0                0                0.00  |
76.45/76.52	c | 76.52     | 0  | -248936      lb |  0                0                0.00  |
76.75/76.87	c | 76.88     | 0  | -248935      lb |  0                0                0.00  |
77.15/77.25	c | 77.25     | 0  | -248934      lb |  0                0                0.00  |
77.46/77.58	c | 77.59     | 0  | -248933      lb |  0                0                0.00  |
77.86/77.93	c | 77.93     | 0  | -248932      lb |  0                0                0.00  |
78.15/78.26	c | 78.26     | 0  | -248931      lb |  0                0                0.00  |
78.55/78.64	c | 78.64     | 0  | -248930      lb |  0                0                0.00  |
78.95/79.01	c | 79.01     | 0  | -248929      lb |  0                0                0.00  |
79.25/79.33	c | 79.33     | 0  | -248928      lb |  0                0                0.00  |
79.55/79.68	c | 79.69     | 0  | -248927      lb |  0                0                0.00  |
79.95/80.03	c | 80.03     | 0  | -248926      lb |  0                0                0.00  |
80.35/80.40	c | 80.40     | 0  | -248925      lb |  0                0                0.00  |
80.55/80.69	c | 80.70     | 0  | -248924      lb |  0                0                0.00  |
81.04/81.18	c | 81.18     | 0  | -248923      lb |  0                0                0.00  |
81.44/81.54	c | 81.54     | 0  | -248922      lb |  0                0                0.00  |
81.74/81.89	c | 81.89     | 0  | -248921      lb |  0                0                0.00  |
82.14/82.27	c | 82.27     | 0  | -248920      lb |  0                0                0.00  |
82.55/82.61	c | 82.61     | 0  | -248919      lb |  0                0                0.00  |
82.85/82.95	c | 82.95     | 0  | -248918      lb |  0                0                0.00  |
83.15/83.27	c | 83.27     | 0  | -248917      lb |  0                0                0.00  |
83.55/83.65	c | 83.65     | 0  | -248916      lb |  0                0                0.00  |
83.95/84.00	c | 84.00     | 0  | -248915      lb |  0                0                0.00  |
84.25/84.38	c | 84.38     | 0  | -248914      lb |  0                0                0.00  |
84.65/84.73	c | 84.73     | 0  | -248913      lb |  0                0                0.00  |
84.94/85.07	c | 85.07     | 0  | -248912      lb |  0                0                0.00  |
85.34/85.43	c | 85.43     | 0  | -248911      lb |  0                0                0.00  |
85.66/85.78	c | 85.79     | 0  | -248910      lb |  0                0                0.00  |
86.05/86.16	c | 86.17     | 0  | -248909      lb |  0                0                0.00  |
86.35/86.43	c | 86.44     | 0  | -248908      lb |  0                0                0.00  |
86.65/86.76	c | 86.76     | 0  | -248907      lb |  0                0                0.00  |
87.05/87.14	c | 87.14     | 0  | -248906      lb |  0                0                0.00  |
87.55/87.60	c | 87.60     | 0  | -248905      lb |  0                0                0.00  |
87.95/88.07	c | 88.07     | 0  | -248904      lb |  0                0                0.00  |
88.35/88.42	c | 88.42     | 0  | -248903      lb |  0                0                0.00  |
88.74/88.81	c | 88.82     | 0  | -248902      lb |  0                0                0.00  |
89.15/89.27	c | 89.27     | 0  | -248901      lb |  0                0                0.00  |
89.54/89.65	c | 89.65     | 0  | -248900      lb |  0                0                0.00  |
89.84/89.98	c | 89.99     | 0  | -248899      lb |  0                0                0.00  |
90.24/90.33	c | 90.33     | 0  | -248898      lb |  0                0                0.00  |
90.64/90.71	c | 90.71     | 0  | -248897      lb |  0                0                0.00  |
91.04/91.11	c | 91.11     | 0  | -248896      lb |  0                0                0.00  |
91.44/91.53	c | 91.54     | 0  | -248895      lb |  0                0                0.00  |
91.84/91.93	c | 91.94     | 0  | -248894      lb |  0                0                0.00  |
92.35/92.48	c | 92.48     | 0  | -248893      lb |  0                0                0.00  |
92.94/93.06	c | 93.06     | 0  | -248892      lb |  0                0                0.00  |
93.74/93.81	c | 93.81     | 0  | -248891      lb |  0                0                0.00  |
94.34/94.40	c | 94.40     | 0  | -248890      lb |  0                0                0.00  |
94.84/94.90	c | 94.90     | 0  | -248889      lb |  0                0                0.00  |
95.24/95.38	c | 95.38     | 0  | -248888      lb |  0                0                0.00  |
95.94/96.05	c | 96.05     | 0  | -248887      lb |  0                0                0.00  |
96.54/96.67	c | 96.68     | 0  | -248886      lb |  0                0                0.00  |
97.04/97.16	c | 97.16     | 0  | -248885      lb |  0                0                0.00  |
97.64/97.75	c | 97.75     | 0  | -248884      lb |  0                0                0.00  |
98.14/98.29	c | 98.29     | 0  | -248883      lb |  0                0                0.00  |
98.64/98.79	c | 98.80     | 0  | -248882      lb |  0                0                0.00  |
99.43/99.51	c | 99.51     | 0  | -248881      lb |  0                0                0.00  |
99.94/100.02	c | 100.02    | 0  | -248880      lb |  0                0                0.00  |
100.73/100.80	c | 100.80    | 0  | -248879      lb |  0                0                0.00  |
101.14/101.26	c | 101.27    | 0  | -248878      lb |  0                0                0.00  |
101.64/101.76	c | 101.76    | 0  | -248877      lb |  0                0                0.00  |
102.43/102.54	c | 102.54    | 0  | -248876      lb |  0                0                0.00  |
103.03/103.19	c | 103.19    | 0  | -248875      lb |  0                0                0.00  |
103.63/103.73	c | 103.73    | 0  | -248874      lb |  0                0                0.00  |
104.13/104.24	c | 104.24    | 0  | -248873      lb |  0                0                0.00  |
104.63/104.73	c | 104.73    | 0  | -248872      lb |  0                0                0.00  |
105.13/105.26	c | 105.26    | 0  | -248871      lb |  0                0                0.00  |
105.74/105.81	c | 105.81    | 0  | -248870      lb |  0                0                0.00  |
106.24/106.34	c | 106.34    | 0  | -248869      lb |  0                0                0.00  |
106.64/106.78	c | 106.78    | 0  | -248868      lb |  0                0                0.00  |
107.64/107.73	c | 107.73    | 0  | -248867      lb |  0                0                0.00  |
108.13/108.28	c | 108.28    | 0  | -248866      lb |  0                0                0.00  |
108.84/108.91	c | 108.92    | 0  | -248865      lb |  0                0                0.00  |
109.43/109.53	c | 109.53    | 0  | -248864      lb |  0                0                0.00  |
109.93/110.07	c | 110.08    | 0  | -248863      lb |  0                0                0.00  |
110.43/110.56	c | 110.56    | 0  | -248862      lb |  0                0                0.00  |
111.13/111.21	c | 111.21    | 0  | -248861      lb |  0                0                0.00  |
111.73/111.80	c | 111.80    | 0  | -248860      lb |  0                0                0.00  |
112.23/112.32	c | 112.32    | 0  | -248859      lb |  0                0                0.00  |
112.93/113.08	c | 113.08    | 0  | -248858      lb |  0                0                0.00  |
113.73/113.85	c | 113.85    | 0  | -248857      lb |  0                0                0.00  |
114.84/114.90	c | 114.90    | 0  | -248856      lb |  0                0                0.00  |
115.34/115.47	c | 115.47    | 0  | -248855      lb |  0                0                0.00  |
116.23/116.32	c | 116.32    | 0  | -248854      lb |  0                0                0.00  |
116.93/117.03	c | 117.04    | 0  | -248853      lb |  0                0                0.00  |
117.53/117.60	c | 117.61    | 0  | -248852      lb |  0                0                0.00  |
117.93/118.09	c | 118.09    | 0  | -248851      lb |  0                0                0.00  |
118.83/118.94	c | 118.94    | 0  | -248850      lb |  0                0                0.00  |
120.22/120.34	c | 120.34    | 0  | -248849      lb |  0                0                0.00  |
122.12/122.20	c | 122.21    | 0  | -248848      lb |  0                0                0.00  |
123.04/123.18	c | 123.19    | 0  | -248847      lb |  0                0                0.00  |
123.73/123.82	c | 123.82    | 0  | -248846      lb |  0                0                0.00  |
124.33/124.42	c | 124.42    | 0  | -248845      lb |  0                0                0.00  |
125.03/125.11	c | 125.11    | 0  | -248844      lb |  0                0                0.00  |
125.73/125.89	c | 125.90    | 0  | -248843      lb |  0                0                0.00  |
127.23/127.33	c | 127.34    | 0  | -248842      lb |  0                0                0.00  |
127.62/127.72	c | 127.72    | 0  | -248841      lb |  0                0                0.00  |
128.22/128.34	c | 128.34    | 0  | -248840      lb |  0                0                0.00  |
129.02/129.13	c | 129.13    | 0  | -248839      lb |  0                0                0.00  |
130.02/130.15	c | 130.15    | 0  | -248838      lb |  0                0                0.00  |
130.83/130.96	c | 130.97    | 0  | -248837      lb |  0                0                0.00  |
132.42/132.50	c | 132.50    | 0  | -248836      lb |  0                0                0.00  |
133.62/133.70	c | 133.70    | 0  | -248835      lb |  0                0                0.00  |
134.32/134.40	c | 134.41    | 0  | -248834      lb |  0                0                0.00  |
135.63/135.76	c | 135.76    | 0  | -248833      lb |  0                0                0.00  |
136.03/136.15	c | 136.15    | 0  | -248832      lb |  0                0                0.00  |
136.43/136.55	c | 136.55    | 0  | -248831      lb |  0                0                0.00  |
137.12/137.25	c | 137.25    | 0  | -248830      lb |  0                0                0.00  |
137.92/138.06	c | 138.06    | 0  | -248829      lb |  0                0                0.00  |
139.32/139.46	c | 139.46    | 0  | -248828      lb |  0                0                0.00  |
140.02/140.12	c | 140.12    | 0  | -248827      lb |  0                0                0.00  |
141.22/141.36	c | 141.36    | 0  | -248826      lb |  0                0                0.00  |
143.02/143.11	c | 143.11    | 0  | -248825      lb |  0                0                0.00  |
147.42/147.59	c | 147.59    | 0  | -248824      lb |  0                0                0.00  |
148.92/149.05	c | 149.05    | 0  | -248823      lb |  0                0                0.00  |
150.21/150.31	c | 150.31    | 0  | -248822      lb |  0                0                0.00  |
150.91/151.05	c | 151.05    | 0  | -248821      lb |  0                0                0.00  |
152.02/152.13	c | 152.13    | 0  | -248820      lb |  0                0                0.00  |
152.91/153.05	c | 153.05    | 0  | -248819      lb |  0                0                0.00  |
155.81/155.99	c | 156.00    | 0  | -248818      lb |  0                0                0.00  |
156.51/156.67	c | 156.68    | 0  | -248817      lb |  0                0                0.00  |
157.92/158.05	c | 158.06    | 0  | -248816      lb |  0                0                0.00  |
158.61/158.73	c | 158.73    | 0  | -248815      lb |  0                0                0.00  |
161.91/162.02	c | 162.02    | 0  | -248814      lb |  0                0                0.00  |
166.20/166.39	c | 166.39    | 0  | -248813      lb |  0                0                0.00  |
166.81/166.91	c | 166.91    | 0  | -248812      lb |  0                0                0.00  |
170.31/170.43	c | 170.44    | 0  | -248811      lb |  0                0                0.00  |
170.90/171.04	c | 171.04    | 0  | -248810      lb |  0                0                0.00  |
173.80/173.99	c | 173.99    | 0  | -248809      lb |  0                0                0.00  |
180.89/181.09	c | 181.09    | 0  | -248808      lb |  0                0                0.00  |
181.99/182.13	c | 182.13    | 0  | -248807      lb |  0                0                0.00  |
183.50/183.64	c | 183.65    | 0  | -248806      lb |  0                0                0.00  |
188.39/188.50	c | 188.50    | 0  | -248805      lb |  0                0                0.00  |
190.58/190.71	c | 190.71    | 0  | -248804      lb |  0                0                0.00  |
193.28/193.49	c | 193.50    | 0  | -248803      lb |  0                0                0.00  |
197.49/197.65	c | 197.65    | 0  | -248802      lb |  0                0                0.00  |
199.78/199.95	c | 199.95    | 0  | -248801      lb |  0                0                0.00  |
202.58/202.74	c | 202.74    | 0  | -248800      lb |  0                0                0.00  |
204.27/204.40	c | 204.41    | 0  | -248799      lb |  0                0                0.00  |
208.37/208.54	c | 208.54    | 0  | -248798      lb |  0                0                0.00  |
212.27/212.40	c | 212.40    | 0  | -248797      lb |  0                0                0.00  |
224.66/224.84	c | 224.84    | 0  | -248796      lb |  0                0                0.00  |
232.75/232.99	c | 232.99    | 0  | -248795      lb |  0                0                0.00  |
233.45/233.69	c | 233.69    | 0  | -248794      lb |  0                0                0.00  |
255.84/256.05	c | 256.05    | 0  | -248793      lb |  0                0                0.00  |
259.74/259.90	c | 259.90    | 0  | -248792      lb |  0                0                0.00  |
261.84/262.07	c | 262.07    | 0  | -248791      lb |  0                0                0.00  |
264.94/265.12	c | 265.13    | 0  | -248790      lb |  0                0                0.00  |
274.74/274.97	c | 274.97    | 0  | -248789      lb |  0                0                0.00  |
285.53/285.76	c | 285.77    | 0  | -248788      lb |  0                0                0.00  |
322.92/323.18	c | 323.18    | 0  | -248787      lb |  0                0                0.00  |
410.01/410.25	c | 410.25    | 0  | -248786      lb |  0                0                0.00  |
565.28/565.54	c | 565.54    | 0  | -248785      lb |  0                0                0.00  |
570.58/570.87	c | 570.87    | 0  | -248784      lb |  0                0                0.00  |
589.18/589.44	c | 589.44    | 0  | -248783      lb |  0                0                0.00  |
798.34/798.61	c | 798.61    | 0  | -248782      lb |  0                0                0.00  |
1799.56/1800.00	c ===============================================================================
1799.56/1800.00	c Wall Clock Time: 1800.00 s
1799.56/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-3705556-1338118857/watcher-3705556-1338118857 -o /tmp/evaluation-result-3705556-1338118857/solver-3705556-1338118857 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3705556-1338118857.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.04 2.03 2.00 3/178 19922
/proc/meminfo: memFree=30456004/32873844 swapFree=7388/7388
[pid=19922] ppid=19920 vsize=6116 CPUtime=0 cores=1,3,5,7
/proc/19922/stat : 19922 (wbo1.7) R 19920 19922 16265 0 -1 4202496 450 0 0 0 0 0 0 0 20 0 1 0 278010097 6262784 402 33554432000 4194304 5963574 140734215685616 140735907831448 4394802 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/19922/statm: 1529 402 174 432 0 485 0

[startup+0.0486899 s]
/proc/loadavg: 2.04 2.03 2.00 3/178 19922
/proc/meminfo: memFree=30456004/32873844 swapFree=7388/7388
[pid=19922] ppid=19920 vsize=9828 CPUtime=0.04 cores=1,3,5,7
/proc/19922/stat : 19922 (wbo1.7) R 19920 19922 16265 0 -1 4202496 1487 0 0 0 4 0 0 0 20 0 1 0 278010097 10063872 1439 33554432000 4194304 5963574 140734215685616 140735907831448 5135642 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/19922/statm: 2457 1440 318 432 0 1413 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 9828

[startup+0.100323 s]
/proc/loadavg: 2.04 2.03 2.00 3/178 19922
/proc/meminfo: memFree=30456004/32873844 swapFree=7388/7388
[pid=19922] ppid=19920 vsize=15768 CPUtime=0.09 cores=1,3,5,7
/proc/19922/stat : 19922 (wbo1.7) R 19920 19922 16265 0 -1 4202496 3075 0 0 0 9 0 0 0 20 0 1 0 278010097 16146432 2978 33554432000 4194304 5963574 140734215685616 140735907831448 4419071 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/19922/statm: 3942 2979 482 432 0 2898 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15768

[startup+0.300175 s]
/proc/loadavg: 2.04 2.03 2.00 3/178 19922
/proc/meminfo: memFree=30456004/32873844 swapFree=7388/7388
[pid=19922] ppid=19920 vsize=104052 CPUtime=0.29 cores=1,3,5,7
/proc/19922/stat : 19922 (wbo1.7) S 19920 19922 16265 0 -1 4202496 13276 0 0 0 27 2 0 0 20 0 2 0 278010097 106549248 11307 33554432000 4194304 5963574 140734215685616 140734215685136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19922/statm: 26013 11307 195 432 0 25578 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 104052

[startup+0.700228 s]
/proc/loadavg: 2.04 2.03 2.00 3/178 19922
/proc/meminfo: memFree=30456004/32873844 swapFree=7388/7388
[pid=19922] ppid=19920 vsize=100032 CPUtime=0.68 cores=1,3,5,7
/proc/19922/stat : 19922 (wbo1.7) S 19920 19922 16265 0 -1 4202496 17517 0 0 0 65 3 0 0 20 0 2 0 278010097 102432768 13670 33554432000 4194304 5963574 140734215685616 140734215685136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19922/statm: 25008 13670 196 432 0 24573 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 100032

[startup+1.50035 s]
/proc/loadavg: 2.04 2.03 2.00 3/180 19924
/proc/meminfo: memFree=30396244/32873844 swapFree=7388/7388
[pid=19922] ppid=19920 vsize=102196 CPUtime=1.48 cores=1,3,5,7
/proc/19922/stat : 19922 (wbo1.7) S 19920 19922 16265 0 -1 4202496 24563 0 0 0 144 4 0 0 20 0 2 0 278010097 104648704 15770 33554432000 4194304 5963574 140734215685616 140734215685136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19922/statm: 25549 15770 197 432 0 25114 0
[pid=19922/tid=19924] ppid=19920 vsize=102196 CPUtime=1.28 cores=1,3,5,7
/proc/19922/task/19924/stat : 19924 (wbo1.7) R 19920 19922 16265 0 -1 4202560 19043 0 0 0 124 4 0 0 20 0 2 0 278010117 104648704 15770 33554432000 4194304 5963574 140734215685616 139737894449472 5130146 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) 102196

[startup+3.10025 s]
/proc/loadavg: 2.04 2.03 2.00 3/180 19924
/proc/meminfo: memFree=30387060/32873844 swapFree=7388/7388
[pid=19922] ppid=19920 vsize=100032 CPUtime=3.07 cores=1,3,5,7
/proc/19922/stat : 19922 (wbo1.7) S 19920 19922 16265 0 -1 4202496 30964 0 0 0 302 5 0 0 20 0 2 0 278010097 102432768 18199 33554432000 4194304 5963574 140734215685616 140734215685136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19922/statm: 25008 18199 197 432 0 24573 0
[pid=19922/tid=19924] ppid=19920 vsize=100032 CPUtime=2.87 cores=1,3,5,7
/proc/19922/task/19924/stat : 19924 (wbo1.7) R 19920 19922 16265 0 -1 4202560 25444 0 0 0 282 5 0 0 20 0 2 0 278010117 102432768 18199 33554432000 4194304 5963574 140734215685616 139737894459928 4445074 0 0 4096 16387 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 100032

[startup+6.30036 s]
/proc/loadavg: 2.11 2.04 2.01 3/179 19924
/proc/meminfo: memFree=30369700/32873844 swapFree=7388/7388
[pid=19922] ppid=19920 vsize=100032 CPUtime=6.27 cores=1,3,5,7
/proc/19922/stat : 19922 (wbo1.7) S 19920 19922 16265 0 -1 4202496 42547 0 0 0 619 8 0 0 20 0 2 0 278010097 102432768 20738 33554432000 4194304 5963574 140734215685616 140734215685136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19922/statm: 25008 20738 198 432 0 24573 0
[pid=19922/tid=19924] ppid=19920 vsize=100032 CPUtime=6.06 cores=1,3,5,7
/proc/19922/task/19924/stat : 19924 (wbo1.7) R 19920 19922 16265 0 -1 4202560 37027 0 0 0 599 7 0 0 20 0 2 0 278010117 102432768 20738 33554432000 4194304 5963574 140734215685616 139737894459800 5138270 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 100032

[startup+12.7004 s]
/proc/loadavg: 2.10 2.04 2.00 3/179 19924
/proc/meminfo: memFree=30344852/32873844 swapFree=7388/7388
[pid=19922] ppid=19920 vsize=165568 CPUtime=12.67 cores=1,3,5,7
/proc/19922/stat : 19922 (wbo1.7) S 19920 19922 16265 0 -1 4202496 63415 0 0 0 1255 12 0 0 20 0 2 0 278010097 169541632 27759 33554432000 4194304 5963574 140734215685616 140734215685136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19922/statm: 41392 27759 198 432 0 40957 0
[pid=19922/tid=19924] ppid=19920 vsize=165568 CPUtime=12.44 cores=1,3,5,7
/proc/19922/task/19924/stat : 19924 (wbo1.7) R 19920 19922 16265 0 -1 4202560 57895 0 0 0 1233 11 0 0 20 0 2 0 278010117 169541632 27759 33554432000 4194304 5963574 140734215685616 139737894459928 4418823 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 165568

[startup+25.5004 s]
/proc/loadavg: 2.08 2.04 2.00 3/179 19924
/proc/meminfo: memFree=30303252/32873844 swapFree=7388/7388
[pid=19922] ppid=19920 vsize=231104 CPUtime=25.46 cores=1,3,5,7
/proc/19922/stat : 19922 (wbo1.7) S 19920 19922 16265 0 -1 4202496 96499 0 0 0 2527 19 0 0 20 0 2 0 278010097 236650496 37276 33554432000 4194304 5963574 140734215685616 140734215685136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19922/statm: 57776 37276 199 432 0 57341 0
[pid=19922/tid=19924] ppid=19920 vsize=231104 CPUtime=25.21 cores=1,3,5,7
/proc/19922/task/19924/stat : 19924 (wbo1.7) R 19920 19922 16265 0 -1 4202560 90979 0 0 0 2503 18 0 0 20 0 2 0 278010117 236650496 37276 33554432000 4194304 5963574 140734215685616 139737894459800 5130146 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 231104

[startup+51.1004 s]
/proc/loadavg: 2.05 2.03 2.00 3/179 19924
/proc/meminfo: memFree=30233220/32873844 swapFree=7388/7388
[pid=19922] ppid=19920 vsize=296760 CPUtime=51.06 cores=1,3,5,7
/proc/19922/stat : 19922 (wbo1.7) S 19920 19922 16265 0 -1 4202496 142202 0 0 0 5076 30 0 0 20 0 2 0 278010097 303882240 54588 33554432000 4194304 5963574 140734215685616 140734215685136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19922/statm: 74190 54588 199 432 0 73755 0
[pid=19922/tid=19924] ppid=19920 vsize=296760 CPUtime=50.74 cores=1,3,5,7
/proc/19922/task/19924/stat : 19924 (wbo1.7) R 19920 19922 16265 0 -1 4202560 136682 0 0 0 5045 29 0 0 20 0 2 0 278010117 303882240 54588 33554432000 4194304 5963574 140734215685616 139737894459736 5141661 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) 296760

[startup+102.307 s]
/proc/loadavg: 2.02 2.03 2.00 3/179 19924
/proc/meminfo: memFree=30127028/32873844 swapFree=7388/7388
[pid=19922] ppid=19920 vsize=362296 CPUtime=102.24 cores=1,3,5,7
/proc/19922/stat : 19922 (wbo1.7) S 19920 19922 16265 0 -1 4202496 211864 0 0 0 10176 48 0 0 20 0 2 0 278010097 370991104 75720 33554432000 4194304 5963574 140734215685616 140734215685136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19922/statm: 90574 75720 199 432 0 90139 0
[pid=19922/tid=19924] ppid=19920 vsize=362296 CPUtime=101.79 cores=1,3,5,7
/proc/19922/task/19924/stat : 19924 (wbo1.7) R 19920 19922 16265 0 -1 4202560 206344 0 0 0 10131 48 0 0 20 0 2 0 278010117 370991104 75720 33554432000 4194304 5963574 140734215685616 139737894459800 4399456 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 362296

[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 19924
/proc/meminfo: memFree=30068272/32873844 swapFree=7388/7388
[pid=19922] ppid=19920 vsize=427832 CPUtime=162.2 cores=1,3,5,7
/proc/19922/stat : 19922 (wbo1.7) S 19920 19922 16265 0 -1 4202496 261878 0 0 0 16160 60 0 0 20 0 2 0 278010097 438099968 91764 33554432000 4194304 5963574 140734215685616 140734215685136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19922/statm: 106958 91764 199 432 0 106523 0
[pid=19922/tid=19924] ppid=19920 vsize=427832 CPUtime=161.6 cores=1,3,5,7
/proc/19922/task/19924/stat : 19924 (wbo1.7) R 19920 19922 16265 0 -1 4202560 256358 0 0 0 16099 61 0 0 20 0 2 0 278010117 438099968 91764 33554432000 4194304 5963574 140734215685616 139737894459928 4373060 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) 427832

[startup+222.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/179 19925
/proc/meminfo: memFree=30025388/32873844 swapFree=7388/7388
[pid=19922] ppid=19920 vsize=427832 CPUtime=222.16 cores=1,3,5,7
/proc/19922/stat : 19922 (wbo1.7) S 19920 19922 16265 0 -1 4202496 272662 0 0 0 22153 63 0 0 20 0 2 0 278010097 438099968 99074 33554432000 4194304 5963574 140734215685616 140734215685136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19922/statm: 106958 99074 199 432 0 106523 0
[pid=19922/tid=19924] ppid=19920 vsize=427832 CPUtime=221.41 cores=1,3,5,7
/proc/19922/task/19924/stat : 19924 (wbo1.7) R 19920 19922 16265 0 -1 4202560 267142 0 0 0 22076 65 0 0 20 0 2 0 278010117 438099968 99074 33554432000 4194304 5963574 140734215685616 139737894459928 4399595 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 222.16
Current children cumulated vsize (KiB) 427832

[startup+282.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 19925
/proc/meminfo: memFree=30013648/32873844 swapFree=7388/7388
[pid=19922] ppid=19920 vsize=493368 CPUtime=282.14 cores=1,3,5,7
/proc/19922/stat : 19922 (wbo1.7) S 19920 19922 16265 0 -1 4202496 277902 0 0 0 28149 65 0 0 20 0 2 0 278010097 505208832 101881 33554432000 4194304 5963574 140734215685616 140734215685136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19922/statm: 123342 101881 199 432 0 122907 0
[pid=19922/tid=19924] ppid=19920 vsize=493368 CPUtime=281.23 cores=1,3,5,7
/proc/19922/task/19924/stat : 19924 (wbo1.7) R 19920 19922 16265 0 -1 4202560 272382 0 0 0 28055 68 0 0 20 0 2 0 278010117 505208832 101881 33554432000 4194304 5963574 140734215685616 139737894459688 4399456 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 282.14
Current children cumulated vsize (KiB) 493368

[startup+342.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/179 19925
/proc/meminfo: memFree=30007064/32873844 swapFree=7388/7388
[pid=19922] ppid=19920 vsize=493368 CPUtime=342.12 cores=1,3,5,7
/proc/19922/stat : 19922 (wbo1.7) S 19920 19922 16265 0 -1 4202496 281135 0 0 0 34146 66 0 0 20 0 2 0 278010097 505208832 102439 33554432000 4194304 5963574 140734215685616 140734215685136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19922/statm: 123342 102439 199 432 0 122907 0
[pid=19922/tid=19924] ppid=19920 vsize=493368 CPUtime=341.07 cores=1,3,5,7
/proc/19922/task/19924/stat : 19924 (wbo1.7) R 19920 19922 16265 0 -1 4202560 275615 0 0 0 34037 70 0 0 20 0 2 0 278010117 505208832 102439 33554432000 4194304 5963574 140734215685616 139737894459720 4392274 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 342.12
Current children cumulated vsize (KiB) 493368

[startup+402.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 19925
/proc/meminfo: memFree=29996912/32873844 swapFree=7388/7388
[pid=19922] ppid=19920 vsize=493368 CPUtime=402.1 cores=1,3,5,7
/proc/19922/stat : 19922 (wbo1.7) S 19920 19922 16265 0 -1 4202496 281146 0 0 0 40144 66 0 0 20 0 2 0 278010097 505208832 103176 33554432000 4194304 5963574 140734215685616 140734215685136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19922/statm: 123342 103176 199 432 0 122907 0
[pid=19922/tid=19924] ppid=19920 vsize=493368 CPUtime=400.9 cores=1,3,5,7
/proc/19922/task/19924/stat : 19924 (wbo1.7) R 19920 19922 16265 0 -1 4202560 275626 0 0 0 40019 71 0 0 20 0 2 0 278010117 505208832 103176 33554432000 4194304 5963574 140734215685616 139737894459720 4222464 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 402.1
Current children cumulated vsize (KiB) 493368

[startup+462.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 19925
/proc/meminfo: memFree=29956788/32873844 swapFree=7388/7388
[pid=19922] ppid=19920 vsize=493368 CPUtime=462.1 cores=1,3,5,7

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


[startup+1422.31 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 19957
/proc/meminfo: memFree=29646484/32873844 swapFree=7388/7388
[pid=19922] ppid=19920 vsize=624440 CPUtime=1421.93 cores=1,3,5,7
/proc/19922/stat : 19922 (wbo1.7) S 19920 19922 16265 0 -1 4202496 310221 0 0 0 142115 78 0 0 20 0 2 0 278010097 639426560 138791 33554432000 4194304 5963574 140734215685616 140734215685136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19922/statm: 156110 138791 199 432 0 155675 0
[pid=19922/tid=19924] ppid=19920 vsize=624440 CPUtime=1418.26 cores=1,3,5,7
/proc/19922/task/19924/stat : 19924 (wbo1.7) R 19920 19922 16265 0 -1 4202560 304701 0 0 0 141728 98 0 0 20 0 2 0 278010117 639426560 138791 33554432000 4194304 5963574 140734215685616 139737894459384 4388696 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 624440

[startup+1482.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 19958
/proc/meminfo: memFree=29637432/32873844 swapFree=7388/7388
[pid=19922] ppid=19920 vsize=624440 CPUtime=1481.92 cores=1,3,5,7
/proc/19922/stat : 19922 (wbo1.7) S 19920 19922 16265 0 -1 4202496 310221 0 0 0 148114 78 0 0 20 0 2 0 278010097 639426560 138791 33554432000 4194304 5963574 140734215685616 140734215685136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19922/statm: 156110 138791 199 432 0 155675 0
[pid=19922/tid=19924] ppid=19920 vsize=624440 CPUtime=1478.1 cores=1,3,5,7
/proc/19922/task/19924/stat : 19924 (wbo1.7) R 19920 19922 16265 0 -1 4202560 304701 0 0 0 147711 99 0 0 20 0 2 0 278010117 639426560 138791 33554432000 4194304 5963574 140734215685616 139737894459384 4388696 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 624440

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 19958
/proc/meminfo: memFree=29628140/32873844 swapFree=7388/7388
[pid=19922] ppid=19920 vsize=624440 CPUtime=1541.91 cores=1,3,5,7
/proc/19922/stat : 19922 (wbo1.7) S 19920 19922 16265 0 -1 4202496 310226 0 0 0 154113 78 0 0 20 0 2 0 278010097 639426560 138796 33554432000 4194304 5963574 140734215685616 140734215685136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19922/statm: 156110 138796 199 432 0 155675 0
[pid=19922/tid=19924] ppid=19920 vsize=624440 CPUtime=1537.95 cores=1,3,5,7
/proc/19922/task/19924/stat : 19924 (wbo1.7) R 19920 19922 16265 0 -1 4202560 304706 0 0 0 153695 100 0 0 20 0 2 0 278010117 639426560 138796 33554432000 4194304 5963574 140734215685616 139737894459384 4388621 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 624440

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19958
/proc/meminfo: memFree=29611668/32873844 swapFree=7388/7388
[pid=19922] ppid=19920 vsize=624440 CPUtime=1601.9 cores=1,3,5,7
/proc/19922/stat : 19922 (wbo1.7) S 19920 19922 16265 0 -1 4202496 313608 0 0 0 160110 80 0 0 20 0 2 0 278010097 639426560 142178 33554432000 4194304 5963574 140734215685616 140734215685136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19922/statm: 156110 142178 199 432 0 155675 0
[pid=19922/tid=19924] ppid=19920 vsize=624440 CPUtime=1597.8 cores=1,3,5,7
/proc/19922/task/19924/stat : 19924 (wbo1.7) R 19920 19922 16265 0 -1 4202560 308088 0 0 0 159677 103 0 0 20 0 2 0 278010117 639426560 142178 33554432000 4194304 5963574 140734215685616 139737894459432 4388668 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 624440

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19958
/proc/meminfo: memFree=29610428/32873844 swapFree=7388/7388
[pid=19922] ppid=19920 vsize=624440 CPUtime=1661.89 cores=1,3,5,7
/proc/19922/stat : 19922 (wbo1.7) S 19920 19922 16265 0 -1 4202496 313638 0 0 0 166109 80 0 0 20 0 2 0 278010097 639426560 142208 33554432000 4194304 5963574 140734215685616 140734215685136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19922/statm: 156110 142208 199 432 0 155675 0
[pid=19922/tid=19924] ppid=19920 vsize=624440 CPUtime=1657.65 cores=1,3,5,7
/proc/19922/task/19924/stat : 19924 (wbo1.7) R 19920 19922 16265 0 -1 4202560 308118 0 0 0 165661 104 0 0 20 0 2 0 278010117 639426560 142208 33554432000 4194304 5963574 140734215685616 139737894459192 4399474 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 624440

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19958
/proc/meminfo: memFree=29607884/32873844 swapFree=7388/7388
[pid=19922] ppid=19920 vsize=624440 CPUtime=1721.88 cores=1,3,5,7
/proc/19922/stat : 19922 (wbo1.7) S 19920 19922 16265 0 -1 4202496 313697 0 0 0 172108 80 0 0 20 0 2 0 278010097 639426560 142267 33554432000 4194304 5963574 140734215685616 140734215685136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19922/statm: 156110 142267 199 432 0 155675 0
[pid=19922/tid=19924] ppid=19920 vsize=624440 CPUtime=1717.49 cores=1,3,5,7
/proc/19922/task/19924/stat : 19924 (wbo1.7) R 19920 19922 16265 0 -1 4202560 308177 0 0 0 171644 105 0 0 20 0 2 0 278010117 639426560 142267 33554432000 4194304 5963574 140734215685616 139737894459192 4222416 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 624440

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 20001
/proc/meminfo: memFree=29606836/32873844 swapFree=7388/7388
[pid=19922] ppid=19920 vsize=624440 CPUtime=1781.86 cores=1,3,5,7
/proc/19922/stat : 19922 (wbo1.7) S 19920 19922 16265 0 -1 4202496 313778 0 0 0 178106 80 0 0 20 0 2 0 278010097 639426560 142545 33554432000 4194304 5963574 140734215685616 140734215685136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19922/statm: 156110 142545 199 432 0 155675 0
[pid=19922/tid=19924] ppid=19920 vsize=624440 CPUtime=1777.33 cores=1,3,5,7
/proc/19922/task/19924/stat : 19924 (wbo1.7) R 19920 19922 16265 0 -1 4202560 308258 0 0 0 177627 106 0 0 20 0 2 0 278010117 639426560 142545 33554432000 4194304 5963574 140734215685616 139737894459192 4399456 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 624440

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

[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 20001
/proc/meminfo: memFree=29570308/32873844 swapFree=7388/7388
[pid=19922] ppid=19920 vsize=624440 CPUtime=1791.46 cores=1,3,5,7
/proc/19922/stat : 19922 (wbo1.7) S 19920 19922 16265 0 -1 4202496 313798 0 0 0 179066 80 0 0 20 0 2 0 278010097 639426560 142565 33554432000 4194304 5963574 140734215685616 140734215685136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19922/statm: 156110 142565 199 432 0 155675 0
[pid=19922/tid=19924] ppid=19920 vsize=624440 CPUtime=1786.91 cores=1,3,5,7
/proc/19922/task/19924/stat : 19924 (wbo1.7) R 19920 19922 16265 0 -1 4202560 308278 0 0 0 178585 106 0 0 20 0 2 0 278010117 639426560 142565 33554432000 4194304 5963574 140734215685616 139737894459192 4381496 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1791.46
Current children cumulated vsize (KiB) 624440

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 20001
/proc/meminfo: memFree=29559640/32873844 swapFree=7388/7388
[pid=19922] ppid=19920 vsize=624440 CPUtime=1794.66 cores=1,3,5,7
/proc/19922/stat : 19922 (wbo1.7) S 19920 19922 16265 0 -1 4202496 313800 0 0 0 179386 80 0 0 20 0 2 0 278010097 639426560 142567 33554432000 4194304 5963574 140734215685616 140734215685136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19922/statm: 156110 142567 199 432 0 155675 0
[pid=19922/tid=19924] ppid=19920 vsize=624440 CPUtime=1790.11 cores=1,3,5,7
/proc/19922/task/19924/stat : 19924 (wbo1.7) R 19920 19922 16265 0 -1 4202560 308280 0 0 0 178905 106 0 0 20 0 2 0 278010117 639426560 142567 33554432000 4194304 5963574 140734215685616 139737894459192 4222464 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1794.66
Current children cumulated vsize (KiB) 624440

[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 20001
/proc/meminfo: memFree=29552260/32873844 swapFree=7388/7388
[pid=19922] ppid=19920 vsize=624440 CPUtime=1797.86 cores=1,3,5,7
/proc/19922/stat : 19922 (wbo1.7) S 19920 19922 16265 0 -1 4202496 313800 0 0 0 179706 80 0 0 20 0 2 0 278010097 639426560 142567 33554432000 4194304 5963574 140734215685616 140734215685136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19922/statm: 156110 142567 199 432 0 155675 0
[pid=19922/tid=19924] ppid=19920 vsize=624440 CPUtime=1793.29 cores=1,3,5,7
/proc/19922/task/19924/stat : 19924 (wbo1.7) R 19920 19922 16265 0 -1 4202560 308280 0 0 0 179223 106 0 0 20 0 2 0 278010117 639426560 142567 33554432000 4194304 5963574 140734215685616 139737894459192 4399456 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1797.86
Current children cumulated vsize (KiB) 624440

[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 20001
/proc/meminfo: memFree=29550772/32873844 swapFree=7388/7388
[pid=19922] ppid=19920 vsize=624440 CPUtime=1798.66 cores=1,3,5,7
/proc/19922/stat : 19922 (wbo1.7) S 19920 19922 16265 0 -1 4202496 313800 0 0 0 179786 80 0 0 20 0 2 0 278010097 639426560 142567 33554432000 4194304 5963574 140734215685616 140734215685136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19922/statm: 156110 142567 199 432 0 155675 0
[pid=19922/tid=19924] ppid=19920 vsize=624440 CPUtime=1794.09 cores=1,3,5,7
/proc/19922/task/19924/stat : 19924 (wbo1.7) R 19920 19922 16265 0 -1 4202560 308280 0 0 0 179303 106 0 0 20 0 2 0 278010117 639426560 142567 33554432000 4194304 5963574 140734215685616 139737894459192 4388708 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1798.66
Current children cumulated vsize (KiB) 624440

[startup+1799.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 20001
/proc/meminfo: memFree=29540848/32873844 swapFree=7388/7388
[pid=19922] ppid=19920 vsize=624440 CPUtime=1799.06 cores=1,3,5,7
/proc/19922/stat : 19922 (wbo1.7) S 19920 19922 16265 0 -1 4202496 313800 0 0 0 179826 80 0 0 20 0 2 0 278010097 639426560 142567 33554432000 4194304 5963574 140734215685616 140734215685136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19922/statm: 156110 142567 199 432 0 155675 0
[pid=19922/tid=19924] ppid=19920 vsize=624440 CPUtime=1794.5 cores=1,3,5,7
/proc/19922/task/19924/stat : 19924 (wbo1.7) R 19920 19922 16265 0 -1 4202560 308280 0 0 0 179344 106 0 0 20 0 2 0 278010117 639426560 142567 33554432000 4194304 5963574 140734215685616 139737894459192 4392274 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1799.06
Current children cumulated vsize (KiB) 624440

[startup+1799.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 20001
/proc/meminfo: memFree=29540848/32873844 swapFree=7388/7388
[pid=19922] ppid=19920 vsize=624440 CPUtime=1799.46 cores=1,3,5,7
/proc/19922/stat : 19922 (wbo1.7) S 19920 19922 16265 0 -1 4202496 313800 0 0 0 179866 80 0 0 20 0 2 0 278010097 639426560 142567 33554432000 4194304 5963574 140734215685616 140734215685136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19922/statm: 156110 142567 199 432 0 155675 0
[pid=19922/tid=19924] ppid=19920 vsize=624440 CPUtime=1794.89 cores=1,3,5,7
/proc/19922/task/19924/stat : 19924 (wbo1.7) R 19920 19922 16265 0 -1 4202560 308280 0 0 0 179383 106 0 0 20 0 2 0 278010117 639426560 142567 33554432000 4194304 5963574 140734215685616 139737894459192 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1799.46
Current children cumulated vsize (KiB) 624440

[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 20001
/proc/meminfo: memFree=29540848/32873844 swapFree=7388/7388
[pid=19922] ppid=19920 vsize=624440 CPUtime=1799.56 cores=1,3,5,7
/proc/19922/stat : 19922 (wbo1.7) S 19920 19922 16265 0 -1 4202496 313800 0 0 0 179876 80 0 0 20 0 2 0 278010097 639426560 142567 33554432000 4194304 5963574 140734215685616 140734215685136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19922/statm: 156110 142567 199 432 0 155675 0
[pid=19922/tid=19924] ppid=19920 vsize=624440 CPUtime=1794.99 cores=1,3,5,7
/proc/19922/task/19924/stat : 19924 (wbo1.7) R 19920 19922 16265 0 -1 4202560 308280 0 0 0 179393 106 0 0 20 0 2 0 278010117 639426560 142567 33554432000 4194304 5963574 140734215685616 139737894459192 4399456 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1799.56
Current children cumulated vsize (KiB) 624440

Child status: 255

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 19922 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=125251
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=79835
# CPU time returned by wait4() is 1795.21
# while last known CPU time is 1799.56
#
# 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.56
CPU user time (s): 1798.76
CPU system time (s): 0.8
CPU usage (%): 99.9752
Max. virtual memory (cumulated for all children) (KiB): 624440

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.13
system time used= 1.07984
maximum resident set size= 570268
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 313800
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= 155
involuntary context switches= 2882

runsolver used 3.01754 second user time and 7.77582 second system time

The end

Launcher Data

Begin job on node147 at 2012-05-27 13:40:57
IDJOB=3705556
IDBENCH=90353
IDSOLVER=2283
FILE ID=node147/3705556-1338118857
RUNJOBID= node147-1338087982-16282
PBS_JOBID= 14624451
Free space on /tmp= 71664 MiB

SOLVER NAME= wbo 1.7
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.7 -file-format=opb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3705556-1338118857/watcher-3705556-1338118857 -o /tmp/evaluation-result-3705556-1338118857/solver-3705556-1338118857 -C 1800 -W 1900 -M 15500  wbo1.7 -file-format=opb HOME/instance-3705556-1338118857.opb

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

MD5SUM BENCH= 8e8a9709ab0638484b49ff5cae7622ac
RANDOM SEED=1314721039

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        30460636 kB
Buffers:          332276 kB
Cached:          1182856 kB
SwapCached:         5068 kB
Active:           645036 kB
Inactive:         949120 kB
Active(anon):      73468 kB
Inactive(anon):     7584 kB
Active(file):     571568 kB
Inactive(file):   941536 kB
Unevictable:        7388 kB
Mlocked:            7388 kB
SwapTotal:      67108856 kB
SwapFree:       67098668 kB
Dirty:              7832 kB
Writeback:             0 kB
AnonPages:         81996 kB
Mapped:            10516 kB
Shmem:                 0 kB
Slab:             678676 kB
SReclaimable:     119876 kB
SUnreclaim:       558800 kB
KernelStack:        1480 kB
PageTables:         4128 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     159420 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     63488 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71660 MiB
End job on node147 at 2012-05-27 14:10:57