Trace number 1780890

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) 2469.87 157.018

General information on the benchmark

NameAPPLICATIONS/satComp09_BioInstances/
rpoc_xits_13_UNKNOWN.cnf
MD5SUM57b85ec7870f670f13b00667a6315c05
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables2058
Number of clauses144294
Sum of the clauses size429916
Maximum clause length14
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 23219
Number of clauses of size 3141052
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 523

Solver Data 

0.10/0.16	c Command: HOME/ttsth-5-0 -num-threads 16 HOME/instance-1780890-1244979105.cnf 
0.10/0.16	c Using SATTIMEOUT of 10000
0.10/0.16	c Using SATRAM of 2047
0.10/0.16	c Size of subset node = 16
0.10/0.16	c Variables = 2058
0.10/0.16	c Clauses = 144294
0.10/0.16	c Literals = 429916
0.10/0.16	c Reduced size:
0.10/0.16	c Variables = 2058
0.10/0.16	c Clauses = 144294
0.10/0.16	c Literals = 429916
0.10/0.16	c a2
0.40/0.43	c a1
0.90/0.94	c Independent sub-problems = 1
0.90/0.94	c Sub-problem with 2058 variables and 144294 clauses
0.90/0.94	c using permutation method 4
0.90/0.94	c count = 1
0.90/0.94	c Ordering finished 0.890 seconds
0.90/0.94	c mapped 0.940 seconds
0.90/0.94	c permuted 0.940 seconds
0.90/0.94	c about to sort
0.90/0.98	c sorted
1.58/1.64	c clauses now 144294
1.58/1.64	c init finished 1.010 seconds
1.58/1.64	c tree built 1.630 seconds
1.58/1.64	c 
1.58/1.64	c PA progress                      | CPU progress Partial assignments | improvements      CPU time        PA/sec        nodes
1.58/1.64	c ---------------------------------|----------------------------------|------------------------------------------------------
1.58/1.64	c ................................ | ..........                       |                        1.6           0.0             
1.58/1.64	c ................................ | ..........                     1 |                        1.6           0.6             
1.58/1.64	c ................................ | ..........                     2 |                        1.6           1.2             
1.58/1.64	c ................................ | ..........                     3 |                        1.6           1.8             
1.58/1.64	c ................................ | ..........                     4 |                        1.6           2.5             
1.58/1.64	c ................................ | ..........                     5 |                        1.6           3.1             
2.36/1.75	c ................................ | ..........                  1000 | 5                      2.5         398.4         6404
236.43/16.65	c ................................ | ..........                229000 | 12455                200.6        1141.6     12898542
445.71/29.83	c ................................ | ..........                384000 | 36889                400.6         958.6     24854850
650.64/42.81	c ................................ | ..........                514000 | 61095                601.4         854.7     35242689
854.37/55.58	c ................................ | ..........                624000 | 80747                801.8         778.2     45320177
1056.79/68.23	c ................................ | *.........                720000 | 98076               1001.0         719.3     55698937
1257.35/80.90	c ................................ | *.........                805000 | 113204              1200.8         670.4     65080825
1461.33/93.66	c ................................ | *.........                887000 | 129556              1402.2         632.6     74189023
1662.23/106.27	c ................................ | *.........                964000 | 144794              1601.8         601.8     81569215
1863.41/118.89	c ................................ | *.........               1035000 | 160480              1802.0         574.4     88520151
2065.72/131.54	c ................................ | **........               1106000 | 175167              2002.8         552.2     96047299

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-1780890-1244979105/watcher-1780890-1244979105 -o /tmp/evaluation-result-1780890-1244979105/solver-1780890-1244979105 -C 10000 -W 1000 -M 2047 HOME/ttsth-5-0 -num-threads 16 HOME/instance-1780890-1244979105.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: 15.76 15.09 11.38 2/184 29653
/proc/meminfo: memFree=18988632/36427776 swapFree=4312/8260
[pid=29653] ppid=29651 vsize=1540 CPUtime=0
/proc/29653/stat : 29653 (ttsth-5-0) R 29651 29653 15497 0 -1 4202496 272 0 0 0 0 0 0 0 20 0 1 0 657216862 1576960 229 18446744073709551615 134512640 135237372 4292238400 18446744073709551615 134732614 0 0 1 0 0 0 0 17 7 0 0 0 0 0
/proc/29653/statm: 385 230 75 177 0 207 0

[startup+0.014335 s]
/proc/loadavg: 15.76 15.09 11.38 2/184 29653
/proc/meminfo: memFree=18988632/36427776 swapFree=4312/8260
[pid=29653] ppid=29651 vsize=1804 CPUtime=0
/proc/29653/stat : 29653 (ttsth-5-0) R 29651 29653 15497 0 -1 4202496 339 0 0 0 0 0 0 0 20 0 1 0 657216862 1847296 296 18446744073709551615 134512640 135237372 4292238400 18446744073709551615 134639534 0 0 1 0 0 0 0 17 7 0 0 0 0 0
/proc/29653/statm: 451 298 75 177 0 273 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 1804

[startup+0.102349 s]
/proc/loadavg: 15.76 15.09 11.38 2/184 29653
/proc/meminfo: memFree=18988632/36427776 swapFree=4312/8260
[pid=29653] ppid=29651 vsize=7232 CPUtime=0.1
/proc/29653/stat : 29653 (ttsth-5-0) R 29651 29653 15497 0 -1 4202496 1679 0 0 0 10 0 0 0 20 0 1 0 657216862 7405568 1636 18446744073709551615 134512640 135237372 4292238400 18446744073709551615 134738899 0 0 1 0 0 0 0 17 7 0 0 0 0 0
/proc/29653/statm: 1808 1637 75 177 0 1630 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 7232

[startup+0.302356 s]
/proc/loadavg: 15.76 15.09 11.38 2/184 29653
/proc/meminfo: memFree=18988632/36427776 swapFree=4312/8260
[pid=29653] ppid=29651 vsize=19540 CPUtime=0.3
/proc/29653/stat : 29653 (ttsth-5-0) R 29651 29653 15497 0 -1 4202496 4679 0 0 0 28 2 0 0 20 0 1 0 657216862 20008960 4635 18446744073709551615 134512640 135237372 4292238400 18446744073709551615 134749343 0 0 1 0 0 0 0 17 7 0 0 0 0 0
/proc/29653/statm: 4885 4635 76 177 0 4707 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 19540

[startup+0.702416 s]
/proc/loadavg: 15.76 15.09 11.38 2/184 29653
/proc/meminfo: memFree=18988632/36427776 swapFree=4312/8260
[pid=29653] ppid=29651 vsize=21272 CPUtime=0.7
/proc/29653/stat : 29653 (ttsth-5-0) R 29651 29653 15497 0 -1 4202496 5508 0 0 0 68 2 0 0 20 0 1 0 657216862 21782528 5182 18446744073709551615 134512640 135237372 4292238400 18446744073709551615 134599269 0 0 1 0 0 0 0 17 7 0 0 0 0 0
/proc/29653/statm: 5318 5182 77 177 0 5140 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 21272

