Trace number 3461456

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.06 1800.16

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-jnh218.opb
MD5SUMcba4f92fd2fe518316e4b3350164b448
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark90
Best CPU time to get the best result obtained on this benchmark0.007997
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 90
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-3461456-1307091794.opb.
0.00/0.00	c Instance file HOME/instance-3461456-1307091794.opb
0.00/0.00	c File size is 38737 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     4021 |     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: 2	Core Weight: 4	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 #2
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 4	Core Weight: 1	Total Weight: 5
0.00/0.02	c Current CPU time: 0.003999 s
0.00/0.02	c
0.00/0.02	c core #3
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 4	Core Weight: 1	Total Weight: 6
0.00/0.02	c Current CPU time: 0.003999 s
0.00/0.02	c
0.00/0.02	c core #4
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.004999 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: 8
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: 4	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 #7
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 4	Core Weight: 1	Total Weight: 10
0.00/0.02	c Current CPU time: 0.005999 s
0.00/0.02	c
0.00/0.02	c core #8
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 9	Core Weight: 1	Total Weight: 11
0.00/0.02	c Current CPU time: 0.005999 s
0.00/0.02	c
0.00/0.02	c core #9
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 8	Core Weight: 1	Total Weight: 12
0.00/0.02	c Current CPU time: 0.006998 s
0.00/0.02	c
0.00/0.02	c core #10
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 4	Core Weight: 1	Total Weight: 13
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: 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 #12
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 3	Core Weight: 1	Total Weight: 15
0.00/0.02	c Current CPU time: 0.007998 s
0.00/0.02	c
0.00/0.02	c core #13
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 3	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 #14
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 6	Core Weight: 1	Total Weight: 17
0.00/0.02	c Current CPU time: 0.008998 s
0.00/0.02	c
0.00/0.02	c core #15
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 5	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 #16
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 3	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 #17
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 8	Core Weight: 1	Total Weight: 20
0.00/0.02	c Current CPU time: 0.009998 s
0.00/0.02	c
0.00/0.02	c core #18
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 3	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 #19
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 7	Core Weight: 1	Total Weight: 22
0.00/0.02	c Current CPU time: 0.010998 s
0.00/0.02	c
0.00/0.02	c core #20
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 7	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 #21
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 3	Core Weight: 1	Total Weight: 24
0.00/0.02	c Current CPU time: 0.011998 s
0.00/0.02	c
0.00/0.02	c core #22
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 #23
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 #24
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 6	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 #25
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 4	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 #26
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 #27
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 #28
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 5	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 #29
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 #30
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 4	Core Weight: 1	Total Weight: 33
0.00/0.02	c Current CPU time: 0.016997 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: 3	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 #32
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 #33
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 4	Core Weight: 1	Total Weight: 36
0.00/0.02	c Current CPU time: 0.017997 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: 3	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 #35
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 3	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 #36
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 3	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 #37
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 3	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 #38
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 4	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 #39
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 5	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 #40
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 5	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 #41
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 4	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 #42
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 4	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 #43
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 3	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 core #44
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 3	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 core #45
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 8	Core Weight: 1	Total Weight: 48
0.00/0.02	c Current CPU time: 0.023996 s
0.00/0.02	c
0.00/0.02	c core #46
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 7	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 core #47
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 17	Core Weight: 1	Total Weight: 50
0.00/0.02	c Current CPU time: 0.024996 s
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: 32	Core Weight: 1	Total Weight: 51
0.00/0.02	c Current CPU time: 0.025996 s
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: 45	Core Weight: 1	Total Weight: 52
0.00/0.02	c Current CPU time: 0.025996 s
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: 14	Core Weight: 1	Total Weight: 53
0.00/0.02	c Current CPU time: 0.026995 s
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: 54
0.00/0.02	c Current CPU time: 0.027995 s
0.00/0.02	c
0.00/0.02	c core #52
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 33	Core Weight: 1	Total Weight: 55
0.00/0.02	c Current CPU time: 0.027995 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 |     400     1130     4608 |     5000        0   -nan |  0.000 % |
0.00/0.02	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: 24	Core Weight: 1	Total Weight: 56
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 |     415     1131     4639 |     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: 19	Core Weight: 1	Total Weight: 57
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 |     411     1133     4649 |     5000        0   -nan |  0.000 % |
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: 26	Core Weight: 1	Total Weight: 58
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 |     425     1134     4677 |     5000        0   -nan |  0.000 % |
0.00/0.03	c ===============================================================================
0.00/0.03	c core #56
0.00/0.03	c 
0.00/0.03	c 
0.00/0.03	c Core size: 18	Core Weight: 1	Total Weight: 59
0.00/0.03	c Current CPU time: 0.030995 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 |     426     1136     4692 |     5000        0   -nan |  0.000 % |
0.00/0.03	c ===============================================================================
0.00/0.03	c core #57
0.00/0.03	c 
0.00/0.03	c 
0.00/0.03	c Core size: 47	Core Weight: 1	Total Weight: 60
0.00/0.03	c Current CPU time: 0.031995 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 |     455     1137     4746 |     5000        0   -nan |  0.000 % |
0.00/0.03	c ===============================================================================
0.00/0.03	c core #58
0.00/0.03	c 
0.00/0.03	c 
0.00/0.03	c Core size: 43	Core Weight: 1	Total Weight: 61
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 |     481     1138     4799 |     5000        0   -nan |  0.000 % |
0.00/0.03	c ===============================================================================
0.00/0.03	c core #59
0.00/0.03	c 
0.00/0.03	c 
0.00/0.03	c Core size: 30	Core Weight: 1	Total Weight: 62
0.00/0.03	c Current CPU time: 0.033994 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 |     481     1140     4823 |     5000        0   -nan |  0.000 % |
0.00/0.03	c ===============================================================================
0.00/0.03	c core #60
0.00/0.03	c 
0.00/0.03	c 
0.00/0.03	c Core size: 65	Core Weight: 1	Total Weight: 63
0.00/0.03	c Current CPU time: 0.034994 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 |     517     1141     4896 |     5000        0   -nan |  0.000 % |
0.00/0.03	c ===============================================================================
0.00/0.03	c core #61
0.00/0.03	c 
0.00/0.03	c 
0.00/0.03	c Core size: 121	Core Weight: 1	Total Weight: 64
0.00/0.03	c Current CPU time: 0.036994 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 |     603     1145     5077 |     5000        0   -nan |  0.000 % |
0.00/0.04	c ===============================================================================
0.00/0.04	c core #62
0.00/0.04	c 
0.00/0.04	c 
0.00/0.04	c Core size: 82	Core Weight: 1	Total Weight: 65
0.00/0.04	c Current CPU time: 0.038994 s
0.00/0.04	c
0.00/0.04	c ============================[ Search Statistics ]==============================
0.00/0.04	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.04	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.04	c ===============================================================================
0.00/0.04	c |         0 |     639     1148     5159 |     5000        0   -nan |  0.000 % |
0.00/0.04	c |       103 |     639     1148     5159 |     5500      103     29 |  4.203 % |
0.00/0.04	c ===============================================================================
0.00/0.04	c core #63
0.00/0.04	c 
0.00/0.04	c 
0.00/0.04	c Core size: 101	Core Weight: 1	Total Weight: 66
0.00/0.04	c Current CPU time: 0.043993 s
0.00/0.04	c
0.00/0.04	c ============================[ Search Statistics ]==============================
0.00/0.04	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.04	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.04	c ===============================================================================
0.00/0.04	c |         0 |     706     1154     5307 |     5000        0   -nan |  0.000 % |
0.00/0.04	c |       104 |     706     1154     5307 |     5500      104     66 |  3.819 % |
0.00/0.05	c |       256 |     690     1154     5307 |     6050      256     44 |  5.995 % |
0.00/0.05	c |       482 |     686     1154     5307 |     6655      482     30 |  6.542 % |
0.00/0.06	c ===============================================================================
0.00/0.06	c core #64
0.00/0.06	c 
0.00/0.06	c 
0.00/0.06	c Core size: 124	Core Weight: 1	Total Weight: 67
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 |     756     1170     5477 |     5000        0   -nan |  0.000 % |
0.00/0.06	c |       106 |     756     1170     5477 |     5500      106     82 |  5.502 % |
0.00/0.07	c |       260 |     756     1170     5477 |     6050      260     49 |  5.500 % |
0.00/0.07	c |       486 |     756     1170     5477 |     6655      486     39 |  5.501 % |
0.07/0.08	c |       824 |     750     1170     5477 |     7320      824     33 |  6.500 % |
0.07/0.09	c |      1333 |     745     1170     5477 |     8052     1333     34 |  7.001 % |
0.09/0.13	c |      2095 |     732     1170     5477 |     8857     2095     37 | 11.509 % |
0.09/0.14	c ===============================================================================
0.09/0.15	c core #65
0.09/0.15	c 
0.09/0.15	c 
0.09/0.15	c Core size: 162	Core Weight: 1	Total Weight: 68
0.09/0.15	c Current CPU time: 0.146977 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 |     819     1186     5644 |     5000        0   -nan |  0.000 % |
0.09/0.15	c |       102 |     819     1186     5644 |     5500      102     94 |  5.099 % |
0.09/0.16	c |       252 |     819     1186     5644 |     6050      252     59 |  5.099 % |
0.09/0.16	c ===============================================================================
0.09/0.16	c core #66
0.09/0.16	c 
0.09/0.16	c 
0.09/0.16	c Core size: 133	Core Weight: 1	Total Weight: 69
0.09/0.16	c Current CPU time: 0.160975 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 |     864     1193     5751 |     5000        0   -nan |  0.000 % |
0.09/0.17	c |       101 |     864     1193     5751 |     5500      101     42 |  4.847 % |
0.09/0.17	c |       251 |     864     1193     5751 |     6050      251     34 |  4.847 % |
0.09/0.17	c |       478 |     860     1193     5751 |     6655      478     27 |  5.287 % |
0.09/0.18	c |       816 |     858     1193     5751 |     7320      816     25 |  5.507 % |
0.09/0.19	c ===============================================================================
0.19/0.20	c core #67
0.19/0.20	c 
0.19/0.20	c 
0.19/0.20	c Core size: 140	Core Weight: 1	Total Weight: 70
0.19/0.20	c Current CPU time: 0.19197 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 |     907     1233     5950 |     5000        0   -nan |  0.000 % |
0.19/0.20	c |       101 |     907     1233     5950 |     5500      101     54 |  5.027 % |
0.19/0.20	c |       251 |     907     1233     5950 |     6050      251     37 |  5.026 % |
0.19/0.21	c |       477 |     907     1233     5950 |     6655      477     30 |  5.026 % |
0.19/0.22	c |       817 |     907     1233     5950 |     7320      817     29 |  5.027 % |
0.19/0.23	c |      1325 |     907     1233     5950 |     8052     1325     29 |  5.030 % |
0.19/0.25	c |      2086 |     907     1233     5950 |     8857     2086     29 |  5.027 % |
0.29/0.30	c |      3227 |     873     1233     5950 |     9743     3227     31 |  8.593 % |
0.29/0.38	c |      4937 |     857     1233     5950 |    10717     4937     31 | 10.268 % |
0.49/0.52	c ===============================================================================
0.49/0.55	c core #68
0.49/0.55	c 
0.49/0.55	c 
0.49/0.55	c Core size: 175	Core Weight: 1	Total Weight: 71
0.49/0.55	c Current CPU time: 0.536918 s
0.49/0.55	c
0.49/0.55	c ============================[ Search Statistics ]==============================
0.49/0.55	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.49/0.55	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.49/0.55	c ===============================================================================
0.49/0.55	c |         0 |     969     1241     6092 |     5000        0   -nan |  0.000 % |
0.49/0.55	c |       100 |     969     1241     6092 |     5500      100     80 |  4.720 % |
0.49/0.55	c |       256 |     969     1241     6092 |     6050      256     51 |  4.731 % |
0.49/0.56	c |       482 |     962     1241     6092 |     6655      482     39 |  5.512 % |
0.49/0.57	c |       819 |     961     1241     6092 |     7320      819     42 |  5.506 % |
0.49/0.58	c |      1326 |     961     1241     6092 |     8052     1326     45 |  5.516 % |
0.59/0.61	c |      2086 |     961     1241     6092 |     8857     2086     48 |  5.506 % |
0.59/0.67	c |      3225 |     961     1241     6092 |     9743     3225     47 |  5.507 % |
0.69/0.76	c |      4933 |     961     1241     6092 |    10717     4933     49 |  5.506 % |
0.89/0.96	c |      7496 |     961     1241     6092 |    11789     7496     50 |  5.507 % |
1.29/1.31	c |     11340 |     961     1241     6092 |    12968    11340     51 |  5.520 % |
1.79/1.87	c |     17106 |     961     1241     6092 |    14265    10459     50 |  5.507 % |
2.49/2.57	c |     25755 |     961     1241     6092 |    15692    11843     48 |  5.506 % |
3.70/3.77	c |     38730 |     961     1241     6092 |    17261     8829     47 |  5.506 % |
5.39/5.87	c |     58193 |     925     1241     6092 |    18987    10757     48 |  9.046 % |
9.89/9.97	c |     87390 |     869     1241     6092 |    20886    11084     59 | 14.946 % |
10.19/10.23	c ===============================================================================
10.39/10.47	c core #69
10.39/10.47	c 
10.39/10.47	c 
10.39/10.47	c Core size: 192	Core Weight: 1	Total Weight: 72
10.39/10.47	c Current CPU time: 10.3624 s
10.39/10.47	c
10.39/10.47	c ============================[ Search Statistics ]==============================
10.39/10.47	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
10.39/10.47	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
10.39/10.47	c ===============================================================================
10.39/10.47	c |         0 |    1027     1250     6235 |     5000        0   -nan |  0.000 % |
10.39/10.48	c |       100 |    1027     1250     6235 |     5500      100     89 |  5.171 % |
10.39/10.48	c |       251 |    1027     1250     6235 |     6050      251     51 |  5.171 % |
10.39/10.48	c |       478 |    1019     1250     6235 |     6655      478     40 |  5.910 % |
10.39/10.49	c |       815 |    1018     1250     6235 |     7320      815     38 |  6.094 % |
10.49/10.51	c |      1321 |    1016     1250     6235 |     8052     1321     35 |  6.464 % |
10.49/10.54	c |      2080 |    1013     1250     6235 |     8857     2080     37 |  6.464 % |
10.59/10.60	c |      3219 |     965     1250     6235 |     9743     3219     38 | 10.896 % |
10.59/10.69	c |      4927 |     964     1250     6235 |    10717     4927     41 | 11.080 % |
10.90/10.94	c |      7491 |     963     1250     6235 |    11789     7491     48 | 11.080 % |
11.39/11.41	c |     11337 |     963     1250     6235 |    12968    11337     52 | 11.081 % |
11.99/12.09	c |     17104 |     963     1250     6235 |    14265    10479     61 | 11.088 % |
12.19/12.29	c ===============================================================================
12.29/12.37	c core #70
12.29/12.37	c 
12.29/12.37	c 
12.29/12.37	c Core size: 154	Core Weight: 1	Total Weight: 73
12.29/12.37	c Current CPU time: 12.2811 s
12.29/12.37	c
12.29/12.37	c ============================[ Search Statistics ]==============================
12.29/12.37	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
12.29/12.37	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
12.29/12.37	c ===============================================================================
12.29/12.37	c |         0 |    1063     1262     6348 |     5000        0   -nan |  0.000 % |
12.29/12.37	c |       100 |    1061     1262     6348 |     5500      100     36 |  6.355 % |
12.29/12.38	c |       251 |    1061     1262     6348 |     6050      251     38 |  6.355 % |
12.29/12.38	c |       476 |    1061     1262     6348 |     6655      476     40 |  6.362 % |
12.29/12.39	c |       813 |    1061     1262     6348 |     7320      813     42 |  6.355 % |
12.39/12.41	c |      1323 |    1061     1262     6348 |     8052     1323     42 |  6.355 % |
12.39/12.43	c |      2086 |    1061     1262     6348 |     8857     2086     43 |  6.355 % |
12.39/12.48	c |      3225 |    1061     1262     6348 |     9743     3225     48 |  6.355 % |
12.49/12.58	c |      4933 |    1061     1262     6348 |    10717     4933     52 |  6.355 % |
12.79/12.83	c |      7495 |    1061     1262     6348 |    11789     7495     53 |  6.355 % |
13.19/13.24	c |     11339 |    1061     1262     6348 |    12968    11339     58 |  6.355 % |
14.11/14.13	c |     17105 |    1061     1262     6348 |    14265    10432     62 |  6.355 % |
15.29/15.38	c |     25763 |    1061     1262     6348 |    15692    11786     66 |  6.355 % |
17.41/17.46	c |     38738 |    1061     1262     6348 |    17261     8707     59 |  6.355 % |
19.89/19.98	c |     58199 |    1061     1262     6348 |    18987    10563     54 |  6.355 % |
25.79/25.81	c |     87392 |    1061     1262     6348 |    20886    10773     56 |  6.355 % |
35.29/35.34	c |    131183 |    1057     1262     6348 |    22974    12080     53 |  6.708 % |
48.21/48.22	c |    196867 |    1057     1262     6348 |    25272    19124     75 |  6.708 % |
74.51/74.54	c |    295394 |    1051     1262     6348 |    27799    14249     79 |  7.238 % |
115.20/115.31	c |    443184 |    1051     1262     6348 |    30579    24272     98 |  7.238 % |
116.79/116.80	c ===============================================================================
119.39/119.43	c core #71
119.39/119.43	c 
119.39/119.43	c 
119.39/119.43	c Core size: 201	Core Weight: 1	Total Weight: 74
119.39/119.43	c Current CPU time: 118.709 s
119.39/119.43	c
119.39/119.43	c ============================[ Search Statistics ]==============================
119.39/119.43	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
119.39/119.43	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
119.39/119.43	c ===============================================================================
119.39/119.43	c |         0 |    1138     1276     6541 |     5000        0   -nan |  0.000 % |
119.39/119.43	c |       101 |    1138     1276     6541 |     5500      101     83 |  6.722 % |
119.39/119.44	c |       254 |    1138     1276     6541 |     6050      254     53 |  6.721 % |
119.39/119.44	c |       479 |    1138     1276     6541 |     6655      479     57 |  6.726 % |
119.39/119.45	c |       820 |    1138     1276     6541 |     7320      820     47 |  6.721 % |
119.39/119.47	c |      1326 |    1138     1276     6541 |     8052     1326     51 |  6.721 % |
119.39/119.49	c |      2086 |    1138     1276     6541 |     8857     2086     51 |  6.721 % |
119.49/119.55	c |      3225 |    1138     1276     6541 |     9743     3225     64 |  6.721 % |
119.60/119.64	c |      4939 |    1138     1276     6541 |    10717     4939     64 |  6.721 % |
119.71/119.79	c |      7503 |    1138     1276     6541 |    11789     7503     65 |  6.721 % |
120.09/120.17	c |     11350 |    1138     1276     6541 |    12968    11350     67 |  6.721 % |
120.70/120.80	c |     17116 |    1138     1276     6541 |    14265    10418     71 |  6.721 % |
121.69/121.80	c |     25768 |    1138     1276     6541 |    15692    11741     75 |  6.721 % |
122.91/122.99	c |     38742 |    1138     1276     6541 |    17261     8648     50 |  6.721 % |
125.29/125.35	c |     58205 |    1138     1276     6541 |    18987    10433     61 |  6.721 % |
130.19/130.20	c |     87402 |    1138     1276     6541 |    20886    10500     64 |  6.721 % |
138.41/138.42	c |    131191 |    1138     1276     6541 |    22974    11836     90 |  6.724 % |
155.59/155.70	c |    196877 |    1138     1276     6541 |    25272    19089     95 |  6.721 % |
178.68/178.71	c |    295405 |    1138     1276     6541 |    27799    13283     71 |  6.721 % |
217.78/217.80	c |    443194 |    1138     1276     6541 |    30579    24058    132 |  6.721 % |
284.47/284.52	c |    664879 |    1098     1276     6541 |    33637    15847     70 | 10.000 % |
379.49/379.53	c |    997406 |    1098     1276     6541 |    37001    16491     84 | 10.000 % |
569.26/569.39	c |   1496196 |    1098     1276     6541 |    40701    36624     95 | 10.000 % |
839.95/840.03	c |   2244381 |    1098     1276     6541 |    44771    19145     95 | 10.000 % |
1298.22/1298.34	c |   3366659 |    1098     1276     6541 |    49248    26256     85 | 10.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-3461456-1307091794/watcher-3461456-1307091794 -o /tmp/evaluation-result-3461456-1307091794/solver-3461456-1307091794 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461456-1307091794.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: 0.95 1.51 1.79 5/529 28753
/proc/meminfo: memFree=15270552/32951132 swapFree=46579808/67111528
[pid=28749] ppid=28747 vsize=2772 CPUtime=0.06 cores=0,2,4,6
/proc/28749/stat : 28749 (wbo1.6) R 28747 28749 28716 0 -1 4202496 502 0 0 0 6 0 0 0 18 0 1 0 820778066 2838528 445 33554432000 4194304 5714214 140735689334864 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/28749/statm: 693 445 180 372 0 318 0

