Trace number 3472488

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 19309.9 615.883

General information on the benchmark

Nameapplication/leberre/
2dimensionalstrippacking/korf-18.cnf
MD5SUM47bea79e2bf12e18e409c2c4bd6fac03
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark10532
Satisfiable
(Un)Satisfiability was proved
Number of variables7794
Number of clauses186934
Sum of the clauses size1289969
Maximum clause length55
Minimum clause length1
Number of clauses of size 16
Number of clauses of size 220093
Number of clauses of size 316000
Number of clauses of size 45706
Number of clauses of size 56282
Number of clauses of size over 5138847

Solver Data 

0.00/0.01	c clasp version 2.0.0-RC2
0.00/0.01	c Reading from ...771965/instance-3472488-1307771965.cnf
6.62/6.66	c Solving...
19309.81/615.82	s UNSATISFIABLE
19309.81/615.82	
19309.81/615.82	c Models        : 0     
19309.81/615.82	c Time          : 614.175s (Solving: 607.52s 1st Model: 0.00s Unsat: 607.52s)
19309.81/615.82	c CPU Time      : 19308.200s

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.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-3472488-1307771965/watcher-3472488-1307771965 -o /tmp/evaluation-result-3472488-1307771965/solver-3472488-1307771965 -C 160000 -W 5100 -M 256000 HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472488-1307771965.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: 19.66 27.50 30.40 1/413 8039
/proc/meminfo: memFree=262106876/264257624 swapFree=67111528/67111528
[pid=8039] ppid=8037 vsize=23384 CPUtime=0.02 cores=0-31
/proc/8039/stat : 8039 (claspmt) R 8037 8039 7499 0 -1 4202496 1209 0 0 0 2 0 0 0 21 0 1 0 42583450 23945216 1077 270582939648 4194304 4964800 140735978370560 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 24 0 0 0
/proc/8039/statm: 5879 1078 386 189 0 753 0

[startup+0.07558 s]
/proc/loadavg: 19.66 27.50 30.40 1/413 8039
/proc/meminfo: memFree=262106876/264257624 swapFree=67111528/67111528
[pid=8039] ppid=8037 vsize=25980 CPUtime=0.06 cores=0-31
/proc/8039/stat : 8039 (claspmt) R 8037 8039 7499 0 -1 4202496 2007 0 0 0 6 0 0 0 21 0 1 0 42583450 26603520 1704 270582939648 4194304 4964800 140735978370560 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 24 0 0 0
/proc/8039/statm: 6495 1705 386 189 0 1369 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 25980

[startup+0.100568 s]
/proc/loadavg: 19.66 27.50 30.40 1/413 8039
/proc/meminfo: memFree=262106876/264257624 swapFree=67111528/67111528
[pid=8039] ppid=8037 vsize=27540 CPUtime=0.08 cores=0-31
/proc/8039/stat : 8039 (claspmt) R 8037 8039 7499 0 -1 4202496 2501 0 0 0 8 0 0 0 21 0 1 0 42583450 28200960 2077 270582939648 4194304 4964800 140735978370560 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 24 0 0 0
/proc/8039/statm: 6885 2078 386 189 0 1759 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 27540

[startup+0.300589 s]
/proc/loadavg: 19.66 27.50 30.40 1/413 8039
/proc/meminfo: memFree=262106876/264257624 swapFree=67111528/67111528
[pid=8039] ppid=8037 vsize=41944 CPUtime=0.29 cores=0-31
/proc/8039/stat : 8039 (claspmt) R 8037 8039 7499 0 -1 4202496 6627 0 0 0 26 3 0 0 22 0 1 0 42583450 42950656 5676 270582939648 4194304 4964800 140735978370560 18446744073709551615 4615512 0 0 4096 18946 0 0 0 17 24 0 0 0
/proc/8039/statm: 10486 5676 397 189 0 5360 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 41944

[startup+0.700649 s]
/proc/loadavg: 19.66 27.50 30.40 1/413 8039
/proc/meminfo: memFree=262106876/264257624 swapFree=67111528/67111528
[pid=8039] ppid=8037 vsize=43220 CPUtime=0.69 cores=0-31
/proc/8039/stat : 8039 (claspmt) R 8037 8039 7499 0 -1 4202496 6923 0 0 0 66 3 0 0 24 0 1 0 42583450 44257280 5972 270582939648 4194304 4964800 140735978370560 18446744073709551615 4607590 0 0 4096 18946 0 0 0 17 24 0 0 0
/proc/8039/statm: 10805 5972 400 189 0 5679 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 43220

[startup+1.50065 s]
/proc/loadavg: 18.17 27.06 30.25 2/414 8040
/proc/meminfo: memFree=262084652/264257624 swapFree=67111528/67111528
[pid=8039] ppid=8037 vsize=43220 CPUtime=1.49 cores=0-31
/proc/8039/stat : 8039 (claspmt) R 8037 8039 7499 0 -1 4202496 6923 0 0 0 146 3 0 0 25 0 1 0 42583450 44257280 5972 270582939648 4194304 4964800 140735978370560 18446744073709551615 4607590 0 0 4096 18946 0 0 0 17 24 0 0 0
/proc/8039/statm: 10805 5972 400 189 0 5679 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 43220

[startup+3.10072 s]
/proc/loadavg: 18.17 27.06 30.25 2/414 8040
/proc/meminfo: memFree=262083784/264257624 swapFree=67111528/67111528
[pid=8039] ppid=8037 vsize=43220 CPUtime=3.09 cores=0-31
/proc/8039/stat : 8039 (claspmt) R 8037 8039 7499 0 -1 4202496 6923 0 0 0 306 3 0 0 25 0 1 0 42583450 44257280 5972 270582939648 4194304 4964800 140735978370560 18446744073709551615 4607486 0 0 4096 18946 0 0 0 17 24 0 0 0
/proc/8039/statm: 10805 5972 400 189 0 5679 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 43220

[startup+6.30081 s]
/proc/loadavg: 18.17 27.06 30.25 2/414 8040
/proc/meminfo: memFree=262084248/264257624 swapFree=67111528/67111528
[pid=8039] ppid=8037 vsize=43220 CPUtime=6.29 cores=0-31
/proc/8039/stat : 8039 (claspmt) R 8037 8039 7499 0 -1 4202496 6923 0 0 0 626 3 0 0 25 0 1 0 42583450 44257280 5972 270582939648 4194304 4964800 140735978370560 18446744073709551615 4607590 0 0 4096 18946 0 0 0 17 24 0 0 0
/proc/8039/statm: 10805 5972 400 189 0 5679 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 43220

