Trace number 3472464

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
claspmt 2.0-R4095-patched (fixed)? (TO) 160005 5008.92

General information on the benchmark

Nameapplication/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom16.cnf
MD5SUM73a2c2d9e5c062e561bfdb7c82071a99
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables29254
Number of clauses97456
Sum of the clauses size247986
Maximum clause length977
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 250701
Number of clauses of size 346235
Number of clauses of size 4135
Number of clauses of size 514
Number of clauses of size over 5370

Solver Data 

0.00/0.01	c clasp version 2.0.0-RC2
0.00/0.01	c Reading from ...704484/instance-3472464-1307704484.cnf
0.59/0.61	c Solving...
160002.36/5006.92	
160002.36/5006.92	*** INTERRUPTED! ***
160002.36/5006.92	*** Shutting down threads...
160004.80/5008.90	s UNKNOWN
160004.80/5008.90	
160004.80/5008.90	c INTERRUPTED   : 1
160004.80/5008.90	c Models        : 0+    
160004.80/5008.90	c Time          : 5006.924s (Solving: 5006.32s 1st Model: 0.00s Unsat: 0.00s)
160004.80/5008.90	c CPU Time      : 160002.820s

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: UNKNOWN

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3472464-1307704484/watcher-3472464-1307704484 -o /tmp/evaluation-result-3472464-1307704484/solver-3472464-1307704484 -C 160000 -W 5100 -M 256000 HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472464-1307704484.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): 262144000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 262195200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 29.64 31.58 31.88 1/413 3331
/proc/meminfo: memFree=262172832/264257624 swapFree=67111528/67111528
[pid=3331] ppid=3329 vsize=24680 CPUtime=0.01 cores=0-31
/proc/3331/stat : 3331 (claspmt) R 3329 3331 3301 0 -1 4202496 1301 0 0 0 1 0 0 0 22 0 1 0 35835280 25272320 1231 270582939648 4194304 4964800 140734428225840 18446744073709551615 4700412 0 0 4096 18946 0 0 0 17 20 0 0 0
/proc/3331/statm: 6170 1235 373 189 0 1044 0

[startup+0.0680851 s]
/proc/loadavg: 29.64 31.58 31.88 1/413 3331
/proc/meminfo: memFree=262172832/264257624 swapFree=67111528/67111528
[pid=3331] ppid=3329 vsize=29396 CPUtime=0.05 cores=0-31
/proc/3331/stat : 3331 (claspmt) R 3329 3331 3301 0 -1 4202496 2991 0 0 0 5 0 0 0 22 0 1 0 35835280 30101504 2522 270582939648 4194304 4964800 140734428225840 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 20 0 0 0
/proc/3331/statm: 7349 2522 386 189 0 2223 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 29396

[startup+0.101067 s]
/proc/loadavg: 29.64 31.58 31.88 1/413 3331
/proc/meminfo: memFree=262172832/264257624 swapFree=67111528/67111528
[pid=3331] ppid=3329 vsize=32272 CPUtime=0.09 cores=0-31
/proc/3331/stat : 3331 (claspmt) R 3329 3331 3301 0 -1 4202496 4146 0 0 0 8 1 0 0 22 0 1 0 35835280 33046528 3271 270582939648 4194304 4964800 140734428225840 18446744073709551615 258650652667 0 0 4096 18946 0 0 0 17 20 0 0 0
/proc/3331/statm: 8068 3271 396 189 0 2942 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 32272

[startup+0.301068 s]
/proc/loadavg: 29.64 31.58 31.88 1/413 3331
/proc/meminfo: memFree=262172832/264257624 swapFree=67111528/67111528
[pid=3331] ppid=3329 vsize=37388 CPUtime=0.29 cores=0-31
/proc/3331/stat : 3331 (claspmt) R 3329 3331 3301 0 -1 4202496 5417 0 0 0 28 1 0 0 23 0 1 0 35835280 38285312 4542 270582939648 4194304 4964800 140734428225840 18446744073709551615 4600431 0 0 4096 18946 0 0 0 17 20 0 0 0
/proc/3331/statm: 9347 4542 401 189 0 4221 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 37388

[startup+0.700968 s]
/proc/loadavg: 29.64 31.58 31.88 1/413 3331
/proc/meminfo: memFree=262172832/264257624 swapFree=67111528/67111528
[pid=3331] ppid=3329 vsize=478172 CPUtime=2.39 cores=0-31
/proc/3331/stat : 3331 (claspmt) S 3329 3331 3301 0 -1 4202496 21685 0 0 0 69 170 0 0 18 0 32 0 35835280 489648128 15311 270582939648 4194304 4964800 140734428225840 18446744073709551615 258662772457 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/3331/statm: 119543 15313 435 189 0 113892 0
Current children cumulated CPU time (s) 2.39
Current children cumulated vsize (KiB) 478172

