Trace number 3372339

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)? (TO) 160002 5007.9

General information on the benchmark

NameAPPLICATIONS/satComp09_BioInstances/
rbcl_xits_08_UNSAT.cnf
MD5SUM66aa2e18c32a02f55a810347a9702c7f
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark17681.4
Satisfiable
(Un)Satisfiability was proved
Number of variables1278
Number of clauses68055
Sum of the clauses size202155
Maximum clause length9
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 22148
Number of clauses of size 365884
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 523

Solver Data


Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

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-3372339-1305552175/watcher-3372339-1305552175 -o /tmp/evaluation-result-3372339-1305552175/solver-3372339-1305552175 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372339-1305552175.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: 14.61 25.20 28.65 1/413 19055
/proc/meminfo: memFree=255516344/264257624 swapFree=67111528/67111528
[pid=19055] ppid=19053 vsize=12504 CPUtime=0.03 cores=0-31
/proc/19055/stat : 19055 (plingeling) R 19053 19055 18833 0 -1 4202496 1188 1241 0 0 2 0 0 1 21 0 1 0 666703918 12804096 1119 268435456000 4194304 4417452 140734245332544 18446744073709551615 258650955760 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/19055/statm: 3126 1119 145 55 0 1012 0

[startup+0.132479 s]
/proc/loadavg: 14.61 25.20 28.65 1/413 19055
/proc/meminfo: memFree=255516344/264257624 swapFree=67111528/67111528
[pid=19055] ppid=19053 vsize=22400 CPUtime=0.13 cores=0-31
/proc/19055/stat : 19055 (plingeling) R 19053 19055 18833 0 -1 4202496 3707 1241 0 0 11 1 0 1 21 0 1 0 666703918 22937600 3621 268435456000 4194304 4417452 140734245332544 18446744073709551615 4231277 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/19055/statm: 5600 3621 146 55 0 3486 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 22400

[startup+0.200497 s]
/proc/loadavg: 14.61 25.20 28.65 1/413 19055
/proc/meminfo: memFree=255516344/264257624 swapFree=67111528/67111528
[pid=19055] ppid=19053 vsize=30868 CPUtime=0.19 cores=0-31
/proc/19055/stat : 19055 (plingeling) R 19053 19055 18833 0 -1 4202496 5952 1241 0 0 17 1 0 1 22 0 1 0 666703918 31608832 5738 268435456000 4194304 4417452 140734245332544 18446744073709551615 4227787 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/19055/statm: 7717 5738 146 55 0 5603 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 30868

[startup+0.300487 s]
/proc/loadavg: 14.61 25.20 28.65 1/413 19055
/proc/meminfo: memFree=255516344/264257624 swapFree=67111528/67111528
[pid=19055] ppid=19053 vsize=30868 CPUtime=0.29 cores=0-31
/proc/19055/stat : 19055 (plingeling) R 19053 19055 18833 0 -1 4202496 5952 1241 0 0 27 1 0 1 22 0 1 0 666703918 31608832 5738 268435456000 4194304 4417452 140734245332544 18446744073709551615 4209644 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/19055/statm: 7717 5738 146 55 0 5603 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 30868

[startup+0.700527 s]
/proc/loadavg: 14.61 25.20 28.65 1/413 19055
/proc/meminfo: memFree=255516344/264257624 swapFree=67111528/67111528
[pid=19055] ppid=19053 vsize=80028 CPUtime=0.69 cores=0-31
/proc/19055/stat : 19055 (plingeling) R 19053 19055 18833 0 -1 4202496 18498 1241 0 0 64 4 0 1 24 0 1 0 666703918 81948672 18028 268435456000 4194304 4417452 140734245332544 18446744073709551615 4259603 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/19055/statm: 20007 18028 146 55 0 17893 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 80028

[startup+1.50042 s]
/proc/loadavg: 14.61 25.20 28.65 2/414 19061
/proc/meminfo: memFree=255378440/264257624 swapFree=67111528/67111528
[pid=19055] ppid=19053 vsize=670752 CPUtime=9.04 cores=0-31
/proc/19055/stat : 19055 (plingeling) S 19053 19055 18833 0 -1 4202496 35557 1241 0 0 895 8 0 1 18 0 33 0 666703918 686850048 34943 268435456000 4194304 4417452 140734245332544 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 24 0 0 0
/proc/19055/statm: 167688 34943 171 55 0 165574 0
Current children cumulated CPU time (s) 9.04
Current children cumulated vsize (KiB) 670752

