Trace number 3446973

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 1019.81 1019.79

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900584106--soft-66-100-0.wbo
MD5SUMaf1f4aa986dfaf7d995a788abb35be25
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 benchmark45.2941
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 constraints961
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 46411
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 46410
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 737
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-3446973-1307905431.wbo.
0.00/0.00	c Instance file HOME/instance-3446973-1307905431.wbo
0.00/0.00	c File size is 88172 bytes.
0.00/0.00	c Highest Coefficient sum: 737
0.00/0.00	c ============================[ Problem Statistics ]=============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |  Parsing time:          0.01         s                                      |
0.00/0.00	c |  Number Variables:      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 |       102 |     231     2707     8338 |     5500      102     18 |  0.002 % |
0.00/0.01	c |       252 |     231     2707     8338 |     6050      252     19 |  0.002 % |
0.00/0.01	c |       479 |     231     2707     8338 |     6655      479     20 |  0.002 % |
0.00/0.02	c |       818 |     231     2707     8338 |     7320      818     20 |  0.002 % |
0.00/0.03	c |      1325 |     231     2707     8338 |     8052     1325     21 |  0.002 % |
0.00/0.04	c |      2085 |     231     2707     8338 |     8857     2085     24 |  0.002 % |
0.06/0.07	c |      3224 |     231     2707     8338 |     9743     3224     26 |  0.002 % |
0.09/0.11	c |      4932 |     231     2707     8338 |    10717     4932     27 |  0.002 % |
0.19/0.20	c |      7495 |     231     2707     8338 |    11789     7495     30 |  0.002 % |
0.29/0.35	c |     11340 |     231     2707     8338 |    12968    11340     31 |  0.002 % |
0.59/0.63	c |     17108 |     231     2707     8338 |    14265    10579     36 |  0.002 % |
1.00/1.06	c |     25758 |     231     2707     8338 |    15692    12048     37 |  0.002 % |
1.69/1.79	c |     38732 |     231     2707     8338 |    17261     9216     40 |  0.002 % |
3.09/3.15	c |     58195 |     231     2707     8338 |    18987    11300     40 |  0.002 % |
5.19/5.27	c |     87388 |     231     2707     8338 |    20886    11860     37 |  0.002 % |
8.29/8.31	c |    131179 |     231     2707     8338 |    22974    13704     36 |  0.002 % |
13.59/13.64	c |    196864 |     231     2707     8338 |    25272    21697     36 |  0.002 % |
22.29/22.33	c |    295390 |     231     2707     8338 |    27799    16721     36 |  0.002 % |
35.39/35.43	c |    443179 |     231     2707     8338 |    30579    24157     37 |  0.002 % |
54.29/54.30	c |    664862 |     210     2707     8338 |    33637    29029     37 |  9.093 % |
56.79/56.85	c ===============================================================================
60.69/60.71	c core #1
60.69/60.71	c 
60.69/60.71	c 
60.69/60.71	c Core size: 924	Core Weight: 1	Total Weight: 1
60.69/60.71	c Current CPU time: 59.103 s
60.69/60.71	c
60.69/60.71	c ============================[ Search Statistics ]==============================
60.69/60.71	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
60.69/60.71	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
60.69/60.71	c ===============================================================================
60.69/60.71	c |         0 |     731     3614    12548 |     5000        0   -nan |  0.000 % |
60.69/60.71	c |       100 |     731     3614    12548 |     5500      100     21 |  0.000 % |
60.69/60.71	c |       250 |     731     3614    12548 |     6050      250     21 |  0.000 % |
60.69/60.72	c |       479 |     731     3614    12548 |     6655      479     21 |  0.000 % |
60.69/60.73	c |       817 |     731     3614    12548 |     7320      817     25 |  0.000 % |
60.69/60.74	c |      1324 |     731     3614    12548 |     8052     1324     25 |  0.000 % |
60.69/60.75	c |      2083 |     731     3614    12548 |     8857     2083     27 |  0.000 % |
60.69/60.78	c |      3223 |     731     3614    12548 |     9743     3223     26 |  0.000 % |
60.79/60.83	c |      4932 |     731     3614    12548 |    10717     4932     27 |  0.000 % |
60.89/60.91	c |      7495 |     731     3614    12548 |    11789     7495     28 |  0.000 % |
60.99/61.06	c |     11340 |     731     3614    12548 |    12968    11340     28 |  0.000 % |
61.29/61.31	c |     17106 |     731     3614    12548 |    14265    10574     30 |  0.000 % |
61.69/61.77	c |     25755 |     731     3614    12548 |    15692    12025     34 |  0.000 % |
62.49/62.59	c |     38729 |     731     3614    12548 |    17261     9211     36 |  0.000 % |
63.80/63.82	c |     58190 |     731     3614    12548 |    18987    11295     33 |  0.000 % |
65.70/65.74	c |     87382 |     731     3614    12548 |    20886    11872     34 |  0.000 % |
69.09/69.14	c |    131173 |     731     3614    12548 |    22974    13707     32 |  0.000 % |
74.19/74.21	c |    196858 |     731     3614    12548 |    25272    21675     34 |  0.000 % |
82.09/82.19	c |    295385 |     731     3614    12548 |    27799    14750     33 |  0.000 % |
94.90/94.95	c |    443174 |     731     3614    12548 |    30579    21204     37 |  0.000 % |
114.00/114.08	c |    664863 |     731     3614    12548 |    33637    27781     37 |  0.004 % |
118.20/118.22	c ===============================================================================
122.20/122.22	c core #2
122.20/122.22	c 
122.20/122.22	c 
122.20/122.22	c Core size: 897	Core Weight: 1	Total Weight: 2
122.20/122.22	c Current CPU time: 119.313 s
122.20/122.22	c
122.20/122.22	c ============================[ Search Statistics ]==============================
122.20/122.22	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
122.20/122.22	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
122.20/122.22	c ===============================================================================
122.20/122.22	c |         0 |    1224     4482    16593 |     5000        0   -nan |  0.000 % |
122.20/122.22	c |       100 |    1224     4482    16593 |     5500      100     18 |  0.000 % |
122.20/122.23	c |       250 |    1224     4482    16593 |     6050      250     18 |  0.000 % |
122.20/122.23	c |       475 |    1224     4482    16593 |     6655      475     24 |  0.000 % |
122.20/122.24	c |       813 |    1224     4482    16593 |     7320      813     29 |  0.000 % |
122.20/122.25	c |      1322 |    1224     4482    16593 |     8052     1322     28 |  0.000 % |
122.20/122.27	c |      2081 |    1224     4482    16593 |     8857     2081     28 |  0.000 % |
122.29/122.31	c |      3223 |    1224     4482    16593 |     9743     3223     28 |  0.000 % |
122.29/122.36	c |      4932 |    1224     4482    16593 |    10717     4932     29 |  0.000 % |
122.39/122.46	c |      7494 |    1224     4482    16593 |    11789     7494     30 |  0.000 % |
122.60/122.65	c |     11338 |    1224     4482    16593 |    12968    11338     31 |  0.000 % |
122.89/122.96	c |     17105 |    1224     4482    16593 |    14265    10571     31 |  0.000 % |
123.39/123.40	c |     25756 |    1224     4482    16593 |    15692    12033     30 |  0.000 % |
124.00/124.08	c |     38730 |    1224     4482    16593 |    17261     9222     33 |  0.000 % |
125.29/125.40	c |     58191 |    1224     4482    16593 |    18987    11336     36 |  0.000 % |
127.50/127.55	c |     87383 |    1224     4482    16593 |    20886    11900     34 |  0.000 % |
131.00/131.09	c |    131175 |    1224     4482    16593 |    22974    13718     37 |  0.000 % |
136.30/136.37	c |    196860 |    1224     4482    16593 |    25272    21708     35 |  0.000 % |
143.89/143.92	c |    295386 |    1224     4482    16593 |    27799    12975     33 |  0.000 % |
156.59/156.63	c |    443176 |    1224     4482    16593 |    30579    21515     34 |  0.000 % |
172.49/172.50	c ===============================================================================
175.79/175.81	c core #3
175.79/175.81	c 
175.79/175.81	c 
175.79/175.81	c Core size: 895	Core Weight: 1	Total Weight: 3
175.79/175.81	c Current CPU time: 171.802 s
175.79/175.81	c
175.79/175.81	c ============================[ Search Statistics ]==============================
175.79/175.81	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
175.79/175.81	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
175.79/175.81	c ===============================================================================
175.79/175.81	c |         0 |    1722     5336    20601 |     5000        0   -nan |  0.000 % |
175.79/175.82	c |       100 |    1722     5336    20601 |     5500      100     20 |  0.000 % |
175.79/175.82	c |       251 |    1722     5336    20601 |     6050      251     32 |  0.000 % |
175.79/175.83	c |       477 |    1722     5336    20601 |     6655      477     32 |  0.000 % |
175.79/175.83	c |       815 |    1722     5336    20601 |     7320      815     30 |  0.000 % |
175.79/175.85	c |      1325 |    1722     5336    20601 |     8052     1325     29 |  0.000 % |
175.79/175.87	c |      2084 |    1722     5336    20601 |     8857     2084     29 |  0.000 % |
175.90/175.91	c |      3223 |    1722     5336    20601 |     9743     3223     30 |  0.000 % |
175.90/175.97	c |      4933 |    1722     5336    20601 |    10717     4933     31 |  0.000 % |
176.00/176.07	c |      7496 |    1722     5336    20601 |    11789     7496     30 |  0.000 % |
176.19/176.26	c |     11340 |    1722     5336    20601 |    12968    11340     30 |  0.000 % |
176.50/176.51	c |     17106 |    1722     5336    20601 |    14265    10573     31 |  0.000 % |
177.00/177.03	c |     25755 |    1722     5336    20601 |    15692    12040     35 |  0.000 % |
177.79/177.85	c |     38730 |    1722     5336    20601 |    17261     9225     35 |  0.000 % |
178.99/179.05	c |     58193 |    1722     5336    20601 |    18987    11320     33 |  0.000 % |
181.00/181.05	c |     87385 |    1722     5336    20601 |    20886    11878     33 |  0.000 % |
184.40/184.41	c |    131174 |    1722     5336    20601 |    22974    13667     35 |  0.000 % |
189.60/189.66	c |    196858 |    1722     5336    20601 |    25272    21647     34 |  0.000 % |
197.69/197.71	c |    295384 |    1722     5336    20601 |    27799    13323     36 |  0.000 % |
212.30/212.31	c |    443176 |    1722     5336    20601 |    30579    27713     35 |  0.000 % |
220.09/220.15	c ===============================================================================
222.99/223.05	c core #4
222.99/223.05	c 
222.99/223.05	c 
222.99/223.05	c Core size: 898	Core Weight: 1	Total Weight: 4
222.99/223.05	c Current CPU time: 218.065 s
222.99/223.05	c
222.99/223.05	c ============================[ Search Statistics ]==============================
222.99/223.05	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
222.99/223.05	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
222.99/223.05	c ===============================================================================
222.99/223.05	c |         0 |    2225     6200    24661 |     5000        0   -nan |  0.000 % |
222.99/223.05	c |       100 |    2225     6200    24661 |     5500      100     24 |  0.000 % |
222.99/223.06	c |       250 |    2225     6200    24661 |     6050      250     26 |  0.000 % |
222.99/223.06	c |       476 |    2225     6200    24661 |     6655      476     28 |  0.000 % |
222.99/223.07	c |       814 |    2225     6200    24661 |     7320      814     28 |  0.000 % |
222.99/223.08	c |      1320 |    2225     6200    24661 |     8052     1320     28 |  0.000 % |
223.10/223.10	c |      2080 |    2225     6200    24661 |     8857     2080     28 |  0.000 % |
223.10/223.14	c |      3220 |    2225     6200    24661 |     9743     3220     28 |  0.000 % |
223.10/223.20	c |      4929 |    2225     6200    24661 |    10717     4929     29 |  0.000 % |
223.20/223.30	c |      7491 |    2225     6200    24661 |    11789     7491     29 |  0.000 % |
223.40/223.47	c |     11335 |    2225     6200    24661 |    12968    11335     30 |  0.000 % |
223.69/223.77	c |     17101 |    2225     6200    24661 |    14265    10556     32 |  0.000 % |
224.20/224.25	c |     25752 |    2225     6200    24661 |    15692    12015     34 |  0.000 % |
225.10/225.14	c |     38726 |    2225     6200    24661 |    17261     9197     35 |  0.000 % |
226.30/226.33	c |     58188 |    2225     6200    24661 |    18987    11309     35 |  0.000 % |
228.50/228.58	c |     87382 |    2225     6200    24661 |    20886    11863     35 |  0.000 % |
231.79/231.83	c |    131171 |    2225     6200    24661 |    22974    13697     36 |  0.000 % |
237.10/237.13	c |    196856 |    2225     6200    24661 |    25272    21444     36 |  0.000 % |
245.70/245.76	c |    295382 |    2225     6200    24661 |    27799    13417     37 |  0.000 % |
258.40/258.42	c |    443172 |    2225     6200    24661 |    30579    22189     36 |  0.000 % |
272.40/272.45	c ===============================================================================
275.50/275.59	c core #5
275.50/275.59	c 
275.50/275.59	c 
275.50/275.59	c Core size: 906	Core Weight: 1	Total Weight: 5
275.50/275.59	c Current CPU time: 269.444 s
275.50/275.59	c
275.50/275.59	c ============================[ Search Statistics ]==============================
275.50/275.59	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
275.50/275.59	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
275.50/275.59	c ===============================================================================
275.50/275.59	c |         0 |    2723     7058    28694 |     5000        0   -nan |  0.000 % |
275.50/275.59	c |       100 |    2723     7058    28694 |     5500      100     17 |  0.000 % |
275.60/275.60	c |       252 |    2723     7058    28694 |     6050      252     19 |  0.000 % |
275.60/275.60	c |       477 |    2723     7058    28694 |     6655      477     24 |  0.000 % |
275.60/275.61	c |       816 |    2723     7058    28694 |     7320      816     26 |  0.000 % |
275.60/275.63	c |      1322 |    2723     7058    28694 |     8052     1322     28 |  0.000 % |
275.60/275.65	c |      2081 |    2723     7058    28694 |     8857     2081     29 |  0.000 % |
275.60/275.69	c |      3220 |    2723     7058    28694 |     9743     3220     29 |  0.000 % |
275.70/275.75	c |      4928 |    2723     7058    28694 |    10717     4928     28 |  0.000 % |
275.79/275.85	c |      7490 |    2723     7058    28694 |    11789     7490     29 |  0.000 % |
276.00/276.04	c |     11335 |    2723     7058    28694 |    12968    11335     32 |  0.000 % |
276.30/276.39	c |     17101 |    2723     7058    28694 |    14265    10559     35 |  0.000 % |
276.90/276.91	c |     25751 |    2723     7058    28694 |    15692    12015     36 |  0.000 % |
277.80/277.87	c |     38726 |    2723     7058    28694 |    17261     9218     35 |  0.000 % |
279.10/279.11	c |     58187 |    2723     7058    28694 |    18987    11299     36 |  0.000 % |
281.10/281.16	c |     87379 |    2723     7058    28694 |    20886    11870     34 |  0.000 % |
284.49/284.50	c |    131168 |    2723     7058    28694 |    22974    13676     35 |  0.000 % |
290.00/290.04	c |    196853 |    2723     7058    28694 |    25272    21602     37 |  0.000 % |
298.30/298.39	c |    295379 |    2723     7058    28694 |    27799    12202     38 |  0.000 % |
311.90/311.90	c |    443170 |    2723     7058    28694 |    30579    21328     38 |  0.000 % |
333.10/333.19	c |    664853 |    2723     7058    28694 |    33637    26725     37 |  0.000 % |
340.30/340.34	c ===============================================================================
344.50/344.57	c core #6
344.50/344.57	c 
344.50/344.57	c 
344.50/344.57	c Core size: 957	Core Weight: 1	Total Weight: 6
344.50/344.57	c Current CPU time: 336.912 s
344.50/344.57	c
344.50/344.57	c ============================[ Search Statistics ]==============================
344.50/344.57	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
344.50/344.57	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
344.50/344.57	c ===============================================================================
344.50/344.57	c |         0 |    3259     7908    32775 |     5000        0   -nan |  0.000 % |
344.50/344.57	c |       102 |    3259     7908    32775 |     5500      102     27 |  0.000 % |
344.50/344.58	c |       252 |    3259     7908    32775 |     6050      252     34 |  0.000 % |
344.50/344.58	c |       477 |    3259     7908    32775 |     6655      477     35 |  0.000 % |
344.60/344.60	c |       817 |    3259     7908    32775 |     7320      817     33 |  0.000 % |
344.60/344.61	c |      1323 |    3259     7908    32775 |     8052     1323     33 |  0.000 % |
344.60/344.64	c |      2086 |    3259     7908    32775 |     8857     2086     31 |  0.000 % |
344.60/344.68	c |      3226 |    3259     7908    32775 |     9743     3226     31 |  0.000 % |
344.70/344.75	c |      4936 |    3259     7908    32775 |    10717     4936     30 |  0.000 % |
344.80/344.87	c |      7498 |    3259     7908    32775 |    11789     7498     31 |  0.000 % |
345.00/345.07	c |     11343 |    3259     7908    32775 |    12968    11343     31 |  0.000 % |
345.30/345.38	c |     17109 |    3259     7908    32775 |    14265    10580     32 |  0.000 % |
345.89/345.91	c |     25758 |    3259     7908    32775 |    15692    12046     32 |  0.000 % |
346.70/346.74	c |     38732 |    3259     7908    32775 |    17261     9241     35 |  0.000 % |
348.20/348.21	c |     58193 |    3259     7908    32775 |    18987    11347     37 |  0.000 % |
350.40/350.40	c |     87385 |    3259     7908    32775 |    20886    11905     38 |  0.000 % |
354.11/354.11	c |    131175 |    3259     7908    32775 |    22974    13707     37 |  0.000 % |
359.90/359.94	c |    196863 |    3259     7908    32775 |    25272    21722     37 |  0.000 % |
369.61/369.60	c |    295390 |    3259     7908    32775 |    27799    14744     38 |  0.000 % |
383.70/383.74	c |    443180 |    3259     7908    32775 |    30579    21319     36 |  0.000 % |
404.90/404.96	c |    664863 |    3259     7908    32775 |    33637    26184     36 |  0.000 % |
429.40/429.44	c ===============================================================================
434.80/434.80	c core #7
434.80/434.80	c 
434.80/434.80	c 
434.80/434.80	c Core size: 977	Core Weight: 1	Total Weight: 7
434.80/434.80	c Current CPU time: 425.325 s
434.80/434.80	c
434.80/434.80	c ============================[ Search Statistics ]==============================
434.80/434.80	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
434.80/434.80	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
434.80/434.80	c ===============================================================================
434.80/434.80	c |         0 |    3818     8759    36916 |     5000        0   -nan |  0.000 % |
434.80/434.81	c |       101 |    3818     8759    36916 |     5500      101     24 |  0.000 % |
434.80/434.81	c |       253 |    3818     8759    36916 |     6050      253     26 |  0.000 % |
434.80/434.82	c |       479 |    3818     8759    36916 |     6655      479     27 |  0.000 % |
434.80/434.83	c |       816 |    3818     8759    36916 |     7320      816     29 |  0.000 % |
434.80/434.84	c |      1324 |    3818     8759    36916 |     8052     1324     28 |  0.000 % |
434.80/434.87	c |      2083 |    3818     8759    36916 |     8857     2083     28 |  0.000 % |
434.90/434.91	c |      3224 |    3818     8759    36916 |     9743     3224     29 |  0.000 % |
434.90/434.99	c |      4933 |    3818     8759    36916 |    10717     4933     29 |  0.000 % |
435.10/435.11	c |      7496 |    3818     8759    36916 |    11789     7496     31 |  0.000 % |
435.30/435.31	c |     11342 |    3818     8759    36916 |    12968    11342     30 |  0.000 % |
435.61/435.62	c |     17110 |    3818     8759    36916 |    14265    10573     31 |  0.000 % |
436.10/436.13	c |     25759 |    3818     8759    36916 |    15692    12055     33 |  0.000 % |
436.90/436.92	c |     38734 |    3818     8759    36916 |    17261     9230     33 |  0.000 % |
438.11/438.18	c |     58198 |    3818     8759    36916 |    18987    11313     32 |  0.000 % |
440.40/440.41	c |     87391 |    3818     8759    36916 |    20886    11869     35 |  0.000 % |
444.41/444.41	c |    131180 |    3818     8759    36916 |    22974    13689     38 |  0.000 % |
450.50/450.56	c |    196866 |    3818     8759    36916 |    25272    21675     37 |  0.000 % |
459.70/459.79	c |    295392 |    3818     8759    36916 |    27799    14972     35 |  0.000 % |
474.40/474.48	c |    443182 |    3818     8759    36916 |    30579    22377     38 |  0.000 % |
496.60/496.64	c |    664865 |    3818     8759    36916 |    33637    26075     37 |  0.000 % |
526.11/526.19	c ===============================================================================
531.40/531.48	c core #8
531.40/531.48	c 
531.40/531.48	c 
531.40/531.48	c Core size: 997	Core Weight: 1	Total Weight: 8
531.40/531.48	c Current CPU time: 520.249 s
531.40/531.48	c
531.40/531.48	c ============================[ Search Statistics ]==============================
531.40/531.48	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
531.40/531.48	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
531.40/531.48	c ===============================================================================
531.40/531.48	c |         0 |    4390     9594    41026 |     5000        0   -nan |  0.000 % |
531.40/531.49	c |       101 |    4390     9594    41026 |     5500      101     31 |  0.000 % |
531.40/531.49	c |       252 |    4390     9594    41026 |     6050      252     30 |  0.000 % |
531.50/531.50	c |       477 |    4390     9594    41026 |     6655      477     31 |  0.000 % |
531.50/531.51	c |       815 |    4390     9594    41026 |     7320      815     30 |  0.000 % |
531.50/531.52	c |      1322 |    4390     9594    41026 |     8052     1322     29 |  0.000 % |
531.50/531.55	c |      2081 |    4390     9594    41026 |     8857     2081     29 |  0.000 % |
531.50/531.59	c |      3220 |    4390     9594    41026 |     9743     3220     29 |  0.000 % |
531.60/531.66	c |      4928 |    4390     9594    41026 |    10717     4928     30 |  0.000 % |
531.71/531.79	c |      7491 |    4390     9594    41026 |    11789     7491     31 |  0.000 % |
532.00/532.00	c |     11336 |    4390     9594    41026 |    12968    11336     32 |  0.000 % |
532.30/532.34	c |     17103 |    4390     9594    41026 |    14265    10577     34 |  0.000 % |
532.91/532.93	c |     25753 |    4390     9594    41026 |    15692    12033     36 |  0.000 % |
534.00/534.01	c |     38727 |    4390     9594    41026 |    17261     9224     39 |  0.000 % |
535.51/535.57	c |     58189 |    4390     9594    41026 |    18987    11317     38 |  0.000 % |
537.91/537.99	c |     87382 |    4390     9594    41026 |    20886    11867     33 |  0.000 % |
541.40/541.49	c |    131171 |    4390     9594    41026 |    22974    13678     36 |  0.000 % |
547.60/547.66	c |    196857 |    4390     9594    41026 |    25272    21532     38 |  0.000 % |
556.91/556.99	c |    295384 |    4390     9594    41026 |    27799    13723     36 |  0.000 % |
571.20/571.27	c |    443173 |    4390     9594    41026 |    30579    20902     37 |  0.000 % |
594.71/594.74	c |    664858 |    4390     9594    41026 |    33637    28350     37 |  0.000 % |
623.11/623.18	c ===============================================================================
628.90/628.94	c core #9
628.90/628.94	c 
628.90/628.94	c 
628.90/628.94	c Core size: 1067	Core Weight: 1	Total Weight: 9
628.90/628.94	c Current CPU time: 615.998 s
628.90/628.94	c
628.90/628.94	c ============================[ Search Statistics ]==============================
628.90/628.94	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
628.90/628.94	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
628.90/628.94	c ===============================================================================
628.90/628.94	c |         0 |    5020    10419    45235 |     5000        0   -nan |  0.000 % |
628.90/628.95	c |       102 |    5020    10419    45235 |     5500      102     32 |  0.000 % |
628.90/628.96	c |       252 |    5020    10419    45235 |     6050      252     35 |  0.000 % |
628.90/628.96	c |       478 |    5020    10419    45235 |     6655      478     32 |  0.000 % |
628.90/628.97	c |       817 |    5020    10419    45235 |     7320      817     29 |  0.000 % |
628.90/628.99	c |      1323 |    5020    10419    45235 |     8052     1323     29 |  0.000 % |
629.01/629.02	c |      2084 |    5020    10419    45235 |     8857     2084     29 |  0.000 % |
629.01/629.07	c |      3223 |    5020    10419    45235 |     9743     3223     29 |  0.000 % |
629.11/629.17	c |      4932 |    5020    10419    45235 |    10717     4932     31 |  0.000 % |
629.30/629.30	c |      7496 |    5020    10419    45235 |    11789     7496     30 |  0.000 % |
629.50/629.53	c |     11343 |    5020    10419    45235 |    12968    11343     32 |  0.000 % |
629.81/629.89	c |     17110 |    5020    10419    45235 |    14265    10585     32 |  0.000 % |
630.40/630.47	c |     25760 |    5020    10419    45235 |    15692    12053     33 |  0.000 % |
631.60/631.62	c |     38734 |    5020    10419    45235 |    17261     9233     35 |  0.000 % |
633.21/633.27	c |     58199 |    5020    10419    45235 |    18987    11318     37 |  0.000 % |
635.72/635.77	c |     87391 |    5020    10419    45235 |    20886    11889     35 |  0.000 % |
639.61/639.64	c |    131181 |    5020    10419    45235 |    22974    13676     38 |  0.000 % |
645.30/645.35	c |    196865 |    5020    10419    45235 |    25272    21675     38 |  0.000 % |
654.31/654.33	c |    295394 |    5020    10419    45235 |    27799    13394     36 |  0.000 % |
668.51/668.51	c |    443184 |    5020    10419    45235 |    30579    18643     38 |  0.000 % |
693.02/693.08	c |    664868 |    5020    10419    45235 |    33637    24204     41 |  0.000 % |
729.10/729.12	c |    997394 |    5020    10419    45235 |    37001    19230     38 |  0.000 % |
746.61/746.68	c ===============================================================================
753.71/753.78	c core #10
753.71/753.78	c 
753.71/753.78	c 
753.71/753.78	c Core size: 1117	Core Weight: 1	Total Weight: 10
753.71/753.78	c Current CPU time: 738.534 s
753.71/753.78	c
753.71/753.78	c ============================[ Search Statistics ]==============================
753.71/753.78	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
753.71/753.78	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
753.71/753.78	c ===============================================================================
753.71/753.78	c |         0 |    5688    11243    49537 |     5000        0   -nan |  0.000 % |
753.71/753.79	c |       100 |    5688    11243    49537 |     5500      100     37 |  0.000 % |
753.71/753.80	c |       251 |    5688    11243    49537 |     6050      251     33 |  0.000 % |
753.80/753.80	c |       476 |    5688    11243    49537 |     6655      476     30 |  0.000 % |
753.80/753.82	c |       813 |    5688    11243    49537 |     7320      813     29 |  0.000 % |
753.80/753.84	c |      1320 |    5688    11243    49537 |     8052     1320     32 |  0.000 % |
753.80/753.86	c |      2080 |    5688    11243    49537 |     8857     2080     31 |  0.000 % |
753.91/753.91	c |      3220 |    5688    11243    49537 |     9743     3220     30 |  0.000 % |
754.01/754.00	c |      4930 |    5688    11243    49537 |    10717     4930     31 |  0.000 % |
754.11/754.17	c |      7492 |    5688    11243    49537 |    11789     7492     32 |  0.000 % |
754.41/754.46	c |     11336 |    5688    11243    49537 |    12968    11336     33 |  0.000 % |
754.81/754.87	c |     17102 |    5688    11243    49537 |    14265    10564     34 |  0.000 % |
755.51/755.51	c |     25754 |    5688    11243    49537 |    15692    12047     34 |  0.000 % |
756.61/756.63	c |     38729 |    5688    11243    49537 |    17261     9213     35 |  0.000 % |
758.21/758.24	c |     58190 |    5688    11243    49537 |    18987    11306     35 |  0.000 % |
761.31/761.33	c |     87384 |    5688    11243    49537 |    20886    11886     42 |  0.000 % |
765.21/765.29	c |    131175 |    5688    11243    49537 |    22974    13681     34 |  0.000 % |
772.11/772.12	c |    196862 |    5688    11243    49537 |    25272    21618     37 |  0.000 % |
782.31/782.32	c |    295389 |    5688    11243    49537 |    27799    13504     36 |  0.000 % |
797.42/797.43	c |    443178 |    5688    11243    49537 |    30579    19769     38 |  0.000 % |
822.52/822.55	c |    664861 |    5688    11243    49537 |    33637    23220     40 |  0.000 % |
857.41/857.44	c |    997386 |    5688    11243    49537 |    37001    15294     36 |  0.000 % |
893.01/893.10	c ===============================================================================
900.31/900.38	c core #11
900.31/900.38	c 
900.31/900.38	c 
900.31/900.38	c Core size: 1233	Core Weight: 1	Total Weight: 11
900.31/900.38	c Current CPU time: 882.574 s
900.31/900.38	c
900.31/900.38	c ============================[ Search Statistics ]==============================
900.31/900.38	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
900.31/900.38	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
900.31/900.38	c ===============================================================================
900.31/900.38	c |         0 |    6423    12054    53971 |     5000        0   -nan |  0.000 % |
900.31/900.39	c |       101 |    6423    12054    53971 |     5500      101     26 |  0.000 % |
900.31/900.39	c |       251 |    6423    12054    53971 |     6050      251     35 |  0.000 % |
900.42/900.40	c |       477 |    6423    12054    53971 |     6655      477     33 |  0.000 % |
900.42/900.41	c |       817 |    6423    12054    53971 |     7320      817     32 |  0.000 % |
900.42/900.43	c |      1323 |    6423    12054    53971 |     8052     1323     30 |  0.000 % |
900.42/900.47	c |      2082 |    6423    12054    53971 |     8857     2082     31 |  0.000 % |
900.51/900.51	c |      3221 |    6423    12054    53971 |     9743     3221     31 |  0.000 % |
900.51/900.58	c |      4932 |    6423    12054    53971 |    10717     4932     30 |  0.000 % |
900.72/900.72	c |      7495 |    6423    12054    53971 |    11789     7495     31 |  0.000 % |
900.92/900.97	c |     11339 |    6423    12054    53971 |    12968    11339     33 |  0.000 % |
901.31/901.33	c |     17105 |    6423    12054    53971 |    14265    10566     35 |  0.000 % |
901.92/901.97	c |     25755 |    6423    12054    53971 |    15692    12021     38 |  0.000 % |
902.91/902.96	c |     38731 |    6423    12054    53971 |    17261     9193     39 |  0.000 % |
904.61/904.62	c |     58193 |    6423    12054    53971 |    18987    11290     41 |  0.000 % |
907.21/907.24	c |     87387 |    6423    12054    53971 |    20886    11854     42 |  0.000 % |
911.21/911.20	c |    131177 |    6423    12054    53971 |    22974    13679     41 |  0.000 % |
917.71/917.76	c |    196864 |    6423    12054    53971 |    25272    21498     42 |  0.000 % |
927.11/927.20	c |    295390 |    6423    12054    53971 |    27799    12793     39 |  0.000 % |
942.12/942.11	c |    443179 |    6423    12054    53971 |    30579    20991     39 |  0.000 % |
964.22/964.22	c |    664868 |    6423    12054    53971 |    33637    22319     41 |  0.000 % |
989.11/989.14	c ===============================================================================
994.21/994.30	c core #12
994.21/994.30	c 
994.21/994.30	c 
994.21/994.30	c Core size: 1280	Core Weight: 1	Total Weight: 12
994.21/994.30	c Current CPU time: 974.905 s
994.21/994.30	c
994.21/994.30	c ============================[ Search Statistics ]==============================
994.21/994.30	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
994.21/994.30	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
994.21/994.30	c ===============================================================================
994.21/994.30	c |         0 |    7217    12846    58469 |     5000        0   -nan |  0.000 % |
994.32/994.31	c |       100 |    7217    12846    58469 |     5500      100     32 |  0.000 % |
994.32/994.31	c |       250 |    7217    12846    58469 |     6050      250     33 |  0.000 % |
994.32/994.32	c |       476 |    7217    12846    58469 |     6655      476     30 |  0.000 % |
994.32/994.33	c |       813 |    7217    12846    58469 |     7320      813     29 |  0.000 % |
994.32/994.35	c |      1319 |    7217    12846    58469 |     8052     1319     29 |  0.000 % |
994.32/994.40	c |      2079 |    7217    12846    58469 |     8857     2079     31 |  0.000 % |
994.42/994.47	c |      3223 |    7217    12846    58469 |     9743     3223     31 |  0.000 % |
994.51/994.54	c |      4932 |    7217    12846    58469 |    10717     4932     30 |  0.000 % |
994.61/994.67	c |      7494 |    7217    12846    58469 |    11789     7494     30 |  0.000 % |
994.82/994.89	c |     11339 |    7217    12846    58469 |    12968    11339     33 |  0.000 % |
995.32/995.34	c |     17106 |    7217    12846    58469 |    14265    10572     36 |  0.000 % |
996.02/996.01	c |     25756 |    7217    12846    58469 |    15692    12024     36 |  0.000 % |
996.91/996.94	c |     38730 |    7217    12846    58469 |    17261     9195     39 |  0.000 % |
998.61/998.61	c |     58191 |    7217    12846    58469 |    18987    11288     43 |  0.000 % |
1001.02/1001.02	c |     87384 |    7217    12846    58469 |    20886    11840     41 |  0.000 % |
1005.12/1005.13	c |    131173 |    7217    12846    58469 |    22974    13670     42 |  0.000 % |
1011.52/1011.54	c |    196858 |    7217    12846    58469 |    25272    21629     40 |  0.000 % |
1019.72/1019.78	c ===============================================================================
1019.72/1019.78	c #cores: 12
1019.72/1019.78	o 12
1019.72/1019.78	s OPTIMUM FOUND
1019.72/1019.78	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
1019.72/1019.78	c Total CPU time: 1000.33 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 /tmp/evaluation-result-3446973-1307905431/watcher-3446973-1307905431 -o /tmp/evaluation-result-3446973-1307905431/solver-3446973-1307905431 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=wbo -time-limit=1800 -search-mode=0 HOME/instance-3446973-1307905431.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 1.97 1.91 2/177 15583
/proc/meminfo: memFree=2377156/32950928 swapFree=67111364/67111528
[pid=15583] ppid=15581 vsize=2196 CPUtime=0 cores=1,3,5,7
/proc/15583/stat : 15583 (wbo1.6) R 15581 15583 13995 0 -1 4202496 338 0 0 0 0 0 0 0 25 0 1 0 21287941 2248704 290 33554432000 4194304 5714214 140734022709344 18446744073709551615 4228656 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/15583/statm: 549 291 185 372 0 152 0

