Trace number 3312195

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
STRUCTure 0.1 (hbr=2)? (TO) 4784.37 1300.54

General information on the benchmark

NameAPPLICATIONS/diagnosis/
ACG-10-10p0.cnf
MD5SUMef1df882c8a642421a1d0216a16bf652
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark39.7879
Satisfiable
(Un)Satisfiability was proved
Number of variables155107
Number of clauses675624
Sum of the clauses size1568150
Maximum clause length10
Minimum clause length1
Number of clauses of size 16856
Number of clauses of size 2547130
Number of clauses of size 387598
Number of clauses of size 43780
Number of clauses of size 515120
Number of clauses of size over 515140

Solver Data 

0.10/0.12	46:22 INFO : Reading from input HOME/instance-3312195-1304077581.cnf
2.70/2.40	Executor set job limit to 1000000
2.70/2.40	Executor set job limit to 1000000
2.70/2.40	Executor set job limit to 1000000
2.70/2.40	Executor set job limit to 1000000
2.70/2.40	Starting Executor!
2.70/2.40	Starting Executor!
2.70/2.40	Starting Executor!
2.70/2.40	Starting Executor!
79.21/76.28	47:38 INFO : 99611 variables remaining out of 155107
79.21/76.28	47:38 INFO : 23143043 literals remaining out of 2243774

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

running on 4 cores: 1,3,5,7

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.46 4.24 5.68 3/174 15210
/proc/meminfo: memFree=30740508/32950928 swapFree=67111428/67111528
[pid=15210] ppid=15208 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/15210/stat : 15210 (java) R 15208 15210 14691 0 -1 4202496 985 0 0 0 0 0 0 0 21 0 1 0 519357960 23580672 470 33554432000 1073741824 1073778376 140737171429104 18446744073709551615 248084735744 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/15210/statm: 5757 482 370 9 0 124 0

[startup+0.0607591 s]
/proc/loadavg: 3.46 4.24 5.68 3/174 15210
/proc/meminfo: memFree=30740508/32950928 swapFree=67111428/67111528
[pid=15210] ppid=15208 vsize=15609780 CPUtime=0.04 cores=1,3,5,7
/proc/15210/stat : 15210 (java) S 15208 15210 14691 0 -1 4202496 4210 0 1 0 4 0 0 0 21 0 18 0 519357960 15984414720 3648 33554432000 1073741824 1073778376 140737171429104 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/15210/statm: 3902445 3649 1768 9 0 3893164 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 15609780

[startup+0.100751 s]
/proc/loadavg: 3.46 4.24 5.68 3/174 15210
/proc/meminfo: memFree=30740508/32950928 swapFree=67111428/67111528
[pid=15210] ppid=15208 vsize=15676408 CPUtime=0.1 cores=1,3,5,7
/proc/15210/stat : 15210 (java) S 15208 15210 14691 0 -1 4202496 5480 0 1 0 9 1 0 0 21 0 18 0 519357960 16052641792 4913 33554432000 1073741824 1073778376 140737171429104 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/15210/statm: 3919102 4913 2116 9 0 3909821 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15676408

[startup+0.300717 s]
/proc/loadavg: 3.46 4.24 5.68 3/174 15210
/proc/meminfo: memFree=30740508/32950928 swapFree=67111428/67111528
[pid=15210] ppid=15208 vsize=15680336 CPUtime=0.51 cores=1,3,5,7
/proc/15210/stat : 15210 (java) S 15208 15210 14691 0 -1 4202496 14211 0 1 0 47 4 0 0 21 0 18 0 519357960 16056664064 12699 33554432000 1073741824 1073778376 140737171429104 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/15210/statm: 3920084 12703 2207 9 0 3910803 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 15680336

[startup+0.700647 s]
/proc/loadavg: 3.46 4.24 5.68 3/174 15210
/proc/meminfo: memFree=30740508/32950928 swapFree=67111428/67111528
[pid=15210] ppid=15208 vsize=15680188 CPUtime=0.91 cores=1,3,5,7
/proc/15210/stat : 15210 (java) S 15208 15210 14691 0 -1 4202496 42086 0 1 0 85 6 0 0 21 0 18 0 519357960 16056512512 40534 33554432000 1073741824 1073778376 140737171429104 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/15210/statm: 3920047 40534 2223 9 0 3910766 0
Current children cumulated CPU time (s) 0.91
Current children cumulated vsize (KiB) 15680188

