Trace number 3372669

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) 160003 5009.51

General information on the benchmark

Nameapplication/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom15.cnf
MD5SUM1f0914c6141fdba914b73575a12b918a
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark58120.8
Satisfiable
(Un)Satisfiability was proved
Number of variables25972
Number of clauses86411
Sum of the clauses size219707
Maximum clause length879
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 245193
Number of clauses of size 340753
Number of clauses of size 4119
Number of clauses of size 513
Number of clauses of size over 5332

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-3372669-1305927376/watcher-3372669-1305927376 -o /tmp/evaluation-result-3372669-1305927376/solver-3372669-1305927376 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372669-1305927376.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.64 31.60 31.77 1/413 9912
/proc/meminfo: memFree=255499968/264257624 swapFree=67111528/67111528
[pid=9912] ppid=9910 vsize=27156 CPUtime=0.02 cores=0-31
/proc/9912/stat : 9912 (plingeling) R 9910 9912 9886 0 -1 4202496 4866 1241 0 0 2 0 0 0 22 0 1 0 704224002 27807744 4797 268435456000 4194304 4417452 140736273303824 18446744073709551615 258650649811 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/9912/statm: 6789 4805 141 55 0 4675 0

[startup+0.067571 s]
/proc/loadavg: 29.64 31.60 31.77 1/413 9912
/proc/meminfo: memFree=255499968/264257624 swapFree=67111528/67111528
[pid=9912] ppid=9910 vsize=30860 CPUtime=0.05 cores=0-31
/proc/9912/stat : 9912 (plingeling) R 9910 9912 9886 0 -1 4202496 5792 1241 0 0 5 0 0 0 22 0 1 0 704224002 31600640 5723 268435456000 4194304 4417452 140736273303824 18446744073709551615 4264950 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/9912/statm: 7715 5723 145 55 0 5601 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 30860

[startup+0.100577 s]
/proc/loadavg: 29.64 31.60 31.77 1/413 9912
/proc/meminfo: memFree=255499968/264257624 swapFree=67111528/67111528
[pid=9912] ppid=9910 vsize=32444 CPUtime=0.09 cores=0-31
/proc/9912/stat : 9912 (plingeling) R 9910 9912 9886 0 -1 4202496 6200 1241 0 0 8 1 0 0 22 0 1 0 704224002 33222656 6131 268435456000 4194304 4417452 140736273303824 18446744073709551615 4259025 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/9912/statm: 8111 6131 145 55 0 5997 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 32444

[startup+0.300593 s]
/proc/loadavg: 29.64 31.60 31.77 1/413 9912
/proc/meminfo: memFree=255499968/264257624 swapFree=67111528/67111528
[pid=9912] ppid=9910 vsize=50420 CPUtime=0.29 cores=0-31
/proc/9912/stat : 9912 (plingeling) R 9910 9912 9886 0 -1 4202496 10695 1241 0 0 27 2 0 0 23 0 1 0 704224002 51630080 10626 268435456000 4194304 4417452 140736273303824 18446744073709551615 4264940 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/9912/statm: 12605 10626 146 55 0 10491 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 50420

[startup+0.700601 s]
/proc/loadavg: 29.64 31.60 31.77 1/413 9912
/proc/meminfo: memFree=255499968/264257624 swapFree=67111528/67111528
[pid=9912] ppid=9910 vsize=72812 CPUtime=0.68 cores=0-31
/proc/9912/stat : 9912 (plingeling) R 9910 9912 9886 0 -1 4202496 16293 1241 0 0 65 3 0 0 25 0 1 0 704224002 74559488 16224 268435456000 4194304 4417452 140736273303824 18446744073709551615 4231659 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/9912/statm: 18203 16224 146 55 0 16089 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 72812

[startup+1.50063 s]
/proc/loadavg: 27.34 31.09 31.60 2/414 9918
/proc/meminfo: memFree=255416616/264257624 swapFree=67111528/67111528
[pid=9912] ppid=9910 vsize=152328 CPUtime=1.49 cores=0-31
/proc/9912/stat : 9912 (plingeling) R 9910 9912 9886 0 -1 4202496 36148 1241 0 0 141 8 0 0 25 0 1 0 704224002 155983872 36079 268435456000 4194304 4417452 140736273303824 18446744073709551615 4259618 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/9912/statm: 38082 36079 146 55 0 35968 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 152328

