Trace number 3460889

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

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/ttp/normalized-circ6_3.opb
MD5SUMff9be653d1d3ea3b1a82846016e94df6
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark64
Best CPU time to get the best result obtained on this benchmark1800.06
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 64
Optimality of the best value was proved NO
Number of variables540
Total number of constraints4476
Number of constraints which are clauses2532
Number of constraints which are cardinality constraints (but not clauses)264
Number of constraints which are nor clauses,nor cardinality constraints1680
Minimum length of a constraint2
Maximum length of a constraint20
Number of terms in the objective function 180
Biggest coefficient in the objective function 3
Number of bits for the biggest coefficient in the objective function 2
Sum of the numbers in the objective function 324
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 16
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 324
Number of bits of the biggest sum of numbers9
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-3460889-1307079869.opb.
0.00/0.00	c Instance file HOME/instance-3460889-1307079869.opb
0.00/0.00	c File size is 202558 bytes.
0.00/0.01	c Highest Coefficient sum: 40
0.00/0.01	c ============================[ Problem Statistics ]=============================
0.00/0.01	c |                                                                             |
0.00/0.01	c |  Parsing time:          0.01         s                                      |
0.00/0.01	c |  Number Variables:      540                                                 |
0.00/0.01	c |  Number Clauses:        2682                                                |
0.00/0.01	c |  Number Cardinality:    264                                                 |
0.00/0.01	c |  Number PB Constraints: 1680                                                |
0.00/0.01	c ============================[ Search Statistics ]==============================
0.00/0.01	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.01	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.01	c ===============================================================================
0.00/0.01	c |         0 |     540     4626    21888 |     5000        0   -nan |  0.000 % |
0.05/0.09	c core #1
0.05/0.09	c 
0.05/0.09	c 
0.05/0.09	c Core size: 30	Core Weight: 1	Total Weight: 1
0.05/0.09	c Current CPU time: 0.014997 s
0.05/0.09	c
0.05/0.09	c core #2
0.05/0.09	c 
0.05/0.09	c 
0.05/0.09	c Core size: 30	Core Weight: 1	Total Weight: 2
0.05/0.09	c Current CPU time: 0.015997 s
0.05/0.09	c
0.05/0.09	c core #3
0.05/0.09	c 
0.05/0.09	c 
0.05/0.09	c Core size: 30	Core Weight: 1	Total Weight: 3
0.05/0.09	c Current CPU time: 0.017997 s
0.05/0.09	c
0.05/0.09	c core #4
0.05/0.09	c 
0.05/0.09	c 
0.05/0.09	c Core size: 30	Core Weight: 1	Total Weight: 4
0.05/0.09	c Current CPU time: 0.019996 s
0.05/0.09	c
0.05/0.09	c core #5
0.05/0.09	c 
0.05/0.09	c 
0.05/0.09	c Core size: 30	Core Weight: 1	Total Weight: 5
0.05/0.09	c Current CPU time: 0.021996 s
0.05/0.09	c
0.05/0.09	c core #6
0.05/0.09	c 
0.05/0.09	c 
0.05/0.09	c Core size: 30	Core Weight: 1	Total Weight: 6
0.05/0.09	c Current CPU time: 0.024996 s
0.05/0.09	c
0.05/0.09	c core #7
0.05/0.09	c 
0.05/0.09	c 
0.05/0.09	c Core size: 30	Core Weight: 1	Total Weight: 7
0.05/0.09	c Current CPU time: 0.026995 s
0.05/0.09	c
0.05/0.09	c core #8
0.05/0.09	c 
0.05/0.09	c 
0.05/0.09	c Core size: 30	Core Weight: 1	Total Weight: 8
0.05/0.09	c Current CPU time: 0.028995 s
0.05/0.09	c
0.05/0.09	c core #9
0.05/0.09	c 
0.05/0.09	c 
0.05/0.09	c Core size: 30	Core Weight: 1	Total Weight: 9
0.05/0.09	c Current CPU time: 0.030995 s
0.05/0.09	c
0.05/0.09	c core #10
0.05/0.09	c 
0.05/0.09	c 
0.05/0.09	c Core size: 30	Core Weight: 1	Total Weight: 10
0.05/0.09	c Current CPU time: 0.032994 s
0.05/0.09	c
0.05/0.09	c core #11
0.05/0.09	c 
0.05/0.09	c 
0.05/0.09	c Core size: 30	Core Weight: 1	Total Weight: 11
0.05/0.09	c Current CPU time: 0.034994 s
0.05/0.09	c
0.05/0.09	c core #12
0.05/0.09	c 
0.05/0.09	c 
0.05/0.09	c Core size: 30	Core Weight: 1	Total Weight: 12
0.05/0.09	c Current CPU time: 0.036994 s
0.05/0.09	c
0.05/0.09	c core #13
0.05/0.09	c 
0.05/0.09	c 
0.05/0.09	c Core size: 6	Core Weight: 1	Total Weight: 13
0.05/0.09	c Current CPU time: 0.039993 s
0.05/0.09	c
0.05/0.09	c core #14
0.05/0.09	c 
0.05/0.09	c 
0.05/0.09	c Core size: 6	Core Weight: 1	Total Weight: 14
0.05/0.09	c Current CPU time: 0.041993 s
0.05/0.09	c
0.05/0.09	c core #15
0.05/0.09	c 
0.05/0.09	c 
0.05/0.09	c Core size: 6	Core Weight: 1	Total Weight: 15
0.05/0.09	c Current CPU time: 0.043993 s
0.05/0.09	c
0.05/0.09	c core #16
0.05/0.09	c 
0.05/0.09	c 
0.05/0.09	c Core size: 6	Core Weight: 1	Total Weight: 16
0.05/0.09	c Current CPU time: 0.045993 s
0.05/0.09	c
0.05/0.09	c core #17
0.05/0.09	c 
0.05/0.09	c 
0.05/0.09	c Core size: 6	Core Weight: 1	Total Weight: 17
0.05/0.09	c Current CPU time: 0.047992 s
0.05/0.09	c
0.05/0.09	c core #18
0.05/0.09	c 
0.05/0.09	c 
0.05/0.09	c Core size: 6	Core Weight: 1	Total Weight: 18
0.05/0.09	c Current CPU time: 0.049992 s
0.05/0.09	c
0.05/0.09	c core #19
0.05/0.09	c 
0.05/0.09	c 
0.05/0.09	c Core size: 6	Core Weight: 1	Total Weight: 19
0.05/0.09	c Current CPU time: 0.051992 s
0.05/0.09	c
0.05/0.09	c core #20
0.05/0.09	c 
0.05/0.09	c 
0.05/0.09	c Core size: 6	Core Weight: 1	Total Weight: 20
0.05/0.09	c Current CPU time: 0.053991 s
0.05/0.09	c
0.05/0.09	c core #21
0.05/0.09	c 
0.05/0.09	c 
0.05/0.09	c Core size: 6	Core Weight: 1	Total Weight: 21
0.05/0.09	c Current CPU time: 0.056991 s
0.05/0.09	c
0.05/0.09	c core #22
0.05/0.09	c 
0.05/0.09	c 
0.05/0.09	c Core size: 6	Core Weight: 1	Total Weight: 22
0.05/0.09	c Current CPU time: 0.058991 s
0.05/0.09	c
0.05/0.09	c core #23
0.05/0.09	c 
0.05/0.09	c 
0.05/0.09	c Core size: 6	Core Weight: 1	Total Weight: 23
0.05/0.09	c Current CPU time: 0.06099 s
0.05/0.09	c
0.05/0.09	c core #24
0.05/0.09	c 
0.05/0.09	c 
0.05/0.09	c Core size: 6	Core Weight: 1	Total Weight: 24
0.05/0.09	c Current CPU time: 0.06299 s
0.05/0.09	c
0.05/0.09	c core #25
0.05/0.09	c 
0.05/0.09	c 
0.05/0.09	c Core size: 6	Core Weight: 1	Total Weight: 25
0.05/0.09	c Current CPU time: 0.06499 s
0.05/0.09	c
0.05/0.09	c core #26
0.05/0.09	c 
0.05/0.09	c 
0.05/0.09	c Core size: 6	Core Weight: 1	Total Weight: 26
0.05/0.09	c Current CPU time: 0.067989 s
0.05/0.09	c
0.05/0.09	c core #27
0.05/0.09	c 
0.05/0.09	c 
0.05/0.09	c Core size: 6	Core Weight: 1	Total Weight: 27
0.05/0.09	c Current CPU time: 0.069989 s
0.05/0.09	c
0.05/0.09	c core #28
0.05/0.09	c 
0.05/0.09	c 
0.05/0.09	c Core size: 6	Core Weight: 1	Total Weight: 28
0.05/0.09	c Current CPU time: 0.071989 s
0.05/0.09	c
0.05/0.09	c core #29
0.05/0.09	c 
0.05/0.09	c 
0.05/0.09	c Core size: 6	Core Weight: 1	Total Weight: 29
0.05/0.09	c Current CPU time: 0.073988 s
0.05/0.09	c
0.05/0.09	c core #30
0.05/0.09	c 
0.05/0.09	c 
0.05/0.09	c Core size: 6	Core Weight: 1	Total Weight: 30
0.05/0.09	c Current CPU time: 0.076988 s
0.05/0.09	c
0.05/0.09	c core #31
0.05/0.09	c 
0.05/0.09	c 
0.05/0.09	c Core size: 11	Core Weight: 1	Total Weight: 31
0.05/0.09	c Current CPU time: 0.078987 s
0.05/0.09	c
0.05/0.09	c core #32
0.05/0.09	c 
0.05/0.09	c 
0.05/0.09	c Core size: 11	Core Weight: 1	Total Weight: 32
0.05/0.09	c Current CPU time: 0.080987 s
0.05/0.09	c
0.05/0.09	c core #33
0.05/0.09	c 
0.05/0.09	c 
0.05/0.09	c Core size: 11	Core Weight: 1	Total Weight: 33
0.05/0.09	c Current CPU time: 0.082987 s
0.05/0.09	c
0.05/0.09	c core #34
0.05/0.09	c 
0.05/0.09	c 
0.05/0.09	c Core size: 11	Core Weight: 1	Total Weight: 34
0.05/0.09	c Current CPU time: 0.085986 s
0.05/0.09	c
0.05/0.09	c core #35
0.05/0.09	c 
0.05/0.09	c 
0.05/0.09	c Core size: 11	Core Weight: 1	Total Weight: 35
0.05/0.09	c Current CPU time: 0.087986 s
0.05/0.09	c
0.05/0.09	c core #36
0.05/0.09	c 
0.05/0.09	c 
0.05/0.09	c Core size: 11	Core Weight: 1	Total Weight: 36
0.05/0.09	c Current CPU time: 0.089986 s
0.05/0.09	c
0.05/0.09	c ============================[ Search Statistics ]==============================
0.05/0.09	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.05/0.09	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.05/0.09	c ===============================================================================
0.05/0.09	c |         0 |     654     4932    15774 |     5000        0   -nan |  0.000 % |
0.05/0.09	c ===============================================================================
0.05/0.10	c core #37
0.05/0.10	c 
0.05/0.10	c 
0.05/0.10	c Core size: 16	Core Weight: 1	Total Weight: 37
0.05/0.10	c Current CPU time: 0.093985 s
0.05/0.10	c
0.05/0.10	c ============================[ Search Statistics ]==============================
0.05/0.10	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.05/0.10	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.05/0.10	c ===============================================================================
0.05/0.10	c |         0 |     669     4937    15845 |     5000        0   -nan |  0.000 % |
0.05/0.10	c ===============================================================================
0.09/0.10	c core #38
0.09/0.10	c 
0.09/0.10	c 
0.09/0.10	c Core size: 24	Core Weight: 1	Total Weight: 38
0.09/0.10	c Current CPU time: 0.096985 s
0.09/0.10	c
0.09/0.10	c ============================[ Search Statistics ]==============================
0.09/0.10	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.09/0.10	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.09/0.10	c ===============================================================================
0.09/0.10	c |         0 |     698     4941    16444 |     5000        0   -nan |  0.000 % |
0.09/0.10	c ===============================================================================
0.09/0.10	c core #39
0.09/0.10	c 
0.09/0.10	c 
0.09/0.10	c Core size: 18	Core Weight: 1	Total Weight: 39
0.09/0.10	c Current CPU time: 0.099984 s
0.09/0.10	c
0.09/0.10	c ============================[ Search Statistics ]==============================
0.09/0.10	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.09/0.10	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.09/0.10	c ===============================================================================
0.09/0.10	c |         0 |     713     4946    16515 |     5000        0   -nan |  0.000 % |
0.09/0.10	c ===============================================================================
0.09/0.11	c core #40
0.09/0.11	c 
0.09/0.11	c 
0.09/0.11	c Core size: 19	Core Weight: 1	Total Weight: 40
0.09/0.11	c Current CPU time: 0.104984 s
0.09/0.11	c
0.09/0.11	c ============================[ Search Statistics ]==============================
0.09/0.11	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.09/0.11	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.09/0.11	c ===============================================================================
0.09/0.11	c |         0 |     729     4952    16689 |     5000        0   -nan |  0.000 % |
0.09/0.11	c ===============================================================================
0.09/0.11	c core #41
0.09/0.11	c 
0.09/0.11	c 
0.09/0.11	c Core size: 22	Core Weight: 1	Total Weight: 41
0.09/0.11	c Current CPU time: 0.108983 s
0.09/0.11	c
0.09/0.11	c ============================[ Search Statistics ]==============================
0.09/0.11	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.09/0.11	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.09/0.11	c ===============================================================================
0.09/0.11	c |         0 |     757     4956    17286 |     5000        0   -nan |  0.000 % |
0.09/0.11	c ===============================================================================
0.09/0.11	c core #42
0.09/0.11	c 
0.09/0.11	c 
0.09/0.11	c Core size: 13	Core Weight: 1	Total Weight: 42
0.09/0.11	c Current CPU time: 0.111982 s
0.09/0.11	c
0.09/0.11	c ============================[ Search Statistics ]==============================
0.09/0.11	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.09/0.11	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.09/0.11	c ===============================================================================
0.09/0.11	c |         0 |     771     4957    17334 |     5000        0   -nan |  0.000 % |
0.09/0.12	c ===============================================================================
0.09/0.12	c core #43
0.09/0.12	c 
0.09/0.12	c 
0.09/0.12	c Core size: 18	Core Weight: 1	Total Weight: 43
0.09/0.12	c Current CPU time: 0.115982 s
0.09/0.12	c
0.09/0.12	c ============================[ Search Statistics ]==============================
0.09/0.12	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.09/0.12	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.09/0.12	c ===============================================================================
0.09/0.12	c |         0 |     786     4962    17405 |     5000        0   -nan |  0.000 % |
0.09/0.12	c ===============================================================================
0.09/0.12	c core #44
0.09/0.12	c 
0.09/0.12	c 
0.09/0.12	c Core size: 19	Core Weight: 1	Total Weight: 44
0.09/0.12	c Current CPU time: 0.120981 s
0.09/0.12	c
0.09/0.12	c ============================[ Search Statistics ]==============================
0.09/0.12	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.09/0.12	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.09/0.12	c ===============================================================================
0.09/0.12	c |         0 |     802     4968    17579 |     5000        0   -nan |  0.000 % |
0.09/0.12	c ===============================================================================
0.09/0.13	c core #45
0.09/0.13	c 
0.09/0.13	c 
0.09/0.13	c Core size: 19	Core Weight: 1	Total Weight: 45
0.09/0.13	c Current CPU time: 0.124981 s
0.09/0.13	c
0.09/0.13	c ============================[ Search Statistics ]==============================
0.09/0.13	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.09/0.13	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.09/0.13	c ===============================================================================
0.09/0.13	c |         0 |     818     4974    17753 |     5000        0   -nan |  0.000 % |
0.09/0.13	c ===============================================================================
0.09/0.13	c core #46
0.09/0.13	c 
0.09/0.13	c 
0.09/0.13	c Core size: 35	Core Weight: 1	Total Weight: 46
0.09/0.13	c Current CPU time: 0.12898 s
0.09/0.13	c
0.09/0.13	c ============================[ Search Statistics ]==============================
0.09/0.13	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.09/0.13	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.09/0.13	c ===============================================================================
0.09/0.13	c |         0 |     851     4979    18362 |     5000        0   -nan |  0.000 % |
0.09/0.13	c ===============================================================================
0.09/0.14	c core #47
0.09/0.14	c 
0.09/0.14	c 
0.09/0.14	c Core size: 24	Core Weight: 1	Total Weight: 47
0.09/0.14	c Current CPU time: 0.132979 s
0.09/0.14	c
0.09/0.14	c ============================[ Search Statistics ]==============================
0.09/0.14	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.09/0.14	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.09/0.14	c ===============================================================================
0.09/0.14	c |         0 |     880     4984    18856 |     5000        0   -nan |  0.000 % |
0.09/0.14	c ===============================================================================
0.09/0.14	c core #48
0.09/0.14	c 
0.09/0.14	c 
0.09/0.14	c Core size: 26	Core Weight: 1	Total Weight: 48
0.09/0.14	c Current CPU time: 0.137979 s
0.09/0.14	c
0.09/0.14	c ============================[ Search Statistics ]==============================
0.09/0.14	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.09/0.14	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.09/0.14	c ===============================================================================
0.09/0.14	c |         0 |     910     4990    19455 |     5000        0   -nan |  0.000 % |
0.09/0.14	c |       105 |     910     4990    19455 |     5500      105     12 |  3.500 % |
0.09/0.15	c |       257 |     910     4990    19455 |     6050      257     15 |  3.500 % |
0.09/0.15	c ===============================================================================
0.09/0.15	c core #49
0.09/0.15	c 
0.09/0.15	c 
0.09/0.15	c Core size: 35	Core Weight: 1	Total Weight: 49
0.09/0.15	c Current CPU time: 0.147977 s
0.09/0.15	c
0.09/0.15	c ============================[ Search Statistics ]==============================
0.09/0.15	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.09/0.15	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.09/0.15	c ===============================================================================
0.09/0.15	c |         0 |     943     4995    20044 |     5000        0   -nan |  0.000 % |
0.09/0.15	c |       102 |     943     4995    20044 |     5500      102     13 |  2.884 % |
0.09/0.16	c |       252 |     942     4995    20044 |     6050      252     16 |  2.987 % |
0.09/0.16	c ===============================================================================
0.09/0.16	c core #50
0.09/0.16	c 
0.09/0.16	c 
0.09/0.16	c Core size: 32	Core Weight: 1	Total Weight: 50
0.09/0.16	c Current CPU time: 0.157975 s
0.09/0.16	c
0.09/0.16	c ============================[ Search Statistics ]==============================
0.09/0.16	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.09/0.16	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.09/0.16	c ===============================================================================
0.09/0.16	c |         0 |     979     4996    20647 |     5000        0   -nan |  0.000 % |
0.09/0.17	c |       100 |     978     4996    20647 |     5500      100     18 |  2.396 % |
0.09/0.17	c |       250 |     978     4996    20647 |     6050      250     14 |  2.395 % |
0.09/0.17	c |       476 |     978     4996    20647 |     6655      476     12 |  2.396 % |
0.09/0.18	c |       816 |     978     4996    20647 |     7320      816     13 |  2.395 % |
0.09/0.18	c ===============================================================================
0.09/0.19	c core #51
0.09/0.19	c 
0.09/0.19	c 
0.09/0.19	c Core size: 43	Core Weight: 1	Total Weight: 51
0.09/0.19	c Current CPU time: 0.180972 s
0.09/0.19	c
0.09/0.19	c ============================[ Search Statistics ]==============================
0.09/0.19	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.09/0.19	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.09/0.19	c ===============================================================================
0.09/0.19	c |         0 |    1018     4997    20725 |     5000        0   -nan |  0.000 % |
0.09/0.19	c |       103 |    1018     4997    20725 |     5500      103     17 |  2.210 % |
0.09/0.19	c |       253 |    1018     4997    20725 |     6050      253     15 |  2.210 % |
0.19/0.20	c |       479 |    1018     4997    20725 |     6655      479     14 |  2.210 % |
0.19/0.20	c |       816 |    1014     4997    20725 |     7320      816     15 |  2.595 % |
0.19/0.21	c ===============================================================================
0.19/0.21	c core #52
0.19/0.21	c 
0.19/0.21	c 
0.19/0.21	c Core size: 47	Core Weight: 1	Total Weight: 52
0.19/0.21	c Current CPU time: 0.200969 s
0.19/0.21	c
0.19/0.21	c ============================[ Search Statistics ]==============================
0.19/0.21	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.19/0.21	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.19/0.21	c ===============================================================================
0.19/0.21	c |         0 |    1061     4998    21237 |     5000        0   -nan |  0.000 % |
0.19/0.21	c |       100 |    1061     4998    21237 |     5500      100     17 |  1.759 % |
0.19/0.22	c |       252 |    1057     4998    21237 |     6050      252     16 |  5.278 % |
0.19/0.22	c ===============================================================================
0.19/0.22	c core #53
0.19/0.22	c 
0.19/0.22	c 
0.19/0.22	c Core size: 47	Core Weight: 1	Total Weight: 53
0.19/0.22	c Current CPU time: 0.209968 s
0.19/0.22	c
0.19/0.22	c ============================[ Search Statistics ]==============================
0.19/0.22	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.19/0.22	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.19/0.22	c ===============================================================================
0.19/0.22	c |         0 |    1096     5001    21622 |     5000        0   -nan |  0.000 % |
0.19/0.22	c |       101 |    1096     5001    21622 |     5500      101     15 |  1.439 % |
0.19/0.22	c ===============================================================================
0.19/0.23	c core #54
0.19/0.23	c 
0.19/0.23	c 
0.19/0.23	c Core size: 37	Core Weight: 1	Total Weight: 54
0.19/0.23	c Current CPU time: 0.216967 s
0.19/0.23	c
0.19/0.23	c ============================[ Search Statistics ]==============================
0.19/0.23	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.19/0.23	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.19/0.23	c ===============================================================================
0.19/0.23	c |         0 |    1132     5004    22009 |     5000        0   -nan |  0.000 % |
0.19/0.23	c |       100 |    1132     5004    22009 |     5500      100     19 |  1.136 % |
0.19/0.23	c |       252 |    1131     5004    22009 |     6050      252     15 |  1.310 % |
0.19/0.24	c |       478 |    1128     5004    22009 |     6655      478     19 |  1.572 % |
0.19/0.25	c |       819 |    1128     5004    22009 |     7320      819     15 |  1.572 % |
0.19/0.25	c ===============================================================================
0.19/0.26	c core #55
0.19/0.26	c 
0.19/0.26	c 
0.19/0.26	c Core size: 43	Core Weight: 1	Total Weight: 55
0.19/0.26	c Current CPU time: 0.247962 s
0.19/0.26	c
0.19/0.26	c ============================[ Search Statistics ]==============================
0.19/0.26	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.19/0.26	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.19/0.26	c ===============================================================================
0.19/0.26	c |         0 |    1171     5005    22301 |     5000        0   -nan |  0.000 % |
0.19/0.26	c |       100 |    1171     5005    22301 |     5500      100     22 |  0.931 % |
0.19/0.26	c |       253 |    1171     5005    22301 |     6050      253     15 |  0.931 % |
0.19/0.27	c |       480 |    1171     5005    22301 |     6655      480     14 |  0.931 % |
0.19/0.27	c |       817 |    1171     5005    22301 |     7320      817     13 |  0.931 % |
0.19/0.28	c ===============================================================================
0.19/0.29	c core #56
0.19/0.29	c 
0.19/0.29	c 
0.19/0.29	c Core size: 50	Core Weight: 1	Total Weight: 56
0.19/0.29	c Current CPU time: 0.270958 s
0.19/0.29	c
0.19/0.29	c ============================[ Search Statistics ]==============================
0.19/0.29	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.19/0.29	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.19/0.29	c ===============================================================================
0.19/0.29	c |         0 |    1210     5006    22593 |     5000        0   -nan |  0.000 % |
0.19/0.29	c |       101 |    1210     5006    22593 |     5500      101     16 |  0.738 % |
0.19/0.29	c |       254 |    1210     5006    22593 |     6050      254     15 |  0.738 % |
0.29/0.30	c |       479 |    1208     5006    22593 |     6655      479     17 |  0.903 % |
0.29/0.30	c ===============================================================================
0.29/0.31	c core #57
0.29/0.31	c 
0.29/0.31	c 
0.29/0.31	c Core size: 36	Core Weight: 1	Total Weight: 57
0.29/0.31	c Current CPU time: 0.291955 s
0.29/0.31	c
0.29/0.31	c ============================[ Search Statistics ]==============================
0.29/0.31	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.29/0.31	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.29/0.31	c ===============================================================================
0.29/0.31	c |         0 |    1245     5007    23089 |     5000        0   -nan |  0.000 % |
0.29/0.31	c |       101 |    1245     5007    23089 |     5500      101     25 |  0.400 % |
0.29/0.31	c |       251 |    1245     5007    23089 |     6050      251     17 |  0.400 % |
0.29/0.32	c ===============================================================================
0.29/0.32	c core #58
0.29/0.32	c 
0.29/0.32	c 
0.29/0.32	c Core size: 36	Core Weight: 1	Total Weight: 58
0.29/0.32	c Current CPU time: 0.304953 s
0.29/0.32	c
0.29/0.32	c ============================[ Search Statistics ]==============================
0.29/0.32	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.29/0.32	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.29/0.32	c ===============================================================================
0.29/0.32	c |         0 |    1282     5008    23696 |     5000        0   -nan |  0.000 % |
0.29/0.32	c |       100 |    1282     5008    23696 |     5500      100     21 |  0.000 % |
0.29/0.33	c |       251 |    1282     5008    23696 |     6050      251     16 |  0.000 % |
0.29/0.34	c |       476 |    1282     5008    23696 |     6655      476     21 |  0.000 % |
0.29/0.34	c |       814 |    1282     5008    23696 |     7320      814     19 |  0.000 % |
0.29/0.35	c |      1322 |    1281     5008    23696 |     8052     1322     17 |  0.078 % |
0.29/0.37	c ===============================================================================
0.29/0.37	c core #59
0.29/0.37	c 
0.29/0.37	c 
0.29/0.37	c Core size: 44	Core Weight: 1	Total Weight: 59
0.29/0.37	c Current CPU time: 0.353946 s
0.29/0.37	c
0.29/0.37	c ============================[ Search Statistics ]==============================
0.29/0.37	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.29/0.37	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.29/0.37	c ===============================================================================
0.29/0.37	c |         0 |    1323     5010    23781 |     5000        0   -nan |  0.000 % |
0.29/0.38	c |       100 |    1323     5010    23781 |     5500      100     20 |  0.000 % |
0.29/0.38	c |       250 |    1323     5010    23781 |     6050      250     29 |  0.000 % |
0.29/0.39	c |       475 |    1323     5010    23781 |     6655      475     22 |  0.000 % |
0.29/0.39	c |       812 |    1323     5010    23781 |     7320      812     17 |  0.000 % |
0.39/0.40	c ===============================================================================
0.39/0.41	c core #60
0.39/0.41	c 
0.39/0.41	c 
0.39/0.41	c Core size: 49	Core Weight: 1	Total Weight: 60
0.39/0.41	c Current CPU time: 0.380942 s
0.39/0.41	c
0.39/0.41	c ============================[ Search Statistics ]==============================
0.39/0.41	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.39/0.41	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.39/0.41	c ===============================================================================
0.39/0.41	c |         0 |    1364     5011    23863 |     5000        0   -nan |  0.000 % |
0.39/0.41	c |       105 |    1364     5011    23863 |     5500      105     28 |  0.000 % |
0.39/0.42	c |       256 |    1364     5011    23863 |     6050      256     38 |  0.000 % |
0.39/0.42	c |       482 |    1364     5011    23863 |     6655      482     26 |  0.000 % |
0.39/0.43	c |       821 |    1364     5011    23863 |     7320      821     31 |  0.000 % |
0.39/0.45	c |      1332 |    1364     5011    23863 |     8052     1332     32 |  0.000 % |
0.39/0.48	c |      2091 |    1364     5011    23863 |     8857     2091     30 |  0.000 % |
0.49/0.54	c |      3230 |    1364     5011    23863 |     9743     3230     33 |  0.000 % |
0.59/0.62	c |      4940 |    1364     5011    23863 |    10717     4940     32 |  0.000 % |
0.69/0.76	c |      7502 |    1364     5011    23863 |    11789     7502     34 |  0.000 % |
1.00/1.02	c |     11346 |    1364     5011    23863 |    12968    11346     38 |  0.000 % |
1.59/1.66	c |     17112 |    1364     5011    23863 |    14265    10412     52 |  0.000 % |
2.39/2.45	c |     25761 |    1364     5011    23863 |    15692    11844     50 |  0.000 % |
4.19/4.21	c |     38737 |    1364     5011    23863 |    17261     8815     64 |  0.000 % |
6.49/6.58	c |     58198 |    1364     5011    23863 |    18987    10720     68 |  0.000 % |
10.79/10.83	c |     87390 |    1364     5011    23863 |    20886    11049     62 |  0.000 % |
17.99/18.05	c |    131181 |    1364     5011    23863 |    22974    12599     66 |  0.000 % |
31.59/31.68	c |    196865 |    1364     5011    23863 |    25272    20428     85 |  0.000 % |
54.60/54.69	c |    295391 |    1364     5011    23863 |    27799    17031     83 |  0.000 % |
94.39/94.43	c |    443183 |    1364     5011    23863 |    30579    24942     92 |  0.000 % |
157.32/157.34	c |    664866 |    1364     5011    23863 |    33637    14853    100 |  0.000 % |
250.30/250.36	c |    997391 |    1364     5011    23863 |    37001    25953     78 |  0.000 % |
397.80/397.86	c |   1496180 |    1364     5011    23863 |    40701    33891     88 |  0.000 % |
642.02/642.02	c |   2244367 |    1364     5011    23863 |    44771    29028     78 |  0.000 % |
1039.84/1039.80	c |   3366643 |    1364     5011    23863 |    49248    34571     79 |  0.000 % |
1621.26/1621.20	c |   5050056 |    1364     5011    23863 |    54173    34604     70 |  0.000 % |

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

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.01 2.00 2/517 3869
/proc/meminfo: memFree=20791372/32950928 swapFree=34259960/67111528
[pid=3869] ppid=3867 vsize=2732 CPUtime=0 cores=1,3,5,7
/proc/3869/stat : 3869 (wbo1.6) R 3867 3869 1159 0 -1 4202496 440 0 0 0 0 0 0 0 22 0 1 0 819583617 2797568 393 33554432000 4194304 5714214 140735548580144 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3869/statm: 683 393 192 372 0 258 0