[startup+1.50298 s]
/proc/loadavg: 29.64 31.58 31.88 5/445 3396
/proc/meminfo: memFree=262034052/264257624 swapFree=67111528/67111528
[pid=3331] ppid=3329 vsize=2059496 CPUtime=16.57 cores=0-31
/proc/3331/stat : 3331 (claspmt) R 3329 3331 3301 0 -1 4202496 46185 0 0 0 1383 274 0 0 16 0 32 0 35835280 2108923904 37770 270582939648 4194304 4964800 140734428225840 18446744073709551615 4327267 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/3331/statm: 514874 37771 461 189 0 509223 0
[pid=3331/tid=3333] ppid=3329 vsize=2059496 CPUtime=0.48 cores=0-31
/proc/3331/task/3333/stat : 3333 (claspmt) R 3329 3331 3301 0 -1 4202560 1027 0 0 0 40 8 0 0 16 0 32 0 35835341 2108923904 37771 270582939648 4194304 4964800 140734428225840 18446744073709551615 4669280 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=3331/tid=3334] ppid=3329 vsize=2059496 CPUtime=0.46 cores=0-31
/proc/3331/task/3334/stat : 3334 (claspmt) R 3329 3331 3301 0 -1 4202560 1431 0 0 0 38 8 0 0 16 0 32 0 35835341 2108923904 37773 270582939648 4194304 4964800 140734428225840 18446744073709551615 4670371 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=3331/tid=3335] ppid=3329 vsize=2059496 CPUtime=0.48 cores=0-31
/proc/3331/task/3335/stat : 3335 (claspmt) R 3329 3331 3301 0 -1 4202560 1446 0 0 0 40 8 0 0 16 0 32 0 35835341 2108923904 37773 270582939648 4194304 4964800 140734428225840 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=3331/tid=3336] ppid=3329 vsize=2059496 CPUtime=0.46 cores=0-31
/proc/3331/task/3336/stat : 3336 (claspmt) R 3329 3331 3301 0 -1 4202560 1221 0 0 0 39 7 0 0 16 0 32 0 35835341 2108923904 37773 270582939648 4194304 4964800 140734428225840 18446744073709551615 4334309 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=3331/tid=3337] ppid=3329 vsize=2059496 CPUtime=0.65 cores=0-31
/proc/3331/task/3337/stat : 3337 (claspmt) R 3329 3331 3301 0 -1 4202560 1253 0 0 0 57 8 0 0 18 0 32 0 35835341 2108923904 37773 270582939648 4194304 4964800 140734428225840 18446744073709551615 4670403 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=3331/tid=3338] ppid=3329 vsize=2059496 CPUtime=0.5 cores=0-31
/proc/3331/task/3338/stat : 3338 (claspmt) R 3329 3331 3301 0 -1 4202560 1301 0 0 0 40 10 0 0 16 0 32 0 35835341 2108923904 37774 270582939648 4194304 4964800 140734428225840 18446744073709551615 4670112 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=3331/tid=3372] ppid=3329 vsize=2059496 CPUtime=0.48 cores=0-31
/proc/3331/task/3372/stat : 3372 (claspmt) R 3329 3331 3301 0 -1 4202560 1389 0 0 0 39 9 0 0 16 0 32 0 35835341 2108923904 37774 270582939648 4194304 4964800 140734428225840 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=3331/tid=3373] ppid=3329 vsize=2059496 CPUtime=0.48 cores=0-31
/proc/3331/task/3373/stat : 3373 (claspmt) R 3329 3331 3301 0 -1 4202560 1166 0 0 0 39 9 0 0 16 0 32 0 35835341 2108923904 37774 270582939648 4194304 4964800 140734428225840 18446744073709551615 4668737 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=3331/tid=3374] ppid=3329 vsize=2059496 CPUtime=0.48 cores=0-31
/proc/3331/task/3374/stat : 3374 (claspmt) R 3329 3331 3301 0 -1 4202560 1060 0 0 0 40 8 0 0 16 0 32 0 35835341 2108923904 37774 270582939648 4194304 4964800 140734428225840 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=3331/tid=3375] ppid=3329 vsize=2059496 CPUtime=0.49 cores=0-31
/proc/3331/task/3375/stat : 3375 (claspmt) R 3329 3331 3301 0 -1 4202560 1383 0 0 0 39 10 0 0 16 0 32 0 35835341 2108923904 37774 270582939648 4194304 4964800 140734428225840 18446744073709551615 4668698 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=3331/tid=3376] ppid=3329 vsize=2059496 CPUtime=0.48 cores=0-31
/proc/3331/task/3376/stat : 3376 (claspmt) R 3329 3331 3301 0 -1 4202560 1422 0 0 0 40 8 0 0 16 0 32 0 35835341 2108923904 37774 270582939648 4194304 4964800 140734428225840 18446744073709551615 4668737 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=3331/tid=3377] ppid=3329 vsize=2059496 CPUtime=0.48 cores=0-31
/proc/3331/task/3377/stat : 3377 (claspmt) R 3329 3331 3301 0 -1 4202560 1147 0 0 0 40 8 0 0 16 0 32 0 35835341 2108923904 37774 270582939648 4194304 4964800 140734428225840 18446744073709551615 4670437 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=3331/tid=3378] ppid=3329 vsize=2059496 CPUtime=0.63 cores=0-31
/proc/3331/task/3378/stat : 3378 (claspmt) R 3329 3331 3301 0 -1 4202560 1297 0 0 0 54 9 0 0 18 0 32 0 35835341 2108923904 37774 270582939648 4194304 4964800 140734428225840 18446744073709551615 4668900 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=3331/tid=3379] ppid=3329 vsize=2059496 CPUtime=0.46 cores=0-31
/proc/3331/task/3379/stat : 3379 (claspmt) R 3329 3331 3301 0 -1 4202560 1442 0 0 0 40 6 0 0 16 0 32 0 35835341 2108923904 37774 270582939648 4194304 4964800 140734428225840 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=3331/tid=3380] ppid=3329 vsize=2059496 CPUtime=0.49 cores=0-31
/proc/3331/task/3380/stat : 3380 (claspmt) R 3329 3331 3301 0 -1 4202560 1284 0 0 0 41 8 0 0 16 0 32 0 35835341 2108923904 37774 270582939648 4194304 4964800 140734428225840 18446744073709551615 4670097 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=3331/tid=3381] ppid=3329 vsize=2059496 CPUtime=0.48 cores=0-31
/proc/3331/task/3381/stat : 3381 (claspmt) R 3329 3331 3301 0 -1 4202560 1137 0 0 0 39 9 0 0 16 0 32 0 35835341 2108923904 37774 270582939648 4194304 4964800 140734428225840 18446744073709551615 4668773 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=3331/tid=3382] ppid=3329 vsize=2059496 CPUtime=0.48 cores=0-31
/proc/3331/task/3382/stat : 3382 (claspmt) R 3329 3331 3301 0 -1 4202560 1145 0 0 0 39 9 0 0 16 0 32 0 35835341 2108923904 37774 270582939648 4194304 4964800 140734428225840 18446744073709551615 4684718 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=3331/tid=3383] ppid=3329 vsize=2059496 CPUtime=0.47 cores=0-31
/proc/3331/task/3383/stat : 3383 (claspmt) R 3329 3331 3301 0 -1 4202560 1447 0 0 0 39 8 0 0 16 0 32 0 35835341 2108923904 37775 270582939648 4194304 4964800 140734428225840 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=3331/tid=3384] ppid=3329 vsize=2059496 CPUtime=0.49 cores=0-31
/proc/3331/task/3384/stat : 3384 (claspmt) R 3329 3331 3301 0 -1 4202560 1419 0 0 0 40 9 0 0 16 0 32 0 35835341 2108923904 37775 270582939648 4194304 4964800 140734428225840 18446744073709551615 4321128 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=3331/tid=3385] ppid=3329 vsize=2059496 CPUtime=0.46 cores=0-31
/proc/3331/task/3385/stat : 3385 (claspmt) R 3329 3331 3301 0 -1 4202560 1160 0 0 0 40 6 0 0 16 0 32 0 35835342 2108923904 37776 270582939648 4194304 4964800 140734428225840 18446744073709551615 4670674 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=3331/tid=3386] ppid=3329 vsize=2059496 CPUtime=0.58 cores=0-31
/proc/3331/task/3386/stat : 3386 (claspmt) R 3329 3331 3301 0 -1 4202560 1304 0 0 0 50 8 0 0 18 0 32 0 35835342 2108923904 37776 270582939648 4194304 4964800 140734428225840 18446744073709551615 4668773 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=3331/tid=3387] ppid=3329 vsize=2059496 CPUtime=0.49 cores=0-31
/proc/3331/task/3387/stat : 3387 (claspmt) R 3329 3331 3301 0 -1 4202560 1430 0 0 0 40 9 0 0 16 0 32 0 35835342 2108923904 37777 270582939648 4194304 4964800 140734428225840 18446744073709551615 4669280 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=3331/tid=3388] ppid=3329 vsize=2059496 CPUtime=0.5 cores=0-31
/proc/3331/task/3388/stat : 3388 (claspmt) R 3329 3331 3301 0 -1 4202560 1409 0 0 0 40 10 0 0 16 0 32 0 35835342 2108923904 37778 270582939648 4194304 4964800 140734428225840 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=3331/tid=3389] ppid=3329 vsize=2059496 CPUtime=0.44 cores=0-31
/proc/3331/task/3389/stat : 3389 (claspmt) R 3329 3331 3301 0 -1 4202560 1178 0 0 0 39 5 0 0 16 0 32 0 35835342 2108923904 37778 270582939648 4194304 4964800 140734428225840 18446744073709551615 258650623178 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=3331/tid=3390] ppid=3329 vsize=2059496 CPUtime=0.49 cores=0-31
/proc/3331/task/3390/stat : 3390 (claspmt) R 3329 3331 3301 0 -1 4202560 1146 0 0 0 40 9 0 0 16 0 32 0 35835342 2108923904 37779 270582939648 4194304 4964800 140734428225840 18446744073709551615 4669131 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=3331/tid=3391] ppid=3329 vsize=2059496 CPUtime=0.49 cores=0-31
/proc/3331/task/3391/stat : 3391 (claspmt) R 3329 3331 3301 0 -1 4202560 1455 0 0 0 40 9 0 0 16 0 32 0 35835342 2108923904 37779 270582939648 4194304 4964800 140734428225840 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=3331/tid=3392] ppid=3329 vsize=2059496 CPUtime=0.49 cores=0-31
/proc/3331/task/3392/stat : 3392 (claspmt) R 3329 3331 3301 0 -1 4202560 1411 0 0 0 40 9 0 0 16 0 32 0 35835342 2108923904 37779 270582939648 4194304 4964800 140734428225840 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=3331/tid=3393] ppid=3329 vsize=2059496 CPUtime=0.47 cores=0-31
/proc/3331/task/3393/stat : 3393 (claspmt) R 3329 3331 3301 0 -1 4202560 1117 0 0 0 39 8 0 0 16 0 32 0 35835342 2108923904 37780 270582939648 4194304 4964800 140734428225840 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=3331/tid=3394] ppid=3329 vsize=2059496 CPUtime=0.49 cores=0-31
/proc/3331/task/3394/stat : 3394 (claspmt) R 3329 3331 3301 0 -1 4202560 1253 0 0 0 41 8 0 0 18 0 32 0 35835342 2108923904 37781 270582939648 4194304 4964800 140734428225840 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=3331/tid=3395] ppid=3329 vsize=2059496 CPUtime=0.48 cores=0-31
/proc/3331/task/3395/stat : 3395 (claspmt) R 3329 3331 3301 0 -1 4202560 1410 0 0 0 39 9 0 0 16 0 32 0 35835342 2108923904 37782 270582939648 4194304 4964800 140734428225840 18446744073709551615 4627854 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=3331/tid=3396] ppid=3329 vsize=2059496 CPUtime=0.46 cores=0-31
/proc/3331/task/3396/stat : 3396 (claspmt) R 3329 3331 3301 0 -1 4202560 1265 0 0 0 40 6 0 0 16 0 32 0 35835342 2108923904 37782 270582939648 4194304 4964800 140734428225840 18446744073709551615 4320944 0 0 4096 18946 0 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 16.57
Current children cumulated vsize (KiB) 2059496

