Trace number 3372501

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Plingeling 587f (fixed)UNSAT 3929.72 127.845

General information on the benchmark

Nameapplication/jarvisalo/AAAI2010-SATPlanning/
aaai10-planning-ipc5-pathways-17-step20.cnf
MD5SUM8f0e3738453893efc8a2d1abcf0d190d
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark3409.96
Satisfiable
(Un)Satisfiability was proved
Number of variables50277
Number of clauses283903
Sum of the clauses size636342
Maximum clause length61
Minimum clause length1
Number of clauses of size 1414
Number of clauses of size 2248375
Number of clauses of size 327490
Number of clauses of size 45332
Number of clauses of size 5458
Number of clauses of size over 51834

Solver Data 

3929.66/127.84	s UNSATISFIABLE

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3372501-1305673784/watcher-3372501-1305673784 -o /tmp/evaluation-result-3372501-1305673784/solver-3372501-1305673784 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372501-1305673784.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: 18.42 17.65 23.90 1/413 27244
/proc/meminfo: memFree=255510152/264257624 swapFree=67111528/67111528
[pid=27244] ppid=27242 vsize=29444 CPUtime=0.02 cores=0-31
/proc/27244/stat : 27244 (plingeling) R 27242 27244 26948 0 -1 4202496 5436 1241 0 0 1 1 0 0 20 0 1 0 678864903 30150656 5367 268435456000 4194304 4417452 140734026232176 18446744073709551615 258651013786 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/27244/statm: 7489 5371 145 55 0 5375 0

[startup+0.073991 s]
/proc/loadavg: 18.42 17.65 23.90 1/413 27244
/proc/meminfo: memFree=255510152/264257624 swapFree=67111528/67111528
[pid=27244] ppid=27242 vsize=44660 CPUtime=0.06 cores=0-31
/proc/27244/stat : 27244 (plingeling) R 27242 27244 26948 0 -1 4202496 9232 1241 0 0 4 2 0 0 20 0 1 0 678864903 45731840 9163 268435456000 4194304 4417452 140734026232176 18446744073709551615 4261973 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/27244/statm: 11165 9163 145 55 0 9051 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 44660

[startup+0.100999 s]
/proc/loadavg: 18.42 17.65 23.90 1/413 27244
/proc/meminfo: memFree=255510152/264257624 swapFree=67111528/67111528
[pid=27244] ppid=27242 vsize=46764 CPUtime=0.08 cores=0-31
/proc/27244/stat : 27244 (plingeling) R 27242 27244 26948 0 -1 4202496 9760 1241 0 0 6 2 0 0 20 0 1 0 678864903 47886336 9691 268435456000 4194304 4417452 140734026232176 18446744073709551615 4264909 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/27244/statm: 11691 9691 145 55 0 9577 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 46764

[startup+0.300993 s]
/proc/loadavg: 18.42 17.65 23.90 1/413 27244
/proc/meminfo: memFree=255510152/264257624 swapFree=67111528/67111528
[pid=27244] ppid=27242 vsize=66964 CPUtime=0.28 cores=0-31
/proc/27244/stat : 27244 (plingeling) R 27242 27244 26948 0 -1 4202496 14790 1241 0 0 24 4 0 0 21 0 1 0 678864903 68571136 14721 268435456000 4194304 4417452 140734026232176 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/27244/statm: 16741 14736 145 55 0 14627 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 66964

[startup+0.701048 s]
/proc/loadavg: 18.42 17.65 23.90 1/413 27244
/proc/meminfo: memFree=255510152/264257624 swapFree=67111528/67111528
[pid=27244] ppid=27242 vsize=110184 CPUtime=0.69 cores=0-31
/proc/27244/stat : 27244 (plingeling) R 27242 27244 26948 0 -1 4202496 25635 1241 0 0 61 8 0 0 22 0 1 0 678864903 112828416 25566 268435456000 4194304 4417452 140734026232176 18446744073709551615 4264940 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/27244/statm: 27546 25566 145 55 0 25432 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 110184

[startup+1.50106 s]
/proc/loadavg: 18.42 17.65 23.90 2/414 27250
/proc/meminfo: memFree=255397404/264257624 swapFree=67111528/67111528
[pid=27244] ppid=27242 vsize=172900 CPUtime=1.48 cores=0-31
/proc/27244/stat : 27244 (plingeling) R 27242 27244 26948 0 -1 4202496 41315 1241 0 0 137 11 0 0 25 0 1 0 678864903 177049600 41246 268435456000 4194304 4417452 140734026232176 18446744073709551615 4231477 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/27244/statm: 43225 41246 146 55 0 41111 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 172900

[startup+3.10111 s]
/proc/loadavg: 18.42 17.65 23.90 2/414 27250
/proc/meminfo: memFree=255282340/264257624 swapFree=67111528/67111528
[pid=27244] ppid=27242 vsize=300388 CPUtime=3.08 cores=0-31
/proc/27244/stat : 27244 (plingeling) R 27242 27244 26948 0 -1 4202496 73212 1241 0 0 290 18 0 0 25 0 1 0 678864903 307597312 73118 268435456000 4194304 4417452 140734026232176 18446744073709551615 4262065 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/27244/statm: 75097 73118 146 55 0 72983 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 300388

