Trace number 3311429

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.17 1207.13

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v550-c2343-S1694067460-072.UNKNOWN.cnf
MD5SUMf2d2b125797e776fb2e7099729714d99
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables550
Number of clauses2343
Sum of the clauses size7029
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32343
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.10/0.12	28:10 INFO : Reading from input HOME/instance-3311429-1304126890.cnf
0.26/0.24	Executor set job limit to 1000000
0.26/0.24	Executor set job limit to 1000000
0.26/0.24	Executor set job limit to 1000000
0.26/0.24	Executor set job limit to 1000000
0.26/0.24	Starting Executor!
0.26/0.25	Starting Executor!
0.26/0.25	Starting Executor!
0.26/0.25	Starting Executor!
0.48/0.36	28:10 INFO : 549 variables remaining out of 550
0.48/0.36	28:10 INFO : 9352 literals remaining out of 9372

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

running on 4 cores: 1,3,5,7

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.23 7.89 7.95 2/187 28478
/proc/meminfo: memFree=30831532/32951132 swapFree=67111356/67111528
[pid=28478] ppid=28476 vsize=26088 CPUtime=0 cores=1,3,5,7
/proc/28478/stat : 28478 (java) S 28476 28478 27898 0 -1 4202496 1410 0 0 0 0 0 0 0 24 0 2 0 524288626 26714112 881 33554432000 1073741824 1073778376 140735845664576 18446744073709551615 274676611045 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/28478/statm: 6522 881 675 9 0 381 0
[pid=28478/tid=28479] ppid=28476 vsize=26088 CPUtime=0 cores=1,3,5,7
/proc/28478/task/28479/stat : 28479 (java) S 28476 28478 27898 0 -1 4202560 56 0 0 0 0 0 0 0 25 0 2 0 524288626 26714112 885 33554432000 1073741824 1073778376 140735845664576 18446744073709551615 274659884679 0 2147483391 4096 0 18446744071699109054 0 0 -1 5 0 0 0

[startup+0.00853507 s]
/proc/loadavg: 7.23 7.89 7.95 2/187 28478
/proc/meminfo: memFree=30831532/32951132 swapFree=67111356/67111528
[pid=28478] ppid=28476 vsize=36928 CPUtime=0 cores=1,3,5,7
/proc/28478/stat : 28478 (java) S 28476 28478 27898 0 -1 4202496 1630 0 1 0 0 0 0 0 24 0 2 0 524288626 37814272 1075 33554432000 1073741824 1073778376 140735845664576 18446744073709551615 274676611045 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/28478/statm: 21711 1078 836 9 0 12867 0
[pid=28478/tid=28479] ppid=28476 vsize=86844 CPUtime=0 cores=1,3,5,7
/proc/28478/task/28479/stat : 28479 (java) R 28476 28478 27898 0 -1 4202560 280 0 1 0 0 0 0 0 25 0 2 0 524288626 88928256 1082 33554432000 1073741824 1073778376 140735845664576 18446744073709551615 47093758029232 0 4 0 16784584 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 36928

[startup+0.100521 s]
/proc/loadavg: 7.23 7.89 7.95 2/187 28478
/proc/meminfo: memFree=30831532/32951132 swapFree=67111356/67111528
[pid=28478] ppid=28476 vsize=15676776 CPUtime=0.1 cores=1,3,5,7
/proc/28478/stat : 28478 (java) S 28476 28478 27898 0 -1 4202496 5584 0 1 0 9 1 0 0 24 0 18 0 524288626 16053018624 5023 33554432000 1073741824 1073778376 140735845664576 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/28478/statm: 3919194 5023 2116 9 0 3909913 0
[pid=28478/tid=28479] ppid=28476 vsize=15676776 CPUtime=0.08 cores=1,3,5,7
/proc/28478/task/28479/stat : 28479 (java) R 28476 28478 27898 0 -1 4202560 3469 0 1 0 7 1 0 0 18 0 18 0 524288626 16053018624 5023 33554432000 1073741824 1073778376 140735845664576 18446744073709551615 47093760345624 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15676776

[startup+0.306505 s]
/proc/loadavg: 7.23 7.89 7.95 2/187 28478
/proc/meminfo: memFree=30831532/32951132 swapFree=67111356/67111528
[pid=28478] ppid=28476 vsize=15685792 CPUtime=0.48 cores=1,3,5,7
/proc/28478/stat : 28478 (java) S 28476 28478 27898 0 -1 4202496 10174 0 1 0 46 2 0 0 24 0 22 0 524288626 16062251008 9035 33554432000 1073741824 1073778376 140735845664576 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/28478/statm: 3921448 9036 2220 9 0 3912167 0
[pid=28478/tid=28479] ppid=28476 vsize=15685792 CPUtime=0.28 cores=1,3,5,7
/proc/28478/task/28479/stat : 28479 (java) R 28476 28478 27898 0 -1 4202560 6133 0 1 0 27 1 0 0 19 0 22 0 524288626 16062251008 9037 33554432000 1073741824 1073778376 140735845664576 18446744073709551615 47093761780563 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 15685792

[startup+0.713806 s]
/proc/loadavg: 7.23 7.89 7.95 2/187 28478
/proc/meminfo: memFree=30831532/32951132 swapFree=67111356/67111528
[pid=28478] ppid=28476 vsize=15688920 CPUtime=1.87 cores=1,3,5,7
/proc/28478/stat : 28478 (java) S 28476 28478 27898 0 -1 4202496 31268 0 1 0 182 5 0 0 24 0 22 0 524288626 16065454080 26306 33554432000 1073741824 1073778376 140735845664576 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/28478/statm: 3922230 26311 2260 9 0 3912949 0
[pid=28478/tid=28479] ppid=28476 vsize=15688920 CPUtime=0.34 cores=1,3,5,7
/proc/28478/task/28479/stat : 28479 (java) S 28476 28478 27898 0 -1 4202560 6437 0 1 0 33 1 0 0 20 0 22 0 524288626 16065454080 26314 33554432000 1073741824 1073778376 140735845664576 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.87
Current children cumulated vsize (KiB) 15688920

