Trace number 3472398

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 2983.63 699.277

General information on the benchmark

Nameapplication/jarvisalo/AAAI2010-SATPlanning/
aaai10-planning-ipc5-pipesworld-27-step13.cnf
MD5SUM52e16341bcff805ef2d6abe4e95359a0
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark450.455
Satisfiable
(Un)Satisfiability was proved
Number of variables224228
Number of clauses5314673
Sum of the clauses size11732345
Maximum clause length3193
Minimum clause length1
Number of clauses of size 1556
Number of clauses of size 25229536
Number of clauses of size 36084
Number of clauses of size 49856
Number of clauses of size 58159
Number of clauses of size over 560482

Solver Data 

0.00/0.02	c clasp version 2.0.0-RC2
0.00/0.02	c Reading from ...613480/instance-3472398-1307613480.cnf
1.57/1.67	c Solving...
2983.55/699.24	s UNSATISFIABLE
2983.55/699.24	
2983.55/699.24	c Models        : 0     
2983.55/699.24	c Time          : 698.297s (Solving: 696.63s 1st Model: 0.00s Unsat: 696.63s)
2983.55/699.24	c CPU Time      : 2982.660s

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-3472398-1307613480/watcher-3472398-1307613480 -o /tmp/evaluation-result-3472398-1307613480/solver-3472398-1307613480 -C 160000 -W 5100 -M 256000 HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472398-1307613480.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: 5.80 9.82 19.82 1/413 27447
/proc/meminfo: memFree=262335284/264257624 swapFree=67111528/67111528
[pid=27447] ppid=27445 vsize=49348 CPUtime=0.01 cores=0-31
/proc/27447/stat : 27447 (claspmt) R 27445 27447 27233 0 -1 4202496 2853 0 0 0 1 0 0 0 21 0 1 0 26735289 50532352 2783 270582939648 4194304 4964800 140736822318752 18446744073709551615 4700412 0 0 4096 18946 0 0 0 17 28 0 0 0
/proc/27447/statm: 12337 2791 373 189 0 7211 0

[startup+0.064997 s]
/proc/loadavg: 5.80 9.82 19.82 1/413 27447
/proc/meminfo: memFree=262335284/264257624 swapFree=67111528/67111528
[pid=27447] ppid=27445 vsize=49348 CPUtime=0.04 cores=0-31
/proc/27447/stat : 27447 (claspmt) R 27445 27447 27233 0 -1 4202496 7297 0 0 0 3 1 0 0 21 0 1 0 26735289 50532352 7227 270582939648 4194304 4964800 140736822318752 18446744073709551615 4700412 0 0 4096 18946 0 0 0 17 28 0 0 0
/proc/27447/statm: 12337 7237 373 189 0 7211 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 49348

[startup+0.100997 s]
/proc/loadavg: 5.80 9.82 19.82 1/413 27447
/proc/meminfo: memFree=262335284/264257624 swapFree=67111528/67111528
[pid=27447] ppid=27445 vsize=65512 CPUtime=0.08 cores=0-31
/proc/27447/stat : 27447 (claspmt) R 27445 27447 27233 0 -1 4202496 13185 0 0 0 6 2 0 0 21 0 1 0 26735289 67084288 11364 270582939648 4194304 4964800 140736822318752 18446744073709551615 258650955760 0 0 4096 18946 0 0 0 17 28 0 0 0
/proc/27447/statm: 16378 11364 382 189 0 11252 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 65512

[startup+0.301043 s]
/proc/loadavg: 5.80 9.82 19.82 1/413 27447
/proc/meminfo: memFree=262335284/264257624 swapFree=67111528/67111528
[pid=27447] ppid=27445 vsize=82188 CPUtime=0.27 cores=0-31
/proc/27447/stat : 27447 (claspmt) R 27445 27447 27233 0 -1 4202496 17645 0 0 0 24 3 0 0 22 0 1 0 26735289 84160512 15554 270582939648 4194304 4964800 140736822318752 18446744073709551615 258650955760 0 0 4096 18946 0 0 0 17 28 0 0 0
/proc/27447/statm: 20547 15554 387 189 0 15421 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 82188

[startup+0.701021 s]
/proc/loadavg: 5.80 9.82 19.82 1/413 27447
/proc/meminfo: memFree=262335284/264257624 swapFree=67111528/67111528
[pid=27447] ppid=27445 vsize=95008 CPUtime=0.67 cores=0-31
/proc/27447/stat : 27447 (claspmt) R 27445 27447 27233 0 -1 4202496 20833 0 0 0 62 5 0 0 23 0 1 0 26735289 97288192 18742 270582939648 4194304 4964800 140736822318752 18446744073709551615 258650955760 0 0 4096 18946 0 0 0 17 28 0 0 0
/proc/27447/statm: 23752 18742 387 189 0 18626 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 95008

[startup+1.50104 s]
/proc/loadavg: 5.80 9.82 19.82 2/414 27448
/proc/meminfo: memFree=262250180/264257624 swapFree=67111528/67111528
[pid=27447] ppid=27445 vsize=123152 CPUtime=1.48 cores=0-31
/proc/27447/stat : 27447 (claspmt) R 27445 27447 27233 0 -1 4202496 27882 0 0 0 138 10 0 0 25 0 1 0 26735289 126107648 25791 270582939648 4194304 4964800 140736822318752 18446744073709551615 258650652667 0 0 4096 18946 0 0 0 17 28 0 0 0
/proc/27447/statm: 30788 25791 387 189 0 25662 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 123152

