Trace number 3472327

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 801.381 133.007

General information on the benchmark

NameAPPLICATIONS/diagnosis/
UCG-15-5p0.cnf
MD5SUM4385f03fe3bdaf0f127ae989ddd7908d
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark535.574
Satisfiable
(Un)Satisfiability was proved
Number of variables162696
Number of clauses821000
Sum of the clauses size1953203
Maximum clause length10
Minimum clause length1
Number of clauses of size 18386
Number of clauses of size 2617825
Number of clauses of size 3153189
Number of clauses of size 44620
Number of clauses of size 518480
Number of clauses of size over 518500

Solver Data 

0.00/0.00	c clasp version 2.0.0-RC2
0.00/0.00	c Reading from ...481115/instance-3472327-1307481115.cnf
1.69/1.78	c Solving...
801.26/132.98	s UNSATISFIABLE
801.26/132.98	
801.26/132.98	c Models        : 0     
801.26/132.98	c Time          : 132.265s (Solving: 130.49s 1st Model: 0.00s Unsat: 130.49s)
801.26/132.98	c CPU Time      : 800.640s

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-3472327-1307481115/watcher-3472327-1307481115 -o /tmp/evaluation-result-3472327-1307481115/solver-3472327-1307481115 -C 160000 -W 5100 -M 256000 HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472327-1307481115.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: 16.40 15.69 10.50 1/413 17617
/proc/meminfo: memFree=263175140/264257624 swapFree=67111528/67111528
[pid=17617] ppid=17615 vsize=41536 CPUtime=0.03 cores=0-31
/proc/17617/stat : 17617 (claspmt) R 17615 17617 17533 0 -1 4202496 4865 0 0 0 2 1 0 0 21 0 1 0 13498473 42532864 4794 270582939648 4194304 4964800 140735879318576 18446744073709551615 4700412 0 0 4096 18946 0 0 0 17 8 0 0 0
/proc/17617/statm: 10384 4802 373 189 0 5258 0

[startup+0.103781 s]
/proc/loadavg: 16.40 15.69 10.50 1/413 17617
/proc/meminfo: memFree=263175140/264257624 swapFree=67111528/67111528
[pid=17617] ppid=17615 vsize=60024 CPUtime=0.09 cores=0-31
/proc/17617/stat : 17617 (claspmt) R 17615 17617 17533 0 -1 4202496 12073 0 0 0 7 2 0 0 22 0 1 0 13498473 61464576 9987 270582939648 4194304 4964800 140735879318576 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 8 0 0 0
/proc/17617/statm: 15006 9989 383 189 0 9880 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 60024

[startup+0.200784 s]
/proc/loadavg: 16.40 15.69 10.50 1/413 17617
/proc/meminfo: memFree=263175140/264257624 swapFree=67111528/67111528
[pid=17617] ppid=17615 vsize=77948 CPUtime=0.19 cores=0-31
/proc/17617/stat : 17617 (claspmt) R 17615 17617 17533 0 -1 4202496 16423 0 0 0 15 4 0 0 22 0 1 0 13498473 79818752 13323 270582939648 4194304 4964800 140735879318576 18446744073709551615 258650653381 0 0 4096 18946 0 0 0 17 8 0 0 0
/proc/17617/statm: 19487 13337 383 189 0 14361 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 77948

[startup+0.300783 s]
/proc/loadavg: 16.40 15.69 10.50 1/413 17617
/proc/meminfo: memFree=263175140/264257624 swapFree=67111528/67111528
[pid=17617] ppid=17615 vsize=86668 CPUtime=0.29 cores=0-31
/proc/17617/stat : 17617 (claspmt) R 17615 17617 17533 0 -1 4202496 21491 0 0 0 24 5 0 0 22 0 1 0 13498473 88748032 16111 270582939648 4194304 4964800 140735879318576 18446744073709551615 258650955760 0 0 4096 18946 0 0 0 17 8 0 0 0
/proc/17617/statm: 21667 16114 386 189 0 16541 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 86668

[startup+0.7008 s]
/proc/loadavg: 16.40 15.69 10.50 1/413 17617
/proc/meminfo: memFree=263175140/264257624 swapFree=67111528/67111528
[pid=17617] ppid=17615 vsize=115540 CPUtime=0.69 cores=0-31
/proc/17617/stat : 17617 (claspmt) R 17615 17617 17533 0 -1 4202496 30476 0 0 0 62 7 0 0 23 0 1 0 13498473 118312960 23468 270582939648 4194304 4964800 140735879318576 18446744073709551615 4607414 0 0 4096 18946 0 0 0 17 8 0 0 0
/proc/17617/statm: 28885 23468 400 189 0 23759 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 115540

[startup+1.50084 s]
/proc/loadavg: 16.40 15.69 10.50 2/414 17618
/proc/meminfo: memFree=263082832/264257624 swapFree=67111528/67111528
[pid=17617] ppid=17615 vsize=116200 CPUtime=1.49 cores=0-31
/proc/17617/stat : 17617 (claspmt) R 17615 17617 17533 0 -1 4202496 30664 0 0 0 142 7 0 0 25 0 1 0 13498473 118988800 23656 270582939648 4194304 4964800 140735879318576 18446744073709551615 4601734 0 0 4096 18946 0 0 0 17 8 0 0 0
/proc/17617/statm: 29050 23656 401 189 0 23924 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 116200