[startup+3.10147 s]
/proc/loadavg: 14.61 25.20 28.65 33/446 19093
/proc/meminfo: memFree=255334496/264257624 swapFree=67111528/67111528
[pid=19055] ppid=19053 vsize=711984 CPUtime=60.17 cores=0-31
/proc/19055/stat : 19055 (plingeling) S 19053 19055 18833 0 -1 4202496 61326 1241 0 0 5995 21 0 1 18 0 33 0 666703918 729071616 46572 268435456000 4194304 4417452 140734245332544 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 24 0 0 0
/proc/19055/statm: 177996 46572 175 55 0 175882 0
[pid=19055/tid=19062] ppid=19053 vsize=711984 CPUtime=1.85 cores=0-31
/proc/19055/task/19062/stat : 19062 (plingeling) R 19053 19055 18833 0 -1 4202560 787 1241 0 0 184 0 0 1 20 0 33 0 666704044 729071616 46572 268435456000 4194304 4417452 140734245332544 18446744073709551615 4364798 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=19055/tid=19063] ppid=19053 vsize=711984 CPUtime=1.85 cores=0-31
/proc/19055/task/19063/stat : 19063 (plingeling) R 19053 19055 18833 0 -1 4202560 879 1241 0 0 184 0 0 1 25 0 33 0 666704044 729071616 46572 268435456000 4194304 4417452 140734245332544 18446744073709551615 4366491 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=19055/tid=19064] ppid=19053 vsize=711984 CPUtime=1.85 cores=0-31
/proc/19055/task/19064/stat : 19064 (plingeling) R 19053 19055 18833 0 -1 4202560 19 1241 0 0 184 0 0 1 20 0 33 0 666704044 729071616 46572 268435456000 4194304 4417452 140734245332544 18446744073709551615 4354648 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=19055/tid=19065] ppid=19053 vsize=711984 CPUtime=1.85 cores=0-31
/proc/19055/task/19065/stat : 19065 (plingeling) R 19053 19055 18833 0 -1 4202560 1538 1241 0 0 183 1 0 1 25 0 33 0 666704044 729071616 46572 268435456000 4194304 4417452 140734245332544 18446744073709551615 4364611 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=19055/tid=19066] ppid=19053 vsize=711984 CPUtime=1.85 cores=0-31
/proc/19055/task/19066/stat : 19066 (plingeling) R 19053 19055 18833 0 -1 4202560 1275 1241 0 0 184 0 0 1 20 0 33 0 666704044 729071616 46572 268435456000 4194304 4417452 140734245332544 18446744073709551615 4364626 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=19055/tid=19067] ppid=19053 vsize=711984 CPUtime=1.84 cores=0-31
/proc/19055/task/19067/stat : 19067 (plingeling) R 19053 19055 18833 0 -1 4202560 709 1241 0 0 183 0 0 1 25 0 33 0 666704044 729071616 46572 268435456000 4194304 4417452 140734245332544 18446744073709551615 4365987 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=19055/tid=19068] ppid=19053 vsize=711984 CPUtime=1.85 cores=0-31
/proc/19055/task/19068/stat : 19068 (plingeling) R 19053 19055 18833 0 -1 4202560 227 1241 0 0 184 0 0 1 25 0 33 0 666704044 729071616 46572 268435456000 4194304 4417452 140734245332544 18446744073709551615 4366804 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=19055/tid=19069] ppid=19053 vsize=711984 CPUtime=1.84 cores=0-31
/proc/19055/task/19069/stat : 19069 (plingeling) R 19053 19055 18833 0 -1 4202560 731 1241 0 0 183 0 0 1 25 0 33 0 666704044 729071616 46572 268435456000 4194304 4417452 140734245332544 18446744073709551615 4364675 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=19055/tid=19070] ppid=19053 vsize=711984 CPUtime=1.85 cores=0-31
/proc/19055/task/19070/stat : 19070 (plingeling) R 19053 19055 18833 0 -1 4202560 1184 1241 0 0 184 0 0 1 25 0 33 0 666704044 729071616 46572 268435456000 4194304 4417452 140734245332544 18446744073709551615 4364572 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=19055/tid=19071] ppid=19053 vsize=711984 CPUtime=1.84 cores=0-31
/proc/19055/task/19071/stat : 19071 (plingeling) R 19053 19055 18833 0 -1 4202560 1304 1241 0 0 183 0 0 1 25 0 33 0 666704044 729071616 46572 268435456000 4194304 4417452 140734245332544 18446744073709551615 4364798 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=19055/tid=19072] ppid=19053 vsize=711984 CPUtime=1.85 cores=0-31
/proc/19055/task/19072/stat : 19072 (plingeling) R 19053 19055 18833 0 -1 4202560 19 1241 0 0 184 0 0 1 25 0 33 0 666704044 729071616 46572 268435456000 4194304 4417452 140734245332544 18446744073709551615 4364645 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=19055/tid=19073] ppid=19053 vsize=711984 CPUtime=1.85 cores=0-31
/proc/19055/task/19073/stat : 19073 (plingeling) R 19053 19055 18833 0 -1 4202560 1154 1241 0 0 184 0 0 1 20 0 33 0 666704044 729071616 46572 268435456000 4194304 4417452 140734245332544 18446744073709551615 4364817 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=19055/tid=19074] ppid=19053 vsize=711984 CPUtime=1.85 cores=0-31
/proc/19055/task/19074/stat : 19074 (plingeling) R 19053 19055 18833 0 -1 4202560 940 1241 0 0 184 0 0 1 20 0 33 0 666704044 729071616 46572 268435456000 4194304 4417452 140734245332544 18446744073709551615 4232648 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=19055/tid=19075] ppid=19053 vsize=711984 CPUtime=1.84 cores=0-31
/proc/19055/task/19075/stat : 19075 (plingeling) R 19053 19055 18833 0 -1 4202560 978 1241 0 0 183 0 0 1 19 0 33 0 666704044 729071616 46572 268435456000 4194304 4417452 140734245332544 18446744073709551615 18446744073699065903 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=19055/tid=19076] ppid=19053 vsize=711984 CPUtime=1.85 cores=0-31
/proc/19055/task/19076/stat : 19076 (plingeling) R 19053 19055 18833 0 -1 4202560 441 1241 0 0 184 0 0 1 19 0 33 0 666704044 729071616 46572 268435456000 4194304 4417452 140734245332544 18446744073709551615 4364896 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=19055/tid=19077] ppid=19053 vsize=711984 CPUtime=1.85 cores=0-31
/proc/19055/task/19077/stat : 19077 (plingeling) R 19053 19055 18833 0 -1 4202560 714 1241 0 0 184 0 0 1 20 0 33 0 666704044 729071616 46572 268435456000 4194304 4417452 140734245332544 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=19055/tid=19078] ppid=19053 vsize=711984 CPUtime=1.81 cores=0-31
/proc/19055/task/19078/stat : 19078 (plingeling) R 19053 19055 18833 0 -1 4202560 668 1241 0 0 180 0 0 1 20 0 33 0 666704044 729071616 46572 268435456000 4194304 4417452 140734245332544 18446744073709551615 4354696 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=19055/tid=19079] ppid=19053 vsize=711984 CPUtime=1.85 cores=0-31
/proc/19055/task/19079/stat : 19079 (plingeling) R 19053 19055 18833 0 -1 4202560 969 1241 0 0 184 0 0 1 25 0 33 0 666704044 729071616 46572 268435456000 4194304 4417452 140734245332544 18446744073709551615 4365092 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=19055/tid=19080] ppid=19053 vsize=711984 CPUtime=1.84 cores=0-31
/proc/19055/task/19080/stat : 19080 (plingeling) R 19053 19055 18833 0 -1 4202560 533 1241 0 0 183 0 0 1 25 0 33 0 666704044 729071616 46572 268435456000 4194304 4417452 140734245332544 18446744073709551615 4364634 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=19055/tid=19081] ppid=19053 vsize=711984 CPUtime=1.84 cores=0-31
/proc/19055/task/19081/stat : 19081 (plingeling) R 19053 19055 18833 0 -1 4202560 729 1241 0 0 183 0 0 1 20 0 33 0 666704044 729071616 46572 268435456000 4194304 4417452 140734245332544 18446744073709551615 4365936 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=19055/tid=19082] ppid=19053 vsize=711984 CPUtime=1.84 cores=0-31
/proc/19055/task/19082/stat : 19082 (plingeling) R 19053 19055 18833 0 -1 4202560 1588 1241 0 0 183 0 0 1 20 0 33 0 666704044 729071616 46572 268435456000 4194304 4417452 140734245332544 18446744073709551615 4321368 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=19055/tid=19083] ppid=19053 vsize=711984 CPUtime=1.84 cores=0-31
/proc/19055/task/19083/stat : 19083 (plingeling) R 19053 19055 18833 0 -1 4202560 1501 1241 0 0 183 0 0 1 25 0 33 0 666704044 729071616 46572 268435456000 4194304 4417452 140734245332544 18446744073709551615 4354515 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=19055/tid=19084] ppid=19053 vsize=711984 CPUtime=1.84 cores=0-31
/proc/19055/task/19084/stat : 19084 (plingeling) R 19053 19055 18833 0 -1 4202560 542 1241 0 0 183 0 0 1 20 0 33 0 666704044 729071616 46572 268435456000 4194304 4417452 140734245332544 18446744073709551615 4364821 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=19055/tid=19085] ppid=19053 vsize=711984 CPUtime=1.82 cores=0-31
/proc/19055/task/19085/stat : 19085 (plingeling) R 19053 19055 18833 0 -1 4202560 770 1241 0 0 181 0 0 1 19 0 33 0 666704044 729071616 46572 268435456000 4194304 4417452 140734245332544 18446744073709551615 4364819 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=19055/tid=19086] ppid=19053 vsize=711984 CPUtime=1.84 cores=0-31
/proc/19055/task/19086/stat : 19086 (plingeling) R 19053 19055 18833 0 -1 4202560 717 1241 0 0 183 0 0 1 25 0 33 0 666704044 729071616 46572 268435456000 4194304 4417452 140734245332544 18446744073709551615 4364634 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=19055/tid=19087] ppid=19053 vsize=711984 CPUtime=1.84 cores=0-31
/proc/19055/task/19087/stat : 19087 (plingeling) R 19053 19055 18833 0 -1 4202560 743 1241 0 0 183 0 0 1 25 0 33 0 666704044 729071616 46572 268435456000 4194304 4417452 140734245332544 18446744073709551615 4357719 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=19055/tid=19088] ppid=19053 vsize=711984 CPUtime=1.85 cores=0-31
/proc/19055/task/19088/stat : 19088 (plingeling) R 19053 19055 18833 0 -1 4202560 846 1241 0 0 184 0 0 1 25 0 33 0 666704044 729071616 46572 268435456000 4194304 4417452 140734245332544 18446744073709551615 4366099 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=19055/tid=19089] ppid=19053 vsize=711984 CPUtime=1.84 cores=0-31
/proc/19055/task/19089/stat : 19089 (plingeling) R 19053 19055 18833 0 -1 4202560 986 1241 0 0 183 0 0 1 25 0 33 0 666704044 729071616 46572 268435456000 4194304 4417452 140734245332544 18446744073709551615 4366469 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=19055/tid=19090] ppid=19053 vsize=711984 CPUtime=1.84 cores=0-31
/proc/19055/task/19090/stat : 19090 (plingeling) R 19053 19055 18833 0 -1 4202560 735 1241 0 0 183 0 0 1 25 0 33 0 666704044 729071616 46572 268435456000 4194304 4417452 140734245332544 18446744073709551615 4366817 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=19055/tid=19091] ppid=19053 vsize=711984 CPUtime=1.84 cores=0-31
/proc/19055/task/19091/stat : 19091 (plingeling) R 19053 19055 18833 0 -1 4202560 839 1241 0 0 183 0 0 1 25 0 33 0 666704044 729071616 46572 268435456000 4194304 4417452 140734245332544 18446744073709551615 4366469 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=19055/tid=19092] ppid=19053 vsize=711984 CPUtime=1.84 cores=0-31
/proc/19055/task/19092/stat : 19092 (plingeling) R 19053 19055 18833 0 -1 4202560 387 1241 0 0 183 0 0 1 20 0 33 0 666704044 729071616 46572 268435456000 4194304 4417452 140734245332544 18446744073709551615 4357018 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=19055/tid=19093] ppid=19053 vsize=711984 CPUtime=1.84 cores=0-31
/proc/19055/task/19093/stat : 19093 (plingeling) R 19053 19055 18833 0 -1 4202560 952 1241 0 0 183 0 0 1 20 0 33 0 666704044 729071616 46572 268435456000 4194304 4417452 140734245332544 18446744073709551615 4364817 0 0 4096 17442 0 0 0 -1 30 0 0 0
Current children cumulated CPU time (s) 60.17
Current children cumulated vsize (KiB) 711984

