Trace number 3312834

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
STRUCTure 0.1? (TO) 4800.16 1207.34

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v400-c1704-S1023920765-089.SATISFIABLE.cnf
MD5SUMea9dfa5adeec712c099d553962345305
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.009997
Satisfiable
(Un)Satisfiability was proved
Number of variables400
Number of clauses1704
Sum of the clauses size5112
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 31704
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.11/0.12	23:30 INFO : Reading from input HOME/instance-3312834-1304177010.cnf
0.27/0.23	Executor set job limit to 1000000
0.27/0.23	Executor set job limit to 1000000
0.27/0.23	Executor set job limit to 1000000
0.27/0.23	Executor set job limit to 1000000
0.27/0.24	Starting Executor!
0.27/0.24	Starting Executor!
0.27/0.24	Starting Executor!
0.27/0.24	Starting Executor!
0.49/0.33	23:31 INFO : 399 variables remaining out of 400
0.49/0.33	23:31 INFO : 6772 literals remaining out of 6816

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-3312834-1304177010/watcher-3312834-1304177010 -o /tmp/evaluation-result-3312834-1304177010/solver-3312834-1304177010 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3312834-1304177010.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.19 7.81 7.92 5/198 2263
/proc/meminfo: memFree=29489808/32950928 swapFree=67086612/67111528
[pid=2263] ppid=2261 vsize=5592 CPUtime=0 cores=0,2,4,6
/proc/2263/stat : 2263 (java) R 2261 2263 2146 0 -1 4194304 548 0 0 0 0 0 0 0 25 0 1 0 529298088 5726208 52 33554432000 1073741824 1073778376 140734135674432 18446744073709551615 239471771271 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/2263/statm: 2254 56 44 9 0 28 0

[startup+0.069107 s]
/proc/loadavg: 7.19 7.81 7.92 5/198 2263
/proc/meminfo: memFree=29489808/32950928 swapFree=67086612/67111528
[pid=2263] ppid=2261 vsize=15609780 CPUtime=0.05 cores=0,2,4,6
/proc/2263/stat : 2263 (java) S 2261 2263 2146 0 -1 4202496 4413 0 1 0 5 0 0 0 25 0 18 0 529298088 15984414720 3851 33554432000 1073741824 1073778376 140734135674432 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/2263/statm: 3902445 3851 1779 9 0 3893164 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 15609780

[startup+0.1011 s]
/proc/loadavg: 7.19 7.81 7.92 5/198 2263
/proc/meminfo: memFree=29489808/32950928 swapFree=67086612/67111528
[pid=2263] ppid=2261 vsize=15741672 CPUtime=0.11 cores=0,2,4,6
/proc/2263/stat : 2263 (java) S 2261 2263 2146 0 -1 4202496 5603 0 1 0 10 1 0 0 25 0 18 0 529298088 16119472128 5013 33554432000 1073741824 1073778376 140734135674432 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/2263/statm: 3935418 5013 2116 9 0 3926137 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 15741672

[startup+0.301961 s]
/proc/loadavg: 7.19 7.81 7.92 5/198 2263
/proc/meminfo: memFree=29489808/32950928 swapFree=67086612/67111528
[pid=2263] ppid=2261 vsize=15747968 CPUtime=0.49 cores=0,2,4,6
/proc/2263/stat : 2263 (java) S 2261 2263 2146 0 -1 4202496 10890 0 1 0 47 2 0 0 25 0 22 0 529298088 16125919232 9358 33554432000 1073741824 1073778376 140734135674432 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/2263/statm: 3936992 9358 2206 9 0 3927711 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 15747968

[startup+1.24782 s]
/proc/loadavg: 7.19 7.81 7.92 5/198 2263
/proc/meminfo: memFree=29489808/32950928 swapFree=67086612/67111528
[pid=2263] ppid=2261 vsize=15765520 CPUtime=4.14 cores=0,2,4,6
/proc/2263/stat : 2263 (java) S 2261 2263 2146 0 -1 4202496 59109 0 1 0 405 9 0 0 25 0 22 0 529298088 16143892480 47326 33554432000 1073741824 1073778376 140734135674432 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/2263/statm: 3941380 47326 2265 9 0 3932099 0
Current children cumulated CPU time (s) 4.14
Current children cumulated vsize (KiB) 15765520

[startup+1.50077 s]
/proc/loadavg: 7.19 7.81 7.92 5/198 2263
/proc/meminfo: memFree=29489808/32950928 swapFree=67086612/67111528
[pid=2263] ppid=2261 vsize=15765520 CPUtime=5.14 cores=0,2,4,6
/proc/2263/stat : 2263 (java) S 2261 2263 2146 0 -1 4202496 76877 0 1 0 503 11 0 0 25 0 22 0 529298088 16143892480 65089 33554432000 1073741824 1073778376 140734135674432 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/2263/statm: 3941380 65092 2269 9 0 3932099 0
Current children cumulated CPU time (s) 5.14
Current children cumulated vsize (KiB) 15765520