[startup+12.7019 s]
/proc/loadavg: 18.16 26.75 30.11 25/445 8073
/proc/meminfo: memFree=261570116/264257624 swapFree=67111528/67111528
[pid=8039] ppid=8037 vsize=1340948 CPUtime=144.55 cores=0-31
/proc/8039/stat : 8039 (claspmt) R 8037 8039 7499 0 -1 4202496 140758 0 0 0 14031 424 0 0 18 0 32 0 42583450 1373130752 137874 270582939648 4194304 4964800 140735978370560 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 11 0 0 0
/proc/8039/statm: 335237 137874 461 189 0 329586 0
[pid=8039/tid=8041] ppid=8037 vsize=1340948 CPUtime=4.19 cores=0-31
/proc/8039/task/8041/stat : 8041 (claspmt) R 8037 8039 7499 0 -1 4202560 2899 0 0 0 409 10 0 0 21 0 32 0 42584117 1373130752 137874 270582939648 4194304 4964800 140735978370560 18446744073709551615 4670264 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=8039/tid=8042] ppid=8037 vsize=1340948 CPUtime=4.23 cores=0-31
/proc/8039/task/8042/stat : 8042 (claspmt) R 8037 8039 7499 0 -1 4202560 4096 0 0 0 408 15 0 0 18 0 32 0 42584117 1373130752 137874 270582939648 4194304 4964800 140735978370560 18446744073709551615 4320976 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=8039/tid=8043] ppid=8037 vsize=1340948 CPUtime=4.24 cores=0-31
/proc/8039/task/8043/stat : 8043 (claspmt) R 8037 8039 7499 0 -1 4202560 3222 0 0 0 410 14 0 0 20 0 32 0 42584117 1373130752 137874 270582939648 4194304 4964800 140735978370560 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=8039/tid=8044] ppid=8037 vsize=1340948 CPUtime=4.22 cores=0-31
/proc/8039/task/8044/stat : 8044 (claspmt) R 8037 8039 7499 0 -1 4202560 4750 0 0 0 407 15 0 0 19 0 32 0 42584117 1373130752 137874 270582939648 4194304 4964800 140735978370560 18446744073709551615 4670371 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=8039/tid=8045] ppid=8037 vsize=1340948 CPUtime=5.02 cores=0-31
/proc/8039/task/8045/stat : 8045 (claspmt) R 8037 8039 7499 0 -1 4202560 3800 0 0 0 491 11 0 0 22 0 32 0 42584117 1373130752 137874 270582939648 4194304 4964800 140735978370560 18446744073709551615 4668715 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=8039/tid=8046] ppid=8037 vsize=1340948 CPUtime=4.2 cores=0-31
/proc/8039/task/8046/stat : 8046 (claspmt) R 8037 8039 7499 0 -1 4202560 4619 0 0 0 410 10 0 0 21 0 32 0 42584117 1373130752 137874 270582939648 4194304 4964800 140735978370560 18446744073709551615 4670321 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=8039/tid=8047] ppid=8037 vsize=1340948 CPUtime=4.21 cores=0-31
/proc/8039/task/8047/stat : 8047 (claspmt) R 8037 8039 7499 0 -1 4202560 4112 0 0 0 403 18 0 0 18 0 32 0 42584117 1373130752 137874 270582939648 4194304 4964800 140735978370560 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=8039/tid=8048] ppid=8037 vsize=1340948 CPUtime=4.24 cores=0-31
/proc/8039/task/8048/stat : 8048 (claspmt) R 8037 8039 7499 0 -1 4202560 4557 0 0 0 410 14 0 0 20 0 32 0 42584117 1373130752 137874 270582939648 4194304 4964800 140735978370560 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=8039/tid=8049] ppid=8037 vsize=1340948 CPUtime=4.23 cores=0-31
/proc/8039/task/8049/stat : 8049 (claspmt) R 8037 8039 7499 0 -1 4202560 3551 0 0 0 409 14 0 0 18 0 32 0 42584117 1373130752 137874 270582939648 4194304 4964800 140735978370560 18446744073709551615 4658168 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=8039/tid=8050] ppid=8037 vsize=1340948 CPUtime=4.21 cores=0-31
/proc/8039/task/8050/stat : 8050 (claspmt) R 8037 8039 7499 0 -1 4202560 4091 0 0 0 407 14 0 0 21 0 32 0 42584118 1373130752 137874 270582939648 4194304 4964800 140735978370560 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=8039/tid=8051] ppid=8037 vsize=1340948 CPUtime=4.18 cores=0-31
/proc/8039/task/8051/stat : 8051 (claspmt) R 8037 8039 7499 0 -1 4202560 3864 0 0 0 406 12 0 0 19 0 32 0 42584118 1373130752 137874 270582939648 4194304 4964800 140735978370560 18446744073709551615 4660224 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=8039/tid=8052] ppid=8037 vsize=1340948 CPUtime=4.19 cores=0-31
/proc/8039/task/8052/stat : 8052 (claspmt) R 8037 8039 7499 0 -1 4202560 4752 0 0 0 408 11 0 0 18 0 32 0 42584118 1373130752 137874 270582939648 4194304 4964800 140735978370560 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=8039/tid=8053] ppid=8037 vsize=1340948 CPUtime=4.99 cores=0-31
/proc/8039/task/8053/stat : 8053 (claspmt) R 8037 8039 7499 0 -1 4202560 3854 0 0 0 489 10 0 0 22 0 32 0 42584118 1373130752 137874 270582939648 4194304 4964800 140735978370560 18446744073709551615 4670392 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=8039/tid=8054] ppid=8037 vsize=1340948 CPUtime=4.22 cores=0-31
/proc/8039/task/8054/stat : 8054 (claspmt) R 8037 8039 7499 0 -1 4202560 4629 0 0 0 408 14 0 0 20 0 32 0 42584118 1373130752 137874 270582939648 4194304 4964800 140735978370560 18446744073709551615 4321042 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=8039/tid=8055] ppid=8037 vsize=1340948 CPUtime=4.2 cores=0-31
/proc/8039/task/8055/stat : 8055 (claspmt) R 8037 8039 7499 0 -1 4202560 4424 0 0 0 403 17 0 0 18 0 32 0 42584118 1373130752 137874 270582939648 4194304 4964800 140735978370560 18446744073709551615 4669280 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=8039/tid=8056] ppid=8037 vsize=1340948 CPUtime=4.14 cores=0-31
/proc/8039/task/8056/stat : 8056 (claspmt) R 8037 8039 7499 0 -1 4202560 4782 0 0 0 401 13 0 0 20 0 32 0 42584118 1373130752 137874 270582939648 4194304 4964800 140735978370560 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=8039/tid=8057] ppid=8037 vsize=1340948 CPUtime=4.21 cores=0-31
/proc/8039/task/8057/stat : 8057 (claspmt) R 8037 8039 7499 0 -1 4202560 4862 0 0 0 407 14 0 0 19 0 32 0 42584118 1373130752 137874 270582939648 4194304 4964800 140735978370560 18446744073709551615 4370266 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=8039/tid=8058] ppid=8037 vsize=1340948 CPUtime=4.19 cores=0-31
/proc/8039/task/8058/stat : 8058 (claspmt) R 8037 8039 7499 0 -1 4202560 4350 0 0 0 405 14 0 0 21 0 32 0 42584118 1373130752 137874 270582939648 4194304 4964800 140735978370560 18446744073709551615 4670437 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=8039/tid=8059] ppid=8037 vsize=1340948 CPUtime=4.2 cores=0-31
/proc/8039/task/8059/stat : 8059 (claspmt) R 8037 8039 7499 0 -1 4202560 3837 0 0 0 409 11 0 0 18 0 32 0 42584118 1373130752 137874 270582939648 4194304 4964800 140735978370560 18446744073709551615 4320951 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=8039/tid=8060] ppid=8037 vsize=1340948 CPUtime=4.18 cores=0-31
/proc/8039/task/8060/stat : 8060 (claspmt) R 8037 8039 7499 0 -1 4202560 4987 0 0 0 405 13 0 0 19 0 32 0 42584118 1373130752 137874 270582939648 4194304 4964800 140735978370560 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=8039/tid=8061] ppid=8037 vsize=1340948 CPUtime=5.15 cores=0-31
/proc/8039/task/8061/stat : 8061 (claspmt) R 8037 8039 7499 0 -1 4202560 3696 0 0 0 504 11 0 0 25 0 32 0 42584118 1373130752 137874 270582939648 4194304 4964800 140735978370560 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=8039/tid=8062] ppid=8037 vsize=1340948 CPUtime=4.21 cores=0-31
/proc/8039/task/8062/stat : 8062 (claspmt) R 8037 8039 7499 0 -1 4202560 4520 0 0 0 407 14 0 0 18 0 32 0 42584118 1373130752 137874 270582939648 4194304 4964800 140735978370560 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=8039/tid=8063] ppid=8037 vsize=1340948 CPUtime=4.24 cores=0-31
/proc/8039/task/8063/stat : 8063 (claspmt) R 8037 8039 7499 0 -1 4202560 4323 0 0 0 409 15 0 0 19 0 32 0 42584118 1373130752 137874 270582939648 4194304 4964800 140735978370560 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=8039/tid=8064] ppid=8037 vsize=1340948 CPUtime=4.21 cores=0-31
/proc/8039/task/8064/stat : 8064 (claspmt) R 8037 8039 7499 0 -1 4202560 4732 0 0 0 407 14 0 0 18 0 32 0 42584118 1373130752 137874 270582939648 4194304 4964800 140735978370560 18446744073709551615 4669136 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=8039/tid=8065] ppid=8037 vsize=1340948 CPUtime=4.19 cores=0-31
/proc/8039/task/8065/stat : 8065 (claspmt) R 8037 8039 7499 0 -1 4202560 4241 0 0 0 407 12 0 0 19 0 32 0 42584118 1373130752 137874 270582939648 4194304 4964800 140735978370560 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=8039/tid=8066] ppid=8037 vsize=1340948 CPUtime=4.2 cores=0-31
/proc/8039/task/8066/stat : 8066 (claspmt) R 8037 8039 7499 0 -1 4202560 3690 0 0 0 409 11 0 0 19 0 32 0 42584118 1373130752 137874 270582939648 4194304 4964800 140735978370560 18446744073709551615 4669479 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=8039/tid=8067] ppid=8037 vsize=1340948 CPUtime=4.22 cores=0-31
/proc/8039/task/8067/stat : 8067 (claspmt) R 8037 8039 7499 0 -1 4202560 3437 0 0 0 411 11 0 0 19 0 32 0 42584118 1373130752 137874 270582939648 4194304 4964800 140735978370560 18446744073709551615 4668698 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=8039/tid=8068] ppid=8037 vsize=1340948 CPUtime=4.21 cores=0-31
/proc/8039/task/8068/stat : 8068 (claspmt) R 8037 8039 7499 0 -1 4202560 4572 0 0 0 407 14 0 0 19 0 32 0 42584118 1373130752 137874 270582939648 4194304 4964800 140735978370560 18446744073709551615 4465641 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=8039/tid=8069] ppid=8037 vsize=1340948 CPUtime=5 cores=0-31
/proc/8039/task/8069/stat : 8069 (claspmt) R 8037 8039 7499 0 -1 4202560 3850 0 0 0 490 10 0 0 22 0 32 0 42584119 1373130752 137874 270582939648 4194304 4964800 140735978370560 18446744073709551615 4669479 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=8039/tid=8070] ppid=8037 vsize=1340948 CPUtime=4.19 cores=0-31
/proc/8039/task/8070/stat : 8070 (claspmt) R 8037 8039 7499 0 -1 4202560 4638 0 0 0 407 12 0 0 19 0 32 0 42584119 1373130752 137874 270582939648 4194304 4964800 140735978370560 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=8039/tid=8071] ppid=8037 vsize=1340948 CPUtime=4.21 cores=0-31
/proc/8039/task/8071/stat : 8071 (claspmt) R 8037 8039 7499 0 -1 4202560 3985 0 0 0 406 15 0 0 18 0 32 0 42584119 1373130752 137874 270582939648 4194304 4964800 140735978370560 18446744073709551615 4668987 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 144.55
Current children cumulated vsize (KiB) 1340948