[startup+3.10301 s]
/proc/loadavg: 5.42 9.67 19.72 33/445 27479
/proc/meminfo: memFree=261960748/264257624 swapFree=67111528/67111528
[pid=27447] ppid=27445 vsize=2265028 CPUtime=23.97 cores=0-31
/proc/27447/stat : 27447 (claspmt) S 27445 27447 27233 0 -1 4202496 243055 0 0 0 306 2091 0 0 18 0 32 0 26735289 2319388672 182420 270582939648 4194304 4964800 140736822318752 18446744073709551615 258662772457 0 0 4096 18946 18446744073709551615 0 0 17 19 0 0 0
/proc/27447/statm: 566257 182426 429 189 0 560606 0
[pid=27447/tid=27449] ppid=27445 vsize=2265028 CPUtime=0.72 cores=0-31
/proc/27447/task/27449/stat : 27449 (claspmt) D 27445 27447 27233 0 -1 4202560 6998 0 0 0 5 67 0 0 18 0 32 0 26735457 2319388672 182426 270582939648 4194304 4964800 140736822318752 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=27447/tid=27450] ppid=27445 vsize=2265028 CPUtime=0.73 cores=0-31
/proc/27447/task/27450/stat : 27450 (claspmt) D 27445 27447 27233 0 -1 4202560 5677 0 0 0 2 71 0 0 18 0 32 0 26735457 2319388672 182429 270582939648 4194304 4964800 140736822318752 18446744073709551615 4378021 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=27447/tid=27451] ppid=27445 vsize=2265028 CPUtime=0.72 cores=0-31
/proc/27447/task/27451/stat : 27451 (claspmt) D 27445 27447 27233 0 -1 4202560 8381 0 0 0 11 61 0 0 18 0 32 0 26735457 2319388672 182436 270582939648 4194304 4964800 140736822318752 18446744073709551615 258650981722 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=27447/tid=27452] ppid=27445 vsize=2265028 CPUtime=0.73 cores=0-31
/proc/27447/task/27452/stat : 27452 (claspmt) D 27445 27447 27233 0 -1 4202560 5089 0 0 0 3 70 0 0 18 0 32 0 26735457 2319388672 182445 270582939648 4194304 4964800 140736822318752 18446744073709551615 4367461 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=27447/tid=27453] ppid=27445 vsize=2265432 CPUtime=0.74 cores=0-31
/proc/27447/task/27453/stat : 27453 (claspmt) D 27445 27447 27233 0 -1 4202560 6299 0 0 0 4 70 0 0 18 0 32 0 26735457 2319802368 182450 270582939648 4194304 4964800 140736822318752 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=27447/tid=27454] ppid=27445 vsize=2265432 CPUtime=0.72 cores=0-31
/proc/27447/task/27454/stat : 27454 (claspmt) D 27445 27447 27233 0 -1 4202560 7219 0 0 0 4 68 0 0 18 0 32 0 26735457 2319802368 182455 270582939648 4194304 4964800 140736822318752 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=27447/tid=27455] ppid=27445 vsize=2265432 CPUtime=0.73 cores=0-31
/proc/27447/task/27455/stat : 27455 (claspmt) R 27445 27447 27233 0 -1 4202560 7664 0 0 0 5 68 0 0 18 0 32 0 26735457 2319802368 182458 270582939648 4194304 4964800 140736822318752 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=27447/tid=27456] ppid=27445 vsize=2265432 CPUtime=0.74 cores=0-31
/proc/27447/task/27456/stat : 27456 (claspmt) D 27445 27447 27233 0 -1 4202560 6769 0 0 0 6 68 0 0 18 0 32 0 26735457 2319802368 182464 270582939648 4194304 4964800 140736822318752 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=27447/tid=27457] ppid=27445 vsize=2265432 CPUtime=0.74 cores=0-31
/proc/27447/task/27457/stat : 27457 (claspmt) D 27445 27447 27233 0 -1 4202560 6340 0 0 0 5 69 0 0 18 0 32 0 26735457 2319802368 182465 270582939648 4194304 4964800 140736822318752 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=27447/tid=27458] ppid=27445 vsize=2265432 CPUtime=0.7 cores=0-31
/proc/27447/task/27458/stat : 27458 (claspmt) D 27445 27447 27233 0 -1 4202560 6598 0 0 0 4 66 0 0 18 0 32 0 26735457 2319802368 182466 270582939648 4194304 4964800 140736822318752 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=27447/tid=27459] ppid=27445 vsize=2265432 CPUtime=0.68 cores=0-31
/proc/27447/task/27459/stat : 27459 (claspmt) D 27445 27447 27233 0 -1 4202560 7653 0 0 0 4 64 0 0 18 0 32 0 26735457 2319802368 182469 270582939648 4194304 4964800 140736822318752 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=27447/tid=27460] ppid=27445 vsize=2265432 CPUtime=0.72 cores=0-31
/proc/27447/task/27460/stat : 27460 (claspmt) D 27445 27447 27233 0 -1 4202560 7284 0 0 0 6 66 0 0 18 0 32 0 26735457 2319802368 182478 270582939648 4194304 4964800 140736822318752 18446744073709551615 4685574 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=27447/tid=27461] ppid=27445 vsize=2265432 CPUtime=0.73 cores=0-31
/proc/27447/task/27461/stat : 27461 (claspmt) D 27445 27447 27233 0 -1 4202560 6440 0 0 0 4 69 0 0 18 0 32 0 26735457 2319802368 182479 270582939648 4194304 4964800 140736822318752 18446744073709551615 4685574 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=27447/tid=27462] ppid=27445 vsize=2265432 CPUtime=0.7 cores=0-31
/proc/27447/task/27462/stat : 27462 (claspmt) R 27445 27447 27233 0 -1 4202560 7361 0 0 0 5 65 0 0 18 0 32 0 26735457 2319802368 182483 270582939648 4194304 4964800 140736822318752 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=27447/tid=27463] ppid=27445 vsize=2265432 CPUtime=0.73 cores=0-31
/proc/27447/task/27463/stat : 27463 (claspmt) D 27445 27447 27233 0 -1 4202560 4610 0 0 0 1 72 0 0 18 0 32 0 26735457 2319802368 182493 270582939648 4194304 4964800 140736822318752 18446744073709551615 4679094 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=27447/tid=27464] ppid=27445 vsize=2265432 CPUtime=0.72 cores=0-31
/proc/27447/task/27464/stat : 27464 (claspmt) D 27445 27447 27233 0 -1 4202560 6568 0 0 0 5 67 0 0 18 0 32 0 26735457 2319802368 182497 270582939648 4194304 4964800 140736822318752 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=27447/tid=27465] ppid=27445 vsize=2265432 CPUtime=0.68 cores=0-31
/proc/27447/task/27465/stat : 27465 (claspmt) D 27445 27447 27233 0 -1 4202560 7732 0 0 0 7 61 0 0 18 0 32 0 26735457 2319802368 182498 270582939648 4194304 4964800 140736822318752 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=27447/tid=27466] ppid=27445 vsize=2265432 CPUtime=0.71 cores=0-31
/proc/27447/task/27466/stat : 27466 (claspmt) D 27445 27447 27233 0 -1 4202560 7223 0 0 0 4 67 0 0 18 0 32 0 26735457 2319802368 182506 270582939648 4194304 4964800 140736822318752 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=27447/tid=27467] ppid=27445 vsize=2265432 CPUtime=0.73 cores=0-31
/proc/27447/task/27467/stat : 27467 (claspmt) D 27445 27447 27233 0 -1 4202560 5774 0 0 0 3 70 0 0 18 0 32 0 26735457 2319802368 182510 270582939648 4194304 4964800 140736822318752 18446744073709551615 4377868 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=27447/tid=27468] ppid=27445 vsize=2265432 CPUtime=0.75 cores=0-31
/proc/27447/task/27468/stat : 27468 (claspmt) D 27445 27447 27233 0 -1 4202560 7085 0 0 0 5 70 0 0 18 0 32 0 26735457 2319802368 182518 270582939648 4194304 4964800 140736822318752 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=27447/tid=27469] ppid=27445 vsize=2265432 CPUtime=0.73 cores=0-31
/proc/27447/task/27469/stat : 27469 (claspmt) D 27445 27447 27233 0 -1 4202560 6750 0 0 0 5 68 0 0 18 0 32 0 26735457 2319802368 182523 270582939648 4194304 4964800 140736822318752 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=27447/tid=27470] ppid=27445 vsize=2265432 CPUtime=0.73 cores=0-31
/proc/27447/task/27470/stat : 27470 (claspmt) D 27445 27447 27233 0 -1 4202560 7085 0 0 0 4 69 0 0 18 0 32 0 26735457 2319802368 182523 270582939648 4194304 4964800 140736822318752 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=27447/tid=27471] ppid=27445 vsize=2265432 CPUtime=0.72 cores=0-31
/proc/27447/task/27471/stat : 27471 (claspmt) D 27445 27447 27233 0 -1 4202560 7461 0 0 0 5 67 0 0 18 0 32 0 26735457 2319802368 182534 270582939648 4194304 4964800 140736822318752 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=27447/tid=27472] ppid=27445 vsize=2265432 CPUtime=0.74 cores=0-31
/proc/27447/task/27472/stat : 27472 (claspmt) D 27445 27447 27233 0 -1 4202560 6615 0 0 0 4 70 0 0 18 0 32 0 26735458 2319802368 182536 270582939648 4194304 4964800 140736822318752 18446744073709551615 4697753 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=27447/tid=27473] ppid=27445 vsize=2265432 CPUtime=0.68 cores=0-31
/proc/27447/task/27473/stat : 27473 (claspmt) D 27445 27447 27233 0 -1 4202560 6500 0 0 0 4 64 0 0 18 0 32 0 26735458 2319802368 182540 270582939648 4194304 4964800 140736822318752 18446744073709551615 258650653371 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=27447/tid=27474] ppid=27445 vsize=2265432 CPUtime=0.71 cores=0-31
/proc/27447/task/27474/stat : 27474 (claspmt) R 27445 27447 27233 0 -1 4202560 6592 0 0 0 3 68 0 0 18 0 32 0 26735458 2319802368 182542 270582939648 4194304 4964800 140736822318752 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=27447/tid=27475] ppid=27445 vsize=2265432 CPUtime=0.66 cores=0-31
/proc/27447/task/27475/stat : 27475 (claspmt) R 27445 27447 27233 0 -1 4202560 6730 0 0 0 3 63 0 0 18 0 32 0 26735458 2319802368 182554 270582939648 4194304 4964800 140736822318752 18446744073709551615 4630882 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=27447/tid=27476] ppid=27445 vsize=2265432 CPUtime=0.7 cores=0-31
/proc/27447/task/27476/stat : 27476 (claspmt) D 27445 27447 27233 0 -1 4202560 7223 0 0 0 5 65 0 0 18 0 32 0 26735458 2319802368 182556 270582939648 4194304 4964800 140736822318752 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=27447/tid=27477] ppid=27445 vsize=2265432 CPUtime=0.67 cores=0-31
/proc/27447/task/27477/stat : 27477 (claspmt) R 27445 27447 27233 0 -1 4202560 5214 0 0 0 2 65 0 0 18 0 32 0 26735458 2319802368 182561 270582939648 4194304 4964800 140736822318752 18446744073709551615 4367404 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=27447/tid=27478] ppid=27445 vsize=2265432 CPUtime=0.58 cores=0-31
/proc/27447/task/27478/stat : 27478 (claspmt) D 27445 27447 27233 0 -1 4202560 6556 0 0 0 4 54 0 0 18 0 32 0 26735458 2319802368 182565 270582939648 4194304 4964800 140736822318752 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=27447/tid=27479] ppid=27445 vsize=2265432 CPUtime=0.72 cores=0-31
/proc/27447/task/27479/stat : 27479 (claspmt) D 27445 27447 27233 0 -1 4202560 7664 0 0 0 6 66 0 0 18 0 32 0 26735458 2319802368 182566 270582939648 4194304 4964800 140736822318752 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 19 0 0 0
Current children cumulated CPU time (s) 23.97
Current children cumulated vsize (KiB) 2265028

