Trace number 3312448

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

General information on the benchmark

Namerandom/large/
unif-k7-r85-v200-c17000-S335550727-070-UNKNOWN.cnf
MD5SUMbe984e6bbe5620bf919456b943096fcf
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark836.998
Satisfiable
(Un)Satisfiability was proved
Number of variables200
Number of clauses17000
Sum of the clauses size119000
Maximum clause length7
Minimum clause length7
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 517000

Solver Data 

0.10/0.12	15:19 INFO : Reading from input HOME/instance-3312448-1304115319.cnf
0.60/0.41	Executor set job limit to 1000000
0.60/0.41	Executor set job limit to 1000000
0.60/0.41	Executor set job limit to 1000000
0.60/0.41	Executor set job limit to 1000000
0.60/0.41	Starting Executor!
0.60/0.41	Starting Executor!
0.60/0.41	Starting Executor!
0.60/0.41	Starting Executor!
1.61/0.86	15:20 INFO : 200 variables remaining out of 200
1.61/0.86	15:20 INFO : 136000 literals remaining out of 136000

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

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.72 8.00 7.57 6/202 25324
/proc/meminfo: memFree=19760848/32951124 swapFree=67111412/67111528
[pid=25324] ppid=25322 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/25324/stat : 25324 (java) R 25322 25324 24984 0 -1 4202496 943 0 0 0 0 0 0 0 22 0 1 0 523130071 23580672 429 33554432000 1073741824 1073778376 140735007049760 18446744073709551615 232330929941 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/25324/statm: 5757 442 341 9 0 124 0

[startup+0.0258519 s]
/proc/loadavg: 7.72 8.00 7.57 6/202 25324
/proc/meminfo: memFree=19760848/32951124 swapFree=67111412/67111528
[pid=25324] ppid=25322 vsize=15602060 CPUtime=0.01 cores=1,3,5,7
/proc/25324/stat : 25324 (java) S 25322 25324 24984 0 -1 4202496 3339 0 1 0 1 0 0 0 22 0 11 0 523130071 15976509440 2780 33554432000 1073741824 1073778376 140735007049760 18446744073709551615 232347695077 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/25324/statm: 3900515 2782 1608 9 0 3891263 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 15602060

[startup+0.10084 s]
/proc/loadavg: 7.72 8.00 7.57 6/202 25324
/proc/meminfo: memFree=19760848/32951124 swapFree=67111412/67111528
[pid=25324] ppid=25322 vsize=15676884 CPUtime=0.1 cores=1,3,5,7
/proc/25324/stat : 25324 (java) S 25322 25324 24984 0 -1 4202496 5589 0 1 0 9 1 0 0 22 0 18 0 523130071 16053129216 4990 33554432000 1073741824 1073778376 140735007049760 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25324/statm: 3919221 4990 2117 9 0 3909940 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15676884

[startup+0.300807 s]
/proc/loadavg: 7.72 8.00 7.57 6/202 25324
/proc/meminfo: memFree=19760848/32951124 swapFree=67111412/67111528
[pid=25324] ppid=25322 vsize=15680676 CPUtime=0.51 cores=1,3,5,7
/proc/25324/stat : 25324 (java) S 25322 25324 24984 0 -1 4202496 15293 0 1 0 49 2 0 0 22 0 18 0 523130071 16057012224 13789 33554432000 1073741824 1073778376 140735007049760 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25324/statm: 3920169 13795 2207 9 0 3910888 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 15680676

[startup+0.700696 s]
/proc/loadavg: 7.72 8.00 7.57 6/202 25324
/proc/meminfo: memFree=19760848/32951124 swapFree=67111412/67111528
[pid=25324] ppid=25322 vsize=15704124 CPUtime=1.31 cores=1,3,5,7
/proc/25324/stat : 25324 (java) S 25322 25324 24984 0 -1 4202496 43120 0 1 0 125 6 0 0 22 0 22 0 523130071 16081022976 38865 33554432000 1073741824 1073778376 140735007049760 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25324/statm: 3926071 38869 2242 9 0 3916790 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 15704124

