Trace number 3311380

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 (hbr=2)? (TO) 4800.17 1206.84

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v700-c2982-S899463426-096.UNKNOWN.cnf
MD5SUMbf57ee4f209393e8d4bc647eb9e177d4
Bench CategoryRANDOM (random 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 variables700
Number of clauses2982
Sum of the clauses size8946
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32982
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.10/0.12	45:18 INFO : Reading from input HOME/instance-3311380-1304124317.cnf
0.27/0.26	Executor set job limit to 1000000
0.27/0.26	Executor set job limit to 1000000
0.27/0.26	Executor set job limit to 1000000
0.27/0.26	Executor set job limit to 1000000
0.27/0.26	Starting Executor!
0.27/0.26	Starting Executor!
0.27/0.26	Starting Executor!
0.27/0.26	Starting Executor!
0.50/0.40	45:18 INFO : 700 variables remaining out of 700
0.50/0.40	45:18 INFO : 11928 literals remaining out of 11928

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

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: 7.36 7.90 7.87 3/187 6027
/proc/meminfo: memFree=22830268/32950928 swapFree=67111524/67111528
[pid=6027] ppid=6025 vsize=28436 CPUtime=0 cores=1,3,5,7
/proc/6027/stat : 6027 (java) S 6025 6027 5295 0 -1 4202496 1436 0 0 0 0 0 0 0 23 0 2 0 524031403 29118464 905 33554432000 1073741824 1073778376 140734730057056 18446744073709551615 274485770213 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/6027/statm: 7645 909 695 9 0 383 0
[pid=6027/tid=6030] ppid=6025 vsize=30528 CPUtime=0 cores=1,3,5,7
/proc/6027/task/6030/stat : 6030 (java) R 6025 6027 5295 0 -1 4202560 126 0 0 0 0 0 0 0 25 0 2 0 524031404 31260672 946 33554432000 1073741824 1073778376 140734730057056 18446744073709551615 47951981018073 0 0 4096 0 0 0 0 -1 5 0 0 0

[startup+0.054146 s]
/proc/loadavg: 7.36 7.90 7.87 3/187 6027
/proc/meminfo: memFree=22830268/32950928 swapFree=67111524/67111528
[pid=6027] ppid=6025 vsize=15609644 CPUtime=0.03 cores=1,3,5,7
/proc/6027/stat : 6027 (java) S 6025 6027 5295 0 -1 4202496 4049 0 1 0 3 0 0 0 23 0 18 0 524031403 15984275456 3488 33554432000 1073741824 1073778376 140734730057056 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/6027/statm: 3902411 3489 1753 9 0 3893130 0
[pid=6027/tid=6030] ppid=6025 vsize=15609644 CPUtime=0.03 cores=1,3,5,7
/proc/6027/task/6030/stat : 6030 (java) R 6025 6027 5295 0 -1 4202560 2632 0 1 0 3 0 0 0 24 0 18 0 524031404 15984275456 3489 33554432000 1073741824 1073778376 140734730057056 18446744073709551615 274473628357 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 15609644

[startup+0.101081 s]
/proc/loadavg: 7.36 7.90 7.87 3/187 6027
/proc/meminfo: memFree=22830268/32950928 swapFree=67111524/67111528
[pid=6027] ppid=6025 vsize=15676492 CPUtime=0.1 cores=1,3,5,7
/proc/6027/stat : 6027 (java) S 6025 6027 5295 0 -1 4202496 5537 0 1 0 9 1 0 0 23 0 18 0 524031403 16052727808 4976 33554432000 1073741824 1073778376 140734730057056 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/6027/statm: 3919123 4976 2117 9 0 3909842 0
[pid=6027/tid=6030] ppid=6025 vsize=15676492 CPUtime=0.07 cores=1,3,5,7
/proc/6027/task/6030/stat : 6030 (java) R 6025 6027 5295 0 -1 4202560 3398 0 1 0 7 0 0 0 24 0 18 0 524031404 16052727808 4976 33554432000 1073741824 1073778376 140734730057056 18446744073709551615 47951981212438 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15676492

[startup+0.301047 s]
/proc/loadavg: 7.36 7.90 7.87 3/187 6027
/proc/meminfo: memFree=22830268/32950928 swapFree=67111524/67111528
[pid=6027] ppid=6025 vsize=15682128 CPUtime=0.5 cores=1,3,5,7
/proc/6027/stat : 6027 (java) S 6025 6027 5295 0 -1 4202496 11447 0 1 0 49 1 0 0 23 0 22 0 524031403 16058499072 9931 33554432000 1073741824 1073778376 140734730057056 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/6027/statm: 3920532 9931 2213 9 0 3911251 0
[pid=6027/tid=6030] ppid=6025 vsize=15682128 CPUtime=0.28 cores=1,3,5,7
/proc/6027/task/6030/stat : 6030 (java) R 6025 6027 5295 0 -1 4202560 6569 0 1 0 27 1 0 0 25 0 22 0 524031404 16058499072 9931 33554432000 1073741824 1073778376 140734730057056 18446744073709551615 46912505228560 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 15682128

[startup+0.700976 s]
/proc/loadavg: 7.36 7.90 7.87 3/187 6027
/proc/meminfo: memFree=22830268/32950928 swapFree=67111524/67111528
[pid=6027] ppid=6025 vsize=15698072 CPUtime=1.86 cores=1,3,5,7
/proc/6027/stat : 6027 (java) S 6025 6027 5295 0 -1 4202496 28439 0 1 0 183 3 0 0 23 0 22 0 524031403 16074825728 22905 33554432000 1073741824 1073778376 140734730057056 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/6027/statm: 3924518 22905 2258 9 0 3915237 0
[pid=6027/tid=6030] ppid=6025 vsize=15698072 CPUtime=0.38 cores=1,3,5,7
/proc/6027/task/6030/stat : 6030 (java) S 6025 6027 5295 0 -1 4202560 6987 0 1 0 37 1 0 0 25 0 22 0 524031404 16074825728 22905 33554432000 1073741824 1073778376 140734730057056 18446744073709551615 274485783449 0 4 0 16800975 18446604471134877760 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.86
Current children cumulated vsize (KiB) 15698072

[startup+1.50084 s]
/proc/loadavg: 7.36 7.90 7.87 14/220 6060
/proc/meminfo: memFree=22469672/32950928 swapFree=67111524/67111528
[pid=6027] ppid=6025 vsize=15698072 CPUtime=5.03 cores=1,3,5,7
/proc/6027/stat : 6027 (java) S 6025 6027 5295 0 -1 4202496 61066 0 1 0 495 8 0 0 23 0 22 0 524031403 16074825728 55508 33554432000 1073741824 1073778376 140734730057056 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/6027/statm: 3924518 55508 2283 9 0 3915237 0
[pid=6027/tid=6030] ppid=6025 vsize=15698072 CPUtime=0.38 cores=1,3,5,7
/proc/6027/task/6030/stat : 6030 (java) S 6025 6027 5295 0 -1 4202560 6987 0 1 0 37 1 0 0 25 0 22 0 524031404 16074825728 55508 33554432000 1073741824 1073778376 140734730057056 18446744073709551615 274485783449 0 4 0 16800975 18446604471134877760 0 0 -1 1 0 0 0
[pid=6027/tid=6032] ppid=6025 vsize=15698072 CPUtime=0 cores=1,3,5,7
/proc/6027/task/6032/stat : 6032 (java) S 6025 6027 5295 0 -1 4202560 444 0 0 0 0 0 0 0 16 0 22 0 524031404 16074825728 55508 33554432000 1073741824 1073778376 140734730057056 18446744073709551615 274485783449 0 4 0 16800975 18446604471134877760 0 0 -1 5 0 0 0
[pid=6027/tid=6033] ppid=6025 vsize=15698072 CPUtime=0 cores=1,3,5,7
/proc/6027/task/6033/stat : 6033 (java) S 6025 6027 5295 0 -1 4202560 1461 0 0 0 0 0 0 0 16 0 22 0 524031404 16074825728 55508 33554432000 1073741824 1073778376 140734730057056 18446744073709551615 274485783449 0 4 0 16800975 18446604471134877760 0 0 -1 3 0 0 0
[pid=6027/tid=6034] ppid=6025 vsize=15698072 CPUtime=0 cores=1,3,5,7
/proc/6027/task/6034/stat : 6034 (java) S 6025 6027 5295 0 -1 4202560 890 0 0 0 0 0 0 0 16 0 22 0 524031404 16074825728 55508 33554432000 1073741824 1073778376 140734730057056 18446744073709551615 274485783449 0 4 0 16800975 18446604471134877760 0 0 -1 1 0 0 0
[pid=6027/tid=6035] ppid=6025 vsize=15698072 CPUtime=0 cores=1,3,5,7
/proc/6027/task/6035/stat : 6035 (java) S 6025 6027 5295 0 -1 4202560 587 0 0 0 0 0 0 0 15 0 22 0 524031404 16074825728 55508 33554432000 1073741824 1073778376 140734730057056 18446744073709551615 274485783449 0 4 0 16800975 18446604471134877760 0 0 -1 3 0 0 0
[pid=6027/tid=6036] ppid=6025 vsize=15698072 CPUtime=0 cores=1,3,5,7
/proc/6027/task/6036/stat : 6036 (java) S 6025 6027 5295 0 -1 4202560 741 0 0 0 0 0 0 0 15 0 22 0 524031404 16074825728 55508 33554432000 1073741824 1073778376 140734730057056 18446744073709551615 274485783449 0 4 0 16800975 18446604471134877760 0 0 -1 5 0 0 0
[pid=6027/tid=6037] ppid=6025 vsize=15698072 CPUtime=0 cores=1,3,5,7
/proc/6027/task/6037/stat : 6037 (java) S 6025 6027 5295 0 -1 4202560 1972 0 0 0 0 0 0 0 16 0 22 0 524031404 16074825728 55508 33554432000 1073741824 1073778376 140734730057056 18446744073709551615 274485783449 0 4 0 16800975 18446604471134877760 0 0 -1 7 0 0 0
[pid=6027/tid=6038] ppid=6025 vsize=15698072 CPUtime=0 cores=1,3,5,7
/proc/6027/task/6038/stat : 6038 (java) S 6025 6027 5295 0 -1 4202560 1195 0 0 0 0 0 0 0 15 0 22 0 524031404 16074825728 55508 33554432000 1073741824 1073778376 140734730057056 18446744073709551615 274485783449 0 4 0 16800975 18446604471134877760 0 0 -1 3 0 0 0
[pid=6027/tid=6039] ppid=6025 vsize=15698072 CPUtime=0 cores=1,3,5,7
/proc/6027/task/6039/stat : 6039 (java) S 6025 6027 5295 0 -1 4202560 1522 0 0 0 0 0 0 0 15 0 22 0 524031404 16074825728 55508 33554432000 1073741824 1073778376 140734730057056 18446744073709551615 274485783449 0 4 0 16800975 18446604471134877760 0 0 -1 7 0 0 0
[pid=6027/tid=6040] ppid=6025 vsize=15698072 CPUtime=0 cores=1,3,5,7
/proc/6027/task/6040/stat : 6040 (java) S 6025 6027 5295 0 -1 4202560 74 0 0 0 0 0 0 0 15 0 22 0 524031405 16074825728 55508 33554432000 1073741824 1073778376 140734730057056 18446744073709551615 274485784064 0 0 0 16800975 18446604471134877760 0 0 -1 1 0 0 0
[pid=6027/tid=6043] ppid=6025 vsize=15698072 CPUtime=0 cores=1,3,5,7
/proc/6027/task/6043/stat : 6043 (java) S 6025 6027 5295 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 22 0 524031406 16074825728 55508 33554432000 1073741824 1073778376 140734730057056 18446744073709551615 274485783449 0 4 0 16800975 18446604471134877760 0 0 -1 5 0 0 0
[pid=6027/tid=6046] ppid=6025 vsize=15698072 CPUtime=0 cores=1,3,5,7
/proc/6027/task/6046/stat : 6046 (java) S 6025 6027 5295 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 524031406 16074825728 55508 33554432000 1073741824 1073778376 140734730057056 18446744073709551615 274485783449 0 4 0 16800975 18446604471134877760 0 0 -1 5 0 0 0
[pid=6027/tid=6048] ppid=6025 vsize=15698072 CPUtime=0 cores=1,3,5,7
/proc/6027/task/6048/stat : 6048 (java) S 6025 6027 5295 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 524031408 16074825728 55508 33554432000 1073741824 1073778376 140734730057056 18446744073709551615 274485791153 0 4 0 16800975 18446604471134877760 0 0 -1 5 0 0 0
[pid=6027/tid=6049] ppid=6025 vsize=15698072 CPUtime=0.72 cores=1,3,5,7
/proc/6027/task/6049/stat : 6049 (java) S 6025 6027 5295 0 -1 4202560 9579 0 0 0 72 0 0 0 20 0 22 0 524031408 16074825728 55508 33554432000 1073741824 1073778376 140734730057056 18446744073709551615 274485783449 0 4 0 16800975 18446604471134877760 0 0 -1 5 0 0 0
[pid=6027/tid=6050] ppid=6025 vsize=15698072 CPUtime=0.79 cores=1,3,5,7
/proc/6027/task/6050/stat : 6050 (java) S 6025 6027 5295 0 -1 4202560 5480 0 0 0 79 0 0 0 24 0 22 0 524031408 16074825728 55508 33554432000 1073741824 1073778376 140734730057056 18446744073709551615 274485783449 0 4 0 16800975 18446604471134877760 0 0 -1 3 0 0 0
[pid=6027/tid=6051] ppid=6025 vsize=15698072 CPUtime=0 cores=1,3,5,7
/proc/6027/task/6051/stat : 6051 (java) S 6025 6027 5295 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 22 0 524031408 16074825728 55508 33554432000 1073741824 1073778376 140734730057056 18446744073709551615 274485783449 0 4 0 16800975 18446604471134877760 0 0 -1 5 0 0 0
[pid=6027/tid=6052] ppid=6025 vsize=15698072 CPUtime=0 cores=1,3,5,7
/proc/6027/task/6052/stat : 6052 (java) S 6025 6027 5295 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 524031408 16074825728 55508 33554432000 1073741824 1073778376 140734730057056 18446744073709551615 274485784064 0 4 0 16800975 18446604471134877760 0 0 -1 1 0 0 0
[pid=6027/tid=6053] ppid=6025 vsize=15698072 CPUtime=0.71 cores=1,3,5,7
/proc/6027/task/6053/stat : 6053 (java) R 6025 6027 5295 0 -1 4202560 7166 0 0 0 70 1 0 0 25 0 22 0 524031429 16074825728 55508 33554432000 1073741824 1073778376 140734730057056 18446744073709551615 18446744073699065939 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=6027/tid=6054] ppid=6025 vsize=15698072 CPUtime=0.9 cores=1,3,5,7
/proc/6027/task/6054/stat : 6054 (java) R 6025 6027 5295 0 -1 4202560 8742 0 0 0 89 1 0 0 25 0 22 0 524031429 16074825728 55508 33554432000 1073741824 1073778376 140734730057056 18446744073709551615 46912506100931 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=6027/tid=6055] ppid=6025 vsize=15698072 CPUtime=0.78 cores=1,3,5,7
/proc/6027/task/6055/stat : 6055 (java) R 6025 6027 5295 0 -1 4202560 7154 0 0 0 78 0 0 0 25 0 22 0 524031430 16074825728 55508 33554432000 1073741824 1073778376 140734730057056 18446744073709551615 47951984169706 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=6027/tid=6056] ppid=6025 vsize=15698072 CPUtime=0.63 cores=1,3,5,7
/proc/6027/task/6056/stat : 6056 (java) R 6025 6027 5295 0 -1 4202560 5687 0 0 0 63 0 0 0 25 0 22 0 524031430 16074825728 55508 33554432000 1073741824 1073778376 140734730057056 18446744073709551615 46912505727950 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.03
Current children cumulated vsize (KiB) 15698072

