Trace number 3313039

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.18 1206.84

General information on the benchmark

NameCRAFTED/rbsat/random/forced/
rbsat-v945c61409gyes5.cnf
MD5SUMccc3b90e7796ba48b01939580fe6357c
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark4.34434
Satisfiable
(Un)Satisfiability was proved
Number of variables945
Number of clauses61409
Sum of the clauses size123673
Maximum clause length21
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 261364
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 545

Solver Data 

0.10/0.11	32:43 INFO : Reading from input HOME/instance-3313039-1304083962.cnf
0.61/0.47	Executor set job limit to 1000000
0.61/0.47	Executor set job limit to 1000000
0.61/0.47	Executor set job limit to 1000000
0.61/0.47	Executor set job limit to 1000000
0.61/0.47	Starting Executor!
0.61/0.47	Starting Executor!
0.61/0.47	Starting Executor!
0.61/0.47	Starting Executor!
2.36/1.22	32:44 INFO : 945 variables remaining out of 945
2.36/1.22	32:44 INFO : 352776 literals remaining out of 185082

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

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

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


[startup+0 s]
/proc/loadavg: 7.47 7.89 7.76 2/194 29399
/proc/meminfo: memFree=30819176/32951124 swapFree=67111364/67111528
[pid=29399] ppid=29397 vsize=23028 CPUtime=0 cores=0,2,4,6
/proc/29399/stat : 29399 (java) R 29397 29399 28877 0 -1 4202496 1200 0 0 0 0 0 0 0 25 0 1 0 519994208 23580672 685 33554432000 1073741824 1073778376 140734301321344 18446744073709551615 228239386088 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/29399/statm: 5757 685 512 9 0 124 0

[startup+0.0620391 s]
/proc/loadavg: 7.47 7.89 7.76 2/194 29399
/proc/meminfo: memFree=30819176/32951124 swapFree=67111364/67111528
[pid=29399] ppid=29397 vsize=15609780 CPUtime=0.05 cores=0,2,4,6
/proc/29399/stat : 29399 (java) S 29397 29399 28877 0 -1 4202496 4305 0 1 0 5 0 0 0 25 0 18 0 519994208 15984414720 3743 33554432000 1073741824 1073778376 140734301321344 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/29399/statm: 3902445 3744 1778 9 0 3893164 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 15609780

[startup+0.101043 s]
/proc/loadavg: 7.47 7.89 7.76 2/194 29399
/proc/meminfo: memFree=30819176/32951124 swapFree=67111364/67111528
[pid=29399] ppid=29397 vsize=15676788 CPUtime=0.1 cores=0,2,4,6
/proc/29399/stat : 29399 (java) S 29397 29399 28877 0 -1 4202496 5618 0 1 0 9 1 0 0 25 0 18 0 519994208 16053030912 5022 33554432000 1073741824 1073778376 140734301321344 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/29399/statm: 3919197 5022 2116 9 0 3909916 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15676788

[startup+0.30102 s]
/proc/loadavg: 7.47 7.89 7.76 2/194 29399
/proc/meminfo: memFree=30819176/32951124 swapFree=67111364/67111528
[pid=29399] ppid=29397 vsize=15680768 CPUtime=0.51 cores=0,2,4,6
/proc/29399/stat : 29399 (java) S 29397 29399 28877 0 -1 4202496 14405 0 1 0 48 3 0 0 25 0 18 0 519994208 16057106432 12874 33554432000 1073741824 1073778376 140734301321344 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/29399/statm: 3920192 12880 2206 9 0 3910911 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 15680768

[startup+0.700951 s]
/proc/loadavg: 7.47 7.89 7.76 2/194 29399
/proc/meminfo: memFree=30819176/32951124 swapFree=67111364/67111528
[pid=29399] ppid=29397 vsize=15685024 CPUtime=1.15 cores=0,2,4,6
/proc/29399/stat : 29399 (java) S 29397 29399 28877 0 -1 4202496 45419 0 1 0 108 7 0 0 25 0 22 0 519994208 16061464576 42058 33554432000 1073741824 1073778376 140734301321344 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/29399/statm: 3921256 42058 2248 9 0 3911975 0
Current children cumulated CPU time (s) 1.15
Current children cumulated vsize (KiB) 15685024

