Trace number 3447196

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
wbo 1.6? (TO) 1800.08 1800.03

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh14_wcsp.wbo
MD5SUMa9c1b78c2cafd61259a4392acdb09fa2
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark101
Best CPU time to get the best result obtained on this benchmark0.06499
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables200
Total number of constraints950
Number of soft constraints850
Number of constraints which are clauses850
Number of constraints which are cardinality constraints (but not clauses)100
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint11
Top cost 420926
Min constraint cost 1
Max constraint cost 1000
Sum of constraints costs 420925
Biggest number in a constraint 10
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 21
Number of bits of the biggest sum of numbers5
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c wbo 1.6 beta - 20110321
0.00/0.00	c Parsing wbo file format. File HOME/instance-3447196-1307907060.wbo.
0.00/0.00	c Instance file HOME/instance-3447196-1307907060.wbo
0.00/0.00	c File size is 45245 bytes.
0.00/0.00	c Highest Coefficient sum: 21
0.00/0.00	c ============================[ Problem Statistics ]=============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |  Parsing time:          0.00         s                                      |
0.00/0.00	c |  Number Variables:      200                                                 |
0.00/0.00	c |  Number Clauses:        1050                                                |
0.00/0.00	c |  Number Cardinality:    0                                                   |
0.00/0.00	c |  Number PB Constraints: 0                                                   |
0.00/0.00	c ============================[ Search Statistics ]==============================
0.00/0.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.00	c ===============================================================================
0.00/0.00	c |         0 |     200     1050     4563 |     5000        0   -nan |  0.000 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c core #1
0.00/0.00	c 
0.00/0.00	c 
0.00/0.00	c Core size: 114	Core Weight: 17	Total Weight: 17
0.00/0.00	c Current CPU time: 0.002999 s
0.00/0.00	c
0.00/0.00	c ============================[ Search Statistics ]==============================
0.00/0.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.00	c ===============================================================================
0.00/0.00	c |         0 |     291     1141     4995 |     5000        0   -nan |  0.000 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c core #2
0.00/0.00	c 
0.00/0.00	c 
0.00/0.00	c Core size: 105	Core Weight: 10	Total Weight: 27
0.00/0.00	c Current CPU time: 0.003999 s
0.00/0.00	c
0.00/0.00	c ============================[ Search Statistics ]==============================
0.00/0.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.00	c ===============================================================================
0.00/0.00	c |         0 |     372     1222     5380 |     5000        0   -nan |  0.000 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c core #3
0.00/0.00	c 
0.00/0.00	c 
0.00/0.00	c Core size: 140	Core Weight: 3	Total Weight: 30
0.00/0.00	c Current CPU time: 0.004999 s
0.00/0.00	c
0.00/0.00	c ============================[ Search Statistics ]==============================
0.00/0.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.00	c ===============================================================================
0.00/0.00	c |         0 |     477     1326     5895 |     5000        0   -nan |  0.000 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c core #4
0.00/0.00	c 
0.00/0.00	c 
0.00/0.00	c Core size: 108	Core Weight: 6	Total Weight: 36
0.00/0.00	c Current CPU time: 0.006998 s
0.00/0.00	c
0.00/0.00	c ============================[ Search Statistics ]==============================
0.00/0.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.00	c ===============================================================================
0.00/0.00	c |         0 |     569     1418     6332 |     5000        0   -nan |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c core #5
0.00/0.01	c 
0.00/0.01	c 
0.00/0.01	c Core size: 146	Core Weight: 10	Total Weight: 46
0.00/0.01	c Current CPU time: 0.008998 s
0.00/0.01	c
0.00/0.01	c ============================[ Search Statistics ]==============================
0.00/0.01	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.01	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.01	c ===============================================================================
0.00/0.01	c |         0 |     672     1520     6830 |     5000        0   -nan |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c core #6
0.00/0.01	c 
0.00/0.01	c 
0.00/0.01	c Core size: 159	Core Weight: 1	Total Weight: 47
0.00/0.01	c Current CPU time: 0.010998 s
0.00/0.01	c
0.00/0.01	c ============================[ Search Statistics ]==============================
0.00/0.01	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.01	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.01	c ===============================================================================
0.00/0.01	c |         0 |     804     1652     7489 |     5000        0   -nan |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c core #7
0.00/0.01	c 
0.00/0.01	c 
0.00/0.01	c Core size: 175	Core Weight: 3	Total Weight: 50
0.00/0.01	c Current CPU time: 0.012998 s
0.00/0.01	c
0.00/0.01	c ============================[ Search Statistics ]==============================
0.00/0.01	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.01	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.01	c ===============================================================================
0.00/0.01	c |         0 |     928     1775     8100 |     5000        0   -nan |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c core #8
0.00/0.01	c 
0.00/0.01	c 
0.00/0.01	c Core size: 144	Core Weight: 9	Total Weight: 59
0.00/0.01	c Current CPU time: 0.013997 s
0.00/0.01	c
0.00/0.01	c ============================[ Search Statistics ]==============================
0.00/0.01	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.01	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.01	c ===============================================================================
0.00/0.01	c |         0 |    1045     1892     8672 |     5000        0   -nan |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.02	c core #9
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 172	Core Weight: 4	Total Weight: 63
0.00/0.02	c Current CPU time: 0.015997 s
0.00/0.02	c
0.00/0.02	c ============================[ Search Statistics ]==============================
0.00/0.02	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.02	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.02	c ===============================================================================
0.00/0.02	c |         0 |    1164     2011     9263 |     5000        0   -nan |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c core #10
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 170	Core Weight: 1	Total Weight: 64
0.00/0.02	c Current CPU time: 0.018997 s
0.00/0.02	c
0.00/0.02	c ============================[ Search Statistics ]==============================
0.00/0.02	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.02	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.02	c ===============================================================================
0.00/0.02	c |         0 |    1284     2130     9854 |     5000        0   -nan |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c core #11
0.00/0.02	c 
0.00/0.02	c 
0.00/0.02	c Core size: 148	Core Weight: 1	Total Weight: 65
0.00/0.02	c Current CPU time: 0.021996 s
0.00/0.02	c
0.00/0.02	c ============================[ Search Statistics ]==============================
0.00/0.02	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.02	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.02	c ===============================================================================
0.00/0.02	c |         0 |    1407     2252    10458 |     5000        0   -nan |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.03	c core #12
0.00/0.03	c 
0.00/0.03	c 
0.00/0.03	c Core size: 167	Core Weight: 2	Total Weight: 67
0.00/0.03	c Current CPU time: 0.023996 s
0.00/0.03	c
0.00/0.03	c ============================[ Search Statistics ]==============================
0.00/0.03	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.03	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.03	c ===============================================================================
0.00/0.03	c |         0 |    1532     2377    11081 |     5000        0   -nan |  0.000 % |
0.00/0.03	c ===============================================================================
0.00/0.03	c core #13
0.00/0.03	c 
0.00/0.03	c 
0.00/0.03	c Core size: 177	Core Weight: 6	Total Weight: 73
0.00/0.03	c Current CPU time: 0.027995 s
0.00/0.03	c
0.00/0.03	c ============================[ Search Statistics ]==============================
0.00/0.03	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.03	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.03	c ===============================================================================
0.00/0.03	c |         0 |    1670     2515    11774 |     5000        0   -nan |  0.000 % |
0.00/0.03	c ===============================================================================
0.00/0.03	c core #14
0.00/0.03	c 
0.00/0.03	c 
0.00/0.03	c Core size: 190	Core Weight: 1	Total Weight: 74
0.00/0.03	c Current CPU time: 0.031995 s
0.00/0.03	c
0.00/0.03	c ============================[ Search Statistics ]==============================
0.00/0.03	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.03	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.03	c ===============================================================================
0.00/0.03	c |         0 |    1836     2681    12634 |     5000        0   -nan |  0.000 % |
0.00/0.04	c ===============================================================================
0.00/0.04	c core #15
0.00/0.04	c 
0.00/0.04	c 
0.00/0.04	c Core size: 203	Core Weight: 1	Total Weight: 75
0.00/0.04	c Current CPU time: 0.035994 s
0.00/0.04	c
0.00/0.04	c ============================[ Search Statistics ]==============================
0.00/0.04	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.04	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.04	c ===============================================================================
0.00/0.04	c |         0 |    1998     2842    13470 |     5000        0   -nan |  0.000 % |
0.00/0.04	c ===============================================================================
0.00/0.04	c core #16
0.00/0.04	c 
0.00/0.04	c 
0.00/0.04	c Core size: 265	Core Weight: 1	Total Weight: 76
0.00/0.04	c Current CPU time: 0.041993 s
0.00/0.04	c
0.00/0.04	c ============================[ Search Statistics ]==============================
0.00/0.04	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.04	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.04	c ===============================================================================
0.00/0.04	c |         0 |    2227     3069    14671 |     5000        0   -nan |  0.000 % |
0.00/0.05	c ===============================================================================
0.00/0.05	c core #17
0.00/0.05	c 
0.00/0.05	c 
0.00/0.05	c Core size: 322	Core Weight: 1	Total Weight: 77
0.00/0.05	c Current CPU time: 0.049992 s
0.00/0.05	c
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 |    2491     3332    16083 |     5000        0   -nan |  0.000 % |
0.00/0.06	c ===============================================================================
0.00/0.06	c core #18
0.00/0.06	c 
0.00/0.06	c 
0.00/0.06	c Core size: 296	Core Weight: 1	Total Weight: 78
0.00/0.06	c Current CPU time: 0.055991 s
0.00/0.06	c
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 |    2724     3562    17311 |     5000        0   -nan |  0.000 % |
0.00/0.06	c ===============================================================================
0.00/0.07	c core #19
0.00/0.07	c 
0.00/0.07	c 
0.00/0.07	c Core size: 282	Core Weight: 1	Total Weight: 79
0.00/0.07	c Current CPU time: 0.06299 s
0.00/0.07	c
0.00/0.07	c ============================[ Search Statistics ]==============================
0.00/0.07	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.07	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.07	c ===============================================================================
0.00/0.07	c |         0 |    2970     3806    18618 |     5000        0   -nan |  0.000 % |
0.00/0.07	c ===============================================================================
0.00/0.07	c core #20
0.00/0.07	c 
0.00/0.07	c 
0.00/0.07	c Core size: 281	Core Weight: 1	Total Weight: 80
0.00/0.07	c Current CPU time: 0.070989 s
0.00/0.07	c
0.00/0.07	c ============================[ Search Statistics ]==============================
0.00/0.07	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.07	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.07	c ===============================================================================
0.00/0.07	c |         0 |    3214     4048    19896 |     5000        0   -nan |  0.000 % |
0.00/0.08	c |       100 |    3210     4048    19896 |     5500      100     11 |  0.125 % |
0.00/0.08	c ===============================================================================
0.00/0.09	c core #21
0.00/0.09	c 
0.00/0.09	c 
0.00/0.09	c Core size: 288	Core Weight: 1	Total Weight: 81
0.00/0.09	c Current CPU time: 0.081987 s
0.00/0.09	c
0.00/0.09	c ============================[ Search Statistics ]==============================
0.00/0.09	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.09	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.09	c ===============================================================================
0.00/0.09	c |         0 |    3458     4288    21165 |     5000        0   -nan |  0.000 % |
0.00/0.09	c |       100 |    3446     4288    21165 |     5500      100     12 |  0.347 % |
0.00/0.10	c ===============================================================================
0.09/0.10	c core #22
0.09/0.10	c 
0.09/0.10	c 
0.09/0.10	c Core size: 333	Core Weight: 1	Total Weight: 82
0.09/0.10	c Current CPU time: 0.092985 s
0.09/0.10	c
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 |    3736     4562    22658 |     5000        0   -nan |  0.000 % |
0.09/0.11	c ===============================================================================
0.09/0.11	c core #23
0.09/0.11	c 
0.09/0.11	c 
0.09/0.11	c Core size: 308	Core Weight: 1	Total Weight: 83
0.09/0.11	c Current CPU time: 0.102984 s
0.09/0.11	c
0.09/0.11	c ============================[ Search Statistics ]==============================
0.09/0.11	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.09/0.11	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.09/0.11	c ===============================================================================
0.09/0.11	c |         0 |    4007     4827    24092 |     5000        0   -nan |  0.000 % |
0.09/0.12	c ===============================================================================
0.09/0.12	c core #24
0.09/0.12	c 
0.09/0.12	c 
0.09/0.12	c Core size: 320	Core Weight: 1	Total Weight: 84
0.09/0.12	c Current CPU time: 0.110983 s
0.09/0.12	c
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 |    4283     5100    25585 |     5000        0   -nan |  0.000 % |
0.09/0.13	c |       101 |    4281     5100    25585 |     5500      101     12 |  0.093 % |
0.09/0.13	c ===============================================================================
0.09/0.14	c core #25
0.09/0.14	c 
0.09/0.14	c 
0.09/0.14	c Core size: 294	Core Weight: 1	Total Weight: 85
0.09/0.14	c Current CPU time: 0.12598 s
0.09/0.14	c
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 |    4543     5348    26922 |     5000        0   -nan |  0.000 % |
0.09/0.14	c ===============================================================================
0.09/0.15	c core #26
0.09/0.15	c 
0.09/0.15	c 
0.09/0.15	c Core size: 301	Core Weight: 1	Total Weight: 86
0.09/0.15	c Current CPU time: 0.133979 s
0.09/0.15	c
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 |    4795     5588    28226 |     5000        0   -nan |  0.000 % |
0.09/0.16	c |       100 |    4795     5588    28226 |     5500      100     15 |  0.000 % |
0.09/0.16	c ===============================================================================
0.09/0.16	c core #27
0.09/0.16	c 
0.09/0.16	c 
0.09/0.16	c Core size: 318	Core Weight: 1	Total Weight: 87
0.09/0.16	c Current CPU time: 0.147977 s
0.09/0.16	c
0.09/0.16	c ============================[ Search Statistics ]==============================
0.09/0.16	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.09/0.16	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.09/0.16	c ===============================================================================
0.09/0.16	c |         0 |    5067     5838    29605 |     5000        0   -nan |  0.000 % |
0.09/0.17	c |       100 |    5066     5838    29605 |     5500      100     11 |  0.040 % |
0.09/0.18	c ===============================================================================
0.09/0.18	c core #28
0.09/0.18	c 
0.09/0.18	c 
0.09/0.18	c Core size: 276	Core Weight: 1	Total Weight: 88
0.09/0.18	c Current CPU time: 0.164974 s
0.09/0.18	c
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 |    5320     6078    30904 |     5000        0   -nan |  0.000 % |
0.09/0.19	c |       100 |    5316     6078    30904 |     5500      100     12 |  0.151 % |
0.09/0.19	c ===============================================================================
0.19/0.20	c core #29
0.19/0.20	c 
0.19/0.20	c 
0.19/0.20	c Core size: 366	Core Weight: 1	Total Weight: 89
0.19/0.20	c Current CPU time: 0.180972 s
0.19/0.20	c
0.19/0.20	c ============================[ Search Statistics ]==============================
0.19/0.20	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.19/0.20	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.19/0.20	c ===============================================================================
0.19/0.20	c |         0 |    5642     6370    32547 |     5000        0   -nan |  0.000 % |
0.19/0.21	c |       100 |    5640     6370    32547 |     5500      100     14 |  0.071 % |
0.19/0.21	c ===============================================================================
0.19/0.22	c core #30
0.19/0.22	c 
0.19/0.22	c 
0.19/0.22	c Core size: 320	Core Weight: 1	Total Weight: 90
0.19/0.22	c Current CPU time: 0.201969 s
0.19/0.22	c
0.19/0.22	c ============================[ Search Statistics ]==============================
0.19/0.22	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.19/0.22	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.19/0.22	c ===============================================================================
0.19/0.22	c |         0 |    5924     6634    34002 |     5000        0   -nan |  0.000 % |
0.19/0.23	c |       100 |    5920     6634    34002 |     5500      100     11 |  0.135 % |
0.19/0.23	c ===============================================================================
0.19/0.24	c core #31
0.19/0.24	c 
0.19/0.24	c 
0.19/0.24	c Core size: 361	Core Weight: 1	Total Weight: 91
0.19/0.24	c Current CPU time: 0.219966 s
0.19/0.24	c
0.19/0.24	c ============================[ Search Statistics ]==============================
0.19/0.24	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.19/0.24	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.19/0.24	c ===============================================================================
0.19/0.24	c |         0 |    6247     6928    35655 |     5000        0   -nan |  0.000 % |
0.19/0.25	c |       100 |    6242     6928    35655 |     5500      100     13 |  0.128 % |
0.19/0.26	c ===============================================================================
0.19/0.26	c core #32
0.19/0.26	c 
0.19/0.26	c 
0.19/0.26	c Core size: 403	Core Weight: 1	Total Weight: 92
0.19/0.26	c Current CPU time: 0.241963 s
0.19/0.26	c
0.19/0.26	c ============================[ Search Statistics ]==============================
0.19/0.26	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.19/0.26	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.19/0.26	c ===============================================================================
0.19/0.26	c |         0 |    6619     7259    37570 |     5000        0   -nan |  0.000 % |
0.19/0.27	c |       100 |    6612     7259    37570 |     5500      100     11 |  0.212 % |
0.19/0.28	c ===============================================================================
0.19/0.28	c core #33
0.19/0.28	c 
0.19/0.28	c 
0.19/0.28	c Core size: 383	Core Weight: 1	Total Weight: 93
0.19/0.28	c Current CPU time: 0.264959 s
0.19/0.28	c
0.19/0.28	c ============================[ Search Statistics ]==============================
0.19/0.28	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.19/0.28	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.19/0.28	c ===============================================================================
0.19/0.28	c |         0 |    6973     7578    39387 |     5000        0   -nan |  0.000 % |
0.29/0.30	c |       101 |    6971     7578    39387 |     5500      101     12 |  0.029 % |
0.29/0.31	c |       253 |    6931     7578    39387 |     6050      253     12 |  0.603 % |
0.29/0.31	c ===============================================================================
0.29/0.32	c core #34
0.29/0.32	c 
0.29/0.32	c 
0.29/0.32	c Core size: 453	Core Weight: 1	Total Weight: 94
0.29/0.32	c Current CPU time: 0.294955 s
0.29/0.32	c
0.29/0.32	c ============================[ Search Statistics ]==============================
0.29/0.32	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.29/0.32	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.29/0.32	c ===============================================================================
0.29/0.32	c |         0 |    7388     7925    41447 |     5000        0   -nan |  0.000 % |
0.29/0.33	c |       100 |    7381     7925    41447 |     5500      100     12 |  0.190 % |
0.29/0.34	c |       250 |    7368     7925    41447 |     6050      250     13 |  0.271 % |
0.29/0.36	c ===============================================================================
0.29/0.37	c core #35
0.29/0.37	c 
0.29/0.37	c 
0.29/0.37	c Core size: 494	Core Weight: 1	Total Weight: 95
0.29/0.37	c Current CPU time: 0.342947 s
0.29/0.37	c
0.29/0.37	c ============================[ Search Statistics ]==============================
0.29/0.37	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.29/0.37	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.29/0.37	c ===============================================================================
0.29/0.37	c |         0 |    7841     8278    43611 |     5000        0   -nan |  0.000 % |
0.29/0.38	c |       101 |    7841     8278    43611 |     5500      101     24 |  0.000 % |
0.39/0.40	c |       251 |    7837     8278    43611 |     6050      251     18 |  0.051 % |
0.39/0.42	c |       477 |    7827     8278    43611 |     6655      477     16 |  0.281 % |
0.39/0.45	c |       815 |    7815     8278    43611 |     7320      815     19 |  0.332 % |
0.49/0.51	c |      1322 |    7815     8278    43611 |     8052     1322     20 |  0.332 % |
0.49/0.58	c ===============================================================================
0.49/0.59	c core #36
0.49/0.59	c 
0.49/0.59	c 
0.49/0.59	c Core size: 487	Core Weight: 1	Total Weight: 96
0.49/0.59	c Current CPU time: 0.557915 s
0.49/0.59	c
0.49/0.59	c ============================[ Search Statistics ]==============================
0.49/0.59	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.49/0.59	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.49/0.59	c ===============================================================================
0.49/0.59	c |         0 |    8305     8620    45755 |     5000        0   -nan |  0.000 % |
0.59/0.60	c |       102 |    8303     8620    45755 |     5500      102     21 |  0.024 % |
0.59/0.61	c |       252 |    8289     8620    45755 |     6050      252     16 |  0.217 % |
0.59/0.64	c |       478 |    8287     8620    45755 |     6655      478     18 |  0.241 % |
0.59/0.68	c |       816 |    8285     8620    45755 |     7320      816     21 |  0.241 % |
0.69/0.73	c |      1323 |    8285     8620    45755 |     8052     1323     23 |  0.241 % |
0.79/0.82	c |      2083 |    8285     8620    45755 |     8857     2083     25 |  0.241 % |
0.89/0.97	c |      3226 |    8242     8620    45755 |     9743     3226     27 |  1.818 % |
1.09/1.18	c |      4935 |    8154     8620    45755 |    10717     4935     31 |  1.818 % |
1.49/1.51	c |      7497 |    8154     8620    45755 |    11789     7497     33 |  1.818 % |
1.89/1.93	c |     11343 |    7780     8620    45755 |    12968    11343     32 |  6.321 % |
1.89/1.96	c ===============================================================================
1.99/2.00	c core #37
1.99/2.00	c 
1.99/2.00	c 
1.99/2.00	c Core size: 528	Core Weight: 1	Total Weight: 97
1.99/2.00	c Current CPU time: 1.9537 s
1.99/2.00	c
1.99/2.00	c ============================[ Search Statistics ]==============================
1.99/2.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.99/2.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.99/2.00	c ===============================================================================
1.99/2.00	c |         0 |    8797     8976    48029 |     5000        0   -nan |  0.000 % |
1.99/2.02	c |       100 |    8795     8976    48029 |     5500      100     12 |  0.045 % |
1.99/2.03	c |       250 |    8789     8976    48029 |     6050      250     14 |  0.114 % |
1.99/2.06	c |       475 |    8760     8976    48029 |     6655      475     18 |  0.477 % |
1.99/2.10	c |       815 |    8752     8976    48029 |     7320      815     24 |  0.546 % |
2.09/2.16	c |      1324 |    8749     8976    48029 |     8052     1324     28 |  0.546 % |
2.20/2.24	c |      2083 |    8749     8976    48029 |     8857     2083     31 |  0.546 % |
2.29/2.37	c |      3222 |    8749     8976    48029 |     9743     3222     33 |  0.546 % |
2.49/2.59	c |      4930 |    8749     8976    48029 |    10717     4930     35 |  0.546 % |
2.89/2.97	c |      7495 |    8749     8976    48029 |    11789     7495     36 |  0.546 % |
3.49/3.55	c |     11339 |    8749     8976    48029 |    12968    11339     36 |  0.546 % |
4.59/4.60	c |     17105 |    8749     8976    48029 |    14265    10509     44 |  0.546 % |
6.60/6.66	c |     25759 |    8749     8976    48029 |    15692    11673     51 |  0.546 % |
10.09/10.17	c |     38737 |    8749     8976    48029 |    17261    16424     54 |  0.546 % |
14.69/14.77	c |     58200 |    8611     8976    48029 |    18987    17855     51 |  2.114 % |
20.29/20.30	c |     87394 |    8611     8976    48029 |    20886    17283     55 |  2.114 % |
31.69/31.73	c |    131184 |    8611     8976    48029 |    22974    16951     56 |  2.115 % |
38.29/38.32	c ===============================================================================
39.19/39.27	c core #38
39.19/39.27	c 
39.19/39.27	c 
39.19/39.27	c Core size: 548	Core Weight: 1	Total Weight: 98
39.19/39.27	c Current CPU time: 38.9951 s
39.19/39.27	c
39.19/39.27	c ============================[ Search Statistics ]==============================
39.19/39.27	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
39.19/39.27	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
39.19/39.27	c ===============================================================================
39.19/39.27	c |         0 |    9315     9351    50431 |     5000        0   -nan |  0.000 % |
39.19/39.28	c |       101 |    9313     9351    50431 |     5500      101     14 |  0.021 % |
39.30/39.30	c |       251 |    9300     9351    50431 |     6050      251     14 |  0.172 % |
39.30/39.32	c |       476 |    9299     9351    50431 |     6655      476     16 |  0.172 % |
39.30/39.37	c |       813 |    9297     9351    50431 |     7320      813     19 |  0.193 % |
39.39/39.43	c |      1319 |    9297     9351    50431 |     8052     1319     24 |  0.193 % |
39.50/39.53	c |      2078 |    9297     9351    50431 |     8857     2078     27 |  0.193 % |
39.60/39.69	c |      3217 |    9297     9351    50431 |     9743     3217     30 |  0.193 % |
39.79/39.89	c |      4925 |    9297     9351    50431 |    10717     4925     35 |  0.193 % |
40.19/40.25	c |      7492 |    9297     9351    50431 |    11789     7492     36 |  0.193 % |
40.79/40.87	c |     11337 |    9295     9351    50431 |    12968    11337     36 |  0.215 % |
41.99/42.04	c |     17104 |    9295     9351    50431 |    14265    10225     47 |  0.215 % |
44.29/44.35	c |     25757 |    9295     9351    50431 |    15692    11165     58 |  0.215 % |
48.00/48.02	c |     38733 |    9295     9351    50431 |    17261    15740     53 |  0.215 % |
52.19/52.20	c |     58196 |    9295     9351    50431 |    18987    16835     56 |  0.215 % |
59.70/59.74	c |     87388 |    9195     9351    50431 |    20886    16400     81 |  1.288 % |
74.99/75.02	c |    131178 |    9193     9351    50431 |    22974    16583     84 |  1.310 % |
95.90/95.91	c |    196863 |    9193     9351    50431 |    25272    22451     92 |  1.310 % |
135.89/135.92	c |    295390 |    9187     9351    50431 |    27799    25981     95 |  1.374 % |
194.60/194.64	c |    443182 |    9187     9351    50431 |    30579    16028    101 |  1.374 % |
301.70/301.70	c |    664866 |    9183     9351    50431 |    33637    16179     82 |  1.417 % |
423.41/423.50	c |    997392 |    9183     9351    50431 |    37001    24355     83 |  1.417 % |
622.41/622.40	c |   1496182 |    9064     9351    50431 |    40701    31603     90 |  2.695 % |
693.42/693.47	c ===============================================================================
702.01/702.02	c core #39
702.01/702.02	c 
702.01/702.02	c 
702.01/702.02	c Core size: 638	Core Weight: 1	Total Weight: 99
702.01/702.02	c Current CPU time: 699.485 s
702.01/702.02	c
702.01/702.02	c ============================[ Search Statistics ]==============================
702.01/702.02	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
702.01/702.02	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
702.01/702.02	c ===============================================================================
702.01/702.02	c |         0 |    9921     9726    52996 |     5000        0   -nan |  0.000 % |
702.01/702.04	c |       100 |    9917     9726    52996 |     5500      100     22 |  0.040 % |
702.01/702.06	c |       250 |    9917     9726    52996 |     6050      250     18 |  0.040 % |
702.01/702.09	c |       479 |    9915     9726    52996 |     6655      479     18 |  0.060 % |
702.11/702.13	c |       816 |    9913     9726    52996 |     7320      816     20 |  0.081 % |
702.21/702.21	c |      1324 |    9899     9726    52996 |     8052     1324     28 |  0.222 % |
702.31/702.32	c |      2086 |    9898     9726    52996 |     8857     2086     33 |  0.242 % |
702.51/702.50	c |      3226 |    9897     9726    52996 |     9743     3226     37 |  0.242 % |
702.82/702.81	c |      4935 |    9897     9726    52996 |    10717     4935     41 |  0.242 % |
703.32/703.35	c |      7497 |    9897     9726    52996 |    11789     7497     43 |  0.242 % |
703.92/703.94	c |     11342 |    9897     9726    52996 |    12968    11342     48 |  0.242 % |
705.02/705.06	c |     17109 |    9893     9726    52996 |    14265    10579     43 |  0.282 % |
707.11/707.17	c |     25760 |    9891     9726    52996 |    15692    11690     57 |  0.302 % |
711.22/711.29	c |     38735 |    9891     9726    52996 |    17261    16045     80 |  0.302 % |
715.31/715.33	c |     58197 |    9889     9726    52996 |    18987    17541     62 |  0.323 % |
721.52/721.60	c |     87389 |    9889     9726    52996 |    20886    15949     62 |  0.323 % |
735.72/735.72	c |    131182 |    9887     9726    52996 |    22974    15401     93 |  0.343 % |
761.22/761.28	c |    196867 |    9887     9726    52996 |    25272    20871     72 |  0.343 % |
795.81/795.83	c |    295397 |    9887     9726    52996 |    27799    24998     90 |  0.343 % |
853.12/853.17	c |    443195 |    9887     9726    52996 |    30579    19009     81 |  0.343 % |
945.82/945.81	c |    664880 |    9887     9726    52996 |    33637    21760     96 |  0.343 % |
1095.63/1095.69	c |    997405 |    9887     9726    52996 |    37001    34112    106 |  0.343 % |
1337.54/1337.56	c |   1496195 |    9885     9726    52996 |    40701    20328    116 |  0.363 % |
1656.75/1656.74	c |   2244381 |    9885     9726    52996 |    44771    13577    114 |  0.363 % |

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3447196-1307907060/watcher-3447196-1307907060 -o /tmp/evaluation-result-3447196-1307907060/solver-3447196-1307907060 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=wbo -time-limit=1800 -search-mode=0 HOME/instance-3447196-1307907060.wbo 

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 1.95 2/178 20242
/proc/meminfo: memFree=32070420/32951124 swapFree=67072804/67111528
[pid=20242] ppid=20240 vsize=2244 CPUtime=0 cores=0,2,4,6
/proc/20242/stat : 20242 (wbo1.6) R 20240 20242 18875 0 -1 4202496 355 0 0 0 0 0 0 0 25 0 1 0 902303853 2297856 295 33554432000 4194304 5714214 140737401511712 18446744073709551615 4356294 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/20242/statm: 561 295 177 372 0 186 0

