Trace number 3311872

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
STRUCTure 0.1 (hbr=2)? (TO) 4800.41 1206.15

General information on the benchmark

NameSAT05/crafted/sorge05/QG7a/
gensys-ukn006.shuffled-as.sat05-3846.cnf
MD5SUMf38a91a0947f21d9ceeb8762ba4c5f93
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark919.536
Satisfiable
(Un)Satisfiability was proved
Number of variables2969
Number of clauses18473
Sum of the clauses size132415
Maximum clause length13
Minimum clause length1
Number of clauses of size 142
Number of clauses of size 2442
Number of clauses of size 32342
Number of clauses of size 4463
Number of clauses of size 5642
Number of clauses of size over 514542

Solver Data 

0.10/0.12	27:53 INFO : Reading from input HOME/instance-3311872-1304188073.cnf
0.60/0.44	Executor set job limit to 1000000
0.60/0.44	Executor set job limit to 1000000
0.60/0.44	Executor set job limit to 1000000
0.60/0.45	Executor set job limit to 1000000
0.60/0.45	Starting Executor!
0.60/0.45	Starting Executor!
0.60/0.45	Starting Executor!
0.60/0.45	Starting Executor!
1.73/0.98	27:54 INFO : 2902 variables remaining out of 2969
1.73/0.98	27:54 INFO : 123724 literals remaining out of 150888
7.56/2.52	log4j:WARN No appenders could be found for logger (ibis.constellation.impl.SingleThreadedConstellation.CID: 0:2).
7.56/2.52	log4j:WARN Please initialize the log4j system properly.
7.56/2.58	log4j:WARN See http://logging.apache.org/log4j/1.2/faq.html#noconfig for more info.

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

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

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


[startup+0 s]
/proc/loadavg: 7.46 7.95 7.98 3/176 14783
/proc/meminfo: memFree=23003620/32950928 swapFree=67111524/67111528
[pid=14783] ppid=14781 vsize=9100 CPUtime=0 cores=1,3,5,7
/proc/14783/stat : 14783 (java) R 14781 14783 14328 0 -1 4202496 651 0 0 0 0 0 0 0 25 0 1 0 530406948 9318400 139 33554432000 1073741824 1073778376 140734246473888 18446744073709551615 274473549648 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/14783/statm: 2275 145 115 9 0 67 0

[startup+0.10379 s]
/proc/loadavg: 7.46 7.95 7.98 3/176 14783
/proc/meminfo: memFree=23003620/32950928 swapFree=67111524/67111528
[pid=14783] ppid=14781 vsize=15741972 CPUtime=0.1 cores=1,3,5,7
/proc/14783/stat : 14783 (java) S 14781 14783 14328 0 -1 4202496 5537 0 1 0 9 1 0 0 25 0 18 0 530406948 16119779328 4938 33554432000 1073741824 1073778376 140734246473888 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/14783/statm: 3935493 4938 2115 9 0 3926212 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15741972

[startup+0.200711 s]
/proc/loadavg: 7.46 7.95 7.98 3/176 14783
/proc/meminfo: memFree=23003620/32950928 swapFree=67111524/67111528
[pid=14783] ppid=14781 vsize=15742676 CPUtime=0.26 cores=1,3,5,7
/proc/14783/stat : 14783 (java) S 14781 14783 14328 0 -1 4202496 7022 0 1 0 25 1 0 0 25 0 18 0 530406948 16120500224 6361 33554432000 1073741824 1073778376 140734246473888 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/14783/statm: 3935669 6361 2180 9 0 3926388 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 15742676

[startup+0.300693 s]
/proc/loadavg: 7.46 7.95 7.98 3/176 14783
/proc/meminfo: memFree=23003620/32950928 swapFree=67111524/67111528
[pid=14783] ppid=14781 vsize=15745248 CPUtime=0.5 cores=1,3,5,7
/proc/14783/stat : 14783 (java) S 14781 14783 14328 0 -1 4202496 14367 0 1 0 48 2 0 0 25 0 18 0 530406948 16123133952 12812 33554432000 1073741824 1073778376 140734246473888 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/14783/statm: 3936312 12817 2206 9 0 3927031 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 15745248

[startup+0.700626 s]
/proc/loadavg: 7.46 7.95 7.98 3/176 14783
/proc/meminfo: memFree=23003620/32950928 swapFree=67111524/67111528
[pid=14783] ppid=14781 vsize=15753716 CPUtime=1.19 cores=1,3,5,7
/proc/14783/stat : 14783 (java) S 14781 14783 14328 0 -1 4202496 41136 0 1 0 114 5 0 0 25 0 22 0 530406948 16131805184 38188 33554432000 1073741824 1073778376 140734246473888 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/14783/statm: 3938429 38188 2239 9 0 3929148 0
Current children cumulated CPU time (s) 1.19
Current children cumulated vsize (KiB) 15753716

