Trace number 3472301

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) 160006 5010.84

General information on the benchmark

NameAPPLICATIONS/bitverif/
countbitssrl/countbitssrl064.cnf
MD5SUM4f9c883534eb89cad9b9cad9e6eccbd0
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 variables75103
Number of clauses225116
Sum of the clauses size525268
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2150076
Number of clauses of size 375038
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.01	c clasp version 2.0.0-RC2
0.00/0.01	c Reading from ...418344/instance-3472301-1307418344.cnf
1.03/1.09	c Solving...
160003.20/5008.35	
160003.20/5008.35	*** INTERRUPTED! ***
160003.20/5008.35	*** 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-3472301-1307418344/watcher-3472301-1307418344 -o /tmp/evaluation-result-3472301-1307418344/solver-3472301-1307418344 -C 160000 -W 5100 -M 256000 HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472301-1307418344.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.58 31.58 31.85 3/413 13859
/proc/meminfo: memFree=263436632/264257624 swapFree=67111528/67111528
[pid=13859] ppid=13857 vsize=30428 CPUtime=0.02 cores=0-31
/proc/13859/stat : 13859 (claspmt) R 13857 13859 13833 0 -1 4202496 2370 0 0 0 2 0 0 0 23 0 1 0 7221312 31158272 2299 270582939648 4194304 4964800 140736094985232 18446744073709551615 4700412 0 0 4096 18946 0 0 0 17 20 0 0 0
/proc/13859/statm: 7607 2303 373 189 0 2481 0

[startup+0.0952 s]
/proc/loadavg: 29.58 31.58 31.85 3/413 13859
/proc/meminfo: memFree=263436632/264257624 swapFree=67111528/67111528
[pid=13859] ppid=13857 vsize=39176 CPUtime=0.08 cores=0-31
/proc/13859/stat : 13859 (claspmt) R 13857 13859 13833 0 -1 4202496 5659 0 0 0 7 1 0 0 23 0 1 0 7221312 40116224 4830 270582939648 4194304 4964800 140736094985232 18446744073709551615 258650653381 0 0 4096 18946 0 0 0 17 20 0 0 0
/proc/13859/statm: 9794 4840 383 189 0 4668 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 39176

[startup+0.101206 s]
/proc/loadavg: 29.58 31.58 31.85 3/413 13859
/proc/meminfo: memFree=263436632/264257624 swapFree=67111528/67111528
[pid=13859] ppid=13857 vsize=38956 CPUtime=0.09 cores=0-31
/proc/13859/stat : 13859 (claspmt) R 13857 13859 13833 0 -1 4202496 5801 0 0 0 8 1 0 0 23 0 1 0 7221312 39890944 4851 270582939648 4194304 4964800 140736094985232 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 20 0 0 0
/proc/13859/statm: 9739 4852 383 189 0 4613 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 38956

[startup+0.301274 s]
/proc/loadavg: 29.58 31.58 31.85 3/413 13859
/proc/meminfo: memFree=263436632/264257624 swapFree=67111528/67111528
[pid=13859] ppid=13857 vsize=55548 CPUtime=0.29 cores=0-31
/proc/13859/stat : 13859 (claspmt) R 13857 13859 13833 0 -1 4202496 11397 0 0 0 26 3 0 0 25 0 1 0 7221312 56881152 8856 270582939648 4194304 4964800 140736094985232 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 20 0 0 0
/proc/13859/statm: 13887 8857 396 189 0 8761 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 55548

[startup+0.701247 s]
/proc/loadavg: 29.58 31.58 31.85 3/413 13859
/proc/meminfo: memFree=263436632/264257624 swapFree=67111528/67111528
[pid=13859] ppid=13857 vsize=63572 CPUtime=0.69 cores=0-31
/proc/13859/stat : 13859 (claspmt) R 13857 13859 13833 0 -1 4202496 13272 0 0 0 66 3 0 0 25 0 1 0 7221312 65097728 10731 270582939648 4194304 4964800 140736094985232 18446744073709551615 47047958831190 0 0 4096 18946 0 0 0 17 20 0 0 0
/proc/13859/statm: 15893 10732 401 189 0 10767 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 63572

[startup+1.50118 s]
/proc/loadavg: 29.58 31.58 31.85 2/414 13860
/proc/meminfo: memFree=263390604/264257624 swapFree=67111528/67111528
[pid=13859] ppid=13857 vsize=1768740 CPUtime=8.01 cores=0-31
/proc/13859/stat : 13859 (claspmt) S 13857 13859 13833 0 -1 4202496 78461 0 0 0 152 649 0 0 19 0 32 0 7221312 1811189760 56707 270582939648 4194304 4964800 140736094985232 18446744073709551615 258662772457 0 0 4096 18946 18446744073709551615 0 0 17 21 0 0 0
/proc/13859/statm: 442185 56710 434 189 0 436534 0
Current children cumulated CPU time (s) 8.01
Current children cumulated vsize (KiB) 1768740

