Trace number 3472331

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
claspmt 2.0-R4095-patched (fixed)UNSAT 3857.32 253.981

General information on the benchmark

NameAPPLICATIONS/diagnosis/
UCG-15-10p0.cnf
MD5SUMbcbcc9a4e4a7e3ebed9eeaa393ebdc32
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark3363.87
Satisfiable
(Un)Satisfiability was proved
Number of variables199304
Number of clauses1005834
Sum of the clauses size2392967
Maximum clause length10
Minimum clause length1
Number of clauses of size 110249
Number of clauses of size 2756917
Number of clauses of size 3187708
Number of clauses of size 45660
Number of clauses of size 522640
Number of clauses of size over 522660

Solver Data

0.00/0.00	c clasp version 2.0.0-RC2
0.00/0.00	c Reading from ...483476/instance-3472331-1307483476.cnf
2.29/2.34	c Solving...
3857.23/253.94	s UNSATISFIABLE
3857.23/253.94	
3857.23/253.94	c Models        : 0     
3857.23/253.94	c Time          : 252.532s (Solving: 250.19s 1st Model: 0.00s Unsat: 250.19s)
3857.23/253.94	c CPU Time      : 3855.870s

Verifier Data

No possible verification on an UNSAT instance

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3472331-1307483476/watcher-3472331-1307483476 -o /tmp/evaluation-result-3472331-1307483476/solver-3472331-1307483476 -C 160000 -W 5100 -M 256000 HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472331-1307483476.cnf 

running on 32 cores: 0,4,8,12,16,20,24,28,1,5,9,13,17,21,25,29,2,6,10,14,18,22,26,30,3,7,11,15,19,23,27,31

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 160000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 160030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 262144000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 262195200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 27.15 23.98 21.87 1/413 17960
/proc/meminfo: memFree=263151936/264257624 swapFree=67111528/67111528
[pid=17960] ppid=17958 vsize=46184 CPUtime=0.02 cores=0-31
/proc/17960/stat : 17960 (claspmt) R 17958 17960 17934 0 -1 4202496 4958 0 0 0 2 0 0 0 22 0 1 0 13734558 47292416 4887 270582939648 4194304 4964800 140734589053120 18446744073709551615 4700412 0 0 4096 18946 0 0 0 17 8 0 0 0
/proc/17960/statm: 11546 4895 373 189 0 6420 0

[startup+0.0474101 s]
/proc/loadavg: 27.15 23.98 21.87 1/413 17960
/proc/meminfo: memFree=263151936/264257624 swapFree=67111528/67111528
[pid=17960] ppid=17958 vsize=46184 CPUtime=0.04 cores=0-31
/proc/17960/stat : 17960 (claspmt) R 17958 17960 17934 0 -1 4202496 6796 0 0 0 3 1 0 0 22 0 1 0 13734558 47292416 6725 270582939648 4194304 4964800 140734589053120 18446744073709551615 4700412 0 0 4096 18946 0 0 0 17 8 0 0 0
/proc/17960/statm: 11546 6735 373 189 0 6420 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 46184

[startup+0.100421 s]
/proc/loadavg: 27.15 23.98 21.87 1/413 17960
/proc/meminfo: memFree=263151936/264257624 swapFree=67111528/67111528
[pid=17960] ppid=17958 vsize=64996 CPUtime=0.09 cores=0-31
/proc/17960/stat : 17960 (claspmt) R 17958 17960 17934 0 -1 4202496 13313 0 0 0 7 2 0 0 22 0 1 0 13734558 66555904 11212 270582939648 4194304 4964800 140734589053120 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 8 0 0 0
/proc/17960/statm: 16249 11213 383 189 0 11123 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 64996

[startup+0.300431 s]
/proc/loadavg: 27.15 23.98 21.87 1/413 17960
/proc/meminfo: memFree=263151936/264257624 swapFree=67111528/67111528
[pid=17960] ppid=17958 vsize=92840 CPUtime=0.29 cores=0-31
/proc/17960/stat : 17960 (claspmt) R 17958 17960 17934 0 -1 4202496 23262 0 0 0 24 5 0 0 23 0 1 0 13734558 95068160 17596 270582939648 4194304 4964800 140734589053120 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 8 0 0 0
/proc/17960/statm: 23210 17598 383 189 0 18084 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 92840

[startup+0.700428 s]
/proc/loadavg: 27.15 23.98 21.87 1/413 17960
/proc/meminfo: memFree=263151936/264257624 swapFree=67111528/67111528
[pid=17960] ppid=17958 vsize=132796 CPUtime=0.69 cores=0-31
/proc/17960/stat : 17960 (claspmt) R 17958 17960 17934 0 -1 4202496 35442 0 0 0 62 7 0 0 25 0 1 0 13734558 135983104 27781 270582939648 4194304 4964800 140734589053120 18446744073709551615 4615600 0 0 4096 18946 0 0 0 17 8 0 0 0
/proc/17960/statm: 33199 27781 397 189 0 28073 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 132796

[startup+1.50044 s]
/proc/loadavg: 27.15 23.98 21.87 2/414 17961
/proc/meminfo: memFree=263036972/264257624 swapFree=67111528/67111528
[pid=17960] ppid=17958 vsize=136896 CPUtime=1.49 cores=0-31
/proc/17960/stat : 17960 (claspmt) R 17958 17960 17934 0 -1 4202496 36589 0 0 0 141 8 0 0 25 0 1 0 13734558 140181504 28928 270582939648 4194304 4964800 140734589053120 18446744073709551615 4612264 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/17960/statm: 34224 28928 401 189 0 29098 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 136896

[startup+3.10039 s]
/proc/loadavg: 27.15 23.98 21.87 2/414 17961
/proc/meminfo: memFree=263036612/264257624 swapFree=67111528/67111528
[pid=17960] ppid=17958 vsize=1155800 CPUtime=19.47 cores=0-31
/proc/17960/stat : 17960 (claspmt) S 17958 17960 17934 0 -1 4202496 177085 0 0 0 321 1626 0 0 18 0 32 0 13734558 1183539200 120632 270582939648 4194304 4964800 140734589053120 18446744073709551615 258662772457 0 0 4096 18946 18446744073709551615 0 0 17 12 0 0 0
/proc/17960/statm: 288950 120674 435 189 0 283299 0
Current children cumulated CPU time (s) 19.47
Current children cumulated vsize (KiB) 1155800

