Trace number 3372270

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) 160001 5007.7

General information on the benchmark

NameAPPLICATIONS/crypto/
desgen/gss-27-s100.cnf
MD5SUMf47c33d2a9a327da4633207adfef7b77
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark22271.7
Satisfiable
(Un)Satisfiability was proved
Number of variables31951
Number of clauses96161
Sum of the clauses size226837
Maximum clause length3
Minimum clause length1
Number of clauses of size 164
Number of clauses of size 261518
Number of clauses of size 334579
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

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-3372270-1305539887/watcher-3372270-1305539887 -o /tmp/evaluation-result-3372270-1305539887/solver-3372270-1305539887 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372270-1305539887.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: 30.88 31.65 31.92 1/413 17054
/proc/meminfo: memFree=255553232/264257624 swapFree=67111528/67111528
[pid=17054] ppid=17052 vsize=26632 CPUtime=0.03 cores=0-31
/proc/17054/stat : 17054 (plingeling) R 17052 17054 16898 0 -1 4202496 4746 1246 0 0 1 1 0 1 18 0 1 0 665475099 27271168 4677 268435456000 4194304 4417452 140733631687408 18446744073709551615 258650955760 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/17054/statm: 6658 4677 146 55 0 4544 0

[startup+0.135501 s]
/proc/loadavg: 30.88 31.65 31.92 1/413 17054
/proc/meminfo: memFree=255553232/264257624 swapFree=67111528/67111528
[pid=17054] ppid=17052 vsize=37692 CPUtime=0.12 cores=0-31
/proc/17054/stat : 17054 (plingeling) R 17052 17054 16898 0 -1 4202496 7489 1246 0 0 10 1 0 1 18 0 1 0 665475099 38596608 7420 268435456000 4194304 4417452 140733631687408 18446744073709551615 4262065 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/17054/statm: 9423 7420 146 55 0 7309 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 37692

[startup+0.200512 s]
/proc/loadavg: 30.88 31.65 31.92 1/413 17054
/proc/meminfo: memFree=255553232/264257624 swapFree=67111528/67111528
[pid=17054] ppid=17052 vsize=37692 CPUtime=0.19 cores=0-31
/proc/17054/stat : 17054 (plingeling) R 17052 17054 16898 0 -1 4202496 7489 1246 0 0 17 1 0 1 18 0 1 0 665475099 38596608 7420 268435456000 4194304 4417452 140733631687408 18446744073709551615 4274358 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/17054/statm: 9423 7420 146 55 0 7309 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 37692

[startup+0.300512 s]
/proc/loadavg: 30.88 31.65 31.92 1/413 17054
/proc/meminfo: memFree=255553232/264257624 swapFree=67111528/67111528
[pid=17054] ppid=17052 vsize=49272 CPUtime=0.29 cores=0-31
/proc/17054/stat : 17054 (plingeling) R 17052 17054 16898 0 -1 4202496 10408 1246 0 0 26 2 0 1 19 0 1 0 665475099 50454528 10339 268435456000 4194304 4417452 140733631687408 18446744073709551615 4264888 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/17054/statm: 12318 10339 146 55 0 10204 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 49272

[startup+0.700524 s]
/proc/loadavg: 30.88 31.65 31.92 1/413 17054
/proc/meminfo: memFree=255553232/264257624 swapFree=67111528/67111528
[pid=17054] ppid=17052 vsize=73084 CPUtime=0.69 cores=0-31
/proc/17054/stat : 17054 (plingeling) R 17052 17054 16898 0 -1 4202496 16345 1246 0 0 64 4 0 1 19 0 1 0 665475099 74838016 16276 268435456000 4194304 4417452 140733631687408 18446744073709551615 4264909 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/17054/statm: 18271 16276 146 55 0 16157 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 73084

[startup+1.50056 s]
/proc/loadavg: 28.49 31.14 31.75 2/414 17060
/proc/meminfo: memFree=255445260/264257624 swapFree=67111528/67111528
[pid=17054] ppid=17052 vsize=150736 CPUtime=1.5 cores=0-31
/proc/17054/stat : 17054 (plingeling) R 17052 17054 16898 0 -1 4202496 35774 1246 0 0 140 9 0 1 21 0 1 0 665475099 154353664 35705 268435456000 4194304 4417452 140733631687408 18446744073709551615 4231631 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/17054/statm: 37684 35705 146 55 0 35570 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 150736

