Trace number 3312975

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.43

General information on the benchmark

Namecrafted/skvortsov/battleship/
battleship-15-15-unsat.cnf
MD5SUM647576009a3d34cc33c6dfd3ecb1a2ef
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables225
Number of clauses1800
Sum of the clauses size6525
Maximum clause length15
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 21575
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 5225

Solver Data 

0.10/0.11	14:30 INFO : Reading from input HOME/instance-3312975-1304183670.cnf
0.27/0.25	Executor set job limit to 1000000
0.27/0.25	Executor set job limit to 1000000
0.27/0.25	Executor set job limit to 1000000
0.27/0.25	Executor set job limit to 1000000
0.27/0.25	Starting Executor!
0.27/0.25	Starting Executor!
0.27/0.25	Starting Executor!
0.27/0.25	Starting Executor!
0.49/0.36	14:30 INFO : 225 variables remaining out of 225
0.49/0.36	14:30 INFO : 13050 literals remaining out of 8325

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-3312975-1304183670/watcher-3312975-1304183670 -o /tmp/evaluation-result-3312975-1304183670/solver-3312975-1304183670 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3312975-1304183670.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: 3.43 4.51 5.92 6/202 15652
/proc/meminfo: memFree=29149708/32951124 swapFree=67111352/67111528
[pid=15652] ppid=15650 vsize=23028 CPUtime=0 cores=0,2,4,6
/proc/15652/stat : 15652 (java) R 15650 15652 14756 0 -1 4202496 1241 0 0 0 0 0 0 0 25 0 1 0 529964826 23580672 726 33554432000 1073741824 1073778376 140733600725328 18446744073709551615 47803103804208 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/15652/statm: 5757 744 553 9 0 124 0

[startup+0.026823 s]
/proc/loadavg: 3.43 4.51 5.92 6/202 15652
/proc/meminfo: memFree=29149708/32951124 swapFree=67111352/67111528
[pid=15652] ppid=15650 vsize=15604116 CPUtime=0.01 cores=0,2,4,6
/proc/15652/stat : 15652 (java) S 15650 15652 14756 0 -1 4202496 3499 0 1 0 1 0 0 0 25 0 13 0 529964826 15978614784 2937 33554432000 1073741824 1073778376 140733600725328 18446744073709551615 255389104101 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/15652/statm: 3901029 2939 1651 9 0 3891777 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 15604116

[startup+0.10082 s]
/proc/loadavg: 3.43 4.51 5.92 6/202 15652
/proc/meminfo: memFree=29149708/32951124 swapFree=67111352/67111528
[pid=15652] ppid=15650 vsize=15676360 CPUtime=0.1 cores=0,2,4,6
/proc/15652/stat : 15652 (java) S 15650 15652 14756 0 -1 4202496 5624 0 1 0 10 0 0 0 25 0 18 0 529964826 16052592640 5016 33554432000 1073741824 1073778376 140733600725328 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/15652/statm: 3919090 5016 2117 9 0 3909809 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15676360

[startup+0.300763 s]
/proc/loadavg: 3.43 4.51 5.92 6/202 15652
/proc/meminfo: memFree=29149708/32951124 swapFree=67111352/67111528
[pid=15652] ppid=15650 vsize=15683328 CPUtime=0.49 cores=0,2,4,6
/proc/15652/stat : 15652 (java) S 15650 15652 14756 0 -1 4202496 9791 0 1 0 48 1 0 0 25 0 22 0 529964826 16059727872 8715 33554432000 1073741824 1073778376 140733600725328 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/15652/statm: 3920832 8715 2208 9 0 3911551 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 15683328

[startup+0.862223 s]
/proc/loadavg: 3.43 4.51 5.92 6/202 15652
/proc/meminfo: memFree=29149708/32951124 swapFree=67111352/67111528
[pid=15652] ppid=15650 vsize=15694584 CPUtime=2.36 cores=0,2,4,6
/proc/15652/stat : 15652 (java) S 15650 15652 14756 0 -1 4202496 48735 0 1 0 230 6 0 0 25 0 22 0 529964826 16071254016 42883 33554432000 1073741824 1073778376 140733600725328 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/15652/statm: 3923646 42895 2256 9 0 3914365 0
Current children cumulated CPU time (s) 2.36
Current children cumulated vsize (KiB) 15694584

