Trace number 3312804

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.37 1207.63

General information on the benchmark

Namerandom/medium/
unif-k7-r89-v90-c8010-S51928934-076.SATISFIABLE.cnf
MD5SUM398f9c2cc63f6285faba700796fc9dcc
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1.9837
Satisfiable
(Un)Satisfiability was proved
Number of variables90
Number of clauses8010
Sum of the clauses size56070
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 58010

Solver Data 

0.09/0.12	26:46 INFO : Reading from input HOME/instance-3312804-1304137606.cnf
0.51/0.35	Executor set job limit to 1000000
0.51/0.35	Executor set job limit to 1000000
0.51/0.35	Executor set job limit to 1000000
0.51/0.35	Executor set job limit to 1000000
0.51/0.35	Starting Executor!
0.51/0.35	Starting Executor!
0.51/0.35	Starting Executor!
0.51/0.35	Starting Executor!
0.90/0.59	26:46 INFO : 90 variables remaining out of 90
0.90/0.59	26:46 INFO : 64080 literals remaining out of 64080

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

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

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


[startup+0 s]
/proc/loadavg: 3.70 4.57 5.88 4/176 8445
/proc/meminfo: memFree=29491960/32950928 swapFree=67111356/67111528
[pid=8445] ppid=8443 vsize=9100 CPUtime=0 cores=1,3,5,7
/proc/8445/stat : 8445 (java) S 8443 8445 7283 0 -1 4202496 657 0 0 0 0 0 0 0 18 0 1 0 603991260 9318400 147 33554432000 1073741824 1073778376 140736146058192 18446744073709551615 231895488512 0 2147483391 4096 0 18446744071699215550 0 0 17 1 0 0 0
/proc/8445/statm: 2275 153 124 9 0 67 0

[startup+0.0419211 s]
/proc/loadavg: 3.70 4.57 5.88 4/176 8445
/proc/meminfo: memFree=29491960/32950928 swapFree=67111356/67111528
[pid=8445] ppid=8443 vsize=15604248 CPUtime=0.02 cores=1,3,5,7
/proc/8445/stat : 8445 (java) S 8443 8445 7283 0 -1 4202496 3600 0 1 0 1 1 0 0 18 0 13 0 603991260 15978749952 3040 33554432000 1073741824 1073778376 140736146058192 18446744073709551615 231907293157 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/8445/statm: 3901062 3041 1671 9 0 3891810 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 15604248

[startup+0.100926 s]
/proc/loadavg: 3.70 4.57 5.88 4/176 8445
/proc/meminfo: memFree=29491960/32950928 swapFree=67111356/67111528
[pid=8445] ppid=8443 vsize=15676852 CPUtime=0.09 cores=1,3,5,7
/proc/8445/stat : 8445 (java) S 8443 8445 7283 0 -1 4202496 5420 0 1 0 8 1 0 0 18 0 18 0 603991260 16053096448 4860 33554432000 1073741824 1073778376 140736146058192 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/8445/statm: 3919213 4860 2115 9 0 3909932 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15676852

[startup+0.30081 s]
/proc/loadavg: 3.70 4.57 5.88 4/176 8445
/proc/meminfo: memFree=29491960/32950928 swapFree=67111356/67111528
[pid=8445] ppid=8443 vsize=15682960 CPUtime=0.51 cores=1,3,5,7
/proc/8445/stat : 8445 (java) S 8443 8445 7283 0 -1 4202496 13957 0 1 0 47 4 0 0 18 0 18 0 603991260 16059351040 12314 33554432000 1073741824 1073778376 140736146058192 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/8445/statm: 3920740 12317 2207 9 0 3911459 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 15682960

[startup+0.700735 s]
/proc/loadavg: 3.70 4.57 5.88 4/176 8445
/proc/meminfo: memFree=29491960/32950928 swapFree=67111356/67111528
[pid=8445] ppid=8443 vsize=15699912 CPUtime=1.5 cores=1,3,5,7
/proc/8445/stat : 8445 (java) S 8443 8445 7283 0 -1 4202496 32892 0 1 0 143 7 0 0 18 0 22 0 603991260 16076709888 27920 33554432000 1073741824 1073778376 140736146058192 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/8445/statm: 3924978 27920 2256 9 0 3915697 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 15699912