[startup+3.10155 s]
/proc/loadavg: 28.49 31.14 31.75 33/446 17092
/proc/meminfo: memFree=255338968/264257624 swapFree=67111528/67111528
[pid=17054] ppid=17052 vsize=855336 CPUtime=37.76 cores=0-31
/proc/17054/stat : 17054 (plingeling) S 17052 17054 16898 0 -1 4202496 87812 1246 0 0 3700 75 0 1 25 0 33 0 665475099 875864064 58989 268435456000 4194304 4417452 140733631687408 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 29 0 0 0
/proc/17054/statm: 213834 58989 169 55 0 211720 0
[pid=17054/tid=17061] ppid=17052 vsize=855336 CPUtime=1.13 cores=0-31
/proc/17054/task/17061/stat : 17061 (plingeling) R 17052 17054 16898 0 -1 4202560 843 1246 0 0 111 1 0 1 19 0 33 0 665475293 875864064 58989 268435456000 4194304 4417452 140733631687408 18446744073709551615 4284341 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=17054/tid=17062] ppid=17052 vsize=855336 CPUtime=1.14 cores=0-31
/proc/17054/task/17062/stat : 17062 (plingeling) R 17052 17054 16898 0 -1 4202560 1016 1246 0 0 112 1 0 1 19 0 33 0 665475293 875864064 58989 268435456000 4194304 4417452 140733631687408 18446744073709551615 4284341 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=17054/tid=17063] ppid=17052 vsize=855336 CPUtime=1.13 cores=0-31
/proc/17054/task/17063/stat : 17063 (plingeling) R 17052 17054 16898 0 -1 4202560 811 1246 0 0 111 1 0 1 19 0 33 0 665475293 875864064 58989 268435456000 4194304 4417452 140733631687408 18446744073709551615 4300603 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=17054/tid=17064] ppid=17052 vsize=855336 CPUtime=1.13 cores=0-31
/proc/17054/task/17064/stat : 17064 (plingeling) R 17052 17054 16898 0 -1 4202560 701 1246 0 0 112 0 0 1 19 0 33 0 665475293 875864064 58989 268435456000 4194304 4417452 140733631687408 18446744073709551615 4250986 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=17054/tid=17065] ppid=17052 vsize=855336 CPUtime=1.12 cores=0-31
/proc/17054/task/17065/stat : 17065 (plingeling) R 17052 17054 16898 0 -1 4202560 1819 1246 0 0 109 2 0 1 19 0 33 0 665475293 875864064 58989 268435456000 4194304 4417452 140733631687408 18446744073709551615 4237211 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=17054/tid=17066] ppid=17052 vsize=855336 CPUtime=1.12 cores=0-31
/proc/17054/task/17066/stat : 17066 (plingeling) R 17052 17054 16898 0 -1 4202560 1794 1246 0 0 108 3 0 1 18 0 33 0 665475293 875864064 58989 268435456000 4194304 4417452 140733631687408 18446744073709551615 4275814 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=17054/tid=17067] ppid=17052 vsize=855336 CPUtime=1.13 cores=0-31
/proc/17054/task/17067/stat : 17067 (plingeling) R 17052 17054 16898 0 -1 4202560 1123 1246 0 0 110 2 0 1 19 0 33 0 665475293 875864064 58989 268435456000 4194304 4417452 140733631687408 18446744073709551615 4290713 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=17054/tid=17068] ppid=17052 vsize=855336 CPUtime=1.12 cores=0-31
/proc/17054/task/17068/stat : 17068 (plingeling) D 17052 17054 16898 0 -1 4202560 2675 1246 0 0 110 1 0 1 19 0 33 0 665475294 875864064 58989 268435456000 4194304 4417452 140733631687408 18446744073709551615 258650999383 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=17054/tid=17069] ppid=17052 vsize=855336 CPUtime=1.11 cores=0-31
/proc/17054/task/17069/stat : 17069 (plingeling) D 17052 17054 16898 0 -1 4202560 1033 1246 0 0 107 3 0 1 19 0 33 0 665475294 875864064 58989 268435456000 4194304 4417452 140733631687408 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=17054/tid=17070] ppid=17052 vsize=855336 CPUtime=1.13 cores=0-31
/proc/17054/task/17070/stat : 17070 (plingeling) R 17052 17054 16898 0 -1 4202560 1505 1246 0 0 111 1 0 1 22 0 33 0 665475294 875864064 58989 268435456000 4194304 4417452 140733631687408 18446744073709551615 4291497 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=17054/tid=17071] ppid=17052 vsize=855336 CPUtime=1.13 cores=0-31
/proc/17054/task/17071/stat : 17071 (plingeling) R 17052 17054 16898 0 -1 4202560 2028 1246 0 0 109 3 0 1 19 0 33 0 665475294 875864064 58989 268435456000 4194304 4417452 140733631687408 18446744073709551615 4291451 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=17054/tid=17072] ppid=17052 vsize=855336 CPUtime=1.13 cores=0-31
/proc/17054/task/17072/stat : 17072 (plingeling) D 17052 17054 16898 0 -1 4202560 1578 1246 0 0 111 1 0 1 19 0 33 0 665475294 875864064 58989 268435456000 4194304 4417452 140733631687408 18446744073709551615 258650999383 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=17054/tid=17073] ppid=17052 vsize=855336 CPUtime=1.13 cores=0-31
/proc/17054/task/17073/stat : 17073 (plingeling) R 17052 17054 16898 0 -1 4202560 1063 1246 0 0 110 2 0 1 19 0 33 0 665475294 875864064 58989 268435456000 4194304 4417452 140733631687408 18446744073709551615 4284411 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=17054/tid=17074] ppid=17052 vsize=855336 CPUtime=1.13 cores=0-31
/proc/17054/task/17074/stat : 17074 (plingeling) R 17052 17054 16898 0 -1 4202560 1427 1246 0 0 110 2 0 1 19 0 33 0 665475294 875864064 58989 268435456000 4194304 4417452 140733631687408 18446744073709551615 4286414 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=17054/tid=17075] ppid=17052 vsize=855336 CPUtime=1.13 cores=0-31
/proc/17054/task/17075/stat : 17075 (plingeling) R 17052 17054 16898 0 -1 4202560 1455 1246 0 0 110 2 0 1 19 0 33 0 665475294 875864064 58989 268435456000 4194304 4417452 140733631687408 18446744073709551615 4236559 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=17054/tid=17076] ppid=17052 vsize=855336 CPUtime=1.13 cores=0-31
/proc/17054/task/17076/stat : 17076 (plingeling) R 17052 17054 16898 0 -1 4202560 1719 1246 0 0 111 1 0 1 19 0 33 0 665475294 875864064 58989 268435456000 4194304 4417452 140733631687408 18446744073709551615 4284320 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=17054/tid=17077] ppid=17052 vsize=855336 CPUtime=1.13 cores=0-31
/proc/17054/task/17077/stat : 17077 (plingeling) D 17052 17054 16898 0 -1 4202560 1758 1246 0 0 109 3 0 1 19 0 33 0 665475294 875864064 58989 268435456000 4194304 4417452 140733631687408 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=17054/tid=17078] ppid=17052 vsize=855336 CPUtime=1.13 cores=0-31
/proc/17054/task/17078/stat : 17078 (plingeling) R 17052 17054 16898 0 -1 4202560 1691 1246 0 0 110 2 0 1 19 0 33 0 665475294 875864064 58989 268435456000 4194304 4417452 140733631687408 18446744073709551615 4275877 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=17054/tid=17079] ppid=17052 vsize=855336 CPUtime=1.1 cores=0-31
/proc/17054/task/17079/stat : 17079 (plingeling) R 17052 17054 16898 0 -1 4202560 2442 1246 0 0 106 3 0 1 19 0 33 0 665475294 875864064 58989 268435456000 4194304 4417452 140733631687408 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=17054/tid=17080] ppid=17052 vsize=855336 CPUtime=1.13 cores=0-31
/proc/17054/task/17080/stat : 17080 (plingeling) R 17052 17054 16898 0 -1 4202560 1244 1246 0 0 110 2 0 1 19 0 33 0 665475294 875864064 58989 268435456000 4194304 4417452 140733631687408 18446744073709551615 258650649903 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=17054/tid=17081] ppid=17052 vsize=855336 CPUtime=1.13 cores=0-31
/proc/17054/task/17081/stat : 17081 (plingeling) R 17052 17054 16898 0 -1 4202560 1269 1246 0 0 110 2 0 1 25 0 33 0 665475294 875864064 58989 268435456000 4194304 4417452 140733631687408 18446744073709551615 4292261 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=17054/tid=17082] ppid=17052 vsize=855336 CPUtime=1.11 cores=0-31
/proc/17054/task/17082/stat : 17082 (plingeling) R 17052 17054 16898 0 -1 4202560 1307 1246 0 0 109 1 0 1 25 0 33 0 665475294 875864064 58989 268435456000 4194304 4417452 140733631687408 18446744073709551615 4284484 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=17054/tid=17083] ppid=17052 vsize=855336 CPUtime=1.09 cores=0-31
/proc/17054/task/17083/stat : 17083 (plingeling) R 17052 17054 16898 0 -1 4202560 2535 1246 0 0 105 3 0 1 19 0 33 0 665475295 875864064 58989 268435456000 4194304 4417452 140733631687408 18446744073709551615 4275873 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=17054/tid=17084] ppid=17052 vsize=855336 CPUtime=1.09 cores=0-31
/proc/17054/task/17084/stat : 17084 (plingeling) R 17052 17054 16898 0 -1 4202560 2712 1246 0 0 107 1 0 1 25 0 33 0 665475295 875864064 58989 268435456000 4194304 4417452 140733631687408 18446744073709551615 258651013786 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=17054/tid=17085] ppid=17052 vsize=855336 CPUtime=1.11 cores=0-31
/proc/17054/task/17085/stat : 17085 (plingeling) R 17052 17054 16898 0 -1 4202560 1640 1246 0 0 109 1 0 1 19 0 33 0 665475295 875864064 58989 268435456000 4194304 4417452 140733631687408 18446744073709551615 4287606 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=17054/tid=17086] ppid=17052 vsize=855336 CPUtime=1.09 cores=0-31
/proc/17054/task/17086/stat : 17086 (plingeling) R 17052 17054 16898 0 -1 4202560 1274 1246 0 0 108 0 0 1 25 0 33 0 665475295 875864064 58989 268435456000 4194304 4417452 140733631687408 18446744073709551615 4287111 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=17054/tid=17087] ppid=17052 vsize=855336 CPUtime=1.11 cores=0-31
/proc/17054/task/17087/stat : 17087 (plingeling) R 17052 17054 16898 0 -1 4202560 3551 1246 0 0 109 1 0 1 19 0 33 0 665475295 875864064 58989 268435456000 4194304 4417452 140733631687408 18446744073709551615 4276911 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=17054/tid=17088] ppid=17052 vsize=855336 CPUtime=1.12 cores=0-31
/proc/17054/task/17088/stat : 17088 (plingeling) R 17052 17054 16898 0 -1 4202560 1276 1246 0 0 110 1 0 1 19 0 33 0 665475295 875864064 58989 268435456000 4194304 4417452 140733631687408 18446744073709551615 4284341 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=17054/tid=17089] ppid=17052 vsize=855336 CPUtime=1.12 cores=0-31
/proc/17054/task/17089/stat : 17089 (plingeling) S 17052 17054 16898 0 -1 4202560 2184 1246 0 0 110 1 0 1 19 0 33 0 665475296 875864064 58989 268435456000 4194304 4417452 140733631687408 18446744073709551615 258651060958 0 0 4096 17442 18446744071566924984 0 0 -1 23 0 0 0
[pid=17054/tid=17090] ppid=17052 vsize=855336 CPUtime=1.1 cores=0-31
/proc/17054/task/17090/stat : 17090 (plingeling) R 17052 17054 16898 0 -1 4202560 1624 1246 0 0 109 0 0 1 19 0 33 0 665475296 875864064 58989 268435456000 4194304 4417452 140733631687408 18446744073709551615 4286414 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=17054/tid=17091] ppid=17052 vsize=855336 CPUtime=1.11 cores=0-31
/proc/17054/task/17091/stat : 17091 (plingeling) R 17052 17054 16898 0 -1 4202560 1663 1246 0 0 110 0 0 1 19 0 33 0 665475296 875864064 58989 268435456000 4194304 4417452 140733631687408 18446744073709551615 4288704 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=17054/tid=17092] ppid=17052 vsize=855336 CPUtime=1.06 cores=0-31
/proc/17054/task/17092/stat : 17092 (plingeling) R 17052 17054 16898 0 -1 4202560 1238 1246 0 0 105 0 0 1 19 0 33 0 665475296 875864064 58989 268435456000 4194304 4417452 140733631687408 18446744073709551615 4292281 0 0 4096 17442 0 0 0 -1 11 0 0 0
Current children cumulated CPU time (s) 37.76
Current children cumulated vsize (KiB) 855336

