Trace number 3472444

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 2932.51 98.4583

General information on the benchmark

Nameapplication/manthey/traffic/
traffic_3b_unknown.cnf
MD5SUMb8621ec1841e055a001ab32c33f2b68c
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark2932.51
Satisfiable
(Un)Satisfiability was proved
Number of variables39151
Number of clauses533919
Sum of the clauses size1968248
Maximum clause length4
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 251568
Number of clauses of size 364292
Number of clauses of size 4418059
Number of clauses of size 50
Number of clauses of size over 50

Solver Data

0.00/0.00	c clasp version 2.0.0-RC2
0.00/0.00	c Reading from ...647485/instance-3472444-1307647485.cnf
1.59/1.61	c Solving...
2932.44/98.42	s UNSATISFIABLE
2932.44/98.42	
2932.44/98.42	c Models        : 0     
2932.44/98.42	c Time          : 97.131s (Solving: 95.52s 1st Model: 0.00s Unsat: 95.52s)
2932.44/98.42	c CPU Time      : 2931.180s

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-3472444-1307647485/watcher-3472444-1307647485 -o /tmp/evaluation-result-3472444-1307647485/solver-3472444-1307647485 -C 160000 -W 5100 -M 256000 HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472444-1307647485.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: 29.47 25.53 27.22 1/412 31711
/proc/meminfo: memFree=262217304/264257624 swapFree=67111528/67111528
[pid=31711] ppid=31709 vsize=31040 CPUtime=0.02 cores=0-31
/proc/31711/stat : 31711 (claspmt) R 31709 31711 31610 0 -1 4202496 3463 0 0 0 2 0 0 0 22 0 1 0 30135514 31784960 2916 270582939648 4194304 4964800 140736540331504 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 16 0 0 0
/proc/31711/statm: 7760 2917 383 189 0 2634 0

[startup+0.108046 s]
/proc/loadavg: 29.47 25.53 27.22 1/412 31711
/proc/meminfo: memFree=262217304/264257624 swapFree=67111528/67111528
[pid=31711] ppid=31709 vsize=41568 CPUtime=0.1 cores=0-31
/proc/31711/stat : 31711 (claspmt) R 31709 31711 31610 0 -1 4202496 6950 0 0 0 9 1 0 0 22 0 1 0 30135514 42565632 5424 270582939648 4194304 4964800 140736540331504 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 16 0 0 0
/proc/31711/statm: 10392 5426 383 189 0 5266 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 41568

[startup+0.201045 s]
/proc/loadavg: 29.47 25.53 27.22 1/412 31711
/proc/meminfo: memFree=262217304/264257624 swapFree=67111528/67111528
[pid=31711] ppid=31709 vsize=58816 CPUtime=0.19 cores=0-31
/proc/31711/stat : 31711 (claspmt) R 31709 31711 31610 0 -1 4202496 11464 0 0 0 17 2 0 0 22 0 1 0 30135514 60227584 9331 270582939648 4194304 4964800 140736540331504 18446744073709551615 258650653381 0 0 4096 18946 0 0 0 17 16 0 0 0
/proc/31711/statm: 14704 9345 383 189 0 9578 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 58816

[startup+0.301052 s]
/proc/loadavg: 29.47 25.53 27.22 1/412 31711
/proc/meminfo: memFree=262217304/264257624 swapFree=67111528/67111528
[pid=31711] ppid=31709 vsize=72448 CPUtime=0.28 cores=0-31
/proc/31711/stat : 31711 (claspmt) R 31709 31711 31610 0 -1 4202496 16197 0 0 0 25 3 0 0 23 0 1 0 30135514 74186752 12770 270582939648 4194304 4964800 140736540331504 18446744073709551615 258650653289 0 0 4096 18946 0 0 0 17 16 0 0 0
/proc/31711/statm: 18112 12784 394 189 0 12986 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 72448

[startup+0.70107 s]
/proc/loadavg: 29.47 25.53 27.22 1/412 31711
/proc/meminfo: memFree=262217304/264257624 swapFree=67111528/67111528
[pid=31711] ppid=31709 vsize=77484 CPUtime=0.69 cores=0-31
/proc/31711/stat : 31711 (claspmt) R 31709 31711 31610 0 -1 4202496 17491 0 0 0 65 4 0 0 25 0 1 0 30135514 79343616 14064 270582939648 4194304 4964800 140736540331504 18446744073709551615 4607590 0 0 4096 18946 0 0 0 17 16 0 0 0
/proc/31711/statm: 19371 14064 396 189 0 14245 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 77484

[startup+1.50109 s]
/proc/loadavg: 27.19 25.12 27.08 2/413 31712
/proc/meminfo: memFree=262161968/264257624 swapFree=67111528/67111528
[pid=31711] ppid=31709 vsize=79152 CPUtime=1.49 cores=0-31
/proc/31711/stat : 31711 (claspmt) R 31709 31711 31610 0 -1 4202496 17846 0 0 0 145 4 0 0 25 0 1 0 30135514 81051648 14419 270582939648 4194304 4964800 140736540331504 18446744073709551615 4685934 0 0 4096 18946 0 0 0 17 16 0 0 0
/proc/31711/statm: 19788 14419 399 189 0 14662 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 79152

