Trace number 3312287

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) 4770.46 1300.28

General information on the benchmark

Nameapplication/fuhs/slp-synthesis-AES/
slp-synthesis-aes-top24.cnf
MD5SUM1f485d737caaaca49e2c467c83cbdcec
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark520.047
Satisfiable
(Un)Satisfiability was proved
Number of variables65983
Number of clauses209942
Sum of the clauses size513194
Maximum clause length2578
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 2127592
Number of clauses of size 380970
Number of clauses of size 4299
Number of clauses of size 522
Number of clauses of size over 51058

Solver Data 

0.10/0.12	33:33 INFO : Reading from input HOME/instance-3312287-1304181213.cnf
1.14/0.96	Executor set job limit to 1000000
1.14/0.96	Executor set job limit to 1000000
1.14/0.96	Executor set job limit to 1000000
1.14/0.96	Executor set job limit to 1000000
1.14/0.96	Starting Executor!
1.14/0.96	Starting Executor!
1.14/0.96	Starting Executor!
1.14/0.96	Starting Executor!
3.98/2.33	33:35 INFO : Found 6396 xor gates
26.79/23.62	33:57 INFO : 60099 variables remaining out of 65983
26.79/23.62	33:57 INFO : 4192300 literals remaining out of 646384

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

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

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


[startup+0 s]
/proc/loadavg: 7.37 7.89 7.96 3/194 9642
/proc/meminfo: memFree=29271184/32951124 swapFree=67111348/67111528
[pid=9642] ppid=9640 vsize=24004 CPUtime=0 cores=0,2,4,6
/proc/9642/stat : 9642 (java) S 9640 9642 9587 0 -1 4202496 1361 0 0 0 0 0 0 0 25 0 2 0 510536768 24580096 841 33554432000 1073741824 1073778376 140736318755936 18446744073709551615 228107253733 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/9642/statm: 6001 850 648 9 0 381 0
[pid=9642/tid=9643] ppid=9640 vsize=24008 CPUtime=0 cores=0,2,4,6
/proc/9642/task/9643/stat : 9643 (java) R 9640 9642 9587 0 -1 4202560 17 0 0 0 0 0 0 0 25 0 2 0 510536769 24584192 855 33554432000 1073741824 1073778376 140736318755936 18446744073709551615 228095028960 0 0 4096 0 0 0 0 -1 2 0 0 0

[startup+0.0208949 s]
/proc/loadavg: 7.37 7.89 7.96 3/194 9642
/proc/meminfo: memFree=29271184/32951124 swapFree=67111348/67111528
[pid=9642] ppid=9640 vsize=15602060 CPUtime=0 cores=0,2,4,6
/proc/9642/stat : 9642 (java) S 9640 9642 9587 0 -1 4202496 3280 0 1 0 0 0 0 0 25 0 11 0 510536768 15976509440 2721 33554432000 1073741824 1073778376 140736318755936 18446744073709551615 228107253733 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/9642/statm: 3900515 2722 1590 9 0 3891263 0
[pid=9642/tid=9643] ppid=9640 vsize=15602060 CPUtime=0 cores=0,2,4,6
/proc/9642/task/9643/stat : 9643 (java) R 9640 9642 9587 0 -1 4202560 1917 0 1 0 0 0 0 0 25 0 11 0 510536769 15976509440 2726 33554432000 1073741824 1073778376 140736318755936 18446744073709551615 48007060346336 0 4 0 16784584 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15602060

[startup+0.100878 s]
/proc/loadavg: 7.37 7.89 7.96 3/194 9642
/proc/meminfo: memFree=29271184/32951124 swapFree=67111348/67111528
[pid=9642] ppid=9640 vsize=15676980 CPUtime=0.1 cores=0,2,4,6
/proc/9642/stat : 9642 (java) S 9640 9642 9587 0 -1 4202496 5572 0 1 0 8 2 0 0 25 0 18 0 510536768 16053227520 5010 33554432000 1073741824 1073778376 140736318755936 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/9642/statm: 3919245 5010 2117 9 0 3909964 0
[pid=9642/tid=9643] ppid=9640 vsize=15676980 CPUtime=0.08 cores=0,2,4,6
/proc/9642/task/9643/stat : 9643 (java) R 9640 9642 9587 0 -1 4202560 3442 0 1 0 6 2 0 0 18 0 18 0 510536769 16053227520 5010 33554432000 1073741824 1073778376 140736318755936 18446744073709551615 48007057780741 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15676980

[startup+0.300849 s]
/proc/loadavg: 7.37 7.89 7.96 3/194 9642
/proc/meminfo: memFree=29271184/32951124 swapFree=67111348/67111528
[pid=9642] ppid=9640 vsize=15684396 CPUtime=0.52 cores=0,2,4,6
/proc/9642/stat : 9642 (java) S 9640 9642 9587 0 -1 4202496 15217 0 1 0 49 3 0 0 25 0 18 0 510536768 16060821504 13687 33554432000 1073741824 1073778376 140736318755936 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/9642/statm: 3921099 13694 2207 9 0 3911818 0
[pid=9642/tid=9643] ppid=9640 vsize=15684396 CPUtime=0.28 cores=0,2,4,6
/proc/9642/task/9643/stat : 9643 (java) R 9640 9642 9587 0 -1 4202560 10301 0 1 0 26 2 0 0 18 0 18 0 510536769 16060821504 13697 33554432000 1073741824 1073778376 140736318755936 18446744073709551615 46912505639200 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 15684396

[startup+0.700792 s]
/proc/loadavg: 7.37 7.89 7.96 3/194 9642
/proc/meminfo: memFree=29271184/32951124 swapFree=67111348/67111528
[pid=9642] ppid=9640 vsize=15684396 CPUtime=0.93 cores=0,2,4,6
/proc/9642/stat : 9642 (java) S 9640 9642 9587 0 -1 4202496 41707 0 1 0 87 6 0 0 25 0 18 0 510536768 16060821504 40175 33554432000 1073741824 1073778376 140736318755936 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/9642/statm: 3921099 40175 2223 9 0 3911818 0
[pid=9642/tid=9643] ppid=9640 vsize=15684396 CPUtime=0.68 cores=0,2,4,6
/proc/9642/task/9643/stat : 9643 (java) R 9640 9642 9587 0 -1 4202560 35534 0 1 0 63 5 0 0 18 0 18 0 510536769 16060821504 40175 33554432000 1073741824 1073778376 140736318755936 18446744073709551615 46912505640502 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.93
Current children cumulated vsize (KiB) 15684396

