Trace number 3446841

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.6OPTIMUM 14.8977 14.8973

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111227326--soft-66-100-0.wbo
MD5SUMcaa659759fe222b10bf8cf76097f6901
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark17
Best CPU time to get the best result obtained on this benchmark0.611906
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables169
Total number of constraints101
Number of soft constraints28
Number of constraints which are clauses30
Number of constraints which are cardinality constraints (but not clauses)70
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint169
Top cost 1415
Min constraint cost 1
Max constraint cost 98
Sum of constraints costs 1414
Biggest number in a constraint 38
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1273
Number of bits of the biggest sum of numbers11
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-3446841-1307904729.wbo.
0.00/0.00	c Instance file HOME/instance-3446841-1307904729.wbo
0.00/0.00	c File size is 10107 bytes.
0.00/0.00	c Highest Coefficient sum: 1273
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:      169                                                 |
0.00/0.00	c |  Number Clauses:        30                                                  |
0.00/0.00	c |  Number Cardinality:    70                                                  |
0.00/0.00	c |  Number PB Constraints: 1                                                   |
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 |     169      101     1205 |     5000        0   -nan |  0.000 % |
0.00/0.00	c |       100 |     169      101     1205 |     5500      100     25 |  0.004 % |
0.00/0.00	c |       250 |     169      101     1205 |     6050      250     27 |  0.004 % |
0.00/0.00	c |       475 |     169      101     1205 |     6655      475     26 |  0.004 % |
0.00/0.01	c |       817 |     169      101     1205 |     7320      817     24 |  0.004 % |
0.00/0.02	c |      1324 |     169      101     1205 |     8052     1324     26 |  0.004 % |
0.00/0.04	c |      2084 |     169      101     1205 |     8857     2084     28 |  0.004 % |
0.05/0.06	c |      3224 |     169      101     1205 |     9743     3224     29 |  0.004 % |
0.09/0.11	c |      4936 |     169      101     1205 |    10717     4936     31 |  0.004 % |
0.19/0.20	c |      7498 |     169      101     1205 |    11789     7498     34 |  0.004 % |
0.29/0.37	c |     11342 |     169      101     1205 |    12968    11342     36 |  0.004 % |
0.59/0.61	c |     17108 |     169      101     1205 |    14265    10570     38 |  0.004 % |
0.99/1.01	c |     25758 |     169      101     1205 |    15692    12042     40 |  0.004 % |
1.69/1.70	c |     38733 |     132      101     1205 |    17261     9220     47 | 21.898 % |
1.69/1.73	c ===============================================================================
1.79/1.86	c core #1
1.79/1.86	c 
1.79/1.86	c 
1.79/1.86	c Core size: 43	Core Weight: 1	Total Weight: 1
1.79/1.86	c Current CPU time: 1.82372 s
1.79/1.86	c
1.79/1.86	c ============================[ Search Statistics ]==============================
1.79/1.86	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.79/1.86	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.79/1.86	c ===============================================================================
1.79/1.86	c |         0 |     196      129     1699 |     5000        0   -nan |  0.000 % |
1.79/1.86	c |       100 |     196      129     1699 |     5500      100     25 |  0.003 % |
1.79/1.86	c |       250 |     196      129     1699 |     6050      250     27 |  0.003 % |
1.79/1.86	c |       476 |     196      129     1699 |     6655      476     28 |  0.003 % |
1.79/1.87	c |       813 |     196      129     1699 |     7320      813     28 |  0.003 % |
1.79/1.88	c |      1319 |     196      129     1699 |     8052     1319     27 |  0.003 % |
1.89/1.90	c |      2078 |     196      129     1699 |     8857     2078     27 |  0.003 % |
1.89/1.93	c |      3218 |     196      129     1699 |     9743     3218     28 |  0.003 % |
1.89/1.98	c |      4927 |     196      129     1699 |    10717     4927     30 |  0.003 % |
1.99/2.07	c |      7489 |     196      129     1699 |    11789     7489     33 |  0.003 % |
2.20/2.25	c |     11333 |     196      129     1699 |    12968    11333     34 |  0.003 % |
2.49/2.51	c |     17103 |     196      129     1699 |    14265    10575     38 |  0.003 % |
2.79/2.89	c |     25753 |     159      129     1699 |    15692    12035     43 | 18.880 % |
2.89/2.98	c ===============================================================================
2.99/3.06	c core #2
2.99/3.06	c 
2.99/3.06	c 
2.99/3.06	c Core size: 40	Core Weight: 5	Total Weight: 6
2.99/3.06	c Current CPU time: 3.01154 s
2.99/3.06	c
2.99/3.06	c ============================[ Search Statistics ]==============================
2.99/3.06	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.99/3.06	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.99/3.06	c ===============================================================================
2.99/3.06	c |         0 |     222      155     2172 |     5000        0   -nan |  0.000 % |
2.99/3.06	c |       100 |     222      155     2172 |     5500      100     25 |  0.002 % |
2.99/3.06	c |       250 |     222      155     2172 |     6050      250     26 |  0.002 % |
2.99/3.07	c |       476 |     222      155     2172 |     6655      476     30 |  0.002 % |
2.99/3.08	c |       813 |     222      155     2172 |     7320      813     27 |  0.002 % |
2.99/3.09	c |      1319 |     222      155     2172 |     8052     1319     27 |  0.002 % |
3.09/3.10	c |      2078 |     222      155     2172 |     8857     2078     30 |  0.002 % |
3.09/3.13	c |      3218 |     222      155     2172 |     9743     3218     32 |  0.002 % |
3.09/3.18	c |      4928 |     222      155     2172 |    10717     4928     32 |  0.002 % |
3.19/3.28	c |      7490 |     222      155     2172 |    11789     7490     33 |  0.002 % |
3.39/3.45	c |     11334 |     222      155     2172 |    12968    11334     35 |  0.002 % |
3.59/3.69	c |     17101 |     222      155     2172 |    14265    10595     39 |  0.002 % |
4.09/4.13	c |     25752 |     222      155     2172 |    15692    12072     43 |  0.002 % |
4.49/4.58	c ===============================================================================
4.59/4.69	c core #3
4.59/4.69	c 
4.59/4.69	c 
4.59/4.69	c Core size: 46	Core Weight: 1	Total Weight: 7
4.59/4.69	c Current CPU time: 4.6183 s
4.59/4.69	c
4.59/4.69	c ============================[ Search Statistics ]==============================
4.59/4.69	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.59/4.69	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
4.59/4.69	c ===============================================================================
4.59/4.69	c |         0 |     250      183     2670 |     5000        0   -nan |  0.000 % |
4.59/4.69	c |       100 |     250      183     2670 |     5500      100     25 |  0.002 % |
4.69/4.70	c |       250 |     250      183     2670 |     6050      250     28 |  0.002 % |
4.69/4.70	c |       476 |     250      183     2670 |     6655      476     30 |  0.002 % |
4.69/4.71	c |       814 |     250      183     2670 |     7320      814     29 |  0.002 % |
4.69/4.72	c |      1321 |     250      183     2670 |     8052     1321     30 |  0.002 % |
4.69/4.74	c |      2085 |     250      183     2670 |     8857     2085     32 |  0.002 % |
4.69/4.76	c |      3224 |     250      183     2670 |     9743     3224     32 |  0.002 % |
4.79/4.81	c |      4932 |     250      183     2670 |    10717     4932     32 |  0.002 % |
4.89/4.90	c |      7495 |     250      183     2670 |    11789     7495     34 |  0.002 % |
4.99/5.09	c |     11342 |     250      183     2670 |    12968    11342     36 |  0.002 % |
5.30/5.37	c |     17108 |     250      183     2670 |    14265    10559     40 |  0.002 % |
5.79/5.89	c |     25760 |     250      183     2670 |    15692    12032     41 |  0.002 % |
6.29/6.39	c ===============================================================================
6.50/6.50	c core #4
6.50/6.50	c 
6.50/6.50	c 
6.50/6.50	c Core size: 43	Core Weight: 4	Total Weight: 11
6.50/6.50	c Current CPU time: 6.40203 s
6.50/6.50	c
6.50/6.50	c ============================[ Search Statistics ]==============================
6.50/6.50	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.50/6.50	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.50/6.50	c ===============================================================================
6.50/6.50	c |         0 |     276      209     3143 |     5000        0   -nan |  0.000 % |
6.50/6.50	c |       100 |     276      209     3143 |     5500      100     24 |  0.001 % |
6.50/6.51	c |       250 |     276      209     3143 |     6050      250     25 |  0.001 % |
6.50/6.51	c |       476 |     276      209     3143 |     6655      476     29 |  0.001 % |
6.50/6.52	c |       815 |     276      209     3143 |     7320      815     32 |  0.001 % |
6.50/6.53	c |      1321 |     276      209     3143 |     8052     1321     31 |  0.001 % |
6.50/6.55	c |      2080 |     276      209     3143 |     8857     2080     31 |  0.001 % |
6.50/6.58	c |      3220 |     276      209     3143 |     9743     3220     30 |  0.001 % |
6.60/6.63	c |      4929 |     276      209     3143 |    10717     4929     32 |  0.001 % |
6.69/6.72	c |      7491 |     276      209     3143 |    11789     7491     33 |  0.001 % |
6.79/6.88	c |     11335 |     276      209     3143 |    12968    11335     34 |  0.001 % |
7.09/7.14	c |     17101 |     276      209     3143 |    14265    10569     38 |  0.001 % |
7.49/7.58	c |     25751 |     276      209     3143 |    15692    12036     44 |  0.001 % |
7.99/8.04	c ===============================================================================
8.09/8.15	c core #5
8.09/8.15	c 
8.09/8.15	c 
8.09/8.15	c Core size: 45	Core Weight: 1	Total Weight: 12
8.09/8.15	c Current CPU time: 8.02378 s
8.09/8.15	c
8.09/8.15	c ============================[ Search Statistics ]==============================
8.09/8.15	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
8.09/8.15	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
8.09/8.15	c ===============================================================================
8.09/8.15	c |         0 |     304      235     3620 |     5000        0   -nan |  0.000 % |
8.09/8.15	c |       100 |     304      235     3620 |     5500      100     32 |  0.001 % |
8.09/8.15	c |       251 |     304      235     3620 |     6050      251     39 |  0.001 % |
8.09/8.16	c |       476 |     304      235     3620 |     6655      476     35 |  0.001 % |
8.09/8.16	c |       813 |     304      235     3620 |     7320      813     33 |  0.001 % |
8.09/8.17	c |      1322 |     304      235     3620 |     8052     1322     33 |  0.001 % |
8.09/8.19	c |      2084 |     304      235     3620 |     8857     2084     31 |  0.001 % |
8.19/8.22	c |      3224 |     304      235     3620 |     9743     3224     32 |  0.001 % |
8.19/8.27	c |      4933 |     304      235     3620 |    10717     4933     31 |  0.001 % |
8.29/8.36	c |      7495 |     304      235     3620 |    11789     7495     34 |  0.001 % |
8.49/8.53	c |     11343 |     304      235     3620 |    12968    11343     36 |  0.001 % |
8.79/8.85	c |     17109 |     304      235     3620 |    14265    10575     41 |  0.001 % |
9.29/9.31	c |     25759 |     304      235     3620 |    15692    12037     41 |  0.001 % |
9.99/10.02	c |     38733 |     304      235     3620 |    17261     9196     46 |  0.001 % |
10.19/10.27	c ===============================================================================
10.39/10.41	c core #6
10.39/10.41	c 
10.39/10.41	c 
10.39/10.41	c Core size: 39	Core Weight: 1	Total Weight: 13
10.39/10.41	c Current CPU time: 10.2454 s
10.39/10.41	c
10.39/10.41	c ============================[ Search Statistics ]==============================
10.39/10.41	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
10.39/10.41	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
10.39/10.41	c ===============================================================================
10.39/10.41	c |         0 |     328      260     4076 |     5000        0   -nan |  0.000 % |
10.39/10.41	c |       100 |     328      260     4076 |     5500      100     24 |  0.001 % |
10.39/10.42	c |       250 |     328      260     4076 |     6050      250     30 |  0.001 % |
10.39/10.42	c |       476 |     328      260     4076 |     6655      476     30 |  0.001 % |
10.39/10.43	c |       814 |     328      260     4076 |     7320      814     29 |  0.001 % |
10.39/10.44	c |      1320 |     328      260     4076 |     8052     1320     29 |  0.001 % |
10.39/10.45	c |      2081 |     328      260     4076 |     8857     2081     27 |  0.001 % |
10.39/10.49	c |      3222 |     328      260     4076 |     9743     3222     30 |  0.001 % |
10.49/10.54	c |      4932 |     328      260     4076 |    10717     4932     32 |  0.001 % |
10.59/10.64	c |      7495 |     328      260     4076 |    11789     7495     34 |  0.001 % |
10.79/10.80	c |     11343 |     328      260     4076 |    12968    11343     36 |  0.001 % |
10.99/11.07	c |     17112 |     328      260     4076 |    14265    10587     39 |  0.001 % |
11.39/11.47	c |     25761 |     328      260     4076 |    15692    12037     43 |  0.001 % |
11.69/11.75	c ===============================================================================
11.79/11.84	c core #7
11.79/11.84	c 
11.79/11.84	c 
11.79/11.84	c Core size: 45	Core Weight: 1	Total Weight: 14
11.79/11.84	c Current CPU time: 11.6722 s
11.79/11.84	c
11.79/11.84	c ============================[ Search Statistics ]==============================
11.79/11.84	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
11.79/11.84	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
11.79/11.84	c ===============================================================================
11.79/11.84	c |         0 |     357      288     4578 |     5000        0   -nan |  0.000 % |
11.79/11.85	c |       102 |     357      288     4578 |     5500      102     25 |  0.001 % |
11.79/11.85	c |       254 |     357      288     4578 |     6050      254     26 |  0.001 % |
11.79/11.85	c |       479 |     357      288     4578 |     6655      479     27 |  0.001 % |
11.79/11.86	c |       816 |     357      288     4578 |     7320      816     26 |  0.001 % |
11.79/11.87	c |      1322 |     357      288     4578 |     8052     1322     28 |  0.001 % |
11.79/11.89	c |      2081 |     357      288     4578 |     8857     2081     32 |  0.001 % |
11.89/11.92	c |      3221 |     357      288     4578 |     9743     3221     34 |  0.001 % |
11.89/11.97	c |      4930 |     357      288     4578 |    10717     4930     33 |  0.001 % |
11.99/12.07	c |      7492 |     357      288     4578 |    11789     7492     35 |  0.001 % |
12.19/12.26	c |     11336 |     357      288     4578 |    12968    11336     36 |  0.001 % |
12.49/12.56	c |     17104 |     357      288     4578 |    14265    10578     40 |  0.001 % |
12.99/13.01	c |     25753 |     357      288     4578 |    15692    12067     41 |  0.001 % |
13.69/13.73	c |     38729 |     295      288     4578 |    17261     9244     46 | 19.329 % |
13.69/13.74	c ===============================================================================
13.79/13.87	c core #8
13.79/13.87	c 
13.79/13.87	c 
13.79/13.87	c Core size: 39	Core Weight: 3	Total Weight: 17
13.79/13.87	c Current CPU time: 13.6689 s
13.79/13.87	c
13.79/13.87	c ============================[ Search Statistics ]==============================
13.79/13.87	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
13.79/13.87	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
13.79/13.87	c ===============================================================================
13.79/13.87	c |         0 |     380      312     5023 |     5000        0   -nan |  0.000 % |
13.79/13.87	c |       100 |     380      312     5023 |     5500      100     26 |  0.001 % |
13.79/13.88	c |       250 |     380      312     5023 |     6050      250     23 |  0.001 % |
13.79/13.88	c |       475 |     380      312     5023 |     6655      475     22 |  0.001 % |
13.79/13.89	c |       812 |     380      312     5023 |     7320      812     22 |  0.001 % |
13.89/13.90	c |      1320 |     380      312     5023 |     8052     1320     25 |  0.001 % |
13.89/13.92	c |      2081 |     380      312     5023 |     8857     2081     28 |  0.001 % |
13.89/13.95	c |      3221 |     380      312     5023 |     9743     3221     30 |  0.001 % |
13.99/14.01	c |      4930 |     380      312     5023 |    10717     4930     30 |  0.001 % |
13.99/14.09	c |      7494 |     380      312     5023 |    11789     7494     32 |  0.001 % |
14.20/14.26	c |     11339 |     380      312     5023 |    12968    11339     33 |  0.001 % |
14.49/14.54	c |     17107 |     380      312     5023 |    14265    10575     37 |  0.001 % |
14.79/14.89	c ===============================================================================
14.79/14.89	c #cores: 8
14.79/14.89	o 17
14.79/14.89	s OPTIMUM FOUND
14.79/14.89	v -x1 -x2 -x3 x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 x65 x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 x168 -x169
14.79/14.89	c Total CPU time: 14.6858 s

