Trace number 3472396

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)UNSAT 925.982 218.776

General information on the benchmark

Nameapplication/jarvisalo/AAAI2010-SATPlanning/
aaai10-planning-ipc5-pipesworld-18-step15.cnf
MD5SUMcabee0328f774a95ab72be66123bb39b
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark80.8837
Satisfiable
(Un)Satisfiability was proved
Number of variables130021
Number of clauses2509375
Sum of the clauses size5678283
Maximum clause length1921
Minimum clause length1
Number of clauses of size 1456
Number of clauses of size 22437138
Number of clauses of size 310555
Number of clauses of size 46624
Number of clauses of size 53927
Number of clauses of size over 550675

Solver Data

0.00/0.00	c clasp version 2.0.0-RC2
0.00/0.00	c Reading from ...613252/instance-3472396-1307613252.cnf
9.49/9.52	c Solving...
925.89/218.73	s UNSATISFIABLE
925.89/218.73	
925.89/218.73	c Models        : 0     
925.89/218.73	c Time          : 217.992s (Solving: 208.47s 1st Model: 0.00s Unsat: 208.47s)
925.89/218.73	c CPU Time      : 925.200s

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: 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-3472396-1307613252/watcher-3472396-1307613252 -o /tmp/evaluation-result-3472396-1307613252/solver-3472396-1307613252 -C 160000 -W 5100 -M 256000 HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472396-1307613252.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: 8.10 15.79 24.14 1/413 27325
/proc/meminfo: memFree=262404168/264257624 swapFree=67111528/67111528
[pid=27325] ppid=27323 vsize=38868 CPUtime=0.02 cores=0-31
/proc/27325/stat : 27325 (claspmt) R 27323 27325 27233 0 -1 4202496 4875 0 0 0 2 0 0 0 21 0 1 0 26712317 39800832 4805 270582939648 4194304 4964800 140733898513216 18446744073709551615 4680699 0 0 4096 18946 0 0 0 17 28 0 0 0
/proc/27325/statm: 9717 4827 374 189 0 4591 0

[startup+0.0446441 s]
/proc/loadavg: 8.10 15.79 24.14 1/413 27325
/proc/meminfo: memFree=262404168/264257624 swapFree=67111528/67111528
[pid=27325] ppid=27323 vsize=46656 CPUtime=0.04 cores=0-31
/proc/27325/stat : 27325 (claspmt) R 27323 27325 27233 0 -1 4202496 7769 0 0 0 3 1 0 0 21 0 1 0 26712317 47775744 6683 270582939648 4194304 4964800 140733898513216 18446744073709551615 4367620 0 0 4096 18946 0 0 0 17 28 0 0 0
/proc/27325/statm: 11664 6699 377 189 0 6538 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 46656

[startup+0.100652 s]
/proc/loadavg: 8.10 15.79 24.14 1/413 27325
/proc/meminfo: memFree=262404168/264257624 swapFree=67111528/67111528
[pid=27325] ppid=27323 vsize=54488 CPUtime=0.09 cores=0-31
/proc/27325/stat : 27325 (claspmt) R 27323 27325 27233 0 -1 4202496 10520 0 0 0 8 1 0 0 21 0 1 0 26712317 55795712 8690 270582939648 4194304 4964800 140733898513216 18446744073709551615 258650955760 0 0 4096 18946 0 0 0 17 28 0 0 0
/proc/27325/statm: 13622 8691 383 189 0 8496 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 54488

[startup+0.300648 s]
/proc/loadavg: 8.10 15.79 24.14 1/413 27325
/proc/meminfo: memFree=262404168/264257624 swapFree=67111528/67111528
[pid=27325] ppid=27323 vsize=80872 CPUtime=0.29 cores=0-31
/proc/27325/stat : 27325 (claspmt) R 27323 27325 27233 0 -1 4202496 19844 0 0 0 26 3 0 0 22 0 1 0 26712317 82812928 14720 270582939648 4194304 4964800 140733898513216 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 28 0 0 0
/proc/27325/statm: 20218 14723 386 189 0 15092 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 80872

[startup+0.700699 s]
/proc/loadavg: 8.10 15.79 24.14 1/413 27325
/proc/meminfo: memFree=262404168/264257624 swapFree=67111528/67111528
[pid=27325] ppid=27323 vsize=132968 CPUtime=0.69 cores=0-31
/proc/27325/stat : 27325 (claspmt) R 27323 27325 27233 0 -1 4202496 38045 0 0 0 62 7 0 0 23 0 1 0 26712317 136159232 27794 270582939648 4194304 4964800 140733898513216 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 28 0 0 0
/proc/27325/statm: 33242 27796 386 189 0 28116 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 132968

[startup+1.50069 s]
/proc/loadavg: 8.10 15.79 24.14 2/414 27326
/proc/meminfo: memFree=262255460/264257624 swapFree=67111528/67111528
[pid=27325] ppid=27323 vsize=225740 CPUtime=1.49 cores=0-31
/proc/27325/stat : 27325 (claspmt) R 27323 27325 27233 0 -1 4202496 64589 0 0 0 136 13 0 0 25 0 1 0 26712317 231157760 48455 270582939648 4194304 4964800 140733898513216 18446744073709551615 4607761 0 0 4096 18946 0 0 0 17 28 0 0 0
/proc/27325/statm: 56435 48455 400 189 0 51309 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 225740

[startup+3.10074 s]
/proc/loadavg: 7.53 15.54 24.02 2/414 27326
/proc/meminfo: memFree=262210664/264257624 swapFree=67111528/67111528
[pid=27325] ppid=27323 vsize=225740 CPUtime=3.09 cores=0-31
/proc/27325/stat : 27325 (claspmt) R 27323 27325 27233 0 -1 4202496 64589 0 0 0 296 13 0 0 25 0 1 0 26712317 231157760 48455 270582939648 4194304 4964800 140733898513216 18446744073709551615 4607744 0 0 4096 18946 0 0 0 17 28 0 0 0
/proc/27325/statm: 56435 48455 400 189 0 51309 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 225740

[startup+6.30088 s]
/proc/loadavg: 7.53 15.54 24.02 2/414 27326
/proc/meminfo: memFree=262211884/264257624 swapFree=67111528/67111528
[pid=27325] ppid=27323 vsize=225740 CPUtime=6.29 cores=0-31
/proc/27325/stat : 27325 (claspmt) R 27323 27325 27233 0 -1 4202496 64589 0 0 0 616 13 0 0 25 0 1 0 26712317 231157760 48455 270582939648 4194304 4964800 140733898513216 18446744073709551615 4607766 0 0 4096 18946 0 0 0 17 28 0 0 0
/proc/27325/statm: 56435 48455 400 189 0 51309 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 225740

