Trace number 2689856

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.4aOPTIMUM 19.428 19.4292

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.088985
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.4 beta - 20100517
0.00/0.00	c Parsing wbo file format. File HOME/instance-2689856-1277896718.wbo.
0.00/0.00	c Instance file HOME/instance-2689856-1277896718.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.01	c |       475 |     169      101     1205 |     6655      475     26 |  0.004 % |
0.00/0.02	c |       817 |     169      101     1205 |     7320      817     24 |  0.004 % |
0.00/0.03	c |      1324 |     169      101     1205 |     8052     1324     26 |  0.004 % |
0.00/0.05	c |      2084 |     169      101     1205 |     8857     2084     28 |  0.004 % |
0.07/0.09	c |      3224 |     169      101     1205 |     9743     3224     29 |  0.004 % |
0.09/0.15	c |      4936 |     169      101     1205 |    10717     4936     31 |  0.004 % |
0.19/0.28	c |      7498 |     169      101     1205 |    11789     7498     34 |  0.004 % |
0.49/0.50	c |     11342 |     169      101     1205 |    12968    11342     36 |  0.004 % |
0.79/0.81	c |     17108 |     169      101     1205 |    14265    10570     38 |  0.004 % |
1.29/1.33	c |     25758 |     169      101     1205 |    15692    12042     40 |  0.004 % |
2.10/2.18	c |     38735 |     132      101     1205 |    17261     3924     47 | 21.898 % |
2.19/2.21	c ===============================================================================
2.29/2.33	c core #1
2.29/2.33	c ============================[ Search Statistics ]==============================
2.29/2.33	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.29/2.33	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.29/2.33	c ===============================================================================
2.29/2.33	c |         0 |     196      129     1699 |     5000        0    nan |  0.000 % |
2.29/2.34	c |       100 |     196      129     1699 |     5500      100     25 |  0.003 % |
2.29/2.34	c |       250 |     196      129     1699 |     6050      250     27 |  0.003 % |
2.29/2.35	c |       476 |     196      129     1699 |     6655      476     28 |  0.003 % |
2.29/2.36	c |       813 |     196      129     1699 |     7320      813     28 |  0.003 % |
2.29/2.37	c |      1319 |     196      129     1699 |     8052     1319     27 |  0.003 % |
2.39/2.40	c |      2078 |     196      129     1699 |     8857     2078     27 |  0.003 % |
2.39/2.44	c |      3218 |     196      129     1699 |     9743     3218     28 |  0.003 % |
2.49/2.51	c |      4927 |     196      129     1699 |    10717     4927     30 |  0.003 % |
2.59/2.64	c |      7489 |     196      129     1699 |    11789     7489     33 |  0.003 % |
2.79/2.88	c |     11333 |     196      129     1699 |    12968    11333     34 |  0.003 % |
3.20/3.23	c |     17103 |     196      129     1699 |    14265    10575     38 |  0.003 % |
3.69/3.74	c |     25753 |     159      129     1699 |    15692      920     26 | 18.880 % |
3.79/3.82	c ===============================================================================
3.89/3.90	c core #2
3.89/3.90	c ============================[ Search Statistics ]==============================
3.89/3.90	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.89/3.90	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.89/3.90	c ===============================================================================
3.89/3.90	c |         0 |     222      155     2172 |     5000        0    nan |  0.000 % |
3.89/3.91	c |       100 |     222      155     2172 |     5500      100     25 |  0.002 % |
3.89/3.91	c |       250 |     222      155     2172 |     6050      250     26 |  0.002 % |
3.89/3.92	c |       476 |     222      155     2172 |     6655      476     30 |  0.002 % |
3.89/3.93	c |       813 |     222      155     2172 |     7320      813     27 |  0.002 % |
3.89/3.94	c |      1319 |     222      155     2172 |     8052     1319     27 |  0.002 % |
3.89/3.96	c |      2078 |     222      155     2172 |     8857     2078     30 |  0.002 % |
3.99/4.01	c |      3218 |     222      155     2172 |     9743     3218     32 |  0.002 % |
3.99/4.08	c |      4928 |     222      155     2172 |    10717     4928     32 |  0.002 % |
4.19/4.22	c |      7490 |     222      155     2172 |    11789     7490     33 |  0.002 % |
4.40/4.45	c |     11334 |     222      155     2172 |    12968    11334     35 |  0.002 % |
4.69/4.77	c |     17101 |     222      155     2172 |    14265    10595     39 |  0.002 % |
5.29/5.35	c |     25752 |     222      155     2172 |    15692    12072     43 |  0.002 % |
5.79/5.89	c ===============================================================================
5.99/6.01	c core #3
5.99/6.01	c ============================[ Search Statistics ]==============================
5.99/6.01	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.99/6.01	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
5.99/6.01	c ===============================================================================
5.99/6.01	c |         0 |     250      183     2670 |     5000        0    nan |  0.000 % |
5.99/6.02	c |       100 |     250      183     2670 |     5500      100     25 |  0.002 % |
5.99/6.02	c |       250 |     250      183     2670 |     6050      250     28 |  0.002 % |
5.99/6.03	c |       476 |     250      183     2670 |     6655      476     30 |  0.002 % |
5.99/6.04	c |       814 |     250      183     2670 |     7320      814     29 |  0.002 % |
5.99/6.05	c |      1321 |     250      183     2670 |     8052     1321     30 |  0.002 % |
5.99/6.08	c |      2085 |     250      183     2670 |     8857     2085     32 |  0.002 % |
6.09/6.12	c |      3224 |     250      183     2670 |     9743     3224     32 |  0.002 % |
6.09/6.18	c |      4932 |     250      183     2670 |    10717     4932     32 |  0.002 % |
6.29/6.31	c |      7495 |     250      183     2670 |    11789     7495     34 |  0.002 % |
6.50/6.57	c |     11342 |     250      183     2670 |    12968    11342     36 |  0.002 % |
6.89/6.95	c |     17108 |     250      183     2670 |    14265    10559     40 |  0.002 % |
7.59/7.63	c |     25760 |     250      183     2670 |    15692    12032     41 |  0.002 % |
8.19/8.27	c ===============================================================================
8.29/8.39	c core #4
8.29/8.39	c ============================[ Search Statistics ]==============================
8.29/8.39	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
8.29/8.39	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
8.29/8.39	c ===============================================================================
8.29/8.39	c |         0 |     276      209     3143 |     5000        0    nan |  0.000 % |
8.39/8.40	c |       100 |     276      209     3143 |     5500      100     24 |  0.001 % |
8.39/8.40	c |       250 |     276      209     3143 |     6050      250     25 |  0.001 % |
8.39/8.41	c |       476 |     276      209     3143 |     6655      476     29 |  0.001 % |
8.39/8.42	c |       815 |     276      209     3143 |     7320      815     32 |  0.001 % |
8.39/8.43	c |      1321 |     276      209     3143 |     8052     1321     31 |  0.001 % |
8.39/8.46	c |      2080 |     276      209     3143 |     8857     2080     31 |  0.001 % |
8.49/8.50	c |      3220 |     276      209     3143 |     9743     3220     30 |  0.001 % |
8.49/8.58	c |      4929 |     276      209     3143 |    10717     4929     32 |  0.001 % |
8.70/8.70	c |      7491 |     276      209     3143 |    11789     7491     33 |  0.001 % |
8.89/8.93	c |     11335 |     276      209     3143 |    12968    11335     34 |  0.001 % |
9.19/9.28	c |     17101 |     276      209     3143 |    14265    10569     38 |  0.001 % |
9.79/9.86	c |     25751 |     276      209     3143 |    15692    12036     44 |  0.001 % |
10.39/10.46	c ===============================================================================
10.49/10.57	c core #5
10.49/10.57	c ============================[ Search Statistics ]==============================
10.49/10.57	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
10.49/10.57	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
10.49/10.57	c ===============================================================================
10.49/10.57	c |         0 |     304      235     3620 |     5000        0    nan |  0.000 % |
10.49/10.58	c |       100 |     304      235     3620 |     5500      100     32 |  0.001 % |
10.49/10.58	c |       251 |     304      235     3620 |     6050      251     39 |  0.001 % |
10.49/10.59	c |       476 |     304      235     3620 |     6655      476     35 |  0.001 % |
10.59/10.60	c |       813 |     304      235     3620 |     7320      813     33 |  0.001 % |
10.59/10.61	c |      1322 |     304      235     3620 |     8052     1322     33 |  0.001 % |
10.59/10.64	c |      2084 |     304      235     3620 |     8857     2084     31 |  0.001 % |
10.59/10.68	c |      3224 |     304      235     3620 |     9743     3224     32 |  0.001 % |
10.69/10.76	c |      4933 |     304      235     3620 |    10717     4933     31 |  0.001 % |
10.79/10.88	c |      7495 |     304      235     3620 |    11789     7495     34 |  0.001 % |
11.09/11.12	c |     11343 |     304      235     3620 |    12968    11343     36 |  0.001 % |
11.49/11.55	c |     17109 |     304      235     3620 |    14265    10575     41 |  0.001 % |
12.10/12.16	c |     25759 |     304      235     3620 |    15692    12037     41 |  0.001 % |
12.99/13.08	c |     38733 |     304      235     3620 |    17261     9196     46 |  0.001 % |
13.39/13.40	c ===============================================================================
13.49/13.55	c core #6
13.49/13.55	c ============================[ Search Statistics ]==============================
13.49/13.55	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
13.49/13.55	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
13.49/13.55	c ===============================================================================
13.49/13.55	c |         0 |     328      260     4076 |     5000        0    nan |  0.000 % |
13.49/13.56	c |       100 |     328      260     4076 |     5500      100     24 |  0.001 % |
13.49/13.56	c |       250 |     328      260     4076 |     6050      250     30 |  0.001 % |
13.49/13.57	c |       476 |     328      260     4076 |     6655      476     30 |  0.001 % |
13.49/13.58	c |       814 |     328      260     4076 |     7320      814     29 |  0.001 % |
13.49/13.59	c |      1320 |     328      260     4076 |     8052     1320     29 |  0.001 % |
13.59/13.62	c |      2081 |     328      260     4076 |     8857     2081     27 |  0.001 % |
13.59/13.67	c |      3222 |     328      260     4076 |     9743     3222     30 |  0.001 % |
13.69/13.75	c |      4932 |     328      260     4076 |    10717     4932     32 |  0.001 % |
13.79/13.89	c |      7495 |     328      260     4076 |    11789     7495     34 |  0.001 % |
14.09/14.10	c |     11343 |     328      260     4076 |    12968    11343     36 |  0.001 % |
14.39/14.47	c |     17112 |     328      260     4076 |    14265    10587     39 |  0.001 % |
14.99/15.00	c |     25761 |     328      260     4076 |    15692    12037     43 |  0.001 % |
15.30/15.36	c ===============================================================================
15.39/15.46	c core #7
15.39/15.46	c ============================[ Search Statistics ]==============================
15.39/15.46	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
15.39/15.46	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
15.39/15.46	c ===============================================================================
15.39/15.46	c |         0 |     357      288     4578 |     5000        0    nan |  0.000 % |
15.39/15.47	c |       102 |     357      288     4578 |     5500      102     25 |  0.001 % |
15.39/15.47	c |       254 |     357      288     4578 |     6050      254     26 |  0.001 % |
15.39/15.48	c |       479 |     357      288     4578 |     6655      479     27 |  0.001 % |
15.39/15.49	c |       816 |     357      288     4578 |     7320      816     26 |  0.001 % |
15.49/15.51	c |      1322 |     357      288     4578 |     8052     1322     28 |  0.001 % |
15.49/15.53	c |      2081 |     357      288     4578 |     8857     2081     32 |  0.001 % |
15.49/15.57	c |      3221 |     357      288     4578 |     9743     3221     34 |  0.001 % |
15.59/15.65	c |      4930 |     357      288     4578 |    10717     4930     33 |  0.001 % |
15.69/15.78	c |      7492 |     357      288     4578 |    11789     7492     35 |  0.001 % |
15.99/16.04	c |     11336 |     357      288     4578 |    12968    11336     36 |  0.001 % |
16.40/16.45	c |     17104 |     357      288     4578 |    14265    10578     40 |  0.001 % |
16.99/17.04	c |     25753 |     357      288     4578 |    15692    12067     41 |  0.001 % |
17.79/17.89	c |     38731 |     267      288     4578 |    17261      643     31 | 27.732 % |
17.79/17.89	c ===============================================================================
17.99/18.03	c core #8
17.99/18.03	c ============================[ Search Statistics ]==============================
17.99/18.03	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
17.99/18.03	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
17.99/18.03	c ===============================================================================
17.99/18.03	c |         0 |     380      312     5023 |     5000        0    nan |  0.000 % |
17.99/18.04	c |       100 |     380      312     5023 |     5500      100     26 |  0.001 % |
17.99/18.04	c |       250 |     380      312     5023 |     6050      250     23 |  0.001 % |
17.99/18.05	c |       475 |     380      312     5023 |     6655      475     22 |  0.001 % |
17.99/18.06	c |       812 |     380      312     5023 |     7320      812     22 |  0.001 % |
17.99/18.08	c |      1320 |     380      312     5023 |     8052     1320     25 |  0.001 % |
18.09/18.10	c |      2081 |     380      312     5023 |     8857     2081     28 |  0.001 % |
18.09/18.15	c |      3221 |     380      312     5023 |     9743     3221     30 |  0.001 % |
18.19/18.23	c |      4930 |     380      312     5023 |    10717     4930     30 |  0.001 % |
18.29/18.35	c |      7494 |     380      312     5023 |    11789     7494     32 |  0.001 % |
18.49/18.58	c |     11339 |     380      312     5023 |    12968    11339     33 |  0.001 % |
18.89/18.95	c |     17107 |     380      312     5023 |    14265    10575     37 |  0.001 % |
19.39/19.42	c ===============================================================================
19.39/19.42	c #cores: 8
19.39/19.42	c Final Weight: 17
19.39/19.42	o 17
19.39/19.42	s OPTIMUM FOUND
19.39/19.42	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
19.39/19.42	c Total CPU time: 18.7451 s