[startup+25.5024 s]
/proc/loadavg: 20.29 26.92 30.13 33/445 8073
/proc/meminfo: memFree=261328464/264257624 swapFree=67111528/67111528
[pid=8039] ppid=8037 vsize=1353308 CPUtime=553.03 cores=0-31
/proc/8039/stat : 8039 (claspmt) R 8037 8039 7499 0 -1 4202496 199002 0 0 0 54714 589 0 0 25 0 32 0 42583450 1385787392 196102 270582939648 4194304 4964800 140735978370560 18446744073709551615 4669350 0 0 4096 18946 18446744073709551615 0 0 17 11 0 0 0
/proc/8039/statm: 338327 196102 463 189 0 332676 0
[pid=8039/tid=8041] ppid=8037 vsize=1353308 CPUtime=16.95 cores=0-31
/proc/8039/task/8041/stat : 8041 (claspmt) R 8037 8039 7499 0 -1 4202560 4185 0 0 0 1681 14 0 0 25 0 32 0 42584117 1385787392 196102 270582939648 4194304 4964800 140735978370560 18446744073709551615 4670077 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=8039/tid=8042] ppid=8037 vsize=1353308 CPUtime=17.01 cores=0-31
/proc/8039/task/8042/stat : 8042 (claspmt) R 8037 8039 7499 0 -1 4202560 6377 0 0 0 1681 20 0 0 25 0 32 0 42584117 1385787392 196102 270582939648 4194304 4964800 140735978370560 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=8039/tid=8043] ppid=8037 vsize=1353308 CPUtime=17.03 cores=0-31
/proc/8039/task/8043/stat : 8043 (claspmt) R 8037 8039 7499 0 -1 4202560 4609 0 0 0 1685 18 0 0 25 0 32 0 42584117 1385787392 196102 270582939648 4194304 4964800 140735978370560 18446744073709551615 4668737 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=8039/tid=8044] ppid=8037 vsize=1353308 CPUtime=16.99 cores=0-31
/proc/8039/task/8044/stat : 8044 (claspmt) R 8037 8039 7499 0 -1 4202560 6288 0 0 0 1681 18 0 0 25 0 32 0 42584117 1385787392 196102 270582939648 4194304 4964800 140735978370560 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=8039/tid=8045] ppid=8037 vsize=1353308 CPUtime=17.82 cores=0-31
/proc/8039/task/8045/stat : 8045 (claspmt) R 8037 8039 7499 0 -1 4202560 3899 0 0 0 1771 11 0 0 25 0 32 0 42584117 1385787392 196102 270582939648 4194304 4964800 140735978370560 18446744073709551615 4669509 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=8039/tid=8046] ppid=8037 vsize=1353308 CPUtime=17 cores=0-31
/proc/8039/task/8046/stat : 8046 (claspmt) S 8037 8039 7499 0 -1 4202560 5833 0 0 0 1687 13 0 0 25 0 32 0 42584117 1385787392 196102 270582939648 4194304 4964800 140735978370560 18446744073709551615 258651060958 0 0 4096 18946 18446604500713651680 0 0 -1 0 0 0 0
[pid=8039/tid=8047] ppid=8037 vsize=1353308 CPUtime=16.72 cores=0-31
/proc/8039/task/8047/stat : 8047 (claspmt) R 8037 8039 7499 0 -1 4202560 10121 0 0 0 1638 34 0 0 25 0 32 0 42584117 1385787392 196102 270582939648 4194304 4964800 140735978370560 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=8039/tid=8048] ppid=8037 vsize=1353308 CPUtime=17.02 cores=0-31
/proc/8039/task/8048/stat : 8048 (claspmt) R 8037 8039 7499 0 -1 4202560 5732 0 0 0 1685 17 0 0 25 0 32 0 42584117 1385787392 196102 270582939648 4194304 4964800 140735978370560 18446744073709551615 4320848 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=8039/tid=8049] ppid=8037 vsize=1353308 CPUtime=17 cores=0-31
/proc/8039/task/8049/stat : 8049 (claspmt) R 8037 8039 7499 0 -1 4202560 4761 0 0 0 1681 19 0 0 25 0 32 0 42584117 1385787392 196102 270582939648 4194304 4964800 140735978370560 18446744073709551615 4668829 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=8039/tid=8050] ppid=8037 vsize=1353308 CPUtime=16.99 cores=0-31
/proc/8039/task/8050/stat : 8050 (claspmt) R 8037 8039 7499 0 -1 4202560 6592 0 0 0 1679 20 0 0 25 0 32 0 42584118 1385787392 196102 270582939648 4194304 4964800 140735978370560 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=8039/tid=8051] ppid=8037 vsize=1353308 CPUtime=16.89 cores=0-31
/proc/8039/task/8051/stat : 8051 (claspmt) R 8037 8039 7499 0 -1 4202560 5302 0 0 0 1672 17 0 0 25 0 32 0 42584118 1385787392 196102 270582939648 4194304 4964800 140735978370560 18446744073709551615 4669272 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=8039/tid=8052] ppid=8037 vsize=1353308 CPUtime=16.97 cores=0-31
/proc/8039/task/8052/stat : 8052 (claspmt) R 8037 8039 7499 0 -1 4202560 6357 0 0 0 1681 16 0 0 25 0 32 0 42584118 1385787392 196102 270582939648 4194304 4964800 140735978370560 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=8039/tid=8053] ppid=8037 vsize=1353308 CPUtime=17.79 cores=0-31
/proc/8039/task/8053/stat : 8053 (claspmt) R 8037 8039 7499 0 -1 4202560 3945 0 0 0 1769 10 0 0 25 0 32 0 42584118 1385787392 196102 270582939648 4194304 4964800 140735978370560 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=8039/tid=8054] ppid=8037 vsize=1353308 CPUtime=17 cores=0-31
/proc/8039/task/8054/stat : 8054 (claspmt) R 8037 8039 7499 0 -1 4202560 5787 0 0 0 1684 16 0 0 25 0 32 0 42584118 1385787392 196102 270582939648 4194304 4964800 140735978370560 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=8039/tid=8055] ppid=8037 vsize=1353308 CPUtime=16.95 cores=0-31
/proc/8039/task/8055/stat : 8055 (claspmt) R 8037 8039 7499 0 -1 4202560 9614 0 0 0 1658 37 0 0 25 0 32 0 42584118 1385787392 196102 270582939648 4194304 4964800 140735978370560 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=8039/tid=8056] ppid=8037 vsize=1353308 CPUtime=16.92 cores=0-31
/proc/8039/task/8056/stat : 8056 (claspmt) R 8037 8039 7499 0 -1 4202560 5782 0 0 0 1676 16 0 0 25 0 32 0 42584118 1385787392 196102 270582939648 4194304 4964800 140735978370560 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0

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

