Trace number 3705283

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.7? 1799.87 1800.01

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_8_70_1.opb
MD5SUM0263d0a7c5e3320bd7cce9534c14bf27
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark15
Best CPU time to get the best result obtained on this benchmark1792.11
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 32
Optimality of the best value was proved NO
Number of variables198
Total number of constraints16
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 constraints16
Minimum length of a constraint85
Maximum length of a constraint86
Number of terms in the objective function 128
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 4080
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1884
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 6162
Number of bits of the biggest sum of numbers13
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.7 beta - March, 2012                            |
0.00/0.00	c |                                                                             |
0.00/0.00	c Parsing opb file format. File HOME/instance-3705283-1338102403.opb.
0.00/0.00	c Instance file HOME/instance-3705283-1338102403.opb
0.00/0.00	c File size is 13239 bytes.
0.00/0.00	c Cost Offset: 0
0.00/0.00	c Highest Coefficient sum: 6162
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:      198                                                 |
0.00/0.00	c |  Number Clauses:        0                                                   |
0.00/0.00	c |  Number Cardinality:    0                                                   |
0.00/0.00	c |  Number PB Constraints: 16                                                  |
0.00/0.00	c |                                                                             |
0.00/0.00	c |  Problem Type:          Optimization                                        |
0.00/0.00	c |  Objective Function:    PB 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.49/1800.00	c ===============================================================================
1799.49/1800.00	c Wall Clock Time: 1800.00 s
1799.49/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-3705283-1338102403/watcher-3705283-1338102403 -o /tmp/evaluation-result-3705283-1338102403/solver-3705283-1338102403 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3705283-1338102403.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.09 2.03 2.01 3/177 23252
/proc/meminfo: memFree=29252960/32873844 swapFree=6856/6856
[pid=23252] ppid=23250 vsize=83660 CPUtime=0 cores=0,2,4,6
/proc/23252/stat : 23252 (wbo1.7) S 23250 23252 21940 0 -1 4202496 791 0 0 0 0 0 0 0 20 0 2 0 276365218 85667840 739 33554432000 4194304 5963574 140734647381616 140734647381136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23252/statm: 20915 739 189 432 0 20480 0
[pid=23252/tid=23253] ppid=23250 vsize=83660 CPUtime=0 cores=0,2,4,6
/proc/23252/task/23253/stat : 23253 (wbo1.7) R 23250 23252 21940 0 -1 4202560 65 0 0 0 0 0 0 0 20 0 2 0 276365219 85667840 739 33554432000 4194304 5963574 140734647381616 140735416642056 5135572 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0

[startup+0.0899839 s]
/proc/loadavg: 2.09 2.03 2.01 3/177 23252
/proc/meminfo: memFree=29252960/32873844 swapFree=6856/6856
[pid=23252] ppid=23250 vsize=83660 CPUtime=0.08 cores=0,2,4,6
/proc/23252/stat : 23252 (wbo1.7) S 23250 23252 21940 0 -1 4202496 969 0 0 0 8 0 0 0 20 0 2 0 276365218 85667840 917 33554432000 4194304 5963574 140734647381616 140734647381136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23252/statm: 20915 917 191 432 0 20480 0
[pid=23252/tid=23253] ppid=23250 vsize=83660 CPUtime=0.07 cores=0,2,4,6
/proc/23252/task/23253/stat : 23253 (wbo1.7) R 23250 23252 21940 0 -1 4202560 243 0 0 0 7 0 0 0 20 0 2 0 276365219 85667840 917 33554432000 4194304 5963574 140734647381616 140735416642056 5135572 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 83660

[startup+0.100292 s]
/proc/loadavg: 2.09 2.03 2.01 3/177 23252
/proc/meminfo: memFree=29252960/32873844 swapFree=6856/6856
[pid=23252] ppid=23250 vsize=83660 CPUtime=0.09 cores=0,2,4,6
/proc/23252/stat : 23252 (wbo1.7) S 23250 23252 21940 0 -1 4202496 993 0 0 0 9 0 0 0 20 0 2 0 276365218 85667840 941 33554432000 4194304 5963574 140734647381616 140734647381136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23252/statm: 20915 941 191 432 0 20480 0
[pid=23252/tid=23253] ppid=23250 vsize=83660 CPUtime=0.08 cores=0,2,4,6
/proc/23252/task/23253/stat : 23253 (wbo1.7) R 23250 23252 21940 0 -1 4202560 267 0 0 0 8 0 0 0 20 0 2 0 276365219 85667840 941 33554432000 4194304 5963574 140734647381616 140735416642056 5135572 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) 83660

