Trace number 3472360

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 2985.24 582.904

General information on the benchmark

Nameapplication/rintanen/SATPlanning/
blocks-blocks-37-1.120-NOTKNOWN.cnf
MD5SUM2a2f6fb35277c8ead36f65de8bb36dbb
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1219.65
Satisfiable
(Un)Satisfiability was proved
Number of variables516641
Number of clauses9436757
Sum of the clauses size20541437
Maximum clause length1408
Minimum clause length1
Number of clauses of size 11517
Number of clauses of size 29079800
Number of clauses of size 3337440
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 518000

Solver Data 

0.00/0.01	c clasp version 2.0.0-RC2
0.00/0.01	c Reading from ...516531/instance-3472360-1307516531.cnf
3.49/3.55	c Solving...
2985.13/582.87	s UNSATISFIABLE
2985.13/582.87	
2985.13/582.87	c Models        : 0     
2985.13/582.87	c Time          : 581.624s (Solving: 578.08s 1st Model: 0.00s Unsat: 578.08s)
2985.13/582.87	c CPU Time      : 2983.960s

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-3472360-1307516531/watcher-3472360-1307516531 -o /tmp/evaluation-result-3472360-1307516531/solver-3472360-1307516531 -C 160000 -W 5100 -M 256000 HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472360-1307516531.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: 25.18 30.54 31.50 1/413 21309
/proc/meminfo: memFree=262802072/264257624 swapFree=67111528/67111528
[pid=21309] ppid=21307 vsize=86476 CPUtime=0.02 cores=0-31
/proc/21309/stat : 21309 (claspmt) R 21307 21309 21283 0 -1 4202496 1973 0 0 0 2 0 0 0 24 0 1 0 17040684 88551424 1902 270582939648 4194304 4964800 140734590253280 18446744073709551615 4700412 0 0 4096 18946 0 0 0 17 25 0 0 0
/proc/21309/statm: 21619 1905 373 189 0 16493 0

[startup+0.111465 s]
/proc/loadavg: 25.18 30.54 31.50 1/413 21309
/proc/meminfo: memFree=262802072/264257624 swapFree=67111528/67111528
[pid=21309] ppid=21307 vsize=86476 CPUtime=0.1 cores=0-31
/proc/21309/stat : 21309 (claspmt) R 21307 21309 21283 0 -1 4202496 8127 0 0 0 8 2 0 0 24 0 1 0 17040684 88551424 8056 270582939648 4194304 4964800 140734590253280 18446744073709551615 4700412 0 0 4096 18946 0 0 0 17 25 0 0 0
/proc/21309/statm: 21619 8061 373 189 0 16493 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 86476

[startup+0.20046 s]
/proc/loadavg: 25.18 30.54 31.50 1/413 21309
/proc/meminfo: memFree=262802072/264257624 swapFree=67111528/67111528
[pid=21309] ppid=21307 vsize=86476 CPUtime=0.19 cores=0-31
/proc/21309/stat : 21309 (claspmt) R 21307 21309 21283 0 -1 4202496 15341 0 0 0 15 4 0 0 24 0 1 0 17040684 88551424 15270 270582939648 4194304 4964800 140734590253280 18446744073709551615 4700412 0 0 4096 18946 0 0 0 17 25 0 0 0
/proc/21309/statm: 21619 15274 373 189 0 16493 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 86476

[startup+0.300475 s]
/proc/loadavg: 25.18 30.54 31.50 1/413 21309
/proc/meminfo: memFree=262802072/264257624 swapFree=67111528/67111528
[pid=21309] ppid=21307 vsize=122816 CPUtime=0.29 cores=0-31
/proc/21309/stat : 21309 (claspmt) R 21307 21309 21283 0 -1 4202496 29319 0 0 0 22 7 0 0 25 0 1 0 17040684 125763584 25212 270582939648 4194304 4964800 140734590253280 18446744073709551615 4367491 0 0 4096 18946 0 0 0 17 25 0 0 0
/proc/21309/statm: 30704 25219 377 189 0 25578 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 122816

[startup+0.700482 s]
/proc/loadavg: 25.18 30.54 31.50 1/413 21309
/proc/meminfo: memFree=262802072/264257624 swapFree=67111528/67111528
[pid=21309] ppid=21307 vsize=123764 CPUtime=0.69 cores=0-31
/proc/21309/stat : 21309 (claspmt) R 21307 21309 21283 0 -1 4202496 29824 0 0 0 61 8 0 0 25 0 1 0 17040684 126734336 25717 270582939648 4194304 4964800 140734590253280 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 25 0 0 0
/proc/21309/statm: 30941 25717 386 189 0 25815 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 123764

[startup+1.50051 s]
/proc/loadavg: 25.18 30.54 31.50 2/414 21310
/proc/meminfo: memFree=262690464/264257624 swapFree=67111528/67111528
[pid=21309] ppid=21307 vsize=144968 CPUtime=1.49 cores=0-31
/proc/21309/stat : 21309 (claspmt) R 21307 21309 21283 0 -1 4202496 35121 0 0 0 136 13 0 0 25 0 1 0 17040684 148447232 31014 270582939648 4194304 4964800 140734590253280 18446744073709551615 258650955760 0 0 4096 18946 0 0 0 17 25 0 0 0
/proc/21309/statm: 36242 31014 386 189 0 31116 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 144968

[startup+3.10056 s]
/proc/loadavg: 25.18 30.54 31.50 2/414 21310
/proc/meminfo: memFree=262658716/264257624 swapFree=67111528/67111528
[pid=21309] ppid=21307 vsize=190856 CPUtime=3.09 cores=0-31
/proc/21309/stat : 21309 (claspmt) R 21307 21309 21283 0 -1 4202496 46588 0 0 0 287 22 0 0 25 0 1 0 17040684 195436544 42481 270582939648 4194304 4964800 140734590253280 18446744073709551615 258650955760 0 0 4096 18946 0 0 0 17 25 0 0 0
/proc/21309/statm: 47714 42481 386 189 0 42588 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 190856