[startup+12.702 s]
/proc/loadavg: 6.77 15.11 23.79 5/445 27357
/proc/meminfo: memFree=261760924/264257624 swapFree=67111528/67111528
[pid=27325] ppid=27323 vsize=1967080 CPUtime=30.95 cores=0-31
/proc/27325/stat : 27325 (claspmt) S 27323 27325 27233 0 -1 4202496 212696 0 0 0 2070 1025 0 0 18 0 32 0 26712317 2014289920 162426 270582939648 4194304 4964800 140733898513216 18446744073709551615 258662772457 0 0 4096 18946 18446744073709551615 0 0 17 8 0 0 0
/proc/27325/statm: 491770 162426 440 189 0 486119 0
[pid=27325/tid=27327] ppid=27323 vsize=1967080 CPUtime=0.05 cores=0-31
/proc/27325/task/27327/stat : 27327 (claspmt) S 27323 27325 27233 0 -1 4202560 5 0 0 0 5 0 0 0 25 0 32 0 26713270 2014289920 162426 270582939648 4194304 4964800 140733898513216 18446744073709551615 258662772457 0 0 4096 18946 18446604574633311712 0 0 -1 1 0 0 0
[pid=27325/tid=27328] ppid=27323 vsize=1967080 CPUtime=0.52 cores=0-31
/proc/27325/task/27328/stat : 27328 (claspmt) S 27323 27325 27233 0 -1 4202560 4749 0 0 0 22 30 0 0 18 0 32 0 26713270 2014289920 162426 270582939648 4194304 4964800 140733898513216 18446744073709551615 258662772457 0 0 4096 18946 18446604708256873952 0 0 -1 14 0 0 0
[pid=27325/tid=27329] ppid=27323 vsize=1967080 CPUtime=0.51 cores=0-31
/proc/27325/task/27329/stat : 27329 (claspmt) S 27323 27325 27233 0 -1 4202560 5797 0 0 0 20 31 0 0 18 0 32 0 26713270 2014289920 162426 270582939648 4194304 4964800 140733898513216 18446744073709551615 258662772457 0 0 4096 18946 18446604505648889312 0 0 -1 27 0 0 0
[pid=27325/tid=27330] ppid=27323 vsize=1967080 CPUtime=0.41 cores=0-31
/proc/27325/task/27330/stat : 27330 (claspmt) S 27323 27325 27233 0 -1 4202560 3754 0 0 0 2 39 0 0 18 0 32 0 26713270 2014289920 162426 270582939648 4194304 4964800 140733898513216 18446744073709551615 258662772457 0 0 4096 18946 18446604505082674656 0 0 -1 0 0 0 0
[pid=27325/tid=27331] ppid=27323 vsize=1967080 CPUtime=2.22 cores=0-31
/proc/27325/task/27331/stat : 27331 (claspmt) R 27323 27325 27233 0 -1 4202560 6459 0 0 0 184 38 0 0 20 0 32 0 26713270 2014289920 162426 270582939648 4194304 4964800 140733898513216 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=27325/tid=27332] ppid=27323 vsize=1967080 CPUtime=0.54 cores=0-31
/proc/27325/task/27332/stat : 27332 (claspmt) S 27323 27325 27233 0 -1 4202560 5609 0 0 0 19 35 0 0 18 0 32 0 26713270 2014289920 162426 270582939648 4194304 4964800 140733898513216 18446744073709551615 258662772457 0 0 4096 18946 18446604499334307296 0 0 -1 28 0 0 0
[pid=27325/tid=27333] ppid=27323 vsize=1967080 CPUtime=0.29 cores=0-31
/proc/27325/task/27333/stat : 27333 (claspmt) S 27323 27325 27233 0 -1 4202560 1142 0 0 0 17 12 0 0 18 0 32 0 26713270 2014289920 162426 270582939648 4194304 4964800 140733898513216 18446744073709551615 258662772457 0 0 4096 18946 18446604505648872928 0 0 -1 20 0 0 0
[pid=27325/tid=27334] ppid=27323 vsize=1967080 CPUtime=0.19 cores=0-31
/proc/27325/task/27334/stat : 27334 (claspmt) S 27323 27325 27233 0 -1 4202560 1563 0 0 0 5 14 0 0 18 0 32 0 26713270 2014289920 162426 270582939648 4194304 4964800 140733898513216 18446744073709551615 258662772457 0 0 4096 18946 18446604497895595488 0 0 -1 27 0 0 0
[pid=27325/tid=27335] ppid=27323 vsize=1967080 CPUtime=0.35 cores=0-31
/proc/27325/task/27335/stat : 27335 (claspmt) S 27323 27325 27233 0 -1 4202560 4248 0 0 0 4 31 0 0 18 0 32 0 26713270 2014289920 162426 270582939648 4194304 4964800 140733898513216 18446744073709551615 258662772457 0 0 4096 18946 18446604486487768544 0 0 -1 18 0 0 0
[pid=27325/tid=27336] ppid=27323 vsize=1967080 CPUtime=0.47 cores=0-31
/proc/27325/task/27336/stat : 27336 (claspmt) S 27323 27325 27233 0 -1 4202560 5491 0 0 0 20 27 0 0 18 0 32 0 26713270 2014289920 162426 270582939648 4194304 4964800 140733898513216 18446744073709551615 258662772457 0 0 4096 18946 18446604703940877792 0 0 -1 3 0 0 0
[pid=27325/tid=27337] ppid=27323 vsize=1967080 CPUtime=0.55 cores=0-31
/proc/27325/task/27337/stat : 27337 (claspmt) S 27323 27325 27233 0 -1 4202560 5421 0 0 0 19 36 0 0 18 0 32 0 26713270 2014289920 162426 270582939648 4194304 4964800 140733898513216 18446744073709551615 258662772457 0 0 4096 18946 18446604499717168608 0 0 -1 24 0 0 0
[pid=27325/tid=27338] ppid=27323 vsize=1967080 CPUtime=0.37 cores=0-31
/proc/27325/task/27338/stat : 27338 (claspmt) S 27323 27325 27233 0 -1 4202560 4599 0 0 0 3 34 0 0 18 0 32 0 26713270 2014289920 162426 270582939648 4194304 4964800 140733898513216 18446744073709551615 258662772457 0 0 4096 18946 18446604709293481440 0 0 -1 8 0 0 0
[pid=27325/tid=27339] ppid=27323 vsize=1967080 CPUtime=2.25 cores=0-31
/proc/27325/task/27339/stat : 27339 (claspmt) R 27323 27325 27233 0 -1 4202560 5851 0 0 0 185 40 0 0 20 0 32 0 26713270 2014289920 162426 270582939648 4194304 4964800 140733898513216 18446744073709551615 4670264 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=27325/tid=27340] ppid=27323 vsize=1967080 CPUtime=0.57 cores=0-31
/proc/27325/task/27340/stat : 27340 (claspmt) S 27323 27325 27233 0 -1 4202560 5376 0 0 0 21 36 0 0 18 0 32 0 26713270 2014289920 162426 270582939648 4194304 4964800 140733898513216 18446744073709551615 258662772457 0 0 4096 18946 18446604497227849184 0 0 -1 2 0 0 0
[pid=27325/tid=27341] ppid=27323 vsize=1967080 CPUtime=0.59 cores=0-31
/proc/27325/task/27341/stat : 27341 (claspmt) S 27323 27325 27233 0 -1 4202560 5738 0 0 0 21 38 0 0 18 0 32 0 26713270 2014289920 162426 270582939648 4194304 4964800 140733898513216 18446744073709551615 258662772457 0 0 4096 18946 18446604505082666464 0 0 -1 11 0 0 0
[pid=27325/tid=27342] ppid=27323 vsize=1967080 CPUtime=0.36 cores=0-31
/proc/27325/task/27342/stat : 27342 (claspmt) S 27323 27325 27233 0 -1 4202560 4526 0 0 0 4 32 0 0 18 0 32 0 26713270 2014289920 162426 270582939648 4194304 4964800 140733898513216 18446744073709551615 258662772457 0 0 4096 18946 18446604710554279392 0 0 -1 15 0 0 0
[pid=27325/tid=27343] ppid=27323 vsize=1967080 CPUtime=0.36 cores=0-31
/proc/27325/task/27343/stat : 27343 (claspmt) S 27323 27325 27233 0 -1 4202560 4477 0 0 0 6 30 0 0 18 0 32 0 26713270 2014289920 162426 270582939648 4194304 4964800 140733898513216 18446744073709551615 258662772457 0 0 4096 18946 18446604499717176800 0 0 -1 23 0 0 0
[pid=27325/tid=27344] ppid=27323 vsize=1967080 CPUtime=0.54 cores=0-31
/proc/27325/task/27344/stat : 27344 (claspmt) S 27323 27325 27233 0 -1 4202560 4855 0 0 0 22 32 0 0 18 0 32 0 26713270 2014289920 162426 270582939648 4194304 4964800 140733898513216 18446744073709551615 258662772457 0 0 4096 18946 18446604505082658272 0 0 -1 7 0 0 0
[pid=27325/tid=27345] ppid=27323 vsize=1967080 CPUtime=0.53 cores=0-31
/proc/27325/task/27345/stat : 27345 (claspmt) S 27323 27325 27233 0 -1 4202560 5750 0 0 0 22 31 0 0 18 0 32 0 26713270 2014289920 162426 270582939648 4194304 4964800 140733898513216 18446744073709551615 258662772457 0 0 4096 18946 18446604504454454752 0 0 -1 23 0 0 0
[pid=27325/tid=27346] ppid=27323 vsize=1967080 CPUtime=0.39 cores=0-31
/proc/27325/task/27346/stat : 27346 (claspmt) S 27323 27325 27233 0 -1 4202560 4295 0 0 0 4 35 0 0 18 0 32 0 26713270 2014289920 162426 270582939648 4194304 4964800 140733898513216 18446744073709551615 258662772457 0 0 4096 18946 18446604500584414688 0 0 -1 17 0 0 0
[pid=27325/tid=27347] ppid=27323 vsize=1967080 CPUtime=2.25 cores=0-31
/proc/27325/task/27347/stat : 27347 (claspmt) R 27323 27325 27233 0 -1 4202560 6508 0 0 0 183 42 0 0 20 0 32 0 26713271 2014289920 162426 270582939648 4194304 4964800 140733898513216 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=27325/tid=27348] ppid=27323 vsize=1967080 CPUtime=0.54 cores=0-31
/proc/27325/task/27348/stat : 27348 (claspmt) S 27323 27325 27233 0 -1 4202560 5191 0 0 0 20 34 0 0 18 0 32 0 26713271 2014289920 162426 270582939648 4194304 4964800 140733898513216 18446744073709551615 258662772457 0 0 4096 18946 18446604500584422880 0 0 -1 6 0 0 0
[pid=27325/tid=27349] ppid=27323 vsize=1967080 CPUtime=0.62 cores=0-31
/proc/27325/task/27349/stat : 27349 (claspmt) S 27323 27325 27233 0 -1 4202560 5654 0 0 0 21 41 0 0 18 0 32 0 26713271 2014289920 162426 270582939648 4194304 4964800 140733898513216 18446744073709551615 258662772457 0 0 4096 18946 18446604492622544352 0 0 -1 16 0 0 0
[pid=27325/tid=27350] ppid=27323 vsize=1967080 CPUtime=0.35 cores=0-31
/proc/27325/task/27350/stat : 27350 (claspmt) S 27323 27325 27233 0 -1 4202560 3681 0 0 0 4 31 0 0 18 0 32 0 26713271 2014289920 162426 270582939648 4194304 4964800 140733898513216 18446744073709551615 258662772457 0 0 4096 18946 18446604499670711776 0 0 -1 12 0 0 0
[pid=27325/tid=27351] ppid=27323 vsize=1967080 CPUtime=0.39 cores=0-31
/proc/27325/task/27351/stat : 27351 (claspmt) S 27323 27325 27233 0 -1 4202560 4324 0 0 0 5 34 0 0 18 0 32 0 26713271 2014289920 162426 270582939648 4194304 4964800 140733898513216 18446744073709551615 258662772457 0 0 4096 18946 18446604499793206752 0 0 -1 29 0 0 0
[pid=27325/tid=27352] ppid=27323 vsize=1967080 CPUtime=0.54 cores=0-31
/proc/27325/task/27352/stat : 27352 (claspmt) S 27323 27325 27233 0 -1 4202560 4641 0 0 0 22 32 0 0 18 0 32 0 26713271 2014289920 162426 270582939648 4194304 4964800 140733898513216 18446744073709551615 258662772457 0 0 4096 18946 18446604499295567328 0 0 -1 13 0 0 0
[pid=27325/tid=27353] ppid=27323 vsize=1967080 CPUtime=0.53 cores=0-31
/proc/27325/task/27353/stat : 27353 (claspmt) S 27323 27325 27233 0 -1 4202560 5586 0 0 0 21 32 0 0 18 0 32 0 26713271 2014289920 162426 270582939648 4194304 4964800 140733898513216 18446744073709551615 258662772457 0 0 4096 18946 18446604710169755104 0 0 -1 30 0 0 0
[pid=27325/tid=27354] ppid=27323 vsize=1967080 CPUtime=0.4 cores=0-31
/proc/27325/task/27354/stat : 27354 (claspmt) S 27323 27325 27233 0 -1 4202560 3945 0 0 0 4 36 0 0 18 0 32 0 26713271 2014289920 162426 270582939648 4194304 4964800 140733898513216 18446744073709551615 258662772457 0 0 4096 18946 18446604506147110368 0 0 -1 25 0 0 0
[pid=27325/tid=27355] ppid=27323 vsize=1967080 CPUtime=2.17 cores=0-31
/proc/27325/task/27355/stat : 27355 (claspmt) R 27323 27325 27233 0 -1 4202560 6656 0 0 0 181 36 0 0 20 0 32 0 26713271 2014289920 162426 270582939648 4194304 4964800 140733898513216 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=27325/tid=27356] ppid=27323 vsize=1967080 CPUtime=0.62 cores=0-31
/proc/27325/task/27356/stat : 27356 (claspmt) S 27323 27325 27233 0 -1 4202560 5809 0 0 0 25 37 0 0 18 0 32 0 26713271 2014289920 162426 270582939648 4194304 4964800 140733898513216 18446744073709551615 258662772457 0 0 4096 18946 18446604709023030752 0 0 -1 10 0 0 0
[pid=27325/tid=27357] ppid=27323 vsize=1967080 CPUtime=0.65 cores=0-31
/proc/27325/task/27357/stat : 27357 (claspmt) S 27323 27325 27233 0 -1 4202560 6289 0 0 0 25 40 0 0 18 0 32 0 26713271 2014289920 162426 270582939648 4194304 4964800 140733898513216 18446744073709551615 258662772457 0 0 4096 18946 18446604505986227680 0 0 -1 21 0 0 0
Current children cumulated CPU time (s) 30.95
Current children cumulated vsize (KiB) 1967080