[startup+1.50151 s]
/proc/loadavg: 3.46 4.24 5.68 3/212 15251
/proc/meminfo: memFree=30418680/32950928 swapFree=67111428/67111528
[pid=15210] ppid=15208 vsize=15680188 CPUtime=1.74 cores=1,3,5,7
/proc/15210/stat : 15210 (java) S 15208 15210 14691 0 -1 4202496 75983 0 1 0 163 11 0 0 21 0 18 0 519357960 16056512512 74428 33554432000 1073741824 1073778376 140737171429104 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/15210/statm: 3920047 74428 2223 9 0 3910766 0
[pid=15210/tid=15212] ppid=15208 vsize=15680188 CPUtime=1.47 cores=1,3,5,7
/proc/15210/task/15212/stat : 15212 (java) R 15208 15210 14691 0 -1 4202560 65980 0 1 0 137 10 0 0 25 0 18 0 519357960 16056512512 74428 33554432000 1073741824 1073778376 140737171429104 18446744073709551615 47478054931543 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=15210/tid=15213] ppid=15208 vsize=15680188 CPUtime=0 cores=1,3,5,7
/proc/15210/task/15213/stat : 15213 (java) S 15208 15210 14691 0 -1 4202560 1384 0 0 0 0 0 0 0 16 0 18 0 519357961 16056512512 74428 33554432000 1073741824 1073778376 140737171429104 18446744073709551615 248101514137 0 4 0 16800975 18446604471125857344 0 0 -1 5 0 0 0
[pid=15210/tid=15214] ppid=15208 vsize=15680188 CPUtime=0 cores=1,3,5,7
/proc/15210/task/15214/stat : 15214 (java) S 15208 15210 14691 0 -1 4202560 499 0 0 0 0 0 0 0 15 0 18 0 519357961 16056512512 74428 33554432000 1073741824 1073778376 140737171429104 18446744073709551615 248101514137 0 4 0 16800975 18446604471125857344 0 0 -1 7 0 0 0
[pid=15210/tid=15215] ppid=15208 vsize=15680188 CPUtime=0 cores=1,3,5,7
/proc/15210/task/15215/stat : 15215 (java) S 15208 15210 14691 0 -1 4202560 156 0 0 0 0 0 0 0 16 0 18 0 519357961 16056512512 74428 33554432000 1073741824 1073778376 140737171429104 18446744073709551615 248101514137 0 4 0 16800975 18446604471125857344 0 0 -1 7 0 0 0
[pid=15210/tid=15216] ppid=15208 vsize=15680188 CPUtime=0 cores=1,3,5,7
/proc/15210/task/15216/stat : 15216 (java) S 15208 15210 14691 0 -1 4202560 49 0 0 0 0 0 0 0 16 0 18 0 519357961 16056512512 74428 33554432000 1073741824 1073778376 140737171429104 18446744073709551615 248101514137 0 4 0 16800975 18446604471125857344 0 0 -1 1 0 0 0
[pid=15210/tid=15217] ppid=15208 vsize=15680188 CPUtime=0 cores=1,3,5,7
/proc/15210/task/15217/stat : 15217 (java) S 15208 15210 14691 0 -1 4202560 1323 0 0 0 0 0 0 0 15 0 18 0 519357961 16056512512 74428 33554432000 1073741824 1073778376 140737171429104 18446744073709551615 248101514137 0 4 0 16800975 18446604471125857344 0 0 -1 3 0 0 0
[pid=15210/tid=15218] ppid=15208 vsize=15680188 CPUtime=0 cores=1,3,5,7
/proc/15210/task/15218/stat : 15218 (java) S 15208 15210 14691 0 -1 4202560 285 0 0 0 0 0 0 0 15 0 18 0 519357961 16056512512 74428 33554432000 1073741824 1073778376 140737171429104 18446744073709551615 248101514137 0 4 0 16800975 18446604471125857344 0 0 -1 7 0 0 0
[pid=15210/tid=15219] ppid=15208 vsize=15680188 CPUtime=0 cores=1,3,5,7
/proc/15210/task/15219/stat : 15219 (java) S 15208 15210 14691 0 -1 4202560 42 0 0 0 0 0 0 0 15 0 18 0 519357961 16056512512 74428 33554432000 1073741824 1073778376 140737171429104 18446744073709551615 248101514137 0 4 0 16800975 18446604471125857344 0 0 -1 5 0 0 0
[pid=15210/tid=15220] ppid=15208 vsize=15680188 CPUtime=0 cores=1,3,5,7
/proc/15210/task/15220/stat : 15220 (java) S 15208 15210 14691 0 -1 4202560 1004 0 0 0 0 0 0 0 16 0 18 0 519357961 16056512512 74428 33554432000 1073741824 1073778376 140737171429104 18446744073709551615 248101514137 0 4 0 16800975 18446604471125857344 0 0 -1 5 0 0 0
[pid=15210/tid=15221] ppid=15208 vsize=15680188 CPUtime=0 cores=1,3,5,7
/proc/15210/task/15221/stat : 15221 (java) S 15208 15210 14691 0 -1 4202560 183 0 0 0 0 0 0 0 15 0 18 0 519357962 16056512512 74428 33554432000 1073741824 1073778376 140737171429104 18446744073709551615 248101514752 0 0 0 16800975 18446604471125857344 0 0 -1 1 0 0 0
[pid=15210/tid=15222] ppid=15208 vsize=15680188 CPUtime=0 cores=1,3,5,7
/proc/15210/task/15222/stat : 15222 (java) S 15208 15210 14691 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 18 0 519357962 16056512512 74428 33554432000 1073741824 1073778376 140737171429104 18446744073709551615 248101514137 0 4 0 16800975 18446604471125857344 0 0 -1 5 0 0 0
[pid=15210/tid=15223] ppid=15208 vsize=15680188 CPUtime=0 cores=1,3,5,7
/proc/15210/task/15223/stat : 15223 (java) S 15208 15210 14691 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 18 0 519357962 16056512512 74428 33554432000 1073741824 1073778376 140737171429104 18446744073709551615 248101514137 0 4 0 16800975 18446604471125857344 0 0 -1 5 0 0 0
[pid=15210/tid=15224] ppid=15208 vsize=15680188 CPUtime=0 cores=1,3,5,7
/proc/15210/task/15224/stat : 15224 (java) S 15208 15210 14691 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 519357965 16056512512 74428 33554432000 1073741824 1073778376 140737171429104 18446744073709551615 248101521841 0 4 0 16800975 18446604471125857344 0 0 -1 5 0 0 0
[pid=15210/tid=15225] ppid=15208 vsize=15680188 CPUtime=0.12 cores=1,3,5,7
/proc/15210/task/15225/stat : 15225 (java) S 15208 15210 14691 0 -1 4202560 2378 0 0 0 12 0 0 0 17 0 18 0 519357965 16056512512 74428 33554432000 1073741824 1073778376 140737171429104 18446744073709551615 248101514137 0 4 0 16800975 18446604471125857344 0 0 -1 1 0 0 0
[pid=15210/tid=15226] ppid=15208 vsize=15680188 CPUtime=0.09 cores=1,3,5,7
/proc/15210/task/15226/stat : 15226 (java) S 15208 15210 14691 0 -1 4202560 1313 0 0 0 9 0 0 0 25 0 18 0 519357965 16056512512 74428 33554432000 1073741824 1073778376 140737171429104 18446744073709551615 248101514137 0 4 0 16800975 18446604471125857344 0 0 -1 3 0 0 0
[pid=15210/tid=15227] ppid=15208 vsize=15680188 CPUtime=0 cores=1,3,5,7
/proc/15210/task/15227/stat : 15227 (java) S 15208 15210 14691 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 519357965 16056512512 74428 33554432000 1073741824 1073778376 140737171429104 18446744073709551615 248101514137 0 4 0 16800975 18446604471125857344 0 0 -1 5 0 0 0
[pid=15210/tid=15228] ppid=15208 vsize=15680188 CPUtime=0 cores=1,3,5,7
/proc/15210/task/15228/stat : 15228 (java) S 15208 15210 14691 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 519357965 16056512512 74428 33554432000 1073741824 1073778376 140737171429104 18446744073709551615 248101514752 0 4 0 16800975 18446604471125857344 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.74
Current children cumulated vsize (KiB) 15680188

