Trace number 3313455

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
STRUCTure 0.1? (TO) 4454.07 1300.58

General information on the benchmark

Nameindustrial/anbulagan/
hard-unsat/partial-5-11-u.cnf
MD5SUM8e22d84b1ae625d44fbf300a32374a2d
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 variables164158
Number of clauses730719
Sum of the clauses size1660140
Maximum clause length10
Minimum clause length1
Number of clauses of size 112474
Number of clauses of size 2600009
Number of clauses of size 387256
Number of clauses of size 43440
Number of clauses of size 513760
Number of clauses of size over 513780

Solver Data 

0.09/0.18	37:59 INFO : Reading from input HOME/instance-3313455-1304073478.cnf
2.84/2.61	Executor set job limit to 1000000
2.84/2.61	Executor set job limit to 1000000
2.84/2.61	Executor set job limit to 1000000
2.84/2.61	Executor set job limit to 1000000
2.84/2.62	Starting Executor!
2.84/2.62	Starting Executor!
2.84/2.62	Starting Executor!
2.84/2.62	Starting Executor!
71.10/68.99	39:08 INFO : 82672 variables remaining out of 164158
71.10/68.99	39:08 INFO : 27453847 literals remaining out of 2390859

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

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

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


[startup+0 s]
/proc/loadavg: 3.84 6.07 7.25 3/189 6798
/proc/meminfo: memFree=22170624/32951124 swapFree=67111528/67111528
[pid=6798] ppid=6796 vsize=26088 CPUtime=0 cores=1,3,5,7
/proc/6798/stat : 6798 (java) S 6796 6798 4923 0 -1 4202496 1415 0 0 0 0 0 0 0 18 0 2 0 499763226 26714112 885 33554432000 1073741824 1073778376 140734803619168 18446744073709551615 254273419237 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/6798/statm: 6793 888 679 9 0 381 0
[pid=6798/tid=6799] ppid=6796 vsize=27172 CPUtime=0 cores=1,3,5,7
/proc/6798/task/6799/stat : 6799 (java) S 6796 6798 4923 0 -1 4202560 66 0 0 0 0 0 0 0 19 0 2 0 499763227 27824128 894 33554432000 1073741824 1073778376 140734803619168 18446744073709551615 254256692871 0 2147483391 4096 0 18446744071699207358 0 0 -1 5 0 0 0

[startup+0.0740169 s]
/proc/loadavg: 3.84 6.07 7.25 3/189 6798
/proc/meminfo: memFree=22170624/32951124 swapFree=67111528/67111528
[pid=6798] ppid=6796 vsize=15675752 CPUtime=0.06 cores=1,3,5,7
/proc/6798/stat : 6798 (java) S 6796 6798 4923 0 -1 4202496 4684 0 1 0 6 0 0 0 18 0 18 0 499763226 16051970048 4122 33554432000 1073741824 1073778376 140734803619168 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/6798/statm: 3918938 4122 1937 9 0 3909657 0
[pid=6798/tid=6799] ppid=6796 vsize=15675752 CPUtime=0.05 cores=1,3,5,7
/proc/6798/task/6799/stat : 6799 (java) R 6796 6798 4923 0 -1 4202560 3060 0 1 0 5 0 0 0 17 0 18 0 499763227 16051970048 4122 33554432000 1073741824 1073778376 140734803619168 18446744073709551615 254273443275 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 15675752

[startup+0.101049 s]
/proc/loadavg: 3.84 6.07 7.25 3/189 6798
/proc/meminfo: memFree=22170624/32951124 swapFree=67111528/67111528
[pid=6798] ppid=6796 vsize=15676704 CPUtime=0.09 cores=1,3,5,7
/proc/6798/stat : 6798 (java) S 6796 6798 4923 0 -1 4202496 5546 0 1 0 9 0 0 0 18 0 18 0 499763226 16052944896 4945 33554432000 1073741824 1073778376 140734803619168 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/6798/statm: 3919176 4945 2116 9 0 3909895 0
[pid=6798/tid=6799] ppid=6796 vsize=15676704 CPUtime=0.07 cores=1,3,5,7
/proc/6798/task/6799/stat : 6799 (java) D 6796 6798 4923 0 -1 4202560 3384 0 1 0 7 0 0 0 18 0 18 0 499763227 16052944896 4945 33554432000 1073741824 1073778376 140734803619168 18446744073709551615 254261614592 0 4 0 16800975 18446744071562154983 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15676704

[startup+0.301863 s]
/proc/loadavg: 3.84 6.07 7.25 3/189 6798
/proc/meminfo: memFree=22170624/32951124 swapFree=67111528/67111528
[pid=6798] ppid=6796 vsize=15677588 CPUtime=0.34 cores=1,3,5,7
/proc/6798/stat : 6798 (java) S 6796 6798 4923 0 -1 4202496 7966 0 5 0 32 2 0 0 18 0 18 0 499763226 16053850112 7283 33554432000 1073741824 1073778376 140734803619168 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/6798/statm: 3919397 7285 2197 9 0 3910116 0
[pid=6798/tid=6799] ppid=6796 vsize=15677588 CPUtime=0.21 cores=1,3,5,7
/proc/6798/task/6799/stat : 6799 (java) R 6796 6798 4923 0 -1 4202560 5289 0 2 0 20 1 0 0 18 0 18 0 499763227 16053850112 7286 33554432000 1073741824 1073778376 140734803619168 18446744073709551615 46912505511663 0 4 0 16800975 0 0 0 -1 5 0 0 3
Current children cumulated CPU time (s) 0.34
Current children cumulated vsize (KiB) 15677588

[startup+0.700939 s]
/proc/loadavg: 3.84 6.07 7.25 3/189 6798
/proc/meminfo: memFree=22170624/32951124 swapFree=67111528/67111528
[pid=6798] ppid=6796 vsize=15680076 CPUtime=0.85 cores=1,3,5,7
/proc/6798/stat : 6798 (java) S 6796 6798 4923 0 -1 4202496 42060 0 5 0 79 6 0 0 18 0 18 0 499763226 16056397824 40506 33554432000 1073741824 1073778376 140734803619168 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/6798/statm: 3920019 40506 2228 9 0 3910738 0
[pid=6798/tid=6799] ppid=6796 vsize=15680076 CPUtime=0.6 cores=1,3,5,7
/proc/6798/task/6799/stat : 6799 (java) R 6796 6798 4923 0 -1 4202560 35508 0 2 0 55 5 0 0 18 0 18 0 499763227 16056397824 40506 33554432000 1073741824 1073778376 140734803619168 18446744073709551615 46912505513355 0 4 0 16800975 0 0 0 -1 5 0 0 3
Current children cumulated CPU time (s) 0.85
Current children cumulated vsize (KiB) 15680076