[startup+3.10146 s]
/proc/loadavg: 7.25 7.81 7.92 9/220 2286
/proc/meminfo: memFree=28916628/32950928 swapFree=67086612/67111528
[pid=2263] ppid=2261 vsize=15765656 CPUtime=11.51 cores=0,2,4,6
/proc/2263/stat : 2263 (java) S 2261 2263 2146 0 -1 4202496 158386 0 1 0 1129 22 0 0 25 0 22 0 529298088 16144031744 146583 33554432000 1073741824 1073778376 140734135674432 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/2263/statm: 3941414 146583 2275 9 0 3932133 0
[pid=2263/tid=2265] ppid=2261 vsize=15765656 CPUtime=0.31 cores=0,2,4,6
/proc/2263/task/2265/stat : 2265 (java) S 2261 2263 2146 0 -1 4202560 5925 0 1 0 30 1 0 0 18 0 22 0 529298089 16144031744 146583 33554432000 1073741824 1073778376 140734135674432 18446744073709551615 239488510873 0 4 0 16800975 18446604453963873216 0 0 -1 4 0 0 0
[pid=2263/tid=2266] ppid=2261 vsize=15765656 CPUtime=0 cores=0,2,4,6
/proc/2263/task/2266/stat : 2266 (java) S 2261 2263 2146 0 -1 4202560 865 0 0 0 0 0 0 0 16 0 22 0 529298089 16144031744 146583 33554432000 1073741824 1073778376 140734135674432 18446744073709551615 239488510873 0 4 0 16800975 18446604453963873216 0 0 -1 6 0 0 0
[pid=2263/tid=2267] ppid=2261 vsize=15765656 CPUtime=0 cores=0,2,4,6
/proc/2263/task/2267/stat : 2267 (java) S 2261 2263 2146 0 -1 4202560 921 0 0 0 0 0 0 0 16 0 22 0 529298089 16144031744 146583 33554432000 1073741824 1073778376 140734135674432 18446744073709551615 239488510873 0 4 0 16800975 18446604453963873216 0 0 -1 2 0 0 0
[pid=2263/tid=2268] ppid=2261 vsize=15765656 CPUtime=0.01 cores=0,2,4,6
/proc/2263/task/2268/stat : 2268 (java) S 2261 2263 2146 0 -1 4202560 710 0 0 0 1 0 0 0 15 0 22 0 529298089 16144031744 146583 33554432000 1073741824 1073778376 140734135674432 18446744073709551615 239488510873 0 4 0 16800975 18446604453963873216 0 0 -1 6 0 0 0
[pid=2263/tid=2269] ppid=2261 vsize=15765656 CPUtime=0 cores=0,2,4,6
/proc/2263/task/2269/stat : 2269 (java) S 2261 2263 2146 0 -1 4202560 665 0 0 0 0 0 0 0 16 0 22 0 529298089 16144031744 146583 33554432000 1073741824 1073778376 140734135674432 18446744073709551615 239488510873 0 4 0 16800975 18446604453963873216 0 0 -1 4 0 0 0
[pid=2263/tid=2270] ppid=2261 vsize=15765656 CPUtime=0.01 cores=0,2,4,6
/proc/2263/task/2270/stat : 2270 (java) S 2261 2263 2146 0 -1 4202560 1132 0 0 0 1 0 0 0 15 0 22 0 529298089 16144031744 146583 33554432000 1073741824 1073778376 140734135674432 18446744073709551615 239488510873 0 4 0 16800975 18446604453963873216 0 0 -1 0 0 0 0
[pid=2263/tid=2271] ppid=2261 vsize=15765656 CPUtime=0.01 cores=0,2,4,6
/proc/2263/task/2271/stat : 2271 (java) S 2261 2263 2146 0 -1 4202560 404 0 0 0 1 0 0 0 15 0 22 0 529298089 16144031744 146583 33554432000 1073741824 1073778376 140734135674432 18446744073709551615 239488510873 0 4 0 16800975 18446604453963873216 0 0 -1 6 0 0 0
[pid=2263/tid=2272] ppid=2261 vsize=15765656 CPUtime=0.02 cores=0,2,4,6
/proc/2263/task/2272/stat : 2272 (java) S 2261 2263 2146 0 -1 4202560 951 0 0 0 2 0 0 0 16 0 22 0 529298089 16144031744 146583 33554432000 1073741824 1073778376 140734135674432 18446744073709551615 239488510873 0 4 0 16800975 18446604453963873216 0 0 -1 0 0 0 0
[pid=2263/tid=2273] ppid=2261 vsize=15765656 CPUtime=0.01 cores=0,2,4,6
/proc/2263/task/2273/stat : 2273 (java) S 2261 2263 2146 0 -1 4202560 484 0 0 0 1 0 0 0 15 0 22 0 529298089 16144031744 146583 33554432000 1073741824 1073778376 140734135674432 18446744073709551615 239488510873 0 4 0 16800975 18446604453963873216 0 0 -1 2 0 0 0
[pid=2263/tid=2274] ppid=2261 vsize=15765656 CPUtime=0 cores=0,2,4,6
/proc/2263/task/2274/stat : 2274 (java) S 2261 2263 2146 0 -1 4202560 433 0 0 0 0 0 0 0 15 0 22 0 529298090 16144031744 146583 33554432000 1073741824 1073778376 140734135674432 18446744073709551615 239488511488 0 0 0 16800975 18446604453963873216 0 0 -1 4 0 0 0
[pid=2263/tid=2275] ppid=2261 vsize=15765656 CPUtime=0 cores=0,2,4,6
/proc/2263/task/2275/stat : 2275 (java) S 2261 2263 2146 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 529298091 16144031744 146583 33554432000 1073741824 1073778376 140734135674432 18446744073709551615 239488510873 0 4 0 16800975 18446604453963873216 0 0 -1 2 0 0 0
[pid=2263/tid=2276] ppid=2261 vsize=15765656 CPUtime=0 cores=0,2,4,6
/proc/2263/task/2276/stat : 2276 (java) S 2261 2263 2146 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 529298091 16144031744 146583 33554432000 1073741824 1073778376 140734135674432 18446744073709551615 239488510873 0 4 0 16800975 18446604453963873216 0 0 -1 2 0 0 0
[pid=2263/tid=2277] ppid=2261 vsize=15765656 CPUtime=0 cores=0,2,4,6
/proc/2263/task/2277/stat : 2277 (java) S 2261 2263 2146 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529298093 16144031744 146583 33554432000 1073741824 1073778376 140734135674432 18446744073709551615 239488518577 0 4 0 16800975 18446604453963873216 0 0 -1 2 0 0 0
[pid=2263/tid=2278] ppid=2261 vsize=15765656 CPUtime=0.96 cores=0,2,4,6
/proc/2263/task/2278/stat : 2278 (java) S 2261 2263 2146 0 -1 4202560 5422 0 0 0 96 0 0 0 15 0 22 0 529298093 16144031744 146583 33554432000 1073741824 1073778376 140734135674432 18446744073709551615 239488510873 0 4 0 16800975 18446604453963873216 0 0 -1 6 0 0 0
[pid=2263/tid=2279] ppid=2261 vsize=15765656 CPUtime=1.12 cores=0,2,4,6
/proc/2263/task/2279/stat : 2279 (java) S 2261 2263 2146 0 -1 4202560 16240 0 0 0 111 1 0 0 15 0 22 0 529298093 16144031744 146583 33554432000 1073741824 1073778376 140734135674432 18446744073709551615 239488510873 0 4 0 16800975 18446604453963873216 0 0 -1 0 0 0 0
[pid=2263/tid=2280] ppid=2261 vsize=15765656 CPUtime=0 cores=0,2,4,6
/proc/2263/task/2280/stat : 2280 (java) S 2261 2263 2146 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529298093 16144031744 146583 33554432000 1073741824 1073778376 140734135674432 18446744073709551615 239488510873 0 4 0 16800975 18446604453963873216 0 0 -1 2 0 0 0
[pid=2263/tid=2281] ppid=2261 vsize=15765656 CPUtime=0 cores=0,2,4,6
/proc/2263/task/2281/stat : 2281 (java) S 2261 2263 2146 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 529298093 16144031744 146583 33554432000 1073741824 1073778376 140734135674432 18446744073709551615 239488511488 0 4 0 16800975 18446604453963873216 0 0 -1 4 0 0 0
[pid=2263/tid=2283] ppid=2261 vsize=15765656 CPUtime=2.7 cores=0,2,4,6
/proc/2263/task/2283/stat : 2283 (java) R 2261 2263 2146 0 -1 4202560 40398 0 0 0 265 5 0 0 20 0 22 0 529298112 16144031744 146583 33554432000 1073741824 1073778376 140734135674432 18446744073709551615 46912505784883 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=2263/tid=2284] ppid=2261 vsize=15765656 CPUtime=1.85 cores=0,2,4,6
/proc/2263/task/2284/stat : 2284 (java) R 2261 2263 2146 0 -1 4202560 22269 0 0 0 183 2 0 0 22 0 22 0 529298112 16144031744 146583 33554432000 1073741824 1073778376 140734135674432 18446744073709551615 46912505785015 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2263/tid=2285] ppid=2261 vsize=15765656 CPUtime=2.46 cores=0,2,4,6
/proc/2263/task/2285/stat : 2285 (java) R 2261 2263 2146 0 -1 4202560 35750 0 0 0 243 3 0 0 23 0 22 0 529298112 16144031744 146583 33554432000 1073741824 1073778376 140734135674432 18446744073709551615 46912505839327 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=2263/tid=2286] ppid=2261 vsize=15765656 CPUtime=1.91 cores=0,2,4,6
/proc/2263/task/2286/stat : 2286 (java) R 2261 2263 2146 0 -1 4202560 24430 0 0 0 188 3 0 0 20 0 22 0 529298112 16144031744 146583 33554432000 1073741824 1073778376 140734135674432 18446744073709551615 46912505785015 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 11.51
Current children cumulated vsize (KiB) 15765656

