Trace number 3313048

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.51 1207.31

General information on the benchmark

Namecrafted/skvortsov/battleship/
battleship-16-31-sat.cnf
MD5SUM34c6b89fff5c4d1bd23006ea2314b10d
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.028995
Satisfiable
(Un)Satisfiability was proved
Number of variables496
Number of clauses3976
Sum of the clauses size15376
Maximum clause length31
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 23720
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 5256

Solver Data 

0.10/0.11	10:05 INFO : Reading from input HOME/instance-3313048-1304183405.cnf
0.28/0.27	Executor set job limit to 1000000
0.28/0.27	Executor set job limit to 1000000
0.28/0.27	Executor set job limit to 1000000
0.28/0.27	Executor set job limit to 1000000
0.28/0.28	Starting Executor!
0.28/0.28	Starting Executor!
0.28/0.28	Starting Executor!
0.28/0.28	Starting Executor!
0.79/0.46	10:05 INFO : 496 variables remaining out of 496
0.79/0.46	10:05 INFO : 30512 literals remaining out of 19352

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-3313048-1304183405/watcher-3313048-1304183405 -o /tmp/evaluation-result-3313048-1304183405/solver-3313048-1304183405 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3313048-1304183405.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: 8.16 8.07 8.01 5/198 27409
/proc/meminfo: memFree=26476752/32950928 swapFree=67111356/67111528
[pid=27409] ppid=27407 vsize=23028 CPUtime=0 cores=0,2,4,6
/proc/27409/stat : 27409 (java) R 27407 27409 26973 0 -1 4202496 1203 0 0 0 0 0 0 0 25 0 1 0 529940130 23580672 688 33554432000 1073741824 1073778376 140737288536688 18446744073709551615 208075270033 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/27409/statm: 5757 688 514 9 0 124 0

[startup+0.0761419 s]
/proc/loadavg: 8.16 8.07 8.01 5/198 27409
/proc/meminfo: memFree=26476752/32950928 swapFree=67111356/67111528
[pid=27409] ppid=27407 vsize=15675744 CPUtime=0.07 cores=0,2,4,6
/proc/27409/stat : 27409 (java) S 27407 27409 26973 0 -1 4202496 4881 0 1 0 7 0 0 0 25 0 18 0 529940130 16051961856 4297 33554432000 1073741824 1073778376 140737288536688 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/27409/statm: 3918936 4297 2007 9 0 3909655 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 15675744

[startup+0.10105 s]
/proc/loadavg: 8.16 8.07 8.01 5/198 27409
/proc/meminfo: memFree=26476752/32950928 swapFree=67111356/67111528
[pid=27409] ppid=27407 vsize=15676388 CPUtime=0.1 cores=0,2,4,6
/proc/27409/stat : 27409 (java) S 27407 27409 26973 0 -1 4202496 5648 0 1 0 10 0 0 0 25 0 18 0 529940130 16052621312 5056 33554432000 1073741824 1073778376 140737288536688 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/27409/statm: 3919097 5056 2118 9 0 3909816 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15676388

[startup+0.301013 s]
/proc/loadavg: 8.16 8.07 8.01 5/198 27409
/proc/meminfo: memFree=26476752/32950928 swapFree=67111356/67111528
[pid=27409] ppid=27407 vsize=15684296 CPUtime=0.52 cores=0,2,4,6
/proc/27409/stat : 27409 (java) S 27407 27409 26973 0 -1 4202496 12892 0 1 0 50 2 0 0 25 0 22 0 529940130 16060719104 11311 33554432000 1073741824 1073778376 140737288536688 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/27409/statm: 3921074 11311 2214 9 0 3911793 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 15684296

[startup+0.700938 s]
/proc/loadavg: 8.16 8.07 8.01 5/198 27409
/proc/meminfo: memFree=26476752/32950928 swapFree=67111356/67111528
[pid=27409] ppid=27407 vsize=15717348 CPUtime=1.76 cores=0,2,4,6
/proc/27409/stat : 27409 (java) S 27407 27409 26973 0 -1 4202496 29097 0 1 0 172 4 0 0 25 0 22 0 529940130 16094564352 24908 33554432000 1073741824 1073778376 140737288536688 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/27409/statm: 3929337 24909 2257 9 0 3920056 0
Current children cumulated CPU time (s) 1.76
Current children cumulated vsize (KiB) 15717348

