Trace number 3447106

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 903.388 903.379

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900567024--soft-66-100-0.wbo
MD5SUM7129b2638275c1b1b14ce0a3da71735e
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark12
Best CPU time to get the best result obtained on this benchmark27.6158
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables231
Total number of constraints2707
Number of soft constraints927
Number of constraints which are clauses2684
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint110
Top cost 45360
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 45359
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 755
Number of bits of the biggest sum of numbers10
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-3447106-1307905957.wbo.
0.00/0.00	c Instance file HOME/instance-3447106-1307905957.wbo
0.00/0.00	c File size is 87999 bytes.
0.00/0.00	c Highest Coefficient sum: 755
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:      231                                                 |
0.00/0.00	c |  Number Clauses:        2684                                                |
0.00/0.00	c |  Number Cardinality:    22                                                  |
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 |     231     2707     8338 |     5000        0   -nan |  0.000 % |
0.00/0.00	c |       101 |     231     2707     8338 |     5500      101     18 |  0.002 % |
0.00/0.01	c |       252 |     231     2707     8338 |     6050      252     21 |  0.002 % |
0.00/0.01	c |       480 |     231     2707     8338 |     6655      480     23 |  0.002 % |
0.00/0.02	c |       817 |     231     2707     8338 |     7320      817     23 |  0.002 % |
0.00/0.03	c |      1323 |     231     2707     8338 |     8052     1323     27 |  0.002 % |
0.00/0.04	c |      2082 |     231     2707     8338 |     8857     2082     28 |  0.002 % |
0.05/0.07	c |      3221 |     231     2707     8338 |     9743     3221     30 |  0.002 % |
0.09/0.12	c |      4929 |     231     2707     8338 |    10717     4929     30 |  0.002 % |
0.09/0.20	c |      7491 |     231     2707     8338 |    11789     7491     30 |  0.002 % |
0.29/0.36	c |     11335 |     231     2707     8338 |    12968    11335     33 |  0.002 % |
0.59/0.60	c |     17101 |     231     2707     8338 |    14265    10554     34 |  0.002 % |
0.89/1.00	c |     25750 |     231     2707     8338 |    15692    12015     35 |  0.002 % |
1.69/1.71	c |     38724 |     231     2707     8338 |    17261     9201     33 |  0.002 % |
2.79/2.83	c |     58186 |     231     2707     8338 |    18987    11293     33 |  0.002 % |
4.49/4.51	c |     87380 |     231     2707     8338 |    20886    11835     36 |  0.002 % |
7.48/7.50	c |    131169 |     231     2707     8338 |    22974    13660     35 |  0.002 % |
12.49/12.57	c |    196853 |     231     2707     8338 |    25272    21623     35 |  0.002 % |
20.59/20.67	c |    295379 |     231     2707     8338 |    27799    14865     37 |  0.002 % |
32.69/32.75	c |    443172 |     231     2707     8338 |    30579    21639     37 |  0.002 % |
51.79/51.88	c ===============================================================================
55.19/55.24	c core #1
55.19/55.24	c 
55.19/55.24	c 
55.19/55.24	c Core size: 904	Core Weight: 1	Total Weight: 1
55.19/55.24	c Current CPU time: 53.7318 s
55.19/55.24	c
55.19/55.24	c ============================[ Search Statistics ]==============================
55.19/55.24	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
55.19/55.24	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
55.19/55.24	c ===============================================================================
55.19/55.24	c |         0 |     708     3593    12429 |     5000        0   -nan |  0.000 % |
55.19/55.25	c |       101 |     708     3593    12429 |     5500      101     30 |  0.000 % |
55.19/55.25	c |       252 |     708     3593    12429 |     6050      252     25 |  0.000 % |
55.19/55.25	c |       478 |     708     3593    12429 |     6655      478     26 |  0.000 % |
55.19/55.26	c |       815 |     708     3593    12429 |     7320      815     24 |  0.000 % |
55.19/55.27	c |      1323 |     708     3593    12429 |     8052     1323     24 |  0.000 % |
55.19/55.29	c |      2082 |     708     3593    12429 |     8857     2082     27 |  0.000 % |
55.29/55.32	c |      3223 |     708     3593    12429 |     9743     3223     28 |  0.000 % |
55.29/55.37	c |      4931 |     708     3593    12429 |    10717     4931     29 |  0.000 % |
55.39/55.46	c |      7493 |     708     3593    12429 |    11789     7493     30 |  0.000 % |
55.59/55.60	c |     11337 |     708     3593    12429 |    12968    11337     29 |  0.000 % |
55.89/55.90	c |     17103 |     708     3593    12429 |    14265    10574     31 |  0.000 % |
56.29/56.36	c |     25752 |     708     3593    12429 |    15692    12042     35 |  0.000 % |
57.09/57.18	c |     38727 |     708     3593    12429 |    17261     9225     35 |  0.000 % |
58.30/58.37	c |     58189 |     708     3593    12429 |    18987    11330     31 |  0.000 % |
59.89/59.92	c |     87381 |     708     3593    12429 |    20886    11885     32 |  0.000 % |
62.79/62.90	c |    131173 |     708     3593    12429 |    22974    13706     36 |  0.000 % |
67.59/67.67	c |    196857 |     708     3593    12429 |    25272    21684     36 |  0.000 % |
75.49/75.54	c |    295385 |     708     3593    12429 |    27799    14666     34 |  0.000 % |
88.50/88.50	c |    443174 |     708     3593    12429 |    30579    22377     35 |  0.000 % |
104.19/104.29	c ===============================================================================
107.49/107.55	c core #2
107.49/107.55	c 
107.49/107.55	c 
107.49/107.55	c Core size: 878	Core Weight: 1	Total Weight: 2
107.49/107.55	c Current CPU time: 104.868 s
107.49/107.55	c
107.49/107.55	c ============================[ Search Statistics ]==============================
107.49/107.55	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
107.49/107.55	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
107.49/107.55	c ===============================================================================
107.49/107.55	c |         0 |    1186     4454    16439 |     5000        0   -nan |  0.000 % |
107.49/107.56	c |       100 |    1186     4454    16439 |     5500      100     18 |  0.000 % |
107.49/107.56	c |       250 |    1186     4454    16439 |     6050      250     19 |  0.000 % |
107.49/107.56	c |       475 |    1186     4454    16439 |     6655      475     25 |  0.000 % |
107.49/107.57	c |       812 |    1186     4454    16439 |     7320      812     27 |  0.000 % |
107.49/107.58	c |      1319 |    1186     4454    16439 |     8052     1319     26 |  0.000 % |
107.60/107.60	c |      2079 |    1186     4454    16439 |     8857     2079     26 |  0.000 % |
107.60/107.63	c |      3218 |    1186     4454    16439 |     9743     3218     27 |  0.000 % |
107.60/107.69	c |      4927 |    1186     4454    16439 |    10717     4927     28 |  0.000 % |
107.69/107.78	c |      7489 |    1186     4454    16439 |    11789     7489     28 |  0.000 % |
107.89/107.94	c |     11333 |    1186     4454    16439 |    12968    11333     29 |  0.000 % |
108.20/108.23	c |     17101 |    1186     4454    16439 |    14265    10568     32 |  0.000 % |
108.59/108.65	c |     25752 |    1186     4454    16439 |    15692    12057     33 |  0.000 % |
109.30/109.33	c |     38728 |    1186     4454    16439 |    17261     9254     32 |  0.000 % |
110.29/110.38	c |     58191 |    1186     4454    16439 |    18987    11354     34 |  0.000 % |
112.20/112.28	c |     87383 |    1186     4454    16439 |    20886    11912     34 |  0.000 % |
115.30/115.33	c |    131173 |    1186     4454    16439 |    22974    13732     35 |  0.000 % |
120.29/120.33	c |    196858 |    1186     4454    16439 |    25272    21695     37 |  0.000 % |
128.09/128.18	c |    295386 |    1186     4454    16439 |    27799    13283     33 |  0.000 % |
140.70/140.77	c |    443175 |    1186     4454    16439 |    30579    22010     36 |  0.000 % |
144.80/144.89	c ===============================================================================
147.09/147.19	c core #3
147.09/147.19	c 
147.09/147.19	c 
147.09/147.19	c Core size: 864	Core Weight: 1	Total Weight: 3
147.09/147.19	c Current CPU time: 143.649 s
147.09/147.19	c
147.09/147.19	c ============================[ Search Statistics ]==============================
147.09/147.19	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
147.09/147.19	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
147.09/147.19	c ===============================================================================
147.09/147.19	c |         0 |    1666     5285    20346 |     5000        0   -nan |  0.000 % |
147.09/147.19	c |       101 |    1666     5285    20346 |     5500      101     21 |  0.000 % |
147.09/147.19	c |       252 |    1666     5285    20346 |     6050      252     22 |  0.000 % |
147.19/147.20	c |       477 |    1666     5285    20346 |     6655      477     24 |  0.000 % |
147.19/147.21	c |       814 |    1666     5285    20346 |     7320      814     25 |  0.000 % |
147.19/147.22	c |      1320 |    1666     5285    20346 |     8052     1320     27 |  0.000 % |
147.19/147.25	c |      2079 |    1666     5285    20346 |     8857     2079     28 |  0.000 % |
147.19/147.29	c |      3218 |    1666     5285    20346 |     9743     3218     30 |  0.000 % |
147.30/147.35	c |      4926 |    1666     5285    20346 |    10717     4926     30 |  0.000 % |
147.40/147.46	c |      7488 |    1666     5285    20346 |    11789     7488     30 |  0.000 % |
147.59/147.66	c |     11333 |    1666     5285    20346 |    12968    11333     31 |  0.000 % |
147.89/147.98	c |     17099 |    1666     5285    20346 |    14265    10564     31 |  0.000 % |
148.40/148.46	c |     25748 |    1666     5285    20346 |    15692    12015     34 |  0.000 % |
149.20/149.20	c |     38723 |    1666     5285    20346 |    17261     9184     32 |  0.000 % |
150.49/150.60	c |     58184 |    1666     5285    20346 |    18987    11295     35 |  0.000 % |
152.50/152.56	c |     87376 |    1666     5285    20346 |    20886    11864     34 |  0.000 % |
155.79/155.87	c |    131166 |    1666     5285    20346 |    22974    13694     35 |  0.000 % |
161.09/161.18	c |    196850 |    1666     5285    20346 |    25272    21675     36 |  0.000 % |
169.60/169.67	c |    295376 |    1666     5285    20346 |    27799    16160     36 |  0.000 % |
182.30/182.31	c |    443168 |    1666     5285    20346 |    30579    23958     34 |  0.001 % |
188.79/188.83	c ===============================================================================
191.30/191.36	c core #4
191.30/191.36	c 
191.30/191.36	c 
191.30/191.36	c Core size: 883	Core Weight: 1	Total Weight: 4
191.30/191.36	c Current CPU time: 186.863 s
191.30/191.36	c
191.30/191.36	c ============================[ Search Statistics ]==============================
191.30/191.36	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.30/191.36	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.30/191.36	c ===============================================================================
191.30/191.36	c |         0 |    2141     6117    24258 |     5000        0   -nan |  0.000 % |
191.30/191.37	c |       102 |    2141     6117    24258 |     5500      102     22 |  0.000 % |
191.30/191.37	c |       255 |    2141     6117    24258 |     6050      255     20 |  0.000 % |
191.30/191.37	c |       480 |    2141     6117    24258 |     6655      480     24 |  0.000 % |
191.30/191.38	c |       817 |    2141     6117    24258 |     7320      817     25 |  0.000 % |
191.30/191.40	c |      1323 |    2141     6117    24258 |     8052     1323     26 |  0.000 % |
191.40/191.42	c |      2083 |    2141     6117    24258 |     8857     2083     26 |  0.000 % |
191.40/191.45	c |      3224 |    2141     6117    24258 |     9743     3224     27 |  0.000 % |
191.50/191.51	c |      4934 |    2141     6117    24258 |    10717     4934     28 |  0.000 % |
191.59/191.61	c |      7496 |    2141     6117    24258 |    11789     7496     30 |  0.000 % |
191.79/191.80	c |     11340 |    2141     6117    24258 |    12968    11340     32 |  0.000 % |
191.99/192.09	c |     17106 |    2141     6117    24258 |    14265    10579     34 |  0.000 % |
192.59/192.60	c |     25755 |    2141     6117    24258 |    15692    12049     35 |  0.000 % |
193.40/193.45	c |     38730 |    2141     6117    24258 |    17261     9235     35 |  0.000 % |
194.60/194.63	c |     58193 |    2141     6117    24258 |    18987    11343     33 |  0.000 % |
196.59/196.60	c |     87386 |    2141     6117    24258 |    20886    11892     34 |  0.000 % |
199.99/200.01	c |    131175 |    2141     6117    24258 |    22974    13684     39 |  0.000 % |
205.29/205.39	c |    196862 |    2141     6117    24258 |    25272    21666     40 |  0.000 % |
214.30/214.33	c |    295389 |    2141     6117    24258 |    27799    14115     39 |  0.000 % |
228.09/228.12	c |    443178 |    2141     6117    24258 |    30579    22387     37 |  0.000 % |
248.60/248.69	c |    664865 |    2141     6117    24258 |    33637    25584     36 |  0.000 % |
272.09/272.16	c ===============================================================================
277.29/277.33	c core #5
277.29/277.33	c 
277.29/277.33	c 
277.29/277.33	c Core size: 911	Core Weight: 1	Total Weight: 5
277.29/277.33	c Current CPU time: 270.885 s
277.29/277.33	c
277.29/277.33	c ============================[ Search Statistics ]==============================
277.29/277.33	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
277.29/277.33	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
277.29/277.33	c ===============================================================================
277.29/277.33	c |         0 |    2638     6946    28211 |     5000        0   -nan |  0.000 % |
277.29/277.34	c |       100 |    2638     6946    28211 |     5500      100     19 |  0.000 % |
277.29/277.34	c |       252 |    2638     6946    28211 |     6050      252     21 |  0.000 % |
277.29/277.35	c |       479 |    2638     6946    28211 |     6655      479     25 |  0.000 % |
277.29/277.36	c |       817 |    2638     6946    28211 |     7320      817     25 |  0.000 % |
277.29/277.37	c |      1325 |    2638     6946    28211 |     8052     1325     27 |  0.000 % |
277.39/277.40	c |      2084 |    2638     6946    28211 |     8857     2084     30 |  0.000 % |
277.39/277.44	c |      3224 |    2638     6946    28211 |     9743     3224     30 |  0.000 % |
277.49/277.50	c |      4933 |    2638     6946    28211 |    10717     4933     30 |  0.000 % |
277.59/277.61	c |      7495 |    2638     6946    28211 |    11789     7495     29 |  0.000 % |
277.79/277.81	c |     11339 |    2638     6946    28211 |    12968    11339     31 |  0.000 % |
278.09/278.11	c |     17105 |    2638     6946    28211 |    14265    10565     34 |  0.000 % |
278.60/278.69	c |     25754 |    2638     6946    28211 |    15692    12022     36 |  0.000 % |
279.49/279.59	c |     38729 |    2638     6946    28211 |    17261     9206     36 |  0.000 % |
280.99/281.07	c |     58191 |    2638     6946    28211 |    18987    11305     37 |  0.000 % |
283.10/283.16	c |     87383 |    2638     6946    28211 |    20886    11868     40 |  0.000 % |
287.20/287.27	c |    131176 |    2638     6946    28211 |    22974    13695     39 |  0.000 % |
292.99/293.02	c |    196860 |    2638     6946    28211 |    25272    21671     39 |  0.000 % |
301.30/301.36	c |    295386 |    2638     6946    28211 |    27799    14373     39 |  0.000 % |
312.49/312.53	c ===============================================================================
314.70/314.72	c core #6
314.70/314.72	c 
314.70/314.72	c 
314.70/314.72	c Core size: 932	Core Weight: 1	Total Weight: 6
314.70/314.72	c Current CPU time: 307.697 s
314.70/314.72	c
314.70/314.72	c ============================[ Search Statistics ]==============================
314.70/314.72	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
314.70/314.72	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
314.70/314.72	c ===============================================================================
314.70/314.72	c |         0 |    3146     7766    32160 |     5000        0   -nan |  0.000 % |
314.70/314.73	c |       100 |    3146     7766    32160 |     5500      100     19 |  0.000 % |
314.70/314.73	c |       252 |    3146     7766    32160 |     6050      252     17 |  0.000 % |
314.70/314.74	c |       477 |    3146     7766    32160 |     6655      477     23 |  0.000 % |
314.70/314.75	c |       815 |    3146     7766    32160 |     7320      815     25 |  0.000 % |
314.70/314.76	c |      1322 |    3146     7766    32160 |     8052     1322     27 |  0.000 % |
314.70/314.78	c |      2084 |    3146     7766    32160 |     8857     2084     30 |  0.000 % |
314.79/314.82	c |      3227 |    3146     7766    32160 |     9743     3227     30 |  0.000 % |
314.79/314.88	c |      4939 |    3146     7766    32160 |    10717     4939     30 |  0.000 % |
314.89/314.99	c |      7503 |    3146     7766    32160 |    11789     7503     30 |  0.000 % |
315.19/315.20	c |     11348 |    3146     7766    32160 |    12968    11348     32 |  0.000 % |
315.50/315.51	c |     17114 |    3146     7766    32160 |    14265    10568     34 |  0.000 % |
315.99/316.06	c |     25763 |    3146     7766    32160 |    15692    12038     33 |  0.000 % |
316.89/316.93	c |     38738 |    3146     7766    32160 |    17261     9214     34 |  0.000 % |
318.19/318.20	c |     58200 |    3146     7766    32160 |    18987    11323     33 |  0.000 % |
320.29/320.36	c |     87392 |    3146     7766    32160 |    20886    11878     34 |  0.000 % |
323.49/323.58	c |    131181 |    3146     7766    32160 |    22974    13681     34 |  0.000 % |
328.69/328.77	c |    196868 |    3146     7766    32160 |    25272    21688     37 |  0.000 % |
337.09/337.10	c |    295395 |    3146     7766    32160 |    27799    13499     35 |  0.000 % |
348.00/348.00	c ===============================================================================
349.90/349.90	c core #7
349.90/349.90	c 
349.90/349.90	c 
349.90/349.90	c Core size: 889	Core Weight: 1	Total Weight: 7
349.90/349.90	c Current CPU time: 342.053 s
349.90/349.90	c
349.90/349.90	c ============================[ Search Statistics ]==============================
349.90/349.90	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
349.90/349.90	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
349.90/349.90	c ===============================================================================
349.90/349.90	c |         0 |    3639     8570    36010 |     5000        0   -nan |  0.000 % |
349.90/349.91	c |       100 |    3639     8570    36010 |     5500      100     36 |  0.000 % |
349.90/349.91	c |       250 |    3639     8570    36010 |     6050      250     33 |  0.000 % |
349.90/349.92	c |       475 |    3639     8570    36010 |     6655      475     31 |  0.000 % |
349.90/349.93	c |       814 |    3639     8570    36010 |     7320      814     30 |  0.000 % |
349.90/349.94	c |      1321 |    3639     8570    36010 |     8052     1321     31 |  0.000 % |
349.90/349.97	c |      2081 |    3639     8570    36010 |     8857     2081     31 |  0.000 % |
349.99/350.01	c |      3220 |    3639     8570    36010 |     9743     3220     29 |  0.000 % |
349.99/350.08	c |      4928 |    3639     8570    36010 |    10717     4928     31 |  0.000 % |
350.19/350.20	c |      7490 |    3639     8570    36010 |    11789     7490     31 |  0.000 % |
350.39/350.40	c |     11334 |    3639     8570    36010 |    12968    11334     31 |  0.000 % |
350.69/350.71	c |     17101 |    3639     8570    36010 |    14265    10564     30 |  0.000 % |
351.19/351.26	c |     25750 |    3639     8570    36010 |    15692    12025     33 |  0.000 % |
351.90/352.00	c |     38724 |    3639     8570    36010 |    17261     9231     31 |  0.000 % |
353.29/353.30	c |     58187 |    3639     8570    36010 |    18987    11312     34 |  0.000 % |
355.69/355.70	c |     87381 |    3639     8570    36010 |    20886    11882     40 |  0.000 % |
358.90/358.92	c |    131170 |    3639     8570    36010 |    22974    13658     35 |  0.000 % |
364.99/365.03	c |    196854 |    3639     8570    36010 |    25272    21602     40 |  0.000 % |
374.70/374.72	c |    295382 |    3639     8570    36010 |    27799    15070     38 |  0.000 % |
387.89/387.96	c |    443172 |    3639     8570    36010 |    30579    21022     36 |  0.000 % |
407.60/407.68	c |    664855 |    3639     8570    36010 |    33637    22865     34 |  0.000 % |
440.60/440.61	c |    997383 |    3638     8570    36010 |    37001    18778     39 |  0.027 % |
443.40/443.40	c ===============================================================================
448.89/448.90	c core #8
448.89/448.90	c 
448.89/448.90	c 
448.89/448.90	c Core size: 1016	Core Weight: 1	Total Weight: 8
448.89/448.90	c Current CPU time: 438.899 s
448.89/448.90	c
448.89/448.90	c ============================[ Search Statistics ]==============================
448.89/448.90	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
448.89/448.90	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
448.89/448.90	c ===============================================================================
448.89/448.90	c |         0 |    4215     9372    40069 |     5000        0   -nan |  0.000 % |
448.89/448.91	c |       100 |    4215     9372    40069 |     5500      100     19 |  0.000 % |
448.89/448.92	c |       250 |    4215     9372    40069 |     6050      250     26 |  0.000 % |
448.89/448.92	c |       477 |    4215     9372    40069 |     6655      477     26 |  0.000 % |
448.89/448.93	c |       816 |    4215     9372    40069 |     7320      816     27 |  0.000 % |
448.89/448.95	c |      1322 |    4215     9372    40069 |     8052     1322     27 |  0.000 % |
448.89/448.98	c |      2081 |    4215     9372    40069 |     8857     2081     28 |  0.000 % |
448.99/449.01	c |      3222 |    4215     9372    40069 |     9743     3222     29 |  0.000 % |
448.99/449.08	c |      4932 |    4215     9372    40069 |    10717     4932     28 |  0.000 % |
449.10/449.19	c |      7495 |    4215     9372    40069 |    11789     7495     28 |  0.000 % |
449.29/449.39	c |     11339 |    4215     9372    40069 |    12968    11339     29 |  0.000 % |
449.70/449.74	c |     17108 |    4215     9372    40069 |    14265    10576     32 |  0.000 % |
450.30/450.34	c |     25761 |    4215     9372    40069 |    15692    12052     36 |  0.000 % |
451.20/451.22	c |     38735 |    4215     9372    40069 |    17261     9233     35 |  0.000 % |
452.49/452.58	c |     58197 |    4215     9372    40069 |    18987    11332     32 |  0.000 % |
454.79/454.88	c |     87390 |    4215     9372    40069 |    20886    11874     36 |  0.000 % |
458.19/458.24	c |    131181 |    4215     9372    40069 |    22974    13688     35 |  0.000 % |
463.59/463.62	c |    196867 |    4215     9372    40069 |    25272    21544     37 |  0.000 % |
472.90/472.90	c |    295394 |    4215     9372    40069 |    27799    13744     39 |  0.000 % |
486.50/486.58	c |    443184 |    4215     9372    40069 |    30579    21506     39 |  0.000 % |
508.69/508.78	c |    664867 |    4215     9372    40069 |    33637    27367     36 |  0.000 % |
539.80/539.86	c |    997392 |    4214     9372    40069 |    37001    19403     37 |  0.024 % |
545.39/545.41	c ===============================================================================
551.19/551.20	c core #9
551.19/551.20	c 
551.19/551.20	c 
551.19/551.20	c Core size: 997	Core Weight: 1	Total Weight: 9
551.19/551.20	c Current CPU time: 539.201 s
551.19/551.20	c
551.19/551.20	c ============================[ Search Statistics ]==============================
551.19/551.20	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
551.19/551.20	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
551.19/551.20	c ===============================================================================
551.19/551.20	c |         0 |    4784    10168    44077 |     5000        0   -nan |  0.000 % |
551.19/551.21	c |       100 |    4784    10168    44077 |     5500      100     27 |  0.000 % |
551.19/551.21	c |       250 |    4784    10168    44077 |     6050      250     28 |  0.000 % |
551.19/551.22	c |       475 |    4784    10168    44077 |     6655      475     29 |  0.000 % |
551.19/551.23	c |       813 |    4784    10168    44077 |     7320      813     28 |  0.000 % |
551.19/551.25	c |      1319 |    4784    10168    44077 |     8052     1319     27 |  0.000 % |
551.19/551.27	c |      2079 |    4784    10168    44077 |     8857     2079     27 |  0.000 % |
551.29/551.32	c |      3218 |    4784    10168    44077 |     9743     3218     27 |  0.000 % |
551.29/551.38	c |      4926 |    4784    10168    44077 |    10717     4926     27 |  0.000 % |
551.40/551.49	c |      7489 |    4784    10168    44077 |    11789     7489     28 |  0.000 % |
551.69/551.71	c |     11333 |    4784    10168    44077 |    12968    11333     29 |  0.000 % |
552.00/552.00	c |     17099 |    4784    10168    44077 |    14265    10554     29 |  0.000 % |
552.49/552.51	c |     25748 |    4784    10168    44077 |    15692    12022     31 |  0.000 % |
553.30/553.35	c |     38723 |    4784    10168    44077 |    17261     9208     34 |  0.000 % |
554.60/554.66	c |     58185 |    4784    10168    44077 |    18987    11324     33 |  0.000 % |
556.70/556.78	c |     87378 |    4784    10168    44077 |    20886    11900     35 |  0.000 % |
560.10/560.18	c |    131167 |    4784    10168    44077 |    22974    13726     33 |  0.000 % |
566.10/566.13	c |    196855 |    4784    10168    44077 |    25272    21486     38 |  0.000 % |
575.99/576.03	c |    295382 |    4784    10168    44077 |    27799    13800     39 |  0.000 % |
590.49/590.58	c |    443171 |    4784    10168    44077 |    30579    20883     40 |  0.000 % |
612.20/612.23	c |    664856 |    4784    10168    44077 |    33637    25726     37 |  0.000 % |
647.69/647.71	c |    997381 |    4784    10168    44077 |    37001    22397     37 |  0.000 % |
650.90/650.92	c ===============================================================================
656.71/656.73	c core #10
656.71/656.73	c 
656.71/656.73	c 
656.71/656.73	c Core size: 955	Core Weight: 1	Total Weight: 10
656.71/656.73	c Current CPU time: 642.772 s
656.71/656.73	c
656.71/656.73	c ============================[ Search Statistics ]==============================
656.71/656.73	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
656.71/656.73	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
656.71/656.73	c ===============================================================================
656.71/656.73	c |         0 |    5322    10964    48016 |     5000        0   -nan |  0.000 % |
656.71/656.74	c |       101 |    5322    10964    48016 |     5500      101     25 |  0.000 % |
656.71/656.74	c |       253 |    5322    10964    48016 |     6050      253     22 |  0.000 % |
656.71/656.75	c |       478 |    5322    10964    48016 |     6655      478     23 |  0.000 % |
656.71/656.76	c |       815 |    5322    10964    48016 |     7320      815     24 |  0.000 % |
656.71/656.77	c |      1322 |    5322    10964    48016 |     8052     1322     27 |  0.000 % |
656.80/656.80	c |      2081 |    5322    10964    48016 |     8857     2081     28 |  0.000 % |
656.80/656.84	c |      3220 |    5322    10964    48016 |     9743     3220     29 |  0.000 % |
656.89/656.95	c |      4928 |    5322    10964    48016 |    10717     4928     29 |  0.000 % |
656.99/657.05	c |      7490 |    5322    10964    48016 |    11789     7490     28 |  0.000 % |
657.19/657.26	c |     11336 |    5322    10964    48016 |    12968    11336     30 |  0.000 % |
657.50/657.59	c |     17102 |    5322    10964    48016 |    14265    10566     33 |  0.000 % |
658.09/658.11	c |     25751 |    5322    10964    48016 |    15692    12025     35 |  0.000 % |
658.90/658.97	c |     38725 |    5322    10964    48016 |    17261     9137     32 |  0.000 % |
660.29/660.32	c |     58186 |    5322    10964    48016 |    18987    11243     39 |  0.000 % |
662.60/662.62	c |     87378 |    5322    10964    48016 |    20886    11799     35 |  0.000 % |
666.50/666.51	c |    131169 |    5322    10964    48016 |    22974    13626     38 |  0.000 % |
672.70/672.79	c |    196854 |    5322    10964    48016 |    25272    21008     35 |  0.000 % |
681.60/681.63	c |    295381 |    5322    10964    48016 |    27799    24732     37 |  0.000 % |
695.30/695.35	c |    443171 |    5322    10964    48016 |    30579    15040     35 |  0.000 % |
717.00/717.01	c |    664855 |    5322    10964    48016 |    33637    22122     40 |  0.000 % |
744.20/744.24	c ===============================================================================
749.10/749.19	c core #11
749.10/749.19	c 
749.10/749.19	c 
749.10/749.19	c Core size: 1010	Core Weight: 1	Total Weight: 11
749.10/749.19	c Current CPU time: 733.572 s
749.10/749.19	c
749.10/749.19	c ============================[ Search Statistics ]==============================
749.10/749.19	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
749.10/749.19	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
749.10/749.19	c ===============================================================================
749.10/749.19	c |         0 |    5916    11740    52015 |     5000        0   -nan |  0.000 % |
749.20/749.20	c |       101 |    5916    11740    52015 |     5500      101     21 |  0.000 % |
749.20/749.20	c |       251 |    5916    11740    52015 |     6050      251     24 |  0.000 % |
749.20/749.22	c |       477 |    5916    11740    52015 |     6655      477     22 |  0.000 % |
749.20/749.23	c |       816 |    5916    11740    52015 |     7320      816     25 |  0.000 % |
749.20/749.24	c |      1323 |    5916    11740    52015 |     8052     1323     26 |  0.000 % |
749.20/749.27	c |      2084 |    5916    11740    52015 |     8857     2084     29 |  0.000 % |
749.29/749.32	c |      3225 |    5916    11740    52015 |     9743     3225     28 |  0.000 % |
749.40/749.40	c |      4934 |    5916    11740    52015 |    10717     4934     29 |  0.000 % |
749.50/749.55	c |      7496 |    5916    11740    52015 |    11789     7496     29 |  0.000 % |
749.69/749.76	c |     11342 |    5916    11740    52015 |    12968    11342     30 |  0.000 % |
750.11/750.16	c |     17108 |    5916    11740    52015 |    14265    10568     33 |  0.000 % |
750.70/750.77	c |     25757 |    5916    11740    52015 |    15692    12050     34 |  0.000 % |
751.70/751.71	c |     38732 |    5916    11740    52015 |    17261     9203     35 |  0.000 % |
753.10/753.13	c |     58197 |    5916    11740    52015 |    18987    11278     35 |  0.000 % |
755.20/755.28	c |     87389 |    5916    11740    52015 |    20886    11831     33 |  0.000 % |
758.70/758.73	c |    131180 |    5916    11740    52015 |    22974    13618     36 |  0.000 % |
764.30/764.37	c |    196865 |    5916    11740    52015 |    25272    21461     35 |  0.000 % |
774.09/774.14	c |    295392 |    5916    11740    52015 |    27799    13950     37 |  0.000 % |
789.40/789.48	c |    443183 |    5916    11740    52015 |    30579    24128     41 |  0.000 % |
832.71/832.76	c |    664866 |    5916    11740    52015 |    33637    20442     35 |  0.000 % |
864.20/864.20	c ===============================================================================
869.20/869.28	c core #12
869.20/869.28	c 
869.20/869.28	c 
869.20/869.28	c Core size: 1144	Core Weight: 1	Total Weight: 12
869.20/869.28	c Current CPU time: 851.75 s
869.20/869.28	c
869.20/869.28	c ============================[ Search Statistics ]==============================
869.20/869.28	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
869.20/869.28	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
869.20/869.28	c ===============================================================================
869.20/869.28	c |         0 |    6600    12510    56215 |     5000        0   -nan |  0.000 % |
869.20/869.29	c |       102 |    6600    12510    56215 |     5500      102     30 |  0.000 % |
869.20/869.29	c |       252 |    6600    12510    56215 |     6050      252     27 |  0.000 % |
869.30/869.30	c |       477 |    6600    12510    56215 |     6655      477     28 |  0.000 % |
869.30/869.32	c |       817 |    6600    12510    56215 |     7320      817     27 |  0.000 % |
869.30/869.34	c |      1325 |    6600    12510    56215 |     8052     1325     28 |  0.000 % |
869.30/869.36	c |      2085 |    6600    12510    56215 |     8857     2085     28 |  0.000 % |
869.40/869.41	c |      3226 |    6600    12510    56215 |     9743     3226     27 |  0.000 % |
869.40/869.49	c |      4936 |    6600    12510    56215 |    10717     4936     28 |  0.000 % |
869.60/869.61	c |      7499 |    6600    12510    56215 |    11789     7499     28 |  0.000 % |
869.80/869.81	c |     11344 |    6600    12510    56215 |    12968    11344     29 |  0.000 % |
870.11/870.15	c |     17110 |    6600    12510    56215 |    14265    10573     31 |  0.000 % |
870.70/870.76	c |     25759 |    6600    12510    56215 |    15692    12036     37 |  0.000 % |
871.80/871.80	c |     38734 |    6600    12510    56215 |    17261     9229     35 |  0.000 % |
873.30/873.36	c |     58196 |    6600    12510    56215 |    18987    11337     35 |  0.000 % |
875.90/875.94	c |     87388 |    6600    12510    56215 |    20886    11899     37 |  0.000 % |
879.70/879.78	c |    131177 |    6600    12510    56215 |    22974    13583     38 |  0.000 % |
885.70/885.73	c |    196862 |    6600    12510    56215 |    25272    21575     36 |  0.000 % |
895.60/895.68	c |    295388 |    6600    12510    56215 |    27799    14997     35 |  0.000 % |
903.30/903.36	c ===============================================================================
903.30/903.37	c #cores: 12
903.30/903.37	o 12
903.30/903.37	s OPTIMUM FOUND
903.30/903.37	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 -x170 -x171 -x172 -x173 x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231
903.30/903.37	c Total CPU time: 885.576 s

