Trace number 3472484

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 195.187 7.57275

General information on the benchmark

Nameapplication/leberre/
2dimensionalstrippacking/E02F17.cnf
MD5SUM4f20f237857124f0eb214df627f84b82
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark195.187
Satisfiable
(Un)Satisfiability was proved
Number of variables6664
Number of clauses69700
Sum of the clauses size326536
Maximum clause length45
Minimum clause length1
Number of clauses of size 132
Number of clauses of size 217506
Number of clauses of size 312802
Number of clauses of size 46698
Number of clauses of size 59775
Number of clauses of size over 522887

Solver Data 

0.00/0.01	c clasp version 2.0.0-RC2
0.00/0.01	c Reading from ...771907/instance-3472484-1307771907.cnf
0.49/0.59	c Solving...
195.10/7.56	s UNSATISFIABLE
195.10/7.56	
195.10/7.56	c Models        : 0     
195.10/7.56	c Time          : 7.366s (Solving: 6.78s 1st Model: 0.00s Unsat: 6.78s)
195.10/7.56	c CPU Time      : 194.980s

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-3472484-1307771907/watcher-3472484-1307771907 -o /tmp/evaluation-result-3472484-1307771907/solver-3472484-1307771907 -C 160000 -W 5100 -M 256000 HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472484-1307771907.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: 23.96 29.75 31.27 1/413 7753
/proc/meminfo: memFree=262116364/264257624 swapFree=67111528/67111528
[pid=7753] ppid=7749 vsize=23500 CPUtime=0.02 cores=0-31
/proc/7753/stat : 7753 (claspmt) R 7749 7753 7499 0 -1 4202496 1257 0 0 0 2 0 0 0 21 0 1 0 42577593 24064000 1098 270582939648 4194304 4964800 140736180650176 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 24 0 0 0
/proc/7753/statm: 5875 1100 386 189 0 749 0

[startup+0.103981 s]
/proc/loadavg: 23.96 29.75 31.27 1/413 7753
/proc/meminfo: memFree=262116364/264257624 swapFree=67111528/67111528
[pid=7753] ppid=7749 vsize=28864 CPUtime=0.1 cores=0-31
/proc/7753/stat : 7753 (claspmt) R 7749 7753 7499 0 -1 4202496 2879 0 0 0 9 1 0 0 21 0 1 0 42577593 29556736 2400 270582939648 4194304 4964800 140736180650176 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 24 0 0 0
/proc/7753/statm: 7216 2400 397 189 0 2090 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 28864

[startup+0.200983 s]
/proc/loadavg: 23.96 29.75 31.27 1/413 7753
/proc/meminfo: memFree=262116364/264257624 swapFree=67111528/67111528
[pid=7753] ppid=7749 vsize=29292 CPUtime=0.19 cores=0-31
/proc/7753/stat : 7753 (claspmt) R 7749 7753 7499 0 -1 4202496 2949 0 0 0 18 1 0 0 21 0 1 0 42577593 29995008 2470 270582939648 4194304 4964800 140736180650176 18446744073709551615 4607513 0 0 4096 18946 0 0 0 17 24 0 0 0
/proc/7753/statm: 7323 2470 400 189 0 2197 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 29292

[startup+0.300988 s]
/proc/loadavg: 23.96 29.75 31.27 1/413 7753
/proc/meminfo: memFree=262116364/264257624 swapFree=67111528/67111528
[pid=7753] ppid=7749 vsize=29292 CPUtime=0.29 cores=0-31
/proc/7753/stat : 7753 (claspmt) R 7749 7753 7499 0 -1 4202496 2949 0 0 0 28 1 0 0 22 0 1 0 42577593 29995008 2470 270582939648 4194304 4964800 140736180650176 18446744073709551615 4607513 0 0 4096 18946 0 0 0 17 24 0 0 0
/proc/7753/statm: 7323 2470 400 189 0 2197 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 29292

[startup+0.700889 s]
/proc/loadavg: 23.96 29.75 31.27 1/413 7753
/proc/meminfo: memFree=262116364/264257624 swapFree=67111528/67111528
[pid=7753] ppid=7749 vsize=1347476 CPUtime=1.11 cores=0-31
/proc/7753/stat : 7753 (claspmt) S 7749 7753 7499 0 -1 4202496 12564 0 0 0 74 37 0 0 18 0 32 0 42577593 1379815424 10454 270582939648 4194304 4964800 140736180650176 18446744073709551615 258662772457 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/7753/statm: 336869 10456 432 189 0 331218 0
Current children cumulated CPU time (s) 1.11
Current children cumulated vsize (KiB) 1347476