[startup+3.10156 s]
/proc/loadavg: 7.36 7.90 7.87 10/220 6061
/proc/meminfo: memFree=22171624/32950928 swapFree=67111524/67111528
[pid=6027] ppid=6025 vsize=15698072 CPUtime=11.4 cores=1,3,5,7
/proc/6027/stat : 6027 (java) S 6025 6027 5295 0 -1 4202496 156107 0 1 0 1120 20 0 0 23 0 22 0 524031403 16074825728 150507 33554432000 1073741824 1073778376 140734730057056 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/6027/statm: 3924518 150507 2284 9 0 3915237 0
[pid=6027/tid=6030] ppid=6025 vsize=15698072 CPUtime=0.38 cores=1,3,5,7
/proc/6027/task/6030/stat : 6030 (java) S 6025 6027 5295 0 -1 4202560 6987 0 1 0 37 1 0 0 25 0 22 0 524031404 16074825728 150507 33554432000 1073741824 1073778376 140734730057056 18446744073709551615 274485783449 0 4 0 16800975 18446604471134877760 0 0 -1 1 0 0 0
[pid=6027/tid=6032] ppid=6025 vsize=15698072 CPUtime=0 cores=1,3,5,7
/proc/6027/task/6032/stat : 6032 (java) S 6025 6027 5295 0 -1 4202560 1294 0 0 0 0 0 0 0 15 0 22 0 524031404 16074825728 150507 33554432000 1073741824 1073778376 140734730057056 18446744073709551615 274485783449 0 4 0 16800975 18446604471134877760 0 0 -1 3 0 0 0
[pid=6027/tid=6033] ppid=6025 vsize=15698072 CPUtime=0 cores=1,3,5,7
/proc/6027/task/6033/stat : 6033 (java) S 6025 6027 5295 0 -1 4202560 3312 0 0 0 0 0 0 0 16 0 22 0 524031404 16074825728 150507 33554432000 1073741824 1073778376 140734730057056 18446744073709551615 274485783449 0 4 0 16800975 18446604471134877760 0 0 -1 1 0 0 0
[pid=6027/tid=6034] ppid=6025 vsize=15698072 CPUtime=0 cores=1,3,5,7
/proc/6027/task/6034/stat : 6034 (java) S 6025 6027 5295 0 -1 4202560 2188 0 0 0 0 0 0 0 15 0 22 0 524031404 16074825728 150507 33554432000 1073741824 1073778376 140734730057056 18446744073709551615 274485783449 0 4 0 16800975 18446604471134877760 0 0 -1 7 0 0 0
[pid=6027/tid=6035] ppid=6025 vsize=15698072 CPUtime=0 cores=1,3,5,7
/proc/6027/task/6035/stat : 6035 (java) S 6025 6027 5295 0 -1 4202560 1241 0 0 0 0 0 0 0 15 0 22 0 524031404 16074825728 150507 33554432000 1073741824 1073778376 140734730057056 18446744073709551615 274485783449 0 4 0 16800975 18446604471134877760 0 0 -1 5 0 0 0
[pid=6027/tid=6036] ppid=6025 vsize=15698072 CPUtime=0 cores=1,3,5,7
/proc/6027/task/6036/stat : 6036 (java) S 6025 6027 5295 0 -1 4202560 2088 0 0 0 0 0 0 0 15 0 22 0 524031404 16074825728 150507 33554432000 1073741824 1073778376 140734730057056 18446744073709551615 274485783449 0 4 0 16800975 18446604471134877760 0 0 -1 5 0 0 0
[pid=6027/tid=6037] ppid=6025 vsize=15698072 CPUtime=0 cores=1,3,5,7
/proc/6027/task/6037/stat : 6037 (java) S 6025 6027 5295 0 -1 4202560 3590 0 0 0 0 0 0 0 16 0 22 0 524031404 16074825728 150507 33554432000 1073741824 1073778376 140734730057056 18446744073709551615 274485783449 0 4 0 16800975 18446604471134877760 0 0 -1 7 0 0 0
[pid=6027/tid=6038] ppid=6025 vsize=15698072 CPUtime=0 cores=1,3,5,7
/proc/6027/task/6038/stat : 6038 (java) S 6025 6027 5295 0 -1 4202560 3479 0 0 0 0 0 0 0 16 0 22 0 524031404 16074825728 150507 33554432000 1073741824 1073778376 140734730057056 18446744073709551615 274485783449 0 4 0 16800975 18446604471134877760 0 0 -1 3 0 0 0
[pid=6027/tid=6039] ppid=6025 vsize=15698072 CPUtime=0 cores=1,3,5,7
/proc/6027/task/6039/stat : 6039 (java) S 6025 6027 5295 0 -1 4202560 2251 0 0 0 0 0 0 0 15 0 22 0 524031404 16074825728 150507 33554432000 1073741824 1073778376 140734730057056 18446744073709551615 274485783449 0 4 0 16800975 18446604471134877760 0 0 -1 7 0 0 0
[pid=6027/tid=6040] ppid=6025 vsize=15698072 CPUtime=0 cores=1,3,5,7
/proc/6027/task/6040/stat : 6040 (java) S 6025 6027 5295 0 -1 4202560 444 0 0 0 0 0 0 0 15 0 22 0 524031405 16074825728 150507 33554432000 1073741824 1073778376 140734730057056 18446744073709551615 274485784064 0 0 0 16800975 18446604471134877760 0 0 -1 5 0 0 0
[pid=6027/tid=6043] ppid=6025 vsize=15698072 CPUtime=0 cores=1,3,5,7
/proc/6027/task/6043/stat : 6043 (java) S 6025 6027 5295 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 22 0 524031406 16074825728 150507 33554432000 1073741824 1073778376 140734730057056 18446744073709551615 274485783449 0 4 0 16800975 18446604471134877760 0 0 -1 5 0 0 0
[pid=6027/tid=6046] ppid=6025 vsize=15698072 CPUtime=0 cores=1,3,5,7
/proc/6027/task/6046/stat : 6046 (java) S 6025 6027 5295 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 524031406 16074825728 150507 33554432000 1073741824 1073778376 140734730057056 18446744073709551615 274485783449 0 4 0 16800975 18446604471134877760 0 0 -1 5 0 0 0
[pid=6027/tid=6048] ppid=6025 vsize=15698072 CPUtime=0 cores=1,3,5,7
/proc/6027/task/6048/stat : 6048 (java) S 6025 6027 5295 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 524031408 16074825728 150507 33554432000 1073741824 1073778376 140734730057056 18446744073709551615 274485791153 0 4 0 16800975 18446604471134877760 0 0 -1 5 0 0 0
[pid=6027/tid=6049] ppid=6025 vsize=15698072 CPUtime=0.82 cores=1,3,5,7
/proc/6027/task/6049/stat : 6049 (java) S 6025 6027 5295 0 -1 4202560 9596 0 0 0 82 0 0 0 15 0 22 0 524031408 16074825728 150507 33554432000 1073741824 1073778376 140734730057056 18446744073709551615 274485783449 0 4 0 16800975 18446604471134877760 0 0 -1 5 0 0 0
[pid=6027/tid=6050] ppid=6025 vsize=15698072 CPUtime=0.8 cores=1,3,5,7
/proc/6027/task/6050/stat : 6050 (java) S 6025 6027 5295 0 -1 4202560 5482 0 0 0 80 0 0 0 15 0 22 0 524031408 16074825728 150507 33554432000 1073741824 1073778376 140734730057056 18446744073709551615 274485783449 0 4 0 16800975 18446604471134877760 0 0 -1 3 0 0 0
[pid=6027/tid=6051] ppid=6025 vsize=15698072 CPUtime=0 cores=1,3,5,7
/proc/6027/task/6051/stat : 6051 (java) S 6025 6027 5295 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 22 0 524031408 16074825728 150507 33554432000 1073741824 1073778376 140734730057056 18446744073709551615 274485783449 0 4 0 16800975 18446604471134877760 0 0 -1 5 0 0 0
[pid=6027/tid=6052] ppid=6025 vsize=15698072 CPUtime=0 cores=1,3,5,7
/proc/6027/task/6052/stat : 6052 (java) S 6025 6027 5295 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 524031408 16074825728 150507 33554432000 1073741824 1073778376 140734730057056 18446744073709551615 274485784064 0 4 0 16800975 18446604471134877760 0 0 -1 1 0 0 0
[pid=6027/tid=6053] ppid=6025 vsize=15698072 CPUtime=2.29 cores=1,3,5,7
/proc/6027/task/6053/stat : 6053 (java) R 6025 6027 5295 0 -1 4202560 28562 0 0 0 226 3 0 0 25 0 22 0 524031429 16074825728 150507 33554432000 1073741824 1073778376 140734730057056 18446744073709551615 46912505745085 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=6027/tid=6054] ppid=6025 vsize=15698072 CPUtime=2.48 cores=1,3,5,7
/proc/6027/task/6054/stat : 6054 (java) R 6025 6027 5295 0 -1 4202560 29375 0 0 0 245 3 0 0 25 0 22 0 524031429 16074825728 150507 33554432000 1073741824 1073778376 140734730057056 18446744073709551615 46912505878488 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=6027/tid=6055] ppid=6025 vsize=15698072 CPUtime=2.31 cores=1,3,5,7
/proc/6027/task/6055/stat : 6055 (java) R 6025 6027 5295 0 -1 4202560 28230 0 0 0 228 3 0 0 25 0 22 0 524031430 16074825728 150507 33554432000 1073741824 1073778376 140734730057056 18446744073709551615 18446744073699065939 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=6027/tid=6056] ppid=6025 vsize=15698072 CPUtime=2.17 cores=1,3,5,7
/proc/6027/task/6056/stat : 6056 (java) R 6025 6027 5295 0 -1 4202560 26603 0 0 0 215 2 0 0 25 0 22 0 524031430 16074825728 150507 33554432000 1073741824 1073778376 140734730057056 18446744073709551615 18446744073699065939 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 11.4
Current children cumulated vsize (KiB) 15698072

