Trace number 3313467

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
STRUCTure 0.1? (TO) 4800.57 1205.05

General information on the benchmark

NameAPPLICATIONS/bitverif/
smulo/smulo064.cnf
MD5SUM472e9d10d7fd1a82d06da0809d0002df
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 variables47129
Number of clauses141002
Sum of the clauses size329002
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 294000
Number of clauses of size 347000
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.13/0.30	11:32 INFO : Reading from input HOME/instance-3313467-1304075492.cnf
0.93/0.99	Executor set job limit to 1000000
0.93/0.99	Executor set job limit to 1000000
0.93/0.99	Executor set job limit to 1000000
0.93/0.99	Executor set job limit to 1000000
0.93/0.99	Starting Executor!
0.93/0.99	Starting Executor!
0.93/0.99	Starting Executor!
0.93/0.99	Starting Executor!
5.23/3.02	11:35 INFO : 47119 variables remaining out of 47129
5.23/3.02	11:35 INFO : 780937 literals remaining out of 470004

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: 935)

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-3313467-1304075492/watcher-3313467-1304075492 -o /tmp/evaluation-result-3313467-1304075492/solver-3313467-1304075492 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3313467-1304075492.cnf 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 3.70 4.05 5.23 2/174 22852
/proc/meminfo: memFree=18460728/32950928 swapFree=67111524/67111528
[pid=22852] ppid=22850 vsize=23028 CPUtime=0 cores=0,2,4,6
/proc/22852/stat : 22852 (java) R 22850 22852 20564 0 -1 4202496 1189 0 0 0 0 0 0 0 20 0 1 0 597779865 23580672 676 33554432000 1073741824 1073778376 140733640964288 18446744073709551615 256410469808 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/22852/statm: 5757 676 503 9 0 124 0

[startup+0.0941221 s]
/proc/loadavg: 3.70 4.05 5.23 2/174 22852
/proc/meminfo: memFree=18460728/32950928 swapFree=67111524/67111528
[pid=22852] ppid=22850 vsize=15609916 CPUtime=0.06 cores=0,2,4,6
/proc/22852/stat : 22852 (java) S 22850 22852 20564 0 -1 4202496 4472 0 1 0 6 0 0 0 20 0 18 0 597779865 15984553984 3912 33554432000 1073741824 1073778376 140733640964288 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/22852/statm: 3902479 3918 1782 9 0 3893198 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 15609916

[startup+0.105329 s]
/proc/loadavg: 3.70 4.05 5.23 2/174 22852
/proc/meminfo: memFree=18460728/32950928 swapFree=67111524/67111528
[pid=22852] ppid=22850 vsize=15676844 CPUtime=0.08 cores=0,2,4,6
/proc/22852/stat : 22852 (java) S 22850 22852 20564 0 -1 4202496 5323 0 1 0 8 0 0 0 20 0 18 0 597779865 16053088256 4763 33554432000 1073741824 1073778376 140733640964288 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/22852/statm: 3919211 4763 2115 9 0 3909930 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 15676844

[startup+0.301083 s]
/proc/loadavg: 3.70 4.05 5.23 2/174 22852
/proc/meminfo: memFree=18460728/32950928 swapFree=67111524/67111528
[pid=22852] ppid=22850 vsize=15676844 CPUtime=0.13 cores=0,2,4,6
/proc/22852/stat : 22852 (java) S 22850 22852 20564 0 -1 4202496 5786 0 1 0 11 2 0 0 20 0 18 0 597779865 16053088256 5226 33554432000 1073741824 1073778376 140733640964288 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/22852/statm: 3919211 5226 2135 9 0 3909930 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 15676844

[startup+0.70105 s]
/proc/loadavg: 3.70 4.05 5.23 2/174 22852
/proc/meminfo: memFree=18460728/32950928 swapFree=67111524/67111528
[pid=22852] ppid=22850 vsize=15680388 CPUtime=0.73 cores=0,2,4,6
/proc/22852/stat : 22852 (java) S 22850 22852 20564 0 -1 4202496 41047 0 1 0 67 6 0 0 20 0 18 0 597779865 16056717312 39539 33554432000 1073741824 1073778376 140733640964288 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/22852/statm: 3920097 39539 2222 9 0 3910816 0
Current children cumulated CPU time (s) 0.73
Current children cumulated vsize (KiB) 15680388

