Trace number 1876180

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 NameAnswerobjCPU timeWall clock time
wbo 1.0? (TO) 1800.27 1800.8

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-100-2_0-yes1-2.opb
MD5SUMdbb36b6bce03d0b1e099a26354bdabc4
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark100
Best CPU time to get the best result obtained on this benchmark0.007998
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 100
Optimality of the best value was proved YES
Number of variables200
Total number of constraints300
Number of constraints which are clauses298
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2
Minimum length of a constraint2
Maximum length of a constraint3
Number of terms in the objective function 200
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 200
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c This is wbo 1.0 alpha (based on Minisat 2.0 beta)
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Parsing opb file format. File HOME/instance-1876180-1245152239.opb.
0.00/0.00	c Instance file HOME/instance-1876180-1245152239.opb
0.00/0.00	c File size is 9848 bytes.
0.00/0.00	c Highest Coefficient sum: 4
0.00/0.00	c ============================[ Problem Statistics ]=============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |  Parsing time:          0.00         s                                      |
0.00/0.00	c |  Number Variables:      200                                                 |
0.00/0.00	c |  Number Clauses:        498                                                 |
0.00/0.00	c |  Number Cardinality:    0                                                   |
0.00/0.00	c |  Number PB Constraints: 2                                                   |
0.00/0.00	c core #1
0.00/0.00	c Core size: 4	Core Weight: 1	Total Weight: 1
0.00/0.00	c Elapsed CPU time: 0.001999 s	Remaining CPU time: 1800 s
0.00/0.00	c core #2
0.00/0.00	c Core size: 4	Core Weight: 1	Total Weight: 2
0.00/0.00	c Elapsed CPU time: 0.001999 s	Remaining CPU time: 1800 s
0.00/0.00	c core #3
0.00/0.00	c Core size: 4	Core Weight: 1	Total Weight: 3
0.00/0.00	c Elapsed CPU time: 0.001999 s	Remaining CPU time: 1800 s
0.00/0.00	c core #4
0.00/0.00	c Core size: 4	Core Weight: 1	Total Weight: 4
0.00/0.00	c Elapsed CPU time: 0.002999 s	Remaining CPU time: 1800 s
0.00/0.00	c core #5
0.00/0.00	c Core size: 4	Core Weight: 1	Total Weight: 5
0.00/0.00	c Elapsed CPU time: 0.002999 s	Remaining CPU time: 1800 s
0.00/0.00	c core #6
0.00/0.00	c Core size: 4	Core Weight: 1	Total Weight: 6
0.00/0.00	c Elapsed CPU time: 0.003999 s	Remaining CPU time: 1800 s
0.00/0.00	c core #7
0.00/0.00	c Core size: 4	Core Weight: 1	Total Weight: 7
0.00/0.00	c Elapsed CPU time: 0.003999 s	Remaining CPU time: 1800 s
0.00/0.00	c core #8
0.00/0.00	c Core size: 4	Core Weight: 1	Total Weight: 8
0.00/0.00	c Elapsed CPU time: 0.004999 s	Remaining CPU time: 1800 s
0.00/0.00	c core #9
0.00/0.00	c Core size: 4	Core Weight: 1	Total Weight: 9
0.00/0.00	c Elapsed CPU time: 0.004999 s	Remaining CPU time: 1800 s
0.00/0.00	c core #10
0.00/0.00	c Core size: 4	Core Weight: 1	Total Weight: 10
0.00/0.00	c Elapsed CPU time: 0.004999 s	Remaining CPU time: 1800 s
0.00/0.00	c core #11
0.00/0.00	c Core size: 4	Core Weight: 1	Total Weight: 11
0.00/0.00	c Elapsed CPU time: 0.005999 s	Remaining CPU time: 1799.99 s
0.00/0.00	c core #12
0.00/0.00	c Core size: 4	Core Weight: 1	Total Weight: 12
0.00/0.00	c Elapsed CPU time: 0.005999 s	Remaining CPU time: 1799.99 s
0.00/0.00	c core #13
0.00/0.00	c Core size: 4	Core Weight: 1	Total Weight: 13
0.00/0.00	c Elapsed CPU time: 0.006998 s	Remaining CPU time: 1799.99 s
0.00/0.00	c core #14
0.00/0.00	c Core size: 4	Core Weight: 1	Total Weight: 14
0.00/0.00	c Elapsed CPU time: 0.006998 s	Remaining CPU time: 1799.99 s
0.00/0.00	c core #15
0.00/0.00	c Core size: 4	Core Weight: 1	Total Weight: 15
0.00/0.00	c Elapsed CPU time: 0.007998 s	Remaining CPU time: 1799.99 s
0.00/0.00	c core #16
0.00/0.00	c Core size: 4	Core Weight: 1	Total Weight: 16
0.00/0.00	c Elapsed CPU time: 0.007998 s	Remaining CPU time: 1799.99 s
0.00/0.01	c core #17
0.00/0.01	c Core size: 4	Core Weight: 1	Total Weight: 17
0.00/0.01	c Elapsed CPU time: 0.008998 s	Remaining CPU time: 1799.99 s
0.00/0.01	c core #18
0.00/0.01	c Core size: 4	Core Weight: 1	Total Weight: 18
0.00/0.01	c Elapsed CPU time: 0.008998 s	Remaining CPU time: 1799.99 s
0.00/0.01	c core #19
0.00/0.01	c Core size: 4	Core Weight: 1	Total Weight: 19
0.00/0.01	c Elapsed CPU time: 0.009998 s	Remaining CPU time: 1799.99 s
0.00/0.01	c core #20
0.00/0.01	c Core size: 4	Core Weight: 1	Total Weight: 20
0.00/0.01	c Elapsed CPU time: 0.009998 s	Remaining CPU time: 1799.99 s
0.00/0.01	c core #21
0.00/0.01	c Core size: 4	Core Weight: 1	Total Weight: 21
0.00/0.01	c Elapsed CPU time: 0.010998 s	Remaining CPU time: 1799.99 s
0.00/0.01	c core #22
0.00/0.01	c Core size: 4	Core Weight: 1	Total Weight: 22
0.00/0.01	c Elapsed CPU time: 0.010998 s	Remaining CPU time: 1799.99 s
0.00/0.01	c core #23
0.00/0.01	c Core size: 4	Core Weight: 1	Total Weight: 23
0.00/0.01	c Elapsed CPU time: 0.011998 s	Remaining CPU time: 1799.99 s
0.00/0.01	c core #24
0.00/0.01	c Core size: 4	Core Weight: 1	Total Weight: 24
0.00/0.01	c Elapsed CPU time: 0.011998 s	Remaining CPU time: 1799.99 s
0.00/0.01	c core #25
0.00/0.01	c Core size: 4	Core Weight: 1	Total Weight: 25
0.00/0.01	c Elapsed CPU time: 0.012998 s	Remaining CPU time: 1799.99 s
0.00/0.01	c core #26
0.00/0.01	c Core size: 4	Core Weight: 1	Total Weight: 26
0.00/0.01	c Elapsed CPU time: 0.012998 s	Remaining CPU time: 1799.99 s
0.01/0.01	c core #27
0.01/0.01	c Core size: 4	Core Weight: 1	Total Weight: 27
0.01/0.01	c Elapsed CPU time: 0.013997 s	Remaining CPU time: 1799.99 s
0.01/0.01	c core #28
0.01/0.01	c Core size: 4	Core Weight: 1	Total Weight: 28
0.01/0.01	c Elapsed CPU time: 0.013997 s	Remaining CPU time: 1799.99 s
0.01/0.01	c core #29
0.01/0.01	c Core size: 4	Core Weight: 1	Total Weight: 29
0.01/0.01	c Elapsed CPU time: 0.014997 s	Remaining CPU time: 1799.99 s
0.01/0.01	c core #30
0.01/0.01	c Core size: 4	Core Weight: 1	Total Weight: 30
0.01/0.01	c Elapsed CPU time: 0.015997 s	Remaining CPU time: 1799.98 s
0.01/0.01	c core #31
0.01/0.01	c Core size: 4	Core Weight: 1	Total Weight: 31
0.01/0.01	c Elapsed CPU time: 0.015997 s	Remaining CPU time: 1799.98 s
0.01/0.01	c core #32
0.01/0.01	c Core size: 4	Core Weight: 1	Total Weight: 32
0.01/0.01	c Elapsed CPU time: 0.016997 s	Remaining CPU time: 1799.98 s
0.01/0.01	c core #33
0.01/0.01	c Core size: 4	Core Weight: 1	Total Weight: 33
0.01/0.01	c Elapsed CPU time: 0.016997 s	Remaining CPU time: 1799.98 s
0.01/0.01	c core #34
0.01/0.01	c Core size: 4	Core Weight: 1	Total Weight: 34
0.01/0.01	c Elapsed CPU time: 0.017997 s	Remaining CPU time: 1799.98 s
0.01/0.01	c core #35
0.01/0.01	c Core size: 4	Core Weight: 1	Total Weight: 35
0.01/0.01	c Elapsed CPU time: 0.017997 s	Remaining CPU time: 1799.98 s
0.01/0.02	c core #36
0.01/0.02	c Core size: 4	Core Weight: 1	Total Weight: 36
0.01/0.02	c Elapsed CPU time: 0.018997 s	Remaining CPU time: 1799.98 s
0.01/0.02	c core #37
0.01/0.02	c Core size: 4	Core Weight: 1	Total Weight: 37
0.01/0.02	c Elapsed CPU time: 0.018997 s	Remaining CPU time: 1799.98 s
0.01/0.02	c core #38
0.01/0.02	c Core size: 4	Core Weight: 1	Total Weight: 38
0.01/0.02	c Elapsed CPU time: 0.019996 s	Remaining CPU time: 1799.98 s
0.01/0.02	c core #39
0.01/0.02	c Core size: 4	Core Weight: 1	Total Weight: 39
0.01/0.02	c Elapsed CPU time: 0.020996 s	Remaining CPU time: 1799.98 s
0.01/0.02	c core #40
0.01/0.02	c Core size: 4	Core Weight: 1	Total Weight: 40
0.01/0.02	c Elapsed CPU time: 0.020996 s	Remaining CPU time: 1799.98 s
0.01/0.02	c core #41
0.01/0.02	c Core size: 4	Core Weight: 1	Total Weight: 41
0.01/0.02	c Elapsed CPU time: 0.021996 s	Remaining CPU time: 1799.98 s
0.01/0.02	c core #42
0.01/0.02	c Core size: 4	Core Weight: 1	Total Weight: 42
0.01/0.02	c Elapsed CPU time: 0.021996 s	Remaining CPU time: 1799.98 s
0.01/0.02	c core #43
0.01/0.02	c Core size: 4	Core Weight: 1	Total Weight: 43
0.01/0.02	c Elapsed CPU time: 0.022996 s	Remaining CPU time: 1799.98 s
0.01/0.02	c core #44
0.01/0.02	c Core size: 4	Core Weight: 1	Total Weight: 44
0.01/0.02	c Elapsed CPU time: 0.023996 s	Remaining CPU time: 1799.98 s
0.01/0.02	c core #45
0.01/0.02	c Core size: 4	Core Weight: 1	Total Weight: 45
0.01/0.02	c Elapsed CPU time: 0.023996 s	Remaining CPU time: 1799.98 s
0.01/0.02	c core #46
0.01/0.02	c Core size: 4	Core Weight: 1	Total Weight: 46
0.01/0.02	c Elapsed CPU time: 0.024996 s	Remaining CPU time: 1799.98 s
0.01/0.02	c core #47
0.01/0.02	c Core size: 3	Core Weight: 1	Total Weight: 47
0.01/0.02	c Elapsed CPU time: 0.024996 s	Remaining CPU time: 1799.98 s
0.01/0.02	c core #48
0.01/0.02	c Core size: 4	Core Weight: 1	Total Weight: 48
0.01/0.02	c Elapsed CPU time: 0.025996 s	Remaining CPU time: 1799.97 s
0.01/0.02	c core #49
0.01/0.02	c Core size: 4	Core Weight: 1	Total Weight: 49
0.01/0.02	c Elapsed CPU time: 0.026995 s	Remaining CPU time: 1799.97 s
0.01/0.02	c core #50
0.01/0.02	c Core size: 4	Core Weight: 1	Total Weight: 50
0.01/0.02	c Elapsed CPU time: 0.026995 s	Remaining CPU time: 1799.97 s
0.01/0.02	c core #51
0.01/0.02	c Core size: 9	Core Weight: 1	Total Weight: 51
0.01/0.02	c Elapsed CPU time: 0.027995 s	Remaining CPU time: 1799.97 s
0.01/0.02	c core #52
0.01/0.02	c Core size: 10	Core Weight: 1	Total Weight: 52
0.01/0.02	c Elapsed CPU time: 0.027995 s	Remaining CPU time: 1799.97 s
0.01/0.03	c core #53
0.01/0.03	c Core size: 7	Core Weight: 1	Total Weight: 53
0.01/0.03	c Elapsed CPU time: 0.027995 s	Remaining CPU time: 1799.97 s
0.01/0.03	c core #54
0.01/0.03	c Core size: 9	Core Weight: 1	Total Weight: 54
0.01/0.03	c Elapsed CPU time: 0.028995 s	Remaining CPU time: 1799.97 s
0.01/0.03	c core #55
0.01/0.03	c Core size: 13	Core Weight: 1	Total Weight: 55
0.01/0.03	c Elapsed CPU time: 0.029995 s	Remaining CPU time: 1799.97 s
0.01/0.03	c core #56
0.01/0.03	c Core size: 7	Core Weight: 1	Total Weight: 56
0.01/0.03	c Elapsed CPU time: 0.029995 s	Remaining CPU time: 1799.97 s
0.01/0.03	c core #57
0.01/0.03	c Core size: 18	Core Weight: 1	Total Weight: 57
0.01/0.03	c Elapsed CPU time: 0.030995 s	Remaining CPU time: 1799.97 s
0.01/0.03	c core #58
0.01/0.03	c Core size: 14	Core Weight: 1	Total Weight: 58
0.01/0.03	c Elapsed CPU time: 0.031995 s	Remaining CPU time: 1799.97 s
0.01/0.03	c core #59
0.01/0.03	c Core size: 38	Core Weight: 1	Total Weight: 59
0.01/0.03	c Elapsed CPU time: 0.031995 s	Remaining CPU time: 1799.97 s
0.01/0.03	c ============================[ Search Statistics ]==============================
0.01/0.03	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.01/0.03	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.01/0.03	c ===============================================================================
0.01/0.03	c |         0 |     401      559     1390 |     5000        0    nan |  0.000 % |
0.01/0.03	c ===============================================================================
0.01/0.03	c core #60
0.01/0.03	c Core size: 27	Core Weight: 1	Total Weight: 60
0.01/0.03	c Elapsed CPU time: 0.032994 s	Remaining CPU time: 1799.97 s
0.01/0.03	c ============================[ Search Statistics ]==============================
0.01/0.03	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.01/0.03	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.01/0.03	c ===============================================================================
0.01/0.03	c |         0 |     418      560     1428 |     5000        0    nan |  0.000 % |
0.01/0.03	c ===============================================================================
0.01/0.03	c core #61
0.01/0.03	c Core size: 43	Core Weight: 1	Total Weight: 61
0.01/0.03	c Elapsed CPU time: 0.033994 s	Remaining CPU time: 1799.97 s
0.01/0.03	c ============================[ Search Statistics ]==============================
0.01/0.03	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.01/0.03	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.01/0.03	c ===============================================================================
0.01/0.03	c |         0 |     440      561     1474 |     5000        0    nan |  0.000 % |
0.01/0.03	c ===============================================================================
0.01/0.03	c core #62
0.01/0.03	c Core size: 102	Core Weight: 1	Total Weight: 62
0.01/0.03	c Elapsed CPU time: 0.034994 s	Remaining CPU time: 1799.97 s
0.01/0.03	c Learning 1 hard constraints
0.01/0.03	c ============================[ Search Statistics ]==============================
0.01/0.03	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.01/0.03	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.01/0.03	c ===============================================================================
0.01/0.03	c |         0 |     482      563     1564 |     5000        0    nan |  0.000 % |
0.01/0.04	c ===============================================================================
0.01/0.04	c core #63
0.01/0.04	c Core size: 232	Core Weight: 1	Total Weight: 63
0.01/0.04	c Elapsed CPU time: 0.037994 s	Remaining CPU time: 1799.96 s
0.01/0.04	c Learning 2 hard constraints
0.01/0.04	c ============================[ Search Statistics ]==============================
0.01/0.04	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.01/0.04	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.01/0.04	c ===============================================================================
0.01/0.04	c |         0 |     566      566     1739 |     5000        0    nan |  0.000 % |
0.01/0.04	c ===============================================================================
0.01/0.04	c core #64
0.01/0.04	c Core size: 177	Core Weight: 1	Total Weight: 64
0.01/0.04	c Elapsed CPU time: 0.041993 s	Remaining CPU time: 1799.96 s
0.01/0.04	c Learning 1 hard constraints
0.01/0.04	c ============================[ Search Statistics ]==============================
0.01/0.04	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.01/0.04	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.01/0.04	c ===============================================================================
0.01/0.04	c |         0 |     626      568     1862 |     5000        0    nan |  0.000 % |
0.01/0.05	c |       101 |     625      568     1862 |     5500       99     26 |  0.160 % |
0.01/0.05	c ===============================================================================
0.01/0.05	c core #65
0.01/0.05	c Core size: 330	Core Weight: 1	Total Weight: 65
0.01/0.05	c Elapsed CPU time: 0.053991 s	Remaining CPU time: 1799.95 s
0.01/0.05	c Learning 5 hard constraints
0.01/0.05	c ============================[ Search Statistics ]==============================
0.01/0.05	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.01/0.05	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.01/0.05	c ===============================================================================
0.01/0.05	c |         0 |     737      574     2100 |     5000        0    nan |  0.000 % |
0.01/0.06	c ===============================================================================
0.01/0.06	c core #66
0.01/0.06	c Core size: 85	Core Weight: 1	Total Weight: 66
0.01/0.06	c Elapsed CPU time: 0.057991 s	Remaining CPU time: 1799.94 s
0.01/0.06	c Learning 7 hard constraints
0.01/0.06	c ============================[ Search Statistics ]==============================
0.01/0.06	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.01/0.06	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.01/0.06	c ===============================================================================
0.01/0.06	c |         0 |     739      582     2132 |     5000        0    nan |  0.000 % |
0.01/0.06	c ===============================================================================
0.01/0.06	c core #67
0.01/0.06	c Core size: 62	Core Weight: 1	Total Weight: 67
0.01/0.06	c Elapsed CPU time: 0.06099 s	Remaining CPU time: 1799.94 s
0.01/0.06	c Learning 3 hard constraints
0.01/0.06	c ============================[ Search Statistics ]==============================
0.01/0.06	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.01/0.06	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.01/0.06	c ===============================================================================
0.01/0.06	c |         0 |     742      586     2147 |     5000        0    nan |  0.000 % |
0.01/0.06	c ===============================================================================
0.01/0.06	c core #68
0.01/0.06	c Core size: 170	Core Weight: 1	Total Weight: 68
0.01/0.06	c Elapsed CPU time: 0.06499 s	Remaining CPU time: 1799.94 s
0.01/0.06	c Learning 5 hard constraints
0.01/0.06	c ============================[ Search Statistics ]==============================
0.01/0.06	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.01/0.06	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.01/0.06	c ===============================================================================
0.01/0.06	c |         0 |     778      592     2235 |     5000        0    nan |  0.000 % |
0.01/0.07	c ===============================================================================
0.01/0.07	c core #69
0.01/0.07	c Core size: 106	Core Weight: 1	Total Weight: 69
0.01/0.07	c Elapsed CPU time: 0.071989 s	Remaining CPU time: 1799.93 s
0.01/0.07	c Learning 3 hard constraints
0.01/0.07	c ============================[ Search Statistics ]==============================
0.01/0.07	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.01/0.07	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.01/0.07	c ===============================================================================
0.01/0.07	c |         0 |     793      596     2274 |     5000        0    nan |  0.000 % |
0.01/0.08	c ===============================================================================
0.01/0.08	c core #70
0.01/0.08	c Core size: 226	Core Weight: 1	Total Weight: 70
0.01/0.08	c Elapsed CPU time: 0.077988 s	Remaining CPU time: 1799.92 s
0.01/0.08	c Learning 11 hard constraints
0.01/0.08	c ============================[ Search Statistics ]==============================
0.01/0.08	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.01/0.08	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.01/0.08	c ===============================================================================
0.01/0.08	c |         0 |     815      608     2373 |     5000        0    nan |  0.000 % |
0.01/0.08	c ===============================================================================
0.01/0.08	c core #71
0.01/0.08	c Core size: 189	Core Weight: 1	Total Weight: 71
0.01/0.08	c Elapsed CPU time: 0.080987 s	Remaining CPU time: 1799.92 s
0.01/0.08	c Learning 21 hard constraints
0.01/0.08	c ============================[ Search Statistics ]==============================
0.01/0.08	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.01/0.08	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.01/0.08	c ===============================================================================
0.01/0.08	c |         0 |     613      630     2505 |     5000        0    nan |  0.000 % |
0.01/0.08	c ===============================================================================
0.01/0.08	c core #72
0.01/0.08	c Core size: 166	Core Weight: 1	Total Weight: 72
0.01/0.08	c Elapsed CPU time: 0.081987 s	Remaining CPU time: 1799.92 s
0.01/0.08	c ============================[ Search Statistics ]==============================
0.01/0.08	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.01/0.08	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.01/0.08	c ===============================================================================
0.01/0.08	c |         0 |     626      631     2531 |     5000        0    nan |  0.000 % |
0.01/0.09	c ===============================================================================
0.01/0.09	c core #73
0.01/0.09	c Core size: 203	Core Weight: 1	Total Weight: 73
0.01/0.09	c Elapsed CPU time: 0.086986 s	Remaining CPU time: 1799.91 s
0.01/0.09	c ============================[ Search Statistics ]==============================
0.01/0.09	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.01/0.09	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.01/0.09	c ===============================================================================
0.01/0.09	c |         0 |     647      632     2573 |     5000        0    nan |  0.000 % |
0.01/0.09	c |       100 |     647      632     2573 |     5500      100     27 | 25.202 % |
0.09/0.10	c |       253 |     647      632     2573 |     6050      253     25 | 25.202 % |
0.09/0.10	c ===============================================================================
0.09/0.11	c core #74
0.09/0.11	c Core size: 217	Core Weight: 1	Total Weight: 74
0.09/0.11	c Elapsed CPU time: 0.104984 s	Remaining CPU time: 1799.9 s
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 |     675      633     2629 |     5000        0    nan |  0.000 % |
0.09/0.11	c |       100 |     675      633     2629 |     5500      100     37 | 24.412 % |
0.09/0.12	c |       253 |     675      633     2629 |     6050      253     32 | 24.412 % |
0.09/0.14	c |       479 |     675      633     2629 |     6655      479     34 | 24.412 % |
0.09/0.16	c |       817 |     675      633     2629 |     7320      817     35 | 24.412 % |
0.19/0.20	c |      1323 |     675      633     2629 |     8052     1323     36 | 24.412 % |
0.19/0.24	c ===============================================================================
0.19/0.24	c core #75
0.19/0.24	c Core size: 219	Core Weight: 1	Total Weight: 75
0.19/0.24	c Elapsed CPU time: 0.239963 s	Remaining CPU time: 1799.76 s
0.19/0.25	c ============================[ Search Statistics ]==============================
0.19/0.25	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.19/0.25	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.19/0.25	c ===============================================================================
0.19/0.25	c |         0 |     704      634     2687 |     5000        0    nan |  0.000 % |
0.19/0.25	c |       101 |     704      634     2687 |     5500      101     42 | 23.644 % |
0.19/0.26	c |       251 |     704      634     2687 |     6050      251     38 | 23.644 % |
0.19/0.27	c |       476 |     704      634     2687 |     6655      476     39 | 23.644 % |
0.29/0.30	c |       813 |     704      634     2687 |     7320      813     41 | 23.644 % |
0.29/0.35	c |      1320 |     704      634     2687 |     8052     1320     44 | 23.644 % |
0.39/0.44	c |      2079 |     704      634     2687 |     8857     2079     44 | 23.644 % |
0.49/0.57	c ===============================================================================
0.49/0.57	c core #76
0.49/0.57	c Core size: 152	Core Weight: 1	Total Weight: 76
0.49/0.57	c Elapsed CPU time: 0.555915 s	Remaining CPU time: 1799.44 s
0.49/0.57	c ============================[ Search Statistics ]==============================
0.49/0.57	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.49/0.57	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.49/0.57	c ===============================================================================
0.49/0.57	c |         0 |     713      635     2705 |     5000        0    nan |  0.000 % |
0.49/0.57	c |       100 |     713      635     2705 |     5500      100     46 | 23.416 % |
0.49/0.58	c |       250 |     713      635     2705 |     6050      250     45 | 23.416 % |
0.49/0.60	c |       475 |     713      635     2705 |     6655      475     45 | 23.416 % |
0.59/0.62	c |       812 |     713      635     2705 |     7320      812     48 | 23.416 % |
0.59/0.65	c |      1320 |     713      635     2705 |     8052     1320     44 | 23.416 % |
0.69/0.72	c |      2080 |     713      635     2705 |     8857     2080     45 | 23.416 % |
0.79/0.82	c |      3219 |     677      635     2705 |     9743     2605     42 | 27.283 % |
0.79/0.86	c ===============================================================================
0.79/0.88	c core #77
0.79/0.88	c Core size: 235	Core Weight: 1	Total Weight: 77
0.79/0.88	c Elapsed CPU time: 0.867868 s	Remaining CPU time: 1799.13 s
0.79/0.89	c ============================[ Search Statistics ]==============================
0.79/0.89	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.79/0.89	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.79/0.89	c ===============================================================================
0.79/0.89	c |         0 |     748      636     2775 |     5000        0    nan |  0.000 % |
0.79/0.89	c |       100 |     748      636     2775 |     5500      100     54 | 22.567 % |
0.89/0.90	c |       250 |     748      636     2775 |     6050      250     54 | 22.567 % |
0.89/0.92	c |       475 |     748      636     2775 |     6655      475     59 | 22.567 % |
0.89/0.95	c |       812 |     748      636     2775 |     7320      812     65 | 22.567 % |
1.00/1.01	c |      1324 |     748      636     2775 |     8052     1324     65 | 22.567 % |
1.00/1.09	c |      2085 |     748      636     2775 |     8857     2085     63 | 22.567 % |
1.19/1.24	c |      3224 |     748      636     2775 |     9743     3224     67 | 22.567 % |
1.59/1.61	c |      4932 |     748      636     2775 |    10717     4932     67 | 22.567 % |
1.99/2.09	c |      7495 |     748      636     2775 |    11789     7495     67 | 22.567 % |
2.89/2.93	c |     11339 |     748      636     2775 |    12968    11339     66 | 22.567 % |
4.68/4.79	c |     17106 |     748      636     2775 |    14265    10456     65 | 22.567 % |
7.39/7.50	c ===============================================================================
7.49/7.60	c core #78
7.49/7.60	c Core size: 252	Core Weight: 1	Total Weight: 78
7.49/7.60	c Elapsed CPU time: 7.51386 s	Remaining CPU time: 1792.49 s
7.59/7.63	c ============================[ Search Statistics ]==============================
7.59/7.63	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
7.59/7.63	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
7.59/7.63	c ===============================================================================
7.59/7.63	c |         0 |     794      637     2867 |     5000        0    nan |  0.000 % |
7.59/7.64	c |       100 |     794      637     2867 |     5500      100     63 | 21.542 % |
7.59/7.64	c |       253 |     794      637     2867 |     6050      253     56 | 21.542 % |
7.59/7.66	c |       479 |     794      637     2867 |     6655      479     48 | 21.542 % |
7.59/7.68	c |       817 |     794      637     2867 |     7320      817     45 | 21.542 % |
7.69/7.74	c |      1324 |     794      637     2867 |     8052     1324     45 | 21.542 % |
7.78/7.85	c |      2086 |     794      637     2867 |     8857     2086     45 | 21.542 % |
7.99/8.06	c |      3227 |     794      637     2867 |     9743     3227     46 | 21.542 % |
8.38/8.48	c |      4936 |     794      637     2867 |    10717     4936     47 | 21.542 % |
9.28/9.37	c |      7499 |     794      637     2867 |    11789     7499     47 | 21.542 % |
9.79/9.89	c ===============================================================================
9.89/9.97	c core #79
9.89/9.97	c Core size: 195	Core Weight: 1	Total Weight: 79
9.89/9.97	c Elapsed CPU time: 9.8625 s	Remaining CPU time: 1790.14 s
9.89/9.98	c ============================[ Search Statistics ]==============================
9.89/9.98	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
9.89/9.98	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
9.89/9.98	c ===============================================================================
9.89/9.98	c |         0 |     819      638     2917 |     5000        0    nan |  0.000 % |
9.89/9.99	c |       101 |     819      638     2917 |     5500      101     51 | 21.022 % |
9.99/10.00	c |       251 |     819      638     2917 |     6050      251     44 | 21.022 % |
9.99/10.02	c |       479 |     819      638     2917 |     6655      479     60 | 21.022 % |
9.99/10.05	c |       816 |     819      638     2917 |     7320      816     69 | 21.022 % |
10.09/10.11	c |      1324 |     819      638     2917 |     8052     1324     79 | 21.022 % |
10.19/10.23	c |      2084 |     819      638     2917 |     8857     2084     85 | 21.022 % |
10.39/10.42	c |      3223 |     819      638     2917 |     9743     3223     83 | 21.022 % |
10.68/10.79	c |      4931 |     819      638     2917 |    10717     4931     88 | 21.022 % |
11.39/11.47	c |      7496 |     819      638     2917 |    11789     7496     91 | 21.022 % |
12.78/12.90	c |     11341 |     819      638     2917 |    12968    11341     93 | 21.022 % |
15.79/15.88	c |     17110 |     819      638     2917 |    14265    10462     96 | 21.022 % |
22.08/22.16	c |     25765 |     819      638     2917 |    15692    11822    100 | 21.022 % |
30.28/30.32	c |     38739 |     819      638     2917 |    17261     8736     96 | 21.022 % |
41.38/41.45	c |     58201 |     819      638     2917 |    18987    10491     86 | 21.022 % |
56.47/56.59	c |     87401 |     819      638     2917 |    20886    10706     91 | 21.022 % |
85.46/85.51	c |    131191 |     819      638     2917 |    22974    12023     86 | 21.022 % |
124.65/124.79	c |    196876 |     819      638     2917 |    25272    19337     92 | 21.022 % |
204.13/204.28	c |    295402 |     819      638     2917 |    27799    13311     88 | 21.022 % |
350.19/350.35	c |    443196 |     782      638     2917 |    30579    19913    112 | 24.590 % |
388.08/388.28	c ===============================================================================
397.88/398.08	c core #80
397.88/398.08	c Core size: 280	Core Weight: 1	Total Weight: 80
397.88/398.08	c Elapsed CPU time: 396.299 s	Remaining CPU time: 1403.7 s
398.48/398.61	c ============================[ Search Statistics ]==============================
398.48/398.61	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
398.48/398.61	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
398.48/398.61	c ===============================================================================
398.48/398.61	c |         0 |     879      639     3037 |     5000        0    nan |  0.000 % |
398.48/398.67	c |       100 |     879      639     3037 |     5500      100     72 | 19.872 % |
398.57/398.71	c |       250 |     879      639     3037 |     6050      250     69 | 19.872 % |
398.57/398.73	c |       476 |     879      639     3037 |     6655      476     67 | 19.872 % |
398.57/398.76	c |       814 |     879      639     3037 |     7320      814     85 | 19.872 % |
398.67/398.85	c |      1322 |     879      639     3037 |     8052     1322     99 | 19.872 % |
398.87/399.05	c |      2086 |     879      639     3037 |     8857     2086    108 | 19.872 % |
399.07/399.27	c |      3226 |     879      639     3037 |     9743     3226    112 | 19.872 % |
399.47/399.63	c |      4937 |     879      639     3037 |    10717     4937    112 | 19.872 % |
400.38/400.51	c |      7500 |     879      639     3037 |    11789     7500    111 | 19.872 % |
402.17/402.34	c |     11345 |     879      639     3037 |    12968    11345    112 | 19.872 % |
405.77/405.95	c |     17112 |     879      639     3037 |    14265    10462    111 | 19.872 % |
411.87/412.04	c |     25761 |     879      639     3037 |    15692    11827    106 | 19.872 % |
423.06/423.22	c |     38735 |     879      639     3037 |    17261     8822    106 | 19.872 % |
436.76/436.94	c |     58198 |     879      639     3037 |    18987    10687    111 | 19.872 % |
472.15/472.38	c |     87395 |     879      639     3037 |    20886    10972    121 | 19.872 % |
503.65/503.88	c |    131185 |     879      639     3037 |    22974    12064    104 | 19.872 % |
547.64/547.87	c |    196869 |     879      639     3037 |    25272    19168    137 | 19.872 % |
634.30/634.50	c |    295396 |     879      639     3037 |    27799    13937    123 | 19.872 % |
749.17/749.44	c |    443185 |     879      639     3037 |    30579    23250    133 | 19.872 % |
955.71/956.02	c |    664869 |     879      639     3037 |    33637    29195    117 | 19.872 % |
1267.42/1267.83	c |    997403 |     879      639     3037 |    37001    30680    112 | 19.872 % |
1752.27/1752.85	c |   1496192 |     879      639     3037 |    40701    37036    114 | 19.872 % |

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1876180-1245152239/watcher-1876180-1245152239 -o /tmp/evaluation-result-1876180-1245152239/solver-1876180-1245152239 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1876180-1245152239.opb 

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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.09 1.06 1.00 3/64 2707
/proc/meminfo: memFree=1864168/2055920 swapFree=4191900/4192956
[pid=2707] ppid=2705 vsize=2524 CPUtime=0
/proc/2707/stat : 2707 (wbo) R 2705 2707 2351 0 -1 4194304 207 0 0 0 0 0 0 0 18 0 1 0 182824643 2584576 188 1992294400 134512640 135709839 4294956240 18446744073709551615 135230974 0 0 4096 3 0 0 0 17 1 0 0
/proc/2707/statm: 631 188 133 292 0 336 0