Verifier Data 

OK	12

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 /var/tmp/evaluation-result-3447106-1307905957/watcher-3447106-1307905957 -o /var/tmp/evaluation-result-3447106-1307905957/solver-3447106-1307905957 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=wbo -time-limit=1800 -search-mode=0 HOME/instance-3447106-1307905957.wbo 

running on 4 cores: 1,3,5,7

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.96 2/177 6327
/proc/meminfo: memFree=1147172/32950928 swapFree=67048888/67111528
[pid=6327] ppid=6325 vsize=2196 CPUtime=0 cores=1,3,5,7
/proc/6327/stat : 6327 (wbo1.6) R 6325 6327 4454 0 -1 4202496 321 0 0 0 0 0 0 0 25 0 1 0 902194526 2248704 272 33554432000 4194304 5714214 140735327663456 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/6327/statm: 549 272 178 372 0 152 0

[startup+0.058197 s]
/proc/loadavg: 2.00 2.00 1.96 2/177 6327
/proc/meminfo: memFree=1147172/32950928 swapFree=67048888/67111528
[pid=6327] ppid=6325 vsize=2900 CPUtime=0.05 cores=1,3,5,7
/proc/6327/stat : 6327 (wbo1.6) R 6325 6327 4454 0 -1 4202496 558 0 0 0 5 0 0 0 25 0 1 0 902194526 2969600 487 33554432000 4194304 5714214 140735327663456 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/6327/statm: 725 487 177 372 0 350 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 2900