Verifier Data 

OK	17

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-3446841-1307904729/watcher-3446841-1307904729 -o /tmp/evaluation-result-3446841-1307904729/solver-3446841-1307904729 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=wbo -time-limit=1800 -search-mode=0 HOME/instance-3446841-1307904729.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: 1.88 1.31 1.34 2/177 1546
/proc/meminfo: memFree=1573032/32951124 swapFree=67050916/67111528
[pid=1546] ppid=1544 vsize=1972 CPUtime=0 cores=0,2,4,6
/proc/1546/stat : 1546 (wbo1.6) R 1544 1546 648 0 -1 4202496 298 0 0 0 0 0 0 0 25 0 1 0 882889165 2019328 247 33554432000 4194304 5714214 140736335595184 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/1546/statm: 493 247 177 372 0 118 0

[startup+0.0527469 s]
/proc/loadavg: 1.88 1.31 1.34 2/177 1546
/proc/meminfo: memFree=1573032/32951124 swapFree=67050916/67111528
[pid=1546] ppid=1544 vsize=2768 CPUtime=0.05 cores=0,2,4,6
/proc/1546/stat : 1546 (wbo1.6) R 1544 1546 648 0 -1 4202496 504 0 0 0 5 0 0 0 25 0 1 0 882889165 2834432 453 33554432000 4194304 5714214 140736335595184 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/1546/statm: 692 453 177 372 0 317 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 2768

