Trace number 3313406

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.26 1205.69

General information on the benchmark

Nameapplication/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom12.cnf
MD5SUMf0a59aeb3af8016fb8ec53aa337c4836
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark7.66183
Satisfiable
(Un)Satisfiability was proved
Number of variables17298
Number of clauses57292
Sum of the clauses size145234
Maximum clause length615
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 230583
Number of clauses of size 326391
Number of clauses of size 477
Number of clauses of size 510
Number of clauses of size over 5230

Solver Data 

0.10/0.11	21:16 INFO : Reading from input HOME/instance-3313406-1304180475.cnf
0.62/0.49	Executor set job limit to 1000000
0.62/0.49	Executor set job limit to 1000000
0.62/0.49	Executor set job limit to 1000000
0.62/0.49	Executor set job limit to 1000000
0.62/0.49	Starting Executor!
0.62/0.49	Starting Executor!
0.62/0.49	Starting Executor!
0.62/0.49	Starting Executor!
2.08/1.19	21:17 INFO : Found 3522 xor gates
4.04/1.90	21:17 INFO : 15630 variables remaining out of 17298
4.04/1.90	21:17 INFO : 448498 literals remaining out of 160262

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

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

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


[startup+0 s]
/proc/loadavg: 7.25 7.72 7.88 5/198 15424
/proc/meminfo: memFree=15560716/32950904 swapFree=67082284/67111528
[pid=15424] ppid=15422 vsize=23028 CPUtime=0 cores=0,2,4,6
/proc/15424/stat : 15424 (java) R 15422 15424 15033 0 -1 4202496 1190 0 0 0 0 0 0 0 25 0 1 0 529647305 23580672 676 33554432000 1073741824 1073778376 140735917656736 18446744073709551615 237273957808 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/15424/statm: 5757 677 504 9 0 124 0

[startup+0.071559 s]
/proc/loadavg: 7.25 7.72 7.88 5/198 15424
/proc/meminfo: memFree=15560716/32950904 swapFree=67082284/67111528
[pid=15424] ppid=15422 vsize=15675316 CPUtime=0.06 cores=0,2,4,6
/proc/15424/stat : 15424 (java) S 15422 15424 15033 0 -1 4202496 4401 0 1 0 5 1 0 0 25 0 18 0 529647305 16051523584 3840 33554432000 1073741824 1073778376 140735917656736 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15424/statm: 3918829 3840 1779 9 0 3909548 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 15675316

[startup+0.108551 s]
/proc/loadavg: 7.25 7.72 7.88 5/198 15424
/proc/meminfo: memFree=15560716/32950904 swapFree=67082284/67111528
[pid=15424] ppid=15422 vsize=15741848 CPUtime=0.1 cores=0,2,4,6
/proc/15424/stat : 15424 (java) S 15422 15424 15033 0 -1 4202496 5722 0 1 0 9 1 0 0 25 0 18 0 529647305 16119652352 5126 33554432000 1073741824 1073778376 140735917656736 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15424/statm: 3935462 5126 2119 9 0 3926181 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15741848

[startup+0.300518 s]
/proc/loadavg: 7.25 7.72 7.88 5/198 15424
/proc/meminfo: memFree=15560716/32950904 swapFree=67082284/67111528
[pid=15424] ppid=15422 vsize=15745148 CPUtime=0.51 cores=0,2,4,6
/proc/15424/stat : 15424 (java) S 15422 15424 15033 0 -1 4202496 15979 0 1 0 49 2 0 0 25 0 18 0 529647305 16123031552 14400 33554432000 1073741824 1073778376 140735917656736 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15424/statm: 3936287 14407 2206 9 0 3927006 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 15745148

[startup+0.700445 s]
/proc/loadavg: 7.25 7.72 7.88 5/198 15424
/proc/meminfo: memFree=15560716/32950904 swapFree=67082284/67111528
[pid=15424] ppid=15422 vsize=15749260 CPUtime=1.18 cores=0,2,4,6
/proc/15424/stat : 15424 (java) S 15422 15424 15033 0 -1 4202496 45175 0 1 0 112 6 0 0 25 0 22 0 529647305 16127242240 41966 33554432000 1073741824 1073778376 140735917656736 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15424/statm: 3937315 41966 2253 9 0 3928034 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 15749260

