Trace number 3728572

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
pwbo 2.02OPTIMUM 426.38 213.425

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900670675--soft-33-100-0.wbo
MD5SUM1266a85a20696deb0d7aee67f4c2d0a0
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark14.6588
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 constraints1802
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 91108
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 91107
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 671
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

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c ==============================[ Solver Version ]===============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |  pwbo:                     2.02 beta - May, 2012                            |
0.00/0.00	c |                                                                             |
0.00/0.00	c Parsing wbo file format. File HOME/instance-3728572-1338672368.wbo.
0.00/0.00	c Instance file HOME/instance-3728572-1338672368.wbo
0.00/0.00	c File size is 92314 bytes.
0.00/0.00	c Highest Coefficient sum: 671
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:      2033                                                |
0.00/0.01	c |  Number Clauses:        2684                                                |
0.00/0.01	c |  Number Cardinality:    9                                                   |
0.00/0.01	c |  Number PB Constraints: 14                                                  |
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 ===============================================================================
426.38/213.37	o 638
426.38/213.37	o 597
426.38/213.37	o 589
426.38/213.37	o 416
426.38/213.37	o 325
426.38/213.37	o 316
426.38/213.37	o 302
426.38/213.37	o 276
426.38/213.37	o 244
426.38/213.37	o 234
426.38/213.37	o 213
426.38/213.37	o 197
426.38/213.37	o 163
426.38/213.37	o 149
426.38/213.37	o 137
426.38/213.37	o 134
426.38/213.37	o 111
426.38/213.37	o 90
426.38/213.37	o 85
426.38/213.37	o 71
426.38/213.37	o 62
426.38/213.37	o 59
426.38/213.37	o 50
426.38/213.37	o 46
426.38/213.37	o 33
426.38/213.37	o 29
426.38/213.37	o 21
426.38/213.37	o 19
426.38/213.37	o 16
426.38/213.37	o 10
426.38/213.37	o 9
426.38/213.37	o 8
426.38/213.37	o 2
426.38/213.37	c ===============================================================================
426.38/213.37	c Wall Clock Time: 213.38 s
426.38/213.37	c Best Solution: 2
426.38/213.37	s OPTIMUM FOUND
426.38/213.37	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	2

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-3728572-1338672368/watcher-3728572-1338672368 -o /tmp/evaluation-result-3728572-1338672368/solver-3728572-1338672368 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=wbo -verbosity=0 HOME/instance-3728572-1338672368.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: 3.69 3.95 3.84 2/169 24521
/proc/meminfo: memFree=28456940/32873852 swapFree=7624/7624
[pid=24521] ppid=24519 vsize=4460 CPUtime=0 cores=0,2,4,6
/proc/24521/stat : 24521 (pwbo2.02) R 24519 24521 23631 0 -1 4202496 423 0 0 0 0 0 0 0 20 0 1 0 333362216 4567040 376 33554432000 4194304 5964478 140734114393872 140733715420760 5179584 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/24521/statm: 1115 379 167 433 0 656 0

[startup+0.0560469 s]
/proc/loadavg: 3.69 3.95 3.84 2/169 24521
/proc/meminfo: memFree=28456940/32873852 swapFree=7624/7624
[pid=24521] ppid=24519 vsize=163768 CPUtime=0.09 cores=0,2,4,6
/proc/24521/stat : 24521 (pwbo2.02) S 24519 24521 23631 0 -1 4202496 2595 0 0 0 9 0 0 0 20 0 3 0 333362216 167698432 2082 33554432000 4194304 5964478 140734114393872 140734114393392 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24521/statm: 40942 2082 198 433 0 40506 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 163768

[startup+0.100175 s]
/proc/loadavg: 3.69 3.95 3.84 2/169 24521
/proc/meminfo: memFree=28456940/32873852 swapFree=7624/7624
[pid=24521] ppid=24519 vsize=163768 CPUtime=0.17 cores=0,2,4,6
/proc/24521/stat : 24521 (pwbo2.02) S 24519 24521 23631 0 -1 4202496 3111 0 0 0 17 0 0 0 20 0 3 0 333362216 167698432 2314 33554432000 4194304 5964478 140734114393872 140734114393392 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24521/statm: 40942 2314 198 433 0 40506 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 163768

