Trace number 3311514

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.13 1207.43

General information on the benchmark

Namerandom/medium/
unif-k7-r89-v70-c6230-S1018943457-089.SATISFIABLE.cnf
MD5SUM7cd6933caf30eeec07acd345d22c5bcd
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.157975
Satisfiable
(Un)Satisfiability was proved
Number of variables70
Number of clauses6230
Sum of the clauses size43610
Maximum clause length7
Minimum clause length7
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 50
Number of clauses of size over 56230

Solver Data 

0.10/0.12	53:49 INFO : Reading from input HOME/instance-3311514-1304132029.cnf
0.51/0.32	Executor set job limit to 1000000
0.51/0.32	Executor set job limit to 1000000
0.51/0.33	Executor set job limit to 1000000
0.51/0.33	Executor set job limit to 1000000
0.51/0.33	Starting Executor!
0.51/0.33	Starting Executor!
0.51/0.33	Starting Executor!
0.51/0.33	Starting Executor!
0.96/0.53	53:49 INFO : 70 variables remaining out of 70
0.96/0.53	53:49 INFO : 49840 literals remaining out of 49840

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-3311514-1304132029/watcher-3311514-1304132029 -o /tmp/evaluation-result-3311514-1304132029/solver-3311514-1304132029 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3311514-1304132029.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: 8.09 8.13 8.03 5/198 20909
/proc/meminfo: memFree=30524692/32950928 swapFree=67111448/67111528
[pid=20909] ppid=20907 vsize=23028 CPUtime=0 cores=0,2,4,6
/proc/20909/stat : 20909 (java) R 20907 20909 20530 0 -1 4202496 1193 0 0 0 0 0 0 0 25 0 1 0 524801585 23580672 678 33554432000 1073741824 1073778376 140736110802304 18446744073709551615 251809318322 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/20909/statm: 5757 679 505 9 0 124 0

[startup+0.099157 s]
/proc/loadavg: 8.09 8.13 8.03 5/198 20909
/proc/meminfo: memFree=30524692/32950928 swapFree=67111448/67111528
[pid=20909] ppid=20907 vsize=15676484 CPUtime=0.1 cores=0,2,4,6
/proc/20909/stat : 20909 (java) S 20907 20909 20530 0 -1 4202496 5534 0 1 0 9 1 0 0 25 0 18 0 524801585 16052719616 4972 33554432000 1073741824 1073778376 140736110802304 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/20909/statm: 3919121 4972 2117 9 0 3909840 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15676484

[startup+0.100153 s]
/proc/loadavg: 8.09 8.13 8.03 5/198 20909
/proc/meminfo: memFree=30524692/32950928 swapFree=67111448/67111528
[pid=20909] ppid=20907 vsize=15676484 CPUtime=0.1 cores=0,2,4,6
/proc/20909/stat : 20909 (java) S 20907 20909 20530 0 -1 4202496 5534 0 1 0 9 1 0 0 25 0 18 0 524801585 16052719616 4972 33554432000 1073741824 1073778376 140736110802304 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/20909/statm: 3919121 4972 2117 9 0 3909840 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15676484

[startup+0.300121 s]
/proc/loadavg: 8.09 8.13 8.03 5/198 20909
/proc/meminfo: memFree=30524692/32950928 swapFree=67111448/67111528
[pid=20909] ppid=20907 vsize=15680980 CPUtime=0.51 cores=0,2,4,6
/proc/20909/stat : 20909 (java) S 20907 20909 20530 0 -1 4202496 14538 0 1 0 48 3 0 0 25 0 18 0 524801585 16057323520 12783 33554432000 1073741824 1073778376 140736110802304 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/20909/statm: 3920245 12783 2208 9 0 3910964 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 15680980

[startup+0.701055 s]
/proc/loadavg: 8.09 8.13 8.03 5/198 20909
/proc/meminfo: memFree=30524692/32950928 swapFree=67111448/67111528
[pid=20909] ppid=20907 vsize=15698656 CPUtime=1.67 cores=0,2,4,6
/proc/20909/stat : 20909 (java) S 20907 20909 20530 0 -1 4202496 30950 0 1 0 162 5 0 0 25 0 22 0 524801585 16075423744 25326 33554432000 1073741824 1073778376 140736110802304 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/20909/statm: 3924664 25326 2259 9 0 3915383 0
Current children cumulated CPU time (s) 1.67
Current children cumulated vsize (KiB) 15698656