[startup+6.30219 s]
/proc/loadavg: 5.42 9.67 19.72 5/445 27479
/proc/meminfo: memFree=261280380/264257624 swapFree=67111528/67111528
[pid=27447] ppid=27445 vsize=2401640 CPUtime=41.61 cores=0-31
/proc/27447/stat : 27447 (claspmt) S 27445 27447 27233 0 -1 4202496 326225 0 0 0 1874 2287 0 0 18 0 32 0 26735289 2459279360 264686 270582939648 4194304 4964800 140736822318752 18446744073709551615 258662772457 0 0 4096 18946 18446744073709551615 0 0 17 19 0 0 0
/proc/27447/statm: 600410 264686 434 189 0 594759 0
[pid=27447/tid=27449] ppid=27445 vsize=2401640 CPUtime=0.76 cores=0-31
/proc/27447/task/27449/stat : 27449 (claspmt) S 27445 27447 27233 0 -1 4202560 7889 0 0 0 6 70 0 0 18 0 32 0 26735457 2459279360 264686 270582939648 4194304 4964800 140736822318752 18446744073709551615 258662772457 0 0 4096 18946 18446604641065614816 0 0 -1 9 0 0 0
[pid=27447/tid=27450] ppid=27445 vsize=2401640 CPUtime=1.26 cores=0-31
/proc/27447/task/27450/stat : 27450 (claspmt) S 27445 27447 27233 0 -1 4202560 10269 0 0 0 47 79 0 0 18 0 32 0 26735457 2459279360 264686 270582939648 4194304 4964800 140736822318752 18446744073709551615 258662772457 0 0 4096 18946 18446604710598876640 0 0 -1 2 0 0 0
[pid=27447/tid=27451] ppid=27445 vsize=2401640 CPUtime=1.08 cores=0-31
/proc/27447/task/27451/stat : 27451 (claspmt) S 27445 27447 27233 0 -1 4202560 10888 0 0 0 44 64 0 0 18 0 32 0 26735457 2459279360 264686 270582939648 4194304 4964800 140736822318752 18446744073709551615 258662772457 0 0 4096 18946 18446604500548517344 0 0 -1 28 0 0 0
[pid=27447/tid=27452] ppid=27445 vsize=2401640 CPUtime=0.85 cores=0-31
/proc/27447/task/27452/stat : 27452 (claspmt) S 27445 27447 27233 0 -1 4202560 7778 0 0 0 8 77 0 0 18 0 32 0 26735457 2459279360 264686 270582939648 4194304 4964800 140736822318752 18446744073709551615 258662772457 0 0 4096 18946 18446604499096649184 0 0 -1 3 0 0 0
[pid=27447/tid=27453] ppid=27445 vsize=2401640 CPUtime=3.13 cores=0-31
/proc/27447/task/27453/stat : 27453 (claspmt) R 27445 27447 27233 0 -1 4202560 10444 0 0 0 232 81 0 0 20 0 32 0 26735457 2459279360 264686 270582939648 4194304 4964800 140736822318752 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=27447/tid=27454] ppid=27445 vsize=2401640 CPUtime=1.15 cores=0-31
/proc/27447/task/27454/stat : 27454 (claspmt) S 27445 27447 27233 0 -1 4202560 10134 0 0 0 42 73 0 0 18 0 32 0 26735457 2459279360 264686 270582939648 4194304 4964800 140736822318752 18446744073709551615 258662772457 0 0 4096 18946 18446604643775454688 0 0 -1 29 0 0 0
[pid=27447/tid=27455] ppid=27445 vsize=2401640 CPUtime=1.28 cores=0-31
/proc/27447/task/27455/stat : 27455 (claspmt) S 27445 27447 27233 0 -1 4202560 10151 0 0 0 53 75 0 0 18 0 32 0 26735457 2459279360 264686 270582939648 4194304 4964800 140736822318752 18446744073709551615 258662772457 0 0 4096 18946 18446604640071777760 0 0 -1 1 0 0 0
[pid=27447/tid=27456] ppid=27445 vsize=2401640 CPUtime=0.76 cores=0-31
/proc/27447/task/27456/stat : 27456 (claspmt) S 27445 27447 27233 0 -1 4202560 7477 0 0 0 7 69 0 0 18 0 32 0 26735457 2459279360 264686 270582939648 4194304 4964800 140736822318752 18446744073709551615 258662772457 0 0 4096 18946 18446604708024450528 0 0 -1 13 0 0 0
[pid=27447/tid=27457] ppid=27445 vsize=2401640 CPUtime=0.81 cores=0-31
/proc/27447/task/27457/stat : 27457 (claspmt) S 27445 27447 27233 0 -1 4202560 7799 0 0 0 8 73 0 0 18 0 32 0 26735457 2459279360 264686 270582939648 4194304 4964800 140736822318752 18446744073709551615 258662772457 0 0 4096 18946 18446604640718167520 0 0 -1 6 0 0 0
[pid=27447/tid=27458] ppid=27445 vsize=2401640 CPUtime=1.17 cores=0-31
/proc/27447/task/27458/stat : 27458 (claspmt) S 27445 27447 27233 0 -1 4202560 10344 0 0 0 44 73 0 0 18 0 32 0 26735457 2459279360 264686 270582939648 4194304 4964800 140736822318752 18446744073709551615 258662772457 0 0 4096 18946 18446604637692771808 0 0 -1 4 0 0 0
[pid=27447/tid=27459] ppid=27445 vsize=2401640 CPUtime=1.09 cores=0-31
/proc/27447/task/27459/stat : 27459 (claspmt) S 27445 27447 27233 0 -1 4202560 10439 0 0 0 40 69 0 0 18 0 32 0 26735457 2459279360 264686 270582939648 4194304 4964800 140736822318752 18446744073709551615 258662772457 0 0 4096 18946 18446604500657454560 0 0 -1 8 0 0 0
[pid=27447/tid=27460] ppid=27445 vsize=2401640 CPUtime=0.74 cores=0-31
/proc/27447/task/27460/stat : 27460 (claspmt) S 27445 27447 27233 0 -1 4202560 7551 0 0 0 7 67 0 0 18 0 32 0 26735457 2459279360 264688 270582939648 4194304 4964800 140736822318752 18446744073709551615 258662772457 0 0 4096 18946 18446604639366364640 0 0 -1 11 0 0 0
[pid=27447/tid=27461] ppid=27445 vsize=2401640 CPUtime=3.07 cores=0-31
/proc/27447/task/27461/stat : 27461 (claspmt) R 27445 27447 27233 0 -1 4202560 11135 0 0 0 224 83 0 0 21 0 32 0 26735457 2459279360 264688 270582939648 4194304 4964800 140736822318752 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=27447/tid=27462] ppid=27445 vsize=2401640 CPUtime=1.1 cores=0-31
/proc/27447/task/27462/stat : 27462 (claspmt) S 27445 27447 27233 0 -1 4202560 10043 0 0 0 40 70 0 0 18 0 32 0 26735457 2459279360 264688 270582939648 4194304 4964800 140736822318752 18446744073709551615 258662772457 0 0 4096 18946 18446604504692243936 0 0 -1 23 0 0 0
[pid=27447/tid=27463] ppid=27445 vsize=2401640 CPUtime=1.33 cores=0-31
/proc/27447/task/27463/stat : 27463 (claspmt) S 27445 27447 27233 0 -1 4202560 10246 0 0 0 51 82 0 0 18 0 32 0 26735457 2459279360 264688 270582939648 4194304 4964800 140736822318752 18446744073709551615 258662772457 0 0 4096 18946 18446604643330973152 0 0 -1 15 0 0 0
[pid=27447/tid=27464] ppid=27445 vsize=2401640 CPUtime=0.76 cores=0-31
/proc/27447/task/27464/stat : 27464 (claspmt) S 27445 27447 27233 0 -1 4202560 7535 0 0 0 6 70 0 0 18 0 32 0 26735457 2459279360 264688 270582939648 4194304 4964800 140736822318752 18446744073709551615 258662772457 0 0 4096 18946 18446604506075323872 0 0 -1 25 0 0 0
[pid=27447/tid=27465] ppid=27445 vsize=2401640 CPUtime=0.68 cores=0-31
/proc/27447/task/27465/stat : 27465 (claspmt) S 27445 27447 27233 0 -1 4202560 7815 0 0 0 7 61 0 0 18 0 32 0 26735457 2459279360 264688 270582939648 4194304 4964800 140736822318752 18446744073709551615 258662772457 0 0 4096 18946 18446604564320566752 0 0 -1 12 0 0 0
[pid=27447/tid=27466] ppid=27445 vsize=2401640 CPUtime=1.15 cores=0-31
/proc/27447/task/27466/stat : 27466 (claspmt) S 27445 27447 27233 0 -1 4202560 10410 0 0 0 41 74 0 0 18 0 32 0 26735457 2459279360 264688 270582939648 4194304 4964800 140736822318752 18446744073709551615 258662772457 0 0 4096 18946 18446604643489381856 0 0 -1 24 0 0 0
[pid=27447/tid=27467] ppid=27445 vsize=2401640 CPUtime=1.21 cores=0-31
/proc/27447/task/27467/stat : 27467 (claspmt) S 27445 27447 27233 0 -1 4202560 9878 0 0 0 44 77 0 0 18 0 32 0 26735457 2459279360 264688 270582939648 4194304 4964800 140736822318752 18446744073709551615 258662772457 0 0 4096 18946 18446604710168747488 0 0 -1 1 0 0 0
[pid=27447/tid=27468] ppid=27445 vsize=2401640 CPUtime=0.8 cores=0-31
/proc/27447/task/27468/stat : 27468 (claspmt) S 27445 27447 27233 0 -1 4202560 7702 0 0 0 7 73 0 0 18 0 32 0 26735457 2459279360 264688 270582939648 4194304 4964800 140736822318752 18446744073709551615 258662772457 0 0 4096 18946 18446604503357980128 0 0 -1 18 0 0 0
[pid=27447/tid=27469] ppid=27445 vsize=2401640 CPUtime=3.07 cores=0-31
/proc/27447/task/27469/stat : 27469 (claspmt) R 27445 27447 27233 0 -1 4202560 11183 0 0 0 224 83 0 0 21 0 32 0 26735457 2459279360 264688 270582939648 4194304 4964800 140736822318752 18446744073709551615 4669011 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=27447/tid=27470] ppid=27445 vsize=2401640 CPUtime=1.2 cores=0-31
/proc/27447/task/27470/stat : 27470 (claspmt) S 27445 27447 27233 0 -1 4202560 9947 0 0 0 46 74 0 0 18 0 32 0 26735457 2459279360 264688 270582939648 4194304 4964800 140736822318752 18446744073709551615 258662772457 0 0 4096 18946 18446604498751004128 0 0 -1 26 0 0 0
[pid=27447/tid=27471] ppid=27445 vsize=2401640 CPUtime=1.34 cores=0-31
/proc/27447/task/27471/stat : 27471 (claspmt) S 27445 27447 27233 0 -1 4202560 10278 0 0 0 57 77 0 0 18 0 32 0 26735457 2459279360 264688 270582939648 4194304 4964800 140736822318752 18446744073709551615 258662772457 0 0 4096 18946 18446604504151891424 0 0 -1 15 0 0 0
[pid=27447/tid=27472] ppid=27445 vsize=2401640 CPUtime=0.8 cores=0-31
/proc/27447/task/27472/stat : 27472 (claspmt) S 27445 27447 27233 0 -1 4202560 7695 0 0 0 7 73 0 0 18 0 32 0 26735458 2459279360 264688 270582939648 4194304 4964800 140736822318752 18446744073709551615 258662772457 0 0 4096 18946 18446604641640447456 0 0 -1 14 0 0 0
[pid=27447/tid=27473] ppid=27445 vsize=2401640 CPUtime=0.74 cores=0-31
/proc/27447/task/27473/stat : 27473 (claspmt) S 27445 27447 27233 0 -1 4202560 7683 0 0 0 7 67 0 0 18 0 32 0 26735458 2459279360 264688 270582939648 4194304 4964800 140736822318752 18446744073709551615 258662772457 0 0 4096 18946 18446604643624697312 0 0 -1 21 0 0 0

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

