Trace number 3311310

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
STRUCTure 0.1 (hbr=2)? (TO) 4800.22 1206.64

General information on the benchmark

Namerandom/large/
unif-k7-r85-v250-c21250-S977260632-016-UNKNOWN.cnf
MD5SUM58eb79e3bfc8d25580f794d4e2d18629
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 variables250
Number of clauses21250
Sum of the clauses size148750
Maximum clause length7
Minimum clause length7
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 521250

Solver Data 

0.10/0.11	21:38 INFO : Reading from input HOME/instance-3311310-1304119298.cnf
0.61/0.45	Executor set job limit to 1000000
0.61/0.45	Executor set job limit to 1000000
0.61/0.45	Executor set job limit to 1000000
0.61/0.45	Executor set job limit to 1000000
0.61/0.45	Starting Executor!
0.61/0.45	Starting Executor!
0.61/0.45	Starting Executor!
0.61/0.45	Starting Executor!
1.82/0.94	21:39 INFO : 250 variables remaining out of 250
1.82/0.94	21:39 INFO : 170000 literals remaining out of 170000

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

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

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


[startup+0 s]
/proc/loadavg: 6.60 7.78 7.86 2/189 5594
/proc/meminfo: memFree=28603544/32951124 swapFree=67111356/67111528
[pid=5594] ppid=5592 vsize=26088 CPUtime=0 cores=1,3,5,7
/proc/5594/stat : 5594 (java) S 5592 5594 5544 0 -1 4202496 1412 0 0 0 0 0 0 0 18 0 2 0 523527517 26714112 885 33554432000 1073741824 1073778376 140734005113696 18446744073709551615 218917533669 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/5594/statm: 6522 885 678 9 0 381 0
[pid=5594/tid=5595] ppid=5592 vsize=27172 CPUtime=0 cores=1,3,5,7
/proc/5594/task/5595/stat : 5595 (java) S 5592 5594 5544 0 -1 4202560 66 0 0 0 0 0 0 0 19 0 2 0 523527518 27824128 894 33554432000 1073741824 1073778376 140734005113696 18446744073709551615 218900807303 0 2147483391 4096 0 18446744071699207358 0 0 -1 5 0 0 0

[startup+0.073437 s]
/proc/loadavg: 6.60 7.78 7.86 2/189 5594
/proc/meminfo: memFree=28603544/32951124 swapFree=67111356/67111528
[pid=5594] ppid=5592 vsize=15610072 CPUtime=0.07 cores=1,3,5,7
/proc/5594/stat : 5594 (java) S 5592 5594 5544 0 -1 4202496 4644 0 1 0 6 1 0 0 18 0 18 0 523527517 15984713728 4085 33554432000 1073741824 1073778376 140734005113696 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/5594/statm: 3902518 4085 1937 9 0 3893237 0
[pid=5594/tid=5595] ppid=5592 vsize=15610072 CPUtime=0.05 cores=1,3,5,7
/proc/5594/task/5595/stat : 5595 (java) R 5592 5594 5544 0 -1 4202560 3034 0 1 0 5 0 0 0 22 0 18 0 523527518 15984713728 4086 33554432000 1073741824 1073778376 140734005113696 18446744073709551615 218905391813 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 15610072

[startup+0.100438 s]
/proc/loadavg: 6.60 7.78 7.86 2/189 5594
/proc/meminfo: memFree=28603544/32951124 swapFree=67111356/67111528
[pid=5594] ppid=5592 vsize=15676944 CPUtime=0.1 cores=1,3,5,7
/proc/5594/stat : 5594 (java) S 5592 5594 5544 0 -1 4202496 5584 0 1 0 9 1 0 0 18 0 18 0 523527517 16053190656 5002 33554432000 1073741824 1073778376 140734005113696 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/5594/statm: 3919236 5003 2117 9 0 3909955 0
[pid=5594/tid=5595] ppid=5592 vsize=15676944 CPUtime=0.08 cores=1,3,5,7
/proc/5594/task/5595/stat : 5595 (java) R 5592 5594 5544 0 -1 4202560 3437 0 1 0 8 0 0 0 18 0 18 0 523527518 16053190656 5003 33554432000 1073741824 1073778376 140734005113696 18446744073709551615 218917557815 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15676944

[startup+0.300398 s]
/proc/loadavg: 6.60 7.78 7.86 2/189 5594
/proc/meminfo: memFree=28603544/32951124 swapFree=67111356/67111528
[pid=5594] ppid=5592 vsize=15680768 CPUtime=0.51 cores=1,3,5,7
/proc/5594/stat : 5594 (java) S 5592 5594 5544 0 -1 4202496 15284 0 1 0 49 2 0 0 18 0 18 0 523527517 16057106432 13682 33554432000 1073741824 1073778376 140734005113696 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/5594/statm: 3920192 13688 2207 9 0 3910911 0
[pid=5594/tid=5595] ppid=5592 vsize=15680768 CPUtime=0.28 cores=1,3,5,7
/proc/5594/task/5595/stat : 5595 (java) R 5592 5594 5544 0 -1 4202560 10210 0 1 0 27 1 0 0 18 0 18 0 523527518 16057106432 13691 33554432000 1073741824 1073778376 140734005113696 18446744073709551615 46912505635731 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 15680768

[startup+0.700322 s]
/proc/loadavg: 6.60 7.78 7.86 2/189 5594
/proc/meminfo: memFree=28603544/32951124 swapFree=67111356/67111528
[pid=5594] ppid=5592 vsize=15701672 CPUtime=1.21 cores=1,3,5,7
/proc/5594/stat : 5594 (java) S 5592 5594 5544 0 -1 4202496 46285 0 1 0 116 5 0 0 18 0 22 0 523527517 16078512128 42638 33554432000 1073741824 1073778376 140734005113696 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/5594/statm: 3925418 42638 2248 9 0 3916137 0
[pid=5594/tid=5595] ppid=5592 vsize=15701672 CPUtime=0.68 cores=1,3,5,7
/proc/5594/task/5595/stat : 5595 (java) R 5592 5594 5544 0 -1 4202560 34095 0 1 0 64 4 0 0 18 0 22 0 523527518 16078512128 42638 33554432000 1073741824 1073778376 140734005113696 18446744073709551615 47349661822347 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.21
Current children cumulated vsize (KiB) 15701672