[startup+6.30209 s]
/proc/loadavg: 17.02 17.37 23.78 33/446 27282
/proc/meminfo: memFree=255143208/264257624 swapFree=67111528/67111528
[pid=27244] ppid=27242 vsize=967124 CPUtime=52.91 cores=0-31
/proc/27244/stat : 27244 (plingeling) S 27242 27244 26948 0 -1 4202496 151953 1241 0 0 5193 98 0 0 18 0 33 0 678864903 990334976 88965 268435456000 4194304 4417452 140734026232176 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/27244/statm: 241781 88965 170 55 0 239667 0
[pid=27244/tid=27251] ppid=27242 vsize=967124 CPUtime=1.53 cores=0-31
/proc/27244/task/27251/stat : 27251 (plingeling) R 27242 27244 26948 0 -1 4202560 1702 1241 0 0 152 1 0 0 20 0 33 0 678865377 990334976 88965 268435456000 4194304 4417452 140734026232176 18446744073709551615 4282427 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=27244/tid=27252] ppid=27242 vsize=967124 CPUtime=1.51 cores=0-31
/proc/27244/task/27252/stat : 27252 (plingeling) R 27242 27244 26948 0 -1 4202560 2643 1241 0 0 150 1 0 0 25 0 33 0 678865377 990334976 88598 268435456000 4194304 4417452 140734026232176 18446744073709551615 4306602 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=27244/tid=27253] ppid=27242 vsize=967124 CPUtime=1.53 cores=0-31
/proc/27244/task/27253/stat : 27253 (plingeling) R 27242 27244 26948 0 -1 4202560 1897 1241 0 0 152 1 0 0 20 0 33 0 678865377 990334976 88598 268435456000 4194304 4417452 140734026232176 18446744073709551615 4284784 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=27244/tid=27254] ppid=27242 vsize=967124 CPUtime=1.53 cores=0-31
/proc/27244/task/27254/stat : 27254 (plingeling) R 27242 27244 26948 0 -1 4202560 1893 1241 0 0 149 4 0 0 20 0 33 0 678865377 990334976 88598 268435456000 4194304 4417452 140734026232176 18446744073709551615 4236559 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=27244/tid=27255] ppid=27242 vsize=967124 CPUtime=1.51 cores=0-31
/proc/27244/task/27255/stat : 27255 (plingeling) R 27242 27244 26948 0 -1 4202560 2303 1241 0 0 149 2 0 0 20 0 33 0 678865377 990334976 88598 268435456000 4194304 4417452 140734026232176 18446744073709551615 4284746 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=27244/tid=27256] ppid=27242 vsize=967124 CPUtime=1.47 cores=0-31
/proc/27244/task/27256/stat : 27256 (plingeling) R 27242 27244 26948 0 -1 4202560 3577 1241 0 0 146 1 0 0 19 0 33 0 678865377 990334976 88598 268435456000 4194304 4417452 140734026232176 18446744073709551615 258650999383 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=27244/tid=27257] ppid=27242 vsize=967124 CPUtime=1.5 cores=0-31
/proc/27244/task/27257/stat : 27257 (plingeling) R 27242 27244 26948 0 -1 4202560 1587 1241 0 0 148 2 0 0 20 0 33 0 678865377 990334976 88598 268435456000 4194304 4417452 140734026232176 18446744073709551615 4284341 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=27244/tid=27258] ppid=27242 vsize=967124 CPUtime=1.51 cores=0-31
/proc/27244/task/27258/stat : 27258 (plingeling) R 27242 27244 26948 0 -1 4202560 3496 1241 0 0 148 3 0 0 19 0 33 0 678865377 990334976 88598 268435456000 4194304 4417452 140734026232176 18446744073709551615 4287111 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=27244/tid=27259] ppid=27242 vsize=967124 CPUtime=1.52 cores=0-31
/proc/27244/task/27259/stat : 27259 (plingeling) R 27242 27244 26948 0 -1 4202560 2599 1241 0 0 150 2 0 0 19 0 33 0 678865377 990334976 88086 268435456000 4194304 4417452 140734026232176 18446744073709551615 4286414 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=27244/tid=27260] ppid=27242 vsize=967124 CPUtime=1.51 cores=0-31
/proc/27244/task/27260/stat : 27260 (plingeling) R 27242 27244 26948 0 -1 4202560 2628 1241 0 0 149 2 0 0 20 0 33 0 678865377 990334976 88086 268435456000 4194304 4417452 140734026232176 18446744073709551615 4282305 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=27244/tid=27261] ppid=27242 vsize=967124 CPUtime=1.51 cores=0-31
/proc/27244/task/27261/stat : 27261 (plingeling) R 27242 27244 26948 0 -1 4202560 1327 1241 0 0 149 2 0 0 19 0 33 0 678865377 990334976 88086 268435456000 4194304 4417452 140734026232176 18446744073709551615 4287187 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=27244/tid=27262] ppid=27242 vsize=967124 CPUtime=1.5 cores=0-31
/proc/27244/task/27262/stat : 27262 (plingeling) R 27242 27244 26948 0 -1 4202560 4096 1241 0 0 147 3 0 0 19 0 33 0 678865377 990334976 88086 268435456000 4194304 4417452 140734026232176 18446744073709551615 4287492 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=27244/tid=27263] ppid=27242 vsize=967124 CPUtime=1.52 cores=0-31
/proc/27244/task/27263/stat : 27263 (plingeling) R 27242 27244 26948 0 -1 4202560 2000 1241 0 0 150 2 0 0 19 0 33 0 678865377 990334976 88086 268435456000 4194304 4417452 140734026232176 18446744073709551615 4286467 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=27244/tid=27264] ppid=27242 vsize=967124 CPUtime=1.51 cores=0-31
/proc/27244/task/27264/stat : 27264 (plingeling) R 27242 27244 26948 0 -1 4202560 1941 1241 0 0 148 3 0 0 19 0 33 0 678865377 990334976 87953 268435456000 4194304 4417452 140734026232176 18446744073709551615 4288704 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=27244/tid=27265] ppid=27242 vsize=967124 CPUtime=1.52 cores=0-31
/proc/27244/task/27265/stat : 27265 (plingeling) R 27242 27244 26948 0 -1 4202560 2537 1241 0 0 150 2 0 0 19 0 33 0 678865377 990334976 87953 268435456000 4194304 4417452 140734026232176 18446744073709551615 4286167 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=27244/tid=27266] ppid=27242 vsize=967124 CPUtime=1.51 cores=0-31
/proc/27244/task/27266/stat : 27266 (plingeling) R 27242 27244 26948 0 -1 4202560 3270 1241 0 0 148 3 0 0 19 0 33 0 678865378 990334976 87953 268435456000 4194304 4417452 140734026232176 18446744073709551615 4287187 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=27244/tid=27267] ppid=27242 vsize=967124 CPUtime=1.5 cores=0-31
/proc/27244/task/27267/stat : 27267 (plingeling) R 27242 27244 26948 0 -1 4202560 2993 1241 0 0 148 2 0 0 19 0 33 0 678865378 990334976 87953 268435456000 4194304 4417452 140734026232176 18446744073709551615 4286255 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=27244/tid=27268] ppid=27242 vsize=967124 CPUtime=1.48 cores=0-31
/proc/27244/task/27268/stat : 27268 (plingeling) R 27242 27244 26948 0 -1 4202560 2628 1241 0 0 147 1 0 0 19 0 33 0 678865378 990334976 87953 268435456000 4194304 4417452 140734026232176 18446744073709551615 4286255 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=27244/tid=27269] ppid=27242 vsize=967124 CPUtime=1.46 cores=0-31
/proc/27244/task/27269/stat : 27269 (plingeling) R 27242 27244 26948 0 -1 4202560 1973 1241 0 0 145 1 0 0 19 0 33 0 678865378 990334976 87953 268435456000 4194304 4417452 140734026232176 18446744073709551615 4290729 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=27244/tid=27270] ppid=27242 vsize=967124 CPUtime=1.49 cores=0-31
/proc/27244/task/27270/stat : 27270 (plingeling) R 27242 27244 26948 0 -1 4202560 4060 1241 0 0 147 2 0 0 19 0 33 0 678865378 990334976 87953 268435456000 4194304 4417452 140734026232176 18446744073709551615 4286278 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=27244/tid=27271] ppid=27242 vsize=967124 CPUtime=1.48 cores=0-31
/proc/27244/task/27271/stat : 27271 (plingeling) R 27242 27244 26948 0 -1 4202560 1982 1241 0 0 147 1 0 0 19 0 33 0 678865378 990334976 87953 268435456000 4194304 4417452 140734026232176 18446744073709551615 4284626 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=27244/tid=27272] ppid=27242 vsize=967124 CPUtime=1.5 cores=0-31
/proc/27244/task/27272/stat : 27272 (plingeling) R 27242 27244 26948 0 -1 4202560 2336 1241 0 0 148 2 0 0 19 0 33 0 678865378 990334976 87953 268435456000 4194304 4417452 140734026232176 18446744073709551615 4286197 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=27244/tid=27273] ppid=27242 vsize=967124 CPUtime=1.44 cores=0-31
/proc/27244/task/27273/stat : 27273 (plingeling) R 27242 27244 26948 0 -1 4202560 2351 1241 0 0 143 1 0 0 22 0 33 0 678865378 990334976 87953 268435456000 4194304 4417452 140734026232176 18446744073709551615 4287606 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=27244/tid=27274] ppid=27242 vsize=967124 CPUtime=1.5 cores=0-31
/proc/27244/task/27274/stat : 27274 (plingeling) R 27242 27244 26948 0 -1 4202560 3298 1241 0 0 148 2 0 0 20 0 33 0 678865380 990334976 87953 268435456000 4194304 4417452 140734026232176 18446744073709551615 4286467 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=27244/tid=27275] ppid=27242 vsize=967124 CPUtime=1.49 cores=0-31
/proc/27244/task/27275/stat : 27275 (plingeling) R 27242 27244 26948 0 -1 4202560 1341 1241 0 0 147 2 0 0 22 0 33 0 678865380 990334976 87953 268435456000 4194304 4417452 140734026232176 18446744073709551615 4284341 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=27244/tid=27276] ppid=27242 vsize=967124 CPUtime=1.48 cores=0-31
/proc/27244/task/27276/stat : 27276 (plingeling) R 27242 27244 26948 0 -1 4202560 2897 1241 0 0 146 2 0 0 22 0 33 0 678865380 990334976 87953 268435456000 4194304 4417452 140734026232176 18446744073709551615 4282305 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=27244/tid=27277] ppid=27242 vsize=967124 CPUtime=1.51 cores=0-31
/proc/27244/task/27277/stat : 27277 (plingeling) R 27242 27244 26948 0 -1 4202560 1327 1241 0 0 149 2 0 0 20 0 33 0 678865380 990334976 87953 268435456000 4194304 4417452 140734026232176 18446744073709551615 4286467 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=27244/tid=27278] ppid=27242 vsize=967124 CPUtime=1.48 cores=0-31
/proc/27244/task/27278/stat : 27278 (plingeling) R 27242 27244 26948 0 -1 4202560 2166 1241 0 0 147 1 0 0 19 0 33 0 678865380 990334976 87953 268435456000 4194304 4417452 140734026232176 18446744073709551615 4283566 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=27244/tid=27279] ppid=27242 vsize=967124 CPUtime=1.46 cores=0-31
/proc/27244/task/27279/stat : 27279 (plingeling) R 27242 27244 26948 0 -1 4202560 1904 1241 0 0 144 2 0 0 19 0 33 0 678865380 990334976 87953 268435456000 4194304 4417452 140734026232176 18446744073709551615 4284341 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=27244/tid=27280] ppid=27242 vsize=967124 CPUtime=1.44 cores=0-31
/proc/27244/task/27280/stat : 27280 (plingeling) R 27242 27244 26948 0 -1 4202560 3465 1241 0 0 141 3 0 0 19 0 33 0 678865380 990334976 87953 268435456000 4194304 4417452 140734026232176 18446744073709551615 4306602 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=27244/tid=27281] ppid=27242 vsize=967124 CPUtime=1.49 cores=0-31
/proc/27244/task/27281/stat : 27281 (plingeling) R 27242 27244 26948 0 -1 4202560 1338 1241 0 0 147 2 0 0 22 0 33 0 678865380 990334976 87953 268435456000 4194304 4417452 140734026232176 18446744073709551615 4287492 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=27244/tid=27282] ppid=27242 vsize=967124 CPUtime=1.47 cores=0-31
/proc/27244/task/27282/stat : 27282 (plingeling) R 27242 27244 26948 0 -1 4202560 3146 1241 0 0 145 2 0 0 22 0 33 0 678865380 990334976 87953 268435456000 4194304 4417452 140734026232176 18446744073709551615 4282332 0 0 4096 17442 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 52.91
Current children cumulated vsize (KiB) 967124

