Trace number 3727648

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
wbo 1.72? 1799.88 1800.02

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_3.opb
MD5SUM82a3d84200b069df277c7f14e0e883d0
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark21
Best CPU time to get the best result obtained on this benchmark266.663
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 23
Optimality of the best value was proved NO
Number of variables6076
Total number of constraints21401
Number of constraints which are clauses21392
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints8
Minimum length of a constraint1
Maximum length of a constraint666
Number of terms in the objective function 666
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 666
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 31
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 697
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 opb file format. File HOME/instance-3727648-1338663953.opb.
0.00/0.00	c Instance file HOME/instance-3727648-1338663953.opb
0.00/0.00	c File size is 619623 bytes.
0.00/0.05	c Cost Offset: 0
0.00/0.05	c Highest Coefficient sum: 697
0.00/0.05	c ============================[ Problem Statistics ]=============================
0.00/0.05	c |                                                                             |
0.00/0.05	c |  Parsing time:          0.05         s                                      |
0.00/0.05	c |  Number Variables:      6076                                                |
0.00/0.05	c |  Number Clauses:        21400                                               |
0.00/0.05	c |  Number Cardinality:    1                                                   |
0.00/0.05	c |  Number PB Constraints: 0                                                   |
0.00/0.05	c |                                                                             |
0.00/0.06	c |  Problem Type:          Optimization                                        |
0.00/0.06	c |  Objective Function:    Cardinality Constraint                              |
0.00/0.06	c |                                                                             |
0.00/0.06	c ============================[ Search Statistics ]==============================
0.00/0.06	c | Time (s)  | ID |      Bound      |               Shared Clauses             |
0.00/0.06	c |           |    | value      type |  expCls         impCls        Lit/impCl  |
0.00/0.06	c ===============================================================================
0.00/0.07	c | 0.07      | 0  | 6            lb |  0                0                0.00  |
0.00/0.08	c | 0.08      | 0  | 7            lb |  0                0                0.00  |
0.07/0.08	c | 0.09      | 0  | 8            lb |  0                0                0.00  |
0.07/0.09	c | 0.10      | 0  | 9            lb |  0                0                0.00  |
0.09/0.10	c | 0.11      | 0  | 10           lb |  0                0                0.00  |
0.09/0.12	c | 0.12      | 0  | 11           lb |  0                0                0.00  |
0.09/0.13	c | 0.14      | 0  | 12           lb |  0                0                0.00  |
0.09/0.15	c | 0.15      | 0  | 13           lb |  0                0                0.00  |
0.59/0.62	c | 0.62      | 0  | 14           lb |  0                0                0.00  |
0.79/0.80	c | 0.80      | 0  | 15           lb |  0                0                0.00  |
1.09/1.19	c | 1.20      | 0  | 16           lb |  0                0                0.00  |
145.15/145.28	c | 145.28    | 0  | 17           lb |  0                0                0.00  |
1799.44/1800.00	c ===============================================================================
1799.44/1800.00	c Wall Clock Time: 1800.00 s
1799.44/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-3727648-1338663953/watcher-3727648-1338663953 -o /tmp/evaluation-result-3727648-1338663953/solver-3727648-1338663953 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3727648-1338663953.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.10 2.06 2.08 3/177 7285
/proc/meminfo: memFree=27417408/32873648 swapFree=7368/7368
[pid=7285] ppid=7283 vsize=4016 CPUtime=0 cores=0,2,4,6
/proc/7285/stat : 7285 (wbo1.72) R 7283 7285 3777 0 -1 4202496 391 0 0 0 0 0 0 0 20 0 1 0 332519418 4112384 343 33554432000 4194304 5964350 140735611844560 140735170939144 4344688 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/7285/statm: 1004 344 169 433 0 416 0

[startup+0.0828341 s]
/proc/loadavg: 2.10 2.06 2.08 3/177 7285
/proc/meminfo: memFree=27417408/32873648 swapFree=7368/7368
[pid=7285] ppid=7283 vsize=86292 CPUtime=0.07 cores=0,2,4,6
/proc/7285/stat : 7285 (wbo1.72) S 7283 7285 3777 0 -1 4202496 3698 0 0 0 7 0 0 0 20 0 2 0 332519418 88363008 3212 33554432000 4194304 5964350 140735611844560 140735611844080 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7285/statm: 21573 3212 191 433 0 21137 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 86292