[startup+3.10308 s]
/proc/loadavg: 27.19 25.12 27.08 8/444 31743
/proc/meminfo: memFree=261979444/264257624 swapFree=67111528/67111528
[pid=31711] ppid=31709 vsize=1931580 CPUtime=8.91 cores=0-31
/proc/31711/stat : 31711 (claspmt) S 31709 31711 31610 0 -1 4202496 129308 0 0 0 386 505 0 0 18 0 32 0 30135514 1977937920 116492 270582939648 4194304 4964800 140736540331504 18446744073709551615 258662772457 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/31711/statm: 482895 116496 430 189 0 477244 0
[pid=31711/tid=31713] ppid=31709 vsize=1931580 CPUtime=0.18 cores=0-31
/proc/31711/task/31713/stat : 31713 (claspmt) S 31709 31711 31610 0 -1 4202560 3140 0 0 0 6 12 0 0 15 0 32 0 30135675 1977937920 116498 270582939648 4194304 4964800 140736540331504 18446744073709551615 258651060958 0 0 4096 18946 18446604500898373088 0 0 -1 4 0 0 0
[pid=31711/tid=31714] ppid=31709 vsize=1931580 CPUtime=0.24 cores=0-31
/proc/31711/task/31714/stat : 31714 (claspmt) D 31709 31711 31610 0 -1 4202560 3682 0 0 0 7 17 0 0 16 0 32 0 30135675 1977937920 116504 270582939648 4194304 4964800 140736540331504 18446744073709551615 4685574 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=31711/tid=31715] ppid=31709 vsize=1931580 CPUtime=0.22 cores=0-31
/proc/31711/task/31715/stat : 31715 (claspmt) D 31709 31711 31610 0 -1 4202560 3670 0 0 0 6 16 0 0 16 0 32 0 30135675 1977937920 116507 270582939648 4194304 4964800 140736540331504 18446744073709551615 4685574 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=31711/tid=31716] ppid=31709 vsize=1931580 CPUtime=0.21 cores=0-31
/proc/31711/task/31716/stat : 31716 (claspmt) S 31709 31711 31610 0 -1 4202560 3532 0 0 0 10 11 0 0 15 0 32 0 30135675 1977937920 116514 270582939648 4194304 4964800 140736540331504 18446744073709551615 258651060958 0 0 4096 18946 18446744071566925904 0 0 -1 9 0 0 0
[pid=31711/tid=31717] ppid=31709 vsize=1931580 CPUtime=0.21 cores=0-31
/proc/31711/task/31717/stat : 31717 (claspmt) S 31709 31711 31610 0 -1 4202560 3202 0 0 0 8 13 0 0 16 0 32 0 30135675 1977937920 116515 270582939648 4194304 4964800 140736540331504 18446744073709551615 258651060958 0 0 4096 18946 18446744071566932304 0 0 -1 28 0 0 0
[pid=31711/tid=31718] ppid=31709 vsize=1931580 CPUtime=0.2 cores=0-31
/proc/31711/task/31718/stat : 31718 (claspmt) D 31709 31711 31610 0 -1 4202560 3137 0 0 0 8 12 0 0 16 0 32 0 30135675 1977937920 116519 270582939648 4194304 4964800 140736540331504 18446744073709551615 4685574 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=31711/tid=31719] ppid=31709 vsize=1931580 CPUtime=0.24 cores=0-31
/proc/31711/task/31719/stat : 31719 (claspmt) D 31709 31711 31610 0 -1 4202560 3602 0 0 0 7 17 0 0 15 0 32 0 30135675 1977937920 116523 270582939648 4194304 4964800 140736540331504 18446744073709551615 4697753 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=31711/tid=31720] ppid=31709 vsize=1931580 CPUtime=0.22 cores=0-31
/proc/31711/task/31720/stat : 31720 (claspmt) R 31709 31711 31610 0 -1 4202560 3508 0 0 0 8 14 0 0 16 0 32 0 30135675 1977937920 116529 270582939648 4194304 4964800 140736540331504 18446744073709551615 258650616986 0 0 4096 18946 9199616 0 0 -1 26 0 0 0
[pid=31711/tid=31721] ppid=31709 vsize=1931580 CPUtime=0.23 cores=0-31
/proc/31711/task/31721/stat : 31721 (claspmt) R 31709 31711 31610 0 -1 4202560 3620 0 0 0 7 16 0 0 15 0 32 0 30135675 1977937920 116533 270582939648 4194304 4964800 140736540331504 18446744073709551615 258651060958 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=31711/tid=31722] ppid=31709 vsize=1931580 CPUtime=0.22 cores=0-31
/proc/31711/task/31722/stat : 31722 (claspmt) S 31709 31711 31610 0 -1 4202560 3529 0 0 0 7 15 0 0 15 0 32 0 30135675 1977937920 116534 270582939648 4194304 4964800 140736540331504 18446744073709551615 258651060958 0 0 4096 18946 18446604488429034976 0 0 -1 24 0 0 0
[pid=31711/tid=31723] ppid=31709 vsize=1931580 CPUtime=0.22 cores=0-31
/proc/31711/task/31723/stat : 31723 (claspmt) S 31709 31711 31610 0 -1 4202560 3574 0 0 0 7 15 0 0 15 0 32 0 30135675 1977937920 116544 270582939648 4194304 4964800 140736540331504 18446744073709551615 258651060958 0 0 4096 18946 18446744071566932544 0 0 -1 25 0 0 0
[pid=31711/tid=31724] ppid=31709 vsize=1931580 CPUtime=0.25 cores=0-31
/proc/31711/task/31724/stat : 31724 (claspmt) D 31709 31711 31610 0 -1 4202560 3485 0 0 0 7 18 0 0 16 0 32 0 30135675 1977937920 116550 270582939648 4194304 4964800 140736540331504 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=31711/tid=31725] ppid=31709 vsize=1931580 CPUtime=0.23 cores=0-31
/proc/31711/task/31725/stat : 31725 (claspmt) D 31709 31711 31610 0 -1 4202560 3566 0 0 0 7 16 0 0 15 0 32 0 30135675 1977937920 116550 270582939648 4194304 4964800 140736540331504 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=31711/tid=31726] ppid=31709 vsize=1931580 CPUtime=0.24 cores=0-31
/proc/31711/task/31726/stat : 31726 (claspmt) S 31709 31711 31610 0 -1 4202560 3672 0 0 0 6 18 0 0 15 0 32 0 30135675 1977937920 116554 270582939648 4194304 4964800 140736540331504 18446744073709551615 258651060958 0 0 4096 18946 18446744071566925344 0 0 -1 17 0 0 0
[pid=31711/tid=31727] ppid=31709 vsize=1931580 CPUtime=0.25 cores=0-31
/proc/31711/task/31727/stat : 31727 (claspmt) D 31709 31711 31610 0 -1 4202560 3767 0 0 0 6 19 0 0 16 0 32 0 30135675 1977937920 116556 270582939648 4194304 4964800 140736540331504 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=31711/tid=31728] ppid=31709 vsize=1931580 CPUtime=0.23 cores=0-31
/proc/31711/task/31728/stat : 31728 (claspmt) S 31709 31711 31610 0 -1 4202560 3441 0 0 0 7 16 0 0 16 0 32 0 30135675 1977937920 116558 270582939648 4194304 4964800 140736540331504 18446744073709551615 258651060958 0 0 4096 18946 18446744071566933904 0 0 -1 16 0 0 0
[pid=31711/tid=31729] ppid=31709 vsize=1931580 CPUtime=0.2 cores=0-31
/proc/31711/task/31729/stat : 31729 (claspmt) R 31709 31711 31610 0 -1 4202560 3468 0 0 0 5 15 0 0 16 0 32 0 30135675 1977937920 116568 270582939648 4194304 4964800 140736540331504 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=31711/tid=31730] ppid=31709 vsize=1931580 CPUtime=0.24 cores=0-31
/proc/31711/task/31730/stat : 31730 (claspmt) R 31709 31711 31610 0 -1 4202560 3702 0 0 0 7 17 0 0 15 0 32 0 30135675 1977937920 116574 270582939648 4194304 4964800 140736540331504 18446744073709551615 258651061007 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=31711/tid=31731] ppid=31709 vsize=1931580 CPUtime=0.24 cores=0-31
/proc/31711/task/31731/stat : 31731 (claspmt) D 31709 31711 31610 0 -1 4202560 3657 0 0 0 7 17 0 0 15 0 32 0 30135676 1977937920 116578 270582939648 4194304 4964800 140736540331504 18446744073709551615 4697753 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=31711/tid=31732] ppid=31709 vsize=1931580 CPUtime=0.19 cores=0-31
/proc/31711/task/31732/stat : 31732 (claspmt) S 31709 31711 31610 0 -1 4202560 3582 0 0 0 6 13 0 0 15 0 32 0 30135676 1977937920 116581 270582939648 4194304 4964800 140736540331504 18446744073709551615 258651060958 0 0 4096 18946 18446744071566933904 0 0 -1 12 0 0 0
[pid=31711/tid=31733] ppid=31709 vsize=1931580 CPUtime=0.24 cores=0-31
/proc/31711/task/31733/stat : 31733 (claspmt) D 31709 31711 31610 0 -1 4202560 3591 0 0 0 7 17 0 0 16 0 32 0 30135676 1977937920 116587 270582939648 4194304 4964800 140736540331504 18446744073709551615 4685574 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=31711/tid=31734] ppid=31709 vsize=1931580 CPUtime=0.25 cores=0-31
/proc/31711/task/31734/stat : 31734 (claspmt) D 31709 31711 31610 0 -1 4202560 3629 0 0 0 8 17 0 0 16 0 32 0 30135676 1977937920 116589 270582939648 4194304 4964800 140736540331504 18446744073709551615 4685574 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=31711/tid=31735] ppid=31709 vsize=1931580 CPUtime=0.22 cores=0-31
/proc/31711/task/31735/stat : 31735 (claspmt) S 31709 31711 31610 0 -1 4202560 3596 0 0 0 7 15 0 0 15 0 32 0 30135676 1977937920 116589 270582939648 4194304 4964800 140736540331504 18446744073709551615 258651060958 0 0 4096 18946 18446744071566929544 0 0 -1 4 0 0 0
[pid=31711/tid=31736] ppid=31709 vsize=1931580 CPUtime=0.24 cores=0-31
/proc/31711/task/31736/stat : 31736 (claspmt) D 31709 31711 31610 0 -1 4202560 3590 0 0 0 6 18 0 0 16 0 32 0 30135676 1977937920 116597 270582939648 4194304 4964800 140736540331504 18446744073709551615 4685574 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=31711/tid=31737] ppid=31709 vsize=1931580 CPUtime=0.23 cores=0-31
/proc/31711/task/31737/stat : 31737 (claspmt) S 31709 31711 31610 0 -1 4202560 3488 0 0 0 6 17 0 0 15 0 32 0 30135676 1977937920 116598 270582939648 4194304 4964800 140736540331504 18446744073709551615 258651060958 0 0 4096 18946 18446744071566924304 0 0 -1 19 0 0 0
[pid=31711/tid=31738] ppid=31709 vsize=1931580 CPUtime=0.2 cores=0-31
/proc/31711/task/31738/stat : 31738 (claspmt) R 31709 31711 31610 0 -1 4202560 3573 0 0 0 5 15 0 0 16 0 32 0 30135676 1977937920 116601 270582939648 4194304 4964800 140736540331504 18446744073709551615 4319250 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=31711/tid=31739] ppid=31709 vsize=1931580 CPUtime=0.21 cores=0-31
/proc/31711/task/31739/stat : 31739 (claspmt) S 31709 31711 31610 0 -1 4202560 3466 0 0 0 7 14 0 0 16 0 32 0 30135676 1977937920 116603 270582939648 4194304 4964800 140736540331504 18446744073709551615 258651060958 0 0 4096 18946 18446744071566933784 0 0 -1 5 0 0 0
[pid=31711/tid=31740] ppid=31709 vsize=1931580 CPUtime=0.21 cores=0-31
/proc/31711/task/31740/stat : 31740 (claspmt) D 31709 31711 31610 0 -1 4202560 3484 0 0 0 5 16 0 0 15 0 32 0 30135676 1977937920 116603 270582939648 4194304 4964800 140736540331504 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=31711/tid=31741] ppid=31709 vsize=1931580 CPUtime=0.23 cores=0-31
/proc/31711/task/31741/stat : 31741 (claspmt) S 31709 31711 31610 0 -1 4202560 3542 0 0 0 8 15 0 0 15 0 32 0 30135676 1977937920 116606 270582939648 4194304 4964800 140736540331504 18446744073709551615 258651060958 0 0 4096 18946 18446604500917517792 0 0 -1 3 0 0 0
[pid=31711/tid=31742] ppid=31709 vsize=1931580 CPUtime=0.25 cores=0-31
/proc/31711/task/31742/stat : 31742 (claspmt) R 31709 31711 31610 0 -1 4202560 3604 0 0 0 8 17 0 0 15 0 32 0 30135676 1977937920 116606 270582939648 4194304 4964800 140736540331504 18446744073709551615 4319250 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=31711/tid=31743] ppid=31709 vsize=1931580 CPUtime=0.25 cores=0-31
/proc/31711/task/31743/stat : 31743 (claspmt) D 31709 31711 31610 0 -1 4202560 3574 0 0 0 7 18 0 0 16 0 32 0 30135676 1977937920 116612 270582939648 4194304 4964800 140736540331504 18446744073709551615 4685574 0 0 4096 18946 0 0 0 -1 29 0 0 0
Current children cumulated CPU time (s) 8.91
Current children cumulated vsize (KiB) 1931580

