Trace number 3461536

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 NameAnswerobjective functionCPU timeWall clock time
wbo 1.6? (TO) 1800.13 1800.06

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
logic_synthesis/normalized-m100_50_10_10.r.opb
MD5SUM41d5abe94732aa440d44e4bcd1eb4f30
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark8
Best CPU time to get the best result obtained on this benchmark1.18682
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 8
Optimality of the best value was proved YES
Number of variables50
Total number of constraints100
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint10
Maximum length of a constraint10
Number of terms in the objective function 50
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 50
Number of bits of the sum of numbers in the objective function 6
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 50
Number of bits of the biggest sum of numbers6
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 opb file format. File HOME/instance-3461536-1307104062.opb.
0.00/0.00	c Instance file HOME/instance-3461536-1307104062.opb
0.00/0.00	c File size is 8067 bytes.
0.00/0.00	c Highest Coefficient sum: 11
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:      50                                                  |
0.00/0.00	c |  Number Clauses:        100                                                 |
0.00/0.00	c |  Number Cardinality:    0                                                   |
0.00/0.00	c |  Number PB Constraints: 0                                                   |
0.00/0.00	c ============================[ Search Statistics ]==============================
0.00/0.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.00	c ===============================================================================
0.00/0.00	c |         0 |      50      100     1000 |     5000        0   -nan |  0.000 % |
0.00/0.00	c core #1
0.00/0.00	c 
0.00/0.00	c 
0.00/0.00	c Core size: 11	Core Weight: 1	Total Weight: 1
0.00/0.00	c Current CPU time: 0.000999 s
0.00/0.00	c
0.00/0.00	c core #2
0.00/0.00	c 
0.00/0.00	c 
0.00/0.00	c Core size: 11	Core Weight: 1	Total Weight: 2
0.00/0.00	c Current CPU time: 0.000999 s
0.00/0.00	c
0.00/0.00	c core #3
0.00/0.00	c 
0.00/0.00	c 
0.00/0.00	c Core size: 21	Core Weight: 1	Total Weight: 3
0.00/0.00	c Current CPU time: 0.000999 s
0.00/0.00	c
0.00/0.00	c ============================[ Search Statistics ]==============================
0.00/0.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.00	c ===============================================================================
0.00/0.00	c |         0 |      74      153     1112 |     5000        0   -nan |  0.000 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c core #4
0.00/0.00	c 
0.00/0.00	c 
0.00/0.00	c Core size: 47	Core Weight: 1	Total Weight: 4
0.00/0.00	c Current CPU time: 0.001999 s
0.00/0.00	c
0.00/0.00	c ============================[ Search Statistics ]==============================
0.00/0.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.00	c ===============================================================================
0.00/0.00	c |         0 |     129      154     1210 |     5000        0   -nan |  0.000 % |
0.00/0.00	c |       102 |     129      154     1210 |     5500      102     33 |  1.533 % |
0.00/0.00	c |       253 |     129      154     1210 |     6050      253     30 |  1.533 % |
0.00/0.00	c |       482 |     129      154     1210 |     6655      482     26 |  1.533 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c core #5
0.00/0.01	c 
0.00/0.01	c 
0.00/0.01	c Core size: 52	Core Weight: 1	Total Weight: 5
0.00/0.01	c Current CPU time: 0.011998 s
0.00/0.01	c
0.00/0.01	c ============================[ Search Statistics ]==============================
0.00/0.01	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.01	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.01	c ===============================================================================
0.00/0.01	c |         0 |     181      155     1312 |     5000        0   -nan |  0.000 % |
0.00/0.01	c |       101 |     181      155     1312 |     5500      101     51 |  0.003 % |
0.00/0.01	c |       252 |     181      155     1312 |     6050      252     46 |  0.003 % |
0.01/0.02	c |       478 |     181      155     1312 |     6655      478     43 |  0.003 % |
0.01/0.03	c |       818 |     181      155     1312 |     7320      818     41 |  0.003 % |
0.01/0.04	c |      1326 |     181      155     1312 |     8052     1326     37 |  0.003 % |
0.01/0.07	c |      2085 |     181      155     1312 |     8857     2085     33 |  0.003 % |
0.09/0.10	c |      3224 |     181      155     1312 |     9743     3224     33 |  0.003 % |
0.09/0.18	c |      4933 |     181      155     1312 |    10717     4933     33 |  0.003 % |
0.29/0.33	c |      7497 |     181      155     1312 |    11789     7497     34 |  0.003 % |
0.49/0.57	c |     11343 |     181      155     1312 |    12968    11343     36 |  0.003 % |
0.89/0.96	c |     17109 |     179      155     1312 |    14265    10598     34 |  1.108 % |
0.89/0.98	c ===============================================================================
1.00/1.04	c core #6
1.00/1.04	c 
1.00/1.04	c 
1.00/1.04	c Core size: 52	Core Weight: 1	Total Weight: 6
1.00/1.04	c Current CPU time: 0.997848 s
1.00/1.04	c
1.00/1.04	c ============================[ Search Statistics ]==============================
1.00/1.04	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.00/1.04	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.00/1.04	c ===============================================================================
1.00/1.04	c |         0 |     231      156     1412 |     5000        0   -nan |  0.000 % |
1.00/1.04	c |       100 |     231      156     1412 |     5500      100     69 |  0.002 % |
1.00/1.04	c |       250 |     231      156     1412 |     6050      250     48 |  0.002 % |
1.00/1.05	c |       476 |     231      156     1412 |     6655      476     39 |  0.002 % |
1.00/1.05	c |       813 |     231      156     1412 |     7320      813     36 |  0.002 % |
1.00/1.07	c |      1324 |     231      156     1412 |     8052     1324     35 |  0.002 % |
1.00/1.09	c |      2084 |     231      156     1412 |     8857     2084     35 |  0.002 % |
1.11/1.12	c |      3223 |     231      156     1412 |     9743     3223     37 |  0.002 % |
1.11/1.19	c |      4934 |     231      156     1412 |    10717     4934     38 |  0.002 % |
1.29/1.32	c |      7497 |     231      156     1412 |    11789     7497     38 |  0.002 % |
1.49/1.53	c |     11343 |     231      156     1412 |    12968    11343     38 |  0.002 % |
1.79/1.89	c |     17110 |     231      156     1412 |    14265    10596     40 |  0.002 % |
2.49/2.52	c |     25764 |     231      156     1412 |    15692    12076     45 |  0.002 % |
3.49/3.52	c |     38738 |     231      156     1412 |    17261     9314     41 |  0.002 % |
4.99/5.09	c |     58202 |     231      156     1412 |    18987    11446     48 |  0.002 % |
7.79/7.83	c |     87395 |     231      156     1412 |    20886    12055     48 |  0.002 % |
12.49/12.51	c |    131184 |     231      156     1412 |    22974    13907     48 |  0.002 % |
20.39/20.42	c |    196870 |     231      156     1412 |    25272    21916     59 |  0.002 % |
32.39/32.46	c |    295397 |     231      156     1412 |    27799    18225     67 |  0.002 % |
54.49/54.50	c |    443194 |     231      156     1412 |    30579    15747     63 |  0.002 % |
83.79/83.88	c ===============================================================================
88.20/88.28	c core #7
88.20/88.28	c 
88.20/88.28	c 
88.20/88.28	c Core size: 53	Core Weight: 1	Total Weight: 7
88.20/88.28	c Current CPU time: 86.7368 s
88.20/88.28	c
88.20/88.28	c ============================[ Search Statistics ]==============================
88.20/88.28	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
88.20/88.28	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
88.20/88.28	c ===============================================================================
88.20/88.28	c |         0 |     281      157     1512 |     5000        0   -nan |  0.000 % |
88.20/88.28	c |       100 |     281      157     1512 |     5500      100     85 |  0.001 % |
88.20/88.28	c |       253 |     281      157     1512 |     6050      253     56 |  0.001 % |
88.20/88.29	c |       478 |     281      157     1512 |     6655      478     52 |  0.001 % |
88.20/88.30	c |       815 |     281      157     1512 |     7320      815     40 |  0.001 % |
88.29/88.31	c |      1322 |     281      157     1512 |     8052     1322     34 |  0.001 % |
88.29/88.33	c |      2082 |     281      157     1512 |     8857     2082     37 |  0.001 % |
88.29/88.36	c |      3222 |     281      157     1512 |     9743     3222     37 |  0.001 % |
88.39/88.42	c |      4935 |     281      157     1512 |    10717     4935     41 |  0.001 % |
88.49/88.55	c |      7497 |     281      157     1512 |    11789     7497     45 |  0.001 % |
88.69/88.77	c |     11341 |     281      157     1512 |    12968    11341     48 |  0.001 % |
89.11/89.15	c |     17108 |     281      157     1512 |    14265    10575     56 |  0.001 % |
89.99/90.00	c |     25757 |     281      157     1512 |    15692    12022     64 |  0.001 % |
91.79/91.81	c |     38731 |     281      157     1512 |    17261     9184     65 |  0.001 % |
93.99/94.06	c |     58194 |     281      157     1512 |    18987    11234     68 |  0.001 % |
97.91/97.94	c |     87387 |     281      157     1512 |    20886    11789     72 |  0.001 % |
103.49/103.50	c |    131180 |     281      157     1512 |    22974    13573     74 |  0.001 % |
113.69/113.78	c |    196865 |     281      157     1512 |    25272    21519     67 |  0.001 % |
130.19/130.24	c |    295392 |     281      157     1512 |    27799    18007     75 |  0.001 % |
156.21/156.23	c |    443188 |     281      157     1512 |    30579    18334     75 |  0.001 % |
203.89/203.97	c |    664872 |     281      157     1512 |    33637    15445     78 |  0.001 % |
267.79/267.88	c |    997398 |     281      157     1512 |    37001    28668     80 |  0.001 % |
372.60/372.67	c |   1496186 |     281      157     1512 |    40701    16413     83 |  0.001 % |
545.80/545.88	c |   2244372 |     281      157     1512 |    44771    18943     82 |  0.001 % |
805.42/805.46	c |   3366656 |     281      157     1512 |    49248    40962     87 |  0.001 % |
1290.84/1290.85	c |   5050069 |     281      157     1512 |    54173    40866     95 |  0.001 % |

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3461536-1307104062/watcher-3461536-1307104062 -o /tmp/evaluation-result-3461536-1307104062/solver-3461536-1307104062 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461536-1307104062.opb 

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: 1.92 2.02 2.00 2/514 18665
/proc/meminfo: memFree=21838052/32951124 swapFree=62999000/67111528
[pid=18665] ppid=18663 vsize=2236 CPUtime=0.01 cores=1,3,5,7
/proc/18665/stat : 18665 (wbo1.6) R 18663 18665 17882 0 -1 4202496 354 0 0 0 1 0 0 0 18 0 1 0 802821849 2289664 305 33554432000 4194304 5714214 140737173212048 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/18665/statm: 559 305 180 372 0 184 0

