Trace number 3472536

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 510.183 16.5133

General information on the benchmark

NameSAT02/industrial/goldberg/rand_net/
rand_net70-60-10.shuffled.cnf
MD5SUM6ebe2de27b5534e626cb88c01abcf6c6
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark510.183
Satisfiable
(Un)Satisfiability was proved
Number of variables8400
Number of clauses25061
Sum of the clauses size58730
Maximum clause length70
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 216520
Number of clauses of size 38540
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 51

Solver Data

0.00/0.01	c clasp version 2.0.0-RC2
0.00/0.01	c Reading from ...832691/instance-3472536-1307832691.cnf
0.09/0.12	c Solving...
510.08/16.51	s UNSATISFIABLE
510.08/16.51	
510.08/16.51	c Models        : 0     
510.08/16.51	c Time          : 16.334s (Solving: 16.22s 1st Model: 0.00s Unsat: 16.22s)
510.08/16.51	c CPU Time      : 510.010s

Verifier Data

No possible verification on an UNSAT instance

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 988)

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-3472536-1307832691/watcher-3472536-1307832691 -o /tmp/evaluation-result-3472536-1307832691/solver-3472536-1307832691 -C 160000 -W 5100 -M 256000 HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472536-1307832691.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: 31.97 26.91 17.67 1/413 13566
/proc/meminfo: memFree=261915464/264257624 swapFree=67111528/67111528
[pid=13566] ppid=13564 vsize=24160 CPUtime=0.02 cores=0-31
/proc/13566/stat : 13566 (claspmt) R 13564 13566 13185 0 -1 4202496 1517 0 0 0 2 0 0 0 20 0 1 0 48656037 24739840 1263 270582939648 4194304 4964800 140736602956352 18446744073709551615 4618090 0 0 4096 18946 0 0 0 17 20 0 0 0
/proc/13566/statm: 6040 1263 394 189 0 914 0

[startup+0.0369249 s]
/proc/loadavg: 31.97 26.91 17.67 1/413 13566
/proc/meminfo: memFree=261915464/264257624 swapFree=67111528/67111528
[pid=13566] ppid=13564 vsize=24564 CPUtime=0.02 cores=0-31
/proc/13566/stat : 13566 (claspmt) R 13564 13566 13185 0 -1 4202496 1591 0 0 0 2 0 0 0 20 0 1 0 48656037 25153536 1337 270582939648 4194304 4964800 140736602956352 18446744073709551615 4617541 0 0 4096 18946 0 0 0 17 20 0 0 0
/proc/13566/statm: 6141 1337 394 189 0 1015 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 24564

[startup+0.100996 s]
/proc/loadavg: 31.97 26.91 17.67 1/413 13566
/proc/meminfo: memFree=261915464/264257624 swapFree=67111528/67111528
[pid=13566] ppid=13564 vsize=25436 CPUtime=0.09 cores=0-31
/proc/13566/stat : 13566 (claspmt) R 13564 13566 13185 0 -1 4202496 1816 0 0 0 9 0 0 0 20 0 1 0 48656037 26046464 1562 270582939648 4194304 4964800 140736602956352 18446744073709551615 4601757 0 0 4096 18946 0 0 0 17 20 0 0 0
/proc/13566/statm: 6359 1562 397 189 0 1233 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25436

[startup+0.300979 s]
/proc/loadavg: 31.97 26.91 17.67 1/413 13566
/proc/meminfo: memFree=261915464/264257624 swapFree=67111528/67111528
[pid=13566] ppid=13564 vsize=1678768 CPUtime=1.13 cores=0-31
/proc/13566/stat : 13566 (claspmt) S 13564 13566 13185 0 -1 4202496 12663 0 0 0 57 56 0 0 18 0 32 0 48656037 1719058432 10261 270582939648 4194304 4964800 140736602956352 18446744073709551615 258662772457 0 0 4096 18946 18446744073709551615 0 0 17 20 0 0 0
/proc/13566/statm: 419692 10261 434 189 0 414041 0
Current children cumulated CPU time (s) 1.13
Current children cumulated vsize (KiB) 1678768

[startup+0.700897 s]
/proc/loadavg: 31.97 26.91 17.67 1/413 13566
/proc/meminfo: memFree=261915464/264257624 swapFree=67111528/67111528
[pid=13566] ppid=13564 vsize=1679428 CPUtime=11.01 cores=0-31
/proc/13566/stat : 13566 (claspmt) R 13564 13566 13185 0 -1 4202496 16596 0 0 0 1028 73 0 0 17 0 32 0 48656037 1719734272 14173 270582939648 4194304 4964800 140736602956352 18446744073709551615 4668568 0 0 4096 18946 18446744073709551615 0 0 17 8 0 0 0
/proc/13566/statm: 419857 14173 461 189 0 414206 0
Current children cumulated CPU time (s) 11.01
Current children cumulated vsize (KiB) 1679428