[startup+6.30159 s]
/proc/loadavg: 28.49 31.14 31.75 33/446 17092
/proc/meminfo: memFree=255148120/264257624 swapFree=67111528/67111528
[pid=17054] ppid=17052 vsize=1026692 CPUtime=136.35 cores=0-31
/proc/17054/stat : 17054 (plingeling) S 17052 17054 16898 0 -1 4202496 181591 1246 0 0 13449 185 0 1 25 0 33 0 665475099 1051332608 104218 268435456000 4194304 4417452 140733631687408 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 29 0 0 0
/proc/17054/statm: 256673 104218 175 55 0 254559 0
[pid=17054/tid=17061] ppid=17052 vsize=1026692 CPUtime=4.21 cores=0-31
/proc/17054/task/17061/stat : 17061 (plingeling) R 17052 17054 16898 0 -1 4202560 3274 1246 0 0 414 6 0 1 25 0 33 0 665475293 1051332608 104218 268435456000 4194304 4417452 140733631687408 18446744073709551615 4258565 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=17054/tid=17062] ppid=17052 vsize=1026692 CPUtime=4.27 cores=0-31
/proc/17054/task/17062/stat : 17062 (plingeling) R 17052 17054 16898 0 -1 4202560 2558 1246 0 0 422 4 0 1 22 0 33 0 665475293 1051332608 104218 268435456000 4194304 4417452 140733631687408 18446744073709551615 4249143 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=17054/tid=17063] ppid=17052 vsize=1026692 CPUtime=4.24 cores=0-31
/proc/17054/task/17063/stat : 17063 (plingeling) R 17052 17054 16898 0 -1 4202560 2603 1246 0 0 421 2 0 1 25 0 33 0 665475293 1051332608 104218 268435456000 4194304 4417452 140733631687408 18446744073709551615 4365996 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=17054/tid=17064] ppid=17052 vsize=1026692 CPUtime=4.33 cores=0-31
/proc/17054/task/17064/stat : 17064 (plingeling) R 17052 17054 16898 0 -1 4202560 702 1246 0 0 432 0 0 1 25 0 33 0 665475293 1051332608 104218 268435456000 4194304 4417452 140733631687408 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=17054/tid=17065] ppid=17052 vsize=1026692 CPUtime=4.15 cores=0-31
/proc/17054/task/17065/stat : 17065 (plingeling) R 17052 17054 16898 0 -1 4202560 4353 1246 0 0 407 7 0 1 24 0 33 0 665475293 1051332608 104218 268435456000 4194304 4417452 140733631687408 18446744073709551615 4343423 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=17054/tid=17066] ppid=17052 vsize=1026692 CPUtime=4.26 cores=0-31
/proc/17054/task/17066/stat : 17066 (plingeling) R 17052 17054 16898 0 -1 4202560 3850 1246 0 0 419 6 0 1 24 0 33 0 665475293 1051332608 104218 268435456000 4194304 4417452 140733631687408 18446744073709551615 4295209 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=17054/tid=17067] ppid=17052 vsize=1026692 CPUtime=4.21 cores=0-31
/proc/17054/task/17067/stat : 17067 (plingeling) R 17052 17054 16898 0 -1 4202560 2115 1246 0 0 418 2 0 1 25 0 33 0 665475293 1051332608 104218 268435456000 4194304 4417452 140733631687408 18446744073709551615 4250967 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=17054/tid=17068] ppid=17052 vsize=1026692 CPUtime=4.18 cores=0-31
/proc/17054/task/17068/stat : 17068 (plingeling) R 17052 17054 16898 0 -1 4202560 7230 1246 0 0 412 5 0 1 25 0 33 0 665475294 1051332608 104218 268435456000 4194304 4417452 140733631687408 18446744073709551615 4235394 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=17054/tid=17069] ppid=17052 vsize=1026692 CPUtime=4.16 cores=0-31
/proc/17054/task/17069/stat : 17069 (plingeling) R 17052 17054 16898 0 -1 4202560 3086 1246 0 0 407 8 0 1 25 0 33 0 665475294 1051332608 104218 268435456000 4194304 4417452 140733631687408 18446744073709551615 4235999 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=17054/tid=17070] ppid=17052 vsize=1026692 CPUtime=4.26 cores=0-31
/proc/17054/task/17070/stat : 17070 (plingeling) R 17052 17054 16898 0 -1 4202560 5875 1246 0 0 420 5 0 1 25 0 33 0 665475294 1051332608 104218 268435456000 4194304 4417452 140733631687408 18446744073709551615 4258389 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=17054/tid=17071] ppid=17052 vsize=1026692 CPUtime=4.26 cores=0-31
/proc/17054/task/17071/stat : 17071 (plingeling) R 17052 17054 16898 0 -1 4202560 4823 1246 0 0 420 5 0 1 23 0 33 0 665475294 1051332608 104218 268435456000 4194304 4417452 140733631687408 18446744073709551615 4353536 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=17054/tid=17072] ppid=17052 vsize=1026692 CPUtime=4.22 cores=0-31
/proc/17054/task/17072/stat : 17072 (plingeling) R 17052 17054 16898 0 -1 4202560 5323 1246 0 0 414 7 0 1 21 0 33 0 665475294 1051332608 104218 268435456000 4194304 4417452 140733631687408 18446744073709551615 4319110 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=17054/tid=17073] ppid=17052 vsize=1026692 CPUtime=4.21 cores=0-31
/proc/17054/task/17073/stat : 17073 (plingeling) R 17052 17054 16898 0 -1 4202560 6801 1246 0 0 413 7 0 1 21 0 33 0 665475294 1051332608 104218 268435456000 4194304 4417452 140733631687408 18446744073709551615 4248888 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=17054/tid=17074] ppid=17052 vsize=1026692 CPUtime=4.21 cores=0-31
/proc/17054/task/17074/stat : 17074 (plingeling) R 17052 17054 16898 0 -1 4202560 7859 1246 0 0 413 7 0 1 25 0 33 0 665475294 1051332608 104218 268435456000 4194304 4417452 140733631687408 18446744073709551615 4249143 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=17054/tid=17075] ppid=17052 vsize=1026692 CPUtime=4.25 cores=0-31
/proc/17054/task/17075/stat : 17075 (plingeling) R 17052 17054 16898 0 -1 4202560 2223 1246 0 0 420 4 0 1 25 0 33 0 665475294 1051332608 104218 268435456000 4194304 4417452 140733631687408 18446744073709551615 4364548 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=17054/tid=17076] ppid=17052 vsize=1026692 CPUtime=4.14 cores=0-31
/proc/17054/task/17076/stat : 17076 (plingeling) R 17052 17054 16898 0 -1 4202560 6443 1246 0 0 409 4 0 1 25 0 33 0 665475294 1051332608 104218 268435456000 4194304 4417452 140733631687408 18446744073709551615 4236319 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=17054/tid=17077] ppid=17052 vsize=1026692 CPUtime=4.15 cores=0-31
/proc/17054/task/17077/stat : 17077 (plingeling) R 17052 17054 16898 0 -1 4202560 4580 1246 0 0 408 6 0 1 25 0 33 0 665475294 1051332608 104218 268435456000 4194304 4417452 140733631687408 18446744073709551615 4248816 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=17054/tid=17078] ppid=17052 vsize=1026692 CPUtime=4.2 cores=0-31
/proc/17054/task/17078/stat : 17078 (plingeling) R 17052 17054 16898 0 -1 4202560 5698 1246 0 0 410 9 0 1 25 0 33 0 665475294 1051332608 104218 268435456000 4194304 4417452 140733631687408 18446744073709551615 4258778 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=17054/tid=17079] ppid=17052 vsize=1026692 CPUtime=4.18 cores=0-31
/proc/17054/task/17079/stat : 17079 (plingeling) R 17052 17054 16898 0 -1 4202560 3468 1246 0 0 413 4 0 1 25 0 33 0 665475294 1051332608 104218 268435456000 4194304 4417452 140733631687408 18446744073709551615 4353568 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=17054/tid=17080] ppid=17052 vsize=1026692 CPUtime=4.24 cores=0-31
/proc/17054/task/17080/stat : 17080 (plingeling) R 17052 17054 16898 0 -1 4202560 4034 1246 0 0 416 7 0 1 25 0 33 0 665475294 1051332608 104218 268435456000 4194304 4417452 140733631687408 18446744073709551615 4258525 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=17054/tid=17081] ppid=17052 vsize=1026692 CPUtime=4.21 cores=0-31
/proc/17054/task/17081/stat : 17081 (plingeling) R 17052 17054 16898 0 -1 4202560 5605 1246 0 0 413 7 0 1 25 0 33 0 665475294 1051332608 104218 268435456000 4194304 4417452 140733631687408 18446744073709551615 4336693 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=17054/tid=17082] ppid=17052 vsize=1026692 CPUtime=4.08 cores=0-31
/proc/17054/task/17082/stat : 17082 (plingeling) R 17052 17054 16898 0 -1 4202560 3169 1246 0 0 403 4 0 1 25 0 33 0 665475294 1051332608 104218 268435456000 4194304 4417452 140733631687408 18446744073709551615 4236280 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=17054/tid=17083] ppid=17052 vsize=1026692 CPUtime=4.16 cores=0-31
/proc/17054/task/17083/stat : 17083 (plingeling) R 17052 17054 16898 0 -1 4202560 4518 1246 0 0 412 3 0 1 25 0 33 0 665475295 1051332608 104218 268435456000 4194304 4417452 140733631687408 18446744073709551615 4353666 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=17054/tid=17084] ppid=17052 vsize=1026692 CPUtime=4.14 cores=0-31
/proc/17054/task/17084/stat : 17084 (plingeling) R 17052 17054 16898 0 -1 4202560 7820 1246 0 0 405 8 0 1 25 0 33 0 665475295 1051332608 104218 268435456000 4194304 4417452 140733631687408 18446744073709551615 4249171 0 0 4096 17442 0 0 0 -1 17 0 0 0

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

