Trace number 3713131

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.71? 1799.84 1800.01

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl40_50_pb.cnf.cr--soft-0-100-0.wbo
MD5SUM4abf964a0a4662f4172f30dfa55a3bc2
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark6
Best CPU time to get the best result obtained on this benchmark1.40079
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables4000
Total number of constraints180
Number of soft constraints180
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)80
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint40
Maximum length of a constraint50
Top cost 9197
Min constraint cost 1
Max constraint cost 99
Sum of constraints costs 9196
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 51
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 ==============================[ Solver Version ]===============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |   wbo:                    1.71 beta - May, 2012                            |
0.00/0.00	c |                                                                             |
0.00/0.00	c Parsing wbo file format. File HOME/instance-3713131-1338208225.wbo.
0.00/0.00	c Instance file HOME/instance-3713131-1338208225.wbo
0.00/0.00	c File size is 72271 bytes.
0.00/0.00	c Highest Coefficient sum: 51
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:      4180                                                |
0.00/0.00	c |  Number Clauses:        100                                                 |
0.00/0.00	c |  Number Cardinality:    0                                                   |
0.00/0.00	c |  Number PB Constraints: 80                                                  |
0.00/0.00	c |                                                                             |
0.00/0.01	c |  Problem Type:          Optimization                                        |
0.00/0.01	c |  Objective Function:    PB Constraint                                       |
0.00/0.01	c |                                                                             |
0.00/0.01	c ============================[ Search Statistics ]==============================
0.00/0.01	c | Time (s)  | ID |      Bound      |               Shared Clauses             |
0.00/0.01	c |           |    | value      type |  expCls         impCls        Lit/impCl  |
0.00/0.01	c ===============================================================================
1799.49/1800.00	c ===============================================================================
1799.49/1800.00	c Wall Clock Time: 1800.00 s
1799.49/1800.00	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

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-3713131-1338208225/watcher-3713131-1338208225 -o /tmp/evaluation-result-3713131-1338208225/solver-3713131-1338208225 -C 1800 -W 1900 -M 15500 wbo1.71 -file-format=wbo HOME/instance-3713131-1338208225.wbo 

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 19844
/proc/meminfo: memFree=30028956/32873648 swapFree=6860/6860
[pid=19844] ppid=19842 vsize=4324 CPUtime=0 cores=0,2,4,6
/proc/19844/stat : 19844 (wbo1.71) R 19842 19844 18639 0 -1 4202496 557 0 0 0 0 0 0 0 20 0 1 0 286948562 4427776 510 33554432000 4194304 5964318 140734723055296 140736741384744 4344688 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/19844/statm: 1081 510 168 433 0 627 0

