Trace number 3472263

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)? (TO) 160005 5050.44

General information on the benchmark

Nameindustrial/anbulagan/
hard-unsat/partial-5-11-u.cnf
MD5SUM8e22d84b1ae625d44fbf300a32374a2d
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables164158
Number of clauses730719
Sum of the clauses size1660140
Maximum clause length10
Minimum clause length1
Number of clauses of size 112474
Number of clauses of size 2600009
Number of clauses of size 387256
Number of clauses of size 43440
Number of clauses of size 513760
Number of clauses of size over 513780

Solver Data 

0.00/0.00	c clasp version 2.0.0-RC2
0.00/0.00	c Reading from ...354122/instance-3472263-1307354122.cnf
1.39/1.46	c Solving...
160001.47/5047.52	
160001.47/5047.52	*** INTERRUPTED! ***
160001.47/5047.52	*** Shutting down threads...

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3472263-1307354122/watcher-3472263-1307354122 -o /tmp/evaluation-result-3472263-1307354122/solver-3472263-1307354122 -C 160000 -W 5100 -M 256000 HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472263-1307354122.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: 29.24 31.12 28.33 1/413 8797
/proc/meminfo: memFree=263707344/264257624 swapFree=67111528/67111528
[pid=8797] ppid=8795 vsize=41724 CPUtime=0.03 cores=0-31
/proc/8797/stat : 8797 (claspmt) R 8795 8797 8771 0 -1 4202496 5060 0 0 0 2 1 0 0 22 0 1 0 799164 42725376 4990 270582939648 4194304 4964800 140734379044464 18446744073709551615 4700412 0 0 4096 18946 0 0 0 17 20 0 0 0
/proc/8797/statm: 10431 4998 373 189 0 5305 0

[startup+0.116806 s]
/proc/loadavg: 29.24 31.12 28.33 1/413 8797
/proc/meminfo: memFree=263707344/264257624 swapFree=67111528/67111528
[pid=8797] ppid=8795 vsize=62592 CPUtime=0.11 cores=0-31
/proc/8797/stat : 8797 (claspmt) R 8795 8797 8771 0 -1 4202496 13038 0 0 0 9 2 0 0 22 0 1 0 799164 64094208 10536 270582939648 4194304 4964800 140734379044464 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 20 0 0 0
/proc/8797/statm: 15648 10538 383 189 0 10522 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 62592

[startup+0.200794 s]
/proc/loadavg: 29.24 31.12 28.33 1/413 8797
/proc/meminfo: memFree=263707344/264257624 swapFree=67111528/67111528
[pid=8797] ppid=8795 vsize=74608 CPUtime=0.19 cores=0-31
/proc/8797/stat : 8797 (claspmt) R 8795 8797 8771 0 -1 4202496 17278 0 0 0 16 3 0 0 22 0 1 0 799164 76398592 13256 270582939648 4194304 4964800 140734379044464 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 20 0 0 0
/proc/8797/statm: 18652 13259 383 189 0 13526 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 74608

[startup+0.300796 s]
/proc/loadavg: 29.24 31.12 28.33 1/413 8797
/proc/meminfo: memFree=263707344/264257624 swapFree=67111528/67111528
[pid=8797] ppid=8795 vsize=94080 CPUtime=0.29 cores=0-31
/proc/8797/stat : 8797 (claspmt) R 8795 8797 8771 0 -1 4202496 24950 0 0 0 25 4 0 0 23 0 1 0 799164 96337920 17916 270582939648 4194304 4964800 140734379044464 18446744073709551615 4618467 0 0 4096 18946 0 0 0 17 20 0 0 0
/proc/8797/statm: 23520 17917 397 189 0 18394 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 94080

[startup+0.70083 s]
/proc/loadavg: 29.24 31.12 28.33 1/413 8797
/proc/meminfo: memFree=263707344/264257624 swapFree=67111528/67111528
[pid=8797] ppid=8795 vsize=110524 CPUtime=0.69 cores=0-31
/proc/8797/stat : 8797 (claspmt) R 8795 8797 8771 0 -1 4202496 28868 0 0 0 64 5 0 0 25 0 1 0 799164 113176576 21834 270582939648 4194304 4964800 140734379044464 18446744073709551615 4624084 0 0 4096 18946 0 0 0 17 20 0 0 0
/proc/8797/statm: 27631 21834 401 189 0 22505 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 110524

[startup+1.50074 s]
/proc/loadavg: 29.24 31.12 28.33 2/414 8798
/proc/meminfo: memFree=263620776/264257624 swapFree=67111528/67111528
[pid=8797] ppid=8795 vsize=519280 CPUtime=1.9 cores=0-31
/proc/8797/stat : 8797 (claspmt) S 8795 8797 8771 0 -1 4202496 36443 0 0 0 144 46 0 0 19 0 32 0 799164 531742720 26261 270582939648 4194304 4964800 140734379044464 18446744073709551615 258662772457 0 0 4096 18946 18446744073709551615 0 0 17 28 0 0 0
/proc/8797/statm: 129820 26264 428 189 0 124169 0
Current children cumulated CPU time (s) 1.9
Current children cumulated vsize (KiB) 519280

