Trace number 3312434

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.35 1205.75

General information on the benchmark

Namerandom/large/
unif-k5-r20-v750-c15000-S1787347746-067-UNKNOWN.cnf
MD5SUM327a5393de6dbdcaf85af71880caf3c5
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark20.5029
Satisfiable
(Un)Satisfiability was proved
Number of variables750
Number of clauses15000
Sum of the clauses size75000
Maximum clause length5
Minimum clause length5
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 515000
Number of clauses of size over 50

Solver Data 

0.10/0.12	02:05 INFO : Reading from input HOME/instance-3312434-1304114525.cnf
0.51/0.36	Executor set job limit to 1000000
0.51/0.36	Executor set job limit to 1000000
0.51/0.36	Executor set job limit to 1000000
0.51/0.36	Executor set job limit to 1000000
0.51/0.37	Starting Executor!
0.51/0.37	Starting Executor!
0.51/0.37	Starting Executor!
0.51/0.37	Starting Executor!
1.71/0.88	02:06 INFO : 750 variables remaining out of 750
1.71/0.88	02:06 INFO : 90000 literals remaining out of 90000

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

running on 4 cores: 1,3,5,7

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.75 3.97 4.41 3/174 4884
/proc/meminfo: memFree=22836756/32950928 swapFree=67111524/67111528
[pid=4884] ppid=4882 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/4884/stat : 4884 (java) R 4882 4884 4342 0 -1 4202496 1135 0 0 0 0 0 0 0 22 0 1 0 523052188 23580672 623 33554432000 1073741824 1073778376 140734367337808 18446744073709551615 274469005077 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/4884/statm: 5757 635 474 9 0 124 0

[startup+0.106088 s]
/proc/loadavg: 3.75 3.97 4.41 3/174 4884
/proc/meminfo: memFree=22836756/32950928 swapFree=67111524/67111528
[pid=4884] ppid=4882 vsize=15676968 CPUtime=0.1 cores=1,3,5,7
/proc/4884/stat : 4884 (java) S 4882 4884 4342 0 -1 4202496 5647 0 1 0 10 0 0 0 22 0 18 0 523052188 16053215232 5055 33554432000 1073741824 1073778376 140734367337808 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/4884/statm: 3919242 5055 2118 9 0 3909961 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15676968

[startup+0.201069 s]
/proc/loadavg: 3.75 3.97 4.41 3/174 4884
/proc/meminfo: memFree=22836756/32950928 swapFree=67111524/67111528
[pid=4884] ppid=4882 vsize=15677576 CPUtime=0.27 cores=1,3,5,7
/proc/4884/stat : 4884 (java) S 4882 4884 4342 0 -1 4202496 6985 0 1 0 26 1 0 0 22 0 18 0 523052188 16053837824 6333 33554432000 1073741824 1073778376 140734367337808 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/4884/statm: 3919394 6333 2184 9 0 3910113 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 15677576

[startup+0.301055 s]
/proc/loadavg: 3.75 3.97 4.41 3/174 4884
/proc/meminfo: memFree=22836756/32950928 swapFree=67111524/67111528
[pid=4884] ppid=4882 vsize=15682464 CPUtime=0.51 cores=1,3,5,7
/proc/4884/stat : 4884 (java) S 4882 4884 4342 0 -1 4202496 15427 0 1 0 49 2 0 0 22 0 18 0 523052188 16058843136 13620 33554432000 1073741824 1073778376 140734367337808 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/4884/statm: 3920616 13627 2207 9 0 3911335 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 15682464

[startup+0.700986 s]
/proc/loadavg: 3.75 3.97 4.41 3/174 4884
/proc/meminfo: memFree=22836756/32950928 swapFree=67111524/67111528
[pid=4884] ppid=4882 vsize=15707320 CPUtime=1.41 cores=1,3,5,7
/proc/4884/stat : 4884 (java) S 4882 4884 4342 0 -1 4202496 37219 0 1 0 135 6 0 0 22 0 22 0 523052188 16084295680 33219 33554432000 1073741824 1073778376 140734367337808 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/4884/statm: 3926830 33219 2242 9 0 3917549 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 15707320

