Trace number 3447164

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 NameAnswerCPU timeWall clock time
wbo 1.6? (TO) 1800.09 1800.04

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/wcsp/academics/
normalized-warehouse0_wcsp.wbo
MD5SUM1666aebbbae4b4440b4a935980e38a5c
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark328
Best CPU time to get the best result obtained on this benchmark0.005999
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables60
Total number of constraints120
Number of soft constraints105
Number of constraints which are clauses105
Number of constraints which are cardinality constraints (but not clauses)15
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint5
Top cost 954
Min constraint cost 1
Max constraint cost 954
Sum of constraints costs 50513
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 6
Number of bits of the biggest sum of numbers3
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 wbo file format. File HOME/instance-3447164-1307907040.wbo.
0.00/0.00	c Instance file HOME/instance-3447164-1307907040.wbo
0.00/0.00	c File size is 3188 bytes.
0.00/0.00	c Highest Coefficient sum: 6
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:      60                                                  |
0.00/0.00	c |  Number Clauses:        125                                                 |
0.00/0.00	c |  Number Cardinality:    10                                                  |
0.00/0.00	c |  Number PB Constraints: 0                                                   |
0.00/0.00	c core #1
0.00/0.00	c 
0.00/0.00	c 
0.00/0.00	c Core size: 16	Core Weight: 30	Total Weight: 30
0.00/0.00	c Current CPU time: 0.000999 s
0.00/0.00	c
0.00/0.00	c core #2
0.00/0.00	c 
0.00/0.00	c 
0.00/0.00	c Core size: 6	Core Weight: 11	Total Weight: 41
0.00/0.00	c Current CPU time: 0.000999 s
0.00/0.00	c
0.00/0.00	c core #3
0.00/0.00	c 
0.00/0.00	c 
0.00/0.00	c Core size: 6	Core Weight: 27	Total Weight: 68
0.00/0.00	c Current CPU time: 0.000999 s
0.00/0.00	c
0.00/0.00	c core #4
0.00/0.00	c 
0.00/0.00	c 
0.00/0.00	c Core size: 6	Core Weight: 70	Total Weight: 138
0.00/0.00	c Current CPU time: 0.000999 s
0.00/0.00	c
0.00/0.00	c core #5
0.00/0.00	c 
0.00/0.00	c 
0.00/0.00	c Core size: 6	Core Weight: 2	Total Weight: 140
0.00/0.00	c Current CPU time: 0.000999 s
0.00/0.00	c
0.00/0.00	c core #6
0.00/0.00	c 
0.00/0.00	c 
0.00/0.00	c Core size: 6	Core Weight: 4	Total Weight: 144
0.00/0.00	c Current CPU time: 0.000999 s
0.00/0.00	c
0.00/0.00	c core #7
0.00/0.00	c 
0.00/0.00	c 
0.00/0.00	c Core size: 6	Core Weight: 22	Total Weight: 166
0.00/0.00	c Current CPU time: 0.000999 s
0.00/0.00	c
0.00/0.00	c core #8
0.00/0.00	c 
0.00/0.00	c 
0.00/0.00	c Core size: 6	Core Weight: 1	Total Weight: 167
0.00/0.00	c Current CPU time: 0.001999 s
0.00/0.00	c
0.00/0.00	c core #9
0.00/0.00	c 
0.00/0.00	c 
0.00/0.00	c Core size: 6	Core Weight: 10	Total Weight: 177
0.00/0.00	c Current CPU time: 0.001999 s
0.00/0.00	c
0.00/0.00	c core #10
0.00/0.00	c 
0.00/0.00	c 
0.00/0.00	c Core size: 6	Core Weight: 35	Total Weight: 212
0.00/0.00	c Current CPU time: 0.001999 s
0.00/0.00	c
0.00/0.00	c core #11
0.00/0.00	c 
0.00/0.00	c 
0.00/0.00	c Core size: 6	Core Weight: 47	Total Weight: 259
0.00/0.00	c Current CPU time: 0.001999 s
0.00/0.00	c
0.00/0.00	c core #12
0.00/0.00	c 
0.00/0.00	c 
0.00/0.00	c Core size: 33	Core Weight: 1	Total Weight: 260
0.00/0.00	c Current CPU time: 0.001999 s
0.00/0.00	c
0.00/0.00	c core #13
0.00/0.00	c 
0.00/0.00	c 
0.00/0.00	c Core size: 33	Core Weight: 7	Total Weight: 267
0.00/0.00	c Current CPU time: 0.001999 s
0.00/0.00	c
0.00/0.00	c core #14
0.00/0.00	c 
0.00/0.00	c 
0.00/0.00	c Core size: 33	Core Weight: 1	Total Weight: 268
0.00/0.00	c Current CPU time: 0.001999 s
0.00/0.00	c
0.00/0.00	c core #15
0.00/0.00	c 
0.00/0.00	c 
0.00/0.00	c Core size: 25	Core Weight: 10	Total Weight: 278
0.00/0.00	c Current CPU time: 0.001999 s
0.00/0.00	c
0.00/0.00	c core #16
0.00/0.00	c 
0.00/0.00	c 
0.00/0.00	c Core size: 17	Core Weight: 11	Total Weight: 289
0.00/0.00	c Current CPU time: 0.002999 s
0.00/0.00	c
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 |     153      291      507 |     5000        0   -nan |  0.000 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c core #17
0.00/0.00	c 
0.00/0.00	c 
0.00/0.00	c Core size: 36	Core Weight: 1	Total Weight: 290
0.00/0.00	c Current CPU time: 0.002999 s
0.00/0.00	c
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 |     179      315      559 |     5000        0   -nan |  0.000 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c core #18
0.00/0.00	c 
0.00/0.00	c 
0.00/0.00	c Core size: 36	Core Weight: 1	Total Weight: 291
0.00/0.00	c Current CPU time: 0.002999 s
0.00/0.00	c
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 |     205      339      611 |     5000        0   -nan |  0.000 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c core #19
0.00/0.00	c 
0.00/0.00	c 
0.00/0.00	c Core size: 36	Core Weight: 2	Total Weight: 293
0.00/0.00	c Current CPU time: 0.002999 s
0.00/0.00	c
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 |     232      365      688 |     5000        0   -nan |  0.000 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c core #20
0.00/0.00	c 
0.00/0.00	c 
0.00/0.00	c Core size: 28	Core Weight: 7	Total Weight: 300
0.00/0.00	c Current CPU time: 0.003999 s
0.00/0.00	c
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 |     251      382      719 |     5000        0   -nan |  0.000 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c core #21
0.00/0.00	c 
0.00/0.00	c 
0.00/0.00	c Core size: 28	Core Weight: 2	Total Weight: 302
0.00/0.00	c Current CPU time: 0.003999 s
0.00/0.00	c
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 |     280      400      825 |     5000        0   -nan |  0.000 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c core #22
0.00/0.00	c 
0.00/0.00	c 
0.00/0.00	c Core size: 37	Core Weight: 1	Total Weight: 303
0.00/0.00	c Current CPU time: 0.003999 s
0.00/0.00	c
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 |     313      430      923 |     5000        0   -nan |  0.000 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c core #23
0.00/0.00	c 
0.00/0.00	c 
0.00/0.00	c Core size: 36	Core Weight: 2	Total Weight: 305
0.00/0.00	c Current CPU time: 0.004999 s
0.00/0.00	c
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 |     343      457      999 |     5000        0   -nan |  0.000 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c core #24
0.00/0.00	c 
0.00/0.00	c 
0.00/0.00	c Core size: 54	Core Weight: 1	Total Weight: 306
0.00/0.00	c Current CPU time: 0.004999 s
0.00/0.00	c
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 |     389      501     1138 |     5000        0   -nan |  0.000 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c core #25
0.00/0.00	c 
0.00/0.00	c 
0.00/0.00	c Core size: 47	Core Weight: 1	Total Weight: 307
0.00/0.00	c Current CPU time: 0.005999 s
0.00/0.00	c
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 |     426      536     1243 |     5000        0   -nan |  0.000 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c core #26
0.00/0.00	c 
0.00/0.00	c 
0.00/0.00	c Core size: 30	Core Weight: 2	Total Weight: 309
0.00/0.00	c Current CPU time: 0.006998 s
0.00/0.00	c
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 |     449      558     1302 |     5000        0   -nan |  0.000 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c core #27
0.00/0.00	c 
0.00/0.00	c 
0.00/0.00	c Core size: 46	Core Weight: 1	Total Weight: 310
0.00/0.00	c Current CPU time: 0.006998 s
0.00/0.00	c
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 |     488      590     1431 |     5000        0   -nan |  0.000 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c core #28
0.00/0.00	c 
0.00/0.00	c 
0.00/0.00	c Core size: 28	Core Weight: 2	Total Weight: 312
0.00/0.00	c Current CPU time: 0.007998 s
0.00/0.00	c
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 |     516      610     1520 |     5000        0   -nan |  0.000 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c core #29
0.00/0.00	c 
0.00/0.00	c 
0.00/0.00	c Core size: 28	Core Weight: 1	Total Weight: 313
0.00/0.00	c Current CPU time: 0.008998 s
0.00/0.00	c
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 |     537      630     1570 |     5000        0   -nan |  0.000 % |
0.00/0.00	c ===============================================================================
0.00/0.01	c core #30
0.00/0.01	c 
0.00/0.01	c 
0.00/0.01	c Core size: 27	Core Weight: 2	Total Weight: 315
0.00/0.01	c Current CPU time: 0.009998 s
0.00/0.01	c
0.00/0.01	c ============================[ Search Statistics ]==============================
0.00/0.01	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.01	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.01	c ===============================================================================
0.00/0.01	c |         0 |     557      646     1646 |     5000        0   -nan |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c core #31
0.00/0.01	c 
0.00/0.01	c 
0.00/0.01	c Core size: 60	Core Weight: 1	Total Weight: 316
0.00/0.01	c Current CPU time: 0.010998 s
0.00/0.01	c
0.00/0.01	c ============================[ Search Statistics ]==============================
0.00/0.01	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.01	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.01	c ===============================================================================
0.00/0.01	c |         0 |     617      679     1785 |     5000        0   -nan |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c core #32
0.00/0.01	c 
0.00/0.01	c 
0.00/0.01	c Core size: 76	Core Weight: 1	Total Weight: 317
0.00/0.01	c Current CPU time: 0.011998 s
0.00/0.01	c
0.00/0.01	c ============================[ Search Statistics ]==============================
0.00/0.01	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.01	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.01	c ===============================================================================
0.00/0.01	c |         0 |     683      716     1950 |     5000        0   -nan |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c core #33
0.00/0.01	c 
0.00/0.01	c 
0.00/0.01	c Core size: 111	Core Weight: 1	Total Weight: 318
0.00/0.01	c Current CPU time: 0.012998 s
0.00/0.01	c
0.00/0.01	c ============================[ Search Statistics ]==============================
0.00/0.01	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.01	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.01	c ===============================================================================
0.00/0.01	c |         0 |     783      760     2206 |     5000        0   -nan |  0.000 % |
0.00/0.01	c |       102 |     783      760     2206 |     5500      102     20 |  4.860 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c core #34
0.00/0.01	c 
0.00/0.01	c 
0.00/0.01	c Core size: 145	Core Weight: 1	Total Weight: 319
0.00/0.01	c Current CPU time: 0.018997 s
0.00/0.01	c
0.00/0.01	c ============================[ Search Statistics ]==============================
0.00/0.01	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.01	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.01	c ===============================================================================
0.00/0.01	c |         0 |     930      807     2585 |     5000        0   -nan |  0.000 % |
0.00/0.02	c |       100 |     930      807     2585 |     5500      100     31 |  3.327 % |
0.00/0.02	c |       250 |     930      807     2585 |     6050      250     21 |  3.327 % |
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: 171	Core Weight: 1	Total Weight: 320
0.00/0.02	c Current CPU time: 0.028995 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 |    1088      858     2969 |     5000        0   -nan |  0.000 % |
0.00/0.03	c |       102 |    1088      858     2969 |     5500      102     35 |  2.857 % |
0.00/0.03	c |       252 |    1088      858     2969 |     6050      252     24 |  2.857 % |
0.00/0.04	c |       478 |    1088      858     2969 |     6655      478     27 |  2.857 % |
0.05/0.05	c |       816 |    1088      858     2969 |     7320      816     22 |  2.857 % |
0.05/0.07	c |      1325 |    1088      858     2969 |     8052     1325     20 |  2.859 % |
0.09/0.10	c |      2086 |     857      858     2969 |     8857     2086     18 | 23.482 % |
0.09/0.10	c ===============================================================================
0.09/0.11	c core #36
0.09/0.11	c 
0.09/0.11	c 
0.09/0.11	c Core size: 219	Core Weight: 1	Total Weight: 321
0.09/0.11	c Current CPU time: 0.111982 s
0.09/0.11	c
0.09/0.11	c ============================[ Search Statistics ]==============================
0.09/0.11	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.09/0.11	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.09/0.11	c ===============================================================================
0.09/0.11	c |         0 |    1291      912     3445 |     5000        0   -nan |  0.000 % |
0.09/0.11	c |       101 |    1291      912     3445 |     5500      101     89 |  2.419 % |
0.09/0.12	c |       252 |    1291      912     3445 |     6050      252     72 |  2.419 % |
0.09/0.13	c |       477 |    1291      912     3445 |     6655      477     54 |  2.419 % |
0.09/0.15	c |       815 |    1291      912     3445 |     7320      815     44 |  2.419 % |
0.09/0.17	c |      1321 |    1291      912     3445 |     8052     1321     38 |  2.419 % |
0.19/0.20	c |      2081 |    1291      912     3445 |     8857     2081     33 |  2.419 % |
0.19/0.26	c |      3223 |    1291      912     3445 |     9743     3223     34 |  2.419 % |
0.29/0.37	c |      4935 |    1291      912     3445 |    10717     4935     33 |  2.419 % |
0.49/0.53	c |      7497 |    1291      912     3445 |    11789     7497     32 |  2.419 % |
0.79/0.82	c |     11343 |    1291      912     3445 |    12968    11343     32 |  2.419 % |
1.19/1.24	c ===============================================================================
1.29/1.30	c core #37
1.29/1.30	c 
1.29/1.30	c 
1.29/1.30	c Core size: 243	Core Weight: 1	Total Weight: 322
1.29/1.30	c Current CPU time: 1.2858 s
1.29/1.30	c
1.29/1.30	c ============================[ Search Statistics ]==============================
1.29/1.30	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.29/1.30	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.29/1.30	c ===============================================================================
1.29/1.30	c |         0 |    1520      957     3949 |     5000        0   -nan |  0.000 % |
1.29/1.30	c |       101 |    1520      957     3949 |     5500      101     78 |  2.062 % |
1.29/1.31	c |       252 |    1520      957     3949 |     6050      252     40 |  2.062 % |
1.29/1.32	c |       477 |    1520      957     3949 |     6655      477     37 |  2.062 % |
1.29/1.33	c |       816 |    1520      957     3949 |     7320      816     45 |  2.062 % |
1.29/1.37	c |      1323 |    1520      957     3949 |     8052     1323     47 |  2.062 % |
1.39/1.40	c |      2082 |    1518      957     3949 |     8857     2082     38 |  2.192 % |
1.39/1.47	c |      3222 |    1518      957     3949 |     9743     3222     39 |  2.191 % |
1.49/1.58	c |      4931 |    1518      957     3949 |    10717     4931     40 |  2.191 % |
1.69/1.79	c |      7493 |    1518      957     3949 |    11789     7493     43 |  2.191 % |
2.20/2.28	c |     11338 |    1518      957     3949 |    12968    11338     46 |  2.191 % |
2.79/2.89	c |     17105 |    1518      957     3949 |    14265    10347     45 |  2.191 % |
3.79/3.86	c |     25756 |    1518      957     3949 |    15692    11703     43 |  2.191 % |
5.40/5.45	c |     38737 |    1518      957     3949 |    17261     8567     61 |  2.191 % |
8.99/9.06	c |     58199 |    1518      957     3949 |    18987    10424     56 |  2.191 % |
13.59/13.66	c |     87391 |    1518      957     3949 |    20886    10550     41 |  2.191 % |
19.20/19.23	c |    131184 |    1518      957     3949 |    22974    11803     54 |  2.192 % |
28.50/28.57	c |    196869 |    1506      957     3949 |    25272    18569     45 |  2.964 % |
41.49/41.57	c ===============================================================================
42.99/43.06	c core #38
42.99/43.06	c 
42.99/43.06	c 
42.99/43.06	c Core size: 265	Core Weight: 1	Total Weight: 323
42.99/43.06	c Current CPU time: 42.7165 s
42.99/43.06	c
42.99/43.06	c ============================[ Search Statistics ]==============================
42.99/43.06	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
42.99/43.06	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
42.99/43.06	c ===============================================================================
42.99/43.06	c |         0 |    1776     1004     4511 |     5000        0   -nan |  0.000 % |
42.99/43.07	c |       102 |    1776     1004     4511 |     5500      102    101 |  1.770 % |
42.99/43.08	c |       257 |    1776     1004     4511 |     6050      257    104 |  1.770 % |
42.99/43.09	c |       482 |    1776     1004     4511 |     6655      482     67 |  1.770 % |
43.09/43.10	c |       819 |    1776     1004     4511 |     7320      819     58 |  1.770 % |
43.09/43.13	c |      1326 |    1776     1004     4511 |     8052     1326     50 |  1.770 % |
43.09/43.18	c |      2085 |    1776     1004     4511 |     8857     2085     54 |  1.770 % |
43.19/43.25	c |      3226 |    1776     1004     4511 |     9743     3226     50 |  1.770 % |
43.29/43.35	c |      4936 |    1776     1004     4511 |    10717     4936     48 |  1.770 % |
43.49/43.56	c |      7501 |    1776     1004     4511 |    11789     7501     45 |  1.770 % |
43.79/43.87	c |     11346 |    1776     1004     4511 |    12968    11346     50 |  1.770 % |
44.39/44.45	c |     17112 |    1776     1004     4511 |    14265    10454     59 |  1.770 % |
45.49/45.52	c |     25762 |    1776     1004     4511 |    15692    11828     67 |  1.770 % |
47.20/47.25	c |     38739 |    1776     1004     4511 |    17261     8734     71 |  1.770 % |
51.00/51.01	c |     58200 |    1776     1004     4511 |    18987    10401     65 |  1.770 % |
55.59/55.62	c |     87392 |    1776     1004     4511 |    20886    10509     66 |  1.770 % |
63.20/63.27	c |    131184 |    1776     1004     4511 |    22974    11429     65 |  1.770 % |
77.19/77.27	c |    196870 |    1776     1004     4511 |    25272    18414     65 |  1.770 % |
98.59/98.67	c |    295397 |    1776     1004     4511 |    27799    25166     60 |  1.770 % |
132.10/132.16	c |    443190 |    1776     1004     4511 |    30579    23172     74 |  1.770 % |
186.90/186.98	c |    664877 |    1776     1004     4511 |    33637    28164     55 |  1.770 % |
247.20/247.25	c |    997408 |    1776     1004     4511 |    37001    22521     56 |  1.770 % |
374.20/374.21	c |   1496198 |    1776     1004     4511 |    40701    15951     63 |  1.770 % |
545.31/545.35	c |   2244380 |    1776     1004     4511 |    44771    35078     59 |  1.771 % |
853.82/853.81	c |   3366656 |    1766     1004     4511 |    49248    14993     58 |  2.323 % |
1157.73/1157.79	c ===============================================================================
1190.53/1190.54	c core #39
1190.53/1190.54	c 
1190.53/1190.54	c 
1190.53/1190.54	c Core size: 292	Core Weight: 1	Total Weight: 324
1190.53/1190.54	c Current CPU time: 1184 s
1190.53/1190.54	c
1190.53/1190.54	c ============================[ Search Statistics ]==============================
1190.53/1190.54	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1190.53/1190.54	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1190.53/1190.54	c ===============================================================================
1190.53/1190.54	c |         0 |    2055     1052     5122 |     5000        0   -nan |  0.000 % |
1190.53/1190.55	c |       101 |    2055     1052     5122 |     5500      101    116 |  1.533 % |
1190.53/1190.55	c |       251 |    2055     1052     5122 |     6050      251     59 |  1.533 % |
1190.53/1190.57	c |       477 |    2055     1052     5122 |     6655      477     50 |  1.533 % |
1190.53/1190.58	c |       815 |    2055     1052     5122 |     7320      815     44 |  1.533 % |
1190.63/1190.61	c |      1321 |    2055     1052     5122 |     8052     1321     50 |  1.533 % |
1190.63/1190.65	c |      2082 |    2055     1052     5122 |     8857     2082     46 |  1.533 % |
1190.73/1190.73	c |      3223 |    2055     1052     5122 |     9743     3223     47 |  1.533 % |
1190.82/1190.83	c |      4933 |    2055     1052     5122 |    10717     4933     47 |  1.534 % |
1191.03/1191.06	c |      7497 |    2055     1052     5122 |    11789     7497     50 |  1.533 % |
1191.43/1191.40	c |     11344 |    2055     1052     5122 |    12968    11344     50 |  1.533 % |
1192.02/1192.09	c |     17110 |    2055     1052     5122 |    14265    10467     50 |  1.533 % |
1192.93/1192.98	c |     25759 |    2055     1052     5122 |    15692    11804     39 |  1.533 % |
1194.63/1194.69	c |     38733 |    2055     1052     5122 |    17261     8799     81 |  1.533 % |
1197.32/1197.35	c |     58194 |    2055     1052     5122 |    18987    10652     46 |  1.534 % |
1202.83/1202.84	c |     87386 |    2055     1052     5122 |    20886    10192     62 |  1.533 % |
1209.53/1209.50	c |    131177 |    2055     1052     5122 |    22974    11243     70 |  1.533 % |
1224.83/1224.81	c |    196866 |    2053     1052     5122 |    25272    17441     79 |  1.629 % |
1241.83/1241.90	c |    295392 |    2053     1052     5122 |    27799    22845     61 |  1.629 % |
1274.33/1274.34	c |    443185 |    2053     1052     5122 |    30579    11934     88 |  1.629 % |
1328.84/1328.88	c |    664868 |    2053     1052     5122 |    33637    23770     87 |  1.629 % |
1424.73/1424.74	c |    997393 |    2053     1052     5122 |    37001    29867     79 |  1.629 % |
1594.54/1594.58	c |   1496182 |    2053     1052     5122 |    40701    28181     93 |  1.629 % |

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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-3447164-1307907040/watcher-3447164-1307907040 -o /tmp/evaluation-result-3447164-1307907040/solver-3447164-1307907040 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=wbo -time-limit=1800 -search-mode=0 HOME/instance-3447164-1307907040.wbo 

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

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