[startup+3.10275 s]
/proc/loadavg: 16.40 15.69 10.50 7/445 17649
/proc/meminfo: memFree=262868436/264257624 swapFree=67111528/67111528
[pid=17617] ppid=17615 vsize=2108732 CPUtime=19.69 cores=0-31
/proc/17617/stat : 17617 (claspmt) S 17615 17617 17533 0 -1 4202496 198660 0 0 0 379 1590 0 0 18 0 32 0 13498473 2159341568 149092 270582939648 4194304 4964800 140735879318576 18446744073709551615 258662772457 0 0 4096 18946 18446744073709551615 0 0 17 8 0 0 0
/proc/17617/statm: 527183 149092 434 189 0 521532 0
[pid=17617/tid=17619] ppid=17615 vsize=2108732 CPUtime=0.57 cores=0-31
/proc/17617/task/17619/stat : 17619 (claspmt) S 17615 17617 17533 0 -1 4202560 5637 0 0 0 8 49 0 0 18 0 32 0 13498651 2159341568 149092 270582939648 4194304 4964800 140735879318576 18446744073709551615 258662772457 0 0 4096 18946 18446604712748449248 0 0 -1 17 0 0 0
[pid=17617/tid=17620] ppid=17615 vsize=2108732 CPUtime=0.57 cores=0-31
/proc/17617/task/17620/stat : 17620 (claspmt) D 17615 17617 17533 0 -1 4202560 4696 0 0 0 3 54 0 0 18 0 32 0 13498651 2159341568 149092 270582939648 4194304 4964800 140735879318576 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=17617/tid=17621] ppid=17615 vsize=2108732 CPUtime=0.55 cores=0-31
/proc/17617/task/17621/stat : 17621 (claspmt) R 17615 17617 17533 0 -1 4202560 4712 0 0 0 3 52 0 0 18 0 32 0 13498651 2159341568 149092 270582939648 4194304 4964800 140735879318576 18446744073709551615 4685574 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=17617/tid=17622] ppid=17615 vsize=2108732 CPUtime=0.57 cores=0-31
/proc/17617/task/17622/stat : 17622 (claspmt) D 17615 17617 17533 0 -1 4202560 5392 0 0 0 5 52 0 0 18 0 32 0 13498651 2159341568 149092 270582939648 4194304 4964800 140735879318576 18446744073709551615 4685574 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=17617/tid=17623] ppid=17615 vsize=2108732 CPUtime=0.57 cores=0-31
/proc/17617/task/17623/stat : 17623 (claspmt) D 17615 17617 17533 0 -1 4202560 5749 0 0 0 5 52 0 0 18 0 32 0 13498651 2159341568 149092 270582939648 4194304 4964800 140735879318576 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=17617/tid=17624] ppid=17615 vsize=2108732 CPUtime=0.57 cores=0-31
/proc/17617/task/17624/stat : 17624 (claspmt) D 17615 17617 17533 0 -1 4202560 4938 0 0 0 5 52 0 0 18 0 32 0 13498651 2159341568 149092 270582939648 4194304 4964800 140735879318576 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=17617/tid=17625] ppid=17615 vsize=2108732 CPUtime=0.54 cores=0-31
/proc/17617/task/17625/stat : 17625 (claspmt) D 17615 17617 17533 0 -1 4202560 5927 0 0 0 5 49 0 0 18 0 32 0 13498651 2159341568 149092 270582939648 4194304 4964800 140735879318576 18446744073709551615 4685574 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=17617/tid=17626] ppid=17615 vsize=2108732 CPUtime=0.6 cores=0-31
/proc/17617/task/17626/stat : 17626 (claspmt) D 17615 17617 17533 0 -1 4202560 5672 0 0 0 9 51 0 0 18 0 32 0 13498652 2159341568 149092 270582939648 4194304 4964800 140735879318576 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=17617/tid=17627] ppid=17615 vsize=2108732 CPUtime=0.58 cores=0-31
/proc/17617/task/17627/stat : 17627 (claspmt) S 17615 17617 17533 0 -1 4202560 5539 0 0 0 9 49 0 0 18 0 32 0 13498652 2159341568 149092 270582939648 4194304 4964800 140735879318576 18446744073709551615 258662772457 0 0 4096 18946 18446604503747050976 0 0 -1 11 0 0 0
[pid=17617/tid=17628] ppid=17615 vsize=2108732 CPUtime=0.58 cores=0-31
/proc/17617/task/17628/stat : 17628 (claspmt) D 17615 17617 17533 0 -1 4202560 5608 0 0 0 6 52 0 0 18 0 32 0 13498652 2159341568 149092 270582939648 4194304 4964800 140735879318576 18446744073709551615 4685574 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=17617/tid=17629] ppid=17615 vsize=2108732 CPUtime=0.6 cores=0-31
/proc/17617/task/17629/stat : 17629 (claspmt) D 17615 17617 17533 0 -1 4202560 5740 0 0 0 8 52 0 0 18 0 32 0 13498652 2159341568 149092 270582939648 4194304 4964800 140735879318576 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=17617/tid=17630] ppid=17615 vsize=2108732 CPUtime=0.57 cores=0-31
/proc/17617/task/17630/stat : 17630 (claspmt) D 17615 17617 17533 0 -1 4202560 5220 0 0 0 5 52 0 0 18 0 32 0 13498652 2159341568 149093 270582939648 4194304 4964800 140735879318576 18446744073709551615 258650653289 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=17617/tid=17631] ppid=17615 vsize=2108732 CPUtime=0.58 cores=0-31
/proc/17617/task/17631/stat : 17631 (claspmt) D 17615 17617 17533 0 -1 4202560 5812 0 0 0 9 49 0 0 18 0 32 0 13498652 2159341568 149093 270582939648 4194304 4964800 140735879318576 18446744073709551615 4405127 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=17617/tid=17632] ppid=17615 vsize=2108732 CPUtime=0.51 cores=0-31
/proc/17617/task/17632/stat : 17632 (claspmt) R 17615 17617 17533 0 -1 4202560 3941 0 0 0 2 49 0 0 18 0 32 0 13498652 2159341568 149103 270582939648 4194304 4964800 140735879318576 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=17617/tid=17633] ppid=17615 vsize=2108732 CPUtime=0.63 cores=0-31
/proc/17617/task/17633/stat : 17633 (claspmt) D 17615 17617 17533 0 -1 4202560 6032 0 0 0 16 47 0 0 18 0 32 0 13498652 2159341568 149105 270582939648 4194304 4964800 140735879318576 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=17617/tid=17634] ppid=17615 vsize=2108732 CPUtime=0.54 cores=0-31
/proc/17617/task/17634/stat : 17634 (claspmt) S 17615 17617 17533 0 -1 4202560 5441 0 0 0 7 47 0 0 18 0 32 0 13498652 2159341568 149112 270582939648 4194304 4964800 140735879318576 18446744073709551615 258662772457 0 0 4096 18946 18446604498751839712 0 0 -1 19 0 0 0
[pid=17617/tid=17635] ppid=17615 vsize=2108732 CPUtime=0.57 cores=0-31
/proc/17617/task/17635/stat : 17635 (claspmt) R 17615 17617 17533 0 -1 4202560 4321 0 0 0 3 54 0 0 18 0 32 0 13498652 2159341568 149122 270582939648 4194304 4964800 140735879318576 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=17617/tid=17636] ppid=17615 vsize=2108732 CPUtime=0.57 cores=0-31
/proc/17617/task/17636/stat : 17636 (claspmt) D 17615 17617 17533 0 -1 4202560 5751 0 0 0 10 47 0 0 18 0 32 0 13498652 2159341568 149123 270582939648 4194304 4964800 140735879318576 18446744073709551615 258650653280 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=17617/tid=17637] ppid=17615 vsize=2108732 CPUtime=0.59 cores=0-31
/proc/17617/task/17637/stat : 17637 (claspmt) D 17615 17617 17533 0 -1 4202560 5527 0 0 0 8 51 0 0 18 0 32 0 13498652 2159341568 149129 270582939648 4194304 4964800 140735879318576 18446744073709551615 258650652667 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=17617/tid=17638] ppid=17615 vsize=2108732 CPUtime=0.59 cores=0-31
/proc/17617/task/17638/stat : 17638 (claspmt) R 17615 17617 17533 0 -1 4202560 5299 0 0 0 6 53 0 0 18 0 32 0 13498652 2159341568 149132 270582939648 4194304 4964800 140735879318576 18446744073709551615 4687029 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=17617/tid=17639] ppid=17615 vsize=2108732 CPUtime=0.55 cores=0-31
/proc/17617/task/17639/stat : 17639 (claspmt) D 17615 17617 17533 0 -1 4202560 5693 0 0 0 9 46 0 0 18 0 32 0 13498652 2159341568 149133 270582939648 4194304 4964800 140735879318576 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=17617/tid=17640] ppid=17615 vsize=2108732 CPUtime=0.56 cores=0-31
/proc/17617/task/17640/stat : 17640 (claspmt) D 17615 17617 17533 0 -1 4202560 5660 0 0 0 6 50 0 0 18 0 32 0 13498652 2159341568 149138 270582939648 4194304 4964800 140735879318576 18446744073709551615 4685574 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=17617/tid=17641] ppid=17615 vsize=2108732 CPUtime=0.57 cores=0-31
/proc/17617/task/17641/stat : 17641 (claspmt) D 17615 17617 17533 0 -1 4202560 5564 0 0 0 4 53 0 0 18 0 32 0 13498652 2159341568 149147 270582939648 4194304 4964800 140735879318576 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=17617/tid=17642] ppid=17615 vsize=2108732 CPUtime=0.57 cores=0-31
/proc/17617/task/17642/stat : 17642 (claspmt) D 17615 17617 17533 0 -1 4202560 5377 0 0 0 7 50 0 0 18 0 32 0 13498652 2159341568 149157 270582939648 4194304 4964800 140735879318576 18446744073709551615 258650653299 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=17617/tid=17643] ppid=17615 vsize=2108732 CPUtime=0.57 cores=0-31
/proc/17617/task/17643/stat : 17643 (claspmt) D 17615 17617 17533 0 -1 4202560 5136 0 0 0 4 53 0 0 18 0 32 0 13498653 2159341568 149161 270582939648 4194304 4964800 140735879318576 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=17617/tid=17644] ppid=17615 vsize=2108732 CPUtime=0.56 cores=0-31
/proc/17617/task/17644/stat : 17644 (claspmt) D 17615 17617 17533 0 -1 4202560 4865 0 0 0 3 53 0 0 18 0 32 0 13498653 2159341568 149164 270582939648 4194304 4964800 140735879318576 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=17617/tid=17645] ppid=17615 vsize=2108732 CPUtime=0.57 cores=0-31
/proc/17617/task/17645/stat : 17645 (claspmt) D 17615 17617 17533 0 -1 4202560 6059 0 0 0 7 50 0 0 18 0 32 0 13498653 2159341568 149167 270582939648 4194304 4964800 140735879318576 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=17617/tid=17646] ppid=17615 vsize=2108732 CPUtime=0.5 cores=0-31
/proc/17617/task/17646/stat : 17646 (claspmt) S 17615 17617 17533 0 -1 4202560 4941 0 0 0 7 43 0 0 18 0 32 0 13498653 2159341568 149167 270582939648 4194304 4964800 140735879318576 18446744073709551615 258662772457 0 0 4096 18946 18446604560549035488 0 0 -1 28 0 0 0
[pid=17617/tid=17647] ppid=17615 vsize=2108732 CPUtime=0.57 cores=0-31
/proc/17617/task/17647/stat : 17647 (claspmt) D 17615 17617 17533 0 -1 4202560 5912 0 0 0 6 51 0 0 18 0 32 0 13498653 2159341568 149168 270582939648 4194304 4964800 140735879318576 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=17617/tid=17648] ppid=17615 vsize=2108732 CPUtime=0.52 cores=0-31
/proc/17617/task/17648/stat : 17648 (claspmt) D 17615 17617 17533 0 -1 4202560 5548 0 0 0 3 49 0 0 18 0 32 0 13498653 2159341568 149174 270582939648 4194304 4964800 140735879318576 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=17617/tid=17649] ppid=17615 vsize=2108732 CPUtime=0.56 cores=0-31
/proc/17617/task/17649/stat : 17649 (claspmt) R 17615 17617 17533 0 -1 4202560 5455 0 0 0 3 53 0 0 18 0 32 0 13498653 2159341568 149180 270582939648 4194304 4964800 140735879318576 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 30 0 0 0
Current children cumulated CPU time (s) 19.69
Current children cumulated vsize (KiB) 2108732

