Trace number 3461460

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.6? (TO) 1800.1 1800.05

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-jnh204.opb
MD5SUM2f6896589d1c92e524e35ee4712737ba
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark93
Best CPU time to get the best result obtained on this benchmark0.009997
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 93
Optimality of the best value was proved YES
Number of variables200
Total number of constraints900
Number of constraints which are clauses900
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint11
Number of terms in the objective function 200
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 200
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
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 opb file format. File HOME/instance-3461460-1307092688.opb.
0.00/0.00	c Instance file HOME/instance-3461460-1307092688.opb
0.00/0.00	c File size is 38766 bytes.
0.00/0.00	c Highest Coefficient sum: 12
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:        900                                                 |
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      900     4114 |     5000        0   -nan |  0.000 % |
0.00/0.02	c core #1
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 11	Core Weight: 1	Total Weight: 1
0.00/0.02	c Current CPU time: 0.001999 s
0.00/0.02	c
0.00/0.02	c core #2
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 6	Core Weight: 1	Total Weight: 2
0.00/0.02	c Current CPU time: 0.001999 s
0.00/0.02	c
0.00/0.02	c core #3
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 10	Core Weight: 1	Total Weight: 3
0.00/0.02	c Current CPU time: 0.002999 s
0.00/0.02	c
0.00/0.02	c core #4
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 5	Core Weight: 1	Total Weight: 4
0.00/0.02	c Current CPU time: 0.002999 s
0.00/0.02	c
0.00/0.02	c core #5
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 5	Core Weight: 1	Total Weight: 5
0.00/0.02	c Current CPU time: 0.003999 s
0.00/0.02	c
0.00/0.02	c core #6
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 3	Core Weight: 1	Total Weight: 6
0.00/0.02	c Current CPU time: 0.003999 s
0.00/0.02	c
0.00/0.02	c core #7
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 5	Core Weight: 1	Total Weight: 7
0.00/0.02	c Current CPU time: 0.003999 s
0.00/0.02	c
0.00/0.02	c core #8
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 4	Core Weight: 1	Total Weight: 8
0.00/0.02	c Current CPU time: 0.004999 s
0.00/0.02	c
0.00/0.02	c core #9
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 4	Core Weight: 1	Total Weight: 9
0.00/0.02	c Current CPU time: 0.004999 s
0.00/0.02	c
0.00/0.02	c core #10
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 4	Core Weight: 1	Total Weight: 10
0.00/0.02	c Current CPU time: 0.005999 s
0.00/0.02	c
0.00/0.02	c core #11
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 4	Core Weight: 1	Total Weight: 11
0.00/0.02	c Current CPU time: 0.005999 s
0.00/0.02	c
0.00/0.02	c core #12
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 6	Core Weight: 1	Total Weight: 12
0.00/0.02	c Current CPU time: 0.005999 s
0.00/0.02	c
0.00/0.02	c core #13
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 4	Core Weight: 1	Total Weight: 13
0.00/0.02	c Current CPU time: 0.006998 s
0.00/0.02	c
0.00/0.02	c core #14
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 6	Core Weight: 1	Total Weight: 14
0.00/0.02	c Current CPU time: 0.006998 s
0.00/0.02	c
0.00/0.02	c core #15
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 8	Core Weight: 1	Total Weight: 15
0.00/0.02	c Current CPU time: 0.007998 s
0.00/0.02	c
0.00/0.02	c core #16
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 5	Core Weight: 1	Total Weight: 16
0.00/0.02	c Current CPU time: 0.007998 s
0.00/0.02	c
0.00/0.02	c core #17
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 3	Core Weight: 1	Total Weight: 17
0.00/0.02	c Current CPU time: 0.008998 s
0.00/0.02	c
0.00/0.02	c core #18
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 6	Core Weight: 1	Total Weight: 18
0.00/0.02	c Current CPU time: 0.008998 s
0.00/0.02	c
0.00/0.02	c core #19
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 6	Core Weight: 1	Total Weight: 19
0.00/0.02	c Current CPU time: 0.008998 s
0.00/0.02	c
0.00/0.02	c core #20
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 4	Core Weight: 1	Total Weight: 20
0.00/0.02	c Current CPU time: 0.009998 s
0.00/0.02	c
0.00/0.02	c core #21
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 4	Core Weight: 1	Total Weight: 21
0.00/0.02	c Current CPU time: 0.009998 s
0.00/0.02	c
0.00/0.02	c core #22
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 4	Core Weight: 1	Total Weight: 22
0.00/0.02	c Current CPU time: 0.010998 s
0.00/0.02	c
0.00/0.02	c core #23
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 5	Core Weight: 1	Total Weight: 23
0.00/0.02	c Current CPU time: 0.010998 s
0.00/0.02	c
0.00/0.02	c core #24
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 3	Core Weight: 1	Total Weight: 24
0.00/0.02	c Current CPU time: 0.011998 s
0.00/0.02	c
0.00/0.02	c core #25
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 4	Core Weight: 1	Total Weight: 25
0.00/0.02	c Current CPU time: 0.011998 s
0.00/0.02	c
0.00/0.02	c core #26
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 8	Core Weight: 1	Total Weight: 26
0.00/0.02	c Current CPU time: 0.011998 s
0.00/0.02	c
0.00/0.02	c core #27
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 5	Core Weight: 1	Total Weight: 27
0.00/0.02	c Current CPU time: 0.011998 s
0.00/0.02	c
0.00/0.02	c core #28
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 6	Core Weight: 1	Total Weight: 28
0.00/0.02	c Current CPU time: 0.011998 s
0.00/0.02	c
0.00/0.02	c core #29
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 3	Core Weight: 1	Total Weight: 29
0.00/0.02	c Current CPU time: 0.012998 s
0.00/0.02	c
0.00/0.02	c core #30
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 3	Core Weight: 1	Total Weight: 30
0.00/0.02	c Current CPU time: 0.012998 s
0.00/0.02	c
0.00/0.02	c core #31
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 4	Core Weight: 1	Total Weight: 31
0.00/0.02	c Current CPU time: 0.013997 s
0.00/0.02	c
0.00/0.02	c core #32
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 3	Core Weight: 1	Total Weight: 32
0.00/0.02	c Current CPU time: 0.013997 s
0.00/0.02	c
0.00/0.02	c core #33
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 4	Core Weight: 1	Total Weight: 33
0.00/0.02	c Current CPU time: 0.014997 s
0.00/0.02	c
0.00/0.02	c core #34
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 4	Core Weight: 1	Total Weight: 34
0.00/0.02	c Current CPU time: 0.014997 s
0.00/0.02	c
0.00/0.02	c core #35
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 4	Core Weight: 1	Total Weight: 35
0.00/0.02	c Current CPU time: 0.015997 s
0.00/0.02	c
0.00/0.02	c core #36
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 4	Core Weight: 1	Total Weight: 36
0.00/0.02	c Current CPU time: 0.015997 s
0.00/0.02	c
0.00/0.02	c core #37
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 5	Core Weight: 1	Total Weight: 37
0.00/0.02	c Current CPU time: 0.016997 s
0.00/0.02	c
0.00/0.02	c core #38
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 6	Core Weight: 1	Total Weight: 38
0.00/0.02	c Current CPU time: 0.016997 s
0.00/0.02	c
0.00/0.02	c core #39
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 10	Core Weight: 1	Total Weight: 39
0.00/0.02	c Current CPU time: 0.017997 s
0.00/0.02	c
0.00/0.02	c core #40
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 37	Core Weight: 1	Total Weight: 40
0.00/0.02	c Current CPU time: 0.017997 s
0.00/0.02	c
0.00/0.02	c core #41
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 24	Core Weight: 1	Total Weight: 41
0.00/0.02	c Current CPU time: 0.017997 s
0.00/0.02	c
0.00/0.02	c core #42
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 66	Core Weight: 1	Total Weight: 42
0.00/0.02	c Current CPU time: 0.018997 s
0.00/0.02	c
0.00/0.02	c ============================[ Search Statistics ]==============================
0.00/0.02	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.02	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.02	c ===============================================================================
0.00/0.02	c |         0 |     382     1142     4669 |     5000        0   -nan |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c core #43
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 12	Core Weight: 1	Total Weight: 43
0.00/0.02	c Current CPU time: 0.018997 s
0.00/0.02	c
0.00/0.02	c ============================[ Search Statistics ]==============================
0.00/0.02	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.02	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.02	c ===============================================================================
0.00/0.02	c |         0 |     391     1143     4688 |     5000        0   -nan |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c core #44
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 27	Core Weight: 1	Total Weight: 44
0.00/0.02	c Current CPU time: 0.019996 s
0.00/0.02	c
0.00/0.02	c ============================[ Search Statistics ]==============================
0.00/0.02	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.02	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.02	c ===============================================================================
0.00/0.02	c |         0 |     412     1144     4731 |     5000        0   -nan |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c core #45
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 63	Core Weight: 1	Total Weight: 45
0.00/0.02	c Current CPU time: 0.020996 s
0.00/0.02	c
0.00/0.02	c ============================[ Search Statistics ]==============================
0.00/0.02	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.02	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.02	c ===============================================================================
0.00/0.02	c |         0 |     460     1145     4827 |     5000        0   -nan |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c core #46
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 26	Core Weight: 1	Total Weight: 46
0.00/0.02	c Current CPU time: 0.021996 s
0.00/0.02	c
0.00/0.02	c ============================[ Search Statistics ]==============================
0.00/0.02	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.02	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.02	c ===============================================================================
0.00/0.02	c |         0 |     475     1146     4858 |     5000        0   -nan |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c core #47
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 82	Core Weight: 1	Total Weight: 47
0.00/0.02	c Current CPU time: 0.022996 s
0.00/0.02	c
0.00/0.02	c ============================[ Search Statistics ]==============================
0.00/0.02	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.02	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.02	c ===============================================================================
0.00/0.02	c |         0 |     538     1147     4986 |     5000        0   -nan |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c core #48
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 87	Core Weight: 1	Total Weight: 48
0.00/0.02	c Current CPU time: 0.023996 s
0.00/0.02	c
0.00/0.02	c ============================[ Search Statistics ]==============================
0.00/0.02	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.02	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.02	c ===============================================================================
0.00/0.02	c |         0 |     596     1148     5104 |     5000        0   -nan |  0.000 % |
0.00/0.03	c |       106 |     596     1148     5104 |     5500      106     28 |  0.335 % |
0.00/0.03	c ===============================================================================
0.00/0.03	c core #49
0.00/0.03	c 
0.00/0.03	c 
0.00/0.03	c Core size: 128	Core Weight: 1	Total Weight: 49
0.00/0.03	c Current CPU time: 0.028995 s
0.00/0.03	c
0.00/0.03	c ============================[ Search Statistics ]==============================
0.00/0.03	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.03	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.03	c ===============================================================================
0.00/0.03	c |         0 |     716     1151     5350 |     5000        0   -nan |  0.000 % |
0.00/0.03	c |       100 |     716     1151     5350 |     5500      100     38 |  0.140 % |
0.00/0.03	c |       250 |     716     1151     5350 |     6050      250     22 |  0.140 % |
0.00/0.04	c ===============================================================================
0.00/0.04	c core #50
0.00/0.04	c 
0.00/0.04	c 
0.00/0.04	c Core size: 121	Core Weight: 1	Total Weight: 50
0.00/0.04	c Current CPU time: 0.037994 s
0.00/0.04	c
0.00/0.04	c ============================[ Search Statistics ]==============================
0.00/0.04	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.04	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.04	c ===============================================================================
0.00/0.04	c |         0 |     773     1161     5486 |     5000        0   -nan |  0.000 % |
0.00/0.04	c |       103 |     773     1161     5486 |     5500      103     74 |  0.000 % |
0.00/0.05	c |       253 |     773     1161     5486 |     6050      253     73 |  0.000 % |
0.00/0.05	c |       480 |     773     1161     5486 |     6655      480     51 |  0.000 % |
0.00/0.06	c ===============================================================================
0.00/0.06	c core #51
0.00/0.06	c 
0.00/0.06	c 
0.00/0.06	c Core size: 113	Core Weight: 1	Total Weight: 51
0.00/0.06	c Current CPU time: 0.056991 s
0.00/0.06	c
0.00/0.06	c ============================[ Search Statistics ]==============================
0.00/0.06	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.06	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.06	c ===============================================================================
0.00/0.06	c |         0 |     818     1174     5612 |     5000        0   -nan |  0.000 % |
0.00/0.06	c |       104 |     818     1174     5612 |     5500      104     54 |  0.000 % |
0.00/0.07	c |       254 |     818     1174     5612 |     6050      254     36 |  0.000 % |
0.00/0.07	c ===============================================================================
0.00/0.07	c core #52
0.00/0.07	c 
0.00/0.07	c 
0.00/0.07	c Core size: 108	Core Weight: 1	Total Weight: 52
0.00/0.07	c Current CPU time: 0.066989 s
0.00/0.07	c
0.00/0.07	c ============================[ Search Statistics ]==============================
0.00/0.07	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.07	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.07	c ===============================================================================
0.00/0.07	c |         0 |     847     1183     5691 |     5000        0   -nan |  0.000 % |
0.00/0.07	c |       105 |     847     1183     5691 |     5500      105     56 |  0.000 % |
0.00/0.08	c |       255 |     847     1183     5691 |     6050      255     52 |  0.000 % |
0.00/0.08	c |       480 |     847     1183     5691 |     6655      480     32 |  0.001 % |
0.00/0.09	c ===============================================================================
0.00/0.09	c core #53
0.00/0.09	c 
0.00/0.09	c 
0.00/0.09	c Core size: 170	Core Weight: 1	Total Weight: 53
0.00/0.09	c Current CPU time: 0.082987 s
0.00/0.09	c
0.00/0.09	c ============================[ Search Statistics ]==============================
0.00/0.09	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.09	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.09	c ===============================================================================
0.00/0.09	c |         0 |     914     1195     5856 |     5000        0   -nan |  0.000 % |
0.00/0.09	c |       100 |     914     1195     5856 |     5500      100     63 |  0.000 % |
0.00/0.09	c |       250 |     914     1195     5856 |     6050      250     54 |  0.000 % |
0.00/0.10	c |       475 |     914     1195     5856 |     6655      475     34 |  0.000 % |
0.00/0.10	c ===============================================================================
0.00/0.10	c core #54
0.00/0.10	c 
0.00/0.10	c 
0.00/0.10	c Core size: 99	Core Weight: 1	Total Weight: 54
0.00/0.10	c Current CPU time: 0.097985 s
0.00/0.10	c
0.00/0.10	c ============================[ Search Statistics ]==============================
0.00/0.10	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.10	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.10	c ===============================================================================
0.00/0.10	c |         0 |     970     1203     5988 |     5000        0   -nan |  0.000 % |
0.00/0.11	c |       101 |     970     1203     5988 |     5500      101     47 |  0.000 % |
0.00/0.11	c |       251 |     966     1203     5988 |     6050      251     29 |  0.412 % |
0.10/0.11	c |       478 |     966     1203     5988 |     6655      478     21 |  0.412 % |
0.10/0.12	c |       816 |     964     1203     5988 |     7320      816     19 |  0.619 % |
0.10/0.13	c ===============================================================================
0.10/0.14	c core #55
0.10/0.14	c 
0.10/0.14	c 
0.10/0.14	c Core size: 95	Core Weight: 1	Total Weight: 55
0.10/0.14	c Current CPU time: 0.12598 s
0.10/0.14	c
0.10/0.14	c ============================[ Search Statistics ]==============================
0.10/0.14	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.10/0.14	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.10/0.14	c ===============================================================================
0.10/0.14	c |         0 |    1040     1240     6237 |     5000        0   -nan |  0.000 % |
0.10/0.14	c |       100 |    1040     1240     6237 |     5500      100     67 |  0.574 % |
0.10/0.14	c |       252 |    1040     1240     6237 |     6050      252     40 |  0.574 % |
0.10/0.15	c |       480 |    1034     1240     6237 |     6655      480     34 |  1.147 % |
0.10/0.15	c |       817 |    1034     1240     6237 |     7320      817     27 |  1.148 % |
0.10/0.17	c |      1323 |    1034     1240     6237 |     8052     1323     30 |  1.148 % |
0.10/0.19	c |      2084 |    1034     1240     6237 |     8857     2084     29 |  1.148 % |
0.19/0.23	c |      3225 |    1026     1240     6237 |     9743     3225     28 |  1.912 % |
0.19/0.24	c ===============================================================================
0.19/0.24	c core #56
0.19/0.24	c 
0.19/0.24	c 
0.19/0.24	c Core size: 229	Core Weight: 1	Total Weight: 56
0.19/0.24	c Current CPU time: 0.227965 s
0.19/0.24	c
0.19/0.24	c ============================[ Search Statistics ]==============================
0.19/0.24	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.19/0.24	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.19/0.24	c ===============================================================================
0.19/0.24	c |         0 |    1129     1283     6541 |     5000        0   -nan |  0.000 % |
0.19/0.25	c |       100 |    1129     1283     6541 |     5500      100     92 |  1.052 % |
0.19/0.25	c |       251 |    1129     1283     6541 |     6050      251     59 |  1.052 % |
0.19/0.26	c |       476 |    1127     1283     6541 |     6655      476     46 |  1.227 % |
0.19/0.27	c |       813 |    1127     1283     6541 |     7320      813     44 |  1.227 % |
0.19/0.28	c |      1321 |    1127     1283     6541 |     8052     1321     41 |  1.227 % |
0.29/0.30	c |      2080 |    1127     1283     6541 |     8857     2080     39 |  1.227 % |
0.29/0.35	c |      3219 |    1127     1283     6541 |     9743     3219     41 |  1.227 % |
0.39/0.41	c |      4928 |    1127     1283     6541 |    10717     4928     39 |  1.227 % |
0.49/0.57	c |      7490 |    1127     1283     6541 |    11789     7490     43 |  1.227 % |
0.79/0.83	c |     11334 |    1123     1283     6541 |    12968    11334     46 |  1.579 % |
1.21/1.25	c |     17100 |    1106     1283     6541 |    14265    10476     49 |  3.334 % |
2.09/2.12	c |     25758 |    1081     1283     6541 |    15692    11835     55 |  5.975 % |
2.09/2.13	c ===============================================================================
2.19/2.22	c core #57
2.19/2.22	c 
2.19/2.22	c 
2.19/2.22	c Core size: 271	Core Weight: 1	Total Weight: 57
2.19/2.22	c Current CPU time: 2.15867 s
2.19/2.22	c
2.19/2.22	c ============================[ Search Statistics ]==============================
2.19/2.22	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.19/2.22	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.19/2.22	c ===============================================================================
2.19/2.22	c |         0 |    1269     1301     6858 |     5000        0   -nan |  0.000 % |
2.19/2.22	c |       100 |    1269     1301     6858 |     5500      100     26 |  1.092 % |
2.19/2.23	c |       253 |    1269     1301     6858 |     6050      253     30 |  1.091 % |
2.19/2.23	c |       484 |    1265     1301     6858 |     6655      484     30 |  1.403 % |
2.19/2.25	c |       822 |    1265     1301     6858 |     7320      822     37 |  1.403 % |
2.19/2.26	c |      1328 |    1265     1301     6858 |     8052     1328     37 |  1.405 % |
2.19/2.29	c |      2087 |    1265     1301     6858 |     8857     2087     46 |  1.403 % |
2.32/2.34	c |      3227 |    1265     1301     6858 |     9743     3227     54 |  1.403 % |
2.39/2.42	c |      4937 |    1265     1301     6858 |    10717     4937     52 |  1.403 % |
2.49/2.56	c |      7499 |    1265     1301     6858 |    11789     7499     48 |  1.403 % |
2.89/2.90	c |     11343 |    1265     1301     6858 |    12968    11343     54 |  1.403 % |
3.29/3.36	c |     17110 |    1265     1301     6858 |    14265    10408     73 |  1.403 % |
4.52/4.57	c |     25760 |    1265     1301     6858 |    15692    11710     79 |  1.403 % |
5.89/5.96	c |     38738 |    1265     1301     6858 |    17261     8606     63 |  1.405 % |
8.09/8.17	c |     58200 |    1263     1301     6858 |    18987    10374     51 |  1.559 % |
12.29/12.38	c |     87392 |    1263     1301     6858 |    20886    10608     80 |  1.559 % |
17.71/17.78	c |    131185 |    1261     1301     6858 |    22974    11958     50 |  1.715 % |
23.09/23.16	c ===============================================================================
23.39/23.48	c core #58
23.39/23.48	c 
23.39/23.48	c 
23.39/23.48	c Core size: 271	Core Weight: 1	Total Weight: 58
23.39/23.48	c Current CPU time: 23.1355 s
23.39/23.48	c
23.39/23.48	c ============================[ Search Statistics ]==============================
23.39/23.48	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
23.39/23.48	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
23.39/23.48	c ===============================================================================
23.39/23.48	c |         0 |    1383     1326     7143 |     5000        0   -nan |  0.000 % |
23.39/23.48	c |       100 |    1383     1326     7143 |     5500      100     20 |  1.568 % |
23.39/23.48	c |       250 |    1383     1326     7143 |     6050      250     34 |  1.566 % |
23.39/23.49	c |       475 |    1383     1326     7143 |     6655      475     41 |  1.566 % |
23.49/23.50	c |       812 |    1383     1326     7143 |     7320      812     46 |  1.566 % |
23.49/23.51	c |      1319 |    1383     1326     7143 |     8052     1319     41 |  1.566 % |
23.49/23.54	c |      2079 |    1381     1326     7143 |     8857     2079     39 |  1.709 % |
23.49/23.58	c |      3219 |    1381     1326     7143 |     9743     3219     39 |  1.708 % |
23.59/23.65	c |      4929 |    1381     1326     7143 |    10717     4929     40 |  1.708 % |
23.69/23.78	c |      7491 |    1381     1326     7143 |    11789     7491     43 |  1.709 % |
24.09/24.12	c |     11338 |    1381     1326     7143 |    12968    11338     56 |  1.708 % |
24.69/24.79	c |     17105 |    1381     1326     7143 |    14265    10348     80 |  1.708 % |
25.49/25.59	c |     25754 |    1381     1326     7143 |    15692    11725     70 |  1.708 % |
27.09/27.17	c |     38729 |    1381     1326     7143 |    17261     8603     61 |  1.708 % |
30.39/30.43	c |     58190 |    1381     1326     7143 |    18987    10260     82 |  1.708 % |
35.39/35.48	c |     87382 |    1381     1326     7143 |    20886    10313     87 |  1.708 % |
43.29/43.37	c |    131174 |    1381     1326     7143 |    22974    11254     59 |  1.709 % |
57.89/57.92	c |    196860 |    1381     1326     7143 |    25272    17851     67 |  1.708 % |
88.59/88.64	c |    295386 |    1381     1326     7143 |    27799    24358     89 |  1.708 % |
127.79/127.88	c |    443176 |    1381     1326     7143 |    30579    20535     93 |  1.709 % |
178.89/178.95	c |    664861 |    1363     1326     7143 |    33637    25733     71 |  2.990 % |
268.18/268.20	c |    997387 |    1347     1326     7143 |    37001    29850     71 |  4.131 % |
327.39/327.49	c ===============================================================================
331.49/331.55	c core #59
331.49/331.55	c 
331.49/331.55	c 
331.49/331.55	c Core size: 239	Core Weight: 1	Total Weight: 59
331.49/331.55	c Current CPU time: 328.181 s
331.49/331.55	c
331.49/331.55	c ============================[ Search Statistics ]==============================
331.49/331.55	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
331.49/331.55	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
331.49/331.55	c ===============================================================================
331.49/331.55	c |         0 |    1519     1345     7447 |     5000        0   -nan |  0.000 % |
331.49/331.55	c |       101 |    1519     1345     7447 |     5500      101     41 |  1.558 % |
331.49/331.56	c |       251 |    1519     1345     7447 |     6050      251     40 |  1.555 % |
331.49/331.56	c |       476 |    1519     1345     7447 |     6655      476     52 |  1.555 % |
331.49/331.58	c |       813 |    1519     1345     7447 |     7320      813     58 |  1.555 % |
331.49/331.59	c |      1319 |    1517     1345     7447 |     8052     1319     60 |  1.685 % |
331.58/331.62	c |      2084 |    1517     1345     7447 |     8857     2084     65 |  1.685 % |
331.58/331.67	c |      3223 |    1517     1345     7447 |     9743     3223     59 |  1.685 % |
331.69/331.74	c |      4933 |    1517     1345     7447 |    10717     4933     61 |  1.685 % |
331.88/331.90	c |      7499 |    1515     1345     7447 |    11789     7499     60 |  1.815 % |
332.19/332.22	c |     11343 |    1515     1345     7447 |    12968    11343     71 |  1.815 % |
332.78/332.85	c |     17113 |    1512     1345     7447 |    14265    10424     83 |  2.204 % |
333.68/333.76	c |     25764 |    1509     1345     7447 |    15692    11796     85 |  2.204 % |
335.48/335.52	c |     38740 |    1509     1345     7447 |    17261     8494     89 |  2.204 % |
338.38/338.41	c |     58201 |    1509     1345     7447 |    18987    10255     85 |  2.204 % |
343.58/343.66	c |     87393 |    1509     1345     7447 |    20886    10415     49 |  2.204 % |
351.88/352.01	c |    131182 |    1509     1345     7447 |    22974    11654     78 |  2.204 % |
366.19/366.24	c |    196866 |    1509     1345     7447 |    25272    18488     63 |  2.204 % |
389.69/389.73	c |    295392 |    1509     1345     7447 |    27799    24374     78 |  2.204 % |
427.89/428.00	c |    443181 |    1509     1345     7447 |    30579    25201    109 |  2.204 % |
497.89/497.97	c |    664868 |    1509     1345     7447 |    33637    17972    111 |  2.204 % |
597.59/597.69	c |    997395 |    1509     1345     7447 |    37001    18826     87 |  2.205 % |
756.30/756.35	c |   1496186 |    1509     1345     7447 |    40701    36050     85 |  2.204 % |
1001.81/1001.81	c |   2244372 |    1509     1345     7447 |    44771    23242    126 |  2.204 % |
1401.92/1401.92	c |   3366646 |    1507     1345     7447 |    49248    24688     93 |  2.335 % |

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3461460-1307092688/watcher-3461460-1307092688 -o /tmp/evaluation-result-3461460-1307092688/solver-3461460-1307092688 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461460-1307092688.opb 

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

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


