Trace number 3447200

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 NameAnswerCPU timeWall clock time
wbo 1.6? (TO) 1800.06 1800.03

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh04_wcsp.wbo
MD5SUM54ef51abb9454409d6f66c5b853cdf79
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark95
Best CPU time to get the best result obtained on this benchmark0.014997
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables200
Total number of constraints950
Number of soft constraints850
Number of constraints which are clauses850
Number of constraints which are cardinality constraints (but not clauses)100
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint11
Top cost 420926
Min constraint cost 1
Max constraint cost 1000
Sum of constraints costs 420925
Biggest number in a constraint 10
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 21
Number of bits of the biggest sum of numbers5
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 wbo 1.6 beta - 20110321
0.00/0.00	c Parsing wbo file format. File HOME/instance-3447200-1307907060.wbo.
0.00/0.00	c Instance file HOME/instance-3447200-1307907060.wbo
0.00/0.00	c File size is 45223 bytes.
0.00/0.00	c Highest Coefficient sum: 21
0.00/0.00	c ============================[ Problem Statistics ]=============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |  Parsing time:          0.00         s                                      |
0.00/0.00	c |  Number Variables:      200                                                 |
0.00/0.00	c |  Number Clauses:        1050                                                |
0.00/0.00	c |  Number Cardinality:    0                                                   |
0.00/0.00	c |  Number PB Constraints: 0                                                   |
0.00/0.00	c ============================[ Search Statistics ]==============================
0.00/0.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.00	c ===============================================================================
0.00/0.00	c |         0 |     200     1050     4560 |     5000        0   -nan |  0.000 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c core #1
0.00/0.00	c 
0.00/0.00	c 
0.00/0.00	c Core size: 185	Core Weight: 9	Total Weight: 9
0.00/0.00	c Current CPU time: 0.003999 s
0.00/0.00	c
0.00/0.00	c ============================[ Search Statistics ]==============================
0.00/0.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.00	c ===============================================================================
0.00/0.00	c |         0 |     347     1197     5313 |     5000        0   -nan |  0.000 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c core #2
0.00/0.00	c 
0.00/0.00	c 
0.00/0.00	c Core size: 187	Core Weight: 2	Total Weight: 11
0.00/0.00	c Current CPU time: 0.004999 s
0.00/0.00	c
0.00/0.00	c ============================[ Search Statistics ]==============================
0.00/0.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.00	c ===============================================================================
0.00/0.00	c |         0 |     484     1334     6011 |     5000        0   -nan |  0.000 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c core #3
0.00/0.00	c 
0.00/0.00	c 
0.00/0.00	c Core size: 177	Core Weight: 14	Total Weight: 25
0.00/0.00	c Current CPU time: 0.006998 s
0.00/0.00	c
0.00/0.00	c ============================[ Search Statistics ]==============================
0.00/0.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.00	c ===============================================================================
0.00/0.00	c |         0 |     628     1478     6751 |     5000        0   -nan |  0.000 % |
0.00/0.00	c ===============================================================================
0.00/0.01	c core #4
0.00/0.01	c 
0.00/0.01	c 
0.00/0.01	c Core size: 226	Core Weight: 1	Total Weight: 26
0.00/0.01	c Current CPU time: 0.008998 s
0.00/0.01	c
0.00/0.01	c ============================[ Search Statistics ]==============================
0.00/0.01	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.01	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.01	c ===============================================================================
0.00/0.01	c |         0 |     815     1665     7721 |     5000        0   -nan |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c core #5
0.00/0.01	c 
0.00/0.01	c 
0.00/0.01	c Core size: 221	Core Weight: 4	Total Weight: 30
0.00/0.01	c Current CPU time: 0.010998 s
0.00/0.01	c
0.00/0.01	c ============================[ Search Statistics ]==============================
0.00/0.01	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.01	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.01	c ===============================================================================
0.00/0.01	c |         0 |     989     1839     8626 |     5000        0   -nan |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c core #6
0.00/0.01	c 
0.00/0.01	c 
0.00/0.01	c Core size: 237	Core Weight: 1	Total Weight: 31
0.00/0.01	c Current CPU time: 0.012998 s
0.00/0.01	c
0.00/0.01	c ============================[ Search Statistics ]==============================
0.00/0.01	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.01	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.01	c ===============================================================================
0.00/0.01	c |         0 |    1185     2034     9657 |     5000        0   -nan |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c core #7
0.00/0.01	c 
0.00/0.01	c 
0.00/0.01	c Core size: 234	Core Weight: 3	Total Weight: 34
0.00/0.01	c Current CPU time: 0.014997 s
0.00/0.01	c
0.00/0.01	c ============================[ Search Statistics ]==============================
0.00/0.01	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.01	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.01	c ===============================================================================
0.00/0.01	c |         0 |    1377     2224    10662 |     5000        0   -nan |  0.000 % |
0.00/0.02	c ===============================================================================
0.01/0.02	c core #8
0.01/0.02	c 
0.01/0.02	c 
0.01/0.02	c Core size: 202	Core Weight: 4	Total Weight: 38
0.01/0.02	c Current CPU time: 0.016997 s
0.01/0.02	c
0.01/0.02	c ============================[ Search Statistics ]==============================
0.01/0.02	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.01/0.02	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.01/0.02	c ===============================================================================
0.01/0.02	c |         0 |    1538     2385    11502 |     5000        0   -nan |  0.000 % |
0.01/0.02	c ===============================================================================
0.01/0.02	c core #9
0.01/0.02	c 
0.01/0.02	c 
0.01/0.02	c Core size: 228	Core Weight: 3	Total Weight: 41
0.01/0.02	c Current CPU time: 0.020996 s
0.01/0.02	c
0.01/0.02	c ============================[ Search Statistics ]==============================
0.01/0.02	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.01/0.02	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.01/0.02	c ===============================================================================
0.01/0.02	c |         0 |    1725     2570    12477 |     5000        0   -nan |  0.000 % |
0.01/0.02	c ===============================================================================
0.01/0.03	c core #10
0.01/0.03	c 
0.01/0.03	c 
0.01/0.03	c Core size: 252	Core Weight: 1	Total Weight: 42
0.01/0.03	c Current CPU time: 0.023996 s
0.01/0.03	c
0.01/0.03	c ============================[ Search Statistics ]==============================
0.01/0.03	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.01/0.03	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.01/0.03	c ===============================================================================
0.01/0.03	c |         0 |    1929     2773    13564 |     5000        0   -nan |  0.000 % |
0.01/0.03	c ===============================================================================
0.01/0.03	c core #11
0.01/0.03	c 
0.01/0.03	c 
0.01/0.03	c Core size: 224	Core Weight: 1	Total Weight: 43
0.01/0.03	c Current CPU time: 0.027995 s
0.01/0.03	c
0.01/0.03	c ============================[ Search Statistics ]==============================
0.01/0.03	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.01/0.03	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.01/0.03	c ===============================================================================
0.01/0.03	c |         0 |    2104     2948    14477 |     5000        0   -nan |  0.000 % |
0.01/0.03	c ===============================================================================
0.01/0.04	c core #12
0.01/0.04	c 
0.01/0.04	c 
0.01/0.04	c Core size: 223	Core Weight: 1	Total Weight: 44
0.01/0.04	c Current CPU time: 0.032994 s
0.01/0.04	c
0.01/0.04	c ============================[ Search Statistics ]==============================
0.01/0.04	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.01/0.04	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.01/0.04	c ===============================================================================
0.01/0.04	c |         0 |    2310     3153    15556 |     5000        0   -nan |  0.000 % |
0.01/0.04	c ===============================================================================
0.01/0.04	c core #13
0.01/0.04	c 
0.01/0.04	c 
0.01/0.04	c Core size: 213	Core Weight: 1	Total Weight: 45
0.01/0.04	c Current CPU time: 0.036994 s
0.01/0.04	c
0.01/0.04	c ============================[ Search Statistics ]==============================
0.01/0.04	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.01/0.04	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.01/0.04	c ===============================================================================
0.01/0.04	c |         0 |    2486     3328    16475 |     5000        0   -nan |  0.000 % |
0.01/0.04	c ===============================================================================
0.01/0.05	c core #14
0.01/0.05	c 
0.01/0.05	c 
0.01/0.05	c Core size: 212	Core Weight: 1	Total Weight: 46
0.01/0.05	c Current CPU time: 0.040993 s
0.01/0.05	c
0.01/0.05	c ============================[ Search Statistics ]==============================
0.01/0.05	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.01/0.05	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.01/0.05	c ===============================================================================
0.01/0.05	c |         0 |    2652     3493    17327 |     5000        0   -nan |  0.000 % |
0.01/0.05	c ===============================================================================
0.01/0.05	c core #15
0.01/0.05	c 
0.01/0.05	c 
0.01/0.05	c Core size: 210	Core Weight: 1	Total Weight: 47
0.01/0.05	c Current CPU time: 0.045993 s
0.01/0.05	c
0.01/0.05	c ============================[ Search Statistics ]==============================
0.01/0.05	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.01/0.05	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.01/0.05	c ===============================================================================
0.01/0.05	c |         0 |    2829     3666    18243 |     5000        0   -nan |  0.000 % |
0.01/0.05	c ===============================================================================
0.01/0.06	c core #16
0.01/0.06	c 
0.01/0.06	c 
0.01/0.06	c Core size: 230	Core Weight: 1	Total Weight: 48
0.01/0.06	c Current CPU time: 0.049992 s
0.01/0.06	c
0.01/0.06	c ============================[ Search Statistics ]==============================
0.01/0.06	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.01/0.06	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.01/0.06	c ===============================================================================
0.01/0.06	c |         0 |    3028     3859    19266 |     5000        0   -nan |  0.000 % |
0.01/0.06	c ===============================================================================
0.01/0.06	c core #17
0.01/0.06	c 
0.01/0.06	c 
0.01/0.06	c Core size: 258	Core Weight: 1	Total Weight: 49
0.01/0.06	c Current CPU time: 0.056991 s
0.01/0.06	c
0.01/0.06	c ============================[ Search Statistics ]==============================
0.01/0.06	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.01/0.06	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.01/0.06	c ===============================================================================
0.01/0.06	c |         0 |    3251     4079    20446 |     5000        0   -nan |  0.000 % |
0.01/0.07	c ===============================================================================
0.01/0.07	c core #18
0.01/0.07	c 
0.01/0.07	c 
0.01/0.07	c Core size: 252	Core Weight: 1	Total Weight: 50
0.01/0.07	c Current CPU time: 0.06199 s
0.01/0.07	c
0.01/0.07	c ============================[ Search Statistics ]==============================
0.01/0.07	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.01/0.07	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.01/0.07	c ===============================================================================
0.01/0.07	c |         0 |    3458     4279    21512 |     5000        0   -nan |  0.000 % |
0.01/0.07	c ===============================================================================
0.01/0.08	c core #19
0.01/0.08	c 
0.01/0.08	c 
0.01/0.08	c Core size: 240	Core Weight: 1	Total Weight: 51
0.01/0.08	c Current CPU time: 0.067989 s
0.01/0.08	c
0.01/0.08	c ============================[ Search Statistics ]==============================
0.01/0.08	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.01/0.08	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.01/0.08	c ===============================================================================
0.01/0.08	c |         0 |    3657     4478    22568 |     5000        0   -nan |  0.000 % |
0.01/0.08	c ===============================================================================
0.01/0.08	c core #20
0.01/0.08	c 
0.01/0.08	c 
0.01/0.08	c Core size: 269	Core Weight: 1	Total Weight: 52
0.01/0.08	c Current CPU time: 0.073988 s
0.01/0.08	c
0.01/0.08	c ============================[ Search Statistics ]==============================
0.01/0.08	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.01/0.08	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.01/0.08	c ===============================================================================
0.01/0.08	c |         0 |    3882     4700    23785 |     5000        0   -nan |  0.000 % |
0.01/0.09	c ===============================================================================
0.01/0.09	c core #21
0.01/0.09	c 
0.01/0.09	c 
0.01/0.09	c Core size: 238	Core Weight: 1	Total Weight: 53
0.01/0.09	c Current CPU time: 0.081987 s
0.01/0.09	c
0.01/0.09	c ============================[ Search Statistics ]==============================
0.01/0.09	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.01/0.09	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.01/0.09	c ===============================================================================
0.01/0.09	c |         0 |    4065     4872    24710 |     5000        0   -nan |  0.000 % |
0.09/0.10	c ===============================================================================
0.09/0.10	c core #22
0.09/0.10	c 
0.09/0.10	c 
0.09/0.10	c Core size: 268	Core Weight: 1	Total Weight: 54
0.09/0.10	c Current CPU time: 0.087986 s
0.09/0.10	c
0.09/0.10	c ============================[ Search Statistics ]==============================
0.09/0.10	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.09/0.10	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.09/0.10	c ===============================================================================
0.09/0.10	c |         0 |    4281     5078    25837 |     5000        0   -nan |  0.000 % |
0.09/0.11	c ===============================================================================
0.09/0.11	c core #23
0.09/0.11	c 
0.09/0.11	c 
0.09/0.11	c Core size: 244	Core Weight: 1	Total Weight: 55
0.09/0.11	c Current CPU time: 0.095985 s
0.09/0.11	c
0.09/0.11	c ============================[ Search Statistics ]==============================
0.09/0.11	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.09/0.11	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.09/0.11	c ===============================================================================
0.09/0.11	c |         0 |    4488     5281    26922 |     5000        0   -nan |  0.000 % |
0.09/0.11	c ===============================================================================
0.09/0.12	c core #24
0.09/0.12	c 
0.09/0.12	c 
0.09/0.12	c Core size: 262	Core Weight: 1	Total Weight: 56
0.09/0.12	c Current CPU time: 0.101984 s
0.09/0.12	c
0.09/0.12	c ============================[ Search Statistics ]==============================
0.09/0.12	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.09/0.12	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.09/0.12	c ===============================================================================
0.09/0.12	c |         0 |    4715     5494    28097 |     5000        0   -nan |  0.000 % |
0.09/0.12	c ===============================================================================
0.09/0.12	c core #25
0.09/0.12	c 
0.09/0.12	c 
0.09/0.12	c Core size: 252	Core Weight: 1	Total Weight: 57
0.09/0.12	c Current CPU time: 0.106983 s
0.09/0.12	c
0.09/0.12	c ============================[ Search Statistics ]==============================
0.09/0.12	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.09/0.12	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.09/0.12	c ===============================================================================
0.09/0.12	c |         0 |    4924     5701    29207 |     5000        0   -nan |  0.000 % |
0.09/0.13	c ===============================================================================
0.09/0.13	c core #26
0.09/0.13	c 
0.09/0.13	c 
0.09/0.13	c Core size: 257	Core Weight: 1	Total Weight: 58
0.09/0.13	c Current CPU time: 0.114982 s
0.09/0.13	c
0.09/0.13	c ============================[ Search Statistics ]==============================
0.09/0.13	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.09/0.13	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.09/0.13	c ===============================================================================
0.09/0.13	c |         0 |    5143     5917    30372 |     5000        0   -nan |  0.000 % |
0.09/0.14	c ===============================================================================
0.09/0.14	c core #27
0.09/0.14	c 
0.09/0.14	c 
0.09/0.14	c Core size: 244	Core Weight: 1	Total Weight: 59
0.09/0.14	c Current CPU time: 0.121981 s
0.09/0.14	c
0.09/0.14	c ============================[ Search Statistics ]==============================
0.09/0.14	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.09/0.14	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.09/0.14	c ===============================================================================
0.09/0.14	c |         0 |    5349     6116    31450 |     5000        0   -nan |  0.000 % |
0.09/0.15	c ===============================================================================
0.09/0.15	c core #28
0.09/0.15	c 
0.09/0.15	c 
0.09/0.15	c Core size: 268	Core Weight: 1	Total Weight: 60
0.09/0.15	c Current CPU time: 0.12998 s
0.09/0.15	c
0.09/0.15	c ============================[ Search Statistics ]==============================
0.09/0.15	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.09/0.15	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.09/0.15	c ===============================================================================
0.09/0.15	c |         0 |    5555     6316    32528 |     5000        0   -nan |  0.000 % |
0.09/0.16	c ===============================================================================
0.09/0.16	c core #29
0.09/0.16	c 
0.09/0.16	c 
0.09/0.16	c Core size: 260	Core Weight: 1	Total Weight: 61
0.09/0.16	c Current CPU time: 0.138978 s
0.09/0.16	c
0.09/0.16	c ============================[ Search Statistics ]==============================
0.09/0.16	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.09/0.16	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.09/0.16	c ===============================================================================
0.09/0.16	c |         0 |    5774     6529    33680 |     5000        0   -nan |  0.000 % |
0.09/0.17	c ===============================================================================
0.09/0.17	c core #30
0.09/0.17	c 
0.09/0.17	c 
0.09/0.17	c Core size: 261	Core Weight: 1	Total Weight: 62
0.09/0.17	c Current CPU time: 0.147977 s
0.09/0.17	c
0.09/0.17	c ============================[ Search Statistics ]==============================
0.09/0.17	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.09/0.17	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.09/0.17	c ===============================================================================
0.09/0.17	c |         0 |    5989     6733    34793 |     5000        0   -nan |  0.000 % |
0.09/0.18	c ===============================================================================
0.09/0.19	c core #31
0.09/0.19	c 
0.09/0.19	c 
0.09/0.19	c Core size: 275	Core Weight: 1	Total Weight: 63
0.09/0.19	c Current CPU time: 0.156976 s
0.09/0.19	c
0.09/0.19	c ============================[ Search Statistics ]==============================
0.09/0.19	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.09/0.19	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.09/0.19	c ===============================================================================
0.09/0.19	c |         0 |    6213     6950    35989 |     5000        0   -nan |  0.000 % |
0.19/0.20	c ===============================================================================
0.19/0.20	c core #32
0.19/0.20	c 
0.19/0.20	c 
0.19/0.20	c Core size: 296	Core Weight: 1	Total Weight: 64
0.19/0.20	c Current CPU time: 0.169974 s
0.19/0.20	c
0.19/0.20	c ============================[ Search Statistics ]==============================
0.19/0.20	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.19/0.20	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.19/0.20	c ===============================================================================
0.19/0.20	c |         0 |    6458     7164    37202 |     5000        0   -nan |  0.000 % |
0.19/0.21	c ===============================================================================
0.19/0.21	c core #33
0.19/0.21	c 
0.19/0.21	c 
0.19/0.21	c Core size: 310	Core Weight: 1	Total Weight: 65
0.19/0.21	c Current CPU time: 0.180972 s
0.19/0.21	c
0.19/0.21	c ============================[ Search Statistics ]==============================
0.19/0.21	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.19/0.21	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.19/0.21	c ===============================================================================
0.19/0.21	c |         0 |    6712     7398    38524 |     5000        0   -nan |  0.000 % |
0.19/0.22	c ===============================================================================
0.19/0.23	c core #34
0.19/0.23	c 
0.19/0.23	c 
0.19/0.23	c Core size: 302	Core Weight: 1	Total Weight: 66
0.19/0.23	c Current CPU time: 0.19397 s
0.19/0.23	c
0.19/0.23	c ============================[ Search Statistics ]==============================
0.19/0.23	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.19/0.23	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.19/0.23	c ===============================================================================
0.19/0.23	c |         0 |    6968     7614    39762 |     5000        0   -nan |  0.000 % |
0.19/0.24	c |       101 |    6930     7614    39762 |     5500      101     12 |  0.545 % |
0.19/0.24	c ===============================================================================
0.19/0.25	c core #35
0.19/0.25	c 
0.19/0.25	c 
0.19/0.25	c Core size: 350	Core Weight: 1	Total Weight: 67
0.19/0.25	c Current CPU time: 0.208968 s
0.19/0.25	c
0.19/0.25	c ============================[ Search Statistics ]==============================
0.19/0.25	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.19/0.25	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.19/0.25	c ===============================================================================
0.19/0.25	c |         0 |    7258     7854    41168 |     5000        0   -nan |  0.000 % |
0.19/0.26	c |       100 |    7244     7854    41168 |     5500      100     10 |  0.193 % |
0.19/0.27	c |       250 |    7220     7854    41168 |     6050      250     12 |  0.551 % |
0.19/0.28	c ===============================================================================
0.19/0.28	c core #36
0.19/0.28	c 
0.19/0.28	c 
0.19/0.28	c Core size: 405	Core Weight: 1	Total Weight: 68
0.19/0.28	c Current CPU time: 0.238963 s
0.19/0.28	c
0.19/0.28	c ============================[ Search Statistics ]==============================
0.19/0.28	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.19/0.28	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.19/0.28	c ===============================================================================
0.19/0.28	c |         0 |    7598     8090    42670 |     5000        0   -nan |  0.000 % |
0.19/0.29	c |       104 |    7574     8090    42670 |     5500      104     14 |  0.342 % |
0.29/0.31	c |       258 |    7561     8090    42670 |     6050      258     17 |  0.500 % |
0.29/0.32	c |       483 |    7544     8090    42670 |     6655      483     20 |  0.869 % |
0.29/0.35	c |       821 |    7519     8090    42670 |     7320      821     22 |  1.053 % |
0.39/0.40	c |      1328 |    7518     8090    42670 |     8052     1328     23 |  1.053 % |
0.39/0.47	c |      2088 |    7227     8090    42670 |     8857     2088     25 |  4.883 % |
0.39/0.50	c ===============================================================================
0.49/0.51	c core #37
0.49/0.51	c 
0.49/0.51	c 
0.49/0.51	c Core size: 427	Core Weight: 1	Total Weight: 69
0.49/0.51	c Current CPU time: 0.45693 s
0.49/0.51	c
0.49/0.51	c ============================[ Search Statistics ]==============================
0.49/0.51	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.49/0.51	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.49/0.51	c ===============================================================================
0.49/0.51	c |         0 |    7973     8342    44299 |     5000        0   -nan |  0.000 % |
0.49/0.52	c |       100 |    7959     8342    44299 |     5500      100     15 |  0.176 % |
0.49/0.53	c |       254 |    7953     8342    44299 |     6050      254     17 |  0.251 % |
0.49/0.55	c |       480 |    7926     8342    44299 |     6655      480     23 |  0.602 % |
0.49/0.58	c |       819 |    7915     8342    44299 |     7320      819     28 |  0.778 % |
0.59/0.64	c |      1325 |    7909     8342    44299 |     8052     1325     33 |  0.828 % |
0.69/0.71	c |      2084 |    7907     8342    44299 |     8857     2084     35 |  0.828 % |
0.69/0.79	c |      3224 |    7907     8342    44299 |     9743     3224     34 |  0.828 % |
0.89/0.95	c |      4933 |    7903     8342    44299 |    10717     4933     37 |  0.978 % |
1.19/1.22	c |      7496 |    7891     8342    44299 |    11789     7496     39 |  1.029 % |
1.29/1.37	c ===============================================================================
1.39/1.41	c core #38
1.39/1.41	c 
1.39/1.41	c 
1.39/1.41	c Core size: 463	Core Weight: 1	Total Weight: 70
1.39/1.41	c Current CPU time: 1.3338 s
1.39/1.41	c
1.39/1.41	c ============================[ Search Statistics ]==============================
1.39/1.41	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.39/1.41	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.39/1.41	c ===============================================================================
1.39/1.41	c |         0 |    8391     8626    46146 |     5000        0   -nan |  0.000 % |
1.39/1.42	c |       101 |    8380     8626    46146 |     5500      101     17 |  0.143 % |
1.39/1.43	c |       251 |    8374     8626    46146 |     6050      251     19 |  0.215 % |
1.39/1.45	c |       479 |    8369     8626    46146 |     6655      479     23 |  0.287 % |
1.39/1.49	c |       818 |    8365     8626    46146 |     7320      818     25 |  0.310 % |
1.49/1.54	c |      1325 |    8365     8626    46146 |     8052     1325     35 |  0.310 % |
1.59/1.61	c |      2084 |    8365     8626    46146 |     8857     2084     41 |  0.310 % |
1.69/1.70	c |      3223 |    8365     8626    46146 |     9743     3223     46 |  0.310 % |
1.89/1.91	c |      4931 |    8365     8626    46146 |    10717     4931     53 |  0.310 % |
2.29/2.32	c |      7494 |    8365     8626    46146 |    11789     7494     57 |  0.310 % |
2.89/2.90	c |     11339 |    8365     8626    46146 |    12968    11339     60 |  0.310 % |
3.79/3.88	c |     17105 |    8365     8626    46146 |    14265    10320     57 |  0.310 % |
5.09/5.16	c |     25755 |    8365     8626    46146 |    15692    11540     56 |  0.310 % |
7.39/7.45	c |     38730 |    8365     8626    46146 |    17261    16356     62 |  0.310 % |
12.09/12.15	c |     58192 |    8335     8626    46146 |    18987    17668     80 |  0.715 % |
18.19/18.25	c |     87393 |    8330     8626    46146 |    20886    17291     88 |  0.739 % |
30.49/30.58	c |    131183 |    8329     8626    46146 |    22974    17276     77 |  0.740 % |
47.69/47.72	c ===============================================================================
48.69/48.78	c core #39
48.69/48.78	c 
48.69/48.78	c 
48.69/48.78	c Core size: 549	Core Weight: 1	Total Weight: 71
48.69/48.78	c Current CPU time: 48.3477 s
48.69/48.78	c
48.69/48.78	c ============================[ Search Statistics ]==============================
48.69/48.78	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
48.69/48.78	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
48.69/48.78	c ===============================================================================
48.69/48.78	c |         0 |    8885     8944    48297 |     5000        0   -nan |  0.000 % |
48.79/48.80	c |       100 |    8877     8944    48297 |     5500      100     25 |  0.135 % |
48.79/48.81	c |       250 |    8849     8944    48297 |     6050      250     27 |  0.405 % |
48.79/48.83	c |       475 |    8849     8944    48297 |     6655      475     33 |  0.405 % |
48.79/48.86	c |       814 |    8845     8944    48297 |     7320      814     36 |  0.450 % |
48.89/48.92	c |      1323 |    8845     8944    48297 |     8052     1323     35 |  0.450 % |
48.89/48.99	c |      2082 |    8845     8944    48297 |     8857     2082     39 |  0.450 % |
49.09/49.13	c |      3226 |    8845     8944    48297 |     9743     3226     44 |  0.450 % |
49.29/49.30	c |      4936 |    8843     8944    48297 |    10717     4936     48 |  0.473 % |
49.59/49.67	c |      7499 |    8843     8944    48297 |    11789     7499     48 |  0.473 % |
50.09/50.19	c |     11343 |    8843     8944    48297 |    12968    11343     55 |  0.473 % |
51.09/51.18	c |     17112 |    8843     8944    48297 |    14265    10064     63 |  0.473 % |
52.80/52.86	c |     25761 |    8843     8944    48297 |    15692    11073     67 |  0.473 % |
55.90/55.98	c |     38736 |    8843     8944    48297 |    17261    15649     77 |  0.473 % |
60.09/60.12	c |     58200 |    8843     8944    48297 |    18987    17306     84 |  0.473 % |
68.19/68.22	c |     87394 |    8843     8944    48297 |    20886    17100     78 |  0.473 % |
80.09/80.10	c |    131187 |    8837     8944    48297 |    22974    17310     84 |  0.540 % |
97.69/97.76	c |    196872 |    8837     8944    48297 |    25272    22506     98 |  0.540 % |
132.59/132.69	c |    295402 |    8837     8944    48297 |    27799    13938     76 |  0.540 % |
177.70/177.73	c |    443195 |    8837     8944    48297 |    30579    22342     85 |  0.540 % |
257.89/257.96	c |    664879 |    8837     8944    48297 |    33637    23678    105 |  0.540 % |
397.89/397.93	c |    997406 |    8837     8944    48297 |    37001    18059    116 |  0.540 % |
615.70/615.78	c |   1496200 |    8837     8944    48297 |    40701    30597    112 |  0.540 % |
957.90/957.91	c |   2244393 |    8837     8944    48297 |    44771    30168    106 |  0.540 % |
1440.82/1440.83	c |   3366670 |    8593     8944    48297 |    49248    37295    128 |  3.286 % |

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 /var/tmp/evaluation-result-3447200-1307907060/watcher-3447200-1307907060 -o /var/tmp/evaluation-result-3447200-1307907060/solver-3447200-1307907060 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=wbo -time-limit=1800 -search-mode=0 HOME/instance-3447200-1307907060.wbo 

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.08 2.03 1.94 2/177 13089
/proc/meminfo: memFree=1114076/32950928 swapFree=67050636/67111528
[pid=13089] ppid=13087 vsize=2240 CPUtime=0 cores=1,3,5,7
/proc/13089/stat : 13089 (wbo1.6) R 13087 13089 10203 0 -1 4202496 361 0 0 0 0 0 0 0 25 0 1 0 902304747 2293760 300 33554432000 4194304 5714214 140733644526768 18446744073709551615 4444352 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/13089/statm: 560 300 177 372 0 185 0