[startup+3.10122 s]
/proc/loadavg: 3.46 4.24 5.68 3/212 15251
/proc/meminfo: memFree=30037052/32950928 swapFree=67111428/67111528
[pid=15210] ppid=15208 vsize=15713136 CPUtime=3.83 cores=1,3,5,7
/proc/15210/stat : 15210 (java) S 15208 15210 14691 0 -1 4202496 149782 0 1 0 363 20 0 0 21 0 22 0 519357960 16090251264 146316 33554432000 1073741824 1073778376 140737171429104 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/15210/statm: 3928284 146316 2265 9 0 3919003 0
[pid=15210/tid=15212] ppid=15208 vsize=15713136 CPUtime=3.05 cores=1,3,5,7
/proc/15210/task/15212/stat : 15212 (java) R 15208 15210 14691 0 -1 4202560 127361 0 1 0 288 17 0 0 25 0 22 0 519357960 16090251264 146316 33554432000 1073741824 1073778376 140737171429104 18446744073709551615 46912505201599 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=15210/tid=15213] ppid=15208 vsize=15713136 CPUtime=0 cores=1,3,5,7
/proc/15210/task/15213/stat : 15213 (java) S 15208 15210 14691 0 -1 4202560 1410 0 0 0 0 0 0 0 15 0 22 0 519357961 16090251264 146316 33554432000 1073741824 1073778376 140737171429104 18446744073709551615 248101514137 0 4 0 16800975 18446604471125857344 0 0 -1 5 0 0 0
[pid=15210/tid=15214] ppid=15208 vsize=15713136 CPUtime=0 cores=1,3,5,7
/proc/15210/task/15214/stat : 15214 (java) S 15208 15210 14691 0 -1 4202560 499 0 0 0 0 0 0 0 15 0 22 0 519357961 16090251264 146316 33554432000 1073741824 1073778376 140737171429104 18446744073709551615 248101514137 0 4 0 16800975 18446604471125857344 0 0 -1 7 0 0 0
[pid=15210/tid=15215] ppid=15208 vsize=15713136 CPUtime=0 cores=1,3,5,7
/proc/15210/task/15215/stat : 15215 (java) S 15208 15210 14691 0 -1 4202560 168 0 0 0 0 0 0 0 15 0 22 0 519357961 16090251264 146316 33554432000 1073741824 1073778376 140737171429104 18446744073709551615 248101514137 0 4 0 16800975 18446604471125857344 0 0 -1 7 0 0 0
[pid=15210/tid=15216] ppid=15208 vsize=15713136 CPUtime=0 cores=1,3,5,7
/proc/15210/task/15216/stat : 15216 (java) S 15208 15210 14691 0 -1 4202560 67 0 0 0 0 0 0 0 15 0 22 0 519357961 16090251264 146316 33554432000 1073741824 1073778376 140737171429104 18446744073709551615 248101514137 0 4 0 16800975 18446604471125857344 0 0 -1 5 0 0 0
[pid=15210/tid=15217] ppid=15208 vsize=15713136 CPUtime=0 cores=1,3,5,7
/proc/15210/task/15217/stat : 15217 (java) S 15208 15210 14691 0 -1 4202560 1475 0 0 0 0 0 0 0 16 0 22 0 519357961 16090251264 146316 33554432000 1073741824 1073778376 140737171429104 18446744073709551615 248101514137 0 4 0 16800975 18446604471125857344 0 0 -1 3 0 0 0
[pid=15210/tid=15218] ppid=15208 vsize=15713136 CPUtime=0 cores=1,3,5,7
/proc/15210/task/15218/stat : 15218 (java) S 15208 15210 14691 0 -1 4202560 323 0 0 0 0 0 0 0 15 0 22 0 519357961 16090251264 146316 33554432000 1073741824 1073778376 140737171429104 18446744073709551615 248101514137 0 4 0 16800975 18446604471125857344 0 0 -1 7 0 0 0
[pid=15210/tid=15219] ppid=15208 vsize=15713136 CPUtime=0 cores=1,3,5,7
/proc/15210/task/15219/stat : 15219 (java) S 15208 15210 14691 0 -1 4202560 42 0 0 0 0 0 0 0 15 0 22 0 519357961 16090251264 146316 33554432000 1073741824 1073778376 140737171429104 18446744073709551615 248101514137 0 4 0 16800975 18446604471125857344 0 0 -1 5 0 0 0
[pid=15210/tid=15220] ppid=15208 vsize=15713136 CPUtime=0 cores=1,3,5,7
/proc/15210/task/15220/stat : 15220 (java) S 15208 15210 14691 0 -1 4202560 3762 0 0 0 0 0 0 0 15 0 22 0 519357961 16090251264 146316 33554432000 1073741824 1073778376 140737171429104 18446744073709551615 248101514137 0 4 0 16800975 18446604471125857344 0 0 -1 5 0 0 0
[pid=15210/tid=15221] ppid=15208 vsize=15713136 CPUtime=0 cores=1,3,5,7
/proc/15210/task/15221/stat : 15221 (java) S 15208 15210 14691 0 -1 4202560 435 0 0 0 0 0 0 0 15 0 22 0 519357962 16090251264 146316 33554432000 1073741824 1073778376 140737171429104 18446744073709551615 248101514752 0 0 0 16800975 18446604471125857344 0 0 -1 1 0 0 0
[pid=15210/tid=15222] ppid=15208 vsize=15713136 CPUtime=0 cores=1,3,5,7
/proc/15210/task/15222/stat : 15222 (java) S 15208 15210 14691 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 22 0 519357962 16090251264 146316 33554432000 1073741824 1073778376 140737171429104 18446744073709551615 248101514137 0 4 0 16800975 18446604471125857344 0 0 -1 5 0 0 0
[pid=15210/tid=15223] ppid=15208 vsize=15713136 CPUtime=0 cores=1,3,5,7
/proc/15210/task/15223/stat : 15223 (java) S 15208 15210 14691 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 22 0 519357962 16090251264 146316 33554432000 1073741824 1073778376 140737171429104 18446744073709551615 248101514137 0 4 0 16800975 18446604471125857344 0 0 -1 5 0 0 0
[pid=15210/tid=15224] ppid=15208 vsize=15713136 CPUtime=0 cores=1,3,5,7
/proc/15210/task/15224/stat : 15224 (java) S 15208 15210 14691 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 519357965 16090251264 146316 33554432000 1073741824 1073778376 140737171429104 18446744073709551615 248101521841 0 4 0 16800975 18446604471125857344 0 0 -1 5 0 0 0
[pid=15210/tid=15225] ppid=15208 vsize=15713136 CPUtime=0.24 cores=1,3,5,7
/proc/15210/task/15225/stat : 15225 (java) S 15208 15210 14691 0 -1 4202560 2452 0 0 0 24 0 0 0 15 0 22 0 519357965 16090251264 146316 33554432000 1073741824 1073778376 140737171429104 18446744073709551615 248101514137 0 4 0 16800975 18446604471125857344 0 0 -1 1 0 0 0
[pid=15210/tid=15226] ppid=15208 vsize=15713136 CPUtime=0.46 cores=1,3,5,7
/proc/15210/task/15226/stat : 15226 (java) R 15208 15210 14691 0 -1 4202560 10355 0 0 0 45 1 0 0 16 0 22 0 519357965 16090251264 146316 33554432000 1073741824 1073778376 140737171429104 18446744073709551615 47478049768762 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=15210/tid=15227] ppid=15208 vsize=15713136 CPUtime=0 cores=1,3,5,7
/proc/15210/task/15227/stat : 15227 (java) S 15208 15210 14691 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 519357965 16090251264 146316 33554432000 1073741824 1073778376 140737171429104 18446744073709551615 248101514137 0 4 0 16800975 18446604471125857344 0 0 -1 5 0 0 0
[pid=15210/tid=15228] ppid=15208 vsize=15713136 CPUtime=0 cores=1,3,5,7
/proc/15210/task/15228/stat : 15228 (java) S 15208 15210 14691 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 519357965 16090251264 146316 33554432000 1073741824 1073778376 140737171429104 18446744073709551615 248101514752 0 4 0 16800975 18446604471125857344 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.83
Current children cumulated vsize (KiB) 15713136