[startup+1.50092 s]
/proc/loadavg: 3.70 4.05 5.23 3/216 22897
/proc/meminfo: memFree=18149656/32950928 swapFree=67111524/67111528
[pid=22852] ppid=22850 vsize=15717076 CPUtime=2.05 cores=0,2,4,6
/proc/22852/stat : 22852 (java) S 22850 22852 20564 0 -1 4202496 58798 0 1 0 196 9 0 0 20 0 22 0 597779865 16094285824 54074 33554432000 1073741824 1073778376 140733640964288 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/22852/statm: 3929269 54074 2259 9 0 3919988 0
[pid=22852/tid=22854] ppid=22850 vsize=15717076 CPUtime=1.28 cores=0,2,4,6
/proc/22852/task/22854/stat : 22854 (java) R 22850 22852 20564 0 -1 4202560 35587 0 1 0 122 6 0 0 20 0 22 0 597779866 16094285824 54074 33554432000 1073741824 1073778376 140733640964288 18446744073709551615 47441640568646 0 4 0 16800975 0 0 0 -1 0 0 0 14
[pid=22852/tid=22855] ppid=22850 vsize=15717076 CPUtime=0.01 cores=0,2,4,6
/proc/22852/task/22855/stat : 22855 (java) S 22850 22852 20564 0 -1 4202560 2336 0 0 0 1 0 0 0 16 0 22 0 597779867 16094285824 54074 33554432000 1073741824 1073778376 140733640964288 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 6 0 0 0
[pid=22852/tid=22856] ppid=22850 vsize=15717076 CPUtime=0.01 cores=0,2,4,6
/proc/22852/task/22856/stat : 22856 (java) S 22850 22852 20564 0 -1 4202560 1367 0 0 0 1 0 0 0 16 0 22 0 597779867 16094285824 54074 33554432000 1073741824 1073778376 140733640964288 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 4 0 0 0
[pid=22852/tid=22857] ppid=22850 vsize=15717076 CPUtime=0 cores=0,2,4,6
/proc/22852/task/22857/stat : 22857 (java) S 22850 22852 20564 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 597779867 16094285824 54074 33554432000 1073741824 1073778376 140733640964288 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 0 0 0 0
[pid=22852/tid=22858] ppid=22850 vsize=15717076 CPUtime=0 cores=0,2,4,6
/proc/22852/task/22858/stat : 22858 (java) S 22850 22852 20564 0 -1 4202560 27 0 0 0 0 0 0 0 15 0 22 0 597779867 16094285824 54074 33554432000 1073741824 1073778376 140733640964288 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 6 0 0 0
[pid=22852/tid=22859] ppid=22850 vsize=15717076 CPUtime=0 cores=0,2,4,6
/proc/22852/task/22859/stat : 22859 (java) S 22850 22852 20564 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 22 0 597779867 16094285824 54074 33554432000 1073741824 1073778376 140733640964288 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 2 0 0 0
[pid=22852/tid=22860] ppid=22850 vsize=15717076 CPUtime=0 cores=0,2,4,6
/proc/22852/task/22860/stat : 22860 (java) S 22850 22852 20564 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 22 0 597779867 16094285824 54074 33554432000 1073741824 1073778376 140733640964288 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 0 0 0 0
[pid=22852/tid=22861] ppid=22850 vsize=15717076 CPUtime=0.01 cores=0,2,4,6
/proc/22852/task/22861/stat : 22861 (java) S 22850 22852 20564 0 -1 4202560 1841 0 0 0 1 0 0 0 16 0 22 0 597779867 16094285824 54074 33554432000 1073741824 1073778376 140733640964288 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 0 0 0 0
[pid=22852/tid=22862] ppid=22850 vsize=15717076 CPUtime=0.01 cores=0,2,4,6
/proc/22852/task/22862/stat : 22862 (java) S 22850 22852 20564 0 -1 4202560 1091 0 0 0 1 0 0 0 16 0 22 0 597779867 16094285824 54074 33554432000 1073741824 1073778376 140733640964288 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 2 0 0 0
[pid=22852/tid=22863] ppid=22850 vsize=15717076 CPUtime=0 cores=0,2,4,6
/proc/22852/task/22863/stat : 22863 (java) S 22850 22852 20564 0 -1 4202560 73 0 0 0 0 0 0 0 15 0 22 0 597779868 16094285824 54074 33554432000 1073741824 1073778376 140733640964288 18446744073709551615 256427208192 0 0 0 16800975 18446604453856720704 0 0 -1 6 0 0 0
[pid=22852/tid=22864] ppid=22850 vsize=15717076 CPUtime=0 cores=0,2,4,6
/proc/22852/task/22864/stat : 22864 (java) S 22850 22852 20564 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 597779868 16094285824 54074 33554432000 1073741824 1073778376 140733640964288 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 6 0 0 0
[pid=22852/tid=22865] ppid=22850 vsize=15717076 CPUtime=0 cores=0,2,4,6
/proc/22852/task/22865/stat : 22865 (java) S 22850 22852 20564 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 22 0 597779868 16094285824 54074 33554432000 1073741824 1073778376 140733640964288 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 6 0 0 0
[pid=22852/tid=22866] ppid=22850 vsize=15717076 CPUtime=0 cores=0,2,4,6
/proc/22852/task/22866/stat : 22866 (java) S 22850 22852 20564 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 597779872 16094285824 54074 33554432000 1073741824 1073778376 140733640964288 18446744073709551615 256427215281 0 4 0 16800975 18446604453856720704 0 0 -1 6 0 0 0
[pid=22852/tid=22867] ppid=22850 vsize=15717076 CPUtime=0.2 cores=0,2,4,6
/proc/22852/task/22867/stat : 22867 (java) S 22850 22852 20564 0 -1 4202560 2336 0 0 0 20 0 0 0 15 0 22 0 597779872 16094285824 54074 33554432000 1073741824 1073778376 140733640964288 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 4 0 0 0
[pid=22852/tid=22868] ppid=22850 vsize=15717076 CPUtime=0.49 cores=0,2,4,6
/proc/22852/task/22868/stat : 22868 (java) R 22850 22852 20564 0 -1 4202560 12705 0 0 0 48 1 0 0 16 0 22 0 597779872 16094285824 54074 33554432000 1073741824 1073778376 140733640964288 18446744073709551615 47441637236098 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=22852/tid=22869] ppid=22850 vsize=15717076 CPUtime=0 cores=0,2,4,6
/proc/22852/task/22869/stat : 22869 (java) S 22850 22852 20564 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 597779872 16094285824 54074 33554432000 1073741824 1073778376 140733640964288 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 6 0 0 0
[pid=22852/tid=22870] ppid=22850 vsize=15717076 CPUtime=0 cores=0,2,4,6
/proc/22852/task/22870/stat : 22870 (java) S 22850 22852 20564 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 597779872 16094285824 54074 33554432000 1073741824 1073778376 140733640964288 18446744073709551615 256427208192 0 4 0 16800975 18446604453856720704 0 0 -1 4 0 0 0
[pid=22852/tid=22894] ppid=22850 vsize=15717076 CPUtime=0 cores=0,2,4,6
/proc/22852/task/22894/stat : 22894 (java) S 22850 22852 20564 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 22 0 597779965 16094285824 54074 33554432000 1073741824 1073778376 140733640964288 18446744073709551615 256427208192 0 4 0 16800975 18446604453856720704 0 0 -1 4 0 0 0
[pid=22852/tid=22895] ppid=22850 vsize=15717076 CPUtime=0 cores=0,2,4,6
/proc/22852/task/22895/stat : 22895 (java) S 22850 22852 20564 0 -1 4202560 10 0 0 0 0 0 0 0 16 0 22 0 597779965 16094285824 54074 33554432000 1073741824 1073778376 140733640964288 18446744073709551615 256427208192 0 4 0 16800975 18446604453856720704 0 0 -1 6 0 0 0
[pid=22852/tid=22896] ppid=22850 vsize=15717076 CPUtime=0 cores=0,2,4,6
/proc/22852/task/22896/stat : 22896 (java) S 22850 22852 20564 0 -1 4202560 13 0 0 0 0 0 0 0 16 0 22 0 597779965 16094285824 54074 33554432000 1073741824 1073778376 140733640964288 18446744073709551615 256427208192 0 4 0 16800975 18446604453856720704 0 0 -1 6 0 0 0
[pid=22852/tid=22897] ppid=22850 vsize=15717076 CPUtime=0 cores=0,2,4,6
/proc/22852/task/22897/stat : 22897 (java) S 22850 22852 20564 0 -1 4202560 7 0 0 0 0 0 0 0 16 0 22 0 597779965 16094285824 54074 33554432000 1073741824 1073778376 140733640964288 18446744073709551615 256427208192 0 4 0 16800975 18446604453856720704 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.05
Current children cumulated vsize (KiB) 15717076