[startup+6.30257 s]
/proc/loadavg: 25.65 30.54 31.50 8/445 21341
/proc/meminfo: memFree=261590836/264257624 swapFree=67111528/67111528
[pid=21309] ppid=21307 vsize=2265120 CPUtime=60.17 cores=0-31
/proc/21309/stat : 21309 (claspmt) S 21307 21309 21283 0 -1 4202496 521115 0 0 0 1005 5012 0 0 18 0 32 0 17040684 2319482880 381548 270582939648 4194304 4964800 140734590253280 18446744073709551615 258662772457 0 0 4096 18946 18446744073709551615 0 0 17 25 0 0 0
/proc/21309/statm: 566280 381557 434 189 0 560629 0
[pid=21309/tid=21311] ppid=21307 vsize=2265120 CPUtime=1.82 cores=0-31
/proc/21309/task/21311/stat : 21311 (claspmt) S 21307 21309 21283 0 -1 4202560 12780 0 0 0 11 171 0 0 18 0 32 0 17041039 2319482880 381565 270582939648 4194304 4964800 140734590253280 18446744073709551615 258662772457 0 0 4096 18946 18446604569565429216 0 0 -1 2 0 0 0
[pid=21309/tid=21312] ppid=21307 vsize=2265120 CPUtime=1.84 cores=0-31
/proc/21309/task/21312/stat : 21312 (claspmt) R 21307 21309 21283 0 -1 4202560 14057 0 0 0 11 173 0 0 18 0 32 0 17041039 2319482880 381569 270582939648 4194304 4964800 140734590253280 18446744073709551615 4652058 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=21309/tid=21313] ppid=21307 vsize=2265120 CPUtime=1.83 cores=0-31
/proc/21309/task/21313/stat : 21313 (claspmt) D 21307 21309 21283 0 -1 4202560 13825 0 0 0 5 178 0 0 18 0 32 0 17041039 2319482880 381582 270582939648 4194304 4964800 140734590253280 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=21309/tid=21314] ppid=21307 vsize=2265120 CPUtime=1.49 cores=0-31
/proc/21309/task/21314/stat : 21314 (claspmt) S 21307 21309 21283 0 -1 4202560 12779 0 0 0 7 142 0 0 18 0 32 0 17041039 2319482880 381584 270582939648 4194304 4964800 140734590253280 18446744073709551615 258662772457 0 0 4096 18946 18446604642787687904 0 0 -1 24 0 0 0
[pid=21309/tid=21315] ppid=21307 vsize=2265120 CPUtime=1.9 cores=0-31
/proc/21309/task/21315/stat : 21315 (claspmt) R 21307 21309 21283 0 -1 4202560 15340 0 0 0 15 175 0 0 18 0 32 0 17041039 2319482880 381592 270582939648 4194304 4964800 140734590253280 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=21309/tid=21316] ppid=21307 vsize=2265120 CPUtime=1.9 cores=0-31
/proc/21309/task/21316/stat : 21316 (claspmt) R 21307 21309 21283 0 -1 4202560 15706 0 0 0 18 172 0 0 18 0 32 0 17041039 2319482880 381596 270582939648 4194304 4964800 140734590253280 18446744073709551615 4342144 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=21309/tid=21317] ppid=21307 vsize=2265120 CPUtime=1.92 cores=0-31
/proc/21309/task/21317/stat : 21317 (claspmt) R 21307 21309 21283 0 -1 4202560 15433 0 0 0 20 172 0 0 18 0 32 0 17041039 2319482880 381599 270582939648 4194304 4964800 140734590253280 18446744073709551615 4652258 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=21309/tid=21318] ppid=21307 vsize=2265120 CPUtime=1.62 cores=0-31
/proc/21309/task/21318/stat : 21318 (claspmt) S 21307 21309 21283 0 -1 4202560 13417 0 0 0 10 152 0 0 18 0 32 0 17041039 2319482880 381611 270582939648 4194304 4964800 140734590253280 18446744073709551615 258662772457 0 0 4096 18946 18446604559299141088 0 0 -1 7 0 0 0
[pid=21309/tid=21319] ppid=21307 vsize=2265120 CPUtime=1.58 cores=0-31
/proc/21309/task/21319/stat : 21319 (claspmt) S 21307 21309 21283 0 -1 4202560 13419 0 0 0 12 146 0 0 18 0 32 0 17041039 2319482880 381612 270582939648 4194304 4964800 140734590253280 18446744073709551615 258662772457 0 0 4096 18946 18446604573128121824 0 0 -1 4 0 0 0
[pid=21309/tid=21320] ppid=21307 vsize=2265120 CPUtime=1.89 cores=0-31
/proc/21309/task/21320/stat : 21320 (claspmt) R 21307 21309 21283 0 -1 4202560 17195 0 0 0 36 153 0 0 18 0 32 0 17041039 2319482880 381620 270582939648 4194304 4964800 140734590253280 18446744073709551615 4342199 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=21309/tid=21321] ppid=21307 vsize=2265120 CPUtime=1.8 cores=0-31
/proc/21309/task/21321/stat : 21321 (claspmt) D 21307 21309 21283 0 -1 4202560 16331 0 0 0 27 153 0 0 18 0 32 0 17041039 2319482880 381621 270582939648 4194304 4964800 140734590253280 18446744073709551615 4376558 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=21309/tid=21322] ppid=21307 vsize=2265120 CPUtime=1.7 cores=0-31
/proc/21309/task/21322/stat : 21322 (claspmt) S 21307 21309 21283 0 -1 4202560 13169 0 0 0 10 160 0 0 18 0 32 0 17041039 2319482880 381623 270582939648 4194304 4964800 140734590253280 18446744073709551615 258662772457 0 0 4096 18946 18446604569441705440 0 0 -1 5 0 0 0
[pid=21309/tid=21323] ppid=21307 vsize=2265120 CPUtime=2.49 cores=0-31
/proc/21309/task/21323/stat : 21323 (claspmt) R 21307 21309 21283 0 -1 4202560 14373 0 0 0 118 131 0 0 19 0 32 0 17041039 2319482880 381628 270582939648 4194304 4964800 140734590253280 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=21309/tid=21324] ppid=21307 vsize=2265120 CPUtime=1.99 cores=0-31
/proc/21309/task/21324/stat : 21324 (claspmt) R 21307 21309 21283 0 -1 4202560 17475 0 0 0 33 166 0 0 18 0 32 0 17041039 2319482880 381639 270582939648 4194304 4964800 140734590253280 18446744073709551615 4375558 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=21309/tid=21325] ppid=21307 vsize=2265120 CPUtime=1.98 cores=0-31
/proc/21309/task/21325/stat : 21325 (claspmt) R 21307 21309 21283 0 -1 4202560 16905 0 0 0 37 161 0 0 18 0 32 0 17041039 2319482880 381642 270582939648 4194304 4964800 140734590253280 18446744073709551615 4388722 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=21309/tid=21326] ppid=21307 vsize=2265120 CPUtime=1.61 cores=0-31
/proc/21309/task/21326/stat : 21326 (claspmt) S 21307 21309 21283 0 -1 4202560 13369 0 0 0 8 153 0 0 18 0 32 0 17041039 2319482880 381649 270582939648 4194304 4964800 140734590253280 18446744073709551615 258662772457 0 0 4096 18946 18446604562694249952 0 0 -1 27 0 0 0
[pid=21309/tid=21327] ppid=21307 vsize=2265120 CPUtime=1.69 cores=0-31
/proc/21309/task/21327/stat : 21327 (claspmt) S 21307 21309 21283 0 -1 4202560 13433 0 0 0 9 160 0 0 18 0 32 0 17041040 2319482880 381658 270582939648 4194304 4964800 140734590253280 18446744073709551615 258662772457 0 0 4096 18946 18446604563929349600 0 0 -1 25 0 0 0
[pid=21309/tid=21328] ppid=21307 vsize=2265120 CPUtime=1.89 cores=0-31
/proc/21309/task/21328/stat : 21328 (claspmt) D 21307 21309 21283 0 -1 4202560 15698 0 0 0 25 164 0 0 18 0 32 0 17041040 2319482880 381662 270582939648 4194304 4964800 140734590253280 18446744073709551615 4376558 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=21309/tid=21329] ppid=21307 vsize=2265120 CPUtime=1.83 cores=0-31
/proc/21309/task/21329/stat : 21329 (claspmt) S 21307 21309 21283 0 -1 4202560 19096 0 0 0 42 141 0 0 18 0 32 0 17041040 2319482880 381672 270582939648 4194304 4964800 140734590253280 18446744073709551615 258662772457 0 0 4096 18946 18446604570338549216 0 0 -1 28 0 0 0
[pid=21309/tid=21330] ppid=21307 vsize=2265120 CPUtime=1.51 cores=0-31
/proc/21309/task/21330/stat : 21330 (claspmt) S 21307 21309 21283 0 -1 4202560 13439 0 0 0 9 142 0 0 18 0 32 0 17041040 2319482880 381675 270582939648 4194304 4964800 140734590253280 18446744073709551615 258662772457 0 0 4096 18946 18446604559563840992 0 0 -1 8 0 0 0
[pid=21309/tid=21331] ppid=21307 vsize=2265120 CPUtime=1.77 cores=0-31
/proc/21309/task/21331/stat : 21331 (claspmt) D 21307 21309 21283 0 -1 4202560 16168 0 0 0 14 163 0 0 18 0 32 0 17041040 2319482880 381682 270582939648 4194304 4964800 140734590253280 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=21309/tid=21332] ppid=21307 vsize=2265120 CPUtime=1.83 cores=0-31
/proc/21309/task/21332/stat : 21332 (claspmt) R 21307 21309 21283 0 -1 4202560 14453 0 0 0 10 173 0 0 18 0 32 0 17041040 2319482880 381686 270582939648 4194304 4964800 140734590253280 18446744073709551615 4652140 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=21309/tid=21333] ppid=21307 vsize=2265120 CPUtime=1.72 cores=0-31
/proc/21309/task/21333/stat : 21333 (claspmt) R 21307 21309 21283 0 -1 4202560 13468 0 0 0 5 167 0 0 18 0 32 0 17041040 2319482880 381690 270582939648 4194304 4964800 140734590253280 18446744073709551615 4381175 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=21309/tid=21334] ppid=21307 vsize=2265120 CPUtime=1.71 cores=0-31
/proc/21309/task/21334/stat : 21334 (claspmt) S 21307 21309 21283 0 -1 4202560 13418 0 0 0 9 162 0 0 18 0 32 0 17041040 2319482880 381700 270582939648 4194304 4964800 140734590253280 18446744073709551615 258662772457 0 0 4096 18946 18446604567817231840 0 0 -1 14 0 0 0
[pid=21309/tid=21335] ppid=21307 vsize=2265120 CPUtime=1.58 cores=0-31
/proc/21309/task/21335/stat : 21335 (claspmt) S 21307 21309 21283 0 -1 4202560 13236 0 0 0 9 149 0 0 18 0 32 0 17041040 2319482880 381702 270582939648 4194304 4964800 140734590253280 18446744073709551615 258662772457 0 0 4096 18946 18446604563053075936 0 0 -1 17 0 0 0
[pid=21309/tid=21336] ppid=21307 vsize=2265120 CPUtime=1.95 cores=0-31
/proc/21309/task/21336/stat : 21336 (claspmt) R 21307 21309 21283 0 -1 4202560 16251 0 0 0 31 164 0 0 18 0 32 0 17041040 2319482880 381718 270582939648 4194304 4964800 140734590253280 18446744073709551615 4652162 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=21309/tid=21337] ppid=21307 vsize=2265120 CPUtime=2.03 cores=0-31
/proc/21309/task/21337/stat : 21337 (claspmt) R 21307 21309 21283 0 -1 4202560 16878 0 0 0 35 168 0 0 18 0 32 0 17041040 2319482880 381718 270582939648 4194304 4964800 140734590253280 18446744073709551615 4652195 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=21309/tid=21338] ppid=21307 vsize=2265120 CPUtime=1.71 cores=0-31
/proc/21309/task/21338/stat : 21338 (claspmt) S 21307 21309 21283 0 -1 4202560 13445 0 0 0 7 164 0 0 18 0 32 0 17041040 2319482880 381720 270582939648 4194304 4964800 140734590253280 18446744073709551615 258662772457 0 0 4096 18946 18446604567833247200 0 0 -1 21 0 0 0
[pid=21309/tid=21339] ppid=21307 vsize=2265120 CPUtime=1.85 cores=0-31
/proc/21309/task/21339/stat : 21339 (claspmt) R 21307 21309 21283 0 -1 4202560 15499 0 0 0 14 171 0 0 18 0 32 0 17041040 2319482880 381730 270582939648 4194304 4964800 140734590253280 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=21309/tid=21340] ppid=21307 vsize=2265120 CPUtime=2.02 cores=0-31
/proc/21309/task/21340/stat : 21340 (claspmt) D 21307 21309 21283 0 -1 4202560 16977 0 0 0 37 165 0 0 18 0 32 0 17041040 2319482880 381740 270582939648 4194304 4964800 140734590253280 18446744073709551615 258650653299 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=21309/tid=21341] ppid=21307 vsize=2265120 CPUtime=1.9 cores=0-31
/proc/21309/task/21341/stat : 21341 (claspmt) D 21307 21309 21283 0 -1 4202560 16003 0 0 0 27 163 0 0 18 0 32 0 17041040 2319482880 381743 270582939648 4194304 4964800 140734590253280 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 26 0 0 0
Current children cumulated CPU time (s) 60.17
Current children cumulated vsize (KiB) 2265120

