Trace number 3313416

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.45 1211.1

General information on the benchmark

Nameapplication/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k50-pdtpmsns2-tseitin.cnf
MD5SUM9059f458d76edcc4dc5681746a6de6e5
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark265.638
Satisfiable
(Un)Satisfiability was proved
Number of variables88352
Number of clauses262658
Sum of the clauses size612866
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2175104
Number of clauses of size 387552
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.10/0.12	30:50 INFO : Reading from input HOME/instance-3313416-1304109049.cnf
1.34/1.14	Executor set job limit to 1000000
1.34/1.14	Executor set job limit to 1000000
1.34/1.14	Executor set job limit to 1000000
1.34/1.14	Executor set job limit to 1000000
1.34/1.14	Starting Executor!
1.34/1.14	Starting Executor!
1.34/1.14	Starting Executor!
1.34/1.14	Starting Executor!
7.10/4.95	30:54 INFO : 85754 variables remaining out of 88352
7.10/4.95	30:54 INFO : 4333926 literals remaining out of 875524
797.24/208.55	log4j:WARN No appenders could be found for logger (ibis.constellation.impl.SingleThreadedConstellation.CID: 0:2).
797.24/208.55	log4j:WARN Please initialize the log4j system properly.
797.24/208.55	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-3313416-1304109049/watcher-3313416-1304109049 -o /tmp/evaluation-result-3313416-1304109049/solver-3313416-1304109049 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3313416-1304109049.cnf 

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

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


[startup+0 s]
/proc/loadavg: 3.98 4.89 5.69 2/174 30509
/proc/meminfo: memFree=25028872/32951124 swapFree=67111524/67111528
[pid=30509] ppid=30507 vsize=23028 CPUtime=0 cores=0,2,4,6
/proc/30509/stat : 30509 (java) R 30507 30509 30477 0 -1 4202496 1173 0 0 0 0 0 0 0 17 0 1 0 503320802 23580672 659 33554432000 1073741824 1073778376 140737211196560 18446744073709551615 233505335061 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/30509/statm: 5757 671 497 9 0 124 0

[startup+0.0832031 s]
/proc/loadavg: 3.98 4.89 5.69 2/174 30509
/proc/meminfo: memFree=25028872/32951124 swapFree=67111524/67111528
[pid=30509] ppid=30507 vsize=15676676 CPUtime=0.07 cores=0,2,4,6
/proc/30509/stat : 30509 (java) S 30507 30509 30477 0 -1 4202496 5130 0 1 0 6 1 0 0 17 0 18 0 503320802 16052916224 4551 33554432000 1073741824 1073778376 140737211196560 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/30509/statm: 3919169 4559 2053 9 0 3909888 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 15676676

[startup+0.107214 s]
/proc/loadavg: 3.98 4.89 5.69 2/174 30509
/proc/meminfo: memFree=25028872/32951124 swapFree=67111524/67111528
[pid=30509] ppid=30507 vsize=15676784 CPUtime=0.1 cores=0,2,4,6
/proc/30509/stat : 30509 (java) S 30507 30509 30477 0 -1 4202496 5538 0 1 0 9 1 0 0 17 0 18 0 503320802 16053026816 4959 33554432000 1073741824 1073778376 140737211196560 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/30509/statm: 3919196 4961 2116 9 0 3909915 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15676784

[startup+0.30115 s]
/proc/loadavg: 3.98 4.89 5.69 2/174 30509
/proc/meminfo: memFree=25028872/32951124 swapFree=67111524/67111528
[pid=30509] ppid=30507 vsize=15680244 CPUtime=0.51 cores=0,2,4,6
/proc/30509/stat : 30509 (java) S 30507 30509 30477 0 -1 4202496 13600 0 1 0 48 3 0 0 17 0 18 0 503320802 16056569856 12078 33554432000 1073741824 1073778376 140737211196560 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/30509/statm: 3920061 12082 2205 9 0 3910780 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 15680244

[startup+0.701107 s]
/proc/loadavg: 3.98 4.89 5.69 2/174 30509
/proc/meminfo: memFree=25028872/32951124 swapFree=67111524/67111528
[pid=30509] ppid=30507 vsize=15680096 CPUtime=0.92 cores=0,2,4,6
/proc/30509/stat : 30509 (java) S 30507 30509 30477 0 -1 4202496 41935 0 1 0 86 6 0 0 17 0 18 0 503320802 16056418304 40373 33554432000 1073741824 1073778376 140737211196560 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/30509/statm: 3920024 40373 2222 9 0 3910743 0
Current children cumulated CPU time (s) 0.92
Current children cumulated vsize (KiB) 15680096