[startup+1.50165 s]
/proc/loadavg: 7.37 7.89 7.96 6/220 9668
/proc/meminfo: memFree=28941384/32951124 swapFree=67111348/67111528
[pid=9642] ppid=9640 vsize=15705248 CPUtime=2.25 cores=0,2,4,6
/proc/9642/stat : 9642 (java) S 9640 9642 9587 0 -1 4202496 50225 0 1 0 218 7 0 0 25 0 22 0 510536768 16082173952 45762 33554432000 1073741824 1073778376 140736318755936 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/9642/statm: 3926312 45762 2265 9 0 3917031 0
[pid=9642/tid=9643] ppid=9640 vsize=15705248 CPUtime=1.47 cores=0,2,4,6
/proc/9642/task/9643/stat : 9643 (java) R 9640 9642 9587 0 -1 4202560 35665 0 1 0 142 5 0 0 20 0 22 0 510536769 16082173952 45762 33554432000 1073741824 1073778376 140736318755936 18446744073709551615 46912505794587 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=9642/tid=9645] ppid=9640 vsize=15705248 CPUtime=0 cores=0,2,4,6
/proc/9642/task/9645/stat : 9645 (java) S 9640 9642 9587 0 -1 4202560 29 0 0 0 0 0 0 0 16 0 22 0 510536769 16082173952 45762 33554432000 1073741824 1073778376 140736318755936 18446744073709551615 228107266969 0 4 0 16800975 18446604453939725632 0 0 -1 0 0 0 0
[pid=9642/tid=9646] ppid=9640 vsize=15705248 CPUtime=0 cores=0,2,4,6
/proc/9642/task/9646/stat : 9646 (java) S 9640 9642 9587 0 -1 4202560 52 0 0 0 0 0 0 0 15 0 22 0 510536769 16082173952 45762 33554432000 1073741824 1073778376 140736318755936 18446744073709551615 228107266969 0 4 0 16800975 18446604453939725632 0 0 -1 4 0 0 0
[pid=9642/tid=9647] ppid=9640 vsize=15705248 CPUtime=0 cores=0,2,4,6
/proc/9642/task/9647/stat : 9647 (java) S 9640 9642 9587 0 -1 4202560 624 0 0 0 0 0 0 0 16 0 22 0 510536769 16082173952 45762 33554432000 1073741824 1073778376 140736318755936 18446744073709551615 228107266969 0 4 0 16800975 18446604453939725632 0 0 -1 0 0 0 0
[pid=9642/tid=9648] ppid=9640 vsize=15705248 CPUtime=0 cores=0,2,4,6
/proc/9642/task/9648/stat : 9648 (java) S 9640 9642 9587 0 -1 4202560 10 0 0 0 0 0 0 0 16 0 22 0 510536769 16082173952 45762 33554432000 1073741824 1073778376 140736318755936 18446744073709551615 228107266969 0 4 0 16800975 18446604453939725632 0 0 -1 6 0 0 0
[pid=9642/tid=9649] ppid=9640 vsize=15705248 CPUtime=0 cores=0,2,4,6
/proc/9642/task/9649/stat : 9649 (java) S 9640 9642 9587 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 22 0 510536769 16082173952 45762 33554432000 1073741824 1073778376 140736318755936 18446744073709551615 228107266969 0 4 0 16800975 18446604453939725632 0 0 -1 4 0 0 0
[pid=9642/tid=9650] ppid=9640 vsize=15705248 CPUtime=0 cores=0,2,4,6
/proc/9642/task/9650/stat : 9650 (java) S 9640 9642 9587 0 -1 4202560 423 0 0 0 0 0 0 0 15 0 22 0 510536769 16082173952 45762 33554432000 1073741824 1073778376 140736318755936 18446744073709551615 228107266969 0 4 0 16800975 18446604453939725632 0 0 -1 4 0 0 0
[pid=9642/tid=9651] ppid=9640 vsize=15705248 CPUtime=0 cores=0,2,4,6
/proc/9642/task/9651/stat : 9651 (java) S 9640 9642 9587 0 -1 4202560 737 0 0 0 0 0 0 0 16 0 22 0 510536769 16082173952 45762 33554432000 1073741824 1073778376 140736318755936 18446744073709551615 228107266969 0 4 0 16800975 18446604453939725632 0 0 -1 2 0 0 0
[pid=9642/tid=9652] ppid=9640 vsize=15705248 CPUtime=0 cores=0,2,4,6
/proc/9642/task/9652/stat : 9652 (java) S 9640 9642 9587 0 -1 4202560 322 0 0 0 0 0 0 0 16 0 22 0 510536769 16082173952 45762 33554432000 1073741824 1073778376 140736318755936 18446744073709551615 228107266969 0 4 0 16800975 18446604453939725632 0 0 -1 2 0 0 0
[pid=9642/tid=9653] ppid=9640 vsize=15705248 CPUtime=0 cores=0,2,4,6
/proc/9642/task/9653/stat : 9653 (java) S 9640 9642 9587 0 -1 4202560 71 0 0 0 0 0 0 0 16 0 22 0 510536770 16082173952 45762 33554432000 1073741824 1073778376 140736318755936 18446744073709551615 228107267584 0 0 0 16800975 18446604453939725632 0 0 -1 0 0 0 0
[pid=9642/tid=9654] ppid=9640 vsize=15705248 CPUtime=0 cores=0,2,4,6
/proc/9642/task/9654/stat : 9654 (java) S 9640 9642 9587 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 22 0 510536771 16082173952 45762 33554432000 1073741824 1073778376 140736318755936 18446744073709551615 228107266969 0 4 0 16800975 18446604453939725632 0 0 -1 4 0 0 0
[pid=9642/tid=9655] ppid=9640 vsize=15705248 CPUtime=0 cores=0,2,4,6
/proc/9642/task/9655/stat : 9655 (java) S 9640 9642 9587 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 22 0 510536771 16082173952 45762 33554432000 1073741824 1073778376 140736318755936 18446744073709551615 228107266969 0 4 0 16800975 18446604453939725632 0 0 -1 4 0 0 0
[pid=9642/tid=9656] ppid=9640 vsize=15705248 CPUtime=0 cores=0,2,4,6
/proc/9642/task/9656/stat : 9656 (java) S 9640 9642 9587 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 510536773 16082173952 45762 33554432000 1073741824 1073778376 140736318755936 18446744073709551615 228107274673 0 4 0 16800975 18446604453939725632 0 0 -1 2 0 0 0
[pid=9642/tid=9657] ppid=9640 vsize=15705248 CPUtime=0.55 cores=0,2,4,6
/proc/9642/task/9657/stat : 9657 (java) S 9640 9642 9587 0 -1 4202560 9127 0 0 0 54 1 0 0 19 0 22 0 510536773 16082173952 45762 33554432000 1073741824 1073778376 140736318755936 18446744073709551615 228107266969 0 4 0 16800975 18446604453939725632 0 0 -1 0 0 0 0
[pid=9642/tid=9658] ppid=9640 vsize=15705248 CPUtime=0.18 cores=0,2,4,6
/proc/9642/task/9658/stat : 9658 (java) S 9640 9642 9587 0 -1 4202560 1725 0 0 0 18 0 0 0 15 0 22 0 510536773 16082173952 45762 33554432000 1073741824 1073778376 140736318755936 18446744073709551615 228107266969 0 4 0 16800975 18446604453939725632 0 0 -1 4 0 0 0
[pid=9642/tid=9659] ppid=9640 vsize=15705248 CPUtime=0 cores=0,2,4,6
/proc/9642/task/9659/stat : 9659 (java) S 9640 9642 9587 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 510536773 16082173952 45762 33554432000 1073741824 1073778376 140736318755936 18446744073709551615 228107266969 0 4 0 16800975 18446604453939725632 0 0 -1 2 0 0 0
[pid=9642/tid=9660] ppid=9640 vsize=15705248 CPUtime=0 cores=0,2,4,6
/proc/9642/task/9660/stat : 9660 (java) S 9640 9642 9587 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 510536773 16082173952 45762 33554432000 1073741824 1073778376 140736318755936 18446744073709551615 228107267584 0 4 0 16800975 18446604453939725632 0 0 -1 0 0 0 0
[pid=9642/tid=9665] ppid=9640 vsize=15705248 CPUtime=0 cores=0,2,4,6
/proc/9642/task/9665/stat : 9665 (java) S 9640 9642 9587 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 22 0 510536865 16082173952 45762 33554432000 1073741824 1073778376 140736318755936 18446744073709551615 228107267584 0 4 0 16800975 18446604453939725632 0 0 -1 6 0 0 0
[pid=9642/tid=9666] ppid=9640 vsize=15705248 CPUtime=0 cores=0,2,4,6
/proc/9642/task/9666/stat : 9666 (java) S 9640 9642 9587 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 22 0 510536865 16082173952 45762 33554432000 1073741824 1073778376 140736318755936 18446744073709551615 228107267584 0 4 0 16800975 18446604453939725632 0 0 -1 6 0 0 0
[pid=9642/tid=9667] ppid=9640 vsize=15705248 CPUtime=0 cores=0,2,4,6
/proc/9642/task/9667/stat : 9667 (java) S 9640 9642 9587 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 22 0 510536865 16082173952 45762 33554432000 1073741824 1073778376 140736318755936 18446744073709551615 228107267584 0 4 0 16800975 18446604453939725632 0 0 -1 6 0 0 0
[pid=9642/tid=9668] ppid=9640 vsize=15705248 CPUtime=0 cores=0,2,4,6
/proc/9642/task/9668/stat : 9668 (java) S 9640 9642 9587 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 22 0 510536865 16082173952 45762 33554432000 1073741824 1073778376 140736318755936 18446744073709551615 228107267584 0 4 0 16800975 18446604453939725632 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.25
Current children cumulated vsize (KiB) 15705248