[startup+0 s]
/proc/loadavg: 1.87 1.98 1.99 3/178 14100
/proc/meminfo: memFree=1209664/32951124 swapFree=67063552/67111528
[pid=14100] ppid=14098 vsize=2108 CPUtime=0 cores=0,2,4,6
/proc/14100/stat : 14100 (wbo1.6) R 14098 14100 11440 0 -1 4202496 329 0 0 0 0 0 0 0 25 0 1 0 902302216 2158592 280 33554432000 4194304 5714214 140734379329440 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/14100/statm: 527 280 177 372 0 152 0

[startup+0.056615 s]
/proc/loadavg: 1.87 1.98 1.99 3/178 14100
/proc/meminfo: memFree=1209664/32951124 swapFree=67063552/67111528
[pid=14100] ppid=14098 vsize=2576 CPUtime=0.05 cores=0,2,4,6
/proc/14100/stat : 14100 (wbo1.6) R 14098 14100 11440 0 -1 4202496 444 0 0 0 5 0 0 0 18 0 1 0 902302216 2637824 395 33554432000 4194304 5714214 140734379329440 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/14100/statm: 644 395 178 372 0 269 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 2576

[startup+0.100606 s]
/proc/loadavg: 1.87 1.98 1.99 3/178 14100
/proc/meminfo: memFree=1209664/32951124 swapFree=67063552/67111528
[pid=14100] ppid=14098 vsize=2708 CPUtime=0.09 cores=0,2,4,6
/proc/14100/stat : 14100 (wbo1.6) R 14098 14100 11440 0 -1 4202496 491 0 0 0 9 0 0 0 18 0 1 0 902302216 2772992 442 33554432000 4194304 5714214 140734379329440 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/14100/statm: 677 442 178 372 0 302 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2708