[startup+0.077513 s]
/proc/loadavg: 0.95 1.51 1.79 5/529 28753
/proc/meminfo: memFree=15270552/32951132 swapFree=46579808/67111528
[pid=28749] ppid=28747 vsize=2772 CPUtime=0.07 cores=0,2,4,6
/proc/28749/stat : 28749 (wbo1.6) R 28747 28749 28716 0 -1 4202496 502 0 0 0 7 0 0 0 18 0 1 0 820778066 2838528 445 33554432000 4194304 5714214 140735689334864 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/28749/statm: 693 445 180 372 0 318 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2772

[startup+0.1005 s]
/proc/loadavg: 0.95 1.51 1.79 5/529 28753
/proc/meminfo: memFree=15270552/32951132 swapFree=46579808/67111528
[pid=28749] ppid=28747 vsize=2772 CPUtime=0.09 cores=0,2,4,6
/proc/28749/stat : 28749 (wbo1.6) R 28747 28749 28716 0 -1 4202496 503 0 0 0 9 0 0 0 18 0 1 0 820778066 2838528 446 33554432000 4194304 5714214 140735689334864 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/28749/statm: 693 446 180 372 0 318 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2772

[startup+0.300505 s]
/proc/loadavg: 0.95 1.51 1.79 5/529 28753
/proc/meminfo: memFree=15270552/32951132 swapFree=46579808/67111528
[pid=28749] ppid=28747 vsize=3568 CPUtime=0.29 cores=0,2,4,6
/proc/28749/stat : 28749 (wbo1.6) R 28747 28749 28716 0 -1 4202496 704 0 0 0 29 0 0 0 18 0 1 0 820778066 3653632 647 33554432000 4194304 5714214 140735689334864 18446744073709551615 4319314 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/28749/statm: 892 647 180 372 0 517 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3568