[startup+1.50114 s]
/proc/loadavg: 6.23 7.68 7.82 7/220 5625
/proc/meminfo: memFree=28256352/32951124 swapFree=67111356/67111528
[pid=5594] ppid=5592 vsize=15705220 CPUtime=3.84 cores=1,3,5,7
/proc/5594/stat : 5594 (java) S 5592 5594 5544 0 -1 4202496 59470 0 1 0 377 7 0 0 18 0 22 0 523527517 16082145280 51415 33554432000 1073741824 1073778376 140734005113696 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/5594/statm: 3926305 51415 2274 9 0 3917024 0
[pid=5594/tid=5595] ppid=5592 vsize=15705220 CPUtime=0.92 cores=1,3,5,7
/proc/5594/task/5595/stat : 5595 (java) S 5592 5594 5544 0 -1 4202560 34139 0 1 0 88 4 0 0 18 0 22 0 523527518 16082145280 51415 33554432000 1073741824 1073778376 140734005113696 18446744073709551615 218917546905 0 4 0 16800975 18446604455379276992 0 0 -1 5 0 0 0
[pid=5594/tid=5597] ppid=5592 vsize=15705220 CPUtime=0 cores=1,3,5,7
/proc/5594/task/5597/stat : 5597 (java) S 5592 5594 5544 0 -1 4202560 1241 0 0 0 0 0 0 0 16 0 22 0 523527518 16082145280 51415 33554432000 1073741824 1073778376 140734005113696 18446744073709551615 218917546905 0 4 0 16800975 18446604455379276992 0 0 -1 3 0 0 0
[pid=5594/tid=5598] ppid=5592 vsize=15705220 CPUtime=0 cores=1,3,5,7
/proc/5594/task/5598/stat : 5598 (java) S 5592 5594 5544 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 523527518 16082145280 51415 33554432000 1073741824 1073778376 140734005113696 18446744073709551615 218917546905 0 4 0 16800975 18446604455379276992 0 0 -1 1 0 0 0
[pid=5594/tid=5599] ppid=5592 vsize=15705220 CPUtime=0 cores=1,3,5,7
/proc/5594/task/5599/stat : 5599 (java) S 5592 5594 5544 0 -1 4202560 1302 0 0 0 0 0 0 0 15 0 22 0 523527518 16082145280 51415 33554432000 1073741824 1073778376 140734005113696 18446744073709551615 218917546905 0 4 0 16800975 18446604455379276992 0 0 -1 5 0 0 0
[pid=5594/tid=5600] ppid=5592 vsize=15705220 CPUtime=0 cores=1,3,5,7
/proc/5594/task/5600/stat : 5600 (java) S 5592 5594 5544 0 -1 4202560 1132 0 0 0 0 0 0 0 16 0 22 0 523527518 16082145280 51415 33554432000 1073741824 1073778376 140734005113696 18446744073709551615 218917546905 0 4 0 16800975 18446604455379276992 0 0 -1 1 0 0 0
[pid=5594/tid=5601] ppid=5592 vsize=15705220 CPUtime=0 cores=1,3,5,7
/proc/5594/task/5601/stat : 5601 (java) S 5592 5594 5544 0 -1 4202560 323 0 0 0 0 0 0 0 15 0 22 0 523527518 16082145280 51415 33554432000 1073741824 1073778376 140734005113696 18446744073709551615 218917546905 0 4 0 16800975 18446604455379276992 0 0 -1 3 0 0 0
[pid=5594/tid=5602] ppid=5592 vsize=15705220 CPUtime=0 cores=1,3,5,7
/proc/5594/task/5602/stat : 5602 (java) S 5592 5594 5544 0 -1 4202560 63 0 0 0 0 0 0 0 15 0 22 0 523527518 16082145280 51415 33554432000 1073741824 1073778376 140734005113696 18446744073709551615 218917546905 0 4 0 16800975 18446604455379276992 0 0 -1 3 0 0 0
[pid=5594/tid=5603] ppid=5592 vsize=15705220 CPUtime=0 cores=1,3,5,7
/proc/5594/task/5603/stat : 5603 (java) S 5592 5594 5544 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 523527518 16082145280 51415 33554432000 1073741824 1073778376 140734005113696 18446744073709551615 218917546905 0 4 0 16800975 18446604455379276992 0 0 -1 1 0 0 0
[pid=5594/tid=5604] ppid=5592 vsize=15705220 CPUtime=0 cores=1,3,5,7
/proc/5594/task/5604/stat : 5604 (java) S 5592 5594 5544 0 -1 4202560 646 0 0 0 0 0 0 0 17 0 22 0 523527518 16082145280 51415 33554432000 1073741824 1073778376 140734005113696 18446744073709551615 218917546905 0 4 0 16800975 18446604455379276992 0 0 -1 7 0 0 0
[pid=5594/tid=5605] ppid=5592 vsize=15705220 CPUtime=0 cores=1,3,5,7
/proc/5594/task/5605/stat : 5605 (java) S 5592 5594 5544 0 -1 4202560 10 0 0 0 0 0 0 0 16 0 22 0 523527519 16082145280 51415 33554432000 1073741824 1073778376 140734005113696 18446744073709551615 218917547520 0 0 0 16800975 18446604455379276992 0 0 -1 7 0 0 0
[pid=5594/tid=5611] ppid=5592 vsize=15705220 CPUtime=0 cores=1,3,5,7
/proc/5594/task/5611/stat : 5611 (java) S 5592 5594 5544 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 523527520 16082145280 51415 33554432000 1073741824 1073778376 140734005113696 18446744073709551615 218917546905 0 4 0 16800975 18446604455379276992 0 0 -1 7 0 0 0
[pid=5594/tid=5612] ppid=5592 vsize=15705220 CPUtime=0 cores=1,3,5,7
/proc/5594/task/5612/stat : 5612 (java) S 5592 5594 5544 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 22 0 523527520 16082145280 51415 33554432000 1073741824 1073778376 140734005113696 18446744073709551615 218917546905 0 4 0 16800975 18446604455379276992 0 0 -1 7 0 0 0
[pid=5594/tid=5613] ppid=5592 vsize=15705220 CPUtime=0 cores=1,3,5,7
/proc/5594/task/5613/stat : 5613 (java) S 5592 5594 5544 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 523527522 16082145280 51415 33554432000 1073741824 1073778376 140734005113696 18446744073709551615 218917554609 0 4 0 16800975 18446604455379276992 0 0 -1 5 0 0 0
[pid=5594/tid=5614] ppid=5592 vsize=15705220 CPUtime=0.77 cores=1,3,5,7
/proc/5594/task/5614/stat : 5614 (java) R 5592 5594 5544 0 -1 4202560 11235 0 0 0 76 1 0 0 17 0 22 0 523527522 16082145280 51415 33554432000 1073741824 1073778376 140734005113696 18446744073709551615 218917556917 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=5594/tid=5615] ppid=5592 vsize=15705220 CPUtime=0.67 cores=1,3,5,7
/proc/5594/task/5615/stat : 5615 (java) R 5592 5594 5544 0 -1 4202560 6567 0 0 0 67 0 0 0 15 0 22 0 523527522 16082145280 51415 33554432000 1073741824 1073778376 140734005113696 18446744073709551615 47349664412927 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=5594/tid=5616] ppid=5592 vsize=15705220 CPUtime=0 cores=1,3,5,7
/proc/5594/task/5616/stat : 5616 (java) S 5592 5594 5544 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 523527522 16082145280 51415 33554432000 1073741824 1073778376 140734005113696 18446744073709551615 218917546905 0 4 0 16800975 18446604455379276992 0 0 -1 5 0 0 0
[pid=5594/tid=5617] ppid=5592 vsize=15705220 CPUtime=0 cores=1,3,5,7
/proc/5594/task/5617/stat : 5617 (java) S 5592 5594 5544 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 523527522 16082145280 51415 33554432000 1073741824 1073778376 140734005113696 18446744073709551615 218917547520 0 4 0 16800975 18446604455379276992 0 0 -1 7 0 0 0
[pid=5594/tid=5618] ppid=5592 vsize=15705220 CPUtime=0.51 cores=1,3,5,7
/proc/5594/task/5618/stat : 5618 (java) R 5592 5594 5544 0 -1 4202560 374 0 0 0 51 0 0 0 16 0 22 0 523527563 16082145280 51415 33554432000 1073741824 1073778376 140734005113696 18446744073709551615 18446744073699065863 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=5594/tid=5619] ppid=5592 vsize=15705220 CPUtime=0.36 cores=1,3,5,7
/proc/5594/task/5619/stat : 5619 (java) S 5592 5594 5544 0 -1 4202560 181 0 0 0 36 0 0 0 16 0 22 0 523527563 16082145280 51415 33554432000 1073741824 1073778376 140734005113696 18446744073709551615 218917547520 0 4 0 16800975 18446604455379276992 0 0 -1 5 0 0 0
[pid=5594/tid=5620] ppid=5592 vsize=15705220 CPUtime=0.28 cores=1,3,5,7
/proc/5594/task/5620/stat : 5620 (java) R 5592 5594 5544 0 -1 4202560 863 0 0 0 28 0 0 0 16 0 22 0 523527563 16082145280 51415 33554432000 1073741824 1073778376 140734005113696 18446744073709551615 46912505811812 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=5594/tid=5621] ppid=5592 vsize=15705220 CPUtime=0.25 cores=1,3,5,7
/proc/5594/task/5621/stat : 5621 (java) R 5592 5594 5544 0 -1 4202560 8 0 0 0 25 0 0 0 16 0 22 0 523527563 16082145280 51415 33554432000 1073741824 1073778376 140734005113696 18446744073709551615 46912506055983 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.84
Current children cumulated vsize (KiB) 15705220

