Trace number 3312297

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.25 1207.13

General information on the benchmark

Nameapplication/kullmann/AES/Benchmarks/
128/aes_128_1_keyfind_1.cnf
MD5SUM5092a9db644d53c7bc023e4dff206812
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables1192
Number of clauses10656
Sum of the clauses size56868
Maximum clause length8
Minimum clause length1
Number of clauses of size 1264
Number of clauses of size 2128
Number of clauses of size 32016
Number of clauses of size 4320
Number of clauses of size 52048
Number of clauses of size over 55880

Solver Data

0.10/0.12	39:11 INFO : Reading from input HOME/instance-3312297-1304185151.cnf
0.52/0.34	Executor set job limit to 1000000
0.52/0.34	Executor set job limit to 1000000
0.52/0.34	Executor set job limit to 1000000
0.52/0.34	Executor set job limit to 1000000
0.52/0.34	Starting Executor!
0.52/0.34	Starting Executor!
0.52/0.34	Starting Executor!
0.52/0.34	Starting Executor!
0.93/0.52	39:11 INFO : Found 592 xor gates
1.82/0.87	39:12 INFO : 608 variables remaining out of 1192
1.82/0.87	39:12 INFO : 62324 literals remaining out of 50252
201.79/51.02	log4j:WARN No appenders could be found for logger (ibis.constellation.impl.SingleThreadedConstellation.CID: 0:1).
201.79/51.02	log4j:WARN Please initialize the log4j system properly.
201.79/51.02	log4j:WARN See http://logging.apache.org/log4j/1.2/faq.html#noconfig for more info.

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-3312297-1304185151/watcher-3312297-1304185151 -o /tmp/evaluation-result-3312297-1304185151/solver-3312297-1304185151 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3312297-1304185151.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: 6.49 7.74 7.91 2/176 13075
/proc/meminfo: memFree=30447180/32951124 swapFree=67105204/67111528
[pid=13075] ppid=13071 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/13075/stat : 13075 (java) R 13071 13075 13038 0 -1 4202496 803 0 0 0 0 0 0 0 17 0 1 0 510930984 23580672 291 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220811273984 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/13075/statm: 5757 301 237 9 0 124 0

[startup+0.030183 s]
/proc/loadavg: 6.49 7.74 7.91 2/176 13075
/proc/meminfo: memFree=30447180/32951124 swapFree=67105204/67111528
[pid=13075] ppid=13071 vsize=15604116 CPUtime=0.01 cores=1,3,5,7
/proc/13075/stat : 13075 (java) S 13071 13075 13038 0 -1 4202496 3453 0 1 0 1 0 0 0 17 0 13 0 510930984 15978614784 2894 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828039141 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/13075/statm: 3901029 2896 1643 9 0 3891777 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 15604116

[startup+0.101136 s]
/proc/loadavg: 6.49 7.74 7.91 2/176 13075
/proc/meminfo: memFree=30447180/32951124 swapFree=67105204/67111528
[pid=13075] ppid=13071 vsize=15676488 CPUtime=0.1 cores=1,3,5,7
/proc/13075/stat : 13075 (java) S 13071 13075 13038 0 -1 4202496 5530 0 1 0 8 2 0 0 17 0 18 0 510930984 16052723712 4951 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13075/statm: 3919122 4952 2117 9 0 3909841 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15676488

[startup+0.30113 s]
/proc/loadavg: 6.49 7.74 7.91 2/176 13075
/proc/meminfo: memFree=30447180/32951124 swapFree=67105204/67111528
[pid=13075] ppid=13071 vsize=15679800 CPUtime=0.52 cores=1,3,5,7
/proc/13075/stat : 13075 (java) S 13071 13075 13038 0 -1 4202496 14964 0 1 0 48 4 0 0 17 0 18 0 510930984 16056115200 13451 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13075/statm: 3919950 13458 2207 9 0 3910669 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 15679800

[startup+0.701022 s]
/proc/loadavg: 6.49 7.74 7.91 2/176 13075
/proc/meminfo: memFree=30447180/32951124 swapFree=67105204/67111528
[pid=13075] ppid=13071 vsize=15704244 CPUtime=1.52 cores=1,3,5,7
/proc/13075/stat : 13075 (java) S 13071 13075 13038 0 -1 4202496 33631 0 1 0 145 7 0 0 17 0 22 0 510930984 16081145856 29215 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13075/statm: 3926061 29215 2248 9 0 3916780 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 15704244

