Trace number 1776735

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) 1271.16 81.7927

General information on the benchmark

Namehoons-vbmc-lucky7.cnf
MD5SUMe05028f569e580a3335aeab2d092cf1f
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark2.9
Satisfiable
(Un)Satisfiability was proved
Number of variables8503
Number of clauses25116
Sum of the clauses size58576
Maximum clause length3
Minimum clause length1
Number of clauses of size 121
Number of clauses of size 216730
Number of clauses of size 38365
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.04	c Command: HOME/ttsth-5-0 -num-threads 16 HOME/instance-1776735-1244937510.cnf 
0.00/0.04	c Using SATTIMEOUT of 10000
0.00/0.04	c Using SATRAM of 2047
0.00/0.04	c Size of subset node = 16
0.00/0.04	c Variables = 8503
0.00/0.04	c Clauses = 25116
0.00/0.04	c Literals = 58576
0.00/0.04	c Reduced size:
0.00/0.04	c Variables = 8503
0.00/0.04	c Clauses = 24247
0.00/0.04	c Literals = 56497
0.00/0.04	c a2
0.00/0.06	c a1
0.68/0.76	c Independent sub-problems = 1
0.68/0.76	c Sub-problem with 8209 variables and 24247 clauses
0.68/0.76	c using permutation method 4
0.68/0.76	c count = 1
0.68/0.76	c Ordering finished 0.750 seconds
0.68/0.76	c mapped 0.760 seconds
0.68/0.76	c permuted 0.760 seconds
0.68/0.76	c about to sort
0.68/0.77	c sorted
1.00/1.01	c clauses now 24247
1.00/1.01	c init finished 0.920 seconds
1.00/1.01	c tree built 1.000 seconds
1.00/1.01	c 
1.00/1.01	c PA progress                      | CPU progress Partial assignments | improvements      CPU time        PA/sec        nodes
1.00/1.01	c ---------------------------------|----------------------------------|------------------------------------------------------
1.00/1.01	c ................................ | ..........                       |                        1.0           0.0             
1.00/1.01	c ................................ | ..........                     1 |                        1.0           1.0             
1.00/1.01	c ................................ | ..........                     2 |                        1.0           2.0             
1.00/1.01	c ................................ | ..........                     3 |                        1.0           3.0             
1.00/1.01	c ................................ | ..........                     4 |                        1.0           4.0             
1.00/1.01	c ................................ | ..........                     5 |                        1.0           5.0             
1.00/1.02	c ................................ | ..........                  1000 | 7                      1.1         934.6          570
294.79/19.84	c ................................ | ..........                541000 | 24423                200.9        2692.6     15683771
527.04/34.68	c ................................ | ..........                781000 | 36395                401.8        1943.9     35734858
744.66/48.44	c ................................ | ..........                946000 | 45461                600.1        1576.5     54788071
957.77/61.98	c ................................ | ..........               1126000 | 53916                801.9        1404.2     72777483
1164.11/75.00	c ................................ | *.........               1262000 | 61098               1001.8        1259.8     92366584

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-1776735-1244937510/watcher-1776735-1244937510 -o /tmp/evaluation-result-1776735-1244937510/solver-1776735-1244937510 -C 10000 -W 1000 -M 2047 HOME/ttsth-5-0 -num-threads 16 HOME/instance-1776735-1244937510.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: 11.16 4.70 4.69 2/184 20240
/proc/meminfo: memFree=19058564/36427776 swapFree=3684/7052
[pid=20240] ppid=20238 vsize=1540 CPUtime=0
/proc/20240/stat : 20240 (ttsth-5-0) R 20238 20240 15497 0 -1 4202496 281 0 0 0 0 0 0 0 20 0 1 0 653057408 1576960 238 18446744073709551615 134512640 135237372 4288557248 18446744073709551615 134732614 0 0 1 0 0 0 0 17 10 0 0 0 0 0
/proc/20240/statm: 385 238 75 177 0 207 0

[startup+0.080942 s]
/proc/loadavg: 11.16 4.70 4.69 2/184 20240
/proc/meminfo: memFree=19058564/36427776 swapFree=3684/7052
[pid=20240] ppid=20238 vsize=4804 CPUtime=0.08
/proc/20240/stat : 20240 (ttsth-5-0) R 20238 20240 15497 0 -1 4202496 1081 0 0 0 8 0 0 0 20 0 1 0 653057408 4919296 1037 18446744073709551615 134512640 135237372 4288557248 18446744073709551615 134732614 0 0 1 0 0 0 0 17 10 0 0 0 0 0
/proc/20240/statm: 1201 1040 77 177 0 1023 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 4804

[startup+0.100923 s]
/proc/loadavg: 11.16 4.70 4.69 2/184 20240
/proc/meminfo: memFree=19058564/36427776 swapFree=3684/7052
[pid=20240] ppid=20238 vsize=5596 CPUtime=0.1
/proc/20240/stat : 20240 (ttsth-5-0) R 20238 20240 15497 0 -1 4202496 1264 0 0 0 10 0 0 0 20 0 1 0 653057408 5730304 1220 18446744073709551615 134512640 135237372 4288557248 18446744073709551615 134555272 0 0 1 0 0 0 0 17 10 0 0 0 0 0
/proc/20240/statm: 1399 1220 77 177 0 1221 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 5596

[startup+0.300928 s]
/proc/loadavg: 11.16 4.70 4.69 2/184 20240
/proc/meminfo: memFree=19058564/36427776 swapFree=3684/7052
[pid=20240] ppid=20238 vsize=5596 CPUtime=0.28
/proc/20240/stat : 20240 (ttsth-5-0) R 20238 20240 15497 0 -1 4202496 1286 0 0 0 28 0 0 0 20 0 1 0 653057408 5730304 1242 18446744073709551615 134512640 135237372 4288557248 18446744073709551615 134555272 0 0 1 0 0 0 0 17 10 0 0 0 0 0
/proc/20240/statm: 1399 1242 77 177 0 1221 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 5596

