Trace number 3312467

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.46 1207.23

General information on the benchmark

Namerandom/large/
unif-k7-r85-v150-c12750-S1101422472-003-UNKNOWN.cnf
MD5SUM1a4e1674582e40801444509cae2068da
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark27.5668
Satisfiable
(Un)Satisfiability was proved
Number of variables150
Number of clauses12750
Sum of the clauses size89250
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 512750

Solver Data 

0.09/0.12	38:08 INFO : Reading from input HOME/instance-3312467-1304116687.cnf
0.51/0.38	Executor set job limit to 1000000
0.51/0.38	Executor set job limit to 1000000
0.51/0.38	Executor set job limit to 1000000
0.51/0.38	Executor set job limit to 1000000
0.51/0.38	Starting Executor!
0.51/0.38	Starting Executor!
0.51/0.38	Starting Executor!
0.51/0.39	Starting Executor!
1.11/0.69	38:08 INFO : 150 variables remaining out of 150
1.11/0.69	38:08 INFO : 102000 literals remaining out of 102000

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

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

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


[startup+0 s]
/proc/loadavg: 7.82 8.02 7.99 5/198 22440
/proc/meminfo: memFree=29935500/32951124 swapFree=67111364/67111528
[pid=22440] ppid=22438 vsize=23028 CPUtime=0 cores=0,2,4,6
/proc/22440/stat : 22440 (java) R 22438 22440 22152 0 -1 4202496 1044 0 0 0 0 0 0 0 25 0 1 0 523269135 23580672 532 33554432000 1073741824 1073778376 140734963747392 18446744073709551615 253635897109 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/22440/statm: 5757 543 411 9 0 124 0

[startup+0.0481931 s]
/proc/loadavg: 7.82 8.02 7.99 5/198 22440
/proc/meminfo: memFree=29935500/32951124 swapFree=67111364/67111528
[pid=22440] ppid=22438 vsize=15669784 CPUtime=0.03 cores=0,2,4,6
/proc/22440/stat : 22440 (java) S 22438 22440 22152 0 -1 4202496 3881 0 1 0 3 0 0 0 25 0 13 0 523269135 16045858816 3321 33554432000 1073741824 1073778376 140734963747392 18446744073709551615 253652662245 0 0 0 16800971 18446744073709551615 0 0 17 4 0 0 0
/proc/22440/statm: 3917446 3321 1690 9 0 3908194 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 15669784

[startup+0.100172 s]
/proc/loadavg: 7.82 8.02 7.99 5/198 22440
/proc/meminfo: memFree=29935500/32951124 swapFree=67111364/67111528
[pid=22440] ppid=22438 vsize=15676544 CPUtime=0.09 cores=0,2,4,6
/proc/22440/stat : 22440 (java) S 22438 22440 22152 0 -1 4202496 5547 0 1 0 9 0 0 0 25 0 18 0 523269135 16052781056 4953 33554432000 1073741824 1073778376 140734963747392 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/22440/statm: 3919136 4953 2117 9 0 3909855 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15676544

[startup+0.300143 s]
/proc/loadavg: 7.82 8.02 7.99 5/198 22440
/proc/meminfo: memFree=29935500/32951124 swapFree=67111364/67111528
[pid=22440] ppid=22438 vsize=15679460 CPUtime=0.51 cores=0,2,4,6
/proc/22440/stat : 22440 (java) S 22438 22440 22152 0 -1 4202496 14723 0 1 0 49 2 0 0 25 0 18 0 523269135 16055767040 13187 33554432000 1073741824 1073778376 140734963747392 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/22440/statm: 3919865 13194 2207 9 0 3910584 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 15679460

[startup+0.701066 s]
/proc/loadavg: 7.82 8.02 7.99 5/198 22440
/proc/meminfo: memFree=29935500/32951124 swapFree=67111364/67111528
[pid=22440] ppid=22438 vsize=15703388 CPUtime=1.39 cores=0,2,4,6
/proc/22440/stat : 22440 (java) S 22438 22440 22152 0 -1 4202496 38053 0 1 0 134 5 0 0 25 0 22 0 523269135 16080269312 33466 33554432000 1073741824 1073778376 140734963747392 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/22440/statm: 3925847 33466 2248 9 0 3916566 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 15703388