[startup+6.30159 s]
/proc/loadavg: 26.50 23.90 21.86 5/445 17992
/proc/meminfo: memFree=262279292/264257624 swapFree=67111528/67111528
[pid=17960] ppid=17958 vsize=2232096 CPUtime=34.59 cores=0-31
/proc/17960/stat : 17960 (claspmt) S 17958 17960 17934 0 -1 4202496 278681 0 0 0 1536 1923 0 0 18 0 32 0 13734558 2285666304 218655 270582939648 4194304 4964800 140734589053120 18446744073709551615 258662772457 0 0 4096 18946 18446744073709551615 0 0 17 12 0 0 0
/proc/17960/statm: 558024 218655 440 189 0 552373 0
[pid=17960/tid=17962] ppid=17958 vsize=2232096 CPUtime=0.62 cores=0-31
/proc/17960/task/17962/stat : 17962 (claspmt) S 17958 17960 17934 0 -1 4202560 5725 0 0 0 10 52 0 0 18 0 32 0 13734792 2285666304 218655 270582939648 4194304 4964800 140734589053120 18446744073709551615 258662772457 0 0 4096 18946 18446604561316658656 0 0 -1 17 0 0 0
[pid=17960/tid=17963] ppid=17958 vsize=2232096 CPUtime=0.83 cores=0-31
/proc/17960/task/17963/stat : 17963 (claspmt) S 17958 17960 17934 0 -1 4202560 8730 0 0 0 19 64 0 0 18 0 32 0 13734792 2285666304 218655 270582939648 4194304 4964800 140734589053120 18446744073709551615 258662772457 0 0 4096 18946 18446604505793101280 0 0 -1 26 0 0 0
[pid=17960/tid=17964] ppid=17958 vsize=2232096 CPUtime=0.81 cores=0-31
/proc/17960/task/17964/stat : 17964 (claspmt) S 17958 17960 17934 0 -1 4202560 8691 0 0 0 14 67 0 0 18 0 32 0 13734792 2285666304 218655 270582939648 4194304 4964800 140734589053120 18446744073709551615 258662772457 0 0 4096 18946 18446604505818750432 0 0 -1 22 0 0 0
[pid=17960/tid=17965] ppid=17958 vsize=2232096 CPUtime=0.68 cores=0-31
/proc/17960/task/17965/stat : 17965 (claspmt) S 17958 17960 17934 0 -1 4202560 6635 0 0 0 9 59 0 0 18 0 32 0 13734792 2285666304 218655 270582939648 4194304 4964800 140734589053120 18446744073709551615 258662772457 0 0 4096 18946 18446604504276057568 0 0 -1 8 0 0 0
[pid=17960/tid=17966] ppid=17958 vsize=2232096 CPUtime=2.83 cores=0-31
/proc/17960/task/17966/stat : 17966 (claspmt) R 17958 17960 17934 0 -1 4202560 7542 0 0 0 221 62 0 0 21 0 32 0 13734792 2285666304 218655 270582939648 4194304 4964800 140734589053120 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=17960/tid=17967] ppid=17958 vsize=2232096 CPUtime=0.79 cores=0-31
/proc/17960/task/17967/stat : 17967 (claspmt) S 17958 17960 17934 0 -1 4202560 8993 0 0 0 16 63 0 0 18 0 32 0 13734792 2285666304 218655 270582939648 4194304 4964800 140734589053120 18446744073709551615 258662772457 0 0 4096 18946 18446604505668664800 0 0 -1 16 0 0 0
[pid=17960/tid=17968] ppid=17958 vsize=2232096 CPUtime=0.87 cores=0-31
/proc/17960/task/17968/stat : 17968 (claspmt) S 17958 17960 17934 0 -1 4202560 8582 0 0 0 18 69 0 0 18 0 32 0 13734792 2285666304 218655 270582939648 4194304 4964800 140734589053120 18446744073709551615 258662772457 0 0 4096 18946 18446604499834838496 0 0 -1 5 0 0 0
[pid=17960/tid=17969] ppid=17958 vsize=2232096 CPUtime=0.7 cores=0-31
/proc/17960/task/17969/stat : 17969 (claspmt) S 17958 17960 17934 0 -1 4202560 6358 0 0 0 11 59 0 0 18 0 32 0 13734792 2285666304 218655 270582939648 4194304 4964800 140734589053120 18446744073709551615 258662772457 0 0 4096 18946 18446604505655377376 0 0 -1 30 0 0 0
[pid=17960/tid=17970] ppid=17958 vsize=2232096 CPUtime=0.7 cores=0-31
/proc/17960/task/17970/stat : 17970 (claspmt) S 17958 17960 17934 0 -1 4202560 6788 0 0 0 9 61 0 0 18 0 32 0 13734792 2285666304 218655 270582939648 4194304 4964800 140734589053120 18446744073709551615 258662772457 0 0 4096 18946 18446604499834846688 0 0 -1 29 0 0 0
[pid=17960/tid=17971] ppid=17958 vsize=2232096 CPUtime=0.8 cores=0-31
/proc/17960/task/17971/stat : 17971 (claspmt) S 17958 17960 17934 0 -1 4202560 8572 0 0 0 18 62 0 0 18 0 32 0 13734792 2285666304 218655 270582939648 4194304 4964800 140734589053120 18446744073709551615 258662772457 0 0 4096 18946 18446604498395807200 0 0 -1 7 0 0 0
[pid=17960/tid=17972] ppid=17958 vsize=2232096 CPUtime=0.84 cores=0-31
/proc/17960/task/17972/stat : 17972 (claspmt) S 17958 17960 17934 0 -1 4202560 8783 0 0 0 15 69 0 0 18 0 32 0 13734792 2285666304 218655 270582939648 4194304 4964800 140734589053120 18446744073709551615 258662772457 0 0 4096 18946 18446604505543548384 0 0 -1 18 0 0 0
[pid=17960/tid=17973] ppid=17958 vsize=2232096 CPUtime=0.67 cores=0-31
/proc/17960/task/17973/stat : 17973 (claspmt) S 17958 17960 17934 0 -1 4202560 6726 0 0 0 10 57 0 0 18 0 32 0 13734792 2285666304 218655 270582939648 4194304 4964800 140734589053120 18446744073709551615 258662772457 0 0 4096 18946 18446604499527474656 0 0 -1 2 0 0 0
[pid=17960/tid=17974] ppid=17958 vsize=2232096 CPUtime=3.04 cores=0-31
/proc/17960/task/17974/stat : 17974 (claspmt) R 17958 17960 17934 0 -1 4202560 6902 0 0 0 244 60 0 0 21 0 32 0 13734792 2285666304 218655 270582939648 4194304 4964800 140734589053120 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=17960/tid=17975] ppid=17958 vsize=2232096 CPUtime=0.72 cores=0-31
/proc/17960/task/17975/stat : 17975 (claspmt) S 17958 17960 17934 0 -1 4202560 9172 0 0 0 19 53 0 0 18 0 32 0 13734792 2285666304 218655 270582939648 4194304 4964800 140734589053120 18446744073709551615 258662772457 0 0 4096 18946 18446604501859212768 0 0 -1 10 0 0 0
[pid=17960/tid=17976] ppid=17958 vsize=2232096 CPUtime=0.9 cores=0-31
/proc/17960/task/17976/stat : 17976 (claspmt) S 17958 17960 17934 0 -1 4202560 8637 0 0 0 17 73 0 0 18 0 32 0 13734792 2285666304 218655 270582939648 4194304 4964800 140734589053120 18446744073709551615 258662772457 0 0 4096 18946 18446604504276049376 0 0 -1 1 0 0 0
[pid=17960/tid=17977] ppid=17958 vsize=2232096 CPUtime=0.67 cores=0-31
/proc/17960/task/17977/stat : 17977 (claspmt) S 17958 17960 17934 0 -1 4202560 6733 0 0 0 9 58 0 0 18 0 32 0 13734793 2285666304 218655 270582939648 4194304 4964800 140734589053120 18446744073709551615 258662772457 0 0 4096 18946 18446604504872508896 0 0 -1 9 0 0 0
[pid=17960/tid=17978] ppid=17958 vsize=2232096 CPUtime=0.74 cores=0-31
/proc/17960/task/17978/stat : 17978 (claspmt) S 17958 17960 17934 0 -1 4202560 6843 0 0 0 9 65 0 0 18 0 32 0 13734793 2285666304 218655 270582939648 4194304 4964800 140734589053120 18446744073709551615 258662772457 0 0 4096 18946 18446604504872517088 0 0 -1 0 0 0 0
[pid=17960/tid=17979] ppid=17958 vsize=2232096 CPUtime=0.79 cores=0-31
/proc/17960/task/17979/stat : 17979 (claspmt) S 17958 17960 17934 0 -1 4202560 8552 0 0 0 17 62 0 0 18 0 32 0 13734793 2285666304 218655 270582939648 4194304 4964800 140734589053120 18446744073709551615 258662772457 0 0 4096 18946 18446604499754761696 0 0 -1 13 0 0 0
[pid=17960/tid=17980] ppid=17958 vsize=2232096 CPUtime=0.81 cores=0-31
/proc/17960/task/17980/stat : 17980 (claspmt) S 17958 17960 17934 0 -1 4202560 8505 0 0 0 18 63 0 0 18 0 32 0 13734793 2285666304 218655 270582939648 4194304 4964800 140734589053120 18446744073709551615 258662772457 0 0 4096 18946 18446604501859220960 0 0 -1 14 0 0 0
[pid=17960/tid=17981] ppid=17958 vsize=2232096 CPUtime=0.69 cores=0-31
/proc/17960/task/17981/stat : 17981 (claspmt) S 17958 17960 17934 0 -1 4202560 7059 0 0 0 8 61 0 0 18 0 32 0 13734793 2285666304 218655 270582939648 4194304 4964800 140734589053120 18446744073709551615 258662772457 0 0 4096 18946 18446604501059861984 0 0 -1 4 0 0 0
[pid=17960/tid=17982] ppid=17958 vsize=2232096 CPUtime=2.81 cores=0-31
/proc/17960/task/17982/stat : 17982 (claspmt) R 17958 17960 17934 0 -1 4202560 8049 0 0 0 217 64 0 0 20 0 32 0 13734793 2285666304 218655 270582939648 4194304 4964800 140734589053120 18446744073709551615 4668721 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=17960/tid=17983] ppid=17958 vsize=2232096 CPUtime=0.81 cores=0-31
/proc/17960/task/17983/stat : 17983 (claspmt) S 17958 17960 17934 0 -1 4202560 8526 0 0 0 17 64 0 0 18 0 32 0 13734793 2285666304 218655 270582939648 4194304 4964800 140734589053120 18446744073709551615 258662772457 0 0 4096 18946 18446604500445904352 0 0 -1 30 0 0 0
[pid=17960/tid=17984] ppid=17958 vsize=2232096 CPUtime=0.82 cores=0-31
/proc/17960/task/17984/stat : 17984 (claspmt) S 17958 17960 17934 0 -1 4202560 8636 0 0 0 20 62 0 0 18 0 32 0 13734793 2285666304 218655 270582939648 4194304 4964800 140734589053120 18446744073709551615 258662772457 0 0 4096 18946 18446604505655369184 0 0 -1 25 0 0 0
[pid=17960/tid=17985] ppid=17958 vsize=2232096 CPUtime=0.64 cores=0-31
/proc/17960/task/17985/stat : 17985 (claspmt) S 17958 17960 17934 0 -1 4202560 6235 0 0 0 11 53 0 0 18 0 32 0 13734793 2285666304 218655 270582939648 4194304 4964800 140734589053120 18446744073709551615 258662772457 0 0 4096 18946 18446604504205688288 0 0 -1 11 0 0 0
[pid=17960/tid=17986] ppid=17958 vsize=2232096 CPUtime=0.71 cores=0-31
/proc/17960/task/17986/stat : 17986 (claspmt) S 17958 17960 17934 0 -1 4202560 7137 0 0 0 10 61 0 0 18 0 32 0 13734793 2285666304 218655 270582939648 4194304 4964800 140734589053120 18446744073709551615 258662772457 0 0 4096 18946 18446604502105325024 0 0 -1 21 0 0 0
[pid=17960/tid=17987] ppid=17958 vsize=2232096 CPUtime=0.81 cores=0-31
/proc/17960/task/17987/stat : 17987 (claspmt) S 17958 17960 17934 0 -1 4202560 8655 0 0 0 17 64 0 0 18 0 32 0 13734793 2285666304 218655 270582939648 4194304 4964800 140734589053120 18446744073709551615 258662772457 0 0 4096 18946 18446604506171506144 0 0 -1 12 0 0 0
[pid=17960/tid=17988] ppid=17958 vsize=2232096 CPUtime=0.83 cores=0-31
/proc/17960/task/17988/stat : 17988 (claspmt) S 17958 17960 17934 0 -1 4202560 8955 0 0 0 17 66 0 0 18 0 32 0 13734793 2285666304 218655 270582939648 4194304 4964800 140734589053120 18446744073709551615 258662772457 0 0 4096 18946 18446604501855591904 0 0 -1 20 0 0 0
[pid=17960/tid=17989] ppid=17958 vsize=2232096 CPUtime=0.65 cores=0-31
/proc/17960/task/17989/stat : 17989 (claspmt) S 17958 17960 17934 0 -1 4202560 6188 0 0 0 11 54 0 0 18 0 32 0 13734793 2285666304 218655 270582939648 4194304 4964800 140734589053120 18446744073709551615 258662772457 0 0 4096 18946 18446604505818758624 0 0 -1 15 0 0 0
[pid=17960/tid=17990] ppid=17958 vsize=2232096 CPUtime=2.88 cores=0-31
/proc/17960/task/17990/stat : 17990 (claspmt) R 17958 17960 17934 0 -1 4202560 7429 0 0 0 228 60 0 0 21 0 32 0 13734793 2285666304 218655 270582939648 4194304 4964800 140734589053120 18446744073709551615 4670194 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=17960/tid=17991] ppid=17958 vsize=2232096 CPUtime=0.74 cores=0-31
/proc/17960/task/17991/stat : 17991 (claspmt) S 17958 17960 17934 0 -1 4202560 8233 0 0 0 16 58 0 0 18 0 32 0 13734793 2285666304 218655 270582939648 4194304 4964800 140734589053120 18446744073709551615 258662772457 0 0 4096 18946 18446604505668656608 0 0 -1 27 0 0 0
[pid=17960/tid=17992] ppid=17958 vsize=2232096 CPUtime=0.76 cores=0-31
/proc/17960/task/17992/stat : 17992 (claspmt) S 17958 17960 17934 0 -1 4202560 8766 0 0 0 21 55 0 0 18 0 32 0 13734793 2285666304 218655 270582939648 4194304 4964800 140734589053120 18446744073709551615 258662772457 0 0 4096 18946 18446604501855600096 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 34.59
Current children cumulated vsize (KiB) 2232096