[startup+1.50123 s]
/proc/loadavg: 7.23 7.89 7.95 13/218 28509
/proc/meminfo: memFree=30475528/32951132 swapFree=67111356/67111528
[pid=28478] ppid=28476 vsize=15688920 CPUtime=4.99 cores=1,3,5,7
/proc/28478/stat : 28478 (java) S 28476 28478 27898 0 -1 4202496 57632 0 1 0 490 9 0 0 24 0 22 0 524288626 16065454080 52211 33554432000 1073741824 1073778376 140735845664576 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/28478/statm: 3922230 52212 2276 9 0 3912949 0
[pid=28478/tid=28479] ppid=28476 vsize=15688920 CPUtime=0.34 cores=1,3,5,7
/proc/28478/task/28479/stat : 28479 (java) S 28476 28478 27898 0 -1 4202560 6437 0 1 0 33 1 0 0 20 0 22 0 524288626 16065454080 52212 33554432000 1073741824 1073778376 140735845664576 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 1 0 0 0
[pid=28478/tid=28481] ppid=28476 vsize=15688920 CPUtime=0 cores=1,3,5,7
/proc/28478/task/28481/stat : 28481 (java) S 28476 28478 27898 0 -1 4202560 1183 0 0 0 0 0 0 0 15 0 22 0 524288627 16065454080 52212 33554432000 1073741824 1073778376 140735845664576 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 1 0 0 0
[pid=28478/tid=28482] ppid=28476 vsize=15688920 CPUtime=0 cores=1,3,5,7
/proc/28478/task/28482/stat : 28482 (java) S 28476 28478 27898 0 -1 4202560 107 0 0 0 0 0 0 0 15 0 22 0 524288627 16065454080 52214 33554432000 1073741824 1073778376 140735845664576 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 5 0 0 0
[pid=28478/tid=28483] ppid=28476 vsize=15688920 CPUtime=0 cores=1,3,5,7
/proc/28478/task/28483/stat : 28483 (java) S 28476 28478 27898 0 -1 4202560 648 0 0 0 0 0 0 0 15 0 22 0 524288627 16065454080 52215 33554432000 1073741824 1073778376 140735845664576 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 5 0 0 0
[pid=28478/tid=28484] ppid=28476 vsize=15688920 CPUtime=0 cores=1,3,5,7
/proc/28478/task/28484/stat : 28484 (java) S 28476 28478 27898 0 -1 4202560 970 0 0 0 0 0 0 0 16 0 22 0 524288627 16065454080 52217 33554432000 1073741824 1073778376 140735845664576 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 7 0 0 0
[pid=28478/tid=28485] ppid=28476 vsize=15688920 CPUtime=0 cores=1,3,5,7
/proc/28478/task/28485/stat : 28485 (java) S 28476 28478 27898 0 -1 4202560 643 0 0 0 0 0 0 0 16 0 22 0 524288627 16065454080 52218 33554432000 1073741824 1073778376 140735845664576 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 1 0 0 0
[pid=28478/tid=28486] ppid=28476 vsize=15688920 CPUtime=0 cores=1,3,5,7
/proc/28478/task/28486/stat : 28486 (java) S 28476 28478 27898 0 -1 4202560 1671 0 0 0 0 0 0 0 16 0 22 0 524288627 16065454080 52221 33554432000 1073741824 1073778376 140735845664576 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 3 0 0 0
[pid=28478/tid=28487] ppid=28476 vsize=15688920 CPUtime=0 cores=1,3,5,7
/proc/28478/task/28487/stat : 28487 (java) S 28476 28478 27898 0 -1 4202560 1016 0 0 0 0 0 0 0 15 0 22 0 524288627 16065454080 52223 33554432000 1073741824 1073778376 140735845664576 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 5 0 0 0
[pid=28478/tid=28488] ppid=28476 vsize=15688920 CPUtime=0 cores=1,3,5,7
/proc/28478/task/28488/stat : 28488 (java) S 28476 28478 27898 0 -1 4202560 288 0 0 0 0 0 0 0 15 0 22 0 524288627 16065454080 52225 33554432000 1073741824 1073778376 140735845664576 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 1 0 0 0
[pid=28478/tid=28489] ppid=28476 vsize=15688920 CPUtime=0 cores=1,3,5,7
/proc/28478/task/28489/stat : 28489 (java) S 28476 28478 27898 0 -1 4202560 74 0 0 0 0 0 0 0 15 0 22 0 524288628 16065454080 52226 33554432000 1073741824 1073778376 140735845664576 18446744073709551615 274676624896 0 0 0 16800975 18446604470081604416 0 0 -1 5 0 0 0
[pid=28478/tid=28495] ppid=28476 vsize=15688920 CPUtime=0 cores=1,3,5,7
/proc/28478/task/28495/stat : 28495 (java) S 28476 28478 27898 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 524288628 16065454080 52231 33554432000 1073741824 1073778376 140735845664576 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 5 0 0 0
[pid=28478/tid=28496] ppid=28476 vsize=15688920 CPUtime=0 cores=1,3,5,7
/proc/28478/task/28496/stat : 28496 (java) S 28476 28478 27898 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 524288628 16065454080 52237 33554432000 1073741824 1073778376 140735845664576 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 5 0 0 0
[pid=28478/tid=28497] ppid=28476 vsize=15688920 CPUtime=0 cores=1,3,5,7
/proc/28478/task/28497/stat : 28497 (java) S 28476 28478 27898 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 524288630 16065454080 52244 33554432000 1073741824 1073778376 140735845664576 18446744073709551615 274676631985 0 4 0 16800975 18446604470081604416 0 0 -1 5 0 0 0
[pid=28478/tid=28498] ppid=28476 vsize=15688920 CPUtime=0.49 cores=1,3,5,7
/proc/28478/task/28498/stat : 28498 (java) S 28476 28478 27898 0 -1 4202560 5386 0 0 0 49 0 0 0 15 0 22 0 524288630 16065454080 52247 33554432000 1073741824 1073778376 140735845664576 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 3 0 0 0
[pid=28478/tid=28499] ppid=28476 vsize=15688920 CPUtime=0.66 cores=1,3,5,7
/proc/28478/task/28499/stat : 28499 (java) S 28476 28478 27898 0 -1 4202560 3539 0 0 0 66 0 0 0 18 0 22 0 524288630 16065454080 52252 33554432000 1073741824 1073778376 140735845664576 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 1 0 0 0
[pid=28478/tid=28500] ppid=28476 vsize=15688920 CPUtime=0 cores=1,3,5,7
/proc/28478/task/28500/stat : 28500 (java) S 28476 28478 27898 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 524288630 16065454080 52256 33554432000 1073741824 1073778376 140735845664576 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 7 0 0 0
[pid=28478/tid=28501] ppid=28476 vsize=15688920 CPUtime=0 cores=1,3,5,7
/proc/28478/task/28501/stat : 28501 (java) S 28476 28478 27898 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 524288630 16065454080 52268 33554432000 1073741824 1073778376 140735845664576 18446744073709551615 274676624896 0 4 0 16800975 18446604470081604416 0 0 -1 1 0 0 0
[pid=28478/tid=28506] ppid=28476 vsize=15688920 CPUtime=1.01 cores=1,3,5,7
/proc/28478/task/28506/stat : 28506 (java) R 28476 28478 27898 0 -1 4202560 11176 0 0 0 100 1 0 0 19 0 22 0 524288651 16065454080 52269 33554432000 1073741824 1073778376 140735845664576 18446744073709551615 46912505523269 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=28478/tid=28507] ppid=28476 vsize=15688920 CPUtime=0.74 cores=1,3,5,7
/proc/28478/task/28507/stat : 28507 (java) R 28476 28478 27898 0 -1 4202560 3902 0 0 0 74 0 0 0 20 0 22 0 524288651 16065454080 52270 33554432000 1073741824 1073778376 140735845664576 18446744073709551615 47093761780563 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=28478/tid=28508] ppid=28476 vsize=15688920 CPUtime=0.82 cores=1,3,5,7
/proc/28478/task/28508/stat : 28508 (java) R 28476 28478 27898 0 -1 4202560 9087 0 0 0 82 0 0 0 18 0 22 0 524288651 16065454080 52272 33554432000 1073741824 1073778376 140735845664576 18446744073709551615 46912505784868 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=28478/tid=28509] ppid=28476 vsize=15688920 CPUtime=0.82 cores=1,3,5,7
/proc/28478/task/28509/stat : 28509 (java) R 28476 28478 27898 0 -1 4202560 10179 0 0 0 81 1 0 0 18 0 22 0 524288651 16065454080 52272 33554432000 1073741824 1073778376 140735845664576 18446744073709551615 46912505773595 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.99
Current children cumulated vsize (KiB) 15688920