[startup+0.100299 s]
/proc/loadavg: 2.10 2.06 2.08 3/177 7285
/proc/meminfo: memFree=27417408/32873648 swapFree=7368/7368
[pid=7285] ppid=7283 vsize=86292 CPUtime=0.09 cores=0,2,4,6
/proc/7285/stat : 7285 (wbo1.72) S 7283 7285 3777 0 -1 4202496 4042 0 0 0 9 0 0 0 20 0 2 0 332519418 88363008 3556 33554432000 4194304 5964350 140735611844560 140735611844080 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7285/statm: 21573 3556 191 433 0 21137 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 86292

[startup+0.300236 s]
/proc/loadavg: 2.10 2.06 2.08 3/177 7285
/proc/meminfo: memFree=27417408/32873648 swapFree=7368/7368
[pid=7285] ppid=7283 vsize=86292 CPUtime=0.29 cores=0,2,4,6
/proc/7285/stat : 7285 (wbo1.72) S 7283 7285 3777 0 -1 4202496 4170 0 0 0 29 0 0 0 20 0 2 0 332519418 88363008 3672 33554432000 4194304 5964350 140735611844560 140735611844080 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7285/statm: 21573 3672 195 433 0 21137 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 86292

[startup+0.700227 s]
/proc/loadavg: 2.10 2.06 2.08 3/177 7285
/proc/meminfo: memFree=27417408/32873648 swapFree=7368/7368
[pid=7285] ppid=7283 vsize=86292 CPUtime=0.69 cores=0,2,4,6
/proc/7285/stat : 7285 (wbo1.72) S 7283 7285 3777 0 -1 4202496 4817 0 0 0 69 0 0 0 20 0 2 0 332519418 88363008 4319 33554432000 4194304 5964350 140735611844560 140735611844080 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7285/statm: 21573 4319 195 433 0 21137 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 86292

[startup+1.50025 s]
/proc/loadavg: 2.09 2.06 2.08 3/179 7287
/proc/meminfo: memFree=27401348/32873648 swapFree=7368/7368
[pid=7285] ppid=7283 vsize=86292 CPUtime=1.48 cores=0,2,4,6
/proc/7285/stat : 7285 (wbo1.72) S 7283 7285 3777 0 -1 4202496 4857 0 0 0 148 0 0 0 20 0 2 0 332519418 88363008 4359 33554432000 4194304 5964350 140735611844560 140735611844080 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7285/statm: 21573 4359 195 433 0 21137 0
[pid=7285/tid=7287] ppid=7283 vsize=86292 CPUtime=1.43 cores=0,2,4,6
/proc/7285/task/7287/stat : 7287 (wbo1.72) R 7283 7285 3777 0 -1 4202560 3209 0 0 0 143 0 0 0 20 0 2 0 332519424 88363008 4359 33554432000 4194304 5964350 140735611844560 139640926316872 4399840 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 86292

[startup+3.10027 s]
/proc/loadavg: 2.09 2.06 2.08 3/179 7287
/proc/meminfo: memFree=27396884/32873648 swapFree=7368/7368
[pid=7285] ppid=7283 vsize=86292 CPUtime=3.09 cores=0,2,4,6
/proc/7285/stat : 7285 (wbo1.72) S 7283 7285 3777 0 -1 4202496 7630 0 0 0 308 1 0 0 20 0 2 0 332519418 88363008 7132 33554432000 4194304 5964350 140735611844560 140735611844080 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7285/statm: 21573 7132 195 433 0 21137 0
[pid=7285/tid=7287] ppid=7283 vsize=86292 CPUtime=3.03 cores=0,2,4,6
/proc/7285/task/7287/stat : 7287 (wbo1.72) R 7283 7285 3777 0 -1 4202560 5982 0 0 0 302 1 0 0 20 0 2 0 332519424 88363008 7132 33554432000 4194304 5964350 140735611844560 139640926316536 5136340 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) 86292

[startup+6.3003 s]
/proc/loadavg: 2.09 2.06 2.08 3/179 7287
/proc/meminfo: memFree=27373084/32873648 swapFree=7368/7368
[pid=7285] ppid=7283 vsize=86292 CPUtime=6.29 cores=0,2,4,6
/proc/7285/stat : 7285 (wbo1.72) S 7283 7285 3777 0 -1 4202496 13379 0 0 0 626 3 0 0 20 0 2 0 332519418 88363008 12881 33554432000 4194304 5964350 140735611844560 140735611844080 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7285/statm: 21573 12881 195 433 0 21137 0
[pid=7285/tid=7287] ppid=7283 vsize=86292 CPUtime=6.23 cores=0,2,4,6
/proc/7285/task/7287/stat : 7287 (wbo1.72) R 7283 7285 3777 0 -1 4202560 11731 0 0 0 620 3 0 0 20 0 2 0 332519424 88363008 12881 33554432000 4194304 5964350 140735611844560 139640926316536 4400011 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 86292