[startup+1.50252 s]
/proc/loadavg: 14.58 14.86 11.32 2/185 29654
/proc/meminfo: memFree=18962844/36427776 swapFree=4448/34436
[pid=29653] ppid=29651 vsize=51780 CPUtime=1.48
/proc/29653/stat : 29653 (ttsth-5-0) R 29651 29653 15497 0 -1 4202496 13280 0 0 0 144 4 0 0 20 0 1 0 657216862 53022720 12772 18446744073709551615 134512640 135237372 4292238400 18446744073709551615 134732614 0 0 1 0 0 0 0 17 7 0 0 0 0 0
/proc/29653/statm: 12945 12772 90 177 0 12767 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 51780

[startup+3.10545 s]
/proc/loadavg: 14.58 14.86 11.32 16/201 29670
/proc/meminfo: memFree=18927196/36427776 swapFree=4676/71568
[pid=29653] ppid=29651 vsize=208896 CPUtime=24.05
/proc/29653/stat : 29653 (ttsth-5-0) S 29651 29653 15497 0 -1 4202496 19847 0 0 0 1115 1290 0 0 20 0 17 0 657216862 213909504 19133 18446744073709551615 134512640 135237372 4292238400 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/29653/statm: 52224 19133 95 177 0 52046 0
[pid=29653/tid=29655] ppid=29651 vsize=208896 CPUtime=1.44
/proc/29653/task/29655/stat : 29655 (ttsth-5-0) R 29651 29653 15497 0 -1 4202560 624 0 0 0 126 18 0 0 20 0 17 0 657217026 213909504 19133 18446744073709551615 134512640 135237372 4292238400 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=29653/tid=29656] ppid=29651 vsize=208896 CPUtime=1.4
/proc/29653/task/29656/stat : 29656 (ttsth-5-0) R 29651 29653 15497 0 -1 4202560 298 0 0 0 60 80 0 0 20 0 17 0 657217026 213909504 19133 18446744073709551615 134512640 135237372 4292238400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=29653/tid=29657] ppid=29651 vsize=208896 CPUtime=1.4
/proc/29653/task/29657/stat : 29657 (ttsth-5-0) R 29651 29653 15497 0 -1 4202560 142 0 0 0 52 88 0 0 20 0 17 0 657217026 213909504 19133 18446744073709551615 134512640 135237372 4292238400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=29653/tid=29658] ppid=29651 vsize=208896 CPUtime=1.4
/proc/29653/task/29658/stat : 29658 (ttsth-5-0) R 29651 29653 15497 0 -1 4202560 392 0 0 0 48 92 0 0 20 0 17 0 657217026 213909504 19133 18446744073709551615 134512640 135237372 4292238400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=29653/tid=29659] ppid=29651 vsize=208896 CPUtime=1.4
/proc/29653/task/29659/stat : 29659 (ttsth-5-0) R 29651 29653 15497 0 -1 4202560 249 0 0 0 58 82 0 0 20 0 17 0 657217026 213909504 19133 18446744073709551615 134512640 135237372 4292238400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=29653/tid=29660] ppid=29651 vsize=208896 CPUtime=1.4
/proc/29653/task/29660/stat : 29660 (ttsth-5-0) R 29651 29653 15497 0 -1 4202560 277 0 0 0 58 82 0 0 20 0 17 0 657217026 213909504 19134 18446744073709551615 134512640 135237372 4292238400 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=29653/tid=29661] ppid=29651 vsize=208896 CPUtime=1.4
/proc/29653/task/29661/stat : 29661 (ttsth-5-0) R 29651 29653 15497 0 -1 4202560 250 0 0 0 54 86 0 0 20 0 17 0 657217026 213909504 19134 18446744073709551615 134512640 135237372 4292238400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=29653/tid=29662] ppid=29651 vsize=208896 CPUtime=1.4
/proc/29653/task/29662/stat : 29662 (ttsth-5-0) R 29651 29653 15497 0 -1 4202560 155 0 0 0 54 86 0 0 20 0 17 0 657217026 213909504 19134 18446744073709551615 134512640 135237372 4292238400 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=29653/tid=29663] ppid=29651 vsize=208896 CPUtime=1.38
/proc/29653/task/29663/stat : 29663 (ttsth-5-0) R 29651 29653 15497 0 -1 4202560 245 0 0 0 56 82 0 0 20 0 17 0 657217026 213909504 19134 18446744073709551615 134512640 135237372 4292238400 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=29653/tid=29664] ppid=29651 vsize=208896 CPUtime=1.38
/proc/29653/task/29664/stat : 29664 (ttsth-5-0) R 29651 29653 15497 0 -1 4202560 387 0 0 0 52 86 0 0 20 0 17 0 657217026 213909504 19134 18446744073709551615 134512640 135237372 4292238400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=29653/tid=29665] ppid=29651 vsize=208896 CPUtime=1.38
/proc/29653/task/29665/stat : 29665 (ttsth-5-0) R 29651 29653 15497 0 -1 4202560 337 0 0 0 48 90 0 0 20 0 17 0 657217026 213909504 19134 18446744073709551615 134512640 135237372 4292238400 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=29653/tid=29666] ppid=29651 vsize=208896 CPUtime=1.4
/proc/29653/task/29666/stat : 29666 (ttsth-5-0) R 29651 29653 15497 0 -1 4202560 230 0 0 0 48 92 0 0 20 0 17 0 657217026 213909504 19134 18446744073709551615 134512640 135237372 4292238400 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=29653/tid=29667] ppid=29651 vsize=208896 CPUtime=1.38
/proc/29653/task/29667/stat : 29667 (ttsth-5-0) R 29651 29653 15497 0 -1 4202560 270 0 0 0 60 78 0 0 20 0 17 0 657217026 213909504 19135 18446744073709551615 134512640 135237372 4292238400 18446744073709551615 134519936 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=29653/tid=29668] ppid=29651 vsize=208896 CPUtime=1.4
/proc/29653/task/29668/stat : 29668 (ttsth-5-0) R 29651 29653 15497 0 -1 4202560 294 0 0 0 58 82 0 0 20 0 17 0 657217026 213909504 19135 18446744073709551615 134512640 135237372 4292238400 18446744073709551615 134592308 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=29653/tid=29669] ppid=29651 vsize=208896 CPUtime=1.38
/proc/29653/task/29669/stat : 29669 (ttsth-5-0) R 29651 29653 15497 0 -1 4202560 271 0 0 0 64 74 0 0 20 0 17 0 657217026 213909504 19135 18446744073709551615 134512640 135237372 4292238400 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=29653/tid=29670] ppid=29651 vsize=208896 CPUtime=1.38
/proc/29653/task/29670/stat : 29670 (ttsth-5-0) R 29651 29653 15497 0 -1 4202560 220 0 0 0 56 82 0 0 20 0 17 0 657217026 213909504 19135 18446744073709551615 134512640 135237372 4292238400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 24.05
Current children cumulated vsize (KiB) 208896