[startup+1.50085 s]
/proc/loadavg: 6.49 7.74 7.91 8/220 13119
/proc/meminfo: memFree=30126484/32951124 swapFree=67105204/67111528
[pid=13075] ppid=13071 vsize=15718476 CPUtime=4.33 cores=1,3,5,7
/proc/13075/stat : 13075 (java) S 13071 13075 13038 0 -1 4202496 67903 0 1 0 420 13 0 0 17 0 22 0 510930984 16095719424 56731 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13075/statm: 3929619 56731 2275 9 0 3920338 0
[pid=13075/tid=13079] ppid=13071 vsize=15718476 CPUtime=0.86 cores=1,3,5,7
/proc/13075/task/13079/stat : 13079 (java) S 13071 13075 13038 0 -1 4202560 17734 0 1 0 82 4 0 0 18 0 22 0 510930985 16095719424 56731 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 5 0 0 0
[pid=13075/tid=13082] ppid=13071 vsize=15718476 CPUtime=0 cores=1,3,5,7
/proc/13075/task/13082/stat : 13082 (java) S 13071 13075 13038 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 510930986 16095719424 56731 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 7 0 0 0
[pid=13075/tid=13084] ppid=13071 vsize=15718476 CPUtime=0 cores=1,3,5,7
/proc/13075/task/13084/stat : 13084 (java) S 13071 13075 13038 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 510930986 16095719424 56731 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 5 0 0 0
[pid=13075/tid=13086] ppid=13071 vsize=15718476 CPUtime=0 cores=1,3,5,7
/proc/13075/task/13086/stat : 13086 (java) S 13071 13075 13038 0 -1 4202560 986 0 0 0 0 0 0 0 18 0 22 0 510930986 16095719424 56731 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 3 0 0 0
[pid=13075/tid=13088] ppid=13071 vsize=15718476 CPUtime=0 cores=1,3,5,7
/proc/13075/task/13088/stat : 13088 (java) S 13071 13075 13038 0 -1 4202560 957 0 0 0 0 0 0 0 18 0 22 0 510930986 16095719424 56731 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 7 0 0 0
[pid=13075/tid=13090] ppid=13071 vsize=15718476 CPUtime=0 cores=1,3,5,7
/proc/13075/task/13090/stat : 13090 (java) S 13071 13075 13038 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 22 0 510930986 16095719424 56731 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 3 0 0 0
[pid=13075/tid=13092] ppid=13071 vsize=15718476 CPUtime=0 cores=1,3,5,7
/proc/13075/task/13092/stat : 13092 (java) S 13071 13075 13038 0 -1 4202560 626 0 0 0 0 0 0 0 18 0 22 0 510930986 16095719424 56731 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 5 0 0 0
[pid=13075/tid=13094] ppid=13071 vsize=15718476 CPUtime=0 cores=1,3,5,7
/proc/13075/task/13094/stat : 13094 (java) R 13071 13075 13038 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 510930986 16095719424 56731 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=13075/tid=13095] ppid=13071 vsize=15718476 CPUtime=0 cores=1,3,5,7
/proc/13075/task/13095/stat : 13095 (java) S 13071 13075 13038 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 510930986 16095719424 56731 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 5 0 0 0
[pid=13075/tid=13097] ppid=13071 vsize=15718476 CPUtime=0 cores=1,3,5,7
/proc/13075/task/13097/stat : 13097 (java) S 13071 13075 13038 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 22 0 510930987 16095719424 56731 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052992 0 0 0 16800975 18446604471130751936 0 0 -1 3 0 0 0
[pid=13075/tid=13100] ppid=13071 vsize=15718476 CPUtime=0 cores=1,3,5,7
/proc/13075/task/13100/stat : 13100 (java) S 13071 13075 13038 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 510930987 16095719424 56731 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 3 0 0 0
[pid=13075/tid=13101] ppid=13071 vsize=15718476 CPUtime=0 cores=1,3,5,7
/proc/13075/task/13101/stat : 13101 (java) S 13071 13075 13038 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 510930987 16095719424 56731 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 3 0 0 0
[pid=13075/tid=13104] ppid=13071 vsize=15718476 CPUtime=0 cores=1,3,5,7
/proc/13075/task/13104/stat : 13104 (java) S 13071 13075 13038 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 510930989 16095719424 56731 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828060081 0 4 0 16800975 18446604471130751936 0 0 -1 3 0 0 0
[pid=13075/tid=13105] ppid=13071 vsize=15718476 CPUtime=1.03 cores=1,3,5,7
/proc/13075/task/13105/stat : 13105 (java) R 13071 13075 13038 0 -1 4202560 19614 0 0 0 100 3 0 0 17 0 22 0 510930989 16095719424 56731 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 47327273951696 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=13075/tid=13108] ppid=13071 vsize=15718476 CPUtime=1.04 cores=1,3,5,7
/proc/13075/task/13108/stat : 13108 (java) R 13071 13075 13038 0 -1 4202560 8819 0 0 0 102 2 0 0 16 0 22 0 510930990 16095719424 56731 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 47327276650934 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=13075/tid=13109] ppid=13071 vsize=15718476 CPUtime=0 cores=1,3,5,7
/proc/13075/task/13109/stat : 13109 (java) S 13071 13075 13038 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 510930990 16095719424 56731 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 3 0 0 0
[pid=13075/tid=13111] ppid=13071 vsize=15718476 CPUtime=0 cores=1,3,5,7
/proc/13075/task/13111/stat : 13111 (java) S 13071 13075 13038 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 510930990 16095719424 56731 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052992 0 4 0 16800975 18446604471130751936 0 0 -1 1 0 0 0
[pid=13075/tid=13112] ppid=13071 vsize=15718476 CPUtime=0.56 cores=1,3,5,7
/proc/13075/task/13112/stat : 13112 (java) R 13071 13075 13038 0 -1 4202560 7953 0 0 0 55 1 0 0 16 0 22 0 510931019 16095719424 56731 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 47327276922918 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=13075/tid=13113] ppid=13071 vsize=15718476 CPUtime=0.19 cores=1,3,5,7
/proc/13075/task/13113/stat : 13113 (java) R 13071 13075 13038 0 -1 4202560 1941 0 0 0 19 0 0 0 16 0 22 0 510931019 16095719424 56731 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 46912505811052 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=13075/tid=13114] ppid=13071 vsize=15718476 CPUtime=0.28 cores=1,3,5,7
/proc/13075/task/13114/stat : 13114 (java) R 13071 13075 13038 0 -1 4202560 3180 0 0 0 28 0 0 0 16 0 22 0 510931019 16095719424 56732 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 46912505811617 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=13075/tid=13115] ppid=13071 vsize=15718476 CPUtime=0.3 cores=1,3,5,7
/proc/13075/task/13115/stat : 13115 (java) R 13071 13075 13038 0 -1 4202560 4691 0 0 0 30 0 0 0 16 0 22 0 510931019 16095719424 56732 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 46912505789624 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4.33
Current children cumulated vsize (KiB) 15718476