[startup+3.10204 s]
/proc/loadavg: 29.64 31.58 31.88 33/445 3396
/proc/meminfo: memFree=262002164/264257624 swapFree=67111528/67111528
[pid=3331] ppid=3329 vsize=2061432 CPUtime=67.32 cores=0-31
/proc/3331/stat : 3331 (claspmt) R 3329 3331 3301 0 -1 4202496 61525 0 0 0 6409 323 0 0 18 0 32 0 35835280 2110906368 53110 270582939648 4194304 4964800 140734428225840 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/3331/statm: 515358 53110 461 189 0 509707 0
[pid=3331/tid=3333] ppid=3329 vsize=2061432 CPUtime=2.06 cores=0-31
/proc/3331/task/3333/stat : 3333 (claspmt) R 3329 3331 3301 0 -1 4202560 1466 0 0 0 196 10 0 0 18 0 32 0 35835341 2110906368 53110 270582939648 4194304 4964800 140734428225840 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=3331/tid=3334] ppid=3329 vsize=2061432 CPUtime=2.03 cores=0-31
/proc/3331/task/3334/stat : 3334 (claspmt) R 3329 3331 3301 0 -1 4202560 2089 0 0 0 193 10 0 0 18 0 32 0 35835341 2110906368 53110 270582939648 4194304 4964800 140734428225840 18446744073709551615 4668728 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=3331/tid=3335] ppid=3329 vsize=2061432 CPUtime=2.06 cores=0-31
/proc/3331/task/3335/stat : 3335 (claspmt) R 3329 3331 3301 0 -1 4202560 2012 0 0 0 196 10 0 0 18 0 32 0 35835341 2110906368 53110 270582939648 4194304 4964800 140734428225840 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=3331/tid=3336] ppid=3329 vsize=2061432 CPUtime=2.04 cores=0-31
/proc/3331/task/3336/stat : 3336 (claspmt) R 3329 3331 3301 0 -1 4202560 1718 0 0 0 196 8 0 0 18 0 32 0 35835341 2110906368 53110 270582939648 4194304 4964800 140734428225840 18446744073709551615 4362329 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=3331/tid=3337] ppid=3329 vsize=2061432 CPUtime=2.25 cores=0-31
/proc/3331/task/3337/stat : 3337 (claspmt) R 3329 3331 3301 0 -1 4202560 1297 0 0 0 217 8 0 0 21 0 32 0 35835341 2110906368 53110 270582939648 4194304 4964800 140734428225840 18446744073709551615 4668987 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=3331/tid=3338] ppid=3329 vsize=2061432 CPUtime=2.09 cores=0-31
/proc/3331/task/3338/stat : 3338 (claspmt) R 3329 3331 3301 0 -1 4202560 1822 0 0 0 197 12 0 0 18 0 32 0 35835341 2110906368 53111 270582939648 4194304 4964800 140734428225840 18446744073709551615 4361114 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=3331/tid=3372] ppid=3329 vsize=2061432 CPUtime=2.06 cores=0-31
/proc/3331/task/3372/stat : 3372 (claspmt) R 3329 3331 3301 0 -1 4202560 2100 0 0 0 195 11 0 0 18 0 32 0 35835341 2110906368 53111 270582939648 4194304 4964800 140734428225840 18446744073709551615 4669486 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=3331/tid=3373] ppid=3329 vsize=2061432 CPUtime=2.07 cores=0-31
/proc/3331/task/3373/stat : 3373 (claspmt) R 3329 3331 3301 0 -1 4202560 1595 0 0 0 197 10 0 0 18 0 32 0 35835341 2110906368 53111 270582939648 4194304 4964800 140734428225840 18446744073709551615 4321054 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=3331/tid=3374] ppid=3329 vsize=2061432 CPUtime=2.06 cores=0-31
/proc/3331/task/3374/stat : 3374 (claspmt) R 3329 3331 3301 0 -1 4202560 1461 0 0 0 197 9 0 0 18 0 32 0 35835341 2110906368 53111 270582939648 4194304 4964800 140734428225840 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=3331/tid=3375] ppid=3329 vsize=2061432 CPUtime=2.07 cores=0-31
/proc/3331/task/3375/stat : 3375 (claspmt) R 3329 3331 3301 0 -1 4202560 2262 0 0 0 194 13 0 0 18 0 32 0 35835341 2110906368 53111 270582939648 4194304 4964800 140734428225840 18446744073709551615 4670328 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=3331/tid=3376] ppid=3329 vsize=2061432 CPUtime=2.07 cores=0-31
/proc/3331/task/3376/stat : 3376 (claspmt) R 3329 3331 3301 0 -1 4202560 1896 0 0 0 197 10 0 0 18 0 32 0 35835341 2110906368 53111 270582939648 4194304 4964800 140734428225840 18446744073709551615 4668753 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=3331/tid=3377] ppid=3329 vsize=2061432 CPUtime=2.07 cores=0-31
/proc/3331/task/3377/stat : 3377 (claspmt) R 3329 3331 3301 0 -1 4202560 1644 0 0 0 198 9 0 0 18 0 32 0 35835341 2110906368 53111 270582939648 4194304 4964800 140734428225840 18446744073709551615 4669574 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=3331/tid=3378] ppid=3329 vsize=2061432 CPUtime=2.23 cores=0-31
/proc/3331/task/3378/stat : 3378 (claspmt) R 3329 3331 3301 0 -1 4202560 1343 0 0 0 214 9 0 0 21 0 32 0 35835341 2110906368 53111 270582939648 4194304 4964800 140734428225840 18446744073709551615 4342186 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=3331/tid=3379] ppid=3329 vsize=2061432 CPUtime=2.05 cores=0-31
/proc/3331/task/3379/stat : 3379 (claspmt) R 3329 3331 3301 0 -1 4202560 1845 0 0 0 197 8 0 0 18 0 32 0 35835341 2110906368 53111 270582939648 4194304 4964800 140734428225840 18446744073709551615 4668712 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=3331/tid=3380] ppid=3329 vsize=2061432 CPUtime=2.06 cores=0-31
/proc/3331/task/3380/stat : 3380 (claspmt) R 3329 3331 3301 0 -1 4202560 1934 0 0 0 196 10 0 0 18 0 32 0 35835341 2110906368 53111 270582939648 4194304 4964800 140734428225840 18446744073709551615 4670273 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=3331/tid=3381] ppid=3329 vsize=2061432 CPUtime=2.06 cores=0-31
/proc/3331/task/3381/stat : 3381 (claspmt) R 3329 3331 3301 0 -1 4202560 1551 0 0 0 196 10 0 0 18 0 32 0 35835341 2110906368 53111 270582939648 4194304 4964800 140734428225840 18446744073709551615 4660585 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=3331/tid=3382] ppid=3329 vsize=2061432 CPUtime=2.07 cores=0-31
/proc/3331/task/3382/stat : 3382 (claspmt) R 3329 3331 3301 0 -1 4202560 1594 0 0 0 196 11 0 0 18 0 32 0 35835341 2110906368 53111 270582939648 4194304 4964800 140734428225840 18446744073709551615 4682109 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=3331/tid=3383] ppid=3329 vsize=2061432 CPUtime=2.06 cores=0-31
/proc/3331/task/3383/stat : 3383 (claspmt) R 3329 3331 3301 0 -1 4202560 2060 0 0 0 196 10 0 0 18 0 32 0 35835341 2110906368 53111 270582939648 4194304 4964800 140734428225840 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=3331/tid=3384] ppid=3329 vsize=2061432 CPUtime=2.08 cores=0-31
/proc/3331/task/3384/stat : 3384 (claspmt) R 3329 3331 3301 0 -1 4202560 1945 0 0 0 197 11 0 0 18 0 32 0 35835341 2110906368 53113 270582939648 4194304 4964800 140734428225840 18446744073709551615 4342199 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=3331/tid=3385] ppid=3329 vsize=2061432 CPUtime=2.04 cores=0-31
/proc/3331/task/3385/stat : 3385 (claspmt) R 3329 3331 3301 0 -1 4202560 1672 0 0 0 196 8 0 0 18 0 32 0 35835342 2110906368 53113 270582939648 4194304 4964800 140734428225840 18446744073709551615 4668681 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=3331/tid=3386] ppid=3329 vsize=2061432 CPUtime=2.18 cores=0-31
/proc/3331/task/3386/stat : 3386 (claspmt) R 3329 3331 3301 0 -1 4202560 1340 0 0 0 210 8 0 0 21 0 32 0 35835342 2110906368 53113 270582939648 4194304 4964800 140734428225840 18446744073709551615 4669011 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=3331/tid=3387] ppid=3329 vsize=2061432 CPUtime=2.08 cores=0-31
/proc/3331/task/3387/stat : 3387 (claspmt) R 3329 3331 3301 0 -1 4202560 1766 0 0 0 198 10 0 0 18 0 32 0 35835342 2110906368 53113 270582939648 4194304 4964800 140734428225840 18446744073709551615 4669091 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=3331/tid=3388] ppid=3329 vsize=2061432 CPUtime=2.08 cores=0-31
/proc/3331/task/3388/stat : 3388 (claspmt) R 3329 3331 3301 0 -1 4202560 2192 0 0 0 195 13 0 0 18 0 32 0 35835342 2110906368 53114 270582939648 4194304 4964800 140734428225840 18446744073709551615 4670349 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=3331/tid=3389] ppid=3329 vsize=2061432 CPUtime=2.02 cores=0-31
/proc/3331/task/3389/stat : 3389 (claspmt) R 3329 3331 3301 0 -1 4202560 1564 0 0 0 195 7 0 0 18 0 32 0 35835342 2110906368 53114 270582939648 4194304 4964800 140734428225840 18446744073709551615 4379983 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=3331/tid=3390] ppid=3329 vsize=2061432 CPUtime=2.08 cores=0-31
/proc/3331/task/3390/stat : 3390 (claspmt) R 3329 3331 3301 0 -1 4202560 1656 0 0 0 197 11 0 0 18 0 32 0 35835342 2110906368 53114 270582939648 4194304 4964800 140734428225840 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=3331/tid=3391] ppid=3329 vsize=2061432 CPUtime=2.07 cores=0-31
/proc/3331/task/3391/stat : 3391 (claspmt) R 3329 3331 3301 0 -1 4202560 2426 0 0 0 195 12 0 0 18 0 32 0 35835342 2110906368 53114 270582939648 4194304 4964800 140734428225840 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=3331/tid=3392] ppid=3329 vsize=2061432 CPUtime=2.08 cores=0-31
/proc/3331/task/3392/stat : 3392 (claspmt) R 3329 3331 3301 0 -1 4202560 1894 0 0 0 198 10 0 0 18 0 32 0 35835342 2110906368 53114 270582939648 4194304 4964800 140734428225840 18446744073709551615 4653324 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=3331/tid=3393] ppid=3329 vsize=2061432 CPUtime=2.06 cores=0-31
/proc/3331/task/3393/stat : 3393 (claspmt) R 3329 3331 3301 0 -1 4202560 1631 0 0 0 196 10 0 0 18 0 32 0 35835342 2110906368 53114 270582939648 4194304 4964800 140734428225840 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=3331/tid=3394] ppid=3329 vsize=2061432 CPUtime=2.09 cores=0-31
/proc/3331/task/3394/stat : 3394 (claspmt) R 3329 3331 3301 0 -1 4202560 1285 0 0 0 201 8 0 0 20 0 32 0 35835342 2110906368 53114 270582939648 4194304 4964800 140734428225840 18446744073709551615 4668920 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=3331/tid=3395] ppid=3329 vsize=2061432 CPUtime=2.08 cores=0-31

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