[startup+6.30158 s]
/proc/loadavg: 16.00 25.31 28.67 33/446 19093
/proc/meminfo: memFree=255232812/264257624 swapFree=67111528/67111528
[pid=19055] ppid=19053 vsize=825292 CPUtime=161.7 cores=0-31
/proc/19055/stat : 19055 (plingeling) S 19053 19055 18833 0 -1 4202496 96861 1241 0 0 16107 62 0 1 18 0 33 0 666703918 845099008 78376 268435456000 4194304 4417452 140734245332544 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 24 0 0 0
/proc/19055/statm: 206323 78376 175 55 0 204209 0
[pid=19055/tid=19062] ppid=19053 vsize=825292 CPUtime=5.02 cores=0-31
/proc/19055/task/19062/stat : 19062 (plingeling) R 19053 19055 18833 0 -1 4202560 787 1241 0 0 501 0 0 1 20 0 33 0 666704044 845099008 78376 268435456000 4194304 4417452 140734245332544 18446744073709551615 4315939 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=19055/tid=19063] ppid=19053 vsize=825292 CPUtime=5.04 cores=0-31
/proc/19055/task/19063/stat : 19063 (plingeling) R 19053 19055 18833 0 -1 4202560 1306 1241 0 0 503 0 0 1 25 0 33 0 666704044 845099008 78376 268435456000 4194304 4417452 140734245332544 18446744073709551615 4310096 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=19055/tid=19064] ppid=19053 vsize=825292 CPUtime=5.01 cores=0-31
/proc/19055/task/19064/stat : 19064 (plingeling) R 19053 19055 18833 0 -1 4202560 1520 1241 0 0 498 2 0 1 25 0 33 0 666704044 845099008 78376 268435456000 4194304 4417452 140734245332544 18446744073709551615 4364807 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=19055/tid=19065] ppid=19053 vsize=825292 CPUtime=5.02 cores=0-31
/proc/19055/task/19065/stat : 19065 (plingeling) R 19053 19055 18833 0 -1 4202560 5476 1241 0 0 494 7 0 1 25 0 33 0 666704044 845099008 78376 268435456000 4194304 4417452 140734245332544 18446744073709551615 4364819 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=19055/tid=19066] ppid=19053 vsize=825292 CPUtime=5.04 cores=0-31
/proc/19055/task/19066/stat : 19066 (plingeling) R 19053 19055 18833 0 -1 4202560 1275 1241 0 0 503 0 0 1 25 0 33 0 666704044 845099008 78376 268435456000 4194304 4417452 140734245332544 18446744073709551615 4364850 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=19055/tid=19067] ppid=19053 vsize=825292 CPUtime=5.04 cores=0-31
/proc/19055/task/19067/stat : 19067 (plingeling) R 19053 19055 18833 0 -1 4202560 3161 1241 0 0 503 0 0 1 25 0 33 0 666704044 845099008 78376 268435456000 4194304 4417452 140734245332544 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=19055/tid=19068] ppid=19053 vsize=825292 CPUtime=5.01 cores=0-31
/proc/19055/task/19068/stat : 19068 (plingeling) R 19053 19055 18833 0 -1 4202560 908 1241 0 0 500 0 0 1 25 0 33 0 666704044 845099008 78376 268435456000 4194304 4417452 140734245332544 18446744073709551615 4277563 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=19055/tid=19069] ppid=19053 vsize=825292 CPUtime=5.02 cores=0-31
/proc/19055/task/19069/stat : 19069 (plingeling) R 19053 19055 18833 0 -1 4202560 731 1241 0 0 501 0 0 1 25 0 33 0 666704044 845099008 78376 268435456000 4194304 4417452 140734245332544 18446744073709551615 4312134 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=19055/tid=19070] ppid=19053 vsize=825292 CPUtime=5.05 cores=0-31
/proc/19055/task/19070/stat : 19070 (plingeling) R 19053 19055 18833 0 -1 4202560 3430 1241 0 0 501 3 0 1 25 0 33 0 666704044 845099008 78376 268435456000 4194304 4417452 140734245332544 18446744073709551615 4353879 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=19055/tid=19071] ppid=19053 vsize=825292 CPUtime=5.04 cores=0-31
/proc/19055/task/19071/stat : 19071 (plingeling) R 19053 19055 18833 0 -1 4202560 4025 1241 0 0 500 3 0 1 25 0 33 0 666704044 845099008 78376 268435456000 4194304 4417452 140734245332544 18446744073709551615 4364650 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=19055/tid=19072] ppid=19053 vsize=825292 CPUtime=5.01 cores=0-31
/proc/19055/task/19072/stat : 19072 (plingeling) R 19053 19055 18833 0 -1 4202560 2265 1241 0 0 498 2 0 1 20 0 33 0 666704044 845099008 78376 268435456000 4194304 4417452 140734245332544 18446744073709551615 4364650 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=19055/tid=19073] ppid=19053 vsize=825292 CPUtime=5.01 cores=0-31
/proc/19055/task/19073/stat : 19073 (plingeling) R 19053 19055 18833 0 -1 4202560 3262 1241 0 0 499 1 0 1 25 0 33 0 666704044 845099008 78376 268435456000 4194304 4417452 140734245332544 18446744073709551615 4307930 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=19055/tid=19074] ppid=19053 vsize=825292 CPUtime=4.99 cores=0-31
/proc/19055/task/19074/stat : 19074 (plingeling) R 19053 19055 18833 0 -1 4202560 3285 1241 0 0 498 0 0 1 25 0 33 0 666704044 845099008 78376 268435456000 4194304 4417452 140734245332544 18446744073709551615 4364752 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=19055/tid=19075] ppid=19053 vsize=825292 CPUtime=4.98 cores=0-31
/proc/19055/task/19075/stat : 19075 (plingeling) R 19053 19055 18833 0 -1 4202560 978 1241 0 0 497 0 0 1 18 0 33 0 666704044 845099008 78376 268435456000 4194304 4417452 140734245332544 18446744073709551615 4306361 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=19055/tid=19076] ppid=19053 vsize=825292 CPUtime=5.04 cores=0-31
/proc/19055/task/19076/stat : 19076 (plingeling) R 19053 19055 18833 0 -1 4202560 2210 1241 0 0 501 2 0 1 21 0 33 0 666704044 845099008 78376 268435456000 4194304 4417452 140734245332544 18446744073709551615 4292088 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=19055/tid=19077] ppid=19053 vsize=825292 CPUtime=5.04 cores=0-31
/proc/19055/task/19077/stat : 19077 (plingeling) R 19053 19055 18833 0 -1 4202560 714 1241 0 0 503 0 0 1 25 0 33 0 666704044 845099008 78376 268435456000 4194304 4417452 140734245332544 18446744073709551615 4364626 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=19055/tid=19078] ppid=19053 vsize=825292 CPUtime=4.94 cores=0-31
/proc/19055/task/19078/stat : 19078 (plingeling) R 19053 19055 18833 0 -1 4202560 3114 1241 0 0 491 2 0 1 25 0 33 0 666704044 845099008 78376 268435456000 4194304 4417452 140734245332544 18446744073709551615 4364619 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=19055/tid=19079] ppid=19053 vsize=825292 CPUtime=5.02 cores=0-31
/proc/19055/task/19079/stat : 19079 (plingeling) R 19053 19055 18833 0 -1 4202560 969 1241 0 0 501 0 0 1 25 0 33 0 666704044 845099008 78376 268435456000 4194304 4417452 140734245332544 18446744073709551615 4306602 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=19055/tid=19080] ppid=19053 vsize=825292 CPUtime=5.02 cores=0-31
/proc/19055/task/19080/stat : 19080 (plingeling) R 19053 19055 18833 0 -1 4202560 1834 1241 0 0 498 3 0 1 25 0 33 0 666704044 845099008 78376 268435456000 4194304 4417452 140734245332544 18446744073709551615 18446744073699065948 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=19055/tid=19081] ppid=19053 vsize=825292 CPUtime=5 cores=0-31
/proc/19055/task/19081/stat : 19081 (plingeling) R 19053 19055 18833 0 -1 4202560 729 1241 0 0 499 0 0 1 25 0 33 0 666704044 845099008 78376 268435456000 4194304 4417452 140734245332544 18446744073709551615 4366385 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=19055/tid=19082] ppid=19053 vsize=825292 CPUtime=5.03 cores=0-31
/proc/19055/task/19082/stat : 19082 (plingeling) R 19053 19055 18833 0 -1 4202560 2345 1241 0 0 502 0 0 1 25 0 33 0 666704044 845099008 78376 268435456000 4194304 4417452 140734245332544 18446744073709551615 4309659 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=19055/tid=19083] ppid=19053 vsize=825292 CPUtime=5.04 cores=0-31
/proc/19055/task/19083/stat : 19083 (plingeling) R 19053 19055 18833 0 -1 4202560 2525 1241 0 0 500 3 0 1 25 0 33 0 666704044 845099008 78376 268435456000 4194304 4417452 140734245332544 18446744073709551615 4270279 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=19055/tid=19084] ppid=19053 vsize=825292 CPUtime=5.01 cores=0-31
/proc/19055/task/19084/stat : 19084 (plingeling) R 19053 19055 18833 0 -1 4202560 542 1241 0 0 500 0 0 1 25 0 33 0 666704044 845099008 78376 268435456000 4194304 4417452 140734245332544 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=19055/tid=19085] ppid=19053 vsize=825292 CPUtime=5.02 cores=0-31
/proc/19055/task/19085/stat : 19085 (plingeling) R 19053 19055 18833 0 -1 4202560 1271 1241 0 0 501 0 0 1 25 0 33 0 666704044 845099008 78376 268435456000 4194304 4417452 140734245332544 18446744073709551615 4364780 0 0 4096 17442 0 0 0 -1 27 0 0 0

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