[startup+1.50079 s]
/proc/loadavg: 8.16 8.07 8.01 10/220 27431
/proc/meminfo: memFree=26277372/32950928 swapFree=67111356/67111528
[pid=27409] ppid=27407 vsize=15727032 CPUtime=4.92 cores=0,2,4,6
/proc/27409/stat : 27409 (java) S 27407 27409 26973 0 -1 4202496 72838 0 1 0 483 9 0 0 25 0 22 0 529940130 16104480768 63582 33554432000 1073741824 1073778376 140737288536688 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/27409/statm: 3931758 63582 2284 9 0 3922477 0
[pid=27409/tid=27411] ppid=27407 vsize=15727032 CPUtime=0.44 cores=0,2,4,6
/proc/27409/task/27411/stat : 27411 (java) S 27407 27409 26973 0 -1 4202560 8244 0 1 0 43 1 0 0 25 0 22 0 529940131 16104480768 63582 33554432000 1073741824 1073778376 140737288536688 18446744073709551615 208092048281 0 4 0 16800975 18446604453862551872 0 0 -1 2 0 0 0
[pid=27409/tid=27412] ppid=27407 vsize=15727032 CPUtime=0 cores=0,2,4,6
/proc/27409/task/27412/stat : 27412 (java) S 27407 27409 26973 0 -1 4202560 1257 0 0 0 0 0 0 0 15 0 22 0 529940131 16104480768 63582 33554432000 1073741824 1073778376 140737288536688 18446744073709551615 208092048281 0 4 0 16800975 18446604453862551872 0 0 -1 6 0 0 0
[pid=27409/tid=27413] ppid=27407 vsize=15727032 CPUtime=0 cores=0,2,4,6
/proc/27409/task/27413/stat : 27413 (java) S 27407 27409 26973 0 -1 4202560 301 0 0 0 0 0 0 0 16 0 22 0 529940131 16104480768 63582 33554432000 1073741824 1073778376 140737288536688 18446744073709551615 208092048281 0 4 0 16800975 18446604453862551872 0 0 -1 6 0 0 0
[pid=27409/tid=27414] ppid=27407 vsize=15727032 CPUtime=0 cores=0,2,4,6
/proc/27409/task/27414/stat : 27414 (java) S 27407 27409 26973 0 -1 4202560 1468 0 0 0 0 0 0 0 16 0 22 0 529940131 16104480768 63582 33554432000 1073741824 1073778376 140737288536688 18446744073709551615 208092048281 0 4 0 16800975 18446604453862551872 0 0 -1 2 0 0 0
[pid=27409/tid=27415] ppid=27407 vsize=15727032 CPUtime=0 cores=0,2,4,6
/proc/27409/task/27415/stat : 27415 (java) S 27407 27409 26973 0 -1 4202560 796 0 0 0 0 0 0 0 15 0 22 0 529940131 16104480768 63582 33554432000 1073741824 1073778376 140737288536688 18446744073709551615 208092048281 0 4 0 16800975 18446604453862551872 0 0 -1 4 0 0 0
[pid=27409/tid=27416] ppid=27407 vsize=15727032 CPUtime=0 cores=0,2,4,6
/proc/27409/task/27416/stat : 27416 (java) S 27407 27409 26973 0 -1 4202560 505 0 0 0 0 0 0 0 15 0 22 0 529940131 16104480768 63582 33554432000 1073741824 1073778376 140737288536688 18446744073709551615 208092048281 0 4 0 16800975 18446604453862551872 0 0 -1 0 0 0 0
[pid=27409/tid=27417] ppid=27407 vsize=15727032 CPUtime=0 cores=0,2,4,6
/proc/27409/task/27417/stat : 27417 (java) S 27407 27409 26973 0 -1 4202560 1059 0 0 0 0 0 0 0 16 0 22 0 529940131 16104480768 63582 33554432000 1073741824 1073778376 140737288536688 18446744073709551615 208092048281 0 4 0 16800975 18446604453862551872 0 0 -1 4 0 0 0
[pid=27409/tid=27418] ppid=27407 vsize=15727032 CPUtime=0 cores=0,2,4,6
/proc/27409/task/27418/stat : 27418 (java) S 27407 27409 26973 0 -1 4202560 1009 0 0 0 0 0 0 0 15 0 22 0 529940131 16104480768 63582 33554432000 1073741824 1073778376 140737288536688 18446744073709551615 208092048281 0 4 0 16800975 18446604453862551872 0 0 -1 4 0 0 0
[pid=27409/tid=27419] ppid=27407 vsize=15727032 CPUtime=0 cores=0,2,4,6
/proc/27409/task/27419/stat : 27419 (java) S 27407 27409 26973 0 -1 4202560 1047 0 0 0 0 0 0 0 15 0 22 0 529940131 16104480768 63582 33554432000 1073741824 1073778376 140737288536688 18446744073709551615 208092048281 0 4 0 16800975 18446604453862551872 0 0 -1 0 0 0 0
[pid=27409/tid=27420] ppid=27407 vsize=15727032 CPUtime=0 cores=0,2,4,6
/proc/27409/task/27420/stat : 27420 (java) S 27407 27409 26973 0 -1 4202560 73 0 0 0 0 0 0 0 15 0 22 0 529940132 16104480768 63582 33554432000 1073741824 1073778376 140737288536688 18446744073709551615 208092048896 0 0 0 16800975 18446604453862551872 0 0 -1 2 0 0 0
[pid=27409/tid=27421] ppid=27407 vsize=15727032 CPUtime=0 cores=0,2,4,6
/proc/27409/task/27421/stat : 27421 (java) S 27407 27409 26973 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 22 0 529940133 16104480768 63582 33554432000 1073741824 1073778376 140737288536688 18446744073709551615 208092048281 0 4 0 16800975 18446604453862551872 0 0 -1 2 0 0 0
[pid=27409/tid=27422] ppid=27407 vsize=15727032 CPUtime=0 cores=0,2,4,6
/proc/27409/task/27422/stat : 27422 (java) S 27407 27409 26973 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 529940133 16104480768 63582 33554432000 1073741824 1073778376 140737288536688 18446744073709551615 208092048281 0 4 0 16800975 18446604453862551872 0 0 -1 2 0 0 0
[pid=27409/tid=27423] ppid=27407 vsize=15727032 CPUtime=0 cores=0,2,4,6
/proc/27409/task/27423/stat : 27423 (java) S 27407 27409 26973 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529940135 16104480768 63582 33554432000 1073741824 1073778376 140737288536688 18446744073709551615 208092055985 0 4 0 16800975 18446604453862551872 0 0 -1 2 0 0 0
[pid=27409/tid=27424] ppid=27407 vsize=15727032 CPUtime=1.01 cores=0,2,4,6
/proc/27409/task/27424/stat : 27424 (java) R 27407 27409 26973 0 -1 4202560 16181 0 0 0 99 2 0 0 25 0 22 0 529940135 16104480768 63582 33554432000 1073741824 1073778376 140737288536688 18446744073709551615 208092048281 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27409/tid=27425] ppid=27407 vsize=15727032 CPUtime=0.94 cores=0,2,4,6
/proc/27409/task/27425/stat : 27425 (java) R 27407 27409 26973 0 -1 4202560 11976 0 0 0 93 1 0 0 25 0 22 0 529940135 16104480768 63582 33554432000 1073741824 1073778376 140737288536688 18446744073709551615 208092058293 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=27409/tid=27426] ppid=27407 vsize=15727032 CPUtime=0 cores=0,2,4,6
/proc/27409/task/27426/stat : 27426 (java) S 27407 27409 26973 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529940135 16104480768 63582 33554432000 1073741824 1073778376 140737288536688 18446744073709551615 208092048281 0 4 0 16800975 18446604453862551872 0 0 -1 6 0 0 0
[pid=27409/tid=27427] ppid=27407 vsize=15727032 CPUtime=0 cores=0,2,4,6
/proc/27409/task/27427/stat : 27427 (java) S 27407 27409 26973 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 529940135 16104480768 63582 33554432000 1073741824 1073778376 140737288536688 18446744073709551615 208092048896 0 4 0 16800975 18446604453862551872 0 0 -1 4 0 0 0
[pid=27409/tid=27428] ppid=27407 vsize=15727032 CPUtime=0.57 cores=0,2,4,6
/proc/27409/task/27428/stat : 27428 (java) R 27407 27409 26973 0 -1 4202560 6863 0 0 0 57 0 0 0 25 0 22 0 529940158 16104480768 63582 33554432000 1073741824 1073778376 140737288536688 18446744073709551615 46912505859155 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27409/tid=27429] ppid=27407 vsize=15727032 CPUtime=0.68 cores=0,2,4,6
/proc/27409/task/27429/stat : 27429 (java) R 27407 27409 26973 0 -1 4202560 7956 0 0 0 68 0 0 0 25 0 22 0 529940158 16104480768 63582 33554432000 1073741824 1073778376 140737288536688 18446744073709551615 46912505809583 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=27409/tid=27430] ppid=27407 vsize=15727032 CPUtime=0.65 cores=0,2,4,6
/proc/27409/task/27430/stat : 27430 (java) R 27407 27409 26973 0 -1 4202560 8436 0 0 0 64 1 0 0 25 0 22 0 529940159 16104480768 63582 33554432000 1073741824 1073778376 140737288536688 18446744073709551615 46912505764643 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=27409/tid=27431] ppid=27407 vsize=15727032 CPUtime=0.53 cores=0,2,4,6
/proc/27409/task/27431/stat : 27431 (java) R 27407 27409 26973 0 -1 4202560 4281 0 0 0 53 0 0 0 21 0 22 0 529940159 16104480768 63582 33554432000 1073741824 1073778376 140737288536688 18446744073709551615 46912505448740 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.92
Current children cumulated vsize (KiB) 15727032

