Trace number 3461441

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.08 1800.05

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-jnh220.opb
MD5SUMaa59811357c2c173a2986582be1a1c3c
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark94
Best CPU time to get the best result obtained on this benchmark0.010998
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 94
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-3461441-1307089456.opb.
0.00/0.00	c Instance file HOME/instance-3461441-1307089456.opb
0.00/0.00	c File size is 38878 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     4123 |     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: 6	Core Weight: 1	Total Weight: 1
0.00/0.02	c Current CPU time: 0.002999 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: 5	Core Weight: 1	Total Weight: 2
0.00/0.02	c Current CPU time: 0.003999 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: 5	Core Weight: 1	Total Weight: 3
0.00/0.02	c Current CPU time: 0.003999 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.003999 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: 7	Core Weight: 1	Total Weight: 5
0.00/0.02	c Current CPU time: 0.004999 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.004999 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: 4	Core Weight: 1	Total Weight: 7
0.00/0.02	c Current CPU time: 0.005999 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: 3	Core Weight: 1	Total Weight: 8
0.00/0.02	c Current CPU time: 0.005999 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: 6	Core Weight: 1	Total Weight: 9
0.00/0.02	c Current CPU time: 0.005999 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: 6	Core Weight: 1	Total Weight: 10
0.00/0.02	c Current CPU time: 0.006998 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: 5	Core Weight: 1	Total Weight: 11
0.00/0.02	c Current CPU time: 0.006998 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: 4	Core Weight: 1	Total Weight: 12
0.00/0.02	c Current CPU time: 0.007998 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: 5	Core Weight: 1	Total Weight: 13
0.00/0.02	c Current CPU time: 0.007998 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: 4	Core Weight: 1	Total Weight: 14
0.00/0.02	c Current CPU time: 0.007998 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: 9	Core Weight: 1	Total Weight: 15
0.00/0.02	c Current CPU time: 0.008998 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: 4	Core Weight: 1	Total Weight: 16
0.00/0.02	c Current CPU time: 0.008998 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: 5	Core Weight: 1	Total Weight: 17
0.00/0.02	c Current CPU time: 0.009998 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: 7	Core Weight: 1	Total Weight: 18
0.00/0.02	c Current CPU time: 0.009998 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: 5	Core Weight: 1	Total Weight: 19
0.00/0.02	c Current CPU time: 0.009998 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: 7	Core Weight: 1	Total Weight: 20
0.00/0.02	c Current CPU time: 0.010998 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.010998 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: 5	Core Weight: 1	Total Weight: 22
0.00/0.02	c Current CPU time: 0.011998 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: 4	Core Weight: 1	Total Weight: 23
0.00/0.02	c Current CPU time: 0.011998 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.012998 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.012998 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: 4	Core Weight: 1	Total Weight: 26
0.00/0.02	c Current CPU time: 0.012998 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: 4	Core Weight: 1	Total Weight: 27
0.00/0.02	c Current CPU time: 0.013997 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: 3	Core Weight: 1	Total Weight: 28
0.00/0.02	c Current CPU time: 0.013997 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.014997 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: 4	Core Weight: 1	Total Weight: 30
0.00/0.02	c Current CPU time: 0.014997 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.015997 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: 4	Core Weight: 1	Total Weight: 32
0.00/0.02	c Current CPU time: 0.015997 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: 3	Core Weight: 1	Total Weight: 33
0.00/0.02	c Current CPU time: 0.016997 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.016997 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.017997 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: 3	Core Weight: 1	Total Weight: 36
0.00/0.02	c Current CPU time: 0.017997 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: 4	Core Weight: 1	Total Weight: 37
0.00/0.02	c Current CPU time: 0.018997 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: 5	Core Weight: 1	Total Weight: 38
0.00/0.02	c Current CPU time: 0.018997 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: 8	Core Weight: 1	Total Weight: 39
0.00/0.02	c Current CPU time: 0.019996 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: 7	Core Weight: 1	Total Weight: 40
0.00/0.02	c Current CPU time: 0.019996 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: 7	Core Weight: 1	Total Weight: 41
0.00/0.02	c Current CPU time: 0.020996 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: 12	Core Weight: 1	Total Weight: 42
0.00/0.02	c Current CPU time: 0.020996 s
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: 50	Core Weight: 1	Total Weight: 43
0.00/0.02	c Current CPU time: 0.021996 s
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: 6	Core Weight: 1	Total Weight: 44
0.00/0.02	c Current CPU time: 0.021996 s
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: 36	Core Weight: 1	Total Weight: 45
0.00/0.02	c Current CPU time: 0.022996 s
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: 28	Core Weight: 1	Total Weight: 46
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 |     372     1146     4655 |     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: 10	Core Weight: 1	Total Weight: 47
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 |     379     1147     4669 |     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: 20	Core Weight: 1	Total Weight: 48
0.00/0.02	c Current CPU time: 0.024996 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 |     392     1148     4696 |     5000        0   -nan |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c core #49
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 31	Core Weight: 1	Total Weight: 49
0.00/0.02	c Current CPU time: 0.024996 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     1149     4737 |     5000        0   -nan |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c core #50
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 20	Core Weight: 1	Total Weight: 50
0.00/0.02	c Current CPU time: 0.025996 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 |     421     1150     4756 |     5000        0   -nan |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c core #51
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 22	Core Weight: 1	Total Weight: 51
0.00/0.02	c Current CPU time: 0.026995 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 |     436     1151     4787 |     5000        0   -nan |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.03	c core #52
0.00/0.03	c 
0.00/0.03	c 
0.00/0.03	c Core size: 41	Core Weight: 1	Total Weight: 52
0.00/0.03	c Current CPU time: 0.027995 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 |     459     1152     4834 |     5000        0   -nan |  0.000 % |
0.00/0.03	c ===============================================================================
0.00/0.03	c core #53
0.00/0.03	c 
0.00/0.03	c 
0.00/0.03	c Core size: 46	Core Weight: 1	Total Weight: 53
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 |     487     1153     4892 |     5000        0   -nan |  0.000 % |
0.00/0.03	c ===============================================================================
0.00/0.03	c core #54
0.00/0.03	c 
0.00/0.03	c 
0.00/0.03	c Core size: 95	Core Weight: 1	Total Weight: 54
0.00/0.03	c Current CPU time: 0.029995 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 |     561     1156     5048 |     5000        0   -nan |  0.000 % |
0.00/0.03	c |       100 |     558     1156     5048 |     5500      100     11 |  1.954 % |
0.00/0.03	c ===============================================================================
0.00/0.03	c core #55
0.00/0.03	c 
0.00/0.03	c 
0.00/0.03	c Core size: 178	Core Weight: 1	Total Weight: 55
0.00/0.03	c Current CPU time: 0.032994 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 |     695     1158     5320 |     5000        0   -nan |  0.000 % |
0.00/0.03	c |       103 |     695     1158     5320 |     5500      103     22 |  0.001 % |
0.00/0.04	c |       253 |     695     1158     5320 |     6050      253     17 |  0.000 % |
0.00/0.04	c |       478 |     695     1158     5320 |     6655      478     15 |  0.001 % |
0.00/0.04	c ===============================================================================
0.00/0.05	c core #56
0.00/0.05	c 
0.00/0.05	c 
0.00/0.05	c Core size: 136	Core Weight: 1	Total Weight: 56
0.00/0.05	c Current CPU time: 0.044993 s
0.00/0.05	c
0.00/0.05	c ============================[ Search Statistics ]==============================
0.00/0.05	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.05	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.05	c ===============================================================================
0.00/0.05	c |         0 |     808     1173     5581 |     5000        0   -nan |  0.000 % |
0.00/0.05	c |       101 |     808     1173     5581 |     5500      101     34 |  0.001 % |
0.00/0.05	c |       252 |     799     1173     5581 |     6050      252     19 |  1.239 % |
0.00/0.05	c ===============================================================================
0.00/0.06	c core #57
0.00/0.06	c 
0.00/0.06	c 
0.00/0.06	c Core size: 38	Core Weight: 1	Total Weight: 57
0.00/0.06	c Current CPU time: 0.054991 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 |     825     1194     5672 |     5000        0   -nan |  0.000 % |
0.00/0.06	c |       100 |     823     1194     5672 |     5500      100      9 |  0.243 % |
0.00/0.06	c ===============================================================================
0.00/0.06	c core #58
0.00/0.06	c 
0.00/0.06	c 
0.00/0.06	c Core size: 95	Core Weight: 1	Total Weight: 58
0.00/0.06	c Current CPU time: 0.05999 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 |     868     1204     5784 |     5000        0   -nan |  0.000 % |
0.00/0.06	c |       100 |     866     1204     5784 |     5500      100     45 |  0.460 % |
0.00/0.07	c |       250 |     856     1204     5784 |     6050      250     29 |  1.609 % |
0.00/0.07	c ===============================================================================
0.00/0.07	c core #59
0.00/0.07	c 
0.00/0.07	c 
0.00/0.07	c Core size: 176	Core Weight: 1	Total Weight: 59
0.00/0.07	c Current CPU time: 0.067989 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 |     925     1215     5928 |     5000        0   -nan |  0.000 % |
0.00/0.07	c |       102 |     922     1215     5928 |     5500      102     15 |  1.079 % |
0.00/0.07	c ===============================================================================
0.00/0.08	c core #60
0.00/0.08	c 
0.00/0.08	c 
0.00/0.08	c Core size: 118	Core Weight: 1	Total Weight: 60
0.00/0.08	c Current CPU time: 0.072988 s
0.00/0.08	c
0.00/0.08	c ============================[ Search Statistics ]==============================
0.00/0.08	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.08	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.08	c ===============================================================================
0.00/0.08	c |         0 |     940     1243     6046 |     5000        0   -nan |  0.000 % |
0.00/0.08	c |       102 |     938     1243     6046 |     5500      102     11 |  1.884 % |
0.00/0.08	c |       254 |     936     1243     6046 |     6050      254     11 |  2.094 % |
0.00/0.08	c ===============================================================================
0.00/0.09	c core #61
0.00/0.09	c 
0.00/0.09	c 
0.00/0.09	c Core size: 200	Core Weight: 1	Total Weight: 61
0.00/0.09	c Current CPU time: 0.081987 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 |     998     1269     6230 |     5000        0   -nan |  0.000 % |
0.00/0.09	c |       102 |     994     1269     6230 |     5500      102     36 |  2.358 % |
0.00/0.09	c |       254 |     994     1269     6230 |     6050      254     28 |  2.358 % |
0.00/0.10	c |       479 |     994     1269     6230 |     6655      479     29 |  2.358 % |
0.10/0.11	c |       818 |     994     1269     6230 |     7320      818     38 |  2.360 % |
0.10/0.12	c |      1325 |     994     1269     6230 |     8052     1325     45 |  2.359 % |
0.10/0.15	c |      2090 |     980     1269     6230 |     8857     2090     43 |  3.736 % |
0.10/0.19	c ===============================================================================
0.19/0.20	c core #62
0.19/0.20	c 
0.19/0.20	c 
0.19/0.20	c Core size: 151	Core Weight: 1	Total Weight: 62
0.19/0.20	c Current CPU time: 0.189971 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 |    1075     1294     6451 |     5000        0   -nan |  0.000 % |
0.19/0.20	c |       103 |    1072     1294     6451 |     5500      103     22 |  2.548 % |
0.19/0.20	c |       254 |    1071     1294     6451 |     6050      254     27 |  2.548 % |
0.19/0.21	c |       481 |    1071     1294     6451 |     6655      481     31 |  2.548 % |
0.19/0.22	c |       818 |    1071     1294     6451 |     7320      818     32 |  2.549 % |
0.19/0.23	c |      1324 |    1071     1294     6451 |     8052     1324     37 |  2.548 % |
0.19/0.26	c |      2083 |    1071     1294     6451 |     8857     2083     41 |  2.548 % |
0.29/0.31	c |      3225 |    1071     1294     6451 |     9743     3225     40 |  2.549 % |
0.38/0.41	c |      4934 |    1071     1294     6451 |    10717     4934     46 |  2.550 % |
0.49/0.56	c |      7496 |    1067     1294     6451 |    11789     7496     45 |  2.912 % |
0.79/0.84	c |     11340 |    1065     1294     6451 |    12968    11340     51 |  3.096 % |
1.39/1.43	c |     17106 |    1022     1294     6451 |    14265    10472     61 | 17.294 % |
1.69/1.70	c ===============================================================================
1.69/1.77	c core #63
1.69/1.77	c 
1.69/1.77	c 
1.69/1.77	c Core size: 262	Core Weight: 1	Total Weight: 63
1.69/1.77	c Current CPU time: 1.74373 s
1.69/1.77	c
1.69/1.77	c ============================[ Search Statistics ]==============================
1.69/1.77	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.69/1.77	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.69/1.77	c ===============================================================================
1.69/1.77	c |         0 |    1160     1301     6646 |     5000        0   -nan |  0.000 % |
1.69/1.77	c |       102 |    1156     1301     6646 |     5500      102     23 |  3.021 % |
1.69/1.78	c |       253 |    1156     1301     6646 |     6050      253     27 |  3.020 % |
1.69/1.78	c |       479 |    1156     1301     6646 |     6655      479     30 |  3.021 % |
1.69/1.79	c |       817 |    1156     1301     6646 |     7320      817     33 |  3.020 % |
1.79/1.80	c |      1325 |    1154     1301     6646 |     8052     1325     29 |  3.189 % |
1.79/1.83	c |      2087 |    1152     1301     6646 |     8857     2087     36 |  3.366 % |
1.79/1.88	c |      3226 |    1132     1301     6646 |     9743     3226     39 |  5.034 % |
1.89/1.99	c |      4934 |    1132     1301     6646 |    10717     4934     42 |  5.034 % |
2.21/2.25	c ===============================================================================
2.21/2.27	c core #64
2.21/2.27	c 
2.21/2.27	c 
2.21/2.27	c Core size: 190	Core Weight: 1	Total Weight: 64
2.21/2.27	c Current CPU time: 2.24066 s
2.21/2.27	c
2.21/2.27	c ============================[ Search Statistics ]==============================
2.21/2.27	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.21/2.27	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.21/2.27	c ===============================================================================
2.21/2.27	c |         0 |    1219     1316     6810 |     5000        0   -nan |  0.000 % |
2.21/2.27	c |       100 |    1219     1316     6810 |     5500      100     32 |  3.032 % |
2.21/2.28	c |       251 |    1217     1316     6810 |     6050      251     48 |  3.182 % |
2.21/2.28	c |       477 |    1217     1316     6810 |     6655      477     45 |  3.182 % |
2.21/2.29	c |       814 |    1217     1316     6810 |     7320      814     43 |  3.182 % |
2.21/2.31	c |      1321 |    1217     1316     6810 |     8052     1321     47 |  3.183 % |
2.31/2.34	c |      2082 |    1215     1316     6810 |     8857     2082     49 |  3.341 % |
2.31/2.39	c |      3222 |    1215     1316     6810 |     9743     3222     53 |  3.341 % |
2.39/2.48	c |      4935 |    1215     1316     6810 |    10717     4935     53 |  3.341 % |
2.59/2.66	c |      7500 |    1215     1316     6810 |    11789     7500     61 |  3.342 % |
2.89/2.92	c |     11345 |    1215     1316     6810 |    12968    11345     63 |  3.341 % |
3.30/3.39	c |     17117 |    1215     1316     6810 |    14265    10479     75 |  3.341 % |
4.09/4.17	c |     25766 |    1215     1316     6810 |    15692    11740     79 |  3.341 % |
6.08/6.15	c |     38740 |    1215     1316     6810 |    17261     8542     97 |  3.341 % |
9.09/9.19	c |     58201 |    1213     1316     6810 |    18987    10453     81 |  3.500 % |
12.89/12.98	c |     87405 |    1213     1316     6810 |    20886    10445     87 |  3.501 % |
19.29/19.31	c |    131199 |    1213     1316     6810 |    22974    11605     76 |  3.500 % |
28.89/28.99	c |    196884 |    1181     1316     6810 |    25272    18561     76 |  6.047 % |
50.29/50.37	c |    295413 |    1043     1316     6810 |    27799    14378     75 | 17.025 % |
52.81/52.91	c ===============================================================================
54.19/54.26	c core #65
54.19/54.26	c 
54.19/54.26	c 
54.19/54.26	c Core size: 287	Core Weight: 1	Total Weight: 65
54.19/54.26	c Current CPU time: 53.8448 s
54.19/54.26	c
54.19/54.26	c ============================[ Search Statistics ]==============================
54.19/54.26	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
54.19/54.26	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
54.19/54.26	c ===============================================================================
54.19/54.26	c |         0 |    1338     1338     7093 |     5000        0   -nan |  0.000 % |
54.19/54.26	c |       101 |    1338     1338     7093 |     5500      101     44 |  3.186 % |
54.19/54.26	c |       256 |    1338     1338     7093 |     6050      256     54 |  3.184 % |
54.19/54.27	c |       481 |    1338     1338     7093 |     6655      481     54 |  3.184 % |
54.19/54.28	c |       818 |    1338     1338     7093 |     7320      818     57 |  3.191 % |
54.29/54.30	c |      1326 |    1338     1338     7093 |     8052     1326     55 |  3.184 % |
54.29/54.33	c |      2092 |    1338     1338     7093 |     8857     2092     59 |  3.184 % |
54.29/54.37	c |      3232 |    1338     1338     7093 |     9743     3232     53 |  3.184 % |
54.39/54.47	c |      4940 |    1338     1338     7093 |    10717     4940     62 |  3.184 % |
54.59/54.61	c |      7502 |    1338     1338     7093 |    11789     7502     61 |  3.184 % |
54.89/54.94	c |     11350 |    1338     1338     7093 |    12968    11350     72 |  3.184 % |
55.39/55.43	c |     17116 |    1338     1338     7093 |    14265    10404     73 |  3.184 % |
56.49/56.54	c |     25767 |    1338     1338     7093 |    15692    11638     80 |  3.184 % |
58.41/58.43	c |     38746 |    1338     1338     7093 |    17261     8436     90 |  3.184 % |
61.19/61.24	c |     58207 |    1338     1338     7093 |    18987    10226     84 |  3.184 % |
67.29/67.30	c |     87400 |    1338     1338     7093 |    20886     9984     98 |  3.184 % |
75.79/75.81	c |    131191 |    1338     1338     7093 |    22974    11086     70 |  3.184 % |
89.59/89.62	c |    196880 |    1338     1338     7093 |    25272    17491     66 |  3.184 % |
113.99/114.03	c |    295408 |    1338     1338     7093 |    27799    23168     90 |  3.184 % |
152.69/152.72	c |    443202 |    1338     1338     7093 |    30579    21556     72 |  3.185 % |
203.39/203.40	c |    664886 |    1338     1338     7093 |    33637    26015     94 |  3.184 % |
290.09/290.13	c |    997412 |    1316     1338     7093 |    37001    32084     75 |  4.776 % |
416.39/416.42	c ===============================================================================
420.10/420.17	c core #66
420.10/420.17	c 
420.10/420.17	c 
420.10/420.17	c Core size: 213	Core Weight: 1	Total Weight: 66
420.10/420.17	c Current CPU time: 417.987 s
420.10/420.17	c
420.10/420.17	c ============================[ Search Statistics ]==============================
420.10/420.17	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
420.10/420.17	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
420.10/420.17	c ===============================================================================
420.10/420.17	c |         0 |    1424     1349     7287 |     5000        0   -nan |  0.000 % |
420.10/420.17	c |       100 |    1424     1349     7287 |     5500      100     44 |  3.003 % |
420.10/420.18	c |       253 |    1424     1349     7287 |     6050      253     39 |  2.997 % |
420.10/420.18	c |       480 |    1424     1349     7287 |     6655      480     45 |  2.998 % |
420.10/420.19	c |       817 |    1424     1349     7287 |     7320      817     46 |  2.997 % |
420.10/420.21	c |      1325 |    1424     1349     7287 |     8052     1325     52 |  2.997 % |
420.22/420.23	c |      2085 |    1424     1349     7287 |     8857     2085     55 |  2.997 % |
420.22/420.28	c |      3224 |    1422     1349     7287 |     9743     3224     57 |  3.140 % |
420.32/420.38	c |      4932 |    1422     1349     7287 |    10717     4932     61 |  3.134 % |
420.50/420.50	c |      7494 |    1422     1349     7287 |    11789     7494     59 |  3.134 % |
420.89/420.91	c |     11339 |    1422     1349     7287 |    12968    11339     72 |  3.134 % |
421.41/421.44	c |     17107 |    1422     1349     7287 |    14265    10322     88 |  3.134 % |
422.30/422.42	c |     25758 |    1422     1349     7287 |    15692    11644     88 |  3.134 % |
423.70/423.72	c |     38734 |    1422     1349     7287 |    17261     8257    111 |  3.134 % |
426.81/426.86	c |     58195 |    1422     1349     7287 |    18987     9973    130 |  3.134 % |
434.30/434.34	c |     87394 |    1422     1349     7287 |    20886    19653    102 |  3.134 % |
443.00/443.04	c |    131183 |    1422     1349     7287 |    22974    20777    107 |  3.134 % |
455.20/455.27	c |    196869 |    1422     1349     7287 |    25272    16014     77 |  3.134 % |
483.70/483.74	c |    295397 |    1422     1349     7287 |    27799    22219     87 |  3.134 % |
522.90/522.98	c |    443189 |    1422     1349     7287 |    30579    16481    109 |  3.134 % |
578.62/578.62	c |    664872 |    1422     1349     7287 |    33637    17214    116 |  3.134 % |
694.00/694.11	c |    997399 |    1422     1349     7287 |    37001    18023    119 |  3.134 % |
863.31/863.31	c |   1496187 |    1422     1349     7287 |    40701    24651    126 |  3.134 % |
1125.51/1125.53	c |   2244378 |    1422     1349     7287 |    44771    17140    101 |  3.134 % |
1494.01/1494.07	c |   3366655 |    1422     1349     7287 |    49248    23788     84 |  3.134 % |

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

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

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