[startup+1.50085 s]
/proc/loadavg: 3.75 3.97 4.41 7/220 4933
/proc/meminfo: memFree=22506116/32950928 swapFree=67111524/67111528
[pid=4884] ppid=4882 vsize=15707496 CPUtime=4.2 cores=1,3,5,7
/proc/4884/stat : 4884 (java) S 4882 4884 4342 0 -1 4202496 64058 0 1 0 410 10 0 0 22 0 22 0 523052188 16084475904 55285 33554432000 1073741824 1073778376 140734367337808 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/4884/statm: 3926874 55285 2274 9 0 3917593 0
[pid=4884/tid=4886] ppid=4882 vsize=15707496 CPUtime=0.86 cores=1,3,5,7
/proc/4884/task/4886/stat : 4886 (java) S 4882 4884 4342 0 -1 4202560 21903 0 1 0 83 3 0 0 20 0 22 0 523052189 16084475904 55285 33554432000 1073741824 1073778376 140734367337808 18446744073709551615 274485783449 0 4 0 16800975 18446604471164519616 0 0 -1 5 0 0 0
[pid=4884/tid=4887] ppid=4882 vsize=15707496 CPUtime=0 cores=1,3,5,7
/proc/4884/task/4887/stat : 4887 (java) S 4882 4884 4342 0 -1 4202560 1755 0 0 0 0 0 0 0 16 0 22 0 523052190 16084475904 55285 33554432000 1073741824 1073778376 140734367337808 18446744073709551615 274485783449 0 4 0 16800975 18446604471164519616 0 0 -1 5 0 0 0
[pid=4884/tid=4888] ppid=4882 vsize=15707496 CPUtime=0 cores=1,3,5,7
/proc/4884/task/4888/stat : 4888 (java) S 4882 4884 4342 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 523052190 16084475904 55285 33554432000 1073741824 1073778376 140734367337808 18446744073709551615 274485783449 0 4 0 16800975 18446604471164519616 0 0 -1 5 0 0 0
[pid=4884/tid=4889] ppid=4882 vsize=15707496 CPUtime=0 cores=1,3,5,7
/proc/4884/task/4889/stat : 4889 (java) S 4882 4884 4342 0 -1 4202560 1347 0 0 0 0 0 0 0 16 0 22 0 523052190 16084475904 55285 33554432000 1073741824 1073778376 140734367337808 18446744073709551615 274485783449 0 4 0 16800975 18446604471164519616 0 0 -1 7 0 0 0
[pid=4884/tid=4890] ppid=4882 vsize=15707496 CPUtime=0 cores=1,3,5,7
/proc/4884/task/4890/stat : 4890 (java) S 4882 4884 4342 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 22 0 523052190 16084475904 55285 33554432000 1073741824 1073778376 140734367337808 18446744073709551615 274485783449 0 4 0 16800975 18446604471164519616 0 0 -1 7 0 0 0
[pid=4884/tid=4891] ppid=4882 vsize=15707496 CPUtime=0 cores=1,3,5,7
/proc/4884/task/4891/stat : 4891 (java) S 4882 4884 4342 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 523052190 16084475904 55285 33554432000 1073741824 1073778376 140734367337808 18446744073709551615 274485783449 0 4 0 16800975 18446604471164519616 0 0 -1 5 0 0 0
[pid=4884/tid=4892] ppid=4882 vsize=15707496 CPUtime=0 cores=1,3,5,7
/proc/4884/task/4892/stat : 4892 (java) S 4882 4884 4342 0 -1 4202560 1299 0 0 0 0 0 0 0 16 0 22 0 523052190 16084475904 55285 33554432000 1073741824 1073778376 140734367337808 18446744073709551615 274485783449 0 4 0 16800975 18446604471164519616 0 0 -1 3 0 0 0
[pid=4884/tid=4893] ppid=4882 vsize=15707496 CPUtime=0 cores=1,3,5,7
/proc/4884/task/4893/stat : 4893 (java) S 4882 4884 4342 0 -1 4202560 1852 0 0 0 0 0 0 0 16 0 22 0 523052190 16084475904 55285 33554432000 1073741824 1073778376 140734367337808 18446744073709551615 274485783449 0 4 0 16800975 18446604471164519616 0 0 -1 1 0 0 0
[pid=4884/tid=4894] ppid=4882 vsize=15707496 CPUtime=0 cores=1,3,5,7
/proc/4884/task/4894/stat : 4894 (java) S 4882 4884 4342 0 -1 4202560 893 0 0 0 0 0 0 0 15 0 22 0 523052190 16084475904 55285 33554432000 1073741824 1073778376 140734367337808 18446744073709551615 274485783449 0 4 0 16800975 18446604471164519616 0 0 -1 5 0 0 0
[pid=4884/tid=4895] ppid=4882 vsize=15707496 CPUtime=0 cores=1,3,5,7
/proc/4884/task/4895/stat : 4895 (java) S 4882 4884 4342 0 -1 4202560 75 0 0 0 0 0 0 0 16 0 22 0 523052191 16084475904 55285 33554432000 1073741824 1073778376 140734367337808 18446744073709551615 274485784064 0 0 0 16800975 18446604471164519616 0 0 -1 3 0 0 0
[pid=4884/tid=4896] ppid=4882 vsize=15707496 CPUtime=0 cores=1,3,5,7
/proc/4884/task/4896/stat : 4896 (java) S 4882 4884 4342 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 523052191 16084475904 55285 33554432000 1073741824 1073778376 140734367337808 18446744073709551615 274485783449 0 4 0 16800975 18446604471164519616 0 0 -1 5 0 0 0
[pid=4884/tid=4897] ppid=4882 vsize=15707496 CPUtime=0 cores=1,3,5,7
/proc/4884/task/4897/stat : 4897 (java) S 4882 4884 4342 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 523052191 16084475904 55285 33554432000 1073741824 1073778376 140734367337808 18446744073709551615 274485783449 0 4 0 16800975 18446604471164519616 0 0 -1 5 0 0 0
[pid=4884/tid=4903] ppid=4882 vsize=15707496 CPUtime=0 cores=1,3,5,7
/proc/4884/task/4903/stat : 4903 (java) S 4882 4884 4342 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 523052193 16084475904 55285 33554432000 1073741824 1073778376 140734367337808 18446744073709551615 274485791153 0 4 0 16800975 18446604471164519616 0 0 -1 5 0 0 0
[pid=4884/tid=4904] ppid=4882 vsize=15707496 CPUtime=0.96 cores=1,3,5,7
/proc/4884/task/4904/stat : 4904 (java) R 4882 4884 4342 0 -1 4202560 13391 0 0 0 94 2 0 0 19 0 22 0 523052193 16084475904 55285 33554432000 1073741824 1073778376 140734367337808 18446744073709551615 47899192274937 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=4884/tid=4905] ppid=4882 vsize=15707496 CPUtime=0.85 cores=1,3,5,7
/proc/4884/task/4905/stat : 4905 (java) S 4882 4884 4342 0 -1 4202560 6498 0 0 0 84 1 0 0 16 0 22 0 523052193 16084475904 55285 33554432000 1073741824 1073778376 140734367337808 18446744073709551615 274485783449 0 4 0 16800975 18446604471164519616 0 0 -1 7 0 0 0
[pid=4884/tid=4906] ppid=4882 vsize=15707496 CPUtime=0 cores=1,3,5,7
/proc/4884/task/4906/stat : 4906 (java) S 4882 4884 4342 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 523052193 16084475904 55285 33554432000 1073741824 1073778376 140734367337808 18446744073709551615 274485783449 0 4 0 16800975 18446604471164519616 0 0 -1 5 0 0 0
[pid=4884/tid=4907] ppid=4882 vsize=15707496 CPUtime=0 cores=1,3,5,7
/proc/4884/task/4907/stat : 4907 (java) S 4882 4884 4342 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 523052193 16084475904 55285 33554432000 1073741824 1073778376 140734367337808 18446744073709551615 274485784064 0 4 0 16800975 18446604471164519616 0 0 -1 1 0 0 0
[pid=4884/tid=4926] ppid=4882 vsize=15707496 CPUtime=0.46 cores=1,3,5,7
/proc/4884/task/4926/stat : 4926 (java) R 4882 4884 4342 0 -1 4202560 4984 0 0 0 46 0 0 0 16 0 22 0 523052225 16084475904 55285 33554432000 1073741824 1073778376 140734367337808 18446744073709551615 46912506011048 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=4884/tid=4927] ppid=4882 vsize=15707496 CPUtime=0.33 cores=1,3,5,7
/proc/4884/task/4927/stat : 4927 (java) R 4882 4884 4342 0 -1 4202560 2593 0 0 0 33 0 0 0 16 0 22 0 523052225 16084475904 55285 33554432000 1073741824 1073778376 140734367337808 18446744073709551615 47899192825865 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=4884/tid=4928] ppid=4882 vsize=15707496 CPUtime=0.38 cores=1,3,5,7
/proc/4884/task/4928/stat : 4928 (java) R 4882 4884 4342 0 -1 4202560 5262 0 0 0 38 0 0 0 16 0 22 0 523052225 16084475904 55285 33554432000 1073741824 1073778376 140734367337808 18446744073709551615 46912505882744 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=4884/tid=4929] ppid=4882 vsize=15707496 CPUtime=0.27 cores=1,3,5,7
/proc/4884/task/4929/stat : 4929 (java) R 4882 4884 4342 0 -1 4202560 817 0 0 0 27 0 0 0 16 0 22 0 523052226 16084475904 55285 33554432000 1073741824 1073778376 140734367337808 18446744073709551615 47899192825481 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.2
Current children cumulated vsize (KiB) 15707496