[startup+0.700424 s]
/proc/loadavg: 0.95 1.51 1.79 5/529 28753
/proc/meminfo: memFree=15270552/32951132 swapFree=46579808/67111528
[pid=28749] ppid=28747 vsize=5548 CPUtime=0.69 cores=0,2,4,6
/proc/28749/stat : 28749 (wbo1.6) R 28747 28749 28716 0 -1 4202496 1211 0 0 0 68 1 0 0 18 0 1 0 820778066 5681152 1154 33554432000 4194304 5714214 140735689334864 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/28749/statm: 1387 1154 180 372 0 1012 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5548

[startup+1.50024 s]
/proc/loadavg: 1.04 1.52 1.80 3/531 28755
/proc/meminfo: memFree=15262980/32951132 swapFree=46579808/67111528
[pid=28749] ppid=28747 vsize=8080 CPUtime=1.49 cores=0,2,4,6
/proc/28749/stat : 28749 (wbo1.6) R 28747 28749 28716 0 -1 4202496 1834 0 0 0 147 2 0 0 20 0 1 0 820778066 8273920 1777 33554432000 4194304 5714214 140735689334864 18446744073709551615 4319407 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/28749/statm: 2020 1777 180 372 0 1645 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8080

[startup+3.10102 s]
/proc/loadavg: 1.04 1.52 1.80 3/531 28782
/proc/meminfo: memFree=15260912/32951132 swapFree=46579808/67111528
[pid=28749] ppid=28747 vsize=11664 CPUtime=3.09 cores=0,2,4,6
/proc/28749/stat : 28749 (wbo1.6) R 28747 28749 28716 0 -1 4202496 2705 0 0 0 306 3 0 0 25 0 1 0 820778066 11943936 2648 33554432000 4194304 5714214 140735689334864 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/28749/statm: 2916 2648 180 372 0 2541 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11664

