Trace number 3312095

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) 4635.18 1300.58

General information on the benchmark

NameSAT04/industrial/velev/vliw_unsat_2.0/
9dlx_vliw_at_b_iq6.used-as.sat04-347.cnf
MD5SUM580dc3969c4e46e50013253fd4ac9139
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark333.205
Satisfiable
(Un)Satisfiability was proved
Number of variables209724
Number of clauses3634677
Sum of the clauses size10547961
Maximum clause length169
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 23415202
Number of clauses of size 349840
Number of clauses of size 46998
Number of clauses of size 514973
Number of clauses of size over 5147663

Solver Data 

0.10/0.13	17:03 INFO : Reading from input HOME/instance-3312095-1304187420.cnf
6.97/13.67	Executor set job limit to 1000000
22.38/19.87	Executor set job limit to 1000000
22.38/19.87	Executor set job limit to 1000000
22.38/19.87	Executor set job limit to 1000000
22.38/19.87	Starting Executor!
22.38/19.87	Starting Executor!
22.38/19.87	Starting Executor!
22.38/19.87	Starting Executor!
87.26/83.47	18:26 INFO : 172461 variables remaining out of 209724
87.26/83.47	18:26 INFO : 25432255 literals remaining out of 14182638

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

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

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


[startup+0 s]
/proc/loadavg: 6.26 7.62 7.57 2/172 1016
/proc/meminfo: memFree=30546868/32951132 swapFree=67111356/67111528
[pid=1016] ppid=1014 vsize=9100 CPUtime=0 cores=0,2,4,6
/proc/1016/stat : 1016 (java) S 1014 1016 32546 0 -1 4202496 486 0 0 0 0 0 0 0 17 0 1 0 530341924 9318400 148 33554432000 1073741824 1073778376 140736894227536 18446744073709551615 274664806400 0 2147483391 4096 0 18446744071699109054 0 0 17 0 0 0 0
/proc/1016/statm: 2275 148 118 9 0 67 0

[startup+0.0921841 s]
/proc/loadavg: 6.26 7.62 7.57 2/172 1016
/proc/meminfo: memFree=30546868/32951132 swapFree=67111356/67111528
[pid=1016] ppid=1014 vsize=15676664 CPUtime=0.08 cores=0,2,4,6
/proc/1016/stat : 1016 (java) S 1014 1016 32546 0 -1 4202496 5357 0 1 0 8 0 0 0 17 0 18 0 530341924 16052903936 4796 33554432000 1073741824 1073778376 140735498410832 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/1016/statm: 3919166 4796 2115 9 0 3909885 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 15676664

[startup+0.105237 s]
/proc/loadavg: 6.26 7.62 7.57 2/172 1016
/proc/meminfo: memFree=30546868/32951132 swapFree=67111356/67111528
[pid=1016] ppid=1014 vsize=15676664 CPUtime=0.1 cores=0,2,4,6
/proc/1016/stat : 1016 (java) S 1014 1016 32546 0 -1 4202496 5521 0 1 0 9 1 0 0 17 0 18 0 530341924 16052903936 4960 33554432000 1073741824 1073778376 140735498410832 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/1016/statm: 3919166 4960 2116 9 0 3909885 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15676664

[startup+0.30621 s]
/proc/loadavg: 6.26 7.62 7.57 2/172 1016
/proc/meminfo: memFree=30546868/32951132 swapFree=67111356/67111528
[pid=1016] ppid=1014 vsize=15680608 CPUtime=0.49 cores=0,2,4,6
/proc/1016/stat : 1016 (java) S 1014 1016 32546 0 -1 4202496 13106 0 1 0 46 3 0 0 17 0 18 0 530341924 16056942592 11491 33554432000 1073741824 1073778376 140735498410832 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/1016/statm: 3920152 11494 2206 9 0 3910871 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 15680608

[startup+0.701118 s]
/proc/loadavg: 6.26 7.62 7.57 2/172 1016
/proc/meminfo: memFree=30546868/32951132 swapFree=67111356/67111528
[pid=1016] ppid=1014 vsize=15680604 CPUtime=0.92 cores=0,2,4,6
/proc/1016/stat : 1016 (java) S 1014 1016 32546 0 -1 4202496 42239 0 1 0 85 7 0 0 17 0 18 0 530341924 16056938496 40583 33554432000 1073741824 1073778376 140735498410832 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/1016/statm: 3920151 40583 2222 9 0 3910870 0
Current children cumulated CPU time (s) 0.92
Current children cumulated vsize (KiB) 15680604