[startup+1.5009 s]
/proc/loadavg: 3.98 4.89 5.69 3/212 30550
/proc/meminfo: memFree=24714424/32951124 swapFree=67111524/67111528
[pid=30509] ppid=30507 vsize=15700388 CPUtime=2.05 cores=0,2,4,6
/proc/30509/stat : 30509 (java) S 30507 30509 30477 0 -1 4202496 51442 0 1 0 198 7 0 0 17 0 22 0 503320802 16077197312 48242 33554432000 1073741824 1073778376 140737211196560 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/30509/statm: 3925097 48242 2263 9 0 3915816 0
[pid=30509/tid=30511] ppid=30507 vsize=15700388 CPUtime=1.45 cores=0,2,4,6
/proc/30509/task/30511/stat : 30511 (java) R 30507 30509 30477 0 -1 4202560 35600 0 1 0 140 5 0 0 21 0 22 0 503320803 16077197312 48242 33554432000 1073741824 1073778376 140737211196560 18446744073709551615 47070873215146 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30509/tid=30512] ppid=30507 vsize=15700388 CPUtime=0 cores=0,2,4,6
/proc/30509/task/30512/stat : 30512 (java) S 30507 30509 30477 0 -1 4202560 2686 0 0 0 0 0 0 0 15 0 22 0 503320803 16077197312 48242 33554432000 1073741824 1073778376 140737211196560 18446744073709551615 233522113433 0 4 0 16800975 18446604453935775936 0 0 -1 0 0 0 0
[pid=30509/tid=30513] ppid=30507 vsize=15700388 CPUtime=0 cores=0,2,4,6
/proc/30509/task/30513/stat : 30513 (java) S 30507 30509 30477 0 -1 4202560 109 0 0 0 0 0 0 0 15 0 22 0 503320803 16077197312 48242 33554432000 1073741824 1073778376 140737211196560 18446744073709551615 233522113433 0 4 0 16800975 18446604453935775936 0 0 -1 6 0 0 0
[pid=30509/tid=30514] ppid=30507 vsize=15700388 CPUtime=0 cores=0,2,4,6
/proc/30509/task/30514/stat : 30514 (java) S 30507 30509 30477 0 -1 4202560 372 0 0 0 0 0 0 0 15 0 22 0 503320803 16077197312 48242 33554432000 1073741824 1073778376 140737211196560 18446744073709551615 233522113433 0 4 0 16800975 18446604453935775936 0 0 -1 2 0 0 0
[pid=30509/tid=30515] ppid=30507 vsize=15700388 CPUtime=0 cores=0,2,4,6
/proc/30509/task/30515/stat : 30515 (java) S 30507 30509 30477 0 -1 4202560 23 0 0 0 0 0 0 0 15 0 22 0 503320803 16077197312 48242 33554432000 1073741824 1073778376 140737211196560 18446744073709551615 233522113433 0 4 0 16800975 18446604453935775936 0 0 -1 0 0 0 0
[pid=30509/tid=30516] ppid=30507 vsize=15700388 CPUtime=0 cores=0,2,4,6
/proc/30509/task/30516/stat : 30516 (java) S 30507 30509 30477 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 22 0 503320803 16077197312 48242 33554432000 1073741824 1073778376 140737211196560 18446744073709551615 233522113433 0 4 0 16800975 18446604453935775936 0 0 -1 2 0 0 0
[pid=30509/tid=30517] ppid=30507 vsize=15700388 CPUtime=0 cores=0,2,4,6
/proc/30509/task/30517/stat : 30517 (java) S 30507 30509 30477 0 -1 4202560 1447 0 0 0 0 0 0 0 16 0 22 0 503320803 16077197312 48242 33554432000 1073741824 1073778376 140737211196560 18446744073709551615 233522113433 0 4 0 16800975 18446604453935775936 0 0 -1 4 0 0 0
[pid=30509/tid=30518] ppid=30507 vsize=15700388 CPUtime=0 cores=0,2,4,6
/proc/30509/task/30518/stat : 30518 (java) S 30507 30509 30477 0 -1 4202560 30 0 0 0 0 0 0 0 15 0 22 0 503320803 16077197312 48242 33554432000 1073741824 1073778376 140737211196560 18446744073709551615 233522113433 0 4 0 16800975 18446604453935775936 0 0 -1 0 0 0 0
[pid=30509/tid=30519] ppid=30507 vsize=15700388 CPUtime=0 cores=0,2,4,6
/proc/30509/task/30519/stat : 30519 (java) S 30507 30509 30477 0 -1 4202560 292 0 0 0 0 0 0 0 16 0 22 0 503320803 16077197312 48242 33554432000 1073741824 1073778376 140737211196560 18446744073709551615 233522113433 0 4 0 16800975 18446604453935775936 0 0 -1 6 0 0 0
[pid=30509/tid=30520] ppid=30507 vsize=15700388 CPUtime=0 cores=0,2,4,6
/proc/30509/task/30520/stat : 30520 (java) S 30507 30509 30477 0 -1 4202560 71 0 0 0 0 0 0 0 15 0 22 0 503320804 16077197312 48242 33554432000 1073741824 1073778376 140737211196560 18446744073709551615 233522114048 0 0 0 16800975 18446604453935775936 0 0 -1 2 0 0 0
[pid=30509/tid=30521] ppid=30507 vsize=15700388 CPUtime=0 cores=0,2,4,6
/proc/30509/task/30521/stat : 30521 (java) S 30507 30509 30477 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 503320805 16077197312 48242 33554432000 1073741824 1073778376 140737211196560 18446744073709551615 233522113433 0 4 0 16800975 18446604453935775936 0 0 -1 6 0 0 0
[pid=30509/tid=30522] ppid=30507 vsize=15700388 CPUtime=0 cores=0,2,4,6
/proc/30509/task/30522/stat : 30522 (java) S 30507 30509 30477 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 22 0 503320805 16077197312 48242 33554432000 1073741824 1073778376 140737211196560 18446744073709551615 233522113433 0 4 0 16800975 18446604453935775936 0 0 -1 4 0 0 0
[pid=30509/tid=30523] ppid=30507 vsize=15700388 CPUtime=0 cores=0,2,4,6
/proc/30509/task/30523/stat : 30523 (java) S 30507 30509 30477 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 503320807 16077197312 48242 33554432000 1073741824 1073778376 140737211196560 18446744073709551615 233522121137 0 4 0 16800975 18446604453935775936 0 0 -1 6 0 0 0
[pid=30509/tid=30524] ppid=30507 vsize=15700388 CPUtime=0.36 cores=0,2,4,6
/proc/30509/task/30524/stat : 30524 (java) R 30507 30509 30477 0 -1 4202560 6778 0 0 0 36 0 0 0 17 0 22 0 503320807 16077197312 48242 33554432000 1073741824 1073778376 140737211196560 18446744073709551615 47070876170616 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=30509/tid=30525] ppid=30507 vsize=15700388 CPUtime=0.18 cores=0,2,4,6
/proc/30509/task/30525/stat : 30525 (java) S 30507 30509 30477 0 -1 4202560 2602 0 0 0 18 0 0 0 15 0 22 0 503320807 16077197312 48242 33554432000 1073741824 1073778376 140737211196560 18446744073709551615 233522113433 0 4 0 16800975 18446604453935775936 0 0 -1 2 0 0 0
[pid=30509/tid=30526] ppid=30507 vsize=15700388 CPUtime=0 cores=0,2,4,6
/proc/30509/task/30526/stat : 30526 (java) S 30507 30509 30477 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 22 0 503320807 16077197312 48242 33554432000 1073741824 1073778376 140737211196560 18446744073709551615 233522113433 0 4 0 16800975 18446604453935775936 0 0 -1 6 0 0 0
[pid=30509/tid=30527] ppid=30507 vsize=15700388 CPUtime=0 cores=0,2,4,6
/proc/30509/task/30527/stat : 30527 (java) S 30507 30509 30477 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 503320807 16077197312 48242 33554432000 1073741824 1073778376 140737211196560 18446744073709551615 233522114048 0 4 0 16800975 18446604453935775936 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.05
Current children cumulated vsize (KiB) 15700388