[startup+7.54821 s]
/proc/loadavg: 1.27 1.56 1.81 3/531 28782
/proc/meminfo: memFree=15249044/32951132 swapFree=46579808/67111528
[pid=28749] ppid=28747 vsize=18912 CPUtime=7.54 cores=0,2,4,6
/proc/28749/stat : 28749 (wbo1.6) R 28747 28749 28716 0 -1 4202496 4476 0 0 0 748 6 0 0 25 0 1 0 820778066 19365888 4419 33554432000 4194304 5714214 140735689334864 18446744073709551615 4319420 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/28749/statm: 4728 4419 180 372 0 4353 0
Current children cumulated CPU time (s) 7.54
Current children cumulated vsize (KiB) 18912

[startup+12.7004 s]
/proc/loadavg: 1.33 1.57 1.81 3/531 28782
/proc/meminfo: memFree=15239796/32951132 swapFree=46579808/67111528
[pid=28749] ppid=28747 vsize=22764 CPUtime=12.69 cores=0,2,4,6
/proc/28749/stat : 28749 (wbo1.6) R 28747 28749 28716 0 -1 4202496 5480 0 0 0 1260 9 0 0 21 0 1 0 820778066 23310336 5385 33554432000 4194304 5714214 140735689334864 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/28749/statm: 5691 5385 180 372 0 5316 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 22764