[startup+3.10255 s]
/proc/loadavg: 6.49 7.74 7.91 11/220 13119
/proc/meminfo: memFree=29781640/32951124 swapFree=67105204/67111528
[pid=13075] ppid=13071 vsize=15718484 CPUtime=10.71 cores=1,3,5,7
/proc/13075/stat : 13075 (java) S 13071 13075 13038 0 -1 4202496 125360 0 1 0 1049 22 0 0 17 0 22 0 510930984 16095727616 113032 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13075/statm: 3929621 113044 2285 9 0 3920340 0
[pid=13075/tid=13079] ppid=13071 vsize=15718484 CPUtime=0.86 cores=1,3,5,7
/proc/13075/task/13079/stat : 13079 (java) S 13071 13075 13038 0 -1 4202560 17734 0 1 0 82 4 0 0 18 0 22 0 510930985 16095727616 113050 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 5 0 0 0
[pid=13075/tid=13082] ppid=13071 vsize=15718484 CPUtime=0.01 cores=1,3,5,7
/proc/13075/task/13082/stat : 13082 (java) S 13071 13075 13038 0 -1 4202560 6158 0 0 0 1 0 0 0 16 0 22 0 510930986 16095727616 113052 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 1 0 0 0
[pid=13075/tid=13084] ppid=13071 vsize=15718484 CPUtime=0.02 cores=1,3,5,7
/proc/13075/task/13084/stat : 13084 (java) S 13071 13075 13038 0 -1 4202560 6486 0 0 0 2 0 0 0 15 0 22 0 510930986 16095727616 113053 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 5 0 0 0
[pid=13075/tid=13086] ppid=13071 vsize=15718484 CPUtime=0 cores=1,3,5,7
/proc/13075/task/13086/stat : 13086 (java) S 13071 13075 13038 0 -1 4202560 3463 0 0 0 0 0 0 0 16 0 22 0 510930986 16095727616 113055 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 3 0 0 0
[pid=13075/tid=13088] ppid=13071 vsize=15718484 CPUtime=0.01 cores=1,3,5,7
/proc/13075/task/13088/stat : 13088 (java) S 13071 13075 13038 0 -1 4202560 4422 0 0 0 1 0 0 0 16 0 22 0 510930986 16095727616 113057 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 1 0 0 0
[pid=13075/tid=13090] ppid=13071 vsize=15718484 CPUtime=0.01 cores=1,3,5,7
/proc/13075/task/13090/stat : 13090 (java) S 13071 13075 13038 0 -1 4202560 5416 0 0 0 1 0 0 0 15 0 22 0 510930986 16095727616 113059 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 3 0 0 0
[pid=13075/tid=13092] ppid=13071 vsize=15718484 CPUtime=0.01 cores=1,3,5,7
/proc/13075/task/13092/stat : 13092 (java) S 13071 13075 13038 0 -1 4202560 3967 0 0 0 1 0 0 0 16 0 22 0 510930986 16095727616 113061 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 7 0 0 0
[pid=13075/tid=13094] ppid=13071 vsize=15718484 CPUtime=0 cores=1,3,5,7
/proc/13075/task/13094/stat : 13094 (java) S 13071 13075 13038 0 -1 4202560 4220 0 0 0 0 0 0 0 16 0 22 0 510930986 16095727616 113062 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 5 0 0 0
[pid=13075/tid=13095] ppid=13071 vsize=15718484 CPUtime=0 cores=1,3,5,7
/proc/13075/task/13095/stat : 13095 (java) S 13071 13075 13038 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 510930986 16095727616 113064 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 3 0 0 0
[pid=13075/tid=13097] ppid=13071 vsize=15718484 CPUtime=0 cores=1,3,5,7
/proc/13075/task/13097/stat : 13097 (java) S 13071 13075 13038 0 -1 4202560 221 0 0 0 0 0 0 0 15 0 22 0 510930987 16095727616 113066 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052992 0 0 0 16800975 18446604471130751936 0 0 -1 5 0 0 0
[pid=13075/tid=13100] ppid=13071 vsize=15718484 CPUtime=0 cores=1,3,5,7
/proc/13075/task/13100/stat : 13100 (java) S 13071 13075 13038 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 510930987 16095727616 113067 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 3 0 0 0
[pid=13075/tid=13101] ppid=13071 vsize=15718484 CPUtime=0 cores=1,3,5,7
/proc/13075/task/13101/stat : 13101 (java) S 13071 13075 13038 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 510930987 16095727616 113069 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 3 0 0 0
[pid=13075/tid=13104] ppid=13071 vsize=15718484 CPUtime=0 cores=1,3,5,7
/proc/13075/task/13104/stat : 13104 (java) S 13071 13075 13038 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 510930989 16095727616 113071 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828060081 0 4 0 16800975 18446604471130751936 0 0 -1 3 0 0 0
[pid=13075/tid=13105] ppid=13071 vsize=15718484 CPUtime=1.43 cores=1,3,5,7
/proc/13075/task/13105/stat : 13105 (java) S 13071 13075 13038 0 -1 4202560 21077 0 0 0 140 3 0 0 15 0 22 0 510930989 16095727616 113073 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 7 0 0 0
[pid=13075/tid=13108] ppid=13071 vsize=15718484 CPUtime=1.22 cores=1,3,5,7
/proc/13075/task/13108/stat : 13108 (java) S 13071 13075 13038 0 -1 4202560 8840 0 0 0 120 2 0 0 15 0 22 0 510930990 16095727616 113075 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 7 0 0 0
[pid=13075/tid=13109] ppid=13071 vsize=15718484 CPUtime=0 cores=1,3,5,7
/proc/13075/task/13109/stat : 13109 (java) S 13071 13075 13038 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 510930990 16095727616 113076 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 3 0 0 0
[pid=13075/tid=13111] ppid=13071 vsize=15718484 CPUtime=0 cores=1,3,5,7
/proc/13075/task/13111/stat : 13111 (java) S 13071 13075 13038 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 510930990 16095727616 113078 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052992 0 4 0 16800975 18446604471130751936 0 0 -1 1 0 0 0
[pid=13075/tid=13112] ppid=13071 vsize=15718484 CPUtime=1.95 cores=1,3,5,7
/proc/13075/task/13112/stat : 13112 (java) R 13071 13075 13038 0 -1 4202560 15725 0 0 0 193 2 0 0 17 0 22 0 510931019 16095727616 113080 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 47327276922861 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=13075/tid=13113] ppid=13071 vsize=15718484 CPUtime=1.49 cores=1,3,5,7
/proc/13075/task/13113/stat : 13113 (java) R 13071 13075 13038 0 -1 4202560 5485 0 0 0 148 1 0 0 16 0 22 0 510931019 16095727616 113082 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 46912505912799 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=13075/tid=13114] ppid=13071 vsize=15718484 CPUtime=1.83 cores=1,3,5,7
/proc/13075/task/13114/stat : 13114 (java) R 13071 13075 13038 0 -1 4202560 10372 0 0 0 183 0 0 0 17 0 22 0 510931019 16095727616 113089 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 47327276922003 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=13075/tid=13115] ppid=13071 vsize=15718484 CPUtime=1.7 cores=1,3,5,7
/proc/13075/task/13115/stat : 13115 (java) R 13071 13075 13038 0 -1 4202560 10442 0 0 0 169 1 0 0 16 0 22 0 510931019 16095727616 113100 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 46912505912799 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 10.71
Current children cumulated vsize (KiB) 15718484