[startup+6.30099 s]
/proc/loadavg: 7.41 7.90 7.87 10/220 6061
/proc/meminfo: memFree=21429060/32950928 swapFree=67111524/67111528
[pid=6027] ppid=6025 vsize=15698072 CPUtime=24.17 cores=1,3,5,7
/proc/6027/stat : 6027 (java) S 6025 6027 5295 0 -1 4202496 280047 0 1 0 2382 35 0 0 23 0 22 0 524031403 16074825728 271901 33554432000 1073741824 1073778376 140734730057056 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/6027/statm: 3924518 271901 2284 9 0 3915237 0
[pid=6027/tid=6030] ppid=6025 vsize=15698072 CPUtime=0.38 cores=1,3,5,7
/proc/6027/task/6030/stat : 6030 (java) S 6025 6027 5295 0 -1 4202560 6987 0 1 0 37 1 0 0 25 0 22 0 524031404 16074825728 271901 33554432000 1073741824 1073778376 140734730057056 18446744073709551615 274485783449 0 4 0 16800975 18446604471134877760 0 0 -1 1 0 0 0
[pid=6027/tid=6032] ppid=6025 vsize=15698072 CPUtime=0 cores=1,3,5,7
/proc/6027/task/6032/stat : 6032 (java) S 6025 6027 5295 0 -1 4202560 2370 0 0 0 0 0 0 0 16 0 22 0 524031404 16074825728 271901 33554432000 1073741824 1073778376 140734730057056 18446744073709551615 274485783449 0 4 0 16800975 18446604471134877760 0 0 -1 3 0 0 0
[pid=6027/tid=6033] ppid=6025 vsize=15698072 CPUtime=0 cores=1,3,5,7
/proc/6027/task/6033/stat : 6033 (java) S 6025 6027 5295 0 -1 4202560 3312 0 0 0 0 0 0 0 15 0 22 0 524031404 16074825728 271901 33554432000 1073741824 1073778376 140734730057056 18446744073709551615 274485783449 0 4 0 16800975 18446604471134877760 0 0 -1 1 0 0 0
[pid=6027/tid=6034] ppid=6025 vsize=15698072 CPUtime=0 cores=1,3,5,7
/proc/6027/task/6034/stat : 6034 (java) S 6025 6027 5295 0 -1 4202560 2525 0 0 0 0 0 0 0 15 0 22 0 524031404 16074825728 271901 33554432000 1073741824 1073778376 140734730057056 18446744073709551615 274485783449 0 4 0 16800975 18446604471134877760 0 0 -1 7 0 0 0
[pid=6027/tid=6035] ppid=6025 vsize=15698072 CPUtime=0 cores=1,3,5,7
/proc/6027/task/6035/stat : 6035 (java) S 6025 6027 5295 0 -1 4202560 1706 0 0 0 0 0 0 0 15 0 22 0 524031404 16074825728 271901 33554432000 1073741824 1073778376 140734730057056 18446744073709551615 274485783449 0 4 0 16800975 18446604471134877760 0 0 -1 5 0 0 0
[pid=6027/tid=6036] ppid=6025 vsize=15698072 CPUtime=0 cores=1,3,5,7
/proc/6027/task/6036/stat : 6036 (java) S 6025 6027 5295 0 -1 4202560 2502 0 0 0 0 0 0 0 16 0 22 0 524031404 16074825728 271901 33554432000 1073741824 1073778376 140734730057056 18446744073709551615 274485783449 0 4 0 16800975 18446604471134877760 0 0 -1 5 0 0 0
[pid=6027/tid=6037] ppid=6025 vsize=15698072 CPUtime=0 cores=1,3,5,7
/proc/6027/task/6037/stat : 6037 (java) S 6025 6027 5295 0 -1 4202560 3828 0 0 0 0 0 0 0 15 0 22 0 524031404 16074825728 271901 33554432000 1073741824 1073778376 140734730057056 18446744073709551615 274485783449 0 4 0 16800975 18446604471134877760 0 0 -1 1 0 0 0
[pid=6027/tid=6038] ppid=6025 vsize=15698072 CPUtime=0 cores=1,3,5,7
/proc/6027/task/6038/stat : 6038 (java) S 6025 6027 5295 0 -1 4202560 3785 0 0 0 0 0 0 0 15 0 22 0 524031404 16074825728 271901 33554432000 1073741824 1073778376 140734730057056 18446744073709551615 274485783449 0 4 0 16800975 18446604471134877760 0 0 -1 1 0 0 0
[pid=6027/tid=6039] ppid=6025 vsize=15698072 CPUtime=0.01 cores=1,3,5,7
/proc/6027/task/6039/stat : 6039 (java) S 6025 6027 5295 0 -1 4202560 2495 0 0 0 1 0 0 0 16 0 22 0 524031404 16074825728 271901 33554432000 1073741824 1073778376 140734730057056 18446744073709551615 274485783449 0 4 0 16800975 18446604471134877760 0 0 -1 7 0 0 0

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