[startup+1.50149 s]
/proc/loadavg: 7.46 7.95 7.98 9/220 14827
/proc/meminfo: memFree=22701392/32950928 swapFree=67111524/67111528
[pid=14783] ppid=14781 vsize=15753768 CPUtime=3.58 cores=1,3,5,7
/proc/14783/stat : 14783 (java) S 14781 14783 14328 0 -1 4202496 46872 0 1 0 352 6 0 0 25 0 22 0 530406948 16131858432 41791 33554432000 1073741824 1073778376 140734246473888 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/14783/statm: 3938442 41794 2274 9 0 3929161 0
[pid=14783/tid=14786] ppid=14781 vsize=15753768 CPUtime=0.95 cores=1,3,5,7
/proc/14783/task/14786/stat : 14786 (java) S 14781 14783 14328 0 -1 4202560 33119 0 1 0 91 4 0 0 20 0 22 0 530406949 16131858432 41795 33554432000 1073741824 1073778376 140734246473888 18446744073709551615 274485783449 0 4 0 16800975 18446604454223470656 0 0 -1 5 0 0 0
[pid=14783/tid=14789] ppid=14781 vsize=15753768 CPUtime=0 cores=1,3,5,7
/proc/14783/task/14789/stat : 14789 (java) S 14781 14783 14328 0 -1 4202560 342 0 0 0 0 0 0 0 18 0 22 0 530406950 16131858432 41796 33554432000 1073741824 1073778376 140734246473888 18446744073709551615 274485783449 0 4 0 16800975 18446604454223470656 0 0 -1 1 0 0 0
[pid=14783/tid=14791] ppid=14781 vsize=15753768 CPUtime=0 cores=1,3,5,7
/proc/14783/task/14791/stat : 14791 (java) S 14781 14783 14328 0 -1 4202560 695 0 0 0 0 0 0 0 18 0 22 0 530406950 16131858432 41798 33554432000 1073741824 1073778376 140734246473888 18446744073709551615 274485783449 0 4 0 16800975 18446604454223470656 0 0 -1 3 0 0 0
[pid=14783/tid=14793] ppid=14781 vsize=15753768 CPUtime=0 cores=1,3,5,7
/proc/14783/task/14793/stat : 14793 (java) S 14781 14783 14328 0 -1 4202560 152 0 0 0 0 0 0 0 18 0 22 0 530406950 16131858432 41799 33554432000 1073741824 1073778376 140734246473888 18446744073709551615 274485783449 0 4 0 16800975 18446604454223470656 0 0 -1 7 0 0 0
[pid=14783/tid=14795] ppid=14781 vsize=15753768 CPUtime=0 cores=1,3,5,7
/proc/14783/task/14795/stat : 14795 (java) S 14781 14783 14328 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 530406950 16131858432 41801 33554432000 1073741824 1073778376 140734246473888 18446744073709551615 274485783449 0 4 0 16800975 18446604454223470656 0 0 -1 5 0 0 0
[pid=14783/tid=14797] ppid=14781 vsize=15753768 CPUtime=0 cores=1,3,5,7
/proc/14783/task/14797/stat : 14797 (java) S 14781 14783 14328 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 530406950 16131858432 41802 33554432000 1073741824 1073778376 140734246473888 18446744073709551615 274485783449 0 4 0 16800975 18446604454223470656 0 0 -1 5 0 0 0
[pid=14783/tid=14799] ppid=14781 vsize=15753768 CPUtime=0 cores=1,3,5,7
/proc/14783/task/14799/stat : 14799 (java) S 14781 14783 14328 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 530406950 16131858432 41803 33554432000 1073741824 1073778376 140734246473888 18446744073709551615 274485783449 0 4 0 16800975 18446604454223470656 0 0 -1 5 0 0 0
[pid=14783/tid=14801] ppid=14781 vsize=15753768 CPUtime=0 cores=1,3,5,7
/proc/14783/task/14801/stat : 14801 (java) S 14781 14783 14328 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 530406950 16131858432 41805 33554432000 1073741824 1073778376 140734246473888 18446744073709551615 274485783449 0 4 0 16800975 18446604454223470656 0 0 -1 5 0 0 0
[pid=14783/tid=14803] ppid=14781 vsize=15753768 CPUtime=0 cores=1,3,5,7
/proc/14783/task/14803/stat : 14803 (java) S 14781 14783 14328 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 530406950 16131858432 41806 33554432000 1073741824 1073778376 140734246473888 18446744073709551615 274485783449 0 4 0 16800975 18446604454223470656 0 0 -1 3 0 0 0
[pid=14783/tid=14805] ppid=14781 vsize=15753768 CPUtime=0 cores=1,3,5,7
/proc/14783/task/14805/stat : 14805 (java) S 14781 14783 14328 0 -1 4202560 11 0 0 0 0 0 0 0 16 0 22 0 530406951 16131858432 41807 33554432000 1073741824 1073778376 140734246473888 18446744073709551615 274485784064 0 0 0 16800975 18446604454223470656 0 0 -1 5 0 0 0
[pid=14783/tid=14807] ppid=14781 vsize=15753768 CPUtime=0 cores=1,3,5,7
/proc/14783/task/14807/stat : 14807 (java) S 14781 14783 14328 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 22 0 530406952 16131858432 41809 33554432000 1073741824 1073778376 140734246473888 18446744073709551615 274485783449 0 4 0 16800975 18446604454223470656 0 0 -1 5 0 0 0
[pid=14783/tid=14809] ppid=14781 vsize=15753768 CPUtime=0 cores=1,3,5,7
/proc/14783/task/14809/stat : 14809 (java) S 14781 14783 14328 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 530406952 16131858432 41810 33554432000 1073741824 1073778376 140734246473888 18446744073709551615 274485783449 0 4 0 16800975 18446604454223470656 0 0 -1 5 0 0 0
[pid=14783/tid=14810] ppid=14781 vsize=15753768 CPUtime=0 cores=1,3,5,7
/proc/14783/task/14810/stat : 14810 (java) S 14781 14783 14328 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 530406954 16131858432 41811 33554432000 1073741824 1073778376 140734246473888 18446744073709551615 274485791153 0 4 0 16800975 18446604454223470656 0 0 -1 5 0 0 0
[pid=14783/tid=14811] ppid=14781 vsize=15753768 CPUtime=0.84 cores=1,3,5,7
/proc/14783/task/14811/stat : 14811 (java) R 14781 14783 14328 0 -1 4202560 5524 0 0 0 83 1 0 0 17 0 22 0 530406954 16131858432 41813 33554432000 1073741824 1073778376 140734246473888 18446744073709551615 47299190183291 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=14783/tid=14814] ppid=14781 vsize=15753768 CPUtime=0.86 cores=1,3,5,7
/proc/14783/task/14814/stat : 14814 (java) R 14781 14783 14328 0 -1 4202560 3841 0 0 0 86 0 0 0 16 0 22 0 530406954 16131858432 41814 33554432000 1073741824 1073778376 140734246473888 18446744073709551615 47299193084559 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=14783/tid=14815] ppid=14781 vsize=15753768 CPUtime=0 cores=1,3,5,7
/proc/14783/task/14815/stat : 14815 (java) S 14781 14783 14328 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 530406954 16131858432 41815 33554432000 1073741824 1073778376 140734246473888 18446744073709551615 274485783449 0 4 0 16800975 18446604454223470656 0 0 -1 5 0 0 0
[pid=14783/tid=14818] ppid=14781 vsize=15753768 CPUtime=0 cores=1,3,5,7
/proc/14783/task/14818/stat : 14818 (java) S 14781 14783 14328 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 530406954 16131858432 41816 33554432000 1073741824 1073778376 140734246473888 18446744073709551615 274485784064 0 4 0 16800975 18446604454223470656 0 0 -1 5 0 0 0
[pid=14783/tid=14824] ppid=14781 vsize=15753768 CPUtime=0.28 cores=1,3,5,7
/proc/14783/task/14824/stat : 14824 (java) R 14781 14783 14328 0 -1 4202560 749 0 0 0 28 0 0 0 16 0 22 0 530406993 16131858432 41818 33554432000 1073741824 1073778376 140734246473888 18446744073709551615 46912506273256 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=14783/tid=14825] ppid=14781 vsize=15753768 CPUtime=0.21 cores=1,3,5,7
/proc/14783/task/14825/stat : 14825 (java) R 14781 14783 14328 0 -1 4202560 960 0 0 0 21 0 0 0 16 0 22 0 530406993 16131858432 41819 33554432000 1073741824 1073778376 140734246473888 18446744073709551615 46912505988356 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=14783/tid=14826] ppid=14781 vsize=15753768 CPUtime=0.2 cores=1,3,5,7
/proc/14783/task/14826/stat : 14826 (java) R 14781 14783 14328 0 -1 4202560 102 0 0 0 20 0 0 0 16 0 22 0 530406993 16131858432 41820 33554432000 1073741824 1073778376 140734246473888 18446744073709551615 46912505985179 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=14783/tid=14827] ppid=14781 vsize=15753768 CPUtime=0.18 cores=1,3,5,7
/proc/14783/task/14827/stat : 14827 (java) R 14781 14783 14328 0 -1 4202560 13 0 0 0 18 0 0 0 16 0 22 0 530406993 16131858432 41821 33554432000 1073741824 1073778376 140734246473888 18446744073709551615 274485783449 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.58
Current children cumulated vsize (KiB) 15753768