[startup+0.30013 s]
/proc/loadavg: 3.69 3.95 3.84 2/169 24521
/proc/meminfo: memFree=28456940/32873852 swapFree=7624/7624
[pid=24521] ppid=24519 vsize=163768 CPUtime=0.57 cores=0,2,4,6
/proc/24521/stat : 24521 (pwbo2.02) S 24519 24521 23631 0 -1 4202496 4129 0 0 0 57 0 0 0 20 0 3 0 333362216 167698432 3047 33554432000 4194304 5964478 140734114393872 140734114393392 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24521/statm: 40942 3047 198 433 0 40506 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 163768

[startup+0.700139 s]
/proc/loadavg: 3.69 3.95 3.84 2/169 24521
/proc/meminfo: memFree=28456940/32873852 swapFree=7624/7624
[pid=24521] ppid=24519 vsize=163768 CPUtime=1.37 cores=0,2,4,6
/proc/24521/stat : 24521 (pwbo2.02) S 24519 24521 23631 0 -1 4202496 5456 0 0 0 136 1 0 0 20 0 3 0 333362216 167698432 4158 33554432000 4194304 5964478 140734114393872 140734114393392 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24521/statm: 40942 4158 198 433 0 40506 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 163768

[startup+1.50025 s]
/proc/loadavg: 3.69 3.95 3.84 5/179 24540
/proc/meminfo: memFree=28421008/32873852 swapFree=7624/7624
[pid=24521] ppid=24519 vsize=163900 CPUtime=2.96 cores=0,2,4,6
/proc/24521/stat : 24521 (pwbo2.02) S 24519 24521 23631 0 -1 4202496 6727 0 0 0 295 1 0 0 20 0 3 0 333362216 167833600 5428 33554432000 4194304 5964478 140734114393872 140734114393392 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24521/statm: 40975 5428 198 433 0 40539 0
[pid=24521/tid=24523] ppid=24519 vsize=163900 CPUtime=1.47 cores=0,2,4,6
/proc/24521/task/24523/stat : 24523 (pwbo2.02) R 24519 24521 23631 0 -1 4202560 2748 0 0 0 145 2 0 0 20 0 3 0 333362217 167833600 5428 33554432000 4194304 5964478 140734114393872 139986353096688 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=24521/tid=24524] ppid=24519 vsize=163900 CPUtime=1.47 cores=0,2,4,6
/proc/24521/task/24524/stat : 24524 (pwbo2.02) R 24519 24521 23631 0 -1 4202560 2957 0 0 0 147 0 0 0 20 0 3 0 333362217 167833600 5428 33554432000 4194304 5964478 140734114393872 139986342607160 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 163900

[startup+3.10019 s]
/proc/loadavg: 3.69 3.95 3.84 5/179 24540
/proc/meminfo: memFree=28406872/32873852 swapFree=7624/7624
[pid=24521] ppid=24519 vsize=164032 CPUtime=6.16 cores=0,2,4,6
/proc/24521/stat : 24521 (pwbo2.02) S 24519 24521 23631 0 -1 4202496 9149 0 0 0 613 3 0 0 20 0 3 0 333362216 167968768 7733 33554432000 4194304 5964478 140734114393872 140734114393392 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24521/statm: 41008 7733 198 433 0 40572 0
[pid=24521/tid=24523] ppid=24519 vsize=164032 CPUtime=3.06 cores=0,2,4,6
/proc/24521/task/24523/stat : 24523 (pwbo2.02) R 24519 24521 23631 0 -1 4202560 4399 0 0 0 303 3 0 0 20 0 3 0 333362217 167968768 7733 33554432000 4194304 5964478 140734114393872 139986353096696 4399920 0 0 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=24521/tid=24524] ppid=24519 vsize=164032 CPUtime=3.07 cores=0,2,4,6
/proc/24521/task/24524/stat : 24524 (pwbo2.02) R 24519 24521 23631 0 -1 4202560 3728 0 0 0 307 0 0 0 20 0 3 0 333362217 167968768 7733 33554432000 4194304 5964478 140734114393872 139986342607512 4400097 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 164032