[startup+1.50479 s]
/proc/loadavg: 7.47 7.89 7.76 6/220 29425
/proc/meminfo: memFree=30621684/32951124 swapFree=67111364/67111528
[pid=29399] ppid=29397 vsize=15689284 CPUtime=2.93 cores=0,2,4,6
/proc/29399/stat : 29399 (java) S 29397 29399 28877 0 -1 4202496 53810 0 1 0 284 9 0 0 25 0 22 0 519994208 16065826816 46009 33554432000 1073741824 1073778376 140734301321344 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/29399/statm: 3922321 46009 2273 9 0 3913040 0
[pid=29399/tid=29401] ppid=29397 vsize=15689284 CPUtime=1.2 cores=0,2,4,6
/proc/29399/task/29401/stat : 29401 (java) S 29397 29399 28877 0 -1 4202560 35694 0 1 0 115 5 0 0 18 0 22 0 519994209 16065826816 46009 33554432000 1073741824 1073778376 140734301321344 18446744073709551615 228256164761 0 4 0 16800975 18446604448084364352 0 0 -1 2 0 0 0
[pid=29399/tid=29402] ppid=29397 vsize=15689284 CPUtime=0 cores=0,2,4,6
/proc/29399/task/29402/stat : 29402 (java) S 29397 29399 28877 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 519994209 16065826816 46009 33554432000 1073741824 1073778376 140734301321344 18446744073709551615 228256164761 0 4 0 16800975 18446604448084364352 0 0 -1 6 0 0 0
[pid=29399/tid=29403] ppid=29397 vsize=15689284 CPUtime=0 cores=0,2,4,6
/proc/29399/task/29403/stat : 29403 (java) S 29397 29399 28877 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 519994209 16065826816 46009 33554432000 1073741824 1073778376 140734301321344 18446744073709551615 228256164761 0 4 0 16800975 18446604448084364352 0 0 -1 6 0 0 0
[pid=29399/tid=29404] ppid=29397 vsize=15689284 CPUtime=0 cores=0,2,4,6
/proc/29399/task/29404/stat : 29404 (java) S 29397 29399 28877 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 519994209 16065826816 46009 33554432000 1073741824 1073778376 140734301321344 18446744073709551615 228256164761 0 4 0 16800975 18446604448084364352 0 0 -1 6 0 0 0
[pid=29399/tid=29405] ppid=29397 vsize=15689284 CPUtime=0 cores=0,2,4,6
/proc/29399/task/29405/stat : 29405 (java) S 29397 29399 28877 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 519994209 16065826816 46009 33554432000 1073741824 1073778376 140734301321344 18446744073709551615 228256164761 0 4 0 16800975 18446604448084364352 0 0 -1 6 0 0 0
[pid=29399/tid=29406] ppid=29397 vsize=15689284 CPUtime=0 cores=0,2,4,6
/proc/29399/task/29406/stat : 29406 (java) S 29397 29399 28877 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 519994209 16065826816 46009 33554432000 1073741824 1073778376 140734301321344 18446744073709551615 228256164761 0 4 0 16800975 18446604448084364352 0 0 -1 6 0 0 0
[pid=29399/tid=29407] ppid=29397 vsize=15689284 CPUtime=0 cores=0,2,4,6
/proc/29399/task/29407/stat : 29407 (java) S 29397 29399 28877 0 -1 4202560 57 0 0 0 0 0 0 0 21 0 22 0 519994209 16065826816 46009 33554432000 1073741824 1073778376 140734301321344 18446744073709551615 228256164761 0 4 0 16800975 18446604448084364352 0 0 -1 0 0 0 0
[pid=29399/tid=29408] ppid=29397 vsize=15689284 CPUtime=0 cores=0,2,4,6
/proc/29399/task/29408/stat : 29408 (java) S 29397 29399 28877 0 -1 4202560 327 0 0 0 0 0 0 0 21 0 22 0 519994209 16065826816 46009 33554432000 1073741824 1073778376 140734301321344 18446744073709551615 228256164761 0 4 0 16800975 18446604448084364352 0 0 -1 6 0 0 0
[pid=29399/tid=29409] ppid=29397 vsize=15689284 CPUtime=0 cores=0,2,4,6
/proc/29399/task/29409/stat : 29409 (java) S 29397 29399 28877 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 22 0 519994209 16065826816 46009 33554432000 1073741824 1073778376 140734301321344 18446744073709551615 228256164761 0 4 0 16800975 18446604448084364352 0 0 -1 6 0 0 0
[pid=29399/tid=29410] ppid=29397 vsize=15689284 CPUtime=0 cores=0,2,4,6
/proc/29399/task/29410/stat : 29410 (java) S 29397 29399 28877 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 22 0 519994210 16065826816 46009 33554432000 1073741824 1073778376 140734301321344 18446744073709551615 228256165376 0 0 0 16800975 18446604448084364352 0 0 -1 0 0 0 0
[pid=29399/tid=29411] ppid=29397 vsize=15689284 CPUtime=0 cores=0,2,4,6
/proc/29399/task/29411/stat : 29411 (java) S 29397 29399 28877 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 22 0 519994211 16065826816 46009 33554432000 1073741824 1073778376 140734301321344 18446744073709551615 228256164761 0 4 0 16800975 18446604448084364352 0 0 -1 0 0 0 0
[pid=29399/tid=29412] ppid=29397 vsize=15689284 CPUtime=0 cores=0,2,4,6
/proc/29399/task/29412/stat : 29412 (java) S 29397 29399 28877 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 22 0 519994211 16065826816 46009 33554432000 1073741824 1073778376 140734301321344 18446744073709551615 228256164761 0 4 0 16800975 18446604448084364352 0 0 -1 0 0 0 0
[pid=29399/tid=29413] ppid=29397 vsize=15689284 CPUtime=0 cores=0,2,4,6
/proc/29399/task/29413/stat : 29413 (java) S 29397 29399 28877 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 519994213 16065826816 46009 33554432000 1073741824 1073778376 140734301321344 18446744073709551615 228256172465 0 4 0 16800975 18446604448084364352 0 0 -1 2 0 0 0
[pid=29399/tid=29414] ppid=29397 vsize=15689284 CPUtime=0.89 cores=0,2,4,6
/proc/29399/task/29414/stat : 29414 (java) R 29397 29399 28877 0 -1 4202560 13768 0 0 0 87 2 0 0 16 0 22 0 519994213 16065826816 46009 33554432000 1073741824 1073778376 140734301321344 18446744073709551615 47668816595496 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=29399/tid=29415] ppid=29397 vsize=15689284 CPUtime=0.49 cores=0,2,4,6
/proc/29399/task/29415/stat : 29415 (java) S 29397 29399 28877 0 -1 4202560 2490 0 0 0 49 0 0 0 15 0 22 0 519994213 16065826816 46009 33554432000 1073741824 1073778376 140734301321344 18446744073709551615 228256164761 0 4 0 16800975 18446604448084364352 0 0 -1 0 0 0 0
[pid=29399/tid=29416] ppid=29397 vsize=15689284 CPUtime=0 cores=0,2,4,6
/proc/29399/task/29416/stat : 29416 (java) S 29397 29399 28877 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 519994213 16065826816 46009 33554432000 1073741824 1073778376 140734301321344 18446744073709551615 228256164761 0 4 0 16800975 18446604448084364352 0 0 -1 2 0 0 0
[pid=29399/tid=29417] ppid=29397 vsize=15689284 CPUtime=0 cores=0,2,4,6
/proc/29399/task/29417/stat : 29417 (java) S 29397 29399 28877 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 519994213 16065826816 46009 33554432000 1073741824 1073778376 140734301321344 18446744073709551615 228256165376 0 4 0 16800975 18446604448084364352 0 0 -1 4 0 0 0
[pid=29399/tid=29422] ppid=29397 vsize=15689284 CPUtime=0.17 cores=0,2,4,6
/proc/29399/task/29422/stat : 29422 (java) S 29397 29399 28877 0 -1 4202560 31 0 0 0 17 0 0 0 15 0 22 0 519994256 16065826816 46009 33554432000 1073741824 1073778376 140734301321344 18446744073709551615 228256165376 0 4 0 16800975 18446604448084364352 0 0 -1 4 0 0 0
[pid=29399/tid=29423] ppid=29397 vsize=15689284 CPUtime=0.09 cores=0,2,4,6
/proc/29399/task/29423/stat : 29423 (java) R 29397 29399 28877 0 -1 4202560 8 0 0 0 9 0 0 0 15 0 22 0 519994256 16065826816 46009 33554432000 1073741824 1073778376 140734301321344 18446744073709551615 46912505605016 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=29399/tid=29424] ppid=29397 vsize=15689284 CPUtime=0 cores=0,2,4,6
/proc/29399/task/29424/stat : 29424 (java) S 29397 29399 28877 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 22 0 519994256 16065826816 46009 33554432000 1073741824 1073778376 140734301321344 18446744073709551615 228256165376 0 4 0 16800975 18446604448084364352 0 0 -1 0 0 0 0
[pid=29399/tid=29425] ppid=29397 vsize=15689284 CPUtime=0.04 cores=0,2,4,6
/proc/29399/task/29425/stat : 29425 (java) R 29397 29399 28877 0 -1 4202560 10 0 0 0 4 0 0 0 15 0 22 0 519994256 16065826816 46009 33554432000 1073741824 1073778376 140734301321344 18446744073709551615 46912506118462 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 15689284

