Trace number 3313407

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.36 1205.68

General information on the benchmark

Nameapplication/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom13.cnf
MD5SUMf3c2fb082f5fbc8fb1f714d6ee13929d
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark53.8988
Satisfiable
(Un)Satisfiability was proved
Number of variables19995
Number of clauses66333
Sum of the clauses size168341
Maximum clause length698
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 235137
Number of clauses of size 330832
Number of clauses of size 490
Number of clauses of size 511
Number of clauses of size over 5262

Solver Data 

0.09/0.12	20:21 INFO : Reading from input HOME/instance-3313407-1304180421.cnf
0.71/0.52	Executor set job limit to 1000000
0.71/0.52	Executor set job limit to 1000000
0.71/0.52	Executor set job limit to 1000000
0.71/0.52	Executor set job limit to 1000000
0.71/0.52	Starting Executor!
0.71/0.53	Starting Executor!
0.71/0.53	Starting Executor!
0.71/0.53	Starting Executor!
2.25/1.26	20:22 INFO : Found 4160 xor gates
4.14/2.00	20:23 INFO : 18138 variables remaining out of 19995
4.14/2.00	20:23 INFO : 517712 literals remaining out of 184754

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

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

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


[startup+0 s]
/proc/loadavg: 5.96 7.58 7.90 2/174 10828
/proc/meminfo: memFree=30564224/32951124 swapFree=67110188/67111528
[pid=10828] ppid=10826 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/10828/stat : 10828 (java) R 10826 10828 10329 0 -1 4202496 1194 0 0 0 0 0 0 0 22 0 1 0 529642863 23580672 679 33554432000 1073741824 1073778376 140734424048624 18446744073709551615 222916807536 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/10828/statm: 5757 679 505 9 0 124 0

[startup+0.078648 s]
/proc/loadavg: 5.96 7.58 7.90 2/174 10828
/proc/meminfo: memFree=30564224/32951124 swapFree=67110188/67111528
[pid=10828] ppid=10826 vsize=15609916 CPUtime=0.06 cores=1,3,5,7
/proc/10828/stat : 10828 (java) S 10826 10828 10329 0 -1 4202496 4494 0 1 0 5 1 0 0 22 0 18 0 529642863 15984553984 3932 33554432000 1073741824 1073778376 140734424048624 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/10828/statm: 3902479 3932 1779 9 0 3893198 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 15609916

[startup+0.100666 s]
/proc/loadavg: 5.96 7.58 7.90 2/174 10828
/proc/meminfo: memFree=30564224/32951124 swapFree=67110188/67111528
[pid=10828] ppid=10826 vsize=15676876 CPUtime=0.09 cores=1,3,5,7
/proc/10828/stat : 10828 (java) S 10826 10828 10329 0 -1 4202496 5520 0 1 0 8 1 0 0 22 0 18 0 529642863 16053121024 4956 33554432000 1073741824 1073778376 140734424048624 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/10828/statm: 3919219 4956 2116 9 0 3909938 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15676876

[startup+0.300617 s]
/proc/loadavg: 5.96 7.58 7.90 2/174 10828
/proc/meminfo: memFree=30564224/32951124 swapFree=67110188/67111528
[pid=10828] ppid=10826 vsize=15684504 CPUtime=0.51 cores=1,3,5,7
/proc/10828/stat : 10828 (java) S 10826 10828 10329 0 -1 4202496 15531 0 1 0 48 3 0 0 22 0 18 0 529642863 16060932096 13696 33554432000 1073741824 1073778376 140734424048624 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/10828/statm: 3921126 13701 2207 9 0 3911845 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 15684504

[startup+0.7005 s]
/proc/loadavg: 5.96 7.58 7.90 2/174 10828
/proc/meminfo: memFree=30564224/32951124 swapFree=67110188/67111528
[pid=10828] ppid=10826 vsize=15688616 CPUtime=1.15 cores=1,3,5,7
/proc/10828/stat : 10828 (java) S 10826 10828 10329 0 -1 4202496 44593 0 1 0 108 7 0 0 22 0 22 0 529642863 16065142784 41541 33554432000 1073741824 1073778376 140734424048624 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/10828/statm: 3922154 41541 2254 9 0 3912873 0
Current children cumulated CPU time (s) 1.15
Current children cumulated vsize (KiB) 15688616

