Trace number 3727573

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.87 1800.01

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_4_30_3.opb
MD5SUMd26b3b10be20d9248aac462b86b1f040
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark52.396
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 2
Optimality of the best value was proved YES
Number of variables94
Total number of constraints8
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints8
Minimum length of a constraint45
Maximum length of a constraint46
Number of terms in the objective function 64
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 2040
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 940
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 3331
Number of bits of the biggest sum of numbers12
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-3727573-1338661609.opb.
0.00/0.00	c Instance file HOME/instance-3727573-1338661609.opb
0.00/0.00	c File size is 3596 bytes.
0.00/0.00	c Cost Offset: 0
0.00/0.00	c Highest Coefficient sum: 3331
0.00/0.00	c ============================[ Problem Statistics ]=============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |  Parsing time:          0.00         s                                      |
0.00/0.00	c |  Number Variables:      94                                                  |
0.00/0.00	c |  Number Clauses:        0                                                   |
0.00/0.00	c |  Number Cardinality:    0                                                   |
0.00/0.00	c |  Number PB Constraints: 8                                                   |
0.00/0.00	c |                                                                             |
0.00/0.00	c |  Problem Type:          Optimization                                        |
0.00/0.00	c |  Objective Function:    Cardinality Constraint                              |
0.00/0.00	c |                                                                             |
0.00/0.00	c ============================[ Search Statistics ]==============================
0.00/0.00	c | Time (s)  | ID |      Bound      |               Shared Clauses             |
0.00/0.00	c |           |    | value      type |  expCls         impCls        Lit/impCl  |
0.00/0.00	c ===============================================================================
1799.52/1800.00	c ===============================================================================
1799.52/1800.00	c Wall Clock Time: 1800.00 s
1799.52/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-3727573-1338661609/watcher-3727573-1338661609 -o /tmp/evaluation-result-3727573-1338661609/solver-3727573-1338661609 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3727573-1338661609.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.00 2.00 2.00 3/175 16786
/proc/meminfo: memFree=27727624/32873852 swapFree=6856/6856
[pid=16786] ppid=16784 vsize=83584 CPUtime=0 cores=0,2,4,6
/proc/16786/stat : 16786 (wbo1.72) S 16784 16786 14594 0 -1 4202496 756 0 0 0 0 0 0 0 20 0 2 0 332286770 85590016 707 33554432000 4194304 5964350 140734742137808 140734742137328 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16786/statm: 20896 707 190 433 0 20460 0
[pid=16786/tid=16787] ppid=16784 vsize=83584 CPUtime=0 cores=0,2,4,6
/proc/16786/task/16787/stat : 16787 (wbo1.72) R 16784 16786 14594 0 -1 4202560 57 0 0 0 0 0 0 0 20 0 2 0 332286771 85590016 707 33554432000 4194304 5964350 140734742137808 140735506773832 4403641 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0

