Trace number 3708442

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
bsolo 3.2SAT6 1798.03 1798.53

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_100_25_4.opb
MD5SUM4c6ab7a9b1b11dc4bf8c6231156cc585
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark5
Best CPU time to get the best result obtained on this benchmark1.88071
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 5
Optimality of the best value was proved YES
Number of variables100
Total number of constraints100
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints100
Minimum length of a constraint26
Maximum length of a constraint41
Number of terms in the objective function 100
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 100
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 100
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)3070
Sum of products size (including duplicates)6140
Number of different products3070
Sum of products size6140

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c bsolo beta version 3.2 - 23/05/2010 : 1630 GMT
0.00/0.00	c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Learning Strategy: Cardinality Constraint Learning
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Instance file HOME/instance-3708442-1338172639.opb
0.00/0.00	c File size is 38543 bytes.
0.00/0.01	c Highest Coefficient sum: 100
0.00/0.01	c Parsing was ok!!
0.00/0.01	c Total parsing time: 0.007 s
0.00/0.01	c Var: 3170 Constr: 6240 3170/0/3070 Lit: 21590 Watch. Lit: 15550
0.00/0.01	c Obj. Vars: 100 (3.15457 % of total variables)
0.01/0.09	c Pre-processing Time: 0.095 s
0.01/0.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.01/0.09	c        0   3170     6240    21590    3    15550   19476      0      0 0.10
0.01/0.09	c Switching off lower bounding mode.
0.09/0.10	o 99
0.09/0.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.10	c        0   3170     6241    21690    3    15553   19543      1      0 0.10
0.09/0.10	o 98
0.09/0.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.10	c        0   3170     6242    21790    3    15557   19643      2      0 0.10
0.09/0.10	o 97
0.09/0.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.10	c        0   3170     6243    21890    3    15562   19776      3      0 0.10
0.09/0.10	o 96
0.09/0.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.10	c        0   3170     6244    21990    3    15568   19943      4      0 0.10
0.09/0.10	o 95
0.09/0.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.10	c        0   3170     6245    22090    3    15575   20143      5      0 0.10
0.09/0.10	o 94
0.09/0.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.10	c        0   3170     6246    22190    3    15583   20376      6      0 0.10
0.09/0.10	o 93
0.09/0.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.11	c        0   3170     6247    22290    3    15592   20643      7      0 0.11
0.09/0.11	o 92
0.09/0.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.11	c        0   3170     6248    22390    3    15602   20943      8      0 0.11
0.09/0.11	o 91
0.09/0.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.11	c        0   3170     6249    22490    3    15613   21276      9      0 0.11
0.09/0.11	o 90
0.09/0.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.11	c        0   3170     6250    22590    3    15625   21643     10      0 0.11
0.09/0.11	o 89
0.09/0.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.11	c        0   3170     6251    22690    3    15638   22043     11      0 0.11
0.09/0.11	o 88
0.09/0.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.11	c        0   3170     6252    22790    3    15652   22476     12      0 0.11
0.09/0.11	o 87
0.09/0.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.12	c        0   3170     6253    22890    3    15667   22943     13      0 0.12
0.09/0.12	o 86
0.09/0.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.12	c        0   3170     6254    22990    3    15683   23443     14      0 0.12
0.09/0.12	o 85
0.09/0.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.12	c        0   3170     6255    23090    3    15700   23976     15      0 0.12
0.09/0.12	o 84
0.09/0.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.12	c        0   3170     6256    23190    3    15718   24543     16      0 0.12
0.09/0.12	o 83
0.09/0.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.12	c        0   3170     6257    23290    3    15737   25143     17      0 0.12
0.09/0.12	o 82
0.09/0.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.12	c        0   3170     6258    23390    3    15757   25776     18      0 0.12
0.09/0.12	o 81
0.09/0.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.12	c        0   3170     6259    23490    3    15778   26443     19      0 0.12
0.09/0.12	o 80
0.09/0.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.13	c        0   3170     6260    23590    3    15800   27143     20      0 0.13
0.09/0.13	o 79
0.09/0.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.13	c        0   3170     6261    23690    3    15823   27876     21      0 0.13
0.09/0.13	o 78
0.09/0.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.13	c        0   3170     6262    23790    3    15847   28643     22      0 0.13
0.09/0.13	o 77
0.09/0.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.13	c        0   3170     6263    23890    3    15872   29443     23      0 0.13
0.09/0.13	o 76
0.09/0.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.13	c        0   3170     6264    23990    3    15898   30276     24      0 0.13
0.09/0.13	o 75
0.09/0.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.13	c        0   3170     6265    24090    3    15925   31143     25      0 0.13
0.09/0.13	o 74
0.09/0.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.14	c        0   3170     6266    24190    3    15953   32043     26      0 0.14
0.09/0.14	o 73
0.09/0.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.14	c        0   3170     6267    24290    3    15982   32976     27      0 0.14
0.09/0.14	o 72
0.09/0.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.14	c        0   3170     6268    24390    3    16012   33943     28      0 0.14
0.09/0.14	o 71
0.09/0.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.14	c        0   3170     6269    24490    3    16043   34943     29      0 0.14
0.09/0.14	o 70
0.09/0.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.14	c        0   3170     6270    24590    3    16075   35943     30      0 0.14
0.09/0.14	o 69
0.09/0.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.14	c        0   3170     6271    24690    3    16108   36943     31      0 0.14
0.09/0.14	o 68
0.09/0.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.14	c        0   3170     6272    24790    3    16142   37943     32      0 0.14
0.09/0.14	o 67
0.09/0.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.15	c        0   3170     6273    24890    3    16177   38943     33      0 0.15
0.09/0.15	o 66
0.09/0.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.15	c        0   3170     6274    24990    3    16213   39943     34      0 0.15
0.09/0.15	o 65
0.09/0.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.15	c        0   3170     6275    25090    3    16250   40943     35      0 0.15
0.09/0.15	o 64
0.09/0.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.15	c        0   3170     6276    25190    4    16288   41943     36      0 0.15
0.09/0.15	o 63
0.09/0.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.15	c        0   3170     6277    25290    4    16327   42943     37      0 0.15
0.09/0.15	o 62
0.09/0.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.15	c        0   3170     6278    25390    4    16367   43943     38      0 0.15
0.09/0.15	o 61
0.09/0.16	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.16	c        0   3170     6279    25490    4    16408   44943     39      0 0.16
0.09/0.16	o 60
0.09/0.16	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.16	c        0   3170     6280    25590    4    16450   45943     40      0 0.16
0.09/0.16	o 59
0.09/0.16	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.16	c        0   3170     6281    25690    4    16493   46943     41      0 0.16
0.09/0.16	o 58
0.09/0.16	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.16	c        0   3170     6282    25790    4    16537   47943     42      0 0.16
0.09/0.16	o 57
0.09/0.16	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.16	c        0   3170     6283    25890    4    16582   48943     43      0 0.16
0.09/0.16	o 56
0.09/0.16	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.16	c        0   3170     6284    25990    4    16628   49943     44      0 0.16
0.09/0.16	o 55
0.09/0.16	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.16	c        0   3170     6285    26090    4    16675   50943     45      0 0.17
0.09/0.16	o 54
0.09/0.17	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.17	c        0   3170     6286    26190    4    16723   51943     46      0 0.17
0.09/0.17	o 53
0.09/0.17	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.17	c        0   3170     6287    26290    4    16772   52943     47      0 0.17
0.09/0.17	o 52
0.09/0.17	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.17	c        0   3170     6288    26390    4    16822   53943     48      0 0.17
0.09/0.17	o 51
0.09/0.17	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.17	c        0   3170     6289    26490    4    16873   54943     49      0 0.17
0.09/0.17	o 50
0.09/0.17	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.17	c        0   3170     6290    26590    4    16925   55943     50      0 0.17
0.09/0.17	o 49
0.09/0.17	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.17	c        0   3170     6291    26690    4    16978   56943     51      0 0.17
0.09/0.17	o 48
0.09/0.18	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.18	c        0   3170     6292    26790    4    17032   57943     52      0 0.18
0.09/0.18	o 47
0.09/0.18	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.18	c        0   3170     6293    26890    4    17087   58943     53      0 0.18
0.09/0.18	o 46
0.09/0.18	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.18	c        0   3170     6294    26990    4    17143   59943     54      0 0.18
0.09/0.18	o 45
0.09/0.18	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.18	c        0   3170     6295    27090    4    17200   60943     55      0 0.18
0.09/0.18	o 44
0.09/0.18	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.18	c        0   3170     6296    27190    4    17258   61943     56      0 0.18
0.09/0.18	o 43
0.09/0.18	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.18	c        0   3170     6297    27290    4    17317   62943     57      0 0.18
0.09/0.18	o 42
0.09/0.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.19	c        0   3170     6298    27390    4    17377   63943     58      0 0.18
0.09/0.19	o 41
0.09/0.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.19	c        0   3170     6299    27490    4    17438   64943     59      0 0.19
0.09/0.19	o 40
0.09/0.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.19	c        0   3170     6300    27590    4    17500   65943     60      0 0.19
0.09/0.19	o 39
0.09/0.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.19	c        0   3170     6301    27690    4    17563   66943     61      0 0.19
0.09/0.19	o 38
0.09/0.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.19	c        0   3170     6302    27790    4    17627   67943     62      0 0.19
0.09/0.19	o 37
0.09/0.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.19	c        0   3170     6303    27890    4    17692   68943     63      0 0.19
0.09/0.19	o 36
0.09/0.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.19	c        0   3170     6304    27990    4    17758   69943     64      0 0.20
0.09/0.19	o 35
0.19/0.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.20	c        0   3170     6305    28090    4    17825   70943     65      0 0.20
0.19/0.20	o 34
0.19/0.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.20	c        0   3170     6306    28190    4    17893   71943     66      0 0.20
0.19/0.20	o 33
0.19/0.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.20	c        0   3170     6307    28290    4    17962   72943     67      0 0.20
0.19/0.20	o 32
0.19/0.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.20	c        0   3170     6308    28390    4    18032   73943     68      0 0.20
0.19/0.20	o 31
0.19/0.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.20	c        0   3170     6309    28490    4    18103   74943     69      0 0.20
0.19/0.20	o 30
0.19/0.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.20	c        0   3170     6310    28590    4    18175   75943     70      0 0.20
0.19/0.20	o 29
0.19/0.21	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.21	c        0   3170     6311    28690    4    18248   76943     71      0 0.21
0.19/0.21	o 28
0.19/0.21	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.21	c        0   3170     6312    28790    4    18322   77943     72      0 0.21
0.19/0.21	o 27
0.19/0.21	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.21	c        0   3170     6313    28890    4    18397   78943     73      0 0.21
0.19/0.21	o 26
0.19/0.21	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.21	c        0   3170     6314    28990    4    18473   79943     74      0 0.21
0.19/0.21	o 25
0.19/0.21	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.21	c        0   3170     6315    29090    4    18550   80943     75      0 0.21
0.19/0.21	o 24
0.19/0.21	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.21	c        0   3170     6316    29190    4    18628   81943     76      0 0.21
0.19/0.21	o 23
0.19/0.22	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.22	c        0   3170     6317    29290    4    18707   82943     77      0 0.22
0.19/0.22	o 22
0.19/0.22	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.22	c        0   3170     6318    29390    4    18787   83943     78      0 0.22
0.19/0.22	o 21
0.19/0.22	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.22	c        0   3170     6319    29490    4    18868   84943     79      0 0.22
0.19/0.22	o 20
0.19/0.22	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.22	c        0   3170     6320    29590    4    18950   85943     80      0 0.22
0.19/0.22	o 19
0.19/0.22	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.22	c        0   3170     6321    29690    4    19033   86943     81      0 0.22
0.19/0.22	o 18
0.19/0.22	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.22	c        0   3170     6322    29790    4    19117   87943     82      0 0.22
0.19/0.22	o 17
0.19/0.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.23	c        0   3170     6323    29890    4    19202   88943     83      0 0.23
0.19/0.23	o 16
0.19/0.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.23	c        0   3170     6324    29990    4    19288   89943     84      0 0.23
0.19/0.23	o 15
0.19/0.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.23	c        0   3170     6325    30090    4    19375   90943     85      0 0.23
0.19/0.23	o 14
0.19/0.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.23	c        0   3170     6326    30190    4    19463   91943     86      0 0.23
0.19/0.23	o 13
0.19/0.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.23	c        0   3170     6327    30290    4    19552   92943     87      0 0.23
0.19/0.23	o 12
0.19/0.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.23	c        0   3170     6328    30390    4    19642   93943     88      0 0.23
0.19/0.23	o 11
0.19/0.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.23	c        0   3170     6329    30490    4    19733   94943     89      0 0.23
0.19/0.23	o 10
0.19/0.25	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.25	c        0   3170     6330    30590    4    19825   95943     90      0 0.24
0.19/0.25	o 9
0.19/0.29	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.29	c       18   3170     6350    31446    4    19956   95943    110     72 0.25
0.19/0.29	c      118   3170     6465    48630    7    20275  105538    225    415 0.28
0.19/0.29	o 8
0.29/0.31	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.31	c      128   3170     6476    49750    7    20389   95943    236    441 0.29
0.29/0.31	o 7
1.49/1.51	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.49/1.51	c      184   3170     6541    58348    8    20612   95943    301    587 0.31
1.49/1.51	c      285   3170     6649    73094   10    20828  105538    409    798 0.36
1.49/1.51	c      535   3170     6927   103743   14    21421  116092    687   1196 0.45
1.49/1.51	c     1014   3170     7446   160672   21    22459  127702   1206   1541 0.66
1.49/1.51	c     1828   3170     8359   285300   34    24376  140473   2119   1710 1.07
1.49/1.51	o 6
1798.00/1798.52	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1798.00/1798.52	c     2535   3170     9148   374413   40    26224   95943   2908   1673 1.51
1798.00/1798.52	c     2638   3170     9254   383772   41    26436  105538   3014   1670 1.58
1798.00/1798.52	c     2888   3170     9521   406777   42    26970  116092   3281   1669 1.73
1798.00/1798.52	c     3363   3170    10025   443184   44    27978  127702   3785   1668 2.02
1798.00/1798.52	c     4178   3170    10925   546001   49    29778  140473   4685   1623 2.57
1798.00/1798.52	c     5500   3170    12360   706329   57    33043  154521   6120   1532 3.59
1798.00/1798.52	c     7582   3170    14710  1009774   68    37911  169974   8470   1389 5.46
1798.00/1798.52	c    10805   3170    18304  1570567   85    45201  186972  12064   1166 9.27
1798.00/1798.52	c    15742   3170    23865  2483322  104    57440  205670  17625    971 16.21
1798.00/1798.52	c    23250   3170    32603  4884818  149    77116  226238  26363    659 35.26
1798.00/1798.52	c    34614   3170    46114  8799874  190   107670  248862  39874    458 75.48
1798.00/1798.52	c    51760   3170    66456 12969221  195   152505  273749  60216    314 164.69
1798.00/1798.52	c    77580   3170    97315 19957199  205   219543  301124  91075    214 362.06
1798.00/1798.52	c   116412   3170   143798 27896021  193   346387  331237 137558    156 744.33
1798.00/1798.52	c   174765   3170   212969 40508901  190   496392  364361 206729    120 1446.28
1798.00/1798.52	c Resources Exceeded
1798.00/1798.52	v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 x10 -x11 -x12 x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 
1798.00/1798.52	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1798.00/1798.52	c  113   192847  63019   416179   234492 44329313 228252    107 1798.03
1798.00/1798.52	c Objective: 6
1798.00/1798.52	s SATISFIABLE
1798.00/1798.52	c Total time: 1798.03 s