[startup+1.50088 s]
/proc/loadavg: 7.82 8.02 7.99 10/220 22462
/proc/meminfo: memFree=29779208/32951124 swapFree=67111364/67111528
[pid=22440] ppid=22438 vsize=15704916 CPUtime=4.37 cores=0,2,4,6
/proc/22440/stat : 22440 (java) S 22438 22440 22152 0 -1 4202496 64130 0 1 0 429 8 0 0 25 0 22 0 523269135 16081833984 55127 33554432000 1073741824 1073778376 140734963747392 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/22440/statm: 3926229 55127 2274 9 0 3916948 0
[pid=22440/tid=22442] ppid=22438 vsize=15704916 CPUtime=0.67 cores=0,2,4,6
/proc/22440/task/22442/stat : 22442 (java) S 22438 22440 22152 0 -1 4202560 23331 0 1 0 64 3 0 0 25 0 22 0 523269136 16081833984 55127 33554432000 1073741824 1073778376 140734963747392 18446744073709551615 253652675481 0 4 0 16800975 18446604453922756736 0 0 -1 0 0 0 0
[pid=22440/tid=22443] ppid=22438 vsize=15704916 CPUtime=0 cores=0,2,4,6
/proc/22440/task/22443/stat : 22443 (java) S 22438 22440 22152 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 523269136 16081833984 55127 33554432000 1073741824 1073778376 140734963747392 18446744073709551615 253652675481 0 4 0 16800975 18446604453922756736 0 0 -1 0 0 0 0
[pid=22440/tid=22444] ppid=22438 vsize=15704916 CPUtime=0 cores=0,2,4,6
/proc/22440/task/22444/stat : 22444 (java) S 22438 22440 22152 0 -1 4202560 1019 0 0 0 0 0 0 0 15 0 22 0 523269136 16081833984 55127 33554432000 1073741824 1073778376 140734963747392 18446744073709551615 253652675481 0 4 0 16800975 18446604453922756736 0 0 -1 2 0 0 0
[pid=22440/tid=22445] ppid=22438 vsize=15704916 CPUtime=0 cores=0,2,4,6
/proc/22440/task/22445/stat : 22445 (java) S 22438 22440 22152 0 -1 4202560 1457 0 0 0 0 0 0 0 15 0 22 0 523269136 16081833984 55127 33554432000 1073741824 1073778376 140734963747392 18446744073709551615 253652675481 0 4 0 16800975 18446604453922756736 0 0 -1 2 0 0 0
[pid=22440/tid=22446] ppid=22438 vsize=15704916 CPUtime=0 cores=0,2,4,6
/proc/22440/task/22446/stat : 22446 (java) S 22438 22440 22152 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 22 0 523269136 16081833984 55127 33554432000 1073741824 1073778376 140734963747392 18446744073709551615 253652675481 0 4 0 16800975 18446604453922756736 0 0 -1 0 0 0 0
[pid=22440/tid=22447] ppid=22438 vsize=15704916 CPUtime=0 cores=0,2,4,6
/proc/22440/task/22447/stat : 22447 (java) S 22438 22440 22152 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 22 0 523269136 16081833984 55127 33554432000 1073741824 1073778376 140734963747392 18446744073709551615 253652675481 0 4 0 16800975 18446604453922756736 0 0 -1 0 0 0 0
[pid=22440/tid=22448] ppid=22438 vsize=15704916 CPUtime=0 cores=0,2,4,6
/proc/22440/task/22448/stat : 22448 (java) S 22438 22440 22152 0 -1 4202560 1801 0 0 0 0 0 0 0 16 0 22 0 523269136 16081833984 55127 33554432000 1073741824 1073778376 140734963747392 18446744073709551615 253652675481 0 4 0 16800975 18446604453922756736 0 0 -1 0 0 0 0
[pid=22440/tid=22449] ppid=22438 vsize=15704916 CPUtime=0 cores=0,2,4,6
/proc/22440/task/22449/stat : 22449 (java) S 22438 22440 22152 0 -1 4202560 1040 0 0 0 0 0 0 0 15 0 22 0 523269136 16081833984 55127 33554432000 1073741824 1073778376 140734963747392 18446744073709551615 253652675481 0 4 0 16800975 18446604453922756736 0 0 -1 2 0 0 0
[pid=22440/tid=22450] ppid=22438 vsize=15704916 CPUtime=0 cores=0,2,4,6
/proc/22440/task/22450/stat : 22450 (java) S 22438 22440 22152 0 -1 4202560 1825 0 0 0 0 0 0 0 15 0 22 0 523269136 16081833984 55127 33554432000 1073741824 1073778376 140734963747392 18446744073709551615 253652675481 0 4 0 16800975 18446604453922756736 0 0 -1 0 0 0 0
[pid=22440/tid=22451] ppid=22438 vsize=15704916 CPUtime=0 cores=0,2,4,6
/proc/22440/task/22451/stat : 22451 (java) S 22438 22440 22152 0 -1 4202560 74 0 0 0 0 0 0 0 15 0 22 0 523269137 16081833984 55127 33554432000 1073741824 1073778376 140734963747392 18446744073709551615 253652676096 0 0 0 16800975 18446604453922756736 0 0 -1 0 0 0 0
[pid=22440/tid=22452] ppid=22438 vsize=15704916 CPUtime=0 cores=0,2,4,6
/proc/22440/task/22452/stat : 22452 (java) S 22438 22440 22152 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 523269138 16081833984 55127 33554432000 1073741824 1073778376 140734963747392 18446744073709551615 253652675481 0 4 0 16800975 18446604453922756736 0 0 -1 0 0 0 0
[pid=22440/tid=22453] ppid=22438 vsize=15704916 CPUtime=0 cores=0,2,4,6
/proc/22440/task/22453/stat : 22453 (java) S 22438 22440 22152 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 523269138 16081833984 55127 33554432000 1073741824 1073778376 140734963747392 18446744073709551615 253652675481 0 4 0 16800975 18446604453922756736 0 0 -1 6 0 0 0
[pid=22440/tid=22454] ppid=22438 vsize=15704916 CPUtime=0 cores=0,2,4,6
/proc/22440/task/22454/stat : 22454 (java) S 22438 22440 22152 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 523269140 16081833984 55127 33554432000 1073741824 1073778376 140734963747392 18446744073709551615 253652683185 0 4 0 16800975 18446604453922756736 0 0 -1 4 0 0 0
[pid=22440/tid=22455] ppid=22438 vsize=15704916 CPUtime=0.85 cores=0,2,4,6
/proc/22440/task/22455/stat : 22455 (java) S 22438 22440 22152 0 -1 4202560 12540 0 0 0 84 1 0 0 15 0 22 0 523269140 16081833984 55127 33554432000 1073741824 1073778376 140734963747392 18446744073709551615 253652675481 0 4 0 16800975 18446604453922756736 0 0 -1 0 0 0 0
[pid=22440/tid=22456] ppid=22438 vsize=15704916 CPUtime=0.67 cores=0,2,4,6
/proc/22440/task/22456/stat : 22456 (java) S 22438 22440 22152 0 -1 4202560 7454 0 0 0 67 0 0 0 15 0 22 0 523269140 16081833984 55127 33554432000 1073741824 1073778376 140734963747392 18446744073709551615 253652675481 0 4 0 16800975 18446604453922756736 0 0 -1 4 0 0 0
[pid=22440/tid=22457] ppid=22438 vsize=15704916 CPUtime=0 cores=0,2,4,6
/proc/22440/task/22457/stat : 22457 (java) S 22438 22440 22152 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 22 0 523269140 16081833984 55127 33554432000 1073741824 1073778376 140734963747392 18446744073709551615 253652675481 0 4 0 16800975 18446604453922756736 0 0 -1 4 0 0 0
[pid=22440/tid=22458] ppid=22438 vsize=15704916 CPUtime=0 cores=0,2,4,6
/proc/22440/task/22458/stat : 22458 (java) S 22438 22440 22152 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 523269140 16081833984 55127 33554432000 1073741824 1073778376 140734963747392 18446744073709551615 253652676096 0 4 0 16800975 18446604453922756736 0 0 -1 0 0 0 0
[pid=22440/tid=22459] ppid=22438 vsize=15704916 CPUtime=0.47 cores=0,2,4,6
/proc/22440/task/22459/stat : 22459 (java) R 22438 22440 22152 0 -1 4202560 1303 0 0 0 47 0 0 0 18 0 22 0 523269174 16081833984 55127 33554432000 1073741824 1073778376 140734963747392 18446744073709551615 46912505756832 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=22440/tid=22460] ppid=22438 vsize=15704916 CPUtime=0.51 cores=0,2,4,6
/proc/22440/task/22460/stat : 22460 (java) R 22438 22440 22152 0 -1 4202560 2190 0 0 0 51 0 0 0 20 0 22 0 523269174 16081833984 55127 33554432000 1073741824 1073778376 140734963747392 18446744073709551615 46912505836871 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=22440/tid=22461] ppid=22438 vsize=15704916 CPUtime=0.53 cores=0,2,4,6
/proc/22440/task/22461/stat : 22461 (java) R 22438 22440 22152 0 -1 4202560 4193 0 0 0 53 0 0 0 21 0 22 0 523269174 16081833984 55127 33554432000 1073741824 1073778376 140734963747392 18446744073709551615 47368833647338 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=22440/tid=22462] ppid=22438 vsize=15704916 CPUtime=0.58 cores=0,2,4,6
/proc/22440/task/22462/stat : 22462 (java) R 22438 22440 22152 0 -1 4202560 4512 0 0 0 58 0 0 0 16 0 22 0 523269174 16081833984 55127 33554432000 1073741824 1073778376 140734963747392 18446744073709551615 46912505836871 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.37
Current children cumulated vsize (KiB) 15704916

