Trace number 3313074

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.16 1206.06

General information on the benchmark

NameSAT05/crafted/sorge05/QG7a/
gensys-ukn009.shuffled-as.sat05-3849.cnf
MD5SUMf2a1eb7937a7cda114ce344a30ca1145
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark824.93
Satisfiable
(Un)Satisfiability was proved
Number of variables2969
Number of clauses18718
Sum of the clauses size134151
Maximum clause length13
Minimum clause length1
Number of clauses of size 142
Number of clauses of size 2435
Number of clauses of size 32341
Number of clauses of size 4498
Number of clauses of size 5677
Number of clauses of size over 514725

Solver Data 

0.10/0.11	17:51 INFO : Reading from input HOME/instance-3313074-1304187470.cnf
0.62/0.43	Executor set job limit to 1000000
0.62/0.43	Executor set job limit to 1000000
0.62/0.43	Executor set job limit to 1000000
0.62/0.43	Executor set job limit to 1000000
0.62/0.43	Starting Executor!
0.62/0.43	Starting Executor!
0.62/0.43	Starting Executor!
0.62/0.43	Starting Executor!
1.73/0.95	17:51 INFO : 2902 variables remaining out of 2969
1.73/0.95	17:51 INFO : 125890 literals remaining out of 152869
4.81/1.87	log4j:WARN No appenders could be found for logger (ibis.constellation.impl.SingleThreadedConstellation.CID: 0:2).
4.81/1.87	log4j:WARN Please initialize the log4j system properly.
4.81/1.87	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-3313074-1304187470/watcher-3313074-1304187470 -o /tmp/evaluation-result-3313074-1304187470/solver-3313074-1304187470 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3313074-1304187470.cnf 

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

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


[startup+0 s]
/proc/loadavg: 7.98 8.07 7.96 8/198 6972
/proc/meminfo: memFree=24587556/32950940 swapFree=67111364/67111528
[pid=6972] ppid=6970 vsize=26088 CPUtime=0 cores=1,3,5,7
/proc/6972/stat : 6972 (java) S 6970 6972 6769 0 -1 4202496 1413 0 0 0 0 0 0 0 25 0 2 0 608977820 26714112 884 33554432000 1073741824 1073778376 140737224572688 18446744073709551615 216000395237 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/6972/statm: 6522 884 678 9 0 381 0
[pid=6972/tid=6973] ppid=6970 vsize=27172 CPUtime=0 cores=1,3,5,7
/proc/6972/task/6973/stat : 6973 (java) S 6970 6972 6769 0 -1 4202560 66 0 0 0 0 0 0 0 25 0 2 0 608977821 27824128 893 33554432000 1073741824 1073778376 140737224572688 18446744073709551615 215983668871 0 2147483391 4096 0 18446744071699199166 0 0 -1 5 0 0 0

[startup+0.0983951 s]
/proc/loadavg: 7.98 8.07 7.96 8/198 6972
/proc/meminfo: memFree=24587556/32950940 swapFree=67111364/67111528
[pid=6972] ppid=6970 vsize=15741732 CPUtime=0.1 cores=1,3,5,7
/proc/6972/stat : 6972 (java) S 6970 6972 6769 0 -1 4202496 5631 0 1 0 9 1 0 0 25 0 18 0 608977820 16119533568 5028 33554432000 1073741824 1073778376 140737224572688 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/6972/statm: 3935433 5029 2117 9 0 3926152 0
[pid=6972/tid=6973] ppid=6970 vsize=15741732 CPUtime=0.08 cores=1,3,5,7
/proc/6972/task/6973/stat : 6973 (java) R 6970 6972 6769 0 -1 4202560 3463 0 1 0 7 1 0 0 25 0 18 0 608977821 16119533568 5029 33554432000 1073741824 1073778376 140737224572688 18446744073709551615 47584120781651 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15741732

[startup+0.100392 s]
/proc/loadavg: 7.98 8.07 7.96 8/198 6972
/proc/meminfo: memFree=24587556/32950940 swapFree=67111364/67111528
[pid=6972] ppid=6970 vsize=15741732 CPUtime=0.1 cores=1,3,5,7
/proc/6972/stat : 6972 (java) S 6970 6972 6769 0 -1 4202496 5661 0 1 0 9 1 0 0 25 0 18 0 608977820 16119533568 5058 33554432000 1073741824 1073778376 140737224572688 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/6972/statm: 3935433 5058 2117 9 0 3926152 0
[pid=6972/tid=6973] ppid=6970 vsize=15741732 CPUtime=0.09 cores=1,3,5,7
/proc/6972/task/6973/stat : 6973 (java) R 6970 6972 6769 0 -1 4202560 3492 0 1 0 8 1 0 0 25 0 18 0 608977821 16119533568 5058 33554432000 1073741824 1073778376 140737224572688 18446744073709551615 216000419275 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15741732

[startup+0.300363 s]
/proc/loadavg: 7.98 8.07 7.96 8/198 6972
/proc/meminfo: memFree=24587556/32950940 swapFree=67111364/67111528
[pid=6972] ppid=6970 vsize=15744752 CPUtime=0.51 cores=1,3,5,7
/proc/6972/stat : 6972 (java) S 6970 6972 6769 0 -1 4202496 16555 0 1 0 48 3 0 0 25 0 18 0 608977820 16122626048 14970 33554432000 1073741824 1073778376 140737224572688 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/6972/statm: 3936188 14977 2206 9 0 3926907 0
[pid=6972/tid=6973] ppid=6970 vsize=15744752 CPUtime=0.28 cores=1,3,5,7
/proc/6972/task/6973/stat : 6973 (java) R 6970 6972 6769 0 -1 4202560 11421 0 1 0 26 2 0 0 25 0 18 0 608977821 16122626048 14980 33554432000 1073741824 1073778376 140737224572688 18446744073709551615 46912505641235 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 15744752

[startup+0.700291 s]
/proc/loadavg: 7.98 8.07 7.96 8/198 6972
/proc/meminfo: memFree=24587556/32950940 swapFree=67111364/67111528
[pid=6972] ppid=6970 vsize=15754772 CPUtime=1.21 cores=1,3,5,7
/proc/6972/stat : 6972 (java) S 6970 6972 6769 0 -1 4202496 41661 0 1 0 115 6 0 0 25 0 22 0 608977820 16132886528 38151 33554432000 1073741824 1073778376 140737224572688 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/6972/statm: 3938693 38151 2240 9 0 3929412 0
[pid=6972/tid=6973] ppid=6970 vsize=15754772 CPUtime=0.68 cores=1,3,5,7
/proc/6972/task/6973/stat : 6973 (java) R 6970 6972 6769 0 -1 4202560 32856 0 1 0 64 4 0 0 25 0 22 0 608977821 16132886528 38151 33554432000 1073741824 1073778376 140737224572688 18446744073709551615 46912505723465 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.21
Current children cumulated vsize (KiB) 15754772

