Trace number 3312292

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) 4800.61 1215.43

General information on the benchmark

Nameapplication/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom26.cnf
MD5SUM98fee1752ddf8cd7cd77925ecf4bfe6e
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables73074
Number of clauses245746
Sum of the clauses size628346
Maximum clause length2232
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 2124096
Number of clauses of size 3120415
Number of clauses of size 4350
Number of clauses of size 524
Number of clauses of size over 5860

Solver Data 

0.10/0.12	25:27 INFO : Reading from input HOME/instance-3312292-1304180727.cnf
1.25/1.10	Executor set job limit to 1000000
1.25/1.10	Executor set job limit to 1000000
1.25/1.10	Executor set job limit to 1000000
1.25/1.10	Executor set job limit to 1000000
1.35/1.10	Starting Executor!
1.35/1.10	Starting Executor!
1.35/1.10	Starting Executor!
1.35/1.11	Starting Executor!
3.93/2.47	25:30 INFO : Found 17277 xor gates
9.82/6.94	25:34 INFO : 67343 variables remaining out of 73074
9.82/6.94	25:34 INFO : 2084474 literals remaining out of 666768

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

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

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


[startup+0 s]
/proc/loadavg: 7.40 7.91 7.96 3/187 20498
/proc/meminfo: memFree=30906440/32951132 swapFree=67111364/67111528
[pid=20498] ppid=20496 vsize=23028 CPUtime=0 cores=0,2,4,6
/proc/20498/stat : 20498 (java) R 20496 20498 20448 0 -1 4202496 1198 0 0 0 0 0 0 0 21 0 1 0 529671357 23580672 683 33554432000 1073741824 1073778376 140734995619312 18446744073709551615 242965587432 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/20498/statm: 5757 683 509 9 0 124 0

[startup+0.021185 s]
/proc/loadavg: 7.40 7.91 7.96 3/187 20498
/proc/meminfo: memFree=30906440/32951132 swapFree=67111364/67111528
[pid=20498] ppid=20496 vsize=15602060 CPUtime=0.01 cores=0,2,4,6
/proc/20498/stat : 20498 (java) S 20496 20498 20448 0 -1 4202496 3295 0 1 0 1 0 0 0 21 0 11 0 529671357 15976509440 2735 33554432000 1073741824 1073778376 140734995619312 18446744073709551615 242982352869 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/20498/statm: 3900515 2736 1598 9 0 3891263 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 15602060

[startup+0.101148 s]
/proc/loadavg: 7.40 7.91 7.96 3/187 20498
/proc/meminfo: memFree=30906440/32951132 swapFree=67111364/67111528
[pid=20498] ppid=20496 vsize=15676560 CPUtime=0.1 cores=0,2,4,6
/proc/20498/stat : 20498 (java) S 20496 20498 20448 0 -1 4202496 5612 0 1 0 9 1 0 0 21 0 18 0 529671357 16052797440 5013 33554432000 1073741824 1073778376 140734995619312 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/20498/statm: 3919140 5014 2117 9 0 3909859 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15676560

[startup+0.301176 s]
/proc/loadavg: 7.40 7.91 7.96 3/187 20498
/proc/meminfo: memFree=30906440/32951132 swapFree=67111364/67111528
[pid=20498] ppid=20496 vsize=15678468 CPUtime=0.52 cores=0,2,4,6
/proc/20498/stat : 20498 (java) S 20496 20498 20448 0 -1 4202496 15682 0 1 0 49 3 0 0 21 0 18 0 529671357 16054751232 14040 33554432000 1073741824 1073778376 140734995619312 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/20498/statm: 3919617 14046 2207 9 0 3910336 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 15678468

[startup+0.701081 s]
/proc/loadavg: 7.40 7.91 7.96 3/187 20498
/proc/meminfo: memFree=30906440/32951132 swapFree=67111364/67111528
[pid=20498] ppid=20496 vsize=15678468 CPUtime=0.94 cores=0,2,4,6
/proc/20498/stat : 20498 (java) S 20496 20498 20448 0 -1 4202496 41946 0 1 0 88 6 0 0 21 0 18 0 529671357 16054751232 40300 33554432000 1073741824 1073778376 140734995619312 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/20498/statm: 3919617 40300 2223 9 0 3910336 0
Current children cumulated CPU time (s) 0.94
Current children cumulated vsize (KiB) 15678468