[startup+0.0725439 s]
/proc/loadavg: 2.00 1.97 1.91 2/177 15583
/proc/meminfo: memFree=2377156/32950928 swapFree=67111364/67111528
[pid=15583] ppid=15581 vsize=3032 CPUtime=0.06 cores=1,3,5,7
/proc/15583/stat : 15583 (wbo1.6) R 15581 15583 13995 0 -1 4202496 592 0 0 0 6 0 0 0 25 0 1 0 21287941 3104768 522 33554432000 4194304 5714214 140734022709344 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/15583/statm: 758 522 177 372 0 383 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 3032

[startup+0.100539 s]
/proc/loadavg: 2.00 1.97 1.91 2/177 15583
/proc/meminfo: memFree=2377156/32950928 swapFree=67111364/67111528
[pid=15583] ppid=15581 vsize=3428 CPUtime=0.09 cores=1,3,5,7
/proc/15583/stat : 15583 (wbo1.6) R 15581 15583 13995 0 -1 4202496 676 0 0 0 9 0 0 0 25 0 1 0 21287941 3510272 606 33554432000 4194304 5714214 140734022709344 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/15583/statm: 857 606 177 372 0 482 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3428

[startup+0.300503 s]
/proc/loadavg: 2.00 1.97 1.91 2/177 15583
/proc/meminfo: memFree=2377156/32950928 swapFree=67111364/67111528
[pid=15583] ppid=15581 vsize=5428 CPUtime=0.29 cores=1,3,5,7
/proc/15583/stat : 15583 (wbo1.6) R 15581 15583 13995 0 -1 4202496 1166 0 0 0 27 2 0 0 25 0 1 0 21287941 5558272 1096 33554432000 4194304 5714214 140734022709344 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/15583/statm: 1357 1096 177 372 0 982 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5428

