Trace number 1779855

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
ttsth-5-0 2009-03-19 (16 threads)? (MO) 3787.73 248.812

General information on the benchmark

NameAPPLICATIONS/aprove09/
AProVE09-11.cnf
MD5SUM0f6b435a3aa045f7fe1d5c154e2f0953
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.94
Satisfiable
(Un)Satisfiability was proved
Number of variables20192
Number of clauses78082
Sum of the clauses size207558
Maximum clause length224
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 238969
Number of clauses of size 334065
Number of clauses of size 42452
Number of clauses of size 5405
Number of clauses of size over 52190

Solver Data 

0.00/0.10	c Command: HOME/ttsth-5-0 -num-threads 16 HOME/instance-1779855-1244956608.cnf 
0.00/0.10	c Using SATTIMEOUT of 10000
0.00/0.10	c Using SATRAM of 2047
0.00/0.10	c Size of subset node = 16
0.00/0.10	c Variables = 20192
0.00/0.10	c Clauses = 78082
0.00/0.10	c Literals = 207558
0.00/0.10	c Reduced size:
0.00/0.10	c Variables = 20192
0.00/0.10	c Clauses = 77131
0.00/0.10	c Literals = 205200
0.00/0.10	c a2
0.20/0.22	c a1
2.50/2.59	c Independent sub-problems = 1
2.50/2.59	c Sub-problem with 19942 variables and 77131 clauses
2.50/2.59	c using permutation method 4
2.50/2.59	c count = 1
2.50/2.59	c Ordering finished 2.550 seconds
2.50/2.59	c mapped 2.580 seconds
2.50/2.59	c permuted 2.580 seconds
2.50/2.59	c about to sort
2.60/2.60	c sorted
7.38/7.41	c clauses now 77131
7.38/7.41	c init finished 2.980 seconds
7.38/7.41	c tree built 7.400 seconds
7.38/7.41	c 
7.38/7.41	c PA progress                      | CPU progress Partial assignments | improvements      CPU time        PA/sec        nodes
7.38/7.41	c ---------------------------------|----------------------------------|------------------------------------------------------
7.38/7.41	c ................................ | ..........                       |                        7.4           0.0             
7.38/7.41	c ................................ | ..........                     1 |                        7.4           0.1             
7.38/7.41	c ................................ | ..........                     2 |                        7.4           0.3             
7.38/7.41	c ................................ | ..........                     3 |                        7.4           0.4             
7.38/7.41	c ................................ | ..........                     4 |                        7.4           0.5             
7.38/7.41	c ................................ | ..........                     5 |                        7.4           0.7             
7.38/7.41	c ................................ | ..........                  1000 | 41                     7.4         134.4          765
312.77/26.95	c ................................ | ..........               1753000 | 112765               200.0        8764.6     10197644
602.30/45.49	c ................................ | ..........               3593000 | 220286               400.0        8982.1     18811463
883.96/63.47	c ................................ | ..........               4878000 | 295680               601.1        8115.0     27083885
1161.26/81.17	c ................................ | ..........               6214000 | 378569               800.3        7764.6     34861451
1446.42/99.39	c ................................ | *.........               7363000 | 450217              1000.0        7362.7     40750756
1729.08/117.35	c ................................ | *.........               8651000 | 531697              1200.1        7208.7     47033507
2009.27/135.25	c ................................ | *.........               9359000 | 581279              1400.6        6682.1     52371541
2292.98/153.32	c ................................ | *.........              10700000 | 665367              1600.1        6687.0     57994226
2576.94/171.41	c ................................ | *.........              11596000 | 732461              1800.4        6440.8     63478088
2859.17/189.45	c ................................ | **........              12454000 | 795595              2000.1        6226.7     67744076

Verifier Data 

sh: BIN/SAT-verifier: No such file or directory

Watcher Data 

runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w /tmp/evaluation-result-1779855-1244956608/watcher-1779855-1244956608 -o /tmp/evaluation-result-1779855-1244956608/solver-1779855-1244956608 -C 10000 -W 1000 -M 2047 HOME/ttsth-5-0 -num-threads 16 HOME/instance-1779855-1244956608.cnf 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 2096128 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 2147328 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 13.69 13.77 14.22 2/184 25847
/proc/meminfo: memFree=19042848/36427776 swapFree=4348/7008
[pid=25847] ppid=25845 vsize=1548 CPUtime=0
/proc/25847/stat : 25847 (ttsth-5-0) R 25845 25847 15497 0 -1 4202496 273 0 0 0 0 0 0 0 20 0 1 0 654967181 1585152 229 18446744073709551615 134512640 135237372 4288633040 18446744073709551615 134732614 0 0 1 0 0 0 0 17 1 0 0 0 0 0
/proc/25847/statm: 387 229 75 177 0 209 0

[startup+0.11356 s]
/proc/loadavg: 13.69 13.77 14.22 2/184 25847
/proc/meminfo: memFree=19042848/36427776 swapFree=4348/7008
[pid=25847] ppid=25845 vsize=8020 CPUtime=0.1
/proc/25847/stat : 25847 (ttsth-5-0) R 25845 25847 15497 0 -1 4202496 1857 0 0 0 10 0 0 0 20 0 1 0 654967181 8212480 1813 18446744073709551615 134512640 135237372 4288633040 18446744073709551615 134732614 0 0 1 0 0 0 0 17 1 0 0 0 0 0
/proc/25847/statm: 2038 1817 76 177 0 1860 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 8020

[startup+0.201596 s]
/proc/loadavg: 13.69 13.77 14.22 2/184 25847
/proc/meminfo: memFree=19042848/36427776 swapFree=4348/7008
[pid=25847] ppid=25845 vsize=12148 CPUtime=0.2
/proc/25847/stat : 25847 (ttsth-5-0) R 25845 25847 15497 0 -1 4202496 2839 0 0 0 18 2 0 0 20 0 1 0 654967181 12439552 2794 18446744073709551615 134512640 135237372 4288633040 18446744073709551615 134680356 0 0 1 0 0 0 0 17 1 0 0 0 0 0
/proc/25847/statm: 3037 2794 76 177 0 2859 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 12148

[startup+0.301611 s]
/proc/loadavg: 13.69 13.77 14.22 2/184 25847
/proc/meminfo: memFree=19042848/36427776 swapFree=4348/7008
[pid=25847] ppid=25845 vsize=12796 CPUtime=0.3
/proc/25847/stat : 25847 (ttsth-5-0) R 25845 25847 15497 0 -1 4202496 3253 0 0 0 28 2 0 0 20 0 1 0 654967181 13103104 3010 18446744073709551615 134512640 135237372 4288633040 18446744073709551615 134735855 0 0 1 0 0 0 0 17 1 0 0 0 0 0
/proc/25847/statm: 3199 3011 77 177 0 3021 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 12796