[startup+3.10086 s]
/proc/loadavg: 6.23 7.68 7.82 13/220 5625
/proc/meminfo: memFree=28118460/32951124 swapFree=67111356/67111528
[pid=5594] ppid=5592 vsize=15705220 CPUtime=10.23 cores=1,3,5,7
/proc/5594/stat : 5594 (java) S 5592 5594 5544 0 -1 4202496 109168 0 1 0 1008 15 0 0 18 0 22 0 523527517 16082145280 100827 33554432000 1073741824 1073778376 140734005113696 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/5594/statm: 3926305 100827 2274 9 0 3917024 0
[pid=5594/tid=5595] ppid=5592 vsize=15705220 CPUtime=0.92 cores=1,3,5,7
/proc/5594/task/5595/stat : 5595 (java) S 5592 5594 5544 0 -1 4202560 34139 0 1 0 88 4 0 0 18 0 22 0 523527518 16082145280 100827 33554432000 1073741824 1073778376 140734005113696 18446744073709551615 218917546905 0 4 0 16800975 18446604455379276992 0 0 -1 5 0 0 0
[pid=5594/tid=5597] ppid=5592 vsize=15705220 CPUtime=0.02 cores=1,3,5,7
/proc/5594/task/5597/stat : 5597 (java) S 5592 5594 5544 0 -1 4202560 7422 0 0 0 1 1 0 0 16 0 22 0 523527518 16082145280 100827 33554432000 1073741824 1073778376 140734005113696 18446744073709551615 218917546905 0 4 0 16800975 18446604455379276992 0 0 -1 7 0 0 0
[pid=5594/tid=5598] ppid=5592 vsize=15705220 CPUtime=0.01 cores=1,3,5,7
/proc/5594/task/5598/stat : 5598 (java) S 5592 5594 5544 0 -1 4202560 5555 0 0 0 1 0 0 0 16 0 22 0 523527518 16082145280 100827 33554432000 1073741824 1073778376 140734005113696 18446744073709551615 218917546905 0 4 0 16800975 18446604455379276992 0 0 -1 1 0 0 0
[pid=5594/tid=5599] ppid=5592 vsize=15705220 CPUtime=0 cores=1,3,5,7
/proc/5594/task/5599/stat : 5599 (java) S 5592 5594 5544 0 -1 4202560 1365 0 0 0 0 0 0 0 15 0 22 0 523527518 16082145280 100827 33554432000 1073741824 1073778376 140734005113696 18446744073709551615 218917546905 0 4 0 16800975 18446604455379276992 0 0 -1 5 0 0 0
[pid=5594/tid=5600] ppid=5592 vsize=15705220 CPUtime=0 cores=1,3,5,7
/proc/5594/task/5600/stat : 5600 (java) S 5592 5594 5544 0 -1 4202560 2773 0 0 0 0 0 0 0 15 0 22 0 523527518 16082145280 100827 33554432000 1073741824 1073778376 140734005113696 18446744073709551615 218917546905 0 4 0 16800975 18446604455379276992 0 0 -1 1 0 0 0
[pid=5594/tid=5601] ppid=5592 vsize=15705220 CPUtime=0 cores=1,3,5,7
/proc/5594/task/5601/stat : 5601 (java) S 5592 5594 5544 0 -1 4202560 2852 0 0 0 0 0 0 0 15 0 22 0 523527518 16082145280 100827 33554432000 1073741824 1073778376 140734005113696 18446744073709551615 218917546905 0 4 0 16800975 18446604455379276992 0 0 -1 3 0 0 0
[pid=5594/tid=5602] ppid=5592 vsize=15705220 CPUtime=0 cores=1,3,5,7
/proc/5594/task/5602/stat : 5602 (java) S 5592 5594 5544 0 -1 4202560 4233 0 0 0 0 0 0 0 15 0 22 0 523527518 16082145280 100827 33554432000 1073741824 1073778376 140734005113696 18446744073709551615 218917546905 0 4 0 16800975 18446604455379276992 0 0 -1 5 0 0 0
[pid=5594/tid=5603] ppid=5592 vsize=15705220 CPUtime=0 cores=1,3,5,7
/proc/5594/task/5603/stat : 5603 (java) S 5592 5594 5544 0 -1 4202560 4633 0 0 0 0 0 0 0 16 0 22 0 523527518 16082145280 100827 33554432000 1073741824 1073778376 140734005113696 18446744073709551615 218917546905 0 4 0 16800975 18446604455379276992 0 0 -1 3 0 0 0
[pid=5594/tid=5604] ppid=5592 vsize=15705220 CPUtime=0 cores=1,3,5,7
/proc/5594/task/5604/stat : 5604 (java) S 5592 5594 5544 0 -1 4202560 3130 0 0 0 0 0 0 0 16 0 22 0 523527518 16082145280 100827 33554432000 1073741824 1073778376 140734005113696 18446744073709551615 218917546905 0 4 0 16800975 18446604455379276992 0 0 -1 5 0 0 0
[pid=5594/tid=5605] ppid=5592 vsize=15705220 CPUtime=0 cores=1,3,5,7
/proc/5594/task/5605/stat : 5605 (java) S 5592 5594 5544 0 -1 4202560 235 0 0 0 0 0 0 0 15 0 22 0 523527519 16082145280 100827 33554432000 1073741824 1073778376 140734005113696 18446744073709551615 218917547520 0 0 0 16800975 18446604455379276992 0 0 -1 3 0 0 0
[pid=5594/tid=5611] ppid=5592 vsize=15705220 CPUtime=0 cores=1,3,5,7
/proc/5594/task/5611/stat : 5611 (java) S 5592 5594 5544 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 523527520 16082145280 100827 33554432000 1073741824 1073778376 140734005113696 18446744073709551615 218917546905 0 4 0 16800975 18446604455379276992 0 0 -1 7 0 0 0
[pid=5594/tid=5612] ppid=5592 vsize=15705220 CPUtime=0 cores=1,3,5,7
/proc/5594/task/5612/stat : 5612 (java) S 5592 5594 5544 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 22 0 523527520 16082145280 100827 33554432000 1073741824 1073778376 140734005113696 18446744073709551615 218917546905 0 4 0 16800975 18446604455379276992 0 0 -1 7 0 0 0
[pid=5594/tid=5613] ppid=5592 vsize=15705220 CPUtime=0 cores=1,3,5,7
/proc/5594/task/5613/stat : 5613 (java) S 5592 5594 5544 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 523527522 16082145280 100827 33554432000 1073741824 1073778376 140734005113696 18446744073709551615 218917554609 0 4 0 16800975 18446604455379276992 0 0 -1 5 0 0 0
[pid=5594/tid=5614] ppid=5592 vsize=15705220 CPUtime=0.79 cores=1,3,5,7
/proc/5594/task/5614/stat : 5614 (java) S 5592 5594 5544 0 -1 4202560 11237 0 0 0 78 1 0 0 15 0 22 0 523527522 16082145280 100827 33554432000 1073741824 1073778376 140734005113696 18446744073709551615 218917546905 0 4 0 16800975 18446604455379276992 0 0 -1 5 0 0 0
[pid=5594/tid=5615] ppid=5592 vsize=15705220 CPUtime=0.78 cores=1,3,5,7
/proc/5594/task/5615/stat : 5615 (java) S 5592 5594 5544 0 -1 4202560 6773 0 0 0 78 0 0 0 15 0 22 0 523527522 16082145280 100831 33554432000 1073741824 1073778376 140734005113696 18446744073709551615 218917546905 0 4 0 16800975 18446604455379276992 0 0 -1 3 0 0 0
[pid=5594/tid=5616] ppid=5592 vsize=15705220 CPUtime=0 cores=1,3,5,7
/proc/5594/task/5616/stat : 5616 (java) S 5592 5594 5544 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 523527522 16082145280 100846 33554432000 1073741824 1073778376 140734005113696 18446744073709551615 218917546905 0 4 0 16800975 18446604455379276992 0 0 -1 5 0 0 0
[pid=5594/tid=5617] ppid=5592 vsize=15705220 CPUtime=0 cores=1,3,5,7
/proc/5594/task/5617/stat : 5617 (java) S 5592 5594 5544 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 523527522 16082145280 100858 33554432000 1073741824 1073778376 140734005113696 18446744073709551615 218917547520 0 4 0 16800975 18446604455379276992 0 0 -1 7 0 0 0
[pid=5594/tid=5618] ppid=5592 vsize=15705220 CPUtime=2.07 cores=1,3,5,7
/proc/5594/task/5618/stat : 5618 (java) R 5592 5594 5544 0 -1 4202560 6201 0 0 0 207 0 0 0 18 0 22 0 523527563 16082145280 100858 33554432000 1073741824 1073778376 140734005113696 18446744073709551615 46912505523559 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=5594/tid=5619] ppid=5592 vsize=15705220 CPUtime=1.91 cores=1,3,5,7
/proc/5594/task/5619/stat : 5619 (java) R 5592 5594 5544 0 -1 4202560 5446 0 0 0 191 0 0 0 17 0 22 0 523527563 16082145280 100858 33554432000 1073741824 1073778376 140734005113696 18446744073709551615 46912505811720 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=5594/tid=5620] ppid=5592 vsize=15705220 CPUtime=1.74 cores=1,3,5,7
/proc/5594/task/5620/stat : 5620 (java) R 5592 5594 5544 0 -1 4202560 6380 0 0 0 174 0 0 0 17 0 22 0 523527563 16082145280 100858 33554432000 1073741824 1073778376 140734005113696 18446744073709551615 46912505797709 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=5594/tid=5621] ppid=5592 vsize=15705220 CPUtime=1.82 cores=1,3,5,7
/proc/5594/task/5621/stat : 5621 (java) R 5592 5594 5544 0 -1 4202560 5441 0 0 0 182 0 0 0 17 0 22 0 523527563 16082145280 100858 33554432000 1073741824 1073778376 140734005113696 18446744073709551615 47349666306899 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 10.23
Current children cumulated vsize (KiB) 15705220