Verifier Data 

OK	6

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-3708442-1338172639/watcher-3708442-1338172639 -o /tmp/evaluation-result-3708442-1338172639/solver-3708442-1338172639 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3708442-1338172639.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.05 2.01 2.00 2/176 25624
/proc/meminfo: memFree=26229152/32873844 swapFree=6088/6088
[pid=25624] ppid=25622 vsize=11248 CPUtime=0 cores=0,2,4,6
/proc/25624/stat : 25624 (bsolo) R 25622 25624 24287 0 -1 4202496 382 0 0 0 0 0 0 0 20 0 1 0 283392445 11517952 335 33554432000 134512640 137138936 4287583184 4287581256 136506715 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/25624/statm: 2812 336 176 642 0 2158 0

[startup+0.0198 s]
/proc/loadavg: 2.05 2.01 2.00 2/176 25624
/proc/meminfo: memFree=26229152/32873844 swapFree=6088/6088
[pid=25624] ppid=25622 vsize=12312 CPUtime=0.01 cores=0,2,4,6
/proc/25624/stat : 25624 (bsolo) R 25622 25624 24287 0 -1 4202496 671 0 0 0 1 0 0 0 20 0 1 0 283392445 12607488 614 33554432000 134512640 137138936 4287583184 4287543820 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/25624/statm: 3078 614 185 642 0 2434 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12312