[startup+6.30085 s]
/proc/loadavg: 7.25 7.81 7.92 9/220 2286
/proc/meminfo: memFree=28400552/32950928 swapFree=67086612/67111528
[pid=2263] ppid=2261 vsize=15765656 CPUtime=24.29 cores=0,2,4,6
/proc/2263/stat : 2263 (java) S 2261 2263 2146 0 -1 4202496 284443 0 1 0 2391 38 0 0 25 0 22 0 529298088 16144031744 270827 33554432000 1073741824 1073778376 140734135674432 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/2263/statm: 3941414 270827 2282 9 0 3932133 0
[pid=2263/tid=2265] ppid=2261 vsize=15765656 CPUtime=0.31 cores=0,2,4,6
/proc/2263/task/2265/stat : 2265 (java) S 2261 2263 2146 0 -1 4202560 5925 0 1 0 30 1 0 0 18 0 22 0 529298089 16144031744 270827 33554432000 1073741824 1073778376 140734135674432 18446744073709551615 239488510873 0 4 0 16800975 18446604453963873216 0 0 -1 4 0 0 0
[pid=2263/tid=2266] ppid=2261 vsize=15765656 CPUtime=0 cores=0,2,4,6
/proc/2263/task/2266/stat : 2266 (java) S 2261 2263 2146 0 -1 4202560 1073 0 0 0 0 0 0 0 15 0 22 0 529298089 16144031744 270827 33554432000 1073741824 1073778376 140734135674432 18446744073709551615 239488510873 0 4 0 16800975 18446604453963873216 0 0 -1 0 0 0 0
[pid=2263/tid=2267] ppid=2261 vsize=15765656 CPUtime=0 cores=0,2,4,6
/proc/2263/task/2267/stat : 2267 (java) S 2261 2263 2146 0 -1 4202560 970 0 0 0 0 0 0 0 15 0 22 0 529298089 16144031744 270827 33554432000 1073741824 1073778376 140734135674432 18446744073709551615 239488510873 0 4 0 16800975 18446604453963873216 0 0 -1 4 0 0 0
[pid=2263/tid=2268] ppid=2261 vsize=15765656 CPUtime=0.01 cores=0,2,4,6
/proc/2263/task/2268/stat : 2268 (java) S 2261 2263 2146 0 -1 4202560 1033 0 0 0 1 0 0 0 15 0 22 0 529298089 16144031744 270827 33554432000 1073741824 1073778376 140734135674432 18446744073709551615 239488510873 0 4 0 16800975 18446604453963873216 0 0 -1 6 0 0 0
[pid=2263/tid=2269] ppid=2261 vsize=15765656 CPUtime=0 cores=0,2,4,6
/proc/2263/task/2269/stat : 2269 (java) S 2261 2263 2146 0 -1 4202560 924 0 0 0 0 0 0 0 15 0 22 0 529298089 16144031744 270827 33554432000 1073741824 1073778376 140734135674432 18446744073709551615 239488510873 0 4 0 16800975 18446604453963873216 0 0 -1 4 0 0 0
[pid=2263/tid=2270] ppid=2261 vsize=15765656 CPUtime=0.01 cores=0,2,4,6
/proc/2263/task/2270/stat : 2270 (java) S 2261 2263 2146 0 -1 4202560 1639 0 0 0 1 0 0 0 15 0 22 0 529298089 16144031744 270827 33554432000 1073741824 1073778376 140734135674432 18446744073709551615 239488510873 0 4 0 16800975 18446604453963873216 0 0 -1 0 0 0 0
[pid=2263/tid=2271] ppid=2261 vsize=15765656 CPUtime=0.01 cores=0,2,4,6
/proc/2263/task/2271/stat : 2271 (java) S 2261 2263 2146 0 -1 4202560 606 0 0 0 1 0 0 0 15 0 22 0 529298089 16144031744 270827 33554432000 1073741824 1073778376 140734135674432 18446744073709551615 239488510873 0 4 0 16800975 18446604453963873216 0 0 -1 6 0 0 0
[pid=2263/tid=2272] ppid=2261 vsize=15765656 CPUtime=0.02 cores=0,2,4,6
/proc/2263/task/2272/stat : 2272 (java) S 2261 2263 2146 0 -1 4202560 1546 0 0 0 2 0 0 0 15 0 22 0 529298089 16144031744 270827 33554432000 1073741824 1073778376 140734135674432 18446744073709551615 239488510873 0 4 0 16800975 18446604453963873216 0 0 -1 2 0 0 0
[pid=2263/tid=2273] ppid=2261 vsize=15765656 CPUtime=0.01 cores=0,2,4,6
/proc/2263/task/2273/stat : 2273 (java) S 2261 2263 2146 0 -1 4202560 484 0 0 0 1 0 0 0 16 0 22 0 529298089 16144031744 270827 33554432000 1073741824 1073778376 140734135674432 18446744073709551615 239488510873 0 4 0 16800975 18446604453963873216 0 0 -1 2 0 0 0
[pid=2263/tid=2274] ppid=2261 vsize=15765656 CPUtime=0 cores=0,2,4,6
/proc/2263/task/2274/stat : 2274 (java) S 2261 2263 2146 0 -1 4202560 433 0 0 0 0 0 0 0 15 0 22 0 529298090 16144031744 270827 33554432000 1073741824 1073778376 140734135674432 18446744073709551615 239488511488 0 0 0 16800975 18446604453963873216 0 0 -1 4 0 0 0
[pid=2263/tid=2275] ppid=2261 vsize=15765656 CPUtime=0 cores=0,2,4,6
/proc/2263/task/2275/stat : 2275 (java) S 2261 2263 2146 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 529298091 16144031744 270827 33554432000 1073741824 1073778376 140734135674432 18446744073709551615 239488510873 0 4 0 16800975 18446604453963873216 0 0 -1 2 0 0 0
[pid=2263/tid=2276] ppid=2261 vsize=15765656 CPUtime=0 cores=0,2,4,6
/proc/2263/task/2276/stat : 2276 (java) S 2261 2263 2146 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 529298091 16144031744 270827 33554432000 1073741824 1073778376 140734135674432 18446744073709551615 239488510873 0 4 0 16800975 18446604453963873216 0 0 -1 2 0 0 0
[pid=2263/tid=2277] ppid=2261 vsize=15765656 CPUtime=0 cores=0,2,4,6
/proc/2263/task/2277/stat : 2277 (java) S 2261 2263 2146 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529298093 16144031744 270827 33554432000 1073741824 1073778376 140734135674432 18446744073709551615 239488518577 0 4 0 16800975 18446604453963873216 0 0 -1 2 0 0 0
[pid=2263/tid=2278] ppid=2261 vsize=15765656 CPUtime=0.99 cores=0,2,4,6
/proc/2263/task/2278/stat : 2278 (java) S 2261 2263 2146 0 -1 4202560 5434 0 0 0 99 0 0 0 16 0 22 0 529298093 16144031744 270827 33554432000 1073741824 1073778376 140734135674432 18446744073709551615 239488510873 0 4 0 16800975 18446604453963873216 0 0 -1 6 0 0 0
[pid=2263/tid=2279] ppid=2261 vsize=15765656 CPUtime=1.19 cores=0,2,4,6
/proc/2263/task/2279/stat : 2279 (java) S 2261 2263 2146 0 -1 4202560 16251 0 0 0 118 1 0 0 15 0 22 0 529298093 16144031744 270827 33554432000 1073741824 1073778376 140734135674432 18446744073709551615 239488510873 0 4 0 16800975 18446604453963873216 0 0 -1 0 0 0 0
[pid=2263/tid=2280] ppid=2261 vsize=15765656 CPUtime=0 cores=0,2,4,6
/proc/2263/task/2280/stat : 2280 (java) S 2261 2263 2146 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529298093 16144031744 270827 33554432000 1073741824 1073778376 140734135674432 18446744073709551615 239488510873 0 4 0 16800975 18446604453963873216 0 0 -1 2 0 0 0
[pid=2263/tid=2281] ppid=2261 vsize=15765656 CPUtime=0 cores=0,2,4,6
/proc/2263/task/2281/stat : 2281 (java) S 2261 2263 2146 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 529298093 16144031744 270827 33554432000 1073741824 1073778376 140734135674432 18446744073709551615 239488511488 0 4 0 16800975 18446604453963873216 0 0 -1 4 0 0 0
[pid=2263/tid=2283] ppid=2261 vsize=15765656 CPUtime=5.89 cores=0,2,4,6
/proc/2263/task/2283/stat : 2283 (java) R 2261 2263 2146 0 -1 4202560 71117 0 0 0 581 8 0 0 25 0 22 0 529298112 16144031744 270827 33554432000 1073741824 1073778376 140734135674432 18446744073709551615 18446744073699065939 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=2263/tid=2284] ppid=2261 vsize=15765656 CPUtime=4.98 cores=0,2,4,6
/proc/2263/task/2284/stat : 2284 (java) R 2261 2263 2146 0 -1 4202560 53679 0 0 0 491 7 0 0 25 0 22 0 529298112 16144031744 270827 33554432000 1073741824 1073778376 140734135674432 18446744073709551615 46912505785068 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2263/tid=2285] ppid=2261 vsize=15765656 CPUtime=5.6 cores=0,2,4,6
/proc/2263/task/2285/stat : 2285 (java) R 2261 2263 2146 0 -1 4202560 66496 0 0 0 553 7 0 0 25 0 22 0 529298112 16144031744 270827 33554432000 1073741824 1073778376 140734135674432 18446744073709551615 46912505784959 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=2263/tid=2286] ppid=2261 vsize=15765656 CPUtime=5.11 cores=0,2,4,6
/proc/2263/task/2286/stat : 2286 (java) R 2261 2263 2146 0 -1 4202560 55446 0 0 0 503 8 0 0 25 0 22 0 529298112 16144031744 270827 33554432000 1073741824 1073778376 140734135674432 18446744073709551615 46912505838892 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 24.29
Current children cumulated vsize (KiB) 15765656