[startup+0 s]
/proc/loadavg: 1.92 2.02 1.99 3/558 31019
/proc/meminfo: memFree=28335188/32951124 swapFree=34426104/67111528
[pid=31019] ppid=31017 vsize=2240 CPUtime=0.01 cores=0,2,4,6
/proc/31019/stat : 31019 (wbo1.6) R 31017 31019 27313 0 -1 4202496 362 0 0 0 1 0 0 0 25 0 1 0 899176271 2293760 305 33554432000 4194304 5714214 140734516280592 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/31019/statm: 560 305 175 372 0 185 0

[startup+0.111268 s]
/proc/loadavg: 1.92 2.02 1.99 3/558 31019
/proc/meminfo: memFree=28335188/32951124 swapFree=34426104/67111528
[pid=31019] ppid=31017 vsize=2748 CPUtime=0.1 cores=0,2,4,6
/proc/31019/stat : 31019 (wbo1.6) R 31017 31019 27313 0 -1 4202496 499 0 0 0 10 0 0 0 18 0 1 0 899176271 2813952 442 33554432000 4194304 5714214 140734516280592 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/31019/statm: 687 442 180 372 0 312 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2748

[startup+0.200262 s]
/proc/loadavg: 1.92 2.02 1.99 3/558 31019
/proc/meminfo: memFree=28335188/32951124 swapFree=34426104/67111528
[pid=31019] ppid=31017 vsize=3956 CPUtime=0.19 cores=0,2,4,6
/proc/31019/stat : 31019 (wbo1.6) R 31017 31019 27313 0 -1 4202496 788 0 0 0 19 0 0 0 18 0 1 0 899176271 4050944 731 33554432000 4194304 5714214 140734516280592 18446744073709551615 4472215 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/31019/statm: 989 731 180 372 0 614 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 3956