[startup+0.700977 s]
/proc/loadavg: 11.16 4.70 4.69 2/184 20240
/proc/meminfo: memFree=19058564/36427776 swapFree=3684/7052
[pid=20240] ppid=20238 vsize=5884 CPUtime=0.68
/proc/20240/stat : 20240 (ttsth-5-0) R 20238 20240 15497 0 -1 4202496 1344 0 0 0 68 0 0 0 20 0 1 0 653057408 6025216 1300 18446744073709551615 134512640 135237372 4288557248 18446744073709551615 134555272 0 0 1 0 0 0 0 17 10 0 0 0 0 0
/proc/20240/statm: 1471 1300 77 177 0 1293 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 5884

[startup+1.50437 s]
/proc/loadavg: 11.16 4.70 4.69 2/185 20241
/proc/meminfo: memFree=18962936/36427776 swapFree=4544/102296
[pid=20240] ppid=20238 vsize=235444 CPUtime=8.63
/proc/20240/stat : 20240 (ttsth-5-0) S 20238 20240 15497 0 -1 4202496 26855 0 0 0 208 655 0 0 20 0 17 0 653057408 241094656 26786 18446744073709551615 134512640 135237372 4288557248 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/20240/statm: 58861 26786 95 177 0 58683 0
Current children cumulated CPU time (s) 8.63
Current children cumulated vsize (KiB) 235444

[startup+3.10656 s]
/proc/loadavg: 11.16 4.70 4.69 17/201 20257
/proc/meminfo: memFree=18945420/36427776 swapFree=4692/122180
[pid=20240] ppid=20238 vsize=253792 CPUtime=33.67
/proc/20240/stat : 20240 (ttsth-5-0) S 20238 20240 15497 0 -1 4202496 32173 0 0 0 766 2601 0 0 20 0 17 0 653057408 259883008 32104 18446744073709551615 134512640 135237372 4288557248 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/20240/statm: 63448 32105 95 177 0 63270 0
[pid=20240/tid=20242] ppid=20238 vsize=253792 CPUtime=2.08
/proc/20240/task/20242/stat : 20242 (ttsth-5-0) R 20238 20240 15497 0 -1 4202560 3267 0 0 0 204 4 0 0 20 0 17 0 653057510 259883008 32105 18446744073709551615 134512640 135237372 4288557248 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=20240/tid=20243] ppid=20238 vsize=253792 CPUtime=2.02
/proc/20240/task/20243/stat : 20243 (ttsth-5-0) R 20238 20240 15497 0 -1 4202560 327 0 0 0 34 168 0 0 20 0 17 0 653057510 259883008 32105 18446744073709551615 134512640 135237372 4288557248 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=20240/tid=20244] ppid=20238 vsize=253792 CPUtime=2.02
/proc/20240/task/20244/stat : 20244 (ttsth-5-0) R 20238 20240 15497 0 -1 4202560 344 0 0 0 24 178 0 0 20 0 17 0 653057510 259883008 32105 18446744073709551615 134512640 135237372 4288557248 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=20240/tid=20245] ppid=20238 vsize=253792 CPUtime=2.04
/proc/20240/task/20245/stat : 20245 (ttsth-5-0) R 20238 20240 15497 0 -1 4202560 375 0 0 0 26 178 0 0 20 0 17 0 653057510 259883008 32105 18446744073709551615 134512640 135237372 4288557248 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=20240/tid=20246] ppid=20238 vsize=253792 CPUtime=2.04
/proc/20240/task/20246/stat : 20246 (ttsth-5-0) R 20238 20240 15497 0 -1 4202560 228 0 0 0 30 174 0 0 20 0 17 0 653057510 259883008 32105 18446744073709551615 134512640 135237372 4288557248 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=20240/tid=20247] ppid=20238 vsize=253792 CPUtime=2.04
/proc/20240/task/20247/stat : 20247 (ttsth-5-0) R 20238 20240 15497 0 -1 4202560 223 0 0 0 30 174 0 0 20 0 17 0 653057510 259883008 32105 18446744073709551615 134512640 135237372 4288557248 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=20240/tid=20248] ppid=20238 vsize=253792 CPUtime=2.04
/proc/20240/task/20248/stat : 20248 (ttsth-5-0) R 20238 20240 15497 0 -1 4202560 282 0 0 0 28 176 0 0 20 0 17 0 653057510 259883008 32105 18446744073709551615 134512640 135237372 4288557248 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=20240/tid=20249] ppid=20238 vsize=253792 CPUtime=2.04
/proc/20240/task/20249/stat : 20249 (ttsth-5-0) R 20238 20240 15497 0 -1 4202560 222 0 0 0 30 174 0 0 20 0 17 0 653057510 259883008 32105 18446744073709551615 134512640 135237372 4288557248 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=20240/tid=20250] ppid=20238 vsize=253792 CPUtime=2.04
/proc/20240/task/20250/stat : 20250 (ttsth-5-0) R 20238 20240 15497 0 -1 4202560 304 0 0 0 28 176 0 0 20 0 17 0 653057510 259883008 32106 18446744073709551615 134512640 135237372 4288557248 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=20240/tid=20251] ppid=20238 vsize=253792 CPUtime=2.04
/proc/20240/task/20251/stat : 20251 (ttsth-5-0) R 20238 20240 15497 0 -1 4202560 240 0 0 0 32 172 0 0 20 0 17 0 653057510 259883008 32106 18446744073709551615 134512640 135237372 4288557248 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=20240/tid=20252] ppid=20238 vsize=253792 CPUtime=2.04
/proc/20240/task/20252/stat : 20252 (ttsth-5-0) R 20238 20240 15497 0 -1 4202560 386 0 0 0 36 168 0 0 20 0 17 0 653057510 259883008 32106 18446744073709551615 134512640 135237372 4288557248 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=20240/tid=20253] ppid=20238 vsize=253792 CPUtime=2.02
/proc/20240/task/20253/stat : 20253 (ttsth-5-0) R 20238 20240 15497 0 -1 4202560 362 0 0 0 34 168 0 0 20 0 17 0 653057510 259883008 32106 18446744073709551615 134512640 135237372 4288557248 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=20240/tid=20254] ppid=20238 vsize=253792 CPUtime=2
/proc/20240/task/20254/stat : 20254 (ttsth-5-0) R 20238 20240 15497 0 -1 4202560 412 0 0 0 28 172 0 0 20 0 17 0 653057510 259883008 32106 18446744073709551615 134512640 135237372 4288557248 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=20240/tid=20255] ppid=20238 vsize=253792 CPUtime=2.04
/proc/20240/task/20255/stat : 20255 (ttsth-5-0) R 20238 20240 15497 0 -1 4202560 307 0 0 0 36 168 0 0 20 0 17 0 653057511 259883008 32106 18446744073709551615 134512640 135237372 4288557248 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=20240/tid=20256] ppid=20238 vsize=253792 CPUtime=2.02
/proc/20240/task/20256/stat : 20256 (ttsth-5-0) R 20238 20240 15497 0 -1 4202560 219 0 0 0 32 170 0 0 20 0 17 0 653057511 259883008 32106 18446744073709551615 134512640 135237372 4288557248 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=20240/tid=20257] ppid=20238 vsize=253792 CPUtime=2.02
/proc/20240/task/20257/stat : 20257 (ttsth-5-0) R 20238 20240 15497 0 -1 4202560 361 0 0 0 34 168 0 0 20 0 17 0 653057511 259883008 32106 18446744073709551615 134512640 135237372 4288557248 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 33.67
Current children cumulated vsize (KiB) 253792

