Trace number 3372126

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
Plingeling 587f (fixed)UNSAT 16630.1 523.681

General information on the benchmark

Nameindustrial/fuhs/hard/
AProVE07-03.cnf
MD5SUM8c67f78ca36ec96e662a91c74844da21
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark4935.91
Satisfiable
(Un)Satisfiability was proved
Number of variables3114
Number of clauses10827
Sum of the clauses size28341
Maximum clause length119
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 24934
Number of clauses of size 35378
Number of clauses of size 4408
Number of clauses of size 584
Number of clauses of size over 522

Solver Data 

16630.00/523.67	s UNSATISFIABLE

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: 961)

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-3372126-1305441495/watcher-3372126-1305441495 -o /tmp/evaluation-result-3372126-1305441495/solver-3372126-1305441495 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372126-1305441495.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): 272730423296 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 272730474496 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 29.60 31.62 31.92 1/413 9886
/proc/meminfo: memFree=255590576/264257624 swapFree=67111528/67111528
[pid=9886] ppid=9884 vsize=13268 CPUtime=0.03 cores=0-31
/proc/9886/stat : 9886 (plingeling) R 9884 9886 9860 0 -1 4202496 1374 1242 0 0 2 0 0 1 23 0 1 0 655635905 13586432 1305 268435456000 4194304 4417452 140734674869248 18446744073709551615 4262052 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/9886/statm: 3317 1305 145 55 0 1203 0

[startup+0.094159 s]
/proc/loadavg: 29.60 31.62 31.92 1/413 9886
/proc/meminfo: memFree=255590576/264257624 swapFree=67111528/67111528
[pid=9886] ppid=9884 vsize=19104 CPUtime=0.09 cores=0-31
/proc/9886/stat : 9886 (plingeling) R 9884 9886 9860 0 -1 4202496 2861 1242 0 0 7 1 0 1 23 0 1 0 655635905 19562496 2792 268435456000 4194304 4417452 140734674869248 18446744073709551615 4274514 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/9886/statm: 4776 2792 145 55 0 2662 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19104

[startup+0.101163 s]
/proc/loadavg: 29.60 31.62 31.92 1/413 9886
/proc/meminfo: memFree=255590576/264257624 swapFree=67111528/67111528
[pid=9886] ppid=9884 vsize=19104 CPUtime=0.1 cores=0-31
/proc/9886/stat : 9886 (plingeling) R 9884 9886 9860 0 -1 4202496 2861 1242 0 0 8 1 0 1 23 0 1 0 655635905 19562496 2792 268435456000 4194304 4417452 140734674869248 18446744073709551615 258650574461 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/9886/statm: 4776 2792 145 55 0 2662 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 19104

[startup+0.301027 s]
/proc/loadavg: 29.60 31.62 31.92 1/413 9886
/proc/meminfo: memFree=255590576/264257624 swapFree=67111528/67111528
[pid=9886] ppid=9884 vsize=748256 CPUtime=0.42 cores=0-31
/proc/9886/stat : 9886 (plingeling) S 9884 9886 9860 0 -1 4202496 6040 1242 0 0 38 3 0 1 18 0 33 0 655635905 766214144 5296 268435456000 4194304 4417452 140734674869248 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 26 0 0 0
/proc/9886/statm: 187064 5296 168 55 0 184950 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 748256

[startup+0.70104 s]
/proc/loadavg: 29.60 31.62 31.92 1/413 9886
/proc/meminfo: memFree=255590576/264257624 swapFree=67111528/67111528
[pid=9886] ppid=9884 vsize=764868 CPUtime=12.48 cores=0-31
/proc/9886/stat : 9886 (plingeling) S 9884 9886 9860 0 -1 4202496 14349 1242 0 0 1236 11 0 1 18 0 33 0 655635905 783224832 10603 268435456000 4194304 4417452 140734674869248 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 26 0 0 0
/proc/9886/statm: 191217 10603 175 55 0 189103 0
Current children cumulated CPU time (s) 12.48
Current children cumulated vsize (KiB) 764868