[startup+0.100758 s]
/proc/loadavg: 1.88 1.31 1.34 2/177 1546
/proc/meminfo: memFree=1573032/32951124 swapFree=67050916/67111528
[pid=1546] ppid=1544 vsize=3428 CPUtime=0.09 cores=0,2,4,6
/proc/1546/stat : 1546 (wbo1.6) R 1544 1546 648 0 -1 4202496 656 0 0 0 9 0 0 0 25 0 1 0 882889165 3510272 605 33554432000 4194304 5714214 140736335595184 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/1546/statm: 857 605 177 372 0 482 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3428

[startup+0.300719 s]
/proc/loadavg: 1.88 1.31 1.34 2/177 1546
/proc/meminfo: memFree=1573032/32951124 swapFree=67050916/67111528
[pid=1546] ppid=1544 vsize=5408 CPUtime=0.29 cores=0,2,4,6
/proc/1546/stat : 1546 (wbo1.6) R 1544 1546 648 0 -1 4202496 1158 0 0 0 29 0 0 0 25 0 1 0 882889165 5537792 1107 33554432000 4194304 5714214 140736335595184 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/1546/statm: 1352 1107 177 372 0 977 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5408

[startup+0.700653 s]
/proc/loadavg: 1.88 1.31 1.34 2/177 1546
/proc/meminfo: memFree=1573032/32951124 swapFree=67050916/67111528
[pid=1546] ppid=1544 vsize=7668 CPUtime=0.69 cores=0,2,4,6
/proc/1546/stat : 1546 (wbo1.6) R 1544 1546 648 0 -1 4202496 1708 0 0 0 68 1 0 0 25 0 1 0 882889165 7852032 1657 33554432000 4194304 5714214 140736335595184 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/1546/statm: 1917 1657 177 372 0 1542 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7668