[startup+25.5012 s]
/proc/loadavg: 1.43 1.58 1.81 3/531 28782
/proc/meminfo: memFree=15219044/32951132 swapFree=46579808/67111528
[pid=28749] ppid=28747 vsize=23300 CPUtime=25.5 cores=0,2,4,6
/proc/28749/stat : 28749 (wbo1.6) R 28747 28749 28716 0 -1 4202496 5664 0 0 0 2536 14 0 0 25 0 1 0 820778066 23859200 5569 33554432000 4194304 5714214 140735689334864 18446744073709551615 4319280 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/28749/statm: 5825 5569 180 372 0 5450 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 23300

[startup+51.1008 s]
/proc/loadavg: 1.71 1.63 1.82 3/531 28784
/proc/meminfo: memFree=15172272/32951132 swapFree=46579808/67111528
[pid=28749] ppid=28747 vsize=49340 CPUtime=51.09 cores=0,2,4,6
/proc/28749/stat : 28749 (wbo1.6) R 28747 28749 28716 0 -1 4202496 12047 0 0 0 5084 25 0 0 24 0 1 0 820778066 50524160 11952 33554432000 4194304 5714214 140735689334864 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/28749/statm: 12335 11952 180 372 0 11960 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 49340

[startup+102.301 s]
/proc/loadavg: 1.87 1.69 1.82 3/531 28784
/proc/meminfo: memFree=15139644/32951132 swapFree=46579808/67111528
[pid=28749] ppid=28747 vsize=81036 CPUtime=102.29 cores=0,2,4,6
/proc/28749/stat : 28749 (wbo1.6) R 28747 28749 28716 0 -1 4202496 19852 0 0 0 10187 42 0 0 25 0 1 0 820778066 82980864 19757 33554432000 4194304 5714214 140735689334864 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/28749/statm: 20259 19757 180 372 0 19884 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 81036

[startup+162.301 s]
/proc/loadavg: 1.95 1.74 1.83 3/531 28786
/proc/meminfo: memFree=15067076/32951132 swapFree=46579808/67111528
[pid=28749] ppid=28747 vsize=104748 CPUtime=162.28 cores=0,2,4,6
/proc/28749/stat : 28749 (wbo1.6) R 28747 28749 28716 0 -1 4202496 25873 0 0 0 16165 63 0 0 25 0 1 0 820778066 107261952 25718 33554432000 4194304 5714214 140735689334864 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/28749/statm: 26187 25718 180 372 0 25812 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 104748

[startup+222.3 s]
/proc/loadavg: 1.98 1.79 1.84 3/531 28791
/proc/meminfo: memFree=15047276/32951132 swapFree=46579808/67111528
[pid=28749] ppid=28747 vsize=104748 CPUtime=222.28 cores=0,2,4,6
/proc/28749/stat : 28749 (wbo1.6) R 28747 28749 28716 0 -1 4202496 26077 0 0 0 22147 81 0 0 25 0 1 0 820778066 107261952 25922 33554432000 4194304 5714214 140735689334864 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/28749/statm: 26187 25922 180 372 0 25812 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 104748