[startup+1.50102 s]
/proc/loadavg: 5.92 7.53 7.54 3/190 1034
/proc/meminfo: memFree=30348920/32951132 swapFree=67111356/67111528
[pid=1016] ppid=1014 vsize=15680604 CPUtime=1.74 cores=0,2,4,6
/proc/1016/stat : 1016 (java) S 1014 1016 32546 0 -1 4202496 45470 0 1 0 167 7 0 0 17 0 18 0 530341924 16056938496 43797 33554432000 1073741824 1073778376 140735498410832 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/1016/statm: 3920151 43797 2222 9 0 3910870 0
[pid=1016/tid=1018] ppid=1014 vsize=15680604 CPUtime=1.45 cores=0,2,4,6
/proc/1016/task/1018/stat : 1018 (java) R 1014 1016 32546 0 -1 4202560 35548 0 1 0 140 5 0 0 25 0 18 0 530341925 16056938496 43797 33554432000 1073741824 1073778376 140735498410832 18446744073709551615 46912505553649 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=1016/tid=1019] ppid=1014 vsize=15680604 CPUtime=0 cores=0,2,4,6
/proc/1016/task/1019/stat : 1019 (java) S 1014 1016 32546 0 -1 4202560 46 0 0 0 0 0 0 0 15 0 18 0 530341925 16056938496 43797 33554432000 1073741824 1073778376 140735498410832 18446744073709551615 274676624281 0 4 0 16800975 18446604448293766144 0 0 -1 6 0 0 0
[pid=1016/tid=1020] ppid=1014 vsize=15680604 CPUtime=0 cores=0,2,4,6
/proc/1016/task/1020/stat : 1020 (java) S 1014 1016 32546 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 18 0 530341925 16056938496 43797 33554432000 1073741824 1073778376 140735498410832 18446744073709551615 274676624281 0 4 0 16800975 18446604448293766144 0 0 -1 6 0 0 0
[pid=1016/tid=1021] ppid=1014 vsize=15680604 CPUtime=0 cores=0,2,4,6
/proc/1016/task/1021/stat : 1021 (java) S 1014 1016 32546 0 -1 4202560 251 0 0 0 0 0 0 0 16 0 18 0 530341925 16056938496 43797 33554432000 1073741824 1073778376 140735498410832 18446744073709551615 274676624281 0 4 0 16800975 18446604448293766144 0 0 -1 4 0 0 0
[pid=1016/tid=1022] ppid=1014 vsize=15680604 CPUtime=0 cores=0,2,4,6
/proc/1016/task/1022/stat : 1022 (java) S 1014 1016 32546 0 -1 4202560 1498 0 0 0 0 0 0 0 15 0 18 0 530341925 16056938496 43797 33554432000 1073741824 1073778376 140735498410832 18446744073709551615 274676624281 0 4 0 16800975 18446604448293766144 0 0 -1 6 0 0 0
[pid=1016/tid=1023] ppid=1014 vsize=15680604 CPUtime=0 cores=0,2,4,6
/proc/1016/task/1023/stat : 1023 (java) S 1014 1016 32546 0 -1 4202560 1340 0 0 0 0 0 0 0 16 0 18 0 530341925 16056938496 43797 33554432000 1073741824 1073778376 140735498410832 18446744073709551615 274676624281 0 4 0 16800975 18446604448293766144 0 0 -1 0 0 0 0
[pid=1016/tid=1024] ppid=1014 vsize=15680604 CPUtime=0 cores=0,2,4,6
/proc/1016/task/1024/stat : 1024 (java) S 1014 1016 32546 0 -1 4202560 1164 0 0 0 0 0 0 0 15 0 18 0 530341925 16056938496 43797 33554432000 1073741824 1073778376 140735498410832 18446744073709551615 274676624281 0 4 0 16800975 18446604448293766144 0 0 -1 2 0 0 0
[pid=1016/tid=1025] ppid=1014 vsize=15680604 CPUtime=0 cores=0,2,4,6
/proc/1016/task/1025/stat : 1025 (java) S 1014 1016 32546 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 18 0 530341925 16056938496 43797 33554432000 1073741824 1073778376 140735498410832 18446744073709551615 274676624281 0 4 0 16800975 18446604448293766144 0 0 -1 2 0 0 0
[pid=1016/tid=1026] ppid=1014 vsize=15680604 CPUtime=0 cores=0,2,4,6
/proc/1016/task/1026/stat : 1026 (java) S 1014 1016 32546 0 -1 4202560 381 0 0 0 0 0 0 0 15 0 18 0 530341925 16056938496 43797 33554432000 1073741824 1073778376 140735498410832 18446744073709551615 274676624281 0 4 0 16800975 18446604448293766144 0 0 -1 4 0 0 0
[pid=1016/tid=1027] ppid=1014 vsize=15680604 CPUtime=0 cores=0,2,4,6
/proc/1016/task/1027/stat : 1027 (java) S 1014 1016 32546 0 -1 4202560 71 0 0 0 0 0 0 0 15 0 18 0 530341926 16056938496 43797 33554432000 1073741824 1073778376 140735498410832 18446744073709551615 274676624896 0 0 0 16800975 18446604448293766144 0 0 -1 2 0 0 0
[pid=1016/tid=1028] ppid=1014 vsize=15680604 CPUtime=0 cores=0,2,4,6
/proc/1016/task/1028/stat : 1028 (java) S 1014 1016 32546 0 -1 4202560 18 0 0 0 0 0 0 0 19 0 18 0 530341927 16056938496 43797 33554432000 1073741824 1073778376 140735498410832 18446744073709551615 274676624281 0 4 0 16800975 18446604448293766144 0 0 -1 2 0 0 0
[pid=1016/tid=1029] ppid=1014 vsize=15680604 CPUtime=0 cores=0,2,4,6
/proc/1016/task/1029/stat : 1029 (java) S 1014 1016 32546 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 18 0 530341927 16056938496 43797 33554432000 1073741824 1073778376 140735498410832 18446744073709551615 274676624281 0 4 0 16800975 18446604448293766144 0 0 -1 6 0 0 0
[pid=1016/tid=1030] ppid=1014 vsize=15680604 CPUtime=0 cores=0,2,4,6
/proc/1016/task/1030/stat : 1030 (java) S 1014 1016 32546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 530341929 16056938496 43797 33554432000 1073741824 1073778376 140735498410832 18446744073709551615 274676631985 0 4 0 16800975 18446604448293766144 0 0 -1 6 0 0 0
[pid=1016/tid=1031] ppid=1014 vsize=15680604 CPUtime=0.09 cores=0,2,4,6
/proc/1016/task/1031/stat : 1031 (java) S 1014 1016 32546 0 -1 4202560 2266 0 0 0 9 0 0 0 15 0 18 0 530341929 16056938496 43797 33554432000 1073741824 1073778376 140735498410832 18446744073709551615 274676624281 0 4 0 16800975 18446604448293766144 0 0 -1 4 0 0 0
[pid=1016/tid=1032] ppid=1014 vsize=15680604 CPUtime=0.12 cores=0,2,4,6
/proc/1016/task/1032/stat : 1032 (java) S 1014 1016 32546 0 -1 4202560 1506 0 0 0 12 0 0 0 17 0 18 0 530341929 16056938496 43797 33554432000 1073741824 1073778376 140735498410832 18446744073709551615 274676624281 0 4 0 16800975 18446604448293766144 0 0 -1 2 0 0 0
[pid=1016/tid=1033] ppid=1014 vsize=15680604 CPUtime=0 cores=0,2,4,6
/proc/1016/task/1033/stat : 1033 (java) S 1014 1016 32546 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 530341929 16056938496 43797 33554432000 1073741824 1073778376 140735498410832 18446744073709551615 274676624281 0 4 0 16800975 18446604448293766144 0 0 -1 6 0 0 0
[pid=1016/tid=1034] ppid=1014 vsize=15680604 CPUtime=0 cores=0,2,4,6
/proc/1016/task/1034/stat : 1034 (java) S 1014 1016 32546 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 530341929 16056938496 43797 33554432000 1073741824 1073778376 140735498410832 18446744073709551615 274676624896 0 4 0 16800975 18446604448293766144 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.74
Current children cumulated vsize (KiB) 15680604