[startup+3.10166 s]
/proc/loadavg: 7.82 8.02 7.99 11/220 22462
/proc/meminfo: memFree=29661032/32951124 swapFree=67111364/67111528
[pid=22440] ppid=22438 vsize=15704916 CPUtime=10.75 cores=0,2,4,6
/proc/22440/stat : 22440 (java) S 22438 22440 22152 0 -1 4202496 111264 0 1 0 1061 14 0 0 25 0 22 0 523269135 16081833984 102243 33554432000 1073741824 1073778376 140734963747392 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/22440/statm: 3926229 102243 2284 9 0 3916948 0
[pid=22440/tid=22442] ppid=22438 vsize=15704916 CPUtime=0.67 cores=0,2,4,6
/proc/22440/task/22442/stat : 22442 (java) S 22438 22440 22152 0 -1 4202560 23331 0 1 0 64 3 0 0 25 0 22 0 523269136 16081833984 102243 33554432000 1073741824 1073778376 140734963747392 18446744073709551615 253652675481 0 4 0 16800975 18446604453922756736 0 0 -1 0 0 0 0
[pid=22440/tid=22443] ppid=22438 vsize=15704916 CPUtime=0 cores=0,2,4,6
/proc/22440/task/22443/stat : 22443 (java) S 22438 22440 22152 0 -1 4202560 2134 0 0 0 0 0 0 0 15 0 22 0 523269136 16081833984 102243 33554432000 1073741824 1073778376 140734963747392 18446744073709551615 253652675481 0 4 0 16800975 18446604453922756736 0 0 -1 0 0 0 0
[pid=22440/tid=22444] ppid=22438 vsize=15704916 CPUtime=0 cores=0,2,4,6
/proc/22440/task/22444/stat : 22444 (java) S 22438 22440 22152 0 -1 4202560 2108 0 0 0 0 0 0 0 15 0 22 0 523269136 16081833984 102243 33554432000 1073741824 1073778376 140734963747392 18446744073709551615 253652675481 0 4 0 16800975 18446604453922756736 0 0 -1 4 0 0 0
[pid=22440/tid=22445] ppid=22438 vsize=15704916 CPUtime=0.02 cores=0,2,4,6
/proc/22440/task/22445/stat : 22445 (java) S 22438 22440 22152 0 -1 4202560 7334 0 0 0 1 1 0 0 16 0 22 0 523269136 16081833984 102243 33554432000 1073741824 1073778376 140734963747392 18446744073709551615 253652675481 0 4 0 16800975 18446604453922756736 0 0 -1 0 0 0 0
[pid=22440/tid=22446] ppid=22438 vsize=15704916 CPUtime=0 cores=0,2,4,6
/proc/22440/task/22446/stat : 22446 (java) S 22438 22440 22152 0 -1 4202560 2750 0 0 0 0 0 0 0 15 0 22 0 523269136 16081833984 102243 33554432000 1073741824 1073778376 140734963747392 18446744073709551615 253652675481 0 4 0 16800975 18446604453922756736 0 0 -1 4 0 0 0
[pid=22440/tid=22447] ppid=22438 vsize=15704916 CPUtime=0 cores=0,2,4,6
/proc/22440/task/22447/stat : 22447 (java) S 22438 22440 22152 0 -1 4202560 2874 0 0 0 0 0 0 0 16 0 22 0 523269136 16081833984 102243 33554432000 1073741824 1073778376 140734963747392 18446744073709551615 253652675481 0 4 0 16800975 18446604453922756736 0 0 -1 4 0 0 0
[pid=22440/tid=22448] ppid=22438 vsize=15704916 CPUtime=0.02 cores=0,2,4,6
/proc/22440/task/22448/stat : 22448 (java) S 22438 22440 22152 0 -1 4202560 6599 0 0 0 1 1 0 0 16 0 22 0 523269136 16081833984 102243 33554432000 1073741824 1073778376 140734963747392 18446744073709551615 253652675481 0 4 0 16800975 18446604453922756736 0 0 -1 2 0 0 0
[pid=22440/tid=22449] ppid=22438 vsize=15704916 CPUtime=0 cores=0,2,4,6
/proc/22440/task/22449/stat : 22449 (java) S 22438 22440 22152 0 -1 4202560 4222 0 0 0 0 0 0 0 16 0 22 0 523269136 16081833984 102243 33554432000 1073741824 1073778376 140734963747392 18446744073709551615 253652675481 0 4 0 16800975 18446604453922756736 0 0 -1 6 0 0 0
[pid=22440/tid=22450] ppid=22438 vsize=15704916 CPUtime=0 cores=0,2,4,6
/proc/22440/task/22450/stat : 22450 (java) S 22438 22440 22152 0 -1 4202560 3825 0 0 0 0 0 0 0 15 0 22 0 523269136 16081833984 102243 33554432000 1073741824 1073778376 140734963747392 18446744073709551615 253652675481 0 4 0 16800975 18446604453922756736 0 0 -1 0 0 0 0
[pid=22440/tid=22451] ppid=22438 vsize=15704916 CPUtime=0 cores=0,2,4,6
/proc/22440/task/22451/stat : 22451 (java) S 22438 22440 22152 0 -1 4202560 218 0 0 0 0 0 0 0 15 0 22 0 523269137 16081833984 102243 33554432000 1073741824 1073778376 140734963747392 18446744073709551615 253652676096 0 0 0 16800975 18446604453922756736 0 0 -1 0 0 0 0
[pid=22440/tid=22452] ppid=22438 vsize=15704916 CPUtime=0 cores=0,2,4,6
/proc/22440/task/22452/stat : 22452 (java) S 22438 22440 22152 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 523269138 16081833984 102243 33554432000 1073741824 1073778376 140734963747392 18446744073709551615 253652675481 0 4 0 16800975 18446604453922756736 0 0 -1 0 0 0 0
[pid=22440/tid=22453] ppid=22438 vsize=15704916 CPUtime=0 cores=0,2,4,6
/proc/22440/task/22453/stat : 22453 (java) S 22438 22440 22152 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 523269138 16081833984 102243 33554432000 1073741824 1073778376 140734963747392 18446744073709551615 253652675481 0 4 0 16800975 18446604453922756736 0 0 -1 6 0 0 0
[pid=22440/tid=22454] ppid=22438 vsize=15704916 CPUtime=0 cores=0,2,4,6
/proc/22440/task/22454/stat : 22454 (java) S 22438 22440 22152 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 523269140 16081833984 102243 33554432000 1073741824 1073778376 140734963747392 18446744073709551615 253652683185 0 4 0 16800975 18446604453922756736 0 0 -1 4 0 0 0
[pid=22440/tid=22455] ppid=22438 vsize=15704916 CPUtime=1.03 cores=0,2,4,6
/proc/22440/task/22455/stat : 22455 (java) S 22438 22440 22152 0 -1 4202560 12584 0 0 0 102 1 0 0 16 0 22 0 523269140 16081833984 102243 33554432000 1073741824 1073778376 140734963747392 18446744073709551615 253652675481 0 4 0 16800975 18446604453922756736 0 0 -1 0 0 0 0
[pid=22440/tid=22456] ppid=22438 vsize=15704916 CPUtime=0.78 cores=0,2,4,6
/proc/22440/task/22456/stat : 22456 (java) S 22438 22440 22152 0 -1 4202560 7465 0 0 0 77 1 0 0 15 0 22 0 523269140 16081833984 102243 33554432000 1073741824 1073778376 140734963747392 18446744073709551615 253652675481 0 4 0 16800975 18446604453922756736 0 0 -1 4 0 0 0
[pid=22440/tid=22457] ppid=22438 vsize=15704916 CPUtime=0 cores=0,2,4,6
/proc/22440/task/22457/stat : 22457 (java) S 22438 22440 22152 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 22 0 523269140 16081833984 102243 33554432000 1073741824 1073778376 140734963747392 18446744073709551615 253652675481 0 4 0 16800975 18446604453922756736 0 0 -1 4 0 0 0
[pid=22440/tid=22458] ppid=22438 vsize=15704916 CPUtime=0 cores=0,2,4,6
/proc/22440/task/22458/stat : 22458 (java) S 22438 22440 22152 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 523269140 16081833984 102243 33554432000 1073741824 1073778376 140734963747392 18446744073709551615 253652676096 0 4 0 16800975 18446604453922756736 0 0 -1 0 0 0 0
[pid=22440/tid=22459] ppid=22438 vsize=15704916 CPUtime=1.95 cores=0,2,4,6
/proc/22440/task/22459/stat : 22459 (java) R 22438 22440 22152 0 -1 4202560 5604 0 0 0 195 0 0 0 20 0 22 0 523269174 16081833984 102243 33554432000 1073741824 1073778376 140734963747392 18446744073709551615 46912505181248 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22440/tid=22460] ppid=22438 vsize=15704916 CPUtime=2.07 cores=0,2,4,6
/proc/22440/task/22460/stat : 22460 (java) R 22438 22440 22152 0 -1 4202560 8689 0 0 0 207 0 0 0 25 0 22 0 523269174 16081833984 102243 33554432000 1073741824 1073778376 140734963747392 18446744073709551615 46912505899082 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=22440/tid=22461] ppid=22438 vsize=15704916 CPUtime=1.99 cores=0,2,4,6
/proc/22440/task/22461/stat : 22461 (java) R 22438 22440 22152 0 -1 4202560 9665 0 0 0 199 0 0 0 25 0 22 0 523269174 16081833984 102243 33554432000 1073741824 1073778376 140734963747392 18446744073709551615 46912505836324 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=22440/tid=22462] ppid=22438 vsize=15704916 CPUtime=2.06 cores=0,2,4,6
/proc/22440/task/22462/stat : 22462 (java) R 22438 22440 22152 0 -1 4202560 10476 0 0 0 205 1 0 0 17 0 22 0 523269174 16081833984 102243 33554432000 1073741824 1073778376 140734963747392 18446744073709551615 46912505841739 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 10.75
Current children cumulated vsize (KiB) 15704916