[startup+6.30295 s]
/proc/loadavg: 14.58 14.86 11.32 17/201 29670
/proc/meminfo: memFree=18888688/36427776 swapFree=4692/111724
[pid=29653] ppid=29651 vsize=249308 CPUtime=74.03
/proc/29653/stat : 29653 (ttsth-5-0) S 29651 29653 15497 0 -1 4202496 29546 0 0 0 4093 3310 0 0 20 0 17 0 657216862 255291392 28832 18446744073709551615 134512640 135237372 4292238400 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/29653/statm: 62327 28832 95 177 0 62149 0
[pid=29653/tid=29655] ppid=29651 vsize=249308 CPUtime=4.62
/proc/29653/task/29655/stat : 29655 (ttsth-5-0) R 29651 29653 15497 0 -1 4202560 1595 0 0 0 444 18 0 0 20 0 17 0 657217026 255291392 28832 18446744073709551615 134512640 135237372 4292238400 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=29653/tid=29656] ppid=29651 vsize=249308 CPUtime=4.54
/proc/29653/task/29656/stat : 29656 (ttsth-5-0) R 29651 29653 15497 0 -1 4202560 1128 0 0 0 252 202 0 0 20 0 17 0 657217026 255291392 28832 18446744073709551615 134512640 135237372 4292238400 18446744073709551615 134590166 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=29653/tid=29657] ppid=29651 vsize=249308 CPUtime=4.52
/proc/29653/task/29657/stat : 29657 (ttsth-5-0) R 29651 29653 15497 0 -1 4202560 469 0 0 0 244 208 0 0 20 0 17 0 657217026 255291392 28832 18446744073709551615 134512640 135237372 4292238400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=29653/tid=29658] ppid=29651 vsize=249308 CPUtime=4.52
/proc/29653/task/29658/stat : 29658 (ttsth-5-0) R 29651 29653 15497 0 -1 4202560 1222 0 0 0 214 238 0 0 20 0 17 0 657217026 255291392 28832 18446744073709551615 134512640 135237372 4292238400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=29653/tid=29659] ppid=29651 vsize=249308 CPUtime=4.52
/proc/29653/task/29659/stat : 29659 (ttsth-5-0) R 29651 29653 15497 0 -1 4202560 921 0 0 0 232 220 0 0 20 0 17 0 657217026 255291392 28832 18446744073709551615 134512640 135237372 4292238400 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=29653/tid=29660] ppid=29651 vsize=249308 CPUtime=4.54
/proc/29653/task/29660/stat : 29660 (ttsth-5-0) R 29651 29653 15497 0 -1 4202560 827 0 0 0 240 214 0 0 20 0 17 0 657217026 255291392 28832 18446744073709551615 134512640 135237372 4292238400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=29653/tid=29661] ppid=29651 vsize=249308 CPUtime=4.54
/proc/29653/task/29661/stat : 29661 (ttsth-5-0) S 29651 29653 15497 0 -1 4202560 910 0 0 0 224 230 0 0 20 0 17 0 657217026 255291392 28832 18446744073709551615 134512640 135237372 4292238400 18446744073709551615 134636382 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
[pid=29653/tid=29662] ppid=29651 vsize=249308 CPUtime=4.54
/proc/29653/task/29662/stat : 29662 (ttsth-5-0) R 29651 29653 15497 0 -1 4202560 395 0 0 0 234 220 0 0 20 0 17 0 657217026 255291392 28832 18446744073709551615 134512640 135237372 4292238400 18446744073709551615 134592444 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=29653/tid=29663] ppid=29651 vsize=249308 CPUtime=4.48
/proc/29653/task/29663/stat : 29663 (ttsth-5-0) R 29651 29653 15497 0 -1 4202560 812 0 0 0 236 212 0 0 20 0 17 0 657217026 255291392 28832 18446744073709551615 134512640 135237372 4292238400 18446744073709551615 134549877 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=29653/tid=29664] ppid=29651 vsize=249308 CPUtime=4.5
/proc/29653/task/29664/stat : 29664 (ttsth-5-0) R 29651 29653 15497 0 -1 4202560 1090 0 0 0 228 222 0 0 20 0 17 0 657217026 255291392 28832 18446744073709551615 134512640 135237372 4292238400 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=29653/tid=29665] ppid=29651 vsize=249308 CPUtime=4.5
/proc/29653/task/29665/stat : 29665 (ttsth-5-0) R 29651 29653 15497 0 -1 4202560 863 0 0 0 230 220 0 0 20 0 17 0 657217026 255291392 28832 18446744073709551615 134512640 135237372 4292238400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=29653/tid=29666] ppid=29651 vsize=249308 CPUtime=4.5
/proc/29653/task/29666/stat : 29666 (ttsth-5-0) R 29651 29653 15497 0 -1 4202560 638 0 0 0 194 256 0 0 20 0 17 0 657217026 255291392 28832 18446744073709551615 134512640 135237372 4292238400 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=29653/tid=29667] ppid=29651 vsize=249308 CPUtime=4.44
/proc/29653/task/29667/stat : 29667 (ttsth-5-0) R 29651 29653 15497 0 -1 4202560 746 0 0 0 244 200 0 0 20 0 17 0 657217026 255291392 28832 18446744073709551615 134512640 135237372 4292238400 18446744073709551615 134562341 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=29653/tid=29668] ppid=29651 vsize=249308 CPUtime=4.52
/proc/29653/task/29668/stat : 29668 (ttsth-5-0) R 29651 29653 15497 0 -1 4202560 852 0 0 0 238 214 0 0 20 0 17 0 657217026 255291392 28833 18446744073709551615 134512640 135237372 4292238400 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=29653/tid=29669] ppid=29651 vsize=249308 CPUtime=4.52
/proc/29653/task/29669/stat : 29669 (ttsth-5-0) R 29651 29653 15497 0 -1 4202560 1215 0 0 0 246 206 0 0 20 0 17 0 657217026 255291392 28833 18446744073709551615 134512640 135237372 4292238400 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=29653/tid=29670] ppid=29651 vsize=249308 CPUtime=4.52
/proc/29653/task/29670/stat : 29670 (ttsth-5-0) R 29651 29653 15497 0 -1 4202560 657 0 0 0 232 220 0 0 20 0 17 0 657217026 255291392 28833 18446744073709551615 134512640 135237372 4292238400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 74.03
Current children cumulated vsize (KiB) 249308