[startup+3.1012 s]
/proc/loadavg: 7.74 8.00 8.00 12/220 14827
/proc/meminfo: memFree=22293788/32950928 swapFree=67111524/67111528
[pid=14783] ppid=14781 vsize=15753932 CPUtime=9.95 cores=1,3,5,7
/proc/14783/stat : 14783 (java) S 14781 14783 14328 0 -1 4202496 162866 0 1 0 973 22 0 0 25 0 22 0 530406948 16132026368 157668 33554432000 1073741824 1073778376 140734246473888 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/14783/statm: 3938483 157668 2278 9 0 3929202 0
[pid=14783/tid=14786] ppid=14781 vsize=15753932 CPUtime=0.95 cores=1,3,5,7
/proc/14783/task/14786/stat : 14786 (java) S 14781 14783 14328 0 -1 4202560 33119 0 1 0 91 4 0 0 20 0 22 0 530406949 16132026368 157668 33554432000 1073741824 1073778376 140734246473888 18446744073709551615 274485783449 0 4 0 16800975 18446604454223470656 0 0 -1 5 0 0 0
[pid=14783/tid=14789] ppid=14781 vsize=15753932 CPUtime=0.03 cores=1,3,5,7
/proc/14783/task/14789/stat : 14789 (java) S 14781 14783 14328 0 -1 4202560 6810 0 0 0 2 1 0 0 16 0 22 0 530406950 16132026368 157668 33554432000 1073741824 1073778376 140734246473888 18446744073709551615 274485783449 0 4 0 16800975 18446604454223470656 0 0 -1 7 0 0 0
[pid=14783/tid=14791] ppid=14781 vsize=15753932 CPUtime=0.02 cores=1,3,5,7
/proc/14783/task/14791/stat : 14791 (java) S 14781 14783 14328 0 -1 4202560 5806 0 0 0 2 0 0 0 16 0 22 0 530406950 16132026368 157668 33554432000 1073741824 1073778376 140734246473888 18446744073709551615 274485783449 0 4 0 16800975 18446604454223470656 0 0 -1 3 0 0 0
[pid=14783/tid=14793] ppid=14781 vsize=15753932 CPUtime=0 cores=1,3,5,7
/proc/14783/task/14793/stat : 14793 (java) S 14781 14783 14328 0 -1 4202560 2901 0 0 0 0 0 0 0 15 0 22 0 530406950 16132026368 157668 33554432000 1073741824 1073778376 140734246473888 18446744073709551615 274485783449 0 4 0 16800975 18446604454223470656 0 0 -1 5 0 0 0
[pid=14783/tid=14795] ppid=14781 vsize=15753932 CPUtime=0.01 cores=1,3,5,7
/proc/14783/task/14795/stat : 14795 (java) S 14781 14783 14328 0 -1 4202560 4633 0 0 0 1 0 0 0 15 0 22 0 530406950 16132026368 157668 33554432000 1073741824 1073778376 140734246473888 18446744073709551615 274485783449 0 4 0 16800975 18446604454223470656 0 0 -1 5 0 0 0
[pid=14783/tid=14797] ppid=14781 vsize=15753932 CPUtime=0.01 cores=1,3,5,7
/proc/14783/task/14797/stat : 14797 (java) S 14781 14783 14328 0 -1 4202560 3366 0 0 0 1 0 0 0 16 0 22 0 530406950 16132026368 157668 33554432000 1073741824 1073778376 140734246473888 18446744073709551615 274485783449 0 4 0 16800975 18446604454223470656 0 0 -1 1 0 0 0
[pid=14783/tid=14799] ppid=14781 vsize=15753932 CPUtime=0.02 cores=1,3,5,7
/proc/14783/task/14799/stat : 14799 (java) S 14781 14783 14328 0 -1 4202560 5210 0 0 0 2 0 0 0 15 0 22 0 530406950 16132026368 157668 33554432000 1073741824 1073778376 140734246473888 18446744073709551615 274485783449 0 4 0 16800975 18446604454223470656 0 0 -1 7 0 0 0
[pid=14783/tid=14801] ppid=14781 vsize=15753932 CPUtime=0.01 cores=1,3,5,7
/proc/14783/task/14801/stat : 14801 (java) S 14781 14783 14328 0 -1 4202560 6039 0 0 0 1 0 0 0 16 0 22 0 530406950 16132026368 157668 33554432000 1073741824 1073778376 140734246473888 18446744073709551615 274485783449 0 4 0 16800975 18446604454223470656 0 0 -1 5 0 0 0
[pid=14783/tid=14803] ppid=14781 vsize=15753932 CPUtime=0.01 cores=1,3,5,7
/proc/14783/task/14803/stat : 14803 (java) S 14781 14783 14328 0 -1 4202560 5626 0 0 0 1 0 0 0 16 0 22 0 530406950 16132026368 157668 33554432000 1073741824 1073778376 140734246473888 18446744073709551615 274485783449 0 4 0 16800975 18446604454223470656 0 0 -1 1 0 0 0
[pid=14783/tid=14805] ppid=14781 vsize=15753932 CPUtime=0 cores=1,3,5,7
/proc/14783/task/14805/stat : 14805 (java) S 14781 14783 14328 0 -1 4202560 473 0 0 0 0 0 0 0 15 0 22 0 530406951 16132026368 157668 33554432000 1073741824 1073778376 140734246473888 18446744073709551615 274485784064 0 0 0 16800975 18446604454223470656 0 0 -1 1 0 0 0
[pid=14783/tid=14807] ppid=14781 vsize=15753932 CPUtime=0 cores=1,3,5,7
/proc/14783/task/14807/stat : 14807 (java) S 14781 14783 14328 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 22 0 530406952 16132026368 157668 33554432000 1073741824 1073778376 140734246473888 18446744073709551615 274485783449 0 4 0 16800975 18446604454223470656 0 0 -1 5 0 0 0
[pid=14783/tid=14809] ppid=14781 vsize=15753932 CPUtime=0 cores=1,3,5,7
/proc/14783/task/14809/stat : 14809 (java) S 14781 14783 14328 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 530406952 16132026368 157668 33554432000 1073741824 1073778376 140734246473888 18446744073709551615 274485783449 0 4 0 16800975 18446604454223470656 0 0 -1 5 0 0 0
[pid=14783/tid=14810] ppid=14781 vsize=15753932 CPUtime=0 cores=1,3,5,7
/proc/14783/task/14810/stat : 14810 (java) S 14781 14783 14328 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 530406954 16132026368 157668 33554432000 1073741824 1073778376 140734246473888 18446744073709551615 274485791153 0 4 0 16800975 18446604454223470656 0 0 -1 5 0 0 0
[pid=14783/tid=14811] ppid=14781 vsize=15753932 CPUtime=0.85 cores=1,3,5,7
/proc/14783/task/14811/stat : 14811 (java) S 14781 14783 14328 0 -1 4202560 5528 0 0 0 84 1 0 0 17 0 22 0 530406954 16132026368 157668 33554432000 1073741824 1073778376 140734246473888 18446744073709551615 274485783449 0 4 0 16800975 18446604454223470656 0 0 -1 3 0 0 0
[pid=14783/tid=14814] ppid=14781 vsize=15753932 CPUtime=1.07 cores=1,3,5,7
/proc/14783/task/14814/stat : 14814 (java) S 14781 14783 14328 0 -1 4202560 3913 0 0 0 107 0 0 0 15 0 22 0 530406954 16132026368 157668 33554432000 1073741824 1073778376 140734246473888 18446744073709551615 274485783449 0 4 0 16800975 18446604454223470656 0 0 -1 7 0 0 0
[pid=14783/tid=14815] ppid=14781 vsize=15753932 CPUtime=0 cores=1,3,5,7
/proc/14783/task/14815/stat : 14815 (java) S 14781 14783 14328 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 530406954 16132026368 157668 33554432000 1073741824 1073778376 140734246473888 18446744073709551615 274485783449 0 4 0 16800975 18446604454223470656 0 0 -1 5 0 0 0
[pid=14783/tid=14818] ppid=14781 vsize=15753932 CPUtime=0 cores=1,3,5,7
/proc/14783/task/14818/stat : 14818 (java) S 14781 14783 14328 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 530406954 16132026368 157668 33554432000 1073741824 1073778376 140734246473888 18446744073709551615 274485784064 0 4 0 16800975 18446604454223470656 0 0 -1 5 0 0 0
[pid=14783/tid=14824] ppid=14781 vsize=15753932 CPUtime=1.79 cores=1,3,5,7
/proc/14783/task/14824/stat : 14824 (java) R 14781 14783 14328 0 -1 4202560 20517 0 0 0 177 2 0 0 17 0 22 0 530406993 16132026368 157668 33554432000 1073741824 1073778376 140734246473888 18446744073709551615 46912506230133 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=14783/tid=14825] ppid=14781 vsize=15753932 CPUtime=1.61 cores=1,3,5,7
/proc/14783/task/14825/stat : 14825 (java) R 14781 14783 14328 0 -1 4202560 18352 0 0 0 159 2 0 0 17 0 22 0 530406993 16132026368 157668 33554432000 1073741824 1073778376 140734246473888 18446744073709551615 46912505756736 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=14783/tid=14826] ppid=14781 vsize=15753932 CPUtime=1.72 cores=1,3,5,7
/proc/14783/task/14826/stat : 14826 (java) R 14781 14783 14328 0 -1 4202560 18312 0 0 0 170 2 0 0 17 0 22 0 530406993 16132026368 157668 33554432000 1073741824 1073778376 140734246473888 18446744073709551615 46912505988606 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=14783/tid=14827] ppid=14781 vsize=15753932 CPUtime=1.7 cores=1,3,5,7
/proc/14783/task/14827/stat : 14827 (java) R 14781 14783 14328 0 -1 4202560 20874 0 0 0 168 2 0 0 17 0 22 0 530406993 16132026368 157668 33554432000 1073741824 1073778376 140734246473888 18446744073709551615 46912505988325 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 9.95
Current children cumulated vsize (KiB) 15753932

