Trace number 3312740

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.25 1206.94

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v600-c2556-S1677156340-036.UNKNOWN.cnf
MD5SUM99f3efd3bfc8a6f99ffbd289ed4a5837
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables600
Number of clauses2556
Sum of the clauses size7668
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32556
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.09/0.12	53:26 INFO : Reading from input HOME/instance-3312740-1304132006.cnf
0.26/0.25	Executor set job limit to 1000000
0.26/0.25	Executor set job limit to 1000000
0.26/0.25	Executor set job limit to 1000000
0.26/0.25	Executor set job limit to 1000000
0.26/0.25	Starting Executor!
0.26/0.25	Starting Executor!
0.26/0.25	Starting Executor!
0.26/0.25	Starting Executor!
0.53/0.38	53:26 INFO : 599 variables remaining out of 600
0.53/0.38	53:26 INFO : 10192 literals remaining out of 10224

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-3312740-1304132006/watcher-3312740-1304132006 -o /tmp/evaluation-result-3312740-1304132006/solver-3312740-1304132006 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3312740-1304132006.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.71 7.96 7.42 6/198 15339
/proc/meminfo: memFree=28994636/32951124 swapFree=67111348/67111528
[pid=15339] ppid=15337 vsize=9100 CPUtime=0 cores=0,2,4,6
/proc/15339/stat : 15339 (java) R 15337 15339 15043 0 -1 4202496 633 0 0 0 0 0 0 0 25 0 1 0 505615897 9318400 123 33554432000 1073741824 1073778376 140735023836256 18446744073709551615 254261278592 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/15339/statm: 2275 131 103 9 0 67 0

[startup+0.081503 s]
/proc/loadavg: 7.71 7.96 7.42 6/198 15339
/proc/meminfo: memFree=28994636/32951124 swapFree=67111348/67111528
[pid=15339] ppid=15337 vsize=15675600 CPUtime=0.06 cores=0,2,4,6
/proc/15339/stat : 15339 (java) S 15337 15339 15043 0 -1 4202496 4708 0 1 0 6 0 0 0 25 0 18 0 505615897 16051814400 4147 33554432000 1073741824 1073778376 140735023836256 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/15339/statm: 3918900 4148 1939 9 0 3909619 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 15675600

[startup+0.100238 s]
/proc/loadavg: 7.71 7.96 7.42 6/198 15339
/proc/meminfo: memFree=28994636/32951124 swapFree=67111348/67111528
[pid=15339] ppid=15337 vsize=15676796 CPUtime=0.09 cores=0,2,4,6
/proc/15339/stat : 15339 (java) S 15337 15339 15043 0 -1 4202496 5529 0 1 0 9 0 0 0 25 0 18 0 505615897 16053039104 4947 33554432000 1073741824 1073778376 140735023836256 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/15339/statm: 3919199 4947 2117 9 0 3909918 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15676796

[startup+0.304213 s]
/proc/loadavg: 7.71 7.96 7.42 6/198 15339
/proc/meminfo: memFree=28994636/32951124 swapFree=67111348/67111528
[pid=15339] ppid=15337 vsize=15687336 CPUtime=0.53 cores=0,2,4,6
/proc/15339/stat : 15339 (java) S 15337 15339 15043 0 -1 4202496 11292 0 1 0 51 2 0 0 25 0 22 0 505615897 16063832064 9743 33554432000 1073741824 1073778376 140735023836256 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/15339/statm: 3921834 9743 2213 9 0 3912553 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 15687336

[startup+1.01719 s]
/proc/loadavg: 7.71 7.96 7.42 6/198 15339
/proc/meminfo: memFree=28994636/32951124 swapFree=67111348/67111528
[pid=15339] ppid=15337 vsize=15706104 CPUtime=3.1 cores=0,2,4,6
/proc/15339/stat : 15339 (java) S 15337 15339 15043 0 -1 4202496 52350 0 1 0 304 6 0 0 25 0 22 0 505615897 16083050496 47854 33554432000 1073741824 1073778376 140735023836256 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/15339/statm: 3926526 47854 2261 9 0 3917245 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 15706104