[startup+1.50192 s]
/proc/loadavg: 31.97 26.91 17.67 31/445 13598
/proc/meminfo: memFree=261850292/264257624 swapFree=67111528/67111528
[pid=13566] ppid=13564 vsize=1680884 CPUtime=36.24 cores=0-31
/proc/13566/stat : 13566 (claspmt) R 13564 13566 13185 0 -1 4202496 26043 0 0 0 3515 109 0 0 17 0 32 0 48656037 1721225216 23620 270582939648 4194304 4964800 140736602956352 18446744073709551615 4669574 0 0 4096 18946 18446744073709551615 0 0 17 8 0 0 0
/proc/13566/statm: 420221 23623 461 189 0 414570 0
[pid=13566/tid=13568] ppid=13564 vsize=1680884 CPUtime=1.08 cores=0-31
/proc/13566/task/13568/stat : 13568 (claspmt) R 13564 13566 13185 0 -1 4202560 590 0 0 0 107 1 0 0 17 0 32 0 48656050 1721225216 23623 270582939648 4194304 4964800 140736602956352 18446744073709551615 4669298 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=13566/tid=13569] ppid=13564 vsize=1680884 CPUtime=1.11 cores=0-31
/proc/13566/task/13569/stat : 13569 (claspmt) R 13564 13566 13185 0 -1 4202560 876 0 0 0 108 3 0 0 17 0 32 0 48656050 1721225216 23623 270582939648 4194304 4964800 140736602956352 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=13566/tid=13570] ppid=13564 vsize=1680884 CPUtime=1.09 cores=0-31
/proc/13566/task/13570/stat : 13570 (claspmt) R 13564 13566 13185 0 -1 4202560 729 0 0 0 107 2 0 0 17 0 32 0 48656050 1721225216 23625 270582939648 4194304 4964800 140736602956352 18446744073709551615 4362878 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=13566/tid=13571] ppid=13564 vsize=1680884 CPUtime=1.09 cores=0-31
/proc/13566/task/13571/stat : 13571 (claspmt) R 13564 13566 13185 0 -1 4202560 854 0 0 0 106 3 0 0 17 0 32 0 48656050 1721225216 23625 270582939648 4194304 4964800 140736602956352 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=13566/tid=13572] ppid=13564 vsize=1680884 CPUtime=1.28 cores=0-31
/proc/13566/task/13572/stat : 13572 (claspmt) R 13564 13566 13185 0 -1 4202560 404 0 0 0 127 1 0 0 19 0 32 0 48656050 1721225216 23625 270582939648 4194304 4964800 140736602956352 18446744073709551615 4342213 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=13566/tid=13573] ppid=13564 vsize=1680884 CPUtime=1.09 cores=0-31
/proc/13566/task/13573/stat : 13573 (claspmt) R 13564 13566 13185 0 -1 4202560 833 0 0 0 106 3 0 0 17 0 32 0 48656050 1721225216 23625 270582939648 4194304 4964800 140736602956352 18446744073709551615 4668564 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=13566/tid=13574] ppid=13564 vsize=1680884 CPUtime=1.08 cores=0-31
/proc/13566/task/13574/stat : 13574 (claspmt) R 13564 13566 13185 0 -1 4202560 1499 0 0 0 102 6 0 0 17 0 32 0 48656050 1721225216 23625 270582939648 4194304 4964800 140736602956352 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=13566/tid=13575] ppid=13564 vsize=1680884 CPUtime=1.1 cores=0-31
/proc/13566/task/13575/stat : 13575 (claspmt) R 13564 13566 13185 0 -1 4202560 632 0 0 0 107 3 0 0 17 0 32 0 48656050 1721225216 23625 270582939648 4194304 4964800 140736602956352 18446744073709551615 4653587 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=13566/tid=13576] ppid=13564 vsize=1680884 CPUtime=1.1 cores=0-31
/proc/13566/task/13576/stat : 13576 (claspmt) R 13564 13566 13185 0 -1 4202560 644 0 0 0 108 2 0 0 17 0 32 0 48656050 1721225216 23628 270582939648 4194304 4964800 140736602956352 18446744073709551615 4668715 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=13566/tid=13577] ppid=13564 vsize=1680884 CPUtime=1.1 cores=0-31
/proc/13566/task/13577/stat : 13577 (claspmt) R 13564 13566 13185 0 -1 4202560 768 0 0 0 107 3 0 0 17 0 32 0 48656050 1721225216 23628 270582939648 4194304 4964800 140736602956352 18446744073709551615 4342162 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=13566/tid=13578] ppid=13564 vsize=1680884 CPUtime=1.12 cores=0-31
/proc/13566/task/13578/stat : 13578 (claspmt) R 13564 13566 13185 0 -1 4202560 617 0 0 0 110 2 0 0 17 0 32 0 48656050 1721225216 23629 270582939648 4194304 4964800 140736602956352 18446744073709551615 4670645 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=13566/tid=13579] ppid=13564 vsize=1680884 CPUtime=1.1 cores=0-31
/proc/13566/task/13579/stat : 13579 (claspmt) R 13564 13566 13185 0 -1 4202560 812 0 0 0 106 4 0 0 17 0 32 0 48656050 1721225216 23631 270582939648 4194304 4964800 140736602956352 18446744073709551615 4660142 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=13566/tid=13580] ppid=13564 vsize=1680884 CPUtime=1.2 cores=0-31
/proc/13566/task/13580/stat : 13580 (claspmt) R 13564 13566 13185 0 -1 4202560 401 0 0 0 119 1 0 0 19 0 32 0 48656050 1721225216 23632 270582939648 4194304 4964800 140736602956352 18446744073709551615 4336735 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=13566/tid=13581] ppid=13564 vsize=1680884 CPUtime=1.08 cores=0-31
/proc/13566/task/13581/stat : 13581 (claspmt) R 13564 13566 13185 0 -1 4202560 790 0 0 0 105 3 0 0 17 0 32 0 48656050 1721225216 23632 270582939648 4194304 4964800 140736602956352 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=13566/tid=13582] ppid=13564 vsize=1680884 CPUtime=1.1 cores=0-31
/proc/13566/task/13582/stat : 13582 (claspmt) R 13564 13566 13185 0 -1 4202560 1332 0 0 0 103 7 0 0 17 0 32 0 48656050 1721225216 23633 270582939648 4194304 4964800 140736602956352 18446744073709551615 4342208 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=13566/tid=13583] ppid=13564 vsize=1680884 CPUtime=1.1 cores=0-31
/proc/13566/task/13583/stat : 13583 (claspmt) R 13564 13566 13185 0 -1 4202560 620 0 0 0 108 2 0 0 17 0 32 0 48656050 1721225216 23634 270582939648 4194304 4964800 140736602956352 18446744073709551615 4333237 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=13566/tid=13584] ppid=13564 vsize=1680884 CPUtime=1.09 cores=0-31
/proc/13566/task/13584/stat : 13584 (claspmt) R 13564 13566 13185 0 -1 4202560 657 0 0 0 106 3 0 0 17 0 32 0 48656050 1721225216 23635 270582939648 4194304 4964800 140736602956352 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=13566/tid=13585] ppid=13564 vsize=1680884 CPUtime=1.1 cores=0-31
/proc/13566/task/13585/stat : 13585 (claspmt) R 13564 13566 13185 0 -1 4202560 799 0 0 0 107 3 0 0 17 0 32 0 48656050 1721225216 23635 270582939648 4194304 4964800 140736602956352 18446744073709551615 4670392 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=13566/tid=13586] ppid=13564 vsize=1680884 CPUtime=1.12 cores=0-31
/proc/13566/task/13586/stat : 13586 (claspmt) R 13564 13566 13185 0 -1 4202560 797 0 0 0 109 3 0 0 17 0 32 0 48656050 1721225216 23635 270582939648 4194304 4964800 140736602956352 18446744073709551615 4668987 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=13566/tid=13587] ppid=13564 vsize=1680884 CPUtime=1.1 cores=0-31
/proc/13566/task/13587/stat : 13587 (claspmt) R 13564 13566 13185 0 -1 4202560 784 0 0 0 107 3 0 0 17 0 32 0 48656050 1721225216 23636 270582939648 4194304 4964800 140736602956352 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=13566/tid=13588] ppid=13564 vsize=1680884 CPUtime=1.29 cores=0-31
/proc/13566/task/13588/stat : 13588 (claspmt) R 13564 13566 13185 0 -1 4202560 414 0 0 0 127 2 0 0 19 0 32 0 48656050 1721225216 23636 270582939648 4194304 4964800 140736602956352 18446744073709551615 4668564 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=13566/tid=13589] ppid=13564 vsize=1680884 CPUtime=1.11 cores=0-31
/proc/13566/task/13589/stat : 13589 (claspmt) R 13564 13566 13185 0 -1 4202560 730 0 0 0 108 3 0 0 17 0 32 0 48656050 1721225216 23636 270582939648 4194304 4964800 140736602956352 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=13566/tid=13590] ppid=13564 vsize=1680884 CPUtime=1.1 cores=0-31
/proc/13566/task/13590/stat : 13590 (claspmt) R 13564 13566 13185 0 -1 4202560 1205 0 0 0 106 4 0 0 17 0 32 0 48656050 1721225216 23637 270582939648 4194304 4964800 140736602956352 18446744073709551615 4670190 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=13566/tid=13591] ppid=13564 vsize=1680884 CPUtime=1.11 cores=0-31
/proc/13566/task/13591/stat : 13591 (claspmt) R 13564 13566 13185 0 -1 4202560 615 0 0 0 108 3 0 0 17 0 32 0 48656050 1721225216 23637 270582939648 4194304 4964800 140736602956352 18446744073709551615 4668709 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=13566/tid=13592] ppid=13564 vsize=1680884 CPUtime=1.11 cores=0-31
/proc/13566/task/13592/stat : 13592 (claspmt) R 13564 13566 13185 0 -1 4202560 647 0 0 0 109 2 0 0 17 0 32 0 48656050 1721225216 23637 270582939648 4194304 4964800 140736602956352 18446744073709551615 4669280 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=13566/tid=13593] ppid=13564 vsize=1680884 CPUtime=1.1 cores=0-31
/proc/13566/task/13593/stat : 13593 (claspmt) R 13564 13566 13185 0 -1 4202560 797 0 0 0 107 3 0 0 17 0 32 0 48656051 1721225216 23637 270582939648 4194304 4964800 140736602956352 18446744073709551615 4668773 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=13566/tid=13594] ppid=13564 vsize=1680884 CPUtime=1.1 cores=0-31
/proc/13566/task/13594/stat : 13594 (claspmt) R 13564 13566 13185 0 -1 4202560 695 0 0 0 108 2 0 0 17 0 32 0 48656051 1721225216 23637 270582939648 4194304 4964800 140736602956352 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=13566/tid=13595] ppid=13564 vsize=1680884 CPUtime=1.1 cores=0-31
/proc/13566/task/13595/stat : 13595 (claspmt) R 13564 13566 13185 0 -1 4202560 882 0 0 0 107 3 0 0 17 0 32 0 48656051 1721225216 23638 270582939648 4194304 4964800 140736602956352 18446744073709551615 4669479 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=13566/tid=13596] ppid=13564 vsize=1680884 CPUtime=1.28 cores=0-31
/proc/13566/task/13596/stat : 13596 (claspmt) R 13564 13566 13185 0 -1 4202560 395 0 0 0 127 1 0 0 21 0 32 0 48656051 1721225216 23638 270582939648 4194304 4964800 140736602956352 18446744073709551615 4669532 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=13566/tid=13597] ppid=13564 vsize=1680884 CPUtime=1.09 cores=0-31
/proc/13566/task/13597/stat : 13597 (claspmt) R 13564 13566 13185 0 -1 4202560 790 0 0 0 107 2 0 0 17 0 32 0 48656051 1721225216 23639 270582939648 4194304 4964800 140736602956352 18446744073709551615 4653507 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=13566/tid=13598] ppid=13564 vsize=1680884 CPUtime=1.06 cores=0-31
/proc/13566/task/13598/stat : 13598 (claspmt) R 13564 13566 13185 0 -1 4202560 1148 0 0 0 102 4 0 0 17 0 32 0 48656051 1721225216 23640 270582939648 4194304 4964800 140736602956352 18446744073709551615 4660236 0 0 4096 18946 0 0 0 -1 12 0 0 0
Current children cumulated CPU time (s) 36.24
Current children cumulated vsize (KiB) 1680884