[startup+1.50156 s]
/proc/loadavg: 7.72 8.00 7.57 10/224 25346
/proc/meminfo: memFree=19593088/32951124 swapFree=67111412/67111528
[pid=25324] ppid=25322 vsize=15707068 CPUtime=4.1 cores=1,3,5,7
/proc/25324/stat : 25324 (java) S 25322 25324 24984 0 -1 4202496 63899 0 1 0 401 9 0 0 22 0 22 0 523130071 16084037632 54376 33554432000 1073741824 1073778376 140735007049760 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25324/statm: 3926767 54376 2274 9 0 3917486 0
[pid=25324/tid=25326] ppid=25322 vsize=15707068 CPUtime=0.85 cores=1,3,5,7
/proc/25324/task/25326/stat : 25326 (java) S 25322 25324 24984 0 -1 4202560 29683 0 1 0 81 4 0 0 20 0 22 0 523130072 16084037632 54376 33554432000 1073741824 1073778376 140735007049760 18446744073709551615 232347708313 0 4 0 16800975 18446604471161006912 0 0 -1 1 0 0 0
[pid=25324/tid=25327] ppid=25322 vsize=15707068 CPUtime=0 cores=1,3,5,7
/proc/25324/task/25327/stat : 25327 (java) S 25322 25324 24984 0 -1 4202560 481 0 0 0 0 0 0 0 15 0 22 0 523130072 16084037632 54376 33554432000 1073741824 1073778376 140735007049760 18446744073709551615 232347708313 0 4 0 16800975 18446604471161006912 0 0 -1 7 0 0 0
[pid=25324/tid=25328] ppid=25322 vsize=15707068 CPUtime=0 cores=1,3,5,7
/proc/25324/task/25328/stat : 25328 (java) S 25322 25324 24984 0 -1 4202560 1467 0 0 0 0 0 0 0 16 0 22 0 523130072 16084037632 54376 33554432000 1073741824 1073778376 140735007049760 18446744073709551615 232347708313 0 4 0 16800975 18446604471161006912 0 0 -1 7 0 0 0
[pid=25324/tid=25329] ppid=25322 vsize=15707068 CPUtime=0 cores=1,3,5,7
/proc/25324/task/25329/stat : 25329 (java) S 25322 25324 24984 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 523130072 16084037632 54376 33554432000 1073741824 1073778376 140735007049760 18446744073709551615 232347708313 0 4 0 16800975 18446604471161006912 0 0 -1 5 0 0 0
[pid=25324/tid=25330] ppid=25322 vsize=15707068 CPUtime=0 cores=1,3,5,7
/proc/25324/task/25330/stat : 25330 (java) S 25322 25324 24984 0 -1 4202560 1484 0 0 0 0 0 0 0 15 0 22 0 523130072 16084037632 54376 33554432000 1073741824 1073778376 140735007049760 18446744073709551615 232347708313 0 4 0 16800975 18446604471161006912 0 0 -1 1 0 0 0
[pid=25324/tid=25331] ppid=25322 vsize=15707068 CPUtime=0 cores=1,3,5,7
/proc/25324/task/25331/stat : 25331 (java) S 25322 25324 24984 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 523130072 16084037632 54376 33554432000 1073741824 1073778376 140735007049760 18446744073709551615 232347708313 0 4 0 16800975 18446604471161006912 0 0 -1 5 0 0 0
[pid=25324/tid=25332] ppid=25322 vsize=15707068 CPUtime=0 cores=1,3,5,7
/proc/25324/task/25332/stat : 25332 (java) S 25322 25324 24984 0 -1 4202560 1135 0 0 0 0 0 0 0 15 0 22 0 523130072 16084037632 54376 33554432000 1073741824 1073778376 140735007049760 18446744073709551615 232347708313 0 4 0 16800975 18446604471161006912 0 0 -1 3 0 0 0
[pid=25324/tid=25333] ppid=25322 vsize=15707068 CPUtime=0 cores=1,3,5,7
/proc/25324/task/25333/stat : 25333 (java) S 25322 25324 24984 0 -1 4202560 1280 0 0 0 0 0 0 0 15 0 22 0 523130072 16084037632 54376 33554432000 1073741824 1073778376 140735007049760 18446744073709551615 232347708313 0 4 0 16800975 18446604471161006912 0 0 -1 5 0 0 0
[pid=25324/tid=25334] ppid=25322 vsize=15707068 CPUtime=0 cores=1,3,5,7
/proc/25324/task/25334/stat : 25334 (java) S 25322 25324 24984 0 -1 4202560 439 0 0 0 0 0 0 0 15 0 22 0 523130072 16084037632 54376 33554432000 1073741824 1073778376 140735007049760 18446744073709551615 232347708313 0 4 0 16800975 18446604471161006912 0 0 -1 1 0 0 0
[pid=25324/tid=25335] ppid=25322 vsize=15707068 CPUtime=0 cores=1,3,5,7
/proc/25324/task/25335/stat : 25335 (java) S 25322 25324 24984 0 -1 4202560 74 0 0 0 0 0 0 0 16 0 22 0 523130073 16084037632 54376 33554432000 1073741824 1073778376 140735007049760 18446744073709551615 232347708928 0 0 0 16800975 18446604471161006912 0 0 -1 1 0 0 0
[pid=25324/tid=25336] ppid=25322 vsize=15707068 CPUtime=0 cores=1,3,5,7
/proc/25324/task/25336/stat : 25336 (java) S 25322 25324 24984 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 523130074 16084037632 54376 33554432000 1073741824 1073778376 140735007049760 18446744073709551615 232347708313 0 4 0 16800975 18446604471161006912 0 0 -1 5 0 0 0
[pid=25324/tid=25337] ppid=25322 vsize=15707068 CPUtime=0 cores=1,3,5,7
/proc/25324/task/25337/stat : 25337 (java) S 25322 25324 24984 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 523130074 16084037632 54376 33554432000 1073741824 1073778376 140735007049760 18446744073709551615 232347708313 0 4 0 16800975 18446604471161006912 0 0 -1 5 0 0 0
[pid=25324/tid=25338] ppid=25322 vsize=15707068 CPUtime=0 cores=1,3,5,7
/proc/25324/task/25338/stat : 25338 (java) S 25322 25324 24984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523130076 16084037632 54376 33554432000 1073741824 1073778376 140735007049760 18446744073709551615 232347716017 0 4 0 16800975 18446604471161006912 0 0 -1 3 0 0 0
[pid=25324/tid=25339] ppid=25322 vsize=15707068 CPUtime=0.68 cores=1,3,5,7
/proc/25324/task/25339/stat : 25339 (java) R 25322 25324 24984 0 -1 4202560 6957 0 0 0 68 0 0 0 24 0 22 0 523130076 16084037632 54376 33554432000 1073741824 1073778376 140735007049760 18446744073709551615 232347718325 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=25324/tid=25340] ppid=25322 vsize=15707068 CPUtime=0.92 cores=1,3,5,7
/proc/25324/task/25340/stat : 25340 (java) R 25322 25324 24984 0 -1 4202560 13454 0 0 0 91 1 0 0 15 0 22 0 523130076 16084037632 54376 33554432000 1073741824 1073778376 140735007049760 18446744073709551615 47490420451613 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=25324/tid=25341] ppid=25322 vsize=15707068 CPUtime=0 cores=1,3,5,7
/proc/25324/task/25341/stat : 25341 (java) S 25322 25324 24984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523130076 16084037632 54376 33554432000 1073741824 1073778376 140735007049760 18446744073709551615 232347708313 0 4 0 16800975 18446604471161006912 0 0 -1 3 0 0 0
[pid=25324/tid=25342] ppid=25322 vsize=15707068 CPUtime=0 cores=1,3,5,7
/proc/25324/task/25342/stat : 25342 (java) S 25322 25324 24984 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 523130076 16084037632 54376 33554432000 1073741824 1073778376 140735007049760 18446744073709551615 232347708928 0 4 0 16800975 18446604471161006912 0 0 -1 7 0 0 0
[pid=25324/tid=25343] ppid=25322 vsize=15707068 CPUtime=0.34 cores=1,3,5,7
/proc/25324/task/25343/stat : 25343 (java) R 25322 25324 24984 0 -1 4202560 800 0 0 0 34 0 0 0 16 0 22 0 523130113 16084037632 54376 33554432000 1073741824 1073778376 140735007049760 18446744073709551615 46912505709184 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=25324/tid=25344] ppid=25322 vsize=15707068 CPUtime=0.31 cores=1,3,5,7
/proc/25324/task/25344/stat : 25344 (java) R 25322 25324 24984 0 -1 4202560 2072 0 0 0 31 0 0 0 16 0 22 0 523130113 16084037632 54376 33554432000 1073741824 1073778376 140735007049760 18446744073709551615 47490424502409 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=25324/tid=25345] ppid=25322 vsize=15707068 CPUtime=0.37 cores=1,3,5,7
/proc/25324/task/25345/stat : 25345 (java) R 25322 25324 24984 0 -1 4202560 21 0 0 0 37 0 0 0 16 0 22 0 523130113 16084037632 54376 33554432000 1073741824 1073778376 140735007049760 18446744073709551615 232347718325 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=25324/tid=25346] ppid=25322 vsize=15707068 CPUtime=0.54 cores=1,3,5,7
/proc/25324/task/25346/stat : 25346 (java) R 25322 25324 24984 0 -1 4202560 3164 0 0 0 54 0 0 0 16 0 22 0 523130113 16084037632 54376 33554432000 1073741824 1073778376 140735007049760 18446744073709551615 46912505853547 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.1
Current children cumulated vsize (KiB) 15707068