[startup+0.019818 s]
/proc/loadavg: 1.92 2.02 2.00 2/514 18665
/proc/meminfo: memFree=21838052/32951124 swapFree=62999000/67111528
[pid=18665] ppid=18663 vsize=2236 CPUtime=0.01 cores=1,3,5,7
/proc/18665/stat : 18665 (wbo1.6) R 18663 18665 17882 0 -1 4202496 354 0 0 0 1 0 0 0 18 0 1 0 802821849 2289664 305 33554432000 4194304 5714214 140737173212048 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/18665/statm: 559 305 180 372 0 184 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2236

[startup+0.100803 s]
/proc/loadavg: 1.92 2.02 2.00 2/514 18665
/proc/meminfo: memFree=21838052/32951124 swapFree=62999000/67111528
[pid=18665] ppid=18663 vsize=3164 CPUtime=0.09 cores=1,3,5,7
/proc/18665/stat : 18665 (wbo1.6) R 18663 18665 17882 0 -1 4202496 579 0 0 0 8 1 0 0 18 0 1 0 802821849 3239936 530 33554432000 4194304 5714214 140737173212048 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/18665/statm: 791 530 180 372 0 416 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3164

[startup+0.300772 s]
/proc/loadavg: 1.92 2.02 2.00 2/514 18665
/proc/meminfo: memFree=21838052/32951124 swapFree=62999000/67111528
[pid=18665] ppid=18663 vsize=4692 CPUtime=0.29 cores=1,3,5,7
/proc/18665/stat : 18665 (wbo1.6) R 18663 18665 17882 0 -1 4202496 957 0 0 0 28 1 0 0 18 0 1 0 802821849 4804608 908 33554432000 4194304 5714214 140737173212048 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/18665/statm: 1173 908 180 372 0 798 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4692