[startup+3.10756 s]
/proc/loadavg: 3.73 4.05 5.22 6/220 22901
/proc/meminfo: memFree=17959904/32950928 swapFree=67111524/67111528
[pid=22852] ppid=22850 vsize=15721008 CPUtime=5.4 cores=0,2,4,6
/proc/22852/stat : 22852 (java) S 22850 22852 20564 0 -1 4202496 64583 0 1 0 531 9 0 0 20 0 22 0 597779865 16098312192 55436 33554432000 1073741824 1073778376 140733640964288 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/22852/statm: 3930252 55436 2275 9 0 3920971 0
[pid=22852/tid=22854] ppid=22850 vsize=15721008 CPUtime=2.8 cores=0,2,4,6
/proc/22852/task/22854/stat : 22854 (java) S 22850 22852 20564 0 -1 4202560 35643 0 1 0 274 6 0 0 25 0 22 0 597779866 16098312192 55436 33554432000 1073741824 1073778376 140733640964288 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 0 0 0 14
[pid=22852/tid=22855] ppid=22850 vsize=15721008 CPUtime=0.01 cores=0,2,4,6
/proc/22852/task/22855/stat : 22855 (java) S 22850 22852 20564 0 -1 4202560 2336 0 0 0 1 0 0 0 16 0 22 0 597779867 16098312192 55436 33554432000 1073741824 1073778376 140733640964288 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 6 0 0 0
[pid=22852/tid=22856] ppid=22850 vsize=15721008 CPUtime=0.01 cores=0,2,4,6
/proc/22852/task/22856/stat : 22856 (java) S 22850 22852 20564 0 -1 4202560 1367 0 0 0 1 0 0 0 16 0 22 0 597779867 16098312192 55436 33554432000 1073741824 1073778376 140733640964288 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 4 0 0 0
[pid=22852/tid=22857] ppid=22850 vsize=15721008 CPUtime=0 cores=0,2,4,6
/proc/22852/task/22857/stat : 22857 (java) S 22850 22852 20564 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 597779867 16098312192 55436 33554432000 1073741824 1073778376 140733640964288 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 0 0 0 0
[pid=22852/tid=22858] ppid=22850 vsize=15721008 CPUtime=0 cores=0,2,4,6
/proc/22852/task/22858/stat : 22858 (java) S 22850 22852 20564 0 -1 4202560 27 0 0 0 0 0 0 0 15 0 22 0 597779867 16098312192 55436 33554432000 1073741824 1073778376 140733640964288 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 6 0 0 0
[pid=22852/tid=22859] ppid=22850 vsize=15721008 CPUtime=0 cores=0,2,4,6
/proc/22852/task/22859/stat : 22859 (java) S 22850 22852 20564 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 22 0 597779867 16098312192 55436 33554432000 1073741824 1073778376 140733640964288 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 2 0 0 0
[pid=22852/tid=22860] ppid=22850 vsize=15721008 CPUtime=0 cores=0,2,4,6
/proc/22852/task/22860/stat : 22860 (java) S 22850 22852 20564 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 22 0 597779867 16098312192 55436 33554432000 1073741824 1073778376 140733640964288 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 0 0 0 0
[pid=22852/tid=22861] ppid=22850 vsize=15721008 CPUtime=0.01 cores=0,2,4,6
/proc/22852/task/22861/stat : 22861 (java) S 22850 22852 20564 0 -1 4202560 1841 0 0 0 1 0 0 0 16 0 22 0 597779867 16098312192 55436 33554432000 1073741824 1073778376 140733640964288 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 0 0 0 0
[pid=22852/tid=22862] ppid=22850 vsize=15721008 CPUtime=0.01 cores=0,2,4,6
/proc/22852/task/22862/stat : 22862 (java) S 22850 22852 20564 0 -1 4202560 1091 0 0 0 1 0 0 0 16 0 22 0 597779867 16098312192 55436 33554432000 1073741824 1073778376 140733640964288 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 2 0 0 0
[pid=22852/tid=22863] ppid=22850 vsize=15721008 CPUtime=0 cores=0,2,4,6
/proc/22852/task/22863/stat : 22863 (java) S 22850 22852 20564 0 -1 4202560 74 0 0 0 0 0 0 0 15 0 22 0 597779868 16098312192 55436 33554432000 1073741824 1073778376 140733640964288 18446744073709551615 256427208192 0 0 0 16800975 18446604453856720704 0 0 -1 6 0 0 0
[pid=22852/tid=22864] ppid=22850 vsize=15721008 CPUtime=0 cores=0,2,4,6
/proc/22852/task/22864/stat : 22864 (java) S 22850 22852 20564 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 597779868 16098312192 55436 33554432000 1073741824 1073778376 140733640964288 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 6 0 0 0
[pid=22852/tid=22865] ppid=22850 vsize=15721008 CPUtime=0 cores=0,2,4,6
/proc/22852/task/22865/stat : 22865 (java) S 22850 22852 20564 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 22 0 597779868 16098312192 55436 33554432000 1073741824 1073778376 140733640964288 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 6 0 0 0
[pid=22852/tid=22866] ppid=22850 vsize=15721008 CPUtime=0 cores=0,2,4,6
/proc/22852/task/22866/stat : 22866 (java) S 22850 22852 20564 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 597779872 16098312192 55436 33554432000 1073741824 1073778376 140733640964288 18446744073709551615 256427215281 0 4 0 16800975 18446604453856720704 0 0 -1 6 0 0 0
[pid=22852/tid=22867] ppid=22850 vsize=15721008 CPUtime=0.71 cores=0,2,4,6
/proc/22852/task/22867/stat : 22867 (java) R 22850 22852 20564 0 -1 4202560 2418 0 0 0 71 0 0 0 15 0 22 0 597779872 16098312192 55436 33554432000 1073741824 1073778376 140733640964288 18446744073709551615 47441637230675 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=22852/tid=22868] ppid=22850 vsize=15721008 CPUtime=1.72 cores=0,2,4,6
/proc/22852/task/22868/stat : 22868 (java) R 22850 22852 20564 0 -1 4202560 18340 0 0 0 171 1 0 0 15 0 22 0 597779872 16098312192 55436 33554432000 1073741824 1073778376 140733640964288 18446744073709551615 47441636719021 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=22852/tid=22869] ppid=22850 vsize=15721008 CPUtime=0 cores=0,2,4,6
/proc/22852/task/22869/stat : 22869 (java) S 22850 22852 20564 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 597779872 16098312192 55436 33554432000 1073741824 1073778376 140733640964288 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 6 0 0 0
[pid=22852/tid=22870] ppid=22850 vsize=15721008 CPUtime=0 cores=0,2,4,6
/proc/22852/task/22870/stat : 22870 (java) S 22850 22852 20564 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 597779872 16098312192 55436 33554432000 1073741824 1073778376 140733640964288 18446744073709551615 256427208192 0 4 0 16800975 18446604453856720704 0 0 -1 0 0 0 0
[pid=22852/tid=22894] ppid=22850 vsize=15721008 CPUtime=0 cores=0,2,4,6
/proc/22852/task/22894/stat : 22894 (java) S 22850 22852 20564 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 22 0 597779965 16098312192 55436 33554432000 1073741824 1073778376 140733640964288 18446744073709551615 256427208192 0 4 0 16800975 18446604453856720704 0 0 -1 0 0 0 0
[pid=22852/tid=22895] ppid=22850 vsize=15721008 CPUtime=0 cores=0,2,4,6
/proc/22852/task/22895/stat : 22895 (java) S 22850 22852 20564 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 22 0 597779965 16098312192 55436 33554432000 1073741824 1073778376 140733640964288 18446744073709551615 256427208192 0 4 0 16800975 18446604453856720704 0 0 -1 0 0 0 0
[pid=22852/tid=22896] ppid=22850 vsize=15721008 CPUtime=0.07 cores=0,2,4,6
/proc/22852/task/22896/stat : 22896 (java) R 22850 22852 20564 0 -1 4202560 24 0 0 0 7 0 0 0 15 0 22 0 597779965 16098312192 55436 33554432000 1073741824 1073778376 140733640964288 18446744073709551615 46912505177435 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22852/tid=22897] ppid=22850 vsize=15721008 CPUtime=0 cores=0,2,4,6
/proc/22852/task/22897/stat : 22897 (java) S 22850 22852 20564 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 22 0 597779965 16098312192 55436 33554432000 1073741824 1073778376 140733640964288 18446744073709551615 256427208192 0 4 0 16800975 18446604453856720704 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.4
Current children cumulated vsize (KiB) 15721008