[startup+1.50292 s]
/proc/loadavg: 23.96 29.75 31.27 5/445 7792
/proc/meminfo: memFree=262008400/264257624 swapFree=67111528/67111528
[pid=7753] ppid=7749 vsize=1351512 CPUtime=10.27 cores=0-31
/proc/7753/stat : 7753 (claspmt) R 7749 7753 7499 0 -1 4202496 34525 0 0 0 899 128 0 0 16 0 32 0 42577593 1383948288 32415 270582939648 4194304 4964800 140736180650176 18446744073709551615 4627204 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/7753/statm: 337878 32419 461 189 0 332227 0
[pid=7753/tid=7755] ppid=7749 vsize=1351512 CPUtime=0.27 cores=0-31
/proc/7753/task/7755/stat : 7755 (claspmt) R 7749 7753 7499 0 -1 4202560 760 0 0 0 24 3 0 0 16 0 32 0 42577653 1383948288 32419 270582939648 4194304 4964800 140736180650176 18446744073709551615 4660165 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=7753/tid=7756] ppid=7749 vsize=1351512 CPUtime=0.26 cores=0-31
/proc/7753/task/7756/stat : 7756 (claspmt) R 7749 7753 7499 0 -1 4202560 990 0 0 0 23 3 0 0 16 0 32 0 42577653 1383948288 32419 270582939648 4194304 4964800 140736180650176 18446744073709551615 4362938 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=7753/tid=7757] ppid=7749 vsize=1351512 CPUtime=0.27 cores=0-31
/proc/7753/task/7757/stat : 7757 (claspmt) R 7749 7753 7499 0 -1 4202560 960 0 0 0 22 5 0 0 16 0 32 0 42577653 1383948288 32419 270582939648 4194304 4964800 140736180650176 18446744073709551615 258651061007 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=7753/tid=7758] ppid=7749 vsize=1351512 CPUtime=0.26 cores=0-31
/proc/7753/task/7758/stat : 7758 (claspmt) R 7749 7753 7499 0 -1 4202560 874 0 0 0 24 2 0 0 16 0 32 0 42577653 1383948288 32419 270582939648 4194304 4964800 140736180650176 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=7753/tid=7759] ppid=7749 vsize=1351512 CPUtime=0.57 cores=0-31
/proc/7753/task/7759/stat : 7759 (claspmt) R 7749 7753 7499 0 -1 4202560 1202 0 0 0 53 4 0 0 17 0 32 0 42577653 1383948288 32424 270582939648 4194304 4964800 140736180650176 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=7753/tid=7760] ppid=7749 vsize=1351512 CPUtime=0.26 cores=0-31
/proc/7753/task/7760/stat : 7760 (claspmt) R 7749 7753 7499 0 -1 4202560 924 0 0 0 22 4 0 0 16 0 32 0 42577653 1383948288 32425 270582939648 4194304 4964800 140736180650176 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=7753/tid=7761] ppid=7749 vsize=1351512 CPUtime=0.27 cores=0-31
/proc/7753/task/7761/stat : 7761 (claspmt) R 7749 7753 7499 0 -1 4202560 1018 0 0 0 24 3 0 0 16 0 32 0 42577653 1383948288 32427 270582939648 4194304 4964800 140736180650176 18446744073709551615 4668702 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=7753/tid=7762] ppid=7749 vsize=1351512 CPUtime=0.25 cores=0-31
/proc/7753/task/7762/stat : 7762 (claspmt) R 7749 7753 7499 0 -1 4202560 1002 0 0 0 22 3 0 0 16 0 32 0 42577653 1383948288 32428 270582939648 4194304 4964800 140736180650176 18446744073709551615 4669022 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=7753/tid=7763] ppid=7749 vsize=1351512 CPUtime=0.26 cores=0-31
/proc/7753/task/7763/stat : 7763 (claspmt) R 7749 7753 7499 0 -1 4202560 989 0 0 0 22 4 0 0 16 0 32 0 42577653 1383948288 32429 270582939648 4194304 4964800 140736180650176 18446744073709551615 4669434 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=7753/tid=7764] ppid=7749 vsize=1351512 CPUtime=0.27 cores=0-31
/proc/7753/task/7764/stat : 7764 (claspmt) R 7749 7753 7499 0 -1 4202560 1030 0 0 0 24 3 0 0 16 0 32 0 42577653 1383948288 32429 270582939648 4194304 4964800 140736180650176 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=7753/tid=7766] ppid=7749 vsize=1351512 CPUtime=0.26 cores=0-31
/proc/7753/task/7766/stat : 7766 (claspmt) R 7749 7753 7499 0 -1 4202560 1100 0 0 0 22 4 0 0 16 0 32 0 42577653 1383948288 32431 270582939648 4194304 4964800 140736180650176 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=7753/tid=7767] ppid=7749 vsize=1351512 CPUtime=0.25 cores=0-31
/proc/7753/task/7767/stat : 7767 (claspmt) R 7749 7753 7499 0 -1 4202560 957 0 0 0 22 3 0 0 16 0 32 0 42577653 1383948288 32433 270582939648 4194304 4964800 140736180650176 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=7753/tid=7768] ppid=7749 vsize=1351512 CPUtime=0.55 cores=0-31
/proc/7753/task/7768/stat : 7768 (claspmt) R 7749 7753 7499 0 -1 4202560 1164 0 0 0 52 3 0 0 17 0 32 0 42577653 1383948288 32433 270582939648 4194304 4964800 140736180650176 18446744073709551615 4670507 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=7753/tid=7769] ppid=7749 vsize=1351512 CPUtime=0.26 cores=0-31
/proc/7753/task/7769/stat : 7769 (claspmt) R 7749 7753 7499 0 -1 4202560 977 0 0 0 22 4 0 0 16 0 32 0 42577653 1383948288 32433 270582939648 4194304 4964800 140736180650176 18446744073709551615 4678221 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=7753/tid=7770] ppid=7749 vsize=1351512 CPUtime=0.23 cores=0-31
/proc/7753/task/7770/stat : 7770 (claspmt) R 7749 7753 7499 0 -1 4202560 1012 0 0 0 20 3 0 0 16 0 32 0 42577653 1383948288 32434 270582939648 4194304 4964800 140736180650176 18446744073709551615 4668611 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=7753/tid=7771] ppid=7749 vsize=1351512 CPUtime=0.26 cores=0-31
/proc/7753/task/7771/stat : 7771 (claspmt) R 7749 7753 7499 0 -1 4202560 981 0 0 0 22 4 0 0 16 0 32 0 42577653 1383948288 32436 270582939648 4194304 4964800 140736180650176 18446744073709551615 4629451 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=7753/tid=7772] ppid=7749 vsize=1351512 CPUtime=0.27 cores=0-31
/proc/7753/task/7772/stat : 7772 (claspmt) R 7749 7753 7499 0 -1 4202560 1017 0 0 0 22 5 0 0 16 0 32 0 42577653 1383948288 32436 270582939648 4194304 4964800 140736180650176 18446744073709551615 4668698 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=7753/tid=7773] ppid=7749 vsize=1351512 CPUtime=0.26 cores=0-31
/proc/7753/task/7773/stat : 7773 (claspmt) R 7749 7753 7499 0 -1 4202560 1017 0 0 0 22 4 0 0 16 0 32 0 42577653 1383948288 32439 270582939648 4194304 4964800 140736180650176 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=7753/tid=7774] ppid=7749 vsize=1351512 CPUtime=0.26 cores=0-31
/proc/7753/task/7774/stat : 7774 (claspmt) R 7749 7753 7499 0 -1 4202560 1001 0 0 0 22 4 0 0 16 0 32 0 42577653 1383948288 32440 270582939648 4194304 4964800 140736180650176 18446744073709551615 4363334 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=7753/tid=7775] ppid=7749 vsize=1351512 CPUtime=0.23 cores=0-31
/proc/7753/task/7775/stat : 7775 (claspmt) R 7749 7753 7499 0 -1 4202560 1079 0 0 0 20 3 0 0 16 0 32 0 42577653 1383948288 32443 270582939648 4194304 4964800 140736180650176 18446744073709551615 4359861 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=7753/tid=7776] ppid=7749 vsize=1351512 CPUtime=0.49 cores=0-31
/proc/7753/task/7776/stat : 7776 (claspmt) R 7749 7753 7499 0 -1 4202560 1099 0 0 0 46 3 0 0 17 0 32 0 42577653 1383948288 32445 270582939648 4194304 4964800 140736180650176 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=7753/tid=7777] ppid=7749 vsize=1351512 CPUtime=0.26 cores=0-31
/proc/7753/task/7777/stat : 7777 (claspmt) R 7749 7753 7499 0 -1 4202560 965 0 0 0 22 4 0 0 16 0 32 0 42577653 1383948288 32446 270582939648 4194304 4964800 140736180650176 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=7753/tid=7778] ppid=7749 vsize=1351512 CPUtime=0.24 cores=0-31
/proc/7753/task/7778/stat : 7778 (claspmt) R 7749 7753 7499 0 -1 4202560 1039 0 0 0 20 4 0 0 16 0 32 0 42577653 1383948288 32446 270582939648 4194304 4964800 140736180650176 18446744073709551615 4326997 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=7753/tid=7779] ppid=7749 vsize=1351512 CPUtime=0.25 cores=0-31
/proc/7753/task/7779/stat : 7779 (claspmt) R 7749 7753 7499 0 -1 4202560 966 0 0 0 22 3 0 0 16 0 32 0 42577654 1383948288 32446 270582939648 4194304 4964800 140736180650176 18446744073709551615 4669017 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=7753/tid=7780] ppid=7749 vsize=1351512 CPUtime=0.25 cores=0-31
/proc/7753/task/7780/stat : 7780 (claspmt) R 7749 7753 7499 0 -1 4202560 901 0 0 0 22 3 0 0 16 0 32 0 42577654 1383948288 32446 270582939648 4194304 4964800 140736180650176 18446744073709551615 4659964 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=7753/tid=7781] ppid=7749 vsize=1351512 CPUtime=0.23 cores=0-31
/proc/7753/task/7781/stat : 7781 (claspmt) R 7749 7753 7499 0 -1 4202560 1044 0 0 0 20 3 0 0 16 0 32 0 42577654 1383948288 32447 270582939648 4194304 4964800 140736180650176 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=7753/tid=7788] ppid=7749 vsize=1351512 CPUtime=0.26 cores=0-31
/proc/7753/task/7788/stat : 7788 (claspmt) R 7749 7753 7499 0 -1 4202560 951 0 0 0 23 3 0 0 16 0 32 0 42577654 1383948288 32448 270582939648 4194304 4964800 140736180650176 18446744073709551615 4342199 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=7753/tid=7789] ppid=7749 vsize=1351512 CPUtime=0.25 cores=0-31
/proc/7753/task/7789/stat : 7789 (claspmt) R 7749 7753 7499 0 -1 4202560 968 0 0 0 21 4 0 0 16 0 32 0 42577654 1383948288 32449 270582939648 4194304 4964800 140736180650176 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=7753/tid=7790] ppid=7749 vsize=1351512 CPUtime=0.61 cores=0-31
/proc/7753/task/7790/stat : 7790 (claspmt) R 7749 7753 7499 0 -1 4202560 1069 0 0 0 58 3 0 0 17 0 32 0 42577654 1383948288 32449 270582939648 4194304 4964800 140736180650176 18446744073709551615 4627218 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=7753/tid=7791] ppid=7749 vsize=1351512 CPUtime=0.26 cores=0-31
/proc/7753/task/7791/stat : 7791 (claspmt) R 7749 7753 7499 0 -1 4202560 982 0 0 0 23 3 0 0 16 0 32 0 42577654 1383948288 32449 270582939648 4194304 4964800 140736180650176 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=7753/tid=7792] ppid=7749 vsize=1351512 CPUtime=0.26 cores=0-31
/proc/7753/task/7792/stat : 7792 (claspmt) R 7749 7753 7499 0 -1 4202560 894 0 0 0 22 4 0 0 16 0 32 0 42577654 1383948288 32449 270582939648 4194304 4964800 140736180650176 18446744073709551615 4629408 0 0 4096 18946 0 0 0 -1 14 0 0 0
Current children cumulated CPU time (s) 10.27
Current children cumulated vsize (KiB) 1351512

