Trace number 3313389

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) 4721.71 1300.83

General information on the benchmark

Nameindustrial/manolios/
manol-pipe-f7idw.cnf
MD5SUMe11b8f7666247454d93edb47f1646e2c
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark19.761
Satisfiable
(Un)Satisfiability was proved
Number of variables263022
Number of clauses782329
Sum of the clauses size1825433
Maximum clause length3
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 2521552
Number of clauses of size 3260776
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.11/0.11	53:52 INFO : Reading from input HOME/instance-3313389-1304074432.cnf
3.01/2.75	Executor set job limit to 1000000
3.01/2.75	Executor set job limit to 1000000
3.01/2.75	Executor set job limit to 1000000
3.01/2.75	Executor set job limit to 1000000
3.01/2.75	Starting Executor!
3.01/2.75	Starting Executor!
3.01/2.75	Starting Executor!
3.01/2.75	Starting Executor!
12.65/10.34	54:03 INFO : 246956 variables remaining out of 263022
12.65/10.34	54:03 INFO : 5453620 literals remaining out of 2607762

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

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

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


[startup+0 s]
/proc/loadavg: 3.49 4.56 6.19 4/194 3086
/proc/meminfo: memFree=26964348/32951124 swapFree=67088964/67111528
[pid=3086] ppid=3084 vsize=23028 CPUtime=0 cores=0,2,4,6
/proc/3086/stat : 3086 (java) R 3084 3086 2397 0 -1 4202496 1012 0 0 0 0 0 0 0 21 0 1 0 519041727 23580672 497 33554432000 1073741824 1073778376 140736952419232 18446744073709551615 210199684885 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/3086/statm: 5757 511 390 9 0 124 0

[startup+0.0927531 s]
/proc/loadavg: 3.49 4.56 6.19 4/194 3086
/proc/meminfo: memFree=26964348/32951124 swapFree=67088964/67111528
[pid=3086] ppid=3084 vsize=15676592 CPUtime=0.09 cores=0,2,4,6
/proc/3086/stat : 3086 (java) S 3084 3086 2397 0 -1 4202496 5490 0 1 0 9 0 0 0 21 0 18 0 519041727 16052830208 4914 33554432000 1073741824 1073778376 140736952419232 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/3086/statm: 3919148 4914 2115 9 0 3909867 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15676592

[startup+0.100746 s]
/proc/loadavg: 3.49 4.56 6.19 4/194 3086
/proc/meminfo: memFree=26964348/32951124 swapFree=67088964/67111528
[pid=3086] ppid=3084 vsize=15676592 CPUtime=0.11 cores=0,2,4,6
/proc/3086/stat : 3086 (java) S 3084 3086 2397 0 -1 4202496 5613 0 1 0 10 1 0 0 21 0 18 0 519041727 16052830208 5037 33554432000 1073741824 1073778376 140736952419232 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/3086/statm: 3919148 5037 2117 9 0 3909867 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 15676592

[startup+0.30072 s]
/proc/loadavg: 3.49 4.56 6.19 4/194 3086
/proc/meminfo: memFree=26964348/32951124 swapFree=67088964/67111528
[pid=3086] ppid=3084 vsize=15682204 CPUtime=0.53 cores=0,2,4,6
/proc/3086/stat : 3086 (java) S 3084 3086 2397 0 -1 4202496 15331 0 1 0 51 2 0 0 21 0 18 0 519041727 16058576896 13497 33554432000 1073741824 1073778376 140736952419232 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/3086/statm: 3920551 13503 2206 9 0 3911270 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 15682204

[startup+0.70063 s]
/proc/loadavg: 3.49 4.56 6.19 4/194 3086
/proc/meminfo: memFree=26964348/32951124 swapFree=67088964/67111528
[pid=3086] ppid=3084 vsize=15682204 CPUtime=0.94 cores=0,2,4,6
/proc/3086/stat : 3086 (java) S 3084 3086 2397 0 -1 4202496 42332 0 1 0 88 6 0 0 21 0 18 0 519041727 16058576896 40495 33554432000 1073741824 1073778376 140736952419232 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/3086/statm: 3920551 40495 2222 9 0 3911270 0
Current children cumulated CPU time (s) 0.94
Current children cumulated vsize (KiB) 15682204

