Trace number 3312390

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
STRUCTure 0.1? (TO) 4800.56 1203.61

General information on the benchmark

Namerandom/large/
unif-k5-r20-v2000-c40000-S394483079-002-UNKNOWN.cnf
MD5SUM40e955d306a70bd3dffa8283c1221639
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables2000
Number of clauses40000
Sum of the clauses size200000
Maximum clause length5
Minimum clause length5
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 540000
Number of clauses of size over 50

Solver Data 

0.10/0.12	35:45 INFO : Reading from input HOME/instance-3312390-1304112945.cnf
0.71/0.54	Executor set job limit to 1000000
0.71/0.54	Executor set job limit to 1000000
0.71/0.54	Executor set job limit to 1000000
0.71/0.54	Executor set job limit to 1000000
0.71/0.54	Starting Executor!
0.71/0.54	Starting Executor!
0.71/0.54	Starting Executor!
0.71/0.54	Starting Executor!
2.02/1.16	35:46 INFO : 2000 variables remaining out of 2000
2.02/1.16	35:46 INFO : 240000 literals remaining out of 240000

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

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

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


[startup+0 s]
/proc/loadavg: 4.66 5.02 6.00 3/198 27092
/proc/meminfo: memFree=18349072/32951124 swapFree=67111524/67111528
[pid=27092] ppid=27090 vsize=23028 CPUtime=0 cores=0,2,4,6
/proc/27092/stat : 27092 (java) R 27090 27092 26898 0 -1 4202496 785 0 0 0 0 0 0 0 25 0 1 0 522892500 23580672 272 33554432000 1073741824 1073778376 140736774767456 18446744073709551615 228117751552 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/27092/statm: 5757 285 225 9 0 124 0

[startup+0.0997121 s]
/proc/loadavg: 4.66 5.02 6.00 3/198 27092
/proc/meminfo: memFree=18349072/32951124 swapFree=67111524/67111528
[pid=27092] ppid=27090 vsize=15676752 CPUtime=0.1 cores=0,2,4,6
/proc/27092/stat : 27092 (java) S 27090 27092 26898 0 -1 4202496 5477 0 1 0 9 1 0 0 25 0 18 0 522892500 16052994048 4916 33554432000 1073741824 1073778376 140736774767456 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/27092/statm: 3919188 4918 2115 9 0 3909907 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15676752

[startup+0.10071 s]
/proc/loadavg: 4.66 5.02 6.00 3/198 27092
/proc/meminfo: memFree=18349072/32951124 swapFree=67111524/67111528
[pid=27092] ppid=27090 vsize=15676752 CPUtime=0.1 cores=0,2,4,6
/proc/27092/stat : 27092 (java) S 27090 27092 26898 0 -1 4202496 5490 0 1 0 9 1 0 0 25 0 18 0 522892500 16052994048 4929 33554432000 1073741824 1073778376 140736774767456 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/27092/statm: 3919188 4930 2115 9 0 3909907 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15676752

[startup+0.300622 s]
/proc/loadavg: 4.66 5.02 6.00 3/198 27092
/proc/meminfo: memFree=18349072/32951124 swapFree=67111524/67111528
[pid=27092] ppid=27090 vsize=15679880 CPUtime=0.5 cores=0,2,4,6
/proc/27092/stat : 27092 (java) S 27090 27092 26898 0 -1 4202496 13926 0 1 0 48 2 0 0 25 0 18 0 522892500 16056197120 12499 33554432000 1073741824 1073778376 140736774767456 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/27092/statm: 3919970 12503 2205 9 0 3910689 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 15679880

[startup+0.700552 s]
/proc/loadavg: 4.66 5.02 6.00 3/198 27092
/proc/meminfo: memFree=18349072/32951124 swapFree=67111524/67111528
[pid=27092] ppid=27090 vsize=15693896 CPUtime=1.04 cores=0,2,4,6
/proc/27092/stat : 27092 (java) S 27090 27092 26898 0 -1 4202496 45007 0 1 0 99 5 0 0 25 0 22 0 522892500 16070549504 41914 33554432000 1073741824 1073778376 140736774767456 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/27092/statm: 3923474 41914 2251 9 0 3914193 0
Current children cumulated CPU time (s) 1.04
Current children cumulated vsize (KiB) 15693896