[startup+0.300552 s]
/proc/loadavg: 1.87 1.98 1.99 3/178 14100
/proc/meminfo: memFree=1209664/32951124 swapFree=67063552/67111528
[pid=14100] ppid=14098 vsize=3696 CPUtime=0.29 cores=0,2,4,6
/proc/14100/stat : 14100 (wbo1.6) R 14098 14100 11440 0 -1 4202496 700 0 0 0 29 0 0 0 18 0 1 0 902302216 3784704 651 33554432000 4194304 5714214 140734379329440 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/14100/statm: 924 651 178 372 0 549 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3696

[startup+0.700469 s]
/proc/loadavg: 1.87 1.98 1.99 3/178 14100
/proc/meminfo: memFree=1209664/32951124 swapFree=67063552/67111528
[pid=14100] ppid=14098 vsize=5680 CPUtime=0.69 cores=0,2,4,6
/proc/14100/stat : 14100 (wbo1.6) R 14098 14100 11440 0 -1 4202496 1207 0 0 0 69 0 0 0 18 0 1 0 902302216 5816320 1158 33554432000 4194304 5714214 140734379329440 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/14100/statm: 1420 1158 178 372 0 1045 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5680

[startup+1.50034 s]
/proc/loadavg: 1.88 1.98 1.99 3/179 14101
/proc/meminfo: memFree=1202916/32951124 swapFree=67063552/67111528
[pid=14100] ppid=14098 vsize=7916 CPUtime=1.49 cores=0,2,4,6
/proc/14100/stat : 14100 (wbo1.6) R 14098 14100 11440 0 -1 4202496 1786 0 0 0 148 1 0 0 19 0 1 0 902302216 8105984 1711 33554432000 4194304 5714214 140734379329440 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/14100/statm: 1979 1711 178 372 0 1604 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7916