[startup+6.30096 s]
/proc/loadavg: 3.73 4.05 5.22 6/220 22901
/proc/meminfo: memFree=17634808/32950928 swapFree=67111524/67111528
[pid=22852] ppid=22850 vsize=15779820 CPUtime=15.4 cores=0,2,4,6
/proc/22852/stat : 22852 (java) S 22850 22852 20564 0 -1 4202496 211934 0 1 0 1512 28 0 0 20 0 22 0 597779865 16158535680 200583 33554432000 1073741824 1073778376 140733640964288 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/22852/statm: 3944955 200583 2275 9 0 3935674 0
[pid=22852/tid=22854] ppid=22850 vsize=15779820 CPUtime=2.8 cores=0,2,4,6
/proc/22852/task/22854/stat : 22854 (java) S 22850 22852 20564 0 -1 4202560 35643 0 1 0 274 6 0 0 25 0 22 0 597779866 16158535680 200583 33554432000 1073741824 1073778376 140733640964288 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 0 0 0 14
[pid=22852/tid=22855] ppid=22850 vsize=15779820 CPUtime=0.09 cores=0,2,4,6
/proc/22852/task/22855/stat : 22855 (java) S 22850 22852 20564 0 -1 4202560 13225 0 0 0 8 1 0 0 16 0 22 0 597779867 16158535680 200583 33554432000 1073741824 1073778376 140733640964288 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 2 0 0 0
[pid=22852/tid=22856] ppid=22850 vsize=15779820 CPUtime=0.07 cores=0,2,4,6
/proc/22852/task/22856/stat : 22856 (java) S 22850 22852 20564 0 -1 4202560 9594 0 0 0 6 1 0 0 15 0 22 0 597779867 16158535680 200583 33554432000 1073741824 1073778376 140733640964288 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 4 0 0 0
[pid=22852/tid=22857] ppid=22850 vsize=15779820 CPUtime=0 cores=0,2,4,6
/proc/22852/task/22857/stat : 22857 (java) S 22850 22852 20564 0 -1 4202560 1194 0 0 0 0 0 0 0 15 0 22 0 597779867 16158535680 200583 33554432000 1073741824 1073778376 140733640964288 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 2 0 0 0
[pid=22852/tid=22858] ppid=22850 vsize=15779820 CPUtime=0.13 cores=0,2,4,6
/proc/22852/task/22858/stat : 22858 (java) S 22850 22852 20564 0 -1 4202560 15790 0 0 0 11 2 0 0 16 0 22 0 597779867 16158535680 200583 33554432000 1073741824 1073778376 140733640964288 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 6 0 0 0
[pid=22852/tid=22859] ppid=22850 vsize=15779820 CPUtime=0.07 cores=0,2,4,6
/proc/22852/task/22859/stat : 22859 (java) S 22850 22852 20564 0 -1 4202560 7535 0 0 0 7 0 0 0 16 0 22 0 597779867 16158535680 200583 33554432000 1073741824 1073778376 140733640964288 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 2 0 0 0
[pid=22852/tid=22860] ppid=22850 vsize=15779820 CPUtime=0.02 cores=0,2,4,6
/proc/22852/task/22860/stat : 22860 (java) S 22850 22852 20564 0 -1 4202560 3043 0 0 0 2 0 0 0 15 0 22 0 597779867 16158535680 200583 33554432000 1073741824 1073778376 140733640964288 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 2 0 0 0
[pid=22852/tid=22861] ppid=22850 vsize=15779820 CPUtime=0.11 cores=0,2,4,6
/proc/22852/task/22861/stat : 22861 (java) S 22850 22852 20564 0 -1 4202560 17492 0 0 0 9 2 0 0 16 0 22 0 597779867 16158535680 200583 33554432000 1073741824 1073778376 140733640964288 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 4 0 0 0
[pid=22852/tid=22862] ppid=22850 vsize=15779820 CPUtime=0.07 cores=0,2,4,6
/proc/22852/task/22862/stat : 22862 (java) S 22850 22852 20564 0 -1 4202560 8758 0 0 0 6 1 0 0 15 0 22 0 597779867 16158535680 200583 33554432000 1073741824 1073778376 140733640964288 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 2 0 0 0
[pid=22852/tid=22863] ppid=22850 vsize=15779820 CPUtime=0 cores=0,2,4,6
/proc/22852/task/22863/stat : 22863 (java) S 22850 22852 20564 0 -1 4202560 532 0 0 0 0 0 0 0 15 0 22 0 597779868 16158535680 200583 33554432000 1073741824 1073778376 140733640964288 18446744073709551615 256427208192 0 0 0 16800975 18446604453856720704 0 0 -1 0 0 0 0
[pid=22852/tid=22864] ppid=22850 vsize=15779820 CPUtime=0 cores=0,2,4,6
/proc/22852/task/22864/stat : 22864 (java) S 22850 22852 20564 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 597779868 16158535680 200583 33554432000 1073741824 1073778376 140733640964288 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 6 0 0 0
[pid=22852/tid=22865] ppid=22850 vsize=15779820 CPUtime=0 cores=0,2,4,6
/proc/22852/task/22865/stat : 22865 (java) S 22850 22852 20564 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 22 0 597779868 16158535680 200583 33554432000 1073741824 1073778376 140733640964288 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 6 0 0 0
[pid=22852/tid=22866] ppid=22850 vsize=15779820 CPUtime=0 cores=0,2,4,6
/proc/22852/task/22866/stat : 22866 (java) S 22850 22852 20564 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 597779872 16158535680 200583 33554432000 1073741824 1073778376 140733640964288 18446744073709551615 256427215281 0 4 0 16800975 18446604453856720704 0 0 -1 6 0 0 0
[pid=22852/tid=22867] ppid=22850 vsize=15779820 CPUtime=0.9 cores=0,2,4,6
/proc/22852/task/22867/stat : 22867 (java) S 22850 22852 20564 0 -1 4202560 3380 0 0 0 90 0 0 0 15 0 22 0 597779872 16158535680 200583 33554432000 1073741824 1073778376 140733640964288 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 6 0 0 0

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