[startup+0.300257 s]
/proc/loadavg: 2.09 2.03 2.01 3/177 23252
/proc/meminfo: memFree=29252960/32873844 swapFree=6856/6856
[pid=23252] ppid=23250 vsize=83660 CPUtime=0.29 cores=0,2,4,6
/proc/23252/stat : 23252 (wbo1.7) S 23250 23252 21940 0 -1 4202496 1358 0 0 0 29 0 0 0 20 0 2 0 276365218 85667840 1306 33554432000 4194304 5963574 140734647381616 140734647381136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23252/statm: 20915 1306 191 432 0 20480 0
[pid=23252/tid=23253] ppid=23250 vsize=83660 CPUtime=0.28 cores=0,2,4,6
/proc/23252/task/23253/stat : 23253 (wbo1.7) R 23250 23252 21940 0 -1 4202560 632 0 0 0 28 0 0 0 20 0 2 0 276365219 85667840 1306 33554432000 4194304 5963574 140734647381616 140735416642056 5135572 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) 83660

[startup+0.700252 s]
/proc/loadavg: 2.09 2.03 2.01 3/177 23252
/proc/meminfo: memFree=29252960/32873844 swapFree=6856/6856
[pid=23252] ppid=23250 vsize=83660 CPUtime=0.69 cores=0,2,4,6
/proc/23252/stat : 23252 (wbo1.7) S 23250 23252 21940 0 -1 4202496 1998 0 0 0 69 0 0 0 20 0 2 0 276365218 85667840 1946 33554432000 4194304 5963574 140734647381616 140734647381136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23252/statm: 20915 1946 191 432 0 20480 0
[pid=23252/tid=23253] ppid=23250 vsize=83660 CPUtime=0.68 cores=0,2,4,6
/proc/23252/task/23253/stat : 23253 (wbo1.7) R 23250 23252 21940 0 -1 4202560 1272 0 0 0 68 0 0 0 20 0 2 0 276365219 85667840 1946 33554432000 4194304 5963574 140734647381616 140262575548408 5135572 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) 83660

[startup+1.50025 s]
/proc/loadavg: 2.08 2.03 2.01 3/179 23254
/proc/meminfo: memFree=29243000/32873844 swapFree=6856/6856
[pid=23252] ppid=23250 vsize=83804 CPUtime=1.48 cores=0,2,4,6
/proc/23252/stat : 23252 (wbo1.7) S 23250 23252 21940 0 -1 4202496 2528 0 0 0 148 0 0 0 20 0 2 0 276365218 85815296 2476 33554432000 4194304 5963574 140734647381616 140734647381136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23252/statm: 20951 2476 191 432 0 20516 0
[pid=23252/tid=23253] ppid=23250 vsize=83804 CPUtime=1.48 cores=0,2,4,6
/proc/23252/task/23253/stat : 23253 (wbo1.7) R 23250 23252 21940 0 -1 4202560 1802 0 0 0 148 0 0 0 20 0 2 0 276365219 85815296 2476 33554432000 4194304 5963574 140734647381616 140262575548408 5135572 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) 83804

[startup+3.10025 s]
/proc/loadavg: 2.08 2.03 2.01 3/179 23254
/proc/meminfo: memFree=29238692/32873844 swapFree=6856/6856
[pid=23252] ppid=23250 vsize=83876 CPUtime=3.09 cores=0,2,4,6
/proc/23252/stat : 23252 (wbo1.7) S 23250 23252 21940 0 -1 4202496 3471 0 0 0 308 1 0 0 20 0 2 0 276365218 85889024 3419 33554432000 4194304 5963574 140734647381616 140734647381136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23252/statm: 20969 3419 191 432 0 20534 0
[pid=23252/tid=23253] ppid=23250 vsize=83876 CPUtime=3.09 cores=0,2,4,6
/proc/23252/task/23253/stat : 23253 (wbo1.7) R 23250 23252 21940 0 -1 4202560 2745 0 0 0 307 2 0 0 20 0 2 0 276365219 85889024 3419 33554432000 4194304 5963574 140734647381616 140262575548216 4222474 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) 83876