[startup+1.50136 s]
/proc/loadavg: 5.73 7.50 7.87 4/216 10874
/proc/meminfo: memFree=30230144/32951124 swapFree=67110188/67111528
[pid=10828] ppid=10826 vsize=15695604 CPUtime=3.13 cores=1,3,5,7
/proc/10828/stat : 10828 (java) S 10826 10828 10329 0 -1 4202496 56846 0 1 0 304 9 0 0 22 0 22 0 529642863 16072298496 49756 33554432000 1073741824 1073778376 140734424048624 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/10828/statm: 3923901 49756 2267 9 0 3914620 0
[pid=10828/tid=10830] ppid=10826 vsize=15695604 CPUtime=1.48 cores=1,3,5,7
/proc/10828/task/10830/stat : 10830 (java) R 10826 10828 10329 0 -1 4202560 35658 0 1 0 142 6 0 0 22 0 22 0 529642864 16072298496 49756 33554432000 1073741824 1073778376 140734424048624 18446744073709551615 46912505183371 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=10828/tid=10831] ppid=10826 vsize=15695604 CPUtime=0 cores=1,3,5,7
/proc/10828/task/10831/stat : 10831 (java) S 10826 10828 10329 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 22 0 529642864 16072298496 49756 33554432000 1073741824 1073778376 140734424048624 18446744073709551615 222933592985 0 4 0 16800975 18446604469130670336 0 0 -1 5 0 0 0
[pid=10828/tid=10832] ppid=10826 vsize=15695604 CPUtime=0 cores=1,3,5,7
/proc/10828/task/10832/stat : 10832 (java) S 10826 10828 10329 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 529642864 16072298496 49756 33554432000 1073741824 1073778376 140734424048624 18446744073709551615 222933592985 0 4 0 16800975 18446604469130670336 0 0 -1 1 0 0 0
[pid=10828/tid=10833] ppid=10826 vsize=15695604 CPUtime=0 cores=1,3,5,7
/proc/10828/task/10833/stat : 10833 (java) S 10826 10828 10329 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 529642864 16072298496 49756 33554432000 1073741824 1073778376 140734424048624 18446744073709551615 222933592985 0 4 0 16800975 18446604469130670336 0 0 -1 1 0 0 0
[pid=10828/tid=10834] ppid=10826 vsize=15695604 CPUtime=0 cores=1,3,5,7
/proc/10828/task/10834/stat : 10834 (java) S 10826 10828 10329 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 529642864 16072298496 49756 33554432000 1073741824 1073778376 140734424048624 18446744073709551615 222933592985 0 4 0 16800975 18446604469130670336 0 0 -1 1 0 0 0
[pid=10828/tid=10835] ppid=10826 vsize=15695604 CPUtime=0 cores=1,3,5,7
/proc/10828/task/10835/stat : 10835 (java) S 10826 10828 10329 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 529642864 16072298496 49756 33554432000 1073741824 1073778376 140734424048624 18446744073709551615 222933592985 0 4 0 16800975 18446604469130670336 0 0 -1 1 0 0 0
[pid=10828/tid=10836] ppid=10826 vsize=15695604 CPUtime=0 cores=1,3,5,7
/proc/10828/task/10836/stat : 10836 (java) S 10826 10828 10329 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 529642864 16072298496 49756 33554432000 1073741824 1073778376 140734424048624 18446744073709551615 222933592985 0 4 0 16800975 18446604469130670336 0 0 -1 1 0 0 0
[pid=10828/tid=10837] ppid=10826 vsize=15695604 CPUtime=0 cores=1,3,5,7
/proc/10828/task/10837/stat : 10837 (java) S 10826 10828 10329 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 529642864 16072298496 49756 33554432000 1073741824 1073778376 140734424048624 18446744073709551615 222933592985 0 4 0 16800975 18446604469130670336 0 0 -1 1 0 0 0
[pid=10828/tid=10838] ppid=10826 vsize=15695604 CPUtime=0 cores=1,3,5,7
/proc/10828/task/10838/stat : 10838 (java) S 10826 10828 10329 0 -1 4202560 378 0 0 0 0 0 0 0 21 0 22 0 529642864 16072298496 49756 33554432000 1073741824 1073778376 140734424048624 18446744073709551615 222933592985 0 4 0 16800975 18446604469130670336 0 0 -1 1 0 0 0
[pid=10828/tid=10839] ppid=10826 vsize=15695604 CPUtime=0 cores=1,3,5,7
/proc/10828/task/10839/stat : 10839 (java) S 10826 10828 10329 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 22 0 529642865 16072298496 49756 33554432000 1073741824 1073778376 140734424048624 18446744073709551615 222933593600 0 0 0 16800975 18446604469130670336 0 0 -1 7 0 0 0
[pid=10828/tid=10840] ppid=10826 vsize=15695604 CPUtime=0 cores=1,3,5,7
/proc/10828/task/10840/stat : 10840 (java) S 10826 10828 10329 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 22 0 529642866 16072298496 49756 33554432000 1073741824 1073778376 140734424048624 18446744073709551615 222933592985 0 4 0 16800975 18446604469130670336 0 0 -1 1 0 0 0
[pid=10828/tid=10841] ppid=10826 vsize=15695604 CPUtime=0 cores=1,3,5,7
/proc/10828/task/10841/stat : 10841 (java) S 10826 10828 10329 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 22 0 529642866 16072298496 49756 33554432000 1073741824 1073778376 140734424048624 18446744073709551615 222933592985 0 4 0 16800975 18446604469130670336 0 0 -1 1 0 0 0
[pid=10828/tid=10842] ppid=10826 vsize=15695604 CPUtime=0 cores=1,3,5,7
/proc/10828/task/10842/stat : 10842 (java) S 10826 10828 10329 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529642868 16072298496 49756 33554432000 1073741824 1073778376 140734424048624 18446744073709551615 222933600689 0 4 0 16800975 18446604469130670336 0 0 -1 5 0 0 0
[pid=10828/tid=10843] ppid=10826 vsize=15695604 CPUtime=0.6 cores=1,3,5,7
/proc/10828/task/10843/stat : 10843 (java) R 10826 10828 10329 0 -1 4202560 4561 0 0 0 60 0 0 0 19 0 22 0 529642868 16072298496 49756 33554432000 1073741824 1073778376 140734424048624 18446744073709551615 222921437095 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=10828/tid=10844] ppid=10826 vsize=15695604 CPUtime=1.02 cores=1,3,5,7
/proc/10828/task/10844/stat : 10844 (java) R 10826 10828 10329 0 -1 4202560 14764 0 0 0 100 2 0 0 18 0 22 0 529642868 16072298496 49756 33554432000 1073741824 1073778376 140734424048624 18446744073709551615 47732848776301 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=10828/tid=10845] ppid=10826 vsize=15695604 CPUtime=0 cores=1,3,5,7
/proc/10828/task/10845/stat : 10845 (java) S 10826 10828 10329 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529642868 16072298496 49756 33554432000 1073741824 1073778376 140734424048624 18446744073709551615 222933592985 0 4 0 16800975 18446604469130670336 0 0 -1 5 0 0 0
[pid=10828/tid=10846] ppid=10826 vsize=15695604 CPUtime=0 cores=1,3,5,7
/proc/10828/task/10846/stat : 10846 (java) S 10826 10828 10329 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 529642868 16072298496 49756 33554432000 1073741824 1073778376 140734424048624 18446744073709551615 222933593600 0 4 0 16800975 18446604469130670336 0 0 -1 7 0 0 0
[pid=10828/tid=10870] ppid=10826 vsize=15695604 CPUtime=0 cores=1,3,5,7
/proc/10828/task/10870/stat : 10870 (java) S 10826 10828 10329 0 -1 4202560 14 0 0 0 0 0 0 0 15 0 22 0 529642916 16072298496 49756 33554432000 1073741824 1073778376 140734424048624 18446744073709551615 222933593600 0 4 0 16800975 18446604469130670336 0 0 -1 5 0 0 0
[pid=10828/tid=10871] ppid=10826 vsize=15695604 CPUtime=0 cores=1,3,5,7
/proc/10828/task/10871/stat : 10871 (java) S 10826 10828 10329 0 -1 4202560 12 0 0 0 0 0 0 0 15 0 22 0 529642916 16072298496 49756 33554432000 1073741824 1073778376 140734424048624 18446744073709551615 222933593600 0 4 0 16800975 18446604469130670336 0 0 -1 5 0 0 0
[pid=10828/tid=10872] ppid=10826 vsize=15695604 CPUtime=0 cores=1,3,5,7
/proc/10828/task/10872/stat : 10872 (java) S 10826 10828 10329 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 22 0 529642916 16072298496 49756 33554432000 1073741824 1073778376 140734424048624 18446744073709551615 222933593600 0 4 0 16800975 18446604469130670336 0 0 -1 3 0 0 0
[pid=10828/tid=10873] ppid=10826 vsize=15695604 CPUtime=0 cores=1,3,5,7
/proc/10828/task/10873/stat : 10873 (java) S 10826 10828 10329 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 22 0 529642916 16072298496 49756 33554432000 1073741824 1073778376 140734424048624 18446744073709551615 222933593600 0 4 0 16800975 18446604469130670336 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.13
Current children cumulated vsize (KiB) 15695604