[startup+12.7022 s]
/proc/loadavg: 14.80 14.90 11.37 17/201 29670
/proc/meminfo: memFree=18786196/36427776 swapFree=4692/212340
[pid=29653] ppid=29651 vsize=356972 CPUtime=174.72
/proc/29653/stat : 29653 (ttsth-5-0) S 29651 29653 15497 0 -1 4202496 54881 0 0 0 11889 5583 0 0 20 0 17 0 657216862 365539328 54167 18446744073709551615 134512640 135237372 4292238400 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/29653/statm: 89243 54167 95 177 0 89065 0
[pid=29653/tid=29655] ppid=29651 vsize=356972 CPUtime=11.02
/proc/29653/task/29655/stat : 29655 (ttsth-5-0) R 29651 29653 15497 0 -1 4202560 2965 0 0 0 1082 20 0 0 20 0 17 0 657217026 365539328 54167 18446744073709551615 134512640 135237372 4292238400 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=29653/tid=29656] ppid=29651 vsize=356972 CPUtime=10.82
/proc/29653/task/29656/stat : 29656 (ttsth-5-0) R 29651 29653 15497 0 -1 4202560 2646 0 0 0 724 358 0 0 20 0 17 0 657217026 365539328 54167 18446744073709551615 134512640 135237372 4292238400 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=29653/tid=29657] ppid=29651 vsize=356972 CPUtime=10.82
/proc/29653/task/29657/stat : 29657 (ttsth-5-0) R 29651 29653 15497 0 -1 4202560 1000 0 0 0 742 340 0 0 20 0 17 0 657217026 365539328 54167 18446744073709551615 134512640 135237372 4292238400 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=29653/tid=29658] ppid=29651 vsize=356972 CPUtime=10.8
/proc/29653/task/29658/stat : 29658 (ttsth-5-0) R 29651 29653 15497 0 -1 4202560 3360 0 0 0 680 400 0 0 20 0 17 0 657217026 365539328 54167 18446744073709551615 134512640 135237372 4292238400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=29653/tid=29659] ppid=29651 vsize=356972 CPUtime=10.8
/proc/29653/task/29659/stat : 29659 (ttsth-5-0) R 29651 29653 15497 0 -1 4202560 2869 0 0 0 702 378 0 0 20 0 17 0 657217026 365539328 54167 18446744073709551615 134512640 135237372 4292238400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=29653/tid=29660] ppid=29651 vsize=356972 CPUtime=10.86
/proc/29653/task/29660/stat : 29660 (ttsth-5-0) R 29651 29653 15497 0 -1 4202560 2166 0 0 0 722 364 0 0 20 0 17 0 657217026 365539328 54167 18446744073709551615 134512640 135237372 4292238400 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=29653/tid=29661] ppid=29651 vsize=356972 CPUtime=10.84
/proc/29653/task/29661/stat : 29661 (ttsth-5-0) R 29651 29653 15497 0 -1 4202560 2531 0 0 0 704 380 0 0 20 0 17 0 657217026 365539328 54167 18446744073709551615 134512640 135237372 4292238400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=29653/tid=29662] ppid=29651 vsize=356972 CPUtime=10.88
/proc/29653/task/29662/stat : 29662 (ttsth-5-0) R 29651 29653 15497 0 -1 4202560 1304 0 0 0 730 358 0 0 20 0 17 0 657217026 365539328 54167 18446744073709551615 134512640 135237372 4292238400 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=29653/tid=29663] ppid=29651 vsize=356972 CPUtime=10.74
/proc/29653/task/29663/stat : 29663 (ttsth-5-0) R 29651 29653 15497 0 -1 4202560 2498 0 0 0 706 368 0 0 20 0 17 0 657217026 365539328 54167 18446744073709551615 134512640 135237372 4292238400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=29653/tid=29664] ppid=29651 vsize=356972 CPUtime=10.78
/proc/29653/task/29664/stat : 29664 (ttsth-5-0) R 29651 29653 15497 0 -1 4202560 3211 0 0 0 688 390 0 0 20 0 17 0 657217026 365539328 54167 18446744073709551615 134512640 135237372 4292238400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=29653/tid=29665] ppid=29651 vsize=356972 CPUtime=10.78
/proc/29653/task/29665/stat : 29665 (ttsth-5-0) R 29651 29653 15497 0 -1 4202560 2438 0 0 0 700 378 0 0 20 0 17 0 657217026 365539328 54167 18446744073709551615 134512640 135237372 4292238400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=29653/tid=29666] ppid=29651 vsize=356972 CPUtime=10.76
/proc/29653/task/29666/stat : 29666 (ttsth-5-0) R 29651 29653 15497 0 -1 4202560 2065 0 0 0 654 422 0 0 20 0 17 0 657217026 365539328 54167 18446744073709551615 134512640 135237372 4292238400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=29653/tid=29667] ppid=29651 vsize=356972 CPUtime=10.62
/proc/29653/task/29667/stat : 29667 (ttsth-5-0) R 29651 29653 15497 0 -1 4202560 1717 0 0 0 722 340 0 0 20 0 17 0 657217026 365539328 54167 18446744073709551615 134512640 135237372 4292238400 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=29653/tid=29668] ppid=29651 vsize=356972 CPUtime=10.82
/proc/29653/task/29668/stat : 29668 (ttsth-5-0) R 29651 29653 15497 0 -1 4202560 2868 0 0 0 730 352 0 0 20 0 17 0 657217026 365539328 54167 18446744073709551615 134512640 135237372 4292238400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=29653/tid=29669] ppid=29651 vsize=356972 CPUtime=10.84
/proc/29653/task/29669/stat : 29669 (ttsth-5-0) R 29651 29653 15497 0 -1 4202560 3457 0 0 0 746 338 0 0 20 0 17 0 657217026 365539328 54167 18446744073709551615 134512640 135237372 4292238400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=29653/tid=29670] ppid=29651 vsize=356972 CPUtime=10.8
/proc/29653/task/29670/stat : 29670 (ttsth-5-0) R 29651 29653 15497 0 -1 4202560 2579 0 0 0 694 386 0 0 20 0 17 0 657217026 365539328 54167 18446744073709551615 134512640 135237372 4292238400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 174.72
Current children cumulated vsize (KiB) 356972