[pid=8039/tid=8046] ppid=8037 vsize=2765148 CPUtime=599.21 cores=0-31
/proc/8039/task/8046/stat : 8046 (claspmt) R 8037 8039 7499 0 -1 4202560 10216 0 0 0 59899 22 0 0 25 0 32 0 42584117 2831511552 576651 270582939648 4194304 4964800 140735978370560 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=8039/tid=8047] ppid=8037 vsize=2765148 CPUtime=598.7 cores=0-31
/proc/8039/task/8047/stat : 8047 (claspmt) R 8037 8039 7499 0 -1 4202560 58616 0 0 0 59659 211 0 0 25 0 32 0 42584117 2831511552 576651 270582939648 4194304 4964800 140735978370560 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=8039/tid=8048] ppid=8037 vsize=2765148 CPUtime=599.23 cores=0-31
/proc/8039/task/8048/stat : 8048 (claspmt) R 8037 8039 7499 0 -1 4202560 11168 0 0 0 59884 39 0 0 25 0 32 0 42584117 2831511552 576651 270582939648 4194304 4964800 140735978370560 18446744073709551615 4668709 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=8039/tid=8049] ppid=8037 vsize=2765148 CPUtime=599.18 cores=0-31
/proc/8039/task/8049/stat : 8049 (claspmt) R 8037 8039 7499 0 -1 4202560 11040 0 0 0 59883 35 0 0 25 0 32 0 42584117 2831511552 576651 270582939648 4194304 4964800 140735978370560 18446744073709551615 4320951 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=8039/tid=8050] ppid=8037 vsize=2765148 CPUtime=599.26 cores=0-31
/proc/8039/task/8050/stat : 8050 (claspmt) R 8037 8039 7499 0 -1 4202560 18175 0 0 0 59892 34 0 0 25 0 32 0 42584118 2831511552 576651 270582939648 4194304 4964800 140735978370560 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=8039/tid=8051] ppid=8037 vsize=2765148 CPUtime=595.2 cores=0-31
/proc/8039/task/8051/stat : 8051 (claspmt) R 8037 8039 7499 0 -1 4202560 10638 0 0 0 59485 35 0 0 25 0 32 0 42584118 2831511552 576651 270582939648 4194304 4964800 140735978370560 18446744073709551615 4669479 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=8039/tid=8052] ppid=8037 vsize=2765148 CPUtime=599.18 cores=0-31
/proc/8039/task/8052/stat : 8052 (claspmt) R 8037 8039 7499 0 -1 4202560 11735 0 0 0 59886 32 0 0 25 0 32 0 42584118 2831511552 576651 270582939648 4194304 4964800 140735978370560 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=8039/tid=8053] ppid=8037 vsize=2765148 CPUtime=600 cores=0-31
/proc/8039/task/8053/stat : 8053 (claspmt) R 8037 8039 7499 0 -1 4202560 12660 0 0 0 59964 36 0 0 25 0 32 0 42584118 2831511552 576651 270582939648 4194304 4964800 140735978370560 18446744073709551615 4670273 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=8039/tid=8054] ppid=8037 vsize=2765148 CPUtime=599.19 cores=0-31
/proc/8039/task/8054/stat : 8054 (claspmt) R 8037 8039 7499 0 -1 4202560 10250 0 0 0 59892 27 0 0 25 0 32 0 42584118 2831511552 576651 270582939648 4194304 4964800 140735978370560 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=8039/tid=8055] ppid=8037 vsize=2765148 CPUtime=599.08 cores=0-31
/proc/8039/task/8055/stat : 8055 (claspmt) R 8037 8039 7499 0 -1 4202560 58769 0 0 0 59689 219 0 0 25 0 32 0 42584118 2831511552 576651 270582939648 4194304 4964800 140735978370560 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=8039/tid=8056] ppid=8037 vsize=2765148 CPUtime=599.13 cores=0-31
/proc/8039/task/8056/stat : 8056 (claspmt) R 8037 8039 7499 0 -1 4202560 10087 0 0 0 59880 33 0 0 25 0 32 0 42584118 2831511552 576651 270582939648 4194304 4964800 140735978370560 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=8039/tid=8057] ppid=8037 vsize=2765148 CPUtime=599.2 cores=0-31
/proc/8039/task/8057/stat : 8057 (claspmt) R 8037 8039 7499 0 -1 4202560 9973 0 0 0 59890 30 0 0 25 0 32 0 42584118 2831511552 576651 270582939648 4194304 4964800 140735978370560 18446744073709551615 4670427 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=8039/tid=8058] ppid=8037 vsize=2765148 CPUtime=599.24 cores=0-31
/proc/8039/task/8058/stat : 8058 (claspmt) R 8037 8039 7499 0 -1 4202560 18048 0 0 0 59888 36 0 0 25 0 32 0 42584118 2831511552 576651 270582939648 4194304 4964800 140735978370560 18446744073709551615 4647774 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=8039/tid=8059] ppid=8037 vsize=2765148 CPUtime=599.19 cores=0-31
/proc/8039/task/8059/stat : 8059 (claspmt) R 8037 8039 7499 0 -1 4202560 10663 0 0 0 59888 31 0 0 25 0 32 0 42584118 2831511552 576651 270582939648 4194304 4964800 140735978370560 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=8039/tid=8060] ppid=8037 vsize=2765148 CPUtime=599.16 cores=0-31
/proc/8039/task/8060/stat : 8060 (claspmt) R 8037 8039 7499 0 -1 4202560 12525 0 0 0 59883 33 0 0 25 0 32 0 42584118 2831511552 576651 270582939648 4194304 4964800 140735978370560 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=8039/tid=8061] ppid=8037 vsize=2765148 CPUtime=598.26 cores=0-31
/proc/8039/task/8061/stat : 8061 (claspmt) R 8037 8039 7499 0 -1 4202560 14151 0 0 0 59787 39 0 0 25 0 32 0 42584118 2831511552 576651 270582939648 4194304 4964800 140735978370560 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=8039/tid=8062] ppid=8037 vsize=2765148 CPUtime=599.21 cores=0-31
/proc/8039/task/8062/stat : 8062 (claspmt) R 8037 8039 7499 0 -1 4202560 10533 0 0 0 59892 29 0 0 25 0 32 0 42584118 2831511552 576651 270582939648 4194304 4964800 140735978370560 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=8039/tid=8063] ppid=8037 vsize=2765148 CPUtime=599.11 cores=0-31
/proc/8039/task/8063/stat : 8063 (claspmt) R 8037 8039 7499 0 -1 4202560 60773 0 0 0 59704 207 0 0 25 0 32 0 42584118 2831511552 576651 270582939648 4194304 4964800 140735978370560 18446744073709551615 4668712 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=8039/tid=8064] ppid=8037 vsize=2765148 CPUtime=599.19 cores=0-31
/proc/8039/task/8064/stat : 8064 (claspmt) R 8037 8039 7499 0 -1 4202560 12071 0 0 0 59877 42 0 0 25 0 32 0 42584118 2831511552 576651 270582939648 4194304 4964800 140735978370560 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=8039/tid=8065] ppid=8037 vsize=2765148 CPUtime=592.49 cores=0-31
/proc/8039/task/8065/stat : 8065 (claspmt) R 8037 8039 7499 0 -1 4202560 10220 0 0 0 59221 28 0 0 25 0 32 0 42584118 2831511552 576651 270582939648 4194304 4964800 140735978370560 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=8039/tid=8066] ppid=8037 vsize=2765148 CPUtime=599.24 cores=0-31
/proc/8039/task/8066/stat : 8066 (claspmt) R 8037 8039 7499 0 -1 4202560 16774 0 0 0 59892 32 0 0 25 0 32 0 42584118 2831511552 576651 270582939648 4194304 4964800 140735978370560 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=8039/tid=8067] ppid=8037 vsize=2765148 CPUtime=599.19 cores=0-31
/proc/8039/task/8067/stat : 8067 (claspmt) R 8037 8039 7499 0 -1 4202560 10269 0 0 0 59888 31 0 0 25 0 32 0 42584118 2831511552 576651 270582939648 4194304 4964800 140735978370560 18446744073709551615 4669011 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=8039/tid=8068] ppid=8037 vsize=2765148 CPUtime=599.22 cores=0-31
/proc/8039/task/8068/stat : 8068 (claspmt) R 8037 8039 7499 0 -1 4202560 11956 0 0 0 59886 36 0 0 25 0 32 0 42584118 2831511552 576651 270582939648 4194304 4964800 140735978370560 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=8039/tid=8069] ppid=8037 vsize=2765148 CPUtime=598.09 cores=0-31
/proc/8039/task/8069/stat : 8069 (claspmt) R 8037 8039 7499 0 -1 4202560 12310 0 0 0 59769 40 0 0 25 0 32 0 42584119 2831511552 576651 270582939648 4194304 4964800 140735978370560 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=8039/tid=8070] ppid=8037 vsize=2765148 CPUtime=598.76 cores=0-31
/proc/8039/task/8070/stat : 8070 (claspmt) R 8037 8039 7499 0 -1 4202560 11136 0 0 0 59840 36 0 0 25 0 32 0 42584119 2831511552 576651 270582939648 4194304 4964800 140735978370560 18446744073709551615 4670407 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=8039/tid=8071] ppid=8037 vsize=2765148 CPUtime=599.03 cores=0-31
/proc/8039/task/8071/stat : 8071 (claspmt) R 8037 8039 7499 0 -1 4202560 55905 0 0 0 59717 186 0 0 25 0 32 0 42584119 2831511552 576651 270582939648 4194304 4964800 140735978370560 18446744073709551615 4627365 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 19166.6
Current children cumulated vsize (KiB) 2765148