[startup+0.300249 s]
/proc/loadavg: 1.92 2.02 1.99 3/558 31019
/proc/meminfo: memFree=28335188/32951124 swapFree=34426104/67111528
[pid=31019] ppid=31017 vsize=3956 CPUtime=0.29 cores=0,2,4,6
/proc/31019/stat : 31019 (wbo1.6) R 31017 31019 27313 0 -1 4202496 788 0 0 0 29 0 0 0 18 0 1 0 899176271 4050944 731 33554432000 4194304 5714214 140734516280592 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/31019/statm: 989 731 180 372 0 614 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3956

[startup+0.701171 s]
/proc/loadavg: 1.92 2.02 1.99 3/558 31019
/proc/meminfo: memFree=28335188/32951124 swapFree=34426104/67111528
[pid=31019] ppid=31017 vsize=6376 CPUtime=0.69 cores=0,2,4,6
/proc/31019/stat : 31019 (wbo1.6) R 31017 31019 27313 0 -1 4202496 1398 0 0 0 68 1 0 0 18 0 1 0 899176271 6529024 1341 33554432000 4194304 5714214 140734516280592 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/31019/statm: 1594 1341 180 372 0 1219 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6376

[startup+1.50103 s]
/proc/loadavg: 1.92 2.02 1.99 3/559 31020
/proc/meminfo: memFree=28327736/32951124 swapFree=34426104/67111528
[pid=31019] ppid=31017 vsize=9184 CPUtime=1.49 cores=0,2,4,6
/proc/31019/stat : 31019 (wbo1.6) R 31017 31019 27313 0 -1 4202496 2088 0 0 0 147 2 0 0 19 0 1 0 899176271 9404416 2031 33554432000 4194304 5714214 140734516280592 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/31019/statm: 2296 2031 180 372 0 1921 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9184