[startup+6.30164 s]
/proc/loadavg: 7.74 8.00 8.00 10/220 14827
/proc/meminfo: memFree=20709628/32950928 swapFree=67111524/67111528
[pid=14783] ppid=14781 vsize=15753932 CPUtime=22.72 cores=1,3,5,7
/proc/14783/stat : 14783 (java) S 14781 14783 14328 0 -1 4202496 295186 0 1 0 2234 38 0 0 25 0 22 0 530406948 16132026368 289555 33554432000 1073741824 1073778376 140734246473888 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/14783/statm: 3938483 289555 2278 9 0 3929202 0
[pid=14783/tid=14786] ppid=14781 vsize=15753932 CPUtime=0.95 cores=1,3,5,7
/proc/14783/task/14786/stat : 14786 (java) S 14781 14783 14328 0 -1 4202560 33119 0 1 0 91 4 0 0 20 0 22 0 530406949 16132026368 289555 33554432000 1073741824 1073778376 140734246473888 18446744073709551615 274485783449 0 4 0 16800975 18446604454223470656 0 0 -1 5 0 0 0
[pid=14783/tid=14789] ppid=14781 vsize=15753932 CPUtime=0.03 cores=1,3,5,7
/proc/14783/task/14789/stat : 14789 (java) S 14781 14783 14328 0 -1 4202560 7476 0 0 0 2 1 0 0 16 0 22 0 530406950 16132026368 289555 33554432000 1073741824 1073778376 140734246473888 18446744073709551615 274485783449 0 4 0 16800975 18446604454223470656 0 0 -1 5 0 0 0
[pid=14783/tid=14791] ppid=14781 vsize=15753932 CPUtime=0.02 cores=1,3,5,7
/proc/14783/task/14791/stat : 14791 (java) S 14781 14783 14328 0 -1 4202560 6854 0 0 0 2 0 0 0 15 0 22 0 530406950 16132026368 289555 33554432000 1073741824 1073778376 140734246473888 18446744073709551615 274485783449 0 4 0 16800975 18446604454223470656 0 0 -1 3 0 0 0
[pid=14783/tid=14793] ppid=14781 vsize=15753932 CPUtime=0.02 cores=1,3,5,7
/proc/14783/task/14793/stat : 14793 (java) S 14781 14783 14328 0 -1 4202560 7448 0 0 0 1 1 0 0 16 0 22 0 530406950 16132026368 289555 33554432000 1073741824 1073778376 140734246473888 18446744073709551615 274485783449 0 4 0 16800975 18446604454223470656 0 0 -1 5 0 0 0
[pid=14783/tid=14795] ppid=14781 vsize=15753932 CPUtime=0.02 cores=1,3,5,7
/proc/14783/task/14795/stat : 14795 (java) S 14781 14783 14328 0 -1 4202560 7783 0 0 0 1 1 0 0 16 0 22 0 530406950 16132026368 289555 33554432000 1073741824 1073778376 140734246473888 18446744073709551615 274485783449 0 4 0 16800975 18446604454223470656 0 0 -1 1 0 0 0
[pid=14783/tid=14797] ppid=14781 vsize=15753932 CPUtime=0.01 cores=1,3,5,7
/proc/14783/task/14797/stat : 14797 (java) S 14781 14783 14328 0 -1 4202560 5877 0 0 0 1 0 0 0 16 0 22 0 530406950 16132026368 289555 33554432000 1073741824 1073778376 140734246473888 18446744073709551615 274485783449 0 4 0 16800975 18446604454223470656 0 0 -1 3 0 0 0
[pid=14783/tid=14799] ppid=14781 vsize=15753932 CPUtime=0.02 cores=1,3,5,7
/proc/14783/task/14799/stat : 14799 (java) S 14781 14783 14328 0 -1 4202560 6950 0 0 0 2 0 0 0 15 0 22 0 530406950 16132026368 289555 33554432000 1073741824 1073778376 140734246473888 18446744073709551615 274485783449 0 4 0 16800975 18446604454223470656 0 0 -1 3 0 0 0
[pid=14783/tid=14801] ppid=14781 vsize=15753932 CPUtime=0.02 cores=1,3,5,7
/proc/14783/task/14801/stat : 14801 (java) S 14781 14783 14328 0 -1 4202560 6938 0 0 0 2 0 0 0 15 0 22 0 530406950 16132026368 289555 33554432000 1073741824 1073778376 140734246473888 18446744073709551615 274485783449 0 4 0 16800975 18446604454223470656 0 0 -1 1 0 0 0
[pid=14783/tid=14803] ppid=14781 vsize=15753932 CPUtime=0.02 cores=1,3,5,7
/proc/14783/task/14803/stat : 14803 (java) S 14781 14783 14328 0 -1 4202560 7652 0 0 0 1 1 0 0 16 0 22 0 530406950 16132026368 289555 33554432000 1073741824 1073778376 140734246473888 18446744073709551615 274485783449 0 4 0 16800975 18446604454223470656 0 0 -1 1 0 0 0
[pid=14783/tid=14805] ppid=14781 vsize=15753932 CPUtime=0 cores=1,3,5,7
/proc/14783/task/14805/stat : 14805 (java) S 14781 14783 14328 0 -1 4202560 774 0 0 0 0 0 0 0 15 0 22 0 530406951 16132026368 289555 33554432000 1073741824 1073778376 140734246473888 18446744073709551615 274485784064 0 0 0 16800975 18446604454223470656 0 0 -1 1 0 0 0
[pid=14783/tid=14807] ppid=14781 vsize=15753932 CPUtime=0 cores=1,3,5,7
/proc/14783/task/14807/stat : 14807 (java) S 14781 14783 14328 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 22 0 530406952 16132026368 289555 33554432000 1073741824 1073778376 140734246473888 18446744073709551615 274485783449 0 4 0 16800975 18446604454223470656 0 0 -1 5 0 0 0
[pid=14783/tid=14809] ppid=14781 vsize=15753932 CPUtime=0 cores=1,3,5,7
/proc/14783/task/14809/stat : 14809 (java) S 14781 14783 14328 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 530406952 16132026368 289555 33554432000 1073741824 1073778376 140734246473888 18446744073709551615 274485783449 0 4 0 16800975 18446604454223470656 0 0 -1 5 0 0 0
[pid=14783/tid=14810] ppid=14781 vsize=15753932 CPUtime=0 cores=1,3,5,7
/proc/14783/task/14810/stat : 14810 (java) S 14781 14783 14328 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 530406954 16132026368 289555 33554432000 1073741824 1073778376 140734246473888 18446744073709551615 274485791153 0 4 0 16800975 18446604454223470656 0 0 -1 5 0 0 0
[pid=14783/tid=14811] ppid=14781 vsize=15753932 CPUtime=0.94 cores=1,3,5,7
/proc/14783/task/14811/stat : 14811 (java) S 14781 14783 14328 0 -1 4202560 5528 0 0 0 93 1 0 0 15 0 22 0 530406954 16132026368 289555 33554432000 1073741824 1073778376 140734246473888 18446744073709551615 274485783449 0 4 0 16800975 18446604454223470656 0 0 -1 3 0 0 0

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

[pid=14783/tid=14825] ppid=14781 vsize=15753932 CPUtime=1048.14 cores=1,3,5,7
/proc/14783/task/14825/stat : 14825 (java) R 14781 14783 14328 0 -1 4202560 471172 0 0 0 104748 66 0 0 25 0 22 0 530406993 16132026368 204146 33554432000 1073741824 1073778376 140734246473888 18446744073709551615 46912506046852 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=14783/tid=14826] ppid=14781 vsize=15753932 CPUtime=1048.17 cores=1,3,5,7
/proc/14783/task/14826/stat : 14826 (java) R 14781 14783 14328 0 -1 4202560 441696 0 0 0 104757 60 0 0 25 0 22 0 530406993 16132026368 204146 33554432000 1073741824 1073778376 140734246473888 18446744073709551615 46912505523436 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=14783/tid=14827] ppid=14781 vsize=15753932 CPUtime=1048.62 cores=1,3,5,7
/proc/14783/task/14827/stat : 14827 (java) R 14781 14783 14328 0 -1 4202560 482263 0 0 0 104796 66 0 0 25 0 22 0 530406993 16132026368 204146 33554432000 1073741824 1073778376 140734246473888 18446744073709551615 46912505323817 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4227.76
Current children cumulated vsize (KiB) 15753932