[startup+3.1011 s]
/proc/loadavg: 5.73 7.50 7.87 6/220 10878
/proc/meminfo: memFree=30179908/32951124 swapFree=67110188/67111528
[pid=10828] ppid=10826 vsize=15696104 CPUtime=6.15 cores=1,3,5,7
/proc/10828/stat : 10828 (java) S 10826 10828 10329 0 -1 4202496 74551 0 1 0 604 11 0 0 22 0 22 0 529642863 16072810496 67369 33554432000 1073741824 1073778376 140734424048624 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/10828/statm: 3924026 67369 2278 9 0 3914745 0
[pid=10828/tid=10830] ppid=10826 vsize=15696104 CPUtime=1.99 cores=1,3,5,7
/proc/10828/task/10830/stat : 10830 (java) S 10826 10828 10329 0 -1 4202560 35700 0 1 0 193 6 0 0 23 0 22 0 529642864 16072810496 67369 33554432000 1073741824 1073778376 140734424048624 18446744073709551615 222933592985 0 4 0 16800975 18446604469130670336 0 0 -1 1 0 0 0
[pid=10828/tid=10831] ppid=10826 vsize=15696104 CPUtime=0.02 cores=1,3,5,7
/proc/10828/task/10831/stat : 10831 (java) S 10826 10828 10329 0 -1 4202560 3280 0 0 0 2 0 0 0 18 0 22 0 529642864 16072810496 67369 33554432000 1073741824 1073778376 140734424048624 18446744073709551615 222933592985 0 4 0 16800975 18446604469130670336 0 0 -1 7 0 0 0
[pid=10828/tid=10832] ppid=10826 vsize=15696104 CPUtime=0 cores=1,3,5,7
/proc/10828/task/10832/stat : 10832 (java) S 10826 10828 10329 0 -1 4202560 2752 0 0 0 0 0 0 0 18 0 22 0 529642864 16072810496 67369 33554432000 1073741824 1073778376 140734424048624 18446744073709551615 222933592985 0 4 0 16800975 18446604469130670336 0 0 -1 5 0 0 0
[pid=10828/tid=10833] ppid=10826 vsize=15696104 CPUtime=0.01 cores=1,3,5,7
/proc/10828/task/10833/stat : 10833 (java) S 10826 10828 10329 0 -1 4202560 2114 0 0 0 1 0 0 0 16 0 22 0 529642864 16072810496 67369 33554432000 1073741824 1073778376 140734424048624 18446744073709551615 222933592985 0 4 0 16800975 18446604469130670336 0 0 -1 5 0 0 0
[pid=10828/tid=10834] ppid=10826 vsize=15696104 CPUtime=0 cores=1,3,5,7
/proc/10828/task/10834/stat : 10834 (java) S 10826 10828 10329 0 -1 4202560 1563 0 0 0 0 0 0 0 17 0 22 0 529642864 16072810496 67369 33554432000 1073741824 1073778376 140734424048624 18446744073709551615 222933592985 0 4 0 16800975 18446604469130670336 0 0 -1 5 0 0 0
[pid=10828/tid=10835] ppid=10826 vsize=15696104 CPUtime=0.02 cores=1,3,5,7
/proc/10828/task/10835/stat : 10835 (java) S 10826 10828 10329 0 -1 4202560 4790 0 0 0 2 0 0 0 18 0 22 0 529642864 16072810496 67369 33554432000 1073741824 1073778376 140734424048624 18446744073709551615 222933592985 0 4 0 16800975 18446604469130670336 0 0 -1 5 0 0 0
[pid=10828/tid=10836] ppid=10826 vsize=15696104 CPUtime=0.01 cores=1,3,5,7
/proc/10828/task/10836/stat : 10836 (java) S 10826 10828 10329 0 -1 4202560 2685 0 0 0 1 0 0 0 16 0 22 0 529642864 16072810496 67369 33554432000 1073741824 1073778376 140734424048624 18446744073709551615 222933592985 0 4 0 16800975 18446604469130670336 0 0 -1 5 0 0 0
[pid=10828/tid=10837] ppid=10826 vsize=15696104 CPUtime=0 cores=1,3,5,7
/proc/10828/task/10837/stat : 10837 (java) S 10826 10828 10329 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 529642864 16072810496 67369 33554432000 1073741824 1073778376 140734424048624 18446744073709551615 222933592985 0 4 0 16800975 18446604469130670336 0 0 -1 1 0 0 0
[pid=10828/tid=10838] ppid=10826 vsize=15696104 CPUtime=0 cores=1,3,5,7
/proc/10828/task/10838/stat : 10838 (java) S 10826 10828 10329 0 -1 4202560 378 0 0 0 0 0 0 0 15 0 22 0 529642864 16072810496 67369 33554432000 1073741824 1073778376 140734424048624 18446744073709551615 222933592985 0 4 0 16800975 18446604469130670336 0 0 -1 1 0 0 0
[pid=10828/tid=10839] ppid=10826 vsize=15696104 CPUtime=0 cores=1,3,5,7
/proc/10828/task/10839/stat : 10839 (java) S 10826 10828 10329 0 -1 4202560 73 0 0 0 0 0 0 0 15 0 22 0 529642865 16072810496 67369 33554432000 1073741824 1073778376 140734424048624 18446744073709551615 222933593600 0 0 0 16800975 18446604469130670336 0 0 -1 5 0 0 0
[pid=10828/tid=10840] ppid=10826 vsize=15696104 CPUtime=0 cores=1,3,5,7
/proc/10828/task/10840/stat : 10840 (java) S 10826 10828 10329 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 529642866 16072810496 67369 33554432000 1073741824 1073778376 140734424048624 18446744073709551615 222933592985 0 4 0 16800975 18446604469130670336 0 0 -1 1 0 0 0
[pid=10828/tid=10841] ppid=10826 vsize=15696104 CPUtime=0 cores=1,3,5,7
/proc/10828/task/10841/stat : 10841 (java) S 10826 10828 10329 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 529642866 16072810496 67369 33554432000 1073741824 1073778376 140734424048624 18446744073709551615 222933592985 0 4 0 16800975 18446604469130670336 0 0 -1 1 0 0 0
[pid=10828/tid=10842] ppid=10826 vsize=15696104 CPUtime=0 cores=1,3,5,7
/proc/10828/task/10842/stat : 10842 (java) S 10826 10828 10329 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529642868 16072810496 67369 33554432000 1073741824 1073778376 140734424048624 18446744073709551615 222933600689 0 4 0 16800975 18446604469130670336 0 0 -1 5 0 0 0
[pid=10828/tid=10843] ppid=10826 vsize=15696104 CPUtime=1.1 cores=1,3,5,7
/proc/10828/task/10843/stat : 10843 (java) S 10826 10828 10329 0 -1 4202560 4926 0 0 0 110 0 0 0 15 0 22 0 529642868 16072810496 67369 33554432000 1073741824 1073778376 140734424048624 18446744073709551615 222933592985 0 4 0 16800975 18446604469130670336 0 0 -1 7 0 0 0
[pid=10828/tid=10844] ppid=10826 vsize=15696104 CPUtime=1.5 cores=1,3,5,7
/proc/10828/task/10844/stat : 10844 (java) S 10826 10828 10329 0 -1 4202560 14843 0 0 0 148 2 0 0 15 0 22 0 529642868 16072810496 67369 33554432000 1073741824 1073778376 140734424048624 18446744073709551615 222933592985 0 4 0 16800975 18446604469130670336 0 0 -1 3 0 0 0
[pid=10828/tid=10845] ppid=10826 vsize=15696104 CPUtime=0 cores=1,3,5,7
/proc/10828/task/10845/stat : 10845 (java) S 10826 10828 10329 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529642868 16072810496 67369 33554432000 1073741824 1073778376 140734424048624 18446744073709551615 222933592985 0 4 0 16800975 18446604469130670336 0 0 -1 5 0 0 0
[pid=10828/tid=10846] ppid=10826 vsize=15696104 CPUtime=0 cores=1,3,5,7
/proc/10828/task/10846/stat : 10846 (java) S 10826 10828 10329 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 529642868 16072810496 67369 33554432000 1073741824 1073778376 140734424048624 18446744073709551615 222933593600 0 4 0 16800975 18446604469130670336 0 0 -1 3 0 0 0
[pid=10828/tid=10870] ppid=10826 vsize=15696104 CPUtime=0.49 cores=1,3,5,7
/proc/10828/task/10870/stat : 10870 (java) S 10826 10828 10329 0 -1 4202560 27 0 0 0 49 0 0 0 15 0 22 0 529642916 16072810496 67369 33554432000 1073741824 1073778376 140734424048624 18446744073709551615 222933593600 0 4 0 16800975 18446604469130670336 0 0 -1 3 0 0 0
[pid=10828/tid=10871] ppid=10826 vsize=15696104 CPUtime=0.4 cores=1,3,5,7
/proc/10828/task/10871/stat : 10871 (java) S 10826 10828 10329 0 -1 4202560 12 0 0 0 40 0 0 0 15 0 22 0 529642916 16072810496 67369 33554432000 1073741824 1073778376 140734424048624 18446744073709551615 222933593600 0 4 0 16800975 18446604469130670336 0 0 -1 7 0 0 0
[pid=10828/tid=10872] ppid=10826 vsize=15696104 CPUtime=0.07 cores=1,3,5,7
/proc/10828/task/10872/stat : 10872 (java) R 10826 10828 10329 0 -1 4202560 11 0 0 0 7 0 0 0 15 0 22 0 529642916 16072810496 67369 33554432000 1073741824 1073778376 140734424048624 18446744073709551615 47732851774588 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=10828/tid=10873] ppid=10826 vsize=15696104 CPUtime=0.43 cores=1,3,5,7
/proc/10828/task/10873/stat : 10873 (java) S 10826 10828 10329 0 -1 4202560 9 0 0 0 43 0 0 0 15 0 22 0 529642916 16072810496 67369 33554432000 1073741824 1073778376 140734424048624 18446744073709551615 222933593600 0 4 0 16800975 18446604469130670336 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 15696104