[startup+12.7016 s]
/proc/loadavg: 7.31 7.81 7.92 9/220 2286
/proc/meminfo: memFree=28408668/32950928 swapFree=67086612/67111528
[pid=2263] ppid=2261 vsize=15765656 CPUtime=49.85 cores=0,2,4,6
/proc/2263/stat : 2263 (java) S 2261 2263 2146 0 -1 4202496 286688 0 1 0 4947 38 0 0 25 0 22 0 529298088 16144031744 266318 33554432000 1073741824 1073778376 140734135674432 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/2263/statm: 3941414 266318 2288 9 0 3932133 0
[pid=2263/tid=2265] ppid=2261 vsize=15765656 CPUtime=0.31 cores=0,2,4,6
/proc/2263/task/2265/stat : 2265 (java) S 2261 2263 2146 0 -1 4202560 5925 0 1 0 30 1 0 0 18 0 22 0 529298089 16144031744 266318 33554432000 1073741824 1073778376 140734135674432 18446744073709551615 239488510873 0 4 0 16800975 18446604453963873216 0 0 -1 4 0 0 0
[pid=2263/tid=2266] ppid=2261 vsize=15765656 CPUtime=0 cores=0,2,4,6
/proc/2263/task/2266/stat : 2266 (java) S 2261 2263 2146 0 -1 4202560 1460 0 0 0 0 0 0 0 15 0 22 0 529298089 16144031744 266318 33554432000 1073741824 1073778376 140734135674432 18446744073709551615 239488510873 0 4 0 16800975 18446604453963873216 0 0 -1 4 0 0 0
[pid=2263/tid=2267] ppid=2261 vsize=15765656 CPUtime=0.01 cores=0,2,4,6
/proc/2263/task/2267/stat : 2267 (java) S 2261 2263 2146 0 -1 4202560 1349 0 0 0 1 0 0 0 15 0 22 0 529298089 16144031744 266318 33554432000 1073741824 1073778376 140734135674432 18446744073709551615 239488510873 0 4 0 16800975 18446604453963873216 0 0 -1 6 0 0 0
[pid=2263/tid=2268] ppid=2261 vsize=15765656 CPUtime=0.01 cores=0,2,4,6
/proc/2263/task/2268/stat : 2268 (java) S 2261 2263 2146 0 -1 4202560 1096 0 0 0 1 0 0 0 16 0 22 0 529298089 16144031744 266318 33554432000 1073741824 1073778376 140734135674432 18446744073709551615 239488510873 0 4 0 16800975 18446604453963873216 0 0 -1 2 0 0 0
[pid=2263/tid=2269] ppid=2261 vsize=15765656 CPUtime=0.01 cores=0,2,4,6
/proc/2263/task/2269/stat : 2269 (java) S 2261 2263 2146 0 -1 4202560 1132 0 0 0 1 0 0 0 16 0 22 0 529298089 16144031744 266318 33554432000 1073741824 1073778376 140734135674432 18446744073709551615 239488510873 0 4 0 16800975 18446604453963873216 0 0 -1 0 0 0 0
[pid=2263/tid=2270] ppid=2261 vsize=15765656 CPUtime=0.01 cores=0,2,4,6
/proc/2263/task/2270/stat : 2270 (java) S 2261 2263 2146 0 -1 4202560 1846 0 0 0 1 0 0 0 15 0 22 0 529298089 16144031744 266318 33554432000 1073741824 1073778376 140734135674432 18446744073709551615 239488510873 0 4 0 16800975 18446604453963873216 0 0 -1 0 0 0 0
[pid=2263/tid=2271] ppid=2261 vsize=15765656 CPUtime=0.02 cores=0,2,4,6
/proc/2263/task/2271/stat : 2271 (java) S 2261 2263 2146 0 -1 4202560 770 0 0 0 2 0 0 0 15 0 22 0 529298089 16144031744 266318 33554432000 1073741824 1073778376 140734135674432 18446744073709551615 239488510873 0 4 0 16800975 18446604453963873216 0 0 -1 6 0 0 0
[pid=2263/tid=2272] ppid=2261 vsize=15765656 CPUtime=0.02 cores=0,2,4,6
/proc/2263/task/2272/stat : 2272 (java) S 2261 2263 2146 0 -1 4202560 1754 0 0 0 2 0 0 0 15 0 22 0 529298089 16144031744 266318 33554432000 1073741824 1073778376 140734135674432 18446744073709551615 239488510873 0 4 0 16800975 18446604453963873216 0 0 -1 2 0 0 0
[pid=2263/tid=2273] ppid=2261 vsize=15765656 CPUtime=0.02 cores=0,2,4,6
/proc/2263/task/2273/stat : 2273 (java) S 2261 2263 2146 0 -1 4202560 1074 0 0 0 2 0 0 0 15 0 22 0 529298089 16144031744 266318 33554432000 1073741824 1073778376 140734135674432 18446744073709551615 239488510873 0 4 0 16800975 18446604453963873216 0 0 -1 0 0 0 0
[pid=2263/tid=2274] ppid=2261 vsize=15765656 CPUtime=0 cores=0,2,4,6

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

[pid=2263/tid=2284] ppid=2261 vsize=15765656 CPUtime=1048.64 cores=0,2,4,6
/proc/2263/task/2284/stat : 2284 (java) R 2261 2263 2146 0 -1 4202560 272170 0 0 0 104820 44 0 0 25 0 22 0 529298112 16144031744 93997 33554432000 1073741824 1073778376 140734135674432 18446744073709551615 46912505651356 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=2263/tid=2285] ppid=2261 vsize=15765656 CPUtime=1048.77 cores=0,2,4,6
/proc/2263/task/2285/stat : 2285 (java) R 2261 2263 2146 0 -1 4202560 283259 0 0 0 104837 40 0 0 25 0 22 0 529298112 16144031744 93997 33554432000 1073741824 1073778376 140734135674432 18446744073709551615 46912505849534 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=2263/tid=2286] ppid=2261 vsize=15765656 CPUtime=1048.74 cores=0,2,4,6
/proc/2263/task/2286/stat : 2286 (java) R 2261 2263 2146 0 -1 4202560 267472 0 0 0 104830 44 0 0 18 0 22 0 529298112 16144031744 93997 33554432000 1073741824 1073778376 140734135674432 18446744073709551615 46912505666726 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4223.65
Current children cumulated vsize (KiB) 15765656