[startup+3.10156 s]
/proc/loadavg: 27.34 31.09 31.60 33/446 9950
/proc/meminfo: memFree=255306348/264257624 swapFree=67111528/67111528
[pid=9912] ppid=9910 vsize=946792 CPUtime=42.77 cores=0-31
/proc/9912/stat : 9912 (plingeling) S 9910 9912 9886 0 -1 4202496 106410 1241 0 0 4200 77 0 0 18 0 33 0 704224002 969515008 50193 268435456000 4194304 4417452 140736273303824 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 20 0 0 0
/proc/9912/statm: 236698 50193 171 55 0 234584 0
[pid=9912/tid=9919] ppid=9910 vsize=946792 CPUtime=1.3 cores=0-31
/proc/9912/task/9919/stat : 9919 (plingeling) R 9910 9912 9886 0 -1 4202560 1383 1241 0 0 128 2 0 0 25 0 33 0 704224176 969515008 50193 268435456000 4194304 4417452 140736273303824 18446744073709551615 4234211 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=9912/tid=9920] ppid=9910 vsize=946792 CPUtime=1.27 cores=0-31
/proc/9912/task/9920/stat : 9920 (plingeling) R 9910 9912 9886 0 -1 4202560 1885 1241 0 0 126 1 0 0 19 0 33 0 704224176 969515008 50193 268435456000 4194304 4417452 140736273303824 18446744073709551615 4282356 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=9912/tid=9921] ppid=9910 vsize=946792 CPUtime=1.28 cores=0-31
/proc/9912/task/9921/stat : 9921 (plingeling) R 9910 9912 9886 0 -1 4202560 1189 1241 0 0 128 0 0 0 19 0 33 0 704224176 969515008 50193 268435456000 4194304 4417452 140736273303824 18446744073709551615 4286414 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=9912/tid=9922] ppid=9910 vsize=946792 CPUtime=1.29 cores=0-31
/proc/9912/task/9922/stat : 9922 (plingeling) R 9910 9912 9886 0 -1 4202560 961 1241 0 0 127 2 0 0 19 0 33 0 704224176 969515008 50193 268435456000 4194304 4417452 140736273303824 18446744073709551615 4241586 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=9912/tid=9923] ppid=9910 vsize=946792 CPUtime=1.25 cores=0-31
/proc/9912/task/9923/stat : 9923 (plingeling) R 9910 9912 9886 0 -1 4202560 1864 1241 0 0 124 1 0 0 21 0 33 0 704224176 969515008 50193 268435456000 4194304 4417452 140736273303824 18446744073709551615 4290592 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=9912/tid=9924] ppid=9910 vsize=946792 CPUtime=1.24 cores=0-31
/proc/9912/task/9924/stat : 9924 (plingeling) R 9910 9912 9886 0 -1 4202560 1230 1241 0 0 123 1 0 0 19 0 33 0 704224176 969515008 50193 268435456000 4194304 4417452 140736273303824 18446744073709551615 4284514 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=9912/tid=9925] ppid=9910 vsize=946792 CPUtime=1.28 cores=0-31
/proc/9912/task/9925/stat : 9925 (plingeling) R 9910 9912 9886 0 -1 4202560 4318 1241 0 0 126 2 0 0 19 0 33 0 704224176 969515008 50193 268435456000 4194304 4417452 140736273303824 18446744073709551615 4286467 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=9912/tid=9926] ppid=9910 vsize=946792 CPUtime=1.31 cores=0-31
/proc/9912/task/9926/stat : 9926 (plingeling) R 9910 9912 9886 0 -1 4202560 3421 1241 0 0 129 2 0 0 19 0 33 0 704224177 969515008 50193 268435456000 4194304 4417452 140736273303824 18446744073709551615 4284202 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=9912/tid=9927] ppid=9910 vsize=946792 CPUtime=1.16 cores=0-31
/proc/9912/task/9927/stat : 9927 (plingeling) R 9910 9912 9886 0 -1 4202560 3725 1241 0 0 113 3 0 0 21 0 33 0 704224177 969515008 50193 268435456000 4194304 4417452 140736273303824 18446744073709551615 4284341 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=9912/tid=9928] ppid=9910 vsize=946792 CPUtime=1.28 cores=0-31
/proc/9912/task/9928/stat : 9928 (plingeling) R 9910 9912 9886 0 -1 4202560 1229 1241 0 0 127 1 0 0 19 0 33 0 704224177 969515008 50193 268435456000 4194304 4417452 140736273303824 18446744073709551615 4286414 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=9912/tid=9929] ppid=9910 vsize=946792 CPUtime=1.29 cores=0-31
/proc/9912/task/9929/stat : 9929 (plingeling) R 9910 9912 9886 0 -1 4202560 2532 1241 0 0 127 2 0 0 19 0 33 0 704224177 969515008 50193 268435456000 4194304 4417452 140736273303824 18446744073709551615 4284514 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=9912/tid=9930] ppid=9910 vsize=946792 CPUtime=1.29 cores=0-31
/proc/9912/task/9930/stat : 9930 (plingeling) R 9910 9912 9886 0 -1 4202560 1199 1241 0 0 128 1 0 0 18 0 33 0 704224177 969515008 50193 268435456000 4194304 4417452 140736273303824 18446744073709551615 4302006 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=9912/tid=9931] ppid=9910 vsize=946792 CPUtime=1.26 cores=0-31
/proc/9912/task/9931/stat : 9931 (plingeling) R 9910 9912 9886 0 -1 4202560 2302 1241 0 0 124 2 0 0 19 0 33 0 704224177 969515008 50193 268435456000 4194304 4417452 140736273303824 18446744073709551615 4284341 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=9912/tid=9932] ppid=9910 vsize=946792 CPUtime=1.27 cores=0-31
/proc/9912/task/9932/stat : 9932 (plingeling) R 9910 9912 9886 0 -1 4202560 2664 1241 0 0 125 2 0 0 19 0 33 0 704224177 969515008 50193 268435456000 4194304 4417452 140736273303824 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=9912/tid=9933] ppid=9910 vsize=946792 CPUtime=1.25 cores=0-31
/proc/9912/task/9933/stat : 9933 (plingeling) R 9910 9912 9886 0 -1 4202560 2524 1241 0 0 123 2 0 0 19 0 33 0 704224177 969515008 50193 268435456000 4194304 4417452 140736273303824 18446744073709551615 4236603 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=9912/tid=9934] ppid=9910 vsize=946792 CPUtime=1.28 cores=0-31
/proc/9912/task/9934/stat : 9934 (plingeling) R 9910 9912 9886 0 -1 4202560 3286 1241 0 0 125 3 0 0 19 0 33 0 704224177 969515008 50193 268435456000 4194304 4417452 140736273303824 18446744073709551615 4277488 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=9912/tid=9935] ppid=9910 vsize=946792 CPUtime=1.28 cores=0-31
/proc/9912/task/9935/stat : 9935 (plingeling) R 9910 9912 9886 0 -1 4202560 4706 1241 0 0 125 3 0 0 19 0 33 0 704224177 969515008 50193 268435456000 4194304 4417452 140736273303824 18446744073709551615 4284289 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=9912/tid=9936] ppid=9910 vsize=946792 CPUtime=1.3 cores=0-31
/proc/9912/task/9936/stat : 9936 (plingeling) R 9910 9912 9886 0 -1 4202560 695 1241 0 0 129 1 0 0 18 0 33 0 704224177 969515008 50193 268435456000 4194304 4417452 140736273303824 18446744073709551615 4292293 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=9912/tid=9937] ppid=9910 vsize=946792 CPUtime=1.29 cores=0-31
/proc/9912/task/9937/stat : 9937 (plingeling) R 9910 9912 9886 0 -1 4202560 1006 1241 0 0 128 1 0 0 19 0 33 0 704224177 969515008 50193 268435456000 4194304 4417452 140736273303824 18446744073709551615 4286414 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=9912/tid=9938] ppid=9910 vsize=946792 CPUtime=1.28 cores=0-31
/proc/9912/task/9938/stat : 9938 (plingeling) R 9910 9912 9886 0 -1 4202560 2193 1241 0 0 126 2 0 0 22 0 33 0 704224177 969515008 50193 268435456000 4194304 4417452 140736273303824 18446744073709551615 4290595 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=9912/tid=9939] ppid=9910 vsize=946792 CPUtime=1.27 cores=0-31
/proc/9912/task/9939/stat : 9939 (plingeling) R 9910 9912 9886 0 -1 4202560 3323 1241 0 0 124 3 0 0 19 0 33 0 704224177 969515008 50193 268435456000 4194304 4417452 140736273303824 18446744073709551615 4265443 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=9912/tid=9940] ppid=9910 vsize=946792 CPUtime=1.29 cores=0-31
/proc/9912/task/9940/stat : 9940 (plingeling) R 9910 9912 9886 0 -1 4202560 1150 1241 0 0 127 2 0 0 19 0 33 0 704224177 969515008 50193 268435456000 4194304 4417452 140736273303824 18446744073709551615 4284341 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=9912/tid=9941] ppid=9910 vsize=946792 CPUtime=1.27 cores=0-31
/proc/9912/task/9941/stat : 9941 (plingeling) R 9910 9912 9886 0 -1 4202560 2881 1241 0 0 124 3 0 0 19 0 33 0 704224177 969515008 50193 268435456000 4194304 4417452 140736273303824 18446744073709551615 4277684 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=9912/tid=9942] ppid=9910 vsize=946792 CPUtime=1.27 cores=0-31
/proc/9912/task/9942/stat : 9942 (plingeling) R 9910 9912 9886 0 -1 4202560 979 1241 0 0 127 0 0 0 19 0 33 0 704224177 969515008 50193 268435456000 4194304 4417452 140736273303824 18446744073709551615 4287492 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=9912/tid=9943] ppid=9910 vsize=946792 CPUtime=1.29 cores=0-31
/proc/9912/task/9943/stat : 9943 (plingeling) R 9910 9912 9886 0 -1 4202560 2924 1241 0 0 127 2 0 0 19 0 33 0 704224178 969515008 50193 268435456000 4194304 4417452 140736273303824 18446744073709551615 4284289 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=9912/tid=9944] ppid=9910 vsize=946792 CPUtime=1.3 cores=0-31
/proc/9912/task/9944/stat : 9944 (plingeling) R 9910 9912 9886 0 -1 4202560 637 1241 0 0 129 1 0 0 19 0 33 0 704224178 969515008 50193 268435456000 4194304 4417452 140736273303824 18446744073709551615 4286467 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=9912/tid=9945] ppid=9910 vsize=946792 CPUtime=1.28 cores=0-31
/proc/9912/task/9945/stat : 9945 (plingeling) R 9910 9912 9886 0 -1 4202560 1586 1241 0 0 126 2 0 0 19 0 33 0 704224178 969515008 50193 268435456000 4194304 4417452 140736273303824 18446744073709551615 4275947 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=9912/tid=9946] ppid=9910 vsize=946792 CPUtime=1.29 cores=0-31
/proc/9912/task/9946/stat : 9946 (plingeling) R 9910 9912 9886 0 -1 4202560 4329 1241 0 0 127 2 0 0 19 0 33 0 704224179 969515008 50193 268435456000 4194304 4417452 140736273303824 18446744073709551615 4270993 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=9912/tid=9947] ppid=9910 vsize=946792 CPUtime=1.26 cores=0-31
/proc/9912/task/9947/stat : 9947 (plingeling) R 9910 9912 9886 0 -1 4202560 1331 1241 0 0 125 1 0 0 19 0 33 0 704224179 969515008 50193 268435456000 4194304 4417452 140736273303824 18446744073709551615 4290917 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=9912/tid=9948] ppid=9910 vsize=946792 CPUtime=1.23 cores=0-31
/proc/9912/task/9948/stat : 9948 (plingeling) R 9910 9912 9886 0 -1 4202560 2288 1241 0 0 122 1 0 0 19 0 33 0 704224180 969515008 50193 268435456000 4194304 4417452 140736273303824 18446744073709551615 4284192 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=9912/tid=9949] ppid=9910 vsize=946792 CPUtime=1.27 cores=0-31
/proc/9912/task/9949/stat : 9949 (plingeling) R 9910 9912 9886 0 -1 4202560 1875 1241 0 0 127 0 0 0 19 0 33 0 704224180 969515008 50193 268435456000 4194304 4417452 140736273303824 18446744073709551615 4291497 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=9912/tid=9950] ppid=9910 vsize=946792 CPUtime=1.24 cores=0-31
/proc/9912/task/9950/stat : 9950 (plingeling) R 9910 9912 9886 0 -1 4202560 2609 1241 0 0 123 1 0 0 19 0 33 0 704224180 969515008 50193 268435456000 4194304 4417452 140736273303824 18446744073709551615 4275944 0 0 4096 17442 0 0 0 -1 16 0 0 0
Current children cumulated CPU time (s) 42.77
Current children cumulated vsize (KiB) 946792