[startup+6.30148 s]
/proc/loadavg: 5.73 7.50 7.87 5/220 10878
/proc/meminfo: memFree=29717764/32951124 swapFree=67110188/67111528
[pid=10828] ppid=10826 vsize=15696104 CPUtime=17.35 cores=1,3,5,7
/proc/10828/stat : 10828 (java) S 10826 10828 10329 0 -1 4202496 217623 0 1 0 1703 32 0 0 22 0 22 0 529642863 16072810496 208549 33554432000 1073741824 1073778376 140734424048624 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/10828/statm: 3924026 208549 2278 9 0 3914745 0
[pid=10828/tid=10830] ppid=10826 vsize=15696104 CPUtime=1.99 cores=1,3,5,7
/proc/10828/task/10830/stat : 10830 (java) S 10826 10828 10329 0 -1 4202560 35700 0 1 0 193 6 0 0 23 0 22 0 529642864 16072810496 208549 33554432000 1073741824 1073778376 140734424048624 18446744073709551615 222933592985 0 4 0 16800975 18446604469130670336 0 0 -1 1 0 0 0
[pid=10828/tid=10831] ppid=10826 vsize=15696104 CPUtime=0.02 cores=1,3,5,7
/proc/10828/task/10831/stat : 10831 (java) S 10826 10828 10329 0 -1 4202560 3739 0 0 0 2 0 0 0 15 0 22 0 529642864 16072810496 208549 33554432000 1073741824 1073778376 140734424048624 18446744073709551615 222933592985 0 4 0 16800975 18446604469130670336 0 0 -1 5 0 0 0
[pid=10828/tid=10832] ppid=10826 vsize=15696104 CPUtime=0.07 cores=1,3,5,7
/proc/10828/task/10832/stat : 10832 (java) S 10826 10828 10329 0 -1 4202560 17022 0 0 0 5 2 0 0 15 0 22 0 529642864 16072810496 208549 33554432000 1073741824 1073778376 140734424048624 18446744073709551615 222933592985 0 4 0 16800975 18446604469130670336 0 0 -1 7 0 0 0
[pid=10828/tid=10833] ppid=10826 vsize=15696104 CPUtime=0.03 cores=1,3,5,7
/proc/10828/task/10833/stat : 10833 (java) S 10826 10828 10329 0 -1 4202560 5348 0 0 0 3 0 0 0 15 0 22 0 529642864 16072810496 208549 33554432000 1073741824 1073778376 140734424048624 18446744073709551615 222933592985 0 4 0 16800975 18446604469130670336 0 0 -1 5 0 0 0
[pid=10828/tid=10834] ppid=10826 vsize=15696104 CPUtime=0.07 cores=1,3,5,7
/proc/10828/task/10834/stat : 10834 (java) S 10826 10828 10329 0 -1 4202560 11123 0 0 0 5 2 0 0 15 0 22 0 529642864 16072810496 208549 33554432000 1073741824 1073778376 140734424048624 18446744073709551615 222933592985 0 4 0 16800975 18446604469130670336 0 0 -1 3 0 0 0
[pid=10828/tid=10835] ppid=10826 vsize=15696104 CPUtime=0.07 cores=1,3,5,7
/proc/10828/task/10835/stat : 10835 (java) S 10826 10828 10329 0 -1 4202560 13204 0 0 0 5 2 0 0 16 0 22 0 529642864 16072810496 208549 33554432000 1073741824 1073778376 140734424048624 18446744073709551615 222933592985 0 4 0 16800975 18446604469130670336 0 0 -1 1 0 0 0
[pid=10828/tid=10836] ppid=10826 vsize=15696104 CPUtime=0.09 cores=1,3,5,7
/proc/10828/task/10836/stat : 10836 (java) S 10826 10828 10329 0 -1 4202560 15386 0 0 0 7 2 0 0 16 0 22 0 529642864 16072810496 208549 33554432000 1073741824 1073778376 140734424048624 18446744073709551615 222933592985 0 4 0 16800975 18446604469130670336 0 0 -1 7 0 0 0
[pid=10828/tid=10837] ppid=10826 vsize=15696104 CPUtime=0.05 cores=1,3,5,7
/proc/10828/task/10837/stat : 10837 (java) S 10826 10828 10329 0 -1 4202560 9709 0 0 0 4 1 0 0 15 0 22 0 529642864 16072810496 208549 33554432000 1073741824 1073778376 140734424048624 18446744073709551615 222933592985 0 4 0 16800975 18446604469130670336 0 0 -1 1 0 0 0
[pid=10828/tid=10838] ppid=10826 vsize=15696104 CPUtime=0.06 cores=1,3,5,7
/proc/10828/task/10838/stat : 10838 (java) S 10826 10828 10329 0 -1 4202560 11630 0 0 0 5 1 0 0 16 0 22 0 529642864 16072810496 208549 33554432000 1073741824 1073778376 140734424048624 18446744073709551615 222933592985 0 4 0 16800975 18446604469130670336 0 0 -1 1 0 0 0
[pid=10828/tid=10839] ppid=10826 vsize=15696104 CPUtime=0 cores=1,3,5,7
/proc/10828/task/10839/stat : 10839 (java) S 10826 10828 10329 0 -1 4202560 528 0 0 0 0 0 0 0 15 0 22 0 529642865 16072810496 208549 33554432000 1073741824 1073778376 140734424048624 18446744073709551615 222933593600 0 0 0 16800975 18446604469130670336 0 0 -1 5 0 0 0
[pid=10828/tid=10840] ppid=10826 vsize=15696104 CPUtime=0 cores=1,3,5,7
/proc/10828/task/10840/stat : 10840 (java) S 10826 10828 10329 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 529642866 16072810496 208549 33554432000 1073741824 1073778376 140734424048624 18446744073709551615 222933592985 0 4 0 16800975 18446604469130670336 0 0 -1 1 0 0 0
[pid=10828/tid=10841] ppid=10826 vsize=15696104 CPUtime=0 cores=1,3,5,7
/proc/10828/task/10841/stat : 10841 (java) S 10826 10828 10329 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 529642866 16072810496 208549 33554432000 1073741824 1073778376 140734424048624 18446744073709551615 222933592985 0 4 0 16800975 18446604469130670336 0 0 -1 1 0 0 0
[pid=10828/tid=10842] ppid=10826 vsize=15696104 CPUtime=0 cores=1,3,5,7
/proc/10828/task/10842/stat : 10842 (java) S 10826 10828 10329 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529642868 16072810496 208549 33554432000 1073741824 1073778376 140734424048624 18446744073709551615 222933600689 0 4 0 16800975 18446604469130670336 0 0 -1 5 0 0 0
[pid=10828/tid=10843] ppid=10826 vsize=15696104 CPUtime=1.13 cores=1,3,5,7
/proc/10828/task/10843/stat : 10843 (java) S 10826 10828 10329 0 -1 4202560 4929 0 0 0 113 0 0 0 15 0 22 0 529642868 16072810496 208549 33554432000 1073741824 1073778376 140734424048624 18446744073709551615 222933592985 0 4 0 16800975 18446604469130670336 0 0 -1 1 0 0 0

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

[pid=10828/tid=10871] ppid=10826 vsize=15696104 CPUtime=1049.69 cores=1,3,5,7
/proc/10828/task/10871/stat : 10871 (java) R 10826 10828 10329 0 -1 4202560 466587 0 0 0 104913 56 0 0 25 0 22 0 529642916 16072810496 475342 33554432000 1073741824 1073778376 140734424048624 18446744073709551615 46912506085954 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=10828/tid=10872] ppid=10826 vsize=15696104 CPUtime=1047.5 cores=1,3,5,7
/proc/10828/task/10872/stat : 10872 (java) R 10826 10828 10329 0 -1 4202560 435318 0 0 0 104703 47 0 0 25 0 22 0 529642916 16072810496 475342 33554432000 1073741824 1073778376 140734424048624 18446744073709551615 46912506086415 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=10828/tid=10873] ppid=10826 vsize=15696104 CPUtime=1048.57 cores=1,3,5,7
/proc/10828/task/10873/stat : 10873 (java) R 10826 10828 10329 0 -1 4202560 438400 0 0 0 104806 51 0 0 25 0 22 0 529642916 16072810496 475342 33554432000 1073741824 1073778376 140734424048624 18446744073709551615 46912506085703 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4228.88
Current children cumulated vsize (KiB) 15696104