[startup+1.50151 s]
/proc/loadavg: 4.04 4.62 5.95 9/224 15674
/proc/meminfo: memFree=28911204/32951124 swapFree=67111352/67111528
[pid=15652] ppid=15650 vsize=15694584 CPUtime=4.88 cores=0,2,4,6
/proc/15652/stat : 15652 (java) S 15650 15652 14756 0 -1 4202496 84837 0 1 0 477 11 0 0 25 0 22 0 529964826 16071254016 78738 33554432000 1073741824 1073778376 140733600725328 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/15652/statm: 3923646 78738 2276 9 0 3914365 0
[pid=15652/tid=15653] ppid=15650 vsize=15694584 CPUtime=0.34 cores=0,2,4,6
/proc/15652/task/15653/stat : 15653 (java) S 15650 15652 14756 0 -1 4202560 6036 0 1 0 34 0 0 0 20 0 22 0 529964826 16071254016 78738 33554432000 1073741824 1073778376 140733600725328 18446744073709551615 255389117337 0 4 0 16800975 18446604442994284416 0 0 -1 0 0 0 0
[pid=15652/tid=15655] ppid=15650 vsize=15694584 CPUtime=0.01 cores=0,2,4,6
/proc/15652/task/15655/stat : 15655 (java) R 15650 15652 14756 0 -1 4202560 533 0 0 0 1 0 0 0 15 0 22 0 529964827 16071254016 78738 33554432000 1073741824 1073778376 140733600725328 18446744073709551615 255389118406 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=15652/tid=15656] ppid=15650 vsize=15694584 CPUtime=0.01 cores=0,2,4,6
/proc/15652/task/15656/stat : 15656 (java) S 15650 15652 14756 0 -1 4202560 744 0 0 0 1 0 0 0 15 0 22 0 529964827 16071254016 78738 33554432000 1073741824 1073778376 140733600725328 18446744073709551615 255389117337 0 4 0 16800975 18446604442994284416 0 0 -1 2 0 0 0
[pid=15652/tid=15657] ppid=15650 vsize=15694584 CPUtime=0 cores=0,2,4,6
/proc/15652/task/15657/stat : 15657 (java) R 15650 15652 14756 0 -1 4202560 251 0 0 0 0 0 0 0 15 0 22 0 529964827 16071254016 78738 33554432000 1073741824 1073778376 140733600725328 18446744073709551615 255377254711 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=15652/tid=15658] ppid=15650 vsize=15694584 CPUtime=0 cores=0,2,4,6
/proc/15652/task/15658/stat : 15658 (java) R 15650 15652 14756 0 -1 4202560 234 0 0 0 0 0 0 0 15 0 22 0 529964827 16071254016 78738 33554432000 1073741824 1073778376 140733600725328 18446744073709551615 255377254711 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=15652/tid=15659] ppid=15650 vsize=15694584 CPUtime=0 cores=0,2,4,6
/proc/15652/task/15659/stat : 15659 (java) R 15650 15652 14756 0 -1 4202560 430 0 0 0 0 0 0 0 15 0 22 0 529964827 16071254016 78738 33554432000 1073741824 1073778376 140733600725328 18446744073709551615 255377254711 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=15652/tid=15660] ppid=15650 vsize=15694584 CPUtime=0 cores=0,2,4,6
/proc/15652/task/15660/stat : 15660 (java) R 15650 15652 14756 0 -1 4202560 328 0 0 0 0 0 0 0 15 0 22 0 529964827 16071254016 78738 33554432000 1073741824 1073778376 140733600725328 18446744073709551615 255389117337 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=15652/tid=15661] ppid=15650 vsize=15694584 CPUtime=0 cores=0,2,4,6
/proc/15652/task/15661/stat : 15661 (java) S 15650 15652 14756 0 -1 4202560 417 0 0 0 0 0 0 0 15 0 22 0 529964827 16071254016 78738 33554432000 1073741824 1073778376 140733600725328 18446744073709551615 255389117337 0 4 0 16800975 18446604442994284416 0 0 -1 6 0 0 0
[pid=15652/tid=15662] ppid=15650 vsize=15694584 CPUtime=0 cores=0,2,4,6
/proc/15652/task/15662/stat : 15662 (java) R 15650 15652 14756 0 -1 4202560 691 0 0 0 0 0 0 0 15 0 22 0 529964827 16071254016 78738 33554432000 1073741824 1073778376 140733600725328 18446744073709551615 255377254711 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=15652/tid=15663] ppid=15650 vsize=15694584 CPUtime=0 cores=0,2,4,6
/proc/15652/task/15663/stat : 15663 (java) S 15650 15652 14756 0 -1 4202560 200 0 0 0 0 0 0 0 15 0 22 0 529964828 16071254016 78738 33554432000 1073741824 1073778376 140733600725328 18446744073709551615 255389117337 0 0 0 16800975 18446604442994284416 0 0 -1 2 0 0 0
[pid=15652/tid=15664] ppid=15650 vsize=15694584 CPUtime=0 cores=0,2,4,6
/proc/15652/task/15664/stat : 15664 (java) S 15650 15652 14756 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 529964828 16071254016 78738 33554432000 1073741824 1073778376 140733600725328 18446744073709551615 255389117337 0 4 0 16800975 18446604442994284416 0 0 -1 2 0 0 0
[pid=15652/tid=15665] ppid=15650 vsize=15694584 CPUtime=0 cores=0,2,4,6
/proc/15652/task/15665/stat : 15665 (java) S 15650 15652 14756 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 529964828 16071254016 78738 33554432000 1073741824 1073778376 140733600725328 18446744073709551615 255389117337 0 4 0 16800975 18446604442994284416 0 0 -1 2 0 0 0
[pid=15652/tid=15666] ppid=15650 vsize=15694584 CPUtime=0 cores=0,2,4,6
/proc/15652/task/15666/stat : 15666 (java) S 15650 15652 14756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 529964830 16071254016 78738 33554432000 1073741824 1073778376 140733600725328 18446744073709551615 255389125041 0 4 0 16800975 18446604442994284416 0 0 -1 2 0 0 0
[pid=15652/tid=15667] ppid=15650 vsize=15694584 CPUtime=0.67 cores=0,2,4,6
/proc/15652/task/15667/stat : 15667 (java) S 15650 15652 14756 0 -1 4202560 7103 0 0 0 66 1 0 0 15 0 22 0 529964830 16071254016 78738 33554432000 1073741824 1073778376 140733600725328 18446744073709551615 255389117337 0 4 0 16800975 18446604442994284416 0 0 -1 2 0 0 0
[pid=15652/tid=15668] ppid=15650 vsize=15694584 CPUtime=0.63 cores=0,2,4,6
/proc/15652/task/15668/stat : 15668 (java) S 15650 15652 14756 0 -1 4202560 5666 0 0 0 63 0 0 0 15 0 22 0 529964830 16071254016 78738 33554432000 1073741824 1073778376 140733600725328 18446744073709551615 255389117337 0 4 0 16800975 18446604442994284416 0 0 -1 2 0 0 0
[pid=15652/tid=15669] ppid=15650 vsize=15694584 CPUtime=0 cores=0,2,4,6
/proc/15652/task/15669/stat : 15669 (java) S 15650 15652 14756 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 22 0 529964830 16071254016 78738 33554432000 1073741824 1073778376 140733600725328 18446744073709551615 255389117337 0 4 0 16800975 18446604442994284416 0 0 -1 0 0 0 0
[pid=15652/tid=15670] ppid=15650 vsize=15694584 CPUtime=0 cores=0,2,4,6
/proc/15652/task/15670/stat : 15670 (java) S 15650 15652 14756 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 529964830 16071254016 78738 33554432000 1073741824 1073778376 140733600725328 18446744073709551615 255389117952 0 4 0 16800975 18446604442994284416 0 0 -1 4 0 0 0
[pid=15652/tid=15671] ppid=15650 vsize=15694584 CPUtime=0.84 cores=0,2,4,6
/proc/15652/task/15671/stat : 15671 (java) S 15650 15652 14756 0 -1 4202560 17597 0 0 0 82 2 0 0 16 0 22 0 529964851 16071254016 78738 33554432000 1073741824 1073778376 140733600725328 18446744073709551615 255389117337 0 4 0 16800975 18446604442994284416 0 0 -1 0 0 0 0
[pid=15652/tid=15672] ppid=15650 vsize=15694584 CPUtime=0.94 cores=0,2,4,6
/proc/15652/task/15672/stat : 15672 (java) S 15650 15652 14756 0 -1 4202560 20175 0 0 0 92 2 0 0 16 0 22 0 529964851 16071254016 78738 33554432000 1073741824 1073778376 140733600725328 18446744073709551615 255389117337 0 4 0 16800975 18446604442994284416 0 0 -1 4 0 0 0
[pid=15652/tid=15673] ppid=15650 vsize=15694584 CPUtime=0.7 cores=0,2,4,6
/proc/15652/task/15673/stat : 15673 (java) S 15650 15652 14756 0 -1 4202560 11807 0 0 0 69 1 0 0 16 0 22 0 529964851 16071254016 78738 33554432000 1073741824 1073778376 140733600725328 18446744073709551615 255389117337 0 4 0 16800975 18446604442994284416 0 0 -1 6 0 0 0
[pid=15652/tid=15674] ppid=15650 vsize=15694584 CPUtime=0.62 cores=0,2,4,6
/proc/15652/task/15674/stat : 15674 (java) S 15650 15652 14756 0 -1 4202560 11237 0 0 0 61 1 0 0 18 0 22 0 529964851 16071254016 78738 33554432000 1073741824 1073778376 140733600725328 18446744073709551615 255389117337 0 4 0 16800975 18446604442994284416 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.88
Current children cumulated vsize (KiB) 15694584