[startup+3.10144 s]
/proc/loadavg: 7.47 7.89 7.76 11/220 29425
/proc/meminfo: memFree=30484424/32951124 swapFree=67111364/67111528
[pid=29399] ppid=29397 vsize=15691864 CPUtime=9.08 cores=0,2,4,6
/proc/29399/stat : 29399 (java) S 29397 29399 28877 0 -1 4202496 141899 0 1 0 888 20 0 0 25 0 22 0 519994208 16068468736 134039 33554432000 1073741824 1073778376 140734301321344 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/29399/statm: 3922966 134045 2283 9 0 3913685 0
[pid=29399/tid=29401] ppid=29397 vsize=15691864 CPUtime=1.2 cores=0,2,4,6
/proc/29399/task/29401/stat : 29401 (java) S 29397 29399 28877 0 -1 4202560 35694 0 1 0 115 5 0 0 18 0 22 0 519994209 16068468736 134049 33554432000 1073741824 1073778376 140734301321344 18446744073709551615 228256164761 0 4 0 16800975 18446604448084364352 0 0 -1 2 0 0 0
[pid=29399/tid=29402] ppid=29397 vsize=15691864 CPUtime=0.01 cores=0,2,4,6
/proc/29399/task/29402/stat : 29402 (java) S 29397 29399 28877 0 -1 4202560 4759 0 0 0 1 0 0 0 15 0 22 0 519994209 16068468736 134053 33554432000 1073741824 1073778376 140734301321344 18446744073709551615 228256164761 0 4 0 16800975 18446604448084364352 0 0 -1 0 0 0 0
[pid=29399/tid=29403] ppid=29397 vsize=15691864 CPUtime=0 cores=0,2,4,6
/proc/29399/task/29403/stat : 29403 (java) S 29397 29399 28877 0 -1 4202560 3065 0 0 0 0 0 0 0 15 0 22 0 519994209 16068468736 134058 33554432000 1073741824 1073778376 140734301321344 18446744073709551615 228256164761 0 4 0 16800975 18446604448084364352 0 0 -1 6 0 0 0
[pid=29399/tid=29404] ppid=29397 vsize=15691864 CPUtime=0.02 cores=0,2,4,6
/proc/29399/task/29404/stat : 29404 (java) S 29397 29399 28877 0 -1 4202560 5703 0 0 0 1 1 0 0 15 0 22 0 519994209 16068468736 134063 33554432000 1073741824 1073778376 140734301321344 18446744073709551615 228256164761 0 4 0 16800975 18446604448084364352 0 0 -1 2 0 0 0
[pid=29399/tid=29405] ppid=29397 vsize=15691864 CPUtime=0 cores=0,2,4,6
/proc/29399/task/29405/stat : 29405 (java) S 29397 29399 28877 0 -1 4202560 2071 0 0 0 0 0 0 0 15 0 22 0 519994209 16068468736 134067 33554432000 1073741824 1073778376 140734301321344 18446744073709551615 228256164761 0 4 0 16800975 18446604448084364352 0 0 -1 6 0 0 0
[pid=29399/tid=29406] ppid=29397 vsize=15691864 CPUtime=0 cores=0,2,4,6
/proc/29399/task/29406/stat : 29406 (java) S 29397 29399 28877 0 -1 4202560 2187 0 0 0 0 0 0 0 15 0 22 0 519994209 16068468736 134071 33554432000 1073741824 1073778376 140734301321344 18446744073709551615 228256164761 0 4 0 16800975 18446604448084364352 0 0 -1 6 0 0 0
[pid=29399/tid=29407] ppid=29397 vsize=15691864 CPUtime=0 cores=0,2,4,6
/proc/29399/task/29407/stat : 29407 (java) S 29397 29399 28877 0 -1 4202560 2839 0 0 0 0 0 0 0 15 0 22 0 519994209 16068468736 134076 33554432000 1073741824 1073778376 140734301321344 18446744073709551615 228256164761 0 4 0 16800975 18446604448084364352 0 0 -1 0 0 0 0
[pid=29399/tid=29408] ppid=29397 vsize=15691864 CPUtime=0.01 cores=0,2,4,6
/proc/29399/task/29408/stat : 29408 (java) S 29397 29399 28877 0 -1 4202560 5391 0 0 0 1 0 0 0 16 0 22 0 519994209 16068468736 134079 33554432000 1073741824 1073778376 140734301321344 18446744073709551615 228256164761 0 4 0 16800975 18446604448084364352 0 0 -1 4 0 0 0
[pid=29399/tid=29409] ppid=29397 vsize=15691864 CPUtime=0 cores=0,2,4,6
/proc/29399/task/29409/stat : 29409 (java) S 29397 29399 28877 0 -1 4202560 2182 0 0 0 0 0 0 0 15 0 22 0 519994209 16068468736 134084 33554432000 1073741824 1073778376 140734301321344 18446744073709551615 228256164761 0 4 0 16800975 18446604448084364352 0 0 -1 4 0 0 0
[pid=29399/tid=29410] ppid=29397 vsize=15691864 CPUtime=0 cores=0,2,4,6
/proc/29399/task/29410/stat : 29410 (java) S 29397 29399 28877 0 -1 4202560 215 0 0 0 0 0 0 0 15 0 22 0 519994210 16068468736 134087 33554432000 1073741824 1073778376 140734301321344 18446744073709551615 228256165376 0 0 0 16800975 18446604448084364352 0 0 -1 4 0 0 0
[pid=29399/tid=29411] ppid=29397 vsize=15691864 CPUtime=0 cores=0,2,4,6
/proc/29399/task/29411/stat : 29411 (java) S 29397 29399 28877 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 519994211 16068468736 134092 33554432000 1073741824 1073778376 140734301321344 18446744073709551615 228256164761 0 4 0 16800975 18446604448084364352 0 0 -1 4 0 0 0
[pid=29399/tid=29412] ppid=29397 vsize=15691864 CPUtime=0 cores=0,2,4,6
/proc/29399/task/29412/stat : 29412 (java) S 29397 29399 28877 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 519994211 16068468736 134095 33554432000 1073741824 1073778376 140734301321344 18446744073709551615 228256164761 0 4 0 16800975 18446604448084364352 0 0 -1 4 0 0 0
[pid=29399/tid=29413] ppid=29397 vsize=15691864 CPUtime=0 cores=0,2,4,6
/proc/29399/task/29413/stat : 29413 (java) S 29397 29399 28877 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 519994213 16068468736 134100 33554432000 1073741824 1073778376 140734301321344 18446744073709551615 228256172465 0 4 0 16800975 18446604448084364352 0 0 -1 2 0 0 0
[pid=29399/tid=29414] ppid=29397 vsize=15691864 CPUtime=1.1 cores=0,2,4,6
/proc/29399/task/29414/stat : 29414 (java) S 29397 29399 28877 0 -1 4202560 14408 0 0 0 107 3 0 0 15 0 22 0 519994213 16068468736 134104 33554432000 1073741824 1073778376 140734301321344 18446744073709551615 228256164761 0 4 0 16800975 18446604448084364352 0 0 -1 0 0 0 0
[pid=29399/tid=29415] ppid=29397 vsize=15691864 CPUtime=0.6 cores=0,2,4,6
/proc/29399/task/29415/stat : 29415 (java) S 29397 29399 28877 0 -1 4202560 2503 0 0 0 60 0 0 0 15 0 22 0 519994213 16068468736 134108 33554432000 1073741824 1073778376 140734301321344 18446744073709551615 228256164761 0 4 0 16800975 18446604448084364352 0 0 -1 4 0 0 0
[pid=29399/tid=29416] ppid=29397 vsize=15691864 CPUtime=0 cores=0,2,4,6
/proc/29399/task/29416/stat : 29416 (java) S 29397 29399 28877 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 519994213 16068468736 134112 33554432000 1073741824 1073778376 140734301321344 18446744073709551615 228256164761 0 4 0 16800975 18446604448084364352 0 0 -1 2 0 0 0
[pid=29399/tid=29417] ppid=29397 vsize=15691864 CPUtime=0 cores=0,2,4,6
/proc/29399/task/29417/stat : 29417 (java) S 29397 29399 28877 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 519994213 16068468736 134116 33554432000 1073741824 1073778376 140734301321344 18446744073709551615 228256165376 0 4 0 16800975 18446604448084364352 0 0 -1 6 0 0 0
[pid=29399/tid=29422] ppid=29397 vsize=15691864 CPUtime=1.51 cores=0,2,4,6
/proc/29399/task/29422/stat : 29422 (java) R 29397 29399 28877 0 -1 4202560 14218 0 0 0 150 1 0 0 17 0 22 0 519994256 16068468736 134119 33554432000 1073741824 1073778376 140734301321344 18446744073709551615 46912505930694 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=29399/tid=29423] ppid=29397 vsize=15691864 CPUtime=1.43 cores=0,2,4,6
/proc/29399/task/29423/stat : 29423 (java) R 29397 29399 28877 0 -1 4202560 14512 0 0 0 141 2 0 0 16 0 22 0 519994256 16068468736 134123 33554432000 1073741824 1073778376 140734301321344 18446744073709551615 46912505925206 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29399/tid=29424] ppid=29397 vsize=15691864 CPUtime=1.5 cores=0,2,4,6
/proc/29399/task/29424/stat : 29424 (java) R 29397 29399 28877 0 -1 4202560 15160 0 0 0 149 1 0 0 17 0 22 0 519994256 16068468736 134128 33554432000 1073741824 1073778376 140734301321344 18446744073709551615 46912505925551 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=29399/tid=29425] ppid=29397 vsize=15691864 CPUtime=1.57 cores=0,2,4,6
/proc/29399/task/29425/stat : 29425 (java) R 29397 29399 28877 0 -1 4202560 15690 0 0 0 156 1 0 0 17 0 22 0 519994256 16068468736 134131 33554432000 1073741824 1073778376 140734301321344 18446744073709551615 46912505925206 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 9.08
Current children cumulated vsize (KiB) 15691864