[startup+1122.3 s]
/proc/loadavg: 8.01 8.06 8.02 10/220 14857
/proc/meminfo: memFree=21281712/32950928 swapFree=67111524/67111528
[pid=14783] ppid=14781 vsize=15753932 CPUtime=4466.65 cores=1,3,5,7
/proc/14783/stat : 14783 (java) S 14781 14783 14328 0 -1 4202496 3243142 0 1 0 446092 573 0 0 25 0 22 0 530406948 16132026368 212826 33554432000 1073741824 1073778376 140734246473888 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/14783/statm: 3938483 212826 2299 9 0 3929202 0
[pid=14783/tid=14786] ppid=14781 vsize=15753932 CPUtime=0.95 cores=1,3,5,7
/proc/14783/task/14786/stat : 14786 (java) S 14781 14783 14328 0 -1 4202560 33119 0 1 0 91 4 0 0 20 0 22 0 530406949 16132026368 212826 33554432000 1073741824 1073778376 140734246473888 18446744073709551615 274485783449 0 4 0 16800975 18446604454223470656 0 0 -1 5 0 0 0
[pid=14783/tid=14789] ppid=14781 vsize=15753932 CPUtime=3.9 cores=1,3,5,7
/proc/14783/task/14789/stat : 14789 (java) S 14781 14783 14328 0 -1 4202560 156973 0 0 0 362 28 0 0 16 0 22 0 530406950 16132026368 212826 33554432000 1073741824 1073778376 140734246473888 18446744073709551615 274485783449 0 4 0 16800975 18446604454223470656 0 0 -1 5 0 0 0
[pid=14783/tid=14791] ppid=14781 vsize=15753932 CPUtime=3.88 cores=1,3,5,7
/proc/14783/task/14791/stat : 14791 (java) S 14781 14783 14328 0 -1 4202560 155943 0 0 0 359 29 0 0 15 0 22 0 530406950 16132026368 212826 33554432000 1073741824 1073778376 140734246473888 18446744073709551615 274485783449 0 4 0 16800975 18446604454223470656 0 0 -1 7 0 0 0
[pid=14783/tid=14793] ppid=14781 vsize=15753932 CPUtime=3.8 cores=1,3,5,7
/proc/14783/task/14793/stat : 14793 (java) S 14781 14783 14328 0 -1 4202560 142521 0 0 0 356 24 0 0 15 0 22 0 530406950 16132026368 212826 33554432000 1073741824 1073778376 140734246473888 18446744073709551615 274485783449 0 4 0 16800975 18446604454223470656 0 0 -1 3 0 0 0
[pid=14783/tid=14795] ppid=14781 vsize=15753932 CPUtime=3.81 cores=1,3,5,7
/proc/14783/task/14795/stat : 14795 (java) S 14781 14783 14328 0 -1 4202560 162204 0 0 0 352 29 0 0 15 0 22 0 530406950 16132026368 212826 33554432000 1073741824 1073778376 140734246473888 18446744073709551615 274485783449 0 4 0 16800975 18446604454223470656 0 0 -1 5 0 0 0
[pid=14783/tid=14797] ppid=14781 vsize=15753932 CPUtime=3.78 cores=1,3,5,7
/proc/14783/task/14797/stat : 14797 (java) S 14781 14783 14328 0 -1 4202560 142952 0 0 0 352 26 0 0 15 0 22 0 530406950 16132026368 212826 33554432000 1073741824 1073778376 140734246473888 18446744073709551615 274485783449 0 4 0 16800975 18446604454223470656 0 0 -1 3 0 0 0
[pid=14783/tid=14799] ppid=14781 vsize=15753932 CPUtime=3.87 cores=1,3,5,7
/proc/14783/task/14799/stat : 14799 (java) S 14781 14783 14328 0 -1 4202560 150269 0 0 0 361 26 0 0 15 0 22 0 530406950 16132026368 212826 33554432000 1073741824 1073778376 140734246473888 18446744073709551615 274485783449 0 4 0 16800975 18446604454223470656 0 0 -1 1 0 0 0
[pid=14783/tid=14801] ppid=14781 vsize=15753932 CPUtime=3.75 cores=1,3,5,7
/proc/14783/task/14801/stat : 14801 (java) S 14781 14783 14328 0 -1 4202560 154790 0 0 0 348 27 0 0 15 0 22 0 530406950 16132026368 212826 33554432000 1073741824 1073778376 140734246473888 18446744073709551615 274485783449 0 4 0 16800975 18446604454223470656 0 0 -1 1 0 0 0
[pid=14783/tid=14803] ppid=14781 vsize=15753932 CPUtime=3.71 cores=1,3,5,7
/proc/14783/task/14803/stat : 14803 (java) S 14781 14783 14328 0 -1 4202560 150275 0 0 0 344 27 0 0 16 0 22 0 530406950 16132026368 212826 33554432000 1073741824 1073778376 140734246473888 18446744073709551615 274485783449 0 4 0 16800975 18446604454223470656 0 0 -1 1 0 0 0
[pid=14783/tid=14805] ppid=14781 vsize=15753932 CPUtime=2.1 cores=1,3,5,7
/proc/14783/task/14805/stat : 14805 (java) S 14781 14783 14328 0 -1 4202560 8388 0 0 0 134 76 0 0 15 0 22 0 530406951 16132026368 212826 33554432000 1073741824 1073778376 140734246473888 18446744073709551615 274485784064 0 0 0 16800975 18446604454223470656 0 0 -1 1 0 0 0
[pid=14783/tid=14807] ppid=14781 vsize=15753932 CPUtime=0 cores=1,3,5,7
/proc/14783/task/14807/stat : 14807 (java) S 14781 14783 14328 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 22 0 530406952 16132026368 212826 33554432000 1073741824 1073778376 140734246473888 18446744073709551615 274485783449 0 4 0 16800975 18446604454223470656 0 0 -1 5 0 0 0
[pid=14783/tid=14809] ppid=14781 vsize=15753932 CPUtime=0 cores=1,3,5,7
/proc/14783/task/14809/stat : 14809 (java) S 14781 14783 14328 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 530406952 16132026368 212826 33554432000 1073741824 1073778376 140734246473888 18446744073709551615 274485783449 0 4 0 16800975 18446604454223470656 0 0 -1 5 0 0 0
[pid=14783/tid=14810] ppid=14781 vsize=15753932 CPUtime=0 cores=1,3,5,7
/proc/14783/task/14810/stat : 14810 (java) S 14781 14783 14328 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 530406954 16132026368 212826 33554432000 1073741824 1073778376 140734246473888 18446744073709551615 274485791153 0 4 0 16800975 18446604454223470656 0 0 -1 5 0 0 0
[pid=14783/tid=14811] ppid=14781 vsize=15753932 CPUtime=1.24 cores=1,3,5,7
/proc/14783/task/14811/stat : 14811 (java) S 14781 14783 14328 0 -1 4202560 5570 0 0 0 123 1 0 0 16 0 22 0 530406954 16132026368 212826 33554432000 1073741824 1073778376 140734246473888 18446744073709551615 274485783449 0 4 0 16800975 18446604454223470656 0 0 -1 3 0 0 0
[pid=14783/tid=14814] ppid=14781 vsize=15753932 CPUtime=1.25 cores=1,3,5,7
/proc/14783/task/14814/stat : 14814 (java) S 14781 14783 14328 0 -1 4202560 3936 0 0 0 125 0 0 0 16 0 22 0 530406954 16132026368 212826 33554432000 1073741824 1073778376 140734246473888 18446744073709551615 274485783449 0 4 0 16800975 18446604454223470656 0 0 -1 7 0 0 0
[pid=14783/tid=14815] ppid=14781 vsize=15753932 CPUtime=0 cores=1,3,5,7
/proc/14783/task/14815/stat : 14815 (java) S 14781 14783 14328 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 530406954 16132026368 212826 33554432000 1073741824 1073778376 140734246473888 18446744073709551615 274485783449 0 4 0 16800975 18446604454223470656 0 0 -1 5 0 0 0
[pid=14783/tid=14818] ppid=14781 vsize=15753932 CPUtime=0 cores=1,3,5,7
/proc/14783/task/14818/stat : 14818 (java) S 14781 14783 14328 0 -1 4202560 62 0 0 0 0 0 0 0 15 0 22 0 530406954 16132026368 212826 33554432000 1073741824 1073778376 140734246473888 18446744073709551615 274485784064 0 4 0 16800975 18446604454223470656 0 0 -1 3 0 0 0
[pid=14783/tid=14824] ppid=14781 vsize=15753932 CPUtime=1107.57 cores=1,3,5,7
/proc/14783/task/14824/stat : 14824 (java) R 14781 14783 14328 0 -1 4202560 497536 0 0 0 110692 65 0 0 25 0 22 0 530406993 16132026368 212826 33554432000 1073741824 1073778376 140734246473888 18446744073709551615 46912505977528 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=14783/tid=14825] ppid=14781 vsize=15753932 CPUtime=1107.38 cores=1,3,5,7
/proc/14783/task/14825/stat : 14825 (java) R 14781 14783 14328 0 -1 4202560 500620 0 0 0 110667 71 0 0 25 0 22 0 530406993 16132026368 212826 33554432000 1073741824 1073778376 140734246473888 18446744073709551615 46912505756737 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=14783/tid=14826] ppid=14781 vsize=15753932 CPUtime=1107.54 cores=1,3,5,7
/proc/14783/task/14826/stat : 14826 (java) R 14781 14783 14328 0 -1 4202560 468179 0 0 0 110691 63 0 0 25 0 22 0 530406993 16132026368 212826 33554432000 1073741824 1073778376 140734246473888 18446744073709551615 47299193153870 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=14783/tid=14827] ppid=14781 vsize=15753932 CPUtime=1107.99 cores=1,3,5,7
/proc/14783/task/14827/stat : 14827 (java) R 14781 14783 14328 0 -1 4202560 508419 0 0 0 110730 69 0 0 25 0 22 0 530406993 16132026368 212826 33554432000 1073741824 1073778376 140734246473888 18446744073709551615 18446744073699065894 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4466.65
Current children cumulated vsize (KiB) 15753932