[startup+3.10121 s]
/proc/loadavg: 4.04 4.62 5.95 10/224 15674
/proc/meminfo: memFree=28587984/32951124 swapFree=67111352/67111528
[pid=15652] ppid=15650 vsize=15694584 CPUtime=11.26 cores=0,2,4,6
/proc/15652/stat : 15652 (java) S 15650 15652 14756 0 -1 4202496 205236 0 1 0 1100 26 0 0 25 0 22 0 529964826 16071254016 199085 33554432000 1073741824 1073778376 140733600725328 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/15652/statm: 3923646 199091 2283 9 0 3914365 0
[pid=15652/tid=15653] ppid=15650 vsize=15694584 CPUtime=0.34 cores=0,2,4,6
/proc/15652/task/15653/stat : 15653 (java) S 15650 15652 14756 0 -1 4202560 6036 0 1 0 34 0 0 0 20 0 22 0 529964826 16071254016 199094 33554432000 1073741824 1073778376 140733600725328 18446744073709551615 255389117337 0 4 0 16800975 18446604442994284416 0 0 -1 0 0 0 0
[pid=15652/tid=15655] ppid=15650 vsize=15694584 CPUtime=0.01 cores=0,2,4,6
/proc/15652/task/15655/stat : 15655 (java) S 15650 15652 14756 0 -1 4202560 533 0 0 0 1 0 0 0 15 0 22 0 529964827 16071254016 199097 33554432000 1073741824 1073778376 140733600725328 18446744073709551615 255389117337 0 4 0 16800975 18446604442994284416 0 0 -1 4 0 0 0
[pid=15652/tid=15656] ppid=15650 vsize=15694584 CPUtime=0.01 cores=0,2,4,6
/proc/15652/task/15656/stat : 15656 (java) S 15650 15652 14756 0 -1 4202560 1362 0 0 0 1 0 0 0 16 0 22 0 529964827 16071254016 199103 33554432000 1073741824 1073778376 140733600725328 18446744073709551615 255389117337 0 4 0 16800975 18446604442994284416 0 0 -1 2 0 0 0
[pid=15652/tid=15657] ppid=15650 vsize=15694584 CPUtime=0 cores=0,2,4,6
/proc/15652/task/15657/stat : 15657 (java) S 15650 15652 14756 0 -1 4202560 251 0 0 0 0 0 0 0 15 0 22 0 529964827 16071254016 199111 33554432000 1073741824 1073778376 140733600725328 18446744073709551615 255389117337 0 4 0 16800975 18446604442994284416 0 0 -1 4 0 0 0
[pid=15652/tid=15658] ppid=15650 vsize=15694584 CPUtime=0 cores=0,2,4,6
/proc/15652/task/15658/stat : 15658 (java) S 15650 15652 14756 0 -1 4202560 712 0 0 0 0 0 0 0 16 0 22 0 529964827 16071254016 199124 33554432000 1073741824 1073778376 140733600725328 18446744073709551615 255389117337 0 4 0 16800975 18446604442994284416 0 0 -1 6 0 0 0
[pid=15652/tid=15659] ppid=15650 vsize=15694584 CPUtime=0 cores=0,2,4,6
/proc/15652/task/15659/stat : 15659 (java) S 15650 15652 14756 0 -1 4202560 583 0 0 0 0 0 0 0 16 0 22 0 529964827 16071254016 199128 33554432000 1073741824 1073778376 140733600725328 18446744073709551615 255389117337 0 4 0 16800975 18446604442994284416 0 0 -1 0 0 0 0
[pid=15652/tid=15660] ppid=15650 vsize=15694584 CPUtime=0 cores=0,2,4,6
/proc/15652/task/15660/stat : 15660 (java) S 15650 15652 14756 0 -1 4202560 328 0 0 0 0 0 0 0 15 0 22 0 529964827 16071254016 199135 33554432000 1073741824 1073778376 140733600725328 18446744073709551615 255389117337 0 4 0 16800975 18446604442994284416 0 0 -1 6 0 0 0
[pid=15652/tid=15661] ppid=15650 vsize=15694584 CPUtime=0 cores=0,2,4,6
/proc/15652/task/15661/stat : 15661 (java) S 15650 15652 14756 0 -1 4202560 550 0 0 0 0 0 0 0 16 0 22 0 529964827 16071254016 199141 33554432000 1073741824 1073778376 140733600725328 18446744073709551615 255389117337 0 4 0 16800975 18446604442994284416 0 0 -1 6 0 0 0
[pid=15652/tid=15662] ppid=15650 vsize=15694584 CPUtime=0 cores=0,2,4,6
/proc/15652/task/15662/stat : 15662 (java) S 15650 15652 14756 0 -1 4202560 1070 0 0 0 0 0 0 0 16 0 22 0 529964827 16071254016 199144 33554432000 1073741824 1073778376 140733600725328 18446744073709551615 255389117337 0 4 0 16800975 18446604442994284416 0 0 -1 4 0 0 0
[pid=15652/tid=15663] ppid=15650 vsize=15694584 CPUtime=0 cores=0,2,4,6
/proc/15652/task/15663/stat : 15663 (java) S 15650 15652 14756 0 -1 4202560 434 0 0 0 0 0 0 0 15 0 22 0 529964828 16071254016 199149 33554432000 1073741824 1073778376 140733600725328 18446744073709551615 255389117952 0 0 0 16800975 18446604442994284416 0 0 -1 2 0 0 0
[pid=15652/tid=15664] ppid=15650 vsize=15694584 CPUtime=0 cores=0,2,4,6
/proc/15652/task/15664/stat : 15664 (java) S 15650 15652 14756 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 529964828 16071254016 199153 33554432000 1073741824 1073778376 140733600725328 18446744073709551615 255389117337 0 4 0 16800975 18446604442994284416 0 0 -1 2 0 0 0
[pid=15652/tid=15665] ppid=15650 vsize=15694584 CPUtime=0 cores=0,2,4,6
/proc/15652/task/15665/stat : 15665 (java) S 15650 15652 14756 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 529964828 16071254016 199157 33554432000 1073741824 1073778376 140733600725328 18446744073709551615 255389117337 0 4 0 16800975 18446604442994284416 0 0 -1 2 0 0 0
[pid=15652/tid=15666] ppid=15650 vsize=15694584 CPUtime=0 cores=0,2,4,6
/proc/15652/task/15666/stat : 15666 (java) S 15650 15652 14756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 529964830 16071254016 199161 33554432000 1073741824 1073778376 140733600725328 18446744073709551615 255389125041 0 4 0 16800975 18446604442994284416 0 0 -1 2 0 0 0
[pid=15652/tid=15667] ppid=15650 vsize=15694584 CPUtime=0.72 cores=0,2,4,6
/proc/15652/task/15667/stat : 15667 (java) S 15650 15652 14756 0 -1 4202560 7149 0 0 0 71 1 0 0 16 0 22 0 529964830 16071254016 199167 33554432000 1073741824 1073778376 140733600725328 18446744073709551615 255389117337 0 4 0 16800975 18446604442994284416 0 0 -1 2 0 0 0
[pid=15652/tid=15668] ppid=15650 vsize=15694584 CPUtime=0.73 cores=0,2,4,6
/proc/15652/task/15668/stat : 15668 (java) S 15650 15652 14756 0 -1 4202560 5688 0 0 0 73 0 0 0 16 0 22 0 529964830 16071254016 199170 33554432000 1073741824 1073778376 140733600725328 18446744073709551615 255389117337 0 4 0 16800975 18446604442994284416 0 0 -1 4 0 0 0
[pid=15652/tid=15669] ppid=15650 vsize=15694584 CPUtime=0 cores=0,2,4,6
/proc/15652/task/15669/stat : 15669 (java) S 15650 15652 14756 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 22 0 529964830 16071254016 199173 33554432000 1073741824 1073778376 140733600725328 18446744073709551615 255389117337 0 4 0 16800975 18446604442994284416 0 0 -1 0 0 0 0
[pid=15652/tid=15670] ppid=15650 vsize=15694584 CPUtime=0 cores=0,2,4,6
/proc/15652/task/15670/stat : 15670 (java) S 15650 15652 14756 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 529964830 16071254016 199178 33554432000 1073741824 1073778376 140733600725328 18446744073709551615 255389117952 0 4 0 16800975 18446604442994284416 0 0 -1 4 0 0 0
[pid=15652/tid=15671] ppid=15650 vsize=15694584 CPUtime=2.44 cores=0,2,4,6
/proc/15652/task/15671/stat : 15671 (java) R 15650 15652 14756 0 -1 4202560 48385 0 0 0 238 6 0 0 18 0 22 0 529964851 16071254016 199182 33554432000 1073741824 1073778376 140733600725328 18446744073709551615 46912505973129 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=15652/tid=15672] ppid=15650 vsize=15694584 CPUtime=2.45 cores=0,2,4,6
/proc/15652/task/15672/stat : 15672 (java) R 15650 15652 14756 0 -1 4202560 49017 0 0 0 240 5 0 0 18 0 22 0 529964851 16071254016 199185 33554432000 1073741824 1073778376 140733600725328 18446744073709551615 46912505644865 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=15652/tid=15673] ppid=15650 vsize=15694584 CPUtime=2.29 cores=0,2,4,6
/proc/15652/task/15673/stat : 15673 (java) R 15650 15652 14756 0 -1 4202560 41732 0 0 0 224 5 0 0 18 0 22 0 529964851 16071254016 199188 33554432000 1073741824 1073778376 140733600725328 18446744073709551615 46912505632462 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=15652/tid=15674] ppid=15650 vsize=15694584 CPUtime=2.13 cores=0,2,4,6
/proc/15652/task/15674/stat : 15674 (java) R 15650 15652 14756 0 -1 4202560 40121 0 0 0 209 4 0 0 21 0 22 0 529964851 16071254016 199190 33554432000 1073741824 1073778376 140733600725328 18446744073709551615 46912505886957 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 11.26
Current children cumulated vsize (KiB) 15694584