[startup+0.099984 s]
/proc/loadavg: 2.00 2.00 1.95 2/178 20242
/proc/meminfo: memFree=32070420/32951124 swapFree=67072804/67111528
[pid=20242] ppid=20240 vsize=4236 CPUtime=0.09 cores=0,2,4,6
/proc/20242/stat : 20242 (wbo1.6) R 20240 20242 18875 0 -1 4202496 870 0 0 0 9 0 0 0 18 0 1 0 902303853 4337664 786 33554432000 4194304 5714214 140737401511712 18446744073709551615 4329517 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/20242/statm: 1059 786 178 372 0 684 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4236

[startup+0.100974 s]
/proc/loadavg: 2.00 2.00 1.95 2/178 20242
/proc/meminfo: memFree=32070420/32951124 swapFree=67072804/67111528
[pid=20242] ppid=20240 vsize=4236 CPUtime=0.09 cores=0,2,4,6
/proc/20242/stat : 20242 (wbo1.6) R 20240 20242 18875 0 -1 4202496 874 0 0 0 9 0 0 0 18 0 1 0 902303853 4337664 790 33554432000 4194304 5714214 140737401511712 18446744073709551615 4968986 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/20242/statm: 1059 790 178 372 0 684 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4236

[startup+0.300907 s]
/proc/loadavg: 2.00 2.00 1.95 2/178 20242
/proc/meminfo: memFree=32070420/32951124 swapFree=67072804/67111528
[pid=20242] ppid=20240 vsize=6280 CPUtime=0.29 cores=0,2,4,6
/proc/20242/stat : 20242 (wbo1.6) R 20240 20242 18875 0 -1 4202496 1618 0 0 0 28 1 0 0 18 0 1 0 902303853 6430720 1273 33554432000 4194304 5714214 140737401511712 18446744073709551615 4323003 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/20242/statm: 1570 1273 178 372 0 1195 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6280