[startup+3.10198 s]
/proc/loadavg: 32.06 27.01 17.75 33/445 13598
/proc/meminfo: memFree=261808628/264257624 swapFree=67111528/67111528
[pid=13566] ppid=13564 vsize=1681280 CPUtime=87.31 cores=0-31
/proc/13566/stat : 13566 (claspmt) R 13564 13566 13185 0 -1 4202496 31234 0 0 0 8606 125 0 0 20 0 32 0 48656037 1721630720 28811 270582939648 4194304 4964800 140736602956352 18446744073709551615 4684072 0 0 4096 18946 18446744073709551615 0 0 17 8 0 0 0
/proc/13566/statm: 420320 28811 461 189 0 414669 0
[pid=13566/tid=13568] ppid=13564 vsize=1681280 CPUtime=2.68 cores=0-31
/proc/13566/task/13568/stat : 13568 (claspmt) R 13564 13566 13185 0 -1 4202560 696 0 0 0 266 2 0 0 19 0 32 0 48656050 1721630720 28811 270582939648 4194304 4964800 140736602956352 18446744073709551615 4342162 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=13566/tid=13569] ppid=13564 vsize=1681280 CPUtime=2.71 cores=0-31
/proc/13566/task/13569/stat : 13569 (claspmt) R 13564 13566 13185 0 -1 4202560 1298 0 0 0 267 4 0 0 18 0 32 0 48656050 1721630720 28811 270582939648 4194304 4964800 140736602956352 18446744073709551615 4669026 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=13566/tid=13570] ppid=13564 vsize=1681280 CPUtime=2.69 cores=0-31
/proc/13566/task/13570/stat : 13570 (claspmt) R 13564 13566 13185 0 -1 4202560 790 0 0 0 267 2 0 0 19 0 32 0 48656050 1721630720 28811 270582939648 4194304 4964800 140736602956352 18446744073709551615 4670371 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=13566/tid=13571] ppid=13564 vsize=1681280 CPUtime=2.69 cores=0-31
/proc/13566/task/13571/stat : 13571 (claspmt) R 13564 13566 13185 0 -1 4202560 1015 0 0 0 265 4 0 0 19 0 32 0 48656050 1721630720 28811 270582939648 4194304 4964800 140736602956352 18446744073709551615 4668794 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=13566/tid=13572] ppid=13564 vsize=1681280 CPUtime=2.88 cores=0-31
/proc/13566/task/13572/stat : 13572 (claspmt) R 13564 13566 13185 0 -1 4202560 422 0 0 0 287 1 0 0 23 0 32 0 48656050 1721630720 28811 270582939648 4194304 4964800 140736602956352 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=13566/tid=13573] ppid=13564 vsize=1681280 CPUtime=2.68 cores=0-31
/proc/13566/task/13573/stat : 13573 (claspmt) R 13564 13566 13185 0 -1 4202560 910 0 0 0 265 3 0 0 19 0 32 0 48656050 1721630720 28811 270582939648 4194304 4964800 140736602956352 18446744073709551615 4627263 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=13566/tid=13574] ppid=13564 vsize=1681280 CPUtime=2.68 cores=0-31
/proc/13566/task/13574/stat : 13574 (claspmt) R 13564 13566 13185 0 -1 4202560 2171 0 0 0 260 8 0 0 18 0 32 0 48656050 1721630720 28811 270582939648 4194304 4964800 140736602956352 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=13566/tid=13575] ppid=13564 vsize=1681280 CPUtime=2.7 cores=0-31
/proc/13566/task/13575/stat : 13575 (claspmt) R 13564 13566 13185 0 -1 4202560 775 0 0 0 266 4 0 0 19 0 32 0 48656050 1721630720 28811 270582939648 4194304 4964800 140736602956352 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=13566/tid=13576] ppid=13564 vsize=1681280 CPUtime=2.7 cores=0-31
/proc/13566/task/13576/stat : 13576 (claspmt) R 13564 13566 13185 0 -1 4202560 744 0 0 0 268 2 0 0 19 0 32 0 48656050 1721630720 28811 270582939648 4194304 4964800 140736602956352 18446744073709551615 4668920 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=13566/tid=13577] ppid=13564 vsize=1681280 CPUtime=2.69 cores=0-31
/proc/13566/task/13577/stat : 13577 (claspmt) R 13564 13566 13185 0 -1 4202560 989 0 0 0 265 4 0 0 18 0 32 0 48656050 1721630720 28811 270582939648 4194304 4964800 140736602956352 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=13566/tid=13578] ppid=13564 vsize=1681280 CPUtime=2.72 cores=0-31
/proc/13566/task/13578/stat : 13578 (claspmt) R 13564 13566 13185 0 -1 4202560 722 0 0 0 269 3 0 0 19 0 32 0 48656050 1721630720 28811 270582939648 4194304 4964800 140736602956352 18446744073709551615 4669557 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=13566/tid=13579] ppid=13564 vsize=1681280 CPUtime=2.71 cores=0-31
/proc/13566/task/13579/stat : 13579 (claspmt) R 13564 13566 13185 0 -1 4202560 935 0 0 0 266 5 0 0 19 0 32 0 48656050 1721630720 28811 270582939648 4194304 4964800 140736602956352 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=13566/tid=13580] ppid=13564 vsize=1681280 CPUtime=2.8 cores=0-31
/proc/13566/task/13580/stat : 13580 (claspmt) R 13564 13566 13185 0 -1 4202560 411 0 0 0 279 1 0 0 23 0 32 0 48656050 1721630720 28811 270582939648 4194304 4964800 140736602956352 18446744073709551615 4670142 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=13566/tid=13581] ppid=13564 vsize=1681280 CPUtime=2.68 cores=0-31
/proc/13566/task/13581/stat : 13581 (claspmt) R 13564 13566 13185 0 -1 4202560 984 0 0 0 264 4 0 0 20 0 32 0 48656050 1721630720 28811 270582939648 4194304 4964800 140736602956352 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=13566/tid=13582] ppid=13564 vsize=1681280 CPUtime=2.69 cores=0-31
/proc/13566/task/13582/stat : 13582 (claspmt) R 13564 13566 13185 0 -1 4202560 1737 0 0 0 260 9 0 0 20 0 32 0 48656050 1721630720 28811 270582939648 4194304 4964800 140736602956352 18446744073709551615 4689047 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=13566/tid=13583] ppid=13564 vsize=1681280 CPUtime=2.69 cores=0-31
/proc/13566/task/13583/stat : 13583 (claspmt) R 13564 13566 13185 0 -1 4202560 735 0 0 0 267 2 0 0 20 0 32 0 48656050 1721630720 28811 270582939648 4194304 4964800 140736602956352 18446744073709551615 4669500 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=13566/tid=13584] ppid=13564 vsize=1681280 CPUtime=2.65 cores=0-31
/proc/13566/task/13584/stat : 13584 (claspmt) R 13564 13566 13185 0 -1 4202560 742 0 0 0 262 3 0 0 19 0 32 0 48656050 1721630720 28811 270582939648 4194304 4964800 140736602956352 18446744073709551615 4670507 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=13566/tid=13585] ppid=13564 vsize=1681280 CPUtime=2.7 cores=0-31
/proc/13566/task/13585/stat : 13585 (claspmt) R 13564 13566 13185 0 -1 4202560 1095 0 0 0 266 4 0 0 20 0 32 0 48656050 1721630720 28811 270582939648 4194304 4964800 140736602956352 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=13566/tid=13586] ppid=13564 vsize=1681280 CPUtime=2.72 cores=0-31
/proc/13566/task/13586/stat : 13586 (claspmt) R 13564 13566 13185 0 -1 4202560 889 0 0 0 269 3 0 0 20 0 32 0 48656050 1721630720 28811 270582939648 4194304 4964800 140736602956352 18446744073709551615 4668715 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=13566/tid=13587] ppid=13564 vsize=1681280 CPUtime=2.71 cores=0-31
/proc/13566/task/13587/stat : 13587 (claspmt) R 13564 13566 13185 0 -1 4202560 962 0 0 0 267 4 0 0 19 0 32 0 48656050 1721630720 28811 270582939648 4194304 4964800 140736602956352 18446744073709551615 4669509 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=13566/tid=13588] ppid=13564 vsize=1681280 CPUtime=2.89 cores=0-31
/proc/13566/task/13588/stat : 13588 (claspmt) R 13564 13566 13185 0 -1 4202560 430 0 0 0 287 2 0 0 24 0 32 0 48656050 1721630720 28811 270582939648 4194304 4964800 140736602956352 18446744073709551615 4668987 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=13566/tid=13589] ppid=13564 vsize=1681280 CPUtime=2.72 cores=0-31
/proc/13566/task/13589/stat : 13589 (claspmt) R 13564 13566 13185 0 -1 4202560 847 0 0 0 268 4 0 0 19 0 32 0 48656050 1721630720 28811 270582939648 4194304 4964800 140736602956352 18446744073709551615 4668987 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=13566/tid=13590] ppid=13564 vsize=1681280 CPUtime=2.69 cores=0-31
/proc/13566/task/13590/stat : 13590 (claspmt) R 13564 13566 13185 0 -1 4202560 1506 0 0 0 264 5 0 0 18 0 32 0 48656050 1721630720 28811 270582939648 4194304 4964800 140736602956352 18446744073709551615 4669149 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=13566/tid=13591] ppid=13564 vsize=1681280 CPUtime=2.7 cores=0-31
/proc/13566/task/13591/stat : 13591 (claspmt) R 13564 13566 13185 0 -1 4202560 702 0 0 0 267 3 0 0 19 0 32 0 48656050 1721630720 28811 270582939648 4194304 4964800 140736602956352 18446744073709551615 4653265 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=13566/tid=13592] ppid=13564 vsize=1681280 CPUtime=2.71 cores=0-31
/proc/13566/task/13592/stat : 13592 (claspmt) R 13564 13566 13185 0 -1 4202560 781 0 0 0 268 3 0 0 19 0 32 0 48656050 1721630720 28811 270582939648 4194304 4964800 140736602956352 18446744073709551615 4669560 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=13566/tid=13593] ppid=13564 vsize=1681280 CPUtime=2.69 cores=0-31
/proc/13566/task/13593/stat : 13593 (claspmt) R 13564 13566 13185 0 -1 4202560 952 0 0 0 265 4 0 0 20 0 32 0 48656051 1721630720 28811 270582939648 4194304 4964800 140736602956352 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=13566/tid=13594] ppid=13564 vsize=1681280 CPUtime=2.7 cores=0-31
/proc/13566/task/13594/stat : 13594 (claspmt) R 13564 13566 13185 0 -1 4202560 791 0 0 0 268 2 0 0 19 0 32 0 48656051 1721630720 28811 270582939648 4194304 4964800 140736602956352 18446744073709551615 4683657 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=13566/tid=13595] ppid=13564 vsize=1681280 CPUtime=2.69 cores=0-31
/proc/13566/task/13595/stat : 13595 (claspmt) R 13564 13566 13185 0 -1 4202560 1062 0 0 0 266 3 0 0 19 0 32 0 48656051 1721630720 28811 270582939648 4194304 4964800 140736602956352 18446744073709551615 4668930 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=13566/tid=13596] ppid=13564 vsize=1681280 CPUtime=2.88 cores=0-31
/proc/13566/task/13596/stat : 13596 (claspmt) R 13564 13566 13185 0 -1 4202560 411 0 0 0 287 1 0 0 25 0 32 0 48656051 1721630720 28811 270582939648 4194304 4964800 140736602956352 18446744073709551615 4669376 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=13566/tid=13597] ppid=13564 vsize=1681280 CPUtime=2.68 cores=0-31

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