[startup+3.10197 s]
/proc/loadavg: 23.96 29.75 31.27 33/445 7792
/proc/meminfo: memFree=261956720/264257624 swapFree=67111528/67111528
[pid=7753] ppid=7749 vsize=1355788 CPUtime=60.76 cores=0-31
/proc/7753/stat : 7753 (claspmt) R 7749 7753 7499 0 -1 4202496 52149 0 0 0 5885 191 0 0 17 0 32 0 42577593 1388326912 50039 270582939648 4194304 4964800 140736180650176 18446744073709551615 258650653554 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/7753/statm: 338947 50039 461 189 0 333296 0
[pid=7753/tid=7755] ppid=7749 vsize=1355788 CPUtime=1.85 cores=0-31
/proc/7753/task/7755/stat : 7755 (claspmt) R 7749 7753 7499 0 -1 4202560 1223 0 0 0 181 4 0 0 17 0 32 0 42577653 1388326912 50040 270582939648 4194304 4964800 140736180650176 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=7753/tid=7756] ppid=7749 vsize=1355788 CPUtime=1.83 cores=0-31
/proc/7753/task/7756/stat : 7756 (claspmt) R 7749 7753 7499 0 -1 4202560 1762 0 0 0 176 7 0 0 17 0 32 0 42577653 1388326912 50040 270582939648 4194304 4964800 140736180650176 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=7753/tid=7757] ppid=7749 vsize=1355788 CPUtime=1.84 cores=0-31
/proc/7753/task/7757/stat : 7757 (claspmt) R 7749 7753 7499 0 -1 4202560 1552 0 0 0 177 7 0 0 17 0 32 0 42577653 1388326912 50040 270582939648 4194304 4964800 140736180650176 18446744073709551615 4342208 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=7753/tid=7758] ppid=7749 vsize=1355788 CPUtime=1.83 cores=0-31
/proc/7753/task/7758/stat : 7758 (claspmt) R 7749 7753 7499 0 -1 4202560 1541 0 0 0 179 4 0 0 17 0 32 0 42577653 1388326912 50040 270582939648 4194304 4964800 140736180650176 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=7753/tid=7759] ppid=7749 vsize=1355788 CPUtime=2.17 cores=0-31
/proc/7753/task/7759/stat : 7759 (claspmt) R 7749 7753 7499 0 -1 4202560 1228 0 0 0 213 4 0 0 19 0 32 0 42577653 1388326912 50040 270582939648 4194304 4964800 140736180650176 18446744073709551615 4670112 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=7753/tid=7760] ppid=7749 vsize=1355788 CPUtime=1.84 cores=0-31
/proc/7753/task/7760/stat : 7760 (claspmt) R 7749 7753 7499 0 -1 4202560 1532 0 0 0 178 6 0 0 17 0 32 0 42577653 1388326912 50040 270582939648 4194304 4964800 140736180650176 18446744073709551615 4669476 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=7753/tid=7761] ppid=7749 vsize=1355788 CPUtime=1.84 cores=0-31
/proc/7753/task/7761/stat : 7761 (claspmt) R 7749 7753 7499 0 -1 4202560 1815 0 0 0 177 7 0 0 17 0 32 0 42577653 1388326912 50040 270582939648 4194304 4964800 140736180650176 18446744073709551615 4627168 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=7753/tid=7762] ppid=7749 vsize=1355788 CPUtime=1.83 cores=0-31
/proc/7753/task/7762/stat : 7762 (claspmt) R 7749 7753 7499 0 -1 4202560 1494 0 0 0 178 5 0 0 17 0 32 0 42577653 1388326912 50040 270582939648 4194304 4964800 140736180650176 18446744073709551615 258651061007 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=7753/tid=7763] ppid=7749 vsize=1355788 CPUtime=1.83 cores=0-31
/proc/7753/task/7763/stat : 7763 (claspmt) R 7749 7753 7499 0 -1 4202560 1463 0 0 0 177 6 0 0 17 0 32 0 42577653 1388326912 50040 270582939648 4194304 4964800 140736180650176 18446744073709551615 4684180 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=7753/tid=7764] ppid=7749 vsize=1355788 CPUtime=1.83 cores=0-31
/proc/7753/task/7764/stat : 7764 (claspmt) R 7749 7753 7499 0 -1 4202560 1816 0 0 0 178 5 0 0 17 0 32 0 42577653 1388326912 50041 270582939648 4194304 4964800 140736180650176 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=7753/tid=7766] ppid=7749 vsize=1355788 CPUtime=1.84 cores=0-31
/proc/7753/task/7766/stat : 7766 (claspmt) R 7749 7753 7499 0 -1 4202560 1590 0 0 0 179 5 0 0 17 0 32 0 42577653 1388326912 50041 270582939648 4194304 4964800 140736180650176 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=7753/tid=7767] ppid=7749 vsize=1355788 CPUtime=1.82 cores=0-31
/proc/7753/task/7767/stat : 7767 (claspmt) R 7749 7753 7499 0 -1 4202560 1620 0 0 0 177 5 0 0 17 0 32 0 42577653 1388326912 50041 270582939648 4194304 4964800 140736180650176 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=7753/tid=7768] ppid=7749 vsize=1355788 CPUtime=2.15 cores=0-31
/proc/7753/task/7768/stat : 7768 (claspmt) R 7749 7753 7499 0 -1 4202560 1193 0 0 0 212 3 0 0 19 0 32 0 42577653 1388326912 50041 270582939648 4194304 4964800 140736180650176 18446744073709551615 4670259 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=7753/tid=7769] ppid=7749 vsize=1355788 CPUtime=1.82 cores=0-31
/proc/7753/task/7769/stat : 7769 (claspmt) R 7749 7753 7499 0 -1 4202560 1595 0 0 0 176 6 0 0 17 0 32 0 42577653 1388326912 50041 270582939648 4194304 4964800 140736180650176 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=7753/tid=7770] ppid=7749 vsize=1355788 CPUtime=1.81 cores=0-31
/proc/7753/task/7770/stat : 7770 (claspmt) R 7749 7753 7499 0 -1 4202560 1761 0 0 0 175 6 0 0 17 0 32 0 42577653 1388326912 50041 270582939648 4194304 4964800 140736180650176 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=7753/tid=7771] ppid=7749 vsize=1355788 CPUtime=1.84 cores=0-31
/proc/7753/task/7771/stat : 7771 (claspmt) R 7749 7753 7499 0 -1 4202560 1493 0 0 0 178 6 0 0 17 0 32 0 42577653 1388326912 50041 270582939648 4194304 4964800 140736180650176 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=7753/tid=7772] ppid=7749 vsize=1355788 CPUtime=1.85 cores=0-31
/proc/7753/task/7772/stat : 7772 (claspmt) R 7749 7753 7499 0 -1 4202560 1462 0 0 0 177 8 0 0 17 0 32 0 42577653 1388326912 50041 270582939648 4194304 4964800 140736180650176 18446744073709551615 4320928 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=7753/tid=7773] ppid=7749 vsize=1355788 CPUtime=1.83 cores=0-31
/proc/7753/task/7773/stat : 7773 (claspmt) R 7749 7753 7499 0 -1 4202560 1830 0 0 0 177 6 0 0 17 0 32 0 42577653 1388326912 50041 270582939648 4194304 4964800 140736180650176 18446744073709551615 4670371 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=7753/tid=7774] ppid=7749 vsize=1355788 CPUtime=1.84 cores=0-31
/proc/7753/task/7774/stat : 7774 (claspmt) R 7749 7753 7499 0 -1 4202560 1553 0 0 0 179 5 0 0 17 0 32 0 42577653 1388326912 50041 270582939648 4194304 4964800 140736180650176 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=7753/tid=7775] ppid=7749 vsize=1355788 CPUtime=1.81 cores=0-31
/proc/7753/task/7775/stat : 7775 (claspmt) R 7749 7753 7499 0 -1 4202560 1715 0 0 0 175 6 0 0 17 0 32 0 42577653 1388326912 50041 270582939648 4194304 4964800 140736180650176 18446744073709551615 4320970 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=7753/tid=7776] ppid=7749 vsize=1355788 CPUtime=2.07 cores=0-31
/proc/7753/task/7776/stat : 7776 (claspmt) R 7749 7753 7499 0 -1 4202560 1128 0 0 0 204 3 0 0 19 0 32 0 42577653 1388326912 50041 270582939648 4194304 4964800 140736180650176 18446744073709551615 4668913 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=7753/tid=7777] ppid=7749 vsize=1355788 CPUtime=1.84 cores=0-31
/proc/7753/task/7777/stat : 7777 (claspmt) R 7749 7753 7499 0 -1 4202560 1593 0 0 0 178 6 0 0 17 0 32 0 42577653 1388326912 50041 270582939648 4194304 4964800 140736180650176 18446744073709551615 4670434 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=7753/tid=7778] ppid=7749 vsize=1355788 CPUtime=1.81 cores=0-31
/proc/7753/task/7778/stat : 7778 (claspmt) R 7749 7753 7499 0 -1 4202560 1821 0 0 0 174 7 0 0 17 0 32 0 42577653 1388326912 50041 270582939648 4194304 4964800 140736180650176 18446744073709551615 4668544 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=7753/tid=7779] ppid=7749 vsize=1355788 CPUtime=1.84 cores=0-31
/proc/7753/task/7779/stat : 7779 (claspmt) R 7749 7753 7499 0 -1 4202560 1440 0 0 0 179 5 0 0 17 0 32 0 42577654 1388326912 50041 270582939648 4194304 4964800 140736180650176 18446744073709551615 4660408 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=7753/tid=7780] ppid=7749 vsize=1355788 CPUtime=1.84 cores=0-31
/proc/7753/task/7780/stat : 7780 (claspmt) R 7749 7753 7499 0 -1 4202560 1366 0 0 0 179 5 0 0 17 0 32 0 42577654 1388326912 50042 270582939648 4194304 4964800 140736180650176 18446744073709551615 4647501 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=7753/tid=7781] ppid=7749 vsize=1355788 CPUtime=1.81 cores=0-31
/proc/7753/task/7781/stat : 7781 (claspmt) R 7749 7753 7499 0 -1 4202560 1916 0 0 0 175 6 0 0 17 0 32 0 42577654 1388326912 50042 270582939648 4194304 4964800 140736180650176 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=7753/tid=7788] ppid=7749 vsize=1355788 CPUtime=1.81 cores=0-31
/proc/7753/task/7788/stat : 7788 (claspmt) R 7749 7753 7499 0 -1 4202560 1500 0 0 0 176 5 0 0 17 0 32 0 42577654 1388326912 50042 270582939648 4194304 4964800 140736180650176 18446744073709551615 4320902 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=7753/tid=7789] ppid=7749 vsize=1355788 CPUtime=1.83 cores=0-31
/proc/7753/task/7789/stat : 7789 (claspmt) R 7749 7753 7499 0 -1 4202560 1623 0 0 0 176 7 0 0 17 0 32 0 42577654 1388326912 50042 270582939648 4194304 4964800 140736180650176 18446744073709551615 4669280 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=7753/tid=7790] ppid=7749 vsize=1355788 CPUtime=2.21 cores=0-31
/proc/7753/task/7790/stat : 7790 (claspmt) R 7749 7753 7499 0 -1 4202560 1104 0 0 0 218 3 0 0 20 0 32 0 42577654 1388326912 50042 270582939648 4194304 4964800 140736180650176 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=7753/tid=7791] ppid=7749 vsize=1355788 CPUtime=1.84 cores=0-31

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