[startup+6.30213 s]
/proc/loadavg: 25.33 24.77 26.95 5/444 31743
/proc/meminfo: memFree=261289276/264257624 swapFree=67111528/67111528
[pid=31711] ppid=31709 vsize=1948588 CPUtime=31.45 cores=0-31
/proc/31711/stat : 31711 (claspmt) R 31709 31711 31610 0 -1 4202496 257229 0 0 0 1990 1155 0 0 17 0 32 0 30135514 1995354112 244401 270582939648 4194304 4964800 140736540331504 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 17 0 0 0
/proc/31711/statm: 487147 244405 455 189 0 481496 0
[pid=31711/tid=31713] ppid=31709 vsize=1948588 CPUtime=0.64 cores=0-31
/proc/31711/task/31713/stat : 31713 (claspmt) R 31709 31711 31610 0 -1 4202560 6656 0 0 0 35 29 0 0 16 0 32 0 30135675 1995354112 244405 270582939648 4194304 4964800 140736540331504 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=31711/tid=31714] ppid=31709 vsize=1948588 CPUtime=0.76 cores=0-31
/proc/31711/task/31714/stat : 31714 (claspmt) R 31709 31711 31610 0 -1 4202560 7989 0 0 0 38 38 0 0 16 0 32 0 30135675 1995354112 244406 270582939648 4194304 4964800 140736540331504 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=31711/tid=31715] ppid=31709 vsize=1948588 CPUtime=0.73 cores=0-31
/proc/31711/task/31715/stat : 31715 (claspmt) R 31709 31711 31610 0 -1 4202560 7952 0 0 0 34 39 0 0 16 0 32 0 30135675 1995354112 244408 270582939648 4194304 4964800 140736540331504 18446744073709551615 4684796 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=31711/tid=31716] ppid=31709 vsize=1948588 CPUtime=0.57 cores=0-31
/proc/31711/task/31716/stat : 31716 (claspmt) R 31709 31711 31610 0 -1 4202560 5954 0 0 0 34 23 0 0 15 0 32 0 30135675 1995354112 244409 270582939648 4194304 4964800 140736540331504 18446744073709551615 4313663 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=31711/tid=31717] ppid=31709 vsize=1948588 CPUtime=2.34 cores=0-31
/proc/31711/task/31717/stat : 31717 (claspmt) R 31709 31711 31610 0 -1 4202560 7648 0 0 0 203 31 0 0 17 0 32 0 30135675 1995354112 244410 270582939648 4194304 4964800 140736540331504 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=31711/tid=31718] ppid=31709 vsize=1948588 CPUtime=0.63 cores=0-31
/proc/31711/task/31718/stat : 31718 (claspmt) R 31709 31711 31610 0 -1 4202560 6705 0 0 0 33 30 0 0 16 0 32 0 30135675 1995354112 244410 270582939648 4194304 4964800 140736540331504 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=31711/tid=31719] ppid=31709 vsize=1948588 CPUtime=0.73 cores=0-31
/proc/31711/task/31719/stat : 31719 (claspmt) R 31709 31711 31610 0 -1 4202560 7524 0 0 0 37 36 0 0 16 0 32 0 30135675 1995354112 244410 270582939648 4194304 4964800 140736540331504 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=31711/tid=31720] ppid=31709 vsize=1948588 CPUtime=0.74 cores=0-31
/proc/31711/task/31720/stat : 31720 (claspmt) R 31709 31711 31610 0 -1 4202560 7412 0 0 0 40 34 0 0 16 0 32 0 30135675 1995354112 244412 270582939648 4194304 4964800 140736540331504 18446744073709551615 4370281 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=31711/tid=31721] ppid=31709 vsize=1948588 CPUtime=0.73 cores=0-31
/proc/31711/task/31721/stat : 31721 (claspmt) R 31709 31711 31610 0 -1 4202560 7396 0 0 0 38 35 0 0 16 0 32 0 30135675 1995354112 244412 270582939648 4194304 4964800 140736540331504 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=31711/tid=31722] ppid=31709 vsize=1948588 CPUtime=0.71 cores=0-31
/proc/31711/task/31722/stat : 31722 (claspmt) R 31709 31711 31610 0 -1 4202560 7821 0 0 0 35 36 0 0 16 0 32 0 30135675 1995354112 244415 270582939648 4194304 4964800 140736540331504 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=31711/tid=31723] ppid=31709 vsize=1948588 CPUtime=0.71 cores=0-31
/proc/31711/task/31723/stat : 31723 (claspmt) D 31709 31711 31610 0 -1 4202560 7751 0 0 0 35 36 0 0 16 0 32 0 30135675 1995354112 244415 270582939648 4194304 4964800 140736540331504 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=31711/tid=31724] ppid=31709 vsize=1948588 CPUtime=0.84 cores=0-31
/proc/31711/task/31724/stat : 31724 (claspmt) R 31709 31711 31610 0 -1 4202560 7265 0 0 0 43 41 0 0 16 0 32 0 30135675 1995354112 244416 270582939648 4194304 4964800 140736540331504 18446744073709551615 4669131 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=31711/tid=31725] ppid=31709 vsize=1948588 CPUtime=2.37 cores=0-31
/proc/31711/task/31725/stat : 31725 (claspmt) R 31709 31711 31610 0 -1 4202560 8520 0 0 0 199 38 0 0 17 0 32 0 30135675 1995354112 244416 270582939648 4194304 4964800 140736540331504 18446744073709551615 4668712 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=31711/tid=31726] ppid=31709 vsize=1948588 CPUtime=0.75 cores=0-31
/proc/31711/task/31726/stat : 31726 (claspmt) R 31709 31711 31610 0 -1 4202560 7959 0 0 0 36 39 0 0 16 0 32 0 30135675 1995354112 244417 270582939648 4194304 4964800 140736540331504 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=31711/tid=31727] ppid=31709 vsize=1948588 CPUtime=0.79 cores=0-31
/proc/31711/task/31727/stat : 31727 (claspmt) D 31709 31711 31610 0 -1 4202560 7658 0 0 0 36 43 0 0 16 0 32 0 30135675 1995354112 244417 270582939648 4194304 4964800 140736540331504 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=31711/tid=31728] ppid=31709 vsize=1948588 CPUtime=0.73 cores=0-31
/proc/31711/task/31728/stat : 31728 (claspmt) R 31709 31711 31610 0 -1 4202560 7318 0 0 0 38 35 0 0 16 0 32 0 30135675 1995354112 244418 270582939648 4194304 4964800 140736540331504 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=31711/tid=31729] ppid=31709 vsize=1948588 CPUtime=0.78 cores=0-31
/proc/31711/task/31729/stat : 31729 (claspmt) R 31709 31711 31610 0 -1 4202560 7383 0 0 0 40 38 0 0 16 0 32 0 30135675 1995354112 244418 270582939648 4194304 4964800 140736540331504 18446744073709551615 4370236 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=31711/tid=31730] ppid=31709 vsize=1948588 CPUtime=0.72 cores=0-31
/proc/31711/task/31730/stat : 31730 (claspmt) R 31709 31711 31610 0 -1 4202560 7949 0 0 0 34 38 0 0 16 0 32 0 30135675 1995354112 244420 270582939648 4194304 4964800 140736540331504 18446744073709551615 258650613549 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=31711/tid=31731] ppid=31709 vsize=1948588 CPUtime=0.77 cores=0-31
/proc/31711/task/31731/stat : 31731 (claspmt) R 31709 31711 31610 0 -1 4202560 7953 0 0 0 36 41 0 0 15 0 32 0 30135676 1995354112 244420 270582939648 4194304 4964800 140736540331504 18446744073709551615 4362938 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=31711/tid=31732] ppid=31709 vsize=1948588 CPUtime=0.72 cores=0-31
/proc/31711/task/31732/stat : 31732 (claspmt) R 31709 31711 31610 0 -1 4202560 7555 0 0 0 40 32 0 0 15 0 32 0 30135676 1995354112 244420 270582939648 4194304 4964800 140736540331504 18446744073709551615 4684732 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=31711/tid=31733] ppid=31709 vsize=1948588 CPUtime=2.34 cores=0-31
/proc/31711/task/31733/stat : 31733 (claspmt) R 31709 31711 31610 0 -1 4202560 8648 0 0 0 196 38 0 0 18 0 32 0 30135676 1995354112 244420 270582939648 4194304 4964800 140736540331504 18446744073709551615 4402867 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=31711/tid=31734] ppid=31709 vsize=1948588 CPUtime=0.76 cores=0-31
/proc/31711/task/31734/stat : 31734 (claspmt) S 31709 31711 31610 0 -1 4202560 7487 0 0 0 38 38 0 0 16 0 32 0 30135676 1995354112 244420 270582939648 4194304 4964800 140736540331504 18446744073709551615 258651060958 0 0 4096 18946 18446604562559147488 0 0 -1 21 0 0 0
[pid=31711/tid=31735] ppid=31709 vsize=1948588 CPUtime=0.73 cores=0-31
/proc/31711/task/31735/stat : 31735 (claspmt) S 31709 31711 31610 0 -1 4202560 7758 0 0 0 37 36 0 0 16 0 32 0 30135676 1995354112 244420 270582939648 4194304 4964800 140736540331504 18446744073709551615 258651060958 0 0 4096 18946 18446604561095163360 0 0 -1 15 0 0 0
[pid=31711/tid=31736] ppid=31709 vsize=1948588 CPUtime=0.79 cores=0-31
/proc/31711/task/31736/stat : 31736 (claspmt) R 31709 31711 31610 0 -1 4202560 7602 0 0 0 39 40 0 0 16 0 32 0 30135676 1995354112 244420 270582939648 4194304 4964800 140736540331504 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=31711/tid=31737] ppid=31709 vsize=1948588 CPUtime=0.78 cores=0-31
/proc/31711/task/31737/stat : 31737 (claspmt) R 31709 31711 31610 0 -1 4202560 7685 0 0 0 38 40 0 0 16 0 32 0 30135676 1995354112 244420 270582939648 4194304 4964800 140736540331504 18446744073709551615 4670295 0 0 4096 18946 0 0 0 -1 7 0 0 0

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