[startup+0.0146641 s]
/proc/loadavg: 1.09 1.06 1.00 3/64 2707
/proc/meminfo: memFree=1864168/2055920 swapFree=4191900/4192956
[pid=2707] ppid=2705 vsize=2524 CPUtime=0.01
/proc/2707/stat : 2707 (wbo) R 2705 2707 2351 0 -1 4194304 218 0 0 0 1 0 0 0 18 0 1 0 182824643 2584576 199 1992294400 134512640 135709839 4294956240 18446744073709551615 134605814 0 0 4096 3 0 0 0 17 1 0 0
/proc/2707/statm: 631 199 133 292 0 336 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2524

[startup+0.101674 s]
/proc/loadavg: 1.09 1.06 1.00 3/64 2707
/proc/meminfo: memFree=1864168/2055920 swapFree=4191900/4192956
[pid=2707] ppid=2705 vsize=2936 CPUtime=0.09
/proc/2707/stat : 2707 (wbo) R 2705 2707 2351 0 -1 4194304 332 0 0 0 9 0 0 0 18 0 1 0 182824643 3006464 313 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2707/statm: 734 313 136 292 0 439 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2936

[startup+0.301696 s]
/proc/loadavg: 1.09 1.06 1.00 3/64 2707
/proc/meminfo: memFree=1864168/2055920 swapFree=4191900/4192956
[pid=2707] ppid=2705 vsize=3620 CPUtime=0.29
/proc/2707/stat : 2707 (wbo) R 2705 2707 2351 0 -1 4194304 489 0 0 0 29 0 0 0 19 0 1 0 182824643 3706880 470 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2707/statm: 905 470 136 292 0 610 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3620