[startup+0.700891 s]
/proc/loadavg: 2.00 2.00 1.95 2/178 20242
/proc/meminfo: memFree=32070420/32951124 swapFree=67072804/67111528
[pid=20242] ppid=20240 vsize=7800 CPUtime=0.69 cores=0,2,4,6
/proc/20242/stat : 20242 (wbo1.6) R 20240 20242 18875 0 -1 4202496 2080 0 0 0 66 3 0 0 18 0 1 0 902303853 7987200 1650 33554432000 4194304 5714214 140737401511712 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/20242/statm: 1950 1650 178 372 0 1575 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7800

[startup+1.5007 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 20243
/proc/meminfo: memFree=32052208/32951124 swapFree=67072804/67111528
[pid=20242] ppid=20240 vsize=7800 CPUtime=1.49 cores=0,2,4,6
/proc/20242/stat : 20242 (wbo1.6) R 20240 20242 18875 0 -1 4202496 2089 0 0 0 145 4 0 0 19 0 1 0 902303853 7987200 1659 33554432000 4194304 5714214 140737401511712 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/20242/statm: 1950 1659 178 372 0 1575 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7800

[startup+3.10044 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 20243
/proc/meminfo: memFree=32035096/32951124 swapFree=67072804/67111528
[pid=20242] ppid=20240 vsize=11960 CPUtime=3.09 cores=0,2,4,6
/proc/20242/stat : 20242 (wbo1.6) R 20240 20242 18875 0 -1 4202496 3145 0 0 0 305 4 0 0 25 0 1 0 902303853 12247040 2715 33554432000 4194304 5714214 140737401511712 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/20242/statm: 2990 2715 178 372 0 2615 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11960

[startup+6.30082 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 20243
/proc/meminfo: memFree=32022772/32951124 swapFree=67072804/67111528
[pid=20242] ppid=20240 vsize=13048 CPUtime=6.29 cores=0,2,4,6
/proc/20242/stat : 20242 (wbo1.6) R 20240 20242 18875 0 -1 4202496 3428 0 0 0 622 7 0 0 25 0 1 0 902303853 13361152 2998 33554432000 4194304 5714214 140737401511712 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/20242/statm: 3262 2998 178 372 0 2887 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 13048

[startup+12.7007 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 20243
/proc/meminfo: memFree=32016836/32951124 swapFree=67072804/67111528
[pid=20242] ppid=20240 vsize=18880 CPUtime=12.69 cores=0,2,4,6
/proc/20242/stat : 20242 (wbo1.6) R 20240 20242 18875 0 -1 4202496 4849 0 0 0 1260 9 0 0 25 0 1 0 902303853 19333120 4419 33554432000 4194304 5714214 140737401511712 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/20242/statm: 4720 4419 178 372 0 4345 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 18880

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 20282
/proc/meminfo: memFree=32428884/32951124 swapFree=67072804/67111528
[pid=20242] ppid=20240 vsize=30196 CPUtime=25.49 cores=0,2,4,6
/proc/20242/stat : 20242 (wbo1.6) R 20240 20242 18875 0 -1 4202496 7560 0 0 0 2536 13 0 0 25 0 1 0 902303853 30920704 7130 33554432000 4194304 5714214 140737401511712 18446744073709551615 4319182 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/20242/statm: 7549 7130 178 372 0 7174 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 30196

[startup+51.1005 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 20282
/proc/meminfo: memFree=32378444/32951124 swapFree=67072804/67111528
[pid=20242] ppid=20240 vsize=47476 CPUtime=51.1 cores=0,2,4,6
/proc/20242/stat : 20242 (wbo1.6) R 20240 20242 18875 0 -1 4202496 11825 0 0 0 5087 23 0 0 25 0 1 0 902303853 48615424 11395 33554432000 4194304 5714214 140737401511712 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/20242/statm: 11869 11395 178 372 0 11494 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 47476

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 20284
/proc/meminfo: memFree=32332016/32951124 swapFree=67072804/67111528
[pid=20242] ppid=20240 vsize=55460 CPUtime=102.29 cores=0,2,4,6
/proc/20242/stat : 20242 (wbo1.6) R 20240 20242 18875 0 -1 4202496 13936 0 0 0 10194 35 0 0 25 0 1 0 902303853 56791040 13506 33554432000 4194304 5714214 140737401511712 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/20242/statm: 13865 13506 178 372 0 13490 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 55460

[startup+162.301 s]
/proc/loadavg: 2.13 2.04 1.97 3/179 20285
/proc/meminfo: memFree=32302192/32951124 swapFree=67072804/67111528
[pid=20242] ppid=20240 vsize=83476 CPUtime=162.3 cores=0,2,4,6
/proc/20242/stat : 20242 (wbo1.6) R 20240 20242 18875 0 -1 4202496 20622 0 0 0 16181 49 0 0 25 0 1 0 902303853 85479424 20192 33554432000 4194304 5714214 140737401511712 18446744073709551615 4323047 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/20242/statm: 20869 20192 178 372 0 20494 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 83476

[startup+222.301 s]
/proc/loadavg: 2.04 2.03 1.97 3/179 20287
/proc/meminfo: memFree=32255140/32951124 swapFree=67072804/67111528
[pid=20242] ppid=20240 vsize=101564 CPUtime=222.3 cores=0,2,4,6
/proc/20242/stat : 20242 (wbo1.6) R 20240 20242 18875 0 -1 4202496 25003 0 0 0 22169 61 0 0 25 0 1 0 902303853 104001536 24573 33554432000 4194304 5714214 140737401511712 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/20242/statm: 25391 24573 178 372 0 25016 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 101564

[startup+282.301 s]
/proc/loadavg: 2.01 2.02 1.97 3/179 20288
/proc/meminfo: memFree=32215416/32951124 swapFree=67072804/67111528
[pid=20242] ppid=20240 vsize=118908 CPUtime=282.3 cores=0,2,4,6
/proc/20242/stat : 20242 (wbo1.6) R 20240 20242 18875 0 -1 4202496 29262 0 0 0 28159 71 0 0 25 0 1 0 902303853 121761792 28832 33554432000 4194304 5714214 140737401511712 18446744073709551615 4319274 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/20242/statm: 29727 28832 178 372 0 29352 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 118908

[startup+342.301 s]
/proc/loadavg: 2.00 2.02 1.97 3/179 20290
/proc/meminfo: memFree=32175204/32951124 swapFree=67072804/67111528
[pid=20242] ppid=20240 vsize=139464 CPUtime=342.3 cores=0,2,4,6
/proc/20242/stat : 20242 (wbo1.6) R 20240 20242 18875 0 -1 4202496 34346 0 0 0 34145 85 0 0 25 0 1 0 902303853 142811136 33916 33554432000 4194304 5714214 140737401511712 18446744073709551615 4319355 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/20242/statm: 34866 33916 178 372 0 34491 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 139464

[startup+402.3 s]
/proc/loadavg: 2.07 2.03 1.97 3/179 20292
/proc/meminfo: memFree=32142792/32951124 swapFree=67072804/67111528
[pid=20242] ppid=20240 vsize=160220 CPUtime=402.3 cores=0,2,4,6
/proc/20242/stat : 20242 (wbo1.6) R 20240 20242 18875 0 -1 4202496 39437 0 0 0 40131 99 0 0 25 0 1 0 902303853 164065280 39007 33554432000 4194304 5714214 140737401511712 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/20242/statm: 40055 39007 178 372 0 39680 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 160220

[startup+462.3 s]
/proc/loadavg: 2.10 2.04 1.98 3/179 20293
/proc/meminfo: memFree=32104548/32951124 swapFree=67072804/67111528
[pid=20242] ppid=20240 vsize=178824 CPUtime=462.3 cores=0,2,4,6
/proc/20242/stat : 20242 (wbo1.6) R 20240 20242 18875 0 -1 4202496 44049 0 0 0 46119 111 0 0 25 0 1 0 902303853 183115776 43619 33554432000 4194304 5714214 140737401511712 18446744073709551615 4319878 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/20242/statm: 44706 43619 178 372 0 44331 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 178824

[startup+522.3 s]
/proc/loadavg: 2.07 2.04 1.98 3/179 20295
/proc/meminfo: memFree=32062224/32951124 swapFree=67072804/67111528
[pid=20242] ppid=20240 vsize=201440 CPUtime=522.31 cores=0,2,4,6
/proc/20242/stat : 20242 (wbo1.6) R 20240 20242 18875 0 -1 4202496 49602 0 0 0 52105 126 0 0 25 0 1 0 902303853 206274560 49172 33554432000 4194304 5714214 140737401511712 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/20242/statm: 50360 49172 178 372 0 49985 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 201440

[startup+582.301 s]
/proc/loadavg: 2.10 2.06 2.00 3/179 20296
/proc/meminfo: memFree=32023488/32951124 swapFree=67072804/67111528
[pid=20242] ppid=20240 vsize=226312 CPUtime=582.31 cores=0,2,4,6
/proc/20242/stat : 20242 (wbo1.6) R 20240 20242 18875 0 -1 4202496 55758 0 0 0 58089 142 0 0 25 0 1 0 902303853 231743488 55328 33554432000 4194304 5714214 140737401511712 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/20242/statm: 56578 55328 178 372 0 56203 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 226312

[startup+642.301 s]

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

[startup+822.301 s]
/proc/loadavg: 2.05 2.04 2.00 3/179 20303
/proc/meminfo: memFree=31881556/32951124 swapFree=67072804/67111528
[pid=20242] ppid=20240 vsize=301304 CPUtime=822.32 cores=0,2,4,6
/proc/20242/stat : 20242 (wbo1.6) R 20240 20242 18875 0 -1 4202496 74824 0 0 0 82039 193 0 0 25 0 1 0 902303853 308535296 74183 33554432000 4194304 5714214 140737401511712 18446744073709551615 4319446 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/20242/statm: 75326 74183 178 372 0 74951 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 301304

[startup+882.301 s]
/proc/loadavg: 2.02 2.03 2.00 3/179 20305
/proc/meminfo: memFree=31871196/32951124 swapFree=67072804/67111528
[pid=20242] ppid=20240 vsize=301304 CPUtime=882.32 cores=0,2,4,6
/proc/20242/stat : 20242 (wbo1.6) R 20240 20242 18875 0 -1 4202496 74842 0 0 0 88028 204 0 0 25 0 1 0 902303853 308535296 74201 33554432000 4194304 5714214 140737401511712 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/20242/statm: 75326 74201 178 372 0 74951 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 301304

[startup+942.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 20306
/proc/meminfo: memFree=31857636/32951124 swapFree=67072804/67111528
[pid=20242] ppid=20240 vsize=301304 CPUtime=942.32 cores=0,2,4,6
/proc/20242/stat : 20242 (wbo1.6) R 20240 20242 18875 0 -1 4202496 74944 0 0 0 94016 216 0 0 25 0 1 0 902303853 308535296 74303 33554432000 4194304 5714214 140737401511712 18446744073709551615 4300208 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/20242/statm: 75326 74303 178 372 0 74951 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 301304

[startup+1002.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 20308
/proc/meminfo: memFree=31855356/32951124 swapFree=67072804/67111528
[pid=20242] ppid=20240 vsize=301304 CPUtime=1002.32 cores=0,2,4,6
/proc/20242/stat : 20242 (wbo1.6) R 20240 20242 18875 0 -1 4202496 74982 0 0 0 100005 227 0 0 25 0 1 0 902303853 308535296 74341 33554432000 4194304 5714214 140737401511712 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/20242/statm: 75326 74341 178 372 0 74951 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 301304

[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 20309
/proc/meminfo: memFree=31846384/32951124 swapFree=67072804/67111528
[pid=20242] ppid=20240 vsize=301304 CPUtime=1062.32 cores=0,2,4,6
/proc/20242/stat : 20242 (wbo1.6) R 20240 20242 18875 0 -1 4202496 74986 0 0 0 105995 237 0 0 25 0 1 0 902303853 308535296 74345 33554432000 4194304 5714214 140737401511712 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/20242/statm: 75326 74345 178 372 0 74951 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 301304

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20311
/proc/meminfo: memFree=31836776/32951124 swapFree=67072804/67111528
[pid=20242] ppid=20240 vsize=301304 CPUtime=1122.33 cores=0,2,4,6
/proc/20242/stat : 20242 (wbo1.6) R 20240 20242 18875 0 -1 4202496 75041 0 0 0 111986 247 0 0 25 0 1 0 902303853 308535296 74400 33554432000 4194304 5714214 140737401511712 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/20242/statm: 75326 74400 178 372 0 74951 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 301304

[startup+1182.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/179 20312
/proc/meminfo: memFree=31818620/32951124 swapFree=67072804/67111528
[pid=20242] ppid=20240 vsize=301304 CPUtime=1182.33 cores=0,2,4,6
/proc/20242/stat : 20242 (wbo1.6) R 20240 20242 18875 0 -1 4202496 75101 0 0 0 117974 259 0 0 25 0 1 0 902303853 308535296 74460 33554432000 4194304 5714214 140737401511712 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/20242/statm: 75326 74460 178 372 0 74951 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 301304

[startup+1242.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 20314
/proc/meminfo: memFree=31804796/32951124 swapFree=67072804/67111528
[pid=20242] ppid=20240 vsize=301304 CPUtime=1242.33 cores=0,2,4,6
/proc/20242/stat : 20242 (wbo1.6) R 20240 20242 18875 0 -1 4202496 75191 0 0 0 123964 269 0 0 25 0 1 0 902303853 308535296 74550 33554432000 4194304 5714214 140737401511712 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/20242/statm: 75326 74550 178 372 0 74951 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 301304

[startup+1302.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 20316
/proc/meminfo: memFree=31789380/32951124 swapFree=67072804/67111528
[pid=20242] ppid=20240 vsize=301304 CPUtime=1302.34 cores=0,2,4,6
/proc/20242/stat : 20242 (wbo1.6) R 20240 20242 18875 0 -1 4202496 75329 0 0 0 129954 280 0 0 25 0 1 0 902303853 308535296 74688 33554432000 4194304 5714214 140737401511712 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/20242/statm: 75326 74688 178 372 0 74951 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 301304

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20317
/proc/meminfo: memFree=31775580/32951124 swapFree=67072804/67111528
[pid=20242] ppid=20240 vsize=301304 CPUtime=1362.34 cores=0,2,4,6
/proc/20242/stat : 20242 (wbo1.6) R 20240 20242 18875 0 -1 4202496 75421 0 0 0 135943 291 0 0 25 0 1 0 902303853 308535296 74780 33554432000 4194304 5714214 140737401511712 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/20242/statm: 75326 74780 178 372 0 74951 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 301304

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20319
/proc/meminfo: memFree=31761396/32951124 swapFree=67072804/67111528
[pid=20242] ppid=20240 vsize=301304 CPUtime=1422.35 cores=0,2,4,6
/proc/20242/stat : 20242 (wbo1.6) R 20240 20242 18875 0 -1 4202496 75586 0 0 0 141930 305 0 0 25 0 1 0 902303853 308535296 74945 33554432000 4194304 5714214 140737401511712 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/20242/statm: 75326 74945 178 372 0 74951 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 301304

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20320
/proc/meminfo: memFree=31761088/32951124 swapFree=67072804/67111528
[pid=20242] ppid=20240 vsize=301304 CPUtime=1482.34 cores=0,2,4,6
/proc/20242/stat : 20242 (wbo1.6) R 20240 20242 18875 0 -1 4202496 75641 0 0 0 147915 319 0 0 25 0 1 0 902303853 308535296 75000 33554432000 4194304 5714214 140737401511712 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/20242/statm: 75326 75000 178 372 0 74951 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 301304

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20322
/proc/meminfo: memFree=31710076/32951124 swapFree=67072804/67111528
[pid=20242] ppid=20240 vsize=317596 CPUtime=1542.34 cores=0,2,4,6
/proc/20242/stat : 20242 (wbo1.6) R 20240 20242 18875 0 -1 4202496 79548 0 0 0 153901 333 0 0 25 0 1 0 902303853 325218304 78907 33554432000 4194304 5714214 140737401511712 18446744073709551615 4319375 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/20242/statm: 79399 78907 178 372 0 79024 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 317596

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20324
/proc/meminfo: memFree=31681392/32951124 swapFree=67072804/67111528
[pid=20242] ppid=20240 vsize=340272 CPUtime=1602.34 cores=0,2,4,6
/proc/20242/stat : 20242 (wbo1.6) R 20240 20242 18875 0 -1 4202496 85098 0 0 0 159889 345 0 0 25 0 1 0 902303853 348438528 84457 33554432000 4194304 5714214 140737401511712 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/20242/statm: 85068 84457 178 372 0 84693 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 340272

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20325
/proc/meminfo: memFree=31648844/32951124 swapFree=67072804/67111528
[pid=20242] ppid=20240 vsize=359268 CPUtime=1662.35 cores=0,2,4,6
/proc/20242/stat : 20242 (wbo1.6) R 20240 20242 18875 0 -1 4202496 89769 0 0 0 165878 357 0 0 25 0 1 0 902303853 367890432 89128 33554432000 4194304 5714214 140737401511712 18446744073709551615 4322884 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/20242/statm: 89817 89128 178 372 0 89442 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 359268

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20327
/proc/meminfo: memFree=31604904/32951124 swapFree=67072804/67111528
[pid=20242] ppid=20240 vsize=376144 CPUtime=1722.34 cores=0,2,4,6
/proc/20242/stat : 20242 (wbo1.6) R 20240 20242 18875 0 -1 4202496 93878 0 0 0 171868 366 0 0 25 0 1 0 902303853 385171456 93237 33554432000 4194304 5714214 140737401511712 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/20242/statm: 94036 93237 178 372 0 93661 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 376144

[startup+1782.3 s]
/proc/loadavg: 2.22 2.07 2.02 3/179 20329
/proc/meminfo: memFree=31567772/32951124 swapFree=67072804/67111528
[pid=20242] ppid=20240 vsize=395420 CPUtime=1782.35 cores=0,2,4,6
/proc/20242/stat : 20242 (wbo1.6) R 20240 20242 18875 0 -1 4202496 98529 0 0 0 177855 380 0 0 25 0 1 0 902303853 404910080 97888 33554432000 4194304 5714214 140737401511712 18446744073709551615 4319878 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/20242/statm: 98855 97888 178 372 0 98480 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 395420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.17 2.07 2.02 3/179 20329
/proc/meminfo: memFree=31558208/32951124 swapFree=67072804/67111528
[pid=20242] ppid=20240 vsize=400612 CPUtime=1800.06 cores=0,2,4,6
/proc/20242/stat : 20242 (wbo1.6) R 20240 20242 18875 0 -1 4202496 99839 0 0 0 179622 384 0 0 25 0 1 0 902303853 410226688 99198 33554432000 4194304 5714214 140737401511712 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/20242/statm: 100153 99198 178 372 0 99778 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 400612

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.03
CPU time (s): 1800.08
CPU user time (s): 1796.22
CPU system time (s): 3.86041
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 400612

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

runsolver used 2.80157 second user time and 5.76712 second system time

The end

Launcher Data 

Begin job on node135 at 2011-06-12 21:31:00
IDJOB=3447196
IDBENCH=79389
IDSOLVER=1943
FILE ID=node135/3447196-1307907060
RUNJOBID= node135-1307904100-19855
PBS_JOBID= 13559571
Free space on /tmp= 73884 MiB

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

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

MD5SUM BENCH= a9c1b78c2cafd61259a4392acdb09fa2
RANDOM SEED=1335495460

node135.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.851
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.70
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.851
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.851
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.851
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 6640.14
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.851
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.851
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.851
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.851
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      32070856 kB
Buffers:        117260 kB
Cached:         125480 kB
SwapCached:       6348 kB
Active:         600468 kB
Inactive:        92524 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      32070856 kB
SwapTotal:    67111528 kB
SwapFree:     67072804 kB
Dirty:            4304 kB
Writeback:           0 kB
AnonPages:      449116 kB
Mapped:          11396 kB
Slab:           122336 kB
PageTables:       4748 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   605920 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73880 MiB
End job on node135 at 2011-06-12 22:01:02