Trace number 3727157

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
wbo 1.72? 1799.86 1800.02

General information on the benchmark

Name/DEC-SMALLINT-LIN/lopes/
normalized-123.opb
MD5SUMe6dc64843ebe4c9cb8812bfa08aa0858
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables36611
Total number of constraints853935
Number of constraints which are clauses766797
Number of constraints which are cardinality constraints (but not clauses)2865
Number of constraints which are nor clauses,nor cardinality constraints84273
Minimum length of a constraint1
Maximum length of a constraint756
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 757
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c ==============================[ Solver Version ]===============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |   wbo:                     1.72 beta - May, 2012                            |
0.00/0.00	c |                                                                             |
0.00/0.00	c Parsing opb file format. File HOME/instance-3727157-1339019550.opb.
0.00/0.00	c Instance file HOME/instance-3727157-1339019550.opb
0.00/0.00	c File size is 38164234 bytes.
2.39/2.45	c Highest Coefficient sum: 757
2.39/2.45	c ============================[ Problem Statistics ]=============================
2.39/2.45	c |                                                                             |
2.39/2.45	c |  Parsing time:          2.45         s                                      |
2.39/2.45	c |  Number Variables:      36611                                               |
2.39/2.45	c |  Number Clauses:        768323                                              |
2.39/2.45	c |  Number Cardinality:    2687                                                |
2.39/2.45	c |  Number PB Constraints: 84273                                               |
2.39/2.45	c |                                                                             |
2.99/3.01	c |  Problem Type:          Decision                                            |
2.99/3.01	c |  Objective Function:    None                                                |
2.99/3.01	c |                                                                             |
2.99/3.01	c ===============================================================================
1799.51/1800.01	c ===============================================================================
1799.51/1800.01	c Wall Clock Time: 1800.01 s
1799.51/1800.01	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-3727157-1339019550/watcher-3727157-1339019550 -o /tmp/evaluation-result-3727157-1339019550/solver-3727157-1339019550 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3727157-1339019550.opb 

running on 4 cores: 1,3,5,7

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 1.97 1.68 3/173 21597
/proc/meminfo: memFree=28792692/32873844 swapFree=7900/7900
[pid=21597] ppid=21595 vsize=40416 CPUtime=0 cores=1,3,5,7
/proc/21597/stat : 21597 (wbo1.72) R 21595 21597 21469 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 368079666 41385984 276 33554432000 4194304 5964350 140736685676400 140734997829640 5136410 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/21597/statm: 10104 276 174 433 0 350 0

[startup+0.0250821 s]
/proc/loadavg: 2.00 1.97 1.68 3/173 21597
/proc/meminfo: memFree=28792692/32873844 swapFree=7900/7900
[pid=21597] ppid=21595 vsize=41324 CPUtime=0.02 cores=1,3,5,7
/proc/21597/stat : 21597 (wbo1.72) R 21595 21597 21469 0 -1 4202496 604 0 0 0 2 0 0 0 20 0 1 0 368079666 42315776 556 33554432000 4194304 5964350 140736685676400 140734997829640 4344688 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/21597/statm: 10331 557 242 433 0 577 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 41324

[startup+0.100216 s]
/proc/loadavg: 2.00 1.97 1.68 3/173 21597
/proc/meminfo: memFree=28792692/32873844 swapFree=7900/7900
[pid=21597] ppid=21595 vsize=44864 CPUtime=0.09 cores=1,3,5,7
/proc/21597/stat : 21597 (wbo1.72) R 21595 21597 21469 0 -1 4202496 1788 0 0 0 9 0 0 0 20 0 1 0 368079666 45940736 1707 33554432000 4194304 5964350 140736685676400 140736685674888 4342708 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/21597/statm: 11216 1707 529 433 0 1462 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 44864

[startup+0.374483 s]
/proc/loadavg: 2.00 1.97 1.68 3/173 21597
/proc/meminfo: memFree=28792692/32873844 swapFree=7900/7900
[pid=21597] ppid=21595 vsize=57864 CPUtime=0.36 cores=1,3,5,7
/proc/21597/stat : 21597 (wbo1.72) R 21595 21597 21469 0 -1 4202496 5962 0 0 0 36 0 0 0 20 0 1 0 368079666 59252736 5687 33554432000 4194304 5964350 140736685676400 140736685674888 4344688 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/21597/statm: 14466 5688 1552 433 0 4712 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 57864