[startup+3.10286 s]
/proc/loadavg: 29.24 31.12 28.33 3/445 8829
/proc/meminfo: memFree=263280520/264257624 swapFree=67111528/67111528
[pid=8797] ppid=8795 vsize=1933032 CPUtime=21.24 cores=0-31
/proc/8797/stat : 8797 (claspmt) S 8795 8797 8771 0 -1 4202496 217780 0 0 0 527 1597 0 0 19 0 32 0 799164 1979424768 167960 270582939648 4194304 4964800 140734379044464 18446744073709551615 258662772457 0 0 4096 18946 18446744073709551615 0 0 17 28 0 0 0
/proc/8797/statm: 483258 167960 440 189 0 477607 0
[pid=8797/tid=8799] ppid=8795 vsize=1933032 CPUtime=0.5 cores=0-31
/proc/8797/task/8799/stat : 8799 (claspmt) S 8795 8797 8771 0 -1 4202560 4622 0 0 0 5 45 0 0 18 0 32 0 799312 1979424768 167960 270582939648 4194304 4964800 140734379044464 18446744073709551615 258662772457 0 0 4096 18946 18446604505724214752 0 0 -1 27 0 0 0
[pid=8797/tid=8800] ppid=8795 vsize=1933032 CPUtime=0.65 cores=0-31
/proc/8797/task/8800/stat : 8800 (claspmt) S 8795 8797 8771 0 -1 4202560 6693 0 0 0 12 53 0 0 18 0 32 0 799312 1979424768 167960 270582939648 4194304 4964800 140734379044464 18446744073709551615 258662772457 0 0 4096 18946 18446604505767673312 0 0 -1 2 0 0 0
[pid=8797/tid=8801] ppid=8795 vsize=1933032 CPUtime=0.65 cores=0-31
/proc/8797/task/8801/stat : 8801 (claspmt) S 8795 8797 8771 0 -1 4202560 6463 0 0 0 10 55 0 0 18 0 32 0 799312 1979424768 167960 270582939648 4194304 4964800 140734379044464 18446744073709551615 258662772457 0 0 4096 18946 18446604505241181664 0 0 -1 19 0 0 0
[pid=8797/tid=8802] ppid=8795 vsize=1933032 CPUtime=0.53 cores=0-31
/proc/8797/task/8802/stat : 8802 (claspmt) S 8795 8797 8771 0 -1 4202560 5178 0 0 0 5 48 0 0 18 0 32 0 799312 1979424768 167960 270582939648 4194304 4964800 140734379044464 18446744073709551615 258662772457 0 0 4096 18946 18446604504357731808 0 0 -1 16 0 0 0
[pid=8797/tid=8803] ppid=8795 vsize=1933032 CPUtime=0.78 cores=0-31
/proc/8797/task/8803/stat : 8803 (claspmt) R 8795 8797 8771 0 -1 4202560 6214 0 0 0 27 51 0 0 18 0 32 0 799312 1979424768 167960 270582939648 4194304 4964800 140734379044464 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=8797/tid=8804] ppid=8795 vsize=1933032 CPUtime=0.66 cores=0-31
/proc/8797/task/8804/stat : 8804 (claspmt) S 8795 8797 8771 0 -1 4202560 6702 0 0 0 12 54 0 0 18 0 32 0 799312 1979424768 167960 270582939648 4194304 4964800 140734379044464 18446744073709551615 258662772457 0 0 4096 18946 18446604504263843296 0 0 -1 6 0 0 0
[pid=8797/tid=8805] ppid=8795 vsize=1933032 CPUtime=0.66 cores=0-31
/proc/8797/task/8805/stat : 8805 (claspmt) S 8795 8797 8771 0 -1 4202560 6653 0 0 0 13 53 0 0 18 0 32 0 799312 1979424768 167960 270582939648 4194304 4964800 140734379044464 18446744073709551615 258662772457 0 0 4096 18946 18446604505657777632 0 0 -1 8 0 0 0
[pid=8797/tid=8806] ppid=8795 vsize=1933032 CPUtime=0.54 cores=0-31
/proc/8797/task/8806/stat : 8806 (claspmt) S 8795 8797 8771 0 -1 4202560 4930 0 0 0 6 48 0 0 18 0 32 0 799312 1979424768 167960 270582939648 4194304 4964800 140734379044464 18446744073709551615 258662772457 0 0 4096 18946 18446604505767648736 0 0 -1 28 0 0 0
[pid=8797/tid=8807] ppid=8795 vsize=1933032 CPUtime=0.63 cores=0-31
/proc/8797/task/8807/stat : 8807 (claspmt) S 8795 8797 8771 0 -1 4202560 5432 0 0 0 7 56 0 0 18 0 32 0 799312 1979424768 167960 270582939648 4194304 4964800 140734379044464 18446744073709551615 258662772457 0 0 4096 18946 18446604505227337184 0 0 -1 0 0 0 0
[pid=8797/tid=8808] ppid=8795 vsize=1933032 CPUtime=0.67 cores=0-31
/proc/8797/task/8808/stat : 8808 (claspmt) S 8795 8797 8771 0 -1 4202560 6708 0 0 0 11 56 0 0 18 0 32 0 799312 1979424768 167960 270582939648 4194304 4964800 140734379044464 18446744073709551615 258662772457 0 0 4096 18946 18446604504109530592 0 0 -1 13 0 0 0
[pid=8797/tid=8809] ppid=8795 vsize=1933032 CPUtime=0.6 cores=0-31
/proc/8797/task/8809/stat : 8809 (claspmt) S 8795 8797 8771 0 -1 4202560 6834 0 0 0 10 50 0 0 18 0 32 0 799312 1979424768 167960 270582939648 4194304 4964800 140734379044464 18446744073709551615 258662772457 0 0 4096 18946 18446604504109522400 0 0 -1 7 0 0 0
[pid=8797/tid=8810] ppid=8795 vsize=1933032 CPUtime=0.53 cores=0-31
/proc/8797/task/8810/stat : 8810 (claspmt) S 8795 8797 8771 0 -1 4202560 5036 0 0 0 6 47 0 0 18 0 32 0 799312 1979424768 167960 270582939648 4194304 4964800 140734379044464 18446744073709551615 258662772457 0 0 4096 18946 18446604504920399328 0 0 -1 12 0 0 0
[pid=8797/tid=8811] ppid=8795 vsize=1933032 CPUtime=0.81 cores=0-31
/proc/8797/task/8811/stat : 8811 (claspmt) R 8795 8797 8771 0 -1 4202560 6291 0 0 0 28 53 0 0 18 0 32 0 799312 1979424768 167960 270582939648 4194304 4964800 140734379044464 18446744073709551615 4399302 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=8797/tid=8812] ppid=8795 vsize=1933032 CPUtime=0.62 cores=0-31
/proc/8797/task/8812/stat : 8812 (claspmt) S 8795 8797 8771 0 -1 4202560 6487 0 0 0 11 51 0 0 18 0 32 0 799312 1979424768 167960 270582939648 4194304 4964800 140734379044464 18446744073709551615 258662772457 0 0 4096 18946 18446604505804758496 0 0 -1 10 0 0 0
[pid=8797/tid=8813] ppid=8795 vsize=1933032 CPUtime=0.66 cores=0-31
/proc/8797/task/8813/stat : 8813 (claspmt) S 8795 8797 8771 0 -1 4202560 6612 0 0 0 14 52 0 0 18 0 32 0 799312 1979424768 167960 270582939648 4194304 4964800 140734379044464 18446744073709551615 258662772457 0 0 4096 18946 18446604505378577888 0 0 -1 26 0 0 0
[pid=8797/tid=8814] ppid=8795 vsize=1933032 CPUtime=0.55 cores=0-31
/proc/8797/task/8814/stat : 8814 (claspmt) S 8795 8797 8771 0 -1 4202560 5551 0 0 0 4 51 0 0 18 0 32 0 799312 1979424768 167960 270582939648 4194304 4964800 140734379044464 18446744073709551615 258662772457 0 0 4096 18946 18446604505657785824 0 0 -1 24 0 0 0
[pid=8797/tid=8815] ppid=8795 vsize=1933032 CPUtime=0.55 cores=0-31
/proc/8797/task/8815/stat : 8815 (claspmt) S 8795 8797 8771 0 -1 4202560 5415 0 0 0 5 50 0 0 18 0 32 0 799312 1979424768 167960 270582939648 4194304 4964800 140734379044464 18446744073709551615 258662772457 0 0 4096 18946 18446604505378545120 0 0 -1 20 0 0 0
[pid=8797/tid=8816] ppid=8795 vsize=1933032 CPUtime=0.66 cores=0-31
/proc/8797/task/8816/stat : 8816 (claspmt) S 8795 8797 8771 0 -1 4202560 6827 0 0 0 10 56 0 0 18 0 32 0 799312 1979424768 167960 270582939648 4194304 4964800 140734379044464 18446744073709551615 258662772457 0 0 4096 18946 18446604505378561504 0 0 -1 23 0 0 0
[pid=8797/tid=8817] ppid=8795 vsize=1933032 CPUtime=0.63 cores=0-31
/proc/8797/task/8817/stat : 8817 (claspmt) S 8795 8797 8771 0 -1 4202560 6929 0 0 0 11 52 0 0 18 0 32 0 799312 1979424768 167960 270582939648 4194304 4964800 140734379044464 18446744073709551615 258662772457 0 0 4096 18946 18446604505724206560 0 0 -1 5 0 0 0
[pid=8797/tid=8818] ppid=8795 vsize=1933032 CPUtime=0.52 cores=0-31
/proc/8797/task/8818/stat : 8818 (claspmt) S 8795 8797 8771 0 -1 4202560 5422 0 0 0 5 47 0 0 18 0 32 0 799312 1979424768 167960 270582939648 4194304 4964800 140734379044464 18446744073709551615 258662772457 0 0 4096 18946 18446604504109546976 0 0 -1 11 0 0 0
[pid=8797/tid=8819] ppid=8795 vsize=1933032 CPUtime=0.79 cores=0-31
/proc/8797/task/8819/stat : 8819 (claspmt) R 8795 8797 8771 0 -1 4202560 6133 0 0 0 25 54 0 0 18 0 32 0 799312 1979424768 167960 270582939648 4194304 4964800 140734379044464 18446744073709551615 4669026 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=8797/tid=8820] ppid=8795 vsize=1933032 CPUtime=0.64 cores=0-31
/proc/8797/task/8820/stat : 8820 (claspmt) S 8795 8797 8771 0 -1 4202560 6877 0 0 0 11 53 0 0 18 0 32 0 799312 1979424768 167960 270582939648 4194304 4964800 140734379044464 18446744073709551615 258662772457 0 0 4096 18946 18446604505804717536 0 0 -1 14 0 0 0
[pid=8797/tid=8821] ppid=8795 vsize=1933032 CPUtime=0.55 cores=0-31
/proc/8797/task/8821/stat : 8821 (claspmt) S 8795 8797 8771 0 -1 4202560 5628 0 0 0 14 41 0 0 18 0 32 0 799312 1979424768 167960 270582939648 4194304 4964800 140734379044464 18446744073709551615 258662772457 0 0 4096 18946 18446604575109799392 0 0 -1 13 0 0 0
[pid=8797/tid=8822] ppid=8795 vsize=1933032 CPUtime=0.55 cores=0-31
/proc/8797/task/8822/stat : 8822 (claspmt) S 8795 8797 8771 0 -1 4202560 5443 0 0 0 6 49 0 0 18 0 32 0 799313 1979424768 167960 270582939648 4194304 4964800 140734379044464 18446744073709551615 258662772457 0 0 4096 18946 18446604505535749600 0 0 -1 18 0 0 0
[pid=8797/tid=8823] ppid=8795 vsize=1933032 CPUtime=0.5 cores=0-31
/proc/8797/task/8823/stat : 8823 (claspmt) S 8795 8797 8771 0 -1 4202560 5236 0 0 0 5 45 0 0 18 0 32 0 799313 1979424768 167960 270582939648 4194304 4964800 140734379044464 18446744073709551615 258662772457 0 0 4096 18946 18446604503969078752 0 0 -1 21 0 0 0
[pid=8797/tid=8824] ppid=8795 vsize=1933032 CPUtime=0.62 cores=0-31
/proc/8797/task/8824/stat : 8824 (claspmt) S 8795 8797 8771 0 -1 4202560 6649 0 0 0 10 52 0 0 18 0 32 0 799313 1979424768 167960 270582939648 4194304 4964800 140734379044464 18446744073709551615 258662772457 0 0 4096 18946 18446604505472212448 0 0 -1 30 0 0 0
[pid=8797/tid=8825] ppid=8795 vsize=1933032 CPUtime=0.63 cores=0-31
/proc/8797/task/8825/stat : 8825 (claspmt) S 8795 8797 8771 0 -1 4202560 6892 0 0 0 10 53 0 0 18 0 32 0 799313 1979424768 167960 270582939648 4194304 4964800 140734379044464 18446744073709551615 258662772457 0 0 4096 18946 18446604505088925152 0 0 -1 4 0 0 0
[pid=8797/tid=8826] ppid=8795 vsize=1933032 CPUtime=0.55 cores=0-31
/proc/8797/task/8826/stat : 8826 (claspmt) S 8795 8797 8771 0 -1 4202560 5082 0 0 0 5 50 0 0 18 0 32 0 799313 1979424768 167960 270582939648 4194304 4964800 140734379044464 18446744073709551615 258662772457 0 0 4096 18946 18446604504357723616 0 0 -1 22 0 0 0
[pid=8797/tid=8827] ppid=8795 vsize=1933032 CPUtime=0.93 cores=0-31
/proc/8797/task/8827/stat : 8827 (claspmt) R 8795 8797 8771 0 -1 4202560 5720 0 0 0 44 49 0 0 18 0 32 0 799313 1979424768 167960 270582939648 4194304 4964800 140734379044464 18446744073709551615 4668715 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=8797/tid=8828] ppid=8795 vsize=1933032 CPUtime=0.6 cores=0-31
/proc/8797/task/8828/stat : 8828 (claspmt) S 8795 8797 8771 0 -1 4202560 6948 0 0 0 11 49 0 0 18 0 32 0 799313 1979424768 167960 270582939648 4194304 4964800 140734379044464 18446744073709551615 258662772457 0 0 4096 18946 18446604505378569696 0 0 -1 11 0 0 0
[pid=8797/tid=8829] ppid=8795 vsize=1933032 CPUtime=0.65 cores=0-31
/proc/8797/task/8829/stat : 8829 (claspmt) S 8795 8797 8771 0 -1 4202560 6710 0 0 0 12 53 0 0 18 0 32 0 799313 1979424768 167960 270582939648 4194304 4964800 140734379044464 18446744073709551615 258662772457 0 0 4096 18946 18446604505472204256 0 0 -1 25 0 0 0
Current children cumulated CPU time (s) 21.24
Current children cumulated vsize (KiB) 1933032