[startup+282.301 s]
/proc/loadavg: 2.04 1.84 1.85 3/531 28793
/proc/meminfo: memFree=15007004/32951132 swapFree=46579808/67111528
[pid=28749] ppid=28747 vsize=127444 CPUtime=282.27 cores=0,2,4,6
/proc/28749/stat : 28749 (wbo1.6) R 28747 28749 28716 0 -1 4202496 31475 0 0 0 28129 98 0 0 25 0 1 0 820778066 130502656 31320 33554432000 4194304 5714214 140735689334864 18446744073709551615 4319428 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/28749/statm: 31861 31320 180 372 0 31486 0
Current children cumulated CPU time (s) 282.27
Current children cumulated vsize (KiB) 127444

[startup+342.301 s]
/proc/loadavg: 2.11 1.89 1.86 3/531 28793
/proc/meminfo: memFree=14935824/32951132 swapFree=46579808/67111528
[pid=28749] ppid=28747 vsize=166140 CPUtime=342.27 cores=0,2,4,6
/proc/28749/stat : 28749 (wbo1.6) R 28747 28749 28716 0 -1 4202496 40939 0 0 0 34112 115 0 0 25 0 1 0 820778066 170127360 40784 33554432000 4194304 5714214 140735689334864 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/28749/statm: 41535 40784 180 372 0 41160 0
Current children cumulated CPU time (s) 342.27
Current children cumulated vsize (KiB) 166140

[startup+402.3 s]
/proc/loadavg: 2.08 1.92 1.88 3/531 28795
/proc/meminfo: memFree=14875544/32951132 swapFree=46579808/67111528
[pid=28749] ppid=28747 vsize=194688 CPUtime=402.27 cores=0,2,4,6
/proc/28749/stat : 28749 (wbo1.6) R 28747 28749 28716 0 -1 4202496 47901 0 0 0 40096 131 0 0 25 0 1 0 820778066 199360512 47746 33554432000 4194304 5714214 140735689334864 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/28749/statm: 48672 47746 180 372 0 48297 0
Current children cumulated CPU time (s) 402.27
Current children cumulated vsize (KiB) 194688

[startup+462.301 s]
/proc/loadavg: 2.09 1.95 1.89 3/531 28797
/proc/meminfo: memFree=14819732/32951132 swapFree=46579808/67111528
[pid=28749] ppid=28747 vsize=217504 CPUtime=462.27 cores=0,2,4,6
/proc/28749/stat : 28749 (wbo1.6) R 28747 28749 28716 0 -1 4202496 53543 0 0 0 46080 147 0 0 25 0 1 0 820778066 222724096 53388 33554432000 4194304 5714214 140735689334864 18446744073709551615 4319355 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/28749/statm: 54376 53388 180 372 0 54001 0
Current children cumulated CPU time (s) 462.27
Current children cumulated vsize (KiB) 217504

[startup+522.301 s]
/proc/loadavg: 2.03 1.96 1.89 3/531 28799
/proc/meminfo: memFree=14768264/32951132 swapFree=46579808/67111528
[pid=28749] ppid=28747 vsize=240224 CPUtime=522.26 cores=0,2,4,6
/proc/28749/stat : 28749 (wbo1.6) R 28747 28749 28716 0 -1 4202496 59131 0 0 0 52067 159 0 0 25 0 1 0 820778066 245989376 58976 33554432000 4194304 5714214 140735689334864 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/28749/statm: 60056 58976 180 372 0 59681 0
Current children cumulated CPU time (s) 522.26
Current children cumulated vsize (KiB) 240224

[startup+582.3 s]
/proc/loadavg: 2.08 1.99 1.91 3/531 28801
/proc/meminfo: memFree=14711968/32951132 swapFree=46579808/67111528
[pid=28749] ppid=28747 vsize=261628 CPUtime=582.26 cores=0,2,4,6
/proc/28749/stat : 28749 (wbo1.6) R 28747 28749 28716 0 -1 4202496 64336 0 0 0 58052 174 0 0 25 0 1 0 820778066 267907072 64181 33554432000 4194304 5714214 140735689334864 18446744073709551615 4320153 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/28749/statm: 65407 64181 180 372 0 65032 0
Current children cumulated CPU time (s) 582.26
Current children cumulated vsize (KiB) 261628

[startup+642.301 s]

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

