Trace number 3311542

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
STRUCTure 0.1 (hbr=2)? (TO) 4800.33 1207.23

General information on the benchmark

Namerandom/medium/
unif-k7-r89-v80-c7120-S1639347701-083.SATISFIABLE.cnf
MD5SUM409e3a755415661f5541c475b40a659c
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.076987
Satisfiable
(Un)Satisfiability was proved
Number of variables80
Number of clauses7120
Sum of the clauses size49840
Maximum clause length7
Minimum clause length7
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 57120

Solver Data 

0.09/0.13	21:38 INFO : Reading from input HOME/instance-3311542-1304133698.cnf
0.50/0.34	Executor set job limit to 1000000
0.50/0.34	Executor set job limit to 1000000
0.50/0.34	Executor set job limit to 1000000
0.50/0.34	Executor set job limit to 1000000
0.50/0.35	Starting Executor!
0.50/0.35	Starting Executor!
0.50/0.35	Starting Executor!
0.50/0.35	Starting Executor!
0.91/0.58	21:38 INFO : 80 variables remaining out of 80
0.91/0.58	21:38 INFO : 56960 literals remaining out of 56960

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

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.91 5.92 7.08 2/178 7828
/proc/meminfo: memFree=29028864/32951124 swapFree=67111356/67111528
[pid=7828] ppid=7826 vsize=24004 CPUtime=0 cores=0,2,4,6
/proc/7828/stat : 7828 (java) S 7826 7828 6472 0 -1 4202496 1368 0 0 0 0 0 0 0 18 0 2 0 524967491 24580096 849 33554432000 1073741824 1073778376 140736387321536 18446744073709551615 218917533669 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/7828/statm: 6001 851 649 9 0 381 0
[pid=7828/tid=7829] ppid=7826 vsize=24004 CPUtime=0 cores=0,2,4,6
/proc/7828/task/7829/stat : 7829 (java) D 7826 7828 6472 0 -1 4202560 26 0 0 0 0 0 0 0 19 0 2 0 524967492 24580096 862 33554432000 1073741824 1073778376 140736387321536 18446744073709551615 218900807303 0 0 4096 0 0 0 0 -1 4 0 0 0

[startup+0.00923689 s]
/proc/loadavg: 3.91 5.92 7.08 2/178 7828
/proc/meminfo: memFree=29028864/32951124 swapFree=67111356/67111528
[pid=7828] ppid=7826 vsize=35788 CPUtime=0 cores=0,2,4,6
/proc/7828/stat : 7828 (java) S 7826 7828 6472 0 -1 4202496 1572 0 0 0 0 0 0 0 18 0 2 0 524967491 36646912 1017 33554432000 1073741824 1073778376 140736387321536 18446744073709551615 218917533669 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/7828/statm: 8947 1017 785 9 0 386 0
[pid=7828/tid=7829] ppid=7826 vsize=35788 CPUtime=0 cores=0,2,4,6
/proc/7828/task/7829/stat : 7829 (java) S 7826 7828 6472 0 -1 4202560 216 0 0 0 0 0 0 0 19 0 2 0 524967492 36646912 1017 33554432000 1073741824 1073778376 140736387321536 18446744073709551615 218905751110 0 0 0 16784584 4344611074922774527 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 35788

[startup+0.101265 s]
/proc/loadavg: 3.91 5.92 7.08 2/178 7828
/proc/meminfo: memFree=29028864/32951124 swapFree=67111356/67111528
[pid=7828] ppid=7826 vsize=15677700 CPUtime=0.09 cores=0,2,4,6
/proc/7828/stat : 7828 (java) S 7826 7828 6472 0 -1 4202496 5452 0 1 0 8 1 0 0 18 0 18 0 524967491 16053964800 4884 33554432000 1073741824 1073778376 140736387321536 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/7828/statm: 3919425 4884 2116 9 0 3910144 0
[pid=7828/tid=7829] ppid=7826 vsize=15677700 CPUtime=0.08 cores=0,2,4,6
/proc/7828/task/7829/stat : 7829 (java) R 7826 7828 6472 0 -1 4202560 3333 0 1 0 7 1 0 0 18 0 18 0 524967492 16053964800 4884 33554432000 1073741824 1073778376 140736387321536 18446744073709551615 46912505228269 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15677700

[startup+0.304613 s]
/proc/loadavg: 3.91 5.92 7.08 2/178 7828
/proc/meminfo: memFree=29028864/32951124 swapFree=67111356/67111528
[pid=7828] ppid=7826 vsize=15681796 CPUtime=0.5 cores=0,2,4,6
/proc/7828/stat : 7828 (java) S 7826 7828 6472 0 -1 4202496 13522 0 1 0 48 2 0 0 18 0 18 0 524967491 16058159104 12183 33554432000 1073741824 1073778376 140736387321536 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/7828/statm: 3920449 12187 2208 9 0 3911168 0
[pid=7828/tid=7829] ppid=7826 vsize=15681796 CPUtime=0.28 cores=0,2,4,6
/proc/7828/task/7829/stat : 7829 (java) R 7826 7828 6472 0 -1 4202560 8791 0 1 0 26 2 0 0 18 0 18 0 524967492 16058159104 12188 33554432000 1073741824 1073778376 140736387321536 18446744073709551615 46912505511966 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 15681796

[startup+0.701043 s]
/proc/loadavg: 3.91 5.92 7.08 2/178 7828
/proc/meminfo: memFree=29028864/32951124 swapFree=67111356/67111528
[pid=7828] ppid=7826 vsize=15708292 CPUtime=1.51 cores=0,2,4,6
/proc/7828/stat : 7828 (java) S 7826 7828 6472 0 -1 4202496 31206 0 1 0 146 5 0 0 18 0 22 0 524967491 16085291008 26957 33554432000 1073741824 1073778376 140736387321536 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/7828/statm: 3927073 26957 2257 9 0 3917792 0
[pid=7828/tid=7829] ppid=7826 vsize=15708292 CPUtime=0.56 cores=0,2,4,6
/proc/7828/task/7829/stat : 7829 (java) S 7826 7828 6472 0 -1 4202560 15031 0 1 0 53 3 0 0 18 0 22 0 524967492 16085291008 26957 33554432000 1073741824 1073778376 140736387321536 18446744073709551615 218917546905 0 4 0 16800975 18446604453924251840 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 15708292