/proc/meminfo: memFree=2129220/32950928 swapFree=67111524/67111528
[pid=22852] ppid=22850 vsize=15779820 CPUtime=4470.78 cores=0,2,4,6
/proc/22852/stat : 22852 (java) S 22850 22852 20564 0 -1 4202496 1854379 0 1 0 446796 282 0 0 20 0 22 0 597779865 16158535680 1569928 33554432000 1073741824 1073778376 140733640964288 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/22852/statm: 3944955 1569928 2298 9 0 3935674 0
[pid=22852/tid=22854] ppid=22850 vsize=15779820 CPUtime=2.8 cores=0,2,4,6
/proc/22852/task/22854/stat : 22854 (java) S 22850 22852 20564 0 -1 4202560 35643 0 1 0 274 6 0 0 25 0 22 0 597779866 16158535680 1569928 33554432000 1073741824 1073778376 140733640964288 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 0 0 0 14
[pid=22852/tid=22855] ppid=22850 vsize=15779820 CPUtime=2.74 cores=0,2,4,6
/proc/22852/task/22855/stat : 22855 (java) S 22850 22852 20564 0 -1 4202560 137753 0 0 0 250 24 0 0 15 0 22 0 597779867 16158535680 1569928 33554432000 1073741824 1073778376 140733640964288 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 4 0 0 0
[pid=22852/tid=22856] ppid=22850 vsize=15779820 CPUtime=2.79 cores=0,2,4,6
/proc/22852/task/22856/stat : 22856 (java) S 22850 22852 20564 0 -1 4202560 117335 0 0 0 259 20 0 0 16 0 22 0 597779867 16158535680 1569928 33554432000 1073741824 1073778376 140733640964288 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 0 0 0 0
[pid=22852/tid=22857] ppid=22850 vsize=15779820 CPUtime=2.69 cores=0,2,4,6
/proc/22852/task/22857/stat : 22857 (java) S 22850 22852 20564 0 -1 4202560 148628 0 0 0 246 23 0 0 15 0 22 0 597779867 16158535680 1569928 33554432000 1073741824 1073778376 140733640964288 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 0 0 0 0
[pid=22852/tid=22858] ppid=22850 vsize=15779820 CPUtime=2.66 cores=0,2,4,6
/proc/22852/task/22858/stat : 22858 (java) S 22850 22852 20564 0 -1 4202560 104373 0 0 0 248 18 0 0 16 0 22 0 597779867 16158535680 1569928 33554432000 1073741824 1073778376 140733640964288 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 0 0 0 0
[pid=22852/tid=22859] ppid=22850 vsize=15779820 CPUtime=2.74 cores=0,2,4,6
/proc/22852/task/22859/stat : 22859 (java) S 22850 22852 20564 0 -1 4202560 100860 0 0 0 259 15 0 0 16 0 22 0 597779867 16158535680 1569928 33554432000 1073741824 1073778376 140733640964288 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 4 0 0 0
[pid=22852/tid=22860] ppid=22850 vsize=15779820 CPUtime=2.38 cores=0,2,4,6
/proc/22852/task/22860/stat : 22860 (java) S 22850 22852 20564 0 -1 4202560 98751 0 0 0 221 17 0 0 15 0 22 0 597779867 16158535680 1569928 33554432000 1073741824 1073778376 140733640964288 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 2 0 0 0
[pid=22852/tid=22861] ppid=22850 vsize=15779820 CPUtime=2.76 cores=0,2,4,6
/proc/22852/task/22861/stat : 22861 (java) S 22850 22852 20564 0 -1 4202560 112361 0 0 0 256 20 0 0 15 0 22 0 597779867 16158535680 1569928 33554432000 1073741824 1073778376 140733640964288 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 2 0 0 0
[pid=22852/tid=22862] ppid=22850 vsize=15779820 CPUtime=2.58 cores=0,2,4,6
/proc/22852/task/22862/stat : 22862 (java) S 22850 22852 20564 0 -1 4202560 137487 0 0 0 235 23 0 0 16 0 22 0 597779867 16158535680 1569928 33554432000 1073741824 1073778376 140733640964288 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 2 0 0 0
[pid=22852/tid=22863] ppid=22850 vsize=15779820 CPUtime=0.66 cores=0,2,4,6
/proc/22852/task/22863/stat : 22863 (java) S 22850 22852 20564 0 -1 4202560 25390 0 0 0 59 7 0 0 15 0 22 0 597779868 16158535680 1569928 33554432000 1073741824 1073778376 140733640964288 18446744073709551615 256427208192 0 0 0 16800975 18446604453856720704 0 0 -1 0 0 0 0
[pid=22852/tid=22864] ppid=22850 vsize=15779820 CPUtime=0 cores=0,2,4,6
/proc/22852/task/22864/stat : 22864 (java) S 22850 22852 20564 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 597779868 16158535680 1569928 33554432000 1073741824 1073778376 140733640964288 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 6 0 0 0
[pid=22852/tid=22865] ppid=22850 vsize=15779820 CPUtime=0 cores=0,2,4,6
/proc/22852/task/22865/stat : 22865 (java) S 22850 22852 20564 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 22 0 597779868 16158535680 1569928 33554432000 1073741824 1073778376 140733640964288 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 6 0 0 0
[pid=22852/tid=22866] ppid=22850 vsize=15779820 CPUtime=0 cores=0,2,4,6
/proc/22852/task/22866/stat : 22866 (java) S 22850 22852 20564 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 597779872 16158535680 1569928 33554432000 1073741824 1073778376 140733640964288 18446744073709551615 256427215281 0 4 0 16800975 18446604453856720704 0 0 -1 6 0 0 0
[pid=22852/tid=22867] ppid=22850 vsize=15779820 CPUtime=0.96 cores=0,2,4,6
/proc/22852/task/22867/stat : 22867 (java) S 22850 22852 20564 0 -1 4202560 3669 0 0 0 96 0 0 0 16 0 22 0 597779872 16158535680 1569928 33554432000 1073741824 1073778376 140733640964288 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 6 0 0 0
[pid=22852/tid=22868] ppid=22850 vsize=15779820 CPUtime=2.26 cores=0,2,4,6
/proc/22852/task/22868/stat : 22868 (java) S 22850 22852 20564 0 -1 4202560 18410 0 0 0 225 1 0 0 15 0 22 0 597779872 16158535680 1569928 33554432000 1073741824 1073778376 140733640964288 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 2 0 0 0
[pid=22852/tid=22869] ppid=22850 vsize=15779820 CPUtime=0 cores=0,2,4,6
/proc/22852/task/22869/stat : 22869 (java) S 22850 22852 20564 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 597779872 16158535680 1569928 33554432000 1073741824 1073778376 140733640964288 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 6 0 0 0
[pid=22852/tid=22870] ppid=22850 vsize=15779820 CPUtime=0 cores=0,2,4,6
/proc/22852/task/22870/stat : 22870 (java) S 22850 22852 20564 0 -1 4202560 66 0 0 0 0 0 0 0 15 0 22 0 597779872 16158535680 1569928 33554432000 1073741824 1073778376 140733640964288 18446744073709551615 256427208192 0 4 0 16800975 18446604453856720704 0 0 -1 0 0 0 0
[pid=22852/tid=22894] ppid=22850 vsize=15779820 CPUtime=1110.85 cores=0,2,4,6
/proc/22852/task/22894/stat : 22894 (java) R 22850 22852 20564 0 -1 4202560 170506 0 0 0 111066 19 0 0 25 0 22 0 597779965 16158535680 1569928 33554432000 1073741824 1073778376 140733640964288 18446744073709551615 46912505684424 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=22852/tid=22895] ppid=22850 vsize=15779820 CPUtime=1112.35 cores=0,2,4,6
/proc/22852/task/22895/stat : 22895 (java) R 22850 22852 20564 0 -1 4202560 202676 0 0 0 111210 25 0 0 25 0 22 0 597779965 16158535680 1569928 33554432000 1073741824 1073778376 140733640964288 18446744073709551615 46912506225968 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=22852/tid=22896] ppid=22850 vsize=15779820 CPUtime=1111.11 cores=0,2,4,6
/proc/22852/task/22896/stat : 22896 (java) R 22850 22852 20564 0 -1 4202560 242365 0 0 0 111082 29 0 0 25 0 22 0 597779965 16158535680 1569928 33554432000 1073741824 1073778376 140733640964288 18446744073709551615 46912506295855 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=22852/tid=22897] ppid=22850 vsize=15779820 CPUtime=1108.29 cores=0,2,4,6
/proc/22852/task/22897/stat : 22897 (java) R 22850 22852 20564 0 -1 4202560 196722 0 0 0 110803 26 0 0 25 0 22 0 597779965 16158535680 1569928 33554432000 1073741824 1073778376 140733640964288 18446744073709551615 46912505771000 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4470.78
Current children cumulated vsize (KiB) 15779820