[startup+0.700247 s]
/proc/loadavg: 2.00 1.97 1.68 3/173 21597
/proc/meminfo: memFree=28792692/32873844 swapFree=7900/7900
[pid=21597] ppid=21595 vsize=71124 CPUtime=0.69 cores=1,3,5,7
/proc/21597/stat : 21597 (wbo1.72) R 21595 21597 21469 0 -1 4202496 10689 0 0 0 68 1 0 0 20 0 1 0 368079666 72830976 10414 33554432000 4194304 5964350 140736685676400 140736685674888 5136410 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/21597/statm: 17781 10414 2804 433 0 8027 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 71124

[startup+1.50026 s]
/proc/loadavg: 2.00 1.97 1.68 3/177 21608
/proc/meminfo: memFree=28697692/32873844 swapFree=7900/7900
[pid=21597] ppid=21595 vsize=107200 CPUtime=1.48 cores=1,3,5,7
/proc/21597/stat : 21597 (wbo1.72) R 21595 21597 21469 0 -1 4202496 22457 0 0 0 146 2 0 0 20 0 1 0 368079666 109772800 21923 33554432000 4194304 5964350 140736685676400 140736685674872 5136410 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/21597/statm: 26800 21924 5909 433 0 17046 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 107200

[startup+3.10017 s]
/proc/loadavg: 2.00 1.97 1.68 3/177 21608
/proc/meminfo: memFree=28609204/32873844 swapFree=7900/7900
[pid=21597] ppid=21595 vsize=187620 CPUtime=3.09 cores=1,3,5,7
/proc/21597/stat : 21597 (wbo1.72) S 21595 21597 21469 0 -1 4202496 47382 0 0 0 302 7 0 0 20 0 2 0 368079666 192122880 38039 33554432000 4194304 5964350 140736685676400 140736685675920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21597/statm: 46905 38039 179 433 0 46469 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 187620

[startup+6.30032 s]
/proc/loadavg: 2.00 1.97 1.68 3/179 21610
/proc/meminfo: memFree=28270972/32873844 swapFree=7900/7900
[pid=21597] ppid=21595 vsize=250424 CPUtime=6.28 cores=1,3,5,7
/proc/21597/stat : 21597 (wbo1.72) S 21595 21597 21469 0 -1 4202496 62123 0 0 0 618 10 0 0 20 0 2 0 368079666 256434176 50896 33554432000 4194304 5964350 140736685676400 140736685675920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21597/statm: 62606 50896 187 433 0 62170 0
[pid=21597/tid=21609] ppid=21595 vsize=250424 CPUtime=3.83 cores=1,3,5,7
/proc/21597/task/21609/stat : 21609 (wbo1.72) R 21595 21597 21469 0 -1 4202560 26822 0 0 0 377 6 0 0 20 0 2 0 368079911 256434176 50896 33554432000 4194304 5964350 140736685676400 140543377401784 4222314 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 250424

[startup+12.7003 s]
/proc/loadavg: 2.00 1.97 1.68 3/179 21610
/proc/meminfo: memFree=28259984/32873844 swapFree=7900/7900
[pid=21597] ppid=21595 vsize=250424 CPUtime=12.69 cores=1,3,5,7
/proc/21597/stat : 21597 (wbo1.72) S 21595 21597 21469 0 -1 4202496 62642 0 0 0 1258 11 0 0 20 0 2 0 368079666 256434176 51415 33554432000 4194304 5964350 140736685676400 140736685675920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21597/statm: 62606 51416 187 433 0 62170 0
[pid=21597/tid=21609] ppid=21595 vsize=250424 CPUtime=10.23 cores=1,3,5,7
/proc/21597/task/21609/stat : 21609 (wbo1.72) R 21595 21597 21469 0 -1 4202560 27342 0 0 0 1016 7 0 0 20 0 2 0 368079911 256434176 51416 33554432000 4194304 5964350 140736685676400 140543377401656 5136340 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 250424

[startup+25.5004 s]
/proc/loadavg: 2.00 1.97 1.69 3/179 21610
/proc/meminfo: memFree=28245848/32873844 swapFree=7900/7900
[pid=21597] ppid=21595 vsize=250424 CPUtime=25.48 cores=1,3,5,7
/proc/21597/stat : 21597 (wbo1.72) S 21595 21597 21469 0 -1 4202496 63062 0 0 0 2537 11 0 0 20 0 2 0 368079666 256434176 51843 33554432000 4194304 5964350 140736685676400 140736685675920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21597/statm: 62606 51843 187 433 0 62170 0
[pid=21597/tid=21609] ppid=21595 vsize=250424 CPUtime=23.02 cores=1,3,5,7
/proc/21597/task/21609/stat : 21609 (wbo1.72) R 21595 21597 21469 0 -1 4202560 27761 0 0 0 2295 7 0 0 20 0 2 0 368079911 256434176 51843 33554432000 4194304 5964350 140736685676400 140543377401896 4399846 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 250424