/proc/17054/task/17086/stat : 17086 (plingeling) R 17052 17054 16898 0 -1 4202560 22781 1246 0 0 495898 15 0 1 25 0 33 0 665475295 1369534464 188741 268435456000 4194304 4417452 140733631687408 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=17054/tid=17087] ppid=17052 vsize=1337436 CPUtime=4959.22 cores=0-31
/proc/17054/task/17087/stat : 17087 (plingeling) R 17052 17054 16898 0 -1 4202560 115545 1246 0 0 495865 56 0 1 25 0 33 0 665475295 1369534464 188741 268435456000 4194304 4417452 140733631687408 18446744073709551615 4236649 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=17054/tid=17088] ppid=17052 vsize=1337436 CPUtime=4959.3 cores=0-31
/proc/17054/task/17088/stat : 17088 (plingeling) R 17052 17054 16898 0 -1 4202560 89125 1246 0 0 495862 67 0 1 25 0 33 0 665475295 1369534464 188741 268435456000 4194304 4417452 140733631687408 18446744073709551615 4365984 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=17054/tid=17089] ppid=17052 vsize=1337436 CPUtime=4959.23 cores=0-31
/proc/17054/task/17089/stat : 17089 (plingeling) R 17052 17054 16898 0 -1 4202560 110273 1246 0 0 495813 109 0 1 25 0 33 0 665475296 1369534464 188741 268435456000 4194304 4417452 140733631687408 18446744073709551615 4237169 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=17054/tid=17090] ppid=17052 vsize=1337436 CPUtime=4948.15 cores=0-31
/proc/17054/task/17090/stat : 17090 (plingeling) R 17052 17054 16898 0 -1 4202560 33625 1246 0 0 494796 18 0 1 25 0 33 0 665475296 1369534464 188741 268435456000 4194304 4417452 140733631687408 18446744073709551615 4364604 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=17054/tid=17091] ppid=17052 vsize=1337436 CPUtime=4958.28 cores=0-31
/proc/17054/task/17091/stat : 17091 (plingeling) R 17052 17054 16898 0 -1 4202560 102603 1246 0 0 495752 75 0 1 25 0 33 0 665475296 1369534464 188741 268435456000 4194304 4417452 140733631687408 18446744073709551615 4365111 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=17054/tid=17092] ppid=17052 vsize=1337436 CPUtime=4959.16 cores=0-31
/proc/17054/task/17092/stat : 17092 (plingeling) R 17052 17054 16898 0 -1 4202560 122078 1246 0 0 495817 98 0 1 25 0 33 0 665475296 1369534464 188741 268435456000 4194304 4417452 140733631687408 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 11 0 0 0
Current children cumulated CPU time (s) 158552
Current children cumulated vsize (KiB) 1337436



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+5007.6 s]
/proc/loadavg: 32.11 32.12 32.09 33/446 17245
/proc/meminfo: memFree=254825132/264257624 swapFree=67111528/67111528
[pid=17054] ppid=17052 vsize=1339316 CPUtime=160001 cores=0-31
/proc/17054/stat : 17054 (plingeling) S 17052 17054 16898 0 -1 4202496 2911094 1246 0 0 15997428 2654 0 1 25 0 33 0 665475099 1371459584 188753 268435456000 4194304 4417452 140733631687408 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 29 0 0 0
/proc/17054/statm: 334829 188753 175 55 0 332715 0
[pid=17054/tid=17061] ppid=17052 vsize=1339316 CPUtime=4978.19 cores=0-31
/proc/17054/task/17061/stat : 17061 (plingeling) R 17052 17054 16898 0 -1 4202560 84691 1246 0 0 497714 104 0 1 25 0 33 0 665475293 1371459584 188753 268435456000 4194304 4417452 140733631687408 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=17054/tid=17062] ppid=17052 vsize=1339316 CPUtime=5001.96 cores=0-31
/proc/17054/task/17062/stat : 17062 (plingeling) R 17052 17054 16898 0 -1 4202560 78139 1246 0 0 500112 83 0 1 25 0 33 0 665475293 1371459584 188753 268435456000 4194304 4417452 140733631687408 18446744073709551615 4364650 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=17054/tid=17063] ppid=17052 vsize=1339316 CPUtime=4989.06 cores=0-31
/proc/17054/task/17063/stat : 17063 (plingeling) R 17052 17054 16898 0 -1 4202560 95860 1246 0 0 498844 61 0 1 25 0 33 0 665475293 1371459584 188753 268435456000 4194304 4417452 140733631687408 18446744073709551615 4364604 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=17054/tid=17064] ppid=17052 vsize=1339316 CPUtime=5004.7 cores=0-31
/proc/17054/task/17064/stat : 17064 (plingeling) R 17052 17054 16898 0 -1 4202560 96982 1246 0 0 500400 69 0 1 25 0 33 0 665475293 1371459584 188753 268435456000 4194304 4417452 140733631687408 18446744073709551615 4352402 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=17054/tid=17065] ppid=17052 vsize=1339316 CPUtime=5004.53 cores=0-31
/proc/17054/task/17065/stat : 17065 (plingeling) R 17052 17054 16898 0 -1 4202560 105715 1246 0 0 500341 111 0 1 25 0 33 0 665475293 1371459584 188753 268435456000 4194304 4417452 140733631687408 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=17054/tid=17066] ppid=17052 vsize=1339316 CPUtime=5004.11 cores=0-31
/proc/17054/task/17066/stat : 17066 (plingeling) R 17052 17054 16898 0 -1 4202560 52481 1246 0 0 500345 65 0 1 25 0 33 0 665475293 1371459584 188753 268435456000 4194304 4417452 140733631687408 18446744073709551615 4236649 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=17054/tid=17067] ppid=17052 vsize=1339316 CPUtime=5004.01 cores=0-31
/proc/17054/task/17067/stat : 17067 (plingeling) R 17052 17054 16898 0 -1 4202560 97618 1246 0 0 500306 94 0 1 25 0 33 0 665475293 1371459584 188753 268435456000 4194304 4417452 140733631687408 18446744073709551615 4236649 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=17054/tid=17068] ppid=17052 vsize=1339316 CPUtime=4985.67 cores=0-31
/proc/17054/task/17068/stat : 17068 (plingeling) R 17052 17054 16898 0 -1 4202560 88355 1246 0 0 498478 88 0 1 25 0 33 0 665475294 1371459584 188753 268435456000 4194304 4417452 140733631687408 18446744073709551615 4353543 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=17054/tid=17069] ppid=17052 vsize=1339316 CPUtime=5004.52 cores=0-31
/proc/17054/task/17069/stat : 17069 (plingeling) R 17052 17054 16898 0 -1 4202560 63420 1246 0 0 500389 62 0 1 25 0 33 0 665475294 1371459584 188753 268435456000 4194304 4417452 140733631687408 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=17054/tid=17070] ppid=17052 vsize=1339316 CPUtime=5004.6 cores=0-31
/proc/17054/task/17070/stat : 17070 (plingeling) R 17052 17054 16898 0 -1 4202560 94015 1246 0 0 500387 72 0 1 25 0 33 0 665475294 1371459584 188753 268435456000 4194304 4417452 140733631687408 18446744073709551615 4353568 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=17054/tid=17071] ppid=17052 vsize=1339316 CPUtime=5004.63 cores=0-31
/proc/17054/task/17071/stat : 17071 (plingeling) R 17052 17054 16898 0 -1 4202560 92588 1246 0 0 500352 110 0 1 25 0 33 0 665475294 1371459584 188753 268435456000 4194304 4417452 140733631687408 18446744073709551615 4364838 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=17054/tid=17072] ppid=17052 vsize=1339316 CPUtime=5004.53 cores=0-31
/proc/17054/task/17072/stat : 17072 (plingeling) R 17052 17054 16898 0 -1 4202560 120340 1246 0 0 500338 114 0 1 25 0 33 0 665475294 1371459584 188753 268435456000 4194304 4417452 140733631687408 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=17054/tid=17073] ppid=17052 vsize=1339316 CPUtime=5004.58 cores=0-31
/proc/17054/task/17073/stat : 17073 (plingeling) R 17052 17054 16898 0 -1 4202560 75137 1246 0 0 500375 82 0 1 25 0 33 0 665475294 1371459584 188753 268435456000 4194304 4417452 140733631687408 18446744073709551615 4236930 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=17054/tid=17074] ppid=17052 vsize=1339316 CPUtime=5004.54 cores=0-31
/proc/17054/task/17074/stat : 17074 (plingeling) R 17052 17054 16898 0 -1 4202560 102588 1246 0 0 500378 75 0 1 25 0 33 0 665475294 1371459584 188753 268435456000 4194304 4417452 140733631687408 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=17054/tid=17075] ppid=17052 vsize=1339316 CPUtime=5004.61 cores=0-31
/proc/17054/task/17075/stat : 17075 (plingeling) R 17052 17054 16898 0 -1 4202560 89007 1246 0 0 500371 89 0 1 25 0 33 0 665475294 1371459584 188753 268435456000 4194304 4417452 140733631687408 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=17054/tid=17076] ppid=17052 vsize=1339316 CPUtime=4962.29 cores=0-31
/proc/17054/task/17076/stat : 17076 (plingeling) R 17052 17054 16898 0 -1 4202560 125083 1246 0 0 496117 111 0 1 25 0 33 0 665475294 1371459584 188753 268435456000 4194304 4417452 140733631687408 18446744073709551615 4366051 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=17054/tid=17077] ppid=17052 vsize=1339316 CPUtime=5000.35 cores=0-31
/proc/17054/task/17077/stat : 17077 (plingeling) R 17052 17054 16898 0 -1 4202560 122538 1246 0 0 499927 107 0 1 25 0 33 0 665475294 1371459584 188753 268435456000 4194304 4417452 140733631687408 18446744073709551615 4364542 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=17054/tid=17078] ppid=17052 vsize=1339316 CPUtime=5004.55 cores=0-31
/proc/17054/task/17078/stat : 17078 (plingeling) R 17052 17054 16898 0 -1 4202560 61790 1246 0 0 500401 53 0 1 25 0 33 0 665475294 1371459584 188753 268435456000 4194304 4417452 140733631687408 18446744073709551615 4364604 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=17054/tid=17079] ppid=17052 vsize=1339316 CPUtime=5004.51 cores=0-31
/proc/17054/task/17079/stat : 17079 (plingeling) R 17052 17054 16898 0 -1 4202560 97811 1246 0 0 500355 95 0 1 25 0 33 0 665475294 1371459584 188753 268435456000 4194304 4417452 140733631687408 18446744073709551615 4364542 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=17054/tid=17080] ppid=17052 vsize=1339316 CPUtime=4982.5 cores=0-31
/proc/17054/task/17080/stat : 17080 (plingeling) R 17052 17054 16898 0 -1 4202560 85014 1246 0 0 498158 91 0 1 25 0 33 0 665475294 1371459584 188753 268435456000 4194304 4417452 140733631687408 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=17054/tid=17081] ppid=17052 vsize=1339316 CPUtime=5004.33 cores=0-31
/proc/17054/task/17081/stat : 17081 (plingeling) R 17052 17054 16898 0 -1 4202560 117397 1246 0 0 500328 104 0 1 25 0 33 0 665475294 1371459584 188753 268435456000 4194304 4417452 140733631687408 18446744073709551615 4357283 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=17054/tid=17082] ppid=17052 vsize=1339316 CPUtime=5004.46 cores=0-31
/proc/17054/task/17082/stat : 17082 (plingeling) R 17052 17054 16898 0 -1 4202560 31604 1246 0 0 500415 30 0 1 25 0 33 0 665475294 1371459584 188753 268435456000 4194304 4417452 140733631687408 18446744073709551615 4250651 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=17054/tid=17083] ppid=17052 vsize=1339316 CPUtime=5004.52 cores=0-31
/proc/17054/task/17083/stat : 17083 (plingeling) R 17052 17054 16898 0 -1 4202560 86829 1246 0 0 500373 78 0 1 25 0 33 0 665475295 1371459584 188753 268435456000 4194304 4417452 140733631687408 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=17054/tid=17084] ppid=17052 vsize=1339316 CPUtime=5004.5 cores=0-31
/proc/17054/task/17084/stat : 17084 (plingeling) R 17052 17054 16898 0 -1 4202560 126274 1246 0 0 500314 135 0 1 25 0 33 0 665475295 1371459584 188753 268435456000 4194304 4417452 140733631687408 18446744073709551615 4354506 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=17054/tid=17085] ppid=17052 vsize=1339316 CPUtime=5004.31 cores=0-31
/proc/17054/task/17085/stat : 17085 (plingeling) R 17052 17054 16898 0 -1 4202560 83386 1246 0 0 500328 102 0 1 25 0 33 0 665475295 1371459584 188753 268435456000 4194304 4417452 140733631687408 18446744073709551615 4364626 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=17054/tid=17086] ppid=17052 vsize=1339316 CPUtime=5004.45 cores=0-31
/proc/17054/task/17086/stat : 17086 (plingeling) R 17052 17054 16898 0 -1 4202560 23805 1246 0 0 500429 15 0 1 25 0 33 0 665475295 1371459584 188753 268435456000 4194304 4417452 140733631687408 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=17054/tid=17087] ppid=17052 vsize=1339316 CPUtime=5004.53 cores=0-31
/proc/17054/task/17087/stat : 17087 (plingeling) R 17052 17054 16898 0 -1 4202560 116164 1246 0 0 500396 56 0 1 25 0 33 0 665475295 1371459584 188753 268435456000 4194304 4417452 140733631687408 18446744073709551615 4364629 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=17054/tid=17088] ppid=17052 vsize=1339316 CPUtime=5004.62 cores=0-31
/proc/17054/task/17088/stat : 17088 (plingeling) R 17052 17054 16898 0 -1 4202560 89493 1246 0 0 500393 68 0 1 25 0 33 0 665475295 1371459584 188753 268435456000 4194304 4417452 140733631687408 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=17054/tid=17089] ppid=17052 vsize=1339316 CPUtime=5004.55 cores=0-31
/proc/17054/task/17089/stat : 17089 (plingeling) R 17052 17054 16898 0 -1 4202560 110768 1246 0 0 500344 110 0 1 25 0 33 0 665475296 1371459584 188753 268435456000 4194304 4417452 140733631687408 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=17054/tid=17090] ppid=17052 vsize=1339316 CPUtime=4992.16 cores=0-31
/proc/17054/task/17090/stat : 17090 (plingeling) R 17052 17054 16898 0 -1 4202560 34109 1246 0 0 499197 18 0 1 25 0 33 0 665475296 1371459584 188753 268435456000 4194304 4417452 140733631687408 18446744073709551615 4364817 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=17054/tid=17091] ppid=17052 vsize=1339316 CPUtime=5003.58 cores=0-31
/proc/17054/task/17091/stat : 17091 (plingeling) R 17052 17054 16898 0 -1 4202560 103218 1246 0 0 500282 75 0 1 25 0 33 0 665475296 1371459584 188753 268435456000 4194304 4417452 140733631687408 18446744073709551615 4364657 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=17054/tid=17092] ppid=17052 vsize=1339316 CPUtime=5004.47 cores=0-31
/proc/17054/task/17092/stat : 17092 (plingeling) R 17052 17054 16898 0 -1 4202560 123061 1246 0 0 500346 100 0 1 25 0 33 0 665475296 1371459584 188753 268435456000 4194304 4417452 140733631687408 18446744073709551615 4250488 0 0 4096 17442 0 0 0 -1 11 0 0 0
Current children cumulated CPU time (s) 160001
Current children cumulated vsize (KiB) 1339316

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

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