[startup+1.50136 s]
/proc/loadavg: 7.25 7.72 7.88 7/220 15446
/proc/meminfo: memFree=15382228/32950904 swapFree=67082284/67111528
[pid=15424] ppid=15422 vsize=15759660 CPUtime=3.14 cores=0,2,4,6
/proc/15424/stat : 15424 (java) S 15422 15424 15033 0 -1 4202496 58674 0 1 0 306 8 0 0 25 0 22 0 529647305 16137891840 48951 33554432000 1073741824 1073778376 140735917656736 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15424/statm: 3939915 48951 2266 9 0 3930634 0
[pid=15424/tid=15426] ppid=15422 vsize=15759660 CPUtime=1.48 cores=0,2,4,6
/proc/15424/task/15426/stat : 15426 (java) R 15422 15424 15033 0 -1 4202560 35702 0 1 0 143 5 0 0 25 0 22 0 529647306 16137891840 48951 33554432000 1073741824 1073778376 140735917656736 18446744073709551615 46912506002540 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=15424/tid=15427] ppid=15422 vsize=15759660 CPUtime=0 cores=0,2,4,6
/proc/15424/task/15427/stat : 15427 (java) S 15422 15424 15033 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 529647306 16137891840 48951 33554432000 1073741824 1073778376 140735917656736 18446744073709551615 237290695577 0 4 0 16800975 18446604453954843072 0 0 -1 6 0 0 0
[pid=15424/tid=15428] ppid=15422 vsize=15759660 CPUtime=0 cores=0,2,4,6
/proc/15424/task/15428/stat : 15428 (java) S 15422 15424 15033 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 529647306 16137891840 48951 33554432000 1073741824 1073778376 140735917656736 18446744073709551615 237290695577 0 4 0 16800975 18446604453954843072 0 0 -1 6 0 0 0
[pid=15424/tid=15429] ppid=15422 vsize=15759660 CPUtime=0 cores=0,2,4,6
/proc/15424/task/15429/stat : 15429 (java) S 15422 15424 15033 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 529647306 16137891840 48951 33554432000 1073741824 1073778376 140735917656736 18446744073709551615 237290695577 0 4 0 16800975 18446604453954843072 0 0 -1 4 0 0 0
[pid=15424/tid=15430] ppid=15422 vsize=15759660 CPUtime=0 cores=0,2,4,6
/proc/15424/task/15430/stat : 15430 (java) S 15422 15424 15033 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 22 0 529647306 16137891840 48951 33554432000 1073741824 1073778376 140735917656736 18446744073709551615 237290695577 0 4 0 16800975 18446604453954843072 0 0 -1 4 0 0 0
[pid=15424/tid=15431] ppid=15422 vsize=15759660 CPUtime=0 cores=0,2,4,6
/proc/15424/task/15431/stat : 15431 (java) S 15422 15424 15033 0 -1 4202560 22 0 0 0 0 0 0 0 21 0 22 0 529647306 16137891840 48951 33554432000 1073741824 1073778376 140735917656736 18446744073709551615 237290695577 0 4 0 16800975 18446604453954843072 0 0 -1 2 0 0 0
[pid=15424/tid=15432] ppid=15422 vsize=15759660 CPUtime=0 cores=0,2,4,6
/proc/15424/task/15432/stat : 15432 (java) S 15422 15424 15033 0 -1 4202560 46 0 0 0 0 0 0 0 21 0 22 0 529647306 16137891840 48951 33554432000 1073741824 1073778376 140735917656736 18446744073709551615 237290695577 0 4 0 16800975 18446604453954843072 0 0 -1 4 0 0 0
[pid=15424/tid=15433] ppid=15422 vsize=15759660 CPUtime=0 cores=0,2,4,6
/proc/15424/task/15433/stat : 15433 (java) S 15422 15424 15033 0 -1 4202560 350 0 0 0 0 0 0 0 21 0 22 0 529647306 16137891840 48951 33554432000 1073741824 1073778376 140735917656736 18446744073709551615 237290695577 0 4 0 16800975 18446604453954843072 0 0 -1 0 0 0 0
[pid=15424/tid=15434] ppid=15422 vsize=15759660 CPUtime=0 cores=0,2,4,6
/proc/15424/task/15434/stat : 15434 (java) S 15422 15424 15033 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 529647306 16137891840 48951 33554432000 1073741824 1073778376 140735917656736 18446744073709551615 237290695577 0 4 0 16800975 18446604453954843072 0 0 -1 0 0 0 0
[pid=15424/tid=15435] ppid=15422 vsize=15759660 CPUtime=0 cores=0,2,4,6
/proc/15424/task/15435/stat : 15435 (java) S 15422 15424 15033 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 529647307 16137891840 48951 33554432000 1073741824 1073778376 140735917656736 18446744073709551615 237290696192 0 0 0 16800975 18446604453954843072 0 0 -1 6 0 0 0
[pid=15424/tid=15436] ppid=15422 vsize=15759660 CPUtime=0 cores=0,2,4,6
/proc/15424/task/15436/stat : 15436 (java) S 15422 15424 15033 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 22 0 529647308 16137891840 48951 33554432000 1073741824 1073778376 140735917656736 18446744073709551615 237290695577 0 4 0 16800975 18446604453954843072 0 0 -1 6 0 0 0
[pid=15424/tid=15437] ppid=15422 vsize=15759660 CPUtime=0 cores=0,2,4,6
/proc/15424/task/15437/stat : 15437 (java) S 15422 15424 15033 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 22 0 529647308 16137891840 48951 33554432000 1073741824 1073778376 140735917656736 18446744073709551615 237290695577 0 4 0 16800975 18446604453954843072 0 0 -1 6 0 0 0
[pid=15424/tid=15438] ppid=15422 vsize=15759660 CPUtime=0 cores=0,2,4,6
/proc/15424/task/15438/stat : 15438 (java) S 15422 15424 15033 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529647310 16137891840 48951 33554432000 1073741824 1073778376 140735917656736 18446744073709551615 237290703281 0 4 0 16800975 18446604453954843072 0 0 -1 6 0 0 0
[pid=15424/tid=15439] ppid=15422 vsize=15759660 CPUtime=1.04 cores=0,2,4,6
/proc/15424/task/15439/stat : 15439 (java) S 15422 15424 15033 0 -1 4202560 17345 0 0 0 103 1 0 0 25 0 22 0 529647310 16137891840 48951 33554432000 1073741824 1073778376 140735917656736 18446744073709551615 237290695577 0 4 0 16800975 18446604453954843072 0 0 -1 2 0 0 0
[pid=15424/tid=15440] ppid=15422 vsize=15759660 CPUtime=0.59 cores=0,2,4,6
/proc/15424/task/15440/stat : 15440 (java) S 15422 15424 15033 0 -1 4202560 3765 0 0 0 59 0 0 0 19 0 22 0 529647310 16137891840 48951 33554432000 1073741824 1073778376 140735917656736 18446744073709551615 237290695577 0 4 0 16800975 18446604453954843072 0 0 -1 6 0 0 0
[pid=15424/tid=15441] ppid=15422 vsize=15759660 CPUtime=0 cores=0,2,4,6
/proc/15424/task/15441/stat : 15441 (java) S 15422 15424 15033 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529647310 16137891840 48951 33554432000 1073741824 1073778376 140735917656736 18446744073709551615 237290695577 0 4 0 16800975 18446604453954843072 0 0 -1 6 0 0 0
[pid=15424/tid=15442] ppid=15422 vsize=15759660 CPUtime=0 cores=0,2,4,6
/proc/15424/task/15442/stat : 15442 (java) S 15422 15424 15033 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 529647310 16137891840 48951 33554432000 1073741824 1073778376 140735917656736 18446744073709551615 237290696192 0 4 0 16800975 18446604453954843072 0 0 -1 0 0 0 0
[pid=15424/tid=15443] ppid=15422 vsize=15759660 CPUtime=0 cores=0,2,4,6
/proc/15424/task/15443/stat : 15443 (java) S 15422 15424 15033 0 -1 4202560 18 0 0 0 0 0 0 0 16 0 22 0 529647355 16137891840 48951 33554432000 1073741824 1073778376 140735917656736 18446744073709551615 237290696192 0 4 0 16800975 18446604453954843072 0 0 -1 0 0 0 0
[pid=15424/tid=15444] ppid=15422 vsize=15759660 CPUtime=0 cores=0,2,4,6
/proc/15424/task/15444/stat : 15444 (java) S 15422 15424 15033 0 -1 4202560 10 0 0 0 0 0 0 0 16 0 22 0 529647355 16137891840 48951 33554432000 1073741824 1073778376 140735917656736 18446744073709551615 237290696192 0 4 0 16800975 18446604453954843072 0 0 -1 0 0 0 0
[pid=15424/tid=15445] ppid=15422 vsize=15759660 CPUtime=0 cores=0,2,4,6
/proc/15424/task/15445/stat : 15445 (java) S 15422 15424 15033 0 -1 4202560 7 0 0 0 0 0 0 0 16 0 22 0 529647355 16137891840 48951 33554432000 1073741824 1073778376 140735917656736 18446744073709551615 237290696192 0 4 0 16800975 18446604453954843072 0 0 -1 0 0 0 0
[pid=15424/tid=15446] ppid=15422 vsize=15759660 CPUtime=0 cores=0,2,4,6
/proc/15424/task/15446/stat : 15446 (java) S 15422 15424 15033 0 -1 4202560 7 0 0 0 0 0 0 0 16 0 22 0 529647355 16137891840 48951 33554432000 1073741824 1073778376 140735917656736 18446744073709551615 237290696192 0 4 0 16800975 18446604453954843072 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.14
Current children cumulated vsize (KiB) 15759660