[startup+1.50207 s]
/proc/loadavg: 29.60 31.62 31.92 34/446 9924
/proc/meminfo: memFree=255541936/264257624 swapFree=67111528/67111528
[pid=9886] ppid=9884 vsize=780876 CPUtime=37.8 cores=0-31
/proc/9886/stat : 9886 (plingeling) S 9884 9886 9860 0 -1 4202496 23531 1242 0 0 3759 20 0 1 18 0 33 0 655635905 799617024 14936 268435456000 4194304 4417452 140734674869248 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 26 0 0 0
/proc/9886/statm: 195219 14936 175 55 0 193105 0
[pid=9886/tid=9893] ppid=9884 vsize=780876 CPUtime=1.17 cores=0-31
/proc/9886/task/9893/stat : 9893 (plingeling) R 9884 9886 9860 0 -1 4202560 725 1242 0 0 116 0 0 1 19 0 33 0 655635931 799617024 14936 268435456000 4194304 4417452 140734674869248 18446744073709551615 4275960 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=9886/tid=9894] ppid=9884 vsize=780876 CPUtime=1.19 cores=0-31
/proc/9886/task/9894/stat : 9894 (plingeling) R 9884 9886 9860 0 -1 4202560 913 1242 0 0 118 0 0 1 18 0 33 0 655635931 799617024 14936 268435456000 4194304 4417452 140734674869248 18446744073709551615 4307648 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=9886/tid=9895] ppid=9884 vsize=780876 CPUtime=1.18 cores=0-31
/proc/9886/task/9895/stat : 9895 (plingeling) R 9884 9886 9860 0 -1 4202560 571 1242 0 0 117 0 0 1 18 0 33 0 655635931 799617024 14936 268435456000 4194304 4417452 140734674869248 18446744073709551615 4277559 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=9886/tid=9896] ppid=9884 vsize=780876 CPUtime=1.2 cores=0-31
/proc/9886/task/9896/stat : 9896 (plingeling) R 9884 9886 9860 0 -1 4202560 706 1242 0 0 118 1 0 1 19 0 33 0 655635931 799617024 14936 268435456000 4194304 4417452 140734674869248 18446744073709551615 4364650 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=9886/tid=9897] ppid=9884 vsize=780876 CPUtime=1.17 cores=0-31
/proc/9886/task/9897/stat : 9897 (plingeling) R 9884 9886 9860 0 -1 4202560 584 1242 0 0 116 0 0 1 19 0 33 0 655635931 799617024 14936 268435456000 4194304 4417452 140734674869248 18446744073709551615 4358100 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=9886/tid=9898] ppid=9884 vsize=780876 CPUtime=1.18 cores=0-31
/proc/9886/task/9898/stat : 9898 (plingeling) R 9884 9886 9860 0 -1 4202560 794 1242 0 0 117 0 0 1 19 0 33 0 655635932 799617024 14936 268435456000 4194304 4417452 140734674869248 18446744073709551615 4282332 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=9886/tid=9899] ppid=9884 vsize=780876 CPUtime=1.19 cores=0-31
/proc/9886/task/9899/stat : 9899 (plingeling) R 9884 9886 9860 0 -1 4202560 556 1242 0 0 118 0 0 1 19 0 33 0 655635932 799617024 14936 268435456000 4194304 4417452 140734674869248 18446744073709551615 4357970 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=9886/tid=9900] ppid=9884 vsize=780876 CPUtime=1.19 cores=0-31
/proc/9886/task/9900/stat : 9900 (plingeling) R 9884 9886 9860 0 -1 4202560 677 1242 0 0 118 0 0 1 19 0 33 0 655635932 799617024 14936 268435456000 4194304 4417452 140734674869248 18446744073709551615 4277534 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=9886/tid=9901] ppid=9884 vsize=780876 CPUtime=1.19 cores=0-31
/proc/9886/task/9901/stat : 9901 (plingeling) R 9884 9886 9860 0 -1 4202560 715 1242 0 0 118 0 0 1 18 0 33 0 655635932 799617024 14936 268435456000 4194304 4417452 140734674869248 18446744073709551615 4234264 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=9886/tid=9902] ppid=9884 vsize=780876 CPUtime=1.17 cores=0-31
/proc/9886/task/9902/stat : 9902 (plingeling) R 9884 9886 9860 0 -1 4202560 600 1242 0 0 116 0 0 1 19 0 33 0 655635932 799617024 14936 268435456000 4194304 4417452 140734674869248 18446744073709551615 4365973 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=9886/tid=9903] ppid=9884 vsize=780876 CPUtime=1.19 cores=0-31
/proc/9886/task/9903/stat : 9903 (plingeling) R 9884 9886 9860 0 -1 4202560 526 1242 0 0 118 0 0 1 19 0 33 0 655635932 799617024 14936 268435456000 4194304 4417452 140734674869248 18446744073709551615 4310633 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=9886/tid=9904] ppid=9884 vsize=780876 CPUtime=1.16 cores=0-31
/proc/9886/task/9904/stat : 9904 (plingeling) R 9884 9886 9860 0 -1 4202560 621 1242 0 0 115 0 0 1 19 0 33 0 655635932 799617024 14936 268435456000 4194304 4417452 140734674869248 18446744073709551615 4364380 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=9886/tid=9905] ppid=9884 vsize=780876 CPUtime=1.18 cores=0-31
/proc/9886/task/9905/stat : 9905 (plingeling) R 9884 9886 9860 0 -1 4202560 530 1242 0 0 117 0 0 1 18 0 33 0 655635932 799617024 14936 268435456000 4194304 4417452 140734674869248 18446744073709551615 4366048 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=9886/tid=9906] ppid=9884 vsize=780876 CPUtime=1.17 cores=0-31
/proc/9886/task/9906/stat : 9906 (plingeling) R 9884 9886 9860 0 -1 4202560 607 1242 0 0 116 0 0 1 19 0 33 0 655635932 799617024 14936 268435456000 4194304 4417452 140734674869248 18446744073709551615 18446744073699065920 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=9886/tid=9907] ppid=9884 vsize=780876 CPUtime=1.18 cores=0-31
/proc/9886/task/9907/stat : 9907 (plingeling) R 9884 9886 9860 0 -1 4202560 373 1242 0 0 117 0 0 1 19 0 33 0 655635932 799617024 14936 268435456000 4194304 4417452 140734674869248 18446744073709551615 4366063 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=9886/tid=9908] ppid=9884 vsize=780876 CPUtime=1.18 cores=0-31
/proc/9886/task/9908/stat : 9908 (plingeling) R 9884 9886 9860 0 -1 4202560 512 1242 0 0 117 0 0 1 19 0 33 0 655635932 799617024 14936 268435456000 4194304 4417452 140734674869248 18446744073709551615 4236816 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=9886/tid=9909] ppid=9884 vsize=780876 CPUtime=1.18 cores=0-31
/proc/9886/task/9909/stat : 9909 (plingeling) R 9884 9886 9860 0 -1 4202560 710 1242 0 0 117 0 0 1 19 0 33 0 655635932 799617024 14936 268435456000 4194304 4417452 140734674869248 18446744073709551615 4306832 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=9886/tid=9910] ppid=9884 vsize=780876 CPUtime=1.16 cores=0-31
/proc/9886/task/9910/stat : 9910 (plingeling) R 9884 9886 9860 0 -1 4202560 332 1242 0 0 115 0 0 1 18 0 33 0 655635933 799617024 14936 268435456000 4194304 4417452 140734674869248 18446744073709551615 4250915 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=9886/tid=9911] ppid=9884 vsize=780876 CPUtime=1.18 cores=0-31
/proc/9886/task/9911/stat : 9911 (plingeling) R 9884 9886 9860 0 -1 4202560 395 1242 0 0 117 0 0 1 19 0 33 0 655635933 799617024 14936 268435456000 4194304 4417452 140734674869248 18446744073709551615 4365959 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=9886/tid=9912] ppid=9884 vsize=780876 CPUtime=1.18 cores=0-31
/proc/9886/task/9912/stat : 9912 (plingeling) R 9884 9886 9860 0 -1 4202560 549 1242 0 0 117 0 0 1 19 0 33 0 655635933 799617024 14936 268435456000 4194304 4417452 140734674869248 18446744073709551615 4364500 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=9886/tid=9913] ppid=9884 vsize=780876 CPUtime=1.17 cores=0-31
/proc/9886/task/9913/stat : 9913 (plingeling) R 9884 9886 9860 0 -1 4202560 545 1242 0 0 116 0 0 1 22 0 33 0 655635933 799617024 14936 268435456000 4194304 4417452 140734674869248 18446744073709551615 4354159 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=9886/tid=9914] ppid=9884 vsize=780876 CPUtime=1.18 cores=0-31
/proc/9886/task/9914/stat : 9914 (plingeling) R 9884 9886 9860 0 -1 4202560 669 1242 0 0 117 0 0 1 19 0 33 0 655635933 799617024 14936 268435456000 4194304 4417452 140734674869248 18446744073709551615 4307694 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=9886/tid=9915] ppid=9884 vsize=780876 CPUtime=1.12 cores=0-31
/proc/9886/task/9915/stat : 9915 (plingeling) R 9884 9886 9860 0 -1 4202560 497 1242 0 0 111 0 0 1 21 0 33 0 655635933 799617024 14936 268435456000 4194304 4417452 140734674869248 18446744073709551615 4237237 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=9886/tid=9916] ppid=9884 vsize=780876 CPUtime=1.12 cores=0-31
/proc/9886/task/9916/stat : 9916 (plingeling) R 9884 9886 9860 0 -1 4202560 535 1242 0 0 111 0 0 1 18 0 33 0 655635933 799617024 14936 268435456000 4194304 4417452 140734674869248 18446744073709551615 4307609 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=9886/tid=9917] ppid=9884 vsize=780876 CPUtime=1.17 cores=0-31
/proc/9886/task/9917/stat : 9917 (plingeling) R 9884 9886 9860 0 -1 4202560 595 1242 0 0 116 0 0 1 19 0 33 0 655635933 799617024 14936 268435456000 4194304 4417452 140734674869248 18446744073709551615 4358106 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=9886/tid=9918] ppid=9884 vsize=780876 CPUtime=1.15 cores=0-31
/proc/9886/task/9918/stat : 9918 (plingeling) R 9884 9886 9860 0 -1 4202560 689 1242 0 0 114 0 0 1 18 0 33 0 655635933 799617024 14936 268435456000 4194304 4417452 140734674869248 18446744073709551615 4307424 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=9886/tid=9919] ppid=9884 vsize=780876 CPUtime=1.18 cores=0-31
/proc/9886/task/9919/stat : 9919 (plingeling) R 9884 9886 9860 0 -1 4202560 222 1242 0 0 117 0 0 1 19 0 33 0 655635934 799617024 14936 268435456000 4194304 4417452 140734674869248 18446744073709551615 4366407 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=9886/tid=9920] ppid=9884 vsize=780876 CPUtime=1.16 cores=0-31
/proc/9886/task/9920/stat : 9920 (plingeling) R 9884 9886 9860 0 -1 4202560 557 1242 0 0 115 0 0 1 19 0 33 0 655635934 799617024 14936 268435456000 4194304 4417452 140734674869248 18446744073709551615 4275982 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=9886/tid=9921] ppid=9884 vsize=780876 CPUtime=1.14 cores=0-31
/proc/9886/task/9921/stat : 9921 (plingeling) R 9884 9886 9860 0 -1 4202560 665 1242 0 0 113 0 0 1 21 0 33 0 655635934 799617024 14936 268435456000 4194304 4417452 140734674869248 18446744073709551615 4364542 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=9886/tid=9922] ppid=9884 vsize=780876 CPUtime=1.18 cores=0-31
/proc/9886/task/9922/stat : 9922 (plingeling) R 9884 9886 9860 0 -1 4202560 640 1242 0 0 117 0 0 1 19 0 33 0 655635934 799617024 14936 268435456000 4194304 4417452 140734674869248 18446744073709551615 4276062 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=9886/tid=9923] ppid=9884 vsize=780876 CPUtime=1.16 cores=0-31
/proc/9886/task/9923/stat : 9923 (plingeling) R 9884 9886 9860 0 -1 4202560 481 1242 0 0 115 0 0 1 18 0 33 0 655635934 799617024 14936 268435456000 4194304 4417452 140734674869248 18446744073709551615 4364572 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=9886/tid=9924] ppid=9884 vsize=780876 CPUtime=1.18 cores=0-31
/proc/9886/task/9924/stat : 9924 (plingeling) R 9884 9886 9860 0 -1 4202560 459 1242 0 0 117 0 0 1 18 0 33 0 655635935 799617024 14936 268435456000 4194304 4417452 140734674869248 18446744073709551615 4354669 0 0 4096 17442 0 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 37.8
Current children cumulated vsize (KiB) 780876