[startup+12.7018 s]
/proc/loadavg: 24.70 23.57 21.76 5/445 17992
/proc/meminfo: memFree=262278344/264257624 swapFree=67111528/67111528
[pid=17960] ppid=17958 vsize=2232096 CPUtime=60.19 cores=0-31
/proc/17960/stat : 17960 (claspmt) S 17958 17960 17934 0 -1 4202496 278929 0 0 0 4095 1924 0 0 18 0 32 0 13734558 2285666304 218903 270582939648 4194304 4964800 140734589053120 18446744073709551615 258662772457 0 0 4096 18946 18446744073709551615 0 0 17 12 0 0 0
/proc/17960/statm: 558024 218903 440 189 0 552373 0
[pid=17960/tid=17962] ppid=17958 vsize=2232096 CPUtime=0.62 cores=0-31
/proc/17960/task/17962/stat : 17962 (claspmt) S 17958 17960 17934 0 -1 4202560 5725 0 0 0 10 52 0 0 18 0 32 0 13734792 2285666304 218903 270582939648 4194304 4964800 140734589053120 18446744073709551615 258662772457 0 0 4096 18946 18446604561316658656 0 0 -1 17 0 0 0
[pid=17960/tid=17963] ppid=17958 vsize=2232096 CPUtime=0.83 cores=0-31
/proc/17960/task/17963/stat : 17963 (claspmt) S 17958 17960 17934 0 -1 4202560 8730 0 0 0 19 64 0 0 18 0 32 0 13734792 2285666304 218903 270582939648 4194304 4964800 140734589053120 18446744073709551615 258662772457 0 0 4096 18946 18446604505793101280 0 0 -1 26 0 0 0
[pid=17960/tid=17964] ppid=17958 vsize=2232096 CPUtime=0.81 cores=0-31
/proc/17960/task/17964/stat : 17964 (claspmt) S 17958 17960 17934 0 -1 4202560 8691 0 0 0 14 67 0 0 18 0 32 0 13734792 2285666304 218903 270582939648 4194304 4964800 140734589053120 18446744073709551615 258662772457 0 0 4096 18946 18446604505818750432 0 0 -1 22 0 0 0
[pid=17960/tid=17965] ppid=17958 vsize=2232096 CPUtime=0.68 cores=0-31
/proc/17960/task/17965/stat : 17965 (claspmt) S 17958 17960 17934 0 -1 4202560 6635 0 0 0 9 59 0 0 18 0 32 0 13734792 2285666304 218903 270582939648 4194304 4964800 140734589053120 18446744073709551615 258662772457 0 0 4096 18946 18446604504276057568 0 0 -1 8 0 0 0
[pid=17960/tid=17966] ppid=17958 vsize=2232096 CPUtime=9.23 cores=0-31
/proc/17960/task/17966/stat : 17966 (claspmt) R 17958 17960 17934 0 -1 4202560 7600 0 0 0 861 62 0 0 25 0 32 0 13734792 2285666304 218903 270582939648 4194304 4964800 140734589053120 18446744073709551615 4668987 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=17960/tid=17967] ppid=17958 vsize=2232096 CPUtime=0.79 cores=0-31
/proc/17960/task/17967/stat : 17967 (claspmt) S 17958 17960 17934 0 -1 4202560 8993 0 0 0 16 63 0 0 18 0 32 0 13734792 2285666304 218903 270582939648 4194304 4964800 140734589053120 18446744073709551615 258662772457 0 0 4096 18946 18446604505668664800 0 0 -1 16 0 0 0
[pid=17960/tid=17968] ppid=17958 vsize=2232096 CPUtime=0.87 cores=0-31
/proc/17960/task/17968/stat : 17968 (claspmt) S 17958 17960 17934 0 -1 4202560 8582 0 0 0 18 69 0 0 18 0 32 0 13734792 2285666304 218903 270582939648 4194304 4964800 140734589053120 18446744073709551615 258662772457 0 0 4096 18946 18446604499834838496 0 0 -1 5 0 0 0
[pid=17960/tid=17969] ppid=17958 vsize=2232096 CPUtime=0.7 cores=0-31
/proc/17960/task/17969/stat : 17969 (claspmt) S 17958 17960 17934 0 -1 4202560 6358 0 0 0 11 59 0 0 18 0 32 0 13734792 2285666304 218903 270582939648 4194304 4964800 140734589053120 18446744073709551615 258662772457 0 0 4096 18946 18446604505655377376 0 0 -1 30 0 0 0
[pid=17960/tid=17970] ppid=17958 vsize=2232096 CPUtime=0.7 cores=0-31
/proc/17960/task/17970/stat : 17970 (claspmt) S 17958 17960 17934 0 -1 4202560 6788 0 0 0 9 61 0 0 18 0 32 0 13734792 2285666304 218903 270582939648 4194304 4964800 140734589053120 18446744073709551615 258662772457 0 0 4096 18946 18446604499834846688 0 0 -1 29 0 0 0
[pid=17960/tid=17971] ppid=17958 vsize=2232096 CPUtime=0.8 cores=0-31
/proc/17960/task/17971/stat : 17971 (claspmt) S 17958 17960 17934 0 -1 4202560 8572 0 0 0 18 62 0 0 18 0 32 0 13734792 2285666304 218903 270582939648 4194304 4964800 140734589053120 18446744073709551615 258662772457 0 0 4096 18946 18446604498395807200 0 0 -1 7 0 0 0
[pid=17960/tid=17972] ppid=17958 vsize=2232096 CPUtime=0.84 cores=0-31
/proc/17960/task/17972/stat : 17972 (claspmt) S 17958 17960 17934 0 -1 4202560 8783 0 0 0 15 69 0 0 18 0 32 0 13734792 2285666304 218903 270582939648 4194304 4964800 140734589053120 18446744073709551615 258662772457 0 0 4096 18946 18446604505543548384 0 0 -1 18 0 0 0
[pid=17960/tid=17973] ppid=17958 vsize=2232096 CPUtime=0.67 cores=0-31
/proc/17960/task/17973/stat : 17973 (claspmt) S 17958 17960 17934 0 -1 4202560 6726 0 0 0 10 57 0 0 18 0 32 0 13734792 2285666304 218903 270582939648 4194304 4964800 140734589053120 18446744073709551615 258662772457 0 0 4096 18946 18446604499527474656 0 0 -1 2 0 0 0
[pid=17960/tid=17974] ppid=17958 vsize=2232096 CPUtime=9.44 cores=0-31
/proc/17960/task/17974/stat : 17974 (claspmt) R 17958 17960 17934 0 -1 4202560 6920 0 0 0 884 60 0 0 25 0 32 0 13734792 2285666304 218903 270582939648 4194304 4964800 140734589053120 18446744073709551615 4669276 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=17960/tid=17975] ppid=17958 vsize=2232096 CPUtime=0.72 cores=0-31
/proc/17960/task/17975/stat : 17975 (claspmt) S 17958 17960 17934 0 -1 4202560 9172 0 0 0 19 53 0 0 18 0 32 0 13734792 2285666304 218903 270582939648 4194304 4964800 140734589053120 18446744073709551615 258662772457 0 0 4096 18946 18446604501859212768 0 0 -1 10 0 0 0
[pid=17960/tid=17976] ppid=17958 vsize=2232096 CPUtime=0.9 cores=0-31
/proc/17960/task/17976/stat : 17976 (claspmt) S 17958 17960 17934 0 -1 4202560 8637 0 0 0 17 73 0 0 18 0 32 0 13734792 2285666304 218903 270582939648 4194304 4964800 140734589053120 18446744073709551615 258662772457 0 0 4096 18946 18446604504276049376 0 0 -1 1 0 0 0
[pid=17960/tid=17977] ppid=17958 vsize=2232096 CPUtime=0.67 cores=0-31
/proc/17960/task/17977/stat : 17977 (claspmt) S 17958 17960 17934 0 -1 4202560 6733 0 0 0 9 58 0 0 18 0 32 0 13734793 2285666304 218903 270582939648 4194304 4964800 140734589053120 18446744073709551615 258662772457 0 0 4096 18946 18446604504872508896 0 0 -1 9 0 0 0
[pid=17960/tid=17978] ppid=17958 vsize=2232096 CPUtime=0.74 cores=0-31
/proc/17960/task/17978/stat : 17978 (claspmt) S 17958 17960 17934 0 -1 4202560 6843 0 0 0 9 65 0 0 18 0 32 0 13734793 2285666304 218903 270582939648 4194304 4964800 140734589053120 18446744073709551615 258662772457 0 0 4096 18946 18446604504872517088 0 0 -1 0 0 0 0
[pid=17960/tid=17979] ppid=17958 vsize=2232096 CPUtime=0.79 cores=0-31
/proc/17960/task/17979/stat : 17979 (claspmt) S 17958 17960 17934 0 -1 4202560 8552 0 0 0 17 62 0 0 18 0 32 0 13734793 2285666304 218903 270582939648 4194304 4964800 140734589053120 18446744073709551615 258662772457 0 0 4096 18946 18446604499754761696 0 0 -1 13 0 0 0
[pid=17960/tid=17980] ppid=17958 vsize=2232096 CPUtime=0.81 cores=0-31
/proc/17960/task/17980/stat : 17980 (claspmt) S 17958 17960 17934 0 -1 4202560 8505 0 0 0 18 63 0 0 18 0 32 0 13734793 2285666304 218903 270582939648 4194304 4964800 140734589053120 18446744073709551615 258662772457 0 0 4096 18946 18446604501859220960 0 0 -1 14 0 0 0
[pid=17960/tid=17981] ppid=17958 vsize=2232096 CPUtime=0.69 cores=0-31
/proc/17960/task/17981/stat : 17981 (claspmt) S 17958 17960 17934 0 -1 4202560 7059 0 0 0 8 61 0 0 18 0 32 0 13734793 2285666304 218903 270582939648 4194304 4964800 140734589053120 18446744073709551615 258662772457 0 0 4096 18946 18446604501059861984 0 0 -1 4 0 0 0
[pid=17960/tid=17982] ppid=17958 vsize=2232096 CPUtime=9.21 cores=0-31

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