[startup+3.10127 s]
/proc/loadavg: 7.72 8.00 7.57 11/224 25346
/proc/meminfo: memFree=19491908/32951124 swapFree=67111412/67111528
[pid=25324] ppid=25322 vsize=15707068 CPUtime=10.48 cores=1,3,5,7
/proc/25324/stat : 25324 (java) S 25322 25324 24984 0 -1 4202496 110811 0 1 0 1031 17 0 0 22 0 22 0 523130071 16084037632 101215 33554432000 1073741824 1073778376 140735007049760 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25324/statm: 3926767 101215 2274 9 0 3917486 0
[pid=25324/tid=25326] ppid=25322 vsize=15707068 CPUtime=0.85 cores=1,3,5,7
/proc/25324/task/25326/stat : 25326 (java) S 25322 25324 24984 0 -1 4202560 29683 0 1 0 81 4 0 0 20 0 22 0 523130072 16084037632 101215 33554432000 1073741824 1073778376 140735007049760 18446744073709551615 232347708313 0 4 0 16800975 18446604471161006912 0 0 -1 1 0 0 0
[pid=25324/tid=25327] ppid=25322 vsize=15707068 CPUtime=0 cores=1,3,5,7
/proc/25324/task/25327/stat : 25327 (java) S 25322 25324 24984 0 -1 4202560 2621 0 0 0 0 0 0 0 15 0 22 0 523130072 16084037632 101215 33554432000 1073741824 1073778376 140735007049760 18446744073709551615 232347708313 0 4 0 16800975 18446604471161006912 0 0 -1 5 0 0 0
[pid=25324/tid=25328] ppid=25322 vsize=15707068 CPUtime=0.01 cores=1,3,5,7
/proc/25324/task/25328/stat : 25328 (java) S 25322 25324 24984 0 -1 4202560 5754 0 0 0 1 0 0 0 16 0 22 0 523130072 16084037632 101215 33554432000 1073741824 1073778376 140735007049760 18446744073709551615 232347708313 0 4 0 16800975 18446604471161006912 0 0 -1 7 0 0 0
[pid=25324/tid=25329] ppid=25322 vsize=15707068 CPUtime=0 cores=1,3,5,7
/proc/25324/task/25329/stat : 25329 (java) S 25322 25324 24984 0 -1 4202560 3061 0 0 0 0 0 0 0 15 0 22 0 523130072 16084037632 101215 33554432000 1073741824 1073778376 140735007049760 18446744073709551615 232347708313 0 4 0 16800975 18446604471161006912 0 0 -1 3 0 0 0
[pid=25324/tid=25330] ppid=25322 vsize=15707068 CPUtime=0.01 cores=1,3,5,7
/proc/25324/task/25330/stat : 25330 (java) S 25322 25324 24984 0 -1 4202560 6266 0 0 0 0 1 0 0 16 0 22 0 523130072 16084037632 101215 33554432000 1073741824 1073778376 140735007049760 18446744073709551615 232347708313 0 4 0 16800975 18446604471161006912 0 0 -1 1 0 0 0
[pid=25324/tid=25331] ppid=25322 vsize=15707068 CPUtime=0.02 cores=1,3,5,7
/proc/25324/task/25331/stat : 25331 (java) S 25322 25324 24984 0 -1 4202560 6426 0 0 0 1 1 0 0 16 0 22 0 523130072 16084037632 101215 33554432000 1073741824 1073778376 140735007049760 18446744073709551615 232347708313 0 4 0 16800975 18446604471161006912 0 0 -1 7 0 0 0
[pid=25324/tid=25332] ppid=25322 vsize=15707068 CPUtime=0.01 cores=1,3,5,7
/proc/25324/task/25332/stat : 25332 (java) S 25322 25324 24984 0 -1 4202560 4129 0 0 0 1 0 0 0 16 0 22 0 523130072 16084037632 101215 33554432000 1073741824 1073778376 140735007049760 18446744073709551615 232347708313 0 4 0 16800975 18446604471161006912 0 0 -1 3 0 0 0
[pid=25324/tid=25333] ppid=25322 vsize=15707068 CPUtime=0 cores=1,3,5,7
/proc/25324/task/25333/stat : 25333 (java) S 25322 25324 24984 0 -1 4202560 1280 0 0 0 0 0 0 0 15 0 22 0 523130072 16084037632 101215 33554432000 1073741824 1073778376 140735007049760 18446744073709551615 232347708313 0 4 0 16800975 18446604471161006912 0 0 -1 5 0 0 0
[pid=25324/tid=25334] ppid=25322 vsize=15707068 CPUtime=0 cores=1,3,5,7
/proc/25324/task/25334/stat : 25334 (java) S 25322 25324 24984 0 -1 4202560 2038 0 0 0 0 0 0 0 15 0 22 0 523130072 16084037632 101215 33554432000 1073741824 1073778376 140735007049760 18446744073709551615 232347708313 0 4 0 16800975 18446604471161006912 0 0 -1 1 0 0 0
[pid=25324/tid=25335] ppid=25322 vsize=15707068 CPUtime=0 cores=1,3,5,7
/proc/25324/task/25335/stat : 25335 (java) S 25322 25324 24984 0 -1 4202560 232 0 0 0 0 0 0 0 15 0 22 0 523130073 16084037632 101215 33554432000 1073741824 1073778376 140735007049760 18446744073709551615 232347708928 0 0 0 16800975 18446604471161006912 0 0 -1 1 0 0 0
[pid=25324/tid=25336] ppid=25322 vsize=15707068 CPUtime=0 cores=1,3,5,7
/proc/25324/task/25336/stat : 25336 (java) S 25322 25324 24984 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 523130074 16084037632 101215 33554432000 1073741824 1073778376 140735007049760 18446744073709551615 232347708313 0 4 0 16800975 18446604471161006912 0 0 -1 5 0 0 0
[pid=25324/tid=25337] ppid=25322 vsize=15707068 CPUtime=0 cores=1,3,5,7
/proc/25324/task/25337/stat : 25337 (java) S 25322 25324 24984 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 523130074 16084037632 101215 33554432000 1073741824 1073778376 140735007049760 18446744073709551615 232347708313 0 4 0 16800975 18446604471161006912 0 0 -1 5 0 0 0
[pid=25324/tid=25338] ppid=25322 vsize=15707068 CPUtime=0 cores=1,3,5,7
/proc/25324/task/25338/stat : 25338 (java) S 25322 25324 24984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523130076 16084037632 101215 33554432000 1073741824 1073778376 140735007049760 18446744073709551615 232347716017 0 4 0 16800975 18446604471161006912 0 0 -1 3 0 0 0
[pid=25324/tid=25339] ppid=25322 vsize=15707068 CPUtime=0.69 cores=1,3,5,7
/proc/25324/task/25339/stat : 25339 (java) R 25322 25324 24984 0 -1 4202560 6959 0 0 0 69 0 0 0 23 0 22 0 523130076 16084037632 101215 33554432000 1073741824 1073778376 140735007049760 18446744073709551615 232347708313 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=25324/tid=25340] ppid=25322 vsize=15707068 CPUtime=1.12 cores=1,3,5,7
/proc/25324/task/25340/stat : 25340 (java) R 25322 25324 24984 0 -1 4202560 13477 0 0 0 111 1 0 0 15 0 22 0 523130076 16084037632 101215 33554432000 1073741824 1073778376 140735007049760 18446744073709551615 47490423561394 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=25324/tid=25341] ppid=25322 vsize=15707068 CPUtime=0 cores=1,3,5,7
/proc/25324/task/25341/stat : 25341 (java) S 25322 25324 24984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523130076 16084037632 101215 33554432000 1073741824 1073778376 140735007049760 18446744073709551615 232347708313 0 4 0 16800975 18446604471161006912 0 0 -1 3 0 0 0
[pid=25324/tid=25342] ppid=25322 vsize=15707068 CPUtime=0 cores=1,3,5,7
/proc/25324/task/25342/stat : 25342 (java) S 25322 25324 24984 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 523130076 16084037632 101215 33554432000 1073741824 1073778376 140735007049760 18446744073709551615 232347708928 0 4 0 16800975 18446604471161006912 0 0 -1 7 0 0 0
[pid=25324/tid=25343] ppid=25322 vsize=15707068 CPUtime=1.89 cores=1,3,5,7
/proc/25324/task/25343/stat : 25343 (java) R 25322 25324 24984 0 -1 4202560 5924 0 0 0 189 0 0 0 17 0 22 0 523130113 16084037632 101215 33554432000 1073741824 1073778376 140735007049760 18446744073709551615 46912505984302 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=25324/tid=25344] ppid=25322 vsize=15707068 CPUtime=1.75 cores=1,3,5,7
/proc/25324/task/25344/stat : 25344 (java) R 25322 25324 24984 0 -1 4202560 7759 0 0 0 175 0 0 0 17 0 22 0 523130113 16084037632 101215 33554432000 1073741824 1073778376 140735007049760 18446744073709551615 46912505693397 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=25324/tid=25345] ppid=25322 vsize=15707068 CPUtime=1.87 cores=1,3,5,7
/proc/25324/task/25345/stat : 25345 (java) R 25322 25324 24984 0 -1 4202560 5248 0 0 0 187 0 0 0 17 0 22 0 523130113 16084037632 101215 33554432000 1073741824 1073778376 140735007049760 18446744073709551615 47490424499370 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=25324/tid=25346] ppid=25322 vsize=15707068 CPUtime=2.09 cores=1,3,5,7
/proc/25324/task/25346/stat : 25346 (java) R 25322 25324 24984 0 -1 4202560 8568 0 0 0 209 0 0 0 17 0 22 0 523130113 16084037632 101215 33554432000 1073741824 1073778376 140735007049760 18446744073709551615 18446744073699065863 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 10.48
Current children cumulated vsize (KiB) 15707068