[startup+3.10148 s]
/proc/loadavg: 8.16 8.07 8.01 9/220 27431
/proc/meminfo: memFree=26090256/32950928 swapFree=67111356/67111528
[pid=27409] ppid=27407 vsize=15727032 CPUtime=11.31 cores=0,2,4,6
/proc/27409/stat : 27409 (java) S 27407 27409 26973 0 -1 4202496 169697 0 1 0 1110 21 0 0 25 0 22 0 529940130 16104480768 160352 33554432000 1073741824 1073778376 140737288536688 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/27409/statm: 3931758 160352 2287 9 0 3922477 0
[pid=27409/tid=27411] ppid=27407 vsize=15727032 CPUtime=0.44 cores=0,2,4,6
/proc/27409/task/27411/stat : 27411 (java) S 27407 27409 26973 0 -1 4202560 8244 0 1 0 43 1 0 0 25 0 22 0 529940131 16104480768 160352 33554432000 1073741824 1073778376 140737288536688 18446744073709551615 208092048281 0 4 0 16800975 18446604453862551872 0 0 -1 2 0 0 0
[pid=27409/tid=27412] ppid=27407 vsize=15727032 CPUtime=0 cores=0,2,4,6
/proc/27409/task/27412/stat : 27412 (java) S 27407 27409 26973 0 -1 4202560 2247 0 0 0 0 0 0 0 15 0 22 0 529940131 16104480768 160352 33554432000 1073741824 1073778376 140737288536688 18446744073709551615 208092048281 0 4 0 16800975 18446604453862551872 0 0 -1 6 0 0 0
[pid=27409/tid=27413] ppid=27407 vsize=15727032 CPUtime=0.01 cores=0,2,4,6
/proc/27409/task/27413/stat : 27413 (java) S 27407 27409 26973 0 -1 4202560 2835 0 0 0 1 0 0 0 15 0 22 0 529940131 16104480768 160352 33554432000 1073741824 1073778376 140737288536688 18446744073709551615 208092048281 0 4 0 16800975 18446604453862551872 0 0 -1 6 0 0 0
[pid=27409/tid=27414] ppid=27407 vsize=15727032 CPUtime=0.01 cores=0,2,4,6
/proc/27409/task/27414/stat : 27414 (java) S 27407 27409 26973 0 -1 4202560 3308 0 0 0 1 0 0 0 15 0 22 0 529940131 16104480768 160352 33554432000 1073741824 1073778376 140737288536688 18446744073709551615 208092048281 0 4 0 16800975 18446604453862551872 0 0 -1 2 0 0 0
[pid=27409/tid=27415] ppid=27407 vsize=15727032 CPUtime=0 cores=0,2,4,6
/proc/27409/task/27415/stat : 27415 (java) S 27407 27409 26973 0 -1 4202560 2665 0 0 0 0 0 0 0 15 0 22 0 529940131 16104480768 160352 33554432000 1073741824 1073778376 140737288536688 18446744073709551615 208092048281 0 4 0 16800975 18446604453862551872 0 0 -1 2 0 0 0
[pid=27409/tid=27416] ppid=27407 vsize=15727032 CPUtime=0.01 cores=0,2,4,6
/proc/27409/task/27416/stat : 27416 (java) S 27407 27409 26973 0 -1 4202560 4087 0 0 0 1 0 0 0 15 0 22 0 529940131 16104480768 160352 33554432000 1073741824 1073778376 140737288536688 18446744073709551615 208092048281 0 4 0 16800975 18446604453862551872 0 0 -1 0 0 0 0
[pid=27409/tid=27417] ppid=27407 vsize=15727032 CPUtime=0.01 cores=0,2,4,6
/proc/27409/task/27417/stat : 27417 (java) S 27407 27409 26973 0 -1 4202560 3907 0 0 0 1 0 0 0 15 0 22 0 529940131 16104480768 160352 33554432000 1073741824 1073778376 140737288536688 18446744073709551615 208092048281 0 4 0 16800975 18446604453862551872 0 0 -1 4 0 0 0
[pid=27409/tid=27418] ppid=27407 vsize=15727032 CPUtime=0 cores=0,2,4,6
/proc/27409/task/27418/stat : 27418 (java) S 27407 27409 26973 0 -1 4202560 1092 0 0 0 0 0 0 0 15 0 22 0 529940131 16104480768 160352 33554432000 1073741824 1073778376 140737288536688 18446744073709551615 208092048281 0 4 0 16800975 18446604453862551872 0 0 -1 0 0 0 0
[pid=27409/tid=27419] ppid=27407 vsize=15727032 CPUtime=0 cores=0,2,4,6
/proc/27409/task/27419/stat : 27419 (java) S 27407 27409 26973 0 -1 4202560 2448 0 0 0 0 0 0 0 15 0 22 0 529940131 16104480768 160352 33554432000 1073741824 1073778376 140737288536688 18446744073709551615 208092048281 0 4 0 16800975 18446604453862551872 0 0 -1 4 0 0 0
[pid=27409/tid=27420] ppid=27407 vsize=15727032 CPUtime=0 cores=0,2,4,6
/proc/27409/task/27420/stat : 27420 (java) S 27407 27409 26973 0 -1 4202560 451 0 0 0 0 0 0 0 15 0 22 0 529940132 16104480768 160352 33554432000 1073741824 1073778376 140737288536688 18446744073709551615 208092048896 0 0 0 16800975 18446604453862551872 0 0 -1 4 0 0 0
[pid=27409/tid=27421] ppid=27407 vsize=15727032 CPUtime=0 cores=0,2,4,6
/proc/27409/task/27421/stat : 27421 (java) S 27407 27409 26973 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 22 0 529940133 16104480768 160352 33554432000 1073741824 1073778376 140737288536688 18446744073709551615 208092048281 0 4 0 16800975 18446604453862551872 0 0 -1 2 0 0 0
[pid=27409/tid=27422] ppid=27407 vsize=15727032 CPUtime=0 cores=0,2,4,6
/proc/27409/task/27422/stat : 27422 (java) S 27407 27409 26973 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 529940133 16104480768 160352 33554432000 1073741824 1073778376 140737288536688 18446744073709551615 208092048281 0 4 0 16800975 18446604453862551872 0 0 -1 2 0 0 0
[pid=27409/tid=27423] ppid=27407 vsize=15727032 CPUtime=0 cores=0,2,4,6
/proc/27409/task/27423/stat : 27423 (java) S 27407 27409 26973 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529940135 16104480768 160352 33554432000 1073741824 1073778376 140737288536688 18446744073709551615 208092055985 0 4 0 16800975 18446604453862551872 0 0 -1 2 0 0 0
[pid=27409/tid=27424] ppid=27407 vsize=15727032 CPUtime=1.21 cores=0,2,4,6
/proc/27409/task/27424/stat : 27424 (java) S 27407 27409 26973 0 -1 4202560 16211 0 0 0 119 2 0 0 15 0 22 0 529940135 16104480768 160352 33554432000 1073741824 1073778376 140737288536688 18446744073709551615 208092048281 0 4 0 16800975 18446604453862551872 0 0 -1 0 0 0 0
[pid=27409/tid=27425] ppid=27407 vsize=15727032 CPUtime=1.04 cores=0,2,4,6
/proc/27409/task/27425/stat : 27425 (java) S 27407 27409 26973 0 -1 4202560 11996 0 0 0 103 1 0 0 19 0 22 0 529940135 16104480768 160352 33554432000 1073741824 1073778376 140737288536688 18446744073709551615 208092048281 0 4 0 16800975 18446604453862551872 0 0 -1 2 0 0 0
[pid=27409/tid=27426] ppid=27407 vsize=15727032 CPUtime=0 cores=0,2,4,6
/proc/27409/task/27426/stat : 27426 (java) S 27407 27409 26973 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529940135 16104480768 160352 33554432000 1073741824 1073778376 140737288536688 18446744073709551615 208092048281 0 4 0 16800975 18446604453862551872 0 0 -1 6 0 0 0
[pid=27409/tid=27427] ppid=27407 vsize=15727032 CPUtime=0 cores=0,2,4,6
/proc/27409/task/27427/stat : 27427 (java) S 27407 27409 26973 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 529940135 16104480768 160352 33554432000 1073741824 1073778376 140737288536688 18446744073709551615 208092048896 0 4 0 16800975 18446604453862551872 0 0 -1 4 0 0 0
[pid=27409/tid=27428] ppid=27407 vsize=15727032 CPUtime=1.95 cores=0,2,4,6
/proc/27409/task/27428/stat : 27428 (java) R 27407 27409 26973 0 -1 4202560 27102 0 0 0 192 3 0 0 25 0 22 0 529940158 16104480768 160352 33554432000 1073741824 1073778376 140737288536688 18446744073709551615 46912505811008 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27409/tid=27429] ppid=27407 vsize=15727032 CPUtime=2.26 cores=0,2,4,6
/proc/27409/task/27429/stat : 27429 (java) R 27407 27409 26973 0 -1 4202560 28488 0 0 0 223 3 0 0 25 0 22 0 529940158 16104480768 160352 33554432000 1073741824 1073778376 140737288536688 18446744073709551615 46912506008647 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=27409/tid=27430] ppid=27407 vsize=15727032 CPUtime=2.22 cores=0,2,4,6
/proc/27409/task/27430/stat : 27430 (java) R 27407 27409 26973 0 -1 4202560 28851 0 0 0 219 3 0 0 25 0 22 0 529940159 16104480768 160352 33554432000 1073741824 1073778376 140737288536688 18446744073709551615 46912505710761 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=27409/tid=27431] ppid=27407 vsize=15727032 CPUtime=2 cores=0,2,4,6
/proc/27409/task/27431/stat : 27431 (java) R 27407 27409 26973 0 -1 4202560 24379 0 0 0 199 1 0 0 25 0 22 0 529940159 16104480768 160352 33554432000 1073741824 1073778376 140737288536688 18446744073709551615 46912505811753 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 11.31
Current children cumulated vsize (KiB) 15727032