Current children cumulated vsize (KiB) 1955524

[startup+92.8022 s]
/proc/loadavg: 30.46 26.59 27.40 33/444 31745
/proc/meminfo: memFree=260829224/264257624 swapFree=67111528/67111528
[pid=31711] ppid=31709 vsize=1955524 CPUtime=2794.85 cores=0-31
/proc/31711/stat : 31711 (claspmt) R 31709 31711 31610 0 -1 4202496 360960 0 0 0 277994 1491 0 0 25 0 32 0 30135514 2002456576 348132 270582939648 4194304 4964800 140736540331504 18446744073709551615 4670299 0 0 4096 18946 18446744073709551615 0 0 17 23 0 0 0
/proc/31711/statm: 488881 348132 463 189 0 483230 0
[pid=31711/tid=31713] ppid=31709 vsize=1955524 CPUtime=87.08 cores=0-31
/proc/31711/task/31713/stat : 31713 (claspmt) R 31709 31711 31610 0 -1 4202560 8194 0 0 0 8675 33 0 0 25 0 32 0 30135675 2002456576 348132 270582939648 4194304 4964800 140736540331504 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=31711/tid=31714] ppid=31709 vsize=1955524 CPUtime=87.21 cores=0-31
/proc/31711/task/31714/stat : 31714 (claspmt) R 31709 31711 31610 0 -1 4202560 11334 0 0 0 8672 49 0 0 25 0 32 0 30135675 2002456576 348132 270582939648 4194304 4964800 140736540331504 18446744073709551615 4670392 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=31711/tid=31715] ppid=31709 vsize=1955524 CPUtime=87.15 cores=0-31
/proc/31711/task/31715/stat : 31715 (claspmt) R 31709 31711 31610 0 -1 4202560 11873 0 0 0 8665 50 0 0 25 0 32 0 30135675 2002456576 348132 270582939648 4194304 4964800 140736540331504 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=31711/tid=31716] ppid=31709 vsize=1955524 CPUtime=87.03 cores=0-31
/proc/31711/task/31716/stat : 31716 (claspmt) R 31709 31711 31610 0 -1 4202560 9272 0 0 0 8671 32 0 0 25 0 32 0 30135675 2002456576 348132 270582939648 4194304 4964800 140736540331504 18446744073709551615 4370352 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=31711/tid=31717] ppid=31709 vsize=1955524 CPUtime=88.82 cores=0-31
/proc/31711/task/31717/stat : 31717 (claspmt) R 31709 31711 31610 0 -1 4202560 10490 0 0 0 8842 40 0 0 25 0 32 0 30135675 2002456576 348132 270582939648 4194304 4964800 140736540331504 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=31711/tid=31718] ppid=31709 vsize=1955524 CPUtime=87.03 cores=0-31
/proc/31711/task/31718/stat : 31718 (claspmt) R 31709 31711 31610 0 -1 4202560 10133 0 0 0 8662 41 0 0 25 0 32 0 30135675 2002456576 348132 270582939648 4194304 4964800 140736540331504 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=31711/tid=31719] ppid=31709 vsize=1955524 CPUtime=87.16 cores=0-31
/proc/31711/task/31719/stat : 31719 (claspmt) R 31709 31711 31610 0 -1 4202560 12702 0 0 0 8662 54 0 0 25 0 32 0 30135675 2002456576 348132 270582939648 4194304 4964800 140736540331504 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=31711/tid=31720] ppid=31709 vsize=1955524 CPUtime=87.19 cores=0-31
/proc/31711/task/31720/stat : 31720 (claspmt) R 31709 31711 31610 0 -1 4202560 9111 0 0 0 8676 43 0 0 25 0 32 0 30135675 2002456576 348132 270582939648 4194304 4964800 140736540331504 18446744073709551615 4669557 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=31711/tid=31721] ppid=31709 vsize=1955524 CPUtime=87.17 cores=0-31
/proc/31711/task/31721/stat : 31721 (claspmt) R 31709 31711 31610 0 -1 4202560 9170 0 0 0 8674 43 0 0 25 0 32 0 30135675 2002456576 348132 270582939648 4194304 4964800 140736540331504 18446744073709551615 4313616 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=31711/tid=31722] ppid=31709 vsize=1955524 CPUtime=87.16 cores=0-31
/proc/31711/task/31722/stat : 31722 (claspmt) R 31709 31711 31610 0 -1 4202560 10978 0 0 0 8670 46 0 0 25 0 32 0 30135675 2002456576 348132 270582939648 4194304 4964800 140736540331504 18446744073709551615 4670403 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=31711/tid=31723] ppid=31709 vsize=1955524 CPUtime=87.13 cores=0-31
/proc/31711/task/31723/stat : 31723 (claspmt) R 31709 31711 31610 0 -1 4202560 11213 0 0 0 8666 47 0 0 25 0 32 0 30135675 2002456576 348132 270582939648 4194304 4964800 140736540331504 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=31711/tid=31724] ppid=31709 vsize=1955524 CPUtime=87.28 cores=0-31
/proc/31711/task/31724/stat : 31724 (claspmt) R 31709 31711 31610 0 -1 4202560 10624 0 0 0 8677 51 0 0 25 0 32 0 30135675 2002456576 348132 270582939648 4194304 4964800 140736540331504 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=31711/tid=31725] ppid=31709 vsize=1955524 CPUtime=88.85 cores=0-31
/proc/31711/task/31725/stat : 31725 (claspmt) R 31709 31711 31610 0 -1 4202560 11362 0 0 0 8840 45 0 0 25 0 32 0 30135675 2002456576 348132 270582939648 4194304 4964800 140736540331504 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=31711/tid=31726] ppid=31709 vsize=1955524 CPUtime=87.15 cores=0-31
/proc/31711/task/31726/stat : 31726 (claspmt) R 31709 31711 31610 0 -1 4202560 12312 0 0 0 8662 53 0 0 25 0 32 0 30135675 2002456576 348132 270582939648 4194304 4964800 140736540331504 18446744073709551615 4670264 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=31711/tid=31727] ppid=31709 vsize=1955524 CPUtime=87.14 cores=0-31
/proc/31711/task/31727/stat : 31727 (claspmt) R 31709 31711 31610 0 -1 4202560 12287 0 0 0 8652 62 0 0 25 0 32 0 30135675 2002456576 348132 270582939648 4194304 4964800 140736540331504 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=31711/tid=31728] ppid=31709 vsize=1955524 CPUtime=87.16 cores=0-31
/proc/31711/task/31728/stat : 31728 (claspmt) R 31709 31711 31610 0 -1 4202560 9033 0 0 0 8676 40 0 0 25 0 32 0 30135675 2002456576 348132 270582939648 4194304 4964800 140736540331504 18446744073709551615 4670392 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=31711/tid=31729] ppid=31709 vsize=1955524 CPUtime=87.23 cores=0-31
/proc/31711/task/31729/stat : 31729 (claspmt) R 31709 31711 31610 0 -1 4202560 8979 0 0 0 8680 43 0 0 25 0 32 0 30135675 2002456576 348132 270582939648 4194304 4964800 140736540331504 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=31711/tid=31730] ppid=31709 vsize=1955524 CPUtime=86.56 cores=0-31
/proc/31711/task/31730/stat : 31730 (claspmt) R 31709 31711 31610 0 -1 4202560 11893 0 0 0 8605 51 0 0 25 0 32 0 30135675 2002456576 348132 270582939648 4194304 4964800 140736540331504 18446744073709551615 4670499 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=31711/tid=31731] ppid=31709 vsize=1955524 CPUtime=87.21 cores=0-31
/proc/31711/task/31731/stat : 31731 (claspmt) R 31709 31711 31610 0 -1 4202560 11215 0 0 0 8671 50 0 0 25 0 32 0 30135676 2002456576 348132 270582939648 4194304 4964800 140736540331504 18446744073709551615 4668777 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=31711/tid=31732] ppid=31709 vsize=1955524 CPUtime=87.16 cores=0-31
/proc/31711/task/31732/stat : 31732 (claspmt) R 31709 31711 31610 0 -1 4202560 11542 0 0 0 8672 44 0 0 25 0 32 0 30135676 2002456576 348132 270582939648 4194304 4964800 140736540331504 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=31711/tid=31733] ppid=31709 vsize=1955524 CPUtime=88.81 cores=0-31
/proc/31711/task/31733/stat : 31733 (claspmt) R 31709 31711 31610 0 -1 4202560 11464 0 0 0 8834 47 0 0 25 0 32 0 30135676 2002456576 348132 270582939648 4194304 4964800 140736540331504 18446744073709551615 4370269 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=31711/tid=31734] ppid=31709 vsize=1955524 CPUtime=87.16 cores=0-31
/proc/31711/task/31734/stat : 31734 (claspmt) R 31709 31711 31610 0 -1 4202560 11407 0 0 0 8665 51 0 0 25 0 32 0 30135676 2002456576 348132 270582939648 4194304 4964800 140736540331504 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=31711/tid=31735] ppid=31709 vsize=1955524 CPUtime=87.15 cores=0-31
/proc/31711/task/31735/stat : 31735 (claspmt) R 31709 31711 31610 0 -1 4202560 12065 0 0 0 8662 53 0 0 25 0 32 0 30135676 2002456576 348132 270582939648 4194304 4964800 140736540331504 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=31711/tid=31736] ppid=31709 vsize=1955524 CPUtime=87.21 cores=0-31
/proc/31711/task/31736/stat : 31736 (claspmt) R 31709 31711 31610 0 -1 4202560 9773 0 0 0 8675 46 0 0 25 0 32 0 30135676 2002456576 348132 270582939648 4194304 4964800 140736540331504 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=31711/tid=31737] ppid=31709 vsize=1955524 CPUtime=87.21 cores=0-31
/proc/31711/task/31737/stat : 31737 (claspmt) R 31709 31711 31610 0 -1 4202560 9339 0 0 0 8675 46 0 0 25 0 32 0 30135676 2002456576 348132 270582939648 4194304 4964800 140736540331504 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=31711/tid=31738] ppid=31709 vsize=1955524 CPUtime=87.25 cores=0-31
/proc/31711/task/31738/stat : 31738 (claspmt) R 31709 31711 31610 0 -1 4202560 12151 0 0 0 8672 53 0 0 25 0 32 0 30135676 2002456576 348132 270582939648 4194304 4964800 140736540331504 18446744073709551615 4669493 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=31711/tid=31739] ppid=31709 vsize=1955524 CPUtime=87.18 cores=0-31
/proc/31711/task/31739/stat : 31739 (claspmt) R 31709 31711 31610 0 -1 4202560 11180 0 0 0 8674 44 0 0 25 0 32 0 30135676 2002456576 348132 270582939648 4194304 4964800 140736540331504 18446744073709551615 4670273 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=31711/tid=31740] ppid=31709 vsize=1955524 CPUtime=87.22 cores=0-31
/proc/31711/task/31740/stat : 31740 (claspmt) R 31709 31711 31610 0 -1 4202560 11139 0 0 0 8672 50 0 0 25 0 32 0 30135676 2002456576 348132 270582939648 4194304 4964800 140736540331504 18446744073709551615 4370264 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=31711/tid=31741] ppid=31709 vsize=1955524 CPUtime=88.82 cores=0-31
/proc/31711/task/31741/stat : 31741 (claspmt) R 31709 31711 31610 0 -1 4202560 12573 0 0 0 8833 49 0 0 25 0 32 0 30135676 2002456576 348132 270582939648 4194304 4964800 140736540331504 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=31711/tid=31742] ppid=31709 vsize=1955524 CPUtime=87.17 cores=0-31
/proc/31711/task/31742/stat : 31742 (claspmt) R 31709 31711 31610 0 -1 4202560 11734 0 0 0 8666 51 0 0 25 0 32 0 30135676 2002456576 348132 270582939648 4194304 4964800 140736540331504 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=31711/tid=31743] ppid=31709 vsize=1955524 CPUtime=87.22 cores=0-31
/proc/31711/task/31743/stat : 31743 (claspmt) R 31709 31711 31610 0 -1 4202560 12409 0 0 0 8666 56 0 0 25 0 32 0 30135676 2002456576 348132 270582939648 4194304 4964800 140736540331504 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2794.85
Current children cumulated vsize (KiB) 1955524