[startup+6.30448 s]
/proc/loadavg: 11.55 4.89 4.75 16/201 20257
/proc/meminfo: memFree=18900472/36427776 swapFree=4692/166176
[pid=20240] ppid=20238 vsize=296464 CPUtime=83.44
/proc/20240/stat : 20240 (ttsth-5-0) S 20238 20240 15497 0 -1 4202496 43187 0 0 0 2309 6035 0 0 20 0 17 0 653057408 303579136 43118 18446744073709551615 134512640 135237372 4288557248 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/20240/statm: 74116 43118 95 177 0 73938 0
[pid=20240/tid=20242] ppid=20238 vsize=296464 CPUtime=5.28
/proc/20240/task/20242/stat : 20242 (ttsth-5-0) R 20238 20240 15497 0 -1 4202560 6639 0 0 0 522 6 0 0 20 0 17 0 653057510 303579136 43118 18446744073709551615 134512640 135237372 4288557248 18446744073709551615 134588970 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=20240/tid=20243] ppid=20238 vsize=296464 CPUtime=5.14
/proc/20240/task/20243/stat : 20243 (ttsth-5-0) R 20238 20240 15497 0 -1 4202560 994 0 0 0 112 402 0 0 20 0 17 0 653057510 303579136 43118 18446744073709551615 134512640 135237372 4288557248 18446744073709551615 134590267 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=20240/tid=20244] ppid=20238 vsize=296464 CPUtime=5.14
/proc/20240/task/20244/stat : 20244 (ttsth-5-0) R 20238 20240 15497 0 -1 4202560 603 0 0 0 96 418 0 0 20 0 17 0 653057510 303579136 43118 18446744073709551615 134512640 135237372 4288557248 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=20240/tid=20245] ppid=20238 vsize=296464 CPUtime=5.14
/proc/20240/task/20245/stat : 20245 (ttsth-5-0) R 20238 20240 15497 0 -1 4202560 955 0 0 0 124 390 0 0 20 0 17 0 653057510 303579136 43118 18446744073709551615 134512640 135237372 4288557248 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=20240/tid=20246] ppid=20238 vsize=296464 CPUtime=5.14
/proc/20240/task/20246/stat : 20246 (ttsth-5-0) R 20238 20240 15497 0 -1 4202560 1203 0 0 0 110 404 0 0 20 0 17 0 653057510 303579136 43118 18446744073709551615 134512640 135237372 4288557248 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=20240/tid=20247] ppid=20238 vsize=296464 CPUtime=5.14
/proc/20240/task/20247/stat : 20247 (ttsth-5-0) R 20238 20240 15497 0 -1 4202560 414 0 0 0 96 418 0 0 20 0 17 0 653057510 303579136 43118 18446744073709551615 134512640 135237372 4288557248 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=20240/tid=20248] ppid=20238 vsize=296464 CPUtime=5.14
/proc/20240/task/20248/stat : 20248 (ttsth-5-0) R 20238 20240 15497 0 -1 4202560 618 0 0 0 110 404 0 0 20 0 17 0 653057510 303579136 43118 18446744073709551615 134512640 135237372 4288557248 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=20240/tid=20249] ppid=20238 vsize=296464 CPUtime=5.14
/proc/20240/task/20249/stat : 20249 (ttsth-5-0) S 20238 20240 15497 0 -1 4202560 749 0 0 0 118 396 0 0 20 0 17 0 653057510 303579136 43118 18446744073709551615 134512640 135237372 4288557248 18446744073709551615 134636382 0 0 1 0 18446744071564503368 0 0 -1 2 0 0 0 0 0
[pid=20240/tid=20250] ppid=20238 vsize=296464 CPUtime=5.16
/proc/20240/task/20250/stat : 20250 (ttsth-5-0) R 20238 20240 15497 0 -1 4202560 566 0 0 0 110 406 0 0 20 0 17 0 653057510 303579136 43118 18446744073709551615 134512640 135237372 4288557248 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=20240/tid=20251] ppid=20238 vsize=296464 CPUtime=5.12
/proc/20240/task/20251/stat : 20251 (ttsth-5-0) R 20238 20240 15497 0 -1 4202560 702 0 0 0 98 414 0 0 20 0 17 0 653057510 303579136 43118 18446744073709551615 134512640 135237372 4288557248 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=20240/tid=20252] ppid=20238 vsize=296464 CPUtime=5.14
/proc/20240/task/20252/stat : 20252 (ttsth-5-0) R 20238 20240 15497 0 -1 4202560 695 0 0 0 104 410 0 0 20 0 17 0 653057510 303579136 43118 18446744073709551615 134512640 135237372 4288557248 18446744073709551615 134591451 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=20240/tid=20253] ppid=20238 vsize=296464 CPUtime=5.12
/proc/20240/task/20253/stat : 20253 (ttsth-5-0) R 20238 20240 15497 0 -1 4202560 1103 0 0 0 130 382 0 0 20 0 17 0 653057510 303579136 43118 18446744073709551615 134512640 135237372 4288557248 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=20240/tid=20254] ppid=20238 vsize=296464 CPUtime=5.06
/proc/20240/task/20254/stat : 20254 (ttsth-5-0) R 20238 20240 15497 0 -1 4202560 1004 0 0 0 122 384 0 0 20 0 17 0 653057510 303579136 43118 18446744073709551615 134512640 135237372 4288557248 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=20240/tid=20255] ppid=20238 vsize=296464 CPUtime=5.16
/proc/20240/task/20255/stat : 20255 (ttsth-5-0) R 20238 20240 15497 0 -1 4202560 1261 0 0 0 154 362 0 0 20 0 17 0 653057511 303579136 43118 18446744073709551615 134512640 135237372 4288557248 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=20240/tid=20256] ppid=20238 vsize=296464 CPUtime=5.12
/proc/20240/task/20256/stat : 20256 (ttsth-5-0) R 20238 20240 15497 0 -1 4202560 659 0 0 0 98 414 0 0 20 0 17 0 653057511 303579136 43118 18446744073709551615 134512640 135237372 4288557248 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=20240/tid=20257] ppid=20238 vsize=296464 CPUtime=5.14
/proc/20240/task/20257/stat : 20257 (ttsth-5-0) R 20238 20240 15497 0 -1 4202560 707 0 0 0 106 408 0 0 20 0 17 0 653057511 303579136 43118 18446744073709551615 134512640 135237372 4288557248 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 83.44
Current children cumulated vsize (KiB) 296464