[startup+12.7018 s]
/proc/loadavg: 23.91 30.10 31.35 5/445 21343
/proc/meminfo: memFree=261137380/264257624 swapFree=67111528/67111528
[pid=21309] ppid=21307 vsize=2330656 CPUtime=89.82 cores=0-31
/proc/21309/stat : 21309 (claspmt) S 21307 21309 21283 0 -1 4202496 556906 0 0 0 3942 5040 0 0 18 0 32 0 17040684 2386591744 417094 270582939648 4194304 4964800 140734590253280 18446744073709551615 258662772457 0 0 4096 18946 18446744073709551615 0 0 17 25 0 0 0
/proc/21309/statm: 582664 417094 434 189 0 577013 0
[pid=21309/tid=21311] ppid=21307 vsize=2330656 CPUtime=1.82 cores=0-31
/proc/21309/task/21311/stat : 21311 (claspmt) S 21307 21309 21283 0 -1 4202560 12780 0 0 0 11 171 0 0 18 0 32 0 17041039 2386591744 417094 270582939648 4194304 4964800 140734590253280 18446744073709551615 258662772457 0 0 4096 18946 18446604569565429216 0 0 -1 2 0 0 0
[pid=21309/tid=21312] ppid=21307 vsize=2330656 CPUtime=2.11 cores=0-31
/proc/21309/task/21312/stat : 21312 (claspmt) S 21307 21309 21283 0 -1 4202560 18033 0 0 0 37 174 0 0 18 0 32 0 17041039 2386591744 417094 270582939648 4194304 4964800 140734590253280 18446744073709551615 258662772457 0 0 4096 18946 18446604569441713632 0 0 -1 12 0 0 0
[pid=21309/tid=21313] ppid=21307 vsize=2330656 CPUtime=2.12 cores=0-31
/proc/21309/task/21313/stat : 21313 (claspmt) S 21307 21309 21283 0 -1 4202560 18209 0 0 0 30 182 0 0 18 0 32 0 17041039 2386591744 417094 270582939648 4194304 4964800 140734590253280 18446744073709551615 258662772457 0 0 4096 18946 18446604562235555296 0 0 -1 0 0 0 0
[pid=21309/tid=21314] ppid=21307 vsize=2330656 CPUtime=1.49 cores=0-31
/proc/21309/task/21314/stat : 21314 (claspmt) S 21307 21309 21283 0 -1 4202560 12779 0 0 0 7 142 0 0 18 0 32 0 17041039 2386591744 417094 270582939648 4194304 4964800 140734590253280 18446744073709551615 258662772457 0 0 4096 18946 18446604642787687904 0 0 -1 24 0 0 0
[pid=21309/tid=21315] ppid=21307 vsize=2330656 CPUtime=8.26 cores=0-31
/proc/21309/task/21315/stat : 21315 (claspmt) R 21307 21309 21283 0 -1 4202560 15802 0 0 0 649 177 0 0 25 0 32 0 17041039 2386591744 417094 270582939648 4194304 4964800 140734590253280 18446744073709551615 4669011 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=21309/tid=21316] ppid=21307 vsize=2330656 CPUtime=2.22 cores=0-31
/proc/21309/task/21316/stat : 21316 (claspmt) S 21307 21309 21283 0 -1 4202560 18748 0 0 0 49 173 0 0 18 0 32 0 17041039 2386591744 417094 270582939648 4194304 4964800 140734590253280 18446744073709551615 258662772457 0 0 4096 18946 18446604570536992224 0 0 -1 30 0 0 0
[pid=21309/tid=21317] ppid=21307 vsize=2330656 CPUtime=2.32 cores=0-31
/proc/21309/task/21317/stat : 21317 (claspmt) S 21307 21309 21283 0 -1 4202560 16274 0 0 0 59 173 0 0 18 0 32 0 17041039 2386591744 417094 270582939648 4194304 4964800 140734590253280 18446744073709551615 258662772457 0 0 4096 18946 18446604566490217952 0 0 -1 22 0 0 0
[pid=21309/tid=21318] ppid=21307 vsize=2330656 CPUtime=1.62 cores=0-31
/proc/21309/task/21318/stat : 21318 (claspmt) S 21307 21309 21283 0 -1 4202560 13417 0 0 0 10 152 0 0 18 0 32 0 17041039 2386591744 417094 270582939648 4194304 4964800 140734590253280 18446744073709551615 258662772457 0 0 4096 18946 18446604559299141088 0 0 -1 7 0 0 0
[pid=21309/tid=21319] ppid=21307 vsize=2330656 CPUtime=1.58 cores=0-31
/proc/21309/task/21319/stat : 21319 (claspmt) S 21307 21309 21283 0 -1 4202560 13419 0 0 0 12 146 0 0 18 0 32 0 17041039 2386591744 417094 270582939648 4194304 4964800 140734590253280 18446744073709551615 258662772457 0 0 4096 18946 18446604573128121824 0 0 -1 4 0 0 0
[pid=21309/tid=21320] ppid=21307 vsize=2330656 CPUtime=2.05 cores=0-31
/proc/21309/task/21320/stat : 21320 (claspmt) S 21307 21309 21283 0 -1 4202560 19936 0 0 0 51 154 0 0 18 0 32 0 17041039 2386591744 417094 270582939648 4194304 4964800 140734590253280 18446744073709551615 258662772457 0 0 4096 18946 18446604574132714976 0 0 -1 15 0 0 0
[pid=21309/tid=21321] ppid=21307 vsize=2330656 CPUtime=2.04 cores=0-31
/proc/21309/task/21321/stat : 21321 (claspmt) S 21307 21309 21283 0 -1 4202560 18472 0 0 0 50 154 0 0 18 0 32 0 17041039 2386591744 417094 270582939648 4194304 4964800 140734590253280 18446744073709551615 258662772457 0 0 4096 18946 18446604575027994080 0 0 -1 23 0 0 0
[pid=21309/tid=21322] ppid=21307 vsize=2330656 CPUtime=1.7 cores=0-31
/proc/21309/task/21322/stat : 21322 (claspmt) S 21307 21309 21283 0 -1 4202560 13169 0 0 0 10 160 0 0 18 0 32 0 17041039 2386591744 417094 270582939648 4194304 4964800 140734590253280 18446744073709551615 258662772457 0 0 4096 18946 18446604569441705440 0 0 -1 5 0 0 0
[pid=21309/tid=21323] ppid=21307 vsize=2330656 CPUtime=8.88 cores=0-31
/proc/21309/task/21323/stat : 21323 (claspmt) R 21307 21309 21283 0 -1 4202560 14420 0 0 0 757 131 0 0 25 0 32 0 17041039 2386591744 417094 270582939648 4194304 4964800 140734590253280 18446744073709551615 4669011 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=21309/tid=21324] ppid=21307 vsize=2330656 CPUtime=2.18 cores=0-31
/proc/21309/task/21324/stat : 21324 (claspmt) S 21307 21309 21283 0 -1 4202560 18639 0 0 0 51 167 0 0 18 0 32 0 17041039 2386591744 417094 270582939648 4194304 4964800 140734590253280 18446744073709551615 258662772457 0 0 4096 18946 18446604568749800928 0 0 -1 19 0 0 0
[pid=21309/tid=21325] ppid=21307 vsize=2330656 CPUtime=2.02 cores=0-31
/proc/21309/task/21325/stat : 21325 (claspmt) S 21307 21309 21283 0 -1 4202560 16907 0 0 0 41 161 0 0 18 0 32 0 17041039 2386591744 417094 270582939648 4194304 4964800 140734590253280 18446744073709551615 258662772457 0 0 4096 18946 18446604559130754528 0 0 -1 16 0 0 0
[pid=21309/tid=21326] ppid=21307 vsize=2330656 CPUtime=1.61 cores=0-31
/proc/21309/task/21326/stat : 21326 (claspmt) S 21307 21309 21283 0 -1 4202560 13369 0 0 0 8 153 0 0 18 0 32 0 17041039 2386591744 417094 270582939648 4194304 4964800 140734590253280 18446744073709551615 258662772457 0 0 4096 18946 18446604562694249952 0 0 -1 27 0 0 0
[pid=21309/tid=21327] ppid=21307 vsize=2330656 CPUtime=1.69 cores=0-31
/proc/21309/task/21327/stat : 21327 (claspmt) S 21307 21309 21283 0 -1 4202560 13433 0 0 0 9 160 0 0 18 0 32 0 17041040 2386591744 417094 270582939648 4194304 4964800 140734590253280 18446744073709551615 258662772457 0 0 4096 18946 18446604563929349600 0 0 -1 25 0 0 0
[pid=21309/tid=21328] ppid=21307 vsize=2330656 CPUtime=2.15 cores=0-31
/proc/21309/task/21328/stat : 21328 (claspmt) S 21307 21309 21283 0 -1 4202560 19194 0 0 0 50 165 0 0 18 0 32 0 17041040 2386591744 417094 270582939648 4194304 4964800 140734590253280 18446744073709551615 258662772457 0 0 4096 18946 18446604574142119392 0 0 -1 29 0 0 0
[pid=21309/tid=21329] ppid=21307 vsize=2330656 CPUtime=1.83 cores=0-31
/proc/21309/task/21329/stat : 21329 (claspmt) S 21307 21309 21283 0 -1 4202560 19096 0 0 0 42 141 0 0 18 0 32 0 17041040 2386591744 417094 270582939648 4194304 4964800 140734590253280 18446744073709551615 258662772457 0 0 4096 18946 18446604570338549216 0 0 -1 28 0 0 0
[pid=21309/tid=21330] ppid=21307 vsize=2330656 CPUtime=1.51 cores=0-31
/proc/21309/task/21330/stat : 21330 (claspmt) S 21307 21309 21283 0 -1 4202560 13439 0 0 0 9 142 0 0 18 0 32 0 17041040 2386591744 417094 270582939648 4194304 4964800 140734590253280 18446744073709551615 258662772457 0 0 4096 18946 18446604559563840992 0 0 -1 8 0 0 0
[pid=21309/tid=21331] ppid=21307 vsize=2330656 CPUtime=8.14 cores=0-31

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