[startup+6.30195 s]
/proc/loadavg: 15.41 15.50 10.47 5/445 17649
/proc/meminfo: memFree=262460124/264257624 swapFree=67111528/67111528
[pid=17617] ppid=17615 vsize=2113436 CPUtime=33.9 cores=0-31
/proc/17617/stat : 17617 (claspmt) S 17615 17617 17533 0 -1 4202496 228879 0 0 0 1729 1661 0 0 18 0 32 0 13498473 2164158464 179194 270582939648 4194304 4964800 140735879318576 18446744073709551615 258662772457 0 0 4096 18946 18446744073709551615 0 0 17 8 0 0 0
/proc/17617/statm: 528359 179194 440 189 0 522708 0
[pid=17617/tid=17619] ppid=17615 vsize=2113436 CPUtime=0.57 cores=0-31
/proc/17617/task/17619/stat : 17619 (claspmt) S 17615 17617 17533 0 -1 4202560 5637 0 0 0 8 49 0 0 18 0 32 0 13498651 2164158464 179194 270582939648 4194304 4964800 140735879318576 18446744073709551615 258662772457 0 0 4096 18946 18446604712748449248 0 0 -1 17 0 0 0
[pid=17617/tid=17620] ppid=17615 vsize=2113436 CPUtime=0.72 cores=0-31
/proc/17617/task/17620/stat : 17620 (claspmt) S 17615 17617 17533 0 -1 4202560 7095 0 0 0 13 59 0 0 18 0 32 0 13498651 2164158464 179194 270582939648 4194304 4964800 140735879318576 18446744073709551615 258662772457 0 0 4096 18946 18446604501851520480 0 0 -1 2 0 0 0
[pid=17617/tid=17621] ppid=17615 vsize=2113436 CPUtime=0.7 cores=0-31
/proc/17617/task/17621/stat : 17621 (claspmt) S 17615 17617 17533 0 -1 4202560 7136 0 0 0 14 56 0 0 18 0 32 0 13498651 2164158464 179194 270582939648 4194304 4964800 140735879318576 18446744073709551615 258662772457 0 0 4096 18946 18446604502228368864 0 0 -1 9 0 0 0
[pid=17617/tid=17622] ppid=17615 vsize=2113436 CPUtime=0.6 cores=0-31
/proc/17617/task/17622/stat : 17622 (claspmt) S 17615 17617 17533 0 -1 4202560 5605 0 0 0 8 52 0 0 18 0 32 0 13498651 2164158464 179194 270582939648 4194304 4964800 140735879318576 18446744073709551615 258662772457 0 0 4096 18946 18446604499563912672 0 0 -1 26 0 0 0
[pid=17617/tid=17623] ppid=17615 vsize=2113436 CPUtime=3.55 cores=0-31
/proc/17617/task/17623/stat : 17623 (claspmt) R 17615 17617 17533 0 -1 4202560 6913 0 0 0 299 56 0 0 23 0 32 0 13498651 2164158464 179194 270582939648 4194304 4964800 140735879318576 18446744073709551615 4669093 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=17617/tid=17624] ppid=17615 vsize=2113436 CPUtime=0.71 cores=0-31
/proc/17617/task/17624/stat : 17624 (claspmt) S 17615 17617 17533 0 -1 4202560 7093 0 0 0 14 57 0 0 18 0 32 0 13498651 2164158464 179194 270582939648 4194304 4964800 140735879318576 18446744073709551615 258662772457 0 0 4096 18946 18446604499263421920 0 0 -1 5 0 0 0
[pid=17617/tid=17625] ppid=17615 vsize=2113436 CPUtime=0.69 cores=0-31
/proc/17617/task/17625/stat : 17625 (claspmt) S 17615 17617 17533 0 -1 4202560 6858 0 0 0 16 53 0 0 18 0 32 0 13498651 2164158464 179194 270582939648 4194304 4964800 140735879318576 18446744073709551615 258662772457 0 0 4096 18946 18446604709941403104 0 0 -1 27 0 0 0
[pid=17617/tid=17626] ppid=17615 vsize=2113436 CPUtime=0.6 cores=0-31
/proc/17617/task/17626/stat : 17626 (claspmt) S 17615 17617 17533 0 -1 4202560 5687 0 0 0 9 51 0 0 18 0 32 0 13498652 2164158464 179194 270582939648 4194304 4964800 140735879318576 18446744073709551615 258662772457 0 0 4096 18946 18446604501375819232 0 0 -1 25 0 0 0
[pid=17617/tid=17627] ppid=17615 vsize=2113436 CPUtime=0.58 cores=0-31
/proc/17617/task/17627/stat : 17627 (claspmt) S 17615 17617 17533 0 -1 4202560 5539 0 0 0 9 49 0 0 18 0 32 0 13498652 2164158464 179194 270582939648 4194304 4964800 140735879318576 18446744073709551615 258662772457 0 0 4096 18946 18446604503747050976 0 0 -1 11 0 0 0
[pid=17617/tid=17628] ppid=17615 vsize=2113436 CPUtime=0.69 cores=0-31
/proc/17617/task/17628/stat : 17628 (claspmt) S 17615 17617 17533 0 -1 4202560 6958 0 0 0 14 55 0 0 18 0 32 0 13498652 2164158464 179194 270582939648 4194304 4964800 140735879318576 18446744073709551615 258662772457 0 0 4096 18946 18446604712468299232 0 0 -1 9 0 0 0
[pid=17617/tid=17629] ppid=17615 vsize=2113436 CPUtime=0.69 cores=0-31
/proc/17617/task/17629/stat : 17629 (claspmt) S 17615 17617 17533 0 -1 4202560 6686 0 0 0 14 55 0 0 18 0 32 0 13498652 2164158464 179194 270582939648 4194304 4964800 140735879318576 18446744073709551615 258662772457 0 0 4096 18946 18446604503747042784 0 0 -1 10 0 0 0
[pid=17617/tid=17630] ppid=17615 vsize=2113436 CPUtime=0.6 cores=0-31
/proc/17617/task/17630/stat : 17630 (claspmt) S 17615 17617 17533 0 -1 4202560 5460 0 0 0 7 53 0 0 18 0 32 0 13498652 2164158464 179194 270582939648 4194304 4964800 140735879318576 18446744073709551615 258662772457 0 0 4096 18946 18446604500298489312 0 0 -1 29 0 0 0
[pid=17617/tid=17631] ppid=17615 vsize=2113436 CPUtime=3.56 cores=0-31
/proc/17617/task/17631/stat : 17631 (claspmt) R 17615 17617 17533 0 -1 4202560 6907 0 0 0 304 52 0 0 24 0 32 0 13498652 2164158464 179194 270582939648 4194304 4964800 140735879318576 18446744073709551615 4669280 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=17617/tid=17632] ppid=17615 vsize=2113436 CPUtime=0.68 cores=0-31
/proc/17617/task/17632/stat : 17632 (claspmt) S 17615 17617 17533 0 -1 4202560 6577 0 0 0 14 54 0 0 18 0 32 0 13498652 2164158464 179194 270582939648 4194304 4964800 140735879318576 18446744073709551615 258662772457 0 0 4096 18946 18446604505582517728 0 0 -1 3 0 0 0
[pid=17617/tid=17633] ppid=17615 vsize=2113436 CPUtime=0.68 cores=0-31
/proc/17617/task/17633/stat : 17633 (claspmt) S 17615 17617 17533 0 -1 4202560 6128 0 0 0 21 47 0 0 18 0 32 0 13498652 2164158464 179194 270582939648 4194304 4964800 140735879318576 18446744073709551615 258662772457 0 0 4096 18946 18446604505734659552 0 0 -1 7 0 0 0
[pid=17617/tid=17634] ppid=17615 vsize=2113436 CPUtime=0.54 cores=0-31
/proc/17617/task/17634/stat : 17634 (claspmt) S 17615 17617 17533 0 -1 4202560 5441 0 0 0 7 47 0 0 18 0 32 0 13498652 2164158464 179194 270582939648 4194304 4964800 140735879318576 18446744073709551615 258662772457 0 0 4096 18946 18446604498751839712 0 0 -1 19 0 0 0
[pid=17617/tid=17635] ppid=17615 vsize=2113436 CPUtime=0.65 cores=0-31
/proc/17617/task/17635/stat : 17635 (claspmt) S 17615 17617 17533 0 -1 4202560 5669 0 0 0 7 58 0 0 18 0 32 0 13498652 2164158464 179194 270582939648 4194304 4964800 140735879318576 18446744073709551615 258662772457 0 0 4096 18946 18446604505582509536 0 0 -1 1 0 0 0
[pid=17617/tid=17636] ppid=17615 vsize=2113436 CPUtime=0.63 cores=0-31
/proc/17617/task/17636/stat : 17636 (claspmt) S 17615 17617 17533 0 -1 4202560 6642 0 0 0 15 48 0 0 18 0 32 0 13498652 2164158464 179194 270582939648 4194304 4964800 140735879318576 18446744073709551615 258662772457 0 0 4096 18946 18446604499563920864 0 0 -1 15 0 0 0
[pid=17617/tid=17637] ppid=17615 vsize=2113436 CPUtime=0.67 cores=0-31
/proc/17617/task/17637/stat : 17637 (claspmt) S 17615 17617 17533 0 -1 4202560 6579 0 0 0 14 53 0 0 18 0 32 0 13498652 2164158464 179194 270582939648 4194304 4964800 140735879318576 18446744073709551615 258662772457 0 0 4096 18946 18446604505734651360 0 0 -1 18 0 0 0
[pid=17617/tid=17638] ppid=17615 vsize=2113436 CPUtime=0.61 cores=0-31
/proc/17617/task/17638/stat : 17638 (claspmt) S 17615 17617 17533 0 -1 4202560 5625 0 0 0 8 53 0 0 18 0 32 0 13498652 2164158464 179194 270582939648 4194304 4964800 140735879318576 18446744073709551615 258662772457 0 0 4096 18946 18446604712595152352 0 0 -1 22 0 0 0
[pid=17617/tid=17639] ppid=17615 vsize=2113436 CPUtime=3.67 cores=0-31
/proc/17617/task/17639/stat : 17639 (claspmt) R 17615 17617 17533 0 -1 4202560 6106 0 0 0 320 47 0 0 24 0 32 0 13498652 2164158464 179194 270582939648 4194304 4964800 140735879318576 18446744073709551615 4678045 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=17617/tid=17640] ppid=17615 vsize=2113436 CPUtime=0.67 cores=0-31
/proc/17617/task/17640/stat : 17640 (claspmt) S 17615 17617 17533 0 -1 4202560 6987 0 0 0 15 52 0 0 18 0 32 0 13498652 2164158464 179194 270582939648 4194304 4964800 140735879318576 18446744073709551615 258662772457 0 0 4096 18946 18446604498751847904 0 0 -1 13 0 0 0
[pid=17617/tid=17641] ppid=17615 vsize=2113436 CPUtime=0.75 cores=0-31
/proc/17617/task/17641/stat : 17641 (claspmt) S 17615 17617 17533 0 -1 4202560 7075 0 0 0 17 58 0 0 18 0 32 0 13498652 2164158464 179194 270582939648 4194304 4964800 140735879318576 18446744073709551615 258662772457 0 0 4096 18946 18446604500821204448 0 0 -1 14 0 0 0
[pid=17617/tid=17642] ppid=17615 vsize=2113436 CPUtime=0.58 cores=0-31
/proc/17617/task/17642/stat : 17642 (claspmt) S 17615 17617 17533 0 -1 4202560 5474 0 0 0 8 50 0 0 18 0 32 0 13498652 2164158464 179194 270582939648 4194304 4964800 140735879318576 18446744073709551615 258662772457 0 0 4096 18946 18446604503202692576 0 0 -1 21 0 0 0
[pid=17617/tid=17643] ppid=17615 vsize=2113436 CPUtime=0.62 cores=0-31
/proc/17617/task/17643/stat : 17643 (claspmt) S 17615 17617 17533 0 -1 4202560 5741 0 0 0 8 54 0 0 18 0 32 0 13498653 2164158464 179194 270582939648 4194304 4964800 140735879318576 18446744073709551615 258662772457 0 0 4096 18946 18446604506057260512 0 0 -1 6 0 0 0

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