[startup+3.10156 s]
/proc/loadavg: 4.33 4.09 4.45 13/220 4933
/proc/meminfo: memFree=22265196/32950928 swapFree=67111524/67111528
[pid=4884] ppid=4882 vsize=15707496 CPUtime=10.57 cores=1,3,5,7
/proc/4884/stat : 4884 (java) S 4882 4884 4342 0 -1 4202496 122040 0 1 0 1038 19 0 0 22 0 22 0 523052188 16084475904 113129 33554432000 1073741824 1073778376 140734367337808 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/4884/statm: 3926874 113129 2274 9 0 3917593 0
[pid=4884/tid=4886] ppid=4882 vsize=15707496 CPUtime=0.86 cores=1,3,5,7
/proc/4884/task/4886/stat : 4886 (java) S 4882 4884 4342 0 -1 4202560 21903 0 1 0 83 3 0 0 20 0 22 0 523052189 16084475904 113129 33554432000 1073741824 1073778376 140734367337808 18446744073709551615 274485783449 0 4 0 16800975 18446604471164519616 0 0 -1 5 0 0 0
[pid=4884/tid=4887] ppid=4882 vsize=15707496 CPUtime=0.01 cores=1,3,5,7
/proc/4884/task/4887/stat : 4887 (java) S 4882 4884 4342 0 -1 4202560 6241 0 0 0 1 0 0 0 15 0 22 0 523052190 16084475904 113129 33554432000 1073741824 1073778376 140734367337808 18446744073709551615 274485783449 0 4 0 16800975 18446604471164519616 0 0 -1 5 0 0 0
[pid=4884/tid=4888] ppid=4882 vsize=15707496 CPUtime=0.01 cores=1,3,5,7
/proc/4884/task/4888/stat : 4888 (java) S 4882 4884 4342 0 -1 4202560 5169 0 0 0 0 1 0 0 15 0 22 0 523052190 16084475904 113129 33554432000 1073741824 1073778376 140734367337808 18446744073709551615 274485783449 0 4 0 16800975 18446604471164519616 0 0 -1 7 0 0 0
[pid=4884/tid=4889] ppid=4882 vsize=15707496 CPUtime=0 cores=1,3,5,7
/proc/4884/task/4889/stat : 4889 (java) S 4882 4884 4342 0 -1 4202560 2320 0 0 0 0 0 0 0 15 0 22 0 523052190 16084475904 113129 33554432000 1073741824 1073778376 140734367337808 18446744073709551615 274485783449 0 4 0 16800975 18446604471164519616 0 0 -1 1 0 0 0
[pid=4884/tid=4890] ppid=4882 vsize=15707496 CPUtime=0.01 cores=1,3,5,7
/proc/4884/task/4890/stat : 4890 (java) S 4882 4884 4342 0 -1 4202560 4590 0 0 0 1 0 0 0 16 0 22 0 523052190 16084475904 113129 33554432000 1073741824 1073778376 140734367337808 18446744073709551615 274485783449 0 4 0 16800975 18446604471164519616 0 0 -1 7 0 0 0
[pid=4884/tid=4891] ppid=4882 vsize=15707496 CPUtime=0 cores=1,3,5,7
/proc/4884/task/4891/stat : 4891 (java) S 4882 4884 4342 0 -1 4202560 3639 0 0 0 0 0 0 0 16 0 22 0 523052190 16084475904 113129 33554432000 1073741824 1073778376 140734367337808 18446744073709551615 274485783449 0 4 0 16800975 18446604471164519616 0 0 -1 3 0 0 0
[pid=4884/tid=4892] ppid=4882 vsize=15707496 CPUtime=0 cores=1,3,5,7
/proc/4884/task/4892/stat : 4892 (java) S 4882 4884 4342 0 -1 4202560 3462 0 0 0 0 0 0 0 15 0 22 0 523052190 16084475904 113129 33554432000 1073741824 1073778376 140734367337808 18446744073709551615 274485783449 0 4 0 16800975 18446604471164519616 0 0 -1 3 0 0 0
[pid=4884/tid=4893] ppid=4882 vsize=15707496 CPUtime=0.03 cores=1,3,5,7
/proc/4884/task/4893/stat : 4893 (java) S 4882 4884 4342 0 -1 4202560 10897 0 0 0 2 1 0 0 16 0 22 0 523052190 16084475904 113130 33554432000 1073741824 1073778376 140734367337808 18446744073709551615 274485783449 0 4 0 16800975 18446604471164519616 0 0 -1 1 0 0 0
[pid=4884/tid=4894] ppid=4882 vsize=15707496 CPUtime=0.02 cores=1,3,5,7
/proc/4884/task/4894/stat : 4894 (java) S 4882 4884 4342 0 -1 4202560 6457 0 0 0 1 1 0 0 16 0 22 0 523052190 16084475904 113132 33554432000 1073741824 1073778376 140734367337808 18446744073709551615 274485783449 0 4 0 16800975 18446604471164519616 0 0 -1 5 0 0 0
[pid=4884/tid=4895] ppid=4882 vsize=15707496 CPUtime=0 cores=1,3,5,7
/proc/4884/task/4895/stat : 4895 (java) S 4882 4884 4342 0 -1 4202560 238 0 0 0 0 0 0 0 15 0 22 0 523052191 16084475904 113132 33554432000 1073741824 1073778376 140734367337808 18446744073709551615 274485784064 0 0 0 16800975 18446604471164519616 0 0 -1 5 0 0 0
[pid=4884/tid=4896] ppid=4882 vsize=15707496 CPUtime=0 cores=1,3,5,7
/proc/4884/task/4896/stat : 4896 (java) S 4882 4884 4342 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 523052191 16084475904 113132 33554432000 1073741824 1073778376 140734367337808 18446744073709551615 274485783449 0 4 0 16800975 18446604471164519616 0 0 -1 5 0 0 0
[pid=4884/tid=4897] ppid=4882 vsize=15707496 CPUtime=0 cores=1,3,5,7
/proc/4884/task/4897/stat : 4897 (java) S 4882 4884 4342 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 523052191 16084475904 113132 33554432000 1073741824 1073778376 140734367337808 18446744073709551615 274485783449 0 4 0 16800975 18446604471164519616 0 0 -1 5 0 0 0
[pid=4884/tid=4903] ppid=4882 vsize=15707496 CPUtime=0 cores=1,3,5,7
/proc/4884/task/4903/stat : 4903 (java) S 4882 4884 4342 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 523052193 16084475904 113132 33554432000 1073741824 1073778376 140734367337808 18446744073709551615 274485791153 0 4 0 16800975 18446604471164519616 0 0 -1 5 0 0 0
[pid=4884/tid=4904] ppid=4882 vsize=15707496 CPUtime=0.96 cores=1,3,5,7
/proc/4884/task/4904/stat : 4904 (java) S 4882 4884 4342 0 -1 4202560 13392 0 0 0 94 2 0 0 19 0 22 0 523052193 16084475904 113132 33554432000 1073741824 1073778376 140734367337808 18446744073709551615 274485783449 0 4 0 16800975 18446604471164519616 0 0 -1 3 0 0 0
[pid=4884/tid=4905] ppid=4882 vsize=15707496 CPUtime=0.88 cores=1,3,5,7
/proc/4884/task/4905/stat : 4905 (java) S 4882 4884 4342 0 -1 4202560 6502 0 0 0 87 1 0 0 15 0 22 0 523052193 16084475904 113132 33554432000 1073741824 1073778376 140734367337808 18446744073709551615 274485783449 0 4 0 16800975 18446604471164519616 0 0 -1 7 0 0 0
[pid=4884/tid=4906] ppid=4882 vsize=15707496 CPUtime=0 cores=1,3,5,7
/proc/4884/task/4906/stat : 4906 (java) S 4882 4884 4342 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 523052193 16084475904 113132 33554432000 1073741824 1073778376 140734367337808 18446744073709551615 274485783449 0 4 0 16800975 18446604471164519616 0 0 -1 5 0 0 0
[pid=4884/tid=4907] ppid=4882 vsize=15707496 CPUtime=0 cores=1,3,5,7
/proc/4884/task/4907/stat : 4907 (java) S 4882 4884 4342 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 523052193 16084475904 113132 33554432000 1073741824 1073778376 140734367337808 18446744073709551615 274485784064 0 4 0 16800975 18446604471164519616 0 0 -1 5 0 0 0
[pid=4884/tid=4926] ppid=4882 vsize=15707496 CPUtime=1.99 cores=1,3,5,7
/proc/4884/task/4926/stat : 4926 (java) R 4882 4884 4342 0 -1 4202560 9889 0 0 0 199 0 0 0 17 0 22 0 523052225 16084475904 113132 33554432000 1073741824 1073778376 140734367337808 18446744073709551615 47899192824356 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=4884/tid=4927] ppid=4882 vsize=15707496 CPUtime=1.89 cores=1,3,5,7
/proc/4884/task/4927/stat : 4927 (java) R 4882 4884 4342 0 -1 4202560 8593 0 0 0 188 1 0 0 17 0 22 0 523052225 16084475904 113132 33554432000 1073741824 1073778376 140734367337808 18446744073709551615 46912505873305 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=4884/tid=4928] ppid=4882 vsize=15707496 CPUtime=1.94 cores=1,3,5,7
/proc/4884/task/4928/stat : 4928 (java) R 4882 4884 4342 0 -1 4202560 10739 0 0 0 193 1 0 0 17 0 22 0 523052225 16084475904 113132 33554432000 1073741824 1073778376 140734367337808 18446744073709551615 47899193502547 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=4884/tid=4929] ppid=4882 vsize=15707496 CPUtime=1.82 cores=1,3,5,7
/proc/4884/task/4929/stat : 4929 (java) R 4882 4884 4342 0 -1 4202560 6627 0 0 0 182 0 0 0 17 0 22 0 523052226 16084475904 113132 33554432000 1073741824 1073778376 140734367337808 18446744073709551615 46912505914354 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 10.57
Current children cumulated vsize (KiB) 15707496