[startup+1.50142 s]
/proc/loadavg: 4.66 5.02 6.00 8/220 27114
/proc/meminfo: memFree=18049376/32951124 swapFree=67111524/67111528
[pid=27092] ppid=27090 vsize=15708896 CPUtime=2.96 cores=0,2,4,6
/proc/27092/stat : 27092 (java) S 27090 27092 26898 0 -1 4202496 53241 0 1 0 290 6 0 0 25 0 22 0 522892500 16085909504 46781 33554432000 1073741824 1073778376 140736774767456 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/27092/statm: 3927224 46781 2274 9 0 3917943 0
[pid=27092/tid=27094] ppid=27090 vsize=15708896 CPUtime=1.14 cores=0,2,4,6
/proc/27092/task/27094/stat : 27094 (java) S 27090 27092 26898 0 -1 4202560 35697 0 1 0 110 4 0 0 18 0 22 0 522892501 16085909504 46781 33554432000 1073741824 1073778376 140736774767456 18446744073709551615 228134529945 0 4 0 16800975 18446604451159547968 0 0 -1 0 0 0 0
[pid=27092/tid=27095] ppid=27090 vsize=15708896 CPUtime=0 cores=0,2,4,6
/proc/27092/task/27095/stat : 27095 (java) S 27090 27092 26898 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 522892501 16085909504 46781 33554432000 1073741824 1073778376 140736774767456 18446744073709551615 228134529945 0 4 0 16800975 18446604451159547968 0 0 -1 4 0 0 0
[pid=27092/tid=27096] ppid=27090 vsize=15708896 CPUtime=0 cores=0,2,4,6
/proc/27092/task/27096/stat : 27096 (java) S 27090 27092 26898 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 22 0 522892501 16085909504 46781 33554432000 1073741824 1073778376 140736774767456 18446744073709551615 228134529945 0 4 0 16800975 18446604451159547968 0 0 -1 0 0 0 0
[pid=27092/tid=27097] ppid=27090 vsize=15708896 CPUtime=0 cores=0,2,4,6
/proc/27092/task/27097/stat : 27097 (java) S 27090 27092 26898 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 522892501 16085909504 46781 33554432000 1073741824 1073778376 140736774767456 18446744073709551615 228134529945 0 4 0 16800975 18446604451159547968 0 0 -1 4 0 0 0
[pid=27092/tid=27098] ppid=27090 vsize=15708896 CPUtime=0 cores=0,2,4,6
/proc/27092/task/27098/stat : 27098 (java) S 27090 27092 26898 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 522892501 16085909504 46781 33554432000 1073741824 1073778376 140736774767456 18446744073709551615 228134529945 0 4 0 16800975 18446604451159547968 0 0 -1 4 0 0 0
[pid=27092/tid=27099] ppid=27090 vsize=15708896 CPUtime=0 cores=0,2,4,6
/proc/27092/task/27099/stat : 27099 (java) S 27090 27092 26898 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 522892501 16085909504 46781 33554432000 1073741824 1073778376 140736774767456 18446744073709551615 228134529945 0 4 0 16800975 18446604451159547968 0 0 -1 4 0 0 0
[pid=27092/tid=27100] ppid=27090 vsize=15708896 CPUtime=0 cores=0,2,4,6
/proc/27092/task/27100/stat : 27100 (java) S 27090 27092 26898 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 522892501 16085909504 46781 33554432000 1073741824 1073778376 140736774767456 18446744073709551615 228134529945 0 4 0 16800975 18446604451159547968 0 0 -1 4 0 0 0
[pid=27092/tid=27101] ppid=27090 vsize=15708896 CPUtime=0 cores=0,2,4,6
/proc/27092/task/27101/stat : 27101 (java) S 27090 27092 26898 0 -1 4202560 349 0 0 0 0 0 0 0 21 0 22 0 522892501 16085909504 46781 33554432000 1073741824 1073778376 140736774767456 18446744073709551615 228134529945 0 4 0 16800975 18446604451159547968 0 0 -1 0 0 0 0
[pid=27092/tid=27102] ppid=27090 vsize=15708896 CPUtime=0 cores=0,2,4,6
/proc/27092/task/27102/stat : 27102 (java) S 27090 27092 26898 0 -1 4202560 52 0 0 0 0 0 0 0 18 0 22 0 522892501 16085909504 46781 33554432000 1073741824 1073778376 140736774767456 18446744073709551615 228134529945 0 4 0 16800975 18446604451159547968 0 0 -1 4 0 0 0
[pid=27092/tid=27103] ppid=27090 vsize=15708896 CPUtime=0 cores=0,2,4,6
/proc/27092/task/27103/stat : 27103 (java) S 27090 27092 26898 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 22 0 522892502 16085909504 46781 33554432000 1073741824 1073778376 140736774767456 18446744073709551615 228134530560 0 0 0 16800975 18446604451159547968 0 0 -1 2 0 0 0
[pid=27092/tid=27104] ppid=27090 vsize=15708896 CPUtime=0 cores=0,2,4,6
/proc/27092/task/27104/stat : 27104 (java) S 27090 27092 26898 0 -1 4202560 17 0 0 0 0 0 0 0 16 0 22 0 522892503 16085909504 46781 33554432000 1073741824 1073778376 140736774767456 18446744073709551615 228134529945 0 4 0 16800975 18446604451159547968 0 0 -1 2 0 0 0
[pid=27092/tid=27105] ppid=27090 vsize=15708896 CPUtime=0 cores=0,2,4,6
/proc/27092/task/27105/stat : 27105 (java) S 27090 27092 26898 0 -1 4202560 8 0 0 0 0 0 0 0 17 0 22 0 522892503 16085909504 46781 33554432000 1073741824 1073778376 140736774767456 18446744073709551615 228134529945 0 4 0 16800975 18446604451159547968 0 0 -1 6 0 0 0
[pid=27092/tid=27106] ppid=27090 vsize=15708896 CPUtime=0 cores=0,2,4,6
/proc/27092/task/27106/stat : 27106 (java) S 27090 27092 26898 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 522892505 16085909504 46781 33554432000 1073741824 1073778376 140736774767456 18446744073709551615 228134537649 0 4 0 16800975 18446604451159547968 0 0 -1 2 0 0 0
[pid=27092/tid=27107] ppid=27090 vsize=15708896 CPUtime=0.56 cores=0,2,4,6
/proc/27092/task/27107/stat : 27107 (java) S 27090 27092 26898 0 -1 4202560 4002 0 0 0 56 0 0 0 15 0 22 0 522892505 16085909504 46781 33554432000 1073741824 1073778376 140736774767456 18446744073709551615 228134529945 0 4 0 16800975 18446604451159547968 0 0 -1 2 0 0 0
[pid=27092/tid=27108] ppid=27090 vsize=15708896 CPUtime=0.81 cores=0,2,4,6
/proc/27092/task/27108/stat : 27108 (java) S 27090 27092 26898 0 -1 4202560 11682 0 0 0 81 0 0 0 15 0 22 0 522892505 16085909504 46781 33554432000 1073741824 1073778376 140736774767456 18446744073709551615 228134529945 0 4 0 16800975 18446604451159547968 0 0 -1 4 0 0 0
[pid=27092/tid=27109] ppid=27090 vsize=15708896 CPUtime=0 cores=0,2,4,6
/proc/27092/task/27109/stat : 27109 (java) S 27090 27092 26898 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522892505 16085909504 46781 33554432000 1073741824 1073778376 140736774767456 18446744073709551615 228134529945 0 4 0 16800975 18446604451159547968 0 0 -1 2 0 0 0
[pid=27092/tid=27110] ppid=27090 vsize=15708896 CPUtime=0 cores=0,2,4,6
/proc/27092/task/27110/stat : 27110 (java) S 27090 27092 26898 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 522892505 16085909504 46781 33554432000 1073741824 1073778376 140736774767456 18446744073709551615 228134530560 0 4 0 16800975 18446604451159547968 0 0 -1 6 0 0 0
[pid=27092/tid=27111] ppid=27090 vsize=15708896 CPUtime=0.17 cores=0,2,4,6
/proc/27092/task/27111/stat : 27111 (java) R 27090 27092 26898 0 -1 4202560 30 0 0 0 17 0 0 0 18 0 22 0 522892554 16085909504 46781 33554432000 1073741824 1073778376 140736774767456 18446744073709551615 46912506006093 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27092/tid=27112] ppid=27090 vsize=15708896 CPUtime=0 cores=0,2,4,6
/proc/27092/task/27112/stat : 27112 (java) S 27090 27092 26898 0 -1 4202560 7 0 0 0 0 0 0 0 16 0 22 0 522892554 16085909504 46781 33554432000 1073741824 1073778376 140736774767456 18446744073709551615 228134530560 0 4 0 16800975 18446604451159547968 0 0 -1 4 0 0 0
[pid=27092/tid=27113] ppid=27090 vsize=15708896 CPUtime=0.1 cores=0,2,4,6
/proc/27092/task/27113/stat : 27113 (java) S 27090 27092 26898 0 -1 4202560 11 0 0 0 10 0 0 0 17 0 22 0 522892554 16085909504 46781 33554432000 1073741824 1073778376 140736774767456 18446744073709551615 228134530560 0 4 0 16800975 18446604451159547968 0 0 -1 6 0 0 0
[pid=27092/tid=27114] ppid=27090 vsize=15708896 CPUtime=0.13 cores=0,2,4,6
/proc/27092/task/27114/stat : 27114 (java) S 27090 27092 26898 0 -1 4202560 8 0 0 0 13 0 0 0 18 0 22 0 522892554 16085909504 46781 33554432000 1073741824 1073778376 140736774767456 18446744073709551615 228134530560 0 4 0 16800975 18446604451159547968 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 15708896

