Trace number 3372735

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.57

General information on the benchmark

Nameapplication/kullmann/AES/Benchmarks/
128/aes_128_2_keyfind_1.cnf
MD5SUM19e0b91e7d093f7cb35b11b46708a49b
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables2000
Number of clauses20544
Sum of the clauses size111944
Maximum clause length8
Minimum clause length1
Number of clauses of size 1272
Number of clauses of size 2256
Number of clauses of size 33520
Number of clauses of size 4640
Number of clauses of size 54096
Number of clauses of size over 511760

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-3372735-1306005819/watcher-3372735-1306005819 -o /tmp/evaluation-result-3372735-1306005819/solver-3372735-1306005819 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372735-1306005819.cnf 

running on 32 cores: 0,4,8,12,16,20,24,28,1,5,9,13,17,21,25,29,2,6,10,14,18,22,26,30,3,7,11,15,19,23,27,31

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 160000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 160030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 272730423296 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 272730474496 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 29.74 31.62 31.89 1/413 14552
/proc/meminfo: memFree=255506320/264257624 swapFree=67111528/67111528
[pid=14552] ppid=14550 vsize=12460 CPUtime=0.03 cores=0-31
/proc/14552/stat : 14552 (plingeling) R 14550 14552 14526 0 -1 4202496 1173 1249 0 0 2 0 0 1 23 0 1 0 712068305 12759040 1103 268435456000 4194304 4417452 140733344842752 18446744073709551615 258650649791 0 0 4096 17442 0 0 0 17 6 0 0 0
/proc/14552/statm: 3115 1103 145 55 0 1001 0

[startup+0.102011 s]
/proc/loadavg: 29.74 31.62 31.89 1/413 14552
/proc/meminfo: memFree=255506320/264257624 swapFree=67111528/67111528
[pid=14552] ppid=14550 vsize=19496 CPUtime=0.1 cores=0-31
/proc/14552/stat : 14552 (plingeling) R 14550 14552 14526 0 -1 4202496 2940 1249 0 0 8 1 0 1 23 0 1 0 712068305 19963904 2870 268435456000 4194304 4417452 140733344842752 18446744073709551615 4320800 0 0 4096 17442 0 0 0 17 6 0 0 0
/proc/14552/statm: 4874 2870 145 55 0 2760 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 19496

[startup+0.201026 s]
/proc/loadavg: 29.74 31.62 31.89 1/413 14552
/proc/meminfo: memFree=255506320/264257624 swapFree=67111528/67111528
[pid=14552] ppid=14550 vsize=28940 CPUtime=0.19 cores=0-31
/proc/14552/stat : 14552 (plingeling) R 14550 14552 14526 0 -1 4202496 5300 1249 0 0 17 1 0 1 23 0 1 0 712068305 29634560 5230 268435456000 4194304 4417452 140733344842752 18446744073709551615 4231434 0 0 4096 17442 0 0 0 17 6 0 0 0
/proc/14552/statm: 7235 5230 146 55 0 5121 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 28940

[startup+0.301037 s]
/proc/loadavg: 29.74 31.62 31.89 1/413 14552
/proc/meminfo: memFree=255506320/264257624 swapFree=67111528/67111528
[pid=14552] ppid=14550 vsize=28940 CPUtime=0.29 cores=0-31
/proc/14552/stat : 14552 (plingeling) R 14550 14552 14526 0 -1 4202496 5300 1249 0 0 27 1 0 1 24 0 1 0 712068305 29634560 5230 268435456000 4194304 4417452 140733344842752 18446744073709551615 4323354 0 0 4096 17442 0 0 0 17 6 0 0 0
/proc/14552/statm: 7235 5230 146 55 0 5121 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 28940

[startup+0.70593 s]
/proc/loadavg: 29.74 31.62 31.89 1/413 14552
/proc/meminfo: memFree=255506320/264257624 swapFree=67111528/67111528
[pid=14552] ppid=14550 vsize=653392 CPUtime=1.27 cores=0-31
/proc/14552/stat : 14552 (plingeling) S 14550 14552 14526 0 -1 4202496 14634 1249 0 0 122 4 0 1 18 0 33 0 712068305 669073408 14052 268435456000 4194304 4417452 140733344842752 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/14552/statm: 163348 14052 168 55 0 161234 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 653392