[startup+611.102 s]
/proc/loadavg: 32.05 31.33 31.02 31/445 8098
/proc/meminfo: memFree=259806396/264257624 swapFree=67111528/67111528
[pid=8039] ppid=8037 vsize=2765148 CPUtime=19268.9 cores=0-31
/proc/8039/stat : 8039 (claspmt) R 8037 8039 7499 0 -1 4202496 584850 0 0 0 1925098 1792 0 0 25 0 32 0 42583450 2831511552 577093 270582939648 4194304 4964800 140735978370560 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 19 0 0 0
/proc/8039/statm: 691287 577093 463 189 0 685636 0
[pid=8039/tid=8041] ppid=8037 vsize=2765148 CPUtime=602.33 cores=0-31
/proc/8039/task/8041/stat : 8041 (claspmt) R 8037 8039 7499 0 -1 4202560 10382 0 0 0 60204 29 0 0 25 0 32 0 42584117 2831511552 577093 270582939648 4194304 4964800 140735978370560 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=8039/tid=8042] ppid=8037 vsize=2765148 CPUtime=602.39 cores=0-31
/proc/8039/task/8042/stat : 8042 (claspmt) R 8037 8039 7499 0 -1 4202560 19596 0 0 0 60198 41 0 0 25 0 32 0 42584117 2831511552 577093 270582939648 4194304 4964800 140735978370560 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=8039/tid=8043] ppid=8037 vsize=2765148 CPUtime=602.44 cores=0-31
/proc/8039/task/8043/stat : 8043 (claspmt) R 8037 8039 7499 0 -1 4202560 10131 0 0 0 60208 36 0 0 25 0 32 0 42584117 2831511552 577093 270582939648 4194304 4964800 140735978370560 18446744073709551615 4669276 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=8039/tid=8044] ppid=8037 vsize=2765148 CPUtime=602.42 cores=0-31
/proc/8039/task/8044/stat : 8044 (claspmt) R 8037 8039 7499 0 -1 4202560 13149 0 0 0 60204 38 0 0 25 0 32 0 42584117 2831511552 577093 270582939648 4194304 4964800 140735978370560 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=8039/tid=8045] ppid=8037 vsize=2765148 CPUtime=603.21 cores=0-31
/proc/8039/task/8045/stat : 8045 (claspmt) R 8037 8039 7499 0 -1 4202560 13059 0 0 0 60279 42 0 0 25 0 32 0 42584117 2831511552 577093 270582939648 4194304 4964800 140735978370560 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=8039/tid=8046] ppid=8037 vsize=2765148 CPUtime=602.41 cores=0-31
/proc/8039/task/8046/stat : 8046 (claspmt) R 8037 8039 7499 0 -1 4202560 10216 0 0 0 60219 22 0 0 25 0 32 0 42584117 2831511552 577093 270582939648 4194304 4964800 140735978370560 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=8039/tid=8047] ppid=8037 vsize=2765148 CPUtime=601.9 cores=0-31
/proc/8039/task/8047/stat : 8047 (claspmt) R 8037 8039 7499 0 -1 4202560 58616 0 0 0 59979 211 0 0 25 0 32 0 42584117 2831511552 577093 270582939648 4194304 4964800 140735978370560 18446744073709551615 4670520 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=8039/tid=8048] ppid=8037 vsize=2765148 CPUtime=602.43 cores=0-31
/proc/8039/task/8048/stat : 8048 (claspmt) R 8037 8039 7499 0 -1 4202560 11175 0 0 0 60204 39 0 0 25 0 32 0 42584117 2831511552 577093 270582939648 4194304 4964800 140735978370560 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=8039/tid=8049] ppid=8037 vsize=2765148 CPUtime=602.38 cores=0-31
/proc/8039/task/8049/stat : 8049 (claspmt) R 8037 8039 7499 0 -1 4202560 11043 0 0 0 60203 35 0 0 25 0 32 0 42584117 2831511552 577093 270582939648 4194304 4964800 140735978370560 18446744073709551615 258650653507 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=8039/tid=8050] ppid=8037 vsize=2765148 CPUtime=602.46 cores=0-31
/proc/8039/task/8050/stat : 8050 (claspmt) R 8037 8039 7499 0 -1 4202560 18187 0 0 0 60212 34 0 0 25 0 32 0 42584118 2831511552 577093 270582939648 4194304 4964800 140735978370560 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=8039/tid=8051] ppid=8037 vsize=2765148 CPUtime=598.31 cores=0-31
/proc/8039/task/8051/stat : 8051 (claspmt) R 8037 8039 7499 0 -1 4202560 10648 0 0 0 59796 35 0 0 25 0 32 0 42584118 2831511552 577093 270582939648 4194304 4964800 140735978370560 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=8039/tid=8052] ppid=8037 vsize=2765148 CPUtime=602.38 cores=0-31
/proc/8039/task/8052/stat : 8052 (claspmt) R 8037 8039 7499 0 -1 4202560 11735 0 0 0 60206 32 0 0 25 0 32 0 42584118 2831511552 577093 270582939648 4194304 4964800 140735978370560 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=8039/tid=8053] ppid=8037 vsize=2765148 CPUtime=603.2 cores=0-31
/proc/8039/task/8053/stat : 8053 (claspmt) R 8037 8039 7499 0 -1 4202560 12665 0 0 0 60284 36 0 0 25 0 32 0 42584118 2831511552 577093 270582939648 4194304 4964800 140735978370560 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=8039/tid=8054] ppid=8037 vsize=2765148 CPUtime=602.39 cores=0-31
/proc/8039/task/8054/stat : 8054 (claspmt) R 8037 8039 7499 0 -1 4202560 10250 0 0 0 60212 27 0 0 25 0 32 0 42584118 2831511552 577093 270582939648 4194304 4964800 140735978370560 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=8039/tid=8055] ppid=8037 vsize=2765148 CPUtime=602.28 cores=0-31
/proc/8039/task/8055/stat : 8055 (claspmt) R 8037 8039 7499 0 -1 4202560 58971 0 0 0 60009 219 0 0 25 0 32 0 42584118 2831511552 577093 270582939648 4194304 4964800 140735978370560 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=8039/tid=8056] ppid=8037 vsize=2765148 CPUtime=602.33 cores=0-31
/proc/8039/task/8056/stat : 8056 (claspmt) R 8037 8039 7499 0 -1 4202560 10087 0 0 0 60200 33 0 0 25 0 32 0 42584118 2831511552 577093 270582939648 4194304 4964800 140735978370560 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=8039/tid=8057] ppid=8037 vsize=2765148 CPUtime=602.4 cores=0-31
/proc/8039/task/8057/stat : 8057 (claspmt) R 8037 8039 7499 0 -1 4202560 9973 0 0 0 60210 30 0 0 25 0 32 0 42584118 2831511552 577093 270582939648 4194304 4964800 140735978370560 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=8039/tid=8058] ppid=8037 vsize=2765148 CPUtime=602.44 cores=0-31
/proc/8039/task/8058/stat : 8058 (claspmt) R 8037 8039 7499 0 -1 4202560 18052 0 0 0 60208 36 0 0 25 0 32 0 42584118 2831511552 577093 270582939648 4194304 4964800 140735978370560 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=8039/tid=8059] ppid=8037 vsize=2765148 CPUtime=602.39 cores=0-31
/proc/8039/task/8059/stat : 8059 (claspmt) R 8037 8039 7499 0 -1 4202560 10663 0 0 0 60208 31 0 0 25 0 32 0 42584118 2831511552 577093 270582939648 4194304 4964800 140735978370560 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=8039/tid=8060] ppid=8037 vsize=2765148 CPUtime=602.36 cores=0-31
/proc/8039/task/8060/stat : 8060 (claspmt) R 8037 8039 7499 0 -1 4202560 12525 0 0 0 60203 33 0 0 25 0 32 0 42584118 2831511552 577093 270582939648 4194304 4964800 140735978370560 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=8039/tid=8061] ppid=8037 vsize=2765148 CPUtime=601.46 cores=0-31
/proc/8039/task/8061/stat : 8061 (claspmt) R 8037 8039 7499 0 -1 4202560 14151 0 0 0 60107 39 0 0 25 0 32 0 42584118 2831511552 577093 270582939648 4194304 4964800 140735978370560 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=8039/tid=8062] ppid=8037 vsize=2765148 CPUtime=602.41 cores=0-31
/proc/8039/task/8062/stat : 8062 (claspmt) R 8037 8039 7499 0 -1 4202560 10533 0 0 0 60212 29 0 0 25 0 32 0 42584118 2831511552 577093 270582939648 4194304 4964800 140735978370560 18446744073709551615 4320976 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=8039/tid=8063] ppid=8037 vsize=2765148 CPUtime=602.31 cores=0-31
/proc/8039/task/8063/stat : 8063 (claspmt) R 8037 8039 7499 0 -1 4202560 60773 0 0 0 60024 207 0 0 25 0 32 0 42584118 2831511552 577093 270582939648 4194304 4964800 140735978370560 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=8039/tid=8064] ppid=8037 vsize=2765148 CPUtime=602.39 cores=0-31
/proc/8039/task/8064/stat : 8064 (claspmt) R 8037 8039 7499 0 -1 4202560 12071 0 0 0 60197 42 0 0 25 0 32 0 42584118 2831511552 577093 270582939648 4194304 4964800 140735978370560 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=8039/tid=8065] ppid=8037 vsize=2765148 CPUtime=595.69 cores=0-31
/proc/8039/task/8065/stat : 8065 (claspmt) R 8037 8039 7499 0 -1 4202560 10222 0 0 0 59541 28 0 0 25 0 32 0 42584118 2831511552 577093 270582939648 4194304 4964800 140735978370560 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=8039/tid=8066] ppid=8037 vsize=2765148 CPUtime=602.44 cores=0-31
/proc/8039/task/8066/stat : 8066 (claspmt) R 8037 8039 7499 0 -1 4202560 16901 0 0 0 60212 32 0 0 25 0 32 0 42584118 2831511552 577093 270582939648 4194304 4964800 140735978370560 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=8039/tid=8067] ppid=8037 vsize=2765148 CPUtime=602.39 cores=0-31
/proc/8039/task/8067/stat : 8067 (claspmt) R 8037 8039 7499 0 -1 4202560 10271 0 0 0 60208 31 0 0 25 0 32 0 42584118 2831511552 577093 270582939648 4194304 4964800 140735978370560 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=8039/tid=8068] ppid=8037 vsize=2765148 CPUtime=602.41 cores=0-31
/proc/8039/task/8068/stat : 8068 (claspmt) R 8037 8039 7499 0 -1 4202560 11956 0 0 0 60205 36 0 0 25 0 32 0 42584118 2831511552 577093 270582939648 4194304 4964800 140735978370560 18446744073709551615 4670437 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=8039/tid=8069] ppid=8037 vsize=2765148 CPUtime=601.28 cores=0-31
/proc/8039/task/8069/stat : 8069 (claspmt) R 8037 8039 7499 0 -1 4202560 12315 0 0 0 60088 40 0 0 25 0 32 0 42584119 2831511552 577093 270582939648 4194304 4964800 140735978370560 18446744073709551615 4670361 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=8039/tid=8070] ppid=8037 vsize=2765148 CPUtime=601.95 cores=0-31
/proc/8039/task/8070/stat : 8070 (claspmt) R 8037 8039 7499 0 -1 4202560 11136 0 0 0 60159 36 0 0 25 0 32 0 42584119 2831511552 577093 270582939648 4194304 4964800 140735978370560 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=8039/tid=8071] ppid=8037 vsize=2765148 CPUtime=602.23 cores=0-31
/proc/8039/task/8071/stat : 8071 (claspmt) R 8037 8039 7499 0 -1 4202560 55948 0 0 0 60037 186 0 0 25 0 32 0 42584119 2831511552 577093 270582939648 4194304 4964800 140735978370560 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 19268.9
Current children cumulated vsize (KiB) 2765148

