Trace number 3312215

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
STRUCTure 0.1 (hbr=2)? (TO) 4800.94 1230.89

General information on the benchmark

Nameapplication/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k45-bobsm5378d2-tseitin.cnf
MD5SUMf1a7d779d46b93ce2fde4f2438e6ae5c
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark59.9419
Satisfiable
(Un)Satisfiability was proved
Number of variables82007
Number of clauses241364
Sum of the clauses size563180
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2160908
Number of clauses of size 380454
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	45:41 INFO : Reading from input HOME/instance-3312215-1304109940.cnf
1.24/1.04	Executor set job limit to 1000000
1.24/1.04	Executor set job limit to 1000000
1.24/1.04	Executor set job limit to 1000000
1.24/1.04	Executor set job limit to 1000000
1.24/1.04	Starting Executor!
1.24/1.04	Starting Executor!
1.24/1.04	Starting Executor!
1.24/1.04	Starting Executor!
10.15/7.46	45:48 INFO : 71050 variables remaining out of 82007
10.15/7.46	45:48 INFO : 4925646 literals remaining out of 804544

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

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

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


[startup+0 s]
/proc/loadavg: 7.17 7.90 7.95 2/174 9203
/proc/meminfo: memFree=26043768/32951124 swapFree=67111524/67111528
[pid=9203] ppid=9201 vsize=23028 CPUtime=0 cores=0,2,4,6
/proc/9203/stat : 9203 (java) R 9201 9203 8397 0 -1 4202496 832 0 0 0 0 0 0 0 21 0 1 0 522594492 23580672 320 33554432000 1073741824 1073778376 140735696301072 18446744073709551615 230804203264 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/9203/statm: 5757 332 260 9 0 124 0

[startup+0.0805509 s]
/proc/loadavg: 7.17 7.90 7.95 2/174 9203
/proc/meminfo: memFree=26043768/32951124 swapFree=67111524/67111528
[pid=9203] ppid=9201 vsize=15675744 CPUtime=0.06 cores=0,2,4,6
/proc/9203/stat : 9203 (java) S 9201 9203 8397 0 -1 4202496 4729 0 1 0 6 0 0 0 21 0 18 0 522594492 16051961856 4169 33554432000 1073741824 1073778376 140735696301072 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/9203/statm: 3918936 4170 1938 9 0 3909655 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 15675744

[startup+0.100582 s]
/proc/loadavg: 7.17 7.90 7.95 2/174 9203
/proc/meminfo: memFree=26043768/32951124 swapFree=67111524/67111528
[pid=9203] ppid=9201 vsize=15677012 CPUtime=0.1 cores=0,2,4,6
/proc/9203/stat : 9203 (java) S 9201 9203 8397 0 -1 4202496 5553 0 1 0 10 0 0 0 21 0 18 0 522594492 16053260288 4972 33554432000 1073741824 1073778376 140735696301072 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/9203/statm: 3919253 4972 2116 9 0 3909972 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15677012

[startup+0.300568 s]
/proc/loadavg: 7.17 7.90 7.95 2/174 9203
/proc/meminfo: memFree=26043768/32951124 swapFree=67111524/67111528
[pid=9203] ppid=9201 vsize=15685040 CPUtime=0.5 cores=0,2,4,6
/proc/9203/stat : 9203 (java) S 9201 9203 8397 0 -1 4202496 14371 0 1 0 48 2 0 0 21 0 18 0 522594492 16061480960 12836 33554432000 1073741824 1073778376 140735696301072 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/9203/statm: 3921260 12842 2206 9 0 3911979 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 15685040

[startup+0.7005 s]
/proc/loadavg: 7.17 7.90 7.95 2/174 9203
/proc/meminfo: memFree=26043768/32951124 swapFree=67111524/67111528
[pid=9203] ppid=9201 vsize=15685040 CPUtime=0.91 cores=0,2,4,6
/proc/9203/stat : 9203 (java) S 9201 9203 8397 0 -1 4202496 41855 0 1 0 85 6 0 0 21 0 18 0 522594492 16061480960 40316 33554432000 1073741824 1073778376 140735696301072 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/9203/statm: 3921260 40316 2222 9 0 3911979 0
Current children cumulated CPU time (s) 0.91
Current children cumulated vsize (KiB) 15685040