[startup+6.30087 s]
/proc/loadavg: 8.15 8.07 8.01 6/208 27470
/proc/meminfo: memFree=26587864/32950928 swapFree=67111356/67111528
[pid=27409] ppid=27407 vsize=15718484 CPUtime=24.09 cores=0,2,4,6
/proc/27409/stat : 27409 (java) S 27407 27409 26973 0 -1 4202496 294918 0 1 0 2373 36 0 0 25 0 22 0 529940130 16095727616 282863 33554432000 1073741824 1073778376 140737288536688 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/27409/statm: 3929621 282863 2290 9 0 3920340 0
[pid=27409/tid=27411] ppid=27407 vsize=15718484 CPUtime=0.44 cores=0,2,4,6
/proc/27409/task/27411/stat : 27411 (java) S 27407 27409 26973 0 -1 4202560 8244 0 1 0 43 1 0 0 25 0 22 0 529940131 16095727616 282863 33554432000 1073741824 1073778376 140737288536688 18446744073709551615 208092048281 0 4 0 16800975 18446604453862551872 0 0 -1 2 0 0 0
[pid=27409/tid=27412] ppid=27407 vsize=15718484 CPUtime=0 cores=0,2,4,6
/proc/27409/task/27412/stat : 27412 (java) S 27407 27409 26973 0 -1 4202560 2454 0 0 0 0 0 0 0 15 0 22 0 529940131 16095727616 282863 33554432000 1073741824 1073778376 140737288536688 18446744073709551615 208092048281 0 4 0 16800975 18446604453862551872 0 0 -1 2 0 0 0
[pid=27409/tid=27413] ppid=27407 vsize=15718484 CPUtime=0.01 cores=0,2,4,6
/proc/27409/task/27413/stat : 27413 (java) S 27407 27409 26973 0 -1 4202560 2999 0 0 0 1 0 0 0 15 0 22 0 529940131 16095727616 282863 33554432000 1073741824 1073778376 140737288536688 18446744073709551615 208092048281 0 4 0 16800975 18446604453862551872 0 0 -1 6 0 0 0
[pid=27409/tid=27414] ppid=27407 vsize=15718484 CPUtime=0.01 cores=0,2,4,6
/proc/27409/task/27414/stat : 27414 (java) S 27407 27409 26973 0 -1 4202560 3407 0 0 0 1 0 0 0 15 0 22 0 529940131 16095727616 282863 33554432000 1073741824 1073778376 140737288536688 18446744073709551615 208092048281 0 4 0 16800975 18446604453862551872 0 0 -1 2 0 0 0
[pid=27409/tid=27415] ppid=27407 vsize=15718484 CPUtime=0 cores=0,2,4,6
/proc/27409/task/27415/stat : 27415 (java) S 27407 27409 26973 0 -1 4202560 2680 0 0 0 0 0 0 0 15 0 22 0 529940131 16095727616 282863 33554432000 1073741824 1073778376 140737288536688 18446744073709551615 208092048281 0 4 0 16800975 18446604453862551872 0 0 -1 6 0 0 0
[pid=27409/tid=27416] ppid=27407 vsize=15718484 CPUtime=0.01 cores=0,2,4,6
/proc/27409/task/27416/stat : 27416 (java) S 27407 27409 26973 0 -1 4202560 4260 0 0 0 1 0 0 0 15 0 22 0 529940131 16095727616 282863 33554432000 1073741824 1073778376 140737288536688 18446744073709551615 208092048281 0 4 0 16800975 18446604453862551872 0 0 -1 0 0 0 0
[pid=27409/tid=27417] ppid=27407 vsize=15718484 CPUtime=0.01 cores=0,2,4,6
/proc/27409/task/27417/stat : 27417 (java) S 27407 27409 26973 0 -1 4202560 4085 0 0 0 1 0 0 0 15 0 22 0 529940131 16095727616 282863 33554432000 1073741824 1073778376 140737288536688 18446744073709551615 208092048281 0 4 0 16800975 18446604453862551872 0 0 -1 4 0 0 0
[pid=27409/tid=27418] ppid=27407 vsize=15718484 CPUtime=0 cores=0,2,4,6
/proc/27409/task/27418/stat : 27418 (java) S 27407 27409 26973 0 -1 4202560 1163 0 0 0 0 0 0 0 16 0 22 0 529940131 16095727616 282863 33554432000 1073741824 1073778376 140737288536688 18446744073709551615 208092048281 0 4 0 16800975 18446604453862551872 0 0 -1 0 0 0 0
[pid=27409/tid=27419] ppid=27407 vsize=15718484 CPUtime=0 cores=0,2,4,6
/proc/27409/task/27419/stat : 27419 (java) S 27407 27409 26973 0 -1 4202560 2448 0 0 0 0 0 0 0 15 0 22 0 529940131 16095727616 282863 33554432000 1073741824 1073778376 140737288536688 18446744073709551615 208092048281 0 4 0 16800975 18446604453862551872 0 0 -1 4 0 0 0
[pid=27409/tid=27420] ppid=27407 vsize=15718484 CPUtime=0 cores=0,2,4,6
/proc/27409/task/27420/stat : 27420 (java) S 27407 27409 26973 0 -1 4202560 753 0 0 0 0 0 0 0 15 0 22 0 529940132 16095727616 282863 33554432000 1073741824 1073778376 140737288536688 18446744073709551615 208092048896 0 0 0 16800975 18446604453862551872 0 0 -1 4 0 0 0
[pid=27409/tid=27421] ppid=27407 vsize=15718484 CPUtime=0 cores=0,2,4,6
/proc/27409/task/27421/stat : 27421 (java) S 27407 27409 26973 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 22 0 529940133 16095727616 282863 33554432000 1073741824 1073778376 140737288536688 18446744073709551615 208092048281 0 4 0 16800975 18446604453862551872 0 0 -1 2 0 0 0
[pid=27409/tid=27422] ppid=27407 vsize=15718484 CPUtime=0 cores=0,2,4,6
/proc/27409/task/27422/stat : 27422 (java) S 27407 27409 26973 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 529940133 16095727616 282863 33554432000 1073741824 1073778376 140737288536688 18446744073709551615 208092048281 0 4 0 16800975 18446604453862551872 0 0 -1 2 0 0 0
[pid=27409/tid=27423] ppid=27407 vsize=15718484 CPUtime=0 cores=0,2,4,6
/proc/27409/task/27423/stat : 27423 (java) S 27407 27409 26973 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529940135 16095727616 282863 33554432000 1073741824 1073778376 140737288536688 18446744073709551615 208092055985 0 4 0 16800975 18446604453862551872 0 0 -1 2 0 0 0
[pid=27409/tid=27424] ppid=27407 vsize=15718484 CPUtime=1.24 cores=0,2,4,6
/proc/27409/task/27424/stat : 27424 (java) S 27407 27409 26973 0 -1 4202560 16213 0 0 0 122 2 0 0 15 0 22 0 529940135 16095727616 282863 33554432000 1073741824 1073778376 140737288536688 18446744073709551615 208092048281 0 4 0 16800975 18446604453862551872 0 0 -1 0 0 0 0

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