/proc/27447/task/27450/stat : 27450 (claspmt) R 27445 27447 27233 0 -1 4202560 10661 0 0 0 329 80 0 0 21 0 32 0 26735457 2460495872 284242 270582939648 4194304 4964800 140736822318752 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=27447/tid=27451] ppid=27445 vsize=2402828 CPUtime=3.78 cores=0-31
/proc/27447/task/27451/stat : 27451 (claspmt) R 27445 27447 27233 0 -1 4202560 11257 0 0 0 313 65 0 0 21 0 32 0 26735457 2460495872 284242 270582939648 4194304 4964800 140736822318752 18446744073709551615 4669011 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=27447/tid=27452] ppid=27445 vsize=2402828 CPUtime=3.7 cores=0-31
/proc/27447/task/27452/stat : 27452 (claspmt) R 27445 27447 27233 0 -1 4202560 8099 0 0 0 292 78 0 0 21 0 32 0 26735457 2460495872 284242 270582939648 4194304 4964800 140736822318752 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=27447/tid=27453] ppid=27445 vsize=2402828 CPUtime=687.08 cores=0-31
/proc/27447/task/27453/stat : 27453 (claspmt) R 27445 27447 27233 0 -1 4202560 12409 0 0 0 68617 91 0 0 25 0 32 0 26735457 2460495872 284242 270582939648 4194304 4964800 140736822318752 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=27447/tid=27454] ppid=27445 vsize=2402828 CPUtime=3.93 cores=0-31
/proc/27447/task/27454/stat : 27454 (claspmt) R 27445 27447 27233 0 -1 4202560 10857 0 0 0 319 74 0 0 21 0 32 0 26735457 2460495872 284242 270582939648 4194304 4964800 140736822318752 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=27447/tid=27455] ppid=27445 vsize=2402828 CPUtime=4.08 cores=0-31
/proc/27447/task/27455/stat : 27455 (claspmt) R 27445 27447 27233 0 -1 4202560 10639 0 0 0 331 77 0 0 21 0 32 0 26735457 2460495872 284242 270582939648 4194304 4964800 140736822318752 18446744073709551615 4668900 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=27447/tid=27456] ppid=27445 vsize=2402828 CPUtime=3.63 cores=0-31
/proc/27447/task/27456/stat : 27456 (claspmt) R 27445 27447 27233 0 -1 4202560 7797 0 0 0 292 71 0 0 21 0 32 0 26735457 2460495872 284242 270582939648 4194304 4964800 140736822318752 18446744073709551615 4669011 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=27447/tid=27457] ppid=27445 vsize=2402828 CPUtime=3.66 cores=0-31
/proc/27447/task/27457/stat : 27457 (claspmt) R 27445 27447 27233 0 -1 4202560 8160 0 0 0 292 74 0 0 21 0 32 0 26735457 2460495872 284242 270582939648 4194304 4964800 140736822318752 18446744073709551615 4669131 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=27447/tid=27458] ppid=27445 vsize=2402828 CPUtime=4.02 cores=0-31
/proc/27447/task/27458/stat : 27458 (claspmt) R 27445 27447 27233 0 -1 4202560 10683 0 0 0 327 75 0 0 21 0 32 0 26735457 2460495872 284242 270582939648 4194304 4964800 140736822318752 18446744073709551615 4669280 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=27447/tid=27459] ppid=27445 vsize=2402828 CPUtime=3.92 cores=0-31
/proc/27447/task/27459/stat : 27459 (claspmt) R 27445 27447 27233 0 -1 4202560 10835 0 0 0 321 71 0 0 21 0 32 0 26735457 2460495872 284242 270582939648 4194304 4964800 140736822318752 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=27447/tid=27460] ppid=27445 vsize=2402828 CPUtime=3.61 cores=0-31
/proc/27447/task/27460/stat : 27460 (claspmt) R 27445 27447 27233 0 -1 4202560 7885 0 0 0 292 69 0 0 22 0 32 0 26735457 2460495872 284242 270582939648 4194304 4964800 140736822318752 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=27447/tid=27461] ppid=27445 vsize=2402828 CPUtime=687.03 cores=0-31
/proc/27447/task/27461/stat : 27461 (claspmt) R 27445 27447 27233 0 -1 4202560 13105 0 0 0 68608 95 0 0 25 0 32 0 26735457 2460495872 284242 270582939648 4194304 4964800 140736822318752 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=27447/tid=27462] ppid=27445 vsize=2402828 CPUtime=3.9 cores=0-31
/proc/27447/task/27462/stat : 27462 (claspmt) R 27445 27447 27233 0 -1 4202560 10527 0 0 0 318 72 0 0 21 0 32 0 26735457 2460495872 284242 270582939648 4194304 4964800 140736822318752 18446744073709551615 4668900 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=27447/tid=27463] ppid=27445 vsize=2402828 CPUtime=4.13 cores=0-31
/proc/27447/task/27463/stat : 27463 (claspmt) R 27445 27447 27233 0 -1 4202560 10650 0 0 0 329 84 0 0 21 0 32 0 26735457 2460495872 284242 270582939648 4194304 4964800 140736822318752 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=27447/tid=27464] ppid=27445 vsize=2402828 CPUtime=3.63 cores=0-31
/proc/27447/task/27464/stat : 27464 (claspmt) R 27445 27447 27233 0 -1 4202560 7858 0 0 0 292 71 0 0 22 0 32 0 26735457 2460495872 284242 270582939648 4194304 4964800 140736822318752 18446744073709551615 4342199 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=27447/tid=27465] ppid=27445 vsize=2402828 CPUtime=3.52 cores=0-31
/proc/27447/task/27465/stat : 27465 (claspmt) R 27445 27447 27233 0 -1 4202560 8217 0 0 0 290 62 0 0 21 0 32 0 26735457 2460495872 284242 270582939648 4194304 4964800 140736822318752 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=27447/tid=27466] ppid=27445 vsize=2402828 CPUtime=3.95 cores=0-31
/proc/27447/task/27466/stat : 27466 (claspmt) R 27445 27447 27233 0 -1 4202560 10933 0 0 0 319 76 0 0 21 0 32 0 26735457 2460495872 284242 270582939648 4194304 4964800 140736822318752 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=27447/tid=27467] ppid=27445 vsize=2402828 CPUtime=4.01 cores=0-31
/proc/27447/task/27467/stat : 27467 (claspmt) R 27445 27447 27233 0 -1 4202560 10317 0 0 0 322 79 0 0 21 0 32 0 26735457 2460495872 284242 270582939648 4194304 4964800 140736822318752 18446744073709551615 4668900 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=27447/tid=27468] ppid=27445 vsize=2402828 CPUtime=3.68 cores=0-31
/proc/27447/task/27468/stat : 27468 (claspmt) R 27445 27447 27233 0 -1 4202560 8020 0 0 0 294 74 0 0 21 0 32 0 26735457 2460495872 284242 270582939648 4194304 4964800 140736822318752 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=27447/tid=27469] ppid=27445 vsize=2402828 CPUtime=690.94 cores=0-31
/proc/27447/task/27469/stat : 27469 (claspmt) R 27445 27447 27233 0 -1 4202560 13313 0 0 0 69003 91 0 0 25 0 32 0 26735457 2460495872 284242 270582939648 4194304 4964800 140736822318752 18446744073709551615 4627263 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=27447/tid=27470] ppid=27445 vsize=2402828 CPUtime=4.02 cores=0-31
/proc/27447/task/27470/stat : 27470 (claspmt) R 27445 27447 27233 0 -1 4202560 10475 0 0 0 325 77 0 0 21 0 32 0 26735457 2460495872 284242 270582939648 4194304 4964800 140736822318752 18446744073709551615 4627365 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=27447/tid=27471] ppid=27445 vsize=2402828 CPUtime=4.09 cores=0-31
/proc/27447/task/27471/stat : 27471 (claspmt) R 27445 27447 27233 0 -1 4202560 10685 0 0 0 330 79 0 0 21 0 32 0 26735457 2460495872 284242 270582939648 4194304 4964800 140736822318752 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=27447/tid=27472] ppid=27445 vsize=2402828 CPUtime=3.65 cores=0-31
/proc/27447/task/27472/stat : 27472 (claspmt) R 27445 27447 27233 0 -1 4202560 8041 0 0 0 292 73 0 0 21 0 32 0 26735458 2460495872 284242 270582939648 4194304 4964800 140736822318752 18446744073709551615 4669131 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=27447/tid=27473] ppid=27445 vsize=2402828 CPUtime=3.59 cores=0-31
/proc/27447/task/27473/stat : 27473 (claspmt) R 27445 27447 27233 0 -1 4202560 8067 0 0 0 291 68 0 0 21 0 32 0 26735458 2460495872 284242 270582939648 4194304 4964800 140736822318752 18446744073709551615 4668946 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=27447/tid=27474] ppid=27445 vsize=2402828 CPUtime=4.02 cores=0-31
/proc/27447/task/27474/stat : 27474 (claspmt) R 27445 27447 27233 0 -1 4202560 10553 0 0 0 326 76 0 0 21 0 32 0 26735458 2460495872 284242 270582939648 4194304 4964800 140736822318752 18446744073709551615 4362944 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=27447/tid=27475] ppid=27445 vsize=2402828 CPUtime=3.97 cores=0-31
/proc/27447/task/27475/stat : 27475 (claspmt) R 27445 27447 27233 0 -1 4202560 10530 0 0 0 325 72 0 0 21 0 32 0 26735458 2460495872 284242 270582939648 4194304 4964800 140736822318752 18446744073709551615 4668552 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=27447/tid=27476] ppid=27445 vsize=2402828 CPUtime=3.58 cores=0-31
/proc/27447/task/27476/stat : 27476 (claspmt) R 27445 27447 27233 0 -1 4202560 7850 0 0 0 290 68 0 0 21 0 32 0 26735458 2460495872 284242 270582939648 4194304 4964800 140736822318752 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=27447/tid=27477] ppid=27445 vsize=2402828 CPUtime=682.51 cores=0-31
/proc/27447/task/27477/stat : 27477 (claspmt) R 27445 27447 27233 0 -1 4202560 13398 0 0 0 68159 92 0 0 25 0 32 0 26735458 2460495872 284242 270582939648 4194304 4964800 140736822318752 18446744073709551615 4668715 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=27447/tid=27478] ppid=27445 vsize=2402828 CPUtime=3.81 cores=0-31
/proc/27447/task/27478/stat : 27478 (claspmt) R 27445 27447 27233 0 -1 4202560 10748 0 0 0 319 62 0 0 20 0 32 0 26735458 2460495872 284242 270582939648 4194304 4964800 140736822318752 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=27447/tid=27479] ppid=27445 vsize=2402828 CPUtime=4.04 cores=0-31
/proc/27447/task/27479/stat : 27479 (claspmt) R 27445 27447 27233 0 -1 4202560 10672 0 0 0 327 77 0 0 21 0 32 0 26735458 2460495872 284242 270582939648 4194304 4964800 140736822318752 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 12 0 0 0
Current children cumulated CPU time (s) 2856.03
Current children cumulated vsize (KiB) 2402828