[startup+6.61974 s]
/proc/loadavg: 5.92 7.53 7.54 4/190 1034
/proc/meminfo: memFree=30161440/32951132 swapFree=67111356/67111528
[pid=1016] ppid=1014 vsize=15679560 CPUtime=6.97 cores=0,2,4,6
/proc/1016/stat : 1016 (java) S 1014 1016 32546 0 -1 4202496 155703 0 1 0 675 22 0 0 17 0 18 0 530341924 16055869440 151479 33554432000 1073741824 1073778376 140735498410832 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/1016/statm: 3919890 151479 2240 9 0 3910609 0
[pid=1016/tid=1018] ppid=1014 vsize=15679560 CPUtime=6.53 cores=0,2,4,6
/proc/1016/task/1018/stat : 1018 (java) R 1014 1016 32546 0 -1 4202560 127094 0 1 0 635 18 0 0 21 0 18 0 530341925 16055869440 151479 33554432000 1073741824 1073778376 140735498410832 18446744073709551615 274676635083 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=1016/tid=1019] ppid=1014 vsize=15679560 CPUtime=0.02 cores=0,2,4,6
/proc/1016/task/1019/stat : 1019 (java) S 1014 1016 32546 0 -1 4202560 46 0 0 0 2 0 0 0 15 0 18 0 530341925 16055869440 151479 33554432000 1073741824 1073778376 140735498410832 18446744073709551615 274676624281 0 4 0 16800975 18446604448293766144 0 0 -1 2 0 0 0
[pid=1016/tid=1020] ppid=1014 vsize=15679560 CPUtime=0.01 cores=0,2,4,6
/proc/1016/task/1020/stat : 1020 (java) S 1014 1016 32546 0 -1 4202560 5134 0 0 0 1 0 0 0 15 0 18 0 530341925 16055869440 151479 33554432000 1073741824 1073778376 140735498410832 18446744073709551615 274676624281 0 4 0 16800975 18446604448293766144 0 0 -1 4 0 0 0
[pid=1016/tid=1021] ppid=1014 vsize=15679560 CPUtime=0.01 cores=0,2,4,6
/proc/1016/task/1021/stat : 1021 (java) S 1014 1016 32546 0 -1 4202560 251 0 0 0 1 0 0 0 15 0 18 0 530341925 16055869440 151479 33554432000 1073741824 1073778376 140735498410832 18446744073709551615 274676624281 0 4 0 16800975 18446604448293766144 0 0 -1 0 0 0 0
[pid=1016/tid=1022] ppid=1014 vsize=15679560 CPUtime=0.01 cores=0,2,4,6
/proc/1016/task/1022/stat : 1022 (java) S 1014 1016 32546 0 -1 4202560 1499 0 0 0 1 0 0 0 15 0 18 0 530341925 16055869440 151479 33554432000 1073741824 1073778376 140735498410832 18446744073709551615 274676624281 0 4 0 16800975 18446604448293766144 0 0 -1 2 0 0 0
[pid=1016/tid=1023] ppid=1014 vsize=15679560 CPUtime=0.01 cores=0,2,4,6
/proc/1016/task/1023/stat : 1023 (java) S 1014 1016 32546 0 -1 4202560 1340 0 0 0 1 0 0 0 16 0 18 0 530341925 16055869440 151479 33554432000 1073741824 1073778376 140735498410832 18446744073709551615 274676624281 0 4 0 16800975 18446604448293766144 0 0 -1 4 0 0 0
[pid=1016/tid=1024] ppid=1014 vsize=15679560 CPUtime=0.01 cores=0,2,4,6
/proc/1016/task/1024/stat : 1024 (java) S 1014 1016 32546 0 -1 4202560 3734 0 0 0 1 0 0 0 16 0 18 0 530341925 16055869440 151479 33554432000 1073741824 1073778376 140735498410832 18446744073709551615 274676624281 0 4 0 16800975 18446604448293766144 0 0 -1 0 0 0 0
[pid=1016/tid=1025] ppid=1014 vsize=15679560 CPUtime=0.01 cores=0,2,4,6
/proc/1016/task/1025/stat : 1025 (java) S 1014 1016 32546 0 -1 4202560 10506 0 0 0 1 0 0 0 15 0 18 0 530341925 16055869440 151479 33554432000 1073741824 1073778376 140735498410832 18446744073709551615 274676624281 0 4 0 16800975 18446604448293766144 0 0 -1 4 0 0 0
[pid=1016/tid=1026] ppid=1014 vsize=15679560 CPUtime=0.01 cores=0,2,4,6
/proc/1016/task/1026/stat : 1026 (java) S 1014 1016 32546 0 -1 4202560 381 0 0 0 1 0 0 0 15 0 18 0 530341925 16055869440 151479 33554432000 1073741824 1073778376 140735498410832 18446744073709551615 274676624281 0 4 0 16800975 18446604448293766144 0 0 -1 0 0 0 0
[pid=1016/tid=1027] ppid=1014 vsize=15679560 CPUtime=0 cores=0,2,4,6
/proc/1016/task/1027/stat : 1027 (java) S 1014 1016 32546 0 -1 4202560 478 0 0 0 0 0 0 0 15 0 18 0 530341926 16055869440 151479 33554432000 1073741824 1073778376 140735498410832 18446744073709551615 274676624896 0 0 0 16800975 18446604448293766144 0 0 -1 2 0 0 0
[pid=1016/tid=1028] ppid=1014 vsize=15679560 CPUtime=0 cores=0,2,4,6
/proc/1016/task/1028/stat : 1028 (java) S 1014 1016 32546 0 -1 4202560 18 0 0 0 0 0 0 0 19 0 18 0 530341927 16055869440 151479 33554432000 1073741824 1073778376 140735498410832 18446744073709551615 274676624281 0 4 0 16800975 18446604448293766144 0 0 -1 2 0 0 0
[pid=1016/tid=1029] ppid=1014 vsize=15679560 CPUtime=0 cores=0,2,4,6
/proc/1016/task/1029/stat : 1029 (java) S 1014 1016 32546 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 18 0 530341927 16055869440 151479 33554432000 1073741824 1073778376 140735498410832 18446744073709551615 274676624281 0 4 0 16800975 18446604448293766144 0 0 -1 6 0 0 0
[pid=1016/tid=1030] ppid=1014 vsize=15679560 CPUtime=0 cores=0,2,4,6
/proc/1016/task/1030/stat : 1030 (java) S 1014 1016 32546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 530341929 16055869440 151479 33554432000 1073741824 1073778376 140735498410832 18446744073709551615 274676631985 0 4 0 16800975 18446604448293766144 0 0 -1 6 0 0 0
[pid=1016/tid=1031] ppid=1014 vsize=15679560 CPUtime=0.11 cores=0,2,4,6
/proc/1016/task/1031/stat : 1031 (java) S 1014 1016 32546 0 -1 4202560 2316 0 0 0 11 0 0 0 15 0 18 0 530341929 16055869440 151479 33554432000 1073741824 1073778376 140735498410832 18446744073709551615 274676624281 0 4 0 16800975 18446604448293766144 0 0 -1 4 0 0 0
[pid=1016/tid=1032] ppid=1014 vsize=15679560 CPUtime=0.14 cores=0,2,4,6
/proc/1016/task/1032/stat : 1032 (java) S 1014 1016 32546 0 -1 4202560 1537 0 0 0 14 0 0 0 15 0 18 0 530341929 16055869440 151479 33554432000 1073741824 1073778376 140735498410832 18446744073709551615 274676624281 0 4 0 16800975 18446604448293766144 0 0 -1 2 0 0 0
[pid=1016/tid=1033] ppid=1014 vsize=15679560 CPUtime=0 cores=0,2,4,6
/proc/1016/task/1033/stat : 1033 (java) S 1014 1016 32546 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 530341929 16055869440 151479 33554432000 1073741824 1073778376 140735498410832 18446744073709551615 274676624281 0 4 0 16800975 18446604448293766144 0 0 -1 6 0 0 0
[pid=1016/tid=1034] ppid=1014 vsize=15679560 CPUtime=0 cores=0,2,4,6
/proc/1016/task/1034/stat : 1034 (java) S 1014 1016 32546 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 530341929 16055869440 151479 33554432000 1073741824 1073778376 140735498410832 18446744073709551615 274676624896 0 4 0 16800975 18446604448293766144 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.97
Current children cumulated vsize (KiB) 15679560