[startup+1122.3 s]
/proc/loadavg: 8.18 8.11 8.02 9/220 2317
/proc/meminfo: memFree=29315508/32950928 swapFree=67086612/67111528
[pid=2263] ppid=2261 vsize=15765656 CPUtime=4462.23 cores=0,2,4,6
/proc/2263/stat : 2263 (java) S 2261 2263 2146 0 -1 4202496 1949476 0 1 0 445817 406 0 0 25 0 22 0 529298088 16144031744 98989 33554432000 1073741824 1073778376 140734135674432 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/2263/statm: 3941414 98989 2296 9 0 3932133 0
[pid=2263/tid=2265] ppid=2261 vsize=15765656 CPUtime=0.31 cores=0,2,4,6
/proc/2263/task/2265/stat : 2265 (java) S 2261 2263 2146 0 -1 4202560 5925 0 1 0 30 1 0 0 18 0 22 0 529298089 16144031744 98989 33554432000 1073741824 1073778376 140734135674432 18446744073709551615 239488510873 0 4 0 16800975 18446604453963873216 0 0 -1 4 0 0 0
[pid=2263/tid=2266] ppid=2261 vsize=15765656 CPUtime=3.14 cores=0,2,4,6
/proc/2263/task/2266/stat : 2266 (java) S 2261 2263 2146 0 -1 4202560 90290 0 0 0 295 19 0 0 15 0 22 0 529298089 16144031744 98989 33554432000 1073741824 1073778376 140734135674432 18446744073709551615 239488510873 0 4 0 16800975 18446604453963873216 0 0 -1 0 0 0 0
[pid=2263/tid=2267] ppid=2261 vsize=15765656 CPUtime=3.09 cores=0,2,4,6
/proc/2263/task/2267/stat : 2267 (java) S 2261 2263 2146 0 -1 4202560 90006 0 0 0 291 18 0 0 16 0 22 0 529298089 16144031744 98989 33554432000 1073741824 1073778376 140734135674432 18446744073709551615 239488510873 0 4 0 16800975 18446604453963873216 0 0 -1 2 0 0 0
[pid=2263/tid=2268] ppid=2261 vsize=15765656 CPUtime=3.1 cores=0,2,4,6
/proc/2263/task/2268/stat : 2268 (java) S 2261 2263 2146 0 -1 4202560 92117 0 0 0 292 18 0 0 15 0 22 0 529298089 16144031744 98989 33554432000 1073741824 1073778376 140734135674432 18446744073709551615 239488510873 0 4 0 16800975 18446604453963873216 0 0 -1 4 0 0 0
[pid=2263/tid=2269] ppid=2261 vsize=15765656 CPUtime=3.18 cores=0,2,4,6
/proc/2263/task/2269/stat : 2269 (java) S 2261 2263 2146 0 -1 4202560 92961 0 0 0 300 18 0 0 15 0 22 0 529298089 16144031744 98989 33554432000 1073741824 1073778376 140734135674432 18446744073709551615 239488510873 0 4 0 16800975 18446604453963873216 0 0 -1 0 0 0 0
[pid=2263/tid=2270] ppid=2261 vsize=15765656 CPUtime=3.16 cores=0,2,4,6
/proc/2263/task/2270/stat : 2270 (java) S 2261 2263 2146 0 -1 4202560 94558 0 0 0 299 17 0 0 15 0 22 0 529298089 16144031744 98989 33554432000 1073741824 1073778376 140734135674432 18446744073709551615 239488510873 0 4 0 16800975 18446604453963873216 0 0 -1 2 0 0 0
[pid=2263/tid=2271] ppid=2261 vsize=15765656 CPUtime=3.1 cores=0,2,4,6
/proc/2263/task/2271/stat : 2271 (java) S 2261 2263 2146 0 -1 4202560 94603 0 0 0 294 16 0 0 16 0 22 0 529298089 16144031744 98989 33554432000 1073741824 1073778376 140734135674432 18446744073709551615 239488510873 0 4 0 16800975 18446604453963873216 0 0 -1 4 0 0 0
[pid=2263/tid=2272] ppid=2261 vsize=15765656 CPUtime=3.2 cores=0,2,4,6
/proc/2263/task/2272/stat : 2272 (java) S 2261 2263 2146 0 -1 4202560 95306 0 0 0 300 20 0 0 16 0 22 0 529298089 16144031744 98989 33554432000 1073741824 1073778376 140734135674432 18446744073709551615 239488510873 0 4 0 16800975 18446604453963873216 0 0 -1 0 0 0 0
[pid=2263/tid=2273] ppid=2261 vsize=15765656 CPUtime=3.12 cores=0,2,4,6
/proc/2263/task/2273/stat : 2273 (java) S 2261 2263 2146 0 -1 4202560 92878 0 0 0 296 16 0 0 16 0 22 0 529298089 16144031744 98989 33554432000 1073741824 1073778376 140734135674432 18446744073709551615 239488510873 0 4 0 16800975 18446604453963873216 0 0 -1 6 0 0 0
[pid=2263/tid=2274] ppid=2261 vsize=15765656 CPUtime=2.15 cores=0,2,4,6
/proc/2263/task/2274/stat : 2274 (java) S 2261 2263 2146 0 -1 4202560 5168 0 0 0 143 72 0 0 15 0 22 0 529298090 16144031744 98989 33554432000 1073741824 1073778376 140734135674432 18446744073709551615 239488511488 0 0 0 16800975 18446604453963873216 0 0 -1 6 0 0 0
[pid=2263/tid=2275] ppid=2261 vsize=15765656 CPUtime=0 cores=0,2,4,6
/proc/2263/task/2275/stat : 2275 (java) S 2261 2263 2146 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 529298091 16144031744 98989 33554432000 1073741824 1073778376 140734135674432 18446744073709551615 239488510873 0 4 0 16800975 18446604453963873216 0 0 -1 2 0 0 0
[pid=2263/tid=2276] ppid=2261 vsize=15765656 CPUtime=0 cores=0,2,4,6
/proc/2263/task/2276/stat : 2276 (java) S 2261 2263 2146 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 529298091 16144031744 98989 33554432000 1073741824 1073778376 140734135674432 18446744073709551615 239488510873 0 4 0 16800975 18446604453963873216 0 0 -1 2 0 0 0
[pid=2263/tid=2277] ppid=2261 vsize=15765656 CPUtime=0 cores=0,2,4,6
/proc/2263/task/2277/stat : 2277 (java) S 2261 2263 2146 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529298093 16144031744 98989 33554432000 1073741824 1073778376 140734135674432 18446744073709551615 239488518577 0 4 0 16800975 18446604453963873216 0 0 -1 2 0 0 0
[pid=2263/tid=2278] ppid=2261 vsize=15765656 CPUtime=1.03 cores=0,2,4,6
/proc/2263/task/2278/stat : 2278 (java) S 2261 2263 2146 0 -1 4202560 5451 0 0 0 103 0 0 0 15 0 22 0 529298093 16144031744 98989 33554432000 1073741824 1073778376 140734135674432 18446744073709551615 239488510873 0 4 0 16800975 18446604453963873216 0 0 -1 6 0 0 0
[pid=2263/tid=2279] ppid=2261 vsize=15765656 CPUtime=1.26 cores=0,2,4,6
/proc/2263/task/2279/stat : 2279 (java) S 2261 2263 2146 0 -1 4202560 16271 0 0 0 125 1 0 0 15 0 22 0 529298093 16144031744 98989 33554432000 1073741824 1073778376 140734135674432 18446744073709551615 239488510873 0 4 0 16800975 18446604453963873216 0 0 -1 0 0 0 0
[pid=2263/tid=2280] ppid=2261 vsize=15765656 CPUtime=0 cores=0,2,4,6
/proc/2263/task/2280/stat : 2280 (java) S 2261 2263 2146 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529298093 16144031744 98989 33554432000 1073741824 1073778376 140734135674432 18446744073709551615 239488510873 0 4 0 16800975 18446604453963873216 0 0 -1 2 0 0 0
[pid=2263/tid=2281] ppid=2261 vsize=15765656 CPUtime=0 cores=0,2,4,6
/proc/2263/task/2281/stat : 2281 (java) S 2261 2263 2146 0 -1 4202560 59 0 0 0 0 0 0 0 15 0 22 0 529298093 16144031744 98989 33554432000 1073741824 1073778376 140734135674432 18446744073709551615 239488511488 0 4 0 16800975 18446604453963873216 0 0 -1 6 0 0 0
[pid=2263/tid=2283] ppid=2261 vsize=15765656 CPUtime=1108.19 cores=0,2,4,6
/proc/2263/task/2283/stat : 2283 (java) R 2261 2263 2146 0 -1 4202560 304603 0 0 0 110773 46 0 0 25 0 22 0 529298112 16144031744 98989 33554432000 1073741824 1073778376 140734135674432 18446744073709551615 46912505523255 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=2263/tid=2284] ppid=2261 vsize=15765656 CPUtime=1108 cores=0,2,4,6
/proc/2263/task/2284/stat : 2284 (java) R 2261 2263 2146 0 -1 4202560 286752 0 0 0 110753 47 0 0 25 0 22 0 529298112 16144031744 98989 33554432000 1073741824 1073778376 140734135674432 18446744073709551615 46912505651597 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2263/tid=2285] ppid=2261 vsize=15765656 CPUtime=1108.13 cores=0,2,4,6
/proc/2263/task/2285/stat : 2285 (java) R 2261 2263 2146 0 -1 4202560 298930 0 0 0 110771 42 0 0 25 0 22 0 529298112 16144031744 98989 33554432000 1073741824 1073778376 140734135674432 18446744073709551615 46912505883321 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=2263/tid=2286] ppid=2261 vsize=15765656 CPUtime=1107.91 cores=0,2,4,6
/proc/2263/task/2286/stat : 2286 (java) R 2261 2263 2146 0 -1 4202560 282212 0 0 0 110745 46 0 0 25 0 22 0 529298112 16144031744 98989 33554432000 1073741824 1073778376 140734135674432 18446744073709551615 46912505625315 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4462.23
Current children cumulated vsize (KiB) 15765656