[startup+3.10138 s]
/proc/loadavg: 7.37 7.89 7.96 6/220 9668
/proc/meminfo: memFree=28903916/32951124 swapFree=67111348/67111528
[pid=9642] ppid=9640 vsize=15719380 CPUtime=5.5 cores=0,2,4,6
/proc/9642/stat : 9642 (java) S 9640 9642 9587 0 -1 4202496 62115 0 1 0 541 9 0 0 25 0 22 0 510536768 16096645120 52117 33554432000 1073741824 1073778376 140736318755936 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/9642/statm: 3929845 52117 2265 9 0 3920564 0
[pid=9642/tid=9643] ppid=9640 vsize=15719380 CPUtime=3.07 cores=0,2,4,6
/proc/9642/task/9643/stat : 9643 (java) R 9640 9642 9587 0 -1 4202560 35694 0 1 0 302 5 0 0 18 0 22 0 510536769 16096645120 52117 33554432000 1073741824 1073778376 140736318755936 18446744073709551615 46912506502451 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=9642/tid=9645] ppid=9640 vsize=15719380 CPUtime=0 cores=0,2,4,6
/proc/9642/task/9645/stat : 9645 (java) S 9640 9642 9587 0 -1 4202560 29 0 0 0 0 0 0 0 16 0 22 0 510536769 16096645120 52117 33554432000 1073741824 1073778376 140736318755936 18446744073709551615 228107266969 0 4 0 16800975 18446604453939725632 0 0 -1 0 0 0 0
[pid=9642/tid=9646] ppid=9640 vsize=15719380 CPUtime=0 cores=0,2,4,6
/proc/9642/task/9646/stat : 9646 (java) S 9640 9642 9587 0 -1 4202560 52 0 0 0 0 0 0 0 15 0 22 0 510536769 16096645120 52117 33554432000 1073741824 1073778376 140736318755936 18446744073709551615 228107266969 0 4 0 16800975 18446604453939725632 0 0 -1 4 0 0 0
[pid=9642/tid=9647] ppid=9640 vsize=15719380 CPUtime=0 cores=0,2,4,6
/proc/9642/task/9647/stat : 9647 (java) S 9640 9642 9587 0 -1 4202560 624 0 0 0 0 0 0 0 16 0 22 0 510536769 16096645120 52117 33554432000 1073741824 1073778376 140736318755936 18446744073709551615 228107266969 0 4 0 16800975 18446604453939725632 0 0 -1 0 0 0 0
[pid=9642/tid=9648] ppid=9640 vsize=15719380 CPUtime=0 cores=0,2,4,6
/proc/9642/task/9648/stat : 9648 (java) S 9640 9642 9587 0 -1 4202560 10 0 0 0 0 0 0 0 16 0 22 0 510536769 16096645120 52117 33554432000 1073741824 1073778376 140736318755936 18446744073709551615 228107266969 0 4 0 16800975 18446604453939725632 0 0 -1 6 0 0 0
[pid=9642/tid=9649] ppid=9640 vsize=15719380 CPUtime=0 cores=0,2,4,6
/proc/9642/task/9649/stat : 9649 (java) S 9640 9642 9587 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 22 0 510536769 16096645120 52117 33554432000 1073741824 1073778376 140736318755936 18446744073709551615 228107266969 0 4 0 16800975 18446604453939725632 0 0 -1 4 0 0 0
[pid=9642/tid=9650] ppid=9640 vsize=15719380 CPUtime=0 cores=0,2,4,6
/proc/9642/task/9650/stat : 9650 (java) S 9640 9642 9587 0 -1 4202560 423 0 0 0 0 0 0 0 15 0 22 0 510536769 16096645120 52117 33554432000 1073741824 1073778376 140736318755936 18446744073709551615 228107266969 0 4 0 16800975 18446604453939725632 0 0 -1 4 0 0 0
[pid=9642/tid=9651] ppid=9640 vsize=15719380 CPUtime=0 cores=0,2,4,6
/proc/9642/task/9651/stat : 9651 (java) S 9640 9642 9587 0 -1 4202560 737 0 0 0 0 0 0 0 16 0 22 0 510536769 16096645120 52117 33554432000 1073741824 1073778376 140736318755936 18446744073709551615 228107266969 0 4 0 16800975 18446604453939725632 0 0 -1 2 0 0 0
[pid=9642/tid=9652] ppid=9640 vsize=15719380 CPUtime=0 cores=0,2,4,6
/proc/9642/task/9652/stat : 9652 (java) S 9640 9642 9587 0 -1 4202560 322 0 0 0 0 0 0 0 16 0 22 0 510536769 16096645120 52117 33554432000 1073741824 1073778376 140736318755936 18446744073709551615 228107266969 0 4 0 16800975 18446604453939725632 0 0 -1 2 0 0 0
[pid=9642/tid=9653] ppid=9640 vsize=15719380 CPUtime=0 cores=0,2,4,6
/proc/9642/task/9653/stat : 9653 (java) S 9640 9642 9587 0 -1 4202560 71 0 0 0 0 0 0 0 15 0 22 0 510536770 16096645120 52117 33554432000 1073741824 1073778376 140736318755936 18446744073709551615 228107267584 0 0 0 16800975 18446604453939725632 0 0 -1 0 0 0 0
[pid=9642/tid=9654] ppid=9640 vsize=15719380 CPUtime=0 cores=0,2,4,6
/proc/9642/task/9654/stat : 9654 (java) S 9640 9642 9587 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 22 0 510536771 16096645120 52117 33554432000 1073741824 1073778376 140736318755936 18446744073709551615 228107266969 0 4 0 16800975 18446604453939725632 0 0 -1 4 0 0 0
[pid=9642/tid=9655] ppid=9640 vsize=15719380 CPUtime=0 cores=0,2,4,6
/proc/9642/task/9655/stat : 9655 (java) S 9640 9642 9587 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 22 0 510536771 16096645120 52117 33554432000 1073741824 1073778376 140736318755936 18446744073709551615 228107266969 0 4 0 16800975 18446604453939725632 0 0 -1 4 0 0 0
[pid=9642/tid=9656] ppid=9640 vsize=15719380 CPUtime=0 cores=0,2,4,6
/proc/9642/task/9656/stat : 9656 (java) S 9640 9642 9587 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 510536773 16096645120 52117 33554432000 1073741824 1073778376 140736318755936 18446744073709551615 228107274673 0 4 0 16800975 18446604453939725632 0 0 -1 2 0 0 0
[pid=9642/tid=9657] ppid=9640 vsize=15719380 CPUtime=1.4 cores=0,2,4,6
/proc/9642/task/9657/stat : 9657 (java) S 9640 9642 9587 0 -1 4202560 12803 0 0 0 139 1 0 0 16 0 22 0 510536773 16096645120 52117 33554432000 1073741824 1073778376 140736318755936 18446744073709551615 228107266969 0 4 0 16800975 18446604453939725632 0 0 -1 0 0 0 0
[pid=9642/tid=9658] ppid=9640 vsize=15719380 CPUtime=0.98 cores=0,2,4,6
/proc/9642/task/9658/stat : 9658 (java) S 9640 9642 9587 0 -1 4202560 9910 0 0 0 97 1 0 0 15 0 22 0 510536773 16096645120 52117 33554432000 1073741824 1073778376 140736318755936 18446744073709551615 228107266969 0 4 0 16800975 18446604453939725632 0 0 -1 4 0 0 0
[pid=9642/tid=9659] ppid=9640 vsize=15719380 CPUtime=0 cores=0,2,4,6
/proc/9642/task/9659/stat : 9659 (java) S 9640 9642 9587 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 510536773 16096645120 52117 33554432000 1073741824 1073778376 140736318755936 18446744073709551615 228107266969 0 4 0 16800975 18446604453939725632 0 0 -1 2 0 0 0
[pid=9642/tid=9660] ppid=9640 vsize=15719380 CPUtime=0 cores=0,2,4,6
/proc/9642/task/9660/stat : 9660 (java) S 9640 9642 9587 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 510536773 16096645120 52117 33554432000 1073741824 1073778376 140736318755936 18446744073709551615 228107267584 0 4 0 16800975 18446604453939725632 0 0 -1 0 0 0 0
[pid=9642/tid=9665] ppid=9640 vsize=15719380 CPUtime=0 cores=0,2,4,6
/proc/9642/task/9665/stat : 9665 (java) R 9640 9642 9587 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 22 0 510536865 16096645120 52117 33554432000 1073741824 1073778376 140736318755936 18446744073709551615 228107267584 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=9642/tid=9666] ppid=9640 vsize=15719380 CPUtime=0 cores=0,2,4,6
/proc/9642/task/9666/stat : 9666 (java) R 9640 9642 9587 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 22 0 510536865 16096645120 52117 33554432000 1073741824 1073778376 140736318755936 18446744073709551615 228107267584 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=9642/tid=9667] ppid=9640 vsize=15719380 CPUtime=0 cores=0,2,4,6
/proc/9642/task/9667/stat : 9667 (java) S 9640 9642 9587 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 22 0 510536865 16096645120 52117 33554432000 1073741824 1073778376 140736318755936 18446744073709551615 228107267584 0 4 0 16800975 18446604453939725632 0 0 -1 6 0 0 0
[pid=9642/tid=9668] ppid=9640 vsize=15719380 CPUtime=0 cores=0,2,4,6
/proc/9642/task/9668/stat : 9668 (java) S 9640 9642 9587 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 22 0 510536865 16096645120 52117 33554432000 1073741824 1073778376 140736318755936 18446744073709551615 228107267584 0 4 0 16800975 18446604453939725632 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.5
Current children cumulated vsize (KiB) 15719380

