Trace number 3312568

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
STRUCTure 0.1? (TO) 4800.08 1206.84

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v600-c2556-S1734827769-099.UNKNOWN.cnf
MD5SUM2eb2fa74ab0dce335225200db81f6563
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables600
Number of clauses2556
Sum of the clauses size7668
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32556
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.10/0.12	00:09 INFO : Reading from input HOME/instance-3312568-1304121608.cnf
0.27/0.25	Executor set job limit to 1000000
0.27/0.25	Executor set job limit to 1000000
0.27/0.25	Executor set job limit to 1000000
0.27/0.25	Executor set job limit to 1000000
0.27/0.26	Starting Executor!
0.27/0.26	Starting Executor!
0.27/0.26	Starting Executor!
0.27/0.26	Starting Executor!
0.55/0.38	00:09 INFO : 598 variables remaining out of 600
0.55/0.38	00:09 INFO : 10180 literals remaining out of 10224

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

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.90 7.85 7.95 2/172 20908
/proc/meminfo: memFree=30643768/32950928 swapFree=67111428/67111528
[pid=20908] ppid=20906 vsize=23028 CPUtime=0 cores=0,2,4,6
/proc/20908/stat : 20908 (java) R 20906 20908 20152 0 -1 4202496 925 0 0 0 0 0 0 0 23 0 1 0 523760632 23580672 411 33554432000 1073741824 1073778376 140734807694496 18446744073709551615 248084735765 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/20908/statm: 5757 423 327 9 0 124 0

[startup+0.083266 s]
/proc/loadavg: 6.90 7.85 7.95 2/172 20908
/proc/meminfo: memFree=30643768/32950928 swapFree=67111428/67111528
[pid=20908] ppid=20906 vsize=15676528 CPUtime=0.07 cores=0,2,4,6
/proc/20908/stat : 20908 (java) S 20906 20908 20152 0 -1 4202496 5107 0 1 0 6 1 0 0 23 0 18 0 523760632 16052764672 4522 33554432000 1073741824 1073778376 140734807694496 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/20908/statm: 3919132 4523 2043 9 0 3909851 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 15676528

[startup+0.100259 s]
/proc/loadavg: 6.90 7.85 7.95 2/172 20908
/proc/meminfo: memFree=30643768/32950928 swapFree=67111428/67111528
[pid=20908] ppid=20906 vsize=15676968 CPUtime=0.1 cores=0,2,4,6
/proc/20908/stat : 20908 (java) S 20906 20908 20152 0 -1 4202496 5566 0 1 0 9 1 0 0 23 0 18 0 523760632 16053215232 4981 33554432000 1073741824 1073778376 140734807694496 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/20908/statm: 3919242 4981 2117 9 0 3909961 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15676968

[startup+0.307182 s]
/proc/loadavg: 6.90 7.85 7.95 2/172 20908
/proc/meminfo: memFree=30643768/32950928 swapFree=67111428/67111528
[pid=20908] ppid=20906 vsize=15752348 CPUtime=0.55 cores=0,2,4,6
/proc/20908/stat : 20908 (java) S 20906 20908 20152 0 -1 4202496 11209 0 1 0 52 3 0 0 23 0 22 0 523760632 16130404352 9704 33554432000 1073741824 1073778376 140734807694496 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/20908/statm: 3938087 9704 2213 9 0 3928806 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 15752348

[startup+0.801052 s]
/proc/loadavg: 6.90 7.85 7.95 2/172 20908
/proc/meminfo: memFree=30643768/32950928 swapFree=67111428/67111528
[pid=20908] ppid=20906 vsize=15758104 CPUtime=2.18 cores=0,2,4,6
/proc/20908/stat : 20908 (java) S 20906 20908 20152 0 -1 4202496 35688 0 1 0 212 6 0 0 23 0 22 0 523760632 16136298496 28982 33554432000 1073741824 1073778376 140734807694496 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/20908/statm: 3939526 28741 2257 9 0 3930245 0
Current children cumulated CPU time (s) 2.18
Current children cumulated vsize (KiB) 15758104