[startup+0.0208431 s]
/proc/loadavg: 2.08 2.03 1.94 2/177 13089
/proc/meminfo: memFree=1114076/32950928 swapFree=67050636/67111528
[pid=13089] ppid=13087 vsize=2924 CPUtime=0.01 cores=1,3,5,7
/proc/13089/stat : 13089 (wbo1.6) R 13087 13089 10203 0 -1 4202496 523 0 0 0 1 0 0 0 25 0 1 0 902304747 2994176 462 33554432000 4194304 5714214 140733644526768 18446744073709551615 4967849 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/13089/statm: 731 462 177 372 0 356 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2924

[startup+0.10083 s]
/proc/loadavg: 2.08 2.03 1.94 2/177 13089
/proc/meminfo: memFree=1114076/32950928 swapFree=67050636/67111528
[pid=13089] ppid=13087 vsize=4756 CPUtime=0.09 cores=1,3,5,7
/proc/13089/stat : 13089 (wbo1.6) R 13087 13089 10203 0 -1 4202496 968 0 0 0 8 1 0 0 25 0 1 0 902304747 4870144 907 33554432000 4194304 5714214 140733644526768 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/13089/statm: 1189 907 177 372 0 814 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4756

[startup+0.300796 s]
/proc/loadavg: 2.08 2.03 1.94 2/177 13089
/proc/meminfo: memFree=1114076/32950928 swapFree=67050636/67111528
[pid=13089] ppid=13087 vsize=6808 CPUtime=0.29 cores=1,3,5,7
/proc/13089/stat : 13089 (wbo1.6) R 13087 13089 10203 0 -1 4202496 1697 0 0 0 25 4 0 0 25 0 1 0 902304747 6971392 1437 33554432000 4194304 5714214 140733644526768 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/13089/statm: 1702 1437 178 372 0 1327 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6808