[startup+1.50271 s]
/proc/loadavg: 8.08 8.13 8.03 11/220 20931
/proc/meminfo: memFree=30368896/32950928 swapFree=67111448/67111528
[pid=20909] ppid=20907 vsize=15698656 CPUtime=4.61 cores=0,2,4,6
/proc/20909/stat : 20909 (java) S 20907 20909 20530 0 -1 4202496 59308 0 1 0 453 8 0 0 25 0 22 0 524801585 16075423744 50841 33554432000 1073741824 1073778376 140736110802304 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/20909/statm: 3924664 50841 2279 9 0 3915383 0
[pid=20909/tid=20911] ppid=20907 vsize=15698656 CPUtime=0.51 cores=0,2,4,6
/proc/20909/task/20911/stat : 20911 (java) S 20907 20909 20530 0 -1 4202560 13653 0 1 0 49 2 0 0 25 0 22 0 524801586 16075423744 50841 33554432000 1073741824 1073778376 140736110802304 18446744073709551615 251826056089 0 4 0 16800975 18446604453744991232 0 0 -1 2 0 0 0
[pid=20909/tid=20912] ppid=20907 vsize=15698656 CPUtime=0 cores=0,2,4,6
/proc/20909/task/20912/stat : 20912 (java) R 20907 20909 20530 0 -1 4202560 1102 0 0 0 0 0 0 0 15 0 22 0 524801586 16075423744 50841 33554432000 1073741824 1073778376 140736110802304 18446744073709551615 251814193463 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=20909/tid=20913] ppid=20907 vsize=15698656 CPUtime=0 cores=0,2,4,6
/proc/20909/task/20913/stat : 20913 (java) R 20907 20909 20530 0 -1 4202560 168 0 0 0 0 0 0 0 15 0 22 0 524801586 16075423744 50841 33554432000 1073741824 1073778376 140736110802304 18446744073709551615 251814193463 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=20909/tid=20914] ppid=20907 vsize=15698656 CPUtime=0 cores=0,2,4,6
/proc/20909/task/20914/stat : 20914 (java) R 20907 20909 20530 0 -1 4202560 802 0 0 0 0 0 0 0 15 0 22 0 524801586 16075423744 50841 33554432000 1073741824 1073778376 140736110802304 18446744073709551615 251814193463 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=20909/tid=20915] ppid=20907 vsize=15698656 CPUtime=0 cores=0,2,4,6
/proc/20909/task/20915/stat : 20915 (java) R 20907 20909 20530 0 -1 4202560 462 0 0 0 0 0 0 0 15 0 22 0 524801586 16075423744 50841 33554432000 1073741824 1073778376 140736110802304 18446744073709551615 251826057158 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=20909/tid=20916] ppid=20907 vsize=15698656 CPUtime=0 cores=0,2,4,6
/proc/20909/task/20916/stat : 20916 (java) R 20907 20909 20530 0 -1 4202560 193 0 0 0 0 0 0 0 16 0 22 0 524801586 16075423744 50841 33554432000 1073741824 1073778376 140736110802304 18446744073709551615 47503813371049 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=20909/tid=20917] ppid=20907 vsize=15698656 CPUtime=0 cores=0,2,4,6
/proc/20909/task/20917/stat : 20917 (java) S 20907 20909 20530 0 -1 4202560 429 0 0 0 0 0 0 0 15 0 22 0 524801586 16075423744 50841 33554432000 1073741824 1073778376 140736110802304 18446744073709551615 251826056089 0 4 0 16800975 18446604453744991232 0 0 -1 4 0 0 0
[pid=20909/tid=20918] ppid=20907 vsize=15698656 CPUtime=0 cores=0,2,4,6
/proc/20909/task/20918/stat : 20918 (java) S 20907 20909 20530 0 -1 4202560 830 0 0 0 0 0 0 0 15 0 22 0 524801586 16075423744 50841 33554432000 1073741824 1073778376 140736110802304 18446744073709551615 251826056089 0 4 0 16800975 18446604453744991232 0 0 -1 2 0 0 0
[pid=20909/tid=20919] ppid=20907 vsize=15698656 CPUtime=0 cores=0,2,4,6
/proc/20909/task/20919/stat : 20919 (java) S 20907 20909 20530 0 -1 4202560 781 0 0 0 0 0 0 0 16 0 22 0 524801586 16075423744 50841 33554432000 1073741824 1073778376 140736110802304 18446744073709551615 251826056089 0 4 0 16800975 18446604453744991232 0 0 -1 2 0 0 0
[pid=20909/tid=20920] ppid=20907 vsize=15698656 CPUtime=0 cores=0,2,4,6
/proc/20909/task/20920/stat : 20920 (java) S 20907 20909 20530 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 22 0 524801587 16075423744 50841 33554432000 1073741824 1073778376 140736110802304 18446744073709551615 251826056089 0 0 0 16800975 18446604453744991232 0 0 -1 2 0 0 0
[pid=20909/tid=20921] ppid=20907 vsize=15698656 CPUtime=0 cores=0,2,4,6
/proc/20909/task/20921/stat : 20921 (java) S 20907 20909 20530 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 524801588 16075423744 50841 33554432000 1073741824 1073778376 140736110802304 18446744073709551615 251826056089 0 4 0 16800975 18446604453744991232 0 0 -1 6 0 0 0
[pid=20909/tid=20922] ppid=20907 vsize=15698656 CPUtime=0 cores=0,2,4,6
/proc/20909/task/20922/stat : 20922 (java) S 20907 20909 20530 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 524801588 16075423744 50841 33554432000 1073741824 1073778376 140736110802304 18446744073709551615 251826056089 0 4 0 16800975 18446604453744991232 0 0 -1 4 0 0 0
[pid=20909/tid=20923] ppid=20907 vsize=15698656 CPUtime=0 cores=0,2,4,6
/proc/20909/task/20923/stat : 20923 (java) S 20907 20909 20530 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 524801590 16075423744 50841 33554432000 1073741824 1073778376 140736110802304 18446744073709551615 251826063793 0 4 0 16800975 18446604453744991232 0 0 -1 6 0 0 0
[pid=20909/tid=20924] ppid=20907 vsize=15698656 CPUtime=0.72 cores=0,2,4,6
/proc/20909/task/20924/stat : 20924 (java) S 20907 20909 20530 0 -1 4202560 8921 0 0 0 71 1 0 0 25 0 22 0 524801590 16075423744 50841 33554432000 1073741824 1073778376 140736110802304 18446744073709551615 251826056089 0 4 0 16800975 18446604453744991232 0 0 -1 0 0 0 0
[pid=20909/tid=20925] ppid=20907 vsize=15698656 CPUtime=0.84 cores=0,2,4,6
/proc/20909/task/20925/stat : 20925 (java) S 20907 20909 20530 0 -1 4202560 8775 0 0 0 84 0 0 0 25 0 22 0 524801590 16075423744 50841 33554432000 1073741824 1073778376 140736110802304 18446744073709551615 251826056089 0 4 0 16800975 18446604453744991232 0 0 -1 2 0 0 0
[pid=20909/tid=20926] ppid=20907 vsize=15698656 CPUtime=0 cores=0,2,4,6
/proc/20909/task/20926/stat : 20926 (java) S 20907 20909 20530 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 524801590 16075423744 50841 33554432000 1073741824 1073778376 140736110802304 18446744073709551615 251826056089 0 4 0 16800975 18446604453744991232 0 0 -1 2 0 0 0
[pid=20909/tid=20927] ppid=20907 vsize=15698656 CPUtime=0 cores=0,2,4,6
/proc/20909/task/20927/stat : 20927 (java) S 20907 20909 20530 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 524801590 16075423744 50841 33554432000 1073741824 1073778376 140736110802304 18446744073709551615 251826056704 0 4 0 16800975 18446604453744991232 0 0 -1 4 0 0 0
[pid=20909/tid=20928] ppid=20907 vsize=15698656 CPUtime=0.63 cores=0,2,4,6
/proc/20909/task/20928/stat : 20928 (java) S 20907 20909 20530 0 -1 4202560 7869 0 0 0 63 0 0 0 24 0 22 0 524801618 16075423744 50841 33554432000 1073741824 1073778376 140736110802304 18446744073709551615 251826056089 0 4 0 16800975 18446604453744991232 0 0 -1 2 0 0 0
[pid=20909/tid=20929] ppid=20907 vsize=15698656 CPUtime=0.65 cores=0,2,4,6
/proc/20909/task/20929/stat : 20929 (java) S 20907 20909 20530 0 -1 4202560 4413 0 0 0 65 0 0 0 25 0 22 0 524801618 16075423744 50841 33554432000 1073741824 1073778376 140736110802304 18446744073709551615 251826056089 0 4 0 16800975 18446604453744991232 0 0 -1 0 0 0 0
[pid=20909/tid=20930] ppid=20907 vsize=15698656 CPUtime=0.59 cores=0,2,4,6
/proc/20909/task/20930/stat : 20930 (java) S 20907 20909 20530 0 -1 4202560 7761 0 0 0 58 1 0 0 23 0 22 0 524801618 16075423744 50841 33554432000 1073741824 1073778376 140736110802304 18446744073709551615 251826056089 0 4 0 16800975 18446604453744991232 0 0 -1 4 0 0 0
[pid=20909/tid=20931] ppid=20907 vsize=15698656 CPUtime=0.59 cores=0,2,4,6
/proc/20909/task/20931/stat : 20931 (java) S 20907 20909 20530 0 -1 4202560 1752 0 0 0 59 0 0 0 18 0 22 0 524801618 16075423744 50841 33554432000 1073741824 1073778376 140736110802304 18446744073709551615 251826056089 0 4 0 16800975 18446604453744991232 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.61
Current children cumulated vsize (KiB) 15698656