/proc/13566/task/13590/stat : 13590 (claspmt) R 13564 13566 13185 0 -1 4202560 4325 0 0 0 1455 13 0 0 25 0 32 0 48656050 1725562880 46190 270582939648 4194304 4964800 140736602956352 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=13566/tid=13591] ppid=13564 vsize=1685120 CPUtime=14.7 cores=0-31
/proc/13566/task/13591/stat : 13591 (claspmt) R 13564 13566 13185 0 -1 4202560 956 0 0 0 1466 4 0 0 25 0 32 0 48656050 1725562880 46190 270582939648 4194304 4964800 140736602956352 18446744073709551615 4669434 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=13566/tid=13592] ppid=13564 vsize=1685120 CPUtime=14.7 cores=0-31
/proc/13566/task/13592/stat : 13592 (claspmt) R 13564 13566 13185 0 -1 4202560 977 0 0 0 1467 3 0 0 25 0 32 0 48656050 1725562880 46190 270582939648 4194304 4964800 140736602956352 18446744073709551615 4669509 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=13566/tid=13593] ppid=13564 vsize=1685120 CPUtime=14.68 cores=0-31
/proc/13566/task/13593/stat : 13593 (claspmt) R 13564 13566 13185 0 -1 4202560 1275 0 0 0 1464 4 0 0 25 0 32 0 48656051 1725562880 46190 270582939648 4194304 4964800 140736602956352 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=13566/tid=13594] ppid=13564 vsize=1685120 CPUtime=14.69 cores=0-31
/proc/13566/task/13594/stat : 13594 (claspmt) R 13564 13566 13185 0 -1 4202560 883 0 0 0 1467 2 0 0 25 0 32 0 48656051 1725562880 46190 270582939648 4194304 4964800 140736602956352 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=13566/tid=13595] ppid=13564 vsize=1685120 CPUtime=14.69 cores=0-31
/proc/13566/task/13595/stat : 13595 (claspmt) R 13564 13566 13185 0 -1 4202560 1702 0 0 0 1464 5 0 0 25 0 32 0 48656051 1725562880 46190 270582939648 4194304 4964800 140736602956352 18446744073709551615 4669294 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=13566/tid=13596] ppid=13564 vsize=1685120 CPUtime=14.88 cores=0-31
/proc/13566/task/13596/stat : 13596 (claspmt) R 13564 13566 13185 0 -1 4202560 444 0 0 0 1487 1 0 0 25 0 32 0 48656051 1725562880 46190 270582939648 4194304 4964800 140736602956352 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=13566/tid=13597] ppid=13564 vsize=1685120 CPUtime=14.67 cores=0-31
/proc/13566/task/13597/stat : 13597 (claspmt) R 13564 13566 13185 0 -1 4202560 1096 0 0 0 1464 3 0 0 25 0 32 0 48656051 1725562880 46190 270582939648 4194304 4964800 140736602956352 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=13566/tid=13598] ppid=13564 vsize=1685120 CPUtime=14.64 cores=0-31
/proc/13566/task/13598/stat : 13598 (claspmt) R 13564 13566 13185 0 -1 4202560 3390 0 0 0 1452 12 0 0 25 0 32 0 48656051 1725562880 46190 270582939648 4194304 4964800 140736602956352 18446744073709551615 4669493 0 0 4096 18946 0 0 0 -1 12 0 0 0
Current children cumulated CPU time (s) 470.79
Current children cumulated vsize (KiB) 1685120