[startup+14.7937 s]
/proc/loadavg: 5.92 7.53 7.54 4/190 1034
/proc/meminfo: memFree=30161440/32951132 swapFree=67111356/67111528
[pid=1016] ppid=1014 vsize=15683672 CPUtime=15.54 cores=0,2,4,6
/proc/1016/stat : 1016 (java) S 1014 1016 32546 0 -1 4202496 290956 0 1 0 1513 41 0 0 17 0 22 0 530341924 16060080128 284286 33554432000 1073741824 1073778376 140735498410832 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/1016/statm: 3920918 284286 2271 9 0 3911637 0
[pid=1016/tid=1018] ppid=1014 vsize=15683672 CPUtime=14.36 cores=0,2,4,6
/proc/1016/task/1018/stat : 1018 (java) R 1014 1016 32546 0 -1 4202560 190908 0 1 0 1409 27 0 0 16 0 22 0 530341925 16060080128 284286 33554432000 1073741824 1073778376 140735498410832 18446744073709551615 46912505721724 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=1016/tid=1019] ppid=1014 vsize=15683672 CPUtime=0.06 cores=0,2,4,6
/proc/1016/task/1019/stat : 1019 (java) S 1014 1016 32546 0 -1 4202560 4817 0 0 0 5 1 0 0 16 0 22 0 530341925 16060080128 284286 33554432000 1073741824 1073778376 140735498410832 18446744073709551615 274676624281 0 4 0 16800975 18446604448293766144 0 0 -1 0 0 0 0
[pid=1016/tid=1020] ppid=1014 vsize=15683672 CPUtime=0.11 cores=0,2,4,6
/proc/1016/task/1020/stat : 1020 (java) S 1014 1016 32546 0 -1 4202560 17571 0 0 0 9 2 0 0 16 0 22 0 530341925 16060080128 284286 33554432000 1073741824 1073778376 140735498410832 18446744073709551615 274676624281 0 4 0 16800975 18446604448293766144 0 0 -1 0 0 0 0
[pid=1016/tid=1021] ppid=1014 vsize=15683672 CPUtime=0.02 cores=0,2,4,6
/proc/1016/task/1021/stat : 1021 (java) S 1014 1016 32546 0 -1 4202560 291 0 0 0 2 0 0 0 15 0 22 0 530341925 16060080128 284286 33554432000 1073741824 1073778376 140735498410832 18446744073709551615 274676624281 0 4 0 16800975 18446604448293766144 0 0 -1 6 0 0 0
[pid=1016/tid=1022] ppid=1014 vsize=15683672 CPUtime=0.09 cores=0,2,4,6
/proc/1016/task/1022/stat : 1022 (java) S 1014 1016 32546 0 -1 4202560 21816 0 0 0 7 2 0 0 16 0 22 0 530341925 16060080128 284286 33554432000 1073741824 1073778376 140735498410832 18446744073709551615 274676624281 0 4 0 16800975 18446604448293766144 0 0 -1 4 0 0 0
[pid=1016/tid=1023] ppid=1014 vsize=15683672 CPUtime=0.1 cores=0,2,4,6
/proc/1016/task/1023/stat : 1023 (java) S 1014 1016 32546 0 -1 4202560 13547 0 0 0 9 1 0 0 16 0 22 0 530341925 16060080128 284286 33554432000 1073741824 1073778376 140735498410832 18446744073709551615 274676624281 0 4 0 16800975 18446604448293766144 0 0 -1 6 0 0 0
[pid=1016/tid=1024] ppid=1014 vsize=15683672 CPUtime=0.03 cores=0,2,4,6
/proc/1016/task/1024/stat : 1024 (java) S 1014 1016 32546 0 -1 4202560 3751 0 0 0 3 0 0 0 15 0 22 0 530341925 16060080128 284286 33554432000 1073741824 1073778376 140735498410832 18446744073709551615 274676624281 0 4 0 16800975 18446604448293766144 0 0 -1 6 0 0 0
[pid=1016/tid=1025] ppid=1014 vsize=15683672 CPUtime=0.06 cores=0,2,4,6
/proc/1016/task/1025/stat : 1025 (java) S 1014 1016 32546 0 -1 4202560 31042 0 0 0 3 3 0 0 15 0 22 0 530341925 16060080128 284286 33554432000 1073741824 1073778376 140735498410832 18446744073709551615 274676624281 0 4 0 16800975 18446604448293766144 0 0 -1 4 0 0 0
[pid=1016/tid=1026] ppid=1014 vsize=15683672 CPUtime=0.02 cores=0,2,4,6
/proc/1016/task/1026/stat : 1026 (java) S 1014 1016 32546 0 -1 4202560 416 0 0 0 2 0 0 0 15 0 22 0 530341925 16060080128 284286 33554432000 1073741824 1073778376 140735498410832 18446744073709551615 274676624281 0 4 0 16800975 18446604448293766144 0 0 -1 0 0 0 0
[pid=1016/tid=1027] ppid=1014 vsize=15683672 CPUtime=0.2 cores=0,2,4,6
/proc/1016/task/1027/stat : 1027 (java) S 1014 1016 32546 0 -1 4202560 931 0 0 0 20 0 0 0 16 0 22 0 530341926 16060080128 284286 33554432000 1073741824 1073778376 140735498410832 18446744073709551615 274676624896 0 0 0 16800975 18446604448293766144 0 0 -1 2 0 0 0
[pid=1016/tid=1028] ppid=1014 vsize=15683672 CPUtime=0 cores=0,2,4,6
/proc/1016/task/1028/stat : 1028 (java) S 1014 1016 32546 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 22 0 530341927 16060080128 284286 33554432000 1073741824 1073778376 140735498410832 18446744073709551615 274676624281 0 4 0 16800975 18446604448293766144 0 0 -1 2 0 0 0
[pid=1016/tid=1029] ppid=1014 vsize=15683672 CPUtime=0 cores=0,2,4,6
/proc/1016/task/1029/stat : 1029 (java) S 1014 1016 32546 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 22 0 530341927 16060080128 284286 33554432000 1073741824 1073778376 140735498410832 18446744073709551615 274676624281 0 4 0 16800975 18446604448293766144 0 0 -1 0 0 0 0
[pid=1016/tid=1030] ppid=1014 vsize=15683672 CPUtime=0 cores=0,2,4,6
/proc/1016/task/1030/stat : 1030 (java) S 1014 1016 32546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 530341929 16060080128 284286 33554432000 1073741824 1073778376 140735498410832 18446744073709551615 274676631985 0 4 0 16800975 18446604448293766144 0 0 -1 6 0 0 0
[pid=1016/tid=1031] ppid=1014 vsize=15683672 CPUtime=0.18 cores=0,2,4,6
/proc/1016/task/1031/stat : 1031 (java) S 1014 1016 32546 0 -1 4202560 2858 0 0 0 18 0 0 0 15 0 22 0 530341929 16060080128 284286 33554432000 1073741824 1073778376 140735498410832 18446744073709551615 274676624281 0 4 0 16800975 18446604448293766144 0 0 -1 4 0 0 0
[pid=1016/tid=1032] ppid=1014 vsize=15683672 CPUtime=0.19 cores=0,2,4,6
/proc/1016/task/1032/stat : 1032 (java) S 1014 1016 32546 0 -1 4202560 1561 0 0 0 19 0 0 0 15 0 22 0 530341929 16060080128 284286 33554432000 1073741824 1073778376 140735498410832 18446744073709551615 274676624281 0 4 0 16800975 18446604448293766144 0 0 -1 2 0 0 0
[pid=1016/tid=1033] ppid=1014 vsize=15683672 CPUtime=0 cores=0,2,4,6
/proc/1016/task/1033/stat : 1033 (java) S 1014 1016 32546 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 530341929 16060080128 284286 33554432000 1073741824 1073778376 140735498410832 18446744073709551615 274676624281 0 4 0 16800975 18446604448293766144 0 0 -1 6 0 0 0
[pid=1016/tid=1034] ppid=1014 vsize=15683672 CPUtime=0 cores=0,2,4,6
/proc/1016/task/1034/stat : 1034 (java) S 1014 1016 32546 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 530341929 16060080128 284286 33554432000 1073741824 1073778376 140735498410832 18446744073709551615 274676624896 0 4 0 16800975 18446604448293766144 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 15.54
Current children cumulated vsize (KiB) 15683672

[startup+14.8017 s]
/proc/loadavg: 5.92 7.53 7.54 4/190 1034
/proc/meminfo: memFree=30161440/32951132 swapFree=67111356/67111528
[pid=1016] ppid=1014 vsize=15683672 CPUtime=15.55 cores=0,2,4,6
/proc/1016/stat : 1016 (java) S 1014 1016 32546 0 -1 4202496 290956 0 1 0 1514 41 0 0 17 0 22 0 530341924 16060080128 284286 33554432000 1073741824 1073778376 140735498410832 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/1016/statm: 3920918 284286 2271 9 0 3911637 0
[pid=1016/tid=1018] ppid=1014 vsize=15683672 CPUtime=14.37 cores=0,2,4,6

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