[startup+0.700433 s]
/proc/loadavg: 2.00 1.97 1.91 2/177 15583
/proc/meminfo: memFree=2377156/32950928 swapFree=67111364/67111528
[pid=15583] ppid=15581 vsize=7292 CPUtime=0.69 cores=1,3,5,7
/proc/15583/stat : 15583 (wbo1.6) R 15581 15583 13995 0 -1 4202496 1637 0 0 0 65 4 0 0 25 0 1 0 21287941 7467008 1567 33554432000 4194304 5714214 140734022709344 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/15583/statm: 1823 1567 177 372 0 1448 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7292

[startup+1.50033 s]
/proc/loadavg: 2.00 1.97 1.91 3/178 15584
/proc/meminfo: memFree=2370972/32950928 swapFree=67111364/67111528
[pid=15583] ppid=15581 vsize=9804 CPUtime=1.49 cores=1,3,5,7
/proc/15583/stat : 15583 (wbo1.6) R 15581 15583 13995 0 -1 4202496 2261 0 0 0 141 8 0 0 25 0 1 0 21287941 10039296 2191 33554432000 4194304 5714214 140734022709344 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/15583/statm: 2451 2191 177 372 0 2076 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9804

[startup+3.10101 s]
/proc/loadavg: 2.00 1.97 1.91 3/178 15584
/proc/meminfo: memFree=2367376/32950928 swapFree=67111364/67111528
[pid=15583] ppid=15581 vsize=14232 CPUtime=3.09 cores=1,3,5,7
/proc/15583/stat : 15583 (wbo1.6) R 15581 15583 13995 0 -1 4202496 3382 0 0 0 297 12 0 0 25 0 1 0 21287941 14573568 3312 33554432000 4194304 5714214 140734022709344 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/15583/statm: 3558 3312 177 372 0 3183 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14232