[startup+6.30128 s]
/proc/loadavg: 6.45 7.70 7.83 10/220 5625
/proc/meminfo: memFree=27016868/32951124 swapFree=67111356/67111528
[pid=5594] ppid=5592 vsize=15696032 CPUtime=23 cores=1,3,5,7
/proc/5594/stat : 5594 (java) S 5592 5594 5544 0 -1 4202496 276750 0 1 0 2261 39 0 0 18 0 22 0 523527517 16072736768 265060 33554432000 1073741824 1073778376 140734005113696 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/5594/statm: 3924008 265062 2284 9 0 3914727 0
[pid=5594/tid=5595] ppid=5592 vsize=15696032 CPUtime=0.92 cores=1,3,5,7
/proc/5594/task/5595/stat : 5595 (java) S 5592 5594 5544 0 -1 4202560 34139 0 1 0 88 4 0 0 18 0 22 0 523527518 16072736768 265063 33554432000 1073741824 1073778376 140734005113696 18446744073709551615 218917546905 0 4 0 16800975 18446604455379276992 0 0 -1 5 0 0 0
[pid=5594/tid=5597] ppid=5592 vsize=15696032 CPUtime=0.05 cores=1,3,5,7
/proc/5594/task/5597/stat : 5597 (java) S 5592 5594 5544 0 -1 4202560 15223 0 0 0 2 3 0 0 15 0 22 0 523527518 16072736768 265065 33554432000 1073741824 1073778376 140734005113696 18446744073709551615 218917546905 0 4 0 16800975 18446604455379276992 0 0 -1 7 0 0 0
[pid=5594/tid=5598] ppid=5592 vsize=15696032 CPUtime=0.06 cores=1,3,5,7
/proc/5594/task/5598/stat : 5598 (java) S 5592 5594 5544 0 -1 4202560 16814 0 0 0 3 3 0 0 16 0 22 0 523527518 16072736768 265066 33554432000 1073741824 1073778376 140734005113696 18446744073709551615 218917546905 0 4 0 16800975 18446604455379276992 0 0 -1 3 0 0 0
[pid=5594/tid=5599] ppid=5592 vsize=15696032 CPUtime=0.03 cores=1,3,5,7
/proc/5594/task/5599/stat : 5599 (java) S 5592 5594 5544 0 -1 4202560 10545 0 0 0 2 1 0 0 16 0 22 0 523527518 16072736768 265067 33554432000 1073741824 1073778376 140734005113696 18446744073709551615 218917546905 0 4 0 16800975 18446604455379276992 0 0 -1 7 0 0 0
[pid=5594/tid=5600] ppid=5592 vsize=15696032 CPUtime=0 cores=1,3,5,7
/proc/5594/task/5600/stat : 5600 (java) S 5592 5594 5544 0 -1 4202560 2773 0 0 0 0 0 0 0 15 0 22 0 523527518 16072736768 265068 33554432000 1073741824 1073778376 140734005113696 18446744073709551615 218917546905 0 4 0 16800975 18446604455379276992 0 0 -1 1 0 0 0
[pid=5594/tid=5601] ppid=5592 vsize=15696032 CPUtime=0.02 cores=1,3,5,7
/proc/5594/task/5601/stat : 5601 (java) S 5592 5594 5544 0 -1 4202560 7892 0 0 0 1 1 0 0 15 0 22 0 523527518 16072736768 265070 33554432000 1073741824 1073778376 140734005113696 18446744073709551615 218917546905 0 4 0 16800975 18446604455379276992 0 0 -1 1 0 0 0
[pid=5594/tid=5602] ppid=5592 vsize=15696032 CPUtime=0.03 cores=1,3,5,7
/proc/5594/task/5602/stat : 5602 (java) S 5592 5594 5544 0 -1 4202560 11410 0 0 0 2 1 0 0 16 0 22 0 523527518 16072736768 265071 33554432000 1073741824 1073778376 140734005113696 18446744073709551615 218917546905 0 4 0 16800975 18446604455379276992 0 0 -1 5 0 0 0
[pid=5594/tid=5603] ppid=5592 vsize=15696032 CPUtime=0.02 cores=1,3,5,7
/proc/5594/task/5603/stat : 5603 (java) S 5592 5594 5544 0 -1 4202560 7435 0 0 0 1 1 0 0 15 0 22 0 523527518 16072736768 265073 33554432000 1073741824 1073778376 140734005113696 18446744073709551615 218917546905 0 4 0 16800975 18446604455379276992 0 0 -1 3 0 0 0
[pid=5594/tid=5604] ppid=5592 vsize=15696032 CPUtime=0.01 cores=1,3,5,7
/proc/5594/task/5604/stat : 5604 (java) S 5592 5594 5544 0 -1 4202560 7506 0 0 0 1 0 0 0 16 0 22 0 523527518 16072736768 265074 33554432000 1073741824 1073778376 140734005113696 18446744073709551615 218917546905 0 4 0 16800975 18446604455379276992 0 0 -1 1 0 0 0

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

[pid=5594/tid=5619] ppid=5592 vsize=15696032 CPUtime=1048.37 cores=1,3,5,7
/proc/5594/task/5619/stat : 5619 (java) R 5592 5594 5544 0 -1 4202560 198267 0 0 0 104806 31 0 0 25 0 22 0 523527563 16072736768 105765 33554432000 1073741824 1073778376 140734005113696 18446744073709551615 46912505811545 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=5594/tid=5620] ppid=5592 vsize=15696032 CPUtime=1048.96 cores=1,3,5,7
/proc/5594/task/5620/stat : 5620 (java) R 5592 5594 5544 0 -1 4202560 193604 0 0 0 104865 31 0 0 25 0 22 0 523527563 16072736768 105765 33554432000 1073741824 1073778376 140734005113696 18446744073709551615 18446744073699065971 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=5594/tid=5621] ppid=5592 vsize=15696032 CPUtime=1048.8 cores=1,3,5,7
/proc/5594/task/5621/stat : 5621 (java) R 5592 5594 5544 0 -1 4202560 198533 0 0 0 104848 32 0 0 25 0 22 0 523527563 16072736768 105765 33554432000 1073741824 1073778376 140734005113696 18446744073709551615 46912505523539 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4225.87
Current children cumulated vsize (KiB) 15696032