[pid=7753/tid=7790] ppid=7749 vsize=1358004 CPUtime=5.31 cores=0-31
/proc/7753/task/7790/stat : 7790 (claspmt) R 7749 7753 7499 0 -1 4202560 1125 0 0 0 528 3 0 0 25 0 32 0 42577654 1390596096 61935 270582939648 4194304 4964800 140736180650176 18446744073709551615 4669532 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=7753/tid=7791] ppid=7749 vsize=1358004 CPUtime=4.99 cores=0-31
/proc/7753/task/7791/stat : 7791 (claspmt) R 7749 7753 7499 0 -1 4202560 2043 0 0 0 491 8 0 0 19 0 32 0 42577654 1390596096 61935 270582939648 4194304 4964800 140736180650176 18446744073709551615 4669532 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=7753/tid=7792] ppid=7749 vsize=1358004 CPUtime=4.99 cores=0-31
/proc/7753/task/7792/stat : 7792 (claspmt) R 7749 7753 7499 0 -1 4202560 2106 0 0 0 491 8 0 0 23 0 32 0 42577654 1390596096 61935 270582939648 4194304 4964800 140736180650176 18446744073709551615 4670330 0 0 4096 18946 0 0 0 -1 14 0 0 0
Current children cumulated CPU time (s) 161.52
Current children cumulated vsize (KiB) 1358004

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