[startup+1122.3 s]
/proc/loadavg: 8.15 8.10 8.00 9/220 10907
/proc/meminfo: memFree=22011832/32951124 swapFree=67110188/67111528
[pid=10828] ppid=10826 vsize=15696104 CPUtime=4468.11 cores=1,3,5,7
/proc/10828/stat : 10828 (java) S 10826 10828 10329 0 -1 4202496 3572816 0 1 0 446283 528 0 0 22 0 22 0 529642863 16072810496 417792 33554432000 1073741824 1073778376 140734424048624 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/10828/statm: 3924026 417792 2297 9 0 3914745 0
[pid=10828/tid=10830] ppid=10826 vsize=15696104 CPUtime=1.99 cores=1,3,5,7
/proc/10828/task/10830/stat : 10830 (java) S 10826 10828 10329 0 -1 4202560 35700 0 1 0 193 6 0 0 23 0 22 0 529642864 16072810496 417792 33554432000 1073741824 1073778376 140734424048624 18446744073709551615 222933592985 0 4 0 16800975 18446604469130670336 0 0 -1 1 0 0 0
[pid=10828/tid=10831] ppid=10826 vsize=15696104 CPUtime=3.49 cores=1,3,5,7
/proc/10828/task/10831/stat : 10831 (java) S 10826 10828 10329 0 -1 4202560 180335 0 0 0 322 27 0 0 15 0 22 0 529642864 16072810496 417792 33554432000 1073741824 1073778376 140734424048624 18446744073709551615 222933592985 0 4 0 16800975 18446604469130670336 0 0 -1 7 0 0 0
[pid=10828/tid=10832] ppid=10826 vsize=15696104 CPUtime=3.51 cores=1,3,5,7
/proc/10828/task/10832/stat : 10832 (java) S 10826 10828 10329 0 -1 4202560 197553 0 0 0 322 29 0 0 15 0 22 0 529642864 16072810496 417792 33554432000 1073741824 1073778376 140734424048624 18446744073709551615 222933592985 0 4 0 16800975 18446604469130670336 0 0 -1 5 0 0 0
[pid=10828/tid=10833] ppid=10826 vsize=15696104 CPUtime=3.86 cores=1,3,5,7
/proc/10828/task/10833/stat : 10833 (java) S 10826 10828 10329 0 -1 4202560 209374 0 0 0 353 33 0 0 16 0 22 0 529642864 16072810496 417792 33554432000 1073741824 1073778376 140734424048624 18446744073709551615 222933592985 0 4 0 16800975 18446604469130670336 0 0 -1 7 0 0 0
[pid=10828/tid=10834] ppid=10826 vsize=15696104 CPUtime=3.76 cores=1,3,5,7
/proc/10828/task/10834/stat : 10834 (java) S 10826 10828 10329 0 -1 4202560 194862 0 0 0 348 28 0 0 15 0 22 0 529642864 16072810496 417792 33554432000 1073741824 1073778376 140734424048624 18446744073709551615 222933592985 0 4 0 16800975 18446604469130670336 0 0 -1 5 0 0 0
[pid=10828/tid=10835] ppid=10826 vsize=15696104 CPUtime=3.86 cores=1,3,5,7
/proc/10828/task/10835/stat : 10835 (java) S 10826 10828 10329 0 -1 4202560 200997 0 0 0 356 30 0 0 16 0 22 0 529642864 16072810496 417792 33554432000 1073741824 1073778376 140734424048624 18446744073709551615 222933592985 0 4 0 16800975 18446604469130670336 0 0 -1 5 0 0 0
[pid=10828/tid=10836] ppid=10826 vsize=15696104 CPUtime=3.54 cores=1,3,5,7
/proc/10828/task/10836/stat : 10836 (java) S 10826 10828 10329 0 -1 4202560 227292 0 0 0 321 33 0 0 16 0 22 0 529642864 16072810496 417792 33554432000 1073741824 1073778376 140734424048624 18446744073709551615 222933592985 0 4 0 16800975 18446604469130670336 0 0 -1 7 0 0 0
[pid=10828/tid=10837] ppid=10826 vsize=15696104 CPUtime=3.92 cores=1,3,5,7
/proc/10828/task/10837/stat : 10837 (java) S 10826 10828 10329 0 -1 4202560 198716 0 0 0 359 33 0 0 16 0 22 0 529642864 16072810496 417792 33554432000 1073741824 1073778376 140734424048624 18446744073709551615 222933592985 0 4 0 16800975 18446604469130670336 0 0 -1 1 0 0 0
[pid=10828/tid=10838] ppid=10826 vsize=15696104 CPUtime=3.88 cores=1,3,5,7
/proc/10828/task/10838/stat : 10838 (java) S 10826 10828 10329 0 -1 4202560 243429 0 0 0 349 39 0 0 15 0 22 0 529642864 16072810496 417792 33554432000 1073741824 1073778376 140734424048624 18446744073709551615 222933592985 0 4 0 16800975 18446604469130670336 0 0 -1 5 0 0 0
[pid=10828/tid=10839] ppid=10826 vsize=15696104 CPUtime=1.8 cores=1,3,5,7
/proc/10828/task/10839/stat : 10839 (java) S 10826 10828 10329 0 -1 4202560 8404 0 0 0 132 48 0 0 15 0 22 0 529642865 16072810496 417792 33554432000 1073741824 1073778376 140734424048624 18446744073709551615 222933593600 0 0 0 16800975 18446604469130670336 0 0 -1 3 0 0 0
[pid=10828/tid=10840] ppid=10826 vsize=15696104 CPUtime=0 cores=1,3,5,7
/proc/10828/task/10840/stat : 10840 (java) S 10826 10828 10329 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 529642866 16072810496 417792 33554432000 1073741824 1073778376 140734424048624 18446744073709551615 222933592985 0 4 0 16800975 18446604469130670336 0 0 -1 1 0 0 0
[pid=10828/tid=10841] ppid=10826 vsize=15696104 CPUtime=0 cores=1,3,5,7
/proc/10828/task/10841/stat : 10841 (java) S 10826 10828 10329 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 529642866 16072810496 417792 33554432000 1073741824 1073778376 140734424048624 18446744073709551615 222933592985 0 4 0 16800975 18446604469130670336 0 0 -1 1 0 0 0
[pid=10828/tid=10842] ppid=10826 vsize=15696104 CPUtime=0 cores=1,3,5,7
/proc/10828/task/10842/stat : 10842 (java) S 10826 10828 10329 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529642868 16072810496 417792 33554432000 1073741824 1073778376 140734424048624 18446744073709551615 222933600689 0 4 0 16800975 18446604469130670336 0 0 -1 5 0 0 0
[pid=10828/tid=10843] ppid=10826 vsize=15696104 CPUtime=1.39 cores=1,3,5,7
/proc/10828/task/10843/stat : 10843 (java) S 10826 10828 10329 0 -1 4202560 4942 0 0 0 139 0 0 0 15 0 22 0 529642868 16072810496 417792 33554432000 1073741824 1073778376 140734424048624 18446744073709551615 222933592985 0 4 0 16800975 18446604469130670336 0 0 -1 1 0 0 0
[pid=10828/tid=10844] ppid=10826 vsize=15696104 CPUtime=1.83 cores=1,3,5,7
/proc/10828/task/10844/stat : 10844 (java) S 10826 10828 10329 0 -1 4202560 14856 0 0 0 181 2 0 0 16 0 22 0 529642868 16072810496 417792 33554432000 1073741824 1073778376 140734424048624 18446744073709551615 222933592985 0 4 0 16800975 18446604469130670336 0 0 -1 3 0 0 0
[pid=10828/tid=10845] ppid=10826 vsize=15696104 CPUtime=0 cores=1,3,5,7
/proc/10828/task/10845/stat : 10845 (java) S 10826 10828 10329 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529642868 16072810496 417792 33554432000 1073741824 1073778376 140734424048624 18446744073709551615 222933592985 0 4 0 16800975 18446604469130670336 0 0 -1 5 0 0 0
[pid=10828/tid=10846] ppid=10826 vsize=15696104 CPUtime=0 cores=1,3,5,7
/proc/10828/task/10846/stat : 10846 (java) S 10826 10828 10329 0 -1 4202560 67 0 0 0 0 0 0 0 15 0 22 0 529642868 16072810496 417792 33554432000 1073741824 1073778376 140734424048624 18446744073709551615 222933593600 0 4 0 16800975 18446604469130670336 0 0 -1 3 0 0 0
[pid=10828/tid=10870] ppid=10826 vsize=15696104 CPUtime=1107.44 cores=1,3,5,7
/proc/10828/task/10870/stat : 10870 (java) R 10826 10828 10329 0 -1 4202560 481878 0 0 0 110690 54 0 0 25 0 22 0 529642916 16072810496 417792 33554432000 1073741824 1073778376 140734424048624 18446744073709551615 46912506049501 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=10828/tid=10871] ppid=10826 vsize=15696104 CPUtime=1109.05 cores=1,3,5,7
/proc/10828/task/10871/stat : 10871 (java) R 10826 10828 10329 0 -1 4202560 477154 0 0 0 110848 57 0 0 25 0 22 0 529642916 16072810496 417792 33554432000 1073741824 1073778376 140734424048624 18446744073709551615 46912506500352 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=10828/tid=10872] ppid=10826 vsize=15696104 CPUtime=1106.91 cores=1,3,5,7
/proc/10828/task/10872/stat : 10872 (java) R 10826 10828 10329 0 -1 4202560 446891 0 0 0 110643 48 0 0 25 0 22 0 529642916 16072810496 417792 33554432000 1073741824 1073778376 140734424048624 18446744073709551615 46912506032927 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=10828/tid=10873] ppid=10826 vsize=15696104 CPUtime=1107.73 cores=1,3,5,7
/proc/10828/task/10873/stat : 10873 (java) R 10826 10828 10329 0 -1 4202560 448980 0 0 0 110720 53 0 0 25 0 22 0 529642916 16072810496 417792 33554432000 1073741824 1073778376 140734424048624 18446744073709551615 46912506049519 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4468.11
Current children cumulated vsize (KiB) 15696104