[startup+5007.6 s]
/proc/loadavg: 32.11 32.12 32.09 33/446 17245
/proc/meminfo: memFree=254825132/264257624 swapFree=67111528/67111528
[pid=17054] ppid=17052 vsize=1339316 CPUtime=160001 cores=0-31
/proc/17054/stat : 17054 (plingeling) S 17052 17054 16898 0 -1 4202496 2911094 1246 0 0 15997428 2654 0 1 25 0 33 0 665475099 1371459584 188753 268435456000 4194304 4417452 140733631687408 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 29 0 0 0
/proc/17054/statm: 334829 188753 175 55 0 332715 0
[pid=17054/tid=17061] ppid=17052 vsize=1339316 CPUtime=4978.19 cores=0-31
/proc/17054/task/17061/stat : 17061 (plingeling) R 17052 17054 16898 0 -1 4202560 84691 1246 0 0 497714 104 0 1 25 0 33 0 665475293 1371459584 188753 268435456000 4194304 4417452 140733631687408 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=17054/tid=17062] ppid=17052 vsize=1339316 CPUtime=5001.96 cores=0-31
/proc/17054/task/17062/stat : 17062 (plingeling) R 17052 17054 16898 0 -1 4202560 78139 1246 0 0 500112 83 0 1 25 0 33 0 665475293 1371459584 188753 268435456000 4194304 4417452 140733631687408 18446744073709551615 4364650 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=17054/tid=17063] ppid=17052 vsize=1339316 CPUtime=4989.06 cores=0-31
/proc/17054/task/17063/stat : 17063 (plingeling) R 17052 17054 16898 0 -1 4202560 95860 1246 0 0 498844 61 0 1 25 0 33 0 665475293 1371459584 188753 268435456000 4194304 4417452 140733631687408 18446744073709551615 4364604 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=17054/tid=17064] ppid=17052 vsize=1339316 CPUtime=5004.7 cores=0-31
/proc/17054/task/17064/stat : 17064 (plingeling) R 17052 17054 16898 0 -1 4202560 96982 1246 0 0 500400 69 0 1 25 0 33 0 665475293 1371459584 188753 268435456000 4194304 4417452 140733631687408 18446744073709551615 4352402 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=17054/tid=17065] ppid=17052 vsize=1339316 CPUtime=5004.53 cores=0-31
/proc/17054/task/17065/stat : 17065 (plingeling) R 17052 17054 16898 0 -1 4202560 105715 1246 0 0 500341 111 0 1 25 0 33 0 665475293 1371459584 188753 268435456000 4194304 4417452 140733631687408 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=17054/tid=17066] ppid=17052 vsize=1339316 CPUtime=5004.11 cores=0-31
/proc/17054/task/17066/stat : 17066 (plingeling) R 17052 17054 16898 0 -1 4202560 52481 1246 0 0 500345 65 0 1 25 0 33 0 665475293 1371459584 188753 268435456000 4194304 4417452 140733631687408 18446744073709551615 4236649 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=17054/tid=17067] ppid=17052 vsize=1339316 CPUtime=5004.01 cores=0-31
/proc/17054/task/17067/stat : 17067 (plingeling) R 17052 17054 16898 0 -1 4202560 97618 1246 0 0 500306 94 0 1 25 0 33 0 665475293 1371459584 188753 268435456000 4194304 4417452 140733631687408 18446744073709551615 4236649 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=17054/tid=17068] ppid=17052 vsize=1339316 CPUtime=4985.67 cores=0-31
/proc/17054/task/17068/stat : 17068 (plingeling) R 17052 17054 16898 0 -1 4202560 88355 1246 0 0 498478 88 0 1 25 0 33 0 665475294 1371459584 188753 268435456000 4194304 4417452 140733631687408 18446744073709551615 4353543 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=17054/tid=17069] ppid=17052 vsize=1339316 CPUtime=5004.52 cores=0-31
/proc/17054/task/17069/stat : 17069 (plingeling) R 17052 17054 16898 0 -1 4202560 63420 1246 0 0 500389 62 0 1 25 0 33 0 665475294 1371459584 188753 268435456000 4194304 4417452 140733631687408 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=17054/tid=17070] ppid=17052 vsize=1339316 CPUtime=5004.6 cores=0-31
/proc/17054/task/17070/stat : 17070 (plingeling) R 17052 17054 16898 0 -1 4202560 94015 1246 0 0 500387 72 0 1 25 0 33 0 665475294 1371459584 188753 268435456000 4194304 4417452 140733631687408 18446744073709551615 4353568 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=17054/tid=17071] ppid=17052 vsize=1339316 CPUtime=5004.63 cores=0-31
/proc/17054/task/17071/stat : 17071 (plingeling) R 17052 17054 16898 0 -1 4202560 92588 1246 0 0 500352 110 0 1 25 0 33 0 665475294 1371459584 188753 268435456000 4194304 4417452 140733631687408 18446744073709551615 4364838 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=17054/tid=17072] ppid=17052 vsize=1339316 CPUtime=5004.53 cores=0-31
/proc/17054/task/17072/stat : 17072 (plingeling) R 17052 17054 16898 0 -1 4202560 120340 1246 0 0 500338 114 0 1 25 0 33 0 665475294 1371459584 188753 268435456000 4194304 4417452 140733631687408 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=17054/tid=17073] ppid=17052 vsize=1339316 CPUtime=5004.58 cores=0-31
/proc/17054/task/17073/stat : 17073 (plingeling) R 17052 17054 16898 0 -1 4202560 75137 1246 0 0 500375 82 0 1 25 0 33 0 665475294 1371459584 188753 268435456000 4194304 4417452 140733631687408 18446744073709551615 4236930 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=17054/tid=17074] ppid=17052 vsize=1339316 CPUtime=5004.54 cores=0-31
/proc/17054/task/17074/stat : 17074 (plingeling) R 17052 17054 16898 0 -1 4202560 102588 1246 0 0 500378 75 0 1 25 0 33 0 665475294 1371459584 188753 268435456000 4194304 4417452 140733631687408 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=17054/tid=17075] ppid=17052 vsize=1339316 CPUtime=5004.61 cores=0-31
/proc/17054/task/17075/stat : 17075 (plingeling) R 17052 17054 16898 0 -1 4202560 89007 1246 0 0 500371 89 0 1 25 0 33 0 665475294 1371459584 188753 268435456000 4194304 4417452 140733631687408 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=17054/tid=17076] ppid=17052 vsize=1339316 CPUtime=4962.29 cores=0-31
/proc/17054/task/17076/stat : 17076 (plingeling) R 17052 17054 16898 0 -1 4202560 125083 1246 0 0 496117 111 0 1 25 0 33 0 665475294 1371459584 188753 268435456000 4194304 4417452 140733631687408 18446744073709551615 4366051 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=17054/tid=17077] ppid=17052 vsize=1339316 CPUtime=5000.35 cores=0-31
/proc/17054/task/17077/stat : 17077 (plingeling) R 17052 17054 16898 0 -1 4202560 122538 1246 0 0 499927 107 0 1 25 0 33 0 665475294 1371459584 188753 268435456000 4194304 4417452 140733631687408 18446744073709551615 4364542 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=17054/tid=17078] ppid=17052 vsize=1339316 CPUtime=5004.55 cores=0-31
/proc/17054/task/17078/stat : 17078 (plingeling) R 17052 17054 16898 0 -1 4202560 61790 1246 0 0 500401 53 0 1 25 0 33 0 665475294 1371459584 188753 268435456000 4194304 4417452 140733631687408 18446744073709551615 4364604 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=17054/tid=17079] ppid=17052 vsize=1339316 CPUtime=5004.51 cores=0-31
/proc/17054/task/17079/stat : 17079 (plingeling) R 17052 17054 16898 0 -1 4202560 97811 1246 0 0 500355 95 0 1 25 0 33 0 665475294 1371459584 188753 268435456000 4194304 4417452 140733631687408 18446744073709551615 4364542 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=17054/tid=17080] ppid=17052 vsize=1339316 CPUtime=4982.5 cores=0-31
/proc/17054/task/17080/stat : 17080 (plingeling) R 17052 17054 16898 0 -1 4202560 85014 1246 0 0 498158 91 0 1 25 0 33 0 665475294 1371459584 188753 268435456000 4194304 4417452 140733631687408 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=17054/tid=17081] ppid=17052 vsize=1339316 CPUtime=5004.33 cores=0-31
/proc/17054/task/17081/stat : 17081 (plingeling) R 17052 17054 16898 0 -1 4202560 117397 1246 0 0 500328 104 0 1 25 0 33 0 665475294 1371459584 188753 268435456000 4194304 4417452 140733631687408 18446744073709551615 4357283 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=17054/tid=17082] ppid=17052 vsize=1339316 CPUtime=5004.46 cores=0-31
/proc/17054/task/17082/stat : 17082 (plingeling) R 17052 17054 16898 0 -1 4202560 31604 1246 0 0 500415 30 0 1 25 0 33 0 665475294 1371459584 188753 268435456000 4194304 4417452 140733631687408 18446744073709551615 4250651 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=17054/tid=17083] ppid=17052 vsize=1339316 CPUtime=5004.52 cores=0-31
/proc/17054/task/17083/stat : 17083 (plingeling) R 17052 17054 16898 0 -1 4202560 86829 1246 0 0 500373 78 0 1 25 0 33 0 665475295 1371459584 188753 268435456000 4194304 4417452 140733631687408 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=17054/tid=17084] ppid=17052 vsize=1339316 CPUtime=5004.5 cores=0-31
/proc/17054/task/17084/stat : 17084 (plingeling) R 17052 17054 16898 0 -1 4202560 126274 1246 0 0 500314 135 0 1 25 0 33 0 665475295 1371459584 188753 268435456000 4194304 4417452 140733631687408 18446744073709551615 4354506 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=17054/tid=17085] ppid=17052 vsize=1339316 CPUtime=5004.31 cores=0-31
/proc/17054/task/17085/stat : 17085 (plingeling) R 17052 17054 16898 0 -1 4202560 83386 1246 0 0 500328 102 0 1 25 0 33 0 665475295 1371459584 188753 268435456000 4194304 4417452 140733631687408 18446744073709551615 4364626 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=17054/tid=17086] ppid=17052 vsize=1339316 CPUtime=5004.45 cores=0-31
/proc/17054/task/17086/stat : 17086 (plingeling) R 17052 17054 16898 0 -1 4202560 23805 1246 0 0 500429 15 0 1 25 0 33 0 665475295 1371459584 188753 268435456000 4194304 4417452 140733631687408 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=17054/tid=17087] ppid=17052 vsize=1339316 CPUtime=5004.53 cores=0-31
/proc/17054/task/17087/stat : 17087 (plingeling) R 17052 17054 16898 0 -1 4202560 116164 1246 0 0 500396 56 0 1 25 0 33 0 665475295 1371459584 188753 268435456000 4194304 4417452 140733631687408 18446744073709551615 4364629 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=17054/tid=17088] ppid=17052 vsize=1339316 CPUtime=5004.62 cores=0-31
/proc/17054/task/17088/stat : 17088 (plingeling) R 17052 17054 16898 0 -1 4202560 89493 1246 0 0 500393 68 0 1 25 0 33 0 665475295 1371459584 188753 268435456000 4194304 4417452 140733631687408 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=17054/tid=17089] ppid=17052 vsize=1339316 CPUtime=5004.55 cores=0-31
/proc/17054/task/17089/stat : 17089 (plingeling) R 17052 17054 16898 0 -1 4202560 110768 1246 0 0 500344 110 0 1 25 0 33 0 665475296 1371459584 188753 268435456000 4194304 4417452 140733631687408 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=17054/tid=17090] ppid=17052 vsize=1339316 CPUtime=4992.16 cores=0-31
/proc/17054/task/17090/stat : 17090 (plingeling) R 17052 17054 16898 0 -1 4202560 34109 1246 0 0 499197 18 0 1 25 0 33 0 665475296 1371459584 188753 268435456000 4194304 4417452 140733631687408 18446744073709551615 4364817 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=17054/tid=17091] ppid=17052 vsize=1339316 CPUtime=5003.58 cores=0-31
/proc/17054/task/17091/stat : 17091 (plingeling) R 17052 17054 16898 0 -1 4202560 103218 1246 0 0 500282 75 0 1 25 0 33 0 665475296 1371459584 188753 268435456000 4194304 4417452 140733631687408 18446744073709551615 4364657 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=17054/tid=17092] ppid=17052 vsize=1339316 CPUtime=5004.47 cores=0-31
/proc/17054/task/17092/stat : 17092 (plingeling) R 17052 17054 16898 0 -1 4202560 123061 1246 0 0 500346 100 0 1 25 0 33 0 665475296 1371459584 188753 268435456000 4194304 4417452 140733631687408 18446744073709551615 4250488 0 0 4096 17442 0 0 0 -1 11 0 0 0
Current children cumulated CPU time (s) 160001
Current children cumulated vsize (KiB) 1339316