[startup+15.9014 s]
/proc/loadavg: 32.20 27.20 17.91 33/445 13598
/proc/meminfo: memFree=261736832/264257624 swapFree=67111528/67111528
[pid=13566] ppid=13564 vsize=1685120 CPUtime=496.35 cores=0-31
/proc/13566/stat : 13566 (claspmt) R 13564 13566 13185 0 -1 4202496 48801 0 0 0 49456 179 0 0 25 0 32 0 48656037 1725562880 46371 270582939648 4194304 4964800 140736602956352 18446744073709551615 4670264 0 0 4096 18946 18446744073709551615 0 0 17 8 0 0 0
/proc/13566/statm: 421280 46371 463 189 0 415629 0
[pid=13566/tid=13568] ppid=13564 vsize=1685120 CPUtime=15.48 cores=0-31
/proc/13566/task/13568/stat : 13568 (claspmt) R 13564 13566 13185 0 -1 4202560 893 0 0 0 1545 3 0 0 25 0 32 0 48656050 1725562880 46371 270582939648 4194304 4964800 140736602956352 18446744073709551615 4670194 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=13566/tid=13569] ppid=13564 vsize=1685120 CPUtime=15.5 cores=0-31
/proc/13566/task/13569/stat : 13569 (claspmt) R 13564 13566 13185 0 -1 4202560 2468 0 0 0 1543 7 0 0 25 0 32 0 48656050 1725562880 46371 270582939648 4194304 4964800 140736602956352 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=13566/tid=13570] ppid=13564 vsize=1685120 CPUtime=15.49 cores=0-31
/proc/13566/task/13570/stat : 13570 (claspmt) R 13564 13566 13185 0 -1 4202560 862 0 0 0 1547 2 0 0 25 0 32 0 48656050 1725562880 46371 270582939648 4194304 4964800 140736602956352 18446744073709551615 4669119 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=13566/tid=13571] ppid=13564 vsize=1685120 CPUtime=15.49 cores=0-31
/proc/13566/task/13571/stat : 13571 (claspmt) R 13564 13566 13185 0 -1 4202560 1503 0 0 0 1543 6 0 0 25 0 32 0 48656050 1725562880 46371 270582939648 4194304 4964800 140736602956352 18446744073709551615 4669547 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=13566/tid=13572] ppid=13564 vsize=1685120 CPUtime=15.67 cores=0-31
/proc/13566/task/13572/stat : 13572 (claspmt) R 13564 13566 13185 0 -1 4202560 506 0 0 0 1566 1 0 0 25 0 32 0 48656050 1725562880 46371 270582939648 4194304 4964800 140736602956352 18446744073709551615 4670343 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=13566/tid=13573] ppid=13564 vsize=1685120 CPUtime=15.48 cores=0-31
/proc/13566/task/13573/stat : 13573 (claspmt) R 13564 13566 13185 0 -1 4202560 1235 0 0 0 1543 5 0 0 25 0 32 0 48656050 1725562880 46371 270582939648 4194304 4964800 140736602956352 18446744073709551615 4668702 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=13566/tid=13574] ppid=13564 vsize=1685120 CPUtime=15.47 cores=0-31
/proc/13566/task/13574/stat : 13574 (claspmt) R 13564 13566 13185 0 -1 4202560 3998 0 0 0 1533 14 0 0 25 0 32 0 48656050 1725562880 46371 270582939648 4194304 4964800 140736602956352 18446744073709551615 4669509 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=13566/tid=13575] ppid=13564 vsize=1685120 CPUtime=15.49 cores=0-31
/proc/13566/task/13575/stat : 13575 (claspmt) R 13564 13566 13185 0 -1 4202560 994 0 0 0 1544 5 0 0 25 0 32 0 48656050 1725562880 46371 270582939648 4194304 4964800 140736602956352 18446744073709551615 4670499 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=13566/tid=13576] ppid=13564 vsize=1685120 CPUtime=15.49 cores=0-31
/proc/13566/task/13576/stat : 13576 (claspmt) R 13564 13566 13185 0 -1 4202560 966 0 0 0 1546 3 0 0 25 0 32 0 48656050 1725562880 46371 270582939648 4194304 4964800 140736602956352 18446744073709551615 4669170 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=13566/tid=13577] ppid=13564 vsize=1685120 CPUtime=15.49 cores=0-31
/proc/13566/task/13577/stat : 13577 (claspmt) R 13564 13566 13185 0 -1 4202560 1603 0 0 0 1543 6 0 0 25 0 32 0 48656050 1725562880 46371 270582939648 4194304 4964800 140736602956352 18446744073709551615 4668715 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=13566/tid=13578] ppid=13564 vsize=1685120 CPUtime=15.51 cores=0-31
/proc/13566/task/13578/stat : 13578 (claspmt) R 13564 13566 13185 0 -1 4202560 859 0 0 0 1548 3 0 0 22 0 32 0 48656050 1725562880 46371 270582939648 4194304 4964800 140736602956352 18446744073709551615 4669509 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=13566/tid=13579] ppid=13564 vsize=1685120 CPUtime=15.5 cores=0-31
/proc/13566/task/13579/stat : 13579 (claspmt) R 13564 13566 13185 0 -1 4202560 1450 0 0 0 1544 6 0 0 25 0 32 0 48656050 1725562880 46371 270582939648 4194304 4964800 140736602956352 18446744073709551615 4668585 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=13566/tid=13580] ppid=13564 vsize=1685120 CPUtime=15.6 cores=0-31
/proc/13566/task/13580/stat : 13580 (claspmt) R 13564 13566 13185 0 -1 4202560 508 0 0 0 1558 2 0 0 18 0 32 0 48656050 1725562880 46371 270582939648 4194304 4964800 140736602956352 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=13566/tid=13581] ppid=13564 vsize=1685120 CPUtime=15.47 cores=0-31
/proc/13566/task/13581/stat : 13581 (claspmt) R 13564 13566 13185 0 -1 4202560 1167 0 0 0 1543 4 0 0 25 0 32 0 48656050 1725562880 46371 270582939648 4194304 4964800 140736602956352 18446744073709551615 4332000 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=13566/tid=13582] ppid=13564 vsize=1685120 CPUtime=15.48 cores=0-31
/proc/13566/task/13582/stat : 13582 (claspmt) R 13564 13566 13185 0 -1 4202560 4541 0 0 0 1532 16 0 0 25 0 32 0 48656050 1725562880 46371 270582939648 4194304 4964800 140736602956352 18446744073709551615 4669479 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=13566/tid=13583] ppid=13564 vsize=1685120 CPUtime=15.49 cores=0-31
/proc/13566/task/13583/stat : 13583 (claspmt) R 13564 13566 13185 0 -1 4202560 1042 0 0 0 1545 4 0 0 25 0 32 0 48656050 1725562880 46371 270582939648 4194304 4964800 140736602956352 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=13566/tid=13584] ppid=13564 vsize=1685120 CPUtime=15.08 cores=0-31
/proc/13566/task/13584/stat : 13584 (claspmt) R 13564 13566 13185 0 -1 4202560 941 0 0 0 1504 4 0 0 25 0 32 0 48656050 1725562880 46371 270582939648 4194304 4964800 140736602956352 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=13566/tid=13585] ppid=13564 vsize=1685120 CPUtime=15.5 cores=0-31
/proc/13566/task/13585/stat : 13585 (claspmt) R 13564 13566 13185 0 -1 4202560 1435 0 0 0 1545 5 0 0 25 0 32 0 48656050 1725562880 46371 270582939648 4194304 4964800 140736602956352 18446744073709551615 4669149 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=13566/tid=13586] ppid=13564 vsize=1685120 CPUtime=15.51 cores=0-31
/proc/13566/task/13586/stat : 13586 (claspmt) R 13564 13566 13185 0 -1 4202560 1094 0 0 0 1548 3 0 0 25 0 32 0 48656050 1725562880 46371 270582939648 4194304 4964800 140736602956352 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=13566/tid=13587] ppid=13564 vsize=1685120 CPUtime=15.5 cores=0-31
/proc/13566/task/13587/stat : 13587 (claspmt) R 13564 13566 13185 0 -1 4202560 1617 0 0 0 1544 6 0 0 18 0 32 0 48656050 1725562880 46371 270582939648 4194304 4964800 140736602956352 18446744073709551615 4374224 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=13566/tid=13588] ppid=13564 vsize=1685120 CPUtime=15.68 cores=0-31
/proc/13566/task/13588/stat : 13588 (claspmt) R 13564 13566 13185 0 -1 4202560 461 0 0 0 1566 2 0 0 25 0 32 0 48656050 1725562880 46371 270582939648 4194304 4964800 140736602956352 18446744073709551615 4456623 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=13566/tid=13589] ppid=13564 vsize=1685120 CPUtime=15.5 cores=0-31
/proc/13566/task/13589/stat : 13589 (claspmt) R 13564 13566 13185 0 -1 4202560 933 0 0 0 1546 4 0 0 25 0 32 0 48656050 1725562880 46371 270582939648 4194304 4964800 140736602956352 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=13566/tid=13590] ppid=13564 vsize=1685120 CPUtime=15.48 cores=0-31
/proc/13566/task/13590/stat : 13590 (claspmt) R 13564 13566 13185 0 -1 4202560 4325 0 0 0 1535 13 0 0 25 0 32 0 48656050 1725562880 46371 270582939648 4194304 4964800 140736602956352 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=13566/tid=13591] ppid=13564 vsize=1685120 CPUtime=15.5 cores=0-31
/proc/13566/task/13591/stat : 13591 (claspmt) R 13564 13566 13185 0 -1 4202560 956 0 0 0 1546 4 0 0 25 0 32 0 48656050 1725562880 46371 270582939648 4194304 4964800 140736602956352 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=13566/tid=13592] ppid=13564 vsize=1685120 CPUtime=15.5 cores=0-31
/proc/13566/task/13592/stat : 13592 (claspmt) R 13564 13566 13185 0 -1 4202560 981 0 0 0 1547 3 0 0 25 0 32 0 48656050 1725562880 46371 270582939648 4194304 4964800 140736602956352 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=13566/tid=13593] ppid=13564 vsize=1685120 CPUtime=15.48 cores=0-31
/proc/13566/task/13593/stat : 13593 (claspmt) R 13564 13566 13185 0 -1 4202560 1288 0 0 0 1544 4 0 0 18 0 32 0 48656051 1725562880 46371 270582939648 4194304 4964800 140736602956352 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=13566/tid=13594] ppid=13564 vsize=1685120 CPUtime=15.49 cores=0-31
/proc/13566/task/13594/stat : 13594 (claspmt) R 13564 13566 13185 0 -1 4202560 883 0 0 0 1547 2 0 0 25 0 32 0 48656051 1725562880 46371 270582939648 4194304 4964800 140736602956352 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=13566/tid=13595] ppid=13564 vsize=1685120 CPUtime=15.49 cores=0-31
/proc/13566/task/13595/stat : 13595 (claspmt) R 13564 13566 13185 0 -1 4202560 1702 0 0 0 1544 5 0 0 25 0 32 0 48656051 1725562880 46371 270582939648 4194304 4964800 140736602956352 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=13566/tid=13596] ppid=13564 vsize=1685120 CPUtime=15.68 cores=0-31
/proc/13566/task/13596/stat : 13596 (claspmt) R 13564 13566 13185 0 -1 4202560 444 0 0 0 1567 1 0 0 25 0 32 0 48656051 1725562880 46371 270582939648 4194304 4964800 140736602956352 18446744073709551615 4669493 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=13566/tid=13597] ppid=13564 vsize=1685120 CPUtime=15.47 cores=0-31
/proc/13566/task/13597/stat : 13597 (claspmt) R 13564 13566 13185 0 -1 4202560 1096 0 0 0 1544 3 0 0 25 0 32 0 48656051 1725562880 46371 270582939648 4194304 4964800 140736602956352 18446744073709551615 4668998 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=13566/tid=13598] ppid=13564 vsize=1685120 CPUtime=15.44 cores=0-31
/proc/13566/task/13598/stat : 13598 (claspmt) R 13564 13566 13185 0 -1 4202560 3416 0 0 0 1532 12 0 0 25 0 32 0 48656051 1725562880 46371 270582939648 4194304 4964800 140736602956352 18446744073709551615 4669078 0 0 4096 18946 0 0 0 -1 12 0 0 0
Current children cumulated CPU time (s) 496.35
Current children cumulated vsize (KiB) 1685120