[startup+3.10606 s]
/proc/loadavg: 3.98 4.89 5.69 3/220 30559
/proc/meminfo: memFree=24530096/32951124 swapFree=67111524/67111528
[pid=30509] ppid=30507 vsize=15716300 CPUtime=4.72 cores=0,2,4,6
/proc/30509/stat : 30509 (java) S 30507 30509 30477 0 -1 4202496 62593 0 1 0 463 9 0 0 17 0 22 0 503320802 16093491200 52532 33554432000 1073741824 1073778376 140737211196560 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/30509/statm: 3929075 52532 2264 9 0 3919794 0
[pid=30509/tid=30511] ppid=30507 vsize=15716300 CPUtime=3.05 cores=0,2,4,6
/proc/30509/task/30511/stat : 30511 (java) R 30507 30509 30477 0 -1 4202560 35616 0 1 0 300 5 0 0 25 0 22 0 503320803 16093491200 52532 33554432000 1073741824 1073778376 140737211196560 18446744073709551615 46912506106030 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30509/tid=30512] ppid=30507 vsize=15716300 CPUtime=0 cores=0,2,4,6
/proc/30509/task/30512/stat : 30512 (java) S 30507 30509 30477 0 -1 4202560 2686 0 0 0 0 0 0 0 15 0 22 0 503320803 16093491200 52532 33554432000 1073741824 1073778376 140737211196560 18446744073709551615 233522113433 0 4 0 16800975 18446604453935775936 0 0 -1 0 0 0 0
[pid=30509/tid=30513] ppid=30507 vsize=15716300 CPUtime=0 cores=0,2,4,6
/proc/30509/task/30513/stat : 30513 (java) S 30507 30509 30477 0 -1 4202560 109 0 0 0 0 0 0 0 15 0 22 0 503320803 16093491200 52532 33554432000 1073741824 1073778376 140737211196560 18446744073709551615 233522113433 0 4 0 16800975 18446604453935775936 0 0 -1 6 0 0 0
[pid=30509/tid=30514] ppid=30507 vsize=15716300 CPUtime=0 cores=0,2,4,6
/proc/30509/task/30514/stat : 30514 (java) S 30507 30509 30477 0 -1 4202560 372 0 0 0 0 0 0 0 15 0 22 0 503320803 16093491200 52532 33554432000 1073741824 1073778376 140737211196560 18446744073709551615 233522113433 0 4 0 16800975 18446604453935775936 0 0 -1 2 0 0 0
[pid=30509/tid=30515] ppid=30507 vsize=15716300 CPUtime=0 cores=0,2,4,6
/proc/30509/task/30515/stat : 30515 (java) S 30507 30509 30477 0 -1 4202560 23 0 0 0 0 0 0 0 15 0 22 0 503320803 16093491200 52532 33554432000 1073741824 1073778376 140737211196560 18446744073709551615 233522113433 0 4 0 16800975 18446604453935775936 0 0 -1 0 0 0 0
[pid=30509/tid=30516] ppid=30507 vsize=15716300 CPUtime=0 cores=0,2,4,6
/proc/30509/task/30516/stat : 30516 (java) S 30507 30509 30477 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 22 0 503320803 16093491200 52532 33554432000 1073741824 1073778376 140737211196560 18446744073709551615 233522113433 0 4 0 16800975 18446604453935775936 0 0 -1 2 0 0 0
[pid=30509/tid=30517] ppid=30507 vsize=15716300 CPUtime=0 cores=0,2,4,6
/proc/30509/task/30517/stat : 30517 (java) S 30507 30509 30477 0 -1 4202560 1447 0 0 0 0 0 0 0 16 0 22 0 503320803 16093491200 52532 33554432000 1073741824 1073778376 140737211196560 18446744073709551615 233522113433 0 4 0 16800975 18446604453935775936 0 0 -1 4 0 0 0
[pid=30509/tid=30518] ppid=30507 vsize=15716300 CPUtime=0 cores=0,2,4,6
/proc/30509/task/30518/stat : 30518 (java) S 30507 30509 30477 0 -1 4202560 30 0 0 0 0 0 0 0 15 0 22 0 503320803 16093491200 52532 33554432000 1073741824 1073778376 140737211196560 18446744073709551615 233522113433 0 4 0 16800975 18446604453935775936 0 0 -1 0 0 0 0
[pid=30509/tid=30519] ppid=30507 vsize=15716300 CPUtime=0 cores=0,2,4,6
/proc/30509/task/30519/stat : 30519 (java) S 30507 30509 30477 0 -1 4202560 292 0 0 0 0 0 0 0 16 0 22 0 503320803 16093491200 52532 33554432000 1073741824 1073778376 140737211196560 18446744073709551615 233522113433 0 4 0 16800975 18446604453935775936 0 0 -1 6 0 0 0
[pid=30509/tid=30520] ppid=30507 vsize=15716300 CPUtime=0 cores=0,2,4,6
/proc/30509/task/30520/stat : 30520 (java) S 30507 30509 30477 0 -1 4202560 71 0 0 0 0 0 0 0 15 0 22 0 503320804 16093491200 52532 33554432000 1073741824 1073778376 140737211196560 18446744073709551615 233522114048 0 0 0 16800975 18446604453935775936 0 0 -1 6 0 0 0
[pid=30509/tid=30521] ppid=30507 vsize=15716300 CPUtime=0 cores=0,2,4,6
/proc/30509/task/30521/stat : 30521 (java) S 30507 30509 30477 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 503320805 16093491200 52532 33554432000 1073741824 1073778376 140737211196560 18446744073709551615 233522113433 0 4 0 16800975 18446604453935775936 0 0 -1 6 0 0 0
[pid=30509/tid=30522] ppid=30507 vsize=15716300 CPUtime=0 cores=0,2,4,6
/proc/30509/task/30522/stat : 30522 (java) S 30507 30509 30477 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 22 0 503320805 16093491200 52532 33554432000 1073741824 1073778376 140737211196560 18446744073709551615 233522113433 0 4 0 16800975 18446604453935775936 0 0 -1 4 0 0 0
[pid=30509/tid=30523] ppid=30507 vsize=15716300 CPUtime=0 cores=0,2,4,6
/proc/30509/task/30523/stat : 30523 (java) S 30507 30509 30477 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 503320807 16093491200 52532 33554432000 1073741824 1073778376 140737211196560 18446744073709551615 233522121137 0 4 0 16800975 18446604453935775936 0 0 -1 6 0 0 0
[pid=30509/tid=30524] ppid=30507 vsize=15716300 CPUtime=1.11 cores=0,2,4,6
/proc/30509/task/30524/stat : 30524 (java) S 30507 30509 30477 0 -1 4202560 15586 0 0 0 110 1 0 0 15 0 22 0 503320807 16093491200 52532 33554432000 1073741824 1073778376 140737211196560 18446744073709551615 233522113433 0 4 0 16800975 18446604453935775936 0 0 -1 6 0 0 0
[pid=30509/tid=30525] ppid=30507 vsize=15716300 CPUtime=0.49 cores=0,2,4,6
/proc/30509/task/30525/stat : 30525 (java) S 30507 30509 30477 0 -1 4202560 4929 0 0 0 49 0 0 0 15 0 22 0 503320807 16093491200 52532 33554432000 1073741824 1073778376 140737211196560 18446744073709551615 233522113433 0 4 0 16800975 18446604453935775936 0 0 -1 2 0 0 0
[pid=30509/tid=30526] ppid=30507 vsize=15716300 CPUtime=0 cores=0,2,4,6
/proc/30509/task/30526/stat : 30526 (java) S 30507 30509 30477 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 22 0 503320807 16093491200 52532 33554432000 1073741824 1073778376 140737211196560 18446744073709551615 233522113433 0 4 0 16800975 18446604453935775936 0 0 -1 6 0 0 0
[pid=30509/tid=30527] ppid=30507 vsize=15716300 CPUtime=0 cores=0,2,4,6
/proc/30509/task/30527/stat : 30527 (java) S 30507 30509 30477 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 503320807 16093491200 52532 33554432000 1073741824 1073778376 140737211196560 18446744073709551615 233522114048 0 4 0 16800975 18446604453935775936 0 0 -1 4 0 0 0
[pid=30509/tid=30551] ppid=30507 vsize=15716300 CPUtime=0 cores=0,2,4,6
/proc/30509/task/30551/stat : 30551 (java) S 30507 30509 30477 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 22 0 503320916 16093491200 52532 33554432000 1073741824 1073778376 140737211196560 18446744073709551615 233522114048 0 4 0 16800975 18446604453935775936 0 0 -1 4 0 0 0
[pid=30509/tid=30552] ppid=30507 vsize=15716300 CPUtime=0 cores=0,2,4,6
/proc/30509/task/30552/stat : 30552 (java) S 30507 30509 30477 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 22 0 503320916 16093491200 52532 33554432000 1073741824 1073778376 140737211196560 18446744073709551615 233522114048 0 4 0 16800975 18446604453935775936 0 0 -1 4 0 0 0
[pid=30509/tid=30553] ppid=30507 vsize=15716300 CPUtime=0 cores=0,2,4,6
/proc/30509/task/30553/stat : 30553 (java) S 30507 30509 30477 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 22 0 503320916 16093491200 52532 33554432000 1073741824 1073778376 140737211196560 18446744073709551615 233522114048 0 4 0 16800975 18446604453935775936 0 0 -1 4 0 0 0
[pid=30509/tid=30554] ppid=30507 vsize=15716300 CPUtime=0 cores=0,2,4,6
/proc/30509/task/30554/stat : 30554 (java) S 30507 30509 30477 0 -1 4202560 14 0 0 0 0 0 0 0 15 0 22 0 503320916 16093491200 52532 33554432000 1073741824 1073778376 140737211196560 18446744073709551615 233522114048 0 4 0 16800975 18446604453935775936 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.72
Current children cumulated vsize (KiB) 15716300