[startup+1.50147 s]
/proc/loadavg: 3.49 4.56 6.19 4/216 3109
/proc/meminfo: memFree=26776316/32951124 swapFree=67088964/67111528
[pid=3086] ppid=3084 vsize=15682204 CPUtime=1.75 cores=0,2,4,6
/proc/3086/stat : 3086 (java) S 3084 3086 2397 0 -1 4202496 76222 0 1 0 165 10 0 0 21 0 18 0 519041727 16058576896 74382 33554432000 1073741824 1073778376 140736952419232 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/3086/statm: 3920551 74382 2222 9 0 3911270 0
[pid=3086/tid=3087] ppid=3084 vsize=15682204 CPUtime=1.46 cores=0,2,4,6
/proc/3086/task/3087/stat : 3087 (java) R 3084 3086 2397 0 -1 4202560 65768 0 1 0 138 8 0 0 19 0 18 0 519041728 16058576896 74382 33554432000 1073741824 1073778376 140736952419232 18446744073709551615 46912505534521 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=3086/tid=3089] ppid=3084 vsize=15682204 CPUtime=0 cores=0,2,4,6
/proc/3086/task/3089/stat : 3089 (java) S 3084 3086 2397 0 -1 4202560 44 0 0 0 0 0 0 0 15 0 18 0 519041728 16058576896 74382 33554432000 1073741824 1073778376 140736952419232 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 2 0 0 0
[pid=3086/tid=3090] ppid=3084 vsize=15682204 CPUtime=0 cores=0,2,4,6
/proc/3086/task/3090/stat : 3090 (java) S 3084 3086 2397 0 -1 4202560 944 0 0 0 0 0 0 0 15 0 18 0 519041728 16058576896 74382 33554432000 1073741824 1073778376 140736952419232 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 0 0 0 0
[pid=3086/tid=3091] ppid=3084 vsize=15682204 CPUtime=0 cores=0,2,4,6
/proc/3086/task/3091/stat : 3091 (java) S 3084 3086 2397 0 -1 4202560 2098 0 0 0 0 0 0 0 16 0 18 0 519041728 16058576896 74382 33554432000 1073741824 1073778376 140736952419232 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 4 0 0 0
[pid=3086/tid=3092] ppid=3084 vsize=15682204 CPUtime=0 cores=0,2,4,6
/proc/3086/task/3092/stat : 3092 (java) S 3084 3086 2397 0 -1 4202560 1386 0 0 0 0 0 0 0 16 0 18 0 519041728 16058576896 74382 33554432000 1073741824 1073778376 140736952419232 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 2 0 0 0
[pid=3086/tid=3093] ppid=3084 vsize=15682204 CPUtime=0 cores=0,2,4,6
/proc/3086/task/3093/stat : 3093 (java) S 3084 3086 2397 0 -1 4202560 14 0 0 0 0 0 0 0 15 0 18 0 519041728 16058576896 74382 33554432000 1073741824 1073778376 140736952419232 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 4 0 0 0
[pid=3086/tid=3094] ppid=3084 vsize=15682204 CPUtime=0 cores=0,2,4,6
/proc/3086/task/3094/stat : 3094 (java) S 3084 3086 2397 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 519041728 16058576896 74382 33554432000 1073741824 1073778376 140736952419232 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 2 0 0 0
[pid=3086/tid=3095] ppid=3084 vsize=15682204 CPUtime=0 cores=0,2,4,6
/proc/3086/task/3095/stat : 3095 (java) S 3084 3086 2397 0 -1 4202560 352 0 0 0 0 0 0 0 15 0 18 0 519041728 16058576896 74382 33554432000 1073741824 1073778376 140736952419232 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 0 0 0 0
[pid=3086/tid=3096] ppid=3084 vsize=15682204 CPUtime=0 cores=0,2,4,6
/proc/3086/task/3096/stat : 3096 (java) S 3084 3086 2397 0 -1 4202560 327 0 0 0 0 0 0 0 15 0 18 0 519041728 16058576896 74382 33554432000 1073741824 1073778376 140736952419232 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 0 0 0 0
[pid=3086/tid=3097] ppid=3084 vsize=15682204 CPUtime=0 cores=0,2,4,6
/proc/3086/task/3097/stat : 3097 (java) S 3084 3086 2397 0 -1 4202560 184 0 0 0 0 0 0 0 15 0 18 0 519041729 16058576896 74382 33554432000 1073741824 1073778376 140736952419232 18446744073709551615 210216463872 0 0 0 16800975 18446604453917643968 0 0 -1 6 0 0 0
[pid=3086/tid=3098] ppid=3084 vsize=15682204 CPUtime=0 cores=0,2,4,6
/proc/3086/task/3098/stat : 3098 (java) S 3084 3086 2397 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 18 0 519041730 16058576896 74382 33554432000 1073741824 1073778376 140736952419232 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 0 0 0 0
[pid=3086/tid=3099] ppid=3084 vsize=15682204 CPUtime=0 cores=0,2,4,6
/proc/3086/task/3099/stat : 3099 (java) S 3084 3086 2397 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 18 0 519041730 16058576896 74382 33554432000 1073741824 1073778376 140736952419232 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 0 0 0 0
[pid=3086/tid=3100] ppid=3084 vsize=15682204 CPUtime=0 cores=0,2,4,6
/proc/3086/task/3100/stat : 3100 (java) S 3084 3086 2397 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 519041732 16058576896 74382 33554432000 1073741824 1073778376 140736952419232 18446744073709551615 210216470961 0 4 0 16800975 18446604453917643968 0 0 -1 2 0 0 0
[pid=3086/tid=3102] ppid=3084 vsize=15682204 CPUtime=0.14 cores=0,2,4,6
/proc/3086/task/3102/stat : 3102 (java) S 3084 3086 2397 0 -1 4202560 2363 0 0 0 14 0 0 0 17 0 18 0 519041732 16058576896 74382 33554432000 1073741824 1073778376 140736952419232 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 0 0 0 0
[pid=3086/tid=3103] ppid=3084 vsize=15682204 CPUtime=0.09 cores=0,2,4,6
/proc/3086/task/3103/stat : 3103 (java) S 3084 3086 2397 0 -1 4202560 1354 0 0 0 9 0 0 0 16 0 18 0 519041732 16058576896 74382 33554432000 1073741824 1073778376 140736952419232 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 4 0 0 0
[pid=3086/tid=3104] ppid=3084 vsize=15682204 CPUtime=0 cores=0,2,4,6
/proc/3086/task/3104/stat : 3104 (java) S 3084 3086 2397 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 519041732 16058576896 74382 33554432000 1073741824 1073778376 140736952419232 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 4 0 0 0
[pid=3086/tid=3105] ppid=3084 vsize=15682204 CPUtime=0 cores=0,2,4,6
/proc/3086/task/3105/stat : 3105 (java) S 3084 3086 2397 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 519041732 16058576896 74382 33554432000 1073741824 1073778376 140736952419232 18446744073709551615 210216463872 0 4 0 16800975 18446604453917643968 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.75
Current children cumulated vsize (KiB) 15682204