[startup+1.50159 s]
/proc/loadavg: 3.70 4.57 5.88 12/220 8489
/proc/meminfo: memFree=29196508/32950928 swapFree=67111356/67111528
[pid=8445] ppid=8443 vsize=15699052 CPUtime=4.52 cores=1,3,5,7
/proc/8445/stat : 8445 (java) S 8443 8445 7283 0 -1 4202496 62201 0 1 0 442 10 0 0 18 0 22 0 603991260 16075829248 53517 33554432000 1073741824 1073778376 140736146058192 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/8445/statm: 3924763 53517 2276 9 0 3915482 0
[pid=8445/tid=8449] ppid=8443 vsize=15699052 CPUtime=0.57 cores=1,3,5,7
/proc/8445/task/8449/stat : 8449 (java) S 8443 8445 7283 0 -1 4202560 16322 0 1 0 54 3 0 0 18 0 22 0 603991261 16075829248 53517 33554432000 1073741824 1073778376 140736146058192 18446744073709551615 231907306393 0 4 0 16800975 18446604454223473344 0 0 -1 7 0 0 0
[pid=8445/tid=8451] ppid=8443 vsize=15699052 CPUtime=0 cores=1,3,5,7
/proc/8445/task/8451/stat : 8451 (java) S 8443 8445 7283 0 -1 4202560 644 0 0 0 0 0 0 0 15 0 22 0 603991262 16075829248 53517 33554432000 1073741824 1073778376 140736146058192 18446744073709551615 231907306393 0 4 0 16800975 18446604454223473344 0 0 -1 1 0 0 0
[pid=8445/tid=8453] ppid=8443 vsize=15699052 CPUtime=0 cores=1,3,5,7
/proc/8445/task/8453/stat : 8453 (java) S 8443 8445 7283 0 -1 4202560 1296 0 0 0 0 0 0 0 16 0 22 0 603991262 16075829248 53517 33554432000 1073741824 1073778376 140736146058192 18446744073709551615 231907306393 0 4 0 16800975 18446604454223473344 0 0 -1 7 0 0 0
[pid=8445/tid=8455] ppid=8443 vsize=15699052 CPUtime=0 cores=1,3,5,7
/proc/8445/task/8455/stat : 8455 (java) S 8443 8445 7283 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 22 0 603991262 16075829248 53517 33554432000 1073741824 1073778376 140736146058192 18446744073709551615 231907306393 0 4 0 16800975 18446604454223473344 0 0 -1 1 0 0 0
[pid=8445/tid=8457] ppid=8443 vsize=15699052 CPUtime=0 cores=1,3,5,7
/proc/8445/task/8457/stat : 8457 (java) S 8443 8445 7283 0 -1 4202560 708 0 0 0 0 0 0 0 16 0 22 0 603991262 16075829248 53517 33554432000 1073741824 1073778376 140736146058192 18446744073709551615 231907306393 0 4 0 16800975 18446604454223473344 0 0 -1 5 0 0 0
[pid=8445/tid=8459] ppid=8443 vsize=15699052 CPUtime=0 cores=1,3,5,7
/proc/8445/task/8459/stat : 8459 (java) S 8443 8445 7283 0 -1 4202560 966 0 0 0 0 0 0 0 16 0 22 0 603991262 16075829248 53517 33554432000 1073741824 1073778376 140736146058192 18446744073709551615 231907306393 0 4 0 16800975 18446604454223473344 0 0 -1 5 0 0 0
[pid=8445/tid=8461] ppid=8443 vsize=15699052 CPUtime=0 cores=1,3,5,7
/proc/8445/task/8461/stat : 8461 (java) S 8443 8445 7283 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 603991262 16075829248 53517 33554432000 1073741824 1073778376 140736146058192 18446744073709551615 231907306393 0 4 0 16800975 18446604454223473344 0 0 -1 1 0 0 0
[pid=8445/tid=8463] ppid=8443 vsize=15699052 CPUtime=0 cores=1,3,5,7
/proc/8445/task/8463/stat : 8463 (java) S 8443 8445 7283 0 -1 4202560 1000 0 0 0 0 0 0 0 16 0 22 0 603991262 16075829248 53517 33554432000 1073741824 1073778376 140736146058192 18446744073709551615 231907306393 0 4 0 16800975 18446604454223473344 0 0 -1 1 0 0 0
[pid=8445/tid=8465] ppid=8443 vsize=15699052 CPUtime=0 cores=1,3,5,7
/proc/8445/task/8465/stat : 8465 (java) S 8443 8445 7283 0 -1 4202560 1104 0 0 0 0 0 0 0 17 0 22 0 603991262 16075829248 53517 33554432000 1073741824 1073778376 140736146058192 18446744073709551615 231907306393 0 4 0 16800975 18446604454223473344 0 0 -1 5 0 0 0
[pid=8445/tid=8466] ppid=8443 vsize=15699052 CPUtime=0 cores=1,3,5,7
/proc/8445/task/8466/stat : 8466 (java) S 8443 8445 7283 0 -1 4202560 74 0 0 0 0 0 0 0 15 0 22 0 603991263 16075829248 53517 33554432000 1073741824 1073778376 140736146058192 18446744073709551615 231907307008 0 0 0 16800975 18446604454223473344 0 0 -1 3 0 0 0
[pid=8445/tid=8468] ppid=8443 vsize=15699052 CPUtime=0 cores=1,3,5,7
/proc/8445/task/8468/stat : 8468 (java) S 8443 8445 7283 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 603991264 16075829248 53517 33554432000 1073741824 1073778376 140736146058192 18446744073709551615 231907306393 0 4 0 16800975 18446604454223473344 0 0 -1 1 0 0 0
[pid=8445/tid=8470] ppid=8443 vsize=15699052 CPUtime=0 cores=1,3,5,7
/proc/8445/task/8470/stat : 8470 (java) S 8443 8445 7283 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 603991264 16075829248 53517 33554432000 1073741824 1073778376 140736146058192 18446744073709551615 231907306393 0 4 0 16800975 18446604454223473344 0 0 -1 1 0 0 0
[pid=8445/tid=8473] ppid=8443 vsize=15699052 CPUtime=0 cores=1,3,5,7
/proc/8445/task/8473/stat : 8473 (java) S 8443 8445 7283 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 603991266 16075829248 53517 33554432000 1073741824 1073778376 140736146058192 18446744073709551615 231907314097 0 4 0 16800975 18446604454223473344 0 0 -1 1 0 0 0
[pid=8445/tid=8475] ppid=8443 vsize=15699052 CPUtime=0.7 cores=1,3,5,7
/proc/8445/task/8475/stat : 8475 (java) R 8443 8445 7283 0 -1 4202560 10525 0 0 0 69 1 0 0 18 0 22 0 603991266 16075829248 53517 33554432000 1073741824 1073778376 140736146058192 18446744073709551615 231907316405 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=8445/tid=8477] ppid=8443 vsize=15699052 CPUtime=0.87 cores=1,3,5,7
/proc/8445/task/8477/stat : 8477 (java) R 8443 8445 7283 0 -1 4202560 8754 0 0 0 86 1 0 0 15 0 22 0 603991266 16075829248 53517 33554432000 1073741824 1073778376 140736146058192 18446744073709551615 47460526849536 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=8445/tid=8479] ppid=8443 vsize=15699052 CPUtime=0 cores=1,3,5,7
/proc/8445/task/8479/stat : 8479 (java) S 8443 8445 7283 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 603991266 16075829248 53517 33554432000 1073741824 1073778376 140736146058192 18446744073709551615 231907306393 0 4 0 16800975 18446604454223473344 0 0 -1 1 0 0 0
[pid=8445/tid=8481] ppid=8443 vsize=15699052 CPUtime=0 cores=1,3,5,7
/proc/8445/task/8481/stat : 8481 (java) S 8443 8445 7283 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 603991266 16075829248 53517 33554432000 1073741824 1073778376 140736146058192 18446744073709551615 231907307008 0 4 0 16800975 18446604454223473344 0 0 -1 5 0 0 0
[pid=8445/tid=8486] ppid=8443 vsize=15699052 CPUtime=0.56 cores=1,3,5,7
/proc/8445/task/8486/stat : 8486 (java) R 8443 8445 7283 0 -1 4202560 3644 0 0 0 56 0 0 0 16 0 22 0 603991295 16075829248 53517 33554432000 1073741824 1073778376 140736146058192 18446744073709551615 46912505872647 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=8445/tid=8487] ppid=8443 vsize=15699052 CPUtime=0.5 cores=1,3,5,7
/proc/8445/task/8487/stat : 8487 (java) R 8443 8445 7283 0 -1 4202560 1581 0 0 0 50 0 0 0 16 0 22 0 603991295 16075829248 53517 33554432000 1073741824 1073778376 140736146058192 18446744073709551615 46912505747879 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=8445/tid=8488] ppid=8443 vsize=15699052 CPUtime=0.56 cores=1,3,5,7
/proc/8445/task/8488/stat : 8488 (java) R 8443 8445 7283 0 -1 4202560 7268 0 0 0 55 1 0 0 17 0 22 0 603991295 16075829248 53517 33554432000 1073741824 1073778376 140736146058192 18446744073709551615 46912505121065 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=8445/tid=8489] ppid=8443 vsize=15699052 CPUtime=0.67 cores=1,3,5,7
/proc/8445/task/8489/stat : 8489 (java) R 8443 8445 7283 0 -1 4202560 6928 0 0 0 67 0 0 0 17 0 22 0 603991296 16075829248 53517 33554432000 1073741824 1073778376 140736146058192 18446744073709551615 46912505822590 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.52
Current children cumulated vsize (KiB) 15699052