[startup+12.7013 s]
/proc/loadavg: 18.22 17.62 23.82 33/446 27282
/proc/meminfo: memFree=254812676/264257624 swapFree=67111528/67111528
[pid=27244] ppid=27242 vsize=1235908 CPUtime=254.15 cores=0-31
/proc/27244/stat : 27244 (plingeling) S 27242 27244 26948 0 -1 4202496 305599 1241 0 0 25181 234 0 0 18 0 33 0 678864903 1265569792 167966 268435456000 4194304 4417452 140734026232176 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/27244/statm: 308977 167966 175 55 0 306863 0
[pid=27244/tid=27251] ppid=27242 vsize=1235908 CPUtime=7.8 cores=0-31
/proc/27244/task/27251/stat : 27251 (plingeling) R 27242 27244 26948 0 -1 4202560 9716 1241 0 0 774 6 0 0 25 0 33 0 678865377 1265569792 167966 268435456000 4194304 4417452 140734026232176 18446744073709551615 4249209 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=27244/tid=27252] ppid=27242 vsize=1235908 CPUtime=7.82 cores=0-31
/proc/27244/task/27252/stat : 27252 (plingeling) R 27242 27244 26948 0 -1 4202560 7571 1241 0 0 779 3 0 0 25 0 33 0 678865377 1265569792 167966 268435456000 4194304 4417452 140734026232176 18446744073709551615 4235378 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=27244/tid=27253] ppid=27242 vsize=1235908 CPUtime=7.87 cores=0-31
/proc/27244/task/27253/stat : 27253 (plingeling) R 27242 27244 26948 0 -1 4202560 5422 1241 0 0 783 4 0 0 25 0 33 0 678865377 1265569792 167966 268435456000 4194304 4417452 140734026232176 18446744073709551615 4265429 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=27244/tid=27254] ppid=27242 vsize=1235908 CPUtime=7.76 cores=0-31
/proc/27244/task/27254/stat : 27254 (plingeling) R 27242 27244 26948 0 -1 4202560 2095 1241 0 0 772 4 0 0 25 0 33 0 678865377 1265569792 167966 268435456000 4194304 4417452 140734026232176 18446744073709551615 4364466 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=27244/tid=27255] ppid=27242 vsize=1235908 CPUtime=7.87 cores=0-31
/proc/27244/task/27255/stat : 27255 (plingeling) R 27242 27244 26948 0 -1 4202560 5452 1241 0 0 782 5 0 0 25 0 33 0 678865377 1265569792 167966 268435456000 4194304 4417452 140734026232176 18446744073709551615 4258410 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=27244/tid=27256] ppid=27242 vsize=1235908 CPUtime=7.75 cores=0-31
/proc/27244/task/27256/stat : 27256 (plingeling) R 27242 27244 26948 0 -1 4202560 12400 1241 0 0 769 6 0 0 25 0 33 0 678865377 1265569792 167966 268435456000 4194304 4417452 140734026232176 18446744073709551615 4249882 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=27244/tid=27257] ppid=27242 vsize=1235908 CPUtime=7.83 cores=0-31
/proc/27244/task/27257/stat : 27257 (plingeling) R 27242 27244 26948 0 -1 4202560 6531 1241 0 0 777 6 0 0 25 0 33 0 678865377 1265569792 167966 268435456000 4194304 4417452 140734026232176 18446744073709551615 4357018 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=27244/tid=27258] ppid=27242 vsize=1235908 CPUtime=7.79 cores=0-31
/proc/27244/task/27258/stat : 27258 (plingeling) R 27242 27244 26948 0 -1 4202560 10654 1241 0 0 772 7 0 0 25 0 33 0 678865377 1265569792 167966 268435456000 4194304 4417452 140734026232176 18446744073709551615 4336665 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=27244/tid=27259] ppid=27242 vsize=1235908 CPUtime=7.75 cores=0-31
/proc/27244/task/27259/stat : 27259 (plingeling) R 27242 27244 26948 0 -1 4202560 6384 1241 0 0 766 9 0 0 25 0 33 0 678865377 1265569792 167966 268435456000 4194304 4417452 140734026232176 18446744073709551615 4248920 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=27244/tid=27260] ppid=27242 vsize=1235908 CPUtime=7.74 cores=0-31
/proc/27244/task/27260/stat : 27260 (plingeling) R 27242 27244 26948 0 -1 4202560 7686 1241 0 0 766 8 0 0 25 0 33 0 678865377 1265569792 167966 268435456000 4194304 4417452 140734026232176 18446744073709551615 4249216 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=27244/tid=27261] ppid=27242 vsize=1235908 CPUtime=7.86 cores=0-31
/proc/27244/task/27261/stat : 27261 (plingeling) R 27242 27244 26948 0 -1 4202560 6257 1241 0 0 782 4 0 0 25 0 33 0 678865377 1265569792 167966 268435456000 4194304 4417452 140734026232176 18446744073709551615 4237191 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=27244/tid=27262] ppid=27242 vsize=1235908 CPUtime=7.66 cores=0-31
/proc/27244/task/27262/stat : 27262 (plingeling) R 27242 27244 26948 0 -1 4202560 8627 1241 0 0 755 11 0 0 25 0 33 0 678865377 1265569792 167966 268435456000 4194304 4417452 140734026232176 18446744073709551615 4258188 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=27244/tid=27263] ppid=27242 vsize=1235908 CPUtime=7.79 cores=0-31
/proc/27244/task/27263/stat : 27263 (plingeling) R 27242 27244 26948 0 -1 4202560 6552 1241 0 0 771 8 0 0 25 0 33 0 678865377 1265569792 167966 268435456000 4194304 4417452 140734026232176 18446744073709551615 4337357 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=27244/tid=27264] ppid=27242 vsize=1235908 CPUtime=7.76 cores=0-31
/proc/27244/task/27264/stat : 27264 (plingeling) R 27242 27244 26948 0 -1 4202560 5659 1241 0 0 768 8 0 0 25 0 33 0 678865377 1265569792 167966 268435456000 4194304 4417452 140734026232176 18446744073709551615 4248926 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=27244/tid=27265] ppid=27242 vsize=1235908 CPUtime=7.82 cores=0-31
/proc/27244/task/27265/stat : 27265 (plingeling) R 27242 27244 26948 0 -1 4202560 7340 1241 0 0 775 7 0 0 25 0 33 0 678865377 1265569792 167966 268435456000 4194304 4417452 140734026232176 18446744073709551615 4245661 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=27244/tid=27266] ppid=27242 vsize=1235908 CPUtime=7.76 cores=0-31
/proc/27244/task/27266/stat : 27266 (plingeling) R 27242 27244 26948 0 -1 4202560 7879 1241 0 0 771 5 0 0 25 0 33 0 678865378 1265569792 167966 268435456000 4194304 4417452 140734026232176 18446744073709551615 4258418 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=27244/tid=27267] ppid=27242 vsize=1235908 CPUtime=7.77 cores=0-31
/proc/27244/task/27267/stat : 27267 (plingeling) R 27242 27244 26948 0 -1 4202560 7178 1241 0 0 768 9 0 0 25 0 33 0 678865378 1265569792 167966 268435456000 4194304 4417452 140734026232176 18446744073709551615 4235968 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=27244/tid=27268] ppid=27242 vsize=1235908 CPUtime=7.74 cores=0-31
/proc/27244/task/27268/stat : 27268 (plingeling) R 27242 27244 26948 0 -1 4202560 10608 1241 0 0 769 5 0 0 25 0 33 0 678865378 1265569792 167966 268435456000 4194304 4417452 140734026232176 18446744073709551615 4336693 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=27244/tid=27269] ppid=27242 vsize=1235908 CPUtime=7.71 cores=0-31
/proc/27244/task/27269/stat : 27269 (plingeling) R 27242 27244 26948 0 -1 4202560 6243 1241 0 0 767 4 0 0 25 0 33 0 678865378 1265569792 167966 268435456000 4194304 4417452 140734026232176 18446744073709551615 4353648 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=27244/tid=27270] ppid=27242 vsize=1235908 CPUtime=7.76 cores=0-31

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

