Trace number 1876229

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.24 1800.77

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-jnh220.opb
MD5SUMaa59811357c2c173a2986582be1a1c3c
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark94
Best CPU time to get the best result obtained on this benchmark0.039993
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 94
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-1876229-1245158818.opb.
0.00/0.00	c Instance file HOME/instance-1876229-1245158818.opb
0.00/0.00	c File size is 38878 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: 6	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: 5	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: 5	Core Weight: 1	Total Weight: 3
0.00/0.00	c Elapsed CPU time: 0.006998 s	Remaining CPU time: 1799.99 s
0.00/0.01	c core #4
0.00/0.01	c Core size: 5	Core Weight: 1	Total Weight: 4
0.00/0.01	c Elapsed CPU time: 0.007998 s	Remaining CPU time: 1799.99 s
0.00/0.01	c core #5
0.00/0.01	c Core size: 7	Core Weight: 1	Total Weight: 5
0.00/0.01	c Elapsed CPU time: 0.007998 s	Remaining CPU time: 1799.99 s
0.00/0.01	c core #6
0.00/0.01	c Core size: 3	Core Weight: 1	Total Weight: 6
0.00/0.01	c Elapsed CPU time: 0.008998 s	Remaining CPU time: 1799.99 s
0.00/0.01	c core #7
0.00/0.01	c Core size: 4	Core Weight: 1	Total Weight: 7
0.00/0.01	c Elapsed CPU time: 0.009998 s	Remaining CPU time: 1799.99 s
0.00/0.01	c core #8
0.00/0.01	c Core size: 3	Core Weight: 1	Total Weight: 8
0.00/0.01	c Elapsed CPU time: 0.010998 s	Remaining CPU time: 1799.99 s
0.00/0.01	c core #9
0.00/0.01	c Core size: 6	Core Weight: 1	Total Weight: 9
0.00/0.01	c Elapsed CPU time: 0.011998 s	Remaining CPU time: 1799.99 s
0.00/0.01	c core #10
0.00/0.01	c Core size: 6	Core Weight: 1	Total Weight: 10
0.00/0.01	c Elapsed CPU time: 0.012998 s	Remaining CPU time: 1799.99 s
0.00/0.01	c core #11
0.00/0.01	c Core size: 5	Core Weight: 1	Total Weight: 11
0.00/0.01	c Elapsed CPU time: 0.013997 s	Remaining CPU time: 1799.99 s
0.00/0.01	c core #12
0.00/0.01	c Core size: 4	Core Weight: 1	Total Weight: 12
0.00/0.01	c Elapsed CPU time: 0.014997 s	Remaining CPU time: 1799.99 s
0.00/0.01	c core #13
0.00/0.01	c Core size: 5	Core Weight: 1	Total Weight: 13
0.00/0.01	c Elapsed CPU time: 0.015997 s	Remaining CPU time: 1799.98 s
0.00/0.01	c core #14
0.00/0.01	c Core size: 4	Core Weight: 1	Total Weight: 14
0.00/0.01	c Elapsed CPU time: 0.016997 s	Remaining CPU time: 1799.98 s
0.00/0.02	c core #15
0.00/0.02	c Core size: 9	Core Weight: 1	Total Weight: 15
0.00/0.02	c Elapsed CPU time: 0.017997 s	Remaining CPU time: 1799.98 s
0.00/0.02	c core #16
0.00/0.02	c Core size: 4	Core Weight: 1	Total Weight: 16
0.00/0.02	c Elapsed CPU time: 0.018997 s	Remaining CPU time: 1799.98 s
0.00/0.02	c core #17
0.00/0.02	c Core size: 5	Core Weight: 1	Total Weight: 17
0.00/0.02	c Elapsed CPU time: 0.019996 s	Remaining CPU time: 1799.98 s
0.00/0.02	c core #18
0.00/0.02	c Core size: 7	Core Weight: 1	Total Weight: 18
0.00/0.02	c Elapsed CPU time: 0.020996 s	Remaining CPU time: 1799.98 s
0.00/0.02	c core #19
0.00/0.02	c Core size: 5	Core Weight: 1	Total Weight: 19
0.00/0.02	c Elapsed CPU time: 0.021996 s	Remaining CPU time: 1799.98 s
0.00/0.02	c core #20
0.00/0.02	c Core size: 7	Core Weight: 1	Total Weight: 20
0.00/0.02	c Elapsed CPU time: 0.022996 s	Remaining CPU time: 1799.98 s
0.00/0.02	c core #21
0.00/0.02	c Core size: 4	Core Weight: 1	Total Weight: 21
0.00/0.02	c Elapsed CPU time: 0.023996 s	Remaining CPU time: 1799.98 s
0.00/0.02	c core #22
0.00/0.02	c Core size: 5	Core Weight: 1	Total Weight: 22
0.00/0.02	c Elapsed CPU time: 0.024996 s	Remaining CPU time: 1799.98 s
0.00/0.02	c core #23
0.00/0.02	c Core size: 4	Core Weight: 1	Total Weight: 23
0.00/0.02	c Elapsed CPU time: 0.025996 s	Remaining CPU time: 1799.97 s
0.00/0.02	c core #24
0.00/0.02	c Core size: 3	Core Weight: 1	Total Weight: 24
0.00/0.02	c Elapsed CPU time: 0.026995 s	Remaining CPU time: 1799.97 s
0.00/0.03	c core #25
0.00/0.03	c Core size: 4	Core Weight: 1	Total Weight: 25
0.00/0.03	c Elapsed CPU time: 0.027995 s	Remaining CPU time: 1799.97 s
0.00/0.03	c core #26
0.00/0.03	c Core size: 4	Core Weight: 1	Total Weight: 26
0.00/0.03	c Elapsed CPU time: 0.028995 s	Remaining CPU time: 1799.97 s
0.00/0.03	c core #27
0.00/0.03	c Core size: 4	Core Weight: 1	Total Weight: 27
0.00/0.03	c Elapsed CPU time: 0.030995 s	Remaining CPU time: 1799.97 s
0.00/0.03	c core #28
0.00/0.03	c Core size: 3	Core Weight: 1	Total Weight: 28
0.00/0.03	c Elapsed CPU time: 0.031995 s	Remaining CPU time: 1799.97 s
0.00/0.03	c core #29
0.00/0.03	c Core size: 3	Core Weight: 1	Total Weight: 29
0.00/0.03	c Elapsed CPU time: 0.032994 s	Remaining CPU time: 1799.97 s
0.00/0.03	c core #30
0.00/0.03	c Core size: 4	Core Weight: 1	Total Weight: 30
0.00/0.03	c Elapsed CPU time: 0.033994 s	Remaining CPU time: 1799.97 s
0.00/0.03	c core #31
0.00/0.03	c Core size: 4	Core Weight: 1	Total Weight: 31
0.00/0.03	c Elapsed CPU time: 0.034994 s	Remaining CPU time: 1799.97 s
0.00/0.03	c core #32
0.00/0.03	c Core size: 4	Core Weight: 1	Total Weight: 32
0.00/0.03	c Elapsed CPU time: 0.035994 s	Remaining CPU time: 1799.96 s
0.00/0.03	c core #33
0.00/0.03	c Core size: 3	Core Weight: 1	Total Weight: 33
0.00/0.03	c Elapsed CPU time: 0.036994 s	Remaining CPU time: 1799.96 s
0.00/0.04	c core #34
0.00/0.04	c Core size: 4	Core Weight: 1	Total Weight: 34
0.00/0.04	c Elapsed CPU time: 0.037994 s	Remaining CPU time: 1799.96 s
0.00/0.04	c core #35
0.00/0.04	c Core size: 4	Core Weight: 1	Total Weight: 35
0.00/0.04	c Elapsed CPU time: 0.038994 s	Remaining CPU time: 1799.96 s
0.00/0.04	c core #36
0.00/0.04	c Core size: 3	Core Weight: 1	Total Weight: 36
0.00/0.04	c Elapsed CPU time: 0.040993 s	Remaining CPU time: 1799.96 s
0.00/0.04	c core #37
0.00/0.04	c Core size: 4	Core Weight: 1	Total Weight: 37
0.00/0.04	c Elapsed CPU time: 0.041993 s	Remaining CPU time: 1799.96 s
0.00/0.04	c core #38
0.00/0.04	c Core size: 5	Core Weight: 1	Total Weight: 38
0.00/0.04	c Elapsed CPU time: 0.042993 s	Remaining CPU time: 1799.96 s
0.00/0.04	c core #39
0.00/0.04	c Core size: 8	Core Weight: 1	Total Weight: 39
0.00/0.04	c Elapsed CPU time: 0.043993 s	Remaining CPU time: 1799.96 s
0.00/0.04	c core #40
0.00/0.04	c Core size: 7	Core Weight: 1	Total Weight: 40
0.00/0.04	c Elapsed CPU time: 0.044993 s	Remaining CPU time: 1799.96 s
0.00/0.04	c core #41
0.00/0.04	c Core size: 7	Core Weight: 1	Total Weight: 41
0.00/0.04	c Elapsed CPU time: 0.046992 s	Remaining CPU time: 1799.95 s
0.00/0.05	c core #42
0.00/0.05	c Core size: 12	Core Weight: 1	Total Weight: 42
0.00/0.05	c Elapsed CPU time: 0.047992 s	Remaining CPU time: 1799.95 s
0.00/0.05	c core #43
0.00/0.05	c Core size: 50	Core Weight: 1	Total Weight: 43
0.00/0.05	c Elapsed CPU time: 0.048992 s	Remaining CPU time: 1799.95 s
0.00/0.05	c core #44
0.00/0.05	c Core size: 6	Core Weight: 1	Total Weight: 44
0.00/0.05	c Elapsed CPU time: 0.050992 s	Remaining CPU time: 1799.95 s
0.00/0.05	c core #45
0.00/0.05	c Core size: 36	Core Weight: 1	Total Weight: 45
0.00/0.05	c Elapsed CPU time: 0.051992 s	Remaining CPU time: 1799.95 s
0.00/0.05	c core #46
0.00/0.05	c Core size: 28	Core Weight: 1	Total Weight: 46
0.00/0.05	c Elapsed CPU time: 0.052991 s	Remaining CPU time: 1799.95 s
0.00/0.05	c ============================[ Search Statistics ]==============================
0.00/0.05	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.05	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.05	c ===============================================================================
0.00/0.05	c |         0 |     372     1146     4655 |     5000        0    nan |  0.000 % |
0.00/0.05	c ===============================================================================
0.00/0.05	c core #47
0.00/0.05	c Core size: 15	Core Weight: 1	Total Weight: 47
0.00/0.05	c Elapsed CPU time: 0.054991 s	Remaining CPU time: 1799.95 s
0.00/0.05	c ============================[ Search Statistics ]==============================
0.00/0.05	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.05	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.05	c ===============================================================================
0.00/0.05	c |         0 |     379     1147     4669 |     5000        0    nan |  0.000 % |
0.00/0.05	c ===============================================================================
0.00/0.05	c core #48
0.00/0.05	c Core size: 23	Core Weight: 1	Total Weight: 48
0.00/0.05	c Elapsed CPU time: 0.055991 s	Remaining CPU time: 1799.94 s
0.00/0.06	c ============================[ Search Statistics ]==============================
0.00/0.06	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.06	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.06	c ===============================================================================
0.00/0.06	c |         0 |     392     1148     4696 |     5000        0    nan |  0.000 % |
0.00/0.06	c ===============================================================================
0.00/0.06	c core #49
0.00/0.06	c Core size: 38	Core Weight: 1	Total Weight: 49
0.00/0.06	c Elapsed CPU time: 0.057991 s	Remaining CPU time: 1799.94 s
0.00/0.06	c ============================[ Search Statistics ]==============================
0.00/0.06	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.06	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.06	c ===============================================================================
0.00/0.06	c |         0 |     412     1149     4737 |     5000        0    nan |  0.000 % |
0.00/0.06	c ===============================================================================
0.00/0.06	c core #50
0.00/0.06	c Core size: 54	Core Weight: 1	Total Weight: 50
0.00/0.06	c Elapsed CPU time: 0.05999 s	Remaining CPU time: 1799.94 s
0.00/0.06	c ============================[ Search Statistics ]==============================
0.00/0.06	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.06	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.06	c ===============================================================================
0.00/0.06	c |         0 |     436     1150     4786 |     5000        0    nan |  0.000 % |
0.06/0.06	c ===============================================================================
0.06/0.06	c core #51
0.06/0.06	c Core size: 27	Core Weight: 1	Total Weight: 51
0.06/0.06	c Elapsed CPU time: 0.06199 s	Remaining CPU time: 1799.94 s
0.06/0.06	c ============================[ Search Statistics ]==============================
0.06/0.06	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.06/0.06	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.06/0.06	c ===============================================================================
0.06/0.06	c |         0 |     455     1151     4827 |     5000        0    nan |  0.000 % |
0.06/0.06	c ===============================================================================
0.06/0.06	c core #52
0.06/0.06	c Core size: 50	Core Weight: 1	Total Weight: 52
0.06/0.06	c Elapsed CPU time: 0.06399 s	Remaining CPU time: 1799.94 s
0.06/0.06	c ============================[ Search Statistics ]==============================
0.06/0.06	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.06/0.06	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.06/0.06	c ===============================================================================
0.06/0.06	c |         0 |     475     1152     4869 |     5000        0    nan |  0.000 % |
0.06/0.06	c ===============================================================================
0.06/0.06	c core #53
0.06/0.06	c Core size: 168	Core Weight: 1	Total Weight: 53
0.06/0.06	c Elapsed CPU time: 0.066989 s	Remaining CPU time: 1799.93 s
0.06/0.07	c Learning 1 hard constraints
0.06/0.07	c ============================[ Search Statistics ]==============================
0.06/0.07	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.06/0.07	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.06/0.07	c ===============================================================================
0.06/0.07	c |         0 |     526     1154     4977 |     5000        0    nan |  0.000 % |
0.06/0.07	c ===============================================================================
0.06/0.07	c core #54
0.06/0.07	c Core size: 288	Core Weight: 1	Total Weight: 54
0.06/0.07	c Elapsed CPU time: 0.070989 s	Remaining CPU time: 1799.93 s
0.06/0.07	c Learning 1 hard constraints
0.06/0.07	c ============================[ Search Statistics ]==============================
0.06/0.07	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.06/0.07	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.06/0.07	c ===============================================================================
0.06/0.07	c |         0 |     611     1156     5154 |     5000        0    nan |  0.000 % |
0.06/0.08	c |       100 |     610     1156     5154 |     5500      100     12 |  0.328 % |
0.06/0.08	c ===============================================================================
0.06/0.08	c core #55
0.06/0.08	c Core size: 496	Core Weight: 1	Total Weight: 55
0.06/0.08	c Elapsed CPU time: 0.083987 s	Remaining CPU time: 1799.92 s
0.06/0.08	c Learning 13 hard constraints
0.06/0.08	c ============================[ Search Statistics ]==============================
0.06/0.08	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.06/0.08	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.06/0.08	c ===============================================================================
0.06/0.08	c |         0 |     697     1170     5418 |     5000        0    nan |  0.000 % |
0.06/0.09	c |       101 |     693     1170     5418 |     5500       36     10 |  0.577 % |
0.09/0.10	c |       252 |     687     1170     5418 |     6050      104     12 |  1.436 % |
0.09/0.10	c ===============================================================================
0.09/0.10	c core #56
0.09/0.10	c Core size: 580	Core Weight: 1	Total Weight: 56
0.09/0.10	c Elapsed CPU time: 0.101984 s	Remaining CPU time: 1799.9 s
0.09/0.10	c Learning 77 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 |     751     1248     6400 |     5000        0    nan |  0.000 % |
0.09/0.11	c |       100 |     750     1248     6400 |     5500      100     15 |  0.268 % |
0.09/0.12	c |       251 |     747     1248     6400 |     6050      212     14 |  0.536 % |
0.09/0.12	c ===============================================================================
0.09/0.12	c core #57
0.09/0.12	c Core size: 557	Core Weight: 1	Total Weight: 57
0.09/0.12	c Elapsed CPU time: 0.118981 s	Remaining CPU time: 1799.88 s
0.09/0.12	c Learning 143 hard constraints
0.09/0.12	c ============================[ Search Statistics ]==============================
0.09/0.12	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.09/0.12	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.09/0.12	c ===============================================================================
0.09/0.12	c |         0 |     782     1392     8526 |     5000        0    nan |  0.000 % |
0.09/0.13	c |       101 |     781     1392     8526 |     5500      101     18 |  0.257 % |
0.09/0.13	c ===============================================================================
0.09/0.14	c core #58
0.09/0.14	c Core size: 524	Core Weight: 1	Total Weight: 58
0.09/0.14	c Elapsed CPU time: 0.134979 s	Remaining CPU time: 1799.87 s
0.09/0.14	c Learning 99 hard constraints
0.09/0.14	c ============================[ Search Statistics ]==============================
0.09/0.14	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.09/0.14	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.09/0.14	c ===============================================================================
0.09/0.14	c |         0 |     813     1492     9893 |     5000        0    nan |  0.000 % |
0.09/0.15	c |       100 |     790     1492     9893 |     5500      100     16 |  2.954 % |
0.09/0.15	c ===============================================================================
0.09/0.15	c core #59
0.09/0.15	c Core size: 501	Core Weight: 1	Total Weight: 59
0.09/0.15	c Elapsed CPU time: 0.149977 s	Remaining CPU time: 1799.85 s
0.09/0.15	c Learning 23 hard constraints
0.09/0.15	c ============================[ Search Statistics ]==============================
0.09/0.15	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.09/0.15	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.09/0.15	c ===============================================================================
0.09/0.15	c |         0 |     891     1516    10394 |     5000        0    nan |  0.000 % |
0.09/0.16	c |       103 |     887     1516    10394 |     5500      103     14 |  0.449 % |
0.09/0.17	c |       253 |     884     1516    10394 |     6050      247     14 |  0.898 % |
0.09/0.17	c ===============================================================================
0.09/0.18	c core #60
0.09/0.18	c Core size: 464	Core Weight: 1	Total Weight: 60
0.09/0.18	c Elapsed CPU time: 0.174973 s	Remaining CPU time: 1799.83 s
0.09/0.18	c Learning 43 hard constraints
0.09/0.18	c ============================[ Search Statistics ]==============================
0.09/0.18	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.09/0.18	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.09/0.18	c ===============================================================================
0.09/0.18	c |         0 |     940     1560    10921 |     5000        0    nan |  0.000 % |
0.09/0.19	c |       102 |     940     1560    10921 |     5500      102     51 |  0.001 % |
0.19/0.20	c |       253 |     940     1560    10921 |     6050      253     39 |  0.007 % |
0.19/0.21	c |       478 |     934     1560    10921 |     6655      247     17 |  0.644 % |
0.19/0.22	c ===============================================================================
0.19/0.22	c core #61
0.19/0.22	c Core size: 462	Core Weight: 1	Total Weight: 61
0.19/0.22	c Elapsed CPU time: 0.219966 s	Remaining CPU time: 1799.78 s
0.19/0.23	c Learning 27 hard constraints
0.19/0.23	c ============================[ Search Statistics ]==============================
0.19/0.23	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.19/0.23	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.19/0.23	c ===============================================================================
0.19/0.23	c |         0 |     991     1588    11535 |     5000        0    nan |  0.000 % |
0.19/0.23	c |       101 |     989     1588    11535 |     5500      101     20 |  0.404 % |
0.19/0.24	c |       253 |     987     1588    11535 |     6050      236     22 |  0.404 % |
0.19/0.25	c |       479 |     987     1588    11535 |     6655      462     21 |  0.404 % |
0.19/0.28	c |       816 |     973     1588    11535 |     7320      796     24 |  1.820 % |
0.29/0.32	c |      1323 |     973     1588    11535 |     8052     1288     30 |  1.816 % |
0.29/0.37	c |      2083 |     973     1588    11535 |     8857     2048     31 |  1.816 % |
0.39/0.46	c ===============================================================================
0.39/0.47	c core #62
0.39/0.47	c Core size: 528	Core Weight: 1	Total Weight: 62
0.39/0.47	c Elapsed CPU time: 0.462929 s	Remaining CPU time: 1799.54 s
0.39/0.48	c ============================[ Search Statistics ]==============================
0.39/0.48	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.39/0.48	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.39/0.48	c ===============================================================================
0.39/0.48	c |         0 |    1075     1589    11703 |     5000        0    nan |  0.000 % |
0.39/0.48	c |       100 |    1075     1589    11703 |     5500      100     49 |  0.001 % |
0.39/0.49	c |       251 |    1075     1589    11703 |     6050      251     37 |  0.000 % |
0.49/0.51	c |       486 |    1075     1589    11703 |     6655      486     34 |  0.000 % |
0.49/0.53	c |       823 |    1075     1589    11703 |     7320      823     34 |  0.000 % |
0.49/0.57	c |      1332 |    1075     1589    11703 |     8052     1332     33 |  0.004 % |
0.59/0.62	c |      2094 |    1071     1589    11703 |     8857     1973     31 |  0.375 % |
0.69/0.74	c |      3236 |    1071     1589    11703 |     9743     3115     34 |  0.376 % |
1.00/1.01	c |      4946 |    1069     1589    11703 |    10717     3865     36 |  0.559 % |
1.10/1.16	c ===============================================================================
1.10/1.20	c core #63
1.10/1.20	c Core size: 550	Core Weight: 1	Total Weight: 63
1.10/1.20	c Elapsed CPU time: 1.16582 s	Remaining CPU time: 1798.83 s
1.19/1.20	c Learning 16 hard constraints
1.19/1.20	c ============================[ Search Statistics ]==============================
1.19/1.20	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.19/1.20	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.19/1.20	c ===============================================================================
1.19/1.20	c |         0 |    1149     1606    12040 |     5000        0    nan |  0.000 % |
1.19/1.21	c |       102 |    1139     1606    12040 |     5500      102     28 |  0.873 % |
1.19/1.22	c |       252 |    1139     1606    12040 |     6050      228     40 |  0.874 % |
1.19/1.24	c |       477 |    1133     1606    12040 |     6655      452     37 |  1.393 % |
1.19/1.26	c |       815 |    1133     1606    12040 |     7320      790     39 |  1.393 % |
1.29/1.30	c |      1321 |    1133     1606    12040 |     8052     1296     39 |  1.393 % |
1.29/1.36	c |      2080 |    1133     1606    12040 |     8857     2055     41 |  1.393 % |
1.49/1.51	c |      3219 |    1131     1606    12040 |     9743     3186     42 |  1.567 % |
1.69/1.78	c |      4927 |    1131     1606    12040 |    10717     4894     46 |  1.567 % |
2.20/2.20	c |      7491 |    1131     1606    12040 |    11789     7458     47 |  1.579 % |
3.09/3.17	c |     11336 |    1131     1606    12040 |    12968    11303     50 |  1.567 % |
4.58/4.60	c |     17102 |    1131     1606    12040 |    14265    10377     49 |  1.579 % |
6.79/6.81	c |     25753 |     991     1606    12040 |    15692     4453     45 | 15.492 % |
7.29/7.35	c ===============================================================================
7.49/7.60	c core #64
7.49/7.60	c Core size: 469	Core Weight: 1	Total Weight: 64
7.49/7.60	c Elapsed CPU time: 7.49386 s	Remaining CPU time: 1792.51 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 |    1203     1607    12148 |     5000        0    nan |  0.000 % |
7.59/7.65	c |       102 |    1203     1607    12148 |     5500      102     71 |  0.001 % |
7.59/7.65	c |       258 |    1199     1607    12148 |     6050      258     45 |  0.333 % |
7.59/7.67	c |       484 |    1195     1607    12148 |     6655      399     32 |  0.665 % |
7.59/7.69	c |       827 |    1192     1607    12148 |     7320      729     35 |  0.998 % |
7.69/7.73	c |      1334 |    1191     1607    12148 |     8052     1225     37 |  0.998 % |
7.79/7.81	c |      2093 |    1191     1607    12148 |     8857     1984     38 |  0.998 % |
7.89/7.92	c |      3235 |    1191     1607    12148 |     9743     3126     38 |  0.998 % |
8.19/8.20	c |      4945 |    1191     1607    12148 |    10717     4836     42 |  0.998 % |
8.58/8.69	c |      7508 |    1191     1607    12148 |    11789     7399     44 |  0.998 % |
9.39/9.47	c |     11354 |    1191     1607    12148 |    12968    11245     51 |  1.000 % |
10.69/10.73	c |     17120 |    1191     1607    12148 |    14265    10291     60 |  0.998 % |
13.48/13.55	c |     25772 |    1191     1607    12148 |    15692    11620     73 |  0.998 % |
16.69/16.70	c |     38747 |    1191     1607    12148 |    17261     8556     58 |  0.998 % |
22.99/23.04	c |     58210 |    1191     1607    12148 |    18987    10391     69 |  0.998 % |
34.58/34.60	c |     87404 |    1191     1607    12148 |    20886    10401     77 |  0.998 % |
42.28/42.35	c ===============================================================================
42.68/42.72	c core #65
42.68/42.72	c Core size: 514	Core Weight: 1	Total Weight: 65
42.68/42.72	c Elapsed CPU time: 42.3046 s	Remaining CPU time: 1757.7 s
42.78/42.83	c ============================[ Search Statistics ]==============================
42.78/42.83	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
42.78/42.83	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
42.78/42.83	c ===============================================================================
42.78/42.83	c |         0 |    1275     1608    12292 |     5000        0    nan |  0.000 % |
42.78/42.86	c |       100 |    1271     1608    12292 |     5500      100     32 |  0.316 % |
42.78/42.87	c |       251 |    1271     1608    12292 |     6050      251     43 |  0.314 % |
42.78/42.89	c |       476 |    1270     1608    12292 |     6655      465     40 |  0.473 % |
42.88/42.92	c |       814 |    1269     1608    12292 |     7320      797     45 |  0.482 % |
42.88/42.95	c |      1320 |    1269     1608    12292 |     8052     1303     44 |  0.481 % |
42.97/43.02	c |      2079 |    1269     1608    12292 |     8857     2062     47 |  0.471 % |
43.08/43.17	c |      3218 |    1269     1608    12292 |     9743     3201     54 |  0.471 % |
43.28/43.36	c |      4926 |    1269     1608    12292 |    10717     4909     55 |  0.471 % |
43.88/43.97	c |      7488 |    1257     1608    12292 |    11789     7468     58 |  1.412 % |
44.88/45.00	c |     11332 |    1255     1608    12292 |    12968    11312     61 |  1.735 % |
46.47/46.57	c |     17098 |    1253     1608    12292 |    14265    10362     59 |  1.726 % |
49.67/49.70	c |     25747 |    1253     1608    12292 |    15692    11700     61 |  1.726 % |
55.08/55.11	c |     38721 |    1253     1608    12292 |    17261     8653     62 |  1.726 % |
62.87/62.94	c |     58183 |    1253     1608    12292 |    18987    10469     58 |  1.726 % |
78.66/78.70	c |     87375 |    1253     1608    12292 |    20886    10629     76 |  1.726 % |
108.86/108.96	c |    131167 |    1253     1608    12292 |    22974    11885     67 |  1.726 % |
152.24/152.36	c |    196851 |    1249     1608    12292 |    25272    18882     63 |  2.041 % |
212.82/212.98	c |    295377 |    1209     1608    12292 |    27799    20361     62 |  5.183 % |
256.31/256.43	c ===============================================================================
258.52/258.62	c core #66
258.52/258.62	c Core size: 490	Core Weight: 1	Total Weight: 66
258.52/258.62	c Elapsed CPU time: 257.143 s	Remaining CPU time: 1542.86 s
258.82/258.98	c ============================[ Search Statistics ]==============================
258.82/258.98	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
258.82/258.98	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
258.82/258.98	c ===============================================================================
258.82/258.98	c |         0 |    1322     1609    12386 |     5000        0    nan |  0.000 % |
258.92/259.03	c |       102 |    1319     1609    12386 |     5500      102     26 |  0.303 % |
258.92/259.05	c |       253 |    1318     1609    12386 |     6050      239     30 |  0.303 % |
258.92/259.07	c |       479 |    1306     1609    12386 |     6655      463     30 |  1.211 % |
259.01/259.11	c |       816 |    1306     1609    12386 |     7320      800     40 |  1.210 % |
259.01/259.15	c |      1322 |    1306     1609    12386 |     8052     1306     41 |  1.211 % |
259.11/259.23	c |      2082 |    1306     1609    12386 |     8857     2066     46 |  1.210 % |
259.21/259.35	c |      3221 |    1306     1609    12386 |     9743     3205     47 |  1.210 % |
259.51/259.69	c |      4929 |    1304     1609    12386 |    10717     4905     51 |  1.362 % |
260.01/260.16	c |      7495 |    1304     1609    12386 |    11789     7471     57 |  1.362 % |
261.01/261.11	c |     11339 |    1304     1609    12386 |    12968    11315     57 |  1.362 % |
262.81/262.95	c |     17106 |    1304     1609    12386 |    14265    10320     63 |  1.362 % |
265.81/265.94	c |     25755 |    1304     1609    12386 |    15692    11630     57 |  1.363 % |
271.31/271.42	c |     38729 |    1304     1609    12386 |    17261     8472     66 |  1.362 % |
279.71/279.86	c |     58190 |    1304     1609    12386 |    18987    10329     81 |  1.362 % |
297.50/297.63	c |     87391 |    1304     1609    12386 |    20886    10246     80 |  1.362 % |
325.50/325.70	c |    131181 |    1304     1609    12386 |    22974    11530     75 |  1.362 % |
367.28/367.47	c |    196866 |    1304     1609    12386 |    25272    18028     95 |  1.362 % |
434.56/434.76	c |    295393 |    1304     1609    12386 |    27799    24924     86 |  1.371 % |
553.02/553.29	c |    443182 |    1304     1609    12386 |    30579    20875     78 |  1.362 % |
737.97/738.29	c |    664866 |    1268     1609    12386 |    33637    14734     58 |  4.085 % |
801.06/801.38	c ===============================================================================
805.65/805.95	c core #67
805.65/805.95	c Core size: 553	Core Weight: 1	Total Weight: 67
805.65/805.95	c Elapsed CPU time: 801.937 s	Remaining CPU time: 998.063 s
806.45/806.71	c ============================[ Search Statistics ]==============================
806.45/806.71	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
806.45/806.71	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
806.45/806.71	c ===============================================================================
806.45/806.71	c |         0 |    1402     1610    12546 |     5000        0    nan |  0.000 % |
806.55/806.83	c |       100 |    1399     1610    12546 |     5500      100     30 |  0.286 % |
806.55/806.85	c |       251 |    1398     1610    12546 |     6050      240     38 |  0.285 % |
806.55/806.87	c |       476 |    1398     1610    12546 |     6655      465     38 |  0.287 % |
806.65/806.95	c |       814 |    1398     1610    12546 |     7320      803     52 |  0.294 % |
806.75/807.00	c |      1320 |    1398     1610    12546 |     8052     1309     52 |  0.285 % |
806.75/807.07	c |      2085 |    1398     1610    12546 |     8857     2074     55 |  0.285 % |
806.94/807.22	c |      3224 |    1398     1610    12546 |     9743     3213     56 |  0.285 % |
807.16/807.48	c |      4932 |    1394     1610    12546 |    10717     4900     58 |  0.571 % |
807.65/807.93	c |      7500 |    1394     1610    12546 |    11789     7468     59 |  0.571 % |
808.55/808.85	c |     11345 |    1392     1610    12546 |    12968    11307     60 |  0.714 % |
809.85/810.12	c |     17113 |    1392     1610    12546 |    14265    10309     61 |  0.713 % |
812.95/813.24	c |     25766 |    1392     1610    12546 |    15692    11524     78 |  0.713 % |
819.74/820.06	c |     38740 |    1392     1610    12546 |    17261    16234     93 |  0.713 % |
829.34/829.61	c |     58204 |    1392     1610    12546 |    18987     8939     76 |  0.713 % |
850.94/851.28	c |     87397 |    1392     1610    12546 |    20886    18690     78 |  0.713 % |
875.52/875.80	c |    131188 |    1390     1610    12546 |    22974    19814     82 |  0.856 % |
925.82/926.18	c |    196873 |    1390     1610    12546 |    25272    15224     81 |  0.856 % |
998.30/998.70	c |    295400 |    1390     1610    12546 |    27799    21310     87 |  0.864 % |
1097.67/1098.09	c |    443190 |    1386     1610    12546 |    30579    15042     93 |  1.144 % |
1305.20/1305.61	c |    664876 |    1385     1610    12546 |    33637    26092    126 |  1.284 % |
1625.21/1625.79	c |    997401 |    1384     1610    12546 |    37001    27064     97 |  1.284 % |

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-1876229-1245158818/watcher-1876229-1245158818 -o /tmp/evaluation-result-1876229-1245158818/solver-1876229-1245158818 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1876229-1245158818.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 3999
/proc/meminfo: memFree=1861048/2055920 swapFree=4192812/4192956
[pid=3999] ppid=3997 vsize=2564 CPUtime=0
/proc/3999/stat : 3999 (wbo) R 3997 3999 3914 0 -1 4194304 190 0 0 0 0 0 0 0 18 0 1 0 183481103 2625536 174 1992294400 134512640 135709839 4294956240 18446744073709551615 135168492 0 0 4096 3 0 0 0 17 1 0 0
/proc/3999/statm: 641 174 128 292 0 336 0