[startup+1.50097 s]
/proc/loadavg: 7.71 7.96 7.42 9/220 15361
/proc/meminfo: memFree=28793516/32951124 swapFree=67111348/67111528
[pid=15339] ppid=15337 vsize=15703340 CPUtime=5.01 cores=0,2,4,6
/proc/15339/stat : 15339 (java) S 15337 15339 15043 0 -1 4202496 86515 0 1 0 491 10 0 0 25 0 22 0 505615897 16080220160 80955 33554432000 1073741824 1073778376 140735023836256 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/15339/statm: 3925835 80970 2283 9 0 3916554 0
[pid=15339/tid=15341] ppid=15337 vsize=15703340 CPUtime=0.37 cores=0,2,4,6
/proc/15339/task/15341/stat : 15341 (java) S 15337 15339 15043 0 -1 4202560 6616 0 1 0 36 1 0 0 20 0 22 0 505615898 16080220160 80979 33554432000 1073741824 1073778376 140735023836256 18446744073709551615 254273432473 0 4 0 16800975 18446604453943893056 0 0 -1 0 0 0 0
[pid=15339/tid=15342] ppid=15337 vsize=15703340 CPUtime=0.01 cores=0,2,4,6
/proc/15339/task/15342/stat : 15342 (java) S 15337 15339 15043 0 -1 4202560 1500 0 0 0 1 0 0 0 16 0 22 0 505615898 16080220160 80988 33554432000 1073741824 1073778376 140735023836256 18446744073709551615 254273432473 0 4 0 16800975 18446604453943893056 0 0 -1 6 0 0 0
[pid=15339/tid=15343] ppid=15337 vsize=15703340 CPUtime=0.01 cores=0,2,4,6
/proc/15339/task/15343/stat : 15343 (java) S 15337 15339 15043 0 -1 4202560 1841 0 0 0 1 0 0 0 16 0 22 0 505615898 16080220160 80993 33554432000 1073741824 1073778376 140735023836256 18446744073709551615 254273432473 0 4 0 16800975 18446604453943893056 0 0 -1 6 0 0 0
[pid=15339/tid=15344] ppid=15337 vsize=15703340 CPUtime=0 cores=0,2,4,6
/proc/15339/task/15344/stat : 15344 (java) S 15337 15339 15043 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 22 0 505615898 16080220160 80995 33554432000 1073741824 1073778376 140735023836256 18446744073709551615 254273432473 0 4 0 16800975 18446604453943893056 0 0 -1 2 0 0 0
[pid=15339/tid=15345] ppid=15337 vsize=15703340 CPUtime=0 cores=0,2,4,6
/proc/15339/task/15345/stat : 15345 (java) S 15337 15339 15043 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 22 0 505615898 16080220160 81002 33554432000 1073741824 1073778376 140735023836256 18446744073709551615 254273432473 0 4 0 16800975 18446604453943893056 0 0 -1 2 0 0 0
[pid=15339/tid=15346] ppid=15337 vsize=15703340 CPUtime=0 cores=0,2,4,6
/proc/15339/task/15346/stat : 15346 (java) S 15337 15339 15043 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 22 0 505615898 16080220160 81016 33554432000 1073741824 1073778376 140735023836256 18446744073709551615 254273432473 0 4 0 16800975 18446604453943893056 0 0 -1 2 0 0 0
[pid=15339/tid=15347] ppid=15337 vsize=15703340 CPUtime=0 cores=0,2,4,6
/proc/15339/task/15347/stat : 15347 (java) S 15337 15339 15043 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 22 0 505615898 16080220160 81028 33554432000 1073741824 1073778376 140735023836256 18446744073709551615 254273432473 0 4 0 16800975 18446604453943893056 0 0 -1 2 0 0 0
[pid=15339/tid=15348] ppid=15337 vsize=15703340 CPUtime=0 cores=0,2,4,6
/proc/15339/task/15348/stat : 15348 (java) S 15337 15339 15043 0 -1 4202560 598 0 0 0 0 0 0 0 16 0 22 0 505615898 16080220160 81039 33554432000 1073741824 1073778376 140735023836256 18446744073709551615 254273432473 0 4 0 16800975 18446604453943893056 0 0 -1 4 0 0 0
[pid=15339/tid=15349] ppid=15337 vsize=15703340 CPUtime=0 cores=0,2,4,6
/proc/15339/task/15349/stat : 15349 (java) S 15337 15339 15043 0 -1 4202560 504 0 0 0 0 0 0 0 16 0 22 0 505615898 16080220160 81050 33554432000 1073741824 1073778376 140735023836256 18446744073709551615 254273432473 0 4 0 16800975 18446604453943893056 0 0 -1 2 0 0 0
[pid=15339/tid=15350] ppid=15337 vsize=15703340 CPUtime=0 cores=0,2,4,6
/proc/15339/task/15350/stat : 15350 (java) S 15337 15339 15043 0 -1 4202560 74 0 0 0 0 0 0 0 15 0 22 0 505615899 16080220160 81062 33554432000 1073741824 1073778376 140735023836256 18446744073709551615 254273433088 0 0 0 16800975 18446604453943893056 0 0 -1 0 0 0 0
[pid=15339/tid=15351] ppid=15337 vsize=15703340 CPUtime=0 cores=0,2,4,6
/proc/15339/task/15351/stat : 15351 (java) S 15337 15339 15043 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 505615900 16080220160 81073 33554432000 1073741824 1073778376 140735023836256 18446744073709551615 254273432473 0 4 0 16800975 18446604453943893056 0 0 -1 2 0 0 0
[pid=15339/tid=15352] ppid=15337 vsize=15703340 CPUtime=0 cores=0,2,4,6
/proc/15339/task/15352/stat : 15352 (java) S 15337 15339 15043 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 505615900 16080220160 81086 33554432000 1073741824 1073778376 140735023836256 18446744073709551615 254273432473 0 4 0 16800975 18446604453943893056 0 0 -1 2 0 0 0
[pid=15339/tid=15353] ppid=15337 vsize=15703340 CPUtime=0 cores=0,2,4,6
/proc/15339/task/15353/stat : 15353 (java) S 15337 15339 15043 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 505615902 16080220160 81097 33554432000 1073741824 1073778376 140735023836256 18446744073709551615 254273440177 0 4 0 16800975 18446604453943893056 0 0 -1 2 0 0 0
[pid=15339/tid=15354] ppid=15337 vsize=15703340 CPUtime=0.55 cores=0,2,4,6
/proc/15339/task/15354/stat : 15354 (java) S 15337 15339 15043 0 -1 4202560 11686 0 0 0 55 0 0 0 24 0 22 0 505615902 16080220160 81106 33554432000 1073741824 1073778376 140735023836256 18446744073709551615 254273432473 0 4 0 16800975 18446604453943893056 0 0 -1 2 0 0 0
[pid=15339/tid=15355] ppid=15337 vsize=15703340 CPUtime=0.95 cores=0,2,4,6
/proc/15339/task/15355/stat : 15355 (java) S 15337 15339 15043 0 -1 4202560 4262 0 0 0 95 0 0 0 15 0 22 0 505615902 16080220160 81113 33554432000 1073741824 1073778376 140735023836256 18446744073709551615 254273432473 0 4 0 16800975 18446604453943893056 0 0 -1 4 0 0 0
[pid=15339/tid=15356] ppid=15337 vsize=15703340 CPUtime=0 cores=0,2,4,6
/proc/15339/task/15356/stat : 15356 (java) S 15337 15339 15043 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 505615902 16080220160 81116 33554432000 1073741824 1073778376 140735023836256 18446744073709551615 254273432473 0 4 0 16800975 18446604453943893056 0 0 -1 2 0 0 0
[pid=15339/tid=15357] ppid=15337 vsize=15703340 CPUtime=0 cores=0,2,4,6
/proc/15339/task/15357/stat : 15357 (java) S 15337 15339 15043 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 505615902 16080220160 81121 33554432000 1073741824 1073778376 140735023836256 18446744073709551615 254273433088 0 4 0 16800975 18446604453943893056 0 0 -1 0 0 0 0
[pid=15339/tid=15358] ppid=15337 vsize=15703340 CPUtime=0.78 cores=0,2,4,6
/proc/15339/task/15358/stat : 15358 (java) R 15337 15339 15043 0 -1 4202560 15984 0 0 0 77 1 0 0 16 0 22 0 505615923 16080220160 81126 33554432000 1073741824 1073778376 140735023836256 18446744073709551615 46912505767431 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=15339/tid=15359] ppid=15337 vsize=15703340 CPUtime=0.94 cores=0,2,4,6
/proc/15339/task/15359/stat : 15359 (java) R 15337 15339 15043 0 -1 4202560 17716 0 0 0 92 2 0 0 19 0 22 0 505615923 16080220160 81128 33554432000 1073741824 1073778376 140735023836256 18446744073709551615 46912505723790 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=15339/tid=15360] ppid=15337 vsize=15703340 CPUtime=0.55 cores=0,2,4,6
/proc/15339/task/15360/stat : 15360 (java) R 15337 15339 15043 0 -1 4202560 10041 0 0 0 55 0 0 0 19 0 22 0 505615923 16080220160 81133 33554432000 1073741824 1073778376 140735023836256 18446744073709551615 46912505723745 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=15339/tid=15361] ppid=15337 vsize=15703340 CPUtime=0.76 cores=0,2,4,6
/proc/15339/task/15361/stat : 15361 (java) R 15337 15339 15043 0 -1 4202560 14480 0 0 0 74 2 0 0 17 0 22 0 505615923 16080220160 81136 33554432000 1073741824 1073778376 140735023836256 18446744073709551615 46912505936038 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.01
Current children cumulated vsize (KiB) 15703340