/proc/27244/task/27263/stat : 27263 (plingeling) R 27242 27244 26948 0 -1 4202560 48381 1241 0 0 12179 33 0 0 25 0 33 0 678865377 1666707456 285155 268435456000 4194304 4417452 140734026232176 18446744073709551615 4364835 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=27244/tid=27264] ppid=27242 vsize=1627644 CPUtime=122.11 cores=0-31
/proc/27244/task/27264/stat : 27264 (plingeling) R 27242 27244 26948 0 -1 4202560 29626 1241 0 0 12192 19 0 0 25 0 33 0 678865377 1666707456 285155 268435456000 4194304 4417452 140734026232176 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=27244/tid=27265] ppid=27242 vsize=1627644 CPUtime=122.19 cores=0-31
/proc/27244/task/27265/stat : 27265 (plingeling) R 27242 27244 26948 0 -1 4202560 22796 1241 0 0 12203 16 0 0 25 0 33 0 678865377 1666707456 285155 268435456000 4194304 4417452 140734026232176 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=27244/tid=27266] ppid=27242 vsize=1627644 CPUtime=122.14 cores=0-31
/proc/27244/task/27266/stat : 27266 (plingeling) R 27242 27244 26948 0 -1 4202560 11880 1241 0 0 12207 7 0 0 25 0 33 0 678865378 1666707456 285155 268435456000 4194304 4417452 140734026232176 18446744073709551615 4250967 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=27244/tid=27267] ppid=27242 vsize=1627644 CPUtime=122.15 cores=0-31
/proc/27244/task/27267/stat : 27267 (plingeling) R 27242 27244 26948 0 -1 4202560 21481 1241 0 0 12193 22 0 0 25 0 33 0 678865378 1666707456 285155 268435456000 4194304 4417452 140734026232176 18446744073709551615 4364645 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=27244/tid=27268] ppid=27242 vsize=1627644 CPUtime=122.11 cores=0-31
/proc/27244/task/27268/stat : 27268 (plingeling) R 27242 27244 26948 0 -1 4202560 23863 1241 0 0 12202 9 0 0 25 0 33 0 678865378 1666707456 285155 268435456000 4194304 4417452 140734026232176 18446744073709551615 4365058 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=27244/tid=27269] ppid=27242 vsize=1627644 CPUtime=121.86 cores=0-31
/proc/27244/task/27269/stat : 27269 (plingeling) R 27242 27244 26948 0 -1 4202560 15025 1241 0 0 12172 14 0 0 25 0 33 0 678865378 1666707456 285155 268435456000 4194304 4417452 140734026232176 18446744073709551615 4364558 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=27244/tid=27270] ppid=27242 vsize=1627644 CPUtime=122.13 cores=0-31
/proc/27244/task/27270/stat : 27270 (plingeling) R 27242 27244 26948 0 -1 4202560 33208 1241 0 0 12201 12 0 0 25 0 33 0 678865378 1666707456 285155 268435456000 4194304 4417452 140734026232176 18446744073709551615 4364821 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=27244/tid=27271] ppid=27242 vsize=1627644 CPUtime=122.21 cores=0-31
/proc/27244/task/27271/stat : 27271 (plingeling) R 27242 27244 26948 0 -1 4202560 20058 1241 0 0 12208 13 0 0 25 0 33 0 678865378 1666707456 285155 268435456000 4194304 4417452 140734026232176 18446744073709551615 4366523 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=27244/tid=27272] ppid=27242 vsize=1627644 CPUtime=122.15 cores=0-31
/proc/27244/task/27272/stat : 27272 (plingeling) R 27242 27244 26948 0 -1 4202560 13831 1241 0 0 12205 10 0 0 25 0 33 0 678865378 1666707456 285155 268435456000 4194304 4417452 140734026232176 18446744073709551615 4364594 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=27244/tid=27273] ppid=27242 vsize=1627644 CPUtime=122.1 cores=0-31
/proc/27244/task/27273/stat : 27273 (plingeling) R 27242 27244 26948 0 -1 4202560 16542 1241 0 0 12200 10 0 0 25 0 33 0 678865378 1666707456 285155 268435456000 4194304 4417452 140734026232176 18446744073709551615 4236906 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=27244/tid=27274] ppid=27242 vsize=1627644 CPUtime=122.14 cores=0-31
/proc/27244/task/27274/stat : 27274 (plingeling) R 27242 27244 26948 0 -1 4202560 14718 1241 0 0 12204 10 0 0 25 0 33 0 678865380 1666707456 285155 268435456000 4194304 4417452 140734026232176 18446744073709551615 4364819 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=27244/tid=27275] ppid=27242 vsize=1627644 CPUtime=122.14 cores=0-31
/proc/27244/task/27275/stat : 27275 (plingeling) R 27242 27244 26948 0 -1 4202560 29332 1241 0 0 12197 17 0 0 25 0 33 0 678865380 1666707456 285155 268435456000 4194304 4417452 140734026232176 18446744073709551615 4357207 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=27244/tid=27276] ppid=27242 vsize=1627644 CPUtime=122.14 cores=0-31
/proc/27244/task/27276/stat : 27276 (plingeling) R 27242 27244 26948 0 -1 4202560 22200 1241 0 0 12197 17 0 0 25 0 33 0 678865380 1666707456 285155 268435456000 4194304 4417452 140734026232176 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=27244/tid=27277] ppid=27242 vsize=1627644 CPUtime=122.21 cores=0-31
/proc/27244/task/27277/stat : 27277 (plingeling) R 27242 27244 26948 0 -1 4202560 10540 1241 0 0 12216 5 0 0 25 0 33 0 678865380 1666707456 285155 268435456000 4194304 4417452 140734026232176 18446744073709551615 4364604 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=27244/tid=27278] ppid=27242 vsize=1627644 CPUtime=119.07 cores=0-31
/proc/27244/task/27278/stat : 27278 (plingeling) R 27242 27244 26948 0 -1 4202560 25376 1241 0 0 11891 16 0 0 25 0 33 0 678865380 1666707456 285155 268435456000 4194304 4417452 140734026232176 18446744073709551615 4364542 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=27244/tid=27279] ppid=27242 vsize=1627644 CPUtime=122.12 cores=0-31
/proc/27244/task/27279/stat : 27279 (plingeling) R 27242 27244 26948 0 -1 4202560 33073 1241 0 0 12190 22 0 0 25 0 33 0 678865380 1666707456 285155 268435456000 4194304 4417452 140734026232176 18446744073709551615 4277491 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=27244/tid=27280] ppid=27242 vsize=1627644 CPUtime=122.08 cores=0-31
/proc/27244/task/27280/stat : 27280 (plingeling) R 27242 27244 26948 0 -1 4202560 20130 1241 0 0 12198 10 0 0 25 0 33 0 678865380 1666707456 285155 268435456000 4194304 4417452 140734026232176 18446744073709551615 4366051 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=27244/tid=27281] ppid=27242 vsize=1627644 CPUtime=122.11 cores=0-31
/proc/27244/task/27281/stat : 27281 (plingeling) R 27242 27244 26948 0 -1 4202560 18592 1241 0 0 12199 12 0 0 25 0 33 0 678865380 1666707456 285155 268435456000 4194304 4417452 140734026232176 18446744073709551615 4364827 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=27244/tid=27282] ppid=27242 vsize=1627644 CPUtime=122.19 cores=0-31
/proc/27244/task/27282/stat : 27282 (plingeling) R 27242 27244 26948 0 -1 4202560 47883 1241 0 0 12196 23 0 0 25 0 33 0 678865380 1666707456 285155 268435456000 4194304 4417452 140734026232176 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 17 0 0 0
Current children cumulated CPU time (s) 3910.22
Current children cumulated vsize (KiB) 1627644