[startup+0.700689 s]
/proc/loadavg: 1.92 2.02 2.00 2/514 18665
/proc/meminfo: memFree=21838052/32951124 swapFree=62999000/67111528
[pid=18665] ppid=18663 vsize=7232 CPUtime=0.69 cores=1,3,5,7
/proc/18665/stat : 18665 (wbo1.6) R 18663 18665 17882 0 -1 4202496 1566 0 0 0 67 2 0 0 18 0 1 0 802821849 7405568 1517 33554432000 4194304 5714214 140737173212048 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/18665/statm: 1808 1517 180 372 0 1433 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7232

[startup+1.50054 s]
/proc/loadavg: 1.92 2.02 2.00 3/515 18666
/proc/meminfo: memFree=21824280/32951124 swapFree=62999000/67111528
[pid=18665] ppid=18663 vsize=8144 CPUtime=1.49 cores=1,3,5,7
/proc/18665/stat : 18665 (wbo1.6) R 18663 18665 17882 0 -1 4202496 1864 0 0 0 144 5 0 0 20 0 1 0 802821849 8339456 1789 33554432000 4194304 5714214 140737173212048 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/18665/statm: 2036 1789 180 372 0 1661 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8144

[startup+3.10024 s]
/proc/loadavg: 1.92 2.02 2.00 4/515 18666
/proc/meminfo: memFree=21819612/32951124 swapFree=62999000/67111528
[pid=18665] ppid=18663 vsize=10904 CPUtime=3.09 cores=1,3,5,7
/proc/18665/stat : 18665 (wbo1.6) R 18663 18665 17882 0 -1 4202496 2521 0 0 0 300 9 0 0 18 0 1 0 802821849 11165696 2446 33554432000 4194304 5714214 140737173212048 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/18665/statm: 2726 2446 180 372 0 2351 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10904