[startup+3.10126 s]
/proc/loadavg: 3.49 4.56 6.19 5/216 3109
/proc/meminfo: memFree=26548764/32951124 swapFree=67088964/67111528
[pid=3086] ppid=3084 vsize=15686316 CPUtime=3.72 cores=0,2,4,6
/proc/3086/stat : 3086 (java) S 3084 3086 2397 0 -1 4202496 163873 0 1 0 350 22 0 0 21 0 22 0 519041727 16062787584 161272 33554432000 1073741824 1073778376 140736952419232 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/3086/statm: 3921579 161272 2263 9 0 3912298 0
[pid=3086/tid=3087] ppid=3084 vsize=15686316 CPUtime=2.99 cores=0,2,4,6
/proc/3086/task/3087/stat : 3087 (java) R 3084 3086 2397 0 -1 4202560 126931 0 1 0 282 17 0 0 22 0 22 0 519041728 16062787584 161272 33554432000 1073741824 1073778376 140736952419232 18446744073709551615 46912505216051 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=3086/tid=3089] ppid=3084 vsize=15686316 CPUtime=0.05 cores=0,2,4,6
/proc/3086/task/3089/stat : 3089 (java) S 3084 3086 2397 0 -1 4202560 7234 0 0 0 5 0 0 0 16 0 22 0 519041728 16062787584 161272 33554432000 1073741824 1073778376 140736952419232 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 2 0 0 0
[pid=3086/tid=3090] ppid=3084 vsize=15686316 CPUtime=0 cores=0,2,4,6
/proc/3086/task/3090/stat : 3090 (java) S 3084 3086 2397 0 -1 4202560 1315 0 0 0 0 0 0 0 16 0 22 0 519041728 16062787584 161272 33554432000 1073741824 1073778376 140736952419232 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 0 0 0 0
[pid=3086/tid=3091] ppid=3084 vsize=15686316 CPUtime=0.04 cores=0,2,4,6
/proc/3086/task/3091/stat : 3091 (java) S 3084 3086 2397 0 -1 4202560 4720 0 0 0 4 0 0 0 16 0 22 0 519041728 16062787584 161272 33554432000 1073741824 1073778376 140736952419232 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 0 0 0 0
[pid=3086/tid=3092] ppid=3084 vsize=15686316 CPUtime=0 cores=0,2,4,6
/proc/3086/task/3092/stat : 3092 (java) S 3084 3086 2397 0 -1 4202560 1666 0 0 0 0 0 0 0 15 0 22 0 519041728 16062787584 161272 33554432000 1073741824 1073778376 140736952419232 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 4 0 0 0
[pid=3086/tid=3093] ppid=3084 vsize=15686316 CPUtime=0.06 cores=0,2,4,6
/proc/3086/task/3093/stat : 3093 (java) S 3084 3086 2397 0 -1 4202560 6499 0 0 0 5 1 0 0 16 0 22 0 519041728 16062787584 161272 33554432000 1073741824 1073778376 140736952419232 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 4 0 0 0
[pid=3086/tid=3094] ppid=3084 vsize=15686316 CPUtime=0.05 cores=0,2,4,6
/proc/3086/task/3094/stat : 3094 (java) S 3084 3086 2397 0 -1 4202560 4705 0 0 0 5 0 0 0 16 0 22 0 519041728 16062787584 161272 33554432000 1073741824 1073778376 140736952419232 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 2 0 0 0
[pid=3086/tid=3095] ppid=3084 vsize=15686316 CPUtime=0 cores=0,2,4,6
/proc/3086/task/3095/stat : 3095 (java) S 3084 3086 2397 0 -1 4202560 382 0 0 0 0 0 0 0 15 0 22 0 519041728 16062787584 161272 33554432000 1073741824 1073778376 140736952419232 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 4 0 0 0
[pid=3086/tid=3096] ppid=3084 vsize=15686316 CPUtime=0.01 cores=0,2,4,6
/proc/3086/task/3096/stat : 3096 (java) S 3084 3086 2397 0 -1 4202560 4233 0 0 0 1 0 0 0 16 0 22 0 519041728 16062787584 161272 33554432000 1073741824 1073778376 140736952419232 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 0 0 0 0
[pid=3086/tid=3097] ppid=3084 vsize=15686316 CPUtime=0 cores=0,2,4,6
/proc/3086/task/3097/stat : 3097 (java) S 3084 3086 2397 0 -1 4202560 473 0 0 0 0 0 0 0 15 0 22 0 519041729 16062787584 161272 33554432000 1073741824 1073778376 140736952419232 18446744073709551615 210216463872 0 0 0 16800975 18446604453917643968 0 0 -1 6 0 0 0
[pid=3086/tid=3098] ppid=3084 vsize=15686316 CPUtime=0 cores=0,2,4,6
/proc/3086/task/3098/stat : 3098 (java) S 3084 3086 2397 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 22 0 519041730 16062787584 161272 33554432000 1073741824 1073778376 140736952419232 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 0 0 0 0
[pid=3086/tid=3099] ppid=3084 vsize=15686316 CPUtime=0 cores=0,2,4,6
/proc/3086/task/3099/stat : 3099 (java) S 3084 3086 2397 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 22 0 519041730 16062787584 161272 33554432000 1073741824 1073778376 140736952419232 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 0 0 0 0
[pid=3086/tid=3100] ppid=3084 vsize=15686316 CPUtime=0 cores=0,2,4,6
/proc/3086/task/3100/stat : 3100 (java) S 3084 3086 2397 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 519041732 16062787584 161272 33554432000 1073741824 1073778376 140736952419232 18446744073709551615 210216470961 0 4 0 16800975 18446604453917643968 0 0 -1 2 0 0 0
[pid=3086/tid=3102] ppid=3084 vsize=15686316 CPUtime=0.23 cores=0,2,4,6
/proc/3086/task/3102/stat : 3102 (java) S 3084 3086 2397 0 -1 4202560 2417 0 0 0 23 0 0 0 15 0 22 0 519041732 16062787584 161272 33554432000 1073741824 1073778376 140736952419232 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 0 0 0 0
[pid=3086/tid=3103] ppid=3084 vsize=15686316 CPUtime=0.17 cores=0,2,4,6
/proc/3086/task/3103/stat : 3103 (java) R 3084 3086 2397 0 -1 4202560 1865 0 0 0 17 0 0 0 16 0 22 0 519041732 16062787584 161272 33554432000 1073741824 1073778376 140736952419232 18446744073709551615 46921626316616 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=3086/tid=3104] ppid=3084 vsize=15686316 CPUtime=0 cores=0,2,4,6
/proc/3086/task/3104/stat : 3104 (java) S 3084 3086 2397 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 519041732 16062787584 161272 33554432000 1073741824 1073778376 140736952419232 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 4 0 0 0
[pid=3086/tid=3105] ppid=3084 vsize=15686316 CPUtime=0 cores=0,2,4,6
/proc/3086/task/3105/stat : 3105 (java) S 3084 3086 2397 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 519041732 16062787584 161272 33554432000 1073741824 1073778376 140736952419232 18446744073709551615 210216463872 0 4 0 16800975 18446604453917643968 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3.72
Current children cumulated vsize (KiB) 15686316