[pid=6027/tid=6054] ppid=6025 vsize=15763608 CPUtime=1049.06 cores=1,3,5,7
/proc/6027/task/6054/stat : 6054 (java) R 6025 6027 5295 0 -1 4202560 394510 0 0 0 104843 63 0 0 25 0 22 0 524031429 16141934592 90443 33554432000 1073741824 1073778376 140734730057056 18446744073709551615 46912505523303 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=6027/tid=6055] ppid=6025 vsize=15763608 CPUtime=1048.5 cores=1,3,5,7
/proc/6027/task/6055/stat : 6055 (java) R 6025 6027 5295 0 -1 4202560 393580 0 0 0 104794 56 0 0 25 0 22 0 524031430 16141934592 90443 33554432000 1073741824 1073778376 140734730057056 18446744073709551615 46912506100898 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=6027/tid=6056] ppid=6025 vsize=15763608 CPUtime=1048.4 cores=1,3,5,7
/proc/6027/task/6056/stat : 6056 (java) R 6025 6027 5295 0 -1 4202560 388026 0 0 0 104785 55 0 0 25 0 22 0 524031430 16141934592 90443 33554432000 1073741824 1073778376 140734730057056 18446744073709551615 46912506100658 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4225.49
Current children cumulated vsize (KiB) 15763608