[startup+3.10109 s]
/proc/loadavg: 4.66 5.02 6.00 13/220 27114
/proc/meminfo: memFree=17967908/32951124 swapFree=67111524/67111528
[pid=27092] ppid=27090 vsize=15708896 CPUtime=9.14 cores=0,2,4,6
/proc/27092/stat : 27092 (java) S 27090 27092 26898 0 -1 4202496 110631 0 1 0 898 16 0 0 25 0 22 0 522892500 16085909504 103833 33554432000 1073741824 1073778376 140736774767456 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/27092/statm: 3927224 103834 2274 9 0 3917943 0
[pid=27092/tid=27094] ppid=27090 vsize=15708896 CPUtime=1.14 cores=0,2,4,6
/proc/27092/task/27094/stat : 27094 (java) S 27090 27092 26898 0 -1 4202560 35697 0 1 0 110 4 0 0 18 0 22 0 522892501 16085909504 103839 33554432000 1073741824 1073778376 140736774767456 18446744073709551615 228134529945 0 4 0 16800975 18446604451159547968 0 0 -1 0 0 0 0
[pid=27092/tid=27095] ppid=27090 vsize=15708896 CPUtime=0.01 cores=0,2,4,6
/proc/27092/task/27095/stat : 27095 (java) S 27090 27092 26898 0 -1 4202560 4866 0 0 0 1 0 0 0 16 0 22 0 522892501 16085909504 103845 33554432000 1073741824 1073778376 140736774767456 18446744073709551615 228134529945 0 4 0 16800975 18446604451159547968 0 0 -1 0 0 0 0
[pid=27092/tid=27096] ppid=27090 vsize=15708896 CPUtime=0.01 cores=0,2,4,6
/proc/27092/task/27096/stat : 27096 (java) S 27090 27092 26898 0 -1 4202560 3731 0 0 0 1 0 0 0 15 0 22 0 522892501 16085909504 103847 33554432000 1073741824 1073778376 140736774767456 18446744073709551615 228134529945 0 4 0 16800975 18446604451159547968 0 0 -1 0 0 0 0
[pid=27092/tid=27097] ppid=27090 vsize=15708896 CPUtime=0.02 cores=0,2,4,6
/proc/27092/task/27097/stat : 27097 (java) S 27090 27092 26898 0 -1 4202560 6618 0 0 0 1 1 0 0 16 0 22 0 522892501 16085909504 103849 33554432000 1073741824 1073778376 140736774767456 18446744073709551615 228134529945 0 4 0 16800975 18446604451159547968 0 0 -1 4 0 0 0
[pid=27092/tid=27098] ppid=27090 vsize=15708896 CPUtime=0.02 cores=0,2,4,6
/proc/27092/task/27098/stat : 27098 (java) S 27090 27092 26898 0 -1 4202560 7349 0 0 0 1 1 0 0 16 0 22 0 522892501 16085909504 103851 33554432000 1073741824 1073778376 140736774767456 18446744073709551615 228134529945 0 4 0 16800975 18446604451159547968 0 0 -1 2 0 0 0
[pid=27092/tid=27099] ppid=27090 vsize=15708896 CPUtime=0 cores=0,2,4,6
/proc/27092/task/27099/stat : 27099 (java) S 27090 27092 26898 0 -1 4202560 2265 0 0 0 0 0 0 0 15 0 22 0 522892501 16085909504 103853 33554432000 1073741824 1073778376 140736774767456 18446744073709551615 228134529945 0 4 0 16800975 18446604451159547968 0 0 -1 0 0 0 0
[pid=27092/tid=27100] ppid=27090 vsize=15708896 CPUtime=0 cores=0,2,4,6
/proc/27092/task/27100/stat : 27100 (java) S 27090 27092 26898 0 -1 4202560 1997 0 0 0 0 0 0 0 15 0 22 0 522892501 16085909504 103858 33554432000 1073741824 1073778376 140736774767456 18446744073709551615 228134529945 0 4 0 16800975 18446604451159547968 0 0 -1 2 0 0 0
[pid=27092/tid=27101] ppid=27090 vsize=15708896 CPUtime=0 cores=0,2,4,6
/proc/27092/task/27101/stat : 27101 (java) S 27090 27092 26898 0 -1 4202560 1516 0 0 0 0 0 0 0 15 0 22 0 522892501 16085909504 103858 33554432000 1073741824 1073778376 140736774767456 18446744073709551615 228134529945 0 4 0 16800975 18446604451159547968 0 0 -1 2 0 0 0
[pid=27092/tid=27102] ppid=27090 vsize=15708896 CPUtime=0.02 cores=0,2,4,6
/proc/27092/task/27102/stat : 27102 (java) S 27090 27092 26898 0 -1 4202560 6771 0 0 0 1 1 0 0 16 0 22 0 522892501 16085909504 103860 33554432000 1073741824 1073778376 140736774767456 18446744073709551615 228134529945 0 4 0 16800975 18446604451159547968 0 0 -1 0 0 0 0
[pid=27092/tid=27103] ppid=27090 vsize=15708896 CPUtime=0 cores=0,2,4,6
/proc/27092/task/27103/stat : 27103 (java) S 27090 27092 26898 0 -1 4202560 246 0 0 0 0 0 0 0 15 0 22 0 522892502 16085909504 103860 33554432000 1073741824 1073778376 140736774767456 18446744073709551615 228134530560 0 0 0 16800975 18446604451159547968 0 0 -1 2 0 0 0
[pid=27092/tid=27104] ppid=27090 vsize=15708896 CPUtime=0 cores=0,2,4,6
/proc/27092/task/27104/stat : 27104 (java) S 27090 27092 26898 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 522892503 16085909504 103870 33554432000 1073741824 1073778376 140736774767456 18446744073709551615 228134529945 0 4 0 16800975 18446604451159547968 0 0 -1 2 0 0 0
[pid=27092/tid=27105] ppid=27090 vsize=15708896 CPUtime=0 cores=0,2,4,6
/proc/27092/task/27105/stat : 27105 (java) S 27090 27092 26898 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 22 0 522892503 16085909504 103870 33554432000 1073741824 1073778376 140736774767456 18446744073709551615 228134529945 0 4 0 16800975 18446604451159547968 0 0 -1 6 0 0 0
[pid=27092/tid=27106] ppid=27090 vsize=15708896 CPUtime=0 cores=0,2,4,6
/proc/27092/task/27106/stat : 27106 (java) S 27090 27092 26898 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 522892505 16085909504 103870 33554432000 1073741824 1073778376 140736774767456 18446744073709551615 228134537649 0 4 0 16800975 18446604451159547968 0 0 -1 2 0 0 0
[pid=27092/tid=27107] ppid=27090 vsize=15708896 CPUtime=0.56 cores=0,2,4,6
/proc/27092/task/27107/stat : 27107 (java) S 27090 27092 26898 0 -1 4202560 4002 0 0 0 56 0 0 0 15 0 22 0 522892505 16085909504 103870 33554432000 1073741824 1073778376 140736774767456 18446744073709551615 228134529945 0 4 0 16800975 18446604451159547968 0 0 -1 2 0 0 0
[pid=27092/tid=27108] ppid=27090 vsize=15708896 CPUtime=0.86 cores=0,2,4,6
/proc/27092/task/27108/stat : 27108 (java) S 27090 27092 26898 0 -1 4202560 11725 0 0 0 86 0 0 0 15 0 22 0 522892505 16085909504 103870 33554432000 1073741824 1073778376 140736774767456 18446744073709551615 228134529945 0 4 0 16800975 18446604451159547968 0 0 -1 4 0 0 0
[pid=27092/tid=27109] ppid=27090 vsize=15708896 CPUtime=0 cores=0,2,4,6
/proc/27092/task/27109/stat : 27109 (java) S 27090 27092 26898 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522892505 16085909504 103875 33554432000 1073741824 1073778376 140736774767456 18446744073709551615 228134529945 0 4 0 16800975 18446604451159547968 0 0 -1 2 0 0 0
[pid=27092/tid=27110] ppid=27090 vsize=15708896 CPUtime=0 cores=0,2,4,6
/proc/27092/task/27110/stat : 27110 (java) S 27090 27092 26898 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 522892505 16085909504 103875 33554432000 1073741824 1073778376 140736774767456 18446744073709551615 228134530560 0 4 0 16800975 18446604451159547968 0 0 -1 0 0 0 0
[pid=27092/tid=27111] ppid=27090 vsize=15708896 CPUtime=1.72 cores=0,2,4,6
/proc/27092/task/27111/stat : 27111 (java) R 27090 27092 26898 0 -1 4202560 5873 0 0 0 172 0 0 0 20 0 22 0 522892554 16085909504 103887 33554432000 1073741824 1073778376 140736774767456 18446744073709551615 46912505813036 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27092/tid=27112] ppid=27090 vsize=15708896 CPUtime=1.53 cores=0,2,4,6
/proc/27092/task/27112/stat : 27112 (java) R 27090 27092 26898 0 -1 4202560 5308 0 0 0 153 0 0 0 17 0 22 0 522892554 16085909504 103896 33554432000 1073741824 1073778376 140736774767456 18446744073709551615 46912505716235 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=27092/tid=27113] ppid=27090 vsize=15708896 CPUtime=1.56 cores=0,2,4,6
/proc/27092/task/27113/stat : 27113 (java) R 27090 27092 26898 0 -1 4202560 5654 0 0 0 156 0 0 0 17 0 22 0 522892554 16085909504 103896 33554432000 1073741824 1073778376 140736774767456 18446744073709551615 46912506150349 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=27092/tid=27114] ppid=27090 vsize=15708896 CPUtime=1.52 cores=0,2,4,6
/proc/27092/task/27114/stat : 27114 (java) R 27090 27092 26898 0 -1 4202560 5681 0 0 0 152 0 0 0 17 0 22 0 522892554 16085909504 103896 33554432000 1073741824 1073778376 140736774767456 18446744073709551615 46912505985310 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 9.14
Current children cumulated vsize (KiB) 15708896