[startup+3.1022 s]
/proc/loadavg: 29.58 31.58 31.85 12/445 13891
/proc/meminfo: memFree=263051872/264257624 swapFree=67111528/67111528
[pid=13859] ppid=13857 vsize=2235464 CPUtime=18.55 cores=0-31
/proc/13859/stat : 13859 (claspmt) R 13857 13859 13833 0 -1 4202496 123953 0 0 0 1080 775 0 0 18 0 32 0 7221312 2289115136 102040 270582939648 4194304 4964800 140736094985232 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 21 0 0 0
/proc/13859/statm: 558866 102041 451 189 0 553215 0
[pid=13859/tid=13861] ppid=13857 vsize=2235464 CPUtime=0.41 cores=0-31
/proc/13859/task/13861/stat : 13861 (claspmt) R 13857 13859 13833 0 -1 4202560 3037 0 0 0 18 23 0 0 18 0 32 0 7221422 2289115136 102041 270582939648 4194304 4964800 140736094985232 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=13859/tid=13862] ppid=13857 vsize=2235464 CPUtime=0.44 cores=0-31
/proc/13859/task/13862/stat : 13862 (claspmt) R 13857 13859 13833 0 -1 4202560 3645 0 0 0 17 27 0 0 18 0 32 0 7221422 2289115136 102042 270582939648 4194304 4964800 140736094985232 18446744073709551615 4361293 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=13859/tid=13863] ppid=13857 vsize=2235464 CPUtime=0.46 cores=0-31
/proc/13859/task/13863/stat : 13863 (claspmt) R 13857 13859 13833 0 -1 4202560 3711 0 0 0 20 26 0 0 18 0 32 0 7221422 2289115136 102042 270582939648 4194304 4964800 140736094985232 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=13859/tid=13864] ppid=13857 vsize=2235464 CPUtime=0.4 cores=0-31
/proc/13859/task/13864/stat : 13864 (claspmt) R 13857 13859 13833 0 -1 4202560 3072 0 0 0 19 21 0 0 18 0 32 0 7221422 2289115136 102042 270582939648 4194304 4964800 140736094985232 18446744073709551615 4670328 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=13859/tid=13865] ppid=13857 vsize=2235464 CPUtime=1.33 cores=0-31
/proc/13859/task/13865/stat : 13865 (claspmt) R 13857 13859 13833 0 -1 4202560 3630 0 0 0 109 24 0 0 19 0 32 0 7221422 2289115136 102042 270582939648 4194304 4964800 140736094985232 18446744073709551615 4399264 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=13859/tid=13866] ppid=13857 vsize=2235464 CPUtime=0.42 cores=0-31
/proc/13859/task/13866/stat : 13866 (claspmt) R 13857 13859 13833 0 -1 4202560 3974 0 0 0 16 26 0 0 18 0 32 0 7221422 2289115136 102042 270582939648 4194304 4964800 140736094985232 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=13859/tid=13867] ppid=13857 vsize=2235464 CPUtime=0.45 cores=0-31
/proc/13859/task/13867/stat : 13867 (claspmt) R 13857 13859 13833 0 -1 4202560 3790 0 0 0 21 24 0 0 18 0 32 0 7221422 2289115136 102042 270582939648 4194304 4964800 140736094985232 18446744073709551615 4360553 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=13859/tid=13868] ppid=13857 vsize=2235464 CPUtime=0.41 cores=0-31
/proc/13859/task/13868/stat : 13868 (claspmt) R 13857 13859 13833 0 -1 4202560 3064 0 0 0 17 24 0 0 18 0 32 0 7221422 2289115136 102042 270582939648 4194304 4964800 140736094985232 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=13859/tid=13869] ppid=13857 vsize=2235464 CPUtime=0.43 cores=0-31
/proc/13859/task/13869/stat : 13869 (claspmt) R 13857 13859 13833 0 -1 4202560 3259 0 0 0 18 25 0 0 18 0 32 0 7221422 2289115136 102044 270582939648 4194304 4964800 140736094985232 18446744073709551615 4669014 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=13859/tid=13870] ppid=13857 vsize=2235464 CPUtime=0.46 cores=0-31
/proc/13859/task/13870/stat : 13870 (claspmt) R 13857 13859 13833 0 -1 4202560 3826 0 0 0 20 26 0 0 16 0 32 0 7221422 2289115136 102044 270582939648 4194304 4964800 140736094985232 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=13859/tid=13871] ppid=13857 vsize=2235464 CPUtime=0.46 cores=0-31
/proc/13859/task/13871/stat : 13871 (claspmt) R 13857 13859 13833 0 -1 4202560 3724 0 0 0 21 25 0 0 18 0 32 0 7221422 2289115136 102044 270582939648 4194304 4964800 140736094985232 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=13859/tid=13872] ppid=13857 vsize=2235464 CPUtime=0.41 cores=0-31
/proc/13859/task/13872/stat : 13872 (claspmt) R 13857 13859 13833 0 -1 4202560 3065 0 0 0 19 22 0 0 17 0 32 0 7221422 2289115136 102044 270582939648 4194304 4964800 140736094985232 18446744073709551615 4684788 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=13859/tid=13873] ppid=13857 vsize=2235464 CPUtime=1.27 cores=0-31
/proc/13859/task/13873/stat : 13873 (claspmt) R 13857 13859 13833 0 -1 4202560 3438 0 0 0 103 24 0 0 19 0 32 0 7221422 2289115136 102044 270582939648 4194304 4964800 140736094985232 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=13859/tid=13874] ppid=13857 vsize=2235464 CPUtime=0.43 cores=0-31
/proc/13859/task/13874/stat : 13874 (claspmt) R 13857 13859 13833 0 -1 4202560 3438 0 0 0 21 22 0 0 18 0 32 0 7221422 2289115136 102044 270582939648 4194304 4964800 140736094985232 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=13859/tid=13875] ppid=13857 vsize=2235464 CPUtime=0.45 cores=0-31
/proc/13859/task/13875/stat : 13875 (claspmt) R 13857 13859 13833 0 -1 4202560 3863 0 0 0 21 24 0 0 16 0 32 0 7221422 2289115136 102044 270582939648 4194304 4964800 140736094985232 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=13859/tid=13876] ppid=13857 vsize=2235464 CPUtime=0.4 cores=0-31
/proc/13859/task/13876/stat : 13876 (claspmt) R 13857 13859 13833 0 -1 4202560 3186 0 0 0 17 23 0 0 18 0 32 0 7221422 2289115136 102044 270582939648 4194304 4964800 140736094985232 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=13859/tid=13877] ppid=13857 vsize=2235464 CPUtime=0.42 cores=0-31
/proc/13859/task/13877/stat : 13877 (claspmt) R 13857 13859 13833 0 -1 4202560 3176 0 0 0 16 26 0 0 18 0 32 0 7221422 2289115136 102044 270582939648 4194304 4964800 140736094985232 18446744073709551615 4660435 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=13859/tid=13878] ppid=13857 vsize=2235464 CPUtime=0.47 cores=0-31
/proc/13859/task/13878/stat : 13878 (claspmt) R 13857 13859 13833 0 -1 4202560 3851 0 0 0 22 25 0 0 18 0 32 0 7221422 2289115136 102044 270582939648 4194304 4964800 140736094985232 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=13859/tid=13879] ppid=13857 vsize=2235464 CPUtime=0.44 cores=0-31
/proc/13859/task/13879/stat : 13879 (claspmt) R 13857 13859 13833 0 -1 4202560 3741 0 0 0 21 23 0 0 18 0 32 0 7221423 2289115136 102044 270582939648 4194304 4964800 140736094985232 18446744073709551615 4678045 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=13859/tid=13880] ppid=13857 vsize=2235464 CPUtime=0.39 cores=0-31
/proc/13859/task/13880/stat : 13880 (claspmt) R 13857 13859 13833 0 -1 4202560 3143 0 0 0 17 22 0 0 18 0 32 0 7221423 2289115136 102045 270582939648 4194304 4964800 140736094985232 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=13859/tid=13881] ppid=13857 vsize=2235464 CPUtime=1.32 cores=0-31
/proc/13859/task/13881/stat : 13881 (claspmt) R 13857 13859 13833 0 -1 4202560 3688 0 0 0 106 26 0 0 19 0 32 0 7221423 2289115136 102045 270582939648 4194304 4964800 140736094985232 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=13859/tid=13882] ppid=13857 vsize=2235464 CPUtime=0.47 cores=0-31
/proc/13859/task/13882/stat : 13882 (claspmt) R 13857 13859 13833 0 -1 4202560 3890 0 0 0 20 27 0 0 18 0 32 0 7221423 2289115136 102045 270582939648 4194304 4964800 140736094985232 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=13859/tid=13883] ppid=13857 vsize=2235464 CPUtime=0.49 cores=0-31
/proc/13859/task/13883/stat : 13883 (claspmt) R 13857 13859 13833 0 -1 4202560 3783 0 0 0 22 27 0 0 16 0 32 0 7221423 2289115136 102045 270582939648 4194304 4964800 140736094985232 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=13859/tid=13884] ppid=13857 vsize=2235464 CPUtime=0.41 cores=0-31
/proc/13859/task/13884/stat : 13884 (claspmt) R 13857 13859 13833 0 -1 4202560 3275 0 0 0 17 24 0 0 18 0 32 0 7221423 2289115136 102045 270582939648 4194304 4964800 140736094985232 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=13859/tid=13885] ppid=13857 vsize=2235464 CPUtime=0.4 cores=0-31
/proc/13859/task/13885/stat : 13885 (claspmt) R 13857 13859 13833 0 -1 4202560 2993 0 0 0 18 22 0 0 18 0 32 0 7221423 2289115136 102045 270582939648 4194304 4964800 140736094985232 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=13859/tid=13886] ppid=13857 vsize=2235464 CPUtime=0.4 cores=0-31
/proc/13859/task/13886/stat : 13886 (claspmt) R 13857 13859 13833 0 -1 4202560 3755 0 0 0 18 22 0 0 18 0 32 0 7221423 2289115136 102045 270582939648 4194304 4964800 140736094985232 18446744073709551615 4361293 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=13859/tid=13887] ppid=13857 vsize=2235464 CPUtime=0.46 cores=0-31
/proc/13859/task/13887/stat : 13887 (claspmt) R 13857 13859 13833 0 -1 4202560 3808 0 0 0 21 25 0 0 18 0 32 0 7221423 2289115136 102045 270582939648 4194304 4964800 140736094985232 18446744073709551615 4653186 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=13859/tid=13888] ppid=13857 vsize=2235464 CPUtime=0.41 cores=0-31
/proc/13859/task/13888/stat : 13888 (claspmt) R 13857 13859 13833 0 -1 4202560 3182 0 0 0 18 23 0 0 18 0 32 0 7221424 2289115136 102046 270582939648 4194304 4964800 140736094985232 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=13859/tid=13889] ppid=13857 vsize=2235464 CPUtime=1.31 cores=0-31
/proc/13859/task/13889/stat : 13889 (claspmt) R 13857 13859 13833 0 -1 4202560 3695 0 0 0 107 24 0 0 19 0 32 0 7221424 2289115136 102046 270582939648 4194304 4964800 140736094985232 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=13859/tid=13890] ppid=13857 vsize=2235464 CPUtime=0.48 cores=0-31
/proc/13859/task/13890/stat : 13890 (claspmt) R 13857 13859 13833 0 -1 4202560 3738 0 0 0 21 27 0 0 16 0 32 0 7221424 2289115136 102046 270582939648 4194304 4964800 140736094985232 18446744073709551615 4363545 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=13859/tid=13891] ppid=13857 vsize=2235464 CPUtime=0.44 cores=0-31
/proc/13859/task/13891/stat : 13891 (claspmt) R 13857 13859 13833 0 -1 4202560 3609 0 0 0 22 22 0 0 18 0 32 0 7221424 2289115136 102046 270582939648 4194304 4964800 140736094985232 18446744073709551615 4360553 0 0 4096 18946 0 0 0 -1 18 0 0 0
Current children cumulated CPU time (s) 18.55
Current children cumulated vsize (KiB) 2235464