[pid=17617/tid=17646] ppid=17615 vsize=2113436 CPUtime=5.87 cores=0-31
/proc/17617/task/17646/stat : 17646 (claspmt) R 17615 17617 17533 0 -1 4202560 5119 0 0 0 543 44 0 0 25 0 32 0 13498653 2164158464 185939 270582939648 4194304 4964800 140735879318576 18446744073709551615 4670357 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=17617/tid=17647] ppid=17615 vsize=2113436 CPUtime=123.32 cores=0-31
/proc/17617/task/17647/stat : 17647 (claspmt) R 17615 17617 17533 0 -1 4202560 7637 0 0 0 12274 58 0 0 25 0 32 0 13498653 2164158464 185939 270582939648 4194304 4964800 140735879318576 18446744073709551615 4670160 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=17617/tid=17648] ppid=17615 vsize=2113436 CPUtime=5.97 cores=0-31
/proc/17617/task/17648/stat : 17648 (claspmt) R 17615 17617 17533 0 -1 4202560 7250 0 0 0 544 53 0 0 25 0 32 0 13498653 2164158464 185939 270582939648 4194304 4964800 140735879318576 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=17617/tid=17649] ppid=17615 vsize=2113436 CPUtime=6.06 cores=0-31
/proc/17617/task/17649/stat : 17649 (claspmt) R 17615 17617 17533 0 -1 4202560 7246 0 0 0 548 58 0 0 25 0 32 0 13498653 2164158464 185939 270582939648 4194304 4964800 140735879318576 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 664.86
Current children cumulated vsize (KiB) 2113436