[startup+51.1004 s]
/proc/loadavg: 2.00 1.97 1.69 3/180 21623
/proc/meminfo: memFree=28216404/32873844 swapFree=7900/7900
[pid=21597] ppid=21595 vsize=250424 CPUtime=51.08 cores=1,3,5,7
/proc/21597/stat : 21597 (wbo1.72) S 21595 21597 21469 0 -1 4202496 63607 0 0 0 5096 12 0 0 20 0 2 0 368079666 256434176 52607 33554432000 4194304 5964350 140736685676400 140736685675920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21597/statm: 62606 52607 187 433 0 62170 0
[pid=21597/tid=21609] ppid=21595 vsize=250424 CPUtime=48.62 cores=1,3,5,7
/proc/21597/task/21609/stat : 21609 (wbo1.72) R 21595 21597 21469 0 -1 4202560 28306 0 0 0 4854 8 0 0 20 0 2 0 368079911 256434176 52607 33554432000 4194304 5964350 140736685676400 140543377401656 4400462 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 250424

[startup+102.3 s]
/proc/loadavg: 2.00 1.97 1.71 3/179 21623
/proc/meminfo: memFree=28150984/32873844 swapFree=7900/7900
[pid=21597] ppid=21595 vsize=315960 CPUtime=102.25 cores=1,3,5,7
/proc/21597/stat : 21597 (wbo1.72) S 21595 21597 21469 0 -1 4202496 70487 0 0 0 10209 16 0 0 20 0 2 0 368079666 323543040 60447 33554432000 4194304 5964350 140736685676400 140736685675920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21597/statm: 78990 60447 187 433 0 78554 0
[pid=21597/tid=21609] ppid=21595 vsize=315960 CPUtime=99.8 cores=1,3,5,7
/proc/21597/task/21609/stat : 21609 (wbo1.72) R 21595 21597 21469 0 -1 4202560 35186 0 0 0 9967 13 0 0 20 0 2 0 368079911 323543040 60447 33554432000 4194304 5964350 140736685676400 140543377401656 4220672 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 315960

[startup+162.3 s]
/proc/loadavg: 2.00 1.97 1.73 3/179 21623
/proc/meminfo: memFree=28070484/32873844 swapFree=7900/7900
[pid=21597] ppid=21595 vsize=315960 CPUtime=162.22 cores=1,3,5,7
/proc/21597/stat : 21597 (wbo1.72) S 21595 21597 21469 0 -1 4202496 81338 0 0 0 16199 23 0 0 20 0 2 0 368079666 323543040 72038 33554432000 4194304 5964350 140736685676400 140736685675920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21597/statm: 78990 72038 187 433 0 78554 0
[pid=21597/tid=21609] ppid=21595 vsize=315960 CPUtime=159.76 cores=1,3,5,7
/proc/21597/task/21609/stat : 21609 (wbo1.72) R 21595 21597 21469 0 -1 4202560 46037 0 0 0 15955 21 0 0 20 0 2 0 368079911 323543040 72038 33554432000 4194304 5964350 140736685676400 140543377401656 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 315960

[startup+222.307 s]
/proc/loadavg: 2.06 1.99 1.74 3/179 21623
/proc/meminfo: memFree=27995676/32873844 swapFree=7900/7900
[pid=21597] ppid=21595 vsize=381496 CPUtime=222.21 cores=1,3,5,7
/proc/21597/stat : 21597 (wbo1.72) S 21595 21597 21469 0 -1 4202496 93057 0 0 0 22192 29 0 0 20 0 2 0 368079666 390651904 84268 33554432000 4194304 5964350 140736685676400 140736685675920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21597/statm: 95374 84268 187 433 0 94938 0
[pid=21597/tid=21609] ppid=21595 vsize=381496 CPUtime=219.77 cores=1,3,5,7
/proc/21597/task/21609/stat : 21609 (wbo1.72) R 21595 21597 21469 0 -1 4202560 57756 0 0 0 21949 28 0 0 20 0 2 0 368079911 390651904 84268 33554432000 4194304 5964350 140736685676400 140543377401656 4399987 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 381496