[startup+6.30063 s]
/proc/loadavg: 1.93 2.02 2.00 3/515 18666
/proc/meminfo: memFree=21808376/32951124 swapFree=62999000/67111528
[pid=18665] ppid=18663 vsize=18000 CPUtime=6.29 cores=1,3,5,7
/proc/18665/stat : 18665 (wbo1.6) R 18663 18665 17882 0 -1 4202496 4254 0 0 0 613 16 0 0 19 0 1 0 802821849 18432000 4179 33554432000 4194304 5714214 140737173212048 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/18665/statm: 4500 4179 180 372 0 4125 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 18000

[startup+12.7004 s]
/proc/loadavg: 1.94 2.02 2.00 3/515 18666
/proc/meminfo: memFree=21788784/32951124 swapFree=62999000/67111528
[pid=18665] ppid=18663 vsize=28352 CPUtime=12.7 cores=1,3,5,7
/proc/18665/stat : 18665 (wbo1.6) R 18663 18665 17882 0 -1 4202496 6807 0 0 0 1240 30 0 0 25 0 1 0 802821849 29032448 6732 33554432000 4194304 5714214 140737173212048 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/18665/statm: 7088 6732 180 372 0 6713 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 28352

[startup+25.501 s]
/proc/loadavg: 2.08 2.05 2.00 3/515 18667
/proc/meminfo: memFree=21752596/32951124 swapFree=62999000/67111528
[pid=18665] ppid=18663 vsize=47888 CPUtime=25.5 cores=1,3,5,7
/proc/18665/stat : 18665 (wbo1.6) R 18663 18665 17882 0 -1 4202496 11625 0 0 0 2498 52 0 0 25 0 1 0 802821849 49037312 11550 33554432000 4194304 5714214 140737173212048 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/18665/statm: 11972 11550 180 372 0 11597 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 47888

[startup+51.1002 s]
/proc/loadavg: 2.06 2.04 2.00 3/515 18667
/proc/meminfo: memFree=21715520/32951124 swapFree=62999000/67111528
[pid=18665] ppid=18663 vsize=79120 CPUtime=51.09 cores=1,3,5,7
/proc/18665/stat : 18665 (wbo1.6) R 18663 18665 17882 0 -1 4202496 19290 0 0 0 5023 86 0 0 25 0 1 0 802821849 81018880 19215 33554432000 4194304 5714214 140737173212048 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/18665/statm: 19780 19215 180 372 0 19405 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 79120

[startup+102.319 s]
/proc/loadavg: 2.02 2.03 2.00 3/515 18669
/proc/meminfo: memFree=21606136/32951124 swapFree=62999000/67111528
[pid=18665] ppid=18663 vsize=134236 CPUtime=102.31 cores=1,3,5,7
/proc/18665/stat : 18665 (wbo1.6) R 18663 18665 17882 0 -1 4202496 33473 0 0 0 10083 148 0 0 25 0 1 0 802821849 137457664 33095 33554432000 4194304 5714214 140737173212048 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/18665/statm: 33559 33095 180 372 0 33184 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 134236