[startup+6.30096 s]
/proc/loadavg: 6.69 7.76 7.91 10/220 13119
/proc/meminfo: memFree=28172760/32951124 swapFree=67105204/67111528
[pid=13075] ppid=13071 vsize=15701600 CPUtime=23.47 cores=1,3,5,7
/proc/13075/stat : 13075 (java) S 13071 13075 13038 0 -1 4202496 306007 0 1 0 2303 44 0 0 17 0 22 0 510930984 16078438400 289484 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13075/statm: 3925400 289484 2285 9 0 3916119 0
[pid=13075/tid=13079] ppid=13071 vsize=15701600 CPUtime=0.86 cores=1,3,5,7
/proc/13075/task/13079/stat : 13079 (java) S 13071 13075 13038 0 -1 4202560 17734 0 1 0 82 4 0 0 18 0 22 0 510930985 16078438400 289484 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 5 0 0 0
[pid=13075/tid=13082] ppid=13071 vsize=15701600 CPUtime=0.01 cores=1,3,5,7
/proc/13075/task/13082/stat : 13082 (java) S 13071 13075 13038 0 -1 4202560 6677 0 0 0 1 0 0 0 15 0 22 0 510930986 16078438400 289484 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 3 0 0 0
[pid=13075/tid=13084] ppid=13071 vsize=15701600 CPUtime=0.02 cores=1,3,5,7
/proc/13075/task/13084/stat : 13084 (java) S 13071 13075 13038 0 -1 4202560 8120 0 0 0 2 0 0 0 16 0 22 0 510930986 16078438400 289484 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 7 0 0 0
[pid=13075/tid=13086] ppid=13071 vsize=15701600 CPUtime=0.01 cores=1,3,5,7
/proc/13075/task/13086/stat : 13086 (java) S 13071 13075 13038 0 -1 4202560 4526 0 0 0 1 0 0 0 15 0 22 0 510930986 16078438400 289484 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 5 0 0 0
[pid=13075/tid=13088] ppid=13071 vsize=15701600 CPUtime=0.01 cores=1,3,5,7
/proc/13075/task/13088/stat : 13088 (java) S 13071 13075 13038 0 -1 4202560 5841 0 0 0 1 0 0 0 16 0 22 0 510930986 16078438400 289484 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 3 0 0 0
[pid=13075/tid=13090] ppid=13071 vsize=15701600 CPUtime=0.03 cores=1,3,5,7
/proc/13075/task/13090/stat : 13090 (java) S 13071 13075 13038 0 -1 4202560 7304 0 0 0 2 1 0 0 15 0 22 0 510930986 16078438400 289484 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 1 0 0 0
[pid=13075/tid=13092] ppid=13071 vsize=15701600 CPUtime=0.02 cores=1,3,5,7
/proc/13075/task/13092/stat : 13092 (java) S 13071 13075 13038 0 -1 4202560 5438 0 0 0 2 0 0 0 15 0 22 0 510930986 16078438400 289484 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 7 0 0 0
[pid=13075/tid=13094] ppid=13071 vsize=15701600 CPUtime=0.01 cores=1,3,5,7
/proc/13075/task/13094/stat : 13094 (java) S 13071 13075 13038 0 -1 4202560 5521 0 0 0 1 0 0 0 15 0 22 0 510930986 16078438400 289484 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 5 0 0 0
[pid=13075/tid=13095] ppid=13071 vsize=15701600 CPUtime=0 cores=1,3,5,7
/proc/13075/task/13095/stat : 13095 (java) S 13071 13075 13038 0 -1 4202560 1760 0 0 0 0 0 0 0 15 0 22 0 510930986 16078438400 289484 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 3 0 0 0
[pid=13075/tid=13097] ppid=13071 vsize=15701600 CPUtime=0 cores=1,3,5,7
/proc/13075/task/13097/stat : 13097 (java) S 13071 13075 13038 0 -1 4202560 774 0 0 0 0 0 0 0 15 0 22 0 510930987 16078438400 289484 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052992 0 0 0 16800975 18446604471130751936 0 0 -1 5 0 0 0
[pid=13075/tid=13100] ppid=13071 vsize=15701600 CPUtime=0 cores=1,3,5,7
/proc/13075/task/13100/stat : 13100 (java) S 13071 13075 13038 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 510930987 16078438400 289484 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 3 0 0 0
[pid=13075/tid=13101] ppid=13071 vsize=15701600 CPUtime=0 cores=1,3,5,7
/proc/13075/task/13101/stat : 13101 (java) S 13071 13075 13038 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 510930987 16078438400 289484 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 3 0 0 0
[pid=13075/tid=13104] ppid=13071 vsize=15701600 CPUtime=0 cores=1,3,5,7
/proc/13075/task/13104/stat : 13104 (java) S 13071 13075 13038 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 510930989 16078438400 289484 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828060081 0 4 0 16800975 18446604471130751936 0 0 -1 3 0 0 0
[pid=13075/tid=13105] ppid=13071 vsize=15701600 CPUtime=1.49 cores=1,3,5,7
/proc/13075/task/13105/stat : 13105 (java) S 13071 13075 13038 0 -1 4202560 21082 0 0 0 146 3 0 0 16 0 22 0 510930989 16078438400 289484 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 7 0 0 0

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

[pid=13075/tid=13113] ppid=13071 vsize=15701600 CPUtime=1107.41 cores=1,3,5,7
/proc/13075/task/13113/stat : 13113 (java) R 13071 13075 13038 0 -1 4202560 267968 0 0 0 110699 42 0 0 25 0 22 0 510931019 16078438400 104990 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 46912505887177 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=13075/tid=13114] ppid=13071 vsize=15701600 CPUtime=1107.43 cores=1,3,5,7
/proc/13075/task/13114/stat : 13114 (java) R 13071 13075 13038 0 -1 4202560 281974 0 0 0 110698 45 0 0 25 0 22 0 510931019 16078438400 104990 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 46912505933516 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=13075/tid=13115] ppid=13071 vsize=15701600 CPUtime=1107.25 cores=1,3,5,7
/proc/13075/task/13115/stat : 13115 (java) R 13071 13075 13038 0 -1 4202560 282354 0 0 0 110679 46 0 0 25 0 22 0 510931019 16078438400 104990 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 46912505912435 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4462.93
Current children cumulated vsize (KiB) 15701600

