Trace number 3313042

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.36 1207.24

General information on the benchmark

NameCRAFTED/rbsat/random/unforced/
rbsat-v945c61409g7.cnf
MD5SUMcffaf116c6c0eb21439a109753d19c34
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.284955
Satisfiable
(Un)Satisfiability was proved
Number of variables945
Number of clauses61409
Sum of the clauses size123673
Maximum clause length21
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 261364
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 545

Solver Data 

0.10/0.12	30:08 INFO : Reading from input HOME/instance-3313042-1304080207.cnf
0.61/0.47	Executor set job limit to 1000000
0.61/0.47	Executor set job limit to 1000000
0.61/0.47	Executor set job limit to 1000000
0.61/0.47	Executor set job limit to 1000000
0.61/0.47	Starting Executor!
0.61/0.47	Starting Executor!
0.61/0.47	Starting Executor!
0.61/0.47	Starting Executor!
2.21/1.23	30:09 INFO : 945 variables remaining out of 945
2.21/1.23	30:09 INFO : 354168 literals remaining out of 185082

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

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

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


[startup+0 s]
/proc/loadavg: 7.98 8.02 7.82 2/174 14742
/proc/meminfo: memFree=30935036/32950928 swapFree=67111448/67111528
[pid=14742] ppid=14740 vsize=23028 CPUtime=0 cores=0,2,4,6
/proc/14742/stat : 14742 (java) R 14740 14742 14441 0 -1 4202496 997 0 0 0 0 0 0 0 25 0 1 0 519619450 23580672 485 33554432000 1073741824 1073778376 140735075934672 18446744073709551615 251809277696 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/14742/statm: 5757 497 380 9 0 124 0

[startup+0.043137 s]
/proc/loadavg: 7.98 8.02 7.82 2/174 14742
/proc/meminfo: memFree=30935036/32950928 swapFree=67111448/67111528
[pid=14742] ppid=14740 vsize=15604248 CPUtime=0.02 cores=0,2,4,6
/proc/14742/stat : 14742 (java) S 14740 14742 14441 0 -1 4202496 3792 0 1 0 2 0 0 0 25 0 13 0 519619450 15978749952 3232 33554432000 1073741824 1073778376 140735075934672 18446744073709551615 251826042853 0 0 0 16800971 18446744073709551615 0 0 17 4 0 0 0
/proc/14742/statm: 3901062 3232 1682 9 0 3891810 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 15604248

[startup+0.101194 s]
/proc/loadavg: 7.98 8.02 7.82 2/174 14742
/proc/meminfo: memFree=30935036/32950928 swapFree=67111448/67111528
[pid=14742] ppid=14740 vsize=15676808 CPUtime=0.1 cores=0,2,4,6
/proc/14742/stat : 14742 (java) S 14740 14742 14441 0 -1 4202496 5540 0 1 0 9 1 0 0 25 0 18 0 519619450 16053051392 4960 33554432000 1073741824 1073778376 140735075934672 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/14742/statm: 3919202 4961 2116 9 0 3909921 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15676808

[startup+0.300094 s]
/proc/loadavg: 7.98 8.02 7.82 2/174 14742
/proc/meminfo: memFree=30935036/32950928 swapFree=67111448/67111528
[pid=14742] ppid=14740 vsize=15683672 CPUtime=0.5 cores=0,2,4,6
/proc/14742/stat : 14742 (java) S 14740 14742 14441 0 -1 4202496 14077 0 1 0 48 2 0 0 25 0 18 0 519619450 16060080128 12295 33554432000 1073741824 1073778376 140735075934672 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/14742/statm: 3920918 12295 2207 9 0 3911637 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 15683672

[startup+0.701087 s]
/proc/loadavg: 7.98 8.02 7.82 2/174 14742
/proc/meminfo: memFree=30935036/32950928 swapFree=67111448/67111528
[pid=14742] ppid=14740 vsize=15698528 CPUtime=1.16 cores=0,2,4,6
/proc/14742/stat : 14742 (java) S 14740 14742 14441 0 -1 4202496 46014 0 1 0 109 7 0 0 25 0 22 0 519619450 16075292672 42175 33554432000 1073741824 1073778376 140735075934672 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/14742/statm: 3924632 42175 2249 9 0 3915351 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 15698528