[startup+6.3017 s]
/proc/loadavg: 3.53 4.55 6.18 5/220 3113
/proc/meminfo: memFree=26054472/32951124 swapFree=67088964/67111528
[pid=3086] ppid=3084 vsize=15689684 CPUtime=8.07 cores=0,2,4,6
/proc/3086/stat : 3086 (java) S 3084 3086 2397 0 -1 4202496 178694 0 1 0 781 26 0 0 21 0 22 0 519041727 16066236416 169908 33554432000 1073741824 1073778376 140736952419232 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/3086/statm: 3922421 169908 2266 9 0 3913140 0
[pid=3086/tid=3087] ppid=3084 vsize=15689684 CPUtime=6.19 cores=0,2,4,6
/proc/3086/task/3087/stat : 3087 (java) R 3084 3086 2397 0 -1 4202560 126949 0 1 0 602 17 0 0 25 0 22 0 519041728 16066236416 169908 33554432000 1073741824 1073778376 140736952419232 18446744073709551615 46912506137269 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=3086/tid=3089] ppid=3084 vsize=15689684 CPUtime=0.05 cores=0,2,4,6
/proc/3086/task/3089/stat : 3089 (java) S 3084 3086 2397 0 -1 4202560 7234 0 0 0 5 0 0 0 16 0 22 0 519041728 16066236416 169908 33554432000 1073741824 1073778376 140736952419232 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 2 0 0 0
[pid=3086/tid=3090] ppid=3084 vsize=15689684 CPUtime=0 cores=0,2,4,6
/proc/3086/task/3090/stat : 3090 (java) S 3084 3086 2397 0 -1 4202560 1315 0 0 0 0 0 0 0 16 0 22 0 519041728 16066236416 169908 33554432000 1073741824 1073778376 140736952419232 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 0 0 0 0
[pid=3086/tid=3091] ppid=3084 vsize=15689684 CPUtime=0.04 cores=0,2,4,6
/proc/3086/task/3091/stat : 3091 (java) S 3084 3086 2397 0 -1 4202560 4720 0 0 0 4 0 0 0 16 0 22 0 519041728 16066236416 169908 33554432000 1073741824 1073778376 140736952419232 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 0 0 0 0
[pid=3086/tid=3092] ppid=3084 vsize=15689684 CPUtime=0 cores=0,2,4,6
/proc/3086/task/3092/stat : 3092 (java) S 3084 3086 2397 0 -1 4202560 1666 0 0 0 0 0 0 0 15 0 22 0 519041728 16066236416 169908 33554432000 1073741824 1073778376 140736952419232 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 4 0 0 0
[pid=3086/tid=3093] ppid=3084 vsize=15689684 CPUtime=0.06 cores=0,2,4,6
/proc/3086/task/3093/stat : 3093 (java) S 3084 3086 2397 0 -1 4202560 6499 0 0 0 5 1 0 0 16 0 22 0 519041728 16066236416 169908 33554432000 1073741824 1073778376 140736952419232 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 4 0 0 0
[pid=3086/tid=3094] ppid=3084 vsize=15689684 CPUtime=0.05 cores=0,2,4,6
/proc/3086/task/3094/stat : 3094 (java) S 3084 3086 2397 0 -1 4202560 4705 0 0 0 5 0 0 0 16 0 22 0 519041728 16066236416 169908 33554432000 1073741824 1073778376 140736952419232 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 2 0 0 0
[pid=3086/tid=3095] ppid=3084 vsize=15689684 CPUtime=0 cores=0,2,4,6
/proc/3086/task/3095/stat : 3095 (java) S 3084 3086 2397 0 -1 4202560 382 0 0 0 0 0 0 0 15 0 22 0 519041728 16066236416 169908 33554432000 1073741824 1073778376 140736952419232 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 4 0 0 0
[pid=3086/tid=3096] ppid=3084 vsize=15689684 CPUtime=0.01 cores=0,2,4,6
/proc/3086/task/3096/stat : 3096 (java) S 3084 3086 2397 0 -1 4202560 4233 0 0 0 1 0 0 0 16 0 22 0 519041728 16066236416 169908 33554432000 1073741824 1073778376 140736952419232 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 0 0 0 0
[pid=3086/tid=3097] ppid=3084 vsize=15689684 CPUtime=0 cores=0,2,4,6
/proc/3086/task/3097/stat : 3097 (java) S 3084 3086 2397 0 -1 4202560 473 0 0 0 0 0 0 0 15 0 22 0 519041729 16066236416 169908 33554432000 1073741824 1073778376 140736952419232 18446744073709551615 210216463872 0 0 0 16800975 18446604453917643968 0 0 -1 6 0 0 0
[pid=3086/tid=3098] ppid=3084 vsize=15689684 CPUtime=0 cores=0,2,4,6
/proc/3086/task/3098/stat : 3098 (java) S 3084 3086 2397 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 22 0 519041730 16066236416 169908 33554432000 1073741824 1073778376 140736952419232 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 0 0 0 0
[pid=3086/tid=3099] ppid=3084 vsize=15689684 CPUtime=0 cores=0,2,4,6
/proc/3086/task/3099/stat : 3099 (java) S 3084 3086 2397 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 22 0 519041730 16066236416 169908 33554432000 1073741824 1073778376 140736952419232 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 0 0 0 0
[pid=3086/tid=3100] ppid=3084 vsize=15689684 CPUtime=0 cores=0,2,4,6
/proc/3086/task/3100/stat : 3100 (java) S 3084 3086 2397 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 519041732 16066236416 169908 33554432000 1073741824 1073778376 140736952419232 18446744073709551615 210216470961 0 4 0 16800975 18446604453917643968 0 0 -1 2 0 0 0
[pid=3086/tid=3102] ppid=3084 vsize=15689684 CPUtime=0.62 cores=0,2,4,6
/proc/3086/task/3102/stat : 3102 (java) S 3084 3086 2397 0 -1 4202560 3509 0 0 0 62 0 0 0 15 0 22 0 519041732 16066236416 169908 33554432000 1073741824 1073778376 140736952419232 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 0 0 0 0
[pid=3086/tid=3103] ppid=3084 vsize=15689684 CPUtime=0.93 cores=0,2,4,6
/proc/3086/task/3103/stat : 3103 (java) S 3084 3086 2397 0 -1 4202560 15573 0 0 0 90 3 0 0 15 0 22 0 519041732 16066236416 169908 33554432000 1073741824 1073778376 140736952419232 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 4 0 0 0
[pid=3086/tid=3104] ppid=3084 vsize=15689684 CPUtime=0 cores=0,2,4,6
/proc/3086/task/3104/stat : 3104 (java) S 3084 3086 2397 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 519041732 16066236416 169908 33554432000 1073741824 1073778376 140736952419232 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 4 0 0 0
[pid=3086/tid=3105] ppid=3084 vsize=15689684 CPUtime=0 cores=0,2,4,6
/proc/3086/task/3105/stat : 3105 (java) S 3084 3086 2397 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 22 0 519041732 16066236416 169908 33554432000 1073741824 1073778376 140736952419232 18446744073709551615 210216463872 0 4 0 16800975 18446604453917643968 0 0 -1 6 0 0 0
[pid=3086/tid=3110] ppid=3084 vsize=15689684 CPUtime=0 cores=0,2,4,6
/proc/3086/task/3110/stat : 3110 (java) S 3084 3086 2397 0 -1 4202560 14 0 0 0 0 0 0 0 15 0 22 0 519042003 16066236416 169908 33554432000 1073741824 1073778376 140736952419232 18446744073709551615 210216463872 0 4 0 16800975 18446604453917643968 0 0 -1 6 0 0 0
[pid=3086/tid=3111] ppid=3084 vsize=15689684 CPUtime=0 cores=0,2,4,6
/proc/3086/task/3111/stat : 3111 (java) S 3084 3086 2397 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 22 0 519042003 16066236416 169908 33554432000 1073741824 1073778376 140736952419232 18446744073709551615 210216463872 0 4 0 16800975 18446604453917643968 0 0 -1 6 0 0 0
[pid=3086/tid=3112] ppid=3084 vsize=15689684 CPUtime=0 cores=0,2,4,6
/proc/3086/task/3112/stat : 3112 (java) S 3084 3086 2397 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 22 0 519042003 16066236416 169908 33554432000 1073741824 1073778376 140736952419232 18446744073709551615 210216463872 0 4 0 16800975 18446604453917643968 0 0 -1 2 0 0 0
[pid=3086/tid=3113] ppid=3084 vsize=15689684 CPUtime=0 cores=0,2,4,6
/proc/3086/task/3113/stat : 3113 (java) S 3084 3086 2397 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 22 0 519042003 16066236416 169908 33554432000 1073741824 1073778376 140736952419232 18446744073709551615 210216463872 0 4 0 16800975 18446604453917643968 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 8.07
Current children cumulated vsize (KiB) 15689684

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