[startup+1182.3 s]
/proc/loadavg: 7.96 8.06 7.99 10/220 13150
/proc/meminfo: memFree=29268004/32951124 swapFree=67105204/67111528
[pid=13075] ppid=13071 vsize=15701600 CPUtime=4701.54 cores=1,3,5,7
/proc/13075/stat : 13075 (java) S 13071 13075 13038 0 -1 4202496 2023899 0 1 0 469725 429 0 0 17 0 22 0 510930984 16078438400 103263 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13075/statm: 3925400 103263 2298 9 0 3916119 0
[pid=13075/tid=13079] ppid=13071 vsize=15701600 CPUtime=0.86 cores=1,3,5,7
/proc/13075/task/13079/stat : 13079 (java) S 13071 13075 13038 0 -1 4202560 17734 0 1 0 82 4 0 0 18 0 22 0 510930985 16078438400 103263 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 5 0 0 0
[pid=13075/tid=13082] ppid=13071 vsize=15701600 CPUtime=3.5 cores=1,3,5,7
/proc/13075/task/13082/stat : 13082 (java) S 13071 13075 13038 0 -1 4202560 102203 0 0 0 329 21 0 0 16 0 22 0 510930986 16078438400 103263 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 1 0 0 0
[pid=13075/tid=13084] ppid=13071 vsize=15701600 CPUtime=3.45 cores=1,3,5,7
/proc/13075/task/13084/stat : 13084 (java) S 13071 13075 13038 0 -1 4202560 102209 0 0 0 326 19 0 0 15 0 22 0 510930986 16078438400 103263 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 3 0 0 0
[pid=13075/tid=13086] ppid=13071 vsize=15701600 CPUtime=3.53 cores=1,3,5,7
/proc/13075/task/13086/stat : 13086 (java) S 13071 13075 13038 0 -1 4202560 100426 0 0 0 333 20 0 0 15 0 22 0 510930986 16078438400 103263 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 5 0 0 0
[pid=13075/tid=13088] ppid=13071 vsize=15701600 CPUtime=3.49 cores=1,3,5,7
/proc/13075/task/13088/stat : 13088 (java) S 13071 13075 13038 0 -1 4202560 96782 0 0 0 328 21 0 0 15 0 22 0 510930986 16078438400 103263 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 1 0 0 0
[pid=13075/tid=13090] ppid=13071 vsize=15701600 CPUtime=3.47 cores=1,3,5,7
/proc/13075/task/13090/stat : 13090 (java) S 13071 13075 13038 0 -1 4202560 102816 0 0 0 327 20 0 0 15 0 22 0 510930986 16078438400 103263 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 5 0 0 0
[pid=13075/tid=13092] ppid=13071 vsize=15701600 CPUtime=3.5 cores=1,3,5,7
/proc/13075/task/13092/stat : 13092 (java) S 13071 13075 13038 0 -1 4202560 95339 0 0 0 329 21 0 0 15 0 22 0 510930986 16078438400 103263 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 7 0 0 0
[pid=13075/tid=13094] ppid=13071 vsize=15701600 CPUtime=3.44 cores=1,3,5,7
/proc/13075/task/13094/stat : 13094 (java) S 13071 13075 13038 0 -1 4202560 102641 0 0 0 324 20 0 0 16 0 22 0 510930986 16078438400 103263 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 3 0 0 0
[pid=13075/tid=13095] ppid=13071 vsize=15701600 CPUtime=3.53 cores=1,3,5,7
/proc/13075/task/13095/stat : 13095 (java) S 13071 13075 13038 0 -1 4202560 99874 0 0 0 331 22 0 0 15 0 22 0 510930986 16078438400 103263 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 1 0 0 0
[pid=13075/tid=13097] ppid=13071 vsize=15701600 CPUtime=2.17 cores=1,3,5,7
/proc/13075/task/13097/stat : 13097 (java) S 13071 13075 13038 0 -1 4202560 5293 0 0 0 152 65 0 0 15 0 22 0 510930987 16078438400 103263 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052992 0 0 0 16800975 18446604471130751936 0 0 -1 7 0 0 0
[pid=13075/tid=13100] ppid=13071 vsize=15701600 CPUtime=0 cores=1,3,5,7
/proc/13075/task/13100/stat : 13100 (java) S 13071 13075 13038 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 510930987 16078438400 103263 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 3 0 0 0
[pid=13075/tid=13101] ppid=13071 vsize=15701600 CPUtime=0 cores=1,3,5,7
/proc/13075/task/13101/stat : 13101 (java) S 13071 13075 13038 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 510930987 16078438400 103263 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 3 0 0 0
[pid=13075/tid=13104] ppid=13071 vsize=15701600 CPUtime=0 cores=1,3,5,7
/proc/13075/task/13104/stat : 13104 (java) S 13071 13075 13038 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 510930989 16078438400 103263 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828060081 0 4 0 16800975 18446604471130751936 0 0 -1 3 0 0 0
[pid=13075/tid=13105] ppid=13071 vsize=15701600 CPUtime=1.63 cores=1,3,5,7
/proc/13075/task/13105/stat : 13105 (java) S 13071 13075 13038 0 -1 4202560 21104 0 0 0 160 3 0 0 15 0 22 0 510930989 16078438400 103263 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 7 0 0 0
[pid=13075/tid=13108] ppid=13071 vsize=15701600 CPUtime=1.79 cores=1,3,5,7
/proc/13075/task/13108/stat : 13108 (java) S 13071 13075 13038 0 -1 4202560 8912 0 0 0 177 2 0 0 15 0 22 0 510930990 16078438400 103263 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 3 0 0 0
[pid=13075/tid=13109] ppid=13071 vsize=15701600 CPUtime=0 cores=1,3,5,7
/proc/13075/task/13109/stat : 13109 (java) S 13071 13075 13038 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 510930990 16078438400 103263 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 3 0 0 0
[pid=13075/tid=13111] ppid=13071 vsize=15701600 CPUtime=0 cores=1,3,5,7
/proc/13075/task/13111/stat : 13111 (java) S 13071 13075 13038 0 -1 4202560 65 0 0 0 0 0 0 0 15 0 22 0 510930990 16078438400 103263 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052992 0 4 0 16800975 18446604471130751936 0 0 -1 7 0 0 0
[pid=13075/tid=13112] ppid=13071 vsize=15701600 CPUtime=1167.19 cores=1,3,5,7
/proc/13075/task/13112/stat : 13112 (java) R 13071 13075 13038 0 -1 4202560 303992 0 0 0 116674 45 0 0 25 0 22 0 510931019 16078438400 103263 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 46912505913149 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=13075/tid=13113] ppid=13071 vsize=15701600 CPUtime=1166.68 cores=1,3,5,7
/proc/13075/task/13113/stat : 13113 (java) R 13071 13075 13038 0 -1 4202560 278005 0 0 0 116625 43 0 0 25 0 22 0 510931019 16078438400 103263 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 46912506606598 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=13075/tid=13114] ppid=13071 vsize=15701600 CPUtime=1166.64 cores=1,3,5,7
/proc/13075/task/13114/stat : 13114 (java) R 13071 13075 13038 0 -1 4202560 292149 0 0 0 116617 47 0 0 25 0 22 0 510931019 16078438400 103263 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 46912505913020 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=13075/tid=13115] ppid=13071 vsize=15701600 CPUtime=1166.51 cores=1,3,5,7
/proc/13075/task/13115/stat : 13115 (java) R 13071 13075 13038 0 -1 4202560 292972 0 0 0 116604 47 0 0 25 0 22 0 510931019 16078438400 103263 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 46912506607358 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4701.54
Current children cumulated vsize (KiB) 15701600



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1207.1 s]
/proc/loadavg: 7.97 8.05 7.99 5/197 13154
/proc/meminfo: memFree=30021348/32951124 swapFree=67105204/67111528
[pid=13075] ppid=13071 vsize=15701600 CPUtime=4800.2 cores=1,3,5,7
/proc/13075/stat : 13075 (java) S 13071 13075 13038 0 -1 4202496 2068283 0 1 0 479581 439 0 0 17 0 22 0 510930984 16078438400 107206 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13075/statm: 3925400 107206 2298 9 0 3916119 0
[pid=13075/tid=13079] ppid=13071 vsize=15701600 CPUtime=0.86 cores=1,3,5,7
/proc/13075/task/13079/stat : 13079 (java) S 13071 13075 13038 0 -1 4202560 17734 0 1 0 82 4 0 0 18 0 22 0 510930985 16078438400 107206 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 5 0 0 0
[pid=13075/tid=13082] ppid=13071 vsize=15701600 CPUtime=3.58 cores=1,3,5,7
/proc/13075/task/13082/stat : 13082 (java) S 13071 13075 13038 0 -1 4202560 105098 0 0 0 336 22 0 0 16 0 22 0 510930986 16078438400 107206 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 7 0 0 0
[pid=13075/tid=13084] ppid=13071 vsize=15701600 CPUtime=3.52 cores=1,3,5,7
/proc/13075/task/13084/stat : 13084 (java) S 13071 13075 13038 0 -1 4202560 105273 0 0 0 333 19 0 0 15 0 22 0 510930986 16078438400 107206 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 3 0 0 0
[pid=13075/tid=13086] ppid=13071 vsize=15701600 CPUtime=3.6 cores=1,3,5,7
/proc/13075/task/13086/stat : 13086 (java) S 13071 13075 13038 0 -1 4202560 103195 0 0 0 340 20 0 0 16 0 22 0 510930986 16078438400 107206 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 3 0 0 0
[pid=13075/tid=13088] ppid=13071 vsize=15701600 CPUtime=3.56 cores=1,3,5,7
/proc/13075/task/13088/stat : 13088 (java) S 13071 13075 13038 0 -1 4202560 99310 0 0 0 334 22 0 0 15 0 22 0 510930986 16078438400 107206 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 3 0 0 0
[pid=13075/tid=13090] ppid=13071 vsize=15701600 CPUtime=3.55 cores=1,3,5,7
/proc/13075/task/13090/stat : 13090 (java) S 13071 13075 13038 0 -1 4202560 105708 0 0 0 335 20 0 0 15 0 22 0 510930986 16078438400 107206 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 1 0 0 0
[pid=13075/tid=13092] ppid=13071 vsize=15701600 CPUtime=3.58 cores=1,3,5,7
/proc/13075/task/13092/stat : 13092 (java) S 13071 13075 13038 0 -1 4202560 97470 0 0 0 336 22 0 0 15 0 22 0 510930986 16078438400 107206 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 1 0 0 0
[pid=13075/tid=13094] ppid=13071 vsize=15701600 CPUtime=3.52 cores=1,3,5,7
/proc/13075/task/13094/stat : 13094 (java) S 13071 13075 13038 0 -1 4202560 105263 0 0 0 331 21 0 0 15 0 22 0 510930986 16078438400 107206 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 5 0 0 0
[pid=13075/tid=13095] ppid=13071 vsize=15701600 CPUtime=3.61 cores=1,3,5,7
/proc/13075/task/13095/stat : 13095 (java) S 13071 13075 13038 0 -1 4202560 102716 0 0 0 339 22 0 0 15 0 22 0 510930986 16078438400 107206 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 5 0 0 0
[pid=13075/tid=13097] ppid=13071 vsize=15701600 CPUtime=2.21 cores=1,3,5,7
/proc/13075/task/13097/stat : 13097 (java) S 13071 13075 13038 0 -1 4202560 5415 0 0 0 154 67 0 0 15 0 22 0 510930987 16078438400 107206 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052992 0 0 0 16800975 18446604471130751936 0 0 -1 3 0 0 0
[pid=13075/tid=13100] ppid=13071 vsize=15701600 CPUtime=0 cores=1,3,5,7
/proc/13075/task/13100/stat : 13100 (java) S 13071 13075 13038 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 510930987 16078438400 107206 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 3 0 0 0
[pid=13075/tid=13101] ppid=13071 vsize=15701600 CPUtime=0 cores=1,3,5,7
/proc/13075/task/13101/stat : 13101 (java) S 13071 13075 13038 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 510930987 16078438400 107206 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 3 0 0 0
[pid=13075/tid=13104] ppid=13071 vsize=15701600 CPUtime=0 cores=1,3,5,7
/proc/13075/task/13104/stat : 13104 (java) S 13071 13075 13038 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 510930989 16078438400 107206 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828060081 0 4 0 16800975 18446604471130751936 0 0 -1 3 0 0 0
[pid=13075/tid=13105] ppid=13071 vsize=15701600 CPUtime=1.63 cores=1,3,5,7
/proc/13075/task/13105/stat : 13105 (java) S 13071 13075 13038 0 -1 4202560 21104 0 0 0 160 3 0 0 15 0 22 0 510930989 16078438400 107206 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 7 0 0 0
[pid=13075/tid=13108] ppid=13071 vsize=15701600 CPUtime=1.79 cores=1,3,5,7
/proc/13075/task/13108/stat : 13108 (java) S 13071 13075 13038 0 -1 4202560 8912 0 0 0 177 2 0 0 15 0 22 0 510930990 16078438400 107206 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 3 0 0 0
[pid=13075/tid=13109] ppid=13071 vsize=15701600 CPUtime=0 cores=1,3,5,7
/proc/13075/task/13109/stat : 13109 (java) S 13071 13075 13038 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 510930990 16078438400 107206 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 3 0 0 0
[pid=13075/tid=13111] ppid=13071 vsize=15701600 CPUtime=0 cores=1,3,5,7
/proc/13075/task/13111/stat : 13111 (java) S 13071 13075 13038 0 -1 4202560 67 0 0 0 0 0 0 0 15 0 22 0 510930990 16078438400 107206 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052992 0 4 0 16800975 18446604471130751936 0 0 -1 7 0 0 0
[pid=13075/tid=13112] ppid=13071 vsize=15701600 CPUtime=1191.63 cores=1,3,5,7
/proc/13075/task/13112/stat : 13112 (java) R 13071 13075 13038 0 -1 4202560 309498 0 0 0 119117 46 0 0 25 0 22 0 510931019 16078438400 107206 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 46912505523461 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=13075/tid=13113] ppid=13071 vsize=15701600 CPUtime=1191.22 cores=1,3,5,7
/proc/13075/task/13113/stat : 13113 (java) R 13071 13075 13038 0 -1 4202560 283255 0 0 0 119078 44 0 0 25 0 22 0 510931019 16078438400 107206 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 46912505933551 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=13075/tid=13114] ppid=13071 vsize=15701600 CPUtime=1191.15 cores=1,3,5,7
/proc/13075/task/13114/stat : 13114 (java) R 13071 13075 13038 0 -1 4202560 297846 0 0 0 119067 48 0 0 25 0 22 0 510931019 16078438400 107206 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 47327276922846 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=13075/tid=13115] ppid=13071 vsize=15701600 CPUtime=1191.03 cores=1,3,5,7
/proc/13075/task/13115/stat : 13115 (java) R 13071 13075 13038 0 -1 4202560 299036 0 0 0 119055 48 0 0 25 0 22 0 510931019 16078438400 107206 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 46912505887197 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.2
Current children cumulated vsize (KiB) 15701600

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

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