[startup+3.10102 s]
/proc/loadavg: 7.25 7.72 7.88 6/220 15446
/proc/meminfo: memFree=15371196/32950904 swapFree=67082284/67111528
[pid=15424] ppid=15422 vsize=15760264 CPUtime=6.15 cores=0,2,4,6
/proc/15424/stat : 15424 (java) S 15422 15424 15033 0 -1 4202496 74242 0 1 0 605 10 0 0 25 0 22 0 529647305 16138510336 64429 33554432000 1073741824 1073778376 140735917656736 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15424/statm: 3940066 64429 2277 9 0 3930785 0
[pid=15424/tid=15426] ppid=15422 vsize=15760264 CPUtime=1.88 cores=0,2,4,6
/proc/15424/task/15426/stat : 15426 (java) S 15422 15424 15033 0 -1 4202560 35742 0 1 0 183 5 0 0 25 0 22 0 529647306 16138510336 64429 33554432000 1073741824 1073778376 140735917656736 18446744073709551615 237290695577 0 4 0 16800975 18446604453954843072 0 0 -1 4 0 0 0
[pid=15424/tid=15427] ppid=15422 vsize=15760264 CPUtime=0 cores=0,2,4,6
/proc/15424/task/15427/stat : 15427 (java) S 15422 15424 15033 0 -1 4202560 2020 0 0 0 0 0 0 0 15 0 22 0 529647306 16138510336 64429 33554432000 1073741824 1073778376 140735917656736 18446744073709551615 237290695577 0 4 0 16800975 18446604453954843072 0 0 -1 0 0 0 0
[pid=15424/tid=15428] ppid=15422 vsize=15760264 CPUtime=0 cores=0,2,4,6
/proc/15424/task/15428/stat : 15428 (java) S 15422 15424 15033 0 -1 4202560 145 0 0 0 0 0 0 0 15 0 22 0 529647306 16138510336 64429 33554432000 1073741824 1073778376 140735917656736 18446744073709551615 237290695577 0 4 0 16800975 18446604453954843072 0 0 -1 2 0 0 0
[pid=15424/tid=15429] ppid=15422 vsize=15760264 CPUtime=0.01 cores=0,2,4,6
/proc/15424/task/15429/stat : 15429 (java) S 15422 15424 15033 0 -1 4202560 3083 0 0 0 1 0 0 0 16 0 22 0 529647306 16138510336 64429 33554432000 1073741824 1073778376 140735917656736 18446744073709551615 237290695577 0 4 0 16800975 18446604453954843072 0 0 -1 2 0 0 0
[pid=15424/tid=15430] ppid=15422 vsize=15760264 CPUtime=0 cores=0,2,4,6
/proc/15424/task/15430/stat : 15430 (java) S 15422 15424 15033 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 22 0 529647306 16138510336 64429 33554432000 1073741824 1073778376 140735917656736 18446744073709551615 237290695577 0 4 0 16800975 18446604453954843072 0 0 -1 0 0 0 0
[pid=15424/tid=15431] ppid=15422 vsize=15760264 CPUtime=0.01 cores=0,2,4,6
/proc/15424/task/15431/stat : 15431 (java) S 15422 15424 15033 0 -1 4202560 2178 0 0 0 1 0 0 0 16 0 22 0 529647306 16138510336 64429 33554432000 1073741824 1073778376 140735917656736 18446744073709551615 237290695577 0 4 0 16800975 18446604453954843072 0 0 -1 6 0 0 0
[pid=15424/tid=15432] ppid=15422 vsize=15760264 CPUtime=0 cores=0,2,4,6
/proc/15424/task/15432/stat : 15432 (java) S 15422 15424 15033 0 -1 4202560 3233 0 0 0 0 0 0 0 16 0 22 0 529647306 16138510336 64429 33554432000 1073741824 1073778376 140735917656736 18446744073709551615 237290695577 0 4 0 16800975 18446604453954843072 0 0 -1 2 0 0 0
[pid=15424/tid=15433] ppid=15422 vsize=15760264 CPUtime=0 cores=0,2,4,6
/proc/15424/task/15433/stat : 15433 (java) S 15422 15424 15033 0 -1 4202560 2885 0 0 0 0 0 0 0 16 0 22 0 529647306 16138510336 64429 33554432000 1073741824 1073778376 140735917656736 18446744073709551615 237290695577 0 4 0 16800975 18446604453954843072 0 0 -1 0 0 0 0
[pid=15424/tid=15434] ppid=15422 vsize=15760264 CPUtime=0 cores=0,2,4,6
/proc/15424/task/15434/stat : 15434 (java) S 15422 15424 15033 0 -1 4202560 1818 0 0 0 0 0 0 0 15 0 22 0 529647306 16138510336 64429 33554432000 1073741824 1073778376 140735917656736 18446744073709551615 237290695577 0 4 0 16800975 18446604453954843072 0 0 -1 0 0 0 0
[pid=15424/tid=15435] ppid=15422 vsize=15760264 CPUtime=0 cores=0,2,4,6
/proc/15424/task/15435/stat : 15435 (java) S 15422 15424 15033 0 -1 4202560 75 0 0 0 0 0 0 0 15 0 22 0 529647307 16138510336 64429 33554432000 1073741824 1073778376 140735917656736 18446744073709551615 237290696192 0 0 0 16800975 18446604453954843072 0 0 -1 4 0 0 0
[pid=15424/tid=15436] ppid=15422 vsize=15760264 CPUtime=0 cores=0,2,4,6
/proc/15424/task/15436/stat : 15436 (java) S 15422 15424 15033 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 529647308 16138510336 64429 33554432000 1073741824 1073778376 140735917656736 18446744073709551615 237290695577 0 4 0 16800975 18446604453954843072 0 0 -1 0 0 0 0
[pid=15424/tid=15437] ppid=15422 vsize=15760264 CPUtime=0 cores=0,2,4,6
/proc/15424/task/15437/stat : 15437 (java) S 15422 15424 15033 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 529647308 16138510336 64429 33554432000 1073741824 1073778376 140735917656736 18446744073709551615 237290695577 0 4 0 16800975 18446604453954843072 0 0 -1 0 0 0 0
[pid=15424/tid=15438] ppid=15422 vsize=15760264 CPUtime=0 cores=0,2,4,6
/proc/15424/task/15438/stat : 15438 (java) S 15422 15424 15033 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529647310 16138510336 64429 33554432000 1073741824 1073778376 140735917656736 18446744073709551615 237290703281 0 4 0 16800975 18446604453954843072 0 0 -1 6 0 0 0
[pid=15424/tid=15439] ppid=15422 vsize=15760264 CPUtime=1.51 cores=0,2,4,6
/proc/15424/task/15439/stat : 15439 (java) S 15422 15424 15033 0 -1 4202560 17415 0 0 0 149 2 0 0 18 0 22 0 529647310 16138510336 64429 33554432000 1073741824 1073778376 140735917656736 18446744073709551615 237290695577 0 4 0 16800975 18446604453954843072 0 0 -1 6 0 0 0
[pid=15424/tid=15440] ppid=15422 vsize=15760264 CPUtime=1.06 cores=0,2,4,6
/proc/15424/task/15440/stat : 15440 (java) S 15422 15424 15033 0 -1 4202560 4203 0 0 0 106 0 0 0 15 0 22 0 529647310 16138510336 64429 33554432000 1073741824 1073778376 140735917656736 18446744073709551615 237290695577 0 4 0 16800975 18446604453954843072 0 0 -1 6 0 0 0
[pid=15424/tid=15441] ppid=15422 vsize=15760264 CPUtime=0 cores=0,2,4,6
/proc/15424/task/15441/stat : 15441 (java) S 15422 15424 15033 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529647310 16138510336 64429 33554432000 1073741824 1073778376 140735917656736 18446744073709551615 237290695577 0 4 0 16800975 18446604453954843072 0 0 -1 6 0 0 0
[pid=15424/tid=15442] ppid=15422 vsize=15760264 CPUtime=0 cores=0,2,4,6
/proc/15424/task/15442/stat : 15442 (java) S 15422 15424 15033 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 529647310 16138510336 64429 33554432000 1073741824 1073778376 140735917656736 18446744073709551615 237290696192 0 4 0 16800975 18446604453954843072 0 0 -1 6 0 0 0
[pid=15424/tid=15443] ppid=15422 vsize=15760264 CPUtime=0.45 cores=0,2,4,6
/proc/15424/task/15443/stat : 15443 (java) R 15422 15424 15033 0 -1 4202560 18 0 0 0 45 0 0 0 15 0 22 0 529647355 16138510336 64429 33554432000 1073741824 1073778376 140735917656736 18446744073709551615 46912506002379 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=15424/tid=15444] ppid=15422 vsize=15760264 CPUtime=0.29 cores=0,2,4,6
/proc/15424/task/15444/stat : 15444 (java) R 15422 15424 15033 0 -1 4202560 22 0 0 0 29 0 0 0 15 0 22 0 529647355 16138510336 64429 33554432000 1073741824 1073778376 140735917656736 18446744073709551615 46912505963820 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=15424/tid=15445] ppid=15422 vsize=15760264 CPUtime=0.33 cores=0,2,4,6
/proc/15424/task/15445/stat : 15445 (java) S 15422 15424 15033 0 -1 4202560 8 0 0 0 33 0 0 0 15 0 22 0 529647355 16138510336 64429 33554432000 1073741824 1073778376 140735917656736 18446744073709551615 237290696192 0 4 0 16800975 18446604453954843072 0 0 -1 6 0 0 0
[pid=15424/tid=15446] ppid=15422 vsize=15760264 CPUtime=0.49 cores=0,2,4,6
/proc/15424/task/15446/stat : 15446 (java) R 15422 15424 15033 0 -1 4202560 9 0 0 0 49 0 0 0 15 0 22 0 529647355 16138510336 64429 33554432000 1073741824 1073778376 140735917656736 18446744073709551615 46912506002384 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 15760264