[startup+3.10096 s]
/proc/loadavg: 7.23 7.89 7.95 10/218 28509
/proc/meminfo: memFree=30080260/32951132 swapFree=67111356/67111528
[pid=28478] ppid=28476 vsize=15688920 CPUtime=11.37 cores=1,3,5,7
/proc/28478/stat : 28478 (java) S 28476 28478 27898 0 -1 4202496 149076 0 1 0 1118 19 0 0 24 0 22 0 524288626 16065454080 143022 33554432000 1073741824 1073778376 140735845664576 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/28478/statm: 3922230 143022 2277 9 0 3912949 0
[pid=28478/tid=28479] ppid=28476 vsize=15688920 CPUtime=0.34 cores=1,3,5,7
/proc/28478/task/28479/stat : 28479 (java) S 28476 28478 27898 0 -1 4202560 6437 0 1 0 33 1 0 0 20 0 22 0 524288626 16065454080 143022 33554432000 1073741824 1073778376 140735845664576 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 1 0 0 0
[pid=28478/tid=28481] ppid=28476 vsize=15688920 CPUtime=0 cores=1,3,5,7
/proc/28478/task/28481/stat : 28481 (java) S 28476 28478 27898 0 -1 4202560 2158 0 0 0 0 0 0 0 16 0 22 0 524288627 16065454080 143022 33554432000 1073741824 1073778376 140735845664576 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 1 0 0 0
[pid=28478/tid=28482] ppid=28476 vsize=15688920 CPUtime=0 cores=1,3,5,7
/proc/28478/task/28482/stat : 28482 (java) S 28476 28478 27898 0 -1 4202560 1804 0 0 0 0 0 0 0 15 0 22 0 524288627 16065454080 143022 33554432000 1073741824 1073778376 140735845664576 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 5 0 0 0
[pid=28478/tid=28483] ppid=28476 vsize=15688920 CPUtime=0 cores=1,3,5,7
/proc/28478/task/28483/stat : 28483 (java) S 28476 28478 27898 0 -1 4202560 2102 0 0 0 0 0 0 0 15 0 22 0 524288627 16065454080 143022 33554432000 1073741824 1073778376 140735845664576 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 1 0 0 0
[pid=28478/tid=28484] ppid=28476 vsize=15688920 CPUtime=0 cores=1,3,5,7
/proc/28478/task/28484/stat : 28484 (java) S 28476 28478 27898 0 -1 4202560 1990 0 0 0 0 0 0 0 16 0 22 0 524288627 16065454080 143022 33554432000 1073741824 1073778376 140735845664576 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 7 0 0 0
[pid=28478/tid=28485] ppid=28476 vsize=15688920 CPUtime=0 cores=1,3,5,7
/proc/28478/task/28485/stat : 28485 (java) S 28476 28478 27898 0 -1 4202560 1229 0 0 0 0 0 0 0 15 0 22 0 524288627 16065454080 143022 33554432000 1073741824 1073778376 140735845664576 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 3 0 0 0
[pid=28478/tid=28486] ppid=28476 vsize=15688920 CPUtime=0 cores=1,3,5,7
/proc/28478/task/28486/stat : 28486 (java) S 28476 28478 27898 0 -1 4202560 2307 0 0 0 0 0 0 0 15 0 22 0 524288627 16065454080 143022 33554432000 1073741824 1073778376 140735845664576 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 3 0 0 0
[pid=28478/tid=28487] ppid=28476 vsize=15688920 CPUtime=0 cores=1,3,5,7
/proc/28478/task/28487/stat : 28487 (java) S 28476 28478 27898 0 -1 4202560 1227 0 0 0 0 0 0 0 16 0 22 0 524288627 16065454080 143022 33554432000 1073741824 1073778376 140735845664576 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 5 0 0 0
[pid=28478/tid=28488] ppid=28476 vsize=15688920 CPUtime=0 cores=1,3,5,7
/proc/28478/task/28488/stat : 28488 (java) S 28476 28478 27898 0 -1 4202560 1090 0 0 0 0 0 0 0 16 0 22 0 524288627 16065454080 143022 33554432000 1073741824 1073778376 140735845664576 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 3 0 0 0
[pid=28478/tid=28489] ppid=28476 vsize=15688920 CPUtime=0 cores=1,3,5,7
/proc/28478/task/28489/stat : 28489 (java) S 28476 28478 27898 0 -1 4202560 441 0 0 0 0 0 0 0 15 0 22 0 524288628 16065454080 143022 33554432000 1073741824 1073778376 140735845664576 18446744073709551615 274676624896 0 0 0 16800975 18446604470081604416 0 0 -1 5 0 0 0
[pid=28478/tid=28495] ppid=28476 vsize=15688920 CPUtime=0 cores=1,3,5,7
/proc/28478/task/28495/stat : 28495 (java) S 28476 28478 27898 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 524288628 16065454080 143022 33554432000 1073741824 1073778376 140735845664576 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 5 0 0 0
[pid=28478/tid=28496] ppid=28476 vsize=15688920 CPUtime=0 cores=1,3,5,7
/proc/28478/task/28496/stat : 28496 (java) S 28476 28478 27898 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 524288628 16065454080 143022 33554432000 1073741824 1073778376 140735845664576 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 5 0 0 0
[pid=28478/tid=28497] ppid=28476 vsize=15688920 CPUtime=0 cores=1,3,5,7
/proc/28478/task/28497/stat : 28497 (java) S 28476 28478 27898 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 524288630 16065454080 143022 33554432000 1073741824 1073778376 140735845664576 18446744073709551615 274676631985 0 4 0 16800975 18446604470081604416 0 0 -1 5 0 0 0
[pid=28478/tid=28498] ppid=28476 vsize=15688920 CPUtime=0.59 cores=1,3,5,7
/proc/28478/task/28498/stat : 28498 (java) S 28476 28478 27898 0 -1 4202560 5988 0 0 0 58 1 0 0 15 0 22 0 524288630 16065454080 143022 33554432000 1073741824 1073778376 140735845664576 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 3 0 0 0
[pid=28478/tid=28499] ppid=28476 vsize=15688920 CPUtime=0.71 cores=1,3,5,7
/proc/28478/task/28499/stat : 28499 (java) S 28476 28478 27898 0 -1 4202560 3547 0 0 0 71 0 0 0 15 0 22 0 524288630 16065454080 143022 33554432000 1073741824 1073778376 140735845664576 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 1 0 0 0
[pid=28478/tid=28500] ppid=28476 vsize=15688920 CPUtime=0 cores=1,3,5,7
/proc/28478/task/28500/stat : 28500 (java) S 28476 28478 27898 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 524288630 16065454080 143022 33554432000 1073741824 1073778376 140735845664576 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 7 0 0 0
[pid=28478/tid=28501] ppid=28476 vsize=15688920 CPUtime=0 cores=1,3,5,7
/proc/28478/task/28501/stat : 28501 (java) S 28476 28478 27898 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 524288630 16065454080 143022 33554432000 1073741824 1073778376 140735845664576 18446744073709551615 274676624896 0 4 0 16800975 18446604470081604416 0 0 -1 1 0 0 0
[pid=28478/tid=28506] ppid=28476 vsize=15688920 CPUtime=2.6 cores=1,3,5,7
/proc/28478/task/28506/stat : 28506 (java) R 28476 28478 27898 0 -1 4202560 32429 0 0 0 256 4 0 0 22 0 22 0 524288651 16065454080 143022 33554432000 1073741824 1073778376 140735845664576 18446744073709551615 46912505876089 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=28478/tid=28507] ppid=28476 vsize=15688920 CPUtime=2.28 cores=1,3,5,7
/proc/28478/task/28507/stat : 28507 (java) R 28476 28478 27898 0 -1 4202560 23785 0 0 0 225 3 0 0 25 0 22 0 524288651 16065454080 143022 33554432000 1073741824 1073778376 140735845664576 18446744073709551615 46912505659221 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=28478/tid=28508] ppid=28476 vsize=15688920 CPUtime=2.35 cores=1,3,5,7
/proc/28478/task/28508/stat : 28508 (java) R 28476 28478 27898 0 -1 4202560 29662 0 0 0 233 2 0 0 21 0 22 0 524288651 16065454080 143022 33554432000 1073741824 1073778376 140735845664576 18446744073709551615 46912505659409 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=28478/tid=28509] ppid=28476 vsize=15688920 CPUtime=2.37 cores=1,3,5,7
/proc/28478/task/28509/stat : 28509 (java) R 28476 28478 27898 0 -1 4202560 31494 0 0 0 233 4 0 0 21 0 22 0 524288651 16065454080 143022 33554432000 1073741824 1073778376 140735845664576 18446744073709551615 18446744073699065939 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 11.37
Current children cumulated vsize (KiB) 15688920