[startup+1.50089 s]
/proc/loadavg: 7.74 7.97 7.80 7/220 14806
/proc/meminfo: memFree=30619560/32950928 swapFree=67111448/67111528
[pid=14742] ppid=14740 vsize=15715344 CPUtime=2.87 cores=0,2,4,6
/proc/14742/stat : 14742 (java) S 14740 14742 14441 0 -1 4202496 52295 0 1 0 279 8 0 0 25 0 22 0 519619450 16092512256 46478 33554432000 1073741824 1073778376 140735075934672 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/14742/statm: 3928836 46478 2269 9 0 3919555 0
[pid=14742/tid=14744] ppid=14740 vsize=15715344 CPUtime=1.2 cores=0,2,4,6
/proc/14742/task/14744/stat : 14744 (java) S 14740 14742 14441 0 -1 4202560 35663 0 1 0 115 5 0 0 25 0 22 0 519619450 16092512256 46478 33554432000 1073741824 1073778376 140735075934672 18446744073709551615 251826056089 0 4 0 16800975 18446604445456301056 0 0 -1 0 0 0 0
[pid=14742/tid=14745] ppid=14740 vsize=15715344 CPUtime=0 cores=0,2,4,6
/proc/14742/task/14745/stat : 14745 (java) S 14740 14742 14441 0 -1 4202560 72 0 0 0 0 0 0 0 21 0 22 0 519619451 16092512256 46478 33554432000 1073741824 1073778376 140735075934672 18446744073709551615 251826056089 0 4 0 16800975 18446604445456301056 0 0 -1 4 0 0 0
[pid=14742/tid=14746] ppid=14740 vsize=15715344 CPUtime=0 cores=0,2,4,6
/proc/14742/task/14746/stat : 14746 (java) S 14740 14742 14441 0 -1 4202560 326 0 0 0 0 0 0 0 21 0 22 0 519619451 16092512256 46478 33554432000 1073741824 1073778376 140735075934672 18446744073709551615 251826056089 0 4 0 16800975 18446604445456301056 0 0 -1 6 0 0 0
[pid=14742/tid=14747] ppid=14740 vsize=15715344 CPUtime=0 cores=0,2,4,6
/proc/14742/task/14747/stat : 14747 (java) S 14740 14742 14441 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 519619451 16092512256 46478 33554432000 1073741824 1073778376 140735075934672 18446744073709551615 251826056089 0 4 0 16800975 18446604445456301056 0 0 -1 4 0 0 0
[pid=14742/tid=14748] ppid=14740 vsize=15715344 CPUtime=0 cores=0,2,4,6
/proc/14742/task/14748/stat : 14748 (java) S 14740 14742 14441 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 519619451 16092512256 46478 33554432000 1073741824 1073778376 140735075934672 18446744073709551615 251826056089 0 4 0 16800975 18446604445456301056 0 0 -1 4 0 0 0
[pid=14742/tid=14749] ppid=14740 vsize=15715344 CPUtime=0 cores=0,2,4,6
/proc/14742/task/14749/stat : 14749 (java) S 14740 14742 14441 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 519619451 16092512256 46478 33554432000 1073741824 1073778376 140735075934672 18446744073709551615 251826056089 0 4 0 16800975 18446604445456301056 0 0 -1 4 0 0 0
[pid=14742/tid=14750] ppid=14740 vsize=15715344 CPUtime=0 cores=0,2,4,6
/proc/14742/task/14750/stat : 14750 (java) S 14740 14742 14441 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 519619451 16092512256 46478 33554432000 1073741824 1073778376 140735075934672 18446744073709551615 251826056089 0 4 0 16800975 18446604445456301056 0 0 -1 4 0 0 0
[pid=14742/tid=14751] ppid=14740 vsize=15715344 CPUtime=0 cores=0,2,4,6
/proc/14742/task/14751/stat : 14751 (java) S 14740 14742 14441 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 519619451 16092512256 46478 33554432000 1073741824 1073778376 140735075934672 18446744073709551615 251826056089 0 4 0 16800975 18446604445456301056 0 0 -1 4 0 0 0
[pid=14742/tid=14752] ppid=14740 vsize=15715344 CPUtime=0 cores=0,2,4,6
/proc/14742/task/14752/stat : 14752 (java) S 14740 14742 14441 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 519619451 16092512256 46478 33554432000 1073741824 1073778376 140735075934672 18446744073709551615 251826056089 0 4 0 16800975 18446604445456301056 0 0 -1 4 0 0 0
[pid=14742/tid=14753] ppid=14740 vsize=15715344 CPUtime=0 cores=0,2,4,6
/proc/14742/task/14753/stat : 14753 (java) S 14740 14742 14441 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 22 0 519619452 16092512256 46478 33554432000 1073741824 1073778376 140735075934672 18446744073709551615 251826056704 0 0 0 16800975 18446604445456301056 0 0 -1 4 0 0 0
[pid=14742/tid=14757] ppid=14740 vsize=15715344 CPUtime=0 cores=0,2,4,6
/proc/14742/task/14757/stat : 14757 (java) S 14740 14742 14441 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 22 0 519619452 16092512256 46478 33554432000 1073741824 1073778376 140735075934672 18446744073709551615 251826056089 0 4 0 16800975 18446604445456301056 0 0 -1 4 0 0 0
[pid=14742/tid=14758] ppid=14740 vsize=15715344 CPUtime=0 cores=0,2,4,6
/proc/14742/task/14758/stat : 14758 (java) S 14740 14742 14441 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 22 0 519619452 16092512256 46478 33554432000 1073741824 1073778376 140735075934672 18446744073709551615 251826056089 0 4 0 16800975 18446604445456301056 0 0 -1 4 0 0 0
[pid=14742/tid=14767] ppid=14740 vsize=15715344 CPUtime=0 cores=0,2,4,6
/proc/14742/task/14767/stat : 14767 (java) S 14740 14742 14441 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 519619455 16092512256 46478 33554432000 1073741824 1073778376 140735075934672 18446744073709551615 251826063793 0 4 0 16800975 18446604445456301056 0 0 -1 4 0 0 0
[pid=14742/tid=14768] ppid=14740 vsize=15715344 CPUtime=0.46 cores=0,2,4,6
/proc/14742/task/14768/stat : 14768 (java) S 14740 14742 14441 0 -1 4202560 2890 0 0 0 46 0 0 0 16 0 22 0 519619455 16092512256 46478 33554432000 1073741824 1073778376 140735075934672 18446744073709551615 251826056089 0 4 0 16800975 18446604445456301056 0 0 -1 2 0 0 0
[pid=14742/tid=14769] ppid=14740 vsize=15715344 CPUtime=0.79 cores=0,2,4,6
/proc/14742/task/14769/stat : 14769 (java) S 14740 14742 14441 0 -1 4202560 11888 0 0 0 78 1 0 0 16 0 22 0 519619455 16092512256 46478 33554432000 1073741824 1073778376 140735075934672 18446744073709551615 251826056089 0 4 0 16800975 18446604445456301056 0 0 -1 4 0 0 0
[pid=14742/tid=14770] ppid=14740 vsize=15715344 CPUtime=0 cores=0,2,4,6
/proc/14742/task/14770/stat : 14770 (java) S 14740 14742 14441 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 519619455 16092512256 46478 33554432000 1073741824 1073778376 140735075934672 18446744073709551615 251826056089 0 4 0 16800975 18446604445456301056 0 0 -1 4 0 0 0
[pid=14742/tid=14771] ppid=14740 vsize=15715344 CPUtime=0 cores=0,2,4,6
/proc/14742/task/14771/stat : 14771 (java) S 14740 14742 14441 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 519619455 16092512256 46478 33554432000 1073741824 1073778376 140735075934672 18446744073709551615 251826056704 0 4 0 16800975 18446604445456301056 0 0 -1 6 0 0 0
[pid=14742/tid=14799] ppid=14740 vsize=15715344 CPUtime=0.14 cores=0,2,4,6
/proc/14742/task/14799/stat : 14799 (java) S 14740 14742 14441 0 -1 4202560 30 0 0 0 14 0 0 0 17 0 22 0 519619497 16092512256 46478 33554432000 1073741824 1073778376 140735075934672 18446744073709551615 251826056704 0 4 0 16800975 18446604445456301056 0 0 -1 0 0 0 0
[pid=14742/tid=14800] ppid=14740 vsize=15715344 CPUtime=0.03 cores=0,2,4,6
/proc/14742/task/14800/stat : 14800 (java) R 14740 14742 14441 0 -1 4202560 7 0 0 0 3 0 0 0 16 0 22 0 519619497 16092512256 46478 33554432000 1073741824 1073778376 140735075934672 18446744073709551615 46912506011790 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=14742/tid=14801] ppid=14740 vsize=15715344 CPUtime=0.08 cores=0,2,4,6
/proc/14742/task/14801/stat : 14801 (java) R 14740 14742 14441 0 -1 4202560 7 0 0 0 8 0 0 0 16 0 22 0 519619497 16092512256 46478 33554432000 1073741824 1073778376 140735075934672 18446744073709551615 46912505727064 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=14742/tid=14802] ppid=14740 vsize=15715344 CPUtime=0.11 cores=0,2,4,6
/proc/14742/task/14802/stat : 14802 (java) S 14740 14742 14441 0 -1 4202560 12 0 0 0 11 0 0 0 17 0 22 0 519619497 16092512256 46478 33554432000 1073741824 1073778376 140735075934672 18446744073709551615 251826056704 0 4 0 16800975 18446604445456301056 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.87
Current children cumulated vsize (KiB) 15715344