[startup+697.502 s]
/proc/loadavg: 8.27 5.48 11.72 33/445 27506
/proc/meminfo: memFree=261204104/264257624 swapFree=67111528/67111528
[pid=27447] ppid=27445 vsize=2402828 CPUtime=2958.29 cores=0-31
/proc/27447/stat : 27447 (claspmt) R 27445 27447 27233 0 -1 4202496 346013 0 0 0 293456 2373 0 0 25 0 32 0 26735289 2460495872 284474 270582939648 4194304 4964800 140736822318752 18446744073709551615 4678036 0 0 4096 18946 18446744073709551615 0 0 17 11 0 0 0
/proc/27447/statm: 600707 284474 455 189 0 595056 0
[pid=27447/tid=27449] ppid=27445 vsize=2402828 CPUtime=6.85 cores=0-31
/proc/27447/task/27449/stat : 27449 (claspmt) R 27445 27447 27233 0 -1 4202560 8207 0 0 0 614 71 0 0 25 0 32 0 26735457 2460495872 284474 270582939648 4194304 4964800 140736822318752 18446744073709551615 4678036 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=27447/tid=27450] ppid=27445 vsize=2402828 CPUtime=7.29 cores=0-31
/proc/27447/task/27450/stat : 27450 (claspmt) R 27445 27447 27233 0 -1 4202560 10661 0 0 0 649 80 0 0 25 0 32 0 26735457 2460495872 284474 270582939648 4194304 4964800 140736822318752 18446744073709551615 4669131 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=27447/tid=27451] ppid=27445 vsize=2402828 CPUtime=6.89 cores=0-31
/proc/27447/task/27451/stat : 27451 (claspmt) R 27445 27447 27233 0 -1 4202560 11261 0 0 0 624 65 0 0 25 0 32 0 26735457 2460495872 284474 270582939648 4194304 4964800 140736822318752 18446744073709551615 4670129 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=27447/tid=27452] ppid=27445 vsize=2402828 CPUtime=6.9 cores=0-31
/proc/27447/task/27452/stat : 27452 (claspmt) R 27445 27447 27233 0 -1 4202560 8104 0 0 0 612 78 0 0 25 0 32 0 26735457 2460495872 284474 270582939648 4194304 4964800 140736822318752 18446744073709551615 4629970 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=27447/tid=27453] ppid=27445 vsize=2402828 CPUtime=690.28 cores=0-31
/proc/27447/task/27453/stat : 27453 (claspmt) R 27445 27447 27233 0 -1 4202560 12409 0 0 0 68937 91 0 0 25 0 32 0 26735457 2460495872 284474 270582939648 4194304 4964800 140736822318752 18446744073709551615 4669011 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=27447/tid=27454] ppid=27445 vsize=2402828 CPUtime=7.13 cores=0-31
/proc/27447/task/27454/stat : 27454 (claspmt) R 27445 27447 27233 0 -1 4202560 10857 0 0 0 639 74 0 0 25 0 32 0 26735457 2460495872 284474 270582939648 4194304 4964800 140736822318752 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=27447/tid=27455] ppid=27445 vsize=2402828 CPUtime=7.28 cores=0-31
/proc/27447/task/27455/stat : 27455 (claspmt) R 27445 27447 27233 0 -1 4202560 10640 0 0 0 651 77 0 0 25 0 32 0 26735457 2460495872 284474 270582939648 4194304 4964800 140736822318752 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=27447/tid=27456] ppid=27445 vsize=2402828 CPUtime=6.83 cores=0-31
/proc/27447/task/27456/stat : 27456 (claspmt) R 27445 27447 27233 0 -1 4202560 7803 0 0 0 612 71 0 0 25 0 32 0 26735457 2460495872 284474 270582939648 4194304 4964800 140736822318752 18446744073709551615 4627365 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=27447/tid=27457] ppid=27445 vsize=2402828 CPUtime=6.86 cores=0-31
/proc/27447/task/27457/stat : 27457 (claspmt) R 27445 27447 27233 0 -1 4202560 8169 0 0 0 612 74 0 0 25 0 32 0 26735457 2460495872 284474 270582939648 4194304 4964800 140736822318752 18446744073709551615 4678036 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=27447/tid=27458] ppid=27445 vsize=2402828 CPUtime=7.22 cores=0-31
/proc/27447/task/27458/stat : 27458 (claspmt) R 27445 27447 27233 0 -1 4202560 10684 0 0 0 647 75 0 0 25 0 32 0 26735457 2460495872 284474 270582939648 4194304 4964800 140736822318752 18446744073709551615 4669131 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=27447/tid=27459] ppid=27445 vsize=2402828 CPUtime=7.12 cores=0-31
/proc/27447/task/27459/stat : 27459 (claspmt) R 27445 27447 27233 0 -1 4202560 10849 0 0 0 641 71 0 0 25 0 32 0 26735457 2460495872 284474 270582939648 4194304 4964800 140736822318752 18446744073709551615 4669011 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=27447/tid=27460] ppid=27445 vsize=2402828 CPUtime=6.81 cores=0-31
/proc/27447/task/27460/stat : 27460 (claspmt) R 27445 27447 27233 0 -1 4202560 7897 0 0 0 612 69 0 0 25 0 32 0 26735457 2460495872 284474 270582939648 4194304 4964800 140736822318752 18446744073709551615 4669131 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=27447/tid=27461] ppid=27445 vsize=2402828 CPUtime=690.23 cores=0-31
/proc/27447/task/27461/stat : 27461 (claspmt) R 27445 27447 27233 0 -1 4202560 13106 0 0 0 68928 95 0 0 25 0 32 0 26735457 2460495872 284474 270582939648 4194304 4964800 140736822318752 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=27447/tid=27462] ppid=27445 vsize=2402828 CPUtime=7.1 cores=0-31
/proc/27447/task/27462/stat : 27462 (claspmt) R 27445 27447 27233 0 -1 4202560 10532 0 0 0 638 72 0 0 25 0 32 0 26735457 2460495872 284474 270582939648 4194304 4964800 140736822318752 18446744073709551615 4378499 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=27447/tid=27463] ppid=27445 vsize=2402828 CPUtime=7.33 cores=0-31
/proc/27447/task/27463/stat : 27463 (claspmt) R 27445 27447 27233 0 -1 4202560 10661 0 0 0 649 84 0 0 25 0 32 0 26735457 2460495872 284474 270582939648 4194304 4964800 140736822318752 18446744073709551615 4670212 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=27447/tid=27464] ppid=27445 vsize=2402828 CPUtime=6.83 cores=0-31
/proc/27447/task/27464/stat : 27464 (claspmt) R 27445 27447 27233 0 -1 4202560 7869 0 0 0 612 71 0 0 25 0 32 0 26735457 2460495872 284474 270582939648 4194304 4964800 140736822318752 18446744073709551615 4684760 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=27447/tid=27465] ppid=27445 vsize=2402828 CPUtime=6.72 cores=0-31
/proc/27447/task/27465/stat : 27465 (claspmt) R 27445 27447 27233 0 -1 4202560 8221 0 0 0 610 62 0 0 25 0 32 0 26735457 2460495872 284474 270582939648 4194304 4964800 140736822318752 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=27447/tid=27466] ppid=27445 vsize=2402828 CPUtime=7.15 cores=0-31
/proc/27447/task/27466/stat : 27466 (claspmt) R 27445 27447 27233 0 -1 4202560 10947 0 0 0 639 76 0 0 25 0 32 0 26735457 2460495872 284474 270582939648 4194304 4964800 140736822318752 18446744073709551615 4669131 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=27447/tid=27467] ppid=27445 vsize=2402828 CPUtime=7.21 cores=0-31
/proc/27447/task/27467/stat : 27467 (claspmt) R 27445 27447 27233 0 -1 4202560 10331 0 0 0 642 79 0 0 25 0 32 0 26735457 2460495872 284474 270582939648 4194304 4964800 140736822318752 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=27447/tid=27468] ppid=27445 vsize=2402828 CPUtime=6.88 cores=0-31
/proc/27447/task/27468/stat : 27468 (claspmt) R 27445 27447 27233 0 -1 4202560 8036 0 0 0 614 74 0 0 25 0 32 0 26735457 2460495872 284474 270582939648 4194304 4964800 140736822318752 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=27447/tid=27469] ppid=27445 vsize=2402828 CPUtime=694.13 cores=0-31
/proc/27447/task/27469/stat : 27469 (claspmt) R 27445 27447 27233 0 -1 4202560 13317 0 0 0 69322 91 0 0 25 0 32 0 26735457 2460495872 284474 270582939648 4194304 4964800 140736822318752 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=27447/tid=27470] ppid=27445 vsize=2402828 CPUtime=7.22 cores=0-31
/proc/27447/task/27470/stat : 27470 (claspmt) R 27445 27447 27233 0 -1 4202560 10480 0 0 0 645 77 0 0 25 0 32 0 26735457 2460495872 284474 270582939648 4194304 4964800 140736822318752 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=27447/tid=27471] ppid=27445 vsize=2402828 CPUtime=7.29 cores=0-31
/proc/27447/task/27471/stat : 27471 (claspmt) R 27445 27447 27233 0 -1 4202560 10697 0 0 0 650 79 0 0 25 0 32 0 26735457 2460495872 284474 270582939648 4194304 4964800 140736822318752 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=27447/tid=27472] ppid=27445 vsize=2402828 CPUtime=6.85 cores=0-31
/proc/27447/task/27472/stat : 27472 (claspmt) R 27445 27447 27233 0 -1 4202560 8049 0 0 0 612 73 0 0 25 0 32 0 26735458 2460495872 284474 270582939648 4194304 4964800 140736822318752 18446744073709551615 4313624 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=27447/tid=27473] ppid=27445 vsize=2402828 CPUtime=6.79 cores=0-31
/proc/27447/task/27473/stat : 27473 (claspmt) R 27445 27447 27233 0 -1 4202560 8067 0 0 0 611 68 0 0 25 0 32 0 26735458 2460495872 284474 270582939648 4194304 4964800 140736822318752 18446744073709551615 4669131 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=27447/tid=27474] ppid=27445 vsize=2402828 CPUtime=7.22 cores=0-31
/proc/27447/task/27474/stat : 27474 (claspmt) R 27445 27447 27233 0 -1 4202560 10555 0 0 0 646 76 0 0 25 0 32 0 26735458 2460495872 284474 270582939648 4194304 4964800 140736822318752 18446744073709551615 4669011 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=27447/tid=27475] ppid=27445 vsize=2402828 CPUtime=7.17 cores=0-31
/proc/27447/task/27475/stat : 27475 (claspmt) R 27445 27447 27233 0 -1 4202560 10538 0 0 0 645 72 0 0 25 0 32 0 26735458 2460495872 284474 270582939648 4194304 4964800 140736822318752 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=27447/tid=27476] ppid=27445 vsize=2402828 CPUtime=6.78 cores=0-31
/proc/27447/task/27476/stat : 27476 (claspmt) R 27445 27447 27233 0 -1 4202560 7864 0 0 0 610 68 0 0 25 0 32 0 26735458 2460495872 284474 270582939648 4194304 4964800 140736822318752 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=27447/tid=27477] ppid=27445 vsize=2402828 CPUtime=685.71 cores=0-31
/proc/27447/task/27477/stat : 27477 (claspmt) R 27445 27447 27233 0 -1 4202560 13398 0 0 0 68479 92 0 0 25 0 32 0 26735458 2460495872 284474 270582939648 4194304 4964800 140736822318752 18446744073709551615 4668900 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=27447/tid=27478] ppid=27445 vsize=2402828 CPUtime=7 cores=0-31
/proc/27447/task/27478/stat : 27478 (claspmt) R 27445 27447 27233 0 -1 4202560 10753 0 0 0 638 62 0 0 25 0 32 0 26735458 2460495872 284474 270582939648 4194304 4964800 140736822318752 18446744073709551615 4321185 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=27447/tid=27479] ppid=27445 vsize=2402828 CPUtime=7.24 cores=0-31
/proc/27447/task/27479/stat : 27479 (claspmt) R 27445 27447 27233 0 -1 4202560 10686 0 0 0 647 77 0 0 25 0 32 0 26735458 2460495872 284474 270582939648 4194304 4964800 140736822318752 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 12 0 0 0
Current children cumulated CPU time (s) 2958.29
Current children cumulated vsize (KiB) 2402828