[startup+0.701741 s]
/proc/loadavg: 1.09 1.06 1.00 3/64 2707
/proc/meminfo: memFree=1864168/2055920 swapFree=4191900/4192956
[pid=2707] ppid=2705 vsize=4152 CPUtime=0.69
/proc/2707/stat : 2707 (wbo) R 2705 2707 2351 0 -1 4194304 617 0 0 0 68 1 0 0 22 0 1 0 182824643 4251648 598 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2707/statm: 1038 598 136 292 0 743 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4152

[startup+1.50183 s]
/proc/loadavg: 1.09 1.06 1.00 2/65 2708
/proc/meminfo: memFree=1862048/2055920 swapFree=4191900/4192956
[pid=2707] ppid=2705 vsize=5084 CPUtime=1.49
/proc/2707/stat : 2707 (wbo) R 2705 2707 2351 0 -1 4194304 853 0 0 0 147 2 0 0 25 0 1 0 182824643 5206016 834 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2707/statm: 1271 834 136 292 0 976 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5084

[startup+3.10201 s]
/proc/loadavg: 1.09 1.06 1.00 2/65 2708
/proc/meminfo: memFree=1859808/2055920 swapFree=4191900/4192956
[pid=2707] ppid=2705 vsize=8552 CPUtime=3.09
/proc/2707/stat : 2707 (wbo) R 2705 2707 2351 0 -1 4194304 1707 0 0 0 305 4 0 0 25 0 1 0 182824643 8757248 1688 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2707/statm: 2138 1688 136 292 0 1843 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 8552