[startup+6.30028 s]
/proc/loadavg: 3.71 3.95 3.84 5/179 24540
/proc/meminfo: memFree=28357388/32873852 swapFree=7624/7624
[pid=24521] ppid=24519 vsize=164576 CPUtime=12.55 cores=0,2,4,6
/proc/24521/stat : 24521 (pwbo2.02) S 24519 24521 23631 0 -1 4202496 18869 0 0 0 1248 7 0 0 20 0 3 0 333362216 168525824 17453 33554432000 4194304 5964478 140734114393872 140734114393392 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24521/statm: 41144 17453 198 433 0 40708 0
[pid=24521/tid=24523] ppid=24519 vsize=164576 CPUtime=6.24 cores=0,2,4,6
/proc/24521/task/24523/stat : 24523 (pwbo2.02) R 24519 24521 23631 0 -1 4202560 10384 0 0 0 619 5 0 0 20 0 3 0 333362217 168525824 17454 33554432000 4194304 5964478 140734114393872 139986353096696 5136420 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=24521/tid=24524] ppid=24519 vsize=164576 CPUtime=6.26 cores=0,2,4,6
/proc/24521/task/24524/stat : 24524 (pwbo2.02) R 24519 24521 23631 0 -1 4202560 7464 0 0 0 625 1 0 0 20 0 3 0 333362217 168525824 17454 33554432000 4194304 5964478 140734114393872 139986342607160 4221984 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 164576

[startup+12.7003 s]
/proc/loadavg: 3.73 3.95 3.84 5/179 24540
/proc/meminfo: memFree=28250000/32873852 swapFree=7624/7624
[pid=24521] ppid=24519 vsize=230984 CPUtime=25.34 cores=0,2,4,6
/proc/24521/stat : 24521 (pwbo2.02) S 24519 24521 23631 0 -1 4202496 33450 0 0 0 2523 11 0 0 20 0 3 0 333362216 236527616 32177 33554432000 4194304 5964478 140734114393872 140734114393392 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24521/statm: 57746 32177 198 433 0 57310 0
[pid=24521/tid=24523] ppid=24519 vsize=230984 CPUtime=12.62 cores=0,2,4,6
/proc/24521/task/24523/stat : 24523 (pwbo2.02) R 24519 24521 23631 0 -1 4202560 18666 0 0 0 1255 7 0 0 20 0 3 0 333362217 236527616 32177 33554432000 4194304 5964478 140734114393872 139986353096608 4388346 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=24521/tid=24524] ppid=24519 vsize=230984 CPUtime=12.64 cores=0,2,4,6
/proc/24521/task/24524/stat : 24524 (pwbo2.02) R 24519 24521 23631 0 -1 4202560 13762 0 0 0 1261 3 0 0 20 0 3 0 333362217 236527616 32177 33554432000 4194304 5964478 140734114393872 139986342607160 4400091 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 230984

[startup+25.5003 s]
/proc/loadavg: 3.79 3.95 3.84 5/179 24540
/proc/meminfo: memFree=28097348/32873852 swapFree=7624/7624
[pid=24521] ppid=24519 vsize=363648 CPUtime=50.92 cores=0,2,4,6
/proc/24521/stat : 24521 (pwbo2.02) S 24519 24521 23631 0 -1 4202496 60427 0 0 0 5071 21 0 0 20 0 3 0 333362216 372375552 59146 33554432000 4194304 5964478 140734114393872 140734114393392 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24521/statm: 90912 59146 198 433 0 90476 0
[pid=24521/tid=24523] ppid=24519 vsize=363648 CPUtime=25.38 cores=0,2,4,6
/proc/24521/task/24523/stat : 24523 (pwbo2.02) R 24519 24521 23631 0 -1 4202560 34859 0 0 0 2524 14 0 0 20 0 3 0 333362217 372375552 59146 33554432000 4194304 5964478 140734114393872 139986353096504 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=24521/tid=24524] ppid=24519 vsize=363648 CPUtime=25.39 cores=0,2,4,6
/proc/24521/task/24524/stat : 24524 (pwbo2.02) R 24519 24521 23631 0 -1 4202560 24546 0 0 0 2532 7 0 0 20 0 3 0 333362217 372375552 59146 33554432000 4194304 5964478 140734114393872 139986342607160 5136420 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 50.92
Current children cumulated vsize (KiB) 363648