[startup+698.302 s]
/proc/loadavg: 8.27 5.48 11.72 33/445 27506
/proc/meminfo: memFree=261204104/264257624 swapFree=67111528/67111528
[pid=27447] ppid=27445 vsize=2402828 CPUtime=2982.65 cores=0-31
/proc/27447/stat : 27447 (claspmt) S 27445 27447 27233 0 -1 4202496 346046 0 0 0 295889 2376 0 0 17 0 2 0 26735289 2460495872 284507 270582939648 4194304 4964800 140736822318752 18446744073709551615 258662759221 0 0 4096 18946 18446744073709551615 0 0 17 11 0 0 0
/proc/27447/statm: 600707 284507 456 189 0 595056 0
[pid=27447/tid=27458] ppid=27445 vsize=2402828 CPUtime=8.01 cores=0-31
/proc/27447/task/27458/stat : 27458 (claspmt) R 27445 27447 27233 0 -1 4202560 10689 0 0 0 726 75 0 0 17 0 2 0 26735457 2460495872 284507 270582939648 4194304 4964800 140736822318752 18446744073709551615 4364398 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2982.65
Current children cumulated vsize (KiB) 2402828

[startup+698.701 s]
/proc/loadavg: 8.27 5.48 11.72 2/414 27506
/proc/meminfo: memFree=261204228/264257624 swapFree=67111528/67111528
[pid=27447] ppid=27445 vsize=2200280 CPUtime=2983.05 cores=0-31
/proc/27447/stat : 27447 (claspmt) R 27445 27447 27233 0 -1 4202496 346056 0 0 0 295928 2377 0 0 18 0 1 0 26735289 2253086720 256386 270582939648 4194304 4964800 140736822318752 18446744073709551615 258650611899 0 0 4096 18946 0 0 0 17 11 0 0 0
/proc/27447/statm: 550070 256386 466 189 0 544419 0
Current children cumulated CPU time (s) 2983.05
Current children cumulated vsize (KiB) 2200280

