Trace number 3461414

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

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-jnh217.opb
MD5SUM5f8256f2423d7410846942dcc96981a5
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark89
Best CPU time to get the best result obtained on this benchmark0.12198
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 89
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-3461414-1307087000.opb.
0.00/0.00	c Instance file HOME/instance-3461414-1307087000.opb
0.00/0.00	c File size is 38948 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     4139 |     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: 5	Core Weight: 1	Total Weight: 1
0.00/0.02	c Current CPU time: 0.002999 s
0.00/0.02	c
0.00/0.02	c core #2
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 6	Core Weight: 1	Total Weight: 2
0.00/0.02	c Current CPU time: 0.003999 s
0.00/0.02	c
0.00/0.02	c core #3
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 5	Core Weight: 1	Total Weight: 3
0.00/0.02	c Current CPU time: 0.003999 s
0.00/0.02	c
0.00/0.02	c core #4
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 4	Core Weight: 1	Total Weight: 4
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: 5	Core Weight: 1	Total Weight: 5
0.00/0.02	c Current CPU time: 0.004999 s
0.00/0.02	c
0.00/0.02	c core #6
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 4	Core Weight: 1	Total Weight: 6
0.00/0.02	c Current CPU time: 0.004999 s
0.00/0.02	c
0.00/0.02	c core #7
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 5	Core Weight: 1	Total Weight: 7
0.00/0.02	c Current CPU time: 0.005999 s
0.00/0.02	c
0.00/0.02	c core #8
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 7	Core Weight: 1	Total Weight: 8
0.00/0.02	c Current CPU time: 0.005999 s
0.00/0.02	c
0.00/0.02	c core #9
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 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 #10
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 8	Core Weight: 1	Total Weight: 10
0.00/0.02	c Current CPU time: 0.006998 s
0.00/0.02	c
0.00/0.02	c core #11
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 10	Core Weight: 1	Total Weight: 11
0.00/0.02	c Current CPU time: 0.006998 s
0.00/0.02	c
0.00/0.02	c core #12
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 7	Core Weight: 1	Total Weight: 12
0.00/0.02	c Current CPU time: 0.007998 s
0.00/0.02	c
0.00/0.02	c core #13
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 5	Core Weight: 1	Total Weight: 13
0.00/0.02	c Current CPU time: 0.007998 s
0.00/0.02	c
0.00/0.02	c core #14
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 5	Core Weight: 1	Total Weight: 14
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: 15
0.00/0.02	c Current CPU time: 0.008998 s
0.00/0.02	c
0.00/0.02	c core #16
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 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 #17
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 4	Core Weight: 1	Total Weight: 17
0.00/0.02	c Current CPU time: 0.009998 s
0.00/0.02	c
0.00/0.02	c core #18
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 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 #19
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 7	Core Weight: 1	Total Weight: 19
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: 4	Core Weight: 1	Total Weight: 20
0.00/0.02	c Current CPU time: 0.010998 s
0.00/0.02	c
0.00/0.02	c core #21
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 6	Core Weight: 1	Total Weight: 21
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: 3	Core Weight: 1	Total Weight: 22
0.00/0.02	c Current CPU time: 0.011998 s
0.00/0.02	c
0.00/0.02	c core #23
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 5	Core Weight: 1	Total Weight: 23
0.00/0.02	c Current CPU time: 0.011998 s
0.00/0.02	c
0.00/0.02	c core #24
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 4	Core Weight: 1	Total Weight: 24
0.00/0.02	c Current CPU time: 0.012998 s
0.00/0.02	c
0.00/0.02	c core #25
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 6	Core Weight: 1	Total Weight: 25
0.00/0.02	c Current CPU time: 0.012998 s
0.00/0.02	c
0.00/0.02	c core #26
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 5	Core Weight: 1	Total Weight: 26
0.00/0.02	c Current CPU time: 0.013997 s
0.00/0.02	c
0.00/0.02	c core #27
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 5	Core Weight: 1	Total Weight: 27
0.00/0.02	c Current CPU time: 0.013997 s
0.00/0.02	c
0.00/0.02	c core #28
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 5	Core Weight: 1	Total Weight: 28
0.00/0.02	c Current CPU time: 0.014997 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: 29
0.00/0.02	c Current CPU time: 0.014997 s
0.00/0.02	c
0.00/0.02	c core #30
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 5	Core Weight: 1	Total Weight: 30
0.00/0.02	c Current CPU time: 0.015997 s
0.00/0.02	c
0.00/0.02	c core #31
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 4	Core Weight: 1	Total Weight: 31
0.00/0.02	c Current CPU time: 0.015997 s
0.00/0.02	c
0.00/0.02	c core #32
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 5	Core Weight: 1	Total Weight: 32
0.00/0.02	c Current CPU time: 0.016997 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: 5	Core Weight: 1	Total Weight: 33
0.00/0.02	c Current CPU time: 0.016997 s
0.00/0.02	c
0.00/0.02	c core #34
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 4	Core Weight: 1	Total Weight: 34
0.00/0.02	c Current CPU time: 0.017997 s
0.00/0.02	c
0.00/0.02	c core #35
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 4	Core Weight: 1	Total Weight: 35
0.00/0.02	c Current CPU time: 0.017997 s
0.00/0.02	c
0.00/0.02	c core #36
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 3	Core Weight: 1	Total Weight: 36
0.00/0.02	c Current CPU time: 0.018997 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: 37
0.00/0.02	c Current CPU time: 0.018997 s
0.00/0.02	c
0.00/0.02	c core #38
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 3	Core Weight: 1	Total Weight: 38
0.00/0.02	c Current CPU time: 0.019996 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: 4	Core Weight: 1	Total Weight: 39
0.00/0.02	c Current CPU time: 0.019996 s
0.00/0.02	c
0.00/0.02	c core #40
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 10	Core Weight: 1	Total Weight: 40
0.00/0.02	c Current CPU time: 0.020996 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: 5	Core Weight: 1	Total Weight: 41
0.00/0.02	c Current CPU time: 0.020996 s
0.00/0.02	c
0.00/0.02	c core #42
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 28	Core Weight: 1	Total Weight: 42
0.00/0.02	c Current CPU time: 0.021996 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: 36	Core Weight: 1	Total Weight: 43
0.00/0.02	c Current CPU time: 0.021996 s
0.00/0.02	c
0.00/0.02	c core #44
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 62	Core Weight: 1	Total Weight: 44
0.00/0.02	c Current CPU time: 0.022996 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: 17	Core Weight: 1	Total Weight: 45
0.00/0.02	c Current CPU time: 0.023996 s
0.00/0.02	c
0.00/0.02	c ============================[ Search Statistics ]==============================
0.00/0.02	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.02	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.02	c ===============================================================================
0.00/0.02	c |         0 |     391     1145     4714 |     5000        0   -nan |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c core #46
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 21	Core Weight: 1	Total Weight: 46
0.00/0.02	c Current CPU time: 0.023996 s
0.00/0.02	c
0.00/0.02	c ============================[ Search Statistics ]==============================
0.00/0.02	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.02	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.02	c ===============================================================================
0.00/0.02	c |         0 |     406     1146     4746 |     5000        0   -nan |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c core #47
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 24	Core Weight: 1	Total Weight: 47
0.00/0.02	c Current CPU time: 0.024996 s
0.00/0.02	c
0.00/0.02	c ============================[ Search Statistics ]==============================
0.00/0.02	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.02	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.02	c ===============================================================================
0.00/0.02	c |         0 |     417     1147     4768 |     5000        0   -nan |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c core #48
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 25	Core Weight: 1	Total Weight: 48
0.00/0.02	c Current CPU time: 0.025996 s
0.00/0.02	c
0.00/0.02	c ============================[ Search Statistics ]==============================
0.00/0.02	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.02	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.02	c ===============================================================================
0.00/0.02	c |         0 |     434     1148     4803 |     5000        0   -nan |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c core #49
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 80	Core Weight: 1	Total Weight: 49
0.00/0.02	c Current CPU time: 0.026995 s
0.00/0.02	c
0.00/0.02	c ============================[ Search Statistics ]==============================
0.00/0.02	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.02	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.02	c ===============================================================================
0.00/0.02	c |         0 |     482     1149     4900 |     5000        0   -nan |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.03	c core #50
0.00/0.03	c 
0.00/0.03	c 
0.00/0.03	c Core size: 96	Core Weight: 1	Total Weight: 50
0.00/0.03	c Current CPU time: 0.027995 s
0.00/0.03	c
0.00/0.03	c ============================[ Search Statistics ]==============================
0.00/0.03	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.03	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.03	c ===============================================================================
0.00/0.03	c |         0 |     570     1150     5079 |     5000        0   -nan |  0.000 % |
0.00/0.03	c ===============================================================================
0.00/0.03	c core #51
0.00/0.03	c 
0.00/0.03	c 
0.00/0.03	c Core size: 95	Core Weight: 1	Total Weight: 51
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 |     660     1151     5259 |     5000        0   -nan |  0.000 % |
0.00/0.03	c |       100 |     658     1151     5259 |     5500      100     15 |  0.303 % |
0.00/0.03	c ===============================================================================
0.00/0.03	c core #52
0.00/0.03	c 
0.00/0.03	c 
0.00/0.03	c Core size: 110	Core Weight: 1	Total Weight: 52
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 |     760     1153     5461 |     5000        0   -nan |  0.000 % |
0.00/0.03	c |       100 |     760     1153     5461 |     5500      100     60 |  0.000 % |
0.00/0.04	c |       252 |     760     1153     5461 |     6050      252     53 |  0.000 % |
0.00/0.05	c |       479 |     760     1153     5461 |     6655      479     51 |  0.002 % |
0.00/0.06	c |       817 |     760     1153     5461 |     7320      817     45 |  0.000 % |
0.00/0.08	c |      1324 |     760     1153     5461 |     8052     1324     37 |  0.000 % |
0.08/0.10	c |      2084 |     760     1153     5461 |     8857     2084     29 |  0.001 % |
0.09/0.11	c ===============================================================================
0.09/0.12	c core #53
0.09/0.12	c 
0.09/0.12	c 
0.09/0.12	c Core size: 218	Core Weight: 1	Total Weight: 53
0.09/0.12	c Current CPU time: 0.110983 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 |     925     1177     5858 |     5000        0   -nan |  0.000 % |
0.09/0.12	c |       101 |     925     1177     5858 |     5500      101     67 |  0.000 % |
0.09/0.13	c |       251 |     925     1177     5858 |     6050      251     59 |  0.000 % |
0.09/0.13	c |       478 |     925     1177     5858 |     6655      478     50 |  0.000 % |
0.09/0.14	c |       815 |     925     1177     5858 |     7320      815     35 |  0.000 % |
0.09/0.15	c |      1321 |     925     1177     5858 |     8052     1321     27 |  0.000 % |
0.09/0.17	c |      2081 |     925     1177     5858 |     8857     2081     22 |  0.001 % |
0.19/0.21	c |      3220 |     925     1177     5858 |     9743     3220     20 |  0.000 % |
0.19/0.27	c |      4929 |     923     1177     5858 |    10717     4929     19 |  0.216 % |
0.29/0.31	c ===============================================================================
0.29/0.32	c core #54
0.29/0.32	c 
0.29/0.32	c 
0.29/0.32	c Core size: 220	Core Weight: 1	Total Weight: 54
0.29/0.32	c Current CPU time: 0.305953 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 |    1071     1211     6248 |     5000        0   -nan |  0.000 % |
0.29/0.33	c |       100 |    1071     1211     6248 |     5500      100    120 |  0.000 % |
0.29/0.33	c |       250 |    1071     1211     6248 |     6050      250     63 |  0.000 % |
0.29/0.34	c |       477 |    1071     1211     6248 |     6655      477     44 |  0.000 % |
0.29/0.35	c |       816 |    1071     1211     6248 |     7320      816     32 |  0.000 % |
0.29/0.36	c |      1323 |    1071     1211     6248 |     8052     1323     27 |  0.000 % |
0.29/0.38	c |      2082 |    1071     1211     6248 |     8857     2082     23 |  0.000 % |
0.39/0.42	c |      3224 |    1071     1211     6248 |     9743     3224     22 |  0.000 % |
0.39/0.48	c |      4934 |    1071     1211     6248 |    10717     4934     25 |  0.000 % |
0.59/0.60	c |      7498 |    1071     1211     6248 |    11789     7498     26 |  0.000 % |
0.79/0.81	c |     11342 |    1071     1211     6248 |    12968    11342     27 |  0.000 % |
1.10/1.13	c |     17109 |    1069     1211     6248 |    14265    10561     26 |  0.187 % |
1.39/1.40	c ===============================================================================
1.39/1.45	c core #55
1.39/1.45	c 
1.39/1.45	c 
1.39/1.45	c Core size: 218	Core Weight: 1	Total Weight: 55
1.39/1.45	c Current CPU time: 1.38479 s
1.39/1.45	c
1.39/1.45	c ============================[ Search Statistics ]==============================
1.39/1.45	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.39/1.45	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.39/1.45	c ===============================================================================
1.39/1.45	c |         0 |    1235     1225     6614 |     5000        0   -nan |  0.000 % |
1.39/1.46	c |       100 |    1235     1225     6614 |     5500      100     96 |  0.000 % |
1.39/1.46	c |       256 |    1235     1225     6614 |     6050      256     63 |  0.000 % |
1.39/1.47	c |       481 |    1235     1225     6614 |     6655      481     47 |  0.000 % |
1.39/1.48	c |       819 |    1235     1225     6614 |     7320      819     37 |  0.000 % |
1.39/1.49	c |      1325 |    1235     1225     6614 |     8052     1325     33 |  0.000 % |
1.48/1.52	c |      2087 |    1235     1225     6614 |     8857     2087     35 |  0.000 % |
1.48/1.57	c |      3229 |    1235     1225     6614 |     9743     3229     35 |  0.000 % |
1.59/1.64	c |      4938 |    1235     1225     6614 |    10717     4938     36 |  0.000 % |
1.68/1.79	c |      7500 |    1235     1225     6614 |    11789     7500     37 |  0.000 % |
1.99/2.03	c |     11348 |    1235     1225     6614 |    12968    11348     40 |  0.000 % |
2.29/2.38	c |     17114 |    1235     1225     6614 |    14265    10480     38 |  0.000 % |
2.89/2.95	c |     25763 |    1235     1225     6614 |    15692    11893     39 |  0.000 % |
3.89/3.94	c |     38737 |    1235     1225     6614 |    17261     8878     39 |  0.000 % |
5.89/5.97	c |     58201 |    1233     1225     6614 |    18987    10790     54 |  0.162 % |
8.59/8.66	c |     87393 |    1233     1225     6614 |    20886    11091     38 |  0.162 % |
12.79/12.81	c |    131185 |    1229     1225     6614 |    22974    12659     47 |  0.486 % |
17.29/17.38	c ===============================================================================
17.99/18.06	c core #56
17.99/18.06	c 
17.99/18.06	c 
17.99/18.06	c Core size: 205	Core Weight: 1	Total Weight: 56
17.99/18.06	c Current CPU time: 17.5633 s
17.99/18.06	c
17.99/18.06	c ============================[ Search Statistics ]==============================
17.99/18.06	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
17.99/18.06	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
17.99/18.06	c ===============================================================================
17.99/18.06	c |         0 |    1407     1235     6982 |     5000        0   -nan |  0.000 % |
17.99/18.06	c |       100 |    1407     1235     6982 |     5500      100     44 |  0.000 % |
17.99/18.07	c |       252 |    1407     1235     6982 |     6050      252     35 |  0.000 % |
17.99/18.08	c |       479 |    1407     1235     6982 |     6655      479     34 |  0.000 % |
17.99/18.09	c |       817 |    1407     1235     6982 |     7320      817     33 |  0.000 % |
18.09/18.11	c |      1323 |    1407     1235     6982 |     8052     1323     34 |  0.000 % |
18.09/18.14	c |      2082 |    1407     1235     6982 |     8857     2082     43 |  0.000 % |
18.19/18.20	c |      3222 |    1407     1235     6982 |     9743     3222     43 |  0.000 % |
18.19/18.29	c |      4930 |    1407     1235     6982 |    10717     4930     43 |  0.000 % |
18.39/18.45	c |      7494 |    1407     1235     6982 |    11789     7494     44 |  0.000 % |
18.59/18.70	c |     11340 |    1407     1235     6982 |    12968    11340     46 |  0.000 % |
19.29/19.33	c |     17106 |    1407     1235     6982 |    14265    10322     61 |  0.000 % |
20.09/20.15	c |     25757 |    1407     1235     6982 |    15692    11648     54 |  0.000 % |
21.49/21.54	c |     38733 |    1407     1235     6982 |    17261     8399     53 |  0.000 % |
23.59/23.64	c |     58195 |    1407     1235     6982 |    18987    10106     47 |  0.000 % |
28.29/28.32	c |     87392 |    1407     1235     6982 |    20886    10182     56 |  0.000 % |
35.21/35.26	c |    131184 |    1407     1235     6982 |    22974    11332     57 |  0.000 % |
45.39/45.41	c |    196870 |    1407     1235     6982 |    25272    18092     58 |  0.000 % |
60.69/60.79	c |    295396 |    1407     1235     6982 |    27799    19578     68 |  0.000 % |
90.79/90.89	c |    443187 |    1407     1235     6982 |    30579    14879     93 |  0.000 % |
130.19/130.20	c |    664871 |    1407     1235     6982 |    33637    17016     55 |  0.000 % |
199.99/200.05	c |    997397 |    1407     1235     6982 |    37001    19133     68 |  0.000 % |
288.79/288.81	c |   1496185 |    1407     1235     6982 |    40701    28867     55 |  0.000 % |
447.90/447.97	c |   2244371 |    1407     1235     6982 |    44771    33061     82 |  0.000 % |
680.41/680.47	c |   3366647 |    1407     1235     6982 |    49248    38160     59 |  0.001 % |
826.21/826.25	c ===============================================================================
841.32/841.40	c core #57
841.32/841.40	c 
841.32/841.40	c 
841.32/841.40	c Core size: 269	Core Weight: 1	Total Weight: 57
841.32/841.40	c Current CPU time: 832.465 s
841.32/841.40	c
841.32/841.40	c ============================[ Search Statistics ]==============================
841.32/841.40	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
841.32/841.40	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
841.32/841.40	c ===============================================================================
841.32/841.40	c |         0 |    1602     1242     7386 |     5000        0   -nan |  0.000 % |
841.32/841.40	c |       101 |    1602     1242     7386 |     5500      101    133 |  0.000 % |
841.32/841.41	c |       251 |    1602     1242     7386 |     6050      251     73 |  0.000 % |
841.32/841.41	c |       477 |    1602     1242     7386 |     6655      477     51 |  0.000 % |
841.42/841.43	c |       814 |    1602     1242     7386 |     7320      814     51 |  0.000 % |
841.42/841.45	c |      1321 |    1602     1242     7386 |     8052     1321     45 |  0.000 % |
841.42/841.48	c |      2082 |    1602     1242     7386 |     8857     2082     48 |  0.000 % |
841.53/841.53	c |      3222 |    1602     1242     7386 |     9743     3222     53 |  0.000 % |
841.61/841.64	c |      4931 |    1602     1242     7386 |    10717     4931     57 |  0.000 % |
841.81/841.83	c |      7494 |    1602     1242     7386 |    11789     7494     60 |  0.000 % |
842.12/842.16	c |     11341 |    1602     1242     7386 |    12968    11341     60 |  0.000 % |
842.72/842.76	c |     17107 |    1602     1242     7386 |    14265    10269     54 |  0.000 % |
843.81/843.85	c |     25757 |    1602     1242     7386 |    15692    11482     62 |  0.000 % |
845.93/845.94	c |     38731 |    1602     1242     7386 |    17261     8334     60 |  0.000 % |
849.52/849.59	c |     58193 |    1602     1242     7386 |    18987    10011     64 |  0.000 % |
856.11/856.16	c |     87385 |    1602     1242     7386 |    20886     9929     77 |  0.000 % |
864.52/864.55	c |    131174 |    1602     1242     7386 |    22974    10822     64 |  0.000 % |
879.81/879.83	c |    196859 |    1602     1242     7386 |    25272    17490     64 |  0.000 % |
904.71/904.78	c |    295385 |    1602     1242     7386 |    27799    23689     78 |  0.000 % |
943.83/943.84	c |    443174 |    1602     1242     7386 |    30579    19555     70 |  0.000 % |
999.94/999.92	c |    664859 |    1602     1242     7386 |    33637    25915    100 |  0.000 % |
1093.10/1093.17	c |    997386 |    1602     1242     7386 |    37001    24305     80 |  0.000 % |
1249.21/1249.26	c |   1496174 |    1602     1242     7386 |    40701    19082     68 |  0.000 % |
1467.61/1467.65	c |   2244361 |    1602     1242     7386 |    44771    23924     68 |  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-3461414-1307087000/watcher-3461414-1307087000 -o /tmp/evaluation-result-3461414-1307087000/solver-3461414-1307087000 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461414-1307087000.opb 

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

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