[startup+0.700729 s]
/proc/loadavg: 2.08 2.03 1.94 2/177 13089
/proc/meminfo: memFree=1114076/32950928 swapFree=67050636/67111528
[pid=13089] ppid=13087 vsize=7780 CPUtime=0.69 cores=1,3,5,7
/proc/13089/stat : 13089 (wbo1.6) R 13087 13089 10203 0 -1 4202496 1924 0 0 0 64 5 0 0 25 0 1 0 902304747 7966720 1664 33554432000 4194304 5714214 140733644526768 18446744073709551615 4313492 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/13089/statm: 1945 1664 178 372 0 1570 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7780

[startup+1.5006 s]
/proc/loadavg: 2.08 2.03 1.94 3/178 13090
/proc/meminfo: memFree=1106796/32950928 swapFree=67050636/67111528
[pid=13089] ppid=13087 vsize=11236 CPUtime=1.49 cores=1,3,5,7
/proc/13089/stat : 13089 (wbo1.6) R 13087 13089 10203 0 -1 4202496 2763 0 0 0 142 7 0 0 25 0 1 0 902304747 11505664 2503 33554432000 4194304 5714214 140733644526768 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/13089/statm: 2809 2503 178 372 0 2434 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 11236

[startup+3.10032 s]
/proc/loadavg: 2.08 2.03 1.94 3/178 13090
/proc/meminfo: memFree=1101588/32950928 swapFree=67050636/67111528
[pid=13089] ppid=13087 vsize=11396 CPUtime=3.09 cores=1,3,5,7
/proc/13089/stat : 13089 (wbo1.6) R 13087 13089 10203 0 -1 4202496 2804 0 0 0 300 9 0 0 25 0 1 0 902304747 11669504 2544 33554432000 4194304 5714214 140733644526768 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/13089/statm: 2849 2544 178 372 0 2474 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11396