/proc/1016/task/1021/stat : 1021 (java) S 1014 1016 32546 0 -1 4202560 451221 0 0 0 849 75 0 0 16 0 22 0 530341925 16065110016 3594689 33554432000 1073741824 1073778376 140735498410832 18446744073709551615 274676624281 0 4 0 16800975 18446604448293766144 0 0 -1 2 0 0 0
[pid=1016/tid=1022] ppid=1014 vsize=15688584 CPUtime=9.34 cores=0,2,4,6
/proc/1016/task/1022/stat : 1022 (java) S 1014 1016 32546 0 -1 4202560 383478 0 0 0 864 70 0 0 16 0 22 0 530341925 16065110016 3594689 33554432000 1073741824 1073778376 140735498410832 18446744073709551615 274676624281 0 4 0 16800975 18446604448293766144 0 0 -1 6 0 0 0
[pid=1016/tid=1023] ppid=1014 vsize=15688584 CPUtime=8.98 cores=0,2,4,6
/proc/1016/task/1023/stat : 1023 (java) S 1014 1016 32546 0 -1 4202560 339997 0 0 0 841 57 0 0 15 0 22 0 530341925 16065110016 3594689 33554432000 1073741824 1073778376 140735498410832 18446744073709551615 274676624281 0 4 0 16800975 18446604448293766144 0 0 -1 2 0 0 0
[pid=1016/tid=1024] ppid=1014 vsize=15688584 CPUtime=9.2 cores=0,2,4,6
/proc/1016/task/1024/stat : 1024 (java) S 1014 1016 32546 0 -1 4202560 451191 0 0 0 844 76 0 0 16 0 22 0 530341925 16065110016 3594689 33554432000 1073741824 1073778376 140735498410832 18446744073709551615 274676624281 0 4 0 16800975 18446604448293766144 0 0 -1 2 0 0 0
[pid=1016/tid=1025] ppid=1014 vsize=15688584 CPUtime=8.84 cores=0,2,4,6
/proc/1016/task/1025/stat : 1025 (java) S 1014 1016 32546 0 -1 4202560 428090 0 0 0 810 74 0 0 16 0 22 0 530341925 16065110016 3594689 33554432000 1073741824 1073778376 140735498410832 18446744073709551615 274676624281 0 4 0 16800975 18446604448293766144 0 0 -1 0 0 0 0
[pid=1016/tid=1026] ppid=1014 vsize=15688584 CPUtime=8.32 cores=0,2,4,6
/proc/1016/task/1026/stat : 1026 (java) S 1014 1016 32546 0 -1 4202560 460661 0 0 0 758 74 0 0 16 0 22 0 530341925 16065110016 3594689 33554432000 1073741824 1073778376 140735498410832 18446744073709551615 274676624281 0 4 0 16800975 18446604448293766144 0 0 -1 6 0 0 0
[pid=1016/tid=1027] ppid=1014 vsize=15688584 CPUtime=10.96 cores=0,2,4,6
/proc/1016/task/1027/stat : 1027 (java) S 1014 1016 32546 0 -1 4202560 183910 0 0 0 1076 20 0 0 15 0 22 0 530341926 16065110016 3594689 33554432000 1073741824 1073778376 140735498410832 18446744073709551615 274676624896 0 0 0 16800975 18446604448293766144 0 0 -1 6 0 0 0
[pid=1016/tid=1028] ppid=1014 vsize=15688584 CPUtime=0 cores=0,2,4,6
/proc/1016/task/1028/stat : 1028 (java) S 1014 1016 32546 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 22 0 530341927 16065110016 3594689 33554432000 1073741824 1073778376 140735498410832 18446744073709551615 274676624281 0 4 0 16800975 18446604448293766144 0 0 -1 2 0 0 0
[pid=1016/tid=1029] ppid=1014 vsize=15688584 CPUtime=0 cores=0,2,4,6
/proc/1016/task/1029/stat : 1029 (java) S 1014 1016 32546 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 22 0 530341927 16065110016 3594689 33554432000 1073741824 1073778376 140735498410832 18446744073709551615 274676624281 0 4 0 16800975 18446604448293766144 0 0 -1 0 0 0 0
[pid=1016/tid=1030] ppid=1014 vsize=15688584 CPUtime=0 cores=0,2,4,6
/proc/1016/task/1030/stat : 1030 (java) S 1014 1016 32546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 530341929 16065110016 3594689 33554432000 1073741824 1073778376 140735498410832 18446744073709551615 274676631985 0 4 0 16800975 18446604448293766144 0 0 -1 6 0 0 0
[pid=1016/tid=1031] ppid=1014 vsize=15688584 CPUtime=2.14 cores=0,2,4,6
/proc/1016/task/1031/stat : 1031 (java) S 1014 1016 32546 0 -1 4202560 16658 0 0 0 212 2 0 0 15 0 22 0 530341929 16065110016 3594689 33554432000 1073741824 1073778376 140735498410832 18446744073709551615 274676624281 0 4 0 16800975 18446604448293766144 0 0 -1 4 0 0 0
[pid=1016/tid=1032] ppid=1014 vsize=15688584 CPUtime=2.16 cores=0,2,4,6
/proc/1016/task/1032/stat : 1032 (java) S 1014 1016 32546 0 -1 4202560 14779 0 0 0 215 1 0 0 15 0 22 0 530341929 16065110016 3594689 33554432000 1073741824 1073778376 140735498410832 18446744073709551615 274676624281 0 4 0 16800975 18446604448293766144 0 0 -1 2 0 0 0
[pid=1016/tid=1033] ppid=1014 vsize=15688584 CPUtime=0 cores=0,2,4,6
/proc/1016/task/1033/stat : 1033 (java) S 1014 1016 32546 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 530341929 16065110016 3594689 33554432000 1073741824 1073778376 140735498410832 18446744073709551615 274676624281 0 4 0 16800975 18446604448293766144 0 0 -1 6 0 0 0
[pid=1016/tid=1034] ppid=1014 vsize=15688584 CPUtime=0 cores=0,2,4,6
/proc/1016/task/1034/stat : 1034 (java) S 1014 1016 32546 0 -1 4202560 65 0 0 0 0 0 0 0 15 0 22 0 530341929 16065110016 3594689 33554432000 1073741824 1073778376 140735498410832 18446744073709551615 274676624896 0 4 0 16800975 18446604448293766144 0 0 -1 0 0 0 0
[pid=1016/tid=1058] ppid=1014 vsize=15688584 CPUtime=999.12 cores=0,2,4,6
/proc/1016/task/1058/stat : 1058 (java) R 1014 1016 32546 0 -1 4202560 41 0 0 0 99905 7 0 0 25 0 22 0 530343292 16065110016 3594689 33554432000 1073741824 1073778376 140735498410832 18446744073709551615 47790701922370 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=1016/tid=1059] ppid=1014 vsize=15688584 CPUtime=932.89 cores=0,2,4,6
/proc/1016/task/1059/stat : 1059 (java) R 1014 1016 32546 0 -1 4202560 59 0 0 0 93284 5 0 0 25 0 22 0 530343292 16065110016 3594689 33554432000 1073741824 1073778376 140735498410832 18446744073709551615 46912506280191 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=1016/tid=1060] ppid=1014 vsize=15688584 CPUtime=1062.58 cores=0,2,4,6
/proc/1016/task/1060/stat : 1060 (java) R 1014 1016 32546 0 -1 4202560 81 0 0 0 106258 0 0 0 25 0 22 0 530343292 16065110016 3594689 33554432000 1073741824 1073778376 140735498410832 18446744073709551615 46912506458824 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=1016/tid=1061] ppid=1014 vsize=15688584 CPUtime=1006.6 cores=0,2,4,6
/proc/1016/task/1061/stat : 1061 (java) R 1014 1016 32546 0 -1 4202560 46 0 0 0 100644 16 0 0 25 0 22 0 530343292 16065110016 3594689 33554432000 1073741824 1073778376 140735498410832 18446744073709551615 46912506280640 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4171.22
Current children cumulated vsize (KiB) 15688584