/proc/meminfo: memFree=26849772/32950928 swapFree=67111356/67111528
[pid=27409] ppid=27407 vsize=15718484 CPUtime=4462.56 cores=0,2,4,6
/proc/27409/stat : 27409 (java) S 27407 27409 26973 0 -1 4202496 866644 0 1 0 445989 267 0 0 25 0 22 0 529940130 16095727616 111362 33554432000 1073741824 1073778376 140737288536688 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/27409/statm: 3929621 111362 2298 9 0 3920340 0
[pid=27409/tid=27411] ppid=27407 vsize=15718484 CPUtime=0.44 cores=0,2,4,6
/proc/27409/task/27411/stat : 27411 (java) S 27407 27409 26973 0 -1 4202560 8244 0 1 0 43 1 0 0 25 0 22 0 529940131 16095727616 111362 33554432000 1073741824 1073778376 140737288536688 18446744073709551615 208092048281 0 4 0 16800975 18446604453862551872 0 0 -1 2 0 0 0
[pid=27409/tid=27412] ppid=27407 vsize=15718484 CPUtime=3.09 cores=0,2,4,6
/proc/27409/task/27412/stat : 27412 (java) S 27407 27409 26973 0 -1 4202560 42487 0 0 0 297 12 0 0 16 0 22 0 529940131 16095727616 111362 33554432000 1073741824 1073778376 140737288536688 18446744073709551615 208092048281 0 4 0 16800975 18446604453862551872 0 0 -1 6 0 0 0
[pid=27409/tid=27413] ppid=27407 vsize=15718484 CPUtime=3.09 cores=0,2,4,6
/proc/27409/task/27413/stat : 27413 (java) S 27407 27409 26973 0 -1 4202560 42083 0 0 0 295 14 0 0 15 0 22 0 529940131 16095727616 111362 33554432000 1073741824 1073778376 140737288536688 18446744073709551615 208092048281 0 4 0 16800975 18446604453862551872 0 0 -1 0 0 0 0
[pid=27409/tid=27414] ppid=27407 vsize=15718484 CPUtime=3.16 cores=0,2,4,6
/proc/27409/task/27414/stat : 27414 (java) S 27407 27409 26973 0 -1 4202560 43108 0 0 0 302 14 0 0 16 0 22 0 529940131 16095727616 111362 33554432000 1073741824 1073778376 140737288536688 18446744073709551615 208092048281 0 4 0 16800975 18446604453862551872 0 0 -1 4 0 0 0
[pid=27409/tid=27415] ppid=27407 vsize=15718484 CPUtime=3.06 cores=0,2,4,6
/proc/27409/task/27415/stat : 27415 (java) S 27407 27409 26973 0 -1 4202560 45211 0 0 0 293 13 0 0 15 0 22 0 529940131 16095727616 111362 33554432000 1073741824 1073778376 140737288536688 18446744073709551615 208092048281 0 4 0 16800975 18446604453862551872 0 0 -1 4 0 0 0
[pid=27409/tid=27416] ppid=27407 vsize=15718484 CPUtime=3.14 cores=0,2,4,6
/proc/27409/task/27416/stat : 27416 (java) S 27407 27409 26973 0 -1 4202560 42626 0 0 0 301 13 0 0 16 0 22 0 529940131 16095727616 111362 33554432000 1073741824 1073778376 140737288536688 18446744073709551615 208092048281 0 4 0 16800975 18446604453862551872 0 0 -1 0 0 0 0
[pid=27409/tid=27417] ppid=27407 vsize=15718484 CPUtime=3.1 cores=0,2,4,6
/proc/27409/task/27417/stat : 27417 (java) S 27407 27409 26973 0 -1 4202560 45326 0 0 0 298 12 0 0 15 0 22 0 529940131 16095727616 111362 33554432000 1073741824 1073778376 140737288536688 18446744073709551615 208092048281 0 4 0 16800975 18446604453862551872 0 0 -1 2 0 0 0
[pid=27409/tid=27418] ppid=27407 vsize=15718484 CPUtime=3.1 cores=0,2,4,6
/proc/27409/task/27418/stat : 27418 (java) S 27407 27409 26973 0 -1 4202560 42089 0 0 0 299 11 0 0 15 0 22 0 529940131 16095727616 111362 33554432000 1073741824 1073778376 140737288536688 18446744073709551615 208092048281 0 4 0 16800975 18446604453862551872 0 0 -1 0 0 0 0
[pid=27409/tid=27419] ppid=27407 vsize=15718484 CPUtime=3.09 cores=0,2,4,6
/proc/27409/task/27419/stat : 27419 (java) S 27407 27409 26973 0 -1 4202560 42034 0 0 0 299 10 0 0 16 0 22 0 529940131 16095727616 111362 33554432000 1073741824 1073778376 140737288536688 18446744073709551615 208092048281 0 4 0 16800975 18446604453862551872 0 0 -1 2 0 0 0
[pid=27409/tid=27420] ppid=27407 vsize=15718484 CPUtime=1.94 cores=0,2,4,6
/proc/27409/task/27420/stat : 27420 (java) S 27407 27409 26973 0 -1 4202560 1932 0 0 0 149 45 0 0 15 0 22 0 529940132 16095727616 111362 33554432000 1073741824 1073778376 140737288536688 18446744073709551615 208092048896 0 0 0 16800975 18446604453862551872 0 0 -1 6 0 0 0
[pid=27409/tid=27421] ppid=27407 vsize=15718484 CPUtime=0 cores=0,2,4,6
/proc/27409/task/27421/stat : 27421 (java) S 27407 27409 26973 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 22 0 529940133 16095727616 111362 33554432000 1073741824 1073778376 140737288536688 18446744073709551615 208092048281 0 4 0 16800975 18446604453862551872 0 0 -1 2 0 0 0
[pid=27409/tid=27422] ppid=27407 vsize=15718484 CPUtime=0 cores=0,2,4,6
/proc/27409/task/27422/stat : 27422 (java) S 27407 27409 26973 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 529940133 16095727616 111362 33554432000 1073741824 1073778376 140737288536688 18446744073709551615 208092048281 0 4 0 16800975 18446604453862551872 0 0 -1 2 0 0 0
[pid=27409/tid=27423] ppid=27407 vsize=15718484 CPUtime=0 cores=0,2,4,6
/proc/27409/task/27423/stat : 27423 (java) S 27407 27409 26973 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529940135 16095727616 111362 33554432000 1073741824 1073778376 140737288536688 18446744073709551615 208092055985 0 4 0 16800975 18446604453862551872 0 0 -1 2 0 0 0
[pid=27409/tid=27424] ppid=27407 vsize=15718484 CPUtime=1.25 cores=0,2,4,6
/proc/27409/task/27424/stat : 27424 (java) S 27407 27409 26973 0 -1 4202560 16218 0 0 0 123 2 0 0 15 0 22 0 529940135 16095727616 111362 33554432000 1073741824 1073778376 140737288536688 18446744073709551615 208092048281 0 4 0 16800975 18446604453862551872 0 0 -1 0 0 0 0
[pid=27409/tid=27425] ppid=27407 vsize=15718484 CPUtime=1.06 cores=0,2,4,6
/proc/27409/task/27425/stat : 27425 (java) S 27407 27409 26973 0 -1 4202560 11999 0 0 0 105 1 0 0 16 0 22 0 529940135 16095727616 111362 33554432000 1073741824 1073778376 140737288536688 18446744073709551615 208092048281 0 4 0 16800975 18446604453862551872 0 0 -1 2 0 0 0
[pid=27409/tid=27426] ppid=27407 vsize=15718484 CPUtime=0 cores=0,2,4,6
/proc/27409/task/27426/stat : 27426 (java) S 27407 27409 26973 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529940135 16095727616 111362 33554432000 1073741824 1073778376 140737288536688 18446744073709551615 208092048281 0 4 0 16800975 18446604453862551872 0 0 -1 6 0 0 0
[pid=27409/tid=27427] ppid=27407 vsize=15718484 CPUtime=0 cores=0,2,4,6
/proc/27409/task/27427/stat : 27427 (java) S 27407 27409 26973 0 -1 4202560 57 0 0 0 0 0 0 0 15 0 22 0 529940135 16095727616 111362 33554432000 1073741824 1073778376 140737288536688 18446744073709551615 208092048896 0 4 0 16800975 18446604453862551872 0 0 -1 6 0 0 0
[pid=27409/tid=27428] ppid=27407 vsize=15718484 CPUtime=1108.28 cores=0,2,4,6
/proc/27409/task/27428/stat : 27428 (java) R 27407 27409 26973 0 -1 4202560 117241 0 0 0 110798 30 0 0 25 0 22 0 529940158 16095727616 111362 33554432000 1073741824 1073778376 140737288536688 18446744073709551615 46912506220770 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=27409/tid=27429] ppid=27407 vsize=15718484 CPUtime=1108.04 cores=0,2,4,6
/proc/27409/task/27429/stat : 27429 (java) R 27407 27409 26973 0 -1 4202560 122186 0 0 0 110777 27 0 0 20 0 22 0 529940158 16095727616 111362 33554432000 1073741824 1073778376 140737288536688 18446744073709551615 46912505831148 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27409/tid=27430] ppid=27407 vsize=15718484 CPUtime=1108.19 cores=0,2,4,6
/proc/27409/task/27430/stat : 27430 (java) R 27407 27409 26973 0 -1 4202560 122845 0 0 0 110792 27 0 0 25 0 22 0 529940159 16095727616 111362 33554432000 1073741824 1073778376 140737288536688 18446744073709551615 46912505894133 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=27409/tid=27431] ppid=27407 vsize=15718484 CPUtime=1108.38 cores=0,2,4,6
/proc/27409/task/27431/stat : 27431 (java) R 27407 27409 26973 0 -1 4202560 119573 0 0 0 110811 27 0 0 25 0 22 0 529940159 16095727616 111362 33554432000 1073741824 1073778376 140737288536688 18446744073709551615 46912505723089 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4462.56
Current children cumulated vsize (KiB) 15718484