[startup+0.701603 s]
/proc/loadavg: 13.69 13.77 14.22 2/184 25847
/proc/meminfo: memFree=19042848/36427776 swapFree=4348/7008
[pid=25847] ppid=25845 vsize=15040 CPUtime=0.7
/proc/25847/stat : 25847 (ttsth-5-0) R 25845 25847 15497 0 -1 4202496 3808 0 0 0 68 2 0 0 20 0 1 0 654967181 15400960 3565 18446744073709551615 134512640 135237372 4288633040 18446744073709551615 134600972 0 0 1 0 0 0 0 17 1 0 0 0 0 0
/proc/25847/statm: 3760 3565 77 177 0 3582 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 15040

[startup+1.50167 s]
/proc/loadavg: 13.69 13.77 14.22 2/185 25848
/proc/meminfo: memFree=19028308/36427776 swapFree=4596/21752
[pid=25847] ppid=25845 vsize=15400 CPUtime=1.5
/proc/25847/stat : 25847 (ttsth-5-0) R 25845 25847 15497 0 -1 4202496 3889 0 0 0 146 4 0 0 20 0 1 0 654967181 15769600 3646 18446744073709551615 134512640 135237372 4288633040 18446744073709551615 134555272 0 0 1 0 0 0 0 17 1 0 0 0 0 0
/proc/25847/statm: 3850 3646 77 177 0 3672 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 15400

[startup+3.10185 s]
/proc/loadavg: 13.69 13.77 14.22 2/185 25848
/proc/meminfo: memFree=19027332/36427776 swapFree=4536/22668
[pid=25847] ppid=25845 vsize=220840 CPUtime=3.1
/proc/25847/stat : 25847 (ttsth-5-0) R 25845 25847 15497 0 -1 4202496 55386 0 0 0 286 24 0 0 20 0 1 0 654967181 226140160 55067 18446744073709551615 134512640 135237372 4288633040 18446744073709551615 134732614 0 0 1 0 0 0 0 17 1 0 0 0 0 0
/proc/25847/statm: 55210 55069 88 177 0 55032 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 220840

[startup+6.30208 s]
/proc/loadavg: 12.68 13.56 14.15 2/185 25848
/proc/meminfo: memFree=18795364/36427776 swapFree=4664/254652
[pid=25847] ppid=25845 vsize=247468 CPUtime=6.3
/proc/25847/stat : 25847 (ttsth-5-0) R 25845 25847 15497 0 -1 4202496 61976 0 0 0 604 26 0 0 20 0 1 0 654967181 253407232 61657 18446744073709551615 134512640 135237372 4288633040 18446744073709551615 134749343 0 0 1 0 0 0 0 17 1 0 0 0 0 0
/proc/25847/statm: 61867 61657 88 177 0 61689 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 247468

[startup+12.7068 s]
/proc/loadavg: 12.94 13.60 14.16 17/201 25864
/proc/meminfo: memFree=18738704/36427776 swapFree=4692/316092
[pid=25847] ppid=25845 vsize=438748 CPUtime=90.21
/proc/25847/stat : 25847 (ttsth-5-0) S 25845 25847 15497 0 -1 4202496 79259 0 0 0 3084 5937 0 0 20 0 17 0 654967181 449277952 78940 18446744073709551615 134512640 135237372 4288633040 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25847/statm: 109687 78940 95 177 0 109509 0
[pid=25847/tid=25849] ppid=25845 vsize=438748 CPUtime=5.26
/proc/25847/task/25849/stat : 25849 (ttsth-5-0) R 25845 25847 15497 0 -1 4202560 2763 0 0 0 518 8 0 0 20 0 17 0 654967922 449277952 78940 18446744073709551615 134512640 135237372 4288633040 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=25847/tid=25850] ppid=25845 vsize=438748 CPUtime=5.16
/proc/25847/task/25850/stat : 25850 (ttsth-5-0) R 25845 25847 15497 0 -1 4202560 752 0 0 0 116 400 0 0 20 0 17 0 654967922 449277952 78940 18446744073709551615 134512640 135237372 4288633040 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=25847/tid=25851] ppid=25845 vsize=438748 CPUtime=5.16
/proc/25847/task/25851/stat : 25851 (ttsth-5-0) R 25845 25847 15497 0 -1 4202560 825 0 0 0 122 394 0 0 20 0 17 0 654967922 449277952 78940 18446744073709551615 134512640 135237372 4288633040 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=25847/tid=25852] ppid=25845 vsize=438748 CPUtime=5.16
/proc/25847/task/25852/stat : 25852 (ttsth-5-0) R 25845 25847 15497 0 -1 4202560 1007 0 0 0 136 380 0 0 20 0 17 0 654967923 449277952 78940 18446744073709551615 134512640 135237372 4288633040 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=25847/tid=25853] ppid=25845 vsize=438748 CPUtime=5.18
/proc/25847/task/25853/stat : 25853 (ttsth-5-0) R 25845 25847 15497 0 -1 4202560 1021 0 0 0 134 384 0 0 20 0 17 0 654967923 449277952 78940 18446744073709551615 134512640 135237372 4288633040 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=25847/tid=25854] ppid=25845 vsize=438748 CPUtime=5.16
/proc/25847/task/25854/stat : 25854 (ttsth-5-0) R 25845 25847 15497 0 -1 4202560 634 0 0 0 132 384 0 0 20 0 17 0 654967923 449277952 78940 18446744073709551615 134512640 135237372 4288633040 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=25847/tid=25855] ppid=25845 vsize=438748 CPUtime=5.16
/proc/25847/task/25855/stat : 25855 (ttsth-5-0) R 25845 25847 15497 0 -1 4202560 712 0 0 0 128 388 0 0 20 0 17 0 654967923 449277952 78940 18446744073709551615 134512640 135237372 4288633040 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=25847/tid=25856] ppid=25845 vsize=438748 CPUtime=5.18
/proc/25847/task/25856/stat : 25856 (ttsth-5-0) R 25845 25847 15497 0 -1 4202560 885 0 0 0 118 400 0 0 20 0 17 0 654967923 449277952 78940 18446744073709551615 134512640 135237372 4288633040 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=25847/tid=25857] ppid=25845 vsize=438748 CPUtime=5.16
/proc/25847/task/25857/stat : 25857 (ttsth-5-0) R 25845 25847 15497 0 -1 4202560 773 0 0 0 124 392 0 0 20 0 17 0 654967923 449277952 78940 18446744073709551615 134512640 135237372 4288633040 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=25847/tid=25858] ppid=25845 vsize=438748 CPUtime=5.18
/proc/25847/task/25858/stat : 25858 (ttsth-5-0) R 25845 25847 15497 0 -1 4202560 689 0 0 0 118 400 0 0 20 0 17 0 654967923 449277952 78940 18446744073709551615 134512640 135237372 4288633040 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=25847/tid=25859] ppid=25845 vsize=438748 CPUtime=5.18
/proc/25847/task/25859/stat : 25859 (ttsth-5-0) R 25845 25847 15497 0 -1 4202560 755 0 0 0 128 390 0 0 20 0 17 0 654967923 449277952 78940 18446744073709551615 134512640 135237372 4288633040 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=25847/tid=25860] ppid=25845 vsize=438748 CPUtime=5.18
/proc/25847/task/25860/stat : 25860 (ttsth-5-0) R 25845 25847 15497 0 -1 4202560 921 0 0 0 118 400 0 0 20 0 17 0 654967923 449277952 78940 18446744073709551615 134512640 135237372 4288633040 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=25847/tid=25861] ppid=25845 vsize=438748 CPUtime=5.16
/proc/25847/task/25861/stat : 25861 (ttsth-5-0) R 25845 25847 15497 0 -1 4202560 570 0 0 0 118 398 0 0 20 0 17 0 654967923 449277952 78940 18446744073709551615 134512640 135237372 4288633040 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=25847/tid=25862] ppid=25845 vsize=438748 CPUtime=5.16
/proc/25847/task/25862/stat : 25862 (ttsth-5-0) R 25845 25847 15497 0 -1 4202560 590 0 0 0 124 392 0 0 20 0 17 0 654967923 449277952 78940 18446744073709551615 134512640 135237372 4288633040 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=25847/tid=25863] ppid=25845 vsize=438748 CPUtime=5.04
/proc/25847/task/25863/stat : 25863 (ttsth-5-0) R 25845 25847 15497 0 -1 4202560 1148 0 0 0 114 390 0 0 20 0 17 0 654967923 449277952 78940 18446744073709551615 134512640 135237372 4288633040 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=25847/tid=25864] ppid=25845 vsize=438748 CPUtime=5.16
/proc/25847/task/25864/stat : 25864 (ttsth-5-0) R 25845 25847 15497 0 -1 4202560 729 0 0 0 114 402 0 0 20 0 17 0 654967923 449277952 78940 18446744073709551615 134512640 135237372 4288633040 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 90.21
Current children cumulated vsize (KiB) 438748