[startup+127.502 s]
/proc/loadavg: 30.21 22.40 24.82 33/446 27284
/proc/meminfo: memFree=254364852/264257624 swapFree=67111528/67111528
[pid=27244] ppid=27242 vsize=1631280 CPUtime=3923.63 cores=0-31
/proc/27244/stat : 27244 (plingeling) S 27242 27244 26948 0 -1 4202496 834381 1241 0 0 391844 519 0 0 18 0 33 0 678864903 1670430720 286964 268435456000 4194304 4417452 140734026232176 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/27244/statm: 407820 286964 175 55 0 405706 0
[pid=27244/tid=27251] ppid=27242 vsize=1631280 CPUtime=122.58 cores=0-31
/proc/27244/task/27251/stat : 27251 (plingeling) R 27242 27244 26948 0 -1 4202560 17933 1241 0 0 12245 13 0 0 25 0 33 0 678865377 1670430720 286964 268435456000 4194304 4417452 140734026232176 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=27244/tid=27252] ppid=27242 vsize=1631280 CPUtime=122.59 cores=0-31
/proc/27244/task/27252/stat : 27252 (plingeling) R 27242 27244 26948 0 -1 4202560 35486 1241 0 0 12242 17 0 0 25 0 33 0 678865377 1670430720 286964 268435456000 4194304 4417452 140734026232176 18446744073709551615 4364564 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=27244/tid=27253] ppid=27242 vsize=1631280 CPUtime=122.63 cores=0-31
/proc/27244/task/27253/stat : 27253 (plingeling) R 27242 27244 26948 0 -1 4202560 19478 1241 0 0 12247 16 0 0 25 0 33 0 678865377 1670430720 286964 268435456000 4194304 4417452 140734026232176 18446744073709551615 4364632 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=27244/tid=27254] ppid=27242 vsize=1631280 CPUtime=122.55 cores=0-31
/proc/27244/task/27254/stat : 27254 (plingeling) R 27242 27244 26948 0 -1 4202560 14153 1241 0 0 12243 12 0 0 25 0 33 0 678865377 1670430720 286964 268435456000 4194304 4417452 140734026232176 18446744073709551615 4357283 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=27244/tid=27255] ppid=27242 vsize=1631280 CPUtime=122.62 cores=0-31
/proc/27244/task/27255/stat : 27255 (plingeling) R 27242 27244 26948 0 -1 4202560 15698 1241 0 0 12248 14 0 0 25 0 33 0 678865377 1670430720 286964 268435456000 4194304 4417452 140734026232176 18446744073709551615 4364881 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=27244/tid=27256] ppid=27242 vsize=1631280 CPUtime=122.55 cores=0-31
/proc/27244/task/27256/stat : 27256 (plingeling) R 27242 27244 26948 0 -1 4202560 34495 1241 0 0 12244 11 0 0 25 0 33 0 678865377 1670430720 286964 268435456000 4194304 4417452 140734026232176 18446744073709551615 4364737 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=27244/tid=27257] ppid=27242 vsize=1631280 CPUtime=122.62 cores=0-31
/proc/27244/task/27257/stat : 27257 (plingeling) R 27242 27244 26948 0 -1 4202560 12316 1241 0 0 12255 7 0 0 25 0 33 0 678865377 1670430720 286964 268435456000 4194304 4417452 140734026232176 18446744073709551615 4250476 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=27244/tid=27258] ppid=27242 vsize=1631280 CPUtime=122.53 cores=0-31
/proc/27244/task/27258/stat : 27258 (plingeling) R 27242 27244 26948 0 -1 4202560 40598 1241 0 0 12228 25 0 0 25 0 33 0 678865377 1670430720 286964 268435456000 4194304 4417452 140734026232176 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=27244/tid=27259] ppid=27242 vsize=1631280 CPUtime=122.42 cores=0-31
/proc/27244/task/27259/stat : 27259 (plingeling) R 27242 27244 26948 0 -1 4202560 31538 1241 0 0 12217 25 0 0 25 0 33 0 678865377 1670430720 286964 268435456000 4194304 4417452 140734026232176 18446744073709551615 4236603 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=27244/tid=27260] ppid=27242 vsize=1631280 CPUtime=122.54 cores=0-31
/proc/27244/task/27260/stat : 27260 (plingeling) R 27242 27244 26948 0 -1 4202560 24524 1241 0 0 12236 18 0 0 25 0 33 0 678865377 1670430720 286964 268435456000 4194304 4417452 140734026232176 18446744073709551615 4364756 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=27244/tid=27261] ppid=27242 vsize=1631280 CPUtime=122.65 cores=0-31
/proc/27244/task/27261/stat : 27261 (plingeling) R 27242 27244 26948 0 -1 4202560 18081 1241 0 0 12258 7 0 0 25 0 33 0 678865377 1670430720 286964 268435456000 4194304 4417452 140734026232176 18446744073709551615 4236577 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=27244/tid=27262] ppid=27242 vsize=1631280 CPUtime=122.45 cores=0-31
/proc/27244/task/27262/stat : 27262 (plingeling) R 27242 27244 26948 0 -1 4202560 16432 1241 0 0 12227 18 0 0 25 0 33 0 678865377 1670430720 286964 268435456000 4194304 4417452 140734026232176 18446744073709551615 4364881 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=27244/tid=27263] ppid=27242 vsize=1631280 CPUtime=122.53 cores=0-31
/proc/27244/task/27263/stat : 27263 (plingeling) R 27242 27244 26948 0 -1 4202560 49281 1241 0 0 12220 33 0 0 25 0 33 0 678865377 1670430720 286964 268435456000 4194304 4417452 140734026232176 18446744073709551615 4364798 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=27244/tid=27264] ppid=27242 vsize=1631280 CPUtime=122.53 cores=0-31
/proc/27244/task/27264/stat : 27264 (plingeling) R 27242 27244 26948 0 -1 4202560 29626 1241 0 0 12234 19 0 0 25 0 33 0 678865377 1670430720 286964 268435456000 4194304 4417452 140734026232176 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=27244/tid=27265] ppid=27242 vsize=1631280 CPUtime=122.61 cores=0-31
/proc/27244/task/27265/stat : 27265 (plingeling) R 27242 27244 26948 0 -1 4202560 22796 1241 0 0 12245 16 0 0 25 0 33 0 678865377 1670430720 286964 268435456000 4194304 4417452 140734026232176 18446744073709551615 4364819 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=27244/tid=27266] ppid=27242 vsize=1631280 CPUtime=122.56 cores=0-31
/proc/27244/task/27266/stat : 27266 (plingeling) R 27242 27244 26948 0 -1 4202560 12213 1241 0 0 12249 7 0 0 25 0 33 0 678865378 1670430720 286964 268435456000 4194304 4417452 140734026232176 18446744073709551615 4364632 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=27244/tid=27267] ppid=27242 vsize=1631280 CPUtime=122.57 cores=0-31
/proc/27244/task/27267/stat : 27267 (plingeling) R 27242 27244 26948 0 -1 4202560 21481 1241 0 0 12235 22 0 0 25 0 33 0 678865378 1670430720 286964 268435456000 4194304 4417452 140734026232176 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=27244/tid=27268] ppid=27242 vsize=1631280 CPUtime=122.53 cores=0-31
/proc/27244/task/27268/stat : 27268 (plingeling) R 27242 27244 26948 0 -1 4202560 23863 1241 0 0 12244 9 0 0 25 0 33 0 678865378 1670430720 286964 268435456000 4194304 4417452 140734026232176 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=27244/tid=27269] ppid=27242 vsize=1631280 CPUtime=122.29 cores=0-31
/proc/27244/task/27269/stat : 27269 (plingeling) R 27242 27244 26948 0 -1 4202560 15638 1241 0 0 12214 15 0 0 25 0 33 0 678865378 1670430720 286964 268435456000 4194304 4417452 140734026232176 18446744073709551615 4364611 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=27244/tid=27270] ppid=27242 vsize=1631280 CPUtime=122.55 cores=0-31
/proc/27244/task/27270/stat : 27270 (plingeling) R 27242 27244 26948 0 -1 4202560 33208 1241 0 0 12243 12 0 0 25 0 33 0 678865378 1670430720 286964 268435456000 4194304 4417452 140734026232176 18446744073709551615 4364819 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=27244/tid=27271] ppid=27242 vsize=1631280 CPUtime=122.63 cores=0-31
/proc/27244/task/27271/stat : 27271 (plingeling) R 27242 27244 26948 0 -1 4202560 20058 1241 0 0 12250 13 0 0 25 0 33 0 678865378 1670430720 286964 268435456000 4194304 4417452 140734026232176 18446744073709551615 4364765 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=27244/tid=27272] ppid=27242 vsize=1631280 CPUtime=122.57 cores=0-31
/proc/27244/task/27272/stat : 27272 (plingeling) R 27242 27244 26948 0 -1 4202560 13831 1241 0 0 12247 10 0 0 25 0 33 0 678865378 1670430720 286964 268435456000 4194304 4417452 140734026232176 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=27244/tid=27273] ppid=27242 vsize=1631280 CPUtime=122.52 cores=0-31
/proc/27244/task/27273/stat : 27273 (plingeling) R 27242 27244 26948 0 -1 4202560 16542 1241 0 0 12242 10 0 0 25 0 33 0 678865378 1670430720 286964 268435456000 4194304 4417452 140734026232176 18446744073709551615 4358097 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=27244/tid=27274] ppid=27242 vsize=1631280 CPUtime=122.56 cores=0-31
/proc/27244/task/27274/stat : 27274 (plingeling) R 27242 27244 26948 0 -1 4202560 14718 1241 0 0 12246 10 0 0 25 0 33 0 678865380 1670430720 286964 268435456000 4194304 4417452 140734026232176 18446744073709551615 4366523 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=27244/tid=27275] ppid=27242 vsize=1631280 CPUtime=122.56 cores=0-31
/proc/27244/task/27275/stat : 27275 (plingeling) R 27242 27244 26948 0 -1 4202560 29332 1241 0 0 12239 17 0 0 25 0 33 0 678865380 1670430720 286964 268435456000 4194304 4417452 140734026232176 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=27244/tid=27276] ppid=27242 vsize=1631280 CPUtime=122.56 cores=0-31
/proc/27244/task/27276/stat : 27276 (plingeling) R 27242 27244 26948 0 -1 4202560 22200 1241 0 0 12239 17 0 0 25 0 33 0 678865380 1670430720 286964 268435456000 4194304 4417452 140734026232176 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=27244/tid=27277] ppid=27242 vsize=1631280 CPUtime=122.63 cores=0-31
/proc/27244/task/27277/stat : 27277 (plingeling) R 27242 27244 26948 0 -1 4202560 10540 1241 0 0 12258 5 0 0 25 0 33 0 678865380 1670430720 286964 268435456000 4194304 4417452 140734026232176 18446744073709551615 4364597 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=27244/tid=27278] ppid=27242 vsize=1631280 CPUtime=119.46 cores=0-31
/proc/27244/task/27278/stat : 27278 (plingeling) R 27242 27244 26948 0 -1 4202560 25376 1241 0 0 11930 16 0 0 25 0 33 0 678865380 1670430720 286964 268435456000 4194304 4417452 140734026232176 18446744073709551615 4364564 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=27244/tid=27279] ppid=27242 vsize=1631280 CPUtime=122.54 cores=0-31
/proc/27244/task/27279/stat : 27279 (plingeling) R 27242 27244 26948 0 -1 4202560 33073 1241 0 0 12232 22 0 0 25 0 33 0 678865380 1670430720 286964 268435456000 4194304 4417452 140734026232176 18446744073709551615 4277594 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=27244/tid=27280] ppid=27242 vsize=1631280 CPUtime=122.5 cores=0-31
/proc/27244/task/27280/stat : 27280 (plingeling) R 27242 27244 26948 0 -1 4202560 20130 1241 0 0 12240 10 0 0 25 0 33 0 678865380 1670430720 286964 268435456000 4194304 4417452 140734026232176 18446744073709551615 4364675 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=27244/tid=27281] ppid=27242 vsize=1631280 CPUtime=122.53 cores=0-31
/proc/27244/task/27281/stat : 27281 (plingeling) R 27242 27244 26948 0 -1 4202560 18592 1241 0 0 12241 12 0 0 25 0 33 0 678865380 1670430720 286964 268435456000 4194304 4417452 140734026232176 18446744073709551615 4236616 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=27244/tid=27282] ppid=27242 vsize=1631280 CPUtime=122.61 cores=0-31
/proc/27244/task/27282/stat : 27282 (plingeling) R 27242 27244 26948 0 -1 4202560 47899 1241 0 0 12238 23 0 0 25 0 33 0 678865380 1670430720 286964 268435456000 4194304 4417452 140734026232176 18446744073709551615 4353557 0 0 4096 17442 0 0 0 -1 17 0 0 0
Current children cumulated CPU time (s) 3923.63
Current children cumulated vsize (KiB) 1631280