[startup+282.3 s]
/proc/loadavg: 2.05 2.00 1.76 3/179 21623
/proc/meminfo: memFree=27920744/32873844 swapFree=7900/7900
[pid=21597] ppid=21595 vsize=447032 CPUtime=282.19 cores=1,3,5,7
/proc/21597/stat : 21597 (wbo1.72) S 21595 21597 21469 0 -1 4202496 104293 0 0 0 28182 37 0 0 20 0 2 0 368079666 457760768 96015 33554432000 4194304 5964350 140736685676400 140736685675920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21597/statm: 111758 96015 187 433 0 111322 0
[pid=21597/tid=21609] ppid=21595 vsize=447032 CPUtime=279.76 cores=1,3,5,7
/proc/21597/task/21609/stat : 21609 (wbo1.72) R 21595 21597 21469 0 -1 4202560 68992 0 0 0 27939 37 0 0 20 0 2 0 368079911 457760768 96015 33554432000 4194304 5964350 140736685676400 140543377401848 4399840 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 447032

[startup+342.3 s]
/proc/loadavg: 2.02 2.00 1.77 3/179 21623
/proc/meminfo: memFree=27861316/32873844 swapFree=7900/7900
[pid=21597] ppid=21595 vsize=447032 CPUtime=342.18 cores=1,3,5,7
/proc/21597/stat : 21597 (wbo1.72) S 21595 21597 21469 0 -1 4202496 111696 0 0 0 34175 43 0 0 20 0 2 0 368079666 457760768 103418 33554432000 4194304 5964350 140736685676400 140736685675920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21597/statm: 111758 103418 187 433 0 111322 0
[pid=21597/tid=21609] ppid=21595 vsize=447032 CPUtime=339.75 cores=1,3,5,7
/proc/21597/task/21609/stat : 21609 (wbo1.72) R 21595 21597 21469 0 -1 4202560 76395 0 0 0 33931 44 0 0 20 0 2 0 368079911 457760768 103418 33554432000 4194304 5964350 140736685676400 140543377401896 4403290 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 447032

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.78 3/179 21624
/proc/meminfo: memFree=27808396/32873844 swapFree=7900/7900
[pid=21597] ppid=21595 vsize=512568 CPUtime=402.17 cores=1,3,5,7
/proc/21597/stat : 21597 (wbo1.72) S 21595 21597 21469 0 -1 4202496 118888 0 0 0 40167 50 0 0 20 0 2 0 368079666 524869632 110610 33554432000 4194304 5964350 140736685676400 140736685675920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21597/statm: 128142 110610 187 433 0 127706 0
[pid=21597/tid=21609] ppid=21595 vsize=512568 CPUtime=399.75 cores=1,3,5,7
/proc/21597/task/21609/stat : 21609 (wbo1.72) R 21595 21597 21469 0 -1 4202560 83587 0 0 0 39923 52 0 0 20 0 2 0 368079911 524869632 110610 33554432000 4194304 5964350 140736685676400 140543377401896 5136340 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 512568

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.80 3/179 21627
/proc/meminfo: memFree=27755444/32873844 swapFree=7900/7900
[pid=21597] ppid=21595 vsize=512568 CPUtime=462.16 cores=1,3,5,7
/proc/21597/stat : 21597 (wbo1.72) S 21595 21597 21469 0 -1 4202496 123907 0 0 0 46160 56 0 0 20 0 2 0 368079666 524869632 116651 33554432000 4194304 5964350 140736685676400 140736685675920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21597/statm: 128142 116651 187 433 0 127706 0
[pid=21597/tid=21609] ppid=21595 vsize=512568 CPUtime=459.76 cores=1,3,5,7
/proc/21597/task/21609/stat : 21609 (wbo1.72) R 21595 21597 21469 0 -1 4202560 88606 0 0 0 45918 58 0 0 20 0 2 0 368079911 524869632 116651 33554432000 4194304 5964350 140736685676400 140543377401848 4222330 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0

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

/proc/21597/task/21609/stat : 21609 (wbo1.72) R 21595 21597 21469 0 -1 4202560 133038 0 0 0 123842 127 0 0 20 0 2 0 368079911 726196224 163226 33554432000 4194304 5964350 140736685676400 140543377401848 4399840 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1241.94
Current children cumulated vsize (KiB) 709176