[startup+1.5009 s]
/proc/loadavg: 3.91 5.92 7.08 15/220 7870
/proc/meminfo: memFree=28741476/32951124 swapFree=67111356/67111528
[pid=7828] ppid=7826 vsize=15707320 CPUtime=4.61 cores=0,2,4,6
/proc/7828/stat : 7828 (java) S 7826 7828 6472 0 -1 4202496 62267 0 1 0 452 9 0 0 18 0 22 0 524967491 16084295680 50112 33554432000 1073741824 1073778376 140736387321536 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/7828/statm: 3926830 50112 2273 9 0 3917549 0
[pid=7828/tid=7829] ppid=7826 vsize=15707320 CPUtime=0.56 cores=0,2,4,6
/proc/7828/task/7829/stat : 7829 (java) S 7826 7828 6472 0 -1 4202560 15031 0 1 0 53 3 0 0 18 0 22 0 524967492 16084295680 50112 33554432000 1073741824 1073778376 140736387321536 18446744073709551615 218917546905 0 4 0 16800975 18446604453924251840 0 0 -1 4 0 0 0
[pid=7828/tid=7839] ppid=7826 vsize=15707320 CPUtime=0 cores=0,2,4,6
/proc/7828/task/7839/stat : 7839 (java) R 7826 7828 6472 0 -1 4202560 441 0 0 0 0 0 0 0 18 0 22 0 524967493 16084295680 50112 33554432000 1073741824 1073778376 140736387321536 18446744073709551615 218917546905 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=7828/tid=7840] ppid=7826 vsize=15707320 CPUtime=0 cores=0,2,4,6
/proc/7828/task/7840/stat : 7840 (java) S 7826 7828 6472 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 524967493 16084295680 50112 33554432000 1073741824 1073778376 140736387321536 18446744073709551615 218917546905 0 4 0 16800975 18446604453924251840 0 0 -1 2 0 0 0
[pid=7828/tid=7841] ppid=7826 vsize=15707320 CPUtime=0 cores=0,2,4,6
/proc/7828/task/7841/stat : 7841 (java) S 7826 7828 6472 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 524967493 16084295680 50112 33554432000 1073741824 1073778376 140736387321536 18446744073709551615 218917546905 0 4 0 16800975 18446604453924251840 0 0 -1 2 0 0 0
[pid=7828/tid=7842] ppid=7826 vsize=15707320 CPUtime=0 cores=0,2,4,6
/proc/7828/task/7842/stat : 7842 (java) S 7826 7828 6472 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 524967493 16084295680 50112 33554432000 1073741824 1073778376 140736387321536 18446744073709551615 218917546905 0 4 0 16800975 18446604453924251840 0 0 -1 2 0 0 0
[pid=7828/tid=7843] ppid=7826 vsize=15707320 CPUtime=0 cores=0,2,4,6
/proc/7828/task/7843/stat : 7843 (java) S 7826 7828 6472 0 -1 4202560 851 0 0 0 0 0 0 0 18 0 22 0 524967493 16084295680 50112 33554432000 1073741824 1073778376 140736387321536 18446744073709551615 218917546905 0 4 0 16800975 18446604453924251840 0 0 -1 2 0 0 0
[pid=7828/tid=7844] ppid=7826 vsize=15707320 CPUtime=0 cores=0,2,4,6
/proc/7828/task/7844/stat : 7844 (java) S 7826 7828 6472 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 22 0 524967493 16084295680 50112 33554432000 1073741824 1073778376 140736387321536 18446744073709551615 218917546905 0 4 0 16800975 18446604453924251840 0 0 -1 0 0 0 0
[pid=7828/tid=7845] ppid=7826 vsize=15707320 CPUtime=0 cores=0,2,4,6
/proc/7828/task/7845/stat : 7845 (java) S 7826 7828 6472 0 -1 4202560 912 0 0 0 0 0 0 0 18 0 22 0 524967493 16084295680 50112 33554432000 1073741824 1073778376 140736387321536 18446744073709551615 218917546905 0 4 0 16800975 18446604453924251840 0 0 -1 0 0 0 0
[pid=7828/tid=7846] ppid=7826 vsize=15707320 CPUtime=0 cores=0,2,4,6
/proc/7828/task/7846/stat : 7846 (java) S 7826 7828 6472 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 524967493 16084295680 50112 33554432000 1073741824 1073778376 140736387321536 18446744073709551615 218917546905 0 4 0 16800975 18446604453924251840 0 0 -1 2 0 0 0
[pid=7828/tid=7850] ppid=7826 vsize=15707320 CPUtime=0 cores=0,2,4,6
/proc/7828/task/7850/stat : 7850 (java) S 7826 7828 6472 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 22 0 524967494 16084295680 50112 33554432000 1073741824 1073778376 140736387321536 18446744073709551615 218917547520 0 0 0 16800975 18446604453924251840 0 0 -1 0 0 0 0
[pid=7828/tid=7851] ppid=7826 vsize=15707320 CPUtime=0 cores=0,2,4,6
/proc/7828/task/7851/stat : 7851 (java) R 7826 7828 6472 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 22 0 524967494 16084295680 50112 33554432000 1073741824 1073778376 140736387321536 18446744073709551615 218917546905 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=7828/tid=7852] ppid=7826 vsize=15707320 CPUtime=0 cores=0,2,4,6
/proc/7828/task/7852/stat : 7852 (java) S 7826 7828 6472 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 524967494 16084295680 50112 33554432000 1073741824 1073778376 140736387321536 18446744073709551615 218917546905 0 4 0 16800975 18446604453924251840 0 0 -1 4 0 0 0
[pid=7828/tid=7858] ppid=7826 vsize=15707320 CPUtime=0 cores=0,2,4,6
/proc/7828/task/7858/stat : 7858 (java) S 7826 7828 6472 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 524967497 16084295680 50112 33554432000 1073741824 1073778376 140736387321536 18446744073709551615 218917554609 0 4 0 16800975 18446604453924251840 0 0 -1 4 0 0 0
[pid=7828/tid=7859] ppid=7826 vsize=15707320 CPUtime=0.6 cores=0,2,4,6
/proc/7828/task/7859/stat : 7859 (java) R 7826 7828 6472 0 -1 4202560 7760 0 0 0 59 1 0 0 17 0 22 0 524967497 16084295680 50112 33554432000 1073741824 1073778376 140736387321536 18446744073709551615 218917546905 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=7828/tid=7860] ppid=7826 vsize=15707320 CPUtime=1.21 cores=0,2,4,6
/proc/7828/task/7860/stat : 7860 (java) R 7826 7828 6472 0 -1 4202560 15329 0 0 0 119 2 0 0 17 0 22 0 524967497 16084295680 50112 33554432000 1073741824 1073778376 140736387321536 18446744073709551615 47571402877470 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=7828/tid=7861] ppid=7826 vsize=15707320 CPUtime=0 cores=0,2,4,6
/proc/7828/task/7861/stat : 7861 (java) S 7826 7828 6472 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 524967497 16084295680 50112 33554432000 1073741824 1073778376 140736387321536 18446744073709551615 218917546905 0 4 0 16800975 18446604453924251840 0 0 -1 4 0 0 0
[pid=7828/tid=7862] ppid=7826 vsize=15707320 CPUtime=0 cores=0,2,4,6
/proc/7828/task/7862/stat : 7862 (java) S 7826 7828 6472 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 524967497 16084295680 50112 33554432000 1073741824 1073778376 140736387321536 18446744073709551615 218917547520 0 4 0 16800975 18446604453924251840 0 0 -1 0 0 0 0
[pid=7828/tid=7867] ppid=7826 vsize=15707320 CPUtime=0.6 cores=0,2,4,6
/proc/7828/task/7867/stat : 7867 (java) R 7826 7828 6472 0 -1 4202560 6492 0 0 0 59 1 0 0 16 0 22 0 524967526 16084295680 50112 33554432000 1073741824 1073778376 140736387321536 18446744073709551615 46912505635493 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=7828/tid=7868] ppid=7826 vsize=15707320 CPUtime=0.51 cores=0,2,4,6
/proc/7828/task/7868/stat : 7868 (java) R 7826 7828 6472 0 -1 4202560 1283 0 0 0 51 0 0 0 16 0 22 0 524967526 16084295680 50112 33554432000 1073741824 1073778376 140736387321536 18446744073709551615 46912505812101 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=7828/tid=7869] ppid=7826 vsize=15707320 CPUtime=0.66 cores=0,2,4,6
/proc/7828/task/7869/stat : 7869 (java) R 7826 7828 6472 0 -1 4202560 5950 0 0 0 66 0 0 0 16 0 22 0 524967526 16084295680 50112 33554432000 1073741824 1073778376 140736387321536 18446744073709551615 46912505821002 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=7828/tid=7870] ppid=7826 vsize=15707320 CPUtime=0.4 cores=0,2,4,6
/proc/7828/task/7870/stat : 7870 (java) R 7826 7828 6472 0 -1 4202560 6817 0 0 0 40 0 0 0 16 0 22 0 524967526 16084295680 50112 33554432000 1073741824 1073778376 140736387321536 18446744073709551615 46912505366048 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.61
Current children cumulated vsize (KiB) 15707320