[startup+6.30112 s]
/proc/loadavg: 3.90 4.86 5.67 4/220 30559
/proc/meminfo: memFree=24159580/32951124 swapFree=67111524/67111528
[pid=30509] ppid=30507 vsize=15716300 CPUtime=9.91 cores=0,2,4,6
/proc/30509/stat : 30509 (java) S 30507 30509 30477 0 -1 4202496 171396 0 1 0 962 29 0 0 17 0 22 0 503320802 16093491200 160245 33554432000 1073741824 1073778376 140737211196560 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/30509/statm: 3929075 160245 2286 9 0 3919794 0
[pid=30509/tid=30511] ppid=30507 vsize=15716300 CPUtime=4.87 cores=0,2,4,6
/proc/30509/task/30511/stat : 30511 (java) S 30507 30509 30477 0 -1 4202560 35659 0 1 0 482 5 0 0 25 0 22 0 503320803 16093491200 160245 33554432000 1073741824 1073778376 140737211196560 18446744073709551615 233522113433 0 4 0 16800975 18446604453935775936 0 0 -1 0 0 0 0
[pid=30509/tid=30512] ppid=30507 vsize=15716300 CPUtime=0.06 cores=0,2,4,6
/proc/30509/task/30512/stat : 30512 (java) S 30507 30509 30477 0 -1 4202560 13085 0 0 0 4 2 0 0 16 0 22 0 503320803 16093491200 160245 33554432000 1073741824 1073778376 140737211196560 18446744073709551615 233522113433 0 4 0 16800975 18446604453935775936 0 0 -1 4 0 0 0
[pid=30509/tid=30513] ppid=30507 vsize=15716300 CPUtime=0.11 cores=0,2,4,6
/proc/30509/task/30513/stat : 30513 (java) S 30507 30509 30477 0 -1 4202560 18749 0 0 0 8 3 0 0 16 0 22 0 503320803 16093491200 160245 33554432000 1073741824 1073778376 140737211196560 18446744073709551615 233522113433 0 4 0 16800975 18446604453935775936 0 0 -1 6 0 0 0
[pid=30509/tid=30514] ppid=30507 vsize=15716300 CPUtime=0.04 cores=0,2,4,6
/proc/30509/task/30514/stat : 30514 (java) S 30507 30509 30477 0 -1 4202560 9738 0 0 0 3 1 0 0 15 0 22 0 503320803 16093491200 160245 33554432000 1073741824 1073778376 140737211196560 18446744073709551615 233522113433 0 4 0 16800975 18446604453935775936 0 0 -1 2 0 0 0
[pid=30509/tid=30515] ppid=30507 vsize=15716300 CPUtime=0 cores=0,2,4,6
/proc/30509/task/30515/stat : 30515 (java) S 30507 30509 30477 0 -1 4202560 57 0 0 0 0 0 0 0 15 0 22 0 503320803 16093491200 160245 33554432000 1073741824 1073778376 140737211196560 18446744073709551615 233522113433 0 4 0 16800975 18446604453935775936 0 0 -1 0 0 0 0
[pid=30509/tid=30516] ppid=30507 vsize=15716300 CPUtime=0.09 cores=0,2,4,6
/proc/30509/task/30516/stat : 30516 (java) S 30507 30509 30477 0 -1 4202560 13683 0 0 0 7 2 0 0 16 0 22 0 503320803 16093491200 160245 33554432000 1073741824 1073778376 140737211196560 18446744073709551615 233522113433 0 4 0 16800975 18446604453935775936 0 0 -1 4 0 0 0
[pid=30509/tid=30517] ppid=30507 vsize=15716300 CPUtime=0.08 cores=0,2,4,6
/proc/30509/task/30517/stat : 30517 (java) S 30507 30509 30477 0 -1 4202560 19374 0 0 0 5 3 0 0 15 0 22 0 503320803 16093491200 160245 33554432000 1073741824 1073778376 140737211196560 18446744073709551615 233522113433 0 4 0 16800975 18446604453935775936 0 0 -1 2 0 0 0
[pid=30509/tid=30518] ppid=30507 vsize=15716300 CPUtime=0.09 cores=0,2,4,6
/proc/30509/task/30518/stat : 30518 (java) S 30507 30509 30477 0 -1 4202560 11939 0 0 0 7 2 0 0 16 0 22 0 503320803 16093491200 160245 33554432000 1073741824 1073778376 140737211196560 18446744073709551615 233522113433 0 4 0 16800975 18446604453935775936 0 0 -1 0 0 0 0
[pid=30509/tid=30519] ppid=30507 vsize=15716300 CPUtime=0.05 cores=0,2,4,6
/proc/30509/task/30519/stat : 30519 (java) S 30507 30509 30477 0 -1 4202560 6202 0 0 0 4 1 0 0 15 0 22 0 503320803 16093491200 160245 33554432000 1073741824 1073778376 140737211196560 18446744073709551615 233522113433 0 4 0 16800975 18446604453935775936 0 0 -1 6 0 0 0
[pid=30509/tid=30520] ppid=30507 vsize=15716300 CPUtime=0 cores=0,2,4,6
/proc/30509/task/30520/stat : 30520 (java) S 30507 30509 30477 0 -1 4202560 300 0 0 0 0 0 0 0 15 0 22 0 503320804 16093491200 160245 33554432000 1073741824 1073778376 140737211196560 18446744073709551615 233522114048 0 0 0 16800975 18446604453935775936 0 0 -1 4 0 0 0
[pid=30509/tid=30521] ppid=30507 vsize=15716300 CPUtime=0 cores=0,2,4,6
/proc/30509/task/30521/stat : 30521 (java) S 30507 30509 30477 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 503320805 16093491200 160245 33554432000 1073741824 1073778376 140737211196560 18446744073709551615 233522113433 0 4 0 16800975 18446604453935775936 0 0 -1 6 0 0 0
[pid=30509/tid=30522] ppid=30507 vsize=15716300 CPUtime=0 cores=0,2,4,6
/proc/30509/task/30522/stat : 30522 (java) S 30507 30509 30477 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 22 0 503320805 16093491200 160245 33554432000 1073741824 1073778376 140737211196560 18446744073709551615 233522113433 0 4 0 16800975 18446604453935775936 0 0 -1 4 0 0 0
[pid=30509/tid=30523] ppid=30507 vsize=15716300 CPUtime=0 cores=0,2,4,6
/proc/30509/task/30523/stat : 30523 (java) S 30507 30509 30477 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 503320807 16093491200 160245 33554432000 1073741824 1073778376 140737211196560 18446744073709551615 233522121137 0 4 0 16800975 18446604453935775936 0 0 -1 6 0 0 0
[pid=30509/tid=30524] ppid=30507 vsize=15716300 CPUtime=1.42 cores=0,2,4,6
/proc/30509/task/30524/stat : 30524 (java) S 30507 30509 30477 0 -1 4202560 15645 0 0 0 141 1 0 0 15 0 22 0 503320807 16093491200 160245 33554432000 1073741824 1073778376 140737211196560 18446744073709551615 233522113433 0 4 0 16800975 18446604453935775936 0 0 -1 2 0 0 0
[pid=30509/tid=30525] ppid=30507 vsize=15716300 CPUtime=0.84 cores=0,2,4,6
/proc/30509/task/30525/stat : 30525 (java) S 30507 30509 30477 0 -1 4202560 4972 0 0 0 84 0 0 0 15 0 22 0 503320807 16093491200 160245 33554432000 1073741824 1073778376 140737211196560 18446744073709551615 233522113433 0 4 0 16800975 18446604453935775936 0 0 -1 6 0 0 0
[pid=30509/tid=30526] ppid=30507 vsize=15716300 CPUtime=0 cores=0,2,4,6
/proc/30509/task/30526/stat : 30526 (java) S 30507 30509 30477 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 22 0 503320807 16093491200 160245 33554432000 1073741824 1073778376 140737211196560 18446744073709551615 233522113433 0 4 0 16800975 18446604453935775936 0 0 -1 6 0 0 0
[pid=30509/tid=30527] ppid=30507 vsize=15716300 CPUtime=0 cores=0,2,4,6
/proc/30509/task/30527/stat : 30527 (java) S 30507 30509 30477 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 503320807 16093491200 160245 33554432000 1073741824 1073778376 140737211196560 18446744073709551615 233522114048 0 4 0 16800975 18446604453935775936 0 0 -1 2 0 0 0
[pid=30509/tid=30551] ppid=30507 vsize=15716300 CPUtime=0 cores=0,2,4,6
/proc/30509/task/30551/stat : 30551 (java) S 30507 30509 30477 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 22 0 503320916 16093491200 160245 33554432000 1073741824 1073778376 140737211196560 18446744073709551615 233522114048 0 4 0 16800975 18446604453935775936 0 0 -1 2 0 0 0

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