[startup+6.30151 s]
/proc/loadavg: 5.01 5.09 6.02 10/220 27114
/proc/meminfo: memFree=17313396/32951124 swapFree=67111524/67111528
[pid=27092] ppid=27090 vsize=15708896 CPUtime=21.92 cores=0,2,4,6
/proc/27092/stat : 27092 (java) S 27090 27092 26898 0 -1 4202496 238220 0 1 0 2154 38 0 0 25 0 22 0 522892500 16085909504 231156 33554432000 1073741824 1073778376 140736774767456 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/27092/statm: 3927224 231156 2274 9 0 3917943 0
[pid=27092/tid=27094] ppid=27090 vsize=15708896 CPUtime=1.14 cores=0,2,4,6
/proc/27092/task/27094/stat : 27094 (java) S 27090 27092 26898 0 -1 4202560 35697 0 1 0 110 4 0 0 18 0 22 0 522892501 16085909504 231156 33554432000 1073741824 1073778376 140736774767456 18446744073709551615 228134529945 0 4 0 16800975 18446604451159547968 0 0 -1 0 0 0 0
[pid=27092/tid=27095] ppid=27090 vsize=15708896 CPUtime=0.06 cores=0,2,4,6
/proc/27092/task/27095/stat : 27095 (java) S 27090 27092 26898 0 -1 4202560 16608 0 0 0 4 2 0 0 16 0 22 0 522892501 16085909504 231156 33554432000 1073741824 1073778376 140736774767456 18446744073709551615 228134529945 0 4 0 16800975 18446604451159547968 0 0 -1 0 0 0 0
[pid=27092/tid=27096] ppid=27090 vsize=15708896 CPUtime=0.08 cores=0,2,4,6
/proc/27092/task/27096/stat : 27096 (java) S 27090 27092 26898 0 -1 4202560 18868 0 0 0 5 3 0 0 16 0 22 0 522892501 16085909504 231156 33554432000 1073741824 1073778376 140736774767456 18446744073709551615 228134529945 0 4 0 16800975 18446604451159547968 0 0 -1 2 0 0 0
[pid=27092/tid=27097] ppid=27090 vsize=15708896 CPUtime=0.06 cores=0,2,4,6
/proc/27092/task/27097/stat : 27097 (java) S 27090 27092 26898 0 -1 4202560 16645 0 0 0 3 3 0 0 15 0 22 0 522892501 16085909504 231156 33554432000 1073741824 1073778376 140736774767456 18446744073709551615 228134529945 0 4 0 16800975 18446604451159547968 0 0 -1 2 0 0 0
[pid=27092/tid=27098] ppid=27090 vsize=15708896 CPUtime=0.05 cores=0,2,4,6
/proc/27092/task/27098/stat : 27098 (java) S 27090 27092 26898 0 -1 4202560 14405 0 0 0 2 3 0 0 15 0 22 0 522892501 16085909504 231156 33554432000 1073741824 1073778376 140736774767456 18446744073709551615 228134529945 0 4 0 16800975 18446604451159547968 0 0 -1 2 0 0 0
[pid=27092/tid=27099] ppid=27090 vsize=15708896 CPUtime=0.03 cores=0,2,4,6
/proc/27092/task/27099/stat : 27099 (java) S 27090 27092 26898 0 -1 4202560 11678 0 0 0 2 1 0 0 16 0 22 0 522892501 16085909504 231156 33554432000 1073741824 1073778376 140736774767456 18446744073709551615 228134529945 0 4 0 16800975 18446604451159547968 0 0 -1 4 0 0 0
[pid=27092/tid=27100] ppid=27090 vsize=15708896 CPUtime=0.05 cores=0,2,4,6
/proc/27092/task/27100/stat : 27100 (java) S 27090 27092 26898 0 -1 4202560 13198 0 0 0 3 2 0 0 15 0 22 0 522892501 16085909504 231156 33554432000 1073741824 1073778376 140736774767456 18446744073709551615 228134529945 0 4 0 16800975 18446604451159547968 0 0 -1 4 0 0 0
[pid=27092/tid=27101] ppid=27090 vsize=15708896 CPUtime=0 cores=0,2,4,6
/proc/27092/task/27101/stat : 27101 (java) S 27090 27092 26898 0 -1 4202560 1516 0 0 0 0 0 0 0 15 0 22 0 522892501 16085909504 231156 33554432000 1073741824 1073778376 140736774767456 18446744073709551615 228134529945 0 4 0 16800975 18446604451159547968 0 0 -1 2 0 0 0
[pid=27092/tid=27102] ppid=27090 vsize=15708896 CPUtime=0.07 cores=0,2,4,6
/proc/27092/task/27102/stat : 27102 (java) S 27090 27092 26898 0 -1 4202560 19412 0 0 0 4 3 0 0 16 0 22 0 522892501 16085909504 231156 33554432000 1073741824 1073778376 140736774767456 18446744073709551615 228134529945 0 4 0 16800975 18446604451159547968 0 0 -1 6 0 0 0
[pid=27092/tid=27103] ppid=27090 vsize=15708896 CPUtime=0 cores=0,2,4,6
/proc/27092/task/27103/stat : 27103 (java) S 27090 27092 26898 0 -1 4202560 556 0 0 0 0 0 0 0 15 0 22 0 522892502 16085909504 231156 33554432000 1073741824 1073778376 140736774767456 18446744073709551615 228134530560 0 0 0 16800975 18446604451159547968 0 0 -1 6 0 0 0
[pid=27092/tid=27104] ppid=27090 vsize=15708896 CPUtime=0 cores=0,2,4,6
/proc/27092/task/27104/stat : 27104 (java) S 27090 27092 26898 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 522892503 16085909504 231156 33554432000 1073741824 1073778376 140736774767456 18446744073709551615 228134529945 0 4 0 16800975 18446604451159547968 0 0 -1 2 0 0 0
[pid=27092/tid=27105] ppid=27090 vsize=15708896 CPUtime=0 cores=0,2,4,6
/proc/27092/task/27105/stat : 27105 (java) S 27090 27092 26898 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 22 0 522892503 16085909504 231156 33554432000 1073741824 1073778376 140736774767456 18446744073709551615 228134529945 0 4 0 16800975 18446604451159547968 0 0 -1 6 0 0 0
[pid=27092/tid=27106] ppid=27090 vsize=15708896 CPUtime=0 cores=0,2,4,6
/proc/27092/task/27106/stat : 27106 (java) S 27090 27092 26898 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 522892505 16085909504 231156 33554432000 1073741824 1073778376 140736774767456 18446744073709551615 228134537649 0 4 0 16800975 18446604451159547968 0 0 -1 2 0 0 0
[pid=27092/tid=27107] ppid=27090 vsize=15708896 CPUtime=0.56 cores=0,2,4,6
/proc/27092/task/27107/stat : 27107 (java) S 27090 27092 26898 0 -1 4202560 4002 0 0 0 56 0 0 0 15 0 22 0 522892505 16085909504 231156 33554432000 1073741824 1073778376 140736774767456 18446744073709551615 228134529945 0 4 0 16800975 18446604451159547968 0 0 -1 2 0 0 0

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