[startup+1207.1 s]
/proc/loadavg: 7.97 8.05 7.99 5/197 13154
/proc/meminfo: memFree=30021348/32951124 swapFree=67105204/67111528
[pid=13075] ppid=13071 vsize=15701600 CPUtime=4800.2 cores=1,3,5,7
/proc/13075/stat : 13075 (java) S 13071 13075 13038 0 -1 4202496 2068283 0 1 0 479581 439 0 0 17 0 22 0 510930984 16078438400 107206 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13075/statm: 3925400 107206 2298 9 0 3916119 0
[pid=13075/tid=13079] ppid=13071 vsize=15701600 CPUtime=0.86 cores=1,3,5,7
/proc/13075/task/13079/stat : 13079 (java) S 13071 13075 13038 0 -1 4202560 17734 0 1 0 82 4 0 0 18 0 22 0 510930985 16078438400 107206 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 5 0 0 0
[pid=13075/tid=13082] ppid=13071 vsize=15701600 CPUtime=3.58 cores=1,3,5,7
/proc/13075/task/13082/stat : 13082 (java) S 13071 13075 13038 0 -1 4202560 105098 0 0 0 336 22 0 0 16 0 22 0 510930986 16078438400 107206 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 7 0 0 0
[pid=13075/tid=13084] ppid=13071 vsize=15701600 CPUtime=3.52 cores=1,3,5,7
/proc/13075/task/13084/stat : 13084 (java) S 13071 13075 13038 0 -1 4202560 105273 0 0 0 333 19 0 0 15 0 22 0 510930986 16078438400 107206 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 3 0 0 0
[pid=13075/tid=13086] ppid=13071 vsize=15701600 CPUtime=3.6 cores=1,3,5,7
/proc/13075/task/13086/stat : 13086 (java) S 13071 13075 13038 0 -1 4202560 103195 0 0 0 340 20 0 0 16 0 22 0 510930986 16078438400 107206 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 3 0 0 0
[pid=13075/tid=13088] ppid=13071 vsize=15701600 CPUtime=3.56 cores=1,3,5,7
/proc/13075/task/13088/stat : 13088 (java) S 13071 13075 13038 0 -1 4202560 99310 0 0 0 334 22 0 0 15 0 22 0 510930986 16078438400 107206 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 3 0 0 0
[pid=13075/tid=13090] ppid=13071 vsize=15701600 CPUtime=3.55 cores=1,3,5,7
/proc/13075/task/13090/stat : 13090 (java) S 13071 13075 13038 0 -1 4202560 105708 0 0 0 335 20 0 0 15 0 22 0 510930986 16078438400 107206 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 1 0 0 0
[pid=13075/tid=13092] ppid=13071 vsize=15701600 CPUtime=3.58 cores=1,3,5,7
/proc/13075/task/13092/stat : 13092 (java) S 13071 13075 13038 0 -1 4202560 97470 0 0 0 336 22 0 0 15 0 22 0 510930986 16078438400 107206 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 1 0 0 0
[pid=13075/tid=13094] ppid=13071 vsize=15701600 CPUtime=3.52 cores=1,3,5,7
/proc/13075/task/13094/stat : 13094 (java) S 13071 13075 13038 0 -1 4202560 105263 0 0 0 331 21 0 0 15 0 22 0 510930986 16078438400 107206 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 5 0 0 0
[pid=13075/tid=13095] ppid=13071 vsize=15701600 CPUtime=3.61 cores=1,3,5,7
/proc/13075/task/13095/stat : 13095 (java) S 13071 13075 13038 0 -1 4202560 102716 0 0 0 339 22 0 0 15 0 22 0 510930986 16078438400 107206 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 5 0 0 0
[pid=13075/tid=13097] ppid=13071 vsize=15701600 CPUtime=2.21 cores=1,3,5,7
/proc/13075/task/13097/stat : 13097 (java) S 13071 13075 13038 0 -1 4202560 5415 0 0 0 154 67 0 0 15 0 22 0 510930987 16078438400 107206 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052992 0 0 0 16800975 18446604471130751936 0 0 -1 3 0 0 0
[pid=13075/tid=13100] ppid=13071 vsize=15701600 CPUtime=0 cores=1,3,5,7
/proc/13075/task/13100/stat : 13100 (java) S 13071 13075 13038 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 510930987 16078438400 107206 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 3 0 0 0
[pid=13075/tid=13101] ppid=13071 vsize=15701600 CPUtime=0 cores=1,3,5,7
/proc/13075/task/13101/stat : 13101 (java) S 13071 13075 13038 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 510930987 16078438400 107206 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 3 0 0 0
[pid=13075/tid=13104] ppid=13071 vsize=15701600 CPUtime=0 cores=1,3,5,7
/proc/13075/task/13104/stat : 13104 (java) S 13071 13075 13038 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 510930989 16078438400 107206 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828060081 0 4 0 16800975 18446604471130751936 0 0 -1 3 0 0 0
[pid=13075/tid=13105] ppid=13071 vsize=15701600 CPUtime=1.63 cores=1,3,5,7
/proc/13075/task/13105/stat : 13105 (java) S 13071 13075 13038 0 -1 4202560 21104 0 0 0 160 3 0 0 15 0 22 0 510930989 16078438400 107206 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 7 0 0 0
[pid=13075/tid=13108] ppid=13071 vsize=15701600 CPUtime=1.79 cores=1,3,5,7
/proc/13075/task/13108/stat : 13108 (java) S 13071 13075 13038 0 -1 4202560 8912 0 0 0 177 2 0 0 15 0 22 0 510930990 16078438400 107206 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 3 0 0 0
[pid=13075/tid=13109] ppid=13071 vsize=15701600 CPUtime=0 cores=1,3,5,7
/proc/13075/task/13109/stat : 13109 (java) S 13071 13075 13038 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 510930990 16078438400 107206 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052377 0 4 0 16800975 18446604471130751936 0 0 -1 3 0 0 0
[pid=13075/tid=13111] ppid=13071 vsize=15701600 CPUtime=0 cores=1,3,5,7
/proc/13075/task/13111/stat : 13111 (java) S 13071 13075 13038 0 -1 4202560 67 0 0 0 0 0 0 0 15 0 22 0 510930990 16078438400 107206 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 220828052992 0 4 0 16800975 18446604471130751936 0 0 -1 7 0 0 0
[pid=13075/tid=13112] ppid=13071 vsize=15701600 CPUtime=1191.63 cores=1,3,5,7
/proc/13075/task/13112/stat : 13112 (java) R 13071 13075 13038 0 -1 4202560 309498 0 0 0 119117 46 0 0 25 0 22 0 510931019 16078438400 107206 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 46912505523461 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=13075/tid=13113] ppid=13071 vsize=15701600 CPUtime=1191.22 cores=1,3,5,7
/proc/13075/task/13113/stat : 13113 (java) R 13071 13075 13038 0 -1 4202560 283255 0 0 0 119078 44 0 0 25 0 22 0 510931019 16078438400 107206 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 46912505933551 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=13075/tid=13114] ppid=13071 vsize=15701600 CPUtime=1191.15 cores=1,3,5,7
/proc/13075/task/13114/stat : 13114 (java) R 13071 13075 13038 0 -1 4202560 297846 0 0 0 119067 48 0 0 25 0 22 0 510931019 16078438400 107206 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 47327276922846 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=13075/tid=13115] ppid=13071 vsize=15701600 CPUtime=1191.03 cores=1,3,5,7
/proc/13075/task/13115/stat : 13115 (java) R 13071 13075 13038 0 -1 4202560 299036 0 0 0 119055 48 0 0 25 0 22 0 510931019 16078438400 107206 33554432000 1073741824 1073778376 140733810455424 18446744073709551615 46912505887197 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.2
Current children cumulated vsize (KiB) 15701600