[startup+1.50051 s]
/proc/loadavg: 1.88 1.31 1.34 3/178 1547
/proc/meminfo: memFree=1566352/32951124 swapFree=67050916/67111528
[pid=1546] ppid=1544 vsize=10580 CPUtime=1.49 cores=0,2,4,6
/proc/1546/stat : 1546 (wbo1.6) R 1544 1546 648 0 -1 4202496 2440 0 0 0 147 2 0 0 25 0 1 0 882889165 10833920 2389 33554432000 4194304 5714214 140736335595184 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/1546/statm: 2645 2389 177 372 0 2270 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10580

[startup+3.1012 s]
/proc/loadavg: 1.88 1.31 1.34 3/178 1547
/proc/meminfo: memFree=1562012/32951124 swapFree=67050916/67111528
[pid=1546] ppid=1544 vsize=12416 CPUtime=3.09 cores=0,2,4,6
/proc/1546/stat : 1546 (wbo1.6) R 1544 1546 648 0 -1 4202496 2951 0 0 0 305 4 0 0 25 0 1 0 882889165 12713984 2869 33554432000 4194304 5714214 140736335595184 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/1546/statm: 3104 2869 178 372 0 2729 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 12416

[startup+6.30063 s]
/proc/loadavg: 1.89 1.32 1.34 3/178 1547
/proc/meminfo: memFree=1561492/32951124 swapFree=67050916/67111528
[pid=1546] ppid=1544 vsize=12944 CPUtime=6.29 cores=0,2,4,6
/proc/1546/stat : 1546 (wbo1.6) R 1544 1546 648 0 -1 4202496 3057 0 0 0 620 9 0 0 25 0 1 0 882889165 13254656 2975 33554432000 4194304 5714214 140736335595184 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/1546/statm: 3236 2975 178 372 0 2861 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 12944