[startup+25.5015 s]
/proc/loadavg: 6.34 14.74 23.58 5/445 27357
/proc/meminfo: memFree=261749444/264257624 swapFree=67111528/67111528
[pid=27325] ppid=27323 vsize=1967080 CPUtime=82.13 cores=0-31
/proc/27325/stat : 27325 (claspmt) S 27323 27325 27233 0 -1 4202496 215014 0 0 0 7179 1034 0 0 18 0 32 0 26712317 2014289920 164744 270582939648 4194304 4964800 140733898513216 18446744073709551615 258662772457 0 0 4096 18946 18446744073709551615 0 0 17 8 0 0 0
/proc/27325/statm: 491770 164744 440 189 0 486119 0
[pid=27325/tid=27327] ppid=27323 vsize=1967080 CPUtime=0.05 cores=0-31
/proc/27325/task/27327/stat : 27327 (claspmt) S 27323 27325 27233 0 -1 4202560 5 0 0 0 5 0 0 0 25 0 32 0 26713270 2014289920 164744 270582939648 4194304 4964800 140733898513216 18446744073709551615 258662772457 0 0 4096 18946 18446604574633311712 0 0 -1 1 0 0 0
[pid=27325/tid=27328] ppid=27323 vsize=1967080 CPUtime=0.52 cores=0-31
/proc/27325/task/27328/stat : 27328 (claspmt) S 27323 27325 27233 0 -1 4202560 4749 0 0 0 22 30 0 0 18 0 32 0 26713270 2014289920 164744 270582939648 4194304 4964800 140733898513216 18446744073709551615 258662772457 0 0 4096 18946 18446604708256873952 0 0 -1 14 0 0 0
[pid=27325/tid=27329] ppid=27323 vsize=1967080 CPUtime=0.51 cores=0-31
/proc/27325/task/27329/stat : 27329 (claspmt) S 27323 27325 27233 0 -1 4202560 5797 0 0 0 20 31 0 0 18 0 32 0 26713270 2014289920 164744 270582939648 4194304 4964800 140733898513216 18446744073709551615 258662772457 0 0 4096 18946 18446604505648889312 0 0 -1 27 0 0 0
[pid=27325/tid=27330] ppid=27323 vsize=1967080 CPUtime=0.41 cores=0-31
/proc/27325/task/27330/stat : 27330 (claspmt) S 27323 27325 27233 0 -1 4202560 3754 0 0 0 2 39 0 0 18 0 32 0 26713270 2014289920 164744 270582939648 4194304 4964800 140733898513216 18446744073709551615 258662772457 0 0 4096 18946 18446604505082674656 0 0 -1 0 0 0 0
[pid=27325/tid=27331] ppid=27323 vsize=1967080 CPUtime=15.01 cores=0-31
/proc/27325/task/27331/stat : 27331 (claspmt) R 27323 27325 27233 0 -1 4202560 7029 0 0 0 1460 41 0 0 25 0 32 0 26713270 2014289920 164744 270582939648 4194304 4964800 140733898513216 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=27325/tid=27332] ppid=27323 vsize=1967080 CPUtime=0.54 cores=0-31
/proc/27325/task/27332/stat : 27332 (claspmt) S 27323 27325 27233 0 -1 4202560 5609 0 0 0 19 35 0 0 18 0 32 0 26713270 2014289920 164744 270582939648 4194304 4964800 140733898513216 18446744073709551615 258662772457 0 0 4096 18946 18446604499334307296 0 0 -1 28 0 0 0
[pid=27325/tid=27333] ppid=27323 vsize=1967080 CPUtime=0.29 cores=0-31
/proc/27325/task/27333/stat : 27333 (claspmt) S 27323 27325 27233 0 -1 4202560 1142 0 0 0 17 12 0 0 18 0 32 0 26713270 2014289920 164744 270582939648 4194304 4964800 140733898513216 18446744073709551615 258662772457 0 0 4096 18946 18446604505648872928 0 0 -1 20 0 0 0
[pid=27325/tid=27334] ppid=27323 vsize=1967080 CPUtime=0.19 cores=0-31
/proc/27325/task/27334/stat : 27334 (claspmt) S 27323 27325 27233 0 -1 4202560 1563 0 0 0 5 14 0 0 18 0 32 0 26713270 2014289920 164744 270582939648 4194304 4964800 140733898513216 18446744073709551615 258662772457 0 0 4096 18946 18446604497895595488 0 0 -1 27 0 0 0
[pid=27325/tid=27335] ppid=27323 vsize=1967080 CPUtime=0.35 cores=0-31
/proc/27325/task/27335/stat : 27335 (claspmt) S 27323 27325 27233 0 -1 4202560 4248 0 0 0 4 31 0 0 18 0 32 0 26713270 2014289920 164744 270582939648 4194304 4964800 140733898513216 18446744073709551615 258662772457 0 0 4096 18946 18446604486487768544 0 0 -1 18 0 0 0
[pid=27325/tid=27336] ppid=27323 vsize=1967080 CPUtime=0.47 cores=0-31
/proc/27325/task/27336/stat : 27336 (claspmt) S 27323 27325 27233 0 -1 4202560 5491 0 0 0 20 27 0 0 18 0 32 0 26713270 2014289920 164744 270582939648 4194304 4964800 140733898513216 18446744073709551615 258662772457 0 0 4096 18946 18446604703940877792 0 0 -1 3 0 0 0
[pid=27325/tid=27337] ppid=27323 vsize=1967080 CPUtime=0.55 cores=0-31
/proc/27325/task/27337/stat : 27337 (claspmt) S 27323 27325 27233 0 -1 4202560 5421 0 0 0 19 36 0 0 18 0 32 0 26713270 2014289920 164744 270582939648 4194304 4964800 140733898513216 18446744073709551615 258662772457 0 0 4096 18946 18446604499717168608 0 0 -1 24 0 0 0
[pid=27325/tid=27338] ppid=27323 vsize=1967080 CPUtime=0.37 cores=0-31
/proc/27325/task/27338/stat : 27338 (claspmt) S 27323 27325 27233 0 -1 4202560 4599 0 0 0 3 34 0 0 18 0 32 0 26713270 2014289920 164744 270582939648 4194304 4964800 140733898513216 18446744073709551615 258662772457 0 0 4096 18946 18446604709293481440 0 0 -1 8 0 0 0
[pid=27325/tid=27339] ppid=27323 vsize=1967080 CPUtime=15.04 cores=0-31
/proc/27325/task/27339/stat : 27339 (claspmt) R 27323 27325 27233 0 -1 4202560 6443 0 0 0 1462 42 0 0 25 0 32 0 26713270 2014289920 164744 270582939648 4194304 4964800 140733898513216 18446744073709551615 4670340 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=27325/tid=27340] ppid=27323 vsize=1967080 CPUtime=0.57 cores=0-31
/proc/27325/task/27340/stat : 27340 (claspmt) S 27323 27325 27233 0 -1 4202560 5376 0 0 0 21 36 0 0 18 0 32 0 26713270 2014289920 164744 270582939648 4194304 4964800 140733898513216 18446744073709551615 258662772457 0 0 4096 18946 18446604497227849184 0 0 -1 2 0 0 0
[pid=27325/tid=27341] ppid=27323 vsize=1967080 CPUtime=0.59 cores=0-31
/proc/27325/task/27341/stat : 27341 (claspmt) S 27323 27325 27233 0 -1 4202560 5738 0 0 0 21 38 0 0 18 0 32 0 26713270 2014289920 164744 270582939648 4194304 4964800 140733898513216 18446744073709551615 258662772457 0 0 4096 18946 18446604505082666464 0 0 -1 11 0 0 0
[pid=27325/tid=27342] ppid=27323 vsize=1967080 CPUtime=0.36 cores=0-31
/proc/27325/task/27342/stat : 27342 (claspmt) S 27323 27325 27233 0 -1 4202560 4526 0 0 0 4 32 0 0 18 0 32 0 26713270 2014289920 164744 270582939648 4194304 4964800 140733898513216 18446744073709551615 258662772457 0 0 4096 18946 18446604710554279392 0 0 -1 15 0 0 0

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