[startup+1.50115 s]
/proc/loadavg: 7.98 8.07 7.96 8/220 6994
/proc/meminfo: memFree=24106012/32950940 swapFree=67111364/67111528
[pid=6972] ppid=6970 vsize=15755856 CPUtime=3.63 cores=1,3,5,7
/proc/6972/stat : 6972 (java) S 6970 6972 6769 0 -1 4202496 53233 0 1 0 355 8 0 0 25 0 22 0 608977820 16133996544 46472 33554432000 1073741824 1073778376 140737224572688 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/6972/statm: 3938964 46472 2274 9 0 3929683 0
[pid=6972/tid=6973] ppid=6970 vsize=15755856 CPUtime=0.93 cores=1,3,5,7
/proc/6972/task/6973/stat : 6973 (java) S 6970 6972 6769 0 -1 4202560 33127 0 1 0 89 4 0 0 25 0 22 0 608977821 16133996544 46472 33554432000 1073741824 1073778376 140737224572688 18446744073709551615 216000408473 0 4 0 16800975 18446604465568956736 0 0 -1 7 0 0 0
[pid=6972/tid=6975] ppid=6970 vsize=15755856 CPUtime=0 cores=1,3,5,7
/proc/6972/task/6975/stat : 6975 (java) S 6970 6972 6769 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 608977821 16133996544 46472 33554432000 1073741824 1073778376 140737224572688 18446744073709551615 216000408473 0 4 0 16800975 18446604465568956736 0 0 -1 7 0 0 0
[pid=6972/tid=6976] ppid=6970 vsize=15755856 CPUtime=0 cores=1,3,5,7
/proc/6972/task/6976/stat : 6976 (java) S 6970 6972 6769 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 608977821 16133996544 46472 33554432000 1073741824 1073778376 140737224572688 18446744073709551615 216000408473 0 4 0 16800975 18446604465568956736 0 0 -1 7 0 0 0
[pid=6972/tid=6977] ppid=6970 vsize=15755856 CPUtime=0 cores=1,3,5,7
/proc/6972/task/6977/stat : 6977 (java) S 6970 6972 6769 0 -1 4202560 922 0 0 0 0 0 0 0 16 0 22 0 608977821 16133996544 46472 33554432000 1073741824 1073778376 140737224572688 18446744073709551615 216000408473 0 4 0 16800975 18446604465568956736 0 0 -1 7 0 0 0
[pid=6972/tid=6978] ppid=6970 vsize=15755856 CPUtime=0 cores=1,3,5,7
/proc/6972/task/6978/stat : 6978 (java) S 6970 6972 6769 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 22 0 608977821 16133996544 46472 33554432000 1073741824 1073778376 140737224572688 18446744073709551615 216000408473 0 4 0 16800975 18446604465568956736 0 0 -1 5 0 0 0
[pid=6972/tid=6979] ppid=6970 vsize=15755856 CPUtime=0 cores=1,3,5,7
/proc/6972/task/6979/stat : 6979 (java) S 6970 6972 6769 0 -1 4202560 58 0 0 0 0 0 0 0 15 0 22 0 608977821 16133996544 46472 33554432000 1073741824 1073778376 140737224572688 18446744073709551615 216000408473 0 4 0 16800975 18446604465568956736 0 0 -1 1 0 0 0
[pid=6972/tid=6980] ppid=6970 vsize=15755856 CPUtime=0 cores=1,3,5,7
/proc/6972/task/6980/stat : 6980 (java) S 6970 6972 6769 0 -1 4202560 1320 0 0 0 0 0 0 0 16 0 22 0 608977821 16133996544 46472 33554432000 1073741824 1073778376 140737224572688 18446744073709551615 216000408473 0 4 0 16800975 18446604465568956736 0 0 -1 5 0 0 0
[pid=6972/tid=6981] ppid=6970 vsize=15755856 CPUtime=0 cores=1,3,5,7
/proc/6972/task/6981/stat : 6981 (java) S 6970 6972 6769 0 -1 4202560 1427 0 0 0 0 0 0 0 16 0 22 0 608977821 16133996544 46472 33554432000 1073741824 1073778376 140737224572688 18446744073709551615 216000408473 0 4 0 16800975 18446604465568956736 0 0 -1 1 0 0 0
[pid=6972/tid=6982] ppid=6970 vsize=15755856 CPUtime=0 cores=1,3,5,7
/proc/6972/task/6982/stat : 6982 (java) S 6970 6972 6769 0 -1 4202560 1449 0 0 0 0 0 0 0 16 0 22 0 608977821 16133996544 46472 33554432000 1073741824 1073778376 140737224572688 18446744073709551615 216000408473 0 4 0 16800975 18446604465568956736 0 0 -1 3 0 0 0
[pid=6972/tid=6983] ppid=6970 vsize=15755856 CPUtime=0 cores=1,3,5,7
/proc/6972/task/6983/stat : 6983 (java) S 6970 6972 6769 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 22 0 608977822 16133996544 46472 33554432000 1073741824 1073778376 140737224572688 18446744073709551615 216000409088 0 0 0 16800975 18446604465568956736 0 0 -1 7 0 0 0
[pid=6972/tid=6984] ppid=6970 vsize=15755856 CPUtime=0 cores=1,3,5,7
/proc/6972/task/6984/stat : 6984 (java) S 6970 6972 6769 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 608977823 16133996544 46472 33554432000 1073741824 1073778376 140737224572688 18446744073709551615 216000408473 0 4 0 16800975 18446604465568956736 0 0 -1 5 0 0 0
[pid=6972/tid=6985] ppid=6970 vsize=15755856 CPUtime=0 cores=1,3,5,7
/proc/6972/task/6985/stat : 6985 (java) S 6970 6972 6769 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 608977823 16133996544 46472 33554432000 1073741824 1073778376 140737224572688 18446744073709551615 216000408473 0 4 0 16800975 18446604465568956736 0 0 -1 5 0 0 0
[pid=6972/tid=6986] ppid=6970 vsize=15755856 CPUtime=0 cores=1,3,5,7
/proc/6972/task/6986/stat : 6986 (java) S 6970 6972 6769 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 608977825 16133996544 46472 33554432000 1073741824 1073778376 140737224572688 18446744073709551615 216000416177 0 4 0 16800975 18446604465568956736 0 0 -1 3 0 0 0
[pid=6972/tid=6987] ppid=6970 vsize=15755856 CPUtime=0.75 cores=1,3,5,7
/proc/6972/task/6987/stat : 6987 (java) R 6970 6972 6769 0 -1 4202560 6337 0 0 0 74 1 0 0 25 0 22 0 608977825 16133996544 46472 33554432000 1073741824 1073778376 140737224572688 18446744073709551615 216000408473 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=6972/tid=6988] ppid=6970 vsize=15755856 CPUtime=0.8 cores=1,3,5,7
/proc/6972/task/6988/stat : 6988 (java) S 6970 6972 6769 0 -1 4202560 4788 0 0 0 80 0 0 0 16 0 22 0 608977825 16133996544 46472 33554432000 1073741824 1073778376 140737224572688 18446744073709551615 216000408473 0 4 0 16800975 18446604465568956736 0 0 -1 1 0 0 0
[pid=6972/tid=6989] ppid=6970 vsize=15755856 CPUtime=0 cores=1,3,5,7
/proc/6972/task/6989/stat : 6989 (java) S 6970 6972 6769 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 608977825 16133996544 46472 33554432000 1073741824 1073778376 140737224572688 18446744073709551615 216000408473 0 4 0 16800975 18446604465568956736 0 0 -1 5 0 0 0
[pid=6972/tid=6990] ppid=6970 vsize=15755856 CPUtime=0 cores=1,3,5,7
/proc/6972/task/6990/stat : 6990 (java) S 6970 6972 6769 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 608977825 16133996544 46472 33554432000 1073741824 1073778376 140737224572688 18446744073709551615 216000409088 0 4 0 16800975 18446604465568956736 0 0 -1 3 0 0 0
[pid=6972/tid=6991] ppid=6970 vsize=15755856 CPUtime=0.37 cores=1,3,5,7
/proc/6972/task/6991/stat : 6991 (java) R 6970 6972 6769 0 -1 4202560 1280 0 0 0 37 0 0 0 16 0 22 0 608977864 16133996544 46472 33554432000 1073741824 1073778376 140737224572688 18446744073709551615 46912505963640 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=6972/tid=6992] ppid=6970 vsize=15755856 CPUtime=0.27 cores=1,3,5,7
/proc/6972/task/6992/stat : 6992 (java) R 6970 6972 6769 0 -1 4202560 484 0 0 0 27 0 0 0 18 0 22 0 608977864 16133996544 46472 33554432000 1073741824 1073778376 140737224572688 18446744073709551615 47584120105097 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=6972/tid=6993] ppid=6970 vsize=15755856 CPUtime=0.22 cores=1,3,5,7
/proc/6972/task/6993/stat : 6993 (java) R 6970 6972 6769 0 -1 4202560 320 0 0 0 22 0 0 0 18 0 22 0 608977864 16133996544 46472 33554432000 1073741824 1073778376 140737224572688 18446744073709551615 47584120103799 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=6972/tid=6994] ppid=6970 vsize=15755856 CPUtime=0.2 cores=1,3,5,7
/proc/6972/task/6994/stat : 6994 (java) R 6970 6972 6769 0 -1 4202560 319 0 0 0 20 0 0 0 17 0 22 0 608977864 16133996544 46472 33554432000 1073741824 1073778376 140737224572688 18446744073709551615 46912506230109 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.63
Current children cumulated vsize (KiB) 15755856