[startup+6.30088 s]
/proc/loadavg: 7.43 7.88 7.76 10/220 29425
/proc/meminfo: memFree=29089920/32951124 swapFree=67111364/67111528
[pid=29399] ppid=29397 vsize=15691864 CPUtime=21.83 cores=0,2,4,6
/proc/29399/stat : 29399 (java) S 29397 29399 28877 0 -1 4202496 290706 0 1 0 2143 40 0 0 25 0 22 0 519994208 16068468736 282698 33554432000 1073741824 1073778376 140734301321344 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/29399/statm: 3922966 282698 2283 9 0 3913685 0
[pid=29399/tid=29401] ppid=29397 vsize=15691864 CPUtime=1.2 cores=0,2,4,6
/proc/29399/task/29401/stat : 29401 (java) S 29397 29399 28877 0 -1 4202560 35694 0 1 0 115 5 0 0 18 0 22 0 519994209 16068468736 282698 33554432000 1073741824 1073778376 140734301321344 18446744073709551615 228256164761 0 4 0 16800975 18446604448084364352 0 0 -1 2 0 0 0
[pid=29399/tid=29402] ppid=29397 vsize=15691864 CPUtime=0.01 cores=0,2,4,6
/proc/29399/task/29402/stat : 29402 (java) S 29397 29399 28877 0 -1 4202560 5947 0 0 0 1 0 0 0 16 0 22 0 519994209 16068468736 282698 33554432000 1073741824 1073778376 140734301321344 18446744073709551615 228256164761 0 4 0 16800975 18446604448084364352 0 0 -1 4 0 0 0
[pid=29399/tid=29403] ppid=29397 vsize=15691864 CPUtime=0 cores=0,2,4,6
/proc/29399/task/29403/stat : 29403 (java) S 29397 29399 28877 0 -1 4202560 4252 0 0 0 0 0 0 0 15 0 22 0 519994209 16068468736 282698 33554432000 1073741824 1073778376 140734301321344 18446744073709551615 228256164761 0 4 0 16800975 18446604448084364352 0 0 -1 6 0 0 0
[pid=29399/tid=29404] ppid=29397 vsize=15691864 CPUtime=0.02 cores=0,2,4,6
/proc/29399/task/29404/stat : 29404 (java) S 29397 29399 28877 0 -1 4202560 7028 0 0 0 1 1 0 0 15 0 22 0 519994209 16068468736 282698 33554432000 1073741824 1073778376 140734301321344 18446744073709551615 228256164761 0 4 0 16800975 18446604448084364352 0 0 -1 2 0 0 0
[pid=29399/tid=29405] ppid=29397 vsize=15691864 CPUtime=0.01 cores=0,2,4,6
/proc/29399/task/29405/stat : 29405 (java) S 29397 29399 28877 0 -1 4202560 4373 0 0 0 1 0 0 0 16 0 22 0 519994209 16068468736 282698 33554432000 1073741824 1073778376 140734301321344 18446744073709551615 228256164761 0 4 0 16800975 18446604448084364352 0 0 -1 6 0 0 0
[pid=29399/tid=29406] ppid=29397 vsize=15691864 CPUtime=0 cores=0,2,4,6
/proc/29399/task/29406/stat : 29406 (java) S 29397 29399 28877 0 -1 4202560 3493 0 0 0 0 0 0 0 16 0 22 0 519994209 16068468736 282698 33554432000 1073741824 1073778376 140734301321344 18446744073709551615 228256164761 0 4 0 16800975 18446604448084364352 0 0 -1 2 0 0 0
[pid=29399/tid=29407] ppid=29397 vsize=15691864 CPUtime=0 cores=0,2,4,6
/proc/29399/task/29407/stat : 29407 (java) S 29397 29399 28877 0 -1 4202560 4396 0 0 0 0 0 0 0 15 0 22 0 519994209 16068468736 282698 33554432000 1073741824 1073778376 140734301321344 18446744073709551615 228256164761 0 4 0 16800975 18446604448084364352 0 0 -1 0 0 0 0
[pid=29399/tid=29408] ppid=29397 vsize=15691864 CPUtime=0.02 cores=0,2,4,6
/proc/29399/task/29408/stat : 29408 (java) S 29397 29399 28877 0 -1 4202560 7542 0 0 0 1 1 0 0 15 0 22 0 519994209 16068468736 282698 33554432000 1073741824 1073778376 140734301321344 18446744073709551615 228256164761 0 4 0 16800975 18446604448084364352 0 0 -1 0 0 0 0
[pid=29399/tid=29409] ppid=29397 vsize=15691864 CPUtime=0 cores=0,2,4,6
/proc/29399/task/29409/stat : 29409 (java) S 29397 29399 28877 0 -1 4202560 4150 0 0 0 0 0 0 0 16 0 22 0 519994209 16068468736 282698 33554432000 1073741824 1073778376 140734301321344 18446744073709551615 228256164761 0 4 0 16800975 18446604448084364352 0 0 -1 0 0 0 0
[pid=29399/tid=29410] ppid=29397 vsize=15691864 CPUtime=0 cores=0,2,4,6
/proc/29399/task/29410/stat : 29410 (java) S 29397 29399 28877 0 -1 4202560 767 0 0 0 0 0 0 0 15 0 22 0 519994210 16068468736 282698 33554432000 1073741824 1073778376 140734301321344 18446744073709551615 228256165376 0 0 0 16800975 18446604448084364352 0 0 -1 4 0 0 0
[pid=29399/tid=29411] ppid=29397 vsize=15691864 CPUtime=0 cores=0,2,4,6
/proc/29399/task/29411/stat : 29411 (java) S 29397 29399 28877 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 519994211 16068468736 282698 33554432000 1073741824 1073778376 140734301321344 18446744073709551615 228256164761 0 4 0 16800975 18446604448084364352 0 0 -1 4 0 0 0
[pid=29399/tid=29412] ppid=29397 vsize=15691864 CPUtime=0 cores=0,2,4,6
/proc/29399/task/29412/stat : 29412 (java) S 29397 29399 28877 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 519994211 16068468736 282698 33554432000 1073741824 1073778376 140734301321344 18446744073709551615 228256164761 0 4 0 16800975 18446604448084364352 0 0 -1 4 0 0 0
[pid=29399/tid=29413] ppid=29397 vsize=15691864 CPUtime=0 cores=0,2,4,6
/proc/29399/task/29413/stat : 29413 (java) S 29397 29399 28877 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 519994213 16068468736 282698 33554432000 1073741824 1073778376 140734301321344 18446744073709551615 228256172465 0 4 0 16800975 18446604448084364352 0 0 -1 2 0 0 0
[pid=29399/tid=29414] ppid=29397 vsize=15691864 CPUtime=1.18 cores=0,2,4,6
/proc/29399/task/29414/stat : 29414 (java) S 29397 29399 28877 0 -1 4202560 14410 0 0 0 115 3 0 0 15 0 22 0 519994213 16068468736 282698 33554432000 1073741824 1073778376 140734301321344 18446744073709551615 228256164761 0 4 0 16800975 18446604448084364352 0 0 -1 0 0 0 0

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

[pid=29399/tid=29423] ppid=29397 vsize=15691864 CPUtime=1047.75 cores=0,2,4,6
/proc/29399/task/29423/stat : 29423 (java) R 29397 29399 28877 0 -1 4202560 379554 0 0 0 104720 55 0 0 25 0 22 0 519994256 16068468736 146615 33554432000 1073741824 1073778376 140734301321344 18446744073709551615 46912506117338 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29399/tid=29424] ppid=29397 vsize=15691864 CPUtime=1047.81 cores=0,2,4,6
/proc/29399/task/29424/stat : 29424 (java) R 29397 29399 28877 0 -1 4202560 381616 0 0 0 104728 53 0 0 25 0 22 0 519994256 16068468736 146615 33554432000 1073741824 1073778376 140734301321344 18446744073709551615 46912505878716 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=29399/tid=29425] ppid=29397 vsize=15691864 CPUtime=1047.79 cores=0,2,4,6
/proc/29399/task/29425/stat : 29425 (java) R 29397 29399 28877 0 -1 4202560 387659 0 0 0 104730 49 0 0 25 0 22 0 519994256 16068468736 146615 33554432000 1073741824 1073778376 140734301321344 18446744073709551615 46912505878864 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4225.01
Current children cumulated vsize (KiB) 15691864