[pid=27325/tid=27354] ppid=27323 vsize=1967080 CPUtime=0.4 cores=0-31
/proc/27325/task/27354/stat : 27354 (claspmt) S 27323 27325 27233 0 -1 4202560 3945 0 0 0 4 36 0 0 18 0 32 0 26713271 2014289920 166776 270582939648 4194304 4964800 140733898513216 18446744073709551615 258662772457 0 0 4096 18946 18446604506147110368 0 0 -1 25 0 0 0
[pid=27325/tid=27355] ppid=27323 vsize=1967080 CPUtime=203.73 cores=0-31
/proc/27325/task/27355/stat : 27355 (claspmt) R 27323 27325 27233 0 -1 4202560 7623 0 0 0 20334 39 0 0 25 0 32 0 26713271 2014289920 166776 270582939648 4194304 4964800 140733898513216 18446744073709551615 4669131 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=27325/tid=27356] ppid=27323 vsize=1967080 CPUtime=0.62 cores=0-31
/proc/27325/task/27356/stat : 27356 (claspmt) S 27323 27325 27233 0 -1 4202560 5809 0 0 0 25 37 0 0 18 0 32 0 26713271 2014289920 166776 270582939648 4194304 4964800 140733898513216 18446744073709551615 258662772457 0 0 4096 18946 18446604709023030752 0 0 -1 10 0 0 0
[pid=27325/tid=27357] ppid=27323 vsize=1967080 CPUtime=0.65 cores=0-31
/proc/27325/task/27357/stat : 27357 (claspmt) S 27323 27325 27233 0 -1 4202560 6289 0 0 0 25 40 0 0 18 0 32 0 26713271 2014289920 166776 270582939648 4194304 4964800 140733898513216 18446744073709551615 258662772457 0 0 4096 18946 18446604505986227680 0 0 -1 21 0 0 0
Current children cumulated CPU time (s) 836.66
Current children cumulated vsize (KiB) 1967080