[startup+0.063022 s]
/proc/loadavg: 2.00 2.01 2.00 2/517 3869
/proc/meminfo: memFree=20791372/32950928 swapFree=34259960/67111528
[pid=3869] ppid=3867 vsize=5256 CPUtime=0.05 cores=1,3,5,7
/proc/3869/stat : 3869 (wbo1.6) R 3867 3869 1159 0 -1 4202496 1143 0 0 0 5 0 0 0 22 0 1 0 819583617 5382144 1046 33554432000 4194304 5714214 140735548580144 18446744073709551615 4969593 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3869/statm: 1314 1046 176 372 0 939 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5256

[startup+0.101015 s]
/proc/loadavg: 2.00 2.01 2.00 2/517 3869
/proc/meminfo: memFree=20791372/32950928 swapFree=34259960/67111528
[pid=3869] ppid=3867 vsize=7084 CPUtime=0.09 cores=1,3,5,7
/proc/3869/stat : 3869 (wbo1.6) R 3867 3869 1159 0 -1 4202496 1622 0 0 0 9 0 0 0 22 0 1 0 819583617 7254016 1525 33554432000 4194304 5714214 140735548580144 18446744073709551615 4969553 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3869/statm: 1771 1525 179 372 0 1396 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7084

[startup+0.300982 s]
/proc/loadavg: 2.00 2.01 2.00 2/517 3869
/proc/meminfo: memFree=20791372/32950928 swapFree=34259960/67111528
[pid=3869] ppid=3867 vsize=9680 CPUtime=0.29 cores=1,3,5,7
/proc/3869/stat : 3869 (wbo1.6) R 3867 3869 1159 0 -1 4202496 2262 0 0 0 28 1 0 0 23 0 1 0 819583617 9912320 2165 33554432000 4194304 5714214 140735548580144 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3869/statm: 2420 2165 180 372 0 2045 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9680

