Trace number 3728112

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.72? 1799.64 1800.01

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl15_25_pb.cnf.cr--soft-33-100-0.wbo
MD5SUM4fda08e2dc650152cad1c676f7fa8f96
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark15
Best CPU time to get the best result obtained on this benchmark0.242962
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables750
Total number of constraints80
Number of soft constraints54
Number of constraints which are clauses50
Number of constraints which are cardinality constraints (but not clauses)30
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint15
Maximum length of a constraint25
Top cost 2808
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 2807
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 26
Number of bits of the biggest sum of numbers5
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.72 beta - May, 2012                            |
0.00/0.00	c |                                                                             |
0.00/0.00	c Parsing wbo file format. File HOME/instance-3728112-1338670928.wbo.
0.00/0.00	c Instance file HOME/instance-3728112-1338670928.wbo
0.00/0.00	c File size is 12903 bytes.
0.00/0.00	c Highest Coefficient sum: 26
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:      804                                                 |
0.00/0.00	c |  Number Clauses:        50                                                  |
0.00/0.00	c |  Number Cardinality:    11                                                  |
0.00/0.00	c |  Number PB Constraints: 19                                                  |
0.00/0.00	c |                                                                             |
0.00/0.00	c |  Problem Type:          Optimization                                        |
0.00/0.00	c |  Objective Function:    Cardinality Constraint                              |
0.00/0.00	c |                                                                             |
0.00/0.00	c ============================[ Search Statistics ]==============================
0.00/0.00	c | Time (s)  | ID |      Bound      |               Shared Clauses             |
0.00/0.00	c |           |    | value      type |  expCls         impCls        Lit/impCl  |
0.00/0.00	c ===============================================================================
1799.64/1800.00	c ===============================================================================
1799.64/1800.00	c Wall Clock Time: 1800.00 s
1799.64/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-3728112-1338670928/watcher-3728112-1338670928 -o /tmp/evaluation-result-3728112-1338670928/solver-3728112-1338670928 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=wbo HOME/instance-3728112-1338670928.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: 1.84 1.97 1.99 3/177 26595
/proc/meminfo: memFree=28288416/32873844 swapFree=7112/7112
[pid=26595] ppid=26591 vsize=83844 CPUtime=0 cores=0,2,4,6
/proc/26595/stat : 26595 (wbo1.72) S 26591 26595 25884 0 -1 4202496 895 0 0 0 0 0 0 0 20 0 2 0 333218175 85856256 843 33554432000 4194304 5964350 140736455917184 140736455916704 4546605 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26595/statm: 20961 843 191 433 0 20525 0
[pid=26595/tid=26597] ppid=26591 vsize=83844 CPUtime=0 cores=0,2,4,6
/proc/26595/task/26597/stat : 26597 (wbo1.72) R 26591 26595 25884 0 -1 4202560 124 0 0 0 0 0 0 0 20 0 2 0 333218175 85856256 843 33554432000 4194304 5964350 140736455917184 140736554967032 5136340 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0

[startup+0.102001 s]
/proc/loadavg: 1.84 1.97 1.99 3/177 26595
/proc/meminfo: memFree=28288416/32873844 swapFree=7112/7112
[pid=26595] ppid=26591 vsize=83844 CPUtime=0.09 cores=0,2,4,6
/proc/26595/stat : 26595 (wbo1.72) S 26591 26595 25884 0 -1 4202496 1163 0 0 0 9 0 0 0 20 0 2 0 333218175 85856256 1111 33554432000 4194304 5964350 140736455917184 140736455916704 4546605 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26595/statm: 20961 1111 193 433 0 20525 0
[pid=26595/tid=26597] ppid=26591 vsize=83844 CPUtime=0.08 cores=0,2,4,6
/proc/26595/task/26597/stat : 26597 (wbo1.72) R 26591 26595 25884 0 -1 4202560 392 0 0 0 8 0 0 0 20 0 2 0 333218175 85856256 1111 33554432000 4194304 5964350 140736455917184 140736554967032 5136410 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 83844