[startup+127.703 s]
/proc/loadavg: 30.21 22.40 24.82 33/446 27284
/proc/meminfo: memFree=254364852/264257624 swapFree=67111528/67111528
[pid=27244] ppid=27242 vsize=1631280 CPUtime=3929.34 cores=0-31
/proc/27244/stat : 27244 (plingeling) S 27242 27244 26948 0 -1 4202496 834382 1241 0 0 392415 519 0 0 18 0 21 0 678864903 1670430720 286965 268435456000 4194304 4417452 140734026232176 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/27244/statm: 407820 286965 176 55 0 405706 0
[pid=27244/tid=27251] ppid=27242 vsize=1631280 CPUtime=122.76 cores=0-31
/proc/27244/task/27251/stat : 27251 (plingeling) R 27242 27244 26948 0 -1 4202560 17933 1241 0 0 12263 13 0 0 25 0 21 0 678865377 1670430720 286965 268435456000 4194304 4417452 140734026232176 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=27244/tid=27253] ppid=27242 vsize=1631280 CPUtime=122.81 cores=0-31
/proc/27244/task/27253/stat : 27253 (plingeling) R 27242 27244 26948 0 -1 4202560 19478 1241 0 0 12265 16 0 0 25 0 21 0 678865377 1670430720 286965 268435456000 4194304 4417452 140734026232176 18446744073709551615 18446744073699066103 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=27244/tid=27255] ppid=27242 vsize=1631280 CPUtime=122.8 cores=0-31
/proc/27244/task/27255/stat : 27255 (plingeling) R 27242 27244 26948 0 -1 4202560 15698 1241 0 0 12266 14 0 0 25 0 21 0 678865377 1670430720 286965 268435456000 4194304 4417452 140734026232176 18446744073709551615 4353557 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=27244/tid=27256] ppid=27242 vsize=1631280 CPUtime=122.73 cores=0-31
/proc/27244/task/27256/stat : 27256 (plingeling) R 27242 27244 26948 0 -1 4202560 34495 1241 0 0 12262 11 0 0 25 0 21 0 678865377 1670430720 286965 268435456000 4194304 4417452 140734026232176 18446744073709551615 4250915 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=27244/tid=27259] ppid=27242 vsize=1631280 CPUtime=122.6 cores=0-31
/proc/27244/task/27259/stat : 27259 (plingeling) R 27242 27244 26948 0 -1 4202560 31538 1241 0 0 12235 25 0 0 25 0 21 0 678865377 1670430720 286965 268435456000 4194304 4417452 140734026232176 18446744073709551615 4260012 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=27244/tid=27260] ppid=27242 vsize=1631280 CPUtime=122.72 cores=0-31
/proc/27244/task/27260/stat : 27260 (plingeling) R 27242 27244 26948 0 -1 4202560 24524 1241 0 0 12254 18 0 0 25 0 21 0 678865377 1670430720 286965 268435456000 4194304 4417452 140734026232176 18446744073709551615 4366051 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=27244/tid=27261] ppid=27242 vsize=1631280 CPUtime=122.83 cores=0-31
/proc/27244/task/27261/stat : 27261 (plingeling) R 27242 27244 26948 0 -1 4202560 18081 1241 0 0 12276 7 0 0 25 0 21 0 678865377 1670430720 286965 268435456000 4194304 4417452 140734026232176 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=27244/tid=27262] ppid=27242 vsize=1631280 CPUtime=122.63 cores=0-31
/proc/27244/task/27262/stat : 27262 (plingeling) R 27242 27244 26948 0 -1 4202560 16432 1241 0 0 12245 18 0 0 25 0 21 0 678865377 1670430720 286965 268435456000 4194304 4417452 140734026232176 18446744073709551615 4364594 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=27244/tid=27263] ppid=27242 vsize=1631280 CPUtime=122.71 cores=0-31
/proc/27244/task/27263/stat : 27263 (plingeling) R 27242 27244 26948 0 -1 4202560 49281 1241 0 0 12238 33 0 0 25 0 21 0 678865377 1670430720 286965 268435456000 4194304 4417452 140734026232176 18446744073709551615 4364881 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=27244/tid=27265] ppid=27242 vsize=1631280 CPUtime=122.79 cores=0-31
/proc/27244/task/27265/stat : 27265 (plingeling) R 27242 27244 26948 0 -1 4202560 22796 1241 0 0 12263 16 0 0 25 0 21 0 678865377 1670430720 286965 268435456000 4194304 4417452 140734026232176 18446744073709551615 4364587 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=27244/tid=27266] ppid=27242 vsize=1631280 CPUtime=122.74 cores=0-31
/proc/27244/task/27266/stat : 27266 (plingeling) R 27242 27244 26948 0 -1 4202560 12213 1241 0 0 12267 7 0 0 25 0 21 0 678865378 1670430720 286965 268435456000 4194304 4417452 140734026232176 18446744073709551615 4357207 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=27244/tid=27267] ppid=27242 vsize=1631280 CPUtime=122.75 cores=0-31
/proc/27244/task/27267/stat : 27267 (plingeling) R 27242 27244 26948 0 -1 4202560 21481 1241 0 0 12253 22 0 0 25 0 21 0 678865378 1670430720 286965 268435456000 4194304 4417452 140734026232176 18446744073709551615 4277687 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=27244/tid=27269] ppid=27242 vsize=1631280 CPUtime=122.47 cores=0-31
/proc/27244/task/27269/stat : 27269 (plingeling) R 27242 27244 26948 0 -1 4202560 15638 1241 0 0 12232 15 0 0 25 0 21 0 678865378 1670430720 286965 268435456000 4194304 4417452 140734026232176 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=27244/tid=27270] ppid=27242 vsize=1631280 CPUtime=122.73 cores=0-31
/proc/27244/task/27270/stat : 27270 (plingeling) R 27242 27244 26948 0 -1 4202560 33208 1241 0 0 12261 12 0 0 25 0 21 0 678865378 1670430720 286965 268435456000 4194304 4417452 140734026232176 18446744073709551615 4364650 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=27244/tid=27273] ppid=27242 vsize=1631280 CPUtime=122.69 cores=0-31
/proc/27244/task/27273/stat : 27273 (plingeling) R 27242 27244 26948 0 -1 4202560 16542 1241 0 0 12259 10 0 0 25 0 20 0 678865378 1670430720 286965 268435456000 4194304 4417452 140734026232176 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=27244/tid=27274] ppid=27242 vsize=1631280 CPUtime=122.74 cores=0-31
/proc/27244/task/27274/stat : 27274 (plingeling) R 27242 27244 26948 0 -1 4202560 14718 1241 0 0 12264 10 0 0 25 0 20 0 678865380 1670430720 286965 268435456000 4194304 4417452 140734026232176 18446744073709551615 4365130 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=27244/tid=27275] ppid=27242 vsize=1631280 CPUtime=122.74 cores=0-31
/proc/27244/task/27275/stat : 27275 (plingeling) R 27242 27244 26948 0 -1 4202560 29332 1241 0 0 12257 17 0 0 25 0 20 0 678865380 1670430720 286965 268435456000 4194304 4417452 140734026232176 18446744073709551615 4364653 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=27244/tid=27277] ppid=27242 vsize=1631280 CPUtime=122.8 cores=0-31
/proc/27244/task/27277/stat : 27277 (plingeling) R 27242 27244 26948 0 -1 4202560 10540 1241 0 0 12275 5 0 0 25 0 20 0 678865380 1670430720 286965 268435456000 4194304 4417452 140734026232176 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=27244/tid=27281] ppid=27242 vsize=1631280 CPUtime=122.71 cores=0-31
/proc/27244/task/27281/stat : 27281 (plingeling) R 27242 27244 26948 0 -1 4202560 18592 1241 0 0 12259 12 0 0 25 0 20 0 678865380 1670430720 286965 268435456000 4194304 4417452 140734026232176 18446744073709551615 4364555 0 0 4096 17442 0 0 0 -1 10 0 0 0
Current children cumulated CPU time (s) 3929.34
Current children cumulated vsize (KiB) 1631280