[startup+1122.3 s]
/proc/loadavg: 8.16 8.08 7.95 9/220 29455
/proc/meminfo: memFree=29504992/32951124 swapFree=67111364/67111528
[pid=29399] ppid=29397 vsize=15691864 CPUtime=4463.76 cores=0,2,4,6
/proc/29399/stat : 29399 (java) S 29397 29399 28877 0 -1 4202496 3010225 0 1 0 445804 572 0 0 25 0 22 0 519994208 16068468736 165696 33554432000 1073741824 1073778376 140734301321344 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/29399/statm: 3922966 165696 2298 9 0 3913685 0
[pid=29399/tid=29401] ppid=29397 vsize=15691864 CPUtime=1.2 cores=0,2,4,6
/proc/29399/task/29401/stat : 29401 (java) S 29397 29399 28877 0 -1 4202560 35694 0 1 0 115 5 0 0 18 0 22 0 519994209 16068468736 165696 33554432000 1073741824 1073778376 140734301321344 18446744073709551615 228256164761 0 4 0 16800975 18446604448084364352 0 0 -1 2 0 0 0
[pid=29399/tid=29402] ppid=29397 vsize=15691864 CPUtime=3.71 cores=0,2,4,6
/proc/29399/task/29402/stat : 29402 (java) S 29397 29399 28877 0 -1 4202560 171715 0 0 0 337 34 0 0 16 0 22 0 519994209 16068468736 165696 33554432000 1073741824 1073778376 140734301321344 18446744073709551615 228256164761 0 4 0 16800975 18446604448084364352 0 0 -1 4 0 0 0
[pid=29399/tid=29403] ppid=29397 vsize=15691864 CPUtime=3.54 cores=0,2,4,6
/proc/29399/task/29403/stat : 29403 (java) S 29397 29399 28877 0 -1 4202560 164132 0 0 0 320 34 0 0 15 0 22 0 519994209 16068468736 165696 33554432000 1073741824 1073778376 140734301321344 18446744073709551615 228256164761 0 4 0 16800975 18446604448084364352 0 0 -1 2 0 0 0
[pid=29399/tid=29404] ppid=29397 vsize=15691864 CPUtime=3.67 cores=0,2,4,6
/proc/29399/task/29404/stat : 29404 (java) S 29397 29399 28877 0 -1 4202560 174166 0 0 0 332 35 0 0 15 0 22 0 519994209 16068468736 165696 33554432000 1073741824 1073778376 140734301321344 18446744073709551615 228256164761 0 4 0 16800975 18446604448084364352 0 0 -1 0 0 0 0
[pid=29399/tid=29405] ppid=29397 vsize=15691864 CPUtime=3.56 cores=0,2,4,6
/proc/29399/task/29405/stat : 29405 (java) S 29397 29399 28877 0 -1 4202560 154468 0 0 0 328 28 0 0 15 0 22 0 519994209 16068468736 165696 33554432000 1073741824 1073778376 140734301321344 18446744073709551615 228256164761 0 4 0 16800975 18446604448084364352 0 0 -1 2 0 0 0
[pid=29399/tid=29406] ppid=29397 vsize=15691864 CPUtime=3.64 cores=0,2,4,6
/proc/29399/task/29406/stat : 29406 (java) S 29397 29399 28877 0 -1 4202560 173423 0 0 0 329 35 0 0 16 0 22 0 519994209 16068468736 165696 33554432000 1073741824 1073778376 140734301321344 18446744073709551615 228256164761 0 4 0 16800975 18446604448084364352 0 0 -1 0 0 0 0
[pid=29399/tid=29407] ppid=29397 vsize=15691864 CPUtime=3.59 cores=0,2,4,6
/proc/29399/task/29407/stat : 29407 (java) S 29397 29399 28877 0 -1 4202560 167620 0 0 0 327 32 0 0 15 0 22 0 519994209 16068468736 165696 33554432000 1073741824 1073778376 140734301321344 18446744073709551615 228256164761 0 4 0 16800975 18446604448084364352 0 0 -1 4 0 0 0
[pid=29399/tid=29408] ppid=29397 vsize=15691864 CPUtime=3.64 cores=0,2,4,6
/proc/29399/task/29408/stat : 29408 (java) S 29397 29399 28877 0 -1 4202560 165000 0 0 0 330 34 0 0 15 0 22 0 519994209 16068468736 165696 33554432000 1073741824 1073778376 140734301321344 18446744073709551615 228256164761 0 4 0 16800975 18446604448084364352 0 0 -1 2 0 0 0
[pid=29399/tid=29409] ppid=29397 vsize=15691864 CPUtime=3.58 cores=0,2,4,6
/proc/29399/task/29409/stat : 29409 (java) S 29397 29399 28877 0 -1 4202560 159888 0 0 0 329 29 0 0 15 0 22 0 519994209 16068468736 165696 33554432000 1073741824 1073778376 140734301321344 18446744073709551615 228256164761 0 4 0 16800975 18446604448084364352 0 0 -1 0 0 0 0
[pid=29399/tid=29410] ppid=29397 vsize=15691864 CPUtime=2.18 cores=0,2,4,6
/proc/29399/task/29410/stat : 29410 (java) S 29397 29399 28877 0 -1 4202560 7953 0 0 0 144 74 0 0 15 0 22 0 519994210 16068468736 165696 33554432000 1073741824 1073778376 140734301321344 18446744073709551615 228256165376 0 0 0 16800975 18446604448084364352 0 0 -1 6 0 0 0
[pid=29399/tid=29411] ppid=29397 vsize=15691864 CPUtime=0 cores=0,2,4,6
/proc/29399/task/29411/stat : 29411 (java) S 29397 29399 28877 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 519994211 16068468736 165696 33554432000 1073741824 1073778376 140734301321344 18446744073709551615 228256164761 0 4 0 16800975 18446604448084364352 0 0 -1 4 0 0 0
[pid=29399/tid=29412] ppid=29397 vsize=15691864 CPUtime=0 cores=0,2,4,6
/proc/29399/task/29412/stat : 29412 (java) S 29397 29399 28877 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 519994211 16068468736 165696 33554432000 1073741824 1073778376 140734301321344 18446744073709551615 228256164761 0 4 0 16800975 18446604448084364352 0 0 -1 4 0 0 0
[pid=29399/tid=29413] ppid=29397 vsize=15691864 CPUtime=0 cores=0,2,4,6
/proc/29399/task/29413/stat : 29413 (java) S 29397 29399 28877 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 519994213 16068468736 165696 33554432000 1073741824 1073778376 140734301321344 18446744073709551615 228256172465 0 4 0 16800975 18446604448084364352 0 0 -1 2 0 0 0
[pid=29399/tid=29414] ppid=29397 vsize=15691864 CPUtime=1.36 cores=0,2,4,6
/proc/29399/task/29414/stat : 29414 (java) S 29397 29399 28877 0 -1 4202560 14438 0 0 0 133 3 0 0 15 0 22 0 519994213 16068468736 165696 33554432000 1073741824 1073778376 140734301321344 18446744073709551615 228256164761 0 4 0 16800975 18446604448084364352 0 0 -1 0 0 0 0
[pid=29399/tid=29415] ppid=29397 vsize=15691864 CPUtime=0.76 cores=0,2,4,6
/proc/29399/task/29415/stat : 29415 (java) S 29397 29399 28877 0 -1 4202560 2518 0 0 0 76 0 0 0 15 0 22 0 519994213 16068468736 165696 33554432000 1073741824 1073778376 140734301321344 18446744073709551615 228256164761 0 4 0 16800975 18446604448084364352 0 0 -1 4 0 0 0
[pid=29399/tid=29416] ppid=29397 vsize=15691864 CPUtime=0 cores=0,2,4,6
/proc/29399/task/29416/stat : 29416 (java) S 29397 29399 28877 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 519994213 16068468736 165696 33554432000 1073741824 1073778376 140734301321344 18446744073709551615 228256164761 0 4 0 16800975 18446604448084364352 0 0 -1 2 0 0 0
[pid=29399/tid=29417] ppid=29397 vsize=15691864 CPUtime=0 cores=0,2,4,6
/proc/29399/task/29417/stat : 29417 (java) S 29397 29399 28877 0 -1 4202560 64 0 0 0 0 0 0 0 15 0 22 0 519994213 16068468736 165696 33554432000 1073741824 1073778376 140734301321344 18446744073709551615 228256165376 0 4 0 16800975 18446604448084364352 0 0 -1 6 0 0 0
[pid=29399/tid=29422] ppid=29397 vsize=15691864 CPUtime=1108.13 cores=0,2,4,6
/proc/29399/task/29422/stat : 29422 (java) R 29397 29399 28877 0 -1 4202560 401778 0 0 0 110758 55 0 0 25 0 22 0 519994256 16068468736 165696 33554432000 1073741824 1073778376 140734301321344 18446744073709551615 46912505867584 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=29399/tid=29423] ppid=29397 vsize=15691864 CPUtime=1107.05 cores=0,2,4,6
/proc/29399/task/29423/stat : 29423 (java) R 29397 29399 28877 0 -1 4202560 401478 0 0 0 110647 58 0 0 25 0 22 0 519994256 16068468736 165696 33554432000 1073741824 1073778376 140734301321344 18446744073709551615 46912506117578 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=29399/tid=29424] ppid=29397 vsize=15691864 CPUtime=1107.02 cores=0,2,4,6
/proc/29399/task/29424/stat : 29424 (java) R 29397 29399 28877 0 -1 4202560 404205 0 0 0 110646 56 0 0 25 0 22 0 519994256 16068468736 165696 33554432000 1073741824 1073778376 140734301321344 18446744073709551615 47668814798665 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=29399/tid=29425] ppid=29397 vsize=15691864 CPUtime=1106.98 cores=0,2,4,6
/proc/29399/task/29425/stat : 29425 (java) R 29397 29399 28877 0 -1 4202560 410299 0 0 0 110646 52 0 0 25 0 22 0 519994256 16068468736 165696 33554432000 1073741824 1073778376 140734301321344 18446744073709551615 46912505878515 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4463.76
Current children cumulated vsize (KiB) 15691864