/proc/30509/task/30514/stat : 30514 (java) S 30507 30509 30477 0 -1 4202560 231702 0 0 0 518 36 0 0 16 0 22 0 503320803 16093491200 2500979 33554432000 1073741824 1073778376 140737211196560 18446744073709551615 233522113433 0 4 0 16800975 18446604453935775936 0 0 -1 4 0 0 0
[pid=30509/tid=30515] ppid=30507 vsize=15716300 CPUtime=5.17 cores=0,2,4,6
/proc/30509/task/30515/stat : 30515 (java) S 30507 30509 30477 0 -1 4202560 197310 0 0 0 486 31 0 0 16 0 22 0 503320803 16093491200 2500979 33554432000 1073741824 1073778376 140737211196560 18446744073709551615 233522113433 0 4 0 16800975 18446604453935775936 0 0 -1 0 0 0 0
[pid=30509/tid=30516] ppid=30507 vsize=15716300 CPUtime=6.34 cores=0,2,4,6
/proc/30509/task/30516/stat : 30516 (java) S 30507 30509 30477 0 -1 4202560 254961 0 0 0 589 45 0 0 15 0 22 0 503320803 16093491200 2500979 33554432000 1073741824 1073778376 140737211196560 18446744073709551615 233522113433 0 4 0 16800975 18446604453935775936 0 0 -1 2 0 0 0
[pid=30509/tid=30517] ppid=30507 vsize=15716300 CPUtime=7.57 cores=0,2,4,6
/proc/30509/task/30517/stat : 30517 (java) S 30507 30509 30477 0 -1 4202560 353085 0 0 0 700 57 0 0 16 0 22 0 503320803 16093491200 2500979 33554432000 1073741824 1073778376 140737211196560 18446744073709551615 233522113433 0 4 0 16800975 18446604453935775936 0 0 -1 2 0 0 0
[pid=30509/tid=30518] ppid=30507 vsize=15716300 CPUtime=5.87 cores=0,2,4,6
/proc/30509/task/30518/stat : 30518 (java) S 30507 30509 30477 0 -1 4202560 257445 0 0 0 544 43 0 0 16 0 22 0 503320803 16093491200 2500979 33554432000 1073741824 1073778376 140737211196560 18446744073709551615 233522113433 0 4 0 16800975 18446604453935775936 0 0 -1 6 0 0 0
[pid=30509/tid=30519] ppid=30507 vsize=15716300 CPUtime=7.19 cores=0,2,4,6
/proc/30509/task/30519/stat : 30519 (java) S 30507 30509 30477 0 -1 4202560 311746 0 0 0 671 48 0 0 15 0 22 0 503320803 16093491200 2500979 33554432000 1073741824 1073778376 140737211196560 18446744073709551615 233522113433 0 4 0 16800975 18446604453935775936 0 0 -1 2 0 0 0
[pid=30509/tid=30520] ppid=30507 vsize=15716300 CPUtime=4.24 cores=0,2,4,6
/proc/30509/task/30520/stat : 30520 (java) S 30507 30509 30477 0 -1 4202560 188322 0 0 0 406 18 0 0 15 0 22 0 503320804 16093491200 2500979 33554432000 1073741824 1073778376 140737211196560 18446744073709551615 233522114048 0 0 0 16800975 18446604453935775936 0 0 -1 0 0 0 0
[pid=30509/tid=30521] ppid=30507 vsize=15716300 CPUtime=0 cores=0,2,4,6
/proc/30509/task/30521/stat : 30521 (java) S 30507 30509 30477 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 503320805 16093491200 2500979 33554432000 1073741824 1073778376 140737211196560 18446744073709551615 233522113433 0 4 0 16800975 18446604453935775936 0 0 -1 6 0 0 0
[pid=30509/tid=30522] ppid=30507 vsize=15716300 CPUtime=0 cores=0,2,4,6
/proc/30509/task/30522/stat : 30522 (java) S 30507 30509 30477 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 22 0 503320805 16093491200 2500979 33554432000 1073741824 1073778376 140737211196560 18446744073709551615 233522113433 0 4 0 16800975 18446604453935775936 0 0 -1 4 0 0 0
[pid=30509/tid=30523] ppid=30507 vsize=15716300 CPUtime=0 cores=0,2,4,6
/proc/30509/task/30523/stat : 30523 (java) S 30507 30509 30477 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 503320807 16093491200 2500979 33554432000 1073741824 1073778376 140737211196560 18446744073709551615 233522121137 0 4 0 16800975 18446604453935775936 0 0 -1 6 0 0 0
[pid=30509/tid=30524] ppid=30507 vsize=15716300 CPUtime=2.05 cores=0,2,4,6
/proc/30509/task/30524/stat : 30524 (java) S 30507 30509 30477 0 -1 4202560 15692 0 0 0 203 2 0 0 16 0 22 0 503320807 16093491200 2500979 33554432000 1073741824 1073778376 140737211196560 18446744073709551615 233522113433 0 4 0 16800975 18446604453935775936 0 0 -1 2 0 0 0
[pid=30509/tid=30525] ppid=30507 vsize=15716300 CPUtime=1.41 cores=0,2,4,6
/proc/30509/task/30525/stat : 30525 (java) S 30507 30509 30477 0 -1 4202560 5597 0 0 0 140 1 0 0 15 0 22 0 503320807 16093491200 2500979 33554432000 1073741824 1073778376 140737211196560 18446744073709551615 233522113433 0 4 0 16800975 18446604453935775936 0 0 -1 4 0 0 0
[pid=30509/tid=30526] ppid=30507 vsize=15716300 CPUtime=0 cores=0,2,4,6
/proc/30509/task/30526/stat : 30526 (java) S 30507 30509 30477 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 22 0 503320807 16093491200 2500979 33554432000 1073741824 1073778376 140737211196560 18446744073709551615 233522113433 0 4 0 16800975 18446604453935775936 0 0 -1 6 0 0 0
[pid=30509/tid=30527] ppid=30507 vsize=15716300 CPUtime=0 cores=0,2,4,6
/proc/30509/task/30527/stat : 30527 (java) S 30507 30509 30477 0 -1 4202560 67 0 0 0 0 0 0 0 15 0 22 0 503320807 16093491200 2500979 33554432000 1073741824 1073778376 140737211196560 18446744073709551615 233522114048 0 4 0 16800975 18446604453935775936 0 0 -1 0 0 0 0
[pid=30509/tid=30551] ppid=30507 vsize=15716300 CPUtime=1094.36 cores=0,2,4,6
/proc/30509/task/30551/stat : 30551 (java) R 30507 30509 30477 0 -1 4202560 3266 0 0 0 109435 1 0 0 25 0 22 0 503320916 16093491200 2500979 33554432000 1073741824 1073778376 140737211196560 18446744073709551615 46912506065631 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=30509/tid=30552] ppid=30507 vsize=15716300 CPUtime=1099.37 cores=0,2,4,6
/proc/30509/task/30552/stat : 30552 (java) R 30507 30509 30477 0 -1 4202560 27712 0 0 0 109933 4 0 0 25 0 22 0 503320916 16093491200 2500979 33554432000 1073741824 1073778376 140737211196560 18446744073709551615 46912506420346 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=30509/tid=30553] ppid=30507 vsize=15716300 CPUtime=1097.71 cores=0,2,4,6
/proc/30509/task/30553/stat : 30553 (java) R 30507 30509 30477 0 -1 4202560 24728 0 0 0 109768 3 0 0 25 0 22 0 503320916 16093491200 2500979 33554432000 1073741824 1073778376 140737211196560 18446744073709551615 46912506215553 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30509/tid=30554] ppid=30507 vsize=15716300 CPUtime=1092.62 cores=0,2,4,6
/proc/30509/task/30554/stat : 30554 (java) R 30507 30509 30477 0 -1 4202560 2242 0 0 0 109260 2 0 0 25 0 22 0 503320916 16093491200 2500979 33554432000 1073741824 1073778376 140737211196560 18446744073709551615 46912506286431 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4446.93
Current children cumulated vsize (KiB) 15716300