Current children cumulated vsize (KiB) 2246056

[startup+249.502 s]
/proc/loadavg: 26.70 20.53 20.50 33/445 17998
/proc/meminfo: memFree=261777204/264257624 swapFree=67111528/67111528
[pid=17960] ppid=17958 vsize=2246056 CPUtime=3761.24 cores=0-31
/proc/17960/stat : 17960 (claspmt) R 17958 17960 17934 0 -1 4202496 405501 0 0 0 373762 2362 0 0 25 0 32 0 13734558 2299961344 345276 270582939648 4194304 4964800 140734589053120 18446744073709551615 4668712 0 0 4096 18946 18446744073709551615 0 0 17 12 0 0 0
/proc/17960/statm: 561514 345276 461 189 0 555863 0
[pid=17960/tid=17962] ppid=17958 vsize=2246056 CPUtime=99.31 cores=0-31
/proc/17960/task/17962/stat : 17962 (claspmt) R 17958 17960 17934 0 -1 4202560 7246 0 0 0 9873 58 0 0 25 0 32 0 13734792 2299961344 345276 270582939648 4194304 4964800 140734589053120 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=17960/tid=17963] ppid=17958 vsize=2246056 CPUtime=99.49 cores=0-31
/proc/17960/task/17963/stat : 17963 (claspmt) R 17958 17960 17934 0 -1 4202560 16180 0 0 0 9860 89 0 0 25 0 32 0 13734792 2299961344 345276 270582939648 4194304 4964800 140734589053120 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=17960/tid=17964] ppid=17958 vsize=2246056 CPUtime=99.47 cores=0-31
/proc/17960/task/17964/stat : 17964 (claspmt) R 17958 17960 17934 0 -1 4202560 10887 0 0 0 9872 75 0 0 25 0 32 0 13734792 2299961344 345276 270582939648 4194304 4964800 140734589053120 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=17960/tid=17965] ppid=17958 vsize=2246056 CPUtime=99.35 cores=0-31
/proc/17960/task/17965/stat : 17965 (claspmt) R 17958 17960 17934 0 -1 4202560 10740 0 0 0 9861 74 0 0 25 0 32 0 13734792 2299961344 345276 270582939648 4194304 4964800 140734589053120 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=17960/tid=17966] ppid=17958 vsize=2246056 CPUtime=242.51 cores=0-31
/proc/17960/task/17966/stat : 17966 (claspmt) R 17958 17960 17934 0 -1 4202560 8543 0 0 0 24187 64 0 0 25 0 32 0 13734792 2299961344 345276 270582939648 4194304 4964800 140734589053120 18446744073709551615 4669011 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=17960/tid=17967] ppid=17958 vsize=2246056 CPUtime=99.46 cores=0-31
/proc/17960/task/17967/stat : 17967 (claspmt) R 17958 17960 17934 0 -1 4202560 10800 0 0 0 9877 69 0 0 25 0 32 0 13734792 2299961344 345276 270582939648 4194304 4964800 140734589053120 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=17960/tid=17968] ppid=17958 vsize=2246056 CPUtime=99.52 cores=0-31
/proc/17960/task/17968/stat : 17968 (claspmt) R 17958 17960 17934 0 -1 4202560 18245 0 0 0 9854 98 0 0 25 0 32 0 13734792 2299961344 345276 270582939648 4194304 4964800 140734589053120 18446744073709551615 4668900 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=17960/tid=17969] ppid=17958 vsize=2246056 CPUtime=99.37 cores=0-31
/proc/17960/task/17969/stat : 17969 (claspmt) R 17958 17960 17934 0 -1 4202560 8558 0 0 0 9869 68 0 0 25 0 32 0 13734792 2299961344 345276 270582939648 4194304 4964800 140734589053120 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=17960/tid=17970] ppid=17958 vsize=2246056 CPUtime=99.38 cores=0-31
/proc/17960/task/17970/stat : 17970 (claspmt) R 17958 17960 17934 0 -1 4202560 8819 0 0 0 9869 69 0 0 25 0 32 0 13734792 2299961344 345276 270582939648 4194304 4964800 140734589053120 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=17960/tid=17971] ppid=17958 vsize=2246056 CPUtime=99.45 cores=0-31
/proc/17960/task/17971/stat : 17971 (claspmt) R 17958 17960 17934 0 -1 4202560 14956 0 0 0 9856 89 0 0 25 0 32 0 13734792 2299961344 345276 270582939648 4194304 4964800 140734589053120 18446744073709551615 4670437 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=17960/tid=17972] ppid=17958 vsize=2246056 CPUtime=99.52 cores=0-31
/proc/17960/task/17972/stat : 17972 (claspmt) R 17958 17960 17934 0 -1 4202560 10769 0 0 0 9874 78 0 0 25 0 32 0 13734792 2299961344 345276 270582939648 4194304 4964800 140734589053120 18446744073709551615 4653507 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=17960/tid=17973] ppid=17958 vsize=2246056 CPUtime=99.34 cores=0-31
/proc/17960/task/17973/stat : 17973 (claspmt) R 17958 17960 17934 0 -1 4202560 11824 0 0 0 9859 75 0 0 25 0 32 0 13734792 2299961344 345276 270582939648 4194304 4964800 140734589053120 18446744073709551615 4669011 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=17960/tid=17974] ppid=17958 vsize=2246056 CPUtime=243.3 cores=0-31
/proc/17960/task/17974/stat : 17974 (claspmt) R 17958 17960 17934 0 -1 4202560 7624 0 0 0 24268 62 0 0 25 0 32 0 13734792 2299961344 345276 270582939648 4194304 4964800 140734589053120 18446744073709551615 4399339 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=17960/tid=17975] ppid=17958 vsize=2246056 CPUtime=99.38 cores=0-31
/proc/17960/task/17975/stat : 17975 (claspmt) R 17958 17960 17934 0 -1 4202560 11483 0 0 0 9878 60 0 0 25 0 32 0 13734792 2299961344 345276 270582939648 4194304 4964800 140734589053120 18446744073709551615 4320970 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=17960/tid=17976] ppid=17958 vsize=2246056 CPUtime=99.56 cores=0-31
/proc/17960/task/17976/stat : 17976 (claspmt) R 17958 17960 17934 0 -1 4202560 17837 0 0 0 9852 104 0 0 25 0 32 0 13734792 2299961344 345276 270582939648 4194304 4964800 140734589053120 18446744073709551615 4342144 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=17960/tid=17977] ppid=17958 vsize=2246056 CPUtime=99.35 cores=0-31
/proc/17960/task/17977/stat : 17977 (claspmt) R 17958 17960 17934 0 -1 4202560 9117 0 0 0 9868 67 0 0 25 0 32 0 13734793 2299961344 345276 270582939648 4194304 4964800 140734589053120 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=17960/tid=17978] ppid=17958 vsize=2246056 CPUtime=99.41 cores=0-31
/proc/17960/task/17978/stat : 17978 (claspmt) R 17958 17960 17934 0 -1 4202560 8773 0 0 0 9869 72 0 0 25 0 32 0 13734793 2299961344 345276 270582939648 4194304 4964800 140734589053120 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=17960/tid=17979] ppid=17958 vsize=2246056 CPUtime=99.44 cores=0-31
/proc/17960/task/17979/stat : 17979 (claspmt) R 17958 17960 17934 0 -1 4202560 14692 0 0 0 9861 83 0 0 25 0 32 0 13734793 2299961344 345276 270582939648 4194304 4964800 140734589053120 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=17960/tid=17980] ppid=17958 vsize=2246056 CPUtime=99.5 cores=0-31
/proc/17960/task/17980/stat : 17980 (claspmt) R 17958 17960 17934 0 -1 4202560 10599 0 0 0 9878 72 0 0 25 0 32 0 13734793 2299961344 345276 270582939648 4194304 4964800 140734589053120 18446744073709551615 4668777 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=17960/tid=17981] ppid=17958 vsize=2246056 CPUtime=99.36 cores=0-31
/proc/17960/task/17981/stat : 17981 (claspmt) R 17958 17960 17934 0 -1 4202560 12350 0 0 0 9857 79 0 0 25 0 32 0 13734793 2299961344 345276 270582939648 4194304 4964800 140734589053120 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=17960/tid=17982] ppid=17958 vsize=2246056 CPUtime=245.38 cores=0-31
/proc/17960/task/17982/stat : 17982 (claspmt) R 17958 17960 17934 0 -1 4202560 8777 0 0 0 24471 67 0 0 25 0 32 0 13734793 2299961344 345276 270582939648 4194304 4964800 140734589053120 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=17960/tid=17983] ppid=17958 vsize=2246056 CPUtime=99.48 cores=0-31
/proc/17960/task/17983/stat : 17983 (claspmt) R 17958 17960 17934 0 -1 4202560 10491 0 0 0 9876 72 0 0 25 0 32 0 13734793 2299961344 345276 270582939648 4194304 4964800 140734589053120 18446744073709551615 4320984 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=17960/tid=17984] ppid=17958 vsize=2246056 CPUtime=99.48 cores=0-31
/proc/17960/task/17984/stat : 17984 (claspmt) R 17958 17960 17934 0 -1 4202560 18760 0 0 0 9854 94 0 0 25 0 32 0 13734793 2299961344 345276 270582939648 4194304 4964800 140734589053120 18446744073709551615 4320976 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=17960/tid=17985] ppid=17958 vsize=2246056 CPUtime=99.32 cores=0-31
/proc/17960/task/17985/stat : 17985 (claspmt) R 17958 17960 17934 0 -1 4202560 8796 0 0 0 9869 63 0 0 25 0 32 0 13734793 2299961344 345276 270582939648 4194304 4964800 140734589053120 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=17960/tid=17986] ppid=17958 vsize=2246056 CPUtime=99.38 cores=0-31
/proc/17960/task/17986/stat : 17986 (claspmt) R 17958 17960 17934 0 -1 4202560 9632 0 0 0 9867 71 0 0 25 0 32 0 13734793 2299961344 345276 270582939648 4194304 4964800 140734589053120 18446744073709551615 4670335 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=17960/tid=17987] ppid=17958 vsize=2246056 CPUtime=99.46 cores=0-31
/proc/17960/task/17987/stat : 17987 (claspmt) R 17958 17960 17934 0 -1 4202560 17440 0 0 0 9854 92 0 0 25 0 32 0 13734793 2299961344 345276 270582939648 4194304 4964800 140734589053120 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=17960/tid=17988] ppid=17958 vsize=2246056 CPUtime=99.5 cores=0-31
/proc/17960/task/17988/stat : 17988 (claspmt) R 17958 17960 17934 0 -1 4202560 11282 0 0 0 9875 75 0 0 25 0 32 0 13734793 2299961344 345276 270582939648 4194304 4964800 140734589053120 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=17960/tid=17989] ppid=17958 vsize=2246056 CPUtime=99.34 cores=0-31
/proc/17960/task/17989/stat : 17989 (claspmt) R 17958 17960 17934 0 -1 4202560 11575 0 0 0 9861 73 0 0 25 0 32 0 13734793 2299961344 345276 270582939648 4194304 4964800 140734589053120 18446744073709551615 4669011 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=17960/tid=17990] ppid=17958 vsize=2246056 CPUtime=244.37 cores=0-31
/proc/17960/task/17990/stat : 17990 (claspmt) R 17958 17960 17934 0 -1 4202560 8146 0 0 0 24375 62 0 0 25 0 32 0 13734793 2299961344 345276 270582939648 4194304 4964800 140734589053120 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=17960/tid=17991] ppid=17958 vsize=2246056 CPUtime=99.41 cores=0-31
/proc/17960/task/17991/stat : 17991 (claspmt) R 17958 17960 17934 0 -1 4202560 10412 0 0 0 9877 64 0 0 25 0 32 0 13734793 2299961344 345276 270582939648 4194304 4964800 140734589053120 18446744073709551615 4660444 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=17960/tid=17992] ppid=17958 vsize=2246056 CPUtime=99.42 cores=0-31
/proc/17960/task/17992/stat : 17992 (claspmt) R 17958 17960 17934 0 -1 4202560 20262 0 0 0 9854 88 0 0 25 0 32 0 13734793 2299961344 345276 270582939648 4194304 4964800 140734589053120 18446744073709551615 4670332 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3761.24
Current children cumulated vsize (KiB) 2246056