[startup+6.30162 s]
/proc/loadavg: 4.04 4.62 5.95 9/224 15674
/proc/meminfo: memFree=28072176/32951124 swapFree=67111352/67111528
[pid=15652] ppid=15650 vsize=15694584 CPUtime=24.04 cores=0,2,4,6
/proc/15652/stat : 15652 (java) S 15650 15652 14756 0 -1 4202496 276770 0 1 0 2369 35 0 0 25 0 22 0 529964826 16071254016 269073 33554432000 1073741824 1073778376 140733600725328 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/15652/statm: 3923646 269073 2290 9 0 3914365 0
[pid=15652/tid=15653] ppid=15650 vsize=15694584 CPUtime=0.34 cores=0,2,4,6
/proc/15652/task/15653/stat : 15653 (java) S 15650 15652 14756 0 -1 4202560 6036 0 1 0 34 0 0 0 20 0 22 0 529964826 16071254016 269073 33554432000 1073741824 1073778376 140733600725328 18446744073709551615 255389117337 0 4 0 16800975 18446604442994284416 0 0 -1 0 0 0 0
[pid=15652/tid=15655] ppid=15650 vsize=15694584 CPUtime=0.01 cores=0,2,4,6
/proc/15652/task/15655/stat : 15655 (java) S 15650 15652 14756 0 -1 4202560 533 0 0 0 1 0 0 0 15 0 22 0 529964827 16071254016 269073 33554432000 1073741824 1073778376 140733600725328 18446744073709551615 255389117337 0 4 0 16800975 18446604442994284416 0 0 -1 4 0 0 0
[pid=15652/tid=15656] ppid=15650 vsize=15694584 CPUtime=0.01 cores=0,2,4,6
/proc/15652/task/15656/stat : 15656 (java) S 15650 15652 14756 0 -1 4202560 1362 0 0 0 1 0 0 0 15 0 22 0 529964827 16071254016 269073 33554432000 1073741824 1073778376 140733600725328 18446744073709551615 255389117337 0 4 0 16800975 18446604442994284416 0 0 -1 0 0 0 0
[pid=15652/tid=15657] ppid=15650 vsize=15694584 CPUtime=0.01 cores=0,2,4,6
/proc/15652/task/15657/stat : 15657 (java) S 15650 15652 14756 0 -1 4202560 424 0 0 0 1 0 0 0 15 0 22 0 529964827 16071254016 269073 33554432000 1073741824 1073778376 140733600725328 18446744073709551615 255389117337 0 4 0 16800975 18446604442994284416 0 0 -1 4 0 0 0
[pid=15652/tid=15658] ppid=15650 vsize=15694584 CPUtime=0 cores=0,2,4,6
/proc/15652/task/15658/stat : 15658 (java) S 15650 15652 14756 0 -1 4202560 909 0 0 0 0 0 0 0 15 0 22 0 529964827 16071254016 269073 33554432000 1073741824 1073778376 140733600725328 18446744073709551615 255389117337 0 4 0 16800975 18446604442994284416 0 0 -1 6 0 0 0
[pid=15652/tid=15659] ppid=15650 vsize=15694584 CPUtime=0 cores=0,2,4,6
/proc/15652/task/15659/stat : 15659 (java) S 15650 15652 14756 0 -1 4202560 615 0 0 0 0 0 0 0 15 0 22 0 529964827 16071254016 269073 33554432000 1073741824 1073778376 140733600725328 18446744073709551615 255389117337 0 4 0 16800975 18446604442994284416 0 0 -1 0 0 0 0
[pid=15652/tid=15660] ppid=15650 vsize=15694584 CPUtime=0.01 cores=0,2,4,6
/proc/15652/task/15660/stat : 15660 (java) S 15650 15652 14756 0 -1 4202560 800 0 0 0 1 0 0 0 15 0 22 0 529964827 16071254016 269073 33554432000 1073741824 1073778376 140733600725328 18446744073709551615 255389117337 0 4 0 16800975 18446604442994284416 0 0 -1 4 0 0 0
[pid=15652/tid=15661] ppid=15650 vsize=15694584 CPUtime=0 cores=0,2,4,6
/proc/15652/task/15661/stat : 15661 (java) S 15650 15652 14756 0 -1 4202560 848 0 0 0 0 0 0 0 15 0 22 0 529964827 16071254016 269073 33554432000 1073741824 1073778376 140733600725328 18446744073709551615 255389117337 0 4 0 16800975 18446604442994284416 0 0 -1 2 0 0 0
[pid=15652/tid=15662] ppid=15650 vsize=15694584 CPUtime=0 cores=0,2,4,6
/proc/15652/task/15662/stat : 15662 (java) S 15650 15652 14756 0 -1 4202560 1346 0 0 0 0 0 0 0 15 0 22 0 529964827 16071254016 269073 33554432000 1073741824 1073778376 140733600725328 18446744073709551615 255389117337 0 4 0 16800975 18446604442994284416 0 0 -1 0 0 0 0
[pid=15652/tid=15663] ppid=15650 vsize=15694584 CPUtime=0 cores=0,2,4,6
/proc/15652/task/15663/stat : 15663 (java) S 15650 15652 14756 0 -1 4202560 434 0 0 0 0 0 0 0 15 0 22 0 529964828 16071254016 269073 33554432000 1073741824 1073778376 140733600725328 18446744073709551615 255389117952 0 0 0 16800975 18446604442994284416 0 0 -1 2 0 0 0
[pid=15652/tid=15664] ppid=15650 vsize=15694584 CPUtime=0 cores=0,2,4,6
/proc/15652/task/15664/stat : 15664 (java) S 15650 15652 14756 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 529964828 16071254016 269073 33554432000 1073741824 1073778376 140733600725328 18446744073709551615 255389117337 0 4 0 16800975 18446604442994284416 0 0 -1 2 0 0 0
[pid=15652/tid=15665] ppid=15650 vsize=15694584 CPUtime=0 cores=0,2,4,6
/proc/15652/task/15665/stat : 15665 (java) S 15650 15652 14756 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 529964828 16071254016 269073 33554432000 1073741824 1073778376 140733600725328 18446744073709551615 255389117337 0 4 0 16800975 18446604442994284416 0 0 -1 2 0 0 0
[pid=15652/tid=15666] ppid=15650 vsize=15694584 CPUtime=0 cores=0,2,4,6
/proc/15652/task/15666/stat : 15666 (java) S 15650 15652 14756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 529964830 16071254016 269073 33554432000 1073741824 1073778376 140733600725328 18446744073709551615 255389125041 0 4 0 16800975 18446604442994284416 0 0 -1 2 0 0 0
[pid=15652/tid=15667] ppid=15650 vsize=15694584 CPUtime=0.76 cores=0,2,4,6
/proc/15652/task/15667/stat : 15667 (java) S 15650 15652 14756 0 -1 4202560 7158 0 0 0 75 1 0 0 16 0 22 0 529964830 16071254016 269073 33554432000 1073741824 1073778376 140733600725328 18446744073709551615 255389117337 0 4 0 16800975 18446604442994284416 0 0 -1 2 0 0 0

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

[pid=15652/tid=15672] ppid=15650 vsize=15691180 CPUtime=1049.67 cores=0,2,4,6
/proc/15652/task/15672/stat : 15672 (java) R 15650 15652 14756 0 -1 4202560 155934 0 0 0 104935 32 0 0 25 0 22 0 529964851 16067768320 86020 33554432000 1073741824 1073778376 140733600725328 18446744073709551615 46912505644042 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=15652/tid=15673] ppid=15650 vsize=15691180 CPUtime=1048.95 cores=0,2,4,6
/proc/15652/task/15673/stat : 15673 (java) R 15650 15652 14756 0 -1 4202560 151299 0 0 0 104866 29 0 0 25 0 22 0 529964851 16067768320 86020 33554432000 1073741824 1073778376 140733600725328 18446744073709551615 46912505738371 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=15652/tid=15674] ppid=15650 vsize=15691180 CPUtime=1048.56 cores=0,2,4,6
/proc/15652/task/15674/stat : 15674 (java) R 15650 15652 14756 0 -1 4202560 145865 0 0 0 104828 28 0 0 25 0 22 0 529964851 16067768320 86020 33554432000 1073741824 1073778376 140733600725328 18446744073709551615 46912505524151 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4223.52
Current children cumulated vsize (KiB) 15691180