[startup+6.30071 s]
/proc/loadavg: 7.10 7.83 7.94 8/220 9668
/proc/meminfo: memFree=28642912/32951124 swapFree=67111348/67111528
[pid=9642] ppid=9640 vsize=15719380 CPUtime=8.85 cores=0,2,4,6
/proc/9642/stat : 9642 (java) S 9640 9642 9587 0 -1 4202496 74030 0 1 0 874 11 0 0 25 0 22 0 510536768 16096645120 63863 33554432000 1073741824 1073778376 140736318755936 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/9642/statm: 3929845 63863 2275 9 0 3920564 0
[pid=9642/tid=9643] ppid=9640 vsize=15719380 CPUtime=6.24 cores=0,2,4,6
/proc/9642/task/9643/stat : 9643 (java) R 9640 9642 9587 0 -1 4202560 35695 0 1 0 619 5 0 0 25 0 22 0 510536769 16096645120 63863 33554432000 1073741824 1073778376 140736318755936 18446744073709551615 46912506319936 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=9642/tid=9645] ppid=9640 vsize=15719380 CPUtime=0 cores=0,2,4,6
/proc/9642/task/9645/stat : 9645 (java) S 9640 9642 9587 0 -1 4202560 29 0 0 0 0 0 0 0 15 0 22 0 510536769 16096645120 63863 33554432000 1073741824 1073778376 140736318755936 18446744073709551615 228107266969 0 4 0 16800975 18446604453939725632 0 0 -1 0 0 0 0
[pid=9642/tid=9646] ppid=9640 vsize=15719380 CPUtime=0 cores=0,2,4,6
/proc/9642/task/9646/stat : 9646 (java) S 9640 9642 9587 0 -1 4202560 52 0 0 0 0 0 0 0 15 0 22 0 510536769 16096645120 63863 33554432000 1073741824 1073778376 140736318755936 18446744073709551615 228107266969 0 4 0 16800975 18446604453939725632 0 0 -1 4 0 0 0
[pid=9642/tid=9647] ppid=9640 vsize=15719380 CPUtime=0.02 cores=0,2,4,6
/proc/9642/task/9647/stat : 9647 (java) S 9640 9642 9587 0 -1 4202560 3410 0 0 0 2 0 0 0 16 0 22 0 510536769 16096645120 63863 33554432000 1073741824 1073778376 140736318755936 18446744073709551615 228107266969 0 4 0 16800975 18446604453939725632 0 0 -1 4 0 0 0
[pid=9642/tid=9648] ppid=9640 vsize=15719380 CPUtime=0.02 cores=0,2,4,6
/proc/9642/task/9648/stat : 9648 (java) S 9640 9642 9587 0 -1 4202560 2902 0 0 0 2 0 0 0 16 0 22 0 510536769 16096645120 63863 33554432000 1073741824 1073778376 140736318755936 18446744073709551615 228107266969 0 4 0 16800975 18446604453939725632 0 0 -1 6 0 0 0
[pid=9642/tid=9649] ppid=9640 vsize=15719380 CPUtime=0 cores=0,2,4,6
/proc/9642/task/9649/stat : 9649 (java) S 9640 9642 9587 0 -1 4202560 150 0 0 0 0 0 0 0 15 0 22 0 510536769 16096645120 63863 33554432000 1073741824 1073778376 140736318755936 18446744073709551615 228107266969 0 4 0 16800975 18446604453939725632 0 0 -1 4 0 0 0
[pid=9642/tid=9650] ppid=9640 vsize=15719380 CPUtime=0 cores=0,2,4,6
/proc/9642/task/9650/stat : 9650 (java) S 9640 9642 9587 0 -1 4202560 423 0 0 0 0 0 0 0 15 0 22 0 510536769 16096645120 63863 33554432000 1073741824 1073778376 140736318755936 18446744073709551615 228107266969 0 4 0 16800975 18446604453939725632 0 0 -1 4 0 0 0
[pid=9642/tid=9651] ppid=9640 vsize=15719380 CPUtime=0.02 cores=0,2,4,6
/proc/9642/task/9651/stat : 9651 (java) S 9640 9642 9587 0 -1 4202560 3707 0 0 0 2 0 0 0 16 0 22 0 510536769 16096645120 63863 33554432000 1073741824 1073778376 140736318755936 18446744073709551615 228107266969 0 4 0 16800975 18446604453939725632 0 0 -1 2 0 0 0
[pid=9642/tid=9652] ppid=9640 vsize=15719380 CPUtime=0.02 cores=0,2,4,6
/proc/9642/task/9652/stat : 9652 (java) S 9640 9642 9587 0 -1 4202560 3420 0 0 0 2 0 0 0 16 0 22 0 510536769 16096645120 63863 33554432000 1073741824 1073778376 140736318755936 18446744073709551615 228107266969 0 4 0 16800975 18446604453939725632 0 0 -1 0 0 0 0

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