[startup+0 s]
/proc/loadavg: 1.97 2.04 2.01 3/530 8998
/proc/meminfo: memFree=25292928/32951124 swapFree=46970528/67111528
[pid=8998] ppid=8996 vsize=2104 CPUtime=0 cores=1,3,5,7
/proc/8998/stat : 8998 (wbo1.6) R 8996 8998 6615 0 -1 4202496 341 0 0 0 0 0 0 0 20 0 1 0 801116317 2154496 285 33554432000 4194304 5714214 140736679344016 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/8998/statm: 526 285 175 372 0 151 0

[startup+0.092765 s]
/proc/loadavg: 1.97 2.04 2.01 3/530 8998
/proc/meminfo: memFree=25292928/32951124 swapFree=46970528/67111528
[pid=8998] ppid=8996 vsize=2876 CPUtime=0.08 cores=1,3,5,7
/proc/8998/stat : 8998 (wbo1.6) R 8996 8998 6615 0 -1 4202496 531 0 0 0 8 0 0 0 20 0 1 0 801116317 2945024 475 33554432000 4194304 5714214 140736679344016 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/8998/statm: 719 475 180 372 0 344 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 2876

[startup+0.10075 s]
/proc/loadavg: 1.97 2.04 2.01 3/530 8998
/proc/meminfo: memFree=25292928/32951124 swapFree=46970528/67111528
[pid=8998] ppid=8996 vsize=3008 CPUtime=0.09 cores=1,3,5,7
/proc/8998/stat : 8998 (wbo1.6) R 8996 8998 6615 0 -1 4202496 549 0 0 0 9 0 0 0 20 0 1 0 801116317 3080192 493 33554432000 4194304 5714214 140736679344016 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/8998/statm: 752 493 180 372 0 377 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3008