[pid=3331/tid=3338] ppid=3329 vsize=4031464 CPUtime=4960 cores=0-31
/proc/3331/task/3338/stat : 3338 (claspmt) R 3329 3331 3301 0 -1 4202560 18275 0 0 0 495929 71 0 0 25 0 32 0 35835341 4128219136 831873 270582939648 4194304 4964800 140734428225840 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=3331/tid=3372] ppid=3329 vsize=4031464 CPUtime=4946.94 cores=0-31
/proc/3331/task/3372/stat : 3372 (claspmt) R 3329 3331 3301 0 -1 4202560 63849 0 0 0 494418 276 0 0 25 0 32 0 35835341 4128219136 831873 270582939648 4194304 4964800 140734428225840 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=3331/tid=3373] ppid=3329 vsize=4031464 CPUtime=4959.76 cores=0-31
/proc/3331/task/3373/stat : 3373 (claspmt) R 3329 3331 3301 0 -1 4202560 16016 0 0 0 495904 72 0 0 25 0 32 0 35835341 4128219136 831873 270582939648 4194304 4964800 140734428225840 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=3331/tid=3374] ppid=3329 vsize=4031464 CPUtime=4959.88 cores=0-31
/proc/3331/task/3374/stat : 3374 (claspmt) R 3329 3331 3301 0 -1 4202560 18372 0 0 0 495932 56 0 0 25 0 32 0 35835341 4128219136 831873 270582939648 4194304 4964800 140734428225840 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=3331/tid=3375] ppid=3329 vsize=4031464 CPUtime=4960.04 cores=0-31
/proc/3331/task/3375/stat : 3375 (claspmt) R 3329 3331 3301 0 -1 4202560 30517 0 0 0 495903 101 0 0 25 0 32 0 35835341 4128219136 831873 270582939648 4194304 4964800 140734428225840 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=3331/tid=3376] ppid=3329 vsize=4031464 CPUtime=4960.02 cores=0-31
/proc/3331/task/3376/stat : 3376 (claspmt) R 3329 3331 3301 0 -1 4202560 17600 0 0 0 495932 70 0 0 25 0 32 0 35835341 4128219136 831873 270582939648 4194304 4964800 140734428225840 18446744073709551615 4668698 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=3331/tid=3377] ppid=3329 vsize=4031464 CPUtime=4929.66 cores=0-31
/proc/3331/task/3377/stat : 3377 (claspmt) R 3329 3331 3301 0 -1 4202560 27333 0 0 0 492871 95 0 0 25 0 32 0 35835341 4128219136 831873 270582939648 4194304 4964800 140734428225840 18446744073709551615 4320951 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=3331/tid=3378] ppid=3329 vsize=4031464 CPUtime=4960.22 cores=0-31
/proc/3331/task/3378/stat : 3378 (claspmt) R 3329 3331 3301 0 -1 4202560 22732 0 0 0 495935 87 0 0 25 0 32 0 35835341 4128219136 831873 270582939648 4194304 4964800 140734428225840 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=3331/tid=3379] ppid=3329 vsize=4031464 CPUtime=4954.29 cores=0-31
/proc/3331/task/3379/stat : 3379 (claspmt) R 3329 3331 3301 0 -1 4202560 17967 0 0 0 495354 75 0 0 25 0 32 0 35835341 4128219136 831873 270582939648 4194304 4964800 140734428225840 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=3331/tid=3380] ppid=3329 vsize=4031464 CPUtime=4958.26 cores=0-31
/proc/3331/task/3380/stat : 3380 (claspmt) R 3329 3331 3301 0 -1 4202560 64012 0 0 0 495537 289 0 0 25 0 32 0 35835341 4128219136 831873 270582939648 4194304 4964800 140734428225840 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=3331/tid=3381] ppid=3329 vsize=4031464 CPUtime=4959.97 cores=0-31
/proc/3331/task/3381/stat : 3381 (claspmt) R 3329 3331 3301 0 -1 4202560 15165 0 0 0 495920 77 0 0 25 0 32 0 35835341 4128219136 831873 270582939648 4194304 4964800 140734428225840 18446744073709551615 4670323 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=3331/tid=3382] ppid=3329 vsize=4031464 CPUtime=4958.11 cores=0-31
/proc/3331/task/3382/stat : 3382 (claspmt) R 3329 3331 3301 0 -1 4202560 18380 0 0 0 495748 63 0 0 25 0 32 0 35835341 4128219136 831873 270582939648 4194304 4964800 140734428225840 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=3331/tid=3383] ppid=3329 vsize=4031464 CPUtime=4959.12 cores=0-31
/proc/3331/task/3383/stat : 3383 (claspmt) R 3329 3331 3301 0 -1 4202560 35730 0 0 0 495807 105 0 0 25 0 32 0 35835341 4128219136 831873 270582939648 4194304 4964800 140734428225840 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=3331/tid=3384] ppid=3329 vsize=4031464 CPUtime=4960.04 cores=0-31
/proc/3331/task/3384/stat : 3384 (claspmt) R 3329 3331 3301 0 -1 4202560 17387 0 0 0 495939 65 0 0 25 0 32 0 35835341 4128219136 831873 270582939648 4194304 4964800 140734428225840 18446744073709551615 4669882 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=3331/tid=3385] ppid=3329 vsize=4031464 CPUtime=4960.02 cores=0-31
/proc/3331/task/3385/stat : 3385 (claspmt) R 3329 3331 3301 0 -1 4202560 24952 0 0 0 495908 94 0 0 25 0 32 0 35835342 4128219136 831873 270582939648 4194304 4964800 140734428225840 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=3331/tid=3386] ppid=3329 vsize=4031464 CPUtime=4945.1 cores=0-31
/proc/3331/task/3386/stat : 3386 (claspmt) R 3329 3331 3301 0 -1 4202560 23639 0 0 0 494408 102 0 0 25 0 32 0 35835342 4128219136 831873 270582939648 4194304 4964800 140734428225840 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=3331/tid=3387] ppid=3329 vsize=4031464 CPUtime=4959.98 cores=0-31
/proc/3331/task/3387/stat : 3387 (claspmt) R 3329 3331 3301 0 -1 4202560 16938 0 0 0 495932 66 0 0 25 0 32 0 35835342 4128219136 831873 270582939648 4194304 4964800 140734428225840 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=3331/tid=3388] ppid=3329 vsize=4031464 CPUtime=4960.03 cores=0-31
/proc/3331/task/3388/stat : 3388 (claspmt) R 3329 3331 3301 0 -1 4202560 64780 0 0 0 495722 281 0 0 25 0 32 0 35835342 4128219136 831873 270582939648 4194304 4964800 140734428225840 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=3331/tid=3389] ppid=3329 vsize=4031464 CPUtime=4952.78 cores=0-31
/proc/3331/task/3389/stat : 3389 (claspmt) R 3329 3331 3301 0 -1 4202560 14466 0 0 0 495205 73 0 0 25 0 32 0 35835342 4128219136 831873 270582939648 4194304 4964800 140734428225840 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=3331/tid=3390] ppid=3329 vsize=4031464 CPUtime=4951.35 cores=0-31
/proc/3331/task/3390/stat : 3390 (claspmt) R 3329 3331 3301 0 -1 4202560 20429 0 0 0 495073 62 0 0 24 0 32 0 35835342 4128219136 831873 270582939648 4194304 4964800 140734428225840 18446744073709551615 4668709 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=3331/tid=3391] ppid=3329 vsize=4031464 CPUtime=4959.89 cores=0-31
/proc/3331/task/3391/stat : 3391 (claspmt) R 3329 3331 3301 0 -1 4202560 31343 0 0 0 495899 90 0 0 25 0 32 0 35835342 4128219136 831873 270582939648 4194304 4964800 140734428225840 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=3331/tid=3392] ppid=3329 vsize=4031464 CPUtime=4960.01 cores=0-31
/proc/3331/task/3392/stat : 3392 (claspmt) R 3329 3331 3301 0 -1 4202560 16160 0 0 0 495935 66 0 0 25 0 32 0 35835342 4128219136 831873 270582939648 4194304 4964800 140734428225840 18446744073709551615 4653341 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=3331/tid=3393] ppid=3329 vsize=4031464 CPUtime=4960.01 cores=0-31
/proc/3331/task/3393/stat : 3393 (claspmt) R 3329 3331 3301 0 -1 4202560 27652 0 0 0 495895 106 0 0 25 0 32 0 35835342 4128219136 831873 270582939648 4194304 4964800 140734428225840 18446744073709551615 4669476 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=3331/tid=3394] ppid=3329 vsize=4031464 CPUtime=4960.08 cores=0-31
/proc/3331/task/3394/stat : 3394 (claspmt) R 3329 3331 3301 0 -1 4202560 24600 0 0 0 495916 92 0 0 25 0 32 0 35835342 4128219136 831873 270582939648 4194304 4964800 140734428225840 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=3331/tid=3395] ppid=3329 vsize=4031464 CPUtime=4959.93 cores=0-31
/proc/3331/task/3395/stat : 3395 (claspmt) R 3329 3331 3301 0 -1 4202560 15508 0 0 0 495925 68 0 0 25 0 32 0 35835342 4128219136 831873 270582939648 4194304 4964800 140734428225840 18446744073709551615 4644900 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=3331/tid=3396] ppid=3329 vsize=4031464 CPUtime=4942.4 cores=0-31
/proc/3331/task/3396/stat : 3396 (claspmt) R 3329 3331 3301 0 -1 4202560 60039 0 0 0 493977 263 0 0 25 0 32 0 35835342 4128219136 831873 270582939648 4194304 4964800 140734428225840 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 158576
Current children cumulated vsize (KiB) 4031464



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+5006.9 s]
/proc/loadavg: 32.26 32.22 32.13 33/444 3566
/proc/meminfo: memFree=258842328/264257624 swapFree=67111528/67111528
[pid=3331] ppid=3329 vsize=4031464 CPUtime=160002 cores=0-31
/proc/3331/stat : 3331 (claspmt) R 3329 3331 3301 0 -1 4202496 865362 0 0 0 15996881 3354 0 0 25 0 32 0 35835280 4128219136 833095 270582939648 4194304 4964800 140734428225840 18446744073709551615 4669288 0 0 4096 18946 18446744073709551615 0 0 17 1 0 0 0
/proc/3331/statm: 1007866 833095 463 189 0 1002215 0
[pid=3331/tid=3333] ppid=3329 vsize=4031464 CPUtime=5004.5 cores=0-31
/proc/3331/task/3333/stat : 3333 (claspmt) R 3329 3331 3301 0 -1 4202560 15996 0 0 0 500402 48 0 0 25 0 32 0 35835341 4128219136 833095 270582939648 4194304 4964800 140734428225840 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=3331/tid=3334] ppid=3329 vsize=4031464 CPUtime=4984.02 cores=0-31
/proc/3331/task/3334/stat : 3334 (claspmt) R 3329 3331 3301 0 -1 4202560 34033 0 0 0 498307 95 0 0 25 0 32 0 35835341 4128219136 833095 270582939648 4194304 4964800 140734428225840 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=3331/tid=3335] ppid=3329 vsize=4031464 CPUtime=4982.91 cores=0-31
/proc/3331/task/3335/stat : 3335 (claspmt) R 3329 3331 3301 0 -1 4202560 18140 0 0 0 498221 70 0 0 25 0 32 0 35835341 4128219136 833095 270582939648 4194304 4964800 140734428225840 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=3331/tid=3336] ppid=3329 vsize=4031464 CPUtime=5004.61 cores=0-31
/proc/3331/task/3336/stat : 3336 (claspmt) R 3329 3331 3301 0 -1 4202560 24762 0 0 0 500380 81 0 0 25 0 32 0 35835341 4128219136 833095 270582939648 4194304 4964800 140734428225840 18446744073709551615 4670328 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=3331/tid=3337] ppid=3329 vsize=4031464 CPUtime=5004.82 cores=0-31
/proc/3331/task/3337/stat : 3337 (claspmt) R 3329 3331 3301 0 -1 4202560 25135 0 0 0 500387 95 0 0 25 0 32 0 35835341 4128219136 833095 270582939648 4194304 4964800 140734428225840 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=3331/tid=3338] ppid=3329 vsize=4031464 CPUtime=5004.61 cores=0-31
/proc/3331/task/3338/stat : 3338 (claspmt) R 3329 3331 3301 0 -1 4202560 18279 0 0 0 500390 71 0 0 25 0 32 0 35835341 4128219136 833095 270582939648 4194304 4964800 140734428225840 18446744073709551615 4342186 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=3331/tid=3372] ppid=3329 vsize=4031464 CPUtime=4991.56 cores=0-31
/proc/3331/task/3372/stat : 3372 (claspmt) R 3329 3331 3301 0 -1 4202560 63911 0 0 0 498880 276 0 0 25 0 32 0 35835341 4128219136 833095 270582939648 4194304 4964800 140734428225840 18446744073709551615 4668712 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=3331/tid=3373] ppid=3329 vsize=4031464 CPUtime=5004.35 cores=0-31
/proc/3331/task/3373/stat : 3373 (claspmt) R 3329 3331 3301 0 -1 4202560 16020 0 0 0 500363 72 0 0 25 0 32 0 35835341 4128219136 833095 270582939648 4194304 4964800 140734428225840 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=3331/tid=3374] ppid=3329 vsize=4031464 CPUtime=5004.48 cores=0-31
/proc/3331/task/3374/stat : 3374 (claspmt) R 3329 3331 3301 0 -1 4202560 18489 0 0 0 500392 56 0 0 25 0 32 0 35835341 4128219136 833095 270582939648 4194304 4964800 140734428225840 18446744073709551615 4660495 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=3331/tid=3375] ppid=3329 vsize=4031464 CPUtime=5004.66 cores=0-31
/proc/3331/task/3375/stat : 3375 (claspmt) R 3329 3331 3301 0 -1 4202560 30528 0 0 0 500364 102 0 0 25 0 32 0 35835341 4128219136 833095 270582939648 4194304 4964800 140734428225840 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=3331/tid=3376] ppid=3329 vsize=4031464 CPUtime=5004.63 cores=0-31
/proc/3331/task/3376/stat : 3376 (claspmt) R 3329 3331 3301 0 -1 4202560 17642 0 0 0 500393 70 0 0 25 0 32 0 35835341 4128219136 833095 270582939648 4194304 4964800 140734428225840 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=3331/tid=3377] ppid=3329 vsize=4031464 CPUtime=4974.28 cores=0-31
/proc/3331/task/3377/stat : 3377 (claspmt) R 3329 3331 3301 0 -1 4202560 27333 0 0 0 497333 95 0 0 25 0 32 0 35835341 4128219136 833095 270582939648 4194304 4964800 140734428225840 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=3331/tid=3378] ppid=3329 vsize=4031464 CPUtime=5004.83 cores=0-31
/proc/3331/task/3378/stat : 3378 (claspmt) R 3329 3331 3301 0 -1 4202560 22738 0 0 0 500396 87 0 0 25 0 32 0 35835341 4128219136 833095 270582939648 4194304 4964800 140734428225840 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=3331/tid=3379] ppid=3329 vsize=4031464 CPUtime=4998.9 cores=0-31
/proc/3331/task/3379/stat : 3379 (claspmt) R 3329 3331 3301 0 -1 4202560 17997 0 0 0 499815 75 0 0 25 0 32 0 35835341 4128219136 833095 270582939648 4194304 4964800 140734428225840 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=3331/tid=3380] ppid=3329 vsize=4031464 CPUtime=5002.85 cores=0-31
/proc/3331/task/3380/stat : 3380 (claspmt) R 3329 3331 3301 0 -1 4202560 64090 0 0 0 499996 289 0 0 25 0 32 0 35835341 4128219136 833095 270582939648 4194304 4964800 140734428225840 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=3331/tid=3381] ppid=3329 vsize=4031464 CPUtime=5004.58 cores=0-31
/proc/3331/task/3381/stat : 3381 (claspmt) R 3329 3331 3301 0 -1 4202560 15165 0 0 0 500381 77 0 0 25 0 32 0 35835341 4128219136 833095 270582939648 4194304 4964800 140734428225840 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=3331/tid=3382] ppid=3329 vsize=4031464 CPUtime=5002.71 cores=0-31
/proc/3331/task/3382/stat : 3382 (claspmt) R 3329 3331 3301 0 -1 4202560 18476 0 0 0 500207 64 0 0 25 0 32 0 35835341 4128219136 833095 270582939648 4194304 4964800 140734428225840 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=3331/tid=3383] ppid=3329 vsize=4031464 CPUtime=5003.71 cores=0-31
/proc/3331/task/3383/stat : 3383 (claspmt) R 3329 3331 3301 0 -1 4202560 35735 0 0 0 500265 106 0 0 25 0 32 0 35835341 4128219136 833095 270582939648 4194304 4964800 140734428225840 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=3331/tid=3384] ppid=3329 vsize=4031464 CPUtime=5004.65 cores=0-31
/proc/3331/task/3384/stat : 3384 (claspmt) R 3329 3331 3301 0 -1 4202560 17427 0 0 0 500400 65 0 0 25 0 32 0 35835341 4128219136 833095 270582939648 4194304 4964800 140734428225840 18446744073709551615 4660157 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=3331/tid=3385] ppid=3329 vsize=4031464 CPUtime=5004.63 cores=0-31
/proc/3331/task/3385/stat : 3385 (claspmt) R 3329 3331 3301 0 -1 4202560 24969 0 0 0 500369 94 0 0 25 0 32 0 35835342 4128219136 833095 270582939648 4194304 4964800 140734428225840 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=3331/tid=3386] ppid=3329 vsize=4031464 CPUtime=4988.44 cores=0-31
/proc/3331/task/3386/stat : 3386 (claspmt) R 3329 3331 3301 0 -1 4202560 23723 0 0 0 498742 102 0 0 25 0 32 0 35835342 4128219136 833095 270582939648 4194304 4964800 140734428225840 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=3331/tid=3387] ppid=3329 vsize=4031464 CPUtime=5004.59 cores=0-31
/proc/3331/task/3387/stat : 3387 (claspmt) R 3329 3331 3301 0 -1 4202560 17041 0 0 0 500393 66 0 0 25 0 32 0 35835342 4128219136 833095 270582939648 4194304 4964800 140734428225840 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=3331/tid=3388] ppid=3329 vsize=4031464 CPUtime=5004.65 cores=0-31
/proc/3331/task/3388/stat : 3388 (claspmt) R 3329 3331 3301 0 -1 4202560 64972 0 0 0 500182 283 0 0 25 0 32 0 35835342 4128219136 833095 270582939648 4194304 4964800 140734428225840 18446744073709551615 4670499 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=3331/tid=3389] ppid=3329 vsize=4031464 CPUtime=4997.39 cores=0-31
/proc/3331/task/3389/stat : 3389 (claspmt) R 3329 3331 3301 0 -1 4202560 14500 0 0 0 499666 73 0 0 25 0 32 0 35835342 4128219136 833095 270582939648 4194304 4964800 140734428225840 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=3331/tid=3390] ppid=3329 vsize=4031464 CPUtime=4995.96 cores=0-31
/proc/3331/task/3390/stat : 3390 (claspmt) R 3329 3331 3301 0 -1 4202560 20429 0 0 0 499534 62 0 0 25 0 32 0 35835342 4128219136 833095 270582939648 4194304 4964800 140734428225840 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=3331/tid=3391] ppid=3329 vsize=4031464 CPUtime=5004.5 cores=0-31
/proc/3331/task/3391/stat : 3391 (claspmt) R 3329 3331 3301 0 -1 4202560 31343 0 0 0 500360 90 0 0 25 0 32 0 35835342 4128219136 833095 270582939648 4194304 4964800 140734428225840 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=3331/tid=3392] ppid=3329 vsize=4031464 CPUtime=5004.62 cores=0-31
/proc/3331/task/3392/stat : 3392 (claspmt) R 3329 3331 3301 0 -1 4202560 16192 0 0 0 500396 66 0 0 25 0 32 0 35835342 4128219136 833095 270582939648 4194304 4964800 140734428225840 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=3331/tid=3393] ppid=3329 vsize=4031464 CPUtime=5004.63 cores=0-31
/proc/3331/task/3393/stat : 3393 (claspmt) R 3329 3331 3301 0 -1 4202560 27712 0 0 0 500356 107 0 0 25 0 32 0 35835342 4128219136 833095 270582939648 4194304 4964800 140734428225840 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=3331/tid=3394] ppid=3329 vsize=4031464 CPUtime=5004.69 cores=0-31
/proc/3331/task/3394/stat : 3394 (claspmt) R 3329 3331 3301 0 -1 4202560 24620 0 0 0 500377 92 0 0 25 0 32 0 35835342 4128219136 833095 270582939648 4194304 4964800 140734428225840 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=3331/tid=3395] ppid=3329 vsize=4031464 CPUtime=5004.53 cores=0-31
/proc/3331/task/3395/stat : 3395 (claspmt) R 3329 3331 3301 0 -1 4202560 15603 0 0 0 500385 68 0 0 25 0 32 0 35835342 4128219136 833095 270582939648 4194304 4964800 140734428225840 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=3331/tid=3396] ppid=3329 vsize=4031464 CPUtime=4987.01 cores=0-31
/proc/3331/task/3396/stat : 3396 (claspmt) R 3329 3331 3301 0 -1 4202560 60039 0 0 0 498438 263 0 0 25 0 32 0 35835342 4128219136 833095 270582939648 4194304 4964800 140734428225840 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 160002
Current children cumulated vsize (KiB) 4031464

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

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