[startup+1.50134 s]
/proc/loadavg: 7.17 7.90 7.95 3/212 9244
/proc/meminfo: memFree=25726404/32951124 swapFree=67111524/67111528
[pid=9203] ppid=9201 vsize=15691932 CPUtime=2.16 cores=0,2,4,6
/proc/9203/stat : 9203 (java) S 9201 9203 8397 0 -1 4202496 58626 0 1 0 206 10 0 0 21 0 22 0 522594492 16068538368 54583 33554432000 1073741824 1073778376 140735696301072 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/9203/statm: 3922983 54583 2263 9 0 3913702 0
[pid=9203/tid=9205] ppid=9201 vsize=15691932 CPUtime=1.46 cores=0,2,4,6
/proc/9203/task/9205/stat : 9205 (java) R 9201 9203 8397 0 -1 4202560 40223 0 1 0 140 6 0 0 21 0 22 0 522594492 16068538368 54583 33554432000 1073741824 1073778376 140735696301072 18446744073709551615 46912505217638 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=9203/tid=9206] ppid=9201 vsize=15691932 CPUtime=0 cores=0,2,4,6
/proc/9203/task/9206/stat : 9206 (java) S 9201 9203 8397 0 -1 4202560 76 0 0 0 0 0 0 0 15 0 22 0 522594493 16068538368 54583 33554432000 1073741824 1073778376 140735696301072 18446744073709551615 230820981657 0 4 0 16800975 18446604452384697408 0 0 -1 4 0 0 0
[pid=9203/tid=9207] ppid=9201 vsize=15691932 CPUtime=0 cores=0,2,4,6
/proc/9203/task/9207/stat : 9207 (java) S 9201 9203 8397 0 -1 4202560 512 0 0 0 0 0 0 0 15 0 22 0 522594493 16068538368 54583 33554432000 1073741824 1073778376 140735696301072 18446744073709551615 230820981657 0 4 0 16800975 18446604452384697408 0 0 -1 0 0 0 0
[pid=9203/tid=9208] ppid=9201 vsize=15691932 CPUtime=0 cores=0,2,4,6
/proc/9203/task/9208/stat : 9208 (java) S 9201 9203 8397 0 -1 4202560 767 0 0 0 0 0 0 0 16 0 22 0 522594493 16068538368 54583 33554432000 1073741824 1073778376 140735696301072 18446744073709551615 230820981657 0 4 0 16800975 18446604452384697408 0 0 -1 0 0 0 0
[pid=9203/tid=9209] ppid=9201 vsize=15691932 CPUtime=0 cores=0,2,4,6
/proc/9203/task/9209/stat : 9209 (java) S 9201 9203 8397 0 -1 4202560 9 0 0 0 0 0 0 0 16 0 22 0 522594493 16068538368 54583 33554432000 1073741824 1073778376 140735696301072 18446744073709551615 230820981657 0 4 0 16800975 18446604452384697408 0 0 -1 0 0 0 0
[pid=9203/tid=9210] ppid=9201 vsize=15691932 CPUtime=0 cores=0,2,4,6
/proc/9203/task/9210/stat : 9210 (java) S 9201 9203 8397 0 -1 4202560 23 0 0 0 0 0 0 0 16 0 22 0 522594493 16068538368 54583 33554432000 1073741824 1073778376 140735696301072 18446744073709551615 230820981657 0 4 0 16800975 18446604452384697408 0 0 -1 2 0 0 0
[pid=9203/tid=9211] ppid=9201 vsize=15691932 CPUtime=0 cores=0,2,4,6
/proc/9203/task/9211/stat : 9211 (java) S 9201 9203 8397 0 -1 4202560 17 0 0 0 0 0 0 0 16 0 22 0 522594493 16068538368 54583 33554432000 1073741824 1073778376 140735696301072 18446744073709551615 230820981657 0 4 0 16800975 18446604452384697408 0 0 -1 4 0 0 0
[pid=9203/tid=9212] ppid=9201 vsize=15691932 CPUtime=0 cores=0,2,4,6
/proc/9203/task/9212/stat : 9212 (java) S 9201 9203 8397 0 -1 4202560 333 0 0 0 0 0 0 0 16 0 22 0 522594493 16068538368 54583 33554432000 1073741824 1073778376 140735696301072 18446744073709551615 230820981657 0 4 0 16800975 18446604452384697408 0 0 -1 6 0 0 0
[pid=9203/tid=9213] ppid=9201 vsize=15691932 CPUtime=0 cores=0,2,4,6
/proc/9203/task/9213/stat : 9213 (java) S 9201 9203 8397 0 -1 4202560 1297 0 0 0 0 0 0 0 16 0 22 0 522594493 16068538368 54583 33554432000 1073741824 1073778376 140735696301072 18446744073709551615 230820981657 0 4 0 16800975 18446604452384697408 0 0 -1 2 0 0 0
[pid=9203/tid=9214] ppid=9201 vsize=15691932 CPUtime=0 cores=0,2,4,6
/proc/9203/task/9214/stat : 9214 (java) S 9201 9203 8397 0 -1 4202560 71 0 0 0 0 0 0 0 16 0 22 0 522594494 16068538368 54583 33554432000 1073741824 1073778376 140735696301072 18446744073709551615 230820982272 0 0 0 16800975 18446604452384697408 0 0 -1 6 0 0 0
[pid=9203/tid=9215] ppid=9201 vsize=15691932 CPUtime=0 cores=0,2,4,6
/proc/9203/task/9215/stat : 9215 (java) S 9201 9203 8397 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 22 0 522594495 16068538368 54583 33554432000 1073741824 1073778376 140735696301072 18446744073709551615 230820981657 0 4 0 16800975 18446604452384697408 0 0 -1 0 0 0 0
[pid=9203/tid=9216] ppid=9201 vsize=15691932 CPUtime=0 cores=0,2,4,6
/proc/9203/task/9216/stat : 9216 (java) S 9201 9203 8397 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 22 0 522594495 16068538368 54583 33554432000 1073741824 1073778376 140735696301072 18446744073709551615 230820981657 0 4 0 16800975 18446604452384697408 0 0 -1 0 0 0 0
[pid=9203/tid=9217] ppid=9201 vsize=15691932 CPUtime=0 cores=0,2,4,6
/proc/9203/task/9217/stat : 9217 (java) S 9201 9203 8397 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522594497 16068538368 54583 33554432000 1073741824 1073778376 140735696301072 18446744073709551615 230820989361 0 4 0 16800975 18446604452384697408 0 0 -1 4 0 0 0
[pid=9203/tid=9218] ppid=9201 vsize=15691932 CPUtime=0.18 cores=0,2,4,6
/proc/9203/task/9218/stat : 9218 (java) S 9201 9203 8397 0 -1 4202560 1117 0 0 0 18 0 0 0 15 0 22 0 522594497 16068538368 54583 33554432000 1073741824 1073778376 140735696301072 18446744073709551615 230820981657 0 4 0 16800975 18446604452384697408 0 0 -1 2 0 0 0
[pid=9203/tid=9219] ppid=9201 vsize=15691932 CPUtime=0.46 cores=0,2,4,6
/proc/9203/task/9219/stat : 9219 (java) R 9201 9203 8397 0 -1 4202560 12752 0 0 0 44 2 0 0 16 0 22 0 522594497 16068538368 54583 33554432000 1073741824 1073778376 140735696301072 18446744073709551615 47513583686374 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=9203/tid=9220] ppid=9201 vsize=15691932 CPUtime=0 cores=0,2,4,6
/proc/9203/task/9220/stat : 9220 (java) S 9201 9203 8397 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522594497 16068538368 54583 33554432000 1073741824 1073778376 140735696301072 18446744073709551615 230820981657 0 4 0 16800975 18446604452384697408 0 0 -1 4 0 0 0
[pid=9203/tid=9221] ppid=9201 vsize=15691932 CPUtime=0 cores=0,2,4,6
/proc/9203/task/9221/stat : 9221 (java) S 9201 9203 8397 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 522594497 16068538368 54583 33554432000 1073741824 1073778376 140735696301072 18446744073709551615 230820982272 0 4 0 16800975 18446604452384697408 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.16
Current children cumulated vsize (KiB) 15691932