[startup+6.30104 s]
/proc/loadavg: 7.52 7.95 7.97 8/216 22509
/proc/meminfo: memFree=29321948/32951124 swapFree=67111364/67111528
[pid=22440] ppid=22438 vsize=15698748 CPUtime=23.52 cores=0,2,4,6
/proc/22440/stat : 22440 (java) S 22438 22440 22152 0 -1 4202496 293897 0 1 0 2315 37 0 0 25 0 22 0 523269135 16075517952 283080 33554432000 1073741824 1073778376 140734963747392 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/22440/statm: 3924687 283080 2284 9 0 3915406 0
[pid=22440/tid=22442] ppid=22438 vsize=15698748 CPUtime=0.67 cores=0,2,4,6
/proc/22440/task/22442/stat : 22442 (java) S 22438 22440 22152 0 -1 4202560 23331 0 1 0 64 3 0 0 25 0 22 0 523269136 16075517952 283080 33554432000 1073741824 1073778376 140734963747392 18446744073709551615 253652675481 0 4 0 16800975 18446604453922756736 0 0 -1 0 0 0 0
[pid=22440/tid=22443] ppid=22438 vsize=15698748 CPUtime=0 cores=0,2,4,6
/proc/22440/task/22443/stat : 22443 (java) S 22438 22440 22152 0 -1 4202560 3718 0 0 0 0 0 0 0 16 0 22 0 523269136 16075517952 283080 33554432000 1073741824 1073778376 140734963747392 18446744073709551615 253652675481 0 4 0 16800975 18446604453922756736 0 0 -1 2 0 0 0
[pid=22440/tid=22444] ppid=22438 vsize=15698748 CPUtime=0 cores=0,2,4,6
/proc/22440/task/22444/stat : 22444 (java) S 22438 22440 22152 0 -1 4202560 3475 0 0 0 0 0 0 0 15 0 22 0 523269136 16075517952 283080 33554432000 1073741824 1073778376 140734963747392 18446744073709551615 253652675481 0 4 0 16800975 18446604453922756736 0 0 -1 4 0 0 0
[pid=22440/tid=22445] ppid=22438 vsize=15698748 CPUtime=0.02 cores=0,2,4,6
/proc/22440/task/22445/stat : 22445 (java) S 22438 22440 22152 0 -1 4202560 7782 0 0 0 1 1 0 0 16 0 22 0 523269136 16075517952 283080 33554432000 1073741824 1073778376 140734963747392 18446744073709551615 253652675481 0 4 0 16800975 18446604453922756736 0 0 -1 4 0 0 0
[pid=22440/tid=22446] ppid=22438 vsize=15698748 CPUtime=0.01 cores=0,2,4,6
/proc/22440/task/22446/stat : 22446 (java) S 22438 22440 22152 0 -1 4202560 5604 0 0 0 1 0 0 0 16 0 22 0 523269136 16075517952 283080 33554432000 1073741824 1073778376 140734963747392 18446744073709551615 253652675481 0 4 0 16800975 18446604453922756736 0 0 -1 6 0 0 0
[pid=22440/tid=22447] ppid=22438 vsize=15698748 CPUtime=0.01 cores=0,2,4,6
/proc/22440/task/22447/stat : 22447 (java) S 22438 22440 22152 0 -1 4202560 3440 0 0 0 1 0 0 0 15 0 22 0 523269136 16075517952 283080 33554432000 1073741824 1073778376 140734963747392 18446744073709551615 253652675481 0 4 0 16800975 18446604453922756736 0 0 -1 2 0 0 0
[pid=22440/tid=22448] ppid=22438 vsize=15698748 CPUtime=0.02 cores=0,2,4,6
/proc/22440/task/22448/stat : 22448 (java) S 22438 22440 22152 0 -1 4202560 8003 0 0 0 1 1 0 0 15 0 22 0 523269136 16075517952 283080 33554432000 1073741824 1073778376 140734963747392 18446744073709551615 253652675481 0 4 0 16800975 18446604453922756736 0 0 -1 2 0 0 0
[pid=22440/tid=22449] ppid=22438 vsize=15698748 CPUtime=0 cores=0,2,4,6
/proc/22440/task/22449/stat : 22449 (java) S 22438 22440 22152 0 -1 4202560 4222 0 0 0 0 0 0 0 15 0 22 0 523269136 16075517952 283080 33554432000 1073741824 1073778376 140734963747392 18446744073709551615 253652675481 0 4 0 16800975 18446604453922756736 0 0 -1 6 0 0 0
[pid=22440/tid=22450] ppid=22438 vsize=15698748 CPUtime=0.02 cores=0,2,4,6
/proc/22440/task/22450/stat : 22450 (java) S 22438 22440 22152 0 -1 4202560 6281 0 0 0 1 1 0 0 16 0 22 0 523269136 16075517952 283080 33554432000 1073741824 1073778376 140734963747392 18446744073709551615 253652675481 0 4 0 16800975 18446604453922756736 0 0 -1 4 0 0 0
[pid=22440/tid=22451] ppid=22438 vsize=15698748 CPUtime=0 cores=0,2,4,6
/proc/22440/task/22451/stat : 22451 (java) S 22438 22440 22152 0 -1 4202560 772 0 0 0 0 0 0 0 15 0 22 0 523269137 16075517952 283080 33554432000 1073741824 1073778376 140734963747392 18446744073709551615 253652676096 0 0 0 16800975 18446604453922756736 0 0 -1 0 0 0 0
[pid=22440/tid=22452] ppid=22438 vsize=15698748 CPUtime=0 cores=0,2,4,6
/proc/22440/task/22452/stat : 22452 (java) S 22438 22440 22152 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 523269138 16075517952 283080 33554432000 1073741824 1073778376 140734963747392 18446744073709551615 253652675481 0 4 0 16800975 18446604453922756736 0 0 -1 0 0 0 0
[pid=22440/tid=22453] ppid=22438 vsize=15698748 CPUtime=0 cores=0,2,4,6
/proc/22440/task/22453/stat : 22453 (java) S 22438 22440 22152 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 523269138 16075517952 283080 33554432000 1073741824 1073778376 140734963747392 18446744073709551615 253652675481 0 4 0 16800975 18446604453922756736 0 0 -1 6 0 0 0
[pid=22440/tid=22454] ppid=22438 vsize=15698748 CPUtime=0 cores=0,2,4,6
/proc/22440/task/22454/stat : 22454 (java) S 22438 22440 22152 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 523269140 16075517952 283080 33554432000 1073741824 1073778376 140734963747392 18446744073709551615 253652683185 0 4 0 16800975 18446604453922756736 0 0 -1 4 0 0 0
[pid=22440/tid=22455] ppid=22438 vsize=15698748 CPUtime=1.13 cores=0,2,4,6
/proc/22440/task/22455/stat : 22455 (java) S 22438 22440 22152 0 -1 4202560 12595 0 0 0 112 1 0 0 15 0 22 0 523269140 16075517952 283080 33554432000 1073741824 1073778376 140734963747392 18446744073709551615 253652675481 0 4 0 16800975 18446604453922756736 0 0 -1 0 0 0 0

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

[pid=22440/tid=22460] ppid=22438 vsize=15698748 CPUtime=1049.33 cores=0,2,4,6
/proc/22440/task/22460/stat : 22460 (java) R 22438 22440 22152 0 -1 4202560 176959 0 0 0 104905 28 0 0 25 0 22 0 523269174 16075517952 80743 33554432000 1073741824 1073778376 140734963747392 18446744073709551615 46912505825832 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=22440/tid=22461] ppid=22438 vsize=15698748 CPUtime=1048.39 cores=0,2,4,6
/proc/22440/task/22461/stat : 22461 (java) R 22438 22440 22152 0 -1 4202560 174901 0 0 0 104813 26 0 0 25 0 22 0 523269174 16075517952 80743 33554432000 1073741824 1073778376 140734963747392 18446744073709551615 46912505829203 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22440/tid=22462] ppid=22438 vsize=15698748 CPUtime=1048.46 cores=0,2,4,6
/proc/22440/task/22462/stat : 22462 (java) R 22438 22440 22152 0 -1 4202560 180795 0 0 0 104817 29 0 0 25 0 22 0 523269174 16075517952 80743 33554432000 1073741824 1073778376 140734963747392 18446744073709551615 46912505838449 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4224.33
Current children cumulated vsize (KiB) 15698748