[startup+1122.3 s]
/proc/loadavg: 8.05 8.04 7.97 10/220 5654
/proc/meminfo: memFree=27781224/32951124 swapFree=67111356/67111528
[pid=5594] ppid=5592 vsize=15696032 CPUtime=4464.62 cores=1,3,5,7
/proc/5594/stat : 5594 (java) S 5592 5594 5544 0 -1 4202496 1608402 0 1 0 446108 354 0 0 18 0 22 0 523527517 16072736768 108053 33554432000 1073741824 1073778376 140734005113696 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/5594/statm: 3924008 108053 2299 9 0 3914727 0
[pid=5594/tid=5595] ppid=5592 vsize=15696032 CPUtime=0.92 cores=1,3,5,7
/proc/5594/task/5595/stat : 5595 (java) S 5592 5594 5544 0 -1 4202560 34139 0 1 0 88 4 0 0 18 0 22 0 523527518 16072736768 108053 33554432000 1073741824 1073778376 140734005113696 18446744073709551615 218917546905 0 4 0 16800975 18446604455379276992 0 0 -1 5 0 0 0
[pid=5594/tid=5597] ppid=5592 vsize=15696032 CPUtime=3.34 cores=1,3,5,7
/proc/5594/task/5597/stat : 5597 (java) S 5592 5594 5544 0 -1 4202560 94328 0 0 0 314 20 0 0 16 0 22 0 523527518 16072736768 108053 33554432000 1073741824 1073778376 140734005113696 18446744073709551615 218917546905 0 4 0 16800975 18446604455379276992 0 0 -1 5 0 0 0
[pid=5594/tid=5598] ppid=5592 vsize=15696032 CPUtime=3.42 cores=1,3,5,7
/proc/5594/task/5598/stat : 5598 (java) S 5592 5594 5544 0 -1 4202560 97387 0 0 0 321 21 0 0 16 0 22 0 523527518 16072736768 108053 33554432000 1073741824 1073778376 140734005113696 18446744073709551615 218917546905 0 4 0 16800975 18446604455379276992 0 0 -1 1 0 0 0
[pid=5594/tid=5599] ppid=5592 vsize=15696032 CPUtime=3.57 cores=1,3,5,7
/proc/5594/task/5599/stat : 5599 (java) S 5592 5594 5544 0 -1 4202560 89124 0 0 0 338 19 0 0 16 0 22 0 523527518 16072736768 108053 33554432000 1073741824 1073778376 140734005113696 18446744073709551615 218917546905 0 4 0 16800975 18446604455379276992 0 0 -1 7 0 0 0
[pid=5594/tid=5600] ppid=5592 vsize=15696032 CPUtime=3.35 cores=1,3,5,7
/proc/5594/task/5600/stat : 5600 (java) S 5592 5594 5544 0 -1 4202560 84261 0 0 0 318 17 0 0 16 0 22 0 523527518 16072736768 108053 33554432000 1073741824 1073778376 140734005113696 18446744073709551615 218917546905 0 4 0 16800975 18446604455379276992 0 0 -1 3 0 0 0
[pid=5594/tid=5601] ppid=5592 vsize=15696032 CPUtime=3.44 cores=1,3,5,7
/proc/5594/task/5601/stat : 5601 (java) S 5592 5594 5544 0 -1 4202560 89256 0 0 0 323 21 0 0 15 0 22 0 523527518 16072736768 108053 33554432000 1073741824 1073778376 140734005113696 18446744073709551615 218917546905 0 4 0 16800975 18446604455379276992 0 0 -1 3 0 0 0
[pid=5594/tid=5602] ppid=5592 vsize=15696032 CPUtime=3.37 cores=1,3,5,7
/proc/5594/task/5602/stat : 5602 (java) S 5592 5594 5544 0 -1 4202560 86924 0 0 0 319 18 0 0 15 0 22 0 523527518 16072736768 108053 33554432000 1073741824 1073778376 140734005113696 18446744073709551615 218917546905 0 4 0 16800975 18446604455379276992 0 0 -1 7 0 0 0
[pid=5594/tid=5603] ppid=5592 vsize=15696032 CPUtime=3.46 cores=1,3,5,7
/proc/5594/task/5603/stat : 5603 (java) S 5592 5594 5544 0 -1 4202560 84168 0 0 0 329 17 0 0 15 0 22 0 523527518 16072736768 108053 33554432000 1073741824 1073778376 140734005113696 18446744073709551615 218917546905 0 4 0 16800975 18446604455379276992 0 0 -1 7 0 0 0
[pid=5594/tid=5604] ppid=5592 vsize=15696032 CPUtime=3.59 cores=1,3,5,7
/proc/5594/task/5604/stat : 5604 (java) S 5592 5594 5544 0 -1 4202560 86454 0 0 0 338 21 0 0 15 0 22 0 523527518 16072736768 108053 33554432000 1073741824 1073778376 140734005113696 18446744073709551615 218917546905 0 4 0 16800975 18446604455379276992 0 0 -1 1 0 0 0
[pid=5594/tid=5605] ppid=5592 vsize=15696032 CPUtime=1.76 cores=1,3,5,7
/proc/5594/task/5605/stat : 5605 (java) S 5592 5594 5544 0 -1 4202560 4511 0 0 0 123 53 0 0 15 0 22 0 523527519 16072736768 108053 33554432000 1073741824 1073778376 140734005113696 18446744073709551615 218917547520 0 0 0 16800975 18446604455379276992 0 0 -1 1 0 0 0
[pid=5594/tid=5611] ppid=5592 vsize=15696032 CPUtime=0 cores=1,3,5,7
/proc/5594/task/5611/stat : 5611 (java) S 5592 5594 5544 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 523527520 16072736768 108053 33554432000 1073741824 1073778376 140734005113696 18446744073709551615 218917546905 0 4 0 16800975 18446604455379276992 0 0 -1 7 0 0 0
[pid=5594/tid=5612] ppid=5592 vsize=15696032 CPUtime=0 cores=1,3,5,7
/proc/5594/task/5612/stat : 5612 (java) S 5592 5594 5544 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 22 0 523527520 16072736768 108053 33554432000 1073741824 1073778376 140734005113696 18446744073709551615 218917546905 0 4 0 16800975 18446604455379276992 0 0 -1 7 0 0 0
[pid=5594/tid=5613] ppid=5592 vsize=15696032 CPUtime=0 cores=1,3,5,7
/proc/5594/task/5613/stat : 5613 (java) S 5592 5594 5544 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 523527522 16072736768 108053 33554432000 1073741824 1073778376 140734005113696 18446744073709551615 218917554609 0 4 0 16800975 18446604455379276992 0 0 -1 5 0 0 0
[pid=5594/tid=5614] ppid=5592 vsize=15696032 CPUtime=1.04 cores=1,3,5,7
/proc/5594/task/5614/stat : 5614 (java) S 5592 5594 5544 0 -1 4202560 11270 0 0 0 103 1 0 0 15 0 22 0 523527522 16072736768 108053 33554432000 1073741824 1073778376 140734005113696 18446744073709551615 218917546905 0 4 0 16800975 18446604455379276992 0 0 -1 5 0 0 0
[pid=5594/tid=5615] ppid=5592 vsize=15696032 CPUtime=1.13 cores=1,3,5,7
/proc/5594/task/5615/stat : 5615 (java) S 5592 5594 5544 0 -1 4202560 7869 0 0 0 113 0 0 0 15 0 22 0 523527522 16072736768 108053 33554432000 1073741824 1073778376 140734005113696 18446744073709551615 218917546905 0 4 0 16800975 18446604455379276992 0 0 -1 3 0 0 0
[pid=5594/tid=5616] ppid=5592 vsize=15696032 CPUtime=0 cores=1,3,5,7
/proc/5594/task/5616/stat : 5616 (java) S 5592 5594 5544 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 523527522 16072736768 108053 33554432000 1073741824 1073778376 140734005113696 18446744073709551615 218917546905 0 4 0 16800975 18446604455379276992 0 0 -1 5 0 0 0
[pid=5594/tid=5617] ppid=5592 vsize=15696032 CPUtime=0 cores=1,3,5,7
/proc/5594/task/5617/stat : 5617 (java) S 5592 5594 5544 0 -1 4202560 62 0 0 0 0 0 0 0 15 0 22 0 523527522 16072736768 108053 33554432000 1073741824 1073778376 140734005113696 18446744073709551615 218917547520 0 4 0 16800975 18446604455379276992 0 0 -1 7 0 0 0
[pid=5594/tid=5618] ppid=5592 vsize=15696032 CPUtime=1108.22 cores=1,3,5,7
/proc/5594/task/5618/stat : 5618 (java) R 5592 5594 5544 0 -1 4202560 214450 0 0 0 110788 34 0 0 25 0 22 0 523527563 16072736768 108053 33554432000 1073741824 1073778376 140734005113696 18446744073709551615 46912505852238 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=5594/tid=5619] ppid=5592 vsize=15696032 CPUtime=1107.68 cores=1,3,5,7
/proc/5594/task/5619/stat : 5619 (java) R 5592 5594 5544 0 -1 4202560 209255 0 0 0 110735 33 0 0 25 0 22 0 523527563 16072736768 108053 33554432000 1073741824 1073778376 140734005113696 18446744073709551615 18446744073699065939 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=5594/tid=5620] ppid=5592 vsize=15696032 CPUtime=1108.1 cores=1,3,5,7
/proc/5594/task/5620/stat : 5620 (java) R 5592 5594 5544 0 -1 4202560 204531 0 0 0 110778 32 0 0 25 0 22 0 523527563 16072736768 108053 33554432000 1073741824 1073778376 140734005113696 18446744073709551615 18446744073699065939 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=5594/tid=5621] ppid=5592 vsize=15696032 CPUtime=1108.06 cores=1,3,5,7
/proc/5594/task/5621/stat : 5621 (java) R 5592 5594 5544 0 -1 4202560 209030 0 0 0 110772 34 0 0 25 0 22 0 523527563 16072736768 108053 33554432000 1073741824 1073778376 140734005113696 18446744073709551615 47349665628509 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4464.62
Current children cumulated vsize (KiB) 15696032