/proc/9642/task/9647/stat : 9647 (java) S 9640 9642 9587 0 -1 4202560 290940 0 0 0 296 48 0 0 16 0 22 0 510536769 16091205632 1901707 33554432000 1073741824 1073778376 140736318755936 18446744073709551615 228107266969 0 4 0 16800975 18446604453939725632 0 0 -1 0 0 0 0
[pid=9642/tid=9648] ppid=9640 vsize=15714068 CPUtime=3.69 cores=0,2,4,6
/proc/9642/task/9648/stat : 9648 (java) S 9640 9642 9587 0 -1 4202560 335268 0 0 0 315 54 0 0 15 0 22 0 510536769 16091205632 1901707 33554432000 1073741824 1073778376 140736318755936 18446744073709551615 228107266969 0 4 0 16800975 18446604453939725632 0 0 -1 0 0 0 0
[pid=9642/tid=9649] ppid=9640 vsize=15714068 CPUtime=3.31 cores=0,2,4,6
/proc/9642/task/9649/stat : 9649 (java) S 9640 9642 9587 0 -1 4202560 257086 0 0 0 293 38 0 0 16 0 22 0 510536769 16091205632 1901707 33554432000 1073741824 1073778376 140736318755936 18446744073709551615 228107266969 0 4 0 16800975 18446604453939725632 0 0 -1 0 0 0 0
[pid=9642/tid=9650] ppid=9640 vsize=15714068 CPUtime=2.67 cores=0,2,4,6
/proc/9642/task/9650/stat : 9650 (java) S 9640 9642 9587 0 -1 4202560 190934 0 0 0 237 30 0 0 15 0 22 0 510536769 16091205632 1901707 33554432000 1073741824 1073778376 140736318755936 18446744073709551615 228107266969 0 4 0 16800975 18446604453939725632 0 0 -1 6 0 0 0
[pid=9642/tid=9651] ppid=9640 vsize=15714068 CPUtime=3.89 cores=0,2,4,6
/proc/9642/task/9651/stat : 9651 (java) S 9640 9642 9587 0 -1 4202560 232416 0 0 0 354 35 0 0 16 0 22 0 510536769 16091205632 1901707 33554432000 1073741824 1073778376 140736318755936 18446744073709551615 228107266969 0 4 0 16800975 18446604453939725632 0 0 -1 2 0 0 0
[pid=9642/tid=9652] ppid=9640 vsize=15714068 CPUtime=3.77 cores=0,2,4,6
/proc/9642/task/9652/stat : 9652 (java) S 9640 9642 9587 0 -1 4202560 334094 0 0 0 321 56 0 0 16 0 22 0 510536769 16091205632 1901707 33554432000 1073741824 1073778376 140736318755936 18446744073709551615 228107266969 0 4 0 16800975 18446604453939725632 0 0 -1 0 0 0 0
[pid=9642/tid=9653] ppid=9640 vsize=15714068 CPUtime=3.04 cores=0,2,4,6
/proc/9642/task/9653/stat : 9653 (java) S 9640 9642 9587 0 -1 4202560 14594 0 0 0 297 7 0 0 15 0 22 0 510536770 16091205632 1901707 33554432000 1073741824 1073778376 140736318755936 18446744073709551615 228107267584 0 0 0 16800975 18446604453939725632 0 0 -1 4 0 0 0
[pid=9642/tid=9654] ppid=9640 vsize=15714068 CPUtime=0 cores=0,2,4,6
/proc/9642/task/9654/stat : 9654 (java) S 9640 9642 9587 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 510536771 16091205632 1901707 33554432000 1073741824 1073778376 140736318755936 18446744073709551615 228107266969 0 4 0 16800975 18446604453939725632 0 0 -1 4 0 0 0
[pid=9642/tid=9655] ppid=9640 vsize=15714068 CPUtime=0 cores=0,2,4,6
/proc/9642/task/9655/stat : 9655 (java) S 9640 9642 9587 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 510536771 16091205632 1901707 33554432000 1073741824 1073778376 140736318755936 18446744073709551615 228107266969 0 4 0 16800975 18446604453939725632 0 0 -1 4 0 0 0
[pid=9642/tid=9656] ppid=9640 vsize=15714068 CPUtime=0 cores=0,2,4,6
/proc/9642/task/9656/stat : 9656 (java) S 9640 9642 9587 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 510536773 16091205632 1901707 33554432000 1073741824 1073778376 140736318755936 18446744073709551615 228107274673 0 4 0 16800975 18446604453939725632 0 0 -1 2 0 0 0
[pid=9642/tid=9657] ppid=9640 vsize=15714068 CPUtime=2.37 cores=0,2,4,6
/proc/9642/task/9657/stat : 9657 (java) S 9640 9642 9587 0 -1 4202560 12890 0 0 0 236 1 0 0 16 0 22 0 510536773 16091205632 1901707 33554432000 1073741824 1073778376 140736318755936 18446744073709551615 228107266969 0 4 0 16800975 18446604453939725632 0 0 -1 0 0 0 0
[pid=9642/tid=9658] ppid=9640 vsize=15714068 CPUtime=1.55 cores=0,2,4,6
/proc/9642/task/9658/stat : 9658 (java) S 9640 9642 9587 0 -1 4202560 9974 0 0 0 154 1 0 0 15 0 22 0 510536773 16091205632 1901707 33554432000 1073741824 1073778376 140736318755936 18446744073709551615 228107266969 0 4 0 16800975 18446604453939725632 0 0 -1 6 0 0 0
[pid=9642/tid=9659] ppid=9640 vsize=15714068 CPUtime=0 cores=0,2,4,6
/proc/9642/task/9659/stat : 9659 (java) S 9640 9642 9587 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 510536773 16091205632 1901707 33554432000 1073741824 1073778376 140736318755936 18446744073709551615 228107266969 0 4 0 16800975 18446604453939725632 0 0 -1 2 0 0 0
[pid=9642/tid=9660] ppid=9640 vsize=15714068 CPUtime=0 cores=0,2,4,6
/proc/9642/task/9660/stat : 9660 (java) S 9640 9642 9587 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 22 0 510536773 16091205632 1901707 33554432000 1073741824 1073778376 140736318755936 18446744073709551615 228107267584 0 4 0 16800975 18446604453939725632 0 0 -1 0 0 0 0
[pid=9642/tid=9665] ppid=9640 vsize=15714068 CPUtime=1067.47 cores=0,2,4,6
/proc/9642/task/9665/stat : 9665 (java) R 9640 9642 9587 0 -1 4202560 91743 0 0 0 106736 11 0 0 25 0 22 0 510536865 16091205632 1901707 33554432000 1073741824 1073778376 140736318755936 18446744073709551615 46912506320069 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=9642/tid=9666] ppid=9640 vsize=15714068 CPUtime=1057.01 cores=0,2,4,6
/proc/9642/task/9666/stat : 9666 (java) R 9640 9642 9587 0 -1 4202560 18872 0 0 0 105699 2 0 0 25 0 22 0 510536865 16091205632 1901707 33554432000 1073741824 1073778376 140736318755936 18446744073709551615 46912506502515 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=9642/tid=9667] ppid=9640 vsize=15714068 CPUtime=1076.15 cores=0,2,4,6
/proc/9642/task/9667/stat : 9667 (java) R 9640 9642 9587 0 -1 4202560 22818 0 0 0 107611 4 0 0 25 0 22 0 510536865 16091205632 1901707 33554432000 1073741824 1073778376 140736318755936 18446744073709551615 46912506328759 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=9642/tid=9668] ppid=9640 vsize=15714068 CPUtime=1041.91 cores=0,2,4,6
/proc/9642/task/9668/stat : 9668 (java) R 9640 9642 9587 0 -1 4202560 12826 0 0 0 104187 4 0 0 25 0 22 0 510536865 16091205632 1901707 33554432000 1073741824 1073778376 140736318755936 18446744073709551615 46912506319892 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4300.19
Current children cumulated vsize (KiB) 15714068