/proc/27092/task/27097/stat : 27097 (java) S 27090 27092 26898 0 -1 4202560 174753 0 0 0 123 30 0 0 15 0 22 0 522892501 16076701696 1590625 33554432000 1073741824 1073778376 140736774767456 18446744073709551615 228134529945 0 4 0 16800975 18446604451159547968 0 0 -1 0 0 0 0
[pid=27092/tid=27098] ppid=27090 vsize=15699904 CPUtime=1.68 cores=0,2,4,6
/proc/27092/task/27098/stat : 27098 (java) S 27090 27092 26898 0 -1 4202560 169938 0 0 0 141 27 0 0 16 0 22 0 522892501 16076701696 1590625 33554432000 1073741824 1073778376 140736774767456 18446744073709551615 228134529945 0 4 0 16800975 18446604451159547968 0 0 -1 4 0 0 0
[pid=27092/tid=27099] ppid=27090 vsize=15699904 CPUtime=1.57 cores=0,2,4,6
/proc/27092/task/27099/stat : 27099 (java) S 27090 27092 26898 0 -1 4202560 153679 0 0 0 129 28 0 0 15 0 22 0 522892501 16076701696 1590625 33554432000 1073741824 1073778376 140736774767456 18446744073709551615 228134529945 0 4 0 16800975 18446604451159547968 0 0 -1 2 0 0 0
[pid=27092/tid=27100] ppid=27090 vsize=15699904 CPUtime=1.47 cores=0,2,4,6
/proc/27092/task/27100/stat : 27100 (java) S 27090 27092 26898 0 -1 4202560 120046 0 0 0 127 20 0 0 15 0 22 0 522892501 16076701696 1590625 33554432000 1073741824 1073778376 140736774767456 18446744073709551615 228134529945 0 4 0 16800975 18446604451159547968 0 0 -1 4 0 0 0
[pid=27092/tid=27101] ppid=27090 vsize=15699904 CPUtime=1.71 cores=0,2,4,6
/proc/27092/task/27101/stat : 27101 (java) S 27090 27092 26898 0 -1 4202560 212958 0 0 0 134 37 0 0 16 0 22 0 522892501 16076701696 1590625 33554432000 1073741824 1073778376 140736774767456 18446744073709551615 228134529945 0 4 0 16800975 18446604451159547968 0 0 -1 0 0 0 0
[pid=27092/tid=27102] ppid=27090 vsize=15699904 CPUtime=1.56 cores=0,2,4,6
/proc/27092/task/27102/stat : 27102 (java) S 27090 27092 26898 0 -1 4202560 195736 0 0 0 120 36 0 0 16 0 22 0 522892501 16076701696 1590625 33554432000 1073741824 1073778376 140736774767456 18446744073709551615 228134529945 0 4 0 16800975 18446604451159547968 0 0 -1 6 0 0 0
[pid=27092/tid=27103] ppid=27090 vsize=15699904 CPUtime=0.88 cores=0,2,4,6
/proc/27092/task/27103/stat : 27103 (java) S 27090 27092 26898 0 -1 4202560 41337 0 0 0 69 19 0 0 15 0 22 0 522892502 16076701696 1590625 33554432000 1073741824 1073778376 140736774767456 18446744073709551615 228134530560 0 0 0 16800975 18446604451159547968 0 0 -1 2 0 0 0
[pid=27092/tid=27104] ppid=27090 vsize=15699904 CPUtime=0 cores=0,2,4,6
/proc/27092/task/27104/stat : 27104 (java) S 27090 27092 26898 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 522892503 16076701696 1590625 33554432000 1073741824 1073778376 140736774767456 18446744073709551615 228134529945 0 4 0 16800975 18446604451159547968 0 0 -1 2 0 0 0
[pid=27092/tid=27105] ppid=27090 vsize=15699904 CPUtime=0 cores=0,2,4,6
/proc/27092/task/27105/stat : 27105 (java) S 27090 27092 26898 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 22 0 522892503 16076701696 1590625 33554432000 1073741824 1073778376 140736774767456 18446744073709551615 228134529945 0 4 0 16800975 18446604451159547968 0 0 -1 6 0 0 0
[pid=27092/tid=27106] ppid=27090 vsize=15699904 CPUtime=0 cores=0,2,4,6
/proc/27092/task/27106/stat : 27106 (java) S 27090 27092 26898 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 522892505 16076701696 1590625 33554432000 1073741824 1073778376 140736774767456 18446744073709551615 228134537649 0 4 0 16800975 18446604451159547968 0 0 -1 2 0 0 0
[pid=27092/tid=27107] ppid=27090 vsize=15699904 CPUtime=0.63 cores=0,2,4,6
/proc/27092/task/27107/stat : 27107 (java) S 27090 27092 26898 0 -1 4202560 4018 0 0 0 63 0 0 0 15 0 22 0 522892505 16076701696 1590625 33554432000 1073741824 1073778376 140736774767456 18446744073709551615 228134529945 0 4 0 16800975 18446604451159547968 0 0 -1 2 0 0 0
[pid=27092/tid=27108] ppid=27090 vsize=15699904 CPUtime=1.37 cores=0,2,4,6
/proc/27092/task/27108/stat : 27108 (java) S 27090 27092 26898 0 -1 4202560 12660 0 0 0 137 0 0 0 16 0 22 0 522892505 16076701696 1590625 33554432000 1073741824 1073778376 140736774767456 18446744073709551615 228134529945 0 4 0 16800975 18446604451159547968 0 0 -1 4 0 0 0
[pid=27092/tid=27109] ppid=27090 vsize=15699904 CPUtime=0 cores=0,2,4,6
/proc/27092/task/27109/stat : 27109 (java) S 27090 27092 26898 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522892505 16076701696 1590625 33554432000 1073741824 1073778376 140736774767456 18446744073709551615 228134529945 0 4 0 16800975 18446604451159547968 0 0 -1 2 0 0 0
[pid=27092/tid=27110] ppid=27090 vsize=15699904 CPUtime=0 cores=0,2,4,6
/proc/27092/task/27110/stat : 27110 (java) S 27090 27092 26898 0 -1 4202560 65 0 0 0 0 0 0 0 15 0 22 0 522892505 16076701696 1590625 33554432000 1073741824 1073778376 140736774767456 18446744073709551615 228134530560 0 4 0 16800975 18446604451159547968 0 0 -1 2 0 0 0
[pid=27092/tid=27111] ppid=27090 vsize=15699904 CPUtime=1113.18 cores=0,2,4,6
/proc/27092/task/27111/stat : 27111 (java) R 27090 27092 26898 0 -1 4202560 244585 0 0 0 111288 30 0 0 25 0 22 0 522892554 16076701696 1590625 33554432000 1073741824 1073778376 140736774767456 18446744073709551615 46912505636599 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=27092/tid=27112] ppid=27090 vsize=15699904 CPUtime=1114.56 cores=0,2,4,6
/proc/27092/task/27112/stat : 27112 (java) R 27090 27092 26898 0 -1 4202560 248017 0 0 0 111429 27 0 0 25 0 22 0 522892554 16076701696 1590625 33554432000 1073741824 1073778376 140736774767456 18446744073709551615 46912506150537 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27092/tid=27113] ppid=27090 vsize=15699904 CPUtime=1116.44 cores=0,2,4,6
/proc/27092/task/27113/stat : 27113 (java) R 27090 27092 26898 0 -1 4202560 248417 0 0 0 111611 33 0 0 25 0 22 0 522892554 16076701696 1590625 33554432000 1073741824 1073778376 140736774767456 18446744073709551615 46912505750602 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=27092/tid=27114] ppid=27090 vsize=15699904 CPUtime=1115.36 cores=0,2,4,6
/proc/27092/task/27114/stat : 27114 (java) R 27090 27092 26898 0 -1 4202560 242816 0 0 0 111508 28 0 0 25 0 22 0 522892554 16076701696 1590625 33554432000 1073741824 1073778376 140736774767456 18446744073709551615 48007186147077 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4476.62
Current children cumulated vsize (KiB) 15699904