[startup+3.10112 s]
/proc/loadavg: 29.60 31.62 31.92 33/446 9924
/proc/meminfo: memFree=255483796/264257624 swapFree=67111528/67111528
[pid=9886] ppid=9884 vsize=831964 CPUtime=88.42 cores=0-31
/proc/9886/stat : 9886 (plingeling) S 9884 9886 9860 0 -1 4202496 58144 1242 0 0 8775 66 0 1 18 0 33 0 655635905 851931136 28774 268435456000 4194304 4417452 140734674869248 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 26 0 0 0
/proc/9886/statm: 207991 28774 175 55 0 205877 0
[pid=9886/tid=9893] ppid=9884 vsize=831964 CPUtime=2.75 cores=0-31
/proc/9886/task/9893/stat : 9893 (plingeling) R 9884 9886 9860 0 -1 4202560 1669 1242 0 0 273 1 0 1 22 0 33 0 655635931 851931136 28774 268435456000 4194304 4417452 140734674869248 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=9886/tid=9894] ppid=9884 vsize=831964 CPUtime=2.75 cores=0-31
/proc/9886/task/9894/stat : 9894 (plingeling) R 9884 9886 9860 0 -1 4202560 1946 1242 0 0 273 1 0 1 18 0 33 0 655635931 851931136 28774 268435456000 4194304 4417452 140734674869248 18446744073709551615 4364537 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=9886/tid=9895] ppid=9884 vsize=831964 CPUtime=2.77 cores=0-31
/proc/9886/task/9895/stat : 9895 (plingeling) R 9884 9886 9860 0 -1 4202560 1521 1242 0 0 275 1 0 1 20 0 33 0 655635931 851931136 28774 268435456000 4194304 4417452 140734674869248 18446744073709551615 4236649 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=9886/tid=9896] ppid=9884 vsize=831964 CPUtime=2.78 cores=0-31
/proc/9886/task/9896/stat : 9896 (plingeling) R 9884 9886 9860 0 -1 4202560 1109 1242 0 0 276 1 0 1 22 0 33 0 655635931 851931136 28774 268435456000 4194304 4417452 140734674869248 18446744073709551615 4357418 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=9886/tid=9897] ppid=9884 vsize=831964 CPUtime=2.77 cores=0-31
/proc/9886/task/9897/stat : 9897 (plingeling) R 9884 9886 9860 0 -1 4202560 1652 1242 0 0 274 2 0 1 22 0 33 0 655635931 851931136 28774 268435456000 4194304 4417452 140734674869248 18446744073709551615 4364555 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=9886/tid=9898] ppid=9884 vsize=831964 CPUtime=2.77 cores=0-31
/proc/9886/task/9898/stat : 9898 (plingeling) R 9884 9886 9860 0 -1 4202560 1952 1242 0 0 274 2 0 1 23 0 33 0 655635932 851931136 28774 268435456000 4194304 4417452 140734674869248 18446744073709551615 4365023 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=9886/tid=9899] ppid=9884 vsize=831964 CPUtime=2.78 cores=0-31
/proc/9886/task/9899/stat : 9899 (plingeling) R 9884 9886 9860 0 -1 4202560 1549 1242 0 0 276 1 0 1 19 0 33 0 655635932 851931136 28774 268435456000 4194304 4417452 140734674869248 18446744073709551615 4364653 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=9886/tid=9900] ppid=9884 vsize=831964 CPUtime=2.77 cores=0-31
/proc/9886/task/9900/stat : 9900 (plingeling) R 9884 9886 9860 0 -1 4202560 1927 1242 0 0 274 2 0 1 18 0 33 0 655635932 851931136 28774 268435456000 4194304 4417452 140734674869248 18446744073709551615 4352347 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=9886/tid=9901] ppid=9884 vsize=831964 CPUtime=2.78 cores=0-31
/proc/9886/task/9901/stat : 9901 (plingeling) R 9884 9886 9860 0 -1 4202560 1438 1242 0 0 276 1 0 1 19 0 33 0 655635932 851931136 28774 268435456000 4194304 4417452 140734674869248 18446744073709551615 4236549 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=9886/tid=9902] ppid=9884 vsize=831964 CPUtime=2.76 cores=0-31
/proc/9886/task/9902/stat : 9902 (plingeling) R 9884 9886 9860 0 -1 4202560 1815 1242 0 0 273 2 0 1 23 0 33 0 655635932 851931136 28774 268435456000 4194304 4417452 140734674869248 18446744073709551615 4366698 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=9886/tid=9903] ppid=9884 vsize=831964 CPUtime=2.78 cores=0-31
/proc/9886/task/9903/stat : 9903 (plingeling) R 9884 9886 9860 0 -1 4202560 1549 1242 0 0 277 0 0 1 23 0 33 0 655635932 851931136 28774 268435456000 4194304 4417452 140734674869248 18446744073709551615 4250977 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=9886/tid=9904] ppid=9884 vsize=831964 CPUtime=2.74 cores=0-31
/proc/9886/task/9904/stat : 9904 (plingeling) R 9884 9886 9860 0 -1 4202560 1757 1242 0 0 271 2 0 1 22 0 33 0 655635932 851931136 28774 268435456000 4194304 4417452 140734674869248 18446744073709551615 4250755 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=9886/tid=9905] ppid=9884 vsize=831964 CPUtime=2.77 cores=0-31
/proc/9886/task/9905/stat : 9905 (plingeling) R 9884 9886 9860 0 -1 4202560 2274 1242 0 0 274 2 0 1 20 0 33 0 655635932 851931136 28774 268435456000 4194304 4417452 140734674869248 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=9886/tid=9906] ppid=9884 vsize=831964 CPUtime=2.75 cores=0-31
/proc/9886/task/9906/stat : 9906 (plingeling) R 9884 9886 9860 0 -1 4202560 2124 1242 0 0 272 2 0 1 18 0 33 0 655635932 851931136 28774 268435456000 4194304 4417452 140734674869248 18446744073709551615 4253228 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=9886/tid=9907] ppid=9884 vsize=831964 CPUtime=2.77 cores=0-31
/proc/9886/task/9907/stat : 9907 (plingeling) R 9884 9886 9860 0 -1 4202560 1166 1242 0 0 275 1 0 1 22 0 33 0 655635932 851931136 28774 268435456000 4194304 4417452 140734674869248 18446744073709551615 4251109 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=9886/tid=9908] ppid=9884 vsize=831964 CPUtime=2.76 cores=0-31
/proc/9886/task/9908/stat : 9908 (plingeling) R 9884 9886 9860 0 -1 4202560 2108 1242 0 0 273 2 0 1 22 0 33 0 655635932 851931136 28774 268435456000 4194304 4417452 140734674869248 18446744073709551615 4236761 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=9886/tid=9909] ppid=9884 vsize=831964 CPUtime=2.77 cores=0-31
/proc/9886/task/9909/stat : 9909 (plingeling) R 9884 9886 9860 0 -1 4202560 2120 1242 0 0 274 2 0 1 18 0 33 0 655635932 851931136 28774 268435456000 4194304 4417452 140734674869248 18446744073709551615 4357787 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=9886/tid=9910] ppid=9884 vsize=831964 CPUtime=2.73 cores=0-31
/proc/9886/task/9910/stat : 9910 (plingeling) R 9884 9886 9860 0 -1 4202560 1515 1242 0 0 271 1 0 1 19 0 33 0 655635933 851931136 28774 268435456000 4194304 4417452 140734674869248 18446744073709551615 4265526 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=9886/tid=9911] ppid=9884 vsize=831964 CPUtime=2.77 cores=0-31
/proc/9886/task/9911/stat : 9911 (plingeling) R 9884 9886 9860 0 -1 4202560 1350 1242 0 0 275 1 0 1 22 0 33 0 655635933 851931136 28774 268435456000 4194304 4417452 140734674869248 18446744073709551615 4364703 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=9886/tid=9912] ppid=9884 vsize=832076 CPUtime=2.76 cores=0-31
/proc/9886/task/9912/stat : 9912 (plingeling) R 9884 9886 9860 0 -1 4202560 1655 1242 0 0 273 2 0 1 18 0 33 0 655635933 852045824 28781 268435456000 4194304 4417452 140734674869248 18446744073709551615 258650649806 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=9886/tid=9913] ppid=9884 vsize=832076 CPUtime=2.76 cores=0-31
/proc/9886/task/9913/stat : 9913 (plingeling) R 9884 9886 9860 0 -1 4202560 1633 1242 0 0 274 1 0 1 18 0 33 0 655635933 852045824 28796 268435456000 4194304 4417452 140734674869248 18446744073709551615 4364756 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=9886/tid=9914] ppid=9884 vsize=832076 CPUtime=2.76 cores=0-31
/proc/9886/task/9914/stat : 9914 (plingeling) R 9884 9886 9860 0 -1 4202560 1572 1242 0 0 274 1 0 1 19 0 33 0 655635933 852045824 28802 268435456000 4194304 4417452 140734674869248 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=9886/tid=9915] ppid=9884 vsize=832076 CPUtime=2.71 cores=0-31
/proc/9886/task/9915/stat : 9915 (plingeling) R 9884 9886 9860 0 -1 4202560 1317 1242 0 0 270 0 0 1 18 0 33 0 655635933 852045824 28802 268435456000 4194304 4417452 140734674869248 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=9886/tid=9916] ppid=9884 vsize=832076 CPUtime=2.69 cores=0-31
/proc/9886/task/9916/stat : 9916 (plingeling) R 9884 9886 9860 0 -1 4202560 1297 1242 0 0 267 1 0 1 20 0 33 0 655635933 852045824 28802 268435456000 4194304 4417452 140734674869248 18446744073709551615 4250957 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=9886/tid=9917] ppid=9884 vsize=832076 CPUtime=2.76 cores=0-31
/proc/9886/task/9917/stat : 9917 (plingeling) R 9884 9886 9860 0 -1 4202560 1474 1242 0 0 274 1 0 1 18 0 33 0 655635933 852045824 28802 268435456000 4194304 4417452 140734674869248 18446744073709551615 4364626 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=9886/tid=9918] ppid=9884 vsize=832076 CPUtime=2.73 cores=0-31
/proc/9886/task/9918/stat : 9918 (plingeling) R 9884 9886 9860 0 -1 4202560 2085 1242 0 0 270 2 0 1 18 0 33 0 655635933 852045824 28802 268435456000 4194304 4417452 140734674869248 18446744073709551615 4237354 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=9886/tid=9919] ppid=9884 vsize=832076 CPUtime=2.76 cores=0-31
/proc/9886/task/9919/stat : 9919 (plingeling) R 9884 9886 9860 0 -1 4202560 1351 1242 0 0 273 2 0 1 23 0 33 0 655635934 852045824 28802 268435456000 4194304 4417452 140734674869248 18446744073709551615 4364456 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=9886/tid=9920] ppid=9884 vsize=832076 CPUtime=2.73 cores=0-31
/proc/9886/task/9920/stat : 9920 (plingeling) R 9884 9886 9860 0 -1 4202560 1971 1242 0 0 270 2 0 1 22 0 33 0 655635934 852045824 28802 268435456000 4194304 4417452 140734674869248 18446744073709551615 4364650 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=9886/tid=9921] ppid=9884 vsize=832076 CPUtime=2.66 cores=0-31

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