[startup+6.301 s]
/proc/loadavg: 4.33 4.09 4.45 11/220 4933
/proc/meminfo: memFree=20975348/32950928 swapFree=67111524/67111528
[pid=4884] ppid=4882 vsize=15701036 CPUtime=23.35 cores=1,3,5,7
/proc/4884/stat : 4884 (java) S 4882 4884 4342 0 -1 4202496 343076 0 1 0 2281 54 0 0 22 0 22 0 523052188 16077860864 332160 33554432000 1073741824 1073778376 140734367337808 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/4884/statm: 3925259 332160 2277 9 0 3915978 0
[pid=4884/tid=4886] ppid=4882 vsize=15701036 CPUtime=0.86 cores=1,3,5,7
/proc/4884/task/4886/stat : 4886 (java) S 4882 4884 4342 0 -1 4202560 21903 0 1 0 83 3 0 0 20 0 22 0 523052189 16077860864 332160 33554432000 1073741824 1073778376 140734367337808 18446744073709551615 274485783449 0 4 0 16800975 18446604471164519616 0 0 -1 5 0 0 0
[pid=4884/tid=4887] ppid=4882 vsize=15701036 CPUtime=0.06 cores=1,3,5,7
/proc/4884/task/4887/stat : 4887 (java) S 4882 4884 4342 0 -1 4202560 18666 0 0 0 3 3 0 0 16 0 22 0 523052190 16077860864 332160 33554432000 1073741824 1073778376 140734367337808 18446744073709551615 274485783449 0 4 0 16800975 18446604471164519616 0 0 -1 1 0 0 0
[pid=4884/tid=4888] ppid=4882 vsize=15701036 CPUtime=0.04 cores=1,3,5,7
/proc/4884/task/4888/stat : 4888 (java) S 4882 4884 4342 0 -1 4202560 11781 0 0 0 2 2 0 0 16 0 22 0 523052190 16077860864 332160 33554432000 1073741824 1073778376 140734367337808 18446744073709551615 274485783449 0 4 0 16800975 18446604471164519616 0 0 -1 7 0 0 0
[pid=4884/tid=4889] ppid=4882 vsize=15701036 CPUtime=0.08 cores=1,3,5,7
/proc/4884/task/4889/stat : 4889 (java) S 4882 4884 4342 0 -1 4202560 21000 0 0 0 4 4 0 0 16 0 22 0 523052190 16077860864 332160 33554432000 1073741824 1073778376 140734367337808 18446744073709551615 274485783449 0 4 0 16800975 18446604471164519616 0 0 -1 1 0 0 0
[pid=4884/tid=4890] ppid=4882 vsize=15701036 CPUtime=0.05 cores=1,3,5,7
/proc/4884/task/4890/stat : 4890 (java) S 4882 4884 4342 0 -1 4202560 17074 0 0 0 3 2 0 0 15 0 22 0 523052190 16077860864 332160 33554432000 1073741824 1073778376 140734367337808 18446744073709551615 274485783449 0 4 0 16800975 18446604471164519616 0 0 -1 7 0 0 0
[pid=4884/tid=4891] ppid=4882 vsize=15701036 CPUtime=0.03 cores=1,3,5,7
/proc/4884/task/4891/stat : 4891 (java) S 4882 4884 4342 0 -1 4202560 10112 0 0 0 1 2 0 0 15 0 22 0 523052190 16077860864 332160 33554432000 1073741824 1073778376 140734367337808 18446744073709551615 274485783449 0 4 0 16800975 18446604471164519616 0 0 -1 3 0 0 0
[pid=4884/tid=4892] ppid=4882 vsize=15701036 CPUtime=0.03 cores=1,3,5,7
/proc/4884/task/4892/stat : 4892 (java) S 4882 4884 4342 0 -1 4202560 10208 0 0 0 1 2 0 0 16 0 22 0 523052190 16077860864 332160 33554432000 1073741824 1073778376 140734367337808 18446744073709551615 274485783449 0 4 0 16800975 18446604471164519616 0 0 -1 3 0 0 0
[pid=4884/tid=4893] ppid=4882 vsize=15701036 CPUtime=0.05 cores=1,3,5,7
/proc/4884/task/4893/stat : 4893 (java) S 4882 4884 4342 0 -1 4202560 17223 0 0 0 3 2 0 0 15 0 22 0 523052190 16077860864 332160 33554432000 1073741824 1073778376 140734367337808 18446744073709551615 274485783449 0 4 0 16800975 18446604471164519616 0 0 -1 5 0 0 0
[pid=4884/tid=4894] ppid=4882 vsize=15701036 CPUtime=0.04 cores=1,3,5,7
/proc/4884/task/4894/stat : 4894 (java) S 4882 4884 4342 0 -1 4202560 12082 0 0 0 2 2 0 0 15 0 22 0 523052190 16077860864 332160 33554432000 1073741824 1073778376 140734367337808 18446744073709551615 274485783449 0 4 0 16800975 18446604471164519616 0 0 -1 1 0 0 0
[pid=4884/tid=4895] ppid=4882 vsize=15701036 CPUtime=0 cores=1,3,5,7
/proc/4884/task/4895/stat : 4895 (java) S 4882 4884 4342 0 -1 4202560 818 0 0 0 0 0 0 0 15 0 22 0 523052191 16077860864 332160 33554432000 1073741824 1073778376 140734367337808 18446744073709551615 274485784064 0 0 0 16800975 18446604471164519616 0 0 -1 5 0 0 0
[pid=4884/tid=4896] ppid=4882 vsize=15701036 CPUtime=0 cores=1,3,5,7
/proc/4884/task/4896/stat : 4896 (java) S 4882 4884 4342 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 523052191 16077860864 332160 33554432000 1073741824 1073778376 140734367337808 18446744073709551615 274485783449 0 4 0 16800975 18446604471164519616 0 0 -1 5 0 0 0
[pid=4884/tid=4897] ppid=4882 vsize=15701036 CPUtime=0 cores=1,3,5,7
/proc/4884/task/4897/stat : 4897 (java) S 4882 4884 4342 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 523052191 16077860864 332160 33554432000 1073741824 1073778376 140734367337808 18446744073709551615 274485783449 0 4 0 16800975 18446604471164519616 0 0 -1 5 0 0 0
[pid=4884/tid=4903] ppid=4882 vsize=15701036 CPUtime=0 cores=1,3,5,7
/proc/4884/task/4903/stat : 4903 (java) S 4882 4884 4342 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 523052193 16077860864 332160 33554432000 1073741824 1073778376 140734367337808 18446744073709551615 274485791153 0 4 0 16800975 18446604471164519616 0 0 -1 5 0 0 0
[pid=4884/tid=4904] ppid=4882 vsize=15701036 CPUtime=1.11 cores=1,3,5,7
/proc/4884/task/4904/stat : 4904 (java) S 4882 4884 4342 0 -1 4202560 13423 0 0 0 109 2 0 0 15 0 22 0 523052193 16077860864 332160 33554432000 1073741824 1073778376 140734367337808 18446744073709551615 274485783449 0 4 0 16800975 18446604471164519616 0 0 -1 3 0 0 0

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

[pid=4884/tid=4927] ppid=4882 vsize=15701036 CPUtime=1050.12 cores=1,3,5,7
/proc/4884/task/4927/stat : 4927 (java) R 4882 4884 4342 0 -1 4202560 391956 0 0 0 104956 56 0 0 25 0 22 0 523052225 16077860864 157235 33554432000 1073741824 1073778376 140734367337808 18446744073709551615 46912505947241 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=4884/tid=4928] ppid=4882 vsize=15701036 CPUtime=1048.59 cores=1,3,5,7
/proc/4884/task/4928/stat : 4928 (java) R 4882 4884 4342 0 -1 4202560 388460 0 0 0 104807 52 0 0 25 0 22 0 523052225 16077860864 157235 33554432000 1073741824 1073778376 140734367337808 18446744073709551615 46912506190527 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=4884/tid=4929] ppid=4882 vsize=15701036 CPUtime=1049.31 cores=1,3,5,7
/proc/4884/task/4929/stat : 4929 (java) R 4882 4884 4342 0 -1 4202560 381429 0 0 0 104879 52 0 0 25 0 22 0 523052226 16077860864 157235 33554432000 1073741824 1073778376 140734367337808 18446744073709551615 46912505366066 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4229.2
Current children cumulated vsize (KiB) 15701036