[startup+3.10087 s]
/proc/loadavg: 7.98 8.07 7.96 10/220 6994
/proc/meminfo: memFree=23789328/32950940 swapFree=67111364/67111528
[pid=6972] ppid=6970 vsize=15755856 CPUtime=10 cores=1,3,5,7
/proc/6972/stat : 6972 (java) S 6970 6972 6769 0 -1 4202496 166689 0 1 0 975 25 0 0 25 0 22 0 608977820 16133996544 159849 33554432000 1073741824 1073778376 140737224572688 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/6972/statm: 3938964 159849 2277 9 0 3929683 0
[pid=6972/tid=6973] ppid=6970 vsize=15755856 CPUtime=0.93 cores=1,3,5,7
/proc/6972/task/6973/stat : 6973 (java) S 6970 6972 6769 0 -1 4202560 33127 0 1 0 89 4 0 0 25 0 22 0 608977821 16133996544 159849 33554432000 1073741824 1073778376 140737224572688 18446744073709551615 216000408473 0 4 0 16800975 18446604465568956736 0 0 -1 7 0 0 0
[pid=6972/tid=6975] ppid=6970 vsize=15755856 CPUtime=0.01 cores=1,3,5,7
/proc/6972/task/6975/stat : 6975 (java) S 6970 6972 6769 0 -1 4202560 5056 0 0 0 1 0 0 0 16 0 22 0 608977821 16133996544 159849 33554432000 1073741824 1073778376 140737224572688 18446744073709551615 216000408473 0 4 0 16800975 18446604465568956736 0 0 -1 7 0 0 0
[pid=6972/tid=6976] ppid=6970 vsize=15755856 CPUtime=0 cores=1,3,5,7
/proc/6972/task/6976/stat : 6976 (java) S 6970 6972 6769 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 608977821 16133996544 159849 33554432000 1073741824 1073778376 140737224572688 18446744073709551615 216000408473 0 4 0 16800975 18446604465568956736 0 0 -1 7 0 0 0
[pid=6972/tid=6977] ppid=6970 vsize=15755856 CPUtime=0.01 cores=1,3,5,7
/proc/6972/task/6977/stat : 6977 (java) S 6970 6972 6769 0 -1 4202560 4040 0 0 0 1 0 0 0 15 0 22 0 608977821 16133996544 159849 33554432000 1073741824 1073778376 140737224572688 18446744073709551615 216000408473 0 4 0 16800975 18446604465568956736 0 0 -1 3 0 0 0
[pid=6972/tid=6978] ppid=6970 vsize=15755856 CPUtime=0.01 cores=1,3,5,7
/proc/6972/task/6978/stat : 6978 (java) S 6970 6972 6769 0 -1 4202560 4418 0 0 0 0 1 0 0 16 0 22 0 608977821 16133996544 159849 33554432000 1073741824 1073778376 140737224572688 18446744073709551615 216000408473 0 4 0 16800975 18446604465568956736 0 0 -1 1 0 0 0
[pid=6972/tid=6979] ppid=6970 vsize=15755856 CPUtime=0.02 cores=1,3,5,7
/proc/6972/task/6979/stat : 6979 (java) S 6970 6972 6769 0 -1 4202560 9271 0 0 0 1 1 0 0 16 0 22 0 608977821 16133996544 159849 33554432000 1073741824 1073778376 140737224572688 18446744073709551615 216000408473 0 4 0 16800975 18446604465568956736 0 0 -1 5 0 0 0
[pid=6972/tid=6980] ppid=6970 vsize=15755856 CPUtime=0.02 cores=1,3,5,7
/proc/6972/task/6980/stat : 6980 (java) S 6970 6972 6769 0 -1 4202560 5767 0 0 0 1 1 0 0 15 0 22 0 608977821 16133996544 159849 33554432000 1073741824 1073778376 140737224572688 18446744073709551615 216000408473 0 4 0 16800975 18446604465568956736 0 0 -1 7 0 0 0
[pid=6972/tid=6981] ppid=6970 vsize=15755856 CPUtime=0.02 cores=1,3,5,7
/proc/6972/task/6981/stat : 6981 (java) S 6970 6972 6769 0 -1 4202560 7447 0 0 0 2 0 0 0 15 0 22 0 608977821 16133996544 159849 33554432000 1073741824 1073778376 140737224572688 18446744073709551615 216000408473 0 4 0 16800975 18446604465568956736 0 0 -1 1 0 0 0
[pid=6972/tid=6982] ppid=6970 vsize=15755856 CPUtime=0.02 cores=1,3,5,7
/proc/6972/task/6982/stat : 6982 (java) S 6970 6972 6769 0 -1 4202560 6368 0 0 0 1 1 0 0 16 0 22 0 608977821 16133996544 159849 33554432000 1073741824 1073778376 140737224572688 18446744073709551615 216000408473 0 4 0 16800975 18446604465568956736 0 0 -1 3 0 0 0
[pid=6972/tid=6983] ppid=6970 vsize=15755856 CPUtime=0 cores=1,3,5,7
/proc/6972/task/6983/stat : 6983 (java) S 6970 6972 6769 0 -1 4202560 475 0 0 0 0 0 0 0 15 0 22 0 608977822 16133996544 159849 33554432000 1073741824 1073778376 140737224572688 18446744073709551615 216000409088 0 0 0 16800975 18446604465568956736 0 0 -1 5 0 0 0
[pid=6972/tid=6984] ppid=6970 vsize=15755856 CPUtime=0 cores=1,3,5,7
/proc/6972/task/6984/stat : 6984 (java) S 6970 6972 6769 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 608977823 16133996544 159849 33554432000 1073741824 1073778376 140737224572688 18446744073709551615 216000408473 0 4 0 16800975 18446604465568956736 0 0 -1 5 0 0 0
[pid=6972/tid=6985] ppid=6970 vsize=15755856 CPUtime=0 cores=1,3,5,7
/proc/6972/task/6985/stat : 6985 (java) S 6970 6972 6769 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 608977823 16133996544 159849 33554432000 1073741824 1073778376 140737224572688 18446744073709551615 216000408473 0 4 0 16800975 18446604465568956736 0 0 -1 5 0 0 0
[pid=6972/tid=6986] ppid=6970 vsize=15755856 CPUtime=0 cores=1,3,5,7
/proc/6972/task/6986/stat : 6986 (java) S 6970 6972 6769 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 608977825 16133996544 159849 33554432000 1073741824 1073778376 140737224572688 18446744073709551615 216000416177 0 4 0 16800975 18446604465568956736 0 0 -1 3 0 0 0
[pid=6972/tid=6987] ppid=6970 vsize=15755856 CPUtime=0.79 cores=1,3,5,7
/proc/6972/task/6987/stat : 6987 (java) S 6970 6972 6769 0 -1 4202560 6345 0 0 0 78 1 0 0 21 0 22 0 608977825 16133996544 159849 33554432000 1073741824 1073778376 140737224572688 18446744073709551615 216000408473 0 4 0 16800975 18446604465568956736 0 0 -1 3 0 0 0
[pid=6972/tid=6988] ppid=6970 vsize=15755856 CPUtime=0.95 cores=1,3,5,7
/proc/6972/task/6988/stat : 6988 (java) S 6970 6972 6769 0 -1 4202560 4799 0 0 0 95 0 0 0 15 0 22 0 608977825 16133996544 159849 33554432000 1073741824 1073778376 140737224572688 18446744073709551615 216000408473 0 4 0 16800975 18446604465568956736 0 0 -1 1 0 0 0
[pid=6972/tid=6989] ppid=6970 vsize=15755856 CPUtime=0 cores=1,3,5,7
/proc/6972/task/6989/stat : 6989 (java) S 6970 6972 6769 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 608977825 16133996544 159849 33554432000 1073741824 1073778376 140737224572688 18446744073709551615 216000408473 0 4 0 16800975 18446604465568956736 0 0 -1 5 0 0 0
[pid=6972/tid=6990] ppid=6970 vsize=15755856 CPUtime=0 cores=1,3,5,7
/proc/6972/task/6990/stat : 6990 (java) S 6970 6972 6769 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 608977825 16133996544 159849 33554432000 1073741824 1073778376 140737224572688 18446744073709551615 216000409088 0 4 0 16800975 18446604465568956736 0 0 -1 3 0 0 0
[pid=6972/tid=6991] ppid=6970 vsize=15755856 CPUtime=1.8 cores=1,3,5,7
/proc/6972/task/6991/stat : 6991 (java) R 6970 6972 6769 0 -1 4202560 20493 0 0 0 178 2 0 0 17 0 22 0 608977864 16133996544 159849 33554432000 1073741824 1073778376 140737224572688 18446744073709551615 46912506270662 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=6972/tid=6992] ppid=6970 vsize=15755856 CPUtime=1.8 cores=1,3,5,7
/proc/6972/task/6992/stat : 6992 (java) R 6970 6972 6769 0 -1 4202560 22817 0 0 0 177 3 0 0 20 0 22 0 608977864 16133996544 159849 33554432000 1073741824 1073778376 140737224572688 18446744073709551615 46912505989309 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=6972/tid=6993] ppid=6970 vsize=15755856 CPUtime=1.69 cores=1,3,5,7
/proc/6972/task/6993/stat : 6993 (java) R 6970 6972 6769 0 -1 4202560 16390 0 0 0 168 1 0 0 19 0 22 0 608977864 16133996544 159849 33554432000 1073741824 1073778376 140737224572688 18446744073709551615 46912505855999 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=6972/tid=6994] ppid=6970 vsize=15755856 CPUtime=1.75 cores=1,3,5,7
/proc/6972/task/6994/stat : 6994 (java) R 6970 6972 6769 0 -1 4202560 18490 0 0 0 173 2 0 0 19 0 22 0 608977864 16133996544 159849 33554432000 1073741824 1073778376 140737224572688 18446744073709551615 46912505989244 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 10
Current children cumulated vsize (KiB) 15755856