[startup+251.102 s]
/proc/loadavg: 27.12 20.72 20.56 33/445 17998
/proc/meminfo: memFree=261776444/264257624 swapFree=67111528/67111528
[pid=17960] ppid=17958 vsize=2246056 CPUtime=3812.38 cores=0-31
/proc/17960/stat : 17960 (claspmt) R 17958 17960 17934 0 -1 4202496 405572 0 0 0 378876 2362 0 0 25 0 32 0 13734558 2299961344 345347 270582939648 4194304 4964800 140734589053120 18446744073709551615 4320909 0 0 4096 18946 18446744073709551615 0 0 17 12 0 0 0
/proc/17960/statm: 561514 345347 461 189 0 555863 0
[pid=17960/tid=17962] ppid=17958 vsize=2246056 CPUtime=100.91 cores=0-31
/proc/17960/task/17962/stat : 17962 (claspmt) R 17958 17960 17934 0 -1 4202560 7246 0 0 0 10033 58 0 0 25 0 32 0 13734792 2299961344 345347 270582939648 4194304 4964800 140734589053120 18446744073709551615 4669389 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=17960/tid=17963] ppid=17958 vsize=2246056 CPUtime=101.09 cores=0-31
/proc/17960/task/17963/stat : 17963 (claspmt) R 17958 17960 17934 0 -1 4202560 16181 0 0 0 10020 89 0 0 25 0 32 0 13734792 2299961344 345347 270582939648 4194304 4964800 140734589053120 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=17960/tid=17964] ppid=17958 vsize=2246056 CPUtime=101.07 cores=0-31
/proc/17960/task/17964/stat : 17964 (claspmt) R 17958 17960 17934 0 -1 4202560 10888 0 0 0 10032 75 0 0 25 0 32 0 13734792 2299961344 345347 270582939648 4194304 4964800 140734589053120 18446744073709551615 4668712 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=17960/tid=17965] ppid=17958 vsize=2246056 CPUtime=100.95 cores=0-31
/proc/17960/task/17965/stat : 17965 (claspmt) R 17958 17960 17934 0 -1 4202560 10740 0 0 0 10021 74 0 0 25 0 32 0 13734792 2299961344 345347 270582939648 4194304 4964800 140734589053120 18446744073709551615 4670264 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=17960/tid=17966] ppid=17958 vsize=2246056 CPUtime=244.11 cores=0-31
/proc/17960/task/17966/stat : 17966 (claspmt) R 17958 17960 17934 0 -1 4202560 8543 0 0 0 24347 64 0 0 25 0 32 0 13734792 2299961344 345347 270582939648 4194304 4964800 140734589053120 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=17960/tid=17967] ppid=17958 vsize=2246056 CPUtime=101.06 cores=0-31
/proc/17960/task/17967/stat : 17967 (claspmt) R 17958 17960 17934 0 -1 4202560 10800 0 0 0 10037 69 0 0 25 0 32 0 13734792 2299961344 345347 270582939648 4194304 4964800 140734589053120 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=17960/tid=17968] ppid=17958 vsize=2246056 CPUtime=101.12 cores=0-31
/proc/17960/task/17968/stat : 17968 (claspmt) R 17958 17960 17934 0 -1 4202560 18245 0 0 0 10014 98 0 0 25 0 32 0 13734792 2299961344 345347 270582939648 4194304 4964800 140734589053120 18446744073709551615 4668712 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=17960/tid=17969] ppid=17958 vsize=2246056 CPUtime=100.97 cores=0-31
/proc/17960/task/17969/stat : 17969 (claspmt) R 17958 17960 17934 0 -1 4202560 8558 0 0 0 10029 68 0 0 25 0 32 0 13734792 2299961344 345347 270582939648 4194304 4964800 140734589053120 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=17960/tid=17970] ppid=17958 vsize=2246056 CPUtime=100.98 cores=0-31
/proc/17960/task/17970/stat : 17970 (claspmt) R 17958 17960 17934 0 -1 4202560 8819 0 0 0 10029 69 0 0 25 0 32 0 13734792 2299961344 345347 270582939648 4194304 4964800 140734589053120 18446744073709551615 4669091 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=17960/tid=17971] ppid=17958 vsize=2246056 CPUtime=101.05 cores=0-31
/proc/17960/task/17971/stat : 17971 (claspmt) R 17958 17960 17934 0 -1 4202560 14956 0 0 0 10016 89 0 0 25 0 32 0 13734792 2299961344 345347 270582939648 4194304 4964800 140734589053120 18446744073709551615 4660444 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=17960/tid=17972] ppid=17958 vsize=2246056 CPUtime=101.12 cores=0-31
/proc/17960/task/17972/stat : 17972 (claspmt) R 17958 17960 17934 0 -1 4202560 10769 0 0 0 10034 78 0 0 25 0 32 0 13734792 2299961344 345347 270582939648 4194304 4964800 140734589053120 18446744073709551615 4670437 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=17960/tid=17973] ppid=17958 vsize=2246056 CPUtime=100.94 cores=0-31
/proc/17960/task/17973/stat : 17973 (claspmt) R 17958 17960 17934 0 -1 4202560 11824 0 0 0 10019 75 0 0 25 0 32 0 13734792 2299961344 345347 270582939648 4194304 4964800 140734589053120 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=17960/tid=17974] ppid=17958 vsize=2246056 CPUtime=244.85 cores=0-31
/proc/17960/task/17974/stat : 17974 (claspmt) R 17958 17960 17934 0 -1 4202560 7624 0 0 0 24423 62 0 0 25 0 32 0 13734792 2299961344 345347 270582939648 4194304 4964800 140734589053120 18446744073709551615 4669490 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=17960/tid=17975] ppid=17958 vsize=2246056 CPUtime=100.98 cores=0-31
/proc/17960/task/17975/stat : 17975 (claspmt) R 17958 17960 17934 0 -1 4202560 11483 0 0 0 10038 60 0 0 25 0 32 0 13734792 2299961344 345347 270582939648 4194304 4964800 140734589053120 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=17960/tid=17976] ppid=17958 vsize=2246056 CPUtime=101.16 cores=0-31
/proc/17960/task/17976/stat : 17976 (claspmt) R 17958 17960 17934 0 -1 4202560 17837 0 0 0 10012 104 0 0 25 0 32 0 13734792 2299961344 345347 270582939648 4194304 4964800 140734589053120 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=17960/tid=17977] ppid=17958 vsize=2246056 CPUtime=100.95 cores=0-31
/proc/17960/task/17977/stat : 17977 (claspmt) R 17958 17960 17934 0 -1 4202560 9117 0 0 0 10028 67 0 0 25 0 32 0 13734793 2299961344 345347 270582939648 4194304 4964800 140734589053120 18446744073709551615 4678036 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=17960/tid=17978] ppid=17958 vsize=2246056 CPUtime=101.01 cores=0-31
/proc/17960/task/17978/stat : 17978 (claspmt) R 17958 17960 17934 0 -1 4202560 8773 0 0 0 10029 72 0 0 25 0 32 0 13734793 2299961344 345347 270582939648 4194304 4964800 140734589053120 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=17960/tid=17979] ppid=17958 vsize=2246056 CPUtime=101.05 cores=0-31
/proc/17960/task/17979/stat : 17979 (claspmt) R 17958 17960 17934 0 -1 4202560 14705 0 0 0 10021 84 0 0 25 0 32 0 13734793 2299961344 345347 270582939648 4194304 4964800 140734589053120 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=17960/tid=17980] ppid=17958 vsize=2246056 CPUtime=101.1 cores=0-31
/proc/17960/task/17980/stat : 17980 (claspmt) R 17958 17960 17934 0 -1 4202560 10599 0 0 0 10038 72 0 0 25 0 32 0 13734793 2299961344 345347 270582939648 4194304 4964800 140734589053120 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=17960/tid=17981] ppid=17958 vsize=2246056 CPUtime=100.96 cores=0-31
/proc/17960/task/17981/stat : 17981 (claspmt) R 17958 17960 17934 0 -1 4202560 12350 0 0 0 10017 79 0 0 25 0 32 0 13734793 2299961344 345347 270582939648 4194304 4964800 140734589053120 18446744073709551615 4627263 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=17960/tid=17982] ppid=17958 vsize=2246056 CPUtime=246.98 cores=0-31
/proc/17960/task/17982/stat : 17982 (claspmt) R 17958 17960 17934 0 -1 4202560 8781 0 0 0 24631 67 0 0 25 0 32 0 13734793 2299961344 345347 270582939648 4194304 4964800 140734589053120 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=17960/tid=17983] ppid=17958 vsize=2246056 CPUtime=101.08 cores=0-31
/proc/17960/task/17983/stat : 17983 (claspmt) R 17958 17960 17934 0 -1 4202560 10491 0 0 0 10036 72 0 0 25 0 32 0 13734793 2299961344 345347 270582939648 4194304 4964800 140734589053120 18446744073709551615 4669026 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=17960/tid=17984] ppid=17958 vsize=2246056 CPUtime=101.08 cores=0-31
/proc/17960/task/17984/stat : 17984 (claspmt) R 17958 17960 17934 0 -1 4202560 18760 0 0 0 10014 94 0 0 25 0 32 0 13734793 2299961344 345347 270582939648 4194304 4964800 140734589053120 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=17960/tid=17985] ppid=17958 vsize=2246056 CPUtime=100.92 cores=0-31
/proc/17960/task/17985/stat : 17985 (claspmt) R 17958 17960 17934 0 -1 4202560 8796 0 0 0 10029 63 0 0 25 0 32 0 13734793 2299961344 345347 270582939648 4194304 4964800 140734589053120 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=17960/tid=17986] ppid=17958 vsize=2246056 CPUtime=100.98 cores=0-31
/proc/17960/task/17986/stat : 17986 (claspmt) R 17958 17960 17934 0 -1 4202560 9632 0 0 0 10027 71 0 0 25 0 32 0 13734793 2299961344 345347 270582939648 4194304 4964800 140734589053120 18446744073709551615 4684760 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=17960/tid=17987] ppid=17958 vsize=2246056 CPUtime=101.05 cores=0-31
/proc/17960/task/17987/stat : 17987 (claspmt) R 17958 17960 17934 0 -1 4202560 17440 0 0 0 10013 92 0 0 25 0 32 0 13734793 2299961344 345347 270582939648 4194304 4964800 140734589053120 18446744073709551615 4670194 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=17960/tid=17988] ppid=17958 vsize=2246056 CPUtime=101.1 cores=0-31
/proc/17960/task/17988/stat : 17988 (claspmt) R 17958 17960 17934 0 -1 4202560 11283 0 0 0 10035 75 0 0 25 0 32 0 13734793 2299961344 345347 270582939648 4194304 4964800 140734589053120 18446744073709551615 4670437 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=17960/tid=17989] ppid=17958 vsize=2246056 CPUtime=100.94 cores=0-31
/proc/17960/task/17989/stat : 17989 (claspmt) R 17958 17960 17934 0 -1 4202560 11575 0 0 0 10021 73 0 0 25 0 32 0 13734793 2299961344 345347 270582939648 4194304 4964800 140734589053120 18446744073709551615 4627252 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=17960/tid=17990] ppid=17958 vsize=2246056 CPUtime=245.97 cores=0-31
/proc/17960/task/17990/stat : 17990 (claspmt) R 17958 17960 17934 0 -1 4202560 8146 0 0 0 24535 62 0 0 25 0 32 0 13734793 2299961344 345347 270582939648 4194304 4964800 140734589053120 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=17960/tid=17991] ppid=17958 vsize=2246056 CPUtime=101.01 cores=0-31
/proc/17960/task/17991/stat : 17991 (claspmt) R 17958 17960 17934 0 -1 4202560 10463 0 0 0 10037 64 0 0 25 0 32 0 13734793 2299961344 345347 270582939648 4194304 4964800 140734589053120 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=17960/tid=17992] ppid=17958 vsize=2246056 CPUtime=101.02 cores=0-31
/proc/17960/task/17992/stat : 17992 (claspmt) R 17958 17960 17934 0 -1 4202560 20262 0 0 0 10014 88 0 0 25 0 32 0 13734793 2299961344 345347 270582939648 4194304 4964800 140734589053120 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3812.38
Current children cumulated vsize (KiB) 2246056