Verifier Data 

OK	17

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2689856-1277896718/watcher-2689856-1277896718 -o /tmp/evaluation-result-2689856-1277896718/solver-2689856-1277896718 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689856-1277896718.wbo 

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/196 11843
/proc/meminfo: memFree=31266460/32951124 swapFree=67111528/67111528
[pid=11843] ppid=11841 vsize=2568 CPUtime=0
/proc/11843/stat : 11843 (wbo1.4a) R 11841 11843 9771 0 -1 4202496 286 0 0 0 0 0 0 0 20 0 1 0 130966945 2629632 201 4089446400 134512640 135751879 4289152240 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/11843/statm: 642 201 143 303 0 337 0

[startup+0.07801 s]
/proc/loadavg: 2.00 2.00 2.00 3/196 11843
/proc/meminfo: memFree=31266460/32951124 swapFree=67111528/67111528
[pid=11843] ppid=11841 vsize=3236 CPUtime=0.07
/proc/11843/stat : 11843 (wbo1.4a) R 11841 11843 9771 0 -1 4202496 452 0 0 0 7 0 0 0 20 0 1 0 130966945 3313664 367 4089446400 134512640 135751879 4289152240 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/11843/statm: 809 367 143 303 0 504 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 3236

[startup+0.100995 s]
/proc/loadavg: 2.00 2.00 2.00 3/196 11843
/proc/meminfo: memFree=31266460/32951124 swapFree=67111528/67111528
[pid=11843] ppid=11841 vsize=3368 CPUtime=0.09
/proc/11843/stat : 11843 (wbo1.4a) R 11841 11843 9771 0 -1 4202496 497 0 0 0 9 0 0 0 20 0 1 0 130966945 3448832 412 4089446400 134512640 135751879 4289152240 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/11843/statm: 842 412 143 303 0 537 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3368