[startup+0.100169 s]
/proc/loadavg: 2.00 2.00 1.96 2/177 6327
/proc/meminfo: memFree=1147172/32950928 swapFree=67048888/67111528
[pid=6327] ppid=6325 vsize=3428 CPUtime=0.09 cores=1,3,5,7
/proc/6327/stat : 6327 (wbo1.6) R 6325 6327 4454 0 -1 4202496 686 0 0 0 9 0 0 0 25 0 1 0 902194526 3510272 615 33554432000 4194304 5714214 140735327663456 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/6327/statm: 857 615 177 372 0 482 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3428

[startup+0.300131 s]
/proc/loadavg: 2.00 2.00 1.96 2/177 6327
/proc/meminfo: memFree=1147172/32950928 swapFree=67048888/67111528
[pid=6327] ppid=6325 vsize=5396 CPUtime=0.29 cores=1,3,5,7
/proc/6327/stat : 6327 (wbo1.6) R 6325 6327 4454 0 -1 4202496 1178 0 0 0 28 1 0 0 25 0 1 0 902194526 5525504 1107 33554432000 4194304 5714214 140735327663456 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/6327/statm: 1349 1107 177 372 0 974 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5396

[startup+0.701005 s]
/proc/loadavg: 2.00 2.00 1.96 2/177 6327
/proc/meminfo: memFree=1147172/32950928 swapFree=67048888/67111528
[pid=6327] ppid=6325 vsize=7392 CPUtime=0.69 cores=1,3,5,7
/proc/6327/stat : 6327 (wbo1.6) R 6325 6327 4454 0 -1 4202496 1649 0 0 0 65 4 0 0 25 0 1 0 902194526 7569408 1578 33554432000 4194304 5714214 140735327663456 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/6327/statm: 1848 1578 177 372 0 1473 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7392