[startup+162.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/515 18670
/proc/meminfo: memFree=21570104/32951124 swapFree=62999000/67111528
[pid=18665] ppid=18663 vsize=134236 CPUtime=162.29 cores=1,3,5,7
/proc/18665/stat : 18665 (wbo1.6) R 18663 18665 17882 0 -1 4202496 33598 0 0 0 16013 216 0 0 25 0 1 0 802821849 137457664 33220 33554432000 4194304 5714214 140737173212048 18446744073709551615 4300368 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/18665/statm: 33559 33220 180 372 0 33184 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 134236

[startup+222.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/515 18672
/proc/meminfo: memFree=21530876/32951124 swapFree=62999000/67111528
[pid=18665] ppid=18663 vsize=134236 CPUtime=222.3 cores=1,3,5,7
/proc/18665/stat : 18665 (wbo1.6) R 18663 18665 17882 0 -1 4202496 33695 0 0 0 21956 274 0 0 25 0 1 0 802821849 137457664 33317 33554432000 4194304 5714214 140737173212048 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/18665/statm: 33559 33317 180 372 0 33184 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 134236

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/515 18674
/proc/meminfo: memFree=21458768/32951124 swapFree=62999000/67111528
[pid=18665] ppid=18663 vsize=179124 CPUtime=282.3 cores=1,3,5,7
/proc/18665/stat : 18665 (wbo1.6) R 18663 18665 17882 0 -1 4202496 44656 0 0 0 27893 337 0 0 25 0 1 0 802821849 183422976 44278 33554432000 4194304 5714214 140737173212048 18446744073709551615 4319446 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/18665/statm: 44781 44278 180 372 0 44406 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 179124

[startup+342.3 s]
/proc/loadavg: 2.11 2.04 2.01 3/515 18675
/proc/meminfo: memFree=21382092/32951124 swapFree=62999000/67111528
[pid=18665] ppid=18663 vsize=224440 CPUtime=342.3 cores=1,3,5,7
/proc/18665/stat : 18665 (wbo1.6) R 18663 18665 17882 0 -1 4202496 55707 0 0 0 33830 400 0 0 25 0 1 0 802821849 229826560 55329 33554432000 4194304 5714214 140737173212048 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/18665/statm: 56110 55329 180 372 0 55735 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 224440

[startup+402.301 s]
/proc/loadavg: 2.09 2.04 2.01 3/515 18677
/proc/meminfo: memFree=21307024/32951124 swapFree=62999000/67111528
[pid=18665] ppid=18663 vsize=265944 CPUtime=402.3 cores=1,3,5,7
/proc/18665/stat : 18665 (wbo1.6) R 18663 18665 17882 0 -1 4202496 65964 0 0 0 39778 452 0 0 25 0 1 0 802821849 272326656 65586 33554432000 4194304 5714214 140737173212048 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/18665/statm: 66486 65586 180 372 0 66111 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 265944

[startup+462.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/515 18678
/proc/meminfo: memFree=21257088/32951124 swapFree=62999000/67111528
[pid=18665] ppid=18663 vsize=305420 CPUtime=462.31 cores=1,3,5,7
/proc/18665/stat : 18665 (wbo1.6) R 18663 18665 17882 0 -1 4202496 75601 0 0 0 45730 501 0 0 25 0 1 0 802821849 312750080 75223 33554432000 4194304 5714214 140737173212048 18446744073709551615 4319384 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/18665/statm: 76355 75223 180 372 0 75980 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 305420

[startup+522.301 s]
/proc/loadavg: 2.17 2.06 2.01 3/515 18680
/proc/meminfo: memFree=21218616/32951124 swapFree=62999000/67111528
[pid=18665] ppid=18663 vsize=344376 CPUtime=522.31 cores=1,3,5,7
/proc/18665/stat : 18665 (wbo1.6) R 18663 18665 17882 0 -1 4202496 85287 0 0 0 51671 560 0 0 25 0 1 0 802821849 352641024 84909 33554432000 4194304 5714214 140737173212048 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/18665/statm: 86094 84909 180 372 0 85719 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 344376

[startup+582.301 s]
/proc/loadavg: 2.13 2.06 2.01 3/515 18682
/proc/meminfo: memFree=21184608/32951124 swapFree=62999000/67111528
[pid=18665] ppid=18663 vsize=378300 CPUtime=582.31 cores=1,3,5,7
/proc/18665/stat : 18665 (wbo1.6) R 18663 18665 17882 0 -1 4202496 93639 0 0 0 57624 607 0 0 25 0 1 0 802821849 387379200 93261 33554432000 4194304 5714214 140737173212048 18446744073709551615 4319878 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/18665/statm: 94575 93261 180 372 0 94200 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 378300

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/515 18688
/proc/meminfo: memFree=21024064/32951124 swapFree=62999000/67111528
[pid=18665] ppid=18663 vsize=533232 CPUtime=822.32 cores=1,3,5,7
/proc/18665/stat : 18665 (wbo1.6) R 18663 18665 17882 0 -1 4202496 132126 0 0 0 81406 826 0 0 25 0 1 0 802821849 546029568 131748 33554432000 4194304 5714214 140737173212048 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/18665/statm: 133308 131748 180 372 0 132933 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 533232

[startup+882.301 s]
/proc/loadavg: 2.16 2.05 2.01 3/515 18690
/proc/meminfo: memFree=20960540/32951124 swapFree=62999000/67111528
[pid=18665] ppid=18663 vsize=567728 CPUtime=882.32 cores=1,3,5,7
/proc/18665/stat : 18665 (wbo1.6) R 18663 18665 17882 0 -1 4202496 140708 0 0 0 87362 870 0 0 25 0 1 0 802821849 581353472 140330 33554432000 4194304 5714214 140737173212048 18446744073709551615 4319758 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/18665/statm: 141932 140330 180 372 0 141557 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 567728

[startup+942.301 s]
/proc/loadavg: 2.13 2.05 2.01 3/515 18691
/proc/meminfo: memFree=20887700/32951124 swapFree=62999000/67111528
[pid=18665] ppid=18663 vsize=600280 CPUtime=942.32 cores=1,3,5,7
/proc/18665/stat : 18665 (wbo1.6) R 18663 18665 17882 0 -1 4202496 148705 0 0 0 93324 908 0 0 25 0 1 0 802821849 614686720 148327 33554432000 4194304 5714214 140737173212048 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/18665/statm: 150070 148327 180 372 0 149695 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 600280

[startup+1002.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/515 18693
/proc/meminfo: memFree=20799872/32951124 swapFree=62999000/67111528
[pid=18665] ppid=18663 vsize=633060 CPUtime=1002.33 cores=1,3,5,7
/proc/18665/stat : 18665 (wbo1.6) R 18663 18665 17882 0 -1 4202496 156883 0 0 0 99279 954 0 0 25 0 1 0 802821849 648253440 156505 33554432000 4194304 5714214 140737173212048 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/18665/statm: 158265 156505 180 372 0 157890 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 633060

[startup+1062.3 s]
/proc/loadavg: 2.10 2.06 2.01 3/515 18694
/proc/meminfo: memFree=20760648/32951124 swapFree=62999000/67111528
[pid=18665] ppid=18663 vsize=662052 CPUtime=1062.33 cores=1,3,5,7
/proc/18665/stat : 18665 (wbo1.6) R 18663 18665 17882 0 -1 4202496 163923 0 0 0 105239 994 0 0 25 0 1 0 802821849 677941248 163545 33554432000 4194304 5714214 140737173212048 18446744073709551615 4319395 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/18665/statm: 165513 163545 180 372 0 165138 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 662052

[startup+1122.3 s]
/proc/loadavg: 2.08 2.06 2.01 3/515 18696
/proc/meminfo: memFree=20728240/32951124 swapFree=62999000/67111528
[pid=18665] ppid=18663 vsize=689076 CPUtime=1122.33 cores=1,3,5,7
/proc/18665/stat : 18665 (wbo1.6) R 18663 18665 17882 0 -1 4202496 170706 0 0 0 111199 1034 0 0 25 0 1 0 802821849 705613824 170328 33554432000 4194304 5714214 140737173212048 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/18665/statm: 172269 170328 180 372 0 171894 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 689076

[startup+1182.3 s]
/proc/loadavg: 2.03 2.05 2.00 3/515 18698
/proc/meminfo: memFree=20690136/32951124 swapFree=62999000/67111528
[pid=18665] ppid=18663 vsize=720800 CPUtime=1182.33 cores=1,3,5,7
/proc/18665/stat : 18665 (wbo1.6) R 18663 18665 17882 0 -1 4202496 178501 0 0 0 117156 1077 0 0 25 0 1 0 802821849 738099200 178123 33554432000 4194304 5714214 140737173212048 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/18665/statm: 180200 178123 180 372 0 179825 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 720800

[startup+1242.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/515 18699
/proc/meminfo: memFree=20618772/32951124 swapFree=62999000/67111528
[pid=18665] ppid=18663 vsize=753164 CPUtime=1242.33 cores=1,3,5,7
/proc/18665/stat : 18665 (wbo1.6) R 18663 18665 17882 0 -1 4202496 186523 0 0 0 123112 1121 0 0 25 0 1 0 802821849 771239936 186145 33554432000 4194304 5714214 140737173212048 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/18665/statm: 188291 186145 180 372 0 187916 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 753164

[startup+1302.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/515 18701
/proc/meminfo: memFree=20558692/32951124 swapFree=62999000/67111528
[pid=18665] ppid=18663 vsize=783244 CPUtime=1302.35 cores=1,3,5,7
/proc/18665/stat : 18665 (wbo1.6) R 18663 18665 17882 0 -1 4202496 193992 0 0 0 129073 1162 0 0 25 0 1 0 802821849 802041856 193614 33554432000 4194304 5714214 140737173212048 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/18665/statm: 195811 193614 180 372 0 195436 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 783244

[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/515 18702
/proc/meminfo: memFree=20497396/32951124 swapFree=62999000/67111528
[pid=18665] ppid=18663 vsize=814476 CPUtime=1362.34 cores=1,3,5,7
/proc/18665/stat : 18665 (wbo1.6) R 18663 18665 17882 0 -1 4202496 201734 0 0 0 135030 1204 0 0 25 0 1 0 802821849 834023424 201356 33554432000 4194304 5714214 140737173212048 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/18665/statm: 203619 201356 180 372 0 203244 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 814476

[startup+1422.32 s]
/proc/loadavg: 2.09 2.04 2.01 3/515 18704
/proc/meminfo: memFree=20445040/32951124 swapFree=62999000/67111528
[pid=18665] ppid=18663 vsize=845328 CPUtime=1422.36 cores=1,3,5,7
/proc/18665/stat : 18665 (wbo1.6) R 18663 18665 17882 0 -1 4202496 209415 0 0 0 140985 1251 0 0 25 0 1 0 802821849 865615872 209037 33554432000 4194304 5714214 140737173212048 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/18665/statm: 211332 209037 180 372 0 210957 0
Current children cumulated CPU time (s) 1422.36
Current children cumulated vsize (KiB) 845328

[startup+1482.3 s]
/proc/loadavg: 2.07 2.05 2.01 3/515 18706
/proc/meminfo: memFree=20387336/32951124 swapFree=62999000/67111528
[pid=18665] ppid=18663 vsize=879504 CPUtime=1482.34 cores=1,3,5,7
/proc/18665/stat : 18665 (wbo1.6) R 18663 18665 17882 0 -1 4202496 217822 0 0 0 146937 1297 0 0 25 0 1 0 802821849 900612096 217444 33554432000 4194304 5714214 140737173212048 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/18665/statm: 219876 217444 180 372 0 219501 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 879504

[startup+1542.3 s]
/proc/loadavg: 2.02 2.04 2.00 4/515 18707
/proc/meminfo: memFree=20333344/32951124 swapFree=62999000/67111528
[pid=18665] ppid=18663 vsize=907416 CPUtime=1542.35 cores=1,3,5,7
/proc/18665/stat : 18665 (wbo1.6) R 18663 18665 17882 0 -1 4202496 224817 0 0 0 152889 1346 0 0 25 0 1 0 802821849 929193984 224439 33554432000 4194304 5714214 140737173212048 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/18665/statm: 226854 224439 180 372 0 226479 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 907416

[startup+1602.3 s]
/proc/loadavg: 2.13 2.06 2.01 3/515 18709
/proc/meminfo: memFree=20272420/32951124 swapFree=62999000/67111528
[pid=18665] ppid=18663 vsize=941968 CPUtime=1602.34 cores=1,3,5,7
/proc/18665/stat : 18665 (wbo1.6) R 18663 18665 17882 0 -1 4202496 233410 0 0 0 158842 1392 0 0 25 0 1 0 802821849 964575232 233032 33554432000 4194304 5714214 140737173212048 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/18665/statm: 235492 233032 180 372 0 235117 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 941968

[startup+1662.3 s]
/proc/loadavg: 2.10 2.06 2.01 3/515 18710
/proc/meminfo: memFree=20202680/32951124 swapFree=62999000/67111528
[pid=18665] ppid=18663 vsize=979424 CPUtime=1662.35 cores=1,3,5,7
/proc/18665/stat : 18665 (wbo1.6) R 18663 18665 17882 0 -1 4202496 242785 0 0 0 164794 1441 0 0 25 0 1 0 802821849 1002930176 242407 33554432000 4194304 5714214 140737173212048 18446744073709551615 4319434 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/18665/statm: 244856 242407 180 372 0 244481 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 979424

[startup+1722.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/515 18712
/proc/meminfo: memFree=20147208/32951124 swapFree=62999000/67111528
[pid=18665] ppid=18663 vsize=1011188 CPUtime=1722.35 cores=1,3,5,7
/proc/18665/stat : 18665 (wbo1.6) R 18663 18665 17882 0 -1 4202496 250673 0 0 0 170756 1479 0 0 25 0 1 0 802821849 1035456512 250295 33554432000 4194304 5714214 140737173212048 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/18665/statm: 252797 250295 180 372 0 252422 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 1011188

[startup+1782.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/515 18714
/proc/meminfo: memFree=20099176/32951124 swapFree=62999000/67111528
[pid=18665] ppid=18663 vsize=1037892 CPUtime=1782.35 cores=1,3,5,7
/proc/18665/stat : 18665 (wbo1.6) R 18663 18665 17882 0 -1 4202496 257326 0 0 0 176722 1513 0 0 25 0 1 0 802821849 1062801408 256948 33554432000 4194304 5714214 140737173212048 18446744073709551615 4299952 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/18665/statm: 259473 256948 180 372 0 259098 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 1037892



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.01 2.03 2.00 2/513 18715
/proc/meminfo: memFree=20799652/32951124 swapFree=62999000/67111528
[pid=18665] ppid=18663 vsize=1043992 CPUtime=1800.07 cores=1,3,5,7
/proc/18665/stat : 18665 (wbo1.6) R 18663 18665 17882 0 -1 4202496 258825 0 0 0 178478 1529 0 0 25 0 1 0 802821849 1069047808 258447 33554432000 4194304 5714214 140737173212048 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/18665/statm: 260998 258447 180 372 0 260623 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1043992

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.06
CPU time (s): 1800.13
CPU user time (s): 1784.79
CPU system time (s): 15.3397
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 1043992

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1784.79
system time used= 15.3397
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 258825
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= 17
involuntary context switches= 1978

runsolver used 8.83866 second user time and 21.0548 second system time

The end

Launcher Data 

Begin job on node141 at 2011-06-03 14:27:42
IDJOB=3461536
IDBENCH=2882
IDSOLVER=1953
FILE ID=node141/3461536-1307104062
RUNJOBID= node141-1307093248-17901
PBS_JOBID= 13497991
Free space on /tmp= 73884 MiB

SOLVER NAME= wbo 1.6
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-m100_50_10_10.r.opb
COMMAND LINE= wbo1.6 -file-format=opb -time-limit=TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3461536-1307104062/watcher-3461536-1307104062 -o /tmp/evaluation-result-3461536-1307104062/solver-3461536-1307104062 -C 1800 -W 1900 -M 15500  wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461536-1307104062.opb

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

MD5SUM BENCH= 41d5abe94732aa440d44e4bcd1eb4f30
RANDOM SEED=1552031889

node141.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.806
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.61
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.806
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	: 5362.96
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.806
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.806
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.75
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.806
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.84
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.806
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.806
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.806
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      21838456 kB
Buffers:        244868 kB
Cached:         612200 kB
SwapCached:       8848 kB
Active:       10301700 kB
Inactive:       547896 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      21838456 kB
SwapTotal:    67111528 kB
SwapFree:     62999000 kB
Dirty:            8752 kB
Writeback:           0 kB
AnonPages:     9990712 kB
Mapped:          26284 kB
Slab:           124548 kB
PageTables:      69896 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 150676836 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= 73880 MiB
End job on node141 at 2011-06-03 14:57:44