[startup+252.701 s]
/proc/loadavg: 27.12 20.72 20.56 33/445 17998
/proc/meminfo: memFree=261776444/264257624 swapFree=67111528/67111528
[pid=17960] ppid=17958 vsize=2130744 CPUtime=3856.03 cores=0-31
/proc/17960/stat : 17960 (claspmt) R 17958 17960 17934 0 -1 4202496 405620 0 0 0 383232 2371 0 0 17 0 1 0 13734558 2181881856 339073 270582939648 4194304 4964800 140734589053120 18446744073709551615 4646717 0 0 4096 18946 0 0 0 17 12 0 0 0
/proc/17960/statm: 532686 339073 472 189 0 527035 0
Current children cumulated CPU time (s) 3856.03
Current children cumulated vsize (KiB) 2130744

[startup+253.501 s]
/proc/loadavg: 27.12 20.72 20.56 2/414 17998
/proc/meminfo: memFree=261856672/264257624 swapFree=67111528/67111528
[pid=17960] ppid=17958 vsize=1934520 CPUtime=3856.83 cores=0-31
/proc/17960/stat : 17960 (claspmt) R 17958 17960 17934 0 -1 4202496 405620 0 0 0 383310 2373 0 0 18 0 1 0 13734558 1980948480 289179 270582939648 4194304 4964800 140734589053120 18446744073709551615 258650611643 0 0 4096 18946 0 0 0 17 12 0 0 0
/proc/17960/statm: 483630 289179 472 189 0 477979 0
Current children cumulated CPU time (s) 3856.83
Current children cumulated vsize (KiB) 1934520