[startup+1.50095 s]
/proc/loadavg: 7.40 7.91 7.96 4/214 20525
/proc/meminfo: memFree=30597960/32951132 swapFree=67111364/67111528
[pid=20498] ppid=20496 vsize=15704720 CPUtime=2.1 cores=0,2,4,6
/proc/20498/stat : 20498 (java) S 20496 20498 20448 0 -1 4202496 53103 0 1 0 203 7 0 0 21 0 22 0 529671357 16081633280 49272 33554432000 1073741824 1073778376 140734995619312 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/20498/statm: 3926180 49276 2265 9 0 3916899 0
[pid=20498/tid=20500] ppid=20496 vsize=15704720 CPUtime=1.46 cores=0,2,4,6
/proc/20498/task/20500/stat : 20500 (java) R 20496 20498 20448 0 -1 4202560 35618 0 1 0 142 4 0 0 20 0 22 0 529671358 16081633280 49279 33554432000 1073741824 1073778376 140734995619312 18446744073709551615 47912579735398 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=20498/tid=20501] ppid=20496 vsize=15704720 CPUtime=0 cores=0,2,4,6
/proc/20498/task/20501/stat : 20501 (java) S 20496 20498 20448 0 -1 4202560 64 0 0 0 0 0 0 0 15 0 22 0 529671358 16081633280 49282 33554432000 1073741824 1073778376 140734995619312 18446744073709551615 242982366105 0 4 0 16800975 18446604447891285056 0 0 -1 6 0 0 0
[pid=20498/tid=20502] ppid=20496 vsize=15704720 CPUtime=0 cores=0,2,4,6
/proc/20498/task/20502/stat : 20502 (java) S 20496 20498 20448 0 -1 4202560 973 0 0 0 0 0 0 0 16 0 22 0 529671358 16081633280 49284 33554432000 1073741824 1073778376 140734995619312 18446744073709551615 242982366105 0 4 0 16800975 18446604447891285056 0 0 -1 4 0 0 0
[pid=20498/tid=20503] ppid=20496 vsize=15704720 CPUtime=0 cores=0,2,4,6
/proc/20498/task/20503/stat : 20503 (java) S 20496 20498 20448 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 529671358 16081633280 49287 33554432000 1073741824 1073778376 140734995619312 18446744073709551615 242982366105 0 4 0 16800975 18446604447891285056 0 0 -1 2 0 0 0
[pid=20498/tid=20504] ppid=20496 vsize=15704720 CPUtime=0 cores=0,2,4,6
/proc/20498/task/20504/stat : 20504 (java) S 20496 20498 20448 0 -1 4202560 872 0 0 0 0 0 0 0 16 0 22 0 529671358 16081633280 49289 33554432000 1073741824 1073778376 140734995619312 18446744073709551615 242982366105 0 4 0 16800975 18446604447891285056 0 0 -1 0 0 0 0
[pid=20498/tid=20505] ppid=20496 vsize=15704720 CPUtime=0 cores=0,2,4,6
/proc/20498/task/20505/stat : 20505 (java) S 20496 20498 20448 0 -1 4202560 301 0 0 0 0 0 0 0 15 0 22 0 529671358 16081633280 49289 33554432000 1073741824 1073778376 140734995619312 18446744073709551615 242982366105 0 4 0 16800975 18446604447891285056 0 0 -1 2 0 0 0
[pid=20498/tid=20506] ppid=20496 vsize=15704720 CPUtime=0 cores=0,2,4,6
/proc/20498/task/20506/stat : 20506 (java) S 20496 20498 20448 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 529671358 16081633280 49292 33554432000 1073741824 1073778376 140734995619312 18446744073709551615 242982366105 0 4 0 16800975 18446604447891285056 0 0 -1 4 0 0 0
[pid=20498/tid=20507] ppid=20496 vsize=15704720 CPUtime=0 cores=0,2,4,6
/proc/20498/task/20507/stat : 20507 (java) S 20496 20498 20448 0 -1 4202560 243 0 0 0 0 0 0 0 16 0 22 0 529671358 16081633280 49295 33554432000 1073741824 1073778376 140734995619312 18446744073709551615 242982366105 0 4 0 16800975 18446604447891285056 0 0 -1 2 0 0 0
[pid=20498/tid=20508] ppid=20496 vsize=15704720 CPUtime=0 cores=0,2,4,6
/proc/20498/task/20508/stat : 20508 (java) S 20496 20498 20448 0 -1 4202560 2053 0 0 0 0 0 0 0 16 0 22 0 529671358 16081633280 49298 33554432000 1073741824 1073778376 140734995619312 18446744073709551615 242982366105 0 4 0 16800975 18446604447891285056 0 0 -1 6 0 0 0
[pid=20498/tid=20514] ppid=20496 vsize=15704720 CPUtime=0 cores=0,2,4,6
/proc/20498/task/20514/stat : 20514 (java) S 20496 20498 20448 0 -1 4202560 72 0 0 0 0 0 0 0 15 0 22 0 529671359 16081633280 49300 33554432000 1073741824 1073778376 140734995619312 18446744073709551615 242982366720 0 0 0 16800975 18446604447891285056 0 0 -1 0 0 0 0
[pid=20498/tid=20515] ppid=20496 vsize=15704720 CPUtime=0 cores=0,2,4,6
/proc/20498/task/20515/stat : 20515 (java) S 20496 20498 20448 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 529671360 16081633280 49301 33554432000 1073741824 1073778376 140734995619312 18446744073709551615 242982366105 0 4 0 16800975 18446604447891285056 0 0 -1 0 0 0 0
[pid=20498/tid=20516] ppid=20496 vsize=15704880 CPUtime=0 cores=0,2,4,6
/proc/20498/task/20516/stat : 20516 (java) S 20496 20498 20448 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 22 0 529671360 16081797120 49304 33554432000 1073741824 1073778376 140734995619312 18446744073709551615 242982366105 0 4 0 16800975 18446604447891285056 0 0 -1 0 0 0 0
[pid=20498/tid=20517] ppid=20496 vsize=15704880 CPUtime=0 cores=0,2,4,6
/proc/20498/task/20517/stat : 20517 (java) S 20496 20498 20448 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529671362 16081797120 49305 33554432000 1073741824 1073778376 140734995619312 18446744073709551615 242982373809 0 4 0 16800975 18446604447891285056 0 0 -1 2 0 0 0
[pid=20498/tid=20518] ppid=20496 vsize=15704880 CPUtime=0.22 cores=0,2,4,6
/proc/20498/task/20518/stat : 20518 (java) S 20496 20498 20448 0 -1 4202560 2401 0 0 0 22 0 0 0 16 0 22 0 529671362 16081797120 49309 33554432000 1073741824 1073778376 140734995619312 18446744073709551615 242982366105 0 4 0 16800975 18446604447891285056 0 0 -1 0 0 0 0
[pid=20498/tid=20519] ppid=20496 vsize=15704880 CPUtime=0.36 cores=0,2,4,6
/proc/20498/task/20519/stat : 20519 (java) R 20496 20498 20448 0 -1 4202560 9112 0 0 0 35 1 0 0 16 0 22 0 529671362 16081797120 49312 33554432000 1073741824 1073778376 140734995619312 18446744073709551615 47912576698532 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=20498/tid=20520] ppid=20496 vsize=15704880 CPUtime=0 cores=0,2,4,6
/proc/20498/task/20520/stat : 20520 (java) S 20496 20498 20448 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529671362 16081797120 49315 33554432000 1073741824 1073778376 140734995619312 18446744073709551615 242982366105 0 4 0 16800975 18446604447891285056 0 0 -1 2 0 0 0
[pid=20498/tid=20521] ppid=20496 vsize=15704880 CPUtime=0 cores=0,2,4,6
/proc/20498/task/20521/stat : 20521 (java) S 20496 20498 20448 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 529671362 16081797120 49316 33554432000 1073741824 1073778376 140734995619312 18446744073709551615 242982366720 0 4 0 16800975 18446604447891285056 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.1
Current children cumulated vsize (KiB) 15704720