[startup+3.10106 s]
/proc/loadavg: 6.83 7.82 7.92 4/220 9252
/proc/meminfo: memFree=25530296/32951124 swapFree=67111524/67111528
[pid=9203] ppid=9201 vsize=15688728 CPUtime=5.06 cores=0,2,4,6
/proc/9203/stat : 9203 (java) S 9201 9203 8397 0 -1 4202496 72994 0 1 0 494 12 0 0 21 0 22 0 522594492 16065257472 61883 33554432000 1073741824 1073778376 140735696301072 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/9203/statm: 3922182 61883 2264 9 0 3912901 0
[pid=9203/tid=9205] ppid=9201 vsize=15688728 CPUtime=3.06 cores=0,2,4,6
/proc/9203/task/9205/stat : 9205 (java) R 9201 9203 8397 0 -1 4202560 46611 0 1 0 300 6 0 0 25 0 22 0 522594492 16065257472 61883 33554432000 1073741824 1073778376 140735696301072 18446744073709551615 46912506214128 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=9203/tid=9206] ppid=9201 vsize=15688728 CPUtime=0 cores=0,2,4,6
/proc/9203/task/9206/stat : 9206 (java) S 9201 9203 8397 0 -1 4202560 76 0 0 0 0 0 0 0 15 0 22 0 522594493 16065257472 61883 33554432000 1073741824 1073778376 140735696301072 18446744073709551615 230820981657 0 4 0 16800975 18446604452384697408 0 0 -1 4 0 0 0
[pid=9203/tid=9207] ppid=9201 vsize=15688728 CPUtime=0 cores=0,2,4,6
/proc/9203/task/9207/stat : 9207 (java) S 9201 9203 8397 0 -1 4202560 512 0 0 0 0 0 0 0 15 0 22 0 522594493 16065257472 61883 33554432000 1073741824 1073778376 140735696301072 18446744073709551615 230820981657 0 4 0 16800975 18446604452384697408 0 0 -1 0 0 0 0
[pid=9203/tid=9208] ppid=9201 vsize=15688728 CPUtime=0 cores=0,2,4,6
/proc/9203/task/9208/stat : 9208 (java) S 9201 9203 8397 0 -1 4202560 767 0 0 0 0 0 0 0 16 0 22 0 522594493 16065257472 61883 33554432000 1073741824 1073778376 140735696301072 18446744073709551615 230820981657 0 4 0 16800975 18446604452384697408 0 0 -1 0 0 0 0
[pid=9203/tid=9209] ppid=9201 vsize=15688728 CPUtime=0 cores=0,2,4,6
/proc/9203/task/9209/stat : 9209 (java) S 9201 9203 8397 0 -1 4202560 9 0 0 0 0 0 0 0 16 0 22 0 522594493 16065257472 61883 33554432000 1073741824 1073778376 140735696301072 18446744073709551615 230820981657 0 4 0 16800975 18446604452384697408 0 0 -1 0 0 0 0
[pid=9203/tid=9210] ppid=9201 vsize=15688728 CPUtime=0 cores=0,2,4,6
/proc/9203/task/9210/stat : 9210 (java) S 9201 9203 8397 0 -1 4202560 23 0 0 0 0 0 0 0 16 0 22 0 522594493 16065257472 61883 33554432000 1073741824 1073778376 140735696301072 18446744073709551615 230820981657 0 4 0 16800975 18446604452384697408 0 0 -1 2 0 0 0
[pid=9203/tid=9211] ppid=9201 vsize=15688728 CPUtime=0 cores=0,2,4,6
/proc/9203/task/9211/stat : 9211 (java) S 9201 9203 8397 0 -1 4202560 17 0 0 0 0 0 0 0 16 0 22 0 522594493 16065257472 61883 33554432000 1073741824 1073778376 140735696301072 18446744073709551615 230820981657 0 4 0 16800975 18446604452384697408 0 0 -1 4 0 0 0
[pid=9203/tid=9212] ppid=9201 vsize=15688728 CPUtime=0 cores=0,2,4,6
/proc/9203/task/9212/stat : 9212 (java) S 9201 9203 8397 0 -1 4202560 333 0 0 0 0 0 0 0 16 0 22 0 522594493 16065257472 61883 33554432000 1073741824 1073778376 140735696301072 18446744073709551615 230820981657 0 4 0 16800975 18446604452384697408 0 0 -1 6 0 0 0
[pid=9203/tid=9213] ppid=9201 vsize=15688728 CPUtime=0 cores=0,2,4,6
/proc/9203/task/9213/stat : 9213 (java) S 9201 9203 8397 0 -1 4202560 1297 0 0 0 0 0 0 0 16 0 22 0 522594493 16065257472 61883 33554432000 1073741824 1073778376 140735696301072 18446744073709551615 230820981657 0 4 0 16800975 18446604452384697408 0 0 -1 2 0 0 0
[pid=9203/tid=9214] ppid=9201 vsize=15688728 CPUtime=0 cores=0,2,4,6
/proc/9203/task/9214/stat : 9214 (java) S 9201 9203 8397 0 -1 4202560 71 0 0 0 0 0 0 0 15 0 22 0 522594494 16065257472 61883 33554432000 1073741824 1073778376 140735696301072 18446744073709551615 230820982272 0 0 0 16800975 18446604452384697408 0 0 -1 6 0 0 0
[pid=9203/tid=9215] ppid=9201 vsize=15688728 CPUtime=0 cores=0,2,4,6
/proc/9203/task/9215/stat : 9215 (java) S 9201 9203 8397 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 22 0 522594495 16065257472 61883 33554432000 1073741824 1073778376 140735696301072 18446744073709551615 230820981657 0 4 0 16800975 18446604452384697408 0 0 -1 0 0 0 0
[pid=9203/tid=9216] ppid=9201 vsize=15688728 CPUtime=0 cores=0,2,4,6
/proc/9203/task/9216/stat : 9216 (java) S 9201 9203 8397 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 22 0 522594495 16065257472 61883 33554432000 1073741824 1073778376 140735696301072 18446744073709551615 230820981657 0 4 0 16800975 18446604452384697408 0 0 -1 0 0 0 0
[pid=9203/tid=9217] ppid=9201 vsize=15688728 CPUtime=0 cores=0,2,4,6
/proc/9203/task/9217/stat : 9217 (java) S 9201 9203 8397 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522594497 16065257472 61883 33554432000 1073741824 1073778376 140735696301072 18446744073709551615 230820989361 0 4 0 16800975 18446604452384697408 0 0 -1 4 0 0 0
[pid=9203/tid=9218] ppid=9201 vsize=15688728 CPUtime=0.85 cores=0,2,4,6
/proc/9203/task/9218/stat : 9218 (java) S 9201 9203 8397 0 -1 4202560 2923 0 0 0 85 0 0 0 16 0 22 0 522594497 16065257472 61883 33554432000 1073741824 1073778376 140735696301072 18446744073709551615 230820981657 0 4 0 16800975 18446604452384697408 0 0 -1 2 0 0 0
[pid=9203/tid=9219] ppid=9201 vsize=15688728 CPUtime=1.08 cores=0,2,4,6
/proc/9203/task/9219/stat : 9219 (java) S 9201 9203 8397 0 -1 4202560 18926 0 0 0 105 3 0 0 15 0 22 0 522594497 16065257472 61883 33554432000 1073741824 1073778376 140735696301072 18446744073709551615 230820981657 0 4 0 16800975 18446604452384697408 0 0 -1 4 0 0 0
[pid=9203/tid=9220] ppid=9201 vsize=15688728 CPUtime=0 cores=0,2,4,6
/proc/9203/task/9220/stat : 9220 (java) S 9201 9203 8397 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522594497 16065257472 61883 33554432000 1073741824 1073778376 140735696301072 18446744073709551615 230820981657 0 4 0 16800975 18446604452384697408 0 0 -1 4 0 0 0
[pid=9203/tid=9221] ppid=9201 vsize=15688728 CPUtime=0 cores=0,2,4,6
/proc/9203/task/9221/stat : 9221 (java) S 9201 9203 8397 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 522594497 16065257472 61883 33554432000 1073741824 1073778376 140735696301072 18446744073709551615 230820982272 0 4 0 16800975 18446604452384697408 0 0 -1 0 0 0 0
[pid=9203/tid=9245] ppid=9201 vsize=15688728 CPUtime=0 cores=0,2,4,6
/proc/9203/task/9245/stat : 9245 (java) S 9201 9203 8397 0 -1 4202560 14 0 0 0 0 0 0 0 15 0 22 0 522594596 16065257472 61883 33554432000 1073741824 1073778376 140735696301072 18446744073709551615 230820982272 0 4 0 16800975 18446604452384697408 0 0 -1 0 0 0 0
[pid=9203/tid=9246] ppid=9201 vsize=15688728 CPUtime=0 cores=0,2,4,6
/proc/9203/task/9246/stat : 9246 (java) S 9201 9203 8397 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 22 0 522594596 16065257472 61883 33554432000 1073741824 1073778376 140735696301072 18446744073709551615 230820982272 0 4 0 16800975 18446604452384697408 0 0 -1 6 0 0 0
[pid=9203/tid=9247] ppid=9201 vsize=15688728 CPUtime=0 cores=0,2,4,6
/proc/9203/task/9247/stat : 9247 (java) S 9201 9203 8397 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 22 0 522594596 16065257472 61883 33554432000 1073741824 1073778376 140735696301072 18446744073709551615 230820982272 0 4 0 16800975 18446604452384697408 0 0 -1 6 0 0 0
[pid=9203/tid=9248] ppid=9201 vsize=15688728 CPUtime=0 cores=0,2,4,6
/proc/9203/task/9248/stat : 9248 (java) S 9201 9203 8397 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 22 0 522594596 16065257472 61883 33554432000 1073741824 1073778376 140735696301072 18446744073709551615 230820982272 0 4 0 16800975 18446604452384697408 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.06
Current children cumulated vsize (KiB) 15688728