[startup+1182.3 s]
/proc/loadavg: 8.09 8.06 7.98 9/220 5656
/proc/meminfo: memFree=27790240/32951124 swapFree=67111356/67111528
[pid=5594] ppid=5592 vsize=15696032 CPUtime=4703.4 cores=1,3,5,7
/proc/5594/stat : 5594 (java) S 5592 5594 5544 0 -1 4202496 1688223 0 1 0 469968 372 0 0 18 0 22 0 523527517 16072736768 106120 33554432000 1073741824 1073778376 140734005113696 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/5594/statm: 3924008 106120 2299 9 0 3914727 0
[pid=5594/tid=5595] ppid=5592 vsize=15696032 CPUtime=0.92 cores=1,3,5,7
/proc/5594/task/5595/stat : 5595 (java) S 5592 5594 5544 0 -1 4202560 34139 0 1 0 88 4 0 0 18 0 22 0 523527518 16072736768 106120 33554432000 1073741824 1073778376 140734005113696 18446744073709551615 218917546905 0 4 0 16800975 18446604455379276992 0 0 -1 5 0 0 0
[pid=5594/tid=5597] ppid=5592 vsize=15696032 CPUtime=3.55 cores=1,3,5,7
/proc/5594/task/5597/stat : 5597 (java) S 5592 5594 5544 0 -1 4202560 99248 0 0 0 334 21 0 0 15 0 22 0 523527518 16072736768 106120 33554432000 1073741824 1073778376 140734005113696 18446744073709551615 218917546905 0 4 0 16800975 18446604455379276992 0 0 -1 1 0 0 0
[pid=5594/tid=5598] ppid=5592 vsize=15696032 CPUtime=3.62 cores=1,3,5,7
/proc/5594/task/5598/stat : 5598 (java) S 5592 5594 5544 0 -1 4202560 102563 0 0 0 339 23 0 0 15 0 22 0 523527518 16072736768 106120 33554432000 1073741824 1073778376 140734005113696 18446744073709551615 218917546905 0 4 0 16800975 18446604455379276992 0 0 -1 7 0 0 0
[pid=5594/tid=5599] ppid=5592 vsize=15696032 CPUtime=3.76 cores=1,3,5,7
/proc/5594/task/5599/stat : 5599 (java) S 5592 5594 5544 0 -1 4202560 94317 0 0 0 356 20 0 0 16 0 22 0 523527518 16072736768 106120 33554432000 1073741824 1073778376 140734005113696 18446744073709551615 218917546905 0 4 0 16800975 18446604455379276992 0 0 -1 1 0 0 0
[pid=5594/tid=5600] ppid=5592 vsize=15696032 CPUtime=3.56 cores=1,3,5,7
/proc/5594/task/5600/stat : 5600 (java) S 5592 5594 5544 0 -1 4202560 88956 0 0 0 338 18 0 0 16 0 22 0 523527518 16072736768 106120 33554432000 1073741824 1073778376 140734005113696 18446744073709551615 218917546905 0 4 0 16800975 18446604455379276992 0 0 -1 3 0 0 0
[pid=5594/tid=5601] ppid=5592 vsize=15696032 CPUtime=3.62 cores=1,3,5,7
/proc/5594/task/5601/stat : 5601 (java) S 5592 5594 5544 0 -1 4202560 92913 0 0 0 341 21 0 0 15 0 22 0 523527518 16072736768 106120 33554432000 1073741824 1073778376 140734005113696 18446744073709551615 218917546905 0 4 0 16800975 18446604455379276992 0 0 -1 5 0 0 0
[pid=5594/tid=5602] ppid=5592 vsize=15696032 CPUtime=3.57 cores=1,3,5,7
/proc/5594/task/5602/stat : 5602 (java) S 5592 5594 5544 0 -1 4202560 91548 0 0 0 338 19 0 0 15 0 22 0 523527518 16072736768 106120 33554432000 1073741824 1073778376 140734005113696 18446744073709551615 218917546905 0 4 0 16800975 18446604455379276992 0 0 -1 5 0 0 0
[pid=5594/tid=5603] ppid=5592 vsize=15696032 CPUtime=3.63 cores=1,3,5,7
/proc/5594/task/5603/stat : 5603 (java) S 5592 5594 5544 0 -1 4202560 88714 0 0 0 345 18 0 0 15 0 22 0 523527518 16072736768 106120 33554432000 1073741824 1073778376 140734005113696 18446744073709551615 218917546905 0 4 0 16800975 18446604455379276992 0 0 -1 7 0 0 0
[pid=5594/tid=5604] ppid=5592 vsize=15696032 CPUtime=3.78 cores=1,3,5,7
/proc/5594/task/5604/stat : 5604 (java) S 5592 5594 5544 0 -1 4202560 90506 0 0 0 356 22 0 0 15 0 22 0 523527518 16072736768 106120 33554432000 1073741824 1073778376 140734005113696 18446744073709551615 218917546905 0 4 0 16800975 18446604455379276992 0 0 -1 3 0 0 0
[pid=5594/tid=5605] ppid=5592 vsize=15696032 CPUtime=1.85 cores=1,3,5,7
/proc/5594/task/5605/stat : 5605 (java) S 5592 5594 5544 0 -1 4202560 4708 0 0 0 130 55 0 0 16 0 22 0 523527519 16072736768 106120 33554432000 1073741824 1073778376 140734005113696 18446744073709551615 218917547520 0 0 0 16800975 18446604455379276992 0 0 -1 1 0 0 0
[pid=5594/tid=5611] ppid=5592 vsize=15696032 CPUtime=0 cores=1,3,5,7
/proc/5594/task/5611/stat : 5611 (java) S 5592 5594 5544 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 523527520 16072736768 106120 33554432000 1073741824 1073778376 140734005113696 18446744073709551615 218917546905 0 4 0 16800975 18446604455379276992 0 0 -1 7 0 0 0
[pid=5594/tid=5612] ppid=5592 vsize=15696032 CPUtime=0 cores=1,3,5,7
/proc/5594/task/5612/stat : 5612 (java) S 5592 5594 5544 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 22 0 523527520 16072736768 106120 33554432000 1073741824 1073778376 140734005113696 18446744073709551615 218917546905 0 4 0 16800975 18446604455379276992 0 0 -1 7 0 0 0
[pid=5594/tid=5613] ppid=5592 vsize=15696032 CPUtime=0 cores=1,3,5,7
/proc/5594/task/5613/stat : 5613 (java) S 5592 5594 5544 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 523527522 16072736768 106120 33554432000 1073741824 1073778376 140734005113696 18446744073709551615 218917554609 0 4 0 16800975 18446604455379276992 0 0 -1 5 0 0 0
[pid=5594/tid=5614] ppid=5592 vsize=15696032 CPUtime=1.04 cores=1,3,5,7
/proc/5594/task/5614/stat : 5614 (java) S 5592 5594 5544 0 -1 4202560 11270 0 0 0 103 1 0 0 15 0 22 0 523527522 16072736768 106120 33554432000 1073741824 1073778376 140734005113696 18446744073709551615 218917546905 0 4 0 16800975 18446604455379276992 0 0 -1 5 0 0 0
[pid=5594/tid=5615] ppid=5592 vsize=15696032 CPUtime=1.13 cores=1,3,5,7
/proc/5594/task/5615/stat : 5615 (java) S 5592 5594 5544 0 -1 4202560 7869 0 0 0 113 0 0 0 15 0 22 0 523527522 16072736768 106120 33554432000 1073741824 1073778376 140734005113696 18446744073709551615 218917546905 0 4 0 16800975 18446604455379276992 0 0 -1 3 0 0 0
[pid=5594/tid=5616] ppid=5592 vsize=15696032 CPUtime=0 cores=1,3,5,7
/proc/5594/task/5616/stat : 5616 (java) S 5592 5594 5544 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 523527522 16072736768 106120 33554432000 1073741824 1073778376 140734005113696 18446744073709551615 218917546905 0 4 0 16800975 18446604455379276992 0 0 -1 5 0 0 0
[pid=5594/tid=5617] ppid=5592 vsize=15696032 CPUtime=0 cores=1,3,5,7
/proc/5594/task/5617/stat : 5617 (java) S 5592 5594 5544 0 -1 4202560 66 0 0 0 0 0 0 0 15 0 22 0 523527522 16072736768 106120 33554432000 1073741824 1073778376 140734005113696 18446744073709551615 218917547520 0 4 0 16800975 18446604455379276992 0 0 -1 7 0 0 0
[pid=5594/tid=5618] ppid=5592 vsize=15696032 CPUtime=1167.58 cores=1,3,5,7
/proc/5594/task/5618/stat : 5618 (java) R 5592 5594 5544 0 -1 4202560 224950 0 0 0 116722 36 0 0 25 0 22 0 523527563 16072736768 106120 33554432000 1073741824 1073778376 140734005113696 18446744073709551615 46912505842957 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=5594/tid=5619] ppid=5592 vsize=15696032 CPUtime=1166.86 cores=1,3,5,7
/proc/5594/task/5619/stat : 5619 (java) R 5592 5594 5544 0 -1 4202560 219475 0 0 0 116651 35 0 0 25 0 22 0 523527563 16072736768 106120 33554432000 1073741824 1073778376 140734005113696 18446744073709551615 46912506056226 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=5594/tid=5620] ppid=5592 vsize=15696032 CPUtime=1167.38 cores=1,3,5,7
/proc/5594/task/5620/stat : 5620 (java) R 5592 5594 5544 0 -1 4202560 215585 0 0 0 116704 34 0 0 25 0 22 0 523527563 16072736768 106120 33554432000 1073741824 1073778376 140734005113696 18446744073709551615 46912506154770 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=5594/tid=5621] ppid=5592 vsize=15696032 CPUtime=1167.39 cores=1,3,5,7
/proc/5594/task/5621/stat : 5621 (java) R 5592 5594 5544 0 -1 4202560 220013 0 0 0 116704 35 0 0 25 0 22 0 523527563 16072736768 106120 33554432000 1073741824 1073778376 140734005113696 18446744073709551615 46912506056214 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4703.4
Current children cumulated vsize (KiB) 15696032



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1206.6 s]
/proc/loadavg: 8.12 8.07 7.98 10/220 5657
/proc/meminfo: memFree=27711244/32951124 swapFree=67111356/67111528
[pid=5594] ppid=5592 vsize=15696032 CPUtime=4800.17 cores=1,3,5,7
/proc/5594/stat : 5594 (java) S 5592 5594 5544 0 -1 4202496 1730384 0 1 0 479636 381 0 0 18 0 22 0 523527517 16072736768 117936 33554432000 1073741824 1073778376 140734005113696 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/5594/statm: 3924008 117936 2299 9 0 3914727 0
[pid=5594/tid=5595] ppid=5592 vsize=15696032 CPUtime=0.92 cores=1,3,5,7
/proc/5594/task/5595/stat : 5595 (java) S 5592 5594 5544 0 -1 4202560 34139 0 1 0 88 4 0 0 18 0 22 0 523527518 16072736768 117936 33554432000 1073741824 1073778376 140734005113696 18446744073709551615 218917546905 0 4 0 16800975 18446604455379276992 0 0 -1 5 0 0 0
[pid=5594/tid=5597] ppid=5592 vsize=15696032 CPUtime=3.61 cores=1,3,5,7
/proc/5594/task/5597/stat : 5597 (java) S 5592 5594 5544 0 -1 4202560 101051 0 0 0 339 22 0 0 16 0 22 0 523527518 16072736768 117936 33554432000 1073741824 1073778376 140734005113696 18446744073709551615 218917546905 0 4 0 16800975 18446604455379276992 0 0 -1 3 0 0 0
[pid=5594/tid=5598] ppid=5592 vsize=15696032 CPUtime=3.67 cores=1,3,5,7
/proc/5594/task/5598/stat : 5598 (java) S 5592 5594 5544 0 -1 4202560 104870 0 0 0 344 23 0 0 15 0 22 0 523527518 16072736768 117936 33554432000 1073741824 1073778376 140734005113696 18446744073709551615 218917546905 0 4 0 16800975 18446604455379276992 0 0 -1 1 0 0 0
[pid=5594/tid=5599] ppid=5592 vsize=15696032 CPUtime=3.84 cores=1,3,5,7
/proc/5594/task/5599/stat : 5599 (java) S 5592 5594 5544 0 -1 4202560 97832 0 0 0 363 21 0 0 15 0 22 0 523527518 16072736768 117936 33554432000 1073741824 1073778376 140734005113696 18446744073709551615 218917546905 0 4 0 16800975 18446604455379276992 0 0 -1 1 0 0 0
[pid=5594/tid=5600] ppid=5592 vsize=15696032 CPUtime=3.65 cores=1,3,5,7
/proc/5594/task/5600/stat : 5600 (java) S 5592 5594 5544 0 -1 4202560 92393 0 0 0 346 19 0 0 15 0 22 0 523527518 16072736768 117936 33554432000 1073741824 1073778376 140734005113696 18446744073709551615 218917546905 0 4 0 16800975 18446604455379276992 0 0 -1 3 0 0 0
[pid=5594/tid=5601] ppid=5592 vsize=15696032 CPUtime=3.68 cores=1,3,5,7
/proc/5594/task/5601/stat : 5601 (java) S 5592 5594 5544 0 -1 4202560 95595 0 0 0 347 21 0 0 16 0 22 0 523527518 16072736768 117936 33554432000 1073741824 1073778376 140734005113696 18446744073709551615 218917546905 0 4 0 16800975 18446604455379276992 0 0 -1 5 0 0 0
[pid=5594/tid=5602] ppid=5592 vsize=15696032 CPUtime=3.64 cores=1,3,5,7
/proc/5594/task/5602/stat : 5602 (java) S 5592 5594 5544 0 -1 4202560 94015 0 0 0 344 20 0 0 15 0 22 0 523527518 16072736768 117936 33554432000 1073741824 1073778376 140734005113696 18446744073709551615 218917546905 0 4 0 16800975 18446604455379276992 0 0 -1 7 0 0 0
[pid=5594/tid=5603] ppid=5592 vsize=15696032 CPUtime=3.72 cores=1,3,5,7
/proc/5594/task/5603/stat : 5603 (java) S 5592 5594 5544 0 -1 4202560 91448 0 0 0 353 19 0 0 16 0 22 0 523527518 16072736768 117936 33554432000 1073741824 1073778376 140734005113696 18446744073709551615 218917546905 0 4 0 16800975 18446604455379276992 0 0 -1 7 0 0 0
[pid=5594/tid=5604] ppid=5592 vsize=15696032 CPUtime=3.86 cores=1,3,5,7
/proc/5594/task/5604/stat : 5604 (java) S 5592 5594 5544 0 -1 4202560 92939 0 0 0 363 23 0 0 16 0 22 0 523527518 16072736768 117936 33554432000 1073741824 1073778376 140734005113696 18446744073709551615 218917546905 0 4 0 16800975 18446604455379276992 0 0 -1 1 0 0 0
[pid=5594/tid=5605] ppid=5592 vsize=15696032 CPUtime=1.88 cores=1,3,5,7
/proc/5594/task/5605/stat : 5605 (java) S 5592 5594 5544 0 -1 4202560 4829 0 0 0 132 56 0 0 15 0 22 0 523527519 16072736768 117936 33554432000 1073741824 1073778376 140734005113696 18446744073709551615 218917547520 0 0 0 16800975 18446604455379276992 0 0 -1 5 0 0 0
[pid=5594/tid=5611] ppid=5592 vsize=15696032 CPUtime=0 cores=1,3,5,7
/proc/5594/task/5611/stat : 5611 (java) S 5592 5594 5544 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 523527520 16072736768 117936 33554432000 1073741824 1073778376 140734005113696 18446744073709551615 218917546905 0 4 0 16800975 18446604455379276992 0 0 -1 7 0 0 0
[pid=5594/tid=5612] ppid=5592 vsize=15696032 CPUtime=0 cores=1,3,5,7
/proc/5594/task/5612/stat : 5612 (java) S 5592 5594 5544 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 22 0 523527520 16072736768 117936 33554432000 1073741824 1073778376 140734005113696 18446744073709551615 218917546905 0 4 0 16800975 18446604455379276992 0 0 -1 7 0 0 0
[pid=5594/tid=5613] ppid=5592 vsize=15696032 CPUtime=0 cores=1,3,5,7
/proc/5594/task/5613/stat : 5613 (java) S 5592 5594 5544 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 523527522 16072736768 117936 33554432000 1073741824 1073778376 140734005113696 18446744073709551615 218917554609 0 4 0 16800975 18446604455379276992 0 0 -1 5 0 0 0
[pid=5594/tid=5614] ppid=5592 vsize=15696032 CPUtime=1.04 cores=1,3,5,7
/proc/5594/task/5614/stat : 5614 (java) S 5592 5594 5544 0 -1 4202560 11270 0 0 0 103 1 0 0 15 0 22 0 523527522 16072736768 117936 33554432000 1073741824 1073778376 140734005113696 18446744073709551615 218917546905 0 4 0 16800975 18446604455379276992 0 0 -1 5 0 0 0
[pid=5594/tid=5615] ppid=5592 vsize=15696032 CPUtime=1.13 cores=1,3,5,7
/proc/5594/task/5615/stat : 5615 (java) S 5592 5594 5544 0 -1 4202560 7869 0 0 0 113 0 0 0 15 0 22 0 523527522 16072736768 117936 33554432000 1073741824 1073778376 140734005113696 18446744073709551615 218917546905 0 4 0 16800975 18446604455379276992 0 0 -1 3 0 0 0
[pid=5594/tid=5616] ppid=5592 vsize=15696032 CPUtime=0 cores=1,3,5,7
/proc/5594/task/5616/stat : 5616 (java) S 5592 5594 5544 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 523527522 16072736768 117936 33554432000 1073741824 1073778376 140734005113696 18446744073709551615 218917546905 0 4 0 16800975 18446604455379276992 0 0 -1 5 0 0 0
[pid=5594/tid=5617] ppid=5592 vsize=15696032 CPUtime=0 cores=1,3,5,7
/proc/5594/task/5617/stat : 5617 (java) S 5592 5594 5544 0 -1 4202560 68 0 0 0 0 0 0 0 15 0 22 0 523527522 16072736768 117936 33554432000 1073741824 1073778376 140734005113696 18446744073709551615 218917547520 0 4 0 16800975 18446604455379276992 0 0 -1 7 0 0 0
[pid=5594/tid=5618] ppid=5592 vsize=15696032 CPUtime=1191.66 cores=1,3,5,7
/proc/5594/task/5618/stat : 5618 (java) R 5592 5594 5544 0 -1 4202560 230570 0 0 0 119129 37 0 0 25 0 22 0 523527563 16072736768 117936 33554432000 1073741824 1073778376 140734005113696 18446744073709551615 18446744073699065918 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=5594/tid=5619] ppid=5592 vsize=15696032 CPUtime=1190.8 cores=1,3,5,7
/proc/5594/task/5619/stat : 5619 (java) R 5592 5594 5544 0 -1 4202560 224406 0 0 0 119045 35 0 0 25 0 22 0 523527563 16072736768 117936 33554432000 1073741824 1073778376 140734005113696 18446744073709551615 46912505912730 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=5594/tid=5620] ppid=5592 vsize=15696032 CPUtime=1191.43 cores=1,3,5,7
/proc/5594/task/5620/stat : 5620 (java) R 5592 5594 5544 0 -1 4202560 220649 0 0 0 119108 35 0 0 25 0 22 0 523527563 16072736768 117936 33554432000 1073741824 1073778376 140734005113696 18446744073709551615 46912505523496 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=5594/tid=5621] ppid=5592 vsize=15696032 CPUtime=1191.48 cores=1,3,5,7
/proc/5594/task/5621/stat : 5621 (java) R 5592 5594 5544 0 -1 4202560 225058 0 0 0 119111 37 0 0 25 0 22 0 523527563 16072736768 117936 33554432000 1073741824 1073778376 140734005113696 18446744073709551615 47349665628558 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.17
Current children cumulated vsize (KiB) 15696032

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.64
CPU time (s): 4800.22
CPU user time (s): 4796.39
CPU system time (s): 3.83242
CPU usage (%): 397.817
Max. virtual memory (cumulated for all children) (KiB): 15707800

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4796.39
system time used= 3.83242
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1730411
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= 205102
involuntary context switches= 125171