[startup+0.10021 s]
/proc/loadavg: 2.05 2.01 2.00 2/176 25624
/proc/meminfo: memFree=26229152/32873844 swapFree=6088/6088
[pid=25624] ppid=25622 vsize=12580 CPUtime=0.09 cores=0,2,4,6
/proc/25624/stat : 25624 (bsolo) R 25622 25624 24287 0 -1 4202496 823 0 0 0 9 0 0 0 20 0 1 0 283392445 12881920 700 33554432000 134512640 137138936 4287583184 4287582300 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/25624/statm: 3145 700 186 642 0 2501 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12580

[startup+0.300174 s]
/proc/loadavg: 2.05 2.01 2.00 2/176 25624
/proc/meminfo: memFree=26229152/32873844 swapFree=6088/6088
[pid=25624] ppid=25622 vsize=12908 CPUtime=0.29 cores=0,2,4,6
/proc/25624/stat : 25624 (bsolo) R 25622 25624 24287 0 -1 4202496 902 0 0 0 28 1 0 0 20 0 1 0 283392445 13217792 779 33554432000 134512640 137138936 4287583184 4287581464 136506715 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/25624/statm: 3227 779 192 642 0 2583 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12908

[startup+0.700174 s]
/proc/loadavg: 2.05 2.01 2.00 2/176 25624
/proc/meminfo: memFree=26229152/32873844 swapFree=6088/6088
[pid=25624] ppid=25622 vsize=14524 CPUtime=0.69 cores=0,2,4,6
/proc/25624/stat : 25624 (bsolo) R 25622 25624 24287 0 -1 4202496 1316 0 0 0 68 1 0 0 20 0 1 0 283392445 14872576 1193 33554432000 134512640 137138936 4287583184 4287582112 134542495 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/25624/statm: 3631 1193 192 642 0 2987 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14524