[startup+6.30044 s]
/proc/loadavg: 2.00 1.97 1.91 3/178 15584
/proc/meminfo: memFree=2360272/32950928 swapFree=67111364/67111528
[pid=15583] ppid=15581 vsize=20156 CPUtime=6.29 cores=1,3,5,7
/proc/15583/stat : 15583 (wbo1.6) R 15581 15583 13995 0 -1 4202496 4848 0 0 0 610 19 0 0 25 0 1 0 21287941 20639744 4778 33554432000 4194304 5714214 140734022709344 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/15583/statm: 5039 4778 177 372 0 4664 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 20156

[startup+12.7003 s]
/proc/loadavg: 2.00 1.97 1.91 3/178 15584
/proc/meminfo: memFree=2347400/32950928 swapFree=67111364/67111528
[pid=15583] ppid=15581 vsize=31572 CPUtime=12.69 cores=1,3,5,7
/proc/15583/stat : 15583 (wbo1.6) R 15581 15583 13995 0 -1 4202496 7699 0 0 0 1236 33 0 0 25 0 1 0 21287941 32329728 7629 33554432000 4194304 5714214 140734022709344 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/15583/statm: 7893 7629 177 372 0 7518 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 31572

[startup+25.5001 s]
/proc/loadavg: 2.00 1.97 1.91 3/178 15584
/proc/meminfo: memFree=2327432/32950928 swapFree=67111364/67111528
[pid=15583] ppid=15581 vsize=51736 CPUtime=25.5 cores=1,3,5,7
/proc/15583/stat : 15583 (wbo1.6) R 15581 15583 13995 0 -1 4202496 12686 0 0 0 2488 62 0 0 25 0 1 0 21287941 52977664 12616 33554432000 4194304 5714214 140734022709344 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/15583/statm: 12934 12616 177 372 0 12559 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 51736