[startup+1.50097 s]
/proc/loadavg: 6.90 7.85 7.95 13/220 20959
/proc/meminfo: memFree=30288128/32950928 swapFree=67111428/67111528
[pid=20908] ppid=20906 vsize=15755332 CPUtime=4.95 cores=0,2,4,6
/proc/20908/stat : 20908 (java) S 20906 20908 20152 0 -1 4202496 63548 0 1 0 486 9 0 0 23 0 22 0 523760632 16133459968 56218 33554432000 1073741824 1073778376 140734807694496 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/20908/statm: 3938833 56218 2283 9 0 3929552 0
[pid=20908/tid=20911] ppid=20906 vsize=15755332 CPUtime=0.37 cores=0,2,4,6
/proc/20908/task/20911/stat : 20911 (java) S 20906 20908 20152 0 -1 4202560 6612 0 1 0 35 2 0 0 20 0 22 0 523760633 16133459968 56218 33554432000 1073741824 1073778376 140734807694496 18446744073709551615 248101514137 0 4 0 16800975 18446604453846582592 0 0 -1 2 0 0 0
[pid=20908/tid=20914] ppid=20906 vsize=15755332 CPUtime=0 cores=0,2,4,6
/proc/20908/task/20914/stat : 20914 (java) S 20906 20908 20152 0 -1 4202560 1800 0 0 0 0 0 0 0 16 0 22 0 523760633 16133459968 56218 33554432000 1073741824 1073778376 140734807694496 18446744073709551615 248101514137 0 4 0 16800975 18446604453846582592 0 0 -1 4 0 0 0
[pid=20908/tid=20915] ppid=20906 vsize=15755332 CPUtime=0 cores=0,2,4,6
/proc/20908/task/20915/stat : 20915 (java) S 20906 20908 20152 0 -1 4202560 771 0 0 0 0 0 0 0 15 0 22 0 523760633 16133459968 56218 33554432000 1073741824 1073778376 140734807694496 18446744073709551615 248101514137 0 4 0 16800975 18446604453846582592 0 0 -1 6 0 0 0
[pid=20908/tid=20916] ppid=20906 vsize=15755332 CPUtime=0 cores=0,2,4,6
/proc/20908/task/20916/stat : 20916 (java) S 20906 20908 20152 0 -1 4202560 446 0 0 0 0 0 0 0 15 0 22 0 523760633 16133459968 56218 33554432000 1073741824 1073778376 140734807694496 18446744073709551615 248101514137 0 4 0 16800975 18446604453846582592 0 0 -1 0 0 0 0
[pid=20908/tid=20917] ppid=20906 vsize=15755332 CPUtime=0 cores=0,2,4,6
/proc/20908/task/20917/stat : 20917 (java) S 20906 20908 20152 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 523760633 16133459968 56218 33554432000 1073741824 1073778376 140734807694496 18446744073709551615 248101514137 0 4 0 16800975 18446604453846582592 0 0 -1 6 0 0 0
[pid=20908/tid=20918] ppid=20906 vsize=15755332 CPUtime=0 cores=0,2,4,6
/proc/20908/task/20918/stat : 20918 (java) S 20906 20908 20152 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 523760633 16133459968 56218 33554432000 1073741824 1073778376 140734807694496 18446744073709551615 248101514137 0 4 0 16800975 18446604453846582592 0 0 -1 6 0 0 0
[pid=20908/tid=20919] ppid=20906 vsize=15755332 CPUtime=0 cores=0,2,4,6
/proc/20908/task/20919/stat : 20919 (java) S 20906 20908 20152 0 -1 4202560 1375 0 0 0 0 0 0 0 16 0 22 0 523760633 16133459968 56218 33554432000 1073741824 1073778376 140734807694496 18446744073709551615 248101514137 0 4 0 16800975 18446604453846582592 0 0 -1 6 0 0 0
[pid=20908/tid=20920] ppid=20906 vsize=15755332 CPUtime=0 cores=0,2,4,6
/proc/20908/task/20920/stat : 20920 (java) S 20906 20908 20152 0 -1 4202560 1591 0 0 0 0 0 0 0 16 0 22 0 523760633 16133459968 56218 33554432000 1073741824 1073778376 140734807694496 18446744073709551615 248101514137 0 4 0 16800975 18446604453846582592 0 0 -1 0 0 0 0
[pid=20908/tid=20921] ppid=20906 vsize=15755332 CPUtime=0.01 cores=0,2,4,6
/proc/20908/task/20921/stat : 20921 (java) R 20906 20908 20152 0 -1 4202560 1835 0 0 0 1 0 0 0 16 0 22 0 523760633 16133459968 56218 33554432000 1073741824 1073778376 140734807694496 18446744073709551615 248101514137 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=20908/tid=20926] ppid=20906 vsize=15755332 CPUtime=0 cores=0,2,4,6
/proc/20908/task/20926/stat : 20926 (java) S 20906 20908 20152 0 -1 4202560 73 0 0 0 0 0 0 0 15 0 22 0 523760634 16133459968 56218 33554432000 1073741824 1073778376 140734807694496 18446744073709551615 248101514752 0 0 0 16800975 18446604453846582592 0 0 -1 4 0 0 0
[pid=20908/tid=20928] ppid=20906 vsize=15755332 CPUtime=0 cores=0,2,4,6
/proc/20908/task/20928/stat : 20928 (java) S 20906 20908 20152 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 523760635 16133459968 56218 33554432000 1073741824 1073778376 140734807694496 18446744073709551615 248101514137 0 4 0 16800975 18446604453846582592 0 0 -1 6 0 0 0
[pid=20908/tid=20929] ppid=20906 vsize=15755332 CPUtime=0 cores=0,2,4,6
/proc/20908/task/20929/stat : 20929 (java) S 20906 20908 20152 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 523760635 16133459968 56218 33554432000 1073741824 1073778376 140734807694496 18446744073709551615 248101514137 0 4 0 16800975 18446604453846582592 0 0 -1 0 0 0 0
[pid=20908/tid=20942] ppid=20906 vsize=15755332 CPUtime=0 cores=0,2,4,6
/proc/20908/task/20942/stat : 20942 (java) S 20906 20908 20152 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523760637 16133459968 56218 33554432000 1073741824 1073778376 140734807694496 18446744073709551615 248101521841 0 4 0 16800975 18446604453846582592 0 0 -1 2 0 0 0
[pid=20908/tid=20943] ppid=20906 vsize=15755332 CPUtime=0.64 cores=0,2,4,6
/proc/20908/task/20943/stat : 20943 (java) S 20906 20908 20152 0 -1 4202560 6134 0 0 0 63 1 0 0 15 0 22 0 523760637 16133459968 56218 33554432000 1073741824 1073778376 140734807694496 18446744073709551615 248101514137 0 4 0 16800975 18446604453846582592 0 0 -1 0 0 0 0
[pid=20908/tid=20944] ppid=20906 vsize=15755332 CPUtime=0.95 cores=0,2,4,6
/proc/20908/task/20944/stat : 20944 (java) R 20906 20908 20152 0 -1 4202560 12308 0 0 0 94 1 0 0 23 0 22 0 523760637 16133459968 56218 33554432000 1073741824 1073778376 140734807694496 18446744073709551615 248101514137 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=20908/tid=20945] ppid=20906 vsize=15755332 CPUtime=0 cores=0,2,4,6
/proc/20908/task/20945/stat : 20945 (java) S 20906 20908 20152 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523760637 16133459968 56218 33554432000 1073741824 1073778376 140734807694496 18446744073709551615 248101514137 0 4 0 16800975 18446604453846582592 0 0 -1 2 0 0 0
[pid=20908/tid=20946] ppid=20906 vsize=15755332 CPUtime=0 cores=0,2,4,6
/proc/20908/task/20946/stat : 20946 (java) S 20906 20908 20152 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 523760637 16133459968 56218 33554432000 1073741824 1073778376 140734807694496 18446744073709551615 248101514752 0 4 0 16800975 18446604453846582592 0 0 -1 0 0 0 0
[pid=20908/tid=20952] ppid=20906 vsize=15755332 CPUtime=0.63 cores=0,2,4,6
/proc/20908/task/20952/stat : 20952 (java) R 20906 20908 20152 0 -1 4202560 3395 0 0 0 63 0 0 0 18 0 22 0 523760658 16133459968 56218 33554432000 1073741824 1073778376 140734807694496 18446744073709551615 46912505838966 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=20908/tid=20953] ppid=20906 vsize=15755332 CPUtime=0.63 cores=0,2,4,6
/proc/20908/task/20953/stat : 20953 (java) R 20906 20908 20152 0 -1 4202560 6763 0 0 0 63 0 0 0 16 0 22 0 523760658 16133459968 56218 33554432000 1073741824 1073778376 140734807694496 18446744073709551615 46912505862084 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=20908/tid=20954] ppid=20906 vsize=15755332 CPUtime=0.89 cores=0,2,4,6
/proc/20908/task/20954/stat : 20954 (java) R 20906 20908 20152 0 -1 4202560 9852 0 0 0 88 1 0 0 18 0 22 0 523760658 16133459968 56218 33554432000 1073741824 1073778376 140734807694496 18446744073709551615 46912505837888 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=20908/tid=20955] ppid=20906 vsize=15755332 CPUtime=0.74 cores=0,2,4,6
/proc/20908/task/20955/stat : 20955 (java) R 20906 20908 20152 0 -1 4202560 9205 0 0 0 73 1 0 0 16 0 22 0 523760658 16133459968 56218 33554432000 1073741824 1073778376 140734807694496 18446744073709551615 46912505702101 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.95
Current children cumulated vsize (KiB) 15755332