[startup+6.30145 s]
/proc/loadavg: 6.99 7.66 7.86 9/220 15446
/proc/meminfo: memFree=14883752/32950904 swapFree=67082284/67111528
[pid=15424] ppid=15422 vsize=15760264 CPUtime=17.79 cores=0,2,4,6
/proc/15424/stat : 15424 (java) S 15422 15424 15033 0 -1 4202496 216559 0 1 0 1750 29 0 0 25 0 22 0 529647305 16138510336 205823 33554432000 1073741824 1073778376 140735917656736 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15424/statm: 3940066 205823 2277 9 0 3930785 0
[pid=15424/tid=15426] ppid=15422 vsize=15760264 CPUtime=1.88 cores=0,2,4,6
/proc/15424/task/15426/stat : 15426 (java) S 15422 15424 15033 0 -1 4202560 35742 0 1 0 183 5 0 0 25 0 22 0 529647306 16138510336 205823 33554432000 1073741824 1073778376 140735917656736 18446744073709551615 237290695577 0 4 0 16800975 18446604453954843072 0 0 -1 4 0 0 0
[pid=15424/tid=15427] ppid=15422 vsize=15760264 CPUtime=0.04 cores=0,2,4,6
/proc/15424/task/15427/stat : 15427 (java) S 15422 15424 15033 0 -1 4202560 13171 0 0 0 3 1 0 0 15 0 22 0 529647306 16138510336 205823 33554432000 1073741824 1073778376 140735917656736 18446744073709551615 237290695577 0 4 0 16800975 18446604453954843072 0 0 -1 6 0 0 0
[pid=15424/tid=15428] ppid=15422 vsize=15760264 CPUtime=0.04 cores=0,2,4,6
/proc/15424/task/15428/stat : 15428 (java) S 15422 15424 15033 0 -1 4202560 6834 0 0 0 3 1 0 0 15 0 22 0 529647306 16138510336 205823 33554432000 1073741824 1073778376 140735917656736 18446744073709551615 237290695577 0 4 0 16800975 18446604453954843072 0 0 -1 0 0 0 0
[pid=15424/tid=15429] ppid=15422 vsize=15760264 CPUtime=0.06 cores=0,2,4,6
/proc/15424/task/15429/stat : 15429 (java) S 15422 15424 15033 0 -1 4202560 9615 0 0 0 5 1 0 0 15 0 22 0 529647306 16138510336 205823 33554432000 1073741824 1073778376 140735917656736 18446744073709551615 237290695577 0 4 0 16800975 18446604453954843072 0 0 -1 6 0 0 0
[pid=15424/tid=15430] ppid=15422 vsize=15760264 CPUtime=0.06 cores=0,2,4,6
/proc/15424/task/15430/stat : 15430 (java) S 15422 15424 15033 0 -1 4202560 9264 0 0 0 5 1 0 0 16 0 22 0 529647306 16138510336 205823 33554432000 1073741824 1073778376 140735917656736 18446744073709551615 237290695577 0 4 0 16800975 18446604453954843072 0 0 -1 6 0 0 0
[pid=15424/tid=15431] ppid=15422 vsize=15760264 CPUtime=0.04 cores=0,2,4,6
/proc/15424/task/15431/stat : 15431 (java) S 15422 15424 15033 0 -1 4202560 9100 0 0 0 3 1 0 0 15 0 22 0 529647306 16138510336 205823 33554432000 1073741824 1073778376 140735917656736 18446744073709551615 237290695577 0 4 0 16800975 18446604453954843072 0 0 -1 2 0 0 0
[pid=15424/tid=15432] ppid=15422 vsize=15760264 CPUtime=0.06 cores=0,2,4,6
/proc/15424/task/15432/stat : 15432 (java) S 15422 15424 15033 0 -1 4202560 14394 0 0 0 5 1 0 0 16 0 22 0 529647306 16138510336 205823 33554432000 1073741824 1073778376 140735917656736 18446744073709551615 237290695577 0 4 0 16800975 18446604453954843072 0 0 -1 0 0 0 0
[pid=15424/tid=15433] ppid=15422 vsize=15760264 CPUtime=0.07 cores=0,2,4,6
/proc/15424/task/15433/stat : 15433 (java) S 15422 15424 15033 0 -1 4202560 13581 0 0 0 5 2 0 0 16 0 22 0 529647306 16138510336 205823 33554432000 1073741824 1073778376 140735917656736 18446744073709551615 237290695577 0 4 0 16800975 18446604453954843072 0 0 -1 6 0 0 0
[pid=15424/tid=15434] ppid=15422 vsize=15760264 CPUtime=0.04 cores=0,2,4,6
/proc/15424/task/15434/stat : 15434 (java) S 15422 15424 15033 0 -1 4202560 9507 0 0 0 3 1 0 0 16 0 22 0 529647306 16138510336 205823 33554432000 1073741824 1073778376 140735917656736 18446744073709551615 237290695577 0 4 0 16800975 18446604453954843072 0 0 -1 2 0 0 0
[pid=15424/tid=15435] ppid=15422 vsize=15760264 CPUtime=0 cores=0,2,4,6
/proc/15424/task/15435/stat : 15435 (java) S 15422 15424 15033 0 -1 4202560 530 0 0 0 0 0 0 0 15 0 22 0 529647307 16138510336 205823 33554432000 1073741824 1073778376 140735917656736 18446744073709551615 237290696192 0 0 0 16800975 18446604453954843072 0 0 -1 4 0 0 0
[pid=15424/tid=15436] ppid=15422 vsize=15760264 CPUtime=0 cores=0,2,4,6
/proc/15424/task/15436/stat : 15436 (java) S 15422 15424 15033 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 529647308 16138510336 205823 33554432000 1073741824 1073778376 140735917656736 18446744073709551615 237290695577 0 4 0 16800975 18446604453954843072 0 0 -1 0 0 0 0
[pid=15424/tid=15437] ppid=15422 vsize=15760264 CPUtime=0 cores=0,2,4,6
/proc/15424/task/15437/stat : 15437 (java) S 15422 15424 15033 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 529647308 16138510336 205823 33554432000 1073741824 1073778376 140735917656736 18446744073709551615 237290695577 0 4 0 16800975 18446604453954843072 0 0 -1 0 0 0 0
[pid=15424/tid=15438] ppid=15422 vsize=15760264 CPUtime=0 cores=0,2,4,6
/proc/15424/task/15438/stat : 15438 (java) S 15422 15424 15033 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529647310 16138510336 205823 33554432000 1073741824 1073778376 140735917656736 18446744073709551615 237290703281 0 4 0 16800975 18446604453954843072 0 0 -1 6 0 0 0
[pid=15424/tid=15439] ppid=15422 vsize=15760264 CPUtime=1.54 cores=0,2,4,6
/proc/15424/task/15439/stat : 15439 (java) S 15422 15424 15033 0 -1 4202560 17418 0 0 0 152 2 0 0 15 0 22 0 529647310 16138510336 205823 33554432000 1073741824 1073778376 140735917656736 18446744073709551615 237290695577 0 4 0 16800975 18446604453954843072 0 0 -1 6 0 0 0

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

[pid=15424/tid=15444] ppid=15422 vsize=15760264 CPUtime=1048.43 cores=0,2,4,6
/proc/15424/task/15444/stat : 15444 (java) R 15422 15424 15033 0 -1 4202560 385357 0 0 0 104800 43 0 0 25 0 22 0 529647355 16138510336 349634 33554432000 1073741824 1073778376 140735917656736 18446744073709551615 46912505631631 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=15424/tid=15445] ppid=15422 vsize=15760264 CPUtime=1049.12 cores=0,2,4,6
/proc/15424/task/15445/stat : 15445 (java) R 15422 15424 15033 0 -1 4202560 385139 0 0 0 104870 42 0 0 25 0 22 0 529647355 16138510336 349634 33554432000 1073741824 1073778376 140735917656736 18446744073709551615 46912506002500 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=15424/tid=15446] ppid=15422 vsize=15760264 CPUtime=1047.61 cores=0,2,4,6
/proc/15424/task/15446/stat : 15446 (java) R 15422 15424 15033 0 -1 4202560 385723 0 0 0 104714 47 0 0 25 0 22 0 529647355 16138510336 349634 33554432000 1073741824 1073778376 140735917656736 18446744073709551615 46912506002279 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4228.89
Current children cumulated vsize (KiB) 15760264