/proc/19055/task/19067/stat : 19067 (plingeling) R 19053 19055 18833 0 -1 4202560 402754 1241 0 0 495517 469 0 1 25 0 33 0 666704044 5834166272 1305544 268435456000 4194304 4417452 140734245332544 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=19055/tid=19068] ppid=19053 vsize=5697428 CPUtime=4958.91 cores=0-31
/proc/19055/task/19068/stat : 19068 (plingeling) R 19053 19055 18833 0 -1 4202560 460900 1241 0 0 495475 415 0 1 25 0 33 0 666704044 5834166272 1305544 268435456000 4194304 4417452 140734245332544 18446744073709551615 4364616 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=19055/tid=19069] ppid=19053 vsize=5697428 CPUtime=4959.59 cores=0-31
/proc/19055/task/19069/stat : 19069 (plingeling) R 19053 19055 18833 0 -1 4202560 367164 1241 0 0 495653 305 0 1 25 0 33 0 666704044 5834166272 1305544 268435456000 4194304 4417452 140734245332544 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=19055/tid=19070] ppid=19053 vsize=5697428 CPUtime=4959.89 cores=0-31
/proc/19055/task/19070/stat : 19070 (plingeling) R 19053 19055 18833 0 -1 4202560 320053 1241 0 0 495550 438 0 1 25 0 33 0 666704044 5834166272 1305544 268435456000 4194304 4417452 140734245332544 18446744073709551615 4364621 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=19055/tid=19071] ppid=19053 vsize=5697428 CPUtime=4953.78 cores=0-31
/proc/19055/task/19071/stat : 19071 (plingeling) R 19053 19055 18833 0 -1 4202560 386893 1241 0 0 494925 452 0 1 25 0 33 0 666704044 5834166272 1305544 268435456000 4194304 4417452 140734245332544 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=19055/tid=19072] ppid=19053 vsize=5697428 CPUtime=4959.11 cores=0-31
/proc/19055/task/19072/stat : 19072 (plingeling) R 19053 19055 18833 0 -1 4202560 260774 1241 0 0 495500 410 0 1 25 0 33 0 666704044 5834166272 1305544 268435456000 4194304 4417452 140734245332544 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=19055/tid=19073] ppid=19053 vsize=5697428 CPUtime=4955.75 cores=0-31
/proc/19055/task/19073/stat : 19073 (plingeling) R 19053 19055 18833 0 -1 4202560 406562 1241 0 0 495182 392 0 1 25 0 33 0 666704044 5834166272 1305544 268435456000 4194304 4417452 140734245332544 18446744073709551615 4364735 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=19055/tid=19074] ppid=19053 vsize=5697428 CPUtime=4935.38 cores=0-31
/proc/19055/task/19074/stat : 19074 (plingeling) R 19053 19055 18833 0 -1 4202560 649211 1241 0 0 493010 527 0 1 25 0 33 0 666704044 5834166272 1305544 268435456000 4194304 4417452 140734245332544 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=19055/tid=19075] ppid=19053 vsize=5697428 CPUtime=4959.78 cores=0-31
/proc/19055/task/19075/stat : 19075 (plingeling) R 19053 19055 18833 0 -1 4202560 233050 1241 0 0 495630 347 0 1 25 0 33 0 666704044 5834166272 1305544 268435456000 4194304 4417452 140734245332544 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=19055/tid=19076] ppid=19053 vsize=5697428 CPUtime=4938.39 cores=0-31
/proc/19055/task/19076/stat : 19076 (plingeling) R 19053 19055 18833 0 -1 4202560 315361 1241 0 0 493404 434 0 1 25 0 33 0 666704044 5834166272 1305544 268435456000 4194304 4417452 140734245332544 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=19055/tid=19077] ppid=19053 vsize=5697428 CPUtime=4960.07 cores=0-31
/proc/19055/task/19077/stat : 19077 (plingeling) R 19053 19055 18833 0 -1 4202560 408224 1241 0 0 495574 432 0 1 25 0 33 0 666704044 5834166272 1305544 268435456000 4194304 4417452 140734245332544 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=19055/tid=19078] ppid=19053 vsize=5697428 CPUtime=4908.87 cores=0-31
/proc/19055/task/19078/stat : 19078 (plingeling) R 19053 19055 18833 0 -1 4202560 153238 1241 0 0 490663 223 0 1 25 0 33 0 666704044 5834166272 1305544 268435456000 4194304 4417452 140734245332544 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=19055/tid=19079] ppid=19053 vsize=5697428 CPUtime=4959.11 cores=0-31
/proc/19055/task/19079/stat : 19079 (plingeling) R 19053 19055 18833 0 -1 4202560 317102 1241 0 0 495556 354 0 1 25 0 33 0 666704044 5834166272 1305544 268435456000 4194304 4417452 140734245332544 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=19055/tid=19080] ppid=19053 vsize=5697428 CPUtime=4957.98 cores=0-31
/proc/19055/task/19080/stat : 19080 (plingeling) R 19053 19055 18833 0 -1 4202560 536941 1241 0 0 495300 497 0 1 25 0 33 0 666704044 5834166272 1305544 268435456000 4194304 4417452 140734245332544 18446744073709551615 4364537 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=19055/tid=19081] ppid=19053 vsize=5697428 CPUtime=4959.39 cores=0-31
/proc/19055/task/19081/stat : 19081 (plingeling) R 19053 19055 18833 0 -1 4202560 276177 1241 0 0 495606 332 0 1 25 0 33 0 666704044 5834166272 1305544 268435456000 4194304 4417452 140734245332544 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=19055/tid=19082] ppid=19053 vsize=5697428 CPUtime=4958.45 cores=0-31
/proc/19055/task/19082/stat : 19082 (plingeling) R 19053 19055 18833 0 -1 4202560 429887 1241 0 0 495439 405 0 1 25 0 33 0 666704044 5834166272 1305544 268435456000 4194304 4417452 140734245332544 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=19055/tid=19083] ppid=19053 vsize=5697428 CPUtime=4959.03 cores=0-31
/proc/19055/task/19083/stat : 19083 (plingeling) R 19053 19055 18833 0 -1 4202560 503954 1241 0 0 495422 480 0 1 25 0 33 0 666704044 5834166272 1305544 268435456000 4194304 4417452 140734245332544 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=19055/tid=19084] ppid=19053 vsize=5697428 CPUtime=4959.56 cores=0-31
/proc/19055/task/19084/stat : 19084 (plingeling) R 19053 19055 18833 0 -1 4202560 283073 1241 0 0 495632 323 0 1 25 0 33 0 666704044 5834166272 1305544 268435456000 4194304 4417452 140734245332544 18446744073709551615 4365050 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=19055/tid=19085] ppid=19053 vsize=5697428 CPUtime=4939.87 cores=0-31
/proc/19055/task/19085/stat : 19085 (plingeling) R 19053 19055 18833 0 -1 4202560 506834 1241 0 0 493624 362 0 1 25 0 33 0 666704044 5834166272 1305544 268435456000 4194304 4417452 140734245332544 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=19055/tid=19086] ppid=19053 vsize=5697428 CPUtime=4959.07 cores=0-31
/proc/19055/task/19086/stat : 19086 (plingeling) R 19053 19055 18833 0 -1 4202560 473346 1241 0 0 495338 568 0 1 25 0 33 0 666704044 5834166272 1305544 268435456000 4194304 4417452 140734245332544 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=19055/tid=19087] ppid=19053 vsize=5697428 CPUtime=4959.43 cores=0-31
/proc/19055/task/19087/stat : 19087 (plingeling) R 19053 19055 18833 0 -1 4202560 303464 1241 0 0 495603 339 0 1 25 0 33 0 666704044 5834166272 1305544 268435456000 4194304 4417452 140734245332544 18446744073709551615 4364768 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=19055/tid=19088] ppid=19053 vsize=5697428 CPUtime=4959.59 cores=0-31
/proc/19055/task/19088/stat : 19088 (plingeling) R 19053 19055 18833 0 -1 4202560 534778 1241 0 0 495423 535 0 1 25 0 33 0 666704044 5834166272 1305544 268435456000 4194304 4417452 140734245332544 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=19055/tid=19089] ppid=19053 vsize=5697428 CPUtime=4954.61 cores=0-31
/proc/19055/task/19089/stat : 19089 (plingeling) R 19053 19055 18833 0 -1 4202560 530359 1241 0 0 494970 490 0 1 25 0 33 0 666704044 5834166272 1305544 268435456000 4194304 4417452 140734245332544 18446744073709551615 4364645 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=19055/tid=19090] ppid=19053 vsize=5697428 CPUtime=4959.6 cores=0-31
/proc/19055/task/19090/stat : 19090 (plingeling) R 19053 19055 18833 0 -1 4202560 442128 1241 0 0 495324 635 0 1 25 0 33 0 666704044 5834166272 1305544 268435456000 4194304 4417452 140734245332544 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=19055/tid=19091] ppid=19053 vsize=5697428 CPUtime=4948.76 cores=0-31
/proc/19055/task/19091/stat : 19091 (plingeling) R 19053 19055 18833 0 -1 4202560 568967 1241 0 0 494382 493 0 1 25 0 33 0 666704044 5834166272 1305544 268435456000 4194304 4417452 140734245332544 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=19055/tid=19092] ppid=19053 vsize=5697428 CPUtime=4956.83 cores=0-31
/proc/19055/task/19092/stat : 19092 (plingeling) R 19053 19055 18833 0 -1 4202560 590579 1241 0 0 495256 426 0 1 25 0 33 0 666704044 5834166272 1305544 268435456000 4194304 4417452 140734245332544 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=19055/tid=19093] ppid=19053 vsize=5697428 CPUtime=4959.73 cores=0-31
/proc/19055/task/19093/stat : 19093 (plingeling) R 19053 19055 18833 0 -1 4202560 366658 1241 0 0 495692 280 0 1 25 0 33 0 666704044 5834166272 1305544 268435456000 4194304 4417452 140734245332544 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 30 0 0 0
Current children cumulated CPU time (s) 158559
Current children cumulated vsize (KiB) 5697428



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+5007.4 s]
/proc/loadavg: 32.26 32.12 32.03 33/446 19240
/proc/meminfo: memFree=250238476/264257624 swapFree=67111528/67111528
[pid=19055] ppid=19053 vsize=5784476 CPUtime=160001 cores=0-31
/proc/19055/stat : 19055 (plingeling) S 19053 19055 18833 0 -1 4202496 12850236 1241 0 0 15986138 13956 0 1 18 0 33 0 666703918 5923303424 1327306 268435456000 4194304 4417452 140734245332544 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 24 0 0 0
/proc/19055/statm: 1446119 1327306 175 55 0 1444005 0
[pid=19055/tid=19062] ppid=19053 vsize=5784476 CPUtime=5004.69 cores=0-31
/proc/19055/task/19062/stat : 19062 (plingeling) R 19053 19055 18833 0 -1 4202560 287419 1241 0 0 499994 474 0 1 25 0 33 0 666704044 5923303424 1327306 268435456000 4194304 4417452 140734245332544 18446744073709551615 4309175 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=19055/tid=19063] ppid=19053 vsize=5784476 CPUtime=5003.93 cores=0-31
/proc/19055/task/19063/stat : 19063 (plingeling) R 19053 19055 18833 0 -1 4202560 243020 1241 0 0 499960 432 0 1 25 0 33 0 666704044 5923303424 1327306 268435456000 4194304 4417452 140734245332544 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=19055/tid=19064] ppid=19053 vsize=5784476 CPUtime=5004.79 cores=0-31
/proc/19055/task/19064/stat : 19064 (plingeling) R 19053 19055 18833 0 -1 4202560 374772 1241 0 0 500067 411 0 1 25 0 33 0 666704044 5923303424 1327306 268435456000 4194304 4417452 140734245332544 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=19055/tid=19065] ppid=19053 vsize=5784476 CPUtime=5004.15 cores=0-31
/proc/19055/task/19065/stat : 19065 (plingeling) R 19053 19055 18833 0 -1 4202560 505668 1241 0 0 499499 915 0 1 25 0 33 0 666704044 5923303424 1327306 268435456000 4194304 4417452 140734245332544 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=19055/tid=19066] ppid=19053 vsize=5784476 CPUtime=5004.99 cores=0-31
/proc/19055/task/19066/stat : 19066 (plingeling) R 19053 19055 18833 0 -1 4202560 323413 1241 0 0 500193 305 0 1 25 0 33 0 666704044 5923303424 1327306 268435456000 4194304 4417452 140734245332544 18446744073709551615 258650649913 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=19055/tid=19067] ppid=19053 vsize=5784476 CPUtime=5004.99 cores=0-31
/proc/19055/task/19067/stat : 19067 (plingeling) R 19053 19055 18833 0 -1 4202560 402754 1241 0 0 500029 469 0 1 25 0 33 0 666704044 5923303424 1327306 268435456000 4194304 4417452 140734245332544 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=19055/tid=19068] ppid=19053 vsize=5784476 CPUtime=5004.03 cores=0-31
/proc/19055/task/19068/stat : 19068 (plingeling) R 19053 19055 18833 0 -1 4202560 481107 1241 0 0 499977 425 0 1 25 0 33 0 666704044 5923303424 1327306 268435456000 4194304 4417452 140734245332544 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=19055/tid=19069] ppid=19053 vsize=5784476 CPUtime=5004.7 cores=0-31
/proc/19055/task/19069/stat : 19069 (plingeling) R 19053 19055 18833 0 -1 4202560 367164 1241 0 0 500164 305 0 1 25 0 33 0 666704044 5923303424 1327306 268435456000 4194304 4417452 140734245332544 18446744073709551615 4364819 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=19055/tid=19070] ppid=19053 vsize=5784476 CPUtime=5005 cores=0-31
/proc/19055/task/19070/stat : 19070 (plingeling) R 19053 19055 18833 0 -1 4202560 320053 1241 0 0 500061 438 0 1 25 0 33 0 666704044 5923303424 1327306 268435456000 4194304 4417452 140734245332544 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=19055/tid=19071] ppid=19053 vsize=5784476 CPUtime=4998.89 cores=0-31
/proc/19055/task/19071/stat : 19071 (plingeling) R 19053 19055 18833 0 -1 4202560 386893 1241 0 0 499436 452 0 1 25 0 33 0 666704044 5923303424 1327306 268435456000 4194304 4417452 140734245332544 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=19055/tid=19072] ppid=19053 vsize=5784476 CPUtime=5004.22 cores=0-31
/proc/19055/task/19072/stat : 19072 (plingeling) R 19053 19055 18833 0 -1 4202560 260774 1241 0 0 500011 410 0 1 25 0 33 0 666704044 5923303424 1327306 268435456000 4194304 4417452 140734245332544 18446744073709551615 4356995 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=19055/tid=19073] ppid=19053 vsize=5784476 CPUtime=5000.86 cores=0-31
/proc/19055/task/19073/stat : 19073 (plingeling) R 19053 19055 18833 0 -1 4202560 406562 1241 0 0 499693 392 0 1 25 0 33 0 666704044 5923303424 1327306 268435456000 4194304 4417452 140734245332544 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=19055/tid=19074] ppid=19053 vsize=5784476 CPUtime=4979.2 cores=0-31
/proc/19055/task/19074/stat : 19074 (plingeling) R 19053 19055 18833 0 -1 4202560 649211 1241 0 0 497392 527 0 1 25 0 33 0 666704044 5923303424 1327306 268435456000 4194304 4417452 140734245332544 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=19055/tid=19075] ppid=19053 vsize=5784476 CPUtime=5004.9 cores=0-31
/proc/19055/task/19075/stat : 19075 (plingeling) R 19053 19055 18833 0 -1 4202560 233050 1241 0 0 500142 347 0 1 25 0 33 0 666704044 5923303424 1327306 268435456000 4194304 4417452 140734245332544 18446744073709551615 4364819 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=19055/tid=19076] ppid=19053 vsize=5784476 CPUtime=4983.5 cores=0-31
/proc/19055/task/19076/stat : 19076 (plingeling) R 19053 19055 18833 0 -1 4202560 315361 1241 0 0 497915 434 0 1 25 0 33 0 666704044 5923303424 1327306 268435456000 4194304 4417452 140734245332544 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=19055/tid=19077] ppid=19053 vsize=5784476 CPUtime=5005.18 cores=0-31
/proc/19055/task/19077/stat : 19077 (plingeling) R 19053 19055 18833 0 -1 4202560 409777 1241 0 0 500084 433 0 1 25 0 33 0 666704044 5923303424 1327306 268435456000 4194304 4417452 140734245332544 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=19055/tid=19078] ppid=19053 vsize=5784476 CPUtime=4953.99 cores=0-31
/proc/19055/task/19078/stat : 19078 (plingeling) R 19053 19055 18833 0 -1 4202560 153238 1241 0 0 495175 223 0 1 25 0 33 0 666704044 5923303424 1327306 268435456000 4194304 4417452 140734245332544 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=19055/tid=19079] ppid=19053 vsize=5784476 CPUtime=5004.22 cores=0-31
/proc/19055/task/19079/stat : 19079 (plingeling) R 19053 19055 18833 0 -1 4202560 317102 1241 0 0 500067 354 0 1 25 0 33 0 666704044 5923303424 1327306 268435456000 4194304 4417452 140734245332544 18446744073709551615 4365058 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=19055/tid=19080] ppid=19053 vsize=5784476 CPUtime=5003.1 cores=0-31
/proc/19055/task/19080/stat : 19080 (plingeling) R 19053 19055 18833 0 -1 4202560 536941 1241 0 0 499811 498 0 1 25 0 33 0 666704044 5923303424 1327306 268435456000 4194304 4417452 140734245332544 18446744073709551615 4365036 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=19055/tid=19081] ppid=19053 vsize=5784476 CPUtime=5004.51 cores=0-31
/proc/19055/task/19081/stat : 19081 (plingeling) R 19053 19055 18833 0 -1 4202560 276177 1241 0 0 500118 332 0 1 25 0 33 0 666704044 5923303424 1327306 268435456000 4194304 4417452 140734245332544 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=19055/tid=19082] ppid=19053 vsize=5784476 CPUtime=5003.56 cores=0-31
/proc/19055/task/19082/stat : 19082 (plingeling) R 19053 19055 18833 0 -1 4202560 433634 1241 0 0 499949 406 0 1 25 0 33 0 666704044 5923303424 1327306 268435456000 4194304 4417452 140734245332544 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=19055/tid=19083] ppid=19053 vsize=5784476 CPUtime=5004.14 cores=0-31
/proc/19055/task/19083/stat : 19083 (plingeling) R 19053 19055 18833 0 -1 4202560 512146 1241 0 0 499932 481 0 1 25 0 33 0 666704044 5923303424 1327306 268435456000 4194304 4417452 140734245332544 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=19055/tid=19084] ppid=19053 vsize=5784476 CPUtime=5004.67 cores=0-31
/proc/19055/task/19084/stat : 19084 (plingeling) R 19053 19055 18833 0 -1 4202560 283073 1241 0 0 500143 323 0 1 25 0 33 0 666704044 5923303424 1327306 268435456000 4194304 4417452 140734245332544 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=19055/tid=19085] ppid=19053 vsize=5784476 CPUtime=4984.98 cores=0-31
/proc/19055/task/19085/stat : 19085 (plingeling) R 19053 19055 18833 0 -1 4202560 506834 1241 0 0 498135 362 0 1 25 0 33 0 666704044 5923303424 1327306 268435456000 4194304 4417452 140734245332544 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=19055/tid=19086] ppid=19053 vsize=5784476 CPUtime=5004.18 cores=0-31
/proc/19055/task/19086/stat : 19086 (plingeling) R 19053 19055 18833 0 -1 4202560 473346 1241 0 0 499849 568 0 1 25 0 33 0 666704044 5923303424 1327306 268435456000 4194304 4417452 140734245332544 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=19055/tid=19087] ppid=19053 vsize=5784476 CPUtime=5004.54 cores=0-31
/proc/19055/task/19087/stat : 19087 (plingeling) R 19053 19055 18833 0 -1 4202560 303464 1241 0 0 500114 339 0 1 25 0 33 0 666704044 5923303424 1327306 268435456000 4194304 4417452 140734245332544 18446744073709551615 4364873 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=19055/tid=19088] ppid=19053 vsize=5784476 CPUtime=5004.7 cores=0-31
/proc/19055/task/19088/stat : 19088 (plingeling) R 19053 19055 18833 0 -1 4202560 539445 1241 0 0 499933 536 0 1 25 0 33 0 666704044 5923303424 1327306 268435456000 4194304 4417452 140734245332544 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=19055/tid=19089] ppid=19053 vsize=5784476 CPUtime=4999.72 cores=0-31
/proc/19055/task/19089/stat : 19089 (plingeling) R 19053 19055 18833 0 -1 4202560 532619 1241 0 0 499475 496 0 1 25 0 33 0 666704044 5923303424 1327306 268435456000 4194304 4417452 140734245332544 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=19055/tid=19090] ppid=19053 vsize=5784476 CPUtime=5004.72 cores=0-31
/proc/19055/task/19090/stat : 19090 (plingeling) R 19053 19055 18833 0 -1 4202560 442128 1241 0 0 499836 635 0 1 25 0 33 0 666704044 5923303424 1327306 268435456000 4194304 4417452 140734245332544 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=19055/tid=19091] ppid=19053 vsize=5784476 CPUtime=4993.88 cores=0-31
/proc/19055/task/19091/stat : 19091 (plingeling) R 19053 19055 18833 0 -1 4202560 577159 1241 0 0 498892 495 0 1 25 0 33 0 666704044 5923303424 1327306 268435456000 4194304 4417452 140734245332544 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=19055/tid=19092] ppid=19053 vsize=5784476 CPUtime=5001.95 cores=0-31
/proc/19055/task/19092/stat : 19092 (plingeling) R 19053 19055 18833 0 -1 4202560 592072 1241 0 0 499764 430 0 1 25 0 33 0 666704044 5923303424 1327306 268435456000 4194304 4417452 140734245332544 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=19055/tid=19093] ppid=19053 vsize=5784476 CPUtime=5004.84 cores=0-31
/proc/19055/task/19093/stat : 19093 (plingeling) R 19053 19055 18833 0 -1 4202560 368938 1241 0 0 500197 286 0 1 25 0 33 0 666704044 5923303424 1327306 268435456000 4194304 4417452 140734245332544 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 30 0 0 0
Current children cumulated CPU time (s) 160001
Current children cumulated vsize (KiB) 5784476

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+5007.53 s]
/proc/loadavg: 32.26 32.12 32.03 33/446 19240
/proc/meminfo: memFree=250238476/264257624 swapFree=67111528/67111528
[pid=19055] ppid=19053 vsize=0 CPUtime=160001 cores=0-31
/proc/19055/stat : 19055 (plingeling) Z 19053 19055 18833 0 -1 4203548 12850236 1241 0 0 15986160 13966 0 1 18 0 2 0 666703918 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 24 0 0 0
/proc/19055/statm: 0 0 0 0 0 0 0
[pid=19055/tid=19086] ppid=19053 vsize=0 CPUtime=5004.29 cores=0-31
/proc/19055/task/19086/stat : 19086 (plingeling) R 19053 19055 18833 0 -1 4203588 473346 1241 0 0 499850 578 0 1 25 0 2 0 666704044 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 -1 24 0 0 0
Current children cumulated CPU time (s) 160001
Current children cumulated vsize (KiB) 0