[startup+614.301 s]
/proc/loadavg: 32.12 31.36 31.03 2/415 8098
/proc/meminfo: memFree=259805008/264257624 swapFree=67111528/67111528
[pid=8039] ppid=8037 vsize=2673972 CPUtime=19308.3 cores=0-31
/proc/8039/stat : 8039 (claspmt) R 8037 8039 7499 0 -1 4202496 584874 0 0 0 1928949 1883 0 0 16 0 1 0 42583450 2738147328 576808 270582939648 4194304 4964800 140735978370560 18446744073709551615 258650610907 0 0 4096 18946 0 0 0 17 19 0 0 0
/proc/8039/statm: 668493 576808 474 189 0 662842 0
Current children cumulated CPU time (s) 19308.3
Current children cumulated vsize (KiB) 2673972

[startup+615.101 s]
/proc/loadavg: 32.12 31.36 31.03 2/414 8098
/proc/meminfo: memFree=259809728/264257624 swapFree=67111528/67111528
[pid=8039] ppid=8037 vsize=2601140 CPUtime=19309.1 cores=0-31
/proc/8039/stat : 8039 (claspmt) R 8037 8039 7499 0 -1 4202496 584874 0 0 0 1929029 1883 0 0 16 0 1 0 42583450 2663567360 574558 270582939648 4194304 4964800 140735978370560 18446744073709551615 4646607 0 0 4096 18946 0 0 0 17 19 0 0 0
/proc/8039/statm: 650285 574558 474 189 0 644634 0
Current children cumulated CPU time (s) 19309.1
Current children cumulated vsize (KiB) 2601140