[startup+3.10074 s]
/proc/loadavg: 1.92 2.02 1.99 3/559 31020
/proc/meminfo: memFree=28324016/32951124 swapFree=34426104/67111528
[pid=31019] ppid=31017 vsize=10644 CPUtime=3.09 cores=0,2,4,6
/proc/31019/stat : 31019 (wbo1.6) R 31017 31019 27313 0 -1 4202496 2494 0 0 0 306 3 0 0 25 0 1 0 899176271 10899456 2411 33554432000 4194304 5714214 140734516280592 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/31019/statm: 2661 2411 180 372 0 2286 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10644

[startup+6.30023 s]
/proc/loadavg: 1.93 2.02 1.99 3/559 31020
/proc/meminfo: memFree=28318124/32951124 swapFree=34426104/67111528
[pid=31019] ppid=31017 vsize=16852 CPUtime=6.29 cores=0,2,4,6
/proc/31019/stat : 31019 (wbo1.6) R 31017 31019 27313 0 -1 4202496 4022 0 0 0 623 6 0 0 24 0 1 0 899176271 17256448 3939 33554432000 4194304 5714214 140734516280592 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/31019/statm: 4213 3939 180 372 0 3838 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 16852

[startup+12.7012 s]
/proc/loadavg: 1.93 2.02 1.99 3/559 31050
/proc/meminfo: memFree=28738868/32951124 swapFree=34426104/67111528
[pid=31019] ppid=31017 vsize=26676 CPUtime=12.69 cores=0,2,4,6
/proc/31019/stat : 31019 (wbo1.6) R 31017 31019 27313 0 -1 4202496 6452 0 0 0 1259 10 0 0 25 0 1 0 899176271 27316224 6369 33554432000 4194304 5714214 140734516280592 18446744073709551615 4319364 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/31019/statm: 6669 6369 180 372 0 6294 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 26676

