Trace number 3727845

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
wbo 1.72? 1799.98 1800.01

General information on the benchmark

Name/OPT-SMALLINT-LIN/heinz/
normalized-queens-30.opb
MD5SUMac9944a86f58bd3c1af4c4c4a209f399
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-38
Best CPU time to get the best result obtained on this benchmark1797.42
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables900
Total number of constraints960
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints960
Minimum length of a constraint88
Maximum length of a constraint116
Number of terms in the objective function 900
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 900
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 8
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 900
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

0.00/0.00	c ==============================[ Solver Version ]===============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |   wbo:                     1.72 beta - May, 2012                            |
0.00/0.00	c |                                                                             |
0.00/0.00	c Parsing opb file format. File HOME/instance-3727845-1338669285.opb.
0.00/0.00	c Instance file HOME/instance-3727845-1338669285.opb
0.00/0.00	c File size is 752032 bytes.
0.00/0.06	c Cost Offset: -900
0.00/0.06	c Highest Coefficient sum: 130
0.00/0.06	c ============================[ Problem Statistics ]=============================
0.00/0.06	c |                                                                             |
0.00/0.06	c |  Parsing time:          0.06         s                                      |
0.00/0.06	c |  Number Variables:      900                                                 |
0.00/0.06	c |  Number Clauses:        0                                                   |
0.00/0.06	c |  Number Cardinality:    0                                                   |
0.00/0.06	c |  Number PB Constraints: 960                                                 |
0.00/0.06	c |                                                                             |
0.00/0.06	c |  Problem Type:          Optimization                                        |
0.00/0.06	c |  Objective Function:    Cardinality Constraint                              |
0.00/0.06	c |                                                                             |
0.00/0.06	c ============================[ Search Statistics ]==============================
0.00/0.06	c | Time (s)  | ID |      Bound      |               Shared Clauses             |
0.00/0.06	c |           |    | value      type |  expCls         impCls        Lit/impCl  |
0.00/0.06	c ===============================================================================
0.00/0.07	c | 0.07      | 0  | -899         lb |  0                0                0.00  |
0.00/0.08	c | 0.07      | 0  | -898         lb |  0                0                0.00  |
0.00/0.08	c | 0.08      | 0  | -897         lb |  0                0                0.00  |
0.00/0.08	c | 0.08      | 0  | -896         lb |  0                0                0.00  |
0.00/0.08	c | 0.08      | 0  | -895         lb |  0                0                0.00  |
0.00/0.09	c | 0.09      | 0  | -894         lb |  0                0                0.00  |
0.00/0.09	c | 0.09      | 0  | -893         lb |  0                0                0.00  |
0.00/0.09	c | 0.09      | 0  | -892         lb |  0                0                0.00  |
0.08/0.10	c | 0.10      | 0  | -891         lb |  0                0                0.00  |
0.08/0.10	c | 0.10      | 0  | -890         lb |  0                0                0.00  |
0.08/0.10	c | 0.10      | 0  | -889         lb |  0                0                0.00  |
0.08/0.11	c | 0.10      | 0  | -888         lb |  0                0                0.00  |
0.08/0.11	c | 0.11      | 0  | -887         lb |  0                0                0.00  |
0.08/0.11	c | 0.11      | 0  | -886         lb |  0                0                0.00  |
0.08/0.12	c | 0.11      | 0  | -885         lb |  0                0                0.00  |
0.08/0.12	c | 0.12      | 0  | -884         lb |  0                0                0.00  |
0.08/0.12	c | 0.12      | 0  | -883         lb |  0                0                0.00  |
0.08/0.13	c | 0.12      | 0  | -882         lb |  0                0                0.00  |
0.08/0.13	c | 0.13      | 0  | -881         lb |  0                0                0.00  |
0.08/0.13	c | 0.13      | 0  | -880         lb |  0                0                0.00  |
0.08/0.14	c | 0.14      | 0  | -879         lb |  0                0                0.00  |
0.08/0.14	c | 0.14      | 0  | -878         lb |  0                0                0.00  |
0.08/0.14	c | 0.14      | 0  | -877         lb |  0                0                0.00  |
0.08/0.15	c | 0.14      | 0  | -876         lb |  0                0                0.00  |
0.08/0.15	c | 0.15      | 0  | -875         lb |  0                0                0.00  |
0.08/0.15	c | 0.15      | 0  | -874         lb |  0                0                0.00  |
0.08/0.16	c | 0.16      | 0  | -873         lb |  0                0                0.00  |
0.08/0.18	c | 0.17      | 0  | -872         lb |  0                0                0.00  |
0.18/0.20	c | 0.20      | 0  | -871         lb |  0                0                0.00  |
0.18/0.22	c | 0.21      | 0  | -870         lb |  0                0                0.00  |
0.18/0.24	c | 0.23      | 0  | -869         lb |  0                0                0.00  |
0.18/0.26	c | 0.25      | 0  | -868         lb |  0                0                0.00  |
0.18/0.27	c | 0.27      | 0  | -867         lb |  0                0                0.00  |
0.18/0.29	c | 0.29      | 0  | -866         lb |  0                0                0.00  |
0.28/0.31	c | 0.31      | 0  | -865         lb |  0                0                0.00  |
0.28/0.34	c | 0.33      | 0  | -864         lb |  0                0                0.00  |
0.28/0.36	c | 0.35      | 0  | -863         lb |  0                0                0.00  |
0.28/0.38	c | 0.37      | 0  | -862         lb |  0                0                0.00  |
0.38/0.40	c | 0.39      | 0  | -861         lb |  0                0                0.00  |
0.38/0.42	c | 0.41      | 0  | -860         lb |  0                0                0.00  |
0.38/0.44	c | 0.43      | 0  | -859         lb |  0                0                0.00  |
0.38/0.46	c | 0.46      | 0  | -858         lb |  0                0                0.00  |
0.38/0.48	c | 0.48      | 0  | -857         lb |  0                0                0.00  |
0.48/0.50	c | 0.50      | 0  | -856         lb |  0                0                0.00  |
0.48/0.52	c | 0.52      | 0  | -855         lb |  0                0                0.00  |
0.48/0.54	c | 0.54      | 0  | -854         lb |  0                0                0.00  |
0.48/0.56	c | 0.56      | 0  | -853         lb |  0                0                0.00  |
0.48/0.58	c | 0.58      | 0  | -852         lb |  0                0                0.00  |
0.58/0.60	c | 0.60      | 0  | -851         lb |  0                0                0.00  |
0.58/0.62	c | 0.62      | 0  | -850         lb |  0                0                0.00  |
0.58/0.64	c | 0.64      | 0  | -849         lb |  0                0                0.00  |
0.58/0.66	c | 0.66      | 0  | -848         lb |  0                0                0.00  |
0.58/0.68	c | 0.68      | 0  | -847         lb |  0                0                0.00  |
0.69/0.71	c | 0.71      | 0  | -846         lb |  0                0                0.00  |
0.69/0.73	c | 0.73      | 0  | -845         lb |  0                0                0.00  |
0.69/0.75	c | 0.75      | 0  | -844         lb |  0                0                0.00  |
0.69/0.77	c | 0.77      | 0  | -843         lb |  0                0                0.00  |
0.69/0.79	c | 0.79      | 0  | -842         lb |  0                0                0.00  |
0.79/0.81	c | 0.81      | 0  | -841         lb |  0                0                0.00  |
0.79/0.84	c | 0.84      | 0  | -840         lb |  0                0                0.00  |
0.79/0.86	c | 0.86      | 0  | -839         lb |  0                0                0.00  |
0.79/0.88	c | 0.88      | 0  | -838         lb |  0                0                0.00  |
0.88/0.90	c | 0.90      | 0  | -837         lb |  0                0                0.00  |
0.88/0.93	c | 0.93      | 0  | -836         lb |  0                0                0.00  |
0.88/0.95	c | 0.95      | 0  | -835         lb |  0                0                0.00  |
0.88/0.97	c | 0.97      | 0  | -834         lb |  0                0                0.00  |
0.88/0.99	c | 0.99      | 0  | -833         lb |  0                0                0.00  |
0.99/1.02	c | 1.02      | 0  | -832         lb |  0                0                0.00  |
0.99/1.04	c | 1.04      | 0  | -831         lb |  0                0                0.00  |
0.99/1.07	c | 1.07      | 0  | -830         lb |  0                0                0.00  |
0.99/1.09	c | 1.09      | 0  | -829         lb |  0                0                0.00  |
1.09/1.11	c | 1.11      | 0  | -828         lb |  0                0                0.00  |
1.09/1.14	c | 1.14      | 0  | -827         lb |  0                0                0.00  |
1.09/1.16	c | 1.16      | 0  | -826         lb |  0                0                0.00  |
1.09/1.19	c | 1.18      | 0  | -825         lb |  0                0                0.00  |
1.18/1.21	c | 1.21      | 0  | -824         lb |  0                0                0.00  |
1.18/1.24	c | 1.24      | 0  | -823         lb |  0                0                0.00  |
1.18/1.26	c | 1.26      | 0  | -822         lb |  0                0                0.00  |
1.18/1.29	c | 1.29      | 0  | -821         lb |  0                0                0.00  |
1.28/1.32	c | 1.32      | 0  | -820         lb |  0                0                0.00  |
1.28/1.35	c | 1.34      | 0  | -819         lb |  0                0                0.00  |
1.28/1.37	c | 1.37      | 0  | -818         lb |  0                0                0.00  |
1.28/1.39	c | 1.39      | 0  | -817         lb |  0                0                0.00  |
1.38/1.42	c | 1.42      | 0  | -816         lb |  0                0                0.00  |
1.38/1.45	c | 1.44      | 0  | -815         lb |  0                0                0.00  |
1.38/1.47	c | 1.47      | 0  | -814         lb |  0                0                0.00  |
1.48/1.51	c | 1.50      | 0  | -813         lb |  0                0                0.00  |
1.48/1.54	c | 1.53      | 0  | -812         lb |  0                0                0.00  |
1.48/1.56	c | 1.56      | 0  | -811         lb |  0                0                0.00  |
1.48/1.59	c | 1.58      | 0  | -810         lb |  0                0                0.00  |
1.58/1.61	c | 1.61      | 0  | -809         lb |  0                0                0.00  |
1.58/1.64	c | 1.64      | 0  | -808         lb |  0                0                0.00  |
1.58/1.66	c | 1.66      | 0  | -807         lb |  0                0                0.00  |
1.58/1.69	c | 1.69      | 0  | -806         lb |  0                0                0.00  |
1.68/1.72	c | 1.72      | 0  | -805         lb |  0                0                0.00  |
1.68/1.75	c | 1.75      | 0  | -804         lb |  0                0                0.00  |
1.68/1.77	c | 1.77      | 0  | -803         lb |  0                0                0.00  |
1.78/1.80	c | 1.80      | 0  | -802         lb |  0                0                0.00  |
1.78/1.83	c | 1.82      | 0  | -801         lb |  0                0                0.00  |
1.78/1.85	c | 1.85      | 0  | -800         lb |  0                0                0.00  |
1.78/1.88	c | 1.88      | 0  | -799         lb |  0                0                0.00  |
1.88/1.91	c | 1.91      | 0  | -798         lb |  0                0                0.00  |
1.88/1.96	c | 1.95      | 0  | -797         lb |  0                0                0.00  |
1.98/2.00	c | 2.00      | 0  | -796         lb |  0                0                0.00  |
1.98/2.03	c | 2.03      | 0  | -795         lb |  0                0                0.00  |
1.98/2.06	c | 2.05      | 0  | -794         lb |  0                0                0.00  |
1.98/2.10	c | 2.10      | 0  | -793         lb |  0                0                0.00  |
2.19/2.25	c | 2.25      | 0  | -792         lb |  0                0                0.00  |
2.19/2.29	c | 2.29      | 0  | -791         lb |  0                0                0.00  |
2.28/2.32	c | 2.31      | 0  | -790         lb |  0                0                0.00  |
2.28/2.35	c | 2.35      | 0  | -789         lb |  0                0                0.00  |
2.28/2.38	c | 2.38      | 0  | -788         lb |  0                0                0.00  |
2.38/2.42	c | 2.42      | 0  | -787         lb |  0                0                0.00  |
2.38/2.46	c | 2.46      | 0  | -786         lb |  0                0                0.00  |
2.38/2.49	c | 2.49      | 0  | -785         lb |  0                0                0.00  |
2.48/2.52	c | 2.52      | 0  | -784         lb |  0                0                0.00  |
2.48/2.58	c | 2.58      | 0  | -783         lb |  0                0                0.00  |
2.58/2.61	c | 2.61      | 0  | -782         lb |  0                0                0.00  |
2.68/2.71	c | 2.70      | 0  | -781         lb |  0                0                0.00  |
2.78/2.82	c | 2.74      | 0  | -780         lb |  0                0                0.00  |
2.78/2.82	c | 2.78      | 0  | -779         lb |  0                0                0.00  |
2.78/2.82	c | 2.81      | 0  | -778         lb |  0                0                0.00  |
2.78/2.85	c | 2.85      | 0  | -777         lb |  0                0                0.00  |
3.47/3.59	c | 3.59      | 0  | -776         lb |  0                0                0.00  |
3.57/3.69	c | 3.69      | 0  | -775         lb |  0                0                0.00  |
3.68/3.72	c | 3.72      | 0  | -774         lb |  0                0                0.00  |
3.68/3.77	c | 3.77      | 0  | -773         lb |  0                0                0.00  |
6.88/6.92	c | 6.92      | 0  | -772         lb |  0                0                0.00  |
7.88/7.98	c | 7.98      | 0  | -771         lb |  0                0                0.00  |
7.98/8.05	c | 8.05      | 0  | -770         lb |  0                0                0.00  |
7.98/8.08	c | 8.08      | 0  | -769         lb |  0                0                0.00  |
8.38/8.45	c | 8.45      | 0  | -768         lb |  0                0                0.00  |
30.85/30.97	c | 30.96     | 0  | -767         lb |  0                0                0.00  |
31.34/31.40	c | 31.39     | 0  | -766         lb |  0                0                0.00  |
31.54/31.62	c | 31.62     | 0  | -765         lb |  0                0                0.00  |
31.64/31.70	c | 31.70     | 0  | -764         lb |  0                0                0.00  |
35.64/35.77	c | 35.77     | 0  | -763         lb |  0                0                0.00  |
36.34/36.41	c | 36.41     | 0  | -762         lb |  0                0                0.00  |
36.34/36.45	c | 36.45     | 0  | -761         lb |  0                0                0.00  |
36.34/36.48	c | 36.48     | 0  | -760         lb |  0                0                0.00  |
36.44/36.53	c | 36.53     | 0  | -759         lb |  0                0                0.00  |
36.44/36.56	c | 36.56     | 0  | -758         lb |  0                0                0.00  |
36.54/36.60	c | 36.59     | 0  | -757         lb |  0                0                0.00  |
43.03/43.20	c | 43.19     | 0  | -756         lb |  0                0                0.00  |
43.13/43.26	c | 43.26     | 0  | -755         lb |  0                0                0.00  |
43.13/43.29	c | 43.29     | 0  | -754         lb |  0                0                0.00  |
43.23/43.32	c | 43.32     | 0  | -753         lb |  0                0                0.00  |
43.23/43.35	c | 43.35     | 0  | -752         lb |  0                0                0.00  |
43.23/43.39	c | 43.39     | 0  | -751         lb |  0                0                0.00  |
43.33/43.42	c | 43.42     | 0  | -750         lb |  0                0                0.00  |
43.33/43.46	c | 43.46     | 0  | -749         lb |  0                0                0.00  |
43.43/43.56	c | 43.56     | 0  | -748         lb |  0                0                0.00  |
43.53/43.60	c | 43.60     | 0  | -747         lb |  0                0                0.00  |
43.53/43.63	c | 43.63     | 0  | -746         lb |  0                0                0.00  |
43.53/43.66	c | 43.66     | 0  | -745         lb |  0                0                0.00  |
43.53/43.69	c | 43.69     | 0  | -744         lb |  0                0                0.00  |
43.63/43.73	c | 43.73     | 0  | -743         lb |  0                0                0.00  |
46.53/46.64	c | 46.64     | 0  | -742         lb |  0                0                0.00  |
46.53/46.69	c | 46.69     | 0  | -741         lb |  0                0                0.00  |
53.13/53.29	c | 53.29     | 0  | -740         lb |  0                0                0.00  |
53.23/53.34	c | 53.34     | 0  | -739         lb |  0                0                0.00  |
53.23/53.37	c | 53.37     | 0  | -738         lb |  0                0                0.00  |
53.33/53.42	c | 53.42     | 0  | -737         lb |  0                0                0.00  |
53.33/53.46	c | 53.46     | 0  | -736         lb |  0                0                0.00  |
53.43/53.53	c | 53.53     | 0  | -735         lb |  0                0                0.00  |
53.63/53.73	c | 53.73     | 0  | -734         lb |  0                0                0.00  |
53.63/53.79	c | 53.79     | 0  | -733         lb |  0                0                0.00  |
55.63/55.72	c | 55.72     | 0  | -732         lb |  0                0                0.00  |
55.63/55.77	c | 55.76     | 0  | -731         lb |  0                0                0.00  |
68.63/68.77	c | 68.77     | 0  | -730         lb |  0                0                0.00  |
68.93/69.00	c | 69.00     | 0  | -729         lb |  0                0                0.00  |
68.93/69.05	c | 69.05     | 0  | -728         lb |  0                0                0.00  |
492.71/492.93	c | 492.93    | 0  | -727         lb |  0                0                0.00  |
493.21/493.43	c | 493.43    | 0  | -726         lb |  0                0                0.00  |
493.21/493.48	c | 493.47    | 0  | -725         lb |  0                0                0.00  |
496.31/496.51	c | 496.51    | 0  | -724         lb |  0                0                0.00  |
496.31/496.57	c | 496.56    | 0  | -723         lb |  0                0                0.00  |
496.41/496.60	c | 496.60    | 0  | -722         lb |  0                0                0.00  |
496.41/496.64	c | 496.64    | 0  | -721         lb |  0                0                0.00  |
530.51/530.73	c | 530.73    | 0  | -720         lb |  0                0                0.00  |
530.61/530.84	c | 530.84    | 0  | -719         lb |  0                0                0.00  |
531.11/531.35	c | 531.34    | 0  | -718         lb |  0                0                0.00  |
531.11/531.39	c | 531.39    | 0  | -717         lb |  0                0                0.00  |
548.41/548.66	c | 548.66    | 0  | -716         lb |  0                0                0.00  |
548.51/548.75	c | 548.75    | 0  | -715         lb |  0                0                0.00  |
575.69/575.90	c | 575.89    | 0  | -714         lb |  0                0                0.00  |
575.89/576.17	c | 576.17    | 0  | -713         lb |  0                0                0.00  |
575.99/576.21	c | 576.20    | 0  | -712         lb |  0                0                0.00  |
576.20/576.40	c | 576.40    | 0  | -711         lb |  0                0                0.00  |
576.20/576.44	c | 576.44    | 0  | -710         lb |  0                0                0.00  |
931.64/931.97	c | 931.97    | 0  | -709         lb |  0                0                0.00  |
932.04/932.38	c | 932.38    | 0  | -708         lb |  0                0                0.00  |
932.14/932.42	c | 932.42    | 0  | -707         lb |  0                0                0.00  |
932.14/932.46	c | 932.46    | 0  | -706         lb |  0                0                0.00  |
932.74/933.08	c | 933.08    | 0  | -705         lb |  0                0                0.00  |
934.84/935.18	c | 935.17    | 0  | -704         lb |  0                0                0.00  |
934.94/935.23	c | 935.23    | 0  | -703         lb |  0                0                0.00  |
934.94/935.27	c | 935.27    | 0  | -702         lb |  0                0                0.00  |
935.04/935.31	c | 935.31    | 0  | -701         lb |  0                0                0.00  |
935.04/935.36	c | 935.36    | 0  | -700         lb |  0                0                0.00  |
935.24/935.51	c | 935.51    | 0  | -699         lb |  0                0                0.00  |
935.24/935.58	c | 935.58    | 0  | -698         lb |  0                0                0.00  |
935.44/935.77	c | 935.76    | 0  | -697         lb |  0                0                0.00  |
935.54/935.82	c | 935.81    | 0  | -696         lb |  0                0                0.00  |
935.54/935.87	c | 935.87    | 0  | -695         lb |  0                0                0.00  |
935.64/935.92	c | 935.92    | 0  | -694         lb |  0                0                0.00  |
1006.23/1006.53	c | 1006.53   | 0  | -693         lb |  0                0                0.00  |
1200.70/1201.05	c | 1201.05   | 0  | -692         lb |  0                0                0.00  |
1201.00/1201.32	c | 1201.32   | 0  | -691         lb |  0                0                0.00  |
1201.10/1201.45	c | 1201.44   | 0  | -690         lb |  0                0                0.00  |
1799.60/1800.00	c ===============================================================================
1799.60/1800.00	c Wall Clock Time: 1800.00 s
1799.60/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-3727845-1338669285/watcher-3727845-1338669285 -o /tmp/evaluation-result-3727845-1338669285/solver-3727845-1338669285 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3727845-1338669285.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/171 28753
/proc/meminfo: memFree=31481332/32873844 swapFree=7116/7116
[pid=28753] ppid=28751 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/28753/stat : 28753 (runsolver) D 28751 28753 28198 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 1 0 333055448 12095488 50 33554432000 4194304 5436572 140734904451120 140734904447416 4883175 0 0 4096 24578 18446744071579943789 0 0 17 2 0 0 0 0 0
/proc/28753/statm: 2953 50 31 304 0 2645 0