[startup+1.5008 s]
/proc/loadavg: 3.70 6.00 7.22 3/212 6821
/proc/meminfo: memFree=21865232/32951124 swapFree=67111528/67111528
[pid=6798] ppid=6796 vsize=15680076 CPUtime=1.68 cores=1,3,5,7
/proc/6798/stat : 6798 (java) S 6796 6798 4923 0 -1 4202496 45253 0 5 0 161 7 0 0 18 0 18 0 499763226 16056397824 43681 33554432000 1073741824 1073778376 140734803619168 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/6798/statm: 3920019 43681 2228 9 0 3910738 0
[pid=6798/tid=6799] ppid=6796 vsize=15680076 CPUtime=1.39 cores=1,3,5,7
/proc/6798/task/6799/stat : 6799 (java) R 6796 6798 4923 0 -1 4202560 35514 0 2 0 134 5 0 0 19 0 18 0 499763227 16056397824 43681 33554432000 1073741824 1073778376 140734803619168 18446744073709551615 46912505537388 0 4 0 16800975 0 0 0 -1 5 0 0 3
[pid=6798/tid=6806] ppid=6796 vsize=15680076 CPUtime=0 cores=1,3,5,7
/proc/6798/task/6806/stat : 6806 (java) S 6796 6798 4923 0 -1 4202560 1048 0 0 0 0 0 0 0 16 0 18 0 499763227 16056397824 43681 33554432000 1073741824 1073778376 140734803619168 18446744073709551615 254273432473 0 4 0 16800975 18446604459332147328 0 0 -1 5 0 0 0
[pid=6798/tid=6807] ppid=6796 vsize=15680076 CPUtime=0 cores=1,3,5,7
/proc/6798/task/6807/stat : 6807 (java) S 6796 6798 4923 0 -1 4202560 1930 0 0 0 0 0 0 0 16 0 18 0 499763227 16056397824 43681 33554432000 1073741824 1073778376 140734803619168 18446744073709551615 254273432473 0 4 0 16800975 18446604459332147328 0 0 -1 7 0 0 0
[pid=6798/tid=6808] ppid=6796 vsize=15680076 CPUtime=0 cores=1,3,5,7
/proc/6798/task/6808/stat : 6808 (java) S 6796 6798 4923 0 -1 4202560 1131 0 0 0 0 0 0 0 15 0 18 0 499763227 16056397824 43681 33554432000 1073741824 1073778376 140734803619168 18446744073709551615 254273432473 0 4 0 16800975 18446604459332147328 0 0 -1 3 0 0 0
[pid=6798/tid=6809] ppid=6796 vsize=15680076 CPUtime=0 cores=1,3,5,7
/proc/6798/task/6809/stat : 6809 (java) S 6796 6798 4923 0 -1 4202560 18 0 0 0 0 0 0 0 16 0 18 0 499763227 16056397824 43681 33554432000 1073741824 1073778376 140734803619168 18446744073709551615 254273432473 0 4 0 16800975 18446604459332147328 0 0 -1 3 0 0 0
[pid=6798/tid=6810] ppid=6796 vsize=15680076 CPUtime=0 cores=1,3,5,7
/proc/6798/task/6810/stat : 6810 (java) S 6796 6798 4923 0 -1 4202560 325 0 0 0 0 0 0 0 15 0 18 0 499763227 16056397824 43681 33554432000 1073741824 1073778376 140734803619168 18446744073709551615 254273432473 0 4 0 16800975 18446604459332147328 0 0 -1 5 0 0 0
[pid=6798/tid=6811] ppid=6796 vsize=15680076 CPUtime=0 cores=1,3,5,7
/proc/6798/task/6811/stat : 6811 (java) S 6796 6798 4923 0 -1 4202560 37 0 0 0 0 0 0 0 16 0 18 0 499763227 16056397824 43681 33554432000 1073741824 1073778376 140734803619168 18446744073709551615 254273432473 0 4 0 16800975 18446604459332147328 0 0 -1 1 0 0 0
[pid=6798/tid=6812] ppid=6796 vsize=15680076 CPUtime=0 cores=1,3,5,7
/proc/6798/task/6812/stat : 6812 (java) S 6796 6798 4923 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 499763227 16056397824 43681 33554432000 1073741824 1073778376 140734803619168 18446744073709551615 254273432473 0 4 0 16800975 18446604459332147328 0 0 -1 7 0 0 0
[pid=6798/tid=6813] ppid=6796 vsize=15680076 CPUtime=0 cores=1,3,5,7
/proc/6798/task/6813/stat : 6813 (java) S 6796 6798 4923 0 -1 4202560 72 0 0 0 0 0 0 0 16 0 18 0 499763227 16056397824 43681 33554432000 1073741824 1073778376 140734803619168 18446744073709551615 254273432473 0 4 0 16800975 18446604459332147328 0 0 -1 3 0 0 0
[pid=6798/tid=6814] ppid=6796 vsize=15680076 CPUtime=0 cores=1,3,5,7
/proc/6798/task/6814/stat : 6814 (java) S 6796 6798 4923 0 -1 4202560 73 0 0 0 0 0 0 0 15 0 18 0 499763228 16056397824 43681 33554432000 1073741824 1073778376 140734803619168 18446744073709551615 254273433088 0 0 0 16800975 18446604459332147328 0 0 -1 1 0 0 0
[pid=6798/tid=6815] ppid=6796 vsize=15680076 CPUtime=0 cores=1,3,5,7
/proc/6798/task/6815/stat : 6815 (java) S 6796 6798 4923 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 18 0 499763229 16056397824 43681 33554432000 1073741824 1073778376 140734803619168 18446744073709551615 254273432473 0 4 0 16800975 18446604459332147328 0 0 -1 5 0 0 0
[pid=6798/tid=6816] ppid=6796 vsize=15680076 CPUtime=0 cores=1,3,5,7
/proc/6798/task/6816/stat : 6816 (java) S 6796 6798 4923 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 18 0 499763229 16056397824 43681 33554432000 1073741824 1073778376 140734803619168 18446744073709551615 254273432473 0 4 0 16800975 18446604459332147328 0 0 -1 5 0 0 0
[pid=6798/tid=6817] ppid=6796 vsize=15680076 CPUtime=0 cores=1,3,5,7
/proc/6798/task/6817/stat : 6817 (java) S 6796 6798 4923 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 499763231 16056397824 43681 33554432000 1073741824 1073778376 140734803619168 18446744073709551615 254273440177 0 4 0 16800975 18446604459332147328 0 0 -1 5 0 0 0
[pid=6798/tid=6818] ppid=6796 vsize=15680076 CPUtime=0.12 cores=1,3,5,7
/proc/6798/task/6818/stat : 6818 (java) S 6796 6798 4923 0 -1 4202560 2385 0 3 0 12 0 0 0 19 0 18 0 499763231 16056397824 43681 33554432000 1073741824 1073778376 140734803619168 18446744073709551615 254273432473 0 4 0 16800975 18446604459332147328 0 0 -1 1 0 0 0
[pid=6798/tid=6819] ppid=6796 vsize=15680076 CPUtime=0.1 cores=1,3,5,7
/proc/6798/task/6819/stat : 6819 (java) S 6796 6798 4923 0 -1 4202560 1332 0 0 0 10 0 0 0 15 0 18 0 499763231 16056397824 43681 33554432000 1073741824 1073778376 140734803619168 18446744073709551615 254273432473 0 4 0 16800975 18446604459332147328 0 0 -1 7 0 0 0
[pid=6798/tid=6820] ppid=6796 vsize=15680076 CPUtime=0 cores=1,3,5,7
/proc/6798/task/6820/stat : 6820 (java) S 6796 6798 4923 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 499763231 16056397824 43681 33554432000 1073741824 1073778376 140734803619168 18446744073709551615 254273432473 0 4 0 16800975 18446604459332147328 0 0 -1 5 0 0 0
[pid=6798/tid=6821] ppid=6796 vsize=15680076 CPUtime=0 cores=1,3,5,7
/proc/6798/task/6821/stat : 6821 (java) S 6796 6798 4923 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 499763231 16056397824 43681 33554432000 1073741824 1073778376 140734803619168 18446744073709551615 254273433088 0 4 0 16800975 18446604459332147328 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.68
Current children cumulated vsize (KiB) 15680076