[startup+1122.3 s]
/proc/loadavg: 8.15 8.19 8.07 9/220 15476
/proc/meminfo: memFree=12485692/32950904 swapFree=67082284/67111528
[pid=15424] ppid=15422 vsize=15760264 CPUtime=4468.16 cores=0,2,4,6
/proc/15424/stat : 15424 (java) S 15422 15424 15033 0 -1 4202496 3520289 0 1 0 446289 527 0 0 25 0 22 0 529647305 16138510336 440331 33554432000 1073741824 1073778376 140735917656736 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15424/statm: 3940066 440331 2295 9 0 3930785 0
[pid=15424/tid=15426] ppid=15422 vsize=15760264 CPUtime=1.88 cores=0,2,4,6
/proc/15424/task/15426/stat : 15426 (java) S 15422 15424 15033 0 -1 4202560 35742 0 1 0 183 5 0 0 25 0 22 0 529647306 16138510336 440331 33554432000 1073741824 1073778376 140735917656736 18446744073709551615 237290695577 0 4 0 16800975 18446604453954843072 0 0 -1 4 0 0 0
[pid=15424/tid=15427] ppid=15422 vsize=15760264 CPUtime=3.6 cores=0,2,4,6
/proc/15424/task/15427/stat : 15427 (java) S 15422 15424 15033 0 -1 4202560 224469 0 0 0 324 36 0 0 15 0 22 0 529647306 16138510336 440331 33554432000 1073741824 1073778376 140735917656736 18446744073709551615 237290695577 0 4 0 16800975 18446604453954843072 0 0 -1 6 0 0 0
[pid=15424/tid=15428] ppid=15422 vsize=15760264 CPUtime=3.59 cores=0,2,4,6
/proc/15424/task/15428/stat : 15428 (java) S 15422 15424 15033 0 -1 4202560 229900 0 0 0 324 35 0 0 15 0 22 0 529647306 16138510336 440331 33554432000 1073741824 1073778376 140735917656736 18446744073709551615 237290695577 0 4 0 16800975 18446604453954843072 0 0 -1 6 0 0 0
[pid=15424/tid=15429] ppid=15422 vsize=15760264 CPUtime=3.93 cores=0,2,4,6
/proc/15424/task/15429/stat : 15429 (java) S 15422 15424 15033 0 -1 4202560 246822 0 0 0 355 38 0 0 16 0 22 0 529647306 16138510336 440331 33554432000 1073741824 1073778376 140735917656736 18446744073709551615 237290695577 0 4 0 16800975 18446604453954843072 0 0 -1 0 0 0 0
[pid=15424/tid=15430] ppid=15422 vsize=15760264 CPUtime=3.77 cores=0,2,4,6
/proc/15424/task/15430/stat : 15430 (java) S 15422 15424 15033 0 -1 4202560 230164 0 0 0 340 37 0 0 15 0 22 0 529647306 16138510336 440331 33554432000 1073741824 1073778376 140735917656736 18446744073709551615 237290695577 0 4 0 16800975 18446604453954843072 0 0 -1 0 0 0 0
[pid=15424/tid=15431] ppid=15422 vsize=15760264 CPUtime=3.87 cores=0,2,4,6
/proc/15424/task/15431/stat : 15431 (java) S 15422 15424 15033 0 -1 4202560 247221 0 0 0 349 38 0 0 16 0 22 0 529647306 16138510336 440331 33554432000 1073741824 1073778376 140735917656736 18446744073709551615 237290695577 0 4 0 16800975 18446604453954843072 0 0 -1 2 0 0 0
[pid=15424/tid=15432] ppid=15422 vsize=15760264 CPUtime=3.66 cores=0,2,4,6
/proc/15424/task/15432/stat : 15432 (java) S 15422 15424 15033 0 -1 4202560 202684 0 0 0 335 31 0 0 16 0 22 0 529647306 16138510336 440331 33554432000 1073741824 1073778376 140735917656736 18446744073709551615 237290695577 0 4 0 16800975 18446604453954843072 0 0 -1 0 0 0 0
[pid=15424/tid=15433] ppid=15422 vsize=15760264 CPUtime=3.61 cores=0,2,4,6
/proc/15424/task/15433/stat : 15433 (java) S 15422 15424 15033 0 -1 4202560 200583 0 0 0 329 32 0 0 16 0 22 0 529647306 16138510336 440331 33554432000 1073741824 1073778376 140735917656736 18446744073709551615 237290695577 0 4 0 16800975 18446604453954843072 0 0 -1 6 0 0 0
[pid=15424/tid=15434] ppid=15422 vsize=15760264 CPUtime=3.65 cores=0,2,4,6
/proc/15424/task/15434/stat : 15434 (java) S 15422 15424 15033 0 -1 4202560 222121 0 0 0 331 34 0 0 15 0 22 0 529647306 16138510336 440331 33554432000 1073741824 1073778376 140735917656736 18446744073709551615 237290695577 0 4 0 16800975 18446604453954843072 0 0 -1 6 0 0 0
[pid=15424/tid=15435] ppid=15422 vsize=15760264 CPUtime=1.82 cores=0,2,4,6
/proc/15424/task/15435/stat : 15435 (java) S 15422 15424 15033 0 -1 4202560 8854 0 0 0 132 50 0 0 15 0 22 0 529647307 16138510336 440331 33554432000 1073741824 1073778376 140735917656736 18446744073709551615 237290696192 0 0 0 16800975 18446604453954843072 0 0 -1 4 0 0 0
[pid=15424/tid=15436] ppid=15422 vsize=15760264 CPUtime=0 cores=0,2,4,6
/proc/15424/task/15436/stat : 15436 (java) S 15422 15424 15033 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 529647308 16138510336 440331 33554432000 1073741824 1073778376 140735917656736 18446744073709551615 237290695577 0 4 0 16800975 18446604453954843072 0 0 -1 0 0 0 0
[pid=15424/tid=15437] ppid=15422 vsize=15760264 CPUtime=0 cores=0,2,4,6
/proc/15424/task/15437/stat : 15437 (java) S 15422 15424 15033 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 529647308 16138510336 440331 33554432000 1073741824 1073778376 140735917656736 18446744073709551615 237290695577 0 4 0 16800975 18446604453954843072 0 0 -1 0 0 0 0
[pid=15424/tid=15438] ppid=15422 vsize=15760264 CPUtime=0 cores=0,2,4,6
/proc/15424/task/15438/stat : 15438 (java) S 15422 15424 15033 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529647310 16138510336 440331 33554432000 1073741824 1073778376 140735917656736 18446744073709551615 237290703281 0 4 0 16800975 18446604453954843072 0 0 -1 6 0 0 0
[pid=15424/tid=15439] ppid=15422 vsize=15760264 CPUtime=1.75 cores=0,2,4,6
/proc/15424/task/15439/stat : 15439 (java) S 15422 15424 15033 0 -1 4202560 17431 0 0 0 173 2 0 0 16 0 22 0 529647310 16138510336 440331 33554432000 1073741824 1073778376 140735917656736 18446744073709551615 237290695577 0 4 0 16800975 18446604453954843072 0 0 -1 4 0 0 0
[pid=15424/tid=15440] ppid=15422 vsize=15760264 CPUtime=1.32 cores=0,2,4,6
/proc/15424/task/15440/stat : 15440 (java) S 15422 15424 15033 0 -1 4202560 4240 0 0 0 132 0 0 0 16 0 22 0 529647310 16138510336 440331 33554432000 1073741824 1073778376 140735917656736 18446744073709551615 237290695577 0 4 0 16800975 18446604453954843072 0 0 -1 6 0 0 0
[pid=15424/tid=15441] ppid=15422 vsize=15760264 CPUtime=0 cores=0,2,4,6
/proc/15424/task/15441/stat : 15441 (java) S 15422 15424 15033 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529647310 16138510336 440331 33554432000 1073741824 1073778376 140735917656736 18446744073709551615 237290695577 0 4 0 16800975 18446604453954843072 0 0 -1 6 0 0 0
[pid=15424/tid=15442] ppid=15422 vsize=15760264 CPUtime=0 cores=0,2,4,6
/proc/15424/task/15442/stat : 15442 (java) S 15422 15424 15033 0 -1 4202560 64 0 0 0 0 0 0 0 15 0 22 0 529647310 16138510336 440331 33554432000 1073741824 1073778376 140735917656736 18446744073709551615 237290696192 0 4 0 16800975 18446604453954843072 0 0 -1 4 0 0 0
[pid=15424/tid=15443] ppid=15422 vsize=15760264 CPUtime=1108.52 cores=0,2,4,6
/proc/15424/task/15443/stat : 15443 (java) R 15422 15424 15033 0 -1 4202560 426441 0 0 0 110809 43 0 0 25 0 22 0 529647355 16138510336 440331 33554432000 1073741824 1073778376 140735917656736 18446744073709551615 46912505945374 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=15424/tid=15444] ppid=15422 vsize=15760264 CPUtime=1107.78 cores=0,2,4,6
/proc/15424/task/15444/stat : 15444 (java) R 15422 15424 15033 0 -1 4202560 411544 0 0 0 110732 46 0 0 25 0 22 0 529647355 16138510336 440331 33554432000 1073741824 1073778376 140735917656736 18446744073709551615 46912506480166 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=15424/tid=15445] ppid=15422 vsize=15760264 CPUtime=1108.25 cores=0,2,4,6
/proc/15424/task/15445/stat : 15445 (java) R 15422 15424 15033 0 -1 4202560 402005 0 0 0 110781 44 0 0 25 0 22 0 529647355 16138510336 440331 33554432000 1073741824 1073778376 140735917656736 18446744073709551615 46912506278328 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=15424/tid=15446] ppid=15422 vsize=15760264 CPUtime=1107.01 cores=0,2,4,6
/proc/15424/task/15446/stat : 15446 (java) R 15422 15424 15033 0 -1 4202560 408619 0 0 0 110652 49 0 0 25 0 22 0 529647355 16138510336 440331 33554432000 1073741824 1073778376 140735917656736 18446744073709551615 46912506329681 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4468.16
Current children cumulated vsize (KiB) 15760264