[startup+5007.7 s]
/proc/loadavg: 32.26 32.12 32.03 33/446 19240
/proc/meminfo: memFree=250238476/264257624 swapFree=67111528/67111528
[pid=19055] ppid=19053 vsize=0 CPUtime=160001 cores=0-31
/proc/19055/stat : 19055 (plingeling) Z 19053 19055 18833 0 -1 4203548 12850236 1241 0 0 15986160 13983 0 1 18 0 2 0 666703918 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 24 0 0 0
/proc/19055/statm: 0 0 0 0 0 0 0
[pid=19055/tid=19086] ppid=19053 vsize=0 CPUtime=5004.46 cores=0-31
/proc/19055/task/19086/stat : 19086 (plingeling) R 19053 19055 18833 0 -1 4203588 473346 1241 0 0 499850 595 0 1 25 0 2 0 666704044 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 -1 24 0 0 0
Current children cumulated CPU time (s) 160001
Current children cumulated vsize (KiB) 0

[startup+5007.8 s]
/proc/loadavg: 32.26 32.12 32.03 33/446 19240
/proc/meminfo: memFree=250238476/264257624 swapFree=67111528/67111528
[pid=19055] ppid=19053 vsize=0 CPUtime=160002 cores=0-31
/proc/19055/stat : 19055 (plingeling) Z 19053 19055 18833 0 -1 4203548 12850236 1241 0 0 15986160 13993 0 1 18 0 2 0 666703918 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 24 0 0 0
/proc/19055/statm: 0 0 0 0 0 0 0
[pid=19055/tid=19086] ppid=19053 vsize=0 CPUtime=5004.56 cores=0-31
/proc/19055/task/19086/stat : 19086 (plingeling) R 19053 19055 18833 0 -1 4203588 473346 1241 0 0 499850 605 0 1 25 0 2 0 666704044 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 -1 24 0 0 0
Current children cumulated CPU time (s) 160002
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 5007.9
CPU time (s): 160002
CPU user time (s): 159862
CPU system time (s): 140.047
CPU usage (%): 3194.99
Max. virtual memory (cumulated for all children) (KiB): 6001916

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 159862
system time used= 140.047
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12851477
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= 2522
involuntary context switches= 418189