[startup+3.10069 s]
/proc/loadavg: 7.71 7.96 7.42 9/220 15361
/proc/meminfo: memFree=28408868/32951124 swapFree=67111348/67111528
[pid=15339] ppid=15337 vsize=15703340 CPUtime=11.39 cores=0,2,4,6
/proc/15339/stat : 15339 (java) S 15337 15339 15043 0 -1 4202496 155544 0 1 0 1119 20 0 0 25 0 22 0 505615897 16080220160 149969 33554432000 1073741824 1073778376 140735023836256 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/15339/statm: 3925835 149969 2284 9 0 3916554 0
[pid=15339/tid=15341] ppid=15337 vsize=15703340 CPUtime=0.37 cores=0,2,4,6
/proc/15339/task/15341/stat : 15341 (java) S 15337 15339 15043 0 -1 4202560 6616 0 1 0 36 1 0 0 20 0 22 0 505615898 16080220160 149969 33554432000 1073741824 1073778376 140735023836256 18446744073709551615 254273432473 0 4 0 16800975 18446604453943893056 0 0 -1 0 0 0 0
[pid=15339/tid=15342] ppid=15337 vsize=15703340 CPUtime=0.01 cores=0,2,4,6
/proc/15339/task/15342/stat : 15342 (java) S 15337 15339 15043 0 -1 4202560 2480 0 0 0 1 0 0 0 16 0 22 0 505615898 16080220160 149969 33554432000 1073741824 1073778376 140735023836256 18446744073709551615 254273432473 0 4 0 16800975 18446604453943893056 0 0 -1 4 0 0 0
[pid=15339/tid=15343] ppid=15337 vsize=15703340 CPUtime=0.01 cores=0,2,4,6
/proc/15339/task/15343/stat : 15343 (java) S 15337 15339 15043 0 -1 4202560 3480 0 0 0 1 0 0 0 16 0 22 0 505615898 16080220160 149969 33554432000 1073741824 1073778376 140735023836256 18446744073709551615 254273432473 0 4 0 16800975 18446604453943893056 0 0 -1 6 0 0 0
[pid=15339/tid=15344] ppid=15337 vsize=15703340 CPUtime=0 cores=0,2,4,6
/proc/15339/task/15344/stat : 15344 (java) S 15337 15339 15043 0 -1 4202560 1671 0 0 0 0 0 0 0 16 0 22 0 505615898 16080220160 149969 33554432000 1073741824 1073778376 140735023836256 18446744073709551615 254273432473 0 4 0 16800975 18446604453943893056 0 0 -1 0 0 0 0
[pid=15339/tid=15345] ppid=15337 vsize=15703340 CPUtime=0 cores=0,2,4,6
/proc/15339/task/15345/stat : 15345 (java) S 15337 15339 15043 0 -1 4202560 1300 0 0 0 0 0 0 0 15 0 22 0 505615898 16080220160 149969 33554432000 1073741824 1073778376 140735023836256 18446744073709551615 254273432473 0 4 0 16800975 18446604453943893056 0 0 -1 6 0 0 0
[pid=15339/tid=15346] ppid=15337 vsize=15703340 CPUtime=0 cores=0,2,4,6
/proc/15339/task/15346/stat : 15346 (java) S 15337 15339 15043 0 -1 4202560 535 0 0 0 0 0 0 0 16 0 22 0 505615898 16080220160 149969 33554432000 1073741824 1073778376 140735023836256 18446744073709551615 254273432473 0 4 0 16800975 18446604453943893056 0 0 -1 2 0 0 0
[pid=15339/tid=15347] ppid=15337 vsize=15703340 CPUtime=0 cores=0,2,4,6
/proc/15339/task/15347/stat : 15347 (java) S 15337 15339 15043 0 -1 4202560 573 0 0 0 0 0 0 0 15 0 22 0 505615898 16080220160 149969 33554432000 1073741824 1073778376 140735023836256 18446744073709551615 254273432473 0 4 0 16800975 18446604453943893056 0 0 -1 0 0 0 0
[pid=15339/tid=15348] ppid=15337 vsize=15703340 CPUtime=0 cores=0,2,4,6
/proc/15339/task/15348/stat : 15348 (java) S 15337 15339 15043 0 -1 4202560 1600 0 0 0 0 0 0 0 15 0 22 0 505615898 16080220160 149969 33554432000 1073741824 1073778376 140735023836256 18446744073709551615 254273432473 0 4 0 16800975 18446604453943893056 0 0 -1 4 0 0 0
[pid=15339/tid=15349] ppid=15337 vsize=15703340 CPUtime=0 cores=0,2,4,6
/proc/15339/task/15349/stat : 15349 (java) S 15337 15339 15043 0 -1 4202560 1537 0 0 0 0 0 0 0 15 0 22 0 505615898 16080220160 149969 33554432000 1073741824 1073778376 140735023836256 18446744073709551615 254273432473 0 4 0 16800975 18446604453943893056 0 0 -1 6 0 0 0
[pid=15339/tid=15350] ppid=15337 vsize=15703340 CPUtime=0 cores=0,2,4,6
/proc/15339/task/15350/stat : 15350 (java) S 15337 15339 15043 0 -1 4202560 441 0 0 0 0 0 0 0 15 0 22 0 505615899 16080220160 149969 33554432000 1073741824 1073778376 140735023836256 18446744073709551615 254273433088 0 0 0 16800975 18446604453943893056 0 0 -1 0 0 0 0
[pid=15339/tid=15351] ppid=15337 vsize=15703340 CPUtime=0 cores=0,2,4,6
/proc/15339/task/15351/stat : 15351 (java) S 15337 15339 15043 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 505615900 16080220160 149969 33554432000 1073741824 1073778376 140735023836256 18446744073709551615 254273432473 0 4 0 16800975 18446604453943893056 0 0 -1 2 0 0 0
[pid=15339/tid=15352] ppid=15337 vsize=15703340 CPUtime=0 cores=0,2,4,6
/proc/15339/task/15352/stat : 15352 (java) S 15337 15339 15043 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 505615900 16080220160 149969 33554432000 1073741824 1073778376 140735023836256 18446744073709551615 254273432473 0 4 0 16800975 18446604453943893056 0 0 -1 2 0 0 0
[pid=15339/tid=15353] ppid=15337 vsize=15703340 CPUtime=0 cores=0,2,4,6
/proc/15339/task/15353/stat : 15353 (java) S 15337 15339 15043 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 505615902 16080220160 149969 33554432000 1073741824 1073778376 140735023836256 18446744073709551615 254273440177 0 4 0 16800975 18446604453943893056 0 0 -1 2 0 0 0
[pid=15339/tid=15354] ppid=15337 vsize=15703340 CPUtime=0.6 cores=0,2,4,6
/proc/15339/task/15354/stat : 15354 (java) S 15337 15339 15043 0 -1 4202560 11714 0 0 0 60 0 0 0 16 0 22 0 505615902 16080220160 149969 33554432000 1073741824 1073778376 140735023836256 18446744073709551615 254273432473 0 4 0 16800975 18446604453943893056 0 0 -1 2 0 0 0
[pid=15339/tid=15355] ppid=15337 vsize=15703340 CPUtime=1.07 cores=0,2,4,6
/proc/15339/task/15355/stat : 15355 (java) S 15337 15339 15043 0 -1 4202560 4278 0 0 0 107 0 0 0 15 0 22 0 505615902 16080220160 149969 33554432000 1073741824 1073778376 140735023836256 18446744073709551615 254273432473 0 4 0 16800975 18446604453943893056 0 0 -1 4 0 0 0
[pid=15339/tid=15356] ppid=15337 vsize=15703340 CPUtime=0 cores=0,2,4,6
/proc/15339/task/15356/stat : 15356 (java) S 15337 15339 15043 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 505615902 16080220160 149969 33554432000 1073741824 1073778376 140735023836256 18446744073709551615 254273432473 0 4 0 16800975 18446604453943893056 0 0 -1 2 0 0 0
[pid=15339/tid=15357] ppid=15337 vsize=15703340 CPUtime=0 cores=0,2,4,6
/proc/15339/task/15357/stat : 15357 (java) S 15337 15339 15043 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 505615902 16080220160 149969 33554432000 1073741824 1073778376 140735023836256 18446744073709551615 254273433088 0 4 0 16800975 18446604453943893056 0 0 -1 0 0 0 0
[pid=15339/tid=15358] ppid=15337 vsize=15703340 CPUtime=2.36 cores=0,2,4,6
/proc/15339/task/15358/stat : 15358 (java) R 15337 15339 15043 0 -1 4202560 30566 0 0 0 233 3 0 0 18 0 22 0 505615923 16080220160 149969 33554432000 1073741824 1073778376 140735023836256 18446744073709551615 46912505724244 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=15339/tid=15359] ppid=15337 vsize=15703340 CPUtime=2.53 cores=0,2,4,6
/proc/15339/task/15359/stat : 15359 (java) R 15337 15339 15043 0 -1 4202560 32129 0 0 0 249 4 0 0 23 0 22 0 505615923 16080220160 149969 33554432000 1073741824 1073778376 140735023836256 18446744073709551615 46912505523255 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=15339/tid=15360] ppid=15337 vsize=15703340 CPUtime=2.08 cores=0,2,4,6
/proc/15339/task/15360/stat : 15360 (java) R 15337 15339 15043 0 -1 4202560 25382 0 0 0 206 2 0 0 23 0 22 0 505615923 16080220160 149969 33554432000 1073741824 1073778376 140735023836256 18446744073709551615 46912505723621 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=15339/tid=15361] ppid=15337 vsize=15703340 CPUtime=2.23 cores=0,2,4,6
/proc/15339/task/15361/stat : 15361 (java) R 15337 15339 15043 0 -1 4202560 29856 0 0 0 219 4 0 0 19 0 22 0 505615923 16080220160 149969 33554432000 1073741824 1073778376 140735023836256 18446744073709551615 46912505743128 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 11.39
Current children cumulated vsize (KiB) 15703340