[startup+6.30197 s]
/proc/loadavg: 27.22 30.67 28.20 5/445 8829
/proc/meminfo: memFree=263033920/264257624 swapFree=67111528/67111528
[pid=8797] ppid=8795 vsize=1933032 CPUtime=34.02 cores=0-31
/proc/8797/stat : 8797 (claspmt) S 8795 8797 8771 0 -1 4202496 218893 0 0 0 1804 1598 0 0 19 0 32 0 799164 1979424768 169073 270582939648 4194304 4964800 140734379044464 18446744073709551615 258662772457 0 0 4096 18946 18446744073709551615 0 0 17 28 0 0 0
/proc/8797/statm: 483258 169073 440 189 0 477607 0
[pid=8797/tid=8799] ppid=8795 vsize=1933032 CPUtime=0.5 cores=0-31
/proc/8797/task/8799/stat : 8799 (claspmt) S 8795 8797 8771 0 -1 4202560 4622 0 0 0 5 45 0 0 18 0 32 0 799312 1979424768 169073 270582939648 4194304 4964800 140734379044464 18446744073709551615 258662772457 0 0 4096 18946 18446604505724214752 0 0 -1 27 0 0 0
[pid=8797/tid=8800] ppid=8795 vsize=1933032 CPUtime=0.65 cores=0-31
/proc/8797/task/8800/stat : 8800 (claspmt) S 8795 8797 8771 0 -1 4202560 6693 0 0 0 12 53 0 0 18 0 32 0 799312 1979424768 169073 270582939648 4194304 4964800 140734379044464 18446744073709551615 258662772457 0 0 4096 18946 18446604505767673312 0 0 -1 2 0 0 0
[pid=8797/tid=8801] ppid=8795 vsize=1933032 CPUtime=0.65 cores=0-31
/proc/8797/task/8801/stat : 8801 (claspmt) S 8795 8797 8771 0 -1 4202560 6463 0 0 0 10 55 0 0 18 0 32 0 799312 1979424768 169073 270582939648 4194304 4964800 140734379044464 18446744073709551615 258662772457 0 0 4096 18946 18446604505241181664 0 0 -1 19 0 0 0
[pid=8797/tid=8802] ppid=8795 vsize=1933032 CPUtime=0.53 cores=0-31
/proc/8797/task/8802/stat : 8802 (claspmt) S 8795 8797 8771 0 -1 4202560 5178 0 0 0 5 48 0 0 18 0 32 0 799312 1979424768 169073 270582939648 4194304 4964800 140734379044464 18446744073709551615 258662772457 0 0 4096 18946 18446604504357731808 0 0 -1 16 0 0 0
[pid=8797/tid=8803] ppid=8795 vsize=1933032 CPUtime=3.98 cores=0-31
/proc/8797/task/8803/stat : 8803 (claspmt) R 8795 8797 8771 0 -1 4202560 6602 0 0 0 347 51 0 0 25 0 32 0 799312 1979424768 169073 270582939648 4194304 4964800 140734379044464 18446744073709551615 4342213 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=8797/tid=8804] ppid=8795 vsize=1933032 CPUtime=0.66 cores=0-31
/proc/8797/task/8804/stat : 8804 (claspmt) S 8795 8797 8771 0 -1 4202560 6702 0 0 0 12 54 0 0 18 0 32 0 799312 1979424768 169073 270582939648 4194304 4964800 140734379044464 18446744073709551615 258662772457 0 0 4096 18946 18446604504263843296 0 0 -1 6 0 0 0
[pid=8797/tid=8805] ppid=8795 vsize=1933032 CPUtime=0.66 cores=0-31
/proc/8797/task/8805/stat : 8805 (claspmt) S 8795 8797 8771 0 -1 4202560 6653 0 0 0 13 53 0 0 18 0 32 0 799312 1979424768 169073 270582939648 4194304 4964800 140734379044464 18446744073709551615 258662772457 0 0 4096 18946 18446604505657777632 0 0 -1 8 0 0 0
[pid=8797/tid=8806] ppid=8795 vsize=1933032 CPUtime=0.54 cores=0-31
/proc/8797/task/8806/stat : 8806 (claspmt) S 8795 8797 8771 0 -1 4202560 4930 0 0 0 6 48 0 0 18 0 32 0 799312 1979424768 169073 270582939648 4194304 4964800 140734379044464 18446744073709551615 258662772457 0 0 4096 18946 18446604505767648736 0 0 -1 28 0 0 0
[pid=8797/tid=8807] ppid=8795 vsize=1933032 CPUtime=0.63 cores=0-31
/proc/8797/task/8807/stat : 8807 (claspmt) S 8795 8797 8771 0 -1 4202560 5432 0 0 0 7 56 0 0 18 0 32 0 799312 1979424768 169073 270582939648 4194304 4964800 140734379044464 18446744073709551615 258662772457 0 0 4096 18946 18446604505227337184 0 0 -1 0 0 0 0
[pid=8797/tid=8808] ppid=8795 vsize=1933032 CPUtime=0.67 cores=0-31
/proc/8797/task/8808/stat : 8808 (claspmt) S 8795 8797 8771 0 -1 4202560 6708 0 0 0 11 56 0 0 18 0 32 0 799312 1979424768 169073 270582939648 4194304 4964800 140734379044464 18446744073709551615 258662772457 0 0 4096 18946 18446604504109530592 0 0 -1 13 0 0 0
[pid=8797/tid=8809] ppid=8795 vsize=1933032 CPUtime=0.6 cores=0-31
/proc/8797/task/8809/stat : 8809 (claspmt) S 8795 8797 8771 0 -1 4202560 6834 0 0 0 10 50 0 0 18 0 32 0 799312 1979424768 169073 270582939648 4194304 4964800 140734379044464 18446744073709551615 258662772457 0 0 4096 18946 18446604504109522400 0 0 -1 7 0 0 0
[pid=8797/tid=8810] ppid=8795 vsize=1933032 CPUtime=0.53 cores=0-31
/proc/8797/task/8810/stat : 8810 (claspmt) S 8795 8797 8771 0 -1 4202560 5036 0 0 0 6 47 0 0 18 0 32 0 799312 1979424768 169073 270582939648 4194304 4964800 140734379044464 18446744073709551615 258662772457 0 0 4096 18946 18446604504920399328 0 0 -1 12 0 0 0
[pid=8797/tid=8811] ppid=8795 vsize=1933032 CPUtime=4 cores=0-31
/proc/8797/task/8811/stat : 8811 (claspmt) R 8795 8797 8771 0 -1 4202560 6707 0 0 0 347 53 0 0 25 0 32 0 799312 1979424768 169073 270582939648 4194304 4964800 140734379044464 18446744073709551615 4668984 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=8797/tid=8812] ppid=8795 vsize=1933032 CPUtime=0.62 cores=0-31
/proc/8797/task/8812/stat : 8812 (claspmt) S 8795 8797 8771 0 -1 4202560 6487 0 0 0 11 51 0 0 18 0 32 0 799312 1979424768 169073 270582939648 4194304 4964800 140734379044464 18446744073709551615 258662772457 0 0 4096 18946 18446604505804758496 0 0 -1 10 0 0 0
[pid=8797/tid=8813] ppid=8795 vsize=1933032 CPUtime=0.66 cores=0-31
/proc/8797/task/8813/stat : 8813 (claspmt) S 8795 8797 8771 0 -1 4202560 6612 0 0 0 14 52 0 0 18 0 32 0 799312 1979424768 169073 270582939648 4194304 4964800 140734379044464 18446744073709551615 258662772457 0 0 4096 18946 18446604505378577888 0 0 -1 26 0 0 0
[pid=8797/tid=8814] ppid=8795 vsize=1933032 CPUtime=0.55 cores=0-31
/proc/8797/task/8814/stat : 8814 (claspmt) S 8795 8797 8771 0 -1 4202560 5551 0 0 0 4 51 0 0 18 0 32 0 799312 1979424768 169073 270582939648 4194304 4964800 140734379044464 18446744073709551615 258662772457 0 0 4096 18946 18446604505657785824 0 0 -1 24 0 0 0
[pid=8797/tid=8815] ppid=8795 vsize=1933032 CPUtime=0.55 cores=0-31
/proc/8797/task/8815/stat : 8815 (claspmt) S 8795 8797 8771 0 -1 4202560 5415 0 0 0 5 50 0 0 18 0 32 0 799312 1979424768 169073 270582939648 4194304 4964800 140734379044464 18446744073709551615 258662772457 0 0 4096 18946 18446604505378545120 0 0 -1 20 0 0 0
[pid=8797/tid=8816] ppid=8795 vsize=1933032 CPUtime=0.66 cores=0-31
/proc/8797/task/8816/stat : 8816 (claspmt) S 8795 8797 8771 0 -1 4202560 6827 0 0 0 10 56 0 0 18 0 32 0 799312 1979424768 169073 270582939648 4194304 4964800 140734379044464 18446744073709551615 258662772457 0 0 4096 18946 18446604505378561504 0 0 -1 23 0 0 0
[pid=8797/tid=8817] ppid=8795 vsize=1933032 CPUtime=0.63 cores=0-31
/proc/8797/task/8817/stat : 8817 (claspmt) S 8795 8797 8771 0 -1 4202560 6929 0 0 0 11 52 0 0 18 0 32 0 799312 1979424768 169073 270582939648 4194304 4964800 140734379044464 18446744073709551615 258662772457 0 0 4096 18946 18446604505724206560 0 0 -1 5 0 0 0
[pid=8797/tid=8818] ppid=8795 vsize=1933032 CPUtime=0.52 cores=0-31
/proc/8797/task/8818/stat : 8818 (claspmt) S 8795 8797 8771 0 -1 4202560 5422 0 0 0 5 47 0 0 18 0 32 0 799312 1979424768 169073 270582939648 4194304 4964800 140734379044464 18446744073709551615 258662772457 0 0 4096 18946 18446604504109546976 0 0 -1 11 0 0 0
[pid=8797/tid=8819] ppid=8795 vsize=1933032 CPUtime=3.99 cores=0-31
/proc/8797/task/8819/stat : 8819 (claspmt) R 8795 8797 8771 0 -1 4202560 6165 0 0 0 345 54 0 0 25 0 32 0 799312 1979424768 169073 270582939648 4194304 4964800 140734379044464 18446744073709551615 4342157 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=8797/tid=8820] ppid=8795 vsize=1933032 CPUtime=0.64 cores=0-31
/proc/8797/task/8820/stat : 8820 (claspmt) S 8795 8797 8771 0 -1 4202560 6877 0 0 0 11 53 0 0 18 0 32 0 799312 1979424768 169073 270582939648 4194304 4964800 140734379044464 18446744073709551615 258662772457 0 0 4096 18946 18446604505804717536 0 0 -1 14 0 0 0
[pid=8797/tid=8821] ppid=8795 vsize=1933032 CPUtime=0.55 cores=0-31
/proc/8797/task/8821/stat : 8821 (claspmt) S 8795 8797 8771 0 -1 4202560 5628 0 0 0 14 41 0 0 18 0 32 0 799312 1979424768 169073 270582939648 4194304 4964800 140734379044464 18446744073709551615 258662772457 0 0 4096 18946 18446604575109799392 0 0 -1 13 0 0 0
[pid=8797/tid=8822] ppid=8795 vsize=1933032 CPUtime=0.55 cores=0-31
/proc/8797/task/8822/stat : 8822 (claspmt) S 8795 8797 8771 0 -1 4202560 5443 0 0 0 6 49 0 0 18 0 32 0 799313 1979424768 169073 270582939648 4194304 4964800 140734379044464 18446744073709551615 258662772457 0 0 4096 18946 18446604505535749600 0 0 -1 18 0 0 0
[pid=8797/tid=8823] ppid=8795 vsize=1933032 CPUtime=0.5 cores=0-31
/proc/8797/task/8823/stat : 8823 (claspmt) S 8795 8797 8771 0 -1 4202560 5236 0 0 0 5 45 0 0 18 0 32 0 799313 1979424768 169073 270582939648 4194304 4964800 140734379044464 18446744073709551615 258662772457 0 0 4096 18946 18446604503969078752 0 0 -1 21 0 0 0

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