[startup+6.3014 s]
/proc/loadavg: 7.29 7.89 7.95 9/218 28509
/proc/meminfo: memFree=29257164/32951132 swapFree=67111356/67111528
[pid=28478] ppid=28476 vsize=15688920 CPUtime=24.12 cores=1,3,5,7
/proc/28478/stat : 28478 (java) S 28476 28478 27898 0 -1 4202496 153689 0 1 0 2392 20 0 0 24 0 22 0 524288626 16065454080 143710 33554432000 1073741824 1073778376 140735845664576 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/28478/statm: 3922230 143710 2284 9 0 3912949 0
[pid=28478/tid=28479] ppid=28476 vsize=15688920 CPUtime=0.34 cores=1,3,5,7
/proc/28478/task/28479/stat : 28479 (java) S 28476 28478 27898 0 -1 4202560 6437 0 1 0 33 1 0 0 20 0 22 0 524288626 16065454080 143710 33554432000 1073741824 1073778376 140735845664576 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 1 0 0 0
[pid=28478/tid=28481] ppid=28476 vsize=15688920 CPUtime=0 cores=1,3,5,7
/proc/28478/task/28481/stat : 28481 (java) S 28476 28478 27898 0 -1 4202560 2681 0 0 0 0 0 0 0 16 0 22 0 524288627 16065454080 143710 33554432000 1073741824 1073778376 140735845664576 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 7 0 0 0
[pid=28478/tid=28482] ppid=28476 vsize=15688920 CPUtime=0 cores=1,3,5,7
/proc/28478/task/28482/stat : 28482 (java) S 28476 28478 27898 0 -1 4202560 2330 0 0 0 0 0 0 0 15 0 22 0 524288627 16065454080 143710 33554432000 1073741824 1073778376 140735845664576 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 5 0 0 0
[pid=28478/tid=28483] ppid=28476 vsize=15688920 CPUtime=0.01 cores=1,3,5,7
/proc/28478/task/28483/stat : 28483 (java) S 28476 28478 27898 0 -1 4202560 2871 0 0 0 1 0 0 0 16 0 22 0 524288627 16065454080 143710 33554432000 1073741824 1073778376 140735845664576 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 1 0 0 0
[pid=28478/tid=28484] ppid=28476 vsize=15688920 CPUtime=0 cores=1,3,5,7
/proc/28478/task/28484/stat : 28484 (java) S 28476 28478 27898 0 -1 4202560 2430 0 0 0 0 0 0 0 16 0 22 0 524288627 16065454080 143710 33554432000 1073741824 1073778376 140735845664576 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 7 0 0 0
[pid=28478/tid=28485] ppid=28476 vsize=15688920 CPUtime=0 cores=1,3,5,7
/proc/28478/task/28485/stat : 28485 (java) S 28476 28478 27898 0 -1 4202560 1811 0 0 0 0 0 0 0 15 0 22 0 524288627 16065454080 143710 33554432000 1073741824 1073778376 140735845664576 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 5 0 0 0
[pid=28478/tid=28486] ppid=28476 vsize=15688920 CPUtime=0 cores=1,3,5,7
/proc/28478/task/28486/stat : 28486 (java) S 28476 28478 27898 0 -1 4202560 2945 0 0 0 0 0 0 0 15 0 22 0 524288627 16065454080 143710 33554432000 1073741824 1073778376 140735845664576 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 5 0 0 0
[pid=28478/tid=28487] ppid=28476 vsize=15688920 CPUtime=0 cores=1,3,5,7
/proc/28478/task/28487/stat : 28487 (java) S 28476 28478 27898 0 -1 4202560 1631 0 0 0 0 0 0 0 15 0 22 0 524288627 16065454080 143710 33554432000 1073741824 1073778376 140735845664576 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 3 0 0 0
[pid=28478/tid=28488] ppid=28476 vsize=15688920 CPUtime=0 cores=1,3,5,7
/proc/28478/task/28488/stat : 28488 (java) S 28476 28478 27898 0 -1 4202560 1739 0 0 0 0 0 0 0 16 0 22 0 524288627 16065454080 143710 33554432000 1073741824 1073778376 140735845664576 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 3 0 0 0

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

[pid=28478/tid=28507] ppid=28476 vsize=15688920 CPUtime=1107.61 cores=1,3,5,7
/proc/28478/task/28507/stat : 28507 (java) R 28476 28478 27898 0 -1 4202560 318479 0 0 0 110716 45 0 0 25 0 22 0 524288651 16065454080 81831 33554432000 1073741824 1073778376 140735845664576 18446744073709551615 46912505662988 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=28478/tid=28508] ppid=28476 vsize=15688920 CPUtime=1107.71 cores=1,3,5,7
/proc/28478/task/28508/stat : 28508 (java) R 28476 28478 27898 0 -1 4202560 326126 0 0 0 110723 48 0 0 25 0 22 0 524288651 16065454080 81831 33554432000 1073741824 1073778376 140735845664576 18446744073709551615 18446744073699065939 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=28478/tid=28509] ppid=28476 vsize=15688920 CPUtime=1108.43 cores=1,3,5,7
/proc/28478/task/28509/stat : 28509 (java) R 28476 28478 27898 0 -1 4202560 321263 0 0 0 110795 48 0 0 25 0 22 0 524288651 16065454080 81831 33554432000 1073741824 1073778376 140735845664576 18446744073709551615 46912505877161 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4462.88
Current children cumulated vsize (KiB) 15688920