[startup+0.300728 s]
/proc/loadavg: 1.97 2.04 2.01 3/530 8998
/proc/meminfo: memFree=25292928/32951124 swapFree=46970528/67111528
[pid=8998] ppid=8996 vsize=3816 CPUtime=0.29 cores=1,3,5,7
/proc/8998/stat : 8998 (wbo1.6) R 8996 8998 6615 0 -1 4202496 760 0 0 0 28 1 0 0 21 0 1 0 801116317 3907584 704 33554432000 4194304 5714214 140736679344016 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/8998/statm: 954 704 180 372 0 579 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3816

[startup+0.700657 s]
/proc/loadavg: 1.97 2.04 2.01 3/530 8998
/proc/meminfo: memFree=25292928/32951124 swapFree=46970528/67111528
[pid=8998] ppid=8996 vsize=5300 CPUtime=0.69 cores=1,3,5,7
/proc/8998/stat : 8998 (wbo1.6) R 8996 8998 6615 0 -1 4202496 1129 0 0 0 66 3 0 0 22 0 1 0 801116317 5427200 1073 33554432000 4194304 5714214 140736679344016 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/8998/statm: 1325 1073 180 372 0 950 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5300

[startup+1.5005 s]
/proc/loadavg: 1.97 2.04 2.01 3/536 9011
/proc/meminfo: memFree=25281276/32951124 swapFree=46970528/67111528
[pid=8998] ppid=8996 vsize=8768 CPUtime=1.48 cores=1,3,5,7
/proc/8998/stat : 8998 (wbo1.6) R 8996 8998 6615 0 -1 4202496 2028 0 0 0 142 6 0 0 25 0 1 0 801116317 8978432 1944 33554432000 4194304 5714214 140736679344016 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/8998/statm: 2192 1944 180 372 0 1817 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 8768