[startup+25.5029 s]
/proc/loadavg: 13.54 13.70 14.18 17/201 25867
/proc/meminfo: memFree=18596492/36427776 swapFree=4692/455380
[pid=25847] ppid=25845 vsize=572424 CPUtime=290.74
/proc/25847/stat : 25847 (ttsth-5-0) S 25845 25847 15497 0 -1 4202496 113081 0 0 0 9769 19305 0 0 20 0 17 0 654967181 586162176 112762 18446744073709551615 134512640 135237372 4288633040 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25847/statm: 143106 112762 95 177 0 142928 0
[pid=25847/tid=25849] ppid=25845 vsize=572424 CPUtime=18.06
/proc/25847/task/25849/stat : 25849 (ttsth-5-0) R 25845 25847 15497 0 -1 4202560 7344 0 0 0 1788 18 0 0 20 0 17 0 654967922 586162176 112762 18446744073709551615 134512640 135237372 4288633040 18446744073709551615 134732535 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=25847/tid=25850] ppid=25845 vsize=572424 CPUtime=17.7
/proc/25847/task/25850/stat : 25850 (ttsth-5-0) R 25845 25847 15497 0 -1 4202560 2993 0 0 0 458 1312 0 0 20 0 17 0 654967922 586162176 112762 18446744073709551615 134512640 135237372 4288633040 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=25847/tid=25851] ppid=25845 vsize=572424 CPUtime=17.68
/proc/25847/task/25851/stat : 25851 (ttsth-5-0) R 25845 25847 15497 0 -1 4202560 2655 0 0 0 502 1266 0 0 20 0 17 0 654967922 586162176 112763 18446744073709551615 134512640 135237372 4288633040 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=25847/tid=25852] ppid=25845 vsize=572424 CPUtime=17.72
/proc/25847/task/25852/stat : 25852 (ttsth-5-0) R 25845 25847 15497 0 -1 4202560 3240 0 0 0 502 1270 0 0 20 0 17 0 654967923 586162176 112764 18446744073709551615 134512640 135237372 4288633040 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=25847/tid=25853] ppid=25845 vsize=572424 CPUtime=17.7
/proc/25847/task/25853/stat : 25853 (ttsth-5-0) R 25845 25847 15497 0 -1 4202560 3776 0 0 0 494 1276 0 0 20 0 17 0 654967923 586162176 112764 18446744073709551615 134512640 135237372 4288633040 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=25847/tid=25854] ppid=25845 vsize=572424 CPUtime=17.7
/proc/25847/task/25854/stat : 25854 (ttsth-5-0) R 25845 25847 15497 0 -1 4202560 2598 0 0 0 468 1302 0 0 20 0 17 0 654967923 586162176 112764 18446744073709551615 134512640 135237372 4288633040 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=25847/tid=25855] ppid=25845 vsize=572424 CPUtime=17.68
/proc/25847/task/25855/stat : 25855 (ttsth-5-0) R 25845 25847 15497 0 -1 4202560 2742 0 0 0 522 1246 0 0 20 0 17 0 654967923 586162176 112764 18446744073709551615 134512640 135237372 4288633040 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=25847/tid=25856] ppid=25845 vsize=572424 CPUtime=17.7
/proc/25847/task/25856/stat : 25856 (ttsth-5-0) R 25845 25847 15497 0 -1 4202560 2629 0 0 0 474 1296 0 0 20 0 17 0 654967923 586162176 112764 18446744073709551615 134512640 135237372 4288633040 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=25847/tid=25857] ppid=25845 vsize=572424 CPUtime=17.7
/proc/25847/task/25857/stat : 25857 (ttsth-5-0) R 25845 25847 15497 0 -1 4202560 2732 0 0 0 506 1264 0 0 20 0 17 0 654967923 586162176 112764 18446744073709551615 134512640 135237372 4288633040 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=25847/tid=25858] ppid=25845 vsize=572424 CPUtime=17.7
/proc/25847/task/25858/stat : 25858 (ttsth-5-0) R 25845 25847 15497 0 -1 4202560 2169 0 0 0 480 1290 0 0 20 0 17 0 654967923 586162176 112764 18446744073709551615 134512640 135237372 4288633040 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=25847/tid=25859] ppid=25845 vsize=572424 CPUtime=17.74
/proc/25847/task/25859/stat : 25859 (ttsth-5-0) R 25845 25847 15497 0 -1 4202560 3130 0 0 0 492 1282 0 0 20 0 17 0 654967923 586162176 112764 18446744073709551615 134512640 135237372 4288633040 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=25847/tid=25860] ppid=25845 vsize=572424 CPUtime=17.7
/proc/25847/task/25860/stat : 25860 (ttsth-5-0) R 25845 25847 15497 0 -1 4202560 2443 0 0 0 452 1318 0 0 20 0 17 0 654967923 586162176 112764 18446744073709551615 134512640 135237372 4288633040 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=25847/tid=25861] ppid=25845 vsize=572424 CPUtime=17.7
/proc/25847/task/25861/stat : 25861 (ttsth-5-0) R 25845 25847 15497 0 -1 4202560 2364 0 0 0 494 1276 0 0 20 0 17 0 654967923 586162176 112764 18446744073709551615 134512640 135237372 4288633040 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=25847/tid=25862] ppid=25845 vsize=572424 CPUtime=17.7
/proc/25847/task/25862/stat : 25862 (ttsth-5-0) R 25845 25847 15497 0 -1 4202560 2001 0 0 0 476 1294 0 0 20 0 17 0 654967923 586162176 112764 18446744073709551615 134512640 135237372 4288633040 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=25847/tid=25863] ppid=25845 vsize=572424 CPUtime=17.32
/proc/25847/task/25863/stat : 25863 (ttsth-5-0) R 25845 25847 15497 0 -1 4202560 2808 0 0 0 468 1264 0 0 20 0 17 0 654967923 586162176 112764 18446744073709551615 134512640 135237372 4288633040 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=25847/tid=25864] ppid=25845 vsize=572424 CPUtime=17.7
/proc/25847/task/25864/stat : 25864 (ttsth-5-0) R 25845 25847 15497 0 -1 4202560 2973 0 0 0 472 1298 0 0 20 0 17 0 654967923 586162176 112764 18446744073709551615 134512640 135237372 4288633040 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 290.74
Current children cumulated vsize (KiB) 572424