[startup+3.10129 s]
/proc/loadavg: 3.70 4.57 5.88 11/220 8489
/proc/meminfo: memFree=28891964/32950928 swapFree=67111356/67111528
[pid=8445] ppid=8443 vsize=15699052 CPUtime=10.9 cores=1,3,5,7
/proc/8445/stat : 8445 (java) S 8443 8445 7283 0 -1 4202496 130886 0 1 0 1070 20 0 0 18 0 22 0 603991260 16075829248 122197 33554432000 1073741824 1073778376 140736146058192 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/8445/statm: 3924763 122202 2286 9 0 3915482 0
[pid=8445/tid=8449] ppid=8443 vsize=15699052 CPUtime=0.57 cores=1,3,5,7
/proc/8445/task/8449/stat : 8449 (java) S 8443 8445 7283 0 -1 4202560 16322 0 1 0 54 3 0 0 18 0 22 0 603991261 16075829248 122204 33554432000 1073741824 1073778376 140736146058192 18446744073709551615 231907306393 0 4 0 16800975 18446604454223473344 0 0 -1 7 0 0 0
[pid=8445/tid=8451] ppid=8443 vsize=15699052 CPUtime=0 cores=1,3,5,7
/proc/8445/task/8451/stat : 8451 (java) S 8443 8445 7283 0 -1 4202560 2384 0 0 0 0 0 0 0 16 0 22 0 603991262 16075829248 122207 33554432000 1073741824 1073778376 140736146058192 18446744073709551615 231907306393 0 4 0 16800975 18446604454223473344 0 0 -1 7 0 0 0
[pid=8445/tid=8453] ppid=8443 vsize=15699052 CPUtime=0 cores=1,3,5,7
/proc/8445/task/8453/stat : 8453 (java) S 8443 8445 7283 0 -1 4202560 3261 0 0 0 0 0 0 0 16 0 22 0 603991262 16075829248 122210 33554432000 1073741824 1073778376 140736146058192 18446744073709551615 231907306393 0 4 0 16800975 18446604454223473344 0 0 -1 3 0 0 0
[pid=8445/tid=8455] ppid=8443 vsize=15699052 CPUtime=0 cores=1,3,5,7
/proc/8445/task/8455/stat : 8455 (java) S 8443 8445 7283 0 -1 4202560 2824 0 0 0 0 0 0 0 15 0 22 0 603991262 16075829248 122214 33554432000 1073741824 1073778376 140736146058192 18446744073709551615 231907306393 0 4 0 16800975 18446604454223473344 0 0 -1 3 0 0 0
[pid=8445/tid=8457] ppid=8443 vsize=15699052 CPUtime=0 cores=1,3,5,7
/proc/8445/task/8457/stat : 8457 (java) S 8443 8445 7283 0 -1 4202560 2985 0 0 0 0 0 0 0 16 0 22 0 603991262 16075829248 122216 33554432000 1073741824 1073778376 140736146058192 18446744073709551615 231907306393 0 4 0 16800975 18446604454223473344 0 0 -1 5 0 0 0
[pid=8445/tid=8459] ppid=8443 vsize=15699052 CPUtime=0 cores=1,3,5,7
/proc/8445/task/8459/stat : 8459 (java) S 8443 8445 7283 0 -1 4202560 1397 0 0 0 0 0 0 0 15 0 22 0 603991262 16075829248 122220 33554432000 1073741824 1073778376 140736146058192 18446744073709551615 231907306393 0 4 0 16800975 18446604454223473344 0 0 -1 5 0 0 0
[pid=8445/tid=8461] ppid=8443 vsize=15699052 CPUtime=0 cores=1,3,5,7
/proc/8445/task/8461/stat : 8461 (java) S 8443 8445 7283 0 -1 4202560 1468 0 0 0 0 0 0 0 16 0 22 0 603991262 16075829248 122223 33554432000 1073741824 1073778376 140736146058192 18446744073709551615 231907306393 0 4 0 16800975 18446604454223473344 0 0 -1 1 0 0 0
[pid=8445/tid=8463] ppid=8443 vsize=15699052 CPUtime=0 cores=1,3,5,7
/proc/8445/task/8463/stat : 8463 (java) S 8443 8445 7283 0 -1 4202560 2137 0 0 0 0 0 0 0 15 0 22 0 603991262 16075829248 122229 33554432000 1073741824 1073778376 140736146058192 18446744073709551615 231907306393 0 4 0 16800975 18446604454223473344 0 0 -1 1 0 0 0
[pid=8445/tid=8465] ppid=8443 vsize=15699052 CPUtime=0 cores=1,3,5,7
/proc/8445/task/8465/stat : 8465 (java) S 8443 8445 7283 0 -1 4202560 2057 0 0 0 0 0 0 0 15 0 22 0 603991262 16075829248 122236 33554432000 1073741824 1073778376 140736146058192 18446744073709551615 231907306393 0 4 0 16800975 18446604454223473344 0 0 -1 5 0 0 0
[pid=8445/tid=8466] ppid=8443 vsize=15699052 CPUtime=0 cores=1,3,5,7
/proc/8445/task/8466/stat : 8466 (java) S 8443 8445 7283 0 -1 4202560 197 0 0 0 0 0 0 0 15 0 22 0 603991263 16075829248 122241 33554432000 1073741824 1073778376 140736146058192 18446744073709551615 231907307008 0 0 0 16800975 18446604454223473344 0 0 -1 5 0 0 0
[pid=8445/tid=8468] ppid=8443 vsize=15699052 CPUtime=0 cores=1,3,5,7
/proc/8445/task/8468/stat : 8468 (java) S 8443 8445 7283 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 603991264 16075829248 122248 33554432000 1073741824 1073778376 140736146058192 18446744073709551615 231907306393 0 4 0 16800975 18446604454223473344 0 0 -1 1 0 0 0
[pid=8445/tid=8470] ppid=8443 vsize=15699052 CPUtime=0 cores=1,3,5,7
/proc/8445/task/8470/stat : 8470 (java) S 8443 8445 7283 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 603991264 16075829248 122249 33554432000 1073741824 1073778376 140736146058192 18446744073709551615 231907306393 0 4 0 16800975 18446604454223473344 0 0 -1 1 0 0 0
[pid=8445/tid=8473] ppid=8443 vsize=15699052 CPUtime=0 cores=1,3,5,7
/proc/8445/task/8473/stat : 8473 (java) S 8443 8445 7283 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 603991266 16075829248 122254 33554432000 1073741824 1073778376 140736146058192 18446744073709551615 231907314097 0 4 0 16800975 18446604454223473344 0 0 -1 1 0 0 0
[pid=8445/tid=8475] ppid=8443 vsize=15699052 CPUtime=0.81 cores=1,3,5,7
/proc/8445/task/8475/stat : 8475 (java) S 8443 8445 7283 0 -1 4202560 10536 0 0 0 80 1 0 0 15 0 22 0 603991266 16075829248 122268 33554432000 1073741824 1073778376 140736146058192 18446744073709551615 231907306393 0 4 0 16800975 18446604454223473344 0 0 -1 1 0 0 0
[pid=8445/tid=8477] ppid=8443 vsize=15699052 CPUtime=1.1 cores=1,3,5,7
/proc/8445/task/8477/stat : 8477 (java) S 8443 8445 7283 0 -1 4202560 8948 0 0 0 109 1 0 0 15 0 22 0 603991266 16075829248 122269 33554432000 1073741824 1073778376 140736146058192 18446744073709551615 231907306393 0 4 0 16800975 18446604454223473344 0 0 -1 5 0 0 0
[pid=8445/tid=8479] ppid=8443 vsize=15699052 CPUtime=0 cores=1,3,5,7
/proc/8445/task/8479/stat : 8479 (java) S 8443 8445 7283 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 603991266 16075829248 122271 33554432000 1073741824 1073778376 140736146058192 18446744073709551615 231907306393 0 4 0 16800975 18446604454223473344 0 0 -1 1 0 0 0
[pid=8445/tid=8481] ppid=8443 vsize=15699052 CPUtime=0 cores=1,3,5,7
/proc/8445/task/8481/stat : 8481 (java) S 8443 8445 7283 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 603991266 16075829248 122273 33554432000 1073741824 1073778376 140736146058192 18446744073709551615 231907307008 0 4 0 16800975 18446604454223473344 0 0 -1 5 0 0 0
[pid=8445/tid=8486] ppid=8443 vsize=15699052 CPUtime=2.12 cores=1,3,5,7
/proc/8445/task/8486/stat : 8486 (java) R 8443 8445 7283 0 -1 4202560 17697 0 0 0 210 2 0 0 18 0 22 0 603991295 16075829248 122274 33554432000 1073741824 1073778376 140736146058192 18446744073709551615 46912506143799 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=8445/tid=8487] ppid=8443 vsize=15699052 CPUtime=2.08 cores=1,3,5,7
/proc/8445/task/8487/stat : 8487 (java) R 8443 8445 7283 0 -1 4202560 15110 0 0 0 207 1 0 0 17 0 22 0 603991295 16075829248 122276 33554432000 1073741824 1073778376 140736146058192 18446744073709551615 47460524517000 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=8445/tid=8488] ppid=8443 vsize=15699052 CPUtime=1.83 cores=1,3,5,7
/proc/8445/task/8488/stat : 8488 (java) R 8443 8445 7283 0 -1 4202560 20693 0 0 0 181 2 0 0 18 0 22 0 603991295 16075829248 122277 33554432000 1073741824 1073778376 140736146058192 18446744073709551615 46912505732955 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=8445/tid=8489] ppid=8443 vsize=15699052 CPUtime=2.25 cores=1,3,5,7
/proc/8445/task/8489/stat : 8489 (java) R 8443 8445 7283 0 -1 4202560 21564 0 0 0 223 2 0 0 18 0 22 0 603991296 16075829248 122277 33554432000 1073741824 1073778376 140736146058192 18446744073709551615 46912505823042 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 10.9
Current children cumulated vsize (KiB) 15699052

