Trace number 1876231

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.28 1801.2

General information on the benchmark

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

Solver Data 

0.00/0.00	c 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-1876231-1245159137.opb.
0.00/0.00	c Instance file HOME/instance-1876231-1245159137.opb
0.00/0.00	c File size is 38686 bytes.
0.00/0.00	c Highest Coefficient sum: 12
0.00/0.00	c ============================[ Problem Statistics ]=============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |  Parsing time:          0.01         s                                      |
0.00/0.00	c |  Number Variables:      200                                                 |
0.00/0.00	c |  Number Clauses:        1100                                                |
0.00/0.00	c |  Number Cardinality:    0                                                   |
0.00/0.00	c |  Number PB Constraints: 0                                                   |
0.00/0.00	c core #1
0.00/0.00	c Core size: 8	Core Weight: 1	Total Weight: 1
0.00/0.00	c Elapsed CPU time: 0.005999 s	Remaining CPU time: 1799.99 s
0.00/0.00	c core #2
0.00/0.00	c Core size: 7	Core Weight: 1	Total Weight: 2
0.00/0.00	c Elapsed CPU time: 0.006998 s	Remaining CPU time: 1799.99 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.007998 s	Remaining CPU time: 1799.99 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.008998 s	Remaining CPU time: 1799.99 s
0.00/0.01	c core #5
0.00/0.01	c Core size: 4	Core Weight: 1	Total Weight: 5
0.00/0.01	c Elapsed CPU time: 0.008998 s	Remaining CPU time: 1799.99 s
0.00/0.01	c core #6
0.00/0.01	c Core size: 7	Core Weight: 1	Total Weight: 6
0.00/0.01	c Elapsed CPU time: 0.009998 s	Remaining CPU time: 1799.99 s
0.00/0.01	c core #7
0.00/0.01	c Core size: 6	Core Weight: 1	Total Weight: 7
0.00/0.01	c Elapsed CPU time: 0.010998 s	Remaining CPU time: 1799.99 s
0.00/0.01	c core #8
0.00/0.01	c Core size: 5	Core Weight: 1	Total Weight: 8
0.00/0.01	c Elapsed CPU time: 0.011998 s	Remaining CPU time: 1799.99 s
0.01/0.01	c core #9
0.01/0.01	c Core size: 6	Core Weight: 1	Total Weight: 9
0.01/0.01	c Elapsed CPU time: 0.012998 s	Remaining CPU time: 1799.99 s
0.01/0.01	c core #10
0.01/0.01	c Core size: 3	Core Weight: 1	Total Weight: 10
0.01/0.01	c Elapsed CPU time: 0.013997 s	Remaining CPU time: 1799.99 s
0.01/0.01	c core #11
0.01/0.01	c Core size: 3	Core Weight: 1	Total Weight: 11
0.01/0.01	c Elapsed CPU time: 0.014997 s	Remaining CPU time: 1799.99 s
0.01/0.01	c core #12
0.01/0.01	c Core size: 4	Core Weight: 1	Total Weight: 12
0.01/0.01	c Elapsed CPU time: 0.015997 s	Remaining CPU time: 1799.98 s
0.01/0.01	c core #13
0.01/0.01	c Core size: 3	Core Weight: 1	Total Weight: 13
0.01/0.01	c Elapsed CPU time: 0.016997 s	Remaining CPU time: 1799.98 s
0.01/0.01	c core #14
0.01/0.01	c Core size: 3	Core Weight: 1	Total Weight: 14
0.01/0.01	c Elapsed CPU time: 0.017997 s	Remaining CPU time: 1799.98 s
0.01/0.01	c core #15
0.01/0.01	c Core size: 4	Core Weight: 1	Total Weight: 15
0.01/0.01	c Elapsed CPU time: 0.018997 s	Remaining CPU time: 1799.98 s
0.01/0.02	c core #16
0.01/0.02	c Core size: 5	Core Weight: 1	Total Weight: 16
0.01/0.02	c Elapsed CPU time: 0.018997 s	Remaining CPU time: 1799.98 s
0.01/0.02	c core #17
0.01/0.02	c Core size: 4	Core Weight: 1	Total Weight: 17
0.01/0.02	c Elapsed CPU time: 0.019996 s	Remaining CPU time: 1799.98 s
0.01/0.02	c core #18
0.01/0.02	c Core size: 4	Core Weight: 1	Total Weight: 18
0.01/0.02	c Elapsed CPU time: 0.020996 s	Remaining CPU time: 1799.98 s
0.01/0.02	c core #19
0.01/0.02	c Core size: 5	Core Weight: 1	Total Weight: 19
0.01/0.02	c Elapsed CPU time: 0.021996 s	Remaining CPU time: 1799.98 s
0.01/0.02	c core #20
0.01/0.02	c Core size: 7	Core Weight: 1	Total Weight: 20
0.01/0.02	c Elapsed CPU time: 0.022996 s	Remaining CPU time: 1799.98 s
0.01/0.02	c core #21
0.01/0.02	c Core size: 6	Core Weight: 1	Total Weight: 21
0.01/0.02	c Elapsed CPU time: 0.023996 s	Remaining CPU time: 1799.98 s
0.01/0.02	c core #22
0.01/0.02	c Core size: 3	Core Weight: 1	Total Weight: 22
0.01/0.02	c Elapsed CPU time: 0.024996 s	Remaining CPU time: 1799.98 s
0.01/0.02	c core #23
0.01/0.02	c Core size: 4	Core Weight: 1	Total Weight: 23
0.01/0.02	c Elapsed CPU time: 0.025996 s	Remaining CPU time: 1799.97 s
0.01/0.02	c core #24
0.01/0.02	c Core size: 5	Core Weight: 1	Total Weight: 24
0.01/0.02	c Elapsed CPU time: 0.026995 s	Remaining CPU time: 1799.97 s
0.01/0.02	c core #25
0.01/0.02	c Core size: 4	Core Weight: 1	Total Weight: 25
0.01/0.02	c Elapsed CPU time: 0.027995 s	Remaining CPU time: 1799.97 s
0.01/0.02	c core #26
0.01/0.02	c Core size: 5	Core Weight: 1	Total Weight: 26
0.01/0.02	c Elapsed CPU time: 0.028995 s	Remaining CPU time: 1799.97 s
0.01/0.03	c core #27
0.01/0.03	c Core size: 4	Core Weight: 1	Total Weight: 27
0.01/0.03	c Elapsed CPU time: 0.029995 s	Remaining CPU time: 1799.97 s
0.01/0.03	c core #28
0.01/0.03	c Core size: 5	Core Weight: 1	Total Weight: 28
0.01/0.03	c Elapsed CPU time: 0.030995 s	Remaining CPU time: 1799.97 s
0.01/0.03	c core #29
0.01/0.03	c Core size: 3	Core Weight: 1	Total Weight: 29
0.01/0.03	c Elapsed CPU time: 0.031995 s	Remaining CPU time: 1799.97 s
0.01/0.03	c core #30
0.01/0.03	c Core size: 3	Core Weight: 1	Total Weight: 30
0.01/0.03	c Elapsed CPU time: 0.032994 s	Remaining CPU time: 1799.97 s
0.01/0.03	c core #31
0.01/0.03	c Core size: 6	Core Weight: 1	Total Weight: 31
0.01/0.03	c Elapsed CPU time: 0.033994 s	Remaining CPU time: 1799.97 s
0.01/0.03	c core #32
0.01/0.03	c Core size: 4	Core Weight: 1	Total Weight: 32
0.01/0.03	c Elapsed CPU time: 0.034994 s	Remaining CPU time: 1799.97 s
0.01/0.03	c core #33
0.01/0.03	c Core size: 4	Core Weight: 1	Total Weight: 33
0.01/0.03	c Elapsed CPU time: 0.035994 s	Remaining CPU time: 1799.96 s
0.01/0.03	c core #34
0.01/0.03	c Core size: 4	Core Weight: 1	Total Weight: 34
0.01/0.03	c Elapsed CPU time: 0.036994 s	Remaining CPU time: 1799.96 s
0.01/0.03	c core #35
0.01/0.03	c Core size: 3	Core Weight: 1	Total Weight: 35
0.01/0.03	c Elapsed CPU time: 0.037994 s	Remaining CPU time: 1799.96 s
0.01/0.04	c core #36
0.01/0.04	c Core size: 3	Core Weight: 1	Total Weight: 36
0.01/0.04	c Elapsed CPU time: 0.039993 s	Remaining CPU time: 1799.96 s
0.01/0.04	c core #37
0.01/0.04	c Core size: 3	Core Weight: 1	Total Weight: 37
0.01/0.04	c Elapsed CPU time: 0.040993 s	Remaining CPU time: 1799.96 s
0.01/0.04	c core #38
0.01/0.04	c Core size: 3	Core Weight: 1	Total Weight: 38
0.01/0.04	c Elapsed CPU time: 0.041993 s	Remaining CPU time: 1799.96 s
0.01/0.04	c core #39
0.01/0.04	c Core size: 3	Core Weight: 1	Total Weight: 39
0.01/0.04	c Elapsed CPU time: 0.042993 s	Remaining CPU time: 1799.96 s
0.01/0.04	c core #40
0.01/0.04	c Core size: 3	Core Weight: 1	Total Weight: 40
0.01/0.04	c Elapsed CPU time: 0.043993 s	Remaining CPU time: 1799.96 s
0.01/0.04	c core #41
0.01/0.04	c Core size: 3	Core Weight: 1	Total Weight: 41
0.01/0.04	c Elapsed CPU time: 0.044993 s	Remaining CPU time: 1799.96 s
0.01/0.04	c core #42
0.01/0.04	c Core size: 4	Core Weight: 1	Total Weight: 42
0.01/0.04	c Elapsed CPU time: 0.045993 s	Remaining CPU time: 1799.95 s
0.01/0.04	c core #43
0.01/0.04	c Core size: 3	Core Weight: 1	Total Weight: 43
0.01/0.04	c Elapsed CPU time: 0.046992 s	Remaining CPU time: 1799.95 s
0.01/0.04	c core #44
0.01/0.04	c Core size: 3	Core Weight: 1	Total Weight: 44
0.01/0.04	c Elapsed CPU time: 0.047992 s	Remaining CPU time: 1799.95 s
0.01/0.05	c core #45
0.01/0.05	c Core size: 3	Core Weight: 1	Total Weight: 45
0.01/0.05	c Elapsed CPU time: 0.048992 s	Remaining CPU time: 1799.95 s
0.01/0.05	c core #46
0.01/0.05	c Core size: 3	Core Weight: 1	Total Weight: 46
0.01/0.05	c Elapsed CPU time: 0.050992 s	Remaining CPU time: 1799.95 s
0.01/0.05	c core #47
0.01/0.05	c Core size: 3	Core Weight: 1	Total Weight: 47
0.01/0.05	c Elapsed CPU time: 0.051992 s	Remaining CPU time: 1799.95 s
0.01/0.05	c core #48
0.01/0.05	c Core size: 7	Core Weight: 1	Total Weight: 48
0.01/0.05	c Elapsed CPU time: 0.052991 s	Remaining CPU time: 1799.95 s
0.01/0.05	c core #49
0.01/0.05	c Core size: 12	Core Weight: 1	Total Weight: 49
0.01/0.05	c Elapsed CPU time: 0.053991 s	Remaining CPU time: 1799.95 s
0.01/0.05	c core #50
0.01/0.05	c Core size: 14	Core Weight: 1	Total Weight: 50
0.01/0.05	c Elapsed CPU time: 0.054991 s	Remaining CPU time: 1799.95 s
0.01/0.05	c core #51
0.01/0.05	c Core size: 16	Core Weight: 1	Total Weight: 51
0.01/0.05	c Elapsed CPU time: 0.056991 s	Remaining CPU time: 1799.94 s
0.01/0.05	c core #52
0.01/0.05	c Core size: 9	Core Weight: 1	Total Weight: 52
0.01/0.05	c Elapsed CPU time: 0.057991 s	Remaining CPU time: 1799.94 s
0.01/0.05	c core #53
0.01/0.05	c Core size: 17	Core Weight: 1	Total Weight: 53
0.01/0.05	c Elapsed CPU time: 0.058991 s	Remaining CPU time: 1799.94 s
0.01/0.06	c core #54
0.01/0.06	c Core size: 48	Core Weight: 1	Total Weight: 54
0.01/0.06	c Elapsed CPU time: 0.05999 s	Remaining CPU time: 1799.94 s
0.01/0.06	c core #55
0.01/0.06	c Core size: 8	Core Weight: 1	Total Weight: 55
0.01/0.06	c Elapsed CPU time: 0.06099 s	Remaining CPU time: 1799.94 s
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 |     372     1155     4627 |     5000        0    nan |  0.000 % |
0.01/0.06	c ===============================================================================
0.01/0.06	c core #56
0.01/0.06	c Core size: 24	Core Weight: 1	Total Weight: 56
0.01/0.06	c Elapsed CPU time: 0.06299 s	Remaining CPU time: 1799.94 s
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 |     382     1156     4648 |     5000        0    nan |  0.000 % |
0.01/0.06	c ===============================================================================
0.01/0.06	c core #57
0.01/0.06	c Core size: 30	Core Weight: 1	Total Weight: 57
0.01/0.06	c Elapsed CPU time: 0.06399 s	Remaining CPU time: 1799.94 s
0.01/0.06	c Learning 1 hard constraints
0.01/0.06	c core #58
0.01/0.06	c Core size: 24	Core Weight: 1	Total Weight: 58
0.01/0.06	c Elapsed CPU time: 0.065989 s	Remaining CPU time: 1799.93 s
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 |     398     1159     4719 |     5000        0    nan |  0.000 % |
0.01/0.06	c ===============================================================================
0.01/0.06	c core #59
0.01/0.06	c Core size: 45	Core Weight: 1	Total Weight: 59
0.01/0.06	c Elapsed CPU time: 0.066989 s	Remaining CPU time: 1799.93 s
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 |     418     1160     4755 |     5000        0    nan |  0.000 % |
0.01/0.06	c ===============================================================================
0.01/0.06	c core #60
0.01/0.06	c Core size: 105	Core Weight: 1	Total Weight: 60
0.01/0.06	c Elapsed CPU time: 0.068989 s	Remaining CPU time: 1799.93 s
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 |     453     1161     4827 |     5000        0    nan |  0.000 % |
0.01/0.07	c ===============================================================================
0.01/0.07	c core #61
0.01/0.07	c Core size: 88	Core Weight: 1	Total Weight: 61
0.01/0.07	c Elapsed CPU time: 0.070989 s	Remaining CPU time: 1799.93 s
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 |     482     1162     4886 |     5000        0    nan |  0.000 % |
0.01/0.07	c ===============================================================================
0.01/0.07	c core #62
0.01/0.07	c Core size: 41	Core Weight: 1	Total Weight: 62
0.01/0.07	c Elapsed CPU time: 0.074988 s	Remaining CPU time: 1799.93 s
0.01/0.07	c Learning 1 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 |     467     1164     4896 |     5000        0    nan |  0.000 % |
0.01/0.07	c ===============================================================================
0.01/0.07	c core #63
0.01/0.07	c Core size: 89	Core Weight: 1	Total Weight: 63
0.01/0.07	c Elapsed CPU time: 0.075988 s	Remaining CPU time: 1799.92 s
0.01/0.07	c Learning 1 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 |     482     1166     4932 |     5000        0    nan |  0.000 % |
0.01/0.07	c ===============================================================================
0.01/0.07	c core #64
0.01/0.07	c Core size: 91	Core Weight: 1	Total Weight: 64
0.01/0.07	c Elapsed CPU time: 0.077988 s	Remaining CPU time: 1799.92 s
0.01/0.08	c Learning 1 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 |     487     1168     4958 |     5000        0    nan |  0.000 % |
0.01/0.08	c ===============================================================================
0.01/0.08	c core #65
0.01/0.08	c Core size: 161	Core Weight: 1	Total Weight: 65
0.01/0.08	c Elapsed CPU time: 0.079987 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 |     518     1169     5014 |     5000        0    nan |  0.000 % |
0.01/0.08	c ===============================================================================
0.01/0.08	c core #66
0.01/0.08	c Core size: 227	Core Weight: 1	Total Weight: 66
0.01/0.08	c Elapsed CPU time: 0.082987 s	Remaining CPU time: 1799.92 s
0.01/0.08	c Learning 1 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 |     541     1171     5066 |     5000        0    nan |  0.000 % |
0.01/0.08	c ===============================================================================
0.01/0.08	c core #67
0.01/0.08	c Core size: 298	Core Weight: 1	Total Weight: 67
0.01/0.08	c Elapsed CPU time: 0.085986 s	Remaining CPU time: 1799.91 s
0.01/0.08	c Learning 5 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 |     585     1177     5224 |     5000        0    nan |  0.000 % |
0.01/0.09	c ===============================================================================
0.01/0.09	c core #68
0.01/0.09	c Core size: 317	Core Weight: 1	Total Weight: 68
0.01/0.09	c Elapsed CPU time: 0.088986 s	Remaining CPU time: 1799.91 s
0.01/0.09	c Learning 13 hard constraints
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 |     620     1191     5415 |     5000        0    nan |  0.000 % |
0.01/0.09	c ===============================================================================
0.01/0.09	c core #69
0.01/0.09	c Core size: 303	Core Weight: 1	Total Weight: 69
0.01/0.09	c Elapsed CPU time: 0.093985 s	Remaining CPU time: 1799.91 s
0.01/0.09	c Learning 16 hard constraints
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 |     646     1208     5642 |     5000        0    nan |  0.000 % |
0.01/0.10	c |       100 |     641     1208     5642 |     5500      100     12 |  6.436 % |
0.09/0.10	c ===============================================================================
0.09/0.10	c core #70
0.09/0.10	c Core size: 340	Core Weight: 1	Total Weight: 70
0.09/0.10	c Elapsed CPU time: 0.101984 s	Remaining CPU time: 1799.9 s
0.09/0.10	c Learning 23 hard constraints
0.09/0.10	c ============================[ Search Statistics ]==============================
0.09/0.10	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.09/0.10	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.09/0.10	c ===============================================================================
0.09/0.10	c |         0 |     702     1232     6032 |     5000        0    nan |  0.000 % |
0.09/0.10	c ===============================================================================
0.09/0.10	c core #71
0.09/0.10	c Core size: 278	Core Weight: 1	Total Weight: 71
0.09/0.10	c Elapsed CPU time: 0.105983 s	Remaining CPU time: 1799.89 s
0.09/0.10	c Learning 6 hard constraints
0.09/0.10	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 |     716     1239     6183 |     5000        0    nan |  0.000 % |
0.09/0.11	c |       100 |     716     1239     6183 |     5500      100     28 |  5.792 % |
0.09/0.12	c |       250 |     705     1239     6183 |     6050      246     26 | 10.531 % |
0.09/0.13	c ===============================================================================
0.09/0.13	c core #72
0.09/0.13	c Core size: 308	Core Weight: 1	Total Weight: 72
0.09/0.13	c Elapsed CPU time: 0.12998 s	Remaining CPU time: 1799.87 s
0.09/0.13	c ============================[ Search Statistics ]==============================
0.09/0.13	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.09/0.13	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.09/0.13	c ===============================================================================
0.09/0.13	c |         0 |     763     1240     6277 |     5000        0    nan |  0.000 % |
0.09/0.14	c |       102 |     763     1240     6277 |     5500      102     43 |  5.452 % |
0.09/0.14	c |       252 |     763     1240     6277 |     6050      252     44 |  5.455 % |
0.09/0.16	c |       480 |     733     1240     6277 |     6655      476     47 |  9.170 % |
0.09/0.18	c |       822 |     733     1240     6277 |     7320      818     50 |  9.170 % |
0.19/0.22	c |      1329 |     733     1240     6277 |     8052     1325     52 |  9.170 % |
0.19/0.28	c |      2091 |     664     1240     6277 |     8857     2086     49 | 20.075 % |
0.39/0.41	c |      3230 |     664     1240     6277 |     9743     3225     51 | 20.075 % |
0.69/0.72	c |      4940 |     638     1240     6277 |    10717     4883     57 | 21.314 % |
0.99/1.06	c ===============================================================================
0.99/1.10	c core #73
0.99/1.10	c Core size: 360	Core Weight: 1	Total Weight: 73
0.99/1.10	c Elapsed CPU time: 1.08583 s	Remaining CPU time: 1798.91 s
1.09/1.10	c Learning 1 hard constraints
1.09/1.10	c ============================[ Search Statistics ]==============================
1.09/1.10	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.09/1.10	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.09/1.10	c ===============================================================================
1.09/1.10	c |         0 |     824     1242     6409 |     5000        0    nan |  0.000 % |
1.09/1.11	c |       101 |     780     1242     6409 |     5500      101     33 | 10.369 % |
1.09/1.12	c |       251 |     777     1242     6409 |     6050      241     43 | 10.609 % |
1.09/1.13	c |       477 |     735     1242     6409 |     6655      466     34 | 18.779 % |
1.09/1.15	c |       814 |     705     1242     6409 |     7320      641     41 | 18.779 % |
1.09/1.19	c |      1322 |     705     1242     6409 |     8052     1149     44 | 18.780 % |
1.19/1.25	c |      2082 |     705     1242     6409 |     8857     1909     49 | 18.779 % |
1.29/1.39	c |      3221 |     705     1242     6409 |     9743     3048     50 | 18.780 % |
1.59/1.66	c |      4930 |     705     1242     6409 |    10717     4757     60 | 18.779 % |
2.29/2.32	c |      7494 |     705     1242     6409 |    11789     7321     64 | 18.780 % |
3.39/3.44	c |     11339 |     705     1242     6409 |    12968    11166     68 | 18.781 % |
5.28/5.38	c |     17105 |     705     1242     6409 |    14265    10351     73 | 18.779 % |
8.49/8.51	c |     25757 |     705     1242     6409 |    15692    11709     82 | 18.780 % |
11.38/11.46	c ===============================================================================
11.79/11.88	c core #74
11.79/11.88	c Core size: 325	Core Weight: 1	Total Weight: 74
11.79/11.88	c Elapsed CPU time: 11.7802 s	Remaining CPU time: 1788.22 s
11.89/11.92	c ============================[ Search Statistics ]==============================
11.89/11.92	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
11.89/11.92	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
11.89/11.92	c ===============================================================================
11.89/11.92	c |         0 |     883     1243     6527 |     5000        0    nan |  0.000 % |
11.89/11.93	c |       102 |     883     1243     6527 |     5500      102     24 |  4.760 % |
11.89/11.94	c |       252 |     877     1243     6527 |     6050      247     21 |  5.407 % |
11.89/11.95	c |       478 |     877     1243     6527 |     6655      473     40 |  5.394 % |
11.89/11.98	c |       815 |     845     1243     6527 |     7320      804     50 | 17.476 % |
11.99/12.03	c |      1322 |     765     1243     6527 |     8052     1216     62 | 17.476 % |
12.09/12.10	c |      2081 |     765     1243     6527 |     8857     1975     67 | 17.476 % |
12.19/12.26	c |      3220 |     765     1243     6527 |     9743     3114     69 | 17.476 % |
12.49/12.55	c |      4931 |     764     1243     6527 |    10717     4824     71 | 17.584 % |
13.38/13.40	c |      7493 |     764     1243     6527 |    11789     7386     73 | 17.584 % |
15.18/15.23	c |     11337 |     764     1243     6527 |    12968    11230     77 | 17.584 % |
17.37/17.49	c |     17104 |     764     1243     6527 |    14265    10341     75 | 17.584 % |
21.26/21.33	c |     25754 |     764     1243     6527 |    15692    11687     84 | 17.584 % |
27.76/27.86	c |     38728 |     764     1243     6527 |    17261     8716     88 | 17.584 % |
32.17/32.20	c ===============================================================================
32.76/32.88	c core #75
32.76/32.88	c Core size: 355	Core Weight: 1	Total Weight: 75
32.76/32.88	c Elapsed CPU time: 32.605 s	Remaining CPU time: 1767.39 s
32.86/32.93	c ============================[ Search Statistics ]==============================
32.86/32.93	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
32.86/32.93	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
32.86/32.93	c ===============================================================================
32.86/32.93	c |         0 |     947     1244     6655 |     5000        0    nan |  0.000 % |
32.86/32.95	c |       102 |     941     1244     6655 |     5500      102     33 |  5.046 % |
32.86/32.95	c |       252 |     941     1244     6655 |     6050      249     26 |  5.046 % |
32.86/32.97	c |       477 |     941     1244     6655 |     6655      474     31 |  5.046 % |
32.86/32.99	c |       815 |     941     1244     6655 |     7320      812     40 |  5.046 % |
32.96/33.02	c |      1324 |     941     1244     6655 |     8052     1321     41 |  5.046 % |
32.96/33.09	c |      2084 |     878     1244     6655 |     8857     2026     45 | 11.408 % |
33.16/33.24	c |      3224 |     876     1244     6655 |     9743     3165     50 | 11.605 % |
33.46/33.51	c |      4933 |     861     1244     6655 |    10717     4874     53 | 16.448 % |
34.06/34.12	c |      7501 |     828     1244     6655 |    11789     7273     58 | 16.448 % |
35.66/35.72	c |     11345 |     828     1244     6655 |    12968    11117     64 | 16.450 % |
37.46/37.58	c |     17113 |     827     1244     6655 |    14265    10288     71 | 16.550 % |
40.86/40.95	c |     25764 |     827     1244     6655 |    15692    11672     84 | 16.549 % |
44.97/45.05	c |     38739 |     827     1244     6655 |    17261     8626     65 | 16.552 % |
51.95/52.04	c |     58201 |     827     1244     6655 |    18987    10484     85 | 16.549 % |
65.95/66.07	c |     87393 |     827     1244     6655 |    20886    10657    105 | 16.549 % |
99.83/99.93	c |    131183 |     827     1244     6655 |    22974    12029    105 | 16.549 % |
141.72/141.84	c |    196869 |     827     1244     6655 |    25272    19439     97 | 16.549 % |
212.96/213.16	c |    295404 |     827     1244     6655 |    27799    13877    121 | 16.549 % |
352.60/352.85	c |    443197 |     827     1244     6655 |    30579    15628    107 | 16.549 % |
597.38/597.73	c |    664882 |     827     1244     6655 |    33637    18508    131 | 16.555 % |
718.33/718.75	c ===============================================================================
737.71/738.14	c core #76
737.71/738.14	c Core size: 411	Core Weight: 1	Total Weight: 76
737.71/738.14	c Elapsed CPU time: 734.83 s	Remaining CPU time: 1065.17 s
738.52/738.98	c Learning 4 hard constraints
738.52/738.98	c ============================[ Search Statistics ]==============================
738.52/738.98	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
738.52/738.98	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
738.52/738.98	c ===============================================================================
738.52/738.98	c |         0 |    1042     1249     6894 |     5000        0    nan |  0.000 % |
738.62/739.09	c |       100 |    1038     1249     6894 |     5500      100     36 |  4.420 % |
738.72/739.11	c |       251 |    1036     1249     6894 |     6050      249     26 |  4.792 % |
738.72/739.13	c |       476 |    1034     1249     6894 |     6655      467     32 |  4.789 % |
738.72/739.17	c |       814 |    1025     1249     6894 |     7320      804     33 |  5.709 % |
738.82/739.21	c |      1322 |    1009     1249     6894 |     8052     1151     55 |  9.024 % |
738.91/739.30	c |      2081 |     951     1249     6894 |     8857     1909     67 | 14.917 % |
739.11/739.50	c |      3221 |     950     1249     6894 |     9743     3049     81 | 14.917 % |
739.51/739.92	c |      4929 |     924     1249     6894 |    10717     4688     93 | 14.917 % |
740.01/740.45	c |      7494 |     924     1249     6894 |    11789     7253     86 | 14.917 % |
741.21/741.61	c |     11338 |     924     1249     6894 |    12968    11097     82 | 14.917 % |
743.11/743.50	c |     17104 |     924     1249     6894 |    14265    10161     65 | 14.917 % |
745.91/746.34	c |     25753 |     924     1249     6894 |    15692    11517     83 | 14.917 % |
751.50/751.92	c |     38727 |     924     1249     6894 |    17261     8523     73 | 14.917 % |
758.71/759.18	c |     58190 |     924     1249     6894 |    18987    10472     73 | 14.917 % |
771.60/772.10	c ===============================================================================
773.60/774.06	c core #77
773.60/774.06	c Core size: 359	Core Weight: 1	Total Weight: 77
773.60/774.06	c Elapsed CPU time: 770.551 s	Remaining CPU time: 1029.45 s
773.70/774.18	c Learning 3 hard constraints
773.70/774.18	c ============================[ Search Statistics ]==============================
773.70/774.18	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
773.70/774.18	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
773.70/774.19	c ===============================================================================
773.70/774.19	c |         0 |    1101     1253     7041 |     5000        0    nan |  0.000 % |
773.80/774.23	c |       100 |    1099     1253     7041 |     5500      100     35 |  4.018 % |
773.80/774.23	c |       251 |    1072     1253     7041 |     6050      250     34 |  6.463 % |
773.80/774.25	c |       479 |    1071     1253     7041 |     6655      477     38 |  6.463 % |
773.80/774.27	c |       819 |    1057     1253     7041 |     7320      813     35 |  7.695 % |
773.90/774.31	c |      1326 |    1057     1253     7041 |     8052     1313     44 |  7.686 % |
773.90/774.36	c |      2085 |    1057     1253     7041 |     8857     2072     44 |  7.695 % |
774.01/774.47	c |      3224 |    1057     1253     7041 |     9743     3211     59 |  7.686 % |
774.20/774.68	c |      4932 |    1057     1253     7041 |    10717     4919     63 |  7.686 % |
774.70/775.18	c |      7497 |    1055     1253     7041 |    11789     7483     72 |  7.860 % |
775.20/775.63	c |     11344 |    1055     1253     7041 |    12968    11330     62 |  7.860 % |
776.30/776.74	c |     17110 |    1055     1253     7041 |    14265    10284     71 |  7.860 % |
778.00/778.43	c |     25762 |    1055     1253     7041 |    15692    11583     81 |  7.860 % |
781.69/782.20	c |     38739 |    1055     1253     7041 |    17261     8407     92 |  7.860 % |
790.29/790.72	c |     58200 |    1055     1253     7041 |    18987    10210     87 |  7.860 % |
803.78/804.23	c |     87392 |    1055     1253     7041 |    20886    10295     83 |  7.860 % |
823.37/823.83	c |    131184 |    1055     1253     7041 |    22974    11482     79 |  7.863 % |
853.16/853.61	c |    196870 |    1055     1253     7041 |    25272    18176    111 |  7.862 % |
921.62/922.11	c |    295396 |    1037     1253     7041 |    27799    25239     77 |  9.963 % |
1031.37/1031.94	c |    443185 |    1031     1253     7041 |    30579    23301    115 |  9.957 % |
1235.17/1235.81	c |    664875 |     983     1253     7041 |    33637    23333    103 | 14.149 % |
1536.71/1537.57	c |    997402 |     983     1253     7041 |    37001    29331     79 | 14.149 % |

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-1876231-1245159137/watcher-1876231-1245159137 -o /tmp/evaluation-result-1876231-1245159137/solver-1876231-1245159137 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1876231-1245159137.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.00 1.00 1.00 3/64 2973
/proc/meminfo: memFree=1851680/2055920 swapFree=4181384/4192956
[pid=2973] ppid=2971 vsize=2564 CPUtime=0
/proc/2973/stat : 2973 (wbo) R 2971 2973 2562 0 -1 4194304 191 0 0 0 0 0 0 0 18 0 1 0 183506651 2625536 175 1992294400 134512640 135709839 4294956240 18446744073709551615 134969950 0 0 4096 3 0 0 0 17 0 0 0
/proc/2973/statm: 641 175 129 292 0 336 0