[startup+1182.3 s]
/proc/loadavg: 8.21 8.11 7.97 9/220 29456
/proc/meminfo: memFree=29461556/32951124 swapFree=67111364/67111528
[pid=29399] ppid=29397 vsize=15691864 CPUtime=4702.61 cores=0,2,4,6
/proc/29399/stat : 29399 (java) S 29397 29399 28877 0 -1 4202496 3159688 0 1 0 469659 602 0 0 25 0 22 0 519994208 16068468736 158830 33554432000 1073741824 1073778376 140734301321344 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/29399/statm: 3922966 158830 2298 9 0 3913685 0
[pid=29399/tid=29401] ppid=29397 vsize=15691864 CPUtime=1.2 cores=0,2,4,6
/proc/29399/task/29401/stat : 29401 (java) S 29397 29399 28877 0 -1 4202560 35694 0 1 0 115 5 0 0 18 0 22 0 519994209 16068468736 158830 33554432000 1073741824 1073778376 140734301321344 18446744073709551615 228256164761 0 4 0 16800975 18446604448084364352 0 0 -1 2 0 0 0
[pid=29399/tid=29402] ppid=29397 vsize=15691864 CPUtime=3.95 cores=0,2,4,6
/proc/29399/task/29402/stat : 29402 (java) S 29397 29399 28877 0 -1 4202560 184396 0 0 0 359 36 0 0 15 0 22 0 519994209 16068468736 158830 33554432000 1073741824 1073778376 140734301321344 18446744073709551615 228256164761 0 4 0 16800975 18446604448084364352 0 0 -1 0 0 0 0
[pid=29399/tid=29403] ppid=29397 vsize=15691864 CPUtime=3.73 cores=0,2,4,6
/proc/29399/task/29403/stat : 29403 (java) R 29397 29399 28877 0 -1 4202560 173341 0 0 0 337 36 0 0 15 0 22 0 519994209 16068468736 158830 33554432000 1073741824 1073778376 140734301321344 18446744073709551615 228256165830 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=29399/tid=29404] ppid=29397 vsize=15691864 CPUtime=3.86 cores=0,2,4,6
/proc/29399/task/29404/stat : 29404 (java) S 29397 29399 28877 0 -1 4202560 184388 0 0 0 349 37 0 0 15 0 22 0 519994209 16068468736 158830 33554432000 1073741824 1073778376 140734301321344 18446744073709551615 228256164761 0 4 0 16800975 18446604448084364352 0 0 -1 6 0 0 0
[pid=29399/tid=29405] ppid=29397 vsize=15691864 CPUtime=3.75 cores=0,2,4,6
/proc/29399/task/29405/stat : 29405 (java) S 29397 29399 28877 0 -1 4202560 163801 0 0 0 345 30 0 0 15 0 22 0 519994209 16068468736 158830 33554432000 1073741824 1073778376 140734301321344 18446744073709551615 228256164761 0 4 0 16800975 18446604448084364352 0 0 -1 4 0 0 0
[pid=29399/tid=29406] ppid=29397 vsize=15691864 CPUtime=3.84 cores=0,2,4,6
/proc/29399/task/29406/stat : 29406 (java) S 29397 29399 28877 0 -1 4202560 183789 0 0 0 347 37 0 0 15 0 22 0 519994209 16068468736 158830 33554432000 1073741824 1073778376 140734301321344 18446744073709551615 228256164761 0 4 0 16800975 18446604448084364352 0 0 -1 4 0 0 0
[pid=29399/tid=29407] ppid=29397 vsize=15691864 CPUtime=3.78 cores=0,2,4,6
/proc/29399/task/29407/stat : 29407 (java) R 29397 29399 28877 0 -1 4202560 177878 0 0 0 344 34 0 0 15 0 22 0 519994209 16068468736 158830 33554432000 1073741824 1073778376 140734301321344 18446744073709551615 228256164761 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=29399/tid=29408] ppid=29397 vsize=15691864 CPUtime=3.84 cores=0,2,4,6
/proc/29399/task/29408/stat : 29408 (java) R 29397 29399 28877 0 -1 4202560 175282 0 0 0 348 36 0 0 15 0 22 0 519994209 16068468736 158830 33554432000 1073741824 1073778376 140734301321344 18446744073709551615 228256165830 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29399/tid=29409] ppid=29397 vsize=15691864 CPUtime=3.77 cores=0,2,4,6
/proc/29399/task/29409/stat : 29409 (java) S 29397 29399 28877 0 -1 4202560 169605 0 0 0 346 31 0 0 15 0 22 0 519994209 16068468736 158830 33554432000 1073741824 1073778376 140734301321344 18446744073709551615 228256164761 0 4 0 16800975 18446604448084364352 0 0 -1 2 0 0 0
[pid=29399/tid=29410] ppid=29397 vsize=15691864 CPUtime=2.31 cores=0,2,4,6
/proc/29399/task/29410/stat : 29410 (java) S 29397 29399 28877 0 -1 4202560 8321 0 0 0 152 79 0 0 16 0 22 0 519994210 16068468736 158830 33554432000 1073741824 1073778376 140734301321344 18446744073709551615 228256164761 0 0 0 16800975 18446604448084364352 0 0 -1 0 0 0 0
[pid=29399/tid=29411] ppid=29397 vsize=15691864 CPUtime=0 cores=0,2,4,6
/proc/29399/task/29411/stat : 29411 (java) S 29397 29399 28877 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 519994211 16068468736 158830 33554432000 1073741824 1073778376 140734301321344 18446744073709551615 228256164761 0 4 0 16800975 18446604448084364352 0 0 -1 4 0 0 0
[pid=29399/tid=29412] ppid=29397 vsize=15691864 CPUtime=0 cores=0,2,4,6
/proc/29399/task/29412/stat : 29412 (java) S 29397 29399 28877 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 519994211 16068468736 158830 33554432000 1073741824 1073778376 140734301321344 18446744073709551615 228256164761 0 4 0 16800975 18446604448084364352 0 0 -1 4 0 0 0
[pid=29399/tid=29413] ppid=29397 vsize=15691864 CPUtime=0 cores=0,2,4,6
/proc/29399/task/29413/stat : 29413 (java) S 29397 29399 28877 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 519994213 16068468736 158830 33554432000 1073741824 1073778376 140734301321344 18446744073709551615 228256172465 0 4 0 16800975 18446604448084364352 0 0 -1 2 0 0 0
[pid=29399/tid=29414] ppid=29397 vsize=15691864 CPUtime=1.36 cores=0,2,4,6
/proc/29399/task/29414/stat : 29414 (java) S 29397 29399 28877 0 -1 4202560 14438 0 0 0 133 3 0 0 15 0 22 0 519994213 16068468736 158830 33554432000 1073741824 1073778376 140734301321344 18446744073709551615 228256164761 0 4 0 16800975 18446604448084364352 0 0 -1 0 0 0 0
[pid=29399/tid=29415] ppid=29397 vsize=15691864 CPUtime=0.76 cores=0,2,4,6
/proc/29399/task/29415/stat : 29415 (java) S 29397 29399 28877 0 -1 4202560 2518 0 0 0 76 0 0 0 15 0 22 0 519994213 16068468736 158830 33554432000 1073741824 1073778376 140734301321344 18446744073709551615 228256164761 0 4 0 16800975 18446604448084364352 0 0 -1 4 0 0 0
[pid=29399/tid=29416] ppid=29397 vsize=15691864 CPUtime=0 cores=0,2,4,6
/proc/29399/task/29416/stat : 29416 (java) S 29397 29399 28877 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 519994213 16068468736 158830 33554432000 1073741824 1073778376 140734301321344 18446744073709551615 228256164761 0 4 0 16800975 18446604448084364352 0 0 -1 2 0 0 0
[pid=29399/tid=29417] ppid=29397 vsize=15691864 CPUtime=0 cores=0,2,4,6
/proc/29399/task/29417/stat : 29417 (java) S 29397 29399 28877 0 -1 4202560 66 0 0 0 0 0 0 0 15 0 22 0 519994213 16068468736 158830 33554432000 1073741824 1073778376 140734301321344 18446744073709551615 228256165376 0 4 0 16800975 18446604448084364352 0 0 -1 0 0 0 0
[pid=29399/tid=29422] ppid=29397 vsize=15691864 CPUtime=1167.45 cores=0,2,4,6
/proc/29399/task/29422/stat : 29422 (java) S 29397 29399 28877 0 -1 4202560 419051 0 0 0 116689 56 0 0 25 0 22 0 519994256 16068468736 158830 33554432000 1073741824 1073778376 140734301321344 18446744073709551615 228256164761 0 4 0 16800975 18446604448084364352 0 0 -1 0 0 0 0
[pid=29399/tid=29423] ppid=29397 vsize=15691864 CPUtime=1166.12 cores=0,2,4,6
/proc/29399/task/29423/stat : 29423 (java) S 29397 29399 28877 0 -1 4202560 418788 0 0 0 116552 60 0 0 25 0 22 0 519994256 16068468736 158830 33554432000 1073741824 1073778376 140734301321344 18446744073709551615 228256164761 0 4 0 16800975 18446604448084364352 0 0 -1 6 0 0 0
[pid=29399/tid=29424] ppid=29397 vsize=15691864 CPUtime=1166.4 cores=0,2,4,6
/proc/29399/task/29424/stat : 29424 (java) S 29397 29399 28877 0 -1 4202560 420180 0 0 0 116581 59 0 0 25 0 22 0 519994256 16068468736 158830 33554432000 1073741824 1073778376 140734301321344 18446744073709551615 228256164761 0 4 0 16800975 18446604448084364352 0 0 -1 2 0 0 0
[pid=29399/tid=29425] ppid=29397 vsize=15691864 CPUtime=1166.35 cores=0,2,4,6
/proc/29399/task/29425/stat : 29425 (java) S 29397 29399 28877 0 -1 4202560 426766 0 0 0 116580 55 0 0 25 0 22 0 519994256 16068468736 158830 33554432000 1073741824 1073778376 140734301321344 18446744073709551615 228256164761 0 4 0 16800975 18446604448084364352 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4702.61
Current children cumulated vsize (KiB) 15691864



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1206.8 s]
/proc/loadavg: 8.22 8.11 7.97 5/197 29460
/proc/meminfo: memFree=30390952/32951124 swapFree=67111364/67111528
[pid=29399] ppid=29397 vsize=15691864 CPUtime=4800.11 cores=0,2,4,6
/proc/29399/stat : 29399 (java) S 29397 29399 28877 0 -1 4202496 3201583 0 1 0 479400 611 0 0 25 0 22 0 519994208 16068468736 144913 33554432000 1073741824 1073778376 140734301321344 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/29399/statm: 3922966 144913 2298 9 0 3913685 0
[pid=29399/tid=29401] ppid=29397 vsize=15691864 CPUtime=1.2 cores=0,2,4,6
/proc/29399/task/29401/stat : 29401 (java) S 29397 29399 28877 0 -1 4202560 35694 0 1 0 115 5 0 0 18 0 22 0 519994209 16068468736 144913 33554432000 1073741824 1073778376 140734301321344 18446744073709551615 228256164761 0 4 0 16800975 18446604448084364352 0 0 -1 2 0 0 0
[pid=29399/tid=29402] ppid=29397 vsize=15691864 CPUtime=4.03 cores=0,2,4,6
/proc/29399/task/29402/stat : 29402 (java) S 29397 29399 28877 0 -1 4202560 187418 0 0 0 366 37 0 0 16 0 22 0 519994209 16068468736 144913 33554432000 1073741824 1073778376 140734301321344 18446744073709551615 228256164761 0 4 0 16800975 18446604448084364352 0 0 -1 4 0 0 0
[pid=29399/tid=29403] ppid=29397 vsize=15691864 CPUtime=3.81 cores=0,2,4,6
/proc/29399/task/29403/stat : 29403 (java) S 29397 29399 28877 0 -1 4202560 176800 0 0 0 344 37 0 0 15 0 22 0 519994209 16068468736 144913 33554432000 1073741824 1073778376 140734301321344 18446744073709551615 228256164761 0 4 0 16800975 18446604448084364352 0 0 -1 2 0 0 0
[pid=29399/tid=29404] ppid=29397 vsize=15691864 CPUtime=3.94 cores=0,2,4,6
/proc/29399/task/29404/stat : 29404 (java) S 29397 29399 28877 0 -1 4202560 189383 0 0 0 356 38 0 0 15 0 22 0 519994209 16068468736 144913 33554432000 1073741824 1073778376 140734301321344 18446744073709551615 228256164761 0 4 0 16800975 18446604448084364352 0 0 -1 6 0 0 0
[pid=29399/tid=29405] ppid=29397 vsize=15691864 CPUtime=3.83 cores=0,2,4,6
/proc/29399/task/29405/stat : 29405 (java) S 29397 29399 28877 0 -1 4202560 167306 0 0 0 352 31 0 0 16 0 22 0 519994209 16068468736 144913 33554432000 1073741824 1073778376 140734301321344 18446744073709551615 228256164761 0 4 0 16800975 18446604448084364352 0 0 -1 6 0 0 0
[pid=29399/tid=29406] ppid=29397 vsize=15691864 CPUtime=3.93 cores=0,2,4,6
/proc/29399/task/29406/stat : 29406 (java) S 29397 29399 28877 0 -1 4202560 187315 0 0 0 355 38 0 0 15 0 22 0 519994209 16068468736 144913 33554432000 1073741824 1073778376 140734301321344 18446744073709551615 228256164761 0 4 0 16800975 18446604448084364352 0 0 -1 0 0 0 0
[pid=29399/tid=29407] ppid=29397 vsize=15691864 CPUtime=3.85 cores=0,2,4,6
/proc/29399/task/29407/stat : 29407 (java) S 29397 29399 28877 0 -1 4202560 180575 0 0 0 351 34 0 0 15 0 22 0 519994209 16068468736 144913 33554432000 1073741824 1073778376 140734301321344 18446744073709551615 228256164761 0 4 0 16800975 18446604448084364352 0 0 -1 2 0 0 0
[pid=29399/tid=29408] ppid=29397 vsize=15691864 CPUtime=3.91 cores=0,2,4,6
/proc/29399/task/29408/stat : 29408 (java) S 29397 29399 28877 0 -1 4202560 178077 0 0 0 355 36 0 0 15 0 22 0 519994209 16068468736 144913 33554432000 1073741824 1073778376 140734301321344 18446744073709551615 228256164761 0 4 0 16800975 18446604448084364352 0 0 -1 4 0 0 0
[pid=29399/tid=29409] ppid=29397 vsize=15691864 CPUtime=3.86 cores=0,2,4,6
/proc/29399/task/29409/stat : 29409 (java) S 29397 29399 28877 0 -1 4202560 172117 0 0 0 354 32 0 0 16 0 22 0 519994209 16068468736 144913 33554432000 1073741824 1073778376 140734301321344 18446744073709551615 228256164761 0 4 0 16800975 18446604448084364352 0 0 -1 0 0 0 0
[pid=29399/tid=29410] ppid=29397 vsize=15691864 CPUtime=2.37 cores=0,2,4,6
/proc/29399/task/29410/stat : 29410 (java) S 29397 29399 28877 0 -1 4202560 8540 0 0 0 156 81 0 0 15 0 22 0 519994210 16068468736 144913 33554432000 1073741824 1073778376 140734301321344 18446744073709551615 228256165376 0 0 0 16800975 18446604448084364352 0 0 -1 2 0 0 0
[pid=29399/tid=29411] ppid=29397 vsize=15691864 CPUtime=0 cores=0,2,4,6
/proc/29399/task/29411/stat : 29411 (java) S 29397 29399 28877 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 519994211 16068468736 144913 33554432000 1073741824 1073778376 140734301321344 18446744073709551615 228256164761 0 4 0 16800975 18446604448084364352 0 0 -1 4 0 0 0
[pid=29399/tid=29412] ppid=29397 vsize=15691864 CPUtime=0 cores=0,2,4,6
/proc/29399/task/29412/stat : 29412 (java) S 29397 29399 28877 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 519994211 16068468736 144913 33554432000 1073741824 1073778376 140734301321344 18446744073709551615 228256164761 0 4 0 16800975 18446604448084364352 0 0 -1 4 0 0 0
[pid=29399/tid=29413] ppid=29397 vsize=15691864 CPUtime=0 cores=0,2,4,6
/proc/29399/task/29413/stat : 29413 (java) S 29397 29399 28877 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 519994213 16068468736 144913 33554432000 1073741824 1073778376 140734301321344 18446744073709551615 228256172465 0 4 0 16800975 18446604448084364352 0 0 -1 2 0 0 0
[pid=29399/tid=29414] ppid=29397 vsize=15691864 CPUtime=1.36 cores=0,2,4,6
/proc/29399/task/29414/stat : 29414 (java) S 29397 29399 28877 0 -1 4202560 14438 0 0 0 133 3 0 0 15 0 22 0 519994213 16068468736 144913 33554432000 1073741824 1073778376 140734301321344 18446744073709551615 228256164761 0 4 0 16800975 18446604448084364352 0 0 -1 0 0 0 0
[pid=29399/tid=29415] ppid=29397 vsize=15691864 CPUtime=0.76 cores=0,2,4,6
/proc/29399/task/29415/stat : 29415 (java) S 29397 29399 28877 0 -1 4202560 2518 0 0 0 76 0 0 0 15 0 22 0 519994213 16068468736 144913 33554432000 1073741824 1073778376 140734301321344 18446744073709551615 228256164761 0 4 0 16800975 18446604448084364352 0 0 -1 4 0 0 0
[pid=29399/tid=29416] ppid=29397 vsize=15691864 CPUtime=0 cores=0,2,4,6
/proc/29399/task/29416/stat : 29416 (java) S 29397 29399 28877 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 519994213 16068468736 144913 33554432000 1073741824 1073778376 140734301321344 18446744073709551615 228256164761 0 4 0 16800975 18446604448084364352 0 0 -1 2 0 0 0
[pid=29399/tid=29417] ppid=29397 vsize=15691864 CPUtime=0 cores=0,2,4,6
/proc/29399/task/29417/stat : 29417 (java) S 29397 29399 28877 0 -1 4202560 68 0 0 0 0 0 0 0 15 0 22 0 519994213 16068468736 144913 33554432000 1073741824 1073778376 140734301321344 18446744073709551615 228256165376 0 4 0 16800975 18446604448084364352 0 0 -1 0 0 0 0
[pid=29399/tid=29422] ppid=29397 vsize=15691864 CPUtime=1191.69 cores=0,2,4,6
/proc/29399/task/29422/stat : 29422 (java) R 29397 29399 28877 0 -1 4202560 422711 0 0 0 119113 56 0 0 25 0 22 0 519994256 16068468736 144913 33554432000 1073741824 1073778376 140734301321344 18446744073709551615 46912505867584 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29399/tid=29423] ppid=29397 vsize=15691864 CPUtime=1190.33 cores=0,2,4,6
/proc/29399/task/29423/stat : 29423 (java) R 29397 29399 28877 0 -1 4202560 423112 0 0 0 118972 61 0 0 25 0 22 0 519994256 16068468736 144913 33554432000 1073741824 1073778376 140734301321344 18446744073709551615 46912505867596 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=29399/tid=29424] ppid=29397 vsize=15691864 CPUtime=1190.56 cores=0,2,4,6
/proc/29399/task/29424/stat : 29424 (java) R 29397 29399 28877 0 -1 4202560 424012 0 0 0 118996 60 0 0 25 0 22 0 519994256 16068468736 144913 33554432000 1073741824 1073778376 140734301321344 18446744073709551615 46912505867584 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=29399/tid=29425] ppid=29397 vsize=15691864 CPUtime=1190.55 cores=0,2,4,6
/proc/29399/task/29425/stat : 29425 (java) R 29397 29399 28877 0 -1 4202560 430113 0 0 0 119000 55 0 0 25 0 22 0 519994256 16068468736 144913 33554432000 1073741824 1073778376 140734301321344 18446744073709551615 46912505661704 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.11
Current children cumulated vsize (KiB) 15691864

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

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