[startup+6.30065 s]
/proc/loadavg: 3.35 4.20 5.66 3/220 15259
/proc/meminfo: memFree=29562944/32950928 swapFree=67111428/67111528
[pid=15210] ppid=15208 vsize=15714816 CPUtime=7.9 cores=1,3,5,7
/proc/15210/stat : 15210 (java) S 15208 15210 14691 0 -1 4202496 156524 0 1 0 769 21 0 0 21 0 22 0 519357960 16091971584 146911 33554432000 1073741824 1073778376 140737171429104 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/15210/statm: 3928704 146911 2276 9 0 3919423 0
[pid=15210/tid=15212] ppid=15208 vsize=15714816 CPUtime=6.25 cores=1,3,5,7
/proc/15210/task/15212/stat : 15212 (java) R 15208 15210 14691 0 -1 4202560 127374 0 1 0 608 17 0 0 25 0 22 0 519357960 16091971584 146911 33554432000 1073741824 1073778376 140737171429104 18446744073709551615 46912506138918 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=15210/tid=15213] ppid=15208 vsize=15714816 CPUtime=0 cores=1,3,5,7
/proc/15210/task/15213/stat : 15213 (java) S 15208 15210 14691 0 -1 4202560 1410 0 0 0 0 0 0 0 15 0 22 0 519357961 16091971584 146911 33554432000 1073741824 1073778376 140737171429104 18446744073709551615 248101514137 0 4 0 16800975 18446604471125857344 0 0 -1 5 0 0 0
[pid=15210/tid=15214] ppid=15208 vsize=15714816 CPUtime=0 cores=1,3,5,7
/proc/15210/task/15214/stat : 15214 (java) S 15208 15210 14691 0 -1 4202560 499 0 0 0 0 0 0 0 15 0 22 0 519357961 16091971584 146911 33554432000 1073741824 1073778376 140737171429104 18446744073709551615 248101514137 0 4 0 16800975 18446604471125857344 0 0 -1 7 0 0 0
[pid=15210/tid=15215] ppid=15208 vsize=15714816 CPUtime=0 cores=1,3,5,7
/proc/15210/task/15215/stat : 15215 (java) S 15208 15210 14691 0 -1 4202560 168 0 0 0 0 0 0 0 15 0 22 0 519357961 16091971584 146911 33554432000 1073741824 1073778376 140737171429104 18446744073709551615 248101514137 0 4 0 16800975 18446604471125857344 0 0 -1 7 0 0 0
[pid=15210/tid=15216] ppid=15208 vsize=15714816 CPUtime=0 cores=1,3,5,7
/proc/15210/task/15216/stat : 15216 (java) S 15208 15210 14691 0 -1 4202560 67 0 0 0 0 0 0 0 15 0 22 0 519357961 16091971584 146911 33554432000 1073741824 1073778376 140737171429104 18446744073709551615 248101514137 0 4 0 16800975 18446604471125857344 0 0 -1 5 0 0 0
[pid=15210/tid=15217] ppid=15208 vsize=15714816 CPUtime=0 cores=1,3,5,7
/proc/15210/task/15217/stat : 15217 (java) S 15208 15210 14691 0 -1 4202560 1475 0 0 0 0 0 0 0 16 0 22 0 519357961 16091971584 146911 33554432000 1073741824 1073778376 140737171429104 18446744073709551615 248101514137 0 4 0 16800975 18446604471125857344 0 0 -1 3 0 0 0
[pid=15210/tid=15218] ppid=15208 vsize=15714816 CPUtime=0 cores=1,3,5,7
/proc/15210/task/15218/stat : 15218 (java) S 15208 15210 14691 0 -1 4202560 323 0 0 0 0 0 0 0 15 0 22 0 519357961 16091971584 146911 33554432000 1073741824 1073778376 140737171429104 18446744073709551615 248101514137 0 4 0 16800975 18446604471125857344 0 0 -1 7 0 0 0
[pid=15210/tid=15219] ppid=15208 vsize=15714816 CPUtime=0 cores=1,3,5,7
/proc/15210/task/15219/stat : 15219 (java) S 15208 15210 14691 0 -1 4202560 42 0 0 0 0 0 0 0 15 0 22 0 519357961 16091971584 146911 33554432000 1073741824 1073778376 140737171429104 18446744073709551615 248101514137 0 4 0 16800975 18446604471125857344 0 0 -1 5 0 0 0
[pid=15210/tid=15220] ppid=15208 vsize=15714816 CPUtime=0 cores=1,3,5,7
/proc/15210/task/15220/stat : 15220 (java) S 15208 15210 14691 0 -1 4202560 3762 0 0 0 0 0 0 0 15 0 22 0 519357961 16091971584 146911 33554432000 1073741824 1073778376 140737171429104 18446744073709551615 248101514137 0 4 0 16800975 18446604471125857344 0 0 -1 5 0 0 0
[pid=15210/tid=15221] ppid=15208 vsize=15714816 CPUtime=0 cores=1,3,5,7
/proc/15210/task/15221/stat : 15221 (java) S 15208 15210 14691 0 -1 4202560 436 0 0 0 0 0 0 0 15 0 22 0 519357962 16091971584 146911 33554432000 1073741824 1073778376 140737171429104 18446744073709551615 248101514752 0 0 0 16800975 18446604471125857344 0 0 -1 1 0 0 0
[pid=15210/tid=15222] ppid=15208 vsize=15714816 CPUtime=0 cores=1,3,5,7
/proc/15210/task/15222/stat : 15222 (java) S 15208 15210 14691 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 22 0 519357962 16091971584 146911 33554432000 1073741824 1073778376 140737171429104 18446744073709551615 248101514137 0 4 0 16800975 18446604471125857344 0 0 -1 5 0 0 0
[pid=15210/tid=15223] ppid=15208 vsize=15714816 CPUtime=0 cores=1,3,5,7
/proc/15210/task/15223/stat : 15223 (java) S 15208 15210 14691 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 22 0 519357962 16091971584 146911 33554432000 1073741824 1073778376 140737171429104 18446744073709551615 248101514137 0 4 0 16800975 18446604471125857344 0 0 -1 5 0 0 0
[pid=15210/tid=15224] ppid=15208 vsize=15714816 CPUtime=0 cores=1,3,5,7
/proc/15210/task/15224/stat : 15224 (java) S 15208 15210 14691 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 519357965 16091971584 146911 33554432000 1073741824 1073778376 140737171429104 18446744073709551615 248101521841 0 4 0 16800975 18446604471125857344 0 0 -1 5 0 0 0
[pid=15210/tid=15225] ppid=15208 vsize=15714816 CPUtime=0.6 cores=1,3,5,7
/proc/15210/task/15225/stat : 15225 (java) S 15208 15210 14691 0 -1 4202560 5232 0 0 0 60 0 0 0 15 0 22 0 519357965 16091971584 146911 33554432000 1073741824 1073778376 140737171429104 18446744073709551615 248101514137 0 4 0 16800975 18446604471125857344 0 0 -1 1 0 0 0
[pid=15210/tid=15226] ppid=15208 vsize=15714816 CPUtime=0.97 cores=1,3,5,7
/proc/15210/task/15226/stat : 15226 (java) S 15208 15210 14691 0 -1 4202560 14301 0 0 0 96 1 0 0 15 0 22 0 519357965 16091971584 146911 33554432000 1073741824 1073778376 140737171429104 18446744073709551615 248101514137 0 4 0 16800975 18446604471125857344 0 0 -1 3 0 0 0
[pid=15210/tid=15227] ppid=15208 vsize=15714816 CPUtime=0 cores=1,3,5,7
/proc/15210/task/15227/stat : 15227 (java) S 15208 15210 14691 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 519357965 16091971584 146911 33554432000 1073741824 1073778376 140737171429104 18446744073709551615 248101514137 0 4 0 16800975 18446604471125857344 0 0 -1 5 0 0 0
[pid=15210/tid=15228] ppid=15208 vsize=15714816 CPUtime=0 cores=1,3,5,7
/proc/15210/task/15228/stat : 15228 (java) S 15208 15210 14691 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 519357965 16091971584 146911 33554432000 1073741824 1073778376 140737171429104 18446744073709551615 248101514752 0 4 0 16800975 18446604471125857344 0 0 -1 7 0 0 0
[pid=15210/tid=15252] ppid=15208 vsize=15714816 CPUtime=0 cores=1,3,5,7
/proc/15210/task/15252/stat : 15252 (java) S 15208 15210 14691 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 519358200 16091971584 146911 33554432000 1073741824 1073778376 140737171429104 18446744073709551615 248101514752 0 4 0 16800975 18446604471125857344 0 0 -1 7 0 0 0
[pid=15210/tid=15253] ppid=15208 vsize=15714816 CPUtime=0 cores=1,3,5,7
/proc/15210/task/15253/stat : 15253 (java) S 15208 15210 14691 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 22 0 519358200 16091971584 146911 33554432000 1073741824 1073778376 140737171429104 18446744073709551615 248101514752 0 4 0 16800975 18446604471125857344 0 0 -1 7 0 0 0
[pid=15210/tid=15254] ppid=15208 vsize=15714816 CPUtime=0 cores=1,3,5,7
/proc/15210/task/15254/stat : 15254 (java) S 15208 15210 14691 0 -1 4202560 14 0 0 0 0 0 0 0 15 0 22 0 519358200 16091971584 146911 33554432000 1073741824 1073778376 140737171429104 18446744073709551615 248101514752 0 4 0 16800975 18446604471125857344 0 0 -1 7 0 0 0
[pid=15210/tid=15255] ppid=15208 vsize=15714816 CPUtime=0 cores=1,3,5,7
/proc/15210/task/15255/stat : 15255 (java) S 15208 15210 14691 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 22 0 519358200 16091971584 146911 33554432000 1073741824 1073778376 140737171429104 18446744073709551615 248101514752 0 4 0 16800975 18446604471125857344 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 7.9
Current children cumulated vsize (KiB) 15714816

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