[startup+6.30231 s]
/proc/loadavg: 29.78 31.59 31.85 33/445 13891
/proc/meminfo: memFree=263004376/264257624 swapFree=67111528/67111528
[pid=13859] ppid=13857 vsize=2235464 CPUtime=120.79 cores=0-31
/proc/13859/stat : 13859 (claspmt) R 13857 13859 13833 0 -1 4202496 135049 0 0 0 11275 804 0 0 25 0 32 0 7221312 2289115136 113136 270582939648 4194304 4964800 140736094985232 18446744073709551615 4670299 0 0 4096 18946 18446744073709551615 0 0 17 21 0 0 0
/proc/13859/statm: 558866 113136 461 189 0 553215 0
[pid=13859/tid=13861] ppid=13857 vsize=2235464 CPUtime=3.61 cores=0-31
/proc/13859/task/13861/stat : 13861 (claspmt) R 13857 13859 13833 0 -1 4202560 3327 0 0 0 337 24 0 0 25 0 32 0 7221422 2289115136 113136 270582939648 4194304 4964800 140736094985232 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=13859/tid=13862] ppid=13857 vsize=2235464 CPUtime=3.64 cores=0-31
/proc/13859/task/13862/stat : 13862 (claspmt) R 13857 13859 13833 0 -1 4202560 4202 0 0 0 335 29 0 0 19 0 32 0 7221422 2289115136 113137 270582939648 4194304 4964800 140736094985232 18446744073709551615 4363017 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=13859/tid=13863] ppid=13857 vsize=2235464 CPUtime=3.66 cores=0-31
/proc/13859/task/13863/stat : 13863 (claspmt) R 13857 13859 13833 0 -1 4202560 3926 0 0 0 339 27 0 0 25 0 32 0 7221422 2289115136 113137 270582939648 4194304 4964800 140736094985232 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=13859/tid=13864] ppid=13857 vsize=2235464 CPUtime=3.6 cores=0-31
/proc/13859/task/13864/stat : 13864 (claspmt) R 13857 13859 13833 0 -1 4202560 3263 0 0 0 339 21 0 0 25 0 32 0 7221422 2289115136 113137 270582939648 4194304 4964800 140736094985232 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=13859/tid=13865] ppid=13857 vsize=2235464 CPUtime=4.53 cores=0-31
/proc/13859/task/13865/stat : 13865 (claspmt) R 13857 13859 13833 0 -1 4202560 3652 0 0 0 429 24 0 0 25 0 32 0 7221422 2289115136 113137 270582939648 4194304 4964800 140736094985232 18446744073709551615 4669280 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=13859/tid=13866] ppid=13857 vsize=2235464 CPUtime=3.62 cores=0-31
/proc/13859/task/13866/stat : 13866 (claspmt) R 13857 13859 13833 0 -1 4202560 4140 0 0 0 335 27 0 0 25 0 32 0 7221422 2289115136 113137 270582939648 4194304 4964800 140736094985232 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=13859/tid=13867] ppid=13857 vsize=2235464 CPUtime=3.65 cores=0-31
/proc/13859/task/13867/stat : 13867 (claspmt) R 13857 13859 13833 0 -1 4202560 5161 0 0 0 339 26 0 0 25 0 32 0 7221422 2289115136 113139 270582939648 4194304 4964800 140736094985232 18446744073709551615 4660442 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=13859/tid=13868] ppid=13857 vsize=2235464 CPUtime=3.6 cores=0-31
/proc/13859/task/13868/stat : 13868 (claspmt) R 13857 13859 13833 0 -1 4202560 3265 0 0 0 336 24 0 0 25 0 32 0 7221422 2289115136 113139 270582939648 4194304 4964800 140736094985232 18446744073709551615 4670407 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=13859/tid=13869] ppid=13857 vsize=2235464 CPUtime=3.63 cores=0-31
/proc/13859/task/13869/stat : 13869 (claspmt) R 13857 13859 13833 0 -1 4202560 3471 0 0 0 337 26 0 0 25 0 32 0 7221422 2289115136 113139 270582939648 4194304 4964800 140736094985232 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=13859/tid=13870] ppid=13857 vsize=2235464 CPUtime=3.66 cores=0-31
/proc/13859/task/13870/stat : 13870 (claspmt) R 13857 13859 13833 0 -1 4202560 4345 0 0 0 337 29 0 0 20 0 32 0 7221422 2289115136 113139 270582939648 4194304 4964800 140736094985232 18446744073709551615 4658586 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=13859/tid=13871] ppid=13857 vsize=2235464 CPUtime=3.66 cores=0-31
/proc/13859/task/13871/stat : 13871 (claspmt) R 13857 13859 13833 0 -1 4202560 3942 0 0 0 340 26 0 0 25 0 32 0 7221422 2289115136 113139 270582939648 4194304 4964800 140736094985232 18446744073709551615 4670194 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=13859/tid=13872] ppid=13857 vsize=2235464 CPUtime=3.6 cores=0-31
/proc/13859/task/13872/stat : 13872 (claspmt) R 13857 13859 13833 0 -1 4202560 3368 0 0 0 337 23 0 0 25 0 32 0 7221422 2289115136 113139 270582939648 4194304 4964800 140736094985232 18446744073709551615 4362492 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=13859/tid=13873] ppid=13857 vsize=2235464 CPUtime=4.47 cores=0-31
/proc/13859/task/13873/stat : 13873 (claspmt) R 13857 13859 13833 0 -1 4202560 3441 0 0 0 423 24 0 0 25 0 32 0 7221422 2289115136 113139 270582939648 4194304 4964800 140736094985232 18446744073709551615 4669396 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=13859/tid=13874] ppid=13857 vsize=2235464 CPUtime=3.62 cores=0-31
/proc/13859/task/13874/stat : 13874 (claspmt) R 13857 13859 13833 0 -1 4202560 3704 0 0 0 340 22 0 0 25 0 32 0 7221422 2289115136 113139 270582939648 4194304 4964800 140736094985232 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=13859/tid=13875] ppid=13857 vsize=2235464 CPUtime=3.65 cores=0-31
/proc/13859/task/13875/stat : 13875 (claspmt) R 13857 13859 13833 0 -1 4202560 4547 0 0 0 339 26 0 0 19 0 32 0 7221422 2289115136 113139 270582939648 4194304 4964800 140736094985232 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=13859/tid=13876] ppid=13857 vsize=2235464 CPUtime=3.6 cores=0-31
/proc/13859/task/13876/stat : 13876 (claspmt) R 13857 13859 13833 0 -1 4202560 3472 0 0 0 336 24 0 0 25 0 32 0 7221422 2289115136 113139 270582939648 4194304 4964800 140736094985232 18446744073709551615 4362287 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=13859/tid=13877] ppid=13857 vsize=2235464 CPUtime=3.53 cores=0-31
/proc/13859/task/13877/stat : 13877 (claspmt) R 13857 13859 13833 0 -1 4202560 3375 0 0 0 326 27 0 0 25 0 32 0 7221422 2289115136 113139 270582939648 4194304 4964800 140736094985232 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=13859/tid=13878] ppid=13857 vsize=2235464 CPUtime=3.67 cores=0-31
/proc/13859/task/13878/stat : 13878 (claspmt) R 13857 13859 13833 0 -1 4202560 4329 0 0 0 340 27 0 0 18 0 32 0 7221422 2289115136 113139 270582939648 4194304 4964800 140736094985232 18446744073709551615 4668712 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=13859/tid=13879] ppid=13857 vsize=2235464 CPUtime=3.64 cores=0-31
/proc/13859/task/13879/stat : 13879 (claspmt) R 13857 13859 13833 0 -1 4202560 4003 0 0 0 340 24 0 0 25 0 32 0 7221423 2289115136 113139 270582939648 4194304 4964800 140736094985232 18446744073709551615 4332103 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=13859/tid=13880] ppid=13857 vsize=2235464 CPUtime=3.58 cores=0-31
/proc/13859/task/13880/stat : 13880 (claspmt) R 13857 13859 13833 0 -1 4202560 3319 0 0 0 336 22 0 0 25 0 32 0 7221423 2289115136 113139 270582939648 4194304 4964800 140736094985232 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=13859/tid=13881] ppid=13857 vsize=2235464 CPUtime=4.52 cores=0-31
/proc/13859/task/13881/stat : 13881 (claspmt) R 13857 13859 13833 0 -1 4202560 3703 0 0 0 426 26 0 0 25 0 32 0 7221423 2289115136 113139 270582939648 4194304 4964800 140736094985232 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=13859/tid=13882] ppid=13857 vsize=2235464 CPUtime=3.67 cores=0-31
/proc/13859/task/13882/stat : 13882 (claspmt) R 13857 13859 13833 0 -1 4202560 4249 0 0 0 339 28 0 0 25 0 32 0 7221423 2289115136 113139 270582939648 4194304 4964800 140736094985232 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=13859/tid=13883] ppid=13857 vsize=2235464 CPUtime=3.69 cores=0-31
/proc/13859/task/13883/stat : 13883 (claspmt) R 13857 13859 13833 0 -1 4202560 5104 0 0 0 339 30 0 0 20 0 32 0 7221423 2289115136 113139 270582939648 4194304 4964800 140736094985232 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=13859/tid=13884] ppid=13857 vsize=2235464 CPUtime=3.61 cores=0-31
/proc/13859/task/13884/stat : 13884 (claspmt) R 13857 13859 13833 0 -1 4202560 3679 0 0 0 336 25 0 0 25 0 32 0 7221423 2289115136 113139 270582939648 4194304 4964800 140736094985232 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=13859/tid=13885] ppid=13857 vsize=2235464 CPUtime=3.6 cores=0-31
/proc/13859/task/13885/stat : 13885 (claspmt) R 13857 13859 13833 0 -1 4202560 3077 0 0 0 338 22 0 0 25 0 32 0 7221423 2289115136 113139 270582939648 4194304 4964800 140736094985232 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 20 0 0 0

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