[startup+6.30079 s]
/proc/loadavg: 2.07 2.03 1.94 3/178 13090
/proc/meminfo: memFree=1093576/32950928 swapFree=67050636/67111528
[pid=13089] ppid=13087 vsize=16068 CPUtime=6.29 cores=1,3,5,7
/proc/13089/stat : 13089 (wbo1.6) R 13087 13089 10203 0 -1 4202496 3972 0 0 0 618 11 0 0 25 0 1 0 902304747 16453632 3712 33554432000 4194304 5714214 140733644526768 18446744073709551615 4322676 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/13089/statm: 4017 3712 178 372 0 3642 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 16068

[startup+12.7007 s]
/proc/loadavg: 2.07 2.03 1.94 3/178 13090
/proc/meminfo: memFree=1074132/32950928 swapFree=67050636/67111528
[pid=13089] ppid=13087 vsize=25300 CPUtime=12.69 cores=1,3,5,7
/proc/13089/stat : 13089 (wbo1.6) R 13087 13089 10203 0 -1 4202496 6218 0 0 0 1254 15 0 0 25 0 1 0 902304747 25907200 5958 33554432000 4194304 5714214 140733644526768 18446744073709551615 4311589 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/13089/statm: 6325 5958 178 372 0 5950 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 25300

[startup+25.5006 s]
/proc/loadavg: 2.05 2.03 1.94 3/178 13091
/proc/meminfo: memFree=1047104/32950928 swapFree=67050636/67111528
[pid=13089] ppid=13087 vsize=35224 CPUtime=25.49 cores=1,3,5,7
/proc/13089/stat : 13089 (wbo1.6) R 13087 13089 10203 0 -1 4202496 8619 0 0 0 2526 23 0 0 25 0 1 0 902304747 36069376 8359 33554432000 4194304 5714214 140733644526768 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/13089/statm: 8806 8359 178 372 0 8431 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 35224