[startup+6.30167 s]
/proc/loadavg: 27.72 31.11 31.61 33/446 9950
/proc/meminfo: memFree=255252284/264257624 swapFree=67111528/67111528
[pid=9912] ppid=9910 vsize=974072 CPUtime=144.02 cores=0-31
/proc/9912/stat : 9912 (plingeling) S 9910 9912 9886 0 -1 4202496 154543 1241 0 0 14288 114 0 0 18 0 33 0 704224002 997449728 52603 268435456000 4194304 4417452 140736273303824 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 20 0 0 0
/proc/9912/statm: 243518 52603 175 55 0 241404 0
[pid=9912/tid=9919] ppid=9910 vsize=974072 CPUtime=4.45 cores=0-31
/proc/9912/task/9919/stat : 9919 (plingeling) R 9910 9912 9886 0 -1 4202560 3296 1241 0 0 442 3 0 0 25 0 33 0 704224176 997449728 52603 268435456000 4194304 4417452 140736273303824 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=9912/tid=9920] ppid=9910 vsize=974072 CPUtime=4.42 cores=0-31
/proc/9912/task/9920/stat : 9920 (plingeling) R 9910 9912 9886 0 -1 4202560 2922 1241 0 0 440 2 0 0 25 0 33 0 704224176 997449728 52603 268435456000 4194304 4417452 140736273303824 18446744073709551615 18446744073699065980 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=9912/tid=9921] ppid=9910 vsize=974072 CPUtime=4.4 cores=0-31
/proc/9912/task/9921/stat : 9921 (plingeling) R 9910 9912 9886 0 -1 4202560 2277 1241 0 0 439 1 0 0 25 0 33 0 704224176 997449728 52603 268435456000 4194304 4417452 140736273303824 18446744073709551615 4232666 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=9912/tid=9922] ppid=9910 vsize=974072 CPUtime=4.49 cores=0-31
/proc/9912/task/9922/stat : 9922 (plingeling) R 9910 9912 9886 0 -1 4202560 1670 1241 0 0 447 2 0 0 25 0 33 0 704224176 997449728 52603 268435456000 4194304 4417452 140736273303824 18446744073709551615 4364821 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=9912/tid=9923] ppid=9910 vsize=974072 CPUtime=4.42 cores=0-31
/proc/9912/task/9923/stat : 9923 (plingeling) R 9910 9912 9886 0 -1 4202560 3304 1241 0 0 439 3 0 0 25 0 33 0 704224176 997449728 52603 268435456000 4194304 4417452 140736273303824 18446744073709551615 4366402 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=9912/tid=9924] ppid=9910 vsize=974072 CPUtime=4.41 cores=0-31
/proc/9912/task/9924/stat : 9924 (plingeling) R 9910 9912 9886 0 -1 4202560 2815 1241 0 0 438 3 0 0 25 0 33 0 704224176 997449728 52603 268435456000 4194304 4417452 140736273303824 18446744073709551615 4365996 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=9912/tid=9925] ppid=9910 vsize=974072 CPUtime=4.46 cores=0-31
/proc/9912/task/9925/stat : 9925 (plingeling) R 9910 9912 9886 0 -1 4202560 7825 1241 0 0 443 3 0 0 25 0 33 0 704224176 997449728 52603 268435456000 4194304 4417452 140736273303824 18446744073709551615 4364461 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=9912/tid=9926] ppid=9910 vsize=974072 CPUtime=4.5 cores=0-31
/proc/9912/task/9926/stat : 9926 (plingeling) R 9910 9912 9886 0 -1 4202560 4264 1241 0 0 447 3 0 0 25 0 33 0 704224177 997449728 52603 268435456000 4194304 4417452 140736273303824 18446744073709551615 4236649 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=9912/tid=9927] ppid=9910 vsize=974072 CPUtime=4.28 cores=0-31
/proc/9912/task/9927/stat : 9927 (plingeling) R 9910 9912 9886 0 -1 4202560 6160 1241 0 0 424 4 0 0 25 0 33 0 704224177 997449728 52603 268435456000 4194304 4417452 140736273303824 18446744073709551615 4232702 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=9912/tid=9928] ppid=9910 vsize=974072 CPUtime=4.43 cores=0-31
/proc/9912/task/9928/stat : 9928 (plingeling) R 9910 9912 9886 0 -1 4202560 2288 1241 0 0 441 2 0 0 25 0 33 0 704224177 997449728 52603 268435456000 4194304 4417452 140736273303824 18446744073709551615 4251117 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=9912/tid=9929] ppid=9910 vsize=974072 CPUtime=4.49 cores=0-31
/proc/9912/task/9929/stat : 9929 (plingeling) R 9910 9912 9886 0 -1 4202560 5052 1241 0 0 445 4 0 0 25 0 33 0 704224177 997449728 52603 268435456000 4194304 4417452 140736273303824 18446744073709551615 4236601 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=9912/tid=9930] ppid=9910 vsize=974072 CPUtime=4.46 cores=0-31
/proc/9912/task/9930/stat : 9930 (plingeling) R 9910 9912 9886 0 -1 4202560 3165 1241 0 0 443 3 0 0 24 0 33 0 704224177 997449728 52603 268435456000 4194304 4417452 140736273303824 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=9912/tid=9931] ppid=9910 vsize=974072 CPUtime=4.39 cores=0-31
/proc/9912/task/9931/stat : 9931 (plingeling) R 9910 9912 9886 0 -1 4202560 4345 1241 0 0 437 2 0 0 25 0 33 0 704224177 997449728 52603 268435456000 4194304 4417452 140736273303824 18446744073709551615 4365984 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=9912/tid=9932] ppid=9910 vsize=974072 CPUtime=4.48 cores=0-31
/proc/9912/task/9932/stat : 9932 (plingeling) R 9910 9912 9886 0 -1 4202560 3076 1241 0 0 445 3 0 0 25 0 33 0 704224177 997449728 52603 268435456000 4194304 4417452 140736273303824 18446744073709551615 4364629 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=9912/tid=9933] ppid=9910 vsize=974072 CPUtime=4.44 cores=0-31
/proc/9912/task/9933/stat : 9933 (plingeling) R 9910 9912 9886 0 -1 4202560 3166 1241 0 0 442 2 0 0 25 0 33 0 704224177 997449728 52603 268435456000 4194304 4417452 140736273303824 18446744073709551615 4365965 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=9912/tid=9934] ppid=9910 vsize=974072 CPUtime=4.48 cores=0-31
/proc/9912/task/9934/stat : 9934 (plingeling) R 9910 9912 9886 0 -1 4202560 5024 1241 0 0 445 3 0 0 25 0 33 0 704224177 997449728 52603 268435456000 4194304 4417452 140736273303824 18446744073709551615 4364474 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=9912/tid=9935] ppid=9910 vsize=974072 CPUtime=4.39 cores=0-31
/proc/9912/task/9935/stat : 9935 (plingeling) R 9910 9912 9886 0 -1 4202560 7183 1241 0 0 433 6 0 0 18 0 33 0 704224177 997449728 52603 268435456000 4194304 4417452 140736273303824 18446744073709551615 4364741 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=9912/tid=9936] ppid=9910 vsize=974072 CPUtime=4.47 cores=0-31
/proc/9912/task/9936/stat : 9936 (plingeling) R 9910 9912 9886 0 -1 4202560 2012 1241 0 0 444 3 0 0 25 0 33 0 704224177 997449728 52603 268435456000 4194304 4417452 140736273303824 18446744073709551615 4364456 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=9912/tid=9937] ppid=9910 vsize=974072 CPUtime=4.49 cores=0-31
/proc/9912/task/9937/stat : 9937 (plingeling) R 9910 9912 9886 0 -1 4202560 1738 1241 0 0 448 1 0 0 25 0 33 0 704224177 997449728 52603 268435456000 4194304 4417452 140736273303824 18446744073709551615 4236928 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=9912/tid=9938] ppid=9910 vsize=974072 CPUtime=4.45 cores=0-31
/proc/9912/task/9938/stat : 9938 (plingeling) R 9910 9912 9886 0 -1 4202560 3125 1241 0 0 442 3 0 0 23 0 33 0 704224177 997449728 52603 268435456000 4194304 4417452 140736273303824 18446744073709551615 4365118 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=9912/tid=9939] ppid=9910 vsize=974072 CPUtime=4.47 cores=0-31
/proc/9912/task/9939/stat : 9939 (plingeling) R 9910 9912 9886 0 -1 4202560 4176 1241 0 0 444 3 0 0 25 0 33 0 704224177 997449728 52603 268435456000 4194304 4417452 140736273303824 18446744073709551615 4364881 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=9912/tid=9940] ppid=9910 vsize=974072 CPUtime=4.45 cores=0-31
/proc/9912/task/9940/stat : 9940 (plingeling) R 9910 9912 9886 0 -1 4202560 2266 1241 0 0 441 4 0 0 25 0 33 0 704224177 997449728 52603 268435456000 4194304 4417452 140736273303824 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=9912/tid=9941] ppid=9910 vsize=974072 CPUtime=4.46 cores=0-31
/proc/9912/task/9941/stat : 9941 (plingeling) R 9910 9912 9886 0 -1 4202560 3177 1241 0 0 443 3 0 0 25 0 33 0 704224177 997449728 52603 268435456000 4194304 4417452 140736273303824 18446744073709551615 4364537 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=9912/tid=9942] ppid=9910 vsize=974072 CPUtime=4.4 cores=0-31
/proc/9912/task/9942/stat : 9942 (plingeling) R 9910 9912 9886 0 -1 4202560 2677 1241 0 0 439 1 0 0 25 0 33 0 704224177 997449728 52603 268435456000 4194304 4417452 140736273303824 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 4 0 0 0

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