[startup+3.10022 s]
/proc/loadavg: 1.97 2.04 2.01 3/536 9011
/proc/meminfo: memFree=25273092/32951124 swapFree=46970528/67111528
[pid=8998] ppid=8996 vsize=9848 CPUtime=3.09 cores=1,3,5,7
/proc/8998/stat : 8998 (wbo1.6) R 8996 8998 6615 0 -1 4202496 2289 0 0 0 297 12 0 0 18 0 1 0 801116317 10084352 2205 33554432000 4194304 5714214 140736679344016 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/8998/statm: 2462 2205 180 372 0 2087 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 9848

[startup+6.30065 s]
/proc/loadavg: 1.98 2.04 2.01 3/536 9011
/proc/meminfo: memFree=25265144/32951124 swapFree=46970528/67111528
[pid=8998] ppid=8996 vsize=15976 CPUtime=6.29 cores=1,3,5,7
/proc/8998/stat : 8998 (wbo1.6) R 8996 8998 6615 0 -1 4202496 3826 0 0 0 608 21 0 0 25 0 1 0 801116317 16359424 3742 33554432000 4194304 5714214 140736679344016 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/8998/statm: 3994 3742 180 372 0 3619 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15976

[startup+12.7005 s]
/proc/loadavg: 1.98 2.03 2.00 3/536 9011
/proc/meminfo: memFree=25244964/32951124 swapFree=46970528/67111528
[pid=8998] ppid=8996 vsize=26272 CPUtime=12.69 cores=1,3,5,7
/proc/8998/stat : 8998 (wbo1.6) R 8996 8998 6615 0 -1 4202496 6363 0 0 0 1237 32 0 0 25 0 1 0 801116317 26902528 6279 33554432000 4194304 5714214 140736679344016 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/8998/statm: 6568 6279 180 372 0 6193 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 26272