/proc/21309/task/21312/stat : 21312 (claspmt) S 21307 21309 21283 0 -1 4202560 18033 0 0 0 37 174 0 0 18 0 32 0 17041039 2392735744 428192 270582939648 4194304 4964800 140734590253280 18446744073709551615 258662772457 0 0 4096 18946 18446604569441713632 0 0 -1 12 0 0 0
[pid=21309/tid=21313] ppid=21307 vsize=2336656 CPUtime=2.12 cores=0-31
/proc/21309/task/21313/stat : 21313 (claspmt) S 21307 21309 21283 0 -1 4202560 18209 0 0 0 30 182 0 0 18 0 32 0 17041039 2392735744 428192 270582939648 4194304 4964800 140734590253280 18446744073709551615 258662772457 0 0 4096 18946 18446604562235555296 0 0 -1 0 0 0 0
[pid=21309/tid=21314] ppid=21307 vsize=2336656 CPUtime=1.49 cores=0-31
/proc/21309/task/21314/stat : 21314 (claspmt) S 21307 21309 21283 0 -1 4202560 12779 0 0 0 7 142 0 0 18 0 32 0 17041039 2392735744 428192 270582939648 4194304 4964800 140734590253280 18446744073709551615 258662772457 0 0 4096 18946 18446604642787687904 0 0 -1 24 0 0 0
[pid=21309/tid=21315] ppid=21307 vsize=2336656 CPUtime=457.77 cores=0-31
/proc/21309/task/21315/stat : 21315 (claspmt) R 21307 21309 21283 0 -1 4202560 17234 0 0 0 45597 180 0 0 25 0 32 0 17041039 2392735744 428192 270582939648 4194304 4964800 140734590253280 18446744073709551615 4668930 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=21309/tid=21316] ppid=21307 vsize=2336656 CPUtime=2.22 cores=0-31
/proc/21309/task/21316/stat : 21316 (claspmt) S 21307 21309 21283 0 -1 4202560 18748 0 0 0 49 173 0 0 18 0 32 0 17041039 2392735744 428192 270582939648 4194304 4964800 140734590253280 18446744073709551615 258662772457 0 0 4096 18946 18446604570536992224 0 0 -1 30 0 0 0
[pid=21309/tid=21317] ppid=21307 vsize=2336656 CPUtime=2.32 cores=0-31
/proc/21309/task/21317/stat : 21317 (claspmt) S 21307 21309 21283 0 -1 4202560 16274 0 0 0 59 173 0 0 18 0 32 0 17041039 2392735744 428192 270582939648 4194304 4964800 140734590253280 18446744073709551615 258662772457 0 0 4096 18946 18446604566490217952 0 0 -1 22 0 0 0
[pid=21309/tid=21318] ppid=21307 vsize=2336656 CPUtime=1.62 cores=0-31
/proc/21309/task/21318/stat : 21318 (claspmt) S 21307 21309 21283 0 -1 4202560 13417 0 0 0 10 152 0 0 18 0 32 0 17041039 2392735744 428192 270582939648 4194304 4964800 140734590253280 18446744073709551615 258662772457 0 0 4096 18946 18446604559299141088 0 0 -1 7 0 0 0
[pid=21309/tid=21319] ppid=21307 vsize=2336656 CPUtime=1.58 cores=0-31
/proc/21309/task/21319/stat : 21319 (claspmt) S 21307 21309 21283 0 -1 4202560 13419 0 0 0 12 146 0 0 18 0 32 0 17041039 2392735744 428192 270582939648 4194304 4964800 140734590253280 18446744073709551615 258662772457 0 0 4096 18946 18446604573128121824 0 0 -1 4 0 0 0
[pid=21309/tid=21320] ppid=21307 vsize=2336656 CPUtime=2.05 cores=0-31
/proc/21309/task/21320/stat : 21320 (claspmt) S 21307 21309 21283 0 -1 4202560 19936 0 0 0 51 154 0 0 18 0 32 0 17041039 2392735744 428192 270582939648 4194304 4964800 140734590253280 18446744073709551615 258662772457 0 0 4096 18946 18446604574132714976 0 0 -1 15 0 0 0
[pid=21309/tid=21321] ppid=21307 vsize=2336656 CPUtime=2.04 cores=0-31
/proc/21309/task/21321/stat : 21321 (claspmt) S 21307 21309 21283 0 -1 4202560 18472 0 0 0 50 154 0 0 18 0 32 0 17041039 2392735744 428192 270582939648 4194304 4964800 140734590253280 18446744073709551615 258662772457 0 0 4096 18946 18446604575027994080 0 0 -1 23 0 0 0
[pid=21309/tid=21322] ppid=21307 vsize=2336656 CPUtime=1.7 cores=0-31
/proc/21309/task/21322/stat : 21322 (claspmt) S 21307 21309 21283 0 -1 4202560 13169 0 0 0 10 160 0 0 18 0 32 0 17041039 2392735744 428192 270582939648 4194304 4964800 140734590253280 18446744073709551615 258662772457 0 0 4096 18946 18446604569441705440 0 0 -1 5 0 0 0
[pid=21309/tid=21323] ppid=21307 vsize=2336656 CPUtime=458.39 cores=0-31
/proc/21309/task/21323/stat : 21323 (claspmt) R 21307 21309 21283 0 -1 4202560 16125 0 0 0 45688 151 0 0 25 0 32 0 17041039 2392735744 428192 270582939648 4194304 4964800 140734590253280 18446744073709551615 4670160 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=21309/tid=21324] ppid=21307 vsize=2336656 CPUtime=2.18 cores=0-31
/proc/21309/task/21324/stat : 21324 (claspmt) S 21307 21309 21283 0 -1 4202560 18639 0 0 0 51 167 0 0 18 0 32 0 17041039 2392735744 428192 270582939648 4194304 4964800 140734590253280 18446744073709551615 258662772457 0 0 4096 18946 18446604568749800928 0 0 -1 19 0 0 0
[pid=21309/tid=21325] ppid=21307 vsize=2336656 CPUtime=2.02 cores=0-31
/proc/21309/task/21325/stat : 21325 (claspmt) S 21307 21309 21283 0 -1 4202560 16907 0 0 0 41 161 0 0 18 0 32 0 17041039 2392735744 428192 270582939648 4194304 4964800 140734590253280 18446744073709551615 258662772457 0 0 4096 18946 18446604559130754528 0 0 -1 16 0 0 0
[pid=21309/tid=21326] ppid=21307 vsize=2336656 CPUtime=1.61 cores=0-31
/proc/21309/task/21326/stat : 21326 (claspmt) S 21307 21309 21283 0 -1 4202560 13369 0 0 0 8 153 0 0 18 0 32 0 17041039 2392735744 428192 270582939648 4194304 4964800 140734590253280 18446744073709551615 258662772457 0 0 4096 18946 18446604562694249952 0 0 -1 27 0 0 0
[pid=21309/tid=21327] ppid=21307 vsize=2336656 CPUtime=1.69 cores=0-31
/proc/21309/task/21327/stat : 21327 (claspmt) S 21307 21309 21283 0 -1 4202560 13433 0 0 0 9 160 0 0 18 0 32 0 17041040 2392735744 428192 270582939648 4194304 4964800 140734590253280 18446744073709551615 258662772457 0 0 4096 18946 18446604563929349600 0 0 -1 25 0 0 0
[pid=21309/tid=21328] ppid=21307 vsize=2336656 CPUtime=2.15 cores=0-31
/proc/21309/task/21328/stat : 21328 (claspmt) S 21307 21309 21283 0 -1 4202560 19194 0 0 0 50 165 0 0 18 0 32 0 17041040 2392735744 428192 270582939648 4194304 4964800 140734590253280 18446744073709551615 258662772457 0 0 4096 18946 18446604574142119392 0 0 -1 29 0 0 0
[pid=21309/tid=21329] ppid=21307 vsize=2336656 CPUtime=1.83 cores=0-31
/proc/21309/task/21329/stat : 21329 (claspmt) S 21307 21309 21283 0 -1 4202560 19096 0 0 0 42 141 0 0 18 0 32 0 17041040 2392735744 428192 270582939648 4194304 4964800 140734590253280 18446744073709551615 258662772457 0 0 4096 18946 18446604570338549216 0 0 -1 28 0 0 0
[pid=21309/tid=21330] ppid=21307 vsize=2336656 CPUtime=1.51 cores=0-31
/proc/21309/task/21330/stat : 21330 (claspmt) S 21307 21309 21283 0 -1 4202560 13439 0 0 0 9 142 0 0 18 0 32 0 17041040 2392735744 428192 270582939648 4194304 4964800 140734590253280 18446744073709551615 258662772457 0 0 4096 18946 18446604559563840992 0 0 -1 8 0 0 0
[pid=21309/tid=21331] ppid=21307 vsize=2336656 CPUtime=457.64 cores=0-31
/proc/21309/task/21331/stat : 21331 (claspmt) R 21307 21309 21283 0 -1 4202560 20554 0 0 0 45591 173 0 0 25 0 32 0 17041040 2392735744 428192 270582939648 4194304 4964800 140734590253280 18446744073709551615 4670155 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=21309/tid=21332] ppid=21307 vsize=2336656 CPUtime=2.26 cores=0-31
/proc/21309/task/21332/stat : 21332 (claspmt) S 21307 21309 21283 0 -1 4202560 15863 0 0 0 52 174 0 0 18 0 32 0 17041040 2392735744 428192 270582939648 4194304 4964800 140734590253280 18446744073709551615 258662772457 0 0 4096 18946 18446604574180761056 0 0 -1 1 0 0 0
[pid=21309/tid=21333] ppid=21307 vsize=2336656 CPUtime=2.35 cores=0-31
/proc/21309/task/21333/stat : 21333 (claspmt) S 21307 21309 21283 0 -1 4202560 17070 0 0 0 62 173 0 0 18 0 32 0 17041040 2392735744 428192 270582939648 4194304 4964800 140734590253280 18446744073709551615 258662772457 0 0 4096 18946 18446604566640860640 0 0 -1 26 0 0 0
[pid=21309/tid=21334] ppid=21307 vsize=2336656 CPUtime=1.71 cores=0-31
/proc/21309/task/21334/stat : 21334 (claspmt) S 21307 21309 21283 0 -1 4202560 13418 0 0 0 9 162 0 0 18 0 32 0 17041040 2392735744 428192 270582939648 4194304 4964800 140734590253280 18446744073709551615 258662772457 0 0 4096 18946 18446604567817231840 0 0 -1 14 0 0 0
[pid=21309/tid=21335] ppid=21307 vsize=2336656 CPUtime=1.58 cores=0-31
/proc/21309/task/21335/stat : 21335 (claspmt) S 21307 21309 21283 0 -1 4202560 13236 0 0 0 9 149 0 0 18 0 32 0 17041040 2392735744 428192 270582939648 4194304 4964800 140734590253280 18446744073709551615 258662772457 0 0 4096 18946 18446604563053075936 0 0 -1 17 0 0 0
[pid=21309/tid=21336] ppid=21307 vsize=2336656 CPUtime=2.17 cores=0-31
/proc/21309/task/21336/stat : 21336 (claspmt) S 21307 21309 21283 0 -1 4202560 17982 0 0 0 52 165 0 0 18 0 32 0 17041040 2392735744 428192 270582939648 4194304 4964800 140734590253280 18446744073709551615 258662772457 0 0 4096 18946 18446604575028002272 0 0 -1 9 0 0 0
[pid=21309/tid=21337] ppid=21307 vsize=2336656 CPUtime=2.23 cores=0-31
/proc/21309/task/21337/stat : 21337 (claspmt) S 21307 21309 21283 0 -1 4202560 18849 0 0 0 54 169 0 0 18 0 32 0 17041040 2392735744 428192 270582939648 4194304 4964800 140734590253280 18446744073709551615 258662772457 0 0 4096 18946 18446604559873277408 0 0 -1 18 0 0 0
[pid=21309/tid=21338] ppid=21307 vsize=2336656 CPUtime=1.71 cores=0-31
/proc/21309/task/21338/stat : 21338 (claspmt) S 21307 21309 21283 0 -1 4202560 13445 0 0 0 7 164 0 0 18 0 32 0 17041040 2392735744 428192 270582939648 4194304 4964800 140734590253280 18446744073709551615 258662772457 0 0 4096 18946 18446604567833247200 0 0 -1 21 0 0 0
[pid=21309/tid=21339] ppid=21307 vsize=2336656 CPUtime=457.72 cores=0-31
/proc/21309/task/21339/stat : 21339 (claspmt) R 21307 21309 21283 0 -1 4202560 20174 0 0 0 45585 187 0 0 25 0 32 0 17041040 2392735744 428192 270582939648 4194304 4964800 140734590253280 18446744073709551615 4669131 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=21309/tid=21340] ppid=21307 vsize=2336656 CPUtime=2.13 cores=0-31
/proc/21309/task/21340/stat : 21340 (claspmt) S 21307 21309 21283 0 -1 4202560 19514 0 0 0 47 166 0 0 18 0 32 0 17041040 2392735744 428192 270582939648 4194304 4964800 140734590253280 18446744073709551615 258662772457 0 0 4096 18946 18446604563929341408 0 0 -1 20 0 0 0
[pid=21309/tid=21341] ppid=21307 vsize=2336656 CPUtime=2.28 cores=0-31
/proc/21309/task/21341/stat : 21341 (claspmt) S 21307 21309 21283 0 -1 4202560 17019 0 0 0 62 166 0 0 18 0 32 0 17041040 2392735744 428192 270582939648 4194304 4964800 140734590253280 18446744073709551615 258662772457 0 0 4096 18946 18446604573514628576 0 0 -1 26 0 0 0
Current children cumulated CPU time (s) 1887.85
Current children cumulated vsize (KiB) 2336656