[startup+6.30069 s]
/proc/loadavg: 4.04 4.62 5.89 10/220 8489
/proc/meminfo: memFree=27801232/32950928 swapFree=67111356/67111528
[pid=8445] ppid=8443 vsize=15699052 CPUtime=23.67 cores=1,3,5,7
/proc/8445/stat : 8445 (java) S 8443 8445 7283 0 -1 4202496 162157 0 1 0 2342 25 0 0 18 0 22 0 603991260 16075829248 151956 33554432000 1073741824 1073778376 140736146058192 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/8445/statm: 3924763 151956 2286 9 0 3915482 0
[pid=8445/tid=8449] ppid=8443 vsize=15699052 CPUtime=0.57 cores=1,3,5,7
/proc/8445/task/8449/stat : 8449 (java) S 8443 8445 7283 0 -1 4202560 16322 0 1 0 54 3 0 0 18 0 22 0 603991261 16075829248 151956 33554432000 1073741824 1073778376 140736146058192 18446744073709551615 231907306393 0 4 0 16800975 18446604454223473344 0 0 -1 7 0 0 0
[pid=8445/tid=8451] ppid=8443 vsize=15699052 CPUtime=0 cores=1,3,5,7
/proc/8445/task/8451/stat : 8451 (java) S 8443 8445 7283 0 -1 4202560 3457 0 0 0 0 0 0 0 15 0 22 0 603991262 16075829248 151956 33554432000 1073741824 1073778376 140736146058192 18446744073709551615 231907306393 0 4 0 16800975 18446604454223473344 0 0 -1 7 0 0 0
[pid=8445/tid=8453] ppid=8443 vsize=15699052 CPUtime=0 cores=1,3,5,7
/proc/8445/task/8453/stat : 8453 (java) S 8443 8445 7283 0 -1 4202560 3655 0 0 0 0 0 0 0 16 0 22 0 603991262 16075829248 151956 33554432000 1073741824 1073778376 140736146058192 18446744073709551615 231907306393 0 4 0 16800975 18446604454223473344 0 0 -1 3 0 0 0
[pid=8445/tid=8455] ppid=8443 vsize=15699052 CPUtime=0 cores=1,3,5,7
/proc/8445/task/8455/stat : 8455 (java) S 8443 8445 7283 0 -1 4202560 3878 0 0 0 0 0 0 0 15 0 22 0 603991262 16075829248 151956 33554432000 1073741824 1073778376 140736146058192 18446744073709551615 231907306393 0 4 0 16800975 18446604454223473344 0 0 -1 3 0 0 0
[pid=8445/tid=8457] ppid=8443 vsize=15699052 CPUtime=0.01 cores=1,3,5,7
/proc/8445/task/8457/stat : 8457 (java) S 8443 8445 7283 0 -1 4202560 4110 0 0 0 0 1 0 0 15 0 22 0 603991262 16075829248 151956 33554432000 1073741824 1073778376 140736146058192 18446744073709551615 231907306393 0 4 0 16800975 18446604454223473344 0 0 -1 7 0 0 0
[pid=8445/tid=8459] ppid=8443 vsize=15699052 CPUtime=0 cores=1,3,5,7
/proc/8445/task/8459/stat : 8459 (java) S 8443 8445 7283 0 -1 4202560 1548 0 0 0 0 0 0 0 15 0 22 0 603991262 16075829248 151956 33554432000 1073741824 1073778376 140736146058192 18446744073709551615 231907306393 0 4 0 16800975 18446604454223473344 0 0 -1 7 0 0 0
[pid=8445/tid=8461] ppid=8443 vsize=15699052 CPUtime=0 cores=1,3,5,7
/proc/8445/task/8461/stat : 8461 (java) S 8443 8445 7283 0 -1 4202560 2662 0 0 0 0 0 0 0 15 0 22 0 603991262 16075829248 151956 33554432000 1073741824 1073778376 140736146058192 18446744073709551615 231907306393 0 4 0 16800975 18446604454223473344 0 0 -1 1 0 0 0
[pid=8445/tid=8463] ppid=8443 vsize=15699052 CPUtime=0 cores=1,3,5,7
/proc/8445/task/8463/stat : 8463 (java) S 8443 8445 7283 0 -1 4202560 2420 0 0 0 0 0 0 0 15 0 22 0 603991262 16075829248 151956 33554432000 1073741824 1073778376 140736146058192 18446744073709551615 231907306393 0 4 0 16800975 18446604454223473344 0 0 -1 1 0 0 0
[pid=8445/tid=8465] ppid=8443 vsize=15699052 CPUtime=0 cores=1,3,5,7
/proc/8445/task/8465/stat : 8465 (java) S 8443 8445 7283 0 -1 4202560 2173 0 0 0 0 0 0 0 15 0 22 0 603991262 16075829248 151956 33554432000 1073741824 1073778376 140736146058192 18446744073709551615 231907306393 0 4 0 16800975 18446604454223473344 0 0 -1 5 0 0 0
[pid=8445/tid=8466] ppid=8443 vsize=15699052 CPUtime=0 cores=1,3,5,7
/proc/8445/task/8466/stat : 8466 (java) S 8443 8445 7283 0 -1 4202560 450 0 0 0 0 0 0 0 15 0 22 0 603991263 16075829248 151956 33554432000 1073741824 1073778376 140736146058192 18446744073709551615 231907307008 0 0 0 16800975 18446604454223473344 0 0 -1 5 0 0 0
[pid=8445/tid=8468] ppid=8443 vsize=15699052 CPUtime=0 cores=1,3,5,7
/proc/8445/task/8468/stat : 8468 (java) S 8443 8445 7283 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 603991264 16075829248 151956 33554432000 1073741824 1073778376 140736146058192 18446744073709551615 231907306393 0 4 0 16800975 18446604454223473344 0 0 -1 1 0 0 0
[pid=8445/tid=8470] ppid=8443 vsize=15699052 CPUtime=0 cores=1,3,5,7
/proc/8445/task/8470/stat : 8470 (java) S 8443 8445 7283 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 603991264 16075829248 151956 33554432000 1073741824 1073778376 140736146058192 18446744073709551615 231907306393 0 4 0 16800975 18446604454223473344 0 0 -1 1 0 0 0
[pid=8445/tid=8473] ppid=8443 vsize=15699052 CPUtime=0 cores=1,3,5,7
/proc/8445/task/8473/stat : 8473 (java) S 8443 8445 7283 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 603991266 16075829248 151956 33554432000 1073741824 1073778376 140736146058192 18446744073709551615 231907314097 0 4 0 16800975 18446604454223473344 0 0 -1 1 0 0 0
[pid=8445/tid=8475] ppid=8443 vsize=15699052 CPUtime=0.9 cores=1,3,5,7
/proc/8445/task/8475/stat : 8475 (java) S 8443 8445 7283 0 -1 4202560 10549 0 0 0 89 1 0 0 15 0 22 0 603991266 16075829248 151956 33554432000 1073741824 1073778376 140736146058192 18446744073709551615 231907306393 0 4 0 16800975 18446604454223473344 0 0 -1 1 0 0 0

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

[pid=8445/tid=8487] ppid=8443 vsize=15699052 CPUtime=1048.18 cores=1,3,5,7
/proc/8445/task/8487/stat : 8487 (java) R 8443 8445 7283 0 -1 4202560 149884 0 0 0 104787 31 0 0 25 0 22 0 603991295 16075829248 81983 33554432000 1073741824 1073778376 140736146058192 18446744073709551615 46912505700800 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=8445/tid=8488] ppid=8443 vsize=15699052 CPUtime=1048.06 cores=1,3,5,7
/proc/8445/task/8488/stat : 8488 (java) R 8443 8445 7283 0 -1 4202560 159156 0 0 0 104776 30 0 0 25 0 22 0 603991295 16075829248 81983 33554432000 1073741824 1073778376 140736146058192 18446744073709551615 46912505823037 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=8445/tid=8489] ppid=8443 vsize=15699052 CPUtime=1048.71 cores=1,3,5,7
/proc/8445/task/8489/stat : 8489 (java) R 8443 8445 7283 0 -1 4202560 158777 0 0 0 104842 29 0 0 25 0 22 0 603991296 16075829248 81983 33554432000 1073741824 1073778376 140736146058192 18446744073709551615 46912505747613 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4222.62
Current children cumulated vsize (KiB) 15699052