[startup+3.10069 s]
/proc/loadavg: 6.90 7.85 7.95 12/220 20959
/proc/meminfo: memFree=30095804/32950928 swapFree=67111428/67111528
[pid=20908] ppid=20906 vsize=15755332 CPUtime=11.33 cores=0,2,4,6
/proc/20908/stat : 20908 (java) S 20906 20908 20152 0 -1 4202496 157538 0 1 0 1113 20 0 0 23 0 22 0 523760632 16133459968 150141 33554432000 1073741824 1073778376 140734807694496 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/20908/statm: 3938833 150141 2284 9 0 3929552 0
[pid=20908/tid=20911] ppid=20906 vsize=15755332 CPUtime=0.37 cores=0,2,4,6
/proc/20908/task/20911/stat : 20911 (java) S 20906 20908 20152 0 -1 4202560 6612 0 1 0 35 2 0 0 20 0 22 0 523760633 16133459968 150141 33554432000 1073741824 1073778376 140734807694496 18446744073709551615 248101514137 0 4 0 16800975 18446604453846582592 0 0 -1 2 0 0 0
[pid=20908/tid=20914] ppid=20906 vsize=15755332 CPUtime=0 cores=0,2,4,6
/proc/20908/task/20914/stat : 20914 (java) S 20906 20908 20152 0 -1 4202560 2181 0 0 0 0 0 0 0 15 0 22 0 523760633 16133459968 150141 33554432000 1073741824 1073778376 140734807694496 18446744073709551615 248101514137 0 4 0 16800975 18446604453846582592 0 0 -1 4 0 0 0
[pid=20908/tid=20915] ppid=20906 vsize=15755332 CPUtime=0 cores=0,2,4,6
/proc/20908/task/20915/stat : 20915 (java) S 20906 20908 20152 0 -1 4202560 1864 0 0 0 0 0 0 0 15 0 22 0 523760633 16133459968 150141 33554432000 1073741824 1073778376 140734807694496 18446744073709551615 248101514137 0 4 0 16800975 18446604453846582592 0 0 -1 2 0 0 0
[pid=20908/tid=20916] ppid=20906 vsize=15755332 CPUtime=0 cores=0,2,4,6
/proc/20908/task/20916/stat : 20916 (java) S 20906 20908 20152 0 -1 4202560 1644 0 0 0 0 0 0 0 16 0 22 0 523760633 16133459968 150141 33554432000 1073741824 1073778376 140734807694496 18446744073709551615 248101514137 0 4 0 16800975 18446604453846582592 0 0 -1 0 0 0 0
[pid=20908/tid=20917] ppid=20906 vsize=15755332 CPUtime=0 cores=0,2,4,6
/proc/20908/task/20917/stat : 20917 (java) S 20906 20908 20152 0 -1 4202560 1518 0 0 0 0 0 0 0 16 0 22 0 523760633 16133459968 150141 33554432000 1073741824 1073778376 140734807694496 18446744073709551615 248101514137 0 4 0 16800975 18446604453846582592 0 0 -1 6 0 0 0
[pid=20908/tid=20918] ppid=20906 vsize=15755332 CPUtime=0 cores=0,2,4,6
/proc/20908/task/20918/stat : 20918 (java) S 20906 20908 20152 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 523760633 16133459968 150141 33554432000 1073741824 1073778376 140734807694496 18446744073709551615 248101514137 0 4 0 16800975 18446604453846582592 0 0 -1 4 0 0 0
[pid=20908/tid=20919] ppid=20906 vsize=15755332 CPUtime=0.01 cores=0,2,4,6
/proc/20908/task/20919/stat : 20919 (java) S 20906 20908 20152 0 -1 4202560 3343 0 0 0 1 0 0 0 15 0 22 0 523760633 16133459968 150141 33554432000 1073741824 1073778376 140734807694496 18446744073709551615 248101514137 0 4 0 16800975 18446604453846582592 0 0 -1 2 0 0 0
[pid=20908/tid=20920] ppid=20906 vsize=15755332 CPUtime=0 cores=0,2,4,6
/proc/20908/task/20920/stat : 20920 (java) S 20906 20908 20152 0 -1 4202560 2479 0 0 0 0 0 0 0 16 0 22 0 523760633 16133459968 150141 33554432000 1073741824 1073778376 140734807694496 18446744073709551615 248101514137 0 4 0 16800975 18446604453846582592 0 0 -1 2 0 0 0
[pid=20908/tid=20921] ppid=20906 vsize=15755332 CPUtime=0.01 cores=0,2,4,6
/proc/20908/task/20921/stat : 20921 (java) S 20906 20908 20152 0 -1 4202560 2859 0 0 0 1 0 0 0 16 0 22 0 523760633 16133459968 150141 33554432000 1073741824 1073778376 140734807694496 18446744073709551615 248101514137 0 4 0 16800975 18446604453846582592 0 0 -1 4 0 0 0
[pid=20908/tid=20926] ppid=20906 vsize=15755332 CPUtime=0 cores=0,2,4,6
/proc/20908/task/20926/stat : 20926 (java) S 20906 20908 20152 0 -1 4202560 442 0 0 0 0 0 0 0 15 0 22 0 523760634 16133459968 150141 33554432000 1073741824 1073778376 140734807694496 18446744073709551615 248101514752 0 0 0 16800975 18446604453846582592 0 0 -1 6 0 0 0
[pid=20908/tid=20928] ppid=20906 vsize=15755332 CPUtime=0 cores=0,2,4,6
/proc/20908/task/20928/stat : 20928 (java) S 20906 20908 20152 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 523760635 16133459968 150141 33554432000 1073741824 1073778376 140734807694496 18446744073709551615 248101514137 0 4 0 16800975 18446604453846582592 0 0 -1 6 0 0 0
[pid=20908/tid=20929] ppid=20906 vsize=15755332 CPUtime=0 cores=0,2,4,6
/proc/20908/task/20929/stat : 20929 (java) S 20906 20908 20152 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 523760635 16133459968 150141 33554432000 1073741824 1073778376 140734807694496 18446744073709551615 248101514137 0 4 0 16800975 18446604453846582592 0 0 -1 0 0 0 0
[pid=20908/tid=20942] ppid=20906 vsize=15755332 CPUtime=0 cores=0,2,4,6
/proc/20908/task/20942/stat : 20942 (java) S 20906 20908 20152 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523760637 16133459968 150141 33554432000 1073741824 1073778376 140734807694496 18446744073709551615 248101521841 0 4 0 16800975 18446604453846582592 0 0 -1 2 0 0 0
[pid=20908/tid=20943] ppid=20906 vsize=15755332 CPUtime=0.82 cores=0,2,4,6
/proc/20908/task/20943/stat : 20943 (java) S 20906 20908 20152 0 -1 4202560 6279 0 0 0 81 1 0 0 16 0 22 0 523760637 16133459968 150141 33554432000 1073741824 1073778376 140734807694496 18446744073709551615 248101514137 0 4 0 16800975 18446604453846582592 0 0 -1 0 0 0 0
[pid=20908/tid=20944] ppid=20906 vsize=15755332 CPUtime=0.95 cores=0,2,4,6
/proc/20908/task/20944/stat : 20944 (java) R 20906 20908 20152 0 -1 4202560 12310 0 0 0 94 1 0 0 21 0 22 0 523760637 16133459968 150141 33554432000 1073741824 1073778376 140734807694496 18446744073709551615 248101524149 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=20908/tid=20945] ppid=20906 vsize=15755332 CPUtime=0 cores=0,2,4,6
/proc/20908/task/20945/stat : 20945 (java) S 20906 20908 20152 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523760637 16133459968 150141 33554432000 1073741824 1073778376 140734807694496 18446744073709551615 248101514137 0 4 0 16800975 18446604453846582592 0 0 -1 2 0 0 0
[pid=20908/tid=20946] ppid=20906 vsize=15755332 CPUtime=0 cores=0,2,4,6
/proc/20908/task/20946/stat : 20946 (java) S 20906 20908 20152 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 523760637 16133459968 150141 33554432000 1073741824 1073778376 140734807694496 18446744073709551615 248101514752 0 4 0 16800975 18446604453846582592 0 0 -1 0 0 0 0
[pid=20908/tid=20952] ppid=20906 vsize=15755332 CPUtime=2.04 cores=0,2,4,6
/proc/20908/task/20952/stat : 20952 (java) R 20906 20908 20152 0 -1 4202560 23934 0 0 0 201 3 0 0 20 0 22 0 523760658 16133459968 150141 33554432000 1073741824 1073778376 140734807694496 18446744073709551615 46912505827840 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=20908/tid=20953] ppid=20906 vsize=15755332 CPUtime=2.21 cores=0,2,4,6
/proc/20908/task/20953/stat : 20953 (java) R 20906 20908 20152 0 -1 4202560 28095 0 0 0 219 2 0 0 18 0 22 0 523760658 16133459968 150141 33554432000 1073741824 1073778376 140734807694496 18446744073709551615 46912505764303 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=20908/tid=20954] ppid=20906 vsize=15755332 CPUtime=2.47 cores=0,2,4,6
/proc/20908/task/20954/stat : 20954 (java) R 20906 20908 20152 0 -1 4202560 31111 0 0 0 244 3 0 0 21 0 22 0 523760658 16133459968 150141 33554432000 1073741824 1073778376 140734807694496 18446744073709551615 46912505751608 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=20908/tid=20955] ppid=20906 vsize=15755332 CPUtime=2.32 cores=0,2,4,6
/proc/20908/task/20955/stat : 20955 (java) R 20906 20908 20152 0 -1 4202560 31480 0 0 0 230 2 0 0 18 0 22 0 523760658 16133459968 150141 33554432000 1073741824 1073778376 140734807694496 18446744073709551615 46912505728288 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 11.33
Current children cumulated vsize (KiB) 15755332