[startup+6.30112 s]
/proc/loadavg: 7.73 7.96 7.43 9/220 15361
/proc/meminfo: memFree=27888876/32951124 swapFree=67111348/67111528
[pid=15339] ppid=15337 vsize=15703340 CPUtime=24.16 cores=0,2,4,6
/proc/15339/stat : 15339 (java) S 15337 15339 15043 0 -1 4202496 283368 0 1 0 2384 32 0 0 25 0 22 0 505615897 16080220160 273209 33554432000 1073741824 1073778376 140735023836256 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/15339/statm: 3925835 273209 2284 9 0 3916554 0
[pid=15339/tid=15341] ppid=15337 vsize=15703340 CPUtime=0.37 cores=0,2,4,6
/proc/15339/task/15341/stat : 15341 (java) S 15337 15339 15043 0 -1 4202560 6616 0 1 0 36 1 0 0 20 0 22 0 505615898 16080220160 273209 33554432000 1073741824 1073778376 140735023836256 18446744073709551615 254273432473 0 4 0 16800975 18446604453943893056 0 0 -1 0 0 0 0
[pid=15339/tid=15342] ppid=15337 vsize=15703340 CPUtime=0.01 cores=0,2,4,6
/proc/15339/task/15342/stat : 15342 (java) S 15337 15339 15043 0 -1 4202560 3253 0 0 0 1 0 0 0 15 0 22 0 505615898 16080220160 273209 33554432000 1073741824 1073778376 140735023836256 18446744073709551615 254273432473 0 4 0 16800975 18446604453943893056 0 0 -1 4 0 0 0
[pid=15339/tid=15343] ppid=15337 vsize=15703340 CPUtime=0.01 cores=0,2,4,6
/proc/15339/task/15343/stat : 15343 (java) S 15337 15339 15043 0 -1 4202560 3480 0 0 0 1 0 0 0 15 0 22 0 505615898 16080220160 273209 33554432000 1073741824 1073778376 140735023836256 18446744073709551615 254273432473 0 4 0 16800975 18446604453943893056 0 0 -1 6 0 0 0
[pid=15339/tid=15344] ppid=15337 vsize=15703340 CPUtime=0 cores=0,2,4,6
/proc/15339/task/15344/stat : 15344 (java) S 15337 15339 15043 0 -1 4202560 2091 0 0 0 0 0 0 0 15 0 22 0 505615898 16080220160 273209 33554432000 1073741824 1073778376 140735023836256 18446744073709551615 254273432473 0 4 0 16800975 18446604453943893056 0 0 -1 6 0 0 0
[pid=15339/tid=15345] ppid=15337 vsize=15703340 CPUtime=0.01 cores=0,2,4,6
/proc/15339/task/15345/stat : 15345 (java) S 15337 15339 15043 0 -1 4202560 1300 0 0 0 1 0 0 0 15 0 22 0 505615898 16080220160 273209 33554432000 1073741824 1073778376 140735023836256 18446744073709551615 254273432473 0 4 0 16800975 18446604453943893056 0 0 -1 6 0 0 0
[pid=15339/tid=15346] ppid=15337 vsize=15703340 CPUtime=0 cores=0,2,4,6
/proc/15339/task/15346/stat : 15346 (java) S 15337 15339 15043 0 -1 4202560 1208 0 0 0 0 0 0 0 16 0 22 0 505615898 16080220160 273209 33554432000 1073741824 1073778376 140735023836256 18446744073709551615 254273432473 0 4 0 16800975 18446604453943893056 0 0 -1 2 0 0 0
[pid=15339/tid=15347] ppid=15337 vsize=15703340 CPUtime=0 cores=0,2,4,6
/proc/15339/task/15347/stat : 15347 (java) S 15337 15339 15043 0 -1 4202560 1155 0 0 0 0 0 0 0 16 0 22 0 505615898 16080220160 273209 33554432000 1073741824 1073778376 140735023836256 18446744073709551615 254273432473 0 4 0 16800975 18446604453943893056 0 0 -1 2 0 0 0
[pid=15339/tid=15348] ppid=15337 vsize=15703340 CPUtime=0 cores=0,2,4,6
/proc/15339/task/15348/stat : 15348 (java) S 15337 15339 15043 0 -1 4202560 1959 0 0 0 0 0 0 0 15 0 22 0 505615898 16080220160 273209 33554432000 1073741824 1073778376 140735023836256 18446744073709551615 254273432473 0 4 0 16800975 18446604453943893056 0 0 -1 4 0 0 0
[pid=15339/tid=15349] ppid=15337 vsize=15703340 CPUtime=0 cores=0,2,4,6
/proc/15339/task/15349/stat : 15349 (java) S 15337 15339 15043 0 -1 4202560 1893 0 0 0 0 0 0 0 15 0 22 0 505615898 16080220160 273209 33554432000 1073741824 1073778376 140735023836256 18446744073709551615 254273432473 0 4 0 16800975 18446604453943893056 0 0 -1 6 0 0 0
[pid=15339/tid=15350] ppid=15337 vsize=15703340 CPUtime=0 cores=0,2,4,6
/proc/15339/task/15350/stat : 15350 (java) S 15337 15339 15043 0 -1 4202560 441 0 0 0 0 0 0 0 15 0 22 0 505615899 16080220160 273209 33554432000 1073741824 1073778376 140735023836256 18446744073709551615 254273433088 0 0 0 16800975 18446604453943893056 0 0 -1 0 0 0 0
[pid=15339/tid=15351] ppid=15337 vsize=15703340 CPUtime=0 cores=0,2,4,6
/proc/15339/task/15351/stat : 15351 (java) S 15337 15339 15043 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 505615900 16080220160 273209 33554432000 1073741824 1073778376 140735023836256 18446744073709551615 254273432473 0 4 0 16800975 18446604453943893056 0 0 -1 2 0 0 0
[pid=15339/tid=15352] ppid=15337 vsize=15703340 CPUtime=0 cores=0,2,4,6
/proc/15339/task/15352/stat : 15352 (java) S 15337 15339 15043 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 505615900 16080220160 273209 33554432000 1073741824 1073778376 140735023836256 18446744073709551615 254273432473 0 4 0 16800975 18446604453943893056 0 0 -1 2 0 0 0
[pid=15339/tid=15353] ppid=15337 vsize=15703340 CPUtime=0 cores=0,2,4,6
/proc/15339/task/15353/stat : 15353 (java) S 15337 15339 15043 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 505615902 16080220160 273209 33554432000 1073741824 1073778376 140735023836256 18446744073709551615 254273440177 0 4 0 16800975 18446604453943893056 0 0 -1 2 0 0 0
[pid=15339/tid=15354] ppid=15337 vsize=15703340 CPUtime=0.65 cores=0,2,4,6
/proc/15339/task/15354/stat : 15354 (java) S 15337 15339 15043 0 -1 4202560 11716 0 0 0 65 0 0 0 16 0 22 0 505615902 16080220160 273209 33554432000 1073741824 1073778376 140735023836256 18446744073709551615 254273432473 0 4 0 16800975 18446604453943893056 0 0 -1 2 0 0 0

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

[pid=15339/tid=15359] ppid=15337 vsize=15703340 CPUtime=1049.26 cores=0,2,4,6
/proc/15339/task/15359/stat : 15359 (java) R 15337 15339 15043 0 -1 4202560 431259 0 0 0 104865 61 0 0 25 0 22 0 505615923 16080220160 101510 33554432000 1073741824 1073778376 140735023836256 18446744073709551615 46912505936600 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=15339/tid=15360] ppid=15337 vsize=15703340 CPUtime=1048.06 cores=0,2,4,6
/proc/15339/task/15360/stat : 15360 (java) R 15337 15339 15043 0 -1 4202560 419539 0 0 0 104746 60 0 0 25 0 22 0 505615923 16080220160 101510 33554432000 1073741824 1073778376 140735023836256 18446744073709551615 46912506064843 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=15339/tid=15361] ppid=15337 vsize=15703340 CPUtime=1048.99 cores=0,2,4,6
/proc/15339/task/15361/stat : 15361 (java) R 15337 15339 15043 0 -1 4202560 429430 0 0 0 104840 59 0 0 25 0 22 0 505615923 16080220160 101510 33554432000 1073741824 1073778376 140735023836256 18446744073709551615 46912505366066 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4225.03
Current children cumulated vsize (KiB) 15703340