[startup+25.5002 s]
/proc/loadavg: 1.98 2.03 2.00 3/536 9012
/proc/meminfo: memFree=25220412/32951124 swapFree=46970528/67111528
[pid=8998] ppid=8996 vsize=36056 CPUtime=25.49 cores=1,3,5,7
/proc/8998/stat : 8998 (wbo1.6) R 8996 8998 6615 0 -1 4202496 8858 0 0 0 2492 57 0 0 25 0 1 0 801116317 36921344 8728 33554432000 4194304 5714214 140736679344016 18446744073709551615 4319324 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/8998/statm: 9014 8728 180 372 0 8639 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 36056

[startup+51.1006 s]
/proc/loadavg: 1.99 2.03 2.00 3/536 9012
/proc/meminfo: memFree=25186004/32951124 swapFree=46970528/67111528
[pid=8998] ppid=8996 vsize=52672 CPUtime=51.09 cores=1,3,5,7
/proc/8998/stat : 8998 (wbo1.6) R 8996 8998 6615 0 -1 4202496 12995 0 0 0 5026 83 0 0 25 0 1 0 801116317 53936128 12865 33554432000 4194304 5714214 140736679344016 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/8998/statm: 13168 12865 180 372 0 12793 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 52672

[startup+102.319 s]
/proc/loadavg: 2.13 2.06 2.01 3/536 9014
/proc/meminfo: memFree=25104740/32951124 swapFree=46970528/67111528
[pid=8998] ppid=8996 vsize=100188 CPUtime=102.31 cores=1,3,5,7
/proc/8998/stat : 8998 (wbo1.6) R 8996 8998 6615 0 -1 4202496 24518 0 0 0 10109 122 0 0 25 0 1 0 801116317 102592512 24388 33554432000 4194304 5714214 140736679344016 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/8998/statm: 25047 24388 180 372 0 24672 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 100188