[startup+131.202 s]
/proc/loadavg: 9.96 12.57 9.98 33/445 17653
/proc/meminfo: memFree=262435280/264257624 swapFree=67111528/67111528
[pid=17617] ppid=17615 vsize=2113436 CPUtime=767.15 cores=0-31
/proc/17617/stat : 17617 (claspmt) R 17615 17617 17533 0 -1 4202496 236589 0 0 0 75026 1689 0 0 25 0 32 0 13498473 2164158464 186902 270582939648 4194304 4964800 140735879318576 18446744073709551615 4670180 0 0 4096 18946 18446744073709551615 0 0 17 8 0 0 0
/proc/17617/statm: 528359 186902 461 189 0 522708 0
[pid=17617/tid=17619] ppid=17615 vsize=2113436 CPUtime=9.14 cores=0-31
/proc/17617/task/17619/stat : 17619 (claspmt) R 17615 17617 17533 0 -1 4202560 5817 0 0 0 864 50 0 0 25 0 32 0 13498651 2164158464 186902 270582939648 4194304 4964800 140735879318576 18446744073709551615 4669011 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=17617/tid=17620] ppid=17615 vsize=2113436 CPUtime=9.22 cores=0-31
/proc/17617/task/17620/stat : 17620 (claspmt) R 17615 17617 17533 0 -1 4202560 7383 0 0 0 862 60 0 0 25 0 32 0 13498651 2164158464 186902 270582939648 4194304 4964800 140735879318576 18446744073709551615 4668987 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=17617/tid=17621] ppid=17615 vsize=2113436 CPUtime=9.22 cores=0-31
/proc/17617/task/17621/stat : 17621 (claspmt) R 17615 17617 17533 0 -1 4202560 7300 0 0 0 866 56 0 0 25 0 32 0 13498651 2164158464 186902 270582939648 4194304 4964800 140735879318576 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=17617/tid=17622] ppid=17615 vsize=2113436 CPUtime=9.17 cores=0-31
/proc/17617/task/17622/stat : 17622 (claspmt) R 17615 17617 17533 0 -1 4202560 5744 0 0 0 864 53 0 0 25 0 32 0 13498651 2164158464 186902 270582939648 4194304 4964800 140735879318576 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=17617/tid=17623] ppid=17615 vsize=2113436 CPUtime=126.79 cores=0-31
/proc/17617/task/17623/stat : 17623 (claspmt) R 17615 17617 17533 0 -1 4202560 7370 0 0 0 12621 58 0 0 25 0 32 0 13498651 2164158464 186902 270582939648 4194304 4964800 140735879318576 18446744073709551615 4342199 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=17617/tid=17624] ppid=17615 vsize=2113436 CPUtime=9.25 cores=0-31
/proc/17617/task/17624/stat : 17624 (claspmt) R 17615 17617 17533 0 -1 4202560 7269 0 0 0 867 58 0 0 25 0 32 0 13498651 2164158464 186902 270582939648 4194304 4964800 140735879318576 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=17617/tid=17625] ppid=17615 vsize=2113436 CPUtime=9.23 cores=0-31
/proc/17617/task/17625/stat : 17625 (claspmt) R 17615 17617 17533 0 -1 4202560 7084 0 0 0 869 54 0 0 25 0 32 0 13498651 2164158464 186902 270582939648 4194304 4964800 140735879318576 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=17617/tid=17626] ppid=17615 vsize=2113436 CPUtime=9.16 cores=0-31
/proc/17617/task/17626/stat : 17626 (claspmt) R 17615 17617 17533 0 -1 4202560 5821 0 0 0 864 52 0 0 25 0 32 0 13498652 2164158464 186902 270582939648 4194304 4964800 140735879318576 18446744073709551615 4342162 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=17617/tid=17627] ppid=17615 vsize=2113436 CPUtime=9.14 cores=0-31
/proc/17617/task/17627/stat : 17627 (claspmt) R 17615 17617 17533 0 -1 4202560 5719 0 0 0 865 49 0 0 25 0 32 0 13498652 2164158464 186902 270582939648 4194304 4964800 140735879318576 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=17617/tid=17628] ppid=17615 vsize=2113436 CPUtime=9.26 cores=0-31
/proc/17617/task/17628/stat : 17628 (claspmt) R 17615 17617 17533 0 -1 4202560 7233 0 0 0 869 57 0 0 25 0 32 0 13498652 2164158464 186902 270582939648 4194304 4964800 140735879318576 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=17617/tid=17629] ppid=17615 vsize=2113436 CPUtime=9.23 cores=0-31
/proc/17617/task/17629/stat : 17629 (claspmt) R 17615 17617 17533 0 -1 4202560 6954 0 0 0 868 55 0 0 19 0 32 0 13498652 2164158464 186902 270582939648 4194304 4964800 140735879318576 18446744073709551615 4669207 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=17617/tid=17630] ppid=17615 vsize=2113436 CPUtime=9.17 cores=0-31
/proc/17617/task/17630/stat : 17630 (claspmt) R 17615 17617 17533 0 -1 4202560 5620 0 0 0 864 53 0 0 25 0 32 0 13498652 2164158464 186902 270582939648 4194304 4964800 140735879318576 18446744073709551615 4660495 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=17617/tid=17631] ppid=17615 vsize=2113436 CPUtime=126.69 cores=0-31
/proc/17617/task/17631/stat : 17631 (claspmt) R 17615 17617 17533 0 -1 4202560 7086 0 0 0 12617 52 0 0 25 0 32 0 13498652 2164158464 186902 270582939648 4194304 4964800 140735879318576 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=17617/tid=17632] ppid=17615 vsize=2113436 CPUtime=9.22 cores=0-31
/proc/17617/task/17632/stat : 17632 (claspmt) R 17615 17617 17533 0 -1 4202560 6805 0 0 0 867 55 0 0 25 0 32 0 13498652 2164158464 186902 270582939648 4194304 4964800 140735879318576 18446744073709551615 4668987 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=17617/tid=17633] ppid=17615 vsize=2113436 CPUtime=9.22 cores=0-31
/proc/17617/task/17633/stat : 17633 (claspmt) R 17615 17617 17533 0 -1 4202560 6301 0 0 0 874 48 0 0 25 0 32 0 13498652 2164158464 186902 270582939648 4194304 4964800 140735879318576 18446744073709551615 4669011 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=17617/tid=17634] ppid=17615 vsize=2113436 CPUtime=8.83 cores=0-31
/proc/17617/task/17634/stat : 17634 (claspmt) R 17615 17617 17533 0 -1 4202560 5674 0 0 0 835 48 0 0 25 0 32 0 13498652 2164158464 186903 270582939648 4194304 4964800 140735879318576 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=17617/tid=17635] ppid=17615 vsize=2113436 CPUtime=9.22 cores=0-31
/proc/17617/task/17635/stat : 17635 (claspmt) R 17615 17617 17533 0 -1 4202560 5851 0 0 0 864 58 0 0 25 0 32 0 13498652 2164158464 186903 270582939648 4194304 4964800 140735879318576 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=17617/tid=17636] ppid=17615 vsize=2113436 CPUtime=9.18 cores=0-31
/proc/17617/task/17636/stat : 17636 (claspmt) R 17615 17617 17533 0 -1 4202560 6856 0 0 0 869 49 0 0 25 0 32 0 13498652 2164158464 186903 270582939648 4194304 4964800 140735879318576 18446744073709551615 4378499 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=17617/tid=17637] ppid=17615 vsize=2113436 CPUtime=9.22 cores=0-31
/proc/17617/task/17637/stat : 17637 (claspmt) R 17615 17617 17533 0 -1 4202560 6735 0 0 0 868 54 0 0 25 0 32 0 13498652 2164158464 186903 270582939648 4194304 4964800 140735879318576 18446744073709551615 4362944 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=17617/tid=17638] ppid=17615 vsize=2113436 CPUtime=9.18 cores=0-31
/proc/17617/task/17638/stat : 17638 (claspmt) R 17615 17617 17533 0 -1 4202560 5780 0 0 0 864 54 0 0 25 0 32 0 13498652 2164158464 186903 270582939648 4194304 4964800 140735879318576 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=17617/tid=17639] ppid=17615 vsize=2113436 CPUtime=128.47 cores=0-31
/proc/17617/task/17639/stat : 17639 (claspmt) R 17615 17617 17533 0 -1 4202560 6567 0 0 0 12798 49 0 0 25 0 32 0 13498652 2164158464 186903 270582939648 4194304 4964800 140735879318576 18446744073709551615 4670361 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=17617/tid=17640] ppid=17615 vsize=2113436 CPUtime=9.21 cores=0-31
/proc/17617/task/17640/stat : 17640 (claspmt) R 17615 17617 17533 0 -1 4202560 7235 0 0 0 868 53 0 0 25 0 32 0 13498652 2164158464 186903 270582939648 4194304 4964800 140735879318576 18446744073709551615 4670323 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=17617/tid=17641] ppid=17615 vsize=2113436 CPUtime=9.28 cores=0-31
/proc/17617/task/17641/stat : 17641 (claspmt) R 17615 17617 17533 0 -1 4202560 7363 0 0 0 869 59 0 0 25 0 32 0 13498652 2164158464 186903 270582939648 4194304 4964800 140735879318576 18446744073709551615 4670340 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=17617/tid=17642] ppid=17615 vsize=2113436 CPUtime=9.14 cores=0-31
/proc/17617/task/17642/stat : 17642 (claspmt) R 17615 17617 17533 0 -1 4202560 5655 0 0 0 863 51 0 0 25 0 32 0 13498652 2164158464 186903 270582939648 4194304 4964800 140735879318576 18446744073709551615 4669011 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=17617/tid=17643] ppid=17615 vsize=2113436 CPUtime=9.19 cores=0-31
/proc/17617/task/17643/stat : 17643 (claspmt) R 17615 17617 17533 0 -1 4202560 5909 0 0 0 864 55 0 0 25 0 32 0 13498653 2164158464 186903 270582939648 4194304 4964800 140735879318576 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=17617/tid=17644] ppid=17615 vsize=2113436 CPUtime=9.25 cores=0-31
/proc/17617/task/17644/stat : 17644 (claspmt) R 17615 17617 17533 0 -1 4202560 7037 0 0 0 867 58 0 0 25 0 32 0 13498653 2164158464 186903 270582939648 4194304 4964800 140735879318576 18446744073709551615 4361283 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=17617/tid=17645] ppid=17615 vsize=2113436 CPUtime=9.21 cores=0-31
/proc/17617/task/17645/stat : 17645 (claspmt) R 17615 17617 17533 0 -1 4202560 7256 0 0 0 868 53 0 0 25 0 32 0 13498653 2164158464 186903 270582939648 4194304 4964800 140735879318576 18446744073709551615 4627338 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=17617/tid=17646] ppid=17615 vsize=2113436 CPUtime=9.07 cores=0-31
/proc/17617/task/17646/stat : 17646 (claspmt) R 17615 17617 17533 0 -1 4202560 5202 0 0 0 863 44 0 0 25 0 32 0 13498653 2164158464 186903 270582939648 4194304 4964800 140735879318576 18446744073709551615 4669131 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=17617/tid=17647] ppid=17615 vsize=2113436 CPUtime=126.52 cores=0-31
/proc/17617/task/17647/stat : 17647 (claspmt) R 17615 17617 17533 0 -1 4202560 7637 0 0 0 12594 58 0 0 25 0 32 0 13498653 2164158464 186903 270582939648 4194304 4964800 140735879318576 18446744073709551615 4669280 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=17617/tid=17648] ppid=17615 vsize=2113436 CPUtime=9.17 cores=0-31
/proc/17617/task/17648/stat : 17648 (claspmt) R 17615 17617 17533 0 -1 4202560 7251 0 0 0 864 53 0 0 25 0 32 0 13498653 2164158464 186903 270582939648 4194304 4964800 140735879318576 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=17617/tid=17649] ppid=17615 vsize=2113436 CPUtime=9.26 cores=0-31
/proc/17617/task/17649/stat : 17649 (claspmt) R 17615 17617 17533 0 -1 4202560 7394 0 0 0 868 58 0 0 18 0 32 0 13498653 2164158464 186903 270582939648 4194304 4964800 140735879318576 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 767.15
Current children cumulated vsize (KiB) 2113436