[startup+522.302 s]
/proc/loadavg: 32.00 31.94 31.94 33/446 9938
/proc/meminfo: memFree=254243372/264257624 swapFree=67111528/67111528
[pid=9886] ppid=9884 vsize=2028628 CPUtime=16596.9 cores=0-31
/proc/9886/stat : 9886 (plingeling) S 9884 9886 9860 0 -1 4202496 7004838 1242 0 0 1648893 10800 0 1 18 0 33 0 655635905 2077315072 330263 268435456000 4194304 4417452 140734674869248 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 26 0 0 0
/proc/9886/statm: 507157 330263 175 55 0 505043 0
[pid=9886/tid=9893] ppid=9884 vsize=2028628 CPUtime=518.04 cores=0-31
/proc/9886/task/9893/stat : 9893 (plingeling) R 9884 9886 9860 0 -1 4202560 235347 1242 0 0 51490 313 0 1 25 0 33 0 655635931 2077315072 330263 268435456000 4194304 4417452 140734674869248 18446744073709551615 4250855 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=9886/tid=9894] ppid=9884 vsize=2028628 CPUtime=518.58 cores=0-31
/proc/9886/task/9894/stat : 9894 (plingeling) R 9884 9886 9860 0 -1 4202560 225765 1242 0 0 51493 364 0 1 25 0 33 0 655635931 2077315072 330263 268435456000 4194304 4417452 140734674869248 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=9886/tid=9895] ppid=9884 vsize=2028628 CPUtime=518.89 cores=0-31
/proc/9886/task/9895/stat : 9895 (plingeling) R 9884 9886 9860 0 -1 4202560 187090 1242 0 0 51619 269 0 1 25 0 33 0 655635931 2077315072 330263 268435456000 4194304 4417452 140734674869248 18446744073709551615 4364693 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=9886/tid=9896] ppid=9884 vsize=2028628 CPUtime=520.11 cores=0-31
/proc/9886/task/9896/stat : 9896 (plingeling) R 9884 9886 9860 0 -1 4202560 151615 1242 0 0 51737 273 0 1 25 0 33 0 655635931 2077315072 330263 268435456000 4194304 4417452 140734674869248 18446744073709551615 4357651 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=9886/tid=9897] ppid=9884 vsize=2028628 CPUtime=519.12 cores=0-31
/proc/9886/task/9897/stat : 9897 (plingeling) R 9884 9886 9860 0 -1 4202560 232325 1242 0 0 51557 354 0 1 25 0 33 0 655635931 2077315072 330263 268435456000 4194304 4417452 140734674869248 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=9886/tid=9898] ppid=9884 vsize=2028628 CPUtime=518.78 cores=0-31
/proc/9886/task/9898/stat : 9898 (plingeling) R 9884 9886 9860 0 -1 4202560 229749 1242 0 0 51504 373 0 1 25 0 33 0 655635932 2077315072 330263 268435456000 4194304 4417452 140734674869248 18446744073709551615 4364756 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=9886/tid=9899] ppid=9884 vsize=2028628 CPUtime=519 cores=0-31
/proc/9886/task/9899/stat : 9899 (plingeling) R 9884 9886 9860 0 -1 4202560 243577 1242 0 0 51501 398 0 1 20 0 33 0 655635932 2077315072 330263 268435456000 4194304 4417452 140734674869248 18446744073709551615 4364817 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=9886/tid=9900] ppid=9884 vsize=2028628 CPUtime=519.12 cores=0-31
/proc/9886/task/9900/stat : 9900 (plingeling) R 9884 9886 9860 0 -1 4202560 217222 1242 0 0 51590 321 0 1 25 0 33 0 655635932 2077315072 330263 268435456000 4194304 4417452 140734674869248 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=9886/tid=9901] ppid=9884 vsize=2028628 CPUtime=518.81 cores=0-31
/proc/9886/task/9901/stat : 9901 (plingeling) R 9884 9886 9860 0 -1 4202560 204912 1242 0 0 51538 342 0 1 25 0 33 0 655635932 2077315072 330263 268435456000 4194304 4417452 140734674869248 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=9886/tid=9902] ppid=9884 vsize=2028628 CPUtime=518.53 cores=0-31
/proc/9886/task/9902/stat : 9902 (plingeling) R 9884 9886 9860 0 -1 4202560 253454 1242 0 0 51493 359 0 1 25 0 33 0 655635932 2077315072 330263 268435456000 4194304 4417452 140734674869248 18446744073709551615 4353557 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=9886/tid=9903] ppid=9884 vsize=2028628 CPUtime=518.9 cores=0-31
/proc/9886/task/9903/stat : 9903 (plingeling) R 9884 9886 9860 0 -1 4202560 170195 1242 0 0 51615 274 0 1 25 0 33 0 655635932 2077315072 330263 268435456000 4194304 4417452 140734674869248 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=9886/tid=9904] ppid=9884 vsize=2028628 CPUtime=518.01 cores=0-31
/proc/9886/task/9904/stat : 9904 (plingeling) R 9884 9886 9860 0 -1 4202560 233090 1242 0 0 51437 363 0 1 25 0 33 0 655635932 2077315072 330263 268435456000 4194304 4417452 140734674869248 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=9886/tid=9905] ppid=9884 vsize=2028628 CPUtime=517.3 cores=0-31
/proc/9886/task/9905/stat : 9905 (plingeling) R 9884 9886 9860 0 -1 4202560 222707 1242 0 0 51404 325 0 1 25 0 33 0 655635932 2077315072 330263 268435456000 4194304 4417452 140734674869248 18446744073709551615 4365023 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=9886/tid=9906] ppid=9884 vsize=2028628 CPUtime=517.3 cores=0-31
/proc/9886/task/9906/stat : 9906 (plingeling) R 9884 9886 9860 0 -1 4202560 221689 1242 0 0 51367 362 0 1 25 0 33 0 655635932 2077315072 330263 268435456000 4194304 4417452 140734674869248 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=9886/tid=9907] ppid=9884 vsize=2028628 CPUtime=518.33 cores=0-31
/proc/9886/task/9907/stat : 9907 (plingeling) R 9884 9886 9860 0 -1 4202560 213767 1242 0 0 51490 342 0 1 25 0 33 0 655635932 2077315072 330263 268435456000 4194304 4417452 140734674869248 18446744073709551615 4364629 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=9886/tid=9908] ppid=9884 vsize=2028628 CPUtime=518.8 cores=0-31
/proc/9886/task/9908/stat : 9908 (plingeling) R 9884 9886 9860 0 -1 4202560 234142 1242 0 0 51542 337 0 1 25 0 33 0 655635932 2077315072 330263 268435456000 4194304 4417452 140734674869248 18446744073709551615 4364629 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=9886/tid=9909] ppid=9884 vsize=2028628 CPUtime=517.79 cores=0-31
/proc/9886/task/9909/stat : 9909 (plingeling) R 9884 9886 9860 0 -1 4202560 255542 1242 0 0 51407 371 0 1 25 0 33 0 655635932 2077315072 330263 268435456000 4194304 4417452 140734674869248 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=9886/tid=9910] ppid=9884 vsize=2028628 CPUtime=518.37 cores=0-31
/proc/9886/task/9910/stat : 9910 (plingeling) R 9884 9886 9860 0 -1 4202560 232425 1242 0 0 51451 385 0 1 25 0 33 0 655635933 2077315072 330263 268435456000 4194304 4417452 140734674869248 18446744073709551615 4364737 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=9886/tid=9911] ppid=9884 vsize=2028628 CPUtime=518.36 cores=0-31
/proc/9886/task/9911/stat : 9911 (plingeling) R 9884 9886 9860 0 -1 4202560 236367 1242 0 0 51519 316 0 1 25 0 33 0 655635933 2077315072 330263 268435456000 4194304 4417452 140734674869248 18446744073709551615 4357211 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=9886/tid=9912] ppid=9884 vsize=2028628 CPUtime=518.07 cores=0-31
/proc/9886/task/9912/stat : 9912 (plingeling) R 9884 9886 9860 0 -1 4202560 198014 1242 0 0 51493 313 0 1 25 0 33 0 655635933 2077315072 330263 268435456000 4194304 4417452 140734674869248 18446744073709551615 4364768 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=9886/tid=9913] ppid=9884 vsize=2028628 CPUtime=519.49 cores=0-31
/proc/9886/task/9913/stat : 9913 (plingeling) R 9884 9886 9860 0 -1 4202560 202521 1242 0 0 51632 316 0 1 25 0 33 0 655635933 2077315072 330263 268435456000 4194304 4417452 140734674869248 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=9886/tid=9914] ppid=9884 vsize=2028628 CPUtime=518.96 cores=0-31
/proc/9886/task/9914/stat : 9914 (plingeling) R 9884 9886 9860 0 -1 4202560 227842 1242 0 0 51542 353 0 1 25 0 33 0 655635933 2077315072 330263 268435456000 4194304 4417452 140734674869248 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=9886/tid=9915] ppid=9884 vsize=2028628 CPUtime=519.22 cores=0-31
/proc/9886/task/9915/stat : 9915 (plingeling) R 9884 9886 9860 0 -1 4202560 211564 1242 0 0 51551 370 0 1 25 0 33 0 655635933 2077315072 330263 268435456000 4194304 4417452 140734674869248 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=9886/tid=9916] ppid=9884 vsize=2028628 CPUtime=518.63 cores=0-31
/proc/9886/task/9916/stat : 9916 (plingeling) R 9884 9886 9860 0 -1 4202560 219821 1242 0 0 51551 311 0 1 25 0 33 0 655635933 2077315072 330263 268435456000 4194304 4417452 140734674869248 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=9886/tid=9917] ppid=9884 vsize=2028628 CPUtime=519.05 cores=0-31
/proc/9886/task/9917/stat : 9917 (plingeling) R 9884 9886 9860 0 -1 4202560 189664 1242 0 0 51623 281 0 1 25 0 33 0 655635933 2077315072 330263 268435456000 4194304 4417452 140734674869248 18446744073709551615 4364817 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=9886/tid=9918] ppid=9884 vsize=2028628 CPUtime=518.9 cores=0-31
/proc/9886/task/9918/stat : 9918 (plingeling) R 9884 9886 9860 0 -1 4202560 223272 1242 0 0 51540 349 0 1 25 0 33 0 655635933 2077315072 330263 268435456000 4194304 4417452 140734674869248 18446744073709551615 4364420 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=9886/tid=9919] ppid=9884 vsize=2028628 CPUtime=519.02 cores=0-31
/proc/9886/task/9919/stat : 9919 (plingeling) R 9884 9886 9860 0 -1 4202560 227926 1242 0 0 51533 368 0 1 25 0 33 0 655635934 2077315072 330263 268435456000 4194304 4417452 140734674869248 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=9886/tid=9920] ppid=9884 vsize=2028628 CPUtime=518.74 cores=0-31
/proc/9886/task/9920/stat : 9920 (plingeling) R 9884 9886 9860 0 -1 4202560 206041 1242 0 0 51561 312 0 1 25 0 33 0 655635934 2077315072 330263 268435456000 4194304 4417452 140734674869248 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=9886/tid=9921] ppid=9884 vsize=2028628 CPUtime=518.09 cores=0-31
/proc/9886/task/9921/stat : 9921 (plingeling) R 9884 9886 9860 0 -1 4202560 231151 1242 0 0 51453 355 0 1 25 0 33 0 655635934 2077315072 330263 268435456000 4194304 4417452 140734674869248 18446744073709551615 4364881 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=9886/tid=9922] ppid=9884 vsize=2028628 CPUtime=519 cores=0-31
/proc/9886/task/9922/stat : 9922 (plingeling) R 9884 9886 9860 0 -1 4202560 225721 1242 0 0 51545 354 0 1 25 0 33 0 655635934 2077315072 330263 268435456000 4194304 4417452 140734674869248 18446744073709551615 4321712 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=9886/tid=9923] ppid=9884 vsize=2028628 CPUtime=518.62 cores=0-31
/proc/9886/task/9923/stat : 9923 (plingeling) R 9884 9886 9860 0 -1 4202560 232195 1242 0 0 51503 358 0 1 25 0 33 0 655635934 2077315072 330263 268435456000 4194304 4417452 140734674869248 18446744073709551615 4364555 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=9886/tid=9924] ppid=9884 vsize=2028628 CPUtime=518.75 cores=0-31
/proc/9886/task/9924/stat : 9924 (plingeling) R 9884 9886 9860 0 -1 4202560 203145 1242 0 0 51572 302 0 1 25 0 33 0 655635935 2077315072 330263 268435456000 4194304 4417452 140734674869248 18446744073709551615 4275960 0 0 4096 17442 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 16596.9
Current children cumulated vsize (KiB) 2028628

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