[startup+0.00897496 s]
/proc/loadavg: 2.00 2.00 2.00 3/171 28753
/proc/meminfo: memFree=31481332/32873844 swapFree=7116/7116
[pid=28753] ppid=28751 vsize=4012 CPUtime=0 cores=0,2,4,6
/proc/28753/stat : 28753 (wbo1.72) R 28751 28753 28198 0 -1 4202496 327 0 0 0 0 0 0 0 20 0 1 0 333055448 4108288 279 33554432000 4194304 5964350 140733427216304 140734904447000 5136410 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/28753/statm: 1003 280 159 433 0 383 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 4012

[startup+0.100155 s]
/proc/loadavg: 2.00 2.00 2.00 3/171 28753
/proc/meminfo: memFree=31481332/32873844 swapFree=7116/7116
[pid=28753] ppid=28751 vsize=88592 CPUtime=0.08 cores=0,2,4,6
/proc/28753/stat : 28753 (wbo1.72) S 28751 28753 28198 0 -1 4202496 3336 0 0 0 8 0 0 0 20 0 2 0 333055448 90718208 3103 33554432000 4194304 5964350 140733427216304 140733427215824 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28753/statm: 22148 3103 188 433 0 21712 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 88592

[startup+0.30016 s]
/proc/loadavg: 2.00 2.00 2.00 3/171 28753
/proc/meminfo: memFree=31481332/32873844 swapFree=7116/7116
[pid=28753] ppid=28751 vsize=88592 CPUtime=0.28 cores=0,2,4,6
/proc/28753/stat : 28753 (wbo1.72) S 28751 28753 28198 0 -1 4202496 7852 0 0 0 28 0 0 0 20 0 2 0 333055448 90718208 7619 33554432000 4194304 5964350 140733427216304 140733427215824 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28753/statm: 22148 7619 190 433 0 21712 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 88592