[startup+6.3007 s]
/proc/loadavg: 7.90 8.04 7.58 9/224 25346
/proc/meminfo: memFree=19033884/32951124 swapFree=67111412/67111528
[pid=25324] ppid=25322 vsize=15699580 CPUtime=23.25 cores=1,3,5,7
/proc/25324/stat : 25324 (java) S 25322 25324 24984 0 -1 4202496 231446 0 1 0 2291 34 0 0 22 0 22 0 523130071 16076369920 220019 33554432000 1073741824 1073778376 140735007049760 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25324/statm: 3924895 220019 2284 9 0 3915614 0
[pid=25324/tid=25326] ppid=25322 vsize=15699580 CPUtime=0.85 cores=1,3,5,7
/proc/25324/task/25326/stat : 25326 (java) S 25322 25324 24984 0 -1 4202560 29683 0 1 0 81 4 0 0 20 0 22 0 523130072 16076369920 220020 33554432000 1073741824 1073778376 140735007049760 18446744073709551615 232347708313 0 4 0 16800975 18446604471161006912 0 0 -1 1 0 0 0
[pid=25324/tid=25327] ppid=25322 vsize=15699580 CPUtime=0.01 cores=1,3,5,7
/proc/25324/task/25327/stat : 25327 (java) S 25322 25324 24984 0 -1 4202560 5410 0 0 0 1 0 0 0 16 0 22 0 523130072 16076369920 220020 33554432000 1073741824 1073778376 140735007049760 18446744073709551615 232347708313 0 4 0 16800975 18446604471161006912 0 0 -1 5 0 0 0
[pid=25324/tid=25328] ppid=25322 vsize=15699580 CPUtime=0.02 cores=1,3,5,7
/proc/25324/task/25328/stat : 25328 (java) S 25322 25324 24984 0 -1 4202560 10446 0 0 0 1 1 0 0 15 0 22 0 523130072 16076369920 220020 33554432000 1073741824 1073778376 140735007049760 18446744073709551615 232347708313 0 4 0 16800975 18446604471161006912 0 0 -1 5 0 0 0
[pid=25324/tid=25329] ppid=25322 vsize=15699580 CPUtime=0.03 cores=1,3,5,7
/proc/25324/task/25329/stat : 25329 (java) S 25322 25324 24984 0 -1 4202560 9839 0 0 0 1 2 0 0 16 0 22 0 523130072 16076369920 220021 33554432000 1073741824 1073778376 140735007049760 18446744073709551615 232347708313 0 4 0 16800975 18446604471161006912 0 0 -1 1 0 0 0
[pid=25324/tid=25330] ppid=25322 vsize=15699580 CPUtime=0.04 cores=1,3,5,7
/proc/25324/task/25330/stat : 25330 (java) S 25322 25324 24984 0 -1 4202560 13103 0 0 0 1 3 0 0 16 0 22 0 523130072 16076369920 220022 33554432000 1073741824 1073778376 140735007049760 18446744073709551615 232347708313 0 4 0 16800975 18446604471161006912 0 0 -1 3 0 0 0
[pid=25324/tid=25331] ppid=25322 vsize=15699580 CPUtime=0.03 cores=1,3,5,7
/proc/25324/task/25331/stat : 25331 (java) S 25322 25324 24984 0 -1 4202560 8860 0 0 0 2 1 0 0 15 0 22 0 523130072 16076369920 220022 33554432000 1073741824 1073778376 140735007049760 18446744073709551615 232347708313 0 4 0 16800975 18446604471161006912 0 0 -1 7 0 0 0
[pid=25324/tid=25332] ppid=25322 vsize=15699580 CPUtime=0.02 cores=1,3,5,7
/proc/25324/task/25332/stat : 25332 (java) S 25322 25324 24984 0 -1 4202560 6545 0 0 0 1 1 0 0 15 0 22 0 523130072 16076369920 220023 33554432000 1073741824 1073778376 140735007049760 18446744073709551615 232347708313 0 4 0 16800975 18446604471161006912 0 0 -1 5 0 0 0
[pid=25324/tid=25333] ppid=25322 vsize=15699580 CPUtime=0 cores=1,3,5,7
/proc/25324/task/25333/stat : 25333 (java) S 25322 25324 24984 0 -1 4202560 3782 0 0 0 0 0 0 0 16 0 22 0 523130072 16076369920 220023 33554432000 1073741824 1073778376 140735007049760 18446744073709551615 232347708313 0 4 0 16800975 18446604471161006912 0 0 -1 7 0 0 0
[pid=25324/tid=25334] ppid=25322 vsize=15699580 CPUtime=0 cores=1,3,5,7
/proc/25324/task/25334/stat : 25334 (java) S 25322 25324 24984 0 -1 4202560 2038 0 0 0 0 0 0 0 15 0 22 0 523130072 16076369920 220029 33554432000 1073741824 1073778376 140735007049760 18446744073709551615 232347708313 0 4 0 16800975 18446604471161006912 0 0 -1 1 0 0 0
[pid=25324/tid=25335] ppid=25322 vsize=15699580 CPUtime=0 cores=1,3,5,7
/proc/25324/task/25335/stat : 25335 (java) S 25322 25324 24984 0 -1 4202560 483 0 0 0 0 0 0 0 16 0 22 0 523130073 16076369920 220034 33554432000 1073741824 1073778376 140735007049760 18446744073709551615 232347708928 0 0 0 16800975 18446604471161006912 0 0 -1 1 0 0 0
[pid=25324/tid=25336] ppid=25322 vsize=15699580 CPUtime=0 cores=1,3,5,7
/proc/25324/task/25336/stat : 25336 (java) S 25322 25324 24984 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 523130074 16076369920 220035 33554432000 1073741824 1073778376 140735007049760 18446744073709551615 232347708313 0 4 0 16800975 18446604471161006912 0 0 -1 5 0 0 0
[pid=25324/tid=25337] ppid=25322 vsize=15699580 CPUtime=0 cores=1,3,5,7
/proc/25324/task/25337/stat : 25337 (java) S 25322 25324 24984 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 523130074 16076369920 220035 33554432000 1073741824 1073778376 140735007049760 18446744073709551615 232347708313 0 4 0 16800975 18446604471161006912 0 0 -1 5 0 0 0
[pid=25324/tid=25338] ppid=25322 vsize=15699580 CPUtime=0 cores=1,3,5,7
/proc/25324/task/25338/stat : 25338 (java) S 25322 25324 24984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523130076 16076369920 220035 33554432000 1073741824 1073778376 140735007049760 18446744073709551615 232347716017 0 4 0 16800975 18446604471161006912 0 0 -1 3 0 0 0
[pid=25324/tid=25339] ppid=25322 vsize=15699580 CPUtime=0.79 cores=1,3,5,7
/proc/25324/task/25339/stat : 25339 (java) S 25322 25324 24984 0 -1 4202560 6970 0 0 0 79 0 0 0 15 0 22 0 523130076 16076369920 220035 33554432000 1073741824 1073778376 140735007049760 18446744073709551615 232347708313 0 4 0 16800975 18446604471161006912 0 0 -1 7 0 0 0

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

[pid=25324/tid=25344] ppid=25322 vsize=15699580 CPUtime=1107.66 cores=1,3,5,7
/proc/25324/task/25344/stat : 25344 (java) R 25322 25324 24984 0 -1 4202560 225840 0 0 0 110728 38 0 0 25 0 22 0 523130113 16076369920 99687 33554432000 1073741824 1073778376 140735007049760 18446744073709551615 46912505766741 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=25324/tid=25345] ppid=25322 vsize=15699580 CPUtime=1107.7 cores=1,3,5,7
/proc/25324/task/25345/stat : 25345 (java) R 25322 25324 24984 0 -1 4202560 221443 0 0 0 110733 37 0 0 25 0 22 0 523130113 16076369920 99687 33554432000 1073741824 1073778376 140735007049760 18446744073709551615 46912505738494 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=25324/tid=25346] ppid=25322 vsize=15699580 CPUtime=1107.67 cores=1,3,5,7
/proc/25324/task/25346/stat : 25346 (java) R 25322 25324 24984 0 -1 4202560 226208 0 0 0 110729 38 0 0 25 0 22 0 523130113 16076369920 99687 33554432000 1073741824 1073778376 140735007049760 18446744073709551615 46912505805726 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4462.91
Current children cumulated vsize (KiB) 15699580