[startup+1122.31 s]
/proc/loadavg: 8.06 8.07 7.86 9/220 15449
/proc/meminfo: memFree=28618856/32951124 swapFree=67111348/67111528
[pid=15339] ppid=15337 vsize=15703340 CPUtime=4463.68 cores=0,2,4,6
/proc/15339/stat : 15339 (java) S 15337 15339 15043 0 -1 4202496 2977802 0 1 0 445821 547 0 0 25 0 22 0 505615897 16080220160 128650 33554432000 1073741824 1073778376 140735023836256 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/15339/statm: 3925835 128650 2298 9 0 3916554 0
[pid=15339/tid=15341] ppid=15337 vsize=15703340 CPUtime=0.37 cores=0,2,4,6
/proc/15339/task/15341/stat : 15341 (java) S 15337 15339 15043 0 -1 4202560 6616 0 1 0 36 1 0 0 20 0 22 0 505615898 16080220160 128650 33554432000 1073741824 1073778376 140735023836256 18446744073709551615 254273432473 0 4 0 16800975 18446604453943893056 0 0 -1 0 0 0 0
[pid=15339/tid=15342] ppid=15337 vsize=15703340 CPUtime=3.45 cores=0,2,4,6
/proc/15339/task/15342/stat : 15342 (java) S 15337 15339 15043 0 -1 4202560 137920 0 0 0 320 25 0 0 15 0 22 0 505615898 16080220160 128650 33554432000 1073741824 1073778376 140735023836256 18446744073709551615 254273432473 0 4 0 16800975 18446604453943893056 0 0 -1 6 0 0 0
[pid=15339/tid=15343] ppid=15337 vsize=15703340 CPUtime=3.4 cores=0,2,4,6
/proc/15339/task/15343/stat : 15343 (java) S 15337 15339 15043 0 -1 4202560 138427 0 0 0 315 25 0 0 15 0 22 0 505615898 16080220160 128650 33554432000 1073741824 1073778376 140735023836256 18446744073709551615 254273432473 0 4 0 16800975 18446604453943893056 0 0 -1 0 0 0 0
[pid=15339/tid=15344] ppid=15337 vsize=15703340 CPUtime=3.4 cores=0,2,4,6
/proc/15339/task/15344/stat : 15344 (java) S 15337 15339 15043 0 -1 4202560 140416 0 0 0 314 26 0 0 15 0 22 0 505615898 16080220160 128650 33554432000 1073741824 1073778376 140735023836256 18446744073709551615 254273432473 0 4 0 16800975 18446604453943893056 0 0 -1 6 0 0 0
[pid=15339/tid=15345] ppid=15337 vsize=15703340 CPUtime=3.31 cores=0,2,4,6
/proc/15339/task/15345/stat : 15345 (java) S 15337 15339 15043 0 -1 4202560 141011 0 0 0 307 24 0 0 15 0 22 0 505615898 16080220160 128650 33554432000 1073741824 1073778376 140735023836256 18446744073709551615 254273432473 0 4 0 16800975 18446604453943893056 0 0 -1 2 0 0 0
[pid=15339/tid=15346] ppid=15337 vsize=15703340 CPUtime=3.35 cores=0,2,4,6
/proc/15339/task/15346/stat : 15346 (java) S 15337 15339 15043 0 -1 4202560 131595 0 0 0 312 23 0 0 15 0 22 0 505615898 16080220160 128650 33554432000 1073741824 1073778376 140735023836256 18446744073709551615 254273432473 0 4 0 16800975 18446604453943893056 0 0 -1 2 0 0 0
[pid=15339/tid=15347] ppid=15337 vsize=15703340 CPUtime=3.45 cores=0,2,4,6
/proc/15339/task/15347/stat : 15347 (java) S 15337 15339 15043 0 -1 4202560 142500 0 0 0 320 25 0 0 15 0 22 0 505615898 16080220160 128650 33554432000 1073741824 1073778376 140735023836256 18446744073709551615 254273432473 0 4 0 16800975 18446604453943893056 0 0 -1 4 0 0 0
[pid=15339/tid=15348] ppid=15337 vsize=15703340 CPUtime=3.37 cores=0,2,4,6
/proc/15339/task/15348/stat : 15348 (java) S 15337 15339 15043 0 -1 4202560 149069 0 0 0 311 26 0 0 15 0 22 0 505615898 16080220160 128650 33554432000 1073741824 1073778376 140735023836256 18446744073709551615 254273432473 0 4 0 16800975 18446604453943893056 0 0 -1 4 0 0 0
[pid=15339/tid=15349] ppid=15337 vsize=15703340 CPUtime=3.38 cores=0,2,4,6
/proc/15339/task/15349/stat : 15349 (java) S 15337 15339 15043 0 -1 4202560 144204 0 0 0 314 24 0 0 15 0 22 0 505615898 16080220160 128650 33554432000 1073741824 1073778376 140735023836256 18446744073709551615 254273432473 0 4 0 16800975 18446604453943893056 0 0 -1 2 0 0 0
[pid=15339/tid=15350] ppid=15337 vsize=15703340 CPUtime=2.1 cores=0,2,4,6
/proc/15339/task/15350/stat : 15350 (java) S 15337 15339 15043 0 -1 4202560 7555 0 0 0 126 84 0 0 16 0 22 0 505615899 16080220160 128650 33554432000 1073741824 1073778376 140735023836256 18446744073709551615 254273433088 0 0 0 16800975 18446604453943893056 0 0 -1 0 0 0 0
[pid=15339/tid=15351] ppid=15337 vsize=15703340 CPUtime=0 cores=0,2,4,6
/proc/15339/task/15351/stat : 15351 (java) S 15337 15339 15043 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 505615900 16080220160 128650 33554432000 1073741824 1073778376 140735023836256 18446744073709551615 254273432473 0 4 0 16800975 18446604453943893056 0 0 -1 2 0 0 0
[pid=15339/tid=15352] ppid=15337 vsize=15703340 CPUtime=0 cores=0,2,4,6
/proc/15339/task/15352/stat : 15352 (java) S 15337 15339 15043 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 505615900 16080220160 128650 33554432000 1073741824 1073778376 140735023836256 18446744073709551615 254273432473 0 4 0 16800975 18446604453943893056 0 0 -1 2 0 0 0
[pid=15339/tid=15353] ppid=15337 vsize=15703340 CPUtime=0 cores=0,2,4,6
/proc/15339/task/15353/stat : 15353 (java) S 15337 15339 15043 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 505615902 16080220160 128650 33554432000 1073741824 1073778376 140735023836256 18446744073709551615 254273440177 0 4 0 16800975 18446604453943893056 0 0 -1 2 0 0 0
[pid=15339/tid=15354] ppid=15337 vsize=15703340 CPUtime=0.74 cores=0,2,4,6
/proc/15339/task/15354/stat : 15354 (java) S 15337 15339 15043 0 -1 4202560 11729 0 0 0 74 0 0 0 16 0 22 0 505615902 16080220160 128650 33554432000 1073741824 1073778376 140735023836256 18446744073709551615 254273432473 0 4 0 16800975 18446604453943893056 0 0 -1 2 0 0 0
[pid=15339/tid=15355] ppid=15337 vsize=15703340 CPUtime=1.15 cores=0,2,4,6
/proc/15339/task/15355/stat : 15355 (java) S 15337 15339 15043 0 -1 4202560 4292 0 0 0 115 0 0 0 15 0 22 0 505615902 16080220160 128650 33554432000 1073741824 1073778376 140735023836256 18446744073709551615 254273432473 0 4 0 16800975 18446604453943893056 0 0 -1 4 0 0 0
[pid=15339/tid=15356] ppid=15337 vsize=15703340 CPUtime=0 cores=0,2,4,6
/proc/15339/task/15356/stat : 15356 (java) S 15337 15339 15043 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 505615902 16080220160 128650 33554432000 1073741824 1073778376 140735023836256 18446744073709551615 254273432473 0 4 0 16800975 18446604453943893056 0 0 -1 2 0 0 0
[pid=15339/tid=15357] ppid=15337 vsize=15703340 CPUtime=0 cores=0,2,4,6
/proc/15339/task/15357/stat : 15357 (java) S 15337 15339 15043 0 -1 4202560 61 0 0 0 0 0 0 0 15 0 22 0 505615902 16080220160 128650 33554432000 1073741824 1073778376 140735023836256 18446744073709551615 254273433088 0 4 0 16800975 18446604453943893056 0 0 -1 4 0 0 0
[pid=15339/tid=15358] ppid=15337 vsize=15703340 CPUtime=1107.95 cores=0,2,4,6
/proc/15339/task/15358/stat : 15358 (java) R 15337 15339 15043 0 -1 4202560 459044 0 0 0 110733 62 0 0 25 0 22 0 505615923 16080220160 128650 33554432000 1073741824 1073778376 140735023836256 18446744073709551615 47369345878155 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=15339/tid=15359] ppid=15337 vsize=15703340 CPUtime=1108.43 cores=0,2,4,6
/proc/15339/task/15359/stat : 15359 (java) R 15337 15339 15043 0 -1 4202560 458517 0 0 0 110778 65 0 0 25 0 22 0 505615923 16080220160 128650 33554432000 1073741824 1073778376 140735023836256 18446744073709551615 46912505935582 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=15339/tid=15360] ppid=15337 vsize=15703340 CPUtime=1107.4 cores=0,2,4,6
/proc/15339/task/15360/stat : 15360 (java) R 15337 15339 15043 0 -1 4202560 446456 0 0 0 110676 64 0 0 25 0 22 0 505615923 16080220160 128650 33554432000 1073741824 1073778376 140735023836256 18446744073709551615 18446744073699066094 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=15339/tid=15361] ppid=15337 vsize=15703340 CPUtime=1108.25 cores=0,2,4,6
/proc/15339/task/15361/stat : 15361 (java) R 15337 15339 15043 0 -1 4202560 457005 0 0 0 110762 63 0 0 25 0 22 0 505615923 16080220160 128650 33554432000 1073741824 1073778376 140735023836256 18446744073709551615 46912506064985 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4463.68
Current children cumulated vsize (KiB) 15703340