[startup+0 s]
/proc/loadavg: 1.93 2.02 1.99 5/553 3535
/proc/meminfo: memFree=25068012/32950928 swapFree=67056580/67111528
[pid=3535] ppid=3531 vsize=2236 CPUtime=0 cores=1,3,5,7
/proc/3535/stat : 3535 (wbo1.6) R 3531 3535 3492 0 -1 4202496 348 0 0 0 0 0 0 0 21 0 1 0 820865881 2289664 291 33554432000 4194304 5714214 140733534881312 18446744073709551615 5013195 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3535/statm: 559 291 175 372 0 184 0

[startup+0.114574 s]
/proc/loadavg: 1.93 2.02 1.99 5/553 3535
/proc/meminfo: memFree=25068012/32950928 swapFree=67056580/67111528
[pid=3535] ppid=3531 vsize=2788 CPUtime=0.1 cores=1,3,5,7
/proc/3535/stat : 3535 (wbo1.6) R 3531 3535 3492 0 -1 4202496 515 0 0 0 10 0 0 0 21 0 1 0 820865881 2854912 458 33554432000 4194304 5714214 140733534881312 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3535/statm: 697 458 180 372 0 322 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2788

[startup+0.200561 s]
/proc/loadavg: 1.93 2.02 1.99 5/553 3535
/proc/meminfo: memFree=25068012/32950928 swapFree=67056580/67111528
[pid=3535] ppid=3531 vsize=3056 CPUtime=0.19 cores=1,3,5,7
/proc/3535/stat : 3535 (wbo1.6) R 3531 3535 3492 0 -1 4202496 576 0 0 0 18 1 0 0 21 0 1 0 820865881 3129344 519 33554432000 4194304 5714214 140733534881312 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3535/statm: 764 519 180 372 0 389 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 3056