[startup+1182.3 s]
/proc/loadavg: 8.20 8.12 8.01 9/220 10909
/proc/meminfo: memFree=22097608/32951124 swapFree=67110188/67111528
[pid=10828] ppid=10826 vsize=15696104 CPUtime=4707.25 cores=1,3,5,7
/proc/10828/stat : 10828 (java) S 10826 10828 10329 0 -1 4202496 3737164 0 1 0 470170 555 0 0 22 0 22 0 529642863 16072810496 417983 33554432000 1073741824 1073778376 140734424048624 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/10828/statm: 3924026 417983 2297 9 0 3914745 0
[pid=10828/tid=10830] ppid=10826 vsize=15696104 CPUtime=1.99 cores=1,3,5,7
/proc/10828/task/10830/stat : 10830 (java) S 10826 10828 10329 0 -1 4202560 35700 0 1 0 193 6 0 0 23 0 22 0 529642864 16072810496 417983 33554432000 1073741824 1073778376 140734424048624 18446744073709551615 222933592985 0 4 0 16800975 18446604469130670336 0 0 -1 1 0 0 0
[pid=10828/tid=10831] ppid=10826 vsize=15696104 CPUtime=3.74 cores=1,3,5,7
/proc/10828/task/10831/stat : 10831 (java) S 10826 10828 10329 0 -1 4202560 191475 0 0 0 345 29 0 0 15 0 22 0 529642864 16072810496 417983 33554432000 1073741824 1073778376 140734424048624 18446744073709551615 222933592985 0 4 0 16800975 18446604469130670336 0 0 -1 1 0 0 0
[pid=10828/tid=10832] ppid=10826 vsize=15696104 CPUtime=3.76 cores=1,3,5,7
/proc/10828/task/10832/stat : 10832 (java) S 10826 10828 10329 0 -1 4202560 210786 0 0 0 345 31 0 0 16 0 22 0 529642864 16072810496 417983 33554432000 1073741824 1073778376 140734424048624 18446744073709551615 222933592985 0 4 0 16800975 18446604469130670336 0 0 -1 5 0 0 0
[pid=10828/tid=10833] ppid=10826 vsize=15696104 CPUtime=4.14 cores=1,3,5,7
/proc/10828/task/10833/stat : 10833 (java) S 10826 10828 10329 0 -1 4202560 228313 0 0 0 378 36 0 0 16 0 22 0 529642864 16072810496 417983 33554432000 1073741824 1073778376 140734424048624 18446744073709551615 222933592985 0 4 0 16800975 18446604469130670336 0 0 -1 1 0 0 0
[pid=10828/tid=10834] ppid=10826 vsize=15696104 CPUtime=4.05 cores=1,3,5,7
/proc/10828/task/10834/stat : 10834 (java) S 10826 10828 10329 0 -1 4202560 211025 0 0 0 374 31 0 0 16 0 22 0 529642864 16072810496 417983 33554432000 1073741824 1073778376 140734424048624 18446744073709551615 222933592985 0 4 0 16800975 18446604469130670336 0 0 -1 3 0 0 0
[pid=10828/tid=10835] ppid=10826 vsize=15696104 CPUtime=4.1 cores=1,3,5,7
/proc/10828/task/10835/stat : 10835 (java) S 10826 10828 10329 0 -1 4202560 211700 0 0 0 378 32 0 0 15 0 22 0 529642864 16072810496 417983 33554432000 1073741824 1073778376 140734424048624 18446744073709551615 222933592985 0 4 0 16800975 18446604469130670336 0 0 -1 3 0 0 0
[pid=10828/tid=10836] ppid=10826 vsize=15696104 CPUtime=3.83 cores=1,3,5,7
/proc/10828/task/10836/stat : 10836 (java) S 10826 10828 10329 0 -1 4202560 239183 0 0 0 348 35 0 0 16 0 22 0 529642864 16072810496 417983 33554432000 1073741824 1073778376 140734424048624 18446744073709551615 222933592985 0 4 0 16800975 18446604469130670336 0 0 -1 1 0 0 0
[pid=10828/tid=10837] ppid=10826 vsize=15696104 CPUtime=4.14 cores=1,3,5,7
/proc/10828/task/10837/stat : 10837 (java) S 10826 10828 10329 0 -1 4202560 214841 0 0 0 379 35 0 0 15 0 22 0 529642864 16072810496 417983 33554432000 1073741824 1073778376 140734424048624 18446744073709551615 222933592985 0 4 0 16800975 18446604469130670336 0 0 -1 5 0 0 0
[pid=10828/tid=10838] ppid=10826 vsize=15696104 CPUtime=4.04 cores=1,3,5,7
/proc/10828/task/10838/stat : 10838 (java) S 10826 10828 10329 0 -1 4202560 254905 0 0 0 363 41 0 0 15 0 22 0 529642864 16072810496 417983 33554432000 1073741824 1073778376 140734424048624 18446744073709551615 222933592985 0 4 0 16800975 18446604469130670336 0 0 -1 1 0 0 0
[pid=10828/tid=10839] ppid=10826 vsize=15696104 CPUtime=1.93 cores=1,3,5,7
/proc/10828/task/10839/stat : 10839 (java) S 10826 10828 10329 0 -1 4202560 9014 0 0 0 142 51 0 0 16 0 22 0 529642865 16072810496 417983 33554432000 1073741824 1073778376 140734424048624 18446744073709551615 222933593600 0 0 0 16800975 18446604469130670336 0 0 -1 7 0 0 0
[pid=10828/tid=10840] ppid=10826 vsize=15696104 CPUtime=0 cores=1,3,5,7
/proc/10828/task/10840/stat : 10840 (java) S 10826 10828 10329 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 529642866 16072810496 417983 33554432000 1073741824 1073778376 140734424048624 18446744073709551615 222933592985 0 4 0 16800975 18446604469130670336 0 0 -1 1 0 0 0
[pid=10828/tid=10841] ppid=10826 vsize=15696104 CPUtime=0 cores=1,3,5,7
/proc/10828/task/10841/stat : 10841 (java) S 10826 10828 10329 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 529642866 16072810496 417983 33554432000 1073741824 1073778376 140734424048624 18446744073709551615 222933592985 0 4 0 16800975 18446604469130670336 0 0 -1 1 0 0 0
[pid=10828/tid=10842] ppid=10826 vsize=15696104 CPUtime=0 cores=1,3,5,7
/proc/10828/task/10842/stat : 10842 (java) S 10826 10828 10329 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529642868 16072810496 417983 33554432000 1073741824 1073778376 140734424048624 18446744073709551615 222933600689 0 4 0 16800975 18446604469130670336 0 0 -1 5 0 0 0
[pid=10828/tid=10843] ppid=10826 vsize=15696104 CPUtime=1.39 cores=1,3,5,7
/proc/10828/task/10843/stat : 10843 (java) S 10826 10828 10329 0 -1 4202560 4942 0 0 0 139 0 0 0 15 0 22 0 529642868 16072810496 417983 33554432000 1073741824 1073778376 140734424048624 18446744073709551615 222933592985 0 4 0 16800975 18446604469130670336 0 0 -1 1 0 0 0
[pid=10828/tid=10844] ppid=10826 vsize=15696104 CPUtime=1.83 cores=1,3,5,7
/proc/10828/task/10844/stat : 10844 (java) S 10826 10828 10329 0 -1 4202560 14856 0 0 0 181 2 0 0 16 0 22 0 529642868 16072810496 417983 33554432000 1073741824 1073778376 140734424048624 18446744073709551615 222933592985 0 4 0 16800975 18446604469130670336 0 0 -1 3 0 0 0
[pid=10828/tid=10845] ppid=10826 vsize=15696104 CPUtime=0 cores=1,3,5,7
/proc/10828/task/10845/stat : 10845 (java) S 10826 10828 10329 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529642868 16072810496 417983 33554432000 1073741824 1073778376 140734424048624 18446744073709551615 222933592985 0 4 0 16800975 18446604469130670336 0 0 -1 5 0 0 0
[pid=10828/tid=10846] ppid=10826 vsize=15696104 CPUtime=0 cores=1,3,5,7
/proc/10828/task/10846/stat : 10846 (java) S 10826 10828 10329 0 -1 4202560 71 0 0 0 0 0 0 0 15 0 22 0 529642868 16072810496 417983 33554432000 1073741824 1073778376 140734424048624 18446744073709551615 222933593600 0 4 0 16800975 18446604469130670336 0 0 -1 3 0 0 0
[pid=10828/tid=10870] ppid=10826 vsize=15696104 CPUtime=1166.78 cores=1,3,5,7
/proc/10828/task/10870/stat : 10870 (java) R 10826 10828 10329 0 -1 4202560 499607 0 0 0 116623 55 0 0 25 0 22 0 529642916 16072810496 417983 33554432000 1073741824 1073778376 140734424048624 18446744073709551615 46912506452600 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=10828/tid=10871] ppid=10826 vsize=15696104 CPUtime=1168.07 cores=1,3,5,7
/proc/10828/task/10871/stat : 10871 (java) R 10826 10828 10329 0 -1 4202560 492022 0 0 0 116748 59 0 0 25 0 22 0 529642916 16072810496 417983 33554432000 1073741824 1073778376 140734424048624 18446744073709551615 46912506050477 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=10828/tid=10872] ppid=10826 vsize=15696104 CPUtime=1166.25 cores=1,3,5,7
/proc/10828/task/10872/stat : 10872 (java) R 10826 10828 10329 0 -1 4202560 459688 0 0 0 116575 50 0 0 25 0 22 0 529642916 16072810496 417983 33554432000 1073741824 1073778376 140734424048624 18446744073709551615 46912506085980 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=10828/tid=10873] ppid=10826 vsize=15696104 CPUtime=1167.06 cores=1,3,5,7
/proc/10828/task/10873/stat : 10873 (java) R 10826 10828 10329 0 -1 4202560 457650 0 0 0 116652 54 0 0 25 0 22 0 529642916 16072810496 417983 33554432000 1073741824 1073778376 140734424048624 18446744073709551615 46912506049456 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4707.25
Current children cumulated vsize (KiB) 15696104



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1205.61 s]
/proc/loadavg: 8.21 8.13 8.02 10/220 10910
/proc/meminfo: memFree=22009416/32951124 swapFree=67110188/67111528
[pid=10828] ppid=10826 vsize=15696104 CPUtime=4800.26 cores=1,3,5,7
/proc/10828/stat : 10828 (java) S 10826 10828 10329 0 -1 4202496 3794091 0 1 0 479462 564 0 0 22 0 22 0 529642863 16072810496 405723 33554432000 1073741824 1073778376 140734424048624 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/10828/statm: 3924026 405723 2297 9 0 3914745 0
[pid=10828/tid=10830] ppid=10826 vsize=15696104 CPUtime=1.99 cores=1,3,5,7
/proc/10828/task/10830/stat : 10830 (java) S 10826 10828 10329 0 -1 4202560 35700 0 1 0 193 6 0 0 23 0 22 0 529642864 16072810496 405723 33554432000 1073741824 1073778376 140734424048624 18446744073709551615 222933592985 0 4 0 16800975 18446604469130670336 0 0 -1 1 0 0 0
[pid=10828/tid=10831] ppid=10826 vsize=15696104 CPUtime=3.82 cores=1,3,5,7
/proc/10828/task/10831/stat : 10831 (java) S 10826 10828 10329 0 -1 4202560 196992 0 0 0 352 30 0 0 15 0 22 0 529642864 16072810496 405723 33554432000 1073741824 1073778376 140734424048624 18446744073709551615 222933592985 0 4 0 16800975 18446604469130670336 0 0 -1 1 0 0 0
[pid=10828/tid=10832] ppid=10826 vsize=15696104 CPUtime=3.86 cores=1,3,5,7
/proc/10828/task/10832/stat : 10832 (java) S 10826 10828 10329 0 -1 4202560 217670 0 0 0 354 32 0 0 16 0 22 0 529642864 16072810496 405723 33554432000 1073741824 1073778376 140734424048624 18446744073709551615 222933592985 0 4 0 16800975 18446604469130670336 0 0 -1 5 0 0 0
[pid=10828/tid=10833] ppid=10826 vsize=15696104 CPUtime=4.21 cores=1,3,5,7
/proc/10828/task/10833/stat : 10833 (java) S 10826 10828 10329 0 -1 4202560 235828 0 0 0 384 37 0 0 16 0 22 0 529642864 16072810496 405723 33554432000 1073741824 1073778376 140734424048624 18446744073709551615 222933592985 0 4 0 16800975 18446604469130670336 0 0 -1 3 0 0 0
[pid=10828/tid=10834] ppid=10826 vsize=15696104 CPUtime=4.13 cores=1,3,5,7
/proc/10828/task/10834/stat : 10834 (java) S 10826 10828 10329 0 -1 4202560 219634 0 0 0 381 32 0 0 16 0 22 0 529642864 16072810496 405723 33554432000 1073741824 1073778376 140734424048624 18446744073709551615 222933592985 0 4 0 16800975 18446604469130670336 0 0 -1 1 0 0 0
[pid=10828/tid=10835] ppid=10826 vsize=15696104 CPUtime=4.19 cores=1,3,5,7
/proc/10828/task/10835/stat : 10835 (java) S 10826 10828 10329 0 -1 4202560 215510 0 0 0 386 33 0 0 15 0 22 0 529642864 16072810496 405723 33554432000 1073741824 1073778376 140734424048624 18446744073709551615 222933592985 0 4 0 16800975 18446604469130670336 0 0 -1 5 0 0 0
[pid=10828/tid=10836] ppid=10826 vsize=15696104 CPUtime=3.93 cores=1,3,5,7
/proc/10828/task/10836/stat : 10836 (java) S 10826 10828 10329 0 -1 4202560 242566 0 0 0 357 36 0 0 15 0 22 0 529642864 16072810496 405723 33554432000 1073741824 1073778376 140734424048624 18446744073709551615 222933592985 0 4 0 16800975 18446604469130670336 0 0 -1 3 0 0 0
[pid=10828/tid=10837] ppid=10826 vsize=15696104 CPUtime=4.21 cores=1,3,5,7
/proc/10828/task/10837/stat : 10837 (java) S 10826 10828 10329 0 -1 4202560 218475 0 0 0 385 36 0 0 15 0 22 0 529642864 16072810496 405723 33554432000 1073741824 1073778376 140734424048624 18446744073709551615 222933592985 0 4 0 16800975 18446604469130670336 0 0 -1 7 0 0 0
[pid=10828/tid=10838] ppid=10826 vsize=15696104 CPUtime=4.15 cores=1,3,5,7
/proc/10828/task/10838/stat : 10838 (java) S 10826 10828 10329 0 -1 4202560 262942 0 0 0 373 42 0 0 16 0 22 0 529642864 16072810496 405723 33554432000 1073741824 1073778376 140734424048624 18446744073709551615 222933592985 0 4 0 16800975 18446604469130670336 0 0 -1 7 0 0 0
[pid=10828/tid=10839] ppid=10826 vsize=15696104 CPUtime=1.94 cores=1,3,5,7
/proc/10828/task/10839/stat : 10839 (java) S 10826 10828 10329 0 -1 4202560 9114 0 0 0 142 52 0 0 15 0 22 0 529642865 16072810496 405723 33554432000 1073741824 1073778376 140734424048624 18446744073709551615 222933593600 0 0 0 16800975 18446604469130670336 0 0 -1 5 0 0 0
[pid=10828/tid=10840] ppid=10826 vsize=15696104 CPUtime=0 cores=1,3,5,7
/proc/10828/task/10840/stat : 10840 (java) S 10826 10828 10329 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 529642866 16072810496 405723 33554432000 1073741824 1073778376 140734424048624 18446744073709551615 222933592985 0 4 0 16800975 18446604469130670336 0 0 -1 1 0 0 0
[pid=10828/tid=10841] ppid=10826 vsize=15696104 CPUtime=0 cores=1,3,5,7
/proc/10828/task/10841/stat : 10841 (java) S 10826 10828 10329 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 529642866 16072810496 405723 33554432000 1073741824 1073778376 140734424048624 18446744073709551615 222933592985 0 4 0 16800975 18446604469130670336 0 0 -1 1 0 0 0
[pid=10828/tid=10842] ppid=10826 vsize=15696104 CPUtime=0 cores=1,3,5,7
/proc/10828/task/10842/stat : 10842 (java) S 10826 10828 10329 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529642868 16072810496 405723 33554432000 1073741824 1073778376 140734424048624 18446744073709551615 222933600689 0 4 0 16800975 18446604469130670336 0 0 -1 5 0 0 0
[pid=10828/tid=10843] ppid=10826 vsize=15696104 CPUtime=1.39 cores=1,3,5,7
/proc/10828/task/10843/stat : 10843 (java) S 10826 10828 10329 0 -1 4202560 4942 0 0 0 139 0 0 0 15 0 22 0 529642868 16072810496 405723 33554432000 1073741824 1073778376 140734424048624 18446744073709551615 222933592985 0 4 0 16800975 18446604469130670336 0 0 -1 1 0 0 0
[pid=10828/tid=10844] ppid=10826 vsize=15696104 CPUtime=1.83 cores=1,3,5,7
/proc/10828/task/10844/stat : 10844 (java) S 10826 10828 10329 0 -1 4202560 14856 0 0 0 181 2 0 0 16 0 22 0 529642868 16072810496 405723 33554432000 1073741824 1073778376 140734424048624 18446744073709551615 222933592985 0 4 0 16800975 18446604469130670336 0 0 -1 3 0 0 0
[pid=10828/tid=10845] ppid=10826 vsize=15696104 CPUtime=0 cores=1,3,5,7
/proc/10828/task/10845/stat : 10845 (java) S 10826 10828 10329 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529642868 16072810496 405723 33554432000 1073741824 1073778376 140734424048624 18446744073709551615 222933592985 0 4 0 16800975 18446604469130670336 0 0 -1 5 0 0 0
[pid=10828/tid=10846] ppid=10826 vsize=15696104 CPUtime=0 cores=1,3,5,7
/proc/10828/task/10846/stat : 10846 (java) S 10826 10828 10329 0 -1 4202560 73 0 0 0 0 0 0 0 15 0 22 0 529642868 16072810496 405723 33554432000 1073741824 1073778376 140734424048624 18446744073709551615 222933593600 0 4 0 16800975 18446604469130670336 0 0 -1 3 0 0 0
[pid=10828/tid=10870] ppid=10826 vsize=15696104 CPUtime=1189.89 cores=1,3,5,7
/proc/10828/task/10870/stat : 10870 (java) R 10826 10828 10329 0 -1 4202560 501386 0 0 0 118934 55 0 0 25 0 22 0 529642916 16072810496 405723 33554432000 1073741824 1073778376 140734424048624 18446744073709551615 46912506344191 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=10828/tid=10871] ppid=10826 vsize=15696104 CPUtime=1191.03 cores=1,3,5,7
/proc/10828/task/10871/stat : 10871 (java) R 10826 10828 10329 0 -1 4202560 495408 0 0 0 119044 59 0 0 25 0 22 0 529642916 16072810496 405723 33554432000 1073741824 1073778376 140734424048624 18446744073709551615 46912506049529 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=10828/tid=10872] ppid=10826 vsize=15696104 CPUtime=1189.37 cores=1,3,5,7
/proc/10828/task/10872/stat : 10872 (java) R 10826 10828 10329 0 -1 4202560 462253 0 0 0 118886 51 0 0 25 0 22 0 529642916 16072810496 405723 33554432000 1073741824 1073778376 140734424048624 18446744073709551615 46912506086178 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=10828/tid=10873] ppid=10826 vsize=15696104 CPUtime=1190.17 cores=1,3,5,7
/proc/10828/task/10873/stat : 10873 (java) R 10826 10828 10329 0 -1 4202560 459356 0 0 0 118963 54 0 0 25 0 22 0 529642916 16072810496 405723 33554432000 1073741824 1073778376 140734424048624 18446744073709551615 46912506500032 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.26
Current children cumulated vsize (KiB) 15696104

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): 1205.68
CPU time (s): 4800.36
CPU user time (s): 4794.65
CPU system time (s): 5.70513
CPU usage (%): 398.145
Max. virtual memory (cumulated for all children) (KiB): 15696104

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4794.66
system time used= 5.70513
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3794118
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= 47912
involuntary context switches= 65360

runsolver used 1.92871 second user time and 4.71728 second system time

The end

Launcher Data 

Begin job on node109 at 2011-04-30 18:20:21
IDJOB=3313407
IDBENCH=83117
IDSOLVER=1699
FILE ID=node109/3313407-1304180421
RUNJOBID= node109-1304180421-10815
PBS_JOBID= 13172431
Free space on /tmp= 73028 MiB

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

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

MD5SUM BENCH= f3c2fb082f5fbc8fb1f714d6ee13929d
RANDOM SEED=168709232

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30564752 kB
Buffers:        798596 kB
Cached:        1132348 kB
SwapCached:        712 kB
Active:         172948 kB
Inactive:      1825484 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30564752 kB
SwapTotal:    67111528 kB
SwapFree:     67110188 kB
Dirty:            4020 kB
Writeback:           0 kB
AnonPages:       66560 kB
Mapped:          14400 kB
Slab:           325076 kB
PageTables:       4740 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   195344 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= 73020 MiB
End job on node109 at 2011-04-30 18:40:29