/proc/9912/task/9924/stat : 9924 (plingeling) R 9910 9912 9886 0 -1 4202560 586173 1241 0 0 494884 863 0 0 25 0 33 0 704224176 9941766144 2246196 268435456000 4194304 4417452 140736273303824 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=9912/tid=9925] ppid=9910 vsize=9708756 CPUtime=4956.94 cores=0-31
/proc/9912/task/9925/stat : 9925 (plingeling) R 9910 9912 9886 0 -1 4202560 594397 1241 0 0 494817 877 0 0 25 0 33 0 704224176 9941766144 2246196 268435456000 4194304 4417452 140736273303824 18446744073709551615 4364819 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=9912/tid=9926] ppid=9910 vsize=9708756 CPUtime=4948.61 cores=0-31
/proc/9912/task/9926/stat : 9926 (plingeling) R 9910 9912 9886 0 -1 4202560 530120 1241 0 0 494171 690 0 0 25 0 33 0 704224177 9941766144 2246196 268435456000 4194304 4417452 140736273303824 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=9912/tid=9927] ppid=9910 vsize=9708756 CPUtime=4947.75 cores=0-31
/proc/9912/task/9927/stat : 9927 (plingeling) R 9910 9912 9886 0 -1 4202560 611206 1241 0 0 494070 705 0 0 25 0 33 0 704224177 9941766144 2246196 268435456000 4194304 4417452 140736273303824 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=9912/tid=9928] ppid=9910 vsize=9708756 CPUtime=4957.18 cores=0-31
/proc/9912/task/9928/stat : 9928 (plingeling) R 9910 9912 9886 0 -1 4202560 543146 1241 0 0 495011 707 0 0 25 0 33 0 704224177 9941766144 2246196 268435456000 4194304 4417452 140736273303824 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=9912/tid=9929] ppid=9910 vsize=9708756 CPUtime=4957.64 cores=0-31
/proc/9912/task/9929/stat : 9929 (plingeling) R 9910 9912 9886 0 -1 4202560 523530 1241 0 0 494973 791 0 0 25 0 33 0 704224177 9941766144 2246196 268435456000 4194304 4417452 140736273303824 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=9912/tid=9930] ppid=9910 vsize=9708756 CPUtime=4958.42 cores=0-31
/proc/9912/task/9930/stat : 9930 (plingeling) R 9910 9912 9886 0 -1 4202560 449863 1241 0 0 495292 550 0 0 25 0 33 0 704224177 9941766144 2246196 268435456000 4194304 4417452 140736273303824 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=9912/tid=9931] ppid=9910 vsize=9708756 CPUtime=4933.96 cores=0-31
/proc/9912/task/9931/stat : 9931 (plingeling) R 9910 9912 9886 0 -1 4202560 468507 1241 0 0 492865 531 0 0 25 0 33 0 704224177 9941766144 2246196 268435456000 4194304 4417452 140736273303824 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=9912/tid=9932] ppid=9910 vsize=9708756 CPUtime=4952.96 cores=0-31
/proc/9912/task/9932/stat : 9932 (plingeling) R 9910 9912 9886 0 -1 4202560 648684 1241 0 0 494401 895 0 0 25 0 33 0 704224177 9941766144 2246196 268435456000 4194304 4417452 140736273303824 18446744073709551615 4366051 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=9912/tid=9933] ppid=9910 vsize=9708756 CPUtime=4950.93 cores=0-31
/proc/9912/task/9933/stat : 9933 (plingeling) R 9910 9912 9886 0 -1 4202560 499160 1241 0 0 494353 740 0 0 25 0 33 0 704224177 9941766144 2246196 268435456000 4194304 4417452 140736273303824 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=9912/tid=9934] ppid=9910 vsize=9708756 CPUtime=4954.19 cores=0-31
/proc/9912/task/9934/stat : 9934 (plingeling) R 9910 9912 9886 0 -1 4202560 631036 1241 0 0 494668 751 0 0 25 0 33 0 704224177 9941766144 2246196 268435456000 4194304 4417452 140736273303824 18446744073709551615 4366051 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=9912/tid=9935] ppid=9910 vsize=9708756 CPUtime=4955.09 cores=0-31
/proc/9912/task/9935/stat : 9935 (plingeling) R 9910 9912 9886 0 -1 4202560 534169 1241 0 0 494774 735 0 0 25 0 33 0 704224177 9941766144 2246196 268435456000 4194304 4417452 140736273303824 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=9912/tid=9936] ppid=9910 vsize=9708756 CPUtime=4951.66 cores=0-31
/proc/9912/task/9936/stat : 9936 (plingeling) R 9910 9912 9886 0 -1 4202560 512281 1241 0 0 494470 696 0 0 25 0 33 0 704224177 9941766144 2246196 268435456000 4194304 4417452 140736273303824 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=9912/tid=9937] ppid=9910 vsize=9708756 CPUtime=4957.54 cores=0-31
/proc/9912/task/9937/stat : 9937 (plingeling) R 9910 9912 9886 0 -1 4202560 577105 1241 0 0 495138 616 0 0 25 0 33 0 704224177 9941766144 2246196 268435456000 4194304 4417452 140736273303824 18446744073709551615 4364768 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=9912/tid=9938] ppid=9910 vsize=9708756 CPUtime=4957.26 cores=0-31
/proc/9912/task/9938/stat : 9938 (plingeling) R 9910 9912 9886 0 -1 4202560 719778 1241 0 0 494933 793 0 0 25 0 33 0 704224177 9941766144 2246196 268435456000 4194304 4417452 140736273303824 18446744073709551615 4364650 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=9912/tid=9939] ppid=9910 vsize=9708756 CPUtime=4958.68 cores=0-31
/proc/9912/task/9939/stat : 9939 (plingeling) R 9910 9912 9886 0 -1 4202560 573738 1241 0 0 495069 799 0 0 25 0 33 0 704224177 9941766144 2246196 268435456000 4194304 4417452 140736273303824 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=9912/tid=9940] ppid=9910 vsize=9708756 CPUtime=4957.44 cores=0-31
/proc/9912/task/9940/stat : 9940 (plingeling) R 9910 9912 9886 0 -1 4202560 519816 1241 0 0 495047 697 0 0 25 0 33 0 704224177 9941766144 2246196 268435456000 4194304 4417452 140736273303824 18446744073709551615 4354159 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=9912/tid=9941] ppid=9910 vsize=9708756 CPUtime=4951.89 cores=0-31
/proc/9912/task/9941/stat : 9941 (plingeling) R 9910 9912 9886 0 -1 4202560 556806 1241 0 0 494184 1005 0 0 25 0 33 0 704224177 9941766144 2246196 268435456000 4194304 4417452 140736273303824 18446744073709551615 4364741 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=9912/tid=9942] ppid=9910 vsize=9708756 CPUtime=4953.23 cores=0-31
/proc/9912/task/9942/stat : 9942 (plingeling) R 9910 9912 9886 0 -1 4202560 517209 1241 0 0 494641 682 0 0 25 0 33 0 704224177 9941766144 2246196 268435456000 4194304 4417452 140736273303824 18446744073709551615 4364881 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=9912/tid=9943] ppid=9910 vsize=9708756 CPUtime=4958.14 cores=0-31
/proc/9912/task/9943/stat : 9943 (plingeling) R 9910 9912 9886 0 -1 4202560 640319 1241 0 0 495017 797 0 0 25 0 33 0 704224178 9941766144 2246196 268435456000 4194304 4417452 140736273303824 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=9912/tid=9944] ppid=9910 vsize=9708756 CPUtime=4955.52 cores=0-31
/proc/9912/task/9944/stat : 9944 (plingeling) R 9910 9912 9886 0 -1 4202560 555215 1241 0 0 494784 768 0 0 25 0 33 0 704224178 9941766144 2246196 268435456000 4194304 4417452 140736273303824 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=9912/tid=9945] ppid=9910 vsize=9708756 CPUtime=4958.21 cores=0-31
/proc/9912/task/9945/stat : 9945 (plingeling) R 9910 9912 9886 0 -1 4202560 523591 1241 0 0 495215 606 0 0 25 0 33 0 704224178 9941766144 2246196 268435456000 4194304 4417452 140736273303824 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=9912/tid=9946] ppid=9910 vsize=9708756 CPUtime=4958.28 cores=0-31
/proc/9912/task/9946/stat : 9946 (plingeling) R 9910 9912 9886 0 -1 4202560 602257 1241 0 0 495056 772 0 0 25 0 33 0 704224179 9941766144 2246196 268435456000 4194304 4417452 140736273303824 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=9912/tid=9947] ppid=9910 vsize=9708756 CPUtime=4956.4 cores=0-31
/proc/9912/task/9947/stat : 9947 (plingeling) R 9910 9912 9886 0 -1 4202560 531820 1241 0 0 494754 886 0 0 25 0 33 0 704224179 9941766144 2246196 268435456000 4194304 4417452 140736273303824 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=9912/tid=9948] ppid=9910 vsize=9708756 CPUtime=4958.13 cores=0-31
/proc/9912/task/9948/stat : 9948 (plingeling) R 9910 9912 9886 0 -1 4202560 591294 1241 0 0 495025 788 0 0 25 0 33 0 704224180 9941766144 2246196 268435456000 4194304 4417452 140736273303824 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=9912/tid=9949] ppid=9910 vsize=9708756 CPUtime=4957.66 cores=0-31
/proc/9912/task/9949/stat : 9949 (plingeling) R 9910 9912 9886 0 -1 4202560 484596 1241 0 0 495149 617 0 0 25 0 33 0 704224180 9941766144 2246196 268435456000 4194304 4417452 140736273303824 18446744073709551615 4366813 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=9912/tid=9950] ppid=9910 vsize=9708756 CPUtime=4958.38 cores=0-31
/proc/9912/task/9950/stat : 9950 (plingeling) R 9910 9912 9886 0 -1 4202560 559402 1241 0 0 495041 797 0 0 25 0 33 0 704224180 9941766144 2246196 268435456000 4194304 4417452 140736273303824 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 16 0 0 0
Current children cumulated CPU time (s) 158515
Current children cumulated vsize (KiB) 9708756



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+5008.8 s]
/proc/loadavg: 32.06 32.05 32.04 33/446 10096
/proc/meminfo: memFree=246383820/264257624 swapFree=67111528/67111528
[pid=9912] ppid=9910 vsize=9846988 CPUtime=160002 cores=0-31
/proc/9912/stat : 9912 (plingeling) S 9910 9912 9886 0 -1 4202496 18185517 1241 0 0 15976099 24070 0 0 18 0 33 0 704224002 10083315712 2277688 268435456000 4194304 4417452 140736273303824 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 20 0 0 0
/proc/9912/statm: 2461747 2277688 175 55 0 2459633 0
[pid=9912/tid=9919] ppid=9910 vsize=9846988 CPUtime=4988.35 cores=0-31
/proc/9912/task/9919/stat : 9919 (plingeling) R 9910 9912 9886 0 -1 4202560 622047 1241 0 0 498090 745 0 0 25 0 33 0 704224176 10083315712 2277688 268435456000 4194304 4417452 140736273303824 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=9912/tid=9920] ppid=9910 vsize=9846988 CPUtime=5005.01 cores=0-31
/proc/9912/task/9920/stat : 9920 (plingeling) R 9910 9912 9886 0 -1 4202560 602763 1241 0 0 499690 811 0 0 25 0 33 0 704224176 10083315712 2277688 268435456000 4194304 4417452 140736273303824 18446744073709551615 4364768 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=9912/tid=9921] ppid=9910 vsize=9846988 CPUtime=5004.56 cores=0-31
/proc/9912/task/9921/stat : 9921 (plingeling) R 9910 9912 9886 0 -1 4202560 564723 1241 0 0 499808 648 0 0 25 0 33 0 704224176 10083315712 2277688 268435456000 4194304 4417452 140736273303824 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=9912/tid=9922] ppid=9910 vsize=9846988 CPUtime=4977.44 cores=0-31
/proc/9912/task/9922/stat : 9922 (plingeling) R 9910 9912 9886 0 -1 4202560 675177 1241 0 0 496870 874 0 0 25 0 33 0 704224176 10083315712 2277688 268435456000 4194304 4417452 140736273303824 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=9912/tid=9923] ppid=9910 vsize=9846988 CPUtime=4988.9 cores=0-31
/proc/9912/task/9923/stat : 9923 (plingeling) R 9910 9912 9886 0 -1 4202560 525939 1241 0 0 498125 765 0 0 25 0 33 0 704224176 10083315712 2277688 268435456000 4194304 4417452 140736273303824 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=9912/tid=9924] ppid=9910 vsize=9846988 CPUtime=5003.98 cores=0-31
/proc/9912/task/9924/stat : 9924 (plingeling) R 9910 9912 9886 0 -1 4202560 586173 1241 0 0 499535 863 0 0 25 0 33 0 704224176 10083315712 2277688 268435456000 4194304 4417452 140736273303824 18446744073709551615 4364724 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=9912/tid=9925] ppid=9910 vsize=9846988 CPUtime=5003.45 cores=0-31
/proc/9912/task/9925/stat : 9925 (plingeling) R 9910 9912 9886 0 -1 4202560 594397 1241 0 0 499468 877 0 0 25 0 33 0 704224176 10083315712 2277688 268435456000 4194304 4417452 140736273303824 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=9912/tid=9926] ppid=9910 vsize=9846988 CPUtime=4995.13 cores=0-31
/proc/9912/task/9926/stat : 9926 (plingeling) R 9910 9912 9886 0 -1 4202560 530120 1241 0 0 498823 690 0 0 25 0 33 0 704224177 10083315712 2277688 268435456000 4194304 4417452 140736273303824 18446744073709551615 4353830 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=9912/tid=9927] ppid=9910 vsize=9846988 CPUtime=4994.27 cores=0-31
/proc/9912/task/9927/stat : 9927 (plingeling) R 9910 9912 9886 0 -1 4202560 611206 1241 0 0 498722 705 0 0 25 0 33 0 704224177 10083315712 2277688 268435456000 4194304 4417452 140736273303824 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=9912/tid=9928] ppid=9910 vsize=9846988 CPUtime=5003.69 cores=0-31
/proc/9912/task/9928/stat : 9928 (plingeling) R 9910 9912 9886 0 -1 4202560 543146 1241 0 0 499662 707 0 0 25 0 33 0 704224177 10083315712 2277688 268435456000 4194304 4417452 140736273303824 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=9912/tid=9929] ppid=9910 vsize=9846988 CPUtime=5004.16 cores=0-31
/proc/9912/task/9929/stat : 9929 (plingeling) R 9910 9912 9886 0 -1 4202560 527096 1241 0 0 499615 801 0 0 25 0 33 0 704224177 10083315712 2277688 268435456000 4194304 4417452 140736273303824 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=9912/tid=9930] ppid=9910 vsize=9846988 CPUtime=5004.93 cores=0-31
/proc/9912/task/9930/stat : 9930 (plingeling) R 9910 9912 9886 0 -1 4202560 480937 1241 0 0 499926 567 0 0 25 0 33 0 704224177 10083315712 2277688 268435456000 4194304 4417452 140736273303824 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=9912/tid=9931] ppid=9910 vsize=9846988 CPUtime=4980.48 cores=0-31
/proc/9912/task/9931/stat : 9931 (plingeling) R 9910 9912 9886 0 -1 4202560 468513 1241 0 0 497517 531 0 0 25 0 33 0 704224177 10083315712 2277688 268435456000 4194304 4417452 140736273303824 18446744073709551615 4364881 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=9912/tid=9932] ppid=9910 vsize=9846988 CPUtime=4999.48 cores=0-31
/proc/9912/task/9932/stat : 9932 (plingeling) R 9910 9912 9886 0 -1 4202560 648684 1241 0 0 499053 895 0 0 25 0 33 0 704224177 10083315712 2277688 268435456000 4194304 4417452 140736273303824 18446744073709551615 4364756 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=9912/tid=9933] ppid=9910 vsize=9846988 CPUtime=4997.43 cores=0-31
/proc/9912/task/9933/stat : 9933 (plingeling) R 9910 9912 9886 0 -1 4202560 499160 1241 0 0 499002 741 0 0 25 0 33 0 704224177 10083315712 2277688 268435456000 4194304 4417452 140736273303824 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=9912/tid=9934] ppid=9910 vsize=9846988 CPUtime=5000.7 cores=0-31
/proc/9912/task/9934/stat : 9934 (plingeling) R 9910 9912 9886 0 -1 4202560 631036 1241 0 0 499319 751 0 0 25 0 33 0 704224177 10083315712 2277688 268435456000 4194304 4417452 140736273303824 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=9912/tid=9935] ppid=9910 vsize=9846988 CPUtime=5001.61 cores=0-31
/proc/9912/task/9935/stat : 9935 (plingeling) R 9910 9912 9886 0 -1 4202560 534169 1241 0 0 499426 735 0 0 25 0 33 0 704224177 10083315712 2277688 268435456000 4194304 4417452 140736273303824 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=9912/tid=9936] ppid=9910 vsize=9846988 CPUtime=4998.18 cores=0-31
/proc/9912/task/9936/stat : 9936 (plingeling) R 9910 9912 9886 0 -1 4202560 512281 1241 0 0 499122 696 0 0 25 0 33 0 704224177 10083315712 2277688 268435456000 4194304 4417452 140736273303824 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=9912/tid=9937] ppid=9910 vsize=9846988 CPUtime=5004.06 cores=0-31
/proc/9912/task/9937/stat : 9937 (plingeling) R 9910 9912 9886 0 -1 4202560 577105 1241 0 0 499790 616 0 0 25 0 33 0 704224177 10083315712 2277688 268435456000 4194304 4417452 140736273303824 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=9912/tid=9938] ppid=9910 vsize=9846988 CPUtime=5003.77 cores=0-31
/proc/9912/task/9938/stat : 9938 (plingeling) R 9910 9912 9886 0 -1 4202560 738062 1241 0 0 499574 803 0 0 25 0 33 0 704224177 10083315712 2277688 268435456000 4194304 4417452 140736273303824 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=9912/tid=9939] ppid=9910 vsize=9846988 CPUtime=5005.19 cores=0-31
/proc/9912/task/9939/stat : 9939 (plingeling) R 9910 9912 9886 0 -1 4202560 574683 1241 0 0 499720 799 0 0 25 0 33 0 704224177 10083315712 2277688 268435456000 4194304 4417452 140736273303824 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=9912/tid=9940] ppid=9910 vsize=9846988 CPUtime=5003.95 cores=0-31
/proc/9912/task/9940/stat : 9940 (plingeling) R 9910 9912 9886 0 -1 4202560 519816 1241 0 0 499698 697 0 0 25 0 33 0 704224177 10083315712 2277688 268435456000 4194304 4417452 140736273303824 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=9912/tid=9941] ppid=9910 vsize=9846988 CPUtime=4998.4 cores=0-31
/proc/9912/task/9941/stat : 9941 (plingeling) R 9910 9912 9886 0 -1 4202560 556806 1241 0 0 498835 1005 0 0 25 0 33 0 704224177 10083315712 2277688 268435456000 4194304 4417452 140736273303824 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=9912/tid=9942] ppid=9910 vsize=9846988 CPUtime=4999.75 cores=0-31
/proc/9912/task/9942/stat : 9942 (plingeling) R 9910 9912 9886 0 -1 4202560 517209 1241 0 0 499293 682 0 0 25 0 33 0 704224177 10083315712 2277688 268435456000 4194304 4417452 140736273303824 18446744073709551615 4364827 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=9912/tid=9943] ppid=9910 vsize=9846988 CPUtime=5004.66 cores=0-31
/proc/9912/task/9943/stat : 9943 (plingeling) R 9910 9912 9886 0 -1 4202560 640319 1241 0 0 499669 797 0 0 25 0 33 0 704224178 10083315712 2277688 268435456000 4194304 4417452 140736273303824 18446744073709551615 4364827 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=9912/tid=9944] ppid=9910 vsize=9846988 CPUtime=5002.04 cores=0-31
/proc/9912/task/9944/stat : 9944 (plingeling) R 9910 9912 9886 0 -1 4202560 555215 1241 0 0 499436 768 0 0 25 0 33 0 704224178 10083315712 2277688 268435456000 4194304 4417452 140736273303824 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=9912/tid=9945] ppid=9910 vsize=9846988 CPUtime=5004.72 cores=0-31
/proc/9912/task/9945/stat : 9945 (plingeling) R 9910 9912 9886 0 -1 4202560 526796 1241 0 0 499857 615 0 0 25 0 33 0 704224178 10083315712 2277688 268435456000 4194304 4417452 140736273303824 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=9912/tid=9946] ppid=9910 vsize=9846988 CPUtime=5004.8 cores=0-31
/proc/9912/task/9946/stat : 9946 (plingeling) R 9910 9912 9886 0 -1 4202560 602257 1241 0 0 499708 772 0 0 25 0 33 0 704224179 10083315712 2277688 268435456000 4194304 4417452 140736273303824 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=9912/tid=9947] ppid=9910 vsize=9846988 CPUtime=5002.91 cores=0-31
/proc/9912/task/9947/stat : 9947 (plingeling) R 9910 9912 9886 0 -1 4202560 548204 1241 0 0 499402 889 0 0 25 0 33 0 704224179 10083315712 2277688 268435456000 4194304 4417452 140736273303824 18446744073709551615 4364812 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=9912/tid=9948] ppid=9910 vsize=9846988 CPUtime=5004.64 cores=0-31
/proc/9912/task/9948/stat : 9948 (plingeling) R 9910 9912 9886 0 -1 4202560 591294 1241 0 0 499676 788 0 0 25 0 33 0 704224180 10083315712 2277688 268435456000 4194304 4417452 140736273303824 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=9912/tid=9949] ppid=9910 vsize=9846988 CPUtime=5004.16 cores=0-31
/proc/9912/task/9949/stat : 9949 (plingeling) R 9910 9912 9886 0 -1 4202560 484596 1241 0 0 499799 617 0 0 25 0 33 0 704224180 10083315712 2277688 268435456000 4194304 4417452 140736273303824 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=9912/tid=9950] ppid=9910 vsize=9846988 CPUtime=5004.89 cores=0-31
/proc/9912/task/9950/stat : 9950 (plingeling) R 9910 9912 9886 0 -1 4202560 559402 1241 0 0 499692 797 0 0 25 0 33 0 704224180 10083315712 2277688 268435456000 4194304 4417452 140736273303824 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 16 0 0 0
Current children cumulated CPU time (s) 160002
Current children cumulated vsize (KiB) 9846988

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

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