[startup+3.10166 s]
/proc/loadavg: 7.40 7.91 7.96 3/218 20529
/proc/meminfo: memFree=30531892/32951132 swapFree=67111364/67111528
[pid=20498] ppid=20496 vsize=15711340 CPUtime=5.13 cores=0,2,4,6
/proc/20498/stat : 20498 (java) S 20496 20498 20448 0 -1 4202496 61112 0 1 0 504 9 0 0 21 0 22 0 529671357 16088412160 51417 33554432000 1073741824 1073778376 140734995619312 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/20498/statm: 3927835 51417 2267 9 0 3918554 0
[pid=20498/tid=20500] ppid=20496 vsize=15711340 CPUtime=3.07 cores=0,2,4,6
/proc/20498/task/20500/stat : 20500 (java) R 20496 20498 20448 0 -1 4202560 35646 0 1 0 302 5 0 0 25 0 22 0 529671358 16088412160 51417 33554432000 1073741824 1073778376 140734995619312 18446744073709551615 46912505602796 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=20498/tid=20501] ppid=20496 vsize=15711340 CPUtime=0 cores=0,2,4,6
/proc/20498/task/20501/stat : 20501 (java) S 20496 20498 20448 0 -1 4202560 64 0 0 0 0 0 0 0 15 0 22 0 529671358 16088412160 51417 33554432000 1073741824 1073778376 140734995619312 18446744073709551615 242982366105 0 4 0 16800975 18446604447891285056 0 0 -1 6 0 0 0
[pid=20498/tid=20502] ppid=20496 vsize=15711340 CPUtime=0 cores=0,2,4,6
/proc/20498/task/20502/stat : 20502 (java) S 20496 20498 20448 0 -1 4202560 973 0 0 0 0 0 0 0 16 0 22 0 529671358 16088412160 51417 33554432000 1073741824 1073778376 140734995619312 18446744073709551615 242982366105 0 4 0 16800975 18446604447891285056 0 0 -1 4 0 0 0
[pid=20498/tid=20503] ppid=20496 vsize=15711340 CPUtime=0 cores=0,2,4,6
/proc/20498/task/20503/stat : 20503 (java) S 20496 20498 20448 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 529671358 16088412160 51417 33554432000 1073741824 1073778376 140734995619312 18446744073709551615 242982366105 0 4 0 16800975 18446604447891285056 0 0 -1 2 0 0 0
[pid=20498/tid=20504] ppid=20496 vsize=15711340 CPUtime=0 cores=0,2,4,6
/proc/20498/task/20504/stat : 20504 (java) S 20496 20498 20448 0 -1 4202560 872 0 0 0 0 0 0 0 16 0 22 0 529671358 16088412160 51417 33554432000 1073741824 1073778376 140734995619312 18446744073709551615 242982366105 0 4 0 16800975 18446604447891285056 0 0 -1 0 0 0 0
[pid=20498/tid=20505] ppid=20496 vsize=15711340 CPUtime=0 cores=0,2,4,6
/proc/20498/task/20505/stat : 20505 (java) S 20496 20498 20448 0 -1 4202560 301 0 0 0 0 0 0 0 15 0 22 0 529671358 16088412160 51417 33554432000 1073741824 1073778376 140734995619312 18446744073709551615 242982366105 0 4 0 16800975 18446604447891285056 0 0 -1 2 0 0 0
[pid=20498/tid=20506] ppid=20496 vsize=15711340 CPUtime=0 cores=0,2,4,6
/proc/20498/task/20506/stat : 20506 (java) S 20496 20498 20448 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 529671358 16088412160 51417 33554432000 1073741824 1073778376 140734995619312 18446744073709551615 242982366105 0 4 0 16800975 18446604447891285056 0 0 -1 4 0 0 0
[pid=20498/tid=20507] ppid=20496 vsize=15711340 CPUtime=0 cores=0,2,4,6
/proc/20498/task/20507/stat : 20507 (java) S 20496 20498 20448 0 -1 4202560 243 0 0 0 0 0 0 0 16 0 22 0 529671358 16088412160 51417 33554432000 1073741824 1073778376 140734995619312 18446744073709551615 242982366105 0 4 0 16800975 18446604447891285056 0 0 -1 2 0 0 0
[pid=20498/tid=20508] ppid=20496 vsize=15711340 CPUtime=0 cores=0,2,4,6
/proc/20498/task/20508/stat : 20508 (java) S 20496 20498 20448 0 -1 4202560 2053 0 0 0 0 0 0 0 16 0 22 0 529671358 16088412160 51417 33554432000 1073741824 1073778376 140734995619312 18446744073709551615 242982366105 0 4 0 16800975 18446604447891285056 0 0 -1 6 0 0 0
[pid=20498/tid=20514] ppid=20496 vsize=15711340 CPUtime=0 cores=0,2,4,6
/proc/20498/task/20514/stat : 20514 (java) S 20496 20498 20448 0 -1 4202560 72 0 0 0 0 0 0 0 15 0 22 0 529671359 16088412160 51417 33554432000 1073741824 1073778376 140734995619312 18446744073709551615 242982366720 0 0 0 16800975 18446604447891285056 0 0 -1 0 0 0 0
[pid=20498/tid=20515] ppid=20496 vsize=15711340 CPUtime=0 cores=0,2,4,6
/proc/20498/task/20515/stat : 20515 (java) S 20496 20498 20448 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 529671360 16088412160 51417 33554432000 1073741824 1073778376 140734995619312 18446744073709551615 242982366105 0 4 0 16800975 18446604447891285056 0 0 -1 0 0 0 0
[pid=20498/tid=20516] ppid=20496 vsize=15711340 CPUtime=0 cores=0,2,4,6
/proc/20498/task/20516/stat : 20516 (java) S 20496 20498 20448 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 22 0 529671360 16088412160 51417 33554432000 1073741824 1073778376 140734995619312 18446744073709551615 242982366105 0 4 0 16800975 18446604447891285056 0 0 -1 0 0 0 0
[pid=20498/tid=20517] ppid=20496 vsize=15711340 CPUtime=0 cores=0,2,4,6
/proc/20498/task/20517/stat : 20517 (java) S 20496 20498 20448 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529671362 16088412160 51417 33554432000 1073741824 1073778376 140734995619312 18446744073709551615 242982373809 0 4 0 16800975 18446604447891285056 0 0 -1 2 0 0 0
[pid=20498/tid=20518] ppid=20496 vsize=15711340 CPUtime=0.96 cores=0,2,4,6
/proc/20498/task/20518/stat : 20518 (java) S 20496 20498 20448 0 -1 4202560 7296 0 0 0 95 1 0 0 15 0 22 0 529671362 16088412160 51417 33554432000 1073741824 1073778376 140734995619312 18446744073709551615 242982366105 0 4 0 16800975 18446604447891285056 0 0 -1 4 0 0 0
[pid=20498/tid=20519] ppid=20496 vsize=15711340 CPUtime=1.05 cores=0,2,4,6
/proc/20498/task/20519/stat : 20519 (java) S 20496 20498 20448 0 -1 4202560 12158 0 0 0 103 2 0 0 15 0 22 0 529671362 16088412160 51417 33554432000 1073741824 1073778376 140734995619312 18446744073709551615 242982366105 0 4 0 16800975 18446604447891285056 0 0 -1 0 0 0 0
[pid=20498/tid=20520] ppid=20496 vsize=15711340 CPUtime=0 cores=0,2,4,6
/proc/20498/task/20520/stat : 20520 (java) S 20496 20498 20448 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529671362 16088412160 51417 33554432000 1073741824 1073778376 140734995619312 18446744073709551615 242982366105 0 4 0 16800975 18446604447891285056 0 0 -1 2 0 0 0
[pid=20498/tid=20521] ppid=20496 vsize=15711340 CPUtime=0 cores=0,2,4,6
/proc/20498/task/20521/stat : 20521 (java) S 20496 20498 20448 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 529671362 16088412160 51417 33554432000 1073741824 1073778376 140734995619312 18446744073709551615 242982366720 0 4 0 16800975 18446604447891285056 0 0 -1 6 0 0 0
[pid=20498/tid=20526] ppid=20496 vsize=15711340 CPUtime=0 cores=0,2,4,6
/proc/20498/task/20526/stat : 20526 (java) S 20496 20498 20448 0 -1 4202560 14 0 0 0 0 0 0 0 15 0 22 0 529671468 16088412160 51417 33554432000 1073741824 1073778376 140734995619312 18446744073709551615 242982366720 0 4 0 16800975 18446604447891285056 0 0 -1 6 0 0 0
[pid=20498/tid=20527] ppid=20496 vsize=15711340 CPUtime=0 cores=0,2,4,6
/proc/20498/task/20527/stat : 20527 (java) S 20496 20498 20448 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 22 0 529671468 16088412160 51417 33554432000 1073741824 1073778376 140734995619312 18446744073709551615 242982366720 0 4 0 16800975 18446604447891285056 0 0 -1 6 0 0 0
[pid=20498/tid=20528] ppid=20496 vsize=15711340 CPUtime=0 cores=0,2,4,6
/proc/20498/task/20528/stat : 20528 (java) S 20496 20498 20448 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 22 0 529671468 16088412160 51417 33554432000 1073741824 1073778376 140734995619312 18446744073709551615 242982366720 0 4 0 16800975 18446604447891285056 0 0 -1 6 0 0 0
[pid=20498/tid=20529] ppid=20496 vsize=15711340 CPUtime=0 cores=0,2,4,6
/proc/20498/task/20529/stat : 20529 (java) S 20496 20498 20448 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 22 0 529671468 16088412160 51417 33554432000 1073741824 1073778376 140734995619312 18446744073709551615 242982366720 0 4 0 16800975 18446604447891285056 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.13
Current children cumulated vsize (KiB) 15711340