[startup+6.30148 s]
/proc/loadavg: 6.83 7.82 7.92 3/220 9252
/proc/meminfo: memFree=25261476/32951124 swapFree=67111524/67111528
[pid=9203] ppid=9201 vsize=15688728 CPUtime=8.55 cores=0,2,4,6
/proc/9203/stat : 9203 (java) S 9201 9203 8397 0 -1 4202496 109520 0 1 0 838 17 0 0 21 0 22 0 522594492 16065257472 97120 33554432000 1073741824 1073778376 140735696301072 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/9203/statm: 3922182 97120 2274 9 0 3912901 0
[pid=9203/tid=9205] ppid=9201 vsize=15688728 CPUtime=6.22 cores=0,2,4,6
/proc/9203/task/9205/stat : 9205 (java) R 9201 9203 8397 0 -1 4202560 64124 0 1 0 614 8 0 0 25 0 22 0 522594492 16065257472 97120 33554432000 1073741824 1073778376 140735696301072 18446744073709551615 46912506259695 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=9203/tid=9206] ppid=9201 vsize=15688728 CPUtime=0 cores=0,2,4,6
/proc/9203/task/9206/stat : 9206 (java) S 9201 9203 8397 0 -1 4202560 76 0 0 0 0 0 0 0 15 0 22 0 522594493 16065257472 97120 33554432000 1073741824 1073778376 140735696301072 18446744073709551615 230820981657 0 4 0 16800975 18446604452384697408 0 0 -1 4 0 0 0
[pid=9203/tid=9207] ppid=9201 vsize=15688728 CPUtime=0.02 cores=0,2,4,6
/proc/9203/task/9207/stat : 9207 (java) S 9201 9203 8397 0 -1 4202560 2301 0 0 0 2 0 0 0 16 0 22 0 522594493 16065257472 97120 33554432000 1073741824 1073778376 140735696301072 18446744073709551615 230820981657 0 4 0 16800975 18446604452384697408 0 0 -1 0 0 0 0
[pid=9203/tid=9208] ppid=9201 vsize=15688728 CPUtime=0 cores=0,2,4,6
/proc/9203/task/9208/stat : 9208 (java) S 9201 9203 8397 0 -1 4202560 4374 0 0 0 0 0 0 0 16 0 22 0 522594493 16065257472 97120 33554432000 1073741824 1073778376 140735696301072 18446744073709551615 230820981657 0 4 0 16800975 18446604452384697408 0 0 -1 0 0 0 0
[pid=9203/tid=9209] ppid=9201 vsize=15688728 CPUtime=0.03 cores=0,2,4,6
/proc/9203/task/9209/stat : 9209 (java) S 9201 9203 8397 0 -1 4202560 3811 0 0 0 3 0 0 0 16 0 22 0 522594493 16065257472 97120 33554432000 1073741824 1073778376 140735696301072 18446744073709551615 230820981657 0 4 0 16800975 18446604452384697408 0 0 -1 4 0 0 0
[pid=9203/tid=9210] ppid=9201 vsize=15688728 CPUtime=0 cores=0,2,4,6
/proc/9203/task/9210/stat : 9210 (java) S 9201 9203 8397 0 -1 4202560 23 0 0 0 0 0 0 0 15 0 22 0 522594493 16065257472 97120 33554432000 1073741824 1073778376 140735696301072 18446744073709551615 230820981657 0 4 0 16800975 18446604452384697408 0 0 -1 2 0 0 0
[pid=9203/tid=9211] ppid=9201 vsize=15688728 CPUtime=0.02 cores=0,2,4,6
/proc/9203/task/9211/stat : 9211 (java) S 9201 9203 8397 0 -1 4202560 3670 0 0 0 2 0 0 0 16 0 22 0 522594493 16065257472 97120 33554432000 1073741824 1073778376 140735696301072 18446744073709551615 230820981657 0 4 0 16800975 18446604452384697408 0 0 -1 2 0 0 0
[pid=9203/tid=9212] ppid=9201 vsize=15688728 CPUtime=0.03 cores=0,2,4,6
/proc/9203/task/9212/stat : 9212 (java) S 9201 9203 8397 0 -1 4202560 6297 0 0 0 3 0 0 0 16 0 22 0 522594493 16065257472 97120 33554432000 1073741824 1073778376 140735696301072 18446744073709551615 230820981657 0 4 0 16800975 18446604452384697408 0 0 -1 6 0 0 0
[pid=9203/tid=9213] ppid=9201 vsize=15688728 CPUtime=0 cores=0,2,4,6
/proc/9203/task/9213/stat : 9213 (java) S 9201 9203 8397 0 -1 4202560 1297 0 0 0 0 0 0 0 15 0 22 0 522594493 16065257472 97120 33554432000 1073741824 1073778376 140735696301072 18446744073709551615 230820981657 0 4 0 16800975 18446604452384697408 0 0 -1 2 0 0 0
[pid=9203/tid=9214] ppid=9201 vsize=15688728 CPUtime=0 cores=0,2,4,6
/proc/9203/task/9214/stat : 9214 (java) S 9201 9203 8397 0 -1 4202560 230 0 0 0 0 0 0 0 15 0 22 0 522594494 16065257472 97120 33554432000 1073741824 1073778376 140735696301072 18446744073709551615 230820982272 0 0 0 16800975 18446604452384697408 0 0 -1 6 0 0 0
[pid=9203/tid=9215] ppid=9201 vsize=15688728 CPUtime=0 cores=0,2,4,6
/proc/9203/task/9215/stat : 9215 (java) S 9201 9203 8397 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 522594495 16065257472 97120 33554432000 1073741824 1073778376 140735696301072 18446744073709551615 230820981657 0 4 0 16800975 18446604452384697408 0 0 -1 0 0 0 0
[pid=9203/tid=9216] ppid=9201 vsize=15688728 CPUtime=0 cores=0,2,4,6
/proc/9203/task/9216/stat : 9216 (java) S 9201 9203 8397 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 522594495 16065257472 97120 33554432000 1073741824 1073778376 140735696301072 18446744073709551615 230820981657 0 4 0 16800975 18446604452384697408 0 0 -1 0 0 0 0
[pid=9203/tid=9217] ppid=9201 vsize=15688728 CPUtime=0 cores=0,2,4,6
/proc/9203/task/9217/stat : 9217 (java) S 9201 9203 8397 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522594497 16065257472 97120 33554432000 1073741824 1073778376 140735696301072 18446744073709551615 230820989361 0 4 0 16800975 18446604452384697408 0 0 -1 4 0 0 0
[pid=9203/tid=9218] ppid=9201 vsize=15688728 CPUtime=0.92 cores=0,2,4,6
/proc/9203/task/9218/stat : 9218 (java) S 9201 9203 8397 0 -1 4202560 2928 0 0 0 92 0 0 0 16 0 22 0 522594497 16065257472 97120 33554432000 1073741824 1073778376 140735696301072 18446744073709551615 230820981657 0 4 0 16800975 18446604452384697408 0 0 -1 2 0 0 0
[pid=9203/tid=9219] ppid=9201 vsize=15688728 CPUtime=1.2 cores=0,2,4,6
/proc/9203/task/9219/stat : 9219 (java) S 9201 9203 8397 0 -1 4202560 18956 0 0 0 117 3 0 0 15 0 22 0 522594497 16065257472 97120 33554432000 1073741824 1073778376 140735696301072 18446744073709551615 230820981657 0 4 0 16800975 18446604452384697408 0 0 -1 4 0 0 0
[pid=9203/tid=9220] ppid=9201 vsize=15688728 CPUtime=0 cores=0,2,4,6
/proc/9203/task/9220/stat : 9220 (java) S 9201 9203 8397 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522594497 16065257472 97120 33554432000 1073741824 1073778376 140735696301072 18446744073709551615 230820981657 0 4 0 16800975 18446604452384697408 0 0 -1 4 0 0 0
[pid=9203/tid=9221] ppid=9201 vsize=15688728 CPUtime=0 cores=0,2,4,6
/proc/9203/task/9221/stat : 9221 (java) S 9201 9203 8397 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 522594497 16065257472 97120 33554432000 1073741824 1073778376 140735696301072 18446744073709551615 230820982272 0 4 0 16800975 18446604452384697408 0 0 -1 0 0 0 0
[pid=9203/tid=9245] ppid=9201 vsize=15688728 CPUtime=0 cores=0,2,4,6
/proc/9203/task/9245/stat : 9245 (java) S 9201 9203 8397 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 22 0 522594596 16065257472 97120 33554432000 1073741824 1073778376 140735696301072 18446744073709551615 230820982272 0 4 0 16800975 18446604452384697408 0 0 -1 0 0 0 0

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