[startup+3.10163 s]
/proc/loadavg: 7.74 7.97 7.80 11/220 14806
/proc/meminfo: memFree=30471380/32950928 swapFree=67111448/67111528
[pid=14742] ppid=14740 vsize=15715344 CPUtime=9.14 cores=0,2,4,6
/proc/14742/stat : 14742 (java) S 14740 14742 14441 0 -1 4202496 151303 0 1 0 892 22 0 0 25 0 22 0 519619450 16092512256 144902 33554432000 1073741824 1073778376 140735075934672 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/14742/statm: 3928836 144911 2284 9 0 3919555 0
[pid=14742/tid=14744] ppid=14740 vsize=15715344 CPUtime=1.2 cores=0,2,4,6
/proc/14742/task/14744/stat : 14744 (java) S 14740 14742 14441 0 -1 4202560 35663 0 1 0 115 5 0 0 25 0 22 0 519619450 16092512256 144914 33554432000 1073741824 1073778376 140735075934672 18446744073709551615 251826056089 0 4 0 16800975 18446604445456301056 0 0 -1 0 0 0 0
[pid=14742/tid=14745] ppid=14740 vsize=15715344 CPUtime=0 cores=0,2,4,6
/proc/14742/task/14745/stat : 14745 (java) S 14740 14742 14441 0 -1 4202560 2892 0 0 0 0 0 0 0 16 0 22 0 519619451 16092512256 144919 33554432000 1073741824 1073778376 140735075934672 18446744073709551615 251826056089 0 4 0 16800975 18446604445456301056 0 0 -1 4 0 0 0
[pid=14742/tid=14746] ppid=14740 vsize=15715344 CPUtime=0 cores=0,2,4,6
/proc/14742/task/14746/stat : 14746 (java) S 14740 14742 14441 0 -1 4202560 3814 0 0 0 0 0 0 0 16 0 22 0 519619451 16092512256 144923 33554432000 1073741824 1073778376 140735075934672 18446744073709551615 251826056089 0 4 0 16800975 18446604445456301056 0 0 -1 6 0 0 0
[pid=14742/tid=14747] ppid=14740 vsize=15715344 CPUtime=0 cores=0,2,4,6
/proc/14742/task/14747/stat : 14747 (java) S 14740 14742 14441 0 -1 4202560 3407 0 0 0 0 0 0 0 15 0 22 0 519619451 16092512256 144926 33554432000 1073741824 1073778376 140735075934672 18446744073709551615 251826056089 0 4 0 16800975 18446604445456301056 0 0 -1 0 0 0 0
[pid=14742/tid=14748] ppid=14740 vsize=15715344 CPUtime=0 cores=0,2,4,6
/proc/14742/task/14748/stat : 14748 (java) S 14740 14742 14441 0 -1 4202560 1873 0 0 0 0 0 0 0 16 0 22 0 519619451 16092512256 144931 33554432000 1073741824 1073778376 140735075934672 18446744073709551615 251826056089 0 4 0 16800975 18446604445456301056 0 0 -1 0 0 0 0
[pid=14742/tid=14749] ppid=14740 vsize=15715344 CPUtime=0 cores=0,2,4,6
/proc/14742/task/14749/stat : 14749 (java) S 14740 14742 14441 0 -1 4202560 1307 0 0 0 0 0 0 0 15 0 22 0 519619451 16092512256 144935 33554432000 1073741824 1073778376 140735075934672 18446744073709551615 251826056089 0 4 0 16800975 18446604445456301056 0 0 -1 0 0 0 0
[pid=14742/tid=14750] ppid=14740 vsize=15715344 CPUtime=0.01 cores=0,2,4,6
/proc/14742/task/14750/stat : 14750 (java) S 14740 14742 14441 0 -1 4202560 5339 0 0 0 0 1 0 0 16 0 22 0 519619451 16092512256 144940 33554432000 1073741824 1073778376 140735075934672 18446744073709551615 251826056089 0 4 0 16800975 18446604445456301056 0 0 -1 2 0 0 0
[pid=14742/tid=14751] ppid=14740 vsize=15715344 CPUtime=0 cores=0,2,4,6
/proc/14742/task/14751/stat : 14751 (java) S 14740 14742 14441 0 -1 4202560 3608 0 0 0 0 0 0 0 15 0 22 0 519619451 16092512256 144946 33554432000 1073741824 1073778376 140735075934672 18446744073709551615 251826056089 0 4 0 16800975 18446604445456301056 0 0 -1 6 0 0 0
[pid=14742/tid=14752] ppid=14740 vsize=15715344 CPUtime=0.01 cores=0,2,4,6
/proc/14742/task/14752/stat : 14752 (java) S 14740 14742 14441 0 -1 4202560 5822 0 0 0 1 0 0 0 15 0 22 0 519619451 16092512256 144949 33554432000 1073741824 1073778376 140735075934672 18446744073709551615 251826056089 0 4 0 16800975 18446604445456301056 0 0 -1 0 0 0 0
[pid=14742/tid=14753] ppid=14740 vsize=15715344 CPUtime=0 cores=0,2,4,6
/proc/14742/task/14753/stat : 14753 (java) S 14740 14742 14441 0 -1 4202560 217 0 0 0 0 0 0 0 16 0 22 0 519619452 16092512256 144954 33554432000 1073741824 1073778376 140735075934672 18446744073709551615 251826056704 0 0 0 16800975 18446604445456301056 0 0 -1 4 0 0 0
[pid=14742/tid=14757] ppid=14740 vsize=15715344 CPUtime=0 cores=0,2,4,6
/proc/14742/task/14757/stat : 14757 (java) S 14740 14742 14441 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 519619452 16092512256 144958 33554432000 1073741824 1073778376 140735075934672 18446744073709551615 251826056089 0 4 0 16800975 18446604445456301056 0 0 -1 4 0 0 0
[pid=14742/tid=14758] ppid=14740 vsize=15715344 CPUtime=0 cores=0,2,4,6
/proc/14742/task/14758/stat : 14758 (java) S 14740 14742 14441 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 519619452 16092512256 144965 33554432000 1073741824 1073778376 140735075934672 18446744073709551615 251826056089 0 4 0 16800975 18446604445456301056 0 0 -1 4 0 0 0
[pid=14742/tid=14767] ppid=14740 vsize=15715344 CPUtime=0 cores=0,2,4,6
/proc/14742/task/14767/stat : 14767 (java) S 14740 14742 14441 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 519619455 16092512256 144968 33554432000 1073741824 1073778376 140735075934672 18446744073709551615 251826063793 0 4 0 16800975 18446604445456301056 0 0 -1 4 0 0 0
[pid=14742/tid=14768] ppid=14740 vsize=15715344 CPUtime=0.59 cores=0,2,4,6
/proc/14742/task/14768/stat : 14768 (java) S 14740 14742 14441 0 -1 4202560 3752 0 0 0 59 0 0 0 15 0 22 0 519619455 16092512256 144972 33554432000 1073741824 1073778376 140735075934672 18446744073709551615 251826056089 0 4 0 16800975 18446604445456301056 0 0 -1 2 0 0 0
[pid=14742/tid=14769] ppid=14740 vsize=15715344 CPUtime=0.97 cores=0,2,4,6
/proc/14742/task/14769/stat : 14769 (java) S 14740 14742 14441 0 -1 4202560 11916 0 0 0 96 1 0 0 15 0 22 0 519619455 16092512256 144979 33554432000 1073741824 1073778376 140735075934672 18446744073709551615 251826056089 0 4 0 16800975 18446604445456301056 0 0 -1 0 0 0 0
[pid=14742/tid=14770] ppid=14740 vsize=15715344 CPUtime=0 cores=0,2,4,6
/proc/14742/task/14770/stat : 14770 (java) S 14740 14742 14441 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 519619455 16092512256 144995 33554432000 1073741824 1073778376 140735075934672 18446744073709551615 251826056089 0 4 0 16800975 18446604445456301056 0 0 -1 4 0 0 0
[pid=14742/tid=14771] ppid=14740 vsize=15715344 CPUtime=0 cores=0,2,4,6
/proc/14742/task/14771/stat : 14771 (java) S 14740 14742 14441 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 519619455 16092512256 145005 33554432000 1073741824 1073778376 140735075934672 18446744073709551615 251826056704 0 4 0 16800975 18446604445456301056 0 0 -1 4 0 0 0
[pid=14742/tid=14799] ppid=14740 vsize=15715344 CPUtime=1.59 cores=0,2,4,6
/proc/14742/task/14799/stat : 14799 (java) R 14740 14742 14441 0 -1 4202560 17400 0 0 0 158 1 0 0 18 0 22 0 519619497 16092512256 145015 33554432000 1073741824 1073778376 140735075934672 18446744073709551615 46912505953286 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=14742/tid=14800] ppid=14740 vsize=15715344 CPUtime=1.54 cores=0,2,4,6
/proc/14742/task/14800/stat : 14800 (java) R 14740 14742 14441 0 -1 4202560 18064 0 0 0 152 2 0 0 17 0 22 0 519619497 16092512256 145025 33554432000 1073741824 1073778376 140735075934672 18446744073709551615 46912506005008 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=14742/tid=14801] ppid=14740 vsize=15715344 CPUtime=1.56 cores=0,2,4,6
/proc/14742/task/14801/stat : 14801 (java) R 14740 14742 14441 0 -1 4202560 17200 0 0 0 154 2 0 0 17 0 22 0 519619497 16092512256 145035 33554432000 1073741824 1073778376 140735075934672 18446744073709551615 46912505953286 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=14742/tid=14802] ppid=14740 vsize=15715344 CPUtime=1.51 cores=0,2,4,6
/proc/14742/task/14802/stat : 14802 (java) R 14740 14742 14441 0 -1 4202560 17768 0 0 0 149 2 0 0 17 0 22 0 519619497 16092512256 145040 33554432000 1073741824 1073778376 140735075934672 18446744073709551615 46912505589340 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 9.14
Current children cumulated vsize (KiB) 15715344