[startup+96.0023 s]
/proc/loadavg: 30.59 26.68 27.43 33/444 31745
/proc/meminfo: memFree=260828728/264257624 swapFree=67111528/67111528
[pid=31711] ppid=31709 vsize=1955524 CPUtime=2897.13 cores=0-31
/proc/31711/stat : 31711 (claspmt) R 31709 31711 31610 0 -1 4202496 361039 0 0 0 288220 1493 0 0 25 0 32 0 30135514 2002456576 348211 270582939648 4194304 4964800 140736540331504 18446744073709551615 4669376 0 0 4096 18946 18446744073709551615 0 0 17 23 0 0 0
/proc/31711/statm: 488881 348211 463 189 0 483230 0
[pid=31711/tid=31713] ppid=31709 vsize=1955524 CPUtime=90.28 cores=0-31
/proc/31711/task/31713/stat : 31713 (claspmt) R 31709 31711 31610 0 -1 4202560 8194 0 0 0 8995 33 0 0 25 0 32 0 30135675 2002456576 348211 270582939648 4194304 4964800 140736540331504 18446744073709551615 4370301 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=31711/tid=31714] ppid=31709 vsize=1955524 CPUtime=90.41 cores=0-31
/proc/31711/task/31714/stat : 31714 (claspmt) R 31709 31711 31610 0 -1 4202560 11336 0 0 0 8992 49 0 0 25 0 32 0 30135675 2002456576 348211 270582939648 4194304 4964800 140736540331504 18446744073709551615 4670335 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=31711/tid=31715] ppid=31709 vsize=1955524 CPUtime=90.35 cores=0-31
/proc/31711/task/31715/stat : 31715 (claspmt) R 31709 31711 31610 0 -1 4202560 11873 0 0 0 8985 50 0 0 25 0 32 0 30135675 2002456576 348211 270582939648 4194304 4964800 140736540331504 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=31711/tid=31716] ppid=31709 vsize=1955524 CPUtime=90.23 cores=0-31
/proc/31711/task/31716/stat : 31716 (claspmt) R 31709 31711 31610 0 -1 4202560 9272 0 0 0 8991 32 0 0 25 0 32 0 30135675 2002456576 348211 270582939648 4194304 4964800 140736540331504 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=31711/tid=31717] ppid=31709 vsize=1955524 CPUtime=92.02 cores=0-31
/proc/31711/task/31717/stat : 31717 (claspmt) R 31709 31711 31610 0 -1 4202560 10490 0 0 0 9162 40 0 0 25 0 32 0 30135675 2002456576 348211 270582939648 4194304 4964800 140736540331504 18446744073709551615 4320981 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=31711/tid=31718] ppid=31709 vsize=1955524 CPUtime=90.23 cores=0-31
/proc/31711/task/31718/stat : 31718 (claspmt) R 31709 31711 31610 0 -1 4202560 10133 0 0 0 8982 41 0 0 25 0 32 0 30135675 2002456576 348211 270582939648 4194304 4964800 140736540331504 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=31711/tid=31719] ppid=31709 vsize=1955524 CPUtime=90.36 cores=0-31
/proc/31711/task/31719/stat : 31719 (claspmt) R 31709 31711 31610 0 -1 4202560 12702 0 0 0 8982 54 0 0 25 0 32 0 30135675 2002456576 348211 270582939648 4194304 4964800 140736540331504 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=31711/tid=31720] ppid=31709 vsize=1955524 CPUtime=90.39 cores=0-31
/proc/31711/task/31720/stat : 31720 (claspmt) R 31709 31711 31610 0 -1 4202560 9111 0 0 0 8996 43 0 0 25 0 32 0 30135675 2002456576 348211 270582939648 4194304 4964800 140736540331504 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=31711/tid=31721] ppid=31709 vsize=1955524 CPUtime=90.37 cores=0-31
/proc/31711/task/31721/stat : 31721 (claspmt) R 31709 31711 31610 0 -1 4202560 9170 0 0 0 8994 43 0 0 25 0 32 0 30135675 2002456576 348211 270582939648 4194304 4964800 140736540331504 18446744073709551615 4321010 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=31711/tid=31722] ppid=31709 vsize=1955524 CPUtime=90.36 cores=0-31
/proc/31711/task/31722/stat : 31722 (claspmt) R 31709 31711 31610 0 -1 4202560 10978 0 0 0 8990 46 0 0 25 0 32 0 30135675 2002456576 348211 270582939648 4194304 4964800 140736540331504 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=31711/tid=31723] ppid=31709 vsize=1955524 CPUtime=90.33 cores=0-31
/proc/31711/task/31723/stat : 31723 (claspmt) R 31709 31711 31610 0 -1 4202560 11213 0 0 0 8986 47 0 0 25 0 32 0 30135675 2002456576 348211 270582939648 4194304 4964800 140736540331504 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=31711/tid=31724] ppid=31709 vsize=1955524 CPUtime=90.48 cores=0-31
/proc/31711/task/31724/stat : 31724 (claspmt) R 31709 31711 31610 0 -1 4202560 10624 0 0 0 8997 51 0 0 25 0 32 0 30135675 2002456576 348211 270582939648 4194304 4964800 140736540331504 18446744073709551615 4670270 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=31711/tid=31725] ppid=31709 vsize=1955524 CPUtime=92.05 cores=0-31
/proc/31711/task/31725/stat : 31725 (claspmt) R 31709 31711 31610 0 -1 4202560 11362 0 0 0 9160 45 0 0 25 0 32 0 30135675 2002456576 348211 270582939648 4194304 4964800 140736540331504 18446744073709551615 4669333 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=31711/tid=31726] ppid=31709 vsize=1955524 CPUtime=90.35 cores=0-31
/proc/31711/task/31726/stat : 31726 (claspmt) R 31709 31711 31610 0 -1 4202560 12312 0 0 0 8982 53 0 0 25 0 32 0 30135675 2002456576 348211 270582939648 4194304 4964800 140736540331504 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=31711/tid=31727] ppid=31709 vsize=1955524 CPUtime=90.34 cores=0-31
/proc/31711/task/31727/stat : 31727 (claspmt) R 31709 31711 31610 0 -1 4202560 12287 0 0 0 8972 62 0 0 25 0 32 0 30135675 2002456576 348211 270582939648 4194304 4964800 140736540331504 18446744073709551615 258650653456 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=31711/tid=31728] ppid=31709 vsize=1955524 CPUtime=90.36 cores=0-31
/proc/31711/task/31728/stat : 31728 (claspmt) R 31709 31711 31610 0 -1 4202560 9033 0 0 0 8996 40 0 0 25 0 32 0 30135675 2002456576 348211 270582939648 4194304 4964800 140736540331504 18446744073709551615 4670427 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=31711/tid=31729] ppid=31709 vsize=1955524 CPUtime=90.44 cores=0-31
/proc/31711/task/31729/stat : 31729 (claspmt) R 31709 31711 31610 0 -1 4202560 8979 0 0 0 9000 44 0 0 25 0 32 0 30135675 2002456576 348211 270582939648 4194304 4964800 140736540331504 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=31711/tid=31730] ppid=31709 vsize=1955524 CPUtime=89.69 cores=0-31
/proc/31711/task/31730/stat : 31730 (claspmt) R 31709 31711 31610 0 -1 4202560 11893 0 0 0 8918 51 0 0 25 0 32 0 30135675 2002456576 348211 270582939648 4194304 4964800 140736540331504 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=31711/tid=31731] ppid=31709 vsize=1955524 CPUtime=90.41 cores=0-31
/proc/31711/task/31731/stat : 31731 (claspmt) R 31709 31711 31610 0 -1 4202560 11215 0 0 0 8991 50 0 0 25 0 32 0 30135676 2002456576 348211 270582939648 4194304 4964800 140736540331504 18446744073709551615 4644876 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=31711/tid=31732] ppid=31709 vsize=1955524 CPUtime=90.36 cores=0-31
/proc/31711/task/31732/stat : 31732 (claspmt) R 31709 31711 31610 0 -1 4202560 11542 0 0 0 8992 44 0 0 25 0 32 0 30135676 2002456576 348211 270582939648 4194304 4964800 140736540331504 18446744073709551615 4362375 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=31711/tid=31733] ppid=31709 vsize=1955524 CPUtime=92.01 cores=0-31
/proc/31711/task/31733/stat : 31733 (claspmt) R 31709 31711 31610 0 -1 4202560 11464 0 0 0 9154 47 0 0 25 0 32 0 30135676 2002456576 348211 270582939648 4194304 4964800 140736540331504 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=31711/tid=31734] ppid=31709 vsize=1955524 CPUtime=90.36 cores=0-31
/proc/31711/task/31734/stat : 31734 (claspmt) R 31709 31711 31610 0 -1 4202560 11407 0 0 0 8985 51 0 0 25 0 32 0 30135676 2002456576 348211 270582939648 4194304 4964800 140736540331504 18446744073709551615 4647774 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=31711/tid=31735] ppid=31709 vsize=1955524 CPUtime=90.32 cores=0-31
/proc/31711/task/31735/stat : 31735 (claspmt) R 31709 31711 31610 0 -1 4202560 12123 0 0 0 8979 53 0 0 18 0 32 0 30135676 2002456576 348211 270582939648 4194304 4964800 140736540331504 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=31711/tid=31736] ppid=31709 vsize=1955524 CPUtime=90.41 cores=0-31
/proc/31711/task/31736/stat : 31736 (claspmt) R 31709 31711 31610 0 -1 4202560 9773 0 0 0 8995 46 0 0 25 0 32 0 30135676 2002456576 348211 270582939648 4194304 4964800 140736540331504 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=31711/tid=31737] ppid=31709 vsize=1955524 CPUtime=90.41 cores=0-31
/proc/31711/task/31737/stat : 31737 (claspmt) R 31709 31711 31610 0 -1 4202560 9355 0 0 0 8995 46 0 0 25 0 32 0 30135676 2002456576 348211 270582939648 4194304 4964800 140736540331504 18446744073709551615 4684707 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=31711/tid=31738] ppid=31709 vsize=1955524 CPUtime=90.45 cores=0-31
/proc/31711/task/31738/stat : 31738 (claspmt) R 31709 31711 31610 0 -1 4202560 12154 0 0 0 8992 53 0 0 25 0 32 0 30135676 2002456576 348211 270582939648 4194304 4964800 140736540331504 18446744073709551615 4670407 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=31711/tid=31739] ppid=31709 vsize=1955524 CPUtime=90.39 cores=0-31
/proc/31711/task/31739/stat : 31739 (claspmt) R 31709 31711 31610 0 -1 4202560 11180 0 0 0 8994 45 0 0 25 0 32 0 30135676 2002456576 348211 270582939648 4194304 4964800 140736540331504 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=31711/tid=31740] ppid=31709 vsize=1955524 CPUtime=90.42 cores=0-31
/proc/31711/task/31740/stat : 31740 (claspmt) R 31709 31711 31610 0 -1 4202560 11139 0 0 0 8992 50 0 0 25 0 32 0 30135676 2002456576 348211 270582939648 4194304 4964800 140736540331504 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=31711/tid=31741] ppid=31709 vsize=1955524 CPUtime=92.02 cores=0-31
/proc/31711/task/31741/stat : 31741 (claspmt) R 31709 31711 31610 0 -1 4202560 12573 0 0 0 9153 49 0 0 25 0 32 0 30135676 2002456576 348211 270582939648 4194304 4964800 140736540331504 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=31711/tid=31742] ppid=31709 vsize=1955524 CPUtime=90.36 cores=0-31
/proc/31711/task/31742/stat : 31742 (claspmt) R 31709 31711 31610 0 -1 4202560 11734 0 0 0 8985 51 0 0 25 0 32 0 30135676 2002456576 348211 270582939648 4194304 4964800 140736540331504 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=31711/tid=31743] ppid=31709 vsize=1955524 CPUtime=90.42 cores=0-31
/proc/31711/task/31743/stat : 31743 (claspmt) R 31709 31711 31610 0 -1 4202560 12409 0 0 0 8986 56 0 0 25 0 32 0 30135676 2002456576 348211 270582939648 4194304 4964800 140736540331504 18446744073709551615 4684749 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2897.13
Current children cumulated vsize (KiB) 1955524