[startup+6.30137 s]
/proc/loadavg: 1.08 1.06 1.00 2/65 2708
/proc/meminfo: memFree=1854432/2055920 swapFree=4191900/4192956
[pid=2707] ppid=2705 vsize=13060 CPUtime=6.28
/proc/2707/stat : 2707 (wbo) R 2705 2707 2351 0 -1 4194304 2851 0 0 0 621 7 0 0 25 0 1 0 182824643 13373440 2832 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2707/statm: 3265 2832 136 292 0 2970 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 13060

[startup+12.7011 s]
/proc/loadavg: 1.08 1.06 1.00 2/65 2708
/proc/meminfo: memFree=1850720/2055920 swapFree=4191900/4192956
[pid=2707] ppid=2705 vsize=15432 CPUtime=12.68
/proc/2707/stat : 2707 (wbo) R 2705 2707 2351 0 -1 4194304 3441 0 0 0 1255 13 0 0 25 0 1 0 182824643 15802368 3422 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2707/statm: 3858 3422 136 292 0 3563 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 15432

[startup+25.5015 s]
/proc/loadavg: 1.06 1.05 1.00 2/65 2708
/proc/meminfo: memFree=1840672/2055920 swapFree=4191900/4192956
[pid=2707] ppid=2705 vsize=25652 CPUtime=25.48
/proc/2707/stat : 2707 (wbo) R 2705 2707 2351 0 -1 4194304 6000 0 0 0 2529 19 0 0 25 0 1 0 182824643 26267648 5981 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2707/statm: 6413 5981 136 292 0 6118 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 25652