[startup+1242.3 s]
/proc/loadavg: 7.97 8.02 7.88 9/220 9752
/proc/meminfo: memFree=21792184/32951124 swapFree=67111348/67111528
[pid=9642] ppid=9640 vsize=15714068 CPUtime=4539.76 cores=0,2,4,6
/proc/9642/stat : 9642 (java) S 9640 9642 9587 0 -1 4202496 2354505 0 1 0 453590 386 0 0 25 0 22 0 510536768 16091205632 1747644 33554432000 1073741824 1073778376 140736318755936 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/9642/statm: 3928517 1747644 2294 9 0 3919236 0
[pid=9642/tid=9643] ppid=9640 vsize=15714068 CPUtime=23.54 cores=0,2,4,6
/proc/9642/task/9643/stat : 9643 (java) S 9640 9642 9587 0 -1 4202560 35737 0 1 0 2349 5 0 0 25 0 22 0 510536769 16091205632 1747644 33554432000 1073741824 1073778376 140736318755936 18446744073709551615 228107266969 0 4 0 16800975 18446604453939725632 0 0 -1 2 0 0 0
[pid=9642/tid=9645] ppid=9640 vsize=15714068 CPUtime=2.98 cores=0,2,4,6
/proc/9642/task/9645/stat : 9645 (java) S 9640 9642 9587 0 -1 4202560 212247 0 0 0 264 34 0 0 16 0 22 0 510536769 16091205632 1747644 33554432000 1073741824 1073778376 140736318755936 18446744073709551615 228107266969 0 4 0 16800975 18446604453939725632 0 0 -1 2 0 0 0
[pid=9642/tid=9646] ppid=9640 vsize=15714068 CPUtime=3.51 cores=0,2,4,6
/proc/9642/task/9646/stat : 9646 (java) S 9640 9642 9587 0 -1 4202560 280392 0 0 0 307 44 0 0 16 0 22 0 510536769 16091205632 1747644 33554432000 1073741824 1073778376 140736318755936 18446744073709551615 228107266969 0 4 0 16800975 18446604453939725632 0 0 -1 4 0 0 0
[pid=9642/tid=9647] ppid=9640 vsize=15714068 CPUtime=3.57 cores=0,2,4,6
/proc/9642/task/9647/stat : 9647 (java) S 9640 9642 9587 0 -1 4202560 290940 0 0 0 309 48 0 0 15 0 22 0 510536769 16091205632 1747644 33554432000 1073741824 1073778376 140736318755936 18446744073709551615 228107266969 0 4 0 16800975 18446604453939725632 0 0 -1 0 0 0 0
[pid=9642/tid=9648] ppid=9640 vsize=15714068 CPUtime=3.82 cores=0,2,4,6
/proc/9642/task/9648/stat : 9648 (java) S 9640 9642 9587 0 -1 4202560 335268 0 0 0 328 54 0 0 15 0 22 0 510536769 16091205632 1747644 33554432000 1073741824 1073778376 140736318755936 18446744073709551615 228107266969 0 4 0 16800975 18446604453939725632 0 0 -1 0 0 0 0
[pid=9642/tid=9649] ppid=9640 vsize=15714068 CPUtime=3.52 cores=0,2,4,6
/proc/9642/task/9649/stat : 9649 (java) S 9640 9642 9587 0 -1 4202560 257087 0 0 0 314 38 0 0 16 0 22 0 510536769 16091205632 1747644 33554432000 1073741824 1073778376 140736318755936 18446744073709551615 228107266969 0 4 0 16800975 18446604453939725632 0 0 -1 0 0 0 0
[pid=9642/tid=9650] ppid=9640 vsize=15714068 CPUtime=2.78 cores=0,2,4,6
/proc/9642/task/9650/stat : 9650 (java) S 9640 9642 9587 0 -1 4202560 190934 0 0 0 248 30 0 0 15 0 22 0 510536769 16091205632 1747644 33554432000 1073741824 1073778376 140736318755936 18446744073709551615 228107266969 0 4 0 16800975 18446604453939725632 0 0 -1 0 0 0 0
[pid=9642/tid=9651] ppid=9640 vsize=15714068 CPUtime=4.07 cores=0,2,4,6
/proc/9642/task/9651/stat : 9651 (java) S 9640 9642 9587 0 -1 4202560 232417 0 0 0 372 35 0 0 16 0 22 0 510536769 16091205632 1747644 33554432000 1073741824 1073778376 140736318755936 18446744073709551615 228107266969 0 4 0 16800975 18446604453939725632 0 0 -1 4 0 0 0
[pid=9642/tid=9652] ppid=9640 vsize=15714068 CPUtime=3.93 cores=0,2,4,6
/proc/9642/task/9652/stat : 9652 (java) S 9640 9642 9587 0 -1 4202560 334094 0 0 0 337 56 0 0 16 0 22 0 510536769 16091205632 1747644 33554432000 1073741824 1073778376 140736318755936 18446744073709551615 228107266969 0 4 0 16800975 18446604453939725632 0 0 -1 4 0 0 0
[pid=9642/tid=9653] ppid=9640 vsize=15714068 CPUtime=3.06 cores=0,2,4,6
/proc/9642/task/9653/stat : 9653 (java) S 9640 9642 9587 0 -1 4202560 14800 0 0 0 297 9 0 0 15 0 22 0 510536770 16091205632 1747644 33554432000 1073741824 1073778376 140736318755936 18446744073709551615 228107267584 0 0 0 16800975 18446604453939725632 0 0 -1 4 0 0 0
[pid=9642/tid=9654] ppid=9640 vsize=15714068 CPUtime=0 cores=0,2,4,6
/proc/9642/task/9654/stat : 9654 (java) S 9640 9642 9587 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 510536771 16091205632 1747644 33554432000 1073741824 1073778376 140736318755936 18446744073709551615 228107266969 0 4 0 16800975 18446604453939725632 0 0 -1 4 0 0 0
[pid=9642/tid=9655] ppid=9640 vsize=15714068 CPUtime=0 cores=0,2,4,6
/proc/9642/task/9655/stat : 9655 (java) S 9640 9642 9587 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 510536771 16091205632 1747644 33554432000 1073741824 1073778376 140736318755936 18446744073709551615 228107266969 0 4 0 16800975 18446604453939725632 0 0 -1 4 0 0 0
[pid=9642/tid=9656] ppid=9640 vsize=15714068 CPUtime=0 cores=0,2,4,6
/proc/9642/task/9656/stat : 9656 (java) S 9640 9642 9587 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 510536773 16091205632 1747644 33554432000 1073741824 1073778376 140736318755936 18446744073709551615 228107274673 0 4 0 16800975 18446604453939725632 0 0 -1 2 0 0 0
[pid=9642/tid=9657] ppid=9640 vsize=15714068 CPUtime=2.37 cores=0,2,4,6
/proc/9642/task/9657/stat : 9657 (java) S 9640 9642 9587 0 -1 4202560 12890 0 0 0 236 1 0 0 16 0 22 0 510536773 16091205632 1747644 33554432000 1073741824 1073778376 140736318755936 18446744073709551615 228107266969 0 4 0 16800975 18446604453939725632 0 0 -1 0 0 0 0
[pid=9642/tid=9658] ppid=9640 vsize=15714068 CPUtime=1.55 cores=0,2,4,6
/proc/9642/task/9658/stat : 9658 (java) S 9640 9642 9587 0 -1 4202560 9974 0 0 0 154 1 0 0 15 0 22 0 510536773 16091205632 1747644 33554432000 1073741824 1073778376 140736318755936 18446744073709551615 228107266969 0 4 0 16800975 18446604453939725632 0 0 -1 6 0 0 0
[pid=9642/tid=9659] ppid=9640 vsize=15714068 CPUtime=0 cores=0,2,4,6
/proc/9642/task/9659/stat : 9659 (java) S 9640 9642 9587 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 510536773 16091205632 1747644 33554432000 1073741824 1073778376 140736318755936 18446744073709551615 228107266969 0 4 0 16800975 18446604453939725632 0 0 -1 2 0 0 0
[pid=9642/tid=9660] ppid=9640 vsize=15714068 CPUtime=0 cores=0,2,4,6
/proc/9642/task/9660/stat : 9660 (java) S 9640 9642 9587 0 -1 4202560 73 0 0 0 0 0 0 0 15 0 22 0 510536773 16091205632 1747644 33554432000 1073741824 1073778376 140736318755936 18446744073709551615 228107267584 0 4 0 16800975 18446604453939725632 0 0 -1 0 0 0 0
[pid=9642/tid=9665] ppid=9640 vsize=15714068 CPUtime=1127.13 cores=0,2,4,6
/proc/9642/task/9665/stat : 9665 (java) R 9640 9642 9587 0 -1 4202560 91747 0 0 0 112702 11 0 0 25 0 22 0 510536865 16091205632 1747644 33554432000 1073741824 1073778376 140736318755936 18446744073709551615 46912506320097 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=9642/tid=9666] ppid=9640 vsize=15714068 CPUtime=1116.52 cores=0,2,4,6
/proc/9642/task/9666/stat : 9666 (java) R 9640 9642 9587 0 -1 4202560 18873 0 0 0 111649 3 0 0 25 0 22 0 510536865 16091205632 1747644 33554432000 1073741824 1073778376 140736318755936 18446744073709551615 46912506814662 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=9642/tid=9667] ppid=9640 vsize=15714068 CPUtime=1135.82 cores=0,2,4,6
/proc/9642/task/9667/stat : 9667 (java) R 9640 9642 9587 0 -1 4202560 22819 0 0 0 113578 4 0 0 25 0 22 0 510536865 16091205632 1747644 33554432000 1073741824 1073778376 140736318755936 18446744073709551615 46912505851047 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=9642/tid=9668] ppid=9640 vsize=15714068 CPUtime=1101.4 cores=0,2,4,6
/proc/9642/task/9668/stat : 9668 (java) R 9640 9642 9587 0 -1 4202560 12828 0 0 0 110136 4 0 0 25 0 22 0 510536865 16091205632 1747644 33554432000 1073741824 1073778376 140736318755936 18446744073709551615 46912506502826 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4539.76
Current children cumulated vsize (KiB) 15714068



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 8.03 8.03 7.89 9/220 9754
/proc/meminfo: memFree=22233192/32951124 swapFree=67111348/67111528
[pid=9642] ppid=9640 vsize=15714068 CPUtime=4770.15 cores=0,2,4,6
/proc/9642/stat : 9642 (java) S 9640 9642 9587 0 -1 4202496 2411508 0 1 0 476619 396 0 0 25 0 22 0 510536768 16091205632 1649360 33554432000 1073741824 1073778376 140736318755936 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/9642/statm: 3928517 1649360 2294 9 0 3919236 0
[pid=9642/tid=9643] ppid=9640 vsize=15714068 CPUtime=23.54 cores=0,2,4,6
/proc/9642/task/9643/stat : 9643 (java) S 9640 9642 9587 0 -1 4202560 35737 0 1 0 2349 5 0 0 25 0 22 0 510536769 16091205632 1649360 33554432000 1073741824 1073778376 140736318755936 18446744073709551615 228107266969 0 4 0 16800975 18446604453939725632 0 0 -1 2 0 0 0
[pid=9642/tid=9645] ppid=9640 vsize=15714068 CPUtime=3.18 cores=0,2,4,6
/proc/9642/task/9645/stat : 9645 (java) S 9640 9642 9587 0 -1 4202560 218807 0 0 0 283 35 0 0 16 0 22 0 510536769 16091205632 1649360 33554432000 1073741824 1073778376 140736318755936 18446744073709551615 228107266969 0 4 0 16800975 18446604453939725632 0 0 -1 0 0 0 0
[pid=9642/tid=9646] ppid=9640 vsize=15714068 CPUtime=3.65 cores=0,2,4,6
/proc/9642/task/9646/stat : 9646 (java) S 9640 9642 9587 0 -1 4202560 286107 0 0 0 320 45 0 0 15 0 22 0 510536769 16091205632 1649360 33554432000 1073741824 1073778376 140736318755936 18446744073709551615 228107266969 0 4 0 16800975 18446604453939725632 0 0 -1 6 0 0 0
[pid=9642/tid=9647] ppid=9640 vsize=15714068 CPUtime=3.76 cores=0,2,4,6
/proc/9642/task/9647/stat : 9647 (java) S 9640 9642 9587 0 -1 4202560 292769 0 0 0 328 48 0 0 16 0 22 0 510536769 16091205632 1649360 33554432000 1073741824 1073778376 140736318755936 18446744073709551615 228107266969 0 4 0 16800975 18446604453939725632 0 0 -1 4 0 0 0
[pid=9642/tid=9648] ppid=9640 vsize=15714068 CPUtime=3.96 cores=0,2,4,6
/proc/9642/task/9648/stat : 9648 (java) S 9640 9642 9587 0 -1 4202560 340776 0 0 0 342 54 0 0 15 0 22 0 510536769 16091205632 1649360 33554432000 1073741824 1073778376 140736318755936 18446744073709551615 228107266969 0 4 0 16800975 18446604453939725632 0 0 -1 6 0 0 0
[pid=9642/tid=9649] ppid=9640 vsize=15714068 CPUtime=3.68 cores=0,2,4,6
/proc/9642/task/9649/stat : 9649 (java) S 9640 9642 9587 0 -1 4202560 263612 0 0 0 329 39 0 0 15 0 22 0 510536769 16091205632 1649360 33554432000 1073741824 1073778376 140736318755936 18446744073709551615 228107266969 0 4 0 16800975 18446604453939725632 0 0 -1 0 0 0 0
[pid=9642/tid=9650] ppid=9640 vsize=15714068 CPUtime=3.06 cores=0,2,4,6
/proc/9642/task/9650/stat : 9650 (java) S 9640 9642 9587 0 -1 4202560 204567 0 0 0 273 33 0 0 16 0 22 0 510536769 16091205632 1649360 33554432000 1073741824 1073778376 140736318755936 18446744073709551615 228107266969 0 4 0 16800975 18446604453939725632 0 0 -1 6 0 0 0
[pid=9642/tid=9651] ppid=9640 vsize=15714068 CPUtime=4.23 cores=0,2,4,6
/proc/9642/task/9651/stat : 9651 (java) S 9640 9642 9587 0 -1 4202560 245974 0 0 0 386 37 0 0 16 0 22 0 510536769 16091205632 1649360 33554432000 1073741824 1073778376 140736318755936 18446744073709551615 228107266969 0 4 0 16800975 18446604453939725632 0 0 -1 6 0 0 0
[pid=9642/tid=9652] ppid=9640 vsize=15714068 CPUtime=4.06 cores=0,2,4,6
/proc/9642/task/9652/stat : 9652 (java) S 9640 9642 9587 0 -1 4202560 337693 0 0 0 349 57 0 0 15 0 22 0 510536769 16091205632 1649360 33554432000 1073741824 1073778376 140736318755936 18446744073709551615 228107266969 0 4 0 16800975 18446604453939725632 0 0 -1 6 0 0 0
[pid=9642/tid=9653] ppid=9640 vsize=15714068 CPUtime=3.1 cores=0,2,4,6
/proc/9642/task/9653/stat : 9653 (java) S 9640 9642 9587 0 -1 4202560 14862 0 0 0 298 12 0 0 15 0 22 0 510536770 16091205632 1649360 33554432000 1073741824 1073778376 140736318755936 18446744073709551615 228107267584 0 0 0 16800975 18446604453939725632 0 0 -1 2 0 0 0
[pid=9642/tid=9654] ppid=9640 vsize=15714068 CPUtime=0 cores=0,2,4,6
/proc/9642/task/9654/stat : 9654 (java) S 9640 9642 9587 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 510536771 16091205632 1649360 33554432000 1073741824 1073778376 140736318755936 18446744073709551615 228107266969 0 4 0 16800975 18446604453939725632 0 0 -1 4 0 0 0
[pid=9642/tid=9655] ppid=9640 vsize=15714068 CPUtime=0 cores=0,2,4,6
/proc/9642/task/9655/stat : 9655 (java) S 9640 9642 9587 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 510536771 16091205632 1649360 33554432000 1073741824 1073778376 140736318755936 18446744073709551615 228107266969 0 4 0 16800975 18446604453939725632 0 0 -1 4 0 0 0
[pid=9642/tid=9656] ppid=9640 vsize=15714068 CPUtime=0 cores=0,2,4,6
/proc/9642/task/9656/stat : 9656 (java) S 9640 9642 9587 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 510536773 16091205632 1649360 33554432000 1073741824 1073778376 140736318755936 18446744073709551615 228107274673 0 4 0 16800975 18446604453939725632 0 0 -1 2 0 0 0
[pid=9642/tid=9657] ppid=9640 vsize=15714068 CPUtime=2.37 cores=0,2,4,6
/proc/9642/task/9657/stat : 9657 (java) S 9640 9642 9587 0 -1 4202560 12890 0 0 0 236 1 0 0 16 0 22 0 510536773 16091205632 1649360 33554432000 1073741824 1073778376 140736318755936 18446744073709551615 228107266969 0 4 0 16800975 18446604453939725632 0 0 -1 0 0 0 0
[pid=9642/tid=9658] ppid=9640 vsize=15714068 CPUtime=1.56 cores=0,2,4,6
/proc/9642/task/9658/stat : 9658 (java) S 9640 9642 9587 0 -1 4202560 9975 0 0 0 155 1 0 0 15 0 22 0 510536773 16091205632 1649360 33554432000 1073741824 1073778376 140736318755936 18446744073709551615 228107266969 0 4 0 16800975 18446604453939725632 0 0 -1 6 0 0 0
[pid=9642/tid=9659] ppid=9640 vsize=15714068 CPUtime=0 cores=0,2,4,6
/proc/9642/task/9659/stat : 9659 (java) S 9640 9642 9587 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 510536773 16091205632 1649360 33554432000 1073741824 1073778376 140736318755936 18446744073709551615 228107266969 0 4 0 16800975 18446604453939725632 0 0 -1 2 0 0 0
[pid=9642/tid=9660] ppid=9640 vsize=15714068 CPUtime=0 cores=0,2,4,6
/proc/9642/task/9660/stat : 9660 (java) S 9640 9642 9587 0 -1 4202560 77 0 0 0 0 0 0 0 15 0 22 0 510536773 16091205632 1649360 33554432000 1073741824 1073778376 140736318755936 18446744073709551615 228107267584 0 4 0 16800975 18446604453939725632 0 0 -1 0 0 0 0
[pid=9642/tid=9665] ppid=9640 vsize=15714068 CPUtime=1184.46 cores=0,2,4,6
/proc/9642/task/9665/stat : 9665 (java) R 9640 9642 9587 0 -1 4202560 91749 0 0 0 118435 11 0 0 25 0 22 0 510536865 16091205632 1649360 33554432000 1073741824 1073778376 140736318755936 18446744073709551615 46912506319824 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=9642/tid=9666] ppid=9640 vsize=15714068 CPUtime=1173.52 cores=0,2,4,6
/proc/9642/task/9666/stat : 9666 (java) R 9640 9642 9587 0 -1 4202560 18876 0 0 0 117349 3 0 0 25 0 22 0 510536865 16091205632 1649360 33554432000 1073741824 1073778376 140736318755936 18446744073709551615 48007061604628 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=9642/tid=9667] ppid=9640 vsize=15714068 CPUtime=1193.15 cores=0,2,4,6
/proc/9642/task/9667/stat : 9667 (java) R 9640 9642 9587 0 -1 4202560 22823 0 0 0 119311 4 0 0 25 0 22 0 510536865 16091205632 1649360 33554432000 1073741824 1073778376 140736318755936 18446744073709551615 46912506266881 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=9642/tid=9668] ppid=9640 vsize=15714068 CPUtime=1158.74 cores=0,2,4,6
/proc/9642/task/9668/stat : 9668 (java) R 9640 9642 9587 0 -1 4202560 12829 0 0 0 115870 4 0 0 25 0 22 0 510536865 16091205632 1649360 33554432000 1073741824 1073778376 140736318755936 18446744073709551615 46912506320092 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4770.15
Current children cumulated vsize (KiB) 15714068

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

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