[startup+25.5041 s]
/proc/loadavg: 14.91 14.92 11.41 17/201 29670
/proc/meminfo: memFree=18583552/36427776 swapFree=4692/416232
[pid=29653] ppid=29651 vsize=566724 CPUtime=377.51
/proc/29653/stat : 29653 (ttsth-5-0) S 29651 29653 15497 0 -1 4202496 104181 0 0 0 30057 7694 0 0 20 0 17 0 657216862 580325376 103467 18446744073709551615 134512640 135237372 4292238400 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/29653/statm: 141681 103468 95 177 0 141503 0
[pid=29653/tid=29655] ppid=29651 vsize=566724 CPUtime=23.82
/proc/29653/task/29655/stat : 29655 (ttsth-5-0) R 29651 29653 15497 0 -1 4202560 5298 0 0 0 2360 22 0 0 20 0 17 0 657217026 580325376 103468 18446744073709551615 134512640 135237372 4292238400 18446744073709551615 134562317 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=29653/tid=29656] ppid=29651 vsize=566724 CPUtime=23.52
/proc/29653/task/29656/stat : 29656 (ttsth-5-0) R 29651 29653 15497 0 -1 4202560 5820 0 0 0 1858 494 0 0 20 0 17 0 657217026 580325376 103468 18446744073709551615 134512640 135237372 4292238400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=29653/tid=29657] ppid=29651 vsize=566724 CPUtime=23.5
/proc/29653/task/29657/stat : 29657 (ttsth-5-0) R 29651 29653 15497 0 -1 4202560 2091 0 0 0 1854 496 0 0 20 0 17 0 657217026 580325376 103468 18446744073709551615 134512640 135237372 4292238400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=29653/tid=29658] ppid=29651 vsize=566724 CPUtime=23.46
/proc/29653/task/29658/stat : 29658 (ttsth-5-0) R 29651 29653 15497 0 -1 4202560 7695 0 0 0 1812 534 0 0 20 0 17 0 657217026 580325376 103468 18446744073709551615 134512640 135237372 4292238400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=29653/tid=29659] ppid=29651 vsize=566724 CPUtime=23.48
/proc/29653/task/29659/stat : 29659 (ttsth-5-0) R 29651 29653 15497 0 -1 4202560 6798 0 0 0 1832 516 0 0 20 0 17 0 657217026 580325376 103468 18446744073709551615 134512640 135237372 4292238400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=29653/tid=29660] ppid=29651 vsize=566724 CPUtime=23.58
/proc/29653/task/29660/stat : 29660 (ttsth-5-0) R 29651 29653 15497 0 -1 4202560 5387 0 0 0 1872 486 0 0 20 0 17 0 657217026 580325376 103468 18446744073709551615 134512640 135237372 4292238400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=29653/tid=29661] ppid=29651 vsize=566724 CPUtime=23.5
/proc/29653/task/29661/stat : 29661 (ttsth-5-0) R 29651 29653 15497 0 -1 4202560 5719 0 0 0 1812 538 0 0 20 0 17 0 657217026 580325376 103468 18446744073709551615 134512640 135237372 4292238400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=29653/tid=29662] ppid=29651 vsize=566724 CPUtime=23.58
/proc/29653/task/29662/stat : 29662 (ttsth-5-0) R 29651 29653 15497 0 -1 4202560 3370 0 0 0 1866 492 0 0 20 0 17 0 657217026 580325376 103468 18446744073709551615 134512640 135237372 4292238400 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=29653/tid=29663] ppid=29651 vsize=566724 CPUtime=23.4
/proc/29653/task/29663/stat : 29663 (ttsth-5-0) R 29651 29653 15497 0 -1 4202560 5406 0 0 0 1840 500 0 0 20 0 17 0 657217026 580325376 103468 18446744073709551615 134512640 135237372 4292238400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=29653/tid=29664] ppid=29651 vsize=566724 CPUtime=23.44
/proc/29653/task/29664/stat : 29664 (ttsth-5-0) R 29651 29653 15497 0 -1 4202560 6858 0 0 0 1794 550 0 0 20 0 17 0 657217026 580325376 103468 18446744073709551615 134512640 135237372 4292238400 18446744073709551615 134562344 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=29653/tid=29665] ppid=29651 vsize=566724 CPUtime=23.46
/proc/29653/task/29665/stat : 29665 (ttsth-5-0) R 29651 29653 15497 0 -1 4202560 5837 0 0 0 1818 528 0 0 20 0 17 0 657217026 580325376 103468 18446744073709551615 134512640 135237372 4292238400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=29653/tid=29666] ppid=29651 vsize=566724 CPUtime=23.44
/proc/29653/task/29666/stat : 29666 (ttsth-5-0) R 29651 29653 15497 0 -1 4202560 4954 0 0 0 1774 570 0 0 20 0 17 0 657217026 580325376 103468 18446744073709551615 134512640 135237372 4292238400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=29653/tid=29667] ppid=29651 vsize=566724 CPUtime=23.04
/proc/29653/task/29667/stat : 29667 (ttsth-5-0) R 29651 29653 15497 0 -1 4202560 3309 0 0 0 1838 466 0 0 20 0 17 0 657217026 580325376 103468 18446744073709551615 134512640 135237372 4292238400 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=29653/tid=29668] ppid=29651 vsize=566724 CPUtime=23.5
/proc/29653/task/29668/stat : 29668 (ttsth-5-0) R 29651 29653 15497 0 -1 4202560 6716 0 0 0 1864 486 0 0 20 0 17 0 657217026 580325376 103468 18446744073709551615 134512640 135237372 4292238400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=29653/tid=29669] ppid=29651 vsize=566724 CPUtime=23.52
/proc/29653/task/29669/stat : 29669 (ttsth-5-0) R 29651 29653 15497 0 -1 4202560 7405 0 0 0 1884 468 0 0 20 0 17 0 657217026 580325376 103468 18446744073709551615 134512640 135237372 4292238400 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=29653/tid=29670] ppid=29651 vsize=566724 CPUtime=23.48
/proc/29653/task/29670/stat : 29670 (ttsth-5-0) R 29651 29653 15497 0 -1 4202560 6312 0 0 0 1812 536 0 0 20 0 17 0 657217026 580325376 103468 18446744073709551615 134512640 135237372 4292238400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 377.51
Current children cumulated vsize (KiB) 566724