Child ended because it received signal 15 (SIGTERM)
Real time (s): 5007.7
CPU time (s): 160001
CPU user time (s): 159975
CPU system time (s): 26.632
CPU usage (%): 3195.1
Max. virtual memory (cumulated for all children) (KiB): 1431744

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 159975
system time used= 26.632
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2912340
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= 4078
involuntary context switches= 409428

runsolver used 30.1054 second user time and 111.211 second system time

The end

Launcher Data 

Begin job on node200 at 2011-05-16 11:58:07
IDJOB=3372270
IDBENCH=70849
IDSOLVER=1852
FILE ID=node200/3372270-1305539887
RUNJOBID= node200-1305539844-16912
PBS_JOBID= 13285541
Free space on /tmp= 62048 MiB

SOLVER NAME= Plingeling 587f (fixed)
BENCH NAME= SAT09/APPLICATIONS/crypto/desgen/gss-27-s100.cnf
COMMAND LINE= plingeling -t NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3372270-1305539887/watcher-3372270-1305539887 -o /tmp/evaluation-result-3372270-1305539887/solver-3372270-1305539887 -C 160000 -W 5100 -M 266338304  plingeling -t 32 HOME/instance-3372270-1305539887.cnf

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

MD5SUM BENCH= f47c33d2a9a327da4633207adfef7b77
RANDOM SEED=578494157

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:      255553520 kB
Buffers:        442944 kB
Cached:        7838196 kB
SwapCached:          0 kB
Active:        7388220 kB
Inactive:       962404 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      255553520 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            1916 kB
Writeback:           0 kB
AnonPages:       71928 kB
Mapped:          14568 kB
Slab:           250544 kB
PageTables:       5352 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   189096 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 13:21:37