[startup+1182.3 s]
/proc/loadavg: 8.25 8.07 7.27 9/220 22932
/proc/meminfo: memFree=2113648/32950928 swapFree=67111524/67111528
[pid=22852] ppid=22850 vsize=15779820 CPUtime=4710.42 cores=0,2,4,6
/proc/22852/stat : 22852 (java) S 22850 22852 20564 0 -1 4202496 1854401 0 1 0 470760 282 0 0 20 0 22 0 597779865 16158535680 1569936 33554432000 1073741824 1073778376 140733640964288 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/22852/statm: 3944955 1569936 2298 9 0 3935674 0
[pid=22852/tid=22854] ppid=22850 vsize=15779820 CPUtime=2.8 cores=0,2,4,6
/proc/22852/task/22854/stat : 22854 (java) S 22850 22852 20564 0 -1 4202560 35643 0 1 0 274 6 0 0 25 0 22 0 597779866 16158535680 1569936 33554432000 1073741824 1073778376 140733640964288 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 0 0 0 14
[pid=22852/tid=22855] ppid=22850 vsize=15779820 CPUtime=2.91 cores=0,2,4,6
/proc/22852/task/22855/stat : 22855 (java) S 22850 22852 20564 0 -1 4202560 137755 0 0 0 267 24 0 0 16 0 22 0 597779867 16158535680 1569936 33554432000 1073741824 1073778376 140733640964288 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 0 0 0 0
[pid=22852/tid=22856] ppid=22850 vsize=15779820 CPUtime=2.92 cores=0,2,4,6
/proc/22852/task/22856/stat : 22856 (java) S 22850 22852 20564 0 -1 4202560 117335 0 0 0 272 20 0 0 15 0 22 0 597779867 16158535680 1569936 33554432000 1073741824 1073778376 140733640964288 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 0 0 0 0
[pid=22852/tid=22857] ppid=22850 vsize=15779820 CPUtime=2.85 cores=0,2,4,6
/proc/22852/task/22857/stat : 22857 (java) S 22850 22852 20564 0 -1 4202560 148628 0 0 0 262 23 0 0 16 0 22 0 597779867 16158535680 1569936 33554432000 1073741824 1073778376 140733640964288 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 4 0 0 0
[pid=22852/tid=22858] ppid=22850 vsize=15779820 CPUtime=2.85 cores=0,2,4,6
/proc/22852/task/22858/stat : 22858 (java) S 22850 22852 20564 0 -1 4202560 104374 0 0 0 267 18 0 0 16 0 22 0 597779867 16158535680 1569936 33554432000 1073741824 1073778376 140733640964288 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 6 0 0 0
[pid=22852/tid=22859] ppid=22850 vsize=15779820 CPUtime=2.87 cores=0,2,4,6
/proc/22852/task/22859/stat : 22859 (java) S 22850 22852 20564 0 -1 4202560 100863 0 0 0 272 15 0 0 15 0 22 0 597779867 16158535680 1569936 33554432000 1073741824 1073778376 140733640964288 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 4 0 0 0
[pid=22852/tid=22860] ppid=22850 vsize=15779820 CPUtime=2.49 cores=0,2,4,6
/proc/22852/task/22860/stat : 22860 (java) S 22850 22852 20564 0 -1 4202560 98751 0 0 0 232 17 0 0 15 0 22 0 597779867 16158535680 1569936 33554432000 1073741824 1073778376 140733640964288 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 2 0 0 0
[pid=22852/tid=22861] ppid=22850 vsize=15779820 CPUtime=2.9 cores=0,2,4,6
/proc/22852/task/22861/stat : 22861 (java) S 22850 22852 20564 0 -1 4202560 112363 0 0 0 270 20 0 0 16 0 22 0 597779867 16158535680 1569936 33554432000 1073741824 1073778376 140733640964288 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 2 0 0 0
[pid=22852/tid=22862] ppid=22850 vsize=15779820 CPUtime=2.67 cores=0,2,4,6
/proc/22852/task/22862/stat : 22862 (java) S 22850 22852 20564 0 -1 4202560 137487 0 0 0 244 23 0 0 15 0 22 0 597779867 16158535680 1569936 33554432000 1073741824 1073778376 140733640964288 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 2 0 0 0
[pid=22852/tid=22863] ppid=22850 vsize=15779820 CPUtime=0.66 cores=0,2,4,6
/proc/22852/task/22863/stat : 22863 (java) S 22850 22852 20564 0 -1 4202560 25392 0 0 0 59 7 0 0 15 0 22 0 597779868 16158535680 1569936 33554432000 1073741824 1073778376 140733640964288 18446744073709551615 256427208192 0 0 0 16800975 18446604453856720704 0 0 -1 2 0 0 0
[pid=22852/tid=22864] ppid=22850 vsize=15779820 CPUtime=0 cores=0,2,4,6
/proc/22852/task/22864/stat : 22864 (java) S 22850 22852 20564 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 597779868 16158535680 1569936 33554432000 1073741824 1073778376 140733640964288 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 6 0 0 0
[pid=22852/tid=22865] ppid=22850 vsize=15779820 CPUtime=0 cores=0,2,4,6
/proc/22852/task/22865/stat : 22865 (java) S 22850 22852 20564 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 22 0 597779868 16158535680 1569936 33554432000 1073741824 1073778376 140733640964288 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 6 0 0 0
[pid=22852/tid=22866] ppid=22850 vsize=15779820 CPUtime=0 cores=0,2,4,6
/proc/22852/task/22866/stat : 22866 (java) S 22850 22852 20564 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 597779872 16158535680 1569936 33554432000 1073741824 1073778376 140733640964288 18446744073709551615 256427215281 0 4 0 16800975 18446604453856720704 0 0 -1 6 0 0 0
[pid=22852/tid=22867] ppid=22850 vsize=15779820 CPUtime=0.96 cores=0,2,4,6
/proc/22852/task/22867/stat : 22867 (java) S 22850 22852 20564 0 -1 4202560 3669 0 0 0 96 0 0 0 16 0 22 0 597779872 16158535680 1569936 33554432000 1073741824 1073778376 140733640964288 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 6 0 0 0
[pid=22852/tid=22868] ppid=22850 vsize=15779820 CPUtime=2.26 cores=0,2,4,6
/proc/22852/task/22868/stat : 22868 (java) S 22850 22852 20564 0 -1 4202560 18410 0 0 0 225 1 0 0 15 0 22 0 597779872 16158535680 1569936 33554432000 1073741824 1073778376 140733640964288 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 2 0 0 0
[pid=22852/tid=22869] ppid=22850 vsize=15779820 CPUtime=0 cores=0,2,4,6
/proc/22852/task/22869/stat : 22869 (java) S 22850 22852 20564 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 597779872 16158535680 1569936 33554432000 1073741824 1073778376 140733640964288 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 6 0 0 0
[pid=22852/tid=22870] ppid=22850 vsize=15779820 CPUtime=0 cores=0,2,4,6
/proc/22852/task/22870/stat : 22870 (java) S 22850 22852 20564 0 -1 4202560 68 0 0 0 0 0 0 0 15 0 22 0 597779872 16158535680 1569936 33554432000 1073741824 1073778376 140733640964288 18446744073709551615 256427208192 0 4 0 16800975 18446604453856720704 0 0 -1 0 0 0 0
[pid=22852/tid=22894] ppid=22850 vsize=15779820 CPUtime=1170.56 cores=0,2,4,6
/proc/22852/task/22894/stat : 22894 (java) R 22850 22852 20564 0 -1 4202560 170509 0 0 0 117037 19 0 0 25 0 22 0 597779965 16158535680 1569936 33554432000 1073741824 1073778376 140733640964288 18446744073709551615 46912506007933 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22852/tid=22895] ppid=22850 vsize=15779820 CPUtime=1171.74 cores=0,2,4,6
/proc/22852/task/22895/stat : 22895 (java) R 22850 22852 20564 0 -1 4202560 202678 0 0 0 117149 25 0 0 25 0 22 0 597779965 16158535680 1569936 33554432000 1073741824 1073778376 140733640964288 18446744073709551615 46912505736346 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=22852/tid=22896] ppid=22850 vsize=15779820 CPUtime=1170.81 cores=0,2,4,6
/proc/22852/task/22896/stat : 22896 (java) R 22850 22852 20564 0 -1 4202560 242367 0 0 0 117052 29 0 0 25 0 22 0 597779965 16158535680 1569936 33554432000 1073741824 1073778376 140733640964288 18446744073709551615 46912505978494 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=22852/tid=22897] ppid=22850 vsize=15779820 CPUtime=1168 cores=0,2,4,6
/proc/22852/task/22897/stat : 22897 (java) R 22850 22852 20564 0 -1 4202560 196725 0 0 0 116774 26 0 0 25 0 22 0 597779965 16158535680 1569936 33554432000 1073741824 1073778376 140733640964288 18446744073709551615 46912506370864 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4710.42
Current children cumulated vsize (KiB) 15779820



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1204.8 s]
/proc/loadavg: 8.16 8.06 7.29 10/220 22933
/proc/meminfo: memFree=2114832/32950928 swapFree=67111524/67111528
[pid=22852] ppid=22850 vsize=15779820 CPUtime=4800.3 cores=0,2,4,6
/proc/22852/stat : 22852 (java) S 22850 22852 20564 0 -1 4202496 1854416 0 1 0 479748 282 0 0 20 0 22 0 597779865 16158535680 1569446 33554432000 1073741824 1073778376 140733640964288 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/22852/statm: 3944955 1569446 2298 9 0 3935674 0
[pid=22852/tid=22854] ppid=22850 vsize=15779820 CPUtime=2.8 cores=0,2,4,6
/proc/22852/task/22854/stat : 22854 (java) S 22850 22852 20564 0 -1 4202560 35643 0 1 0 274 6 0 0 25 0 22 0 597779866 16158535680 1569446 33554432000 1073741824 1073778376 140733640964288 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 0 0 0 14
[pid=22852/tid=22855] ppid=22850 vsize=15779820 CPUtime=2.96 cores=0,2,4,6
/proc/22852/task/22855/stat : 22855 (java) S 22850 22852 20564 0 -1 4202560 137757 0 0 0 272 24 0 0 16 0 22 0 597779867 16158535680 1569446 33554432000 1073741824 1073778376 140733640964288 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 6 0 0 0
[pid=22852/tid=22856] ppid=22850 vsize=15779820 CPUtime=2.97 cores=0,2,4,6
/proc/22852/task/22856/stat : 22856 (java) S 22850 22852 20564 0 -1 4202560 117335 0 0 0 277 20 0 0 16 0 22 0 597779867 16158535680 1569446 33554432000 1073741824 1073778376 140733640964288 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 2 0 0 0
[pid=22852/tid=22857] ppid=22850 vsize=15779820 CPUtime=2.88 cores=0,2,4,6
/proc/22852/task/22857/stat : 22857 (java) S 22850 22852 20564 0 -1 4202560 148628 0 0 0 265 23 0 0 16 0 22 0 597779867 16158535680 1569446 33554432000 1073741824 1073778376 140733640964288 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 0 0 0 0
[pid=22852/tid=22858] ppid=22850 vsize=15779820 CPUtime=2.89 cores=0,2,4,6
/proc/22852/task/22858/stat : 22858 (java) S 22850 22852 20564 0 -1 4202560 104374 0 0 0 271 18 0 0 15 0 22 0 597779867 16158535680 1569446 33554432000 1073741824 1073778376 140733640964288 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 2 0 0 0
[pid=22852/tid=22859] ppid=22850 vsize=15779820 CPUtime=2.93 cores=0,2,4,6
/proc/22852/task/22859/stat : 22859 (java) S 22850 22852 20564 0 -1 4202560 100865 0 0 0 278 15 0 0 16 0 22 0 597779867 16158535680 1569446 33554432000 1073741824 1073778376 140733640964288 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 4 0 0 0
[pid=22852/tid=22860] ppid=22850 vsize=15779820 CPUtime=2.55 cores=0,2,4,6
/proc/22852/task/22860/stat : 22860 (java) S 22850 22852 20564 0 -1 4202560 98751 0 0 0 238 17 0 0 15 0 22 0 597779867 16158535680 1569446 33554432000 1073741824 1073778376 140733640964288 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 2 0 0 0
[pid=22852/tid=22861] ppid=22850 vsize=15779820 CPUtime=2.93 cores=0,2,4,6
/proc/22852/task/22861/stat : 22861 (java) S 22850 22852 20564 0 -1 4202560 112364 0 0 0 273 20 0 0 15 0 22 0 597779867 16158535680 1569446 33554432000 1073741824 1073778376 140733640964288 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 4 0 0 0
[pid=22852/tid=22862] ppid=22850 vsize=15779820 CPUtime=2.7 cores=0,2,4,6
/proc/22852/task/22862/stat : 22862 (java) S 22850 22852 20564 0 -1 4202560 137488 0 0 0 247 23 0 0 15 0 22 0 597779867 16158535680 1569446 33554432000 1073741824 1073778376 140733640964288 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 0 0 0 0
[pid=22852/tid=22863] ppid=22850 vsize=15779820 CPUtime=0.66 cores=0,2,4,6
/proc/22852/task/22863/stat : 22863 (java) S 22850 22852 20564 0 -1 4202560 25396 0 0 0 59 7 0 0 15 0 22 0 597779868 16158535680 1569446 33554432000 1073741824 1073778376 140733640964288 18446744073709551615 256427208192 0 0 0 16800975 18446604453856720704 0 0 -1 2 0 0 0
[pid=22852/tid=22864] ppid=22850 vsize=15779820 CPUtime=0 cores=0,2,4,6
/proc/22852/task/22864/stat : 22864 (java) S 22850 22852 20564 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 597779868 16158535680 1569446 33554432000 1073741824 1073778376 140733640964288 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 6 0 0 0
[pid=22852/tid=22865] ppid=22850 vsize=15779820 CPUtime=0 cores=0,2,4,6
/proc/22852/task/22865/stat : 22865 (java) S 22850 22852 20564 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 22 0 597779868 16158535680 1569446 33554432000 1073741824 1073778376 140733640964288 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 6 0 0 0
[pid=22852/tid=22866] ppid=22850 vsize=15779820 CPUtime=0 cores=0,2,4,6
/proc/22852/task/22866/stat : 22866 (java) S 22850 22852 20564 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 597779872 16158535680 1569446 33554432000 1073741824 1073778376 140733640964288 18446744073709551615 256427215281 0 4 0 16800975 18446604453856720704 0 0 -1 6 0 0 0
[pid=22852/tid=22867] ppid=22850 vsize=15779820 CPUtime=0.96 cores=0,2,4,6
/proc/22852/task/22867/stat : 22867 (java) S 22850 22852 20564 0 -1 4202560 3669 0 0 0 96 0 0 0 16 0 22 0 597779872 16158535680 1569446 33554432000 1073741824 1073778376 140733640964288 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 6 0 0 0
[pid=22852/tid=22868] ppid=22850 vsize=15779820 CPUtime=2.26 cores=0,2,4,6
/proc/22852/task/22868/stat : 22868 (java) S 22850 22852 20564 0 -1 4202560 18410 0 0 0 225 1 0 0 15 0 22 0 597779872 16158535680 1569446 33554432000 1073741824 1073778376 140733640964288 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 2 0 0 0
[pid=22852/tid=22869] ppid=22850 vsize=15779820 CPUtime=0 cores=0,2,4,6
/proc/22852/task/22869/stat : 22869 (java) S 22850 22852 20564 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 597779872 16158535680 1569446 33554432000 1073741824 1073778376 140733640964288 18446744073709551615 256427207577 0 4 0 16800975 18446604453856720704 0 0 -1 6 0 0 0
[pid=22852/tid=22870] ppid=22850 vsize=15779820 CPUtime=0 cores=0,2,4,6
/proc/22852/task/22870/stat : 22870 (java) S 22850 22852 20564 0 -1 4202560 70 0 0 0 0 0 0 0 15 0 22 0 597779872 16158535680 1569446 33554432000 1073741824 1073778376 140733640964288 18446744073709551615 256427208192 0 4 0 16800975 18446604453856720704 0 0 -1 0 0 0 0
[pid=22852/tid=22894] ppid=22850 vsize=15779820 CPUtime=1192.97 cores=0,2,4,6
/proc/22852/task/22894/stat : 22894 (java) R 22850 22852 20564 0 -1 4202560 170509 0 0 0 119278 19 0 0 25 0 22 0 597779965 16158535680 1569446 33554432000 1073741824 1073778376 140733640964288 18446744073709551615 46912506225854 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22852/tid=22895] ppid=22850 vsize=15779820 CPUtime=1194.09 cores=0,2,4,6
/proc/22852/task/22895/stat : 22895 (java) R 22850 22852 20564 0 -1 4202560 202679 0 0 0 119384 25 0 0 25 0 22 0 597779965 16158535680 1569446 33554432000 1073741824 1073778376 140733640964288 18446744073709551615 46912506295868 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=22852/tid=22896] ppid=22850 vsize=15779820 CPUtime=1193.23 cores=0,2,4,6
/proc/22852/task/22896/stat : 22896 (java) R 22850 22852 20564 0 -1 4202560 242369 0 0 0 119294 29 0 0 25 0 22 0 597779965 16158535680 1569446 33554432000 1073741824 1073778376 140733640964288 18446744073709551615 46912505979110 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=22852/tid=22897] ppid=22850 vsize=15779820 CPUtime=1190.35 cores=0,2,4,6
/proc/22852/task/22897/stat : 22897 (java) R 22850 22852 20564 0 -1 4202560 196725 0 0 0 119009 26 0 0 25 0 22 0 597779965 16158535680 1569446 33554432000 1073741824 1073778376 140733640964288 18446744073709551615 46912506467630 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.3
Current children cumulated vsize (KiB) 15779820

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

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