[startup+12.7003 s]
/proc/loadavg: 2.08 2.06 2.08 3/179 7287
/proc/meminfo: memFree=27342984/32873648 swapFree=7368/7368
[pid=7285] ppid=7283 vsize=151828 CPUtime=12.68 cores=0,2,4,6
/proc/7285/stat : 7285 (wbo1.72) S 7283 7285 3777 0 -1 4202496 19982 0 0 0 1264 4 0 0 20 0 2 0 332519418 155471872 19484 33554432000 4194304 5964350 140735611844560 140735611844080 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7285/statm: 37957 19484 195 433 0 37521 0
[pid=7285/tid=7287] ppid=7283 vsize=151828 CPUtime=12.64 cores=0,2,4,6
/proc/7285/task/7287/stat : 7287 (wbo1.72) R 7283 7285 3777 0 -1 4202560 18334 0 0 0 1259 5 0 0 20 0 2 0 332519424 155471872 19484 33554432000 4194304 5964350 140735611844560 139640926316536 4400035 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 151828

[startup+25.5003 s]
/proc/loadavg: 2.07 2.06 2.08 3/179 7287
/proc/meminfo: memFree=27314852/32873648 swapFree=7368/7368
[pid=7285] ppid=7283 vsize=151828 CPUtime=25.48 cores=0,2,4,6
/proc/7285/stat : 7285 (wbo1.72) S 7283 7285 3777 0 -1 4202496 26253 0 0 0 2542 6 0 0 20 0 2 0 332519418 155471872 25755 33554432000 4194304 5964350 140735611844560 140735611844080 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7285/statm: 37957 25755 195 433 0 37521 0
[pid=7285/tid=7287] ppid=7283 vsize=151828 CPUtime=25.44 cores=0,2,4,6
/proc/7285/task/7287/stat : 7287 (wbo1.72) R 7283 7285 3777 0 -1 4202560 24605 0 0 0 2537 7 0 0 20 0 2 0 332519424 155471872 25755 33554432000 4194304 5964350 140735611844560 139640926316536 4400029 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) 151828

[startup+51.1003 s]
/proc/loadavg: 2.04 2.05 2.08 3/179 7287
/proc/meminfo: memFree=27243428/32873648 swapFree=7368/7368
[pid=7285] ppid=7283 vsize=217688 CPUtime=51.08 cores=0,2,4,6
/proc/7285/stat : 7285 (wbo1.72) S 7283 7285 3777 0 -1 4202496 44719 0 0 0 5097 11 0 0 20 0 2 0 332519418 222912512 44221 33554432000 4194304 5964350 140735611844560 140735611844080 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7285/statm: 54422 44221 195 433 0 53986 0
[pid=7285/tid=7287] ppid=7283 vsize=217688 CPUtime=51.04 cores=0,2,4,6
/proc/7285/task/7287/stat : 7287 (wbo1.72) R 7283 7285 3777 0 -1 4202560 43071 0 0 0 5092 12 0 0 20 0 2 0 332519424 222912512 44221 33554432000 4194304 5964350 140735611844560 139640926316536 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 217688

[startup+102.306 s]
/proc/loadavg: 2.02 2.04 2.07 3/179 7287
/proc/meminfo: memFree=27170940/32873648 swapFree=7368/7368
[pid=7285] ppid=7283 vsize=283384 CPUtime=102.28 cores=0,2,4,6
/proc/7285/stat : 7285 (wbo1.72) S 7283 7285 3777 0 -1 4202496 62057 0 0 0 10212 16 0 0 20 0 2 0 332519418 290185216 61559 33554432000 4194304 5964350 140735611844560 140735611844080 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7285/statm: 70846 61559 195 433 0 70410 0
[pid=7285/tid=7287] ppid=7283 vsize=283384 CPUtime=102.25 cores=0,2,4,6
/proc/7285/task/7287/stat : 7287 (wbo1.72) R 7283 7285 3777 0 -1 4202560 60409 0 0 0 10207 18 0 0 20 0 2 0 332519424 290185216 61559 33554432000 4194304 5964350 140735611844560 139640926316536 4400007 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 283384

[startup+162.3 s]
/proc/loadavg: 2.04 2.05 2.07 3/179 7287
/proc/meminfo: memFree=27114316/32873648 swapFree=7368/7368
[pid=7285] ppid=7283 vsize=348436 CPUtime=162.24 cores=0,2,4,6
/proc/7285/stat : 7285 (wbo1.72) S 7283 7285 3777 0 -1 4202496 75884 0 0 0 16204 20 0 0 20 0 2 0 332519418 356798464 75322 33554432000 4194304 5964350 140735611844560 140735611844080 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7285/statm: 87109 75322 195 433 0 86673 0
[pid=7285/tid=7287] ppid=7283 vsize=348436 CPUtime=162.22 cores=0,2,4,6
/proc/7285/task/7287/stat : 7287 (wbo1.72) R 7283 7285 3777 0 -1 4202560 74236 0 0 0 16199 23 0 0 20 0 2 0 332519424 356798464 75322 33554432000 4194304 5964350 140735611844560 139640926317496 4399998 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) 348436