[startup+1182.3 s]
/proc/loadavg: 5.22 5.29 5.67 6/219 27145
/proc/meminfo: memFree=5307964/32951124 swapFree=67111524/67111528
[pid=27092] ppid=27090 vsize=15699904 CPUtime=4716.27 cores=0,2,4,6
/proc/27092/stat : 27092 (java) S 27090 27092 26898 0 -1 4202496 2563082 0 1 0 471225 402 0 0 25 0 22 0 522892500 16076701696 1664709 33554432000 1073741824 1073778376 140736774767456 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/27092/statm: 3924976 1664709 2297 9 0 3915695 0
[pid=27092/tid=27094] ppid=27090 vsize=15699904 CPUtime=1.14 cores=0,2,4,6
/proc/27092/task/27094/stat : 27094 (java) S 27090 27092 26898 0 -1 4202560 35697 0 1 0 110 4 0 0 18 0 22 0 522892501 16076701696 1664709 33554432000 1073741824 1073778376 140736774767456 18446744073709551615 228134529945 0 4 0 16800975 18446604451159547968 0 0 -1 0 0 0 0
[pid=27092/tid=27095] ppid=27090 vsize=15699904 CPUtime=1.79 cores=0,2,4,6
/proc/27092/task/27095/stat : 27095 (java) S 27090 27092 26898 0 -1 4202560 200461 0 0 0 146 33 0 0 16 0 22 0 522892501 16076701696 1664709 33554432000 1073741824 1073778376 140736774767456 18446744073709551615 228134529945 0 4 0 16800975 18446604451159547968 0 0 -1 6 0 0 0
[pid=27092/tid=27096] ppid=27090 vsize=15699904 CPUtime=1.71 cores=0,2,4,6
/proc/27092/task/27096/stat : 27096 (java) S 27090 27092 26898 0 -1 4202560 209955 0 0 0 137 34 0 0 16 0 22 0 522892501 16076701696 1664709 33554432000 1073741824 1073778376 140736774767456 18446744073709551615 228134529945 0 4 0 16800975 18446604451159547968 0 0 -1 0 0 0 0
[pid=27092/tid=27097] ppid=27090 vsize=15699904 CPUtime=1.58 cores=0,2,4,6
/proc/27092/task/27097/stat : 27097 (java) S 27090 27092 26898 0 -1 4202560 182916 0 0 0 126 32 0 0 16 0 22 0 522892501 16076701696 1664709 33554432000 1073741824 1073778376 140736774767456 18446744073709551615 228134529945 0 4 0 16800975 18446604451159547968 0 0 -1 4 0 0 0
[pid=27092/tid=27098] ppid=27090 vsize=15699904 CPUtime=1.72 cores=0,2,4,6
/proc/27092/task/27098/stat : 27098 (java) S 27090 27092 26898 0 -1 4202560 174905 0 0 0 144 28 0 0 16 0 22 0 522892501 16076701696 1664709 33554432000 1073741824 1073778376 140736774767456 18446744073709551615 228134529945 0 4 0 16800975 18446604451159547968 0 0 -1 4 0 0 0
[pid=27092/tid=27099] ppid=27090 vsize=15699904 CPUtime=1.6 cores=0,2,4,6
/proc/27092/task/27099/stat : 27099 (java) S 27090 27092 26898 0 -1 4202560 159422 0 0 0 131 29 0 0 16 0 22 0 522892501 16076701696 1664709 33554432000 1073741824 1073778376 140736774767456 18446744073709551615 228134529945 0 4 0 16800975 18446604451159547968 0 0 -1 6 0 0 0
[pid=27092/tid=27100] ppid=27090 vsize=15699904 CPUtime=1.52 cores=0,2,4,6
/proc/27092/task/27100/stat : 27100 (java) S 27090 27092 26898 0 -1 4202560 127731 0 0 0 131 21 0 0 16 0 22 0 522892501 16076701696 1664709 33554432000 1073741824 1073778376 140736774767456 18446744073709551615 228134529945 0 4 0 16800975 18446604451159547968 0 0 -1 2 0 0 0
[pid=27092/tid=27101] ppid=27090 vsize=15699904 CPUtime=1.71 cores=0,2,4,6
/proc/27092/task/27101/stat : 27101 (java) S 27090 27092 26898 0 -1 4202560 212958 0 0 0 134 37 0 0 15 0 22 0 522892501 16076701696 1664709 33554432000 1073741824 1073778376 140736774767456 18446744073709551615 228134529945 0 4 0 16800975 18446604451159547968 0 0 -1 0 0 0 0
[pid=27092/tid=27102] ppid=27090 vsize=15699904 CPUtime=1.6 cores=0,2,4,6
/proc/27092/task/27102/stat : 27102 (java) S 27090 27092 26898 0 -1 4202560 200809 0 0 0 123 37 0 0 16 0 22 0 522892501 16076701696 1664709 33554432000 1073741824 1073778376 140736774767456 18446744073709551615 228134529945 0 4 0 16800975 18446604451159547968 0 0 -1 4 0 0 0
[pid=27092/tid=27103] ppid=27090 vsize=15699904 CPUtime=0.88 cores=0,2,4,6
/proc/27092/task/27103/stat : 27103 (java) S 27090 27092 26898 0 -1 4202560 41454 0 0 0 69 19 0 0 15 0 22 0 522892502 16076701696 1664709 33554432000 1073741824 1073778376 140736774767456 18446744073709551615 228134530560 0 0 0 16800975 18446604451159547968 0 0 -1 2 0 0 0
[pid=27092/tid=27104] ppid=27090 vsize=15699904 CPUtime=0 cores=0,2,4,6
/proc/27092/task/27104/stat : 27104 (java) S 27090 27092 26898 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 522892503 16076701696 1664709 33554432000 1073741824 1073778376 140736774767456 18446744073709551615 228134529945 0 4 0 16800975 18446604451159547968 0 0 -1 2 0 0 0
[pid=27092/tid=27105] ppid=27090 vsize=15699904 CPUtime=0 cores=0,2,4,6
/proc/27092/task/27105/stat : 27105 (java) S 27090 27092 26898 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 22 0 522892503 16076701696 1664709 33554432000 1073741824 1073778376 140736774767456 18446744073709551615 228134529945 0 4 0 16800975 18446604451159547968 0 0 -1 6 0 0 0
[pid=27092/tid=27106] ppid=27090 vsize=15699904 CPUtime=0 cores=0,2,4,6
/proc/27092/task/27106/stat : 27106 (java) S 27090 27092 26898 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 522892505 16076701696 1664709 33554432000 1073741824 1073778376 140736774767456 18446744073709551615 228134537649 0 4 0 16800975 18446604451159547968 0 0 -1 2 0 0 0
[pid=27092/tid=27107] ppid=27090 vsize=15699904 CPUtime=0.63 cores=0,2,4,6
/proc/27092/task/27107/stat : 27107 (java) S 27090 27092 26898 0 -1 4202560 4018 0 0 0 63 0 0 0 15 0 22 0 522892505 16076701696 1664709 33554432000 1073741824 1073778376 140736774767456 18446744073709551615 228134529945 0 4 0 16800975 18446604451159547968 0 0 -1 2 0 0 0
[pid=27092/tid=27108] ppid=27090 vsize=15699904 CPUtime=1.37 cores=0,2,4,6
/proc/27092/task/27108/stat : 27108 (java) S 27090 27092 26898 0 -1 4202560 12660 0 0 0 137 0 0 0 16 0 22 0 522892505 16076701696 1664709 33554432000 1073741824 1073778376 140736774767456 18446744073709551615 228134529945 0 4 0 16800975 18446604451159547968 0 0 -1 4 0 0 0
[pid=27092/tid=27109] ppid=27090 vsize=15699904 CPUtime=0 cores=0,2,4,6
/proc/27092/task/27109/stat : 27109 (java) S 27090 27092 26898 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522892505 16076701696 1664709 33554432000 1073741824 1073778376 140736774767456 18446744073709551615 228134529945 0 4 0 16800975 18446604451159547968 0 0 -1 2 0 0 0
[pid=27092/tid=27110] ppid=27090 vsize=15699904 CPUtime=0 cores=0,2,4,6
/proc/27092/task/27110/stat : 27110 (java) S 27090 27092 26898 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 22 0 522892505 16076701696 1664709 33554432000 1073741824 1073778376 140736774767456 18446744073709551615 228134530560 0 4 0 16800975 18446604451159547968 0 0 -1 2 0 0 0
[pid=27092/tid=27111] ppid=27090 vsize=15699904 CPUtime=1172.76 cores=0,2,4,6
/proc/27092/task/27111/stat : 27111 (java) R 27090 27092 26898 0 -1 4202560 245116 0 0 0 117246 30 0 0 25 0 22 0 522892554 16076701696 1664709 33554432000 1073741824 1073778376 140736774767456 18446744073709551615 46912505940820 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=27092/tid=27112] ppid=27090 vsize=15699904 CPUtime=1174.48 cores=0,2,4,6
/proc/27092/task/27112/stat : 27112 (java) R 27090 27092 26898 0 -1 4202560 251837 0 0 0 117420 28 0 0 25 0 22 0 522892554 16076701696 1664709 33554432000 1073741824 1073778376 140736774767456 18446744073709551615 46912505940777 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27092/tid=27113] ppid=27090 vsize=15699904 CPUtime=1176.35 cores=0,2,4,6
/proc/27092/task/27113/stat : 27113 (java) R 27090 27092 26898 0 -1 4202560 251063 0 0 0 117602 33 0 0 25 0 22 0 522892554 16076701696 1664709 33554432000 1073741824 1073778376 140736774767456 18446744073709551615 46912505710016 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=27092/tid=27114] ppid=27090 vsize=15699904 CPUtime=1175.27 cores=0,2,4,6
/proc/27092/task/27114/stat : 27114 (java) R 27090 27092 26898 0 -1 4202560 250626 0 0 0 117498 29 0 0 25 0 22 0 522892554 16076701696 1664709 33554432000 1073741824 1073778376 140736774767456 18446744073709551615 46912505582779 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4716.27
Current children cumulated vsize (KiB) 15699904



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.3 s]
/proc/loadavg: 5.30 5.30 5.67 6/219 27146
/proc/meminfo: memFree=5261708/32951124 swapFree=67111524/67111528
[pid=27092] ppid=27090 vsize=15699904 CPUtime=4800.2 cores=0,2,4,6
/proc/27092/stat : 27092 (java) S 27090 27092 26898 0 -1 4202496 2574625 0 1 0 479615 405 0 0 25 0 22 0 522892500 16076701696 1676233 33554432000 1073741824 1073778376 140736774767456 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/27092/statm: 3924976 1676233 2297 9 0 3915695 0
[pid=27092/tid=27094] ppid=27090 vsize=15699904 CPUtime=1.14 cores=0,2,4,6
/proc/27092/task/27094/stat : 27094 (java) S 27090 27092 26898 0 -1 4202560 35697 0 1 0 110 4 0 0 18 0 22 0 522892501 16076701696 1676233 33554432000 1073741824 1073778376 140736774767456 18446744073709551615 228134529945 0 4 0 16800975 18446604451159547968 0 0 -1 0 0 0 0
[pid=27092/tid=27095] ppid=27090 vsize=15699904 CPUtime=1.79 cores=0,2,4,6
/proc/27092/task/27095/stat : 27095 (java) S 27090 27092 26898 0 -1 4202560 200461 0 0 0 146 33 0 0 15 0 22 0 522892501 16076701696 1676233 33554432000 1073741824 1073778376 140736774767456 18446744073709551615 228134529945 0 4 0 16800975 18446604451159547968 0 0 -1 6 0 0 0
[pid=27092/tid=27096] ppid=27090 vsize=15699904 CPUtime=1.71 cores=0,2,4,6
/proc/27092/task/27096/stat : 27096 (java) S 27090 27092 26898 0 -1 4202560 209955 0 0 0 137 34 0 0 15 0 22 0 522892501 16076701696 1676233 33554432000 1073741824 1073778376 140736774767456 18446744073709551615 228134529945 0 4 0 16800975 18446604451159547968 0 0 -1 0 0 0 0
[pid=27092/tid=27097] ppid=27090 vsize=15699904 CPUtime=1.59 cores=0,2,4,6
/proc/27092/task/27097/stat : 27097 (java) S 27090 27092 26898 0 -1 4202560 183796 0 0 0 127 32 0 0 16 0 22 0 522892501 16076701696 1676233 33554432000 1073741824 1073778376 140736774767456 18446744073709551615 228134529945 0 4 0 16800975 18446604451159547968 0 0 -1 6 0 0 0
[pid=27092/tid=27098] ppid=27090 vsize=15699904 CPUtime=1.73 cores=0,2,4,6
/proc/27092/task/27098/stat : 27098 (java) S 27090 27092 26898 0 -1 4202560 177408 0 0 0 145 28 0 0 16 0 22 0 522892501 16076701696 1676233 33554432000 1073741824 1073778376 140736774767456 18446744073709551615 228134529945 0 4 0 16800975 18446604451159547968 0 0 -1 4 0 0 0
[pid=27092/tid=27099] ppid=27090 vsize=15699904 CPUtime=1.6 cores=0,2,4,6
/proc/27092/task/27099/stat : 27099 (java) S 27090 27092 26898 0 -1 4202560 159422 0 0 0 131 29 0 0 15 0 22 0 522892501 16076701696 1676233 33554432000 1073741824 1073778376 140736774767456 18446744073709551615 228134529945 0 4 0 16800975 18446604451159547968 0 0 -1 6 0 0 0
[pid=27092/tid=27100] ppid=27090 vsize=15699904 CPUtime=1.55 cores=0,2,4,6
/proc/27092/task/27100/stat : 27100 (java) S 27090 27092 26898 0 -1 4202560 128952 0 0 0 133 22 0 0 16 0 22 0 522892501 16076701696 1676233 33554432000 1073741824 1073778376 140736774767456 18446744073709551615 228134529945 0 4 0 16800975 18446604451159547968 0 0 -1 2 0 0 0
[pid=27092/tid=27101] ppid=27090 vsize=15699904 CPUtime=1.72 cores=0,2,4,6
/proc/27092/task/27101/stat : 27101 (java) S 27090 27092 26898 0 -1 4202560 214558 0 0 0 135 37 0 0 16 0 22 0 522892501 16076701696 1676233 33554432000 1073741824 1073778376 140736774767456 18446744073709551615 228134529945 0 4 0 16800975 18446604451159547968 0 0 -1 0 0 0 0
[pid=27092/tid=27102] ppid=27090 vsize=15699904 CPUtime=1.6 cores=0,2,4,6
/proc/27092/task/27102/stat : 27102 (java) S 27090 27092 26898 0 -1 4202560 200809 0 0 0 123 37 0 0 15 0 22 0 522892501 16076701696 1676233 33554432000 1073741824 1073778376 140736774767456 18446744073709551615 228134529945 0 4 0 16800975 18446604451159547968 0 0 -1 4 0 0 0
[pid=27092/tid=27103] ppid=27090 vsize=15699904 CPUtime=0.88 cores=0,2,4,6
/proc/27092/task/27103/stat : 27103 (java) S 27090 27092 26898 0 -1 4202560 41454 0 0 0 69 19 0 0 15 0 22 0 522892502 16076701696 1676233 33554432000 1073741824 1073778376 140736774767456 18446744073709551615 228134530560 0 0 0 16800975 18446604451159547968 0 0 -1 2 0 0 0
[pid=27092/tid=27104] ppid=27090 vsize=15699904 CPUtime=0 cores=0,2,4,6
/proc/27092/task/27104/stat : 27104 (java) S 27090 27092 26898 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 522892503 16076701696 1676233 33554432000 1073741824 1073778376 140736774767456 18446744073709551615 228134529945 0 4 0 16800975 18446604451159547968 0 0 -1 2 0 0 0
[pid=27092/tid=27105] ppid=27090 vsize=15699904 CPUtime=0 cores=0,2,4,6
/proc/27092/task/27105/stat : 27105 (java) S 27090 27092 26898 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 22 0 522892503 16076701696 1676233 33554432000 1073741824 1073778376 140736774767456 18446744073709551615 228134529945 0 4 0 16800975 18446604451159547968 0 0 -1 6 0 0 0
[pid=27092/tid=27106] ppid=27090 vsize=15699904 CPUtime=0 cores=0,2,4,6
/proc/27092/task/27106/stat : 27106 (java) S 27090 27092 26898 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 522892505 16076701696 1676233 33554432000 1073741824 1073778376 140736774767456 18446744073709551615 228134537649 0 4 0 16800975 18446604451159547968 0 0 -1 2 0 0 0
[pid=27092/tid=27107] ppid=27090 vsize=15699904 CPUtime=0.63 cores=0,2,4,6
/proc/27092/task/27107/stat : 27107 (java) S 27090 27092 26898 0 -1 4202560 4018 0 0 0 63 0 0 0 15 0 22 0 522892505 16076701696 1676233 33554432000 1073741824 1073778376 140736774767456 18446744073709551615 228134529945 0 4 0 16800975 18446604451159547968 0 0 -1 2 0 0 0
[pid=27092/tid=27108] ppid=27090 vsize=15699904 CPUtime=1.37 cores=0,2,4,6
/proc/27092/task/27108/stat : 27108 (java) S 27090 27092 26898 0 -1 4202560 12660 0 0 0 137 0 0 0 16 0 22 0 522892505 16076701696 1676233 33554432000 1073741824 1073778376 140736774767456 18446744073709551615 228134529945 0 4 0 16800975 18446604451159547968 0 0 -1 4 0 0 0
[pid=27092/tid=27109] ppid=27090 vsize=15699904 CPUtime=0 cores=0,2,4,6
/proc/27092/task/27109/stat : 27109 (java) S 27090 27092 26898 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522892505 16076701696 1676233 33554432000 1073741824 1073778376 140736774767456 18446744073709551615 228134529945 0 4 0 16800975 18446604451159547968 0 0 -1 2 0 0 0
[pid=27092/tid=27110] ppid=27090 vsize=15699904 CPUtime=0 cores=0,2,4,6
/proc/27092/task/27110/stat : 27110 (java) S 27090 27092 26898 0 -1 4202560 71 0 0 0 0 0 0 0 15 0 22 0 522892505 16076701696 1676233 33554432000 1073741824 1073778376 140736774767456 18446744073709551615 228134530560 0 4 0 16800975 18446604451159547968 0 0 -1 2 0 0 0
[pid=27092/tid=27111] ppid=27090 vsize=15699904 CPUtime=1193.63 cores=0,2,4,6
/proc/27092/task/27111/stat : 27111 (java) R 27090 27092 26898 0 -1 4202560 247409 0 0 0 119333 30 0 0 25 0 22 0 522892554 16076701696 1676233 33554432000 1073741824 1073778376 140736774767456 18446744073709551615 46912505940269 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=27092/tid=27112] ppid=27090 vsize=15699904 CPUtime=1195.48 cores=0,2,4,6
/proc/27092/task/27112/stat : 27112 (java) R 27090 27092 26898 0 -1 4202560 251850 0 0 0 119519 29 0 0 25 0 22 0 522892554 16076701696 1676233 33554432000 1073741824 1073778376 140736774767456 18446744073709551615 46912506030389 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27092/tid=27113] ppid=27090 vsize=15699904 CPUtime=1197.35 cores=0,2,4,6
/proc/27092/task/27113/stat : 27113 (java) R 27090 27092 26898 0 -1 4202560 254066 0 0 0 119701 34 0 0 25 0 22 0 522892554 16076701696 1676233 33554432000 1073741824 1073778376 140736774767456 18446744073709551615 46912506006147 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=27092/tid=27114] ppid=27090 vsize=15699904 CPUtime=1196.27 cores=0,2,4,6
/proc/27092/task/27114/stat : 27114 (java) R 27090 27092 26898 0 -1 4202560 250654 0 0 0 119598 29 0 0 25 0 22 0 522892554 16076701696 1676233 33554432000 1073741824 1073778376 140736774767456 18446744073709551615 46912505750549 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.2
Current children cumulated vsize (KiB) 15699904

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

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