[startup+1182.3 s]
/proc/loadavg: 8.06 8.09 8.02 10/220 2319
/proc/meminfo: memFree=29279640/32950928 swapFree=67086612/67111528
[pid=2263] ppid=2261 vsize=15765656 CPUtime=4700.72 cores=0,2,4,6
/proc/2263/stat : 2263 (java) S 2261 2263 2146 0 -1 4202496 2057249 0 1 0 469644 428 0 0 25 0 22 0 529298088 16144031744 100582 33554432000 1073741824 1073778376 140734135674432 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/2263/statm: 3941414 100582 2296 9 0 3932133 0
[pid=2263/tid=2265] ppid=2261 vsize=15765656 CPUtime=0.31 cores=0,2,4,6
/proc/2263/task/2265/stat : 2265 (java) S 2261 2263 2146 0 -1 4202560 5925 0 1 0 30 1 0 0 18 0 22 0 529298089 16144031744 100582 33554432000 1073741824 1073778376 140734135674432 18446744073709551615 239488510873 0 4 0 16800975 18446604453963873216 0 0 -1 4 0 0 0
[pid=2263/tid=2266] ppid=2261 vsize=15765656 CPUtime=3.29 cores=0,2,4,6
/proc/2263/task/2266/stat : 2266 (java) S 2261 2263 2146 0 -1 4202560 96211 0 0 0 309 20 0 0 16 0 22 0 529298089 16144031744 100582 33554432000 1073741824 1073778376 140734135674432 18446744073709551615 239488510873 0 4 0 16800975 18446604453963873216 0 0 -1 4 0 0 0
[pid=2263/tid=2267] ppid=2261 vsize=15765656 CPUtime=3.27 cores=0,2,4,6
/proc/2263/task/2267/stat : 2267 (java) S 2261 2263 2146 0 -1 4202560 96839 0 0 0 308 19 0 0 16 0 22 0 529298089 16144031744 100582 33554432000 1073741824 1073778376 140734135674432 18446744073709551615 239488510873 0 4 0 16800975 18446604453963873216 0 0 -1 0 0 0 0
[pid=2263/tid=2268] ppid=2261 vsize=15765656 CPUtime=3.25 cores=0,2,4,6
/proc/2263/task/2268/stat : 2268 (java) S 2261 2263 2146 0 -1 4202560 98057 0 0 0 306 19 0 0 15 0 22 0 529298089 16144031744 100582 33554432000 1073741824 1073778376 140734135674432 18446744073709551615 239488510873 0 4 0 16800975 18446604453963873216 0 0 -1 6 0 0 0
[pid=2263/tid=2269] ppid=2261 vsize=15765656 CPUtime=3.34 cores=0,2,4,6
/proc/2263/task/2269/stat : 2269 (java) S 2261 2263 2146 0 -1 4202560 97945 0 0 0 315 19 0 0 16 0 22 0 529298089 16144031744 100582 33554432000 1073741824 1073778376 140734135674432 18446744073709551615 239488510873 0 4 0 16800975 18446604453963873216 0 0 -1 6 0 0 0
[pid=2263/tid=2270] ppid=2261 vsize=15765656 CPUtime=3.3 cores=0,2,4,6
/proc/2263/task/2270/stat : 2270 (java) S 2261 2263 2146 0 -1 4202560 99326 0 0 0 312 18 0 0 15 0 22 0 529298089 16144031744 100582 33554432000 1073741824 1073778376 140734135674432 18446744073709551615 239488510873 0 4 0 16800975 18446604453963873216 0 0 -1 4 0 0 0
[pid=2263/tid=2271] ppid=2261 vsize=15765656 CPUtime=3.25 cores=0,2,4,6
/proc/2263/task/2271/stat : 2271 (java) S 2261 2263 2146 0 -1 4202560 100168 0 0 0 308 17 0 0 15 0 22 0 529298089 16144031744 100582 33554432000 1073741824 1073778376 140734135674432 18446744073709551615 239488510873 0 4 0 16800975 18446604453963873216 0 0 -1 2 0 0 0
[pid=2263/tid=2272] ppid=2261 vsize=15765656 CPUtime=3.37 cores=0,2,4,6
/proc/2263/task/2272/stat : 2272 (java) S 2261 2263 2146 0 -1 4202560 101363 0 0 0 316 21 0 0 15 0 22 0 529298089 16144031744 100582 33554432000 1073741824 1073778376 140734135674432 18446744073709551615 239488510873 0 4 0 16800975 18446604453963873216 0 0 -1 0 0 0 0
[pid=2263/tid=2273] ppid=2261 vsize=15765656 CPUtime=3.27 cores=0,2,4,6
/proc/2263/task/2273/stat : 2273 (java) S 2261 2263 2146 0 -1 4202560 99190 0 0 0 310 17 0 0 16 0 22 0 529298089 16144031744 100582 33554432000 1073741824 1073778376 140734135674432 18446744073709551615 239488510873 0 4 0 16800975 18446604453963873216 0 0 -1 6 0 0 0
[pid=2263/tid=2274] ppid=2261 vsize=15765656 CPUtime=2.27 cores=0,2,4,6
/proc/2263/task/2274/stat : 2274 (java) S 2261 2263 2146 0 -1 4202560 5453 0 0 0 151 76 0 0 15 0 22 0 529298090 16144031744 100582 33554432000 1073741824 1073778376 140734135674432 18446744073709551615 239488511488 0 0 0 16800975 18446604453963873216 0 0 -1 0 0 0 0
[pid=2263/tid=2275] ppid=2261 vsize=15765656 CPUtime=0 cores=0,2,4,6
/proc/2263/task/2275/stat : 2275 (java) S 2261 2263 2146 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 529298091 16144031744 100582 33554432000 1073741824 1073778376 140734135674432 18446744073709551615 239488510873 0 4 0 16800975 18446604453963873216 0 0 -1 2 0 0 0
[pid=2263/tid=2276] ppid=2261 vsize=15765656 CPUtime=0 cores=0,2,4,6
/proc/2263/task/2276/stat : 2276 (java) S 2261 2263 2146 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 529298091 16144031744 100582 33554432000 1073741824 1073778376 140734135674432 18446744073709551615 239488510873 0 4 0 16800975 18446604453963873216 0 0 -1 2 0 0 0
[pid=2263/tid=2277] ppid=2261 vsize=15765656 CPUtime=0 cores=0,2,4,6
/proc/2263/task/2277/stat : 2277 (java) S 2261 2263 2146 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529298093 16144031744 100582 33554432000 1073741824 1073778376 140734135674432 18446744073709551615 239488518577 0 4 0 16800975 18446604453963873216 0 0 -1 2 0 0 0
[pid=2263/tid=2278] ppid=2261 vsize=15765656 CPUtime=1.03 cores=0,2,4,6
/proc/2263/task/2278/stat : 2278 (java) S 2261 2263 2146 0 -1 4202560 5451 0 0 0 103 0 0 0 15 0 22 0 529298093 16144031744 100582 33554432000 1073741824 1073778376 140734135674432 18446744073709551615 239488510873 0 4 0 16800975 18446604453963873216 0 0 -1 6 0 0 0
[pid=2263/tid=2279] ppid=2261 vsize=15765656 CPUtime=1.26 cores=0,2,4,6
/proc/2263/task/2279/stat : 2279 (java) S 2261 2263 2146 0 -1 4202560 16271 0 0 0 125 1 0 0 15 0 22 0 529298093 16144031744 100582 33554432000 1073741824 1073778376 140734135674432 18446744073709551615 239488510873 0 4 0 16800975 18446604453963873216 0 0 -1 0 0 0 0
[pid=2263/tid=2280] ppid=2261 vsize=15765656 CPUtime=0 cores=0,2,4,6
/proc/2263/task/2280/stat : 2280 (java) S 2261 2263 2146 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529298093 16144031744 100582 33554432000 1073741824 1073778376 140734135674432 18446744073709551615 239488510873 0 4 0 16800975 18446604453963873216 0 0 -1 2 0 0 0
[pid=2263/tid=2281] ppid=2261 vsize=15765656 CPUtime=0 cores=0,2,4,6
/proc/2263/task/2281/stat : 2281 (java) S 2261 2263 2146 0 -1 4202560 60 0 0 0 0 0 0 0 15 0 22 0 529298093 16144031744 100582 33554432000 1073741824 1073778376 140734135674432 18446744073709551615 239488511488 0 4 0 16800975 18446604453963873216 0 0 -1 2 0 0 0
[pid=2263/tid=2283] ppid=2261 vsize=15765656 CPUtime=1167.42 cores=0,2,4,6
/proc/2263/task/2283/stat : 2283 (java) R 2261 2263 2146 0 -1 4202560 320187 0 0 0 116695 47 0 0 25 0 22 0 529298112 16144031744 100582 33554432000 1073741824 1073778376 140734135674432 18446744073709551615 46912505785185 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=2263/tid=2284] ppid=2261 vsize=15765656 CPUtime=1167.22 cores=0,2,4,6
/proc/2263/task/2284/stat : 2284 (java) R 2261 2263 2146 0 -1 4202560 301665 0 0 0 116672 50 0 0 25 0 22 0 529298112 16144031744 100582 33554432000 1073741824 1073778376 140734135674432 18446744073709551615 18446744073699065894 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=2263/tid=2285] ppid=2261 vsize=15765656 CPUtime=1167.48 cores=0,2,4,6
/proc/2263/task/2285/stat : 2285 (java) R 2261 2263 2146 0 -1 4202560 314170 0 0 0 116704 44 0 0 25 0 22 0 529298112 16144031744 100582 33554432000 1073741824 1073778376 140734135674432 18446744073709551615 46912505944022 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2263/tid=2286] ppid=2261 vsize=15765656 CPUtime=1167.18 cores=0,2,4,6
/proc/2263/task/2286/stat : 2286 (java) R 2261 2263 2146 0 -1 4202560 297582 0 0 0 116670 48 0 0 25 0 22 0 529298112 16144031744 100582 33554432000 1073741824 1073778376 140734135674432 18446744073709551615 46912505785214 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4700.72
Current children cumulated vsize (KiB) 15765656



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1207.3 s]
/proc/loadavg: 8.04 8.08 8.02 9/220 2372
/proc/meminfo: memFree=28718168/32950928 swapFree=67086612/67111528
[pid=2263] ppid=2261 vsize=15765656 CPUtime=4800.1 cores=0,2,4,6
/proc/2263/stat : 2263 (java) S 2261 2263 2146 0 -1 4202496 2089219 0 1 0 479572 438 0 0 25 0 22 0 529298088 16144031744 87441 33554432000 1073741824 1073778376 140734135674432 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/2263/statm: 3941414 87441 2296 9 0 3932133 0
[pid=2263/tid=2265] ppid=2261 vsize=15765656 CPUtime=0.31 cores=0,2,4,6
/proc/2263/task/2265/stat : 2265 (java) S 2261 2263 2146 0 -1 4202560 5925 0 1 0 30 1 0 0 18 0 22 0 529298089 16144031744 87441 33554432000 1073741824 1073778376 140734135674432 18446744073709551615 239488510873 0 4 0 16800975 18446604453963873216 0 0 -1 4 0 0 0
[pid=2263/tid=2266] ppid=2261 vsize=15765656 CPUtime=3.36 cores=0,2,4,6
/proc/2263/task/2266/stat : 2266 (java) S 2261 2263 2146 0 -1 4202560 97976 0 0 0 316 20 0 0 15 0 22 0 529298089 16144031744 87441 33554432000 1073741824 1073778376 140734135674432 18446744073709551615 239488510873 0 4 0 16800975 18446604453963873216 0 0 -1 2 0 0 0
[pid=2263/tid=2267] ppid=2261 vsize=15765656 CPUtime=3.34 cores=0,2,4,6
/proc/2263/task/2267/stat : 2267 (java) R 2261 2263 2146 0 -1 4202560 98471 0 0 0 315 19 0 0 15 0 22 0 529298089 16144031744 87441 33554432000 1073741824 1073778376 140734135674432 18446744073709551615 239488510873 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=2263/tid=2268] ppid=2261 vsize=15765656 CPUtime=3.34 cores=0,2,4,6
/proc/2263/task/2268/stat : 2268 (java) R 2261 2263 2146 0 -1 4202560 99350 0 0 0 314 20 0 0 15 0 22 0 529298089 16144031744 87441 33554432000 1073741824 1073778376 140734135674432 18446744073709551615 239476648247 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=2263/tid=2269] ppid=2261 vsize=15765656 CPUtime=3.41 cores=0,2,4,6
/proc/2263/task/2269/stat : 2269 (java) R 2261 2263 2146 0 -1 4202560 99389 0 0 0 321 20 0 0 15 0 22 0 529298089 16144031744 87441 33554432000 1073741824 1073778376 140734135674432 18446744073709551615 239476648247 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=2263/tid=2270] ppid=2261 vsize=15765656 CPUtime=3.37 cores=0,2,4,6
/proc/2263/task/2270/stat : 2270 (java) S 2261 2263 2146 0 -1 4202560 101213 0 0 0 319 18 0 0 15 0 22 0 529298089 16144031744 87441 33554432000 1073741824 1073778376 140734135674432 18446744073709551615 239488510873 0 4 0 16800975 18446604453963873216 0 0 -1 0 0 0 0
[pid=2263/tid=2271] ppid=2261 vsize=15765656 CPUtime=3.34 cores=0,2,4,6
/proc/2263/task/2271/stat : 2271 (java) R 2261 2263 2146 0 -1 4202560 102070 0 0 0 316 18 0 0 15 0 22 0 529298089 16144031744 87441 33554432000 1073741824 1073778376 140734135674432 18446744073709551615 239476648247 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=2263/tid=2272] ppid=2261 vsize=15765656 CPUtime=3.43 cores=0,2,4,6
/proc/2263/task/2272/stat : 2272 (java) R 2261 2263 2146 0 -1 4202560 103425 0 0 0 322 21 0 0 15 0 22 0 529298089 16144031744 87441 33554432000 1073741824 1073778376 140734135674432 18446744073709551615 239476648247 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=2263/tid=2273] ppid=2261 vsize=15765656 CPUtime=3.36 cores=0,2,4,6
/proc/2263/task/2273/stat : 2273 (java) R 2261 2263 2146 0 -1 4202560 100990 0 0 0 318 18 0 0 15 0 22 0 529298089 16144031744 87441 33554432000 1073741824 1073778376 140734135674432 18446744073709551615 239476648247 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2263/tid=2274] ppid=2261 vsize=15765656 CPUtime=2.33 cores=0,2,4,6
/proc/2263/task/2274/stat : 2274 (java) S 2261 2263 2146 0 -1 4202560 5584 0 0 0 155 78 0 0 16 0 22 0 529298090 16144031744 87441 33554432000 1073741824 1073778376 140734135674432 18446744073709551615 239488510873 0 0 0 16800975 18446604453963873216 0 0 -1 0 0 0 0
[pid=2263/tid=2275] ppid=2261 vsize=15765656 CPUtime=0 cores=0,2,4,6
/proc/2263/task/2275/stat : 2275 (java) S 2261 2263 2146 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 529298091 16144031744 87441 33554432000 1073741824 1073778376 140734135674432 18446744073709551615 239488510873 0 4 0 16800975 18446604453963873216 0 0 -1 2 0 0 0
[pid=2263/tid=2276] ppid=2261 vsize=15765656 CPUtime=0 cores=0,2,4,6
/proc/2263/task/2276/stat : 2276 (java) S 2261 2263 2146 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 529298091 16144031744 87441 33554432000 1073741824 1073778376 140734135674432 18446744073709551615 239488510873 0 4 0 16800975 18446604453963873216 0 0 -1 2 0 0 0
[pid=2263/tid=2277] ppid=2261 vsize=15765656 CPUtime=0 cores=0,2,4,6
/proc/2263/task/2277/stat : 2277 (java) S 2261 2263 2146 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529298093 16144031744 87441 33554432000 1073741824 1073778376 140734135674432 18446744073709551615 239488518577 0 4 0 16800975 18446604453963873216 0 0 -1 2 0 0 0
[pid=2263/tid=2278] ppid=2261 vsize=15765656 CPUtime=1.03 cores=0,2,4,6
/proc/2263/task/2278/stat : 2278 (java) S 2261 2263 2146 0 -1 4202560 5451 0 0 0 103 0 0 0 15 0 22 0 529298093 16144031744 87441 33554432000 1073741824 1073778376 140734135674432 18446744073709551615 239488510873 0 4 0 16800975 18446604453963873216 0 0 -1 6 0 0 0
[pid=2263/tid=2279] ppid=2261 vsize=15765656 CPUtime=1.26 cores=0,2,4,6
/proc/2263/task/2279/stat : 2279 (java) S 2261 2263 2146 0 -1 4202560 16271 0 0 0 125 1 0 0 15 0 22 0 529298093 16144031744 87441 33554432000 1073741824 1073778376 140734135674432 18446744073709551615 239488510873 0 4 0 16800975 18446604453963873216 0 0 -1 0 0 0 0
[pid=2263/tid=2280] ppid=2261 vsize=15765656 CPUtime=0 cores=0,2,4,6
/proc/2263/task/2280/stat : 2280 (java) S 2261 2263 2146 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529298093 16144031744 87441 33554432000 1073741824 1073778376 140734135674432 18446744073709551615 239488510873 0 4 0 16800975 18446604453963873216 0 0 -1 2 0 0 0
[pid=2263/tid=2281] ppid=2261 vsize=15765656 CPUtime=0 cores=0,2,4,6
/proc/2263/task/2281/stat : 2281 (java) S 2261 2263 2146 0 -1 4202560 62 0 0 0 0 0 0 0 15 0 22 0 529298093 16144031744 87441 33554432000 1073741824 1073778376 140734135674432 18446744073709551615 239488511488 0 4 0 16800975 18446604453963873216 0 0 -1 0 0 0 0
[pid=2263/tid=2283] ppid=2261 vsize=15765656 CPUtime=1192.14 cores=0,2,4,6
/proc/2263/task/2283/stat : 2283 (java) S 2261 2263 2146 0 -1 4202560 324661 0 0 0 119166 48 0 0 25 0 22 0 529298112 16144031744 87441 33554432000 1073741824 1073778376 140734135674432 18446744073709551615 239488510873 0 4 0 16800975 18446604453963873216 0 0 -1 0 0 0 0
[pid=2263/tid=2284] ppid=2261 vsize=15765656 CPUtime=1191.9 cores=0,2,4,6
/proc/2263/task/2284/stat : 2284 (java) S 2261 2263 2146 0 -1 4202560 306181 0 0 0 119139 51 0 0 25 0 22 0 529298112 16144031744 87441 33554432000 1073741824 1073778376 140734135674432 18446744073709551615 239488510873 0 4 0 16800975 18446604453963873216 0 0 -1 4 0 0 0
[pid=2263/tid=2285] ppid=2261 vsize=15765656 CPUtime=1192.17 cores=0,2,4,6
/proc/2263/task/2285/stat : 2285 (java) S 2261 2263 2146 0 -1 4202560 318598 0 0 0 119172 45 0 0 25 0 22 0 529298112 16144031744 87441 33554432000 1073741824 1073778376 140734135674432 18446744073709551615 239488510873 0 4 0 16800975 18446604453963873216 0 0 -1 2 0 0 0
[pid=2263/tid=2286] ppid=2261 vsize=15765656 CPUtime=1191.83 cores=0,2,4,6
/proc/2263/task/2286/stat : 2286 (java) S 2261 2263 2146 0 -1 4202560 302216 0 0 0 119134 49 0 0 25 0 22 0 529298112 16144031744 87441 33554432000 1073741824 1073778376 140734135674432 18446744073709551615 239488510873 0 4 0 16800975 18446604453963873216 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.1
Current children cumulated vsize (KiB) 15765656

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): 1207.34
CPU time (s): 4800.16
CPU user time (s): 4795.75
CPU system time (s): 4.40333
CPU usage (%): 397.582
Max. virtual memory (cumulated for all children) (KiB): 15765656

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4795.75
system time used= 4.40333
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2089246
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= 273223
involuntary context switches= 142573