[startup+222.3 s]
/proc/loadavg: 2.08 2.06 2.08 3/179 7288
/proc/meminfo: memFree=27113912/32873648 swapFree=7368/7368
[pid=7285] ppid=7283 vsize=348436 CPUtime=222.21 cores=0,2,4,6
/proc/7285/stat : 7285 (wbo1.72) S 7283 7285 3777 0 -1 4202496 75935 0 0 0 22201 20 0 0 20 0 2 0 332519418 356798464 75357 33554432000 4194304 5964350 140735611844560 140735611844080 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7285/statm: 87109 75357 195 433 0 86673 0
[pid=7285/tid=7287] ppid=7283 vsize=348436 CPUtime=222.2 cores=0,2,4,6
/proc/7285/task/7287/stat : 7287 (wbo1.72) R 7283 7285 3777 0 -1 4202560 74287 0 0 0 22196 24 0 0 20 0 2 0 332519424 356798464 75357 33554432000 4194304 5964350 140735611844560 139640926317496 4399861 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 348436

[startup+282.3 s]
/proc/loadavg: 2.06 2.06 2.08 3/180 7291
/proc/meminfo: memFree=27114012/32873648 swapFree=7368/7368
[pid=7285] ppid=7283 vsize=348436 CPUtime=282.16 cores=0,2,4,6
/proc/7285/stat : 7285 (wbo1.72) S 7283 7285 3777 0 -1 4202496 75986 0 0 0 28196 20 0 0 20 0 2 0 332519418 356798464 75365 33554432000 4194304 5964350 140735611844560 140735611844080 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7285/statm: 87109 75365 195 433 0 86673 0
[pid=7285/tid=7287] ppid=7283 vsize=348436 CPUtime=282.17 cores=0,2,4,6
/proc/7285/task/7287/stat : 7287 (wbo1.72) R 7283 7285 3777 0 -1 4202560 74338 0 0 0 28192 25 0 0 20 0 2 0 332519424 356798464 75365 33554432000 4194304 5964350 140735611844560 139640926317496 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 348436

[startup+342.3 s]
/proc/loadavg: 2.02 2.05 2.07 3/179 7291
/proc/meminfo: memFree=27097640/32873648 swapFree=7368/7368
[pid=7285] ppid=7283 vsize=348436 CPUtime=342.14 cores=0,2,4,6
/proc/7285/stat : 7285 (wbo1.72) S 7283 7285 3777 0 -1 4202496 79781 0 0 0 34193 21 0 0 20 0 2 0 332519418 356798464 79658 33554432000 4194304 5964350 140735611844560 140735611844080 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7285/statm: 87109 79658 195 433 0 86673 0
[pid=7285/tid=7287] ppid=7283 vsize=348436 CPUtime=342.17 cores=0,2,4,6
/proc/7285/task/7287/stat : 7287 (wbo1.72) R 7283 7285 3777 0 -1 4202560 78133 0 0 0 34190 27 0 0 20 0 2 0 332519424 356798464 79658 33554432000 4194304 5964350 140735611844560 139640926316536 4400023 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 348436

[startup+402.3 s]
/proc/loadavg: 2.01 2.04 2.06 3/179 7291
/proc/meminfo: memFree=27092808/32873648 swapFree=7368/7368
[pid=7285] ppid=7283 vsize=348436 CPUtime=402.13 cores=0,2,4,6
/proc/7285/stat : 7285 (wbo1.72) S 7283 7285 3777 0 -1 4202496 80958 0 0 0 40192 21 0 0 20 0 2 0 332519418 356798464 80835 33554432000 4194304 5964350 140735611844560 140735611844080 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7285/statm: 87109 80835 195 433 0 86673 0
[pid=7285/tid=7287] ppid=7283 vsize=348436 CPUtime=402.17 cores=0,2,4,6
/proc/7285/task/7287/stat : 7287 (wbo1.72) R 7283 7285 3777 0 -1 4202560 79310 0 0 0 40189 28 0 0 20 0 2 0 332519424 356798464 80835 33554432000 4194304 5964350 140735611844560 139640926316344 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 348436

[startup+462.3 s]
/proc/loadavg: 2.03 2.04 2.06 3/179 7291
/proc/meminfo: memFree=26997948/32873648 swapFree=7368/7368
[pid=7285] ppid=7283 vsize=479508 CPUtime=462.13 cores=0,2,4,6

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