[startup+6.30909 s]
/proc/loadavg: 7.05 7.83 7.93 3/218 20529
/proc/meminfo: memFree=30456436/32951132 swapFree=67111364/67111528
[pid=20498] ppid=20496 vsize=15704684 CPUtime=8.63 cores=0,2,4,6
/proc/20498/stat : 20498 (java) S 20496 20498 20448 0 -1 4202496 73051 0 1 0 850 13 0 0 21 0 22 0 529671357 16081596416 61330 33554432000 1073741824 1073778376 140734995619312 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/20498/statm: 3926171 61330 2278 9 0 3916890 0
[pid=20498/tid=20500] ppid=20496 vsize=15704684 CPUtime=6.25 cores=0,2,4,6
/proc/20498/task/20500/stat : 20500 (java) R 20496 20498 20448 0 -1 4202560 35649 0 1 0 620 5 0 0 25 0 22 0 529671358 16081596416 61330 33554432000 1073741824 1073778376 140734995619312 18446744073709551615 46912506425265 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=20498/tid=20501] ppid=20496 vsize=15704684 CPUtime=0.02 cores=0,2,4,6
/proc/20498/task/20501/stat : 20501 (java) S 20496 20498 20448 0 -1 4202560 2165 0 0 0 2 0 0 0 16 0 22 0 529671358 16081596416 61330 33554432000 1073741824 1073778376 140734995619312 18446744073709551615 242982366105 0 4 0 16800975 18446604447891285056 0 0 -1 6 0 0 0
[pid=20498/tid=20502] ppid=20496 vsize=15704684 CPUtime=0 cores=0,2,4,6
/proc/20498/task/20502/stat : 20502 (java) S 20496 20498 20448 0 -1 4202560 973 0 0 0 0 0 0 0 15 0 22 0 529671358 16081596416 61330 33554432000 1073741824 1073778376 140734995619312 18446744073709551615 242982366105 0 4 0 16800975 18446604447891285056 0 0 -1 4 0 0 0
[pid=20498/tid=20503] ppid=20496 vsize=15704684 CPUtime=0.01 cores=0,2,4,6
/proc/20498/task/20503/stat : 20503 (java) S 20496 20498 20448 0 -1 4202560 2600 0 0 0 1 0 0 0 16 0 22 0 529671358 16081596416 61330 33554432000 1073741824 1073778376 140734995619312 18446744073709551615 242982366105 0 4 0 16800975 18446604447891285056 0 0 -1 2 0 0 0
[pid=20498/tid=20504] ppid=20496 vsize=15704684 CPUtime=0.02 cores=0,2,4,6
/proc/20498/task/20504/stat : 20504 (java) S 20496 20498 20448 0 -1 4202560 4109 0 0 0 2 0 0 0 16 0 22 0 529671358 16081596416 61330 33554432000 1073741824 1073778376 140734995619312 18446744073709551615 242982366105 0 4 0 16800975 18446604447891285056 0 0 -1 0 0 0 0
[pid=20498/tid=20505] ppid=20496 vsize=15704684 CPUtime=0 cores=0,2,4,6
/proc/20498/task/20505/stat : 20505 (java) S 20496 20498 20448 0 -1 4202560 301 0 0 0 0 0 0 0 15 0 22 0 529671358 16081596416 61330 33554432000 1073741824 1073778376 140734995619312 18446744073709551615 242982366105 0 4 0 16800975 18446604447891285056 0 0 -1 2 0 0 0
[pid=20498/tid=20506] ppid=20496 vsize=15704684 CPUtime=0.02 cores=0,2,4,6
/proc/20498/task/20506/stat : 20506 (java) S 20496 20498 20448 0 -1 4202560 3478 0 0 0 2 0 0 0 16 0 22 0 529671358 16081596416 61330 33554432000 1073741824 1073778376 140734995619312 18446744073709551615 242982366105 0 4 0 16800975 18446604447891285056 0 0 -1 4 0 0 0
[pid=20498/tid=20507] ppid=20496 vsize=15704684 CPUtime=0 cores=0,2,4,6
/proc/20498/task/20507/stat : 20507 (java) S 20496 20498 20448 0 -1 4202560 244 0 0 0 0 0 0 0 15 0 22 0 529671358 16081596416 61330 33554432000 1073741824 1073778376 140734995619312 18446744073709551615 242982366105 0 4 0 16800975 18446604447891285056 0 0 -1 2 0 0 0
[pid=20498/tid=20508] ppid=20496 vsize=15704684 CPUtime=0.01 cores=0,2,4,6
/proc/20498/task/20508/stat : 20508 (java) S 20496 20498 20448 0 -1 4202560 2473 0 0 0 1 0 0 0 16 0 22 0 529671358 16081596416 61330 33554432000 1073741824 1073778376 140734995619312 18446744073709551615 242982366105 0 4 0 16800975 18446604447891285056 0 0 -1 6 0 0 0
[pid=20498/tid=20514] ppid=20496 vsize=15704684 CPUtime=0 cores=0,2,4,6
/proc/20498/task/20514/stat : 20514 (java) S 20496 20498 20448 0 -1 4202560 95 0 0 0 0 0 0 0 15 0 22 0 529671359 16081596416 61330 33554432000 1073741824 1073778376 140734995619312 18446744073709551615 242982366720 0 0 0 16800975 18446604447891285056 0 0 -1 0 0 0 0
[pid=20498/tid=20515] ppid=20496 vsize=15704684 CPUtime=0 cores=0,2,4,6
/proc/20498/task/20515/stat : 20515 (java) S 20496 20498 20448 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 529671360 16081596416 61330 33554432000 1073741824 1073778376 140734995619312 18446744073709551615 242982366105 0 4 0 16800975 18446604447891285056 0 0 -1 0 0 0 0
[pid=20498/tid=20516] ppid=20496 vsize=15704684 CPUtime=0 cores=0,2,4,6
/proc/20498/task/20516/stat : 20516 (java) S 20496 20498 20448 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 22 0 529671360 16081596416 61330 33554432000 1073741824 1073778376 140734995619312 18446744073709551615 242982366105 0 4 0 16800975 18446604447891285056 0 0 -1 0 0 0 0
[pid=20498/tid=20517] ppid=20496 vsize=15704684 CPUtime=0 cores=0,2,4,6
/proc/20498/task/20517/stat : 20517 (java) S 20496 20498 20448 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529671362 16081596416 61330 33554432000 1073741824 1073778376 140734995619312 18446744073709551615 242982373809 0 4 0 16800975 18446604447891285056 0 0 -1 2 0 0 0
[pid=20498/tid=20518] ppid=20496 vsize=15704684 CPUtime=1.07 cores=0,2,4,6
/proc/20498/task/20518/stat : 20518 (java) R 20496 20498 20448 0 -1 4202560 7367 0 0 0 105 2 0 0 15 0 22 0 529671362 16081596416 61330 33554432000 1073741824 1073778376 140734995619312 18446744073709551615 47912576680193 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=20498/tid=20519] ppid=20496 vsize=15704684 CPUtime=1.12 cores=0,2,4,6
/proc/20498/task/20519/stat : 20519 (java) S 20496 20498 20448 0 -1 4202560 12161 0 0 0 110 2 0 0 15 0 22 0 529671362 16081596416 61330 33554432000 1073741824 1073778376 140734995619312 18446744073709551615 242982366105 0 4 0 16800975 18446604447891285056 0 0 -1 0 0 0 0
[pid=20498/tid=20520] ppid=20496 vsize=15704684 CPUtime=0 cores=0,2,4,6
/proc/20498/task/20520/stat : 20520 (java) S 20496 20498 20448 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529671362 16081596416 61330 33554432000 1073741824 1073778376 140734995619312 18446744073709551615 242982366105 0 4 0 16800975 18446604447891285056 0 0 -1 2 0 0 0
[pid=20498/tid=20521] ppid=20496 vsize=15704684 CPUtime=0 cores=0,2,4,6
/proc/20498/task/20521/stat : 20521 (java) S 20496 20498 20448 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 529671362 16081596416 61330 33554432000 1073741824 1073778376 140734995619312 18446744073709551615 242982366720 0 4 0 16800975 18446604447891285056 0 0 -1 0 0 0 0
[pid=20498/tid=20526] ppid=20496 vsize=15704684 CPUtime=0 cores=0,2,4,6
/proc/20498/task/20526/stat : 20526 (java) S 20496 20498 20448 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 22 0 529671468 16081596416 61330 33554432000 1073741824 1073778376 140734995619312 18446744073709551615 242982366720 0 4 0 16800975 18446604447891285056 0 0 -1 0 0 0 0

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