[startup+51.1059 s]
/proc/loadavg: 14.38 13.89 14.23 17/201 25867
/proc/meminfo: memFree=18390600/36427776 swapFree=4692/661356
[pid=25847] ppid=25845 vsize=787144 CPUtime=691.58
/proc/25847/stat : 25847 (ttsth-5-0) S 25845 25847 15497 0 -1 4202496 164680 0 0 0 28496 40662 0 0 20 0 17 0 654967181 806035456 164361 18446744073709551615 134512640 135237372 4288633040 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25847/statm: 196786 164361 95 177 0 196608 0
[pid=25847/tid=25849] ppid=25845 vsize=787144 CPUtime=43.64
/proc/25847/task/25849/stat : 25849 (ttsth-5-0) R 25845 25847 15497 0 -1 4202560 13439 0 0 0 4336 28 0 0 20 0 17 0 654967922 806035456 164361 18446744073709551615 134512640 135237372 4288633040 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=25847/tid=25850] ppid=25845 vsize=787144 CPUtime=42.74
/proc/25847/task/25850/stat : 25850 (ttsth-5-0) R 25845 25847 15497 0 -1 4202560 8105 0 0 0 1396 2878 0 0 20 0 17 0 654967922 806035456 164362 18446744073709551615 134512640 135237372 4288633040 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=25847/tid=25851] ppid=25845 vsize=787144 CPUtime=42.7
/proc/25847/task/25851/stat : 25851 (ttsth-5-0) R 25845 25847 15497 0 -1 4202560 5530 0 0 0 1682 2588 0 0 20 0 17 0 654967922 806035456 164362 18446744073709551615 134512640 135237372 4288633040 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=25847/tid=25852] ppid=25845 vsize=787144 CPUtime=42.82
/proc/25847/task/25852/stat : 25852 (ttsth-5-0) R 25845 25847 15497 0 -1 4202560 6178 0 0 0 1646 2636 0 0 20 0 17 0 654967923 806035456 164363 18446744073709551615 134512640 135237372 4288633040 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=25847/tid=25853] ppid=25845 vsize=787144 CPUtime=42.78
/proc/25847/task/25853/stat : 25853 (ttsth-5-0) R 25845 25847 15497 0 -1 4202560 7161 0 0 0 1668 2610 0 0 20 0 17 0 654967923 806035456 164363 18446744073709551615 134512640 135237372 4288633040 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=25847/tid=25854] ppid=25845 vsize=787144 CPUtime=42.64
/proc/25847/task/25854/stat : 25854 (ttsth-5-0) R 25845 25847 15497 0 -1 4202560 6037 0 0 0 1466 2798 0 0 20 0 17 0 654967923 806035456 164363 18446744073709551615 134512640 135237372 4288633040 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=25847/tid=25855] ppid=25845 vsize=787144 CPUtime=42.72
/proc/25847/task/25855/stat : 25855 (ttsth-5-0) R 25845 25847 15497 0 -1 4202560 5473 0 0 0 1588 2684 0 0 20 0 17 0 654967923 806035456 164363 18446744073709551615 134512640 135237372 4288633040 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=25847/tid=25856] ppid=25845 vsize=787144 CPUtime=42.7
/proc/25847/task/25856/stat : 25856 (ttsth-5-0) R 25845 25847 15497 0 -1 4202560 5596 0 0 0 1474 2796 0 0 20 0 17 0 654967923 806035456 164363 18446744073709551615 134512640 135237372 4288633040 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=25847/tid=25857] ppid=25845 vsize=787144 CPUtime=42.78
/proc/25847/task/25857/stat : 25857 (ttsth-5-0) R 25845 25847 15497 0 -1 4202560 4864 0 0 0 1602 2676 0 0 20 0 17 0 654967923 806035456 164363 18446744073709551615 134512640 135237372 4288633040 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=25847/tid=25858] ppid=25845 vsize=787144 CPUtime=42.74
/proc/25847/task/25858/stat : 25858 (ttsth-5-0) R 25845 25847 15497 0 -1 4202560 4571 0 0 0 1580 2694 0 0 20 0 17 0 654967923 806035456 164363 18446744073709551615 134512640 135237372 4288633040 18446744073709551615 134728885 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=25847/tid=25859] ppid=25845 vsize=787144 CPUtime=42.84
/proc/25847/task/25859/stat : 25859 (ttsth-5-0) R 25845 25847 15497 0 -1 4202560 6399 0 0 0 1600 2684 0 0 20 0 17 0 654967923 806035456 164363 18446744073709551615 134512640 135237372 4288633040 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=25847/tid=25860] ppid=25845 vsize=787144 CPUtime=42.8
/proc/25847/task/25860/stat : 25860 (ttsth-5-0) R 25845 25847 15497 0 -1 4202560 5622 0 0 0 1500 2780 0 0 20 0 17 0 654967923 806035456 164363 18446744073709551615 134512640 135237372 4288633040 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=25847/tid=25861] ppid=25845 vsize=787144 CPUtime=42.82
/proc/25847/task/25861/stat : 25861 (ttsth-5-0) R 25845 25847 15497 0 -1 4202560 4609 0 0 0 1564 2718 0 0 20 0 17 0 654967923 806035456 164363 18446744073709551615 134512640 135237372 4288633040 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=25847/tid=25862] ppid=25845 vsize=787144 CPUtime=42.8
/proc/25847/task/25862/stat : 25862 (ttsth-5-0) R 25845 25847 15497 0 -1 4202560 4784 0 0 0 1538 2742 0 0 20 0 17 0 654967923 806035456 164363 18446744073709551615 134512640 135237372 4288633040 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=25847/tid=25863] ppid=25845 vsize=787144 CPUtime=41.84
/proc/25847/task/25863/stat : 25863 (ttsth-5-0) R 25845 25847 15497 0 -1 4202560 6246 0 0 0 1582 2602 0 0 20 0 17 0 654967923 806035456 164363 18446744073709551615 134512640 135237372 4288633040 18446744073709551615 134549877 0 0 1 0 0 0 0 -1 0 0 0 0 0 0

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