/proc/7285/task/7287/stat : 7287 (wbo1.72) R 7283 7285 3777 0 -1 4202560 223581 0 0 0 130116 96 0 0 20 0 2 0 332519424 962441216 225859 33554432000 4194304 5964350 140735611844560 139640926316536 4400023 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.88
Current children cumulated vsize (KiB) 939884

[startup+1362.3 s]
/proc/loadavg: 2.06 2.06 2.05 3/179 7337
/proc/meminfo: memFree=26419076/32873648 swapFree=7368/7368
[pid=7285] ppid=7283 vsize=939884 CPUtime=1361.83 cores=0,2,4,6
/proc/7285/stat : 7285 (wbo1.72) S 7283 7285 3777 0 -1 4202496 225279 0 0 0 136107 76 0 0 20 0 2 0 332519418 962441216 225956 33554432000 4194304 5964350 140735611844560 140735611844080 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7285/statm: 234971 225956 195 433 0 234535 0
[pid=7285/tid=7287] ppid=7283 vsize=939884 CPUtime=1362.08 cores=0,2,4,6
/proc/7285/task/7287/stat : 7287 (wbo1.72) R 7283 7285 3777 0 -1 4202560 223631 0 0 0 136111 97 0 0 20 0 2 0 332519424 962441216 225956 33554432000 4194304 5964350 140735611844560 139640926316536 4400023 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 939884

[startup+1422.31 s]
/proc/loadavg: 2.09 2.08 2.06 3/179 7338
/proc/meminfo: memFree=26408388/32873648 swapFree=7368/7368
[pid=7285] ppid=7283 vsize=939884 CPUtime=1421.81 cores=0,2,4,6
/proc/7285/stat : 7285 (wbo1.72) S 7283 7285 3777 0 -1 4202496 225308 0 0 0 142105 76 0 0 20 0 2 0 332519418 962441216 226034 33554432000 4194304 5964350 140735611844560 140735611844080 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7285/statm: 234971 226034 195 433 0 234535 0
[pid=7285/tid=7287] ppid=7283 vsize=939884 CPUtime=1422.07 cores=0,2,4,6
/proc/7285/task/7287/stat : 7287 (wbo1.72) R 7283 7285 3777 0 -1 4202560 223660 0 0 0 142109 98 0 0 20 0 2 0 332519424 962441216 226034 33554432000 4194304 5964350 140735611844560 139640926316536 4399987 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 939884

[startup+1482.3 s]
/proc/loadavg: 2.06 2.08 2.06 3/180 7341
/proc/meminfo: memFree=26384736/32873648 swapFree=7368/7368
[pid=7285] ppid=7283 vsize=939884 CPUtime=1481.79 cores=0,2,4,6
/proc/7285/stat : 7285 (wbo1.72) S 7283 7285 3777 0 -1 4202496 225315 0 0 0 148103 76 0 0 20 0 2 0 332519418 962441216 226037 33554432000 4194304 5964350 140735611844560 140735611844080 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7285/statm: 234971 226037 195 433 0 234535 0
[pid=7285/tid=7287] ppid=7283 vsize=939884 CPUtime=1482.07 cores=0,2,4,6
/proc/7285/task/7287/stat : 7287 (wbo1.72) R 7283 7285 3777 0 -1 4202560 223667 0 0 0 148108 99 0 0 20 0 2 0 332519424 962441216 226037 33554432000 4194304 5964350 140735611844560 139640926316536 4400011 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.79
Current children cumulated vsize (KiB) 939884

[startup+1542.3 s]
/proc/loadavg: 2.02 2.06 2.05 3/179 7341
/proc/meminfo: memFree=26363352/32873648 swapFree=7368/7368
[pid=7285] ppid=7283 vsize=939884 CPUtime=1541.78 cores=0,2,4,6
/proc/7285/stat : 7285 (wbo1.72) S 7283 7285 3777 0 -1 4202496 225345 0 0 0 154102 76 0 0 20 0 2 0 332519418 962441216 226067 33554432000 4194304 5964350 140735611844560 140735611844080 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7285/statm: 234971 226067 195 433 0 234535 0
[pid=7285/tid=7287] ppid=7283 vsize=939884 CPUtime=1542.07 cores=0,2,4,6
/proc/7285/task/7287/stat : 7287 (wbo1.72) R 7283 7285 3777 0 -1 4202560 223697 0 0 0 154107 100 0 0 20 0 2 0 332519424 962441216 226067 33554432000 4194304 5964350 140735611844560 139640926316536 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.78
Current children cumulated vsize (KiB) 939884