[startup+1122.3 s]
/proc/loadavg: 8.21 8.06 7.43 10/220 8522
/proc/meminfo: memFree=28849424/32950928 swapFree=67111356/67111528
[pid=8445] ppid=8443 vsize=15699052 CPUtime=4461.14 cores=1,3,5,7
/proc/8445/stat : 8445 (java) S 8443 8445 7283 0 -1 4202496 1285131 0 1 0 445777 337 0 0 18 0 22 0 603991260 16075829248 83587 33554432000 1073741824 1073778376 140736146058192 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/8445/statm: 3924763 83587 2299 9 0 3915482 0
[pid=8445/tid=8449] ppid=8443 vsize=15699052 CPUtime=0.57 cores=1,3,5,7
/proc/8445/task/8449/stat : 8449 (java) S 8443 8445 7283 0 -1 4202560 16322 0 1 0 54 3 0 0 18 0 22 0 603991261 16075829248 83587 33554432000 1073741824 1073778376 140736146058192 18446744073709551615 231907306393 0 4 0 16800975 18446604454223473344 0 0 -1 7 0 0 0
[pid=8445/tid=8451] ppid=8443 vsize=15699052 CPUtime=3.19 cores=1,3,5,7
/proc/8445/task/8451/stat : 8451 (java) S 8443 8445 7283 0 -1 4202560 77108 0 0 0 301 18 0 0 15 0 22 0 603991262 16075829248 83587 33554432000 1073741824 1073778376 140736146058192 18446744073709551615 231907306393 0 4 0 16800975 18446604454223473344 0 0 -1 3 0 0 0
[pid=8445/tid=8453] ppid=8443 vsize=15699052 CPUtime=3.14 cores=1,3,5,7
/proc/8445/task/8453/stat : 8453 (java) S 8443 8445 7283 0 -1 4202560 71230 0 0 0 299 15 0 0 15 0 22 0 603991262 16075829248 83587 33554432000 1073741824 1073778376 140736146058192 18446744073709551615 231907306393 0 4 0 16800975 18446604454223473344 0 0 -1 1 0 0 0
[pid=8445/tid=8455] ppid=8443 vsize=15699052 CPUtime=3.13 cores=1,3,5,7
/proc/8445/task/8455/stat : 8455 (java) S 8443 8445 7283 0 -1 4202560 71943 0 0 0 295 18 0 0 15 0 22 0 603991262 16075829248 83587 33554432000 1073741824 1073778376 140736146058192 18446744073709551615 231907306393 0 4 0 16800975 18446604454223473344 0 0 -1 7 0 0 0
[pid=8445/tid=8457] ppid=8443 vsize=15699052 CPUtime=3.14 cores=1,3,5,7
/proc/8445/task/8457/stat : 8457 (java) S 8443 8445 7283 0 -1 4202560 72810 0 0 0 299 15 0 0 16 0 22 0 603991262 16075829248 83587 33554432000 1073741824 1073778376 140736146058192 18446744073709551615 231907306393 0 4 0 16800975 18446604454223473344 0 0 -1 3 0 0 0
[pid=8445/tid=8459] ppid=8443 vsize=15699052 CPUtime=3.08 cores=1,3,5,7
/proc/8445/task/8459/stat : 8459 (java) S 8443 8445 7283 0 -1 4202560 68289 0 0 0 294 14 0 0 15 0 22 0 603991262 16075829248 83587 33554432000 1073741824 1073778376 140736146058192 18446744073709551615 231907306393 0 4 0 16800975 18446604454223473344 0 0 -1 1 0 0 0
[pid=8445/tid=8461] ppid=8443 vsize=15699052 CPUtime=3.17 cores=1,3,5,7
/proc/8445/task/8461/stat : 8461 (java) S 8443 8445 7283 0 -1 4202560 72891 0 0 0 300 17 0 0 15 0 22 0 603991262 16075829248 83587 33554432000 1073741824 1073778376 140736146058192 18446744073709551615 231907306393 0 4 0 16800975 18446604454223473344 0 0 -1 3 0 0 0
[pid=8445/tid=8463] ppid=8443 vsize=15699052 CPUtime=3.12 cores=1,3,5,7
/proc/8445/task/8463/stat : 8463 (java) S 8443 8445 7283 0 -1 4202560 71073 0 0 0 296 16 0 0 15 0 22 0 603991262 16075829248 83587 33554432000 1073741824 1073778376 140736146058192 18446744073709551615 231907306393 0 4 0 16800975 18446604454223473344 0 0 -1 5 0 0 0
[pid=8445/tid=8465] ppid=8443 vsize=15699052 CPUtime=3.11 cores=1,3,5,7
/proc/8445/task/8465/stat : 8465 (java) S 8443 8445 7283 0 -1 4202560 72910 0 0 0 296 15 0 0 16 0 22 0 603991262 16075829248 83587 33554432000 1073741824 1073778376 140736146058192 18446744073709551615 231907306393 0 4 0 16800975 18446604454223473344 0 0 -1 1 0 0 0
[pid=8445/tid=8466] ppid=8443 vsize=15699052 CPUtime=2.03 cores=1,3,5,7
/proc/8445/task/8466/stat : 8466 (java) S 8443 8445 7283 0 -1 4202560 3432 0 0 0 139 64 0 0 15 0 22 0 603991263 16075829248 83587 33554432000 1073741824 1073778376 140736146058192 18446744073709551615 231907307008 0 0 0 16800975 18446604454223473344 0 0 -1 7 0 0 0
[pid=8445/tid=8468] ppid=8443 vsize=15699052 CPUtime=0 cores=1,3,5,7
/proc/8445/task/8468/stat : 8468 (java) S 8443 8445 7283 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 603991264 16075829248 83587 33554432000 1073741824 1073778376 140736146058192 18446744073709551615 231907306393 0 4 0 16800975 18446604454223473344 0 0 -1 1 0 0 0
[pid=8445/tid=8470] ppid=8443 vsize=15699052 CPUtime=0 cores=1,3,5,7
/proc/8445/task/8470/stat : 8470 (java) S 8443 8445 7283 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 603991264 16075829248 83587 33554432000 1073741824 1073778376 140736146058192 18446744073709551615 231907306393 0 4 0 16800975 18446604454223473344 0 0 -1 1 0 0 0
[pid=8445/tid=8473] ppid=8443 vsize=15699052 CPUtime=0 cores=1,3,5,7
/proc/8445/task/8473/stat : 8473 (java) S 8443 8445 7283 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 603991266 16075829248 83587 33554432000 1073741824 1073778376 140736146058192 18446744073709551615 231907314097 0 4 0 16800975 18446604454223473344 0 0 -1 1 0 0 0
[pid=8445/tid=8475] ppid=8443 vsize=15699052 CPUtime=0.95 cores=1,3,5,7
/proc/8445/task/8475/stat : 8475 (java) S 8443 8445 7283 0 -1 4202560 10560 0 0 0 94 1 0 0 15 0 22 0 603991266 16075829248 83587 33554432000 1073741824 1073778376 140736146058192 18446744073709551615 231907306393 0 4 0 16800975 18446604454223473344 0 0 -1 1 0 0 0
[pid=8445/tid=8477] ppid=8443 vsize=15699052 CPUtime=1.18 cores=1,3,5,7
/proc/8445/task/8477/stat : 8477 (java) S 8443 8445 7283 0 -1 4202560 8961 0 0 0 117 1 0 0 16 0 22 0 603991266 16075829248 83587 33554432000 1073741824 1073778376 140736146058192 18446744073709551615 231907306393 0 4 0 16800975 18446604454223473344 0 0 -1 5 0 0 0
[pid=8445/tid=8479] ppid=8443 vsize=15699052 CPUtime=0 cores=1,3,5,7
/proc/8445/task/8479/stat : 8479 (java) S 8443 8445 7283 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 603991266 16075829248 83587 33554432000 1073741824 1073778376 140736146058192 18446744073709551615 231907306393 0 4 0 16800975 18446604454223473344 0 0 -1 1 0 0 0
[pid=8445/tid=8481] ppid=8443 vsize=15699052 CPUtime=0 cores=1,3,5,7
/proc/8445/task/8481/stat : 8481 (java) S 8443 8445 7283 0 -1 4202560 66 0 0 0 0 0 0 0 15 0 22 0 603991266 16075829248 83587 33554432000 1073741824 1073778376 140736146058192 18446744073709551615 231907307008 0 4 0 16800975 18446604454223473344 0 0 -1 3 0 0 0
[pid=8445/tid=8486] ppid=8443 vsize=15699052 CPUtime=1108.44 cores=1,3,5,7
/proc/8445/task/8486/stat : 8486 (java) R 8443 8445 7283 0 -1 4202560 166967 0 0 0 110811 33 0 0 25 0 22 0 603991295 16075829248 83587 33554432000 1073741824 1073778376 140736146058192 18446744073709551615 46912505824561 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=8445/tid=8487] ppid=8443 vsize=15699052 CPUtime=1107.5 cores=1,3,5,7
/proc/8445/task/8487/stat : 8487 (java) R 8443 8445 7283 0 -1 4202560 160442 0 0 0 110717 33 0 0 25 0 22 0 603991295 16075829248 83587 33554432000 1073741824 1073778376 140736146058192 18446744073709551615 18446744073699065939 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=8445/tid=8488] ppid=8443 vsize=15699052 CPUtime=1107.19 cores=1,3,5,7
/proc/8445/task/8488/stat : 8488 (java) R 8443 8445 7283 0 -1 4202560 169407 0 0 0 110687 32 0 0 25 0 22 0 603991295 16075829248 83587 33554432000 1073741824 1073778376 140736146058192 18446744073709551615 46912505940903 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=8445/tid=8489] ppid=8443 vsize=15699052 CPUtime=1108.03 cores=1,3,5,7
/proc/8445/task/8489/stat : 8489 (java) R 8443 8445 7283 0 -1 4202560 169336 0 0 0 110771 32 0 0 25 0 22 0 603991296 16075829248 83587 33554432000 1073741824 1073778376 140736146058192 18446744073709551615 46912505815542 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4461.14
Current children cumulated vsize (KiB) 15699052