[startup+6.30025 s]
/proc/loadavg: 2.08 2.03 2.01 3/179 23254
/proc/meminfo: memFree=29225920/32873844 swapFree=6856/6856
[pid=23252] ppid=23250 vsize=83876 CPUtime=6.28 cores=0,2,4,6
/proc/23252/stat : 23252 (wbo1.7) S 23250 23252 21940 0 -1 4202496 5075 0 0 0 627 1 0 0 20 0 2 0 276365218 85889024 5023 33554432000 4194304 5963574 140734647381616 140734647381136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23252/statm: 20969 5023 191 432 0 20534 0
[pid=23252/tid=23253] ppid=23250 vsize=83876 CPUtime=6.28 cores=0,2,4,6
/proc/23252/task/23253/stat : 23253 (wbo1.7) R 23250 23252 21940 0 -1 4202560 4349 0 0 0 626 2 0 0 20 0 2 0 276365219 85889024 5023 33554432000 4194304 5963574 140734647381616 140262575548216 4399625 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) 83876

[startup+12.7003 s]
/proc/loadavg: 2.07 2.03 2.00 3/179 23254
/proc/meminfo: memFree=29209800/32873844 swapFree=6856/6856
[pid=23252] ppid=23250 vsize=84144 CPUtime=12.69 cores=0,2,4,6
/proc/23252/stat : 23252 (wbo1.7) S 23250 23252 21940 0 -1 4202496 8027 0 0 0 1267 2 0 0 20 0 2 0 276365218 86163456 7975 33554432000 4194304 5963574 140734647381616 140734647381136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23252/statm: 21036 7975 191 432 0 20601 0
[pid=23252/tid=23253] ppid=23250 vsize=84144 CPUtime=12.69 cores=0,2,4,6
/proc/23252/task/23253/stat : 23253 (wbo1.7) R 23250 23252 21940 0 -1 4202560 7301 0 0 0 1266 3 0 0 20 0 2 0 276365219 86163456 7975 33554432000 4194304 5963574 140734647381616 140262575548408 5135572 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 84144

[startup+25.5003 s]
/proc/loadavg: 2.06 2.03 2.00 3/179 23254
/proc/meminfo: memFree=29182752/32873844 swapFree=6856/6856
[pid=23252] ppid=23250 vsize=84144 CPUtime=25.49 cores=0,2,4,6
/proc/23252/stat : 23252 (wbo1.7) S 23250 23252 21940 0 -1 4202496 11359 0 0 0 2545 4 0 0 20 0 2 0 276365218 86163456 11307 33554432000 4194304 5963574 140734647381616 140734647381136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23252/statm: 21036 11307 191 432 0 20601 0
[pid=23252/tid=23253] ppid=23250 vsize=84144 CPUtime=25.48 cores=0,2,4,6
/proc/23252/task/23253/stat : 23253 (wbo1.7) R 23250 23252 21940 0 -1 4202560 10633 0 0 0 2544 4 0 0 20 0 2 0 276365219 86163456 11307 33554432000 4194304 5963574 140734647381616 140262575548408 4399546 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 84144

[startup+51.1003 s]
/proc/loadavg: 2.11 2.04 2.01 3/179 23255
/proc/meminfo: memFree=29147436/32873844 swapFree=6856/6856
[pid=23252] ppid=23250 vsize=84384 CPUtime=51.08 cores=0,2,4,6
/proc/23252/stat : 23252 (wbo1.7) S 23250 23252 21940 0 -1 4202496 16112 0 0 0 5103 5 0 0 20 0 2 0 276365218 86409216 16057 33554432000 4194304 5963574 140734647381616 140734647381136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23252/statm: 21096 16057 191 432 0 20661 0
[pid=23252/tid=23253] ppid=23250 vsize=84384 CPUtime=51.08 cores=0,2,4,6
/proc/23252/task/23253/stat : 23253 (wbo1.7) R 23250 23252 21940 0 -1 4202560 15386 0 0 0 5102 6 0 0 20 0 2 0 276365219 86409216 16057 33554432000 4194304 5963574 140734647381616 140262575548408 5135642 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) 84384