[startup+1.50289 s]
/proc/loadavg: 29.74 31.62 31.89 32/446 14590
/proc/meminfo: memFree=255423828/264257624 swapFree=67111528/67111528
[pid=14552] ppid=14550 vsize=680328 CPUtime=25.77 cores=0-31
/proc/14552/stat : 14552 (plingeling) S 14550 14552 14526 0 -1 4202496 22047 1249 0 0 2538 38 0 1 18 0 33 0 712068305 696655872 21169 268435456000 4194304 4417452 140733344842752 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/14552/statm: 170082 21169 175 55 0 167968 0
[pid=14552/tid=14559] ppid=14550 vsize=680328 CPUtime=0.76 cores=0-31
/proc/14552/task/14559/stat : 14559 (plingeling) R 14550 14552 14526 0 -1 4202560 303 1249 0 0 74 1 0 1 25 0 33 0 712068372 696655872 21169 268435456000 4194304 4417452 140733344842752 18446744073709551615 4252911 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=14552/tid=14560] ppid=14550 vsize=680328 CPUtime=0.79 cores=0-31
/proc/14552/task/14560/stat : 14560 (plingeling) R 14550 14552 14526 0 -1 4202560 304 1249 0 0 77 1 0 1 25 0 33 0 712068372 696655872 21169 268435456000 4194304 4417452 140733344842752 18446744073709551615 4272345 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=14552/tid=14561] ppid=14550 vsize=680328 CPUtime=0.82 cores=0-31
/proc/14552/task/14561/stat : 14561 (plingeling) R 14550 14552 14526 0 -1 4202560 2 1249 0 0 81 0 0 1 21 0 33 0 712068372 696655872 21169 268435456000 4194304 4417452 140733344842752 18446744073709551615 4199451 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=14552/tid=14562] ppid=14550 vsize=680328 CPUtime=0.77 cores=0-31
/proc/14552/task/14562/stat : 14562 (plingeling) R 14550 14552 14526 0 -1 4202560 272 1249 0 0 76 0 0 1 18 0 33 0 712068372 696655872 21169 268435456000 4194304 4417452 140733344842752 18446744073709551615 4366391 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=14552/tid=14563] ppid=14550 vsize=680328 CPUtime=0.78 cores=0-31
/proc/14552/task/14563/stat : 14563 (plingeling) R 14550 14552 14526 0 -1 4202560 334 1249 0 0 76 1 0 1 20 0 33 0 712068372 696655872 21169 268435456000 4194304 4417452 140733344842752 18446744073709551615 4273083 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=14552/tid=14564] ppid=14550 vsize=680328 CPUtime=0.77 cores=0-31
/proc/14552/task/14564/stat : 14564 (plingeling) R 14550 14552 14526 0 -1 4202560 361 1249 0 0 74 2 0 1 18 0 33 0 712068372 696655872 21169 268435456000 4194304 4417452 140733344842752 18446744073709551615 4252007 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=14552/tid=14565] ppid=14550 vsize=680328 CPUtime=0.83 cores=0-31
/proc/14552/task/14565/stat : 14565 (plingeling) R 14550 14552 14526 0 -1 4202560 4 1249 0 0 82 0 0 1 18 0 33 0 712068372 696655872 21169 268435456000 4194304 4417452 140733344842752 18446744073709551615 4251104 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=14552/tid=14566] ppid=14550 vsize=680328 CPUtime=0.75 cores=0-31
/proc/14552/task/14566/stat : 14566 (plingeling) R 14550 14552 14526 0 -1 4202560 334 1249 0 0 73 1 0 1 18 0 33 0 712068372 696655872 21169 268435456000 4194304 4417452 140733344842752 18446744073709551615 4253214 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=14552/tid=14567] ppid=14550 vsize=680328 CPUtime=0.8 cores=0-31
/proc/14552/task/14567/stat : 14567 (plingeling) R 14550 14552 14526 0 -1 4202560 346 1249 0 0 79 0 0 1 18 0 33 0 712068372 696655872 21169 268435456000 4194304 4417452 140733344842752 18446744073709551615 4251855 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=14552/tid=14568] ppid=14550 vsize=680328 CPUtime=0.77 cores=0-31
/proc/14552/task/14568/stat : 14568 (plingeling) R 14550 14552 14526 0 -1 4202560 283 1249 0 0 75 1 0 1 18 0 33 0 712068373 696655872 21169 268435456000 4194304 4417452 140733344842752 18446744073709551615 4273677 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=14552/tid=14569] ppid=14550 vsize=680328 CPUtime=0.82 cores=0-31
/proc/14552/task/14569/stat : 14569 (plingeling) R 14550 14552 14526 0 -1 4202560 68 1249 0 0 81 0 0 1 18 0 33 0 712068373 696655872 21169 268435456000 4194304 4417452 140733344842752 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=14552/tid=14570] ppid=14550 vsize=680328 CPUtime=0.76 cores=0-31
/proc/14552/task/14570/stat : 14570 (plingeling) R 14550 14552 14526 0 -1 4202560 341 1249 0 0 74 1 0 1 18 0 33 0 712068373 696655872 21169 268435456000 4194304 4417452 140733344842752 18446744073709551615 4249165 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=14552/tid=14571] ppid=14550 vsize=680328 CPUtime=0.8 cores=0-31
/proc/14552/task/14571/stat : 14571 (plingeling) R 14550 14552 14526 0 -1 4202560 330 1249 0 0 78 1 0 1 21 0 33 0 712068373 696655872 21169 268435456000 4194304 4417452 140733344842752 18446744073709551615 4257690 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=14552/tid=14572] ppid=14550 vsize=680328 CPUtime=0.79 cores=0-31
/proc/14552/task/14572/stat : 14572 (plingeling) R 14550 14552 14526 0 -1 4202560 342 1249 0 0 77 1 0 1 20 0 33 0 712068373 696655872 21169 268435456000 4194304 4417452 140733344842752 18446744073709551615 4252389 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=14552/tid=14573] ppid=14550 vsize=680328 CPUtime=0.83 cores=0-31
/proc/14552/task/14573/stat : 14573 (plingeling) R 14550 14552 14526 0 -1 4202560 37 1249 0 0 82 0 0 1 21 0 33 0 712068373 696655872 21169 268435456000 4194304 4417452 140733344842752 18446744073709551615 4366486 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=14552/tid=14574] ppid=14550 vsize=680328 CPUtime=0.8 cores=0-31
/proc/14552/task/14574/stat : 14574 (plingeling) R 14550 14552 14526 0 -1 4202560 287 1249 0 0 78 1 0 1 18 0 33 0 712068373 696655872 21169 268435456000 4194304 4417452 140733344842752 18446744073709551615 4252995 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=14552/tid=14575] ppid=14550 vsize=680328 CPUtime=0.78 cores=0-31
/proc/14552/task/14575/stat : 14575 (plingeling) R 14550 14552 14526 0 -1 4202560 329 1249 0 0 76 1 0 1 20 0 33 0 712068373 696655872 21169 268435456000 4194304 4417452 140733344842752 18446744073709551615 4273313 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=14552/tid=14576] ppid=14550 vsize=680328 CPUtime=0.78 cores=0-31
/proc/14552/task/14576/stat : 14576 (plingeling) R 14550 14552 14526 0 -1 4202560 301 1249 0 0 76 1 0 1 20 0 33 0 712068373 696655872 21169 268435456000 4194304 4417452 140733344842752 18446744073709551615 4252374 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=14552/tid=14577] ppid=14550 vsize=680328 CPUtime=0.81 cores=0-31
/proc/14552/task/14577/stat : 14577 (plingeling) R 14550 14552 14526 0 -1 4202560 4 1249 0 0 80 0 0 1 21 0 33 0 712068373 696655872 21169 268435456000 4194304 4417452 140733344842752 18446744073709551615 4236761 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=14552/tid=14578] ppid=14550 vsize=680328 CPUtime=0.77 cores=0-31
/proc/14552/task/14578/stat : 14578 (plingeling) R 14550 14552 14526 0 -1 4202560 263 1249 0 0 75 1 0 1 20 0 33 0 712068373 696655872 21169 268435456000 4194304 4417452 140733344842752 18446744073709551615 4257702 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=14552/tid=14579] ppid=14550 vsize=680328 CPUtime=0.64 cores=0-31
/proc/14552/task/14579/stat : 14579 (plingeling) R 14550 14552 14526 0 -1 4202560 324 1249 0 0 63 0 0 1 21 0 33 0 712068373 696655872 21169 268435456000 4194304 4417452 140733344842752 18446744073709551615 4252475 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=14552/tid=14580] ppid=14550 vsize=680328 CPUtime=0.8 cores=0-31
/proc/14552/task/14580/stat : 14580 (plingeling) R 14550 14552 14526 0 -1 4202560 262 1249 0 0 78 1 0 1 18 0 33 0 712068373 696655872 21169 268435456000 4194304 4417452 140733344842752 18446744073709551615 4252408 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=14552/tid=14581] ppid=14550 vsize=680328 CPUtime=0.82 cores=0-31
/proc/14552/task/14581/stat : 14581 (plingeling) R 14550 14552 14526 0 -1 4202560 5 1249 0 0 81 0 0 1 23 0 33 0 712068373 696655872 21169 268435456000 4194304 4417452 140733344842752 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=14552/tid=14582] ppid=14550 vsize=680328 CPUtime=0.81 cores=0-31
/proc/14552/task/14582/stat : 14582 (plingeling) R 14550 14552 14526 0 -1 4202560 324 1249 0 0 79 1 0 1 18 0 33 0 712068373 696655872 21169 268435456000 4194304 4417452 140733344842752 18446744073709551615 4252155 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=14552/tid=14583] ppid=14550 vsize=680328 CPUtime=0.77 cores=0-31
/proc/14552/task/14583/stat : 14583 (plingeling) R 14550 14552 14526 0 -1 4202560 310 1249 0 0 75 1 0 1 18 0 33 0 712068373 696655872 21169 268435456000 4194304 4417452 140733344842752 18446744073709551615 4272546 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=14552/tid=14584] ppid=14550 vsize=680328 CPUtime=0.79 cores=0-31
/proc/14552/task/14584/stat : 14584 (plingeling) R 14550 14552 14526 0 -1 4202560 292 1249 0 0 77 1 0 1 22 0 33 0 712068373 696655872 21169 268435456000 4194304 4417452 140733344842752 18446744073709551615 4252349 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=14552/tid=14585] ppid=14550 vsize=680328 CPUtime=0.81 cores=0-31
/proc/14552/task/14585/stat : 14585 (plingeling) R 14550 14552 14526 0 -1 4202560 44 1249 0 0 80 0 0 1 22 0 33 0 712068374 696655872 21169 268435456000 4194304 4417452 140733344842752 18446744073709551615 4357361 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=14552/tid=14586] ppid=14550 vsize=680328 CPUtime=0.77 cores=0-31
/proc/14552/task/14586/stat : 14586 (plingeling) R 14550 14552 14526 0 -1 4202560 310 1249 0 0 76 0 0 1 22 0 33 0 712068375 696655872 21169 268435456000 4194304 4417452 140733344842752 18446744073709551615 4257163 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=14552/tid=14587] ppid=14550 vsize=680328 CPUtime=0.78 cores=0-31
/proc/14552/task/14587/stat : 14587 (plingeling) R 14550 14552 14526 0 -1 4202560 328 1249 0 0 77 0 0 1 22 0 33 0 712068375 696655872 21169 268435456000 4194304 4417452 140733344842752 18446744073709551615 4252491 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=14552/tid=14588] ppid=14550 vsize=680328 CPUtime=0.79 cores=0-31
/proc/14552/task/14588/stat : 14588 (plingeling) R 14550 14552 14526 0 -1 4202560 292 1249 0 0 77 1 0 1 21 0 33 0 712068375 696655872 21169 268435456000 4194304 4417452 140733344842752 18446744073709551615 4253083 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=14552/tid=14589] ppid=14550 vsize=680328 CPUtime=0.79 cores=0-31
/proc/14552/task/14589/stat : 14589 (plingeling) R 14550 14552 14526 0 -1 4202560 1 1249 0 0 78 0 0 1 21 0 33 0 712068375 696655872 21169 268435456000 4194304 4417452 140733344842752 18446744073709551615 258651061007 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=14552/tid=14590] ppid=14550 vsize=680328 CPUtime=0.78 cores=0-31
/proc/14552/task/14590/stat : 14590 (plingeling) R 14550 14552 14526 0 -1 4202560 292 1249 0 0 76 1 0 1 20 0 33 0 712068375 696655872 21169 268435456000 4194304 4417452 140733344842752 18446744073709551615 4257512 0 0 4096 17442 0 0 0 -1 24 0 0 0
Current children cumulated CPU time (s) 25.77
Current children cumulated vsize (KiB) 680328