/proc/3086/task/3091/stat : 3091 (java) S 3084 3086 2397 0 -1 4202560 372802 0 0 0 1387 59 0 0 16 0 22 0 519041728 16069353472 3832487 33554432000 1073741824 1073778376 140736952419232 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 6 0 0 0
[pid=3086/tid=3092] ppid=3084 vsize=15692728 CPUtime=13.41 cores=0,2,4,6
/proc/3086/task/3092/stat : 3092 (java) S 3084 3086 2397 0 -1 4202560 379995 0 0 0 1276 65 0 0 15 0 22 0 519041728 16069353472 3832487 33554432000 1073741824 1073778376 140736952419232 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 0 0 0 0
[pid=3086/tid=3093] ppid=3084 vsize=15692728 CPUtime=12.8 cores=0,2,4,6
/proc/3086/task/3093/stat : 3093 (java) S 3084 3086 2397 0 -1 4202560 359957 0 0 0 1221 59 0 0 16 0 22 0 519041728 16069353472 3832487 33554432000 1073741824 1073778376 140736952419232 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 4 0 0 0
[pid=3086/tid=3094] ppid=3084 vsize=15692728 CPUtime=14.39 cores=0,2,4,6
/proc/3086/task/3094/stat : 3094 (java) S 3084 3086 2397 0 -1 4202560 424958 0 0 0 1369 70 0 0 16 0 22 0 519041728 16069353472 3832487 33554432000 1073741824 1073778376 140736952419232 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 0 0 0 0
[pid=3086/tid=3095] ppid=3084 vsize=15692728 CPUtime=14.82 cores=0,2,4,6
/proc/3086/task/3095/stat : 3095 (java) S 3084 3086 2397 0 -1 4202560 430613 0 0 0 1413 69 0 0 15 0 22 0 519041728 16069353472 3832487 33554432000 1073741824 1073778376 140736952419232 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 0 0 0 0
[pid=3086/tid=3096] ppid=3084 vsize=15692728 CPUtime=13.48 cores=0,2,4,6
/proc/3086/task/3096/stat : 3096 (java) S 3084 3086 2397 0 -1 4202560 439935 0 0 0 1279 69 0 0 16 0 22 0 519041728 16069353472 3832487 33554432000 1073741824 1073778376 140736952419232 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 4 0 0 0
[pid=3086/tid=3097] ppid=3084 vsize=15692728 CPUtime=120.69 cores=0,2,4,6
/proc/3086/task/3097/stat : 3097 (java) S 3084 3086 2397 0 -1 4202560 350075 0 0 0 12022 47 0 0 15 0 22 0 519041729 16069353472 3832487 33554432000 1073741824 1073778376 140736952419232 18446744073709551615 210216463872 0 0 0 16800975 18446604453917643968 0 0 -1 2 0 0 0
[pid=3086/tid=3098] ppid=3084 vsize=15692728 CPUtime=0 cores=0,2,4,6
/proc/3086/task/3098/stat : 3098 (java) S 3084 3086 2397 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 519041730 16069353472 3832487 33554432000 1073741824 1073778376 140736952419232 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 4 0 0 0
[pid=3086/tid=3099] ppid=3084 vsize=15692728 CPUtime=0 cores=0,2,4,6
/proc/3086/task/3099/stat : 3099 (java) S 3084 3086 2397 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 519041730 16069353472 3832487 33554432000 1073741824 1073778376 140736952419232 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 4 0 0 0
[pid=3086/tid=3100] ppid=3084 vsize=15692728 CPUtime=0 cores=0,2,4,6
/proc/3086/task/3100/stat : 3100 (java) S 3084 3086 2397 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 519041732 16069353472 3832487 33554432000 1073741824 1073778376 140736952419232 18446744073709551615 210216470961 0 4 0 16800975 18446604453917643968 0 0 -1 2 0 0 0
[pid=3086/tid=3102] ppid=3084 vsize=15692728 CPUtime=1.73 cores=0,2,4,6
/proc/3086/task/3102/stat : 3102 (java) S 3084 3086 2397 0 -1 4202560 4146 0 0 0 173 0 0 0 15 0 22 0 519041732 16069353472 3832487 33554432000 1073741824 1073778376 140736952419232 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 0 0 0 0
[pid=3086/tid=3103] ppid=3084 vsize=15692728 CPUtime=1.49 cores=0,2,4,6
/proc/3086/task/3103/stat : 3103 (java) S 3084 3086 2397 0 -1 4202560 15636 0 0 0 146 3 0 0 15 0 22 0 519041732 16069353472 3832487 33554432000 1073741824 1073778376 140736952419232 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 2 0 0 0
[pid=3086/tid=3104] ppid=3084 vsize=15692728 CPUtime=0 cores=0,2,4,6
/proc/3086/task/3104/stat : 3104 (java) S 3084 3086 2397 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 519041732 16069353472 3832487 33554432000 1073741824 1073778376 140736952419232 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 4 0 0 0
[pid=3086/tid=3105] ppid=3084 vsize=15692728 CPUtime=0 cores=0,2,4,6
/proc/3086/task/3105/stat : 3105 (java) S 3084 3086 2397 0 -1 4202560 70 0 0 0 0 0 0 0 15 0 22 0 519041732 16069353472 3832487 33554432000 1073741824 1073778376 140736952419232 18446744073709551615 210216463872 0 4 0 16800975 18446604453917643968 0 0 -1 4 0 0 0
[pid=3086/tid=3110] ppid=3084 vsize=15692728 CPUtime=1008.21 cores=0,2,4,6
/proc/3086/task/3110/stat : 3110 (java) R 3084 3086 2397 0 -1 4202560 2745 0 0 0 100820 1 0 0 25 0 22 0 519042003 16069353472 3832487 33554432000 1073741824 1073778376 140736952419232 18446744073709551615 46912506137472 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=3086/tid=3111] ppid=3084 vsize=15692728 CPUtime=1019.79 cores=0,2,4,6
/proc/3086/task/3111/stat : 3111 (java) R 3084 3086 2397 0 -1 4202560 55624 0 0 0 101971 8 0 0 25 0 22 0 519042003 16069353472 3832487 33554432000 1073741824 1073778376 140736952419232 18446744073709551615 46912506410931 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=3086/tid=3112] ppid=3084 vsize=15692728 CPUtime=1015.14 cores=0,2,4,6
/proc/3086/task/3112/stat : 3112 (java) R 3084 3086 2397 0 -1 4202560 7793 0 0 0 101512 2 0 0 25 0 22 0 519042003 16069353472 3832487 33554432000 1073741824 1073778376 140736952419232 18446744073709551615 46921625667670 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=3086/tid=3113] ppid=3084 vsize=15692728 CPUtime=1017.59 cores=0,2,4,6
/proc/3086/task/3113/stat : 3113 (java) R 3084 3086 2397 0 -1 4202560 62600 0 0 0 101751 8 0 0 25 0 22 0 519042003 16069353472 3832487 33554432000 1073741824 1073778376 140736952419232 18446744073709551615 46912506410936 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4304.81
Current children cumulated vsize (KiB) 15692728