[startup+97.6005 s]
/proc/loadavg: 30.59 26.68 27.43 33/444 31745
/proc/meminfo: memFree=260828728/264257624 swapFree=67111528/67111528
[pid=31711] ppid=31709 vsize=1860428 CPUtime=2931.64 cores=0-31
/proc/31711/stat : 31711 (claspmt) R 31709 31711 31610 0 -1 4202496 361050 0 0 0 291656 1508 0 0 17 0 1 0 30135514 1905078272 346888 270582939648 4194304 4964800 140736540331504 18446744073709551615 4646559 0 0 4096 18946 0 0 0 17 27 0 0 0
/proc/31711/statm: 465107 346888 474 189 0 459456 0
Current children cumulated CPU time (s) 2931.64
Current children cumulated vsize (KiB) 1860428

[startup+98.0195 s]
/proc/loadavg: 30.59 26.68 27.43 2/413 31745
/proc/meminfo: memFree=260833648/264257624 swapFree=67111528/67111528
[pid=31711] ppid=31709 vsize=1860428 CPUtime=2932.06 cores=0-31
/proc/31711/stat : 31711 (claspmt) R 31709 31711 31610 0 -1 4202496 361050 0 0 0 291698 1508 0 0 18 0 1 0 30135514 1905078272 346520 270582939648 4194304 4964800 140736540331504 18446744073709551615 258650611643 0 0 4096 18946 0 0 0 17 27 0 0 0
/proc/31711/statm: 465107 346520 474 189 0 459456 0
Current children cumulated CPU time (s) 2932.06
Current children cumulated vsize (KiB) 1860428