[startup+6.30112 s]
/proc/loadavg: 7.07 7.87 7.96 9/220 20959
/proc/meminfo: memFree=29380108/32950928 swapFree=67111428/67111528
[pid=20908] ppid=20906 vsize=15749500 CPUtime=24.1 cores=0,2,4,6
/proc/20908/stat : 20908 (java) S 20906 20908 20152 0 -1 4202496 284092 0 1 0 2377 33 0 0 23 0 22 0 523760632 16127488000 271835 33554432000 1073741824 1073778376 140734807694496 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/20908/statm: 3937375 271835 2284 9 0 3928094 0
[pid=20908/tid=20911] ppid=20906 vsize=15749500 CPUtime=0.37 cores=0,2,4,6
/proc/20908/task/20911/stat : 20911 (java) S 20906 20908 20152 0 -1 4202560 6612 0 1 0 35 2 0 0 20 0 22 0 523760633 16127488000 271835 33554432000 1073741824 1073778376 140734807694496 18446744073709551615 248101514137 0 4 0 16800975 18446604453846582592 0 0 -1 2 0 0 0
[pid=20908/tid=20914] ppid=20906 vsize=15749500 CPUtime=0 cores=0,2,4,6
/proc/20908/task/20914/stat : 20914 (java) S 20906 20908 20152 0 -1 4202560 2181 0 0 0 0 0 0 0 15 0 22 0 523760633 16127488000 271835 33554432000 1073741824 1073778376 140734807694496 18446744073709551615 248101514137 0 4 0 16800975 18446604453846582592 0 0 -1 4 0 0 0
[pid=20908/tid=20915] ppid=20906 vsize=15749500 CPUtime=0 cores=0,2,4,6
/proc/20908/task/20915/stat : 20915 (java) S 20906 20908 20152 0 -1 4202560 1994 0 0 0 0 0 0 0 15 0 22 0 523760633 16127488000 271835 33554432000 1073741824 1073778376 140734807694496 18446744073709551615 248101514137 0 4 0 16800975 18446604453846582592 0 0 -1 2 0 0 0
[pid=20908/tid=20916] ppid=20906 vsize=15749500 CPUtime=0 cores=0,2,4,6
/proc/20908/task/20916/stat : 20916 (java) S 20906 20908 20152 0 -1 4202560 1843 0 0 0 0 0 0 0 15 0 22 0 523760633 16127488000 271835 33554432000 1073741824 1073778376 140734807694496 18446744073709551615 248101514137 0 4 0 16800975 18446604453846582592 0 0 -1 0 0 0 0
[pid=20908/tid=20917] ppid=20906 vsize=15749500 CPUtime=0 cores=0,2,4,6
/proc/20908/task/20917/stat : 20917 (java) S 20906 20908 20152 0 -1 4202560 1518 0 0 0 0 0 0 0 16 0 22 0 523760633 16127488000 271835 33554432000 1073741824 1073778376 140734807694496 18446744073709551615 248101514137 0 4 0 16800975 18446604453846582592 0 0 -1 4 0 0 0
[pid=20908/tid=20918] ppid=20906 vsize=15749500 CPUtime=0 cores=0,2,4,6
/proc/20908/task/20918/stat : 20918 (java) S 20906 20908 20152 0 -1 4202560 763 0 0 0 0 0 0 0 15 0 22 0 523760633 16127488000 271835 33554432000 1073741824 1073778376 140734807694496 18446744073709551615 248101514137 0 4 0 16800975 18446604453846582592 0 0 -1 4 0 0 0
[pid=20908/tid=20919] ppid=20906 vsize=15749500 CPUtime=0.01 cores=0,2,4,6
/proc/20908/task/20919/stat : 20919 (java) S 20906 20908 20152 0 -1 4202560 3734 0 0 0 1 0 0 0 15 0 22 0 523760633 16127488000 271835 33554432000 1073741824 1073778376 140734807694496 18446744073709551615 248101514137 0 4 0 16800975 18446604453846582592 0 0 -1 2 0 0 0
[pid=20908/tid=20920] ppid=20906 vsize=15749500 CPUtime=0.01 cores=0,2,4,6
/proc/20908/task/20920/stat : 20920 (java) S 20906 20908 20152 0 -1 4202560 2710 0 0 0 1 0 0 0 15 0 22 0 523760633 16127488000 271835 33554432000 1073741824 1073778376 140734807694496 18446744073709551615 248101514137 0 4 0 16800975 18446604453846582592 0 0 -1 2 0 0 0
[pid=20908/tid=20921] ppid=20906 vsize=15749500 CPUtime=0.01 cores=0,2,4,6
/proc/20908/task/20921/stat : 20921 (java) S 20906 20908 20152 0 -1 4202560 3027 0 0 0 1 0 0 0 16 0 22 0 523760633 16127488000 271835 33554432000 1073741824 1073778376 140734807694496 18446744073709551615 248101514137 0 4 0 16800975 18446604453846582592 0 0 -1 0 0 0 0
[pid=20908/tid=20926] ppid=20906 vsize=15749500 CPUtime=0 cores=0,2,4,6
/proc/20908/task/20926/stat : 20926 (java) S 20906 20908 20152 0 -1 4202560 442 0 0 0 0 0 0 0 15 0 22 0 523760634 16127488000 271835 33554432000 1073741824 1073778376 140734807694496 18446744073709551615 248101514752 0 0 0 16800975 18446604453846582592 0 0 -1 6 0 0 0
[pid=20908/tid=20928] ppid=20906 vsize=15749500 CPUtime=0 cores=0,2,4,6
/proc/20908/task/20928/stat : 20928 (java) S 20906 20908 20152 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 523760635 16127488000 271835 33554432000 1073741824 1073778376 140734807694496 18446744073709551615 248101514137 0 4 0 16800975 18446604453846582592 0 0 -1 6 0 0 0
[pid=20908/tid=20929] ppid=20906 vsize=15749500 CPUtime=0 cores=0,2,4,6
/proc/20908/task/20929/stat : 20929 (java) S 20906 20908 20152 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 523760635 16127488000 271835 33554432000 1073741824 1073778376 140734807694496 18446744073709551615 248101514137 0 4 0 16800975 18446604453846582592 0 0 -1 0 0 0 0
[pid=20908/tid=20942] ppid=20906 vsize=15749500 CPUtime=0 cores=0,2,4,6
/proc/20908/task/20942/stat : 20942 (java) S 20906 20908 20152 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523760637 16127488000 271835 33554432000 1073741824 1073778376 140734807694496 18446744073709551615 248101521841 0 4 0 16800975 18446604453846582592 0 0 -1 2 0 0 0
[pid=20908/tid=20943] ppid=20906 vsize=15749500 CPUtime=0.9 cores=0,2,4,6
/proc/20908/task/20943/stat : 20943 (java) S 20906 20908 20152 0 -1 4202560 6289 0 0 0 89 1 0 0 16 0 22 0 523760637 16127488000 271835 33554432000 1073741824 1073778376 140734807694496 18446744073709551615 248101514137 0 4 0 16800975 18446604453846582592 0 0 -1 0 0 0 0

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

[pid=20908/tid=20953] ppid=20906 vsize=15749500 CPUtime=1049.08 cores=0,2,4,6
/proc/20908/task/20953/stat : 20953 (java) R 20906 20908 20152 0 -1 4202560 407676 0 0 0 104852 56 0 0 25 0 22 0 523760658 16127488000 102532 33554432000 1073741824 1073778376 140734807694496 18446744073709551615 46912505914302 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=20908/tid=20954] ppid=20906 vsize=15749500 CPUtime=1048.34 cores=0,2,4,6
/proc/20908/task/20954/stat : 20954 (java) R 20906 20908 20152 0 -1 4202560 411274 0 0 0 104775 59 0 0 25 0 22 0 523760658 16127488000 102532 33554432000 1073741824 1073778376 140734807694496 18446744073709551615 46912505729204 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=20908/tid=20955] ppid=20906 vsize=15749500 CPUtime=1049.11 cores=0,2,4,6
/proc/20908/task/20955/stat : 20955 (java) R 20906 20908 20152 0 -1 4202560 405100 0 0 0 104859 52 0 0 25 0 22 0 523760658 16127488000 102532 33554432000 1073741824 1073778376 140734807694496 18446744073709551615 46912506049325 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4225.17
Current children cumulated vsize (KiB) 15749500