[startup+51.1066 s]
/proc/loadavg: 15.28 15.00 11.54 17/201 29670
/proc/meminfo: memFree=18247656/36427776 swapFree=4692/750932
[pid=29653] ppid=29651 vsize=926844 CPUtime=784.35
/proc/29653/stat : 29653 (ttsth-5-0) S 29651 29653 15497 0 -1 4202496 188266 0 0 0 68701 9734 0 0 20 0 17 0 657216862 949088256 187552 18446744073709551615 134512640 135237372 4292238400 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/29653/statm: 231711 187553 95 177 0 231533 0
[pid=29653/tid=29655] ppid=29651 vsize=926844 CPUtime=49.41
/proc/29653/task/29655/stat : 29655 (ttsth-5-0) R 29651 29653 15497 0 -1 4202560 9478 0 0 0 4909 32 0 0 20 0 17 0 657217026 949088256 187553 18446744073709551615 134512640 135237372 4292238400 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=29653/tid=29656] ppid=29651 vsize=926844 CPUtime=48.98
/proc/29653/task/29656/stat : 29656 (ttsth-5-0) R 29651 29653 15497 0 -1 4202560 11154 0 0 0 4282 616 0 0 20 0 17 0 657217026 949088256 187553 18446744073709551615 134512640 135237372 4292238400 18446744073709551615 134749318 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=29653/tid=29657] ppid=29651 vsize=926844 CPUtime=48.95
/proc/29653/task/29657/stat : 29657 (ttsth-5-0) R 29651 29653 15497 0 -1 4202560 4183 0 0 0 4257 638 0 0 20 0 17 0 657217026 949088256 187553 18446744073709551615 134512640 135237372 4292238400 18446744073709551615 134588538 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=29653/tid=29658] ppid=29651 vsize=926844 CPUtime=48.85
/proc/29653/task/29658/stat : 29658 (ttsth-5-0) R 29651 29653 15497 0 -1 4202560 14273 0 0 0 4165 720 0 0 20 0 17 0 657217026 949088256 187554 18446744073709551615 134512640 135237372 4292238400 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=29653/tid=29659] ppid=29651 vsize=926844 CPUtime=48.91
/proc/29653/task/29659/stat : 29659 (ttsth-5-0) R 29651 29653 15497 0 -1 4202560 13233 0 0 0 4235 656 0 0 20 0 17 0 657217026 949088256 187554 18446744073709551615 134512640 135237372 4292238400 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=29653/tid=29660] ppid=29651 vsize=926844 CPUtime=49.09
/proc/29653/task/29660/stat : 29660 (ttsth-5-0) R 29651 29653 15497 0 -1 4202560 10213 0 0 0 4319 590 0 0 20 0 17 0 657217026 949088256 187554 18446744073709551615 134512640 135237372 4292238400 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=29653/tid=29661] ppid=29651 vsize=926844 CPUtime=48.96
/proc/29653/task/29661/stat : 29661 (ttsth-5-0) R 29651 29653 15497 0 -1 4202560 11452 0 0 0 4228 668 0 0 20 0 17 0 657217026 949088256 187555 18446744073709551615 134512640 135237372 4292238400 18446744073709551615 134561510 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=29653/tid=29662] ppid=29651 vsize=926844 CPUtime=49.08
/proc/29653/task/29662/stat : 29662 (ttsth-5-0) R 29651 29653 15497 0 -1 4202560 6189 0 0 0 4302 606 0 0 20 0 17 0 657217026 949088256 187556 18446744073709551615 134512640 135237372 4292238400 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=29653/tid=29663] ppid=29651 vsize=926844 CPUtime=48.85
/proc/29653/task/29663/stat : 29663 (ttsth-5-0) R 29651 29653 15497 0 -1 4202560 11047 0 0 0 4261 624 0 0 20 0 17 0 657217026 949088256 187556 18446744073709551615 134512640 135237372 4292238400 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=29653/tid=29664] ppid=29651 vsize=926844 CPUtime=48.88
/proc/29653/task/29664/stat : 29664 (ttsth-5-0) R 29651 29653 15497 0 -1 4202560 13792 0 0 0 4178 710 0 0 20 0 17 0 657217026 949088256 187557 18446744073709551615 134512640 135237372 4292238400 18446744073709551615 134591433 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=29653/tid=29665] ppid=29651 vsize=926844 CPUtime=48.92
/proc/29653/task/29665/stat : 29665 (ttsth-5-0) R 29651 29653 15497 0 -1 4202560 12029 0 0 0 4218 674 0 0 20 0 17 0 657217026 949088256 187557 18446744073709551615 134512640 135237372 4292238400 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=29653/tid=29666] ppid=29651 vsize=926844 CPUtime=48.86
/proc/29653/task/29666/stat : 29666 (ttsth-5-0) R 29651 29653 15497 0 -1 4202560 8689 0 0 0 4196 690 0 0 20 0 17 0 657217026 949088256 187557 18446744073709551615 134512640 135237372 4292238400 18446744073709551615 134587921 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=29653/tid=29667] ppid=29651 vsize=926844 CPUtime=48.01
/proc/29653/task/29667/stat : 29667 (ttsth-5-0) R 29651 29653 15497 0 -1 4202560 6064 0 0 0 4203 598 0 0 20 0 17 0 657217026 949088256 187557 18446744073709551615 134512640 135237372 4292238400 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=29653/tid=29668] ppid=29651 vsize=926844 CPUtime=48.98
/proc/29653/task/29668/stat : 29668 (ttsth-5-0) R 29651 29653 15497 0 -1 4202560 14810 0 0 0 4280 618 0 0 20 0 17 0 657217026 949088256 187558 18446744073709551615 134512640 135237372 4292238400 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=29653/tid=29669] ppid=29651 vsize=926844 CPUtime=48.99
/proc/29653/task/29669/stat : 29669 (ttsth-5-0) R 29651 29653 15497 0 -1 4202560 14130 0 0 0 4317 582 0 0 20 0 17 0 657217026 949088256 187558 18446744073709551615 134512640 135237372 4292238400 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=29653/tid=29670] ppid=29651 vsize=926844 CPUtime=48.89
/proc/29653/task/29670/stat : 29670 (ttsth-5-0) R 29651 29653 15497 0 -1 4202560 12326 0 0 0 4191 698 0 0 20 0 17 0 657217026 949088256 187559 18446744073709551615 134512640 135237372 4292238400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 784.35
Current children cumulated vsize (KiB) 926844