/proc/15210/task/15215/stat : 15215 (java) S 15208 15210 14691 0 -1 4202560 553776 0 0 0 962 89 0 0 16 0 22 0 519357961 16159080448 3617572 33554432000 1073741824 1073778376 140737171429104 18446744073709551615 248101514137 0 4 0 16800975 18446604471125857344 0 0 -1 3 0 0 0
[pid=15210/tid=15216] ppid=15208 vsize=15780352 CPUtime=8.6 cores=1,3,5,7
/proc/15210/task/15216/stat : 15216 (java) S 15208 15210 14691 0 -1 4202560 312216 0 0 0 812 48 0 0 16 0 22 0 519357961 16159080448 3617572 33554432000 1073741824 1073778376 140737171429104 18446744073709551615 248101514137 0 4 0 16800975 18446604471125857344 0 0 -1 1 0 0 0
[pid=15210/tid=15217] ppid=15208 vsize=15780352 CPUtime=9.02 cores=1,3,5,7
/proc/15210/task/15217/stat : 15217 (java) S 15208 15210 14691 0 -1 4202560 416541 0 0 0 835 67 0 0 16 0 22 0 519357961 16159080448 3617572 33554432000 1073741824 1073778376 140737171429104 18446744073709551615 248101514137 0 4 0 16800975 18446604471125857344 0 0 -1 7 0 0 0
[pid=15210/tid=15218] ppid=15208 vsize=15780352 CPUtime=9.9 cores=1,3,5,7
/proc/15210/task/15218/stat : 15218 (java) S 15208 15210 14691 0 -1 4202560 541872 0 0 0 906 84 0 0 16 0 22 0 519357961 16159080448 3617572 33554432000 1073741824 1073778376 140737171429104 18446744073709551615 248101514137 0 4 0 16800975 18446604471125857344 0 0 -1 5 0 0 0
[pid=15210/tid=15219] ppid=15208 vsize=15780352 CPUtime=9.18 cores=1,3,5,7
/proc/15210/task/15219/stat : 15219 (java) S 15208 15210 14691 0 -1 4202560 404430 0 0 0 854 64 0 0 16 0 22 0 519357961 16159080448 3617572 33554432000 1073741824 1073778376 140737171429104 18446744073709551615 248101514137 0 4 0 16800975 18446604471125857344 0 0 -1 1 0 0 0
[pid=15210/tid=15220] ppid=15208 vsize=15780352 CPUtime=8.5 cores=1,3,5,7
/proc/15210/task/15220/stat : 15220 (java) S 15208 15210 14691 0 -1 4202560 318322 0 0 0 800 50 0 0 16 0 22 0 519357961 16159080448 3617572 33554432000 1073741824 1073778376 140737171429104 18446744073709551615 248101514137 0 4 0 16800975 18446604471125857344 0 0 -1 3 0 0 0
[pid=15210/tid=15221] ppid=15208 vsize=15780352 CPUtime=17.14 cores=1,3,5,7
/proc/15210/task/15221/stat : 15221 (java) S 15208 15210 14691 0 -1 4202560 85413 0 0 0 1704 10 0 0 15 0 22 0 519357962 16159080448 3617572 33554432000 1073741824 1073778376 140737171429104 18446744073709551615 248101514752 0 0 0 16800975 18446604471125857344 0 0 -1 5 0 0 0
[pid=15210/tid=15222] ppid=15208 vsize=15780352 CPUtime=0 cores=1,3,5,7
/proc/15210/task/15222/stat : 15222 (java) S 15208 15210 14691 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 519357962 16159080448 3617572 33554432000 1073741824 1073778376 140737171429104 18446744073709551615 248101514137 0 4 0 16800975 18446604471125857344 0 0 -1 5 0 0 0
[pid=15210/tid=15223] ppid=15208 vsize=15780352 CPUtime=0 cores=1,3,5,7
/proc/15210/task/15223/stat : 15223 (java) S 15208 15210 14691 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 519357962 16159080448 3617572 33554432000 1073741824 1073778376 140737171429104 18446744073709551615 248101514137 0 4 0 16800975 18446604471125857344 0 0 -1 5 0 0 0
[pid=15210/tid=15224] ppid=15208 vsize=15780352 CPUtime=0 cores=1,3,5,7
/proc/15210/task/15224/stat : 15224 (java) S 15208 15210 14691 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 519357965 16159080448 3617572 33554432000 1073741824 1073778376 140737171429104 18446744073709551615 248101521841 0 4 0 16800975 18446604471125857344 0 0 -1 5 0 0 0
[pid=15210/tid=15225] ppid=15208 vsize=15780352 CPUtime=1.12 cores=1,3,5,7
/proc/15210/task/15225/stat : 15225 (java) S 15208 15210 14691 0 -1 4202560 6245 0 0 0 112 0 0 0 15 0 22 0 519357965 16159080448 3617572 33554432000 1073741824 1073778376 140737171429104 18446744073709551615 248101514137 0 4 0 16800975 18446604471125857344 0 0 -1 3 0 0 0
[pid=15210/tid=15226] ppid=15208 vsize=15780352 CPUtime=1.71 cores=1,3,5,7
/proc/15210/task/15226/stat : 15226 (java) S 15208 15210 14691 0 -1 4202560 14367 0 0 0 170 1 0 0 15 0 22 0 519357965 16159080448 3617572 33554432000 1073741824 1073778376 140737171429104 18446744073709551615 248101514137 0 4 0 16800975 18446604471125857344 0 0 -1 1 0 0 0
[pid=15210/tid=15227] ppid=15208 vsize=15780352 CPUtime=0 cores=1,3,5,7
/proc/15210/task/15227/stat : 15227 (java) S 15208 15210 14691 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 519357965 16159080448 3617572 33554432000 1073741824 1073778376 140737171429104 18446744073709551615 248101514137 0 4 0 16800975 18446604471125857344 0 0 -1 5 0 0 0
[pid=15210/tid=15228] ppid=15208 vsize=15780352 CPUtime=0 cores=1,3,5,7
/proc/15210/task/15228/stat : 15228 (java) S 15208 15210 14691 0 -1 4202560 70 0 0 0 0 0 0 0 15 0 22 0 519357965 16159080448 3617572 33554432000 1073741824 1073778376 140737171429104 18446744073709551615 248101514752 0 4 0 16800975 18446604471125857344 0 0 -1 3 0 0 0
[pid=15210/tid=15252] ppid=15208 vsize=15780352 CPUtime=1007.26 cores=1,3,5,7
/proc/15210/task/15252/stat : 15252 (java) R 15208 15210 14691 0 -1 4202560 37 0 0 0 100726 0 0 0 25 0 22 0 519358200 16159080448 3617572 33554432000 1073741824 1073778376 140737171429104 18446744073709551615 46912505609408 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=15210/tid=15253] ppid=15208 vsize=15780352 CPUtime=1004.31 cores=1,3,5,7
/proc/15210/task/15253/stat : 15253 (java) R 15208 15210 14691 0 -1 4202560 47 0 0 0 100431 0 0 0 25 0 22 0 519358200 16159080448 3617572 33554432000 1073741824 1073778376 140737171429104 18446744073709551615 46912505942914 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=15210/tid=15254] ppid=15208 vsize=15780352 CPUtime=1069.04 cores=1,3,5,7
/proc/15210/task/15254/stat : 15254 (java) R 15208 15210 14691 0 -1 4202560 20899 0 0 0 106903 1 0 0 25 0 22 0 519358200 16159080448 3617572 33554432000 1073741824 1073778376 140737171429104 18446744073709551615 46912505942753 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=15210/tid=15255] ppid=15208 vsize=15780352 CPUtime=1064.67 cores=1,3,5,7
/proc/15210/task/15255/stat : 15255 (java) R 15208 15210 14691 0 -1 4202560 20788 0 0 0 106465 2 0 0 25 0 22 0 519358200 16159080448 3617572 33554432000 1073741824 1073778376 140737171429104 18446744073709551615 46912505751701 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4315.56
Current children cumulated vsize (KiB) 15780352