[startup+1122.3 s]
/proc/loadavg: 8.06 8.06 8.00 9/220 21099
/proc/meminfo: memFree=29879020/32950928 swapFree=67111428/67111528
[pid=20908] ppid=20906 vsize=15749500 CPUtime=4463.79 cores=0,2,4,6
/proc/20908/stat : 20908 (java) S 20906 20908 20152 0 -1 4202496 2844360 0 1 0 445850 529 0 0 23 0 22 0 523760632 16127488000 95002 33554432000 1073741824 1073778376 140734807694496 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/20908/statm: 3937375 95002 2298 9 0 3928094 0
[pid=20908/tid=20911] ppid=20906 vsize=15749500 CPUtime=0.37 cores=0,2,4,6
/proc/20908/task/20911/stat : 20911 (java) S 20906 20908 20152 0 -1 4202560 6612 0 1 0 35 2 0 0 20 0 22 0 523760633 16127488000 95002 33554432000 1073741824 1073778376 140734807694496 18446744073709551615 248101514137 0 4 0 16800975 18446604453846582592 0 0 -1 2 0 0 0
[pid=20908/tid=20914] ppid=20906 vsize=15749500 CPUtime=3.37 cores=0,2,4,6
/proc/20908/task/20914/stat : 20914 (java) S 20906 20908 20152 0 -1 4202560 136993 0 0 0 312 25 0 0 15 0 22 0 523760633 16127488000 95002 33554432000 1073741824 1073778376 140734807694496 18446744073709551615 248101514137 0 4 0 16800975 18446604453846582592 0 0 -1 0 0 0 0
[pid=20908/tid=20915] ppid=20906 vsize=15749500 CPUtime=3.37 cores=0,2,4,6
/proc/20908/task/20915/stat : 20915 (java) S 20906 20908 20152 0 -1 4202560 140818 0 0 0 313 24 0 0 15 0 22 0 523760633 16127488000 95002 33554432000 1073741824 1073778376 140734807694496 18446744073709551615 248101514137 0 4 0 16800975 18446604453846582592 0 0 -1 6 0 0 0
[pid=20908/tid=20916] ppid=20906 vsize=15749500 CPUtime=3.4 cores=0,2,4,6
/proc/20908/task/20916/stat : 20916 (java) S 20906 20908 20152 0 -1 4202560 140445 0 0 0 315 25 0 0 15 0 22 0 523760633 16127488000 95002 33554432000 1073741824 1073778376 140734807694496 18446744073709551615 248101514137 0 4 0 16800975 18446604453846582592 0 0 -1 0 0 0 0
[pid=20908/tid=20917] ppid=20906 vsize=15749500 CPUtime=3.43 cores=0,2,4,6
/proc/20908/task/20917/stat : 20917 (java) S 20906 20908 20152 0 -1 4202560 133660 0 0 0 320 23 0 0 15 0 22 0 523760633 16127488000 95002 33554432000 1073741824 1073778376 140734807694496 18446744073709551615 248101514137 0 4 0 16800975 18446604453846582592 0 0 -1 4 0 0 0
[pid=20908/tid=20918] ppid=20906 vsize=15749500 CPUtime=3.48 cores=0,2,4,6
/proc/20908/task/20918/stat : 20918 (java) S 20906 20908 20152 0 -1 4202560 135436 0 0 0 321 27 0 0 15 0 22 0 523760633 16127488000 95002 33554432000 1073741824 1073778376 140734807694496 18446744073709551615 248101514137 0 4 0 16800975 18446604453846582592 0 0 -1 0 0 0 0
[pid=20908/tid=20919] ppid=20906 vsize=15749500 CPUtime=3.44 cores=0,2,4,6
/proc/20908/task/20919/stat : 20919 (java) S 20906 20908 20152 0 -1 4202560 138593 0 0 0 319 25 0 0 15 0 22 0 523760633 16127488000 95002 33554432000 1073741824 1073778376 140734807694496 18446744073709551615 248101514137 0 4 0 16800975 18446604453846582592 0 0 -1 2 0 0 0
[pid=20908/tid=20920] ppid=20906 vsize=15749500 CPUtime=3.47 cores=0,2,4,6
/proc/20908/task/20920/stat : 20920 (java) S 20906 20908 20152 0 -1 4202560 142596 0 0 0 321 26 0 0 15 0 22 0 523760633 16127488000 95002 33554432000 1073741824 1073778376 140734807694496 18446744073709551615 248101514137 0 4 0 16800975 18446604453846582592 0 0 -1 4 0 0 0
[pid=20908/tid=20921] ppid=20906 vsize=15749500 CPUtime=3.52 cores=0,2,4,6
/proc/20908/task/20921/stat : 20921 (java) S 20906 20908 20152 0 -1 4202560 143409 0 0 0 324 28 0 0 15 0 22 0 523760633 16127488000 95002 33554432000 1073741824 1073778376 140734807694496 18446744073709551615 248101514137 0 4 0 16800975 18446604453846582592 0 0 -1 0 0 0 0
[pid=20908/tid=20926] ppid=20906 vsize=15749500 CPUtime=2.09 cores=0,2,4,6
/proc/20908/task/20926/stat : 20926 (java) S 20906 20908 20152 0 -1 4202560 7133 0 0 0 130 79 0 0 15 0 22 0 523760634 16127488000 95002 33554432000 1073741824 1073778376 140734807694496 18446744073709551615 248101514752 0 0 0 16800975 18446604453846582592 0 0 -1 0 0 0 0
[pid=20908/tid=20928] ppid=20906 vsize=15749500 CPUtime=0 cores=0,2,4,6
/proc/20908/task/20928/stat : 20928 (java) S 20906 20908 20152 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 523760635 16127488000 95002 33554432000 1073741824 1073778376 140734807694496 18446744073709551615 248101514137 0 4 0 16800975 18446604453846582592 0 0 -1 6 0 0 0
[pid=20908/tid=20929] ppid=20906 vsize=15749500 CPUtime=0 cores=0,2,4,6
/proc/20908/task/20929/stat : 20929 (java) S 20906 20908 20152 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 523760635 16127488000 95002 33554432000 1073741824 1073778376 140734807694496 18446744073709551615 248101514137 0 4 0 16800975 18446604453846582592 0 0 -1 0 0 0 0
[pid=20908/tid=20942] ppid=20906 vsize=15749500 CPUtime=0 cores=0,2,4,6
/proc/20908/task/20942/stat : 20942 (java) S 20906 20908 20152 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523760637 16127488000 95002 33554432000 1073741824 1073778376 140734807694496 18446744073709551615 248101521841 0 4 0 16800975 18446604453846582592 0 0 -1 2 0 0 0
[pid=20908/tid=20943] ppid=20906 vsize=15749500 CPUtime=0.99 cores=0,2,4,6
/proc/20908/task/20943/stat : 20943 (java) S 20906 20908 20152 0 -1 4202560 6305 0 0 0 98 1 0 0 15 0 22 0 523760637 16127488000 95002 33554432000 1073741824 1073778376 140734807694496 18446744073709551615 248101514137 0 4 0 16800975 18446604453846582592 0 0 -1 0 0 0 0
[pid=20908/tid=20944] ppid=20906 vsize=15749500 CPUtime=1.01 cores=0,2,4,6
/proc/20908/task/20944/stat : 20944 (java) S 20906 20908 20152 0 -1 4202560 12322 0 0 0 100 1 0 0 15 0 22 0 523760637 16127488000 95002 33554432000 1073741824 1073778376 140734807694496 18446744073709551615 248101514137 0 4 0 16800975 18446604453846582592 0 0 -1 4 0 0 0
[pid=20908/tid=20945] ppid=20906 vsize=15749500 CPUtime=0 cores=0,2,4,6
/proc/20908/task/20945/stat : 20945 (java) S 20906 20908 20152 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523760637 16127488000 95002 33554432000 1073741824 1073778376 140734807694496 18446744073709551615 248101514137 0 4 0 16800975 18446604453846582592 0 0 -1 2 0 0 0
[pid=20908/tid=20946] ppid=20906 vsize=15749500 CPUtime=0 cores=0,2,4,6
/proc/20908/task/20946/stat : 20946 (java) S 20906 20908 20152 0 -1 4202560 62 0 0 0 0 0 0 0 15 0 22 0 523760637 16127488000 95002 33554432000 1073741824 1073778376 140734807694496 18446744073709551615 248101514752 0 4 0 16800975 18446604453846582592 0 0 -1 0 0 0 0
[pid=20908/tid=20952] ppid=20906 vsize=15749500 CPUtime=1107.42 cores=0,2,4,6
/proc/20908/task/20952/stat : 20952 (java) R 20906 20908 20152 0 -1 4202560 415034 0 0 0 110682 60 0 0 25 0 22 0 523760658 16127488000 95002 33554432000 1073741824 1073778376 140734807694496 18446744073709551615 46912505773105 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=20908/tid=20953] ppid=20906 vsize=15749500 CPUtime=1108.31 cores=0,2,4,6
/proc/20908/task/20953/stat : 20953 (java) R 20906 20908 20152 0 -1 4202560 428618 0 0 0 110772 59 0 0 25 0 22 0 523760658 16127488000 95002 33554432000 1073741824 1073778376 140734807694496 18446744073709551615 46912505753105 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=20908/tid=20954] ppid=20906 vsize=15749500 CPUtime=1107.58 cores=0,2,4,6
/proc/20908/task/20954/stat : 20954 (java) R 20906 20908 20152 0 -1 4202560 430367 0 0 0 110697 61 0 0 25 0 22 0 523760658 16127488000 95002 33554432000 1073741824 1073778376 140734807694496 18446744073709551615 47683225187263 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=20908/tid=20955] ppid=20906 vsize=15749500 CPUtime=1108.39 cores=0,2,4,6
/proc/20908/task/20955/stat : 20955 (java) R 20906 20908 20152 0 -1 4202560 424572 0 0 0 110784 55 0 0 25 0 22 0 523760658 16127488000 95002 33554432000 1073741824 1073778376 140734807694496 18446744073709551615 46912505815653 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4463.79
Current children cumulated vsize (KiB) 15749500