[startup+51.1003 s]
/proc/loadavg: 2.03 2.02 1.94 3/178 13091
/proc/meminfo: memFree=1009164/32950928 swapFree=67050636/67111528
[pid=13089] ppid=13087 vsize=56140 CPUtime=51.09 cores=1,3,5,7
/proc/13089/stat : 13089 (wbo1.6) R 13087 13089 10203 0 -1 4202496 13709 0 0 0 5072 37 0 0 25 0 1 0 902304747 57487360 13449 33554432000 4194304 5714214 140733644526768 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/13089/statm: 14035 13449 178 372 0 13660 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 56140

[startup+102.307 s]
/proc/loadavg: 2.01 2.02 1.94 3/178 13093
/proc/meminfo: memFree=1007508/32950928 swapFree=67050636/67111528
[pid=13089] ppid=13087 vsize=56140 CPUtime=102.3 cores=1,3,5,7
/proc/13089/stat : 13089 (wbo1.6) R 13087 13089 10203 0 -1 4202496 14022 0 0 0 10168 62 0 0 25 0 1 0 902304747 57487360 13762 33554432000 4194304 5714214 140733644526768 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/13089/statm: 14035 13762 178 372 0 13660 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 56140

[startup+162.301 s]
/proc/loadavg: 2.08 2.03 1.94 3/178 13094
/proc/meminfo: memFree=923772/32950928 swapFree=67050636/67111528
[pid=13089] ppid=13087 vsize=80308 CPUtime=162.29 cores=1,3,5,7
/proc/13089/stat : 13089 (wbo1.6) R 13087 13089 10203 0 -1 4202496 19780 0 0 0 16140 89 0 0 25 0 1 0 902304747 82235392 19520 33554432000 4194304 5714214 140733644526768 18446744073709551615 4311907 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/13089/statm: 20077 19520 178 372 0 19702 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 80308