[startup+522.302 s]
/proc/loadavg: 4.00 8.72 19.77 5/445 21355
/proc/meminfo: memFree=261097716/264257624 swapFree=67111528/67111528
[pid=21309] ppid=21307 vsize=2336656 CPUtime=2127.8 cores=0-31
/proc/21309/stat : 21309 (claspmt) S 21307 21309 21283 0 -1 4202496 568035 0 0 0 207691 5089 0 0 18 0 32 0 17040684 2392735744 428223 270582939648 4194304 4964800 140734590253280 18446744073709551615 258662772457 0 0 4096 18946 18446744073709551615 0 0 17 25 0 0 0
/proc/21309/statm: 584164 428223 434 189 0 578513 0
[pid=21309/tid=21311] ppid=21307 vsize=2336656 CPUtime=1.82 cores=0-31
/proc/21309/task/21311/stat : 21311 (claspmt) S 21307 21309 21283 0 -1 4202560 12780 0 0 0 11 171 0 0 18 0 32 0 17041039 2392735744 428223 270582939648 4194304 4964800 140734590253280 18446744073709551615 258662772457 0 0 4096 18946 18446604569565429216 0 0 -1 2 0 0 0
[pid=21309/tid=21312] ppid=21307 vsize=2336656 CPUtime=2.11 cores=0-31
/proc/21309/task/21312/stat : 21312 (claspmt) S 21307 21309 21283 0 -1 4202560 18033 0 0 0 37 174 0 0 18 0 32 0 17041039 2392735744 428223 270582939648 4194304 4964800 140734590253280 18446744073709551615 258662772457 0 0 4096 18946 18446604569441713632 0 0 -1 12 0 0 0
[pid=21309/tid=21313] ppid=21307 vsize=2336656 CPUtime=2.12 cores=0-31
/proc/21309/task/21313/stat : 21313 (claspmt) S 21307 21309 21283 0 -1 4202560 18209 0 0 0 30 182 0 0 18 0 32 0 17041039 2392735744 428223 270582939648 4194304 4964800 140734590253280 18446744073709551615 258662772457 0 0 4096 18946 18446604562235555296 0 0 -1 0 0 0 0
[pid=21309/tid=21314] ppid=21307 vsize=2336656 CPUtime=1.49 cores=0-31
/proc/21309/task/21314/stat : 21314 (claspmt) S 21307 21309 21283 0 -1 4202560 12779 0 0 0 7 142 0 0 18 0 32 0 17041039 2392735744 428223 270582939648 4194304 4964800 140734590253280 18446744073709551615 258662772457 0 0 4096 18946 18446604642787687904 0 0 -1 24 0 0 0
[pid=21309/tid=21315] ppid=21307 vsize=2336656 CPUtime=517.76 cores=0-31
/proc/21309/task/21315/stat : 21315 (claspmt) R 21307 21309 21283 0 -1 4202560 17241 0 0 0 51596 180 0 0 25 0 32 0 17041039 2392735744 428223 270582939648 4194304 4964800 140734590253280 18446744073709551615 4669089 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=21309/tid=21316] ppid=21307 vsize=2336656 CPUtime=2.22 cores=0-31
/proc/21309/task/21316/stat : 21316 (claspmt) S 21307 21309 21283 0 -1 4202560 18748 0 0 0 49 173 0 0 18 0 32 0 17041039 2392735744 428223 270582939648 4194304 4964800 140734590253280 18446744073709551615 258662772457 0 0 4096 18946 18446604570536992224 0 0 -1 30 0 0 0
[pid=21309/tid=21317] ppid=21307 vsize=2336656 CPUtime=2.32 cores=0-31
/proc/21309/task/21317/stat : 21317 (claspmt) S 21307 21309 21283 0 -1 4202560 16274 0 0 0 59 173 0 0 18 0 32 0 17041039 2392735744 428223 270582939648 4194304 4964800 140734590253280 18446744073709551615 258662772457 0 0 4096 18946 18446604566490217952 0 0 -1 22 0 0 0
[pid=21309/tid=21318] ppid=21307 vsize=2336656 CPUtime=1.62 cores=0-31
/proc/21309/task/21318/stat : 21318 (claspmt) S 21307 21309 21283 0 -1 4202560 13417 0 0 0 10 152 0 0 18 0 32 0 17041039 2392735744 428223 270582939648 4194304 4964800 140734590253280 18446744073709551615 258662772457 0 0 4096 18946 18446604559299141088 0 0 -1 7 0 0 0
[pid=21309/tid=21319] ppid=21307 vsize=2336656 CPUtime=1.58 cores=0-31
/proc/21309/task/21319/stat : 21319 (claspmt) S 21307 21309 21283 0 -1 4202560 13419 0 0 0 12 146 0 0 18 0 32 0 17041039 2392735744 428223 270582939648 4194304 4964800 140734590253280 18446744073709551615 258662772457 0 0 4096 18946 18446604573128121824 0 0 -1 4 0 0 0
[pid=21309/tid=21320] ppid=21307 vsize=2336656 CPUtime=2.05 cores=0-31
/proc/21309/task/21320/stat : 21320 (claspmt) S 21307 21309 21283 0 -1 4202560 19936 0 0 0 51 154 0 0 18 0 32 0 17041039 2392735744 428223 270582939648 4194304 4964800 140734590253280 18446744073709551615 258662772457 0 0 4096 18946 18446604574132714976 0 0 -1 15 0 0 0
[pid=21309/tid=21321] ppid=21307 vsize=2336656 CPUtime=2.04 cores=0-31
/proc/21309/task/21321/stat : 21321 (claspmt) S 21307 21309 21283 0 -1 4202560 18472 0 0 0 50 154 0 0 18 0 32 0 17041039 2392735744 428223 270582939648 4194304 4964800 140734590253280 18446744073709551615 258662772457 0 0 4096 18946 18446604575027994080 0 0 -1 23 0 0 0
[pid=21309/tid=21322] ppid=21307 vsize=2336656 CPUtime=1.7 cores=0-31
/proc/21309/task/21322/stat : 21322 (claspmt) S 21307 21309 21283 0 -1 4202560 13169 0 0 0 10 160 0 0 18 0 32 0 17041039 2392735744 428223 270582939648 4194304 4964800 140734590253280 18446744073709551615 258662772457 0 0 4096 18946 18446604569441705440 0 0 -1 5 0 0 0
[pid=21309/tid=21323] ppid=21307 vsize=2336656 CPUtime=518.38 cores=0-31
/proc/21309/task/21323/stat : 21323 (claspmt) R 21307 21309 21283 0 -1 4202560 16133 0 0 0 51684 154 0 0 25 0 32 0 17041039 2392735744 428223 270582939648 4194304 4964800 140734590253280 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=21309/tid=21324] ppid=21307 vsize=2336656 CPUtime=2.18 cores=0-31
/proc/21309/task/21324/stat : 21324 (claspmt) S 21307 21309 21283 0 -1 4202560 18639 0 0 0 51 167 0 0 18 0 32 0 17041039 2392735744 428223 270582939648 4194304 4964800 140734590253280 18446744073709551615 258662772457 0 0 4096 18946 18446604568749800928 0 0 -1 19 0 0 0
[pid=21309/tid=21325] ppid=21307 vsize=2336656 CPUtime=2.02 cores=0-31
/proc/21309/task/21325/stat : 21325 (claspmt) S 21307 21309 21283 0 -1 4202560 16907 0 0 0 41 161 0 0 18 0 32 0 17041039 2392735744 428223 270582939648 4194304 4964800 140734590253280 18446744073709551615 258662772457 0 0 4096 18946 18446604559130754528 0 0 -1 16 0 0 0
[pid=21309/tid=21326] ppid=21307 vsize=2336656 CPUtime=1.61 cores=0-31
/proc/21309/task/21326/stat : 21326 (claspmt) S 21307 21309 21283 0 -1 4202560 13369 0 0 0 8 153 0 0 18 0 32 0 17041039 2392735744 428223 270582939648 4194304 4964800 140734590253280 18446744073709551615 258662772457 0 0 4096 18946 18446604562694249952 0 0 -1 27 0 0 0
[pid=21309/tid=21327] ppid=21307 vsize=2336656 CPUtime=1.69 cores=0-31
/proc/21309/task/21327/stat : 21327 (claspmt) S 21307 21309 21283 0 -1 4202560 13433 0 0 0 9 160 0 0 18 0 32 0 17041040 2392735744 428223 270582939648 4194304 4964800 140734590253280 18446744073709551615 258662772457 0 0 4096 18946 18446604563929349600 0 0 -1 25 0 0 0
[pid=21309/tid=21328] ppid=21307 vsize=2336656 CPUtime=2.15 cores=0-31
/proc/21309/task/21328/stat : 21328 (claspmt) S 21307 21309 21283 0 -1 4202560 19194 0 0 0 50 165 0 0 18 0 32 0 17041040 2392735744 428223 270582939648 4194304 4964800 140734590253280 18446744073709551615 258662772457 0 0 4096 18946 18446604574142119392 0 0 -1 29 0 0 0
[pid=21309/tid=21329] ppid=21307 vsize=2336656 CPUtime=1.83 cores=0-31
/proc/21309/task/21329/stat : 21329 (claspmt) S 21307 21309 21283 0 -1 4202560 19096 0 0 0 42 141 0 0 18 0 32 0 17041040 2392735744 428223 270582939648 4194304 4964800 140734590253280 18446744073709551615 258662772457 0 0 4096 18946 18446604570338549216 0 0 -1 28 0 0 0
[pid=21309/tid=21330] ppid=21307 vsize=2336656 CPUtime=1.51 cores=0-31
/proc/21309/task/21330/stat : 21330 (claspmt) S 21307 21309 21283 0 -1 4202560 13439 0 0 0 9 142 0 0 18 0 32 0 17041040 2392735744 428223 270582939648 4194304 4964800 140734590253280 18446744073709551615 258662772457 0 0 4096 18946 18446604559563840992 0 0 -1 8 0 0 0
[pid=21309/tid=21331] ppid=21307 vsize=2336656 CPUtime=517.63 cores=0-31
/proc/21309/task/21331/stat : 21331 (claspmt) R 21307 21309 21283 0 -1 4202560 20562 0 0 0 51590 173 0 0 25 0 32 0 17041040 2392735744 428223 270582939648 4194304 4964800 140734590253280 18446744073709551615 4669131 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=21309/tid=21332] ppid=21307 vsize=2336656 CPUtime=2.26 cores=0-31
/proc/21309/task/21332/stat : 21332 (claspmt) S 21307 21309 21283 0 -1 4202560 15863 0 0 0 52 174 0 0 18 0 32 0 17041040 2392735744 428223 270582939648 4194304 4964800 140734590253280 18446744073709551615 258662772457 0 0 4096 18946 18446604574180761056 0 0 -1 1 0 0 0
[pid=21309/tid=21333] ppid=21307 vsize=2336656 CPUtime=2.35 cores=0-31
/proc/21309/task/21333/stat : 21333 (claspmt) S 21307 21309 21283 0 -1 4202560 17070 0 0 0 62 173 0 0 18 0 32 0 17041040 2392735744 428223 270582939648 4194304 4964800 140734590253280 18446744073709551615 258662772457 0 0 4096 18946 18446604566640860640 0 0 -1 26 0 0 0
[pid=21309/tid=21334] ppid=21307 vsize=2336656 CPUtime=1.71 cores=0-31
/proc/21309/task/21334/stat : 21334 (claspmt) S 21307 21309 21283 0 -1 4202560 13418 0 0 0 9 162 0 0 18 0 32 0 17041040 2392735744 428223 270582939648 4194304 4964800 140734590253280 18446744073709551615 258662772457 0 0 4096 18946 18446604567817231840 0 0 -1 14 0 0 0
[pid=21309/tid=21335] ppid=21307 vsize=2336656 CPUtime=1.58 cores=0-31
/proc/21309/task/21335/stat : 21335 (claspmt) S 21307 21309 21283 0 -1 4202560 13236 0 0 0 9 149 0 0 18 0 32 0 17041040 2392735744 428223 270582939648 4194304 4964800 140734590253280 18446744073709551615 258662772457 0 0 4096 18946 18446604563053075936 0 0 -1 17 0 0 0
[pid=21309/tid=21336] ppid=21307 vsize=2336656 CPUtime=2.17 cores=0-31
/proc/21309/task/21336/stat : 21336 (claspmt) S 21307 21309 21283 0 -1 4202560 17982 0 0 0 52 165 0 0 18 0 32 0 17041040 2392735744 428223 270582939648 4194304 4964800 140734590253280 18446744073709551615 258662772457 0 0 4096 18946 18446604575028002272 0 0 -1 9 0 0 0
[pid=21309/tid=21337] ppid=21307 vsize=2336656 CPUtime=2.23 cores=0-31
/proc/21309/task/21337/stat : 21337 (claspmt) S 21307 21309 21283 0 -1 4202560 18849 0 0 0 54 169 0 0 18 0 32 0 17041040 2392735744 428223 270582939648 4194304 4964800 140734590253280 18446744073709551615 258662772457 0 0 4096 18946 18446604559873277408 0 0 -1 18 0 0 0
[pid=21309/tid=21338] ppid=21307 vsize=2336656 CPUtime=1.71 cores=0-31
/proc/21309/task/21338/stat : 21338 (claspmt) S 21307 21309 21283 0 -1 4202560 13445 0 0 0 7 164 0 0 18 0 32 0 17041040 2392735744 428223 270582939648 4194304 4964800 140734590253280 18446744073709551615 258662772457 0 0 4096 18946 18446604567833247200 0 0 -1 21 0 0 0
[pid=21309/tid=21339] ppid=21307 vsize=2336656 CPUtime=517.71 cores=0-31
/proc/21309/task/21339/stat : 21339 (claspmt) R 21307 21309 21283 0 -1 4202560 20182 0 0 0 51584 187 0 0 25 0 32 0 17041040 2392735744 428223 270582939648 4194304 4964800 140734590253280 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=21309/tid=21340] ppid=21307 vsize=2336656 CPUtime=2.13 cores=0-31
/proc/21309/task/21340/stat : 21340 (claspmt) S 21307 21309 21283 0 -1 4202560 19514 0 0 0 47 166 0 0 18 0 32 0 17041040 2392735744 428223 270582939648 4194304 4964800 140734590253280 18446744073709551615 258662772457 0 0 4096 18946 18446604563929341408 0 0 -1 20 0 0 0
[pid=21309/tid=21341] ppid=21307 vsize=2336656 CPUtime=2.28 cores=0-31
/proc/21309/task/21341/stat : 21341 (claspmt) S 21307 21309 21283 0 -1 4202560 17019 0 0 0 62 166 0 0 18 0 32 0 17041040 2392735744 428223 270582939648 4194304 4964800 140734590253280 18446744073709551615 258662772457 0 0 4096 18946 18446604573514628576 0 0 -1 26 0 0 0
Current children cumulated CPU time (s) 2127.8
Current children cumulated vsize (KiB) 2336656