[startup+12.7051 s]
/proc/loadavg: 11.90 5.07 4.81 15/201 20257
/proc/meminfo: memFree=18805012/36427776 swapFree=4692/263440
[pid=20240] ppid=20238 vsize=394060 CPUtime=183.52
/proc/20240/stat : 20240 (ttsth-5-0) S 20238 20240 15497 0 -1 4202496 66520 0 0 0 6397 11955 0 0 20 0 17 0 653057408 403517440 66451 18446744073709551615 134512640 135237372 4288557248 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/20240/statm: 98515 66451 95 177 0 98337 0
[pid=20240/tid=20242] ppid=20238 vsize=394060 CPUtime=11.66
/proc/20240/task/20242/stat : 20242 (ttsth-5-0) R 20238 20240 15497 0 -1 4202560 11575 0 0 0 1152 14 0 0 20 0 17 0 653057510 403517440 66451 18446744073709551615 134512640 135237372 4288557248 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=20240/tid=20243] ppid=20238 vsize=394060 CPUtime=11.4
/proc/20240/task/20243/stat : 20243 (ttsth-5-0) R 20238 20240 15497 0 -1 4202560 2277 0 0 0 344 796 0 0 20 0 17 0 653057510 403517440 66451 18446744073709551615 134512640 135237372 4288557248 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=20240/tid=20244] ppid=20238 vsize=394060 CPUtime=11.4
/proc/20240/task/20244/stat : 20244 (ttsth-5-0) R 20238 20240 15497 0 -1 4202560 1424 0 0 0 300 840 0 0 20 0 17 0 653057510 403517440 66451 18446744073709551615 134512640 135237372 4288557248 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=20240/tid=20245] ppid=20238 vsize=394060 CPUtime=11.42
/proc/20240/task/20245/stat : 20245 (ttsth-5-0) R 20238 20240 15497 0 -1 4202560 1656 0 0 0 328 814 0 0 20 0 17 0 653057510 403517440 66451 18446744073709551615 134512640 135237372 4288557248 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=20240/tid=20246] ppid=20238 vsize=394060 CPUtime=11.4
/proc/20240/task/20246/stat : 20246 (ttsth-5-0) R 20238 20240 15497 0 -1 4202560 3039 0 0 0 372 768 0 0 20 0 17 0 653057510 403517440 66451 18446744073709551615 134512640 135237372 4288557248 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=20240/tid=20247] ppid=20238 vsize=394060 CPUtime=11.34
/proc/20240/task/20247/stat : 20247 (ttsth-5-0) R 20238 20240 15497 0 -1 4202560 940 0 0 0 270 864 0 0 20 0 17 0 653057510 403517440 66451 18446744073709551615 134512640 135237372 4288557248 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=20240/tid=20248] ppid=20238 vsize=394060 CPUtime=11.38
/proc/20240/task/20248/stat : 20248 (ttsth-5-0) R 20238 20240 15497 0 -1 4202560 1015 0 0 0 312 826 0 0 20 0 17 0 653057510 403517440 66451 18446744073709551615 134512640 135237372 4288557248 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=20240/tid=20249] ppid=20238 vsize=394060 CPUtime=11.4
/proc/20240/task/20249/stat : 20249 (ttsth-5-0) R 20238 20240 15497 0 -1 4202560 1883 0 0 0 350 790 0 0 20 0 17 0 653057510 403517440 66451 18446744073709551615 134512640 135237372 4288557248 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=20240/tid=20250] ppid=20238 vsize=394060 CPUtime=11.38
/proc/20240/task/20250/stat : 20250 (ttsth-5-0) R 20238 20240 15497 0 -1 4202560 1109 0 0 0 300 838 0 0 20 0 17 0 653057510 403517440 66451 18446744073709551615 134512640 135237372 4288557248 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=20240/tid=20251] ppid=20238 vsize=394060 CPUtime=11.38
/proc/20240/task/20251/stat : 20251 (ttsth-5-0) R 20238 20240 15497 0 -1 4202560 2896 0 0 0 372 766 0 0 20 0 17 0 653057510 403517440 66451 18446744073709551615 134512640 135237372 4288557248 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=20240/tid=20252] ppid=20238 vsize=394060 CPUtime=11.4
/proc/20240/task/20252/stat : 20252 (ttsth-5-0) R 20238 20240 15497 0 -1 4202560 1779 0 0 0 326 814 0 0 20 0 17 0 653057510 403517440 66452 18446744073709551615 134512640 135237372 4288557248 18446744073709551615 134549877 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=20240/tid=20253] ppid=20238 vsize=394060 CPUtime=11.4
/proc/20240/task/20253/stat : 20253 (ttsth-5-0) R 20238 20240 15497 0 -1 4202560 2245 0 0 0 360 780 0 0 20 0 17 0 653057510 403517440 66452 18446744073709551615 134512640 135237372 4288557248 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=20240/tid=20254] ppid=20238 vsize=394060 CPUtime=11.22
/proc/20240/task/20254/stat : 20254 (ttsth-5-0) R 20238 20240 15497 0 -1 4202560 2682 0 0 0 382 740 0 0 20 0 17 0 653057510 403517440 66452 18446744073709551615 134512640 135237372 4288557248 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=20240/tid=20255] ppid=20238 vsize=394060 CPUtime=11.46
/proc/20240/task/20255/stat : 20255 (ttsth-5-0) R 20238 20240 15497 0 -1 4202560 3175 0 0 0 428 718 0 0 20 0 17 0 653057511 403517440 66452 18446744073709551615 134512640 135237372 4288557248 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=20240/tid=20256] ppid=20238 vsize=394060 CPUtime=11.36
/proc/20240/task/20256/stat : 20256 (ttsth-5-0) R 20238 20240 15497 0 -1 4202560 1682 0 0 0 328 808 0 0 20 0 17 0 653057511 403517440 66452 18446744073709551615 134512640 135237372 4288557248 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=20240/tid=20257] ppid=20238 vsize=394060 CPUtime=11.4
/proc/20240/task/20257/stat : 20257 (ttsth-5-0) R 20238 20240 15497 0 -1 4202560 2828 0 0 0 378 762 0 0 20 0 17 0 653057511 403517440 66453 18446744073709551615 134512640 135237372 4288557248 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 183.52
Current children cumulated vsize (KiB) 394060