[startup+523.101 s]
/proc/loadavg: 32.00 31.94 31.94 33/446 9938
/proc/meminfo: memFree=254258364/264257624 swapFree=67111528/67111528
[pid=9886] ppid=9884 vsize=2018344 CPUtime=16622.5 cores=0-31
/proc/9886/stat : 9886 (plingeling) S 9884 9886 9860 0 -1 4202496 7012558 1242 0 0 1651434 10812 0 1 18 0 33 0 655635905 2066784256 327692 268435456000 4194304 4417452 140734674869248 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 26 0 0 0
/proc/9886/statm: 504586 327692 175 55 0 502472 0
[pid=9886/tid=9893] ppid=9884 vsize=2018344 CPUtime=518.84 cores=0-31
/proc/9886/task/9893/stat : 9893 (plingeling) R 9884 9886 9860 0 -1 4202560 235347 1242 0 0 51570 313 0 1 25 0 33 0 655635931 2066784256 327692 268435456000 4194304 4417452 140734674869248 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=9886/tid=9894] ppid=9884 vsize=2018344 CPUtime=519.38 cores=0-31
/proc/9886/task/9894/stat : 9894 (plingeling) R 9884 9886 9860 0 -1 4202560 225765 1242 0 0 51573 364 0 1 25 0 33 0 655635931 2066784256 327692 268435456000 4194304 4417452 140734674869248 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=9886/tid=9895] ppid=9884 vsize=2018344 CPUtime=519.69 cores=0-31
/proc/9886/task/9895/stat : 9895 (plingeling) R 9884 9886 9860 0 -1 4202560 187090 1242 0 0 51699 269 0 1 25 0 33 0 655635931 2066784256 327692 268435456000 4194304 4417452 140734674869248 18446744073709551615 4364604 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=9886/tid=9896] ppid=9884 vsize=2018344 CPUtime=520.9 cores=0-31
/proc/9886/task/9896/stat : 9896 (plingeling) R 9884 9886 9860 0 -1 4202560 151615 1242 0 0 51816 273 0 1 25 0 33 0 655635931 2066784256 327692 268435456000 4194304 4417452 140734674869248 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=9886/tid=9897] ppid=9884 vsize=2018344 CPUtime=519.92 cores=0-31
/proc/9886/task/9897/stat : 9897 (plingeling) R 9884 9886 9860 0 -1 4202560 232325 1242 0 0 51637 354 0 1 25 0 33 0 655635931 2066784256 327692 268435456000 4194304 4417452 140734674869248 18446744073709551615 4364653 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=9886/tid=9898] ppid=9884 vsize=2018344 CPUtime=519.58 cores=0-31
/proc/9886/task/9898/stat : 9898 (plingeling) R 9884 9886 9860 0 -1 4202560 230767 1242 0 0 51583 374 0 1 25 0 33 0 655635932 2066784256 327692 268435456000 4194304 4417452 140734674869248 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=9886/tid=9899] ppid=9884 vsize=2018344 CPUtime=519.8 cores=0-31
/proc/9886/task/9899/stat : 9899 (plingeling) R 9884 9886 9860 0 -1 4202560 243577 1242 0 0 51581 398 0 1 23 0 33 0 655635932 2066784256 327692 268435456000 4194304 4417452 140734674869248 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=9886/tid=9900] ppid=9884 vsize=2018344 CPUtime=519.92 cores=0-31
/proc/9886/task/9900/stat : 9900 (plingeling) R 9884 9886 9860 0 -1 4202560 218375 1242 0 0 51667 324 0 1 25 0 33 0 655635932 2066784256 327692 268435456000 4194304 4417452 140734674869248 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=9886/tid=9901] ppid=9884 vsize=2018344 CPUtime=519.61 cores=0-31
/proc/9886/task/9901/stat : 9901 (plingeling) R 9884 9886 9860 0 -1 4202560 204912 1242 0 0 51618 342 0 1 25 0 33 0 655635932 2066784256 327692 268435456000 4194304 4417452 140734674869248 18446744073709551615 4364817 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=9886/tid=9902] ppid=9884 vsize=2018344 CPUtime=519.33 cores=0-31
/proc/9886/task/9902/stat : 9902 (plingeling) R 9884 9886 9860 0 -1 4202560 253454 1242 0 0 51573 359 0 1 25 0 33 0 655635932 2066784256 327692 268435456000 4194304 4417452 140734674869248 18446744073709551615 4364650 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=9886/tid=9903] ppid=9884 vsize=2018344 CPUtime=519.7 cores=0-31
/proc/9886/task/9903/stat : 9903 (plingeling) R 9884 9886 9860 0 -1 4202560 170195 1242 0 0 51695 274 0 1 25 0 33 0 655635932 2066784256 327692 268435456000 4194304 4417452 140734674869248 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=9886/tid=9904] ppid=9884 vsize=2018344 CPUtime=518.81 cores=0-31
/proc/9886/task/9904/stat : 9904 (plingeling) R 9884 9886 9860 0 -1 4202560 233090 1242 0 0 51517 363 0 1 25 0 33 0 655635932 2066784256 327692 268435456000 4194304 4417452 140734674869248 18446744073709551615 4357283 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=9886/tid=9905] ppid=9884 vsize=2018344 CPUtime=518.09 cores=0-31
/proc/9886/task/9905/stat : 9905 (plingeling) R 9884 9886 9860 0 -1 4202560 222707 1242 0 0 51483 325 0 1 25 0 33 0 655635932 2066784256 327692 268435456000 4194304 4417452 140734674869248 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=9886/tid=9906] ppid=9884 vsize=2018344 CPUtime=518.07 cores=0-31
/proc/9886/task/9906/stat : 9906 (plingeling) R 9884 9886 9860 0 -1 4202560 221689 1242 0 0 51444 362 0 1 25 0 33 0 655635932 2066784256 327692 268435456000 4194304 4417452 140734674869248 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=9886/tid=9907] ppid=9884 vsize=2018344 CPUtime=519.13 cores=0-31
/proc/9886/task/9907/stat : 9907 (plingeling) R 9884 9886 9860 0 -1 4202560 213767 1242 0 0 51570 342 0 1 25 0 33 0 655635932 2066784256 327692 268435456000 4194304 4417452 140734674869248 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=9886/tid=9908] ppid=9884 vsize=2018344 CPUtime=519.6 cores=0-31
/proc/9886/task/9908/stat : 9908 (plingeling) R 9884 9886 9860 0 -1 4202560 234142 1242 0 0 51622 337 0 1 25 0 33 0 655635932 2066784256 327692 268435456000 4194304 4417452 140734674869248 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=9886/tid=9909] ppid=9884 vsize=2018344 CPUtime=518.59 cores=0-31
/proc/9886/task/9909/stat : 9909 (plingeling) R 9884 9886 9860 0 -1 4202560 255542 1242 0 0 51487 371 0 1 25 0 33 0 655635932 2066784256 327692 268435456000 4194304 4417452 140734674869248 18446744073709551615 4364567 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=9886/tid=9910] ppid=9884 vsize=2018344 CPUtime=519.17 cores=0-31
/proc/9886/task/9910/stat : 9910 (plingeling) R 9884 9886 9860 0 -1 4202560 232425 1242 0 0 51531 385 0 1 25 0 33 0 655635933 2066784256 327692 268435456000 4194304 4417452 140734674869248 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=9886/tid=9911] ppid=9884 vsize=2018344 CPUtime=519.16 cores=0-31
/proc/9886/task/9911/stat : 9911 (plingeling) R 9884 9886 9860 0 -1 4202560 236367 1242 0 0 51599 316 0 1 25 0 33 0 655635933 2066784256 327692 268435456000 4194304 4417452 140734674869248 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=9886/tid=9912] ppid=9884 vsize=2018344 CPUtime=518.86 cores=0-31
/proc/9886/task/9912/stat : 9912 (plingeling) R 9884 9886 9860 0 -1 4202560 198014 1242 0 0 51572 313 0 1 25 0 33 0 655635933 2066784256 327692 268435456000 4194304 4417452 140734674869248 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=9886/tid=9913] ppid=9884 vsize=2018344 CPUtime=520.29 cores=0-31
/proc/9886/task/9913/stat : 9913 (plingeling) R 9884 9886 9860 0 -1 4202560 202521 1242 0 0 51712 316 0 1 25 0 33 0 655635933 2066784256 327692 268435456000 4194304 4417452 140734674869248 18446744073709551615 4250452 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=9886/tid=9914] ppid=9884 vsize=2018344 CPUtime=519.77 cores=0-31
/proc/9886/task/9914/stat : 9914 (plingeling) R 9884 9886 9860 0 -1 4202560 230231 1242 0 0 51616 360 0 1 25 0 33 0 655635933 2066784256 327692 268435456000 4194304 4417452 140734674869248 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=9886/tid=9915] ppid=9884 vsize=2018344 CPUtime=520.01 cores=0-31
/proc/9886/task/9915/stat : 9915 (plingeling) R 9884 9886 9860 0 -1 4202560 211865 1242 0 0 51630 370 0 1 25 0 33 0 655635933 2066784256 327692 268435456000 4194304 4417452 140734674869248 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=9886/tid=9916] ppid=9884 vsize=2018344 CPUtime=519.43 cores=0-31
/proc/9886/task/9916/stat : 9916 (plingeling) R 9884 9886 9860 0 -1 4202560 219821 1242 0 0 51631 311 0 1 25 0 33 0 655635933 2066784256 327692 268435456000 4194304 4417452 140734674869248 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=9886/tid=9917] ppid=9884 vsize=2018344 CPUtime=519.85 cores=0-31
/proc/9886/task/9917/stat : 9917 (plingeling) R 9884 9886 9860 0 -1 4202560 189664 1242 0 0 51703 281 0 1 25 0 33 0 655635933 2066784256 327692 268435456000 4194304 4417452 140734674869248 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=9886/tid=9918] ppid=9884 vsize=2018344 CPUtime=519.7 cores=0-31
/proc/9886/task/9918/stat : 9918 (plingeling) R 9884 9886 9860 0 -1 4202560 223807 1242 0 0 51620 349 0 1 25 0 33 0 655635933 2066784256 327692 268435456000 4194304 4417452 140734674869248 18446744073709551615 4364634 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=9886/tid=9919] ppid=9884 vsize=2018344 CPUtime=519.82 cores=0-31
/proc/9886/task/9919/stat : 9919 (plingeling) R 9884 9886 9860 0 -1 4202560 227926 1242 0 0 51613 368 0 1 25 0 33 0 655635934 2066784256 327692 268435456000 4194304 4417452 140734674869248 18446744073709551615 4366051 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=9886/tid=9920] ppid=9884 vsize=2018344 CPUtime=519.54 cores=0-31
/proc/9886/task/9920/stat : 9920 (plingeling) R 9884 9886 9860 0 -1 4202560 206041 1242 0 0 51641 312 0 1 25 0 33 0 655635934 2066784256 327692 268435456000 4194304 4417452 140734674869248 18446744073709551615 4364537 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=9886/tid=9921] ppid=9884 vsize=2018344 CPUtime=518.89 cores=0-31
/proc/9886/task/9921/stat : 9921 (plingeling) R 9884 9886 9860 0 -1 4202560 231151 1242 0 0 51533 355 0 1 25 0 33 0 655635934 2066784256 327692 268435456000 4194304 4417452 140734674869248 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=9886/tid=9922] ppid=9884 vsize=2018344 CPUtime=519.8 cores=0-31
/proc/9886/task/9922/stat : 9922 (plingeling) R 9884 9886 9860 0 -1 4202560 225721 1242 0 0 51625 354 0 1 25 0 33 0 655635934 2066784256 327692 268435456000 4194304 4417452 140734674869248 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=9886/tid=9923] ppid=9884 vsize=2018344 CPUtime=519.42 cores=0-31
/proc/9886/task/9923/stat : 9923 (plingeling) R 9884 9886 9860 0 -1 4202560 232195 1242 0 0 51583 358 0 1 25 0 33 0 655635934 2066784256 327692 268435456000 4194304 4417452 140734674869248 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=9886/tid=9924] ppid=9884 vsize=2018344 CPUtime=519.55 cores=0-31
/proc/9886/task/9924/stat : 9924 (plingeling) R 9884 9886 9860 0 -1 4202560 205469 1242 0 0 51651 303 0 1 25 0 33 0 655635935 2066784256 327692 268435456000 4194304 4417452 140734674869248 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 16622.5
Current children cumulated vsize (KiB) 2018344