[startup+222.3 s]
/proc/loadavg: 2.03 2.02 1.94 3/178 13096
/proc/meminfo: memFree=881196/32950928 swapFree=67050636/67111528
[pid=13089] ppid=13087 vsize=114424 CPUtime=222.3 cores=1,3,5,7
/proc/13089/stat : 13089 (wbo1.6) R 13087 13089 10203 0 -1 4202496 28182 0 0 0 22115 115 0 0 25 0 1 0 902304747 117170176 27922 33554432000 4194304 5714214 140733644526768 18446744073709551615 4319243 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/13089/statm: 28606 27922 178 372 0 28231 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 114424

[startup+282.3 s]
/proc/loadavg: 2.01 2.02 1.94 3/178 13098
/proc/meminfo: memFree=858584/32950928 swapFree=67050636/67111528
[pid=13089] ppid=13087 vsize=135012 CPUtime=282.29 cores=1,3,5,7
/proc/13089/stat : 13089 (wbo1.6) R 13087 13089 10203 0 -1 4202496 33192 0 0 0 28090 139 0 0 25 0 1 0 902304747 138252288 32932 33554432000 4194304 5714214 140733644526768 18446744073709551615 4319440 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/13089/statm: 33753 32932 178 372 0 33378 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 135012

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 1.94 3/178 13099
/proc/meminfo: memFree=831508/32950928 swapFree=67050636/67111528
[pid=13089] ppid=13087 vsize=159532 CPUtime=342.3 cores=1,3,5,7
/proc/13089/stat : 13089 (wbo1.6) R 13087 13089 10203 0 -1 4202496 39162 0 0 0 34072 158 0 0 25 0 1 0 902304747 163360768 38902 33554432000 4194304 5714214 140733644526768 18446744073709551615 4319771 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/13089/statm: 39883 38902 178 372 0 39508 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 159532

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 1.94 3/178 13101
/proc/meminfo: memFree=809776/32950928 swapFree=67050636/67111528
[pid=13089] ppid=13087 vsize=181992 CPUtime=402.3 cores=1,3,5,7
/proc/13089/stat : 13089 (wbo1.6) R 13087 13089 10203 0 -1 4202496 44608 0 0 0 40051 179 0 0 25 0 1 0 902304747 186359808 44348 33554432000 4194304 5714214 140733644526768 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/13089/statm: 45498 44348 178 372 0 45123 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 181992

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 13102
/proc/meminfo: memFree=786680/32950928 swapFree=67050636/67111528
[pid=13089] ppid=13087 vsize=205576 CPUtime=462.3 cores=1,3,5,7
/proc/13089/stat : 13089 (wbo1.6) R 13087 13089 10203 0 -1 4202496 50374 0 0 0 46032 198 0 0 25 0 1 0 902304747 210509824 50114 33554432000 4194304 5714214 140733644526768 18446744073709551615 4319341 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/13089/statm: 51394 50114 178 372 0 51019 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 205576

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 13104
/proc/meminfo: memFree=764076/32950928 swapFree=67050636/67111528
[pid=13089] ppid=13087 vsize=228016 CPUtime=522.3 cores=1,3,5,7
/proc/13089/stat : 13089 (wbo1.6) R 13087 13089 10203 0 -1 4202496 55954 0 0 0 52013 217 0 0 25 0 1 0 902304747 233488384 55694 33554432000 4194304 5714214 140733644526768 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/13089/statm: 57004 55694 178 372 0 56629 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 228016

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 13106
/proc/meminfo: memFree=747048/32950928 swapFree=67050636/67111528
[pid=13089] ppid=13087 vsize=245336 CPUtime=582.3 cores=1,3,5,7
/proc/13089/stat : 13089 (wbo1.6) R 13087 13089 10203 0 -1 4202496 60176 0 0 0 57996 234 0 0 25 0 1 0 902304747 251224064 59916 33554432000 4194304 5714214 140733644526768 18446744073709551615 4311321 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/13089/statm: 61334 59916 178 372 0 60959 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 245336