[startup+1182.3 s]
/proc/loadavg: 8.04 8.06 8.02 10/220 14858
/proc/meminfo: memFree=21493076/32950928 swapFree=67111524/67111528
[pid=14783] ppid=14781 vsize=15753932 CPUtime=4705.56 cores=1,3,5,7
/proc/14783/stat : 14783 (java) S 14781 14783 14328 0 -1 4202496 3374147 0 1 0 469959 597 0 0 25 0 22 0 530406948 16132026368 191907 33554432000 1073741824 1073778376 140734246473888 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/14783/statm: 3938483 191907 2299 9 0 3929202 0
[pid=14783/tid=14786] ppid=14781 vsize=15753932 CPUtime=0.95 cores=1,3,5,7
/proc/14783/task/14786/stat : 14786 (java) S 14781 14783 14328 0 -1 4202560 33119 0 1 0 91 4 0 0 20 0 22 0 530406949 16132026368 191907 33554432000 1073741824 1073778376 140734246473888 18446744073709551615 274485783449 0 4 0 16800975 18446604454223470656 0 0 -1 5 0 0 0
[pid=14783/tid=14789] ppid=14781 vsize=15753932 CPUtime=4.1 cores=1,3,5,7
/proc/14783/task/14789/stat : 14789 (java) S 14781 14783 14328 0 -1 4202560 164388 0 0 0 381 29 0 0 15 0 22 0 530406950 16132026368 191907 33554432000 1073741824 1073778376 140734246473888 18446744073709551615 274485783449 0 4 0 16800975 18446604454223470656 0 0 -1 1 0 0 0
[pid=14783/tid=14791] ppid=14781 vsize=15753932 CPUtime=4.09 cores=1,3,5,7
/proc/14783/task/14791/stat : 14791 (java) S 14781 14783 14328 0 -1 4202560 164184 0 0 0 379 30 0 0 15 0 22 0 530406950 16132026368 191907 33554432000 1073741824 1073778376 140734246473888 18446744073709551615 274485783449 0 4 0 16800975 18446604454223470656 0 0 -1 3 0 0 0
[pid=14783/tid=14793] ppid=14781 vsize=15753932 CPUtime=4.01 cores=1,3,5,7
/proc/14783/task/14793/stat : 14793 (java) S 14781 14783 14328 0 -1 4202560 152265 0 0 0 375 26 0 0 15 0 22 0 530406950 16132026368 191907 33554432000 1073741824 1073778376 140734246473888 18446744073709551615 274485783449 0 4 0 16800975 18446604454223470656 0 0 -1 7 0 0 0
[pid=14783/tid=14795] ppid=14781 vsize=15753932 CPUtime=4.01 cores=1,3,5,7
/proc/14783/task/14795/stat : 14795 (java) S 14781 14783 14328 0 -1 4202560 170539 0 0 0 371 30 0 0 16 0 22 0 530406950 16132026368 191907 33554432000 1073741824 1073778376 140734246473888 18446744073709551615 274485783449 0 4 0 16800975 18446604454223470656 0 0 -1 3 0 0 0
[pid=14783/tid=14797] ppid=14781 vsize=15753932 CPUtime=3.97 cores=1,3,5,7
/proc/14783/task/14797/stat : 14797 (java) S 14781 14783 14328 0 -1 4202560 152945 0 0 0 369 28 0 0 16 0 22 0 530406950 16132026368 191907 33554432000 1073741824 1073778376 140734246473888 18446744073709551615 274485783449 0 4 0 16800975 18446604454223470656 0 0 -1 1 0 0 0
[pid=14783/tid=14799] ppid=14781 vsize=15753932 CPUtime=4.1 cores=1,3,5,7
/proc/14783/task/14799/stat : 14799 (java) S 14781 14783 14328 0 -1 4202560 159419 0 0 0 383 27 0 0 16 0 22 0 530406950 16132026368 191907 33554432000 1073741824 1073778376 140734246473888 18446744073709551615 274485783449 0 4 0 16800975 18446604454223470656 0 0 -1 7 0 0 0
[pid=14783/tid=14801] ppid=14781 vsize=15753932 CPUtime=3.94 cores=1,3,5,7
/proc/14783/task/14801/stat : 14801 (java) S 14781 14783 14328 0 -1 4202560 166578 0 0 0 365 29 0 0 16 0 22 0 530406950 16132026368 191907 33554432000 1073741824 1073778376 140734246473888 18446744073709551615 274485783449 0 4 0 16800975 18446604454223470656 0 0 -1 5 0 0 0
[pid=14783/tid=14803] ppid=14781 vsize=15753932 CPUtime=3.92 cores=1,3,5,7
/proc/14783/task/14803/stat : 14803 (java) S 14781 14783 14328 0 -1 4202560 157488 0 0 0 363 29 0 0 15 0 22 0 530406950 16132026368 191907 33554432000 1073741824 1073778376 140734246473888 18446744073709551615 274485783449 0 4 0 16800975 18446604454223470656 0 0 -1 7 0 0 0
[pid=14783/tid=14805] ppid=14781 vsize=15753932 CPUtime=2.2 cores=1,3,5,7
/proc/14783/task/14805/stat : 14805 (java) S 14781 14783 14328 0 -1 4202560 8807 0 0 0 141 79 0 0 15 0 22 0 530406951 16132026368 191907 33554432000 1073741824 1073778376 140734246473888 18446744073709551615 274485784064 0 0 0 16800975 18446604454223470656 0 0 -1 5 0 0 0
[pid=14783/tid=14807] ppid=14781 vsize=15753932 CPUtime=0 cores=1,3,5,7
/proc/14783/task/14807/stat : 14807 (java) S 14781 14783 14328 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 22 0 530406952 16132026368 191907 33554432000 1073741824 1073778376 140734246473888 18446744073709551615 274485783449 0 4 0 16800975 18446604454223470656 0 0 -1 5 0 0 0
[pid=14783/tid=14809] ppid=14781 vsize=15753932 CPUtime=0 cores=1,3,5,7
/proc/14783/task/14809/stat : 14809 (java) S 14781 14783 14328 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 530406952 16132026368 191907 33554432000 1073741824 1073778376 140734246473888 18446744073709551615 274485783449 0 4 0 16800975 18446604454223470656 0 0 -1 5 0 0 0
[pid=14783/tid=14810] ppid=14781 vsize=15753932 CPUtime=0 cores=1,3,5,7
/proc/14783/task/14810/stat : 14810 (java) S 14781 14783 14328 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 530406954 16132026368 191907 33554432000 1073741824 1073778376 140734246473888 18446744073709551615 274485791153 0 4 0 16800975 18446604454223470656 0 0 -1 5 0 0 0
[pid=14783/tid=14811] ppid=14781 vsize=15753932 CPUtime=1.24 cores=1,3,5,7
/proc/14783/task/14811/stat : 14811 (java) S 14781 14783 14328 0 -1 4202560 5570 0 0 0 123 1 0 0 16 0 22 0 530406954 16132026368 191907 33554432000 1073741824 1073778376 140734246473888 18446744073709551615 274485783449 0 4 0 16800975 18446604454223470656 0 0 -1 3 0 0 0
[pid=14783/tid=14814] ppid=14781 vsize=15753932 CPUtime=1.25 cores=1,3,5,7
/proc/14783/task/14814/stat : 14814 (java) S 14781 14783 14328 0 -1 4202560 3936 0 0 0 125 0 0 0 16 0 22 0 530406954 16132026368 191907 33554432000 1073741824 1073778376 140734246473888 18446744073709551615 274485783449 0 4 0 16800975 18446604454223470656 0 0 -1 7 0 0 0
[pid=14783/tid=14815] ppid=14781 vsize=15753932 CPUtime=0 cores=1,3,5,7
/proc/14783/task/14815/stat : 14815 (java) S 14781 14783 14328 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 530406954 16132026368 191907 33554432000 1073741824 1073778376 140734246473888 18446744073709551615 274485783449 0 4 0 16800975 18446604454223470656 0 0 -1 5 0 0 0
[pid=14783/tid=14818] ppid=14781 vsize=15753932 CPUtime=0 cores=1,3,5,7
/proc/14783/task/14818/stat : 14818 (java) S 14781 14783 14328 0 -1 4202560 66 0 0 0 0 0 0 0 15 0 22 0 530406954 16132026368 191907 33554432000 1073741824 1073778376 140734246473888 18446744073709551615 274485784064 0 4 0 16800975 18446604454223470656 0 0 -1 3 0 0 0
[pid=14783/tid=14824] ppid=14781 vsize=15753932 CPUtime=1166.93 cores=1,3,5,7
/proc/14783/task/14824/stat : 14824 (java) R 14781 14783 14328 0 -1 4202560 513574 0 0 0 116627 66 0 0 25 0 22 0 530406993 16132026368 191907 33554432000 1073741824 1073778376 140734246473888 18446744073709551615 46912506045734 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=14783/tid=14825] ppid=14781 vsize=15753932 CPUtime=1166.71 cores=1,3,5,7
/proc/14783/task/14825/stat : 14825 (java) R 14781 14783 14328 0 -1 4202560 515670 0 0 0 116598 73 0 0 25 0 22 0 530406993 16132026368 191907 33554432000 1073741824 1073778376 140734246473888 18446744073709551615 46912505988976 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=14783/tid=14826] ppid=14781 vsize=15753932 CPUtime=1166.73 cores=1,3,5,7
/proc/14783/task/14826/stat : 14826 (java) R 14781 14783 14328 0 -1 4202560 481592 0 0 0 116607 66 0 0 25 0 22 0 530406993 16132026368 191907 33554432000 1073741824 1073778376 140734246473888 18446744073709551615 47299193153302 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=14783/tid=14827] ppid=14781 vsize=15753932 CPUtime=1167.24 cores=1,3,5,7
/proc/14783/task/14827/stat : 14827 (java) R 14781 14783 14328 0 -1 4202560 522621 0 0 0 116653 71 0 0 25 0 22 0 530406993 16132026368 191907 33554432000 1073741824 1073778376 140734246473888 18446744073709551615 18446744073699065947 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4705.56
Current children cumulated vsize (KiB) 15753932



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1206.1 s]
/proc/loadavg: 8.08 8.07 8.02 9/220 14859
/proc/meminfo: memFree=21447556/32950928 swapFree=67111524/67111528
[pid=14783] ppid=14781 vsize=15753932 CPUtime=4800.33 cores=1,3,5,7
/proc/14783/stat : 14783 (java) S 14781 14783 14328 0 -1 4202496 3446097 0 1 0 479425 608 0 0 25 0 22 0 530406948 16132026368 201061 33554432000 1073741824 1073778376 140734246473888 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/14783/statm: 3938483 201061 2299 9 0 3929202 0
[pid=14783/tid=14786] ppid=14781 vsize=15753932 CPUtime=0.95 cores=1,3,5,7
/proc/14783/task/14786/stat : 14786 (java) S 14781 14783 14328 0 -1 4202560 33119 0 1 0 91 4 0 0 20 0 22 0 530406949 16132026368 201061 33554432000 1073741824 1073778376 140734246473888 18446744073709551615 274485783449 0 4 0 16800975 18446604454223470656 0 0 -1 5 0 0 0
[pid=14783/tid=14789] ppid=14781 vsize=15753932 CPUtime=4.18 cores=1,3,5,7
/proc/14783/task/14789/stat : 14789 (java) S 14781 14783 14328 0 -1 4202560 166457 0 0 0 389 29 0 0 16 0 22 0 530406950 16132026368 201061 33554432000 1073741824 1073778376 140734246473888 18446744073709551615 274485783449 0 4 0 16800975 18446604454223470656 0 0 -1 1 0 0 0
[pid=14783/tid=14791] ppid=14781 vsize=15753932 CPUtime=4.16 cores=1,3,5,7
/proc/14783/task/14791/stat : 14791 (java) S 14781 14783 14328 0 -1 4202560 165915 0 0 0 386 30 0 0 16 0 22 0 530406950 16132026368 201061 33554432000 1073741824 1073778376 140734246473888 18446744073709551615 274485783449 0 4 0 16800975 18446604454223470656 0 0 -1 5 0 0 0
[pid=14783/tid=14793] ppid=14781 vsize=15753932 CPUtime=4.08 cores=1,3,5,7
/proc/14783/task/14793/stat : 14793 (java) S 14781 14783 14328 0 -1 4202560 155453 0 0 0 381 27 0 0 15 0 22 0 530406950 16132026368 201061 33554432000 1073741824 1073778376 140734246473888 18446744073709551615 274485783449 0 4 0 16800975 18446604454223470656 0 0 -1 3 0 0 0
[pid=14783/tid=14795] ppid=14781 vsize=15753932 CPUtime=4.08 cores=1,3,5,7
/proc/14783/task/14795/stat : 14795 (java) S 14781 14783 14328 0 -1 4202560 172946 0 0 0 378 30 0 0 16 0 22 0 530406950 16132026368 201061 33554432000 1073741824 1073778376 140734246473888 18446744073709551615 274485783449 0 4 0 16800975 18446604454223470656 0 0 -1 7 0 0 0
[pid=14783/tid=14797] ppid=14781 vsize=15753932 CPUtime=4.05 cores=1,3,5,7
/proc/14783/task/14797/stat : 14797 (java) S 14781 14783 14328 0 -1 4202560 155274 0 0 0 377 28 0 0 16 0 22 0 530406950 16132026368 201061 33554432000 1073741824 1073778376 140734246473888 18446744073709551615 274485783449 0 4 0 16800975 18446604454223470656 0 0 -1 3 0 0 0
[pid=14783/tid=14799] ppid=14781 vsize=15753932 CPUtime=4.18 cores=1,3,5,7
/proc/14783/task/14799/stat : 14799 (java) S 14781 14783 14328 0 -1 4202560 160810 0 0 0 390 28 0 0 15 0 22 0 530406950 16132026368 201061 33554432000 1073741824 1073778376 140734246473888 18446744073709551615 274485783449 0 4 0 16800975 18446604454223470656 0 0 -1 1 0 0 0
[pid=14783/tid=14801] ppid=14781 vsize=15753932 CPUtime=4 cores=1,3,5,7
/proc/14783/task/14801/stat : 14801 (java) S 14781 14783 14328 0 -1 4202560 168246 0 0 0 371 29 0 0 15 0 22 0 530406950 16132026368 201061 33554432000 1073741824 1073778376 140734246473888 18446744073709551615 274485783449 0 4 0 16800975 18446604454223470656 0 0 -1 7 0 0 0
[pid=14783/tid=14803] ppid=14781 vsize=15753932 CPUtime=4 cores=1,3,5,7
/proc/14783/task/14803/stat : 14803 (java) S 14781 14783 14328 0 -1 4202560 160741 0 0 0 371 29 0 0 15 0 22 0 530406950 16132026368 201061 33554432000 1073741824 1073778376 140734246473888 18446744073709551615 274485783449 0 4 0 16800975 18446604454223470656 0 0 -1 1 0 0 0
[pid=14783/tid=14805] ppid=14781 vsize=15753932 CPUtime=2.25 cores=1,3,5,7
/proc/14783/task/14805/stat : 14805 (java) S 14781 14783 14328 0 -1 4202560 8937 0 0 0 144 81 0 0 15 0 22 0 530406951 16132026368 201061 33554432000 1073741824 1073778376 140734246473888 18446744073709551615 274485784064 0 0 0 16800975 18446604454223470656 0 0 -1 3 0 0 0
[pid=14783/tid=14807] ppid=14781 vsize=15753932 CPUtime=0 cores=1,3,5,7
/proc/14783/task/14807/stat : 14807 (java) S 14781 14783 14328 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 22 0 530406952 16132026368 201061 33554432000 1073741824 1073778376 140734246473888 18446744073709551615 274485783449 0 4 0 16800975 18446604454223470656 0 0 -1 5 0 0 0
[pid=14783/tid=14809] ppid=14781 vsize=15753932 CPUtime=0 cores=1,3,5,7
/proc/14783/task/14809/stat : 14809 (java) S 14781 14783 14328 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 530406952 16132026368 201061 33554432000 1073741824 1073778376 140734246473888 18446744073709551615 274485783449 0 4 0 16800975 18446604454223470656 0 0 -1 5 0 0 0
[pid=14783/tid=14810] ppid=14781 vsize=15753932 CPUtime=0 cores=1,3,5,7
/proc/14783/task/14810/stat : 14810 (java) S 14781 14783 14328 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 530406954 16132026368 201061 33554432000 1073741824 1073778376 140734246473888 18446744073709551615 274485791153 0 4 0 16800975 18446604454223470656 0 0 -1 5 0 0 0
[pid=14783/tid=14811] ppid=14781 vsize=15753932 CPUtime=1.24 cores=1,3,5,7
/proc/14783/task/14811/stat : 14811 (java) S 14781 14783 14328 0 -1 4202560 5570 0 0 0 123 1 0 0 16 0 22 0 530406954 16132026368 201061 33554432000 1073741824 1073778376 140734246473888 18446744073709551615 274485783449 0 4 0 16800975 18446604454223470656 0 0 -1 3 0 0 0
[pid=14783/tid=14814] ppid=14781 vsize=15753932 CPUtime=1.25 cores=1,3,5,7
/proc/14783/task/14814/stat : 14814 (java) S 14781 14783 14328 0 -1 4202560 3936 0 0 0 125 0 0 0 16 0 22 0 530406954 16132026368 201061 33554432000 1073741824 1073778376 140734246473888 18446744073709551615 274485783449 0 4 0 16800975 18446604454223470656 0 0 -1 7 0 0 0
[pid=14783/tid=14815] ppid=14781 vsize=15753932 CPUtime=0 cores=1,3,5,7
/proc/14783/task/14815/stat : 14815 (java) S 14781 14783 14328 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 530406954 16132026368 201061 33554432000 1073741824 1073778376 140734246473888 18446744073709551615 274485783449 0 4 0 16800975 18446604454223470656 0 0 -1 5 0 0 0
[pid=14783/tid=14818] ppid=14781 vsize=15753932 CPUtime=0 cores=1,3,5,7
/proc/14783/task/14818/stat : 14818 (java) S 14781 14783 14328 0 -1 4202560 68 0 0 0 0 0 0 0 15 0 22 0 530406954 16132026368 201061 33554432000 1073741824 1073778376 140734246473888 18446744073709551615 274485784064 0 4 0 16800975 18446604454223470656 0 0 -1 3 0 0 0
[pid=14783/tid=14824] ppid=14781 vsize=15753932 CPUtime=1190.5 cores=1,3,5,7
/proc/14783/task/14824/stat : 14824 (java) R 14781 14783 14328 0 -1 4202560 526518 0 0 0 118982 68 0 0 25 0 22 0 530406993 16132026368 201061 33554432000 1073741824 1073778376 140734246473888 18446744073709551615 46912505988788 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=14783/tid=14825] ppid=14781 vsize=15753932 CPUtime=1190.28 cores=1,3,5,7
/proc/14783/task/14825/stat : 14825 (java) R 14781 14783 14328 0 -1 4202560 530235 0 0 0 118953 75 0 0 25 0 22 0 530406993 16132026368 201061 33554432000 1073741824 1073778376 140734246473888 18446744073709551615 18446744073699065939 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=14783/tid=14826] ppid=14781 vsize=15753932 CPUtime=1190.16 cores=1,3,5,7
/proc/14783/task/14826/stat : 14826 (java) R 14781 14783 14328 0 -1 4202560 493390 0 0 0 118949 67 0 0 25 0 22 0 530406993 16132026368 201061 33554432000 1073741824 1073778376 140734246473888 18446744073709551615 46912505874444 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=14783/tid=14827] ppid=14781 vsize=15753932 CPUtime=1190.8 cores=1,3,5,7
/proc/14783/task/14827/stat : 14827 (java) R 14781 14783 14328 0 -1 4202560 537096 0 0 0 119007 73 0 0 25 0 22 0 530406993 16132026368 201061 33554432000 1073741824 1073778376 140734246473888 18446744073709551615 47299193151819 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.33
Current children cumulated vsize (KiB) 15753932

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): 1206.15
CPU time (s): 4800.41
CPU user time (s): 4794.28
CPU system time (s): 6.12707
CPU usage (%): 397.993
Max. virtual memory (cumulated for all children) (KiB): 15755656

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4794.28
system time used= 6.12707
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3446123
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= 132846
involuntary context switches= 103348