[startup+1.50092 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 6328
/proc/meminfo: memFree=1126728/32950928 swapFree=67048888/67111528
[pid=6327] ppid=6325 vsize=9512 CPUtime=1.49 cores=1,3,5,7
/proc/6327/stat : 6327 (wbo1.6) R 6325 6327 4454 0 -1 4202496 2204 0 0 0 143 6 0 0 25 0 1 0 902194526 9740288 2133 33554432000 4194304 5714214 140735327663456 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/6327/statm: 2378 2133 177 372 0 2003 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9512

[startup+3.10064 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 6328
/proc/meminfo: memFree=1108392/32950928 swapFree=67048888/67111528
[pid=6327] ppid=6325 vsize=13900 CPUtime=3.09 cores=1,3,5,7
/proc/6327/stat : 6327 (wbo1.6) R 6325 6327 4454 0 -1 4202496 3288 0 0 0 298 11 0 0 25 0 1 0 902194526 14233600 3217 33554432000 4194304 5714214 140735327663456 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/6327/statm: 3475 3217 177 372 0 3100 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13900

[startup+6.30107 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 6328
/proc/meminfo: memFree=1093656/32950928 swapFree=67048888/67111528
[pid=6327] ppid=6325 vsize=20916 CPUtime=6.29 cores=1,3,5,7
/proc/6327/stat : 6327 (wbo1.6) R 6325 6327 4454 0 -1 4202496 5033 0 0 0 610 19 0 0 25 0 1 0 902194526 21417984 4962 33554432000 4194304 5714214 140735327663456 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6327/statm: 5229 4962 177 372 0 4854 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 20916

[startup+12.7009 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 6328
/proc/meminfo: memFree=1081092/32950928 swapFree=67048888/67111528
[pid=6327] ppid=6325 vsize=32884 CPUtime=12.69 cores=1,3,5,7
/proc/6327/stat : 6327 (wbo1.6) R 6325 6327 4454 0 -1 4202496 8005 0 0 0 1234 35 0 0 25 0 1 0 902194526 33673216 7934 33554432000 4194304 5714214 140735327663456 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6327/statm: 8221 7934 177 372 0 7846 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 32884

[startup+25.5006 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 6328
/proc/meminfo: memFree=1059028/32950928 swapFree=67048888/67111528
[pid=6327] ppid=6325 vsize=54400 CPUtime=25.49 cores=1,3,5,7
/proc/6327/stat : 6327 (wbo1.6) R 6325 6327 4454 0 -1 4202496 13350 0 0 0 2484 65 0 0 25 0 1 0 902194526 55705600 13279 33554432000 4194304 5714214 140735327663456 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6327/statm: 13600 13279 177 372 0 13225 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 54400

[startup+51.101 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 6329
/proc/meminfo: memFree=1022048/32950928 swapFree=67048888/67111528
[pid=6327] ppid=6325 vsize=90712 CPUtime=51.1 cores=1,3,5,7
/proc/6327/stat : 6327 (wbo1.6) R 6325 6327 4454 0 -1 4202496 22368 0 0 0 4991 119 0 0 25 0 1 0 902194526 92889088 22297 33554432000 4194304 5714214 140735327663456 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6327/statm: 22678 22297 177 372 0 22303 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 90712

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 6330
/proc/meminfo: memFree=992120/32950928 swapFree=67048888/67111528
[pid=6327] ppid=6325 vsize=119708 CPUtime=102.29 cores=1,3,5,7
/proc/6327/stat : 6327 (wbo1.6) R 6325 6327 4454 0 -1 4202496 29742 0 0 0 9993 236 0 0 25 0 1 0 902194526 122580992 29611 33554432000 4194304 5714214 140735327663456 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6327/statm: 29927 29611 178 372 0 29552 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 119708

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 6332
/proc/meminfo: memFree=965296/32950928 swapFree=67048888/67111528
[pid=6327] ppid=6325 vsize=119708 CPUtime=162.29 cores=1,3,5,7
/proc/6327/stat : 6327 (wbo1.6) R 6325 6327 4454 0 -1 4202496 29794 0 0 0 15857 372 0 0 25 0 1 0 902194526 122580992 29663 33554432000 4194304 5714214 140735327663456 18446744073709551615 4319440 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6327/statm: 29927 29663 178 372 0 29552 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 119708

[startup+222.301 s]
/proc/loadavg: 2.07 2.02 1.96 3/178 6333
/proc/meminfo: memFree=965492/32950928 swapFree=67048888/67111528
[pid=6327] ppid=6325 vsize=119708 CPUtime=222.29 cores=1,3,5,7
/proc/6327/stat : 6327 (wbo1.6) R 6325 6327 4454 0 -1 4202496 29794 0 0 0 21730 499 0 0 25 0 1 0 902194526 122580992 29663 33554432000 4194304 5714214 140735327663456 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6327/statm: 29927 29663 178 372 0 29552 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 119708

[startup+282.301 s]
/proc/loadavg: 2.02 2.01 1.96 3/178 6335
/proc/meminfo: memFree=913128/32950928 swapFree=67048888/67111528
[pid=6327] ppid=6325 vsize=168260 CPUtime=282.29 cores=1,3,5,7
/proc/6327/stat : 6327 (wbo1.6) R 6325 6327 4454 0 -1 4202496 41921 0 0 0 27612 617 0 0 25 0 1 0 902194526 172298240 41790 33554432000 4194304 5714214 140735327663456 18446744073709551615 4300192 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6327/statm: 42065 41790 178 372 0 41690 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 168260

[startup+342.3 s]
/proc/loadavg: 2.01 2.00 1.96 3/178 6337
/proc/meminfo: memFree=891884/32950928 swapFree=67048888/67111528
[pid=6327] ppid=6325 vsize=168260 CPUtime=342.29 cores=1,3,5,7
/proc/6327/stat : 6327 (wbo1.6) R 6325 6327 4454 0 -1 4202496 41935 0 0 0 33477 752 0 0 25 0 1 0 902194526 172298240 41804 33554432000 4194304 5714214 140735327663456 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6327/statm: 42065 41804 178 372 0 41690 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 168260

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 6338
/proc/meminfo: memFree=883644/32950928 swapFree=67048888/67111528
[pid=6327] ppid=6325 vsize=168260 CPUtime=402.29 cores=1,3,5,7
/proc/6327/stat : 6327 (wbo1.6) R 6325 6327 4454 0 -1 4202496 41935 0 0 0 39353 876 0 0 25 0 1 0 902194526 172298240 41804 33554432000 4194304 5714214 140735327663456 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6327/statm: 42065 41804 178 372 0 41690 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 168260

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 6340
/proc/meminfo: memFree=868968/32950928 swapFree=67048888/67111528
[pid=6327] ppid=6325 vsize=182964 CPUtime=462.29 cores=1,3,5,7
/proc/6327/stat : 6327 (wbo1.6) R 6325 6327 4454 0 -1 4202496 45581 0 0 0 45244 985 0 0 25 0 1 0 902194526 187355136 45450 33554432000 4194304 5714214 140735327663456 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6327/statm: 45741 45450 178 372 0 45366 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 182964

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 6341
/proc/meminfo: memFree=817356/32950928 swapFree=67048888/67111528
[pid=6327] ppid=6325 vsize=182964 CPUtime=522.29 cores=1,3,5,7
/proc/6327/stat : 6327 (wbo1.6) R 6325 6327 4454 0 -1 4202496 45581 0 0 0 51126 1103 0 0 25 0 1 0 902194526 187355136 45450 33554432000 4194304 5714214 140735327663456 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6327/statm: 45741 45450 178 372 0 45366 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 182964

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 6343
/proc/meminfo: memFree=724552/32950928 swapFree=67048888/67111528
[pid=6327] ppid=6325 vsize=184656 CPUtime=582.29 cores=1,3,5,7
/proc/6327/stat : 6327 (wbo1.6) R 6325 6327 4454 0 -1 4202496 46018 0 0 0 57016 1213 0 0 25 0 1 0 902194526 189087744 45887 33554432000 4194304 5714214 140735327663456 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6327/statm: 46164 45887 178 372 0 45789 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 184656

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 6345
/proc/meminfo: memFree=723772/32950928 swapFree=67048888/67111528
[pid=6327] ppid=6325 vsize=184656 CPUtime=642.31 cores=1,3,5,7
/proc/6327/stat : 6327 (wbo1.6) R 6325 6327 4454 0 -1 4202496 46045 0 0 0 62900 1331 0 0 25 0 1 0 902194526 189087744 45914 33554432000 4194304 5714214 140735327663456 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6327/statm: 46164 45914 178 372 0 45789 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 184656

[startup+702.301 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 6346
/proc/meminfo: memFree=723468/32950928 swapFree=67048888/67111528
[pid=6327] ppid=6325 vsize=184936 CPUtime=702.3 cores=1,3,5,7
/proc/6327/stat : 6327 (wbo1.6) R 6325 6327 4454 0 -1 4202496 46114 0 0 0 68788 1442 0 0 25 0 1 0 902194526 189374464 45983 33554432000 4194304 5714214 140735327663456 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6327/statm: 46234 45983 178 372 0 45859 0
Current children cumulated CPU time (s) 702.3
Current children cumulated vsize (KiB) 184936

[startup+762.306 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 6348
/proc/meminfo: memFree=723420/32950928 swapFree=67048888/67111528
[pid=6327] ppid=6325 vsize=184936 CPUtime=762.3 cores=1,3,5,7
/proc/6327/stat : 6327 (wbo1.6) R 6325 6327 4454 0 -1 4202496 46129 0 0 0 74680 1550 0 0 25 0 1 0 902194526 189374464 45998 33554432000 4194304 5714214 140735327663456 18446744073709551615 4319337 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6327/statm: 46234 45998 178 372 0 45859 0
Current children cumulated CPU time (s) 762.3
Current children cumulated vsize (KiB) 184936

[startup+822.301 s]
/proc/loadavg: 2.04 2.01 1.97 3/178 6349
/proc/meminfo: memFree=608180/32950928 swapFree=67048888/67111528
[pid=6327] ppid=6325 vsize=184936 CPUtime=822.3 cores=1,3,5,7
/proc/6327/stat : 6327 (wbo1.6) R 6325 6327 4454 0 -1 4202496 46129 0 0 0 80599 1631 0 0 25 0 1 0 902194526 189374464 45998 33554432000 4194304 5714214 140735327663456 18446744073709551615 4319414 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6327/statm: 46234 45998 178 372 0 45859 0
Current children cumulated CPU time (s) 822.3
Current children cumulated vsize (KiB) 184936

[startup+882.301 s]
/proc/loadavg: 2.01 2.01 1.97 3/178 6351
/proc/meminfo: memFree=608132/32950928 swapFree=67048888/67111528
[pid=6327] ppid=6325 vsize=184936 CPUtime=882.3 cores=1,3,5,7
/proc/6327/stat : 6327 (wbo1.6) R 6325 6327 4454 0 -1 4202496 46129 0 0 0 86491 1739 0 0 25 0 1 0 902194526 189374464 45998 33554432000 4194304 5714214 140735327663456 18446744073709551615 4319384 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6327/statm: 46234 45998 178 372 0 45859 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 184936

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

[startup+883.101 s]
/proc/loadavg: 2.01 2.01 1.97 3/178 6351
/proc/meminfo: memFree=608132/32950928 swapFree=67048888/67111528
[pid=6327] ppid=6325 vsize=184936 CPUtime=883.1 cores=1,3,5,7
/proc/6327/stat : 6327 (wbo1.6) R 6325 6327 4454 0 -1 4202496 46129 0 0 0 86569 1741 0 0 25 0 1 0 902194526 189374464 45998 33554432000 4194304 5714214 140735327663456 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6327/statm: 46234 45998 178 372 0 45859 0
Current children cumulated CPU time (s) 883.1
Current children cumulated vsize (KiB) 184936

[startup+895.901 s]
/proc/loadavg: 2.01 2.00 1.97 3/178 6351
/proc/meminfo: memFree=608248/32950928 swapFree=67048888/67111528
[pid=6327] ppid=6325 vsize=184936 CPUtime=895.9 cores=1,3,5,7
/proc/6327/stat : 6327 (wbo1.6) R 6325 6327 4454 0 -1 4202496 46129 0 0 0 87823 1767 0 0 25 0 1 0 902194526 189374464 45998 33554432000 4194304 5714214 140735327663456 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6327/statm: 46234 45998 178 372 0 45859 0
Current children cumulated CPU time (s) 895.9
Current children cumulated vsize (KiB) 184936

[startup+899.101 s]
/proc/loadavg: 2.01 2.00 1.97 3/178 6351
/proc/meminfo: memFree=608124/32950928 swapFree=67048888/67111528
[pid=6327] ppid=6325 vsize=184936 CPUtime=899.1 cores=1,3,5,7
/proc/6327/stat : 6327 (wbo1.6) R 6325 6327 4454 0 -1 4202496 46129 0 0 0 88138 1772 0 0 25 0 1 0 902194526 189374464 45998 33554432000 4194304 5714214 140735327663456 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6327/statm: 46234 45998 178 372 0 45859 0
Current children cumulated CPU time (s) 899.1
Current children cumulated vsize (KiB) 184936

[startup+900.701 s]
/proc/loadavg: 2.01 2.00 1.97 3/178 6352
/proc/meminfo: memFree=608244/32950928 swapFree=67048888/67111528
[pid=6327] ppid=6325 vsize=184936 CPUtime=900.7 cores=1,3,5,7
/proc/6327/stat : 6327 (wbo1.6) R 6325 6327 4454 0 -1 4202496 46129 0 0 0 88296 1774 0 0 25 0 1 0 902194526 189374464 45998 33554432000 4194304 5714214 140735327663456 18446744073709551615 4311680 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6327/statm: 46234 45998 178 372 0 45859 0
Current children cumulated CPU time (s) 900.7
Current children cumulated vsize (KiB) 184936

[startup+902.3 s]
/proc/loadavg: 2.01 2.00 1.97 3/178 6352
/proc/meminfo: memFree=608244/32950928 swapFree=67048888/67111528
[pid=6327] ppid=6325 vsize=184936 CPUtime=902.3 cores=1,3,5,7
/proc/6327/stat : 6327 (wbo1.6) R 6325 6327 4454 0 -1 4202496 46129 0 0 0 88453 1777 0 0 25 0 1 0 902194526 189374464 45998 33554432000 4194304 5714214 140735327663456 18446744073709551615 4319793 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6327/statm: 46234 45998 178 372 0 45859 0
Current children cumulated CPU time (s) 902.3
Current children cumulated vsize (KiB) 184936

[startup+903.106 s]
/proc/loadavg: 2.01 2.00 1.97 3/178 6352
/proc/meminfo: memFree=608244/32950928 swapFree=67048888/67111528
[pid=6327] ppid=6325 vsize=184936 CPUtime=903.1 cores=1,3,5,7
/proc/6327/stat : 6327 (wbo1.6) R 6325 6327 4454 0 -1 4202496 46129 0 0 0 88532 1778 0 0 25 0 1 0 902194526 189374464 45998 33554432000 4194304 5714214 140735327663456 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6327/statm: 46234 45998 178 372 0 45859 0
Current children cumulated CPU time (s) 903.1
Current children cumulated vsize (KiB) 184936

[startup+903.3 s]
/proc/loadavg: 2.01 2.00 1.97 3/178 6352
/proc/meminfo: memFree=608244/32950928 swapFree=67048888/67111528
[pid=6327] ppid=6325 vsize=184936 CPUtime=903.3 cores=1,3,5,7
/proc/6327/stat : 6327 (wbo1.6) R 6325 6327 4454 0 -1 4202496 46129 0 0 0 88551 1779 0 0 25 0 1 0 902194526 189374464 45998 33554432000 4194304 5714214 140735327663456 18446744073709551615 4319303 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6327/statm: 46234 45998 178 372 0 45859 0
Current children cumulated CPU time (s) 903.3
Current children cumulated vsize (KiB) 184936

Child status: 0
Real time (s): 903.379
CPU time (s): 903.388
CPU user time (s): 885.576
CPU system time (s): 17.8113
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 184936

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 885.576
system time used= 17.8113
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46132
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= 8
involuntary context switches= 2271

runsolver used 1.20782 second user time and 2.92256 second system time

The end

Launcher Data 

Begin job on node122 at 2011-06-12 21:12:37
IDJOB=3447106
IDBENCH=78960
IDSOLVER=1943
FILE ID=node122/3447106-1307905957
RUNJOBID= node122-1307904089-6122
PBS_JOBID= 13559584
Free space on /var/tmp= 2888 MiB

SOLVER NAME= wbo 1.6
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900567024--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 /var/tmp/evaluation-result-3447106-1307905957/watcher-3447106-1307905957 -o /var/tmp/evaluation-result-3447106-1307905957/solver-3447106-1307905957 -C 1800 -W 1900 -M 15500  wbo1.6 -file-format=wbo -time-limit=1800 -search-mode=0 HOME/instance-3447106-1307905957.wbo

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

MD5SUM BENCH= 7129b2638275c1b1b14ce0a3da71735e
RANDOM SEED=254685232

node122.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.820
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.64
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.820
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.820
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.820
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.83
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.820
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.820
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.820
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.820
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.97
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:       1147732 kB
Buffers:         59216 kB
Cached:       30629848 kB
SwapCached:      14964 kB
Active:       15777340 kB
Inactive:     15071828 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:       1147732 kB
SwapTotal:    67111528 kB
SwapFree:     67048888 kB
Dirty:            4296 kB
Writeback:           0 kB
AnonPages:      157660 kB
Mapped:           9876 kB
Slab:           889792 kB
PageTables:       4900 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   351364 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 /var/tmp at the end= 2884 MiB
End job on node122 at 2011-06-12 21:27:41