[startup+1242.3 s]
/proc/loadavg: 8.21 8.06 7.56 9/218 1098
/proc/meminfo: memFree=1790344/32951132 swapFree=67111356/67111528
[pid=1016] ppid=1014 vsize=15688584 CPUtime=4404.12 cores=0,2,4,6
/proc/1016/stat : 1016 (java) S 1014 1016 32546 0 -1 4202496 3776521 0 1 0 439757 655 0 0 17 0 22 0 530341924 16065110016 3639360 33554432000 1073741824 1073778376 140735498410832 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/1016/statm: 3922146 3639360 2297 9 0 3912865 0
[pid=1016/tid=1018] ppid=1014 vsize=15688584 CPUtime=82.94 cores=0,2,4,6
/proc/1016/task/1018/stat : 1018 (java) S 1014 1016 32546 0 -1 4202560 230149 0 1 0 8258 36 0 0 25 0 22 0 530341925 16065110016 3639360 33554432000 1073741824 1073778376 140735498410832 18446744073709551615 274676624281 0 4 0 16800975 18446604448293766144 0 0 -1 0 0 0 0
[pid=1016/tid=1019] ppid=1014 vsize=15688584 CPUtime=8.61 cores=0,2,4,6
/proc/1016/task/1019/stat : 1019 (java) S 1014 1016 32546 0 -1 4202560 407794 0 0 0 796 65 0 0 16 0 22 0 530341925 16065110016 3639360 33554432000 1073741824 1073778376 140735498410832 18446744073709551615 274676624281 0 4 0 16800975 18446604448293766144 0 0 -1 2 0 0 0
[pid=1016/tid=1020] ppid=1014 vsize=15688584 CPUtime=9.82 cores=0,2,4,6
/proc/1016/task/1020/stat : 1020 (java) S 1014 1016 32546 0 -1 4202560 381616 0 0 0 921 61 0 0 16 0 22 0 530341925 16065110016 3639360 33554432000 1073741824 1073778376 140735498410832 18446744073709551615 274676624281 0 4 0 16800975 18446604448293766144 0 0 -1 4 0 0 0
[pid=1016/tid=1021] ppid=1014 vsize=15688584 CPUtime=9.69 cores=0,2,4,6
/proc/1016/task/1021/stat : 1021 (java) S 1014 1016 32546 0 -1 4202560 451224 0 0 0 894 75 0 0 16 0 22 0 530341925 16065110016 3639360 33554432000 1073741824 1073778376 140735498410832 18446744073709551615 274676624281 0 4 0 16800975 18446604448293766144 0 0 -1 0 0 0 0
[pid=1016/tid=1022] ppid=1014 vsize=15688584 CPUtime=9.7 cores=0,2,4,6
/proc/1016/task/1022/stat : 1022 (java) S 1014 1016 32546 0 -1 4202560 389499 0 0 0 899 71 0 0 16 0 22 0 530341925 16065110016 3639360 33554432000 1073741824 1073778376 140735498410832 18446744073709551615 274676624281 0 4 0 16800975 18446604448293766144 0 0 -1 4 0 0 0
[pid=1016/tid=1023] ppid=1014 vsize=15688584 CPUtime=9.16 cores=0,2,4,6
/proc/1016/task/1023/stat : 1023 (java) S 1014 1016 32546 0 -1 4202560 339997 0 0 0 859 57 0 0 16 0 22 0 530341925 16065110016 3639360 33554432000 1073741824 1073778376 140735498410832 18446744073709551615 274676624281 0 4 0 16800975 18446604448293766144 0 0 -1 2 0 0 0
[pid=1016/tid=1024] ppid=1014 vsize=15688584 CPUtime=9.61 cores=0,2,4,6
/proc/1016/task/1024/stat : 1024 (java) S 1014 1016 32546 0 -1 4202560 461015 0 0 0 884 77 0 0 16 0 22 0 530341925 16065110016 3639360 33554432000 1073741824 1073778376 140735498410832 18446744073709551615 274676624281 0 4 0 16800975 18446604448293766144 0 0 -1 6 0 0 0
[pid=1016/tid=1025] ppid=1014 vsize=15688584 CPUtime=9.1 cores=0,2,4,6
/proc/1016/task/1025/stat : 1025 (java) S 1014 1016 32546 0 -1 4202560 428096 0 0 0 836 74 0 0 16 0 22 0 530341925 16065110016 3639360 33554432000 1073741824 1073778376 140735498410832 18446744073709551615 274676624281 0 4 0 16800975 18446604448293766144 0 0 -1 4 0 0 0
[pid=1016/tid=1026] ppid=1014 vsize=15688584 CPUtime=8.85 cores=0,2,4,6
/proc/1016/task/1026/stat : 1026 (java) S 1014 1016 32546 0 -1 4202560 469447 0 0 0 809 76 0 0 16 0 22 0 530341925 16065110016 3639360 33554432000 1073741824 1073778376 140735498410832 18446744073709551615 274676624281 0 4 0 16800975 18446604448293766144 0 0 -1 0 0 0 0
[pid=1016/tid=1027] ppid=1014 vsize=15688584 CPUtime=13.18 cores=0,2,4,6
/proc/1016/task/1027/stat : 1027 (java) S 1014 1016 32546 0 -1 4202560 184560 0 0 0 1298 20 0 0 15 0 22 0 530341926 16065110016 3639360 33554432000 1073741824 1073778376 140735498410832 18446744073709551615 274676624896 0 0 0 16800975 18446604448293766144 0 0 -1 6 0 0 0
[pid=1016/tid=1028] ppid=1014 vsize=15688584 CPUtime=0 cores=0,2,4,6
/proc/1016/task/1028/stat : 1028 (java) S 1014 1016 32546 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 22 0 530341927 16065110016 3639360 33554432000 1073741824 1073778376 140735498410832 18446744073709551615 274676624281 0 4 0 16800975 18446604448293766144 0 0 -1 2 0 0 0
[pid=1016/tid=1029] ppid=1014 vsize=15688584 CPUtime=0 cores=0,2,4,6
/proc/1016/task/1029/stat : 1029 (java) S 1014 1016 32546 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 22 0 530341927 16065110016 3639360 33554432000 1073741824 1073778376 140735498410832 18446744073709551615 274676624281 0 4 0 16800975 18446604448293766144 0 0 -1 0 0 0 0
[pid=1016/tid=1030] ppid=1014 vsize=15688584 CPUtime=0 cores=0,2,4,6
/proc/1016/task/1030/stat : 1030 (java) S 1014 1016 32546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 530341929 16065110016 3639360 33554432000 1073741824 1073778376 140735498410832 18446744073709551615 274676631985 0 4 0 16800975 18446604448293766144 0 0 -1 6 0 0 0
[pid=1016/tid=1031] ppid=1014 vsize=15688584 CPUtime=2.14 cores=0,2,4,6
/proc/1016/task/1031/stat : 1031 (java) S 1014 1016 32546 0 -1 4202560 16658 0 0 0 212 2 0 0 15 0 22 0 530341929 16065110016 3639360 33554432000 1073741824 1073778376 140735498410832 18446744073709551615 274676624281 0 4 0 16800975 18446604448293766144 0 0 -1 4 0 0 0
[pid=1016/tid=1032] ppid=1014 vsize=15688584 CPUtime=2.16 cores=0,2,4,6
/proc/1016/task/1032/stat : 1032 (java) S 1014 1016 32546 0 -1 4202560 14779 0 0 0 215 1 0 0 15 0 22 0 530341929 16065110016 3639360 33554432000 1073741824 1073778376 140735498410832 18446744073709551615 274676624281 0 4 0 16800975 18446604448293766144 0 0 -1 2 0 0 0
[pid=1016/tid=1033] ppid=1014 vsize=15688584 CPUtime=0 cores=0,2,4,6
/proc/1016/task/1033/stat : 1033 (java) S 1014 1016 32546 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 530341929 16065110016 3639360 33554432000 1073741824 1073778376 140735498410832 18446744073709551615 274676624281 0 4 0 16800975 18446604448293766144 0 0 -1 6 0 0 0
[pid=1016/tid=1034] ppid=1014 vsize=15688584 CPUtime=0 cores=0,2,4,6
/proc/1016/task/1034/stat : 1034 (java) S 1014 1016 32546 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 22 0 530341929 16065110016 3639360 33554432000 1073741824 1073778376 140735498410832 18446744073709551615 274676624896 0 4 0 16800975 18446604448293766144 0 0 -1 0 0 0 0
[pid=1016/tid=1058] ppid=1014 vsize=15688584 CPUtime=1056.16 cores=0,2,4,6
/proc/1016/task/1058/stat : 1058 (java) R 1014 1016 32546 0 -1 4202560 42 0 0 0 105609 7 0 0 25 0 22 0 530343292 16065110016 3639360 33554432000 1073741824 1073778376 140735498410832 18446744073709551615 46912506280689 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=1016/tid=1059] ppid=1014 vsize=15688584 CPUtime=989.89 cores=0,2,4,6
/proc/1016/task/1059/stat : 1059 (java) R 1014 1016 32546 0 -1 4202560 62 0 0 0 98982 7 0 0 25 0 22 0 530343292 16065110016 3639360 33554432000 1073741824 1073778376 140735498410832 18446744073709551615 46912505977760 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=1016/tid=1060] ppid=1014 vsize=15688584 CPUtime=1119.28 cores=0,2,4,6
/proc/1016/task/1060/stat : 1060 (java) R 1014 1016 32546 0 -1 4202560 81 0 0 0 111928 0 0 0 25 0 22 0 530343292 16065110016 3639360 33554432000 1073741824 1073778376 140735498410832 18446744073709551615 46912506255978 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=1016/tid=1061] ppid=1014 vsize=15688584 CPUtime=1063.64 cores=0,2,4,6
/proc/1016/task/1061/stat : 1061 (java) R 1014 1016 32546 0 -1 4202560 47 0 0 0 106348 16 0 0 25 0 22 0 530343292 16065110016 3639360 33554432000 1073741824 1073778376 140735498410832 18446744073709551615 46912506255644 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4404.12
Current children cumulated vsize (KiB) 15688584



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 8.13 8.06 7.58 12/218 1099
/proc/meminfo: memFree=1789916/32951132 swapFree=67111356/67111528
[pid=1016] ppid=1014 vsize=15688584 CPUtime=4634.55 cores=0,2,4,6
/proc/1016/stat : 1016 (java) S 1014 1016 32546 0 -1 4202496 3776578 0 1 0 462796 659 0 0 17 0 22 0 530341924 16065110016 3639359 33554432000 1073741824 1073778376 140735498410832 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/1016/statm: 3922146 3639359 2297 9 0 3912865 0
[pid=1016/tid=1018] ppid=1014 vsize=15688584 CPUtime=82.94 cores=0,2,4,6
/proc/1016/task/1018/stat : 1018 (java) S 1014 1016 32546 0 -1 4202560 230149 0 1 0 8258 36 0 0 25 0 22 0 530341925 16065110016 3639359 33554432000 1073741824 1073778376 140735498410832 18446744073709551615 274676624281 0 4 0 16800975 18446604448293766144 0 0 -1 0 0 0 0
[pid=1016/tid=1019] ppid=1014 vsize=15688584 CPUtime=8.92 cores=0,2,4,6
/proc/1016/task/1019/stat : 1019 (java) S 1014 1016 32546 0 -1 4202560 407794 0 0 0 827 65 0 0 15 0 22 0 530341925 16065110016 3639359 33554432000 1073741824 1073778376 140735498410832 18446744073709551615 274676624281 0 4 0 16800975 18446604448293766144 0 0 -1 2 0 0 0
[pid=1016/tid=1020] ppid=1014 vsize=15688584 CPUtime=10.26 cores=0,2,4,6
/proc/1016/task/1020/stat : 1020 (java) S 1014 1016 32546 0 -1 4202560 381624 0 0 0 965 61 0 0 16 0 22 0 530341925 16065110016 3639359 33554432000 1073741824 1073778376 140735498410832 18446744073709551615 274676624281 0 4 0 16800975 18446604448293766144 0 0 -1 6 0 0 0
[pid=1016/tid=1021] ppid=1014 vsize=15688584 CPUtime=9.99 cores=0,2,4,6
/proc/1016/task/1021/stat : 1021 (java) S 1014 1016 32546 0 -1 4202560 451224 0 0 0 924 75 0 0 16 0 22 0 530341925 16065110016 3639359 33554432000 1073741824 1073778376 140735498410832 18446744073709551615 274676624281 0 4 0 16800975 18446604448293766144 0 0 -1 4 0 0 0
[pid=1016/tid=1022] ppid=1014 vsize=15688584 CPUtime=10.19 cores=0,2,4,6
/proc/1016/task/1022/stat : 1022 (java) S 1014 1016 32546 0 -1 4202560 389501 0 0 0 948 71 0 0 16 0 22 0 530341925 16065110016 3639359 33554432000 1073741824 1073778376 140735498410832 18446744073709551615 274676624281 0 4 0 16800975 18446604448293766144 0 0 -1 0 0 0 0
[pid=1016/tid=1023] ppid=1014 vsize=15688584 CPUtime=9.57 cores=0,2,4,6
/proc/1016/task/1023/stat : 1023 (java) S 1014 1016 32546 0 -1 4202560 340001 0 0 0 900 57 0 0 16 0 22 0 530341925 16065110016 3639359 33554432000 1073741824 1073778376 140735498410832 18446744073709551615 274676624281 0 4 0 16800975 18446604448293766144 0 0 -1 2 0 0 0
[pid=1016/tid=1024] ppid=1014 vsize=15688584 CPUtime=10.17 cores=0,2,4,6
/proc/1016/task/1024/stat : 1024 (java) S 1014 1016 32546 0 -1 4202560 461023 0 0 0 940 77 0 0 16 0 22 0 530341925 16065110016 3639359 33554432000 1073741824 1073778376 140735498410832 18446744073709551615 274676624281 0 4 0 16800975 18446604448293766144 0 0 -1 0 0 0 0
[pid=1016/tid=1025] ppid=1014 vsize=15688584 CPUtime=9.44 cores=0,2,4,6
/proc/1016/task/1025/stat : 1025 (java) S 1014 1016 32546 0 -1 4202560 428100 0 0 0 870 74 0 0 16 0 22 0 530341925 16065110016 3639359 33554432000 1073741824 1073778376 140735498410832 18446744073709551615 274676624281 0 4 0 16800975 18446604448293766144 0 0 -1 4 0 0 0
[pid=1016/tid=1026] ppid=1014 vsize=15688584 CPUtime=9.12 cores=0,2,4,6
/proc/1016/task/1026/stat : 1026 (java) S 1014 1016 32546 0 -1 4202560 469448 0 0 0 836 76 0 0 16 0 22 0 530341925 16065110016 3639359 33554432000 1073741824 1073778376 140735498410832 18446744073709551615 274676624281 0 4 0 16800975 18446604448293766144 0 0 -1 0 0 0 0
[pid=1016/tid=1027] ppid=1014 vsize=15688584 CPUtime=13.18 cores=0,2,4,6
/proc/1016/task/1027/stat : 1027 (java) S 1014 1016 32546 0 -1 4202560 184581 0 0 0 1298 20 0 0 15 0 22 0 530341926 16065110016 3639359 33554432000 1073741824 1073778376 140735498410832 18446744073709551615 274676624896 0 0 0 16800975 18446604448293766144 0 0 -1 6 0 0 0
[pid=1016/tid=1028] ppid=1014 vsize=15688584 CPUtime=0 cores=0,2,4,6
/proc/1016/task/1028/stat : 1028 (java) S 1014 1016 32546 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 22 0 530341927 16065110016 3639359 33554432000 1073741824 1073778376 140735498410832 18446744073709551615 274676624281 0 4 0 16800975 18446604448293766144 0 0 -1 2 0 0 0
[pid=1016/tid=1029] ppid=1014 vsize=15688584 CPUtime=0 cores=0,2,4,6
/proc/1016/task/1029/stat : 1029 (java) S 1014 1016 32546 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 22 0 530341927 16065110016 3639359 33554432000 1073741824 1073778376 140735498410832 18446744073709551615 274676624281 0 4 0 16800975 18446604448293766144 0 0 -1 0 0 0 0
[pid=1016/tid=1030] ppid=1014 vsize=15688584 CPUtime=0 cores=0,2,4,6
/proc/1016/task/1030/stat : 1030 (java) S 1014 1016 32546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 530341929 16065110016 3639359 33554432000 1073741824 1073778376 140735498410832 18446744073709551615 274676631985 0 4 0 16800975 18446604448293766144 0 0 -1 6 0 0 0
[pid=1016/tid=1031] ppid=1014 vsize=15688584 CPUtime=2.14 cores=0,2,4,6
/proc/1016/task/1031/stat : 1031 (java) S 1014 1016 32546 0 -1 4202560 16658 0 0 0 212 2 0 0 15 0 22 0 530341929 16065110016 3639359 33554432000 1073741824 1073778376 140735498410832 18446744073709551615 274676624281 0 4 0 16800975 18446604448293766144 0 0 -1 4 0 0 0
[pid=1016/tid=1032] ppid=1014 vsize=15688584 CPUtime=2.16 cores=0,2,4,6
/proc/1016/task/1032/stat : 1032 (java) S 1014 1016 32546 0 -1 4202560 14779 0 0 0 215 1 0 0 15 0 22 0 530341929 16065110016 3639359 33554432000 1073741824 1073778376 140735498410832 18446744073709551615 274676624281 0 4 0 16800975 18446604448293766144 0 0 -1 2 0 0 0
[pid=1016/tid=1033] ppid=1014 vsize=15688584 CPUtime=0 cores=0,2,4,6
/proc/1016/task/1033/stat : 1033 (java) S 1014 1016 32546 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 530341929 16065110016 3639359 33554432000 1073741824 1073778376 140735498410832 18446744073709551615 274676624281 0 4 0 16800975 18446604448293766144 0 0 -1 6 0 0 0
[pid=1016/tid=1034] ppid=1014 vsize=15688584 CPUtime=0 cores=0,2,4,6
/proc/1016/task/1034/stat : 1034 (java) S 1014 1016 32546 0 -1 4202560 73 0 0 0 0 0 0 0 15 0 22 0 530341929 16065110016 3639359 33554432000 1073741824 1073778376 140735498410832 18446744073709551615 274676624896 0 4 0 16800975 18446604448293766144 0 0 -1 0 0 0 0
[pid=1016/tid=1058] ppid=1014 vsize=15688584 CPUtime=1113.09 cores=0,2,4,6
/proc/1016/task/1058/stat : 1058 (java) R 1014 1016 32546 0 -1 4202560 43 0 0 0 111302 7 0 0 25 0 22 0 530343292 16065110016 3639359 33554432000 1073741824 1073778376 140735498410832 18446744073709551615 46912506482242 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=1016/tid=1059] ppid=1014 vsize=15688584 CPUtime=1046.78 cores=0,2,4,6
/proc/1016/task/1059/stat : 1059 (java) R 1014 1016 32546 0 -1 4202560 64 0 0 0 104668 10 0 0 25 0 22 0 530343292 16065110016 3639359 33554432000 1073741824 1073778376 140735498410832 18446744073709551615 46912506280227 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=1016/tid=1060] ppid=1014 vsize=15688584 CPUtime=1175.85 cores=0,2,4,6
/proc/1016/task/1060/stat : 1060 (java) R 1014 1016 32546 0 -1 4202560 82 0 0 0 117585 0 0 0 25 0 22 0 530343292 16065110016 3639359 33554432000 1073741824 1073778376 140735498410832 18446744073709551615 46912506231019 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=1016/tid=1061] ppid=1014 vsize=15688584 CPUtime=1120.56 cores=0,2,4,6
/proc/1016/task/1061/stat : 1061 (java) R 1014 1016 32546 0 -1 4202560 48 0 0 0 112040 16 0 0 25 0 22 0 530343292 16065110016 3639359 33554432000 1073741824 1073778376 140735498410832 18446744073709551615 46912506425235 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4634.55
Current children cumulated vsize (KiB) 15688584

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

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