[startup+132.002 s]
/proc/loadavg: 9.96 12.57 9.98 33/445 17653
/proc/meminfo: memFree=262434040/264257624 swapFree=67111528/67111528
[pid=17617] ppid=17615 vsize=2113436 CPUtime=793.36 cores=0-31
/proc/17617/stat : 17617 (claspmt) R 17615 17617 17533 0 -1 4202496 236711 0 0 0 77646 1690 0 0 25 0 32 0 13498473 2164158464 187024 270582939648 4194304 4964800 140735879318576 18446744073709551615 4678036 0 0 4096 18946 18446744073709551615 0 0 17 8 0 0 0
/proc/17617/statm: 528359 187024 461 189 0 522708 0
[pid=17617/tid=17619] ppid=17615 vsize=2113436 CPUtime=9.96 cores=0-31
/proc/17617/task/17619/stat : 17619 (claspmt) R 17615 17617 17533 0 -1 4202560 5817 0 0 0 946 50 0 0 25 0 32 0 13498651 2164158464 187024 270582939648 4194304 4964800 140735879318576 18446744073709551615 4670678 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=17617/tid=17620] ppid=17615 vsize=2113436 CPUtime=10.04 cores=0-31
/proc/17617/task/17620/stat : 17620 (claspmt) R 17615 17617 17533 0 -1 4202560 7416 0 0 0 944 60 0 0 25 0 32 0 13498651 2164158464 187024 270582939648 4194304 4964800 140735879318576 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=17617/tid=17621] ppid=17615 vsize=2113436 CPUtime=10.04 cores=0-31
/proc/17617/task/17621/stat : 17621 (claspmt) R 17615 17617 17533 0 -1 4202560 7300 0 0 0 948 56 0 0 25 0 32 0 13498651 2164158464 187024 270582939648 4194304 4964800 140735879318576 18446744073709551615 4668984 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=17617/tid=17622] ppid=17615 vsize=2113436 CPUtime=9.99 cores=0-31
/proc/17617/task/17622/stat : 17622 (claspmt) R 17615 17617 17533 0 -1 4202560 5744 0 0 0 946 53 0 0 25 0 32 0 13498651 2164158464 187024 270582939648 4194304 4964800 140735879318576 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=17617/tid=17623] ppid=17615 vsize=2113436 CPUtime=127.61 cores=0-31
/proc/17617/task/17623/stat : 17623 (claspmt) R 17615 17617 17533 0 -1 4202560 7370 0 0 0 12703 58 0 0 25 0 32 0 13498651 2164158464 187024 270582939648 4194304 4964800 140735879318576 18446744073709551615 4668987 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=17617/tid=17624] ppid=17615 vsize=2113436 CPUtime=10.07 cores=0-31
/proc/17617/task/17624/stat : 17624 (claspmt) R 17615 17617 17533 0 -1 4202560 7270 0 0 0 949 58 0 0 25 0 32 0 13498651 2164158464 187024 270582939648 4194304 4964800 140735879318576 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=17617/tid=17625] ppid=17615 vsize=2113436 CPUtime=10.05 cores=0-31
/proc/17617/task/17625/stat : 17625 (claspmt) R 17615 17617 17533 0 -1 4202560 7084 0 0 0 951 54 0 0 25 0 32 0 13498651 2164158464 187024 270582939648 4194304 4964800 140735879318576 18446744073709551615 4669199 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=17617/tid=17626] ppid=17615 vsize=2113436 CPUtime=9.99 cores=0-31
/proc/17617/task/17626/stat : 17626 (claspmt) R 17615 17617 17533 0 -1 4202560 5821 0 0 0 947 52 0 0 25 0 32 0 13498652 2164158464 187024 270582939648 4194304 4964800 140735879318576 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=17617/tid=17627] ppid=17615 vsize=2113436 CPUtime=9.96 cores=0-31
/proc/17617/task/17627/stat : 17627 (claspmt) R 17615 17617 17533 0 -1 4202560 5719 0 0 0 947 49 0 0 25 0 32 0 13498652 2164158464 187024 270582939648 4194304 4964800 140735879318576 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=17617/tid=17628] ppid=17615 vsize=2113436 CPUtime=10.08 cores=0-31
/proc/17617/task/17628/stat : 17628 (claspmt) R 17615 17617 17533 0 -1 4202560 7233 0 0 0 951 57 0 0 25 0 32 0 13498652 2164158464 187024 270582939648 4194304 4964800 140735879318576 18446744073709551615 4668553 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=17617/tid=17629] ppid=17615 vsize=2113436 CPUtime=10.05 cores=0-31
/proc/17617/task/17629/stat : 17629 (claspmt) R 17615 17617 17533 0 -1 4202560 6954 0 0 0 950 55 0 0 20 0 32 0 13498652 2164158464 187024 270582939648 4194304 4964800 140735879318576 18446744073709551615 4668987 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=17617/tid=17630] ppid=17615 vsize=2113436 CPUtime=9.99 cores=0-31
/proc/17617/task/17630/stat : 17630 (claspmt) R 17615 17617 17533 0 -1 4202560 5620 0 0 0 946 53 0 0 25 0 32 0 13498652 2164158464 187024 270582939648 4194304 4964800 140735879318576 18446744073709551615 4668552 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=17617/tid=17631] ppid=17615 vsize=2113436 CPUtime=127.51 cores=0-31
/proc/17617/task/17631/stat : 17631 (claspmt) R 17615 17617 17533 0 -1 4202560 7086 0 0 0 12699 52 0 0 25 0 32 0 13498652 2164158464 187024 270582939648 4194304 4964800 140735879318576 18446744073709551615 4678036 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=17617/tid=17632] ppid=17615 vsize=2113436 CPUtime=10.04 cores=0-31
/proc/17617/task/17632/stat : 17632 (claspmt) R 17615 17617 17533 0 -1 4202560 6813 0 0 0 949 55 0 0 25 0 32 0 13498652 2164158464 187024 270582939648 4194304 4964800 140735879318576 18446744073709551615 4669952 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=17617/tid=17633] ppid=17615 vsize=2113436 CPUtime=10.04 cores=0-31
/proc/17617/task/17633/stat : 17633 (claspmt) R 17615 17617 17533 0 -1 4202560 6301 0 0 0 956 48 0 0 25 0 32 0 13498652 2164158464 187024 270582939648 4194304 4964800 140735879318576 18446744073709551615 4669283 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=17617/tid=17634] ppid=17615 vsize=2113436 CPUtime=9.62 cores=0-31
/proc/17617/task/17634/stat : 17634 (claspmt) R 17615 17617 17533 0 -1 4202560 5674 0 0 0 914 48 0 0 25 0 32 0 13498652 2164158464 187024 270582939648 4194304 4964800 140735879318576 18446744073709551615 4668900 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=17617/tid=17635] ppid=17615 vsize=2113436 CPUtime=10.04 cores=0-31
/proc/17617/task/17635/stat : 17635 (claspmt) R 17615 17617 17533 0 -1 4202560 5866 0 0 0 946 58 0 0 25 0 32 0 13498652 2164158464 187024 270582939648 4194304 4964800 140735879318576 18446744073709551615 4669813 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=17617/tid=17636] ppid=17615 vsize=2113436 CPUtime=10 cores=0-31
/proc/17617/task/17636/stat : 17636 (claspmt) R 17615 17617 17533 0 -1 4202560 6872 0 0 0 951 49 0 0 25 0 32 0 13498652 2164158464 187024 270582939648 4194304 4964800 140735879318576 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=17617/tid=17637] ppid=17615 vsize=2113436 CPUtime=10.04 cores=0-31
/proc/17617/task/17637/stat : 17637 (claspmt) R 17615 17617 17533 0 -1 4202560 6736 0 0 0 950 54 0 0 25 0 32 0 13498652 2164158464 187024 270582939648 4194304 4964800 140735879318576 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=17617/tid=17638] ppid=17615 vsize=2113436 CPUtime=10 cores=0-31
/proc/17617/task/17638/stat : 17638 (claspmt) R 17615 17617 17533 0 -1 4202560 5780 0 0 0 946 54 0 0 25 0 32 0 13498652 2164158464 187024 270582939648 4194304 4964800 140735879318576 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=17617/tid=17639] ppid=17615 vsize=2113436 CPUtime=129.29 cores=0-31
/proc/17617/task/17639/stat : 17639 (claspmt) R 17615 17617 17533 0 -1 4202560 6567 0 0 0 12880 49 0 0 25 0 32 0 13498652 2164158464 187024 270582939648 4194304 4964800 140735879318576 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=17617/tid=17640] ppid=17615 vsize=2113436 CPUtime=10.03 cores=0-31
/proc/17617/task/17640/stat : 17640 (claspmt) R 17615 17617 17533 0 -1 4202560 7235 0 0 0 950 53 0 0 25 0 32 0 13498652 2164158464 187024 270582939648 4194304 4964800 140735879318576 18446744073709551615 4668987 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=17617/tid=17641] ppid=17615 vsize=2113436 CPUtime=10.1 cores=0-31
/proc/17617/task/17641/stat : 17641 (claspmt) R 17615 17617 17533 0 -1 4202560 7363 0 0 0 951 59 0 0 25 0 32 0 13498652 2164158464 187024 270582939648 4194304 4964800 140735879318576 18446744073709551615 4684760 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=17617/tid=17642] ppid=17615 vsize=2113436 CPUtime=9.96 cores=0-31
/proc/17617/task/17642/stat : 17642 (claspmt) R 17615 17617 17533 0 -1 4202560 5655 0 0 0 945 51 0 0 25 0 32 0 13498652 2164158464 187024 270582939648 4194304 4964800 140735879318576 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=17617/tid=17643] ppid=17615 vsize=2113436 CPUtime=10.01 cores=0-31
/proc/17617/task/17643/stat : 17643 (claspmt) R 17615 17617 17533 0 -1 4202560 5909 0 0 0 946 55 0 0 25 0 32 0 13498653 2164158464 187024 270582939648 4194304 4964800 140735879318576 18446744073709551615 4670330 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=17617/tid=17644] ppid=17615 vsize=2113436 CPUtime=10.06 cores=0-31
/proc/17617/task/17644/stat : 17644 (claspmt) R 17615 17617 17533 0 -1 4202560 7082 0 0 0 948 58 0 0 25 0 32 0 13498653 2164158464 187024 270582939648 4194304 4964800 140735879318576 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=17617/tid=17645] ppid=17615 vsize=2113436 CPUtime=10.03 cores=0-31
/proc/17617/task/17645/stat : 17645 (claspmt) R 17615 17617 17533 0 -1 4202560 7257 0 0 0 950 53 0 0 25 0 32 0 13498653 2164158464 187024 270582939648 4194304 4964800 140735879318576 18446744073709551615 4669011 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=17617/tid=17646] ppid=17615 vsize=2113436 CPUtime=9.89 cores=0-31
/proc/17617/task/17646/stat : 17646 (claspmt) R 17615 17617 17533 0 -1 4202560 5202 0 0 0 945 44 0 0 25 0 32 0 13498653 2164158464 187024 270582939648 4194304 4964800 140735879318576 18446744073709551615 4670118 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=17617/tid=17647] ppid=17615 vsize=2113436 CPUtime=127.34 cores=0-31
/proc/17617/task/17647/stat : 17647 (claspmt) R 17615 17617 17533 0 -1 4202560 7637 0 0 0 12676 58 0 0 25 0 32 0 13498653 2164158464 187024 270582939648 4194304 4964800 140735879318576 18446744073709551615 4678036 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=17617/tid=17648] ppid=17615 vsize=2113436 CPUtime=9.99 cores=0-31
/proc/17617/task/17648/stat : 17648 (claspmt) R 17615 17617 17533 0 -1 4202560 7251 0 0 0 946 53 0 0 25 0 32 0 13498653 2164158464 187024 270582939648 4194304 4964800 140735879318576 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=17617/tid=17649] ppid=17615 vsize=2113436 CPUtime=10.08 cores=0-31
/proc/17617/task/17649/stat : 17649 (claspmt) R 17615 17617 17533 0 -1 4202560 7394 0 0 0 950 58 0 0 19 0 32 0 13498653 2164158464 187024 270582939648 4194304 4964800 140735879318576 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 793.36
Current children cumulated vsize (KiB) 2113436