[startup+3.10655 s]
/proc/loadavg: 3.70 6.00 7.22 3/212 6821
/proc/meminfo: memFree=21570980/32951124 swapFree=67111528/67111528
[pid=6798] ppid=6796 vsize=15694648 CPUtime=3.61 cores=1,3,5,7
/proc/6798/stat : 6798 (java) S 6796 6798 4923 0 -1 4202496 143022 0 5 0 343 18 0 0 18 0 22 0 499763226 16071319552 139848 33554432000 1073741824 1073778376 140734803619168 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/6798/statm: 3923662 139849 2265 9 0 3914381 0
[pid=6798/tid=6799] ppid=6796 vsize=15694648 CPUtime=2.97 cores=1,3,5,7
/proc/6798/task/6799/stat : 6799 (java) R 6796 6798 4923 0 -1 4202560 117018 0 2 0 282 15 0 0 25 0 22 0 499763227 16071319552 139850 33554432000 1073741824 1073778376 140734803619168 18446744073709551615 47590863888223 0 4 0 16800975 0 0 0 -1 5 0 0 3
[pid=6798/tid=6806] ppid=6796 vsize=15694648 CPUtime=0.02 cores=1,3,5,7
/proc/6798/task/6806/stat : 6806 (java) S 6796 6798 4923 0 -1 4202560 4564 0 0 0 2 0 0 0 16 0 22 0 499763227 16071319552 139850 33554432000 1073741824 1073778376 140734803619168 18446744073709551615 254273432473 0 4 0 16800975 18446604459332147328 0 0 -1 3 0 0 0
[pid=6798/tid=6807] ppid=6796 vsize=15694648 CPUtime=0.02 cores=1,3,5,7
/proc/6798/task/6807/stat : 6807 (java) S 6796 6798 4923 0 -1 4202560 3712 0 0 0 2 0 0 0 16 0 22 0 499763227 16071319552 139850 33554432000 1073741824 1073778376 140734803619168 18446744073709551615 254273432473 0 4 0 16800975 18446604459332147328 0 0 -1 7 0 0 0
[pid=6798/tid=6808] ppid=6796 vsize=15694648 CPUtime=0.02 cores=1,3,5,7
/proc/6798/task/6808/stat : 6808 (java) S 6796 6798 4923 0 -1 4202560 2495 0 0 0 2 0 0 0 16 0 22 0 499763227 16071319552 139850 33554432000 1073741824 1073778376 140734803619168 18446744073709551615 254273432473 0 4 0 16800975 18446604459332147328 0 0 -1 3 0 0 0
[pid=6798/tid=6809] ppid=6796 vsize=15694648 CPUtime=0 cores=1,3,5,7
/proc/6798/task/6809/stat : 6809 (java) S 6796 6798 4923 0 -1 4202560 23 0 0 0 0 0 0 0 15 0 22 0 499763227 16071319552 139851 33554432000 1073741824 1073778376 140734803619168 18446744073709551615 254273432473 0 4 0 16800975 18446604459332147328 0 0 -1 1 0 0 0
[pid=6798/tid=6810] ppid=6796 vsize=15694648 CPUtime=0.02 cores=1,3,5,7
/proc/6798/task/6810/stat : 6810 (java) S 6796 6798 4923 0 -1 4202560 2998 0 0 0 2 0 0 0 16 0 22 0 499763227 16071319552 139851 33554432000 1073741824 1073778376 140734803619168 18446744073709551615 254273432473 0 4 0 16800975 18446604459332147328 0 0 -1 5 0 0 0
[pid=6798/tid=6811] ppid=6796 vsize=15694648 CPUtime=0 cores=1,3,5,7
/proc/6798/task/6811/stat : 6811 (java) S 6796 6798 4923 0 -1 4202560 39 0 0 0 0 0 0 0 15 0 22 0 499763227 16071319552 139851 33554432000 1073741824 1073778376 140734803619168 18446744073709551615 254273432473 0 4 0 16800975 18446604459332147328 0 0 -1 5 0 0 0
[pid=6798/tid=6812] ppid=6796 vsize=15694648 CPUtime=0 cores=1,3,5,7
/proc/6798/task/6812/stat : 6812 (java) S 6796 6798 4923 0 -1 4202560 2596 0 0 0 0 0 0 0 15 0 22 0 499763227 16071319552 139851 33554432000 1073741824 1073778376 140734803619168 18446744073709551615 254273432473 0 4 0 16800975 18446604459332147328 0 0 -1 7 0 0 0
[pid=6798/tid=6813] ppid=6796 vsize=15694648 CPUtime=0 cores=1,3,5,7
/proc/6798/task/6813/stat : 6813 (java) S 6796 6798 4923 0 -1 4202560 72 0 0 0 0 0 0 0 15 0 22 0 499763227 16071319552 139851 33554432000 1073741824 1073778376 140734803619168 18446744073709551615 254273432473 0 4 0 16800975 18446604459332147328 0 0 -1 7 0 0 0
[pid=6798/tid=6814] ppid=6796 vsize=15694648 CPUtime=0 cores=1,3,5,7
/proc/6798/task/6814/stat : 6814 (java) S 6796 6798 4923 0 -1 4202560 362 0 0 0 0 0 0 0 15 0 22 0 499763228 16071319552 139851 33554432000 1073741824 1073778376 140734803619168 18446744073709551615 254273433088 0 0 0 16800975 18446604459332147328 0 0 -1 1 0 0 0
[pid=6798/tid=6815] ppid=6796 vsize=15694648 CPUtime=0 cores=1,3,5,7
/proc/6798/task/6815/stat : 6815 (java) S 6796 6798 4923 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 499763229 16071319552 139851 33554432000 1073741824 1073778376 140734803619168 18446744073709551615 254273432473 0 4 0 16800975 18446604459332147328 0 0 -1 5 0 0 0
[pid=6798/tid=6816] ppid=6796 vsize=15694648 CPUtime=0 cores=1,3,5,7
/proc/6798/task/6816/stat : 6816 (java) S 6796 6798 4923 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 22 0 499763229 16071319552 139851 33554432000 1073741824 1073778376 140734803619168 18446744073709551615 254273432473 0 4 0 16800975 18446604459332147328 0 0 -1 5 0 0 0
[pid=6798/tid=6817] ppid=6796 vsize=15694648 CPUtime=0 cores=1,3,5,7
/proc/6798/task/6817/stat : 6817 (java) S 6796 6798 4923 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 499763231 16071319552 139851 33554432000 1073741824 1073778376 140734803619168 18446744073709551615 254273440177 0 4 0 16800975 18446604459332147328 0 0 -1 5 0 0 0
[pid=6798/tid=6818] ppid=6796 vsize=15694648 CPUtime=0.22 cores=1,3,5,7
/proc/6798/task/6818/stat : 6818 (java) S 6796 6798 4923 0 -1 4202560 2461 0 3 0 22 0 0 0 15 0 22 0 499763231 16071319552 139851 33554432000 1073741824 1073778376 140734803619168 18446744073709551615 254273432473 0 4 0 16800975 18446604459332147328 0 0 -1 1 0 0 0
[pid=6798/tid=6819] ppid=6796 vsize=15694648 CPUtime=0.25 cores=1,3,5,7
/proc/6798/task/6819/stat : 6819 (java) R 6796 6798 4923 0 -1 4202560 5230 0 0 0 25 0 0 0 15 0 22 0 499763231 16071319552 139852 33554432000 1073741824 1073778376 140734803619168 18446744073709551615 254261313047 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=6798/tid=6820] ppid=6796 vsize=15694648 CPUtime=0 cores=1,3,5,7
/proc/6798/task/6820/stat : 6820 (java) S 6796 6798 4923 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 499763231 16071319552 139852 33554432000 1073741824 1073778376 140734803619168 18446744073709551615 254273432473 0 4 0 16800975 18446604459332147328 0 0 -1 5 0 0 0
[pid=6798/tid=6821] ppid=6796 vsize=15694648 CPUtime=0 cores=1,3,5,7
/proc/6798/task/6821/stat : 6821 (java) S 6796 6798 4923 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 499763231 16071319552 139852 33554432000 1073741824 1073778376 140734803619168 18446744073709551615 254273433088 0 4 0 16800975 18446604459332147328 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.61
Current children cumulated vsize (KiB) 15694648