[startup+1122.3 s]
/proc/loadavg: 8.26 8.15 8.02 9/220 6150
/proc/meminfo: memFree=21947504/32950928 swapFree=67111524/67111528
[pid=6027] ppid=6025 vsize=15763608 CPUtime=4464.15 cores=1,3,5,7
/proc/6027/stat : 6027 (java) S 6025 6027 5295 0 -1 4202496 2872797 0 1 0 445867 548 0 0 23 0 22 0 524031403 16141934592 112476 33554432000 1073741824 1073778376 140734730057056 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/6027/statm: 3940902 112476 2298 9 0 3931621 0
[pid=6027/tid=6030] ppid=6025 vsize=15763608 CPUtime=0.38 cores=1,3,5,7
/proc/6027/task/6030/stat : 6030 (java) S 6025 6027 5295 0 -1 4202560 6987 0 1 0 37 1 0 0 25 0 22 0 524031404 16141934592 112476 33554432000 1073741824 1073778376 140734730057056 18446744073709551615 274485783449 0 4 0 16800975 18446604471134877760 0 0 -1 1 0 0 0
[pid=6027/tid=6032] ppid=6025 vsize=15763608 CPUtime=3.37 cores=1,3,5,7
/proc/6027/task/6032/stat : 6032 (java) S 6025 6027 5295 0 -1 4202560 150925 0 0 0 309 28 0 0 15 0 22 0 524031404 16141934592 112476 33554432000 1073741824 1073778376 140734730057056 18446744073709551615 274485783449 0 4 0 16800975 18446604471134877760 0 0 -1 7 0 0 0
[pid=6027/tid=6033] ppid=6025 vsize=15763608 CPUtime=3.43 cores=1,3,5,7
/proc/6027/task/6033/stat : 6033 (java) S 6025 6027 5295 0 -1 4202560 152665 0 0 0 314 29 0 0 15 0 22 0 524031404 16141934592 112476 33554432000 1073741824 1073778376 140734730057056 18446744073709551615 274485783449 0 4 0 16800975 18446604471134877760 0 0 -1 3 0 0 0
[pid=6027/tid=6034] ppid=6025 vsize=15763608 CPUtime=3.41 cores=1,3,5,7
/proc/6027/task/6034/stat : 6034 (java) S 6025 6027 5295 0 -1 4202560 140317 0 0 0 314 27 0 0 15 0 22 0 524031404 16141934592 112476 33554432000 1073741824 1073778376 140734730057056 18446744073709551615 274485783449 0 4 0 16800975 18446604471134877760 0 0 -1 7 0 0 0
[pid=6027/tid=6035] ppid=6025 vsize=15763608 CPUtime=3.38 cores=1,3,5,7
/proc/6027/task/6035/stat : 6035 (java) S 6025 6027 5295 0 -1 4202560 144543 0 0 0 313 25 0 0 16 0 22 0 524031404 16141934592 112476 33554432000 1073741824 1073778376 140734730057056 18446744073709551615 274485783449 0 4 0 16800975 18446604471134877760 0 0 -1 1 0 0 0
[pid=6027/tid=6036] ppid=6025 vsize=15763608 CPUtime=3.41 cores=1,3,5,7
/proc/6027/task/6036/stat : 6036 (java) S 6025 6027 5295 0 -1 4202560 143459 0 0 0 313 28 0 0 15 0 22 0 524031404 16141934592 112476 33554432000 1073741824 1073778376 140734730057056 18446744073709551615 274485783449 0 4 0 16800975 18446604471134877760 0 0 -1 7 0 0 0
[pid=6027/tid=6037] ppid=6025 vsize=15763608 CPUtime=3.5 cores=1,3,5,7
/proc/6027/task/6037/stat : 6037 (java) S 6025 6027 5295 0 -1 4202560 152736 0 0 0 322 28 0 0 15 0 22 0 524031404 16141934592 112476 33554432000 1073741824 1073778376 140734730057056 18446744073709551615 274485783449 0 4 0 16800975 18446604471134877760 0 0 -1 5 0 0 0
[pid=6027/tid=6038] ppid=6025 vsize=15763608 CPUtime=3.36 cores=1,3,5,7
/proc/6027/task/6038/stat : 6038 (java) S 6025 6027 5295 0 -1 4202560 149518 0 0 0 309 27 0 0 15 0 22 0 524031404 16141934592 112476 33554432000 1073741824 1073778376 140734730057056 18446744073709551615 274485783449 0 4 0 16800975 18446604471134877760 0 0 -1 5 0 0 0
[pid=6027/tid=6039] ppid=6025 vsize=15763608 CPUtime=3.42 cores=1,3,5,7
/proc/6027/task/6039/stat : 6039 (java) S 6025 6027 5295 0 -1 4202560 151458 0 0 0 317 25 0 0 15 0 22 0 524031404 16141934592 112476 33554432000 1073741824 1073778376 140734730057056 18446744073709551615 274485783449 0 4 0 16800975 18446604471134877760 0 0 -1 3 0 0 0
[pid=6027/tid=6040] ppid=6025 vsize=15763608 CPUtime=1.99 cores=1,3,5,7
/proc/6027/task/6040/stat : 6040 (java) S 6025 6027 5295 0 -1 4202560 7393 0 0 0 123 76 0 0 16 0 22 0 524031405 16141934592 112476 33554432000 1073741824 1073778376 140734730057056 18446744073709551615 274485784064 0 0 0 16800975 18446604471134877760 0 0 -1 1 0 0 0
[pid=6027/tid=6043] ppid=6025 vsize=15763608 CPUtime=0 cores=1,3,5,7
/proc/6027/task/6043/stat : 6043 (java) S 6025 6027 5295 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 22 0 524031406 16141934592 112476 33554432000 1073741824 1073778376 140734730057056 18446744073709551615 274485783449 0 4 0 16800975 18446604471134877760 0 0 -1 5 0 0 0
[pid=6027/tid=6046] ppid=6025 vsize=15763608 CPUtime=0 cores=1,3,5,7
/proc/6027/task/6046/stat : 6046 (java) S 6025 6027 5295 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 524031406 16141934592 112476 33554432000 1073741824 1073778376 140734730057056 18446744073709551615 274485783449 0 4 0 16800975 18446604471134877760 0 0 -1 5 0 0 0
[pid=6027/tid=6048] ppid=6025 vsize=15763608 CPUtime=0 cores=1,3,5,7
/proc/6027/task/6048/stat : 6048 (java) S 6025 6027 5295 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 524031408 16141934592 112476 33554432000 1073741824 1073778376 140734730057056 18446744073709551615 274485791153 0 4 0 16800975 18446604471134877760 0 0 -1 5 0 0 0
[pid=6027/tid=6049] ppid=6025 vsize=15763608 CPUtime=0.94 cores=1,3,5,7
/proc/6027/task/6049/stat : 6049 (java) S 6025 6027 5295 0 -1 4202560 9614 0 0 0 94 0 0 0 15 0 22 0 524031408 16141934592 112476 33554432000 1073741824 1073778376 140734730057056 18446744073709551615 274485783449 0 4 0 16800975 18446604471134877760 0 0 -1 5 0 0 0
[pid=6027/tid=6050] ppid=6025 vsize=15763608 CPUtime=1.01 cores=1,3,5,7
/proc/6027/task/6050/stat : 6050 (java) S 6025 6027 5295 0 -1 4202560 5558 0 0 0 101 0 0 0 15 0 22 0 524031408 16141934592 112476 33554432000 1073741824 1073778376 140734730057056 18446744073709551615 274485783449 0 4 0 16800975 18446604471134877760 0 0 -1 3 0 0 0
[pid=6027/tid=6051] ppid=6025 vsize=15763608 CPUtime=0 cores=1,3,5,7
/proc/6027/task/6051/stat : 6051 (java) S 6025 6027 5295 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 22 0 524031408 16141934592 112476 33554432000 1073741824 1073778376 140734730057056 18446744073709551615 274485783449 0 4 0 16800975 18446604471134877760 0 0 -1 5 0 0 0
[pid=6027/tid=6052] ppid=6025 vsize=15763608 CPUtime=0 cores=1,3,5,7
/proc/6027/task/6052/stat : 6052 (java) S 6025 6027 5295 0 -1 4202560 63 0 0 0 0 0 0 0 15 0 22 0 524031408 16141934592 112476 33554432000 1073741824 1073778376 140734730057056 18446744073709551615 274485784064 0 4 0 16800975 18446604471134877760 0 0 -1 1 0 0 0
[pid=6027/tid=6053] ppid=6025 vsize=15763608 CPUtime=1108.62 cores=1,3,5,7
/proc/6027/task/6053/stat : 6053 (java) R 6025 6027 5295 0 -1 4202560 418105 0 0 0 110802 60 0 0 25 0 22 0 524031429 16141934592 112476 33554432000 1073741824 1073778376 140734730057056 18446744073709551615 46912505701214 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=6027/tid=6054] ppid=6025 vsize=15763608 CPUtime=1108.31 cores=1,3,5,7
/proc/6027/task/6054/stat : 6054 (java) R 6025 6027 5295 0 -1 4202560 414138 0 0 0 110764 67 0 0 25 0 22 0 524031429 16141934592 112476 33554432000 1073741824 1073778376 140734730057056 18446744073709551615 46912505727746 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=6027/tid=6055] ppid=6025 vsize=15763608 CPUtime=1107.72 cores=1,3,5,7
/proc/6027/task/6055/stat : 6055 (java) R 6025 6027 5295 0 -1 4202560 414692 0 0 0 110712 60 0 0 25 0 22 0 524031430 16141934592 112476 33554432000 1073741824 1073778376 140734730057056 18446744073709551615 46912505768552 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=6027/tid=6056] ppid=6025 vsize=15763608 CPUtime=1107.75 cores=1,3,5,7
/proc/6027/task/6056/stat : 6056 (java) R 6025 6027 5295 0 -1 4202560 409242 0 0 0 110717 58 0 0 25 0 22 0 524031430 16141934592 112476 33554432000 1073741824 1073778376 140734730057056 18446744073709551615 46912506060216 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4464.15
Current children cumulated vsize (KiB) 15763608