[startup+51.1005 s]
/proc/loadavg: 2.00 1.97 1.91 3/178 15585
/proc/meminfo: memFree=2290236/32950928 swapFree=67111364/67111528
[pid=15583] ppid=15581 vsize=90072 CPUtime=51.1 cores=1,3,5,7
/proc/15583/stat : 15583 (wbo1.6) R 15581 15583 13995 0 -1 4202496 22238 0 0 0 4991 119 0 0 25 0 1 0 21287941 92233728 22168 33554432000 4194304 5714214 140734022709344 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/15583/statm: 22518 22168 177 372 0 22143 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 90072

[startup+102.306 s]
/proc/loadavg: 2.00 1.97 1.91 3/178 15586
/proc/meminfo: memFree=2249260/32950928 swapFree=67111364/67111528
[pid=15583] ppid=15581 vsize=128640 CPUtime=102.3 cores=1,3,5,7
/proc/15583/stat : 15583 (wbo1.6) R 15581 15583 13995 0 -1 4202496 31982 0 0 0 10000 230 0 0 25 0 1 0 21287941 131727360 31846 33554432000 4194304 5714214 140734022709344 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/15583/statm: 32160 31846 178 372 0 31785 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 128640

[startup+162.301 s]
/proc/loadavg: 2.00 1.97 1.91 3/178 15588
/proc/meminfo: memFree=2246812/32950928 swapFree=67111364/67111528
[pid=15583] ppid=15581 vsize=131056 CPUtime=162.3 cores=1,3,5,7
/proc/15583/stat : 15583 (wbo1.6) R 15581 15583 13995 0 -1 4202496 32628 0 0 0 15878 352 0 0 25 0 1 0 21287941 134201344 32492 33554432000 4194304 5714214 140734022709344 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/15583/statm: 32764 32492 178 372 0 32389 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 131056