[startup+51.1003 s]
/proc/loadavg: 3.86 3.95 3.84 5/179 24540
/proc/meminfo: memFree=27858368/32873852 swapFree=7624/7624
[pid=24521] ppid=24519 vsize=430824 CPUtime=102.07 cores=0,2,4,6
/proc/24521/stat : 24521 (pwbo2.02) S 24519 24521 23631 0 -1 4202496 97707 0 0 0 10172 35 0 0 20 0 3 0 333362216 441163776 96413 33554432000 4194304 5964478 140734114393872 140734114393392 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24521/statm: 107706 96413 198 433 0 107270 0
[pid=24521/tid=24523] ppid=24519 vsize=430824 CPUtime=50.9 cores=0,2,4,6
/proc/24521/task/24523/stat : 24523 (pwbo2.02) R 24519 24521 23631 0 -1 4202560 48822 0 0 0 5070 20 0 0 20 0 3 0 333362217 441163776 96413 33554432000 4194304 5964478 140734114393872 139986353096696 4220672 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=24521/tid=24524] ppid=24519 vsize=430824 CPUtime=50.9 cores=0,2,4,6
/proc/24521/task/24524/stat : 24524 (pwbo2.02) R 24519 24521 23631 0 -1 4202560 47863 0 0 0 5076 14 0 0 20 0 3 0 333362217 441163776 96413 33554432000 4194304 5964478 140734114393872 139986342607160 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.07
Current children cumulated vsize (KiB) 430824

[startup+102.306 s]
/proc/loadavg: 3.94 3.96 3.85 5/179 24540
/proc/meminfo: memFree=27655244/32873852 swapFree=7624/7624
[pid=24521] ppid=24519 vsize=562720 CPUtime=204.43 cores=0,2,4,6
/proc/24521/stat : 24521 (pwbo2.02) S 24519 24521 23631 0 -1 4202496 126124 0 0 0 20396 47 0 0 20 0 3 0 333362216 576225280 118946 33554432000 4194304 5964478 140734114393872 140734114393392 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24521/statm: 140680 118946 200 433 0 140244 0
[pid=24521/tid=24523] ppid=24519 vsize=562720 CPUtime=101.93 cores=0,2,4,6
/proc/24521/task/24523/stat : 24523 (pwbo2.02) R 24519 24521 23631 0 -1 4202560 61903 0 0 0 10166 27 0 0 20 0 3 0 333362217 576225280 118946 33554432000 4194304 5964478 140734114393872 139986353096800 4400106 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=24521/tid=24524] ppid=24519 vsize=562720 CPUtime=101.98 cores=0,2,4,6
/proc/24521/task/24524/stat : 24524 (pwbo2.02) R 24519 24521 23631 0 -1 4202560 63199 0 0 0 10177 21 0 0 20 0 3 0 333362217 576225280 118946 33554432000 4194304 5964478 140734114393872 139986342607160 5136420 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 204.43
Current children cumulated vsize (KiB) 562720

[startup+162.3 s]
/proc/loadavg: 3.98 3.96 3.85 5/179 24540
/proc/meminfo: memFree=27423036/32873852 swapFree=7624/7624
[pid=24521] ppid=24519 vsize=694404 CPUtime=324.39 cores=0,2,4,6
/proc/24521/stat : 24521 (pwbo2.02) S 24519 24521 23631 0 -1 4202496 156714 0 0 0 32379 60 0 0 20 0 3 0 333362216 711069696 149502 33554432000 4194304 5964478 140734114393872 140734114393392 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24521/statm: 173601 149502 200 433 0 173165 0
[pid=24521/tid=24523] ppid=24519 vsize=694404 CPUtime=161.75 cores=0,2,4,6
/proc/24521/task/24523/stat : 24523 (pwbo2.02) R 24519 24521 23631 0 -1 4202560 83637 0 0 0 16138 37 0 0 20 0 3 0 333362217 711069696 149502 33554432000 4194304 5964478 140734114393872 139986353096696 4399938 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=24521/tid=24524] ppid=24519 vsize=694404 CPUtime=161.82 cores=0,2,4,6
/proc/24521/task/24524/stat : 24524 (pwbo2.02) R 24519 24521 23631 0 -1 4202560 72055 0 0 0 16156 26 0 0 20 0 3 0 333362217 711069696 149502 33554432000 4194304 5964478 140734114393872 139986342606920 4400097 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 324.39
Current children cumulated vsize (KiB) 694404

############
# WARNING:
# current cumulated CPU time (426.04 s) is less than in the last sample (426.38 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (0.339996 s) to the 'lost time'.