[startup+0.200304 s]
/proc/loadavg: 1.84 1.97 1.99 3/177 26595
/proc/meminfo: memFree=28288416/32873844 swapFree=7112/7112
[pid=26595] ppid=26591 vsize=83844 CPUtime=0.19 cores=0,2,4,6
/proc/26595/stat : 26595 (wbo1.72) S 26591 26595 25884 0 -1 4202496 1370 0 0 0 19 0 0 0 20 0 2 0 333218175 85856256 1318 33554432000 4194304 5964350 140736455917184 140736455916704 4546605 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26595/statm: 20961 1318 193 433 0 20525 0
[pid=26595/tid=26597] ppid=26591 vsize=83844 CPUtime=0.18 cores=0,2,4,6
/proc/26595/task/26597/stat : 26597 (wbo1.72) R 26591 26595 25884 0 -1 4202560 599 0 0 0 18 0 0 0 20 0 2 0 333218175 85856256 1318 33554432000 4194304 5964350 140736455917184 140736554967032 5136340 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 83844

[startup+0.3003 s]
/proc/loadavg: 1.84 1.97 1.99 3/177 26595
/proc/meminfo: memFree=28288416/32873844 swapFree=7112/7112
[pid=26595] ppid=26591 vsize=83844 CPUtime=0.29 cores=0,2,4,6
/proc/26595/stat : 26595 (wbo1.72) S 26591 26595 25884 0 -1 4202496 1505 0 0 0 29 0 0 0 20 0 2 0 333218175 85856256 1453 33554432000 4194304 5964350 140736455917184 140736455916704 4546605 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26595/statm: 20961 1453 193 433 0 20525 0
[pid=26595/tid=26597] ppid=26591 vsize=83844 CPUtime=0.28 cores=0,2,4,6
/proc/26595/task/26597/stat : 26597 (wbo1.72) R 26591 26595 25884 0 -1 4202560 734 0 0 0 28 0 0 0 20 0 2 0 333218175 85856256 1453 33554432000 4194304 5964350 140736455917184 140736554967032 4400017 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 83844

[startup+0.700245 s]
/proc/loadavg: 1.84 1.97 1.99 3/177 26595
/proc/meminfo: memFree=28288416/32873844 swapFree=7112/7112
[pid=26595] ppid=26591 vsize=83844 CPUtime=0.69 cores=0,2,4,6
/proc/26595/stat : 26595 (wbo1.72) S 26591 26595 25884 0 -1 4202496 1855 0 0 0 69 0 0 0 20 0 2 0 333218175 85856256 1803 33554432000 4194304 5964350 140736455917184 140736455916704 4546605 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26595/statm: 20961 1803 193 433 0 20525 0
[pid=26595/tid=26597] ppid=26591 vsize=83844 CPUtime=0.68 cores=0,2,4,6
/proc/26595/task/26597/stat : 26597 (wbo1.72) R 26591 26595 25884 0 -1 4202560 1084 0 0 0 68 0 0 0 20 0 2 0 333218175 85856256 1803 33554432000 4194304 5964350 140736455917184 140736554967032 4400007 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 83844

[startup+1.50027 s]
/proc/loadavg: 1.84 1.97 1.99 3/181 26599
/proc/meminfo: memFree=28272828/32873844 swapFree=7112/7112
[pid=26595] ppid=26591 vsize=83844 CPUtime=1.49 cores=0,2,4,6
/proc/26595/stat : 26595 (wbo1.72) S 26591 26595 25884 0 -1 4202496 2395 0 0 0 149 0 0 0 20 0 2 0 333218175 85856256 2343 33554432000 4194304 5964350 140736455917184 140736455916704 4546605 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26595/statm: 20961 2343 193 433 0 20525 0
[pid=26595/tid=26597] ppid=26591 vsize=83844 CPUtime=1.48 cores=0,2,4,6
/proc/26595/task/26597/stat : 26597 (wbo1.72) R 26591 26595 25884 0 -1 4202560 1624 0 0 0 148 0 0 0 20 0 2 0 333218175 85856256 2343 33554432000 4194304 5964350 140736455917184 140072689174328 4400007 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 83844

[startup+3.10024 s]
/proc/loadavg: 1.84 1.97 1.99 3/181 26599
/proc/meminfo: memFree=28268488/32873844 swapFree=7112/7112
[pid=26595] ppid=26591 vsize=83988 CPUtime=3.09 cores=0,2,4,6
/proc/26595/stat : 26595 (wbo1.72) S 26591 26595 25884 0 -1 4202496 3211 0 0 0 309 0 0 0 20 0 2 0 333218175 86003712 3159 33554432000 4194304 5964350 140736455917184 140736455916704 4546605 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26595/statm: 20997 3159 193 433 0 20561 0
[pid=26595/tid=26597] ppid=26591 vsize=83988 CPUtime=3.07 cores=0,2,4,6
/proc/26595/task/26597/stat : 26597 (wbo1.72) R 26591 26595 25884 0 -1 4202560 2440 0 0 0 307 0 0 0 20 0 2 0 333218175 86003712 3159 33554432000 4194304 5964350 140736455917184 140072689174520 18446744073699066235 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 83988