[startup+215.903 s]
/proc/loadavg: 4.10 9.68 19.94 33/445 27363
/proc/meminfo: memFree=261691944/264257624 swapFree=67111528/67111528
[pid=27325] ppid=27323 vsize=1967080 CPUtime=859.26 cores=0-31
/proc/27325/stat : 27325 (claspmt) R 27323 27325 27233 0 -1 4202496 230433 0 0 0 84827 1099 0 0 17 0 32 0 26712317 2014289920 180163 270582939648 4194304 4964800 140733898513216 18446744073709551615 4670180 0 0 4096 18946 18446744073709551615 0 0 17 28 0 0 0
/proc/27325/statm: 491770 180163 455 189 0 486119 0
[pid=27325/tid=27327] ppid=27323 vsize=1967080 CPUtime=0.8 cores=0-31
/proc/27325/task/27327/stat : 27327 (claspmt) R 27323 27325 27233 0 -1 4202560 302 0 0 0 79 1 0 0 18 0 32 0 26713270 2014289920 180163 270582939648 4194304 4964800 140733898513216 18446744073709551615 4670357 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=27325/tid=27328] ppid=27323 vsize=1967080 CPUtime=1.18 cores=0-31
/proc/27325/task/27328/stat : 27328 (claspmt) R 27323 27325 27233 0 -1 4202560 5264 0 0 0 85 33 0 0 17 0 32 0 26713270 2014289920 180163 270582939648 4194304 4964800 140733898513216 18446744073709551615 4361247 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=27325/tid=27329] ppid=27323 vsize=1967080 CPUtime=1.17 cores=0-31
/proc/27325/task/27329/stat : 27329 (claspmt) R 27323 27325 27233 0 -1 4202560 6322 0 0 0 84 33 0 0 17 0 32 0 26713270 2014289920 180163 270582939648 4194304 4964800 140733898513216 18446744073709551615 4670194 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=27325/tid=27330] ppid=27323 vsize=1967080 CPUtime=1.1 cores=0-31
/proc/27325/task/27330/stat : 27330 (claspmt) R 27323 27325 27233 0 -1 4202560 4197 0 0 0 69 41 0 0 17 0 32 0 26713270 2014289920 180163 270582939648 4194304 4964800 140733898513216 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=27325/tid=27331] ppid=27323 vsize=1967080 CPUtime=204.62 cores=0-31
/proc/27325/task/27331/stat : 27331 (claspmt) R 27323 27325 27233 0 -1 4202560 7489 0 0 0 20420 42 0 0 21 0 32 0 26713270 2014289920 180163 270582939648 4194304 4964800 140733898513216 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=27325/tid=27332] ppid=27323 vsize=1967080 CPUtime=1.17 cores=0-31
/proc/27325/task/27332/stat : 27332 (claspmt) R 27323 27325 27233 0 -1 4202560 6186 0 0 0 79 38 0 0 17 0 32 0 26713270 2014289920 180163 270582939648 4194304 4964800 140733898513216 18446744073709551615 4670674 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=27325/tid=27333] ppid=27323 vsize=1967080 CPUtime=0.93 cores=0-31
/proc/27325/task/27333/stat : 27333 (claspmt) R 27323 27325 27233 0 -1 4202560 1506 0 0 0 78 15 0 0 17 0 32 0 26713270 2014289920 180163 270582939648 4194304 4964800 140733898513216 18446744073709551615 4627652 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=27325/tid=27334] ppid=27323 vsize=1967080 CPUtime=0.96 cores=0-31
/proc/27325/task/27334/stat : 27334 (claspmt) R 27323 27325 27233 0 -1 4202560 1833 0 0 0 80 16 0 0 18 0 32 0 26713270 2014289920 180163 270582939648 4194304 4964800 140733898513216 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=27325/tid=27335] ppid=27323 vsize=1967080 CPUtime=1.07 cores=0-31
/proc/27325/task/27335/stat : 27335 (claspmt) R 27323 27325 27233 0 -1 4202560 4651 0 0 0 75 32 0 0 18 0 32 0 26713270 2014289920 180163 270582939648 4194304 4964800 140733898513216 18446744073709551615 4668984 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=27325/tid=27336] ppid=27323 vsize=1967080 CPUtime=1.12 cores=0-31
/proc/27325/task/27336/stat : 27336 (claspmt) R 27323 27325 27233 0 -1 4202560 6075 0 0 0 83 29 0 0 17 0 32 0 26713270 2014289920 180163 270582939648 4194304 4964800 140733898513216 18446744073709551615 4670658 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=27325/tid=27337] ppid=27323 vsize=1967080 CPUtime=1.15 cores=0-31
/proc/27325/task/27337/stat : 27337 (claspmt) R 27323 27325 27233 0 -1 4202560 5946 0 0 0 77 38 0 0 17 0 32 0 26713270 2014289920 180163 270582939648 4194304 4964800 140733898513216 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=27325/tid=27338] ppid=27323 vsize=1967080 CPUtime=1.07 cores=0-31
/proc/27325/task/27338/stat : 27338 (claspmt) R 27323 27325 27233 0 -1 4202560 5023 0 0 0 71 36 0 0 18 0 32 0 26713270 2014289920 180163 270582939648 4194304 4964800 140733898513216 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=27325/tid=27339] ppid=27323 vsize=1967080 CPUtime=204.03 cores=0-31
/proc/27325/task/27339/stat : 27339 (claspmt) R 27323 27325 27233 0 -1 4202560 6991 0 0 0 20360 43 0 0 18 0 32 0 26713270 2014289920 180163 270582939648 4194304 4964800 140733898513216 18446744073709551615 4651391 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=27325/tid=27340] ppid=27323 vsize=1967080 CPUtime=1.2 cores=0-31
/proc/27325/task/27340/stat : 27340 (claspmt) R 27323 27325 27233 0 -1 4202560 5988 0 0 0 82 38 0 0 17 0 32 0 26713270 2014289920 180163 270582939648 4194304 4964800 140733898513216 18446744073709551615 4378480 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=27325/tid=27341] ppid=27323 vsize=1967080 CPUtime=1.31 cores=0-31
/proc/27325/task/27341/stat : 27341 (claspmt) R 27323 27325 27233 0 -1 4202560 6036 0 0 0 90 41 0 0 17 0 32 0 26713270 2014289920 180163 270582939648 4194304 4964800 140733898513216 18446744073709551615 4651391 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=27325/tid=27342] ppid=27323 vsize=1967080 CPUtime=1.03 cores=0-31
/proc/27325/task/27342/stat : 27342 (claspmt) R 27323 27325 27233 0 -1 4202560 4977 0 0 0 68 35 0 0 17 0 32 0 26713270 2014289920 180163 270582939648 4194304 4964800 140733898513216 18446744073709551615 4644794 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=27325/tid=27343] ppid=27323 vsize=1967080 CPUtime=1.04 cores=0-31
/proc/27325/task/27343/stat : 27343 (claspmt) R 27323 27325 27233 0 -1 4202560 4941 0 0 0 72 32 0 0 18 0 32 0 26713270 2014289920 180163 270582939648 4194304 4964800 140733898513216 18446744073709551615 4644790 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=27325/tid=27344] ppid=27323 vsize=1967080 CPUtime=1.18 cores=0-31
/proc/27325/task/27344/stat : 27344 (claspmt) R 27323 27325 27233 0 -1 4202560 5371 0 0 0 84 34 0 0 17 0 32 0 26713270 2014289920 180163 270582939648 4194304 4964800 140733898513216 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=27325/tid=27345] ppid=27323 vsize=1967080 CPUtime=1.18 cores=0-31
/proc/27325/task/27345/stat : 27345 (claspmt) R 27323 27325 27233 0 -1 4202560 6222 0 0 0 85 33 0 0 17 0 32 0 26713270 2014289920 180163 270582939648 4194304 4964800 140733898513216 18446744073709551615 4668715 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=27325/tid=27346] ppid=27323 vsize=1967080 CPUtime=1.07 cores=0-31
/proc/27325/task/27346/stat : 27346 (claspmt) R 27323 27325 27233 0 -1 4202560 4734 0 0 0 70 37 0 0 18 0 32 0 26713270 2014289920 180163 270582939648 4194304 4964800 140733898513216 18446744073709551615 4380234 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=27325/tid=27347] ppid=27323 vsize=1967080 CPUtime=204.37 cores=0-31
/proc/27325/task/27347/stat : 27347 (claspmt) R 27323 27325 27233 0 -1 4202560 7721 0 0 0 20392 45 0 0 19 0 32 0 26713271 2014289920 180163 270582939648 4194304 4964800 140733898513216 18446744073709551615 4668896 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=27325/tid=27348] ppid=27323 vsize=1967080 CPUtime=1.19 cores=0-31
/proc/27325/task/27348/stat : 27348 (claspmt) R 27323 27325 27233 0 -1 4202560 5761 0 0 0 82 37 0 0 17 0 32 0 26713271 2014289920 180163 270582939648 4194304 4964800 140733898513216 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=27325/tid=27349] ppid=27323 vsize=1967080 CPUtime=1.28 cores=0-31
/proc/27325/task/27349/stat : 27349 (claspmt) R 27323 27325 27233 0 -1 4202560 6161 0 0 0 85 43 0 0 17 0 32 0 26713271 2014289920 180163 270582939648 4194304 4964800 140733898513216 18446744073709551615 4637196 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=27325/tid=27350] ppid=27323 vsize=1967080 CPUtime=1.04 cores=0-31
/proc/27325/task/27350/stat : 27350 (claspmt) R 27323 27325 27233 0 -1 4202560 4092 0 0 0 70 34 0 0 17 0 32 0 26713271 2014289920 180163 270582939648 4194304 4964800 140733898513216 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=27325/tid=27351] ppid=27323 vsize=1967080 CPUtime=1.1 cores=0-31
/proc/27325/task/27351/stat : 27351 (claspmt) R 27323 27325 27233 0 -1 4202560 4778 0 0 0 74 36 0 0 18 0 32 0 26713271 2014289920 180163 270582939648 4194304 4964800 140733898513216 18446744073709551615 4668900 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=27325/tid=27352] ppid=27323 vsize=1967080 CPUtime=1.2 cores=0-31
/proc/27325/task/27352/stat : 27352 (claspmt) R 27323 27325 27233 0 -1 4202560 5209 0 0 0 85 35 0 0 17 0 32 0 26713271 2014289920 180163 270582939648 4194304 4964800 140733898513216 18446744073709551615 4627338 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=27325/tid=27353] ppid=27323 vsize=1967080 CPUtime=1.25 cores=0-31
/proc/27325/task/27353/stat : 27353 (claspmt) R 27323 27325 27233 0 -1 4202560 5903 0 0 0 92 33 0 0 17 0 32 0 26713271 2014289920 180163 270582939648 4194304 4964800 140733898513216 18446744073709551615 4670328 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=27325/tid=27354] ppid=27323 vsize=1967080 CPUtime=1.1 cores=0-31
/proc/27325/task/27354/stat : 27354 (claspmt) R 27323 27325 27233 0 -1 4202560 4367 0 0 0 73 37 0 0 18 0 32 0 26713271 2014289920 180163 270582939648 4194304 4964800 140733898513216 18446744073709551615 4670264 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=27325/tid=27355] ppid=27323 vsize=1967080 CPUtime=205.33 cores=0-31
/proc/27325/task/27355/stat : 27355 (claspmt) R 27323 27325 27233 0 -1 4202560 7633 0 0 0 20494 39 0 0 25 0 32 0 26713271 2014289920 180163 270582939648 4194304 4964800 140733898513216 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=27325/tid=27356] ppid=27323 vsize=1967080 CPUtime=1.25 cores=0-31
/proc/27325/task/27356/stat : 27356 (claspmt) R 27323 27325 27233 0 -1 4202560 6749 0 0 0 85 40 0 0 17 0 32 0 26713271 2014289920 180163 270582939648 4194304 4964800 140733898513216 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=27325/tid=27357] ppid=27323 vsize=1967080 CPUtime=1.3 cores=0-31
/proc/27325/task/27357/stat : 27357 (claspmt) R 27323 27325 27233 0 -1 4202560 6828 0 0 0 87 43 0 0 17 0 32 0 26713271 2014289920 180163 270582939648 4194304 4964800 140733898513216 18446744073709551615 4669011 0 0 4096 18946 0 0 0 -1 21 0 0 0
Current children cumulated CPU time (s) 859.26
Current children cumulated vsize (KiB) 1967080