[startup+1.50017 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 25625
/proc/meminfo: memFree=26223904/32873844 swapFree=6088/6088
[pid=25624] ppid=25622 vsize=17212 CPUtime=1.49 cores=0,2,4,6
/proc/25624/stat : 25624 (bsolo) R 25622 25624 24287 0 -1 4202496 1996 0 0 0 148 1 0 0 20 0 1 0 283392445 17625088 1873 33554432000 134512640 137138936 4287583184 4287582112 134542246 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/25624/statm: 4303 1873 192 642 0 3659 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17212

[startup+3.10018 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 25625
/proc/meminfo: memFree=26220308/32873844 swapFree=6088/6088
[pid=25624] ppid=25622 vsize=20880 CPUtime=3.09 cores=0,2,4,6
/proc/25624/stat : 25624 (bsolo) R 25622 25624 24287 0 -1 4202496 2912 0 0 0 308 1 0 0 20 0 1 0 283392445 21381120 2789 33554432000 134512640 137138936 4287583184 4287581896 136504268 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/25624/statm: 5220 2789 192 642 0 4576 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 20880

[startup+6.30018 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 25625
/proc/meminfo: memFree=26211256/32873844 swapFree=6088/6088
[pid=25624] ppid=25622 vsize=27540 CPUtime=6.28 cores=0,2,4,6
/proc/25624/stat : 25624 (bsolo) R 25622 25624 24287 0 -1 4202496 4575 0 0 0 626 2 0 0 20 0 1 0 283392445 28200960 4452 33554432000 134512640 137138936 4287583184 4287582112 134542513 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/25624/statm: 6885 4452 192 642 0 6241 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 27540

[startup+12.7002 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 25625
/proc/meminfo: memFree=26195540/32873844 swapFree=6088/6088
[pid=25624] ppid=25622 vsize=39800 CPUtime=12.69 cores=0,2,4,6
/proc/25624/stat : 25624 (bsolo) R 25622 25624 24287 0 -1 4202496 7644 0 0 0 1265 4 0 0 20 0 1 0 283392445 40755200 7521 33554432000 134512640 137138936 4287583184 4287582112 134542480 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/25624/statm: 9950 7521 192 642 0 9306 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 39800

[startup+25.5002 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 25625
/proc/meminfo: memFree=26166664/32873844 swapFree=6088/6088
[pid=25624] ppid=25622 vsize=61580 CPUtime=25.48 cores=0,2,4,6
/proc/25624/stat : 25624 (bsolo) R 25622 25624 24287 0 -1 4202496 13092 0 0 0 2542 6 0 0 20 0 1 0 283392445 63057920 12969 33554432000 134512640 137138936 4287583184 4287582112 134542199 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/25624/statm: 15395 12969 192 642 0 14751 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 61580

[startup+51.1002 s]
/proc/loadavg: 2.10 2.03 2.01 3/177 25625
/proc/meminfo: memFree=26112228/32873844 swapFree=6088/6088
[pid=25624] ppid=25622 vsize=102512 CPUtime=51.07 cores=0,2,4,6
/proc/25624/stat : 25624 (bsolo) R 25622 25624 24287 0 -1 4202496 23306 0 0 0 5097 10 0 0 20 0 1 0 283392445 104972288 23183 33554432000 134512640 137138936 4287583184 4287582112 134542442 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/25624/statm: 25628 23183 192 642 0 24984 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 102512

[startup+102.306 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 25625
/proc/meminfo: memFree=26023320/32873844 swapFree=6088/6088
[pid=25624] ppid=25622 vsize=146704 CPUtime=102.27 cores=0,2,4,6
/proc/25624/stat : 25624 (bsolo) R 25622 25624 24287 0 -1 4202496 34368 0 0 0 10210 17 0 0 20 0 1 0 283392445 150224896 34245 33554432000 134512640 137138936 4287583184 4287582112 134542770 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25624/statm: 36676 34245 192 642 0 36032 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 146704

[startup+162.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/177 25625
/proc/meminfo: memFree=25956732/32873844 swapFree=6088/6088
[pid=25624] ppid=25622 vsize=182944 CPUtime=162.25 cores=0,2,4,6
/proc/25624/stat : 25624 (bsolo) R 25622 25624 24287 0 -1 4202496 43409 0 0 0 16203 22 0 0 20 0 1 0 283392445 187334656 43286 33554432000 134512640 137138936 4287583184 4287582036 136511084 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25624/statm: 45736 43286 192 642 0 45092 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 182944

[startup+222.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/178 25629
/proc/meminfo: memFree=25912828/32873844 swapFree=6088/6088
[pid=25624] ppid=25622 vsize=222860 CPUtime=222.25 cores=0,2,4,6
/proc/25624/stat : 25624 (bsolo) R 25622 25624 24287 0 -1 4202496 53405 0 0 0 22199 26 0 0 20 0 1 0 283392445 228208640 53282 33554432000 134512640 137138936 4287583184 4287582112 134542249 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25624/statm: 55715 53282 192 642 0 55071 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 222860

[startup+282.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/177 25629
/proc/meminfo: memFree=25888408/32873844 swapFree=6088/6088
[pid=25624] ppid=25622 vsize=247304 CPUtime=282.24 cores=0,2,4,6
/proc/25624/stat : 25624 (bsolo) R 25622 25624 24287 0 -1 4202496 59502 0 0 0 28194 30 0 0 20 0 1 0 283392445 253239296 59379 33554432000 134512640 137138936 4287583184 4287582112 134542187 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25624/statm: 61826 59379 192 642 0 61182 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 247304

[startup+342.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/177 25629
/proc/meminfo: memFree=25866584/32873844 swapFree=6088/6088
[pid=25624] ppid=25622 vsize=269220 CPUtime=342.23 cores=0,2,4,6
/proc/25624/stat : 25624 (bsolo) R 25622 25624 24287 0 -1 4202496 64985 0 0 0 34189 34 0 0 20 0 1 0 283392445 275681280 64862 33554432000 134512640 137138936 4287583184 4287582112 134542495 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25624/statm: 67305 64862 192 642 0 66661 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 269220

[startup+402.3 s]
/proc/loadavg: 2.07 2.05 2.00 3/177 25629
/proc/meminfo: memFree=25844388/32873844 swapFree=6088/6088
[pid=25624] ppid=25622 vsize=290852 CPUtime=402.22 cores=0,2,4,6
/proc/25624/stat : 25624 (bsolo) R 25622 25624 24287 0 -1 4202496 70405 0 0 0 40184 38 0 0 20 0 1 0 283392445 297832448 70282 33554432000 134512640 137138936 4287583184 4287582112 134542187 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25624/statm: 72713 70282 192 642 0 72069 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 290852

[startup+462.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/177 25667
/proc/meminfo: memFree=26811752/32873844 swapFree=6088/6088
[pid=25624] ppid=25622 vsize=310452 CPUtime=462.18 cores=0,2,4,6
/proc/25624/stat : 25624 (bsolo) R 25622 25624 24287 0 -1 4202496 75344 0 0 0 46177 41 0 0 20 0 1 0 283392445 317902848 75186 33554432000 134512640 137138936 4287583184 4287582112 134542199 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25624/statm: 77613 75186 192 642 0 76969 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 310452

[startup+522.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/177 25668
/proc/meminfo: memFree=26723988/32873844 swapFree=6088/6088
[pid=25624] ppid=25622 vsize=328860 CPUtime=522.13 cores=0,2,4,6
/proc/25624/stat : 25624 (bsolo) R 25622 25624 24287 0 -1 4202496 79995 0 0 0 52170 43 0 0 20 0 1 0 283392445 336752640 79789 33554432000 134512640 137138936 4287583184 4287582104 135984569 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25624/statm: 82215 79789 192 642 0 81571 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 328860

[startup+582.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 25668
/proc/meminfo: memFree=26634488/32873844 swapFree=6088/6088
[pid=25624] ppid=25622 vsize=345684 CPUtime=582.09 cores=0,2,4,6
/proc/25624/stat : 25624 (bsolo) R 25622 25624 24287 0 -1 4202496 84236 0 0 0 58163 46 0 0 20 0 1 0 283392445 353980416 83982 33554432000 134512640 137138936 4287583184 4287581608 134606958 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25624/statm: 86421 83982 192 642 0 85777 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 345684

[startup+642.3 s]

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

/proc/meminfo: memFree=25966064/32873844 swapFree=6088/6088
[pid=25624] ppid=25622 vsize=468860 CPUtime=1061.99 cores=0,2,4,6
/proc/25624/stat : 25624 (bsolo) R 25622 25624 24287 0 -1 4202496 115066 0 0 0 106129 70 0 0 20 0 1 0 283392445 480112640 114770 33554432000 134512640 137138936 4287583184 4287582112 134542316 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25624/statm: 117215 114770 192 642 0 116571 0
Current children cumulated CPU time (s) 1061.99
Current children cumulated vsize (KiB) 468860

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25673
/proc/meminfo: memFree=25916056/32873844 swapFree=6088/6088
[pid=25624] ppid=25622 vsize=482028 CPUtime=1121.98 cores=0,2,4,6
/proc/25624/stat : 25624 (bsolo) R 25622 25624 24287 0 -1 4202496 118374 0 0 0 112125 73 0 0 20 0 1 0 283392445 493596672 118078 33554432000 134512640 137138936 4287583184 4287582112 134542202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25624/statm: 120507 118078 192 642 0 119863 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 482028

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25673
/proc/meminfo: memFree=25872036/32873844 swapFree=6088/6088
[pid=25624] ppid=25622 vsize=497116 CPUtime=1181.97 cores=0,2,4,6
/proc/25624/stat : 25624 (bsolo) R 25622 25624 24287 0 -1 4202496 122139 0 0 0 118122 75 0 0 20 0 1 0 283392445 509046784 121843 33554432000 134512640 137138936 4287583184 4287582112 134542490 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25624/statm: 124279 121843 192 642 0 123635 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 497116

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25673
/proc/meminfo: memFree=25824544/32873844 swapFree=6088/6088
[pid=25624] ppid=25622 vsize=510916 CPUtime=1241.96 cores=0,2,4,6
/proc/25624/stat : 25624 (bsolo) R 25622 25624 24287 0 -1 4202496 125578 0 0 0 124118 78 0 0 20 0 1 0 283392445 523177984 125282 33554432000 134512640 137138936 4287583184 4287582112 134542233 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25624/statm: 127729 125282 192 642 0 127085 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 510916

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25673
/proc/meminfo: memFree=25774696/32873844 swapFree=6088/6088
[pid=25624] ppid=25622 vsize=522952 CPUtime=1301.95 cores=0,2,4,6
/proc/25624/stat : 25624 (bsolo) R 25622 25624 24287 0 -1 4202496 128615 0 0 0 130115 80 0 0 20 0 1 0 283392445 535502848 128319 33554432000 134512640 137138936 4287583184 4287581896 136504116 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25624/statm: 130738 128319 192 642 0 130094 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 522952

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25673
/proc/meminfo: memFree=25704508/32873844 swapFree=6088/6088
[pid=25624] ppid=25622 vsize=535252 CPUtime=1361.91 cores=0,2,4,6
/proc/25624/stat : 25624 (bsolo) R 25622 25624 24287 0 -1 4202496 131709 0 0 0 136109 82 0 0 20 0 1 0 283392445 548098048 131380 33554432000 134512640 137138936 4287583184 4287582112 134542761 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25624/statm: 133813 131380 192 642 0 133169 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 535252

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 25699
/proc/meminfo: memFree=25644772/32873844 swapFree=6088/6088
[pid=25624] ppid=25622 vsize=547044 CPUtime=1421.87 cores=0,2,4,6
/proc/25624/stat : 25624 (bsolo) R 25622 25624 24287 0 -1 4202496 134714 0 0 0 142103 84 0 0 20 0 1 0 283392445 560173056 134338 33554432000 134512640 137138936 4287583184 4287582112 134542233 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25624/statm: 136761 134338 192 642 0 136117 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 547044

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 25699
/proc/meminfo: memFree=25586632/32873844 swapFree=6088/6088
[pid=25624] ppid=25622 vsize=558404 CPUtime=1481.84 cores=0,2,4,6
/proc/25624/stat : 25624 (bsolo) R 25622 25624 24287 0 -1 4202496 137566 0 0 0 148098 86 0 0 20 0 1 0 283392445 571805696 137173 33554432000 134512640 137138936 4287583184 4287582112 134542199 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25624/statm: 139601 137173 192 642 0 138957 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 558404

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25699
/proc/meminfo: memFree=25560228/32873844 swapFree=6088/6088
[pid=25624] ppid=25622 vsize=568444 CPUtime=1541.84 cores=0,2,4,6
/proc/25624/stat : 25624 (bsolo) R 25622 25624 24287 0 -1 4202496 140059 0 0 0 154095 89 0 0 20 0 1 0 283392445 582086656 139666 33554432000 134512640 137138936 4287583184 4287582112 134542624 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25624/statm: 142111 139666 192 642 0 141467 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 568444

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25699
/proc/meminfo: memFree=25551052/32873844 swapFree=6088/6088
[pid=25624] ppid=25622 vsize=577348 CPUtime=1601.82 cores=0,2,4,6
/proc/25624/stat : 25624 (bsolo) R 25622 25624 24287 0 -1 4202496 142297 0 0 0 160092 90 0 0 20 0 1 0 283392445 591204352 141904 33554432000 134512640 137138936 4287583184 4287582112 134542187 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25624/statm: 144337 141904 192 642 0 143693 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 577348

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25699
/proc/meminfo: memFree=25542496/32873844 swapFree=6088/6088
[pid=25624] ppid=25622 vsize=585804 CPUtime=1661.82 cores=0,2,4,6
/proc/25624/stat : 25624 (bsolo) R 25622 25624 24287 0 -1 4202496 144414 0 0 0 166090 92 0 0 20 0 1 0 283392445 599863296 144021 33554432000 134512640 137138936 4287583184 4287582112 134542233 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25624/statm: 146451 144021 192 642 0 145807 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 585804

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25700
/proc/meminfo: memFree=25534064/32873844 swapFree=6088/6088
[pid=25624] ppid=25622 vsize=593956 CPUtime=1721.81 cores=0,2,4,6
/proc/25624/stat : 25624 (bsolo) R 25622 25624 24287 0 -1 4202496 146450 0 0 0 172087 94 0 0 20 0 1 0 283392445 608210944 146057 33554432000 134512640 137138936 4287583184 4287582112 134542480 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25624/statm: 148489 146057 192 642 0 147845 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 593956

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25700
/proc/meminfo: memFree=25526996/32873844 swapFree=6088/6088
[pid=25624] ppid=25622 vsize=601172 CPUtime=1781.79 cores=0,2,4,6
/proc/25624/stat : 25624 (bsolo) R 25622 25624 24287 0 -1 4202496 148251 0 0 0 178084 95 0 0 20 0 1 0 283392445 615600128 147858 33554432000 134512640 137138936 4287583184 4287582112 134542233 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25624/statm: 150293 147858 192 642 0 149649 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 601172

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

[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25700
/proc/meminfo: memFree=25525508/32873844 swapFree=6088/6088
[pid=25624] ppid=25622 vsize=602684 CPUtime=1791.4 cores=0,2,4,6
/proc/25624/stat : 25624 (bsolo) R 25622 25624 24287 0 -1 4202496 148621 0 0 0 179044 96 0 0 20 0 1 0 283392445 617148416 148228 33554432000 134512640 137138936 4287583184 4287582112 134542307 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25624/statm: 150671 148228 192 642 0 150027 0
Current children cumulated CPU time (s) 1791.4
Current children cumulated vsize (KiB) 602684

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25700
/proc/meminfo: memFree=25524764/32873844 swapFree=6088/6088
[pid=25624] ppid=25622 vsize=603404 CPUtime=1794.6 cores=0,2,4,6
/proc/25624/stat : 25624 (bsolo) R 25622 25624 24287 0 -1 4202496 148814 0 0 0 179364 96 0 0 20 0 1 0 283392445 617885696 148421 33554432000 134512640 137138936 4287583184 4287582112 134542187 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25624/statm: 150851 148421 192 642 0 150207 0
Current children cumulated CPU time (s) 1794.6
Current children cumulated vsize (KiB) 603404

[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25700
/proc/meminfo: memFree=25524640/32873844 swapFree=6088/6088
[pid=25624] ppid=25622 vsize=603920 CPUtime=1796.19 cores=0,2,4,6
/proc/25624/stat : 25624 (bsolo) R 25622 25624 24287 0 -1 4202496 148935 0 0 0 179523 96 0 0 20 0 1 0 283392445 618414080 148542 33554432000 134512640 137138936 4287583184 4287582112 134542199 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25624/statm: 150980 148542 192 642 0 150336 0
Current children cumulated CPU time (s) 1796.19
Current children cumulated vsize (KiB) 603920

[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25700
/proc/meminfo: memFree=25524144/32873844 swapFree=6088/6088
[pid=25624] ppid=25622 vsize=604012 CPUtime=1796.99 cores=0,2,4,6
/proc/25624/stat : 25624 (bsolo) R 25622 25624 24287 0 -1 4202496 148958 0 0 0 179603 96 0 0 20 0 1 0 283392445 618508288 148565 33554432000 134512640 137138936 4287583184 4287582112 134542199 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25624/statm: 151003 148565 192 642 0 150359 0
Current children cumulated CPU time (s) 1796.99
Current children cumulated vsize (KiB) 604012

[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25700
/proc/meminfo: memFree=25524144/32873844 swapFree=6088/6088
[pid=25624] ppid=25622 vsize=604124 CPUtime=1797.79 cores=0,2,4,6
/proc/25624/stat : 25624 (bsolo) R 25622 25624 24287 0 -1 4202496 148981 0 0 0 179683 96 0 0 20 0 1 0 283392445 618622976 148588 33554432000 134512640 137138936 4287583184 4287582032 136501668 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25624/statm: 151031 148588 192 642 0 150387 0
Current children cumulated CPU time (s) 1797.79
Current children cumulated vsize (KiB) 604124

[startup+1798.51 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25700
/proc/meminfo: memFree=25524020/32873844 swapFree=6088/6088
[pid=25624] ppid=25622 vsize=604124 CPUtime=1798 cores=0,2,4,6
/proc/25624/stat : 25624 (bsolo) R 25622 25624 24287 0 -1 4202496 148981 0 0 0 179704 96 0 0 20 0 1 0 283392445 618622976 148588 33554432000 134512640 137138936 4287583184 4287582112 134542187 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25624/statm: 151031 148588 192 642 0 150387 0
Current children cumulated CPU time (s) 1798
Current children cumulated vsize (KiB) 604124

Child status: 0
Real time (s): 1798.53
CPU time (s): 1798.03
CPU user time (s): 1797.06
CPU system time (s): 0.972852
CPU usage (%): 99.9725
Max. virtual memory (cumulated for all children) (KiB): 604124

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.06
system time used= 0.972852
maximum resident set size= 594356
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 148982
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= 266
involuntary context switches= 1977

runsolver used 2.76358 second user time and 7.05293 second system time

The end

Launcher Data 

Begin job on node108 at 2012-05-28 04:37:19
IDJOB=3708442
IDBENCH=48143
IDSOLVER=2286
FILE ID=node108/3708442-1338172639
RUNJOBID= node108-1338158223-24303
PBS_JOBID= 14624538
Free space on /tmp= 71724 MiB

SOLVER NAME= bsolo 3.2
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_100_25_4.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3708442-1338172639/watcher-3708442-1338172639 -o /tmp/evaluation-result-3708442-1338172639/solver-3708442-1338172639 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 HOME/instance-3708442-1338172639.opb

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

MD5SUM BENCH= 4c6ab7a9b1b11dc4bf8c6231156cc585
RANDOM SEED=1666713207

node108.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/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.273
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.273
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.273
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.273
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.273
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.273
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5438.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.273
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.273
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        26229152 kB
Buffers:          320820 kB
Cached:          4580196 kB
SwapCached:            0 kB
Active:          1594176 kB
Inactive:        4253948 kB
Active(anon):     946548 kB
Inactive(anon):        0 kB
Active(file):     647628 kB
Inactive(file):  4253948 kB
Unevictable:        6088 kB
Mlocked:            6088 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              3900 kB
Writeback:             0 kB
AnonPages:        928228 kB
Mapped:            15060 kB
Shmem:               200 kB
Slab:             656220 kB
SReclaimable:      98460 kB
SUnreclaim:       557760 kB
KernelStack:        1472 kB
PageTables:         5580 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1063520 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    737280 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71720 MiB
End job on node108 at 2012-05-28 05:07:17