[pid=25847/tid=25858] ppid=25845 vsize=1141188 CPUtime=92.73
/proc/25847/task/25858/stat : 25858 (ttsth-5-0) R 25845 25847 15497 0 -1 4202560 9204 0 0 0 3762 5511 0 0 20 0 17 0 654967923 1168576512 248281 18446744073709551615 134512640 135237372 4288633040 18446744073709551615 134590241 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=25847/tid=25859] ppid=25845 vsize=1141188 CPUtime=93.09
/proc/25847/task/25859/stat : 25859 (ttsth-5-0) R 25845 25847 15497 0 -1 4202560 11403 0 0 0 4068 5241 0 0 20 0 17 0 654967923 1168576512 248281 18446744073709551615 134512640 135237372 4288633040 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=25847/tid=25860] ppid=25845 vsize=1141188 CPUtime=92.97
/proc/25847/task/25860/stat : 25860 (ttsth-5-0) S 25845 25847 15497 0 -1 4202560 11792 0 0 0 3923 5374 0 0 20 0 17 0 654967923 1168576512 248281 18446744073709551615 134512640 135237372 4288633040 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=25847/tid=25861] ppid=25845 vsize=1141188 CPUtime=93.04
/proc/25847/task/25861/stat : 25861 (ttsth-5-0) R 25845 25847 15497 0 -1 4202560 8406 0 0 0 3911 5393 0 0 20 0 17 0 654967923 1168576512 248282 18446744073709551615 134512640 135237372 4288633040 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=25847/tid=25862] ppid=25845 vsize=1141188 CPUtime=92.96
/proc/25847/task/25862/stat : 25862 (ttsth-5-0) R 25845 25847 15497 0 -1 4202560 8720 0 0 0 3749 5547 0 0 20 0 17 0 654967923 1168576512 248282 18446744073709551615 134512640 135237372 4288633040 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=25847/tid=25863] ppid=25845 vsize=1141188 CPUtime=91.01
/proc/25847/task/25863/stat : 25863 (ttsth-5-0) R 25845 25847 15497 0 -1 4202560 11911 0 0 0 4070 5031 0 0 20 0 17 0 654967923 1168576512 248284 18446744073709551615 134512640 135237372 4288633040 18446744073709551615 134587177 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=25847/tid=25864] ppid=25845 vsize=1141188 CPUtime=92.78
/proc/25847/task/25864/stat : 25864 (ttsth-5-0) R 25845 25847 15497 0 -1 4202560 11416 0 0 0 3991 5287 0 0 20 0 17 0 654967923 1168576512 248284 18446744073709551615 134512640 135237372 4288633040 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1493.64
Current children cumulated vsize (KiB) 1141188

[startup+162.304 s]
/proc/loadavg: 15.74 14.53 14.42 17/201 25867
/proc/meminfo: memFree=17735208/36427776 swapFree=4692/1315776
[pid=25847] ppid=25845 vsize=1473040 CPUtime=2434.18
/proc/25847/stat : 25847 (ttsth-5-0) S 25845 25847 15497 0 -1 4202496 327603 0 0 0 114536 128882 0 0 20 0 17 0 654967181 1508392960 327284 18446744073709551615 134512640 135237372 4288633040 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25847/statm: 368260 327284 95 177 0 368082 0
[pid=25847/tid=25849] ppid=25845 vsize=1473040 CPUtime=154.79
/proc/25847/task/25849/stat : 25849 (ttsth-5-0) R 25845 25847 15497 0 -1 4202560 42165 0 0 0 15387 92 0 0 20 0 17 0 654967922 1508392960 327284 18446744073709551615 134512640 135237372 4288633040 18446744073709551615 134592184 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=25847/tid=25850] ppid=25845 vsize=1473040 CPUtime=151.84
/proc/25847/task/25850/stat : 25850 (ttsth-5-0) R 25845 25847 15497 0 -1 4202560 17735 0 0 0 6577 8607 0 0 20 0 17 0 654967922 1508392960 327285 18446744073709551615 134512640 135237372 4288633040 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=25847/tid=25851] ppid=25845 vsize=1473040 CPUtime=151.6
/proc/25847/task/25851/stat : 25851 (ttsth-5-0) R 25845 25847 15497 0 -1 4202560 12217 0 0 0 6852 8308 0 0 20 0 17 0 654967922 1508392960 327285 18446744073709551615 134512640 135237372 4288633040 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=25847/tid=25852] ppid=25845 vsize=1473040 CPUtime=152.04
/proc/25847/task/25852/stat : 25852 (ttsth-5-0) R 25845 25847 15497 0 -1 4202560 16608 0 0 0 7173 8031 0 0 20 0 17 0 654967923 1508392960 327285 18446744073709551615 134512640 135237372 4288633040 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=25847/tid=25853] ppid=25845 vsize=1473040 CPUtime=151.58
/proc/25847/task/25853/stat : 25853 (ttsth-5-0) R 25845 25847 15497 0 -1 4202560 17308 0 0 0 6594 8564 0 0 20 0 17 0 654967923 1508392960 327285 18446744073709551615 134512640 135237372 4288633040 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=25847/tid=25854] ppid=25845 vsize=1473040 CPUtime=151.13
/proc/25847/task/25854/stat : 25854 (ttsth-5-0) R 25845 25847 15497 0 -1 4202560 15186 0 0 0 6425 8688 0 0 20 0 17 0 654967923 1508392960 327285 18446744073709551615 134512640 135237372 4288633040 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=25847/tid=25855] ppid=25845 vsize=1473040 CPUtime=151.81
/proc/25847/task/25855/stat : 25855 (ttsth-5-0) R 25845 25847 15497 0 -1 4202560 14906 0 0 0 6799 8382 0 0 20 0 17 0 654967923 1508392960 327285 18446744073709551615 134512640 135237372 4288633040 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=25847/tid=25856] ppid=25845 vsize=1473040 CPUtime=151.36
/proc/25847/task/25856/stat : 25856 (ttsth-5-0) R 25845 25847 15497 0 -1 4202560 13826 0 0 0 6171 8965 0 0 20 0 17 0 654967923 1508392960 327285 18446744073709551615 134512640 135237372 4288633040 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=25847/tid=25857] ppid=25845 vsize=1473040 CPUtime=151.71
/proc/25847/task/25857/stat : 25857 (ttsth-5-0) R 25845 25847 15497 0 -1 4202560 14279 0 0 0 6517 8654 0 0 20 0 17 0 654967923 1508392960 327285 18446744073709551615 134512640 135237372 4288633040 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=25847/tid=25858] ppid=25845 vsize=1473040 CPUtime=151.41
/proc/25847/task/25858/stat : 25858 (ttsth-5-0) R 25845 25847 15497 0 -1 4202560 11038 0 0 0 6205 8936 0 0 20 0 17 0 654967923 1508392960 327285 18446744073709551615 134512640 135237372 4288633040 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=25847/tid=25859] ppid=25845 vsize=1473040 CPUtime=152
/proc/25847/task/25859/stat : 25859 (ttsth-5-0) R 25845 25847 15497 0 -1 4202560 16437 0 0 0 6855 8345 0 0 20 0 17 0 654967923 1508392960 327285 18446744073709551615 134512640 135237372 4288633040 18446744073709551615 134634403 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=25847/tid=25860] ppid=25845 vsize=1473040 CPUtime=151.81
/proc/25847/task/25860/stat : 25860 (ttsth-5-0) R 25845 25847 15497 0 -1 4202560 16801 0 0 0 6570 8611 0 0 20 0 17 0 654967923 1508392960 327285 18446744073709551615 134512640 135237372 4288633040 18446744073709551615 134589526 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=25847/tid=25861] ppid=25845 vsize=1473040 CPUtime=151.66
/proc/25847/task/25861/stat : 25861 (ttsth-5-0) R 25845 25847 15497 0 -1 4202560 11606 0 0 0 6216 8950 0 0 20 0 17 0 654967923 1508392960 327285 18446744073709551615 134512640 135237372 4288633040 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=25847/tid=25862] ppid=25845 vsize=1473040 CPUtime=151.73
/proc/25847/task/25862/stat : 25862 (ttsth-5-0) R 25845 25847 15497 0 -1 4202560 12021 0 0 0 6176 8997 0 0 20 0 17 0 654967923 1508392960 327285 18446744073709551615 134512640 135237372 4288633040 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=25847/tid=25863] ppid=25845 vsize=1473040 CPUtime=148.7
/proc/25847/task/25863/stat : 25863 (ttsth-5-0) R 25845 25847 15497 0 -1 4202560 15410 0 0 0 6748 8122 0 0 20 0 17 0 654967923 1508392960 327285 18446744073709551615 134512640 135237372 4288633040 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=25847/tid=25864] ppid=25845 vsize=1473040 CPUtime=151.48
/proc/25847/task/25864/stat : 25864 (ttsth-5-0) R 25845 25847 15497 0 -1 4202560 15576 0 0 0 6552 8596 0 0 20 0 17 0 654967923 1508392960 327285 18446744073709551615 134512640 135237372 4288633040 18446744073709551615 134591687 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2434.18
Current children cumulated vsize (KiB) 1473040