[startup+3.10161 s]
/proc/loadavg: 3.91 5.92 7.08 9/220 7870
/proc/meminfo: memFree=28506744/32951124 swapFree=67111356/67111528
[pid=7828] ppid=7826 vsize=15707320 CPUtime=10.98 cores=0,2,4,6
/proc/7828/stat : 7828 (java) S 7826 7828 6472 0 -1 4202496 100087 0 1 0 1085 13 0 0 18 0 22 0 524967491 16084295680 86502 33554432000 1073741824 1073778376 140736387321536 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/7828/statm: 3926830 86502 2285 9 0 3917549 0
[pid=7828/tid=7829] ppid=7826 vsize=15707320 CPUtime=0.56 cores=0,2,4,6
/proc/7828/task/7829/stat : 7829 (java) S 7826 7828 6472 0 -1 4202560 15031 0 1 0 53 3 0 0 18 0 22 0 524967492 16084295680 86502 33554432000 1073741824 1073778376 140736387321536 18446744073709551615 218917546905 0 4 0 16800975 18446604453924251840 0 0 -1 4 0 0 0
[pid=7828/tid=7839] ppid=7826 vsize=15707320 CPUtime=0 cores=0,2,4,6
/proc/7828/task/7839/stat : 7839 (java) S 7826 7828 6472 0 -1 4202560 1324 0 0 0 0 0 0 0 15 0 22 0 524967493 16084295680 86502 33554432000 1073741824 1073778376 140736387321536 18446744073709551615 218917546905 0 4 0 16800975 18446604453924251840 0 0 -1 4 0 0 0
[pid=7828/tid=7840] ppid=7826 vsize=15707320 CPUtime=0 cores=0,2,4,6
/proc/7828/task/7840/stat : 7840 (java) S 7826 7828 6472 0 -1 4202560 1186 0 0 0 0 0 0 0 15 0 22 0 524967493 16084295680 86502 33554432000 1073741824 1073778376 140736387321536 18446744073709551615 218917546905 0 4 0 16800975 18446604453924251840 0 0 -1 0 0 0 0
[pid=7828/tid=7841] ppid=7826 vsize=15707320 CPUtime=0 cores=0,2,4,6
/proc/7828/task/7841/stat : 7841 (java) S 7826 7828 6472 0 -1 4202560 1831 0 0 0 0 0 0 0 15 0 22 0 524967493 16084295680 86502 33554432000 1073741824 1073778376 140736387321536 18446744073709551615 218917546905 0 4 0 16800975 18446604453924251840 0 0 -1 0 0 0 0
[pid=7828/tid=7842] ppid=7826 vsize=15707320 CPUtime=0 cores=0,2,4,6
/proc/7828/task/7842/stat : 7842 (java) S 7826 7828 6472 0 -1 4202560 726 0 0 0 0 0 0 0 15 0 22 0 524967493 16084295680 86502 33554432000 1073741824 1073778376 140736387321536 18446744073709551615 218917546905 0 4 0 16800975 18446604453924251840 0 0 -1 0 0 0 0
[pid=7828/tid=7843] ppid=7826 vsize=15707320 CPUtime=0 cores=0,2,4,6
/proc/7828/task/7843/stat : 7843 (java) S 7826 7828 6472 0 -1 4202560 1167 0 0 0 0 0 0 0 16 0 22 0 524967493 16084295680 86502 33554432000 1073741824 1073778376 140736387321536 18446744073709551615 218917546905 0 4 0 16800975 18446604453924251840 0 0 -1 6 0 0 0
[pid=7828/tid=7844] ppid=7826 vsize=15707320 CPUtime=0 cores=0,2,4,6
/proc/7828/task/7844/stat : 7844 (java) S 7826 7828 6472 0 -1 4202560 614 0 0 0 0 0 0 0 15 0 22 0 524967493 16084295680 86502 33554432000 1073741824 1073778376 140736387321536 18446744073709551615 218917546905 0 4 0 16800975 18446604453924251840 0 0 -1 0 0 0 0
[pid=7828/tid=7845] ppid=7826 vsize=15707320 CPUtime=0.01 cores=0,2,4,6
/proc/7828/task/7845/stat : 7845 (java) S 7826 7828 6472 0 -1 4202560 3003 0 0 0 1 0 0 0 15 0 22 0 524967493 16084295680 86502 33554432000 1073741824 1073778376 140736387321536 18446744073709551615 218917546905 0 4 0 16800975 18446604453924251840 0 0 -1 6 0 0 0
[pid=7828/tid=7846] ppid=7826 vsize=15707320 CPUtime=0.01 cores=0,2,4,6
/proc/7828/task/7846/stat : 7846 (java) S 7826 7828 6472 0 -1 4202560 2465 0 0 0 1 0 0 0 16 0 22 0 524967493 16084295680 86502 33554432000 1073741824 1073778376 140736387321536 18446744073709551615 218917546905 0 4 0 16800975 18446604453924251840 0 0 -1 2 0 0 0
[pid=7828/tid=7850] ppid=7826 vsize=15707320 CPUtime=0 cores=0,2,4,6
/proc/7828/task/7850/stat : 7850 (java) S 7826 7828 6472 0 -1 4202560 202 0 0 0 0 0 0 0 15 0 22 0 524967494 16084295680 86502 33554432000 1073741824 1073778376 140736387321536 18446744073709551615 218917547520 0 0 0 16800975 18446604453924251840 0 0 -1 0 0 0 0
[pid=7828/tid=7851] ppid=7826 vsize=15707320 CPUtime=0 cores=0,2,4,6
/proc/7828/task/7851/stat : 7851 (java) S 7826 7828 6472 0 -1 4202560 16 0 0 0 0 0 0 0 17 0 22 0 524967494 16084295680 86502 33554432000 1073741824 1073778376 140736387321536 18446744073709551615 218917546905 0 4 0 16800975 18446604453924251840 0 0 -1 6 0 0 0
[pid=7828/tid=7852] ppid=7826 vsize=15707320 CPUtime=0 cores=0,2,4,6
/proc/7828/task/7852/stat : 7852 (java) S 7826 7828 6472 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 524967494 16084295680 86502 33554432000 1073741824 1073778376 140736387321536 18446744073709551615 218917546905 0 4 0 16800975 18446604453924251840 0 0 -1 2 0 0 0
[pid=7828/tid=7858] ppid=7826 vsize=15707320 CPUtime=0 cores=0,2,4,6
/proc/7828/task/7858/stat : 7858 (java) S 7826 7828 6472 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 524967497 16084295680 86502 33554432000 1073741824 1073778376 140736387321536 18446744073709551615 218917554609 0 4 0 16800975 18446604453924251840 0 0 -1 4 0 0 0
[pid=7828/tid=7859] ppid=7826 vsize=15707320 CPUtime=0.9 cores=0,2,4,6
/proc/7828/task/7859/stat : 7859 (java) S 7826 7828 6472 0 -1 4202560 8726 0 0 0 89 1 0 0 15 0 22 0 524967497 16084295680 86502 33554432000 1073741824 1073778376 140736387321536 18446744073709551615 218917546905 0 4 0 16800975 18446604453924251840 0 0 -1 2 0 0 0
[pid=7828/tid=7860] ppid=7826 vsize=15707320 CPUtime=1.35 cores=0,2,4,6
/proc/7828/task/7860/stat : 7860 (java) S 7826 7828 6472 0 -1 4202560 15853 0 0 0 133 2 0 0 15 0 22 0 524967497 16084295680 86502 33554432000 1073741824 1073778376 140736387321536 18446744073709551615 218917546905 0 4 0 16800975 18446604453924251840 0 0 -1 4 0 0 0
[pid=7828/tid=7861] ppid=7826 vsize=15707320 CPUtime=0 cores=0,2,4,6
/proc/7828/task/7861/stat : 7861 (java) S 7826 7828 6472 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 524967497 16084295680 86502 33554432000 1073741824 1073778376 140736387321536 18446744073709551615 218917546905 0 4 0 16800975 18446604453924251840 0 0 -1 4 0 0 0
[pid=7828/tid=7862] ppid=7826 vsize=15707320 CPUtime=0 cores=0,2,4,6
/proc/7828/task/7862/stat : 7862 (java) S 7826 7828 6472 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 524967497 16084295680 86502 33554432000 1073741824 1073778376 140736387321536 18446744073709551615 218917547520 0 4 0 16800975 18446604453924251840 0 0 -1 0 0 0 0
[pid=7828/tid=7867] ppid=7826 vsize=15707320 CPUtime=2.11 cores=0,2,4,6
/proc/7828/task/7867/stat : 7867 (java) R 7826 7828 6472 0 -1 4202560 13307 0 0 0 210 1 0 0 18 0 22 0 524967526 16084295680 86502 33554432000 1073741824 1073778376 140736387321536 18446744073709551615 46912505819621 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=7828/tid=7868] ppid=7826 vsize=15707320 CPUtime=2.03 cores=0,2,4,6
/proc/7828/task/7868/stat : 7868 (java) R 7826 7828 6472 0 -1 4202560 7740 0 0 0 203 0 0 0 17 0 22 0 524967526 16084295680 86502 33554432000 1073741824 1073778376 140736387321536 18446744073709551615 46912505820858 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=7828/tid=7869] ppid=7826 vsize=15707320 CPUtime=1.99 cores=0,2,4,6
/proc/7828/task/7869/stat : 7869 (java) R 7826 7828 6472 0 -1 4202560 12266 0 0 0 198 1 0 0 18 0 22 0 524967526 16084295680 86502 33554432000 1073741824 1073778376 140736387321536 18446744073709551615 46912505811751 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=7828/tid=7870] ppid=7826 vsize=15707320 CPUtime=1.89 cores=0,2,4,6
/proc/7828/task/7870/stat : 7870 (java) R 7826 7828 6472 0 -1 4202560 13263 0 0 0 188 1 0 0 17 0 22 0 524967526 16084295680 86502 33554432000 1073741824 1073778376 140736387321536 18446744073709551615 46912505811790 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 10.98
Current children cumulated vsize (KiB) 15707320