[startup+0.300536 s]
/proc/loadavg: 1.93 2.02 1.99 5/553 3535
/proc/meminfo: memFree=25068012/32950928 swapFree=67056580/67111528
[pid=3535] ppid=3531 vsize=3872 CPUtime=0.29 cores=1,3,5,7
/proc/3535/stat : 3535 (wbo1.6) R 3531 3535 3492 0 -1 4202496 792 0 0 0 27 2 0 0 21 0 1 0 820865881 3964928 735 33554432000 4194304 5714214 140733534881312 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3535/statm: 968 735 180 372 0 593 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3872

[startup+0.700462 s]
/proc/loadavg: 1.93 2.02 1.99 5/553 3535
/proc/meminfo: memFree=25068012/32950928 swapFree=67056580/67111528
[pid=3535] ppid=3531 vsize=6316 CPUtime=0.69 cores=1,3,5,7
/proc/3535/stat : 3535 (wbo1.6) R 3531 3535 3492 0 -1 4202496 1378 0 0 0 66 3 0 0 22 0 1 0 820865881 6467584 1321 33554432000 4194304 5714214 140733534881312 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3535/statm: 1579 1321 180 372 0 1204 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6316

[startup+1.50031 s]
/proc/loadavg: 1.93 2.02 1.99 4/555 3537
/proc/meminfo: memFree=25052372/32950928 swapFree=67056580/67111528
[pid=3535] ppid=3531 vsize=9504 CPUtime=1.49 cores=1,3,5,7
/proc/3535/stat : 3535 (wbo1.6) R 3531 3535 3492 0 -1 4202496 2164 0 0 0 145 4 0 0 25 0 1 0 820865881 9732096 2107 33554432000 4194304 5714214 140733534881312 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3535/statm: 2376 2107 180 372 0 2001 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9504