[startup+1182.3 s]
/proc/loadavg: 8.09 8.04 7.46 10/220 8524
/proc/meminfo: memFree=28863152/32950928 swapFree=67111356/67111528
[pid=8445] ppid=8443 vsize=15699052 CPUtime=4699.68 cores=1,3,5,7
/proc/8445/stat : 8445 (java) S 8443 8445 7283 0 -1 4202496 1349355 0 1 0 469611 357 0 0 18 0 22 0 603991260 16075829248 79394 33554432000 1073741824 1073778376 140736146058192 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/8445/statm: 3924763 79394 2299 9 0 3915482 0
[pid=8445/tid=8449] ppid=8443 vsize=15699052 CPUtime=0.57 cores=1,3,5,7
/proc/8445/task/8449/stat : 8449 (java) S 8443 8445 7283 0 -1 4202560 16322 0 1 0 54 3 0 0 18 0 22 0 603991261 16075829248 79394 33554432000 1073741824 1073778376 140736146058192 18446744073709551615 231907306393 0 4 0 16800975 18446604454223473344 0 0 -1 7 0 0 0
[pid=8445/tid=8451] ppid=8443 vsize=15699052 CPUtime=3.36 cores=1,3,5,7
/proc/8445/task/8451/stat : 8451 (java) S 8443 8445 7283 0 -1 4202560 80394 0 0 0 317 19 0 0 15 0 22 0 603991262 16075829248 79394 33554432000 1073741824 1073778376 140736146058192 18446744073709551615 231907306393 0 4 0 16800975 18446604454223473344 0 0 -1 3 0 0 0
[pid=8445/tid=8453] ppid=8443 vsize=15699052 CPUtime=3.31 cores=1,3,5,7
/proc/8445/task/8453/stat : 8453 (java) S 8443 8445 7283 0 -1 4202560 75344 0 0 0 315 16 0 0 15 0 22 0 603991262 16075829248 79394 33554432000 1073741824 1073778376 140736146058192 18446744073709551615 231907306393 0 4 0 16800975 18446604454223473344 0 0 -1 1 0 0 0
[pid=8445/tid=8455] ppid=8443 vsize=15699052 CPUtime=3.29 cores=1,3,5,7
/proc/8445/task/8455/stat : 8455 (java) S 8443 8445 7283 0 -1 4202560 76130 0 0 0 310 19 0 0 15 0 22 0 603991262 16075829248 79394 33554432000 1073741824 1073778376 140736146058192 18446744073709551615 231907306393 0 4 0 16800975 18446604454223473344 0 0 -1 7 0 0 0
[pid=8445/tid=8457] ppid=8443 vsize=15699052 CPUtime=3.28 cores=1,3,5,7
/proc/8445/task/8457/stat : 8457 (java) S 8443 8445 7283 0 -1 4202560 76299 0 0 0 313 15 0 0 15 0 22 0 603991262 16075829248 79394 33554432000 1073741824 1073778376 140736146058192 18446744073709551615 231907306393 0 4 0 16800975 18446604454223473344 0 0 -1 5 0 0 0
[pid=8445/tid=8459] ppid=8443 vsize=15699052 CPUtime=3.23 cores=1,3,5,7
/proc/8445/task/8459/stat : 8459 (java) S 8443 8445 7283 0 -1 4202560 71862 0 0 0 308 15 0 0 16 0 22 0 603991262 16075829248 79394 33554432000 1073741824 1073778376 140736146058192 18446744073709551615 231907306393 0 4 0 16800975 18446604454223473344 0 0 -1 3 0 0 0
[pid=8445/tid=8461] ppid=8443 vsize=15699052 CPUtime=3.34 cores=1,3,5,7
/proc/8445/task/8461/stat : 8461 (java) S 8443 8445 7283 0 -1 4202560 76943 0 0 0 315 19 0 0 15 0 22 0 603991262 16075829248 79394 33554432000 1073741824 1073778376 140736146058192 18446744073709551615 231907306393 0 4 0 16800975 18446604454223473344 0 0 -1 1 0 0 0
[pid=8445/tid=8463] ppid=8443 vsize=15699052 CPUtime=3.28 cores=1,3,5,7
/proc/8445/task/8463/stat : 8463 (java) S 8443 8445 7283 0 -1 4202560 74690 0 0 0 310 18 0 0 15 0 22 0 603991262 16075829248 79394 33554432000 1073741824 1073778376 140736146058192 18446744073709551615 231907306393 0 4 0 16800975 18446604454223473344 0 0 -1 7 0 0 0
[pid=8445/tid=8465] ppid=8443 vsize=15699052 CPUtime=3.27 cores=1,3,5,7
/proc/8445/task/8465/stat : 8465 (java) S 8443 8445 7283 0 -1 4202560 76718 0 0 0 311 16 0 0 15 0 22 0 603991262 16075829248 79394 33554432000 1073741824 1073778376 140736146058192 18446744073709551615 231907306393 0 4 0 16800975 18446604454223473344 0 0 -1 5 0 0 0
[pid=8445/tid=8466] ppid=8443 vsize=15699052 CPUtime=2.17 cores=1,3,5,7
/proc/8445/task/8466/stat : 8466 (java) S 8443 8445 7283 0 -1 4202560 3596 0 0 0 148 69 0 0 16 0 22 0 603991263 16075829248 79394 33554432000 1073741824 1073778376 140736146058192 18446744073709551615 231907307008 0 0 0 16800975 18446604454223473344 0 0 -1 3 0 0 0
[pid=8445/tid=8468] ppid=8443 vsize=15699052 CPUtime=0 cores=1,3,5,7
/proc/8445/task/8468/stat : 8468 (java) S 8443 8445 7283 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 603991264 16075829248 79394 33554432000 1073741824 1073778376 140736146058192 18446744073709551615 231907306393 0 4 0 16800975 18446604454223473344 0 0 -1 1 0 0 0
[pid=8445/tid=8470] ppid=8443 vsize=15699052 CPUtime=0 cores=1,3,5,7
/proc/8445/task/8470/stat : 8470 (java) S 8443 8445 7283 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 603991264 16075829248 79394 33554432000 1073741824 1073778376 140736146058192 18446744073709551615 231907306393 0 4 0 16800975 18446604454223473344 0 0 -1 1 0 0 0
[pid=8445/tid=8473] ppid=8443 vsize=15699052 CPUtime=0 cores=1,3,5,7
/proc/8445/task/8473/stat : 8473 (java) S 8443 8445 7283 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 603991266 16075829248 79394 33554432000 1073741824 1073778376 140736146058192 18446744073709551615 231907314097 0 4 0 16800975 18446604454223473344 0 0 -1 1 0 0 0
[pid=8445/tid=8475] ppid=8443 vsize=15699052 CPUtime=0.95 cores=1,3,5,7
/proc/8445/task/8475/stat : 8475 (java) S 8443 8445 7283 0 -1 4202560 10560 0 0 0 94 1 0 0 15 0 22 0 603991266 16075829248 79394 33554432000 1073741824 1073778376 140736146058192 18446744073709551615 231907306393 0 4 0 16800975 18446604454223473344 0 0 -1 1 0 0 0
[pid=8445/tid=8477] ppid=8443 vsize=15699052 CPUtime=1.18 cores=1,3,5,7
/proc/8445/task/8477/stat : 8477 (java) S 8443 8445 7283 0 -1 4202560 8961 0 0 0 117 1 0 0 16 0 22 0 603991266 16075829248 79394 33554432000 1073741824 1073778376 140736146058192 18446744073709551615 231907306393 0 4 0 16800975 18446604454223473344 0 0 -1 5 0 0 0
[pid=8445/tid=8479] ppid=8443 vsize=15699052 CPUtime=0 cores=1,3,5,7
/proc/8445/task/8479/stat : 8479 (java) S 8443 8445 7283 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 603991266 16075829248 79394 33554432000 1073741824 1073778376 140736146058192 18446744073709551615 231907306393 0 4 0 16800975 18446604454223473344 0 0 -1 1 0 0 0
[pid=8445/tid=8481] ppid=8443 vsize=15699052 CPUtime=0 cores=1,3,5,7
/proc/8445/task/8481/stat : 8481 (java) S 8443 8445 7283 0 -1 4202560 68 0 0 0 0 0 0 0 15 0 22 0 603991266 16075829248 79394 33554432000 1073741824 1073778376 140736146058192 18446744073709551615 231907307008 0 4 0 16800975 18446604454223473344 0 0 -1 1 0 0 0
[pid=8445/tid=8486] ppid=8443 vsize=15699052 CPUtime=1167.81 cores=1,3,5,7
/proc/8445/task/8486/stat : 8486 (java) R 8443 8445 7283 0 -1 4202560 175637 0 0 0 116746 35 0 0 18 0 22 0 603991295 16075829248 79394 33554432000 1073741824 1073778376 140736146058192 18446744073709551615 46912505822938 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=8445/tid=8487] ppid=8443 vsize=15699052 CPUtime=1166.82 cores=1,3,5,7
/proc/8445/task/8487/stat : 8487 (java) R 8443 8445 7283 0 -1 4202560 168798 0 0 0 116648 34 0 0 25 0 22 0 603991295 16075829248 79394 33554432000 1073741824 1073778376 140736146058192 18446744073709551615 46912505824189 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=8445/tid=8488] ppid=8443 vsize=15699052 CPUtime=1166.29 cores=1,3,5,7
/proc/8445/task/8488/stat : 8488 (java) R 8443 8445 7283 0 -1 4202560 177990 0 0 0 116595 34 0 0 25 0 22 0 603991295 16075829248 79394 33554432000 1073741824 1073778376 140736146058192 18446744073709551615 46912505984862 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=8445/tid=8489] ppid=8443 vsize=15699052 CPUtime=1167.38 cores=1,3,5,7
/proc/8445/task/8489/stat : 8489 (java) R 8443 8445 7283 0 -1 4202560 177659 0 0 0 116704 34 0 0 25 0 22 0 603991296 16075829248 79394 33554432000 1073741824 1073778376 140736146058192 18446744073709551615 47460527479118 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4699.68
Current children cumulated vsize (KiB) 15699052



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1207.6 s]
/proc/loadavg: 8.20 8.07 7.48 5/198 8527
/proc/meminfo: memFree=29157940/32950928 swapFree=67111356/67111528
[pid=8445] ppid=8443 vsize=15699052 CPUtime=4800.33 cores=1,3,5,7
/proc/8445/stat : 8445 (java) S 8443 8445 7283 0 -1 4202496 1377669 0 1 0 479669 364 0 0 18 0 22 0 603991260 16075829248 83725 33554432000 1073741824 1073778376 140736146058192 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/8445/statm: 3924763 83725 2299 9 0 3915482 0
[pid=8445/tid=8449] ppid=8443 vsize=15699052 CPUtime=0.57 cores=1,3,5,7
/proc/8445/task/8449/stat : 8449 (java) S 8443 8445 7283 0 -1 4202560 16322 0 1 0 54 3 0 0 18 0 22 0 603991261 16075829248 83725 33554432000 1073741824 1073778376 140736146058192 18446744073709551615 231907306393 0 4 0 16800975 18446604454223473344 0 0 -1 7 0 0 0
[pid=8445/tid=8451] ppid=8443 vsize=15699052 CPUtime=3.43 cores=1,3,5,7
/proc/8445/task/8451/stat : 8451 (java) S 8443 8445 7283 0 -1 4202560 82552 0 0 0 324 19 0 0 16 0 22 0 603991262 16075829248 83725 33554432000 1073741824 1073778376 140736146058192 18446744073709551615 231907306393 0 4 0 16800975 18446604454223473344 0 0 -1 1 0 0 0
[pid=8445/tid=8453] ppid=8443 vsize=15699052 CPUtime=3.38 cores=1,3,5,7
/proc/8445/task/8453/stat : 8453 (java) S 8443 8445 7283 0 -1 4202560 77558 0 0 0 321 17 0 0 15 0 22 0 603991262 16075829248 83725 33554432000 1073741824 1073778376 140736146058192 18446744073709551615 231907306393 0 4 0 16800975 18446604454223473344 0 0 -1 5 0 0 0
[pid=8445/tid=8455] ppid=8443 vsize=15699052 CPUtime=3.36 cores=1,3,5,7
/proc/8445/task/8455/stat : 8455 (java) S 8443 8445 7283 0 -1 4202560 78060 0 0 0 317 19 0 0 15 0 22 0 603991262 16075829248 83725 33554432000 1073741824 1073778376 140736146058192 18446744073709551615 231907306393 0 4 0 16800975 18446604454223473344 0 0 -1 3 0 0 0
[pid=8445/tid=8457] ppid=8443 vsize=15699052 CPUtime=3.37 cores=1,3,5,7
/proc/8445/task/8457/stat : 8457 (java) S 8443 8445 7283 0 -1 4202560 79160 0 0 0 321 16 0 0 16 0 22 0 603991262 16075829248 83725 33554432000 1073741824 1073778376 140736146058192 18446744073709551615 231907306393 0 4 0 16800975 18446604454223473344 0 0 -1 7 0 0 0
[pid=8445/tid=8459] ppid=8443 vsize=15699052 CPUtime=3.31 cores=1,3,5,7
/proc/8445/task/8459/stat : 8459 (java) S 8443 8445 7283 0 -1 4202560 74181 0 0 0 315 16 0 0 15 0 22 0 603991262 16075829248 83725 33554432000 1073741824 1073778376 140736146058192 18446744073709551615 231907306393 0 4 0 16800975 18446604454223473344 0 0 -1 7 0 0 0
[pid=8445/tid=8461] ppid=8443 vsize=15699052 CPUtime=3.4 cores=1,3,5,7
/proc/8445/task/8461/stat : 8461 (java) S 8443 8445 7283 0 -1 4202560 79044 0 0 0 321 19 0 0 15 0 22 0 603991262 16075829248 83725 33554432000 1073741824 1073778376 140736146058192 18446744073709551615 231907306393 0 4 0 16800975 18446604454223473344 0 0 -1 3 0 0 0
[pid=8445/tid=8463] ppid=8443 vsize=15699052 CPUtime=3.34 cores=1,3,5,7
/proc/8445/task/8463/stat : 8463 (java) S 8443 8445 7283 0 -1 4202560 76852 0 0 0 316 18 0 0 15 0 22 0 603991262 16075829248 83725 33554432000 1073741824 1073778376 140736146058192 18446744073709551615 231907306393 0 4 0 16800975 18446604454223473344 0 0 -1 5 0 0 0
[pid=8445/tid=8465] ppid=8443 vsize=15699052 CPUtime=3.34 cores=1,3,5,7
/proc/8445/task/8465/stat : 8465 (java) S 8443 8445 7283 0 -1 4202560 78851 0 0 0 317 17 0 0 15 0 22 0 603991262 16075829248 83725 33554432000 1073741824 1073778376 140736146058192 18446744073709551615 231907306393 0 4 0 16800975 18446604454223473344 0 0 -1 7 0 0 0
[pid=8445/tid=8466] ppid=8443 vsize=15699052 CPUtime=2.2 cores=1,3,5,7
/proc/8445/task/8466/stat : 8466 (java) S 8443 8445 7283 0 -1 4202560 3688 0 0 0 150 70 0 0 15 0 22 0 603991263 16075829248 83725 33554432000 1073741824 1073778376 140736146058192 18446744073709551615 231907307008 0 0 0 16800975 18446604454223473344 0 0 -1 5 0 0 0
[pid=8445/tid=8468] ppid=8443 vsize=15699052 CPUtime=0 cores=1,3,5,7
/proc/8445/task/8468/stat : 8468 (java) S 8443 8445 7283 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 603991264 16075829248 83725 33554432000 1073741824 1073778376 140736146058192 18446744073709551615 231907306393 0 4 0 16800975 18446604454223473344 0 0 -1 1 0 0 0
[pid=8445/tid=8470] ppid=8443 vsize=15699052 CPUtime=0 cores=1,3,5,7
/proc/8445/task/8470/stat : 8470 (java) S 8443 8445 7283 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 603991264 16075829248 83725 33554432000 1073741824 1073778376 140736146058192 18446744073709551615 231907306393 0 4 0 16800975 18446604454223473344 0 0 -1 1 0 0 0
[pid=8445/tid=8473] ppid=8443 vsize=15699052 CPUtime=0 cores=1,3,5,7
/proc/8445/task/8473/stat : 8473 (java) S 8443 8445 7283 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 603991266 16075829248 83725 33554432000 1073741824 1073778376 140736146058192 18446744073709551615 231907314097 0 4 0 16800975 18446604454223473344 0 0 -1 1 0 0 0
[pid=8445/tid=8475] ppid=8443 vsize=15699052 CPUtime=0.95 cores=1,3,5,7
/proc/8445/task/8475/stat : 8475 (java) S 8443 8445 7283 0 -1 4202560 10560 0 0 0 94 1 0 0 15 0 22 0 603991266 16075829248 83725 33554432000 1073741824 1073778376 140736146058192 18446744073709551615 231907306393 0 4 0 16800975 18446604454223473344 0 0 -1 1 0 0 0
[pid=8445/tid=8477] ppid=8443 vsize=15699052 CPUtime=1.18 cores=1,3,5,7
/proc/8445/task/8477/stat : 8477 (java) S 8443 8445 7283 0 -1 4202560 8961 0 0 0 117 1 0 0 16 0 22 0 603991266 16075829248 83725 33554432000 1073741824 1073778376 140736146058192 18446744073709551615 231907306393 0 4 0 16800975 18446604454223473344 0 0 -1 5 0 0 0
[pid=8445/tid=8479] ppid=8443 vsize=15699052 CPUtime=0 cores=1,3,5,7
/proc/8445/task/8479/stat : 8479 (java) S 8443 8445 7283 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 603991266 16075829248 83725 33554432000 1073741824 1073778376 140736146058192 18446744073709551615 231907306393 0 4 0 16800975 18446604454223473344 0 0 -1 1 0 0 0
[pid=8445/tid=8481] ppid=8443 vsize=15699052 CPUtime=0 cores=1,3,5,7
/proc/8445/task/8481/stat : 8481 (java) S 8443 8445 7283 0 -1 4202560 70 0 0 0 0 0 0 0 15 0 22 0 603991266 16075829248 83725 33554432000 1073741824 1073778376 140736146058192 18446744073709551615 231907307008 0 4 0 16800975 18446604454223473344 0 0 -1 7 0 0 0
[pid=8445/tid=8486] ppid=8443 vsize=15699052 CPUtime=1192.86 cores=1,3,5,7
/proc/8445/task/8486/stat : 8486 (java) R 8443 8445 7283 0 -1 4202560 178399 0 0 0 119251 35 0 0 25 0 22 0 603991295 16075829248 83725 33554432000 1073741824 1073778376 140736146058192 18446744073709551615 47460527477942 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=8445/tid=8487] ppid=8443 vsize=15699052 CPUtime=1191.82 cores=1,3,5,7
/proc/8445/task/8487/stat : 8487 (java) R 8443 8445 7283 0 -1 4202560 171456 0 0 0 119147 35 0 0 25 0 22 0 603991295 16075829248 83725 33554432000 1073741824 1073778376 140736146058192 18446744073709551615 46912505998012 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=8445/tid=8488] ppid=8443 vsize=15699052 CPUtime=1191.23 cores=1,3,5,7
/proc/8445/task/8488/stat : 8488 (java) R 8443 8445 7283 0 -1 4202560 180250 0 0 0 119089 34 0 0 25 0 22 0 603991295 16075829248 83725 33554432000 1073741824 1073778376 140736146058192 18446744073709551615 46912505815400 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=8445/tid=8489] ppid=8443 vsize=15699052 CPUtime=1192.42 cores=1,3,5,7
/proc/8445/task/8489/stat : 8489 (java) R 8443 8445 7283 0 -1 4202560 180321 0 0 0 119208 34 0 0 25 0 22 0 603991296 16075829248 83725 33554432000 1073741824 1073778376 140736146058192 18446744073709551615 46912505919019 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.33
Current children cumulated vsize (KiB) 15699052

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): 1207.63
CPU time (s): 4800.37
CPU user time (s): 4796.71
CPU system time (s): 3.65844
CPU usage (%): 397.503
Max. virtual memory (cumulated for all children) (KiB): 15701696

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4796.71
system time used= 3.65844
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1377695
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= 294351
involuntary context switches= 167651