[startup+1122.3 s]
/proc/loadavg: 8.21 8.06 7.47 9/224 15802
/proc/meminfo: memFree=28591592/32951124 swapFree=67111352/67111528
[pid=15652] ppid=15650 vsize=15691180 CPUtime=4462.01 cores=0,2,4,6
/proc/15652/stat : 15652 (java) S 15650 15652 14756 0 -1 4202496 1056480 0 1 0 445889 312 0 0 25 0 22 0 529964826 16067768320 84073 33554432000 1073741824 1073778376 140733600725328 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/15652/statm: 3922795 84073 2298 9 0 3913514 0
[pid=15652/tid=15653] ppid=15650 vsize=15691180 CPUtime=0.34 cores=0,2,4,6
/proc/15652/task/15653/stat : 15653 (java) S 15650 15652 14756 0 -1 4202560 6036 0 1 0 34 0 0 0 20 0 22 0 529964826 16067768320 84073 33554432000 1073741824 1073778376 140733600725328 18446744073709551615 255389117337 0 4 0 16800975 18446604442994284416 0 0 -1 0 0 0 0
[pid=15652/tid=15655] ppid=15650 vsize=15691180 CPUtime=3.06 cores=0,2,4,6
/proc/15652/task/15655/stat : 15655 (java) S 15650 15652 14756 0 -1 4202560 46821 0 0 0 289 17 0 0 15 0 22 0 529964827 16067768320 84073 33554432000 1073741824 1073778376 140733600725328 18446744073709551615 255389117337 0 4 0 16800975 18446604442994284416 0 0 -1 6 0 0 0
[pid=15652/tid=15656] ppid=15650 vsize=15691180 CPUtime=3.08 cores=0,2,4,6
/proc/15652/task/15656/stat : 15656 (java) S 15650 15652 14756 0 -1 4202560 49148 0 0 0 294 14 0 0 16 0 22 0 529964827 16067768320 84073 33554432000 1073741824 1073778376 140733600725328 18446744073709551615 255389117337 0 4 0 16800975 18446604442994284416 0 0 -1 6 0 0 0
[pid=15652/tid=15657] ppid=15650 vsize=15691180 CPUtime=3.1 cores=0,2,4,6
/proc/15652/task/15657/stat : 15657 (java) S 15650 15652 14756 0 -1 4202560 47914 0 0 0 294 16 0 0 15 0 22 0 529964827 16067768320 84073 33554432000 1073741824 1073778376 140733600725328 18446744073709551615 255389117337 0 4 0 16800975 18446604442994284416 0 0 -1 2 0 0 0
[pid=15652/tid=15658] ppid=15650 vsize=15691180 CPUtime=3.05 cores=0,2,4,6
/proc/15652/task/15658/stat : 15658 (java) S 15650 15652 14756 0 -1 4202560 48577 0 0 0 291 14 0 0 15 0 22 0 529964827 16067768320 84073 33554432000 1073741824 1073778376 140733600725328 18446744073709551615 255389117337 0 4 0 16800975 18446604442994284416 0 0 -1 4 0 0 0
[pid=15652/tid=15659] ppid=15650 vsize=15691180 CPUtime=3.04 cores=0,2,4,6
/proc/15652/task/15659/stat : 15659 (java) S 15650 15652 14756 0 -1 4202560 48126 0 0 0 290 14 0 0 15 0 22 0 529964827 16067768320 84073 33554432000 1073741824 1073778376 140733600725328 18446744073709551615 255389117337 0 4 0 16800975 18446604442994284416 0 0 -1 2 0 0 0
[pid=15652/tid=15660] ppid=15650 vsize=15691180 CPUtime=3.07 cores=0,2,4,6
/proc/15652/task/15660/stat : 15660 (java) S 15650 15652 14756 0 -1 4202560 48149 0 0 0 292 15 0 0 15 0 22 0 529964827 16067768320 84073 33554432000 1073741824 1073778376 140733600725328 18446744073709551615 255389117337 0 4 0 16800975 18446604442994284416 0 0 -1 2 0 0 0
[pid=15652/tid=15661] ppid=15650 vsize=15691180 CPUtime=2.98 cores=0,2,4,6
/proc/15652/task/15661/stat : 15661 (java) S 15650 15652 14756 0 -1 4202560 50176 0 0 0 284 14 0 0 16 0 22 0 529964827 16067768320 84073 33554432000 1073741824 1073778376 140733600725328 18446744073709551615 255389117337 0 4 0 16800975 18446604442994284416 0 0 -1 0 0 0 0
[pid=15652/tid=15662] ppid=15650 vsize=15691180 CPUtime=3.08 cores=0,2,4,6
/proc/15652/task/15662/stat : 15662 (java) S 15650 15652 14756 0 -1 4202560 51503 0 0 0 293 15 0 0 15 0 22 0 529964827 16067768320 84073 33554432000 1073741824 1073778376 140733600725328 18446744073709551615 255389117337 0 4 0 16800975 18446604442994284416 0 0 -1 0 0 0 0
[pid=15652/tid=15663] ppid=15650 vsize=15691180 CPUtime=2.1 cores=0,2,4,6
/proc/15652/task/15663/stat : 15663 (java) S 15650 15652 14756 0 -1 4202560 2572 0 0 0 155 55 0 0 16 0 22 0 529964828 16067768320 84073 33554432000 1073741824 1073778376 140733600725328 18446744073709551615 255389117952 0 0 0 16800975 18446604442994284416 0 0 -1 2 0 0 0
[pid=15652/tid=15664] ppid=15650 vsize=15691180 CPUtime=0 cores=0,2,4,6
/proc/15652/task/15664/stat : 15664 (java) S 15650 15652 14756 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 529964828 16067768320 84073 33554432000 1073741824 1073778376 140733600725328 18446744073709551615 255389117337 0 4 0 16800975 18446604442994284416 0 0 -1 2 0 0 0
[pid=15652/tid=15665] ppid=15650 vsize=15691180 CPUtime=0 cores=0,2,4,6
/proc/15652/task/15665/stat : 15665 (java) S 15650 15652 14756 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 529964828 16067768320 84073 33554432000 1073741824 1073778376 140733600725328 18446744073709551615 255389117337 0 4 0 16800975 18446604442994284416 0 0 -1 2 0 0 0
[pid=15652/tid=15666] ppid=15650 vsize=15691180 CPUtime=0 cores=0,2,4,6
/proc/15652/task/15666/stat : 15666 (java) S 15650 15652 14756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 529964830 16067768320 84073 33554432000 1073741824 1073778376 140733600725328 18446744073709551615 255389125041 0 4 0 16800975 18446604442994284416 0 0 -1 2 0 0 0
[pid=15652/tid=15667] ppid=15650 vsize=15691180 CPUtime=0.77 cores=0,2,4,6
/proc/15652/task/15667/stat : 15667 (java) S 15650 15652 14756 0 -1 4202560 7163 0 0 0 76 1 0 0 15 0 22 0 529964830 16067768320 84073 33554432000 1073741824 1073778376 140733600725328 18446744073709551615 255389117337 0 4 0 16800975 18446604442994284416 0 0 -1 2 0 0 0
[pid=15652/tid=15668] ppid=15650 vsize=15691180 CPUtime=0.79 cores=0,2,4,6
/proc/15652/task/15668/stat : 15668 (java) S 15650 15652 14756 0 -1 4202560 5702 0 0 0 79 0 0 0 16 0 22 0 529964830 16067768320 84073 33554432000 1073741824 1073778376 140733600725328 18446744073709551615 255389117337 0 4 0 16800975 18446604442994284416 0 0 -1 4 0 0 0
[pid=15652/tid=15669] ppid=15650 vsize=15691180 CPUtime=0 cores=0,2,4,6
/proc/15652/task/15669/stat : 15669 (java) S 15650 15652 14756 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 22 0 529964830 16067768320 84073 33554432000 1073741824 1073778376 140733600725328 18446744073709551615 255389117337 0 4 0 16800975 18446604442994284416 0 0 -1 0 0 0 0
[pid=15652/tid=15670] ppid=15650 vsize=15691180 CPUtime=0 cores=0,2,4,6
/proc/15652/task/15670/stat : 15670 (java) S 15650 15652 14756 0 -1 4202560 61 0 0 0 0 0 0 0 15 0 22 0 529964830 16067768320 84073 33554432000 1073741824 1073778376 140733600725328 18446744073709551615 255389117952 0 4 0 16800975 18446604442994284416 0 0 -1 6 0 0 0
[pid=15652/tid=15671] ppid=15650 vsize=15691180 CPUtime=1108.28 cores=0,2,4,6
/proc/15652/task/15671/stat : 15671 (java) R 15650 15652 14756 0 -1 4202560 165175 0 0 0 110797 31 0 0 25 0 22 0 529964851 16067768320 84073 33554432000 1073741824 1073778376 140733600725328 18446744073709551615 46912505672828 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=15652/tid=15672] ppid=15650 vsize=15691180 CPUtime=1109.02 cores=0,2,4,6
/proc/15652/task/15672/stat : 15672 (java) R 15650 15652 14756 0 -1 4202560 164447 0 0 0 110867 35 0 0 25 0 22 0 529964851 16067768320 84073 33554432000 1073741824 1073778376 140733600725328 18446744073709551615 46912505524136 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=15652/tid=15673] ppid=15650 vsize=15691180 CPUtime=1108.3 cores=0,2,4,6
/proc/15652/task/15673/stat : 15673 (java) R 15650 15652 14756 0 -1 4202560 159270 0 0 0 110798 32 0 0 25 0 22 0 529964851 16067768320 84073 33554432000 1073741824 1073778376 140733600725328 18446744073709551615 46912505644554 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=15652/tid=15674] ppid=15650 vsize=15691180 CPUtime=1107.78 cores=0,2,4,6
/proc/15652/task/15674/stat : 15674 (java) R 15650 15652 14756 0 -1 4202560 154253 0 0 0 110748 30 0 0 25 0 22 0 529964851 16067768320 84073 33554432000 1073741824 1073778376 140733600725328 18446744073709551615 46912505632802 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4462.01
Current children cumulated vsize (KiB) 15691180