[startup+3.10065 s]
/proc/loadavg: 8.08 8.13 8.03 9/220 20931
/proc/meminfo: memFree=30209308/32950928 swapFree=67111448/67111528
[pid=20909] ppid=20907 vsize=15698656 CPUtime=10.98 cores=0,2,4,6
/proc/20909/stat : 20909 (java) S 20907 20909 20530 0 -1 4202496 148156 0 1 0 1077 21 0 0 25 0 22 0 524801585 16075423744 139472 33554432000 1073741824 1073778376 140736110802304 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/20909/statm: 3924664 139475 2279 9 0 3915383 0
[pid=20909/tid=20911] ppid=20907 vsize=15698656 CPUtime=0.51 cores=0,2,4,6
/proc/20909/task/20911/stat : 20911 (java) S 20907 20909 20530 0 -1 4202560 13653 0 1 0 49 2 0 0 25 0 22 0 524801586 16075423744 139477 33554432000 1073741824 1073778376 140736110802304 18446744073709551615 251826056089 0 4 0 16800975 18446604453744991232 0 0 -1 2 0 0 0
[pid=20909/tid=20912] ppid=20907 vsize=15698656 CPUtime=0 cores=0,2,4,6
/proc/20909/task/20912/stat : 20912 (java) S 20907 20909 20530 0 -1 4202560 1780 0 0 0 0 0 0 0 15 0 22 0 524801586 16075423744 139479 33554432000 1073741824 1073778376 140736110802304 18446744073709551615 251826056089 0 4 0 16800975 18446604453744991232 0 0 -1 6 0 0 0
[pid=20909/tid=20913] ppid=20907 vsize=15698656 CPUtime=0 cores=0,2,4,6
/proc/20909/task/20913/stat : 20913 (java) S 20907 20909 20530 0 -1 4202560 891 0 0 0 0 0 0 0 16 0 22 0 524801586 16075423744 139480 33554432000 1073741824 1073778376 140736110802304 18446744073709551615 251826056089 0 4 0 16800975 18446604453744991232 0 0 -1 4 0 0 0
[pid=20909/tid=20914] ppid=20907 vsize=15698656 CPUtime=0 cores=0,2,4,6
/proc/20909/task/20914/stat : 20914 (java) S 20907 20909 20530 0 -1 4202560 1958 0 0 0 0 0 0 0 15 0 22 0 524801586 16075423744 139483 33554432000 1073741824 1073778376 140736110802304 18446744073709551615 251826056089 0 4 0 16800975 18446604453744991232 0 0 -1 4 0 0 0
[pid=20909/tid=20915] ppid=20907 vsize=15698656 CPUtime=0 cores=0,2,4,6
/proc/20909/task/20915/stat : 20915 (java) S 20907 20909 20530 0 -1 4202560 462 0 0 0 0 0 0 0 15 0 22 0 524801586 16075423744 139485 33554432000 1073741824 1073778376 140736110802304 18446744073709551615 251826056089 0 4 0 16800975 18446604453744991232 0 0 -1 0 0 0 0
[pid=20909/tid=20916] ppid=20907 vsize=15698656 CPUtime=0 cores=0,2,4,6
/proc/20909/task/20916/stat : 20916 (java) S 20907 20909 20530 0 -1 4202560 1578 0 0 0 0 0 0 0 16 0 22 0 524801586 16075423744 139487 33554432000 1073741824 1073778376 140736110802304 18446744073709551615 251826056089 0 4 0 16800975 18446604453744991232 0 0 -1 0 0 0 0
[pid=20909/tid=20917] ppid=20907 vsize=15698656 CPUtime=0 cores=0,2,4,6
/proc/20909/task/20917/stat : 20917 (java) S 20907 20909 20530 0 -1 4202560 1608 0 0 0 0 0 0 0 16 0 22 0 524801586 16075423744 139489 33554432000 1073741824 1073778376 140736110802304 18446744073709551615 251826056089 0 4 0 16800975 18446604453744991232 0 0 -1 2 0 0 0
[pid=20909/tid=20918] ppid=20907 vsize=15698656 CPUtime=0 cores=0,2,4,6
/proc/20909/task/20918/stat : 20918 (java) S 20907 20909 20530 0 -1 4202560 1511 0 0 0 0 0 0 0 15 0 22 0 524801586 16075423744 139491 33554432000 1073741824 1073778376 140736110802304 18446744073709551615 251826056089 0 4 0 16800975 18446604453744991232 0 0 -1 2 0 0 0
[pid=20909/tid=20919] ppid=20907 vsize=15698656 CPUtime=0 cores=0,2,4,6
/proc/20909/task/20919/stat : 20919 (java) S 20907 20909 20530 0 -1 4202560 1970 0 0 0 0 0 0 0 16 0 22 0 524801586 16075423744 139493 33554432000 1073741824 1073778376 140736110802304 18446744073709551615 251826056089 0 4 0 16800975 18446604453744991232 0 0 -1 6 0 0 0
[pid=20909/tid=20920] ppid=20907 vsize=15698656 CPUtime=0 cores=0,2,4,6
/proc/20909/task/20920/stat : 20920 (java) S 20907 20909 20530 0 -1 4202560 188 0 0 0 0 0 0 0 15 0 22 0 524801587 16075423744 139494 33554432000 1073741824 1073778376 140736110802304 18446744073709551615 251826056704 0 0 0 16800975 18446604453744991232 0 0 -1 4 0 0 0
[pid=20909/tid=20921] ppid=20907 vsize=15698656 CPUtime=0 cores=0,2,4,6
/proc/20909/task/20921/stat : 20921 (java) S 20907 20909 20530 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 524801588 16075423744 139496 33554432000 1073741824 1073778376 140736110802304 18446744073709551615 251826056089 0 4 0 16800975 18446604453744991232 0 0 -1 6 0 0 0
[pid=20909/tid=20922] ppid=20907 vsize=15698656 CPUtime=0 cores=0,2,4,6
/proc/20909/task/20922/stat : 20922 (java) S 20907 20909 20530 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 524801588 16075423744 139498 33554432000 1073741824 1073778376 140736110802304 18446744073709551615 251826056089 0 4 0 16800975 18446604453744991232 0 0 -1 4 0 0 0
[pid=20909/tid=20923] ppid=20907 vsize=15698656 CPUtime=0 cores=0,2,4,6
/proc/20909/task/20923/stat : 20923 (java) S 20907 20909 20530 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 524801590 16075423744 139500 33554432000 1073741824 1073778376 140736110802304 18446744073709551615 251826063793 0 4 0 16800975 18446604453744991232 0 0 -1 6 0 0 0
[pid=20909/tid=20924] ppid=20907 vsize=15698656 CPUtime=0.73 cores=0,2,4,6
/proc/20909/task/20924/stat : 20924 (java) S 20907 20909 20530 0 -1 4202560 8923 0 0 0 72 1 0 0 18 0 22 0 524801590 16075423744 139501 33554432000 1073741824 1073778376 140736110802304 18446744073709551615 251826056089 0 4 0 16800975 18446604453744991232 0 0 -1 0 0 0 0
[pid=20909/tid=20925] ppid=20907 vsize=15698656 CPUtime=0.94 cores=0,2,4,6
/proc/20909/task/20925/stat : 20925 (java) S 20907 20909 20530 0 -1 4202560 8998 0 0 0 94 0 0 0 16 0 22 0 524801590 16075423744 139503 33554432000 1073741824 1073778376 140736110802304 18446744073709551615 251826056089 0 4 0 16800975 18446604453744991232 0 0 -1 2 0 0 0
[pid=20909/tid=20926] ppid=20907 vsize=15698656 CPUtime=0 cores=0,2,4,6
/proc/20909/task/20926/stat : 20926 (java) S 20907 20909 20530 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 524801590 16075423744 139504 33554432000 1073741824 1073778376 140736110802304 18446744073709551615 251826056089 0 4 0 16800975 18446604453744991232 0 0 -1 2 0 0 0
[pid=20909/tid=20927] ppid=20907 vsize=15698656 CPUtime=0 cores=0,2,4,6
/proc/20909/task/20927/stat : 20927 (java) S 20907 20909 20530 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 524801590 16075423744 139505 33554432000 1073741824 1073778376 140736110802304 18446744073709551615 251826056704 0 4 0 16800975 18446604453744991232 0 0 -1 4 0 0 0
[pid=20909/tid=20928] ppid=20907 vsize=15698656 CPUtime=2.12 cores=0,2,4,6
/proc/20909/task/20928/stat : 20928 (java) R 20907 20909 20530 0 -1 4202560 25911 0 0 0 209 3 0 0 25 0 22 0 524801618 16075423744 139507 33554432000 1073741824 1073778376 140736110802304 18446744073709551615 46912505804501 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=20909/tid=20929] ppid=20907 vsize=15698656 CPUtime=2.23 cores=0,2,4,6
/proc/20909/task/20929/stat : 20929 (java) R 20907 20909 20530 0 -1 4202560 25589 0 0 0 220 3 0 0 25 0 22 0 524801618 16075423744 139507 33554432000 1073741824 1073778376 140736110802304 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=20909/tid=20930] ppid=20907 vsize=15698656 CPUtime=2.16 cores=0,2,4,6
/proc/20909/task/20930/stat : 20930 (java) R 20907 20909 20530 0 -1 4202560 28888 0 0 0 212 4 0 0 25 0 22 0 524801618 16075423744 139508 33554432000 1073741824 1073778376 140736110802304 18446744073709551615 46912506068401 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=20909/tid=20931] ppid=20907 vsize=15698656 CPUtime=2.18 cores=0,2,4,6
/proc/20909/task/20931/stat : 20931 (java) R 20907 20909 20530 0 -1 4202560 22896 0 0 0 215 3 0 0 20 0 22 0 524801618 16075423744 139508 33554432000 1073741824 1073778376 140736110802304 18446744073709551615 46912505804763 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 10.98
Current children cumulated vsize (KiB) 15698656