[startup+213.3 s]
/proc/loadavg: 3.99 3.97 3.86 5/179 24541
/proc/meminfo: memFree=27194796/32873852 swapFree=7624/7624
[pid=24521] ppid=24519 vsize=828884 CPUtime=426.38 cores=0,2,4,6
/proc/24521/stat : 24521 (pwbo2.02) S 24519 24521 23631 0 -1 4202496 191255 0 0 0 42540 98 0 0 20 0 3 0 333362216 848777216 184043 33554432000 4194304 5964478 140734114393872 140734114393392 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24521/statm: 207221 184043 200 433 0 206785 0
[pid=24521/tid=24523] ppid=24519 vsize=828884 CPUtime=212.62 cores=0,2,4,6
/proc/24521/task/24523/stat : 24523 (pwbo2.02) R 24519 24521 23631 0 -1 4202560 97315 0 0 0 21216 46 0 0 20 0 3 0 333362217 848777216 184043 33554432000 4194304 5964478 140734114393872 139986353096608 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=24521/tid=24524] ppid=24519 vsize=828884 CPUtime=212.69 cores=0,2,4,6
/proc/24521/task/24524/stat : 24524 (pwbo2.02) R 24519 24521 23631 0 -1 4202560 92918 0 0 0 21212 57 0 0 20 0 3 0 333362217 848777216 184043 33554432000 4194304 5964478 140734114393872 139986342607264 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 426.38
Current children cumulated vsize (KiB) 828884

[startup+213.406 s]
/proc/loadavg: 3.99 3.97 3.86 5/179 24541
/proc/meminfo: memFree=27194796/32873852 swapFree=7624/7624
[pid=24521] ppid=24519 vsize=0 CPUtime=426.04 cores=0,2,4,6
/proc/24521/stat : 24521 (pwbo2.02) Z 24519 24521 23631 0 -1 4203532 191261 0 0 0 42500 104 0 0 20 0 2 0 333362216 0 0 33554432000 0 0 0 0 0 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24521/statm: 0 0 0 0 0 0 0
[pid=24521/tid=24523] ppid=24519 vsize=0 CPUtime=212.72 cores=0,2,4,6
/proc/24521/task/24523/stat : 24523 (pwbo2.02) R 24519 24521 23631 0 -1 4203588 97315 0 0 0 21223 49 0 0 20 0 2 0 333362217 0 0 33554432000 0 0 0 0 0 0 0 4096 16387 18446744073709551615 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 426.04
Current children cumulated vsize (KiB) 0
#
############


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

[startup+179.1 s]
/proc/loadavg: 3.98 3.97 3.86 5/179 24540
/proc/meminfo: memFree=27339444/32873852 swapFree=7624/7624
[pid=24521] ppid=24519 vsize=761852 CPUtime=357.98 cores=0,2,4,6
/proc/24521/stat : 24521 (pwbo2.02) S 24519 24521 23631 0 -1 4202496 172674 0 0 0 35729 69 0 0 20 0 3 0 333362216 780136448 165462 33554432000 4194304 5964478 140734114393872 140734114393392 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24521/statm: 190463 165462 200 433 0 190027 0
[pid=24521/tid=24523] ppid=24519 vsize=761852 CPUtime=178.51 cores=0,2,4,6
/proc/24521/task/24523/stat : 24523 (pwbo2.02) R 24519 24521 23631 0 -1 4202560 97308 0 0 0 17806 45 0 0 20 0 3 0 333362217 780136448 165462 33554432000 4194304 5964478 140734114393872 139986353096696 4400422 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=24521/tid=24524] ppid=24519 vsize=761852 CPUtime=178.57 cores=0,2,4,6
/proc/24521/task/24524/stat : 24524 (pwbo2.02) R 24519 24521 23631 0 -1 4202560 74344 0 0 0 17830 27 0 0 20 0 3 0 333362217 780136448 165462 33554432000 4194304 5964478 140734114393872 139986342607160 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 357.98
Current children cumulated vsize (KiB) 761852

[startup+191.9 s]
/proc/loadavg: 3.98 3.97 3.86 5/179 24540
/proc/meminfo: memFree=27270468/32873852 swapFree=7624/7624
[pid=24521] ppid=24519 vsize=828364 CPUtime=383.58 cores=0,2,4,6
/proc/24521/stat : 24521 (pwbo2.02) S 24519 24521 23631 0 -1 4202496 185049 0 0 0 38273 85 0 0 20 0 3 0 333362216 848244736 177837 33554432000 4194304 5964478 140734114393872 140734114393392 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24521/statm: 207091 177837 200 433 0 206655 0
[pid=24521/tid=24523] ppid=24519 vsize=828364 CPUtime=191.27 cores=0,2,4,6
/proc/24521/task/24523/stat : 24523 (pwbo2.02) R 24519 24521 23631 0 -1 4202560 97309 0 0 0 19082 45 0 0 20 0 3 0 333362217 848244736 177837 33554432000 4194304 5964478 140734114393872 139986353096696 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=24521/tid=24524] ppid=24519 vsize=828364 CPUtime=191.34 cores=0,2,4,6
/proc/24521/task/24524/stat : 24524 (pwbo2.02) R 24519 24521 23631 0 -1 4202560 86718 0 0 0 19091 43 0 0 20 0 3 0 333362217 848244736 177837 33554432000 4194304 5964478 140734114393872 139986342607160 4399981 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 383.58
Current children cumulated vsize (KiB) 828364