[startup+102.306 s]
/proc/loadavg: 2.05 2.03 2.00 3/179 23255
/proc/meminfo: memFree=29077128/32873844 swapFree=6856/6856
[pid=23252] ppid=23250 vsize=151288 CPUtime=102.25 cores=0,2,4,6
/proc/23252/stat : 23252 (wbo1.7) S 23250 23252 21940 0 -1 4202496 25013 0 0 0 10216 9 0 0 20 0 2 0 276365218 154918912 26194 33554432000 4194304 5963574 140734647381616 140734647381136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23252/statm: 37822 26194 191 432 0 37387 0
[pid=23252/tid=23253] ppid=23250 vsize=151288 CPUtime=102.26 cores=0,2,4,6
/proc/23252/task/23253/stat : 23253 (wbo1.7) R 23250 23252 21940 0 -1 4202560 24287 0 0 0 10215 11 0 0 20 0 2 0 276365219 154918912 26194 33554432000 4194304 5963574 140734647381616 140262575548408 5135572 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 151288

[startup+162.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 23255
/proc/meminfo: memFree=29009684/32873844 swapFree=6856/6856
[pid=23252] ppid=23250 vsize=151936 CPUtime=162.24 cores=0,2,4,6
/proc/23252/stat : 23252 (wbo1.7) S 23250 23252 21940 0 -1 4202496 32977 0 0 0 16210 14 0 0 20 0 2 0 276365218 155582464 34158 33554432000 4194304 5963574 140734647381616 140734647381136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23252/statm: 37984 34158 191 432 0 37549 0
[pid=23252/tid=23253] ppid=23250 vsize=151936 CPUtime=162.26 cores=0,2,4,6
/proc/23252/task/23253/stat : 23253 (wbo1.7) R 23250 23252 21940 0 -1 4202560 32251 0 0 0 16210 16 0 0 20 0 2 0 276365219 155582464 34158 33554432000 4194304 5963574 140734647381616 140262575548456 4399456 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) 151936