[startup+6.30023 s]
/proc/loadavg: 1.85 1.97 1.99 3/181 26599
/proc/meminfo: memFree=28263776/32873844 swapFree=7112/7112
[pid=26595] ppid=26591 vsize=83988 CPUtime=6.28 cores=0,2,4,6
/proc/26595/stat : 26595 (wbo1.72) S 26591 26595 25884 0 -1 4202496 3691 0 0 0 628 0 0 0 20 0 2 0 333218175 86003712 3639 33554432000 4194304 5964350 140736455917184 140736455916704 4546605 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26595/statm: 20997 3639 193 433 0 20561 0
[pid=26595/tid=26597] ppid=26591 vsize=83988 CPUtime=6.26 cores=0,2,4,6
/proc/26595/task/26597/stat : 26597 (wbo1.72) R 26591 26595 25884 0 -1 4202560 2920 0 0 0 626 0 0 0 20 0 2 0 333218175 86003712 3639 33554432000 4194304 5964350 140736455917184 140072689174328 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 83988

[startup+12.7002 s]
/proc/loadavg: 1.86 1.97 1.99 3/181 26599
/proc/meminfo: memFree=28258756/32873844 swapFree=7112/7112
[pid=26595] ppid=26591 vsize=83988 CPUtime=12.69 cores=0,2,4,6
/proc/26595/stat : 26595 (wbo1.72) S 26591 26595 25884 0 -1 4202496 4266 0 0 0 1268 1 0 0 20 0 2 0 333218175 86003712 4214 33554432000 4194304 5964350 140736455917184 140736455916704 4546605 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26595/statm: 20997 4214 193 433 0 20561 0
[pid=26595/tid=26597] ppid=26591 vsize=83988 CPUtime=12.65 cores=0,2,4,6
/proc/26595/task/26597/stat : 26597 (wbo1.72) R 26591 26595 25884 0 -1 4202560 3495 0 0 0 1264 1 0 0 20 0 2 0 333218175 86003712 4214 33554432000 4194304 5964350 140736455917184 140072689174520 4399976 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 83988

[startup+25.5063 s]
/proc/loadavg: 1.89 1.97 1.99 3/181 26599
/proc/meminfo: memFree=28242088/32873844 swapFree=7112/7112
[pid=26595] ppid=26591 vsize=84060 CPUtime=25.48 cores=0,2,4,6
/proc/26595/stat : 26595 (wbo1.72) S 26591 26595 25884 0 -1 4202496 6669 0 0 0 2547 1 0 0 20 0 2 0 333218175 86077440 6635 33554432000 4194304 5964350 140736455917184 140736455916704 4546605 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26595/statm: 21015 6635 193 433 0 20579 0
[pid=26595/tid=26597] ppid=26591 vsize=84060 CPUtime=25.42 cores=0,2,4,6
/proc/26595/task/26597/stat : 26597 (wbo1.72) R 26591 26595 25884 0 -1 4202560 5898 0 0 0 2541 1 0 0 20 0 2 0 333218175 86077440 6635 33554432000 4194304 5964350 140736455917184 140072689174328 4400007 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 84060

[startup+51.1003 s]
/proc/loadavg: 1.93 1.97 1.99 3/181 26599
/proc/meminfo: memFree=28218268/32873844 swapFree=7112/7112
[pid=26595] ppid=26591 vsize=85680 CPUtime=51.07 cores=0,2,4,6
/proc/26595/stat : 26595 (wbo1.72) S 26591 26595 25884 0 -1 4202496 10592 0 0 0 5105 2 0 0 20 0 2 0 333218175 87736320 10813 33554432000 4194304 5964350 140736455917184 140736455916704 4546605 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26595/statm: 21420 10813 193 433 0 20984 0
[pid=26595/tid=26597] ppid=26591 vsize=85680 CPUtime=50.94 cores=0,2,4,6
/proc/26595/task/26597/stat : 26597 (wbo1.72) R 26591 26595 25884 0 -1 4202560 9821 0 0 0 5092 2 0 0 20 0 2 0 333218175 87736320 10813 33554432000 4194304 5964350 140736455917184 140072689174328 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 85680