[startup+25.5031 s]
/proc/loadavg: 12.81 5.61 4.99 17/201 20257
/proc/meminfo: memFree=18549848/36427776 swapFree=4692/518708
[pid=20240] ppid=20238 vsize=662444 CPUtime=383.86
/proc/20240/stat : 20240 (ttsth-5-0) S 20238 20240 15497 0 -1 4202496 130076 0 0 0 19173 19213 0 0 20 0 17 0 653057408 678342656 130007 18446744073709551615 134512640 135237372 4288557248 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/20240/statm: 165611 130008 95 177 0 165433 0
[pid=20240/tid=20242] ppid=20238 vsize=662444 CPUtime=24.46
/proc/20240/task/20242/stat : 20242 (ttsth-5-0) R 20238 20240 15497 0 -1 4202560 18204 0 0 0 2424 22 0 0 20 0 17 0 653057510 678342656 130010 18446744073709551615 134512640 135237372 4288557248 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=20240/tid=20243] ppid=20238 vsize=662444 CPUtime=23.88
/proc/20240/task/20243/stat : 20243 (ttsth-5-0) R 20238 20240 15497 0 -1 4202560 6849 0 0 0 1070 1318 0 0 20 0 17 0 653057510 678342656 130010 18446744073709551615 134512640 135237372 4288557248 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=20240/tid=20244] ppid=20238 vsize=662444 CPUtime=23.92
/proc/20240/task/20244/stat : 20244 (ttsth-5-0) R 20238 20240 15497 0 -1 4202560 4469 0 0 0 1038 1354 0 0 20 0 17 0 653057510 678342656 130010 18446744073709551615 134512640 135237372 4288557248 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=20240/tid=20245] ppid=20238 vsize=662444 CPUtime=23.96
/proc/20240/task/20245/stat : 20245 (ttsth-5-0) R 20238 20240 15497 0 -1 4202560 6522 0 0 0 1124 1272 0 0 20 0 17 0 653057510 678342656 130010 18446744073709551615 134512640 135237372 4288557248 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=20240/tid=20246] ppid=20238 vsize=662444 CPUtime=23.98
/proc/20240/task/20246/stat : 20246 (ttsth-5-0) R 20238 20240 15497 0 -1 4202560 8189 0 0 0 1188 1210 0 0 20 0 17 0 653057510 678342656 130010 18446744073709551615 134512640 135237372 4288557248 18446744073709551615 134566179 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=20240/tid=20247] ppid=20238 vsize=662444 CPUtime=23.86
/proc/20240/task/20247/stat : 20247 (ttsth-5-0) R 20238 20240 15497 0 -1 4202560 4625 0 0 0 1070 1316 0 0 20 0 17 0 653057510 678342656 130010 18446744073709551615 134512640 135237372 4288557248 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=20240/tid=20248] ppid=20238 vsize=662444 CPUtime=23.84
/proc/20240/task/20248/stat : 20248 (ttsth-5-0) R 20238 20240 15497 0 -1 4202560 4989 0 0 0 1064 1320 0 0 20 0 17 0 653057510 678342656 130010 18446744073709551615 134512640 135237372 4288557248 18446744073709551615 134749353 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=20240/tid=20249] ppid=20238 vsize=662444 CPUtime=23.84
/proc/20240/task/20249/stat : 20249 (ttsth-5-0) R 20238 20240 15497 0 -1 4202560 4847 0 0 0 1080 1304 0 0 20 0 17 0 653057510 678342656 130011 18446744073709551615 134512640 135237372 4288557248 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=20240/tid=20250] ppid=20238 vsize=662444 CPUtime=23.84
/proc/20240/task/20250/stat : 20250 (ttsth-5-0) R 20238 20240 15497 0 -1 4202560 4007 0 0 0 1058 1326 0 0 20 0 17 0 653057510 678342656 130011 18446744073709551615 134512640 135237372 4288557248 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=20240/tid=20251] ppid=20238 vsize=662444 CPUtime=23.94
/proc/20240/task/20251/stat : 20251 (ttsth-5-0) R 20238 20240 15497 0 -1 4202560 7479 0 0 0 1188 1206 0 0 20 0 17 0 653057510 678342656 130012 18446744073709551615 134512640 135237372 4288557248 18446744073709551615 134680467 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=20240/tid=20252] ppid=20238 vsize=662444 CPUtime=23.94
/proc/20240/task/20252/stat : 20252 (ttsth-5-0) R 20238 20240 15497 0 -1 4202560 5956 0 0 0 1122 1272 0 0 20 0 17 0 653057510 678342656 130013 18446744073709551615 134512640 135237372 4288557248 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=20240/tid=20253] ppid=20238 vsize=662444 CPUtime=23.92
/proc/20240/task/20253/stat : 20253 (ttsth-5-0) R 20238 20240 15497 0 -1 4202560 6048 0 0 0 1110 1282 0 0 20 0 17 0 653057510 678342656 130013 18446744073709551615 134512640 135237372 4288557248 18446744073709551615 134550986 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=20240/tid=20254] ppid=20238 vsize=662444 CPUtime=23.58
/proc/20240/task/20254/stat : 20254 (ttsth-5-0) R 20238 20240 15497 0 -1 4202560 6387 0 0 0 1216 1142 0 0 20 0 17 0 653057510 678342656 130013 18446744073709551615 134512640 135237372 4288557248 18446744073709551615 134749353 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=20240/tid=20255] ppid=20238 vsize=662444 CPUtime=23.96
/proc/20240/task/20255/stat : 20255 (ttsth-5-0) R 20238 20240 15497 0 -1 4202560 6869 0 0 0 1122 1274 0 0 20 0 17 0 653057511 678342656 130015 18446744073709551615 134512640 135237372 4288557248 18446744073709551615 134732535 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=20240/tid=20256] ppid=20238 vsize=662444 CPUtime=23.84
/proc/20240/task/20256/stat : 20256 (ttsth-5-0) R 20238 20240 15497 0 -1 4202560 4344 0 0 0 1044 1340 0 0 20 0 17 0 653057511 678342656 130015 18446744073709551615 134512640 135237372 4288557248 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=20240/tid=20257] ppid=20238 vsize=662444 CPUtime=23.96
/proc/20240/task/20257/stat : 20257 (ttsth-5-0) R 20238 20240 15497 0 -1 4202560 5982 0 0 0 1156 1240 0 0 20 0 17 0 653057511 678342656 130015 18446744073709551615 134512640 135237372 4288557248 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 383.86
Current children cumulated vsize (KiB) 662444