[startup+3.101 s]
/proc/loadavg: 1.93 2.02 1.99 3/555 3537
/proc/meminfo: memFree=25043932/32950928 swapFree=67056580/67111528
[pid=3535] ppid=3531 vsize=11520 CPUtime=3.09 cores=1,3,5,7
/proc/3535/stat : 3535 (wbo1.6) R 3531 3535 3492 0 -1 4202496 2719 0 0 0 302 7 0 0 25 0 1 0 820865881 11796480 2633 33554432000 4194304 5714214 140733534881312 18446744073709551615 4319260 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3535/statm: 2880 2633 180 372 0 2505 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11520

[startup+6.3004 s]
/proc/loadavg: 1.94 2.02 1.99 4/555 3537
/proc/meminfo: memFree=25036060/32950928 swapFree=67056580/67111528
[pid=3535] ppid=3531 vsize=15236 CPUtime=6.28 cores=1,3,5,7
/proc/3535/stat : 3535 (wbo1.6) R 3531 3535 3492 0 -1 4202496 3653 0 0 0 618 10 0 0 25 0 1 0 820865881 15601664 3567 33554432000 4194304 5714214 140733534881312 18446744073709551615 4319414 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3535/statm: 3809 3567 180 372 0 3434 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 15236

[startup+12.7002 s]
/proc/loadavg: 1.94 2.02 1.99 3/555 3537
/proc/meminfo: memFree=25014304/32950928 swapFree=67056580/67111528
[pid=3535] ppid=3531 vsize=26132 CPUtime=12.68 cores=1,3,5,7
/proc/3535/stat : 3535 (wbo1.6) R 3531 3535 3492 0 -1 4202496 6295 0 0 0 1251 17 0 0 25 0 1 0 820865881 26759168 6209 33554432000 4194304 5714214 140733534881312 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3535/statm: 6533 6209 180 372 0 6158 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 26132