[startup+1182.3 s]
/proc/loadavg: 8.20 8.13 8.05 9/218 28540
/proc/meminfo: memFree=30134084/32951132 swapFree=67111356/67111528
[pid=28478] ppid=28476 vsize=15688920 CPUtime=4701.5 cores=1,3,5,7
/proc/28478/stat : 28478 (java) S 28476 28478 27898 0 -1 4202496 2614623 0 1 0 469627 523 0 0 24 0 22 0 524288626 16065454080 90505 33554432000 1073741824 1073778376 140735845664576 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/28478/statm: 3922230 90505 2298 9 0 3912949 0
[pid=28478/tid=28479] ppid=28476 vsize=15688920 CPUtime=0.34 cores=1,3,5,7
/proc/28478/task/28479/stat : 28479 (java) S 28476 28478 27898 0 -1 4202560 6437 0 1 0 33 1 0 0 20 0 22 0 524288626 16065454080 90505 33554432000 1073741824 1073778376 140735845664576 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 1 0 0 0
[pid=28478/tid=28481] ppid=28476 vsize=15688920 CPUtime=3.46 cores=1,3,5,7
/proc/28478/task/28481/stat : 28481 (java) S 28476 28478 27898 0 -1 4202560 145568 0 0 0 319 27 0 0 15 0 22 0 524288627 16065454080 90505 33554432000 1073741824 1073778376 140735845664576 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 1 0 0 0
[pid=28478/tid=28482] ppid=28476 vsize=15688920 CPUtime=3.51 cores=1,3,5,7
/proc/28478/task/28482/stat : 28482 (java) S 28476 28478 27898 0 -1 4202560 152695 0 0 0 323 28 0 0 15 0 22 0 524288627 16065454080 90505 33554432000 1073741824 1073778376 140735845664576 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 3 0 0 0
[pid=28478/tid=28483] ppid=28476 vsize=15688920 CPUtime=3.47 cores=1,3,5,7
/proc/28478/task/28483/stat : 28483 (java) S 28476 28478 27898 0 -1 4202560 147221 0 0 0 321 26 0 0 15 0 22 0 524288627 16065454080 90505 33554432000 1073741824 1073778376 140735845664576 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 5 0 0 0
[pid=28478/tid=28484] ppid=28476 vsize=15688920 CPUtime=3.54 cores=1,3,5,7
/proc/28478/task/28484/stat : 28484 (java) S 28476 28478 27898 0 -1 4202560 161185 0 0 0 325 29 0 0 15 0 22 0 524288627 16065454080 90505 33554432000 1073741824 1073778376 140735845664576 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 3 0 0 0
[pid=28478/tid=28485] ppid=28476 vsize=15688920 CPUtime=3.59 cores=1,3,5,7
/proc/28478/task/28485/stat : 28485 (java) S 28476 28478 27898 0 -1 4202560 150434 0 0 0 333 26 0 0 15 0 22 0 524288627 16065454080 90505 33554432000 1073741824 1073778376 140735845664576 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 7 0 0 0
[pid=28478/tid=28486] ppid=28476 vsize=15688920 CPUtime=3.51 cores=1,3,5,7
/proc/28478/task/28486/stat : 28486 (java) S 28476 28478 27898 0 -1 4202560 152228 0 0 0 322 29 0 0 16 0 22 0 524288627 16065454080 90505 33554432000 1073741824 1073778376 140735845664576 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 1 0 0 0
[pid=28478/tid=28487] ppid=28476 vsize=15688920 CPUtime=3.54 cores=1,3,5,7
/proc/28478/task/28487/stat : 28487 (java) S 28476 28478 27898 0 -1 4202560 157374 0 0 0 324 30 0 0 15 0 22 0 524288627 16065454080 90505 33554432000 1073741824 1073778376 140735845664576 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 5 0 0 0
[pid=28478/tid=28488] ppid=28476 vsize=15688920 CPUtime=3.55 cores=1,3,5,7
/proc/28478/task/28488/stat : 28488 (java) S 28476 28478 27898 0 -1 4202560 156403 0 0 0 324 31 0 0 16 0 22 0 524288627 16065454080 90505 33554432000 1073741824 1073778376 140735845664576 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 5 0 0 0
[pid=28478/tid=28489] ppid=28476 vsize=15688920 CPUtime=2.31 cores=1,3,5,7
/proc/28478/task/28489/stat : 28489 (java) S 28476 28478 27898 0 -1 4202560 6455 0 0 0 146 85 0 0 16 0 22 0 524288628 16065454080 90505 33554432000 1073741824 1073778376 140735845664576 18446744073709551615 274676624896 0 0 0 16800975 18446604470081604416 0 0 -1 1 0 0 0
[pid=28478/tid=28495] ppid=28476 vsize=15688920 CPUtime=0 cores=1,3,5,7
/proc/28478/task/28495/stat : 28495 (java) S 28476 28478 27898 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 524288628 16065454080 90505 33554432000 1073741824 1073778376 140735845664576 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 5 0 0 0
[pid=28478/tid=28496] ppid=28476 vsize=15688920 CPUtime=0 cores=1,3,5,7
/proc/28478/task/28496/stat : 28496 (java) S 28476 28478 27898 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 524288628 16065454080 90505 33554432000 1073741824 1073778376 140735845664576 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 5 0 0 0
[pid=28478/tid=28497] ppid=28476 vsize=15688920 CPUtime=0 cores=1,3,5,7
/proc/28478/task/28497/stat : 28497 (java) S 28476 28478 27898 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 524288630 16065454080 90505 33554432000 1073741824 1073778376 140735845664576 18446744073709551615 274676631985 0 4 0 16800975 18446604470081604416 0 0 -1 5 0 0 0
[pid=28478/tid=28498] ppid=28476 vsize=15688920 CPUtime=0.66 cores=1,3,5,7
/proc/28478/task/28498/stat : 28498 (java) S 28476 28478 27898 0 -1 4202560 5996 0 0 0 65 1 0 0 15 0 22 0 524288630 16065454080 90505 33554432000 1073741824 1073778376 140735845664576 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 3 0 0 0
[pid=28478/tid=28499] ppid=28476 vsize=15688920 CPUtime=0.89 cores=1,3,5,7
/proc/28478/task/28499/stat : 28499 (java) S 28476 28478 27898 0 -1 4202560 3631 0 0 0 89 0 0 0 15 0 22 0 524288630 16065454080 90505 33554432000 1073741824 1073778376 140735845664576 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 1 0 0 0
[pid=28478/tid=28500] ppid=28476 vsize=15688920 CPUtime=0 cores=1,3,5,7
/proc/28478/task/28500/stat : 28500 (java) S 28476 28478 27898 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 524288630 16065454080 90505 33554432000 1073741824 1073778376 140735845664576 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 7 0 0 0
[pid=28478/tid=28501] ppid=28476 vsize=15688920 CPUtime=0 cores=1,3,5,7
/proc/28478/task/28501/stat : 28501 (java) S 28476 28478 27898 0 -1 4202560 63 0 0 0 0 0 0 0 15 0 22 0 524288630 16065454080 90505 33554432000 1073741824 1073778376 140735845664576 18446744073709551615 274676624896 0 4 0 16800975 18446604470081604416 0 0 -1 3 0 0 0
[pid=28478/tid=28506] ppid=28476 vsize=15688920 CPUtime=1167.38 cores=1,3,5,7
/proc/28478/task/28506/stat : 28506 (java) R 28476 28478 27898 0 -1 4202560 341293 0 0 0 116686 52 0 0 25 0 22 0 524288651 16065454080 90505 33554432000 1073741824 1073778376 140735845664576 18446744073709551615 46912505659235 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=28478/tid=28507] ppid=28476 vsize=15688920 CPUtime=1166.79 cores=1,3,5,7
/proc/28478/task/28507/stat : 28507 (java) R 28476 28478 27898 0 -1 4202560 339019 0 0 0 116631 48 0 0 25 0 22 0 524288651 16065454080 90505 33554432000 1073741824 1073778376 140735845664576 18446744073709551615 46912505891572 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=28478/tid=28508] ppid=28476 vsize=15688920 CPUtime=1167.03 cores=1,3,5,7
/proc/28478/task/28508/stat : 28508 (java) R 28476 28478 27898 0 -1 4202560 345696 0 0 0 116653 50 0 0 25 0 22 0 524288651 16065454080 90505 33554432000 1073741824 1073778376 140735845664576 18446744073709551615 47093761102426 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=28478/tid=28509] ppid=28476 vsize=15688920 CPUtime=1167.75 cores=1,3,5,7
/proc/28478/task/28509/stat : 28509 (java) R 28476 28478 27898 0 -1 4202560 341540 0 0 0 116725 50 0 0 25 0 22 0 524288651 16065454080 90505 33554432000 1073741824 1073778376 140735845664576 18446744073709551615 18446744073699065863 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4701.5
Current children cumulated vsize (KiB) 15688920



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1207.1 s]
/proc/loadavg: 8.13 8.12 8.05 10/218 28541
/proc/meminfo: memFree=30073940/32951132 swapFree=67111356/67111528
[pid=28478] ppid=28476 vsize=15688920 CPUtime=4800.12 cores=1,3,5,7
/proc/28478/stat : 28478 (java) S 28476 28478 27898 0 -1 4202496 2658290 0 1 0 479478 534 0 0 24 0 22 0 524288626 16065454080 83895 33554432000 1073741824 1073778376 140735845664576 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/28478/statm: 3922230 83895 2298 9 0 3912949 0
[pid=28478/tid=28479] ppid=28476 vsize=15688920 CPUtime=0.34 cores=1,3,5,7
/proc/28478/task/28479/stat : 28479 (java) S 28476 28478 27898 0 -1 4202560 6437 0 1 0 33 1 0 0 20 0 22 0 524288626 16065454080 83895 33554432000 1073741824 1073778376 140735845664576 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 1 0 0 0
[pid=28478/tid=28481] ppid=28476 vsize=15688920 CPUtime=3.54 cores=1,3,5,7
/proc/28478/task/28481/stat : 28481 (java) S 28476 28478 27898 0 -1 4202560 147439 0 0 0 326 28 0 0 15 0 22 0 524288627 16065454080 83895 33554432000 1073741824 1073778376 140735845664576 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 3 0 0 0
[pid=28478/tid=28482] ppid=28476 vsize=15688920 CPUtime=3.59 cores=1,3,5,7
/proc/28478/task/28482/stat : 28482 (java) S 28476 28478 27898 0 -1 4202560 154471 0 0 0 331 28 0 0 15 0 22 0 524288627 16065454080 83895 33554432000 1073741824 1073778376 140735845664576 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 3 0 0 0
[pid=28478/tid=28483] ppid=28476 vsize=15688920 CPUtime=3.55 cores=1,3,5,7
/proc/28478/task/28483/stat : 28483 (java) S 28476 28478 27898 0 -1 4202560 148964 0 0 0 328 27 0 0 16 0 22 0 524288627 16065454080 83895 33554432000 1073741824 1073778376 140735845664576 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 1 0 0 0
[pid=28478/tid=28484] ppid=28476 vsize=15688920 CPUtime=3.62 cores=1,3,5,7
/proc/28478/task/28484/stat : 28484 (java) S 28476 28478 27898 0 -1 4202560 163745 0 0 0 332 30 0 0 15 0 22 0 524288627 16065454080 83895 33554432000 1073741824 1073778376 140735845664576 18446744073709551615 274676624896 0 4 0 16800975 18446604470081604416 0 0 -1 3 0 0 0
[pid=28478/tid=28485] ppid=28476 vsize=15688920 CPUtime=3.64 cores=1,3,5,7
/proc/28478/task/28485/stat : 28485 (java) S 28476 28478 27898 0 -1 4202560 151958 0 0 0 338 26 0 0 16 0 22 0 524288627 16065454080 83895 33554432000 1073741824 1073778376 140735845664576 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 5 0 0 0
[pid=28478/tid=28486] ppid=28476 vsize=15688920 CPUtime=3.59 cores=1,3,5,7
/proc/28478/task/28486/stat : 28486 (java) S 28476 28478 27898 0 -1 4202560 154130 0 0 0 329 30 0 0 15 0 22 0 524288627 16065454080 83895 33554432000 1073741824 1073778376 140735845664576 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 1 0 0 0
[pid=28478/tid=28487] ppid=28476 vsize=15688920 CPUtime=3.63 cores=1,3,5,7
/proc/28478/task/28487/stat : 28487 (java) S 28476 28478 27898 0 -1 4202560 158662 0 0 0 332 31 0 0 15 0 22 0 524288627 16065454080 83895 33554432000 1073741824 1073778376 140735845664576 18446744073709551615 274676624896 0 4 0 16800975 18446604470081604416 0 0 -1 1 0 0 0
[pid=28478/tid=28488] ppid=28476 vsize=15688920 CPUtime=3.65 cores=1,3,5,7
/proc/28478/task/28488/stat : 28488 (java) S 28476 28478 27898 0 -1 4202560 159495 0 0 0 333 32 0 0 15 0 22 0 524288627 16065454080 83895 33554432000 1073741824 1073778376 140735845664576 18446744073709551615 274676624896 0 4 0 16800975 18446604470081604416 0 0 -1 5 0 0 0
[pid=28478/tid=28489] ppid=28476 vsize=15688920 CPUtime=2.37 cores=1,3,5,7
/proc/28478/task/28489/stat : 28489 (java) S 28476 28478 27898 0 -1 4202560 6683 0 0 0 150 87 0 0 16 0 22 0 524288628 16065454080 83895 33554432000 1073741824 1073778376 140735845664576 18446744073709551615 274676624281 0 0 0 16800975 18446604470081604416 0 0 -1 7 0 0 0
[pid=28478/tid=28495] ppid=28476 vsize=15688920 CPUtime=0 cores=1,3,5,7
/proc/28478/task/28495/stat : 28495 (java) S 28476 28478 27898 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 524288628 16065454080 83895 33554432000 1073741824 1073778376 140735845664576 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 5 0 0 0
[pid=28478/tid=28496] ppid=28476 vsize=15688920 CPUtime=0 cores=1,3,5,7
/proc/28478/task/28496/stat : 28496 (java) S 28476 28478 27898 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 524288628 16065454080 83895 33554432000 1073741824 1073778376 140735845664576 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 5 0 0 0
[pid=28478/tid=28497] ppid=28476 vsize=15688920 CPUtime=0 cores=1,3,5,7
/proc/28478/task/28497/stat : 28497 (java) S 28476 28478 27898 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 524288630 16065454080 83895 33554432000 1073741824 1073778376 140735845664576 18446744073709551615 274676631985 0 4 0 16800975 18446604470081604416 0 0 -1 5 0 0 0
[pid=28478/tid=28498] ppid=28476 vsize=15688920 CPUtime=0.66 cores=1,3,5,7
/proc/28478/task/28498/stat : 28498 (java) S 28476 28478 27898 0 -1 4202560 5996 0 0 0 65 1 0 0 15 0 22 0 524288630 16065454080 83895 33554432000 1073741824 1073778376 140735845664576 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 3 0 0 0
[pid=28478/tid=28499] ppid=28476 vsize=15688920 CPUtime=0.89 cores=1,3,5,7
/proc/28478/task/28499/stat : 28499 (java) S 28476 28478 27898 0 -1 4202560 3631 0 0 0 89 0 0 0 15 0 22 0 524288630 16065454080 83895 33554432000 1073741824 1073778376 140735845664576 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 1 0 0 0
[pid=28478/tid=28500] ppid=28476 vsize=15688920 CPUtime=0 cores=1,3,5,7
/proc/28478/task/28500/stat : 28500 (java) S 28476 28478 27898 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 524288630 16065454080 83895 33554432000 1073741824 1073778376 140735845664576 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 7 0 0 0
[pid=28478/tid=28501] ppid=28476 vsize=15688920 CPUtime=0 cores=1,3,5,7
/proc/28478/task/28501/stat : 28501 (java) S 28476 28478 27898 0 -1 4202560 65 0 0 0 0 0 0 0 15 0 22 0 524288630 16065454080 83895 33554432000 1073741824 1073778376 140735845664576 18446744073709551615 274676624896 0 4 0 16800975 18446604470081604416 0 0 -1 3 0 0 0
[pid=28478/tid=28506] ppid=28476 vsize=15688920 CPUtime=1191.91 cores=1,3,5,7
/proc/28478/task/28506/stat : 28506 (java) S 28476 28478 27898 0 -1 4202560 348255 0 0 0 119137 54 0 0 25 0 22 0 524288651 16065454080 83895 33554432000 1073741824 1073778376 140735845664576 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 3 0 0 0
[pid=28478/tid=28507] ppid=28476 vsize=15688920 CPUtime=1191.21 cores=1,3,5,7
/proc/28478/task/28507/stat : 28507 (java) S 28476 28478 27898 0 -1 4202560 346183 0 0 0 119072 49 0 0 25 0 22 0 524288651 16065454080 83895 33554432000 1073741824 1073778376 140735845664576 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 1 0 0 0
[pid=28478/tid=28508] ppid=28476 vsize=15688920 CPUtime=1191.51 cores=1,3,5,7
/proc/28478/task/28508/stat : 28508 (java) S 28476 28478 27898 0 -1 4202560 352618 0 0 0 119099 52 0 0 25 0 22 0 524288651 16065454080 83895 33554432000 1073741824 1073778376 140735845664576 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 7 0 0 0
[pid=28478/tid=28509] ppid=28476 vsize=15688920 CPUtime=1192.27 cores=1,3,5,7
/proc/28478/task/28509/stat : 28509 (java) S 28476 28478 27898 0 -1 4202560 348173 0 0 0 119175 52 0 0 25 0 22 0 524288651 16065454080 83895 33554432000 1073741824 1073778376 140735845664576 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.12
Current children cumulated vsize (KiB) 15688920

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

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