[startup+6.30103 s]
/proc/loadavg: 4.24 5.95 7.08 9/220 7870
/proc/meminfo: memFree=28138000/32951124 swapFree=67111356/67111528
[pid=7828] ppid=7826 vsize=15707320 CPUtime=23.75 cores=0,2,4,6
/proc/7828/stat : 7828 (java) S 7826 7828 6472 0 -1 4202496 161307 0 1 0 2355 20 0 0 18 0 22 0 524967491 16084295680 143651 33554432000 1073741824 1073778376 140736387321536 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/7828/statm: 3926830 143651 2285 9 0 3917549 0
[pid=7828/tid=7829] ppid=7826 vsize=15707320 CPUtime=0.56 cores=0,2,4,6
/proc/7828/task/7829/stat : 7829 (java) S 7826 7828 6472 0 -1 4202560 15031 0 1 0 53 3 0 0 18 0 22 0 524967492 16084295680 143651 33554432000 1073741824 1073778376 140736387321536 18446744073709551615 218917546905 0 4 0 16800975 18446604453924251840 0 0 -1 4 0 0 0
[pid=7828/tid=7839] ppid=7826 vsize=15707320 CPUtime=0.01 cores=0,2,4,6
/proc/7828/task/7839/stat : 7839 (java) S 7826 7828 6472 0 -1 4202560 1341 0 0 0 1 0 0 0 16 0 22 0 524967493 16084295680 143651 33554432000 1073741824 1073778376 140736387321536 18446744073709551615 218917546905 0 4 0 16800975 18446604453924251840 0 0 -1 4 0 0 0
[pid=7828/tid=7840] ppid=7826 vsize=15707320 CPUtime=0 cores=0,2,4,6
/proc/7828/task/7840/stat : 7840 (java) S 7826 7828 6472 0 -1 4202560 1188 0 0 0 0 0 0 0 16 0 22 0 524967493 16084295680 143651 33554432000 1073741824 1073778376 140736387321536 18446744073709551615 218917546905 0 4 0 16800975 18446604453924251840 0 0 -1 2 0 0 0
[pid=7828/tid=7841] ppid=7826 vsize=15707320 CPUtime=0 cores=0,2,4,6
/proc/7828/task/7841/stat : 7841 (java) S 7826 7828 6472 0 -1 4202560 2218 0 0 0 0 0 0 0 15 0 22 0 524967493 16084295680 143651 33554432000 1073741824 1073778376 140736387321536 18446744073709551615 218917546905 0 4 0 16800975 18446604453924251840 0 0 -1 4 0 0 0
[pid=7828/tid=7842] ppid=7826 vsize=15707320 CPUtime=0 cores=0,2,4,6
/proc/7828/task/7842/stat : 7842 (java) S 7826 7828 6472 0 -1 4202560 728 0 0 0 0 0 0 0 15 0 22 0 524967493 16084295680 143651 33554432000 1073741824 1073778376 140736387321536 18446744073709551615 218917546905 0 4 0 16800975 18446604453924251840 0 0 -1 0 0 0 0
[pid=7828/tid=7843] ppid=7826 vsize=15707320 CPUtime=0 cores=0,2,4,6
/proc/7828/task/7843/stat : 7843 (java) S 7826 7828 6472 0 -1 4202560 1328 0 0 0 0 0 0 0 15 0 22 0 524967493 16084295680 143651 33554432000 1073741824 1073778376 140736387321536 18446744073709551615 218917546905 0 4 0 16800975 18446604453924251840 0 0 -1 6 0 0 0
[pid=7828/tid=7844] ppid=7826 vsize=15707320 CPUtime=0 cores=0,2,4,6
/proc/7828/task/7844/stat : 7844 (java) S 7826 7828 6472 0 -1 4202560 614 0 0 0 0 0 0 0 15 0 22 0 524967493 16084295680 143651 33554432000 1073741824 1073778376 140736387321536 18446744073709551615 218917546905 0 4 0 16800975 18446604453924251840 0 0 -1 0 0 0 0
[pid=7828/tid=7845] ppid=7826 vsize=15707320 CPUtime=0.01 cores=0,2,4,6
/proc/7828/task/7845/stat : 7845 (java) S 7826 7828 6472 0 -1 4202560 3150 0 0 0 1 0 0 0 16 0 22 0 524967493 16084295680 143651 33554432000 1073741824 1073778376 140736387321536 18446744073709551615 218917546905 0 4 0 16800975 18446604453924251840 0 0 -1 6 0 0 0
[pid=7828/tid=7846] ppid=7826 vsize=15707320 CPUtime=0.01 cores=0,2,4,6
/proc/7828/task/7846/stat : 7846 (java) S 7826 7828 6472 0 -1 4202560 2620 0 0 0 1 0 0 0 15 0 22 0 524967493 16084295680 143651 33554432000 1073741824 1073778376 140736387321536 18446744073709551615 218917546905 0 4 0 16800975 18446604453924251840 0 0 -1 2 0 0 0

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

[pid=7828/tid=7868] ppid=7826 vsize=15707320 CPUtime=1048.64 cores=0,2,4,6
/proc/7828/task/7868/stat : 7868 (java) R 7826 7828 6472 0 -1 4202560 159064 0 0 0 104835 29 0 0 25 0 22 0 524967526 16084295680 79169 33554432000 1073741824 1073778376 140736387321536 18446744073709551615 18446744073699065939 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=7828/tid=7869] ppid=7826 vsize=15707320 CPUtime=1049.26 cores=0,2,4,6
/proc/7828/task/7869/stat : 7869 (java) S 7826 7828 6472 0 -1 4202560 165656 0 0 0 104895 31 0 0 25 0 22 0 524967526 16084295680 79169 33554432000 1073741824 1073778376 140736387321536 18446744073709551615 218917546905 0 4 0 16800975 18446604453924251840 0 0 -1 4 0 0 0
[pid=7828/tid=7870] ppid=7826 vsize=15707320 CPUtime=1048.91 cores=0,2,4,6
/proc/7828/task/7870/stat : 7870 (java) S 7826 7828 6472 0 -1 4202560 168344 0 0 0 104861 30 0 0 25 0 22 0 524967526 16084295680 79169 33554432000 1073741824 1073778376 140736387321536 18446744073709551615 218917546905 0 4 0 16800975 18446604453924251840 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4224.1
Current children cumulated vsize (KiB) 15707320