[startup+1242.3 s]
/proc/loadavg: 5.58 7.14 7.18 5/193 3186
/proc/meminfo: memFree=11766372/32951124 swapFree=67088964/67111528
[pid=3086] ppid=3084 vsize=15692728 CPUtime=4516.88 cores=0,2,4,6
/proc/3086/stat : 3086 (java) S 3084 3086 2397 0 -1 4202496 3915674 0 1 0 451063 625 0 0 21 0 22 0 519041727 16069353472 3832487 33554432000 1073741824 1073778376 140736952419232 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/3086/statm: 3923182 3832487 2294 9 0 3913901 0
[pid=3086/tid=3087] ppid=3084 vsize=15692728 CPUtime=10.23 cores=0,2,4,6
/proc/3086/task/3087/stat : 3087 (java) S 3084 3086 2397 0 -1 4202560 126991 0 1 0 1006 17 0 0 25 0 22 0 519041728 16069353472 3832487 33554432000 1073741824 1073778376 140736952419232 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 2 0 0 0
[pid=3086/tid=3089] ppid=3084 vsize=15692728 CPUtime=12.12 cores=0,2,4,6
/proc/3086/task/3089/stat : 3089 (java) S 3084 3086 2397 0 -1 4202560 385654 0 0 0 1149 63 0 0 16 0 22 0 519041728 16069353472 3832487 33554432000 1073741824 1073778376 140736952419232 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 0 0 0 0
[pid=3086/tid=3090] ppid=3084 vsize=15692728 CPUtime=14.3 cores=0,2,4,6
/proc/3086/task/3090/stat : 3090 (java) S 3084 3086 2397 0 -1 4202560 494672 0 0 0 1353 77 0 0 16 0 22 0 519041728 16069353472 3832487 33554432000 1073741824 1073778376 140736952419232 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 4 0 0 0
[pid=3086/tid=3091] ppid=3084 vsize=15692728 CPUtime=14.46 cores=0,2,4,6
/proc/3086/task/3091/stat : 3091 (java) S 3084 3086 2397 0 -1 4202560 372802 0 0 0 1387 59 0 0 16 0 22 0 519041728 16069353472 3832487 33554432000 1073741824 1073778376 140736952419232 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 6 0 0 0
[pid=3086/tid=3092] ppid=3084 vsize=15692728 CPUtime=13.41 cores=0,2,4,6
/proc/3086/task/3092/stat : 3092 (java) S 3084 3086 2397 0 -1 4202560 379995 0 0 0 1276 65 0 0 15 0 22 0 519041728 16069353472 3832487 33554432000 1073741824 1073778376 140736952419232 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 0 0 0 0
[pid=3086/tid=3093] ppid=3084 vsize=15692728 CPUtime=12.8 cores=0,2,4,6
/proc/3086/task/3093/stat : 3093 (java) S 3084 3086 2397 0 -1 4202560 359957 0 0 0 1221 59 0 0 16 0 22 0 519041728 16069353472 3832487 33554432000 1073741824 1073778376 140736952419232 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 4 0 0 0
[pid=3086/tid=3094] ppid=3084 vsize=15692728 CPUtime=14.39 cores=0,2,4,6
/proc/3086/task/3094/stat : 3094 (java) S 3084 3086 2397 0 -1 4202560 424958 0 0 0 1369 70 0 0 16 0 22 0 519041728 16069353472 3832487 33554432000 1073741824 1073778376 140736952419232 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 0 0 0 0
[pid=3086/tid=3095] ppid=3084 vsize=15692728 CPUtime=14.82 cores=0,2,4,6
/proc/3086/task/3095/stat : 3095 (java) S 3084 3086 2397 0 -1 4202560 430613 0 0 0 1413 69 0 0 15 0 22 0 519041728 16069353472 3832487 33554432000 1073741824 1073778376 140736952419232 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 0 0 0 0
[pid=3086/tid=3096] ppid=3084 vsize=15692728 CPUtime=13.48 cores=0,2,4,6
/proc/3086/task/3096/stat : 3096 (java) S 3084 3086 2397 0 -1 4202560 439935 0 0 0 1279 69 0 0 16 0 22 0 519041728 16069353472 3832487 33554432000 1073741824 1073778376 140736952419232 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 4 0 0 0
[pid=3086/tid=3097] ppid=3084 vsize=15692728 CPUtime=129.92 cores=0,2,4,6
/proc/3086/task/3097/stat : 3097 (java) S 3084 3086 2397 0 -1 4202560 350080 0 0 0 12944 48 0 0 15 0 22 0 519041729 16069353472 3832487 33554432000 1073741824 1073778376 140736952419232 18446744073709551615 210216463872 0 0 0 16800975 18446604453917643968 0 0 -1 2 0 0 0
[pid=3086/tid=3098] ppid=3084 vsize=15692728 CPUtime=0 cores=0,2,4,6
/proc/3086/task/3098/stat : 3098 (java) S 3084 3086 2397 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 519041730 16069353472 3832487 33554432000 1073741824 1073778376 140736952419232 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 4 0 0 0
[pid=3086/tid=3099] ppid=3084 vsize=15692728 CPUtime=0 cores=0,2,4,6
/proc/3086/task/3099/stat : 3099 (java) S 3084 3086 2397 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 519041730 16069353472 3832487 33554432000 1073741824 1073778376 140736952419232 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 4 0 0 0
[pid=3086/tid=3100] ppid=3084 vsize=15692728 CPUtime=0 cores=0,2,4,6
/proc/3086/task/3100/stat : 3100 (java) S 3084 3086 2397 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 519041732 16069353472 3832487 33554432000 1073741824 1073778376 140736952419232 18446744073709551615 210216470961 0 4 0 16800975 18446604453917643968 0 0 -1 2 0 0 0
[pid=3086/tid=3102] ppid=3084 vsize=15692728 CPUtime=1.73 cores=0,2,4,6
/proc/3086/task/3102/stat : 3102 (java) S 3084 3086 2397 0 -1 4202560 4146 0 0 0 173 0 0 0 15 0 22 0 519041732 16069353472 3832487 33554432000 1073741824 1073778376 140736952419232 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 0 0 0 0
[pid=3086/tid=3103] ppid=3084 vsize=15692728 CPUtime=1.49 cores=0,2,4,6
/proc/3086/task/3103/stat : 3103 (java) S 3084 3086 2397 0 -1 4202560 15636 0 0 0 146 3 0 0 15 0 22 0 519041732 16069353472 3832487 33554432000 1073741824 1073778376 140736952419232 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 2 0 0 0
[pid=3086/tid=3104] ppid=3084 vsize=15692728 CPUtime=0 cores=0,2,4,6
/proc/3086/task/3104/stat : 3104 (java) S 3084 3086 2397 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 519041732 16069353472 3832487 33554432000 1073741824 1073778376 140736952419232 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 4 0 0 0
[pid=3086/tid=3105] ppid=3084 vsize=15692728 CPUtime=0 cores=0,2,4,6
/proc/3086/task/3105/stat : 3105 (java) S 3084 3086 2397 0 -1 4202560 73 0 0 0 0 0 0 0 15 0 22 0 519041732 16069353472 3832487 33554432000 1073741824 1073778376 140736952419232 18446744073709551615 210216463872 0 4 0 16800975 18446604453917643968 0 0 -1 4 0 0 0
[pid=3086/tid=3110] ppid=3084 vsize=15692728 CPUtime=1058.98 cores=0,2,4,6
/proc/3086/task/3110/stat : 3110 (java) R 3084 3086 2397 0 -1 4202560 2748 0 0 0 105897 1 0 0 25 0 22 0 519042003 16069353472 3832487 33554432000 1073741824 1073778376 140736952419232 18446744073709551615 46912506137281 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=3086/tid=3111] ppid=3084 vsize=15692728 CPUtime=1070.57 cores=0,2,4,6
/proc/3086/task/3111/stat : 3111 (java) R 3084 3086 2397 0 -1 4202560 55627 0 0 0 107049 8 0 0 25 0 22 0 519042003 16069353472 3832487 33554432000 1073741824 1073778376 140736952419232 18446744073709551615 46912506203718 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=3086/tid=3112] ppid=3084 vsize=15692728 CPUtime=1065.92 cores=0,2,4,6
/proc/3086/task/3112/stat : 3112 (java) R 3084 3086 2397 0 -1 4202560 7799 0 0 0 106590 2 0 0 25 0 22 0 519042003 16069353472 3832487 33554432000 1073741824 1073778376 140736952419232 18446744073709551615 46912506137314 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=3086/tid=3113] ppid=3084 vsize=15692728 CPUtime=1068.1 cores=0,2,4,6
/proc/3086/task/3113/stat : 3113 (java) R 3084 3086 2397 0 -1 4202560 62602 0 0 0 106802 8 0 0 25 0 22 0 519042003 16069353472 3832487 33554432000 1073741824 1073778376 140736952419232 18446744073709551615 46912506137382 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4516.88
Current children cumulated vsize (KiB) 15692728



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 4.67 6.59 6.99 2/193 3188
/proc/meminfo: memFree=11766368/32951124 swapFree=67088964/67111528
[pid=3086] ppid=3084 vsize=15692728 CPUtime=4720.66 cores=0,2,4,6
/proc/3086/stat : 3086 (java) S 3084 3086 2397 0 -1 4202496 3915694 0 1 0 471441 625 0 0 21 0 22 0 519041727 16069353472 3832487 33554432000 1073741824 1073778376 140736952419232 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/3086/statm: 3923182 3832487 2294 9 0 3913901 0
[pid=3086/tid=3087] ppid=3084 vsize=15692728 CPUtime=10.23 cores=0,2,4,6
/proc/3086/task/3087/stat : 3087 (java) S 3084 3086 2397 0 -1 4202560 126991 0 1 0 1006 17 0 0 25 0 22 0 519041728 16069353472 3832487 33554432000 1073741824 1073778376 140736952419232 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 2 0 0 0
[pid=3086/tid=3089] ppid=3084 vsize=15692728 CPUtime=12.12 cores=0,2,4,6
/proc/3086/task/3089/stat : 3089 (java) S 3084 3086 2397 0 -1 4202560 385654 0 0 0 1149 63 0 0 16 0 22 0 519041728 16069353472 3832487 33554432000 1073741824 1073778376 140736952419232 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 0 0 0 0
[pid=3086/tid=3090] ppid=3084 vsize=15692728 CPUtime=14.3 cores=0,2,4,6
/proc/3086/task/3090/stat : 3090 (java) S 3084 3086 2397 0 -1 4202560 494672 0 0 0 1353 77 0 0 16 0 22 0 519041728 16069353472 3832487 33554432000 1073741824 1073778376 140736952419232 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 4 0 0 0
[pid=3086/tid=3091] ppid=3084 vsize=15692728 CPUtime=14.46 cores=0,2,4,6
/proc/3086/task/3091/stat : 3091 (java) S 3084 3086 2397 0 -1 4202560 372802 0 0 0 1387 59 0 0 16 0 22 0 519041728 16069353472 3832487 33554432000 1073741824 1073778376 140736952419232 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 6 0 0 0
[pid=3086/tid=3092] ppid=3084 vsize=15692728 CPUtime=13.41 cores=0,2,4,6
/proc/3086/task/3092/stat : 3092 (java) S 3084 3086 2397 0 -1 4202560 379995 0 0 0 1276 65 0 0 15 0 22 0 519041728 16069353472 3832487 33554432000 1073741824 1073778376 140736952419232 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 0 0 0 0
[pid=3086/tid=3093] ppid=3084 vsize=15692728 CPUtime=12.8 cores=0,2,4,6
/proc/3086/task/3093/stat : 3093 (java) S 3084 3086 2397 0 -1 4202560 359957 0 0 0 1221 59 0 0 16 0 22 0 519041728 16069353472 3832487 33554432000 1073741824 1073778376 140736952419232 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 4 0 0 0
[pid=3086/tid=3094] ppid=3084 vsize=15692728 CPUtime=14.39 cores=0,2,4,6
/proc/3086/task/3094/stat : 3094 (java) S 3084 3086 2397 0 -1 4202560 424958 0 0 0 1369 70 0 0 16 0 22 0 519041728 16069353472 3832487 33554432000 1073741824 1073778376 140736952419232 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 0 0 0 0
[pid=3086/tid=3095] ppid=3084 vsize=15692728 CPUtime=14.82 cores=0,2,4,6
/proc/3086/task/3095/stat : 3095 (java) S 3084 3086 2397 0 -1 4202560 430613 0 0 0 1413 69 0 0 15 0 22 0 519041728 16069353472 3832487 33554432000 1073741824 1073778376 140736952419232 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 0 0 0 0
[pid=3086/tid=3096] ppid=3084 vsize=15692728 CPUtime=13.48 cores=0,2,4,6
/proc/3086/task/3096/stat : 3096 (java) S 3084 3086 2397 0 -1 4202560 439935 0 0 0 1279 69 0 0 16 0 22 0 519041728 16069353472 3832487 33554432000 1073741824 1073778376 140736952419232 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 4 0 0 0
[pid=3086/tid=3097] ppid=3084 vsize=15692728 CPUtime=138.83 cores=0,2,4,6
/proc/3086/task/3097/stat : 3097 (java) R 3084 3086 2397 0 -1 4202560 350082 0 0 0 13835 48 0 0 16 0 22 0 519041729 16069353472 3832487 33554432000 1073741824 1073778376 140736952419232 18446744073709551615 210204344958 0 0 0 16800975 0 0 0 -1 2 0 0 0
[pid=3086/tid=3098] ppid=3084 vsize=15692728 CPUtime=0 cores=0,2,4,6
/proc/3086/task/3098/stat : 3098 (java) S 3084 3086 2397 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 519041730 16069353472 3832487 33554432000 1073741824 1073778376 140736952419232 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 4 0 0 0
[pid=3086/tid=3099] ppid=3084 vsize=15692728 CPUtime=0 cores=0,2,4,6
/proc/3086/task/3099/stat : 3099 (java) S 3084 3086 2397 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 519041730 16069353472 3832487 33554432000 1073741824 1073778376 140736952419232 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 4 0 0 0
[pid=3086/tid=3100] ppid=3084 vsize=15692728 CPUtime=0 cores=0,2,4,6
/proc/3086/task/3100/stat : 3100 (java) S 3084 3086 2397 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 519041732 16069353472 3832487 33554432000 1073741824 1073778376 140736952419232 18446744073709551615 210216470961 0 4 0 16800975 18446604453917643968 0 0 -1 2 0 0 0
[pid=3086/tid=3102] ppid=3084 vsize=15692728 CPUtime=1.73 cores=0,2,4,6
/proc/3086/task/3102/stat : 3102 (java) S 3084 3086 2397 0 -1 4202560 4146 0 0 0 173 0 0 0 15 0 22 0 519041732 16069353472 3832487 33554432000 1073741824 1073778376 140736952419232 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 0 0 0 0
[pid=3086/tid=3103] ppid=3084 vsize=15692728 CPUtime=1.49 cores=0,2,4,6
/proc/3086/task/3103/stat : 3103 (java) S 3084 3086 2397 0 -1 4202560 15636 0 0 0 146 3 0 0 15 0 22 0 519041732 16069353472 3832487 33554432000 1073741824 1073778376 140736952419232 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 2 0 0 0
[pid=3086/tid=3104] ppid=3084 vsize=15692728 CPUtime=0 cores=0,2,4,6
/proc/3086/task/3104/stat : 3104 (java) S 3084 3086 2397 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 519041732 16069353472 3832487 33554432000 1073741824 1073778376 140736952419232 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 4 0 0 0
[pid=3086/tid=3105] ppid=3084 vsize=15692728 CPUtime=0 cores=0,2,4,6
/proc/3086/task/3105/stat : 3105 (java) S 3084 3086 2397 0 -1 4202560 77 0 0 0 0 0 0 0 15 0 22 0 519041732 16069353472 3832487 33554432000 1073741824 1073778376 140736952419232 18446744073709551615 210216463872 0 4 0 16800975 18446604453917643968 0 0 -1 4 0 0 0
[pid=3086/tid=3110] ppid=3084 vsize=15692728 CPUtime=1107.77 cores=0,2,4,6
/proc/3086/task/3110/stat : 3110 (java) S 3084 3086 2397 0 -1 4202560 2753 0 0 0 110776 1 0 0 25 0 22 0 519042003 16069353472 3832487 33554432000 1073741824 1073778376 140736952419232 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 0 0 0 0
[pid=3086/tid=3111] ppid=3084 vsize=15692728 CPUtime=1119.36 cores=0,2,4,6
/proc/3086/task/3111/stat : 3111 (java) S 3084 3086 2397 0 -1 4202560 55627 0 0 0 111928 8 0 0 25 0 22 0 519042003 16069353472 3832487 33554432000 1073741824 1073778376 140736952419232 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 4 0 0 0
[pid=3086/tid=3112] ppid=3084 vsize=15692728 CPUtime=1114.7 cores=0,2,4,6
/proc/3086/task/3112/stat : 3112 (java) S 3084 3086 2397 0 -1 4202560 7805 0 0 0 111468 2 0 0 25 0 22 0 519042003 16069353472 3832487 33554432000 1073741824 1073778376 140736952419232 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 4 0 0 0
[pid=3086/tid=3113] ppid=3084 vsize=15692728 CPUtime=1116.62 cores=0,2,4,6
/proc/3086/task/3113/stat : 3113 (java) S 3084 3086 2397 0 -1 4202560 62605 0 0 0 111654 8 0 0 25 0 22 0 519042003 16069353472 3832487 33554432000 1073741824 1073778376 140736952419232 18446744073709551615 210216463257 0 4 0 16800975 18446604453917643968 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4720.66
Current children cumulated vsize (KiB) 15692728

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

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