[startup+1182.3 s]
/proc/loadavg: 5.85 7.55 7.86 5/193 15498
/proc/meminfo: memFree=19231372/32950904 swapFree=67082284/67111528
[pid=15424] ppid=15422 vsize=15760264 CPUtime=4707.26 cores=0,2,4,6
/proc/15424/stat : 15424 (java) S 15422 15424 15033 0 -1 4202496 3651175 0 1 0 470177 549 0 0 25 0 22 0 529647305 16138510336 402007 33554432000 1073741824 1073778376 140735917656736 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15424/statm: 3940066 402007 2295 9 0 3930785 0
[pid=15424/tid=15426] ppid=15422 vsize=15760264 CPUtime=1.88 cores=0,2,4,6
/proc/15424/task/15426/stat : 15426 (java) S 15422 15424 15033 0 -1 4202560 35742 0 1 0 183 5 0 0 25 0 22 0 529647306 16138510336 402007 33554432000 1073741824 1073778376 140735917656736 18446744073709551615 237290695577 0 4 0 16800975 18446604453954843072 0 0 -1 4 0 0 0
[pid=15424/tid=15427] ppid=15422 vsize=15760264 CPUtime=3.85 cores=0,2,4,6
/proc/15424/task/15427/stat : 15427 (java) S 15422 15424 15033 0 -1 4202560 233809 0 0 0 347 38 0 0 15 0 22 0 529647306 16138510336 402007 33554432000 1073741824 1073778376 140735917656736 18446744073709551615 237290695577 0 4 0 16800975 18446604453954843072 0 0 -1 6 0 0 0
[pid=15424/tid=15428] ppid=15422 vsize=15760264 CPUtime=3.79 cores=0,2,4,6
/proc/15424/task/15428/stat : 15428 (java) S 15422 15424 15033 0 -1 4202560 238068 0 0 0 342 37 0 0 16 0 22 0 529647306 16138510336 402007 33554432000 1073741824 1073778376 140735917656736 18446744073709551615 237290695577 0 4 0 16800975 18446604453954843072 0 0 -1 0 0 0 0
[pid=15424/tid=15429] ppid=15422 vsize=15760264 CPUtime=4.16 cores=0,2,4,6
/proc/15424/task/15429/stat : 15429 (java) S 15422 15424 15033 0 -1 4202560 253650 0 0 0 377 39 0 0 16 0 22 0 529647306 16138510336 402007 33554432000 1073741824 1073778376 140735917656736 18446744073709551615 237290695577 0 4 0 16800975 18446604453954843072 0 0 -1 6 0 0 0
[pid=15424/tid=15430] ppid=15422 vsize=15760264 CPUtime=4.01 cores=0,2,4,6
/proc/15424/task/15430/stat : 15430 (java) S 15422 15424 15033 0 -1 4202560 239463 0 0 0 363 38 0 0 16 0 22 0 529647306 16138510336 402007 33554432000 1073741824 1073778376 140735917656736 18446744073709551615 237290695577 0 4 0 16800975 18446604453954843072 0 0 -1 0 0 0 0
[pid=15424/tid=15431] ppid=15422 vsize=15760264 CPUtime=4.11 cores=0,2,4,6
/proc/15424/task/15431/stat : 15431 (java) S 15422 15424 15033 0 -1 4202560 253931 0 0 0 372 39 0 0 15 0 22 0 529647306 16138510336 402007 33554432000 1073741824 1073778376 140735917656736 18446744073709551615 237290695577 0 4 0 16800975 18446604453954843072 0 0 -1 2 0 0 0
[pid=15424/tid=15432] ppid=15422 vsize=15760264 CPUtime=3.87 cores=0,2,4,6
/proc/15424/task/15432/stat : 15432 (java) S 15422 15424 15033 0 -1 4202560 210993 0 0 0 354 33 0 0 16 0 22 0 529647306 16138510336 402007 33554432000 1073741824 1073778376 140735917656736 18446744073709551615 237290695577 0 4 0 16800975 18446604453954843072 0 0 -1 2 0 0 0
[pid=15424/tid=15433] ppid=15422 vsize=15760264 CPUtime=3.78 cores=0,2,4,6
/proc/15424/task/15433/stat : 15433 (java) S 15422 15424 15033 0 -1 4202560 209433 0 0 0 344 34 0 0 16 0 22 0 529647306 16138510336 402007 33554432000 1073741824 1073778376 140735917656736 18446744073709551615 237290695577 0 4 0 16800975 18446604453954843072 0 0 -1 6 0 0 0
[pid=15424/tid=15434] ppid=15422 vsize=15760264 CPUtime=3.85 cores=0,2,4,6
/proc/15424/task/15434/stat : 15434 (java) S 15422 15424 15033 0 -1 4202560 233856 0 0 0 349 36 0 0 15 0 22 0 529647306 16138510336 402007 33554432000 1073741824 1073778376 140735917656736 18446744073709551615 237290695577 0 4 0 16800975 18446604453954843072 0 0 -1 0 0 0 0
[pid=15424/tid=15435] ppid=15422 vsize=15760264 CPUtime=1.97 cores=0,2,4,6
/proc/15424/task/15435/stat : 15435 (java) S 15422 15424 15033 0 -1 4202560 9210 0 0 0 144 53 0 0 15 0 22 0 529647307 16138510336 402007 33554432000 1073741824 1073778376 140735917656736 18446744073709551615 237290696192 0 0 0 16800975 18446604453954843072 0 0 -1 4 0 0 0
[pid=15424/tid=15436] ppid=15422 vsize=15760264 CPUtime=0 cores=0,2,4,6
/proc/15424/task/15436/stat : 15436 (java) S 15422 15424 15033 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 529647308 16138510336 402007 33554432000 1073741824 1073778376 140735917656736 18446744073709551615 237290695577 0 4 0 16800975 18446604453954843072 0 0 -1 0 0 0 0
[pid=15424/tid=15437] ppid=15422 vsize=15760264 CPUtime=0 cores=0,2,4,6
/proc/15424/task/15437/stat : 15437 (java) S 15422 15424 15033 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 529647308 16138510336 402007 33554432000 1073741824 1073778376 140735917656736 18446744073709551615 237290695577 0 4 0 16800975 18446604453954843072 0 0 -1 0 0 0 0
[pid=15424/tid=15438] ppid=15422 vsize=15760264 CPUtime=0 cores=0,2,4,6
/proc/15424/task/15438/stat : 15438 (java) S 15422 15424 15033 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529647310 16138510336 402007 33554432000 1073741824 1073778376 140735917656736 18446744073709551615 237290703281 0 4 0 16800975 18446604453954843072 0 0 -1 6 0 0 0
[pid=15424/tid=15439] ppid=15422 vsize=15760264 CPUtime=1.75 cores=0,2,4,6
/proc/15424/task/15439/stat : 15439 (java) S 15422 15424 15033 0 -1 4202560 17431 0 0 0 173 2 0 0 16 0 22 0 529647310 16138510336 402007 33554432000 1073741824 1073778376 140735917656736 18446744073709551615 237290695577 0 4 0 16800975 18446604453954843072 0 0 -1 4 0 0 0
[pid=15424/tid=15440] ppid=15422 vsize=15760264 CPUtime=1.32 cores=0,2,4,6
/proc/15424/task/15440/stat : 15440 (java) S 15422 15424 15033 0 -1 4202560 4240 0 0 0 132 0 0 0 16 0 22 0 529647310 16138510336 402007 33554432000 1073741824 1073778376 140735917656736 18446744073709551615 237290695577 0 4 0 16800975 18446604453954843072 0 0 -1 6 0 0 0
[pid=15424/tid=15441] ppid=15422 vsize=15760264 CPUtime=0 cores=0,2,4,6
/proc/15424/task/15441/stat : 15441 (java) S 15422 15424 15033 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529647310 16138510336 402007 33554432000 1073741824 1073778376 140735917656736 18446744073709551615 237290695577 0 4 0 16800975 18446604453954843072 0 0 -1 6 0 0 0
[pid=15424/tid=15442] ppid=15422 vsize=15760264 CPUtime=0 cores=0,2,4,6
/proc/15424/task/15442/stat : 15442 (java) S 15422 15424 15033 0 -1 4202560 68 0 0 0 0 0 0 0 15 0 22 0 529647310 16138510336 402007 33554432000 1073741824 1073778376 140735917656736 18446744073709551615 237290696192 0 4 0 16800975 18446604453954843072 0 0 -1 0 0 0 0
[pid=15424/tid=15443] ppid=15422 vsize=15760264 CPUtime=1167.89 cores=0,2,4,6
/proc/15424/task/15443/stat : 15443 (java) R 15422 15424 15033 0 -1 4202560 446611 0 0 0 116744 45 0 0 25 0 22 0 529647355 16138510336 402007 33554432000 1073741824 1073778376 140735917656736 18446744073709551615 46912506600527 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=15424/tid=15444] ppid=15422 vsize=15760264 CPUtime=1167.16 cores=0,2,4,6
/proc/15424/task/15444/stat : 15444 (java) R 15422 15424 15033 0 -1 4202560 424476 0 0 0 116669 47 0 0 25 0 22 0 529647355 16138510336 402007 33554432000 1073741824 1073778376 140735917656736 18446744073709551615 46912506002265 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=15424/tid=15445] ppid=15422 vsize=15760264 CPUtime=1167.31 cores=0,2,4,6
/proc/15424/task/15445/stat : 15445 (java) R 15422 15424 15033 0 -1 4202560 416203 0 0 0 116686 45 0 0 25 0 22 0 529647355 16138510336 402007 33554432000 1073741824 1073778376 140735917656736 18446744073709551615 46912506002279 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=15424/tid=15446] ppid=15422 vsize=15760264 CPUtime=1166.38 cores=0,2,4,6
/proc/15424/task/15446/stat : 15446 (java) R 15422 15424 15033 0 -1 4202560 422606 0 0 0 116588 50 0 0 25 0 22 0 529647355 16138510336 402007 33554432000 1073741824 1073778376 140735917656736 18446744073709551615 46912506002335 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4707.26
Current children cumulated vsize (KiB) 15760264



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1205.61 s]
/proc/loadavg: 5.22 7.26 7.76 5/193 15498
/proc/meminfo: memFree=19129044/32950904 swapFree=67082284/67111528
[pid=15424] ppid=15422 vsize=15760264 CPUtime=4800.15 cores=0,2,4,6
/proc/15424/stat : 15424 (java) S 15422 15424 15033 0 -1 4202496 3707481 0 1 0 479458 557 0 0 25 0 22 0 529647305 16138510336 427697 33554432000 1073741824 1073778376 140735917656736 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15424/statm: 3940066 427697 2295 9 0 3930785 0
[pid=15424/tid=15426] ppid=15422 vsize=15760264 CPUtime=1.88 cores=0,2,4,6
/proc/15424/task/15426/stat : 15426 (java) S 15422 15424 15033 0 -1 4202560 35742 0 1 0 183 5 0 0 25 0 22 0 529647306 16138510336 427697 33554432000 1073741824 1073778376 140735917656736 18446744073709551615 237290695577 0 4 0 16800975 18446604453954843072 0 0 -1 4 0 0 0
[pid=15424/tid=15427] ppid=15422 vsize=15760264 CPUtime=3.97 cores=0,2,4,6
/proc/15424/task/15427/stat : 15427 (java) S 15422 15424 15033 0 -1 4202560 241693 0 0 0 358 39 0 0 15 0 22 0 529647306 16138510336 427697 33554432000 1073741824 1073778376 140735917656736 18446744073709551615 237290695577 0 4 0 16800975 18446604453954843072 0 0 -1 6 0 0 0
[pid=15424/tid=15428] ppid=15422 vsize=15760264 CPUtime=3.9 cores=0,2,4,6
/proc/15424/task/15428/stat : 15428 (java) S 15422 15424 15033 0 -1 4202560 242800 0 0 0 352 38 0 0 15 0 22 0 529647306 16138510336 427697 33554432000 1073741824 1073778376 140735917656736 18446744073709551615 237290695577 0 4 0 16800975 18446604453954843072 0 0 -1 6 0 0 0
[pid=15424/tid=15429] ppid=15422 vsize=15760264 CPUtime=4.25 cores=0,2,4,6
/proc/15424/task/15429/stat : 15429 (java) S 15422 15424 15033 0 -1 4202560 257389 0 0 0 385 40 0 0 16 0 22 0 529647306 16138510336 427697 33554432000 1073741824 1073778376 140735917656736 18446744073709551615 237290695577 0 4 0 16800975 18446604453954843072 0 0 -1 6 0 0 0
[pid=15424/tid=15430] ppid=15422 vsize=15760264 CPUtime=4.1 cores=0,2,4,6
/proc/15424/task/15430/stat : 15430 (java) S 15422 15424 15033 0 -1 4202560 243840 0 0 0 371 39 0 0 16 0 22 0 529647306 16138510336 427697 33554432000 1073741824 1073778376 140735917656736 18446744073709551615 237290695577 0 4 0 16800975 18446604453954843072 0 0 -1 0 0 0 0
[pid=15424/tid=15431] ppid=15422 vsize=15760264 CPUtime=4.2 cores=0,2,4,6
/proc/15424/task/15431/stat : 15431 (java) S 15422 15424 15033 0 -1 4202560 258381 0 0 0 380 40 0 0 15 0 22 0 529647306 16138510336 427697 33554432000 1073741824 1073778376 140735917656736 18446744073709551615 237290695577 0 4 0 16800975 18446604453954843072 0 0 -1 0 0 0 0
[pid=15424/tid=15432] ppid=15422 vsize=15760264 CPUtime=3.95 cores=0,2,4,6
/proc/15424/task/15432/stat : 15432 (java) S 15422 15424 15033 0 -1 4202560 215313 0 0 0 362 33 0 0 16 0 22 0 529647306 16138510336 427697 33554432000 1073741824 1073778376 140735917656736 18446744073709551615 237290695577 0 4 0 16800975 18446604453954843072 0 0 -1 2 0 0 0
[pid=15424/tid=15433] ppid=15422 vsize=15760264 CPUtime=3.87 cores=0,2,4,6
/proc/15424/task/15433/stat : 15433 (java) S 15422 15424 15033 0 -1 4202560 210983 0 0 0 353 34 0 0 15 0 22 0 529647306 16138510336 427697 33554432000 1073741824 1073778376 140735917656736 18446744073709551615 237290695577 0 4 0 16800975 18446604453954843072 0 0 -1 6 0 0 0
[pid=15424/tid=15434] ppid=15422 vsize=15760264 CPUtime=3.99 cores=0,2,4,6
/proc/15424/task/15434/stat : 15434 (java) S 15422 15424 15033 0 -1 4202560 239261 0 0 0 362 37 0 0 16 0 22 0 529647306 16138510336 427697 33554432000 1073741824 1073778376 140735917656736 18446744073709551615 237290695577 0 4 0 16800975 18446604453954843072 0 0 -1 4 0 0 0
[pid=15424/tid=15435] ppid=15422 vsize=15760264 CPUtime=2.02 cores=0,2,4,6
/proc/15424/task/15435/stat : 15435 (java) S 15422 15424 15033 0 -1 4202560 9634 0 0 0 149 53 0 0 15 0 22 0 529647307 16138510336 427697 33554432000 1073741824 1073778376 140735917656736 18446744073709551615 237290696192 0 0 0 16800975 18446604453954843072 0 0 -1 4 0 0 0
[pid=15424/tid=15436] ppid=15422 vsize=15760264 CPUtime=0 cores=0,2,4,6
/proc/15424/task/15436/stat : 15436 (java) S 15422 15424 15033 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 529647308 16138510336 427697 33554432000 1073741824 1073778376 140735917656736 18446744073709551615 237290695577 0 4 0 16800975 18446604453954843072 0 0 -1 0 0 0 0
[pid=15424/tid=15437] ppid=15422 vsize=15760264 CPUtime=0 cores=0,2,4,6
/proc/15424/task/15437/stat : 15437 (java) S 15422 15424 15033 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 529647308 16138510336 427697 33554432000 1073741824 1073778376 140735917656736 18446744073709551615 237290695577 0 4 0 16800975 18446604453954843072 0 0 -1 0 0 0 0
[pid=15424/tid=15438] ppid=15422 vsize=15760264 CPUtime=0 cores=0,2,4,6
/proc/15424/task/15438/stat : 15438 (java) S 15422 15424 15033 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529647310 16138510336 427697 33554432000 1073741824 1073778376 140735917656736 18446744073709551615 237290703281 0 4 0 16800975 18446604453954843072 0 0 -1 6 0 0 0
[pid=15424/tid=15439] ppid=15422 vsize=15760264 CPUtime=1.75 cores=0,2,4,6
/proc/15424/task/15439/stat : 15439 (java) S 15422 15424 15033 0 -1 4202560 17431 0 0 0 173 2 0 0 16 0 22 0 529647310 16138510336 427697 33554432000 1073741824 1073778376 140735917656736 18446744073709551615 237290695577 0 4 0 16800975 18446604453954843072 0 0 -1 4 0 0 0
[pid=15424/tid=15440] ppid=15422 vsize=15760264 CPUtime=1.32 cores=0,2,4,6
/proc/15424/task/15440/stat : 15440 (java) S 15422 15424 15033 0 -1 4202560 4240 0 0 0 132 0 0 0 16 0 22 0 529647310 16138510336 427697 33554432000 1073741824 1073778376 140735917656736 18446744073709551615 237290695577 0 4 0 16800975 18446604453954843072 0 0 -1 6 0 0 0
[pid=15424/tid=15441] ppid=15422 vsize=15760264 CPUtime=0 cores=0,2,4,6
/proc/15424/task/15441/stat : 15441 (java) S 15422 15424 15033 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529647310 16138510336 427697 33554432000 1073741824 1073778376 140735917656736 18446744073709551615 237290695577 0 4 0 16800975 18446604453954843072 0 0 -1 6 0 0 0
[pid=15424/tid=15442] ppid=15422 vsize=15760264 CPUtime=0 cores=0,2,4,6
/proc/15424/task/15442/stat : 15442 (java) S 15422 15424 15033 0 -1 4202560 70 0 0 0 0 0 0 0 15 0 22 0 529647310 16138510336 427697 33554432000 1073741824 1073778376 140735917656736 18446744073709551615 237290696192 0 4 0 16800975 18446604453954843072 0 0 -1 4 0 0 0
[pid=15424/tid=15443] ppid=15422 vsize=15760264 CPUtime=1190.93 cores=0,2,4,6
/proc/15424/task/15443/stat : 15443 (java) R 15422 15424 15033 0 -1 4202560 450527 0 0 0 119048 45 0 0 25 0 22 0 529647355 16138510336 427697 33554432000 1073741824 1073778376 140735917656736 18446744073709551615 46912506278550 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=15424/tid=15444] ppid=15422 vsize=15760264 CPUtime=1190.2 cores=0,2,4,6
/proc/15424/task/15444/stat : 15444 (java) R 15422 15424 15033 0 -1 4202560 428156 0 0 0 118973 47 0 0 25 0 22 0 529647355 16138510336 427697 33554432000 1073741824 1073778376 140735917656736 18446744073709551615 46912506002408 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=15424/tid=15445] ppid=15422 vsize=15760264 CPUtime=1190.23 cores=0,2,4,6
/proc/15424/task/15445/stat : 15445 (java) R 15422 15424 15033 0 -1 4202560 423992 0 0 0 118977 46 0 0 25 0 22 0 529647355 16138510336 427697 33554432000 1073741824 1073778376 140735917656736 18446744073709551615 46912505945965 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=15424/tid=15446] ppid=15422 vsize=15760264 CPUtime=1189.43 cores=0,2,4,6
/proc/15424/task/15446/stat : 15446 (java) R 15422 15424 15033 0 -1 4202560 426644 0 0 0 118892 51 0 0 25 0 22 0 529647355 16138510336 427697 33554432000 1073741824 1073778376 140735917656736 18446744073709551615 46912506002265 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.15
Current children cumulated vsize (KiB) 15760264

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): 1205.69
CPU time (s): 4800.26
CPU user time (s): 4794.61
CPU system time (s): 5.64714
CPU usage (%): 398.134
Max. virtual memory (cumulated for all children) (KiB): 15762636

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4794.61
system time used= 5.64714
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3707827
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= 49239
involuntary context switches= 69497