[startup+51.1014 s]
/proc/loadavg: 1.04 1.05 1.00 2/65 2708
/proc/meminfo: memFree=1814112/2055920 swapFree=4191900/4192956
[pid=2707] ppid=2705 vsize=52604 CPUtime=51.07
/proc/2707/stat : 2707 (wbo) R 2705 2707 2351 0 -1 4194304 12721 0 0 0 5076 31 0 0 25 0 1 0 182824643 53866496 12702 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2707/statm: 13151 12702 136 292 0 12856 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 52604

[startup+102.305 s]
/proc/loadavg: 1.02 1.04 1.00 2/65 2708
/proc/meminfo: memFree=1764832/2055920 swapFree=4191900/4192956
[pid=2707] ppid=2705 vsize=101440 CPUtime=102.26
/proc/2707/stat : 2707 (wbo) R 2705 2707 2351 0 -1 4194304 24887 0 0 0 10168 58 0 0 25 0 1 0 182824643 103874560 24868 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2707/statm: 25360 24868 136 292 0 25065 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 101440

[startup+162.302 s]
/proc/loadavg: 1.00 1.03 1.00 2/65 2708
/proc/meminfo: memFree=1721760/2055920 swapFree=4191900/4192956
[pid=2707] ppid=2705 vsize=144944 CPUtime=162.25
/proc/2707/stat : 2707 (wbo) R 2705 2707 2351 0 -1 4194304 35736 0 0 0 16140 85 0 0 25 0 1 0 182824643 148422656 35717 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/2707/statm: 36236 35717 136 292 0 35941 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 144944