[startup+822.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/531 28807
/proc/meminfo: memFree=14533492/32951132 swapFree=46579808/67111528
[pid=28749] ppid=28747 vsize=354952 CPUtime=822.25 cores=0,2,4,6
/proc/28749/stat : 28749 (wbo1.6) R 28747 28749 28716 0 -1 4202496 87370 0 0 0 81991 234 0 0 25 0 1 0 820778066 363470848 87215 33554432000 4194304 5714214 140735689334864 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/28749/statm: 88738 87215 180 372 0 88363 0
Current children cumulated CPU time (s) 822.25
Current children cumulated vsize (KiB) 354952

[startup+882.32 s]
/proc/loadavg: 2.00 2.00 1.91 3/531 28809
/proc/meminfo: memFree=14488216/32951132 swapFree=46579808/67111528
[pid=28749] ppid=28747 vsize=375980 CPUtime=882.27 cores=0,2,4,6
/proc/28749/stat : 28749 (wbo1.6) R 28747 28749 28716 0 -1 4202496 92606 0 0 0 87982 245 0 0 25 0 1 0 820778066 385003520 92451 33554432000 4194304 5714214 140735689334864 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/28749/statm: 93995 92451 180 372 0 93620 0
Current children cumulated CPU time (s) 882.27
Current children cumulated vsize (KiB) 375980

[startup+942.3 s]
/proc/loadavg: 2.06 2.02 1.92 3/531 28809
/proc/meminfo: memFree=14441092/32951132 swapFree=46579808/67111528
[pid=28749] ppid=28747 vsize=397760 CPUtime=942.24 cores=0,2,4,6
/proc/28749/stat : 28749 (wbo1.6) R 28747 28749 28716 0 -1 4202496 98022 0 0 0 93967 257 0 0 25 0 1 0 820778066 407306240 97867 33554432000 4194304 5714214 140735689334864 18446744073709551615 4319420 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/28749/statm: 99440 97867 180 372 0 99065 0
Current children cumulated CPU time (s) 942.24
Current children cumulated vsize (KiB) 397760

[startup+1002.3 s]
/proc/loadavg: 2.08 2.03 1.93 3/531 28811
/proc/meminfo: memFree=14343616/32951132 swapFree=46579808/67111528
[pid=28749] ppid=28747 vsize=417800 CPUtime=1002.24 cores=0,2,4,6
/proc/28749/stat : 28749 (wbo1.6) R 28747 28749 28716 0 -1 4202496 102932 0 0 0 99955 269 0 0 25 0 1 0 820778066 427827200 102777 33554432000 4194304 5714214 140735689334864 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/28749/statm: 104450 102777 180 372 0 104075 0
Current children cumulated CPU time (s) 1002.24
Current children cumulated vsize (KiB) 417800

[startup+1062.3 s]
/proc/loadavg: 2.03 2.02 1.93 3/531 28813
/proc/meminfo: memFree=14331328/32951132 swapFree=46579808/67111528
[pid=28749] ppid=28747 vsize=430696 CPUtime=1062.24 cores=0,2,4,6
/proc/28749/stat : 28749 (wbo1.6) R 28747 28749 28716 0 -1 4202496 106136 0 0 0 105942 282 0 0 25 0 1 0 820778066 441032704 105981 33554432000 4194304 5714214 140735689334864 18446744073709551615 4319771 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/28749/statm: 107674 105981 180 372 0 107299 0
Current children cumulated CPU time (s) 1062.24
Current children cumulated vsize (KiB) 430696

[startup+1122.3 s]
/proc/loadavg: 2.11 2.04 1.94 3/531 28815
/proc/meminfo: memFree=14314316/32951132 swapFree=46579808/67111528
[pid=28749] ppid=28747 vsize=447780 CPUtime=1122.24 cores=0,2,4,6
/proc/28749/stat : 28749 (wbo1.6) R 28747 28749 28716 0 -1 4202496 110381 0 0 0 111929 295 0 0 25 0 1 0 820778066 458526720 110226 33554432000 4194304 5714214 140735689334864 18446744073709551615 4320115 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/28749/statm: 111945 110226 180 372 0 111570 0
Current children cumulated CPU time (s) 1122.24
Current children cumulated vsize (KiB) 447780

[startup+1182.3 s]
/proc/loadavg: 2.14 2.06 1.95 3/531 28817
/proc/meminfo: memFree=14292344/32951132 swapFree=46579808/67111528
[pid=28749] ppid=28747 vsize=469440 CPUtime=1182.23 cores=0,2,4,6
/proc/28749/stat : 28749 (wbo1.6) R 28747 28749 28716 0 -1 4202496 115746 0 0 0 117915 308 0 0 25 0 1 0 820778066 480706560 115591 33554432000 4194304 5714214 140735689334864 18446744073709551615 4319269 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/28749/statm: 117360 115591 180 372 0 116985 0
Current children cumulated CPU time (s) 1182.23
Current children cumulated vsize (KiB) 469440

[startup+1242.3 s]
/proc/loadavg: 2.05 2.05 1.95 3/531 28817
/proc/meminfo: memFree=14269020/32951132 swapFree=46579808/67111528
[pid=28749] ppid=28747 vsize=492580 CPUtime=1242.23 cores=0,2,4,6
/proc/28749/stat : 28749 (wbo1.6) R 28747 28749 28716 0 -1 4202496 121475 0 0 0 123899 324 0 0 25 0 1 0 820778066 504401920 121320 33554432000 4194304 5714214 140735689334864 18446744073709551615 4319864 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/28749/statm: 123145 121320 180 372 0 122770 0
Current children cumulated CPU time (s) 1242.23
Current children cumulated vsize (KiB) 492580

[startup+1302.3 s]
/proc/loadavg: 2.02 2.04 1.95 3/531 28819
/proc/meminfo: memFree=14245204/32951132 swapFree=46579808/67111528
[pid=28749] ppid=28747 vsize=517048 CPUtime=1302.23 cores=0,2,4,6
/proc/28749/stat : 28749 (wbo1.6) R 28747 28749 28716 0 -1 4202496 127511 0 0 0 129882 341 0 0 25 0 1 0 820778066 529457152 127356 33554432000 4194304 5714214 140735689334864 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/28749/statm: 129262 127356 180 372 0 128887 0
Current children cumulated CPU time (s) 1302.23
Current children cumulated vsize (KiB) 517048

[startup+1362.3 s]
/proc/loadavg: 2.00 2.03 1.95 3/531 28821
/proc/meminfo: memFree=14213192/32951132 swapFree=46579808/67111528
[pid=28749] ppid=28747 vsize=548960 CPUtime=1362.21 cores=0,2,4,6
/proc/28749/stat : 28749 (wbo1.6) R 28747 28749 28716 0 -1 4202496 135357 0 0 0 135865 356 0 0 25 0 1 0 820778066 562135040 135202 33554432000 4194304 5714214 140735689334864 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/28749/statm: 137240 135202 180 372 0 136865 0
Current children cumulated CPU time (s) 1362.21
Current children cumulated vsize (KiB) 548960

[startup+1422.3 s]
/proc/loadavg: 2.00 2.02 1.95 3/531 28823
/proc/meminfo: memFree=14190616/32951132 swapFree=46579808/67111528
[pid=28749] ppid=28747 vsize=571740 CPUtime=1422.24 cores=0,2,4,6
/proc/28749/stat : 28749 (wbo1.6) R 28747 28749 28716 0 -1 4202496 140942 0 0 0 141854 370 0 0 25 0 1 0 820778066 585461760 140787 33554432000 4194304 5714214 140735689334864 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/28749/statm: 142935 140787 180 372 0 142560 0
Current children cumulated CPU time (s) 1422.24
Current children cumulated vsize (KiB) 571740

[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 1.95 3/531 28825
/proc/meminfo: memFree=14167920/32951132 swapFree=46579808/67111528
[pid=28749] ppid=28747 vsize=594724 CPUtime=1482.22 cores=0,2,4,6
/proc/28749/stat : 28749 (wbo1.6) R 28747 28749 28716 0 -1 4202496 146618 0 0 0 147839 383 0 0 25 0 1 0 820778066 608997376 146463 33554432000 4194304 5714214 140735689334864 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/28749/statm: 148681 146463 180 372 0 148306 0
Current children cumulated CPU time (s) 1482.22
Current children cumulated vsize (KiB) 594724

[startup+1542.32 s]
/proc/loadavg: 2.14 2.05 1.96 3/531 28825
/proc/meminfo: memFree=14156760/32951132 swapFree=46579808/67111528
[pid=28749] ppid=28747 vsize=606732 CPUtime=1542.23 cores=0,2,4,6
/proc/28749/stat : 28749 (wbo1.6) R 28747 28749 28716 0 -1 4202496 149581 0 0 0 153828 395 0 0 25 0 1 0 820778066 621293568 149426 33554432000 4194304 5714214 140735689334864 18446744073709551615 4319269 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/28749/statm: 151683 149426 180 372 0 151308 0
Current children cumulated CPU time (s) 1542.23
Current children cumulated vsize (KiB) 606732

[startup+1602.3 s]
/proc/loadavg: 2.05 2.04 1.96 3/531 28827
/proc/meminfo: memFree=14128600/32951132 swapFree=46579808/67111528
[pid=28749] ppid=28747 vsize=635928 CPUtime=1602.2 cores=0,2,4,6
/proc/28749/stat : 28749 (wbo1.6) R 28747 28749 28716 0 -1 4202496 156842 0 0 0 159811 409 0 0 25 0 1 0 820778066 651190272 156687 33554432000 4194304 5714214 140735689334864 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/28749/statm: 158982 156687 180 372 0 158607 0
Current children cumulated CPU time (s) 1602.2
Current children cumulated vsize (KiB) 635928

[startup+1662.3 s]
/proc/loadavg: 2.02 2.03 1.96 3/531 28829
/proc/meminfo: memFree=14103172/32951132 swapFree=46579808/67111528
[pid=28749] ppid=28747 vsize=659724 CPUtime=1662.2 cores=0,2,4,6
/proc/28749/stat : 28749 (wbo1.6) R 28747 28749 28716 0 -1 4202496 162689 0 0 0 165796 424 0 0 25 0 1 0 820778066 675557376 162534 33554432000 4194304 5714214 140735689334864 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/28749/statm: 164931 162534 180 372 0 164556 0
Current children cumulated CPU time (s) 1662.2
Current children cumulated vsize (KiB) 659724

[startup+1722.3 s]
/proc/loadavg: 2.07 2.04 1.97 3/531 28831
/proc/meminfo: memFree=14083932/32951132 swapFree=46579808/67111528
[pid=28749] ppid=28747 vsize=679848 CPUtime=1722.2 cores=0,2,4,6
/proc/28749/stat : 28749 (wbo1.6) R 28747 28749 28716 0 -1 4202496 167624 0 0 0 171781 439 0 0 25 0 1 0 820778066 696164352 167469 33554432000 4194304 5714214 140735689334864 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/28749/statm: 169962 167469 180 372 0 169587 0
Current children cumulated CPU time (s) 1722.2
Current children cumulated vsize (KiB) 679848

[startup+1782.3 s]
/proc/loadavg: 2.09 2.04 1.97 3/531 28833
/proc/meminfo: memFree=14064080/32951132 swapFree=46579808/67111528
[pid=28749] ppid=28747 vsize=697056 CPUtime=1782.2 cores=0,2,4,6
/proc/28749/stat : 28749 (wbo1.6) R 28747 28749 28716 0 -1 4202496 171853 0 0 0 177770 450 0 0 25 0 1 0 820778066 713785344 171698 33554432000 4194304 5714214 140735689334864 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/28749/statm: 174264 171698 180 372 0 173889 0
Current children cumulated CPU time (s) 1782.2
Current children cumulated vsize (KiB) 697056



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.1 s]
/proc/loadavg: 2.06 2.04 1.97 3/531 28833
/proc/meminfo: memFree=14054396/32951132 swapFree=46579808/67111528
[pid=28749] ppid=28747 vsize=707552 CPUtime=1800.01 cores=0,2,4,6
/proc/28749/stat : 28749 (wbo1.6) R 28747 28749 28716 0 -1 4202496 174483 0 0 0 179544 457 0 0 25 0 1 0 820778066 724533248 174328 33554432000 4194304 5714214 140735689334864 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/28749/statm: 176888 174328 180 372 0 176513 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 707552

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.16
CPU time (s): 1800.06
CPU user time (s): 1795.45
CPU system time (s): 4.6123
CPU usage (%): 99.9947
Max. virtual memory (cumulated for all children) (KiB): 707552

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.45
system time used= 4.6123
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 174483
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= 14
involuntary context switches= 3159

runsolver used 10.3304 second user time and 22.0007 second system time

The end

Launcher Data 

Begin job on node128 at 2011-06-03 11:03:14
IDJOB=3461456
IDBENCH=2202
IDSOLVER=1953
FILE ID=node128/3461456-1307091794
RUNJOBID= node128-1307091794-28734
PBS_JOBID= 13497962
Free space on /tmp= 73916 MiB

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

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

MD5SUM BENCH= cba4f92fd2fe518316e4b3350164b448
RANDOM SEED=1283435068

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.852
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.852
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.82
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.852
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.852
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.852
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.852
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.852
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	: 5434.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      15275304 kB
Buffers:        318968 kB
Cached:        3454368 kB
SwapCached:      35620 kB
Active:        8973664 kB
Inactive:      8385224 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      15275304 kB
SwapTotal:    67111528 kB
SwapFree:     46579808 kB
Dirty:            7800 kB
Writeback:           0 kB
AnonPages:    13558852 kB
Mapped:          16844 kB
Slab:           132960 kB
PageTables:     112880 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS: 174774540 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73908 MiB
End job on node128 at 2011-06-03 11:33:16