[startup+6.30132 s]
/proc/loadavg: 7.98 8.07 7.96 9/220 6994
/proc/meminfo: memFree=21847828/32950940 swapFree=67111364/67111528
[pid=6972] ppid=6970 vsize=15755856 CPUtime=22.78 cores=1,3,5,7
/proc/6972/stat : 6972 (java) S 6970 6972 6769 0 -1 4202496 398251 0 1 0 2223 55 0 0 25 0 22 0 608977820 16133996544 391188 33554432000 1073741824 1073778376 140737224572688 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/6972/statm: 3938964 391188 2277 9 0 3929683 0
[pid=6972/tid=6973] ppid=6970 vsize=15755856 CPUtime=0.93 cores=1,3,5,7
/proc/6972/task/6973/stat : 6973 (java) S 6970 6972 6769 0 -1 4202560 33127 0 1 0 89 4 0 0 25 0 22 0 608977821 16133996544 391188 33554432000 1073741824 1073778376 140737224572688 18446744073709551615 216000408473 0 4 0 16800975 18446604465568956736 0 0 -1 7 0 0 0
[pid=6972/tid=6975] ppid=6970 vsize=15755856 CPUtime=0.02 cores=1,3,5,7
/proc/6972/task/6975/stat : 6975 (java) S 6970 6972 6769 0 -1 4202560 6943 0 0 0 1 1 0 0 15 0 22 0 608977821 16133996544 391188 33554432000 1073741824 1073778376 140737224572688 18446744073709551615 216000408473 0 4 0 16800975 18446604465568956736 0 0 -1 1 0 0 0
[pid=6972/tid=6976] ppid=6970 vsize=15755856 CPUtime=0 cores=1,3,5,7
/proc/6972/task/6976/stat : 6976 (java) S 6970 6972 6769 0 -1 4202560 1485 0 0 0 0 0 0 0 16 0 22 0 608977821 16133996544 391188 33554432000 1073741824 1073778376 140737224572688 18446744073709551615 216000408473 0 4 0 16800975 18446604465568956736 0 0 -1 7 0 0 0
[pid=6972/tid=6977] ppid=6970 vsize=15755856 CPUtime=0.03 cores=1,3,5,7
/proc/6972/task/6977/stat : 6977 (java) S 6970 6972 6769 0 -1 4202560 6466 0 0 0 2 1 0 0 16 0 22 0 608977821 16133996544 391195 33554432000 1073741824 1073778376 140737224572688 18446744073709551615 216000408473 0 4 0 16800975 18446604465568956736 0 0 -1 3 0 0 0
[pid=6972/tid=6978] ppid=6970 vsize=15755856 CPUtime=0.02 cores=1,3,5,7
/proc/6972/task/6978/stat : 6978 (java) S 6970 6972 6769 0 -1 4202560 5917 0 0 0 1 1 0 0 15 0 22 0 608977821 16133996544 391195 33554432000 1073741824 1073778376 140737224572688 18446744073709551615 216000408473 0 4 0 16800975 18446604465568956736 0 0 -1 7 0 0 0
[pid=6972/tid=6979] ppid=6970 vsize=15755856 CPUtime=0.04 cores=1,3,5,7
/proc/6972/task/6979/stat : 6979 (java) S 6970 6972 6769 0 -1 4202560 14613 0 0 0 2 2 0 0 16 0 22 0 608977821 16133996544 391198 33554432000 1073741824 1073778376 140737224572688 18446744073709551615 216000408473 0 4 0 16800975 18446604465568956736 0 0 -1 5 0 0 0
[pid=6972/tid=6980] ppid=6970 vsize=15755856 CPUtime=0.03 cores=1,3,5,7
/proc/6972/task/6980/stat : 6980 (java) S 6970 6972 6769 0 -1 4202560 7884 0 0 0 2 1 0 0 15 0 22 0 608977821 16133996544 391205 33554432000 1073741824 1073778376 140737224572688 18446744073709551615 216000408473 0 4 0 16800975 18446604465568956736 0 0 -1 7 0 0 0
[pid=6972/tid=6981] ppid=6970 vsize=15755856 CPUtime=0.03 cores=1,3,5,7
/proc/6972/task/6981/stat : 6981 (java) S 6970 6972 6769 0 -1 4202560 9544 0 0 0 2 1 0 0 16 0 22 0 608977821 16133996544 391205 33554432000 1073741824 1073778376 140737224572688 18446744073709551615 216000408473 0 4 0 16800975 18446604465568956736 0 0 -1 1 0 0 0
[pid=6972/tid=6982] ppid=6970 vsize=15755856 CPUtime=0.03 cores=1,3,5,7
/proc/6972/task/6982/stat : 6982 (java) S 6970 6972 6769 0 -1 4202560 8395 0 0 0 2 1 0 0 15 0 22 0 608977821 16133996544 391205 33554432000 1073741824 1073778376 140737224572688 18446744073709551615 216000408473 0 4 0 16800975 18446604465568956736 0 0 -1 3 0 0 0

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

[pid=6972/tid=6992] ppid=6970 vsize=15755856 CPUtime=1048.27 cores=1,3,5,7
/proc/6972/task/6992/stat : 6992 (java) R 6970 6972 6769 0 -1 4202560 483477 0 0 0 104762 65 0 0 25 0 22 0 608977864 16133996544 222359 33554432000 1073741824 1073778376 140737224572688 18446744073709551615 46912505963635 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=6972/tid=6993] ppid=6970 vsize=15755856 CPUtime=1048.49 cores=1,3,5,7
/proc/6972/task/6993/stat : 6993 (java) R 6970 6972 6769 0 -1 4202560 448836 0 0 0 104789 60 0 0 25 0 22 0 608977864 16133996544 222359 33554432000 1073741824 1073778376 140737224572688 18446744073709551615 46912505964049 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=6972/tid=6994] ppid=6970 vsize=15755856 CPUtime=1048.28 cores=1,3,5,7
/proc/6972/task/6994/stat : 6994 (java) R 6970 6972 6769 0 -1 4202560 483391 0 0 0 104758 70 0 0 25 0 22 0 608977864 16133996544 222359 33554432000 1073741824 1073778376 140737224572688 18446744073709551615 47584120104941 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4227.97
Current children cumulated vsize (KiB) 15755856