Child status: 143
Real time (s): 1207.13
CPU time (s): 4800.25
CPU user time (s): 4795.84
CPU system time (s): 4.41533
CPU usage (%): 397.657
Max. virtual memory (cumulated for all children) (KiB): 15718484

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4795.84
system time used= 4.41533
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2068778
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= 233956
involuntary context switches= 149235

runsolver used 1.88471 second user time and 4.78927 second system time

The end

Launcher Data

Begin job on node147 at 2011-04-30 19:39:11
IDJOB=3312297
IDBENCH=83412
IDSOLVER=1698
FILE ID=node147/3312297-1304185151
RUNJOBID= node147-1304185151-13057
PBS_JOBID= 13172477
Free space on /tmp= 73084 MiB

SOLVER NAME= STRUCTure 0.1 (hbr=2)
BENCH NAME= SAT11/application/kullmann/AES/Benchmarks/128/aes_128_1_keyfind_1.cnf
COMMAND LINE= run 15000 NBCORE TMPDIR DIR BENCHNAME -hbr 2
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3312297-1304185151/watcher-3312297-1304185151 -o /tmp/evaluation-result-3312297-1304185151/solver-3312297-1304185151 -C 4800 -W 1300 -M 15500  run 15000 4 HOME HOME HOME/instance-3312297-1304185151.cnf -hbr 2

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

MD5SUM BENCH= 5092a9db644d53c7bc023e4dff206812
RANDOM SEED=1543280024

node147.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.836
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.67
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.836
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	: 5332.75
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.836
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.82
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.836
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.836
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.836
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.76
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.836
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.82
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.836
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:     32951124 kB
MemFree:      30447848 kB
Buffers:        339644 kB
Cached:        1768116 kB
SwapCached:       3064 kB
Active:         225132 kB
Inactive:      1943832 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30447848 kB
SwapTotal:    67111528 kB
SwapFree:     67105204 kB
Dirty:            4360 kB
Writeback:           0 kB
AnonPages:       59764 kB
Mapped:          14340 kB
Slab:           269640 kB
PageTables:       4896 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   185720 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= 73080 MiB
End job on node147 at 2011-04-30 19:59:20