[startup+1242.31 s]
/proc/loadavg: 8.17 8.02 7.23 9/220 15304
/proc/meminfo: memFree=1411892/32950928 swapFree=67111428/67111528
[pid=15210] ppid=15208 vsize=15780352 CPUtime=4553.34 cores=1,3,5,7
/proc/15210/stat : 15210 (java) S 15208 15210 14691 0 -1 4202496 3832815 0 1 0 454725 609 0 0 21 0 22 0 519357960 16159080448 3617559 33554432000 1073741824 1073778376 140737171429104 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/15210/statm: 3945088 3617559 2295 9 0 3935807 0
[pid=15210/tid=15212] ppid=15208 vsize=15780352 CPUtime=75.7 cores=1,3,5,7
/proc/15210/task/15212/stat : 15212 (java) S 15208 15210 14691 0 -1 4202560 127420 0 1 0 7553 17 0 0 25 0 22 0 519357960 16159080448 3617559 33554432000 1073741824 1073778376 140737171429104 18446744073709551615 248101514137 0 4 0 16800975 18446604471125857344 0 0 -1 5 0 0 0
[pid=15210/tid=15213] ppid=15208 vsize=15780352 CPUtime=9.81 cores=1,3,5,7
/proc/15210/task/15213/stat : 15213 (java) S 15208 15210 14691 0 -1 4202560 517363 0 0 0 893 88 0 0 15 0 22 0 519357961 16159080448 3617559 33554432000 1073741824 1073778376 140737171429104 18446744073709551615 248101514137 0 4 0 16800975 18446604471125857344 0 0 -1 7 0 0 0
[pid=15210/tid=15214] ppid=15208 vsize=15780352 CPUtime=9.69 cores=1,3,5,7
/proc/15210/task/15214/stat : 15214 (java) S 15208 15210 14691 0 -1 4202560 491572 0 0 0 889 80 0 0 16 0 22 0 519357961 16159080448 3617559 33554432000 1073741824 1073778376 140737171429104 18446744073709551615 248101514137 0 4 0 16800975 18446604471125857344 0 0 -1 7 0 0 0
[pid=15210/tid=15215] ppid=15208 vsize=15780352 CPUtime=11.1 cores=1,3,5,7
/proc/15210/task/15215/stat : 15215 (java) S 15208 15210 14691 0 -1 4202560 553776 0 0 0 1021 89 0 0 16 0 22 0 519357961 16159080448 3617559 33554432000 1073741824 1073778376 140737171429104 18446744073709551615 248101514137 0 4 0 16800975 18446604471125857344 0 0 -1 3 0 0 0
[pid=15210/tid=15216] ppid=15208 vsize=15780352 CPUtime=9.12 cores=1,3,5,7
/proc/15210/task/15216/stat : 15216 (java) S 15208 15210 14691 0 -1 4202560 312216 0 0 0 864 48 0 0 16 0 22 0 519357961 16159080448 3617559 33554432000 1073741824 1073778376 140737171429104 18446744073709551615 248101514137 0 4 0 16800975 18446604471125857344 0 0 -1 5 0 0 0
[pid=15210/tid=15217] ppid=15208 vsize=15780352 CPUtime=9.17 cores=1,3,5,7
/proc/15210/task/15217/stat : 15217 (java) S 15208 15210 14691 0 -1 4202560 416541 0 0 0 850 67 0 0 15 0 22 0 519357961 16159080448 3617559 33554432000 1073741824 1073778376 140737171429104 18446744073709551615 248101514137 0 4 0 16800975 18446604471125857344 0 0 -1 1 0 0 0
[pid=15210/tid=15218] ppid=15208 vsize=15780352 CPUtime=10.19 cores=1,3,5,7
/proc/15210/task/15218/stat : 15218 (java) S 15208 15210 14691 0 -1 4202560 541872 0 0 0 935 84 0 0 15 0 22 0 519357961 16159080448 3617559 33554432000 1073741824 1073778376 140737171429104 18446744073709551615 248101514137 0 4 0 16800975 18446604471125857344 0 0 -1 1 0 0 0
[pid=15210/tid=15219] ppid=15208 vsize=15780352 CPUtime=9.61 cores=1,3,5,7
/proc/15210/task/15219/stat : 15219 (java) S 15208 15210 14691 0 -1 4202560 404430 0 0 0 897 64 0 0 16 0 22 0 519357961 16159080448 3617559 33554432000 1073741824 1073778376 140737171429104 18446744073709551615 248101514137 0 4 0 16800975 18446604471125857344 0 0 -1 1 0 0 0
[pid=15210/tid=15220] ppid=15208 vsize=15780352 CPUtime=8.86 cores=1,3,5,7
/proc/15210/task/15220/stat : 15220 (java) S 15208 15210 14691 0 -1 4202560 318322 0 0 0 836 50 0 0 16 0 22 0 519357961 16159080448 3617559 33554432000 1073741824 1073778376 140737171429104 18446744073709551615 248101514137 0 4 0 16800975 18446604471125857344 0 0 -1 5 0 0 0
[pid=15210/tid=15221] ppid=15208 vsize=15780352 CPUtime=17.78 cores=1,3,5,7
/proc/15210/task/15221/stat : 15221 (java) S 15208 15210 14691 0 -1 4202560 85459 0 0 0 1768 10 0 0 15 0 22 0 519357962 16159080448 3617559 33554432000 1073741824 1073778376 140737171429104 18446744073709551615 248101514752 0 0 0 16800975 18446604471125857344 0 0 -1 5 0 0 0
[pid=15210/tid=15222] ppid=15208 vsize=15780352 CPUtime=0 cores=1,3,5,7
/proc/15210/task/15222/stat : 15222 (java) S 15208 15210 14691 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 519357962 16159080448 3617559 33554432000 1073741824 1073778376 140737171429104 18446744073709551615 248101514137 0 4 0 16800975 18446604471125857344 0 0 -1 5 0 0 0
[pid=15210/tid=15223] ppid=15208 vsize=15780352 CPUtime=0 cores=1,3,5,7
/proc/15210/task/15223/stat : 15223 (java) S 15208 15210 14691 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 519357962 16159080448 3617559 33554432000 1073741824 1073778376 140737171429104 18446744073709551615 248101514137 0 4 0 16800975 18446604471125857344 0 0 -1 5 0 0 0
[pid=15210/tid=15224] ppid=15208 vsize=15780352 CPUtime=0 cores=1,3,5,7
/proc/15210/task/15224/stat : 15224 (java) S 15208 15210 14691 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 519357965 16159080448 3617559 33554432000 1073741824 1073778376 140737171429104 18446744073709551615 248101521841 0 4 0 16800975 18446604471125857344 0 0 -1 5 0 0 0
[pid=15210/tid=15225] ppid=15208 vsize=15780352 CPUtime=1.12 cores=1,3,5,7
/proc/15210/task/15225/stat : 15225 (java) S 15208 15210 14691 0 -1 4202560 6245 0 0 0 112 0 0 0 15 0 22 0 519357965 16159080448 3617559 33554432000 1073741824 1073778376 140737171429104 18446744073709551615 248101514137 0 4 0 16800975 18446604471125857344 0 0 -1 3 0 0 0
[pid=15210/tid=15226] ppid=15208 vsize=15780352 CPUtime=1.71 cores=1,3,5,7
/proc/15210/task/15226/stat : 15226 (java) S 15208 15210 14691 0 -1 4202560 14367 0 0 0 170 1 0 0 15 0 22 0 519357965 16159080448 3617559 33554432000 1073741824 1073778376 140737171429104 18446744073709551615 248101514137 0 4 0 16800975 18446604471125857344 0 0 -1 1 0 0 0
[pid=15210/tid=15227] ppid=15208 vsize=15780352 CPUtime=0 cores=1,3,5,7
/proc/15210/task/15227/stat : 15227 (java) S 15208 15210 14691 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 519357965 16159080448 3617559 33554432000 1073741824 1073778376 140737171429104 18446744073709551615 248101514137 0 4 0 16800975 18446604471125857344 0 0 -1 5 0 0 0
[pid=15210/tid=15228] ppid=15208 vsize=15780352 CPUtime=0 cores=1,3,5,7
/proc/15210/task/15228/stat : 15228 (java) S 15208 15210 14691 0 -1 4202560 72 0 0 0 0 0 0 0 15 0 22 0 519357965 16159080448 3617559 33554432000 1073741824 1073778376 140737171429104 18446744073709551615 248101514752 0 4 0 16800975 18446604471125857344 0 0 -1 3 0 0 0
[pid=15210/tid=15252] ppid=15208 vsize=15780352 CPUtime=1065.85 cores=1,3,5,7
/proc/15210/task/15252/stat : 15252 (java) R 15208 15210 14691 0 -1 4202560 39 0 0 0 106585 0 0 0 25 0 22 0 519358200 16159080448 3617559 33554432000 1073741824 1073778376 140737171429104 18446744073709551615 46912506208300 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=15210/tid=15253] ppid=15208 vsize=15780352 CPUtime=1062.91 cores=1,3,5,7
/proc/15210/task/15253/stat : 15253 (java) R 15208 15210 14691 0 -1 4202560 47 0 0 0 106291 0 0 0 25 0 22 0 519358200 16159080448 3617559 33554432000 1073741824 1073778376 140737171429104 18446744073709551615 46912505707500 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=15210/tid=15254] ppid=15208 vsize=15780352 CPUtime=1127.63 cores=1,3,5,7
/proc/15210/task/15254/stat : 15254 (java) R 15208 15210 14691 0 -1 4202560 20900 0 0 0 112762 1 0 0 25 0 22 0 519358200 16159080448 3617559 33554432000 1073741824 1073778376 140737171429104 18446744073709551615 46912506562223 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=15210/tid=15255] ppid=15208 vsize=15780352 CPUtime=1122.94 cores=1,3,5,7
/proc/15210/task/15255/stat : 15255 (java) R 15208 15210 14691 0 -1 4202560 20788 0 0 0 112292 2 0 0 25 0 22 0 519358200 16159080448 3617559 33554432000 1073741824 1073778376 140737171429104 18446744073709551615 46912505942783 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4553.34
Current children cumulated vsize (KiB) 15780352



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 8.23 8.06 7.29 9/220 15306
/proc/meminfo: memFree=1033996/32950928 swapFree=67111428/67111528
[pid=15210] ppid=15208 vsize=15780352 CPUtime=4783.82 cores=1,3,5,7
/proc/15210/stat : 15210 (java) S 15208 15210 14691 0 -1 4202496 3832841 0 1 0 477773 609 0 0 21 0 22 0 519357960 16159080448 3617567 33554432000 1073741824 1073778376 140737171429104 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/15210/statm: 3945088 3617567 2295 9 0 3935807 0
[pid=15210/tid=15212] ppid=15208 vsize=15780352 CPUtime=75.7 cores=1,3,5,7
/proc/15210/task/15212/stat : 15212 (java) S 15208 15210 14691 0 -1 4202560 127420 0 1 0 7553 17 0 0 25 0 22 0 519357960 16159080448 3617567 33554432000 1073741824 1073778376 140737171429104 18446744073709551615 248101514137 0 4 0 16800975 18446604471125857344 0 0 -1 5 0 0 0
[pid=15210/tid=15213] ppid=15208 vsize=15780352 CPUtime=10.12 cores=1,3,5,7
/proc/15210/task/15213/stat : 15213 (java) S 15208 15210 14691 0 -1 4202560 517363 0 0 0 924 88 0 0 16 0 22 0 519357961 16159080448 3617567 33554432000 1073741824 1073778376 140737171429104 18446744073709551615 248101514137 0 4 0 16800975 18446604471125857344 0 0 -1 3 0 0 0
[pid=15210/tid=15214] ppid=15208 vsize=15780352 CPUtime=10.01 cores=1,3,5,7
/proc/15210/task/15214/stat : 15214 (java) S 15208 15210 14691 0 -1 4202560 491572 0 0 0 921 80 0 0 16 0 22 0 519357961 16159080448 3617567 33554432000 1073741824 1073778376 140737171429104 18446744073709551615 248101514137 0 4 0 16800975 18446604471125857344 0 0 -1 5 0 0 0
[pid=15210/tid=15215] ppid=15208 vsize=15780352 CPUtime=11.44 cores=1,3,5,7
/proc/15210/task/15215/stat : 15215 (java) S 15208 15210 14691 0 -1 4202560 553776 0 0 0 1055 89 0 0 16 0 22 0 519357961 16159080448 3617567 33554432000 1073741824 1073778376 140737171429104 18446744073709551615 248101514137 0 4 0 16800975 18446604471125857344 0 0 -1 3 0 0 0
[pid=15210/tid=15216] ppid=15208 vsize=15780352 CPUtime=9.29 cores=1,3,5,7
/proc/15210/task/15216/stat : 15216 (java) S 15208 15210 14691 0 -1 4202560 312216 0 0 0 881 48 0 0 16 0 22 0 519357961 16159080448 3617567 33554432000 1073741824 1073778376 140737171429104 18446744073709551615 248101514137 0 4 0 16800975 18446604471125857344 0 0 -1 5 0 0 0
[pid=15210/tid=15217] ppid=15208 vsize=15780352 CPUtime=9.51 cores=1,3,5,7
/proc/15210/task/15217/stat : 15217 (java) S 15208 15210 14691 0 -1 4202560 416541 0 0 0 884 67 0 0 16 0 22 0 519357961 16159080448 3617567 33554432000 1073741824 1073778376 140737171429104 18446744073709551615 248101514137 0 4 0 16800975 18446604471125857344 0 0 -1 1 0 0 0
[pid=15210/tid=15218] ppid=15208 vsize=15780352 CPUtime=10.33 cores=1,3,5,7
/proc/15210/task/15218/stat : 15218 (java) S 15208 15210 14691 0 -1 4202560 541872 0 0 0 949 84 0 0 16 0 22 0 519357961 16159080448 3617567 33554432000 1073741824 1073778376 140737171429104 18446744073709551615 248101514137 0 4 0 16800975 18446604471125857344 0 0 -1 1 0 0 0
[pid=15210/tid=15219] ppid=15208 vsize=15780352 CPUtime=9.92 cores=1,3,5,7
/proc/15210/task/15219/stat : 15219 (java) S 15208 15210 14691 0 -1 4202560 404430 0 0 0 928 64 0 0 16 0 22 0 519357961 16159080448 3617567 33554432000 1073741824 1073778376 140737171429104 18446744073709551615 248101514137 0 4 0 16800975 18446604471125857344 0 0 -1 7 0 0 0
[pid=15210/tid=15220] ppid=15208 vsize=15780352 CPUtime=9.13 cores=1,3,5,7
/proc/15210/task/15220/stat : 15220 (java) S 15208 15210 14691 0 -1 4202560 318322 0 0 0 863 50 0 0 16 0 22 0 519357961 16159080448 3617567 33554432000 1073741824 1073778376 140737171429104 18446744073709551615 248101514137 0 4 0 16800975 18446604471125857344 0 0 -1 7 0 0 0
[pid=15210/tid=15221] ppid=15208 vsize=15780352 CPUtime=17.78 cores=1,3,5,7
/proc/15210/task/15221/stat : 15221 (java) S 15208 15210 14691 0 -1 4202560 85479 0 0 0 1768 10 0 0 15 0 22 0 519357962 16159080448 3617567 33554432000 1073741824 1073778376 140737171429104 18446744073709551615 248101514752 0 0 0 16800975 18446604471125857344 0 0 -1 5 0 0 0
[pid=15210/tid=15222] ppid=15208 vsize=15780352 CPUtime=0 cores=1,3,5,7
/proc/15210/task/15222/stat : 15222 (java) S 15208 15210 14691 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 519357962 16159080448 3617567 33554432000 1073741824 1073778376 140737171429104 18446744073709551615 248101514137 0 4 0 16800975 18446604471125857344 0 0 -1 5 0 0 0
[pid=15210/tid=15223] ppid=15208 vsize=15780352 CPUtime=0 cores=1,3,5,7
/proc/15210/task/15223/stat : 15223 (java) S 15208 15210 14691 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 519357962 16159080448 3617567 33554432000 1073741824 1073778376 140737171429104 18446744073709551615 248101514137 0 4 0 16800975 18446604471125857344 0 0 -1 5 0 0 0
[pid=15210/tid=15224] ppid=15208 vsize=15780352 CPUtime=0 cores=1,3,5,7
/proc/15210/task/15224/stat : 15224 (java) S 15208 15210 14691 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 519357965 16159080448 3617567 33554432000 1073741824 1073778376 140737171429104 18446744073709551615 248101521841 0 4 0 16800975 18446604471125857344 0 0 -1 5 0 0 0
[pid=15210/tid=15225] ppid=15208 vsize=15780352 CPUtime=1.12 cores=1,3,5,7
/proc/15210/task/15225/stat : 15225 (java) S 15208 15210 14691 0 -1 4202560 6245 0 0 0 112 0 0 0 15 0 22 0 519357965 16159080448 3617567 33554432000 1073741824 1073778376 140737171429104 18446744073709551615 248101514137 0 4 0 16800975 18446604471125857344 0 0 -1 3 0 0 0
[pid=15210/tid=15226] ppid=15208 vsize=15780352 CPUtime=1.71 cores=1,3,5,7
/proc/15210/task/15226/stat : 15226 (java) S 15208 15210 14691 0 -1 4202560 14367 0 0 0 170 1 0 0 15 0 22 0 519357965 16159080448 3617567 33554432000 1073741824 1073778376 140737171429104 18446744073709551615 248101514137 0 4 0 16800975 18446604471125857344 0 0 -1 1 0 0 0
[pid=15210/tid=15227] ppid=15208 vsize=15780352 CPUtime=0 cores=1,3,5,7
/proc/15210/task/15227/stat : 15227 (java) S 15208 15210 14691 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 519357965 16159080448 3617567 33554432000 1073741824 1073778376 140737171429104 18446744073709551615 248101514137 0 4 0 16800975 18446604471125857344 0 0 -1 5 0 0 0
[pid=15210/tid=15228] ppid=15208 vsize=15780352 CPUtime=0 cores=1,3,5,7
/proc/15210/task/15228/stat : 15228 (java) S 15208 15210 14691 0 -1 4202560 76 0 0 0 0 0 0 0 15 0 22 0 519357965 16159080448 3617567 33554432000 1073741824 1073778376 140737171429104 18446744073709551615 248101514752 0 4 0 16800975 18446604471125857344 0 0 -1 7 0 0 0
[pid=15210/tid=15252] ppid=15208 vsize=15780352 CPUtime=1123 cores=1,3,5,7
/proc/15210/task/15252/stat : 15252 (java) R 15208 15210 14691 0 -1 4202560 39 0 0 0 112300 0 0 0 25 0 22 0 519358200 16159080448 3617567 33554432000 1073741824 1073778376 140737171429104 18446744073709551615 46912505878616 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=15210/tid=15253] ppid=15208 vsize=15780352 CPUtime=1120.05 cores=1,3,5,7
/proc/15210/task/15253/stat : 15253 (java) R 15208 15210 14691 0 -1 4202560 47 0 0 0 112005 0 0 0 25 0 22 0 519358200 16159080448 3617567 33554432000 1073741824 1073778376 140737171429104 18446744073709551615 46912505751715 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=15210/tid=15254] ppid=15208 vsize=15780352 CPUtime=1184.78 cores=1,3,5,7
/proc/15210/task/15254/stat : 15254 (java) R 15208 15210 14691 0 -1 4202560 20902 0 0 0 118477 1 0 0 25 0 22 0 519358200 16159080448 3617567 33554432000 1073741824 1073778376 140737171429104 18446744073709551615 46912505942857 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=15210/tid=15255] ppid=15208 vsize=15780352 CPUtime=1179.77 cores=1,3,5,7
/proc/15210/task/15255/stat : 15255 (java) R 15208 15210 14691 0 -1 4202560 20788 0 0 0 117975 2 0 0 25 0 22 0 519358200 16159080448 3617567 33554432000 1073741824 1073778376 140737171429104 18446744073709551615 46912506161695 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4783.82
Current children cumulated vsize (KiB) 15780352

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

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