[startup+1182.3 s]
/proc/loadavg: 8.14 8.09 8.02 9/220 27562
/proc/meminfo: memFree=26868700/32950928 swapFree=67111356/67111528
[pid=27409] ppid=27407 vsize=15718484 CPUtime=4701.11 cores=0,2,4,6
/proc/27409/stat : 27409 (java) S 27407 27409 26973 0 -1 4202496 905679 0 1 0 469828 283 0 0 25 0 22 0 529940130 16095727616 108863 33554432000 1073741824 1073778376 140737288536688 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/27409/statm: 3929621 108863 2298 9 0 3920340 0
[pid=27409/tid=27411] ppid=27407 vsize=15718484 CPUtime=0.44 cores=0,2,4,6
/proc/27409/task/27411/stat : 27411 (java) S 27407 27409 26973 0 -1 4202560 8244 0 1 0 43 1 0 0 25 0 22 0 529940131 16095727616 108863 33554432000 1073741824 1073778376 140737288536688 18446744073709551615 208092048281 0 4 0 16800975 18446604453862551872 0 0 -1 2 0 0 0
[pid=27409/tid=27412] ppid=27407 vsize=15718484 CPUtime=3.23 cores=0,2,4,6
/proc/27409/task/27412/stat : 27412 (java) S 27407 27409 26973 0 -1 4202560 43331 0 0 0 310 13 0 0 15 0 22 0 529940131 16095727616 108863 33554432000 1073741824 1073778376 140737288536688 18446744073709551615 208092048281 0 4 0 16800975 18446604453862551872 0 0 -1 0 0 0 0
[pid=27409/tid=27413] ppid=27407 vsize=15718484 CPUtime=3.23 cores=0,2,4,6
/proc/27409/task/27413/stat : 27413 (java) S 27407 27409 26973 0 -1 4202560 42835 0 0 0 309 14 0 0 16 0 22 0 529940131 16095727616 108863 33554432000 1073741824 1073778376 140737288536688 18446744073709551615 208092048281 0 4 0 16800975 18446604453862551872 0 0 -1 4 0 0 0
[pid=27409/tid=27414] ppid=27407 vsize=15718484 CPUtime=3.32 cores=0,2,4,6
/proc/27409/task/27414/stat : 27414 (java) S 27407 27409 26973 0 -1 4202560 43850 0 0 0 318 14 0 0 15 0 22 0 529940131 16095727616 108863 33554432000 1073741824 1073778376 140737288536688 18446744073709551615 208092048281 0 4 0 16800975 18446604453862551872 0 0 -1 2 0 0 0
[pid=27409/tid=27415] ppid=27407 vsize=15718484 CPUtime=3.22 cores=0,2,4,6
/proc/27409/task/27415/stat : 27415 (java) S 27407 27409 26973 0 -1 4202560 46187 0 0 0 308 14 0 0 15 0 22 0 529940131 16095727616 108863 33554432000 1073741824 1073778376 140737288536688 18446744073709551615 208092048281 0 4 0 16800975 18446604453862551872 0 0 -1 4 0 0 0
[pid=27409/tid=27416] ppid=27407 vsize=15718484 CPUtime=3.32 cores=0,2,4,6
/proc/27409/task/27416/stat : 27416 (java) S 27407 27409 26973 0 -1 4202560 43299 0 0 0 318 14 0 0 15 0 22 0 529940131 16095727616 108863 33554432000 1073741824 1073778376 140737288536688 18446744073709551615 208092048281 0 4 0 16800975 18446604453862551872 0 0 -1 4 0 0 0
[pid=27409/tid=27417] ppid=27407 vsize=15718484 CPUtime=3.27 cores=0,2,4,6
/proc/27409/task/27417/stat : 27417 (java) S 27407 27409 26973 0 -1 4202560 46254 0 0 0 314 13 0 0 15 0 22 0 529940131 16095727616 108863 33554432000 1073741824 1073778376 140737288536688 18446744073709551615 208092048281 0 4 0 16800975 18446604453862551872 0 0 -1 2 0 0 0
[pid=27409/tid=27418] ppid=27407 vsize=15718484 CPUtime=3.27 cores=0,2,4,6
/proc/27409/task/27418/stat : 27418 (java) S 27407 27409 26973 0 -1 4202560 42933 0 0 0 316 11 0 0 16 0 22 0 529940131 16095727616 108863 33554432000 1073741824 1073778376 140737288536688 18446744073709551615 208092048281 0 4 0 16800975 18446604453862551872 0 0 -1 6 0 0 0
[pid=27409/tid=27419] ppid=27407 vsize=15718484 CPUtime=3.23 cores=0,2,4,6
/proc/27409/task/27419/stat : 27419 (java) S 27407 27409 26973 0 -1 4202560 42939 0 0 0 313 10 0 0 16 0 22 0 529940131 16095727616 108863 33554432000 1073741824 1073778376 140737288536688 18446744073709551615 208092048281 0 4 0 16800975 18446604453862551872 0 0 -1 0 0 0 0
[pid=27409/tid=27420] ppid=27407 vsize=15718484 CPUtime=2.08 cores=0,2,4,6
/proc/27409/task/27420/stat : 27420 (java) S 27407 27409 26973 0 -1 4202560 2076 0 0 0 160 48 0 0 15 0 22 0 529940132 16095727616 108863 33554432000 1073741824 1073778376 140737288536688 18446744073709551615 208092048896 0 0 0 16800975 18446604453862551872 0 0 -1 0 0 0 0
[pid=27409/tid=27421] ppid=27407 vsize=15718484 CPUtime=0 cores=0,2,4,6
/proc/27409/task/27421/stat : 27421 (java) S 27407 27409 26973 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 22 0 529940133 16095727616 108863 33554432000 1073741824 1073778376 140737288536688 18446744073709551615 208092048281 0 4 0 16800975 18446604453862551872 0 0 -1 2 0 0 0
[pid=27409/tid=27422] ppid=27407 vsize=15718484 CPUtime=0 cores=0,2,4,6
/proc/27409/task/27422/stat : 27422 (java) S 27407 27409 26973 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 529940133 16095727616 108863 33554432000 1073741824 1073778376 140737288536688 18446744073709551615 208092048281 0 4 0 16800975 18446604453862551872 0 0 -1 2 0 0 0
[pid=27409/tid=27423] ppid=27407 vsize=15718484 CPUtime=0 cores=0,2,4,6
/proc/27409/task/27423/stat : 27423 (java) S 27407 27409 26973 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529940135 16095727616 108863 33554432000 1073741824 1073778376 140737288536688 18446744073709551615 208092055985 0 4 0 16800975 18446604453862551872 0 0 -1 2 0 0 0
[pid=27409/tid=27424] ppid=27407 vsize=15718484 CPUtime=1.25 cores=0,2,4,6
/proc/27409/task/27424/stat : 27424 (java) S 27407 27409 26973 0 -1 4202560 16218 0 0 0 123 2 0 0 15 0 22 0 529940135 16095727616 108863 33554432000 1073741824 1073778376 140737288536688 18446744073709551615 208092048281 0 4 0 16800975 18446604453862551872 0 0 -1 0 0 0 0
[pid=27409/tid=27425] ppid=27407 vsize=15718484 CPUtime=1.06 cores=0,2,4,6
/proc/27409/task/27425/stat : 27425 (java) S 27407 27409 26973 0 -1 4202560 11999 0 0 0 105 1 0 0 16 0 22 0 529940135 16095727616 108863 33554432000 1073741824 1073778376 140737288536688 18446744073709551615 208092048281 0 4 0 16800975 18446604453862551872 0 0 -1 2 0 0 0
[pid=27409/tid=27426] ppid=27407 vsize=15718484 CPUtime=0 cores=0,2,4,6
/proc/27409/task/27426/stat : 27426 (java) S 27407 27409 26973 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529940135 16095727616 108863 33554432000 1073741824 1073778376 140737288536688 18446744073709551615 208092048281 0 4 0 16800975 18446604453862551872 0 0 -1 6 0 0 0
[pid=27409/tid=27427] ppid=27407 vsize=15718484 CPUtime=0 cores=0,2,4,6
/proc/27409/task/27427/stat : 27427 (java) S 27407 27409 26973 0 -1 4202560 60 0 0 0 0 0 0 0 15 0 22 0 529940135 16095727616 108863 33554432000 1073741824 1073778376 140737288536688 18446744073709551615 208092048896 0 4 0 16800975 18446604453862551872 0 0 -1 6 0 0 0
[pid=27409/tid=27428] ppid=27407 vsize=15718484 CPUtime=1167.47 cores=0,2,4,6
/proc/27409/task/27428/stat : 27428 (java) R 27407 27409 26973 0 -1 4202560 125161 0 0 0 116715 32 0 0 25 0 22 0 529940158 16095727616 108863 33554432000 1073741824 1073778376 140737288536688 18446744073709551615 46912505723078 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=27409/tid=27429] ppid=27407 vsize=15718484 CPUtime=1167.32 cores=0,2,4,6
/proc/27409/task/27429/stat : 27429 (java) R 27407 27409 26973 0 -1 4202560 130064 0 0 0 116703 29 0 0 25 0 22 0 529940158 16095727616 108863 33554432000 1073741824 1073778376 140737288536688 18446744073709551615 46912505764536 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27409/tid=27430] ppid=27407 vsize=15718484 CPUtime=1167.5 cores=0,2,4,6
/proc/27409/task/27430/stat : 27430 (java) R 27407 27409 26973 0 -1 4202560 131135 0 0 0 116721 29 0 0 25 0 22 0 529940159 16095727616 108863 33554432000 1073741824 1073778376 140737288536688 18446744073709551615 46912505994018 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=27409/tid=27431] ppid=27407 vsize=15718484 CPUtime=1167.72 cores=0,2,4,6
/proc/27409/task/27431/stat : 27431 (java) R 27407 27409 26973 0 -1 4202560 127709 0 0 0 116744 28 0 0 25 0 22 0 529940159 16095727616 108863 33554432000 1073741824 1073778376 140737288536688 18446744073709551615 46912505764964 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4701.11
Current children cumulated vsize (KiB) 15718484



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1207.2 s]
/proc/loadavg: 8.09 8.08 8.02 9/220 27563
/proc/meminfo: memFree=26926592/32950928 swapFree=67111356/67111528
[pid=27409] ppid=27407 vsize=15718484 CPUtime=4800.14 cores=0,2,4,6
/proc/27409/stat : 27409 (java) S 27407 27409 26973 0 -1 4202496 925475 0 1 0 479724 290 0 0 25 0 22 0 529940130 16095727616 111982 33554432000 1073741824 1073778376 140737288536688 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/27409/statm: 3929621 111982 2298 9 0 3920340 0
[pid=27409/tid=27411] ppid=27407 vsize=15718484 CPUtime=0.44 cores=0,2,4,6
/proc/27409/task/27411/stat : 27411 (java) S 27407 27409 26973 0 -1 4202560 8244 0 1 0 43 1 0 0 25 0 22 0 529940131 16095727616 111982 33554432000 1073741824 1073778376 140737288536688 18446744073709551615 208092048281 0 4 0 16800975 18446604453862551872 0 0 -1 2 0 0 0
[pid=27409/tid=27412] ppid=27407 vsize=15718484 CPUtime=3.3 cores=0,2,4,6
/proc/27409/task/27412/stat : 27412 (java) S 27407 27409 26973 0 -1 4202560 44382 0 0 0 317 13 0 0 15 0 22 0 529940131 16095727616 111982 33554432000 1073741824 1073778376 140737288536688 18446744073709551615 208092048281 0 4 0 16800975 18446604453862551872 0 0 -1 6 0 0 0
[pid=27409/tid=27413] ppid=27407 vsize=15718484 CPUtime=3.3 cores=0,2,4,6
/proc/27409/task/27413/stat : 27413 (java) S 27407 27409 26973 0 -1 4202560 43640 0 0 0 315 15 0 0 16 0 22 0 529940131 16095727616 111982 33554432000 1073741824 1073778376 140737288536688 18446744073709551615 208092048281 0 4 0 16800975 18446604453862551872 0 0 -1 2 0 0 0
[pid=27409/tid=27414] ppid=27407 vsize=15718484 CPUtime=3.38 cores=0,2,4,6
/proc/27409/task/27414/stat : 27414 (java) S 27407 27409 26973 0 -1 4202560 44716 0 0 0 323 15 0 0 16 0 22 0 529940131 16095727616 111982 33554432000 1073741824 1073778376 140737288536688 18446744073709551615 208092048281 0 4 0 16800975 18446604453862551872 0 0 -1 4 0 0 0
[pid=27409/tid=27415] ppid=27407 vsize=15718484 CPUtime=3.28 cores=0,2,4,6
/proc/27409/task/27415/stat : 27415 (java) S 27407 27409 26973 0 -1 4202560 47305 0 0 0 314 14 0 0 16 0 22 0 529940131 16095727616 111982 33554432000 1073741824 1073778376 140737288536688 18446744073709551615 208092048281 0 4 0 16800975 18446604453862551872 0 0 -1 0 0 0 0
[pid=27409/tid=27416] ppid=27407 vsize=15718484 CPUtime=3.39 cores=0,2,4,6
/proc/27409/task/27416/stat : 27416 (java) S 27407 27409 26973 0 -1 4202560 44233 0 0 0 325 14 0 0 15 0 22 0 529940131 16095727616 111982 33554432000 1073741824 1073778376 140737288536688 18446744073709551615 208092048281 0 4 0 16800975 18446604453862551872 0 0 -1 4 0 0 0
[pid=27409/tid=27417] ppid=27407 vsize=15718484 CPUtime=3.34 cores=0,2,4,6
/proc/27409/task/27417/stat : 27417 (java) S 27407 27409 26973 0 -1 4202560 47556 0 0 0 321 13 0 0 16 0 22 0 529940131 16095727616 111982 33554432000 1073741824 1073778376 140737288536688 18446744073709551615 208092048281 0 4 0 16800975 18446604453862551872 0 0 -1 6 0 0 0
[pid=27409/tid=27418] ppid=27407 vsize=15718484 CPUtime=3.35 cores=0,2,4,6
/proc/27409/task/27418/stat : 27418 (java) S 27407 27409 26973 0 -1 4202560 44105 0 0 0 323 12 0 0 16 0 22 0 529940131 16095727616 111982 33554432000 1073741824 1073778376 140737288536688 18446744073709551615 208092048281 0 4 0 16800975 18446604453862551872 0 0 -1 4 0 0 0
[pid=27409/tid=27419] ppid=27407 vsize=15718484 CPUtime=3.31 cores=0,2,4,6
/proc/27409/task/27419/stat : 27419 (java) S 27407 27409 26973 0 -1 4202560 44185 0 0 0 320 11 0 0 15 0 22 0 529940131 16095727616 111982 33554432000 1073741824 1073778376 140737288536688 18446744073709551615 208092048281 0 4 0 16800975 18446604453862551872 0 0 -1 0 0 0 0
[pid=27409/tid=27420] ppid=27407 vsize=15718484 CPUtime=2.12 cores=0,2,4,6
/proc/27409/task/27420/stat : 27420 (java) S 27407 27409 26973 0 -1 4202560 2106 0 0 0 163 49 0 0 15 0 22 0 529940132 16095727616 111982 33554432000 1073741824 1073778376 140737288536688 18446744073709551615 208092048896 0 0 0 16800975 18446604453862551872 0 0 -1 2 0 0 0
[pid=27409/tid=27421] ppid=27407 vsize=15718484 CPUtime=0 cores=0,2,4,6
/proc/27409/task/27421/stat : 27421 (java) S 27407 27409 26973 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 22 0 529940133 16095727616 111982 33554432000 1073741824 1073778376 140737288536688 18446744073709551615 208092048281 0 4 0 16800975 18446604453862551872 0 0 -1 2 0 0 0
[pid=27409/tid=27422] ppid=27407 vsize=15718484 CPUtime=0 cores=0,2,4,6
/proc/27409/task/27422/stat : 27422 (java) S 27407 27409 26973 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 529940133 16095727616 111982 33554432000 1073741824 1073778376 140737288536688 18446744073709551615 208092048281 0 4 0 16800975 18446604453862551872 0 0 -1 2 0 0 0
[pid=27409/tid=27423] ppid=27407 vsize=15718484 CPUtime=0 cores=0,2,4,6
/proc/27409/task/27423/stat : 27423 (java) S 27407 27409 26973 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529940135 16095727616 111982 33554432000 1073741824 1073778376 140737288536688 18446744073709551615 208092055985 0 4 0 16800975 18446604453862551872 0 0 -1 2 0 0 0
[pid=27409/tid=27424] ppid=27407 vsize=15718484 CPUtime=1.25 cores=0,2,4,6
/proc/27409/task/27424/stat : 27424 (java) S 27407 27409 26973 0 -1 4202560 16218 0 0 0 123 2 0 0 15 0 22 0 529940135 16095727616 111982 33554432000 1073741824 1073778376 140737288536688 18446744073709551615 208092048281 0 4 0 16800975 18446604453862551872 0 0 -1 0 0 0 0
[pid=27409/tid=27425] ppid=27407 vsize=15718484 CPUtime=1.06 cores=0,2,4,6
/proc/27409/task/27425/stat : 27425 (java) S 27407 27409 26973 0 -1 4202560 11999 0 0 0 105 1 0 0 16 0 22 0 529940135 16095727616 111982 33554432000 1073741824 1073778376 140737288536688 18446744073709551615 208092048281 0 4 0 16800975 18446604453862551872 0 0 -1 2 0 0 0
[pid=27409/tid=27426] ppid=27407 vsize=15718484 CPUtime=0 cores=0,2,4,6
/proc/27409/task/27426/stat : 27426 (java) S 27407 27409 26973 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529940135 16095727616 111982 33554432000 1073741824 1073778376 140737288536688 18446744073709551615 208092048281 0 4 0 16800975 18446604453862551872 0 0 -1 6 0 0 0
[pid=27409/tid=27427] ppid=27407 vsize=15718484 CPUtime=0 cores=0,2,4,6
/proc/27409/task/27427/stat : 27427 (java) S 27407 27409 26973 0 -1 4202560 62 0 0 0 0 0 0 0 15 0 22 0 529940135 16095727616 111982 33554432000 1073741824 1073778376 140737288536688 18446744073709551615 208092048896 0 4 0 16800975 18446604453862551872 0 0 -1 6 0 0 0
[pid=27409/tid=27428] ppid=27407 vsize=15718484 CPUtime=1192.09 cores=0,2,4,6
/proc/27409/task/27428/stat : 27428 (java) R 27407 27409 26973 0 -1 4202560 127853 0 0 0 119176 33 0 0 25 0 22 0 529940158 16095727616 111982 33554432000 1073741824 1073778376 140737288536688 18446744073709551615 46912505884029 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=27409/tid=27429] ppid=27407 vsize=15718484 CPUtime=1191.97 cores=0,2,4,6
/proc/27409/task/27429/stat : 27429 (java) R 27407 27409 26973 0 -1 4202560 132805 0 0 0 119167 30 0 0 25 0 22 0 529940158 16095727616 111982 33554432000 1073741824 1073778376 140737288536688 18446744073709551615 46912505730205 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27409/tid=27430] ppid=27407 vsize=15718484 CPUtime=1192.13 cores=0,2,4,6
/proc/27409/task/27430/stat : 27430 (java) R 27407 27409 26973 0 -1 4202560 134254 0 0 0 119184 29 0 0 19 0 22 0 529940159 16095727616 111982 33554432000 1073741824 1073778376 140737288536688 18446744073709551615 46912505723060 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=27409/tid=27431] ppid=27407 vsize=15718484 CPUtime=1192.28 cores=0,2,4,6
/proc/27409/task/27431/stat : 27431 (java) R 27407 27409 26973 0 -1 4202560 130427 0 0 0 119199 29 0 0 25 0 22 0 529940159 16095727616 111982 33554432000 1073741824 1073778376 140737288536688 18446744073709551615 46912505524151 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.14
Current children cumulated vsize (KiB) 15718484

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

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