[pid=9203/tid=9214] ppid=9201 vsize=15688728 CPUtime=6.98 cores=0,2,4,6
/proc/9203/task/9214/stat : 9214 (java) S 9201 9203 8397 0 -1 4202560 211099 0 0 0 673 25 0 0 15 0 22 0 522594494 16065257472 3592886 33554432000 1073741824 1073778376 140735696301072 18446744073709551615 230820982272 0 0 0 16800975 18446604452384697408 0 0 -1 0 0 0 0
[pid=9203/tid=9215] ppid=9201 vsize=15688728 CPUtime=0 cores=0,2,4,6
/proc/9203/task/9215/stat : 9215 (java) S 9201 9203 8397 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 522594495 16065257472 3592886 33554432000 1073741824 1073778376 140735696301072 18446744073709551615 230820981657 0 4 0 16800975 18446604452384697408 0 0 -1 0 0 0 0
[pid=9203/tid=9216] ppid=9201 vsize=15688728 CPUtime=0 cores=0,2,4,6
/proc/9203/task/9216/stat : 9216 (java) S 9201 9203 8397 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 522594495 16065257472 3592886 33554432000 1073741824 1073778376 140735696301072 18446744073709551615 230820981657 0 4 0 16800975 18446604452384697408 0 0 -1 0 0 0 0
[pid=9203/tid=9217] ppid=9201 vsize=15688728 CPUtime=0 cores=0,2,4,6
/proc/9203/task/9217/stat : 9217 (java) S 9201 9203 8397 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522594497 16065257472 3592886 33554432000 1073741824 1073778376 140735696301072 18446744073709551615 230820989361 0 4 0 16800975 18446604452384697408 0 0 -1 4 0 0 0
[pid=9203/tid=9218] ppid=9201 vsize=15688728 CPUtime=1.72 cores=0,2,4,6
/proc/9203/task/9218/stat : 9218 (java) S 9201 9203 8397 0 -1 4202560 2992 0 0 0 172 0 0 0 15 0 22 0 522594497 16065257472 3592886 33554432000 1073741824 1073778376 140735696301072 18446744073709551615 230820981657 0 4 0 16800975 18446604452384697408 0 0 -1 0 0 0 0
[pid=9203/tid=9219] ppid=9201 vsize=15688728 CPUtime=2.39 cores=0,2,4,6
/proc/9203/task/9219/stat : 9219 (java) S 9201 9203 8397 0 -1 4202560 19094 0 0 0 236 3 0 0 15 0 22 0 522594497 16065257472 3592886 33554432000 1073741824 1073778376 140735696301072 18446744073709551615 230820981657 0 4 0 16800975 18446604452384697408 0 0 -1 4 0 0 0
[pid=9203/tid=9220] ppid=9201 vsize=15688728 CPUtime=0 cores=0,2,4,6
/proc/9203/task/9220/stat : 9220 (java) S 9201 9203 8397 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522594497 16065257472 3592886 33554432000 1073741824 1073778376 140735696301072 18446744073709551615 230820981657 0 4 0 16800975 18446604452384697408 0 0 -1 4 0 0 0
[pid=9203/tid=9221] ppid=9201 vsize=15688728 CPUtime=0 cores=0,2,4,6
/proc/9203/task/9221/stat : 9221 (java) S 9201 9203 8397 0 -1 4202560 70 0 0 0 0 0 0 0 15 0 22 0 522594497 16065257472 3592886 33554432000 1073741824 1073778376 140735696301072 18446744073709551615 230820982272 0 4 0 16800975 18446604452384697408 0 0 -1 0 0 0 0
[pid=9203/tid=9245] ppid=9201 vsize=15688728 CPUtime=1060.94 cores=0,2,4,6
/proc/9203/task/9245/stat : 9245 (java) R 9201 9203 8397 0 -1 4202560 29273 0 0 0 105862 232 0 0 19 0 22 0 522594596 16065257472 3592886 33554432000 1073741824 1073778376 140735696301072 18446744073709551615 46912506169986 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=9203/tid=9246] ppid=9201 vsize=15688728 CPUtime=1043.39 cores=0,2,4,6
/proc/9203/task/9246/stat : 9246 (java) R 9201 9203 8397 0 -1 4202560 596 0 0 0 104116 223 0 0 18 0 22 0 522594596 16065257472 3592886 33554432000 1073741824 1073778376 140735696301072 18446744073709551615 46912506363988 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=9203/tid=9247] ppid=9201 vsize=15688728 CPUtime=1056.93 cores=0,2,4,6
/proc/9203/task/9247/stat : 9247 (java) R 9201 9203 8397 0 -1 4202560 44067 0 0 0 105638 55 0 0 25 0 22 0 522594596 16065257472 3592886 33554432000 1073741824 1073778376 140735696301072 18446744073709551615 46912506196294 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=9203/tid=9248] ppid=9201 vsize=15688728 CPUtime=1067.39 cores=0,2,4,6
/proc/9203/task/9248/stat : 9248 (java) R 9201 9203 8397 0 -1 4202560 23571 0 0 0 106505 234 0 0 19 0 22 0 522594596 16065257472 3592886 33554432000 1073741824 1073778376 140735696301072 18446744073709551615 46912506167238 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4370.61
Current children cumulated vsize (KiB) 15688728