[startup+1122.3 s]
/proc/loadavg: 8.04 8.07 8.00 9/220 7024
/proc/meminfo: memFree=23143408/32950940 swapFree=67111364/67111528
[pid=6972] ppid=6970 vsize=15755856 CPUtime=4466.75 cores=1,3,5,7
/proc/6972/stat : 6972 (java) S 6970 6972 6769 0 -1 4202496 3248168 0 1 0 446099 576 0 0 25 0 22 0 608977820 16133996544 235107 33554432000 1073741824 1073778376 140737224572688 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/6972/statm: 3938964 235107 2298 9 0 3929683 0
[pid=6972/tid=6973] ppid=6970 vsize=15755856 CPUtime=0.93 cores=1,3,5,7
/proc/6972/task/6973/stat : 6973 (java) S 6970 6972 6769 0 -1 4202560 33127 0 1 0 89 4 0 0 25 0 22 0 608977821 16133996544 235107 33554432000 1073741824 1073778376 140737224572688 18446744073709551615 216000408473 0 4 0 16800975 18446604465568956736 0 0 -1 7 0 0 0
[pid=6972/tid=6975] ppid=6970 vsize=15755856 CPUtime=3.91 cores=1,3,5,7
/proc/6972/task/6975/stat : 6975 (java) S 6970 6972 6769 0 -1 4202560 154622 0 0 0 365 26 0 0 16 0 22 0 608977821 16133996544 235107 33554432000 1073741824 1073778376 140737224572688 18446744073709551615 216000408473 0 4 0 16800975 18446604465568956736 0 0 -1 3 0 0 0
[pid=6972/tid=6976] ppid=6970 vsize=15755856 CPUtime=3.7 cores=1,3,5,7
/proc/6972/task/6976/stat : 6976 (java) S 6970 6972 6769 0 -1 4202560 138537 0 0 0 347 23 0 0 15 0 22 0 608977821 16133996544 235107 33554432000 1073741824 1073778376 140737224572688 18446744073709551615 216000408473 0 4 0 16800975 18446604465568956736 0 0 -1 7 0 0 0
[pid=6972/tid=6977] ppid=6970 vsize=15755856 CPUtime=3.85 cores=1,3,5,7
/proc/6972/task/6977/stat : 6977 (java) S 6970 6972 6769 0 -1 4202560 139714 0 0 0 360 25 0 0 15 0 22 0 608977821 16133996544 235107 33554432000 1073741824 1073778376 140737224572688 18446744073709551615 216000408473 0 4 0 16800975 18446604465568956736 0 0 -1 7 0 0 0
[pid=6972/tid=6978] ppid=6970 vsize=15755856 CPUtime=3.8 cores=1,3,5,7
/proc/6972/task/6978/stat : 6978 (java) S 6970 6972 6769 0 -1 4202560 152901 0 0 0 351 29 0 0 15 0 22 0 608977821 16133996544 235107 33554432000 1073741824 1073778376 140737224572688 18446744073709551615 216000408473 0 4 0 16800975 18446604465568956736 0 0 -1 5 0 0 0
[pid=6972/tid=6979] ppid=6970 vsize=15755856 CPUtime=3.74 cores=1,3,5,7
/proc/6972/task/6979/stat : 6979 (java) S 6970 6972 6769 0 -1 4202560 155808 0 0 0 347 27 0 0 15 0 22 0 608977821 16133996544 235107 33554432000 1073741824 1073778376 140737224572688 18446744073709551615 216000408473 0 4 0 16800975 18446604465568956736 0 0 -1 1 0 0 0
[pid=6972/tid=6980] ppid=6970 vsize=15755856 CPUtime=3.84 cores=1,3,5,7
/proc/6972/task/6980/stat : 6980 (java) S 6970 6972 6769 0 -1 4202560 142437 0 0 0 359 25 0 0 15 0 22 0 608977821 16133996544 235107 33554432000 1073741824 1073778376 140737224572688 18446744073709551615 216000408473 0 4 0 16800975 18446604465568956736 0 0 -1 7 0 0 0
[pid=6972/tid=6981] ppid=6970 vsize=15755856 CPUtime=3.84 cores=1,3,5,7
/proc/6972/task/6981/stat : 6981 (java) S 6970 6972 6769 0 -1 4202560 135977 0 0 0 358 26 0 0 15 0 22 0 608977821 16133996544 235107 33554432000 1073741824 1073778376 140737224572688 18446744073709551615 216000408473 0 4 0 16800975 18446604465568956736 0 0 -1 1 0 0 0
[pid=6972/tid=6982] ppid=6970 vsize=15755856 CPUtime=3.74 cores=1,3,5,7
/proc/6972/task/6982/stat : 6982 (java) S 6970 6972 6769 0 -1 4202560 159055 0 0 0 345 29 0 0 16 0 22 0 608977821 16133996544 235107 33554432000 1073741824 1073778376 140737224572688 18446744073709551615 216000408473 0 4 0 16800975 18446604465568956736 0 0 -1 5 0 0 0
[pid=6972/tid=6983] ppid=6970 vsize=15755856 CPUtime=2.13 cores=1,3,5,7
/proc/6972/task/6983/stat : 6983 (java) S 6970 6972 6769 0 -1 4202560 8255 0 0 0 139 74 0 0 15 0 22 0 608977822 16133996544 235107 33554432000 1073741824 1073778376 140737224572688 18446744073709551615 216000409088 0 0 0 16800975 18446604465568956736 0 0 -1 7 0 0 0
[pid=6972/tid=6984] ppid=6970 vsize=15755856 CPUtime=0 cores=1,3,5,7
/proc/6972/task/6984/stat : 6984 (java) S 6970 6972 6769 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 608977823 16133996544 235107 33554432000 1073741824 1073778376 140737224572688 18446744073709551615 216000408473 0 4 0 16800975 18446604465568956736 0 0 -1 5 0 0 0
[pid=6972/tid=6985] ppid=6970 vsize=15755856 CPUtime=0 cores=1,3,5,7
/proc/6972/task/6985/stat : 6985 (java) S 6970 6972 6769 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 608977823 16133996544 235107 33554432000 1073741824 1073778376 140737224572688 18446744073709551615 216000408473 0 4 0 16800975 18446604465568956736 0 0 -1 5 0 0 0
[pid=6972/tid=6986] ppid=6970 vsize=15755856 CPUtime=0 cores=1,3,5,7
/proc/6972/task/6986/stat : 6986 (java) S 6970 6972 6769 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 608977825 16133996544 235107 33554432000 1073741824 1073778376 140737224572688 18446744073709551615 216000416177 0 4 0 16800975 18446604465568956736 0 0 -1 3 0 0 0
[pid=6972/tid=6987] ppid=6970 vsize=15755856 CPUtime=1.05 cores=1,3,5,7
/proc/6972/task/6987/stat : 6987 (java) S 6970 6972 6769 0 -1 4202560 6546 0 0 0 104 1 0 0 15 0 22 0 608977825 16133996544 235107 33554432000 1073741824 1073778376 140737224572688 18446744073709551615 216000408473 0 4 0 16800975 18446604465568956736 0 0 -1 3 0 0 0
[pid=6972/tid=6988] ppid=6970 vsize=15755856 CPUtime=1.21 cores=1,3,5,7
/proc/6972/task/6988/stat : 6988 (java) S 6970 6972 6769 0 -1 4202560 4823 0 0 0 121 0 0 0 15 0 22 0 608977825 16133996544 235107 33554432000 1073741824 1073778376 140737224572688 18446744073709551615 216000408473 0 4 0 16800975 18446604465568956736 0 0 -1 1 0 0 0
[pid=6972/tid=6989] ppid=6970 vsize=15755856 CPUtime=0 cores=1,3,5,7
/proc/6972/task/6989/stat : 6989 (java) S 6970 6972 6769 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 608977825 16133996544 235107 33554432000 1073741824 1073778376 140737224572688 18446744073709551615 216000408473 0 4 0 16800975 18446604465568956736 0 0 -1 5 0 0 0
[pid=6972/tid=6990] ppid=6970 vsize=15755856 CPUtime=0 cores=1,3,5,7
/proc/6972/task/6990/stat : 6990 (java) S 6970 6972 6769 0 -1 4202560 65 0 0 0 0 0 0 0 15 0 22 0 608977825 16133996544 235107 33554432000 1073741824 1073778376 140737224572688 18446744073709551615 216000409088 0 4 0 16800975 18446604465568956736 0 0 -1 3 0 0 0
[pid=6972/tid=6991] ppid=6970 vsize=15755856 CPUtime=1107.97 cores=1,3,5,7
/proc/6972/task/6991/stat : 6991 (java) R 6970 6972 6769 0 -1 4202560 519626 0 0 0 110725 72 0 0 25 0 22 0 608977864 16133996544 235107 33554432000 1073741824 1073778376 140737224572688 18446744073709551615 46912506048121 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=6972/tid=6992] ppid=6970 vsize=15755856 CPUtime=1107.45 cores=1,3,5,7
/proc/6972/task/6992/stat : 6992 (java) R 6970 6972 6769 0 -1 4202560 508465 0 0 0 110678 67 0 0 25 0 22 0 608977864 16133996544 235107 33554432000 1073741824 1073778376 140737224572688 18446744073709551615 46912505989422 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=6972/tid=6993] ppid=6970 vsize=15755856 CPUtime=1107.79 cores=1,3,5,7
/proc/6972/task/6993/stat : 6993 (java) R 6970 6972 6769 0 -1 4202560 475020 0 0 0 110715 64 0 0 25 0 22 0 608977864 16133996544 235107 33554432000 1073741824 1073778376 140737224572688 18446744073709551615 46912506170850 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=6972/tid=6994] ppid=6970 vsize=15755856 CPUtime=1107.6 cores=1,3,5,7
/proc/6972/task/6994/stat : 6994 (java) R 6970 6972 6769 0 -1 4202560 511806 0 0 0 110687 73 0 0 25 0 22 0 608977864 16133996544 235107 33554432000 1073741824 1073778376 140737224572688 18446744073709551615 46912505963640 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4466.75
Current children cumulated vsize (KiB) 15755856