[startup+6.30094 s]
/proc/loadavg: 3.70 6.00 7.22 3/220 6829
/proc/meminfo: memFree=21066020/32951124 swapFree=67111528/67111528
[pid=6798] ppid=6796 vsize=15700688 CPUtime=7.51 cores=1,3,5,7
/proc/6798/stat : 6798 (java) S 6796 6798 4923 0 -1 4202496 149464 0 5 0 733 18 0 0 18 0 22 0 499763226 16077504512 141815 33554432000 1073741824 1073778376 140734803619168 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/6798/statm: 3925172 141815 2275 9 0 3915891 0
[pid=6798/tid=6799] ppid=6796 vsize=15700688 CPUtime=6.16 cores=1,3,5,7
/proc/6798/task/6799/stat : 6799 (java) R 6796 6798 4923 0 -1 4202560 117031 0 2 0 601 15 0 0 21 0 22 0 499763227 16077504512 141815 33554432000 1073741824 1073778376 140734803619168 18446744073709551615 46912506127221 0 4 0 16800975 0 0 0 -1 5 0 0 3
[pid=6798/tid=6806] ppid=6796 vsize=15700688 CPUtime=0.02 cores=1,3,5,7
/proc/6798/task/6806/stat : 6806 (java) S 6796 6798 4923 0 -1 4202560 4564 0 0 0 2 0 0 0 16 0 22 0 499763227 16077504512 141815 33554432000 1073741824 1073778376 140734803619168 18446744073709551615 254273432473 0 4 0 16800975 18446604459332147328 0 0 -1 3 0 0 0
[pid=6798/tid=6807] ppid=6796 vsize=15700688 CPUtime=0.02 cores=1,3,5,7
/proc/6798/task/6807/stat : 6807 (java) S 6796 6798 4923 0 -1 4202560 3712 0 0 0 2 0 0 0 16 0 22 0 499763227 16077504512 141815 33554432000 1073741824 1073778376 140734803619168 18446744073709551615 254273432473 0 4 0 16800975 18446604459332147328 0 0 -1 7 0 0 0
[pid=6798/tid=6808] ppid=6796 vsize=15700688 CPUtime=0.02 cores=1,3,5,7
/proc/6798/task/6808/stat : 6808 (java) S 6796 6798 4923 0 -1 4202560 2495 0 0 0 2 0 0 0 16 0 22 0 499763227 16077504512 141815 33554432000 1073741824 1073778376 140734803619168 18446744073709551615 254273432473 0 4 0 16800975 18446604459332147328 0 0 -1 3 0 0 0
[pid=6798/tid=6809] ppid=6796 vsize=15700688 CPUtime=0 cores=1,3,5,7
/proc/6798/task/6809/stat : 6809 (java) S 6796 6798 4923 0 -1 4202560 23 0 0 0 0 0 0 0 15 0 22 0 499763227 16077504512 141815 33554432000 1073741824 1073778376 140734803619168 18446744073709551615 254273432473 0 4 0 16800975 18446604459332147328 0 0 -1 1 0 0 0
[pid=6798/tid=6810] ppid=6796 vsize=15700688 CPUtime=0.02 cores=1,3,5,7
/proc/6798/task/6810/stat : 6810 (java) S 6796 6798 4923 0 -1 4202560 2998 0 0 0 2 0 0 0 16 0 22 0 499763227 16077504512 141815 33554432000 1073741824 1073778376 140734803619168 18446744073709551615 254273432473 0 4 0 16800975 18446604459332147328 0 0 -1 5 0 0 0
[pid=6798/tid=6811] ppid=6796 vsize=15700688 CPUtime=0 cores=1,3,5,7
/proc/6798/task/6811/stat : 6811 (java) S 6796 6798 4923 0 -1 4202560 39 0 0 0 0 0 0 0 15 0 22 0 499763227 16077504512 141815 33554432000 1073741824 1073778376 140734803619168 18446744073709551615 254273432473 0 4 0 16800975 18446604459332147328 0 0 -1 5 0 0 0
[pid=6798/tid=6812] ppid=6796 vsize=15700688 CPUtime=0 cores=1,3,5,7
/proc/6798/task/6812/stat : 6812 (java) S 6796 6798 4923 0 -1 4202560 2596 0 0 0 0 0 0 0 15 0 22 0 499763227 16077504512 141815 33554432000 1073741824 1073778376 140734803619168 18446744073709551615 254273432473 0 4 0 16800975 18446604459332147328 0 0 -1 7 0 0 0
[pid=6798/tid=6813] ppid=6796 vsize=15700688 CPUtime=0 cores=1,3,5,7
/proc/6798/task/6813/stat : 6813 (java) S 6796 6798 4923 0 -1 4202560 72 0 0 0 0 0 0 0 15 0 22 0 499763227 16077504512 141815 33554432000 1073741824 1073778376 140734803619168 18446744073709551615 254273432473 0 4 0 16800975 18446604459332147328 0 0 -1 7 0 0 0
[pid=6798/tid=6814] ppid=6796 vsize=15700688 CPUtime=0 cores=1,3,5,7
/proc/6798/task/6814/stat : 6814 (java) S 6796 6798 4923 0 -1 4202560 362 0 0 0 0 0 0 0 15 0 22 0 499763228 16077504512 141815 33554432000 1073741824 1073778376 140734803619168 18446744073709551615 254273433088 0 0 0 16800975 18446604459332147328 0 0 -1 1 0 0 0
[pid=6798/tid=6815] ppid=6796 vsize=15700688 CPUtime=0 cores=1,3,5,7
/proc/6798/task/6815/stat : 6815 (java) S 6796 6798 4923 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 499763229 16077504512 141815 33554432000 1073741824 1073778376 140734803619168 18446744073709551615 254273432473 0 4 0 16800975 18446604459332147328 0 0 -1 5 0 0 0
[pid=6798/tid=6816] ppid=6796 vsize=15700688 CPUtime=0 cores=1,3,5,7
/proc/6798/task/6816/stat : 6816 (java) S 6796 6798 4923 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 22 0 499763229 16077504512 141815 33554432000 1073741824 1073778376 140734803619168 18446744073709551615 254273432473 0 4 0 16800975 18446604459332147328 0 0 -1 5 0 0 0
[pid=6798/tid=6817] ppid=6796 vsize=15700688 CPUtime=0 cores=1,3,5,7
/proc/6798/task/6817/stat : 6817 (java) S 6796 6798 4923 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 499763231 16077504512 141815 33554432000 1073741824 1073778376 140734803619168 18446744073709551615 254273440177 0 4 0 16800975 18446604459332147328 0 0 -1 5 0 0 0
[pid=6798/tid=6818] ppid=6796 vsize=15700688 CPUtime=0.58 cores=1,3,5,7
/proc/6798/task/6818/stat : 6818 (java) S 6796 6798 4923 0 -1 4202560 4652 0 3 0 58 0 0 0 15 0 22 0 499763231 16077504512 141815 33554432000 1073741824 1073778376 140734803619168 18446744073709551615 254273432473 0 4 0 16800975 18446604459332147328 0 0 -1 3 0 0 0
[pid=6798/tid=6819] ppid=6796 vsize=15700688 CPUtime=0.6 cores=1,3,5,7
/proc/6798/task/6819/stat : 6819 (java) S 6796 6798 4923 0 -1 4202560 9463 0 0 0 60 0 0 0 15 0 22 0 499763231 16077504512 141815 33554432000 1073741824 1073778376 140734803619168 18446744073709551615 254273432473 0 4 0 16800975 18446604459332147328 0 0 -1 1 0 0 0
[pid=6798/tid=6820] ppid=6796 vsize=15700688 CPUtime=0 cores=1,3,5,7
/proc/6798/task/6820/stat : 6820 (java) S 6796 6798 4923 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 499763231 16077504512 141815 33554432000 1073741824 1073778376 140734803619168 18446744073709551615 254273432473 0 4 0 16800975 18446604459332147328 0 0 -1 5 0 0 0
[pid=6798/tid=6821] ppid=6796 vsize=15700688 CPUtime=0 cores=1,3,5,7
/proc/6798/task/6821/stat : 6821 (java) S 6796 6798 4923 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 499763231 16077504512 141815 33554432000 1073741824 1073778376 140734803619168 18446744073709551615 254273433088 0 4 0 16800975 18446604459332147328 0 0 -1 7 0 0 0

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