[startup+1182.3 s]
/proc/loadavg: 8.07 8.07 7.87 9/220 15450
/proc/meminfo: memFree=28674964/32951124 swapFree=67111348/67111528
[pid=15339] ppid=15337 vsize=15703340 CPUtime=4702.32 cores=0,2,4,6
/proc/15339/stat : 15339 (java) S 15337 15339 15043 0 -1 4202496 3111531 0 1 0 469660 572 0 0 25 0 22 0 505615897 16080220160 100803 33554432000 1073741824 1073778376 140735023836256 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/15339/statm: 3925835 100803 2298 9 0 3916554 0
[pid=15339/tid=15341] ppid=15337 vsize=15703340 CPUtime=0.37 cores=0,2,4,6
/proc/15339/task/15341/stat : 15341 (java) S 15337 15339 15043 0 -1 4202560 6616 0 1 0 36 1 0 0 20 0 22 0 505615898 16080220160 100803 33554432000 1073741824 1073778376 140735023836256 18446744073709551615 254273432473 0 4 0 16800975 18446604453943893056 0 0 -1 0 0 0 0
[pid=15339/tid=15342] ppid=15337 vsize=15703340 CPUtime=3.62 cores=0,2,4,6
/proc/15339/task/15342/stat : 15342 (java) S 15337 15339 15043 0 -1 4202560 147068 0 0 0 335 27 0 0 15 0 22 0 505615898 16080220160 100803 33554432000 1073741824 1073778376 140735023836256 18446744073709551615 254273432473 0 4 0 16800975 18446604453943893056 0 0 -1 2 0 0 0
[pid=15339/tid=15343] ppid=15337 vsize=15703340 CPUtime=3.57 cores=0,2,4,6
/proc/15339/task/15343/stat : 15343 (java) S 15337 15339 15043 0 -1 4202560 146701 0 0 0 330 27 0 0 16 0 22 0 505615898 16080220160 100803 33554432000 1073741824 1073778376 140735023836256 18446744073709551615 254273432473 0 4 0 16800975 18446604453943893056 0 0 -1 4 0 0 0
[pid=15339/tid=15344] ppid=15337 vsize=15703340 CPUtime=3.58 cores=0,2,4,6
/proc/15339/task/15344/stat : 15344 (java) S 15337 15339 15043 0 -1 4202560 150065 0 0 0 330 28 0 0 16 0 22 0 505615898 16080220160 100803 33554432000 1073741824 1073778376 140735023836256 18446744073709551615 254273432473 0 4 0 16800975 18446604453943893056 0 0 -1 6 0 0 0
[pid=15339/tid=15345] ppid=15337 vsize=15703340 CPUtime=3.5 cores=0,2,4,6
/proc/15339/task/15345/stat : 15345 (java) S 15337 15339 15043 0 -1 4202560 149982 0 0 0 324 26 0 0 15 0 22 0 505615898 16080220160 100803 33554432000 1073741824 1073778376 140735023836256 18446744073709551615 254273432473 0 4 0 16800975 18446604453943893056 0 0 -1 6 0 0 0
[pid=15339/tid=15346] ppid=15337 vsize=15703340 CPUtime=3.52 cores=0,2,4,6
/proc/15339/task/15346/stat : 15346 (java) S 15337 15339 15043 0 -1 4202560 139310 0 0 0 328 24 0 0 15 0 22 0 505615898 16080220160 100803 33554432000 1073741824 1073778376 140735023836256 18446744073709551615 254273432473 0 4 0 16800975 18446604453943893056 0 0 -1 0 0 0 0
[pid=15339/tid=15347] ppid=15337 vsize=15703340 CPUtime=3.63 cores=0,2,4,6
/proc/15339/task/15347/stat : 15347 (java) S 15337 15339 15043 0 -1 4202560 149289 0 0 0 336 27 0 0 16 0 22 0 505615898 16080220160 100803 33554432000 1073741824 1073778376 140735023836256 18446744073709551615 254273432473 0 4 0 16800975 18446604453943893056 0 0 -1 2 0 0 0
[pid=15339/tid=15348] ppid=15337 vsize=15703340 CPUtime=3.54 cores=0,2,4,6
/proc/15339/task/15348/stat : 15348 (java) S 15337 15339 15043 0 -1 4202560 158653 0 0 0 326 28 0 0 15 0 22 0 505615898 16080220160 100803 33554432000 1073741824 1073778376 140735023836256 18446744073709551615 254273432473 0 4 0 16800975 18446604453943893056 0 0 -1 4 0 0 0
[pid=15339/tid=15349] ppid=15337 vsize=15703340 CPUtime=3.56 cores=0,2,4,6
/proc/15339/task/15349/stat : 15349 (java) S 15337 15339 15043 0 -1 4202560 152061 0 0 0 330 26 0 0 16 0 22 0 505615898 16080220160 100803 33554432000 1073741824 1073778376 140735023836256 18446744073709551615 254273432473 0 4 0 16800975 18446604453943893056 0 0 -1 0 0 0 0
[pid=15339/tid=15350] ppid=15337 vsize=15703340 CPUtime=2.21 cores=0,2,4,6
/proc/15339/task/15350/stat : 15350 (java) S 15337 15339 15043 0 -1 4202560 7901 0 0 0 133 88 0 0 15 0 22 0 505615899 16080220160 100803 33554432000 1073741824 1073778376 140735023836256 18446744073709551615 254273433088 0 0 0 16800975 18446604453943893056 0 0 -1 4 0 0 0
[pid=15339/tid=15351] ppid=15337 vsize=15703340 CPUtime=0 cores=0,2,4,6
/proc/15339/task/15351/stat : 15351 (java) S 15337 15339 15043 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 505615900 16080220160 100803 33554432000 1073741824 1073778376 140735023836256 18446744073709551615 254273432473 0 4 0 16800975 18446604453943893056 0 0 -1 2 0 0 0
[pid=15339/tid=15352] ppid=15337 vsize=15703340 CPUtime=0 cores=0,2,4,6
/proc/15339/task/15352/stat : 15352 (java) S 15337 15339 15043 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 505615900 16080220160 100803 33554432000 1073741824 1073778376 140735023836256 18446744073709551615 254273432473 0 4 0 16800975 18446604453943893056 0 0 -1 2 0 0 0
[pid=15339/tid=15353] ppid=15337 vsize=15703340 CPUtime=0 cores=0,2,4,6
/proc/15339/task/15353/stat : 15353 (java) S 15337 15339 15043 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 505615902 16080220160 100803 33554432000 1073741824 1073778376 140735023836256 18446744073709551615 254273440177 0 4 0 16800975 18446604453943893056 0 0 -1 2 0 0 0
[pid=15339/tid=15354] ppid=15337 vsize=15703340 CPUtime=0.74 cores=0,2,4,6
/proc/15339/task/15354/stat : 15354 (java) S 15337 15339 15043 0 -1 4202560 11729 0 0 0 74 0 0 0 16 0 22 0 505615902 16080220160 100803 33554432000 1073741824 1073778376 140735023836256 18446744073709551615 254273432473 0 4 0 16800975 18446604453943893056 0 0 -1 2 0 0 0
[pid=15339/tid=15355] ppid=15337 vsize=15703340 CPUtime=1.15 cores=0,2,4,6
/proc/15339/task/15355/stat : 15355 (java) S 15337 15339 15043 0 -1 4202560 4292 0 0 0 115 0 0 0 15 0 22 0 505615902 16080220160 100803 33554432000 1073741824 1073778376 140735023836256 18446744073709551615 254273432473 0 4 0 16800975 18446604453943893056 0 0 -1 4 0 0 0
[pid=15339/tid=15356] ppid=15337 vsize=15703340 CPUtime=0 cores=0,2,4,6
/proc/15339/task/15356/stat : 15356 (java) S 15337 15339 15043 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 505615902 16080220160 100803 33554432000 1073741824 1073778376 140735023836256 18446744073709551615 254273432473 0 4 0 16800975 18446604453943893056 0 0 -1 2 0 0 0
[pid=15339/tid=15357] ppid=15337 vsize=15703340 CPUtime=0 cores=0,2,4,6
/proc/15339/task/15357/stat : 15357 (java) S 15337 15339 15043 0 -1 4202560 65 0 0 0 0 0 0 0 15 0 22 0 505615902 16080220160 100803 33554432000 1073741824 1073778376 140735023836256 18446744073709551615 254273433088 0 4 0 16800975 18446604453943893056 0 0 -1 2 0 0 0
[pid=15339/tid=15358] ppid=15337 vsize=15703340 CPUtime=1167.11 cores=0,2,4,6
/proc/15339/task/15358/stat : 15358 (java) R 15337 15339 15043 0 -1 4202560 474343 0 0 0 116647 64 0 0 25 0 22 0 505615923 16080220160 100803 33554432000 1073741824 1073778376 140735023836256 18446744073709551615 46912505971762 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=15339/tid=15359] ppid=15337 vsize=15703340 CPUtime=1167.78 cores=0,2,4,6
/proc/15339/task/15359/stat : 15359 (java) R 15337 15339 15043 0 -1 4202560 474485 0 0 0 116711 67 0 0 22 0 22 0 505615923 16080220160 100803 33554432000 1073741824 1073778376 140735023836256 18446744073709551615 46912505858074 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=15339/tid=15360] ppid=15337 vsize=15703340 CPUtime=1166.74 cores=0,2,4,6
/proc/15339/task/15360/stat : 15360 (java) R 15337 15339 15043 0 -1 4202560 463571 0 0 0 116608 66 0 0 25 0 22 0 505615923 16080220160 100803 33554432000 1073741824 1073778376 140735023836256 18446744073709551615 46912505705404 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=15339/tid=15361] ppid=15337 vsize=15703340 CPUtime=1167.56 cores=0,2,4,6
/proc/15339/task/15361/stat : 15361 (java) R 15337 15339 15043 0 -1 4202560 474015 0 0 0 116691 65 0 0 25 0 22 0 505615923 16080220160 100803 33554432000 1073741824 1073778376 140735023836256 18446744073709551615 47369345880304 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4702.32
Current children cumulated vsize (KiB) 15703340



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1206.9 s]
/proc/loadavg: 8.12 8.08 7.88 9/220 15451
/proc/meminfo: memFree=28721320/32951124 swapFree=67111348/67111528
[pid=15339] ppid=15337 vsize=15703340 CPUtime=4800.19 cores=0,2,4,6
/proc/15339/stat : 15339 (java) S 15337 15339 15043 0 -1 4202496 3182114 0 1 0 479435 584 0 0 25 0 22 0 505615897 16080220160 98056 33554432000 1073741824 1073778376 140735023836256 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/15339/statm: 3925835 98056 2298 9 0 3916554 0
[pid=15339/tid=15341] ppid=15337 vsize=15703340 CPUtime=0.37 cores=0,2,4,6
/proc/15339/task/15341/stat : 15341 (java) S 15337 15339 15043 0 -1 4202560 6616 0 1 0 36 1 0 0 20 0 22 0 505615898 16080220160 98056 33554432000 1073741824 1073778376 140735023836256 18446744073709551615 254273432473 0 4 0 16800975 18446604453943893056 0 0 -1 0 0 0 0
[pid=15339/tid=15342] ppid=15337 vsize=15703340 CPUtime=3.7 cores=0,2,4,6
/proc/15339/task/15342/stat : 15342 (java) S 15337 15339 15043 0 -1 4202560 150626 0 0 0 342 28 0 0 15 0 22 0 505615898 16080220160 98056 33554432000 1073741824 1073778376 140735023836256 18446744073709551615 254273432473 0 4 0 16800975 18446604453943893056 0 0 -1 4 0 0 0
[pid=15339/tid=15343] ppid=15337 vsize=15703340 CPUtime=3.64 cores=0,2,4,6
/proc/15339/task/15343/stat : 15343 (java) S 15337 15339 15043 0 -1 4202560 150481 0 0 0 337 27 0 0 15 0 22 0 505615898 16080220160 98056 33554432000 1073741824 1073778376 140735023836256 18446744073709551615 254273432473 0 4 0 16800975 18446604453943893056 0 0 -1 0 0 0 0
[pid=15339/tid=15344] ppid=15337 vsize=15703340 CPUtime=3.65 cores=0,2,4,6
/proc/15339/task/15344/stat : 15344 (java) S 15337 15339 15043 0 -1 4202560 153263 0 0 0 337 28 0 0 15 0 22 0 505615898 16080220160 98056 33554432000 1073741824 1073778376 140735023836256 18446744073709551615 254273432473 0 4 0 16800975 18446604453943893056 0 0 -1 0 0 0 0
[pid=15339/tid=15345] ppid=15337 vsize=15703340 CPUtime=3.57 cores=0,2,4,6
/proc/15339/task/15345/stat : 15345 (java) S 15337 15339 15043 0 -1 4202560 154291 0 0 0 331 26 0 0 15 0 22 0 505615898 16080220160 98056 33554432000 1073741824 1073778376 140735023836256 18446744073709551615 254273432473 0 4 0 16800975 18446604453943893056 0 0 -1 6 0 0 0
[pid=15339/tid=15346] ppid=15337 vsize=15703340 CPUtime=3.59 cores=0,2,4,6
/proc/15339/task/15346/stat : 15346 (java) S 15337 15339 15043 0 -1 4202560 143396 0 0 0 334 25 0 0 15 0 22 0 505615898 16080220160 98056 33554432000 1073741824 1073778376 140735023836256 18446744073709551615 254273432473 0 4 0 16800975 18446604453943893056 0 0 -1 4 0 0 0
[pid=15339/tid=15347] ppid=15337 vsize=15703340 CPUtime=3.7 cores=0,2,4,6
/proc/15339/task/15347/stat : 15347 (java) S 15337 15339 15043 0 -1 4202560 152430 0 0 0 343 27 0 0 16 0 22 0 505615898 16080220160 98056 33554432000 1073741824 1073778376 140735023836256 18446744073709551615 254273432473 0 4 0 16800975 18446604453943893056 0 0 -1 2 0 0 0
[pid=15339/tid=15348] ppid=15337 vsize=15703340 CPUtime=3.61 cores=0,2,4,6
/proc/15339/task/15348/stat : 15348 (java) S 15337 15339 15043 0 -1 4202560 163003 0 0 0 332 29 0 0 16 0 22 0 505615898 16080220160 98056 33554432000 1073741824 1073778376 140735023836256 18446744073709551615 254273432473 0 4 0 16800975 18446604453943893056 0 0 -1 6 0 0 0
[pid=15339/tid=15349] ppid=15337 vsize=15703340 CPUtime=3.64 cores=0,2,4,6
/proc/15339/task/15349/stat : 15349 (java) S 15337 15339 15043 0 -1 4202560 155760 0 0 0 337 27 0 0 15 0 22 0 505615898 16080220160 98056 33554432000 1073741824 1073778376 140735023836256 18446744073709551615 254273432473 0 4 0 16800975 18446604453943893056 0 0 -1 4 0 0 0
[pid=15339/tid=15350] ppid=15337 vsize=15703340 CPUtime=2.27 cores=0,2,4,6
/proc/15339/task/15350/stat : 15350 (java) S 15337 15339 15043 0 -1 4202560 8091 0 0 0 137 90 0 0 15 0 22 0 505615899 16080220160 98056 33554432000 1073741824 1073778376 140735023836256 18446744073709551615 254273433088 0 0 0 16800975 18446604453943893056 0 0 -1 2 0 0 0
[pid=15339/tid=15351] ppid=15337 vsize=15703340 CPUtime=0 cores=0,2,4,6
/proc/15339/task/15351/stat : 15351 (java) S 15337 15339 15043 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 505615900 16080220160 98056 33554432000 1073741824 1073778376 140735023836256 18446744073709551615 254273432473 0 4 0 16800975 18446604453943893056 0 0 -1 2 0 0 0
[pid=15339/tid=15352] ppid=15337 vsize=15703340 CPUtime=0 cores=0,2,4,6
/proc/15339/task/15352/stat : 15352 (java) S 15337 15339 15043 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 505615900 16080220160 98056 33554432000 1073741824 1073778376 140735023836256 18446744073709551615 254273432473 0 4 0 16800975 18446604453943893056 0 0 -1 2 0 0 0
[pid=15339/tid=15353] ppid=15337 vsize=15703340 CPUtime=0 cores=0,2,4,6
/proc/15339/task/15353/stat : 15353 (java) S 15337 15339 15043 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 505615902 16080220160 98056 33554432000 1073741824 1073778376 140735023836256 18446744073709551615 254273440177 0 4 0 16800975 18446604453943893056 0 0 -1 2 0 0 0
[pid=15339/tid=15354] ppid=15337 vsize=15703340 CPUtime=0.74 cores=0,2,4,6
/proc/15339/task/15354/stat : 15354 (java) S 15337 15339 15043 0 -1 4202560 11729 0 0 0 74 0 0 0 16 0 22 0 505615902 16080220160 98056 33554432000 1073741824 1073778376 140735023836256 18446744073709551615 254273432473 0 4 0 16800975 18446604453943893056 0 0 -1 2 0 0 0
[pid=15339/tid=15355] ppid=15337 vsize=15703340 CPUtime=1.15 cores=0,2,4,6
/proc/15339/task/15355/stat : 15355 (java) S 15337 15339 15043 0 -1 4202560 4292 0 0 0 115 0 0 0 15 0 22 0 505615902 16080220160 98056 33554432000 1073741824 1073778376 140735023836256 18446744073709551615 254273432473 0 4 0 16800975 18446604453943893056 0 0 -1 4 0 0 0
[pid=15339/tid=15356] ppid=15337 vsize=15703340 CPUtime=0 cores=0,2,4,6
/proc/15339/task/15356/stat : 15356 (java) S 15337 15339 15043 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 505615902 16080220160 98056 33554432000 1073741824 1073778376 140735023836256 18446744073709551615 254273432473 0 4 0 16800975 18446604453943893056 0 0 -1 2 0 0 0
[pid=15339/tid=15357] ppid=15337 vsize=15703340 CPUtime=0 cores=0,2,4,6
/proc/15339/task/15357/stat : 15357 (java) S 15337 15339 15043 0 -1 4202560 65 0 0 0 0 0 0 0 15 0 22 0 505615902 16080220160 98056 33554432000 1073741824 1073778376 140735023836256 18446744073709551615 254273433088 0 4 0 16800975 18446604453943893056 0 0 -1 2 0 0 0
[pid=15339/tid=15358] ppid=15337 vsize=15703340 CPUtime=1191.41 cores=0,2,4,6
/proc/15339/task/15358/stat : 15358 (java) R 15337 15339 15043 0 -1 4202560 484858 0 0 0 119076 65 0 0 25 0 22 0 505615923 16080220160 98056 33554432000 1073741824 1073778376 140735023836256 18446744073709551615 46912505935036 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=15339/tid=15359] ppid=15337 vsize=15703340 CPUtime=1192.02 cores=0,2,4,6
/proc/15339/task/15359/stat : 15359 (java) R 15337 15339 15043 0 -1 4202560 484572 0 0 0 119134 68 0 0 25 0 22 0 505615923 16080220160 98056 33554432000 1073741824 1073778376 140735023836256 18446744073709551615 46912505944136 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=15339/tid=15360] ppid=15337 vsize=15703340 CPUtime=1191.06 cores=0,2,4,6
/proc/15339/task/15360/stat : 15360 (java) R 15337 15339 15043 0 -1 4202560 472939 0 0 0 119038 68 0 0 22 0 22 0 505615923 16080220160 98056 33554432000 1073741824 1073778376 140735023836256 18446744073709551615 47369345881861 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=15339/tid=15361] ppid=15337 vsize=15703340 CPUtime=1191.91 cores=0,2,4,6
/proc/15339/task/15361/stat : 15361 (java) R 15337 15339 15043 0 -1 4202560 484317 0 0 0 119125 66 0 0 25 0 22 0 505615923 16080220160 98056 33554432000 1073741824 1073778376 140735023836256 18446744073709551615 46912505873310 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.19
Current children cumulated vsize (KiB) 15703340

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.94
CPU time (s): 4800.25
CPU user time (s): 4794.38
CPU system time (s): 5.86511
CPU usage (%): 397.72
Max. virtual memory (cumulated for all children) (KiB): 15706104

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4794.38
system time used= 5.86511
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3182140
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= 212585
involuntary context switches= 121443

