Trace number 3728159

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.72OPTIMUM 841.93 842.365

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900582300--soft-66-100-0.wbo
MD5SUM1aa357a852c71e740dd551340d4d5189
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark35.3196
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables231
Total number of constraints2707
Number of soft constraints911
Number of constraints which are clauses2684
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint110
Top cost 46278
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 46277
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 683
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c ==============================[ 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-3728159-1338673973.wbo.
0.00/0.00	c Instance file HOME/instance-3728159-1338673973.wbo
0.00/0.00	c File size is 87917 bytes.
0.00/0.01	c Highest Coefficient sum: 683
0.00/0.01	c ============================[ Problem Statistics ]=============================
0.00/0.01	c |                                                                             |
0.00/0.01	c |  Parsing time:          0.01         s                                      |
0.00/0.01	c |  Number Variables:      1142                                                |
0.00/0.01	c |  Number Clauses:        2684                                                |
0.00/0.01	c |  Number Cardinality:    11                                                  |
0.00/0.01	c |  Number PB Constraints: 12                                                  |
0.00/0.01	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 ===============================================================================
746.24/746.62	c | 746.62    | 0  | 1            lb |  0                0                0.00  |
841.93/842.35	c | 842.35    | 0  | 1            ub |  0                0                0.00  |
841.93/842.35	c ===============================================================================
841.93/842.35	c Wall Clock Time: 842.35 s
841.93/842.35	o 1
841.93/842.35	c Best Solution: 1
841.93/842.35	s OPTIMUM FOUND
841.93/842.35	v -x1 -x2 -x3 -x4 x5 -x6 -x7 -x8 -x9 -x10 -x11 x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 x33 -x34 -x35 -x36 x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 x76 -x77 -x78 x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 x140 -x141 -x142 -x143 -x144 x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 x161 -x162 -x163 -x164 -x165 -x166 x167 -x168 -x169 -x170 -x171 -x172 -x173 x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 x189 -x190 -x191 x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 x227 -x228 -x229 -x230 -x231

Verifier Data 

OK	1

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

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

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


[startup+0 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 26740
/proc/meminfo: memFree=27565624/32873844 swapFree=7112/7112
[pid=26740] ppid=26738 vsize=3244 CPUtime=0 cores=1,3,5,7
/proc/26740/stat : 26740 (wbo1.72) R 26738 26740 25884 0 -1 4202496 297 0 0 0 0 0 0 0 20 0 1 0 333522653 3321856 249 33554432000 4194304 5964350 140737030842720 140737030840968 4344327 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/26740/statm: 811 249 162 433 0 353 0

[startup+0.0837491 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 26740
/proc/meminfo: memFree=27565624/32873844 swapFree=7112/7112
[pid=26740] ppid=26738 vsize=83964 CPUtime=0.07 cores=1,3,5,7
/proc/26740/stat : 26740 (wbo1.72) S 26738 26740 25884 0 -1 4202496 1263 0 0 0 7 0 0 0 20 0 2 0 333522653 85979136 1193 33554432000 4194304 5964350 140737030842720 140737030842240 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26740/statm: 20991 1193 193 433 0 20555 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 83964

[startup+0.100206 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 26740
/proc/meminfo: memFree=27565624/32873844 swapFree=7112/7112
[pid=26740] ppid=26738 vsize=83964 CPUtime=0.09 cores=1,3,5,7
/proc/26740/stat : 26740 (wbo1.72) S 26738 26740 25884 0 -1 4202496 1309 0 0 0 9 0 0 0 20 0 2 0 333522653 85979136 1239 33554432000 4194304 5964350 140737030842720 140737030842240 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26740/statm: 20991 1239 193 433 0 20555 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 83964

[startup+0.300115 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 26740
/proc/meminfo: memFree=27565624/32873844 swapFree=7112/7112
[pid=26740] ppid=26738 vsize=83964 CPUtime=0.29 cores=1,3,5,7
/proc/26740/stat : 26740 (wbo1.72) S 26738 26740 25884 0 -1 4202496 1747 0 0 0 29 0 0 0 20 0 2 0 333522653 85979136 1677 33554432000 4194304 5964350 140737030842720 140737030842240 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26740/statm: 20991 1677 193 433 0 20555 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 83964

[startup+0.700115 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 26740
/proc/meminfo: memFree=27565624/32873844 swapFree=7112/7112
[pid=26740] ppid=26738 vsize=84108 CPUtime=0.69 cores=1,3,5,7
/proc/26740/stat : 26740 (wbo1.72) S 26738 26740 25884 0 -1 4202496 2365 0 0 0 69 0 0 0 20 0 2 0 333522653 86126592 2295 33554432000 4194304 5964350 140737030842720 140737030842240 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26740/statm: 21027 2295 193 433 0 20591 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 84108

[startup+1.50022 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 26742
/proc/meminfo: memFree=27556424/32873844 swapFree=7112/7112
[pid=26740] ppid=26738 vsize=84108 CPUtime=1.49 cores=1,3,5,7
/proc/26740/stat : 26740 (wbo1.72) S 26738 26740 25884 0 -1 4202496 2889 0 0 0 149 0 0 0 20 0 2 0 333522653 86126592 2819 33554432000 4194304 5964350 140737030842720 140737030842240 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26740/statm: 21027 2819 193 433 0 20591 0
[pid=26740/tid=26742] ppid=26738 vsize=84108 CPUtime=1.47 cores=1,3,5,7
/proc/26740/task/26742/stat : 26742 (wbo1.72) R 26738 26740 25884 0 -1 4202560 2068 0 0 0 147 0 0 0 20 0 2 0 333522654 86126592 2819 33554432000 4194304 5964350 140737030842720 140713356605480 5136410 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 84108

[startup+3.10024 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 26742
/proc/meminfo: memFree=27550284/32873844 swapFree=7112/7112
[pid=26740] ppid=26738 vsize=84180 CPUtime=3.09 cores=1,3,5,7
/proc/26740/stat : 26740 (wbo1.72) S 26738 26740 25884 0 -1 4202496 4467 0 0 0 308 1 0 0 20 0 2 0 333522653 86200320 4397 33554432000 4194304 5964350 140737030842720 140737030842240 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26740/statm: 21045 4397 193 433 0 20609 0
[pid=26740/tid=26742] ppid=26738 vsize=84180 CPUtime=3.06 cores=1,3,5,7
/proc/26740/task/26742/stat : 26742 (wbo1.72) R 26738 26740 25884 0 -1 4202560 3646 0 0 0 305 1 0 0 20 0 2 0 333522654 86200320 4397 33554432000 4194304 5964350 140737030842720 140713356605432 5136340 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 84180

[startup+6.30028 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 26742
/proc/meminfo: memFree=27536272/32873844 swapFree=7112/7112
[pid=26740] ppid=26738 vsize=84288 CPUtime=6.28 cores=1,3,5,7
/proc/26740/stat : 26740 (wbo1.72) S 26738 26740 25884 0 -1 4202496 7554 0 0 0 626 2 0 0 20 0 2 0 333522653 86310912 7484 33554432000 4194304 5964350 140737030842720 140737030842240 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26740/statm: 21072 7484 193 433 0 20636 0
[pid=26740/tid=26742] ppid=26738 vsize=84288 CPUtime=6.26 cores=1,3,5,7
/proc/26740/task/26742/stat : 26742 (wbo1.72) R 26738 26740 25884 0 -1 4202560 6733 0 0 0 624 2 0 0 20 0 2 0 333522654 86310912 7484 33554432000 4194304 5964350 140737030842720 140713356605432 5136410 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 84288

[startup+12.7003 s]
/proc/loadavg: 2.01 2.01 2.00 3/182 26753
/proc/meminfo: memFree=27508728/32873844 swapFree=7112/7112
[pid=26740] ppid=26738 vsize=84448 CPUtime=12.68 cores=1,3,5,7
/proc/26740/stat : 26740 (wbo1.72) S 26738 26740 25884 0 -1 4202496 12602 0 0 0 1264 4 0 0 20 0 2 0 333522653 86474752 12532 33554432000 4194304 5964350 140737030842720 140737030842240 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26740/statm: 21112 12532 193 433 0 20676 0
[pid=26740/tid=26742] ppid=26738 vsize=84448 CPUtime=12.64 cores=1,3,5,7
/proc/26740/task/26742/stat : 26742 (wbo1.72) R 26738 26740 25884 0 -1 4202560 11781 0 0 0 1260 4 0 0 20 0 2 0 333522654 86474752 12532 33554432000 4194304 5964350 140737030842720 140713356605432 4400321 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 84448

[startup+25.5003 s]
/proc/loadavg: 2.01 2.01 2.00 3/182 26753
/proc/meminfo: memFree=27461624/32873844 swapFree=7112/7112
[pid=26740] ppid=26738 vsize=149984 CPUtime=25.48 cores=1,3,5,7
/proc/26740/stat : 26740 (wbo1.72) S 26738 26740 25884 0 -1 4202496 21097 0 0 0 2541 7 0 0 20 0 2 0 333522653 153583616 21027 33554432000 4194304 5964350 140737030842720 140737030842240 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26740/statm: 37496 21027 193 433 0 37060 0
[pid=26740/tid=26742] ppid=26738 vsize=149984 CPUtime=25.4 cores=1,3,5,7
/proc/26740/task/26742/stat : 26742 (wbo1.72) R 26738 26740 25884 0 -1 4202560 20276 0 0 0 2533 7 0 0 20 0 2 0 333522654 153583616 21027 33554432000 4194304 5964350 140737030842720 140713356605432 4399998 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 149984

[startup+51.1003 s]
/proc/loadavg: 2.06 2.02 2.00 3/182 26753
/proc/meminfo: memFree=27413264/32873844 swapFree=7112/7112
[pid=26740] ppid=26738 vsize=150368 CPUtime=51.08 cores=1,3,5,7
/proc/26740/stat : 26740 (wbo1.72) S 26738 26740 25884 0 -1 4202496 32263 0 0 0 5097 11 0 0 20 0 2 0 333522653 153976832 32193 33554432000 4194304 5964350 140737030842720 140737030842240 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26740/statm: 37592 32193 193 433 0 37156 0
[pid=26740/tid=26742] ppid=26738 vsize=150368 CPUtime=50.94 cores=1,3,5,7
/proc/26740/task/26742/stat : 26742 (wbo1.72) R 26738 26740 25884 0 -1 4202560 31442 0 0 0 5084 10 0 0 20 0 2 0 333522654 153976832 32193 33554432000 4194304 5964350 140737030842720 140713356605240 4400017 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 150368

[startup+102.307 s]
/proc/loadavg: 2.02 2.02 2.00 3/181 26753
/proc/meminfo: memFree=27383512/32873844 swapFree=7112/7112
[pid=26740] ppid=26738 vsize=216192 CPUtime=102.27 cores=1,3,5,7
/proc/26740/stat : 26740 (wbo1.72) S 26738 26740 25884 0 -1 4202496 39666 0 0 0 10213 14 0 0 20 0 2 0 333522653 221380608 39596 33554432000 4194304 5964350 140737030842720 140737030842240 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26740/statm: 54048 39596 193 433 0 53612 0
[pid=26740/tid=26742] ppid=26738 vsize=216192 CPUtime=102 cores=1,3,5,7
/proc/26740/task/26742/stat : 26742 (wbo1.72) R 26738 26740 25884 0 -1 4202560 38845 0 0 0 10185 15 0 0 20 0 2 0 333522654 221380608 39596 33554432000 4194304 5964350 140737030842720 140713356605480 5136340 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 216192

[startup+162.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 26753
/proc/meminfo: memFree=27315560/32873844 swapFree=7112/7112
[pid=26740] ppid=26738 vsize=282880 CPUtime=162.25 cores=1,3,5,7
/proc/26740/stat : 26740 (wbo1.72) S 26738 26740 25884 0 -1 4202496 56591 0 0 0 16202 23 0 0 20 0 2 0 333522653 289669120 56521 33554432000 4194304 5964350 140737030842720 140737030842240 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26740/statm: 70720 56521 193 433 0 70284 0
[pid=26740/tid=26742] ppid=26738 vsize=282880 CPUtime=161.84 cores=1,3,5,7
/proc/26740/task/26742/stat : 26742 (wbo1.72) R 26738 26740 25884 0 -1 4202560 55770 0 0 0 16159 25 0 0 20 0 2 0 333522654 289669120 56521 33554432000 4194304 5964350 140737030842720 140713356605432 4399832 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 282880

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 26753
/proc/meminfo: memFree=27290200/32873844 swapFree=7112/7112
[pid=26740] ppid=26738 vsize=283600 CPUtime=222.23 cores=1,3,5,7
/proc/26740/stat : 26740 (wbo1.72) S 26738 26740 25884 0 -1 4202496 62786 0 0 0 22198 25 0 0 20 0 2 0 333522653 290406400 62714 33554432000 4194304 5964350 140737030842720 140737030842240 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26740/statm: 70900 62714 193 433 0 70464 0
[pid=26740/tid=26742] ppid=26738 vsize=283600 CPUtime=221.67 cores=1,3,5,7
/proc/26740/task/26742/stat : 26742 (wbo1.72) R 26738 26740 25884 0 -1 4202560 61965 0 0 0 22139 28 0 0 20 0 2 0 333522654 290406400 62714 33554432000 4194304 5964350 140737030842720 140713356605432 4220672 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 283600

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 26754
/proc/meminfo: memFree=27268536/32873844 swapFree=7112/7112
[pid=26740] ppid=26738 vsize=349424 CPUtime=282.17 cores=1,3,5,7
/proc/26740/stat : 26740 (wbo1.72) S 26738 26740 25884 0 -1 4202496 68132 0 0 0 28189 28 0 0 20 0 2 0 333522653 357810176 68040 33554432000 4194304 5964350 140737030842720 140737030842240 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26740/statm: 87356 68040 193 433 0 86920 0
[pid=26740/tid=26742] ppid=26738 vsize=349424 CPUtime=281.47 cores=1,3,5,7
/proc/26740/task/26742/stat : 26742 (wbo1.72) R 26738 26740 25884 0 -1 4202560 67311 0 0 0 28115 32 0 0 20 0 2 0 333522654 357810176 68040 33554432000 4194304 5964350 140737030842720 140713356605480 4399840 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 349424

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 26754
/proc/meminfo: memFree=27251436/32873844 swapFree=7112/7112
[pid=26740] ppid=26738 vsize=349424 CPUtime=342.11 cores=1,3,5,7
/proc/26740/stat : 26740 (wbo1.72) S 26738 26740 25884 0 -1 4202496 72633 0 0 0 34180 31 0 0 20 0 2 0 333522653 357810176 72518 33554432000 4194304 5964350 140737030842720 140737030842240 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26740/statm: 87356 72518 193 433 0 86920 0
[pid=26740/tid=26742] ppid=26738 vsize=349424 CPUtime=341.27 cores=1,3,5,7
/proc/26740/task/26742/stat : 26742 (wbo1.72) R 26738 26740 25884 0 -1 4202560 71812 0 0 0 34091 36 0 0 20 0 2 0 333522654 357810176 72518 33554432000 4194304 5964350 140737030842720 140713356605432 4399840 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 342.11
Current children cumulated vsize (KiB) 349424

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 26754
/proc/meminfo: memFree=27197996/32873844 swapFree=7112/7112
[pid=26740] ppid=26738 vsize=415680 CPUtime=402.07 cores=1,3,5,7
/proc/26740/stat : 26740 (wbo1.72) S 26738 26740 25884 0 -1 4202496 85192 0 0 0 40170 37 0 0 20 0 2 0 333522653 425656320 85747 33554432000 4194304 5964350 140737030842720 140737030842240 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26740/statm: 103920 85747 193 433 0 103484 0
[pid=26740/tid=26742] ppid=26738 vsize=415680 CPUtime=401.09 cores=1,3,5,7
/proc/26740/task/26742/stat : 26742 (wbo1.72) R 26738 26740 25884 0 -1 4202560 84371 0 0 0 40066 43 0 0 20 0 2 0 333522654 425656320 85747 33554432000 4194304 5964350 140737030842720 140713356605480 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 402.07
Current children cumulated vsize (KiB) 415680

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 26757
/proc/meminfo: memFree=27185624/32873844 swapFree=7112/7112
[pid=26740] ppid=26738 vsize=416364 CPUtime=462.05 cores=1,3,5,7
/proc/26740/stat : 26740 (wbo1.72) S 26738 26740 25884 0 -1 4202496 88192 0 0 0 46167 38 0 0 20 0 2 0 333522653 426356736 88747 33554432000 4194304 5964350 140737030842720 140737030842240 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26740/statm: 104091 88747 193 433 0 103655 0
[pid=26740/tid=26742] ppid=26738 vsize=416364 CPUtime=460.93 cores=1,3,5,7
/proc/26740/task/26742/stat : 26742 (wbo1.72) R 26738 26740 25884 0 -1 4202560 87371 0 0 0 46048 45 0 0 20 0 2 0 333522654 426356736 88747 33554432000 4194304 5964350 140737030842720 140713356605240 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 462.05
Current children cumulated vsize (KiB) 416364

[startup+522.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/182 26780
/proc/meminfo: memFree=27157636/32873844 swapFree=7112/7112
[pid=26740] ppid=26738 vsize=417156 CPUtime=522.04 cores=1,3,5,7
/proc/26740/stat : 26740 (wbo1.72) S 26738 26740 25884 0 -1 4202496 95161 0 0 0 52161 43 0 0 20 0 2 0 333522653 427167744 95716 33554432000 4194304 5964350 140737030842720 140737030842240 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26740/statm: 104289 95716 193 433 0 103853 0
[pid=26740/tid=26742] ppid=26738 vsize=417156 CPUtime=520.77 cores=1,3,5,7
/proc/26740/task/26742/stat : 26742 (wbo1.72) R 26738 26740 25884 0 -1 4202560 94340 0 0 0 52027 50 0 0 20 0 2 0 333522654 427167744 95716 33554432000 4194304 5964350 140737030842720 140713356605432 4400011 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 522.04
Current children cumulated vsize (KiB) 417156

[startup+582.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 26820
/proc/meminfo: memFree=27756436/32873844 swapFree=7112/7112
[pid=26740] ppid=26738 vsize=417624 CPUtime=582.01 cores=1,3,5,7
/proc/26740/stat : 26740 (wbo1.72) S 26738 26740 25884 0 -1 4202496 95324 0 0 0 58158 43 0 0 20 0 2 0 333522653 427646976 95870 33554432000 4194304 5964350 140737030842720 140737030842240 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26740/statm: 104406 95870 193 433 0 103970 0
[pid=26740/tid=26742] ppid=26738 vsize=417624 CPUtime=580.59 cores=1,3,5,7
/proc/26740/task/26742/stat : 26742 (wbo1.72) R 26738 26740 25884 0 -1 4202560 94503 0 0 0 58008 51 0 0 20 0 2 0 333522654 427646976 95870 33554432000 4194304 5964350 140737030842720 140713356605480 4220672 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 582.01
Current children cumulated vsize (KiB) 417624

[startup+642.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/181 26820
/proc/meminfo: memFree=27559388/32873844 swapFree=7112/7112
[pid=26740] ppid=26738 vsize=484384 CPUtime=641.97 cores=1,3,5,7
/proc/26740/stat : 26740 (wbo1.72) S 26738 26740 25884 0 -1 4202496 107397 0 0 0 64147 50 0 0 20 0 2 0 333522653 496009216 107924 33554432000 4194304 5964350 140737030842720 140737030842240 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26740/statm: 121096 107924 193 433 0 120660 0
[pid=26740/tid=26742] ppid=26738 vsize=484384 CPUtime=640.41 cores=1,3,5,7
/proc/26740/task/26742/stat : 26742 (wbo1.72) R 26738 26740 25884 0 -1 4202560 106576 0 0 0 63982 59 0 0 20 0 2 0 333522654 496009216 107924 33554432000 4194304 5964350 140737030842720 140713356605432 4391080 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 641.97
Current children cumulated vsize (KiB) 484384

[startup+702.3 s]
/proc/loadavg: 2.09 2.03 2.00 3/181 26820
/proc/meminfo: memFree=27498628/32873844 swapFree=7112/7112
[pid=26740] ppid=26738 vsize=551252 CPUtime=701.95 cores=1,3,5,7
/proc/26740/stat : 26740 (wbo1.72) S 26738 26740 25884 0 -1 4202496 117855 0 0 0 70140 55 0 0 20 0 2 0 333522653 564482048 118382 33554432000 4194304 5964350 140737030842720 140737030842240 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26740/statm: 137813 118382 193 433 0 137377 0
[pid=26740/tid=26742] ppid=26738 vsize=551252 CPUtime=700.24 cores=1,3,5,7
/proc/26740/task/26742/stat : 26742 (wbo1.72) R 26738 26740 25884 0 -1 4202560 117034 0 0 0 69960 64 0 0 20 0 2 0 333522654 564482048 118382 33554432000 4194304 5964350 140737030842720 140713356605432 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 701.95
Current children cumulated vsize (KiB) 551252

[startup+762.307 s]
/proc/loadavg: 2.03 2.02 2.00 3/181 26820
/proc/meminfo: memFree=27428444/32873844 swapFree=7112/7112
[pid=26740] ppid=26738 vsize=542716 CPUtime=761.95 cores=1,3,5,7
/proc/26740/stat : 26740 (wbo1.72) S 26738 26740 25884 0 -1 4202496 117949 0 0 0 76140 55 0 0 20 0 2 0 333522653 555741184 116185 33554432000 4194304 5964350 140737030842720 140737030842240 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26740/statm: 135679 116185 197 433 0 135243 0
[pid=26740/tid=26742] ppid=26738 vsize=542716 CPUtime=760.09 cores=1,3,5,7
/proc/26740/task/26742/stat : 26742 (wbo1.72) R 26738 26740 25884 0 -1 4202560 117128 0 0 0 75943 66 0 0 20 0 2 0 333522654 555741184 116185 33554432000 4194304 5964350 140737030842720 140713356606392 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 761.95
Current children cumulated vsize (KiB) 542716

[startup+822.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/181 26820
/proc/meminfo: memFree=27392272/32873844 swapFree=7112/7112
[pid=26740] ppid=26738 vsize=542716 CPUtime=821.93 cores=1,3,5,7
/proc/26740/stat : 26740 (wbo1.72) S 26738 26740 25884 0 -1 4202496 117950 0 0 0 82138 55 0 0 20 0 2 0 333522653 555741184 116186 33554432000 4194304 5964350 140737030842720 140737030842240 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26740/statm: 135679 116186 197 433 0 135243 0
[pid=26740/tid=26742] ppid=26738 vsize=542716 CPUtime=819.92 cores=1,3,5,7
/proc/26740/task/26742/stat : 26742 (wbo1.72) R 26738 26740 25884 0 -1 4202560 117129 0 0 0 81925 67 0 0 20 0 2 0 333522654 555741184 116186 33554432000 4194304 5964350 140737030842720 140713356606392 4399976 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 821.93
Current children cumulated vsize (KiB) 542716

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

[startup+831.9 s]
/proc/loadavg: 2.01 2.02 2.00 3/180 26820
/proc/meminfo: memFree=27392512/32873844 swapFree=7112/7112
[pid=26740] ppid=26738 vsize=542716 CPUtime=831.53 cores=1,3,5,7
/proc/26740/stat : 26740 (wbo1.72) S 26738 26740 25884 0 -1 4202496 117950 0 0 0 83098 55 0 0 20 0 2 0 333522653 555741184 116186 33554432000 4194304 5964350 140737030842720 140737030842240 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26740/statm: 135679 116186 197 433 0 135243 0
[pid=26740/tid=26742] ppid=26738 vsize=542716 CPUtime=829.5 cores=1,3,5,7
/proc/26740/task/26742/stat : 26742 (wbo1.72) R 26738 26740 25884 0 -1 4202560 117129 0 0 0 82883 67 0 0 20 0 2 0 333522654 555741184 116186 33554432000 4194304 5964350 140737030842720 140713356606392 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 831.53
Current children cumulated vsize (KiB) 542716

[startup+838.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/181 26821
/proc/meminfo: memFree=27392428/32873844 swapFree=7112/7112
[pid=26740] ppid=26738 vsize=542716 CPUtime=837.93 cores=1,3,5,7
/proc/26740/stat : 26740 (wbo1.72) S 26738 26740 25884 0 -1 4202496 117951 0 0 0 83738 55 0 0 20 0 2 0 333522653 555741184 116187 33554432000 4194304 5964350 140737030842720 140737030842240 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26740/statm: 135679 116187 197 433 0 135243 0
[pid=26740/tid=26742] ppid=26738 vsize=542716 CPUtime=835.88 cores=1,3,5,7
/proc/26740/task/26742/stat : 26742 (wbo1.72) R 26738 26740 25884 0 -1 4202560 117130 0 0 0 83521 67 0 0 20 0 2 0 333522654 555741184 116187 33554432000 4194304 5964350 140737030842720 140713356606392 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 837.93
Current children cumulated vsize (KiB) 542716

[startup+839.9 s]
/proc/loadavg: 2.01 2.02 2.00 3/181 26821
/proc/meminfo: memFree=27392428/32873844 swapFree=7112/7112
[pid=26740] ppid=26738 vsize=542716 CPUtime=839.53 cores=1,3,5,7
/proc/26740/stat : 26740 (wbo1.72) S 26738 26740 25884 0 -1 4202496 117951 0 0 0 83898 55 0 0 20 0 2 0 333522653 555741184 116187 33554432000 4194304 5964350 140737030842720 140737030842240 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26740/statm: 135679 116187 197 433 0 135243 0
[pid=26740/tid=26742] ppid=26738 vsize=542716 CPUtime=837.48 cores=1,3,5,7
/proc/26740/task/26742/stat : 26742 (wbo1.72) R 26738 26740 25884 0 -1 4202560 117130 0 0 0 83681 67 0 0 20 0 2 0 333522654 555741184 116187 33554432000 4194304 5964350 140737030842720 140713356606392 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 839.53
Current children cumulated vsize (KiB) 542716

[startup+841.507 s]
/proc/loadavg: 2.01 2.02 2.00 3/181 26821
/proc/meminfo: memFree=27383872/32873844 swapFree=7112/7112
[pid=26740] ppid=26738 vsize=542716 CPUtime=841.14 cores=1,3,5,7
/proc/26740/stat : 26740 (wbo1.72) S 26738 26740 25884 0 -1 4202496 117951 0 0 0 84059 55 0 0 20 0 2 0 333522653 555741184 116187 33554432000 4194304 5964350 140737030842720 140737030842240 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26740/statm: 135679 116187 197 433 0 135243 0
[pid=26740/tid=26742] ppid=26738 vsize=542716 CPUtime=839.08 cores=1,3,5,7
/proc/26740/task/26742/stat : 26742 (wbo1.72) R 26738 26740 25884 0 -1 4202560 117130 0 0 0 83841 67 0 0 20 0 2 0 333522654 555741184 116187 33554432000 4194304 5964350 140737030842720 140713356606392 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 841.14
Current children cumulated vsize (KiB) 542716

[startup+841.9 s]
/proc/loadavg: 2.01 2.02 2.00 3/181 26821
/proc/meminfo: memFree=27383872/32873844 swapFree=7112/7112
[pid=26740] ppid=26738 vsize=542716 CPUtime=841.53 cores=1,3,5,7
/proc/26740/stat : 26740 (wbo1.72) S 26738 26740 25884 0 -1 4202496 117951 0 0 0 84098 55 0 0 20 0 2 0 333522653 555741184 116187 33554432000 4194304 5964350 140737030842720 140737030842240 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26740/statm: 135679 116187 197 433 0 135243 0
[pid=26740/tid=26742] ppid=26738 vsize=542716 CPUtime=839.47 cores=1,3,5,7
/proc/26740/task/26742/stat : 26742 (wbo1.72) R 26738 26740 25884 0 -1 4202560 117130 0 0 0 83880 67 0 0 20 0 2 0 333522654 555741184 116187 33554432000 4194304 5964350 140737030842720 140713356606392 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 841.53
Current children cumulated vsize (KiB) 542716

[startup+842.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/181 26821
/proc/meminfo: memFree=27383872/32873844 swapFree=7112/7112
[pid=26740] ppid=26738 vsize=542716 CPUtime=841.93 cores=1,3,5,7
/proc/26740/stat : 26740 (wbo1.72) S 26738 26740 25884 0 -1 4202496 117951 0 0 0 84138 55 0 0 20 0 2 0 333522653 555741184 116187 33554432000 4194304 5964350 140737030842720 140737030842240 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26740/statm: 135679 116187 197 433 0 135243 0
[pid=26740/tid=26742] ppid=26738 vsize=542716 CPUtime=839.87 cores=1,3,5,7
/proc/26740/task/26742/stat : 26742 (wbo1.72) R 26738 26740 25884 0 -1 4202560 117130 0 0 0 83920 67 0 0 20 0 2 0 333522654 555741184 116187 33554432000 4194304 5964350 140737030842720 140713356606392 4388238 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 841.93
Current children cumulated vsize (KiB) 542716

Child status: 255

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 26740 and gives
#  childrusage.ru_utime.tv_sec=839
#  childrusage.ru_utime.tv_usec=270411
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=688895
# CPU time returned by wait4() is 839.959
# while last known CPU time is 841.93
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 842.365
CPU time (s): 841.93
CPU user time (s): 841.38
CPU system time (s): 0.55
CPU usage (%): 99.9483
Max. virtual memory (cumulated for all children) (KiB): 551612

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 839.27
system time used= 0.688895
maximum resident set size= 473900
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 117954
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= 176
involuntary context switches= 1295

runsolver used 1.81672 second user time and 4.05938 second system time

The end

Launcher Data 

Begin job on node132 at 2012-06-02 23:52:53
IDJOB=3728159
IDBENCH=78896
IDSOLVER=2315
FILE ID=node132/3728159-1338673973
RUNJOBID= node132-1338670928-26569
PBS_JOBID= 14636480
Free space on /tmp= 71212 MiB

SOLVER NAME= wbo 1.72
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900582300--soft-66-100-0.wbo
COMMAND LINE= wbo1.72 -file-format=wbo BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3728159-1338673973/watcher-3728159-1338673973 -o /tmp/evaluation-result-3728159-1338673973/solver-3728159-1338673973 -C 1800 -W 1900 -M 15500  wbo1.72 -file-format=wbo HOME/instance-3728159-1338673973.wbo

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

MD5SUM BENCH= 1aa357a852c71e740dd551340d4d5189
RANDOM SEED=391887799

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:        27566244 kB
Buffers:          594624 kB
Cached:          3068028 kB
SwapCached:         2292 kB
Active:          2283452 kB
Inactive:        2108452 kB
Active(anon):     721460 kB
Inactive(anon):     7120 kB
Active(file):    1561992 kB
Inactive(file):  2101332 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67102708 kB
Dirty:              5448 kB
Writeback:             0 kB
AnonPages:        729416 kB
Mapped:            11776 kB
Shmem:                 8 kB
Slab:             773828 kB
SReclaimable:     215420 kB
SUnreclaim:       558408 kB
KernelStack:        1504 kB
PageTables:         5332 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     147620 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:    604160 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-03 00:06:56