[startup+1207.31 s]
/proc/loadavg: 8.09 8.08 8.02 9/220 27563
/proc/meminfo: memFree=26926592/32950928 swapFree=67111356/67111528
[pid=27409] ppid=27407 vsize=0 CPUtime=4800.49 cores=0,2,4,6
/proc/27409/stat : 27409 (java) Z 27407 27409 26973 0 -1 4203548 925503 0 1 0 479757 292 0 0 17 0 2 0 529940130 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/27409/statm: 0 0 0 0 0 0 0
[pid=27409/tid=27430] ppid=27407 vsize=0 CPUtime=1192.24 cores=0,2,4,6
/proc/27409/task/27430/stat : 27430 (java) R 27407 27409 26973 0 -1 4203588 134254 0 0 0 119192 32 0 0 20 0 2 0 529940159 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.49
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1207.31
CPU time (s): 4800.51
CPU user time (s): 4797.58
CPU system time (s): 2.92655
CPU usage (%): 397.619
Max. virtual memory (cumulated for all children) (KiB): 15730136

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.58
system time used= 2.92656
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 925503
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= 335625
involuntary context switches= 182835

runsolver used 1.92171 second user time and 4.70328 second system time

The end

Launcher Data 

Begin job on node127 at 2011-04-30 19:10:05
IDJOB=3313048
IDBENCH=83201
IDSOLVER=1699
FILE ID=node127/3313048-1304183405
RUNJOBID= node127-1304180985-26991
PBS_JOBID= 13172458
Free space on /tmp= 72732 MiB

SOLVER NAME= STRUCTure 0.1
BENCH NAME= SAT11/crafted/skvortsov/battleship/battleship-16-31-sat.cnf
COMMAND LINE= run 15000 NBCORE TMPDIR DIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3313048-1304183405/watcher-3313048-1304183405 -o /tmp/evaluation-result-3313048-1304183405/solver-3313048-1304183405 -C 4800 -W 1300 -M 15500  run 15000 4 HOME HOME HOME/instance-3313048-1304183405.cnf

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

MD5SUM BENCH= 34c6b89fff5c4d1bd23006ea2314b10d
RANDOM SEED=1490955858

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      26476900 kB
Buffers:       1316324 kB
Cached:        3391552 kB
SwapCached:          8 kB
Active:        1500236 kB
Inactive:      4502700 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      26476900 kB
SwapTotal:    67111528 kB
SwapFree:     67111356 kB
Dirty:            1852 kB
Writeback:           0 kB
AnonPages:     1294988 kB
Mapped:          23632 kB
Slab:           399748 kB
PageTables:      10860 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  1490892 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= 72732 MiB
End job on node127 at 2011-04-30 19:30:14