[startup+102.316 s]
/proc/loadavg: 15.65 15.15 11.78 17/201 29670
/proc/meminfo: memFree=17633452/36427776 swapFree=4692/1363872
[pid=29653] ppid=29651 vsize=1574400 CPUtime=1600.2
/proc/29653/stat : 29653 (ttsth-5-0) S 29651 29653 15497 0 -1 4202496 340057 0 0 0 148349 11671 0 0 20 0 17 0 657216862 1612185600 339343 18446744073709551615 134512640 135237372 4292238400 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/29653/statm: 393600 339344 95 177 0 393422 0
[pid=29653/tid=29655] ppid=29651 vsize=1574400 CPUtime=100.61
/proc/29653/task/29655/stat : 29655 (ttsth-5-0) R 29651 29653 15497 0 -1 4202560 15473 0 0 0 10007 54 0 0 20 0 17 0 657217026 1612185600 339344 18446744073709551615 134512640 135237372 4292238400 18446744073709551615 134562278 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=29653/tid=29656] ppid=29651 vsize=1574400 CPUtime=100.05
/proc/29653/task/29656/stat : 29656 (ttsth-5-0) R 29651 29653 15497 0 -1 4202560 20548 0 0 0 9287 718 0 0 20 0 17 0 657217026 1612185600 339344 18446744073709551615 134512640 135237372 4292238400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=29653/tid=29657] ppid=29651 vsize=1574400 CPUtime=99.98
/proc/29653/task/29657/stat : 29657 (ttsth-5-0) R 29651 29653 15497 0 -1 4202560 13836 0 0 0 9230 768 0 0 20 0 17 0 657217026 1612185600 339344 18446744073709551615 134512640 135237372 4292238400 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=29653/tid=29658] ppid=29651 vsize=1574400 CPUtime=99.84
/proc/29653/task/29658/stat : 29658 (ttsth-5-0) R 29651 29653 15497 0 -1 4202560 27105 0 0 0 9098 886 0 0 20 0 17 0 657217026 1612185600 339344 18446744073709551615 134512640 135237372 4292238400 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=29653/tid=29659] ppid=29651 vsize=1574400 CPUtime=99.92
/proc/29653/task/29659/stat : 29659 (ttsth-5-0) R 29651 29653 15497 0 -1 4202560 25003 0 0 0 9186 806 0 0 20 0 17 0 657217026 1612185600 339344 18446744073709551615 134512640 135237372 4292238400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=29653/tid=29660] ppid=29651 vsize=1574400 CPUtime=100.18
/proc/29653/task/29660/stat : 29660 (ttsth-5-0) R 29651 29653 15497 0 -1 4202560 17125 0 0 0 9314 704 0 0 20 0 17 0 657217026 1612185600 339344 18446744073709551615 134512640 135237372 4292238400 18446744073709551615 134562401 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=29653/tid=29661] ppid=29651 vsize=1574400 CPUtime=99.99
/proc/29653/task/29661/stat : 29661 (ttsth-5-0) R 29651 29653 15497 0 -1 4202560 21831 0 0 0 9185 814 0 0 20 0 17 0 657217026 1612185600 339344 18446744073709551615 134512640 135237372 4292238400 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=29653/tid=29662] ppid=29651 vsize=1574400 CPUtime=100.18
/proc/29653/task/29662/stat : 29662 (ttsth-5-0) R 29651 29653 15497 0 -1 4202560 11678 0 0 0 9318 700 0 0 20 0 17 0 657217026 1612185600 339344 18446744073709551615 134512640 135237372 4292238400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=29653/tid=29663] ppid=29651 vsize=1574400 CPUtime=99.85
/proc/29653/task/29663/stat : 29663 (ttsth-5-0) R 29651 29653 15497 0 -1 4202560 20920 0 0 0 9207 778 0 0 20 0 17 0 657217026 1612185600 339344 18446744073709551615 134512640 135237372 4292238400 18446744073709551615 134562328 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=29653/tid=29664] ppid=29651 vsize=1574400 CPUtime=99.92
/proc/29653/task/29664/stat : 29664 (ttsth-5-0) R 29651 29653 15497 0 -1 4202560 23635 0 0 0 9162 830 0 0 20 0 17 0 657217026 1612185600 339344 18446744073709551615 134512640 135237372 4292238400 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=29653/tid=29665] ppid=29651 vsize=1574400 CPUtime=99.97
/proc/29653/task/29665/stat : 29665 (ttsth-5-0) R 29651 29653 15497 0 -1 4202560 22798 0 0 0 9217 780 0 0 20 0 17 0 657217026 1612185600 339345 18446744073709551615 134512640 135237372 4292238400 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=29653/tid=29666] ppid=29651 vsize=1574400 CPUtime=99.86
/proc/29653/task/29666/stat : 29666 (ttsth-5-0) R 29651 29653 15497 0 -1 4202560 16361 0 0 0 9140 846 0 0 20 0 17 0 657217026 1612185600 339345 18446744073709551615 134512640 135237372 4292238400 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=29653/tid=29667] ppid=29651 vsize=1574400 CPUtime=98.09
/proc/29653/task/29667/stat : 29667 (ttsth-5-0) R 29651 29653 15497 0 -1 4202560 11439 0 0 0 9121 688 0 0 20 0 17 0 657217026 1612185600 339345 18446744073709551615 134512640 135237372 4292238400 18446744073709551615 134562344 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=29653/tid=29668] ppid=29651 vsize=1574400 CPUtime=100.05
/proc/29653/task/29668/stat : 29668 (ttsth-5-0) R 29651 29653 15497 0 -1 4202560 28633 0 0 0 9249 756 0 0 20 0 17 0 657217026 1612185600 339345 18446744073709551615 134512640 135237372 4292238400 18446744073709551615 134562344 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=29653/tid=29669] ppid=29651 vsize=1574400 CPUtime=100.05
/proc/29653/task/29669/stat : 29669 (ttsth-5-0) R 29651 29653 15497 0 -1 4202560 27283 0 0 0 9309 696 0 0 20 0 17 0 657217026 1612185600 339345 18446744073709551615 134512640 135237372 4292238400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=29653/tid=29670] ppid=29651 vsize=1574400 CPUtime=99.87
/proc/29653/task/29670/stat : 29670 (ttsth-5-0) R 29651 29653 15497 0 -1 4202560 21183 0 0 0 9155 832 0 0 20 0 17 0 657217026 1612185600 339345 18446744073709551615 134512640 135237372 4292238400 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1600.2
Current children cumulated vsize (KiB) 1574400



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+156.802 s]
/proc/loadavg: 15.86 15.29 12.02 17/201 29670
/proc/meminfo: memFree=17139724/36427776 swapFree=4692/1856192
[pid=29653] ppid=29651 vsize=2098400 CPUtime=2469.49
/proc/29653/stat : 29653 (ttsth-5-0) S 29651 29653 15497 0 -1 4202496 462655 0 0 0 234092 12857 0 0 20 0 17 0 657216862 2148761600 461941 18446744073709551615 134512640 135237372 4292238400 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/29653/statm: 524600 461941 95 177 0 524422 0
[pid=29653/tid=29655] ppid=29651 vsize=2098400 CPUtime=155.1
/proc/29653/task/29655/stat : 29655 (ttsth-5-0) R 29651 29653 15497 0 -1 4202560 20364 0 0 0 15436 74 0 0 20 0 17 0 657217026 2148761600 461942 18446744073709551615 134512640 135237372 4292238400 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=29653/tid=29656] ppid=29651 vsize=2098400 CPUtime=154.45
/proc/29653/task/29656/stat : 29656 (ttsth-5-0) R 29651 29653 15497 0 -1 4202560 27181 0 0 0 14643 802 0 0 20 0 17 0 657217026 2148761600 461942 18446744073709551615 134512640 135237372 4292238400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=29653/tid=29657] ppid=29651 vsize=2098400 CPUtime=154.37
/proc/29653/task/29657/stat : 29657 (ttsth-5-0) R 29651 29653 15497 0 -1 4202560 21619 0 0 0 14601 836 0 0 20 0 17 0 657217026 2148761600 461942 18446744073709551615 134512640 135237372 4292238400 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=29653/tid=29658] ppid=29651 vsize=2098400 CPUtime=154.21
/proc/29653/task/29658/stat : 29658 (ttsth-5-0) R 29651 29653 15497 0 -1 4202560 38913 0 0 0 14449 972 0 0 20 0 17 0 657217026 2148761600 461942 18446744073709551615 134512640 135237372 4292238400 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=29653/tid=29659] ppid=29651 vsize=2098400 CPUtime=154.31
/proc/29653/task/29659/stat : 29659 (ttsth-5-0) R 29651 29653 15497 0 -1 4202560 35334 0 0 0 14539 892 0 0 20 0 17 0 657217026 2148761600 461943 18446744073709551615 134512640 135237372 4292238400 18446744073709551615 134562388 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=29653/tid=29660] ppid=29651 vsize=2098400 CPUtime=154.61
/proc/29653/task/29660/stat : 29660 (ttsth-5-0) R 29651 29653 15497 0 -1 4202560 21750 0 0 0 14693 768 0 0 20 0 17 0 657217026 2148761600 461943 18446744073709551615 134512640 135237372 4292238400 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=29653/tid=29661] ppid=29651 vsize=2098400 CPUtime=154.38
/proc/29653/task/29661/stat : 29661 (ttsth-5-0) R 29651 29653 15497 0 -1 4202560 29432 0 0 0 14546 892 0 0 20 0 17 0 657217026 2148761600 461943 18446744073709551615 134512640 135237372 4292238400 18446744073709551615 134549903 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=29653/tid=29662] ppid=29651 vsize=2098400 CPUtime=154.61
/proc/29653/task/29662/stat : 29662 (ttsth-5-0) R 29651 29653 15497 0 -1 4202560 16010 0 0 0 14707 754 0 0 20 0 17 0 657217026 2148761600 461943 18446744073709551615 134512640 135237372 4292238400 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=29653/tid=29663] ppid=29651 vsize=2098400 CPUtime=154.19
/proc/29653/task/29663/stat : 29663 (ttsth-5-0) R 29651 29653 15497 0 -1 4202560 30487 0 0 0 14549 870 0 0 20 0 17 0 657217026 2148761600 461943 18446744073709551615 134512640 135237372 4292238400 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=29653/tid=29664] ppid=29651 vsize=2098400 CPUtime=154.3
/proc/29653/task/29664/stat : 29664 (ttsth-5-0) R 29651 29653 15497 0 -1 4202560 31077 0 0 0 14532 898 0 0 20 0 17 0 657217026 2148761600 461943 18446744073709551615 134512640 135237372 4292238400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=29653/tid=29665] ppid=29651 vsize=2098400 CPUtime=154.38
/proc/29653/task/29665/stat : 29665 (ttsth-5-0) R 29651 29653 15497 0 -1 4202560 32029 0 0 0 14578 860 0 0 20 0 17 0 657217026 2148761600 461943 18446744073709551615 134512640 135237372 4292238400 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=29653/tid=29666] ppid=29651 vsize=2098400 CPUtime=154.22
/proc/29653/task/29666/stat : 29666 (ttsth-5-0) R 29651 29653 15497 0 -1 4202560 23786 0 0 0 14478 944 0 0 20 0 17 0 657217026 2148761600 461943 18446744073709551615 134512640 135237372 4292238400 18446744073709551615 134591433 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=29653/tid=29667] ppid=29651 vsize=2098400 CPUtime=151.42
/proc/29653/task/29667/stat : 29667 (ttsth-5-0) R 29651 29653 15497 0 -1 4202560 16037 0 0 0 14400 742 0 0 20 0 17 0 657217026 2148761600 461943 18446744073709551615 134512640 135237372 4292238400 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=29653/tid=29668] ppid=29651 vsize=2098400 CPUtime=154.45
/proc/29653/task/29668/stat : 29668 (ttsth-5-0) R 29651 29653 15497 0 -1 4202560 39459 0 0 0 14593 852 0 0 20 0 17 0 657217026 2148761600 461943 18446744073709551615 134512640 135237372 4292238400 18446744073709551615 134562380 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=29653/tid=29669] ppid=29651 vsize=2098400 CPUtime=154.42
/proc/29653/task/29669/stat : 29669 (ttsth-5-0) R 29651 29653 15497 0 -1 4202560 35400 0 0 0 14652 790 0 0 20 0 17 0 657217026 2148761600 461943 18446744073709551615 134512640 135237372 4292238400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=29653/tid=29670] ppid=29651 vsize=2098400 CPUtime=154.26
/proc/29653/task/29670/stat : 29670 (ttsth-5-0) R 29651 29653 15497 0 -1 4202560 28572 0 0 0 14528 898 0 0 20 0 17 0 657217026 2148761600 461943 18446744073709551615 134512640 135237372 4292238400 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2469.49
Current children cumulated vsize (KiB) 2098400

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

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