runsolver used 2.04469 second user time and 4.5903 second system time

The end

Launcher Data 

Begin job on node137 at 2011-04-30 01:21:38
IDJOB=3311310
IDBENCH=82695
IDSOLVER=1698
FILE ID=node137/3311310-1304119298
RUNJOBID= node137-1304119298-5563
PBS_JOBID= 13170725
Free space on /tmp= 71616 MiB

SOLVER NAME= STRUCTure 0.1 (hbr=2)
BENCH NAME= SAT11/random/large/unif-k7-r85-v250-c21250-S977260632-016-UNKNOWN.cnf
COMMAND LINE= run 15000 NBCORE TMPDIR DIR BENCHNAME -hbr 2
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3311310-1304119298/watcher-3311310-1304119298 -o /tmp/evaluation-result-3311310-1304119298/solver-3311310-1304119298 -C 4800 -W 1300 -M 15500  run 15000 4 HOME HOME HOME/instance-3311310-1304119298.cnf -hbr 2

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

MD5SUM BENCH= 58eb79e3bfc8d25580f794d4e2d18629
RANDOM SEED=1800081101

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      28604080 kB
Buffers:        904252 kB
Cached:        2911616 kB
SwapCached:         48 kB
Active:         124168 kB
Inactive:      3759892 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      28604080 kB
SwapTotal:    67111528 kB
SwapFree:     67111356 kB
Dirty:            4340 kB
Writeback:           0 kB
AnonPages:       68348 kB
Mapped:          20628 kB
Slab:           396640 kB
PageTables:       4840 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   768464 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= 71616 MiB
End job on node137 at 2011-04-30 01:41:47