[startup+217.502 s]
/proc/loadavg: 6.33 10.05 20.01 33/445 27363
/proc/meminfo: memFree=261688488/264257624 swapFree=67111528/67111528
[pid=27325] ppid=27323 vsize=1967080 CPUtime=910.34 cores=0-31
/proc/27325/stat : 27325 (claspmt) R 27323 27325 27233 0 -1 4202496 231122 0 0 0 89934 1100 0 0 20 0 32 0 26712317 2014289920 180852 270582939648 4194304 4964800 140733898513216 18446744073709551615 4668564 0 0 4096 18946 18446744073709551615 0 0 17 28 0 0 0
/proc/27325/statm: 491770 180852 461 189 0 486119 0
[pid=27325/tid=27327] ppid=27323 vsize=1967080 CPUtime=2.39 cores=0-31
/proc/27325/task/27327/stat : 27327 (claspmt) R 27323 27325 27233 0 -1 4202560 317 0 0 0 238 1 0 0 20 0 32 0 26713270 2014289920 180852 270582939648 4194304 4964800 140733898513216 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=27325/tid=27328] ppid=27323 vsize=1967080 CPUtime=2.78 cores=0-31
/proc/27325/task/27328/stat : 27328 (claspmt) R 27323 27325 27233 0 -1 4202560 5294 0 0 0 245 33 0 0 19 0 32 0 26713270 2014289920 180852 270582939648 4194304 4964800 140733898513216 18446744073709551615 4669131 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=27325/tid=27329] ppid=27323 vsize=1967080 CPUtime=2.77 cores=0-31
/proc/27325/task/27329/stat : 27329 (claspmt) R 27323 27325 27233 0 -1 4202560 6330 0 0 0 244 33 0 0 20 0 32 0 26713270 2014289920 180852 270582939648 4194304 4964800 140733898513216 18446744073709551615 4378499 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=27325/tid=27330] ppid=27323 vsize=1967080 CPUtime=2.69 cores=0-31
/proc/27325/task/27330/stat : 27330 (claspmt) R 27323 27325 27233 0 -1 4202560 4234 0 0 0 228 41 0 0 20 0 32 0 26713270 2014289920 180852 270582939648 4194304 4964800 140733898513216 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=27325/tid=27331] ppid=27323 vsize=1967080 CPUtime=206.22 cores=0-31
/proc/27325/task/27331/stat : 27331 (claspmt) R 27323 27325 27233 0 -1 4202560 7489 0 0 0 20580 42 0 0 25 0 32 0 26713270 2014289920 180852 270582939648 4194304 4964800 140733898513216 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=27325/tid=27332] ppid=27323 vsize=1967080 CPUtime=2.77 cores=0-31
/proc/27325/task/27332/stat : 27332 (claspmt) R 27323 27325 27233 0 -1 4202560 6197 0 0 0 239 38 0 0 19 0 32 0 26713270 2014289920 180852 270582939648 4194304 4964800 140733898513216 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=27325/tid=27333] ppid=27323 vsize=1967080 CPUtime=2.53 cores=0-31
/proc/27325/task/27333/stat : 27333 (claspmt) R 27323 27325 27233 0 -1 4202560 1517 0 0 0 238 15 0 0 19 0 32 0 26713270 2014289920 180852 270582939648 4194304 4964800 140733898513216 18446744073709551615 4629972 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=27325/tid=27334] ppid=27323 vsize=1967080 CPUtime=2.56 cores=0-31
/proc/27325/task/27334/stat : 27334 (claspmt) R 27323 27325 27233 0 -1 4202560 1839 0 0 0 240 16 0 0 20 0 32 0 26713270 2014289920 180852 270582939648 4194304 4964800 140733898513216 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=27325/tid=27335] ppid=27323 vsize=1967080 CPUtime=2.65 cores=0-31
/proc/27325/task/27335/stat : 27335 (claspmt) R 27323 27325 27233 0 -1 4202560 4659 0 0 0 233 32 0 0 20 0 32 0 26713270 2014289920 180852 270582939648 4194304 4964800 140733898513216 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=27325/tid=27336] ppid=27323 vsize=1967080 CPUtime=2.72 cores=0-31
/proc/27325/task/27336/stat : 27336 (claspmt) R 27323 27325 27233 0 -1 4202560 6129 0 0 0 243 29 0 0 20 0 32 0 26713270 2014289920 180852 270582939648 4194304 4964800 140733898513216 18446744073709551615 4362990 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=27325/tid=27337] ppid=27323 vsize=1967080 CPUtime=2.72 cores=0-31
/proc/27325/task/27337/stat : 27337 (claspmt) R 27323 27325 27233 0 -1 4202560 5952 0 0 0 234 38 0 0 19 0 32 0 26713270 2014289920 180852 270582939648 4194304 4964800 140733898513216 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=27325/tid=27338] ppid=27323 vsize=1967080 CPUtime=2.66 cores=0-31
/proc/27325/task/27338/stat : 27338 (claspmt) R 27323 27325 27233 0 -1 4202560 5029 0 0 0 230 36 0 0 20 0 32 0 26713270 2014289920 180852 270582939648 4194304 4964800 140733898513216 18446744073709551615 4669280 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=27325/tid=27339] ppid=27323 vsize=1967080 CPUtime=205.63 cores=0-31
/proc/27325/task/27339/stat : 27339 (claspmt) R 27323 27325 27233 0 -1 4202560 6991 0 0 0 20520 43 0 0 21 0 32 0 26713270 2014289920 180852 270582939648 4194304 4964800 140733898513216 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=27325/tid=27340] ppid=27323 vsize=1967080 CPUtime=2.79 cores=0-31
/proc/27325/task/27340/stat : 27340 (claspmt) R 27323 27325 27233 0 -1 4202560 6014 0 0 0 241 38 0 0 19 0 32 0 26713270 2014289920 180852 270582939648 4194304 4964800 140733898513216 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=27325/tid=27341] ppid=27323 vsize=1967080 CPUtime=2.91 cores=0-31
/proc/27325/task/27341/stat : 27341 (claspmt) R 27323 27325 27233 0 -1 4202560 6042 0 0 0 250 41 0 0 20 0 32 0 26713270 2014289920 180852 270582939648 4194304 4964800 140733898513216 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=27325/tid=27342] ppid=27323 vsize=1967080 CPUtime=2.63 cores=0-31
/proc/27325/task/27342/stat : 27342 (claspmt) R 27323 27325 27233 0 -1 4202560 4986 0 0 0 228 35 0 0 20 0 32 0 26713270 2014289920 180852 270582939648 4194304 4964800 140733898513216 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=27325/tid=27343] ppid=27323 vsize=1967080 CPUtime=2.63 cores=0-31
/proc/27325/task/27343/stat : 27343 (claspmt) R 27323 27325 27233 0 -1 4202560 4951 0 0 0 231 32 0 0 20 0 32 0 26713270 2014289920 180852 270582939648 4194304 4964800 140733898513216 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=27325/tid=27344] ppid=27323 vsize=1967080 CPUtime=2.78 cores=0-31
/proc/27325/task/27344/stat : 27344 (claspmt) R 27323 27325 27233 0 -1 4202560 5439 0 0 0 244 34 0 0 19 0 32 0 26713270 2014289920 180852 270582939648 4194304 4964800 140733898513216 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=27325/tid=27345] ppid=27323 vsize=1967080 CPUtime=2.78 cores=0-31
/proc/27325/task/27345/stat : 27345 (claspmt) R 27323 27325 27233 0 -1 4202560 6235 0 0 0 245 33 0 0 19 0 32 0 26713270 2014289920 180852 270582939648 4194304 4964800 140733898513216 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=27325/tid=27346] ppid=27323 vsize=1967080 CPUtime=2.67 cores=0-31
/proc/27325/task/27346/stat : 27346 (claspmt) R 27323 27325 27233 0 -1 4202560 4769 0 0 0 230 37 0 0 20 0 32 0 26713270 2014289920 180852 270582939648 4194304 4964800 140733898513216 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=27325/tid=27347] ppid=27323 vsize=1967080 CPUtime=205.97 cores=0-31
/proc/27325/task/27347/stat : 27347 (claspmt) R 27323 27325 27233 0 -1 4202560 7721 0 0 0 20552 45 0 0 22 0 32 0 26713271 2014289920 180852 270582939648 4194304 4964800 140733898513216 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=27325/tid=27348] ppid=27323 vsize=1967080 CPUtime=2.79 cores=0-31
/proc/27325/task/27348/stat : 27348 (claspmt) R 27323 27325 27233 0 -1 4202560 5770 0 0 0 242 37 0 0 19 0 32 0 26713271 2014289920 180852 270582939648 4194304 4964800 140733898513216 18446744073709551615 4660064 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=27325/tid=27349] ppid=27323 vsize=1967080 CPUtime=2.87 cores=0-31
/proc/27325/task/27349/stat : 27349 (claspmt) R 27323 27325 27233 0 -1 4202560 6174 0 0 0 244 43 0 0 20 0 32 0 26713271 2014289920 180852 270582939648 4194304 4964800 140733898513216 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=27325/tid=27350] ppid=27323 vsize=1967080 CPUtime=2.64 cores=0-31
/proc/27325/task/27350/stat : 27350 (claspmt) R 27323 27325 27233 0 -1 4202560 4120 0 0 0 230 34 0 0 20 0 32 0 26713271 2014289920 180852 270582939648 4194304 4964800 140733898513216 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=27325/tid=27351] ppid=27323 vsize=1967080 CPUtime=2.7 cores=0-31
/proc/27325/task/27351/stat : 27351 (claspmt) R 27323 27325 27233 0 -1 4202560 4790 0 0 0 234 36 0 0 20 0 32 0 26713271 2014289920 180852 270582939648 4194304 4964800 140733898513216 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=27325/tid=27352] ppid=27323 vsize=1967080 CPUtime=2.8 cores=0-31
/proc/27325/task/27352/stat : 27352 (claspmt) R 27323 27325 27233 0 -1 4202560 5369 0 0 0 245 35 0 0 20 0 32 0 26713271 2014289920 180852 270582939648 4194304 4964800 140733898513216 18446744073709551615 4378544 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=27325/tid=27353] ppid=27323 vsize=1967080 CPUtime=2.85 cores=0-31
/proc/27325/task/27353/stat : 27353 (claspmt) R 27323 27325 27233 0 -1 4202560 5932 0 0 0 252 33 0 0 20 0 32 0 26713271 2014289920 180852 270582939648 4194304 4964800 140733898513216 18446744073709551615 4378499 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=27325/tid=27354] ppid=27323 vsize=1967080 CPUtime=2.69 cores=0-31
/proc/27325/task/27354/stat : 27354 (claspmt) R 27323 27325 27233 0 -1 4202560 4389 0 0 0 232 37 0 0 20 0 32 0 26713271 2014289920 180852 270582939648 4194304 4964800 140733898513216 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=27325/tid=27355] ppid=27323 vsize=1967080 CPUtime=206.93 cores=0-31
/proc/27325/task/27355/stat : 27355 (claspmt) R 27323 27325 27233 0 -1 4202560 7633 0 0 0 20654 39 0 0 25 0 32 0 26713271 2014289920 180852 270582939648 4194304 4964800 140733898513216 18446744073709551615 4399339 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=27325/tid=27356] ppid=27323 vsize=1967080 CPUtime=2.84 cores=0-31
/proc/27325/task/27356/stat : 27356 (claspmt) R 27323 27325 27233 0 -1 4202560 6764 0 0 0 244 40 0 0 20 0 32 0 26713271 2014289920 180852 270582939648 4194304 4964800 140733898513216 18446744073709551615 4670371 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=27325/tid=27357] ppid=27323 vsize=1967080 CPUtime=2.89 cores=0-31
/proc/27325/task/27357/stat : 27357 (claspmt) R 27323 27325 27233 0 -1 4202560 6843 0 0 0 246 43 0 0 19 0 32 0 26713271 2014289920 180852 270582939648 4194304 4964800 140733898513216 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 21 0 0 0
Current children cumulated CPU time (s) 910.34
Current children cumulated vsize (KiB) 1967080