[startup+1182.3 s]
/proc/loadavg: 8.05 8.06 8.00 9/220 7025
/proc/meminfo: memFree=23041200/32950940 swapFree=67111364/67111528
[pid=6972] ppid=6970 vsize=15755856 CPUtime=4705.68 cores=1,3,5,7
/proc/6972/stat : 6972 (java) S 6970 6972 6769 0 -1 4202496 3385948 0 1 0 469967 601 0 0 25 0 22 0 608977820 16133996544 221401 33554432000 1073741824 1073778376 140737224572688 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/6972/statm: 3938964 221401 2298 9 0 3929683 0
[pid=6972/tid=6973] ppid=6970 vsize=15755856 CPUtime=0.93 cores=1,3,5,7
/proc/6972/task/6973/stat : 6973 (java) S 6970 6972 6769 0 -1 4202560 33127 0 1 0 89 4 0 0 25 0 22 0 608977821 16133996544 221401 33554432000 1073741824 1073778376 140737224572688 18446744073709551615 216000408473 0 4 0 16800975 18446604465568956736 0 0 -1 7 0 0 0
[pid=6972/tid=6975] ppid=6970 vsize=15755856 CPUtime=4.12 cores=1,3,5,7
/proc/6972/task/6975/stat : 6975 (java) S 6970 6972 6769 0 -1 4202560 156806 0 0 0 385 27 0 0 16 0 22 0 608977821 16133996544 221401 33554432000 1073741824 1073778376 140737224572688 18446744073709551615 216000408473 0 4 0 16800975 18446604465568956736 0 0 -1 7 0 0 0
[pid=6972/tid=6976] ppid=6970 vsize=15755856 CPUtime=3.88 cores=1,3,5,7
/proc/6972/task/6976/stat : 6976 (java) S 6970 6972 6769 0 -1 4202560 142329 0 0 0 365 23 0 0 15 0 22 0 608977821 16133996544 221401 33554432000 1073741824 1073778376 140737224572688 18446744073709551615 216000408473 0 4 0 16800975 18446604465568956736 0 0 -1 1 0 0 0
[pid=6972/tid=6977] ppid=6970 vsize=15755856 CPUtime=4.04 cores=1,3,5,7
/proc/6972/task/6977/stat : 6977 (java) S 6970 6972 6769 0 -1 4202560 143057 0 0 0 379 25 0 0 16 0 22 0 608977821 16133996544 221401 33554432000 1073741824 1073778376 140737224572688 18446744073709551615 216000408473 0 4 0 16800975 18446604465568956736 0 0 -1 1 0 0 0
[pid=6972/tid=6978] ppid=6970 vsize=15755856 CPUtime=4.02 cores=1,3,5,7
/proc/6972/task/6978/stat : 6978 (java) S 6970 6972 6769 0 -1 4202560 157427 0 0 0 372 30 0 0 16 0 22 0 608977821 16133996544 221401 33554432000 1073741824 1073778376 140737224572688 18446744073709551615 216000408473 0 4 0 16800975 18446604465568956736 0 0 -1 5 0 0 0
[pid=6972/tid=6979] ppid=6970 vsize=15755856 CPUtime=3.93 cores=1,3,5,7
/proc/6972/task/6979/stat : 6979 (java) S 6970 6972 6769 0 -1 4202560 160415 0 0 0 366 27 0 0 16 0 22 0 608977821 16133996544 221401 33554432000 1073741824 1073778376 140737224572688 18446744073709551615 216000408473 0 4 0 16800975 18446604465568956736 0 0 -1 3 0 0 0
[pid=6972/tid=6980] ppid=6970 vsize=15755856 CPUtime=4.06 cores=1,3,5,7
/proc/6972/task/6980/stat : 6980 (java) S 6970 6972 6769 0 -1 4202560 145143 0 0 0 380 26 0 0 15 0 22 0 608977821 16133996544 221401 33554432000 1073741824 1073778376 140737224572688 18446744073709551615 216000408473 0 4 0 16800975 18446604465568956736 0 0 -1 5 0 0 0
[pid=6972/tid=6981] ppid=6970 vsize=15755856 CPUtime=4.07 cores=1,3,5,7
/proc/6972/task/6981/stat : 6981 (java) S 6970 6972 6769 0 -1 4202560 138898 0 0 0 380 27 0 0 15 0 22 0 608977821 16133996544 221401 33554432000 1073741824 1073778376 140737224572688 18446744073709551615 216000408473 0 4 0 16800975 18446604465568956736 0 0 -1 5 0 0 0
[pid=6972/tid=6982] ppid=6970 vsize=15755856 CPUtime=3.91 cores=1,3,5,7
/proc/6972/task/6982/stat : 6982 (java) S 6970 6972 6769 0 -1 4202560 162564 0 0 0 362 29 0 0 15 0 22 0 608977821 16133996544 221401 33554432000 1073741824 1073778376 140737224572688 18446744073709551615 216000408473 0 4 0 16800975 18446604465568956736 0 0 -1 1 0 0 0
[pid=6972/tid=6983] ppid=6970 vsize=15755856 CPUtime=2.23 cores=1,3,5,7
/proc/6972/task/6983/stat : 6983 (java) S 6970 6972 6769 0 -1 4202560 8591 0 0 0 145 78 0 0 15 0 22 0 608977822 16133996544 221401 33554432000 1073741824 1073778376 140737224572688 18446744073709551615 216000409088 0 0 0 16800975 18446604465568956736 0 0 -1 3 0 0 0
[pid=6972/tid=6984] ppid=6970 vsize=15755856 CPUtime=0 cores=1,3,5,7
/proc/6972/task/6984/stat : 6984 (java) S 6970 6972 6769 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 608977823 16133996544 221401 33554432000 1073741824 1073778376 140737224572688 18446744073709551615 216000408473 0 4 0 16800975 18446604465568956736 0 0 -1 5 0 0 0
[pid=6972/tid=6985] ppid=6970 vsize=15755856 CPUtime=0 cores=1,3,5,7
/proc/6972/task/6985/stat : 6985 (java) S 6970 6972 6769 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 608977823 16133996544 221401 33554432000 1073741824 1073778376 140737224572688 18446744073709551615 216000408473 0 4 0 16800975 18446604465568956736 0 0 -1 5 0 0 0
[pid=6972/tid=6986] ppid=6970 vsize=15755856 CPUtime=0 cores=1,3,5,7
/proc/6972/task/6986/stat : 6986 (java) S 6970 6972 6769 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 608977825 16133996544 221401 33554432000 1073741824 1073778376 140737224572688 18446744073709551615 216000416177 0 4 0 16800975 18446604465568956736 0 0 -1 3 0 0 0
[pid=6972/tid=6987] ppid=6970 vsize=15755856 CPUtime=1.05 cores=1,3,5,7
/proc/6972/task/6987/stat : 6987 (java) S 6970 6972 6769 0 -1 4202560 6546 0 0 0 104 1 0 0 15 0 22 0 608977825 16133996544 221401 33554432000 1073741824 1073778376 140737224572688 18446744073709551615 216000408473 0 4 0 16800975 18446604465568956736 0 0 -1 3 0 0 0
[pid=6972/tid=6988] ppid=6970 vsize=15755856 CPUtime=1.21 cores=1,3,5,7
/proc/6972/task/6988/stat : 6988 (java) S 6970 6972 6769 0 -1 4202560 4823 0 0 0 121 0 0 0 15 0 22 0 608977825 16133996544 221401 33554432000 1073741824 1073778376 140737224572688 18446744073709551615 216000408473 0 4 0 16800975 18446604465568956736 0 0 -1 1 0 0 0
[pid=6972/tid=6989] ppid=6970 vsize=15755856 CPUtime=0 cores=1,3,5,7
/proc/6972/task/6989/stat : 6989 (java) S 6970 6972 6769 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 608977825 16133996544 221401 33554432000 1073741824 1073778376 140737224572688 18446744073709551615 216000408473 0 4 0 16800975 18446604465568956736 0 0 -1 5 0 0 0
[pid=6972/tid=6990] ppid=6970 vsize=15755856 CPUtime=0 cores=1,3,5,7
/proc/6972/task/6990/stat : 6990 (java) S 6970 6972 6769 0 -1 4202560 67 0 0 0 0 0 0 0 15 0 22 0 608977825 16133996544 221401 33554432000 1073741824 1073778376 140737224572688 18446744073709551615 216000409088 0 4 0 16800975 18446604465568956736 0 0 -1 3 0 0 0
[pid=6972/tid=6991] ppid=6970 vsize=15755856 CPUtime=1167.36 cores=1,3,5,7
/proc/6972/task/6991/stat : 6991 (java) R 6970 6972 6769 0 -1 4202560 548438 0 0 0 116660 76 0 0 25 0 22 0 608977864 16133996544 221401 33554432000 1073741824 1073778376 140737224572688 18446744073709551615 47584120103243 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=6972/tid=6992] ppid=6970 vsize=15755856 CPUtime=1166.84 cores=1,3,5,7
/proc/6972/task/6992/stat : 6992 (java) R 6970 6972 6769 0 -1 4202560 534889 0 0 0 116612 72 0 0 25 0 22 0 608977864 16133996544 221401 33554432000 1073741824 1073778376 140737224572688 18446744073709551615 46912506265395 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=6972/tid=6993] ppid=6970 vsize=15755856 CPUtime=1166.95 cores=1,3,5,7
/proc/6972/task/6993/stat : 6993 (java) R 6970 6972 6769 0 -1 4202560 500778 0 0 0 116627 68 0 0 25 0 22 0 608977864 16133996544 221401 33554432000 1073741824 1073778376 140737224572688 18446744073709551615 46912505523436 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=6972/tid=6994] ppid=6970 vsize=15755856 CPUtime=1166.9 cores=1,3,5,7
/proc/6972/task/6994/stat : 6994 (java) R 6970 6972 6769 0 -1 4202560 540666 0 0 0 116612 78 0 0 25 0 22 0 608977864 16133996544 221401 33554432000 1073741824 1073778376 140737224572688 18446744073709551615 46912505989402 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4705.68
Current children cumulated vsize (KiB) 15755856



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1206 s]
/proc/loadavg: 7.77 8.01 7.98 5/197 7029
/proc/meminfo: memFree=23793528/32950940 swapFree=67111364/67111528
[pid=6972] ppid=6970 vsize=15755856 CPUtime=4800.08 cores=1,3,5,7
/proc/6972/stat : 6972 (java) S 6970 6972 6769 0 -1 4202496 3470115 0 1 0 479392 616 0 0 25 0 22 0 608977820 16133996544 254021 33554432000 1073741824 1073778376 140737224572688 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/6972/statm: 3938964 254021 2298 9 0 3929683 0
[pid=6972/tid=6973] ppid=6970 vsize=15755856 CPUtime=0.93 cores=1,3,5,7
/proc/6972/task/6973/stat : 6973 (java) S 6970 6972 6769 0 -1 4202560 33127 0 1 0 89 4 0 0 25 0 22 0 608977821 16133996544 254021 33554432000 1073741824 1073778376 140737224572688 18446744073709551615 216000408473 0 4 0 16800975 18446604465568956736 0 0 -1 7 0 0 0
[pid=6972/tid=6975] ppid=6970 vsize=15755856 CPUtime=4.19 cores=1,3,5,7
/proc/6972/task/6975/stat : 6975 (java) S 6970 6972 6769 0 -1 4202560 165202 0 0 0 390 29 0 0 15 0 22 0 608977821 16133996544 254021 33554432000 1073741824 1073778376 140737224572688 18446744073709551615 216000408473 0 4 0 16800975 18446604465568956736 0 0 -1 5 0 0 0
[pid=6972/tid=6976] ppid=6970 vsize=15755856 CPUtime=3.97 cores=1,3,5,7
/proc/6972/task/6976/stat : 6976 (java) S 6970 6972 6769 0 -1 4202560 148923 0 0 0 373 24 0 0 15 0 22 0 608977821 16133996544 254021 33554432000 1073741824 1073778376 140737224572688 18446744073709551615 216000408473 0 4 0 16800975 18446604465568956736 0 0 -1 7 0 0 0
[pid=6972/tid=6977] ppid=6970 vsize=15755856 CPUtime=4.13 cores=1,3,5,7
/proc/6972/task/6977/stat : 6977 (java) S 6970 6972 6769 0 -1 4202560 152804 0 0 0 386 27 0 0 15 0 22 0 608977821 16133996544 254021 33554432000 1073741824 1073778376 140737224572688 18446744073709551615 216000408473 0 4 0 16800975 18446604465568956736 0 0 -1 3 0 0 0
[pid=6972/tid=6978] ppid=6970 vsize=15755856 CPUtime=4.11 cores=1,3,5,7
/proc/6972/task/6978/stat : 6978 (java) S 6970 6972 6769 0 -1 4202560 165444 0 0 0 380 31 0 0 16 0 22 0 608977821 16133996544 254021 33554432000 1073741824 1073778376 140737224572688 18446744073709551615 216000408473 0 4 0 16800975 18446604465568956736 0 0 -1 7 0 0 0
[pid=6972/tid=6979] ppid=6970 vsize=15755856 CPUtime=4.04 cores=1,3,5,7
/proc/6972/task/6979/stat : 6979 (java) S 6970 6972 6769 0 -1 4202560 169200 0 0 0 375 29 0 0 16 0 22 0 608977821 16133996544 254021 33554432000 1073741824 1073778376 140737224572688 18446744073709551615 216000408473 0 4 0 16800975 18446604465568956736 0 0 -1 1 0 0 0
[pid=6972/tid=6980] ppid=6970 vsize=15755856 CPUtime=4.14 cores=1,3,5,7
/proc/6972/task/6980/stat : 6980 (java) S 6970 6972 6769 0 -1 4202560 153185 0 0 0 387 27 0 0 15 0 22 0 608977821 16133996544 254021 33554432000 1073741824 1073778376 140737224572688 18446744073709551615 216000408473 0 4 0 16800975 18446604465568956736 0 0 -1 1 0 0 0
[pid=6972/tid=6981] ppid=6970 vsize=15755856 CPUtime=4.15 cores=1,3,5,7
/proc/6972/task/6981/stat : 6981 (java) S 6970 6972 6769 0 -1 4202560 146426 0 0 0 387 28 0 0 16 0 22 0 608977821 16133996544 254021 33554432000 1073741824 1073778376 140737224572688 18446744073709551615 216000408473 0 4 0 16800975 18446604465568956736 0 0 -1 5 0 0 0
[pid=6972/tid=6982] ppid=6970 vsize=15755856 CPUtime=3.99 cores=1,3,5,7
/proc/6972/task/6982/stat : 6982 (java) S 6970 6972 6769 0 -1 4202560 170560 0 0 0 369 30 0 0 16 0 22 0 608977821 16133996544 254021 33554432000 1073741824 1073778376 140737224572688 18446744073709551615 216000408473 0 4 0 16800975 18446604465568956736 0 0 -1 3 0 0 0
[pid=6972/tid=6983] ppid=6970 vsize=15755856 CPUtime=2.28 cores=1,3,5,7
/proc/6972/task/6983/stat : 6983 (java) S 6970 6972 6769 0 -1 4202560 8910 0 0 0 149 79 0 0 15 0 22 0 608977822 16133996544 254021 33554432000 1073741824 1073778376 140737224572688 18446744073709551615 216000409088 0 0 0 16800975 18446604465568956736 0 0 -1 3 0 0 0
[pid=6972/tid=6984] ppid=6970 vsize=15755856 CPUtime=0 cores=1,3,5,7
/proc/6972/task/6984/stat : 6984 (java) S 6970 6972 6769 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 608977823 16133996544 254021 33554432000 1073741824 1073778376 140737224572688 18446744073709551615 216000408473 0 4 0 16800975 18446604465568956736 0 0 -1 5 0 0 0
[pid=6972/tid=6985] ppid=6970 vsize=15755856 CPUtime=0 cores=1,3,5,7
/proc/6972/task/6985/stat : 6985 (java) S 6970 6972 6769 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 608977823 16133996544 254021 33554432000 1073741824 1073778376 140737224572688 18446744073709551615 216000408473 0 4 0 16800975 18446604465568956736 0 0 -1 5 0 0 0
[pid=6972/tid=6986] ppid=6970 vsize=15755856 CPUtime=0 cores=1,3,5,7
/proc/6972/task/6986/stat : 6986 (java) S 6970 6972 6769 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 608977825 16133996544 254021 33554432000 1073741824 1073778376 140737224572688 18446744073709551615 216000416177 0 4 0 16800975 18446604465568956736 0 0 -1 3 0 0 0
[pid=6972/tid=6987] ppid=6970 vsize=15755856 CPUtime=1.05 cores=1,3,5,7
/proc/6972/task/6987/stat : 6987 (java) S 6970 6972 6769 0 -1 4202560 6546 0 0 0 104 1 0 0 15 0 22 0 608977825 16133996544 254021 33554432000 1073741824 1073778376 140737224572688 18446744073709551615 216000408473 0 4 0 16800975 18446604465568956736 0 0 -1 3 0 0 0
[pid=6972/tid=6988] ppid=6970 vsize=15755856 CPUtime=1.21 cores=1,3,5,7
/proc/6972/task/6988/stat : 6988 (java) S 6970 6972 6769 0 -1 4202560 4823 0 0 0 121 0 0 0 15 0 22 0 608977825 16133996544 254021 33554432000 1073741824 1073778376 140737224572688 18446744073709551615 216000408473 0 4 0 16800975 18446604465568956736 0 0 -1 1 0 0 0
[pid=6972/tid=6989] ppid=6970 vsize=15755856 CPUtime=0 cores=1,3,5,7
/proc/6972/task/6989/stat : 6989 (java) S 6970 6972 6769 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 608977825 16133996544 254021 33554432000 1073741824 1073778376 140737224572688 18446744073709551615 216000408473 0 4 0 16800975 18446604465568956736 0 0 -1 5 0 0 0
[pid=6972/tid=6990] ppid=6970 vsize=15755856 CPUtime=0 cores=1,3,5,7
/proc/6972/task/6990/stat : 6990 (java) S 6970 6972 6769 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 22 0 608977825 16133996544 254021 33554432000 1073741824 1073778376 140737224572688 18446744073709551615 216000409088 0 4 0 16800975 18446604465568956736 0 0 -1 3 0 0 0
[pid=6972/tid=6991] ppid=6970 vsize=15755856 CPUtime=1190.81 cores=1,3,5,7
/proc/6972/task/6991/stat : 6991 (java) R 6970 6972 6769 0 -1 4202560 553638 0 0 0 119004 77 0 0 25 0 22 0 608977864 16133996544 254021 33554432000 1073741824 1073778376 140737224572688 18446744073709551615 46912506048008 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=6972/tid=6992] ppid=6970 vsize=15755856 CPUtime=1190.3 cores=1,3,5,7
/proc/6972/task/6992/stat : 6992 (java) R 6970 6972 6769 0 -1 4202560 539402 0 0 0 118957 73 0 0 25 0 22 0 608977864 16133996544 254021 33554432000 1073741824 1073778376 140737224572688 18446744073709551615 46912505963674 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=6972/tid=6993] ppid=6970 vsize=15755856 CPUtime=1190.37 cores=1,3,5,7
/proc/6972/task/6993/stat : 6993 (java) R 6970 6972 6769 0 -1 4202560 504371 0 0 0 118968 69 0 0 25 0 22 0 608977864 16133996544 254021 33554432000 1073741824 1073778376 140737224572688 18446744073709551615 46912505988627 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=6972/tid=6994] ppid=6970 vsize=15755856 CPUtime=1190.24 cores=1,3,5,7
/proc/6972/task/6994/stat : 6994 (java) R 6970 6972 6769 0 -1 4202560 546101 0 0 0 118945 79 0 0 25 0 22 0 608977864 16133996544 254021 33554432000 1073741824 1073778376 140737224572688 18446744073709551615 46912506046895 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.08
Current children cumulated vsize (KiB) 15755856

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.06
CPU time (s): 4800.16
CPU user time (s): 4793.95
CPU system time (s): 6.21106
CPU usage (%): 398.003
Max. virtual memory (cumulated for all children) (KiB): 15755856

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4793.95
system time used= 6.21105
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3470142
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= 128244
involuntary context switches= 97099