[startup+3.10104 s]
/proc/loadavg: 1.88 1.98 1.99 3/179 14101
/proc/meminfo: memFree=1199444/32951124 swapFree=67063552/67111528
[pid=14100] ppid=14098 vsize=8864 CPUtime=3.1 cores=0,2,4,6
/proc/14100/stat : 14100 (wbo1.6) R 14098 14100 11440 0 -1 4202496 2042 0 0 0 307 3 0 0 25 0 1 0 902302216 9076736 1967 33554432000 4194304 5714214 140734379329440 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/14100/statm: 2216 1967 178 372 0 1841 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 8864

[startup+6.30049 s]
/proc/loadavg: 1.88 1.98 1.99 3/179 14101
/proc/meminfo: memFree=1192708/32951124 swapFree=67063552/67111528
[pid=14100] ppid=14098 vsize=15384 CPUtime=6.29 cores=0,2,4,6
/proc/14100/stat : 14100 (wbo1.6) R 14098 14100 11440 0 -1 4202496 3610 0 0 0 625 4 0 0 25 0 1 0 902302216 15753216 3535 33554432000 4194304 5714214 140734379329440 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/14100/statm: 3846 3535 178 372 0 3471 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15384

[startup+12.7003 s]
/proc/loadavg: 1.90 1.98 1.99 3/179 14102
/proc/meminfo: memFree=1186032/32951124 swapFree=67063552/67111528
[pid=14100] ppid=14098 vsize=21968 CPUtime=12.7 cores=0,2,4,6
/proc/14100/stat : 14100 (wbo1.6) R 14098 14100 11440 0 -1 4202496 5198 0 0 0 1262 8 0 0 25 0 1 0 902302216 22495232 5123 33554432000 4194304 5714214 140734379329440 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/14100/statm: 5492 5123 178 372 0 5117 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 21968