[startup+218.301 s]
/proc/loadavg: 6.33 10.05 20.01 33/445 27363
/proc/meminfo: memFree=261687496/264257624 swapFree=67111528/67111528
[pid=27325] ppid=27323 vsize=1860624 CPUtime=925.5 cores=0-31
/proc/27325/stat : 27325 (claspmt) R 27323 27325 27233 0 -1 4202496 231143 0 0 0 91448 1102 0 0 18 0 1 0 26712317 1905278976 176717 270582939648 4194304 4964800 140733898513216 18446744073709551615 258650604632 0 0 4096 18946 0 0 0 17 28 0 0 0
/proc/27325/statm: 465156 176717 472 189 0 459505 0
Current children cumulated CPU time (s) 925.5
Current children cumulated vsize (KiB) 1860624

[startup+218.7 s]
/proc/loadavg: 6.33 10.05 20.01 33/445 27363
/proc/meminfo: memFree=261687496/264257624 swapFree=67111528/67111528
[pid=27325] ppid=27323 vsize=1860624 CPUtime=925.89 cores=0-31
/proc/27325/stat : 27325 (claspmt) R 27323 27325 27233 0 -1 4202496 231143 0 0 0 91487 1102 0 0 18 0 1 0 26712317 1905278976 168831 270582939648 4194304 4964800 140733898513216 18446744073709551615 258650981722 0 0 4096 18946 0 0 0 17 28 0 0 0
/proc/27325/statm: 465156 168319 472 189 0 459505 0
Current children cumulated CPU time (s) 925.89
Current children cumulated vsize (KiB) 1860624