[startup+0.700893 s]
/proc/loadavg: 2.00 2.01 2.00 2/517 3869
/proc/meminfo: memFree=20791372/32950928 swapFree=34259960/67111528
[pid=3869] ppid=3867 vsize=10844 CPUtime=0.69 cores=1,3,5,7
/proc/3869/stat : 3869 (wbo1.6) R 3867 3869 1159 0 -1 4202496 2545 0 0 0 66 3 0 0 25 0 1 0 819583617 11104256 2448 33554432000 4194304 5714214 140735548580144 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3869/statm: 2711 2448 180 372 0 2336 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10844

[startup+1.50073 s]
/proc/loadavg: 2.00 2.01 2.00 3/518 3870
/proc/meminfo: memFree=20779708/32950928 swapFree=34259960/67111528
[pid=3869] ppid=3867 vsize=13780 CPUtime=1.49 cores=1,3,5,7
/proc/3869/stat : 3869 (wbo1.6) R 3867 3869 1159 0 -1 4202496 3287 0 0 0 144 5 0 0 25 0 1 0 819583617 14110720 3190 33554432000 4194304 5714214 140735548580144 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3869/statm: 3445 3190 180 372 0 3070 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13780

[startup+3.10042 s]
/proc/loadavg: 2.00 2.01 2.00 3/518 3870
/proc/meminfo: memFree=20775624/32950928 swapFree=34259960/67111528
[pid=3869] ppid=3867 vsize=17212 CPUtime=3.09 cores=1,3,5,7
/proc/3869/stat : 3869 (wbo1.6) R 3867 3869 1159 0 -1 4202496 4148 0 0 0 302 7 0 0 25 0 1 0 819583617 17625088 4051 33554432000 4194304 5714214 140735548580144 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3869/statm: 4303 4051 180 372 0 3928 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17212