[startup+1122.3 s]
/proc/loadavg: 8.07 7.98 6.97 9/220 4966
/proc/meminfo: memFree=13823900/32950928 swapFree=67111524/67111528
[pid=4884] ppid=4882 vsize=15701036 CPUtime=4468.16 cores=1,3,5,7
/proc/4884/stat : 4884 (java) S 4882 4884 4342 0 -1 4202496 3078731 0 1 0 446250 566 0 0 22 0 22 0 523052188 16077860864 150672 33554432000 1073741824 1073778376 140734367337808 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/4884/statm: 3925259 150672 2298 9 0 3915978 0
[pid=4884/tid=4886] ppid=4882 vsize=15701036 CPUtime=0.86 cores=1,3,5,7
/proc/4884/task/4886/stat : 4886 (java) S 4882 4884 4342 0 -1 4202560 21903 0 1 0 83 3 0 0 20 0 22 0 523052189 16077860864 150672 33554432000 1073741824 1073778376 140734367337808 18446744073709551615 274485783449 0 4 0 16800975 18446604471164519616 0 0 -1 5 0 0 0
[pid=4884/tid=4887] ppid=4882 vsize=15701036 CPUtime=3.66 cores=1,3,5,7
/proc/4884/task/4887/stat : 4887 (java) S 4882 4884 4342 0 -1 4202560 173853 0 0 0 334 32 0 0 15 0 22 0 523052190 16077860864 150672 33554432000 1073741824 1073778376 140734367337808 18446744073709551615 274485783449 0 4 0 16800975 18446604471164519616 0 0 -1 5 0 0 0
[pid=4884/tid=4888] ppid=4882 vsize=15701036 CPUtime=3.68 cores=1,3,5,7
/proc/4884/task/4888/stat : 4888 (java) S 4882 4884 4342 0 -1 4202560 175984 0 0 0 335 33 0 0 15 0 22 0 523052190 16077860864 150672 33554432000 1073741824 1073778376 140734367337808 18446744073709551615 274485783449 0 4 0 16800975 18446604471164519616 0 0 -1 1 0 0 0
[pid=4884/tid=4889] ppid=4882 vsize=15701036 CPUtime=3.66 cores=1,3,5,7
/proc/4884/task/4889/stat : 4889 (java) S 4882 4884 4342 0 -1 4202560 184007 0 0 0 333 33 0 0 16 0 22 0 523052190 16077860864 150672 33554432000 1073741824 1073778376 140734367337808 18446744073709551615 274485783449 0 4 0 16800975 18446604471164519616 0 0 -1 1 0 0 0
[pid=4884/tid=4890] ppid=4882 vsize=15701036 CPUtime=3.72 cores=1,3,5,7
/proc/4884/task/4890/stat : 4890 (java) S 4882 4884 4342 0 -1 4202560 180301 0 0 0 342 30 0 0 15 0 22 0 523052190 16077860864 150672 33554432000 1073741824 1073778376 140734367337808 18446744073709551615 274485783449 0 4 0 16800975 18446604471164519616 0 0 -1 1 0 0 0
[pid=4884/tid=4891] ppid=4882 vsize=15701036 CPUtime=3.68 cores=1,3,5,7
/proc/4884/task/4891/stat : 4891 (java) S 4882 4884 4342 0 -1 4202560 175918 0 0 0 337 31 0 0 15 0 22 0 523052190 16077860864 150672 33554432000 1073741824 1073778376 140734367337808 18446744073709551615 274485783449 0 4 0 16800975 18446604471164519616 0 0 -1 1 0 0 0
[pid=4884/tid=4892] ppid=4882 vsize=15701036 CPUtime=3.68 cores=1,3,5,7
/proc/4884/task/4892/stat : 4892 (java) S 4882 4884 4342 0 -1 4202560 173089 0 0 0 336 32 0 0 16 0 22 0 523052190 16077860864 150672 33554432000 1073741824 1073778376 140734367337808 18446744073709551615 274485783449 0 4 0 16800975 18446604471164519616 0 0 -1 3 0 0 0
[pid=4884/tid=4893] ppid=4882 vsize=15701036 CPUtime=3.77 cores=1,3,5,7
/proc/4884/task/4893/stat : 4893 (java) S 4882 4884 4342 0 -1 4202560 190795 0 0 0 342 35 0 0 16 0 22 0 523052190 16077860864 150672 33554432000 1073741824 1073778376 140734367337808 18446744073709551615 274485783449 0 4 0 16800975 18446604471164519616 0 0 -1 5 0 0 0
[pid=4884/tid=4894] ppid=4882 vsize=15701036 CPUtime=3.66 cores=1,3,5,7
/proc/4884/task/4894/stat : 4894 (java) S 4882 4884 4342 0 -1 4202560 179442 0 0 0 334 32 0 0 16 0 22 0 523052190 16077860864 150672 33554432000 1073741824 1073778376 140734367337808 18446744073709551615 274485783449 0 4 0 16800975 18446604471164519616 0 0 -1 7 0 0 0
[pid=4884/tid=4895] ppid=4882 vsize=15701036 CPUtime=1.61 cores=1,3,5,7
/proc/4884/task/4895/stat : 4895 (java) S 4882 4884 4342 0 -1 4202560 8221 0 0 0 88 73 0 0 15 0 22 0 523052191 16077860864 150672 33554432000 1073741824 1073778376 140734367337808 18446744073709551615 274485784064 0 0 0 16800975 18446604471164519616 0 0 -1 5 0 0 0
[pid=4884/tid=4896] ppid=4882 vsize=15701036 CPUtime=0 cores=1,3,5,7
/proc/4884/task/4896/stat : 4896 (java) S 4882 4884 4342 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 523052191 16077860864 150672 33554432000 1073741824 1073778376 140734367337808 18446744073709551615 274485783449 0 4 0 16800975 18446604471164519616 0 0 -1 5 0 0 0
[pid=4884/tid=4897] ppid=4882 vsize=15701036 CPUtime=0 cores=1,3,5,7
/proc/4884/task/4897/stat : 4897 (java) S 4882 4884 4342 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 523052191 16077860864 150672 33554432000 1073741824 1073778376 140734367337808 18446744073709551615 274485783449 0 4 0 16800975 18446604471164519616 0 0 -1 5 0 0 0
[pid=4884/tid=4903] ppid=4882 vsize=15701036 CPUtime=0 cores=1,3,5,7
/proc/4884/task/4903/stat : 4903 (java) S 4882 4884 4342 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 523052193 16077860864 150672 33554432000 1073741824 1073778376 140734367337808 18446744073709551615 274485791153 0 4 0 16800975 18446604471164519616 0 0 -1 5 0 0 0
[pid=4884/tid=4904] ppid=4882 vsize=15701036 CPUtime=1.23 cores=1,3,5,7
/proc/4884/task/4904/stat : 4904 (java) S 4882 4884 4342 0 -1 4202560 13439 0 0 0 121 2 0 0 16 0 22 0 523052193 16077860864 150672 33554432000 1073741824 1073778376 140734367337808 18446744073709551615 274485783449 0 4 0 16800975 18446604471164519616 0 0 -1 3 0 0 0
[pid=4884/tid=4905] ppid=4882 vsize=15701036 CPUtime=1.19 cores=1,3,5,7
/proc/4884/task/4905/stat : 4905 (java) S 4882 4884 4342 0 -1 4202560 6549 0 0 0 118 1 0 0 15 0 22 0 523052193 16077860864 150672 33554432000 1073741824 1073778376 140734367337808 18446744073709551615 274485783449 0 4 0 16800975 18446604471164519616 0 0 -1 7 0 0 0
[pid=4884/tid=4906] ppid=4882 vsize=15701036 CPUtime=0 cores=1,3,5,7
/proc/4884/task/4906/stat : 4906 (java) S 4882 4884 4342 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 523052193 16077860864 150672 33554432000 1073741824 1073778376 140734367337808 18446744073709551615 274485783449 0 4 0 16800975 18446604471164519616 0 0 -1 5 0 0 0
[pid=4884/tid=4907] ppid=4882 vsize=15701036 CPUtime=0 cores=1,3,5,7
/proc/4884/task/4907/stat : 4907 (java) S 4882 4884 4342 0 -1 4202560 65 0 0 0 0 0 0 0 15 0 22 0 523052193 16077860864 150672 33554432000 1073741824 1073778376 140734367337808 18446744073709551615 274485784064 0 4 0 16800975 18446604471164519616 0 0 -1 7 0 0 0
[pid=4884/tid=4926] ppid=4882 vsize=15701036 CPUtime=1107.76 cores=1,3,5,7
/proc/4884/task/4926/stat : 4926 (java) R 4882 4884 4342 0 -1 4202560 384079 0 0 0 110722 54 0 0 25 0 22 0 523052225 16077860864 150672 33554432000 1073741824 1073778376 140734367337808 18446744073709551615 46912505773211 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=4884/tid=4927] ppid=4882 vsize=15701036 CPUtime=1109.43 cores=1,3,5,7
/proc/4884/task/4927/stat : 4927 (java) R 4882 4884 4342 0 -1 4202560 407154 0 0 0 110885 58 0 0 25 0 22 0 523052225 16077860864 150672 33554432000 1073741824 1073778376 140734367337808 18446744073709551615 46912506000604 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=4884/tid=4928] ppid=4882 vsize=15701036 CPUtime=1107.98 cores=1,3,5,7
/proc/4884/task/4928/stat : 4928 (java) R 4882 4884 4342 0 -1 4202560 405579 0 0 0 110744 54 0 0 25 0 22 0 523052225 16077860864 150672 33554432000 1073741824 1073778376 140734367337808 18446744073709551615 18446744073699065904 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=4884/tid=4929] ppid=4882 vsize=15701036 CPUtime=1108.44 cores=1,3,5,7
/proc/4884/task/4929/stat : 4929 (java) R 4882 4884 4342 0 -1 4202560 396969 0 0 0 110790 54 0 0 25 0 22 0 523052226 16077860864 150672 33554432000 1073741824 1073778376 140734367337808 18446744073709551615 46912505980790 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4468.16
Current children cumulated vsize (KiB) 15701036