[startup+523.502 s]
/proc/loadavg: 32.00 31.94 31.94 3/416 9938
/proc/meminfo: memFree=254281412/264257624 swapFree=67111528/67111528
[pid=9886] ppid=9884 vsize=1765400 CPUtime=16629.9 cores=0-31
/proc/9886/stat : 9886 (plingeling) S 9884 9886 9860 0 -1 4202496 7018406 1242 0 0 1652167 10820 0 1 17 0 3 0 655635905 1807769600 325767 268435456000 4194304 4417452 140734674869248 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 26 0 0 0
/proc/9886/statm: 441350 325767 176 55 0 439236 0
[pid=9886/tid=9920] ppid=9884 vsize=1765400 CPUtime=519.96 cores=0-31
/proc/9886/task/9920/stat : 9920 (plingeling) R 9884 9886 9860 0 -1 4202560 206041 1242 0 0 51683 312 0 1 25 0 3 0 655635934 1807769600 325767 268435456000 4194304 4417452 140734674869248 18446744073709551615 18446744073699065920 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=9886/tid=9924] ppid=9884 vsize=1765400 CPUtime=519.97 cores=0-31
/proc/9886/task/9924/stat : 9924 (plingeling) R 9884 9886 9860 0 -1 4202560 205469 1242 0 0 51693 303 0 1 25 0 3 0 655635935 1807769600 325767 268435456000 4194304 4417452 140734674869248 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 26 0 0 0
Current children cumulated CPU time (s) 16629.9
Current children cumulated vsize (KiB) 1765400