[startup+6.30078 s]
/proc/loadavg: 2.00 2.01 2.00 3/518 3870
/proc/meminfo: memFree=20770540/32950928 swapFree=34259960/67111528
[pid=3869] ppid=3867 vsize=21712 CPUtime=6.29 cores=1,3,5,7
/proc/3869/stat : 3869 (wbo1.6) R 3867 3869 1159 0 -1 4202496 5270 0 0 0 619 10 0 0 25 0 1 0 819583617 22233088 5173 33554432000 4194304 5714214 140735548580144 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3869/statm: 5428 5173 180 372 0 5053 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 21712

[startup+12.7005 s]
/proc/loadavg: 2.00 2.01 2.00 3/518 3870
/proc/meminfo: memFree=20762768/32950928 swapFree=34259960/67111528
[pid=3869] ppid=3867 vsize=28932 CPUtime=12.69 cores=1,3,5,7
/proc/3869/stat : 3869 (wbo1.6) R 3867 3869 1159 0 -1 4202496 7068 0 0 0 1254 15 0 0 25 0 1 0 819583617 29626368 6971 33554432000 4194304 5714214 140735548580144 18446744073709551615 4319887 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3869/statm: 7233 6971 180 372 0 6858 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 28932

[startup+25.501 s]
/proc/loadavg: 2.00 2.00 2.00 3/518 3870
/proc/meminfo: memFree=20750740/32950928 swapFree=34259960/67111528
[pid=3869] ppid=3867 vsize=38984 CPUtime=25.49 cores=1,3,5,7
/proc/3869/stat : 3869 (wbo1.6) R 3867 3869 1159 0 -1 4202496 9563 0 0 0 2525 24 0 0 25 0 1 0 819583617 39919616 9466 33554432000 4194304 5714214 140735548580144 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3869/statm: 9746 9466 180 372 0 9371 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 38984