[startup+1182.3 s]
/proc/loadavg: 8.19 8.19 8.05 9/220 9295
/proc/meminfo: memFree=96768/32951124 swapFree=67111524/67111528
[pid=9203] ppid=9201 vsize=15688728 CPUtime=4609.21 cores=0,2,4,6
/proc/9203/stat : 9203 (java) S 9201 9203 8397 0 -1 4202496 3652680 0 1 0 459458 1463 0 0 21 0 22 0 522594492 16065257472 3593406 33554432000 1073741824 1073778376 140735696301072 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/9203/statm: 3922182 3593406 2299 9 0 3912901 0
[pid=9203/tid=9205] ppid=9201 vsize=15688728 CPUtime=7.39 cores=0,2,4,6
/proc/9203/task/9205/stat : 9205 (java) S 9201 9203 8397 0 -1 4202560 64164 0 1 0 731 8 0 0 25 0 22 0 522594492 16065257472 3593406 33554432000 1073741824 1073778376 140735696301072 18446744073709551615 230820981657 0 4 0 16800975 18446604452384697408 0 0 -1 0 0 0 0
[pid=9203/tid=9206] ppid=9201 vsize=15688728 CPUtime=15.71 cores=0,2,4,6
/proc/9203/task/9206/stat : 9206 (java) S 9201 9203 8397 0 -1 4202560 362393 0 0 0 1508 63 0 0 16 0 22 0 522594493 16065257472 3593406 33554432000 1073741824 1073778376 140735696301072 18446744073709551615 230820981657 0 4 0 16800975 18446604452384697408 0 0 -1 4 0 0 0
[pid=9203/tid=9207] ppid=9201 vsize=15688728 CPUtime=15.64 cores=0,2,4,6
/proc/9203/task/9207/stat : 9207 (java) S 9201 9203 8397 0 -1 4202560 358268 0 0 0 1502 62 0 0 16 0 22 0 522594493 16065257472 3593406 33554432000 1073741824 1073778376 140735696301072 18446744073709551615 230820981657 0 4 0 16800975 18446604452384697408 0 0 -1 0 0 0 0
[pid=9203/tid=9208] ppid=9201 vsize=15688728 CPUtime=14.38 cores=0,2,4,6
/proc/9203/task/9208/stat : 9208 (java) S 9201 9203 8397 0 -1 4202560 314294 0 0 0 1382 56 0 0 16 0 22 0 522594493 16065257472 3593406 33554432000 1073741824 1073778376 140735696301072 18446744073709551615 230820981657 0 4 0 16800975 18446604452384697408 0 0 -1 2 0 0 0
[pid=9203/tid=9209] ppid=9201 vsize=15688728 CPUtime=17.39 cores=0,2,4,6
/proc/9203/task/9209/stat : 9209 (java) S 9201 9203 8397 0 -1 4202560 424628 0 0 0 1662 77 0 0 15 0 22 0 522594493 16065257472 3593406 33554432000 1073741824 1073778376 140735696301072 18446744073709551615 230820981657 0 4 0 16800975 18446604452384697408 0 0 -1 6 0 0 0
[pid=9203/tid=9210] ppid=9201 vsize=15688728 CPUtime=18.19 cores=0,2,4,6
/proc/9203/task/9210/stat : 9210 (java) S 9201 9203 8397 0 -1 4202560 502196 0 0 0 1727 92 0 0 16 0 22 0 522594493 16065257472 3593406 33554432000 1073741824 1073778376 140735696301072 18446744073709551615 230820981657 0 4 0 16800975 18446604452384697408 0 0 -1 2 0 0 0
[pid=9203/tid=9211] ppid=9201 vsize=15688728 CPUtime=14.81 cores=0,2,4,6
/proc/9203/task/9211/stat : 9211 (java) S 9201 9203 8397 0 -1 4202560 367922 0 0 0 1413 68 0 0 15 0 22 0 522594493 16065257472 3593406 33554432000 1073741824 1073778376 140735696301072 18446744073709551615 230820981657 0 4 0 16800975 18446604452384697408 0 0 -1 2 0 0 0
[pid=9203/tid=9212] ppid=9201 vsize=15688728 CPUtime=16.04 cores=0,2,4,6
/proc/9203/task/9212/stat : 9212 (java) S 9201 9203 8397 0 -1 4202560 411243 0 0 0 1531 73 0 0 16 0 22 0 522594493 16065257472 3593406 33554432000 1073741824 1073778376 140735696301072 18446744073709551615 230820981657 0 4 0 16800975 18446604452384697408 0 0 -1 6 0 0 0
[pid=9203/tid=9213] ppid=9201 vsize=15688728 CPUtime=16.17 cores=0,2,4,6
/proc/9203/task/9213/stat : 9213 (java) S 9201 9203 8397 0 -1 4202560 515397 0 0 0 1527 90 0 0 15 0 22 0 522594493 16065257472 3593406 33554432000 1073741824 1073778376 140735696301072 18446744073709551615 230820981657 0 4 0 16800975 18446604452384697408 0 0 -1 4 0 0 0
[pid=9203/tid=9214] ppid=9201 vsize=15688728 CPUtime=6.99 cores=0,2,4,6
/proc/9203/task/9214/stat : 9214 (java) S 9201 9203 8397 0 -1 4202560 211100 0 0 0 674 25 0 0 15 0 22 0 522594494 16065257472 3593406 33554432000 1073741824 1073778376 140735696301072 18446744073709551615 230820982272 0 0 0 16800975 18446604452384697408 0 0 -1 4 0 0 0
[pid=9203/tid=9215] ppid=9201 vsize=15688728 CPUtime=0 cores=0,2,4,6
/proc/9203/task/9215/stat : 9215 (java) S 9201 9203 8397 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 522594495 16065257472 3593406 33554432000 1073741824 1073778376 140735696301072 18446744073709551615 230820981657 0 4 0 16800975 18446604452384697408 0 0 -1 0 0 0 0
[pid=9203/tid=9216] ppid=9201 vsize=15688728 CPUtime=0 cores=0,2,4,6
/proc/9203/task/9216/stat : 9216 (java) S 9201 9203 8397 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 522594495 16065257472 3593406 33554432000 1073741824 1073778376 140735696301072 18446744073709551615 230820981657 0 4 0 16800975 18446604452384697408 0 0 -1 0 0 0 0
[pid=9203/tid=9217] ppid=9201 vsize=15688728 CPUtime=0 cores=0,2,4,6
/proc/9203/task/9217/stat : 9217 (java) S 9201 9203 8397 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522594497 16065257472 3593406 33554432000 1073741824 1073778376 140735696301072 18446744073709551615 230820989361 0 4 0 16800975 18446604452384697408 0 0 -1 4 0 0 0
[pid=9203/tid=9218] ppid=9201 vsize=15688728 CPUtime=1.72 cores=0,2,4,6
/proc/9203/task/9218/stat : 9218 (java) S 9201 9203 8397 0 -1 4202560 2992 0 0 0 172 0 0 0 15 0 22 0 522594497 16065257472 3593406 33554432000 1073741824 1073778376 140735696301072 18446744073709551615 230820981657 0 4 0 16800975 18446604452384697408 0 0 -1 0 0 0 0
[pid=9203/tid=9219] ppid=9201 vsize=15688728 CPUtime=2.39 cores=0,2,4,6
/proc/9203/task/9219/stat : 9219 (java) S 9201 9203 8397 0 -1 4202560 19094 0 0 0 236 3 0 0 15 0 22 0 522594497 16065257472 3593406 33554432000 1073741824 1073778376 140735696301072 18446744073709551615 230820981657 0 4 0 16800975 18446604452384697408 0 0 -1 4 0 0 0
[pid=9203/tid=9220] ppid=9201 vsize=15688728 CPUtime=0 cores=0,2,4,6
/proc/9203/task/9220/stat : 9220 (java) S 9201 9203 8397 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522594497 16065257472 3593406 33554432000 1073741824 1073778376 140735696301072 18446744073709551615 230820981657 0 4 0 16800975 18446604452384697408 0 0 -1 4 0 0 0
[pid=9203/tid=9221] ppid=9201 vsize=15688728 CPUtime=0 cores=0,2,4,6
/proc/9203/task/9221/stat : 9221 (java) S 9201 9203 8397 0 -1 4202560 74 0 0 0 0 0 0 0 15 0 22 0 522594497 16065257472 3593406 33554432000 1073741824 1073778376 140735696301072 18446744073709551615 230820982272 0 4 0 16800975 18446604452384697408 0 0 -1 2 0 0 0
[pid=9203/tid=9245] ppid=9201 vsize=15688728 CPUtime=1119.19 cores=0,2,4,6
/proc/9203/task/9245/stat : 9245 (java) R 9201 9203 8397 0 -1 4202560 29277 0 0 0 111658 261 0 0 18 0 22 0 522594596 16065257472 3593406 33554432000 1073741824 1073778376 140735696301072 18446744073709551615 46912505654714 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=9203/tid=9246] ppid=9201 vsize=15688728 CPUtime=1101.79 cores=0,2,4,6
/proc/9203/task/9246/stat : 9246 (java) R 9201 9203 8397 0 -1 4202560 602 0 0 0 109926 253 0 0 18 0 22 0 522594596 16065257472 3593406 33554432000 1073741824 1073778376 140735696301072 18446744073709551615 46912506271936 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=9203/tid=9247] ppid=9201 vsize=15688728 CPUtime=1115.4 cores=0,2,4,6
/proc/9203/task/9247/stat : 9247 (java) R 9201 9203 8397 0 -1 4202560 44072 0 0 0 111484 56 0 0 25 0 22 0 522594596 16065257472 3593406 33554432000 1073741824 1073778376 140735696301072 18446744073709551615 46912506271936 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=9203/tid=9248] ppid=9201 vsize=15688728 CPUtime=1125.82 cores=0,2,4,6
/proc/9203/task/9248/stat : 9248 (java) R 9201 9203 8397 0 -1 4202560 23580 0 0 0 112316 266 0 0 19 0 22 0 522594596 16065257472 3593406 33554432000 1073741824 1073778376 140735696301072 18446744073709551615 46912506209764 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4609.21
Current children cumulated vsize (KiB) 15688728



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1230.3 s]
/proc/loadavg: 8.13 8.18 8.05 10/220 9297
/proc/meminfo: memFree=94196/32951124 swapFree=67111524/67111528
[pid=9203] ppid=9201 vsize=15688728 CPUtime=4800.29 cores=0,2,4,6
/proc/9203/stat : 9203 (java) S 9201 9203 8397 0 -1 4202496 3655544 0 1 0 478492 1537 0 0 21 0 22 0 522594492 16065257472 3595730 33554432000 1073741824 1073778376 140735696301072 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/9203/statm: 3922182 3595730 2299 9 0 3912901 0
[pid=9203/tid=9205] ppid=9201 vsize=15688728 CPUtime=7.39 cores=0,2,4,6
/proc/9203/task/9205/stat : 9205 (java) S 9201 9203 8397 0 -1 4202560 64164 0 1 0 731 8 0 0 25 0 22 0 522594492 16065257472 3595730 33554432000 1073741824 1073778376 140735696301072 18446744073709551615 230820981657 0 4 0 16800975 18446604452384697408 0 0 -1 0 0 0 0
[pid=9203/tid=9206] ppid=9201 vsize=15688728 CPUtime=16.16 cores=0,2,4,6
/proc/9203/task/9206/stat : 9206 (java) S 9201 9203 8397 0 -1 4202560 363519 0 0 0 1552 64 0 0 16 0 22 0 522594493 16065257472 3595730 33554432000 1073741824 1073778376 140735696301072 18446744073709551615 230820981657 0 4 0 16800975 18446604452384697408 0 0 -1 4 0 0 0
[pid=9203/tid=9207] ppid=9201 vsize=15688728 CPUtime=16.13 cores=0,2,4,6
/proc/9203/task/9207/stat : 9207 (java) S 9201 9203 8397 0 -1 4202560 359014 0 0 0 1551 62 0 0 16 0 22 0 522594493 16065257472 3595730 33554432000 1073741824 1073778376 140735696301072 18446744073709551615 230820981657 0 4 0 16800975 18446604452384697408 0 0 -1 2 0 0 0
[pid=9203/tid=9208] ppid=9201 vsize=15688728 CPUtime=14.9 cores=0,2,4,6
/proc/9203/task/9208/stat : 9208 (java) S 9201 9203 8397 0 -1 4202560 314864 0 0 0 1434 56 0 0 16 0 22 0 522594493 16065257472 3595730 33554432000 1073741824 1073778376 140735696301072 18446744073709551615 230820981657 0 4 0 16800975 18446604452384697408 0 0 -1 6 0 0 0
[pid=9203/tid=9209] ppid=9201 vsize=15688728 CPUtime=17.94 cores=0,2,4,6
/proc/9203/task/9209/stat : 9209 (java) S 9201 9203 8397 0 -1 4202560 424655 0 0 0 1717 77 0 0 16 0 22 0 522594493 16065257472 3595730 33554432000 1073741824 1073778376 140735696301072 18446744073709551615 230820981657 0 4 0 16800975 18446604452384697408 0 0 -1 2 0 0 0
[pid=9203/tid=9210] ppid=9201 vsize=15688728 CPUtime=18.78 cores=0,2,4,6
/proc/9203/task/9210/stat : 9210 (java) S 9201 9203 8397 0 -1 4202560 502221 0 0 0 1786 92 0 0 16 0 22 0 522594493 16065257472 3595730 33554432000 1073741824 1073778376 140735696301072 18446744073709551615 230820981657 0 4 0 16800975 18446604452384697408 0 0 -1 0 0 0 0
[pid=9203/tid=9211] ppid=9201 vsize=15688728 CPUtime=15.15 cores=0,2,4,6
/proc/9203/task/9211/stat : 9211 (java) S 9201 9203 8397 0 -1 4202560 367953 0 0 0 1447 68 0 0 16 0 22 0 522594493 16065257472 3595730 33554432000 1073741824 1073778376 140735696301072 18446744073709551615 230820981657 0 4 0 16800975 18446604452384697408 0 0 -1 6 0 0 0
[pid=9203/tid=9212] ppid=9201 vsize=15688728 CPUtime=16.7 cores=0,2,4,6
/proc/9203/task/9212/stat : 9212 (java) S 9201 9203 8397 0 -1 4202560 411558 0 0 0 1597 73 0 0 15 0 22 0 522594493 16065257472 3595730 33554432000 1073741824 1073778376 140735696301072 18446744073709551615 230820981657 0 4 0 16800975 18446604452384697408 0 0 -1 0 0 0 0
[pid=9203/tid=9213] ppid=9201 vsize=15688728 CPUtime=16.79 cores=0,2,4,6
/proc/9203/task/9213/stat : 9213 (java) S 9201 9203 8397 0 -1 4202560 515397 0 0 0 1589 90 0 0 16 0 22 0 522594493 16065257472 3595730 33554432000 1073741824 1073778376 140735696301072 18446744073709551615 230820981657 0 4 0 16800975 18446604452384697408 0 0 -1 4 0 0 0
[pid=9203/tid=9214] ppid=9201 vsize=15688728 CPUtime=6.99 cores=0,2,4,6
/proc/9203/task/9214/stat : 9214 (java) S 9201 9203 8397 0 -1 4202560 211102 0 0 0 674 25 0 0 15 0 22 0 522594494 16065257472 3595730 33554432000 1073741824 1073778376 140735696301072 18446744073709551615 230820982272 0 0 0 16800975 18446604452384697408 0 0 -1 4 0 0 0
[pid=9203/tid=9215] ppid=9201 vsize=15688728 CPUtime=0 cores=0,2,4,6
/proc/9203/task/9215/stat : 9215 (java) S 9201 9203 8397 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 522594495 16065257472 3595730 33554432000 1073741824 1073778376 140735696301072 18446744073709551615 230820981657 0 4 0 16800975 18446604452384697408 0 0 -1 0 0 0 0
[pid=9203/tid=9216] ppid=9201 vsize=15688728 CPUtime=0 cores=0,2,4,6
/proc/9203/task/9216/stat : 9216 (java) S 9201 9203 8397 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 522594495 16065257472 3595730 33554432000 1073741824 1073778376 140735696301072 18446744073709551615 230820981657 0 4 0 16800975 18446604452384697408 0 0 -1 0 0 0 0
[pid=9203/tid=9217] ppid=9201 vsize=15688728 CPUtime=0 cores=0,2,4,6
/proc/9203/task/9217/stat : 9217 (java) S 9201 9203 8397 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522594497 16065257472 3595730 33554432000 1073741824 1073778376 140735696301072 18446744073709551615 230820989361 0 4 0 16800975 18446604452384697408 0 0 -1 4 0 0 0
[pid=9203/tid=9218] ppid=9201 vsize=15688728 CPUtime=1.72 cores=0,2,4,6
/proc/9203/task/9218/stat : 9218 (java) S 9201 9203 8397 0 -1 4202560 2992 0 0 0 172 0 0 0 15 0 22 0 522594497 16065257472 3595730 33554432000 1073741824 1073778376 140735696301072 18446744073709551615 230820981657 0 4 0 16800975 18446604452384697408 0 0 -1 0 0 0 0
[pid=9203/tid=9219] ppid=9201 vsize=15688728 CPUtime=2.39 cores=0,2,4,6
/proc/9203/task/9219/stat : 9219 (java) S 9201 9203 8397 0 -1 4202560 19094 0 0 0 236 3 0 0 15 0 22 0 522594497 16065257472 3595730 33554432000 1073741824 1073778376 140735696301072 18446744073709551615 230820981657 0 4 0 16800975 18446604452384697408 0 0 -1 4 0 0 0
[pid=9203/tid=9220] ppid=9201 vsize=15688728 CPUtime=0 cores=0,2,4,6
/proc/9203/task/9220/stat : 9220 (java) S 9201 9203 8397 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522594497 16065257472 3595730 33554432000 1073741824 1073778376 140735696301072 18446744073709551615 230820981657 0 4 0 16800975 18446604452384697408 0 0 -1 4 0 0 0
[pid=9203/tid=9221] ppid=9201 vsize=15688728 CPUtime=0 cores=0,2,4,6
/proc/9203/task/9221/stat : 9221 (java) S 9201 9203 8397 0 -1 4202560 76 0 0 0 0 0 0 0 15 0 22 0 522594497 16065257472 3595730 33554432000 1073741824 1073778376 140735696301072 18446744073709551615 230820982272 0 4 0 16800975 18446604452384697408 0 0 -1 6 0 0 0
[pid=9203/tid=9245] ppid=9201 vsize=15688728 CPUtime=1165.92 cores=0,2,4,6
/proc/9203/task/9245/stat : 9245 (java) R 9201 9203 8397 0 -1 4202560 29282 0 0 0 116311 281 0 0 18 0 22 0 522594596 16065257472 3595730 33554432000 1073741824 1073778376 140735696301072 18446744073709551615 46912506167251 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=9203/tid=9246] ppid=9201 vsize=15688728 CPUtime=1148.46 cores=0,2,4,6
/proc/9203/task/9246/stat : 9246 (java) R 9201 9203 8397 0 -1 4202560 609 0 0 0 114570 276 0 0 18 0 22 0 522594596 16065257472 3595730 33554432000 1073741824 1073778376 140735696301072 18446744073709551615 47513586676354 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=9203/tid=9247] ppid=9201 vsize=15688728 CPUtime=1162.18 cores=0,2,4,6
/proc/9203/task/9247/stat : 9247 (java) R 9201 9203 8397 0 -1 4202560 44074 0 0 0 116154 64 0 0 18 0 22 0 522594596 16065257472 3595730 33554432000 1073741824 1073778376 140735696301072 18446744073709551615 46912506528114 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=9203/tid=9248] ppid=9201 vsize=15688728 CPUtime=1172.52 cores=0,2,4,6
/proc/9203/task/9248/stat : 9248 (java) R 9201 9203 8397 0 -1 4202560 23586 0 0 0 116963 289 0 0 18 0 22 0 522594596 16065257472 3595730 33554432000 1073741824 1073778376 140735696301072 18446744073709551615 46912506528563 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.29
Current children cumulated vsize (KiB) 15688728

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

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