[startup+1122.3 s]
/proc/loadavg: 5.50 5.45 6.37 6/219 22543
/proc/meminfo: memFree=14636640/32951124 swapFree=67111364/67111528
[pid=22440] ppid=22438 vsize=15698748 CPUtime=4462.89 cores=0,2,4,6
/proc/22440/stat : 22440 (java) S 22438 22440 22152 0 -1 4202496 1371690 0 1 0 445993 296 0 0 25 0 22 0 523269135 16075517952 77068 33554432000 1073741824 1073778376 140734963747392 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/22440/statm: 3924687 77068 2298 9 0 3915406 0
[pid=22440/tid=22442] ppid=22438 vsize=15698748 CPUtime=0.67 cores=0,2,4,6
/proc/22440/task/22442/stat : 22442 (java) S 22438 22440 22152 0 -1 4202560 23331 0 1 0 64 3 0 0 25 0 22 0 523269136 16075517952 77068 33554432000 1073741824 1073778376 140734963747392 18446744073709551615 253652675481 0 4 0 16800975 18446604453922756736 0 0 -1 0 0 0 0
[pid=22440/tid=22443] ppid=22438 vsize=15698748 CPUtime=3.25 cores=0,2,4,6
/proc/22440/task/22443/stat : 22443 (java) S 22438 22440 22152 0 -1 4202560 74224 0 0 0 310 15 0 0 16 0 22 0 523269136 16075517952 77068 33554432000 1073741824 1073778376 140734963747392 18446744073709551615 253652675481 0 4 0 16800975 18446604453922756736 0 0 -1 6 0 0 0
[pid=22440/tid=22444] ppid=22438 vsize=15698748 CPUtime=3.25 cores=0,2,4,6
/proc/22440/task/22444/stat : 22444 (java) S 22438 22440 22152 0 -1 4202560 71783 0 0 0 311 14 0 0 15 0 22 0 523269136 16075517952 77068 33554432000 1073741824 1073778376 140734963747392 18446744073709551615 253652675481 0 4 0 16800975 18446604453922756736 0 0 -1 2 0 0 0
[pid=22440/tid=22445] ppid=22438 vsize=15698748 CPUtime=3.2 cores=0,2,4,6
/proc/22440/task/22445/stat : 22445 (java) S 22438 22440 22152 0 -1 4202560 73471 0 0 0 306 14 0 0 15 0 22 0 523269136 16075517952 77068 33554432000 1073741824 1073778376 140734963747392 18446744073709551615 253652675481 0 4 0 16800975 18446604453922756736 0 0 -1 6 0 0 0
[pid=22440/tid=22446] ppid=22438 vsize=15698748 CPUtime=3.12 cores=0,2,4,6
/proc/22440/task/22446/stat : 22446 (java) S 22438 22440 22152 0 -1 4202560 70938 0 0 0 298 14 0 0 16 0 22 0 523269136 16075517952 77068 33554432000 1073741824 1073778376 140734963747392 18446744073709551615 253652675481 0 4 0 16800975 18446604453922756736 0 0 -1 0 0 0 0
[pid=22440/tid=22447] ppid=22438 vsize=15698748 CPUtime=3.27 cores=0,2,4,6
/proc/22440/task/22447/stat : 22447 (java) S 22438 22440 22152 0 -1 4202560 71711 0 0 0 314 13 0 0 15 0 22 0 523269136 16075517952 77068 33554432000 1073741824 1073778376 140734963747392 18446744073709551615 253652675481 0 4 0 16800975 18446604453922756736 0 0 -1 4 0 0 0
[pid=22440/tid=22448] ppid=22438 vsize=15698748 CPUtime=3.16 cores=0,2,4,6
/proc/22440/task/22448/stat : 22448 (java) S 22438 22440 22152 0 -1 4202560 72745 0 0 0 303 13 0 0 15 0 22 0 523269136 16075517952 77068 33554432000 1073741824 1073778376 140734963747392 18446744073709551615 253652675481 0 4 0 16800975 18446604453922756736 0 0 -1 2 0 0 0
[pid=22440/tid=22449] ppid=22438 vsize=15698748 CPUtime=3.17 cores=0,2,4,6
/proc/22440/task/22449/stat : 22449 (java) S 22438 22440 22152 0 -1 4202560 68104 0 0 0 304 13 0 0 15 0 22 0 523269136 16075517952 77068 33554432000 1073741824 1073778376 140734963747392 18446744073709551615 253652675481 0 4 0 16800975 18446604453922756736 0 0 -1 2 0 0 0
[pid=22440/tid=22450] ppid=22438 vsize=15698748 CPUtime=3.25 cores=0,2,4,6
/proc/22440/task/22450/stat : 22450 (java) S 22438 22440 22152 0 -1 4202560 76188 0 0 0 310 15 0 0 15 0 22 0 523269136 16075517952 77068 33554432000 1073741824 1073778376 140734963747392 18446744073709551615 253652675481 0 4 0 16800975 18446604453922756736 0 0 -1 4 0 0 0
[pid=22440/tid=22451] ppid=22438 vsize=15698748 CPUtime=1.64 cores=0,2,4,6
/proc/22440/task/22451/stat : 22451 (java) S 22438 22440 22152 0 -1 4202560 3654 0 0 0 107 57 0 0 15 0 22 0 523269137 16075517952 77068 33554432000 1073741824 1073778376 140734963747392 18446744073709551615 253652676096 0 0 0 16800975 18446604453922756736 0 0 -1 6 0 0 0
[pid=22440/tid=22452] ppid=22438 vsize=15698748 CPUtime=0 cores=0,2,4,6
/proc/22440/task/22452/stat : 22452 (java) S 22438 22440 22152 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 523269138 16075517952 77068 33554432000 1073741824 1073778376 140734963747392 18446744073709551615 253652675481 0 4 0 16800975 18446604453922756736 0 0 -1 0 0 0 0
[pid=22440/tid=22453] ppid=22438 vsize=15698748 CPUtime=0 cores=0,2,4,6
/proc/22440/task/22453/stat : 22453 (java) S 22438 22440 22152 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 523269138 16075517952 77068 33554432000 1073741824 1073778376 140734963747392 18446744073709551615 253652675481 0 4 0 16800975 18446604453922756736 0 0 -1 6 0 0 0
[pid=22440/tid=22454] ppid=22438 vsize=15698748 CPUtime=0 cores=0,2,4,6
/proc/22440/task/22454/stat : 22454 (java) S 22438 22440 22152 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 523269140 16075517952 77068 33554432000 1073741824 1073778376 140734963747392 18446744073709551615 253652683185 0 4 0 16800975 18446604453922756736 0 0 -1 4 0 0 0
[pid=22440/tid=22455] ppid=22438 vsize=15698748 CPUtime=1.17 cores=0,2,4,6
/proc/22440/task/22455/stat : 22455 (java) S 22438 22440 22152 0 -1 4202560 12605 0 0 0 116 1 0 0 15 0 22 0 523269140 16075517952 77068 33554432000 1073741824 1073778376 140734963747392 18446744073709551615 253652675481 0 4 0 16800975 18446604453922756736 0 0 -1 0 0 0 0
[pid=22440/tid=22456] ppid=22438 vsize=15698748 CPUtime=0.99 cores=0,2,4,6
/proc/22440/task/22456/stat : 22456 (java) S 22438 22440 22152 0 -1 4202560 7489 0 0 0 98 1 0 0 15 0 22 0 523269140 16075517952 77068 33554432000 1073741824 1073778376 140734963747392 18446744073709551615 253652675481 0 4 0 16800975 18446604453922756736 0 0 -1 4 0 0 0
[pid=22440/tid=22457] ppid=22438 vsize=15698748 CPUtime=0 cores=0,2,4,6
/proc/22440/task/22457/stat : 22457 (java) S 22438 22440 22152 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 22 0 523269140 16075517952 77068 33554432000 1073741824 1073778376 140734963747392 18446744073709551615 253652675481 0 4 0 16800975 18446604453922756736 0 0 -1 4 0 0 0
[pid=22440/tid=22458] ppid=22438 vsize=15698748 CPUtime=0 cores=0,2,4,6
/proc/22440/task/22458/stat : 22458 (java) S 22438 22440 22152 0 -1 4202560 62 0 0 0 0 0 0 0 15 0 22 0 523269140 16075517952 77068 33554432000 1073741824 1073778376 140734963747392 18446744073709551615 253652676096 0 4 0 16800975 18446604453922756736 0 0 -1 6 0 0 0
[pid=22440/tid=22459] ppid=22438 vsize=15698748 CPUtime=1108.56 cores=0,2,4,6
/proc/22440/task/22459/stat : 22459 (java) R 22438 22440 22152 0 -1 4202560 179314 0 0 0 110829 27 0 0 25 0 22 0 523269174 16075517952 77068 33554432000 1073741824 1073778376 140734963747392 18446744073709551615 47368833648606 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=22440/tid=22460] ppid=22438 vsize=15698748 CPUtime=1108.68 cores=0,2,4,6
/proc/22440/task/22460/stat : 22460 (java) R 22438 22440 22152 0 -1 4202560 187787 0 0 0 110839 29 0 0 25 0 22 0 523269174 16075517952 77068 33554432000 1073741824 1073778376 140734963747392 18446744073709551615 46912505829430 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=22440/tid=22461] ppid=22438 vsize=15698748 CPUtime=1107.59 cores=0,2,4,6
/proc/22440/task/22461/stat : 22461 (java) R 22438 22440 22152 0 -1 4202560 185588 0 0 0 110732 27 0 0 25 0 22 0 523269174 16075517952 77068 33554432000 1073741824 1073778376 140734963747392 18446744073709551615 46912505859663 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22440/tid=22462] ppid=22438 vsize=15698748 CPUtime=1107.76 cores=0,2,4,6
/proc/22440/task/22462/stat : 22462 (java) R 22438 22440 22152 0 -1 4202560 191311 0 0 0 110745 31 0 0 25 0 22 0 523269174 16075517952 77068 33554432000 1073741824 1073778376 140734963747392 18446744073709551615 46912505829377 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4462.89
Current children cumulated vsize (KiB) 15698748