[startup+6.4021 s]
/proc/loadavg: 24.61 29.79 31.27 34/445 7792
/proc/meminfo: memFree=261871196/264257624 swapFree=67111528/67111528
[pid=7753] ppid=7749 vsize=1358004 CPUtime=164.71 cores=0-31
/proc/7753/stat : 7753 (claspmt) R 7749 7753 7499 0 -1 4202496 64046 0 0 0 16245 226 0 0 23 0 32 0 42577593 1390596096 61936 270582939648 4194304 4964800 140736180650176 18446744073709551615 4670142 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/7753/statm: 339501 61936 461 189 0 333850 0
[pid=7753/tid=7755] ppid=7749 vsize=1358004 CPUtime=5.11 cores=0-31
/proc/7753/task/7755/stat : 7755 (claspmt) R 7749 7753 7499 0 -1 4202560 1524 0 0 0 506 5 0 0 23 0 32 0 42577653 1390596096 61936 270582939648 4194304 4964800 140736180650176 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=7753/tid=7756] ppid=7749 vsize=1358004 CPUtime=5.09 cores=0-31
/proc/7753/task/7756/stat : 7756 (claspmt) R 7749 7753 7499 0 -1 4202560 2345 0 0 0 501 8 0 0 23 0 32 0 42577653 1390596096 61936 270582939648 4194304 4964800 140736180650176 18446744073709551615 4629961 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=7753/tid=7757] ppid=7749 vsize=1358004 CPUtime=5.1 cores=0-31
/proc/7753/task/7757/stat : 7757 (claspmt) R 7749 7753 7499 0 -1 4202560 1902 0 0 0 502 8 0 0 21 0 32 0 42577653 1390596096 61936 270582939648 4194304 4964800 140736180650176 18446744073709551615 4670343 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=7753/tid=7758] ppid=7749 vsize=1358004 CPUtime=5.06 cores=0-31
/proc/7753/task/7758/stat : 7758 (claspmt) R 7749 7753 7499 0 -1 4202560 1916 0 0 0 501 5 0 0 23 0 32 0 42577653 1390596096 61936 270582939648 4194304 4964800 140736180650176 18446744073709551615 4669535 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=7753/tid=7759] ppid=7749 vsize=1358004 CPUtime=5.46 cores=0-31
/proc/7753/task/7759/stat : 7759 (claspmt) R 7749 7753 7499 0 -1 4202560 1258 0 0 0 542 4 0 0 21 0 32 0 42577653 1390596096 61936 270582939648 4194304 4964800 140736180650176 18446744073709551615 4678045 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=7753/tid=7760] ppid=7749 vsize=1358004 CPUtime=5.08 cores=0-31
/proc/7753/task/7760/stat : 7760 (claspmt) R 7749 7753 7499 0 -1 4202560 1952 0 0 0 502 6 0 0 23 0 32 0 42577653 1390596096 61936 270582939648 4194304 4964800 140736180650176 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=7753/tid=7761] ppid=7749 vsize=1358004 CPUtime=5.02 cores=0-31
/proc/7753/task/7761/stat : 7761 (claspmt) R 7749 7753 7499 0 -1 4202560 2349 0 0 0 494 8 0 0 23 0 32 0 42577653 1390596096 61936 270582939648 4194304 4964800 140736180650176 18446744073709551615 4660139 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=7753/tid=7762] ppid=7749 vsize=1358004 CPUtime=5.1 cores=0-31
/proc/7753/task/7762/stat : 7762 (claspmt) R 7749 7753 7499 0 -1 4202560 1698 0 0 0 504 6 0 0 23 0 32 0 42577653 1390596096 61936 270582939648 4194304 4964800 140736180650176 18446744073709551615 4626894 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=7753/tid=7763] ppid=7749 vsize=1358004 CPUtime=5.09 cores=0-31
/proc/7753/task/7763/stat : 7763 (claspmt) R 7749 7753 7499 0 -1 4202560 1741 0 0 0 502 7 0 0 23 0 32 0 42577653 1390596096 61936 270582939648 4194304 4964800 140736180650176 18446744073709551615 4653879 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=7753/tid=7764] ppid=7749 vsize=1358004 CPUtime=5.08 cores=0-31
/proc/7753/task/7764/stat : 7764 (claspmt) R 7749 7753 7499 0 -1 4202560 2485 0 0 0 501 7 0 0 19 0 32 0 42577653 1390596096 61936 270582939648 4194304 4964800 140736180650176 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=7753/tid=7766] ppid=7749 vsize=1358004 CPUtime=5.11 cores=0-31
/proc/7753/task/7766/stat : 7766 (claspmt) R 7749 7753 7499 0 -1 4202560 1903 0 0 0 505 6 0 0 23 0 32 0 42577653 1390596096 61936 270582939648 4194304 4964800 140736180650176 18446744073709551615 4668987 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=7753/tid=7767] ppid=7749 vsize=1358004 CPUtime=5.06 cores=0-31
/proc/7753/task/7767/stat : 7767 (claspmt) R 7749 7753 7499 0 -1 4202560 2065 0 0 0 500 6 0 0 23 0 32 0 42577653 1390596096 61936 270582939648 4194304 4964800 140736180650176 18446744073709551615 4627540 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=7753/tid=7768] ppid=7749 vsize=1358004 CPUtime=5.44 cores=0-31
/proc/7753/task/7768/stat : 7768 (claspmt) R 7749 7753 7499 0 -1 4202560 1222 0 0 0 541 3 0 0 25 0 32 0 42577653 1390596096 61936 270582939648 4194304 4964800 140736180650176 18446744073709551615 4670338 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=7753/tid=7769] ppid=7749 vsize=1358004 CPUtime=5.04 cores=0-31
/proc/7753/task/7769/stat : 7769 (claspmt) R 7749 7753 7499 0 -1 4202560 1992 0 0 0 497 7 0 0 19 0 32 0 42577653 1390596096 61936 270582939648 4194304 4964800 140736180650176 18446744073709551615 4647774 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=7753/tid=7770] ppid=7749 vsize=1358004 CPUtime=4.99 cores=0-31
/proc/7753/task/7770/stat : 7770 (claspmt) R 7749 7753 7499 0 -1 4202560 2548 0 0 0 490 9 0 0 23 0 32 0 42577653 1390596096 61936 270582939648 4194304 4964800 140736180650176 18446744073709551615 4313751 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=7753/tid=7771] ppid=7749 vsize=1358004 CPUtime=5.1 cores=0-31
/proc/7753/task/7771/stat : 7771 (claspmt) R 7749 7753 7499 0 -1 4202560 1775 0 0 0 503 7 0 0 23 0 32 0 42577653 1390596096 61936 270582939648 4194304 4964800 140736180650176 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=7753/tid=7772] ppid=7749 vsize=1358004 CPUtime=5.13 cores=0-31
/proc/7753/task/7772/stat : 7772 (claspmt) R 7749 7753 7499 0 -1 4202560 1728 0 0 0 504 9 0 0 24 0 32 0 42577653 1390596096 61936 270582939648 4194304 4964800 140736180650176 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=7753/tid=7773] ppid=7749 vsize=1358004 CPUtime=5.05 cores=0-31
/proc/7753/task/7773/stat : 7773 (claspmt) R 7749 7753 7499 0 -1 4202560 2361 0 0 0 498 7 0 0 23 0 32 0 42577653 1390596096 61936 270582939648 4194304 4964800 140736180650176 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=7753/tid=7774] ppid=7749 vsize=1358004 CPUtime=5.09 cores=0-31
/proc/7753/task/7774/stat : 7774 (claspmt) R 7749 7753 7499 0 -1 4202560 1929 0 0 0 502 7 0 0 23 0 32 0 42577653 1390596096 61936 270582939648 4194304 4964800 140736180650176 18446744073709551615 4669280 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=7753/tid=7775] ppid=7749 vsize=1358004 CPUtime=5.07 cores=0-31
/proc/7753/task/7775/stat : 7775 (claspmt) R 7749 7753 7499 0 -1 4202560 2141 0 0 0 500 7 0 0 23 0 32 0 42577653 1390596096 61936 270582939648 4194304 4964800 140736180650176 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=7753/tid=7776] ppid=7749 vsize=1358004 CPUtime=5.37 cores=0-31
/proc/7753/task/7776/stat : 7776 (claspmt) R 7749 7753 7499 0 -1 4202560 1153 0 0 0 534 3 0 0 25 0 32 0 42577653 1390596096 61936 270582939648 4194304 4964800 140736180650176 18446744073709551615 4669417 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=7753/tid=7777] ppid=7749 vsize=1358004 CPUtime=5.05 cores=0-31
/proc/7753/task/7777/stat : 7777 (claspmt) R 7749 7753 7499 0 -1 4202560 2011 0 0 0 499 6 0 0 23 0 32 0 42577653 1390596096 61936 270582939648 4194304 4964800 140736180650176 18446744073709551615 4668712 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=7753/tid=7778] ppid=7749 vsize=1358004 CPUtime=5.06 cores=0-31
/proc/7753/task/7778/stat : 7778 (claspmt) R 7749 7753 7499 0 -1 4202560 2444 0 0 0 497 9 0 0 21 0 32 0 42577653 1390596096 61936 270582939648 4194304 4964800 140736180650176 18446744073709551615 4321038 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=7753/tid=7779] ppid=7749 vsize=1358004 CPUtime=5.1 cores=0-31
/proc/7753/task/7779/stat : 7779 (claspmt) R 7749 7753 7499 0 -1 4202560 1700 0 0 0 504 6 0 0 24 0 32 0 42577654 1390596096 61936 270582939648 4194304 4964800 140736180650176 18446744073709551615 258650615285 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=7753/tid=7780] ppid=7749 vsize=1358004 CPUtime=5.09 cores=0-31
/proc/7753/task/7780/stat : 7780 (claspmt) R 7749 7753 7499 0 -1 4202560 1657 0 0 0 503 6 0 0 23 0 32 0 42577654 1390596096 61936 270582939648 4194304 4964800 140736180650176 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=7753/tid=7781] ppid=7749 vsize=1358004 CPUtime=5.06 cores=0-31
/proc/7753/task/7781/stat : 7781 (claspmt) R 7749 7753 7499 0 -1 4202560 2565 0 0 0 498 8 0 0 23 0 32 0 42577654 1390596096 61936 270582939648 4194304 4964800 140736180650176 18446744073709551615 4668987 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=7753/tid=7788] ppid=7749 vsize=1358004 CPUtime=5.05 cores=0-31
/proc/7753/task/7788/stat : 7788 (claspmt) R 7749 7753 7499 0 -1 4202560 1910 0 0 0 499 6 0 0 23 0 32 0 42577654 1390596096 61936 270582939648 4194304 4964800 140736180650176 18446744073709551615 4668546 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=7753/tid=7789] ppid=7749 vsize=1358004 CPUtime=5.08 cores=0-31
/proc/7753/task/7789/stat : 7789 (claspmt) R 7749 7753 7499 0 -1 4202560 2003 0 0 0 500 8 0 0 23 0 32 0 42577654 1390596096 61936 270582939648 4194304 4964800 140736180650176 18446744073709551615 4362570 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=7753/tid=7790] ppid=7749 vsize=1358004 CPUtime=5.41 cores=0-31
/proc/7753/task/7790/stat : 7790 (claspmt) R 7749 7753 7499 0 -1 4202560 1125 0 0 0 538 3 0 0 25 0 32 0 42577654 1390596096 61936 270582939648 4194304 4964800 140736180650176 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=7753/tid=7791] ppid=7749 vsize=1358004 CPUtime=5.09 cores=0-31
/proc/7753/task/7791/stat : 7791 (claspmt) R 7749 7753 7499 0 -1 4202560 2043 0 0 0 501 8 0 0 19 0 32 0 42577654 1390596096 61936 270582939648 4194304 4964800 140736180650176 18446744073709551615 4669333 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=7753/tid=7792] ppid=7749 vsize=1358004 CPUtime=5.09 cores=0-31
/proc/7753/task/7792/stat : 7792 (claspmt) R 7749 7753 7499 0 -1 4202560 2106 0 0 0 501 8 0 0 23 0 32 0 42577654 1390596096 61936 270582939648 4194304 4964800 140736180650176 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 14 0 0 0
Current children cumulated CPU time (s) 164.71
Current children cumulated vsize (KiB) 1358004