/proc/8797/task/8810/stat : 8810 (claspmt) R 8795 8797 8771 0 -1 4202560 212384 0 0 0 495958 703 0 0 25 0 32 0 799312 21219495936 4947390 270582939648 4194304 4964800 140734379044464 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=8797/tid=8811] ppid=8795 vsize=20722164 CPUtime=5018.37 cores=0-31
/proc/8797/task/8811/stat : 8811 (claspmt) R 8795 8797 8771 0 -1 4202560 130009 0 0 0 501432 405 0 0 25 0 32 0 799312 21219495936 4947390 270582939648 4194304 4964800 140734379044464 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=8797/tid=8812] ppid=8795 vsize=20722164 CPUtime=4974.02 cores=0-31
/proc/8797/task/8812/stat : 8812 (claspmt) R 8795 8797 8771 0 -1 4202560 59953 0 0 0 497145 257 0 0 25 0 32 0 799312 21219495936 4947390 270582939648 4194304 4964800 140734379044464 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=8797/tid=8813] ppid=8795 vsize=20722164 CPUtime=4973.23 cores=0-31
/proc/8797/task/8813/stat : 8813 (claspmt) R 8795 8797 8771 0 -1 4202560 440714 0 0 0 496099 1224 0 0 25 0 32 0 799312 21219495936 4947390 270582939648 4194304 4964800 140734379044464 18446744073709551615 4669011 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=8797/tid=8814] ppid=8795 vsize=20722164 CPUtime=4973.71 cores=0-31
/proc/8797/task/8814/stat : 8814 (claspmt) R 8795 8797 8771 0 -1 4202560 99686 0 0 0 496947 424 0 0 25 0 32 0 799312 21219495936 4947390 270582939648 4194304 4964800 140734379044464 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=8797/tid=8815] ppid=8795 vsize=20722164 CPUtime=4973.79 cores=0-31
/proc/8797/task/8815/stat : 8815 (claspmt) R 8795 8797 8771 0 -1 4202560 55360 0 0 0 497144 235 0 0 25 0 32 0 799312 21219495936 4947390 270582939648 4194304 4964800 140734379044464 18446744073709551615 4320970 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=8797/tid=8816] ppid=8795 vsize=20722164 CPUtime=4965.4 cores=0-31
/proc/8797/task/8816/stat : 8816 (claspmt) R 8795 8797 8771 0 -1 4202560 216841 0 0 0 495995 545 0 0 25 0 32 0 799312 21219495936 4947390 270582939648 4194304 4964800 140734379044464 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=8797/tid=8817] ppid=8795 vsize=20722164 CPUtime=4974.14 cores=0-31
/proc/8797/task/8817/stat : 8817 (claspmt) R 8795 8797 8771 0 -1 4202560 57520 0 0 0 497188 226 0 0 25 0 32 0 799312 21219495936 4947390 270582939648 4194304 4964800 140734379044464 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=8797/tid=8818] ppid=8795 vsize=20722164 CPUtime=4960.98 cores=0-31
/proc/8797/task/8818/stat : 8818 (claspmt) R 8795 8797 8771 0 -1 4202560 181329 0 0 0 495479 619 0 0 25 0 32 0 799312 21219495936 4947390 270582939648 4194304 4964800 140734379044464 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=8797/tid=8819] ppid=8795 vsize=20722164 CPUtime=5011.99 cores=0-31
/proc/8797/task/8819/stat : 8819 (claspmt) R 8795 8797 8771 0 -1 4202560 119114 0 0 0 500818 381 0 0 25 0 32 0 799312 21219495936 4947390 270582939648 4194304 4964800 140734379044464 18446744073709551615 4670313 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=8797/tid=8820] ppid=8795 vsize=20722164 CPUtime=4954.62 cores=0-31
/proc/8797/task/8820/stat : 8820 (claspmt) R 8795 8797 8771 0 -1 4202560 47514 0 0 0 495263 199 0 0 25 0 32 0 799312 21219495936 4947390 270582939648 4194304 4964800 140734379044464 18446744073709551615 4669280 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=8797/tid=8821] ppid=8795 vsize=20722164 CPUtime=4967.73 cores=0-31
/proc/8797/task/8821/stat : 8821 (claspmt) R 8795 8797 8771 0 -1 4202560 469367 0 0 0 495466 1307 0 0 25 0 32 0 799312 21219495936 4947390 270582939648 4194304 4964800 140734379044464 18446744073709551615 4320970 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=8797/tid=8822] ppid=8795 vsize=20722164 CPUtime=4973.82 cores=0-31
/proc/8797/task/8822/stat : 8822 (claspmt) R 8795 8797 8771 0 -1 4202560 88679 0 0 0 497009 373 0 0 25 0 32 0 799313 21219495936 4947390 270582939648 4194304 4964800 140734379044464 18446744073709551615 4660236 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=8797/tid=8823] ppid=8795 vsize=20722164 CPUtime=4973.69 cores=0-31
/proc/8797/task/8823/stat : 8823 (claspmt) R 8795 8797 8771 0 -1 4202560 54142 0 0 0 497138 231 0 0 25 0 32 0 799313 21219495936 4947390 270582939648 4194304 4964800 140734379044464 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=8797/tid=8824] ppid=8795 vsize=20722164 CPUtime=4974.05 cores=0-31
/proc/8797/task/8824/stat : 8824 (claspmt) R 8795 8797 8771 0 -1 4202560 191464 0 0 0 496925 480 0 0 25 0 32 0 799313 21219495936 4947390 270582939648 4194304 4964800 140734379044464 18446744073709551615 4670310 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=8797/tid=8825] ppid=8795 vsize=20722164 CPUtime=4972.65 cores=0-31
/proc/8797/task/8825/stat : 8825 (claspmt) R 8795 8797 8771 0 -1 4202560 54533 0 0 0 497051 214 0 0 25 0 32 0 799313 21219495936 4947390 270582939648 4194304 4964800 140734379044464 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=8797/tid=8826] ppid=8795 vsize=20722164 CPUtime=4973.25 cores=0-31
/proc/8797/task/8826/stat : 8826 (claspmt) R 8795 8797 8771 0 -1 4202560 228377 0 0 0 496582 743 0 0 25 0 32 0 799313 21219495936 4947390 270582939648 4194304 4964800 140734379044464 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=8797/tid=8827] ppid=8795 vsize=20722164 CPUtime=5015.56 cores=0-31
/proc/8797/task/8827/stat : 8827 (claspmt) R 8795 8797 8771 0 -1 4202560 133441 0 0 0 501133 423 0 0 25 0 32 0 799313 21219495936 4947390 270582939648 4194304 4964800 140734379044464 18446744073709551615 4670371 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=8797/tid=8828] ppid=8795 vsize=20722164 CPUtime=4946.67 cores=0-31
/proc/8797/task/8828/stat : 8828 (claspmt) R 8795 8797 8771 0 -1 4202560 53231 0 0 0 494443 224 0 0 25 0 32 0 799313 21219495936 4947390 270582939648 4194304 4964800 140734379044464 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=8797/tid=8829] ppid=8795 vsize=20722164 CPUtime=4967.81 cores=0-31
/proc/8797/task/8829/stat : 8829 (claspmt) R 8795 8797 8771 0 -1 4202560 458191 0 0 0 495577 1204 0 0 25 0 32 0 799313 21219495936 4947390 270582939648 4194304 4964800 140734379044464 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 159196
Current children cumulated vsize (KiB) 20722164



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+5047.5 s]
/proc/loadavg: 32.00 32.01 32.00 33/445 8985
/proc/meminfo: memFree=243878500/264257624 swapFree=67111528/67111528
[pid=8797] ppid=8795 vsize=20724212 CPUtime=160001 cores=0-31
/proc/8797/stat : 8797 (claspmt) R 8795 8797 8771 0 -1 4202496 5008601 0 0 0 15984585 15563 0 0 25 0 32 0 799164 21221593088 4948899 270582939648 4194304 4964800 140734379044464 18446744073709551615 4669026 0 0 4096 18946 18446744073709551615 0 0 17 12 0 0 0
/proc/8797/statm: 5181053 4948899 463 189 0 5175402 0
[pid=8797/tid=8799] ppid=8795 vsize=20724212 CPUtime=4998.67 cores=0-31
/proc/8797/task/8799/stat : 8799 (claspmt) R 8795 8797 8771 0 -1 4202560 43716 0 0 0 499666 201 0 0 25 0 32 0 799312 21221593088 4948899 270582939648 4194304 4964800 140734379044464 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=8797/tid=8800] ppid=8795 vsize=20724212 CPUtime=4997.96 cores=0-31
/proc/8797/task/8800/stat : 8800 (claspmt) R 8795 8797 8771 0 -1 4202560 222191 0 0 0 499263 533 0 0 25 0 32 0 799312 21221593088 4948899 270582939648 4194304 4964800 140734379044464 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=8797/tid=8801] ppid=8795 vsize=20724212 CPUtime=4978.8 cores=0-31
/proc/8797/task/8801/stat : 8801 (claspmt) R 8795 8797 8771 0 -1 4202560 53263 0 0 0 497652 228 0 0 25 0 32 0 799312 21221593088 4948899 270582939648 4194304 4964800 140734379044464 18446744073709551615 4670538 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=8797/tid=8802] ppid=8795 vsize=20724212 CPUtime=4998.44 cores=0-31
/proc/8797/task/8802/stat : 8802 (claspmt) R 8795 8797 8771 0 -1 4202560 239965 0 0 0 499094 750 0 0 25 0 32 0 799312 21221593088 4948899 270582939648 4194304 4964800 140734379044464 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=8797/tid=8803] ppid=8795 vsize=20724212 CPUtime=5043.29 cores=0-31
/proc/8797/task/8803/stat : 8803 (claspmt) R 8795 8797 8771 0 -1 4202560 112563 0 0 0 503962 367 0 0 25 0 32 0 799312 21221593088 4948899 270582939648 4194304 4964800 140734379044464 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=8797/tid=8804] ppid=8795 vsize=20724212 CPUtime=4992.3 cores=0-31
/proc/8797/task/8804/stat : 8804 (claspmt) R 8795 8797 8771 0 -1 4202560 51316 0 0 0 499013 217 0 0 25 0 32 0 799312 21221593088 4948899 270582939648 4194304 4964800 140734379044464 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=8797/tid=8805] ppid=8795 vsize=20724212 CPUtime=4998.44 cores=0-31
/proc/8797/task/8805/stat : 8805 (claspmt) R 8795 8797 8771 0 -1 4202560 472134 0 0 0 498570 1274 0 0 25 0 32 0 799312 21221593088 4948899 270582939648 4194304 4964800 140734379044464 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=8797/tid=8806] ppid=8795 vsize=20724212 CPUtime=4993.58 cores=0-31
/proc/8797/task/8806/stat : 8806 (claspmt) R 8795 8797 8771 0 -1 4202560 80311 0 0 0 499007 351 0 0 25 0 32 0 799312 21221593088 4948899 270582939648 4194304 4964800 140734379044464 18446744073709551615 4653296 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=8797/tid=8807] ppid=8795 vsize=20724212 CPUtime=4999.04 cores=0-31
/proc/8797/task/8807/stat : 8807 (claspmt) R 8795 8797 8771 0 -1 4202560 47337 0 0 0 499692 212 0 0 25 0 32 0 799312 21221593088 4948899 270582939648 4194304 4964800 140734379044464 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=8797/tid=8808] ppid=8795 vsize=20724212 CPUtime=4997.75 cores=0-31
/proc/8797/task/8808/stat : 8808 (claspmt) R 8795 8797 8771 0 -1 4202560 176970 0 0 0 499336 439 0 0 25 0 32 0 799312 21221593088 4948899 270582939648 4194304 4964800 140734379044464 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=8797/tid=8809] ppid=8795 vsize=20724212 CPUtime=4989.51 cores=0-31
/proc/8797/task/8809/stat : 8809 (claspmt) R 8795 8797 8771 0 -1 4202560 54672 0 0 0 498713 238 0 0 25 0 32 0 799312 21221593088 4948899 270582939648 4194304 4964800 140734379044464 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=8797/tid=8810] ppid=8795 vsize=20724212 CPUtime=4991.82 cores=0-31
/proc/8797/task/8810/stat : 8810 (claspmt) R 8795 8797 8771 0 -1 4202560 212384 0 0 0 498479 703 0 0 25 0 32 0 799312 21221593088 4948899 270582939648 4194304 4964800 140734379044464 18446744073709551615 4320951 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=8797/tid=8811] ppid=8795 vsize=20724212 CPUtime=5043.58 cores=0-31
/proc/8797/task/8811/stat : 8811 (claspmt) R 8795 8797 8771 0 -1 4202560 130009 0 0 0 503953 405 0 0 25 0 32 0 799312 21221593088 4948899 270582939648 4194304 4964800 140734379044464 18446744073709551615 4670321 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=8797/tid=8812] ppid=8795 vsize=20724212 CPUtime=4999.24 cores=0-31
/proc/8797/task/8812/stat : 8812 (claspmt) R 8795 8797 8771 0 -1 4202560 59953 0 0 0 499667 257 0 0 25 0 32 0 799312 21221593088 4948899 270582939648 4194304 4964800 140734379044464 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=8797/tid=8813] ppid=8795 vsize=20724212 CPUtime=4998.44 cores=0-31
/proc/8797/task/8813/stat : 8813 (claspmt) R 8795 8797 8771 0 -1 4202560 440714 0 0 0 498620 1224 0 0 25 0 32 0 799312 21221593088 4948899 270582939648 4194304 4964800 140734379044464 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=8797/tid=8814] ppid=8795 vsize=20724212 CPUtime=4998.92 cores=0-31
/proc/8797/task/8814/stat : 8814 (claspmt) R 8795 8797 8771 0 -1 4202560 99686 0 0 0 499468 424 0 0 25 0 32 0 799312 21221593088 4948899 270582939648 4194304 4964800 140734379044464 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=8797/tid=8815] ppid=8795 vsize=20724212 CPUtime=4998.94 cores=0-31
/proc/8797/task/8815/stat : 8815 (claspmt) R 8795 8797 8771 0 -1 4202560 55388 0 0 0 499658 236 0 0 25 0 32 0 799312 21221593088 4948899 270582939648 4194304 4964800 140734379044464 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=8797/tid=8816] ppid=8795 vsize=20724212 CPUtime=4990.62 cores=0-31
/proc/8797/task/8816/stat : 8816 (claspmt) R 8795 8797 8771 0 -1 4202560 217298 0 0 0 498516 546 0 0 25 0 32 0 799312 21221593088 4948899 270582939648 4194304 4964800 140734379044464 18446744073709551615 4669011 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=8797/tid=8817] ppid=8795 vsize=20724212 CPUtime=4999.36 cores=0-31
/proc/8797/task/8817/stat : 8817 (claspmt) R 8795 8797 8771 0 -1 4202560 57520 0 0 0 499710 226 0 0 25 0 32 0 799312 21221593088 4948899 270582939648 4194304 4964800 140734379044464 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=8797/tid=8818] ppid=8795 vsize=20724212 CPUtime=4986.2 cores=0-31
/proc/8797/task/8818/stat : 8818 (claspmt) R 8795 8797 8771 0 -1 4202560 181329 0 0 0 498001 619 0 0 25 0 32 0 799312 21221593088 4948899 270582939648 4194304 4964800 140734379044464 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=8797/tid=8819] ppid=8795 vsize=20724212 CPUtime=5037.2 cores=0-31
/proc/8797/task/8819/stat : 8819 (claspmt) R 8795 8797 8771 0 -1 4202560 119115 0 0 0 503339 381 0 0 25 0 32 0 799312 21221593088 4948899 270582939648 4194304 4964800 140734379044464 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=8797/tid=8820] ppid=8795 vsize=20724212 CPUtime=4979.84 cores=0-31
/proc/8797/task/8820/stat : 8820 (claspmt) R 8795 8797 8771 0 -1 4202560 47515 0 0 0 497785 199 0 0 25 0 32 0 799312 21221593088 4948899 270582939648 4194304 4964800 140734379044464 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=8797/tid=8821] ppid=8795 vsize=20724212 CPUtime=4992.95 cores=0-31
/proc/8797/task/8821/stat : 8821 (claspmt) R 8795 8797 8771 0 -1 4202560 469827 0 0 0 497987 1308 0 0 25 0 32 0 799312 21221593088 4948899 270582939648 4194304 4964800 140734379044464 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=8797/tid=8822] ppid=8795 vsize=20724212 CPUtime=4999.05 cores=0-31
/proc/8797/task/8822/stat : 8822 (claspmt) R 8795 8797 8771 0 -1 4202560 88679 0 0 0 499531 374 0 0 25 0 32 0 799313 21221593088 4948899 270582939648 4194304 4964800 140734379044464 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=8797/tid=8823] ppid=8795 vsize=20724212 CPUtime=4998.83 cores=0-31
/proc/8797/task/8823/stat : 8823 (claspmt) R 8795 8797 8771 0 -1 4202560 54347 0 0 0 499652 231 0 0 25 0 32 0 799313 21221593088 4948899 270582939648 4194304 4964800 140734379044464 18446744073709551615 4668777 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=8797/tid=8824] ppid=8795 vsize=20724212 CPUtime=4999.26 cores=0-31
/proc/8797/task/8824/stat : 8824 (claspmt) R 8795 8797 8771 0 -1 4202560 191511 0 0 0 499446 480 0 0 25 0 32 0 799313 21221593088 4948899 270582939648 4194304 4964800 140734379044464 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=8797/tid=8825] ppid=8795 vsize=20724212 CPUtime=4997.86 cores=0-31
/proc/8797/task/8825/stat : 8825 (claspmt) R 8795 8797 8771 0 -1 4202560 54542 0 0 0 499572 214 0 0 25 0 32 0 799313 21221593088 4948899 270582939648 4194304 4964800 140734379044464 18446744073709551615 4670194 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=8797/tid=8826] ppid=8795 vsize=20724212 CPUtime=4997.73 cores=0-31
/proc/8797/task/8826/stat : 8826 (claspmt) R 8795 8797 8771 0 -1 4202560 228377 0 0 0 499030 743 0 0 25 0 32 0 799313 21221593088 4948899 270582939648 4194304 4964800 140734379044464 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=8797/tid=8827] ppid=8795 vsize=20724212 CPUtime=5040.77 cores=0-31
/proc/8797/task/8827/stat : 8827 (claspmt) R 8795 8797 8771 0 -1 4202560 133451 0 0 0 503654 423 0 0 25 0 32 0 799313 21221593088 4948899 270582939648 4194304 4964800 140734379044464 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=8797/tid=8828] ppid=8795 vsize=20724212 CPUtime=4971.88 cores=0-31
/proc/8797/task/8828/stat : 8828 (claspmt) R 8795 8797 8771 0 -1 4202560 53231 0 0 0 496964 224 0 0 25 0 32 0 799313 21221593088 4948899 270582939648 4194304 4964800 140734379044464 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=8797/tid=8829] ppid=8795 vsize=20724212 CPUtime=4993.03 cores=0-31
/proc/8797/task/8829/stat : 8829 (claspmt) R 8795 8797 8771 0 -1 4202560 458191 0 0 0 498099 1204 0 0 25 0 32 0 799313 21221593088 4948899 270582939648 4194304 4964800 140734379044464 18446744073709551615 4669131 0 0 4096 18946 0 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 160001
Current children cumulated vsize (KiB) 20724212

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -8797

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