[startup+1182.3 s]
/proc/loadavg: 8.06 8.06 8.00 9/220 21101
/proc/meminfo: memFree=29846456/32950928 swapFree=67111428/67111528
[pid=20908] ppid=20906 vsize=15749500 CPUtime=4702.5 cores=0,2,4,6
/proc/20908/stat : 20908 (java) S 20906 20908 20152 0 -1 4202496 2989489 0 1 0 469696 554 0 0 23 0 22 0 523760632 16127488000 102712 33554432000 1073741824 1073778376 140734807694496 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/20908/statm: 3937375 102712 2298 9 0 3928094 0
[pid=20908/tid=20911] ppid=20906 vsize=15749500 CPUtime=0.37 cores=0,2,4,6
/proc/20908/task/20911/stat : 20911 (java) S 20906 20908 20152 0 -1 4202560 6612 0 1 0 35 2 0 0 20 0 22 0 523760633 16127488000 102712 33554432000 1073741824 1073778376 140734807694496 18446744073709551615 248101514137 0 4 0 16800975 18446604453846582592 0 0 -1 2 0 0 0
[pid=20908/tid=20914] ppid=20906 vsize=15749500 CPUtime=3.55 cores=0,2,4,6
/proc/20908/task/20914/stat : 20914 (java) S 20906 20908 20152 0 -1 4202560 144248 0 0 0 329 26 0 0 16 0 22 0 523760633 16127488000 102712 33554432000 1073741824 1073778376 140734807694496 18446744073709551615 248101514137 0 4 0 16800975 18446604453846582592 0 0 -1 0 0 0 0
[pid=20908/tid=20915] ppid=20906 vsize=15749500 CPUtime=3.57 cores=0,2,4,6
/proc/20908/task/20915/stat : 20915 (java) S 20906 20908 20152 0 -1 4202560 147517 0 0 0 332 25 0 0 15 0 22 0 523760633 16127488000 102712 33554432000 1073741824 1073778376 140734807694496 18446744073709551615 248101514137 0 4 0 16800975 18446604453846582592 0 0 -1 2 0 0 0
[pid=20908/tid=20916] ppid=20906 vsize=15749500 CPUtime=3.58 cores=0,2,4,6
/proc/20908/task/20916/stat : 20916 (java) S 20906 20908 20152 0 -1 4202560 147138 0 0 0 331 27 0 0 15 0 22 0 523760633 16127488000 102712 33554432000 1073741824 1073778376 140734807694496 18446744073709551615 248101514137 0 4 0 16800975 18446604453846582592 0 0 -1 2 0 0 0
[pid=20908/tid=20917] ppid=20906 vsize=15749500 CPUtime=3.6 cores=0,2,4,6
/proc/20908/task/20917/stat : 20917 (java) S 20906 20908 20152 0 -1 4202560 140417 0 0 0 335 25 0 0 15 0 22 0 523760633 16127488000 102712 33554432000 1073741824 1073778376 140734807694496 18446744073709551615 248101514137 0 4 0 16800975 18446604453846582592 0 0 -1 0 0 0 0
[pid=20908/tid=20918] ppid=20906 vsize=15749500 CPUtime=3.68 cores=0,2,4,6
/proc/20908/task/20918/stat : 20918 (java) S 20906 20908 20152 0 -1 4202560 141772 0 0 0 340 28 0 0 15 0 22 0 523760633 16127488000 102712 33554432000 1073741824 1073778376 140734807694496 18446744073709551615 248101514137 0 4 0 16800975 18446604453846582592 0 0 -1 4 0 0 0
[pid=20908/tid=20919] ppid=20906 vsize=15749500 CPUtime=3.64 cores=0,2,4,6
/proc/20908/task/20919/stat : 20919 (java) S 20906 20908 20152 0 -1 4202560 146345 0 0 0 337 27 0 0 16 0 22 0 523760633 16127488000 102712 33554432000 1073741824 1073778376 140734807694496 18446744073709551615 248101514137 0 4 0 16800975 18446604453846582592 0 0 -1 4 0 0 0
[pid=20908/tid=20920] ppid=20906 vsize=15749500 CPUtime=3.64 cores=0,2,4,6
/proc/20908/task/20920/stat : 20920 (java) S 20906 20908 20152 0 -1 4202560 147431 0 0 0 337 27 0 0 16 0 22 0 523760633 16127488000 102712 33554432000 1073741824 1073778376 140734807694496 18446744073709551615 248101514137 0 4 0 16800975 18446604453846582592 0 0 -1 6 0 0 0
[pid=20908/tid=20921] ppid=20906 vsize=15749500 CPUtime=3.71 cores=0,2,4,6
/proc/20908/task/20921/stat : 20921 (java) S 20906 20908 20152 0 -1 4202560 148796 0 0 0 342 29 0 0 16 0 22 0 523760633 16127488000 102712 33554432000 1073741824 1073778376 140734807694496 18446744073709551615 248101514137 0 4 0 16800975 18446604453846582592 0 0 -1 2 0 0 0
[pid=20908/tid=20926] ppid=20906 vsize=15749500 CPUtime=2.18 cores=0,2,4,6
/proc/20908/task/20926/stat : 20926 (java) S 20906 20908 20152 0 -1 4202560 7533 0 0 0 136 82 0 0 15 0 22 0 523760634 16127488000 102712 33554432000 1073741824 1073778376 140734807694496 18446744073709551615 248101514752 0 0 0 16800975 18446604453846582592 0 0 -1 2 0 0 0
[pid=20908/tid=20928] ppid=20906 vsize=15749500 CPUtime=0 cores=0,2,4,6
/proc/20908/task/20928/stat : 20928 (java) S 20906 20908 20152 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 523760635 16127488000 102712 33554432000 1073741824 1073778376 140734807694496 18446744073709551615 248101514137 0 4 0 16800975 18446604453846582592 0 0 -1 6 0 0 0
[pid=20908/tid=20929] ppid=20906 vsize=15749500 CPUtime=0 cores=0,2,4,6
/proc/20908/task/20929/stat : 20929 (java) S 20906 20908 20152 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 523760635 16127488000 102712 33554432000 1073741824 1073778376 140734807694496 18446744073709551615 248101514137 0 4 0 16800975 18446604453846582592 0 0 -1 0 0 0 0
[pid=20908/tid=20942] ppid=20906 vsize=15749500 CPUtime=0 cores=0,2,4,6
/proc/20908/task/20942/stat : 20942 (java) S 20906 20908 20152 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523760637 16127488000 102712 33554432000 1073741824 1073778376 140734807694496 18446744073709551615 248101521841 0 4 0 16800975 18446604453846582592 0 0 -1 2 0 0 0
[pid=20908/tid=20943] ppid=20906 vsize=15749500 CPUtime=0.99 cores=0,2,4,6
/proc/20908/task/20943/stat : 20943 (java) S 20906 20908 20152 0 -1 4202560 6305 0 0 0 98 1 0 0 15 0 22 0 523760637 16127488000 102712 33554432000 1073741824 1073778376 140734807694496 18446744073709551615 248101514137 0 4 0 16800975 18446604453846582592 0 0 -1 0 0 0 0
[pid=20908/tid=20944] ppid=20906 vsize=15749500 CPUtime=1.01 cores=0,2,4,6
/proc/20908/task/20944/stat : 20944 (java) S 20906 20908 20152 0 -1 4202560 12322 0 0 0 100 1 0 0 15 0 22 0 523760637 16127488000 102712 33554432000 1073741824 1073778376 140734807694496 18446744073709551615 248101514137 0 4 0 16800975 18446604453846582592 0 0 -1 4 0 0 0
[pid=20908/tid=20945] ppid=20906 vsize=15749500 CPUtime=0 cores=0,2,4,6
/proc/20908/task/20945/stat : 20945 (java) S 20906 20908 20152 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523760637 16127488000 102712 33554432000 1073741824 1073778376 140734807694496 18446744073709551615 248101514137 0 4 0 16800975 18446604453846582592 0 0 -1 2 0 0 0
[pid=20908/tid=20946] ppid=20906 vsize=15749500 CPUtime=0 cores=0,2,4,6
/proc/20908/task/20946/stat : 20946 (java) S 20906 20908 20152 0 -1 4202560 66 0 0 0 0 0 0 0 15 0 22 0 523760637 16127488000 102712 33554432000 1073741824 1073778376 140734807694496 18446744073709551615 248101514752 0 4 0 16800975 18446604453846582592 0 0 -1 4 0 0 0
[pid=20908/tid=20952] ppid=20906 vsize=15749500 CPUtime=1166.71 cores=0,2,4,6
/proc/20908/task/20952/stat : 20952 (java) R 20906 20908 20152 0 -1 4202560 438925 0 0 0 116608 63 0 0 25 0 22 0 523760658 16127488000 102712 33554432000 1073741824 1073778376 140734807694496 18446744073709551615 47683225186921 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=20908/tid=20953] ppid=20906 vsize=15749500 CPUtime=1167.5 cores=0,2,4,6
/proc/20908/task/20953/stat : 20953 (java) R 20906 20908 20152 0 -1 4202560 451406 0 0 0 116689 61 0 0 25 0 22 0 523760658 16127488000 102712 33554432000 1073741824 1073778376 140734807694496 18446744073709551615 47683225186906 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=20908/tid=20954] ppid=20906 vsize=15749500 CPUtime=1166.86 cores=0,2,4,6
/proc/20908/task/20954/stat : 20954 (java) R 20906 20908 20152 0 -1 4202560 454156 0 0 0 116622 64 0 0 25 0 22 0 523760658 16127488000 102712 33554432000 1073741824 1073778376 140734807694496 18446744073709551615 18446744073699065894 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=20908/tid=20955] ppid=20906 vsize=15749500 CPUtime=1167.74 cores=0,2,4,6
/proc/20908/task/20955/stat : 20955 (java) R 20906 20908 20152 0 -1 4202560 447115 0 0 0 116717 57 0 0 25 0 22 0 523760658 16127488000 102712 33554432000 1073741824 1073778376 140734807694496 18446744073709551615 46912505752087 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4702.5
Current children cumulated vsize (KiB) 15749500



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1206.8 s]
/proc/loadavg: 8.04 8.05 8.00 9/220 21101
/proc/meminfo: memFree=29849784/32950928 swapFree=67111428/67111528
[pid=20908] ppid=20906 vsize=15749500 CPUtime=4800.02 cores=0,2,4,6
/proc/20908/stat : 20908 (java) S 20906 20908 20152 0 -1 4202496 3040537 0 1 0 479438 564 0 0 23 0 22 0 523760632 16127488000 100992 33554432000 1073741824 1073778376 140734807694496 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/20908/statm: 3937375 100992 2298 9 0 3928094 0
[pid=20908/tid=20911] ppid=20906 vsize=15749500 CPUtime=0.37 cores=0,2,4,6
/proc/20908/task/20911/stat : 20911 (java) S 20906 20908 20152 0 -1 4202560 6612 0 1 0 35 2 0 0 20 0 22 0 523760633 16127488000 100992 33554432000 1073741824 1073778376 140734807694496 18446744073709551615 248101514137 0 4 0 16800975 18446604453846582592 0 0 -1 2 0 0 0
[pid=20908/tid=20914] ppid=20906 vsize=15749500 CPUtime=3.64 cores=0,2,4,6
/proc/20908/task/20914/stat : 20914 (java) S 20906 20908 20152 0 -1 4202560 147841 0 0 0 337 27 0 0 15 0 22 0 523760633 16127488000 100992 33554432000 1073741824 1073778376 140734807694496 18446744073709551615 248101514137 0 4 0 16800975 18446604453846582592 0 0 -1 4 0 0 0
[pid=20908/tid=20915] ppid=20906 vsize=15749500 CPUtime=3.64 cores=0,2,4,6
/proc/20908/task/20915/stat : 20915 (java) S 20906 20908 20152 0 -1 4202560 151458 0 0 0 338 26 0 0 15 0 22 0 523760633 16127488000 100992 33554432000 1073741824 1073778376 140734807694496 18446744073709551615 248101514137 0 4 0 16800975 18446604453846582592 0 0 -1 4 0 0 0
[pid=20908/tid=20916] ppid=20906 vsize=15749500 CPUtime=3.65 cores=0,2,4,6
/proc/20908/task/20916/stat : 20916 (java) S 20906 20908 20152 0 -1 4202560 151666 0 0 0 338 27 0 0 16 0 22 0 523760633 16127488000 100992 33554432000 1073741824 1073778376 140734807694496 18446744073709551615 248101514137 0 4 0 16800975 18446604453846582592 0 0 -1 2 0 0 0
[pid=20908/tid=20917] ppid=20906 vsize=15749500 CPUtime=3.69 cores=0,2,4,6
/proc/20908/task/20917/stat : 20917 (java) S 20906 20908 20152 0 -1 4202560 144606 0 0 0 343 26 0 0 15 0 22 0 523760633 16127488000 100992 33554432000 1073741824 1073778376 140734807694496 18446744073709551615 248101514137 0 4 0 16800975 18446604453846582592 0 0 -1 4 0 0 0
[pid=20908/tid=20918] ppid=20906 vsize=15749500 CPUtime=3.76 cores=0,2,4,6
/proc/20908/task/20918/stat : 20918 (java) S 20906 20908 20152 0 -1 4202560 145379 0 0 0 347 29 0 0 15 0 22 0 523760633 16127488000 100992 33554432000 1073741824 1073778376 140734807694496 18446744073709551615 248101514137 0 4 0 16800975 18446604453846582592 0 0 -1 6 0 0 0
[pid=20908/tid=20919] ppid=20906 vsize=15749500 CPUtime=3.71 cores=0,2,4,6
/proc/20908/task/20919/stat : 20919 (java) S 20906 20908 20152 0 -1 4202560 149600 0 0 0 344 27 0 0 16 0 22 0 523760633 16127488000 100992 33554432000 1073741824 1073778376 140734807694496 18446744073709551615 248101514137 0 4 0 16800975 18446604453846582592 0 0 -1 0 0 0 0
[pid=20908/tid=20920] ppid=20906 vsize=15749500 CPUtime=3.72 cores=0,2,4,6
/proc/20908/task/20920/stat : 20920 (java) S 20906 20908 20152 0 -1 4202560 152305 0 0 0 344 28 0 0 16 0 22 0 523760633 16127488000 100992 33554432000 1073741824 1073778376 140734807694496 18446744073709551615 248101514137 0 4 0 16800975 18446604453846582592 0 0 -1 6 0 0 0
[pid=20908/tid=20921] ppid=20906 vsize=15749500 CPUtime=3.79 cores=0,2,4,6
/proc/20908/task/20921/stat : 20921 (java) S 20906 20908 20152 0 -1 4202560 153312 0 0 0 349 30 0 0 15 0 22 0 523760633 16127488000 100992 33554432000 1073741824 1073778376 140734807694496 18446744073709551615 248101514137 0 4 0 16800975 18446604453846582592 0 0 -1 0 0 0 0
[pid=20908/tid=20926] ppid=20906 vsize=15749500 CPUtime=2.22 cores=0,2,4,6
/proc/20908/task/20926/stat : 20926 (java) S 20906 20908 20152 0 -1 4202560 7665 0 0 0 139 83 0 0 15 0 22 0 523760634 16127488000 100992 33554432000 1073741824 1073778376 140734807694496 18446744073709551615 248101514752 0 0 0 16800975 18446604453846582592 0 0 -1 0 0 0 0
[pid=20908/tid=20928] ppid=20906 vsize=15749500 CPUtime=0 cores=0,2,4,6
/proc/20908/task/20928/stat : 20928 (java) S 20906 20908 20152 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 523760635 16127488000 100992 33554432000 1073741824 1073778376 140734807694496 18446744073709551615 248101514137 0 4 0 16800975 18446604453846582592 0 0 -1 6 0 0 0
[pid=20908/tid=20929] ppid=20906 vsize=15749500 CPUtime=0 cores=0,2,4,6
/proc/20908/task/20929/stat : 20929 (java) S 20906 20908 20152 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 523760635 16127488000 100992 33554432000 1073741824 1073778376 140734807694496 18446744073709551615 248101514137 0 4 0 16800975 18446604453846582592 0 0 -1 0 0 0 0
[pid=20908/tid=20942] ppid=20906 vsize=15749500 CPUtime=0 cores=0,2,4,6
/proc/20908/task/20942/stat : 20942 (java) S 20906 20908 20152 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523760637 16127488000 100992 33554432000 1073741824 1073778376 140734807694496 18446744073709551615 248101521841 0 4 0 16800975 18446604453846582592 0 0 -1 2 0 0 0
[pid=20908/tid=20943] ppid=20906 vsize=15749500 CPUtime=0.99 cores=0,2,4,6
/proc/20908/task/20943/stat : 20943 (java) S 20906 20908 20152 0 -1 4202560 6305 0 0 0 98 1 0 0 15 0 22 0 523760637 16127488000 100992 33554432000 1073741824 1073778376 140734807694496 18446744073709551615 248101514137 0 4 0 16800975 18446604453846582592 0 0 -1 0 0 0 0
[pid=20908/tid=20944] ppid=20906 vsize=15749500 CPUtime=1.01 cores=0,2,4,6
/proc/20908/task/20944/stat : 20944 (java) S 20906 20908 20152 0 -1 4202560 12322 0 0 0 100 1 0 0 15 0 22 0 523760637 16127488000 100992 33554432000 1073741824 1073778376 140734807694496 18446744073709551615 248101514137 0 4 0 16800975 18446604453846582592 0 0 -1 4 0 0 0
[pid=20908/tid=20945] ppid=20906 vsize=15749500 CPUtime=0 cores=0,2,4,6
/proc/20908/task/20945/stat : 20945 (java) S 20906 20908 20152 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523760637 16127488000 100992 33554432000 1073741824 1073778376 140734807694496 18446744073709551615 248101514137 0 4 0 16800975 18446604453846582592 0 0 -1 2 0 0 0
[pid=20908/tid=20946] ppid=20906 vsize=15749500 CPUtime=0 cores=0,2,4,6
/proc/20908/task/20946/stat : 20946 (java) S 20906 20908 20152 0 -1 4202560 68 0 0 0 0 0 0 0 15 0 22 0 523760637 16127488000 100992 33554432000 1073741824 1073778376 140734807694496 18446744073709551615 248101514752 0 4 0 16800975 18446604453846582592 0 0 -1 4 0 0 0
[pid=20908/tid=20952] ppid=20906 vsize=15749500 CPUtime=1190.87 cores=0,2,4,6
/proc/20908/task/20952/stat : 20952 (java) R 20906 20908 20152 0 -1 4202560 443674 0 0 0 119023 64 0 0 25 0 22 0 523760658 16127488000 100992 33554432000 1073741824 1073778376 140734807694496 18446744073709551615 46912505892825 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=20908/tid=20953] ppid=20906 vsize=15749500 CPUtime=1191.74 cores=0,2,4,6
/proc/20908/task/20953/stat : 20953 (java) R 20906 20908 20152 0 -1 4202560 455765 0 0 0 119112 62 0 0 25 0 22 0 523760658 16127488000 100992 33554432000 1073741824 1073778376 140734807694496 18446744073709551615 46912505753031 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=20908/tid=20954] ppid=20906 vsize=15749500 CPUtime=1191.05 cores=0,2,4,6
/proc/20908/task/20954/stat : 20954 (java) R 20906 20908 20152 0 -1 4202560 459047 0 0 0 119040 65 0 0 25 0 22 0 523760658 16127488000 100992 33554432000 1073741824 1073778376 140734807694496 18446744073709551615 46912505523295 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=20908/tid=20955] ppid=20906 vsize=15749500 CPUtime=1191.99 cores=0,2,4,6
/proc/20908/task/20955/stat : 20955 (java) R 20906 20908 20152 0 -1 4202560 451527 0 0 0 119141 58 0 0 25 0 22 0 523760658 16127488000 100992 33554432000 1073741824 1073778376 140734807694496 18446744073709551615 46912505702115 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.02
Current children cumulated vsize (KiB) 15749500

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

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