[startup+615.501 s]
/proc/loadavg: 32.12 31.36 31.03 2/414 8098
/proc/meminfo: memFree=259809728/264257624 swapFree=67111528/67111528
[pid=8039] ppid=8037 vsize=2597492 CPUtime=19309.5 cores=0-31
/proc/8039/stat : 8039 (claspmt) R 8037 8039 7499 0 -1 4202496 584874 0 0 0 1929069 1883 0 0 17 0 1 0 42583450 2659831808 572759 270582939648 4194304 4964800 140735978370560 18446744073709551615 258650610907 0 0 4096 18946 0 0 0 17 19 0 0 0
/proc/8039/statm: 649373 572759 474 189 0 643722 0
Current children cumulated CPU time (s) 19309.5
Current children cumulated vsize (KiB) 2597492

[startup+615.701 s]
/proc/loadavg: 32.12 31.36 31.03 2/414 8098
/proc/meminfo: memFree=259809728/264257624 swapFree=67111528/67111528
[pid=8039] ppid=8037 vsize=2593844 CPUtime=19309.7 cores=0-31
/proc/8039/stat : 8039 (claspmt) R 8037 8039 7499 0 -1 4202496 584874 0 0 0 1929089 1883 0 0 17 0 1 0 42583450 2656096256 566707 270582939648 4194304 4964800 140735978370560 18446744073709551615 258650604936 0 0 4096 18946 0 0 0 17 19 0 0 0
/proc/8039/statm: 648461 566622 474 189 0 642810 0
Current children cumulated CPU time (s) 19309.7
Current children cumulated vsize (KiB) 2593844