[startup+0.0346639 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 19844
/proc/meminfo: memFree=30028956/32873648 swapFree=6860/6860
[pid=19844] ppid=19842 vsize=84960 CPUtime=0.02 cores=0,2,4,6
/proc/19844/stat : 19844 (wbo1.71) S 19842 19844 18639 0 -1 4202496 1626 0 0 0 2 0 0 0 20 0 2 0 286948562 86999040 1495 33554432000 4194304 5964318 140734723055296 140734723054816 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19844/statm: 21240 1495 193 433 0 20804 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 84960

[startup+0.100161 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 19844
/proc/meminfo: memFree=30028956/32873648 swapFree=6860/6860
[pid=19844] ppid=19842 vsize=84960 CPUtime=0.09 cores=0,2,4,6
/proc/19844/stat : 19844 (wbo1.71) S 19842 19844 18639 0 -1 4202496 1803 0 0 0 9 0 0 0 20 0 2 0 286948562 86999040 1672 33554432000 4194304 5964318 140734723055296 140734723054816 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19844/statm: 21240 1672 194 433 0 20804 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 84960

[startup+0.30011 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 19844
/proc/meminfo: memFree=30028956/32873648 swapFree=6860/6860
[pid=19844] ppid=19842 vsize=84960 CPUtime=0.29 cores=0,2,4,6
/proc/19844/stat : 19844 (wbo1.71) S 19842 19844 18639 0 -1 4202496 2252 0 0 0 29 0 0 0 20 0 2 0 286948562 86999040 2121 33554432000 4194304 5964318 140734723055296 140734723054816 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19844/statm: 21240 2121 194 433 0 20804 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 84960

[startup+0.700109 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 19844
/proc/meminfo: memFree=30028956/32873648 swapFree=6860/6860
[pid=19844] ppid=19842 vsize=84960 CPUtime=0.69 cores=0,2,4,6
/proc/19844/stat : 19844 (wbo1.71) S 19842 19844 18639 0 -1 4202496 3134 0 0 0 69 0 0 0 20 0 2 0 286948562 86999040 3003 33554432000 4194304 5964318 140734723055296 140734723054816 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19844/statm: 21240 3003 194 433 0 20804 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 84960

[startup+1.50021 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 19846
/proc/meminfo: memFree=30015912/32873648 swapFree=6860/6860
[pid=19844] ppid=19842 vsize=84960 CPUtime=1.49 cores=0,2,4,6
/proc/19844/stat : 19844 (wbo1.71) S 19842 19844 18639 0 -1 4202496 4484 0 0 0 148 1 0 0 20 0 2 0 286948562 86999040 4353 33554432000 4194304 5964318 140734723055296 140734723054816 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19844/statm: 21240 4353 194 433 0 20804 0
[pid=19844/tid=19846] ppid=19842 vsize=84960 CPUtime=1.47 cores=0,2,4,6
/proc/19844/task/19846/stat : 19846 (wbo1.71) R 19842 19844 18639 0 -1 4202560 3447 0 0 0 146 1 0 0 20 0 2 0 286948563 86999040 4353 33554432000 4194304 5964318 140734723055296 140360881506296 4400423 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 84960

[startup+3.10019 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 19846
/proc/meminfo: memFree=30008348/32873648 swapFree=6860/6860
[pid=19844] ppid=19842 vsize=84960 CPUtime=3.08 cores=0,2,4,6
/proc/19844/stat : 19844 (wbo1.71) S 19842 19844 18639 0 -1 4202496 5785 0 0 0 307 1 0 0 20 0 2 0 286948562 86999040 5654 33554432000 4194304 5964318 140734723055296 140734723054816 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19844/statm: 21240 5654 194 433 0 20804 0
[pid=19844/tid=19846] ppid=19842 vsize=84960 CPUtime=3.07 cores=0,2,4,6
/proc/19844/task/19846/stat : 19846 (wbo1.71) R 19842 19844 18639 0 -1 4202560 4748 0 0 0 305 2 0 0 20 0 2 0 286948563 86999040 5654 33554432000 4194304 5964318 140734723055296 140360881506296 4381933 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 84960

[startup+6.30012 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 19846
/proc/meminfo: memFree=30002520/32873648 swapFree=6860/6860
[pid=19844] ppid=19842 vsize=84960 CPUtime=6.29 cores=0,2,4,6
/proc/19844/stat : 19844 (wbo1.71) S 19842 19844 18639 0 -1 4202496 7859 0 0 0 627 2 0 0 20 0 2 0 286948562 86999040 7728 33554432000 4194304 5964318 140734723055296 140734723054816 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19844/statm: 21240 7728 194 433 0 20804 0
[pid=19844/tid=19846] ppid=19842 vsize=84960 CPUtime=6.27 cores=0,2,4,6
/proc/19844/task/19846/stat : 19846 (wbo1.71) R 19842 19844 18639 0 -1 4202560 6822 0 0 0 625 2 0 0 20 0 2 0 286948563 86999040 7728 33554432000 4194304 5964318 140734723055296 140360881506296 4381933 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 84960

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 19846
/proc/meminfo: memFree=29981084/32873648 swapFree=6860/6860
[pid=19844] ppid=19842 vsize=85176 CPUtime=12.68 cores=0,2,4,6
/proc/19844/stat : 19844 (wbo1.71) S 19842 19844 18639 0 -1 4202496 12878 0 0 0 1265 3 0 0 20 0 2 0 286948562 87220224 12747 33554432000 4194304 5964318 140734723055296 140734723054816 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19844/statm: 21294 12747 194 433 0 20858 0
[pid=19844/tid=19846] ppid=19842 vsize=85176 CPUtime=12.67 cores=0,2,4,6
/proc/19844/task/19846/stat : 19846 (wbo1.71) R 19842 19844 18639 0 -1 4202560 11841 0 0 0 1263 4 0 0 20 0 2 0 286948563 87220224 12747 33554432000 4194304 5964318 140734723055296 140360881506296 4400007 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 85176

[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 19846
/proc/meminfo: memFree=29927640/32873648 swapFree=6860/6860
[pid=19844] ppid=19842 vsize=150820 CPUtime=25.48 cores=0,2,4,6
/proc/19844/stat : 19844 (wbo1.71) S 19842 19844 18639 0 -1 4202496 19690 0 0 0 2542 6 0 0 20 0 2 0 286948562 154439680 19559 33554432000 4194304 5964318 140734723055296 140734723054816 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19844/statm: 37705 19559 194 433 0 37269 0
[pid=19844/tid=19846] ppid=19842 vsize=150820 CPUtime=25.47 cores=0,2,4,6
/proc/19844/task/19846/stat : 19846 (wbo1.71) R 19842 19844 18639 0 -1 4202560 18653 0 0 0 2540 7 0 0 20 0 2 0 286948563 154439680 19559 33554432000 4194304 5964318 140734723055296 140360881506104 4389299 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 150820

[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19846
/proc/meminfo: memFree=29830384/32873648 swapFree=6860/6860
[pid=19844] ppid=19842 vsize=150980 CPUtime=51.08 cores=0,2,4,6
/proc/19844/stat : 19844 (wbo1.71) S 19842 19844 18639 0 -1 4202496 25475 0 0 0 5100 8 0 0 20 0 2 0 286948562 154603520 25344 33554432000 4194304 5964318 140734723055296 140734723054816 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19844/statm: 37745 25344 194 433 0 37309 0
[pid=19844/tid=19846] ppid=19842 vsize=150980 CPUtime=51.07 cores=0,2,4,6
/proc/19844/task/19846/stat : 19846 (wbo1.71) R 19842 19844 18639 0 -1 4202560 24438 0 0 0 5098 9 0 0 20 0 2 0 286948563 154603520 25344 33554432000 4194304 5964318 140734723055296 140360881506296 4381747 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 150980

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19846
/proc/meminfo: memFree=29686712/32873648 swapFree=6860/6860
[pid=19844] ppid=19842 vsize=216756 CPUtime=102.26 cores=0,2,4,6
/proc/19844/stat : 19844 (wbo1.71) S 19842 19844 18639 0 -1 4202496 34414 0 0 0 10216 10 0 0 20 0 2 0 286948562 221958144 34283 33554432000 4194304 5964318 140734723055296 140734723054816 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19844/statm: 54189 34283 194 433 0 53753 0
[pid=19844/tid=19846] ppid=19842 vsize=216756 CPUtime=102.27 cores=0,2,4,6
/proc/19844/task/19846/stat : 19846 (wbo1.71) R 19842 19844 18639 0 -1 4202560 33377 0 0 0 10215 12 0 0 20 0 2 0 286948563 221958144 34283 33554432000 4194304 5964318 140734723055296 140360881506296 4381923 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 216756

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19846
/proc/meminfo: memFree=29659960/32873648 swapFree=6860/6860
[pid=19844] ppid=19842 vsize=216756 CPUtime=162.25 cores=0,2,4,6
/proc/19844/stat : 19844 (wbo1.71) S 19842 19844 18639 0 -1 4202496 41081 0 0 0 16212 13 0 0 20 0 2 0 286948562 221958144 40950 33554432000 4194304 5964318 140734723055296 140734723054816 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19844/statm: 54189 40950 194 433 0 53753 0
[pid=19844/tid=19846] ppid=19842 vsize=216756 CPUtime=162.26 cores=0,2,4,6
/proc/19844/task/19846/stat : 19846 (wbo1.71) R 19842 19844 18639 0 -1 4202560 40044 0 0 0 16210 16 0 0 20 0 2 0 286948563 221958144 40950 33554432000 4194304 5964318 140734723055296 140360881506104 4220672 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 216756

[startup+222.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 19846
/proc/meminfo: memFree=29545276/32873648 swapFree=6860/6860
[pid=19844] ppid=19842 vsize=347828 CPUtime=222.22 cores=0,2,4,6
/proc/19844/stat : 19844 (wbo1.71) S 19842 19844 18639 0 -1 4202496 69455 0 0 0 22200 22 0 0 20 0 2 0 286948562 356175872 69324 33554432000 4194304 5964318 140734723055296 140734723054816 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19844/statm: 86957 69324 194 433 0 86521 0
[pid=19844/tid=19846] ppid=19842 vsize=347828 CPUtime=222.25 cores=0,2,4,6
/proc/19844/task/19846/stat : 19846 (wbo1.71) R 19842 19844 18639 0 -1 4202560 68418 0 0 0 22199 26 0 0 20 0 2 0 286948563 356175872 69324 33554432000 4194304 5964318 140734723055296 140360881506104 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 347828

[startup+282.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 19847
/proc/meminfo: memFree=29539500/32873648 swapFree=6860/6860
[pid=19844] ppid=19842 vsize=347828 CPUtime=282.2 cores=0,2,4,6
/proc/19844/stat : 19844 (wbo1.71) S 19842 19844 18639 0 -1 4202496 70092 0 0 0 28197 23 0 0 20 0 2 0 286948562 356175872 69868 33554432000 4194304 5964318 140734723055296 140734723054816 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19844/statm: 86957 69868 194 433 0 86521 0
[pid=19844/tid=19846] ppid=19842 vsize=347828 CPUtime=282.23 cores=0,2,4,6
/proc/19844/task/19846/stat : 19846 (wbo1.71) R 19842 19844 18639 0 -1 4202560 69055 0 0 0 28195 28 0 0 20 0 2 0 286948563 356175872 69868 33554432000 4194304 5964318 140734723055296 140360881506328 4399991 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 347828

[startup+342.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 19847
/proc/meminfo: memFree=29529856/32873648 swapFree=6860/6860
[pid=19844] ppid=19842 vsize=348188 CPUtime=342.16 cores=0,2,4,6
/proc/19844/stat : 19844 (wbo1.71) S 19842 19844 18639 0 -1 4202496 72698 0 0 0 34192 24 0 0 20 0 2 0 286948562 356544512 72737 33554432000 4194304 5964318 140734723055296 140734723054816 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19844/statm: 87047 72737 194 433 0 86611 0
[pid=19844/tid=19846] ppid=19842 vsize=348188 CPUtime=342.19 cores=0,2,4,6
/proc/19844/task/19846/stat : 19846 (wbo1.71) R 19842 19844 18639 0 -1 4202560 71661 0 0 0 34189 30 0 0 20 0 2 0 286948563 356544512 72737 33554432000 4194304 5964318 140734723055296 140360881506104 4399824 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 348188

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19847
/proc/meminfo: memFree=29489584/32873648 swapFree=6860/6860
[pid=19844] ppid=19842 vsize=413940 CPUtime=402.11 cores=0,2,4,6
/proc/19844/stat : 19844 (wbo1.71) S 19842 19844 18639 0 -1 4202496 83475 0 0 0 40184 27 0 0 20 0 2 0 286948562 423874560 83579 33554432000 4194304 5964318 140734723055296 140734723054816 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19844/statm: 103485 83579 194 433 0 103049 0
[pid=19844/tid=19846] ppid=19842 vsize=413940 CPUtime=402.16 cores=0,2,4,6
/proc/19844/task/19846/stat : 19846 (wbo1.71) R 19842 19844 18639 0 -1 4202560 82438 0 0 0 40182 34 0 0 20 0 2 0 286948563 423874560 83579 33554432000 4194304 5964318 140734723055296 140360881506296 4220672 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 402.11
Current children cumulated vsize (KiB) 413940

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19847
/proc/meminfo: memFree=29429576/32873648 swapFree=6860/6860
[pid=19844] ppid=19842 vsize=413940 CPUtime=462.09 cores=0,2,4,6

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

/proc/19844/task/19846/stat : 19846 (wbo1.71) R 19842 19844 18639 0 -1 4202560 143802 0 0 0 130140 73 0 0 20 0 2 0 286948563 631771136 145787 33554432000 4194304 5964318 140734723055296 140360881506328 4399991 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 616964

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19856
/proc/meminfo: memFree=28700280/32873648 swapFree=6860/6860
[pid=19844] ppid=19842 vsize=616964 CPUtime=1361.89 cores=0,2,4,6
/proc/19844/stat : 19844 (wbo1.71) S 19842 19844 18639 0 -1 4202496 144839 0 0 0 136136 53 0 0 20 0 2 0 286948562 631771136 145787 33554432000 4194304 5964318 140734723055296 140734723054816 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19844/statm: 154241 145787 194 433 0 153805 0
[pid=19844/tid=19846] ppid=19842 vsize=616964 CPUtime=1362.13 cores=0,2,4,6
/proc/19844/task/19846/stat : 19846 (wbo1.71) R 19842 19844 18639 0 -1 4202560 143802 0 0 0 136139 74 0 0 20 0 2 0 286948563 631771136 145787 33554432000 4194304 5964318 140734723055296 140360881506328 4388395 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 616964

[startup+1422.31 s]
/proc/loadavg: 1.95 1.98 1.99 3/179 19895
/proc/meminfo: memFree=29806672/32873648 swapFree=6860/6860
[pid=19844] ppid=19842 vsize=684228 CPUtime=1421.88 cores=0,2,4,6
/proc/19844/stat : 19844 (wbo1.71) S 19842 19844 18639 0 -1 4202496 150206 0 0 0 142132 56 0 0 20 0 2 0 286948562 700649472 151147 33554432000 4194304 5964318 140734723055296 140734723054816 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19844/statm: 171057 151147 194 433 0 170621 0
[pid=19844/tid=19846] ppid=19842 vsize=684228 CPUtime=1422.12 cores=0,2,4,6
/proc/19844/task/19846/stat : 19846 (wbo1.71) R 19842 19844 18639 0 -1 4202560 149169 0 0 0 142134 78 0 0 20 0 2 0 286948563 700649472 151147 33554432000 4194304 5964318 140734723055296 140360881506168 4399993 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 684228

[startup+1482.3 s]
/proc/loadavg: 1.98 1.98 1.99 3/179 19896
/proc/meminfo: memFree=29741188/32873648 swapFree=6860/6860
[pid=19844] ppid=19842 vsize=687576 CPUtime=1481.84 cores=0,2,4,6
/proc/19844/stat : 19844 (wbo1.71) S 19842 19844 18639 0 -1 4202496 155044 0 0 0 148126 58 0 0 20 0 2 0 286948562 704077824 156063 33554432000 4194304 5964318 140734723055296 140734723054816 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19844/statm: 171894 156063 194 433 0 171458 0
[pid=19844/tid=19846] ppid=19842 vsize=687576 CPUtime=1482.09 cores=0,2,4,6
/proc/19844/task/19846/stat : 19846 (wbo1.71) R 19842 19844 18639 0 -1 4202560 154007 0 0 0 148128 81 0 0 20 0 2 0 286948563 704077824 156063 33554432000 4194304 5964318 140734723055296 140360881506168 4373398 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 687576

[startup+1542.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 19896
/proc/meminfo: memFree=29706460/32873648 swapFree=6860/6860
[pid=19844] ppid=19842 vsize=689844 CPUtime=1541.83 cores=0,2,4,6
/proc/19844/stat : 19844 (wbo1.71) S 19842 19844 18639 0 -1 4202496 160061 0 0 0 154122 61 0 0 20 0 2 0 286948562 706400256 161077 33554432000 4194304 5964318 140734723055296 140734723054816 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19844/statm: 172461 161077 194 433 0 172025 0
[pid=19844/tid=19846] ppid=19842 vsize=689844 CPUtime=1542.09 cores=0,2,4,6
/proc/19844/task/19846/stat : 19846 (wbo1.71) R 19842 19844 18639 0 -1 4202560 159024 0 0 0 154124 85 0 0 20 0 2 0 286948563 706400256 161077 33554432000 4194304 5964318 140734723055296 140360881506104 4399824 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 689844

[startup+1602.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 19896
/proc/meminfo: memFree=29582584/32873648 swapFree=6860/6860
[pid=19844] ppid=19842 vsize=760708 CPUtime=1601.82 cores=0,2,4,6
/proc/19844/stat : 19844 (wbo1.71) S 19842 19844 18639 0 -1 4202496 169449 0 0 0 160115 67 0 0 20 0 2 0 286948562 778964992 170452 33554432000 4194304 5964318 140734723055296 140734723054816 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19844/statm: 190177 170452 194 433 0 189741 0
[pid=19844/tid=19846] ppid=19842 vsize=760708 CPUtime=1602.09 cores=0,2,4,6
/proc/19844/task/19846/stat : 19846 (wbo1.71) R 19842 19844 18639 0 -1 4202560 168412 0 0 0 160117 92 0 0 20 0 2 0 286948563 778964992 170452 33554432000 4194304 5964318 140734723055296 140360881506296 4399824 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 760708

[startup+1662.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 19896
/proc/meminfo: memFree=29533356/32873648 swapFree=6860/6860
[pid=19844] ppid=19842 vsize=763636 CPUtime=1661.81 cores=0,2,4,6
/proc/19844/stat : 19844 (wbo1.71) S 19842 19844 18639 0 -1 4202496 178489 0 0 0 166108 73 0 0 20 0 2 0 286948562 781963264 179483 33554432000 4194304 5964318 140734723055296 140734723054816 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19844/statm: 190909 179483 194 433 0 190473 0
[pid=19844/tid=19846] ppid=19842 vsize=763636 CPUtime=1662.09 cores=0,2,4,6
/proc/19844/task/19846/stat : 19846 (wbo1.71) R 19842 19844 18639 0 -1 4202560 177452 0 0 0 166110 99 0 0 20 0 2 0 286948563 781963264 179483 33554432000 4194304 5964318 140734723055296 140360881506296 4400007 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 763636

[startup+1722.3 s]
/proc/loadavg: 2.04 2.00 2.00 3/179 19896
/proc/meminfo: memFree=29441604/32873648 swapFree=6860/6860
[pid=19844] ppid=19842 vsize=829388 CPUtime=1721.8 cores=0,2,4,6
/proc/19844/stat : 19844 (wbo1.71) S 19842 19844 18639 0 -1 4202496 187029 0 0 0 172101 79 0 0 20 0 2 0 286948562 849293312 188023 33554432000 4194304 5964318 140734723055296 140734723054816 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19844/statm: 207347 188023 194 433 0 206911 0
[pid=19844/tid=19846] ppid=19842 vsize=829388 CPUtime=1722.1 cores=0,2,4,6
/proc/19844/task/19846/stat : 19846 (wbo1.71) R 19842 19844 18639 0 -1 4202560 185992 0 0 0 172104 106 0 0 20 0 2 0 286948563 849293312 188023 33554432000 4194304 5964318 140734723055296 140360881506296 4399824 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 829388

[startup+1782.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/180 19900
/proc/meminfo: memFree=29400820/32873648 swapFree=6860/6860
[pid=19844] ppid=19842 vsize=829388 CPUtime=1781.79 cores=0,2,4,6
/proc/19844/stat : 19844 (wbo1.71) S 19842 19844 18639 0 -1 4202496 187043 0 0 0 178100 79 0 0 20 0 2 0 286948562 849293312 188037 33554432000 4194304 5964318 140734723055296 140734723054816 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19844/statm: 207347 188037 194 433 0 206911 0
[pid=19844/tid=19846] ppid=19842 vsize=829388 CPUtime=1782.1 cores=0,2,4,6
/proc/19844/task/19846/stat : 19846 (wbo1.71) R 19842 19844 18639 0 -1 4202560 186006 0 0 0 178103 107 0 0 20 0 2 0 286948563 849293312 188037 33554432000 4194304 5964318 140734723055296 140360881506296 4399991 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 829388

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

[startup+1791.91 s]
/proc/loadavg: 2.01 2.00 2.00 3/180 19900
/proc/meminfo: memFree=29401204/32873648 swapFree=6860/6860
[pid=19844] ppid=19842 vsize=829388 CPUtime=1791.4 cores=0,2,4,6
/proc/19844/stat : 19844 (wbo1.71) S 19842 19844 18639 0 -1 4202496 187043 0 0 0 179061 79 0 0 20 0 2 0 286948562 849293312 188037 33554432000 4194304 5964318 140734723055296 140734723054816 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19844/statm: 207347 188037 194 433 0 206911 0
[pid=19844/tid=19846] ppid=19842 vsize=829388 CPUtime=1791.71 cores=0,2,4,6
/proc/19844/task/19846/stat : 19846 (wbo1.71) R 19842 19844 18639 0 -1 4202560 186006 0 0 0 179064 107 0 0 20 0 2 0 286948563 849293312 188037 33554432000 4194304 5964318 140734723055296 140360881506296 4381713 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1791.4
Current children cumulated vsize (KiB) 829388

[startup+1795.1 s]
/proc/loadavg: 2.01 2.00 2.00 3/180 19900
/proc/meminfo: memFree=29401452/32873648 swapFree=6860/6860
[pid=19844] ppid=19842 vsize=829388 CPUtime=1794.6 cores=0,2,4,6
/proc/19844/stat : 19844 (wbo1.71) S 19842 19844 18639 0 -1 4202496 187043 0 0 0 179381 79 0 0 20 0 2 0 286948562 849293312 188037 33554432000 4194304 5964318 140734723055296 140734723054816 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19844/statm: 207347 188037 194 433 0 206911 0
[pid=19844/tid=19846] ppid=19842 vsize=829388 CPUtime=1794.91 cores=0,2,4,6
/proc/19844/task/19846/stat : 19846 (wbo1.71) R 19842 19844 18639 0 -1 4202560 186006 0 0 0 179384 107 0 0 20 0 2 0 286948563 849293312 188037 33554432000 4194304 5964318 140734723055296 140360881506296 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1794.6
Current children cumulated vsize (KiB) 829388

[startup+1798.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/180 19900
/proc/meminfo: memFree=29401452/32873648 swapFree=6860/6860
[pid=19844] ppid=19842 vsize=829388 CPUtime=1797.79 cores=0,2,4,6
/proc/19844/stat : 19844 (wbo1.71) S 19842 19844 18639 0 -1 4202496 187043 0 0 0 179700 79 0 0 20 0 2 0 286948562 849293312 188037 33554432000 4194304 5964318 140734723055296 140734723054816 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19844/statm: 207347 188037 194 433 0 206911 0
[pid=19844/tid=19846] ppid=19842 vsize=829388 CPUtime=1798.1 cores=0,2,4,6
/proc/19844/task/19846/stat : 19846 (wbo1.71) R 19842 19844 18639 0 -1 4202560 186006 0 0 0 179703 107 0 0 20 0 2 0 286948563 849293312 188037 33554432000 4194304 5964318 140734723055296 140360881506296 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1797.79
Current children cumulated vsize (KiB) 829388

[startup+1799.1 s]
/proc/loadavg: 2.01 2.00 2.00 3/180 19900
/proc/meminfo: memFree=29401452/32873648 swapFree=6860/6860
[pid=19844] ppid=19842 vsize=829388 CPUtime=1798.59 cores=0,2,4,6
/proc/19844/stat : 19844 (wbo1.71) S 19842 19844 18639 0 -1 4202496 187043 0 0 0 179780 79 0 0 20 0 2 0 286948562 849293312 188037 33554432000 4194304 5964318 140734723055296 140734723054816 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19844/statm: 207347 188037 194 433 0 206911 0
[pid=19844/tid=19846] ppid=19842 vsize=829388 CPUtime=1798.9 cores=0,2,4,6
/proc/19844/task/19846/stat : 19846 (wbo1.71) R 19842 19844 18639 0 -1 4202560 186006 0 0 0 179783 107 0 0 20 0 2 0 286948563 849293312 188037 33554432000 4194304 5964318 140734723055296 140360881506296 4399910 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1798.59
Current children cumulated vsize (KiB) 829388

[startup+1799.5 s]
/proc/loadavg: 2.01 2.00 2.00 3/180 19900
/proc/meminfo: memFree=29401452/32873648 swapFree=6860/6860
[pid=19844] ppid=19842 vsize=829388 CPUtime=1799 cores=0,2,4,6
/proc/19844/stat : 19844 (wbo1.71) S 19842 19844 18639 0 -1 4202496 187043 0 0 0 179821 79 0 0 20 0 2 0 286948562 849293312 188037 33554432000 4194304 5964318 140734723055296 140734723054816 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19844/statm: 207347 188037 194 433 0 206911 0
[pid=19844/tid=19846] ppid=19842 vsize=829388 CPUtime=1799.31 cores=0,2,4,6
/proc/19844/task/19846/stat : 19846 (wbo1.71) R 19842 19844 18639 0 -1 4202560 186006 0 0 0 179824 107 0 0 20 0 2 0 286948563 849293312 188037 33554432000 4194304 5964318 140734723055296 140360881506296 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799
Current children cumulated vsize (KiB) 829388

[startup+1799.9 s]
/proc/loadavg: 2.01 2.00 2.00 3/180 19900
/proc/meminfo: memFree=29401452/32873648 swapFree=6860/6860
[pid=19844] ppid=19842 vsize=829388 CPUtime=1799.39 cores=0,2,4,6
/proc/19844/stat : 19844 (wbo1.71) S 19842 19844 18639 0 -1 4202496 187043 0 0 0 179860 79 0 0 20 0 2 0 286948562 849293312 188037 33554432000 4194304 5964318 140734723055296 140734723054816 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19844/statm: 207347 188037 194 433 0 206911 0
[pid=19844/tid=19846] ppid=19842 vsize=829388 CPUtime=1799.7 cores=0,2,4,6
/proc/19844/task/19846/stat : 19846 (wbo1.71) R 19842 19844 18639 0 -1 4202560 186006 0 0 0 179863 107 0 0 20 0 2 0 286948563 849293312 188037 33554432000 4194304 5964318 140734723055296 140360881506296 4399991 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.39
Current children cumulated vsize (KiB) 829388

[startup+1800 s]
/proc/loadavg: 2.01 2.00 2.00 3/180 19900
/proc/meminfo: memFree=29401452/32873648 swapFree=6860/6860
[pid=19844] ppid=19842 vsize=829388 CPUtime=1799.49 cores=0,2,4,6
/proc/19844/stat : 19844 (wbo1.71) S 19842 19844 18639 0 -1 4202496 187043 0 0 0 179870 79 0 0 20 0 2 0 286948562 849293312 188037 33554432000 4194304 5964318 140734723055296 140734723054816 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19844/statm: 207347 188037 194 433 0 206911 0
[pid=19844/tid=19846] ppid=19842 vsize=829388 CPUtime=1799.8 cores=0,2,4,6
/proc/19844/task/19846/stat : 19846 (wbo1.71) R 19842 19844 18639 0 -1 4202560 186006 0 0 0 179873 107 0 0 20 0 2 0 286948563 849293312 188037 33554432000 4194304 5964318 140734723055296 140360881506296 4400007 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.49
Current children cumulated vsize (KiB) 829388

Child status: 255
Real time (s): 1800.01
CPU time (s): 1799.84
CPU user time (s): 1798.74
CPU system time (s): 1.09283
CPU usage (%): 99.9902
Max. virtual memory (cumulated for all children) (KiB): 829388

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.74
system time used= 1.09283
maximum resident set size= 752160
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 187046
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= 256
involuntary context switches= 2309

runsolver used 6.86696 second user time and 16.0006 second system time

The end

Launcher Data 

Begin job on node116 at 2012-05-28 14:30:25
IDJOB=3713131
IDBENCH=79159
IDSOLVER=2293
FILE ID=node116/3713131-1338208225
RUNJOBID= node116-1338193550-18655
PBS_JOBID= 14624586
Free space on /tmp= 71468 MiB

SOLVER NAME= wbo 1.71
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl40_50_pb.cnf.cr--soft-0-100-0.wbo
COMMAND LINE= wbo1.71 -file-format=wbo BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3713131-1338208225/watcher-3713131-1338208225 -o /tmp/evaluation-result-3713131-1338208225/solver-3713131-1338208225 -C 1800 -W 1900 -M 15500  wbo1.71 -file-format=wbo HOME/instance-3713131-1338208225.wbo

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

MD5SUM BENCH= 4abf964a0a4662f4172f30dfa55a3bc2
RANDOM SEED=1102945631

node116.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/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.556
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.11
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.556
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.556
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5438.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.556
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.556
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.556
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.556
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.556
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        30029220 kB
Buffers:          386576 kB
Cached:          1149732 kB
SwapCached:         3236 kB
Active:          1303428 kB
Inactive:         700684 kB
Active(anon):     458356 kB
Inactive(anon):     8956 kB
Active(file):     845072 kB
Inactive(file):   691728 kB
Unevictable:        6860 kB
Mlocked:            6860 kB
SwapTotal:      67108856 kB
SwapFree:       67103668 kB
Dirty:              5472 kB
Writeback:             0 kB
AnonPages:        528740 kB
Mapped:            13356 kB
Shmem:                96 kB
Slab:             700404 kB
SReclaimable:     144896 kB
SUnreclaim:       555508 kB
KernelStack:        1496 kB
PageTables:         4976 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     143952 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    206848 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71460 MiB
End job on node116 at 2012-05-28 15:00:25