[startup+1182.3 s]
/proc/loadavg: 8.40 8.21 8.04 9/220 6153
/proc/meminfo: memFree=21941648/32950928 swapFree=67111524/67111528
[pid=6027] ppid=6025 vsize=15763608 CPUtime=4702.62 cores=1,3,5,7
/proc/6027/stat : 6027 (java) S 6025 6027 5295 0 -1 4202496 3004152 0 1 0 469688 574 0 0 23 0 22 0 524031403 16141934592 101560 33554432000 1073741824 1073778376 140734730057056 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/6027/statm: 3940902 101560 2298 9 0 3931621 0
[pid=6027/tid=6030] ppid=6025 vsize=15763608 CPUtime=0.38 cores=1,3,5,7
/proc/6027/task/6030/stat : 6030 (java) S 6025 6027 5295 0 -1 4202560 6987 0 1 0 37 1 0 0 25 0 22 0 524031404 16141934592 101560 33554432000 1073741824 1073778376 140734730057056 18446744073709551615 274485783449 0 4 0 16800975 18446604471134877760 0 0 -1 1 0 0 0
[pid=6027/tid=6032] ppid=6025 vsize=15763608 CPUtime=3.55 cores=1,3,5,7
/proc/6027/task/6032/stat : 6032 (java) S 6025 6027 5295 0 -1 4202560 160426 0 0 0 325 30 0 0 15 0 22 0 524031404 16141934592 101560 33554432000 1073741824 1073778376 140734730057056 18446744073709551615 274485783449 0 4 0 16800975 18446604471134877760 0 0 -1 5 0 0 0
[pid=6027/tid=6033] ppid=6025 vsize=15763608 CPUtime=3.61 cores=1,3,5,7
/proc/6027/task/6033/stat : 6033 (java) S 6025 6027 5295 0 -1 4202560 160486 0 0 0 331 30 0 0 16 0 22 0 524031404 16141934592 101560 33554432000 1073741824 1073778376 140734730057056 18446744073709551615 274485783449 0 4 0 16800975 18446604471134877760 0 0 -1 7 0 0 0
[pid=6027/tid=6034] ppid=6025 vsize=15763608 CPUtime=3.56 cores=1,3,5,7
/proc/6027/task/6034/stat : 6034 (java) S 6025 6027 5295 0 -1 4202560 144558 0 0 0 328 28 0 0 16 0 22 0 524031404 16141934592 101560 33554432000 1073741824 1073778376 140734730057056 18446744073709551615 274485783449 0 4 0 16800975 18446604471134877760 0 0 -1 7 0 0 0
[pid=6027/tid=6035] ppid=6025 vsize=15763608 CPUtime=3.56 cores=1,3,5,7
/proc/6027/task/6035/stat : 6035 (java) S 6025 6027 5295 0 -1 4202560 150605 0 0 0 330 26 0 0 15 0 22 0 524031404 16141934592 101560 33554432000 1073741824 1073778376 140734730057056 18446744073709551615 274485783449 0 4 0 16800975 18446604471134877760 0 0 -1 3 0 0 0
[pid=6027/tid=6036] ppid=6025 vsize=15763608 CPUtime=3.58 cores=1,3,5,7
/proc/6027/task/6036/stat : 6036 (java) S 6025 6027 5295 0 -1 4202560 148609 0 0 0 329 29 0 0 16 0 22 0 524031404 16141934592 101560 33554432000 1073741824 1073778376 140734730057056 18446744073709551615 274485783449 0 4 0 16800975 18446604471134877760 0 0 -1 5 0 0 0
[pid=6027/tid=6037] ppid=6025 vsize=15763608 CPUtime=3.67 cores=1,3,5,7
/proc/6027/task/6037/stat : 6037 (java) S 6025 6027 5295 0 -1 4202560 156972 0 0 0 337 30 0 0 15 0 22 0 524031404 16141934592 101560 33554432000 1073741824 1073778376 140734730057056 18446744073709551615 274485783449 0 4 0 16800975 18446604471134877760 0 0 -1 5 0 0 0
[pid=6027/tid=6038] ppid=6025 vsize=15763608 CPUtime=3.55 cores=1,3,5,7
/proc/6027/task/6038/stat : 6038 (java) S 6025 6027 5295 0 -1 4202560 155555 0 0 0 327 28 0 0 16 0 22 0 524031404 16141934592 101560 33554432000 1073741824 1073778376 140734730057056 18446744073709551615 274485783449 0 4 0 16800975 18446604471134877760 0 0 -1 3 0 0 0
[pid=6027/tid=6039] ppid=6025 vsize=15763608 CPUtime=3.59 cores=1,3,5,7
/proc/6027/task/6039/stat : 6039 (java) S 6025 6027 5295 0 -1 4202560 156919 0 0 0 333 26 0 0 15 0 22 0 524031404 16141934592 101560 33554432000 1073741824 1073778376 140734730057056 18446744073709551615 274485783449 0 4 0 16800975 18446604471134877760 0 0 -1 7 0 0 0
[pid=6027/tid=6040] ppid=6025 vsize=15763608 CPUtime=2.1 cores=1,3,5,7
/proc/6027/task/6040/stat : 6040 (java) S 6025 6027 5295 0 -1 4202560 7741 0 0 0 130 80 0 0 15 0 22 0 524031405 16141934592 101560 33554432000 1073741824 1073778376 140734730057056 18446744073709551615 274485784064 0 0 0 16800975 18446604471134877760 0 0 -1 1 0 0 0
[pid=6027/tid=6043] ppid=6025 vsize=15763608 CPUtime=0 cores=1,3,5,7
/proc/6027/task/6043/stat : 6043 (java) S 6025 6027 5295 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 22 0 524031406 16141934592 101560 33554432000 1073741824 1073778376 140734730057056 18446744073709551615 274485783449 0 4 0 16800975 18446604471134877760 0 0 -1 5 0 0 0
[pid=6027/tid=6046] ppid=6025 vsize=15763608 CPUtime=0 cores=1,3,5,7
/proc/6027/task/6046/stat : 6046 (java) S 6025 6027 5295 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 524031406 16141934592 101560 33554432000 1073741824 1073778376 140734730057056 18446744073709551615 274485783449 0 4 0 16800975 18446604471134877760 0 0 -1 5 0 0 0
[pid=6027/tid=6048] ppid=6025 vsize=15763608 CPUtime=0 cores=1,3,5,7
/proc/6027/task/6048/stat : 6048 (java) S 6025 6027 5295 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 524031408 16141934592 101560 33554432000 1073741824 1073778376 140734730057056 18446744073709551615 274485791153 0 4 0 16800975 18446604471134877760 0 0 -1 5 0 0 0
[pid=6027/tid=6049] ppid=6025 vsize=15763608 CPUtime=0.94 cores=1,3,5,7
/proc/6027/task/6049/stat : 6049 (java) S 6025 6027 5295 0 -1 4202560 9614 0 0 0 94 0 0 0 15 0 22 0 524031408 16141934592 101560 33554432000 1073741824 1073778376 140734730057056 18446744073709551615 274485783449 0 4 0 16800975 18446604471134877760 0 0 -1 5 0 0 0
[pid=6027/tid=6050] ppid=6025 vsize=15763608 CPUtime=1.01 cores=1,3,5,7
/proc/6027/task/6050/stat : 6050 (java) S 6025 6027 5295 0 -1 4202560 5558 0 0 0 101 0 0 0 15 0 22 0 524031408 16141934592 101560 33554432000 1073741824 1073778376 140734730057056 18446744073709551615 274485783449 0 4 0 16800975 18446604471134877760 0 0 -1 3 0 0 0
[pid=6027/tid=6051] ppid=6025 vsize=15763608 CPUtime=0 cores=1,3,5,7
/proc/6027/task/6051/stat : 6051 (java) S 6025 6027 5295 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 22 0 524031408 16141934592 101560 33554432000 1073741824 1073778376 140734730057056 18446744073709551615 274485783449 0 4 0 16800975 18446604471134877760 0 0 -1 5 0 0 0
[pid=6027/tid=6052] ppid=6025 vsize=15763608 CPUtime=0 cores=1,3,5,7
/proc/6027/task/6052/stat : 6052 (java) S 6025 6027 5295 0 -1 4202560 65 0 0 0 0 0 0 0 15 0 22 0 524031408 16141934592 101560 33554432000 1073741824 1073778376 140734730057056 18446744073709551615 274485784064 0 4 0 16800975 18446604471134877760 0 0 -1 5 0 0 0
[pid=6027/tid=6053] ppid=6025 vsize=15763608 CPUtime=1167.92 cores=1,3,5,7
/proc/6027/task/6053/stat : 6053 (java) R 6025 6027 5295 0 -1 4202560 440276 0 0 0 116729 63 0 0 25 0 22 0 524031429 16141934592 101560 33554432000 1073741824 1073778376 140734730057056 18446744073709551615 18446744073699065939 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=6027/tid=6054] ppid=6025 vsize=15763608 CPUtime=1167.57 cores=1,3,5,7
/proc/6027/task/6054/stat : 6054 (java) R 6025 6027 5295 0 -1 4202560 435307 0 0 0 116687 70 0 0 25 0 22 0 524031429 16141934592 101560 33554432000 1073741824 1073778376 140734730057056 18446744073709551615 46912505878763 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=6027/tid=6055] ppid=6025 vsize=15763608 CPUtime=1166.96 cores=1,3,5,7
/proc/6027/task/6055/stat : 6055 (java) R 6025 6027 5295 0 -1 4202560 434735 0 0 0 116634 62 0 0 25 0 22 0 524031430 16141934592 101560 33554432000 1073741824 1073778376 140734730057056 18446744073709551615 18446744073699065939 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=6027/tid=6056] ppid=6025 vsize=15763608 CPUtime=1166.87 cores=1,3,5,7
/proc/6027/task/6056/stat : 6056 (java) R 6025 6027 5295 0 -1 4202560 428355 0 0 0 116626 61 0 0 25 0 22 0 524031430 16141934592 101560 33554432000 1073741824 1073778376 140734730057056 18446744073709551615 46912505808096 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4702.62
Current children cumulated vsize (KiB) 15763608



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1206.8 s]
/proc/loadavg: 8.26 8.19 8.04 9/220 6154
/proc/meminfo: memFree=21919684/32950928 swapFree=67111524/67111528
[pid=6027] ppid=6025 vsize=15763608 CPUtime=4800.12 cores=1,3,5,7
/proc/6027/stat : 6027 (java) S 6025 6027 5295 0 -1 4202496 3073642 0 1 0 479427 585 0 0 23 0 22 0 524031403 16141934592 114172 33554432000 1073741824 1073778376 140734730057056 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/6027/statm: 3940902 114172 2298 9 0 3931621 0
[pid=6027/tid=6030] ppid=6025 vsize=15763608 CPUtime=0.38 cores=1,3,5,7
/proc/6027/task/6030/stat : 6030 (java) S 6025 6027 5295 0 -1 4202560 6987 0 1 0 37 1 0 0 25 0 22 0 524031404 16141934592 114172 33554432000 1073741824 1073778376 140734730057056 18446744073709551615 274485783449 0 4 0 16800975 18446604471134877760 0 0 -1 1 0 0 0
[pid=6027/tid=6032] ppid=6025 vsize=15763608 CPUtime=3.63 cores=1,3,5,7
/proc/6027/task/6032/stat : 6032 (java) S 6025 6027 5295 0 -1 4202560 162924 0 0 0 332 31 0 0 16 0 22 0 524031404 16141934592 114172 33554432000 1073741824 1073778376 140734730057056 18446744073709551615 274485783449 0 4 0 16800975 18446604471134877760 0 0 -1 7 0 0 0
[pid=6027/tid=6033] ppid=6025 vsize=15763608 CPUtime=3.69 cores=1,3,5,7
/proc/6027/task/6033/stat : 6033 (java) S 6025 6027 5295 0 -1 4202560 164191 0 0 0 338 31 0 0 15 0 22 0 524031404 16141934592 114172 33554432000 1073741824 1073778376 140734730057056 18446744073709551615 274485783449 0 4 0 16800975 18446604471134877760 0 0 -1 1 0 0 0
[pid=6027/tid=6034] ppid=6025 vsize=15763608 CPUtime=3.65 cores=1,3,5,7
/proc/6027/task/6034/stat : 6034 (java) S 6025 6027 5295 0 -1 4202560 148511 0 0 0 337 28 0 0 16 0 22 0 524031404 16141934592 114172 33554432000 1073741824 1073778376 140734730057056 18446744073709551615 274485783449 0 4 0 16800975 18446604471134877760 0 0 -1 7 0 0 0
[pid=6027/tid=6035] ppid=6025 vsize=15763608 CPUtime=3.63 cores=1,3,5,7
/proc/6027/task/6035/stat : 6035 (java) S 6025 6027 5295 0 -1 4202560 153514 0 0 0 336 27 0 0 16 0 22 0 524031404 16141934592 114172 33554432000 1073741824 1073778376 140734730057056 18446744073709551615 274485783449 0 4 0 16800975 18446604471134877760 0 0 -1 3 0 0 0
[pid=6027/tid=6036] ppid=6025 vsize=15763608 CPUtime=3.65 cores=1,3,5,7
/proc/6027/task/6036/stat : 6036 (java) S 6025 6027 5295 0 -1 4202560 151892 0 0 0 336 29 0 0 16 0 22 0 524031404 16141934592 114172 33554432000 1073741824 1073778376 140734730057056 18446744073709551615 274485783449 0 4 0 16800975 18446604471134877760 0 0 -1 7 0 0 0
[pid=6027/tid=6037] ppid=6025 vsize=15763608 CPUtime=3.74 cores=1,3,5,7
/proc/6027/task/6037/stat : 6037 (java) S 6025 6027 5295 0 -1 4202560 159964 0 0 0 344 30 0 0 15 0 22 0 524031404 16141934592 114172 33554432000 1073741824 1073778376 140734730057056 18446744073709551615 274485783449 0 4 0 16800975 18446604471134877760 0 0 -1 1 0 0 0
[pid=6027/tid=6038] ppid=6025 vsize=15763608 CPUtime=3.63 cores=1,3,5,7
/proc/6027/task/6038/stat : 6038 (java) S 6025 6027 5295 0 -1 4202560 158303 0 0 0 334 29 0 0 15 0 22 0 524031404 16141934592 114172 33554432000 1073741824 1073778376 140734730057056 18446744073709551615 274485783449 0 4 0 16800975 18446604471134877760 0 0 -1 5 0 0 0
[pid=6027/tid=6039] ppid=6025 vsize=15763608 CPUtime=3.68 cores=1,3,5,7
/proc/6027/task/6039/stat : 6039 (java) S 6025 6027 5295 0 -1 4202560 160661 0 0 0 341 27 0 0 15 0 22 0 524031404 16141934592 114172 33554432000 1073741824 1073778376 140734730057056 18446744073709551615 274485783449 0 4 0 16800975 18446604471134877760 0 0 -1 7 0 0 0
[pid=6027/tid=6040] ppid=6025 vsize=15763608 CPUtime=2.15 cores=1,3,5,7
/proc/6027/task/6040/stat : 6040 (java) S 6025 6027 5295 0 -1 4202560 7965 0 0 0 133 82 0 0 15 0 22 0 524031405 16141934592 114172 33554432000 1073741824 1073778376 140734730057056 18446744073709551615 274485784064 0 0 0 16800975 18446604471134877760 0 0 -1 5 0 0 0
[pid=6027/tid=6043] ppid=6025 vsize=15763608 CPUtime=0 cores=1,3,5,7
/proc/6027/task/6043/stat : 6043 (java) S 6025 6027 5295 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 22 0 524031406 16141934592 114172 33554432000 1073741824 1073778376 140734730057056 18446744073709551615 274485783449 0 4 0 16800975 18446604471134877760 0 0 -1 5 0 0 0
[pid=6027/tid=6046] ppid=6025 vsize=15763608 CPUtime=0 cores=1,3,5,7
/proc/6027/task/6046/stat : 6046 (java) S 6025 6027 5295 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 524031406 16141934592 114172 33554432000 1073741824 1073778376 140734730057056 18446744073709551615 274485783449 0 4 0 16800975 18446604471134877760 0 0 -1 5 0 0 0
[pid=6027/tid=6048] ppid=6025 vsize=15763608 CPUtime=0 cores=1,3,5,7
/proc/6027/task/6048/stat : 6048 (java) S 6025 6027 5295 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 524031408 16141934592 114172 33554432000 1073741824 1073778376 140734730057056 18446744073709551615 274485791153 0 4 0 16800975 18446604471134877760 0 0 -1 5 0 0 0
[pid=6027/tid=6049] ppid=6025 vsize=15763608 CPUtime=0.94 cores=1,3,5,7
/proc/6027/task/6049/stat : 6049 (java) S 6025 6027 5295 0 -1 4202560 9614 0 0 0 94 0 0 0 15 0 22 0 524031408 16141934592 114172 33554432000 1073741824 1073778376 140734730057056 18446744073709551615 274485783449 0 4 0 16800975 18446604471134877760 0 0 -1 5 0 0 0
[pid=6027/tid=6050] ppid=6025 vsize=15763608 CPUtime=1.01 cores=1,3,5,7
/proc/6027/task/6050/stat : 6050 (java) S 6025 6027 5295 0 -1 4202560 5558 0 0 0 101 0 0 0 15 0 22 0 524031408 16141934592 114172 33554432000 1073741824 1073778376 140734730057056 18446744073709551615 274485783449 0 4 0 16800975 18446604471134877760 0 0 -1 3 0 0 0
[pid=6027/tid=6051] ppid=6025 vsize=15763608 CPUtime=0 cores=1,3,5,7
/proc/6027/task/6051/stat : 6051 (java) S 6025 6027 5295 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 22 0 524031408 16141934592 114172 33554432000 1073741824 1073778376 140734730057056 18446744073709551615 274485783449 0 4 0 16800975 18446604471134877760 0 0 -1 5 0 0 0
[pid=6027/tid=6052] ppid=6025 vsize=15763608 CPUtime=0 cores=1,3,5,7
/proc/6027/task/6052/stat : 6052 (java) S 6025 6027 5295 0 -1 4202560 67 0 0 0 0 0 0 0 15 0 22 0 524031408 16141934592 114172 33554432000 1073741824 1073778376 140734730057056 18446744073709551615 274485784064 0 4 0 16800975 18446604471134877760 0 0 -1 7 0 0 0
[pid=6027/tid=6053] ppid=6025 vsize=15763608 CPUtime=1192.15 cores=1,3,5,7
/proc/6027/task/6053/stat : 6053 (java) R 6025 6027 5295 0 -1 4202560 451414 0 0 0 119151 64 0 0 25 0 22 0 524031429 16141934592 114172 33554432000 1073741824 1073778376 140734730057056 18446744073709551615 46912505878723 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=6027/tid=6054] ppid=6025 vsize=15763608 CPUtime=1191.8 cores=1,3,5,7
/proc/6027/task/6054/stat : 6054 (java) R 6025 6027 5295 0 -1 4202560 446200 0 0 0 119109 71 0 0 25 0 22 0 524031429 16141934592 114172 33554432000 1073741824 1073778376 140734730057056 18446744073709551615 46912505727965 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=6027/tid=6055] ppid=6025 vsize=15763608 CPUtime=1191.16 cores=1,3,5,7
/proc/6027/task/6055/stat : 6055 (java) R 6025 6027 5295 0 -1 4202560 445190 0 0 0 119052 64 0 0 25 0 22 0 524031430 16141934592 114172 33554432000 1073741824 1073778376 140734730057056 18446744073709551615 46912505878389 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=6027/tid=6056] ppid=6025 vsize=15763608 CPUtime=1191.08 cores=1,3,5,7
/proc/6027/task/6056/stat : 6056 (java) R 6025 6027 5295 0 -1 4202560 439303 0 0 0 119045 63 0 0 25 0 22 0 524031430 16141934592 114172 33554432000 1073741824 1073778376 140734730057056 18446744073709551615 47951984171282 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.12
Current children cumulated vsize (KiB) 15763608

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): 1206.84
CPU time (s): 4800.17
CPU user time (s): 4794.3
CPU system time (s): 5.87511
CPU usage (%): 397.748
Max. virtual memory (cumulated for all children) (KiB): 15763608

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4794.3
system time used= 5.87511
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3073669
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= 203414
involuntary context switches= 123742