[pid=13859/tid=13868] ppid=13857 vsize=11980020 CPUtime=4958.52 cores=0-31
/proc/13859/task/13868/stat : 13868 (claspmt) R 13857 13859 13833 0 -1 4202560 6870 0 0 0 495811 41 0 0 25 0 32 0 7221422 12267540480 2732758 270582939648 4194304 4964800 140736094985232 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=13859/tid=13869] ppid=13857 vsize=11980020 CPUtime=4958.4 cores=0-31
/proc/13859/task/13869/stat : 13869 (claspmt) R 13857 13859 13833 0 -1 4202560 7830 0 0 0 495796 44 0 0 25 0 32 0 7221422 12267540480 2732758 270582939648 4194304 4964800 140736094985232 18446744073709551615 4653507 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=13859/tid=13870] ppid=13857 vsize=11980020 CPUtime=4958.43 cores=0-31
/proc/13859/task/13870/stat : 13870 (claspmt) R 13857 13859 13833 0 -1 4202560 15307 0 0 0 495778 65 0 0 25 0 32 0 7221422 12267540480 2732758 270582939648 4194304 4964800 140736094985232 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=13859/tid=13871] ppid=13857 vsize=11980020 CPUtime=4958.55 cores=0-31
/proc/13859/task/13871/stat : 13871 (claspmt) R 13857 13859 13833 0 -1 4202560 7629 0 0 0 495815 40 0 0 25 0 32 0 7221422 12267540480 2732758 270582939648 4194304 4964800 140736094985232 18446744073709551615 4361247 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=13859/tid=13872] ppid=13857 vsize=11980020 CPUtime=4943.05 cores=0-31
/proc/13859/task/13872/stat : 13872 (claspmt) R 13857 13859 13833 0 -1 4202560 35596 0 0 0 494186 119 0 0 25 0 32 0 7221422 12267540480 2732758 270582939648 4194304 4964800 140736094985232 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=13859/tid=13873] ppid=13857 vsize=11980020 CPUtime=4959.38 cores=0-31
/proc/13859/task/13873/stat : 13873 (claspmt) R 13857 13859 13833 0 -1 4202560 25688 0 0 0 495847 91 0 0 25 0 32 0 7221422 12267540480 2732758 270582939648 4194304 4964800 140736094985232 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=13859/tid=13874] ppid=13857 vsize=11980020 CPUtime=4946.46 cores=0-31
/proc/13859/task/13874/stat : 13874 (claspmt) R 13857 13859 13833 0 -1 4202560 8349 0 0 0 494605 41 0 0 25 0 32 0 7221422 12267540480 2732758 270582939648 4194304 4964800 140736094985232 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=13859/tid=13875] ppid=13857 vsize=11980020 CPUtime=4956.49 cores=0-31
/proc/13859/task/13875/stat : 13875 (claspmt) R 13857 13859 13833 0 -1 4202560 646457 0 0 0 494614 1035 0 0 25 0 32 0 7221422 12267540480 2732758 270582939648 4194304 4964800 140736094985232 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=13859/tid=13876] ppid=13857 vsize=11980020 CPUtime=4958.51 cores=0-31
/proc/13859/task/13876/stat : 13876 (claspmt) R 13857 13859 13833 0 -1 4202560 6373 0 0 0 495813 38 0 0 25 0 32 0 7221422 12267540480 2732758 270582939648 4194304 4964800 140736094985232 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=13859/tid=13877] ppid=13857 vsize=11980020 CPUtime=4949.51 cores=0-31
/proc/13859/task/13877/stat : 13877 (claspmt) R 13857 13859 13833 0 -1 4202560 5563 0 0 0 494912 39 0 0 25 0 32 0 7221422 12267540480 2732758 270582939648 4194304 4964800 140736094985232 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=13859/tid=13878] ppid=13857 vsize=11980020 CPUtime=4958.59 cores=0-31
/proc/13859/task/13878/stat : 13878 (claspmt) R 13857 13859 13833 0 -1 4202560 25167 0 0 0 495766 93 0 0 25 0 32 0 7221422 12267540480 2732758 270582939648 4194304 4964800 140736094985232 18446744073709551615 4669026 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=13859/tid=13879] ppid=13857 vsize=11980020 CPUtime=4958.52 cores=0-31
/proc/13859/task/13879/stat : 13879 (claspmt) R 13857 13859 13833 0 -1 4202560 8215 0 0 0 495813 39 0 0 25 0 32 0 7221423 12267540480 2732758 270582939648 4194304 4964800 140736094985232 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=13859/tid=13880] ppid=13857 vsize=11980020 CPUtime=4949.43 cores=0-31
/proc/13859/task/13880/stat : 13880 (claspmt) R 13857 13859 13833 0 -1 4202560 65002 0 0 0 494753 190 0 0 25 0 32 0 7221423 12267540480 2732758 270582939648 4194304 4964800 140736094985232 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=13859/tid=13881] ppid=13857 vsize=11980020 CPUtime=4959.41 cores=0-31
/proc/13859/task/13881/stat : 13881 (claspmt) R 13857 13859 13833 0 -1 4202560 31930 0 0 0 495831 110 0 0 25 0 32 0 7221423 12267540480 2732758 270582939648 4194304 4964800 140736094985232 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=13859/tid=13882] ppid=13857 vsize=11980020 CPUtime=4957.78 cores=0-31
/proc/13859/task/13882/stat : 13882 (claspmt) R 13857 13859 13833 0 -1 4202560 7748 0 0 0 495736 42 0 0 25 0 32 0 7221423 12267540480 2732758 270582939648 4194304 4964800 140736094985232 18446744073709551615 4654473 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=13859/tid=13883] ppid=13857 vsize=11980020 CPUtime=4958.49 cores=0-31
/proc/13859/task/13883/stat : 13883 (claspmt) R 13857 13859 13833 0 -1 4202560 512365 0 0 0 494989 860 0 0 25 0 32 0 7221423 12267540480 2732758 270582939648 4194304 4964800 140736094985232 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=13859/tid=13884] ppid=13857 vsize=11980020 CPUtime=4958.52 cores=0-31
/proc/13859/task/13884/stat : 13884 (claspmt) R 13857 13859 13833 0 -1 4202560 8492 0 0 0 495807 45 0 0 25 0 32 0 7221423 12267540480 2732758 270582939648 4194304 4964800 140736094985232 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=13859/tid=13885] ppid=13857 vsize=11980020 CPUtime=4958.41 cores=0-31
/proc/13859/task/13885/stat : 13885 (claspmt) R 13857 13859 13833 0 -1 4202560 5685 0 0 0 495807 34 0 0 25 0 32 0 7221423 12267540480 2732758 270582939648 4194304 4964800 140736094985232 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=13859/tid=13886] ppid=13857 vsize=11980020 CPUtime=4951.36 cores=0-31
/proc/13859/task/13886/stat : 13886 (claspmt) R 13857 13859 13833 0 -1 4202560 19977 0 0 0 495062 74 0 0 25 0 32 0 7221423 12267540480 2732758 270582939648 4194304 4964800 140736094985232 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=13859/tid=13887] ppid=13857 vsize=11980020 CPUtime=4958.58 cores=0-31
/proc/13859/task/13887/stat : 13887 (claspmt) R 13857 13859 13833 0 -1 4202560 8102 0 0 0 495816 42 0 0 25 0 32 0 7221423 12267540480 2732758 270582939648 4194304 4964800 140736094985232 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=13859/tid=13888] ppid=13857 vsize=11980020 CPUtime=4940.55 cores=0-31
/proc/13859/task/13888/stat : 13888 (claspmt) R 13857 13859 13833 0 -1 4202560 29263 0 0 0 493945 110 0 0 25 0 32 0 7221424 12267540480 2732758 270582939648 4194304 4964800 140736094985232 18446744073709551615 4678036 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=13859/tid=13889] ppid=13857 vsize=11980020 CPUtime=4959.38 cores=0-31
/proc/13859/task/13889/stat : 13889 (claspmt) R 13857 13859 13833 0 -1 4202560 41327 0 0 0 495788 150 0 0 25 0 32 0 7221424 12267540480 2732758 270582939648 4194304 4964800 140736094985232 18446744073709551615 4627168 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=13859/tid=13890] ppid=13857 vsize=11980020 CPUtime=4958.11 cores=0-31
/proc/13859/task/13890/stat : 13890 (claspmt) R 13857 13859 13833 0 -1 4202560 7598 0 0 0 495762 49 0 0 25 0 32 0 7221424 12267540480 2732758 270582939648 4194304 4964800 140736094985232 18446744073709551615 4670264 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=13859/tid=13891] ppid=13857 vsize=11980020 CPUtime=4958.48 cores=0-31
/proc/13859/task/13891/stat : 13891 (claspmt) R 13857 13859 13833 0 -1 4202560 683357 0 0 0 494693 1155 0 0 25 0 32 0 7221424 12267540480 2732758 270582939648 4194304 4964800 140736094985232 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 18 0 0 0
Current children cumulated CPU time (s) 158532
Current children cumulated vsize (KiB) 11980020



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+5008.32 s]
/proc/loadavg: 32.15 32.14 32.13 33/445 14046
/proc/meminfo: memFree=252485184/264257624 swapFree=67111528/67111528
[pid=13859] ppid=13857 vsize=11980020 CPUtime=160003 cores=0-31
/proc/13859/stat : 13859 (claspmt) R 13857 13859 13833 0 -1 4202496 3013103 0 0 0 15994326 5993 0 0 25 0 32 0 7221312 12267540480 2732758 270582939648 4194304 4964800 140736094985232 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 21 0 0 0
/proc/13859/statm: 2995005 2732758 463 189 0 2989354 0
[pid=13859/tid=13861] ppid=13857 vsize=11980020 CPUtime=5000.06 cores=0-31
/proc/13859/task/13861/stat : 13861 (claspmt) R 13857 13859 13833 0 -1 4202560 6275 0 0 0 499970 36 0 0 25 0 32 0 7221422 12267540480 2732758 270582939648 4194304 4964800 140736094985232 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=13859/tid=13862] ppid=13857 vsize=11980020 CPUtime=5004.61 cores=0-31
/proc/13859/task/13862/stat : 13862 (claspmt) R 13857 13859 13833 0 -1 4202560 19125 0 0 0 500387 74 0 0 25 0 32 0 7221422 12267540480 2732758 270582939648 4194304 4964800 140736094985232 18446744073709551615 4684107 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=13859/tid=13863] ppid=13857 vsize=11980020 CPUtime=4979.27 cores=0-31
/proc/13859/task/13863/stat : 13863 (claspmt) R 13857 13859 13833 0 -1 4202560 6877 0 0 0 497887 40 0 0 25 0 32 0 7221422 12267540480 2732758 270582939648 4194304 4964800 140736094985232 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=13859/tid=13864] ppid=13857 vsize=11980020 CPUtime=4996.14 cores=0-31
/proc/13859/task/13864/stat : 13864 (claspmt) R 13857 13859 13833 0 -1 4202560 42138 0 0 0 499485 129 0 0 25 0 32 0 7221422 12267540480 2732758 270582939648 4194304 4964800 140736094985232 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=13859/tid=13865] ppid=13857 vsize=11980020 CPUtime=4970.64 cores=0-31
/proc/13859/task/13865/stat : 13865 (claspmt) R 13857 13859 13833 0 -1 4202560 28488 0 0 0 496957 107 0 0 25 0 32 0 7221422 12267540480 2732758 270582939648 4194304 4964800 140736094985232 18446744073709551615 4362375 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=13859/tid=13866] ppid=13857 vsize=11980020 CPUtime=5004.57 cores=0-31
/proc/13859/task/13866/stat : 13866 (claspmt) R 13857 13859 13833 0 -1 4202560 7539 0 0 0 500421 36 0 0 25 0 32 0 7221422 12267540480 2732758 270582939648 4194304 4964800 140736094985232 18446744073709551615 4363327 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=13859/tid=13867] ppid=13857 vsize=11980020 CPUtime=5004.52 cores=0-31
/proc/13859/task/13867/stat : 13867 (claspmt) R 13857 13859 13833 0 -1 4202560 663211 0 0 0 499474 978 0 0 25 0 32 0 7221422 12267540480 2732758 270582939648 4194304 4964800 140736094985232 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=13859/tid=13868] ppid=13857 vsize=11980020 CPUtime=5004.56 cores=0-31
/proc/13859/task/13868/stat : 13868 (claspmt) R 13857 13859 13833 0 -1 4202560 6870 0 0 0 500415 41 0 0 25 0 32 0 7221422 12267540480 2732758 270582939648 4194304 4964800 140736094985232 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=13859/tid=13869] ppid=13857 vsize=11980020 CPUtime=5004.43 cores=0-31
/proc/13859/task/13869/stat : 13869 (claspmt) R 13857 13859 13833 0 -1 4202560 7830 0 0 0 500399 44 0 0 25 0 32 0 7221422 12267540480 2732758 270582939648 4194304 4964800 140736094985232 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=13859/tid=13870] ppid=13857 vsize=11980020 CPUtime=5004.46 cores=0-31
/proc/13859/task/13870/stat : 13870 (claspmt) R 13857 13859 13833 0 -1 4202560 15307 0 0 0 500381 65 0 0 25 0 32 0 7221422 12267540480 2732758 270582939648 4194304 4964800 140736094985232 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=13859/tid=13871] ppid=13857 vsize=11980020 CPUtime=5004.59 cores=0-31
/proc/13859/task/13871/stat : 13871 (claspmt) R 13857 13859 13833 0 -1 4202560 7629 0 0 0 500419 40 0 0 25 0 32 0 7221422 12267540480 2732758 270582939648 4194304 4964800 140736094985232 18446744073709551615 4668987 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=13859/tid=13872] ppid=13857 vsize=11980020 CPUtime=4989.09 cores=0-31
/proc/13859/task/13872/stat : 13872 (claspmt) R 13857 13859 13833 0 -1 4202560 35596 0 0 0 498790 119 0 0 25 0 32 0 7221422 12267540480 2732758 270582939648 4194304 4964800 140736094985232 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=13859/tid=13873] ppid=13857 vsize=11980020 CPUtime=5005.41 cores=0-31
/proc/13859/task/13873/stat : 13873 (claspmt) R 13857 13859 13833 0 -1 4202560 25688 0 0 0 500450 91 0 0 25 0 32 0 7221422 12267540480 2732758 270582939648 4194304 4964800 140736094985232 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=13859/tid=13874] ppid=13857 vsize=11980020 CPUtime=4992.49 cores=0-31
/proc/13859/task/13874/stat : 13874 (claspmt) R 13857 13859 13833 0 -1 4202560 8349 0 0 0 499208 41 0 0 25 0 32 0 7221422 12267540480 2732758 270582939648 4194304 4964800 140736094985232 18446744073709551615 4653507 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=13859/tid=13875] ppid=13857 vsize=11980020 CPUtime=5002.51 cores=0-31
/proc/13859/task/13875/stat : 13875 (claspmt) R 13857 13859 13833 0 -1 4202560 646457 0 0 0 499216 1035 0 0 25 0 32 0 7221422 12267540480 2732758 270582939648 4194304 4964800 140736094985232 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=13859/tid=13876] ppid=13857 vsize=11980020 CPUtime=5004.54 cores=0-31
/proc/13859/task/13876/stat : 13876 (claspmt) R 13857 13859 13833 0 -1 4202560 6373 0 0 0 500416 38 0 0 25 0 32 0 7221422 12267540480 2732758 270582939648 4194304 4964800 140736094985232 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=13859/tid=13877] ppid=13857 vsize=11980020 CPUtime=4995.55 cores=0-31
/proc/13859/task/13877/stat : 13877 (claspmt) R 13857 13859 13833 0 -1 4202560 5563 0 0 0 499516 39 0 0 25 0 32 0 7221422 12267540480 2732758 270582939648 4194304 4964800 140736094985232 18446744073709551615 4659391 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=13859/tid=13878] ppid=13857 vsize=11980020 CPUtime=5004.63 cores=0-31
/proc/13859/task/13878/stat : 13878 (claspmt) R 13857 13859 13833 0 -1 4202560 25167 0 0 0 500370 93 0 0 25 0 32 0 7221422 12267540480 2732758 270582939648 4194304 4964800 140736094985232 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=13859/tid=13879] ppid=13857 vsize=11980020 CPUtime=5004.56 cores=0-31
/proc/13859/task/13879/stat : 13879 (claspmt) R 13857 13859 13833 0 -1 4202560 8215 0 0 0 500417 39 0 0 25 0 32 0 7221423 12267540480 2732758 270582939648 4194304 4964800 140736094985232 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=13859/tid=13880] ppid=13857 vsize=11980020 CPUtime=4995.46 cores=0-31
/proc/13859/task/13880/stat : 13880 (claspmt) R 13857 13859 13833 0 -1 4202560 65002 0 0 0 499355 191 0 0 25 0 32 0 7221423 12267540480 2732758 270582939648 4194304 4964800 140736094985232 18446744073709551615 4362375 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=13859/tid=13881] ppid=13857 vsize=11980020 CPUtime=5005.45 cores=0-31
/proc/13859/task/13881/stat : 13881 (claspmt) R 13857 13859 13833 0 -1 4202560 31930 0 0 0 500435 110 0 0 25 0 32 0 7221423 12267540480 2732758 270582939648 4194304 4964800 140736094985232 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=13859/tid=13882] ppid=13857 vsize=11980020 CPUtime=5003.82 cores=0-31
/proc/13859/task/13882/stat : 13882 (claspmt) R 13857 13859 13833 0 -1 4202560 7748 0 0 0 500340 42 0 0 25 0 32 0 7221423 12267540480 2732758 270582939648 4194304 4964800 140736094985232 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=13859/tid=13883] ppid=13857 vsize=11980020 CPUtime=5004.52 cores=0-31
/proc/13859/task/13883/stat : 13883 (claspmt) R 13857 13859 13833 0 -1 4202560 512365 0 0 0 499592 860 0 0 25 0 32 0 7221423 12267540480 2732758 270582939648 4194304 4964800 140736094985232 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=13859/tid=13884] ppid=13857 vsize=11980020 CPUtime=5004.56 cores=0-31
/proc/13859/task/13884/stat : 13884 (claspmt) R 13857 13859 13833 0 -1 4202560 8492 0 0 0 500411 45 0 0 25 0 32 0 7221423 12267540480 2732758 270582939648 4194304 4964800 140736094985232 18446744073709551615 4669389 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=13859/tid=13885] ppid=13857 vsize=11980020 CPUtime=5004.45 cores=0-31
/proc/13859/task/13885/stat : 13885 (claspmt) R 13857 13859 13833 0 -1 4202560 5685 0 0 0 500411 34 0 0 25 0 32 0 7221423 12267540480 2732758 270582939648 4194304 4964800 140736094985232 18446744073709551615 4321042 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=13859/tid=13886] ppid=13857 vsize=11980020 CPUtime=4997.38 cores=0-31
/proc/13859/task/13886/stat : 13886 (claspmt) R 13857 13859 13833 0 -1 4202560 19977 0 0 0 499663 75 0 0 25 0 32 0 7221423 12267540480 2732758 270582939648 4194304 4964800 140736094985232 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=13859/tid=13887] ppid=13857 vsize=11980020 CPUtime=5004.62 cores=0-31
/proc/13859/task/13887/stat : 13887 (claspmt) R 13857 13859 13833 0 -1 4202560 8102 0 0 0 500420 42 0 0 25 0 32 0 7221423 12267540480 2732758 270582939648 4194304 4964800 140736094985232 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=13859/tid=13888] ppid=13857 vsize=11980020 CPUtime=4986.59 cores=0-31
/proc/13859/task/13888/stat : 13888 (claspmt) R 13857 13859 13833 0 -1 4202560 29263 0 0 0 498549 110 0 0 25 0 32 0 7221424 12267540480 2732758 270582939648 4194304 4964800 140736094985232 18446744073709551615 4668987 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=13859/tid=13889] ppid=13857 vsize=11980020 CPUtime=5005.41 cores=0-31
/proc/13859/task/13889/stat : 13889 (claspmt) R 13857 13859 13833 0 -1 4202560 41327 0 0 0 500391 150 0 0 25 0 32 0 7221424 12267540480 2732758 270582939648 4194304 4964800 140736094985232 18446744073709551615 4668987 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=13859/tid=13890] ppid=13857 vsize=11980020 CPUtime=5004.11 cores=0-31
/proc/13859/task/13890/stat : 13890 (claspmt) R 13857 13859 13833 0 -1 4202560 7598 0 0 0 500362 49 0 0 25 0 32 0 7221424 12267540480 2732758 270582939648 4194304 4964800 140736094985232 18446744073709551615 4678036 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=13859/tid=13891] ppid=13857 vsize=11980020 CPUtime=5004.51 cores=0-31
/proc/13859/task/13891/stat : 13891 (claspmt) R 13857 13859 13833 0 -1 4202560 683357 0 0 0 499295 1156 0 0 25 0 32 0 7221424 12267540480 2732758 270582939648 4194304 4964800 140736094985232 18446744073709551615 4669512 0 0 4096 18946 0 0 0 -1 18 0 0 0
Current children cumulated CPU time (s) 160003
Current children cumulated vsize (KiB) 11980020

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -13859

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