[startup+6.30112 s]
/proc/loadavg: 8.08 8.13 8.03 9/220 20931
/proc/meminfo: memFree=29945188/32950928 swapFree=67111448/67111528
[pid=20909] ppid=20907 vsize=15698656 CPUtime=23.74 cores=0,2,4,6
/proc/20909/stat : 20909 (java) S 20907 20909 20530 0 -1 4202496 155919 0 1 0 2351 23 0 0 25 0 22 0 524801585 16075423744 139236 33554432000 1073741824 1073778376 140736110802304 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/20909/statm: 3924664 139236 2289 9 0 3915383 0
[pid=20909/tid=20911] ppid=20907 vsize=15698656 CPUtime=0.51 cores=0,2,4,6
/proc/20909/task/20911/stat : 20911 (java) S 20907 20909 20530 0 -1 4202560 13653 0 1 0 49 2 0 0 25 0 22 0 524801586 16075423744 139236 33554432000 1073741824 1073778376 140736110802304 18446744073709551615 251826056089 0 4 0 16800975 18446604453744991232 0 0 -1 2 0 0 0
[pid=20909/tid=20912] ppid=20907 vsize=15698656 CPUtime=0 cores=0,2,4,6
/proc/20909/task/20912/stat : 20912 (java) S 20907 20909 20530 0 -1 4202560 2037 0 0 0 0 0 0 0 15 0 22 0 524801586 16075423744 139236 33554432000 1073741824 1073778376 140736110802304 18446744073709551615 251826056089 0 4 0 16800975 18446604453744991232 0 0 -1 0 0 0 0
[pid=20909/tid=20913] ppid=20907 vsize=15698656 CPUtime=0 cores=0,2,4,6
/proc/20909/task/20913/stat : 20913 (java) S 20907 20909 20530 0 -1 4202560 1564 0 0 0 0 0 0 0 15 0 22 0 524801586 16075423744 139236 33554432000 1073741824 1073778376 140736110802304 18446744073709551615 251826056089 0 4 0 16800975 18446604453744991232 0 0 -1 0 0 0 0
[pid=20909/tid=20914] ppid=20907 vsize=15698656 CPUtime=0 cores=0,2,4,6
/proc/20909/task/20914/stat : 20914 (java) S 20907 20909 20530 0 -1 4202560 2593 0 0 0 0 0 0 0 15 0 22 0 524801586 16075423744 139236 33554432000 1073741824 1073778376 140736110802304 18446744073709551615 251826056089 0 4 0 16800975 18446604453744991232 0 0 -1 4 0 0 0
[pid=20909/tid=20915] ppid=20907 vsize=15698656 CPUtime=0 cores=0,2,4,6
/proc/20909/task/20915/stat : 20915 (java) S 20907 20909 20530 0 -1 4202560 538 0 0 0 0 0 0 0 16 0 22 0 524801586 16075423744 139236 33554432000 1073741824 1073778376 140736110802304 18446744073709551615 251826056089 0 4 0 16800975 18446604453744991232 0 0 -1 0 0 0 0
[pid=20909/tid=20916] ppid=20907 vsize=15698656 CPUtime=0 cores=0,2,4,6
/proc/20909/task/20916/stat : 20916 (java) S 20907 20909 20530 0 -1 4202560 2432 0 0 0 0 0 0 0 15 0 22 0 524801586 16075423744 139236 33554432000 1073741824 1073778376 140736110802304 18446744073709551615 251826056089 0 4 0 16800975 18446604453744991232 0 0 -1 0 0 0 0
[pid=20909/tid=20917] ppid=20907 vsize=15698656 CPUtime=0 cores=0,2,4,6
/proc/20909/task/20917/stat : 20917 (java) S 20907 20909 20530 0 -1 4202560 1610 0 0 0 0 0 0 0 16 0 22 0 524801586 16075423744 139236 33554432000 1073741824 1073778376 140736110802304 18446744073709551615 251826056089 0 4 0 16800975 18446604453744991232 0 0 -1 6 0 0 0
[pid=20909/tid=20918] ppid=20907 vsize=15698656 CPUtime=0 cores=0,2,4,6
/proc/20909/task/20918/stat : 20918 (java) S 20907 20909 20530 0 -1 4202560 1537 0 0 0 0 0 0 0 16 0 22 0 524801586 16075423744 139236 33554432000 1073741824 1073778376 140736110802304 18446744073709551615 251826056089 0 4 0 16800975 18446604453744991232 0 0 -1 6 0 0 0
[pid=20909/tid=20919] ppid=20907 vsize=15698656 CPUtime=0 cores=0,2,4,6
/proc/20909/task/20919/stat : 20919 (java) S 20907 20909 20530 0 -1 4202560 2214 0 0 0 0 0 0 0 15 0 22 0 524801586 16075423744 139236 33554432000 1073741824 1073778376 140736110802304 18446744073709551615 251826056089 0 4 0 16800975 18446604453744991232 0 0 -1 4 0 0 0
[pid=20909/tid=20920] ppid=20907 vsize=15698656 CPUtime=0 cores=0,2,4,6
/proc/20909/task/20920/stat : 20920 (java) S 20907 20909 20530 0 -1 4202560 188 0 0 0 0 0 0 0 15 0 22 0 524801587 16075423744 139236 33554432000 1073741824 1073778376 140736110802304 18446744073709551615 251826056704 0 0 0 16800975 18446604453744991232 0 0 -1 2 0 0 0
[pid=20909/tid=20921] ppid=20907 vsize=15698656 CPUtime=0 cores=0,2,4,6
/proc/20909/task/20921/stat : 20921 (java) S 20907 20909 20530 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 524801588 16075423744 139236 33554432000 1073741824 1073778376 140736110802304 18446744073709551615 251826056089 0 4 0 16800975 18446604453744991232 0 0 -1 6 0 0 0
[pid=20909/tid=20922] ppid=20907 vsize=15698656 CPUtime=0 cores=0,2,4,6
/proc/20909/task/20922/stat : 20922 (java) S 20907 20909 20530 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 524801588 16075423744 139236 33554432000 1073741824 1073778376 140736110802304 18446744073709551615 251826056089 0 4 0 16800975 18446604453744991232 0 0 -1 4 0 0 0
[pid=20909/tid=20923] ppid=20907 vsize=15698656 CPUtime=0 cores=0,2,4,6
/proc/20909/task/20923/stat : 20923 (java) S 20907 20909 20530 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 524801590 16075423744 139236 33554432000 1073741824 1073778376 140736110802304 18446744073709551615 251826063793 0 4 0 16800975 18446604453744991232 0 0 -1 6 0 0 0
[pid=20909/tid=20924] ppid=20907 vsize=15698656 CPUtime=0.87 cores=0,2,4,6
/proc/20909/task/20924/stat : 20924 (java) S 20907 20909 20530 0 -1 4202560 8950 0 0 0 86 1 0 0 15 0 22 0 524801590 16075423744 139236 33554432000 1073741824 1073778376 140736110802304 18446744073709551615 251826056089 0 4 0 16800975 18446604453744991232 0 0 -1 0 0 0 0

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

[pid=20909/tid=20929] ppid=20907 vsize=15698656 CPUtime=1049.35 cores=0,2,4,6
/proc/20909/task/20929/stat : 20929 (java) R 20907 20909 20530 0 -1 4202560 164970 0 0 0 104905 30 0 0 18 0 22 0 524801618 16075423744 87896 33554432000 1073741824 1073778376 140736110802304 18446744073709551615 46912506000476 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=20909/tid=20930] ppid=20907 vsize=15698656 CPUtime=1048.25 cores=0,2,4,6
/proc/20909/task/20930/stat : 20930 (java) R 20907 20909 20530 0 -1 4202560 168531 0 0 0 104792 33 0 0 25 0 22 0 524801618 16075423744 87896 33554432000 1073741824 1073778376 140736110802304 18446744073709551615 46912505730226 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=20909/tid=20931] ppid=20907 vsize=15698656 CPUtime=1048.67 cores=0,2,4,6
/proc/20909/task/20931/stat : 20931 (java) R 20907 20909 20530 0 -1 4202560 163014 0 0 0 104838 29 0 0 25 0 22 0 524801618 16075423744 87896 33554432000 1073741824 1073778376 140736110802304 18446744073709551615 47503812412013 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4223.11
Current children cumulated vsize (KiB) 15698656