[startup+253.901 s]
/proc/loadavg: 27.12 20.72 20.56 2/414 17998
/proc/meminfo: memFree=261856672/264257624 swapFree=67111528/67111528
[pid=17960] ppid=17958 vsize=1841080 CPUtime=3857.23 cores=0-31
/proc/17960/stat : 17960 (claspmt) R 17958 17960 17934 0 -1 4202496 405620 0 0 0 383346 2377 0 0 18 0 1 0 13734558 1885265920 187216 270582939648 4194304 4964800 140734589053120 18446744073709551615 258650999383 0 0 4096 18946 0 0 0 17 20 0 0 0
/proc/17960/statm: 460270 187216 472 189 0 454619 0
Current children cumulated CPU time (s) 3857.23
Current children cumulated vsize (KiB) 1841080

Child status: 20
Real time (s): 253.981
CPU time (s): 3857.32
CPU user time (s): 3833.46
CPU system time (s): 23.8554
CPU usage (%): 1518.75
Max. virtual memory (cumulated for all children) (KiB): 2246056

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3833.46
system time used= 23.8554
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 405621
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= 180944
involuntary context switches= 7617

runsolver used 1.38579 second user time and 5.68813 second system time

The end

Launcher Data

Begin job on node200 at 2011-06-07 23:51:17
IDJOB=3472331
IDBENCH=71039
IDSOLVER=1961
FILE ID=node200/3472331-1307483476
RUNJOBID= node200-1307483475-17948
PBS_JOBID= 13509198
Free space on /tmp= 61724 MiB