[startup+1122.3 s]
/proc/loadavg: 8.20 8.06 7.78 9/220 7997
/proc/meminfo: memFree=28376736/32951124 swapFree=67111356/67111528
[pid=7828] ppid=7826 vsize=15707320 CPUtime=4462.64 cores=0,2,4,6
/proc/7828/stat : 7828 (java) S 7826 7828 6472 0 -1 4202496 1281385 0 1 0 445942 322 0 0 18 0 22 0 524967491 16084295680 76627 33554432000 1073741824 1073778376 140736387321536 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/7828/statm: 3926830 76627 2298 9 0 3917549 0
[pid=7828/tid=7829] ppid=7826 vsize=15707320 CPUtime=0.56 cores=0,2,4,6
/proc/7828/task/7829/stat : 7829 (java) S 7826 7828 6472 0 -1 4202560 15031 0 1 0 53 3 0 0 18 0 22 0 524967492 16084295680 76627 33554432000 1073741824 1073778376 140736387321536 18446744073709551615 218917546905 0 4 0 16800975 18446604453924251840 0 0 -1 4 0 0 0
[pid=7828/tid=7839] ppid=7826 vsize=15707320 CPUtime=3.17 cores=0,2,4,6
/proc/7828/task/7839/stat : 7839 (java) S 7826 7828 6472 0 -1 4202560 69519 0 0 0 301 16 0 0 15 0 22 0 524967493 16084295680 76627 33554432000 1073741824 1073778376 140736387321536 18446744073709551615 218917546905 0 4 0 16800975 18446604453924251840 0 0 -1 6 0 0 0
[pid=7828/tid=7840] ppid=7826 vsize=15707320 CPUtime=3.11 cores=0,2,4,6
/proc/7828/task/7840/stat : 7840 (java) S 7826 7828 6472 0 -1 4202560 66071 0 0 0 295 16 0 0 15 0 22 0 524967493 16084295680 76627 33554432000 1073741824 1073778376 140736387321536 18446744073709551615 218917546905 0 4 0 16800975 18446604453924251840 0 0 -1 0 0 0 0
[pid=7828/tid=7841] ppid=7826 vsize=15707320 CPUtime=3.12 cores=0,2,4,6
/proc/7828/task/7841/stat : 7841 (java) S 7826 7828 6472 0 -1 4202560 69124 0 0 0 296 16 0 0 15 0 22 0 524967493 16084295680 76627 33554432000 1073741824 1073778376 140736387321536 18446744073709551615 218917546905 0 4 0 16800975 18446604453924251840 0 0 -1 0 0 0 0
[pid=7828/tid=7842] ppid=7826 vsize=15707320 CPUtime=3.16 cores=0,2,4,6
/proc/7828/task/7842/stat : 7842 (java) S 7826 7828 6472 0 -1 4202560 67020 0 0 0 302 14 0 0 15 0 22 0 524967493 16084295680 76627 33554432000 1073741824 1073778376 140736387321536 18446744073709551615 218917546905 0 4 0 16800975 18446604453924251840 0 0 -1 0 0 0 0
[pid=7828/tid=7843] ppid=7826 vsize=15707320 CPUtime=3.14 cores=0,2,4,6
/proc/7828/task/7843/stat : 7843 (java) S 7826 7828 6472 0 -1 4202560 70628 0 0 0 299 15 0 0 15 0 22 0 524967493 16084295680 76627 33554432000 1073741824 1073778376 140736387321536 18446744073709551615 218917546905 0 4 0 16800975 18446604453924251840 0 0 -1 4 0 0 0
[pid=7828/tid=7844] ppid=7826 vsize=15707320 CPUtime=3.15 cores=0,2,4,6
/proc/7828/task/7844/stat : 7844 (java) S 7826 7828 6472 0 -1 4202560 66896 0 0 0 298 17 0 0 16 0 22 0 524967493 16084295680 76627 33554432000 1073741824 1073778376 140736387321536 18446744073709551615 218917546905 0 4 0 16800975 18446604453924251840 0 0 -1 2 0 0 0
[pid=7828/tid=7845] ppid=7826 vsize=15707320 CPUtime=3.09 cores=0,2,4,6
/proc/7828/task/7845/stat : 7845 (java) S 7826 7828 6472 0 -1 4202560 67735 0 0 0 293 16 0 0 15 0 22 0 524967493 16084295680 76627 33554432000 1073741824 1073778376 140736387321536 18446744073709551615 218917546905 0 4 0 16800975 18446604453924251840 0 0 -1 4 0 0 0
[pid=7828/tid=7846] ppid=7826 vsize=15707320 CPUtime=3.07 cores=0,2,4,6
/proc/7828/task/7846/stat : 7846 (java) S 7826 7828 6472 0 -1 4202560 67696 0 0 0 291 16 0 0 15 0 22 0 524967493 16084295680 76627 33554432000 1073741824 1073778376 140736387321536 18446744073709551615 218917546905 0 4 0 16800975 18446604453924251840 0 0 -1 6 0 0 0
[pid=7828/tid=7850] ppid=7826 vsize=15707320 CPUtime=1.96 cores=0,2,4,6
/proc/7828/task/7850/stat : 7850 (java) S 7826 7828 6472 0 -1 4202560 3166 0 0 0 139 57 0 0 15 0 22 0 524967494 16084295680 76627 33554432000 1073741824 1073778376 140736387321536 18446744073709551615 218917547520 0 0 0 16800975 18446604453924251840 0 0 -1 6 0 0 0
[pid=7828/tid=7851] ppid=7826 vsize=15707320 CPUtime=0 cores=0,2,4,6
/proc/7828/task/7851/stat : 7851 (java) S 7826 7828 6472 0 -1 4202560 16 0 0 0 0 0 0 0 17 0 22 0 524967494 16084295680 76627 33554432000 1073741824 1073778376 140736387321536 18446744073709551615 218917546905 0 4 0 16800975 18446604453924251840 0 0 -1 6 0 0 0
[pid=7828/tid=7852] ppid=7826 vsize=15707320 CPUtime=0 cores=0,2,4,6
/proc/7828/task/7852/stat : 7852 (java) S 7826 7828 6472 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 524967494 16084295680 76627 33554432000 1073741824 1073778376 140736387321536 18446744073709551615 218917546905 0 4 0 16800975 18446604453924251840 0 0 -1 2 0 0 0
[pid=7828/tid=7858] ppid=7826 vsize=15707320 CPUtime=0 cores=0,2,4,6
/proc/7828/task/7858/stat : 7858 (java) S 7826 7828 6472 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 524967497 16084295680 76627 33554432000 1073741824 1073778376 140736387321536 18446744073709551615 218917554609 0 4 0 16800975 18446604453924251840 0 0 -1 4 0 0 0
[pid=7828/tid=7859] ppid=7826 vsize=15707320 CPUtime=0.98 cores=0,2,4,6
/proc/7828/task/7859/stat : 7859 (java) S 7826 7828 6472 0 -1 4202560 8757 0 0 0 97 1 0 0 15 0 22 0 524967497 16084295680 76627 33554432000 1073741824 1073778376 140736387321536 18446744073709551615 218917546905 0 4 0 16800975 18446604453924251840 0 0 -1 2 0 0 0
[pid=7828/tid=7860] ppid=7826 vsize=15707320 CPUtime=1.5 cores=0,2,4,6
/proc/7828/task/7860/stat : 7860 (java) S 7826 7828 6472 0 -1 4202560 16497 0 0 0 148 2 0 0 15 0 22 0 524967497 16084295680 76627 33554432000 1073741824 1073778376 140736387321536 18446744073709551615 218917546905 0 4 0 16800975 18446604453924251840 0 0 -1 4 0 0 0
[pid=7828/tid=7861] ppid=7826 vsize=15707320 CPUtime=0 cores=0,2,4,6
/proc/7828/task/7861/stat : 7861 (java) S 7826 7828 6472 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 524967497 16084295680 76627 33554432000 1073741824 1073778376 140736387321536 18446744073709551615 218917546905 0 4 0 16800975 18446604453924251840 0 0 -1 4 0 0 0
[pid=7828/tid=7862] ppid=7826 vsize=15707320 CPUtime=0 cores=0,2,4,6
/proc/7828/task/7862/stat : 7862 (java) S 7826 7828 6472 0 -1 4202560 60 0 0 0 0 0 0 0 15 0 22 0 524967497 16084295680 76627 33554432000 1073741824 1073778376 140736387321536 18446744073709551615 218917547520 0 4 0 16800975 18446604453924251840 0 0 -1 0 0 0 0
[pid=7828/tid=7867] ppid=7826 vsize=15707320 CPUtime=1107.74 cores=0,2,4,6
/proc/7828/task/7867/stat : 7867 (java) R 7826 7828 6472 0 -1 4202560 174136 0 0 0 110744 30 0 0 25 0 22 0 524967526 16084295680 76627 33554432000 1073741824 1073778376 140736387321536 18446744073709551615 46912505811798 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=7828/tid=7868] ppid=7826 vsize=15707320 CPUtime=1107.94 cores=0,2,4,6
/proc/7828/task/7868/stat : 7868 (java) R 7826 7828 6472 0 -1 4202560 167312 0 0 0 110763 31 0 0 25 0 22 0 524967526 16084295680 76627 33554432000 1073741824 1073778376 140736387321536 18446744073709551615 47571406440229 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=7828/tid=7869] ppid=7826 vsize=15707320 CPUtime=1108.55 cores=0,2,4,6
/proc/7828/task/7869/stat : 7869 (java) R 7826 7828 6472 0 -1 4202560 173550 0 0 0 110822 33 0 0 25 0 22 0 524967526 16084295680 76627 33554432000 1073741824 1073778376 140736387321536 18446744073709551615 46912505966520 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=7828/tid=7870] ppid=7826 vsize=15707320 CPUtime=1108.23 cores=0,2,4,6
/proc/7828/task/7870/stat : 7870 (java) R 7826 7828 6472 0 -1 4202560 176805 0 0 0 110792 31 0 0 25 0 22 0 524967526 16084295680 76627 33554432000 1073741824 1073778376 140736387321536 18446744073709551615 46912505870217 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4462.64
Current children cumulated vsize (KiB) 15707320