[startup+5007.8 s]
/proc/loadavg: 32.26 32.22 32.13 2/414 3567
/proc/meminfo: memFree=258849760/264257624 swapFree=67111528/67111528
[pid=3331] ppid=3329 vsize=3902588 CPUtime=160004 cores=0-31
/proc/3331/stat : 3331 (claspmt) R 3329 3331 3301 0 -1 4202496 865374 0 0 0 15997014 3355 0 0 25 0 1 0 35835280 3996250112 823117 270582939648 4194304 4964800 140734428225840 18446744073709551615 258650604641 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/3331/statm: 975647 823117 474 189 0 969996 0
Current children cumulated CPU time (s) 160004
Current children cumulated vsize (KiB) 3902588

[startup+5008.6 s]
/proc/loadavg: 32.26 32.22 32.13 2/414 3567
/proc/meminfo: memFree=258894392/264257624 swapFree=67111528/67111528
[pid=3331] ppid=3329 vsize=3873636 CPUtime=160004 cores=0-31
/proc/3331/stat : 3331 (claspmt) R 3329 3331 3301 0 -1 4202496 865374 0 0 0 15997094 3355 0 0 25 0 1 0 35835280 3966603264 811637 270582939648 4194304 4964800 140734428225840 18446744073709551615 258650610907 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/3331/statm: 968409 811637 474 189 0 962758 0
Current children cumulated CPU time (s) 160004
Current children cumulated vsize (KiB) 3873636