[startup+25.501 s]
/proc/loadavg: 2.08 2.05 2.00 3/559 31050
/proc/meminfo: memFree=28708752/32951124 swapFree=34426104/67111528
[pid=31019] ppid=31017 vsize=41868 CPUtime=25.49 cores=0,2,4,6
/proc/31019/stat : 31019 (wbo1.6) R 31017 31019 27313 0 -1 4202496 10200 0 0 0 2532 17 0 0 25 0 1 0 899176271 42872832 10117 33554432000 4194304 5714214 140734516280592 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/31019/statm: 10467 10117 180 372 0 10092 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 41868

[startup+51.1008 s]
/proc/loadavg: 2.05 2.05 2.00 3/559 31050
/proc/meminfo: memFree=28662500/32951124 swapFree=34426104/67111528
[pid=31019] ppid=31017 vsize=62492 CPUtime=51.09 cores=0,2,4,6
/proc/31019/stat : 31019 (wbo1.6) R 31017 31019 27313 0 -1 4202496 15241 0 0 0 5083 26 0 0 25 0 1 0 899176271 63991808 15158 33554432000 4194304 5714214 140734516280592 18446744073709551615 4319341 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/31019/statm: 15623 15158 180 372 0 15248 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 62492

[startup+102.301 s]
/proc/loadavg: 2.02 2.04 2.00 3/559 31052
/proc/meminfo: memFree=28570324/32951124 swapFree=34426104/67111528
[pid=31019] ppid=31017 vsize=73008 CPUtime=102.3 cores=0,2,4,6
/proc/31019/stat : 31019 (wbo1.6) R 31017 31019 27313 0 -1 4202496 18074 0 0 0 10182 48 0 0 25 0 1 0 899176271 74760192 17940 33554432000 4194304 5714214 140734516280592 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/31019/statm: 18252 17940 180 372 0 17877 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 73008