runsolver used 2.06169 second user time and 4.5873 second system time

The end

Launcher Data 

Begin job on node140 at 2011-04-30 04:53:26
IDJOB=3312740
IDBENCH=82925
IDSOLVER=1699
FILE ID=node140/3312740-1304132006
RUNJOBID= node140-1304130648-15061
PBS_JOBID= 13170792
Free space on /tmp= 73292 MiB

SOLVER NAME= STRUCTure 0.1
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v600-c2556-S1677156340-036.UNKNOWN.cnf
COMMAND LINE= run 15000 NBCORE TMPDIR DIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3312740-1304132006/watcher-3312740-1304132006 -o /tmp/evaluation-result-3312740-1304132006/solver-3312740-1304132006 -C 4800 -W 1300 -M 15500  run 15000 4 HOME HOME HOME/instance-3312740-1304132006.cnf

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

MD5SUM BENCH= 99f3efd3bfc8a6f99ffbd289ed4a5837
RANDOM SEED=1945528352

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      28994792 kB
Buffers:       1045964 kB
Cached:        1802080 kB
SwapCached:        180 kB
Active:         860020 kB
Inactive:      2600416 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      28994792 kB
SwapTotal:    67111528 kB
SwapFree:     67111348 kB
Dirty:            1624 kB
Writeback:           0 kB
AnonPages:      611804 kB
Mapped:          23444 kB
Slab:           432092 kB
PageTables:       6292 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   970636 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= 73292 MiB
End job on node140 at 2011-04-30 05:13:35