[startup+1203.42 s]
/proc/loadavg: 5.30 5.30 5.67 6/219 27146
/proc/meminfo: memFree=5261708/32951124 swapFree=67111524/67111528
[pid=27092] ppid=27090 vsize=0 CPUtime=4800.37 cores=0,2,4,6
/proc/27092/stat : 27092 (java) Z 27090 27092 26898 0 -1 4203548 2576202 0 1 0 479623 414 0 0 17 0 2 0 522892500 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/27092/statm: 0 0 0 0 0 0 0
[pid=27092/tid=27113] ppid=27090 vsize=0 CPUtime=1197.44 cores=0,2,4,6
/proc/27092/task/27113/stat : 27113 (java) R 27090 27092 26898 0 -1 4203588 254066 0 0 0 119702 42 0 0 25 0 2 0 522892554 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.37
Current children cumulated vsize (KiB) 0

[startup+1203.6 s]
/proc/loadavg: 5.30 5.30 5.67 6/219 27146
/proc/meminfo: memFree=5261708/32951124 swapFree=67111524/67111528
[pid=27092] ppid=27090 vsize=0 CPUtime=4800.55 cores=0,2,4,6
/proc/27092/stat : 27092 (java) Z 27090 27092 26898 0 -1 4203548 2576202 0 1 0 479623 432 0 0 17 0 2 0 522892500 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/27092/statm: 0 0 0 0 0 0 0
[pid=27092/tid=27113] ppid=27090 vsize=0 CPUtime=1197.63 cores=0,2,4,6
/proc/27092/task/27113/stat : 27113 (java) R 27090 27092 26898 0 -1 4203588 254066 0 0 0 119702 61 0 0 25 0 2 0 522892554 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.55
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1203.61
CPU time (s): 4800.56
CPU user time (s): 4796.23
CPU system time (s): 4.33134
CPU usage (%): 398.848
Max. virtual memory (cumulated for all children) (KiB): 15710796

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4796.23
system time used= 4.33134
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2576202
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= 32500
involuntary context switches= 53310