[startup+25.501 s]
/proc/loadavg: 1.91 1.98 1.99 3/179 14102
/proc/meminfo: memFree=1166188/32951124 swapFree=67063552/67111528
[pid=14100] ppid=14098 vsize=36772 CPUtime=25.49 cores=0,2,4,6
/proc/14100/stat : 14100 (wbo1.6) R 14098 14100 11440 0 -1 4202496 8871 0 0 0 2536 13 0 0 25 0 1 0 902302216 37654528 8796 33554432000 4194304 5714214 140734379329440 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/14100/statm: 9193 8796 178 372 0 8818 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 36772

[startup+51.1003 s]
/proc/loadavg: 1.94 1.98 1.99 3/179 14103
/proc/meminfo: memFree=1126832/32951124 swapFree=67063552/67111528
[pid=14100] ppid=14098 vsize=65028 CPUtime=51.09 cores=0,2,4,6
/proc/14100/stat : 14100 (wbo1.6) R 14098 14100 11440 0 -1 4202496 15935 0 0 0 5084 25 0 0 25 0 1 0 902302216 66588672 15809 33554432000 4194304 5714214 140734379329440 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/14100/statm: 16257 15809 178 372 0 15882 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 65028

[startup+102.306 s]
/proc/loadavg: 1.98 1.98 1.99 3/179 14104
/proc/meminfo: memFree=1106084/32951124 swapFree=67063552/67111528
[pid=14100] ppid=14098 vsize=65028 CPUtime=102.3 cores=0,2,4,6
/proc/14100/stat : 14100 (wbo1.6) R 14098 14100 11440 0 -1 4202496 16096 0 0 0 10186 44 0 0 25 0 1 0 902302216 66588672 15970 33554432000 4194304 5714214 140734379329440 18446744073709551615 4329480 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/14100/statm: 16257 15970 178 372 0 15882 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 65028