[startup+222.317 s]
/proc/loadavg: 15.96 14.81 14.52 17/201 25872
/proc/meminfo: memFree=17380508/36427776 swapFree=4692/1669488
[pid=25847] ppid=25845 vsize=1839892 CPUtime=3375.16
/proc/25847/stat : 25847 (ttsth-5-0) S 25845 25847 15497 0 -1 4202496 416018 0 0 0 159137 178379 0 0 20 0 17 0 654967181 1884049408 415699 18446744073709551615 134512640 135237372 4288633040 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25847/statm: 459973 415699 95 177 0 459795 0
[pid=25847/tid=25849] ppid=25845 vsize=1839892 CPUtime=214.79
/proc/25847/task/25849/stat : 25849 (ttsth-5-0) R 25845 25847 15497 0 -1 4202560 58474 0 0 0 21357 122 0 0 20 0 17 0 654967922 1884049408 415699 18446744073709551615 134512640 135237372 4288633040 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=25847/tid=25850] ppid=25845 vsize=1839892 CPUtime=210.67
/proc/25847/task/25850/stat : 25850 (ttsth-5-0) R 25845 25847 15497 0 -1 4202560 20477 0 0 0 9263 11804 0 0 20 0 17 0 654967922 1884049408 415699 18446744073709551615 134512640 135237372 4288633040 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=25847/tid=25851] ppid=25845 vsize=1839892 CPUtime=210.57
/proc/25847/task/25851/stat : 25851 (ttsth-5-0) R 25845 25847 15497 0 -1 4202560 16448 0 0 0 9697 11360 0 0 20 0 17 0 654967922 1884049408 415699 18446744073709551615 134512640 135237372 4288633040 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=25847/tid=25852] ppid=25845 vsize=1839892 CPUtime=210.94
/proc/25847/task/25852/stat : 25852 (ttsth-5-0) R 25845 25847 15497 0 -1 4202560 22319 0 0 0 10016 11078 0 0 20 0 17 0 654967923 1884049408 415699 18446744073709551615 134512640 135237372 4288633040 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=25847/tid=25853] ppid=25845 vsize=1839892 CPUtime=210.16
/proc/25847/task/25853/stat : 25853 (ttsth-5-0) R 25845 25847 15497 0 -1 4202560 22570 0 0 0 8949 12067 0 0 20 0 17 0 654967923 1884049408 415699 18446744073709551615 134512640 135237372 4288633040 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=25847/tid=25854] ppid=25845 vsize=1839892 CPUtime=209.7
/proc/25847/task/25854/stat : 25854 (ttsth-5-0) R 25845 25847 15497 0 -1 4202560 18555 0 0 0 8801 12169 0 0 20 0 17 0 654967923 1884049408 415699 18446744073709551615 134512640 135237372 4288633040 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=25847/tid=25855] ppid=25845 vsize=1839892 CPUtime=210.68
/proc/25847/task/25855/stat : 25855 (ttsth-5-0) R 25845 25847 15497 0 -1 4202560 18759 0 0 0 9448 11620 0 0 20 0 17 0 654967923 1884049408 415699 18446744073709551615 134512640 135237372 4288633040 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=25847/tid=25856] ppid=25845 vsize=1839892 CPUtime=210.11
/proc/25847/task/25856/stat : 25856 (ttsth-5-0) R 25845 25847 15497 0 -1 4202560 18899 0 0 0 8832 12179 0 0 20 0 17 0 654967923 1884049408 415699 18446744073709551615 134512640 135237372 4288633040 18446744073709551615 134589526 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=25847/tid=25857] ppid=25845 vsize=1839892 CPUtime=210.55
/proc/25847/task/25857/stat : 25857 (ttsth-5-0) R 25845 25847 15497 0 -1 4202560 22794 0 0 0 9107 11948 0 0 20 0 17 0 654967923 1884049408 415699 18446744073709551615 134512640 135237372 4288633040 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=25847/tid=25858] ppid=25845 vsize=1839892 CPUtime=210.12
/proc/25847/task/25858/stat : 25858 (ttsth-5-0) R 25845 25847 15497 0 -1 4202560 15060 0 0 0 8717 12295 0 0 20 0 17 0 654967923 1884049408 415699 18446744073709551615 134512640 135237372 4288633040 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=25847/tid=25859] ppid=25845 vsize=1839892 CPUtime=211.02
/proc/25847/task/25859/stat : 25859 (ttsth-5-0) R 25845 25847 15497 0 -1 4202560 20040 0 0 0 9511 11591 0 0 20 0 17 0 654967923 1884049408 415699 18446744073709551615 134512640 135237372 4288633040 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=25847/tid=25860] ppid=25845 vsize=1839892 CPUtime=210.66
/proc/25847/task/25860/stat : 25860 (ttsth-5-0) R 25845 25847 15497 0 -1 4202560 25003 0 0 0 9014 12052 0 0 20 0 17 0 654967923 1884049408 415699 18446744073709551615 134512640 135237372 4288633040 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=25847/tid=25861] ppid=25845 vsize=1839892 CPUtime=210.32
/proc/25847/task/25861/stat : 25861 (ttsth-5-0) R 25845 25847 15497 0 -1 4202560 16424 0 0 0 8575 12457 0 0 20 0 17 0 654967923 1884049408 415699 18446744073709551615 134512640 135237372 4288633040 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=25847/tid=25862] ppid=25845 vsize=1839892 CPUtime=210.63
/proc/25847/task/25862/stat : 25862 (ttsth-5-0) R 25845 25847 15497 0 -1 4202560 17041 0 0 0 8748 12315 0 0 20 0 17 0 654967923 1884049408 415699 18446744073709551615 134512640 135237372 4288633040 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=25847/tid=25863] ppid=25845 vsize=1839892 CPUtime=206.34
/proc/25847/task/25863/stat : 25863 (ttsth-5-0) R 25845 25847 15497 0 -1 4202560 19469 0 0 0 9267 11367 0 0 20 0 17 0 654967923 1884049408 415699 18446744073709551615 134512640 135237372 4288633040 18446744073709551615 134561428 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=25847/tid=25864] ppid=25845 vsize=1839892 CPUtime=210.33
/proc/25847/task/25864/stat : 25864 (ttsth-5-0) R 25845 25847 15497 0 -1 4202560 19201 0 0 0 9114 11919 0 0 20 0 17 0 654967923 1884049408 415699 18446744073709551615 134512640 135237372 4288633040 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3375.16
Current children cumulated vsize (KiB) 1839892



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+248.602 s]
/proc/loadavg: 15.97 14.92 14.57 18/201 25872
/proc/meminfo: memFree=17134656/36427776 swapFree=4692/1914408
[pid=25847] ppid=25845 vsize=2097188 CPUtime=3787.37
/proc/25847/stat : 25847 (ttsth-5-0) S 25845 25847 15497 0 -1 4202496 476695 0 0 0 180356 198381 0 0 20 0 17 0 654967181 2147520512 476376 18446744073709551615 134512640 135237372 4288633040 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25847/statm: 524297 476376 95 177 0 524119 0
[pid=25847/tid=25849] ppid=25845 vsize=2097188 CPUtime=241.09
/proc/25847/task/25849/stat : 25849 (ttsth-5-0) R 25845 25847 15497 0 -1 4202560 69391 0 0 0 23969 140 0 0 20 0 17 0 654967922 2147520512 476378 18446744073709551615 134512640 135237372 4288633040 18446744073709551615 134732535 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=25847/tid=25850] ppid=25845 vsize=2097188 CPUtime=236.52
/proc/25847/task/25850/stat : 25850 (ttsth-5-0) R 25845 25847 15497 0 -1 4202560 22303 0 0 0 10623 13029 0 0 20 0 17 0 654967922 2147520512 476378 18446744073709551615 134512640 135237372 4288633040 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=25847/tid=25851] ppid=25845 vsize=2097188 CPUtime=236.39
/proc/25847/task/25851/stat : 25851 (ttsth-5-0) R 25845 25847 15497 0 -1 4202560 19391 0 0 0 11012 12627 0 0 20 0 17 0 654967922 2147520512 476378 18446744073709551615 134512640 135237372 4288633040 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=25847/tid=25852] ppid=25845 vsize=2097188 CPUtime=236.6
/proc/25847/task/25852/stat : 25852 (ttsth-5-0) R 25845 25847 15497 0 -1 4202560 24730 0 0 0 11130 12530 0 0 20 0 17 0 654967923 2147520512 476378 18446744073709551615 134512640 135237372 4288633040 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=25847/tid=25853] ppid=25845 vsize=2097188 CPUtime=235.66
/proc/25847/task/25853/stat : 25853 (ttsth-5-0) R 25845 25847 15497 0 -1 4202560 24834 0 0 0 9990 13576 0 0 20 0 17 0 654967923 2147520512 476378 18446744073709551615 134512640 135237372 4288633040 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=25847/tid=25854] ppid=25845 vsize=2097188 CPUtime=235.25
/proc/25847/task/25854/stat : 25854 (ttsth-5-0) R 25845 25847 15497 0 -1 4202560 19781 0 0 0 9873 13652 0 0 20 0 17 0 654967923 2147520512 476378 18446744073709551615 134512640 135237372 4288633040 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=25847/tid=25855] ppid=25845 vsize=2097188 CPUtime=236.49
/proc/25847/task/25855/stat : 25855 (ttsth-5-0) R 25845 25847 15497 0 -1 4202560 21242 0 0 0 10726 12923 0 0 20 0 17 0 654967923 2147520512 476378 18446744073709551615 134512640 135237372 4288633040 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=25847/tid=25856] ppid=25845 vsize=2097188 CPUtime=235.91
/proc/25847/task/25856/stat : 25856 (ttsth-5-0) R 25845 25847 15497 0 -1 4202560 21546 0 0 0 10190 13401 0 0 20 0 17 0 654967923 2147520512 476378 18446744073709551615 134512640 135237372 4288633040 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=25847/tid=25857] ppid=25845 vsize=2097188 CPUtime=236.3
/proc/25847/task/25857/stat : 25857 (ttsth-5-0) R 25845 25847 15497 0 -1 4202560 28479 0 0 0 10336 13294 0 0 20 0 17 0 654967923 2147520512 476378 18446744073709551615 134512640 135237372 4288633040 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=25847/tid=25858] ppid=25845 vsize=2097188 CPUtime=235.94
/proc/25847/task/25858/stat : 25858 (ttsth-5-0) R 25845 25847 15497 0 -1 4202560 17635 0 0 0 10007 13587 0 0 20 0 17 0 654967923 2147520512 476378 18446744073709551615 134512640 135237372 4288633040 18446744073709551615 134588754 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=25847/tid=25859] ppid=25845 vsize=2097188 CPUtime=236.89
/proc/25847/task/25859/stat : 25859 (ttsth-5-0) R 25845 25847 15497 0 -1 4202560 23589 0 0 0 10838 12851 0 0 20 0 17 0 654967923 2147520512 476378 18446744073709551615 134512640 135237372 4288633040 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=25847/tid=25860] ppid=25845 vsize=2097188 CPUtime=236.53
/proc/25847/task/25860/stat : 25860 (ttsth-5-0) R 25845 25847 15497 0 -1 4202560 34677 0 0 0 10231 13422 0 0 20 0 17 0 654967923 2147520512 476378 18446744073709551615 134512640 135237372 4288633040 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=25847/tid=25861] ppid=25845 vsize=2097188 CPUtime=236.11
/proc/25847/task/25861/stat : 25861 (ttsth-5-0) R 25845 25847 15497 0 -1 4202560 20108 0 0 0 9824 13787 0 0 20 0 17 0 654967923 2147520512 476378 18446744073709551615 134512640 135237372 4288633040 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=25847/tid=25862] ppid=25845 vsize=2097188 CPUtime=236.47
/proc/25847/task/25862/stat : 25862 (ttsth-5-0) R 25845 25847 15497 0 -1 4202560 19822 0 0 0 10061 13586 0 0 20 0 17 0 654967923 2147520512 476378 18446744073709551615 134512640 135237372 4288633040 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=25847/tid=25863] ppid=25845 vsize=2097188 CPUtime=231.46
/proc/25847/task/25863/stat : 25863 (ttsth-5-0) R 25845 25847 15497 0 -1 4202560 21642 0 0 0 10345 12801 0 0 20 0 17 0 654967923 2147520512 476378 18446744073709551615 134512640 135237372 4288633040 18446744073709551615 134519962 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=25847/tid=25864] ppid=25845 vsize=2097188 CPUtime=236.17
/proc/25847/task/25864/stat : 25864 (ttsth-5-0) R 25845 25847 15497 0 -1 4202560 23042 0 0 0 10479 13138 0 0 20 0 17 0 654967923 2147520512 476378 18446744073709551615 134512640 135237372 4288633040 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3787.37
Current children cumulated vsize (KiB) 2097188

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

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