[startup+5008.8 s]
/proc/loadavg: 32.26 32.22 32.13 2/414 3567
/proc/meminfo: memFree=258894392/264257624 swapFree=67111528/67111528
[pid=3331] ppid=3329 vsize=2529696 CPUtime=160005 cores=0-31
/proc/3331/stat : 3331 (claspmt) R 3329 3331 3301 0 -1 4202496 865374 0 0 0 15997104 3365 0 0 25 0 1 0 35835280 2590408704 395647 270582939648 4194304 4964800 140734428225840 18446744073709551615 258650999383 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/3331/statm: 632424 395647 474 189 0 626773 0
Current children cumulated CPU time (s) 160005
Current children cumulated vsize (KiB) 2529696

[startup+5008.9 s]
/proc/loadavg: 32.26 32.22 32.13 2/414 3567
/proc/meminfo: memFree=258894392/264257624 swapFree=67111528/67111528
[pid=3331] ppid=3329 vsize=1973712 CPUtime=160005 cores=0-31
/proc/3331/stat : 3331 (claspmt) R 3329 3331 3301 0 -1 4202496 865374 0 0 0 15997104 3375 0 0 25 0 1 0 35835280 2021081088 38572 270582939648 4194304 4964800 140734428225840 18446744073709551615 258650999383 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/3331/statm: 493428 38060 474 189 0 487777 0
Current children cumulated CPU time (s) 160005
Current children cumulated vsize (KiB) 1973712