[startup+523.622 s]
/proc/loadavg: 32.00 31.94 31.94 3/416 9938
/proc/meminfo: memFree=254281412/264257624 swapFree=67111528/67111528
[pid=9886] ppid=9884 vsize=1058836 CPUtime=16630 cores=0-31
/proc/9886/stat : 9886 (plingeling) R 9884 9886 9860 0 -1 4202496 7018406 1242 0 0 1652172 10827 0 1 16 0 1 0 655635905 1084248064 156271 268435456000 4194304 4417452 140734674869248 18446744073709551615 258650999159 0 0 4096 0 0 0 0 17 26 0 0 0
/proc/9886/statm: 262660 156131 176 55 0 260546 0
Current children cumulated CPU time (s) 16630
Current children cumulated vsize (KiB) 1058836

Child status: 20
Real time (s): 523.681
CPU time (s): 16630.1
CPU user time (s): 16521.7
CPU system time (s): 108.341
CPU usage (%): 3175.61
Max. virtual memory (cumulated for all children) (KiB): 2054712

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16521.7
system time used= 108.341
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7019652
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= 23015
involuntary context switches= 35829

runsolver used 2.74958 second user time and 12.1682 second system time

The end

Launcher Data 

Begin job on node200 at 2011-05-15 08:38:15
IDJOB=3372126
IDBENCH=20401
IDSOLVER=1852
FILE ID=node200/3372126-1305441495
RUNJOBID= node200-1305441495-9874
PBS_JOBID= 13285508
Free space on /tmp= 62052 MiB