[startup+6.30109 s]
/proc/loadavg: 7.74 7.97 7.80 9/220 14806
/proc/meminfo: memFree=28722960/32950928 swapFree=67111448/67111528
[pid=14742] ppid=14740 vsize=15715344 CPUtime=21.9 cores=0,2,4,6
/proc/14742/stat : 14742 (java) S 14740 14742 14441 0 -1 4202496 291067 0 1 0 2150 40 0 0 25 0 22 0 519619450 16092512256 284543 33554432000 1073741824 1073778376 140735075934672 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/14742/statm: 3928836 284543 2284 9 0 3919555 0
[pid=14742/tid=14744] ppid=14740 vsize=15715344 CPUtime=1.2 cores=0,2,4,6
/proc/14742/task/14744/stat : 14744 (java) S 14740 14742 14441 0 -1 4202560 35663 0 1 0 115 5 0 0 25 0 22 0 519619450 16092512256 284543 33554432000 1073741824 1073778376 140735075934672 18446744073709551615 251826056089 0 4 0 16800975 18446604445456301056 0 0 -1 0 0 0 0
[pid=14742/tid=14745] ppid=14740 vsize=15715344 CPUtime=0 cores=0,2,4,6
/proc/14742/task/14745/stat : 14745 (java) S 14740 14742 14441 0 -1 4202560 4036 0 0 0 0 0 0 0 16 0 22 0 519619451 16092512256 284543 33554432000 1073741824 1073778376 140735075934672 18446744073709551615 251826056089 0 4 0 16800975 18446604445456301056 0 0 -1 4 0 0 0
[pid=14742/tid=14746] ppid=14740 vsize=15715344 CPUtime=0.01 cores=0,2,4,6
/proc/14742/task/14746/stat : 14746 (java) S 14740 14742 14441 0 -1 4202560 5865 0 0 0 1 0 0 0 15 0 22 0 519619451 16092512256 284543 33554432000 1073741824 1073778376 140735075934672 18446744073709551615 251826056089 0 4 0 16800975 18446604445456301056 0 0 -1 0 0 0 0
[pid=14742/tid=14747] ppid=14740 vsize=15715344 CPUtime=0.01 cores=0,2,4,6
/proc/14742/task/14747/stat : 14747 (java) S 14740 14742 14441 0 -1 4202560 4966 0 0 0 0 1 0 0 15 0 22 0 519619451 16092512256 284543 33554432000 1073741824 1073778376 140735075934672 18446744073709551615 251826056089 0 4 0 16800975 18446604445456301056 0 0 -1 0 0 0 0
[pid=14742/tid=14748] ppid=14740 vsize=15715344 CPUtime=0 cores=0,2,4,6
/proc/14742/task/14748/stat : 14748 (java) S 14740 14742 14441 0 -1 4202560 3512 0 0 0 0 0 0 0 16 0 22 0 519619451 16092512256 284543 33554432000 1073741824 1073778376 140735075934672 18446744073709551615 251826056089 0 4 0 16800975 18446604445456301056 0 0 -1 6 0 0 0
[pid=14742/tid=14749] ppid=14740 vsize=15715344 CPUtime=0 cores=0,2,4,6
/proc/14742/task/14749/stat : 14749 (java) S 14740 14742 14441 0 -1 4202560 3581 0 0 0 0 0 0 0 16 0 22 0 519619451 16092512256 284543 33554432000 1073741824 1073778376 140735075934672 18446744073709551615 251826056089 0 4 0 16800975 18446604445456301056 0 0 -1 2 0 0 0
[pid=14742/tid=14750] ppid=14740 vsize=15715344 CPUtime=0.02 cores=0,2,4,6
/proc/14742/task/14750/stat : 14750 (java) S 14740 14742 14441 0 -1 4202560 6953 0 0 0 1 1 0 0 15 0 22 0 519619451 16092512256 284543 33554432000 1073741824 1073778376 140735075934672 18446744073709551615 251826056089 0 4 0 16800975 18446604445456301056 0 0 -1 2 0 0 0
[pid=14742/tid=14751] ppid=14740 vsize=15715344 CPUtime=0.01 cores=0,2,4,6
/proc/14742/task/14751/stat : 14751 (java) S 14740 14742 14441 0 -1 4202560 6444 0 0 0 1 0 0 0 16 0 22 0 519619451 16092512256 284543 33554432000 1073741824 1073778376 140735075934672 18446744073709551615 251826056089 0 4 0 16800975 18446604445456301056 0 0 -1 0 0 0 0
[pid=14742/tid=14752] ppid=14740 vsize=15715344 CPUtime=0.02 cores=0,2,4,6
/proc/14742/task/14752/stat : 14752 (java) S 14740 14742 14441 0 -1 4202560 6431 0 0 0 1 1 0 0 15 0 22 0 519619451 16092512256 284543 33554432000 1073741824 1073778376 140735075934672 18446744073709551615 251826056089 0 4 0 16800975 18446604445456301056 0 0 -1 0 0 0 0
[pid=14742/tid=14753] ppid=14740 vsize=15715344 CPUtime=0 cores=0,2,4,6
/proc/14742/task/14753/stat : 14753 (java) S 14740 14742 14441 0 -1 4202560 769 0 0 0 0 0 0 0 15 0 22 0 519619452 16092512256 284543 33554432000 1073741824 1073778376 140735075934672 18446744073709551615 251826056704 0 0 0 16800975 18446604445456301056 0 0 -1 4 0 0 0
[pid=14742/tid=14757] ppid=14740 vsize=15715344 CPUtime=0 cores=0,2,4,6
/proc/14742/task/14757/stat : 14757 (java) S 14740 14742 14441 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 519619452 16092512256 284543 33554432000 1073741824 1073778376 140735075934672 18446744073709551615 251826056089 0 4 0 16800975 18446604445456301056 0 0 -1 4 0 0 0
[pid=14742/tid=14758] ppid=14740 vsize=15715344 CPUtime=0 cores=0,2,4,6
/proc/14742/task/14758/stat : 14758 (java) S 14740 14742 14441 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 519619452 16092512256 284543 33554432000 1073741824 1073778376 140735075934672 18446744073709551615 251826056089 0 4 0 16800975 18446604445456301056 0 0 -1 4 0 0 0
[pid=14742/tid=14767] ppid=14740 vsize=15715344 CPUtime=0 cores=0,2,4,6
/proc/14742/task/14767/stat : 14767 (java) S 14740 14742 14441 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 519619455 16092512256 284543 33554432000 1073741824 1073778376 140735075934672 18446744073709551615 251826063793 0 4 0 16800975 18446604445456301056 0 0 -1 4 0 0 0
[pid=14742/tid=14768] ppid=14740 vsize=15715344 CPUtime=0.65 cores=0,2,4,6
/proc/14742/task/14768/stat : 14768 (java) S 14740 14742 14441 0 -1 4202560 4273 0 0 0 65 0 0 0 15 0 22 0 519619455 16092512256 284543 33554432000 1073741824 1073778376 140735075934672 18446744073709551615 251826056089 0 4 0 16800975 18446604445456301056 0 0 -1 2 0 0 0

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

[pid=14742/tid=14800] ppid=14740 vsize=15715344 CPUtime=1047.82 cores=0,2,4,6
/proc/14742/task/14800/stat : 14800 (java) R 14740 14742 14441 0 -1 4202560 415623 0 0 0 104728 54 0 0 25 0 22 0 519619497 16092512256 145299 33554432000 1073741824 1073778376 140735075934672 18446744073709551615 46912505953928 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=14742/tid=14801] ppid=14740 vsize=15715344 CPUtime=1047.83 cores=0,2,4,6
/proc/14742/task/14801/stat : 14801 (java) R 14740 14742 14441 0 -1 4202560 416592 0 0 0 104728 55 0 0 21 0 22 0 519619497 16092512256 145299 33554432000 1073741824 1073778376 140735075934672 18446744073709551615 46912506003219 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=14742/tid=14802] ppid=14740 vsize=15715344 CPUtime=1047.71 cores=0,2,4,6
/proc/14742/task/14802/stat : 14802 (java) R 14740 14742 14441 0 -1 4202560 412194 0 0 0 104718 53 0 0 25 0 22 0 519619497 16092512256 145299 33554432000 1073741824 1073778376 140735075934672 18446744073709551615 46912506058400 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4223.62
Current children cumulated vsize (KiB) 15715344