[startup+132.8 s]
/proc/loadavg: 9.96 12.57 9.98 33/445 17653
/proc/meminfo: memFree=262434040/264257624 swapFree=67111528/67111528
[pid=17617] ppid=17615 vsize=2002736 CPUtime=801.16 cores=0-31
/proc/17617/stat : 17617 (claspmt) R 17615 17617 17533 0 -1 4202496 236749 0 0 0 78418 1698 0 0 18 0 1 0 13498473 2050801664 180164 270582939648 4194304 4964800 140735879318576 18446744073709551615 4646717 0 0 4096 18946 0 0 0 17 8 0 0 0
/proc/17617/statm: 500684 180164 472 189 0 495033 0
Current children cumulated CPU time (s) 801.16
Current children cumulated vsize (KiB) 2002736

[startup+133 s]
/proc/loadavg: 9.96 12.57 9.98 33/445 17653
/proc/meminfo: memFree=262434040/264257624 swapFree=67111528/67111528
[pid=17617] ppid=17615 vsize=0 CPUtime=801.36 cores=0-31
/proc/17617/stat : 17617 (claspmt) R 17615 17617 17533 0 -1 4202500 236750 0 0 0 78434 1702 0 0 18 0 1 0 13498473 0 0 270582939648 0 0 0 0 0 0 0 4096 18946 18446744073709551615 0 0 17 8 0 0 0
/proc/17617/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 801.36
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 133.007
CPU time (s): 801.381
CPU user time (s): 784.349
CPU system time (s): 17.0324
CPU usage (%): 602.513
Max. virtual memory (cumulated for all children) (KiB): 2113436

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 784.349
system time used= 17.0324
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 236750
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= 141039
involuntary context switches= 1860