[startup+1207.1 s]
/proc/loadavg: 8.13 8.12 8.05 10/218 28541
/proc/meminfo: memFree=30073940/32951132 swapFree=67111356/67111528
[pid=28478] ppid=28476 vsize=15688920 CPUtime=4800.12 cores=1,3,5,7
/proc/28478/stat : 28478 (java) S 28476 28478 27898 0 -1 4202496 2658290 0 1 0 479478 534 0 0 24 0 22 0 524288626 16065454080 83895 33554432000 1073741824 1073778376 140735845664576 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/28478/statm: 3922230 83895 2298 9 0 3912949 0
[pid=28478/tid=28479] ppid=28476 vsize=15688920 CPUtime=0.34 cores=1,3,5,7
/proc/28478/task/28479/stat : 28479 (java) S 28476 28478 27898 0 -1 4202560 6437 0 1 0 33 1 0 0 20 0 22 0 524288626 16065454080 83895 33554432000 1073741824 1073778376 140735845664576 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 1 0 0 0
[pid=28478/tid=28481] ppid=28476 vsize=15688920 CPUtime=3.54 cores=1,3,5,7
/proc/28478/task/28481/stat : 28481 (java) S 28476 28478 27898 0 -1 4202560 147439 0 0 0 326 28 0 0 15 0 22 0 524288627 16065454080 83895 33554432000 1073741824 1073778376 140735845664576 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 3 0 0 0
[pid=28478/tid=28482] ppid=28476 vsize=15688920 CPUtime=3.59 cores=1,3,5,7
/proc/28478/task/28482/stat : 28482 (java) S 28476 28478 27898 0 -1 4202560 154471 0 0 0 331 28 0 0 15 0 22 0 524288627 16065454080 83895 33554432000 1073741824 1073778376 140735845664576 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 3 0 0 0
[pid=28478/tid=28483] ppid=28476 vsize=15688920 CPUtime=3.55 cores=1,3,5,7
/proc/28478/task/28483/stat : 28483 (java) S 28476 28478 27898 0 -1 4202560 148964 0 0 0 328 27 0 0 16 0 22 0 524288627 16065454080 83895 33554432000 1073741824 1073778376 140735845664576 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 1 0 0 0
[pid=28478/tid=28484] ppid=28476 vsize=15688920 CPUtime=3.62 cores=1,3,5,7
/proc/28478/task/28484/stat : 28484 (java) S 28476 28478 27898 0 -1 4202560 163745 0 0 0 332 30 0 0 15 0 22 0 524288627 16065454080 83895 33554432000 1073741824 1073778376 140735845664576 18446744073709551615 274676624896 0 4 0 16800975 18446604470081604416 0 0 -1 3 0 0 0
[pid=28478/tid=28485] ppid=28476 vsize=15688920 CPUtime=3.64 cores=1,3,5,7
/proc/28478/task/28485/stat : 28485 (java) S 28476 28478 27898 0 -1 4202560 151958 0 0 0 338 26 0 0 16 0 22 0 524288627 16065454080 83895 33554432000 1073741824 1073778376 140735845664576 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 5 0 0 0
[pid=28478/tid=28486] ppid=28476 vsize=15688920 CPUtime=3.59 cores=1,3,5,7
/proc/28478/task/28486/stat : 28486 (java) S 28476 28478 27898 0 -1 4202560 154130 0 0 0 329 30 0 0 15 0 22 0 524288627 16065454080 83895 33554432000 1073741824 1073778376 140735845664576 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 1 0 0 0
[pid=28478/tid=28487] ppid=28476 vsize=15688920 CPUtime=3.63 cores=1,3,5,7
/proc/28478/task/28487/stat : 28487 (java) S 28476 28478 27898 0 -1 4202560 158662 0 0 0 332 31 0 0 15 0 22 0 524288627 16065454080 83895 33554432000 1073741824 1073778376 140735845664576 18446744073709551615 274676624896 0 4 0 16800975 18446604470081604416 0 0 -1 1 0 0 0
[pid=28478/tid=28488] ppid=28476 vsize=15688920 CPUtime=3.65 cores=1,3,5,7
/proc/28478/task/28488/stat : 28488 (java) S 28476 28478 27898 0 -1 4202560 159495 0 0 0 333 32 0 0 15 0 22 0 524288627 16065454080 83895 33554432000 1073741824 1073778376 140735845664576 18446744073709551615 274676624896 0 4 0 16800975 18446604470081604416 0 0 -1 5 0 0 0
[pid=28478/tid=28489] ppid=28476 vsize=15688920 CPUtime=2.37 cores=1,3,5,7
/proc/28478/task/28489/stat : 28489 (java) S 28476 28478 27898 0 -1 4202560 6683 0 0 0 150 87 0 0 16 0 22 0 524288628 16065454080 83895 33554432000 1073741824 1073778376 140735845664576 18446744073709551615 274676624281 0 0 0 16800975 18446604470081604416 0 0 -1 7 0 0 0
[pid=28478/tid=28495] ppid=28476 vsize=15688920 CPUtime=0 cores=1,3,5,7
/proc/28478/task/28495/stat : 28495 (java) S 28476 28478 27898 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 524288628 16065454080 83895 33554432000 1073741824 1073778376 140735845664576 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 5 0 0 0
[pid=28478/tid=28496] ppid=28476 vsize=15688920 CPUtime=0 cores=1,3,5,7
/proc/28478/task/28496/stat : 28496 (java) S 28476 28478 27898 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 524288628 16065454080 83895 33554432000 1073741824 1073778376 140735845664576 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 5 0 0 0
[pid=28478/tid=28497] ppid=28476 vsize=15688920 CPUtime=0 cores=1,3,5,7
/proc/28478/task/28497/stat : 28497 (java) S 28476 28478 27898 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 524288630 16065454080 83895 33554432000 1073741824 1073778376 140735845664576 18446744073709551615 274676631985 0 4 0 16800975 18446604470081604416 0 0 -1 5 0 0 0
[pid=28478/tid=28498] ppid=28476 vsize=15688920 CPUtime=0.66 cores=1,3,5,7
/proc/28478/task/28498/stat : 28498 (java) S 28476 28478 27898 0 -1 4202560 5996 0 0 0 65 1 0 0 15 0 22 0 524288630 16065454080 83895 33554432000 1073741824 1073778376 140735845664576 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 3 0 0 0
[pid=28478/tid=28499] ppid=28476 vsize=15688920 CPUtime=0.89 cores=1,3,5,7
/proc/28478/task/28499/stat : 28499 (java) S 28476 28478 27898 0 -1 4202560 3631 0 0 0 89 0 0 0 15 0 22 0 524288630 16065454080 83895 33554432000 1073741824 1073778376 140735845664576 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 1 0 0 0
[pid=28478/tid=28500] ppid=28476 vsize=15688920 CPUtime=0 cores=1,3,5,7
/proc/28478/task/28500/stat : 28500 (java) S 28476 28478 27898 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 524288630 16065454080 83895 33554432000 1073741824 1073778376 140735845664576 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 7 0 0 0
[pid=28478/tid=28501] ppid=28476 vsize=15688920 CPUtime=0 cores=1,3,5,7
/proc/28478/task/28501/stat : 28501 (java) S 28476 28478 27898 0 -1 4202560 65 0 0 0 0 0 0 0 15 0 22 0 524288630 16065454080 83895 33554432000 1073741824 1073778376 140735845664576 18446744073709551615 274676624896 0 4 0 16800975 18446604470081604416 0 0 -1 3 0 0 0
[pid=28478/tid=28506] ppid=28476 vsize=15688920 CPUtime=1191.91 cores=1,3,5,7
/proc/28478/task/28506/stat : 28506 (java) S 28476 28478 27898 0 -1 4202560 348255 0 0 0 119137 54 0 0 25 0 22 0 524288651 16065454080 83895 33554432000 1073741824 1073778376 140735845664576 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 3 0 0 0
[pid=28478/tid=28507] ppid=28476 vsize=15688920 CPUtime=1191.21 cores=1,3,5,7
/proc/28478/task/28507/stat : 28507 (java) S 28476 28478 27898 0 -1 4202560 346183 0 0 0 119072 49 0 0 25 0 22 0 524288651 16065454080 83895 33554432000 1073741824 1073778376 140735845664576 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 1 0 0 0
[pid=28478/tid=28508] ppid=28476 vsize=15688920 CPUtime=1191.51 cores=1,3,5,7
/proc/28478/task/28508/stat : 28508 (java) S 28476 28478 27898 0 -1 4202560 352618 0 0 0 119099 52 0 0 25 0 22 0 524288651 16065454080 83895 33554432000 1073741824 1073778376 140735845664576 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 7 0 0 0
[pid=28478/tid=28509] ppid=28476 vsize=15688920 CPUtime=1192.27 cores=1,3,5,7
/proc/28478/task/28509/stat : 28509 (java) S 28476 28478 27898 0 -1 4202560 348173 0 0 0 119175 52 0 0 25 0 22 0 524288651 16065454080 83895 33554432000 1073741824 1073778376 140735845664576 18446744073709551615 274676624281 0 4 0 16800975 18446604470081604416 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.12
Current children cumulated vsize (KiB) 15688920