[startup+1122.3 s]
/proc/loadavg: 8.38 8.18 8.02 9/220 14885
/proc/meminfo: memFree=29831816/32950928 swapFree=67111448/67111528
[pid=14742] ppid=14740 vsize=15715344 CPUtime=4462.43 cores=0,2,4,6
/proc/14742/stat : 14742 (java) S 14740 14742 14441 0 -1 4202496 3036353 0 1 0 445683 560 0 0 25 0 22 0 519619450 16092512256 141827 33554432000 1073741824 1073778376 140735075934672 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/14742/statm: 3928836 141827 2298 9 0 3919555 0
[pid=14742/tid=14744] ppid=14740 vsize=15715344 CPUtime=1.2 cores=0,2,4,6
/proc/14742/task/14744/stat : 14744 (java) S 14740 14742 14441 0 -1 4202560 35663 0 1 0 115 5 0 0 25 0 22 0 519619450 16092512256 141827 33554432000 1073741824 1073778376 140735075934672 18446744073709551615 251826056089 0 4 0 16800975 18446604445456301056 0 0 -1 0 0 0 0
[pid=14742/tid=14745] ppid=14740 vsize=15715344 CPUtime=3.61 cores=0,2,4,6
/proc/14742/task/14745/stat : 14745 (java) S 14740 14742 14441 0 -1 4202560 157792 0 0 0 330 31 0 0 16 0 22 0 519619451 16092512256 141827 33554432000 1073741824 1073778376 140735075934672 18446744073709551615 251826056089 0 4 0 16800975 18446604445456301056 0 0 -1 4 0 0 0
[pid=14742/tid=14746] ppid=14740 vsize=15715344 CPUtime=3.52 cores=0,2,4,6
/proc/14742/task/14746/stat : 14746 (java) S 14740 14742 14441 0 -1 4202560 152740 0 0 0 325 27 0 0 15 0 22 0 519619451 16092512256 141827 33554432000 1073741824 1073778376 140735075934672 18446744073709551615 251826056089 0 4 0 16800975 18446604445456301056 0 0 -1 2 0 0 0
[pid=14742/tid=14747] ppid=14740 vsize=15715344 CPUtime=3.48 cores=0,2,4,6
/proc/14742/task/14747/stat : 14747 (java) S 14740 14742 14441 0 -1 4202560 161917 0 0 0 317 31 0 0 16 0 22 0 519619451 16092512256 141827 33554432000 1073741824 1073778376 140735075934672 18446744073709551615 251826056089 0 4 0 16800975 18446604445456301056 0 0 -1 6 0 0 0
[pid=14742/tid=14748] ppid=14740 vsize=15715344 CPUtime=3.37 cores=0,2,4,6
/proc/14742/task/14748/stat : 14748 (java) S 14740 14742 14441 0 -1 4202560 148993 0 0 0 311 26 0 0 15 0 22 0 519619451 16092512256 141827 33554432000 1073741824 1073778376 140735075934672 18446744073709551615 251826056089 0 4 0 16800975 18446604445456301056 0 0 -1 2 0 0 0
[pid=14742/tid=14749] ppid=14740 vsize=15715344 CPUtime=3.46 cores=0,2,4,6
/proc/14742/task/14749/stat : 14749 (java) S 14740 14742 14441 0 -1 4202560 152331 0 0 0 316 30 0 0 15 0 22 0 519619451 16092512256 141827 33554432000 1073741824 1073778376 140735075934672 18446744073709551615 251826056089 0 4 0 16800975 18446604445456301056 0 0 -1 4 0 0 0
[pid=14742/tid=14750] ppid=14740 vsize=15715344 CPUtime=3.51 cores=0,2,4,6
/proc/14742/task/14750/stat : 14750 (java) S 14740 14742 14441 0 -1 4202560 154635 0 0 0 322 29 0 0 16 0 22 0 519619451 16092512256 141827 33554432000 1073741824 1073778376 140735075934672 18446744073709551615 251826056089 0 4 0 16800975 18446604445456301056 0 0 -1 0 0 0 0
[pid=14742/tid=14751] ppid=14740 vsize=15715344 CPUtime=3.51 cores=0,2,4,6
/proc/14742/task/14751/stat : 14751 (java) S 14740 14742 14441 0 -1 4202560 160235 0 0 0 320 31 0 0 15 0 22 0 519619451 16092512256 141827 33554432000 1073741824 1073778376 140735075934672 18446744073709551615 251826056089 0 4 0 16800975 18446604445456301056 0 0 -1 6 0 0 0
[pid=14742/tid=14752] ppid=14740 vsize=15715344 CPUtime=3.59 cores=0,2,4,6
/proc/14742/task/14752/stat : 14752 (java) S 14740 14742 14441 0 -1 4202560 159416 0 0 0 329 30 0 0 16 0 22 0 519619451 16092512256 141827 33554432000 1073741824 1073778376 140735075934672 18446744073709551615 251826056089 0 4 0 16800975 18446604445456301056 0 0 -1 2 0 0 0
[pid=14742/tid=14753] ppid=14740 vsize=15715344 CPUtime=2.26 cores=0,2,4,6
/proc/14742/task/14753/stat : 14753 (java) S 14740 14742 14441 0 -1 4202560 7330 0 0 0 147 79 0 0 15 0 22 0 519619452 16092512256 141827 33554432000 1073741824 1073778376 140735075934672 18446744073709551615 251826056704 0 0 0 16800975 18446604445456301056 0 0 -1 6 0 0 0
[pid=14742/tid=14757] ppid=14740 vsize=15715344 CPUtime=0 cores=0,2,4,6
/proc/14742/task/14757/stat : 14757 (java) S 14740 14742 14441 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 519619452 16092512256 141827 33554432000 1073741824 1073778376 140735075934672 18446744073709551615 251826056089 0 4 0 16800975 18446604445456301056 0 0 -1 4 0 0 0
[pid=14742/tid=14758] ppid=14740 vsize=15715344 CPUtime=0 cores=0,2,4,6
/proc/14742/task/14758/stat : 14758 (java) S 14740 14742 14441 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 519619452 16092512256 141827 33554432000 1073741824 1073778376 140735075934672 18446744073709551615 251826056089 0 4 0 16800975 18446604445456301056 0 0 -1 4 0 0 0
[pid=14742/tid=14767] ppid=14740 vsize=15715344 CPUtime=0 cores=0,2,4,6
/proc/14742/task/14767/stat : 14767 (java) S 14740 14742 14441 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 519619455 16092512256 141827 33554432000 1073741824 1073778376 140735075934672 18446744073709551615 251826063793 0 4 0 16800975 18446604445456301056 0 0 -1 4 0 0 0
[pid=14742/tid=14768] ppid=14740 vsize=15715344 CPUtime=0.83 cores=0,2,4,6
/proc/14742/task/14768/stat : 14768 (java) S 14740 14742 14441 0 -1 4202560 4785 0 0 0 83 0 0 0 15 0 22 0 519619455 16092512256 141827 33554432000 1073741824 1073778376 140735075934672 18446744073709551615 251826056089 0 4 0 16800975 18446604445456301056 0 0 -1 2 0 0 0
[pid=14742/tid=14769] ppid=14740 vsize=15715344 CPUtime=1.17 cores=0,2,4,6
/proc/14742/task/14769/stat : 14769 (java) S 14740 14742 14441 0 -1 4202560 11950 0 0 0 116 1 0 0 15 0 22 0 519619455 16092512256 141827 33554432000 1073741824 1073778376 140735075934672 18446744073709551615 251826056089 0 4 0 16800975 18446604445456301056 0 0 -1 0 0 0 0
[pid=14742/tid=14770] ppid=14740 vsize=15715344 CPUtime=0 cores=0,2,4,6
/proc/14742/task/14770/stat : 14770 (java) S 14740 14742 14441 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 519619455 16092512256 141827 33554432000 1073741824 1073778376 140735075934672 18446744073709551615 251826056089 0 4 0 16800975 18446604445456301056 0 0 -1 4 0 0 0
[pid=14742/tid=14771] ppid=14740 vsize=15715344 CPUtime=0 cores=0,2,4,6
/proc/14742/task/14771/stat : 14771 (java) S 14740 14742 14441 0 -1 4202560 66 0 0 0 0 0 0 0 15 0 22 0 519619455 16092512256 141827 33554432000 1073741824 1073778376 140735075934672 18446744073709551615 251826056704 0 4 0 16800975 18446604445456301056 0 0 -1 0 0 0 0
[pid=14742/tid=14799] ppid=14740 vsize=15715344 CPUtime=1107.61 cores=0,2,4,6
/proc/14742/task/14799/stat : 14799 (java) R 14740 14742 14441 0 -1 4202560 431949 0 0 0 110700 61 0 0 25 0 22 0 519619497 16092512256 141827 33554432000 1073741824 1073778376 140735075934672 18446744073709551615 46912505923520 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=14742/tid=14800] ppid=14740 vsize=15715344 CPUtime=1107.06 cores=0,2,4,6
/proc/14742/task/14800/stat : 14800 (java) R 14740 14742 14441 0 -1 4202560 432958 0 0 0 110648 58 0 0 25 0 22 0 519619497 16092512256 141827 33554432000 1073741824 1073778376 140735075934672 18446744073709551615 46912505923593 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=14742/tid=14801] ppid=14740 vsize=15715344 CPUtime=1107.09 cores=0,2,4,6
/proc/14742/task/14801/stat : 14801 (java) R 14740 14742 14441 0 -1 4202560 432308 0 0 0 110652 57 0 0 25 0 22 0 519619497 16092512256 141827 33554432000 1073741824 1073778376 140735075934672 18446744073709551615 46912505772238 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=14742/tid=14802] ppid=14740 vsize=15715344 CPUtime=1106.99 cores=0,2,4,6
/proc/14742/task/14802/stat : 14802 (java) R 14740 14742 14441 0 -1 4202560 429902 0 0 0 110644 55 0 0 25 0 22 0 519619497 16092512256 141827 33554432000 1073741824 1073778376 140735075934672 18446744073709551615 46912505772355 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4462.43
Current children cumulated vsize (KiB) 15715344