[startup+1182.3 s]
/proc/loadavg: 8.06 7.99 7.03 9/220 4968
/proc/meminfo: memFree=13778620/32950928 swapFree=67111524/67111528
[pid=4884] ppid=4882 vsize=15701036 CPUtime=4707.04 cores=1,3,5,7
/proc/4884/stat : 4884 (java) S 4882 4884 4342 0 -1 4202496 3227908 0 1 0 470108 596 0 0 22 0 22 0 523052188 16077860864 145353 33554432000 1073741824 1073778376 140734367337808 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/4884/statm: 3925259 145353 2298 9 0 3915978 0
[pid=4884/tid=4886] ppid=4882 vsize=15701036 CPUtime=0.86 cores=1,3,5,7
/proc/4884/task/4886/stat : 4886 (java) S 4882 4884 4342 0 -1 4202560 21903 0 1 0 83 3 0 0 20 0 22 0 523052189 16077860864 145353 33554432000 1073741824 1073778376 140734367337808 18446744073709551615 274485783449 0 4 0 16800975 18446604471164519616 0 0 -1 5 0 0 0
[pid=4884/tid=4887] ppid=4882 vsize=15701036 CPUtime=3.86 cores=1,3,5,7
/proc/4884/task/4887/stat : 4887 (java) S 4882 4884 4342 0 -1 4202560 184231 0 0 0 352 34 0 0 15 0 22 0 523052190 16077860864 145353 33554432000 1073741824 1073778376 140734367337808 18446744073709551615 274485783449 0 4 0 16800975 18446604471164519616 0 0 -1 5 0 0 0
[pid=4884/tid=4888] ppid=4882 vsize=15701036 CPUtime=3.87 cores=1,3,5,7
/proc/4884/task/4888/stat : 4888 (java) S 4882 4884 4342 0 -1 4202560 184560 0 0 0 352 35 0 0 16 0 22 0 523052190 16077860864 145353 33554432000 1073741824 1073778376 140734367337808 18446744073709551615 274485783449 0 4 0 16800975 18446604471164519616 0 0 -1 1 0 0 0
[pid=4884/tid=4889] ppid=4882 vsize=15701036 CPUtime=3.87 cores=1,3,5,7
/proc/4884/task/4889/stat : 4889 (java) S 4882 4884 4342 0 -1 4202560 193948 0 0 0 352 35 0 0 15 0 22 0 523052190 16077860864 145353 33554432000 1073741824 1073778376 140734367337808 18446744073709551615 274485783449 0 4 0 16800975 18446604471164519616 0 0 -1 3 0 0 0
[pid=4884/tid=4890] ppid=4882 vsize=15701036 CPUtime=3.96 cores=1,3,5,7
/proc/4884/task/4890/stat : 4890 (java) S 4882 4884 4342 0 -1 4202560 192270 0 0 0 364 32 0 0 15 0 22 0 523052190 16077860864 145353 33554432000 1073741824 1073778376 140734367337808 18446744073709551615 274485783449 0 4 0 16800975 18446604471164519616 0 0 -1 7 0 0 0
[pid=4884/tid=4891] ppid=4882 vsize=15701036 CPUtime=3.9 cores=1,3,5,7
/proc/4884/task/4891/stat : 4891 (java) S 4882 4884 4342 0 -1 4202560 187682 0 0 0 357 33 0 0 16 0 22 0 523052190 16077860864 145353 33554432000 1073741824 1073778376 140734367337808 18446744073709551615 274485783449 0 4 0 16800975 18446604471164519616 0 0 -1 3 0 0 0
[pid=4884/tid=4892] ppid=4882 vsize=15701036 CPUtime=3.89 cores=1,3,5,7
/proc/4884/task/4892/stat : 4892 (java) S 4882 4884 4342 0 -1 4202560 181211 0 0 0 355 34 0 0 15 0 22 0 523052190 16077860864 145353 33554432000 1073741824 1073778376 140734367337808 18446744073709551615 274485783449 0 4 0 16800975 18446604471164519616 0 0 -1 5 0 0 0
[pid=4884/tid=4893] ppid=4882 vsize=15701036 CPUtime=3.98 cores=1,3,5,7
/proc/4884/task/4893/stat : 4893 (java) S 4882 4884 4342 0 -1 4202560 201996 0 0 0 361 37 0 0 15 0 22 0 523052190 16077860864 145353 33554432000 1073741824 1073778376 140734367337808 18446744073709551615 274485783449 0 4 0 16800975 18446604471164519616 0 0 -1 5 0 0 0
[pid=4884/tid=4894] ppid=4882 vsize=15701036 CPUtime=3.85 cores=1,3,5,7
/proc/4884/task/4894/stat : 4894 (java) S 4882 4884 4342 0 -1 4202560 187877 0 0 0 351 34 0 0 15 0 22 0 523052190 16077860864 145353 33554432000 1073741824 1073778376 140734367337808 18446744073709551615 274485783449 0 4 0 16800975 18446604471164519616 0 0 -1 7 0 0 0
[pid=4884/tid=4895] ppid=4882 vsize=15701036 CPUtime=1.72 cores=1,3,5,7
/proc/4884/task/4895/stat : 4895 (java) S 4882 4884 4342 0 -1 4202560 8683 0 0 0 96 76 0 0 15 0 22 0 523052191 16077860864 145353 33554432000 1073741824 1073778376 140734367337808 18446744073709551615 274485784064 0 0 0 16800975 18446604471164519616 0 0 -1 5 0 0 0
[pid=4884/tid=4896] ppid=4882 vsize=15701036 CPUtime=0 cores=1,3,5,7
/proc/4884/task/4896/stat : 4896 (java) S 4882 4884 4342 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 523052191 16077860864 145353 33554432000 1073741824 1073778376 140734367337808 18446744073709551615 274485783449 0 4 0 16800975 18446604471164519616 0 0 -1 5 0 0 0
[pid=4884/tid=4897] ppid=4882 vsize=15701036 CPUtime=0 cores=1,3,5,7
/proc/4884/task/4897/stat : 4897 (java) S 4882 4884 4342 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 523052191 16077860864 145353 33554432000 1073741824 1073778376 140734367337808 18446744073709551615 274485783449 0 4 0 16800975 18446604471164519616 0 0 -1 5 0 0 0
[pid=4884/tid=4903] ppid=4882 vsize=15701036 CPUtime=0 cores=1,3,5,7
/proc/4884/task/4903/stat : 4903 (java) S 4882 4884 4342 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 523052193 16077860864 145353 33554432000 1073741824 1073778376 140734367337808 18446744073709551615 274485791153 0 4 0 16800975 18446604471164519616 0 0 -1 5 0 0 0
[pid=4884/tid=4904] ppid=4882 vsize=15701036 CPUtime=1.23 cores=1,3,5,7
/proc/4884/task/4904/stat : 4904 (java) S 4882 4884 4342 0 -1 4202560 13439 0 0 0 121 2 0 0 16 0 22 0 523052193 16077860864 145353 33554432000 1073741824 1073778376 140734367337808 18446744073709551615 274485783449 0 4 0 16800975 18446604471164519616 0 0 -1 3 0 0 0
[pid=4884/tid=4905] ppid=4882 vsize=15701036 CPUtime=1.19 cores=1,3,5,7
/proc/4884/task/4905/stat : 4905 (java) S 4882 4884 4342 0 -1 4202560 6549 0 0 0 118 1 0 0 15 0 22 0 523052193 16077860864 145353 33554432000 1073741824 1073778376 140734367337808 18446744073709551615 274485783449 0 4 0 16800975 18446604471164519616 0 0 -1 7 0 0 0
[pid=4884/tid=4906] ppid=4882 vsize=15701036 CPUtime=0 cores=1,3,5,7
/proc/4884/task/4906/stat : 4906 (java) S 4882 4884 4342 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 523052193 16077860864 145353 33554432000 1073741824 1073778376 140734367337808 18446744073709551615 274485783449 0 4 0 16800975 18446604471164519616 0 0 -1 5 0 0 0
[pid=4884/tid=4907] ppid=4882 vsize=15701036 CPUtime=0 cores=1,3,5,7
/proc/4884/task/4907/stat : 4907 (java) S 4882 4884 4342 0 -1 4202560 67 0 0 0 0 0 0 0 15 0 22 0 523052193 16077860864 145353 33554432000 1073741824 1073778376 140734367337808 18446744073709551615 274485784064 0 4 0 16800975 18446604471164519616 0 0 -1 7 0 0 0
[pid=4884/tid=4926] ppid=4882 vsize=15701036 CPUtime=1166.87 cores=1,3,5,7
/proc/4884/task/4926/stat : 4926 (java) R 4882 4884 4342 0 -1 4202560 403137 0 0 0 116630 57 0 0 25 0 22 0 523052225 16077860864 145353 33554432000 1073741824 1073778376 140734367337808 18446744073709551615 46912505769297 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=4884/tid=4927] ppid=4882 vsize=15701036 CPUtime=1168.78 cores=1,3,5,7
/proc/4884/task/4927/stat : 4927 (java) R 4882 4884 4342 0 -1 4202560 424004 0 0 0 116817 61 0 0 25 0 22 0 523052225 16077860864 145353 33554432000 1073741824 1073778376 140734367337808 18446744073709551615 46912505874185 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=4884/tid=4928] ppid=4882 vsize=15701036 CPUtime=1167.32 cores=1,3,5,7
/proc/4884/task/4928/stat : 4928 (java) R 4882 4884 4342 0 -1 4202560 421318 0 0 0 116676 56 0 0 25 0 22 0 523052225 16077860864 145353 33554432000 1073741824 1073778376 140734367337808 18446744073709551615 46912506453796 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=4884/tid=4929] ppid=4882 vsize=15701036 CPUtime=1167.7 cores=1,3,5,7
/proc/4884/task/4929/stat : 4929 (java) R 4882 4884 4342 0 -1 4202560 413649 0 0 0 116714 56 0 0 25 0 22 0 523052226 16077860864 145353 33554432000 1073741824 1073778376 140734367337808 18446744073709551615 18446744073699065863 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4707.04
Current children cumulated vsize (KiB) 15701036



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1205.71 s]
/proc/loadavg: 8.16 8.02 7.07 5/197 4971
/proc/meminfo: memFree=22234360/32950928 swapFree=67111524/67111528
[pid=4884] ppid=4882 vsize=15701036 CPUtime=4800.29 cores=1,3,5,7
/proc/4884/stat : 4884 (java) S 4882 4884 4342 0 -1 4202496 3281883 0 1 0 479422 607 0 0 22 0 22 0 523052188 16077860864 151145 33554432000 1073741824 1073778376 140734367337808 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/4884/statm: 3925259 151145 2298 9 0 3915978 0
[pid=4884/tid=4886] ppid=4882 vsize=15701036 CPUtime=0.86 cores=1,3,5,7
/proc/4884/task/4886/stat : 4886 (java) S 4882 4884 4342 0 -1 4202560 21903 0 1 0 83 3 0 0 20 0 22 0 523052189 16077860864 151145 33554432000 1073741824 1073778376 140734367337808 18446744073709551615 274485783449 0 4 0 16800975 18446604471164519616 0 0 -1 5 0 0 0
[pid=4884/tid=4887] ppid=4882 vsize=15701036 CPUtime=3.92 cores=1,3,5,7
/proc/4884/task/4887/stat : 4887 (java) S 4882 4884 4342 0 -1 4202560 186849 0 0 0 357 35 0 0 15 0 22 0 523052190 16077860864 151145 33554432000 1073741824 1073778376 140734367337808 18446744073709551615 274485783449 0 4 0 16800975 18446604471164519616 0 0 -1 7 0 0 0
[pid=4884/tid=4888] ppid=4882 vsize=15701036 CPUtime=3.95 cores=1,3,5,7
/proc/4884/task/4888/stat : 4888 (java) S 4882 4884 4342 0 -1 4202560 188819 0 0 0 360 35 0 0 16 0 22 0 523052190 16077860864 151145 33554432000 1073741824 1073778376 140734367337808 18446744073709551615 274485783449 0 4 0 16800975 18446604471164519616 0 0 -1 7 0 0 0
[pid=4884/tid=4889] ppid=4882 vsize=15701036 CPUtime=3.95 cores=1,3,5,7
/proc/4884/task/4889/stat : 4889 (java) S 4882 4884 4342 0 -1 4202560 197647 0 0 0 359 36 0 0 16 0 22 0 523052190 16077860864 151145 33554432000 1073741824 1073778376 140734367337808 18446744073709551615 274485783449 0 4 0 16800975 18446604471164519616 0 0 -1 1 0 0 0
[pid=4884/tid=4890] ppid=4882 vsize=15701036 CPUtime=4.02 cores=1,3,5,7
/proc/4884/task/4890/stat : 4890 (java) S 4882 4884 4342 0 -1 4202560 194958 0 0 0 370 32 0 0 16 0 22 0 523052190 16077860864 151145 33554432000 1073741824 1073778376 140734367337808 18446744073709551615 274485783449 0 4 0 16800975 18446604471164519616 0 0 -1 1 0 0 0
[pid=4884/tid=4891] ppid=4882 vsize=15701036 CPUtime=3.98 cores=1,3,5,7
/proc/4884/task/4891/stat : 4891 (java) S 4882 4884 4342 0 -1 4202560 191180 0 0 0 364 34 0 0 16 0 22 0 523052190 16077860864 151145 33554432000 1073741824 1073778376 140734367337808 18446744073709551615 274485783449 0 4 0 16800975 18446604471164519616 0 0 -1 3 0 0 0
[pid=4884/tid=4892] ppid=4882 vsize=15701036 CPUtime=3.99 cores=1,3,5,7
/proc/4884/task/4892/stat : 4892 (java) S 4882 4884 4342 0 -1 4202560 185390 0 0 0 364 35 0 0 16 0 22 0 523052190 16077860864 151145 33554432000 1073741824 1073778376 140734367337808 18446744073709551615 274485783449 0 4 0 16800975 18446604471164519616 0 0 -1 7 0 0 0
[pid=4884/tid=4893] ppid=4882 vsize=15701036 CPUtime=4.06 cores=1,3,5,7
/proc/4884/task/4893/stat : 4893 (java) S 4882 4884 4342 0 -1 4202560 205060 0 0 0 369 37 0 0 15 0 22 0 523052190 16077860864 151145 33554432000 1073741824 1073778376 140734367337808 18446744073709551615 274485783449 0 4 0 16800975 18446604471164519616 0 0 -1 7 0 0 0
[pid=4884/tid=4894] ppid=4882 vsize=15701036 CPUtime=3.93 cores=1,3,5,7
/proc/4884/task/4894/stat : 4894 (java) S 4882 4884 4342 0 -1 4202560 192224 0 0 0 358 35 0 0 15 0 22 0 523052190 16077860864 151145 33554432000 1073741824 1073778376 140734367337808 18446744073709551615 274485783449 0 4 0 16800975 18446604471164519616 0 0 -1 7 0 0 0
[pid=4884/tid=4895] ppid=4882 vsize=15701036 CPUtime=1.75 cores=1,3,5,7
/proc/4884/task/4895/stat : 4895 (java) S 4882 4884 4342 0 -1 4202560 8841 0 0 0 96 79 0 0 15 0 22 0 523052191 16077860864 151145 33554432000 1073741824 1073778376 140734367337808 18446744073709551615 274485784064 0 0 0 16800975 18446604471164519616 0 0 -1 5 0 0 0
[pid=4884/tid=4896] ppid=4882 vsize=15701036 CPUtime=0 cores=1,3,5,7
/proc/4884/task/4896/stat : 4896 (java) S 4882 4884 4342 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 523052191 16077860864 151145 33554432000 1073741824 1073778376 140734367337808 18446744073709551615 274485783449 0 4 0 16800975 18446604471164519616 0 0 -1 5 0 0 0
[pid=4884/tid=4897] ppid=4882 vsize=15701036 CPUtime=0 cores=1,3,5,7
/proc/4884/task/4897/stat : 4897 (java) S 4882 4884 4342 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 523052191 16077860864 151145 33554432000 1073741824 1073778376 140734367337808 18446744073709551615 274485783449 0 4 0 16800975 18446604471164519616 0 0 -1 5 0 0 0
[pid=4884/tid=4903] ppid=4882 vsize=15701036 CPUtime=0 cores=1,3,5,7
/proc/4884/task/4903/stat : 4903 (java) S 4882 4884 4342 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 523052193 16077860864 151145 33554432000 1073741824 1073778376 140734367337808 18446744073709551615 274485791153 0 4 0 16800975 18446604471164519616 0 0 -1 5 0 0 0
[pid=4884/tid=4904] ppid=4882 vsize=15701036 CPUtime=1.23 cores=1,3,5,7
/proc/4884/task/4904/stat : 4904 (java) S 4882 4884 4342 0 -1 4202560 13439 0 0 0 121 2 0 0 16 0 22 0 523052193 16077860864 151145 33554432000 1073741824 1073778376 140734367337808 18446744073709551615 274485783449 0 4 0 16800975 18446604471164519616 0 0 -1 3 0 0 0
[pid=4884/tid=4905] ppid=4882 vsize=15701036 CPUtime=1.19 cores=1,3,5,7
/proc/4884/task/4905/stat : 4905 (java) S 4882 4884 4342 0 -1 4202560 6549 0 0 0 118 1 0 0 15 0 22 0 523052193 16077860864 151145 33554432000 1073741824 1073778376 140734367337808 18446744073709551615 274485783449 0 4 0 16800975 18446604471164519616 0 0 -1 7 0 0 0
[pid=4884/tid=4906] ppid=4882 vsize=15701036 CPUtime=0 cores=1,3,5,7
/proc/4884/task/4906/stat : 4906 (java) S 4882 4884 4342 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 523052193 16077860864 151145 33554432000 1073741824 1073778376 140734367337808 18446744073709551615 274485783449 0 4 0 16800975 18446604471164519616 0 0 -1 5 0 0 0
[pid=4884/tid=4907] ppid=4882 vsize=15701036 CPUtime=0 cores=1,3,5,7
/proc/4884/task/4907/stat : 4907 (java) S 4882 4884 4342 0 -1 4202560 68 0 0 0 0 0 0 0 15 0 22 0 523052193 16077860864 151145 33554432000 1073741824 1073778376 140734367337808 18446744073709551615 274485784064 0 4 0 16800975 18446604471164519616 0 0 -1 7 0 0 0
[pid=4884/tid=4926] ppid=4882 vsize=15701036 CPUtime=1190.05 cores=1,3,5,7
/proc/4884/task/4926/stat : 4926 (java) R 4882 4884 4342 0 -1 4202560 410608 0 0 0 118947 58 0 0 25 0 22 0 523052225 16077860864 151145 33554432000 1073741824 1073778376 140734367337808 18446744073709551615 46912505714968 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=4884/tid=4927] ppid=4882 vsize=15701036 CPUtime=1191.87 cores=1,3,5,7
/proc/4884/task/4927/stat : 4927 (java) R 4882 4884 4342 0 -1 4202560 431012 0 0 0 119124 63 0 0 25 0 22 0 523052225 16077860864 151145 33554432000 1073741824 1073778376 140734367337808 18446744073709551615 18446744073699065925 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=4884/tid=4928] ppid=4882 vsize=15701036 CPUtime=1190.51 cores=1,3,5,7
/proc/4884/task/4928/stat : 4928 (java) R 4882 4884 4342 0 -1 4202560 426799 0 0 0 118994 57 0 0 25 0 22 0 523052225 16077860864 151145 33554432000 1073741824 1073778376 140734367337808 18446744073709551615 46912505882864 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=4884/tid=4929] ppid=4882 vsize=15701036 CPUtime=1190.86 cores=1,3,5,7
/proc/4884/task/4929/stat : 4929 (java) R 4882 4884 4342 0 -1 4202560 419153 0 0 0 119029 57 0 0 25 0 22 0 523052226 16077860864 151145 33554432000 1073741824 1073778376 140734367337808 18446744073709551615 46912506304308 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.29
Current children cumulated vsize (KiB) 15701036

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

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