SOLVER NAME= Plingeling 587f (fixed)
BENCH NAME= SAT07/industrial/fuhs/hard/AProVE07-03.cnf
COMMAND LINE= plingeling -t NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3372126-1305441495/watcher-3372126-1305441495 -o /tmp/evaluation-result-3372126-1305441495/solver-3372126-1305441495 -C 160000 -W 5100 -M 266338304  plingeling -t 32 HOME/instance-3372126-1305441495.cnf

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

MD5SUM BENCH= 8c67f78ca36ec96e662a91c74844da21
RANDOM SEED=1966570179

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.049
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.049
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.07
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.049
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.049
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.049
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.17
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.049
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.08
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.049
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.06
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.049
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.08
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.049
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	: 3990.04
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.049
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.09
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.049
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.049
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.02
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.049
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.17
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.049
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.09
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.049
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	: 3989.98
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.049
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.06
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.049
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.04
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.049
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.049
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.09
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.049
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	: 3990.09
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.049
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.05
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.049
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.07
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.049
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.08
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.049
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.23
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.049
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.06
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.049
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.09
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.049
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.049
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.09
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.049
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.05
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.049
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.09
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.049
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.05
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.049
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:      255590856 kB
Buffers:        439260 kB
Cached:        7828680 kB
SwapCached:          0 kB
Active:        7378936 kB
Inactive:       958076 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      255590856 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:              72 kB
Writeback:           0 kB
AnonPages:       70376 kB
Mapped:          13484 kB
Slab:           250332 kB
PageTables:       3996 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   182980 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= 62052 MiB
End job on node200 at 2011-05-15 08:46:59