Child status: 143
Real time (s): 1206.84
CPU time (s): 4800.08
CPU user time (s): 4794.41
CPU system time (s): 5.66414
CPU usage (%): 397.739
Max. virtual memory (cumulated for all children) (KiB): 15758104

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4794.42
system time used= 5.66414
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3040637
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= 217020
involuntary context switches= 122926

runsolver used 2.05569 second user time and 4.5803 second system time

The end

Launcher Data 

Begin job on node123 at 2011-04-30 02:00:08
IDJOB=3312568
IDBENCH=82753
IDSOLVER=1699
FILE ID=node123/3312568-1304121608
RUNJOBID= node123-1304121608-20896
PBS_JOBID= 13170709
Free space on /tmp= 72816 MiB

SOLVER NAME= STRUCTure 0.1
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v600-c2556-S1734827769-099.UNKNOWN.cnf
COMMAND LINE= run 15000 NBCORE TMPDIR DIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3312568-1304121608/watcher-3312568-1304121608 -o /tmp/evaluation-result-3312568-1304121608/solver-3312568-1304121608 -C 4800 -W 1300 -M 15500  run 15000 4 HOME HOME HOME/instance-3312568-1304121608.cnf

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

MD5SUM BENCH= 2eb2fa74ab0dce335225200db81f6563
RANDOM SEED=417816776

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.838
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.15
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.838
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.838
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.82
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.838
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.74
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.838
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.80
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.838
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.74
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.838
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      30644040 kB
Buffers:        586620 kB
Cached:        1294992 kB
SwapCached:        100 kB
Active:         132600 kB
Inactive:      1812912 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30644040 kB
SwapTotal:    67111528 kB
SwapFree:     67111428 kB
Dirty:            1728 kB
Writeback:           0 kB
AnonPages:       63152 kB
Mapped:          14496 kB
Slab:           298256 kB
PageTables:       4320 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   191100 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= 72812 MiB
End job on node123 at 2011-04-30 02:20:17