[startup+12.7005 s]
/proc/loadavg: 1.90 1.33 1.35 3/178 1547
/proc/meminfo: memFree=1558904/32951124 swapFree=67050916/67111528
[pid=1546] ppid=1544 vsize=14660 CPUtime=12.69 cores=0,2,4,6
/proc/1546/stat : 1546 (wbo1.6) R 1544 1546 648 0 -1 4202496 3491 0 0 0 1252 17 0 0 21 0 1 0 882889165 15011840 3409 33554432000 4194304 5714214 140736335595184 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/1546/statm: 3665 3409 178 372 0 3290 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 14660

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

[startup+13.5003 s]
/proc/loadavg: 1.90 1.33 1.35 3/178 1547
/proc/meminfo: memFree=1558780/32951124 swapFree=67050916/67111528
[pid=1546] ppid=1544 vsize=14660 CPUtime=13.49 cores=0,2,4,6
/proc/1546/stat : 1546 (wbo1.6) R 1544 1546 648 0 -1 4202496 3491 0 0 0 1331 18 0 0 25 0 1 0 882889165 15011840 3409 33554432000 4194304 5714214 140736335595184 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/1546/statm: 3665 3409 178 372 0 3290 0
Current children cumulated CPU time (s) 13.49
Current children cumulated vsize (KiB) 14660