[startup+222.3 s]
/proc/loadavg: 2.00 1.97 1.91 3/178 15590
/proc/meminfo: memFree=2246600/32950928 swapFree=67111364/67111528
[pid=15583] ppid=15581 vsize=131056 CPUtime=222.29 cores=1,3,5,7
/proc/15583/stat : 15583 (wbo1.6) R 15581 15583 13995 0 -1 4202496 32628 0 0 0 21755 474 0 0 25 0 1 0 21287941 134201344 32492 33554432000 4194304 5714214 140734022709344 18446744073709551615 4324876 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/15583/statm: 32764 32492 178 372 0 32389 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 131056

[startup+282.301 s]
/proc/loadavg: 2.05 1.99 1.91 3/178 15592
/proc/meminfo: memFree=2235964/32950928 swapFree=67111364/67111528
[pid=15583] ppid=15581 vsize=131056 CPUtime=282.3 cores=1,3,5,7
/proc/15583/stat : 15583 (wbo1.6) R 15581 15583 13995 0 -1 4202496 32631 0 0 0 27623 607 0 0 25 0 1 0 21287941 134201344 32495 33554432000 4194304 5714214 140734022709344 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/15583/statm: 32764 32495 178 372 0 32389 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 131056

[startup+342.301 s]
/proc/loadavg: 2.02 1.99 1.91 3/178 15593
/proc/meminfo: memFree=2220884/32950928 swapFree=67111364/67111528
[pid=15583] ppid=15581 vsize=135544 CPUtime=342.3 cores=1,3,5,7
/proc/15583/stat : 15583 (wbo1.6) R 15581 15583 13995 0 -1 4202496 33768 0 0 0 33498 732 0 0 25 0 1 0 21287941 138797056 33632 33554432000 4194304 5714214 140734022709344 18446744073709551615 4197716 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/15583/statm: 33886 33632 178 372 0 33511 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 135544