[startup+1182.3 s]
/proc/loadavg: 8.11 8.06 7.80 9/220 7999
/proc/meminfo: memFree=28394888/32951124 swapFree=67111356/67111528
[pid=7828] ppid=7826 vsize=15707320 CPUtime=4701.23 cores=0,2,4,6
/proc/7828/stat : 7828 (java) S 7826 7828 6472 0 -1 4202496 1346766 0 1 0 469785 338 0 0 18 0 22 0 524967491 16084295680 71891 33554432000 1073741824 1073778376 140736387321536 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/7828/statm: 3926830 71891 2298 9 0 3917549 0
[pid=7828/tid=7829] ppid=7826 vsize=15707320 CPUtime=0.56 cores=0,2,4,6
/proc/7828/task/7829/stat : 7829 (java) S 7826 7828 6472 0 -1 4202560 15031 0 1 0 53 3 0 0 18 0 22 0 524967492 16084295680 71891 33554432000 1073741824 1073778376 140736387321536 18446744073709551615 218917546905 0 4 0 16800975 18446604453924251840 0 0 -1 4 0 0 0
[pid=7828/tid=7839] ppid=7826 vsize=15707320 CPUtime=3.34 cores=0,2,4,6
/proc/7828/task/7839/stat : 7839 (java) S 7826 7828 6472 0 -1 4202560 72404 0 0 0 317 17 0 0 15 0 22 0 524967493 16084295680 71891 33554432000 1073741824 1073778376 140736387321536 18446744073709551615 218917546905 0 4 0 16800975 18446604453924251840 0 0 -1 2 0 0 0
[pid=7828/tid=7840] ppid=7826 vsize=15707320 CPUtime=3.27 cores=0,2,4,6
/proc/7828/task/7840/stat : 7840 (java) S 7826 7828 6472 0 -1 4202560 68441 0 0 0 311 16 0 0 15 0 22 0 524967493 16084295680 71891 33554432000 1073741824 1073778376 140736387321536 18446744073709551615 218917546905 0 4 0 16800975 18446604453924251840 0 0 -1 6 0 0 0
[pid=7828/tid=7841] ppid=7826 vsize=15707320 CPUtime=3.29 cores=0,2,4,6
/proc/7828/task/7841/stat : 7841 (java) S 7826 7828 6472 0 -1 4202560 71911 0 0 0 312 17 0 0 16 0 22 0 524967493 16084295680 71891 33554432000 1073741824 1073778376 140736387321536 18446744073709551615 218917546905 0 4 0 16800975 18446604453924251840 0 0 -1 4 0 0 0
[pid=7828/tid=7842] ppid=7826 vsize=15707320 CPUtime=3.32 cores=0,2,4,6
/proc/7828/task/7842/stat : 7842 (java) S 7826 7828 6472 0 -1 4202560 69618 0 0 0 317 15 0 0 16 0 22 0 524967493 16084295680 71891 33554432000 1073741824 1073778376 140736387321536 18446744073709551615 218917546905 0 4 0 16800975 18446604453924251840 0 0 -1 6 0 0 0
[pid=7828/tid=7843] ppid=7826 vsize=15707320 CPUtime=3.3 cores=0,2,4,6
/proc/7828/task/7843/stat : 7843 (java) S 7826 7828 6472 0 -1 4202560 73227 0 0 0 315 15 0 0 15 0 22 0 524967493 16084295680 71891 33554432000 1073741824 1073778376 140736387321536 18446744073709551615 218917546905 0 4 0 16800975 18446604453924251840 0 0 -1 0 0 0 0
[pid=7828/tid=7844] ppid=7826 vsize=15707320 CPUtime=3.32 cores=0,2,4,6
/proc/7828/task/7844/stat : 7844 (java) S 7826 7828 6472 0 -1 4202560 69659 0 0 0 315 17 0 0 15 0 22 0 524967493 16084295680 71891 33554432000 1073741824 1073778376 140736387321536 18446744073709551615 218917546905 0 4 0 16800975 18446604453924251840 0 0 -1 2 0 0 0
[pid=7828/tid=7845] ppid=7826 vsize=15707320 CPUtime=3.26 cores=0,2,4,6
/proc/7828/task/7845/stat : 7845 (java) S 7826 7828 6472 0 -1 4202560 69831 0 0 0 309 17 0 0 15 0 22 0 524967493 16084295680 71891 33554432000 1073741824 1073778376 140736387321536 18446744073709551615 218917546905 0 4 0 16800975 18446604453924251840 0 0 -1 0 0 0 0
[pid=7828/tid=7846] ppid=7826 vsize=15707320 CPUtime=3.25 cores=0,2,4,6
/proc/7828/task/7846/stat : 7846 (java) S 7826 7828 6472 0 -1 4202560 70661 0 0 0 308 17 0 0 15 0 22 0 524967493 16084295680 71891 33554432000 1073741824 1073778376 140736387321536 18446744073709551615 218917546905 0 4 0 16800975 18446604453924251840 0 0 -1 0 0 0 0
[pid=7828/tid=7850] ppid=7826 vsize=15707320 CPUtime=2.1 cores=0,2,4,6
/proc/7828/task/7850/stat : 7850 (java) S 7826 7828 6472 0 -1 4202560 3344 0 0 0 148 62 0 0 15 0 22 0 524967494 16084295680 71891 33554432000 1073741824 1073778376 140736387321536 18446744073709551615 218917547520 0 0 0 16800975 18446604453924251840 0 0 -1 0 0 0 0
[pid=7828/tid=7851] ppid=7826 vsize=15707320 CPUtime=0 cores=0,2,4,6
/proc/7828/task/7851/stat : 7851 (java) S 7826 7828 6472 0 -1 4202560 16 0 0 0 0 0 0 0 17 0 22 0 524967494 16084295680 71891 33554432000 1073741824 1073778376 140736387321536 18446744073709551615 218917546905 0 4 0 16800975 18446604453924251840 0 0 -1 6 0 0 0
[pid=7828/tid=7852] ppid=7826 vsize=15707320 CPUtime=0 cores=0,2,4,6
/proc/7828/task/7852/stat : 7852 (java) S 7826 7828 6472 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 524967494 16084295680 71891 33554432000 1073741824 1073778376 140736387321536 18446744073709551615 218917546905 0 4 0 16800975 18446604453924251840 0 0 -1 2 0 0 0
[pid=7828/tid=7858] ppid=7826 vsize=15707320 CPUtime=0 cores=0,2,4,6
/proc/7828/task/7858/stat : 7858 (java) S 7826 7828 6472 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 524967497 16084295680 71891 33554432000 1073741824 1073778376 140736387321536 18446744073709551615 218917554609 0 4 0 16800975 18446604453924251840 0 0 -1 4 0 0 0
[pid=7828/tid=7859] ppid=7826 vsize=15707320 CPUtime=0.98 cores=0,2,4,6
/proc/7828/task/7859/stat : 7859 (java) S 7826 7828 6472 0 -1 4202560 8757 0 0 0 97 1 0 0 15 0 22 0 524967497 16084295680 71891 33554432000 1073741824 1073778376 140736387321536 18446744073709551615 218917546905 0 4 0 16800975 18446604453924251840 0 0 -1 2 0 0 0
[pid=7828/tid=7860] ppid=7826 vsize=15707320 CPUtime=1.5 cores=0,2,4,6
/proc/7828/task/7860/stat : 7860 (java) S 7826 7828 6472 0 -1 4202560 16497 0 0 0 148 2 0 0 15 0 22 0 524967497 16084295680 71891 33554432000 1073741824 1073778376 140736387321536 18446744073709551615 218917546905 0 4 0 16800975 18446604453924251840 0 0 -1 4 0 0 0
[pid=7828/tid=7861] ppid=7826 vsize=15707320 CPUtime=0 cores=0,2,4,6
/proc/7828/task/7861/stat : 7861 (java) S 7826 7828 6472 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 524967497 16084295680 71891 33554432000 1073741824 1073778376 140736387321536 18446744073709551615 218917546905 0 4 0 16800975 18446604453924251840 0 0 -1 4 0 0 0
[pid=7828/tid=7862] ppid=7826 vsize=15707320 CPUtime=0 cores=0,2,4,6
/proc/7828/task/7862/stat : 7862 (java) S 7826 7828 6472 0 -1 4202560 62 0 0 0 0 0 0 0 15 0 22 0 524967497 16084295680 71891 33554432000 1073741824 1073778376 140736387321536 18446744073709551615 218917547520 0 4 0 16800975 18446604453924251840 0 0 -1 0 0 0 0
[pid=7828/tid=7867] ppid=7826 vsize=15707320 CPUtime=1166.99 cores=0,2,4,6
/proc/7828/task/7867/stat : 7867 (java) R 7826 7828 6472 0 -1 4202560 185103 0 0 0 116667 32 0 0 25 0 22 0 524967526 16084295680 71891 33554432000 1073741824 1073778376 140736387321536 18446744073709551615 18446744073699066057 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=7828/tid=7868] ppid=7826 vsize=15707320 CPUtime=1167.14 cores=0,2,4,6
/proc/7828/task/7868/stat : 7868 (java) R 7826 7828 6472 0 -1 4202560 178699 0 0 0 116681 33 0 0 25 0 22 0 524967526 16084295680 71891 33554432000 1073741824 1073778376 140736387321536 18446744073709551615 46912505811795 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=7828/tid=7869] ppid=7826 vsize=15707320 CPUtime=1167.84 cores=0,2,4,6
/proc/7828/task/7869/stat : 7869 (java) R 7826 7828 6472 0 -1 4202560 184138 0 0 0 116749 35 0 0 25 0 22 0 524967526 16084295680 71891 33554432000 1073741824 1073778376 140736387321536 18446744073709551615 46912505811647 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=7828/tid=7870] ppid=7826 vsize=15707320 CPUtime=1167.6 cores=0,2,4,6
/proc/7828/task/7870/stat : 7870 (java) R 7826 7828 6472 0 -1 4202560 188001 0 0 0 116728 32 0 0 25 0 22 0 524967526 16084295680 71891 33554432000 1073741824 1073778376 140736387321536 18446744073709551615 46912505819173 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4701.23
Current children cumulated vsize (KiB) 15707320



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1207.2 s]
/proc/loadavg: 8.07 8.06 7.80 9/220 8000
/proc/meminfo: memFree=28271468/32951124 swapFree=67111356/67111528
[pid=7828] ppid=7826 vsize=15707320 CPUtime=4800.27 cores=0,2,4,6
/proc/7828/stat : 7828 (java) S 7826 7828 6472 0 -1 4202496 1387924 0 1 0 479682 345 0 0 18 0 22 0 524967491 16084295680 90215 33554432000 1073741824 1073778376 140736387321536 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/7828/statm: 3926830 90215 2298 9 0 3917549 0
[pid=7828/tid=7829] ppid=7826 vsize=15707320 CPUtime=0.56 cores=0,2,4,6
/proc/7828/task/7829/stat : 7829 (java) S 7826 7828 6472 0 -1 4202560 15031 0 1 0 53 3 0 0 18 0 22 0 524967492 16084295680 90215 33554432000 1073741824 1073778376 140736387321536 18446744073709551615 218917546905 0 4 0 16800975 18446604453924251840 0 0 -1 4 0 0 0
[pid=7828/tid=7839] ppid=7826 vsize=15707320 CPUtime=3.4 cores=0,2,4,6
/proc/7828/task/7839/stat : 7839 (java) S 7826 7828 6472 0 -1 4202560 74520 0 0 0 323 17 0 0 15 0 22 0 524967493 16084295680 90215 33554432000 1073741824 1073778376 140736387321536 18446744073709551615 218917546905 0 4 0 16800975 18446604453924251840 0 0 -1 4 0 0 0
[pid=7828/tid=7840] ppid=7826 vsize=15707320 CPUtime=3.34 cores=0,2,4,6
/proc/7828/task/7840/stat : 7840 (java) S 7826 7828 6472 0 -1 4202560 71061 0 0 0 318 16 0 0 15 0 22 0 524967493 16084295680 90215 33554432000 1073741824 1073778376 140736387321536 18446744073709551615 218917546905 0 4 0 16800975 18446604453924251840 0 0 -1 0 0 0 0
[pid=7828/tid=7841] ppid=7826 vsize=15707320 CPUtime=3.36 cores=0,2,4,6
/proc/7828/task/7841/stat : 7841 (java) S 7826 7828 6472 0 -1 4202560 74876 0 0 0 319 17 0 0 15 0 22 0 524967493 16084295680 90215 33554432000 1073741824 1073778376 140736387321536 18446744073709551615 218917546905 0 4 0 16800975 18446604453924251840 0 0 -1 6 0 0 0
[pid=7828/tid=7842] ppid=7826 vsize=15707320 CPUtime=3.39 cores=0,2,4,6
/proc/7828/task/7842/stat : 7842 (java) S 7826 7828 6472 0 -1 4202560 71518 0 0 0 324 15 0 0 15 0 22 0 524967493 16084295680 90215 33554432000 1073741824 1073778376 140736387321536 18446744073709551615 218917546905 0 4 0 16800975 18446604453924251840 0 0 -1 2 0 0 0
[pid=7828/tid=7843] ppid=7826 vsize=15707320 CPUtime=3.37 cores=0,2,4,6
/proc/7828/task/7843/stat : 7843 (java) S 7826 7828 6472 0 -1 4202560 75198 0 0 0 321 16 0 0 15 0 22 0 524967493 16084295680 90215 33554432000 1073741824 1073778376 140736387321536 18446744073709551615 218917546905 0 4 0 16800975 18446604453924251840 0 0 -1 4 0 0 0
[pid=7828/tid=7844] ppid=7826 vsize=15707320 CPUtime=3.4 cores=0,2,4,6
/proc/7828/task/7844/stat : 7844 (java) S 7826 7828 6472 0 -1 4202560 71936 0 0 0 322 18 0 0 15 0 22 0 524967493 16084295680 90215 33554432000 1073741824 1073778376 140736387321536 18446744073709551615 218917546905 0 4 0 16800975 18446604453924251840 0 0 -1 6 0 0 0
[pid=7828/tid=7845] ppid=7826 vsize=15707320 CPUtime=3.33 cores=0,2,4,6
/proc/7828/task/7845/stat : 7845 (java) S 7826 7828 6472 0 -1 4202560 71595 0 0 0 315 18 0 0 15 0 22 0 524967493 16084295680 90215 33554432000 1073741824 1073778376 140736387321536 18446744073709551615 218917546905 0 4 0 16800975 18446604453924251840 0 0 -1 2 0 0 0
[pid=7828/tid=7846] ppid=7826 vsize=15707320 CPUtime=3.31 cores=0,2,4,6
/proc/7828/task/7846/stat : 7846 (java) S 7826 7828 6472 0 -1 4202560 72915 0 0 0 314 17 0 0 15 0 22 0 524967493 16084295680 90215 33554432000 1073741824 1073778376 140736387321536 18446744073709551615 218917546905 0 4 0 16800975 18446604453924251840 0 0 -1 4 0 0 0
[pid=7828/tid=7850] ppid=7826 vsize=15707320 CPUtime=2.13 cores=0,2,4,6
/proc/7828/task/7850/stat : 7850 (java) S 7826 7828 6472 0 -1 4202560 3445 0 0 0 150 63 0 0 15 0 22 0 524967494 16084295680 90215 33554432000 1073741824 1073778376 140736387321536 18446744073709551615 218917547520 0 0 0 16800975 18446604453924251840 0 0 -1 6 0 0 0
[pid=7828/tid=7851] ppid=7826 vsize=15707320 CPUtime=0 cores=0,2,4,6
/proc/7828/task/7851/stat : 7851 (java) S 7826 7828 6472 0 -1 4202560 16 0 0 0 0 0 0 0 17 0 22 0 524967494 16084295680 90215 33554432000 1073741824 1073778376 140736387321536 18446744073709551615 218917546905 0 4 0 16800975 18446604453924251840 0 0 -1 6 0 0 0
[pid=7828/tid=7852] ppid=7826 vsize=15707320 CPUtime=0 cores=0,2,4,6
/proc/7828/task/7852/stat : 7852 (java) S 7826 7828 6472 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 524967494 16084295680 90215 33554432000 1073741824 1073778376 140736387321536 18446744073709551615 218917546905 0 4 0 16800975 18446604453924251840 0 0 -1 2 0 0 0
[pid=7828/tid=7858] ppid=7826 vsize=15707320 CPUtime=0 cores=0,2,4,6
/proc/7828/task/7858/stat : 7858 (java) S 7826 7828 6472 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 524967497 16084295680 90215 33554432000 1073741824 1073778376 140736387321536 18446744073709551615 218917554609 0 4 0 16800975 18446604453924251840 0 0 -1 4 0 0 0
[pid=7828/tid=7859] ppid=7826 vsize=15707320 CPUtime=0.98 cores=0,2,4,6
/proc/7828/task/7859/stat : 7859 (java) S 7826 7828 6472 0 -1 4202560 8757 0 0 0 97 1 0 0 15 0 22 0 524967497 16084295680 90215 33554432000 1073741824 1073778376 140736387321536 18446744073709551615 218917546905 0 4 0 16800975 18446604453924251840 0 0 -1 2 0 0 0
[pid=7828/tid=7860] ppid=7826 vsize=15707320 CPUtime=1.5 cores=0,2,4,6
/proc/7828/task/7860/stat : 7860 (java) S 7826 7828 6472 0 -1 4202560 16497 0 0 0 148 2 0 0 15 0 22 0 524967497 16084295680 90215 33554432000 1073741824 1073778376 140736387321536 18446744073709551615 218917546905 0 4 0 16800975 18446604453924251840 0 0 -1 4 0 0 0
[pid=7828/tid=7861] ppid=7826 vsize=15707320 CPUtime=0 cores=0,2,4,6
/proc/7828/task/7861/stat : 7861 (java) S 7826 7828 6472 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 524967497 16084295680 90215 33554432000 1073741824 1073778376 140736387321536 18446744073709551615 218917546905 0 4 0 16800975 18446604453924251840 0 0 -1 4 0 0 0
[pid=7828/tid=7862] ppid=7826 vsize=15707320 CPUtime=0 cores=0,2,4,6
/proc/7828/task/7862/stat : 7862 (java) S 7826 7828 6472 0 -1 4202560 62 0 0 0 0 0 0 0 15 0 22 0 524967497 16084295680 90215 33554432000 1073741824 1073778376 140736387321536 18446744073709551615 218917547520 0 4 0 16800975 18446604453924251840 0 0 -1 0 0 0 0
[pid=7828/tid=7867] ppid=7826 vsize=15707320 CPUtime=1191.62 cores=0,2,4,6
/proc/7828/task/7867/stat : 7867 (java) R 7826 7828 6472 0 -1 4202560 191410 0 0 0 119129 33 0 0 25 0 22 0 524967526 16084295680 90215 33554432000 1073741824 1073778376 140736387321536 18446744073709551615 46912505819621 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=7828/tid=7868] ppid=7826 vsize=15707320 CPUtime=1191.78 cores=0,2,4,6
/proc/7828/task/7868/stat : 7868 (java) R 7826 7828 6472 0 -1 4202560 184359 0 0 0 119145 33 0 0 25 0 22 0 524967526 16084295680 90215 33554432000 1073741824 1073778376 140736387321536 18446744073709551615 47571406438936 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=7828/tid=7869] ppid=7826 vsize=15707320 CPUtime=1192.49 cores=0,2,4,6
/proc/7828/task/7869/stat : 7869 (java) R 7826 7828 6472 0 -1 4202560 190135 0 0 0 119213 36 0 0 25 0 22 0 524967526 16084295680 90215 33554432000 1073741824 1073778376 140736387321536 18446744073709551615 46912505934993 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=7828/tid=7870] ppid=7826 vsize=15707320 CPUtime=1192.16 cores=0,2,4,6
/proc/7828/task/7870/stat : 7870 (java) R 7826 7828 6472 0 -1 4202560 193227 0 0 0 119183 33 0 0 25 0 22 0 524967526 16084295680 90215 33554432000 1073741824 1073778376 140736387321536 18446744073709551615 18446744073699066094 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.27
Current children cumulated vsize (KiB) 15707320

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.23
CPU time (s): 4800.33
CPU user time (s): 4796.85
CPU system time (s): 3.47147
CPU usage (%): 397.63
Max. virtual memory (cumulated for all children) (KiB): 15710116

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4796.85
system time used= 3.47147
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1387950
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= 299239
involuntary context switches= 157932