[startup+14.3062 s]
/proc/loadavg: 1.90 1.33 1.35 3/178 1547
/proc/meminfo: memFree=1558780/32951124 swapFree=67050916/67111528
[pid=1546] ppid=1544 vsize=14660 CPUtime=14.3 cores=0,2,4,6
/proc/1546/stat : 1546 (wbo1.6) R 1544 1546 648 0 -1 4202496 3491 0 0 0 1410 20 0 0 25 0 1 0 882889165 15011840 3409 33554432000 4194304 5714214 140736335595184 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/1546/statm: 3665 3409 178 372 0 3290 0
Current children cumulated CPU time (s) 14.3
Current children cumulated vsize (KiB) 14660

[startup+14.7011 s]
/proc/loadavg: 1.90 1.33 1.35 3/178 1547
/proc/meminfo: memFree=1558780/32951124 swapFree=67050916/67111528
[pid=1546] ppid=1544 vsize=14660 CPUtime=14.69 cores=0,2,4,6
/proc/1546/stat : 1546 (wbo1.6) R 1544 1546 648 0 -1 4202496 3491 0 0 0 1449 20 0 0 25 0 1 0 882889165 15011840 3409 33554432000 4194304 5714214 140736335595184 18446744073709551615 4319832 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/1546/statm: 3665 3409 178 372 0 3290 0
Current children cumulated CPU time (s) 14.69
Current children cumulated vsize (KiB) 14660