[startup+157.003 s]
/proc/loadavg: 15.86 15.29 12.02 17/201 29670
/proc/meminfo: memFree=17139724/36427776 swapFree=4692/1856192
[pid=29653] ppid=29651 vsize=0 CPUtime=2469.85
/proc/29653/stat : 29653 (ttsth-5-0) Z 29651 29653 15497 0 -1 4203532 462662 0 0 0 234106 12879 0 0 20 0 2 0 657216862 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/29653/statm: 0 0 0 0 0 0 0
[pid=29653/tid=29670] ppid=29651 vsize=0 CPUtime=154.46
/proc/29653/task/29670/stat : 29670 (ttsth-5-0) R 29651 29653 15497 0 -1 4203588 28572 0 0 0 14528 918 0 0 20 0 2 0 657217026 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2469.85
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 157.018
CPU time (s): 2469.87
CPU user time (s): 2341.07
CPU system time (s): 128.792
CPU usage (%): 1572.98
Max. virtual memory (cumulated for all children) (KiB): 2098400

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2341.07
system time used= 128.792
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 462662
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= 124884
involuntary context switches= 4965

runsolver used 0.732045 second user time and 2.35215 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-14 13:31:45
IDJOB=1780890
IDBENCH=71076
IDSOLVER=634
FILE ID=xenhost3-49/1780890-1244979105
PBS_JOBID=
Free space on /tmp= 7020 MiB

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

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

MD5SUM BENCH= 57b85ec7870f670f13b00667a6315c05
RANDOM SEED= 399501509

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:      18988632 kB
Buffers:        524804 kB
Cached:       14119792 kB
SwapCached:          0 kB
Active:        4171276 kB
Inactive:     10481600 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:            2692 kB
Writeback:           0 kB
AnonPages:        8260 kB
Mapped:           3648 kB
Slab:           733536 kB
SReclaimable:   706668 kB
SUnreclaim:      26868 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29376 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

Free space on /tmp at the end= 7020 MiB
End job on xenhost3-49 at 2009-06-14 13:34:24