[startup+25.5007 s]
/proc/loadavg: 1.95 2.02 1.99 3/555 3538
/proc/meminfo: memFree=24986460/32950928 swapFree=67056580/67111528
[pid=3535] ppid=3531 vsize=41308 CPUtime=25.49 cores=1,3,5,7
/proc/3535/stat : 3535 (wbo1.6) R 3531 3535 3492 0 -1 4202496 10074 0 0 0 2520 29 0 0 25 0 1 0 820865881 42299392 9942 33554432000 4194304 5714214 140733534881312 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3535/statm: 10327 9942 180 372 0 9952 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 41308

[startup+51.1008 s]
/proc/loadavg: 2.09 2.05 2.00 3/555 3538
/proc/meminfo: memFree=24973500/32950928 swapFree=67056580/67111528
[pid=3535] ppid=3531 vsize=43992 CPUtime=51.09 cores=1,3,5,7
/proc/3535/stat : 3535 (wbo1.6) R 3531 3535 3492 0 -1 4202496 10821 0 0 0 5057 52 0 0 25 0 1 0 820865881 45047808 10689 33554432000 4194304 5714214 140733534881312 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3535/statm: 10998 10689 180 372 0 10623 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 43992

[startup+102.301 s]
/proc/loadavg: 2.04 2.04 2.00 4/555 3540
/proc/meminfo: memFree=24894112/32950928 swapFree=67056580/67111528
[pid=3535] ppid=3531 vsize=78872 CPUtime=102.29 cores=1,3,5,7
/proc/3535/stat : 3535 (wbo1.6) R 3531 3535 3492 0 -1 4202496 19277 0 0 0 10138 91 0 0 25 0 1 0 820865881 80764928 19145 33554432000 4194304 5714214 140733534881312 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3535/statm: 19718 19145 180 372 0 19343 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 78872