[startup+162.301 s]
/proc/loadavg: 2.09 2.06 2.01 3/559 31054
/proc/meminfo: memFree=28418876/32951124 swapFree=34426104/67111528
[pid=31019] ppid=31017 vsize=98608 CPUtime=162.29 cores=0,2,4,6
/proc/31019/stat : 31019 (wbo1.6) R 31017 31019 27313 0 -1 4202496 24308 0 0 0 16160 69 0 0 25 0 1 0 899176271 100974592 24174 33554432000 4194304 5714214 140734516280592 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/31019/statm: 24652 24174 180 372 0 24277 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 98608

[startup+222.322 s]
/proc/loadavg: 2.07 2.06 2.01 3/559 31054
/proc/meminfo: memFree=28340848/32951124 swapFree=34426104/67111528
[pid=31019] ppid=31017 vsize=144660 CPUtime=222.31 cores=0,2,4,6
/proc/31019/stat : 31019 (wbo1.6) R 31017 31019 27313 0 -1 4202496 35487 0 0 0 22137 94 0 0 25 0 1 0 899176271 148131840 35353 33554432000 4194304 5714214 140734516280592 18446744073709551615 4319428 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/31019/statm: 36165 35353 180 372 0 35790 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 144660

[startup+282.301 s]
/proc/loadavg: 2.02 2.05 2.00 3/559 31056
/proc/meminfo: memFree=28251920/32951124 swapFree=34426104/67111528
[pid=31019] ppid=31017 vsize=178344 CPUtime=282.29 cores=0,2,4,6
/proc/31019/stat : 31019 (wbo1.6) R 31017 31019 27313 0 -1 4202496 43729 0 0 0 28115 114 0 0 25 0 1 0 899176271 182624256 43595 33554432000 4194304 5714214 140734516280592 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/31019/statm: 44586 43595 180 372 0 44211 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 178344

[startup+342.301 s]
/proc/loadavg: 2.06 2.05 2.00 3/559 31058
/proc/meminfo: memFree=28167192/32951124 swapFree=34426104/67111528
[pid=31019] ppid=31017 vsize=211704 CPUtime=342.29 cores=0,2,4,6
/proc/31019/stat : 31019 (wbo1.6) R 31017 31019 27313 0 -1 4202496 51880 0 0 0 34097 132 0 0 25 0 1 0 899176271 216784896 51746 33554432000 4194304 5714214 140734516280592 18446744073709551615 4300192 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/31019/statm: 52926 51746 180 372 0 52551 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 211704

[startup+402.301 s]
/proc/loadavg: 2.07 2.05 2.00 3/559 31060
/proc/meminfo: memFree=28141372/32951124 swapFree=34426104/67111528
[pid=31019] ppid=31017 vsize=238128 CPUtime=402.3 cores=0,2,4,6
/proc/31019/stat : 31019 (wbo1.6) R 31017 31019 27313 0 -1 4202496 58333 0 0 0 40081 149 0 0 25 0 1 0 899176271 243843072 58199 33554432000 4194304 5714214 140734516280592 18446744073709551615 4319395 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/31019/statm: 59532 58199 180 372 0 59157 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 238128

[startup+462.301 s]
/proc/loadavg: 2.02 2.04 2.00 3/559 31062
/proc/meminfo: memFree=28118900/32951124 swapFree=34426104/67111528
[pid=31019] ppid=31017 vsize=259420 CPUtime=462.3 cores=0,2,4,6
/proc/31019/stat : 31019 (wbo1.6) R 31017 31019 27313 0 -1 4202496 63919 0 0 0 46057 173 0 0 25 0 1 0 899176271 265646080 63785 33554432000 4194304 5714214 140734516280592 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/31019/statm: 64855 63785 180 372 0 64480 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 259420