[startup+5009 s]
/proc/loadavg: 32.06 32.05 32.04 33/446 10096
/proc/meminfo: memFree=246383820/264257624 swapFree=67111528/67111528
[pid=9912] ppid=9910 vsize=0 CPUtime=160002 cores=0-31
/proc/9912/stat : 9912 (plingeling) Z 9910 9912 9886 0 -1 4203548 18185517 1241 0 0 15976121 24087 0 0 18 0 2 0 704224002 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 20 0 0 0
/proc/9912/statm: 0 0 0 0 0 0 0
[pid=9912/tid=9924] ppid=9910 vsize=0 CPUtime=5004.16 cores=0-31
/proc/9912/task/9924/stat : 9924 (plingeling) R 9910 9912 9886 0 -1 4203588 586173 1241 0 0 499536 880 0 0 25 0 2 0 704224176 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 -1 20 0 0 0
Current children cumulated CPU time (s) 160002
Current children cumulated vsize (KiB) 0

[startup+5009.44 s]
/proc/loadavg: 32.06 32.05 32.04 2/416 10097
/proc/meminfo: memFree=252631428/264257624 swapFree=67111528/67111528
[pid=9912] ppid=9910 vsize=0 CPUtime=160003 cores=0-31
/proc/9912/stat : 9912 (plingeling) Z 9910 9912 9886 0 -1 4203548 18185517 1241 0 0 15976121 24130 0 0 18 0 2 0 704224002 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 20 0 0 0
/proc/9912/statm: 0 0 0 0 0 0 0
[pid=9912/tid=9924] ppid=9910 vsize=0 CPUtime=5004.59 cores=0-31
/proc/9912/task/9924/stat : 9924 (plingeling) R 9910 9912 9886 0 -1 4203588 586173 1241 0 0 499536 923 0 0 25 0 2 0 704224176 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 -1 20 0 0 0
Current children cumulated CPU time (s) 160002
Current children cumulated vsize (KiB) 0