[pid=6798/tid=6814] ppid=6796 vsize=15700688 CPUtime=31.91 cores=1,3,5,7
/proc/6798/task/6814/stat : 6814 (java) S 6796 6798 4923 0 -1 4202560 148830 0 0 0 3173 18 0 0 15 0 22 0 499763228 16077504512 3833562 33554432000 1073741824 1073778376 140734803619168 18446744073709551615 254273433088 0 0 0 16800975 18446604459332147328 0 0 -1 3 0 0 0
[pid=6798/tid=6815] ppid=6796 vsize=15700688 CPUtime=0 cores=1,3,5,7
/proc/6798/task/6815/stat : 6815 (java) S 6796 6798 4923 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 499763229 16077504512 3833562 33554432000 1073741824 1073778376 140734803619168 18446744073709551615 254273432473 0 4 0 16800975 18446604459332147328 0 0 -1 3 0 0 0
[pid=6798/tid=6816] ppid=6796 vsize=15700688 CPUtime=0 cores=1,3,5,7
/proc/6798/task/6816/stat : 6816 (java) S 6796 6798 4923 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 22 0 499763229 16077504512 3833562 33554432000 1073741824 1073778376 140734803619168 18446744073709551615 254273432473 0 4 0 16800975 18446604459332147328 0 0 -1 3 0 0 0
[pid=6798/tid=6817] ppid=6796 vsize=15700688 CPUtime=0 cores=1,3,5,7
/proc/6798/task/6817/stat : 6817 (java) S 6796 6798 4923 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 499763231 16077504512 3833562 33554432000 1073741824 1073778376 140734803619168 18446744073709551615 254273440177 0 4 0 16800975 18446604459332147328 0 0 -1 5 0 0 0
[pid=6798/tid=6818] ppid=6796 vsize=15700688 CPUtime=1.21 cores=1,3,5,7
/proc/6798/task/6818/stat : 6818 (java) S 6796 6798 4923 0 -1 4202560 7689 0 3 0 120 1 0 0 15 0 22 0 499763231 16077504512 3833562 33554432000 1073741824 1073778376 140734803619168 18446744073709551615 254273432473 0 4 0 16800975 18446604459332147328 0 0 -1 3 0 0 0
[pid=6798/tid=6819] ppid=6796 vsize=15700688 CPUtime=1.42 cores=1,3,5,7
/proc/6798/task/6819/stat : 6819 (java) S 6796 6798 4923 0 -1 4202560 9564 0 1 0 142 0 0 0 15 0 22 0 499763231 16077504512 3833562 33554432000 1073741824 1073778376 140734803619168 18446744073709551615 254273432473 0 4 0 16800975 18446604459332147328 0 0 -1 1 0 0 4
[pid=6798/tid=6820] ppid=6796 vsize=15700688 CPUtime=0 cores=1,3,5,7
/proc/6798/task/6820/stat : 6820 (java) S 6796 6798 4923 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 499763231 16077504512 3833562 33554432000 1073741824 1073778376 140734803619168 18446744073709551615 254273432473 0 4 0 16800975 18446604459332147328 0 0 -1 5 0 0 0
[pid=6798/tid=6821] ppid=6796 vsize=15700688 CPUtime=0 cores=1,3,5,7
/proc/6798/task/6821/stat : 6821 (java) S 6796 6798 4923 0 -1 4202560 66 0 0 0 0 0 0 0 15 0 22 0 499763231 16077504512 3833562 33554432000 1073741824 1073778376 140734803619168 18446744073709551615 254273433088 0 4 0 16800975 18446604459332147328 0 0 -1 7 0 0 0
[pid=6798/tid=6826] ppid=6796 vsize=15700688 CPUtime=965.52 cores=1,3,5,7
/proc/6798/task/6826/stat : 6826 (java) R 6796 6798 4923 0 -1 4202560 1602 0 0 0 96552 0 0 0 25 0 22 0 499763488 16077504512 3833562 33554432000 1073741824 1073778376 140734803619168 18446744073709551615 46912505582320 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=6798/tid=6827] ppid=6796 vsize=15700688 CPUtime=875.75 cores=1,3,5,7
/proc/6798/task/6827/stat : 6827 (java) R 6796 6798 4923 0 -1 4202560 55 0 0 0 87575 0 0 0 25 0 22 0 499763488 16077504512 3833562 33554432000 1073741824 1073778376 140734803619168 18446744073709551615 46912506023016 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=6798/tid=6828] ppid=6796 vsize=15700688 CPUtime=976.13 cores=1,3,5,7
/proc/6798/task/6828/stat : 6828 (java) R 6796 6798 4923 0 -1 4202560 37852 0 0 0 97609 4 0 0 25 0 22 0 499763489 16077504512 3833562 33554432000 1073741824 1073778376 140734803619168 18446744073709551615 46912506023536 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=6798/tid=6829] ppid=6796 vsize=15700688 CPUtime=1014.91 cores=1,3,5,7
/proc/6798/task/6829/stat : 6829 (java) R 6796 6798 4923 0 -1 4202560 38860 0 0 0 101487 4 0 0 25 0 22 0 499763489 16077504512 3833562 33554432000 1073741824 1073778376 140734803619168 18446744073709551615 46912505910739 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4021.86
Current children cumulated vsize (KiB) 15700688