runsolver used 2.01669 second user time and 4.6123 second system time

The end

Launcher Data 

Begin job on node148 at 2011-04-30 17:23:30
IDJOB=3312834
IDBENCH=83019
IDSOLVER=1699
FILE ID=node148/3312834-1304177010
RUNJOBID= node148-1304176996-2164
PBS_JOBID= 13172434
Free space on /tmp= 72960 MiB

SOLVER NAME= STRUCTure 0.1
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v400-c1704-S1023920765-089.SATISFIABLE.cnf
COMMAND LINE= run 15000 NBCORE TMPDIR DIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3312834-1304177010/watcher-3312834-1304177010 -o /tmp/evaluation-result-3312834-1304177010/solver-3312834-1304177010 -C 4800 -W 1300 -M 15500  run 15000 4 HOME HOME HOME/instance-3312834-1304177010.cnf

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

MD5SUM BENCH= ea9dfa5adeec712c099d553962345305
RANDOM SEED=1154338478

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

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
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.75
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.854
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.82
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.854
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:     32950928 kB
MemFree:      29489964 kB
Buffers:        773380 kB
Cached:        1676072 kB
SwapCached:       3696 kB
Active:         755520 kB
Inactive:      2334144 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      29489964 kB
SwapTotal:    67111528 kB
SwapFree:     67086612 kB
Dirty:            4216 kB
Writeback:           0 kB
AnonPages:      638952 kB
Mapped:          22172 kB
Slab:           305196 kB
PageTables:       6352 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  1544956 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= 72960 MiB
End job on node148 at 2011-04-30 17:43:40