runsolver used 2.08668 second user time and 4.53531 second system time

The end

Launcher Data 

Begin job on node137 at 2011-04-30 05:21:38
IDJOB=3311542
IDBENCH=82927
IDSOLVER=1698
FILE ID=node137/3311542-1304133698
RUNJOBID= node137-1304133698-7807
PBS_JOBID= 13170770
Free space on /tmp= 73212 MiB

SOLVER NAME= STRUCTure 0.1 (hbr=2)
BENCH NAME= SAT11/random/medium/unif-k7-r89-v80-c7120-S1639347701-083.SATISFIABLE.cnf
COMMAND LINE= run 15000 NBCORE TMPDIR DIR BENCHNAME -hbr 2
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3311542-1304133698/watcher-3311542-1304133698 -o /tmp/evaluation-result-3311542-1304133698/solver-3311542-1304133698 -C 4800 -W 1300 -M 15500  run 15000 4 HOME HOME HOME/instance-3311542-1304133698.cnf -hbr 2

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

MD5SUM BENCH= 409e3a755415661f5541c475b40a659c
RANDOM SEED=18844510

node137.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      29029160 kB
Buffers:        912832 kB
Cached:        2490764 kB
SwapCached:         48 kB
Active:         150668 kB
Inactive:      3317132 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29029160 kB
SwapTotal:    67111528 kB
SwapFree:     67111356 kB
Dirty:            3632 kB
Writeback:           0 kB
AnonPages:       64096 kB
Mapped:          16420 kB
Slab:           391776 kB
PageTables:       5084 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   206944 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= 73208 MiB
End job on node137 at 2011-04-30 05:41:47