[startup+582.301 s]
/proc/loadavg: 13.50 10.09 19.52 2/414 21357
/proc/meminfo: memFree=261148956/264257624 swapFree=67111528/67111528
[pid=21309] ppid=21307 vsize=1798200 CPUtime=2984.63 cores=0-31
/proc/21309/stat : 21309 (claspmt) R 21307 21309 21283 0 -1 4202496 596221 0 0 0 293324 5139 0 0 25 0 1 0 17040684 1841356800 342767 270582939648 4194304 4964800 140734590253280 18446744073709551615 4628834 0 0 4096 18946 0 0 0 17 25 0 0 0
/proc/21309/statm: 449550 342767 466 189 0 443899 0
Current children cumulated CPU time (s) 2984.63
Current children cumulated vsize (KiB) 1798200

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

[startup+582.401 s]
/proc/loadavg: 13.50 10.09 19.52 2/414 21357
/proc/meminfo: memFree=261148956/264257624 swapFree=67111528/67111528
[pid=21309] ppid=21307 vsize=1749760 CPUtime=2984.73 cores=0-31
/proc/21309/stat : 21309 (claspmt) R 21307 21309 21283 0 -1 4202496 596221 0 0 0 293334 5139 0 0 25 0 1 0 17040684 1791754240 330638 270582939648 4194304 4964800 140734590253280 18446744073709551615 4646702 0 0 4096 18946 0 0 0 17 25 0 0 0
/proc/21309/statm: 437440 330638 466 189 0 431789 0
Current children cumulated CPU time (s) 2984.73
Current children cumulated vsize (KiB) 1749760