/proc/20498/task/20503/stat : 20503 (java) S 20496 20498 20448 0 -1 4202560 151685 0 0 0 404 26 0 0 16 0 22 0 529671358 16081596416 1814029 33554432000 1073741824 1073778376 140734995619312 18446744073709551615 242982366105 0 4 0 16800975 18446604447891285056 0 0 -1 4 0 0 0
[pid=20498/tid=20504] ppid=20496 vsize=15704684 CPUtime=4.98 cores=0,2,4,6
/proc/20498/task/20504/stat : 20504 (java) S 20496 20498 20448 0 -1 4202560 158458 0 0 0 470 28 0 0 16 0 22 0 529671358 16081596416 1814029 33554432000 1073741824 1073778376 140734995619312 18446744073709551615 242982366105 0 4 0 16800975 18446604447891285056 0 0 -1 6 0 0 0
[pid=20498/tid=20505] ppid=20496 vsize=15704684 CPUtime=4.69 cores=0,2,4,6
/proc/20498/task/20505/stat : 20505 (java) S 20496 20498 20448 0 -1 4202560 217050 0 0 0 430 39 0 0 15 0 22 0 529671358 16081596416 1814029 33554432000 1073741824 1073778376 140734995619312 18446744073709551615 242982366105 0 4 0 16800975 18446604447891285056 0 0 -1 0 0 0 0
[pid=20498/tid=20506] ppid=20496 vsize=15704684 CPUtime=4.3 cores=0,2,4,6
/proc/20498/task/20506/stat : 20506 (java) S 20496 20498 20448 0 -1 4202560 214396 0 0 0 395 35 0 0 15 0 22 0 529671358 16081596416 1814029 33554432000 1073741824 1073778376 140734995619312 18446744073709551615 242982366105 0 4 0 16800975 18446604447891285056 0 0 -1 0 0 0 0
[pid=20498/tid=20507] ppid=20496 vsize=15704684 CPUtime=4.79 cores=0,2,4,6
/proc/20498/task/20507/stat : 20507 (java) S 20496 20498 20448 0 -1 4202560 240721 0 0 0 439 40 0 0 16 0 22 0 529671358 16081596416 1814029 33554432000 1073741824 1073778376 140734995619312 18446744073709551615 242982366105 0 4 0 16800975 18446604447891285056 0 0 -1 0 0 0 0
[pid=20498/tid=20508] ppid=20496 vsize=15704684 CPUtime=3.63 cores=0,2,4,6
/proc/20498/task/20508/stat : 20508 (java) S 20496 20498 20448 0 -1 4202560 148578 0 0 0 338 25 0 0 15 0 22 0 529671358 16081596416 1814029 33554432000 1073741824 1073778376 140734995619312 18446744073709551615 242982366105 0 4 0 16800975 18446604447891285056 0 0 -1 0 0 0 0
[pid=20498/tid=20514] ppid=20496 vsize=15704684 CPUtime=1.86 cores=0,2,4,6
/proc/20498/task/20514/stat : 20514 (java) S 20496 20498 20448 0 -1 4202560 29148 0 0 0 181 5 0 0 15 0 22 0 529671359 16081596416 1814029 33554432000 1073741824 1073778376 140734995619312 18446744073709551615 242982366720 0 0 0 16800975 18446604447891285056 0 0 -1 0 0 0 0
[pid=20498/tid=20515] ppid=20496 vsize=15704684 CPUtime=0 cores=0,2,4,6
/proc/20498/task/20515/stat : 20515 (java) S 20496 20498 20448 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 529671360 16081596416 1814029 33554432000 1073741824 1073778376 140734995619312 18446744073709551615 242982366105 0 4 0 16800975 18446604447891285056 0 0 -1 0 0 0 0
[pid=20498/tid=20516] ppid=20496 vsize=15704684 CPUtime=0 cores=0,2,4,6
/proc/20498/task/20516/stat : 20516 (java) S 20496 20498 20448 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 22 0 529671360 16081596416 1814029 33554432000 1073741824 1073778376 140734995619312 18446744073709551615 242982366105 0 4 0 16800975 18446604447891285056 0 0 -1 0 0 0 0
[pid=20498/tid=20517] ppid=20496 vsize=15704684 CPUtime=0 cores=0,2,4,6
/proc/20498/task/20517/stat : 20517 (java) S 20496 20498 20448 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529671362 16081596416 1814029 33554432000 1073741824 1073778376 140734995619312 18446744073709551615 242982373809 0 4 0 16800975 18446604447891285056 0 0 -1 2 0 0 0
[pid=20498/tid=20518] ppid=20496 vsize=15704684 CPUtime=2 cores=0,2,4,6
/proc/20498/task/20518/stat : 20518 (java) S 20496 20498 20448 0 -1 4202560 9684 0 0 0 195 5 0 0 16 0 22 0 529671362 16081596416 1814029 33554432000 1073741824 1073778376 140734995619312 18446744073709551615 242982366105 0 4 0 16800975 18446604447891285056 0 0 -1 4 0 0 0
[pid=20498/tid=20519] ppid=20496 vsize=15704684 CPUtime=1.87 cores=0,2,4,6
/proc/20498/task/20519/stat : 20519 (java) S 20496 20498 20448 0 -1 4202560 12222 0 0 0 185 2 0 0 15 0 22 0 529671362 16081596416 1814029 33554432000 1073741824 1073778376 140734995619312 18446744073709551615 242982366105 0 4 0 16800975 18446604447891285056 0 0 -1 0 0 0 0
[pid=20498/tid=20520] ppid=20496 vsize=15704684 CPUtime=0 cores=0,2,4,6
/proc/20498/task/20520/stat : 20520 (java) S 20496 20498 20448 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529671362 16081596416 1814029 33554432000 1073741824 1073778376 140734995619312 18446744073709551615 242982366105 0 4 0 16800975 18446604447891285056 0 0 -1 2 0 0 0
[pid=20498/tid=20521] ppid=20496 vsize=15704684 CPUtime=0.02 cores=0,2,4,6
/proc/20498/task/20521/stat : 20521 (java) S 20496 20498 20448 0 -1 4202560 65 0 0 0 0 2 0 0 15 0 22 0 529671362 16081596416 1814029 33554432000 1073741824 1073778376 140734995619312 18446744073709551615 242982366720 0 4 0 16800975 18446604447891285056 0 0 -1 4 0 0 0
[pid=20498/tid=20526] ppid=20496 vsize=15704684 CPUtime=1095.89 cores=0,2,4,6
/proc/20498/task/20526/stat : 20526 (java) R 20496 20498 20448 0 -1 4202560 74755 0 0 0 109577 12 0 0 25 0 22 0 529671468 16081596416 1814029 33554432000 1073741824 1073778376 140734995619312 18446744073709551615 46912506374400 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=20498/tid=20527] ppid=20496 vsize=15704684 CPUtime=1100.4 cores=0,2,4,6
/proc/20498/task/20527/stat : 20527 (java) R 20496 20498 20448 0 -1 4202560 55672 0 0 0 110024 16 0 0 25 0 22 0 529671468 16081596416 1814029 33554432000 1073741824 1073778376 140734995619312 18446744073709551615 46912506329447 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=20498/tid=20528] ppid=20496 vsize=15704684 CPUtime=1091.65 cores=0,2,4,6
/proc/20498/task/20528/stat : 20528 (java) R 20496 20498 20448 0 -1 4202560 56644 0 0 0 109121 44 0 0 25 0 22 0 529671468 16081596416 1814029 33554432000 1073741824 1073778376 140734995619312 18446744073709551615 46912506329447 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=20498/tid=20529] ppid=20496 vsize=15704684 CPUtime=1093.38 cores=0,2,4,6
/proc/20498/task/20529/stat : 20529 (java) R 20496 20498 20448 0 -1 4202560 40235 0 0 0 109324 14 0 0 25 0 22 0 529671468 16081596416 1814029 33554432000 1073741824 1073778376 140734995619312 18446744073709551615 46912506329652 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4429.64
Current children cumulated vsize (KiB) 15704684