[startup+1300.4 s]
/proc/loadavg: 4.67 6.59 6.99 2/193 3188
/proc/meminfo: memFree=11766368/32951124 swapFree=67088964/67111528
[pid=3086] ppid=3084 vsize=0 CPUtime=4721.27 cores=0,2,4,6
/proc/3086/stat : 3086 (java) Z 3084 3086 2397 0 -1 4203548 3915722 0 1 0 471486 641 0 0 15 0 2 0 519041727 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/3086/statm: 0 0 0 0 0 0 0
[pid=3086/tid=3110] ppid=3084 vsize=0 CPUtime=1108 cores=0,2,4,6
/proc/3086/task/3110/stat : 3110 (java) R 3084 3086 2397 0 -1 4203588 2753 0 0 0 110783 17 0 0 18 0 2 0 519042003 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4721.27
Current children cumulated vsize (KiB) 0

[startup+1300.8 s]
/proc/loadavg: 4.67 6.59 6.99 2/193 3188
/proc/meminfo: memFree=11766368/32951124 swapFree=67088964/67111528
[pid=3086] ppid=3084 vsize=0 CPUtime=4721.67 cores=0,2,4,6
/proc/3086/stat : 3086 (java) Z 3084 3086 2397 0 -1 4203548 3915722 0 1 0 471486 681 0 0 15 0 2 0 519041727 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/3086/statm: 0 0 0 0 0 0 0
[pid=3086/tid=3110] ppid=3084 vsize=0 CPUtime=1108.4 cores=0,2,4,6
/proc/3086/task/3110/stat : 3110 (java) R 3084 3086 2397 0 -1 4203588 2753 0 0 0 110783 57 0 0 19 0 2 0 519042003 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4721.67
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1300.83
CPU time (s): 4721.71
CPU user time (s): 4714.87
CPU system time (s): 6.84096
CPU usage (%): 362.978
Max. virtual memory (cumulated for all children) (KiB): 15694784

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4714.87
system time used= 6.84096
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3915722
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= 37920
involuntary context switches= 59184