[startup+1302.3 s]
/proc/loadavg: 2.02 2.01 1.90 3/179 21657
/proc/meminfo: memFree=27299604/32873844 swapFree=7900/7900
[pid=21597] ppid=21595 vsize=709176 CPUtime=1301.92 cores=1,3,5,7
/proc/21597/stat : 21597 (wbo1.72) S 21595 21597 21469 0 -1 4202496 171028 0 0 0 130076 116 0 0 20 0 2 0 368079666 726196224 166428 33554432000 4194304 5964350 140736685676400 140736685675920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21597/statm: 177294 166428 187 433 0 176858 0
[pid=21597/tid=21609] ppid=21595 vsize=709176 CPUtime=1299.68 cores=1,3,5,7
/proc/21597/task/21609/stat : 21609 (wbo1.72) R 21595 21597 21469 0 -1 4202560 135727 0 0 0 129837 131 0 0 20 0 2 0 368079911 726196224 166428 33554432000 4194304 5964350 140736685676400 140543377401656 4403287 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 709176

[startup+1362.3 s]
/proc/loadavg: 2.01 2.00 1.91 3/179 21657
/proc/meminfo: memFree=27276184/32873844 swapFree=7896/7896
[pid=21597] ppid=21595 vsize=709176 CPUtime=1361.9 cores=1,3,5,7
/proc/21597/stat : 21597 (wbo1.72) S 21595 21597 21469 0 -1 4202496 173901 0 0 0 136071 119 0 0 20 0 2 0 368079666 726196224 169832 33554432000 4194304 5964350 140736685676400 140736685675920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21597/statm: 177294 169832 187 433 0 176858 0
[pid=21597/tid=21609] ppid=21595 vsize=709176 CPUtime=1359.67 cores=1,3,5,7
/proc/21597/task/21609/stat : 21609 (wbo1.72) R 21595 21597 21469 0 -1 4202560 138600 0 0 0 135832 135 0 0 20 0 2 0 368079911 726196224 169832 33554432000 4194304 5964350 140736685676400 140543377401656 4399840 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 709176

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 21657
/proc/meminfo: memFree=27252804/32873844 swapFree=7900/7900
[pid=21597] ppid=21595 vsize=709176 CPUtime=1421.87 cores=1,3,5,7
/proc/21597/stat : 21597 (wbo1.72) S 21595 21597 21469 0 -1 4202496 177063 0 0 0 142064 123 0 0 20 0 2 0 368079666 726196224 173144 33554432000 4194304 5964350 140736685676400 140736685675920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21597/statm: 177294 173144 187 433 0 176858 0
[pid=21597/tid=21609] ppid=21595 vsize=709176 CPUtime=1419.65 cores=1,3,5,7
/proc/21597/task/21609/stat : 21609 (wbo1.72) R 21595 21597 21469 0 -1 4202560 141762 0 0 0 141825 140 0 0 20 0 2 0 368079911 726196224 173144 33554432000 4194304 5964350 140736685676400 140543377401848 4399840 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 709176

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 21657
/proc/meminfo: memFree=27229368/32873844 swapFree=7900/7900
[pid=21597] ppid=21595 vsize=774712 CPUtime=1481.85 cores=1,3,5,7
/proc/21597/stat : 21597 (wbo1.72) S 21595 21597 21469 0 -1 4202496 179054 0 0 0 148059 126 0 0 20 0 2 0 368079666 793305088 175135 33554432000 4194304 5964350 140736685676400 140736685675920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21597/statm: 193678 175135 187 433 0 193242 0
[pid=21597/tid=21609] ppid=21595 vsize=774712 CPUtime=1479.65 cores=1,3,5,7
/proc/21597/task/21609/stat : 21609 (wbo1.72) R 21595 21597 21469 0 -1 4202560 143753 0 0 0 147821 144 0 0 20 0 2 0 368079911 793305088 175135 33554432000 4194304 5964350 140736685676400 140543377401848 4392888 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 774712