Child status: 143
Real time (s): 1205.75
CPU time (s): 4800.35
CPU user time (s): 4794.25
CPU system time (s): 6.10707
CPU usage (%): 398.122
Max. virtual memory (cumulated for all children) (KiB): 15710284

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4794.25
system time used= 6.10707
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3281909
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= 131926
involuntary context switches= 102882

runsolver used 2.07668 second user time and 4.5723 second system time

The end

Launcher Data 

Begin job on node125 at 2011-04-30 00:02:05
IDJOB=3312434
IDBENCH=82619
IDSOLVER=1699
FILE ID=node125/3312434-1304114525
RUNJOBID= node125-1304114525-4871
PBS_JOBID= 13170675
Free space on /tmp= 72764 MiB

SOLVER NAME= STRUCTure 0.1
BENCH NAME= SAT11/random/large/unif-k5-r20-v750-c15000-S1787347746-067-UNKNOWN.cnf
COMMAND LINE= run 15000 NBCORE TMPDIR DIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3312434-1304114525/watcher-3312434-1304114525 -o /tmp/evaluation-result-3312434-1304114525/solver-3312434-1304114525 -C 4800 -W 1300 -M 15500  run 15000 4 HOME HOME HOME/instance-3312434-1304114525.cnf

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

MD5SUM BENCH= 327a5393de6dbdcaf85af71880caf3c5
RANDOM SEED=628559123

node125.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.828
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.65
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.828
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	: 5266.55
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.828
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.84
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.828
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.74
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.828
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.82
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.828
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.828
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.828
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      22837152 kB
Buffers:       2123804 kB
Cached:        7398660 kB
SwapCached:          4 kB
Active:        2119252 kB
Inactive:      7470552 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      22837152 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:            2060 kB
Writeback:           0 kB
AnonPages:       67072 kB
Mapped:          14488 kB
Slab:           460212 kB
PageTables:       4652 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   192536 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= 72760 MiB
End job on node125 at 2011-04-30 00:22:13