[startup+162.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 14106
/proc/meminfo: memFree=1041564/32951124 swapFree=67063552/67111528
[pid=14100] ppid=14098 vsize=103412 CPUtime=162.3 cores=0,2,4,6
/proc/14100/stat : 14100 (wbo1.6) R 14098 14100 11440 0 -1 4202496 25428 0 0 0 16162 68 0 0 25 0 1 0 902302216 105893888 25302 33554432000 4194304 5714214 140734379329440 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/14100/statm: 25853 25302 178 372 0 25478 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 103412

[startup+222.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 14107
/proc/meminfo: memFree=973316/32951124 swapFree=67063552/67111528
[pid=14100] ppid=14098 vsize=137976 CPUtime=222.29 cores=0,2,4,6
/proc/14100/stat : 14100 (wbo1.6) R 14098 14100 11440 0 -1 4202496 33960 0 0 0 22140 89 0 0 25 0 1 0 902302216 141287424 33834 33554432000 4194304 5714214 140734379329440 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/14100/statm: 34494 33834 178 372 0 34119 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 137976

[startup+282.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 14109
/proc/meminfo: memFree=906432/32951124 swapFree=67063552/67111528
[pid=14100] ppid=14098 vsize=179080 CPUtime=282.3 cores=0,2,4,6
/proc/14100/stat : 14100 (wbo1.6) R 14098 14100 11440 0 -1 4202496 44157 0 0 0 28116 114 0 0 25 0 1 0 902302216 183377920 44031 33554432000 4194304 5714214 140734379329440 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/14100/statm: 44770 44031 178 372 0 44395 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 179080

[startup+342.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 14110
/proc/meminfo: memFree=839068/32951124 swapFree=67063552/67111528
[pid=14100] ppid=14098 vsize=214480 CPUtime=342.3 cores=0,2,4,6
/proc/14100/stat : 14100 (wbo1.6) R 14098 14100 11440 0 -1 4202496 52809 0 0 0 34098 132 0 0 25 0 1 0 902302216 219627520 52683 33554432000 4194304 5714214 140734379329440 18446744073709551615 4319260 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/14100/statm: 53620 52683 178 372 0 53245 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 214480

[startup+402.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 14112
/proc/meminfo: memFree=777028/32951124 swapFree=67063552/67111528
[pid=14100] ppid=14098 vsize=249000 CPUtime=402.3 cores=0,2,4,6
/proc/14100/stat : 14100 (wbo1.6) R 14098 14100 11440 0 -1 4202496 61247 0 0 0 40079 151 0 0 25 0 1 0 902302216 254976000 61121 33554432000 4194304 5714214 140734379329440 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/14100/statm: 62250 61121 178 372 0 61875 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 249000

[startup+462.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 14114
/proc/meminfo: memFree=714500/32951124 swapFree=67063552/67111528
[pid=14100] ppid=14098 vsize=288784 CPUtime=462.31 cores=0,2,4,6
/proc/14100/stat : 14100 (wbo1.6) R 14098 14100 11440 0 -1 4202496 71020 0 0 0 46058 173 0 0 25 0 1 0 902302216 295714816 70894 33554432000 4194304 5714214 140734379329440 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/14100/statm: 72196 70894 178 372 0 71821 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 288784

[startup+522.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 14115
/proc/meminfo: memFree=646788/32951124 swapFree=67063552/67111528
[pid=14100] ppid=14098 vsize=320368 CPUtime=522.3 cores=0,2,4,6
/proc/14100/stat : 14100 (wbo1.6) R 14098 14100 11440 0 -1 4202496 78864 0 0 0 52037 193 0 0 25 0 1 0 902302216 328056832 78738 33554432000 4194304 5714214 140734379329440 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/14100/statm: 80092 78738 178 372 0 79717 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 320368

[startup+582.301 s]
/proc/loadavg: 2.15 2.01 2.00 3/179 14117
/proc/meminfo: memFree=568464/32951124 swapFree=67063552/67111528
[pid=14100] ppid=14098 vsize=356848 CPUtime=582.3 cores=0,2,4,6
/proc/14100/stat : 14100 (wbo1.6) R 14098 14100 11440 0 -1 4202496 87860 0 0 0 58016 214 0 0 25 0 1 0 902302216 365412352 87734 33554432000 4194304 5714214 140734379329440 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/14100/statm: 89212 87734 178 372 0 88837 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 356848

[startup+642.301 s]

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

[startup+822.301 s]
/proc/loadavg: 2.04 2.04 2.00 3/179 14123
/proc/meminfo: memFree=377840/32951124 swapFree=67063552/67111528
[pid=14100] ppid=14098 vsize=468008 CPUtime=822.31 cores=0,2,4,6
/proc/14100/stat : 14100 (wbo1.6) R 14098 14100 11440 0 -1 4202496 115340 0 0 0 81946 285 0 0 25 0 1 0 902302216 479240192 115214 33554432000 4194304 5714214 140734379329440 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/14100/statm: 117002 115214 178 372 0 116627 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 468008

[startup+882.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/179 14125
/proc/meminfo: memFree=315888/32951124 swapFree=67063552/67111528
[pid=14100] ppid=14098 vsize=501024 CPUtime=882.32 cores=0,2,4,6
/proc/14100/stat : 14100 (wbo1.6) R 14098 14100 11440 0 -1 4202496 123475 0 0 0 87927 305 0 0 25 0 1 0 902302216 513048576 123349 33554432000 4194304 5714214 140734379329440 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/14100/statm: 125256 123349 178 372 0 124881 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 501024

[startup+942.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 14126
/proc/meminfo: memFree=255656/32951124 swapFree=67063552/67111528
[pid=14100] ppid=14098 vsize=528420 CPUtime=942.32 cores=0,2,4,6
/proc/14100/stat : 14100 (wbo1.6) R 14098 14100 11440 0 -1 4202496 130207 0 0 0 93911 321 0 0 25 0 1 0 902302216 541102080 130081 33554432000 4194304 5714214 140734379329440 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/14100/statm: 132105 130081 178 372 0 131730 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 528420

[startup+1002.3 s]
/proc/loadavg: 1.85 1.98 1.99 2/173 14153
/proc/meminfo: memFree=1140404/32951124 swapFree=67063552/67111528
[pid=14100] ppid=14098 vsize=546956 CPUtime=1002.32 cores=0,2,4,6
/proc/14100/stat : 14100 (wbo1.6) R 14098 14100 11440 0 -1 4202496 134820 0 0 0 99896 336 0 0 25 0 1 0 902302216 560082944 134694 33554432000 4194304 5714214 140734379329440 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/14100/statm: 136739 134694 178 372 0 136364 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 546956

[startup+1062.3 s]
/proc/loadavg: 1.31 1.80 1.92 2/173 14155
/proc/meminfo: memFree=1121220/32951124 swapFree=67063552/67111528
[pid=14100] ppid=14098 vsize=567532 CPUtime=1062.32 cores=0,2,4,6
/proc/14100/stat : 14100 (wbo1.6) R 14098 14100 11440 0 -1 4202496 139863 0 0 0 105884 348 0 0 25 0 1 0 902302216 581152768 139737 33554432000 4194304 5714214 140734379329440 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/14100/statm: 141883 139737 178 372 0 141508 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 567532

[startup+1122.3 s]
/proc/loadavg: 1.11 1.65 1.86 2/173 14156
/proc/meminfo: memFree=1095932/32951124 swapFree=67063552/67111528
[pid=14100] ppid=14098 vsize=592128 CPUtime=1122.33 cores=0,2,4,6
/proc/14100/stat : 14100 (wbo1.6) R 14098 14100 11440 0 -1 4202496 145895 0 0 0 111867 366 0 0 25 0 1 0 902302216 606339072 145769 33554432000 4194304 5714214 140734379329440 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/14100/statm: 148032 145769 178 372 0 147657 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 592128

[startup+1182.3 s]
/proc/loadavg: 1.11 1.55 1.81 2/173 14158
/proc/meminfo: memFree=941428/32951124 swapFree=67063552/67111528
[pid=14100] ppid=14098 vsize=746556 CPUtime=1182.33 cores=0,2,4,6
/proc/14100/stat : 14100 (wbo1.6) R 14098 14100 11440 0 -1 4202496 184425 0 0 0 117853 380 0 0 25 0 1 0 902302216 764473344 184299 33554432000 4194304 5714214 140734379329440 18446744073709551615 4324928 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/14100/statm: 186639 184299 178 372 0 186264 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 746556

[startup+1242.3 s]
/proc/loadavg: 1.12 1.46 1.76 2/173 14159
/proc/meminfo: memFree=946560/32951124 swapFree=67063552/67111528
[pid=14100] ppid=14098 vsize=738620 CPUtime=1242.33 cores=0,2,4,6
/proc/14100/stat : 14100 (wbo1.6) R 14098 14100 11440 0 -1 4202496 184481 0 0 0 123830 403 0 0 25 0 1 0 902302216 756346880 182873 33554432000 4194304 5714214 140734379329440 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/14100/statm: 184655 182873 178 372 0 184280 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 738620

[startup+1302.3 s]
/proc/loadavg: 1.04 1.38 1.71 2/173 14161
/proc/meminfo: memFree=946220/32951124 swapFree=67063552/67111528
[pid=14100] ppid=14098 vsize=738620 CPUtime=1302.33 cores=0,2,4,6
/proc/14100/stat : 14100 (wbo1.6) R 14098 14100 11440 0 -1 4202496 184620 0 0 0 129808 425 0 0 25 0 1 0 902302216 756346880 183012 33554432000 4194304 5714214 140734379329440 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/14100/statm: 184655 183012 178 372 0 184280 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 738620

[startup+1362.3 s]
/proc/loadavg: 1.01 1.31 1.67 2/173 14163
/proc/meminfo: memFree=945900/32951124 swapFree=67063552/67111528
[pid=14100] ppid=14098 vsize=738620 CPUtime=1362.33 cores=0,2,4,6
/proc/14100/stat : 14100 (wbo1.6) R 14098 14100 11440 0 -1 4202496 184677 0 0 0 135789 444 0 0 25 0 1 0 902302216 756346880 183069 33554432000 4194304 5714214 140734379329440 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/14100/statm: 184655 183069 178 372 0 184280 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 738620

[startup+1422.31 s]
/proc/loadavg: 1.00 1.25 1.62 2/173 14164
/proc/meminfo: memFree=945428/32951124 swapFree=67063552/67111528
[pid=14100] ppid=14098 vsize=738620 CPUtime=1422.34 cores=0,2,4,6
/proc/14100/stat : 14100 (wbo1.6) R 14098 14100 11440 0 -1 4202496 184755 0 0 0 141775 459 0 0 25 0 1 0 902302216 756346880 183147 33554432000 4194304 5714214 140734379329440 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/14100/statm: 184655 183147 178 372 0 184280 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 738620

[startup+1482.3 s]
/proc/loadavg: 1.00 1.20 1.58 2/173 14166
/proc/meminfo: memFree=945004/32951124 swapFree=67063552/67111528
[pid=14100] ppid=14098 vsize=738620 CPUtime=1482.33 cores=0,2,4,6
/proc/14100/stat : 14100 (wbo1.6) R 14098 14100 11440 0 -1 4202496 184844 0 0 0 147759 474 0 0 25 0 1 0 902302216 756346880 183236 33554432000 4194304 5714214 140734379329440 18446744073709551615 4319434 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/14100/statm: 184655 183236 178 372 0 184280 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 738620

[startup+1542.3 s]
/proc/loadavg: 1.00 1.16 1.54 2/173 14167
/proc/meminfo: memFree=945072/32951124 swapFree=67063552/67111528
[pid=14100] ppid=14098 vsize=738620 CPUtime=1542.34 cores=0,2,4,6
/proc/14100/stat : 14100 (wbo1.6) R 14098 14100 11440 0 -1 4202496 184874 0 0 0 153746 488 0 0 25 0 1 0 902302216 756346880 183266 33554432000 4194304 5714214 140734379329440 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/14100/statm: 184655 183266 178 372 0 184280 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 738620

[startup+1602.3 s]
/proc/loadavg: 1.05 1.14 1.51 2/173 14169
/proc/meminfo: memFree=945016/32951124 swapFree=67063552/67111528
[pid=14100] ppid=14098 vsize=738620 CPUtime=1602.34 cores=0,2,4,6
/proc/14100/stat : 14100 (wbo1.6) R 14098 14100 11440 0 -1 4202496 184896 0 0 0 159731 503 0 0 25 0 1 0 902302216 756346880 183288 33554432000 4194304 5714214 140734379329440 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/14100/statm: 184655 183288 178 372 0 184280 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 738620

[startup+1662.3 s]
/proc/loadavg: 1.02 1.11 1.47 2/173 14171
/proc/meminfo: memFree=944852/32951124 swapFree=67063552/67111528
[pid=14100] ppid=14098 vsize=738620 CPUtime=1662.34 cores=0,2,4,6
/proc/14100/stat : 14100 (wbo1.6) R 14098 14100 11440 0 -1 4202496 184953 0 0 0 165714 520 0 0 25 0 1 0 902302216 756346880 183345 33554432000 4194304 5714214 140734379329440 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/14100/statm: 184655 183345 178 372 0 184280 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 738620

[startup+1722.3 s]
/proc/loadavg: 1.06 1.11 1.45 2/173 14172
/proc/meminfo: memFree=945040/32951124 swapFree=67063552/67111528
[pid=14100] ppid=14098 vsize=738620 CPUtime=1722.34 cores=0,2,4,6
/proc/14100/stat : 14100 (wbo1.6) R 14098 14100 11440 0 -1 4202496 184955 0 0 0 171698 536 0 0 25 0 1 0 902302216 756346880 183347 33554432000 4194304 5714214 140734379329440 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/14100/statm: 184655 183347 178 372 0 184280 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 738620

[startup+1782.3 s]
/proc/loadavg: 1.12 1.12 1.43 2/173 14174
/proc/meminfo: memFree=944336/32951124 swapFree=67063552/67111528
[pid=14100] ppid=14098 vsize=738620 CPUtime=1782.34 cores=0,2,4,6
/proc/14100/stat : 14100 (wbo1.6) R 14098 14100 11440 0 -1 4202496 185061 0 0 0 177682 552 0 0 25 0 1 0 902302216 756346880 183453 33554432000 4194304 5714214 140734379329440 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/14100/statm: 184655 183453 178 372 0 184280 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 738620



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 1.09 1.11 1.42 2/173 14174
/proc/meminfo: memFree=944500/32951124 swapFree=67063552/67111528
[pid=14100] ppid=14098 vsize=738620 CPUtime=1800.05 cores=0,2,4,6
/proc/14100/stat : 14100 (wbo1.6) R 14098 14100 11440 0 -1 4202496 185070 0 0 0 179450 555 0 0 25 0 1 0 902302216 756346880 183462 33554432000 4194304 5714214 140734379329440 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/14100/statm: 184655 183462 178 372 0 184280 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 738620

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.04
CPU time (s): 1800.09
CPU user time (s): 1794.51
CPU system time (s): 5.58715
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 746556

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.51
system time used= 5.58715
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 185070
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13
involuntary context switches= 1754

runsolver used 2.67759 second user time and 5.54816 second system time

The end

Launcher Data 

Begin job on node134 at 2011-06-12 21:30:40
IDJOB=3447164
IDBENCH=79357
IDSOLVER=1943
FILE ID=node134/3447164-1307907040
RUNJOBID= node134-1307903427-12745
PBS_JOBID= 13559572
Free space on /tmp= 1420 MiB

SOLVER NAME= wbo 1.6
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/academics/normalized-warehouse0_wcsp.wbo
COMMAND LINE= wbo1.6 -file-format=wbo -time-limit=TIMEOUT -search-mode=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3447164-1307907040/watcher-3447164-1307907040 -o /tmp/evaluation-result-3447164-1307907040/solver-3447164-1307907040 -C 1800 -W 1900 -M 15500  wbo1.6 -file-format=wbo -time-limit=1800 -search-mode=0 HOME/instance-3447164-1307907040.wbo

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

MD5SUM BENCH= 1666aebbbae4b4440b4a935980e38a5c
RANDOM SEED=775901454

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:       1210340 kB
Buffers:         67360 kB
Cached:       30241740 kB
SwapCached:      10044 kB
Active:       15877692 kB
Inactive:     14913888 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:       1210340 kB
SwapTotal:    67111528 kB
SwapFree:     67063552 kB
Dirty:            4420 kB
Writeback:          40 kB
AnonPages:      479948 kB
Mapped:          10716 kB
Slab:           884828 kB
PageTables:       4736 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   648688 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 1420 MiB
End job on node134 at 2011-06-12 22:00:42