[startup+0.700157 s]
/proc/loadavg: 2.00 2.00 2.00 3/171 28753
/proc/meminfo: memFree=31481332/32873844 swapFree=7116/7116
[pid=28753] ppid=28751 vsize=88592 CPUtime=0.69 cores=0,2,4,6
/proc/28753/stat : 28753 (wbo1.72) S 28751 28753 28198 0 -1 4202496 9775 0 0 0 68 1 0 0 20 0 2 0 333055448 90718208 9542 33554432000 4194304 5964350 140733427216304 140733427215824 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28753/statm: 22148 9542 190 433 0 21712 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 88592

[startup+1.50025 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28804
/proc/meminfo: memFree=31429456/32873844 swapFree=7116/7116
[pid=28753] ppid=28751 vsize=88592 CPUtime=1.48 cores=0,2,4,6
/proc/28753/stat : 28753 (wbo1.72) S 28751 28753 28198 0 -1 4202496 13064 0 0 0 147 1 0 0 20 0 2 0 333055448 90718208 12831 33554432000 4194304 5964350 140733427216304 140733427215824 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28753/statm: 22148 12831 192 433 0 21712 0
[pid=28753/tid=28765] ppid=28751 vsize=88592 CPUtime=1.41 cores=0,2,4,6
/proc/28753/task/28765/stat : 28765 (wbo1.72) R 28751 28753 28198 0 -1 4202560 10949 0 0 0 140 1 0 0 20 0 2 0 333055455 90718208 12831 33554432000 4194304 5964350 140733427216304 140429097992512 4388229 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 88592

[startup+3.10014 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28804
/proc/meminfo: memFree=31410724/32873844 swapFree=7116/7116
[pid=28753] ppid=28751 vsize=88592 CPUtime=3.07 cores=0,2,4,6
/proc/28753/stat : 28753 (wbo1.72) S 28751 28753 28198 0 -1 4202496 17135 0 0 0 305 2 0 0 20 0 2 0 333055448 90718208 16850 33554432000 4194304 5964350 140733427216304 140733427215824 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28753/statm: 22148 16850 192 433 0 21712 0
[pid=28753/tid=28765] ppid=28751 vsize=88592 CPUtime=3.01 cores=0,2,4,6
/proc/28753/task/28765/stat : 28765 (wbo1.72) R 28751 28753 28198 0 -1 4202560 15020 0 0 0 299 2 0 0 20 0 2 0 333055455 90718208 16850 33554432000 4194304 5964350 140733427216304 140429098002712 4399840 0 0 4096 16387 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 88592

[startup+6.3002 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28804
/proc/meminfo: memFree=31393860/32873844 swapFree=7116/7116
[pid=28753] ppid=28751 vsize=88736 CPUtime=6.28 cores=0,2,4,6
/proc/28753/stat : 28753 (wbo1.72) S 28751 28753 28198 0 -1 4202496 17735 0 0 0 625 3 0 0 20 0 2 0 333055448 90865664 17450 33554432000 4194304 5964350 140733427216304 140733427215824 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28753/statm: 22184 17450 192 433 0 21748 0
[pid=28753/tid=28765] ppid=28751 vsize=88736 CPUtime=6.21 cores=0,2,4,6
/proc/28753/task/28765/stat : 28765 (wbo1.72) R 28751 28753 28198 0 -1 4202560 15620 0 0 0 618 3 0 0 20 0 2 0 333055455 90865664 17450 33554432000 4194304 5964350 140733427216304 140429098002232 4399840 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 88736

[startup+12.7002 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 28804
/proc/meminfo: memFree=31382696/32873844 swapFree=7116/7116
[pid=28753] ppid=28751 vsize=154128 CPUtime=12.67 cores=0,2,4,6
/proc/28753/stat : 28753 (wbo1.72) S 28751 28753 28198 0 -1 4202496 18861 0 0 0 1264 3 0 0 20 0 2 0 333055448 157827072 18541 33554432000 4194304 5964350 140733427216304 140733427215824 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28753/statm: 38532 18541 192 433 0 38096 0
[pid=28753/tid=28765] ppid=28751 vsize=154128 CPUtime=12.6 cores=0,2,4,6
/proc/28753/task/28765/stat : 28765 (wbo1.72) R 28751 28753 28198 0 -1 4202560 16746 0 0 0 1257 3 0 0 20 0 2 0 333055455 157827072 18541 33554432000 4194304 5964350 140733427216304 140429098002968 4220672 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 154128

[startup+25.5003 s]
/proc/loadavg: 2.06 2.02 2.00 3/180 28805
/proc/meminfo: memFree=31363772/32873844 swapFree=7116/7116
[pid=28753] ppid=28751 vsize=154452 CPUtime=25.46 cores=0,2,4,6
/proc/28753/stat : 28753 (wbo1.72) S 28751 28753 28198 0 -1 4202496 21075 0 0 0 2542 4 0 0 20 0 2 0 333055448 158158848 20747 33554432000 4194304 5964350 140733427216304 140733427215824 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28753/statm: 38613 20747 192 433 0 38177 0
[pid=28753/tid=28765] ppid=28751 vsize=154452 CPUtime=25.39 cores=0,2,4,6
/proc/28753/task/28765/stat : 28765 (wbo1.72) R 28751 28753 28198 0 -1 4202560 18960 0 0 0 2535 4 0 0 20 0 2 0 333055455 158158848 20747 33554432000 4194304 5964350 140733427216304 140429098002472 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 154452

[startup+51.1003 s]
/proc/loadavg: 2.04 2.01 2.00 3/180 28806
/proc/meminfo: memFree=31337072/32873844 swapFree=7116/7116
[pid=28753] ppid=28751 vsize=154128 CPUtime=51.03 cores=0,2,4,6
/proc/28753/stat : 28753 (wbo1.72) S 28751 28753 28198 0 -1 4202496 23661 0 0 0 5099 4 0 0 20 0 2 0 333055448 157827072 23930 33554432000 4194304 5964350 140733427216304 140733427215824 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28753/statm: 38532 23930 192 433 0 38096 0
[pid=28753/tid=28765] ppid=28751 vsize=154128 CPUtime=50.97 cores=0,2,4,6
/proc/28753/task/28765/stat : 28765 (wbo1.72) R 28751 28753 28198 0 -1 4202560 21546 0 0 0 5092 5 0 0 20 0 2 0 333055455 157827072 23930 33554432000 4194304 5964350 140733427216304 140429098002968 4399976 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 154128

[startup+102.306 s]
/proc/loadavg: 2.09 2.02 2.01 3/179 28806
/proc/meminfo: memFree=31307576/32873844 swapFree=7116/7116
[pid=28753] ppid=28751 vsize=154612 CPUtime=102.23 cores=0,2,4,6
/proc/28753/stat : 28753 (wbo1.72) S 28751 28753 28198 0 -1 4202496 27987 0 0 0 10217 6 0 0 20 0 2 0 333055448 158322688 28256 33554432000 4194304 5964350 140733427216304 140733427215824 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28753/statm: 38653 28256 192 433 0 38217 0
[pid=28753/tid=28765] ppid=28751 vsize=154612 CPUtime=102.18 cores=0,2,4,6
/proc/28753/task/28765/stat : 28765 (wbo1.72) R 28751 28753 28198 0 -1 4202560 25872 0 0 0 10211 7 0 0 20 0 2 0 333055455 158322688 28256 33554432000 4194304 5964350 140733427216304 140429098002232 4399938 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 154612

[startup+162.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/179 28806
/proc/meminfo: memFree=31243968/32873844 swapFree=7116/7116
[pid=28753] ppid=28751 vsize=220388 CPUtime=162.19 cores=0,2,4,6
/proc/28753/stat : 28753 (wbo1.72) S 28751 28753 28198 0 -1 4202496 35896 0 0 0 16211 8 0 0 20 0 2 0 333055448 225677312 36442 33554432000 4194304 5964350 140733427216304 140733427215824 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28753/statm: 55097 36442 192 433 0 54661 0
[pid=28753/tid=28765] ppid=28751 vsize=220388 CPUtime=162.15 cores=0,2,4,6
/proc/28753/task/28765/stat : 28765 (wbo1.72) R 28751 28753 28198 0 -1 4202560 33781 0 0 0 16205 10 0 0 20 0 2 0 333055455 225677312 36442 33554432000 4194304 5964350 140733427216304 140429098002472 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 220388

[startup+222.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 28806
/proc/meminfo: memFree=31193092/32873844 swapFree=7116/7116
[pid=28753] ppid=28751 vsize=220872 CPUtime=222.18 cores=0,2,4,6
/proc/28753/stat : 28753 (wbo1.72) S 28751 28753 28198 0 -1 4202496 42084 0 0 0 22207 11 0 0 20 0 2 0 333055448 226172928 42627 33554432000 4194304 5964350 140733427216304 140733427215824 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28753/statm: 55218 42627 192 433 0 54782 0
[pid=28753/tid=28765] ppid=28751 vsize=220872 CPUtime=222.15 cores=0,2,4,6
/proc/28753/task/28765/stat : 28765 (wbo1.72) R 28751 28753 28198 0 -1 4202560 39969 0 0 0 22200 15 0 0 20 0 2 0 333055455 226172928 42627 33554432000 4194304 5964350 140733427216304 140429098002472 4399840 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 220872

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 28806
/proc/meminfo: memFree=31156556/32873844 swapFree=7116/7116
[pid=28753] ppid=28751 vsize=222684 CPUtime=282.18 cores=0,2,4,6
/proc/28753/stat : 28753 (wbo1.72) S 28751 28753 28198 0 -1 4202496 45954 0 0 0 28204 14 0 0 20 0 2 0 333055448 228028416 46495 33554432000 4194304 5964350 140733427216304 140733427215824 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28753/statm: 55671 46495 192 433 0 55235 0
[pid=28753/tid=28765] ppid=28751 vsize=222684 CPUtime=282.16 cores=0,2,4,6
/proc/28753/task/28765/stat : 28765 (wbo1.72) R 28751 28753 28198 0 -1 4202560 43839 0 0 0 28198 18 0 0 20 0 2 0 333055455 228028416 46495 33554432000 4194304 5964350 140733427216304 140429098002232 4399840 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 222684

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 28809
/proc/meminfo: memFree=31114340/32873844 swapFree=7116/7116
[pid=28753] ppid=28751 vsize=222684 CPUtime=342.15 cores=0,2,4,6
/proc/28753/stat : 28753 (wbo1.72) S 28751 28753 28198 0 -1 4202496 51061 0 0 0 34197 18 0 0 20 0 2 0 333055448 228028416 51881 33554432000 4194304 5964350 140733427216304 140733427215824 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28753/statm: 55671 51881 192 433 0 55235 0
[pid=28753/tid=28765] ppid=28751 vsize=222684 CPUtime=342.14 cores=0,2,4,6
/proc/28753/task/28765/stat : 28765 (wbo1.72) R 28751 28753 28198 0 -1 4202560 48946 0 0 0 34191 23 0 0 20 0 2 0 333055455 228028416 51881 33554432000 4194304 5964350 140733427216304 140429098002472 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 222684

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28810
/proc/meminfo: memFree=31068320/32873844 swapFree=7116/7116
[pid=28753] ppid=28751 vsize=289188 CPUtime=402.12 cores=0,2,4,6
/proc/28753/stat : 28753 (wbo1.72) S 28751 28753 28198 0 -1 4202496 55791 0 0 0 40191 21 0 0 20 0 2 0 333055448 296128512 56785 33554432000 4194304 5964350 140733427216304 140733427215824 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28753/statm: 72297 56785 192 433 0 71861 0
[pid=28753/tid=28765] ppid=28751 vsize=289188 CPUtime=402.13 cores=0,2,4,6
/proc/28753/task/28765/stat : 28765 (wbo1.72) R 28751 28753 28198 0 -1 4202560 53676 0 0 0 40185 28 0 0 20 0 2 0 333055455 296128512 56785 33554432000 4194304 5964350 140733427216304 140429098002232 4399840 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 402.12
Current children cumulated vsize (KiB) 289188

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28810
/proc/meminfo: memFree=31040636/32873844 swapFree=7116/7116
[pid=28753] ppid=28751 vsize=290396 CPUtime=462.11 cores=0,2,4,6

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

/proc/28753/task/28765/stat : 28765 (wbo1.72) R 28751 28753 28198 0 -1 4202560 65504 0 0 0 130173 44 0 0 20 0 2 0 333055455 292044800 67693 33554432000 4194304 5964350 140733427216304 140429098002968 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.99
Current children cumulated vsize (KiB) 285200

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28817
/proc/meminfo: memFree=30798064/32873844 swapFree=7116/7116
[pid=28753] ppid=28751 vsize=285200 CPUtime=1361.97 cores=0,2,4,6
/proc/28753/stat : 28753 (wbo1.72) S 28751 28753 28198 0 -1 4202496 67619 0 0 0 136172 25 0 0 20 0 2 0 333055448 292044800 67693 33554432000 4194304 5964350 140733427216304 140733427215824 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28753/statm: 71300 67693 192 433 0 70864 0
[pid=28753/tid=28765] ppid=28751 vsize=285200 CPUtime=1362.17 cores=0,2,4,6
/proc/28753/task/28765/stat : 28765 (wbo1.72) R 28751 28753 28198 0 -1 4202560 65504 0 0 0 136172 45 0 0 20 0 2 0 333055455 292044800 67693 33554432000 4194304 5964350 140733427216304 140429098002968 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.97
Current children cumulated vsize (KiB) 285200

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28817
/proc/meminfo: memFree=30792856/32873844 swapFree=7116/7116
[pid=28753] ppid=28751 vsize=285200 CPUtime=1421.97 cores=0,2,4,6
/proc/28753/stat : 28753 (wbo1.72) S 28751 28753 28198 0 -1 4202496 67619 0 0 0 142172 25 0 0 20 0 2 0 333055448 292044800 67693 33554432000 4194304 5964350 140733427216304 140733427215824 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28753/statm: 71300 67693 192 433 0 70864 0
[pid=28753/tid=28765] ppid=28751 vsize=285200 CPUtime=1422.18 cores=0,2,4,6
/proc/28753/task/28765/stat : 28765 (wbo1.72) R 28751 28753 28198 0 -1 4202560 65504 0 0 0 142172 46 0 0 20 0 2 0 333055455 292044800 67693 33554432000 4194304 5964350 140733427216304 140429098002968 4400547 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.97
Current children cumulated vsize (KiB) 285200

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28817
/proc/meminfo: memFree=30781324/32873844 swapFree=7116/7116
[pid=28753] ppid=28751 vsize=285200 CPUtime=1481.95 cores=0,2,4,6
/proc/28753/stat : 28753 (wbo1.72) S 28751 28753 28198 0 -1 4202496 67619 0 0 0 148170 25 0 0 20 0 2 0 333055448 292044800 67693 33554432000 4194304 5964350 140733427216304 140733427215824 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28753/statm: 71300 67693 192 433 0 70864 0
[pid=28753/tid=28765] ppid=28751 vsize=285200 CPUtime=1482.18 cores=0,2,4,6
/proc/28753/task/28765/stat : 28765 (wbo1.72) R 28751 28753 28198 0 -1 4202560 65504 0 0 0 148171 47 0 0 20 0 2 0 333055455 292044800 67693 33554432000 4194304 5964350 140733427216304 140429098002968 4400321 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.95
Current children cumulated vsize (KiB) 285200

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 28820
/proc/meminfo: memFree=30751124/32873844 swapFree=7116/7116
[pid=28753] ppid=28751 vsize=285200 CPUtime=1541.95 cores=0,2,4,6
/proc/28753/stat : 28753 (wbo1.72) S 28751 28753 28198 0 -1 4202496 67619 0 0 0 154170 25 0 0 20 0 2 0 333055448 292044800 67693 33554432000 4194304 5964350 140733427216304 140733427215824 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28753/statm: 71300 67693 192 433 0 70864 0
[pid=28753/tid=28765] ppid=28751 vsize=285200 CPUtime=1542.18 cores=0,2,4,6
/proc/28753/task/28765/stat : 28765 (wbo1.72) R 28751 28753 28198 0 -1 4202560 65504 0 0 0 154170 48 0 0 20 0 2 0 333055455 292044800 67693 33554432000 4194304 5964350 140733427216304 140429098002968 4399998 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.95
Current children cumulated vsize (KiB) 285200

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 28844
/proc/meminfo: memFree=30739508/32873844 swapFree=7116/7116
[pid=28753] ppid=28751 vsize=350736 CPUtime=1601.93 cores=0,2,4,6
/proc/28753/stat : 28753 (wbo1.72) S 28751 28753 28198 0 -1 4202496 69868 0 0 0 160167 26 0 0 20 0 2 0 333055448 359153664 69942 33554432000 4194304 5964350 140733427216304 140733427215824 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28753/statm: 87684 69942 192 433 0 87248 0
[pid=28753/tid=28765] ppid=28751 vsize=350736 CPUtime=1602.18 cores=0,2,4,6
/proc/28753/task/28765/stat : 28765 (wbo1.72) R 28751 28753 28198 0 -1 4202560 67753 0 0 0 160167 51 0 0 20 0 2 0 333055455 359153664 69942 33554432000 4194304 5964350 140733427216304 140429098002424 4399944 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.93
Current children cumulated vsize (KiB) 350736

[startup+1662.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 28844
/proc/meminfo: memFree=30706532/32873844 swapFree=7116/7116
[pid=28753] ppid=28751 vsize=352360 CPUtime=1661.92 cores=0,2,4,6
/proc/28753/stat : 28753 (wbo1.72) S 28751 28753 28198 0 -1 4202496 72885 0 0 0 166163 29 0 0 20 0 2 0 333055448 360816640 72957 33554432000 4194304 5964350 140733427216304 140733427215824 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28753/statm: 88090 72957 192 433 0 87654 0
[pid=28753/tid=28765] ppid=28751 vsize=352360 CPUtime=1662.19 cores=0,2,4,6
/proc/28753/task/28765/stat : 28765 (wbo1.72) R 28751 28753 28198 0 -1 4202560 70770 0 0 0 166164 55 0 0 20 0 2 0 333055455 360816640 72957 33554432000 4194304 5964350 140733427216304 140429098002296 4399962 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.92
Current children cumulated vsize (KiB) 352360

[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 28844
/proc/meminfo: memFree=30683964/32873844 swapFree=7116/7116
[pid=28753] ppid=28751 vsize=352360 CPUtime=1721.91 cores=0,2,4,6
/proc/28753/stat : 28753 (wbo1.72) S 28751 28753 28198 0 -1 4202496 75972 0 0 0 172160 31 0 0 20 0 2 0 333055448 360816640 76044 33554432000 4194304 5964350 140733427216304 140733427215824 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28753/statm: 88090 76044 192 433 0 87654 0
[pid=28753/tid=28765] ppid=28751 vsize=352360 CPUtime=1722.19 cores=0,2,4,6
/proc/28753/task/28765/stat : 28765 (wbo1.72) R 28751 28753 28198 0 -1 4202560 73857 0 0 0 172161 58 0 0 20 0 2 0 333055455 360816640 76044 33554432000 4194304 5964350 140733427216304 140429098002472 4399958 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.91
Current children cumulated vsize (KiB) 352360

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28844
/proc/meminfo: memFree=30650792/32873844 swapFree=7116/7116
[pid=28753] ppid=28751 vsize=352360 CPUtime=1781.9 cores=0,2,4,6
/proc/28753/stat : 28753 (wbo1.72) S 28751 28753 28198 0 -1 4202496 78450 0 0 0 178157 33 0 0 20 0 2 0 333055448 360816640 78521 33554432000 4194304 5964350 140733427216304 140733427215824 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28753/statm: 88090 78521 192 433 0 87654 0
[pid=28753/tid=28765] ppid=28751 vsize=352360 CPUtime=1782.19 cores=0,2,4,6
/proc/28753/task/28765/stat : 28765 (wbo1.72) R 28751 28753 28198 0 -1 4202560 76335 0 0 0 178158 61 0 0 20 0 2 0 333055455 360816640 78521 33554432000 4194304 5964350 140733427216304 140429098002232 4399840 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.9
Current children cumulated vsize (KiB) 352360

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

[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28844
/proc/meminfo: memFree=30647816/32873844 swapFree=7116/7116
[pid=28753] ppid=28751 vsize=352360 CPUtime=1791.5 cores=0,2,4,6
/proc/28753/stat : 28753 (wbo1.72) S 28751 28753 28198 0 -1 4202496 78574 0 0 0 179117 33 0 0 20 0 2 0 333055448 360816640 78644 33554432000 4194304 5964350 140733427216304 140733427215824 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28753/statm: 88090 78644 192 433 0 87654 0
[pid=28753/tid=28765] ppid=28751 vsize=352360 CPUtime=1791.8 cores=0,2,4,6
/proc/28753/task/28765/stat : 28765 (wbo1.72) R 28751 28753 28198 0 -1 4202560 76459 0 0 0 179119 61 0 0 20 0 2 0 333055455 360816640 78644 33554432000 4194304 5964350 140733427216304 140429098002232 4399840 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1791.5
Current children cumulated vsize (KiB) 352360

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28844
/proc/meminfo: memFree=30647072/32873844 swapFree=7116/7116
[pid=28753] ppid=28751 vsize=352360 CPUtime=1794.7 cores=0,2,4,6
/proc/28753/stat : 28753 (wbo1.72) S 28751 28753 28198 0 -1 4202496 78578 0 0 0 179437 33 0 0 20 0 2 0 333055448 360816640 78648 33554432000 4194304 5964350 140733427216304 140733427215824 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28753/statm: 88090 78648 192 433 0 87654 0
[pid=28753/tid=28765] ppid=28751 vsize=352360 CPUtime=1795 cores=0,2,4,6
/proc/28753/task/28765/stat : 28765 (wbo1.72) R 28751 28753 28198 0 -1 4202560 76463 0 0 0 179439 61 0 0 20 0 2 0 333055455 360816640 78648 33554432000 4194304 5964350 140733427216304 140429098002232 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1794.7
Current children cumulated vsize (KiB) 352360

[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28844
/proc/meminfo: memFree=30646328/32873844 swapFree=7116/7116
[pid=28753] ppid=28751 vsize=352360 CPUtime=1797.9 cores=0,2,4,6
/proc/28753/stat : 28753 (wbo1.72) S 28751 28753 28198 0 -1 4202496 78578 0 0 0 179757 33 0 0 20 0 2 0 333055448 360816640 78648 33554432000 4194304 5964350 140733427216304 140733427215824 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28753/statm: 88090 78648 192 433 0 87654 0
[pid=28753/tid=28765] ppid=28751 vsize=352360 CPUtime=1798.19 cores=0,2,4,6
/proc/28753/task/28765/stat : 28765 (wbo1.72) R 28751 28753 28198 0 -1 4202560 76463 0 0 0 179758 61 0 0 20 0 2 0 333055455 360816640 78648 33554432000 4194304 5964350 140733427216304 140429098002232 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1797.9
Current children cumulated vsize (KiB) 352360

[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28844
/proc/meminfo: memFree=30646204/32873844 swapFree=7116/7116
[pid=28753] ppid=28751 vsize=352360 CPUtime=1798.7 cores=0,2,4,6
/proc/28753/stat : 28753 (wbo1.72) S 28751 28753 28198 0 -1 4202496 78578 0 0 0 179837 33 0 0 20 0 2 0 333055448 360816640 78648 33554432000 4194304 5964350 140733427216304 140733427215824 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28753/statm: 88090 78648 192 433 0 87654 0
[pid=28753/tid=28765] ppid=28751 vsize=352360 CPUtime=1798.99 cores=0,2,4,6
/proc/28753/task/28765/stat : 28765 (wbo1.72) R 28751 28753 28198 0 -1 4202560 76463 0 0 0 179838 61 0 0 20 0 2 0 333055455 360816640 78648 33554432000 4194304 5964350 140733427216304 140429098002232 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1798.7
Current children cumulated vsize (KiB) 352360

[startup+1799.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28844
/proc/meminfo: memFree=30645832/32873844 swapFree=7116/7116
[pid=28753] ppid=28751 vsize=352360 CPUtime=1799.1 cores=0,2,4,6
/proc/28753/stat : 28753 (wbo1.72) S 28751 28753 28198 0 -1 4202496 78578 0 0 0 179877 33 0 0 20 0 2 0 333055448 360816640 78648 33554432000 4194304 5964350 140733427216304 140733427215824 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28753/statm: 88090 78648 192 433 0 87654 0
[pid=28753/tid=28765] ppid=28751 vsize=352360 CPUtime=1799.4 cores=0,2,4,6
/proc/28753/task/28765/stat : 28765 (wbo1.72) R 28751 28753 28198 0 -1 4202560 76463 0 0 0 179879 61 0 0 20 0 2 0 333055455 360816640 78648 33554432000 4194304 5964350 140733427216304 140429098002232 4399840 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.1
Current children cumulated vsize (KiB) 352360

[startup+1799.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28844
/proc/meminfo: memFree=30645832/32873844 swapFree=7116/7116
[pid=28753] ppid=28751 vsize=352360 CPUtime=1799.5 cores=0,2,4,6
/proc/28753/stat : 28753 (wbo1.72) S 28751 28753 28198 0 -1 4202496 78578 0 0 0 179917 33 0 0 20 0 2 0 333055448 360816640 78648 33554432000 4194304 5964350 140733427216304 140733427215824 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28753/statm: 88090 78648 192 433 0 87654 0
[pid=28753/tid=28765] ppid=28751 vsize=352360 CPUtime=1799.79 cores=0,2,4,6
/proc/28753/task/28765/stat : 28765 (wbo1.72) R 28751 28753 28198 0 -1 4202560 76463 0 0 0 179918 61 0 0 20 0 2 0 333055455 360816640 78648 33554432000 4194304 5964350 140733427216304 140429098002232 4400352 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.5
Current children cumulated vsize (KiB) 352360

[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28844
/proc/meminfo: memFree=30645832/32873844 swapFree=7116/7116
[pid=28753] ppid=28751 vsize=352360 CPUtime=1799.6 cores=0,2,4,6
/proc/28753/stat : 28753 (wbo1.72) S 28751 28753 28198 0 -1 4202496 78578 0 0 0 179927 33 0 0 20 0 2 0 333055448 360816640 78648 33554432000 4194304 5964350 140733427216304 140733427215824 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28753/statm: 88090 78648 192 433 0 87654 0
[pid=28753/tid=28765] ppid=28751 vsize=352360 CPUtime=1799.89 cores=0,2,4,6
/proc/28753/task/28765/stat : 28765 (wbo1.72) R 28751 28753 28198 0 -1 4202560 76463 0 0 0 179928 61 0 0 20 0 2 0 333055455 360816640 78648 33554432000 4194304 5964350 140733427216304 140429098002232 4399840 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.6
Current children cumulated vsize (KiB) 352360

Child status: 255
Real time (s): 1800.01
CPU time (s): 1799.98
CPU user time (s): 1799.35
CPU system time (s): 0.623905
CPU usage (%): 99.9981
Max. virtual memory (cumulated for all children) (KiB): 352360

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.35
system time used= 0.623905
maximum resident set size= 314600
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 78580
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= 124
involuntary context switches= 1970

runsolver used 2.67659 second user time and 7.14491 second system time

The end

Launcher Data

Begin job on node111 at 2012-06-02 22:34:45
IDJOB=3727845
IDBENCH=89874
IDSOLVER=2313
FILE ID=node111/3727845-1338669285
RUNJOBID= node111-1338669285-28734
PBS_JOBID= 14636481
Free space on /tmp= 67396 MiB

SOLVER NAME= wbo 1.72
BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-queens-30.opb
COMMAND LINE= wbo1.72 -file-format=opb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3727845-1338669285/watcher-3727845-1338669285 -o /tmp/evaluation-result-3727845-1338669285/solver-3727845-1338669285 -C 1800 -W 1900 -M 15500  wbo1.72 -file-format=opb HOME/instance-3727845-1338669285.opb

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

MD5SUM BENCH= ac9944a86f58bd3c1af4c4c4a209f399
RANDOM SEED=456406604

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        31486820 kB
Buffers:          156528 kB
Cached:           441612 kB
SwapCached:         1352 kB
Active:           126652 kB
Inactive:         474980 kB
Active(anon):       5108 kB
Inactive(anon):     1120 kB
Active(file):     121544 kB
Inactive(file):   473860 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67100048 kB
Dirty:              6220 kB
Writeback:             0 kB
AnonPages:          9772 kB
Mapped:             7944 kB
Shmem:                 0 kB
Slab:             645236 kB
SReclaimable:      87072 kB
SUnreclaim:       558164 kB
KernelStack:        1376 kB
PageTables:         3916 kB
NFS_Unstable:          4 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     104560 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 67384 MiB
End job on node111 at 2012-06-02 23:04:45