[startup+582.801 s]
/proc/loadavg: 13.50 10.09 19.52 2/414 21357
/proc/meminfo: memFree=261148956/264257624 swapFree=67111528/67111528
[pid=21309] ppid=21307 vsize=1459120 CPUtime=2985.13 cores=0-31
/proc/21309/stat : 21309 (claspmt) R 21307 21309 21283 0 -1 4202496 596221 0 0 0 293371 5142 0 0 25 0 1 0 17040684 1494138880 257313 270582939648 4194304 4964800 140734590253280 18446744073709551615 4646717 0 0 4096 18946 0 0 0 17 25 0 0 0
/proc/21309/statm: 364780 257313 466 189 0 359129 0
Current children cumulated CPU time (s) 2985.13
Current children cumulated vsize (KiB) 1459120

[startup+582.901 s]
/proc/loadavg: 13.50 10.09 19.52 2/414 21357
/proc/meminfo: memFree=261148956/264257624 swapFree=67111528/67111528
[pid=21309] ppid=21307 vsize=0 CPUtime=2985.23 cores=0-31
/proc/21309/stat : 21309 (claspmt) R 21307 21309 21283 0 -1 4202500 596222 0 0 0 293375 5148 0 0 25 0 1 0 17040684 0 0 270582939648 0 0 0 0 0 0 0 4096 18946 18446744073709551615 0 0 17 25 0 0 0
/proc/21309/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 2985.23
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 582.904
CPU time (s): 2985.24
CPU user time (s): 2933.76
CPU system time (s): 51.4842
CPU usage (%): 512.132
Max. virtual memory (cumulated for all children) (KiB): 2342024

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2933.76
system time used= 51.4842
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 596222
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= 165723
involuntary context switches= 9844