[startup+1182.3 s]
/proc/loadavg: 8.03 8.08 8.01 9/218 20561
/proc/meminfo: memFree=16675928/32951132 swapFree=67111364/67111528
[pid=20498] ppid=20496 vsize=15704684 CPUtime=4669.26 cores=0,2,4,6
/proc/20498/stat : 20498 (java) S 20496 20498 20448 0 -1 4202496 1847648 0 1 0 466551 375 0 0 21 0 22 0 529671357 16081596416 1814030 33554432000 1073741824 1073778376 140734995619312 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/20498/statm: 3926171 1814030 2296 9 0 3916890 0
[pid=20498/tid=20500] ppid=20496 vsize=15704684 CPUtime=6.89 cores=0,2,4,6
/proc/20498/task/20500/stat : 20500 (java) S 20496 20498 20448 0 -1 4202560 35688 0 1 0 684 5 0 0 25 0 22 0 529671358 16081596416 1814030 33554432000 1073741824 1073778376 140734995619312 18446744073709551615 242982366105 0 4 0 16800975 18446604447891285056 0 0 -1 2 0 0 0
[pid=20498/tid=20501] ppid=20496 vsize=15704684 CPUtime=4.99 cores=0,2,4,6
/proc/20498/task/20501/stat : 20501 (java) S 20496 20498 20448 0 -1 4202560 226568 0 0 0 463 36 0 0 16 0 22 0 529671358 16081596416 1814030 33554432000 1073741824 1073778376 140734995619312 18446744073709551615 242982366105 0 4 0 16800975 18446604447891285056 0 0 -1 2 0 0 0
[pid=20498/tid=20502] ppid=20496 vsize=15704684 CPUtime=4.06 cores=0,2,4,6
/proc/20498/task/20502/stat : 20502 (java) S 20496 20498 20448 0 -1 4202560 174680 0 0 0 376 30 0 0 16 0 22 0 529671358 16081596416 1814030 33554432000 1073741824 1073778376 140734995619312 18446744073709551615 242982366105 0 4 0 16800975 18446604447891285056 0 0 -1 4 0 0 0
[pid=20498/tid=20503] ppid=20496 vsize=15704684 CPUtime=4.51 cores=0,2,4,6
/proc/20498/task/20503/stat : 20503 (java) S 20496 20498 20448 0 -1 4202560 151685 0 0 0 425 26 0 0 15 0 22 0 529671358 16081596416 1814030 33554432000 1073741824 1073778376 140734995619312 18446744073709551615 242982366105 0 4 0 16800975 18446604447891285056 0 0 -1 4 0 0 0
[pid=20498/tid=20504] ppid=20496 vsize=15704684 CPUtime=5.09 cores=0,2,4,6
/proc/20498/task/20504/stat : 20504 (java) S 20496 20498 20448 0 -1 4202560 158458 0 0 0 481 28 0 0 16 0 22 0 529671358 16081596416 1814030 33554432000 1073741824 1073778376 140734995619312 18446744073709551615 242982366105 0 4 0 16800975 18446604447891285056 0 0 -1 2 0 0 0
[pid=20498/tid=20505] ppid=20496 vsize=15704684 CPUtime=4.96 cores=0,2,4,6
/proc/20498/task/20505/stat : 20505 (java) S 20496 20498 20448 0 -1 4202560 217050 0 0 0 457 39 0 0 16 0 22 0 529671358 16081596416 1814030 33554432000 1073741824 1073778376 140734995619312 18446744073709551615 242982366105 0 4 0 16800975 18446604447891285056 0 0 -1 6 0 0 0
[pid=20498/tid=20506] ppid=20496 vsize=15704684 CPUtime=4.46 cores=0,2,4,6
/proc/20498/task/20506/stat : 20506 (java) S 20496 20498 20448 0 -1 4202560 214396 0 0 0 411 35 0 0 16 0 22 0 529671358 16081596416 1814030 33554432000 1073741824 1073778376 140734995619312 18446744073709551615 242982366105 0 4 0 16800975 18446604447891285056 0 0 -1 0 0 0 0
[pid=20498/tid=20507] ppid=20496 vsize=15704684 CPUtime=4.95 cores=0,2,4,6
/proc/20498/task/20507/stat : 20507 (java) S 20496 20498 20448 0 -1 4202560 240721 0 0 0 455 40 0 0 15 0 22 0 529671358 16081596416 1814030 33554432000 1073741824 1073778376 140734995619312 18446744073709551615 242982366105 0 4 0 16800975 18446604447891285056 0 0 -1 6 0 0 0
[pid=20498/tid=20508] ppid=20496 vsize=15704684 CPUtime=3.77 cores=0,2,4,6
/proc/20498/task/20508/stat : 20508 (java) S 20496 20498 20448 0 -1 4202560 148578 0 0 0 352 25 0 0 15 0 22 0 529671358 16081596416 1814030 33554432000 1073741824 1073778376 140734995619312 18446744073709551615 242982366105 0 4 0 16800975 18446604447891285056 0 0 -1 2 0 0 0
[pid=20498/tid=20514] ppid=20496 vsize=15704684 CPUtime=1.86 cores=0,2,4,6
/proc/20498/task/20514/stat : 20514 (java) S 20496 20498 20448 0 -1 4202560 29150 0 0 0 181 5 0 0 15 0 22 0 529671359 16081596416 1814030 33554432000 1073741824 1073778376 140734995619312 18446744073709551615 242982366720 0 0 0 16800975 18446604447891285056 0 0 -1 0 0 0 0
[pid=20498/tid=20515] ppid=20496 vsize=15704684 CPUtime=0 cores=0,2,4,6
/proc/20498/task/20515/stat : 20515 (java) S 20496 20498 20448 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 529671360 16081596416 1814030 33554432000 1073741824 1073778376 140734995619312 18446744073709551615 242982366105 0 4 0 16800975 18446604447891285056 0 0 -1 0 0 0 0
[pid=20498/tid=20516] ppid=20496 vsize=15704684 CPUtime=0 cores=0,2,4,6
/proc/20498/task/20516/stat : 20516 (java) S 20496 20498 20448 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 22 0 529671360 16081596416 1814030 33554432000 1073741824 1073778376 140734995619312 18446744073709551615 242982366105 0 4 0 16800975 18446604447891285056 0 0 -1 0 0 0 0
[pid=20498/tid=20517] ppid=20496 vsize=15704684 CPUtime=0 cores=0,2,4,6
/proc/20498/task/20517/stat : 20517 (java) S 20496 20498 20448 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529671362 16081596416 1814030 33554432000 1073741824 1073778376 140734995619312 18446744073709551615 242982373809 0 4 0 16800975 18446604447891285056 0 0 -1 2 0 0 0
[pid=20498/tid=20518] ppid=20496 vsize=15704684 CPUtime=2 cores=0,2,4,6
/proc/20498/task/20518/stat : 20518 (java) S 20496 20498 20448 0 -1 4202560 9684 0 0 0 195 5 0 0 16 0 22 0 529671362 16081596416 1814030 33554432000 1073741824 1073778376 140734995619312 18446744073709551615 242982366105 0 4 0 16800975 18446604447891285056 0 0 -1 4 0 0 0
[pid=20498/tid=20519] ppid=20496 vsize=15704684 CPUtime=1.88 cores=0,2,4,6
/proc/20498/task/20519/stat : 20519 (java) S 20496 20498 20448 0 -1 4202560 12223 0 0 0 186 2 0 0 15 0 22 0 529671362 16081596416 1814030 33554432000 1073741824 1073778376 140734995619312 18446744073709551615 242982366105 0 4 0 16800975 18446604447891285056 0 0 -1 0 0 0 0
[pid=20498/tid=20520] ppid=20496 vsize=15704684 CPUtime=0 cores=0,2,4,6
/proc/20498/task/20520/stat : 20520 (java) S 20496 20498 20448 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529671362 16081596416 1814030 33554432000 1073741824 1073778376 140734995619312 18446744073709551615 242982366105 0 4 0 16800975 18446604447891285056 0 0 -1 2 0 0 0
[pid=20498/tid=20521] ppid=20496 vsize=15704684 CPUtime=0.02 cores=0,2,4,6
/proc/20498/task/20521/stat : 20521 (java) S 20496 20498 20448 0 -1 4202560 67 0 0 0 0 2 0 0 15 0 22 0 529671362 16081596416 1814030 33554432000 1073741824 1073778376 140734995619312 18446744073709551615 242982366720 0 4 0 16800975 18446604447891285056 0 0 -1 4 0 0 0
[pid=20498/tid=20526] ppid=20496 vsize=15704684 CPUtime=1155.56 cores=0,2,4,6
/proc/20498/task/20526/stat : 20526 (java) R 20496 20498 20448 0 -1 4202560 74758 0 0 0 115544 12 0 0 25 0 22 0 529671468 16081596416 1814030 33554432000 1073741824 1073778376 140734995619312 18446744073709551615 46912506763897 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=20498/tid=20527] ppid=20496 vsize=15704684 CPUtime=1160.07 cores=0,2,4,6
/proc/20498/task/20527/stat : 20527 (java) R 20496 20498 20448 0 -1 4202560 55672 0 0 0 115991 16 0 0 25 0 22 0 529671468 16081596416 1814030 33554432000 1073741824 1073778376 140734995619312 18446744073709551615 46912506329459 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=20498/tid=20528] ppid=20496 vsize=15704684 CPUtime=1151.32 cores=0,2,4,6
/proc/20498/task/20528/stat : 20528 (java) R 20496 20498 20448 0 -1 4202560 56646 0 0 0 115088 44 0 0 25 0 22 0 529671468 16081596416 1814030 33554432000 1073741824 1073778376 140734995619312 18446744073709551615 46912506547614 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=20498/tid=20529] ppid=20496 vsize=15704684 CPUtime=1152.73 cores=0,2,4,6
/proc/20498/task/20529/stat : 20529 (java) R 20496 20498 20448 0 -1 4202560 40237 0 0 0 115255 18 0 0 25 0 22 0 529671468 16081596416 1814030 33554432000 1073741824 1073778376 140734995619312 18446744073709551615 46912506057354 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4669.26
Current children cumulated vsize (KiB) 15704684



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1215.1 s]
/proc/loadavg: 8.10 8.08 8.02 5/195 20565
/proc/meminfo: memFree=23609684/32951132 swapFree=67111364/67111528
[pid=20498] ppid=20496 vsize=15704684 CPUtime=4800.27 cores=0,2,4,6
/proc/20498/stat : 20498 (java) S 20496 20498 20448 0 -1 4202496 1860427 0 1 0 479648 379 0 0 21 0 22 0 529671357 16081596416 1823759 33554432000 1073741824 1073778376 140734995619312 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/20498/statm: 3926171 1823759 2296 9 0 3916890 0
[pid=20498/tid=20500] ppid=20496 vsize=15704684 CPUtime=6.89 cores=0,2,4,6
/proc/20498/task/20500/stat : 20500 (java) S 20496 20498 20448 0 -1 4202560 35688 0 1 0 684 5 0 0 25 0 22 0 529671358 16081596416 1823759 33554432000 1073741824 1073778376 140734995619312 18446744073709551615 242982366105 0 4 0 16800975 18446604447891285056 0 0 -1 2 0 0 0
[pid=20498/tid=20501] ppid=20496 vsize=15704684 CPUtime=5.05 cores=0,2,4,6
/proc/20498/task/20501/stat : 20501 (java) S 20496 20498 20448 0 -1 4202560 226568 0 0 0 469 36 0 0 15 0 22 0 529671358 16081596416 1823759 33554432000 1073741824 1073778376 140734995619312 18446744073709551615 242982366105 0 4 0 16800975 18446604447891285056 0 0 -1 6 0 0 0
[pid=20498/tid=20502] ppid=20496 vsize=15704684 CPUtime=4.16 cores=0,2,4,6
/proc/20498/task/20502/stat : 20502 (java) S 20496 20498 20448 0 -1 4202560 177512 0 0 0 386 30 0 0 16 0 22 0 529671358 16081596416 1823759 33554432000 1073741824 1073778376 140734995619312 18446744073709551615 242982366105 0 4 0 16800975 18446604447891285056 0 0 -1 4 0 0 0
[pid=20498/tid=20503] ppid=20496 vsize=15704684 CPUtime=4.65 cores=0,2,4,6
/proc/20498/task/20503/stat : 20503 (java) S 20496 20498 20448 0 -1 4202560 154822 0 0 0 438 27 0 0 15 0 22 0 529671358 16081596416 1823759 33554432000 1073741824 1073778376 140734995619312 18446744073709551615 242982366105 0 4 0 16800975 18446604447891285056 0 0 -1 4 0 0 0
[pid=20498/tid=20504] ppid=20496 vsize=15704684 CPUtime=5.25 cores=0,2,4,6
/proc/20498/task/20504/stat : 20504 (java) S 20496 20498 20448 0 -1 4202560 158460 0 0 0 497 28 0 0 16 0 22 0 529671358 16081596416 1823759 33554432000 1073741824 1073778376 140734995619312 18446744073709551615 242982366105 0 4 0 16800975 18446604447891285056 0 0 -1 0 0 0 0
[pid=20498/tid=20505] ppid=20496 vsize=15704684 CPUtime=5.01 cores=0,2,4,6
/proc/20498/task/20505/stat : 20505 (java) S 20496 20498 20448 0 -1 4202560 221039 0 0 0 461 40 0 0 16 0 22 0 529671358 16081596416 1823759 33554432000 1073741824 1073778376 140734995619312 18446744073709551615 242982366105 0 4 0 16800975 18446604447891285056 0 0 -1 6 0 0 0
[pid=20498/tid=20506] ppid=20496 vsize=15704684 CPUtime=4.51 cores=0,2,4,6
/proc/20498/task/20506/stat : 20506 (java) S 20496 20498 20448 0 -1 4202560 214397 0 0 0 416 35 0 0 15 0 22 0 529671358 16081596416 1823759 33554432000 1073741824 1073778376 140734995619312 18446744073709551615 242982366105 0 4 0 16800975 18446604447891285056 0 0 -1 0 0 0 0
[pid=20498/tid=20507] ppid=20496 vsize=15704684 CPUtime=5.1 cores=0,2,4,6
/proc/20498/task/20507/stat : 20507 (java) S 20496 20498 20448 0 -1 4202560 242017 0 0 0 470 40 0 0 15 0 22 0 529671358 16081596416 1823759 33554432000 1073741824 1073778376 140734995619312 18446744073709551615 242982366105 0 4 0 16800975 18446604447891285056 0 0 -1 0 0 0 0
[pid=20498/tid=20508] ppid=20496 vsize=15704684 CPUtime=3.87 cores=0,2,4,6
/proc/20498/task/20508/stat : 20508 (java) S 20496 20498 20448 0 -1 4202560 150087 0 0 0 362 25 0 0 16 0 22 0 529671358 16081596416 1823759 33554432000 1073741824 1073778376 140734995619312 18446744073709551615 242982366105 0 4 0 16800975 18446604447891285056 0 0 -1 2 0 0 0
[pid=20498/tid=20514] ppid=20496 vsize=15704684 CPUtime=1.86 cores=0,2,4,6
/proc/20498/task/20514/stat : 20514 (java) S 20496 20498 20448 0 -1 4202560 29157 0 0 0 181 5 0 0 15 0 22 0 529671359 16081596416 1823759 33554432000 1073741824 1073778376 140734995619312 18446744073709551615 242982366720 0 0 0 16800975 18446604447891285056 0 0 -1 2 0 0 0
[pid=20498/tid=20515] ppid=20496 vsize=15704684 CPUtime=0 cores=0,2,4,6
/proc/20498/task/20515/stat : 20515 (java) S 20496 20498 20448 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 529671360 16081596416 1823759 33554432000 1073741824 1073778376 140734995619312 18446744073709551615 242982366105 0 4 0 16800975 18446604447891285056 0 0 -1 0 0 0 0
[pid=20498/tid=20516] ppid=20496 vsize=15704684 CPUtime=0 cores=0,2,4,6
/proc/20498/task/20516/stat : 20516 (java) S 20496 20498 20448 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 22 0 529671360 16081596416 1823759 33554432000 1073741824 1073778376 140734995619312 18446744073709551615 242982366105 0 4 0 16800975 18446604447891285056 0 0 -1 0 0 0 0
[pid=20498/tid=20517] ppid=20496 vsize=15704684 CPUtime=0 cores=0,2,4,6
/proc/20498/task/20517/stat : 20517 (java) S 20496 20498 20448 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529671362 16081596416 1823759 33554432000 1073741824 1073778376 140734995619312 18446744073709551615 242982373809 0 4 0 16800975 18446604447891285056 0 0 -1 2 0 0 0
[pid=20498/tid=20518] ppid=20496 vsize=15704684 CPUtime=2 cores=0,2,4,6
/proc/20498/task/20518/stat : 20518 (java) S 20496 20498 20448 0 -1 4202560 9684 0 0 0 195 5 0 0 16 0 22 0 529671362 16081596416 1823759 33554432000 1073741824 1073778376 140734995619312 18446744073709551615 242982366105 0 4 0 16800975 18446604447891285056 0 0 -1 4 0 0 0
[pid=20498/tid=20519] ppid=20496 vsize=15704684 CPUtime=1.88 cores=0,2,4,6
/proc/20498/task/20519/stat : 20519 (java) S 20496 20498 20448 0 -1 4202560 12223 0 0 0 186 2 0 0 15 0 22 0 529671362 16081596416 1823759 33554432000 1073741824 1073778376 140734995619312 18446744073709551615 242982366105 0 4 0 16800975 18446604447891285056 0 0 -1 0 0 0 0
[pid=20498/tid=20520] ppid=20496 vsize=15704684 CPUtime=0 cores=0,2,4,6
/proc/20498/task/20520/stat : 20520 (java) S 20496 20498 20448 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529671362 16081596416 1823759 33554432000 1073741824 1073778376 140734995619312 18446744073709551615 242982366105 0 4 0 16800975 18446604447891285056 0 0 -1 2 0 0 0
[pid=20498/tid=20521] ppid=20496 vsize=15704684 CPUtime=0.02 cores=0,2,4,6
/proc/20498/task/20521/stat : 20521 (java) S 20496 20498 20448 0 -1 4202560 69 0 0 0 0 2 0 0 15 0 22 0 529671362 16081596416 1823759 33554432000 1073741824 1073778376 140734995619312 18446744073709551615 242982366720 0 4 0 16800975 18446604447891285056 0 0 -1 4 0 0 0
[pid=20498/tid=20526] ppid=20496 vsize=15704684 CPUtime=1188.15 cores=0,2,4,6
/proc/20498/task/20526/stat : 20526 (java) R 20496 20498 20448 0 -1 4202560 74759 0 0 0 118803 12 0 0 25 0 22 0 529671468 16081596416 1823759 33554432000 1073741824 1073778376 140734995619312 18446744073709551615 46912506179951 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=20498/tid=20527] ppid=20496 vsize=15704684 CPUtime=1192.66 cores=0,2,4,6
/proc/20498/task/20527/stat : 20527 (java) R 20496 20498 20448 0 -1 4202560 55673 0 0 0 119250 16 0 0 25 0 22 0 529671468 16081596416 1823759 33554432000 1073741824 1073778376 140734995619312 18446744073709551615 46912506143858 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=20498/tid=20528] ppid=20496 vsize=15704684 CPUtime=1183.92 cores=0,2,4,6
/proc/20498/task/20528/stat : 20528 (java) R 20496 20498 20448 0 -1 4202560 56646 0 0 0 118348 44 0 0 25 0 22 0 529671468 16081596416 1823759 33554432000 1073741824 1073778376 140734995619312 18446744073709551615 46912506329652 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=20498/tid=20529] ppid=20496 vsize=15704684 CPUtime=1185.13 cores=0,2,4,6
/proc/20498/task/20529/stat : 20529 (java) R 20496 20498 20448 0 -1 4202560 40239 0 0 0 118494 19 0 0 25 0 22 0 529671468 16081596416 1823759 33554432000 1073741824 1073778376 140734995619312 18446744073709551615 46912505610355 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.27
Current children cumulated vsize (KiB) 15704684

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

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