[startup+102.3 s]
/proc/loadavg: 1.97 1.97 1.99 3/181 26599
/proc/meminfo: memFree=28191828/32873844 swapFree=7112/7112
[pid=26595] ppid=26591 vsize=86416 CPUtime=102.25 cores=0,2,4,6
/proc/26595/stat : 26595 (wbo1.72) S 26591 26595 25884 0 -1 4202496 13642 0 0 0 10222 3 0 0 20 0 2 0 333218175 88489984 13891 33554432000 4194304 5964350 140736455917184 140736455916704 4546605 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26595/statm: 21604 13891 193 433 0 21168 0
[pid=26595/tid=26597] ppid=26591 vsize=86416 CPUtime=102 cores=0,2,4,6
/proc/26595/task/26597/stat : 26597 (wbo1.72) R 26591 26595 25884 0 -1 4202560 12871 0 0 0 10196 4 0 0 20 0 2 0 333218175 88489984 13891 33554432000 4194304 5964350 140736455917184 140072689174328 4399976 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 86416

[startup+162.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/181 26599
/proc/meminfo: memFree=28172828/32873844 swapFree=7112/7112
[pid=26595] ppid=26591 vsize=88432 CPUtime=162.24 cores=0,2,4,6
/proc/26595/stat : 26595 (wbo1.72) S 26591 26595 25884 0 -1 4202496 15482 0 0 0 16219 5 0 0 20 0 2 0 333218175 90554368 15787 33554432000 4194304 5964350 140736455917184 140736455916704 4546605 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26595/statm: 22108 15787 193 433 0 21672 0
[pid=26595/tid=26597] ppid=26591 vsize=88432 CPUtime=161.85 cores=0,2,4,6
/proc/26595/task/26597/stat : 26597 (wbo1.72) R 26591 26595 25884 0 -1 4202560 14711 0 0 0 16178 7 0 0 20 0 2 0 333218175 90554368 15787 33554432000 4194304 5964350 140736455917184 140072689174520 18446744073699066235 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 88432

[startup+222.3 s]
/proc/loadavg: 2.07 1.99 1.99 3/181 26600
/proc/meminfo: memFree=28147336/32873844 swapFree=7112/7112
[pid=26595] ppid=26591 vsize=155988 CPUtime=222.23 cores=0,2,4,6
/proc/26595/stat : 26595 (wbo1.72) S 26591 26595 25884 0 -1 4202496 18815 0 0 0 22217 6 0 0 20 0 2 0 333218175 159731712 19129 33554432000 4194304 5964350 140736455917184 140736455916704 4546605 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26595/statm: 38997 19129 193 433 0 38561 0
[pid=26595/tid=26597] ppid=26591 vsize=155988 CPUtime=221.69 cores=0,2,4,6
/proc/26595/task/26597/stat : 26597 (wbo1.72) R 26591 26595 25884 0 -1 4202560 18044 0 0 0 22160 9 0 0 20 0 2 0 333218175 159731712 19129 33554432000 4194304 5964350 140736455917184 140072689174520 4379168 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 155988

[startup+282.3 s]
/proc/loadavg: 2.02 1.99 1.99 3/181 26600
/proc/meminfo: memFree=28125796/32873844 swapFree=7112/7112
[pid=26595] ppid=26591 vsize=158508 CPUtime=282.22 cores=0,2,4,6
/proc/26595/stat : 26595 (wbo1.72) S 26591 26595 25884 0 -1 4202496 21410 0 0 0 28215 7 0 0 20 0 2 0 333218175 162312192 21774 33554432000 4194304 5964350 140736455917184 140736455916704 4546605 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26595/statm: 39627 21774 193 433 0 39191 0
[pid=26595/tid=26597] ppid=26591 vsize=158508 CPUtime=281.53 cores=0,2,4,6
/proc/26595/task/26597/stat : 26597 (wbo1.72) R 26591 26595 25884 0 -1 4202560 20639 0 0 0 28142 11 0 0 20 0 2 0 333218175 162312192 21774 33554432000 4194304 5964350 140736455917184 140072689174568 4400007 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 158508

[startup+342.306 s]
/proc/loadavg: 2.01 1.99 1.99 3/181 26600
/proc/meminfo: memFree=28105204/32873844 swapFree=7112/7112
[pid=26595] ppid=26591 vsize=160992 CPUtime=342.2 cores=0,2,4,6
/proc/26595/stat : 26595 (wbo1.72) S 26591 26595 25884 0 -1 4202496 24814 0 0 0 34212 8 0 0 20 0 2 0 333218175 164855808 25183 33554432000 4194304 5964350 140736455917184 140736455916704 4546605 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26595/statm: 40248 25183 193 433 0 39812 0
[pid=26595/tid=26597] ppid=26591 vsize=160992 CPUtime=341.38 cores=0,2,4,6
/proc/26595/task/26597/stat : 26597 (wbo1.72) R 26591 26595 25884 0 -1 4202560 24043 0 0 0 34125 13 0 0 20 0 2 0 333218175 164855808 25183 33554432000 4194304 5964350 140736455917184 140072689174568 4400007 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 160992

[startup+402.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/181 26600
/proc/meminfo: memFree=28087340/32873844 swapFree=7112/7112
[pid=26595] ppid=26591 vsize=163944 CPUtime=402.2 cores=0,2,4,6
/proc/26595/stat : 26595 (wbo1.72) S 26591 26595 25884 0 -1 4202496 28558 0 0 0 40210 10 0 0 20 0 2 0 333218175 167878656 28927 33554432000 4194304 5964350 140736455917184 140736455916704 4546605 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0

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


[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 26648
/proc/meminfo: memFree=27810752/32873844 swapFree=7112/7112
[pid=26595] ppid=26591 vsize=258884 CPUtime=1422 cores=0,2,4,6
/proc/26595/stat : 26595 (wbo1.72) S 26591 26595 25884 0 -1 4202496 57372 0 0 0 142170 30 0 0 20 0 2 0 333218175 265097216 58344 33554432000 4194304 5964350 140736455917184 140736455916704 4546605 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26595/statm: 64721 58344 193 433 0 64285 0
[pid=26595/tid=26597] ppid=26591 vsize=258884 CPUtime=1418.58 cores=0,2,4,6
/proc/26595/task/26597/stat : 26597 (wbo1.72) R 26591 26595 25884 0 -1 4202560 56601 0 0 0 141807 51 0 0 20 0 2 0 333218175 265097216 58344 33554432000 4194304 5964350 140736455917184 140072689174328 4399976 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1422
Current children cumulated vsize (KiB) 258884

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 26649
/proc/meminfo: memFree=27782880/32873844 swapFree=7112/7112
[pid=26595] ppid=26591 vsize=326084 CPUtime=1481.99 cores=0,2,4,6
/proc/26595/stat : 26595 (wbo1.72) S 26591 26595 25884 0 -1 4202496 58903 0 0 0 148167 32 0 0 20 0 2 0 333218175 333910016 59875 33554432000 4194304 5964350 140736455917184 140736455916704 4546605 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26595/statm: 81521 59875 193 433 0 81085 0
[pid=26595/tid=26597] ppid=26591 vsize=326084 CPUtime=1478.43 cores=0,2,4,6
/proc/26595/task/26597/stat : 26597 (wbo1.72) R 26591 26595 25884 0 -1 4202560 58132 0 0 0 147789 54 0 0 20 0 2 0 333218175 333910016 59875 33554432000 4194304 5964350 140736455917184 140072689174520 4400023 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 326084

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 26649
/proc/meminfo: memFree=27710400/32873844 swapFree=7112/7112
[pid=26595] ppid=26591 vsize=328836 CPUtime=1541.99 cores=0,2,4,6
/proc/26595/stat : 26595 (wbo1.72) S 26591 26595 25884 0 -1 4202496 60375 0 0 0 154165 34 0 0 20 0 2 0 333218175 336728064 61347 33554432000 4194304 5964350 140736455917184 140736455916704 4546605 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26595/statm: 82209 61347 193 433 0 81773 0
[pid=26595/tid=26597] ppid=26591 vsize=328836 CPUtime=1538.28 cores=0,2,4,6
/proc/26595/task/26597/stat : 26597 (wbo1.72) R 26591 26595 25884 0 -1 4202560 59604 0 0 0 153771 57 0 0 20 0 2 0 333218175 336728064 61347 33554432000 4194304 5964350 140736455917184 140072689174568 4400007 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 328836

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 26649
/proc/meminfo: memFree=27710388/32873844 swapFree=7112/7112
[pid=26595] ppid=26591 vsize=328944 CPUtime=1601.97 cores=0,2,4,6
/proc/26595/stat : 26595 (wbo1.72) S 26591 26595 25884 0 -1 4202496 60415 0 0 0 160163 34 0 0 20 0 2 0 333218175 336838656 61382 33554432000 4194304 5964350 140736455917184 140736455916704 4546605 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26595/statm: 82236 61382 193 433 0 81800 0
[pid=26595/tid=26597] ppid=26591 vsize=328944 CPUtime=1598.12 cores=0,2,4,6
/proc/26595/task/26597/stat : 26597 (wbo1.72) R 26591 26595 25884 0 -1 4202560 59644 0 0 0 159754 58 0 0 20 0 2 0 333218175 336838656 61382 33554432000 4194304 5964350 140736455917184 140072689174568 4400007 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.97
Current children cumulated vsize (KiB) 328944

[startup+1662.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 26649
/proc/meminfo: memFree=27627500/32873844 swapFree=7112/7112
[pid=26595] ppid=26591 vsize=331648 CPUtime=1661.97 cores=0,2,4,6
/proc/26595/stat : 26595 (wbo1.72) S 26591 26595 25884 0 -1 4202496 65980 0 0 0 166158 39 0 0 20 0 2 0 333218175 339607552 66947 33554432000 4194304 5964350 140736455917184 140736455916704 4546605 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26595/statm: 82912 66947 193 433 0 82476 0
[pid=26595/tid=26597] ppid=26591 vsize=331648 CPUtime=1657.97 cores=0,2,4,6
/proc/26595/task/26597/stat : 26597 (wbo1.72) R 26591 26595 25884 0 -1 4202560 65209 0 0 0 165733 64 0 0 20 0 2 0 333218175 339607552 66947 33554432000 4194304 5964350 140736455917184 140072689174328 4379231 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 331648

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 26652
/proc/meminfo: memFree=27588920/32873844 swapFree=7112/7112
[pid=26595] ppid=26591 vsize=333280 CPUtime=1721.95 cores=0,2,4,6
/proc/26595/stat : 26595 (wbo1.72) S 26591 26595 25884 0 -1 4202496 66324 0 0 0 172156 39 0 0 20 0 2 0 333218175 341278720 67291 33554432000 4194304 5964350 140736455917184 140736455916704 4546605 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26595/statm: 83320 67291 193 433 0 82884 0
[pid=26595/tid=26597] ppid=26591 vsize=333280 CPUtime=1717.81 cores=0,2,4,6
/proc/26595/task/26597/stat : 26597 (wbo1.72) R 26591 26595 25884 0 -1 4202560 65553 0 0 0 171716 65 0 0 20 0 2 0 333218175 341278720 67291 33554432000 4194304 5964350 140736455917184 140072689174568 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 333280

[startup+1782.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/181 26653
/proc/meminfo: memFree=27590540/32873844 swapFree=7112/7112
[pid=26595] ppid=26591 vsize=333784 CPUtime=1781.94 cores=0,2,4,6
/proc/26595/stat : 26595 (wbo1.72) S 26591 26595 25884 0 -1 4202496 66418 0 0 0 178155 39 0 0 20 0 2 0 333218175 341794816 67385 33554432000 4194304 5964350 140736455917184 140736455916704 4546605 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26595/statm: 83446 67385 193 433 0 83010 0
[pid=26595/tid=26597] ppid=26591 vsize=333784 CPUtime=1777.66 cores=0,2,4,6
/proc/26595/task/26597/stat : 26597 (wbo1.72) R 26591 26595 25884 0 -1 4202560 65647 0 0 0 177700 66 0 0 20 0 2 0 333218175 341794816 67385 33554432000 4194304 5964350 140736455917184 140072689174328 4400009 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 333784

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

[startup+1792.11 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 26653
/proc/meminfo: memFree=27590416/32873844 swapFree=7112/7112
[pid=26595] ppid=26591 vsize=333928 CPUtime=1791.75 cores=0,2,4,6
/proc/26595/stat : 26595 (wbo1.72) S 26591 26595 25884 0 -1 4202496 66453 0 0 0 179136 39 0 0 20 0 2 0 333218175 341942272 67420 33554432000 4194304 5964350 140736455917184 140736455916704 4546605 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26595/statm: 83482 67420 193 433 0 83046 0
[pid=26595/tid=26597] ppid=26591 vsize=333928 CPUtime=1787.44 cores=0,2,4,6
/proc/26595/task/26597/stat : 26597 (wbo1.72) R 26591 26595 25884 0 -1 4202560 65682 0 0 0 178678 66 0 0 20 0 2 0 333218175 341942272 67420 33554432000 4194304 5964350 140736455917184 140072689174328 4400007 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1791.75
Current children cumulated vsize (KiB) 333928

[startup+1795.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 26653
/proc/meminfo: memFree=27590168/32873844 swapFree=7112/7112
[pid=26595] ppid=26591 vsize=334072 CPUtime=1794.94 cores=0,2,4,6
/proc/26595/stat : 26595 (wbo1.72) S 26591 26595 25884 0 -1 4202496 66480 0 0 0 179455 39 0 0 20 0 2 0 333218175 342089728 67447 33554432000 4194304 5964350 140736455917184 140736455916704 4546605 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26595/statm: 83518 67447 193 433 0 83082 0
[pid=26595/tid=26597] ppid=26591 vsize=334072 CPUtime=1790.63 cores=0,2,4,6
/proc/26595/task/26597/stat : 26597 (wbo1.72) R 26591 26595 25884 0 -1 4202560 65709 0 0 0 178997 66 0 0 20 0 2 0 333218175 342089728 67447 33554432000 4194304 5964350 140736455917184 140072689174328 4381521 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1794.94
Current children cumulated vsize (KiB) 334072

[startup+1798.5 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 26653
/proc/meminfo: memFree=27590168/32873844 swapFree=7112/7112
[pid=26595] ppid=26591 vsize=334072 CPUtime=1798.14 cores=0,2,4,6
/proc/26595/stat : 26595 (wbo1.72) S 26591 26595 25884 0 -1 4202496 66480 0 0 0 179775 39 0 0 20 0 2 0 333218175 342089728 67447 33554432000 4194304 5964350 140736455917184 140736455916704 4546605 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26595/statm: 83518 67447 193 433 0 83082 0
[pid=26595/tid=26597] ppid=26591 vsize=334072 CPUtime=1793.82 cores=0,2,4,6
/proc/26595/task/26597/stat : 26597 (wbo1.72) R 26591 26595 25884 0 -1 4202560 65709 0 0 0 179316 66 0 0 20 0 2 0 333218175 342089728 67447 33554432000 4194304 5964350 140736455917184 140072689174328 4400007 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1798.14
Current children cumulated vsize (KiB) 334072

[startup+1799.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 26653
/proc/meminfo: memFree=27590292/32873844 swapFree=7112/7112
[pid=26595] ppid=26591 vsize=334072 CPUtime=1798.94 cores=0,2,4,6
/proc/26595/stat : 26595 (wbo1.72) S 26591 26595 25884 0 -1 4202496 66480 0 0 0 179855 39 0 0 20 0 2 0 333218175 342089728 67447 33554432000 4194304 5964350 140736455917184 140736455916704 4546605 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26595/statm: 83518 67447 193 433 0 83082 0
[pid=26595/tid=26597] ppid=26591 vsize=334072 CPUtime=1794.61 cores=0,2,4,6
/proc/26595/task/26597/stat : 26597 (wbo1.72) R 26591 26595 25884 0 -1 4202560 65709 0 0 0 179395 66 0 0 20 0 2 0 333218175 342089728 67447 33554432000 4194304 5964350 140736455917184 140072689174328 4400321 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1798.94
Current children cumulated vsize (KiB) 334072

[startup+1799.7 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 26653
/proc/meminfo: memFree=27590292/32873844 swapFree=7112/7112
[pid=26595] ppid=26591 vsize=334072 CPUtime=1799.34 cores=0,2,4,6
/proc/26595/stat : 26595 (wbo1.72) S 26591 26595 25884 0 -1 4202496 66480 0 0 0 179895 39 0 0 20 0 2 0 333218175 342089728 67447 33554432000 4194304 5964350 140736455917184 140736455916704 4546605 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26595/statm: 83518 67447 193 433 0 83082 0
[pid=26595/tid=26597] ppid=26591 vsize=334072 CPUtime=1795.02 cores=0,2,4,6
/proc/26595/task/26597/stat : 26597 (wbo1.72) R 26591 26595 25884 0 -1 4202560 65709 0 0 0 179436 66 0 0 20 0 2 0 333218175 342089728 67447 33554432000 4194304 5964350 140736455917184 140072689174328 4400011 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.34
Current children cumulated vsize (KiB) 334072

[startup+1799.9 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 26653
/proc/meminfo: memFree=27590292/32873844 swapFree=7112/7112
[pid=26595] ppid=26591 vsize=334072 CPUtime=1799.54 cores=0,2,4,6
/proc/26595/stat : 26595 (wbo1.72) S 26591 26595 25884 0 -1 4202496 66480 0 0 0 179915 39 0 0 20 0 2 0 333218175 342089728 67447 33554432000 4194304 5964350 140736455917184 140736455916704 4546605 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26595/statm: 83518 67447 193 433 0 83082 0
[pid=26595/tid=26597] ppid=26591 vsize=334072 CPUtime=1795.21 cores=0,2,4,6
/proc/26595/task/26597/stat : 26597 (wbo1.72) R 26591 26595 25884 0 -1 4202560 65709 0 0 0 179455 66 0 0 20 0 2 0 333218175 342089728 67447 33554432000 4194304 5964350 140736455917184 140072689174328 4399976 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.54
Current children cumulated vsize (KiB) 334072

[startup+1800 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 26653
/proc/meminfo: memFree=27590292/32873844 swapFree=7112/7112
[pid=26595] ppid=26591 vsize=334072 CPUtime=1799.64 cores=0,2,4,6
/proc/26595/stat : 26595 (wbo1.72) S 26591 26595 25884 0 -1 4202496 66480 0 0 0 179925 39 0 0 20 0 2 0 333218175 342089728 67447 33554432000 4194304 5964350 140736455917184 140736455916704 4546605 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26595/statm: 83518 67447 193 433 0 83082 0
[pid=26595/tid=26597] ppid=26591 vsize=334072 CPUtime=1795.31 cores=0,2,4,6
/proc/26595/task/26597/stat : 26597 (wbo1.72) R 26591 26595 25884 0 -1 4202560 65709 0 0 0 179465 66 0 0 20 0 2 0 333218175 342089728 67447 33554432000 4194304 5964350 140736455917184 140072689174328 4400011 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.64
Current children cumulated vsize (KiB) 334072

Child status: 255

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 26595 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=658170
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=676897
# CPU time returned by wait4() is 1795.34
# while last known CPU time is 1799.64
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1800.01
CPU time (s): 1799.64
CPU user time (s): 1799.25
CPU system time (s): 0.39
CPU usage (%): 99.9795
Max. virtual memory (cumulated for all children) (KiB): 334072

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.66
system time used= 0.676897
maximum resident set size= 269800
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 66483
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= 92
involuntary context switches= 1961

runsolver used 4.03339 second user time and 8.67368 second system time

The end

Launcher Data 

Begin job on node132 at 2012-06-02 23:02:08
IDJOB=3728112
IDBENCH=78687
IDSOLVER=2315
FILE ID=node132/3728112-1338670928
RUNJOBID= node132-1338670928-26568
PBS_JOBID= 14636480
Free space on /tmp= 71216 MiB

SOLVER NAME= wbo 1.72
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl15_25_pb.cnf.cr--soft-33-100-0.wbo
COMMAND LINE= wbo1.72 -file-format=wbo BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3728112-1338670928/watcher-3728112-1338670928 -o /tmp/evaluation-result-3728112-1338670928/solver-3728112-1338670928 -C 1800 -W 1900 -M 15500  wbo1.72 -file-format=wbo HOME/instance-3728112-1338670928.wbo

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

MD5SUM BENCH= 4fda08e2dc650152cad1c676f7fa8f96
RANDOM SEED=68236983

node132.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.832
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.66
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.832
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	: 5332.55
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.832
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	: 5332.56
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.832
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	: 5332.56
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.832
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	: 5332.55
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.832
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	: 5332.56
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.832
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	: 5332.55
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.832
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	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28288680 kB
Buffers:          594124 kB
Cached:          3068004 kB
SwapCached:         2292 kB
Active:          1562896 kB
Inactive:        2108404 kB
Active(anon):       2040 kB
Inactive(anon):     7120 kB
Active(file):    1560856 kB
Inactive(file):  2101284 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67102708 kB
Dirty:             11308 kB
Writeback:             0 kB
AnonPages:         12200 kB
Mapped:            10428 kB
Shmem:                 8 kB
Slab:             774736 kB
SReclaimable:     215604 kB
SUnreclaim:       559132 kB
KernelStack:        1424 kB
PageTables:         3792 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     103056 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71208 MiB
End job on node132 at 2012-06-02 23:32:09