[startup+699.1 s]
/proc/loadavg: 8.27 5.48 11.72 2/414 27506
/proc/meminfo: memFree=261204228/264257624 swapFree=67111528/67111528
[pid=27447] ppid=27445 vsize=2011064 CPUtime=2983.44 cores=0-31
/proc/27447/stat : 27447 (claspmt) R 27445 27447 27233 0 -1 4202496 346056 0 0 0 295966 2378 0 0 18 0 1 0 26735289 2059329536 205129 270582939648 4194304 4964800 140736822318752 18446744073709551615 258650611899 0 0 4096 18946 0 0 0 17 11 0 0 0
/proc/27447/statm: 502766 205129 466 189 0 497115 0
Current children cumulated CPU time (s) 2983.44
Current children cumulated vsize (KiB) 2011064

[startup+699.201 s]
/proc/loadavg: 8.27 5.48 11.72 2/414 27506
/proc/meminfo: memFree=261204228/264257624 swapFree=67111528/67111528
[pid=27447] ppid=27445 vsize=1969016 CPUtime=2983.55 cores=0-31
/proc/27447/stat : 27447 (claspmt) R 27445 27447 27233 0 -1 4202496 346056 0 0 0 295976 2379 0 0 18 0 1 0 26735289 2016272384 192170 270582939648 4194304 4964800 140736822318752 18446744073709551615 258650604586 0 0 4096 18946 0 0 0 17 11 0 0 0
/proc/27447/statm: 492254 192170 466 189 0 486603 0
Current children cumulated CPU time (s) 2983.55
Current children cumulated vsize (KiB) 1969016