[startup+1205 s]
/proc/loadavg: 8.16 8.06 7.29 10/220 22933
/proc/meminfo: memFree=2114832/32950928 swapFree=67111524/67111528
[pid=22852] ppid=22850 vsize=0 CPUtime=4800.52 cores=0,2,4,6
/proc/22852/stat : 22852 (java) Z 22850 22852 20564 0 -1 4203548 1854442 0 1 0 479751 301 0 0 17 0 2 0 597779865 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/22852/statm: 0 0 0 0 0 0 0
[pid=22852/tid=22895] ppid=22850 vsize=0 CPUtime=1194.28 cores=0,2,4,6
/proc/22852/task/22895/stat : 22895 (java) R 22850 22852 20564 0 -1 4203588 202679 0 0 0 119384 44 0 0 25 0 2 0 597779965 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.52
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1205.05
CPU time (s): 4800.57
CPU user time (s): 4797.51
CPU system time (s): 3.05953
CPU usage (%): 398.372
Max. virtual memory (cumulated for all children) (KiB): 15779820

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.51
system time used= 3.05953
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1854442
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 34434
involuntary context switches= 59369

runsolver used 1.86772 second user time and 4.76028 second system time

The end

Launcher Data 

Begin job on node115 at 2011-04-29 13:11:32
IDJOB=3313467
IDBENCH=70791
IDSOLVER=1699
FILE ID=node115/3313467-1304075492
RUNJOBID= node115-1304075492-22838
PBS_JOBID= 13170430
Free space on /tmp= 72732 MiB

SOLVER NAME= STRUCTure 0.1
BENCH NAME= SAT09/APPLICATIONS/bitverif/smulo/smulo064.cnf
COMMAND LINE= run 15000 NBCORE TMPDIR DIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3313467-1304075492/watcher-3313467-1304075492 -o /tmp/evaluation-result-3313467-1304075492/solver-3313467-1304075492 -C 4800 -W 1300 -M 15500  run 15000 4 HOME HOME HOME/instance-3313467-1304075492.cnf

TIME LIMIT= 4800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 472e9d10d7fd1a82d06da0809d0002df
RANDOM SEED=344159798

node115.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.811
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
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 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.62
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.811
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
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 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.15
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.811
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
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 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.811
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
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 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.811
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
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 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.77
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.811
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
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 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.811
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
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 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.811
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
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 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      18460760 kB
Buffers:       2320328 kB
Cached:       11547976 kB
SwapCached:          4 kB
Active:        6848884 kB
Inactive:      7087552 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      18460760 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:            5444 kB
Writeback:           0 kB
AnonPages:       67376 kB
Mapped:          14496 kB
Slab:           490068 kB
PageTables:       4724 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   190764 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 72724 MiB
End job on node115 at 2011-04-29 13:31:39