[startup+222.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 2708
/proc/meminfo: memFree=1681632/2055920 swapFree=4191900/4192956
[pid=2707] ppid=2705 vsize=184728 CPUtime=222.22
/proc/2707/stat : 2707 (wbo) R 2705 2707 2351 0 -1 4194304 45628 0 0 0 22117 105 0 0 25 0 1 0 182824643 189161472 45609 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2707/statm: 46182 45609 136 292 0 45887 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 184728

[startup+282.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 2708
/proc/meminfo: memFree=1642528/2055920 swapFree=4191900/4192956
[pid=2707] ppid=2705 vsize=224032 CPUtime=282.2
/proc/2707/stat : 2707 (wbo) R 2705 2707 2351 0 -1 4194304 55429 0 0 0 28092 128 0 0 25 0 1 0 182824643 229408768 55410 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/2707/statm: 56008 55410 136 292 0 55713 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 224032

[startup+342.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 2708
/proc/meminfo: memFree=1604960/2055920 swapFree=4191900/4192956
[pid=2707] ppid=2705 vsize=261488 CPUtime=342.19
/proc/2707/stat : 2707 (wbo) R 2705 2707 2351 0 -1 4194304 64786 0 0 0 34069 150 0 0 25 0 1 0 182824643 267763712 64767 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/2707/statm: 65372 64767 136 292 0 65077 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 261488

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2708
/proc/meminfo: memFree=1562080/2055920 swapFree=4191900/4192956
[pid=2707] ppid=2705 vsize=303936 CPUtime=402.17
/proc/2707/stat : 2707 (wbo) R 2705 2707 2351 0 -1 4194304 75413 0 0 0 40048 169 0 0 25 0 1 0 182824643 311230464 75363 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2707/statm: 75984 75363 136 292 0 75689 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 303936

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2708
/proc/meminfo: memFree=1558112/2055920 swapFree=4191900/4192956
[pid=2707] ppid=2705 vsize=307416 CPUtime=462.16
/proc/2707/stat : 2707 (wbo) R 2705 2707 2351 0 -1 4194304 76454 0 0 0 46031 185 0 0 25 0 1 0 182824643 314793984 76404 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2707/statm: 76854 76404 136 292 0 76559 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 307416

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2708
/proc/meminfo: memFree=1520800/2055920 swapFree=4191900/4192956
[pid=2707] ppid=2705 vsize=345572 CPUtime=522.13
/proc/2707/stat : 2707 (wbo) R 2705 2707 2351 0 -1 4194304 85969 0 0 0 52000 213 0 0 25 0 1 0 182824643 353865728 85919 1992294400 134512640 135709839 4294956240 18446744073709551615 134573929 0 0 4096 3 0 0 0 17 1 0 0
/proc/2707/statm: 86393 85919 136 292 0 86098 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 345572

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2708
/proc/meminfo: memFree=1474272/2055920 swapFree=4191900/4192956
[pid=2707] ppid=2705 vsize=391572 CPUtime=582.12
/proc/2707/stat : 2707 (wbo) R 2705 2707 2351 0 -1 4194304 97421 0 0 0 57972 240 0 0 25 0 1 0 182824643 400969728 97371 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0
/proc/2707/statm: 97893 97371 136 292 0 97598 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 391572

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2708
/proc/meminfo: memFree=1425952/2055920 swapFree=4191900/4192956
[pid=2707] ppid=2705 vsize=439484 CPUtime=642.1
/proc/2707/stat : 2707 (wbo) R 2705 2707 2351 0 -1 4194304 109376 0 0 0 63943 267 0 0 25 0 1 0 182824643 450031616 109326 1992294400 134512640 135709839 4294956240 18446744073709551615 134579155 0 0 4096 3 0 0 0 17 1 0 0
/proc/2707/statm: 109871 109326 136 292 0 109576 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 439484

[startup+702.302 s]

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

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2708
/proc/meminfo: memFree=1244768/2055920 swapFree=4191900/4192956
[pid=2707] ppid=2705 vsize=620660 CPUtime=882.03
/proc/2707/stat : 2707 (wbo) R 2705 2707 2351 0 -1 4194304 154586 0 0 0 87830 373 0 0 25 0 1 0 182824643 635555840 154536 1992294400 134512640 135709839 4294956240 18446744073709551615 134517520 0 0 4096 3 0 0 0 17 1 0 0
/proc/2707/statm: 155165 154536 136 292 0 154870 0
Current children cumulated CPU time (s) 882.03
Current children cumulated vsize (KiB) 620660

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2710
/proc/meminfo: memFree=1208160/2055920 swapFree=4191900/4192956
[pid=2707] ppid=2705 vsize=657228 CPUtime=942.02
/proc/2707/stat : 2707 (wbo) R 2705 2707 2351 0 -1 4194304 163703 0 0 0 93808 394 0 0 25 0 1 0 182824643 673001472 163653 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2707/statm: 164307 163653 136 292 0 164012 0
Current children cumulated CPU time (s) 942.02
Current children cumulated vsize (KiB) 657228

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2710
/proc/meminfo: memFree=1172512/2055920 swapFree=4191900/4192956
[pid=2707] ppid=2705 vsize=692836 CPUtime=1001.99
/proc/2707/stat : 2707 (wbo) R 2705 2707 2351 0 -1 4194304 172579 0 0 0 99784 415 0 0 25 0 1 0 182824643 709464064 172529 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2707/statm: 173209 172529 136 292 0 172914 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 692836

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2710
/proc/meminfo: memFree=1130656/2055920 swapFree=4191900/4192956
[pid=2707] ppid=2705 vsize=734752 CPUtime=1061.98
/proc/2707/stat : 2707 (wbo) R 2705 2707 2351 0 -1 4194304 183068 0 0 0 105758 440 0 0 25 0 1 0 182824643 752386048 183018 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 1 0 0
/proc/2707/statm: 183688 183018 136 292 0 183393 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 734752

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2710
/proc/meminfo: memFree=1087968/2055920 swapFree=4191900/4192956
[pid=2707] ppid=2705 vsize=777124 CPUtime=1121.97
/proc/2707/stat : 2707 (wbo) R 2705 2707 2351 0 -1 4194304 193651 0 0 0 111734 463 0 0 25 0 1 0 182824643 795774976 193601 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2707/statm: 194281 193601 136 292 0 193986 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 777124

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2710
/proc/meminfo: memFree=1049568/2055920 swapFree=4191900/4192956
[pid=2707] ppid=2705 vsize=816228 CPUtime=1181.94
/proc/2707/stat : 2707 (wbo) R 2705 2707 2351 0 -1 4194304 203403 0 0 0 117709 485 0 0 25 0 1 0 182824643 835817472 203353 1992294400 134512640 135709839 4294956240 18446744073709551615 134517517 0 0 4096 3 0 0 0 17 1 0 0
/proc/2707/statm: 204057 203353 136 292 0 203762 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 816228

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2710
/proc/meminfo: memFree=1011296/2055920 swapFree=4191900/4192956
[pid=2707] ppid=2705 vsize=854052 CPUtime=1241.93
/proc/2707/stat : 2707 (wbo) R 2705 2707 2351 0 -1 4194304 212832 0 0 0 123684 509 0 0 25 0 1 0 182824643 874549248 212782 1992294400 134512640 135709839 4294956240 18446744073709551615 134573950 0 0 4096 3 0 0 0 17 1 0 0
/proc/2707/statm: 213513 212782 136 292 0 213218 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 854052

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2710
/proc/meminfo: memFree=968416/2055920 swapFree=4191900/4192956
[pid=2707] ppid=2705 vsize=896452 CPUtime=1301.92
/proc/2707/stat : 2707 (wbo) R 2705 2707 2351 0 -1 4194304 223419 0 0 0 129659 533 0 0 25 0 1 0 182824643 917966848 223369 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2707/statm: 224113 223369 136 292 0 223818 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 896452

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2710
/proc/meminfo: memFree=926048/2055920 swapFree=4191900/4192956
[pid=2707] ppid=2705 vsize=939164 CPUtime=1361.89
/proc/2707/stat : 2707 (wbo) R 2705 2707 2351 0 -1 4194304 234096 0 0 0 135633 556 0 0 25 0 1 0 182824643 961703936 234046 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0
/proc/2707/statm: 234791 234046 136 292 0 234496 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 939164

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2715
/proc/meminfo: memFree=881824/2055920 swapFree=4191900/4192956
[pid=2707] ppid=2705 vsize=982872 CPUtime=1421.87
/proc/2707/stat : 2707 (wbo) R 2705 2707 2351 0 -1 4194304 244998 0 0 0 141610 577 0 0 25 0 1 0 182824643 1006460928 244948 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2707/statm: 245718 244948 136 292 0 245423 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 982872

[startup+1482.3 s]
/proc/loadavg: 1.04 1.01 1.00 2/65 2715
/proc/meminfo: memFree=842464/2055920 swapFree=4191900/4192956
[pid=2707] ppid=2705 vsize=1022696 CPUtime=1481.85
/proc/2707/stat : 2707 (wbo) R 2705 2707 2351 0 -1 4194304 254912 0 0 0 147588 597 0 0 25 0 1 0 182824643 1047240704 254862 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2707/statm: 255674 254862 136 292 0 255379 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 1022696

[startup+1542.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/65 2715
/proc/meminfo: memFree=804320/2055920 swapFree=4191900/4192956
[pid=2707] ppid=2705 vsize=1060520 CPUtime=1541.83
/proc/2707/stat : 2707 (wbo) R 2705 2707 2351 0 -1 4194304 264367 0 0 0 153566 617 0 0 25 0 1 0 182824643 1085972480 264317 1992294400 134512640 135709839 4294956240 18446744073709551615 134573938 0 0 4096 3 0 0 0 17 1 0 0
/proc/2707/statm: 265130 264317 136 292 0 264835 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 1060520

[startup+1602.3 s]
/proc/loadavg: 1.04 1.02 1.00 2/65 2715
/proc/meminfo: memFree=760352/2055920 swapFree=4191900/4192956
[pid=2707] ppid=2705 vsize=1104704 CPUtime=1601.81
/proc/2707/stat : 2707 (wbo) R 2705 2707 2351 0 -1 4194304 275396 0 0 0 159539 642 0 0 25 0 1 0 182824643 1131216896 275346 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2707/statm: 276176 275346 136 292 0 275881 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 1104704

[startup+1662.3 s]
/proc/loadavg: 1.12 1.04 1.01 2/65 2715
/proc/meminfo: memFree=714464/2055920 swapFree=4191900/4192956
[pid=2707] ppid=2705 vsize=1150204 CPUtime=1661.8
/proc/2707/stat : 2707 (wbo) R 2705 2707 2351 0 -1 4194304 286758 0 0 0 165513 667 0 0 25 0 1 0 182824643 1177808896 286708 1992294400 134512640 135709839 4294956240 18446744073709551615 134573759 0 0 4096 3 0 0 0 17 1 0 0
/proc/2707/statm: 287551 286708 136 292 0 287256 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 1150204

[startup+1722.3 s]
/proc/loadavg: 1.12 1.05 1.00 2/65 2715
/proc/meminfo: memFree=673376/2055920 swapFree=4191900/4192956
[pid=2707] ppid=2705 vsize=1191648 CPUtime=1721.78
/proc/2707/stat : 2707 (wbo) R 2705 2707 2351 0 -1 4194304 297054 0 0 0 171488 690 0 0 25 0 1 0 182824643 1220247552 297004 1992294400 134512640 135709839 4294956240 18446744073709551615 134573950 0 0 4096 3 0 0 0 17 1 0 0
/proc/2707/statm: 297912 297004 136 292 0 297617 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 1191648

[startup+1782.3 s]
/proc/loadavg: 1.11 1.05 1.00 2/65 2715
/proc/meminfo: memFree=635808/2055920 swapFree=4191900/4192956
[pid=2707] ppid=2705 vsize=1229032 CPUtime=1781.76
/proc/2707/stat : 2707 (wbo) R 2705 2707 2351 0 -1 4194304 306380 0 0 0 177464 712 0 0 25 0 1 0 182824643 1258528768 306330 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/2707/statm: 307258 306330 136 292 0 306963 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 1229032



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.08 1.05 1.00 2/65 2715
/proc/meminfo: memFree=623904/2055920 swapFree=4191900/4192956
[pid=2707] ppid=2705 vsize=1240780 CPUtime=1800.06
/proc/2707/stat : 2707 (wbo) R 2705 2707 2351 0 -1 4194304 309320 0 0 0 179287 719 0 0 25 0 1 0 182824643 1270558720 309270 1992294400 134512640 135709839 4294956240 18446744073709551615 134573950 0 0 4096 3 0 0 0 17 1 0 0
/proc/2707/statm: 310195 309270 136 292 0 309900 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1240780

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

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

[startup+1800.71 s]
/proc/loadavg: 1.08 1.05 1.00 2/65 2715
/proc/meminfo: memFree=623904/2055920 swapFree=4191900/4192956
[pid=2707] ppid=2705 vsize=0 CPUtime=1800.16
/proc/2707/stat : 2707 (wbo) R 2705 2707 2351 0 -1 4195332 309320 0 0 0 179287 729 0 0 25 0 1 0 182824643 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0
/proc/2707/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.8
CPU time (s): 1800.27
CPU user time (s): 1792.88
CPU system time (s): 7.38988
CPU usage (%): 99.9704
Max. virtual memory (cumulated for all children) (KiB): 1240780

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.88
system time used= 7.38988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 309320
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= 2
involuntary context switches= 3091

runsolver used 1.43778 second user time and 3.59345 second system time

The end

Launcher Data 

Begin job on node9 at 2009-06-16 13:37:19
IDJOB=1876180
IDBENCH=2090
IDSOLVER=698
FILE ID=node9/1876180-1245152239
PBS_JOBID= 9363758
Free space on /tmp= 66160 MiB

SOLVER NAME= wbo 1.0
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-100-2_0-yes1-2.opb
COMMAND LINE= wbo -file-format=opb -time-limit=TIMEOUT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1876180-1245152239/watcher-1876180-1245152239 -o /tmp/evaluation-result-1876180-1245152239/solver-1876180-1245152239 -C 1800 -W 2000 -M 1800  wbo -file-format=opb -time-limit=1800 HOME/instance-1876180-1245152239.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= dbb36b6bce03d0b1e099a26354bdabc4
RANDOM SEED=950974109

node9.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.231
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.231
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1864584 kB
Buffers:         31272 kB
Cached:          94132 kB
SwapCached:        260 kB
Active:          30152 kB
Inactive:       108048 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1864584 kB
SwapTotal:     4192956 kB
SwapFree:      4191900 kB
Dirty:            2552 kB
Writeback:           0 kB
Mapped:          21996 kB
Slab:            39120 kB
Committed_AS:   156564 kB
PageTables:       1392 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1876180-1245152239.opb

Free space on /tmp at the end= 66160 MiB
End job on node9 at 2009-06-16 14:07:22