[startup+51.1061 s]
/proc/loadavg: 13.90 6.44 5.28 17/201 20257
/proc/meminfo: memFree=17940588/36427776 swapFree=4692/1127572
[pid=20240] ppid=20238 vsize=1315096 CPUtime=787.16
/proc/20240/stat : 20240 (ttsth-5-0) S 20238 20240 15497 0 -1 4202496 283476 0 0 0 54320 24396 0 0 20 0 17 0 653057408 1346658304 283407 18446744073709551615 134512640 135237372 4288557248 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/20240/statm: 328774 283407 95 177 0 328596 0
[pid=20240/tid=20242] ppid=20238 vsize=1315096 CPUtime=50.05
/proc/20240/task/20242/stat : 20242 (ttsth-5-0) R 20238 20240 15497 0 -1 4202560 28341 0 0 0 4973 32 0 0 20 0 17 0 653057510 1346658304 283408 18446744073709551615 134512640 135237372 4288557248 18446744073709551615 134587952 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=20240/tid=20243] ppid=20238 vsize=1315096 CPUtime=49.13
/proc/20240/task/20243/stat : 20243 (ttsth-5-0) R 20238 20240 15497 0 -1 4202560 21463 0 0 0 3251 1662 0 0 20 0 17 0 653057510 1346658304 283409 18446744073709551615 134512640 135237372 4288557248 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=20240/tid=20244] ppid=20238 vsize=1315096 CPUtime=49.23
/proc/20240/task/20244/stat : 20244 (ttsth-5-0) R 20238 20240 15497 0 -1 4202560 14125 0 0 0 3279 1644 0 0 20 0 17 0 653057510 1346658304 283409 18446744073709551615 134512640 135237372 4288557248 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=20240/tid=20245] ppid=20238 vsize=1315096 CPUtime=49.31
/proc/20240/task/20245/stat : 20245 (ttsth-5-0) R 20238 20240 15497 0 -1 4202560 21155 0 0 0 3375 1556 0 0 20 0 17 0 653057510 1346658304 283409 18446744073709551615 134512640 135237372 4288557248 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=20240/tid=20246] ppid=20238 vsize=1315096 CPUtime=49.28
/proc/20240/task/20246/stat : 20246 (ttsth-5-0) R 20238 20240 15497 0 -1 4202560 18536 0 0 0 3394 1534 0 0 20 0 17 0 653057510 1346658304 283409 18446744073709551615 134512640 135237372 4288557248 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=20240/tid=20247] ppid=20238 vsize=1315096 CPUtime=49.05
/proc/20240/task/20247/stat : 20247 (ttsth-5-0) R 20238 20240 15497 0 -1 4202560 12186 0 0 0 3235 1670 0 0 20 0 17 0 653057510 1346658304 283409 18446744073709551615 134512640 135237372 4288557248 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=20240/tid=20248] ppid=20238 vsize=1315096 CPUtime=48.93
/proc/20240/task/20248/stat : 20248 (ttsth-5-0) S 20238 20240 15497 0 -1 4202560 13132 0 0 0 3201 1692 0 0 20 0 17 0 653057510 1346658304 283409 18446744073709551615 134512640 135237372 4288557248 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=20240/tid=20249] ppid=20238 vsize=1315096 CPUtime=48.94
/proc/20240/task/20249/stat : 20249 (ttsth-5-0) R 20238 20240 15497 0 -1 4202560 12327 0 0 0 3180 1714 0 0 20 0 17 0 653057510 1346658304 283410 18446744073709551615 134512640 135237372 4288557248 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=20240/tid=20250] ppid=20238 vsize=1315096 CPUtime=48.92
/proc/20240/task/20250/stat : 20250 (ttsth-5-0) R 20238 20240 15497 0 -1 4202560 10900 0 0 0 3168 1724 0 0 20 0 17 0 653057510 1346658304 283410 18446744073709551615 134512640 135237372 4288557248 18446744073709551615 134590501 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=20240/tid=20251] ppid=20238 vsize=1315096 CPUtime=49.21
/proc/20240/task/20251/stat : 20251 (ttsth-5-0) R 20238 20240 15497 0 -1 4202560 16213 0 0 0 3381 1540 0 0 20 0 17 0 653057510 1346658304 283410 18446744073709551615 134512640 135237372 4288557248 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=20240/tid=20252] ppid=20238 vsize=1315096 CPUtime=49.15
/proc/20240/task/20252/stat : 20252 (ttsth-5-0) R 20238 20240 15497 0 -1 4202560 16887 0 0 0 3279 1636 0 0 20 0 17 0 653057510 1346658304 283410 18446744073709551615 134512640 135237372 4288557248 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=20240/tid=20253] ppid=20238 vsize=1315096 CPUtime=49.07
/proc/20240/task/20253/stat : 20253 (ttsth-5-0) R 20238 20240 15497 0 -1 4202560 15219 0 0 0 3265 1642 0 0 20 0 17 0 653057510 1346658304 283410 18446744073709551615 134512640 135237372 4288557248 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=20240/tid=20254] ppid=20238 vsize=1315096 CPUtime=48.36
/proc/20240/task/20254/stat : 20254 (ttsth-5-0) R 20238 20240 15497 0 -1 4202560 13258 0 0 0 3416 1420 0 0 20 0 17 0 653057510 1346658304 283412 18446744073709551615 134512640 135237372 4288557248 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=20240/tid=20255] ppid=20238 vsize=1315096 CPUtime=49.14
/proc/20240/task/20255/stat : 20255 (ttsth-5-0) R 20238 20240 15497 0 -1 4202560 16521 0 0 0 3254 1660 0 0 20 0 17 0 653057511 1346658304 283413 18446744073709551615 134512640 135237372 4288557248 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=20240/tid=20256] ppid=20238 vsize=1315096 CPUtime=49.02
/proc/20240/task/20256/stat : 20256 (ttsth-5-0) R 20238 20240 15497 0 -1 4202560 12644 0 0 0 3192 1710 0 0 20 0 17 0 653057511 1346658304 283413 18446744073709551615 134512640 135237372 4288557248 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=20240/tid=20257] ppid=20238 vsize=1315096 CPUtime=49.27
/proc/20240/task/20257/stat : 20257 (ttsth-5-0) R 20238 20240 15497 0 -1 4202560 16258 0 0 0 3383 1544 0 0 20 0 17 0 653057511 1346658304 283414 18446744073709551615 134512640 135237372 4288557248 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 787.16
Current children cumulated vsize (KiB) 1315096



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+81.6039 s]
/proc/loadavg: 14.72 7.35 5.62 17/201 20257
/proc/meminfo: memFree=17190752/36427776 swapFree=4692/1876832
[pid=20240] ppid=20238 vsize=2096760 CPUtime=1270.82
/proc/20240/stat : 20240 (ttsth-5-0) S 20238 20240 15497 0 -1 4202496 467041 0 0 0 99915 27167 0 0 20 0 17 0 653057408 2147082240 466972 18446744073709551615 134512640 135237372 4288557248 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/20240/statm: 524190 466973 95 177 0 524012 0
[pid=20240/tid=20242] ppid=20238 vsize=2096760 CPUtime=80.55
/proc/20240/task/20242/stat : 20242 (ttsth-5-0) R 20238 20240 15497 0 -1 4202560 38311 0 0 0 8003 52 0 0 20 0 17 0 653057510 2147082240 466974 18446744073709551615 134512640 135237372 4288557248 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=20240/tid=20243] ppid=20238 vsize=2096760 CPUtime=79.43
/proc/20240/task/20243/stat : 20243 (ttsth-5-0) R 20238 20240 15497 0 -1 4202560 39659 0 0 0 6123 1820 0 0 20 0 17 0 653057510 2147082240 466974 18446744073709551615 134512640 135237372 4288557248 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=20240/tid=20244] ppid=20238 vsize=2096760 CPUtime=79.49
/proc/20240/task/20244/stat : 20244 (ttsth-5-0) R 20238 20240 15497 0 -1 4202560 25039 0 0 0 6153 1796 0 0 20 0 17 0 653057510 2147082240 466975 18446744073709551615 134512640 135237372 4288557248 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=20240/tid=20245] ppid=20238 vsize=2096760 CPUtime=79.63
/proc/20240/task/20245/stat : 20245 (ttsth-5-0) R 20238 20240 15497 0 -1 4202560 33827 0 0 0 6257 1706 0 0 20 0 17 0 653057510 2147082240 466975 18446744073709551615 134512640 135237372 4288557248 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=20240/tid=20246] ppid=20238 vsize=2096760 CPUtime=79.53
/proc/20240/task/20246/stat : 20246 (ttsth-5-0) R 20238 20240 15497 0 -1 4202560 30914 0 0 0 6213 1740 0 0 20 0 17 0 653057510 2147082240 466975 18446744073709551615 134512640 135237372 4288557248 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=20240/tid=20247] ppid=20238 vsize=2096760 CPUtime=79.31
/proc/20240/task/20247/stat : 20247 (ttsth-5-0) R 20238 20240 15497 0 -1 4202560 21710 0 0 0 6081 1850 0 0 20 0 17 0 653057510 2147082240 466976 18446744073709551615 134512640 135237372 4288557248 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=20240/tid=20248] ppid=20238 vsize=2096760 CPUtime=79.12
/proc/20240/task/20248/stat : 20248 (ttsth-5-0) R 20238 20240 15497 0 -1 4202560 26334 0 0 0 6044 1868 0 0 20 0 17 0 653057510 2147082240 466976 18446744073709551615 134512640 135237372 4288557248 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=20240/tid=20249] ppid=20238 vsize=2096760 CPUtime=79.11
/proc/20240/task/20249/stat : 20249 (ttsth-5-0) R 20238 20240 15497 0 -1 4202560 26831 0 0 0 5981 1930 0 0 20 0 17 0 653057510 2147082240 466976 18446744073709551615 134512640 135237372 4288557248 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=20240/tid=20250] ppid=20238 vsize=2096760 CPUtime=79.14
/proc/20240/task/20250/stat : 20250 (ttsth-5-0) R 20238 20240 15497 0 -1 4202560 17746 0 0 0 5982 1932 0 0 20 0 17 0 653057510 2147082240 466977 18446744073709551615 134512640 135237372 4288557248 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=20240/tid=20251] ppid=20238 vsize=2096760 CPUtime=79.48
/proc/20240/task/20251/stat : 20251 (ttsth-5-0) R 20238 20240 15497 0 -1 4202560 28602 0 0 0 6214 1734 0 0 20 0 17 0 653057510 2147082240 466977 18446744073709551615 134512640 135237372 4288557248 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=20240/tid=20252] ppid=20238 vsize=2096760 CPUtime=79.34
/proc/20240/task/20252/stat : 20252 (ttsth-5-0) R 20238 20240 15497 0 -1 4202560 32554 0 0 0 6112 1822 0 0 20 0 17 0 653057510 2147082240 466977 18446744073709551615 134512640 135237372 4288557248 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=20240/tid=20253] ppid=20238 vsize=2096760 CPUtime=79.28
/proc/20240/task/20253/stat : 20253 (ttsth-5-0) R 20238 20240 15497 0 -1 4202560 27113 0 0 0 6096 1832 0 0 20 0 17 0 653057510 2147082240 466977 18446744073709551615 134512640 135237372 4288557248 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=20240/tid=20254] ppid=20238 vsize=2096760 CPUtime=78.08
/proc/20240/task/20254/stat : 20254 (ttsth-5-0) R 20238 20240 15497 0 -1 4202560 19589 0 0 0 6272 1536 0 0 20 0 17 0 653057510 2147082240 466977 18446744073709551615 134512640 135237372 4288557248 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=20240/tid=20255] ppid=20238 vsize=2096760 CPUtime=79.36
/proc/20240/task/20255/stat : 20255 (ttsth-5-0) R 20238 20240 15497 0 -1 4202560 29140 0 0 0 6054 1882 0 0 20 0 17 0 653057511 2147082240 466978 18446744073709551615 134512640 135237372 4288557248 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=20240/tid=20256] ppid=20238 vsize=2096760 CPUtime=79.27
/proc/20240/task/20256/stat : 20256 (ttsth-5-0) R 20238 20240 15497 0 -1 4202560 21089 0 0 0 6009 1918 0 0 20 0 17 0 653057511 2147082240 466978 18446744073709551615 134512640 135237372 4288557248 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=20240/tid=20257] ppid=20238 vsize=2096760 CPUtime=79.58
/proc/20240/task/20257/stat : 20257 (ttsth-5-0) R 20238 20240 15497 0 -1 4202560 24273 0 0 0 6226 1732 0 0 20 0 17 0 653057511 2147082240 466978 18446744073709551615 134512640 135237372 4288557248 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 1270.82
Current children cumulated vsize (KiB) 2096760

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

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