[startup+1122.3 s]
/proc/loadavg: 7.98 8.10 8.08 9/220 21021
/proc/meminfo: memFree=30269660/32950928 swapFree=67111448/67111528
[pid=20909] ppid=20907 vsize=15698656 CPUtime=4461.65 cores=0,2,4,6
/proc/20909/stat : 20909 (java) S 20907 20909 20530 0 -1 4202496 1222210 0 1 0 445833 332 0 0 25 0 22 0 524801585 16075423744 76030 33554432000 1073741824 1073778376 140736110802304 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/20909/statm: 3924664 76030 2299 9 0 3915383 0
[pid=20909/tid=20911] ppid=20907 vsize=15698656 CPUtime=0.51 cores=0,2,4,6
/proc/20909/task/20911/stat : 20911 (java) S 20907 20909 20530 0 -1 4202560 13653 0 1 0 49 2 0 0 25 0 22 0 524801586 16075423744 76030 33554432000 1073741824 1073778376 140736110802304 18446744073709551615 251826056089 0 4 0 16800975 18446604453744991232 0 0 -1 2 0 0 0
[pid=20909/tid=20912] ppid=20907 vsize=15698656 CPUtime=3.18 cores=0,2,4,6
/proc/20909/task/20912/stat : 20912 (java) S 20907 20909 20530 0 -1 4202560 62549 0 0 0 302 16 0 0 15 0 22 0 524801586 16075423744 76030 33554432000 1073741824 1073778376 140736110802304 18446744073709551615 251826056089 0 4 0 16800975 18446604453744991232 0 0 -1 0 0 0 0
[pid=20909/tid=20913] ppid=20907 vsize=15698656 CPUtime=3.17 cores=0,2,4,6
/proc/20909/task/20913/stat : 20913 (java) S 20907 20909 20530 0 -1 4202560 63216 0 0 0 301 16 0 0 15 0 22 0 524801586 16075423744 76030 33554432000 1073741824 1073778376 140736110802304 18446744073709551615 251826056089 0 4 0 16800975 18446604453744991232 0 0 -1 0 0 0 0
[pid=20909/tid=20914] ppid=20907 vsize=15698656 CPUtime=3.12 cores=0,2,4,6
/proc/20909/task/20914/stat : 20914 (java) S 20907 20909 20530 0 -1 4202560 60690 0 0 0 297 15 0 0 15 0 22 0 524801586 16075423744 76030 33554432000 1073741824 1073778376 140736110802304 18446744073709551615 251826056089 0 4 0 16800975 18446604453744991232 0 0 -1 2 0 0 0
[pid=20909/tid=20915] ppid=20907 vsize=15698656 CPUtime=3.17 cores=0,2,4,6
/proc/20909/task/20915/stat : 20915 (java) S 20907 20909 20530 0 -1 4202560 62870 0 0 0 299 18 0 0 15 0 22 0 524801586 16075423744 76030 33554432000 1073741824 1073778376 140736110802304 18446744073709551615 251826056089 0 4 0 16800975 18446604453744991232 0 0 -1 2 0 0 0
[pid=20909/tid=20916] ppid=20907 vsize=15698656 CPUtime=3.12 cores=0,2,4,6
/proc/20909/task/20916/stat : 20916 (java) S 20907 20909 20530 0 -1 4202560 63833 0 0 0 295 17 0 0 15 0 22 0 524801586 16075423744 76030 33554432000 1073741824 1073778376 140736110802304 18446744073709551615 251826056089 0 4 0 16800975 18446604453744991232 0 0 -1 4 0 0 0
[pid=20909/tid=20917] ppid=20907 vsize=15698656 CPUtime=3.15 cores=0,2,4,6
/proc/20909/task/20917/stat : 20917 (java) S 20907 20909 20530 0 -1 4202560 61726 0 0 0 297 18 0 0 16 0 22 0 524801586 16075423744 76030 33554432000 1073741824 1073778376 140736110802304 18446744073709551615 251826056089 0 4 0 16800975 18446604453744991232 0 0 -1 0 0 0 0
[pid=20909/tid=20918] ppid=20907 vsize=15698656 CPUtime=3.13 cores=0,2,4,6
/proc/20909/task/20918/stat : 20918 (java) S 20907 20909 20530 0 -1 4202560 60097 0 0 0 296 17 0 0 16 0 22 0 524801586 16075423744 76030 33554432000 1073741824 1073778376 140736110802304 18446744073709551615 251826056089 0 4 0 16800975 18446604453744991232 0 0 -1 6 0 0 0
[pid=20909/tid=20919] ppid=20907 vsize=15698656 CPUtime=3.12 cores=0,2,4,6
/proc/20909/task/20919/stat : 20919 (java) S 20907 20909 20530 0 -1 4202560 62643 0 0 0 295 17 0 0 16 0 22 0 524801586 16075423744 76030 33554432000 1073741824 1073778376 140736110802304 18446744073709551615 251826056089 0 4 0 16800975 18446604453744991232 0 0 -1 0 0 0 0
[pid=20909/tid=20920] ppid=20907 vsize=15698656 CPUtime=1.95 cores=0,2,4,6
/proc/20909/task/20920/stat : 20920 (java) S 20907 20909 20530 0 -1 4202560 3070 0 0 0 136 59 0 0 15 0 22 0 524801587 16075423744 76030 33554432000 1073741824 1073778376 140736110802304 18446744073709551615 251826056704 0 0 0 16800975 18446604453744991232 0 0 -1 2 0 0 0
[pid=20909/tid=20921] ppid=20907 vsize=15698656 CPUtime=0 cores=0,2,4,6
/proc/20909/task/20921/stat : 20921 (java) S 20907 20909 20530 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 524801588 16075423744 76030 33554432000 1073741824 1073778376 140736110802304 18446744073709551615 251826056089 0 4 0 16800975 18446604453744991232 0 0 -1 6 0 0 0
[pid=20909/tid=20922] ppid=20907 vsize=15698656 CPUtime=0 cores=0,2,4,6
/proc/20909/task/20922/stat : 20922 (java) S 20907 20909 20530 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 524801588 16075423744 76030 33554432000 1073741824 1073778376 140736110802304 18446744073709551615 251826056089 0 4 0 16800975 18446604453744991232 0 0 -1 4 0 0 0
[pid=20909/tid=20923] ppid=20907 vsize=15698656 CPUtime=0 cores=0,2,4,6
/proc/20909/task/20923/stat : 20923 (java) S 20907 20909 20530 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 524801590 16075423744 76030 33554432000 1073741824 1073778376 140736110802304 18446744073709551615 251826063793 0 4 0 16800975 18446604453744991232 0 0 -1 6 0 0 0
[pid=20909/tid=20924] ppid=20907 vsize=15698656 CPUtime=0.91 cores=0,2,4,6
/proc/20909/task/20924/stat : 20924 (java) S 20907 20909 20530 0 -1 4202560 8962 0 0 0 90 1 0 0 15 0 22 0 524801590 16075423744 76030 33554432000 1073741824 1073778376 140736110802304 18446744073709551615 251826056089 0 4 0 16800975 18446604453744991232 0 0 -1 0 0 0 0
[pid=20909/tid=20925] ppid=20907 vsize=15698656 CPUtime=0.98 cores=0,2,4,6
/proc/20909/task/20925/stat : 20925 (java) S 20907 20909 20530 0 -1 4202560 9006 0 0 0 98 0 0 0 16 0 22 0 524801590 16075423744 76030 33554432000 1073741824 1073778376 140736110802304 18446744073709551615 251826056089 0 4 0 16800975 18446604453744991232 0 0 -1 2 0 0 0
[pid=20909/tid=20926] ppid=20907 vsize=15698656 CPUtime=0 cores=0,2,4,6
/proc/20909/task/20926/stat : 20926 (java) S 20907 20909 20530 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 524801590 16075423744 76030 33554432000 1073741824 1073778376 140736110802304 18446744073709551615 251826056089 0 4 0 16800975 18446604453744991232 0 0 -1 2 0 0 0
[pid=20909/tid=20927] ppid=20907 vsize=15698656 CPUtime=0 cores=0,2,4,6
/proc/20909/task/20927/stat : 20927 (java) S 20907 20909 20530 0 -1 4202560 57 0 0 0 0 0 0 0 15 0 22 0 524801590 16075423744 76030 33554432000 1073741824 1073778376 140736110802304 18446744073709551615 251826056704 0 4 0 16800975 18446604453744991232 0 0 -1 2 0 0 0
[pid=20909/tid=20928] ppid=20907 vsize=15698656 CPUtime=1107.64 cores=0,2,4,6
/proc/20909/task/20928/stat : 20928 (java) R 20907 20909 20530 0 -1 4202560 172244 0 0 0 110731 33 0 0 25 0 22 0 524801618 16075423744 76030 33554432000 1073741824 1073778376 140736110802304 18446744073709551615 46912506037272 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=20909/tid=20929] ppid=20907 vsize=15698656 CPUtime=1108.71 cores=0,2,4,6
/proc/20909/task/20929/stat : 20929 (java) R 20907 20909 20530 0 -1 4202560 171444 0 0 0 110840 31 0 0 18 0 22 0 524801618 16075423744 76030 33554432000 1073741824 1073778376 140736110802304 18446744073709551615 46912506001687 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=20909/tid=20930] ppid=20907 vsize=15698656 CPUtime=1107.64 cores=0,2,4,6
/proc/20909/task/20930/stat : 20930 (java) R 20907 20909 20530 0 -1 4202560 174979 0 0 0 110730 34 0 0 25 0 22 0 524801618 16075423744 76030 33554432000 1073741824 1073778376 140736110802304 18446744073709551615 46912505814196 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=20909/tid=20931] ppid=20907 vsize=15698656 CPUtime=1108 cores=0,2,4,6
/proc/20909/task/20931/stat : 20931 (java) R 20907 20909 20530 0 -1 4202560 169785 0 0 0 110770 30 0 0 25 0 22 0 524801618 16075423744 76030 33554432000 1073741824 1073778376 140736110802304 18446744073709551615 46912505730221 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4461.65
Current children cumulated vsize (KiB) 15698656