[startup+1242.3 s]
/proc/loadavg: 7.97 7.98 7.59 9/220 6862
/proc/meminfo: memFree=2643324/32951124 swapFree=67111528/67111528
[pid=6798] ppid=6796 vsize=15700688 CPUtime=4246.83 cores=1,3,5,7
/proc/6798/stat : 6798 (java) S 6796 6798 4923 0 -1 4202496 3907816 0 6 0 424044 639 0 0 18 0 22 0 499763226 16077504512 3833562 33554432000 1073741824 1073778376 140734803619168 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/6798/statm: 3925172 3833562 2295 9 0 3915891 0
[pid=6798/tid=6799] ppid=6796 vsize=15700688 CPUtime=68.79 cores=1,3,5,7
/proc/6798/task/6799/stat : 6799 (java) S 6796 6798 4923 0 -1 4202560 163287 0 2 0 6858 21 0 0 18 0 22 0 499763227 16077504512 3833562 33554432000 1073741824 1073778376 140734803619168 18446744073709551615 254273432473 0 4 0 16800975 18446604459332147328 0 0 -1 5 0 0 3
[pid=6798/tid=6806] ppid=6796 vsize=15700688 CPUtime=11.15 cores=1,3,5,7
/proc/6798/task/6806/stat : 6806 (java) S 6796 6798 4923 0 -1 4202560 548804 0 0 0 1024 91 0 0 16 0 22 0 499763227 16077504512 3833562 33554432000 1073741824 1073778376 140734803619168 18446744073709551615 254273432473 0 4 0 16800975 18446604459332147328 0 0 -1 5 0 0 0
[pid=6798/tid=6807] ppid=6796 vsize=15700688 CPUtime=12.5 cores=1,3,5,7
/proc/6798/task/6807/stat : 6807 (java) S 6796 6798 4923 0 -1 4202560 473269 0 0 0 1172 78 0 0 16 0 22 0 499763227 16077504512 3833562 33554432000 1073741824 1073778376 140734803619168 18446744073709551615 254273432473 0 4 0 16800975 18446604459332147328 0 0 -1 7 0 0 0
[pid=6798/tid=6808] ppid=6796 vsize=15700688 CPUtime=10.52 cores=1,3,5,7
/proc/6798/task/6808/stat : 6808 (java) S 6796 6798 4923 0 -1 4202560 440518 0 0 0 980 72 0 0 16 0 22 0 499763227 16077504512 3833562 33554432000 1073741824 1073778376 140734803619168 18446744073709551615 254273432473 0 4 0 16800975 18446604459332147328 0 0 -1 7 0 0 0
[pid=6798/tid=6809] ppid=6796 vsize=15700688 CPUtime=9.64 cores=1,3,5,7
/proc/6798/task/6809/stat : 6809 (java) S 6796 6798 4923 0 -1 4202560 264704 0 0 0 919 45 0 0 16 0 22 0 499763227 16077504512 3833562 33554432000 1073741824 1073778376 140734803619168 18446744073709551615 254273432473 0 4 0 16800975 18446604459332147328 0 0 -1 1 0 0 0
[pid=6798/tid=6810] ppid=6796 vsize=15700688 CPUtime=10.91 cores=1,3,5,7
/proc/6798/task/6810/stat : 6810 (java) S 6796 6798 4923 0 -1 4202560 430918 0 0 0 1019 72 0 0 16 0 22 0 499763227 16077504512 3833562 33554432000 1073741824 1073778376 140734803619168 18446744073709551615 254273432473 0 4 0 16800975 18446604459332147328 0 0 -1 7 0 0 0
[pid=6798/tid=6811] ppid=6796 vsize=15700688 CPUtime=11.45 cores=1,3,5,7
/proc/6798/task/6811/stat : 6811 (java) S 6796 6798 4923 0 -1 4202560 539752 0 0 0 1054 91 0 0 16 0 22 0 499763227 16077504512 3833562 33554432000 1073741824 1073778376 140734803619168 18446744073709551615 254273432473 0 4 0 16800975 18446604459332147328 0 0 -1 1 0 0 0
[pid=6798/tid=6812] ppid=6796 vsize=15700688 CPUtime=10.37 cores=1,3,5,7
/proc/6798/task/6812/stat : 6812 (java) S 6796 6798 4923 0 -1 4202560 473248 0 0 0 962 75 0 0 16 0 22 0 499763227 16077504512 3833562 33554432000 1073741824 1073778376 140734803619168 18446744073709551615 254273432473 0 4 0 16800975 18446604459332147328 0 0 -1 5 0 0 0
[pid=6798/tid=6813] ppid=6796 vsize=15700688 CPUtime=9.52 cores=1,3,5,7
/proc/6798/task/6813/stat : 6813 (java) S 6796 6798 4923 0 -1 4202560 327395 0 0 0 895 57 0 0 16 0 22 0 499763227 16077504512 3833562 33554432000 1073741824 1073778376 140734803619168 18446744073709551615 254273432473 0 4 0 16800975 18446604459332147328 0 0 -1 5 0 0 0
[pid=6798/tid=6814] ppid=6796 vsize=15700688 CPUtime=36.82 cores=1,3,5,7
/proc/6798/task/6814/stat : 6814 (java) S 6796 6798 4923 0 -1 4202560 148834 0 0 0 3664 18 0 0 15 0 22 0 499763228 16077504512 3833562 33554432000 1073741824 1073778376 140734803619168 18446744073709551615 254273433088 0 0 0 16800975 18446604459332147328 0 0 -1 3 0 0 0
[pid=6798/tid=6815] ppid=6796 vsize=15700688 CPUtime=0 cores=1,3,5,7
/proc/6798/task/6815/stat : 6815 (java) S 6796 6798 4923 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 499763229 16077504512 3833562 33554432000 1073741824 1073778376 140734803619168 18446744073709551615 254273432473 0 4 0 16800975 18446604459332147328 0 0 -1 3 0 0 0
[pid=6798/tid=6816] ppid=6796 vsize=15700688 CPUtime=0 cores=1,3,5,7
/proc/6798/task/6816/stat : 6816 (java) S 6796 6798 4923 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 22 0 499763229 16077504512 3833562 33554432000 1073741824 1073778376 140734803619168 18446744073709551615 254273432473 0 4 0 16800975 18446604459332147328 0 0 -1 3 0 0 0
[pid=6798/tid=6817] ppid=6796 vsize=15700688 CPUtime=0 cores=1,3,5,7
/proc/6798/task/6817/stat : 6817 (java) S 6796 6798 4923 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 499763231 16077504512 3833562 33554432000 1073741824 1073778376 140734803619168 18446744073709551615 254273440177 0 4 0 16800975 18446604459332147328 0 0 -1 5 0 0 0
[pid=6798/tid=6818] ppid=6796 vsize=15700688 CPUtime=1.21 cores=1,3,5,7
/proc/6798/task/6818/stat : 6818 (java) S 6796 6798 4923 0 -1 4202560 7689 0 3 0 120 1 0 0 15 0 22 0 499763231 16077504512 3833562 33554432000 1073741824 1073778376 140734803619168 18446744073709551615 254273432473 0 4 0 16800975 18446604459332147328 0 0 -1 3 0 0 0
[pid=6798/tid=6819] ppid=6796 vsize=15700688 CPUtime=1.42 cores=1,3,5,7
/proc/6798/task/6819/stat : 6819 (java) S 6796 6798 4923 0 -1 4202560 9564 0 1 0 142 0 0 0 15 0 22 0 499763231 16077504512 3833562 33554432000 1073741824 1073778376 140734803619168 18446744073709551615 254273432473 0 4 0 16800975 18446604459332147328 0 0 -1 1 0 0 4
[pid=6798/tid=6820] ppid=6796 vsize=15700688 CPUtime=0 cores=1,3,5,7
/proc/6798/task/6820/stat : 6820 (java) S 6796 6798 4923 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 499763231 16077504512 3833562 33554432000 1073741824 1073778376 140734803619168 18446744073709551615 254273432473 0 4 0 16800975 18446604459332147328 0 0 -1 5 0 0 0
[pid=6798/tid=6821] ppid=6796 vsize=15700688 CPUtime=0 cores=1,3,5,7
/proc/6798/task/6821/stat : 6821 (java) S 6796 6798 4923 0 -1 4202560 70 0 0 0 0 0 0 0 15 0 22 0 499763231 16077504512 3833562 33554432000 1073741824 1073778376 140734803619168 18446744073709551615 254273433088 0 4 0 16800975 18446604459332147328 0 0 -1 5 0 0 0
[pid=6798/tid=6826] ppid=6796 vsize=15700688 CPUtime=1020.61 cores=1,3,5,7
/proc/6798/task/6826/stat : 6826 (java) R 6796 6798 4923 0 -1 4202560 1604 0 0 0 102061 0 0 0 25 0 22 0 499763488 16077504512 3833562 33554432000 1073741824 1073778376 140734803619168 18446744073709551615 46912505910776 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=6798/tid=6827] ppid=6796 vsize=15700688 CPUtime=930.54 cores=1,3,5,7
/proc/6798/task/6827/stat : 6827 (java) R 6796 6798 4923 0 -1 4202560 56 0 0 0 93054 0 0 0 25 0 22 0 499763488 16077504512 3833562 33554432000 1073741824 1073778376 140734803619168 18446744073709551615 46912505910744 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=6798/tid=6828] ppid=6796 vsize=15700688 CPUtime=1031.22 cores=1,3,5,7
/proc/6798/task/6828/stat : 6828 (java) R 6796 6798 4923 0 -1 4202560 37856 0 0 0 103118 4 0 0 25 0 22 0 499763489 16077504512 3833562 33554432000 1073741824 1073778376 140734803619168 18446744073709551615 46912505842421 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=6798/tid=6829] ppid=6796 vsize=15700688 CPUtime=1070 cores=1,3,5,7
/proc/6798/task/6829/stat : 6829 (java) R 6796 6798 4923 0 -1 4202560 38862 0 0 0 106996 4 0 0 25 0 22 0 499763489 16077504512 3833562 33554432000 1073741824 1073778376 140734803619168 18446744073709551615 46912506023016 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4246.83
Current children cumulated vsize (KiB) 15700688



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 6.33 7.57 7.47 6/216 6911
/proc/meminfo: memFree=3657188/32951124 swapFree=67111528/67111528
[pid=6798] ppid=6796 vsize=15700688 CPUtime=4453.47 cores=1,3,5,7
/proc/6798/stat : 6798 (java) S 6796 6798 4923 0 -1 4202496 3907836 0 6 0 444708 639 0 0 18 0 22 0 499763226 16077504512 3833562 33554432000 1073741824 1073778376 140734803619168 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/6798/statm: 3925172 3833562 2295 9 0 3915891 0
[pid=6798/tid=6799] ppid=6796 vsize=15700688 CPUtime=68.79 cores=1,3,5,7
/proc/6798/task/6799/stat : 6799 (java) S 6796 6798 4923 0 -1 4202560 163287 0 2 0 6858 21 0 0 18 0 22 0 499763227 16077504512 3833562 33554432000 1073741824 1073778376 140734803619168 18446744073709551615 254273432473 0 4 0 16800975 18446604459332147328 0 0 -1 5 0 0 3
[pid=6798/tid=6806] ppid=6796 vsize=15700688 CPUtime=11.15 cores=1,3,5,7
/proc/6798/task/6806/stat : 6806 (java) S 6796 6798 4923 0 -1 4202560 548804 0 0 0 1024 91 0 0 16 0 22 0 499763227 16077504512 3833562 33554432000 1073741824 1073778376 140734803619168 18446744073709551615 254273432473 0 4 0 16800975 18446604459332147328 0 0 -1 5 0 0 0
[pid=6798/tid=6807] ppid=6796 vsize=15700688 CPUtime=12.5 cores=1,3,5,7
/proc/6798/task/6807/stat : 6807 (java) S 6796 6798 4923 0 -1 4202560 473269 0 0 0 1172 78 0 0 16 0 22 0 499763227 16077504512 3833562 33554432000 1073741824 1073778376 140734803619168 18446744073709551615 254273432473 0 4 0 16800975 18446604459332147328 0 0 -1 7 0 0 0
[pid=6798/tid=6808] ppid=6796 vsize=15700688 CPUtime=10.52 cores=1,3,5,7
/proc/6798/task/6808/stat : 6808 (java) S 6796 6798 4923 0 -1 4202560 440518 0 0 0 980 72 0 0 16 0 22 0 499763227 16077504512 3833562 33554432000 1073741824 1073778376 140734803619168 18446744073709551615 254273432473 0 4 0 16800975 18446604459332147328 0 0 -1 7 0 0 0
[pid=6798/tid=6809] ppid=6796 vsize=15700688 CPUtime=9.64 cores=1,3,5,7
/proc/6798/task/6809/stat : 6809 (java) S 6796 6798 4923 0 -1 4202560 264704 0 0 0 919 45 0 0 16 0 22 0 499763227 16077504512 3833562 33554432000 1073741824 1073778376 140734803619168 18446744073709551615 254273432473 0 4 0 16800975 18446604459332147328 0 0 -1 1 0 0 0
[pid=6798/tid=6810] ppid=6796 vsize=15700688 CPUtime=10.91 cores=1,3,5,7
/proc/6798/task/6810/stat : 6810 (java) S 6796 6798 4923 0 -1 4202560 430918 0 0 0 1019 72 0 0 16 0 22 0 499763227 16077504512 3833562 33554432000 1073741824 1073778376 140734803619168 18446744073709551615 254273432473 0 4 0 16800975 18446604459332147328 0 0 -1 7 0 0 0
[pid=6798/tid=6811] ppid=6796 vsize=15700688 CPUtime=11.45 cores=1,3,5,7
/proc/6798/task/6811/stat : 6811 (java) S 6796 6798 4923 0 -1 4202560 539752 0 0 0 1054 91 0 0 16 0 22 0 499763227 16077504512 3833562 33554432000 1073741824 1073778376 140734803619168 18446744073709551615 254273432473 0 4 0 16800975 18446604459332147328 0 0 -1 1 0 0 0
[pid=6798/tid=6812] ppid=6796 vsize=15700688 CPUtime=10.37 cores=1,3,5,7
/proc/6798/task/6812/stat : 6812 (java) S 6796 6798 4923 0 -1 4202560 473248 0 0 0 962 75 0 0 16 0 22 0 499763227 16077504512 3833562 33554432000 1073741824 1073778376 140734803619168 18446744073709551615 254273432473 0 4 0 16800975 18446604459332147328 0 0 -1 5 0 0 0
[pid=6798/tid=6813] ppid=6796 vsize=15700688 CPUtime=9.52 cores=1,3,5,7
/proc/6798/task/6813/stat : 6813 (java) S 6796 6798 4923 0 -1 4202560 327395 0 0 0 895 57 0 0 16 0 22 0 499763227 16077504512 3833562 33554432000 1073741824 1073778376 140734803619168 18446744073709551615 254273432473 0 4 0 16800975 18446604459332147328 0 0 -1 5 0 0 0
[pid=6798/tid=6814] ppid=6796 vsize=15700688 CPUtime=44.78 cores=1,3,5,7
/proc/6798/task/6814/stat : 6814 (java) S 6796 6798 4923 0 -1 4202560 148838 0 0 0 4460 18 0 0 16 0 22 0 499763228 16077504512 3833562 33554432000 1073741824 1073778376 140734803619168 18446744073709551615 254273433088 0 0 0 16800975 18446604459332147328 0 0 -1 3 0 0 0
[pid=6798/tid=6815] ppid=6796 vsize=15700688 CPUtime=0 cores=1,3,5,7
/proc/6798/task/6815/stat : 6815 (java) S 6796 6798 4923 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 499763229 16077504512 3833562 33554432000 1073741824 1073778376 140734803619168 18446744073709551615 254273432473 0 4 0 16800975 18446604459332147328 0 0 -1 3 0 0 0
[pid=6798/tid=6816] ppid=6796 vsize=15700688 CPUtime=0 cores=1,3,5,7
/proc/6798/task/6816/stat : 6816 (java) S 6796 6798 4923 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 22 0 499763229 16077504512 3833562 33554432000 1073741824 1073778376 140734803619168 18446744073709551615 254273432473 0 4 0 16800975 18446604459332147328 0 0 -1 3 0 0 0
[pid=6798/tid=6817] ppid=6796 vsize=15700688 CPUtime=0 cores=1,3,5,7
/proc/6798/task/6817/stat : 6817 (java) S 6796 6798 4923 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 499763231 16077504512 3833562 33554432000 1073741824 1073778376 140734803619168 18446744073709551615 254273440177 0 4 0 16800975 18446604459332147328 0 0 -1 5 0 0 0
[pid=6798/tid=6818] ppid=6796 vsize=15700688 CPUtime=1.21 cores=1,3,5,7
/proc/6798/task/6818/stat : 6818 (java) S 6796 6798 4923 0 -1 4202560 7689 0 3 0 120 1 0 0 15 0 22 0 499763231 16077504512 3833562 33554432000 1073741824 1073778376 140734803619168 18446744073709551615 254273432473 0 4 0 16800975 18446604459332147328 0 0 -1 3 0 0 0
[pid=6798/tid=6819] ppid=6796 vsize=15700688 CPUtime=1.42 cores=1,3,5,7
/proc/6798/task/6819/stat : 6819 (java) S 6796 6798 4923 0 -1 4202560 9564 0 1 0 142 0 0 0 15 0 22 0 499763231 16077504512 3833562 33554432000 1073741824 1073778376 140734803619168 18446744073709551615 254273432473 0 4 0 16800975 18446604459332147328 0 0 -1 1 0 0 4
[pid=6798/tid=6820] ppid=6796 vsize=15700688 CPUtime=0 cores=1,3,5,7
/proc/6798/task/6820/stat : 6820 (java) S 6796 6798 4923 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 499763231 16077504512 3833562 33554432000 1073741824 1073778376 140734803619168 18446744073709551615 254273432473 0 4 0 16800975 18446604459332147328 0 0 -1 5 0 0 0
[pid=6798/tid=6821] ppid=6796 vsize=15700688 CPUtime=0 cores=1,3,5,7
/proc/6798/task/6821/stat : 6821 (java) S 6796 6798 4923 0 -1 4202560 74 0 0 0 0 0 0 0 15 0 22 0 499763231 16077504512 3833562 33554432000 1073741824 1073778376 140734803619168 18446744073709551615 254273433088 0 4 0 16800975 18446604459332147328 0 0 -1 5 0 0 0
[pid=6798/tid=6826] ppid=6796 vsize=15700688 CPUtime=1070.35 cores=1,3,5,7
/proc/6798/task/6826/stat : 6826 (java) R 6796 6798 4923 0 -1 4202560 1606 0 0 0 107035 0 0 0 24 0 22 0 499763488 16077504512 3833562 33554432000 1073741824 1073778376 140734803619168 18446744073709551615 46912505761484 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=6798/tid=6827] ppid=6796 vsize=15700688 CPUtime=980.01 cores=1,3,5,7
/proc/6798/task/6827/stat : 6827 (java) R 6796 6798 4923 0 -1 4202560 59 0 0 0 98001 0 0 0 24 0 22 0 499763488 16077504512 3833562 33554432000 1073741824 1073778376 140734803619168 18446744073709551615 46912506023572 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=6798/tid=6828] ppid=6796 vsize=15700688 CPUtime=1080.96 cores=1,3,5,7
/proc/6798/task/6828/stat : 6828 (java) R 6796 6798 4923 0 -1 4202560 37859 0 0 0 108092 4 0 0 24 0 22 0 499763489 16077504512 3833562 33554432000 1073741824 1073778376 140734803619168 18446744073709551615 46912505582314 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=6798/tid=6829] ppid=6796 vsize=15700688 CPUtime=1119.74 cores=1,3,5,7
/proc/6798/task/6829/stat : 6829 (java) R 6796 6798 4923 0 -1 4202560 38866 0 0 0 111970 4 0 0 25 0 22 0 499763489 16077504512 3833562 33554432000 1073741824 1073778376 140734803619168 18446744073709551615 46912506099937 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4453.47
Current children cumulated vsize (KiB) 15700688

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

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