[startup+248.739 s]
/proc/loadavg: 15.97 14.92 14.57 18/201 25872
/proc/meminfo: memFree=17134656/36427776 swapFree=4692/1914408
[pid=25847] ppid=25845 vsize=0 CPUtime=3787.64
/proc/25847/stat : 25847 (ttsth-5-0) Z 25845 25847 15497 0 -1 4203532 476719 0 0 0 180364 198400 0 0 20 0 2 0 654967181 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25847/statm: 0 0 0 0 0 0 0
[pid=25847/tid=25864] ppid=25845 vsize=0 CPUtime=236.28
/proc/25847/task/25864/stat : 25864 (ttsth-5-0) R 25845 25847 15497 0 -1 4203588 23042 0 0 0 10479 13149 0 0 20 0 2 0 654967923 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3787.64
Current children cumulated vsize (KiB) 0

[startup+248.803 s]
/proc/loadavg: 15.97 14.92 14.57 18/201 25872
/proc/meminfo: memFree=17134656/36427776 swapFree=4692/1914408
[pid=25847] ppid=25845 vsize=0 CPUtime=3787.7
/proc/25847/stat : 25847 (ttsth-5-0) Z 25845 25847 15497 0 -1 4203532 476719 0 0 0 180364 198406 0 0 20 0 2 0 654967181 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25847/statm: 0 0 0 0 0 0 0
[pid=25847/tid=25864] ppid=25845 vsize=0 CPUtime=236.34
/proc/25847/task/25864/stat : 25864 (ttsth-5-0) R 25845 25847 15497 0 -1 4203588 23042 0 0 0 10479 13155 0 0 20 0 2 0 654967923 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3787.7
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 248.812
CPU time (s): 3787.73
CPU user time (s): 1803.65
CPU system time (s): 1984.08
CPU usage (%): 1522.32
Max. virtual memory (cumulated for all children) (KiB): 2097188

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1803.65
system time used= 1984.08
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 476719
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 422162
involuntary context switches= 8873