runsolver used 2.09168 second user time and 4.55331 second system time

The end

Launcher Data 

Begin job on node125 at 2011-04-30 02:45:17
IDJOB=3311380
IDBENCH=82765
IDSOLVER=1698
FILE ID=node125/3311380-1304124317
RUNJOBID= node125-1304124317-5998
PBS_JOBID= 13170720
Free space on /tmp= 72764 MiB

SOLVER NAME= STRUCTure 0.1 (hbr=2)
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v700-c2982-S899463426-096.UNKNOWN.cnf
COMMAND LINE= run 15000 NBCORE TMPDIR DIR BENCHNAME -hbr 2
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3311380-1304124317/watcher-3311380-1304124317 -o /tmp/evaluation-result-3311380-1304124317/solver-3311380-1304124317 -C 4800 -W 1300 -M 15500  run 15000 4 HOME HOME HOME/instance-3311380-1304124317.cnf -hbr 2

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

MD5SUM BENCH= bf57ee4f209393e8d4bc647eb9e177d4
RANDOM SEED=1180588980

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:      22830416 kB
Buffers:       2125320 kB
Cached:        7402400 kB
SwapCached:          4 kB
Active:        2138332 kB
Inactive:      7458160 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      22830416 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:            3600 kB
Writeback:           0 kB
AnonPages:       67888 kB
Mapped:          20724 kB
Slab:           460420 kB
PageTables:       5016 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   768908 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 03:05:26