[startup+1215.3 s]
/proc/loadavg: 8.10 8.08 8.02 5/195 20565
/proc/meminfo: memFree=23609684/32951132 swapFree=67111364/67111528
[pid=20498] ppid=20496 vsize=0 CPUtime=4800.48 cores=0,2,4,6
/proc/20498/stat : 20498 (java) Z 20496 20498 20448 0 -1 4203548 1860454 0 1 0 479650 398 0 0 17 0 2 0 529671357 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/20498/statm: 0 0 0 0 0 0 0
[pid=20498/tid=20527] ppid=20496 vsize=0 CPUtime=1192.86 cores=0,2,4,6
/proc/20498/task/20527/stat : 20527 (java) R 20496 20498 20448 0 -1 4203588 55673 0 0 0 119251 35 0 0 25 0 2 0 529671468 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) 4800.48
Current children cumulated vsize (KiB) 0

[startup+1215.4 s]
/proc/loadavg: 8.10 8.08 8.02 5/195 20565
/proc/meminfo: memFree=23609684/32951132 swapFree=67111364/67111528
[pid=20498] ppid=20496 vsize=0 CPUtime=4800.58 cores=0,2,4,6
/proc/20498/stat : 20498 (java) Z 20496 20498 20448 0 -1 4203548 1860454 0 1 0 479650 408 0 0 17 0 2 0 529671357 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/20498/statm: 0 0 0 0 0 0 0
[pid=20498/tid=20527] ppid=20496 vsize=0 CPUtime=1192.96 cores=0,2,4,6
/proc/20498/task/20527/stat : 20527 (java) R 20496 20498 20448 0 -1 4203588 55673 0 0 0 119251 45 0 0 25 0 2 0 529671468 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) 4800.58
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1215.43
CPU time (s): 4800.61
CPU user time (s): 4796.51
CPU system time (s): 4.10837
CPU usage (%): 394.973
Max. virtual memory (cumulated for all children) (KiB): 15711340

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4796.51
system time used= 4.10837
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1860454
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= 31153
involuntary context switches= 54179