[startup+204.7 s]
/proc/loadavg: 3.99 3.97 3.86 5/178 24540
/proc/meminfo: memFree=27224828/32873852 swapFree=7624/7624
[pid=24521] ppid=24519 vsize=828744 CPUtime=409.17 cores=0,2,4,6
/proc/24521/stat : 24521 (pwbo2.02) S 24519 24521 23631 0 -1 4202496 191223 0 0 0 40819 98 0 0 20 0 3 0 333362216 848633856 184011 33554432000 4194304 5964478 140734114393872 140734114393392 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24521/statm: 207186 184011 200 433 0 206750 0
[pid=24521/tid=24523] ppid=24519 vsize=828744 CPUtime=204.04 cores=0,2,4,6
/proc/24521/task/24523/stat : 24523 (pwbo2.02) R 24519 24521 23631 0 -1 4202560 97311 0 0 0 20358 46 0 0 20 0 3 0 333362217 848633856 184011 33554432000 4194304 5964478 140734114393872 139986353096608 4399938 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=24521/tid=24524] ppid=24519 vsize=828744 CPUtime=204.11 cores=0,2,4,6
/proc/24521/task/24524/stat : 24524 (pwbo2.02) R 24519 24521 23631 0 -1 4202560 92890 0 0 0 20354 57 0 0 20 0 3 0 333362217 848633856 184011 33554432000 4194304 5964478 140734114393872 139986342607264 4399952 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 409.17
Current children cumulated vsize (KiB) 828744

[startup+207.906 s]
/proc/loadavg: 3.99 3.97 3.86 5/179 24541
/proc/meminfo: memFree=27214404/32873852 swapFree=7624/7624
[pid=24521] ppid=24519 vsize=828744 CPUtime=415.58 cores=0,2,4,6
/proc/24521/stat : 24521 (pwbo2.02) S 24519 24521 23631 0 -1 4202496 191224 0 0 0 41460 98 0 0 20 0 3 0 333362216 848633856 184012 33554432000 4194304 5964478 140734114393872 140734114393392 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24521/statm: 207186 184012 200 433 0 206750 0
[pid=24521/tid=24523] ppid=24519 vsize=828744 CPUtime=207.23 cores=0,2,4,6
/proc/24521/task/24523/stat : 24523 (pwbo2.02) R 24519 24521 23631 0 -1 4202560 97312 0 0 0 20677 46 0 0 20 0 3 0 333362217 848633856 184012 33554432000 4194304 5964478 140734114393872 139986353096608 4399920 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=24521/tid=24524] ppid=24519 vsize=828744 CPUtime=207.31 cores=0,2,4,6
/proc/24521/task/24524/stat : 24524 (pwbo2.02) R 24519 24521 23631 0 -1 4202560 92890 0 0 0 20674 57 0 0 20 0 3 0 333362217 848633856 184012 33554432000 4194304 5964478 140734114393872 139986342607264 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 415.58
Current children cumulated vsize (KiB) 828744

[startup+211.1 s]
/proc/loadavg: 3.99 3.97 3.86 5/179 24541
/proc/meminfo: memFree=27201368/32873852 swapFree=7624/7624
[pid=24521] ppid=24519 vsize=828744 CPUtime=421.98 cores=0,2,4,6
/proc/24521/stat : 24521 (pwbo2.02) S 24519 24521 23631 0 -1 4202496 191229 0 0 0 42100 98 0 0 20 0 3 0 333362216 848633856 184017 33554432000 4194304 5964478 140734114393872 140734114393392 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24521/statm: 207186 184017 200 433 0 206750 0
[pid=24521/tid=24523] ppid=24519 vsize=828744 CPUtime=210.43 cores=0,2,4,6
/proc/24521/task/24523/stat : 24523 (pwbo2.02) R 24519 24521 23631 0 -1 4202560 97314 0 0 0 20997 46 0 0 20 0 3 0 333362217 848633856 184017 33554432000 4194304 5964478 140734114393872 139986353096608 4400087 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=24521/tid=24524] ppid=24519 vsize=828744 CPUtime=210.5 cores=0,2,4,6
/proc/24521/task/24524/stat : 24524 (pwbo2.02) R 24519 24521 23631 0 -1 4202560 92893 0 0 0 20993 57 0 0 20 0 3 0 333362217 848633856 184017 33554432000 4194304 5964478 140734114393872 139986342607264 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 421.98
Current children cumulated vsize (KiB) 828744