runsolver used 2.04269 second user time and 4.5883 second system time

The end

Launcher Data 

Begin job on node114 at 2011-04-30 06:26:46
IDJOB=3312804
IDBENCH=82989
IDSOLVER=1699
FILE ID=node114/3312804-1304137606
RUNJOBID= node114-1304137606-8427
PBS_JOBID= 13170787
Free space on /tmp= 73400 MiB

SOLVER NAME= STRUCTure 0.1
BENCH NAME= SAT11/random/medium/unif-k7-r89-v90-c8010-S51928934-076.SATISFIABLE.cnf
COMMAND LINE= run 15000 NBCORE TMPDIR DIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3312804-1304137606/watcher-3312804-1304137606 -o /tmp/evaluation-result-3312804-1304137606/solver-3312804-1304137606 -C 4800 -W 1300 -M 15500  run 15000 4 HOME HOME HOME/instance-3312804-1304137606.cnf

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

MD5SUM BENCH= 398f9c2cc63f6285faba700796fc9dcc
RANDOM SEED=1196266484

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      29492272 kB
Buffers:       1089884 kB
Cached:        1799836 kB
SwapCached:        168 kB
Active:         171456 kB
Inactive:      2782732 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      29492272 kB
SwapTotal:    67111528 kB
SwapFree:     67111356 kB
Dirty:            3136 kB
Writeback:           0 kB
AnonPages:       64684 kB
Mapped:          14708 kB
Slab:           440660 kB
PageTables:       4428 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   185716 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= 73396 MiB
End job on node114 at 2011-04-30 06:46:55