[startup+7.20212 s]
/proc/loadavg: 24.61 29.79 31.27 33/445 7792
/proc/meminfo: memFree=261870948/264257624 swapFree=67111528/67111528
[pid=7753] ppid=7749 vsize=1358004 CPUtime=190.28 cores=0-31
/proc/7753/stat : 7753 (claspmt) R 7749 7753 7499 0 -1 4202496 64487 0 0 0 18799 229 0 0 25 0 32 0 42577593 1390596096 62377 270582939648 4194304 4964800 140736180650176 18446744073709551615 4669437 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/7753/statm: 339501 62377 461 189 0 333850 0
[pid=7753/tid=7755] ppid=7749 vsize=1358004 CPUtime=5.91 cores=0-31
/proc/7753/task/7755/stat : 7755 (claspmt) S 7749 7753 7499 0 -1 4202560 1550 0 0 0 586 5 0 0 25 0 32 0 42577653 1390596096 62377 270582939648 4194304 4964800 140736180650176 18446744073709551615 258651060958 0 0 4096 18946 18446744071566924024 0 0 -1 1 0 0 0
[pid=7753/tid=7756] ppid=7749 vsize=1358004 CPUtime=5.88 cores=0-31
/proc/7753/task/7756/stat : 7756 (claspmt) R 7749 7753 7499 0 -1 4202560 2358 0 0 0 580 8 0 0 25 0 32 0 42577653 1390596096 62377 270582939648 4194304 4964800 140736180650176 18446744073709551615 4313751 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=7753/tid=7757] ppid=7749 vsize=1358004 CPUtime=5.9 cores=0-31
/proc/7753/task/7757/stat : 7757 (claspmt) R 7749 7753 7499 0 -1 4202560 1905 0 0 0 582 8 0 0 24 0 32 0 42577653 1390596096 62377 270582939648 4194304 4964800 140736180650176 18446744073709551615 4669093 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=7753/tid=7758] ppid=7749 vsize=1358004 CPUtime=5.87 cores=0-31
/proc/7753/task/7758/stat : 7758 (claspmt) R 7749 7753 7499 0 -1 4202560 1945 0 0 0 581 6 0 0 25 0 32 0 42577653 1390596096 62377 270582939648 4194304 4964800 140736180650176 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=7753/tid=7759] ppid=7749 vsize=1358004 CPUtime=6.26 cores=0-31
/proc/7753/task/7759/stat : 7759 (claspmt) R 7749 7753 7499 0 -1 4202560 1258 0 0 0 622 4 0 0 23 0 32 0 42577653 1390596096 62377 270582939648 4194304 4964800 140736180650176 18446744073709551615 4669396 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=7753/tid=7760] ppid=7749 vsize=1358004 CPUtime=5.88 cores=0-31
/proc/7753/task/7760/stat : 7760 (claspmt) R 7749 7753 7499 0 -1 4202560 1952 0 0 0 582 6 0 0 25 0 32 0 42577653 1390596096 62377 270582939648 4194304 4964800 140736180650176 18446744073709551615 4361097 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=7753/tid=7761] ppid=7749 vsize=1358004 CPUtime=5.83 cores=0-31
/proc/7753/task/7761/stat : 7761 (claspmt) R 7749 7753 7499 0 -1 4202560 2388 0 0 0 574 9 0 0 25 0 32 0 42577653 1390596096 62377 270582939648 4194304 4964800 140736180650176 18446744073709551615 4670328 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=7753/tid=7762] ppid=7749 vsize=1358004 CPUtime=5.9 cores=0-31
/proc/7753/task/7762/stat : 7762 (claspmt) R 7749 7753 7499 0 -1 4202560 1708 0 0 0 584 6 0 0 25 0 32 0 42577653 1390596096 62377 270582939648 4194304 4964800 140736180650176 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=7753/tid=7763] ppid=7749 vsize=1358004 CPUtime=5.88 cores=0-31
/proc/7753/task/7763/stat : 7763 (claspmt) R 7749 7753 7499 0 -1 4202560 1797 0 0 0 581 7 0 0 25 0 32 0 42577653 1390596096 62377 270582939648 4194304 4964800 140736180650176 18446744073709551615 4668773 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=7753/tid=7764] ppid=7749 vsize=1358004 CPUtime=5.87 cores=0-31
/proc/7753/task/7764/stat : 7764 (claspmt) R 7749 7753 7499 0 -1 4202560 2517 0 0 0 580 7 0 0 21 0 32 0 42577653 1390596096 62377 270582939648 4194304 4964800 140736180650176 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=7753/tid=7766] ppid=7749 vsize=1358004 CPUtime=5.91 cores=0-31
/proc/7753/task/7766/stat : 7766 (claspmt) R 7749 7753 7499 0 -1 4202560 1907 0 0 0 585 6 0 0 25 0 32 0 42577653 1390596096 62377 270582939648 4194304 4964800 140736180650176 18446744073709551615 4668920 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=7753/tid=7767] ppid=7749 vsize=1358004 CPUtime=5.86 cores=0-31
/proc/7753/task/7767/stat : 7767 (claspmt) R 7749 7753 7499 0 -1 4202560 2076 0 0 0 580 6 0 0 25 0 32 0 42577653 1390596096 62377 270582939648 4194304 4964800 140736180650176 18446744073709551615 4627309 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=7753/tid=7768] ppid=7749 vsize=1358004 CPUtime=6.24 cores=0-31
/proc/7753/task/7768/stat : 7768 (claspmt) R 7749 7753 7499 0 -1 4202560 1222 0 0 0 621 3 0 0 25 0 32 0 42577653 1390596096 62377 270582939648 4194304 4964800 140736180650176 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=7753/tid=7769] ppid=7749 vsize=1358004 CPUtime=5.85 cores=0-31
/proc/7753/task/7769/stat : 7769 (claspmt) R 7749 7753 7499 0 -1 4202560 2009 0 0 0 577 8 0 0 21 0 32 0 42577653 1390596096 62377 270582939648 4194304 4964800 140736180650176 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=7753/tid=7770] ppid=7749 vsize=1358004 CPUtime=5.78 cores=0-31
/proc/7753/task/7770/stat : 7770 (claspmt) R 7749 7753 7499 0 -1 4202560 2566 0 0 0 569 9 0 0 25 0 32 0 42577653 1390596096 62377 270582939648 4194304 4964800 140736180650176 18446744073709551615 258651061007 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=7753/tid=7771] ppid=7749 vsize=1358004 CPUtime=5.9 cores=0-31
/proc/7753/task/7771/stat : 7771 (claspmt) R 7749 7753 7499 0 -1 4202560 1775 0 0 0 583 7 0 0 25 0 32 0 42577653 1390596096 62377 270582939648 4194304 4964800 140736180650176 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=7753/tid=7772] ppid=7749 vsize=1358004 CPUtime=5.93 cores=0-31
/proc/7753/task/7772/stat : 7772 (claspmt) R 7749 7753 7499 0 -1 4202560 1732 0 0 0 584 9 0 0 25 0 32 0 42577653 1390596096 62377 270582939648 4194304 4964800 140736180650176 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=7753/tid=7773] ppid=7749 vsize=1358004 CPUtime=5.85 cores=0-31
/proc/7753/task/7773/stat : 7773 (claspmt) R 7749 7753 7499 0 -1 4202560 2375 0 0 0 578 7 0 0 25 0 32 0 42577653 1390596096 62377 270582939648 4194304 4964800 140736180650176 18446744073709551615 4320970 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=7753/tid=7774] ppid=7749 vsize=1358004 CPUtime=5.89 cores=0-31
/proc/7753/task/7774/stat : 7774 (claspmt) R 7749 7753 7499 0 -1 4202560 1931 0 0 0 582 7 0 0 25 0 32 0 42577653 1390596096 62377 270582939648 4194304 4964800 140736180650176 18446744073709551615 4670534 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=7753/tid=7775] ppid=7749 vsize=1358004 CPUtime=5.87 cores=0-31
/proc/7753/task/7775/stat : 7775 (claspmt) R 7749 7753 7499 0 -1 4202560 2156 0 0 0 580 7 0 0 25 0 32 0 42577653 1390596096 62377 270582939648 4194304 4964800 140736180650176 18446744073709551615 258651061007 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=7753/tid=7776] ppid=7749 vsize=1358004 CPUtime=6.17 cores=0-31
/proc/7753/task/7776/stat : 7776 (claspmt) R 7749 7753 7499 0 -1 4202560 1153 0 0 0 614 3 0 0 25 0 32 0 42577653 1390596096 62377 270582939648 4194304 4964800 140736180650176 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=7753/tid=7777] ppid=7749 vsize=1358004 CPUtime=5.85 cores=0-31
/proc/7753/task/7777/stat : 7777 (claspmt) R 7749 7753 7499 0 -1 4202560 2027 0 0 0 579 6 0 0 25 0 32 0 42577653 1390596096 62377 270582939648 4194304 4964800 140736180650176 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=7753/tid=7778] ppid=7749 vsize=1358004 CPUtime=5.86 cores=0-31
/proc/7753/task/7778/stat : 7778 (claspmt) R 7749 7753 7499 0 -1 4202560 2464 0 0 0 577 9 0 0 24 0 32 0 42577653 1390596096 62377 270582939648 4194304 4964800 140736180650176 18446744073709551615 4647774 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=7753/tid=7779] ppid=7749 vsize=1358004 CPUtime=5.9 cores=0-31
/proc/7753/task/7779/stat : 7779 (claspmt) R 7749 7753 7499 0 -1 4202560 1701 0 0 0 584 6 0 0 25 0 32 0 42577654 1390596096 62377 270582939648 4194304 4964800 140736180650176 18446744073709551615 4670328 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=7753/tid=7780] ppid=7749 vsize=1358004 CPUtime=5.88 cores=0-31
/proc/7753/task/7780/stat : 7780 (claspmt) R 7749 7753 7499 0 -1 4202560 1703 0 0 0 582 6 0 0 18 0 32 0 42577654 1390596096 62377 270582939648 4194304 4964800 140736180650176 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=7753/tid=7781] ppid=7749 vsize=1358004 CPUtime=5.86 cores=0-31
/proc/7753/task/7781/stat : 7781 (claspmt) R 7749 7753 7499 0 -1 4202560 2571 0 0 0 578 8 0 0 25 0 32 0 42577654 1390596096 62377 270582939648 4194304 4964800 140736180650176 18446744073709551615 4669454 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=7753/tid=7788] ppid=7749 vsize=1358004 CPUtime=5.85 cores=0-31
/proc/7753/task/7788/stat : 7788 (claspmt) R 7749 7753 7499 0 -1 4202560 1913 0 0 0 579 6 0 0 25 0 32 0 42577654 1390596096 62377 270582939648 4194304 4964800 140736180650176 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=7753/tid=7789] ppid=7749 vsize=1358004 CPUtime=5.88 cores=0-31
/proc/7753/task/7789/stat : 7789 (claspmt) R 7749 7753 7499 0 -1 4202560 2006 0 0 0 580 8 0 0 25 0 32 0 42577654 1390596096 62377 270582939648 4194304 4964800 140736180650176 18446744073709551615 258651061007 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=7753/tid=7790] ppid=7749 vsize=1358004 CPUtime=6.18 cores=0-31
/proc/7753/task/7790/stat : 7790 (claspmt) R 7749 7753 7499 0 -1 4202560 1125 0 0 0 615 3 0 0 25 0 32 0 42577654 1390596096 62377 270582939648 4194304 4964800 140736180650176 18446744073709551615 4669026 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=7753/tid=7791] ppid=7749 vsize=1358004 CPUtime=5.89 cores=0-31
/proc/7753/task/7791/stat : 7791 (claspmt) R 7749 7753 7499 0 -1 4202560 2046 0 0 0 581 8 0 0 21 0 32 0 42577654 1390596096 62377 270582939648 4194304 4964800 140736180650176 18446744073709551615 4670357 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=7753/tid=7792] ppid=7749 vsize=1358004 CPUtime=5.89 cores=0-31
/proc/7753/task/7792/stat : 7792 (claspmt) R 7749 7753 7499 0 -1 4202560 2151 0 0 0 581 8 0 0 25 0 32 0 42577654 1390596096 62377 270582939648 4194304 4964800 140736180650176 18446744073709551615 4647774 0 0 4096 18946 0 0 0 -1 14 0 0 0
Current children cumulated CPU time (s) 190.28
Current children cumulated vsize (KiB) 1358004