[startup+3.10194 s]
/proc/loadavg: 29.74 31.62 31.89 33/446 14590
/proc/meminfo: memFree=255408476/264257624 swapFree=67111528/67111528
[pid=14552] ppid=14550 vsize=714520 CPUtime=75.15 cores=0-31
/proc/14552/stat : 14552 (plingeling) S 14550 14552 14526 0 -1 4202496 64130 1249 0 0 7420 94 0 1 18 0 33 0 712068305 731668480 30917 268435456000 4194304 4417452 140733344842752 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/14552/statm: 178630 30917 175 55 0 176516 0
[pid=14552/tid=14559] ppid=14550 vsize=714520 CPUtime=2.31 cores=0-31
/proc/14552/task/14559/stat : 14559 (plingeling) R 14550 14552 14526 0 -1 4202560 1492 1249 0 0 227 3 0 1 18 0 33 0 712068372 731668480 30917 268435456000 4194304 4417452 140733344842752 18446744073709551615 4278500 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=14552/tid=14560] ppid=14550 vsize=714520 CPUtime=2.35 cores=0-31
/proc/14552/task/14560/stat : 14560 (plingeling) R 14550 14552 14526 0 -1 4202560 1225 1249 0 0 233 1 0 1 18 0 33 0 712068372 731668480 30917 268435456000 4194304 4417452 140733344842752 18446744073709551615 4249165 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=14552/tid=14561] ppid=14550 vsize=714520 CPUtime=2.36 cores=0-31
/proc/14552/task/14561/stat : 14561 (plingeling) R 14550 14552 14526 0 -1 4202560 1591 1249 0 0 233 2 0 1 18 0 33 0 712068372 731668480 30917 268435456000 4194304 4417452 140733344842752 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=14552/tid=14562] ppid=14550 vsize=714520 CPUtime=2.34 cores=0-31
/proc/14552/task/14562/stat : 14562 (plingeling) R 14550 14552 14526 0 -1 4202560 2042 1249 0 0 229 4 0 1 18 0 33 0 712068372 731668480 30917 268435456000 4194304 4417452 140733344842752 18446744073709551615 4364537 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=14552/tid=14563] ppid=14550 vsize=714520 CPUtime=2.32 cores=0-31
/proc/14552/task/14563/stat : 14563 (plingeling) R 14550 14552 14526 0 -1 4202560 1809 1249 0 0 229 2 0 1 18 0 33 0 712068372 731668480 30917 268435456000 4194304 4417452 140733344842752 18446744073709551615 4273657 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=14552/tid=14564] ppid=14550 vsize=714520 CPUtime=2.33 cores=0-31
/proc/14552/task/14564/stat : 14564 (plingeling) R 14550 14552 14526 0 -1 4202560 1575 1249 0 0 229 3 0 1 18 0 33 0 712068372 731668480 30917 268435456000 4194304 4417452 140733344842752 18446744073709551615 4249584 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=14552/tid=14565] ppid=14550 vsize=714520 CPUtime=2.36 cores=0-31
/proc/14552/task/14565/stat : 14565 (plingeling) R 14550 14552 14526 0 -1 4202560 1669 1249 0 0 232 3 0 1 18 0 33 0 712068372 731668480 30917 268435456000 4194304 4417452 140733344842752 18446744073709551615 4364756 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=14552/tid=14566] ppid=14550 vsize=714520 CPUtime=2.3 cores=0-31
/proc/14552/task/14566/stat : 14566 (plingeling) R 14550 14552 14526 0 -1 4202560 1227 1249 0 0 226 3 0 1 18 0 33 0 712068372 731668480 30917 268435456000 4194304 4417452 140733344842752 18446744073709551615 4256970 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=14552/tid=14567] ppid=14550 vsize=714520 CPUtime=2.34 cores=0-31
/proc/14552/task/14567/stat : 14567 (plingeling) R 14550 14552 14526 0 -1 4202560 1719 1249 0 0 230 3 0 1 18 0 33 0 712068372 731668480 30917 268435456000 4194304 4417452 140733344842752 18446744073709551615 4236414 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=14552/tid=14568] ppid=14550 vsize=714520 CPUtime=2.32 cores=0-31
/proc/14552/task/14568/stat : 14568 (plingeling) R 14550 14552 14526 0 -1 4202560 1391 1249 0 0 228 3 0 1 18 0 33 0 712068373 731668480 30917 268435456000 4194304 4417452 140733344842752 18446744073709551615 4252447 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=14552/tid=14569] ppid=14550 vsize=714520 CPUtime=2.36 cores=0-31
/proc/14552/task/14569/stat : 14569 (plingeling) R 14550 14552 14526 0 -1 4202560 1535 1249 0 0 233 2 0 1 18 0 33 0 712068373 731668480 30917 268435456000 4194304 4417452 140733344842752 18446744073709551615 4364634 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=14552/tid=14570] ppid=14550 vsize=714520 CPUtime=2.28 cores=0-31
/proc/14552/task/14570/stat : 14570 (plingeling) R 14550 14552 14526 0 -1 4202560 1897 1249 0 0 224 3 0 1 18 0 33 0 712068373 731668480 30917 268435456000 4194304 4417452 140733344842752 18446744073709551615 4252879 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=14552/tid=14571] ppid=14550 vsize=714520 CPUtime=2.35 cores=0-31
/proc/14552/task/14571/stat : 14571 (plingeling) R 14550 14552 14526 0 -1 4202560 1471 1249 0 0 232 2 0 1 18 0 33 0 712068373 731668480 30917 268435456000 4194304 4417452 140733344842752 18446744073709551615 4331796 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=14552/tid=14572] ppid=14550 vsize=714520 CPUtime=2.29 cores=0-31
/proc/14552/task/14572/stat : 14572 (plingeling) R 14550 14552 14526 0 -1 4202560 1516 1249 0 0 226 2 0 1 18 0 33 0 712068373 731668480 30917 268435456000 4194304 4417452 140733344842752 18446744073709551615 4252539 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=14552/tid=14573] ppid=14550 vsize=714520 CPUtime=2.37 cores=0-31
/proc/14552/task/14573/stat : 14573 (plingeling) R 14550 14552 14526 0 -1 4202560 1435 1249 0 0 235 1 0 1 18 0 33 0 712068373 731668480 30917 268435456000 4194304 4417452 140733344842752 18446744073709551615 4357737 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=14552/tid=14574] ppid=14550 vsize=714520 CPUtime=2.35 cores=0-31
/proc/14552/task/14574/stat : 14574 (plingeling) R 14550 14552 14526 0 -1 4202560 1603 1249 0 0 231 3 0 1 18 0 33 0 712068373 731668480 30917 268435456000 4194304 4417452 140733344842752 18446744073709551615 4271879 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=14552/tid=14575] ppid=14550 vsize=714520 CPUtime=2.33 cores=0-31
/proc/14552/task/14575/stat : 14575 (plingeling) R 14550 14552 14526 0 -1 4202560 1212 1249 0 0 231 1 0 1 18 0 33 0 712068373 731668480 30917 268435456000 4194304 4417452 140733344842752 18446744073709551615 4258016 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=14552/tid=14576] ppid=14550 vsize=714520 CPUtime=2.33 cores=0-31
/proc/14552/task/14576/stat : 14576 (plingeling) R 14550 14552 14526 0 -1 4202560 1705 1249 0 0 229 3 0 1 18 0 33 0 712068373 731668480 30917 268435456000 4194304 4417452 140733344842752 18446744073709551615 4257718 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=14552/tid=14577] ppid=14550 vsize=714520 CPUtime=2.3 cores=0-31
/proc/14552/task/14577/stat : 14577 (plingeling) R 14550 14552 14526 0 -1 4202560 1674 1249 0 0 227 2 0 1 18 0 33 0 712068373 731668480 30917 268435456000 4194304 4417452 140733344842752 18446744073709551615 4250721 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=14552/tid=14578] ppid=14550 vsize=714520 CPUtime=2.32 cores=0-31
/proc/14552/task/14578/stat : 14578 (plingeling) R 14550 14552 14526 0 -1 4202560 1438 1249 0 0 228 3 0 1 18 0 33 0 712068373 731668480 30917 268435456000 4194304 4417452 140733344842752 18446744073709551615 4251945 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=14552/tid=14579] ppid=14550 vsize=714520 CPUtime=2.19 cores=0-31
/proc/14552/task/14579/stat : 14579 (plingeling) R 14550 14552 14526 0 -1 4202560 1613 1249 0 0 216 2 0 1 18 0 33 0 712068373 731668480 30917 268435456000 4194304 4417452 140733344842752 18446744073709551615 4257432 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=14552/tid=14580] ppid=14550 vsize=714520 CPUtime=2.36 cores=0-31
/proc/14552/task/14580/stat : 14580 (plingeling) R 14550 14552 14526 0 -1 4202560 1786 1249 0 0 232 3 0 1 18 0 33 0 712068373 731668480 30917 268435456000 4194304 4417452 140733344842752 18446744073709551615 4253167 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=14552/tid=14581] ppid=14550 vsize=714520 CPUtime=2.35 cores=0-31
/proc/14552/task/14581/stat : 14581 (plingeling) R 14550 14552 14526 0 -1 4202560 1470 1249 0 0 232 2 0 1 18 0 33 0 712068373 731668480 30917 268435456000 4194304 4417452 140733344842752 18446744073709551615 258651013786 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=14552/tid=14582] ppid=14550 vsize=714520 CPUtime=2.36 cores=0-31
/proc/14552/task/14582/stat : 14582 (plingeling) R 14550 14552 14526 0 -1 4202560 1776 1249 0 0 232 3 0 1 18 0 33 0 712068373 731668480 30917 268435456000 4194304 4417452 140733344842752 18446744073709551615 4252404 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=14552/tid=14583] ppid=14550 vsize=714520 CPUtime=2.31 cores=0-31
/proc/14552/task/14583/stat : 14583 (plingeling) R 14550 14552 14526 0 -1 4202560 1672 1249 0 0 227 3 0 1 18 0 33 0 712068373 731668480 30917 268435456000 4194304 4417452 140733344842752 18446744073709551615 4330529 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=14552/tid=14584] ppid=14550 vsize=714520 CPUtime=2.36 cores=0-31
/proc/14552/task/14584/stat : 14584 (plingeling) R 14550 14552 14526 0 -1 4202560 1391 1249 0 0 232 3 0 1 18 0 33 0 712068373 731668480 30917 268435456000 4194304 4417452 140733344842752 18446744073709551615 4253228 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=14552/tid=14585] ppid=14550 vsize=714520 CPUtime=2.35 cores=0-31
/proc/14552/task/14585/stat : 14585 (plingeling) R 14550 14552 14526 0 -1 4202560 1609 1249 0 0 233 1 0 1 18 0 33 0 712068374 731668480 30917 268435456000 4194304 4417452 140733344842752 18446744073709551615 4364594 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=14552/tid=14586] ppid=14550 vsize=714520 CPUtime=2.32 cores=0-31
/proc/14552/task/14586/stat : 14586 (plingeling) R 14550 14552 14526 0 -1 4202560 1141 1249 0 0 230 1 0 1 18 0 33 0 712068375 731668480 30917 268435456000 4194304 4417452 140733344842752 18446744073709551615 4249122 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=14552/tid=14587] ppid=14550 vsize=714520 CPUtime=2.33 cores=0-31

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