[startup+162.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/555 3541
/proc/meminfo: memFree=24799860/32950928 swapFree=67056580/67111528
[pid=3535] ppid=3531 vsize=115444 CPUtime=162.29 cores=1,3,5,7
/proc/3535/stat : 3535 (wbo1.6) R 3531 3535 3492 0 -1 4202496 28154 0 0 0 16089 140 0 0 25 0 1 0 820865881 118214656 28022 33554432000 4194304 5714214 140733534881312 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3535/statm: 28861 28022 180 372 0 28486 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 115444

[startup+222.322 s]
/proc/loadavg: 2.00 2.02 2.00 4/555 3543
/proc/meminfo: memFree=24711548/32950928 swapFree=67056580/67111528
[pid=3535] ppid=3531 vsize=158900 CPUtime=222.31 cores=1,3,5,7
/proc/3535/stat : 3535 (wbo1.6) R 3531 3535 3492 0 -1 4202496 38759 0 0 0 22036 195 0 0 25 0 1 0 820865881 162713600 38627 33554432000 4194304 5714214 140733534881312 18446744073709551615 4300272 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3535/statm: 39725 38627 180 372 0 39350 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 158900

[startup+282.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/555 3544
/proc/meminfo: memFree=24643560/32950928 swapFree=67056580/67111528
[pid=3535] ppid=3531 vsize=194852 CPUtime=282.28 cores=1,3,5,7
/proc/3535/stat : 3535 (wbo1.6) R 3531 3535 3492 0 -1 4202496 47541 0 0 0 27986 242 0 0 25 0 1 0 820865881 199528448 47409 33554432000 4194304 5714214 140733534881312 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/3535/statm: 48713 47409 180 372 0 48338 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 194852

[startup+342.301 s]
/proc/loadavg: 2.00 2.01 2.00 4/555 3546
/proc/meminfo: memFree=24562432/32950928 swapFree=67056580/67111528
[pid=3535] ppid=3531 vsize=242336 CPUtime=342.28 cores=1,3,5,7
/proc/3535/stat : 3535 (wbo1.6) R 3531 3535 3492 0 -1 4202496 59373 0 0 0 33935 293 0 0 25 0 1 0 820865881 248152064 59167 33554432000 4194304 5714214 140733534881312 18446744073709551615 4319428 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/3535/statm: 60584 59167 180 372 0 60209 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 242336

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/555 3548
/proc/meminfo: memFree=24532248/32950928 swapFree=67056580/67111528
[pid=3535] ppid=3531 vsize=242336 CPUtime=402.29 cores=1,3,5,7
/proc/3535/stat : 3535 (wbo1.6) R 3531 3535 3492 0 -1 4202496 59437 0 0 0 39882 347 0 0 25 0 1 0 820865881 248152064 59231 33554432000 4194304 5714214 140733534881312 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/3535/statm: 60584 59231 180 372 0 60209 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 242336

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 4/555 3549
/proc/meminfo: memFree=24529232/32950928 swapFree=67056580/67111528
[pid=3535] ppid=3531 vsize=242336 CPUtime=462.28 cores=1,3,5,7
/proc/3535/stat : 3535 (wbo1.6) R 3531 3535 3492 0 -1 4202496 59745 0 0 0 45841 387 0 0 25 0 1 0 820865881 248152064 59539 33554432000 4194304 5714214 140733534881312 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/3535/statm: 60584 59539 180 372 0 60209 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 242336

[startup+522.3 s]
/proc/loadavg: 2.13 2.04 2.01 4/555 3554
/proc/meminfo: memFree=24528088/32950928 swapFree=67056580/67111528
[pid=3535] ppid=3531 vsize=242336 CPUtime=522.29 cores=1,3,5,7
/proc/3535/stat : 3535 (wbo1.6) R 3531 3535 3492 0 -1 4202496 59897 0 0 0 51803 426 0 0 25 0 1 0 820865881 248152064 59691 33554432000 4194304 5714214 140733534881312 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/3535/statm: 60584 59691 180 372 0 60209 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 242336

[startup+582.301 s]
/proc/loadavg: 2.13 2.06 2.02 4/555 3555
/proc/meminfo: memFree=24527060/32950928 swapFree=67056580/67111528
[pid=3535] ppid=3531 vsize=242336 CPUtime=582.29 cores=1,3,5,7
/proc/3535/stat : 3535 (wbo1.6) R 3531 3535 3492 0 -1 4202496 60154 0 0 0 57767 462 0 0 25 0 1 0 820865881 248152064 59948 33554432000 4194304 5714214 140733534881312 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/3535/statm: 60584 59948 180 372 0 60209 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 242336

[startup+642.3 s]

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

[startup+882.321 s]
/proc/loadavg: 2.00 2.02 2.00 3/555 3563
/proc/meminfo: memFree=24346124/32950928 swapFree=67056580/67111528
[pid=3535] ppid=3531 vsize=337768 CPUtime=882.32 cores=1,3,5,7
/proc/3535/stat : 3535 (wbo1.6) R 3531 3535 3492 0 -1 4202496 83675 0 0 0 87564 668 0 0 25 0 1 0 820865881 345874432 83469 33554432000 4194304 5714214 140733534881312 18446744073709551615 4319355 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/3535/statm: 84442 83469 180 372 0 84067 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 337768

[startup+942.301 s]
/proc/loadavg: 2.00 2.01 2.00 4/555 3565
/proc/meminfo: memFree=24298728/32950928 swapFree=67056580/67111528
[pid=3535] ppid=3531 vsize=360444 CPUtime=942.31 cores=1,3,5,7
/proc/3535/stat : 3535 (wbo1.6) R 3531 3535 3492 0 -1 4202496 89176 0 0 0 93526 705 0 0 25 0 1 0 820865881 369094656 88970 33554432000 4194304 5714214 140733534881312 18446744073709551615 4319768 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/3535/statm: 90111 88970 180 372 0 89736 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 360444

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/555 3567
/proc/meminfo: memFree=24224168/32950928 swapFree=67056580/67111528
[pid=3535] ppid=3531 vsize=386944 CPUtime=1002.31 cores=1,3,5,7
/proc/3535/stat : 3535 (wbo1.6) R 3531 3535 3492 0 -1 4202496 95763 0 0 0 99476 755 0 0 25 0 1 0 820865881 396230656 95557 33554432000 4194304 5714214 140733534881312 18446744073709551615 4319240 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/3535/statm: 96736 95557 180 372 0 96361 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 386944

[startup+1062.3 s]
/proc/loadavg: 2.25 2.06 2.02 4/555 3568
/proc/meminfo: memFree=24159660/32950928 swapFree=67056580/67111528
[pid=3535] ppid=3531 vsize=405660 CPUtime=1062.31 cores=1,3,5,7
/proc/3535/stat : 3535 (wbo1.6) R 3531 3535 3492 0 -1 4202496 100297 0 0 0 105444 787 0 0 25 0 1 0 820865881 415395840 100091 33554432000 4194304 5714214 140733534881312 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/3535/statm: 101415 100091 180 372 0 101040 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 405660

[startup+1122.3 s]
/proc/loadavg: 2.20 2.08 2.02 4/555 3570
/proc/meminfo: memFree=24092296/32950928 swapFree=67056580/67111528
[pid=3535] ppid=3531 vsize=434328 CPUtime=1122.31 cores=1,3,5,7
/proc/3535/stat : 3535 (wbo1.6) R 3531 3535 3492 0 -1 4202496 107318 0 0 0 111408 823 0 0 25 0 1 0 820865881 444751872 107112 33554432000 4194304 5714214 140733534881312 18446744073709551615 4319280 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/3535/statm: 108582 107112 180 372 0 108207 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 434328

[startup+1182.3 s]
/proc/loadavg: 2.07 2.06 2.02 4/555 3571
/proc/meminfo: memFree=24036596/32950928 swapFree=67056580/67111528
[pid=3535] ppid=3531 vsize=458332 CPUtime=1182.31 cores=1,3,5,7
/proc/3535/stat : 3535 (wbo1.6) R 3531 3535 3492 0 -1 4202496 113263 0 0 0 117378 853 0 0 25 0 1 0 820865881 469331968 113057 33554432000 4194304 5714214 140733534881312 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/3535/statm: 114583 113057 180 372 0 114208 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 458332

[startup+1242.3 s]
/proc/loadavg: 2.02 2.05 2.01 4/555 3573
/proc/meminfo: memFree=23983356/32950928 swapFree=67056580/67111528
[pid=3535] ppid=3531 vsize=481372 CPUtime=1242.32 cores=1,3,5,7
/proc/3535/stat : 3535 (wbo1.6) R 3531 3535 3492 0 -1 4202496 118837 0 0 0 123342 890 0 0 25 0 1 0 820865881 492924928 118631 33554432000 4194304 5714214 140733534881312 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/3535/statm: 120343 118631 180 372 0 119968 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 481372

[startup+1302.3 s]
/proc/loadavg: 2.01 2.04 2.01 4/555 3575
/proc/meminfo: memFree=23935584/32950928 swapFree=67056580/67111528
[pid=3535] ppid=3531 vsize=506992 CPUtime=1302.32 cores=1,3,5,7
/proc/3535/stat : 3535 (wbo1.6) R 3531 3535 3492 0 -1 4202496 125185 0 0 0 129306 926 0 0 25 0 1 0 820865881 519159808 124979 33554432000 4194304 5714214 140733534881312 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/3535/statm: 126748 124979 180 372 0 126373 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 506992

[startup+1362.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/555 3576
/proc/meminfo: memFree=23881608/32950928 swapFree=67056580/67111528
[pid=3535] ppid=3531 vsize=529964 CPUtime=1362.32 cores=1,3,5,7
/proc/3535/stat : 3535 (wbo1.6) R 3531 3535 3492 0 -1 4202496 130916 0 0 0 135273 959 0 0 25 0 1 0 820865881 542683136 130710 33554432000 4194304 5714214 140733534881312 18446744073709551615 4319446 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/3535/statm: 132491 130710 180 372 0 132116 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 529964

[startup+1422.3 s]
/proc/loadavg: 2.00 2.02 2.00 4/555 3578
/proc/meminfo: memFree=23816596/32950928 swapFree=67056580/67111528
[pid=3535] ppid=3531 vsize=561096 CPUtime=1422.33 cores=1,3,5,7
/proc/3535/stat : 3535 (wbo1.6) R 3531 3535 3492 0 -1 4202496 138601 0 0 0 141231 1002 0 0 25 0 1 0 820865881 574562304 138395 33554432000 4194304 5714214 140733534881312 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/3535/statm: 140274 138395 180 372 0 139899 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 561096

[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 4/555 3579
/proc/meminfo: memFree=23765720/32950928 swapFree=67056580/67111528
[pid=3535] ppid=3531 vsize=590112 CPUtime=1482.33 cores=1,3,5,7
/proc/3535/stat : 3535 (wbo1.6) R 3531 3535 3492 0 -1 4202496 145605 0 0 0 147192 1041 0 0 25 0 1 0 820865881 604274688 145399 33554432000 4194304 5714214 140733534881312 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/3535/statm: 147528 145399 180 372 0 147153 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 590112

[startup+1542.32 s]
/proc/loadavg: 2.00 2.01 2.00 4/555 3581
/proc/meminfo: memFree=23719808/32950928 swapFree=67056580/67111528
[pid=3535] ppid=3531 vsize=615928 CPUtime=1542.35 cores=1,3,5,7
/proc/3535/stat : 3535 (wbo1.6) R 3531 3535 3492 0 -1 4202496 151967 0 0 0 153163 1072 0 0 25 0 1 0 820865881 630710272 151761 33554432000 4194304 5714214 140733534881312 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/3535/statm: 153982 151761 180 372 0 153607 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 615928

[startup+1602.3 s]
/proc/loadavg: 2.14 2.06 2.02 3/555 3583
/proc/meminfo: memFree=23679064/32950928 swapFree=67056580/67111528
[pid=3535] ppid=3531 vsize=635804 CPUtime=1602.33 cores=1,3,5,7
/proc/3535/stat : 3535 (wbo1.6) R 3531 3535 3492 0 -1 4202496 156810 0 0 0 159131 1102 0 0 25 0 1 0 820865881 651063296 156604 33554432000 4194304 5714214 140733534881312 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/3535/statm: 158951 156604 180 372 0 158576 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 635804

[startup+1662.3 s]
/proc/loadavg: 2.11 2.07 2.02 4/555 3584
/proc/meminfo: memFree=23657952/32950928 swapFree=67056580/67111528
[pid=3535] ppid=3531 vsize=657336 CPUtime=1662.33 cores=1,3,5,7
/proc/3535/stat : 3535 (wbo1.6) R 3531 3535 3492 0 -1 4202496 162042 0 0 0 165104 1129 0 0 25 0 1 0 820865881 673112064 161836 33554432000 4194304 5714214 140733534881312 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/3535/statm: 164334 161836 180 372 0 163959 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 657336

[startup+1722.3 s]
/proc/loadavg: 2.04 2.06 2.02 4/555 3586
/proc/meminfo: memFree=23638820/32950928 swapFree=67056580/67111528
[pid=3535] ppid=3531 vsize=676712 CPUtime=1722.34 cores=1,3,5,7
/proc/3535/stat : 3535 (wbo1.6) R 3531 3535 3492 0 -1 4202496 166811 0 0 0 171071 1163 0 0 25 0 1 0 820865881 692953088 166605 33554432000 4194304 5714214 140733534881312 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/3535/statm: 169178 166605 180 372 0 168803 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 676712

[startup+1782.3 s]
/proc/loadavg: 2.01 2.05 2.01 4/555 3587
/proc/meminfo: memFree=23615840/32950928 swapFree=67056580/67111528
[pid=3535] ppid=3531 vsize=697792 CPUtime=1782.34 cores=1,3,5,7
/proc/3535/stat : 3535 (wbo1.6) R 3531 3535 3492 0 -1 4202496 171927 0 0 0 177041 1193 0 0 25 0 1 0 820865881 714539008 171721 33554432000 4194304 5714214 140733534881312 18446744073709551615 4319397 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/3535/statm: 174448 171721 180 372 0 174073 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 697792



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.01 2.04 2.01 4/555 3588
/proc/meminfo: memFree=23609632/32950928 swapFree=67056580/67111528
[pid=3535] ppid=3531 vsize=705564 CPUtime=1800.05 cores=1,3,5,7
/proc/3535/stat : 3535 (wbo1.6) R 3531 3535 3492 0 -1 4202496 173821 0 0 0 178803 1202 0 0 25 0 1 0 820865881 722497536 173615 33554432000 4194304 5714214 140733534881312 18446744073709551615 4319243 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/3535/statm: 176391 173615 180 372 0 176016 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 705564

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

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

[startup+1800 s]
/proc/loadavg: 2.01 2.04 2.01 4/555 3588
/proc/meminfo: memFree=23609632/32950928 swapFree=67056580/67111528
[pid=3535] ppid=3531 vsize=705564 CPUtime=1800.05 cores=1,3,5,7
/proc/3535/stat : 3535 (wbo1.6) R 3531 3535 3492 0 -1 4202496 173821 0 0 0 178803 1202 0 0 25 0 1 0 820865881 722497536 173615 33554432000 4194304 5714214 140733534881312 18446744073709551615 4319243 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/3535/statm: 176391 173615 180 372 0 176016 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 705564

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.05
CPU time (s): 1800.1
CPU user time (s): 1788.04
CPU system time (s): 12.0562
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 705564

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1788.04
system time used= 12.0562
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 173821
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= 6
involuntary context switches= 4932

runsolver used 9.2086 second user time and 24.9072 second system time

The end

Launcher Data 

Begin job on node148 at 2011-06-03 11:18:08
IDJOB=3461460
IDBENCH=2210
IDSOLVER=1953
FILE ID=node148/3461460-1307092688
RUNJOBID= node148-1307092688-3517
PBS_JOBID= 13497980
Free space on /tmp= 73868 MiB

SOLVER NAME= wbo 1.6
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-jnh204.opb
COMMAND LINE= wbo1.6 -file-format=opb -time-limit=TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3461460-1307092688/watcher-3461460-1307092688 -o /tmp/evaluation-result-3461460-1307092688/solver-3461460-1307092688 -C 1800 -W 1900 -M 15500  wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461460-1307092688.opb

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

MD5SUM BENCH= 2f6896589d1c92e524e35ee4712737ba
RANDOM SEED=2118138162

node148.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.854
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.70
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.854
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.854
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.83
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.854
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.75
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.854
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.82
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.854
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.854
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.854
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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      25068448 kB
Buffers:        221208 kB
Cached:         524312 kB
SwapCached:       7908 kB
Active:        7140900 kB
Inactive:       432004 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      25068448 kB
SwapTotal:    67111528 kB
SwapFree:     67056580 kB
Dirty:            8956 kB
Writeback:           0 kB
AnonPages:     6825856 kB
Mapped:          43232 kB
Slab:           180328 kB
PageTables:      57980 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 170362232 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 /tmp at the end= 73860 MiB
End job on node148 at 2011-06-03 11:48:10