[startup+1182.3 s]
/proc/loadavg: 8.09 8.08 7.34 9/220 30590
/proc/meminfo: memFree=3170612/32951124 swapFree=67111524/67111528
[pid=30509] ppid=30507 vsize=15716300 CPUtime=4686.57 cores=0,2,4,6
/proc/30509/stat : 30509 (java) S 30507 30509 30477 0 -1 4202496 2568252 0 1 0 468247 410 0 0 17 0 22 0 503320802 16093491200 2501887 33554432000 1073741824 1073778376 140737211196560 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/30509/statm: 3929075 2501887 2300 9 0 3919794 0
[pid=30509/tid=30511] ppid=30507 vsize=15716300 CPUtime=4.87 cores=0,2,4,6
/proc/30509/task/30511/stat : 30511 (java) S 30507 30509 30477 0 -1 4202560 35659 0 1 0 482 5 0 0 25 0 22 0 503320803 16093491200 2501887 33554432000 1073741824 1073778376 140737211196560 18446744073709551615 233522113433 0 4 0 16800975 18446604453935775936 0 0 -1 0 0 0 0
[pid=30509/tid=30512] ppid=30507 vsize=15716300 CPUtime=6.31 cores=0,2,4,6
/proc/30509/task/30512/stat : 30512 (java) S 30507 30509 30477 0 -1 4202560 322744 0 0 0 576 55 0 0 15 0 22 0 503320803 16093491200 2501887 33554432000 1073741824 1073778376 140737211196560 18446744073709551615 233522113433 0 4 0 16800975 18446604453935775936 0 0 -1 2 0 0 0
[pid=30509/tid=30513] ppid=30507 vsize=15716300 CPUtime=6.62 cores=0,2,4,6
/proc/30509/task/30513/stat : 30513 (java) S 30507 30509 30477 0 -1 4202560 333824 0 0 0 611 51 0 0 15 0 22 0 503320803 16093491200 2501887 33554432000 1073741824 1073778376 140737211196560 18446744073709551615 233522113433 0 4 0 16800975 18446604453935775936 0 0 -1 6 0 0 0
[pid=30509/tid=30514] ppid=30507 vsize=15716300 CPUtime=5.75 cores=0,2,4,6
/proc/30509/task/30514/stat : 30514 (java) S 30507 30509 30477 0 -1 4202560 231722 0 0 0 539 36 0 0 16 0 22 0 503320803 16093491200 2501887 33554432000 1073741824 1073778376 140737211196560 18446744073709551615 233522113433 0 4 0 16800975 18446604453935775936 0 0 -1 2 0 0 0
[pid=30509/tid=30515] ppid=30507 vsize=15716300 CPUtime=5.37 cores=0,2,4,6
/proc/30509/task/30515/stat : 30515 (java) S 30507 30509 30477 0 -1 4202560 197310 0 0 0 506 31 0 0 16 0 22 0 503320803 16093491200 2501887 33554432000 1073741824 1073778376 140737211196560 18446744073709551615 233522113433 0 4 0 16800975 18446604453935775936 0 0 -1 0 0 0 0
[pid=30509/tid=30516] ppid=30507 vsize=15716300 CPUtime=6.55 cores=0,2,4,6
/proc/30509/task/30516/stat : 30516 (java) S 30507 30509 30477 0 -1 4202560 255552 0 0 0 610 45 0 0 15 0 22 0 503320803 16093491200 2501887 33554432000 1073741824 1073778376 140737211196560 18446744073709551615 233522113433 0 4 0 16800975 18446604453935775936 0 0 -1 4 0 0 0
[pid=30509/tid=30517] ppid=30507 vsize=15716300 CPUtime=7.77 cores=0,2,4,6
/proc/30509/task/30517/stat : 30517 (java) S 30507 30509 30477 0 -1 4202560 353085 0 0 0 720 57 0 0 16 0 22 0 503320803 16093491200 2501887 33554432000 1073741824 1073778376 140737211196560 18446744073709551615 233522113433 0 4 0 16800975 18446604453935775936 0 0 -1 6 0 0 0
[pid=30509/tid=30518] ppid=30507 vsize=15716300 CPUtime=5.92 cores=0,2,4,6
/proc/30509/task/30518/stat : 30518 (java) S 30507 30509 30477 0 -1 4202560 257445 0 0 0 549 43 0 0 15 0 22 0 503320803 16093491200 2501887 33554432000 1073741824 1073778376 140737211196560 18446744073709551615 233522113433 0 4 0 16800975 18446604453935775936 0 0 -1 2 0 0 0
[pid=30509/tid=30519] ppid=30507 vsize=15716300 CPUtime=7.41 cores=0,2,4,6
/proc/30509/task/30519/stat : 30519 (java) S 30507 30509 30477 0 -1 4202560 311861 0 0 0 693 48 0 0 16 0 22 0 503320803 16093491200 2501887 33554432000 1073741824 1073778376 140737211196560 18446744073709551615 233522113433 0 4 0 16800975 18446604453935775936 0 0 -1 4 0 0 0
[pid=30509/tid=30520] ppid=30507 vsize=15716300 CPUtime=4.24 cores=0,2,4,6
/proc/30509/task/30520/stat : 30520 (java) S 30507 30509 30477 0 -1 4202560 188342 0 0 0 406 18 0 0 15 0 22 0 503320804 16093491200 2501887 33554432000 1073741824 1073778376 140737211196560 18446744073709551615 233522114048 0 0 0 16800975 18446604453935775936 0 0 -1 2 0 0 0
[pid=30509/tid=30521] ppid=30507 vsize=15716300 CPUtime=0 cores=0,2,4,6
/proc/30509/task/30521/stat : 30521 (java) S 30507 30509 30477 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 503320805 16093491200 2501887 33554432000 1073741824 1073778376 140737211196560 18446744073709551615 233522113433 0 4 0 16800975 18446604453935775936 0 0 -1 6 0 0 0
[pid=30509/tid=30522] ppid=30507 vsize=15716300 CPUtime=0 cores=0,2,4,6
/proc/30509/task/30522/stat : 30522 (java) S 30507 30509 30477 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 22 0 503320805 16093491200 2501887 33554432000 1073741824 1073778376 140737211196560 18446744073709551615 233522113433 0 4 0 16800975 18446604453935775936 0 0 -1 4 0 0 0
[pid=30509/tid=30523] ppid=30507 vsize=15716300 CPUtime=0 cores=0,2,4,6
/proc/30509/task/30523/stat : 30523 (java) S 30507 30509 30477 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 503320807 16093491200 2501887 33554432000 1073741824 1073778376 140737211196560 18446744073709551615 233522121137 0 4 0 16800975 18446604453935775936 0 0 -1 6 0 0 0
[pid=30509/tid=30524] ppid=30507 vsize=15716300 CPUtime=2.05 cores=0,2,4,6
/proc/30509/task/30524/stat : 30524 (java) S 30507 30509 30477 0 -1 4202560 15692 0 0 0 203 2 0 0 16 0 22 0 503320807 16093491200 2501887 33554432000 1073741824 1073778376 140737211196560 18446744073709551615 233522113433 0 4 0 16800975 18446604453935775936 0 0 -1 2 0 0 0
[pid=30509/tid=30525] ppid=30507 vsize=15716300 CPUtime=1.41 cores=0,2,4,6
/proc/30509/task/30525/stat : 30525 (java) S 30507 30509 30477 0 -1 4202560 5597 0 0 0 140 1 0 0 15 0 22 0 503320807 16093491200 2501887 33554432000 1073741824 1073778376 140737211196560 18446744073709551615 233522113433 0 4 0 16800975 18446604453935775936 0 0 -1 4 0 0 0
[pid=30509/tid=30526] ppid=30507 vsize=15716300 CPUtime=0 cores=0,2,4,6
/proc/30509/task/30526/stat : 30526 (java) S 30507 30509 30477 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 22 0 503320807 16093491200 2501887 33554432000 1073741824 1073778376 140737211196560 18446744073709551615 233522113433 0 4 0 16800975 18446604453935775936 0 0 -1 6 0 0 0
[pid=30509/tid=30527] ppid=30507 vsize=15716300 CPUtime=0 cores=0,2,4,6
/proc/30509/task/30527/stat : 30527 (java) S 30507 30509 30477 0 -1 4202560 71 0 0 0 0 0 0 0 15 0 22 0 503320807 16093491200 2501887 33554432000 1073741824 1073778376 140737211196560 18446744073709551615 233522114048 0 4 0 16800975 18446604453935775936 0 0 -1 0 0 0 0
[pid=30509/tid=30551] ppid=30507 vsize=15716300 CPUtime=1153.65 cores=0,2,4,6
/proc/30509/task/30551/stat : 30551 (java) R 30507 30509 30477 0 -1 4202560 3267 0 0 0 115363 2 0 0 25 0 22 0 503320916 16093491200 2501887 33554432000 1073741824 1073778376 140737211196560 18446744073709551615 46912506105405 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=30509/tid=30552] ppid=30507 vsize=15716300 CPUtime=1158.97 cores=0,2,4,6
/proc/30509/task/30552/stat : 30552 (java) R 30507 30509 30477 0 -1 4202560 27719 0 0 0 115893 4 0 0 25 0 22 0 503320916 16093491200 2501887 33554432000 1073741824 1073778376 140737211196560 18446744073709551615 46912505523311 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=30509/tid=30553] ppid=30507 vsize=15716300 CPUtime=1157.31 cores=0,2,4,6
/proc/30509/task/30553/stat : 30553 (java) R 30507 30509 30477 0 -1 4202560 24731 0 0 0 115728 3 0 0 25 0 22 0 503320916 16093491200 2501887 33554432000 1073741824 1073778376 140737211196560 18446744073709551615 46912506055175 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30509/tid=30554] ppid=30507 vsize=15716300 CPUtime=1152.22 cores=0,2,4,6
/proc/30509/task/30554/stat : 30554 (java) R 30507 30509 30477 0 -1 4202560 2244 0 0 0 115220 2 0 0 25 0 22 0 503320916 16093491200 2501887 33554432000 1073741824 1073778376 140737211196560 18446744073709551615 46912506065658 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4686.57
Current children cumulated vsize (KiB) 15716300



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1210.7 s]
/proc/loadavg: 8.14 8.09 7.37 9/220 30591
/proc/meminfo: memFree=3175028/32951124 swapFree=67111524/67111528
[pid=30509] ppid=30507 vsize=15716300 CPUtime=4800.03 cores=0,2,4,6
/proc/30509/stat : 30509 (java) S 30507 30509 30477 0 -1 4202496 2568426 0 1 0 479593 410 0 0 17 0 22 0 503320802 16093491200 2502048 33554432000 1073741824 1073778376 140737211196560 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/30509/statm: 3929075 2502048 2300 9 0 3919794 0
[pid=30509/tid=30511] ppid=30507 vsize=15716300 CPUtime=4.87 cores=0,2,4,6
/proc/30509/task/30511/stat : 30511 (java) S 30507 30509 30477 0 -1 4202560 35659 0 1 0 482 5 0 0 25 0 22 0 503320803 16093491200 2502048 33554432000 1073741824 1073778376 140737211196560 18446744073709551615 233522113433 0 4 0 16800975 18446604453935775936 0 0 -1 0 0 0 0
[pid=30509/tid=30512] ppid=30507 vsize=15716300 CPUtime=6.41 cores=0,2,4,6
/proc/30509/task/30512/stat : 30512 (java) S 30507 30509 30477 0 -1 4202560 322859 0 0 0 586 55 0 0 16 0 22 0 503320803 16093491200 2502048 33554432000 1073741824 1073778376 140737211196560 18446744073709551615 233522113433 0 4 0 16800975 18446604453935775936 0 0 -1 2 0 0 0
[pid=30509/tid=30513] ppid=30507 vsize=15716300 CPUtime=6.72 cores=0,2,4,6
/proc/30509/task/30513/stat : 30513 (java) S 30507 30509 30477 0 -1 4202560 333824 0 0 0 621 51 0 0 16 0 22 0 503320803 16093491200 2502048 33554432000 1073741824 1073778376 140737211196560 18446744073709551615 233522113433 0 4 0 16800975 18446604453935775936 0 0 -1 6 0 0 0
[pid=30509/tid=30514] ppid=30507 vsize=15716300 CPUtime=5.81 cores=0,2,4,6
/proc/30509/task/30514/stat : 30514 (java) S 30507 30509 30477 0 -1 4202560 231722 0 0 0 545 36 0 0 16 0 22 0 503320803 16093491200 2502048 33554432000 1073741824 1073778376 140737211196560 18446744073709551615 233522113433 0 4 0 16800975 18446604453935775936 0 0 -1 4 0 0 0
[pid=30509/tid=30515] ppid=30507 vsize=15716300 CPUtime=5.4 cores=0,2,4,6
/proc/30509/task/30515/stat : 30515 (java) S 30507 30509 30477 0 -1 4202560 197310 0 0 0 509 31 0 0 16 0 22 0 503320803 16093491200 2502048 33554432000 1073741824 1073778376 140737211196560 18446744073709551615 233522113433 0 4 0 16800975 18446604453935775936 0 0 -1 0 0 0 0
[pid=30509/tid=30516] ppid=30507 vsize=15716300 CPUtime=6.65 cores=0,2,4,6
/proc/30509/task/30516/stat : 30516 (java) S 30507 30509 30477 0 -1 4202560 255598 0 0 0 620 45 0 0 16 0 22 0 503320803 16093491200 2502048 33554432000 1073741824 1073778376 140737211196560 18446744073709551615 233522113433 0 4 0 16800975 18446604453935775936 0 0 -1 4 0 0 0
[pid=30509/tid=30517] ppid=30507 vsize=15716300 CPUtime=7.81 cores=0,2,4,6
/proc/30509/task/30517/stat : 30517 (java) S 30507 30509 30477 0 -1 4202560 353085 0 0 0 724 57 0 0 16 0 22 0 503320803 16093491200 2502048 33554432000 1073741824 1073778376 140737211196560 18446744073709551615 233522113433 0 4 0 16800975 18446604453935775936 0 0 -1 6 0 0 0
[pid=30509/tid=30518] ppid=30507 vsize=15716300 CPUtime=6 cores=0,2,4,6
/proc/30509/task/30518/stat : 30518 (java) S 30507 30509 30477 0 -1 4202560 257445 0 0 0 557 43 0 0 16 0 22 0 503320803 16093491200 2502048 33554432000 1073741824 1073778376 140737211196560 18446744073709551615 233522113433 0 4 0 16800975 18446604453935775936 0 0 -1 0 0 0 0
[pid=30509/tid=30519] ppid=30507 vsize=15716300 CPUtime=7.45 cores=0,2,4,6
/proc/30509/task/30519/stat : 30519 (java) S 30507 30509 30477 0 -1 4202560 311861 0 0 0 697 48 0 0 16 0 22 0 503320803 16093491200 2502048 33554432000 1073741824 1073778376 140737211196560 18446744073709551615 233522113433 0 4 0 16800975 18446604453935775936 0 0 -1 4 0 0 0
[pid=30509/tid=30520] ppid=30507 vsize=15716300 CPUtime=4.24 cores=0,2,4,6
/proc/30509/task/30520/stat : 30520 (java) S 30507 30509 30477 0 -1 4202560 188348 0 0 0 406 18 0 0 15 0 22 0 503320804 16093491200 2502048 33554432000 1073741824 1073778376 140737211196560 18446744073709551615 233522114048 0 0 0 16800975 18446604453935775936 0 0 -1 6 0 0 0
[pid=30509/tid=30521] ppid=30507 vsize=15716300 CPUtime=0 cores=0,2,4,6
/proc/30509/task/30521/stat : 30521 (java) S 30507 30509 30477 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 503320805 16093491200 2502048 33554432000 1073741824 1073778376 140737211196560 18446744073709551615 233522113433 0 4 0 16800975 18446604453935775936 0 0 -1 6 0 0 0
[pid=30509/tid=30522] ppid=30507 vsize=15716300 CPUtime=0 cores=0,2,4,6
/proc/30509/task/30522/stat : 30522 (java) S 30507 30509 30477 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 22 0 503320805 16093491200 2502048 33554432000 1073741824 1073778376 140737211196560 18446744073709551615 233522113433 0 4 0 16800975 18446604453935775936 0 0 -1 4 0 0 0
[pid=30509/tid=30523] ppid=30507 vsize=15716300 CPUtime=0 cores=0,2,4,6
/proc/30509/task/30523/stat : 30523 (java) S 30507 30509 30477 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 503320807 16093491200 2502048 33554432000 1073741824 1073778376 140737211196560 18446744073709551615 233522121137 0 4 0 16800975 18446604453935775936 0 0 -1 6 0 0 0
[pid=30509/tid=30524] ppid=30507 vsize=15716300 CPUtime=2.05 cores=0,2,4,6
/proc/30509/task/30524/stat : 30524 (java) S 30507 30509 30477 0 -1 4202560 15692 0 0 0 203 2 0 0 16 0 22 0 503320807 16093491200 2502048 33554432000 1073741824 1073778376 140737211196560 18446744073709551615 233522113433 0 4 0 16800975 18446604453935775936 0 0 -1 2 0 0 0
[pid=30509/tid=30525] ppid=30507 vsize=15716300 CPUtime=1.41 cores=0,2,4,6
/proc/30509/task/30525/stat : 30525 (java) S 30507 30509 30477 0 -1 4202560 5597 0 0 0 140 1 0 0 15 0 22 0 503320807 16093491200 2502048 33554432000 1073741824 1073778376 140737211196560 18446744073709551615 233522113433 0 4 0 16800975 18446604453935775936 0 0 -1 4 0 0 0
[pid=30509/tid=30526] ppid=30507 vsize=15716300 CPUtime=0 cores=0,2,4,6
/proc/30509/task/30526/stat : 30526 (java) S 30507 30509 30477 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 22 0 503320807 16093491200 2502048 33554432000 1073741824 1073778376 140737211196560 18446744073709551615 233522113433 0 4 0 16800975 18446604453935775936 0 0 -1 6 0 0 0
[pid=30509/tid=30527] ppid=30507 vsize=15716300 CPUtime=0 cores=0,2,4,6
/proc/30509/task/30527/stat : 30527 (java) S 30507 30509 30477 0 -1 4202560 73 0 0 0 0 0 0 0 15 0 22 0 503320807 16093491200 2502048 33554432000 1073741824 1073778376 140737211196560 18446744073709551615 233522114048 0 4 0 16800975 18446604453935775936 0 0 -1 0 0 0 0
[pid=30509/tid=30551] ppid=30507 vsize=15716300 CPUtime=1181.75 cores=0,2,4,6
/proc/30509/task/30551/stat : 30551 (java) R 30507 30509 30477 0 -1 4202560 3270 0 0 0 118173 2 0 0 25 0 22 0 503320916 16093491200 2502048 33554432000 1073741824 1073778376 140737211196560 18446744073709551615 46912506105823 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=30509/tid=30552] ppid=30507 vsize=15716300 CPUtime=1187.24 cores=0,2,4,6
/proc/30509/task/30552/stat : 30552 (java) R 30507 30509 30477 0 -1 4202560 27719 0 0 0 118720 4 0 0 25 0 22 0 503320916 16093491200 2502048 33554432000 1073741824 1073778376 140737211196560 18446744073709551615 46912506473257 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=30509/tid=30553] ppid=30507 vsize=15716300 CPUtime=1185.58 cores=0,2,4,6
/proc/30509/task/30553/stat : 30553 (java) R 30507 30509 30477 0 -1 4202560 24732 0 0 0 118555 3 0 0 25 0 22 0 503320916 16093491200 2502048 33554432000 1073741824 1073778376 140737211196560 18446744073709551615 46912506065683 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30509/tid=30554] ppid=30507 vsize=15716300 CPUtime=1180.49 cores=0,2,4,6
/proc/30509/task/30554/stat : 30554 (java) R 30507 30509 30477 0 -1 4202560 2245 0 0 0 118047 2 0 0 25 0 22 0 503320916 16093491200 2502048 33554432000 1073741824 1073778376 140737211196560 18446744073709551615 46912506065827 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.03
Current children cumulated vsize (KiB) 15716300

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

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