Child status: 0
Real time (s): 5008.92
CPU time (s): 160005
CPU user time (s): 159971
CPU system time (s): 33.7709
CPU usage (%): 3194.4
Max. virtual memory (cumulated for all children) (KiB): 4031464

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 159971
system time used= 33.7709
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 865375
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= 365991
involuntary context switches= 404942

runsolver used 29.7895 second user time and 111.532 second system time

The end

Launcher Data 

Begin job on node200 at 2011-06-10 13:14:44
IDJOB=3472464
IDBENCH=83130
IDSOLVER=1961
FILE ID=node200/3472464-1307704484
RUNJOBID= node200-1307704484-3315
PBS_JOBID= 13549544
Free space on /tmp= 61744 MiB

SOLVER NAME= claspmt 2.0-R4095-patched (fixed)
BENCH NAME= SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom16.cnf
COMMAND LINE= HOME/claspmt -tNBCORE -p HOME/sat11-port.txt --distribute=all,2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3472464-1307704484/watcher-3472464-1307704484 -o /tmp/evaluation-result-3472464-1307704484/solver-3472464-1307704484 -C 160000 -W 5100 -M 256000  HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472464-1307704484.cnf

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

MD5SUM BENCH= 73a2c2d9e5c062e561bfdb7c82071a99
RANDOM SEED=563099467

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.045
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.045
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.02
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.045
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.045
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.045
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.09
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.045
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.06
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.045
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.07
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.045
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.06
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.045
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	: 3989.99
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.045
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.06
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.045
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.045
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.06
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.045
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.04
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.045
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.03
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.045
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	: 3990.07
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.045
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.08
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.045
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.05
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.045
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.045
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.08
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.045
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	: 3989.97
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.045
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.04
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.045
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.10
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.045
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.10
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.045
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.04
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.045
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.04
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.045
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.07
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.045
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.045
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.08
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.045
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.04
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.045
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.08
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.045
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.18
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.045
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:      262173492 kB
Buffers:        268328 kB
Cached:        1500004 kB
SwapCached:          0 kB
Active:         286520 kB
Inactive:      1545204 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      262173492 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2456 kB
Writeback:           0 kB
AnonPages:       64096 kB
Mapped:          14112 kB
Slab:           173480 kB
PageTables:       4436 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   163504 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= 61740 MiB
End job on node200 at 2011-06-10 14:38:13