[startup+0.013559 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 2973
/proc/meminfo: memFree=1851680/2055920 swapFree=4181384/4192956
[pid=2973] ppid=2971 vsize=2524 CPUtime=0.01
/proc/2973/stat : 2973 (wbo) R 2971 2973 2562 0 -1 4194304 236 0 0 0 1 0 0 0 18 0 1 0 183506651 2584576 210 1992294400 134512640 135709839 4294956240 18446744073709551615 134605239 0 0 4096 3 0 0 0 17 0 0 0
/proc/2973/statm: 631 210 133 292 0 336 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2524

[startup+0.101572 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 2973
/proc/meminfo: memFree=1851680/2055920 swapFree=4181384/4192956
[pid=2973] ppid=2971 vsize=2928 CPUtime=0.09
/proc/2973/stat : 2973 (wbo) R 2971 2973 2562 0 -1 4194304 319 0 0 0 9 0 0 0 18 0 1 0 183506651 2998272 293 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/2973/statm: 732 293 136 292 0 437 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2928

[startup+0.3016 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 2973
/proc/meminfo: memFree=1851680/2055920 swapFree=4181384/4192956
[pid=2973] ppid=2971 vsize=3724 CPUtime=0.29
/proc/2973/stat : 2973 (wbo) R 2971 2973 2562 0 -1 4194304 533 0 0 0 29 0 0 0 19 0 1 0 183506651 3813376 507 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/2973/statm: 931 507 136 292 0 636 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3724

[startup+0.701656 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 2973
/proc/meminfo: memFree=1851680/2055920 swapFree=4181384/4192956
[pid=2973] ppid=2971 vsize=5044 CPUtime=0.69
/proc/2973/stat : 2973 (wbo) R 2971 2973 2562 0 -1 4194304 838 0 0 0 68 1 0 0 23 0 1 0 183506651 5165056 812 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/2973/statm: 1261 812 136 292 0 966 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5044

[startup+1.50177 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2974
/proc/meminfo: memFree=1848280/2055920 swapFree=4181384/4192956
[pid=2973] ppid=2971 vsize=6108 CPUtime=1.49
/proc/2973/stat : 2973 (wbo) R 2971 2973 2562 0 -1 4194304 1131 0 0 0 147 2 0 0 25 0 1 0 183506651 6254592 1105 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/2973/statm: 1527 1105 136 292 0 1232 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6108

[startup+3.102 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2974
/proc/meminfo: memFree=1846424/2055920 swapFree=4181384/4192956
[pid=2973] ppid=2971 vsize=9304 CPUtime=3.09
/proc/2973/stat : 2973 (wbo) R 2971 2973 2562 0 -1 4194304 1901 0 0 0 305 4 0 0 25 0 1 0 183506651 9527296 1875 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/2973/statm: 2326 1875 136 292 0 2031 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 9304

[startup+6.30145 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2974
/proc/meminfo: memFree=1840928/2055920 swapFree=4181384/4192956
[pid=2973] ppid=2971 vsize=14000 CPUtime=6.29
/proc/2973/stat : 2973 (wbo) R 2971 2973 2562 0 -1 4194304 3092 0 0 0 623 6 0 0 25 0 1 0 183506651 14336000 3066 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/2973/statm: 3500 3066 136 292 0 3205 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14000

[startup+12.7014 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2974
/proc/meminfo: memFree=1830368/2055920 swapFree=4181384/4192956
[pid=2973] ppid=2971 vsize=23424 CPUtime=12.69
/proc/2973/stat : 2973 (wbo) R 2971 2973 2562 0 -1 4194304 5442 0 0 0 1258 11 0 0 25 0 1 0 183506651 23986176 5416 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/2973/statm: 5856 5416 136 292 0 5561 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 23424

[startup+25.5012 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2974
/proc/meminfo: memFree=1820384/2055920 swapFree=4181384/4192956
[pid=2973] ppid=2971 vsize=33780 CPUtime=25.47
/proc/2973/stat : 2973 (wbo) R 2971 2973 2562 0 -1 4194304 8032 0 0 0 2528 19 0 0 25 0 1 0 183506651 34590720 8006 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/2973/statm: 8445 8006 136 292 0 8150 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 33780

[startup+51.1018 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2974
/proc/meminfo: memFree=1795744/2055920 swapFree=4181384/4192956
[pid=2973] ppid=2971 vsize=58760 CPUtime=51.06
/proc/2973/stat : 2973 (wbo) R 2971 2973 2562 0 -1 4194304 14275 0 0 0 5066 40 0 0 25 0 1 0 183506651 60170240 14249 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/2973/statm: 14690 14249 136 292 0 14395 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 58760

[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2974
/proc/meminfo: memFree=1744992/2055920 swapFree=4181384/4192956
[pid=2973] ppid=2971 vsize=108888 CPUtime=102.24
/proc/2973/stat : 2973 (wbo) R 2971 2973 2562 0 -1 4194304 26766 0 0 0 10159 65 0 0 25 0 1 0 183506651 111501312 26740 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/2973/statm: 27222 26740 136 292 0 26927 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 108888

[startup+162.302 s]
/proc/loadavg: 1.13 1.04 1.01 2/65 2974
/proc/meminfo: memFree=1693792/2055920 swapFree=4181384/4192956
[pid=2973] ppid=2971 vsize=160548 CPUtime=162.2
/proc/2973/stat : 2973 (wbo) R 2971 2973 2562 0 -1 4194304 39675 0 0 0 16131 89 0 0 25 0 1 0 183506651 164401152 39649 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/2973/statm: 40137 39649 136 292 0 39842 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 160548

[startup+222.301 s]
/proc/loadavg: 1.10 1.05 1.01 2/65 2974
/proc/meminfo: memFree=1642464/2055920 swapFree=4181384/4192956
[pid=2973] ppid=2971 vsize=211324 CPUtime=222.16
/proc/2973/stat : 2973 (wbo) R 2971 2973 2562 0 -1 4194304 52346 0 0 0 22100 116 0 0 25 0 1 0 183506651 216395776 52320 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/2973/statm: 52831 52320 136 292 0 52536 0
Current children cumulated CPU time (s) 222.16
Current children cumulated vsize (KiB) 211324

[startup+282.302 s]
/proc/loadavg: 1.08 1.05 1.01 2/65 2974
/proc/meminfo: memFree=1599072/2055920 swapFree=4181384/4192956
[pid=2973] ppid=2971 vsize=254732 CPUtime=282.14
/proc/2973/stat : 2973 (wbo) R 2971 2973 2562 0 -1 4194304 63176 0 0 0 28076 138 0 0 25 0 1 0 183506651 260845568 63150 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/2973/statm: 63683 63150 136 292 0 63388 0
Current children cumulated CPU time (s) 282.14
Current children cumulated vsize (KiB) 254732

[startup+342.301 s]
/proc/loadavg: 1.03 1.04 1.00 2/65 2974
/proc/meminfo: memFree=1552992/2055920 swapFree=4181384/4192956
[pid=2973] ppid=2971 vsize=300704 CPUtime=342.1
/proc/2973/stat : 2973 (wbo) R 2971 2973 2562 0 -1 4194304 74640 0 0 0 34051 159 0 0 25 0 1 0 183506651 307920896 74614 1992294400 134512640 135709839 4294956240 18446744073709551615 134568679 0 0 4096 3 0 0 0 17 0 0 0
/proc/2973/statm: 75176 74614 136 292 0 74881 0
Current children cumulated CPU time (s) 342.1
Current children cumulated vsize (KiB) 300704

[startup+402.302 s]
/proc/loadavg: 1.01 1.03 1.00 2/65 2974
/proc/meminfo: memFree=1510368/2055920 swapFree=4181384/4192956
[pid=2973] ppid=2971 vsize=343520 CPUtime=402.07
/proc/2973/stat : 2973 (wbo) R 2971 2973 2562 0 -1 4194304 85337 0 0 0 40028 179 0 0 25 0 1 0 183506651 351764480 85311 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/2973/statm: 85880 85311 136 292 0 85585 0
Current children cumulated CPU time (s) 402.07
Current children cumulated vsize (KiB) 343520

[startup+462.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 2974
/proc/meminfo: memFree=1469856/2055920 swapFree=4181384/4192956
[pid=2973] ppid=2971 vsize=383908 CPUtime=462.04
/proc/2973/stat : 2973 (wbo) R 2971 2973 2562 0 -1 4194304 95414 0 0 0 46004 200 0 0 25 0 1 0 183506651 393121792 95388 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/2973/statm: 95977 95388 136 292 0 95682 0
Current children cumulated CPU time (s) 462.04
Current children cumulated vsize (KiB) 383908

[startup+522.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 2974
/proc/meminfo: memFree=1422880/2055920 swapFree=4181384/4192956
[pid=2973] ppid=2971 vsize=432264 CPUtime=522.01
/proc/2973/stat : 2973 (wbo) R 2971 2973 2562 0 -1 4194304 107481 0 0 0 51980 221 0 0 25 0 1 0 183506651 442638336 107455 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/2973/statm: 108066 107455 136 292 0 107771 0
Current children cumulated CPU time (s) 522.01
Current children cumulated vsize (KiB) 432264

[startup+582.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 2974
/proc/meminfo: memFree=1378848/2055920 swapFree=4181384/4192956
[pid=2973] ppid=2971 vsize=475072 CPUtime=581.98
/proc/2973/stat : 2973 (wbo) R 2971 2973 2562 0 -1 4194304 118171 0 0 0 57958 240 0 0 25 0 1 0 183506651 486473728 118145 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/2973/statm: 118768 118145 136 292 0 118473 0
Current children cumulated CPU time (s) 581.98
Current children cumulated vsize (KiB) 475072

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2974
/proc/meminfo: memFree=1346336/2055920 swapFree=4181384/4192956
[pid=2973] ppid=2971 vsize=507292 CPUtime=641.96
/proc/2973/stat : 2973 (wbo) R 2971 2973 2562 0 -1 4194304 126176 0 0 0 63940 256 0 0 25 0 1 0 183506651 519467008 126150 1992294400 134512640 135709839 4294956240 18446744073709551615 134573969 0 0 4096 3 0 0 0 17 0 0 0
/proc/2973/statm: 126823 126150 136 292 0 126528 0
Current children cumulated CPU time (s) 641.96
Current children cumulated vsize (KiB) 507292

[startup+702.301 s]

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

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2974
/proc/meminfo: memFree=1240416/2055920 swapFree=4181384/4192956
[pid=2973] ppid=2971 vsize=612004 CPUtime=881.84
/proc/2973/stat : 2973 (wbo) R 2971 2973 2562 0 -1 4194304 152618 0 0 0 87817 367 0 0 25 0 1 0 183506651 626692096 152558 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/2973/statm: 153001 152558 136 292 0 152706 0
Current children cumulated CPU time (s) 881.84
Current children cumulated vsize (KiB) 612004

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2974
/proc/meminfo: memFree=1208160/2055920 swapFree=4181384/4192956
[pid=2973] ppid=2971 vsize=644748 CPUtime=941.82
/proc/2973/stat : 2973 (wbo) R 2971 2973 2562 0 -1 4194304 160728 0 0 0 93792 390 0 0 25 0 1 0 183506651 660221952 160668 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/2973/statm: 161187 160668 136 292 0 160892 0
Current children cumulated CPU time (s) 941.82
Current children cumulated vsize (KiB) 644748

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2974
/proc/meminfo: memFree=1171104/2055920 swapFree=4181384/4192956
[pid=2973] ppid=2971 vsize=681676 CPUtime=1001.79
/proc/2973/stat : 2973 (wbo) R 2971 2973 2562 0 -1 4194304 169901 0 0 0 99766 413 0 0 25 0 1 0 183506651 698036224 169841 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 0 0 0
/proc/2973/statm: 170419 169841 136 292 0 170124 0
Current children cumulated CPU time (s) 1001.79
Current children cumulated vsize (KiB) 681676

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2974
/proc/meminfo: memFree=1128352/2055920 swapFree=4181384/4192956
[pid=2973] ppid=2971 vsize=724908 CPUtime=1061.76
/proc/2973/stat : 2973 (wbo) R 2971 2973 2562 0 -1 4194304 180696 0 0 0 105736 440 0 0 25 0 1 0 183506651 742305792 180636 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/2973/statm: 181227 180636 136 292 0 180932 0
Current children cumulated CPU time (s) 1061.76
Current children cumulated vsize (KiB) 724908

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2974
/proc/meminfo: memFree=1090016/2055920 swapFree=4181384/4192956
[pid=2973] ppid=2971 vsize=762992 CPUtime=1121.72
/proc/2973/stat : 2973 (wbo) R 2971 2973 2562 0 -1 4194304 190179 0 0 0 111716 456 0 0 25 0 1 0 183506651 781303808 190119 1992294400 134512640 135709839 4294956240 18446744073709551615 134573944 0 0 4096 3 0 0 0 17 0 0 0
/proc/2973/statm: 190748 190119 136 292 0 190453 0
Current children cumulated CPU time (s) 1121.72
Current children cumulated vsize (KiB) 762992

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2974
/proc/meminfo: memFree=1051680/2055920 swapFree=4181384/4192956
[pid=2973] ppid=2971 vsize=801760 CPUtime=1181.7
/proc/2973/stat : 2973 (wbo) R 2971 2973 2562 0 -1 4194304 199840 0 0 0 117695 475 0 0 25 0 1 0 183506651 821002240 199780 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/2973/statm: 200440 199780 136 292 0 200145 0
Current children cumulated CPU time (s) 1181.7
Current children cumulated vsize (KiB) 801760

[startup+1242.3 s]
/proc/loadavg: 1.03 1.01 1.00 2/65 2974
/proc/meminfo: memFree=1009760/2055920 swapFree=4181384/4192956
[pid=2973] ppid=2971 vsize=843176 CPUtime=1241.67
/proc/2973/stat : 2973 (wbo) R 2971 2973 2562 0 -1 4194304 210176 0 0 0 123671 496 0 0 25 0 1 0 183506651 863412224 210116 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/2973/statm: 210794 210116 136 292 0 210499 0
Current children cumulated CPU time (s) 1241.67
Current children cumulated vsize (KiB) 843176

[startup+1302.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/65 2974
/proc/meminfo: memFree=961248/2055920 swapFree=4181384/4192956
[pid=2973] ppid=2971 vsize=891116 CPUtime=1301.65
/proc/2973/stat : 2973 (wbo) R 2971 2973 2562 0 -1 4194304 222190 0 0 0 129646 519 0 0 25 0 1 0 183506651 912502784 222130 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/2973/statm: 222779 222130 136 292 0 222484 0
Current children cumulated CPU time (s) 1301.65
Current children cumulated vsize (KiB) 891116

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2976
/proc/meminfo: memFree=923360/2055920 swapFree=4181384/4192956
[pid=2973] ppid=2971 vsize=929388 CPUtime=1361.6
/proc/2973/stat : 2973 (wbo) R 2971 2973 2562 0 -1 4194304 231705 0 0 0 135620 540 0 0 25 0 1 0 183506651 951693312 231645 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/2973/statm: 232347 231645 136 292 0 232052 0
Current children cumulated CPU time (s) 1361.6
Current children cumulated vsize (KiB) 929388

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2976
/proc/meminfo: memFree=875232/2055920 swapFree=4181384/4192956
[pid=2973] ppid=2971 vsize=977352 CPUtime=1421.57
/proc/2973/stat : 2973 (wbo) R 2971 2973 2562 0 -1 4194304 243666 0 0 0 141592 565 0 0 25 0 1 0 183506651 1000808448 243606 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/2973/statm: 244338 243606 136 292 0 244043 0
Current children cumulated CPU time (s) 1421.57
Current children cumulated vsize (KiB) 977352

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2976
/proc/meminfo: memFree=838496/2055920 swapFree=4181384/4192956
[pid=2973] ppid=2971 vsize=1014480 CPUtime=1481.54
/proc/2973/stat : 2973 (wbo) R 2971 2973 2562 0 -1 4194304 252934 0 0 0 147569 585 0 0 25 0 1 0 183506651 1038827520 252874 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/2973/statm: 253620 252874 136 292 0 253325 0
Current children cumulated CPU time (s) 1481.54
Current children cumulated vsize (KiB) 1014480

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2976
/proc/meminfo: memFree=794528/2055920 swapFree=4181384/4192956
[pid=2973] ppid=2971 vsize=1058264 CPUtime=1541.51
/proc/2973/stat : 2973 (wbo) R 2971 2973 2562 0 -1 4194304 263851 0 0 0 153543 608 0 0 25 0 1 0 183506651 1083662336 263791 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/2973/statm: 264566 263791 136 292 0 264271 0
Current children cumulated CPU time (s) 1541.51
Current children cumulated vsize (KiB) 1058264

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2976
/proc/meminfo: memFree=738336/2055920 swapFree=4181384/4192956
[pid=2973] ppid=2971 vsize=1114652 CPUtime=1601.47
/proc/2973/stat : 2973 (wbo) R 2971 2973 2562 0 -1 4194304 277935 0 0 0 159512 635 0 0 25 0 1 0 183506651 1141403648 277875 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/2973/statm: 278663 277875 136 292 0 278368 0
Current children cumulated CPU time (s) 1601.47
Current children cumulated vsize (KiB) 1114652

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2976
/proc/meminfo: memFree=689568/2055920 swapFree=4181384/4192956
[pid=2973] ppid=2971 vsize=1162864 CPUtime=1661.44
/proc/2973/stat : 2973 (wbo) R 2971 2973 2562 0 -1 4194304 289985 0 0 0 165482 662 0 0 25 0 1 0 183506651 1190772736 289925 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/2973/statm: 290716 289925 136 292 0 290421 0
Current children cumulated CPU time (s) 1661.44
Current children cumulated vsize (KiB) 1162864

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2976
/proc/meminfo: memFree=639648/2055920 swapFree=4181384/4192956
[pid=2973] ppid=2971 vsize=1213108 CPUtime=1721.42
/proc/2973/stat : 2973 (wbo) R 2971 2973 2562 0 -1 4194304 302539 0 0 0 171456 686 0 0 25 0 1 0 183506651 1242222592 302479 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/2973/statm: 303277 302479 136 292 0 302982 0
Current children cumulated CPU time (s) 1721.42
Current children cumulated vsize (KiB) 1213108

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2982
/proc/meminfo: memFree=590624/2055920 swapFree=4181384/4192956
[pid=2973] ppid=2971 vsize=1261732 CPUtime=1781.38
/proc/2973/stat : 2973 (wbo) R 2971 2973 2562 0 -1 4194304 314658 0 0 0 177429 709 0 0 25 0 1 0 183506651 1292013568 314598 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/2973/statm: 315433 314598 136 292 0 315138 0
Current children cumulated CPU time (s) 1781.38
Current children cumulated vsize (KiB) 1261732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2982
/proc/meminfo: memFree=574048/2055920 swapFree=4181384/4192956
[pid=2973] ppid=2971 vsize=1278004 CPUtime=1800.08
/proc/2973/stat : 2973 (wbo) R 2971 2973 2562 0 -1 4194304 318722 0 0 0 179292 716 0 0 25 0 1 0 183506651 1308676096 318662 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 0 0 0
/proc/2973/statm: 319501 318662 136 292 0 319206 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1278004

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

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

[startup+1801.11 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2982
/proc/meminfo: memFree=574048/2055920 swapFree=4181384/4192956
[pid=2973] ppid=2971 vsize=0 CPUtime=1800.18
/proc/2973/stat : 2973 (wbo) R 2971 2973 2562 0 -1 4195332 318722 0 0 0 179292 726 0 0 25 0 1 0 183506651 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 0 0 0
/proc/2973/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.2
CPU time (s): 1800.28
CPU user time (s): 1792.93
CPU system time (s): 7.35088
CPU usage (%): 99.9489
Max. virtual memory (cumulated for all children) (KiB): 1278004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.93
system time used= 7.35088
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 318722
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= 7140

runsolver used 1.61875 second user time and 4.95325 second system time

The end

Launcher Data 

Begin job on node49 at 2009-06-16 15:32:17
IDJOB=1876231
IDBENCH=2177
IDSOLVER=698
FILE ID=node49/1876231-1245159137
PBS_JOBID= 9363803
Free space on /tmp= 66028 MiB

SOLVER NAME= wbo 1.0
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-jnh213.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-1876231-1245159137/watcher-1876231-1245159137 -o /tmp/evaluation-result-1876231-1245159137/solver-1876231-1245159137 -C 1800 -W 2000 -M 1800  wbo -file-format=opb -time-limit=1800 HOME/instance-1876231-1245159137.opb

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

MD5SUM BENCH= 0146e39fcd18fa569f99190bc3dd90ba
RANDOM SEED=2072882242

node49.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.232
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.232
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:       1852224 kB
Buffers:         42084 kB
Cached:          92736 kB
SwapCached:       4580 kB
Active:          43332 kB
Inactive:        99640 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1852224 kB
SwapTotal:     4192956 kB
SwapFree:      4181384 kB
Dirty:            2672 kB
Writeback:           0 kB
Mapped:          13852 kB
Slab:            46556 kB
Committed_AS:   167300 kB
PageTables:       1392 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1876231-1245159137.opb

Free space on /tmp at the end= 66024 MiB
End job on node49 at 2009-06-16 16:02:20