[startup+0.06371 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 3999
/proc/meminfo: memFree=1861048/2055920 swapFree=4192812/4192956
[pid=3999] ppid=3997 vsize=2780 CPUtime=0.06
/proc/3999/stat : 3999 (wbo) R 3997 3999 3914 0 -1 4194304 271 0 0 0 6 0 0 0 18 0 1 0 183481103 2846720 245 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3999/statm: 695 245 135 292 0 400 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2780

[startup+0.101714 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 3999
/proc/meminfo: memFree=1861048/2055920 swapFree=4192812/4192956
[pid=3999] ppid=3997 vsize=2904 CPUtime=0.09
/proc/3999/stat : 3999 (wbo) R 3997 3999 3914 0 -1 4194304 313 0 0 0 9 0 0 0 18 0 1 0 183481103 2973696 287 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3999/statm: 726 287 136 292 0 431 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2904

[startup+0.301736 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 3999
/proc/meminfo: memFree=1861048/2055920 swapFree=4192812/4192956
[pid=3999] ppid=3997 vsize=3328 CPUtime=0.29
/proc/3999/stat : 3999 (wbo) R 3997 3999 3914 0 -1 4194304 427 0 0 0 29 0 0 0 20 0 1 0 183481103 3407872 401 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3999/statm: 832 401 136 292 0 537 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3328

[startup+0.70178 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 3999
/proc/meminfo: memFree=1861048/2055920 swapFree=4192812/4192956
[pid=3999] ppid=3997 vsize=4256 CPUtime=0.69
/proc/3999/stat : 3999 (wbo) R 3997 3999 3914 0 -1 4194304 666 0 0 0 67 2 0 0 22 0 1 0 183481103 4358144 640 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3999/statm: 1064 640 136 292 0 769 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4256

[startup+1.50187 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4000
/proc/meminfo: memFree=1858288/2055920 swapFree=4192812/4192956
[pid=3999] ppid=3997 vsize=5844 CPUtime=1.49
/proc/3999/stat : 3999 (wbo) R 3997 3999 3914 0 -1 4194304 1043 0 0 0 145 4 0 0 25 0 1 0 183481103 5984256 1017 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3999/statm: 1461 1017 136 292 0 1166 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5844

[startup+3.10104 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4000
/proc/meminfo: memFree=1856304/2055920 swapFree=4192812/4192956
[pid=3999] ppid=3997 vsize=8616 CPUtime=3.09
/proc/3999/stat : 3999 (wbo) R 3997 3999 3914 0 -1 4194304 1752 0 0 0 303 6 0 0 25 0 1 0 183481103 8822784 1726 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3999/statm: 2154 1726 136 292 0 1859 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 8616

[startup+6.3014 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4000
/proc/meminfo: memFree=1850864/2055920 swapFree=4192812/4192956
[pid=3999] ppid=3997 vsize=13772 CPUtime=6.29
/proc/3999/stat : 3999 (wbo) R 3997 3999 3914 0 -1 4194304 3020 0 0 0 620 9 0 0 25 0 1 0 183481103 14102528 2994 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3999/statm: 3443 2994 136 292 0 3148 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 13772

[startup+12.7011 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4000
/proc/meminfo: memFree=1844144/2055920 swapFree=4192812/4192956
[pid=3999] ppid=3997 vsize=19752 CPUtime=12.68
/proc/3999/stat : 3999 (wbo) R 3997 3999 3914 0 -1 4194304 4542 0 0 0 1254 14 0 0 25 0 1 0 183481103 20226048 4516 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3999/statm: 4938 4516 136 292 0 4643 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 19752

[startup+25.5015 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4000
/proc/meminfo: memFree=1823152/2055920 swapFree=4192812/4192956
[pid=3999] ppid=3997 vsize=40152 CPUtime=25.49
/proc/3999/stat : 3999 (wbo) R 3997 3999 3914 0 -1 4194304 9616 0 0 0 2522 27 0 0 25 0 1 0 183481103 41115648 9590 1992294400 134512640 135709839 4294956240 18446744073709551615 134611878 0 0 4096 3 0 0 0 17 1 0 0
/proc/3999/statm: 10038 9590 136 292 0 9743 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 40152

[startup+51.1013 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4000
/proc/meminfo: memFree=1799536/2055920 swapFree=4192812/4192956
[pid=3999] ppid=3997 vsize=63236 CPUtime=51.07
/proc/3999/stat : 3999 (wbo) R 3997 3999 3914 0 -1 4194304 15390 0 0 0 5062 45 0 0 25 0 1 0 183481103 64753664 15364 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3999/statm: 15809 15364 136 292 0 15514 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 63236

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4000
/proc/meminfo: memFree=1768240/2055920 swapFree=4192812/4192956
[pid=3999] ppid=3997 vsize=94672 CPUtime=102.26
/proc/3999/stat : 3999 (wbo) R 3997 3999 3914 0 -1 4194304 23210 0 0 0 10157 69 0 0 25 0 1 0 183481103 96944128 23184 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3999/statm: 23668 23184 136 292 0 23373 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 94672

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4000
/proc/meminfo: memFree=1725744/2055920 swapFree=4192812/4192956
[pid=3999] ppid=3997 vsize=137412 CPUtime=162.24
/proc/3999/stat : 3999 (wbo) R 3997 3999 3914 0 -1 4194304 33885 0 0 0 16129 95 0 0 25 0 1 0 183481103 140709888 33859 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3999/statm: 34353 33859 136 292 0 34058 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 137412

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4000
/proc/meminfo: memFree=1685680/2055920 swapFree=4192812/4192956
[pid=3999] ppid=3997 vsize=177304 CPUtime=222.22
/proc/3999/stat : 3999 (wbo) R 3997 3999 3914 0 -1 4194304 43794 0 0 0 22097 125 0 0 25 0 1 0 183481103 181559296 43768 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3999/statm: 44326 43768 136 292 0 44031 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 177304

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4000
/proc/meminfo: memFree=1660080/2055920 swapFree=4192812/4192956
[pid=3999] ppid=3997 vsize=202316 CPUtime=282.2
/proc/3999/stat : 3999 (wbo) R 3997 3999 3914 0 -1 4194304 50194 0 0 0 28067 153 0 0 25 0 1 0 183481103 207171584 50140 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3999/statm: 50579 50140 136 292 0 50284 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 202316

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4000
/proc/meminfo: memFree=1628080/2055920 swapFree=4192812/4192956
[pid=3999] ppid=3997 vsize=234512 CPUtime=342.18
/proc/3999/stat : 3999 (wbo) R 3997 3999 3914 0 -1 4194304 58215 0 0 0 34037 181 0 0 25 0 1 0 183481103 240140288 58161 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3999/statm: 58628 58161 136 292 0 58333 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 234512

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4000
/proc/meminfo: memFree=1591856/2055920 swapFree=4192812/4192956
[pid=3999] ppid=3997 vsize=271280 CPUtime=402.16
/proc/3999/stat : 3999 (wbo) R 3997 3999 3914 0 -1 4194304 67367 0 0 0 40008 208 0 0 25 0 1 0 183481103 277790720 67313 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3999/statm: 67820 67313 136 292 0 67525 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 271280

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4000
/proc/meminfo: memFree=1545200/2055920 swapFree=4192812/4192956
[pid=3999] ppid=3997 vsize=317592 CPUtime=462.15
/proc/3999/stat : 3999 (wbo) R 3997 3999 3914 0 -1 4194304 78905 0 0 0 45978 237 0 0 25 0 1 0 183481103 325214208 78851 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3999/statm: 79398 78851 136 292 0 79103 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 317592

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4000
/proc/meminfo: memFree=1510064/2055920 swapFree=4192812/4192956
[pid=3999] ppid=3997 vsize=353144 CPUtime=522.13
/proc/3999/stat : 3999 (wbo) R 3997 3999 3914 0 -1 4194304 87733 0 0 0 51953 260 0 0 25 0 1 0 183481103 361619456 87679 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3999/statm: 88286 87679 136 292 0 87991 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 353144

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4000
/proc/meminfo: memFree=1468592/2055920 swapFree=4192812/4192956
[pid=3999] ppid=3997 vsize=394288 CPUtime=582.12
/proc/3999/stat : 3999 (wbo) R 3997 3999 3914 0 -1 4194304 97963 0 0 0 57927 285 0 0 25 0 1 0 183481103 403750912 97909 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3999/statm: 98572 97909 136 292 0 98277 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 394288

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4000
/proc/meminfo: memFree=1437488/2055920 swapFree=4192812/4192956
[pid=3999] ppid=3997 vsize=425184 CPUtime=642.1
/proc/3999/stat : 3999 (wbo) R 3997 3999 3914 0 -1 4194304 105678 0 0 0 63902 308 0 0 25 0 1 0 183481103 435388416 105624 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 1 0 0
/proc/3999/statm: 106296 105624 136 292 0 106001 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 425184

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4000
/proc/meminfo: memFree=1328496/2055920 swapFree=4192812/4192956
[pid=3999] ppid=3997 vsize=533104 CPUtime=882.02
/proc/3999/stat : 3999 (wbo) R 3997 3999 3914 0 -1 4194304 132899 0 0 0 87793 409 0 0 25 0 1 0 183481103 545898496 132845 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3999/statm: 133276 132845 136 292 0 132981 0
Current children cumulated CPU time (s) 882.02
Current children cumulated vsize (KiB) 533104

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4000
/proc/meminfo: memFree=1304816/2055920 swapFree=4192812/4192956
[pid=3999] ppid=3997 vsize=557052 CPUtime=942.01
/proc/3999/stat : 3999 (wbo) R 3997 3999 3914 0 -1 4194304 138855 0 0 0 93767 434 0 0 25 0 1 0 183481103 570421248 138801 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3999/statm: 139263 138801 136 292 0 138968 0
Current children cumulated CPU time (s) 942.01
Current children cumulated vsize (KiB) 557052

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4000
/proc/meminfo: memFree=1275760/2055920 swapFree=4192812/4192956
[pid=3999] ppid=3997 vsize=586292 CPUtime=1002
/proc/3999/stat : 3999 (wbo) R 3997 3999 3914 0 -1 4194304 146105 0 0 0 99740 460 0 0 25 0 1 0 183481103 600363008 146051 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3999/statm: 146573 146051 136 292 0 146278 0
Current children cumulated CPU time (s) 1002
Current children cumulated vsize (KiB) 586292

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4000
/proc/meminfo: memFree=1236016/2055920 swapFree=4192812/4192956
[pid=3999] ppid=3997 vsize=626508 CPUtime=1061.98
/proc/3999/stat : 3999 (wbo) R 3997 3999 3914 0 -1 4194304 156139 0 0 0 105709 489 0 0 25 0 1 0 183481103 641544192 156085 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3999/statm: 156627 156085 136 292 0 156332 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 626508

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4000
/proc/meminfo: memFree=1205424/2055920 swapFree=4192812/4192956
[pid=3999] ppid=3997 vsize=656552 CPUtime=1121.96
/proc/3999/stat : 3999 (wbo) R 3997 3999 3914 0 -1 4194304 163587 0 0 0 111686 510 0 0 25 0 1 0 183481103 672309248 163533 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/3999/statm: 164138 163533 136 292 0 163843 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 656552

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4000
/proc/meminfo: memFree=1173168/2055920 swapFree=4192812/4192956
[pid=3999] ppid=3997 vsize=689176 CPUtime=1181.94
/proc/3999/stat : 3999 (wbo) R 3997 3999 3914 0 -1 4194304 171711 0 0 0 117660 534 0 0 25 0 1 0 183481103 705716224 171657 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3999/statm: 172294 171657 136 292 0 171999 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 689176

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4000
/proc/meminfo: memFree=1142192/2055920 swapFree=4192812/4192956
[pid=3999] ppid=3997 vsize=720076 CPUtime=1241.92
/proc/3999/stat : 3999 (wbo) R 3997 3999 3914 0 -1 4194304 179395 0 0 0 123639 553 0 0 25 0 1 0 183481103 737357824 179341 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3999/statm: 180019 179341 136 292 0 179724 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 720076

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4000
/proc/meminfo: memFree=1103344/2055920 swapFree=4192812/4192956
[pid=3999] ppid=3997 vsize=758600 CPUtime=1301.91
/proc/3999/stat : 3999 (wbo) R 3997 3999 3914 0 -1 4194304 188965 0 0 0 129619 572 0 0 25 0 1 0 183481103 776806400 188911 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3999/statm: 189650 188911 136 292 0 189355 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 758600

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4000
/proc/meminfo: memFree=1064560/2055920 swapFree=4192812/4192956
[pid=3999] ppid=3997 vsize=797444 CPUtime=1361.89
/proc/3999/stat : 3999 (wbo) R 3997 3999 3914 0 -1 4194304 198673 0 0 0 135595 594 0 0 25 0 1 0 183481103 816582656 198619 1992294400 134512640 135709839 4294956240 18446744073709551615 134573754 0 0 4096 3 0 0 0 17 1 0 0
/proc/3999/statm: 199361 198619 136 292 0 199066 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 797444

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4000
/proc/meminfo: memFree=1032432/2055920 swapFree=4192812/4192956
[pid=3999] ppid=3997 vsize=829560 CPUtime=1421.88
/proc/3999/stat : 3999 (wbo) R 3997 3999 3914 0 -1 4194304 206656 0 0 0 141575 613 0 0 25 0 1 0 183481103 849469440 206602 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/3999/statm: 207390 206602 136 292 0 207095 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 829560

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4000
/proc/meminfo: memFree=1003120/2055920 swapFree=4192812/4192956
[pid=3999] ppid=3997 vsize=859196 CPUtime=1481.86
/proc/3999/stat : 3999 (wbo) R 3997 3999 3914 0 -1 4194304 214006 0 0 0 147559 627 0 0 25 0 1 0 183481103 879816704 213952 1992294400 134512640 135709839 4294956240 18446744073709551615 134568432 0 0 4096 3 0 0 0 17 1 0 0
/proc/3999/statm: 214799 213952 136 292 0 214504 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 859196

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4002
/proc/meminfo: memFree=966064/2055920 swapFree=4192812/4192956
[pid=3999] ppid=3997 vsize=895980 CPUtime=1541.84
/proc/3999/stat : 3999 (wbo) R 3997 3999 3914 0 -1 4194304 223184 0 0 0 153537 647 0 0 25 0 1 0 183481103 917483520 223130 1992294400 134512640 135709839 4294956240 18446744073709551615 134573956 0 0 4096 3 0 0 0 17 1 0 0
/proc/3999/statm: 223995 223130 136 292 0 223700 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 895980

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4002
/proc/meminfo: memFree=934000/2055920 swapFree=4192812/4192956
[pid=3999] ppid=3997 vsize=928664 CPUtime=1601.82
/proc/3999/stat : 3999 (wbo) R 3997 3999 3914 0 -1 4194304 231346 0 0 0 159515 667 0 0 25 0 1 0 183481103 950951936 231292 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3999/statm: 232166 231292 136 292 0 231871 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 928664

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4002
/proc/meminfo: memFree=891248/2055920 swapFree=4192812/4192956
[pid=3999] ppid=3997 vsize=970856 CPUtime=1661.8
/proc/3999/stat : 3999 (wbo) R 3997 3999 3914 0 -1 4194304 241858 0 0 0 165487 693 0 0 25 0 1 0 183481103 994156544 241804 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3999/statm: 242714 241804 136 292 0 242419 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 970856

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4002
/proc/meminfo: memFree=857840/2055920 swapFree=4192812/4192956
[pid=3999] ppid=3997 vsize=1004360 CPUtime=1721.78
/proc/3999/stat : 3999 (wbo) R 3997 3999 3914 0 -1 4194304 250209 0 0 0 171466 712 0 0 25 0 1 0 183481103 1028464640 250155 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3999/statm: 251090 250155 136 292 0 250795 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 1004360

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4002
/proc/meminfo: memFree=825648/2055920 swapFree=4192812/4192956
[pid=3999] ppid=3997 vsize=1036488 CPUtime=1781.76
/proc/3999/stat : 3999 (wbo) R 3997 3999 3914 0 -1 4194304 258231 0 0 0 177446 730 0 0 25 0 1 0 183481103 1061363712 258177 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3999/statm: 259122 258177 136 292 0 258827 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 1036488



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4002
/proc/meminfo: memFree=817008/2055920 swapFree=4192812/4192956
[pid=3999] ppid=3997 vsize=1045072 CPUtime=1800.07
/proc/3999/stat : 3999 (wbo) R 3997 3999 3914 0 -1 4194304 260358 0 0 0 179271 736 0 0 25 0 1 0 183481103 1070153728 260304 1992294400 134512640 135709839 4294956240 18446744073709551615 134573829 0 0 4096 3 0 0 0 17 1 0 0
/proc/3999/statm: 261268 260304 136 292 0 260973 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1045072

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.00 1.00 1.00 2/65 4002
/proc/meminfo: memFree=817008/2055920 swapFree=4192812/4192956
[pid=3999] ppid=3997 vsize=0 CPUtime=1800.17
/proc/3999/stat : 3999 (wbo) R 3997 3999 3914 0 -1 4195332 260358 0 0 0 179271 746 0 0 25 0 1 0 183481103 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0
/proc/3999/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.77
CPU time (s): 1800.24
CPU user time (s): 1792.71
CPU system time (s): 7.52885
CPU usage (%): 99.9705
Max. virtual memory (cumulated for all children) (KiB): 1045072

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.71
system time used= 7.52886
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 260358
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= 4
involuntary context switches= 3281

runsolver used 1.70374 second user time and 3.2855 second system time

The end

Launcher Data 

Begin job on node35 at 2009-06-16 15:26:58
IDJOB=1876229
IDBENCH=2172
IDSOLVER=698
FILE ID=node35/1876229-1245158818
PBS_JOBID= 9363827
Free space on /tmp= 66136 MiB

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

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

MD5SUM BENCH= aa59811357c2c173a2986582be1a1c3c
RANDOM SEED=14391825

node35.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:       1861464 kB
Buffers:         37804 kB
Cached:          82552 kB
SwapCached:        140 kB
Active:          47996 kB
Inactive:        86384 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1861464 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2412 kB
Writeback:           0 kB
Mapped:          23680 kB
Slab:            46096 kB
Committed_AS:   167872 kB
PageTables:       1400 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-1876229-1245158818.opb

Free space on /tmp at the end= 66132 MiB
End job on node35 at 2009-06-16 15:57:01