runsolver used 3.22451 second user time and 11.0653 second system time

The end

Launcher Data 

Begin job on node200 at 2011-06-08 09:02:18
IDJOB=3472360
IDBENCH=82364
IDSOLVER=1961
FILE ID=node200/3472360-1307516531
RUNJOBID= node200-1307516531-21297
PBS_JOBID= 13509207
Free space on /tmp= 61576 MiB

SOLVER NAME= claspmt 2.0-R4095-patched (fixed)
BENCH NAME= SAT11/application/rintanen/SATPlanning/blocks-blocks-37-1.120-NOTKNOWN.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-3472360-1307516531/watcher-3472360-1307516531 -o /tmp/evaluation-result-3472360-1307516531/solver-3472360-1307516531 -C 160000 -W 5100 -M 256000  HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472360-1307516531.cnf

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

MD5SUM BENCH= 2a2f6fb35277c8ead36f65de8bb36dbb
RANDOM SEED=475955057

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:      262802592 kB
Buffers:        167712 kB
Cached:        1019776 kB
SwapCached:          0 kB
Active:         361044 kB
Inactive:       889756 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      262802592 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:          172312 kB
Writeback:           0 kB
AnonPages:       63380 kB
Mapped:          14476 kB
Slab:           124192 kB
PageTables:       4448 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   166324 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= 61576 MiB
End job on node200 at 2011-06-08 09:12:01