Child status: 20
Real time (s): 699.277
CPU time (s): 2983.63
CPU user time (s): 2959.78
CPU system time (s): 23.8434
CPU usage (%): 426.673
Max. virtual memory (cumulated for all children) (KiB): 2402828

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2959.78
system time used= 23.8434
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 346057
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= 226888
involuntary context switches= 4097

runsolver used 3.78742 second user time and 15.1537 second system time

The end

Launcher Data 

Begin job on node200 at 2011-06-09 11:58:04
IDJOB=3472398
IDBENCH=82430
IDSOLVER=1961
FILE ID=node200/3472398-1307613480
RUNJOBID= node200-1307612979-27247
PBS_JOBID= 13547730
Free space on /tmp= 61652 MiB

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

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

MD5SUM BENCH= 52e16341bcff805ef2d6abe4e95359a0
RANDOM SEED=890791524

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:      262335556 kB
Buffers:        218744 kB
Cached:        1416256 kB
SwapCached:          0 kB
Active:         329760 kB
Inactive:      1369560 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      262335556 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           94260 kB
Writeback:           0 kB
AnonPages:       64136 kB
Mapped:          14524 kB
Slab:           144576 kB
PageTables:       4452 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   159420 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= 61652 MiB
End job on node200 at 2011-06-09 12:09:43