[startup+1300.4 s]
/proc/loadavg: 8.13 8.06 7.58 12/218 1099
/proc/meminfo: memFree=1789916/32951132 swapFree=67111356/67111528
[pid=1016] ppid=1014 vsize=0 CPUtime=4634.99 cores=0,2,4,6
/proc/1016/stat : 1016 (java) Z 1014 1016 32546 0 -1 4203548 3776605 0 1 0 462803 696 0 0 15 0 2 0 530341924 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/1016/statm: 0 0 0 0 0 0 0
[pid=1016/tid=1058] ppid=1014 vsize=0 CPUtime=1113.48 cores=0,2,4,6
/proc/1016/task/1058/stat : 1058 (java) R 1014 1016 32546 0 -1 4203588 43 0 0 0 111304 44 0 0 25 0 2 0 530343292 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4634.99
Current children cumulated vsize (KiB) 0

[startup+1300.5 s]
/proc/loadavg: 8.13 8.06 7.58 12/218 1099
/proc/meminfo: memFree=1789916/32951132 swapFree=67111356/67111528
[pid=1016] ppid=1014 vsize=0 CPUtime=4635.09 cores=0,2,4,6
/proc/1016/stat : 1016 (java) Z 1014 1016 32546 0 -1 4203548 3776605 0 1 0 462803 706 0 0 15 0 2 0 530341924 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/1016/statm: 0 0 0 0 0 0 0
[pid=1016/tid=1058] ppid=1014 vsize=0 CPUtime=1113.58 cores=0,2,4,6
/proc/1016/task/1058/stat : 1058 (java) R 1014 1016 32546 0 -1 4203588 43 0 0 0 111304 54 0 0 25 0 2 0 530343292 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4635.09
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1300.58
CPU time (s): 4635.18
CPU user time (s): 4628.04
CPU system time (s): 7.14591
CPU usage (%): 356.394
Max. virtual memory (cumulated for all children) (KiB): 15720436

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4628.04
system time used= 7.14591
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3776605
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= 44071
involuntary context switches= 70660

