Trace number 3705185

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.63 1800

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_12.opb
MD5SUMd262db503fd284bdfe2b43790fda8490
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark91
Best CPU time to get the best result obtained on this benchmark1783
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 91
Optimality of the best value was proved NO
Number of variables1807
Total number of constraints3444
Number of constraints which are clauses1
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints3443
Minimum length of a constraint1
Maximum length of a constraint33
Number of terms in the objective function 8
Biggest coefficient in the objective function 66
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 193
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 256
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 1320
Number of bits of the biggest sum of numbers11
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-3705185-1338103474.opb.
0.00/0.00	c Instance file HOME/instance-3705185-1338103474.opb
0.00/0.00	c File size is 746274 bytes.
0.00/0.05	c Cost Offset: 0
0.00/0.05	c Highest Coefficient sum: 1320
0.00/0.05	c ============================[ Problem Statistics ]=============================
0.00/0.05	c |                                                                             |
0.00/0.05	c |  Parsing time:          0.06         s                                      |
0.00/0.05	c |  Number Variables:      1807                                                |
0.00/0.05	c |  Number Clauses:        1                                                   |
0.00/0.05	c |  Number Cardinality:    0                                                   |
0.00/0.05	c |  Number PB Constraints: 3443                                                |
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 ===============================================================================
860.68/860.92	c | 860.92    | 0  | 67           lb |  0                0                0.00  |
1799.63/1800.00	c ===============================================================================
1799.63/1800.00	c Wall Clock Time: 1800.00 s
1799.63/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-3705185-1338103474/watcher-3705185-1338103474 -o /tmp/evaluation-result-3705185-1338103474/solver-3705185-1338103474 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3705185-1338103474.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/179 13893
/proc/meminfo: memFree=31007684/32873844 swapFree=7616/7616
[pid=13893] ppid=13891 vsize=4132 CPUtime=0 cores=0,2,4,6
/proc/13893/stat : 13893 (wbo1.7) R 13891 13893 12409 0 -1 4202496 376 0 0 0 0 0 0 0 20 0 1 0 276472224 4231168 328 33554432000 4194304 5963574 140737382884896 140737382883192 5135642 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/13893/statm: 1033 328 174 432 0 415 0