runsolver used 1.39209 second user time and 3.70423 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-14 07:16:48
IDJOB=1779855
IDBENCH=70904
IDSOLVER=634
FILE ID=xenhost3-49/1779855-1244956608
PBS_JOBID=
Free space on /tmp= 7023 MiB

SOLVER NAME= ttsth-5-0 2009-03-19 (16 threads)
BENCH NAME= SAT09/APPLICATIONS/aprove09/AProVE09-11.cnf
COMMAND LINE= HOME/ttsth-5-0 -num-threads MAXNBTHREAD BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1779855-1244956608/watcher-1779855-1244956608 -o /tmp/evaluation-result-1779855-1244956608/solver-1779855-1244956608 -C 10000 -W 1000 -M 2047  HOME/ttsth-5-0 -num-threads 16 HOME/instance-1779855-1244956608.cnf

TIME LIMIT= 10000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 16

MD5SUM BENCH= 0f6b435a3aa045f7fe1d5c154e2f0953
RANDOM SEED= 503800224

Linux xenhost3-49 2.6.27.5 #1 SMP Mon Mar 30 10:34:22 CEST 2009 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 2
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 8
initial apicid	: 8
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 4
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 6
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 24
initial apicid	: 24
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 0
siblings	: 1
core id		: 2
cpu cores	: 1
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 2
siblings	: 1
core id		: 2
cpu cores	: 1
apicid		: 10
initial apicid	: 10
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 4
siblings	: 1
core id		: 2
cpu cores	: 1
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 6
siblings	: 1
core id		: 2
cpu cores	: 1
apicid		: 26
initial apicid	: 26
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 0
siblings	: 1
core id		: 1
cpu cores	: 1
apicid		: 1
initial apicid	: 1
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 2
siblings	: 1
core id		: 1
cpu cores	: 1
apicid		: 9
initial apicid	: 9
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 4
siblings	: 1
core id		: 1
cpu cores	: 1
apicid		: 17
initial apicid	: 17
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 6
siblings	: 1
core id		: 1
cpu cores	: 1
apicid		: 25
initial apicid	: 25
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 0
siblings	: 1
core id		: 3
cpu cores	: 1
apicid		: 3
initial apicid	: 3
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 2
siblings	: 1
core id		: 3
cpu cores	: 1
apicid		: 11
initial apicid	: 11
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 4
siblings	: 1
core id		: 3
cpu cores	: 1
apicid		: 19
initial apicid	: 19
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 6
siblings	: 1
core id		: 3
cpu cores	: 1
apicid		: 27
initial apicid	: 27
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:     36427776 kB
MemFree:      19042848 kB
Buffers:        484456 kB
Cached:       14117828 kB
SwapCached:          0 kB
Active:        4130912 kB
Inactive:     10480392 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:            2012 kB
Writeback:           0 kB
AnonPages:        7008 kB
Mapped:           3684 kB
Slab:           721712 kB
SReclaimable:   694900 kB
SUnreclaim:      26812 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29616 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

Free space on /tmp at the end= 7023 MiB
End job on xenhost3-49 at 2009-06-14 07:20:59