[startup+5047.9 s]
/proc/loadavg: 32.00 32.01 32.00 2/415 8986
/proc/meminfo: memFree=243898952/264257624 swapFree=67111528/67111528
[pid=8797] ppid=8795 vsize=20613328 CPUtime=160002 cores=0-31
/proc/8797/stat : 8797 (claspmt) R 8795 8797 8771 0 -1 4202496 5008616 0 0 0 15984657 15564 0 0 25 0 1 0 799164 21108047872 4943697 270582939648 4194304 4964800 140734379044464 18446744073709551615 258650612315 0 0 4096 18946 0 0 0 17 12 0 0 0
/proc/8797/statm: 5153332 4943697 474 189 0 5147681 0
Current children cumulated CPU time (s) 160002
Current children cumulated vsize (KiB) 20613328

[startup+5049.5 s]
/proc/loadavg: 29.52 31.49 31.83 2/415 8986
/proc/meminfo: memFree=243898952/264257624 swapFree=67111528/67111528
[pid=8797] ppid=8795 vsize=20613328 CPUtime=160004 cores=0-31
/proc/8797/stat : 8797 (claspmt) R 8795 8797 8771 0 -1 4202496 5008616 0 0 0 15984815 15564 0 0 25 0 1 0 799164 21108047872 4940152 270582939648 4194304 4964800 140734379044464 18446744073709551615 258650612750 0 0 4096 18946 0 0 0 17 12 0 0 0
/proc/8797/statm: 5153332 4940152 474 189 0 5147681 0
Current children cumulated CPU time (s) 160004
Current children cumulated vsize (KiB) 20613328