[startup+1182.3 s]
/proc/loadavg: 8.35 8.21 8.04 9/220 14886
/proc/meminfo: memFree=29830928/32950928 swapFree=67111448/67111528
[pid=14742] ppid=14740 vsize=15715344 CPUtime=4701.12 cores=0,2,4,6
/proc/14742/stat : 14742 (java) S 14740 14742 14441 0 -1 4202496 3170120 0 1 0 469525 587 0 0 25 0 22 0 519619450 16092512256 133628 33554432000 1073741824 1073778376 140735075934672 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/14742/statm: 3928836 133628 2298 9 0 3919555 0
[pid=14742/tid=14744] ppid=14740 vsize=15715344 CPUtime=1.2 cores=0,2,4,6
/proc/14742/task/14744/stat : 14744 (java) S 14740 14742 14441 0 -1 4202560 35663 0 1 0 115 5 0 0 25 0 22 0 519619450 16092512256 133628 33554432000 1073741824 1073778376 140735075934672 18446744073709551615 251826056089 0 4 0 16800975 18446604445456301056 0 0 -1 0 0 0 0
[pid=14742/tid=14745] ppid=14740 vsize=15715344 CPUtime=3.8 cores=0,2,4,6
/proc/14742/task/14745/stat : 14745 (java) S 14740 14742 14441 0 -1 4202560 165356 0 0 0 347 33 0 0 16 0 22 0 519619451 16092512256 133628 33554432000 1073741824 1073778376 140735075934672 18446744073709551615 251826056089 0 4 0 16800975 18446604445456301056 0 0 -1 4 0 0 0
[pid=14742/tid=14746] ppid=14740 vsize=15715344 CPUtime=3.73 cores=0,2,4,6
/proc/14742/task/14746/stat : 14746 (java) S 14740 14742 14441 0 -1 4202560 162085 0 0 0 344 29 0 0 15 0 22 0 519619451 16092512256 133628 33554432000 1073741824 1073778376 140735075934672 18446744073709551615 251826056089 0 4 0 16800975 18446604445456301056 0 0 -1 0 0 0 0
[pid=14742/tid=14747] ppid=14740 vsize=15715344 CPUtime=3.68 cores=0,2,4,6
/proc/14742/task/14747/stat : 14747 (java) S 14740 14742 14441 0 -1 4202560 169009 0 0 0 335 33 0 0 15 0 22 0 519619451 16092512256 133628 33554432000 1073741824 1073778376 140735075934672 18446744073709551615 251826056089 0 4 0 16800975 18446604445456301056 0 0 -1 0 0 0 0
[pid=14742/tid=14748] ppid=14740 vsize=15715344 CPUtime=3.55 cores=0,2,4,6
/proc/14742/task/14748/stat : 14748 (java) S 14740 14742 14441 0 -1 4202560 157269 0 0 0 328 27 0 0 15 0 22 0 519619451 16092512256 133628 33554432000 1073741824 1073778376 140735075934672 18446744073709551615 251826056089 0 4 0 16800975 18446604445456301056 0 0 -1 6 0 0 0
[pid=14742/tid=14749] ppid=14740 vsize=15715344 CPUtime=3.63 cores=0,2,4,6
/proc/14742/task/14749/stat : 14749 (java) S 14740 14742 14441 0 -1 4202560 158064 0 0 0 332 31 0 0 15 0 22 0 519619451 16092512256 133628 33554432000 1073741824 1073778376 140735075934672 18446744073709551615 251826056089 0 4 0 16800975 18446604445456301056 0 0 -1 6 0 0 0
[pid=14742/tid=14750] ppid=14740 vsize=15715344 CPUtime=3.7 cores=0,2,4,6
/proc/14742/task/14750/stat : 14750 (java) S 14740 14742 14441 0 -1 4202560 162799 0 0 0 339 31 0 0 16 0 22 0 519619451 16092512256 133628 33554432000 1073741824 1073778376 140735075934672 18446744073709551615 251826056089 0 4 0 16800975 18446604445456301056 0 0 -1 6 0 0 0
[pid=14742/tid=14751] ppid=14740 vsize=15715344 CPUtime=3.69 cores=0,2,4,6
/proc/14742/task/14751/stat : 14751 (java) S 14740 14742 14441 0 -1 4202560 167796 0 0 0 337 32 0 0 15 0 22 0 519619451 16092512256 133628 33554432000 1073741824 1073778376 140735075934672 18446744073709551615 251826056089 0 4 0 16800975 18446604445456301056 0 0 -1 2 0 0 0
[pid=14742/tid=14752] ppid=14740 vsize=15715344 CPUtime=3.76 cores=0,2,4,6
/proc/14742/task/14752/stat : 14752 (java) S 14740 14742 14441 0 -1 4202560 167194 0 0 0 344 32 0 0 16 0 22 0 519619451 16092512256 133628 33554432000 1073741824 1073778376 140735075934672 18446744073709551615 251826056089 0 4 0 16800975 18446604445456301056 0 0 -1 2 0 0 0
[pid=14742/tid=14753] ppid=14740 vsize=15715344 CPUtime=2.39 cores=0,2,4,6
/proc/14742/task/14753/stat : 14753 (java) S 14740 14742 14441 0 -1 4202560 7810 0 0 0 156 83 0 0 15 0 22 0 519619452 16092512256 133628 33554432000 1073741824 1073778376 140735075934672 18446744073709551615 251826056704 0 0 0 16800975 18446604445456301056 0 0 -1 0 0 0 0
[pid=14742/tid=14757] ppid=14740 vsize=15715344 CPUtime=0 cores=0,2,4,6
/proc/14742/task/14757/stat : 14757 (java) S 14740 14742 14441 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 519619452 16092512256 133628 33554432000 1073741824 1073778376 140735075934672 18446744073709551615 251826056089 0 4 0 16800975 18446604445456301056 0 0 -1 4 0 0 0
[pid=14742/tid=14758] ppid=14740 vsize=15715344 CPUtime=0 cores=0,2,4,6
/proc/14742/task/14758/stat : 14758 (java) S 14740 14742 14441 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 519619452 16092512256 133628 33554432000 1073741824 1073778376 140735075934672 18446744073709551615 251826056089 0 4 0 16800975 18446604445456301056 0 0 -1 4 0 0 0
[pid=14742/tid=14767] ppid=14740 vsize=15715344 CPUtime=0 cores=0,2,4,6
/proc/14742/task/14767/stat : 14767 (java) S 14740 14742 14441 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 519619455 16092512256 133628 33554432000 1073741824 1073778376 140735075934672 18446744073709551615 251826063793 0 4 0 16800975 18446604445456301056 0 0 -1 4 0 0 0
[pid=14742/tid=14768] ppid=14740 vsize=15715344 CPUtime=0.83 cores=0,2,4,6
/proc/14742/task/14768/stat : 14768 (java) S 14740 14742 14441 0 -1 4202560 4785 0 0 0 83 0 0 0 15 0 22 0 519619455 16092512256 133628 33554432000 1073741824 1073778376 140735075934672 18446744073709551615 251826056089 0 4 0 16800975 18446604445456301056 0 0 -1 2 0 0 0
[pid=14742/tid=14769] ppid=14740 vsize=15715344 CPUtime=1.17 cores=0,2,4,6
/proc/14742/task/14769/stat : 14769 (java) S 14740 14742 14441 0 -1 4202560 11950 0 0 0 116 1 0 0 15 0 22 0 519619455 16092512256 133628 33554432000 1073741824 1073778376 140735075934672 18446744073709551615 251826056089 0 4 0 16800975 18446604445456301056 0 0 -1 0 0 0 0
[pid=14742/tid=14770] ppid=14740 vsize=15715344 CPUtime=0 cores=0,2,4,6
/proc/14742/task/14770/stat : 14770 (java) S 14740 14742 14441 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 519619455 16092512256 133628 33554432000 1073741824 1073778376 140735075934672 18446744073709551615 251826056089 0 4 0 16800975 18446604445456301056 0 0 -1 4 0 0 0
[pid=14742/tid=14771] ppid=14740 vsize=15715344 CPUtime=0 cores=0,2,4,6
/proc/14742/task/14771/stat : 14771 (java) S 14740 14742 14441 0 -1 4202560 70 0 0 0 0 0 0 0 15 0 22 0 519619455 16092512256 133628 33554432000 1073741824 1073778376 140735075934672 18446744073709551615 251826056704 0 4 0 16800975 18446604445456301056 0 0 -1 4 0 0 0
[pid=14742/tid=14799] ppid=14740 vsize=15715344 CPUtime=1166.79 cores=0,2,4,6
/proc/14742/task/14799/stat : 14799 (java) R 14740 14742 14441 0 -1 4202560 450107 0 0 0 116616 63 0 0 25 0 22 0 519619497 16092512256 133628 33554432000 1073741824 1073778376 140735075934672 18446744073709551615 46912505792979 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=14742/tid=14800] ppid=14740 vsize=15715344 CPUtime=1166.38 cores=0,2,4,6
/proc/14742/task/14800/stat : 14800 (java) R 14740 14742 14441 0 -1 4202560 450891 0 0 0 116578 60 0 0 25 0 22 0 519619497 16092512256 133628 33554432000 1073741824 1073778376 140735075934672 18446744073709551615 46912506022020 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=14742/tid=14801] ppid=14740 vsize=15715344 CPUtime=1166.31 cores=0,2,4,6
/proc/14742/task/14801/stat : 14801 (java) R 14740 14742 14441 0 -1 4202560 450127 0 0 0 116571 60 0 0 25 0 22 0 519619497 16092512256 133628 33554432000 1073741824 1073778376 140735075934672 18446744073709551615 46912506000962 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=14742/tid=14802] ppid=14740 vsize=15715344 CPUtime=1166.32 cores=0,2,4,6
/proc/14742/task/14802/stat : 14802 (java) R 14740 14742 14441 0 -1 4202560 447762 0 0 0 116575 57 0 0 25 0 22 0 519619497 16092512256 133628 33554432000 1073741824 1073778376 140735075934672 18446744073709551615 46912505982399 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4701.12
Current children cumulated vsize (KiB) 15715344



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1207.2 s]
/proc/loadavg: 8.38 8.22 8.05 9/220 14887
/proc/meminfo: memFree=29754648/32950928 swapFree=67111448/67111528
[pid=14742] ppid=14740 vsize=15715344 CPUtime=4800.29 cores=0,2,4,6
/proc/14742/stat : 14742 (java) S 14740 14742 14441 0 -1 4202496 3238164 0 1 0 479428 601 0 0 25 0 22 0 519619450 16092512256 147033 33554432000 1073741824 1073778376 140735075934672 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/14742/statm: 3928836 147033 2298 9 0 3919555 0
[pid=14742/tid=14744] ppid=14740 vsize=15715344 CPUtime=1.2 cores=0,2,4,6
/proc/14742/task/14744/stat : 14744 (java) S 14740 14742 14441 0 -1 4202560 35663 0 1 0 115 5 0 0 25 0 22 0 519619450 16092512256 147033 33554432000 1073741824 1073778376 140735075934672 18446744073709551615 251826056089 0 4 0 16800975 18446604445456301056 0 0 -1 0 0 0 0
[pid=14742/tid=14745] ppid=14740 vsize=15715344 CPUtime=3.88 cores=0,2,4,6
/proc/14742/task/14745/stat : 14745 (java) S 14740 14742 14441 0 -1 4202560 167495 0 0 0 355 33 0 0 16 0 22 0 519619451 16092512256 147033 33554432000 1073741824 1073778376 140735075934672 18446744073709551615 251826056089 0 4 0 16800975 18446604445456301056 0 0 -1 0 0 0 0
[pid=14742/tid=14746] ppid=14740 vsize=15715344 CPUtime=3.82 cores=0,2,4,6
/proc/14742/task/14746/stat : 14746 (java) S 14740 14742 14441 0 -1 4202560 165099 0 0 0 352 30 0 0 15 0 22 0 519619451 16092512256 147033 33554432000 1073741824 1073778376 140735075934672 18446744073709551615 251826056089 0 4 0 16800975 18446604445456301056 0 0 -1 4 0 0 0
[pid=14742/tid=14747] ppid=14740 vsize=15715344 CPUtime=3.75 cores=0,2,4,6
/proc/14742/task/14747/stat : 14747 (java) S 14740 14742 14441 0 -1 4202560 172209 0 0 0 342 33 0 0 15 0 22 0 519619451 16092512256 147033 33554432000 1073741824 1073778376 140735075934672 18446744073709551615 251826056089 0 4 0 16800975 18446604445456301056 0 0 -1 2 0 0 0
[pid=14742/tid=14748] ppid=14740 vsize=15715344 CPUtime=3.62 cores=0,2,4,6
/proc/14742/task/14748/stat : 14748 (java) S 14740 14742 14441 0 -1 4202560 160826 0 0 0 335 27 0 0 15 0 22 0 519619451 16092512256 147033 33554432000 1073741824 1073778376 140735075934672 18446744073709551615 251826056089 0 4 0 16800975 18446604445456301056 0 0 -1 6 0 0 0
[pid=14742/tid=14749] ppid=14740 vsize=15715344 CPUtime=3.72 cores=0,2,4,6
/proc/14742/task/14749/stat : 14749 (java) S 14740 14742 14441 0 -1 4202560 160742 0 0 0 340 32 0 0 15 0 22 0 519619451 16092512256 147033 33554432000 1073741824 1073778376 140735075934672 18446744073709551615 251826056089 0 4 0 16800975 18446604445456301056 0 0 -1 2 0 0 0
[pid=14742/tid=14750] ppid=14740 vsize=15715344 CPUtime=3.78 cores=0,2,4,6
/proc/14742/task/14750/stat : 14750 (java) S 14740 14742 14441 0 -1 4202560 165505 0 0 0 347 31 0 0 15 0 22 0 519619451 16092512256 147033 33554432000 1073741824 1073778376 140735075934672 18446744073709551615 251826056089 0 4 0 16800975 18446604445456301056 0 0 -1 6 0 0 0
[pid=14742/tid=14751] ppid=14740 vsize=15715344 CPUtime=3.77 cores=0,2,4,6
/proc/14742/task/14751/stat : 14751 (java) S 14740 14742 14441 0 -1 4202560 171089 0 0 0 344 33 0 0 15 0 22 0 519619451 16092512256 147033 33554432000 1073741824 1073778376 140735075934672 18446744073709551615 251826056089 0 4 0 16800975 18446604445456301056 0 0 -1 4 0 0 0
[pid=14742/tid=14752] ppid=14740 vsize=15715344 CPUtime=3.86 cores=0,2,4,6
/proc/14742/task/14752/stat : 14752 (java) S 14740 14742 14441 0 -1 4202560 170905 0 0 0 353 33 0 0 16 0 22 0 519619451 16092512256 147033 33554432000 1073741824 1073778376 140735075934672 18446744073709551615 251826056089 0 4 0 16800975 18446604445456301056 0 0 -1 6 0 0 0
[pid=14742/tid=14753] ppid=14740 vsize=15715344 CPUtime=2.42 cores=0,2,4,6
/proc/14742/task/14753/stat : 14753 (java) S 14740 14742 14441 0 -1 4202560 8018 0 0 0 157 85 0 0 15 0 22 0 519619452 16092512256 147033 33554432000 1073741824 1073778376 140735075934672 18446744073709551615 251826056704 0 0 0 16800975 18446604445456301056 0 0 -1 6 0 0 0
[pid=14742/tid=14757] ppid=14740 vsize=15715344 CPUtime=0 cores=0,2,4,6
/proc/14742/task/14757/stat : 14757 (java) S 14740 14742 14441 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 519619452 16092512256 147033 33554432000 1073741824 1073778376 140735075934672 18446744073709551615 251826056089 0 4 0 16800975 18446604445456301056 0 0 -1 4 0 0 0
[pid=14742/tid=14758] ppid=14740 vsize=15715344 CPUtime=0 cores=0,2,4,6
/proc/14742/task/14758/stat : 14758 (java) S 14740 14742 14441 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 519619452 16092512256 147033 33554432000 1073741824 1073778376 140735075934672 18446744073709551615 251826056089 0 4 0 16800975 18446604445456301056 0 0 -1 4 0 0 0
[pid=14742/tid=14767] ppid=14740 vsize=15715344 CPUtime=0 cores=0,2,4,6
/proc/14742/task/14767/stat : 14767 (java) S 14740 14742 14441 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 519619455 16092512256 147033 33554432000 1073741824 1073778376 140735075934672 18446744073709551615 251826063793 0 4 0 16800975 18446604445456301056 0 0 -1 4 0 0 0
[pid=14742/tid=14768] ppid=14740 vsize=15715344 CPUtime=0.83 cores=0,2,4,6
/proc/14742/task/14768/stat : 14768 (java) S 14740 14742 14441 0 -1 4202560 4785 0 0 0 83 0 0 0 15 0 22 0 519619455 16092512256 147033 33554432000 1073741824 1073778376 140735075934672 18446744073709551615 251826056089 0 4 0 16800975 18446604445456301056 0 0 -1 2 0 0 0
[pid=14742/tid=14769] ppid=14740 vsize=15715344 CPUtime=1.17 cores=0,2,4,6
/proc/14742/task/14769/stat : 14769 (java) S 14740 14742 14441 0 -1 4202560 11950 0 0 0 116 1 0 0 15 0 22 0 519619455 16092512256 147033 33554432000 1073741824 1073778376 140735075934672 18446744073709551615 251826056089 0 4 0 16800975 18446604445456301056 0 0 -1 0 0 0 0
[pid=14742/tid=14770] ppid=14740 vsize=15715344 CPUtime=0 cores=0,2,4,6
/proc/14742/task/14770/stat : 14770 (java) S 14740 14742 14441 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 519619455 16092512256 147033 33554432000 1073741824 1073778376 140735075934672 18446744073709551615 251826056089 0 4 0 16800975 18446604445456301056 0 0 -1 4 0 0 0
[pid=14742/tid=14771] ppid=14740 vsize=15715344 CPUtime=0 cores=0,2,4,6
/proc/14742/task/14771/stat : 14771 (java) S 14740 14742 14441 0 -1 4202560 72 0 0 0 0 0 0 0 15 0 22 0 519619455 16092512256 147033 33554432000 1073741824 1073778376 140735075934672 18446744073709551615 251826056704 0 4 0 16800975 18446604445456301056 0 0 -1 6 0 0 0
[pid=14742/tid=14799] ppid=14740 vsize=15715344 CPUtime=1191.46 cores=0,2,4,6
/proc/14742/task/14799/stat : 14799 (java) R 14740 14742 14441 0 -1 4202560 460351 0 0 0 119080 66 0 0 25 0 22 0 519619497 16092512256 147033 33554432000 1073741824 1073778376 140735075934672 18446744073709551615 46912506003330 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=14742/tid=14800] ppid=14740 vsize=15715344 CPUtime=1191.04 cores=0,2,4,6
/proc/14742/task/14800/stat : 14800 (java) R 14740 14742 14441 0 -1 4202560 462528 0 0 0 119042 62 0 0 25 0 22 0 519619497 16092512256 147033 33554432000 1073741824 1073778376 140735075934672 18446744073709551615 46912506000975 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=14742/tid=14801] ppid=14740 vsize=15715344 CPUtime=1190.85 cores=0,2,4,6
/proc/14742/task/14801/stat : 14801 (java) R 14740 14742 14441 0 -1 4202560 460981 0 0 0 119024 61 0 0 25 0 22 0 519619497 16092512256 147033 33554432000 1073741824 1073778376 140735075934672 18446744073709551615 46912505923520 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=14742/tid=14802] ppid=14740 vsize=15715344 CPUtime=1190.96 cores=0,2,4,6
/proc/14742/task/14802/stat : 14802 (java) R 14740 14742 14441 0 -1 4202560 458563 0 0 0 119037 59 0 0 25 0 22 0 519619497 16092512256 147033 33554432000 1073741824 1073778376 140735075934672 18446744073709551615 46912505663318 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.29
Current children cumulated vsize (KiB) 15715344

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.24
CPU time (s): 4800.36
CPU user time (s): 4794.32
CPU system time (s): 6.04308
CPU usage (%): 397.63
Max. virtual memory (cumulated for all children) (KiB): 15717312

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4794.32
system time used= 6.04308
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3238191
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= 167138
involuntary context switches= 103001