[startup+1300.2 s]
/proc/loadavg: 6.33 7.57 7.47 6/216 6911
/proc/meminfo: memFree=3657188/32951124 swapFree=67111528/67111528
[pid=6798] ppid=6796 vsize=0 CPUtime=4453.69 cores=1,3,5,7
/proc/6798/stat : 6798 (java) Z 6796 6798 4923 0 -1 4203548 3907862 0 6 0 444711 658 0 0 17 0 2 0 499763226 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/6798/statm: 0 0 0 0 0 0 0
[pid=6798/tid=6828] ppid=6796 vsize=0 CPUtime=1081.15 cores=1,3,5,7
/proc/6798/task/6828/stat : 6828 (java) R 6796 6798 4923 0 -1 4203588 37859 0 0 0 108093 22 0 0 25 0 2 0 499763489 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4453.69
Current children cumulated vsize (KiB) 0

[startup+1300.41 s]
/proc/loadavg: 5.98 7.48 7.44 3/197 6914
/proc/meminfo: memFree=11921568/32951124 swapFree=67111528/67111528
[pid=6798] ppid=6796 vsize=0 CPUtime=4453.89 cores=1,3,5,7
/proc/6798/stat : 6798 (java) Z 6796 6798 4923 0 -1 4203548 3907862 0 6 0 444711 678 0 0 17 0 2 0 499763226 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/6798/statm: 0 0 0 0 0 0 0
[pid=6798/tid=6828] ppid=6796 vsize=0 CPUtime=1081.36 cores=1,3,5,7
/proc/6798/task/6828/stat : 6828 (java) R 6796 6798 4923 0 -1 4203588 37859 0 0 0 108093 43 0 0 25 0 2 0 499763489 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4453.89
Current children cumulated vsize (KiB) 0