runsolver used 2.23466 second user time and 4.36234 second system time

The end

Launcher Data 

Begin job on node138 at 2011-04-29 23:35:45
IDJOB=3312390
IDBENCH=82575
IDSOLVER=1699
FILE ID=node138/3312390-1304112945
RUNJOBID= node138-1304111642-26916
PBS_JOBID= 13170689
Free space on /tmp= 71812 MiB

SOLVER NAME= STRUCTure 0.1
BENCH NAME= SAT11/random/large/unif-k5-r20-v2000-c40000-S394483079-002-UNKNOWN.cnf
COMMAND LINE= run 15000 NBCORE TMPDIR DIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3312390-1304112945/watcher-3312390-1304112945 -o /tmp/evaluation-result-3312390-1304112945/solver-3312390-1304112945 -C 4800 -W 1300 -M 15500  run 15000 4 HOME HOME HOME/instance-3312390-1304112945.cnf

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

MD5SUM BENCH= 40e955d306a70bd3dffa8283c1221639
RANDOM SEED=1894707642

node138.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      18349360 kB
Buffers:       1141552 kB
Cached:        3862652 kB
SwapCached:          4 kB
Active:        9210488 kB
Inactive:      4904864 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      18349360 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:            2796 kB
Writeback:           0 kB
AnonPages:     9111680 kB
Mapped:          23612 kB
Slab:           404932 kB
PageTables:      21584 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  9968492 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= 71808 MiB
End job on node138 at 2011-04-29 23:55:51