Child status: 143
Real time (s): 1207.13
CPU time (s): 4800.17
CPU user time (s): 4794.81
CPU system time (s): 5.36118
CPU usage (%): 397.651
Max. virtual memory (cumulated for all children) (KiB): 15689876

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4794.81
system time used= 5.36118
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2658329
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= 231608
involuntary context switches= 131748

runsolver used 2.03069 second user time and 4.6173 second system time

The end

Launcher Data 

Begin job on node131 at 2011-04-30 03:28:10
IDJOB=3311429
IDBENCH=82814
IDSOLVER=1698
FILE ID=node131/3311429-1304126890
RUNJOBID= node131-1304126890-28447
PBS_JOBID= 13170735
Free space on /tmp= 71384 MiB

SOLVER NAME= STRUCTure 0.1 (hbr=2)
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v550-c2343-S1694067460-072.UNKNOWN.cnf
COMMAND LINE= run 15000 NBCORE TMPDIR DIR BENCHNAME -hbr 2
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3311429-1304126890/watcher-3311429-1304126890 -o /tmp/evaluation-result-3311429-1304126890/solver-3311429-1304126890 -C 4800 -W 1300 -M 15500  run 15000 4 HOME HOME HOME/instance-3311429-1304126890.cnf -hbr 2

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

MD5SUM BENCH= f2d2b125797e776fb2e7099729714d99
RANDOM SEED=334631313

node131.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.830
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.66
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.830
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.830
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.83
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.830
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.75
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.830
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.77
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.830
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.830
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.830
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:     32951132 kB
MemFree:      30832068 kB
Buffers:        220916 kB
Cached:        1521976 kB
SwapCached:        168 kB
Active:         164256 kB
Inactive:      1650464 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      30832068 kB
SwapTotal:    67111528 kB
SwapFree:     67111356 kB
Dirty:            3232 kB
Writeback:           0 kB
AnonPages:       71144 kB
Mapped:          20800 kB
Slab:           243000 kB
PageTables:       5056 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS:   774044 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71384 MiB
End job on node131 at 2011-04-30 03:48:19