[startup+162.301 s]
/proc/loadavg: 2.11 2.06 2.01 3/536 9015
/proc/meminfo: memFree=25036136/32951124 swapFree=46970528/67111528
[pid=8998] ppid=8996 vsize=143232 CPUtime=162.29 cores=1,3,5,7
/proc/8998/stat : 8998 (wbo1.6) R 8996 8998 6615 0 -1 4202496 35141 0 0 0 16067 162 0 0 25 0 1 0 801116317 146669568 35011 33554432000 4194304 5714214 140736679344016 18446744073709551615 4319369 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/8998/statm: 35808 35011 180 372 0 35433 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 143232

[startup+222.301 s]
/proc/loadavg: 2.04 2.05 2.00 3/536 9017
/proc/meminfo: memFree=24968264/32951124 swapFree=46970528/67111528
[pid=8998] ppid=8996 vsize=184820 CPUtime=222.29 cores=1,3,5,7
/proc/8998/stat : 8998 (wbo1.6) R 8996 8998 6615 0 -1 4202496 45364 0 0 0 22029 200 0 0 25 0 1 0 801116317 189255680 45234 33554432000 4194304 5714214 140736679344016 18446744073709551615 4319434 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/8998/statm: 46205 45234 180 372 0 45830 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 184820

[startup+282.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/536 9018
/proc/meminfo: memFree=24893680/32951124 swapFree=46970528/67111528
[pid=8998] ppid=8996 vsize=235692 CPUtime=282.3 cores=1,3,5,7
/proc/8998/stat : 8998 (wbo1.6) R 8996 8998 6615 0 -1 4202496 57932 0 0 0 27981 249 0 0 25 0 1 0 801116317 241348608 57802 33554432000 4194304 5714214 140736679344016 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/8998/statm: 58923 57802 180 372 0 58548 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 235692

[startup+342.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/536 9020
/proc/meminfo: memFree=24826168/32951124 swapFree=46970528/67111528
[pid=8998] ppid=8996 vsize=272812 CPUtime=342.3 cores=1,3,5,7
/proc/8998/stat : 8998 (wbo1.6) R 8996 8998 6615 0 -1 4202496 66985 0 0 0 33950 280 0 0 25 0 1 0 801116317 279359488 66855 33554432000 4194304 5714214 140736679344016 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/8998/statm: 68203 66855 180 372 0 67828 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 272812

[startup+402.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 9022
/proc/meminfo: memFree=24764120/32951124 swapFree=46970528/67111528
[pid=8998] ppid=8996 vsize=315724 CPUtime=402.31 cores=1,3,5,7
/proc/8998/stat : 8998 (wbo1.6) R 8996 8998 6615 0 -1 4202496 77613 0 0 0 39906 325 0 0 25 0 1 0 801116317 323301376 77483 33554432000 4194304 5714214 140736679344016 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/8998/statm: 78931 77483 180 372 0 78556 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 315724

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/536 9023
/proc/meminfo: memFree=24696120/32951124 swapFree=46970528/67111528
[pid=8998] ppid=8996 vsize=352060 CPUtime=462.3 cores=1,3,5,7
/proc/8998/stat : 8998 (wbo1.6) R 8996 8998 6615 0 -1 4202496 86621 0 0 0 45868 362 0 0 25 0 1 0 801116317 360509440 86491 33554432000 4194304 5714214 140736679344016 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/8998/statm: 88015 86491 180 372 0 87640 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 352060

[startup+522.3 s]
/proc/loadavg: 2.10 2.04 2.01 3/536 9025
/proc/meminfo: memFree=24634556/32951124 swapFree=46970528/67111528
[pid=8998] ppid=8996 vsize=390588 CPUtime=522.3 cores=1,3,5,7
/proc/8998/stat : 8998 (wbo1.6) R 8996 8998 6615 0 -1 4202496 96245 0 0 0 51817 413 0 0 25 0 1 0 801116317 399962112 96115 33554432000 4194304 5714214 140736679344016 18446744073709551615 4319407 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/8998/statm: 97647 96115 180 372 0 97272 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 390588

[startup+582.301 s]
/proc/loadavg: 2.08 2.04 2.01 3/536 9026
/proc/meminfo: memFree=24568424/32951124 swapFree=46970528/67111528
[pid=8998] ppid=8996 vsize=430724 CPUtime=582.3 cores=1,3,5,7
/proc/8998/stat : 8998 (wbo1.6) R 8996 8998 6615 0 -1 4202496 106166 0 0 0 57755 475 0 0 25 0 1 0 801116317 441061376 106036 33554432000 4194304 5714214 140736679344016 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/8998/statm: 107681 106036 180 372 0 107306 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 430724

[startup+642.301 s]

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

[startup+822.301 s]
/proc/loadavg: 2.04 2.07 2.02 3/536 9033
/proc/meminfo: memFree=24329972/32951124 swapFree=46970528/67111528
[pid=8998] ppid=8996 vsize=576984 CPUtime=822.31 cores=1,3,5,7
/proc/8998/stat : 8998 (wbo1.6) R 8996 8998 6615 0 -1 4202496 142548 0 0 0 81535 696 0 0 25 0 1 0 801116317 590831616 142418 33554432000 4194304 5714214 140736679344016 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/8998/statm: 144246 142418 180 372 0 143871 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 576984

[startup+882.301 s]
/proc/loadavg: 2.01 2.05 2.01 3/536 9034
/proc/meminfo: memFree=24252556/32951124 swapFree=46970528/67111528
[pid=8998] ppid=8996 vsize=652544 CPUtime=882.31 cores=1,3,5,7
/proc/8998/stat : 8998 (wbo1.6) R 8996 8998 6615 0 -1 4202496 161578 0 0 0 87488 743 0 0 25 0 1 0 801116317 668205056 161350 33554432000 4194304 5714214 140736679344016 18446744073709551615 4319855 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/8998/statm: 163136 161350 180 372 0 162761 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 652544

[startup+942.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/536 9036
/proc/meminfo: memFree=24252864/32951124 swapFree=46970528/67111528
[pid=8998] ppid=8996 vsize=652544 CPUtime=942.31 cores=1,3,5,7
/proc/8998/stat : 8998 (wbo1.6) R 8996 8998 6615 0 -1 4202496 161644 0 0 0 93446 785 0 0 25 0 1 0 801116317 668205056 161416 33554432000 4194304 5714214 140736679344016 18446744073709551615 4319314 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/8998/statm: 163136 161416 180 372 0 162761 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 652544

[startup+1002.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/536 9038
/proc/meminfo: memFree=24252680/32951124 swapFree=46970528/67111528
[pid=8998] ppid=8996 vsize=652544 CPUtime=1002.31 cores=1,3,5,7
/proc/8998/stat : 8998 (wbo1.6) R 8996 8998 6615 0 -1 4202496 161690 0 0 0 99402 829 0 0 25 0 1 0 801116317 668205056 161462 33554432000 4194304 5714214 140736679344016 18446744073709551615 4313034 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/8998/statm: 163136 161462 180 372 0 162761 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 652544

[startup+1062.3 s]
/proc/loadavg: 2.15 2.06 2.01 3/536 9048
/proc/meminfo: memFree=24250740/32951124 swapFree=46970528/67111528
[pid=8998] ppid=8996 vsize=652544 CPUtime=1062.3 cores=1,3,5,7
/proc/8998/stat : 8998 (wbo1.6) R 8996 8998 6615 0 -1 4202496 161755 0 0 0 105363 867 0 0 25 0 1 0 801116317 668205056 161527 33554432000 4194304 5714214 140736679344016 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/8998/statm: 163136 161527 180 372 0 162761 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 652544

[startup+1122.3 s]
/proc/loadavg: 2.12 2.06 2.01 3/536 9050
/proc/meminfo: memFree=24250984/32951124 swapFree=46970528/67111528
[pid=8998] ppid=8996 vsize=652544 CPUtime=1122.3 cores=1,3,5,7
/proc/8998/stat : 8998 (wbo1.6) R 8996 8998 6615 0 -1 4202496 161811 0 0 0 111326 904 0 0 25 0 1 0 801116317 668205056 161583 33554432000 4194304 5714214 140736679344016 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/8998/statm: 163136 161583 180 372 0 162761 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 652544

[startup+1182.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/536 9051
/proc/meminfo: memFree=24249824/32951124 swapFree=46970528/67111528
[pid=8998] ppid=8996 vsize=652544 CPUtime=1182.3 cores=1,3,5,7
/proc/8998/stat : 8998 (wbo1.6) R 8996 8998 6615 0 -1 4202496 161863 0 0 0 117290 940 0 0 25 0 1 0 801116317 668205056 161635 33554432000 4194304 5714214 140736679344016 18446744073709551615 4320165 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/8998/statm: 163136 161635 180 372 0 162761 0
Current children cumulated CPU time (s) 1182.3
Current children cumulated vsize (KiB) 652544

[startup+1242.3 s]
/proc/loadavg: 2.11 2.07 2.01 3/536 9053
/proc/meminfo: memFree=24248656/32951124 swapFree=46970528/67111528
[pid=8998] ppid=8996 vsize=652544 CPUtime=1242.31 cores=1,3,5,7
/proc/8998/stat : 8998 (wbo1.6) R 8996 8998 6615 0 -1 4202496 161942 0 0 0 123258 973 0 0 25 0 1 0 801116317 668205056 161714 33554432000 4194304 5714214 140736679344016 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/8998/statm: 163136 161714 180 372 0 162761 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 652544

[startup+1302.3 s]
/proc/loadavg: 2.08 2.07 2.01 3/536 9055
/proc/meminfo: memFree=24247460/32951124 swapFree=46970528/67111528
[pid=8998] ppid=8996 vsize=652544 CPUtime=1302.31 cores=1,3,5,7
/proc/8998/stat : 8998 (wbo1.6) R 8996 8998 6615 0 -1 4202496 162078 0 0 0 129218 1013 0 0 25 0 1 0 801116317 668205056 161850 33554432000 4194304 5714214 140736679344016 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/8998/statm: 163136 161850 180 372 0 162761 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 652544

[startup+1362.3 s]
/proc/loadavg: 2.03 2.05 2.00 3/536 9056
/proc/meminfo: memFree=24248008/32951124 swapFree=46970528/67111528
[pid=8998] ppid=8996 vsize=652544 CPUtime=1362.31 cores=1,3,5,7
/proc/8998/stat : 8998 (wbo1.6) R 8996 8998 6615 0 -1 4202496 162207 0 0 0 135177 1054 0 0 25 0 1 0 801116317 668205056 161979 33554432000 4194304 5714214 140736679344016 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/8998/statm: 163136 161979 180 372 0 162761 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 652544

[startup+1422.32 s]
/proc/loadavg: 2.01 2.04 2.00 3/536 9058
/proc/meminfo: memFree=24248828/32951124 swapFree=46970528/67111528
[pid=8998] ppid=8996 vsize=652544 CPUtime=1422.32 cores=1,3,5,7
/proc/8998/stat : 8998 (wbo1.6) R 8996 8998 6615 0 -1 4202496 162251 0 0 0 141138 1094 0 0 25 0 1 0 801116317 668205056 162023 33554432000 4194304 5714214 140736679344016 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/8998/statm: 163136 162023 180 372 0 162761 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 652544

[startup+1482.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/536 9059
/proc/meminfo: memFree=24247916/32951124 swapFree=46970528/67111528
[pid=8998] ppid=8996 vsize=652544 CPUtime=1482.31 cores=1,3,5,7
/proc/8998/stat : 8998 (wbo1.6) R 8996 8998 6615 0 -1 4202496 162271 0 0 0 147103 1128 0 0 25 0 1 0 801116317 668205056 162043 33554432000 4194304 5714214 140736679344016 18446744073709551615 4319878 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/8998/statm: 163136 162043 180 372 0 162761 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 652544

[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 9061
/proc/meminfo: memFree=24226308/32951124 swapFree=46970528/67111528
[pid=8998] ppid=8996 vsize=652544 CPUtime=1542.32 cores=1,3,5,7
/proc/8998/stat : 8998 (wbo1.6) R 8996 8998 6615 0 -1 4202496 162288 0 0 0 153066 1166 0 0 25 0 1 0 801116317 668205056 162060 33554432000 4194304 5714214 140736679344016 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/8998/statm: 163136 162060 180 372 0 162761 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 652544

[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 9063
/proc/meminfo: memFree=24209520/32951124 swapFree=46970528/67111528
[pid=8998] ppid=8996 vsize=652544 CPUtime=1602.31 cores=1,3,5,7
/proc/8998/stat : 8998 (wbo1.6) R 8996 8998 6615 0 -1 4202496 162399 0 0 0 159020 1211 0 0 25 0 1 0 801116317 668205056 162171 33554432000 4194304 5714214 140736679344016 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/8998/statm: 163136 162171 180 372 0 162761 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 652544

[startup+1662.3 s]
/proc/loadavg: 2.07 2.04 2.01 3/536 9064
/proc/meminfo: memFree=24188264/32951124 swapFree=46970528/67111528
[pid=8998] ppid=8996 vsize=652544 CPUtime=1662.31 cores=1,3,5,7
/proc/8998/stat : 8998 (wbo1.6) R 8996 8998 6615 0 -1 4202496 162432 0 0 0 164979 1252 0 0 25 0 1 0 801116317 668205056 162204 33554432000 4194304 5714214 140736679344016 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/8998/statm: 163136 162204 180 372 0 162761 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 652544

[startup+1722.3 s]
/proc/loadavg: 2.09 2.06 2.01 3/536 9066
/proc/meminfo: memFree=24176304/32951124 swapFree=46970528/67111528
[pid=8998] ppid=8996 vsize=652544 CPUtime=1722.32 cores=1,3,5,7
/proc/8998/stat : 8998 (wbo1.6) R 8996 8998 6615 0 -1 4202496 162531 0 0 0 170947 1285 0 0 25 0 1 0 801116317 668205056 162303 33554432000 4194304 5714214 140736679344016 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/8998/statm: 163136 162303 180 372 0 162761 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 652544

[startup+1782.3 s]
/proc/loadavg: 2.17 2.08 2.02 3/536 9067
/proc/meminfo: memFree=24161124/32951124 swapFree=46970528/67111528
[pid=8998] ppid=8996 vsize=652544 CPUtime=1782.32 cores=1,3,5,7
/proc/8998/stat : 8998 (wbo1.6) R 8996 8998 6615 0 -1 4202496 162637 0 0 0 176912 1320 0 0 25 0 1 0 801116317 668205056 162409 33554432000 4194304 5714214 140736679344016 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/8998/statm: 163136 162409 180 372 0 162761 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 652544



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.12 2.07 2.01 3/536 9068
/proc/meminfo: memFree=24157520/32951124 swapFree=46970528/67111528
[pid=8998] ppid=8996 vsize=652544 CPUtime=1800.02 cores=1,3,5,7
/proc/8998/stat : 8998 (wbo1.6) R 8996 8998 6615 0 -1 4202496 162640 0 0 0 178671 1331 0 0 25 0 1 0 801116317 668205056 162412 33554432000 4194304 5714214 140736679344016 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/8998/statm: 163136 162412 180 372 0 162761 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 652544

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.07
CPU user time (s): 1786.73
CPU system time (s): 13.344
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 653028

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1786.73
system time used= 13.344
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 162640
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= 8
involuntary context switches= 12967

runsolver used 8.78766 second user time and 22.3366 second system time

The end

Launcher Data 

Begin job on node146 at 2011-06-03 09:43:21
IDJOB=3461414
IDBENCH=2129
IDSOLVER=1953
FILE ID=node146/3461414-1307087000
RUNJOBID= node146-1307081594-8637
PBS_JOBID= 13497840
Free space on /tmp= 73724 MiB

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

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

MD5SUM BENCH= 5f8256f2423d7410846942dcc96981a5
RANDOM SEED=1605919666

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
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:     32951124 kB
MemFree:      25293068 kB
Buffers:         84948 kB
Cached:         201336 kB
SwapCached:      60100 kB
Active:         177420 kB
Inactive:      7241276 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25293068 kB
SwapTotal:    67111528 kB
SwapFree:     46970528 kB
Dirty:            4312 kB
Writeback:           0 kB
AnonPages:     7084308 kB
Mapped:          16168 kB
Slab:            72504 kB
PageTables:      97316 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 160667704 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= 73720 MiB
End job on node146 at 2011-06-03 10:13:23