[startup+1210.9 s]
/proc/loadavg: 8.14 8.09 7.37 9/220 30591
/proc/meminfo: memFree=3175028/32951124 swapFree=67111524/67111528
[pid=30509] ppid=30507 vsize=0 CPUtime=4800.25 cores=0,2,4,6
/proc/30509/stat : 30509 (java) Z 30507 30509 30477 0 -1 4203548 2568453 0 1 0 479596 429 0 0 15 0 2 0 503320802 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/30509/statm: 0 0 0 0 0 0 0
[pid=30509/tid=30551] ppid=30507 vsize=0 CPUtime=1181.94 cores=0,2,4,6
/proc/30509/task/30551/stat : 30551 (java) R 30507 30509 30477 0 -1 4203588 3270 0 0 0 118174 20 0 0 25 0 2 0 503320916 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.25
Current children cumulated vsize (KiB) 0

[startup+1211 s]
/proc/loadavg: 8.14 8.09 7.37 9/220 30591
/proc/meminfo: memFree=3175028/32951124 swapFree=67111524/67111528
[pid=30509] ppid=30507 vsize=0 CPUtime=4800.35 cores=0,2,4,6
/proc/30509/stat : 30509 (java) Z 30507 30509 30477 0 -1 4203548 2568453 0 1 0 479596 439 0 0 15 0 2 0 503320802 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/30509/statm: 0 0 0 0 0 0 0
[pid=30509/tid=30551] ppid=30507 vsize=0 CPUtime=1182.04 cores=0,2,4,6
/proc/30509/task/30551/stat : 30551 (java) R 30507 30509 30477 0 -1 4203588 3270 0 0 0 118174 30 0 0 25 0 2 0 503320916 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.35
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1211.1
CPU time (s): 4800.45
CPU user time (s): 4795.97
CPU system time (s): 4.48932
CPU usage (%): 396.372
Max. virtual memory (cumulated for all children) (KiB): 15718248

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4795.97
system time used= 4.48932
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2568453
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= 36992
involuntary context switches= 59145