Child status: 143
Real time (s): 1206.84
CPU time (s): 4800.18
CPU user time (s): 4794.03
CPU system time (s): 6.14706
CPU usage (%): 397.747
Max. virtual memory (cumulated for all children) (KiB): 15691864

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4794.03
system time used= 6.14706
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3201610
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= 157790
involuntary context switches= 99034

runsolver used 2.04569 second user time and 4.6073 second system time

The end

Launcher Data 

Begin job on node136 at 2011-04-29 15:32:42
IDJOB=3313039
IDBENCH=71354
IDSOLVER=1699
FILE ID=node136/3313039-1304083962
RUNJOBID= node136-1304082753-29227
PBS_JOBID= 13170526
Free space on /tmp= 72328 MiB

SOLVER NAME= STRUCTure 0.1
BENCH NAME= SAT09/CRAFTED/rbsat/random/forced/rbsat-v945c61409gyes5.cnf
COMMAND LINE= run 15000 NBCORE TMPDIR DIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3313039-1304083962/watcher-3313039-1304083962 -o /tmp/evaluation-result-3313039-1304083962/solver-3313039-1304083962 -C 4800 -W 1300 -M 15500  run 15000 4 HOME HOME HOME/instance-3313039-1304083962.cnf

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

MD5SUM BENCH= ccc3b90e7796ba48b01939580fe6357c
RANDOM SEED=1158894438

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30819324 kB
Buffers:        569872 kB
Cached:         924236 kB
SwapCached:          0 kB
Active:         266636 kB
Inactive:      1440860 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30819324 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:            7556 kB
Writeback:           4 kB
AnonPages:      212784 kB
Mapped:          22776 kB
Slab:           360216 kB
PageTables:       4312 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   784436 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= 72332 MiB
End job on node136 at 2011-04-29 15:52:51