[startup+51.1008 s]
/proc/loadavg: 2.00 2.00 2.00 3/518 3871
/proc/meminfo: memFree=20735840/32950928 swapFree=34259960/67111528
[pid=3869] ppid=3867 vsize=54116 CPUtime=51.09 cores=1,3,5,7
/proc/3869/stat : 3869 (wbo1.6) R 3867 3869 1159 0 -1 4202496 13348 0 0 0 5068 41 0 0 25 0 1 0 819583617 55414784 13251 33554432000 4194304 5714214 140735548580144 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3869/statm: 13529 13251 180 372 0 13154 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 54116

[startup+102.32 s]
/proc/loadavg: 2.00 2.00 2.00 3/518 3872
/proc/meminfo: memFree=20709504/32950928 swapFree=34259960/67111528
[pid=3869] ppid=3867 vsize=79752 CPUtime=102.31 cores=1,3,5,7
/proc/3869/stat : 3869 (wbo1.6) R 3867 3869 1159 0 -1 4202496 19710 0 0 0 10163 68 0 0 25 0 1 0 819583617 81666048 19613 33554432000 4194304 5714214 140735548580144 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3869/statm: 19938 19613 180 372 0 19563 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 79752

[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/518 3874
/proc/meminfo: memFree=20680452/32950928 swapFree=34259960/67111528
[pid=3869] ppid=3867 vsize=109852 CPUtime=162.3 cores=1,3,5,7
/proc/3869/stat : 3869 (wbo1.6) R 3867 3869 1159 0 -1 4202496 27231 0 0 0 16130 100 0 0 25 0 1 0 819583617 112488448 27134 33554432000 4194304 5714214 140735548580144 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3869/statm: 27463 27134 180 372 0 27088 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 109852

[startup+222.301 s]
/proc/loadavg: 2.23 2.06 2.02 3/518 3876
/proc/meminfo: memFree=20656240/32950928 swapFree=34259960/67111528
[pid=3869] ppid=3867 vsize=133052 CPUtime=222.3 cores=1,3,5,7
/proc/3869/stat : 3869 (wbo1.6) R 3867 3869 1159 0 -1 4202496 32988 0 0 0 22099 131 0 0 25 0 1 0 819583617 136245248 32891 33554432000 4194304 5714214 140735548580144 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3869/statm: 33263 32891 180 372 0 32888 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 133052

[startup+282.301 s]
/proc/loadavg: 2.15 2.06 2.02 3/518 3877
/proc/meminfo: memFree=20630800/32950928 swapFree=34259960/67111528
[pid=3869] ppid=3867 vsize=159856 CPUtime=282.3 cores=1,3,5,7
/proc/3869/stat : 3869 (wbo1.6) R 3867 3869 1159 0 -1 4202496 39686 0 0 0 28067 163 0 0 25 0 1 0 819583617 163692544 39589 33554432000 4194304 5714214 140735548580144 18446744073709551615 4319280 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3869/statm: 39964 39589 180 372 0 39589 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 159856

[startup+342.301 s]
/proc/loadavg: 2.05 2.05 2.01 3/518 3879
/proc/meminfo: memFree=20606080/32950928 swapFree=34259960/67111528
[pid=3869] ppid=3867 vsize=183440 CPUtime=342.31 cores=1,3,5,7
/proc/3869/stat : 3869 (wbo1.6) R 3867 3869 1159 0 -1 4202496 45544 0 0 0 34039 192 0 0 25 0 1 0 819583617 187842560 45447 33554432000 4194304 5714214 140735548580144 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3869/statm: 45860 45447 180 372 0 45485 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 183440

[startup+402.301 s]
/proc/loadavg: 2.02 2.04 2.01 3/518 3880
/proc/meminfo: memFree=20579644/32950928 swapFree=34259960/67111528
[pid=3869] ppid=3867 vsize=209468 CPUtime=402.31 cores=1,3,5,7
/proc/3869/stat : 3869 (wbo1.6) R 3867 3869 1159 0 -1 4202496 52061 0 0 0 40007 224 0 0 25 0 1 0 819583617 214495232 51964 33554432000 4194304 5714214 140735548580144 18446744073709551615 4323050 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3869/statm: 52367 51964 180 372 0 51992 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 209468

[startup+462.301 s]
/proc/loadavg: 2.05 2.04 2.01 3/518 3937
/proc/meminfo: memFree=21104180/32950928 swapFree=34259960/67111528
[pid=3869] ppid=3867 vsize=231896 CPUtime=462.31 cores=1,3,5,7
/proc/3869/stat : 3869 (wbo1.6) R 3867 3869 1159 0 -1 4202496 57605 0 0 0 45964 267 0 0 25 0 1 0 819583617 237461504 57508 33554432000 4194304 5714214 140735548580144 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3869/statm: 57974 57508 180 372 0 57599 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 231896

[startup+522.301 s]
/proc/loadavg: 2.02 2.03 2.00 3/518 3939
/proc/meminfo: memFree=21052452/32950928 swapFree=34259960/67111528
[pid=3869] ppid=3867 vsize=253156 CPUtime=522.31 cores=1,3,5,7
/proc/3869/stat : 3869 (wbo1.6) R 3867 3869 1159 0 -1 4202496 62861 0 0 0 51927 304 0 0 25 0 1 0 819583617 259231744 62764 33554432000 4194304 5714214 140735548580144 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3869/statm: 63289 62764 180 372 0 62914 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 253156

[startup+582.301 s]
/proc/loadavg: 2.00 2.02 2.00 4/518 3940
/proc/meminfo: memFree=20996996/32950928 swapFree=34259960/67111528
[pid=3869] ppid=3867 vsize=273348 CPUtime=582.32 cores=1,3,5,7
/proc/3869/stat : 3869 (wbo1.6) R 3867 3869 1159 0 -1 4202496 67902 0 0 0 57890 342 0 0 25 0 1 0 819583617 279908352 67805 33554432000 4194304 5714214 140735548580144 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3869/statm: 68337 67805 180 372 0 67962 0
Current children cumulated CPU time (s) 582.32
Current children cumulated vsize (KiB) 273348

[startup+642.301 s]

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

[startup+822.301 s]
/proc/loadavg: 2.07 2.04 2.01 3/518 3947
/proc/meminfo: memFree=20791936/32950928 swapFree=34259960/67111528
[pid=3869] ppid=3867 vsize=356924 CPUtime=822.33 cores=1,3,5,7
/proc/3869/stat : 3869 (wbo1.6) R 3867 3869 1159 0 -1 4202496 88754 0 0 0 81745 488 0 0 25 0 1 0 819583617 365490176 88657 33554432000 4194304 5714214 140735548580144 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3869/statm: 89231 88657 180 372 0 88856 0
Current children cumulated CPU time (s) 822.33
Current children cumulated vsize (KiB) 356924

[startup+882.301 s]
/proc/loadavg: 2.02 2.03 2.00 3/518 3948
/proc/meminfo: memFree=20721304/32950928 swapFree=34259960/67111528
[pid=3869] ppid=3867 vsize=374024 CPUtime=882.33 cores=1,3,5,7
/proc/3869/stat : 3869 (wbo1.6) R 3867 3869 1159 0 -1 4202496 93037 0 0 0 87711 522 0 0 25 0 1 0 819583617 383000576 92940 33554432000 4194304 5714214 140735548580144 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3869/statm: 93506 92940 180 372 0 93131 0
Current children cumulated CPU time (s) 882.33
Current children cumulated vsize (KiB) 374024

[startup+942.3 s]
/proc/loadavg: 2.12 2.05 2.01 3/518 3950
/proc/meminfo: memFree=20701428/32950928 swapFree=34259960/67111528
[pid=3869] ppid=3867 vsize=394520 CPUtime=942.33 cores=1,3,5,7
/proc/3869/stat : 3869 (wbo1.6) R 3867 3869 1159 0 -1 4202496 98155 0 0 0 93668 565 0 0 25 0 1 0 819583617 403988480 98058 33554432000 4194304 5714214 140735548580144 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3869/statm: 98630 98058 180 372 0 98255 0
Current children cumulated CPU time (s) 942.33
Current children cumulated vsize (KiB) 394520

[startup+1002.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/518 3960
/proc/meminfo: memFree=20679292/32950928 swapFree=34259960/67111528
[pid=3869] ppid=3867 vsize=414848 CPUtime=1002.33 cores=1,3,5,7
/proc/3869/stat : 3869 (wbo1.6) R 3867 3869 1159 0 -1 4202496 103206 0 0 0 99631 602 0 0 25 0 1 0 819583617 424804352 103109 33554432000 4194304 5714214 140735548580144 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3869/statm: 103712 103109 180 372 0 103337 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 414848

[startup+1062.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/518 3962
/proc/meminfo: memFree=20654664/32950928 swapFree=34259960/67111528
[pid=3869] ppid=3867 vsize=439804 CPUtime=1062.33 cores=1,3,5,7
/proc/3869/stat : 3869 (wbo1.6) R 3867 3869 1159 0 -1 4202496 109440 0 0 0 105590 643 0 0 25 0 1 0 819583617 450359296 109343 33554432000 4194304 5714214 140735548580144 18446744073709551615 4319768 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3869/statm: 109951 109343 180 372 0 109576 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 439804

[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/518 3964
/proc/meminfo: memFree=20634160/32950928 swapFree=34259960/67111528
[pid=3869] ppid=3867 vsize=459068 CPUtime=1122.34 cores=1,3,5,7
/proc/3869/stat : 3869 (wbo1.6) R 3867 3869 1159 0 -1 4202496 114266 0 0 0 111551 683 0 0 25 0 1 0 819583617 470085632 114169 33554432000 4194304 5714214 140735548580144 18446744073709551615 4319737 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3869/statm: 114767 114169 180 372 0 114392 0
Current children cumulated CPU time (s) 1122.34
Current children cumulated vsize (KiB) 459068

[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/518 3965
/proc/meminfo: memFree=20609684/32950928 swapFree=34259960/67111528
[pid=3869] ppid=3867 vsize=483324 CPUtime=1182.34 cores=1,3,5,7
/proc/3869/stat : 3869 (wbo1.6) R 3867 3869 1159 0 -1 4202496 120333 0 0 0 117509 725 0 0 25 0 1 0 819583617 494923776 120236 33554432000 4194304 5714214 140735548580144 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3869/statm: 120831 120236 180 372 0 120456 0
Current children cumulated CPU time (s) 1182.34
Current children cumulated vsize (KiB) 483324

[startup+1242.3 s]
/proc/loadavg: 2.12 2.04 2.01 3/518 3970
/proc/meminfo: memFree=20586388/32950928 swapFree=34259960/67111528
[pid=3869] ppid=3867 vsize=505664 CPUtime=1242.35 cores=1,3,5,7
/proc/3869/stat : 3869 (wbo1.6) R 3867 3869 1159 0 -1 4202496 125908 0 0 0 123467 768 0 0 25 0 1 0 819583617 517799936 125811 33554432000 4194304 5714214 140735548580144 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3869/statm: 126416 125811 180 372 0 126041 0
Current children cumulated CPU time (s) 1242.35
Current children cumulated vsize (KiB) 505664

[startup+1302.3 s]
/proc/loadavg: 2.09 2.05 2.01 3/518 3971
/proc/meminfo: memFree=20565208/32950928 swapFree=34259960/67111528
[pid=3869] ppid=3867 vsize=526356 CPUtime=1302.35 cores=1,3,5,7
/proc/3869/stat : 3869 (wbo1.6) R 3867 3869 1159 0 -1 4202496 131070 0 0 0 129431 804 0 0 25 0 1 0 819583617 538988544 130973 33554432000 4194304 5714214 140735548580144 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3869/statm: 131589 130973 180 372 0 131214 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 526356

[startup+1362.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/518 3973
/proc/meminfo: memFree=20552272/32950928 swapFree=34259960/67111528
[pid=3869] ppid=3867 vsize=540768 CPUtime=1362.35 cores=1,3,5,7
/proc/3869/stat : 3869 (wbo1.6) R 3867 3869 1159 0 -1 4202496 134634 0 0 0 135398 837 0 0 25 0 1 0 819583617 553746432 134537 33554432000 4194304 5714214 140735548580144 18446744073709551615 4319355 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3869/statm: 135192 134537 180 372 0 134817 0
Current children cumulated CPU time (s) 1362.35
Current children cumulated vsize (KiB) 540768

[startup+1422.32 s]
/proc/loadavg: 2.17 2.06 2.01 3/518 3975
/proc/meminfo: memFree=20528404/32950928 swapFree=34259960/67111528
[pid=3869] ppid=3867 vsize=564432 CPUtime=1422.37 cores=1,3,5,7
/proc/3869/stat : 3869 (wbo1.6) R 3867 3869 1159 0 -1 4202496 140550 0 0 0 141361 876 0 0 25 0 1 0 819583617 577978368 140453 33554432000 4194304 5714214 140735548580144 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3869/statm: 141108 140453 180 372 0 140733 0
Current children cumulated CPU time (s) 1422.37
Current children cumulated vsize (KiB) 564432

[startup+1482.3 s]
/proc/loadavg: 2.07 2.05 2.01 3/518 3976
/proc/meminfo: memFree=20513736/32950928 swapFree=34259960/67111528
[pid=3869] ppid=3867 vsize=579652 CPUtime=1482.36 cores=1,3,5,7
/proc/3869/stat : 3869 (wbo1.6) R 3867 3869 1159 0 -1 4202496 144338 0 0 0 147317 919 0 0 25 0 1 0 819583617 593563648 144241 33554432000 4194304 5714214 140735548580144 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3869/statm: 144913 144241 180 372 0 144538 0
Current children cumulated CPU time (s) 1482.36
Current children cumulated vsize (KiB) 579652

[startup+1542.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/518 3978
/proc/meminfo: memFree=20492116/32950928 swapFree=34259960/67111528
[pid=3869] ppid=3867 vsize=600700 CPUtime=1542.35 cores=1,3,5,7
/proc/3869/stat : 3869 (wbo1.6) R 3867 3869 1159 0 -1 4202496 149620 0 0 0 153277 958 0 0 25 0 1 0 819583617 615116800 149523 33554432000 4194304 5714214 140735548580144 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3869/statm: 150175 149523 180 372 0 149800 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 600700

[startup+1602.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/518 3979
/proc/meminfo: memFree=20469640/32950928 swapFree=34259960/67111528
[pid=3869] ppid=3867 vsize=623348 CPUtime=1602.36 cores=1,3,5,7
/proc/3869/stat : 3869 (wbo1.6) R 3867 3869 1159 0 -1 4202496 155240 0 0 0 159235 1001 0 0 25 0 1 0 819583617 638308352 155143 33554432000 4194304 5714214 140735548580144 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3869/statm: 155837 155143 180 372 0 155462 0
Current children cumulated CPU time (s) 1602.36
Current children cumulated vsize (KiB) 623348

[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/518 3981
/proc/meminfo: memFree=20446292/32950928 swapFree=34259960/67111528
[pid=3869] ppid=3867 vsize=646124 CPUtime=1662.36 cores=1,3,5,7
/proc/3869/stat : 3869 (wbo1.6) R 3867 3869 1159 0 -1 4202496 160953 0 0 0 165195 1041 0 0 25 0 1 0 819583617 661630976 160856 33554432000 4194304 5714214 140735548580144 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3869/statm: 161531 160856 180 372 0 161156 0
Current children cumulated CPU time (s) 1662.36
Current children cumulated vsize (KiB) 646124

[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/518 3983
/proc/meminfo: memFree=20425408/32950928 swapFree=34259960/67111528
[pid=3869] ppid=3867 vsize=666352 CPUtime=1722.36 cores=1,3,5,7
/proc/3869/stat : 3869 (wbo1.6) R 3867 3869 1159 0 -1 4202496 166021 0 0 0 171154 1082 0 0 25 0 1 0 819583617 682344448 165924 33554432000 4194304 5714214 140735548580144 18446744073709551615 4319395 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3869/statm: 166588 165924 180 372 0 166213 0
Current children cumulated CPU time (s) 1722.36
Current children cumulated vsize (KiB) 666352

[startup+1782.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/518 3984
/proc/meminfo: memFree=20401932/32950928 swapFree=34259960/67111528
[pid=3869] ppid=3867 vsize=689164 CPUtime=1782.37 cores=1,3,5,7
/proc/3869/stat : 3869 (wbo1.6) R 3867 3869 1159 0 -1 4202496 171687 0 0 0 177117 1120 0 0 25 0 1 0 819583617 705703936 171590 33554432000 4194304 5714214 140735548580144 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3869/statm: 172291 171590 180 372 0 171916 0
Current children cumulated CPU time (s) 1782.37
Current children cumulated vsize (KiB) 689164



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.08 2.04 2.00 3/518 3985
/proc/meminfo: memFree=20397576/32950928 swapFree=34259960/67111528
[pid=3869] ppid=3867 vsize=694080 CPUtime=1800.08 cores=1,3,5,7
/proc/3869/stat : 3869 (wbo1.6) R 3867 3869 1159 0 -1 4202496 172936 0 0 0 178878 1130 0 0 25 0 1 0 819583617 710737920 172839 33554432000 4194304 5714214 140735548580144 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/3869/statm: 173520 172839 180 372 0 173145 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 694080

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.05
CPU time (s): 1800.13
CPU user time (s): 1788.79
CPU system time (s): 11.3343
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 694080

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1788.79
system time used= 11.3343
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 172936
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= 2667

runsolver used 8.91464 second user time and 22.0836 second system time

The end

Launcher Data 

Begin job on node149 at 2011-06-03 07:44:29
IDJOB=3460889
IDBENCH=2007
IDSOLVER=1953
FILE ID=node149/3460889-1307079869
RUNJOBID= node149-1307068846-2187
PBS_JOBID= 13497837
Free space on /tmp= 73524 MiB

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

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

MD5SUM BENCH= ff9be653d1d3ea3b1a82846016e94df6
RANDOM SEED=1293238731

node149.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.806
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.61
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.806
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.83
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.806
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.806
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.73
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.806
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.806
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.806
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.806
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      20791528 kB
Buffers:        318040 kB
Cached:        3437128 kB
SwapCached:     123196 kB
Active:         838804 kB
Inactive:     10982572 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      20791528 kB
SwapTotal:    67111528 kB
SwapFree:     34259960 kB
Dirty:            4288 kB
Writeback:           0 kB
AnonPages:     7967488 kB
Mapped:          18692 kB
Slab:           148912 kB
PageTables:     118524 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 173697280 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= 73520 MiB
End job on node149 at 2011-06-03 08:14:31