[startup+212.7 s]
/proc/loadavg: 3.99 3.97 3.86 5/179 24541
/proc/meminfo: memFree=27198144/32873852 swapFree=7624/7624
[pid=24521] ppid=24519 vsize=828744 CPUtime=425.17 cores=0,2,4,6
/proc/24521/stat : 24521 (pwbo2.02) S 24519 24521 23631 0 -1 4202496 191230 0 0 0 42419 98 0 0 20 0 3 0 333362216 848633856 184018 33554432000 4194304 5964478 140734114393872 140734114393392 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24521/statm: 207186 184018 200 433 0 206750 0
[pid=24521/tid=24523] ppid=24519 vsize=828744 CPUtime=212.02 cores=0,2,4,6
/proc/24521/task/24523/stat : 24523 (pwbo2.02) R 24519 24521 23631 0 -1 4202560 97315 0 0 0 21156 46 0 0 20 0 3 0 333362217 848633856 184018 33554432000 4194304 5964478 140734114393872 139986353096608 4399920 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=24521/tid=24524] ppid=24519 vsize=828744 CPUtime=212.09 cores=0,2,4,6
/proc/24521/task/24524/stat : 24524 (pwbo2.02) R 24519 24521 23631 0 -1 4202560 92893 0 0 0 21152 57 0 0 20 0 3 0 333362217 848633856 184018 33554432000 4194304 5964478 140734114393872 139986342607264 4400115 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 425.17
Current children cumulated vsize (KiB) 828744

[startup+213.1 s]
/proc/loadavg: 3.99 3.97 3.86 5/179 24541
/proc/meminfo: memFree=27198144/32873852 swapFree=7624/7624
[pid=24521] ppid=24519 vsize=828884 CPUtime=425.97 cores=0,2,4,6
/proc/24521/stat : 24521 (pwbo2.02) S 24519 24521 23631 0 -1 4202496 191255 0 0 0 42499 98 0 0 20 0 3 0 333362216 848777216 184043 33554432000 4194304 5964478 140734114393872 140734114393392 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24521/statm: 207221 184043 200 433 0 206785 0
[pid=24521/tid=24523] ppid=24519 vsize=828884 CPUtime=212.41 cores=0,2,4,6
/proc/24521/task/24523/stat : 24523 (pwbo2.02) R 24519 24521 23631 0 -1 4202560 97315 0 0 0 21195 46 0 0 20 0 3 0 333362217 848777216 184043 33554432000 4194304 5964478 140734114393872 139986353096608 4399920 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=24521/tid=24524] ppid=24519 vsize=828884 CPUtime=212.49 cores=0,2,4,6
/proc/24521/task/24524/stat : 24524 (pwbo2.02) R 24519 24521 23631 0 -1 4202560 92918 0 0 0 21192 57 0 0 20 0 3 0 333362217 848777216 184043 33554432000 4194304 5964478 140734114393872 139986342607264 4400067 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 425.97
Current children cumulated vsize (KiB) 828884

[startup+213.3 s]
/proc/loadavg: 3.99 3.97 3.86 5/179 24541
/proc/meminfo: memFree=27194796/32873852 swapFree=7624/7624
[pid=24521] ppid=24519 vsize=828884 CPUtime=426.38 cores=0,2,4,6
/proc/24521/stat : 24521 (pwbo2.02) S 24519 24521 23631 0 -1 4202496 191255 0 0 0 42540 98 0 0 20 0 3 0 333362216 848777216 184043 33554432000 4194304 5964478 140734114393872 140734114393392 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24521/statm: 207221 184043 200 433 0 206785 0
[pid=24521/tid=24523] ppid=24519 vsize=828884 CPUtime=212.62 cores=0,2,4,6
/proc/24521/task/24523/stat : 24523 (pwbo2.02) R 24519 24521 23631 0 -1 4202560 97315 0 0 0 21216 46 0 0 20 0 3 0 333362217 848777216 184043 33554432000 4194304 5964478 140734114393872 139986353096608 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=24521/tid=24524] ppid=24519 vsize=828884 CPUtime=212.69 cores=0,2,4,6
/proc/24521/task/24524/stat : 24524 (pwbo2.02) R 24519 24521 23631 0 -1 4202560 92918 0 0 0 21212 57 0 0 20 0 3 0 333362217 848777216 184043 33554432000 4194304 5964478 140734114393872 139986342607264 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 426.38
Current children cumulated vsize (KiB) 828884