runsolver used 2.09668 second user time and 5.02823 second system time

The end

Launcher Data 

Begin job on node130 at 2011-04-29 12:53:52
IDJOB=3313389
IDBENCH=20495
IDSOLVER=1699
FILE ID=node130/3313389-1304074432
RUNJOBID= node130-1304074431-3047
PBS_JOBID= 13170469
Free space on /tmp= 71976 MiB

SOLVER NAME= STRUCTure 0.1
BENCH NAME= SAT07/industrial/manolios/manol-pipe-f7idw.cnf
COMMAND LINE= run 15000 NBCORE TMPDIR DIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3313389-1304074432/watcher-3313389-1304074432 -o /tmp/evaluation-result-3313389-1304074432/solver-3313389-1304074432 -C 4800 -W 1300 -M 15500  run 15000 4 HOME HOME HOME/instance-3313389-1304074432.cnf

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

MD5SUM BENCH= e11b8f7666247454d93edb47f1646e2c
RANDOM SEED=1968047213

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      26965116 kB
Buffers:       1165256 kB
Cached:        4155020 kB
SwapCached:      22432 kB
Active:         644968 kB
Inactive:      4909184 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      26965116 kB
SwapTotal:    67111528 kB
SwapFree:     67088964 kB
Dirty:           21200 kB
Writeback:           8 kB
AnonPages:      210928 kB
Mapped:          23348 kB
Slab:           369544 kB
PageTables:       5092 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   789192 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= 71980 MiB
End job on node130 at 2011-04-29 13:15:34