[startup+5009.5 s]
/proc/loadavg: 32.06 32.05 32.04 2/416 10097
/proc/meminfo: memFree=252631428/264257624 swapFree=67111528/67111528
[pid=9912] ppid=9910 vsize=0 CPUtime=160003 cores=0-31
/proc/9912/stat : 9912 (plingeling) Z 9910 9912 9886 0 -1 4203548 18185517 1241 0 0 15976121 24137 0 0 18 0 2 0 704224002 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 20 0 0 0
/proc/9912/statm: 0 0 0 0 0 0 0
[pid=9912/tid=9924] ppid=9910 vsize=0 CPUtime=5004.66 cores=0-31
/proc/9912/task/9924/stat : 9924 (plingeling) R 9910 9912 9886 0 -1 4203588 586173 1241 0 0 499536 930 0 0 25 0 2 0 704224176 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 -1 20 0 0 0
Current children cumulated CPU time (s) 160003
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 5009.51
CPU time (s): 160003
CPU user time (s): 159761
CPU system time (s): 241.391
CPU usage (%): 3193.97
Max. virtual memory (cumulated for all children) (KiB): 9997916

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 159761
system time used= 241.391
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18186758
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= 11950
involuntary context switches= 398175

runsolver used 28.9656 second user time and 112.285 second system time

The end

Launcher Data 

Begin job on node200 at 2011-05-20 23:36:16
IDJOB=3372669
IDBENCH=83108
IDSOLVER=1852
FILE ID=node200/3372669-1305927376
RUNJOBID= node200-1305927376-9900
PBS_JOBID= 13387780
Free space on /tmp= 62044 MiB

SOLVER NAME= Plingeling 587f (fixed)
BENCH NAME= SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom15.cnf
COMMAND LINE= plingeling -t NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3372669-1305927376/watcher-3372669-1305927376 -o /tmp/evaluation-result-3372669-1305927376/solver-3372669-1305927376 -C 160000 -W 5100 -M 266338304  plingeling -t 32 HOME/instance-3372669-1305927376.cnf

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

MD5SUM BENCH= 1f0914c6141fdba914b73575a12b918a
RANDOM SEED=1736115483

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:      255500000 kB
Buffers:        453192 kB
Cached:        7896848 kB
SwapCached:          0 kB
Active:        7409052 kB
Inactive:      1010032 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      255500000 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            1508 kB
Writeback:           0 kB
AnonPages:       70060 kB
Mapped:          13484 kB
Slab:           252180 kB
PageTables:       3944 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   187488 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 00:59:47