[startup+1602.3 s]
/proc/loadavg: 2.01 2.05 2.04 3/179 7341
/proc/meminfo: memFree=26362608/32873648 swapFree=7368/7368
[pid=7285] ppid=7283 vsize=939884 CPUtime=1601.77 cores=0,2,4,6
/proc/7285/stat : 7285 (wbo1.72) S 7283 7285 3777 0 -1 4202496 225345 0 0 0 160101 76 0 0 20 0 2 0 332519418 962441216 226067 33554432000 4194304 5964350 140735611844560 140735611844080 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7285/statm: 234971 226067 195 433 0 234535 0
[pid=7285/tid=7287] ppid=7283 vsize=939884 CPUtime=1602.08 cores=0,2,4,6
/proc/7285/task/7287/stat : 7287 (wbo1.72) R 7283 7285 3777 0 -1 4202560 223697 0 0 0 160107 101 0 0 20 0 2 0 332519424 962441216 226067 33554432000 4194304 5964350 140735611844560 139640926316536 4399976 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.77
Current children cumulated vsize (KiB) 939884

[startup+1662.3 s]
/proc/loadavg: 2.06 2.05 2.04 3/179 7341
/proc/meminfo: memFree=26361372/32873648 swapFree=7368/7368
[pid=7285] ppid=7283 vsize=939884 CPUtime=1661.76 cores=0,2,4,6
/proc/7285/stat : 7285 (wbo1.72) S 7283 7285 3777 0 -1 4202496 225346 0 0 0 166100 76 0 0 20 0 2 0 332519418 962441216 226068 33554432000 4194304 5964350 140735611844560 140735611844080 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7285/statm: 234971 226068 195 433 0 234535 0
[pid=7285/tid=7287] ppid=7283 vsize=939884 CPUtime=1662.08 cores=0,2,4,6
/proc/7285/task/7287/stat : 7287 (wbo1.72) R 7283 7285 3777 0 -1 4202560 223698 0 0 0 166106 102 0 0 20 0 2 0 332519424 962441216 226068 33554432000 4194304 5964350 140735611844560 139640926316536 4390872 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 939884

[startup+1722.3 s]
/proc/loadavg: 2.02 2.04 2.04 3/179 7342
/proc/meminfo: memFree=26357032/32873648 swapFree=7368/7368
[pid=7285] ppid=7283 vsize=939884 CPUtime=1721.75 cores=0,2,4,6
/proc/7285/stat : 7285 (wbo1.72) S 7283 7285 3777 0 -1 4202496 225346 0 0 0 172099 76 0 0 20 0 2 0 332519418 962441216 226068 33554432000 4194304 5964350 140735611844560 140735611844080 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7285/statm: 234971 226068 195 433 0 234535 0
[pid=7285/tid=7287] ppid=7283 vsize=939884 CPUtime=1722.09 cores=0,2,4,6
/proc/7285/task/7287/stat : 7287 (wbo1.72) R 7283 7285 3777 0 -1 4202560 223698 0 0 0 172106 103 0 0 20 0 2 0 332519424 962441216 226068 33554432000 4194304 5964350 140735611844560 139640926316536 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.75
Current children cumulated vsize (KiB) 939884

[startup+1782.3 s]
/proc/loadavg: 2.01 2.03 2.03 3/179 7342
/proc/meminfo: memFree=26237744/32873648 swapFree=7368/7368
[pid=7285] ppid=7283 vsize=1005420 CPUtime=1781.75 cores=0,2,4,6
/proc/7285/stat : 7285 (wbo1.72) S 7283 7285 3777 0 -1 4202496 245474 0 0 0 178092 83 0 0 20 0 2 0 332519418 1029550080 246196 33554432000 4194304 5964350 140735611844560 140735611844080 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7285/statm: 251355 246196 195 433 0 250919 0
[pid=7285/tid=7287] ppid=7283 vsize=1005420 CPUtime=1782.09 cores=0,2,4,6
/proc/7285/task/7287/stat : 7287 (wbo1.72) R 7283 7285 3777 0 -1 4202560 243826 0 0 0 178099 110 0 0 20 0 2 0 332519424 1029550080 246196 33554432000 4194304 5964350 140735611844560 139640926316536 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 1005420

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