[startup+222.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/180 23258
/proc/meminfo: memFree=28963052/32873844 swapFree=6856/6856
[pid=23252] ppid=23250 vsize=219164 CPUtime=222.19 cores=0,2,4,6
/proc/23252/stat : 23252 (wbo1.7) S 23250 23252 21940 0 -1 4202496 38906 0 0 0 22200 19 0 0 20 0 2 0 276365218 224423936 40102 33554432000 4194304 5963574 140734647381616 140734647381136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23252/statm: 54791 40102 191 432 0 54356 0
[pid=23252/tid=23253] ppid=23250 vsize=219164 CPUtime=222.23 cores=0,2,4,6
/proc/23252/task/23253/stat : 23253 (wbo1.7) R 23250 23252 21940 0 -1 4202560 38180 0 0 0 22200 23 0 0 20 0 2 0 276365219 224423936 40102 33554432000 4194304 5963574 140734647381616 140262575548408 4388643 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 219164

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 23258
/proc/meminfo: memFree=28910336/32873844 swapFree=6856/6856
[pid=23252] ppid=23250 vsize=221252 CPUtime=282.17 cores=0,2,4,6
/proc/23252/stat : 23252 (wbo1.7) S 23250 23252 21940 0 -1 4202496 45423 0 0 0 28194 23 0 0 20 0 2 0 276365218 226562048 46622 33554432000 4194304 5963574 140734647381616 140734647381136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23252/statm: 55313 46622 191 432 0 54878 0
[pid=23252/tid=23253] ppid=23250 vsize=221252 CPUtime=282.22 cores=0,2,4,6
/proc/23252/task/23253/stat : 23253 (wbo1.7) R 23250 23252 21940 0 -1 4202560 44697 0 0 0 28194 28 0 0 20 0 2 0 276365219 226562048 46622 33554432000 4194304 5963574 140734647381616 140262575548408 4399560 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 221252

[startup+342.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 23258
/proc/meminfo: memFree=28870592/32873844 swapFree=6856/6856
[pid=23252] ppid=23250 vsize=221864 CPUtime=342.16 cores=0,2,4,6
/proc/23252/stat : 23252 (wbo1.7) S 23250 23252 21940 0 -1 4202496 50531 0 0 0 34190 26 0 0 20 0 2 0 276365218 227188736 51730 33554432000 4194304 5963574 140734647381616 140734647381136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23252/statm: 55466 51730 191 432 0 55031 0
[pid=23252/tid=23253] ppid=23250 vsize=221864 CPUtime=342.22 cores=0,2,4,6
/proc/23252/task/23253/stat : 23253 (wbo1.7) R 23250 23252 21940 0 -1 4202560 49805 0 0 0 34190 32 0 0 20 0 2 0 276365219 227188736 51730 33554432000 4194304 5963574 140734647381616 140262575548216 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 221864

[startup+402.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 23259
/proc/meminfo: memFree=28818560/32873844 swapFree=6856/6856
[pid=23252] ppid=23250 vsize=288156 CPUtime=402.16 cores=0,2,4,6
/proc/23252/stat : 23252 (wbo1.7) S 23250 23252 21940 0 -1 4202496 58423 0 0 0 40183 33 0 0 20 0 2 0 276365218 295071744 59622 33554432000 4194304 5963574 140734647381616 140734647381136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0

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

/proc/23252/task/23253/stat : 23253 (wbo1.7) R 23250 23252 21940 0 -1 4202560 118417 0 0 0 130098 116 0 0 20 0 2 0 276365219 511672320 119188 33554432000 4194304 5963574 140734647381616 140262575548408 4378372 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 499680

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23266
/proc/meminfo: memFree=28343260/32873844 swapFree=6856/6856
[pid=23252] ppid=23250 vsize=499680 CPUtime=1361.88 cores=0,2,4,6
/proc/23252/stat : 23252 (wbo1.7) S 23250 23252 21940 0 -1 4202496 119143 0 0 0 136092 96 0 0 20 0 2 0 276365218 511672320 119188 33554432000 4194304 5963574 140734647381616 140734647381136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23252/statm: 124920 119188 191 432 0 124485 0
[pid=23252/tid=23253] ppid=23250 vsize=499680 CPUtime=1362.13 cores=0,2,4,6
/proc/23252/task/23253/stat : 23253 (wbo1.7) R 23250 23252 21940 0 -1 4202560 118417 0 0 0 136096 117 0 0 20 0 2 0 276365219 511672320 119188 33554432000 4194304 5963574 140734647381616 140262575548408 4399633 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 499680

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 23269
/proc/meminfo: memFree=28315228/32873844 swapFree=6856/6856
[pid=23252] ppid=23250 vsize=566440 CPUtime=1421.87 cores=0,2,4,6
/proc/23252/stat : 23252 (wbo1.7) S 23250 23252 21940 0 -1 4202496 126005 0 0 0 142083 104 0 0 20 0 2 0 276365218 580034560 126050 33554432000 4194304 5963574 140734647381616 140734647381136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23252/statm: 141610 126050 191 432 0 141175 0
[pid=23252/tid=23253] ppid=23250 vsize=566440 CPUtime=1422.14 cores=0,2,4,6
/proc/23252/task/23253/stat : 23253 (wbo1.7) R 23250 23252 21940 0 -1 4202560 125279 0 0 0 142088 126 0 0 20 0 2 0 276365219 580034560 126050 33554432000 4194304 5963574 140734647381616 140262575548408 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 566440

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23269
/proc/meminfo: memFree=28298804/32873844 swapFree=6856/6856
[pid=23252] ppid=23250 vsize=567160 CPUtime=1481.86 cores=0,2,4,6
/proc/23252/stat : 23252 (wbo1.7) S 23250 23252 21940 0 -1 4202496 127409 0 0 0 148080 106 0 0 20 0 2 0 276365218 580771840 127454 33554432000 4194304 5963574 140734647381616 140734647381136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23252/statm: 141790 127454 191 432 0 141355 0
[pid=23252/tid=23253] ppid=23250 vsize=567160 CPUtime=1482.14 cores=0,2,4,6
/proc/23252/task/23253/stat : 23253 (wbo1.7) R 23250 23252 21940 0 -1 4202560 126683 0 0 0 148085 129 0 0 20 0 2 0 276365219 580771840 127454 33554432000 4194304 5963574 140734647381616 140262575548456 4399468 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 567160

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23269
/proc/meminfo: memFree=28279460/32873844 swapFree=6856/6856
[pid=23252] ppid=23250 vsize=568876 CPUtime=1541.84 cores=0,2,4,6
/proc/23252/stat : 23252 (wbo1.7) S 23250 23252 21940 0 -1 4202496 129264 0 0 0 154077 107 0 0 20 0 2 0 276365218 582529024 129309 33554432000 4194304 5963574 140734647381616 140734647381136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23252/statm: 142219 129309 191 432 0 141784 0
[pid=23252/tid=23253] ppid=23250 vsize=568876 CPUtime=1542.14 cores=0,2,4,6
/proc/23252/task/23253/stat : 23253 (wbo1.7) R 23250 23252 21940 0 -1 4202560 128538 0 0 0 154083 131 0 0 20 0 2 0 276365219 582529024 129309 33554432000 4194304 5963574 140734647381616 140262575548408 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 568876

[startup+1602.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 23270
/proc/meminfo: memFree=28250184/32873844 swapFree=6856/6856
[pid=23252] ppid=23250 vsize=570084 CPUtime=1601.83 cores=0,2,4,6
/proc/23252/stat : 23252 (wbo1.7) S 23250 23252 21940 0 -1 4202496 135701 0 0 0 160069 114 0 0 20 0 2 0 276365218 583766016 135746 33554432000 4194304 5963574 140734647381616 140734647381136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23252/statm: 142521 135746 191 432 0 142086 0
[pid=23252/tid=23253] ppid=23250 vsize=570084 CPUtime=1602.14 cores=0,2,4,6
/proc/23252/task/23253/stat : 23253 (wbo1.7) R 23250 23252 21940 0 -1 4202560 134975 0 0 0 160075 139 0 0 20 0 2 0 276365219 583766016 135746 33554432000 4194304 5963574 140734647381616 140262575548408 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 570084

[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 23270
/proc/meminfo: memFree=28243364/32873844 swapFree=6856/6856
[pid=23252] ppid=23250 vsize=570192 CPUtime=1661.83 cores=0,2,4,6
/proc/23252/stat : 23252 (wbo1.7) S 23250 23252 21940 0 -1 4202496 136460 0 0 0 166067 116 0 0 20 0 2 0 276365218 583876608 136505 33554432000 4194304 5963574 140734647381616 140734647381136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23252/statm: 142548 136505 191 432 0 142113 0
[pid=23252/tid=23253] ppid=23250 vsize=570192 CPUtime=1662.15 cores=0,2,4,6
/proc/23252/task/23253/stat : 23253 (wbo1.7) R 23250 23252 21940 0 -1 4202560 135734 0 0 0 166073 142 0 0 20 0 2 0 276365219 583876608 136505 33554432000 4194304 5963574 140734647381616 140262575548456 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 570192

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23270
/proc/meminfo: memFree=28225880/32873844 swapFree=6856/6856
[pid=23252] ppid=23250 vsize=570336 CPUtime=1721.82 cores=0,2,4,6
/proc/23252/stat : 23252 (wbo1.7) S 23250 23252 21940 0 -1 4202496 136504 0 0 0 172066 116 0 0 20 0 2 0 276365218 584024064 136549 33554432000 4194304 5963574 140734647381616 140734647381136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23252/statm: 142584 136549 191 432 0 142149 0
[pid=23252/tid=23253] ppid=23250 vsize=570336 CPUtime=1722.15 cores=0,2,4,6
/proc/23252/task/23253/stat : 23253 (wbo1.7) R 23250 23252 21940 0 -1 4202560 135778 0 0 0 172072 143 0 0 20 0 2 0 276365219 584024064 136549 33554432000 4194304 5963574 140734647381616 140262575548456 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 570336

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23309
/proc/meminfo: memFree=28678428/32873844 swapFree=6856/6856
[pid=23252] ppid=23250 vsize=637056 CPUtime=1781.81 cores=0,2,4,6
/proc/23252/stat : 23252 (wbo1.7) S 23250 23252 21940 0 -1 4202496 141036 0 0 0 178059 122 0 0 20 0 2 0 276365218 652345344 141081 33554432000 4194304 5963574 140734647381616 140734647381136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23252/statm: 159264 141081 191 432 0 158829 0
[pid=23252/tid=23253] ppid=23250 vsize=637056 CPUtime=1782.15 cores=0,2,4,6
/proc/23252/task/23253/stat : 23253 (wbo1.7) R 23250 23252 21940 0 -1 4202560 140310 0 0 0 178066 149 0 0 20 0 2 0 276365219 652345344 141081 33554432000 4194304 5963574 140734647381616 140262575548456 4390927 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 637056

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

[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23309
/proc/meminfo: memFree=28650276/32873844 swapFree=6856/6856
[pid=23252] ppid=23250 vsize=637056 CPUtime=1791.4 cores=0,2,4,6
/proc/23252/stat : 23252 (wbo1.7) S 23250 23252 21940 0 -1 4202496 142158 0 0 0 179018 122 0 0 20 0 2 0 276365218 652345344 142197 33554432000 4194304 5963574 140734647381616 140734647381136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23252/statm: 159264 142197 191 432 0 158829 0
[pid=23252/tid=23253] ppid=23250 vsize=637056 CPUtime=1791.75 cores=0,2,4,6
/proc/23252/task/23253/stat : 23253 (wbo1.7) R 23250 23252 21940 0 -1 4202560 141432 0 0 0 179025 150 0 0 20 0 2 0 276365219 652345344 142197 33554432000 4194304 5963574 140734647381616 140262575548408 4381258 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1791.4
Current children cumulated vsize (KiB) 637056

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23309
/proc/meminfo: memFree=28642712/32873844 swapFree=6856/6856
[pid=23252] ppid=23250 vsize=637056 CPUtime=1794.61 cores=0,2,4,6
/proc/23252/stat : 23252 (wbo1.7) S 23250 23252 21940 0 -1 4202496 142569 0 0 0 179338 123 0 0 20 0 2 0 276365218 652345344 142608 33554432000 4194304 5963574 140734647381616 140734647381136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23252/statm: 159264 142608 191 432 0 158829 0
[pid=23252/tid=23253] ppid=23250 vsize=637056 CPUtime=1794.95 cores=0,2,4,6
/proc/23252/task/23253/stat : 23253 (wbo1.7) R 23250 23252 21940 0 -1 4202560 141843 0 0 0 179344 151 0 0 20 0 2 0 276365219 652345344 142608 33554432000 4194304 5963574 140734647381616 140262575548408 4402912 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1794.61
Current children cumulated vsize (KiB) 637056

[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23309
/proc/meminfo: memFree=28636992/32873844 swapFree=6856/6856
[pid=23252] ppid=23250 vsize=637296 CPUtime=1797.79 cores=0,2,4,6
/proc/23252/stat : 23252 (wbo1.7) S 23250 23252 21940 0 -1 4202496 142823 0 0 0 179656 123 0 0 20 0 2 0 276365218 652591104 142855 33554432000 4194304 5963574 140734647381616 140734647381136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23252/statm: 159324 142855 191 432 0 158889 0
[pid=23252/tid=23253] ppid=23250 vsize=637296 CPUtime=1798.14 cores=0,2,4,6
/proc/23252/task/23253/stat : 23253 (wbo1.7) R 23250 23252 21940 0 -1 4202560 142097 0 0 0 179663 151 0 0 20 0 2 0 276365219 652591104 142855 33554432000 4194304 5963574 140734647381616 140262575547928 5142975 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1797.79
Current children cumulated vsize (KiB) 637296

[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23309
/proc/meminfo: memFree=28634388/32873844 swapFree=6856/6856
[pid=23252] ppid=23250 vsize=637296 CPUtime=1798.6 cores=0,2,4,6
/proc/23252/stat : 23252 (wbo1.7) S 23250 23252 21940 0 -1 4202496 142885 0 0 0 179736 124 0 0 20 0 2 0 276365218 652591104 142917 33554432000 4194304 5963574 140734647381616 140734647381136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23252/statm: 159324 142917 191 432 0 158889 0
[pid=23252/tid=23253] ppid=23250 vsize=637296 CPUtime=1798.94 cores=0,2,4,6
/proc/23252/task/23253/stat : 23253 (wbo1.7) R 23250 23252 21940 0 -1 4202560 142159 0 0 0 179743 151 0 0 20 0 2 0 276365219 652591104 142917 33554432000 4194304 5963574 140734647381616 140262575548456 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1798.6
Current children cumulated vsize (KiB) 637296

[startup+1799.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23309
/proc/meminfo: memFree=28631536/32873844 swapFree=6856/6856
[pid=23252] ppid=23250 vsize=637296 CPUtime=1799 cores=0,2,4,6
/proc/23252/stat : 23252 (wbo1.7) S 23250 23252 21940 0 -1 4202496 142915 0 0 0 179776 124 0 0 20 0 2 0 276365218 652591104 142947 33554432000 4194304 5963574 140734647381616 140734647381136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23252/statm: 159324 142947 191 432 0 158889 0
[pid=23252/tid=23253] ppid=23250 vsize=637296 CPUtime=1799.34 cores=0,2,4,6
/proc/23252/task/23253/stat : 23253 (wbo1.7) R 23250 23252 21940 0 -1 4202560 142189 0 0 0 179783 151 0 0 20 0 2 0 276365219 652591104 142947 33554432000 4194304 5963574 140734647381616 140262575548408 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799
Current children cumulated vsize (KiB) 637296

[startup+1799.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23309
/proc/meminfo: memFree=28631536/32873844 swapFree=6856/6856
[pid=23252] ppid=23250 vsize=637296 CPUtime=1799.4 cores=0,2,4,6
/proc/23252/stat : 23252 (wbo1.7) S 23250 23252 21940 0 -1 4202496 142941 0 0 0 179816 124 0 0 20 0 2 0 276365218 652591104 142973 33554432000 4194304 5963574 140734647381616 140734647381136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23252/statm: 159324 142973 191 432 0 158889 0
[pid=23252/tid=23253] ppid=23250 vsize=637296 CPUtime=1799.74 cores=0,2,4,6
/proc/23252/task/23253/stat : 23253 (wbo1.7) R 23250 23252 21940 0 -1 4202560 142215 0 0 0 179823 151 0 0 20 0 2 0 276365219 652591104 142973 33554432000 4194304 5963574 140734647381616 140262575548408 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.4
Current children cumulated vsize (KiB) 637296

[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23309
/proc/meminfo: memFree=28631536/32873844 swapFree=6856/6856
[pid=23252] ppid=23250 vsize=637296 CPUtime=1799.49 cores=0,2,4,6
/proc/23252/stat : 23252 (wbo1.7) S 23250 23252 21940 0 -1 4202496 142948 0 0 0 179825 124 0 0 20 0 2 0 276365218 652591104 142980 33554432000 4194304 5963574 140734647381616 140734647381136 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23252/statm: 159324 142980 191 432 0 158889 0
[pid=23252/tid=23253] ppid=23250 vsize=637296 CPUtime=1799.84 cores=0,2,4,6
/proc/23252/task/23253/stat : 23253 (wbo1.7) R 23250 23252 21940 0 -1 4202560 142222 0 0 0 179832 152 0 0 20 0 2 0 276365219 652591104 142980 33554432000 4194304 5963574 140734647381616 140262575548408 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.49
Current children cumulated vsize (KiB) 637296

Child status: 255
Real time (s): 1800.01
CPU time (s): 1799.87
CPU user time (s): 1798.33
CPU system time (s): 1.54077
CPU usage (%): 99.992
Max. virtual memory (cumulated for all children) (KiB): 637296

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.33
system time used= 1.54076
maximum resident set size= 571924
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 142949
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= 218
involuntary context switches= 1880

runsolver used 2.70359 second user time and 7.12092 second system time

The end

Launcher Data 

Begin job on node144 at 2012-05-27 09:06:43
IDJOB=3705283
IDBENCH=2920
IDSOLVER=2283
FILE ID=node144/3705283-1338102403
RUNJOBID= node144-1338086104-21956
PBS_JOBID= 14624429
Free space on /tmp= 71492 MiB

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

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

MD5SUM BENCH= 0263d0a7c5e3320bd7cce9534c14bf27
RANDOM SEED=968107822

node144.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.196
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.39
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.196
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.196
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.54
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.196
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.196
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.90
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.196
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.92
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.196
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.196
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:       32873844 kB
MemFree:        29253224 kB
Buffers:          296296 kB
Cached:          2490220 kB
SwapCached:            0 kB
Active:           783040 kB
Inactive:        2057376 kB
Active(anon):      55160 kB
Inactive(anon):        0 kB
Active(file):     727880 kB
Inactive(file):  2057376 kB
Unevictable:        6856 kB
Mlocked:            6856 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             11228 kB
Writeback:             0 kB
AnonPages:        134400 kB
Mapped:            15052 kB
Shmem:               200 kB
Slab:             643436 kB
SReclaimable:      85924 kB
SUnreclaim:       557512 kB
KernelStack:        1488 kB
PageTables:         4268 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     146668 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     75776 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= 71484 MiB
End job on node144 at 2012-05-27 09:36:43