[startup+5049.9 s]
/proc/loadavg: 29.52 31.49 31.83 2/415 8986
/proc/meminfo: memFree=243898952/264257624 swapFree=67111528/67111528
[pid=8797] ppid=8795 vsize=0 CPUtime=160004 cores=0-31
/proc/8797/stat : 8797 (claspmt) R 8795 8797 8771 0 -1 4203524 5008616 0 0 0 15984818 15601 0 0 25 0 1 0 799164 0 0 270582939648 0 0 0 0 0 0 0 4096 18946 18446744073709551615 0 0 17 12 0 0 0
/proc/8797/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 160004
Current children cumulated vsize (KiB) 0

[startup+5050.3 s]
/proc/loadavg: 29.52 31.49 31.83 2/414 8986
/proc/meminfo: memFree=256284204/264257624 swapFree=67111528/67111528
[pid=8797] ppid=8795 vsize=0 CPUtime=160005 cores=0-31
/proc/8797/stat : 8797 (claspmt) R 8795 8797 8771 0 -1 4203524 5008616 0 0 0 15984818 15641 0 0 25 0 1 0 799164 0 0 270582939648 0 0 0 0 0 0 0 4096 18946 18446744073709551615 0 0 17 12 0 0 0
/proc/8797/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 160005
Current children cumulated vsize (KiB) 0