[startup+98.4005 s]
/proc/loadavg: 30.59 26.68 27.43 2/413 31745
/proc/meminfo: memFree=260833648/264257624 swapFree=67111528/67111528
[pid=31711] ppid=31709 vsize=1828972 CPUtime=2932.44 cores=0-31
/proc/31711/stat : 31711 (claspmt) R 31709 31711 31610 0 -1 4202496 361050 0 0 0 291731 1513 0 0 18 0 1 0 30135514 1872867328 185533 270582939648 4194304 4964800 140736540331504 18446744073709551615 258650999383 0 0 4096 18946 0 0 0 17 27 0 0 0
/proc/31711/statm: 457243 185367 474 189 0 451592 0
Current children cumulated CPU time (s) 2932.44
Current children cumulated vsize (KiB) 1828972

Child status: 20
Real time (s): 98.4583
CPU time (s): 2932.51
CPU user time (s): 2917.31
CPU system time (s): 15.1967
CPU usage (%): 2978.43
Max. virtual memory (cumulated for all children) (KiB): 1955524

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2917.31
system time used= 15.1967
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 361051
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= 493839
involuntary context switches= 13359

runsolver used 0.561914 second user time and 2.30465 second system time

The end

Launcher Data

Begin job on node200 at 2011-06-09 21:24:46
IDJOB=3472444
IDBENCH=82502
IDSOLVER=1961
FILE ID=node200/3472444-1307647485
RUNJOBID= node200-1307647385-31624
PBS_JOBID= 13547801
Free space on /tmp= 61732 MiB

SOLVER NAME= claspmt 2.0-R4095-patched (fixed)
BENCH NAME= SAT11/application/manthey/traffic/traffic_3b_unknown.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-3472444-1307647485/watcher-3472444-1307647485 -o /tmp/evaluation-result-3472444-1307647485/solver-3472444-1307647485 -C 160000 -W 5100 -M 256000  HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472444-1307647485.cnf

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

MD5SUM BENCH= b8621ec1841e055a001ab32c33f2b68c
RANDOM SEED=2105754747

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:      262218344 kB
Buffers:        245032 kB
Cached:        1492604 kB
SwapCached:          0 kB
Active:         274060 kB
Inactive:      1526744 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      262218344 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           13704 kB
Writeback:           0 kB
AnonPages:       63440 kB
Mapped:          14528 kB
Slab:           163320 kB
PageTables:       4384 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   167524 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= 61732 MiB
End job on node200 at 2011-06-09 21:26:25