[startup+1182.3 s]
/proc/loadavg: 8.27 8.10 7.52 9/224 15803
/proc/meminfo: memFree=28567348/32951124 swapFree=67111352/67111528
[pid=15652] ppid=15650 vsize=15691180 CPUtime=4700.49 cores=0,2,4,6
/proc/15652/stat : 15652 (java) S 15650 15652 14756 0 -1 4202496 1115055 0 1 0 469720 329 0 0 25 0 22 0 529964826 16067768320 91541 33554432000 1073741824 1073778376 140733600725328 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/15652/statm: 3922795 91541 2298 9 0 3913514 0
[pid=15652/tid=15653] ppid=15650 vsize=15691180 CPUtime=0.34 cores=0,2,4,6
/proc/15652/task/15653/stat : 15653 (java) S 15650 15652 14756 0 -1 4202560 6036 0 1 0 34 0 0 0 20 0 22 0 529964826 16067768320 91541 33554432000 1073741824 1073778376 140733600725328 18446744073709551615 255389117337 0 4 0 16800975 18446604442994284416 0 0 -1 0 0 0 0
[pid=15652/tid=15655] ppid=15650 vsize=15691180 CPUtime=3.21 cores=0,2,4,6
/proc/15652/task/15655/stat : 15655 (java) S 15650 15652 14756 0 -1 4202560 51399 0 0 0 304 17 0 0 15 0 22 0 529964827 16067768320 91541 33554432000 1073741824 1073778376 140733600725328 18446744073709551615 255389117337 0 4 0 16800975 18446604442994284416 0 0 -1 4 0 0 0
[pid=15652/tid=15656] ppid=15650 vsize=15691180 CPUtime=3.24 cores=0,2,4,6
/proc/15652/task/15656/stat : 15656 (java) S 15650 15652 14756 0 -1 4202560 53838 0 0 0 309 15 0 0 15 0 22 0 529964827 16067768320 91541 33554432000 1073741824 1073778376 140733600725328 18446744073709551615 255389117337 0 4 0 16800975 18446604442994284416 0 0 -1 2 0 0 0
[pid=15652/tid=15657] ppid=15650 vsize=15691180 CPUtime=3.26 cores=0,2,4,6
/proc/15652/task/15657/stat : 15657 (java) S 15650 15652 14756 0 -1 4202560 52192 0 0 0 309 17 0 0 15 0 22 0 529964827 16067768320 91541 33554432000 1073741824 1073778376 140733600725328 18446744073709551615 255389117337 0 4 0 16800975 18446604442994284416 0 0 -1 0 0 0 0
[pid=15652/tid=15658] ppid=15650 vsize=15691180 CPUtime=3.19 cores=0,2,4,6
/proc/15652/task/15658/stat : 15658 (java) S 15650 15652 14756 0 -1 4202560 53499 0 0 0 304 15 0 0 15 0 22 0 529964827 16067768320 91541 33554432000 1073741824 1073778376 140733600725328 18446744073709551615 255389117337 0 4 0 16800975 18446604442994284416 0 0 -1 4 0 0 0
[pid=15652/tid=15659] ppid=15650 vsize=15691180 CPUtime=3.19 cores=0,2,4,6
/proc/15652/task/15659/stat : 15659 (java) S 15650 15652 14756 0 -1 4202560 52782 0 0 0 304 15 0 0 15 0 22 0 529964827 16067768320 91541 33554432000 1073741824 1073778376 140733600725328 18446744073709551615 255389117337 0 4 0 16800975 18446604442994284416 0 0 -1 2 0 0 0
[pid=15652/tid=15660] ppid=15650 vsize=15691180 CPUtime=3.24 cores=0,2,4,6
/proc/15652/task/15660/stat : 15660 (java) S 15650 15652 14756 0 -1 4202560 52790 0 0 0 307 17 0 0 16 0 22 0 529964827 16067768320 91541 33554432000 1073741824 1073778376 140733600725328 18446744073709551615 255389117337 0 4 0 16800975 18446604442994284416 0 0 -1 0 0 0 0
[pid=15652/tid=15661] ppid=15650 vsize=15691180 CPUtime=3.12 cores=0,2,4,6
/proc/15652/task/15661/stat : 15661 (java) S 15650 15652 14756 0 -1 4202560 53981 0 0 0 297 15 0 0 15 0 22 0 529964827 16067768320 91541 33554432000 1073741824 1073778376 140733600725328 18446744073709551615 255389117337 0 4 0 16800975 18446604442994284416 0 0 -1 6 0 0 0
[pid=15652/tid=15662] ppid=15650 vsize=15691180 CPUtime=3.23 cores=0,2,4,6
/proc/15652/task/15662/stat : 15662 (java) S 15650 15652 14756 0 -1 4202560 56363 0 0 0 307 16 0 0 16 0 22 0 529964827 16067768320 91541 33554432000 1073741824 1073778376 140733600725328 18446744073709551615 255389117337 0 4 0 16800975 18446604442994284416 0 0 -1 6 0 0 0
[pid=15652/tid=15663] ppid=15650 vsize=15691180 CPUtime=2.24 cores=0,2,4,6
/proc/15652/task/15663/stat : 15663 (java) S 15650 15652 14756 0 -1 4202560 2756 0 0 0 165 59 0 0 15 0 22 0 529964828 16067768320 91541 33554432000 1073741824 1073778376 140733600725328 18446744073709551615 255389117952 0 0 0 16800975 18446604442994284416 0 0 -1 0 0 0 0
[pid=15652/tid=15664] ppid=15650 vsize=15691180 CPUtime=0 cores=0,2,4,6
/proc/15652/task/15664/stat : 15664 (java) S 15650 15652 14756 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 529964828 16067768320 91541 33554432000 1073741824 1073778376 140733600725328 18446744073709551615 255389117337 0 4 0 16800975 18446604442994284416 0 0 -1 2 0 0 0
[pid=15652/tid=15665] ppid=15650 vsize=15691180 CPUtime=0 cores=0,2,4,6
/proc/15652/task/15665/stat : 15665 (java) S 15650 15652 14756 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 529964828 16067768320 91541 33554432000 1073741824 1073778376 140733600725328 18446744073709551615 255389117337 0 4 0 16800975 18446604442994284416 0 0 -1 2 0 0 0
[pid=15652/tid=15666] ppid=15650 vsize=15691180 CPUtime=0 cores=0,2,4,6
/proc/15652/task/15666/stat : 15666 (java) S 15650 15652 14756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 529964830 16067768320 91541 33554432000 1073741824 1073778376 140733600725328 18446744073709551615 255389125041 0 4 0 16800975 18446604442994284416 0 0 -1 2 0 0 0
[pid=15652/tid=15667] ppid=15650 vsize=15691180 CPUtime=0.77 cores=0,2,4,6
/proc/15652/task/15667/stat : 15667 (java) S 15650 15652 14756 0 -1 4202560 7163 0 0 0 76 1 0 0 15 0 22 0 529964830 16067768320 91541 33554432000 1073741824 1073778376 140733600725328 18446744073709551615 255389117337 0 4 0 16800975 18446604442994284416 0 0 -1 2 0 0 0
[pid=15652/tid=15668] ppid=15650 vsize=15691180 CPUtime=0.79 cores=0,2,4,6
/proc/15652/task/15668/stat : 15668 (java) S 15650 15652 14756 0 -1 4202560 5702 0 0 0 79 0 0 0 16 0 22 0 529964830 16067768320 91541 33554432000 1073741824 1073778376 140733600725328 18446744073709551615 255389117337 0 4 0 16800975 18446604442994284416 0 0 -1 4 0 0 0
[pid=15652/tid=15669] ppid=15650 vsize=15691180 CPUtime=0 cores=0,2,4,6
/proc/15652/task/15669/stat : 15669 (java) S 15650 15652 14756 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 22 0 529964830 16067768320 91541 33554432000 1073741824 1073778376 140733600725328 18446744073709551615 255389117337 0 4 0 16800975 18446604442994284416 0 0 -1 0 0 0 0
[pid=15652/tid=15670] ppid=15650 vsize=15691180 CPUtime=0 cores=0,2,4,6
/proc/15652/task/15670/stat : 15670 (java) S 15650 15652 14756 0 -1 4202560 63 0 0 0 0 0 0 0 15 0 22 0 529964830 16067768320 91541 33554432000 1073741824 1073778376 140733600725328 18446744073709551615 255389117952 0 4 0 16800975 18446604442994284416 0 0 -1 2 0 0 0
[pid=15652/tid=15671] ppid=15650 vsize=15691180 CPUtime=1167.43 cores=0,2,4,6
/proc/15652/task/15671/stat : 15671 (java) R 15650 15652 14756 0 -1 4202560 170801 0 0 0 116711 32 0 0 25 0 22 0 529964851 16067768320 91541 33554432000 1073741824 1073778376 140733600725328 18446744073709551615 46912505738939 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=15652/tid=15672] ppid=15650 vsize=15691180 CPUtime=1168.38 cores=0,2,4,6
/proc/15652/task/15672/stat : 15672 (java) R 15650 15652 14756 0 -1 4202560 169686 0 0 0 116801 37 0 0 25 0 22 0 529964851 16067768320 91541 33554432000 1073741824 1073778376 140733600725328 18446744073709551615 46912505663340 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=15652/tid=15673] ppid=15650 vsize=15691180 CPUtime=1167.6 cores=0,2,4,6
/proc/15652/task/15673/stat : 15673 (java) R 15650 15652 14756 0 -1 4202560 165255 0 0 0 116727 33 0 0 25 0 22 0 529964851 16067768320 91541 33554432000 1073741824 1073778376 140733600725328 18446744073709551615 46912505666763 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=15652/tid=15674] ppid=15650 vsize=15691180 CPUtime=1167.09 cores=0,2,4,6
/proc/15652/task/15674/stat : 15674 (java) R 15650 15652 14756 0 -1 4202560 159362 0 0 0 116678 31 0 0 25 0 22 0 529964851 16067768320 91541 33554432000 1073741824 1073778376 140733600725328 18446744073709551615 46912505644614 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4700.49
Current children cumulated vsize (KiB) 15691180



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1207.4 s]
/proc/loadavg: 8.26 8.11 7.54 9/224 15804
/proc/meminfo: memFree=28531972/32951124 swapFree=67111352/67111528
[pid=15652] ppid=15650 vsize=15691180 CPUtime=4800.31 cores=0,2,4,6
/proc/15652/stat : 15652 (java) S 15650 15652 14756 0 -1 4202496 1143316 0 1 0 479695 336 0 0 25 0 22 0 529964826 16067768320 97129 33554432000 1073741824 1073778376 140733600725328 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/15652/statm: 3922795 97129 2298 9 0 3913514 0
[pid=15652/tid=15653] ppid=15650 vsize=15691180 CPUtime=0.34 cores=0,2,4,6
/proc/15652/task/15653/stat : 15653 (java) S 15650 15652 14756 0 -1 4202560 6036 0 1 0 34 0 0 0 20 0 22 0 529964826 16067768320 97129 33554432000 1073741824 1073778376 140733600725328 18446744073709551615 255389117337 0 4 0 16800975 18446604442994284416 0 0 -1 0 0 0 0
[pid=15652/tid=15655] ppid=15650 vsize=15691180 CPUtime=3.3 cores=0,2,4,6
/proc/15652/task/15655/stat : 15655 (java) S 15650 15652 14756 0 -1 4202560 54521 0 0 0 312 18 0 0 15 0 22 0 529964827 16067768320 97129 33554432000 1073741824 1073778376 140733600725328 18446744073709551615 255389117337 0 4 0 16800975 18446604442994284416 0 0 -1 2 0 0 0
[pid=15652/tid=15656] ppid=15650 vsize=15691180 CPUtime=3.31 cores=0,2,4,6
/proc/15652/task/15656/stat : 15656 (java) S 15650 15652 14756 0 -1 4202560 56350 0 0 0 315 16 0 0 15 0 22 0 529964827 16067768320 97129 33554432000 1073741824 1073778376 140733600725328 18446744073709551615 255389117337 0 4 0 16800975 18446604442994284416 0 0 -1 4 0 0 0
[pid=15652/tid=15657] ppid=15650 vsize=15691180 CPUtime=3.32 cores=0,2,4,6
/proc/15652/task/15657/stat : 15657 (java) S 15650 15652 14756 0 -1 4202560 55079 0 0 0 315 17 0 0 15 0 22 0 529964827 16067768320 97129 33554432000 1073741824 1073778376 140733600725328 18446744073709551615 255389117337 0 4 0 16800975 18446604442994284416 0 0 -1 4 0 0 0
[pid=15652/tid=15658] ppid=15650 vsize=15691180 CPUtime=3.25 cores=0,2,4,6
/proc/15652/task/15658/stat : 15658 (java) S 15650 15652 14756 0 -1 4202560 55141 0 0 0 310 15 0 0 15 0 22 0 529964827 16067768320 97129 33554432000 1073741824 1073778376 140733600725328 18446744073709551615 255389117337 0 4 0 16800975 18446604442994284416 0 0 -1 2 0 0 0
[pid=15652/tid=15659] ppid=15650 vsize=15691180 CPUtime=3.25 cores=0,2,4,6
/proc/15652/task/15659/stat : 15659 (java) S 15650 15652 14756 0 -1 4202560 55279 0 0 0 309 16 0 0 15 0 22 0 529964827 16067768320 97129 33554432000 1073741824 1073778376 140733600725328 18446744073709551615 255389117337 0 4 0 16800975 18446604442994284416 0 0 -1 0 0 0 0
[pid=15652/tid=15660] ppid=15650 vsize=15691180 CPUtime=3.3 cores=0,2,4,6
/proc/15652/task/15660/stat : 15660 (java) S 15650 15652 14756 0 -1 4202560 55399 0 0 0 313 17 0 0 15 0 22 0 529964827 16067768320 97129 33554432000 1073741824 1073778376 140733600725328 18446744073709551615 255389117337 0 4 0 16800975 18446604442994284416 0 0 -1 0 0 0 0
[pid=15652/tid=15661] ppid=15650 vsize=15691180 CPUtime=3.17 cores=0,2,4,6
/proc/15652/task/15661/stat : 15661 (java) S 15650 15652 14756 0 -1 4202560 55550 0 0 0 302 15 0 0 15 0 22 0 529964827 16067768320 97129 33554432000 1073741824 1073778376 140733600725328 18446744073709551615 255389117337 0 4 0 16800975 18446604442994284416 0 0 -1 6 0 0 0
[pid=15652/tid=15662] ppid=15650 vsize=15691180 CPUtime=3.3 cores=0,2,4,6
/proc/15652/task/15662/stat : 15662 (java) S 15650 15652 14756 0 -1 4202560 58716 0 0 0 313 17 0 0 15 0 22 0 529964827 16067768320 97129 33554432000 1073741824 1073778376 140733600725328 18446744073709551615 255389117337 0 4 0 16800975 18446604442994284416 0 0 -1 6 0 0 0
[pid=15652/tid=15663] ppid=15650 vsize=15691180 CPUtime=2.29 cores=0,2,4,6
/proc/15652/task/15663/stat : 15663 (java) S 15650 15652 14756 0 -1 4202560 2804 0 0 0 169 60 0 0 15 0 22 0 529964828 16067768320 97129 33554432000 1073741824 1073778376 140733600725328 18446744073709551615 255389117952 0 0 0 16800975 18446604442994284416 0 0 -1 0 0 0 0
[pid=15652/tid=15664] ppid=15650 vsize=15691180 CPUtime=0 cores=0,2,4,6
/proc/15652/task/15664/stat : 15664 (java) S 15650 15652 14756 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 529964828 16067768320 97129 33554432000 1073741824 1073778376 140733600725328 18446744073709551615 255389117337 0 4 0 16800975 18446604442994284416 0 0 -1 2 0 0 0
[pid=15652/tid=15665] ppid=15650 vsize=15691180 CPUtime=0 cores=0,2,4,6
/proc/15652/task/15665/stat : 15665 (java) S 15650 15652 14756 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 529964828 16067768320 97129 33554432000 1073741824 1073778376 140733600725328 18446744073709551615 255389117337 0 4 0 16800975 18446604442994284416 0 0 -1 2 0 0 0
[pid=15652/tid=15666] ppid=15650 vsize=15691180 CPUtime=0 cores=0,2,4,6
/proc/15652/task/15666/stat : 15666 (java) S 15650 15652 14756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 529964830 16067768320 97129 33554432000 1073741824 1073778376 140733600725328 18446744073709551615 255389125041 0 4 0 16800975 18446604442994284416 0 0 -1 2 0 0 0
[pid=15652/tid=15667] ppid=15650 vsize=15691180 CPUtime=0.77 cores=0,2,4,6
/proc/15652/task/15667/stat : 15667 (java) S 15650 15652 14756 0 -1 4202560 7163 0 0 0 76 1 0 0 15 0 22 0 529964830 16067768320 97129 33554432000 1073741824 1073778376 140733600725328 18446744073709551615 255389117337 0 4 0 16800975 18446604442994284416 0 0 -1 2 0 0 0
[pid=15652/tid=15668] ppid=15650 vsize=15691180 CPUtime=0.79 cores=0,2,4,6
/proc/15652/task/15668/stat : 15668 (java) S 15650 15652 14756 0 -1 4202560 5702 0 0 0 79 0 0 0 16 0 22 0 529964830 16067768320 97129 33554432000 1073741824 1073778376 140733600725328 18446744073709551615 255389117337 0 4 0 16800975 18446604442994284416 0 0 -1 4 0 0 0
[pid=15652/tid=15669] ppid=15650 vsize=15691180 CPUtime=0 cores=0,2,4,6
/proc/15652/task/15669/stat : 15669 (java) S 15650 15652 14756 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 22 0 529964830 16067768320 97129 33554432000 1073741824 1073778376 140733600725328 18446744073709551615 255389117337 0 4 0 16800975 18446604442994284416 0 0 -1 0 0 0 0
[pid=15652/tid=15670] ppid=15650 vsize=15691180 CPUtime=0 cores=0,2,4,6
/proc/15652/task/15670/stat : 15670 (java) S 15650 15652 14756 0 -1 4202560 65 0 0 0 0 0 0 0 15 0 22 0 529964830 16067768320 97129 33554432000 1073741824 1073778376 140733600725328 18446744073709551615 255389117952 0 4 0 16800975 18446604442994284416 0 0 -1 2 0 0 0
[pid=15652/tid=15671] ppid=15650 vsize=15691180 CPUtime=1192.24 cores=0,2,4,6
/proc/15652/task/15671/stat : 15671 (java) R 15650 15652 14756 0 -1 4202560 172970 0 0 0 119191 33 0 0 18 0 22 0 529964851 16067768320 97129 33554432000 1073741824 1073778376 140733600725328 18446744073709551615 46912505632389 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=15652/tid=15672] ppid=15650 vsize=15691180 CPUtime=1193.23 cores=0,2,4,6
/proc/15652/task/15672/stat : 15672 (java) R 15650 15652 14756 0 -1 4202560 171815 0 0 0 119286 37 0 0 25 0 22 0 529964851 16067768320 97129 33554432000 1073741824 1073778376 140733600725328 18446744073709551615 46912505663607 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=15652/tid=15673] ppid=15650 vsize=15691180 CPUtime=1192.4 cores=0,2,4,6
/proc/15652/task/15673/stat : 15673 (java) R 15650 15652 14756 0 -1 4202560 167761 0 0 0 119206 34 0 0 25 0 22 0 529964851 16067768320 97129 33554432000 1073741824 1073778376 140733600725328 18446744073709551615 46912505632422 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=15652/tid=15674] ppid=15650 vsize=15691180 CPUtime=1191.89 cores=0,2,4,6
/proc/15652/task/15674/stat : 15674 (java) R 15650 15652 14756 0 -1 4202560 161578 0 0 0 119157 32 0 0 25 0 22 0 529964851 16067768320 97129 33554432000 1073741824 1073778376 140733600725328 18446744073709551615 46912505632475 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.31
Current children cumulated vsize (KiB) 15691180

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.43
CPU time (s): 4800.36
CPU user time (s): 4796.98
CPU system time (s): 3.38149
CPU usage (%): 397.567
Max. virtual memory (cumulated for all children) (KiB): 15696248

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4796.98
system time used= 3.38149
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1143343
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= 338877
involuntary context switches= 216603

runsolver used 1.9567 second user time and 4.65629 second system time

The end

Launcher Data 

Begin job on node135 at 2011-04-30 19:14:30
IDJOB=3312975
IDBENCH=83230
IDSOLVER=1699
FILE ID=node135/3312975-1304183670
RUNJOBID= node135-1304183667-15513
PBS_JOBID= 13172439
Free space on /tmp= 72096 MiB

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

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

MD5SUM BENCH= 647576009a3d34cc33c6dfd3ecb1a2ef
RANDOM SEED=232014450

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.851
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:     32951124 kB
MemFree:      29149980 kB
Buffers:        959408 kB
Cached:        2083904 kB
SwapCached:        172 kB
Active:         363784 kB
Inactive:      2920004 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29149980 kB
SwapTotal:    67111528 kB
SwapFree:     67111352 kB
Dirty:            3680 kB
Writeback:           0 kB
AnonPages:      240344 kB
Mapped:          23284 kB
Slab:           454816 kB
PageTables:       5432 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   868276 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 72096 MiB
End job on node135 at 2011-04-30 19:34:39