[startup+5009.44 s]
/proc/loadavg: 32.15 32.14 32.13 2/415 14047
/proc/meminfo: memFree=252544448/264257624 swapFree=67111528/67111528
[pid=13859] ppid=13857 vsize=11845188 CPUtime=160005 cores=0-31
/proc/13859/stat : 13859 (claspmt) R 13857 13859 13833 0 -1 4202496 3013114 0 0 0 15994469 5994 0 0 25 0 1 0 7221312 12129472512 2716007 270582939648 4194304 4964800 140736094985232 18446744073709551615 258650610907 0 0 4096 18946 0 0 0 17 21 0 0 0
/proc/13859/statm: 2961297 2716007 474 189 0 2955646 0
Current children cumulated CPU time (s) 160005
Current children cumulated vsize (KiB) 11845188

[startup+5010.2 s]
/proc/loadavg: 32.15 32.14 32.13 2/415 14047
/proc/meminfo: memFree=252544448/264257624 swapFree=67111528/67111528
[pid=13859] ppid=13857 vsize=11751460 CPUtime=160005 cores=0-31
/proc/13859/stat : 13859 (claspmt) R 13857 13859 13833 0 -1 4202496 3013114 0 0 0 15994545 5994 0 0 25 0 1 0 7221312 12033495040 2698577 270582939648 4194304 4964800 140736094985232 18446744073709551615 4646607 0 0 4096 18946 0 0 0 17 21 0 0 0
/proc/13859/statm: 2937865 2698577 474 189 0 2932214 0
Current children cumulated CPU time (s) 160005
Current children cumulated vsize (KiB) 11751460