[startup+7.40234 s]
/proc/loadavg: 24.61 29.79 31.27 33/445 7792
/proc/meminfo: memFree=261870948/264257624 swapFree=67111528/67111528
[pid=7753] ppid=7749 vsize=1266968 CPUtime=195 cores=0-31
/proc/7753/stat : 7753 (claspmt) R 7749 7753 7499 0 -1 4202496 64502 0 0 0 19258 242 0 0 17 0 1 0 42577593 1297375232 62139 270582939648 4194304 4964800 140736180650176 18446744073709551615 258650613570 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/7753/statm: 316742 62139 472 189 0 311091 0
Current children cumulated CPU time (s) 195
Current children cumulated vsize (KiB) 1266968

[startup+7.50131 s]
/proc/loadavg: 24.61 29.79 31.27 33/445 7792
/proc/meminfo: memFree=261870948/264257624 swapFree=67111528/67111528
[pid=7753] ppid=7749 vsize=1266968 CPUtime=195.1 cores=0-31
/proc/7753/stat : 7753 (claspmt) R 7749 7753 7499 0 -1 4202496 64502 0 0 0 19268 242 0 0 17 0 1 0 42577593 1297375232 62109 270582939648 4194304 4964800 140736180650176 18446744073709551615 258650611056 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/7753/statm: 316742 62109 472 189 0 311091 0
Current children cumulated CPU time (s) 195.1
Current children cumulated vsize (KiB) 1266968