[startup+402.3 s]
/proc/loadavg: 1.96 1.97 1.91 3/178 15633
/proc/meminfo: memFree=2597816/32950928 swapFree=67111364/67111528
[pid=15583] ppid=15581 vsize=137248 CPUtime=402.3 cores=1,3,5,7
/proc/15583/stat : 15583 (wbo1.6) R 15581 15583 13995 0 -1 4202496 34182 0 0 0 39374 856 0 0 25 0 1 0 21287941 140541952 34046 33554432000 4194304 5714214 140734022709344 18446744073709551615 4319968 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/15583/statm: 34312 34046 178 372 0 33937 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 137248

[startup+462.301 s]
/proc/loadavg: 1.98 1.97 1.91 3/178 15635
/proc/meminfo: memFree=2497436/32950928 swapFree=67111364/67111528
[pid=15583] ppid=15581 vsize=166192 CPUtime=462.3 cores=1,3,5,7
/proc/15583/stat : 15583 (wbo1.6) R 15581 15583 13995 0 -1 4202496 41408 0 0 0 45269 961 0 0 25 0 1 0 21287941 170180608 41272 33554432000 4194304 5714214 140734022709344 18446744073709551615 4319355 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/15583/statm: 41548 41272 178 372 0 41173 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 166192

[startup+522.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/178 15675
/proc/meminfo: memFree=2630860/32950928 swapFree=67111364/67111528
[pid=15583] ppid=15581 vsize=166192 CPUtime=522.31 cores=1,3,5,7
/proc/15583/stat : 15583 (wbo1.6) R 15581 15583 13995 0 -1 4202496 41408 0 0 0 51157 1074 0 0 25 0 1 0 21287941 170180608 41272 33554432000 4194304 5714214 140734022709344 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/15583/statm: 41548 41272 178 372 0 41173 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 166192

[startup+582.301 s]
/proc/loadavg: 1.99 1.97 1.91 3/178 15677
/proc/meminfo: memFree=2548224/32950928 swapFree=67111364/67111528
[pid=15583] ppid=15581 vsize=169804 CPUtime=582.31 cores=1,3,5,7
/proc/15583/stat : 15583 (wbo1.6) R 15581 15583 13995 0 -1 4202496 42332 0 0 0 57050 1181 0 0 25 0 1 0 21287941 173879296 42196 33554432000 4194304 5714214 140734022709344 18446744073709551615 4319768 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/15583/statm: 42451 42196 178 372 0 42076 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 169804

[startup+642.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/178 15678
/proc/meminfo: memFree=2521504/32950928 swapFree=67111364/67111528
[pid=15583] ppid=15581 vsize=170116 CPUtime=642.32 cores=1,3,5,7
/proc/15583/stat : 15583 (wbo1.6) R 15581 15583 13995 0 -1 4202496 42372 0 0 0 62948 1284 0 0 25 0 1 0 21287941 174198784 42236 33554432000 4194304 5714214 140734022709344 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/15583/statm: 42529 42236 178 372 0 42154 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 170116

[startup+702.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/178 15679
/proc/meminfo: memFree=2508912/32950928 swapFree=67111364/67111528
[pid=15583] ppid=15581 vsize=170116 CPUtime=702.31 cores=1,3,5,7
/proc/15583/stat : 15583 (wbo1.6) R 15581 15583 13995 0 -1 4202496 42388 0 0 0 68834 1397 0 0 25 0 1 0 21287941 174198784 42252 33554432000 4194304 5714214 140734022709344 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/15583/statm: 42529 42252 178 372 0 42154 0
Current children cumulated CPU time (s) 702.31
Current children cumulated vsize (KiB) 170116

[startup+762.306 s]
/proc/loadavg: 1.99 1.97 1.91 3/178 15681
/proc/meminfo: memFree=2469044/32950928 swapFree=67111364/67111528
[pid=15583] ppid=15581 vsize=209952 CPUtime=762.32 cores=1,3,5,7
/proc/15583/stat : 15583 (wbo1.6) R 15581 15583 13995 0 -1 4202496 52363 0 0 0 74743 1489 0 0 25 0 1 0 21287941 214990848 52227 33554432000 4194304 5714214 140734022709344 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/15583/statm: 52488 52227 178 372 0 52113 0
Current children cumulated CPU time (s) 762.32
Current children cumulated vsize (KiB) 209952

[startup+822.3 s]
/proc/loadavg: 2.07 1.99 1.91 3/178 15683
/proc/meminfo: memFree=2468952/32950928 swapFree=67111364/67111528
[pid=15583] ppid=15581 vsize=209952 CPUtime=822.31 cores=1,3,5,7
/proc/15583/stat : 15583 (wbo1.6) R 15581 15583 13995 0 -1 4202496 52371 0 0 0 80631 1600 0 0 25 0 1 0 21287941 214990848 52235 33554432000 4194304 5714214 140734022709344 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/15583/statm: 52488 52235 178 372 0 52113 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 209952

[startup+882.301 s]
/proc/loadavg: 2.02 1.99 1.91 3/178 15685
/proc/meminfo: memFree=2447432/32950928 swapFree=67111364/67111528
[pid=15583] ppid=15581 vsize=209952 CPUtime=882.31 cores=1,3,5,7
/proc/15583/stat : 15583 (wbo1.6) R 15581 15583 13995 0 -1 4202496 52371 0 0 0 86528 1703 0 0 25 0 1 0 21287941 214990848 52235 33554432000 4194304 5714214 140734022709344 18446744073709551615 4319254 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/15583/statm: 52488 52235 178 372 0 52113 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 209952

[startup+942.301 s]
/proc/loadavg: 2.01 1.99 1.91 3/178 15686
/proc/meminfo: memFree=2412500/32950928 swapFree=67111364/67111528
[pid=15583] ppid=15581 vsize=228548 CPUtime=942.32 cores=1,3,5,7
/proc/15583/stat : 15583 (wbo1.6) R 15581 15583 13995 0 -1 4202496 56993 0 0 0 92429 1803 0 0 25 0 1 0 21287941 234033152 56857 33554432000 4194304 5714214 140734022709344 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/15583/statm: 57137 56857 178 372 0 56762 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 228548

[startup+1002.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 15687
/proc/meminfo: memFree=2412176/32950928 swapFree=67111364/67111528
[pid=15583] ppid=15581 vsize=228548 CPUtime=1002.31 cores=1,3,5,7
/proc/15583/stat : 15583 (wbo1.6) R 15581 15583 13995 0 -1 4202496 56994 0 0 0 98315 1916 0 0 25 0 1 0 21287941 234033152 56858 33554432000 4194304 5714214 140734022709344 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/15583/statm: 57137 56858 178 372 0 56762 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 228548

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

[startup+1011.1 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 15687
/proc/meminfo: memFree=2412164/32950928 swapFree=67111364/67111528
[pid=15583] ppid=15581 vsize=228548 CPUtime=1011.12 cores=1,3,5,7
/proc/15583/stat : 15583 (wbo1.6) R 15581 15583 13995 0 -1 4202496 57014 0 0 0 99181 1931 0 0 25 0 1 0 21287941 234033152 56878 33554432000 4194304 5714214 140734022709344 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/15583/statm: 57137 56878 178 372 0 56762 0
Current children cumulated CPU time (s) 1011.12
Current children cumulated vsize (KiB) 228548

[startup+1014.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 15687
/proc/meminfo: memFree=2412040/32950928 swapFree=67111364/67111528
[pid=15583] ppid=15581 vsize=228548 CPUtime=1014.32 cores=1,3,5,7
/proc/15583/stat : 15583 (wbo1.6) R 15581 15583 13995 0 -1 4202496 57014 0 0 0 99495 1937 0 0 25 0 1 0 21287941 234033152 56878 33554432000 4194304 5714214 140734022709344 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/15583/statm: 57137 56878 178 372 0 56762 0
Current children cumulated CPU time (s) 1014.32
Current children cumulated vsize (KiB) 228548

[startup+1017.51 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 15688
/proc/meminfo: memFree=2412156/32950928 swapFree=67111364/67111528
[pid=15583] ppid=15581 vsize=228548 CPUtime=1017.52 cores=1,3,5,7
/proc/15583/stat : 15583 (wbo1.6) R 15581 15583 13995 0 -1 4202496 57014 0 0 0 99810 1942 0 0 25 0 1 0 21287941 234033152 56878 33554432000 4194304 5714214 140734022709344 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/15583/statm: 57137 56878 178 372 0 56762 0
Current children cumulated CPU time (s) 1017.52
Current children cumulated vsize (KiB) 228548

[startup+1019.1 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 15688
/proc/meminfo: memFree=2412156/32950928 swapFree=67111364/67111528
[pid=15583] ppid=15581 vsize=228548 CPUtime=1019.12 cores=1,3,5,7
/proc/15583/stat : 15583 (wbo1.6) R 15581 15583 13995 0 -1 4202496 57014 0 0 0 99966 1946 0 0 25 0 1 0 21287941 234033152 56878 33554432000 4194304 5714214 140734022709344 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/15583/statm: 57137 56878 178 372 0 56762 0
Current children cumulated CPU time (s) 1019.12
Current children cumulated vsize (KiB) 228548

[startup+1019.5 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 15688
/proc/meminfo: memFree=2412156/32950928 swapFree=67111364/67111528
[pid=15583] ppid=15581 vsize=228548 CPUtime=1019.52 cores=1,3,5,7
/proc/15583/stat : 15583 (wbo1.6) R 15581 15583 13995 0 -1 4202496 57014 0 0 0 100005 1947 0 0 25 0 1 0 21287941 234033152 56878 33554432000 4194304 5714214 140734022709344 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/15583/statm: 57137 56878 178 372 0 56762 0
Current children cumulated CPU time (s) 1019.52
Current children cumulated vsize (KiB) 228548

[startup+1019.71 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 15688
/proc/meminfo: memFree=2412156/32950928 swapFree=67111364/67111528
[pid=15583] ppid=15581 vsize=228548 CPUtime=1019.72 cores=1,3,5,7
/proc/15583/stat : 15583 (wbo1.6) R 15581 15583 13995 0 -1 4202496 57014 0 0 0 100025 1947 0 0 25 0 1 0 21287941 234033152 56878 33554432000 4194304 5714214 140734022709344 18446744073709551615 4320140 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/15583/statm: 57137 56878 178 372 0 56762 0
Current children cumulated CPU time (s) 1019.72
Current children cumulated vsize (KiB) 228548

Child status: 0
Real time (s): 1019.79
CPU time (s): 1019.81
CPU user time (s): 1000.33
CPU system time (s): 19.489
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 228548

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1000.33
system time used= 19.489
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57017
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= 6
involuntary context switches= 2444

runsolver used 1.37379 second user time and 3.2905 second system time

The end

Launcher Data 

Begin job on node124 at 2011-06-12 21:03:51
IDJOB=3446973
IDBENCH=78886
IDSOLVER=1943
FILE ID=node124/3446973-1307905431
RUNJOBID= node124-1307903908-15427
PBS_JOBID= 13559582
Free space on /tmp= 2084 MiB

SOLVER NAME= wbo 1.6
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900584106--soft-66-100-0.wbo
COMMAND LINE= wbo1.6 -file-format=wbo -time-limit=TIMEOUT -search-mode=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3446973-1307905431/watcher-3446973-1307905431 -o /tmp/evaluation-result-3446973-1307905431/solver-3446973-1307905431 -C 1800 -W 1900 -M 15500  wbo1.6 -file-format=wbo -time-limit=1800 -search-mode=0 HOME/instance-3446973-1307905431.wbo

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

MD5SUM BENCH= af1f4aa986dfaf7d995a788abb35be25
RANDOM SEED=1938050160

node124.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.855
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.71
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.855
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.855
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.82
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.855
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.855
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.82
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.855
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.855
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.82
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.855
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:     32950928 kB
MemFree:       2377832 kB
Buffers:         63772 kB
Cached:       29078364 kB
SwapCached:          0 kB
Active:       14953384 kB
Inactive:     14700444 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:       2377832 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:            4284 kB
Writeback:           0 kB
AnonPages:      511648 kB
Mapped:          16960 kB
Slab:           855056 kB
PageTables:       4740 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   653516 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= 2080 MiB
End job on node124 at 2011-06-12 21:20:51