[startup+1182.3 s]
/proc/loadavg: 5.37 7.29 7.67 5/197 25397
/proc/meminfo: memFree=25278132/32951124 swapFree=67111412/67111528
[pid=25324] ppid=25322 vsize=15699580 CPUtime=4701.55 cores=1,3,5,7
/proc/25324/stat : 25324 (java) S 25322 25324 24984 0 -1 4202496 1734396 0 1 0 469753 402 0 0 22 0 22 0 523130071 16076369920 110745 33554432000 1073741824 1073778376 140735007049760 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25324/statm: 3924895 110745 2299 9 0 3915614 0
[pid=25324/tid=25326] ppid=25322 vsize=15699580 CPUtime=0.85 cores=1,3,5,7
/proc/25324/task/25326/stat : 25326 (java) S 25322 25324 24984 0 -1 4202560 29683 0 1 0 81 4 0 0 20 0 22 0 523130072 16076369920 110745 33554432000 1073741824 1073778376 140735007049760 18446744073709551615 232347708313 0 4 0 16800975 18446604471161006912 0 0 -1 1 0 0 0
[pid=25324/tid=25327] ppid=25322 vsize=15699580 CPUtime=3.49 cores=1,3,5,7
/proc/25324/task/25327/stat : 25327 (java) S 25322 25324 24984 0 -1 4202560 88651 0 0 0 330 19 0 0 15 0 22 0 523130072 16076369920 110745 33554432000 1073741824 1073778376 140735007049760 18446744073709551615 232347708313 0 4 0 16800975 18446604471161006912 0 0 -1 5 0 0 0
[pid=25324/tid=25328] ppid=25322 vsize=15699580 CPUtime=3.54 cores=1,3,5,7
/proc/25324/task/25328/stat : 25328 (java) S 25322 25324 24984 0 -1 4202560 98360 0 0 0 332 22 0 0 15 0 22 0 523130072 16076369920 110745 33554432000 1073741824 1073778376 140735007049760 18446744073709551615 232347708313 0 4 0 16800975 18446604471161006912 0 0 -1 3 0 0 0
[pid=25324/tid=25329] ppid=25322 vsize=15699580 CPUtime=3.56 cores=1,3,5,7
/proc/25324/task/25329/stat : 25329 (java) S 25322 25324 24984 0 -1 4202560 93228 0 0 0 336 20 0 0 16 0 22 0 523130072 16076369920 110745 33554432000 1073741824 1073778376 140735007049760 18446744073709551615 232347708313 0 4 0 16800975 18446604471161006912 0 0 -1 3 0 0 0
[pid=25324/tid=25330] ppid=25322 vsize=15699580 CPUtime=3.67 cores=1,3,5,7
/proc/25324/task/25330/stat : 25330 (java) S 25322 25324 24984 0 -1 4202560 99713 0 0 0 344 23 0 0 15 0 22 0 523130072 16076369920 110745 33554432000 1073741824 1073778376 140735007049760 18446744073709551615 232347708313 0 4 0 16800975 18446604471161006912 0 0 -1 3 0 0 0
[pid=25324/tid=25331] ppid=25322 vsize=15699580 CPUtime=3.48 cores=1,3,5,7
/proc/25324/task/25331/stat : 25331 (java) S 25322 25324 24984 0 -1 4202560 93816 0 0 0 330 18 0 0 16 0 22 0 523130072 16076369920 110745 33554432000 1073741824 1073778376 140735007049760 18446744073709551615 232347708313 0 4 0 16800975 18446604471161006912 0 0 -1 7 0 0 0
[pid=25324/tid=25332] ppid=25322 vsize=15699580 CPUtime=3.59 cores=1,3,5,7
/proc/25324/task/25332/stat : 25332 (java) S 25322 25324 24984 0 -1 4202560 91781 0 0 0 340 19 0 0 16 0 22 0 523130072 16076369920 110745 33554432000 1073741824 1073778376 140735007049760 18446744073709551615 232347708313 0 4 0 16800975 18446604471161006912 0 0 -1 1 0 0 0
[pid=25324/tid=25333] ppid=25322 vsize=15699580 CPUtime=3.54 cores=1,3,5,7
/proc/25324/task/25333/stat : 25333 (java) S 25322 25324 24984 0 -1 4202560 90232 0 0 0 332 22 0 0 15 0 22 0 523130072 16076369920 110745 33554432000 1073741824 1073778376 140735007049760 18446744073709551615 232347708313 0 4 0 16800975 18446604471161006912 0 0 -1 7 0 0 0
[pid=25324/tid=25334] ppid=25322 vsize=15699580 CPUtime=3.51 cores=1,3,5,7
/proc/25324/task/25334/stat : 25334 (java) S 25322 25324 24984 0 -1 4202560 87011 0 0 0 333 18 0 0 15 0 22 0 523130072 16076369920 110745 33554432000 1073741824 1073778376 140735007049760 18446744073709551615 232347708313 0 4 0 16800975 18446604471161006912 0 0 -1 5 0 0 0
[pid=25324/tid=25335] ppid=25322 vsize=15699580 CPUtime=2.08 cores=1,3,5,7
/proc/25324/task/25335/stat : 25335 (java) S 25322 25324 24984 0 -1 4202560 4653 0 0 0 140 68 0 0 15 0 22 0 523130073 16076369920 110745 33554432000 1073741824 1073778376 140735007049760 18446744073709551615 232347708928 0 0 0 16800975 18446604471161006912 0 0 -1 1 0 0 0
[pid=25324/tid=25336] ppid=25322 vsize=15699580 CPUtime=0 cores=1,3,5,7
/proc/25324/task/25336/stat : 25336 (java) S 25322 25324 24984 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 523130074 16076369920 110745 33554432000 1073741824 1073778376 140735007049760 18446744073709551615 232347708313 0 4 0 16800975 18446604471161006912 0 0 -1 5 0 0 0
[pid=25324/tid=25337] ppid=25322 vsize=15699580 CPUtime=0 cores=1,3,5,7
/proc/25324/task/25337/stat : 25337 (java) S 25322 25324 24984 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 523130074 16076369920 110745 33554432000 1073741824 1073778376 140735007049760 18446744073709551615 232347708313 0 4 0 16800975 18446604471161006912 0 0 -1 5 0 0 0
[pid=25324/tid=25338] ppid=25322 vsize=15699580 CPUtime=0 cores=1,3,5,7
/proc/25324/task/25338/stat : 25338 (java) S 25322 25324 24984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523130076 16076369920 110745 33554432000 1073741824 1073778376 140735007049760 18446744073709551615 232347716017 0 4 0 16800975 18446604471161006912 0 0 -1 3 0 0 0
[pid=25324/tid=25339] ppid=25322 vsize=15699580 CPUtime=0.95 cores=1,3,5,7
/proc/25324/task/25339/stat : 25339 (java) S 25322 25324 24984 0 -1 4202560 6993 0 0 0 95 0 0 0 15 0 22 0 523130076 16076369920 110745 33554432000 1073741824 1073778376 140735007049760 18446744073709551615 232347708313 0 4 0 16800975 18446604471161006912 0 0 -1 7 0 0 0
[pid=25324/tid=25340] ppid=25322 vsize=15699580 CPUtime=1.36 cores=1,3,5,7
/proc/25324/task/25340/stat : 25340 (java) S 25322 25324 24984 0 -1 4202560 13526 0 0 0 135 1 0 0 15 0 22 0 523130076 16076369920 110745 33554432000 1073741824 1073778376 140735007049760 18446744073709551615 232347708313 0 4 0 16800975 18446604471161006912 0 0 -1 3 0 0 0
[pid=25324/tid=25341] ppid=25322 vsize=15699580 CPUtime=0 cores=1,3,5,7
/proc/25324/task/25341/stat : 25341 (java) S 25322 25324 24984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523130076 16076369920 110745 33554432000 1073741824 1073778376 140735007049760 18446744073709551615 232347708313 0 4 0 16800975 18446604471161006912 0 0 -1 3 0 0 0
[pid=25324/tid=25342] ppid=25322 vsize=15699580 CPUtime=0 cores=1,3,5,7
/proc/25324/task/25342/stat : 25342 (java) S 25322 25324 24984 0 -1 4202560 61 0 0 0 0 0 0 0 15 0 22 0 523130076 16076369920 110745 33554432000 1073741824 1073778376 140735007049760 18446744073709551615 232347708928 0 4 0 16800975 18446604471161006912 0 0 -1 1 0 0 0
[pid=25324/tid=25343] ppid=25322 vsize=15699580 CPUtime=1166.95 cores=1,3,5,7
/proc/25324/task/25343/stat : 25343 (java) R 25322 25324 24984 0 -1 4202560 231760 0 0 0 116654 41 0 0 25 0 22 0 523130113 16076369920 110745 33554432000 1073741824 1073778376 140735007049760 18446744073709551615 46912505805603 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=25324/tid=25344] ppid=25322 vsize=15699580 CPUtime=1166.95 cores=1,3,5,7
/proc/25324/task/25344/stat : 25344 (java) R 25322 25324 24984 0 -1 4202560 235828 0 0 0 116655 40 0 0 25 0 22 0 523130113 16076369920 110745 33554432000 1073741824 1073778376 140735007049760 18446744073709551615 46912505805589 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=25324/tid=25345] ppid=25322 vsize=15699580 CPUtime=1166.89 cores=1,3,5,7
/proc/25324/task/25345/stat : 25345 (java) R 25322 25324 24984 0 -1 4202560 231511 0 0 0 116650 39 0 0 25 0 22 0 523130113 16076369920 110745 33554432000 1073741824 1073778376 140735007049760 18446744073709551615 46912505693392 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=25324/tid=25346] ppid=25322 vsize=15699580 CPUtime=1166.97 cores=1,3,5,7
/proc/25324/task/25346/stat : 25346 (java) R 25322 25324 24984 0 -1 4202560 236204 0 0 0 116657 40 0 0 25 0 22 0 523130113 16076369920 110745 33554432000 1073741824 1073778376 140735007049760 18446744073709551615 46912505523299 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4701.55
Current children cumulated vsize (KiB) 15699580



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1207.1 s]
/proc/loadavg: 4.90 7.03 7.57 5/197 25398
/proc/meminfo: memFree=25364680/32951124 swapFree=67111412/67111528
[pid=25324] ppid=25322 vsize=15699580 CPUtime=4800.19 cores=1,3,5,7
/proc/25324/stat : 25324 (java) S 25322 25324 24984 0 -1 4202496 1752602 0 1 0 479608 411 0 0 22 0 22 0 523130071 16076369920 89087 33554432000 1073741824 1073778376 140735007049760 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25324/statm: 3924895 89087 2299 9 0 3915614 0
[pid=25324/tid=25326] ppid=25322 vsize=15699580 CPUtime=0.85 cores=1,3,5,7
/proc/25324/task/25326/stat : 25326 (java) S 25322 25324 24984 0 -1 4202560 29683 0 1 0 81 4 0 0 20 0 22 0 523130072 16076369920 89087 33554432000 1073741824 1073778376 140735007049760 18446744073709551615 232347708313 0 4 0 16800975 18446604471161006912 0 0 -1 1 0 0 0
[pid=25324/tid=25327] ppid=25322 vsize=15699580 CPUtime=3.55 cores=1,3,5,7
/proc/25324/task/25327/stat : 25327 (java) S 25322 25324 24984 0 -1 4202560 90281 0 0 0 336 19 0 0 15 0 22 0 523130072 16076369920 89087 33554432000 1073741824 1073778376 140735007049760 18446744073709551615 232347708313 0 4 0 16800975 18446604471161006912 0 0 -1 1 0 0 0
[pid=25324/tid=25328] ppid=25322 vsize=15699580 CPUtime=3.61 cores=1,3,5,7
/proc/25324/task/25328/stat : 25328 (java) S 25322 25324 24984 0 -1 4202560 100076 0 0 0 339 22 0 0 16 0 22 0 523130072 16076369920 89087 33554432000 1073741824 1073778376 140735007049760 18446744073709551615 232347708313 0 4 0 16800975 18446604471161006912 0 0 -1 7 0 0 0
[pid=25324/tid=25329] ppid=25322 vsize=15699580 CPUtime=3.64 cores=1,3,5,7
/proc/25324/task/25329/stat : 25329 (java) S 25322 25324 24984 0 -1 4202560 95176 0 0 0 343 21 0 0 16 0 22 0 523130072 16076369920 89087 33554432000 1073741824 1073778376 140735007049760 18446744073709551615 232347708313 0 4 0 16800975 18446604471161006912 0 0 -1 3 0 0 0
[pid=25324/tid=25330] ppid=25322 vsize=15699580 CPUtime=3.75 cores=1,3,5,7
/proc/25324/task/25330/stat : 25330 (java) S 25322 25324 24984 0 -1 4202560 100891 0 0 0 351 24 0 0 15 0 22 0 523130072 16076369920 89087 33554432000 1073741824 1073778376 140735007049760 18446744073709551615 232347708313 0 4 0 16800975 18446604471161006912 0 0 -1 3 0 0 0
[pid=25324/tid=25331] ppid=25322 vsize=15699580 CPUtime=3.56 cores=1,3,5,7
/proc/25324/task/25331/stat : 25331 (java) S 25322 25324 24984 0 -1 4202560 95842 0 0 0 337 19 0 0 15 0 22 0 523130072 16076369920 89087 33554432000 1073741824 1073778376 140735007049760 18446744073709551615 232347708313 0 4 0 16800975 18446604471161006912 0 0 -1 3 0 0 0
[pid=25324/tid=25332] ppid=25322 vsize=15699580 CPUtime=3.65 cores=1,3,5,7
/proc/25324/task/25332/stat : 25332 (java) S 25322 25324 24984 0 -1 4202560 93233 0 0 0 346 19 0 0 15 0 22 0 523130072 16076369920 89087 33554432000 1073741824 1073778376 140735007049760 18446744073709551615 232347708313 0 4 0 16800975 18446604471161006912 0 0 -1 1 0 0 0
[pid=25324/tid=25333] ppid=25322 vsize=15699580 CPUtime=3.61 cores=1,3,5,7
/proc/25324/task/25333/stat : 25333 (java) S 25322 25324 24984 0 -1 4202560 92256 0 0 0 339 22 0 0 16 0 22 0 523130072 16076369920 89087 33554432000 1073741824 1073778376 140735007049760 18446744073709551615 232347708313 0 4 0 16800975 18446604471161006912 0 0 -1 1 0 0 0
[pid=25324/tid=25334] ppid=25322 vsize=15699580 CPUtime=3.57 cores=1,3,5,7
/proc/25324/task/25334/stat : 25334 (java) S 25322 25324 24984 0 -1 4202560 88677 0 0 0 339 18 0 0 16 0 22 0 523130072 16076369920 89087 33554432000 1073741824 1073778376 140735007049760 18446744073709551615 232347708313 0 4 0 16800975 18446604471161006912 0 0 -1 5 0 0 0
[pid=25324/tid=25335] ppid=25322 vsize=15699580 CPUtime=2.15 cores=1,3,5,7
/proc/25324/task/25335/stat : 25335 (java) S 25322 25324 24984 0 -1 4202560 4683 0 0 0 145 70 0 0 16 0 22 0 523130073 16076369920 89087 33554432000 1073741824 1073778376 140735007049760 18446744073709551615 232347708928 0 0 0 16800975 18446604471161006912 0 0 -1 5 0 0 0
[pid=25324/tid=25336] ppid=25322 vsize=15699580 CPUtime=0 cores=1,3,5,7
/proc/25324/task/25336/stat : 25336 (java) S 25322 25324 24984 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 523130074 16076369920 89087 33554432000 1073741824 1073778376 140735007049760 18446744073709551615 232347708313 0 4 0 16800975 18446604471161006912 0 0 -1 5 0 0 0
[pid=25324/tid=25337] ppid=25322 vsize=15699580 CPUtime=0 cores=1,3,5,7
/proc/25324/task/25337/stat : 25337 (java) S 25322 25324 24984 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 523130074 16076369920 89087 33554432000 1073741824 1073778376 140735007049760 18446744073709551615 232347708313 0 4 0 16800975 18446604471161006912 0 0 -1 5 0 0 0
[pid=25324/tid=25338] ppid=25322 vsize=15699580 CPUtime=0 cores=1,3,5,7
/proc/25324/task/25338/stat : 25338 (java) S 25322 25324 24984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523130076 16076369920 89087 33554432000 1073741824 1073778376 140735007049760 18446744073709551615 232347716017 0 4 0 16800975 18446604471161006912 0 0 -1 3 0 0 0
[pid=25324/tid=25339] ppid=25322 vsize=15699580 CPUtime=0.95 cores=1,3,5,7
/proc/25324/task/25339/stat : 25339 (java) S 25322 25324 24984 0 -1 4202560 6993 0 0 0 95 0 0 0 15 0 22 0 523130076 16076369920 89087 33554432000 1073741824 1073778376 140735007049760 18446744073709551615 232347708313 0 4 0 16800975 18446604471161006912 0 0 -1 7 0 0 0
[pid=25324/tid=25340] ppid=25322 vsize=15699580 CPUtime=1.36 cores=1,3,5,7
/proc/25324/task/25340/stat : 25340 (java) S 25322 25324 24984 0 -1 4202560 13526 0 0 0 135 1 0 0 15 0 22 0 523130076 16076369920 89087 33554432000 1073741824 1073778376 140735007049760 18446744073709551615 232347708313 0 4 0 16800975 18446604471161006912 0 0 -1 3 0 0 0
[pid=25324/tid=25341] ppid=25322 vsize=15699580 CPUtime=0 cores=1,3,5,7
/proc/25324/task/25341/stat : 25341 (java) S 25322 25324 24984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523130076 16076369920 89087 33554432000 1073741824 1073778376 140735007049760 18446744073709551615 232347708313 0 4 0 16800975 18446604471161006912 0 0 -1 3 0 0 0
[pid=25324/tid=25342] ppid=25322 vsize=15699580 CPUtime=0 cores=1,3,5,7
/proc/25324/task/25342/stat : 25342 (java) S 25322 25324 24984 0 -1 4202560 62 0 0 0 0 0 0 0 15 0 22 0 523130076 16076369920 89087 33554432000 1073741824 1073778376 140735007049760 18446744073709551615 232347708928 0 4 0 16800975 18446604471161006912 0 0 -1 1 0 0 0
[pid=25324/tid=25343] ppid=25322 vsize=15699580 CPUtime=1191.48 cores=1,3,5,7
/proc/25324/task/25343/stat : 25343 (java) R 25322 25324 24984 0 -1 4202560 232925 0 0 0 119107 41 0 0 25 0 22 0 523130113 16076369920 89087 33554432000 1073741824 1073778376 140735007049760 18446744073709551615 46912505904553 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=25324/tid=25344] ppid=25322 vsize=15699580 CPUtime=1191.44 cores=1,3,5,7
/proc/25324/task/25344/stat : 25344 (java) R 25322 25324 24984 0 -1 4202560 236898 0 0 0 119104 40 0 0 25 0 22 0 523130113 16076369920 89087 33554432000 1073741824 1073778376 140735007049760 18446744073709551615 46912505936339 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=25324/tid=25345] ppid=25322 vsize=15699580 CPUtime=1191.32 cores=1,3,5,7
/proc/25324/task/25345/stat : 25345 (java) R 25322 25324 24984 0 -1 4202560 232630 0 0 0 119093 39 0 0 25 0 22 0 523130113 16076369920 89087 33554432000 1073741824 1073778376 140735007049760 18446744073709551615 46912505839426 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=25324/tid=25346] ppid=25322 vsize=15699580 CPUtime=1191.51 cores=1,3,5,7
/proc/25324/task/25346/stat : 25346 (java) R 25322 25324 24984 0 -1 4202560 237385 0 0 0 119110 41 0 0 25 0 22 0 523130113 16076369920 89087 33554432000 1073741824 1073778376 140735007049760 18446744073709551615 46912505766736 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.19
Current children cumulated vsize (KiB) 15699580

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: 4.90 7.03 7.57 5/197 25398
/proc/meminfo: memFree=25364680/32951124 swapFree=67111412/67111528
[pid=25324] ppid=25322 vsize=15699580 CPUtime=4800.19 cores=1,3,5,7
/proc/25324/stat : 25324 (java) S 25322 25324 24984 0 -1 4202496 1752602 0 1 0 479608 411 0 0 22 0 22 0 523130071 16076369920 89087 33554432000 1073741824 1073778376 140735007049760 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25324/statm: 3924895 89087 2299 9 0 3915614 0
[pid=25324/tid=25326] ppid=25322 vsize=15699580 CPUtime=0.85 cores=1,3,5,7
/proc/25324/task/25326/stat : 25326 (java) S 25322 25324 24984 0 -1 4202560 29683 0 1 0 81 4 0 0 20 0 22 0 523130072 16076369920 89087 33554432000 1073741824 1073778376 140735007049760 18446744073709551615 232347708313 0 4 0 16800975 18446604471161006912 0 0 -1 1 0 0 0
[pid=25324/tid=25327] ppid=25322 vsize=15699580 CPUtime=3.55 cores=1,3,5,7
/proc/25324/task/25327/stat : 25327 (java) S 25322 25324 24984 0 -1 4202560 90281 0 0 0 336 19 0 0 15 0 22 0 523130072 16076369920 89087 33554432000 1073741824 1073778376 140735007049760 18446744073709551615 232347708313 0 4 0 16800975 18446604471161006912 0 0 -1 1 0 0 0
[pid=25324/tid=25328] ppid=25322 vsize=15699580 CPUtime=3.61 cores=1,3,5,7
/proc/25324/task/25328/stat : 25328 (java) S 25322 25324 24984 0 -1 4202560 100076 0 0 0 339 22 0 0 16 0 22 0 523130072 16076369920 89087 33554432000 1073741824 1073778376 140735007049760 18446744073709551615 232347708313 0 4 0 16800975 18446604471161006912 0 0 -1 7 0 0 0
[pid=25324/tid=25329] ppid=25322 vsize=15699580 CPUtime=3.64 cores=1,3,5,7
/proc/25324/task/25329/stat : 25329 (java) S 25322 25324 24984 0 -1 4202560 95176 0 0 0 343 21 0 0 16 0 22 0 523130072 16076369920 89087 33554432000 1073741824 1073778376 140735007049760 18446744073709551615 232347708313 0 4 0 16800975 18446604471161006912 0 0 -1 3 0 0 0
[pid=25324/tid=25330] ppid=25322 vsize=15699580 CPUtime=3.75 cores=1,3,5,7
/proc/25324/task/25330/stat : 25330 (java) S 25322 25324 24984 0 -1 4202560 100891 0 0 0 351 24 0 0 15 0 22 0 523130072 16076369920 89087 33554432000 1073741824 1073778376 140735007049760 18446744073709551615 232347708313 0 4 0 16800975 18446604471161006912 0 0 -1 3 0 0 0
[pid=25324/tid=25331] ppid=25322 vsize=15699580 CPUtime=3.56 cores=1,3,5,7
/proc/25324/task/25331/stat : 25331 (java) S 25322 25324 24984 0 -1 4202560 95842 0 0 0 337 19 0 0 15 0 22 0 523130072 16076369920 89087 33554432000 1073741824 1073778376 140735007049760 18446744073709551615 232347708313 0 4 0 16800975 18446604471161006912 0 0 -1 3 0 0 0
[pid=25324/tid=25332] ppid=25322 vsize=15699580 CPUtime=3.65 cores=1,3,5,7
/proc/25324/task/25332/stat : 25332 (java) S 25322 25324 24984 0 -1 4202560 93233 0 0 0 346 19 0 0 15 0 22 0 523130072 16076369920 89087 33554432000 1073741824 1073778376 140735007049760 18446744073709551615 232347708313 0 4 0 16800975 18446604471161006912 0 0 -1 1 0 0 0
[pid=25324/tid=25333] ppid=25322 vsize=15699580 CPUtime=3.61 cores=1,3,5,7
/proc/25324/task/25333/stat : 25333 (java) S 25322 25324 24984 0 -1 4202560 92256 0 0 0 339 22 0 0 16 0 22 0 523130072 16076369920 89087 33554432000 1073741824 1073778376 140735007049760 18446744073709551615 232347708313 0 4 0 16800975 18446604471161006912 0 0 -1 1 0 0 0
[pid=25324/tid=25334] ppid=25322 vsize=15699580 CPUtime=3.57 cores=1,3,5,7
/proc/25324/task/25334/stat : 25334 (java) S 25322 25324 24984 0 -1 4202560 88677 0 0 0 339 18 0 0 16 0 22 0 523130072 16076369920 89087 33554432000 1073741824 1073778376 140735007049760 18446744073709551615 232347708313 0 4 0 16800975 18446604471161006912 0 0 -1 5 0 0 0
[pid=25324/tid=25335] ppid=25322 vsize=15699580 CPUtime=2.15 cores=1,3,5,7
/proc/25324/task/25335/stat : 25335 (java) S 25322 25324 24984 0 -1 4202560 4683 0 0 0 145 70 0 0 16 0 22 0 523130073 16076369920 89087 33554432000 1073741824 1073778376 140735007049760 18446744073709551615 232347708928 0 0 0 16800975 18446604471161006912 0 0 -1 5 0 0 0
[pid=25324/tid=25336] ppid=25322 vsize=15699580 CPUtime=0 cores=1,3,5,7
/proc/25324/task/25336/stat : 25336 (java) S 25322 25324 24984 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 523130074 16076369920 89087 33554432000 1073741824 1073778376 140735007049760 18446744073709551615 232347708313 0 4 0 16800975 18446604471161006912 0 0 -1 5 0 0 0
[pid=25324/tid=25337] ppid=25322 vsize=15699580 CPUtime=0 cores=1,3,5,7
/proc/25324/task/25337/stat : 25337 (java) S 25322 25324 24984 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 523130074 16076369920 89087 33554432000 1073741824 1073778376 140735007049760 18446744073709551615 232347708313 0 4 0 16800975 18446604471161006912 0 0 -1 5 0 0 0
[pid=25324/tid=25338] ppid=25322 vsize=15699580 CPUtime=0 cores=1,3,5,7
/proc/25324/task/25338/stat : 25338 (java) S 25322 25324 24984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523130076 16076369920 89087 33554432000 1073741824 1073778376 140735007049760 18446744073709551615 232347716017 0 4 0 16800975 18446604471161006912 0 0 -1 3 0 0 0
[pid=25324/tid=25339] ppid=25322 vsize=15699580 CPUtime=0.95 cores=1,3,5,7
/proc/25324/task/25339/stat : 25339 (java) S 25322 25324 24984 0 -1 4202560 6993 0 0 0 95 0 0 0 15 0 22 0 523130076 16076369920 89087 33554432000 1073741824 1073778376 140735007049760 18446744073709551615 232347708313 0 4 0 16800975 18446604471161006912 0 0 -1 7 0 0 0
[pid=25324/tid=25340] ppid=25322 vsize=15699580 CPUtime=1.36 cores=1,3,5,7
/proc/25324/task/25340/stat : 25340 (java) S 25322 25324 24984 0 -1 4202560 13526 0 0 0 135 1 0 0 15 0 22 0 523130076 16076369920 89087 33554432000 1073741824 1073778376 140735007049760 18446744073709551615 232347708313 0 4 0 16800975 18446604471161006912 0 0 -1 3 0 0 0
[pid=25324/tid=25341] ppid=25322 vsize=15699580 CPUtime=0 cores=1,3,5,7
/proc/25324/task/25341/stat : 25341 (java) S 25322 25324 24984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523130076 16076369920 89087 33554432000 1073741824 1073778376 140735007049760 18446744073709551615 232347708313 0 4 0 16800975 18446604471161006912 0 0 -1 3 0 0 0
[pid=25324/tid=25342] ppid=25322 vsize=15699580 CPUtime=0 cores=1,3,5,7
/proc/25324/task/25342/stat : 25342 (java) S 25322 25324 24984 0 -1 4202560 62 0 0 0 0 0 0 0 15 0 22 0 523130076 16076369920 89087 33554432000 1073741824 1073778376 140735007049760 18446744073709551615 232347708928 0 4 0 16800975 18446604471161006912 0 0 -1 1 0 0 0
[pid=25324/tid=25343] ppid=25322 vsize=15699580 CPUtime=1191.48 cores=1,3,5,7
/proc/25324/task/25343/stat : 25343 (java) R 25322 25324 24984 0 -1 4202560 232925 0 0 0 119107 41 0 0 25 0 22 0 523130113 16076369920 89087 33554432000 1073741824 1073778376 140735007049760 18446744073709551615 46912505904553 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=25324/tid=25344] ppid=25322 vsize=15699580 CPUtime=1191.44 cores=1,3,5,7
/proc/25324/task/25344/stat : 25344 (java) R 25322 25324 24984 0 -1 4202560 236898 0 0 0 119104 40 0 0 25 0 22 0 523130113 16076369920 89087 33554432000 1073741824 1073778376 140735007049760 18446744073709551615 46912505936339 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=25324/tid=25345] ppid=25322 vsize=15699580 CPUtime=1191.32 cores=1,3,5,7
/proc/25324/task/25345/stat : 25345 (java) R 25322 25324 24984 0 -1 4202560 232630 0 0 0 119093 39 0 0 25 0 22 0 523130113 16076369920 89087 33554432000 1073741824 1073778376 140735007049760 18446744073709551615 46912505839426 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=25324/tid=25346] ppid=25322 vsize=15699580 CPUtime=1191.51 cores=1,3,5,7
/proc/25324/task/25346/stat : 25346 (java) R 25322 25324 24984 0 -1 4202560 237385 0 0 0 119110 41 0 0 25 0 22 0 523130113 16076369920 89087 33554432000 1073741824 1073778376 140735007049760 18446744073709551615 46912505766736 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.19
Current children cumulated vsize (KiB) 15699580