Child status: 20
Real time (s): 218.776
CPU time (s): 925.982
CPU user time (s): 914.905
CPU system time (s): 11.0773
CPU usage (%): 423.255
Max. virtual memory (cumulated for all children) (KiB): 1967080

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 914.905
system time used= 11.0773
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 231144
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= 151872
involuntary context switches= 4001

runsolver used 1.38279 second user time and 4.04638 second system time

The end

Launcher Data

Begin job on node200 at 2011-06-09 11:54:14
IDJOB=3472396
IDBENCH=82426
IDSOLVER=1961
FILE ID=node200/3472396-1307613252
RUNJOBID= node200-1307612979-27247
PBS_JOBID= 13547730
Free space on /tmp= 61704 MiB

SOLVER NAME= claspmt 2.0-R4095-patched (fixed)
BENCH NAME= SAT11/application/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-pipesworld-18-step15.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-3472396-1307613252/watcher-3472396-1307613252 -o /tmp/evaluation-result-3472396-1307613252/solver-3472396-1307613252 -C 160000 -W 5100 -M 256000  HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472396-1307613252.cnf

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

MD5SUM BENCH= cabee0328f774a95ab72be66123bb39b
RANDOM SEED=1494674604

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:      262404448 kB
Buffers:        218444 kB
Cached:        1350264 kB
SwapCached:          0 kB
Active:         278672 kB
Inactive:      1353416 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      262404448 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           44156 kB
Writeback:           0 kB
AnonPages:       63452 kB
Mapped:          14524 kB
Slab:           145116 kB
PageTables:       4184 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   160920 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= 61700 MiB
End job on node200 at 2011-06-09 11:57:53