runsolver used 2.13267 second user time and 4.54931 second system time

The end

Launcher Data 

Begin job on node145 at 2011-04-29 22:30:49
IDJOB=3313416
IDBENCH=82469
IDSOLVER=1699
FILE ID=node145/3313416-1304109049
RUNJOBID= node145-1304109049-30495
PBS_JOBID= 13170672
Free space on /tmp= 72200 MiB

SOLVER NAME= STRUCTure 0.1
BENCH NAME= SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-pdtpmsns2-tseitin.cnf
COMMAND LINE= run 15000 NBCORE TMPDIR DIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3313416-1304109049/watcher-3313416-1304109049 -o /tmp/evaluation-result-3313416-1304109049/solver-3313416-1304109049 -C 4800 -W 1300 -M 15500  run 15000 4 HOME HOME HOME/instance-3313416-1304109049.cnf

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

MD5SUM BENCH= 9059f458d76edcc4dc5681746a6de6e5
RANDOM SEED=1738228899

node145.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.786
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.57
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.786
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.76
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.786
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.786
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.83
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.786
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.786
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.786
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.84
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.786
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.77
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      25029160 kB
Buffers:       1261756 kB
Cached:        6066728 kB
SwapCached:          4 kB
Active:         717068 kB
Inactive:      6678952 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25029160 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:           10308 kB
Writeback:           0 kB
AnonPages:       67052 kB
Mapped:          14624 kB
Slab:           460436 kB
PageTables:       5032 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   186836 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= 72192 MiB
End job on node145 at 2011-04-29 22:51:02