[startup+16.3014 s]
/proc/loadavg: 32.20 27.20 17.91 33/445 13598
/proc/meminfo: memFree=261736832/264257624 swapFree=67111528/67111528
[pid=13566] ppid=13564 vsize=1685120 CPUtime=509.14 cores=0-31
/proc/13566/stat : 13566 (claspmt) R 13564 13566 13185 0 -1 4202496 48837 0 0 0 50735 179 0 0 25 0 32 0 48656037 1725562880 46407 270582939648 4194304 4964800 140736602956352 18446744073709551615 4668715 0 0 4096 18946 18446744073709551615 0 0 17 8 0 0 0
/proc/13566/statm: 421280 46407 463 189 0 415629 0
[pid=13566/tid=13568] ppid=13564 vsize=1685120 CPUtime=15.88 cores=0-31
/proc/13566/task/13568/stat : 13568 (claspmt) R 13564 13566 13185 0 -1 4202560 902 0 0 0 1585 3 0 0 25 0 32 0 48656050 1725562880 46407 270582939648 4194304 4964800 140736602956352 18446744073709551615 4670190 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=13566/tid=13569] ppid=13564 vsize=1685120 CPUtime=15.9 cores=0-31
/proc/13566/task/13569/stat : 13569 (claspmt) R 13564 13566 13185 0 -1 4202560 2468 0 0 0 1583 7 0 0 25 0 32 0 48656050 1725562880 46407 270582939648 4194304 4964800 140736602956352 18446744073709551615 4320951 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=13566/tid=13570] ppid=13564 vsize=1685120 CPUtime=15.89 cores=0-31
/proc/13566/task/13570/stat : 13570 (claspmt) R 13564 13566 13185 0 -1 4202560 862 0 0 0 1587 2 0 0 25 0 32 0 48656050 1725562880 46407 270582939648 4194304 4964800 140736602956352 18446744073709551615 4670534 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=13566/tid=13571] ppid=13564 vsize=1685120 CPUtime=15.89 cores=0-31
/proc/13566/task/13571/stat : 13571 (claspmt) R 13564 13566 13185 0 -1 4202560 1503 0 0 0 1583 6 0 0 25 0 32 0 48656050 1725562880 46407 270582939648 4194304 4964800 140736602956352 18446744073709551615 4669471 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=13566/tid=13572] ppid=13564 vsize=1685120 CPUtime=16.07 cores=0-31
/proc/13566/task/13572/stat : 13572 (claspmt) R 13564 13566 13185 0 -1 4202560 506 0 0 0 1606 1 0 0 25 0 32 0 48656050 1725562880 46407 270582939648 4194304 4964800 140736602956352 18446744073709551615 4668585 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=13566/tid=13573] ppid=13564 vsize=1685120 CPUtime=15.88 cores=0-31
/proc/13566/task/13573/stat : 13573 (claspmt) R 13564 13566 13185 0 -1 4202560 1235 0 0 0 1583 5 0 0 25 0 32 0 48656050 1725562880 46407 270582939648 4194304 4964800 140736602956352 18446744073709551615 4669535 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=13566/tid=13574] ppid=13564 vsize=1685120 CPUtime=15.87 cores=0-31
/proc/13566/task/13574/stat : 13574 (claspmt) R 13564 13566 13185 0 -1 4202560 3998 0 0 0 1573 14 0 0 25 0 32 0 48656050 1725562880 46407 270582939648 4194304 4964800 140736602956352 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=13566/tid=13575] ppid=13564 vsize=1685120 CPUtime=15.89 cores=0-31
/proc/13566/task/13575/stat : 13575 (claspmt) R 13564 13566 13185 0 -1 4202560 994 0 0 0 1584 5 0 0 25 0 32 0 48656050 1725562880 46407 270582939648 4194304 4964800 140736602956352 18446744073709551615 4669532 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=13566/tid=13576] ppid=13564 vsize=1685120 CPUtime=15.89 cores=0-31
/proc/13566/task/13576/stat : 13576 (claspmt) R 13564 13566 13185 0 -1 4202560 966 0 0 0 1586 3 0 0 25 0 32 0 48656050 1725562880 46407 270582939648 4194304 4964800 140736602956352 18446744073709551615 4669509 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=13566/tid=13577] ppid=13564 vsize=1685120 CPUtime=15.89 cores=0-31
/proc/13566/task/13577/stat : 13577 (claspmt) R 13564 13566 13185 0 -1 4202560 1611 0 0 0 1583 6 0 0 25 0 32 0 48656050 1725562880 46407 270582939648 4194304 4964800 140736602956352 18446744073709551615 258650611056 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=13566/tid=13578] ppid=13564 vsize=1685120 CPUtime=15.91 cores=0-31
/proc/13566/task/13578/stat : 13578 (claspmt) R 13564 13566 13185 0 -1 4202560 859 0 0 0 1588 3 0 0 25 0 32 0 48656050 1725562880 46407 270582939648 4194304 4964800 140736602956352 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=13566/tid=13579] ppid=13564 vsize=1685120 CPUtime=15.9 cores=0-31
/proc/13566/task/13579/stat : 13579 (claspmt) R 13564 13566 13185 0 -1 4202560 1450 0 0 0 1584 6 0 0 25 0 32 0 48656050 1725562880 46407 270582939648 4194304 4964800 140736602956352 18446744073709551615 4669022 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=13566/tid=13580] ppid=13564 vsize=1685120 CPUtime=16 cores=0-31
/proc/13566/task/13580/stat : 13580 (claspmt) R 13564 13566 13185 0 -1 4202560 508 0 0 0 1598 2 0 0 19 0 32 0 48656050 1725562880 46407 270582939648 4194304 4964800 140736602956352 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=13566/tid=13581] ppid=13564 vsize=1685120 CPUtime=15.87 cores=0-31
/proc/13566/task/13581/stat : 13581 (claspmt) R 13564 13566 13185 0 -1 4202560 1167 0 0 0 1583 4 0 0 25 0 32 0 48656050 1725562880 46407 270582939648 4194304 4964800 140736602956352 18446744073709551615 4668773 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=13566/tid=13582] ppid=13564 vsize=1685120 CPUtime=15.88 cores=0-31
/proc/13566/task/13582/stat : 13582 (claspmt) R 13564 13566 13185 0 -1 4202560 4541 0 0 0 1572 16 0 0 25 0 32 0 48656050 1725562880 46407 270582939648 4194304 4964800 140736602956352 18446744073709551615 4669413 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=13566/tid=13583] ppid=13564 vsize=1685120 CPUtime=15.89 cores=0-31
/proc/13566/task/13583/stat : 13583 (claspmt) R 13564 13566 13185 0 -1 4202560 1042 0 0 0 1585 4 0 0 25 0 32 0 48656050 1725562880 46407 270582939648 4194304 4964800 140736602956352 18446744073709551615 4668702 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=13566/tid=13584] ppid=13564 vsize=1685120 CPUtime=15.47 cores=0-31
/proc/13566/task/13584/stat : 13584 (claspmt) R 13564 13566 13185 0 -1 4202560 948 0 0 0 1543 4 0 0 25 0 32 0 48656050 1725562880 46407 270582939648 4194304 4964800 140736602956352 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=13566/tid=13585] ppid=13564 vsize=1685120 CPUtime=15.9 cores=0-31
/proc/13566/task/13585/stat : 13585 (claspmt) R 13564 13566 13185 0 -1 4202560 1435 0 0 0 1585 5 0 0 25 0 32 0 48656050 1725562880 46407 270582939648 4194304 4964800 140736602956352 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=13566/tid=13586] ppid=13564 vsize=1685120 CPUtime=15.91 cores=0-31
/proc/13566/task/13586/stat : 13586 (claspmt) R 13564 13566 13185 0 -1 4202560 1094 0 0 0 1588 3 0 0 25 0 32 0 48656050 1725562880 46407 270582939648 4194304 4964800 140736602956352 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=13566/tid=13587] ppid=13564 vsize=1685120 CPUtime=15.89 cores=0-31
/proc/13566/task/13587/stat : 13587 (claspmt) R 13564 13566 13185 0 -1 4202560 1617 0 0 0 1583 6 0 0 19 0 32 0 48656050 1725562880 46407 270582939648 4194304 4964800 140736602956352 18446744073709551615 4669532 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=13566/tid=13588] ppid=13564 vsize=1685120 CPUtime=16.08 cores=0-31
/proc/13566/task/13588/stat : 13588 (claspmt) R 13564 13566 13185 0 -1 4202560 461 0 0 0 1606 2 0 0 25 0 32 0 48656050 1725562880 46407 270582939648 4194304 4964800 140736602956352 18446744073709551615 4669509 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=13566/tid=13589] ppid=13564 vsize=1685120 CPUtime=15.91 cores=0-31
/proc/13566/task/13589/stat : 13589 (claspmt) R 13564 13566 13185 0 -1 4202560 933 0 0 0 1587 4 0 0 25 0 32 0 48656050 1725562880 46407 270582939648 4194304 4964800 140736602956352 18446744073709551615 4670160 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=13566/tid=13590] ppid=13564 vsize=1685120 CPUtime=15.88 cores=0-31
/proc/13566/task/13590/stat : 13590 (claspmt) R 13564 13566 13185 0 -1 4202560 4325 0 0 0 1575 13 0 0 25 0 32 0 48656050 1725562880 46407 270582939648 4194304 4964800 140736602956352 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=13566/tid=13591] ppid=13564 vsize=1685120 CPUtime=15.9 cores=0-31
/proc/13566/task/13591/stat : 13591 (claspmt) R 13564 13566 13185 0 -1 4202560 956 0 0 0 1586 4 0 0 25 0 32 0 48656050 1725562880 46407 270582939648 4194304 4964800 140736602956352 18446744073709551615 4670499 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=13566/tid=13592] ppid=13564 vsize=1685120 CPUtime=15.9 cores=0-31
/proc/13566/task/13592/stat : 13592 (claspmt) R 13564 13566 13185 0 -1 4202560 993 0 0 0 1587 3 0 0 25 0 32 0 48656050 1725562880 46407 270582939648 4194304 4964800 140736602956352 18446744073709551615 4669298 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=13566/tid=13593] ppid=13564 vsize=1685120 CPUtime=15.88 cores=0-31
/proc/13566/task/13593/stat : 13593 (claspmt) R 13564 13566 13185 0 -1 4202560 1288 0 0 0 1584 4 0 0 19 0 32 0 48656051 1725562880 46407 270582939648 4194304 4964800 140736602956352 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=13566/tid=13594] ppid=13564 vsize=1685120 CPUtime=15.89 cores=0-31
/proc/13566/task/13594/stat : 13594 (claspmt) R 13564 13566 13185 0 -1 4202560 883 0 0 0 1587 2 0 0 25 0 32 0 48656051 1725562880 46407 270582939648 4194304 4964800 140736602956352 18446744073709551615 4669434 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=13566/tid=13595] ppid=13564 vsize=1685120 CPUtime=15.89 cores=0-31
/proc/13566/task/13595/stat : 13595 (claspmt) R 13564 13566 13185 0 -1 4202560 1702 0 0 0 1584 5 0 0 25 0 32 0 48656051 1725562880 46407 270582939648 4194304 4964800 140736602956352 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=13566/tid=13596] ppid=13564 vsize=1685120 CPUtime=16.08 cores=0-31
/proc/13566/task/13596/stat : 13596 (claspmt) R 13564 13566 13185 0 -1 4202560 444 0 0 0 1607 1 0 0 25 0 32 0 48656051 1725562880 46407 270582939648 4194304 4964800 140736602956352 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=13566/tid=13597] ppid=13564 vsize=1685120 CPUtime=15.87 cores=0-31
/proc/13566/task/13597/stat : 13597 (claspmt) R 13564 13566 13185 0 -1 4202560 1096 0 0 0 1584 3 0 0 25 0 32 0 48656051 1725562880 46407 270582939648 4194304 4964800 140736602956352 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=13566/tid=13598] ppid=13564 vsize=1685120 CPUtime=15.84 cores=0-31
/proc/13566/task/13598/stat : 13598 (claspmt) R 13564 13566 13185 0 -1 4202560 3416 0 0 0 1572 12 0 0 25 0 32 0 48656051 1725562880 46407 270582939648 4194304 4964800 140736602956352 18446744073709551615 4668611 0 0 4096 18946 0 0 0 -1 12 0 0 0
Current children cumulated CPU time (s) 509.14
Current children cumulated vsize (KiB) 1685120