SOLVER NAME= claspmt 2.0-R4095-patched (fixed)
BENCH NAME= SAT09/APPLICATIONS/diagnosis/UCG-15-10p0.cnf
COMMAND LINE= HOME/claspmt -tNBCORE -p HOME/sat11-port.txt --distribute=all,2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3472331-1307483476/watcher-3472331-1307483476 -o /tmp/evaluation-result-3472331-1307483476/solver-3472331-1307483476 -C 160000 -W 5100 -M 256000  HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472331-1307483476.cnf

TIME LIMIT= 160000 seconds
MEMORY LIMIT= 256000 MiB
NBCORE= 32

MD5SUM BENCH= bcbcc9a4e4a7e3ebed9eeaa393ebdc32
RANDOM SEED=1337530936

node200.alineos.net Linux 2.6.18-194.el5 #1 SMP Fri Apr 2 14:58:14 EDT 2010

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 8
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 8
apicid		: 32
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.02
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 0
cpu cores	: 8
apicid		: 64
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 0
cpu cores	: 8
apicid		: 96
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 8
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 8
apicid		: 34
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 1
cpu cores	: 8
apicid		: 66
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 1
cpu cores	: 8
apicid		: 98
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 8
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3989.99
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 8
apicid		: 36
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 2
cpu cores	: 8
apicid		: 68
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 2
cpu cores	: 8
apicid		: 100
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 8
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.04
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 8
apicid		: 38
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.03
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 3
cpu cores	: 8
apicid		: 70
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 3
cpu cores	: 8
apicid		: 102
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 16
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 8
cpu cores	: 8
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.05
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 17
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 8
cpu cores	: 8
apicid		: 48
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 18
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 8
cpu cores	: 8
apicid		: 80
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 19
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 8
cpu cores	: 8
apicid		: 112
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3989.97
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 20
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 9
cpu cores	: 8
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.04
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 21
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 9
cpu cores	: 8
apicid		: 50
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.10
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 22
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 9
cpu cores	: 8
apicid		: 82
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.10
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 23
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 9
cpu cores	: 8
apicid		: 114
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.04
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 24
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 10
cpu cores	: 8
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.04
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 25
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 10
cpu cores	: 8
apicid		: 52
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 26
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 10
cpu cores	: 8
apicid		: 84
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 27
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 10
cpu cores	: 8
apicid		: 116
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 28
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 11
cpu cores	: 8
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.04
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 29
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 11
cpu cores	: 8
apicid		: 54
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 30
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 11
cpu cores	: 8
apicid		: 86
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.18
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 31
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 11
cpu cores	: 8
apicid		: 118
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     264257624 kB
MemFree:      263152464 kB
Buffers:        146280 kB
Cached:         698464 kB
SwapCached:          0 kB
Active:         197372 kB
Inactive:       710332 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      263152464 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           19060 kB
Writeback:           0 kB
AnonPages:       63372 kB
Mapped:          14476 kB
Slab:           120440 kB
PageTables:       4444 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   157184 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296372 kB
VmallocChunk: 34359440603 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 61724 MiB
End job on node200 at 2011-06-07 23:55:31