[startup+0.0536279 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 16786
/proc/meminfo: memFree=27727624/32873852 swapFree=6856/6856
[pid=16786] ppid=16784 vsize=83584 CPUtime=0.04 cores=0,2,4,6
/proc/16786/stat : 16786 (wbo1.72) S 16784 16786 14594 0 -1 4202496 933 0 0 0 4 0 0 0 20 0 2 0 332286770 85590016 884 33554432000 4194304 5964350 140734742137808 140734742137328 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16786/statm: 20896 884 191 433 0 20460 0
[pid=16786/tid=16787] ppid=16784 vsize=83584 CPUtime=0.04 cores=0,2,4,6
/proc/16786/task/16787/stat : 16787 (wbo1.72) R 16784 16786 14594 0 -1 4202560 234 0 0 0 4 0 0 0 20 0 2 0 332286771 85590016 884 33554432000 4194304 5964350 140734742137808 140735506773832 5136340 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 83584

[startup+0.100296 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 16786
/proc/meminfo: memFree=27727624/32873852 swapFree=6856/6856
[pid=16786] ppid=16784 vsize=83584 CPUtime=0.09 cores=0,2,4,6
/proc/16786/stat : 16786 (wbo1.72) S 16784 16786 14594 0 -1 4202496 1071 0 0 0 9 0 0 0 20 0 2 0 332286770 85590016 1022 33554432000 4194304 5964350 140734742137808 140734742137328 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16786/statm: 20896 1022 191 433 0 20460 0
[pid=16786/tid=16787] ppid=16784 vsize=83584 CPUtime=0.08 cores=0,2,4,6
/proc/16786/task/16787/stat : 16787 (wbo1.72) R 16784 16786 14594 0 -1 4202560 372 0 0 0 8 0 0 0 20 0 2 0 332286771 85590016 1022 33554432000 4194304 5964350 140734742137808 140735506773832 5136410 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 83584

[startup+0.300301 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 16786
/proc/meminfo: memFree=27727624/32873852 swapFree=6856/6856
[pid=16786] ppid=16784 vsize=83584 CPUtime=0.29 cores=0,2,4,6
/proc/16786/stat : 16786 (wbo1.72) S 16784 16786 14594 0 -1 4202496 1524 0 0 0 29 0 0 0 20 0 2 0 332286770 85590016 1475 33554432000 4194304 5964350 140734742137808 140734742137328 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16786/statm: 20896 1475 191 433 0 20460 0
[pid=16786/tid=16787] ppid=16784 vsize=83584 CPUtime=0.28 cores=0,2,4,6
/proc/16786/task/16787/stat : 16787 (wbo1.72) R 16784 16786 14594 0 -1 4202560 825 0 0 0 28 0 0 0 20 0 2 0 332286771 85590016 1475 33554432000 4194304 5964350 140734742137808 140735506773832 4399840 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 83584

[startup+0.700301 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 16786
/proc/meminfo: memFree=27727624/32873852 swapFree=6856/6856
[pid=16786] ppid=16784 vsize=83728 CPUtime=0.69 cores=0,2,4,6
/proc/16786/stat : 16786 (wbo1.72) S 16784 16786 14594 0 -1 4202496 2032 0 0 0 69 0 0 0 20 0 2 0 332286770 85737472 1983 33554432000 4194304 5964350 140734742137808 140734742137328 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16786/statm: 20932 1983 191 433 0 20496 0
[pid=16786/tid=16787] ppid=16784 vsize=83728 CPUtime=0.68 cores=0,2,4,6
/proc/16786/task/16787/stat : 16787 (wbo1.72) R 16784 16786 14594 0 -1 4202560 1333 0 0 0 68 0 0 0 20 0 2 0 332286771 85737472 1983 33554432000 4194304 5964350 140734742137808 140735506773832 5139038 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 83728

[startup+1.50024 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16788
/proc/meminfo: memFree=27720392/32873852 swapFree=6856/6856
[pid=16786] ppid=16784 vsize=83728 CPUtime=1.49 cores=0,2,4,6
/proc/16786/stat : 16786 (wbo1.72) S 16784 16786 14594 0 -1 4202496 2328 0 0 0 149 0 0 0 20 0 2 0 332286770 85737472 2279 33554432000 4194304 5964350 140734742137808 140734742137328 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16786/statm: 20932 2279 191 433 0 20496 0
[pid=16786/tid=16787] ppid=16784 vsize=83728 CPUtime=1.48 cores=0,2,4,6
/proc/16786/task/16787/stat : 16787 (wbo1.72) R 16784 16786 14594 0 -1 4202560 1629 0 0 0 148 0 0 0 20 0 2 0 332286771 85737472 2279 33554432000 4194304 5964350 140734742137808 139706079426552 4399840 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 83728

[startup+3.10023 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16788
/proc/meminfo: memFree=27716672/32873852 swapFree=6856/6856
[pid=16786] ppid=16784 vsize=83800 CPUtime=3.09 cores=0,2,4,6
/proc/16786/stat : 16786 (wbo1.72) S 16784 16786 14594 0 -1 4202496 3579 0 0 0 308 1 0 0 20 0 2 0 332286770 85811200 3530 33554432000 4194304 5964350 140734742137808 140734742137328 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16786/statm: 20950 3530 191 433 0 20514 0
[pid=16786/tid=16787] ppid=16784 vsize=83800 CPUtime=3.08 cores=0,2,4,6
/proc/16786/task/16787/stat : 16787 (wbo1.72) R 16784 16786 14594 0 -1 4202560 2880 0 0 0 308 0 0 0 20 0 2 0 332286771 85811200 3530 33554432000 4194304 5964350 140734742137808 139706079426552 4221120 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) 83800

[startup+6.30031 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16827
/proc/meminfo: memFree=28090104/32873852 swapFree=6856/6856
[pid=16786] ppid=16784 vsize=83908 CPUtime=6.28 cores=0,2,4,6
/proc/16786/stat : 16786 (wbo1.72) S 16784 16786 14594 0 -1 4202496 5194 0 0 0 627 1 0 0 20 0 2 0 332286770 85921792 5159 33554432000 4194304 5964350 140734742137808 140734742137328 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16786/statm: 20977 5159 191 433 0 20541 0
[pid=16786/tid=16787] ppid=16784 vsize=83908 CPUtime=6.27 cores=0,2,4,6
/proc/16786/task/16787/stat : 16787 (wbo1.72) R 16784 16786 14594 0 -1 4202560 4495 0 0 0 626 1 0 0 20 0 2 0 332286771 85921792 5159 33554432000 4194304 5964350 140734742137808 139706079426552 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 83908

[startup+12.7003 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 16827
/proc/meminfo: memFree=28070808/32873852 swapFree=6856/6856
[pid=16786] ppid=16784 vsize=84356 CPUtime=12.68 cores=0,2,4,6
/proc/16786/stat : 16786 (wbo1.72) S 16784 16786 14594 0 -1 4202496 7198 0 0 0 1266 2 0 0 20 0 2 0 332286770 86380544 7163 33554432000 4194304 5964350 140734742137808 140734742137328 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16786/statm: 21089 7163 191 433 0 20653 0
[pid=16786/tid=16787] ppid=16784 vsize=84356 CPUtime=12.67 cores=0,2,4,6
/proc/16786/task/16787/stat : 16787 (wbo1.72) R 16784 16786 14594 0 -1 4202560 6499 0 0 0 1265 2 0 0 20 0 2 0 332286771 86380544 7163 33554432000 4194304 5964350 140734742137808 139706079426552 4221120 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) 84356

[startup+25.5003 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 16827
/proc/meminfo: memFree=28049740/32873852 swapFree=6856/6856
[pid=16786] ppid=16784 vsize=84860 CPUtime=25.48 cores=0,2,4,6
/proc/16786/stat : 16786 (wbo1.72) S 16784 16786 14594 0 -1 4202496 9246 0 0 0 2545 3 0 0 20 0 2 0 332286770 86896640 10214 33554432000 4194304 5964350 140734742137808 140734742137328 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16786/statm: 21215 10214 191 433 0 20779 0
[pid=16786/tid=16787] ppid=16784 vsize=84860 CPUtime=25.47 cores=0,2,4,6
/proc/16786/task/16787/stat : 16787 (wbo1.72) R 16784 16786 14594 0 -1 4202560 8547 0 0 0 2544 3 0 0 20 0 2 0 332286771 86896640 10214 33554432000 4194304 5964350 140734742137808 139706079426600 4221120 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) 84860

[startup+51.1003 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 16827
/proc/meminfo: memFree=28009736/32873852 swapFree=6856/6856
[pid=16786] ppid=16784 vsize=86828 CPUtime=51.07 cores=0,2,4,6
/proc/16786/stat : 16786 (wbo1.72) S 16784 16786 14594 0 -1 4202496 14458 0 0 0 5102 5 0 0 20 0 2 0 332286770 88911872 15426 33554432000 4194304 5964350 140734742137808 140734742137328 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16786/statm: 21707 15426 191 433 0 21271 0
[pid=16786/tid=16787] ppid=16784 vsize=86828 CPUtime=51.08 cores=0,2,4,6
/proc/16786/task/16787/stat : 16787 (wbo1.72) R 16784 16786 14594 0 -1 4202560 13759 0 0 0 5102 6 0 0 20 0 2 0 332286771 88911872 15426 33554432000 4194304 5964350 140734742137808 139706079426600 4400548 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 86828

[startup+102.307 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 16828
/proc/meminfo: memFree=27955248/32873852 swapFree=6856/6856
[pid=16786] ppid=16784 vsize=153984 CPUtime=102.24 cores=0,2,4,6
/proc/16786/stat : 16786 (wbo1.72) S 16784 16786 14594 0 -1 4202496 21664 0 0 0 10214 10 0 0 20 0 2 0 332286770 157679616 22671 33554432000 4194304 5964350 140734742137808 140734742137328 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16786/statm: 38496 22671 191 433 0 38060 0
[pid=16786/tid=16787] ppid=16784 vsize=153984 CPUtime=102.26 cores=0,2,4,6
/proc/16786/task/16787/stat : 16787 (wbo1.72) R 16784 16786 14594 0 -1 4202560 20965 0 0 0 10214 12 0 0 20 0 2 0 332286771 157679616 22671 33554432000 4194304 5964350 140734742137808 139706079426600 4399938 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 153984

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16828
/proc/meminfo: memFree=27906720/32873852 swapFree=6856/6856
[pid=16786] ppid=16784 vsize=155492 CPUtime=162.24 cores=0,2,4,6
/proc/16786/stat : 16786 (wbo1.72) S 16784 16786 14594 0 -1 4202496 28848 0 0 0 16207 17 0 0 20 0 2 0 332286770 159223808 29855 33554432000 4194304 5964350 140734742137808 140734742137328 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16786/statm: 38873 29855 191 433 0 38437 0
[pid=16786/tid=16787] ppid=16784 vsize=155492 CPUtime=162.26 cores=0,2,4,6
/proc/16786/task/16787/stat : 16787 (wbo1.72) R 16784 16786 14594 0 -1 4202560 28149 0 0 0 16206 20 0 0 20 0 2 0 332286771 159223808 29855 33554432000 4194304 5964350 140734742137808 139706079426600 4399840 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) 155492

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16831
/proc/meminfo: memFree=27870764/32873852 swapFree=6856/6856
[pid=16786] ppid=16784 vsize=156624 CPUtime=222.2 cores=0,2,4,6
/proc/16786/stat : 16786 (wbo1.72) S 16784 16786 14594 0 -1 4202496 33253 0 0 0 22198 22 0 0 20 0 2 0 332286770 160382976 34258 33554432000 4194304 5964350 140734742137808 140734742137328 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16786/statm: 39156 34258 191 433 0 38720 0
[pid=16786/tid=16787] ppid=16784 vsize=156624 CPUtime=222.24 cores=0,2,4,6
/proc/16786/task/16787/stat : 16787 (wbo1.72) R 16784 16786 14594 0 -1 4202560 32554 0 0 0 22198 26 0 0 20 0 2 0 332286771 160382976 34258 33554432000 4194304 5964350 140734742137808 139706079426552 4399840 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 156624

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16831
/proc/meminfo: memFree=27827392/32873852 swapFree=6856/6856
[pid=16786] ppid=16784 vsize=223868 CPUtime=282.19 cores=0,2,4,6
/proc/16786/stat : 16786 (wbo1.72) S 16784 16786 14594 0 -1 4202496 39398 0 0 0 28191 28 0 0 20 0 2 0 332286770 229240832 40403 33554432000 4194304 5964350 140734742137808 140734742137328 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16786/statm: 55967 40403 191 433 0 55531 0
[pid=16786/tid=16787] ppid=16784 vsize=223868 CPUtime=282.24 cores=0,2,4,6
/proc/16786/task/16787/stat : 16787 (wbo1.72) R 16784 16786 14594 0 -1 4202560 38699 0 0 0 28191 33 0 0 20 0 2 0 332286771 229240832 40403 33554432000 4194304 5964350 140734742137808 139706079426600 4381584 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 223868

[startup+342.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/177 16831
/proc/meminfo: memFree=27792360/32873852 swapFree=6856/6856
[pid=16786] ppid=16784 vsize=224588 CPUtime=342.18 cores=0,2,4,6
/proc/16786/stat : 16786 (wbo1.72) S 16784 16786 14594 0 -1 4202496 43997 0 0 0 34185 33 0 0 20 0 2 0 332286770 229978112 45002 33554432000 4194304 5964350 140734742137808 140734742137328 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16786/statm: 56147 45002 191 433 0 55711 0
[pid=16786/tid=16787] ppid=16784 vsize=224588 CPUtime=342.24 cores=0,2,4,6
/proc/16786/task/16787/stat : 16787 (wbo1.72) R 16784 16786 14594 0 -1 4202560 43298 0 0 0 34185 39 0 0 20 0 2 0 332286771 229978112 45002 33554432000 4194304 5964350 140734742137808 139706079426600 4379152 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 224588

[startup+402.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 16832
/proc/meminfo: memFree=27770856/32873852 swapFree=6856/6856
[pid=16786] ppid=16784 vsize=224928 CPUtime=402.14 cores=0,2,4,6
/proc/16786/stat : 16786 (wbo1.72) S 16784 16786 14594 0 -1 4202496 46822 0 0 0 40178 36 0 0 20 0 2 0 332286770 230326272 47810 33554432000 4194304 5964350 140734742137808 140734742137328 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0

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

/proc/16786/task/16787/stat : 16787 (wbo1.72) R 16784 16786 14594 0 -1 4202560 90003 0 0 0 130114 103 0 0 20 0 2 0 332286771 442281984 91648 33554432000 4194304 5964350 140734742137808 139706079426600 4399840 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 431916

[startup+1362.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 16838
/proc/meminfo: memFree=27412736/32873852 swapFree=6856/6856
[pid=16786] ppid=16784 vsize=431916 CPUtime=1361.92 cores=0,2,4,6
/proc/16786/stat : 16786 (wbo1.72) S 16784 16786 14594 0 -1 4202496 93489 0 0 0 136106 86 0 0 20 0 2 0 332286770 442281984 94435 33554432000 4194304 5964350 140734742137808 140734742137328 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16786/statm: 107979 94435 191 433 0 107543 0
[pid=16786/tid=16787] ppid=16784 vsize=431916 CPUtime=1362.17 cores=0,2,4,6
/proc/16786/task/16787/stat : 16787 (wbo1.72) R 16784 16786 14594 0 -1 4202560 92790 0 0 0 136110 107 0 0 20 0 2 0 332286771 442281984 94435 33554432000 4194304 5964350 140734742137808 139706079426552 4399840 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 431916

[startup+1422.31 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 16841
/proc/meminfo: memFree=27390408/32873852 swapFree=6856/6856
[pid=16786] ppid=16784 vsize=432584 CPUtime=1421.92 cores=0,2,4,6
/proc/16786/stat : 16786 (wbo1.72) S 16784 16786 14594 0 -1 4202496 97854 0 0 0 142101 91 0 0 20 0 2 0 332286770 442966016 98800 33554432000 4194304 5964350 140734742137808 140734742137328 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16786/statm: 108146 98800 191 433 0 107710 0
[pid=16786/tid=16787] ppid=16784 vsize=432584 CPUtime=1422.18 cores=0,2,4,6
/proc/16786/task/16787/stat : 16787 (wbo1.72) R 16784 16786 14594 0 -1 4202560 97155 0 0 0 142105 113 0 0 20 0 2 0 332286771 442966016 98800 33554432000 4194304 5964350 140734742137808 139706079426552 4399840 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 432584

[startup+1482.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 16841
/proc/meminfo: memFree=27367548/32873852 swapFree=6856/6856
[pid=16786] ppid=16784 vsize=432800 CPUtime=1481.9 cores=0,2,4,6
/proc/16786/stat : 16786 (wbo1.72) S 16784 16786 14594 0 -1 4202496 100701 0 0 0 148095 95 0 0 20 0 2 0 332286770 443187200 101647 33554432000 4194304 5964350 140734742137808 140734742137328 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16786/statm: 108200 101647 191 433 0 107764 0
[pid=16786/tid=16787] ppid=16784 vsize=432800 CPUtime=1482.17 cores=0,2,4,6
/proc/16786/task/16787/stat : 16787 (wbo1.72) R 16784 16786 14594 0 -1 4202560 100002 0 0 0 148099 118 0 0 20 0 2 0 332286771 443187200 101647 33554432000 4194304 5964350 140734742137808 139706079426552 4399840 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 432800

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16841
/proc/meminfo: memFree=27348452/32873852 swapFree=6856/6856
[pid=16786] ppid=16784 vsize=433040 CPUtime=1541.9 cores=0,2,4,6
/proc/16786/stat : 16786 (wbo1.72) S 16784 16786 14594 0 -1 4202496 102936 0 0 0 154092 98 0 0 20 0 2 0 332286770 443432960 103882 33554432000 4194304 5964350 140734742137808 140734742137328 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16786/statm: 108260 103882 191 433 0 107824 0
[pid=16786/tid=16787] ppid=16784 vsize=433040 CPUtime=1542.18 cores=0,2,4,6
/proc/16786/task/16787/stat : 16787 (wbo1.72) R 16784 16786 14594 0 -1 4202560 102237 0 0 0 154096 122 0 0 20 0 2 0 332286771 443432960 103882 33554432000 4194304 5964350 140734742137808 139706079426600 4399840 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 433040

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16841
/proc/meminfo: memFree=27319436/32873852 swapFree=6856/6856
[pid=16786] ppid=16784 vsize=498720 CPUtime=1601.88 cores=0,2,4,6
/proc/16786/stat : 16786 (wbo1.72) S 16784 16786 14594 0 -1 4202496 107057 0 0 0 160087 101 0 0 20 0 2 0 332286770 510689280 108003 33554432000 4194304 5964350 140734742137808 140734742137328 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16786/statm: 124680 108003 191 433 0 124244 0
[pid=16786/tid=16787] ppid=16784 vsize=498720 CPUtime=1602.18 cores=0,2,4,6
/proc/16786/task/16787/stat : 16787 (wbo1.72) R 16784 16786 14594 0 -1 4202560 106358 0 0 0 160092 126 0 0 20 0 2 0 332286771 510689280 108003 33554432000 4194304 5964350 140734742137808 139706079426600 4378751 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 498720

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16842
/proc/meminfo: memFree=27312424/32873852 swapFree=6856/6856
[pid=16786] ppid=16784 vsize=498720 CPUtime=1661.87 cores=0,2,4,6
/proc/16786/stat : 16786 (wbo1.72) S 16784 16786 14594 0 -1 4202496 107060 0 0 0 166086 101 0 0 20 0 2 0 332286770 510689280 108003 33554432000 4194304 5964350 140734742137808 140734742137328 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16786/statm: 124680 108003 191 433 0 124244 0
[pid=16786/tid=16787] ppid=16784 vsize=498720 CPUtime=1662.18 cores=0,2,4,6
/proc/16786/task/16787/stat : 16787 (wbo1.72) R 16784 16786 14594 0 -1 4202560 106361 0 0 0 166091 127 0 0 20 0 2 0 332286771 510689280 108003 33554432000 4194304 5964350 140734742137808 139706079426600 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 498720

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16842
/proc/meminfo: memFree=27297296/32873852 swapFree=6856/6856
[pid=16786] ppid=16784 vsize=498880 CPUtime=1721.83 cores=0,2,4,6
/proc/16786/stat : 16786 (wbo1.72) S 16784 16786 14594 0 -1 4202496 110228 0 0 0 172077 106 0 0 20 0 2 0 332286770 510853120 111140 33554432000 4194304 5964350 140734742137808 140734742137328 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16786/statm: 124720 111140 191 433 0 124284 0
[pid=16786/tid=16787] ppid=16784 vsize=498880 CPUtime=1722.14 cores=0,2,4,6
/proc/16786/task/16787/stat : 16787 (wbo1.72) R 16784 16786 14594 0 -1 4202560 109529 0 0 0 172082 132 0 0 20 0 2 0 332286771 510853120 111140 33554432000 4194304 5964350 140734742137808 139706079426600 4399840 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 498880

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16842
/proc/meminfo: memFree=27269024/32873852 swapFree=6856/6856
[pid=16786] ppid=16784 vsize=499784 CPUtime=1781.82 cores=0,2,4,6
/proc/16786/stat : 16786 (wbo1.72) S 16784 16786 14594 0 -1 4202496 114483 0 0 0 178071 111 0 0 20 0 2 0 332286770 511778816 115395 33554432000 4194304 5964350 140734742137808 140734742137328 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16786/statm: 124946 115395 191 433 0 124510 0
[pid=16786/tid=16787] ppid=16784 vsize=499784 CPUtime=1782.15 cores=0,2,4,6
/proc/16786/task/16787/stat : 16787 (wbo1.72) R 16784 16786 14594 0 -1 4202560 113784 0 0 0 178076 139 0 0 20 0 2 0 332286771 511778816 115395 33554432000 4194304 5964350 140734742137808 139706079426600 4379316 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 499784

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

[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16842
/proc/meminfo: memFree=27268032/32873852 swapFree=6856/6856
[pid=16786] ppid=16784 vsize=499784 CPUtime=1791.43 cores=0,2,4,6
/proc/16786/stat : 16786 (wbo1.72) S 16784 16786 14594 0 -1 4202496 114483 0 0 0 179032 111 0 0 20 0 2 0 332286770 511778816 115395 33554432000 4194304 5964350 140734742137808 140734742137328 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16786/statm: 124946 115395 191 433 0 124510 0
[pid=16786/tid=16787] ppid=16784 vsize=499784 CPUtime=1791.75 cores=0,2,4,6
/proc/16786/task/16787/stat : 16787 (wbo1.72) R 16784 16786 14594 0 -1 4202560 113784 0 0 0 179036 139 0 0 20 0 2 0 332286771 511778816 115395 33554432000 4194304 5964350 140734742137808 139706079426600 4399840 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1791.43
Current children cumulated vsize (KiB) 499784

[startup+1795.1 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 16842
/proc/meminfo: memFree=27267660/32873852 swapFree=6856/6856
[pid=16786] ppid=16784 vsize=499784 CPUtime=1794.63 cores=0,2,4,6
/proc/16786/stat : 16786 (wbo1.72) S 16784 16786 14594 0 -1 4202496 114483 0 0 0 179352 111 0 0 20 0 2 0 332286770 511778816 115395 33554432000 4194304 5964350 140734742137808 140734742137328 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16786/statm: 124946 115395 191 433 0 124510 0
[pid=16786/tid=16787] ppid=16784 vsize=499784 CPUtime=1794.95 cores=0,2,4,6
/proc/16786/task/16787/stat : 16787 (wbo1.72) R 16784 16786 14594 0 -1 4202560 113784 0 0 0 179356 139 0 0 20 0 2 0 332286771 511778816 115395 33554432000 4194304 5964350 140734742137808 139706079426600 4399906 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1794.63
Current children cumulated vsize (KiB) 499784

[startup+1798.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 16842
/proc/meminfo: memFree=27267412/32873852 swapFree=6856/6856
[pid=16786] ppid=16784 vsize=499784 CPUtime=1797.82 cores=0,2,4,6
/proc/16786/stat : 16786 (wbo1.72) S 16784 16786 14594 0 -1 4202496 114483 0 0 0 179671 111 0 0 20 0 2 0 332286770 511778816 115395 33554432000 4194304 5964350 140734742137808 140734742137328 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16786/statm: 124946 115395 191 433 0 124510 0
[pid=16786/tid=16787] ppid=16784 vsize=499784 CPUtime=1798.15 cores=0,2,4,6
/proc/16786/task/16787/stat : 16787 (wbo1.72) R 16784 16786 14594 0 -1 4202560 113784 0 0 0 179676 139 0 0 20 0 2 0 332286771 511778816 115395 33554432000 4194304 5964350 140734742137808 139706079426600 4399840 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1797.82
Current children cumulated vsize (KiB) 499784

[startup+1799.1 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 16842
/proc/meminfo: memFree=27267288/32873852 swapFree=6856/6856
[pid=16786] ppid=16784 vsize=499784 CPUtime=1798.62 cores=0,2,4,6
/proc/16786/stat : 16786 (wbo1.72) S 16784 16786 14594 0 -1 4202496 114483 0 0 0 179751 111 0 0 20 0 2 0 332286770 511778816 115395 33554432000 4194304 5964350 140734742137808 140734742137328 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16786/statm: 124946 115395 191 433 0 124510 0
[pid=16786/tid=16787] ppid=16784 vsize=499784 CPUtime=1798.95 cores=0,2,4,6
/proc/16786/task/16787/stat : 16787 (wbo1.72) R 16784 16786 14594 0 -1 4202560 113784 0 0 0 179756 139 0 0 20 0 2 0 332286771 511778816 115395 33554432000 4194304 5964350 140734742137808 139706079426600 4399938 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1798.62
Current children cumulated vsize (KiB) 499784

[startup+1799.5 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 16842
/proc/meminfo: memFree=27267288/32873852 swapFree=6856/6856
[pid=16786] ppid=16784 vsize=499784 CPUtime=1799.03 cores=0,2,4,6
/proc/16786/stat : 16786 (wbo1.72) S 16784 16786 14594 0 -1 4202496 114483 0 0 0 179792 111 0 0 20 0 2 0 332286770 511778816 115395 33554432000 4194304 5964350 140734742137808 140734742137328 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16786/statm: 124946 115395 191 433 0 124510 0
[pid=16786/tid=16787] ppid=16784 vsize=499784 CPUtime=1799.35 cores=0,2,4,6
/proc/16786/task/16787/stat : 16787 (wbo1.72) R 16784 16786 14594 0 -1 4202560 113784 0 0 0 179796 139 0 0 20 0 2 0 332286771 511778816 115395 33554432000 4194304 5964350 140734742137808 139706079426600 5122334 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.03
Current children cumulated vsize (KiB) 499784

[startup+1799.9 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 16842
/proc/meminfo: memFree=27267288/32873852 swapFree=6856/6856
[pid=16786] ppid=16784 vsize=499784 CPUtime=1799.42 cores=0,2,4,6
/proc/16786/stat : 16786 (wbo1.72) S 16784 16786 14594 0 -1 4202496 114483 0 0 0 179831 111 0 0 20 0 2 0 332286770 511778816 115395 33554432000 4194304 5964350 140734742137808 140734742137328 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16786/statm: 124946 115395 191 433 0 124510 0
[pid=16786/tid=16787] ppid=16784 vsize=499784 CPUtime=1799.75 cores=0,2,4,6
/proc/16786/task/16787/stat : 16787 (wbo1.72) R 16784 16786 14594 0 -1 4202560 113784 0 0 0 179836 139 0 0 20 0 2 0 332286771 511778816 115395 33554432000 4194304 5964350 140734742137808 139706079426600 4400548 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.42
Current children cumulated vsize (KiB) 499784

[startup+1800 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 16842
/proc/meminfo: memFree=27267288/32873852 swapFree=6856/6856
[pid=16786] ppid=16784 vsize=499784 CPUtime=1799.52 cores=0,2,4,6
/proc/16786/stat : 16786 (wbo1.72) S 16784 16786 14594 0 -1 4202496 114483 0 0 0 179841 111 0 0 20 0 2 0 332286770 511778816 115395 33554432000 4194304 5964350 140734742137808 140734742137328 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16786/statm: 124946 115395 191 433 0 124510 0
[pid=16786/tid=16787] ppid=16784 vsize=499784 CPUtime=1799.85 cores=0,2,4,6
/proc/16786/task/16787/stat : 16787 (wbo1.72) R 16784 16786 14594 0 -1 4202560 113784 0 0 0 179846 139 0 0 20 0 2 0 332286771 511778816 115395 33554432000 4194304 5964350 140734742137808 139706079426600 4399840 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.52
Current children cumulated vsize (KiB) 499784

Child status: 255
Real time (s): 1800.01
CPU time (s): 1799.87
CPU user time (s): 1798.47
CPU system time (s): 1.40779
CPU usage (%): 99.9926
Max. virtual memory (cumulated for all children) (KiB): 499784

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.47
system time used= 1.40779
maximum resident set size= 461592
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 114486
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= 193
involuntary context switches= 1844

runsolver used 7.11792 second user time and 10.4434 second system time

The end

Launcher Data 

Begin job on node128 at 2012-06-02 20:26:49
IDJOB=3727573
IDBENCH=2896
IDSOLVER=2313
FILE ID=node128/3727573-1338661609
RUNJOBID= node128-1338650806-16012
PBS_JOBID= 14636452
Free space on /tmp= 70504 MiB

SOLVER NAME= wbo 1.72
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_4_30_3.opb
COMMAND LINE= wbo1.72 -file-format=opb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3727573-1338661609/watcher-3727573-1338661609 -o /tmp/evaluation-result-3727573-1338661609/solver-3727573-1338661609 -C 1800 -W 1900 -M 15500  wbo1.72 -file-format=opb HOME/instance-3727573-1338661609.opb

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

MD5SUM BENCH= d26b3b10be20d9248aac462b86b1f040
RANDOM SEED=1074180010

node128.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.389
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.77
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.389
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.389
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.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.389
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.389
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.389
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.389
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.389
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:       32873852 kB
MemFree:        27728104 kB
Buffers:          523216 kB
Cached:          3328644 kB
SwapCached:          784 kB
Active:          2111940 kB
Inactive:        2142884 kB
Active(anon):     393800 kB
Inactive(anon):    11368 kB
Active(file):    1718140 kB
Inactive(file):  2131516 kB
Unevictable:        6856 kB
Mlocked:            6856 kB
SwapTotal:      67108856 kB
SwapFree:       67106552 kB
Dirty:              5656 kB
Writeback:             0 kB
AnonPages:        404848 kB
Mapped:            14744 kB
Shmem:               200 kB
Slab:             752312 kB
SReclaimable:     194676 kB
SUnreclaim:       557636 kB
KernelStack:        1456 kB
PageTables:         4416 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545780 kB
Committed_AS:     155212 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346360 kB
VmallocChunk:   34341988004 kB
HardwareCorrupted:     0 kB
AnonHugePages:    376832 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= 70500 MiB
End job on node128 at 2012-06-02 20:56:49