[startup+0.300956 s]
/proc/loadavg: 2.00 2.00 2.00 3/196 11843
/proc/meminfo: memFree=31266460/32951124 swapFree=67111528/67111528
[pid=11843] ppid=11841 vsize=4688 CPUtime=0.29
/proc/11843/stat : 11843 (wbo1.4a) R 11841 11843 9771 0 -1 4202496 823 0 0 0 27 2 0 0 21 0 1 0 130966945 4800512 738 4089446400 134512640 135751879 4289152240 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/11843/statm: 1172 739 143 303 0 867 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4688

[startup+0.700876 s]
/proc/loadavg: 2.00 2.00 2.00 3/196 11843
/proc/meminfo: memFree=31266460/32951124 swapFree=67111528/67111528
[pid=11843] ppid=11841 vsize=6688 CPUtime=0.69
/proc/11843/stat : 11843 (wbo1.4a) R 11841 11843 9771 0 -1 4202496 1320 0 0 0 65 4 0 0 22 0 1 0 130966945 6848512 1235 4089446400 134512640 135751879 4289152240 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/11843/statm: 1672 1235 143 303 0 1367 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6688

[startup+1.50071 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 11844
/proc/meminfo: memFree=31260796/32951124 swapFree=67111528/67111528
[pid=11843] ppid=11841 vsize=10648 CPUtime=1.49
/proc/11843/stat : 11843 (wbo1.4a) R 11841 11843 9771 0 -1 4202496 2303 0 0 0 142 7 0 0 18 0 1 0 130966945 10903552 2218 4089446400 134512640 135751879 4289152240 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/11843/statm: 2662 2218 143 303 0 2357 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10648

[startup+3.10041 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 11844
/proc/meminfo: memFree=31255092/32951124 swapFree=67111528/67111528
[pid=11843] ppid=11841 vsize=15664 CPUtime=3.09
/proc/11843/stat : 11843 (wbo1.4a) R 11841 11843 9771 0 -1 4202496 3553 0 0 0 298 11 0 0 19 0 1 0 130966945 16039936 3468 4089446400 134512640 135751879 4289152240 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/11843/statm: 3916 3468 146 303 0 3611 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15664

[startup+6.30077 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 11844
/proc/meminfo: memFree=31246784/32951124 swapFree=67111528/67111528
[pid=11843] ppid=11841 vsize=26420 CPUtime=6.29
/proc/11843/stat : 11843 (wbo1.4a) R 11841 11843 9771 0 -1 4202496 6272 0 0 0 605 24 0 0 22 0 1 0 130966945 27054080 6187 4089446400 134512640 135751879 4289152240 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/11843/statm: 6605 6187 146 303 0 6300 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 26420

[startup+12.7005 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 11844
/proc/meminfo: memFree=31230792/32951124 swapFree=67111528/67111528
[pid=11843] ppid=11841 vsize=41752 CPUtime=12.69
/proc/11843/stat : 11843 (wbo1.4a) R 11841 11843 9771 0 -1 4202496 10098 0 0 0 1226 43 0 0 25 0 1 0 130966945 42754048 10013 4089446400 134512640 135751879 4289152240 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11843/statm: 10438 10013 146 303 0 10133 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 41752

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

[startup+15.9009 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 11844
/proc/meminfo: memFree=31221612/32951124 swapFree=67111528/67111528
[pid=11843] ppid=11841 vsize=49812 CPUtime=15.89
/proc/11843/stat : 11843 (wbo1.4a) R 11841 11843 9771 0 -1 4202496 12099 0 0 0 1534 55 0 0 25 0 1 0 130966945 51007488 12014 4089446400 134512640 135751879 4289152240 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11843/statm: 12453 12014 146 303 0 12148 0
Current children cumulated CPU time (s) 15.89
Current children cumulated vsize (KiB) 49812

[startup+17.5005 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 11844
/proc/meminfo: memFree=31216856/32951124 swapFree=67111528/67111528
[pid=11843] ppid=11841 vsize=53640 CPUtime=17.5
/proc/11843/stat : 11843 (wbo1.4a) R 11841 11843 9771 0 -1 4202496 13058 0 0 0 1690 60 0 0 25 0 1 0 130966945 54927360 12973 4089446400 134512640 135751879 4289152240 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11843/statm: 13410 12973 146 303 0 13105 0
Current children cumulated CPU time (s) 17.5
Current children cumulated vsize (KiB) 53640

[startup+18.3004 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 11844
/proc/meminfo: memFree=31216856/32951124 swapFree=67111528/67111528
[pid=11843] ppid=11841 vsize=57204 CPUtime=18.29
/proc/11843/stat : 11843 (wbo1.4a) R 11841 11843 9771 0 -1 4202496 13950 0 0 0 1766 63 0 0 25 0 1 0 130966945 58576896 13865 4089446400 134512640 135751879 4289152240 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11843/statm: 14301 13865 146 303 0 13996 0
Current children cumulated CPU time (s) 18.29
Current children cumulated vsize (KiB) 57204

[startup+19.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 11844
/proc/meminfo: memFree=31213260/32951124 swapFree=67111528/67111528
[pid=11843] ppid=11841 vsize=57468 CPUtime=19.09
/proc/11843/stat : 11843 (wbo1.4a) R 11841 11843 9771 0 -1 4202496 14010 0 0 0 1843 66 0 0 25 0 1 0 130966945 58847232 13925 4089446400 134512640 135751879 4289152240 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11843/statm: 14367 13925 146 303 0 14062 0
Current children cumulated CPU time (s) 19.09
Current children cumulated vsize (KiB) 57468

[startup+19.3002 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 11844
/proc/meminfo: memFree=31213260/32951124 swapFree=67111528/67111528
[pid=11843] ppid=11841 vsize=57864 CPUtime=19.29
/proc/11843/stat : 11843 (wbo1.4a) R 11841 11843 9771 0 -1 4202496 14120 0 0 0 1862 67 0 0 25 0 1 0 130966945 59252736 14035 4089446400 134512640 135751879 4289152240 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11843/statm: 14466 14035 146 303 0 14161 0
Current children cumulated CPU time (s) 19.29
Current children cumulated vsize (KiB) 57864

[startup+19.4002 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 11844
/proc/meminfo: memFree=31213260/32951124 swapFree=67111528/67111528
[pid=11843] ppid=11841 vsize=58260 CPUtime=19.39
/proc/11843/stat : 11843 (wbo1.4a) R 11841 11843 9771 0 -1 4202496 14201 0 0 0 1872 67 0 0 25 0 1 0 130966945 59658240 14116 4089446400 134512640 135751879 4289152240 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11843/statm: 14565 14116 146 303 0 14260 0
Current children cumulated CPU time (s) 19.39
Current children cumulated vsize (KiB) 58260

Child status: 0
Real time (s): 19.4292
CPU time (s): 19.428
CPU user time (s): 18.7452
CPU system time (s): 0.682896
CPU usage (%): 99.9943
Max. virtual memory (cumulated for all children) (KiB): 58260

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 18.7451
system time used= 0.682896
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14231
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= 5
involuntary context switches= 194

runsolver used 0.020996 second user time and 0.076988 second system time

The end

Launcher Data 

Begin job on node143 at 2010-06-30 13:18:38
IDJOB=2689856
IDBENCH=78794
IDSOLVER=1200
FILE ID=node143/2689856-1277896718
PBS_JOBID= 11197068
Free space on /tmp= 74212 MiB

SOLVER NAME= wbo 1.4a
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.4a -file-format=wbo -time-limit=TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2689856-1277896718/watcher-2689856-1277896718 -o /tmp/evaluation-result-2689856-1277896718/solver-2689856-1277896718 -C 1800 -W 2000 -M 3800  wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689856-1277896718.wbo

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

MD5SUM BENCH= caa659759fe222b10bf8cf76097f6901
RANDOM SEED=543104498

node143.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.848
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.69
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.848
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	: 5226.07
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.848
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.76
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.848
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.77
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.848
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	: 5285.38
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.848
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.848
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.848
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:      31267112 kB
Buffers:        180272 kB
Cached:         961964 kB
SwapCached:          0 kB
Active:         801156 kB
Inactive:       740220 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31267112 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2740 kB
Writeback:           0 kB
AnonPages:      399348 kB
Mapped:          20544 kB
Slab:            78116 kB
PageTables:       5196 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1654344 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= 74208 MiB
End job on node143 at 2010-06-30 13:18:57