[startup+1300.11 s]
/proc/loadavg: 8.03 8.03 7.89 9/220 9754
/proc/meminfo: memFree=22233192/32951124 swapFree=67111348/67111528
[pid=9642] ppid=9640 vsize=0 CPUtime=4770.28 cores=0,2,4,6
/proc/9642/stat : 9642 (java) Z 9640 9642 9587 0 -1 4203548 2411535 0 1 0 476622 406 0 0 17 0 2 0 510536768 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/9642/statm: 0 0 0 0 0 0 0
[pid=9642/tid=9666] ppid=9640 vsize=0 CPUtime=1173.62 cores=0,2,4,6
/proc/9642/task/9666/stat : 9666 (java) R 9640 9642 9587 0 -1 4203588 18876 0 0 0 117350 12 0 0 25 0 2 0 510536865 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4770.28
Current children cumulated vsize (KiB) 0

[startup+1300.2 s]
/proc/loadavg: 8.03 8.03 7.89 6/201 9757
/proc/meminfo: memFree=26828784/32951124 swapFree=67111348/67111528
[pid=9642] ppid=9640 vsize=0 CPUtime=4770.37 cores=0,2,4,6
/proc/9642/stat : 9642 (java) Z 9640 9642 9587 0 -1 4203548 2411535 0 1 0 476622 415 0 0 17 0 2 0 510536768 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/9642/statm: 0 0 0 0 0 0 0
[pid=9642/tid=9666] ppid=9640 vsize=0 CPUtime=1173.72 cores=0,2,4,6
/proc/9642/task/9666/stat : 9666 (java) R 9640 9642 9587 0 -1 4203588 18876 0 0 0 117350 22 0 0 25 0 2 0 510536865 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4770.37
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1300.28
CPU time (s): 4770.46
CPU user time (s): 4766.23
CPU system time (s): 4.23236
CPU usage (%): 366.879
Max. virtual memory (cumulated for all children) (KiB): 15719380

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4766.23
system time used= 4.23236
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2411535
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= 40231
involuntary context switches= 54004

runsolver used 2.10568 second user time and 5.04723 second system time

The end

Launcher Data 

Begin job on node142 at 2011-04-30 18:33:33
IDJOB=3312287
IDBENCH=83116
IDSOLVER=1698
FILE ID=node142/3312287-1304181213
RUNJOBID= node142-1304181213-9605
PBS_JOBID= 13172464
Free space on /tmp= 73316 MiB

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

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

MD5SUM BENCH= 1f485d737caaaca49e2c467c83cbdcec
RANDOM SEED=1978892608

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      29271588 kB
Buffers:       1110568 kB
Cached:        1998356 kB
SwapCached:        176 kB
Active:         488412 kB
Inactive:      2693672 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29271588 kB
SwapTotal:    67111528 kB
SwapFree:     67111348 kB
Dirty:            8116 kB
Writeback:          12 kB
AnonPages:       72216 kB
Mapped:          20772 kB
Slab:           432304 kB
PageTables:       5204 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   774408 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= 73316 MiB
End job on node142 at 2011-04-30 18:55:15