Child status: 20
Real time (s): 7.57275
CPU time (s): 195.187
CPU user time (s): 192.734
CPU system time (s): 2.45363
CPU usage (%): 2577.5
Max. virtual memory (cumulated for all children) (KiB): 1358004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 192.734
system time used= 2.45363
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64503
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= 89853
involuntary context switches= 1895

runsolver used 0.06099 second user time and 0.183972 second system time

The end

Launcher Data 

Begin job on node200 at 2011-06-11 07:58:27
IDJOB=3472484
IDBENCH=83438
IDSOLVER=1961
FILE ID=node200/3472484-1307771907
RUNJOBID= node200-1307771776-7513
PBS_JOBID= 13550738
Free space on /tmp= 61744 MiB

SOLVER NAME= claspmt 2.0-R4095-patched (fixed)
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/E02F17.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-3472484-1307771907/watcher-3472484-1307771907 -o /tmp/evaluation-result-3472484-1307771907/solver-3472484-1307771907 -C 160000 -W 5100 -M 256000  HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472484-1307771907.cnf

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

MD5SUM BENCH= 4f20f237857124f0eb214df627f84b82
RANDOM SEED=1356496665

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:      262117900 kB
Buffers:        284768 kB
Cached:        1529796 kB
SwapCached:          0 kB
Active:         310396 kB
Inactive:      1567388 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      262117900 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2848 kB
Writeback:           0 kB
AnonPages:       63192 kB
Mapped:          14872 kB
Slab:           185152 kB
PageTables:       4352 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   160528 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-11 07:58:35