[startup+127.803 s]
/proc/loadavg: 30.21 22.40 24.82 33/446 27284
/proc/meminfo: memFree=254364852/264257624 swapFree=67111528/67111528
[pid=27244] ppid=27242 vsize=805184 CPUtime=3929.66 cores=0-31
/proc/27244/stat : 27244 (plingeling) R 27242 27244 26948 0 -1 4202496 834382 1241 0 0 392440 526 0 0 17 0 1 0 678864903 824508416 110250 268435456000 4194304 4417452 140734026232176 18446744073709551615 258650981722 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/27244/statm: 201296 110250 176 55 0 199182 0
Current children cumulated CPU time (s) 3929.66
Current children cumulated vsize (KiB) 805184

Child status: 20
Real time (s): 127.845
CPU time (s): 3929.72
CPU user time (s): 3924.41
CPU system time (s): 5.31519
CPU usage (%): 3073.82
Max. virtual memory (cumulated for all children) (KiB): 1652024

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3924.41
system time used= 5.31519
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 835627
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= 4609
involuntary context switches= 9402

runsolver used 0.751885 second user time and 2.90656 second system time

The end

Launcher Data 

Begin job on node200 at 2011-05-18 01:09:45
IDJOB=3372501
IDBENCH=82422
IDSOLVER=1852
FILE ID=node200/3372501-1305673784
RUNJOBID= node200-1305673319-26962
PBS_JOBID= 13357373
Free space on /tmp= 62048 MiB

SOLVER NAME= Plingeling 587f (fixed)
BENCH NAME= SAT11/application/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-pathways-17-step20.cnf
COMMAND LINE= plingeling -t NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3372501-1305673784/watcher-3372501-1305673784 -o /tmp/evaluation-result-3372501-1305673784/solver-3372501-1305673784 -C 160000 -W 5100 -M 266338304  plingeling -t 32 HOME/instance-3372501-1305673784.cnf

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

MD5SUM BENCH= 8f0e3738453893efc8a2d1abcf0d190d
RANDOM SEED=1168306059

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:      255510300 kB
Buffers:        450560 kB
Cached:        7887500 kB
SwapCached:          0 kB
Active:        7409060 kB
Inactive:      1003976 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      255510300 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            5016 kB
Writeback:           0 kB
AnonPages:       75320 kB
Mapped:          14536 kB
Slab:           251556 kB
PageTables:       4448 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   202696 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296372 kB
VmallocChunk: 34359440603 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62048 MiB
End job on node200 at 2011-05-18 01:11:53