[pid=14552/tid=14590] ppid=14550 vsize=3568136 CPUtime=4898.85 cores=0-31
/proc/14552/task/14590/stat : 14590 (plingeling) R 14550 14552 14526 0 -1 4202560 494598 1249 0 0 489530 354 0 1 25 0 33 0 712068375 3653771264 755651 268435456000 4194304 4417452 140733344842752 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 156646
Current children cumulated vsize (KiB) 3568136

[startup+4962.3 s]
/proc/loadavg: 32.04 32.05 32.06 33/446 14735
/proc/meminfo: memFree=252419704/264257624 swapFree=67111528/67111528
[pid=14552] ppid=14550 vsize=3647064 CPUtime=158564 cores=0-31
/proc/14552/stat : 14552 (plingeling) S 14550 14552 14526 0 -1 4202496 12220904 1249 0 0 15845531 10897 0 1 18 0 33 0 712068305 3734593536 771151 268435456000 4194304 4417452 140733344842752 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/14552/statm: 911766 771151 175 55 0 909652 0
[pid=14552/tid=14559] ppid=14550 vsize=3647064 CPUtime=4959.87 cores=0-31
/proc/14552/task/14559/stat : 14559 (plingeling) R 14550 14552 14526 0 -1 4202560 190439 1249 0 0 495789 197 0 1 25 0 33 0 712068372 3734593536 771151 268435456000 4194304 4417452 140733344842752 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=14552/tid=14560] ppid=14550 vsize=3647064 CPUtime=4935.05 cores=0-31
/proc/14552/task/14560/stat : 14560 (plingeling) R 14550 14552 14526 0 -1 4202560 367989 1249 0 0 493181 323 0 1 25 0 33 0 712068372 3734593536 771151 268435456000 4194304 4417452 140733344842752 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=14552/tid=14561] ppid=14550 vsize=3647064 CPUtime=4953.37 cores=0-31
/proc/14552/task/14561/stat : 14561 (plingeling) R 14550 14552 14526 0 -1 4202560 516581 1249 0 0 494835 501 0 1 25 0 33 0 712068372 3734593536 771151 268435456000 4194304 4417452 140733344842752 18446744073709551615 4364564 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=14552/tid=14562] ppid=14550 vsize=3647064 CPUtime=4957.53 cores=0-31
/proc/14552/task/14562/stat : 14562 (plingeling) R 14550 14552 14526 0 -1 4202560 549366 1249 0 0 495332 420 0 1 25 0 33 0 712068372 3734593536 771151 268435456000 4194304 4417452 140733344842752 18446744073709551615 4364634 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=14552/tid=14563] ppid=14550 vsize=3647064 CPUtime=4958.15 cores=0-31
/proc/14552/task/14563/stat : 14563 (plingeling) R 14550 14552 14526 0 -1 4202560 240589 1249 0 0 495586 228 0 1 25 0 33 0 712068372 3734593536 771151 268435456000 4194304 4417452 140733344842752 18446744073709551615 4364675 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=14552/tid=14564] ppid=14550 vsize=3647064 CPUtime=4960.13 cores=0-31
/proc/14552/task/14564/stat : 14564 (plingeling) R 14550 14552 14526 0 -1 4202560 375543 1249 0 0 495772 240 0 1 25 0 33 0 712068372 3734593536 771151 268435456000 4194304 4417452 140733344842752 18446744073709551615 4365092 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=14552/tid=14565] ppid=14550 vsize=3647064 CPUtime=4954.76 cores=0-31
/proc/14552/task/14565/stat : 14565 (plingeling) R 14550 14552 14526 0 -1 4202560 332555 1249 0 0 495100 375 0 1 25 0 33 0 712068372 3734593536 771151 268435456000 4194304 4417452 140733344842752 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=14552/tid=14566] ppid=14550 vsize=3647064 CPUtime=4958.87 cores=0-31
/proc/14552/task/14566/stat : 14566 (plingeling) R 14550 14552 14526 0 -1 4202560 340136 1249 0 0 495595 291 0 1 25 0 33 0 712068372 3734593536 771151 268435456000 4194304 4417452 140733344842752 18446744073709551615 4364861 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=14552/tid=14567] ppid=14550 vsize=3647064 CPUtime=4959.1 cores=0-31
/proc/14552/task/14567/stat : 14567 (plingeling) R 14550 14552 14526 0 -1 4202560 197247 1249 0 0 495701 208 0 1 25 0 33 0 712068372 3734593536 771151 268435456000 4194304 4417452 140733344842752 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=14552/tid=14568] ppid=14550 vsize=3647064 CPUtime=4959.81 cores=0-31
/proc/14552/task/14568/stat : 14568 (plingeling) R 14550 14552 14526 0 -1 4202560 302381 1249 0 0 495714 266 0 1 25 0 33 0 712068373 3734593536 771151 268435456000 4194304 4417452 140733344842752 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=14552/tid=14569] ppid=14550 vsize=3647064 CPUtime=4948.63 cores=0-31
/proc/14552/task/14569/stat : 14569 (plingeling) R 14550 14552 14526 0 -1 4202560 264836 1249 0 0 494572 290 0 1 25 0 33 0 712068373 3734593536 771151 268435456000 4194304 4417452 140733344842752 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=14552/tid=14570] ppid=14550 vsize=3647064 CPUtime=4957.77 cores=0-31
/proc/14552/task/14570/stat : 14570 (plingeling) R 14550 14552 14526 0 -1 4202560 1173610 1249 0 0 495203 573 0 1 25 0 33 0 712068373 3734593536 771151 268435456000 4194304 4417452 140733344842752 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=14552/tid=14571] ppid=14550 vsize=3647064 CPUtime=4957.07 cores=0-31
/proc/14552/task/14571/stat : 14571 (plingeling) R 14550 14552 14526 0 -1 4202560 521755 1249 0 0 495221 485 0 1 25 0 33 0 712068373 3734593536 771151 268435456000 4194304 4417452 140733344842752 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=14552/tid=14572] ppid=14550 vsize=3647064 CPUtime=4959.31 cores=0-31
/proc/14552/task/14572/stat : 14572 (plingeling) R 14550 14552 14526 0 -1 4202560 524697 1249 0 0 495491 439 0 1 25 0 33 0 712068373 3734593536 771151 268435456000 4194304 4417452 140733344842752 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=14552/tid=14573] ppid=14550 vsize=3647064 CPUtime=4957.65 cores=0-31
/proc/14552/task/14573/stat : 14573 (plingeling) R 14550 14552 14526 0 -1 4202560 365722 1249 0 0 495407 357 0 1 25 0 33 0 712068373 3734593536 771151 268435456000 4194304 4417452 140733344842752 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=14552/tid=14574] ppid=14550 vsize=3647064 CPUtime=4959.61 cores=0-31
/proc/14552/task/14574/stat : 14574 (plingeling) R 14550 14552 14526 0 -1 4202560 182377 1249 0 0 495803 157 0 1 25 0 33 0 712068373 3734593536 771151 268435456000 4194304 4417452 140733344842752 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=14552/tid=14575] ppid=14550 vsize=3647064 CPUtime=4959.77 cores=0-31
/proc/14552/task/14575/stat : 14575 (plingeling) R 14550 14552 14526 0 -1 4202560 415431 1249 0 0 495524 452 0 1 25 0 33 0 712068373 3734593536 771151 268435456000 4194304 4417452 140733344842752 18446744073709551615 4364807 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=14552/tid=14576] ppid=14550 vsize=3647064 CPUtime=4959.84 cores=0-31
/proc/14552/task/14576/stat : 14576 (plingeling) R 14550 14552 14526 0 -1 4202560 324121 1249 0 0 495722 261 0 1 25 0 33 0 712068373 3734593536 771151 268435456000 4194304 4417452 140733344842752 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=14552/tid=14577] ppid=14550 vsize=3647064 CPUtime=4930.65 cores=0-31
/proc/14552/task/14577/stat : 14577 (plingeling) R 14550 14552 14526 0 -1 4202560 231132 1249 0 0 492832 232 0 1 25 0 33 0 712068373 3734593536 771151 268435456000 4194304 4417452 140733344842752 18446744073709551615 4364611 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=14552/tid=14578] ppid=14550 vsize=3647064 CPUtime=4959.96 cores=0-31
/proc/14552/task/14578/stat : 14578 (plingeling) R 14550 14552 14526 0 -1 4202560 306455 1249 0 0 495738 257 0 1 25 0 33 0 712068373 3734593536 771151 268435456000 4194304 4417452 140733344842752 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=14552/tid=14579] ppid=14550 vsize=3647064 CPUtime=4956.46 cores=0-31
/proc/14552/task/14579/stat : 14579 (plingeling) R 14550 14552 14526 0 -1 4202560 345906 1249 0 0 495191 454 0 1 25 0 33 0 712068373 3734593536 771151 268435456000 4194304 4417452 140733344842752 18446744073709551615 4232664 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=14552/tid=14580] ppid=14550 vsize=3647064 CPUtime=4945.37 cores=0-31
/proc/14552/task/14580/stat : 14580 (plingeling) R 14550 14552 14526 0 -1 4202560 298987 1249 0 0 494256 280 0 1 25 0 33 0 712068373 3734593536 771151 268435456000 4194304 4417452 140733344842752 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=14552/tid=14581] ppid=14550 vsize=3647064 CPUtime=4958.51 cores=0-31
/proc/14552/task/14581/stat : 14581 (plingeling) R 14550 14552 14526 0 -1 4202560 439760 1249 0 0 495368 482 0 1 25 0 33 0 712068373 3734593536 771151 268435456000 4194304 4417452 140733344842752 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=14552/tid=14582] ppid=14550 vsize=3647064 CPUtime=4958.84 cores=0-31
/proc/14552/task/14582/stat : 14582 (plingeling) R 14550 14552 14526 0 -1 4202560 220056 1249 0 0 495650 233 0 1 25 0 33 0 712068373 3734593536 771151 268435456000 4194304 4417452 140733344842752 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=14552/tid=14583] ppid=14550 vsize=3647064 CPUtime=4928.97 cores=0-31
/proc/14552/task/14583/stat : 14583 (plingeling) R 14550 14552 14526 0 -1 4202560 495978 1249 0 0 492446 450 0 1 25 0 33 0 712068373 3734593536 771151 268435456000 4194304 4417452 140733344842752 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=14552/tid=14584] ppid=14550 vsize=3647064 CPUtime=4959.31 cores=0-31
/proc/14552/task/14584/stat : 14584 (plingeling) R 14550 14552 14526 0 -1 4202560 306246 1249 0 0 495631 299 0 1 25 0 33 0 712068373 3734593536 771151 268435456000 4194304 4417452 140733344842752 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=14552/tid=14585] ppid=14550 vsize=3647064 CPUtime=4959.82 cores=0-31
/proc/14552/task/14585/stat : 14585 (plingeling) R 14550 14552 14526 0 -1 4202560 253506 1249 0 0 495749 232 0 1 25 0 33 0 712068374 3734593536 771151 268435456000 4194304 4417452 140733344842752 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=14552/tid=14586] ppid=14550 vsize=3647064 CPUtime=4959.32 cores=0-31
/proc/14552/task/14586/stat : 14586 (plingeling) R 14550 14552 14526 0 -1 4202560 341695 1249 0 0 495632 299 0 1 25 0 33 0 712068375 3734593536 771151 268435456000 4194304 4417452 140733344842752 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=14552/tid=14587] ppid=14550 vsize=3647064 CPUtime=4959.7 cores=0-31
/proc/14552/task/14587/stat : 14587 (plingeling) R 14550 14552 14526 0 -1 4202560 373778 1249 0 0 495674 295 0 1 25 0 33 0 712068375 3734593536 771151 268435456000 4194304 4417452 140733344842752 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=14552/tid=14588] ppid=14550 vsize=3647064 CPUtime=4956.75 cores=0-31
/proc/14552/task/14588/stat : 14588 (plingeling) R 14550 14552 14526 0 -1 4202560 461960 1249 0 0 495283 391 0 1 25 0 33 0 712068375 3734593536 771151 268435456000 4194304 4417452 140733344842752 18446744073709551615 4357260 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=14552/tid=14589] ppid=14550 vsize=3647064 CPUtime=4954.86 cores=0-31
/proc/14552/task/14589/stat : 14589 (plingeling) R 14550 14552 14526 0 -1 4202560 447805 1249 0 0 494928 557 0 1 25 0 33 0 712068375 3734593536 771151 268435456000 4194304 4417452 140733344842752 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=14552/tid=14590] ppid=14550 vsize=3647064 CPUtime=4958.84 cores=0-31
/proc/14552/task/14590/stat : 14590 (plingeling) R 14550 14552 14526 0 -1 4202560 497847 1249 0 0 495529 354 0 1 25 0 33 0 712068375 3734593536 771151 268435456000 4194304 4417452 140733344842752 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 158564
Current children cumulated vsize (KiB) 3647064



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+5007.2 s]
/proc/loadavg: 32.02 32.04 32.06 34/446 14737
/proc/meminfo: memFree=252354452/264257624 swapFree=67111528/67111528
[pid=14552] ppid=14550 vsize=3704416 CPUtime=160001 cores=0-31
/proc/14552/stat : 14552 (plingeling) S 14550 14552 14526 0 -1 4202496 12305940 1249 0 0 15989104 10967 0 1 18 0 33 0 712068305 3793321984 787344 268435456000 4194304 4417452 140733344842752 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/14552/statm: 926104 787344 175 55 0 923990 0
[pid=14552/tid=14559] ppid=14550 vsize=3704416 CPUtime=5004.8 cores=0-31
/proc/14552/task/14559/stat : 14559 (plingeling) R 14550 14552 14526 0 -1 4202560 190439 1249 0 0 500282 197 0 1 25 0 33 0 712068372 3793321984 787344 268435456000 4194304 4417452 140733344842752 18446744073709551615 4366130 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=14552/tid=14560] ppid=14550 vsize=3704416 CPUtime=4979.98 cores=0-31
/proc/14552/task/14560/stat : 14560 (plingeling) R 14550 14552 14526 0 -1 4202560 370253 1249 0 0 497668 329 0 1 25 0 33 0 712068372 3793321984 787344 268435456000 4194304 4417452 140733344842752 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=14552/tid=14561] ppid=14550 vsize=3704416 CPUtime=4998.27 cores=0-31
/proc/14552/task/14561/stat : 14561 (plingeling) R 14550 14552 14526 0 -1 4202560 520789 1249 0 0 499324 502 0 1 25 0 33 0 712068372 3793321984 787344 268435456000 4194304 4417452 140733344842752 18446744073709551615 4357554 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=14552/tid=14562] ppid=14550 vsize=3704416 CPUtime=5002.46 cores=0-31
/proc/14552/task/14562/stat : 14562 (plingeling) R 14550 14552 14526 0 -1 4202560 554377 1249 0 0 499817 428 0 1 25 0 33 0 712068372 3793321984 787344 268435456000 4194304 4417452 140733344842752 18446744073709551615 4353557 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=14552/tid=14563] ppid=14550 vsize=3704416 CPUtime=5003.08 cores=0-31
/proc/14552/task/14563/stat : 14563 (plingeling) R 14550 14552 14526 0 -1 4202560 243289 1249 0 0 500078 229 0 1 25 0 33 0 712068372 3793321984 787344 268435456000 4194304 4417452 140733344842752 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=14552/tid=14564] ppid=14550 vsize=3704416 CPUtime=5005.06 cores=0-31
/proc/14552/task/14564/stat : 14564 (plingeling) R 14550 14552 14526 0 -1 4202560 375747 1249 0 0 500265 240 0 1 25 0 33 0 712068372 3793321984 787344 268435456000 4194304 4417452 140733344842752 18446744073709551615 4364604 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=14552/tid=14565] ppid=14550 vsize=3704416 CPUtime=4999.69 cores=0-31
/proc/14552/task/14565/stat : 14565 (plingeling) R 14550 14552 14526 0 -1 4202560 333374 1249 0 0 499593 375 0 1 25 0 33 0 712068372 3793321984 787344 268435456000 4194304 4417452 140733344842752 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=14552/tid=14566] ppid=14550 vsize=3704416 CPUtime=5003.81 cores=0-31
/proc/14552/task/14566/stat : 14566 (plingeling) R 14550 14552 14526 0 -1 4202560 340136 1249 0 0 500089 291 0 1 25 0 33 0 712068372 3793321984 787344 268435456000 4194304 4417452 140733344842752 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=14552/tid=14567] ppid=14550 vsize=3704416 CPUtime=5004.03 cores=0-31
/proc/14552/task/14567/stat : 14567 (plingeling) R 14550 14552 14526 0 -1 4202560 206072 1249 0 0 500193 209 0 1 25 0 33 0 712068372 3793321984 787344 268435456000 4194304 4417452 140733344842752 18446744073709551615 4364626 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=14552/tid=14568] ppid=14550 vsize=3704416 CPUtime=5004.75 cores=0-31
/proc/14552/task/14568/stat : 14568 (plingeling) R 14550 14552 14526 0 -1 4202560 302486 1249 0 0 500208 266 0 1 25 0 33 0 712068373 3793321984 787344 268435456000 4194304 4417452 140733344842752 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=14552/tid=14569] ppid=14550 vsize=3704416 CPUtime=4993.56 cores=0-31
/proc/14552/task/14569/stat : 14569 (plingeling) R 14550 14552 14526 0 -1 4202560 264836 1249 0 0 499065 290 0 1 25 0 33 0 712068373 3793321984 787344 268435456000 4194304 4417452 140733344842752 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=14552/tid=14570] ppid=14550 vsize=3704416 CPUtime=5002.71 cores=0-31
/proc/14552/task/14570/stat : 14570 (plingeling) R 14550 14552 14526 0 -1 4202560 1176186 1249 0 0 499696 574 0 1 25 0 33 0 712068373 3793321984 787344 268435456000 4194304 4417452 140733344842752 18446744073709551615 4364807 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=14552/tid=14571] ppid=14550 vsize=3704416 CPUtime=5002 cores=0-31
/proc/14552/task/14571/stat : 14571 (plingeling) R 14550 14552 14526 0 -1 4202560 526211 1249 0 0 499713 486 0 1 25 0 33 0 712068373 3793321984 787344 268435456000 4194304 4417452 140733344842752 18446744073709551615 4364881 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=14552/tid=14572] ppid=14550 vsize=3704416 CPUtime=5004.24 cores=0-31
/proc/14552/task/14572/stat : 14572 (plingeling) R 14550 14552 14526 0 -1 4202560 528039 1249 0 0 499983 440 0 1 25 0 33 0 712068373 3793321984 787344 268435456000 4194304 4417452 140733344842752 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=14552/tid=14573] ppid=14550 vsize=3704416 CPUtime=5002.58 cores=0-31
/proc/14552/task/14573/stat : 14573 (plingeling) R 14550 14552 14526 0 -1 4202560 379487 1249 0 0 499892 365 0 1 25 0 33 0 712068373 3793321984 787344 268435456000 4194304 4417452 140733344842752 18446744073709551615 4365058 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=14552/tid=14574] ppid=14550 vsize=3704416 CPUtime=5004.54 cores=0-31
/proc/14552/task/14574/stat : 14574 (plingeling) R 14550 14552 14526 0 -1 4202560 184083 1249 0 0 500292 161 0 1 25 0 33 0 712068373 3793321984 787344 268435456000 4194304 4417452 140733344842752 18446744073709551615 4364621 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=14552/tid=14575] ppid=14550 vsize=3704416 CPUtime=5004.71 cores=0-31
/proc/14552/task/14575/stat : 14575 (plingeling) R 14550 14552 14526 0 -1 4202560 415835 1249 0 0 500018 452 0 1 25 0 33 0 712068373 3793321984 787344 268435456000 4194304 4417452 140733344842752 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=14552/tid=14576] ppid=14550 vsize=3704416 CPUtime=5004.78 cores=0-31
/proc/14552/task/14576/stat : 14576 (plingeling) R 14550 14552 14526 0 -1 4202560 328137 1249 0 0 500210 267 0 1 25 0 33 0 712068373 3793321984 787344 268435456000 4194304 4417452 140733344842752 18446744073709551615 4364564 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=14552/tid=14577] ppid=14550 vsize=3704416 CPUtime=4974.29 cores=0-31
/proc/14552/task/14577/stat : 14577 (plingeling) R 14550 14552 14526 0 -1 4202560 232078 1249 0 0 497196 232 0 1 25 0 33 0 712068373 3793321984 787344 268435456000 4194304 4417452 140733344842752 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=14552/tid=14578] ppid=14550 vsize=3704416 CPUtime=5004.89 cores=0-31
/proc/14552/task/14578/stat : 14578 (plingeling) R 14550 14552 14526 0 -1 4202560 306455 1249 0 0 500231 257 0 1 25 0 33 0 712068373 3793321984 787344 268435456000 4194304 4417452 140733344842752 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=14552/tid=14579] ppid=14550 vsize=3704416 CPUtime=5001.4 cores=0-31
/proc/14552/task/14579/stat : 14579 (plingeling) R 14550 14552 14526 0 -1 4202560 345906 1249 0 0 499685 454 0 1 25 0 33 0 712068373 3793321984 787344 268435456000 4194304 4417452 140733344842752 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=14552/tid=14580] ppid=14550 vsize=3704416 CPUtime=4990.3 cores=0-31
/proc/14552/task/14580/stat : 14580 (plingeling) R 14550 14552 14526 0 -1 4202560 304771 1249 0 0 498748 281 0 1 25 0 33 0 712068373 3793321984 787344 268435456000 4194304 4417452 140733344842752 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=14552/tid=14581] ppid=14550 vsize=3704416 CPUtime=5003.43 cores=0-31
/proc/14552/task/14581/stat : 14581 (plingeling) R 14550 14552 14526 0 -1 4202560 444891 1249 0 0 499846 496 0 1 25 0 33 0 712068373 3793321984 787344 268435456000 4194304 4417452 140733344842752 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=14552/tid=14582] ppid=14550 vsize=3704416 CPUtime=5003.77 cores=0-31
/proc/14552/task/14582/stat : 14582 (plingeling) R 14550 14552 14526 0 -1 4202560 220334 1249 0 0 500143 233 0 1 25 0 33 0 712068373 3793321984 787344 268435456000 4194304 4417452 140733344842752 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=14552/tid=14583] ppid=14550 vsize=3704416 CPUtime=4973.9 cores=0-31
/proc/14552/task/14583/stat : 14583 (plingeling) R 14550 14552 14526 0 -1 4202560 495978 1249 0 0 496939 450 0 1 25 0 33 0 712068373 3793321984 787344 268435456000 4194304 4417452 140733344842752 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=14552/tid=14584] ppid=14550 vsize=3704416 CPUtime=5004.25 cores=0-31
/proc/14552/task/14584/stat : 14584 (plingeling) R 14550 14552 14526 0 -1 4202560 310858 1249 0 0 500111 313 0 1 25 0 33 0 712068373 3793321984 787344 268435456000 4194304 4417452 140733344842752 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=14552/tid=14585] ppid=14550 vsize=3704416 CPUtime=5004.75 cores=0-31
/proc/14552/task/14585/stat : 14585 (plingeling) R 14550 14552 14526 0 -1 4202560 257670 1249 0 0 500241 233 0 1 25 0 33 0 712068374 3793321984 787344 268435456000 4194304 4417452 140733344842752 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=14552/tid=14586] ppid=14550 vsize=3704416 CPUtime=5004.25 cores=0-31
/proc/14552/task/14586/stat : 14586 (plingeling) R 14550 14552 14526 0 -1 4202560 345435 1249 0 0 500124 300 0 1 25 0 33 0 712068375 3793321984 787344 268435456000 4194304 4417452 140733344842752 18446744073709551615 4364835 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=14552/tid=14587] ppid=14550 vsize=3704416 CPUtime=5004.6 cores=0-31
/proc/14552/task/14587/stat : 14587 (plingeling) R 14550 14552 14526 0 -1 4202560 377764 1249 0 0 500163 296 0 1 25 0 33 0 712068375 3793321984 787344 268435456000 4194304 4417452 140733344842752 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=14552/tid=14588] ppid=14550 vsize=3704416 CPUtime=5001.68 cores=0-31
/proc/14552/task/14588/stat : 14588 (plingeling) R 14550 14552 14526 0 -1 4202560 461960 1249 0 0 499776 391 0 1 25 0 33 0 712068375 3793321984 787344 268435456000 4194304 4417452 140733344842752 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=14552/tid=14589] ppid=14550 vsize=3704416 CPUtime=4999.79 cores=0-31
/proc/14552/task/14589/stat : 14589 (plingeling) R 14550 14552 14526 0 -1 4202560 447805 1249 0 0 499421 557 0 1 25 0 33 0 712068375 3793321984 787344 268435456000 4194304 4417452 140733344842752 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=14552/tid=14590] ppid=14550 vsize=3704416 CPUtime=5003.74 cores=0-31
/proc/14552/task/14590/stat : 14590 (plingeling) R 14550 14552 14526 0 -1 4202560 499841 1249 0 0 500018 355 0 1 25 0 33 0 712068375 3793321984 787344 268435456000 4194304 4417452 140733344842752 18446744073709551615 4364604 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 160001
Current children cumulated vsize (KiB) 3704416

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

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