runsolver used 1.83672 second user time and 4.79627 second system time

The end

Launcher Data 

Begin job on node117 at 2011-04-30 20:17:50
IDJOB=3313074
IDBENCH=85793
IDSOLVER=1699
FILE ID=node117/3313074-1304187470
RUNJOBID= node117-1304186262-6788
PBS_JOBID= 13172490
Free space on /tmp= 72628 MiB

SOLVER NAME= STRUCTure 0.1
BENCH NAME= SAT05/crafted/sorge05/QG7a/gensys-ukn009.shuffled-as.sat05-3849.cnf
COMMAND LINE= run 15000 NBCORE TMPDIR DIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3313074-1304187470/watcher-3313074-1304187470 -o /tmp/evaluation-result-3313074-1304187470/solver-3313074-1304187470 -C 4800 -W 1300 -M 15500  run 15000 4 HOME HOME HOME/instance-3313074-1304187470.cnf

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

MD5SUM BENCH= f2a1eb7937a7cda114ce344a30ca1145
RANDOM SEED=215917082

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

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

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


/proc/meminfo:
MemTotal:     32950940 kB
MemFree:      24587828 kB
Buffers:       1898748 kB
Cached:        5616196 kB
SwapCached:        160 kB
Active:        1290056 kB
Inactive:      6509812 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950940 kB
LowFree:      24587828 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:            4736 kB
Writeback:           0 kB
AnonPages:      284168 kB
Mapped:          23388 kB
Slab:           500448 kB
PageTables:       5240 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586996 kB
Committed_AS:   966116 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= 72628 MiB
End job on node117 at 2011-04-30 20:37:59