runsolver used 2.20267 second user time and 4.87126 second system time

The end

Launcher Data 

Begin job on node131 at 2011-04-30 20:17:03
IDJOB=3312095
IDBENCH=85007
IDSOLVER=1698
FILE ID=node131/3312095-1304187420
RUNJOBID= node131-1304187420-1002
PBS_JOBID= 13172445
Free space on /tmp= 71904 MiB

SOLVER NAME= STRUCTure 0.1 (hbr=2)
BENCH NAME= SAT04/industrial/velev/vliw_unsat_2.0/9dlx_vliw_at_b_iq6.used-as.sat04-347.cnf
COMMAND LINE= run 15000 NBCORE TMPDIR DIR BENCHNAME -hbr 2
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3312095-1304187420/watcher-3312095-1304187420 -o /tmp/evaluation-result-3312095-1304187420/solver-3312095-1304187420 -C 4800 -W 1300 -M 15500  run 15000 4 HOME HOME HOME/instance-3312095-1304187420.cnf -hbr 2

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

MD5SUM BENCH= 580dc3969c4e46e50013253fd4ac9139
RANDOM SEED=817407915

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
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.75
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.830
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.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      30547140 kB
Buffers:        264636 kB
Cached:        1755624 kB
SwapCached:        168 kB
Active:         333804 kB
Inactive:      1756264 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      30547140 kB
SwapTotal:    67111528 kB
SwapFree:     67111356 kB
Dirty:          163756 kB
Writeback:           0 kB
AnonPages:       69384 kB
Mapped:          14716 kB
Slab:           251988 kB
PageTables:       4736 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS:   195828 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71772 MiB
End job on node131 at 2011-04-30 20:38:45