[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 21657
/proc/meminfo: memFree=27203700/32873844 swapFree=7900/7900
[pid=21597] ppid=21595 vsize=774712 CPUtime=1541.85 cores=1,3,5,7
/proc/21597/stat : 21597 (wbo1.72) S 21595 21597 21469 0 -1 4202496 181823 0 0 0 154056 129 0 0 20 0 2 0 368079666 793305088 177904 33554432000 4194304 5964350 140736685676400 140736685675920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21597/statm: 193678 177904 187 433 0 193242 0
[pid=21597/tid=21609] ppid=21595 vsize=774712 CPUtime=1539.66 cores=1,3,5,7
/proc/21597/task/21609/stat : 21609 (wbo1.72) R 21595 21597 21469 0 -1 4202560 146522 0 0 0 153818 148 0 0 20 0 2 0 368079911 793305088 177904 33554432000 4194304 5964350 140736685676400 140543377401896 4399840 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 774712

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 21658
/proc/meminfo: memFree=27183736/32873844 swapFree=7900/7900
[pid=21597] ppid=21595 vsize=774712 CPUtime=1601.83 cores=1,3,5,7
/proc/21597/stat : 21597 (wbo1.72) S 21595 21597 21469 0 -1 4202496 183650 0 0 0 160051 132 0 0 20 0 2 0 368079666 793305088 179731 33554432000 4194304 5964350 140736685676400 140736685675920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21597/statm: 193678 179731 187 433 0 193242 0
[pid=21597/tid=21609] ppid=21595 vsize=774712 CPUtime=1599.65 cores=1,3,5,7
/proc/21597/task/21609/stat : 21609 (wbo1.72) R 21595 21597 21469 0 -1 4202560 148349 0 0 0 159812 153 0 0 20 0 2 0 368079911 793305088 179731 33554432000 4194304 5964350 140736685676400 140543377401848 4399840 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 774712

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/180 21661
/proc/meminfo: memFree=27160540/32873844 swapFree=7900/7900
[pid=21597] ppid=21595 vsize=774712 CPUtime=1661.82 cores=1,3,5,7
/proc/21597/stat : 21597 (wbo1.72) S 21595 21597 21469 0 -1 4202496 185453 0 0 0 166047 135 0 0 20 0 2 0 368079666 793305088 181534 33554432000 4194304 5964350 140736685676400 140736685675920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21597/statm: 193678 181534 187 433 0 193242 0
[pid=21597/tid=21609] ppid=21595 vsize=774712 CPUtime=1659.66 cores=1,3,5,7
/proc/21597/task/21609/stat : 21609 (wbo1.72) R 21595 21597 21469 0 -1 4202560 150152 0 0 0 165810 156 0 0 20 0 2 0 368079911 793305088 181534 33554432000 4194304 5964350 140736685676400 140543377401656 4399840 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 774712

[startup+1722.3 s]
/proc/loadavg: 2.07 2.02 1.91 3/179 21661
/proc/meminfo: memFree=27138064/32873844 swapFree=7900/7900
[pid=21597] ppid=21595 vsize=774712 CPUtime=1721.82 cores=1,3,5,7
/proc/21597/stat : 21597 (wbo1.72) S 21595 21597 21469 0 -1 4202496 187243 0 0 0 172045 137 0 0 20 0 2 0 368079666 793305088 183324 33554432000 4194304 5964350 140736685676400 140736685675920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21597/statm: 193678 183324 187 433 0 193242 0
[pid=21597/tid=21609] ppid=21595 vsize=774712 CPUtime=1719.66 cores=1,3,5,7
/proc/21597/task/21609/stat : 21609 (wbo1.72) R 21595 21597 21469 0 -1 4202560 151942 0 0 0 171807 159 0 0 20 0 2 0 368079911 793305088 183324 33554432000 4194304 5964350 140736685676400 140543377401848 4399840 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 774712

[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 1.91 3/179 21661
/proc/meminfo: memFree=27106776/32873844 swapFree=7900/7900
[pid=21597] ppid=21595 vsize=787016 CPUtime=1781.81 cores=1,3,5,7
/proc/21597/stat : 21597 (wbo1.72) S 21595 21597 21469 0 -1 4202496 188845 0 0 0 178042 139 0 0 20 0 2 0 368079666 805904384 187481 33554432000 4194304 5964350 140736685676400 140736685675920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21597/statm: 196754 187481 187 433 0 196318 0
[pid=21597/tid=21609] ppid=21595 vsize=787016 CPUtime=1779.66 cores=1,3,5,7
/proc/21597/task/21609/stat : 21609 (wbo1.72) R 21595 21597 21469 0 -1 4202560 153544 0 0 0 177804 162 0 0 20 0 2 0 368079911 805904384 187481 33554432000 4194304 5964350 140736685676400 140543377401784 4399840 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 787016

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

[startup+1792.01 s]
/proc/loadavg: 2.02 2.01 1.91 3/179 21661
/proc/meminfo: memFree=27104032/32873844 swapFree=7900/7900
[pid=21597] ppid=21595 vsize=787016 CPUtime=1791.51 cores=1,3,5,7
/proc/21597/stat : 21597 (wbo1.72) S 21595 21597 21469 0 -1 4202496 188850 0 0 0 179012 139 0 0 20 0 2 0 368079666 805904384 187486 33554432000 4194304 5964350 140736685676400 140736685675920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21597/statm: 196754 187486 187 433 0 196318 0
[pid=21597/tid=21609] ppid=21595 vsize=787016 CPUtime=1789.37 cores=1,3,5,7
/proc/21597/task/21609/stat : 21609 (wbo1.72) R 21595 21597 21469 0 -1 4202560 153549 0 0 0 178775 162 0 0 20 0 2 0 368079911 805904384 187486 33554432000 4194304 5964350 140736685676400 140543377401784 4403287 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1791.51
Current children cumulated vsize (KiB) 787016

[startup+1795.2 s]
/proc/loadavg: 2.02 2.01 1.91 3/179 21661
/proc/meminfo: memFree=27103288/32873844 swapFree=7900/7900
[pid=21597] ppid=21595 vsize=787016 CPUtime=1794.71 cores=1,3,5,7
/proc/21597/stat : 21597 (wbo1.72) S 21595 21597 21469 0 -1 4202496 188851 0 0 0 179332 139 0 0 20 0 2 0 368079666 805904384 187487 33554432000 4194304 5964350 140736685676400 140736685675920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21597/statm: 196754 187487 187 433 0 196318 0
[pid=21597/tid=21609] ppid=21595 vsize=787016 CPUtime=1792.57 cores=1,3,5,7
/proc/21597/task/21609/stat : 21609 (wbo1.72) R 21595 21597 21469 0 -1 4202560 153550 0 0 0 179095 162 0 0 20 0 2 0 368079911 805904384 187487 33554432000 4194304 5964350 140736685676400 140543377401784 4399989 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1794.71
Current children cumulated vsize (KiB) 787016

[startup+1798.4 s]
/proc/loadavg: 2.02 2.01 1.91 3/179 21661
/proc/meminfo: memFree=27102792/32873844 swapFree=7900/7900
[pid=21597] ppid=21595 vsize=787016 CPUtime=1797.91 cores=1,3,5,7
/proc/21597/stat : 21597 (wbo1.72) S 21595 21597 21469 0 -1 4202496 188855 0 0 0 179652 139 0 0 20 0 2 0 368079666 805904384 187491 33554432000 4194304 5964350 140736685676400 140736685675920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21597/statm: 196754 187491 187 433 0 196318 0
[pid=21597/tid=21609] ppid=21595 vsize=787016 CPUtime=1795.76 cores=1,3,5,7
/proc/21597/task/21609/stat : 21609 (wbo1.72) R 21595 21597 21469 0 -1 4202560 153554 0 0 0 179414 162 0 0 20 0 2 0 368079911 805904384 187491 33554432000 4194304 5964350 140736685676400 140543377401784 4399840 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1797.91
Current children cumulated vsize (KiB) 787016

[startup+1799.2 s]
/proc/loadavg: 2.02 2.01 1.91 3/179 21661
/proc/meminfo: memFree=27102668/32873844 swapFree=7900/7900
[pid=21597] ppid=21595 vsize=787016 CPUtime=1798.71 cores=1,3,5,7
/proc/21597/stat : 21597 (wbo1.72) S 21595 21597 21469 0 -1 4202496 188855 0 0 0 179732 139 0 0 20 0 2 0 368079666 805904384 187491 33554432000 4194304 5964350 140736685676400 140736685675920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21597/statm: 196754 187491 187 433 0 196318 0
[pid=21597/tid=21609] ppid=21595 vsize=787016 CPUtime=1796.56 cores=1,3,5,7
/proc/21597/task/21609/stat : 21609 (wbo1.72) R 21595 21597 21469 0 -1 4202560 153554 0 0 0 179494 162 0 0 20 0 2 0 368079911 805904384 187491 33554432000 4194304 5964350 140736685676400 140543377401784 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1798.71
Current children cumulated vsize (KiB) 787016

[startup+1799.6 s]
/proc/loadavg: 2.02 2.01 1.91 3/179 21661
/proc/meminfo: memFree=27101676/32873844 swapFree=7900/7900
[pid=21597] ppid=21595 vsize=787016 CPUtime=1799.11 cores=1,3,5,7
/proc/21597/stat : 21597 (wbo1.72) S 21595 21597 21469 0 -1 4202496 188855 0 0 0 179772 139 0 0 20 0 2 0 368079666 805904384 187491 33554432000 4194304 5964350 140736685676400 140736685675920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21597/statm: 196754 187491 187 433 0 196318 0
[pid=21597/tid=21609] ppid=21595 vsize=787016 CPUtime=1796.97 cores=1,3,5,7
/proc/21597/task/21609/stat : 21609 (wbo1.72) R 21595 21597 21469 0 -1 4202560 153554 0 0 0 179535 162 0 0 20 0 2 0 368079911 805904384 187491 33554432000 4194304 5964350 140736685676400 140543377401784 4399930 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1799.11
Current children cumulated vsize (KiB) 787016

[startup+1800 s]
/proc/loadavg: 2.02 2.01 1.91 3/179 21661
/proc/meminfo: memFree=27101676/32873844 swapFree=7900/7900
[pid=21597] ppid=21595 vsize=787016 CPUtime=1799.51 cores=1,3,5,7
/proc/21597/stat : 21597 (wbo1.72) S 21595 21597 21469 0 -1 4202496 188855 0 0 0 179812 139 0 0 20 0 2 0 368079666 805904384 187491 33554432000 4194304 5964350 140736685676400 140736685675920 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21597/statm: 196754 187491 187 433 0 196318 0
[pid=21597/tid=21609] ppid=21595 vsize=787016 CPUtime=1797.36 cores=1,3,5,7
/proc/21597/task/21609/stat : 21609 (wbo1.72) R 21595 21597 21469 0 -1 4202560 153554 0 0 0 179574 162 0 0 20 0 2 0 368079911 805904384 187491 33554432000 4194304 5964350 140736685676400 140543377401784 4392888 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1799.51
Current children cumulated vsize (KiB) 787016

Child status: 255
Real time (s): 1800.02
CPU time (s): 1799.86
CPU user time (s): 1798.17
CPU system time (s): 1.68674
CPU usage (%): 99.9909
Max. virtual memory (cumulated for all children) (KiB): 787016

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.17
system time used= 1.68674
maximum resident set size= 749976
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 188858
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= 242
involuntary context switches= 2009

runsolver used 2.85257 second user time and 8.60669 second system time

The end

Launcher Data 

Begin job on node137 at 2012-06-06 23:52:31
IDJOB=3727157
IDBENCH=89740
IDSOLVER=2313
FILE ID=node137/3727157-1339019550
RUNJOBID= node137-1339019550-21580
PBS_JOBID= 14643278
Free space on /tmp= 70376 MiB

SOLVER NAME= wbo 1.72
BENCH NAME= PB11/normalized-PB11/DEC-SMALLINT-LIN/lopes/normalized-123.opb
COMMAND LINE= wbo1.72 -file-format=opb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3727157-1339019550/watcher-3727157-1339019550 -o /tmp/evaluation-result-3727157-1339019550/solver-3727157-1339019550 -C 1800 -W 1900 -M 15500  wbo1.72 -file-format=opb HOME/instance-3727157-1339019550.opb

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

MD5SUM BENCH= e6dc64843ebe4c9cb8812bfa08aa0858
RANDOM SEED=174647250

node137.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.600
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.20
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.600
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.600
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
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.600
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.600
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.600
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.90
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.600
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.600
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:        28794716 kB
Buffers:          326116 kB
Cached:          2914060 kB
SwapCached:         5840 kB
Active:          1100516 kB
Inactive:        2150616 kB
Active(anon):       6256 kB
Inactive(anon):     7156 kB
Active(file):    1094260 kB
Inactive(file):  2143460 kB
Unevictable:        7900 kB
Mlocked:            7900 kB
SwapTotal:      67108856 kB
SwapFree:       67097516 kB
Dirty:             80324 kB
Writeback:             0 kB
AnonPages:         14696 kB
Mapped:             8768 kB
Shmem:                 0 kB
Slab:             689696 kB
SReclaimable:     130628 kB
SUnreclaim:       559068 kB
KernelStack:        1416 kB
PageTables:         3956 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     108732 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70352 MiB
End job on node137 at 2012-06-07 00:22:32