[startup+5010.6 s]
/proc/loadavg: 29.66 31.63 31.97 2/414 14047
/proc/meminfo: memFree=253547724/264257624 swapFree=67111528/67111528
[pid=13859] ppid=13857 vsize=0 CPUtime=160006 cores=0-31
/proc/13859/stat : 13859 (claspmt) R 13857 13859 13833 0 -1 4203524 3013114 0 0 0 15994560 6019 0 0 25 0 1 0 7221312 0 0 270582939648 0 0 0 0 0 0 0 4096 18946 18446744073709551615 0 0 17 21 0 0 0
/proc/13859/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 160006
Current children cumulated vsize (KiB) 0

[startup+5010.8 s]
/proc/loadavg: 29.66 31.63 31.97 2/414 14047
/proc/meminfo: memFree=253547724/264257624 swapFree=67111528/67111528
[pid=13859] ppid=13857 vsize=0 CPUtime=160006 cores=0-31
/proc/13859/stat : 13859 (claspmt) R 13857 13859 13833 0 -1 4203524 3013114 0 0 0 15994560 6039 0 0 25 0 1 0 7221312 0 0 270582939648 0 0 0 0 0 0 0 4096 18946 18446744073709551615 0 0 17 21 0 0 0
/proc/13859/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 160006
Current children cumulated vsize (KiB) 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 5010.84
CPU time (s): 160006
CPU user time (s): 159946
CPU system time (s): 60.4268
CPU usage (%): 3193.2
Max. virtual memory (cumulated for all children) (KiB): 11990920

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 159946
system time used= 60.4268
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3013114
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= 181586
involuntary context switches= 403212