[startup+1182.3 s]
/proc/loadavg: 5.23 5.38 6.28 7/219 22544
/proc/meminfo: memFree=14610608/32951124 swapFree=67111364/67111528
[pid=22440] ppid=22438 vsize=15698748 CPUtime=4701.4 cores=0,2,4,6
/proc/22440/stat : 22440 (java) S 22438 22440 22152 0 -1 4202496 1445617 0 1 0 469830 310 0 0 25 0 22 0 523269135 16075517952 79945 33554432000 1073741824 1073778376 140734963747392 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/22440/statm: 3924687 79945 2298 9 0 3915406 0
[pid=22440/tid=22442] ppid=22438 vsize=15698748 CPUtime=0.67 cores=0,2,4,6
/proc/22440/task/22442/stat : 22442 (java) S 22438 22440 22152 0 -1 4202560 23331 0 1 0 64 3 0 0 25 0 22 0 523269136 16075517952 79945 33554432000 1073741824 1073778376 140734963747392 18446744073709551615 253652675481 0 4 0 16800975 18446604453922756736 0 0 -1 0 0 0 0
[pid=22440/tid=22443] ppid=22438 vsize=15698748 CPUtime=3.42 cores=0,2,4,6
/proc/22440/task/22443/stat : 22443 (java) S 22438 22440 22152 0 -1 4202560 78878 0 0 0 326 16 0 0 15 0 22 0 523269136 16075517952 79945 33554432000 1073741824 1073778376 140734963747392 18446744073709551615 253652675481 0 4 0 16800975 18446604453922756736 0 0 -1 4 0 0 0
[pid=22440/tid=22444] ppid=22438 vsize=15698748 CPUtime=3.4 cores=0,2,4,6
/proc/22440/task/22444/stat : 22444 (java) S 22438 22440 22152 0 -1 4202560 75773 0 0 0 325 15 0 0 15 0 22 0 523269136 16075517952 79945 33554432000 1073741824 1073778376 140734963747392 18446744073709551615 253652675481 0 4 0 16800975 18446604453922756736 0 0 -1 6 0 0 0
[pid=22440/tid=22445] ppid=22438 vsize=15698748 CPUtime=3.37 cores=0,2,4,6
/proc/22440/task/22445/stat : 22445 (java) S 22438 22440 22152 0 -1 4202560 77889 0 0 0 322 15 0 0 16 0 22 0 523269136 16075517952 79945 33554432000 1073741824 1073778376 140734963747392 18446744073709551615 253652675481 0 4 0 16800975 18446604453922756736 0 0 -1 0 0 0 0
[pid=22440/tid=22446] ppid=22438 vsize=15698748 CPUtime=3.31 cores=0,2,4,6
/proc/22440/task/22446/stat : 22446 (java) S 22438 22440 22152 0 -1 4202560 76934 0 0 0 316 15 0 0 15 0 22 0 523269136 16075517952 79945 33554432000 1073741824 1073778376 140734963747392 18446744073709551615 253652675481 0 4 0 16800975 18446604453922756736 0 0 -1 2 0 0 0
[pid=22440/tid=22447] ppid=22438 vsize=15698748 CPUtime=3.42 cores=0,2,4,6
/proc/22440/task/22447/stat : 22447 (java) S 22438 22440 22152 0 -1 4202560 75547 0 0 0 328 14 0 0 16 0 22 0 523269136 16075517952 79945 33554432000 1073741824 1073778376 140734963747392 18446744073709551615 253652675481 0 4 0 16800975 18446604453922756736 0 0 -1 4 0 0 0
[pid=22440/tid=22448] ppid=22438 vsize=15698748 CPUtime=3.31 cores=0,2,4,6
/proc/22440/task/22448/stat : 22448 (java) S 22438 22440 22152 0 -1 4202560 77127 0 0 0 317 14 0 0 15 0 22 0 523269136 16075517952 79945 33554432000 1073741824 1073778376 140734963747392 18446744073709551615 253652675481 0 4 0 16800975 18446604453922756736 0 0 -1 6 0 0 0
[pid=22440/tid=22449] ppid=22438 vsize=15698748 CPUtime=3.33 cores=0,2,4,6
/proc/22440/task/22449/stat : 22449 (java) S 22438 22440 22152 0 -1 4202560 71888 0 0 0 319 14 0 0 15 0 22 0 523269136 16075517952 79945 33554432000 1073741824 1073778376 140734963747392 18446744073709551615 253652675481 0 4 0 16800975 18446604453922756736 0 0 -1 0 0 0 0
[pid=22440/tid=22450] ppid=22438 vsize=15698748 CPUtime=3.41 cores=0,2,4,6
/proc/22440/task/22450/stat : 22450 (java) S 22438 22440 22152 0 -1 4202560 79918 0 0 0 325 16 0 0 15 0 22 0 523269136 16075517952 79945 33554432000 1073741824 1073778376 140734963747392 18446744073709551615 253652675481 0 4 0 16800975 18446604453922756736 0 0 -1 6 0 0 0
[pid=22440/tid=22451] ppid=22438 vsize=15698748 CPUtime=1.74 cores=0,2,4,6
/proc/22440/task/22451/stat : 22451 (java) S 22438 22440 22152 0 -1 4202560 3872 0 0 0 114 60 0 0 15 0 22 0 523269137 16075517952 79945 33554432000 1073741824 1073778376 140734963747392 18446744073709551615 253652676096 0 0 0 16800975 18446604453922756736 0 0 -1 2 0 0 0
[pid=22440/tid=22452] ppid=22438 vsize=15698748 CPUtime=0 cores=0,2,4,6
/proc/22440/task/22452/stat : 22452 (java) S 22438 22440 22152 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 523269138 16075517952 79945 33554432000 1073741824 1073778376 140734963747392 18446744073709551615 253652675481 0 4 0 16800975 18446604453922756736 0 0 -1 0 0 0 0
[pid=22440/tid=22453] ppid=22438 vsize=15698748 CPUtime=0 cores=0,2,4,6
/proc/22440/task/22453/stat : 22453 (java) S 22438 22440 22152 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 523269138 16075517952 79945 33554432000 1073741824 1073778376 140734963747392 18446744073709551615 253652675481 0 4 0 16800975 18446604453922756736 0 0 -1 6 0 0 0
[pid=22440/tid=22454] ppid=22438 vsize=15698748 CPUtime=0 cores=0,2,4,6
/proc/22440/task/22454/stat : 22454 (java) S 22438 22440 22152 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 523269140 16075517952 79945 33554432000 1073741824 1073778376 140734963747392 18446744073709551615 253652683185 0 4 0 16800975 18446604453922756736 0 0 -1 4 0 0 0
[pid=22440/tid=22455] ppid=22438 vsize=15698748 CPUtime=1.17 cores=0,2,4,6
/proc/22440/task/22455/stat : 22455 (java) S 22438 22440 22152 0 -1 4202560 12605 0 0 0 116 1 0 0 15 0 22 0 523269140 16075517952 79945 33554432000 1073741824 1073778376 140734963747392 18446744073709551615 253652675481 0 4 0 16800975 18446604453922756736 0 0 -1 0 0 0 0
[pid=22440/tid=22456] ppid=22438 vsize=15698748 CPUtime=0.99 cores=0,2,4,6
/proc/22440/task/22456/stat : 22456 (java) S 22438 22440 22152 0 -1 4202560 7489 0 0 0 98 1 0 0 15 0 22 0 523269140 16075517952 79945 33554432000 1073741824 1073778376 140734963747392 18446744073709551615 253652675481 0 4 0 16800975 18446604453922756736 0 0 -1 4 0 0 0
[pid=22440/tid=22457] ppid=22438 vsize=15698748 CPUtime=0 cores=0,2,4,6
/proc/22440/task/22457/stat : 22457 (java) S 22438 22440 22152 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 22 0 523269140 16075517952 79945 33554432000 1073741824 1073778376 140734963747392 18446744073709551615 253652675481 0 4 0 16800975 18446604453922756736 0 0 -1 4 0 0 0
[pid=22440/tid=22458] ppid=22438 vsize=15698748 CPUtime=0 cores=0,2,4,6
/proc/22440/task/22458/stat : 22458 (java) S 22438 22440 22152 0 -1 4202560 65 0 0 0 0 0 0 0 15 0 22 0 523269140 16075517952 79945 33554432000 1073741824 1073778376 140734963747392 18446744073709551615 253652676096 0 4 0 16800975 18446604453922756736 0 0 -1 6 0 0 0
[pid=22440/tid=22459] ppid=22438 vsize=15698748 CPUtime=1167.85 cores=0,2,4,6
/proc/22440/task/22459/stat : 22459 (java) R 22438 22440 22152 0 -1 4202560 188776 0 0 0 116757 28 0 0 25 0 22 0 523269174 16075517952 79945 33554432000 1073741824 1073778376 140734963747392 18446744073709551615 46912505729183 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=22440/tid=22460] ppid=22438 vsize=15698748 CPUtime=1168.03 cores=0,2,4,6
/proc/22440/task/22460/stat : 22460 (java) R 22438 22440 22152 0 -1 4202560 197638 0 0 0 116772 31 0 0 25 0 22 0 523269174 16075517952 79945 33554432000 1073741824 1073778376 140734963747392 18446744073709551615 46912505829430 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=22440/tid=22461] ppid=22438 vsize=15698748 CPUtime=1166.91 cores=0,2,4,6
/proc/22440/task/22461/stat : 22461 (java) R 22438 22440 22152 0 -1 4202560 195788 0 0 0 116663 28 0 0 25 0 22 0 523269174 16075517952 79945 33554432000 1073741824 1073778376 140734963747392 18446744073709551615 46912505899509 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=22440/tid=22462] ppid=22438 vsize=15698748 CPUtime=1166.93 cores=0,2,4,6
/proc/22440/task/22462/stat : 22462 (java) R 22438 22440 22152 0 -1 4202560 200714 0 0 0 116661 32 0 0 25 0 22 0 523269174 16075517952 79945 33554432000 1073741824 1073778376 140734963747392 18446744073709551615 46912505838408 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4701.4
Current children cumulated vsize (KiB) 15698748



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1207.2 s]
/proc/loadavg: 5.23 5.37 6.25 6/219 22545
/proc/meminfo: memFree=14602788/32951124 swapFree=67111364/67111528
[pid=22440] ppid=22438 vsize=15698748 CPUtime=4800.41 cores=0,2,4,6
/proc/22440/stat : 22440 (java) S 22438 22440 22152 0 -1 4202496 1477568 0 1 0 479724 317 0 0 25 0 22 0 523269135 16075517952 81737 33554432000 1073741824 1073778376 140734963747392 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/22440/statm: 3924687 81737 2298 9 0 3915406 0
[pid=22440/tid=22442] ppid=22438 vsize=15698748 CPUtime=0.67 cores=0,2,4,6
/proc/22440/task/22442/stat : 22442 (java) S 22438 22440 22152 0 -1 4202560 23331 0 1 0 64 3 0 0 25 0 22 0 523269136 16075517952 81737 33554432000 1073741824 1073778376 140734963747392 18446744073709551615 253652675481 0 4 0 16800975 18446604453922756736 0 0 -1 0 0 0 0
[pid=22440/tid=22443] ppid=22438 vsize=15698748 CPUtime=3.49 cores=0,2,4,6
/proc/22440/task/22443/stat : 22443 (java) S 22438 22440 22152 0 -1 4202560 80926 0 0 0 333 16 0 0 15 0 22 0 523269136 16075517952 81737 33554432000 1073741824 1073778376 140734963747392 18446744073709551615 253652675481 0 4 0 16800975 18446604453922756736 0 0 -1 6 0 0 0
[pid=22440/tid=22444] ppid=22438 vsize=15698748 CPUtime=3.47 cores=0,2,4,6
/proc/22440/task/22444/stat : 22444 (java) S 22438 22440 22152 0 -1 4202560 77167 0 0 0 332 15 0 0 15 0 22 0 523269136 16075517952 81737 33554432000 1073741824 1073778376 140734963747392 18446744073709551615 253652675481 0 4 0 16800975 18446604453922756736 0 0 -1 4 0 0 0
[pid=22440/tid=22445] ppid=22438 vsize=15698748 CPUtime=3.45 cores=0,2,4,6
/proc/22440/task/22445/stat : 22445 (java) S 22438 22440 22152 0 -1 4202560 79449 0 0 0 330 15 0 0 15 0 22 0 523269136 16075517952 81737 33554432000 1073741824 1073778376 140734963747392 18446744073709551615 253652675481 0 4 0 16800975 18446604453922756736 0 0 -1 2 0 0 0
[pid=22440/tid=22446] ppid=22438 vsize=15698748 CPUtime=3.37 cores=0,2,4,6
/proc/22440/task/22446/stat : 22446 (java) S 22438 22440 22152 0 -1 4202560 78753 0 0 0 322 15 0 0 15 0 22 0 523269136 16075517952 81737 33554432000 1073741824 1073778376 140734963747392 18446744073709551615 253652675481 0 4 0 16800975 18446604453922756736 0 0 -1 4 0 0 0
[pid=22440/tid=22447] ppid=22438 vsize=15698748 CPUtime=3.48 cores=0,2,4,6
/proc/22440/task/22447/stat : 22447 (java) S 22438 22440 22152 0 -1 4202560 77211 0 0 0 334 14 0 0 15 0 22 0 523269136 16075517952 81737 33554432000 1073741824 1073778376 140734963747392 18446744073709551615 253652675481 0 4 0 16800975 18446604453922756736 0 0 -1 0 0 0 0
[pid=22440/tid=22448] ppid=22438 vsize=15698748 CPUtime=3.37 cores=0,2,4,6
/proc/22440/task/22448/stat : 22448 (java) S 22438 22440 22152 0 -1 4202560 78394 0 0 0 323 14 0 0 16 0 22 0 523269136 16075517952 81737 33554432000 1073741824 1073778376 140734963747392 18446744073709551615 253652675481 0 4 0 16800975 18446604453922756736 0 0 -1 6 0 0 0
[pid=22440/tid=22449] ppid=22438 vsize=15698748 CPUtime=3.39 cores=0,2,4,6
/proc/22440/task/22449/stat : 22449 (java) S 22438 22440 22152 0 -1 4202560 73226 0 0 0 325 14 0 0 16 0 22 0 523269136 16075517952 81737 33554432000 1073741824 1073778376 140734963747392 18446744073709551615 253652675481 0 4 0 16800975 18446604453922756736 0 0 -1 0 0 0 0
[pid=22440/tid=22450] ppid=22438 vsize=15698748 CPUtime=3.47 cores=0,2,4,6
/proc/22440/task/22450/stat : 22450 (java) S 22438 22440 22152 0 -1 4202560 81682 0 0 0 330 17 0 0 16 0 22 0 523269136 16075517952 81737 33554432000 1073741824 1073778376 140734963747392 18446744073709551615 253652675481 0 4 0 16800975 18446604453922756736 0 0 -1 2 0 0 0
[pid=22440/tid=22451] ppid=22438 vsize=15698748 CPUtime=1.78 cores=0,2,4,6
/proc/22440/task/22451/stat : 22451 (java) S 22438 22440 22152 0 -1 4202560 3980 0 0 0 116 62 0 0 15 0 22 0 523269137 16075517952 81737 33554432000 1073741824 1073778376 140734963747392 18446744073709551615 253652676096 0 0 0 16800975 18446604453922756736 0 0 -1 2 0 0 0
[pid=22440/tid=22452] ppid=22438 vsize=15698748 CPUtime=0 cores=0,2,4,6
/proc/22440/task/22452/stat : 22452 (java) S 22438 22440 22152 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 523269138 16075517952 81737 33554432000 1073741824 1073778376 140734963747392 18446744073709551615 253652675481 0 4 0 16800975 18446604453922756736 0 0 -1 0 0 0 0
[pid=22440/tid=22453] ppid=22438 vsize=15698748 CPUtime=0 cores=0,2,4,6
/proc/22440/task/22453/stat : 22453 (java) S 22438 22440 22152 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 523269138 16075517952 81737 33554432000 1073741824 1073778376 140734963747392 18446744073709551615 253652675481 0 4 0 16800975 18446604453922756736 0 0 -1 6 0 0 0
[pid=22440/tid=22454] ppid=22438 vsize=15698748 CPUtime=0 cores=0,2,4,6
/proc/22440/task/22454/stat : 22454 (java) S 22438 22440 22152 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 523269140 16075517952 81737 33554432000 1073741824 1073778376 140734963747392 18446744073709551615 253652683185 0 4 0 16800975 18446604453922756736 0 0 -1 4 0 0 0
[pid=22440/tid=22455] ppid=22438 vsize=15698748 CPUtime=1.17 cores=0,2,4,6
/proc/22440/task/22455/stat : 22455 (java) S 22438 22440 22152 0 -1 4202560 12605 0 0 0 116 1 0 0 15 0 22 0 523269140 16075517952 81737 33554432000 1073741824 1073778376 140734963747392 18446744073709551615 253652675481 0 4 0 16800975 18446604453922756736 0 0 -1 0 0 0 0
[pid=22440/tid=22456] ppid=22438 vsize=15698748 CPUtime=0.99 cores=0,2,4,6
/proc/22440/task/22456/stat : 22456 (java) S 22438 22440 22152 0 -1 4202560 7489 0 0 0 98 1 0 0 15 0 22 0 523269140 16075517952 81737 33554432000 1073741824 1073778376 140734963747392 18446744073709551615 253652675481 0 4 0 16800975 18446604453922756736 0 0 -1 4 0 0 0
[pid=22440/tid=22457] ppid=22438 vsize=15698748 CPUtime=0 cores=0,2,4,6
/proc/22440/task/22457/stat : 22457 (java) S 22438 22440 22152 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 22 0 523269140 16075517952 81737 33554432000 1073741824 1073778376 140734963747392 18446744073709551615 253652675481 0 4 0 16800975 18446604453922756736 0 0 -1 4 0 0 0
[pid=22440/tid=22458] ppid=22438 vsize=15698748 CPUtime=0 cores=0,2,4,6
/proc/22440/task/22458/stat : 22458 (java) S 22438 22440 22152 0 -1 4202560 67 0 0 0 0 0 0 0 15 0 22 0 523269140 16075517952 81737 33554432000 1073741824 1073778376 140734963747392 18446744073709551615 253652676096 0 4 0 16800975 18446604453922756736 0 0 -1 6 0 0 0
[pid=22440/tid=22459] ppid=22438 vsize=15698748 CPUtime=1192.49 cores=0,2,4,6
/proc/22440/task/22459/stat : 22459 (java) R 22438 22440 22152 0 -1 4202560 193709 0 0 0 119220 29 0 0 25 0 22 0 523269174 16075517952 81737 33554432000 1073741824 1073778376 140734963747392 18446744073709551615 46912505837077 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=22440/tid=22460] ppid=22438 vsize=15698748 CPUtime=1192.67 cores=0,2,4,6
/proc/22440/task/22460/stat : 22460 (java) R 22438 22440 22152 0 -1 4202560 202368 0 0 0 119235 32 0 0 25 0 22 0 523269174 16075517952 81737 33554432000 1073741824 1073778376 140734963747392 18446744073709551615 46912505366054 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22440/tid=22461] ppid=22438 vsize=15698748 CPUtime=1191.41 cores=0,2,4,6
/proc/22440/task/22461/stat : 22461 (java) R 22438 22440 22152 0 -1 4202560 200476 0 0 0 119112 29 0 0 25 0 22 0 523269174 16075517952 81737 33554432000 1073741824 1073778376 140734963747392 18446744073709551615 18446744073699065949 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=22440/tid=22462] ppid=22438 vsize=15698748 CPUtime=1191.58 cores=0,2,4,6
/proc/22440/task/22462/stat : 22462 (java) R 22438 22440 22152 0 -1 4202560 205350 0 0 0 119125 33 0 0 25 0 22 0 523269174 16075517952 81737 33554432000 1073741824 1073778376 140734963747392 18446744073709551615 46912505829236 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.41
Current children cumulated vsize (KiB) 15698748

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

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