[startup+81.724 s]
/proc/loadavg: 14.72 7.35 5.62 17/201 20257
/proc/meminfo: memFree=17190752/36427776 swapFree=4692/1876832
[pid=20240] ppid=20238 vsize=0 CPUtime=1271.07
/proc/20240/stat : 20240 (ttsth-5-0) Z 20238 20240 15497 0 -1 4203532 467082 0 0 0 99929 27178 0 0 20 0 2 0 653057408 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/20240/statm: 0 0 0 0 0 0 0
[pid=20240/tid=20257] ppid=20238 vsize=0 CPUtime=79.68
/proc/20240/task/20257/stat : 20257 (ttsth-5-0) R 20238 20240 15497 0 -1 4203588 24273 0 0 0 6226 1742 0 0 20 0 2 0 653057511 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 1271.07
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 81.7927
CPU time (s): 1271.16
CPU user time (s): 999.302
CPU system time (s): 271.857
CPU usage (%): 1554.12
Max. virtual memory (cumulated for all children) (KiB): 2096760

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 999.302
system time used= 271.857
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 467082
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= 150427
involuntary context switches= 2962

runsolver used 0.452028 second user time and 1.18407 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-14 01:58:30
IDJOB=1776735
IDBENCH=69576
IDSOLVER=634
FILE ID=xenhost3-49/1776735-1244937510
PBS_JOBID=
Free space on /tmp= 7025 MiB

SOLVER NAME= ttsth-5-0 2009-03-19 (16 threads)
BENCH NAME= SAT_RACE08/cnf/hoons-vbmc-lucky7.cnf
COMMAND LINE= HOME/ttsth-5-0 -num-threads MAXNBTHREAD BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1776735-1244937510/watcher-1776735-1244937510 -o /tmp/evaluation-result-1776735-1244937510/solver-1776735-1244937510 -C 10000 -W 1000 -M 2047  HOME/ttsth-5-0 -num-threads 16 HOME/instance-1776735-1244937510.cnf

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

MD5SUM BENCH= e05028f569e580a3335aeab2d092cf1f
RANDOM SEED= 1994912329

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:      19058564 kB
Buffers:        475376 kB
Cached:       14115560 kB
SwapCached:          0 kB
Active:        4121524 kB
Inactive:     10477796 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:             688 kB
Writeback:           0 kB
AnonPages:        7052 kB
Mapped:           3684 kB
Slab:           717856 kB
SReclaimable:   691120 kB
SUnreclaim:      26736 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29496 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

Free space on /tmp at the end= 7025 MiB
End job on xenhost3-49 at 2009-06-14 01:59:54