[startup+0.063527 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13893
/proc/meminfo: memFree=31007684/32873844 swapFree=7616/7616
[pid=13893] ppid=13891 vsize=89284 CPUtime=0.05 cores=0,2,4,6
/proc/13893/stat : 13893 (wbo1.7) S 13891 13893 12409 0 -1 4202496 2684 0 0 0 5 0 0 0 20 0 2 0 276472224 91426816 2453 33554432000 4194304 5963574 140737382884896 140737382884416 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13893/statm: 22321 2453 187 432 0 21886 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 89284

[startup+0.100188 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13893
/proc/meminfo: memFree=31007684/32873844 swapFree=7616/7616
[pid=13893] ppid=13891 vsize=89284 CPUtime=0.09 cores=0,2,4,6
/proc/13893/stat : 13893 (wbo1.7) S 13891 13893 12409 0 -1 4202496 3759 0 0 0 9 0 0 0 20 0 2 0 276472224 91426816 3528 33554432000 4194304 5963574 140737382884896 140737382884416 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13893/statm: 22321 3528 192 432 0 21886 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 89284

[startup+0.300116 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13893
/proc/meminfo: memFree=31007684/32873844 swapFree=7616/7616
[pid=13893] ppid=13891 vsize=89284 CPUtime=0.28 cores=0,2,4,6
/proc/13893/stat : 13893 (wbo1.7) S 13891 13893 12409 0 -1 4202496 3778 0 0 0 28 0 0 0 20 0 2 0 276472224 91426816 3547 33554432000 4194304 5963574 140737382884896 140737382884416 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13893/statm: 22321 3547 193 432 0 21886 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 89284

[startup+0.700113 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13893
/proc/meminfo: memFree=31007684/32873844 swapFree=7616/7616
[pid=13893] ppid=13891 vsize=89284 CPUtime=0.68 cores=0,2,4,6
/proc/13893/stat : 13893 (wbo1.7) S 13891 13893 12409 0 -1 4202496 3842 0 0 0 68 0 0 0 20 0 2 0 276472224 91426816 3611 33554432000 4194304 5963574 140737382884896 140737382884416 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13893/statm: 22321 3611 194 432 0 21886 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 89284

[startup+1.50021 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 13895
/proc/meminfo: memFree=30993252/32873844 swapFree=7616/7616
[pid=13893] ppid=13891 vsize=89284 CPUtime=1.48 cores=0,2,4,6
/proc/13893/stat : 13893 (wbo1.7) S 13891 13893 12409 0 -1 4202496 3986 0 0 0 148 0 0 0 20 0 2 0 276472224 91426816 3755 33554432000 4194304 5963574 140737382884896 140737382884416 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13893/statm: 22321 3755 194 432 0 21886 0
[pid=13893/tid=13895] ppid=13891 vsize=89284 CPUtime=1.42 cores=0,2,4,6
/proc/13893/task/13895/stat : 13895 (wbo1.7) R 13891 13893 12409 0 -1 4202560 1704 0 0 0 142 0 0 0 20 0 2 0 276472230 91426816 3755 33554432000 4194304 5963574 140737382884896 140316628748328 4222314 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 89284

[startup+3.10021 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 13895
/proc/meminfo: memFree=30991392/32873844 swapFree=7616/7616
[pid=13893] ppid=13891 vsize=89284 CPUtime=3.08 cores=0,2,4,6
/proc/13893/stat : 13893 (wbo1.7) S 13891 13893 12409 0 -1 4202496 4256 0 0 0 308 0 0 0 20 0 2 0 276472224 91426816 4025 33554432000 4194304 5963574 140737382884896 140737382884416 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13893/statm: 22321 4025 194 432 0 21886 0
[pid=13893/tid=13895] ppid=13891 vsize=89284 CPUtime=3.02 cores=0,2,4,6
/proc/13893/task/13895/stat : 13895 (wbo1.7) R 13891 13893 12409 0 -1 4202560 1974 0 0 0 302 0 0 0 20 0 2 0 276472230 91426816 4025 33554432000 4194304 5963574 140737382884896 140316628748216 4222416 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 89284

[startup+6.30021 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 13895
/proc/meminfo: memFree=30988292/32873844 swapFree=7616/7616
[pid=13893] ppid=13891 vsize=89284 CPUtime=6.29 cores=0,2,4,6
/proc/13893/stat : 13893 (wbo1.7) S 13891 13893 12409 0 -1 4202496 4724 0 0 0 628 1 0 0 20 0 2 0 276472224 91426816 4493 33554432000 4194304 5963574 140737382884896 140737382884416 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13893/statm: 22321 4493 194 432 0 21886 0
[pid=13893/tid=13895] ppid=13891 vsize=89284 CPUtime=6.21 cores=0,2,4,6
/proc/13893/task/13895/stat : 13895 (wbo1.7) R 13891 13893 12409 0 -1 4202560 2442 0 0 0 621 0 0 0 20 0 2 0 276472230 91426816 4493 33554432000 4194304 5963574 140737382884896 140316628748280 4392504 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 89284

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 13895
/proc/meminfo: memFree=30984136/32873844 swapFree=7616/7616
[pid=13893] ppid=13891 vsize=89428 CPUtime=12.68 cores=0,2,4,6
/proc/13893/stat : 13893 (wbo1.7) S 13891 13893 12409 0 -1 4202496 5097 0 0 0 1267 1 0 0 20 0 2 0 276472224 91574272 4866 33554432000 4194304 5963574 140737382884896 140737382884416 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13893/statm: 22357 4866 194 432 0 21922 0
[pid=13893/tid=13895] ppid=13891 vsize=89428 CPUtime=12.59 cores=0,2,4,6
/proc/13893/task/13895/stat : 13895 (wbo1.7) R 13891 13893 12409 0 -1 4202560 2815 0 0 0 1258 1 0 0 20 0 2 0 276472230 91574272 4866 33554432000 4194304 5963574 140737382884896 140316628748088 4222464 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 89428

[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 13895
/proc/meminfo: memFree=30977968/32873844 swapFree=7616/7616
[pid=13893] ppid=13891 vsize=89500 CPUtime=25.48 cores=0,2,4,6
/proc/13893/stat : 13893 (wbo1.7) S 13891 13893 12409 0 -1 4202496 6361 0 0 0 2547 1 0 0 20 0 2 0 276472224 91648000 6130 33554432000 4194304 5963574 140737382884896 140737382884416 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13893/statm: 22375 6130 194 432 0 21940 0
[pid=13893/tid=13895] ppid=13891 vsize=89500 CPUtime=25.36 cores=0,2,4,6
/proc/13893/task/13895/stat : 13895 (wbo1.7) R 13891 13893 12409 0 -1 4202560 4079 0 0 0 2535 1 0 0 20 0 2 0 276472230 91648000 6130 33554432000 4194304 5963574 140737382884896 140316628748328 4403257 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 89500

[startup+51.1003 s]
/proc/loadavg: 2.07 2.02 2.00 3/181 13895
/proc/meminfo: memFree=30971892/32873844 swapFree=7616/7616
[pid=13893] ppid=13891 vsize=89608 CPUtime=51.08 cores=0,2,4,6
/proc/13893/stat : 13893 (wbo1.7) S 13891 13893 12409 0 -1 4202496 7901 0 0 0 5106 2 0 0 20 0 2 0 276472224 91758592 7670 33554432000 4194304 5963574 140737382884896 140737382884416 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13893/statm: 22402 7670 194 432 0 21967 0
[pid=13893/tid=13895] ppid=13891 vsize=89608 CPUtime=50.89 cores=0,2,4,6
/proc/13893/task/13895/stat : 13895 (wbo1.7) R 13891 13893 12409 0 -1 4202560 5619 0 0 0 5088 1 0 0 20 0 2 0 276472230 91758592 7670 33554432000 4194304 5963574 140737382884896 140316628748280 4392491 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) 89608

[startup+102.307 s]
/proc/loadavg: 2.03 2.01 2.00 3/181 13895
/proc/meminfo: memFree=30954284/32873844 swapFree=7616/7616
[pid=13893] ppid=13891 vsize=89768 CPUtime=102.27 cores=0,2,4,6
/proc/13893/stat : 13893 (wbo1.7) S 13891 13893 12409 0 -1 4202496 10999 0 0 0 10223 4 0 0 20 0 2 0 276472224 91922432 10768 33554432000 4194304 5963574 140737382884896 140737382884416 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13893/statm: 22442 10768 194 432 0 22007 0
[pid=13893/tid=13895] ppid=13891 vsize=89768 CPUtime=101.96 cores=0,2,4,6
/proc/13893/task/13895/stat : 13895 (wbo1.7) R 13891 13893 12409 0 -1 4202560 8717 0 0 0 10191 5 0 0 20 0 2 0 276472230 91922432 10768 33554432000 4194304 5963574 140737382884896 140316628748088 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 89768

[startup+162.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/181 13895
/proc/meminfo: memFree=30925020/32873844 swapFree=7612/7612
[pid=13893] ppid=13891 vsize=90440 CPUtime=162.26 cores=0,2,4,6
/proc/13893/stat : 13893 (wbo1.7) S 13891 13893 12409 0 -1 4202496 13226 0 0 0 16220 6 0 0 20 0 2 0 276472224 92610560 12995 33554432000 4194304 5963574 140737382884896 140737382884416 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13893/statm: 22610 12995 194 432 0 22175 0
[pid=13893/tid=13895] ppid=13891 vsize=90440 CPUtime=161.8 cores=0,2,4,6
/proc/13893/task/13895/stat : 13895 (wbo1.7) R 13891 13893 12409 0 -1 4202560 10944 0 0 0 16173 7 0 0 20 0 2 0 276472230 92610560 12995 33554432000 4194304 5963574 140737382884896 140316628748328 4392501 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 90440

[startup+222.3 s]
/proc/loadavg: 2.08 2.02 2.00 3/181 13936
/proc/meminfo: memFree=31320168/32873844 swapFree=7616/7616
[pid=13893] ppid=13891 vsize=91232 CPUtime=222.24 cores=0,2,4,6
/proc/13893/stat : 13893 (wbo1.7) S 13891 13893 12409 0 -1 4202496 16353 0 0 0 22215 9 0 0 20 0 2 0 276472224 93421568 16247 33554432000 4194304 5963574 140737382884896 140737382884416 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13893/statm: 22808 16247 194 432 0 22373 0
[pid=13893/tid=13895] ppid=13891 vsize=91232 CPUtime=221.64 cores=0,2,4,6
/proc/13893/task/13895/stat : 13895 (wbo1.7) R 13891 13893 12409 0 -1 4202560 14071 0 0 0 22153 11 0 0 20 0 2 0 276472230 93421568 16247 33554432000 4194304 5963574 140737382884896 140316628748328 4403253 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 91232

[startup+282.3 s]
/proc/loadavg: 2.10 2.03 2.00 3/181 13936
/proc/meminfo: memFree=31297408/32873844 swapFree=7616/7616
[pid=13893] ppid=13891 vsize=157488 CPUtime=282.21 cores=0,2,4,6
/proc/13893/stat : 13893 (wbo1.7) S 13891 13893 12409 0 -1 4202496 20131 0 0 0 28209 12 0 0 20 0 2 0 276472224 161267712 20883 33554432000 4194304 5963574 140737382884896 140737382884416 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13893/statm: 39372 20883 194 432 0 38937 0
[pid=13893/tid=13895] ppid=13891 vsize=157488 CPUtime=281.47 cores=0,2,4,6
/proc/13893/task/13895/stat : 13895 (wbo1.7) R 13891 13893 12409 0 -1 4202560 17849 0 0 0 28131 16 0 0 20 0 2 0 276472230 161267712 20883 33554432000 4194304 5963574 140737382884896 140316628748280 4402912 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 157488

[startup+342.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/182 13939
/proc/meminfo: memFree=31278016/32873844 swapFree=7616/7616
[pid=13893] ppid=13891 vsize=158244 CPUtime=342.2 cores=0,2,4,6
/proc/13893/stat : 13893 (wbo1.7) S 13891 13893 12409 0 -1 4202496 23399 0 0 0 34205 15 0 0 20 0 2 0 276472224 162041856 24150 33554432000 4194304 5963574 140737382884896 140737382884416 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13893/statm: 39561 24150 194 432 0 39126 0
[pid=13893/tid=13895] ppid=13891 vsize=158244 CPUtime=341.31 cores=0,2,4,6
/proc/13893/task/13895/stat : 13895 (wbo1.7) R 13891 13893 12409 0 -1 4202560 21117 0 0 0 34112 19 0 0 20 0 2 0 276472230 162041856 24150 33554432000 4194304 5963574 140737382884896 140316628748328 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 158244

[startup+402.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/181 13939
/proc/meminfo: memFree=31265168/32873844 swapFree=7616/7616
[pid=13893] ppid=13891 vsize=158676 CPUtime=402.18 cores=0,2,4,6
/proc/13893/stat : 13893 (wbo1.7) S 13891 13893 12409 0 -1 4202496 25161 0 0 0 40200 18 0 0 20 0 2 0 276472224 162484224 25939 33554432000 4194304 5963574 140737382884896 140737382884416 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13893/statm: 39669 25939 194 432 0 39234 0
[pid=13893/tid=13895] ppid=13891 vsize=158676 CPUtime=401.15 cores=0,2,4,6
/proc/13893/task/13895/stat : 13895 (wbo1.7) R 13891 13893 12409 0 -1 4202560 22879 0 0 0 40092 23 0 0 20 0 2 0 276472230 162484224 25939 33554432000 4194304 5963574 140737382884896 140316628748280 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 158676

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 13939
/proc/meminfo: memFree=31248600/32873844 swapFree=7616/7616
[pid=13893] ppid=13891 vsize=159648 CPUtime=462.17 cores=0,2,4,6

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


[startup+1422.31 s]
/proc/loadavg: 2.01 2.02 2.00 3/181 13946
/proc/meminfo: memFree=31135404/32873844 swapFree=7616/7616
[pid=13893] ppid=13891 vsize=220356 CPUtime=1421.99 cores=0,2,4,6
/proc/13893/stat : 13893 (wbo1.7) S 13891 13893 12409 0 -1 4202496 43622 0 0 0 142160 39 0 0 20 0 2 0 276472224 225644544 42451 33554432000 4194304 5963574 140737382884896 140737382884416 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13893/statm: 55089 42451 198 432 0 54654 0
[pid=13893/tid=13895] ppid=13891 vsize=220356 CPUtime=1418.51 cores=0,2,4,6
/proc/13893/task/13895/stat : 13895 (wbo1.7) R 13891 13893 12409 0 -1 4202560 41340 0 0 0 141791 60 0 0 20 0 2 0 276472230 225644544 42451 33554432000 4194304 5963574 140737382884896 140316628749240 4222304 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.99
Current children cumulated vsize (KiB) 220356

[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 13947
/proc/meminfo: memFree=31132912/32873844 swapFree=7616/7616
[pid=13893] ppid=13891 vsize=220356 CPUtime=1481.97 cores=0,2,4,6
/proc/13893/stat : 13893 (wbo1.7) S 13891 13893 12409 0 -1 4202496 43622 0 0 0 148158 39 0 0 20 0 2 0 276472224 225644544 42451 33554432000 4194304 5963574 140737382884896 140737382884416 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13893/statm: 55089 42451 198 432 0 54654 0
[pid=13893/tid=13895] ppid=13891 vsize=220356 CPUtime=1478.36 cores=0,2,4,6
/proc/13893/task/13895/stat : 13895 (wbo1.7) R 13891 13893 12409 0 -1 4202560 41340 0 0 0 147775 61 0 0 20 0 2 0 276472230 225644544 42451 33554432000 4194304 5963574 140737382884896 140316628749240 4222304 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.97
Current children cumulated vsize (KiB) 220356

[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/182 13950
/proc/meminfo: memFree=31133144/32873844 swapFree=7616/7616
[pid=13893] ppid=13891 vsize=220356 CPUtime=1541.96 cores=0,2,4,6
/proc/13893/stat : 13893 (wbo1.7) S 13891 13893 12409 0 -1 4202496 43622 0 0 0 154157 39 0 0 20 0 2 0 276472224 225644544 42451 33554432000 4194304 5963574 140737382884896 140737382884416 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13893/statm: 55089 42451 198 432 0 54654 0
[pid=13893/tid=13895] ppid=13891 vsize=220356 CPUtime=1538.2 cores=0,2,4,6
/proc/13893/task/13895/stat : 13895 (wbo1.7) R 13891 13893 12409 0 -1 4202560 41340 0 0 0 153758 62 0 0 20 0 2 0 276472230 225644544 42451 33554432000 4194304 5963574 140737382884896 140316628749240 4392504 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.96
Current children cumulated vsize (KiB) 220356

[startup+1602.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/181 13950
/proc/meminfo: memFree=31133152/32873844 swapFree=7616/7616
[pid=13893] ppid=13891 vsize=220356 CPUtime=1601.95 cores=0,2,4,6
/proc/13893/stat : 13893 (wbo1.7) S 13891 13893 12409 0 -1 4202496 43622 0 0 0 160156 39 0 0 20 0 2 0 276472224 225644544 42451 33554432000 4194304 5963574 140737382884896 140737382884416 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13893/statm: 55089 42451 198 432 0 54654 0
[pid=13893/tid=13895] ppid=13891 vsize=220356 CPUtime=1598.05 cores=0,2,4,6
/proc/13893/task/13895/stat : 13895 (wbo1.7) R 13891 13893 12409 0 -1 4202560 41340 0 0 0 159742 63 0 0 20 0 2 0 276472230 225644544 42451 33554432000 4194304 5963574 140737382884896 140316628749240 4222416 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.95
Current children cumulated vsize (KiB) 220356

[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 13950
/proc/meminfo: memFree=31121620/32873844 swapFree=7616/7616
[pid=13893] ppid=13891 vsize=220356 CPUtime=1661.95 cores=0,2,4,6
/proc/13893/stat : 13893 (wbo1.7) S 13891 13893 12409 0 -1 4202496 45263 0 0 0 166154 41 0 0 20 0 2 0 276472224 225644544 44091 33554432000 4194304 5963574 140737382884896 140737382884416 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13893/statm: 55089 44091 198 432 0 54654 0
[pid=13893/tid=13895] ppid=13891 vsize=220356 CPUtime=1657.9 cores=0,2,4,6
/proc/13893/task/13895/stat : 13895 (wbo1.7) R 13891 13893 12409 0 -1 4202560 42981 0 0 0 165724 66 0 0 20 0 2 0 276472230 225644544 44091 33554432000 4194304 5963574 140737382884896 140316628748328 4403253 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.95
Current children cumulated vsize (KiB) 220356

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 13950
/proc/meminfo: memFree=31111204/32873844 swapFree=7616/7616
[pid=13893] ppid=13891 vsize=220356 CPUtime=1721.94 cores=0,2,4,6
/proc/13893/stat : 13893 (wbo1.7) S 13891 13893 12409 0 -1 4202496 46857 0 0 0 172151 43 0 0 20 0 2 0 276472224 225644544 45685 33554432000 4194304 5963574 140737382884896 140737382884416 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13893/statm: 55089 45685 198 432 0 54654 0
[pid=13893/tid=13895] ppid=13891 vsize=220356 CPUtime=1717.74 cores=0,2,4,6
/proc/13893/task/13895/stat : 13895 (wbo1.7) R 13891 13893 12409 0 -1 4202560 44575 0 0 0 171706 68 0 0 20 0 2 0 276472230 225644544 45685 33554432000 4194304 5963574 140737382884896 140316628748088 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.94
Current children cumulated vsize (KiB) 220356

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 13951
/proc/meminfo: memFree=31108652/32873844 swapFree=7616/7616
[pid=13893] ppid=13891 vsize=220356 CPUtime=1781.94 cores=0,2,4,6
/proc/13893/stat : 13893 (wbo1.7) S 13891 13893 12409 0 -1 4202496 47531 0 0 0 178150 44 0 0 20 0 2 0 276472224 225644544 46358 33554432000 4194304 5963574 140737382884896 140737382884416 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13893/statm: 55089 46358 198 432 0 54654 0
[pid=13893/tid=13895] ppid=13891 vsize=220356 CPUtime=1777.59 cores=0,2,4,6
/proc/13893/task/13895/stat : 13895 (wbo1.7) R 13891 13893 12409 0 -1 4202560 45249 0 0 0 177689 70 0 0 20 0 2 0 276472230 225644544 46358 33554432000 4194304 5963574 140737382884896 140316628748280 4392498 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 220356

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

[startup+1791.91 s]
/proc/loadavg: 2.07 2.02 2.00 3/181 13951
/proc/meminfo: memFree=31105428/32873844 swapFree=7616/7616
[pid=13893] ppid=13891 vsize=220356 CPUtime=1791.54 cores=0,2,4,6
/proc/13893/stat : 13893 (wbo1.7) S 13891 13893 12409 0 -1 4202496 48297 0 0 0 179110 44 0 0 20 0 2 0 276472224 225644544 47124 33554432000 4194304 5963574 140737382884896 140737382884416 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13893/statm: 55089 47124 198 432 0 54654 0
[pid=13893/tid=13895] ppid=13891 vsize=220356 CPUtime=1787.17 cores=0,2,4,6
/proc/13893/task/13895/stat : 13895 (wbo1.7) R 13891 13893 12409 0 -1 4202560 46015 0 0 0 178646 71 0 0 20 0 2 0 276472230 225644544 47124 33554432000 4194304 5963574 140737382884896 140316628748328 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1791.54
Current children cumulated vsize (KiB) 220356

[startup+1795.1 s]
/proc/loadavg: 2.07 2.02 2.00 3/181 13951
/proc/meminfo: memFree=31104436/32873844 swapFree=7616/7616
[pid=13893] ppid=13891 vsize=220356 CPUtime=1794.73 cores=0,2,4,6
/proc/13893/stat : 13893 (wbo1.7) S 13891 13893 12409 0 -1 4202496 48566 0 0 0 179429 44 0 0 20 0 2 0 276472224 225644544 47393 33554432000 4194304 5963574 140737382884896 140737382884416 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13893/statm: 55089 47393 198 432 0 54654 0
[pid=13893/tid=13895] ppid=13891 vsize=220356 CPUtime=1790.36 cores=0,2,4,6
/proc/13893/task/13895/stat : 13895 (wbo1.7) R 13891 13893 12409 0 -1 4202560 46284 0 0 0 178965 71 0 0 20 0 2 0 276472230 225644544 47393 33554432000 4194304 5963574 140737382884896 140316628748328 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1794.73
Current children cumulated vsize (KiB) 220356

[startup+1798.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/181 13951
/proc/meminfo: memFree=31103816/32873844 swapFree=7616/7616
[pid=13893] ppid=13891 vsize=220356 CPUtime=1797.92 cores=0,2,4,6
/proc/13893/stat : 13893 (wbo1.7) S 13891 13893 12409 0 -1 4202496 48824 0 0 0 179748 44 0 0 20 0 2 0 276472224 225644544 47651 33554432000 4194304 5963574 140737382884896 140737382884416 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13893/statm: 55089 47651 198 432 0 54654 0
[pid=13893/tid=13895] ppid=13891 vsize=220356 CPUtime=1793.55 cores=0,2,4,6
/proc/13893/task/13895/stat : 13895 (wbo1.7) R 13891 13893 12409 0 -1 4202560 46542 0 0 0 179284 71 0 0 20 0 2 0 276472230 225644544 47651 33554432000 4194304 5963574 140737382884896 140316628748328 4403213 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1797.92
Current children cumulated vsize (KiB) 220356

[startup+1799.1 s]
/proc/loadavg: 2.07 2.02 2.00 3/181 13951
/proc/meminfo: memFree=31103444/32873844 swapFree=7616/7616
[pid=13893] ppid=13891 vsize=220356 CPUtime=1798.72 cores=0,2,4,6
/proc/13893/stat : 13893 (wbo1.7) S 13891 13893 12409 0 -1 4202496 48878 0 0 0 179828 44 0 0 20 0 2 0 276472224 225644544 47705 33554432000 4194304 5963574 140737382884896 140737382884416 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13893/statm: 55089 47705 198 432 0 54654 0
[pid=13893/tid=13895] ppid=13891 vsize=220356 CPUtime=1794.35 cores=0,2,4,6
/proc/13893/task/13895/stat : 13895 (wbo1.7) R 13891 13893 12409 0 -1 4202560 46596 0 0 0 179364 71 0 0 20 0 2 0 276472230 225644544 47705 33554432000 4194304 5963574 140737382884896 140316628748280 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1798.72
Current children cumulated vsize (KiB) 220356

[startup+1799.5 s]
/proc/loadavg: 2.07 2.02 2.00 3/181 13951
/proc/meminfo: memFree=31102824/32873844 swapFree=7616/7616
[pid=13893] ppid=13891 vsize=220356 CPUtime=1799.13 cores=0,2,4,6
/proc/13893/stat : 13893 (wbo1.7) S 13891 13893 12409 0 -1 4202496 48905 0 0 0 179869 44 0 0 20 0 2 0 276472224 225644544 47732 33554432000 4194304 5963574 140737382884896 140737382884416 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13893/statm: 55089 47732 198 432 0 54654 0
[pid=13893/tid=13895] ppid=13891 vsize=220356 CPUtime=1794.75 cores=0,2,4,6
/proc/13893/task/13895/stat : 13895 (wbo1.7) R 13891 13893 12409 0 -1 4202560 46623 0 0 0 179404 71 0 0 20 0 2 0 276472230 225644544 47732 33554432000 4194304 5963574 140737382884896 140316628748280 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.13
Current children cumulated vsize (KiB) 220356

[startup+1799.9 s]
/proc/loadavg: 2.07 2.02 2.00 3/181 13951
/proc/meminfo: memFree=31102824/32873844 swapFree=7616/7616
[pid=13893] ppid=13891 vsize=220356 CPUtime=1799.53 cores=0,2,4,6
/proc/13893/stat : 13893 (wbo1.7) S 13891 13893 12409 0 -1 4202496 48931 0 0 0 179908 45 0 0 20 0 2 0 276472224 225644544 47758 33554432000 4194304 5963574 140737382884896 140737382884416 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13893/statm: 55089 47758 198 432 0 54654 0
[pid=13893/tid=13895] ppid=13891 vsize=220356 CPUtime=1795.15 cores=0,2,4,6
/proc/13893/task/13895/stat : 13895 (wbo1.7) R 13891 13893 12409 0 -1 4202560 46649 0 0 0 179444 71 0 0 20 0 2 0 276472230 225644544 47758 33554432000 4194304 5963574 140737382884896 140316628748280 4403213 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.53
Current children cumulated vsize (KiB) 220356

[startup+1800 s]
/proc/loadavg: 2.07 2.02 2.00 3/181 13951
/proc/meminfo: memFree=31102824/32873844 swapFree=7616/7616
[pid=13893] ppid=13891 vsize=220356 CPUtime=1799.63 cores=0,2,4,6
/proc/13893/stat : 13893 (wbo1.7) S 13891 13893 12409 0 -1 4202496 48937 0 0 0 179918 45 0 0 20 0 2 0 276472224 225644544 47764 33554432000 4194304 5963574 140737382884896 140737382884416 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13893/statm: 55089 47764 198 432 0 54654 0
[pid=13893/tid=13895] ppid=13891 vsize=220356 CPUtime=1795.25 cores=0,2,4,6
/proc/13893/task/13895/stat : 13895 (wbo1.7) R 13891 13893 12409 0 -1 4202560 46655 0 0 0 179454 71 0 0 20 0 2 0 276472230 225644544 47764 33554432000 4194304 5963574 140737382884896 140316628748280 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.63
Current children cumulated vsize (KiB) 220356

Child status: 255

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 13893 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=601179
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=723889
# CPU time returned by wait4() is 1795.33
# while last known CPU time is 1799.63
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1800
CPU time (s): 1799.63
CPU user time (s): 1799.18
CPU system time (s): 0.45
CPU usage (%): 99.9793
Max. virtual memory (cumulated for all children) (KiB): 230112

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.6
system time used= 0.723889
maximum resident set size= 191056
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48937
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= 82
involuntary context switches= 1906

runsolver used 2.70959 second user time and 7.11192 second system time

The end

Launcher Data 

Begin job on node135 at 2012-05-27 09:24:34
IDJOB=3705185
IDBENCH=2946
IDSOLVER=2283
FILE ID=node135/3705185-1338103474
RUNJOBID= node135-1338083668-12425
PBS_JOBID= 14624422
Free space on /tmp= 71636 MiB

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

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

MD5SUM BENCH= d262db503fd284bdfe2b43790fda8490
RANDOM SEED=1177867853

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        31007956 kB
Buffers:          277240 kB
Cached:           306576 kB
SwapCached:         1732 kB
Active:           981696 kB
Inactive:          66456 kB
Active(anon):     454384 kB
Inactive(anon):    12016 kB
Active(file):     527312 kB
Inactive(file):    54440 kB
Unevictable:        7616 kB
Mlocked:            7616 kB
SwapTotal:      67108856 kB
SwapFree:       67105788 kB
Dirty:              6228 kB
Writeback:             0 kB
AnonPages:        476508 kB
Mapped:            12416 kB
Shmem:               132 kB
Slab:             673856 kB
SReclaimable:     115944 kB
SUnreclaim:       557912 kB
KernelStack:        1504 kB
PageTables:         4688 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     166540 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:    415744 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= 71628 MiB
End job on node135 at 2012-05-27 09:54:35