runsolver used 1.9757 second user time and 4.76727 second system time

The end

Launcher Data 

Begin job on node128 at 2011-04-30 18:25:27
IDJOB=3312292
IDBENCH=83107
IDSOLVER=1698
FILE ID=node128/3312292-1304180727
RUNJOBID= node128-1304180727-20466
PBS_JOBID= 13172455
Free space on /tmp= 67520 MiB

SOLVER NAME= STRUCTure 0.1 (hbr=2)
BENCH NAME= SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom26.cnf
COMMAND LINE= run 15000 NBCORE TMPDIR DIR BENCHNAME -hbr 2
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3312292-1304180727/watcher-3312292-1304180727 -o /tmp/evaluation-result-3312292-1304180727/solver-3312292-1304180727 -C 4800 -W 1300 -M 15500  run 15000 4 HOME HOME HOME/instance-3312292-1304180727.cnf -hbr 2

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

MD5SUM BENCH= 98fee1752ddf8cd7cd77925ecf4bfe6e
RANDOM SEED=532238687

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      30906588 kB
Buffers:        466116 kB
Cached:        1090856 kB
SwapCached:          0 kB
Active:         192848 kB
Inactive:      1434728 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      30906588 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:           11372 kB
Writeback:           4 kB
AnonPages:       70376 kB
Mapped:          21048 kB
Slab:           352560 kB
PageTables:       5300 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS:   774788 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 67520 MiB
End job on node128 at 2011-04-30 18:45:44