runsolver used 0.856869 second user time and 2.6546 second system time

The end

Launcher Data 

Begin job on node200 at 2011-06-07 23:11:56
IDJOB=3472327
IDBENCH=71019
IDSOLVER=1961
FILE ID=node200/3472327-1307481115
RUNJOBID= node200-1307481084-17547
PBS_JOBID= 13509196
Free space on /tmp= 61728 MiB

SOLVER NAME= claspmt 2.0-R4095-patched (fixed)
BENCH NAME= SAT09/APPLICATIONS/diagnosis/UCG-15-5p0.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-3472327-1307481115/watcher-3472327-1307481115 -o /tmp/evaluation-result-3472327-1307481115/solver-3472327-1307481115 -C 160000 -W 5100 -M 256000  HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472327-1307481115.cnf

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

MD5SUM BENCH= 4385f03fe3bdaf0f127ae989ddd7908d
RANDOM SEED=1226974773

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:      263175544 kB
Buffers:        144800 kB
Cached:         676400 kB
SwapCached:          0 kB
Active:         193232 kB
Inactive:       691632 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      263175544 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           16328 kB
Writeback:           0 kB
AnonPages:       65128 kB
Mapped:          14216 kB
Slab:           120224 kB
PageTables:       5464 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   166268 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= 61728 MiB
End job on node200 at 2011-06-07 23:14:09