[startup+5007.5 s]
/proc/loadavg: 32.02 32.04 32.06 34/446 14737
/proc/meminfo: memFree=252354452/264257624 swapFree=67111528/67111528
[pid=14552] ppid=14550 vsize=0 CPUtime=160001 cores=0-31
/proc/14552/stat : 14552 (plingeling) Z 14550 14552 14526 0 -1 4203548 12305940 1249 0 0 15989126 10992 0 1 18 0 2 0 712068305 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/14552/statm: 0 0 0 0 0 0 0
[pid=14552/tid=14584] ppid=14550 vsize=0 CPUtime=5004.5 cores=0-31
/proc/14552/task/14584/stat : 14584 (plingeling) R 14550 14552 14526 0 -1 4203588 310858 1249 0 0 500111 338 0 1 25 0 2 0 712068373 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 160001
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 5007.57
CPU time (s): 160001
CPU user time (s): 159891
CPU system time (s): 110.008
CPU usage (%): 3195.19
Max. virtual memory (cumulated for all children) (KiB): 3716812

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 159891
system time used= 110.008
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12307189
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= 16107
involuntary context switches= 397567

runsolver used 25.2752 second user time and 116.158 second system time

The end

Launcher Data 

Begin job on node200 at 2011-05-21 21:23:39
IDJOB=3372735
IDBENCH=83410
IDSOLVER=1852
FILE ID=node200/3372735-1306005819
RUNJOBID= node200-1306005819-14540
PBS_JOBID= 13387798
Free space on /tmp= 62044 MiB

SOLVER NAME= Plingeling 587f (fixed)
BENCH NAME= SAT11/application/kullmann/AES/Benchmarks/128/aes_128_2_keyfind_1.cnf
COMMAND LINE= plingeling -t NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3372735-1306005819/watcher-3372735-1306005819 -o /tmp/evaluation-result-3372735-1306005819/solver-3372735-1306005819 -C 160000 -W 5100 -M 266338304  plingeling -t 32 HOME/instance-3372735-1306005819.cnf

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

MD5SUM BENCH= 19e0b91e7d093f7cb35b11b46708a49b
RANDOM SEED=1480826712

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:      255506600 kB
Buffers:        454036 kB
Cached:        7898260 kB
SwapCached:          0 kB
Active:        7422272 kB
Inactive:       998908 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      255506600 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:             760 kB
Writeback:           0 kB
AnonPages:       70660 kB
Mapped:          13776 kB
Slab:           252572 kB
PageTables:       4696 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   186136 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= 62044 MiB
End job on node200 at 2011-05-21 22:47:08