[startup+1300.3 s]
/proc/loadavg: 8.23 8.06 7.29 9/220 15306
/proc/meminfo: memFree=1033996/32950928 swapFree=67111428/67111528
[pid=15210] ppid=15208 vsize=0 CPUtime=4784.13 cores=1,3,5,7
/proc/15210/stat : 15210 (java) Z 15208 15210 14691 0 -1 4203548 3832869 0 1 0 477776 637 0 0 17 0 2 0 519357960 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/15210/statm: 0 0 0 0 0 0 0
[pid=15210/tid=15253] ppid=15208 vsize=0 CPUtime=1120.34 cores=1,3,5,7
/proc/15210/task/15253/stat : 15253 (java) R 15208 15210 14691 0 -1 4203588 47 0 0 0 112006 28 0 0 25 0 2 0 519358200 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4784.13
Current children cumulated vsize (KiB) 0

[startup+1300.5 s]
/proc/loadavg: 8.23 8.06 7.29 9/220 15306
/proc/meminfo: memFree=1033996/32950928 swapFree=67111428/67111528
[pid=15210] ppid=15208 vsize=0 CPUtime=4784.33 cores=1,3,5,7
/proc/15210/stat : 15210 (java) Z 15208 15210 14691 0 -1 4203548 3832869 0 1 0 477776 657 0 0 17 0 2 0 519357960 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/15210/statm: 0 0 0 0 0 0 0
[pid=15210/tid=15253] ppid=15208 vsize=0 CPUtime=1120.54 cores=1,3,5,7
/proc/15210/task/15253/stat : 15253 (java) R 15208 15210 14691 0 -1 4203588 47 0 0 0 112006 48 0 0 25 0 2 0 519358200 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4784.33
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1300.54
CPU time (s): 4784.37
CPU user time (s): 4777.76
CPU system time (s): 6.61099
CPU usage (%): 367.877
Max. virtual memory (cumulated for all children) (KiB): 15780352

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4777.76
system time used= 6.61099
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3832869
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= 41365
involuntary context switches= 71080