[startup+14.8011 s]
/proc/loadavg: 1.90 1.33 1.35 3/178 1547
/proc/meminfo: memFree=1558780/32951124 swapFree=67050916/67111528
[pid=1546] ppid=1544 vsize=14660 CPUtime=14.79 cores=0,2,4,6
/proc/1546/stat : 1546 (wbo1.6) R 1544 1546 648 0 -1 4202496 3491 0 0 0 1459 20 0 0 25 0 1 0 882889165 15011840 3409 33554432000 4194304 5714214 140736335595184 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/1546/statm: 3665 3409 178 372 0 3290 0
Current children cumulated CPU time (s) 14.79
Current children cumulated vsize (KiB) 14660

Child status: 0
Real time (s): 14.8973
CPU time (s): 14.8977
CPU user time (s): 14.6858
CPU system time (s): 0.211967
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 14660

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

runsolver used 0.013997 second user time and 0.057991 second system time

The end

Launcher Data 

Begin job on node146 at 2011-06-12 20:52:09
IDJOB=3446841
IDBENCH=78794
IDSOLVER=1943
FILE ID=node146/3446841-1307904729
RUNJOBID= node146-1307904631-1439
PBS_JOBID= 13559563
Free space on /tmp= 6548 MiB

SOLVER NAME= wbo 1.6
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111227326--soft-66-100-0.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-3446841-1307904729/watcher-3446841-1307904729 -o /tmp/evaluation-result-3446841-1307904729/solver-3446841-1307904729 -C 1800 -W 1900 -M 15500  wbo1.6 -file-format=wbo -time-limit=1800 -search-mode=0 HOME/instance-3446841-1307904729.wbo

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

MD5SUM BENCH= caa659759fe222b10bf8cf76097f6901
RANDOM SEED=137997368

node146.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.830
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.66
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.830
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.75
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.830
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.830
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	: 5332.86
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.830
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.75
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.830
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.830
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.75
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.830
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:       1572964 kB
Buffers:         61312 kB
Cached:       30331940 kB
SwapCached:      13072 kB
Active:       15732684 kB
Inactive:     14697232 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:       1572964 kB
SwapTotal:    67111528 kB
SwapFree:     67050916 kB
Dirty:            8852 kB
Writeback:           0 kB
AnonPages:       35316 kB
Mapped:           9880 kB
Slab:           884460 kB
PageTables:       4408 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   224864 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 6544 MiB
End job on node146 at 2011-06-12 20:52:24