[startup+615.801 s]
/proc/loadavg: 32.12 31.36 31.03 2/414 8098
/proc/meminfo: memFree=259809728/264257624 swapFree=67111528/67111528
[pid=8039] ppid=8037 vsize=1762804 CPUtime=19309.8 cores=0-31
/proc/8039/stat : 8039 (claspmt) R 8037 8039 7499 0 -1 4202496 584874 0 0 0 1929090 1891 0 0 17 0 1 0 42583450 1805111296 264197 270582939648 4194304 4964800 140735978370560 18446744073709551615 258650999159 0 0 4096 18946 0 0 0 17 19 0 0 0
/proc/8039/statm: 440701 264197 474 189 0 435050 0
Current children cumulated CPU time (s) 19309.8
Current children cumulated vsize (KiB) 1762804

Child status: 20
Real time (s): 615.883
CPU time (s): 19309.9
CPU user time (s): 19290.9
CPU system time (s): 18.9951
CPU usage (%): 3135.32
Max. virtual memory (cumulated for all children) (KiB): 2765148

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19290.9
system time used= 18.9951
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 584875
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= 328555
involuntary context switches= 43602

runsolver used 3.44848 second user time and 13.9559 second system time

The end

Launcher Data 

Begin job on node200 at 2011-06-11 07:59:26
IDJOB=3472488
IDBENCH=83446
IDSOLVER=1961
FILE ID=node200/3472488-1307771965
RUNJOBID= node200-1307771776-7513
PBS_JOBID= 13550738
Free space on /tmp= 61736 MiB

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

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

MD5SUM BENCH= 47bea79e2bf12e18e409c2c4bd6fac03
RANDOM SEED=374669662

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:      262107520 kB
Buffers:        285052 kB
Cached:        1536036 kB
SwapCached:          0 kB
Active:         315444 kB
Inactive:      1569516 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      262107520 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            7808 kB
Writeback:           4 kB
AnonPages:       64284 kB
Mapped:          14352 kB
Slab:           185268 kB
PageTables:       6196 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   158636 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= 61732 MiB
End job on node200 at 2011-06-11 08:09:42