[startup+213.406 s]
/proc/loadavg: 3.99 3.97 3.86 5/179 24541
/proc/meminfo: memFree=27194796/32873852 swapFree=7624/7624
[pid=24521] ppid=24519 vsize=0 CPUtime=426.04 cores=0,2,4,6
/proc/24521/stat : 24521 (pwbo2.02) Z 24519 24521 23631 0 -1 4203532 191261 0 0 0 42500 104 0 0 20 0 2 0 333362216 0 0 33554432000 0 0 0 0 0 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24521/statm: 0 0 0 0 0 0 0
[pid=24521/tid=24523] ppid=24519 vsize=0 CPUtime=212.72 cores=0,2,4,6
/proc/24521/task/24523/stat : 24523 (pwbo2.02) R 24519 24521 23631 0 -1 4203588 97315 0 0 0 21223 49 0 0 20 0 2 0 333362217 0 0 33554432000 0 0 0 0 0 0 0 4096 16387 18446744073709551615 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 426.04
Current children cumulated vsize (KiB) 0

Child status: 255

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 24521 and gives
#  childrusage.ru_utime.tv_sec=424
#  childrusage.ru_utime.tv_usec=453473
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=91834
# CPU time returned by wait4() is 425.545
# while last known CPU time is 426.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...


# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 0.339996
#  lost CPU user time (s): 0.399994
#  lost CPU system time (s): -0.0599999

Real time (s): 213.425
CPU time (s): 426.38
CPU user time (s): 425.4
CPU system time (s): 0.98
CPU usage (%): 199.78
Max. virtual memory (cumulated for all children) (KiB): 828884

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 424.453
system time used= 1.09183
maximum resident set size= 736196
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 191261
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= 511
involuntary context switches= 646

runsolver used 0.336948 second user time and 0.842871 second system time

The end

Launcher Data 

Begin job on node131 at 2012-06-02 23:26:08
IDJOB=3728572
IDBENCH=78899
IDSOLVER=2316
FILE ID=node131/3728572-1338672368
RUNJOBID= node131-1338669660-24218
PBS_JOBID= 14636485
Free space on /tmp= 71400 MiB

SOLVER NAME= pwbo 2.02
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900670675--soft-33-100-0.wbo
COMMAND LINE= pwbo2.02 -file-format=wbo -verbosity=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3728572-1338672368/watcher-3728572-1338672368 -o /tmp/evaluation-result-3728572-1338672368/solver-3728572-1338672368 -C 1800 -W 1900 -M 15500  pwbo2.02 -file-format=wbo -verbosity=0 HOME/instance-3728572-1338672368.wbo

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

MD5SUM BENCH= 1266a85a20696deb0d7aee67f4c2d0a0
RANDOM SEED=1903813694

node131.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.805
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.61
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.805
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.805
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	: 5331.91
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.805
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.805
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.91
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.805
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.91
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.805
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.92
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.805
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.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873852 kB
MemFree:        28450980 kB
Buffers:          542568 kB
Cached:          3014520 kB
SwapCached:         2348 kB
Active:          1379824 kB
Inactive:        2184004 kB
Active(anon):       2816 kB
Inactive(anon):     3676 kB
Active(file):    1377008 kB
Inactive(file):  2180328 kB
Unevictable:        7624 kB
Mlocked:            7624 kB
SwapTotal:      67108856 kB
SwapFree:       67099088 kB
Dirty:              5500 kB
Writeback:             0 kB
AnonPages:         11344 kB
Mapped:            13564 kB
Shmem:                 0 kB
Slab:             719804 kB
SReclaimable:     162076 kB
SUnreclaim:       557728 kB
KernelStack:        1432 kB
PageTables:         3664 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545780 kB
Committed_AS:     111892 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346360 kB
VmallocChunk:   34341988004 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= 71392 MiB
End job on node131 at 2012-06-02 23:29:41