runsolver used 2.09268 second user time and 4.55731 second system time

The end

Launcher Data 

Begin job on node121 at 2011-04-30 18:21:16
IDJOB=3313406
IDBENCH=83118
IDSOLVER=1699
FILE ID=node121/3313406-1304180475
RUNJOBID= node121-1304177961-15051
PBS_JOBID= 13172442
Free space on /tmp= 73556 MiB

SOLVER NAME= STRUCTure 0.1
BENCH NAME= SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom12.cnf
COMMAND LINE= run 15000 NBCORE TMPDIR DIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3313406-1304180475/watcher-3313406-1304180475 -o /tmp/evaluation-result-3313406-1304180475/solver-3313406-1304180475 -C 4800 -W 1300 -M 15500  run 15000 4 HOME HOME HOME/instance-3313406-1304180475.cnf

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

MD5SUM BENCH= f0a59aeb3af8016fb8ec53aa337c4836
RANDOM SEED=397342565

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


/proc/meminfo:
MemTotal:     32950904 kB
MemFree:      15561112 kB
Buffers:       2188776 kB
Cached:        9380976 kB
SwapCached:       2776 kB
Active:       13868680 kB
Inactive:      3000720 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950904 kB
LowFree:      15561112 kB
SwapTotal:    67111528 kB
SwapFree:     67082284 kB
Dirty:            2808 kB
Writeback:          12 kB
AnonPages:     5297300 kB
Mapped:          22560 kB
Slab:           446156 kB
PageTables:      15408 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586980 kB
Committed_AS:  6590380 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= 73560 MiB
End job on node121 at 2011-04-30 18:41:23