[startup+1791.91 s]
/proc/loadavg: 2.00 2.03 2.03 3/179 7342
/proc/meminfo: memFree=26218772/32873648 swapFree=7368/7368
[pid=7285] ppid=7283 vsize=1070956 CPUtime=1791.35 cores=0,2,4,6
/proc/7285/stat : 7285 (wbo1.72) S 7283 7285 3777 0 -1 4202496 248631 0 0 0 179051 84 0 0 20 0 2 0 332519418 1096658944 249353 33554432000 4194304 5964350 140735611844560 140735611844080 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7285/statm: 267739 249353 195 433 0 267303 0
[pid=7285/tid=7287] ppid=7283 vsize=1070956 CPUtime=1791.7 cores=0,2,4,6
/proc/7285/task/7287/stat : 7287 (wbo1.72) R 7283 7285 3777 0 -1 4202560 246983 0 0 0 179058 112 0 0 20 0 2 0 332519424 1096658944 249353 33554432000 4194304 5964350 140735611844560 139640926316536 4399930 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1791.35
Current children cumulated vsize (KiB) 1070956

[startup+1795.1 s]
/proc/loadavg: 2.00 2.03 2.03 3/179 7342
/proc/meminfo: memFree=26209844/32873648 swapFree=7368/7368
[pid=7285] ppid=7283 vsize=1070956 CPUtime=1794.54 cores=0,2,4,6
/proc/7285/stat : 7285 (wbo1.72) S 7283 7285 3777 0 -1 4202496 250285 0 0 0 179370 84 0 0 20 0 2 0 332519418 1096658944 251007 33554432000 4194304 5964350 140735611844560 140735611844080 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7285/statm: 267739 251007 195 433 0 267303 0
[pid=7285/tid=7287] ppid=7283 vsize=1070956 CPUtime=1794.9 cores=0,2,4,6
/proc/7285/task/7287/stat : 7287 (wbo1.72) R 7283 7285 3777 0 -1 4202560 248637 0 0 0 179378 112 0 0 20 0 2 0 332519424 1096658944 251007 33554432000 4194304 5964350 140735611844560 139640926316536 4400007 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1794.54
Current children cumulated vsize (KiB) 1070956

[startup+1798.3 s]
/proc/loadavg: 2.00 2.03 2.03 3/179 7342
/proc/meminfo: memFree=26204512/32873648 swapFree=7368/7368
[pid=7285] ppid=7283 vsize=1070956 CPUtime=1797.74 cores=0,2,4,6
/proc/7285/stat : 7285 (wbo1.72) S 7283 7285 3777 0 -1 4202496 251290 0 0 0 179689 85 0 0 20 0 2 0 332519418 1096658944 252012 33554432000 4194304 5964350 140735611844560 140735611844080 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7285/statm: 267739 252012 195 433 0 267303 0
[pid=7285/tid=7287] ppid=7283 vsize=1070956 CPUtime=1798.09 cores=0,2,4,6
/proc/7285/task/7287/stat : 7287 (wbo1.72) R 7283 7285 3777 0 -1 4202560 249642 0 0 0 179696 113 0 0 20 0 2 0 332519424 1096658944 252012 33554432000 4194304 5964350 140735611844560 139640926316536 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1797.74
Current children cumulated vsize (KiB) 1070956

[startup+1799.1 s]
/proc/loadavg: 2.00 2.03 2.03 3/179 7342
/proc/meminfo: memFree=26203396/32873648 swapFree=7368/7368
[pid=7285] ppid=7283 vsize=1070956 CPUtime=1798.54 cores=0,2,4,6
/proc/7285/stat : 7285 (wbo1.72) S 7283 7285 3777 0 -1 4202496 251535 0 0 0 179769 85 0 0 20 0 2 0 332519418 1096658944 252257 33554432000 4194304 5964350 140735611844560 140735611844080 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7285/statm: 267739 252257 195 433 0 267303 0
[pid=7285/tid=7287] ppid=7283 vsize=1070956 CPUtime=1798.89 cores=0,2,4,6
/proc/7285/task/7287/stat : 7287 (wbo1.72) R 7283 7285 3777 0 -1 4202560 249887 0 0 0 179776 113 0 0 20 0 2 0 332519424 1096658944 252257 33554432000 4194304 5964350 140735611844560 139640926316536 4400011 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1798.54
Current children cumulated vsize (KiB) 1070956

[startup+1799.5 s]
/proc/loadavg: 2.00 2.03 2.03 3/179 7342
/proc/meminfo: memFree=26202032/32873648 swapFree=7368/7368
[pid=7285] ppid=7283 vsize=1070956 CPUtime=1798.95 cores=0,2,4,6
/proc/7285/stat : 7285 (wbo1.72) S 7283 7285 3777 0 -1 4202496 251609 0 0 0 179810 85 0 0 20 0 2 0 332519418 1096658944 252331 33554432000 4194304 5964350 140735611844560 140735611844080 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7285/statm: 267739 252331 195 433 0 267303 0
[pid=7285/tid=7287] ppid=7283 vsize=1070956 CPUtime=1799.3 cores=0,2,4,6
/proc/7285/task/7287/stat : 7287 (wbo1.72) R 7283 7285 3777 0 -1 4202560 249961 0 0 0 179817 113 0 0 20 0 2 0 332519424 1096658944 252331 33554432000 4194304 5964350 140735611844560 139640926316536 4399840 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1798.95
Current children cumulated vsize (KiB) 1070956