[startup+522.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/559 31062
/proc/meminfo: memFree=28118376/32951124 swapFree=34426104/67111528
[pid=31019] ppid=31017 vsize=259420 CPUtime=522.29 cores=0,2,4,6
/proc/31019/stat : 31019 (wbo1.6) R 31017 31019 27313 0 -1 4202496 64061 0 0 0 52038 191 0 0 25 0 1 0 899176271 265646080 63927 33554432000 4194304 5714214 140734516280592 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/31019/statm: 64855 63927 180 372 0 64480 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 259420

[startup+582.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/559 31064
/proc/meminfo: memFree=28118212/32951124 swapFree=34426104/67111528
[pid=31019] ppid=31017 vsize=259420 CPUtime=582.3 cores=0,2,4,6
/proc/31019/stat : 31019 (wbo1.6) R 31017 31019 27313 0 -1 4202496 64283 0 0 0 58015 215 0 0 25 0 1 0 899176271 265646080 64149 33554432000 4194304 5714214 140734516280592 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/31019/statm: 64855 64149 180 372 0 64480 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 259420

[startup+642.301 s]

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

[startup+882.322 s]
/proc/loadavg: 2.18 2.08 2.02 3/559 31074
/proc/meminfo: memFree=28022836/32951124 swapFree=34426104/67111528
[pid=31019] ppid=31017 vsize=287928 CPUtime=882.32 cores=0,2,4,6
/proc/31019/stat : 31019 (wbo1.6) R 31017 31019 27313 0 -1 4202496 71699 0 0 0 87941 291 0 0 25 0 1 0 899176271 294838272 71565 33554432000 4194304 5714214 140734516280592 18446744073709551615 4319440 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/31019/statm: 71982 71565 180 372 0 71607 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 287928

[startup+942.301 s]
/proc/loadavg: 2.20 2.10 2.02 3/559 31077
/proc/meminfo: memFree=27965572/32951124 swapFree=34426104/67111528
[pid=31019] ppid=31017 vsize=313232 CPUtime=942.3 cores=0,2,4,6
/proc/31019/stat : 31019 (wbo1.6) R 31017 31019 27313 0 -1 4202496 77857 0 0 0 93922 308 0 0 25 0 1 0 899176271 320749568 77723 33554432000 4194304 5714214 140734516280592 18446744073709551615 4319878 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/31019/statm: 78308 77723 180 372 0 77933 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 313232

[startup+1002.3 s]
/proc/loadavg: 2.07 2.08 2.02 3/559 31079
/proc/meminfo: memFree=27895732/32951124 swapFree=34426104/67111528
[pid=31019] ppid=31017 vsize=337756 CPUtime=1002.31 cores=0,2,4,6
/proc/31019/stat : 31019 (wbo1.6) R 31017 31019 27313 0 -1 4202496 83798 0 0 0 99909 322 0 0 25 0 1 0 899176271 345862144 83664 33554432000 4194304 5714214 140734516280592 18446744073709551615 4319254 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/31019/statm: 84439 83664 180 372 0 84064 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 337756

[startup+1062.3 s]
/proc/loadavg: 2.02 2.06 2.01 3/559 31081
/proc/meminfo: memFree=27871648/32951124 swapFree=34426104/67111528
[pid=31019] ppid=31017 vsize=361484 CPUtime=1062.3 cores=0,2,4,6
/proc/31019/stat : 31019 (wbo1.6) R 31017 31019 27313 0 -1 4202496 89592 0 0 0 105896 334 0 0 25 0 1 0 899176271 370159616 89458 33554432000 4194304 5714214 140734516280592 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/31019/statm: 90371 89458 180 372 0 89996 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 361484

[startup+1122.3 s]
/proc/loadavg: 2.01 2.05 2.01 3/559 31081
/proc/meminfo: memFree=27845824/32951124 swapFree=34426104/67111528
[pid=31019] ppid=31017 vsize=387244 CPUtime=1122.31 cores=0,2,4,6
/proc/31019/stat : 31019 (wbo1.6) R 31017 31019 27313 0 -1 4202496 95983 0 0 0 111875 356 0 0 25 0 1 0 899176271 396537856 95849 33554432000 4194304 5714214 140734516280592 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/31019/statm: 96811 95849 180 372 0 96436 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 387244

[startup+1182.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/559 31083
/proc/meminfo: memFree=27814800/32951124 swapFree=34426104/67111528
[pid=31019] ppid=31017 vsize=417512 CPUtime=1182.31 cores=0,2,4,6
/proc/31019/stat : 31019 (wbo1.6) R 31017 31019 27313 0 -1 4202496 103455 0 0 0 117855 376 0 0 25 0 1 0 899176271 427532288 103321 33554432000 4194304 5714214 140734516280592 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/31019/statm: 104378 103321 180 372 0 104003 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 417512

[startup+1242.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/559 31085
/proc/meminfo: memFree=27756124/32951124 swapFree=34426104/67111528
[pid=31019] ppid=31017 vsize=444520 CPUtime=1242.31 cores=0,2,4,6
/proc/31019/stat : 31019 (wbo1.6) R 31017 31019 27313 0 -1 4202496 110096 0 0 0 123837 394 0 0 25 0 1 0 899176271 455188480 109962 33554432000 4194304 5714214 140734516280592 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/31019/statm: 111130 109962 180 372 0 110755 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 444520

[startup+1302.3 s]
/proc/loadavg: 2.15 2.05 2.01 3/559 31087
/proc/meminfo: memFree=27730804/32951124 swapFree=34426104/67111528
[pid=31019] ppid=31017 vsize=469540 CPUtime=1302.31 cores=0,2,4,6
/proc/31019/stat : 31019 (wbo1.6) R 31017 31019 27313 0 -1 4202496 116288 0 0 0 129821 410 0 0 25 0 1 0 899176271 480808960 116154 33554432000 4194304 5714214 140734516280592 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/31019/statm: 117385 116154 180 372 0 117010 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 469540

[startup+1362.3 s]
/proc/loadavg: 2.12 2.06 2.01 3/559 31089
/proc/meminfo: memFree=27708212/32951124 swapFree=34426104/67111528
[pid=31019] ppid=31017 vsize=492944 CPUtime=1362.31 cores=0,2,4,6
/proc/31019/stat : 31019 (wbo1.6) R 31017 31019 27313 0 -1 4202496 122033 0 0 0 135804 427 0 0 25 0 1 0 899176271 504774656 121899 33554432000 4194304 5714214 140734516280592 18446744073709551615 4319369 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/31019/statm: 123236 121899 180 372 0 122861 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 492944

[startup+1422.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/559 31089
/proc/meminfo: memFree=27676816/32951124 swapFree=34426104/67111528
[pid=31019] ppid=31017 vsize=518932 CPUtime=1422.33 cores=0,2,4,6
/proc/31019/stat : 31019 (wbo1.6) R 31017 31019 27313 0 -1 4202496 128399 0 0 0 141791 442 0 0 25 0 1 0 899176271 531386368 128265 33554432000 4194304 5714214 140734516280592 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/31019/statm: 129733 128265 180 372 0 129358 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 518932

[startup+1482.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/559 31091
/proc/meminfo: memFree=27579448/32951124 swapFree=34426104/67111528
[pid=31019] ppid=31017 vsize=544828 CPUtime=1482.31 cores=0,2,4,6
/proc/31019/stat : 31019 (wbo1.6) R 31017 31019 27313 0 -1 4202496 134878 0 0 0 147772 459 0 0 25 0 1 0 899176271 557903872 134744 33554432000 4194304 5714214 140734516280592 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/31019/statm: 136207 134744 180 372 0 135832 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 544828

[startup+1542.32 s]
/proc/loadavg: 2.07 2.05 2.01 3/559 31093
/proc/meminfo: memFree=27536404/32951124 swapFree=34426104/67111528
[pid=31019] ppid=31017 vsize=578952 CPUtime=1542.33 cores=0,2,4,6
/proc/31019/stat : 31019 (wbo1.6) R 31017 31019 27313 0 -1 4202496 143259 0 0 0 153752 481 0 0 25 0 1 0 899176271 592846848 143125 33554432000 4194304 5714214 140734516280592 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/31019/statm: 144738 143125 180 372 0 144363 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 578952

[startup+1602.3 s]
/proc/loadavg: 2.06 2.05 2.01 3/559 31095
/proc/meminfo: memFree=27503008/32951124 swapFree=34426104/67111528
[pid=31019] ppid=31017 vsize=601404 CPUtime=1602.31 cores=0,2,4,6
/proc/31019/stat : 31019 (wbo1.6) R 31017 31019 27313 0 -1 4202496 148958 0 0 0 159734 497 0 0 25 0 1 0 899176271 615837696 148681 33554432000 4194304 5714214 140734516280592 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/31019/statm: 150351 148681 180 372 0 149976 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 601404

[startup+1662.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/559 31097
/proc/meminfo: memFree=27485620/32951124 swapFree=34426104/67111528
[pid=31019] ppid=31017 vsize=618808 CPUtime=1662.32 cores=0,2,4,6
/proc/31019/stat : 31019 (wbo1.6) R 31017 31019 27313 0 -1 4202496 153258 0 0 0 165717 515 0 0 25 0 1 0 899176271 633659392 152981 33554432000 4194304 5714214 140734516280592 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/31019/statm: 154702 152981 180 372 0 154327 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 618808

[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/559 31097
/proc/meminfo: memFree=27459424/32951124 swapFree=34426104/67111528
[pid=31019] ppid=31017 vsize=646020 CPUtime=1722.32 cores=0,2,4,6
/proc/31019/stat : 31019 (wbo1.6) R 31017 31019 27313 0 -1 4202496 160027 0 0 0 171701 531 0 0 25 0 1 0 899176271 661524480 159750 33554432000 4194304 5714214 140734516280592 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/31019/statm: 161505 159750 180 372 0 161130 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 646020

[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/559 31099
/proc/meminfo: memFree=27432232/32951124 swapFree=34426104/67111528
[pid=31019] ppid=31017 vsize=670040 CPUtime=1782.31 cores=0,2,4,6
/proc/31019/stat : 31019 (wbo1.6) R 31017 31019 27313 0 -1 4202496 165994 0 0 0 177684 547 0 0 25 0 1 0 899176271 686120960 165717 33554432000 4194304 5714214 140734516280592 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/31019/statm: 167510 165717 180 372 0 167135 0
Current children cumulated CPU time (s) 1782.31
Current children cumulated vsize (KiB) 670040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.02 2.00 3/559 31099
/proc/meminfo: memFree=27423664/32951124 swapFree=34426104/67111528
[pid=31019] ppid=31017 vsize=679008 CPUtime=1800.03 cores=0,2,4,6
/proc/31019/stat : 31019 (wbo1.6) R 31017 31019 27313 0 -1 4202496 168255 0 0 0 179452 551 0 0 25 0 1 0 899176271 695304192 167978 33554432000 4194304 5714214 140734516280592 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/31019/statm: 169752 167978 180 372 0 169377 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 679008

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.00 2.02 2.00 3/559 31099
/proc/meminfo: memFree=27423664/32951124 swapFree=34426104/67111528
[pid=31019] ppid=31017 vsize=679008 CPUtime=1800.03 cores=0,2,4,6
/proc/31019/stat : 31019 (wbo1.6) R 31017 31019 27313 0 -1 4202496 168255 0 0 0 179452 551 0 0 25 0 1 0 899176271 695304192 167978 33554432000 4194304 5714214 140734516280592 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/31019/statm: 169752 167978 180 372 0 169377 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 679008

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.05
CPU time (s): 1800.08
CPU user time (s): 1794.53
CPU system time (s): 5.54916
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 679008

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.53
system time used= 5.54916
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 168255
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= 13
involuntary context switches= 1881

runsolver used 10.9403 second user time and 22.6136 second system time

The end

Launcher Data 

Begin job on node118 at 2011-06-03 10:24:16
IDJOB=3461441
IDBENCH=2172
IDSOLVER=1953
FILE ID=node118/3461441-1307089456
RUNJOBID= node118-1307082245-30505
PBS_JOBID= 13497868
Free space on /tmp= 73744 MiB

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

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

MD5SUM BENCH= aa59811357c2c173a2986582be1a1c3c
RANDOM SEED=864426691

node118.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.842
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.68
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.842
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.842
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.842
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.842
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.68
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.842
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.842
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.75
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.842
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	: 5374.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      28335476 kB
Buffers:        309580 kB
Cached:        1951992 kB
SwapCached:      56168 kB
Active:        1292344 kB
Inactive:      2985180 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      28335476 kB
SwapTotal:    67111528 kB
SwapFree:     34426104 kB
Dirty:            4300 kB
Writeback:           0 kB
AnonPages:     1973116 kB
Mapped:          15492 kB
Slab:           149596 kB
PageTables:     116316 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 184252108 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= 73740 MiB
End job on node118 at 2011-06-03 10:54:18