[startup+1300.5 s]
/proc/loadavg: 5.98 7.48 7.44 3/197 6914
/proc/meminfo: memFree=11921568/32951124 swapFree=67111528/67111528
[pid=6798] ppid=6796 vsize=0 CPUtime=4453.99 cores=1,3,5,7
/proc/6798/stat : 6798 (java) Z 6796 6798 4923 0 -1 4203548 3907862 0 6 0 444711 688 0 0 17 0 2 0 499763226 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/6798/statm: 0 0 0 0 0 0 0
[pid=6798/tid=6828] ppid=6796 vsize=0 CPUtime=1081.45 cores=1,3,5,7
/proc/6798/task/6828/stat : 6828 (java) R 6796 6798 4923 0 -1 4203588 37859 0 0 0 108093 52 0 0 25 0 2 0 499763489 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4453.99
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1300.58
CPU time (s): 4454.07
CPU user time (s): 4447.11
CPU system time (s): 6.95994
CPU usage (%): 342.469
Max. virtual memory (cumulated for all children) (KiB): 15707080

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4447.11
system time used= 6.95994
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3907862
page faults= 6
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 43297
involuntary context switches= 82487

runsolver used 2.18467 second user time and 4.94325 second system time

The end

Launcher Data 

Begin job on node140 at 2011-04-29 12:37:59
IDJOB=3313455
IDBENCH=20386
IDSOLVER=1699
FILE ID=node140/3313455-1304073478
RUNJOBID= node140-1304073478-6767
PBS_JOBID= 13170433
Free space on /tmp= 72640 MiB

SOLVER NAME= STRUCTure 0.1
BENCH NAME= SAT07/industrial/anbulagan/hard-unsat/partial-5-11-u.cnf
COMMAND LINE= run 15000 NBCORE TMPDIR DIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3313455-1304073478/watcher-3313455-1304073478 -o /tmp/evaluation-result-3313455-1304073478/solver-3313455-1304073478 -C 4800 -W 1300 -M 15500  run 15000 4 HOME HOME HOME/instance-3313455-1304073478.cnf

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

MD5SUM BENCH= 8e22d84b1ae625d44fbf300a32374a2d
RANDOM SEED=1893656361

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
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.833
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:      22170780 kB
Buffers:       2300064 kB
Cached:        7842316 kB
SwapCached:          0 kB
Active:        2718052 kB
Inactive:      7494020 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      22170780 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           26428 kB
Writeback:           8 kB
AnonPages:       69188 kB
Mapped:          20992 kB
Slab:           504920 kB
PageTables:       4496 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   770372 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= 72348 MiB
End job on node140 at 2011-04-29 12:59:41