[startup+642.301 s]

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

[startup+822.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 13112
/proc/meminfo: memFree=672864/32950928 swapFree=67050636/67111528
[pid=13089] ppid=13087 vsize=319064 CPUtime=822.3 cores=1,3,5,7
/proc/13089/stat : 13089 (wbo1.6) R 13087 13089 10203 0 -1 4202496 78544 0 0 0 81921 309 0 0 25 0 1 0 902304747 326721536 78284 33554432000 4194304 5714214 140733644526768 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/13089/statm: 79766 78284 178 372 0 79391 0
Current children cumulated CPU time (s) 822.3
Current children cumulated vsize (KiB) 319064

[startup+882.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 13114
/proc/meminfo: memFree=656704/32950928 swapFree=67050636/67111528
[pid=13089] ppid=13087 vsize=336044 CPUtime=882.31 cores=1,3,5,7
/proc/13089/stat : 13089 (wbo1.6) R 13087 13089 10203 0 -1 4202496 82638 0 0 0 87903 328 0 0 25 0 1 0 902304747 344109056 82378 33554432000 4194304 5714214 140733644526768 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/13089/statm: 84011 82378 178 372 0 83636 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 336044

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 13115
/proc/meminfo: memFree=635212/32950928 swapFree=67050636/67111528
[pid=13089] ppid=13087 vsize=358544 CPUtime=942.31 cores=1,3,5,7
/proc/13089/stat : 13089 (wbo1.6) R 13087 13089 10203 0 -1 4202496 88189 0 0 0 93883 348 0 0 25 0 1 0 902304747 367149056 87929 33554432000 4194304 5714214 140733644526768 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/13089/statm: 89636 87929 178 372 0 89261 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 358544

[startup+1002.3 s]
/proc/loadavg: 1.43 1.84 1.89 2/172 13142
/proc/meminfo: memFree=968472/32950928 swapFree=67050636/67111528
[pid=13089] ppid=13087 vsize=376016 CPUtime=1002.31 cores=1,3,5,7
/proc/13089/stat : 13089 (wbo1.6) R 13087 13089 10203 0 -1 4202496 92526 0 0 0 99845 386 0 0 25 0 1 0 902304747 385040384 92266 33554432000 4194304 5714214 140733644526768 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/13089/statm: 94004 92266 178 372 0 93629 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 376016

[startup+1062.3 s]
/proc/loadavg: 1.16 1.69 1.83 2/172 13143
/proc/meminfo: memFree=951084/32950928 swapFree=67050636/67111528
[pid=13089] ppid=13087 vsize=394304 CPUtime=1062.3 cores=1,3,5,7
/proc/13089/stat : 13089 (wbo1.6) R 13087 13089 10203 0 -1 4202496 97014 0 0 0 105802 428 0 0 25 0 1 0 902304747 403767296 96754 33554432000 4194304 5714214 140733644526768 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/13089/statm: 98576 96754 178 372 0 98201 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 394304

[startup+1122.3 s]
/proc/loadavg: 1.06 1.56 1.78 2/172 13145
/proc/meminfo: memFree=921416/32950928 swapFree=67050636/67111528
[pid=13089] ppid=13087 vsize=423804 CPUtime=1122.31 cores=1,3,5,7
/proc/13089/stat : 13089 (wbo1.6) R 13087 13089 10203 0 -1 4202496 104294 0 0 0 111756 475 0 0 25 0 1 0 902304747 433975296 104034 33554432000 4194304 5714214 140733644526768 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/13089/statm: 105951 104034 178 372 0 105576 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 423804

[startup+1182.3 s]
/proc/loadavg: 1.02 1.45 1.72 2/172 13147
/proc/meminfo: memFree=907380/32950928 swapFree=67050636/67111528
[pid=13089] ppid=13087 vsize=438560 CPUtime=1182.31 cores=1,3,5,7
/proc/13089/stat : 13089 (wbo1.6) R 13087 13089 10203 0 -1 4202496 107903 0 0 0 117729 502 0 0 25 0 1 0 902304747 449085440 107643 33554432000 4194304 5714214 140733644526768 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/13089/statm: 109640 107643 178 372 0 109265 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 438560

[startup+1242.3 s]
/proc/loadavg: 1.00 1.37 1.68 2/172 13148
/proc/meminfo: memFree=888260/32950928 swapFree=67050636/67111528
[pid=13089] ppid=13087 vsize=458052 CPUtime=1242.32 cores=1,3,5,7
/proc/13089/stat : 13089 (wbo1.6) R 13087 13089 10203 0 -1 4202496 112714 0 0 0 123697 535 0 0 25 0 1 0 902304747 469045248 112454 33554432000 4194304 5714214 140733644526768 18446744073709551615 4319395 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/13089/statm: 114513 112454 178 372 0 114138 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 458052

[startup+1302.3 s]
/proc/loadavg: 1.00 1.30 1.63 2/172 13150
/proc/meminfo: memFree=869140/32950928 swapFree=67050636/67111528
[pid=13089] ppid=13087 vsize=476876 CPUtime=1302.32 cores=1,3,5,7
/proc/13089/stat : 13089 (wbo1.6) R 13087 13089 10203 0 -1 4202496 117371 0 0 0 129658 574 0 0 25 0 1 0 902304747 488321024 117111 33554432000 4194304 5714214 140733644526768 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/13089/statm: 119219 117111 178 372 0 118844 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 476876

[startup+1362.3 s]
/proc/loadavg: 1.05 1.26 1.59 2/172 13151
/proc/meminfo: memFree=844808/32950928 swapFree=67050636/67111528
[pid=13089] ppid=13087 vsize=501932 CPUtime=1362.31 cores=1,3,5,7
/proc/13089/stat : 13089 (wbo1.6) R 13087 13089 10203 0 -1 4202496 123523 0 0 0 135617 614 0 0 25 0 1 0 902304747 513978368 123263 33554432000 4194304 5714214 140733644526768 18446744073709551615 4319266 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/13089/statm: 125483 123263 178 372 0 125108 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 501932

[startup+1422.31 s]
/proc/loadavg: 1.02 1.21 1.55 2/172 13153
/proc/meminfo: memFree=828912/32950928 swapFree=67050636/67111528
[pid=13089] ppid=13087 vsize=518092 CPUtime=1422.32 cores=1,3,5,7
/proc/13089/stat : 13089 (wbo1.6) R 13087 13089 10203 0 -1 4202496 127438 0 0 0 141586 646 0 0 25 0 1 0 902304747 530526208 127178 33554432000 4194304 5714214 140733644526768 18446744073709551615 4319341 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/13089/statm: 129523 127178 178 372 0 129148 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 518092

[startup+1482.3 s]
/proc/loadavg: 1.00 1.17 1.52 2/172 13155
/proc/meminfo: memFree=809292/32950928 swapFree=67050636/67111528
[pid=13089] ppid=13087 vsize=538108 CPUtime=1482.31 cores=1,3,5,7
/proc/13089/stat : 13089 (wbo1.6) R 13087 13089 10203 0 -1 4202496 132393 0 0 0 147560 671 0 0 25 0 1 0 902304747 551022592 132133 33554432000 4194304 5714214 140733644526768 18446744073709551615 4319737 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/13089/statm: 134527 132133 178 372 0 134152 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 538108

[startup+1542.3 s]
/proc/loadavg: 1.00 1.13 1.48 2/172 13156
/proc/meminfo: memFree=794632/32950928 swapFree=67050636/67111528
[pid=13089] ppid=13087 vsize=553492 CPUtime=1542.32 cores=1,3,5,7
/proc/13089/stat : 13089 (wbo1.6) R 13087 13089 10203 0 -1 4202496 136118 0 0 0 153530 702 0 0 25 0 1 0 902304747 566775808 135858 33554432000 4194304 5714214 140733644526768 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/13089/statm: 138373 135858 178 372 0 137998 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 553492

[startup+1602.3 s]
/proc/loadavg: 1.00 1.11 1.45 2/172 13158
/proc/meminfo: memFree=779356/32950928 swapFree=67050636/67111528
[pid=13089] ppid=13087 vsize=568844 CPUtime=1602.31 cores=1,3,5,7
/proc/13089/stat : 13089 (wbo1.6) R 13087 13089 10203 0 -1 4202496 139865 0 0 0 159497 734 0 0 25 0 1 0 902304747 582496256 139605 33554432000 4194304 5714214 140733644526768 18446744073709551615 4322994 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/13089/statm: 142211 139605 178 372 0 141836 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 568844

[startup+1662.3 s]
/proc/loadavg: 1.00 1.08 1.42 2/172 13159
/proc/meminfo: memFree=764568/32950928 swapFree=67050636/67111528
[pid=13089] ppid=13087 vsize=583968 CPUtime=1662.32 cores=1,3,5,7
/proc/13089/stat : 13089 (wbo1.6) R 13087 13089 10203 0 -1 4202496 143556 0 0 0 165466 766 0 0 25 0 1 0 902304747 597983232 143296 33554432000 4194304 5714214 140733644526768 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/13089/statm: 145992 143296 178 372 0 145617 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 583968

[startup+1722.3 s]
/proc/loadavg: 1.00 1.07 1.39 2/172 13161
/proc/meminfo: memFree=748048/32950928 swapFree=67050636/67111528
[pid=13089] ppid=13087 vsize=600476 CPUtime=1722.32 cores=1,3,5,7
/proc/13089/stat : 13089 (wbo1.6) R 13087 13089 10203 0 -1 4202496 147714 0 0 0 171429 803 0 0 25 0 1 0 902304747 614887424 147454 33554432000 4194304 5714214 140733644526768 18446744073709551615 4319341 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/13089/statm: 150119 147454 178 372 0 149744 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 600476

[startup+1782.3 s]
/proc/loadavg: 1.00 1.05 1.36 2/172 13163
/proc/meminfo: memFree=725208/32950928 swapFree=67050636/67111528
[pid=13089] ppid=13087 vsize=623248 CPUtime=1782.32 cores=1,3,5,7
/proc/13089/stat : 13089 (wbo1.6) R 13087 13089 10203 0 -1 4202496 153388 0 0 0 177390 842 0 0 25 0 1 0 902304747 638205952 153128 33554432000 4194304 5714214 140733644526768 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/13089/statm: 155812 153128 178 372 0 155437 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 623248



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 1.00 1.05 1.35 2/172 13163
/proc/meminfo: memFree=720116/32950928 swapFree=67050636/67111528
[pid=13089] ppid=13087 vsize=628456 CPUtime=1800.02 cores=1,3,5,7
/proc/13089/stat : 13089 (wbo1.6) R 13087 13089 10203 0 -1 4202496 154676 0 0 0 179149 853 0 0 25 0 1 0 902304747 643538944 154416 33554432000 4194304 5714214 140733644526768 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/13089/statm: 157114 154416 178 372 0 156739 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 628456

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.03
CPU time (s): 1800.06
CPU user time (s): 1791.5
CPU system time (s): 8.5597
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 628456

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.5
system time used= 8.5597
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 154676
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= 25
involuntary context switches= 1793

runsolver used 2.37264 second user time and 5.82411 second system time

The end

Launcher Data 

Begin job on node126 at 2011-06-12 21:31:00
IDJOB=3447200
IDBENCH=79393
IDSOLVER=1943
FILE ID=node126/3447200-1307907060
RUNJOBID= node126-1307904091-12019
PBS_JOBID= 13559580
Free space on /var/tmp= 2888 MiB

SOLVER NAME= wbo 1.6
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/jnh/normalized-jnh04_wcsp.wbo
COMMAND LINE= wbo1.6 -file-format=wbo -time-limit=TIMEOUT -search-mode=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3447200-1307907060/watcher-3447200-1307907060 -o /var/tmp/evaluation-result-3447200-1307907060/solver-3447200-1307907060 -C 1800 -W 1900 -M 15500  wbo1.6 -file-format=wbo -time-limit=1800 -search-mode=0 HOME/instance-3447200-1307907060.wbo

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

MD5SUM BENCH= 54ef51abb9454409d6f66c5b853cdf79
RANDOM SEED=1439556550

node126.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.783
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.783
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.783
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.783
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.783
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.80
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.783
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.783
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.783
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:       1114760 kB
Buffers:         57352 kB
Cached:       30581004 kB
SwapCached:      14604 kB
Active:       15972384 kB
Inactive:     14904920 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:       1114760 kB
SwapTotal:    67111528 kB
SwapFree:     67050636 kB
Dirty:            4300 kB
Writeback:           0 kB
AnonPages:      236852 kB
Mapped:           9932 kB
Slab:           894520 kB
PageTables:       4596 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   428652 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /var/tmp at the end= 2888 MiB
End job on node126 at 2011-06-12 22:01:03