[startup+1230.51 s]
/proc/loadavg: 8.13 8.18 8.05 6/201 9300
/proc/meminfo: memFree=2205080/32951124 swapFree=67111524/67111528
[pid=9203] ppid=9201 vsize=0 CPUtime=4800.54 cores=0,2,4,6
/proc/9203/stat : 9203 (java) Z 9201 9203 8397 0 -1 4203548 3655571 0 1 0 478498 1556 0 0 17 0 2 0 522594492 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/9203/statm: 0 0 0 0 0 0 0
[pid=9203/tid=9205] ppid=9201 vsize=0 CPUtime=7.58 cores=0,2,4,6
/proc/9203/task/9205/stat : 9205 (java) R 9201 9203 8397 0 -1 4203588 64164 0 1 0 731 27 0 0 18 0 2 0 522594492 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.54
Current children cumulated vsize (KiB) 0

[startup+1230.7 s]
/proc/loadavg: 8.13 8.18 8.05 6/201 9300
/proc/meminfo: memFree=2205080/32951124 swapFree=67111524/67111528
[pid=9203] ppid=9201 vsize=0 CPUtime=4800.73 cores=0,2,4,6
/proc/9203/stat : 9203 (java) Z 9201 9203 8397 0 -1 4203548 3655571 0 1 0 478498 1575 0 0 17 0 2 0 522594492 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/9203/statm: 0 0 0 0 0 0 0
[pid=9203/tid=9205] ppid=9201 vsize=0 CPUtime=7.77 cores=0,2,4,6
/proc/9203/task/9205/stat : 9205 (java) R 9201 9203 8397 0 -1 4203588 64164 0 1 0 731 46 0 0 18 0 2 0 522594492 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.73
Current children cumulated vsize (KiB) 0