[startup+5050.4 s]
/proc/loadavg: 29.52 31.49 31.83 2/414 8986
/proc/meminfo: memFree=256284204/264257624 swapFree=67111528/67111528
[pid=8797] ppid=8795 vsize=0 CPUtime=160005 cores=0-31
/proc/8797/stat : 8797 (claspmt) R 8795 8797 8771 0 -1 4203524 5008616 0 0 0 15984818 15651 0 0 25 0 1 0 799164 0 0 270582939648 0 0 0 0 0 0 0 4096 18946 18446744073709551615 0 0 17 12 0 0 0
/proc/8797/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 160005
Current children cumulated vsize (KiB) 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 5050.44
CPU time (s): 160005
CPU user time (s): 159848
CPU system time (s): 156.551
CPU usage (%): 3168.14
Max. virtual memory (cumulated for all children) (KiB): 20724212

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 159848
system time used= 156.551
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5008616
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= 612126
involuntary context switches= 373977

runsolver used 27.6808 second user time and 114.482 second system time

The end

Launcher Data 

Begin job on node200 at 2011-06-06 11:55:23
IDJOB=3472263
IDBENCH=20386
IDSOLVER=1961
FILE ID=node200/3472263-1307354122
RUNJOBID= node200-1307354122-8785
PBS_JOBID= 13509158
Free space on /tmp= 61732 MiB

SOLVER NAME= claspmt 2.0-R4095-patched (fixed)
BENCH NAME= SAT07/industrial/anbulagan/hard-unsat/partial-5-11-u.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-3472263-1307354122/watcher-3472263-1307354122 -o /tmp/evaluation-result-3472263-1307354122/solver-3472263-1307354122 -C 160000 -W 5100 -M 256000  HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472263-1307354122.cnf

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

MD5SUM BENCH= 8e22d84b1ae625d44fbf300a32374a2d
RANDOM SEED=275221301

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:      263707756 kB
Buffers:         24652 kB
Cached:         320248 kB
SwapCached:          0 kB
Active:         150932 kB
Inactive:       256468 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      263707756 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           13800 kB
Writeback:           0 kB
AnonPages:       63124 kB
Mapped:          14200 kB
Slab:            63184 kB
PageTables:       3996 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   157576 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= 61728 MiB
End job on node200 at 2011-06-06 13:19:33