runsolver used 2.14167 second user time and 4.98624 second system time

The end

Launcher Data 

Begin job on node123 at 2011-04-29 13:46:22
IDJOB=3312195
IDBENCH=71003
IDSOLVER=1698
FILE ID=node123/3312195-1304077581
RUNJOBID= node123-1304077581-15197
PBS_JOBID= 13170492
Free space on /tmp= 72796 MiB

SOLVER NAME= STRUCTure 0.1 (hbr=2)
BENCH NAME= SAT09/APPLICATIONS/diagnosis/ACG-10-10p0.cnf
COMMAND LINE= run 15000 NBCORE TMPDIR DIR BENCHNAME -hbr 2
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3312195-1304077581/watcher-3312195-1304077581 -o /tmp/evaluation-result-3312195-1304077581/solver-3312195-1304077581 -C 4800 -W 1300 -M 15500  run 15000 4 HOME HOME HOME/instance-3312195-1304077581.cnf -hbr 2

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

MD5SUM BENCH= ef1df882c8a642421a1d0216a16bf652
RANDOM SEED=675415932

node123.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	: 5226.15
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.82
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.74
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.80
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.74
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      30740788 kB
Buffers:        545640 kB
Cached:        1234068 kB
SwapCached:        100 kB
Active:          93540 kB
Inactive:      1754124 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30740788 kB
SwapTotal:    67111528 kB
SwapFree:     67111428 kB
Dirty:           24204 kB
Writeback:           0 kB
AnonPages:       67804 kB
Mapped:          14492 kB
Slab:           298624 kB
PageTables:       4304 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   190984 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= 72784 MiB
End job on node123 at 2011-04-29 14:08:04