[startup+1182.3 s]
/proc/loadavg: 7.92 8.05 8.06 9/220 21023
/proc/meminfo: memFree=30276692/32950928 swapFree=67111448/67111528
[pid=20909] ppid=20907 vsize=15698656 CPUtime=4700.23 cores=0,2,4,6
/proc/20909/stat : 20909 (java) S 20907 20909 20530 0 -1 4202496 1284335 0 1 0 469673 350 0 0 25 0 22 0 524801585 16075423744 74693 33554432000 1073741824 1073778376 140736110802304 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/20909/statm: 3924664 74693 2299 9 0 3915383 0
[pid=20909/tid=20911] ppid=20907 vsize=15698656 CPUtime=0.51 cores=0,2,4,6
/proc/20909/task/20911/stat : 20911 (java) S 20907 20909 20530 0 -1 4202560 13653 0 1 0 49 2 0 0 25 0 22 0 524801586 16075423744 74693 33554432000 1073741824 1073778376 140736110802304 18446744073709551615 251826056089 0 4 0 16800975 18446604453744991232 0 0 -1 2 0 0 0
[pid=20909/tid=20912] ppid=20907 vsize=15698656 CPUtime=3.35 cores=0,2,4,6
/proc/20909/task/20912/stat : 20912 (java) S 20907 20909 20530 0 -1 4202560 64934 0 0 0 319 16 0 0 16 0 22 0 524801586 16075423744 74693 33554432000 1073741824 1073778376 140736110802304 18446744073709551615 251826056089 0 4 0 16800975 18446604453744991232 0 0 -1 0 0 0 0
[pid=20909/tid=20913] ppid=20907 vsize=15698656 CPUtime=3.35 cores=0,2,4,6
/proc/20909/task/20913/stat : 20913 (java) S 20907 20909 20530 0 -1 4202560 67178 0 0 0 318 17 0 0 15 0 22 0 524801586 16075423744 74693 33554432000 1073741824 1073778376 140736110802304 18446744073709551615 251826056089 0 4 0 16800975 18446604453744991232 0 0 -1 6 0 0 0
[pid=20909/tid=20914] ppid=20907 vsize=15698656 CPUtime=3.29 cores=0,2,4,6
/proc/20909/task/20914/stat : 20914 (java) S 20907 20909 20530 0 -1 4202560 63874 0 0 0 313 16 0 0 16 0 22 0 524801586 16075423744 74693 33554432000 1073741824 1073778376 140736110802304 18446744073709551615 251826056089 0 4 0 16800975 18446604453744991232 0 0 -1 4 0 0 0
[pid=20909/tid=20915] ppid=20907 vsize=15698656 CPUtime=3.34 cores=0,2,4,6
/proc/20909/task/20915/stat : 20915 (java) S 20907 20909 20530 0 -1 4202560 65980 0 0 0 316 18 0 0 15 0 22 0 524801586 16075423744 74693 33554432000 1073741824 1073778376 140736110802304 18446744073709551615 251826056089 0 4 0 16800975 18446604453744991232 0 0 -1 2 0 0 0
[pid=20909/tid=20916] ppid=20907 vsize=15698656 CPUtime=3.29 cores=0,2,4,6
/proc/20909/task/20916/stat : 20916 (java) S 20907 20909 20530 0 -1 4202560 67343 0 0 0 311 18 0 0 16 0 22 0 524801586 16075423744 74693 33554432000 1073741824 1073778376 140736110802304 18446744073709551615 251826056089 0 4 0 16800975 18446604453744991232 0 0 -1 2 0 0 0
[pid=20909/tid=20917] ppid=20907 vsize=15698656 CPUtime=3.31 cores=0,2,4,6
/proc/20909/task/20917/stat : 20917 (java) S 20907 20909 20530 0 -1 4202560 64754 0 0 0 312 19 0 0 15 0 22 0 524801586 16075423744 74693 33554432000 1073741824 1073778376 140736110802304 18446744073709551615 251826056089 0 4 0 16800975 18446604453744991232 0 0 -1 0 0 0 0
[pid=20909/tid=20918] ppid=20907 vsize=15698656 CPUtime=3.31 cores=0,2,4,6
/proc/20909/task/20918/stat : 20918 (java) S 20907 20909 20530 0 -1 4202560 63158 0 0 0 313 18 0 0 15 0 22 0 524801586 16075423744 74693 33554432000 1073741824 1073778376 140736110802304 18446744073709551615 251826056089 0 4 0 16800975 18446604453744991232 0 0 -1 4 0 0 0
[pid=20909/tid=20919] ppid=20907 vsize=15698656 CPUtime=3.28 cores=0,2,4,6
/proc/20909/task/20919/stat : 20919 (java) S 20907 20909 20530 0 -1 4202560 65183 0 0 0 310 18 0 0 15 0 22 0 524801586 16075423744 74693 33554432000 1073741824 1073778376 140736110802304 18446744073709551615 251826056089 0 4 0 16800975 18446604453744991232 0 0 -1 0 0 0 0
[pid=20909/tid=20920] ppid=20907 vsize=15698656 CPUtime=2.07 cores=0,2,4,6
/proc/20909/task/20920/stat : 20920 (java) S 20907 20909 20530 0 -1 4202560 3249 0 0 0 144 63 0 0 15 0 22 0 524801587 16075423744 74693 33554432000 1073741824 1073778376 140736110802304 18446744073709551615 251826056704 0 0 0 16800975 18446604453744991232 0 0 -1 6 0 0 0
[pid=20909/tid=20921] ppid=20907 vsize=15698656 CPUtime=0 cores=0,2,4,6
/proc/20909/task/20921/stat : 20921 (java) S 20907 20909 20530 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 524801588 16075423744 74693 33554432000 1073741824 1073778376 140736110802304 18446744073709551615 251826056089 0 4 0 16800975 18446604453744991232 0 0 -1 6 0 0 0
[pid=20909/tid=20922] ppid=20907 vsize=15698656 CPUtime=0 cores=0,2,4,6
/proc/20909/task/20922/stat : 20922 (java) S 20907 20909 20530 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 524801588 16075423744 74693 33554432000 1073741824 1073778376 140736110802304 18446744073709551615 251826056089 0 4 0 16800975 18446604453744991232 0 0 -1 4 0 0 0
[pid=20909/tid=20923] ppid=20907 vsize=15698656 CPUtime=0 cores=0,2,4,6
/proc/20909/task/20923/stat : 20923 (java) S 20907 20909 20530 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 524801590 16075423744 74693 33554432000 1073741824 1073778376 140736110802304 18446744073709551615 251826063793 0 4 0 16800975 18446604453744991232 0 0 -1 6 0 0 0
[pid=20909/tid=20924] ppid=20907 vsize=15698656 CPUtime=0.91 cores=0,2,4,6
/proc/20909/task/20924/stat : 20924 (java) S 20907 20909 20530 0 -1 4202560 8962 0 0 0 90 1 0 0 15 0 22 0 524801590 16075423744 74693 33554432000 1073741824 1073778376 140736110802304 18446744073709551615 251826056089 0 4 0 16800975 18446604453744991232 0 0 -1 0 0 0 0
[pid=20909/tid=20925] ppid=20907 vsize=15698656 CPUtime=0.98 cores=0,2,4,6
/proc/20909/task/20925/stat : 20925 (java) S 20907 20909 20530 0 -1 4202560 9006 0 0 0 98 0 0 0 16 0 22 0 524801590 16075423744 74693 33554432000 1073741824 1073778376 140736110802304 18446744073709551615 251826056089 0 4 0 16800975 18446604453744991232 0 0 -1 2 0 0 0
[pid=20909/tid=20926] ppid=20907 vsize=15698656 CPUtime=0 cores=0,2,4,6
/proc/20909/task/20926/stat : 20926 (java) S 20907 20909 20530 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 524801590 16075423744 74693 33554432000 1073741824 1073778376 140736110802304 18446744073709551615 251826056089 0 4 0 16800975 18446604453744991232 0 0 -1 2 0 0 0
[pid=20909/tid=20927] ppid=20907 vsize=15698656 CPUtime=0 cores=0,2,4,6
/proc/20909/task/20927/stat : 20927 (java) S 20907 20909 20530 0 -1 4202560 61 0 0 0 0 0 0 0 15 0 22 0 524801590 16075423744 74693 33554432000 1073741824 1073778376 140736110802304 18446744073709551615 251826056704 0 4 0 16800975 18446604453744991232 0 0 -1 4 0 0 0
[pid=20909/tid=20928] ppid=20907 vsize=15698656 CPUtime=1166.82 cores=0,2,4,6
/proc/20909/task/20928/stat : 20928 (java) R 20907 20909 20530 0 -1 4202560 181801 0 0 0 116647 35 0 0 25 0 22 0 524801618 16075423744 74693 33554432000 1073741824 1073778376 140736110802304 18446744073709551615 46912505805470 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=20909/tid=20929] ppid=20907 vsize=15698656 CPUtime=1168 cores=0,2,4,6
/proc/20909/task/20929/stat : 20929 (java) R 20907 20909 20530 0 -1 4202560 180243 0 0 0 116768 32 0 0 25 0 22 0 524801618 16075423744 74693 33554432000 1073741824 1073778376 140736110802304 18446744073709551615 46912506004411 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=20909/tid=20930] ppid=20907 vsize=15698656 CPUtime=1166.96 cores=0,2,4,6
/proc/20909/task/20930/stat : 20930 (java) R 20907 20909 20530 0 -1 4202560 184459 0 0 0 116660 36 0 0 25 0 22 0 524801618 16075423744 74693 33554432000 1073741824 1073778376 140736110802304 18446744073709551615 46912505713450 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=20909/tid=20931] ppid=20907 vsize=15698656 CPUtime=1167.3 cores=0,2,4,6
/proc/20909/task/20931/stat : 20931 (java) R 20907 20909 20530 0 -1 4202560 179111 0 0 0 116698 32 0 0 25 0 22 0 524801618 16075423744 74693 33554432000 1073741824 1073778376 140736110802304 18446744073709551615 46912506037891 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4700.23
Current children cumulated vsize (KiB) 15698656



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1207.4 s]
/proc/loadavg: 7.95 8.04 8.06 9/220 21024
/proc/meminfo: memFree=30259076/32950928 swapFree=67111448/67111528
[pid=20909] ppid=20907 vsize=15698656 CPUtime=4800.07 cores=0,2,4,6
/proc/20909/stat : 20909 (java) S 20907 20909 20530 0 -1 4202496 1310400 0 1 0 479650 357 0 0 25 0 22 0 524801585 16075423744 76727 33554432000 1073741824 1073778376 140736110802304 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/20909/statm: 3924664 76727 2299 9 0 3915383 0
[pid=20909/tid=20911] ppid=20907 vsize=15698656 CPUtime=0.51 cores=0,2,4,6
/proc/20909/task/20911/stat : 20911 (java) S 20907 20909 20530 0 -1 4202560 13653 0 1 0 49 2 0 0 25 0 22 0 524801586 16075423744 76727 33554432000 1073741824 1073778376 140736110802304 18446744073709551615 251826056089 0 4 0 16800975 18446604453744991232 0 0 -1 2 0 0 0
[pid=20909/tid=20912] ppid=20907 vsize=15698656 CPUtime=3.41 cores=0,2,4,6
/proc/20909/task/20912/stat : 20912 (java) S 20907 20909 20530 0 -1 4202560 66624 0 0 0 324 17 0 0 16 0 22 0 524801586 16075423744 76727 33554432000 1073741824 1073778376 140736110802304 18446744073709551615 251826056089 0 4 0 16800975 18446604453744991232 0 0 -1 0 0 0 0
[pid=20909/tid=20913] ppid=20907 vsize=15698656 CPUtime=3.43 cores=0,2,4,6
/proc/20909/task/20913/stat : 20913 (java) S 20907 20909 20530 0 -1 4202560 68873 0 0 0 325 18 0 0 15 0 22 0 524801586 16075423744 76727 33554432000 1073741824 1073778376 140736110802304 18446744073709551615 251826056089 0 4 0 16800975 18446604453744991232 0 0 -1 6 0 0 0
[pid=20909/tid=20914] ppid=20907 vsize=15698656 CPUtime=3.37 cores=0,2,4,6
/proc/20909/task/20914/stat : 20914 (java) S 20907 20909 20530 0 -1 4202560 65477 0 0 0 320 17 0 0 15 0 22 0 524801586 16075423744 76727 33554432000 1073741824 1073778376 140736110802304 18446744073709551615 251826056089 0 4 0 16800975 18446604453744991232 0 0 -1 2 0 0 0
[pid=20909/tid=20915] ppid=20907 vsize=15698656 CPUtime=3.41 cores=0,2,4,6
/proc/20909/task/20915/stat : 20915 (java) S 20907 20909 20530 0 -1 4202560 68100 0 0 0 322 19 0 0 15 0 22 0 524801586 16075423744 76727 33554432000 1073741824 1073778376 140736110802304 18446744073709551615 251826056089 0 4 0 16800975 18446604453744991232 0 0 -1 2 0 0 0
[pid=20909/tid=20916] ppid=20907 vsize=15698656 CPUtime=3.37 cores=0,2,4,6
/proc/20909/task/20916/stat : 20916 (java) S 20907 20909 20530 0 -1 4202560 69084 0 0 0 319 18 0 0 15 0 22 0 524801586 16075423744 76727 33554432000 1073741824 1073778376 140736110802304 18446744073709551615 251826056089 0 4 0 16800975 18446604453744991232 0 0 -1 4 0 0 0
[pid=20909/tid=20917] ppid=20907 vsize=15698656 CPUtime=3.38 cores=0,2,4,6
/proc/20909/task/20917/stat : 20917 (java) S 20907 20909 20530 0 -1 4202560 66035 0 0 0 319 19 0 0 16 0 22 0 524801586 16075423744 76727 33554432000 1073741824 1073778376 140736110802304 18446744073709551615 251826056089 0 4 0 16800975 18446604453744991232 0 0 -1 6 0 0 0
[pid=20909/tid=20918] ppid=20907 vsize=15698656 CPUtime=3.39 cores=0,2,4,6
/proc/20909/task/20918/stat : 20918 (java) S 20907 20909 20530 0 -1 4202560 64893 0 0 0 321 18 0 0 15 0 22 0 524801586 16075423744 76727 33554432000 1073741824 1073778376 140736110802304 18446744073709551615 251826056089 0 4 0 16800975 18446604453744991232 0 0 -1 4 0 0 0
[pid=20909/tid=20919] ppid=20907 vsize=15698656 CPUtime=3.37 cores=0,2,4,6
/proc/20909/task/20919/stat : 20919 (java) S 20907 20909 20530 0 -1 4202560 66906 0 0 0 318 19 0 0 15 0 22 0 524801586 16075423744 76727 33554432000 1073741824 1073778376 140736110802304 18446744073709551615 251826056089 0 4 0 16800975 18446604453744991232 0 0 -1 6 0 0 0
[pid=20909/tid=20920] ppid=20907 vsize=15698656 CPUtime=2.12 cores=0,2,4,6
/proc/20909/task/20920/stat : 20920 (java) S 20907 20909 20530 0 -1 4202560 3330 0 0 0 147 65 0 0 15 0 22 0 524801587 16075423744 76727 33554432000 1073741824 1073778376 140736110802304 18446744073709551615 251826056704 0 0 0 16800975 18446604453744991232 0 0 -1 0 0 0 0
[pid=20909/tid=20921] ppid=20907 vsize=15698656 CPUtime=0 cores=0,2,4,6
/proc/20909/task/20921/stat : 20921 (java) S 20907 20909 20530 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 524801588 16075423744 76727 33554432000 1073741824 1073778376 140736110802304 18446744073709551615 251826056089 0 4 0 16800975 18446604453744991232 0 0 -1 6 0 0 0
[pid=20909/tid=20922] ppid=20907 vsize=15698656 CPUtime=0 cores=0,2,4,6
/proc/20909/task/20922/stat : 20922 (java) S 20907 20909 20530 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 524801588 16075423744 76727 33554432000 1073741824 1073778376 140736110802304 18446744073709551615 251826056089 0 4 0 16800975 18446604453744991232 0 0 -1 4 0 0 0
[pid=20909/tid=20923] ppid=20907 vsize=15698656 CPUtime=0 cores=0,2,4,6
/proc/20909/task/20923/stat : 20923 (java) S 20907 20909 20530 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 524801590 16075423744 76727 33554432000 1073741824 1073778376 140736110802304 18446744073709551615 251826063793 0 4 0 16800975 18446604453744991232 0 0 -1 6 0 0 0
[pid=20909/tid=20924] ppid=20907 vsize=15698656 CPUtime=0.91 cores=0,2,4,6
/proc/20909/task/20924/stat : 20924 (java) S 20907 20909 20530 0 -1 4202560 8962 0 0 0 90 1 0 0 15 0 22 0 524801590 16075423744 76727 33554432000 1073741824 1073778376 140736110802304 18446744073709551615 251826056089 0 4 0 16800975 18446604453744991232 0 0 -1 0 0 0 0
[pid=20909/tid=20925] ppid=20907 vsize=15698656 CPUtime=0.98 cores=0,2,4,6
/proc/20909/task/20925/stat : 20925 (java) S 20907 20909 20530 0 -1 4202560 9006 0 0 0 98 0 0 0 16 0 22 0 524801590 16075423744 76727 33554432000 1073741824 1073778376 140736110802304 18446744073709551615 251826056089 0 4 0 16800975 18446604453744991232 0 0 -1 2 0 0 0
[pid=20909/tid=20926] ppid=20907 vsize=15698656 CPUtime=0 cores=0,2,4,6
/proc/20909/task/20926/stat : 20926 (java) S 20907 20909 20530 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 524801590 16075423744 76727 33554432000 1073741824 1073778376 140736110802304 18446744073709551615 251826056089 0 4 0 16800975 18446604453744991232 0 0 -1 2 0 0 0
[pid=20909/tid=20927] ppid=20907 vsize=15698656 CPUtime=0 cores=0,2,4,6
/proc/20909/task/20927/stat : 20927 (java) S 20907 20909 20530 0 -1 4202560 61 0 0 0 0 0 0 0 15 0 22 0 524801590 16075423744 76727 33554432000 1073741824 1073778376 140736110802304 18446744073709551615 251826056704 0 4 0 16800975 18446604453744991232 0 0 -1 4 0 0 0
[pid=20909/tid=20928] ppid=20907 vsize=15698656 CPUtime=1191.63 cores=0,2,4,6
/proc/20909/task/20928/stat : 20928 (java) R 20907 20909 20530 0 -1 4202560 184789 0 0 0 119127 36 0 0 25 0 22 0 524801618 16075423744 76727 33554432000 1073741824 1073778376 140736110802304 18446744073709551615 46912505814039 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=20909/tid=20929] ppid=20907 vsize=15698656 CPUtime=1192.83 cores=0,2,4,6
/proc/20909/task/20929/stat : 20929 (java) R 20907 20909 20530 0 -1 4202560 183487 0 0 0 119250 33 0 0 25 0 22 0 524801618 16075423744 76727 33554432000 1073741824 1073778376 140736110802304 18446744073709551615 46912505712876 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=20909/tid=20930] ppid=20907 vsize=15698656 CPUtime=1191.7 cores=0,2,4,6
/proc/20909/task/20930/stat : 20930 (java) R 20907 20909 20530 0 -1 4202560 187354 0 0 0 119134 36 0 0 25 0 22 0 524801618 16075423744 76727 33554432000 1073741824 1073778376 140736110802304 18446744073709551615 46912505730203 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=20909/tid=20931] ppid=20907 vsize=15698656 CPUtime=1192.13 cores=0,2,4,6
/proc/20909/task/20931/stat : 20931 (java) R 20907 20909 20530 0 -1 4202560 182380 0 0 0 119181 32 0 0 25 0 22 0 524801618 16075423744 76727 33554432000 1073741824 1073778376 140736110802304 18446744073709551615 46912506037713 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.07
Current children cumulated vsize (KiB) 15698656

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

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