Child status: 143
Real time (s): 1207.13
CPU time (s): 4800.25
CPU user time (s): 4796.11
CPU system time (s): 4.13437
CPU usage (%): 397.657
Max. virtual memory (cumulated for all children) (KiB): 15709728

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4796.11
system time used= 4.13437
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1752628
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= 234788
involuntary context switches= 142807

runsolver used 2.00969 second user time and 4.6203 second system time

The end

Launcher Data 

Begin job on node132 at 2011-04-30 00:15:19
IDJOB=3312448
IDBENCH=82633
IDSOLVER=1699
FILE ID=node132/3312448-1304115319
RUNJOBID= node132-1304112810-25003
PBS_JOBID= 13170698
Free space on /tmp= 71872 MiB

SOLVER NAME= STRUCTure 0.1
BENCH NAME= SAT11/random/large/unif-k7-r85-v200-c17000-S335550727-070-UNKNOWN.cnf
COMMAND LINE= run 15000 NBCORE TMPDIR DIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3312448-1304115319/watcher-3312448-1304115319 -o /tmp/evaluation-result-3312448-1304115319/solver-3312448-1304115319 -C 4800 -W 1300 -M 15500  run 15000 4 HOME HOME HOME/instance-3312448-1304115319.cnf

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

MD5SUM BENCH= be984e6bbe5620bf919456b943096fcf
RANDOM SEED=834134513

node132.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.833
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.833
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.74
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.833
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.76
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.833
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.833
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.833
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.67
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.833
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.82
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.833
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:     32951124 kB
MemFree:      19761120 kB
Buffers:        684844 kB
Cached:        6006240 kB
SwapCached:        112 kB
Active:        7426000 kB
Inactive:      5271660 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      19761120 kB
SwapTotal:    67111528 kB
SwapFree:     67111412 kB
Dirty:            2024 kB
Writeback:           0 kB
AnonPages:     6006672 kB
Mapped:          23476 kB
Slab:           417868 kB
PageTables:      16228 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  6980268 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71872 MiB
End job on node132 at 2011-04-30 00:35:28