runsolver used 2.06069 second user time and 4.5763 second system time

The end

Launcher Data 

Begin job on node126 at 2011-04-29 14:30:08
IDJOB=3313042
IDBENCH=71284
IDSOLVER=1699
FILE ID=node126/3313042-1304080207
RUNJOBID= node126-1304077694-14459
PBS_JOBID= 13170512
Free space on /tmp= 71596 MiB

SOLVER NAME= STRUCTure 0.1
BENCH NAME= SAT09/CRAFTED/rbsat/random/unforced/rbsat-v945c61409g7.cnf
COMMAND LINE= run 15000 NBCORE TMPDIR DIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3313042-1304080207/watcher-3313042-1304080207 -o /tmp/evaluation-result-3313042-1304080207/solver-3313042-1304080207 -C 4800 -W 1300 -M 15500  run 15000 4 HOME HOME HOME/instance-3313042-1304080207.cnf

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

MD5SUM BENCH= cffaf116c6c0eb21439a109753d19c34
RANDOM SEED=1295373101

node126.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.783
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.56
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.783
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.783
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.783
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.783
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.80
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.783
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.783
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.82
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.783
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.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      30935308 kB
Buffers:        237856 kB
Cached:        1399572 kB
SwapCached:         76 kB
Active:         105728 kB
Inactive:      1598168 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30935308 kB
SwapTotal:    67111528 kB
SwapFree:     67111448 kB
Dirty:            2404 kB
Writeback:           0 kB
AnonPages:       66532 kB
Mapped:          14716 kB
Slab:           246944 kB
PageTables:       4636 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   194456 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= 71592 MiB
End job on node126 at 2011-04-29 14:50:17