runsolver used 25.6021 second user time and 115.646 second system time

The end

Launcher Data 

Begin job on node200 at 2011-05-16 15:22:55
IDJOB=3372339
IDBENCH=71078
IDSOLVER=1852
FILE ID=node200/3372339-1305552175
RUNJOBID= node200-1305552053-18847
PBS_JOBID= 13285548
Free space on /tmp= 62052 MiB

SOLVER NAME= Plingeling 587f (fixed)
BENCH NAME= SAT09/APPLICATIONS/satComp09_BioInstances/rbcl_xits_08_UNSAT.cnf
COMMAND LINE= plingeling -t NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3372339-1305552175/watcher-3372339-1305552175 -o /tmp/evaluation-result-3372339-1305552175/solver-3372339-1305552175 -C 160000 -W 5100 -M 266338304  plingeling -t 32 HOME/instance-3372339-1305552175.cnf

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

MD5SUM BENCH= 66aa2e18c32a02f55a810347a9702c7f
RANDOM SEED=477312923

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:      255516508 kB
Buffers:        444844 kB
Cached:        7866164 kB
SwapCached:          0 kB
Active:        7389748 kB
Inactive:       990436 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      255516508 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            1264 kB
Writeback:           0 kB
AnonPages:       69484 kB
Mapped:          14564 kB
Slab:           251464 kB
PageTables:       3764 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   216068 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= 62048 MiB
End job on node200 at 2011-05-16 16:46:25