Child status: 143
Real time (s): 1207.43
CPU time (s): 4800.13
CPU user time (s): 4796.53
CPU system time (s): 3.59345
CPU usage (%): 397.549
Max. virtual memory (cumulated for all children) (KiB): 15699304

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4796.53
system time used= 3.59345
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1310426
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= 303652
involuntary context switches= 157003

runsolver used 1.93471 second user time and 4.70129 second system time

The end

Launcher Data 

Begin job on node126 at 2011-04-30 04:53:49
IDJOB=3311514
IDBENCH=82899
IDSOLVER=1698
FILE ID=node126/3311514-1304132029
RUNJOBID= node126-1304129539-20548
PBS_JOBID= 13170788
Free space on /tmp= 73180 MiB

SOLVER NAME= STRUCTure 0.1 (hbr=2)
BENCH NAME= SAT11/random/medium/unif-k7-r89-v70-c6230-S1018943457-089.SATISFIABLE.cnf
COMMAND LINE= run 15000 NBCORE TMPDIR DIR BENCHNAME -hbr 2
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3311514-1304132029/watcher-3311514-1304132029 -o /tmp/evaluation-result-3311514-1304132029/solver-3311514-1304132029 -C 4800 -W 1300 -M 15500  run 15000 4 HOME HOME HOME/instance-3311514-1304132029.cnf -hbr 2

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

MD5SUM BENCH= 7cd6933caf30eeec07acd345d22c5bcd
RANDOM SEED=1944635101

node126.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.783
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.56
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.783
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.783
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.74
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.783
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.74
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.783
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.783
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.783
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.783
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.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      30524964 kB
Buffers:        279300 kB
Cached:        1422208 kB
SwapCached:         76 kB
Active:         498480 kB
Inactive:      1616136 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30524964 kB
SwapTotal:    67111528 kB
SwapFree:     67111448 kB
Dirty:            2068 kB
Writeback:           0 kB
AnonPages:      412596 kB
Mapped:          23600 kB
Slab:           247496 kB
PageTables:       5492 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   844436 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= 73180 MiB
End job on node126 at 2011-04-30 05:13:58