[startup+1799.9 s]
/proc/loadavg: 2.00 2.03 2.03 3/179 7342
/proc/meminfo: memFree=26202032/32873648 swapFree=7368/7368
[pid=7285] ppid=7283 vsize=1070956 CPUtime=1799.34 cores=0,2,4,6
/proc/7285/stat : 7285 (wbo1.72) S 7283 7285 3777 0 -1 4202496 251707 0 0 0 179849 85 0 0 20 0 2 0 332519418 1096658944 252429 33554432000 4194304 5964350 140735611844560 140735611844080 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7285/statm: 267739 252429 195 433 0 267303 0
[pid=7285/tid=7287] ppid=7283 vsize=1070956 CPUtime=1799.69 cores=0,2,4,6
/proc/7285/task/7287/stat : 7287 (wbo1.72) R 7283 7285 3777 0 -1 4202560 250059 0 0 0 179856 113 0 0 20 0 2 0 332519424 1096658944 252429 33554432000 4194304 5964350 140735611844560 139640926316536 4399987 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) 1070956

[startup+1800 s]
/proc/loadavg: 2.00 2.03 2.03 3/179 7342
/proc/meminfo: memFree=26202032/32873648 swapFree=7368/7368
[pid=7285] ppid=7283 vsize=1070956 CPUtime=1799.44 cores=0,2,4,6
/proc/7285/stat : 7285 (wbo1.72) S 7283 7285 3777 0 -1 4202496 251725 0 0 0 179859 85 0 0 20 0 2 0 332519418 1096658944 252447 33554432000 4194304 5964350 140735611844560 140735611844080 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7285/statm: 267739 252447 195 433 0 267303 0
[pid=7285/tid=7287] ppid=7283 vsize=1070956 CPUtime=1799.79 cores=0,2,4,6
/proc/7285/task/7287/stat : 7287 (wbo1.72) R 7283 7285 3777 0 -1 4202560 250077 0 0 0 179866 113 0 0 20 0 2 0 332519424 1096658944 252447 33554432000 4194304 5964350 140735611844560 139640926316536 4400007 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.44
Current children cumulated vsize (KiB) 1070956

Child status: 255
Real time (s): 1800.02
CPU time (s): 1799.88
CPU user time (s): 1798.72
CPU system time (s): 1.15682
CPU usage (%): 99.9924
Max. virtual memory (cumulated for all children) (KiB): 1070956

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.72
system time used= 1.15682
maximum resident set size= 1009816
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 251732
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= 370
involuntary context switches= 1956

runsolver used 2.75058 second user time and 7.07492 second system time

The end

Launcher Data 

Begin job on node149 at 2012-06-02 21:05:53
IDJOB=3727648
IDBENCH=25012
IDSOLVER=2313
FILE ID=node149/3727648-1338663953
RUNJOBID= node149-1338651349-6080
PBS_JOBID= 14636431
Free space on /tmp= 71324 MiB

SOLVER NAME= wbo 1.72
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_3.opb
COMMAND LINE= wbo1.72 -file-format=opb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3727648-1338663953/watcher-3727648-1338663953 -o /tmp/evaluation-result-3727648-1338663953/solver-3727648-1338663953 -C 1800 -W 1900 -M 15500  wbo1.72 -file-format=opb HOME/instance-3727648-1338663953.opb

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

MD5SUM BENCH= 82a3d84200b069df277c7f14e0e883d0
RANDOM SEED=1905174180

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


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        27417408 kB
Buffers:          691080 kB
Cached:          3702980 kB
SwapCached:         2468 kB
Active:          1760660 kB
Inactive:        2825020 kB
Active(anon):     174760 kB
Inactive(anon):     9368 kB
Active(file):    1585900 kB
Inactive(file):  2815652 kB
Unevictable:        7368 kB
Mlocked:            7368 kB
SwapTotal:      67108856 kB
SwapFree:       67104892 kB
Dirty:              5844 kB
Writeback:             0 kB
AnonPages:        280944 kB
Mapped:            15012 kB
Shmem:                96 kB
Slab:             731396 kB
SReclaimable:     175480 kB
SUnreclaim:       555916 kB
KernelStack:        1488 kB
PageTables:         4220 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     144512 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    247808 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71316 MiB
End job on node149 at 2012-06-02 21:35:53