Child status: 143
Real time (s): 1207.23
CPU time (s): 4800.46
CPU user time (s): 4797.27
CPU system time (s): 3.18551
CPU usage (%): 397.643
Max. virtual memory (cumulated for all children) (KiB): 15707580

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.27
system time used= 3.18552
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1477595
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= 261161
involuntary context switches= 140028

runsolver used 2.11268 second user time and 4.52131 second system time

The end

Launcher Data 

Begin job on node106 at 2011-04-30 00:38:07
IDJOB=3312467
IDBENCH=82652
IDSOLVER=1699
FILE ID=node106/3312467-1304116687
RUNJOBID= node106-1304114276-22170
PBS_JOBID= 13170704
Free space on /tmp= 72156 MiB

SOLVER NAME= STRUCTure 0.1
BENCH NAME= SAT11/random/large/unif-k7-r85-v150-c12750-S1101422472-003-UNKNOWN.cnf
COMMAND LINE= run 15000 NBCORE TMPDIR DIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3312467-1304116687/watcher-3312467-1304116687 -o /tmp/evaluation-result-3312467-1304116687/solver-3312467-1304116687 -C 4800 -W 1300 -M 15500  run 15000 4 HOME HOME HOME/instance-3312467-1304116687.cnf

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

MD5SUM BENCH= 1a4e1674582e40801444509cae2068da
RANDOM SEED=1226909921

node106.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	: 5226.20
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.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.82
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.74
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      29935780 kB
Buffers:        261592 kB
Cached:        2083328 kB
SwapCached:         88 kB
Active:        1193392 kB
Inactive:      1607628 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29935780 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:            2060 kB
Writeback:           0 kB
AnonPages:      455388 kB
Mapped:          23476 kB
Slab:           146820 kB
PageTables:       7560 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   655296 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 72152 MiB
End job on node106 at 2011-04-30 00:58:17