[startup+1230.8 s]
/proc/loadavg: 8.13 8.18 8.05 6/201 9300
/proc/meminfo: memFree=2205080/32951124 swapFree=67111524/67111528
[pid=9203] ppid=9201 vsize=0 CPUtime=4800.83 cores=0,2,4,6
/proc/9203/stat : 9203 (java) Z 9201 9203 8397 0 -1 4203548 3655571 0 1 0 478498 1585 0 0 17 0 2 0 522594492 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/9203/statm: 0 0 0 0 0 0 0
[pid=9203/tid=9205] ppid=9201 vsize=0 CPUtime=7.87 cores=0,2,4,6
/proc/9203/task/9205/stat : 9205 (java) R 9201 9203 8397 0 -1 4203588 64164 0 1 0 731 56 0 0 18 0 2 0 522594492 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.83
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1230.89
CPU time (s): 4800.94
CPU user time (s): 4784.99
CPU system time (s): 15.9496
CPU usage (%): 390.036
Max. virtual memory (cumulated for all children) (KiB): 15695108

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4784.99
system time used= 15.9496
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3655571
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= 1683540
involuntary context switches= 105355

runsolver used 2.04169 second user time and 4.79027 second system time

The end

Launcher Data 

Begin job on node104 at 2011-04-29 22:45:40
IDJOB=3312215
IDBENCH=82477
IDSOLVER=1698
FILE ID=node104/3312215-1304109940
RUNJOBID= node104-1304109940-9189
PBS_JOBID= 13170642
Free space on /tmp= 71540 MiB

SOLVER NAME= STRUCTure 0.1 (hbr=2)
BENCH NAME= SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-bobsm5378d2-tseitin.cnf
COMMAND LINE= run 15000 NBCORE TMPDIR DIR BENCHNAME -hbr 2
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3312215-1304109940/watcher-3312215-1304109940 -o /tmp/evaluation-result-3312215-1304109940/solver-3312215-1304109940 -C 4800 -W 1300 -M 15500  run 15000 4 HOME HOME HOME/instance-3312215-1304109940.cnf -hbr 2

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

MD5SUM BENCH= f1a7d779d46b93ce2fde4f2438e6ae5c
RANDOM SEED=273727451

node104.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.855
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.71
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.855
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.83
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.855
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.67
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.855
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.80
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.855
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	: 5293.18
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.855
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.83
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.855
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.855
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.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      26043924 kB
Buffers:       1892460 kB
Cached:        4403956 kB
SwapCached:          4 kB
Active:         185932 kB
Inactive:      6178112 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      26043924 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:           10216 kB
Writeback:           0 kB
AnonPages:       66932 kB
Mapped:          14488 kB
Slab:           480100 kB
PageTables:       4704 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   190252 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= 71532 MiB
End job on node104 at 2011-04-29 23:06:13