runsolver used 30.4514 second user time and 110.937 second system time

The end

Launcher Data 

Begin job on node200 at 2011-06-07 05:45:44
IDJOB=3472301
IDBENCH=70781
IDSOLVER=1961
FILE ID=node200/3472301-1307418344
RUNJOBID= node200-1307418344-13847
PBS_JOBID= 13509180
Free space on /tmp= 61740 MiB

SOLVER NAME= claspmt 2.0-R4095-patched (fixed)
BENCH NAME= SAT09/APPLICATIONS/bitverif/countbitssrl/countbitssrl064.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-3472301-1307418344/watcher-3472301-1307418344 -o /tmp/evaluation-result-3472301-1307418344/solver-3472301-1307418344 -C 160000 -W 5100 -M 256000  HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472301-1307418344.cnf

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

MD5SUM BENCH= 4f9c883534eb89cad9b9cad9e6eccbd0
RANDOM SEED=1068276849

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:      263437028 kB
Buffers:         91720 kB
Cached:         500156 kB
SwapCached:          0 kB
Active:         153096 kB
Inactive:       501796 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      263437028 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            4380 kB
Writeback:           0 kB
AnonPages:       63860 kB
Mapped:          14404 kB
Slab:            85264 kB
PageTables:       4332 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   162256 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296372 kB
VmallocChunk: 34359440603 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 61740 MiB
End job on node200 at 2011-06-07 07:09:15