[startup+16.4016 s]
/proc/loadavg: 32.20 27.20 17.91 2/414 13598
/proc/meminfo: memFree=261740040/264257624 swapFree=67111528/67111528
[pid=13566] ppid=13564 vsize=1588720 CPUtime=510.08 cores=0-31
/proc/13566/stat : 13566 (claspmt) R 13564 13566 13185 0 -1 4202496 48849 0 0 0 50814 194 0 0 17 0 1 0 48656037 1626849280 44783 270582939648 4194304 4964800 140736602956352 18446744073709551615 258650612305 0 0 4096 18946 0 0 0 17 8 0 0 0
/proc/13566/statm: 397180 44783 474 189 0 391529 0
Current children cumulated CPU time (s) 510.08
Current children cumulated vsize (KiB) 1588720

Child status: 20
Real time (s): 16.5133
CPU time (s): 510.183
CPU user time (s): 508.222
CPU system time (s): 1.9617
CPU usage (%): 3089.53
Max. virtual memory (cumulated for all children) (KiB): 1685120

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 508.222
system time used= 1.9617
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48850
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= 31626
involuntary context switches= 1200

runsolver used 0.097985 second user time and 0.408937 second system time

The end

Launcher Data

Begin job on node200 at 2011-06-12 00:51:32
IDJOB=3472536
IDBENCH=87988
IDSOLVER=1961
FILE ID=node200/3472536-1307832691
RUNJOBID= node200-1307832446-13199
PBS_JOBID= 13551041
Free space on /tmp= 61744 MiB

SOLVER NAME= claspmt 2.0-R4095-patched (fixed)
BENCH NAME= SAT02/industrial/goldberg/rand_net/rand_net70-60-10.shuffled.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-3472536-1307832691/watcher-3472536-1307832691 -o /tmp/evaluation-result-3472536-1307832691/solver-3472536-1307832691 -C 160000 -W 5100 -M 256000  HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472536-1307832691.cnf

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

MD5SUM BENCH= 6ebe2de27b5534e626cb88c01abcf6c6
RANDOM SEED=628924521

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:      261916108 kB
Buffers:        299888 kB
Cached:        1711548 kB
SwapCached:          0 kB
Active:         327276 kB
Inactive:      1747912 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      261916108 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            1216 kB
Writeback:           0 kB
AnonPages:       63040 kB
Mapped:          14232 kB
Slab:           186324 kB
PageTables:       4860 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   162144 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296372 kB
VmallocChunk: 34359440603 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 61740 MiB
End job on node200 at 2011-06-12 00:51:48