runsolver used 1.93071 second user time and 4.70928 second system time

The end

Launcher Data 

Begin job on node125 at 2011-04-30 20:27:53
IDJOB=3311872
IDBENCH=85802
IDSOLVER=1698
FILE ID=node125/3311872-1304188073
RUNJOBID= node125-1304188073-14765
PBS_JOBID= 13172469
Free space on /tmp= 73020 MiB

SOLVER NAME= STRUCTure 0.1 (hbr=2)
BENCH NAME= SAT05/crafted/sorge05/QG7a/gensys-ukn006.shuffled-as.sat05-3846.cnf
COMMAND LINE= run 15000 NBCORE TMPDIR DIR BENCHNAME -hbr 2
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3311872-1304188073/watcher-3311872-1304188073 -o /tmp/evaluation-result-3311872-1304188073/solver-3311872-1304188073 -C 4800 -W 1300 -M 15500  run 15000 4 HOME HOME HOME/instance-3311872-1304188073.cnf -hbr 2

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

MD5SUM BENCH= f38a91a0947f21d9ceeb8762ba4c5f93
RANDOM SEED=1944098580

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.828
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.828
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:     32950928 kB
MemFree:      23003916 kB
Buffers:       2136320 kB
Cached:        7221756 kB
SwapCached:          4 kB
Active:        2580944 kB
Inactive:      6840808 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      23003916 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:            4788 kB
Writeback:           0 kB
AnonPages:       63300 kB
Mapped:          14488 kB
Slab:           461376 kB
PageTables:       4472 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   184272 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= 73016 MiB
End job on node125 at 2011-04-30 20:48:01