Trace number 1776300

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) 3083.57 193.898

General information on the benchmark

Nameindustrial/grieu/
vmpc_25.cnf
MD5SUMc5b44b10975f50cd32d40650a6a22d18
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark19.83
Satisfiable
(Un)Satisfiability was proved
Number of variables625
Number of clauses76775
Sum of the clauses size201350
Maximum clause length25
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 230075
Number of clauses of size 346650
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 550

Solver Data 

0.06/0.08	c Command: HOME/ttsth-5-0 -num-threads 16 HOME/instance-1776300-1244929684.cnf 
0.06/0.08	c Using SATTIMEOUT of 10000
0.06/0.08	c Using SATRAM of 2047
0.06/0.08	c Size of subset node = 16
0.06/0.08	c Variables = 625
0.06/0.08	c Clauses = 76775
0.06/0.08	c Literals = 201350
0.06/0.08	c Reduced size:
0.06/0.08	c Variables = 625
0.06/0.08	c Clauses = 76775
0.06/0.08	c Literals = 201350
0.06/0.08	c a2
0.10/0.20	c a1
0.40/0.42	c Independent sub-problems = 1
0.40/0.42	c Sub-problem with 625 variables and 76775 clauses
0.40/0.42	c using permutation method 4
0.40/0.42	c count = 1
0.40/0.42	c Ordering finished 0.400 seconds
0.40/0.42	c mapped 0.420 seconds
0.40/0.42	c permuted 0.420 seconds
0.40/0.42	c about to sort
0.40/0.44	c sorted
0.68/0.74	c clauses now 76775
0.68/0.74	c init finished 0.450 seconds
0.68/0.74	c tree built 0.730 seconds
0.68/0.74	c 
0.68/0.74	c PA progress                      | CPU progress Partial assignments | improvements      CPU time        PA/sec        nodes
0.68/0.74	c ---------------------------------|----------------------------------|------------------------------------------------------
0.68/0.74	c ................................ | ..........                       |                        0.7           0.0             
0.68/0.74	c ................................ | ..........                     1 |                        0.7           1.4             
0.68/0.74	c ................................ | ..........                     2 |                        0.7           2.7             
0.68/0.74	c ................................ | ..........                     3 |                        0.7           4.1             
0.68/0.74	c ................................ | ..........                     4 |                        0.7           5.5             
0.68/0.74	c ................................ | ..........                     5 |                        0.7           6.8             
0.68/0.74	c *............................... | ..........                    11 | 1                      0.7          15.1           18
4.76/1.10	c *............................... | ..........                  1000 | 38                     4.3         230.9       154859
202.48/13.43	c *............................... | ..........                 57000 | 3242                 200.6         284.1     14813938
405.24/26.11	c *............................... | ..........                 99000 | 5955                 402.9         245.7     27460656
601.72/38.48	c *............................... | ..........                129000 | 7898                 600.6         214.8     37575936
806.12/51.26	c *............................... | ..........                161000 | 9549                 804.9         200.0     46716537
1002.55/63.55	c *............................... | *.........                185000 | 11190               1001.4         184.7     54931410
1205.49/76.21	c *............................... | *.........                207000 | 12477               1203.7         172.0     62342462
1403.62/88.66	c *............................... | *.........                226000 | 13704               1402.7         161.1     69228818
1606.54/101.38	c *............................... | *.........                244000 | 14962               1606.0         151.9     75653895
1803.04/113.62	c *............................... | *.........                262000 | 16065               1801.7         145.4     81592616
2006.01/126.39	c *............................... | **........                280000 | 17158               2005.9         139.6     87253539

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-1776300-1244929684/watcher-1776300-1244929684 -o /tmp/evaluation-result-1776300-1244929684/solver-1776300-1244929684 -C 10000 -W 1000 -M 2047 HOME/ttsth-5-0 -num-threads 16 HOME/instance-1776300-1244929684.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: 14.49 11.66 6.47 2/184 18704
/proc/meminfo: memFree=19061728/36427776 swapFree=3860/7720
[pid=18704] ppid=18702 vsize=1544 CPUtime=0
/proc/18704/stat : 18704 (ttsth-5-0) R 18702 18704 15497 0 -1 4202496 274 0 0 0 0 0 0 0 20 0 1 0 652274797 1581056 231 18446744073709551615 134512640 135237372 4291279696 18446744073709551615 134639534 0 0 1 0 0 0 0 17 2 0 0 0 0 0
/proc/18704/statm: 386 232 75 177 0 208 0

[startup+0.069857 s]
/proc/loadavg: 14.49 11.66 6.47 2/184 18704
/proc/meminfo: memFree=19061728/36427776 swapFree=3860/7720
[pid=18704] ppid=18702 vsize=5604 CPUtime=0.06
/proc/18704/stat : 18704 (ttsth-5-0) R 18702 18704 15497 0 -1 4202496 1264 0 0 0 6 0 0 0 20 0 1 0 652274797 5738496 1221 18446744073709551615 134512640 135237372 4291279696 18446744073709551615 134732614 0 0 1 0 0 0 0 17 2 0 0 0 0 0
/proc/18704/statm: 1401 1221 75 177 0 1223 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 5604

[startup+0.101869 s]
/proc/loadavg: 14.49 11.66 6.47 2/184 18704
/proc/meminfo: memFree=19061728/36427776 swapFree=3860/7720
[pid=18704] ppid=18702 vsize=10848 CPUtime=0.1
/proc/18704/stat : 18704 (ttsth-5-0) R 18702 18704 15497 0 -1 4202496 2604 0 0 0 8 2 0 0 20 0 1 0 652274797 11108352 2560 18446744073709551615 134512640 135237372 4291279696 18446744073709551615 134680470 0 0 1 0 0 0 0 17 2 0 0 0 0 0
/proc/18704/statm: 2712 2560 76 177 0 2534 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10848

[startup+0.301883 s]
/proc/loadavg: 14.49 11.66 6.47 2/184 18704
/proc/meminfo: memFree=19061728/36427776 swapFree=3860/7720
[pid=18704] ppid=18702 vsize=10700 CPUtime=0.3
/proc/18704/stat : 18704 (ttsth-5-0) R 18702 18704 15497 0 -1 4202496 3707 0 0 0 28 2 0 0 20 0 1 0 652274797 10956800 2480 18446744073709551615 134512640 135237372 4291279696 18446744073709551615 134732614 0 0 1 0 0 0 0 17 2 0 0 0 0 0
/proc/18704/statm: 2675 2480 77 177 0 2497 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 10700

[startup+0.701932 s]
/proc/loadavg: 14.49 11.66 6.47 2/184 18704
/proc/meminfo: memFree=19061728/36427776 swapFree=3860/7720
[pid=18704] ppid=18702 vsize=23908 CPUtime=0.68
/proc/18704/stat : 18704 (ttsth-5-0) R 18702 18704 15497 0 -1 4202496 7143 0 0 0 66 2 0 0 20 0 1 0 652274797 24481792 5841 18446744073709551615 134512640 135237372 4291279696 18446744073709551615 134732614 0 0 1 0 0 0 0 17 2 0 0 0 0 0
/proc/18704/statm: 5977 5842 90 177 0 5799 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 23908

[startup+1.50615 s]
/proc/loadavg: 14.49 11.66 6.47 17/201 18721
/proc/meminfo: memFree=19033308/36427776 swapFree=4688/36788
[pid=18704] ppid=18702 vsize=174228 CPUtime=13.37
/proc/18704/stat : 18704 (ttsth-5-0) S 18702 18704 15497 0 -1 4202496 11561 0 0 0 994 343 0 0 20 0 17 0 652274797 178409472 10258 18446744073709551615 134512640 135237372 4291279696 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18704/statm: 43557 10259 95 177 0 43379 0
[pid=18704/tid=18706] ppid=18702 vsize=174228 CPUtime=0.78
/proc/18704/task/18706/stat : 18706 (ttsth-5-0) R 18702 18704 15497 0 -1 4202560 246 0 0 0 56 22 0 0 20 0 17 0 652274872 178409472 10260 18446744073709551615 134512640 135237372 4291279696 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=18704/tid=18707] ppid=18702 vsize=174228 CPUtime=0.76
/proc/18704/task/18707/stat : 18707 (ttsth-5-0) R 18702 18704 15497 0 -1 4202560 248 0 0 0 58 18 0 0 20 0 17 0 652274872 178409472 10260 18446744073709551615 134512640 135237372 4291279696 18446744073709551615 134591076 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=18704/tid=18708] ppid=18702 vsize=174228 CPUtime=0.78
/proc/18704/task/18708/stat : 18708 (ttsth-5-0) R 18702 18704 15497 0 -1 4202560 193 0 0 0 58 20 0 0 20 0 17 0 652274872 178409472 10260 18446744073709551615 134512640 135237372 4291279696 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=18704/tid=18709] ppid=18702 vsize=174228 CPUtime=0.74
/proc/18704/task/18709/stat : 18709 (ttsth-5-0) R 18702 18704 15497 0 -1 4202560 200 0 0 0 54 20 0 0 20 0 17 0 652274872 178409472 10260 18446744073709551615 134512640 135237372 4291279696 18446744073709551615 134634454 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=18704/tid=18710] ppid=18702 vsize=174228 CPUtime=0.8
/proc/18704/task/18710/stat : 18710 (ttsth-5-0) R 18702 18704 15497 0 -1 4202560 224 0 0 0 58 22 0 0 20 0 17 0 652274872 178409472 10260 18446744073709551615 134512640 135237372 4291279696 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=18704/tid=18711] ppid=18702 vsize=174228 CPUtime=0.82
/proc/18704/task/18711/stat : 18711 (ttsth-5-0) R 18702 18704 15497 0 -1 4202560 231 0 0 0 60 22 0 0 20 0 17 0 652274872 178409472 10261 18446744073709551615 134512640 135237372 4291279696 18446744073709551615 134592420 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=18704/tid=18712] ppid=18702 vsize=174228 CPUtime=0.78
/proc/18704/task/18712/stat : 18712 (ttsth-5-0) R 18702 18704 15497 0 -1 4202560 233 0 0 0 56 22 0 0 20 0 17 0 652274872 178409472 10261 18446744073709551615 134512640 135237372 4291279696 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=18704/tid=18713] ppid=18702 vsize=174228 CPUtime=0.78
/proc/18704/task/18713/stat : 18713 (ttsth-5-0) R 18702 18704 15497 0 -1 4202560 288 0 0 0 58 20 0 0 20 0 17 0 652274872 178409472 10261 18446744073709551615 134512640 135237372 4291279696 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=18704/tid=18714] ppid=18702 vsize=174228 CPUtime=0.76
/proc/18704/task/18714/stat : 18714 (ttsth-5-0) R 18702 18704 15497 0 -1 4202560 190 0 0 0 58 18 0 0 20 0 17 0 652274872 178409472 10261 18446744073709551615 134512640 135237372 4291279696 18446744073709551615 134591076 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=18704/tid=18715] ppid=18702 vsize=174228 CPUtime=0.8
/proc/18704/task/18715/stat : 18715 (ttsth-5-0) R 18702 18704 15497 0 -1 4202560 185 0 0 0 56 24 0 0 20 0 17 0 652274872 178409472 10262 18446744073709551615 134512640 135237372 4291279696 18446744073709551615 134634688 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=18704/tid=18716] ppid=18702 vsize=174228 CPUtime=0.78
/proc/18704/task/18716/stat : 18716 (ttsth-5-0) R 18702 18704 15497 0 -1 4202560 181 0 0 0 60 18 0 0 20 0 17 0 652274872 178409472 10262 18446744073709551615 134512640 135237372 4291279696 18446744073709551615 134592232 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=18704/tid=18717] ppid=18702 vsize=174228 CPUtime=0.78
/proc/18704/task/18717/stat : 18717 (ttsth-5-0) R 18702 18704 15497 0 -1 4202560 245 0 0 0 56 22 0 0 20 0 17 0 652274872 178409472 10263 18446744073709551615 134512640 135237372 4291279696 18446744073709551615 134550022 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=18704/tid=18718] ppid=18702 vsize=174228 CPUtime=0.76
/proc/18704/task/18718/stat : 18718 (ttsth-5-0) R 18702 18704 15497 0 -1 4202560 233 0 0 0 58 18 0 0 20 0 17 0 652274872 178409472 10263 18446744073709551615 134512640 135237372 4291279696 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=18704/tid=18719] ppid=18702 vsize=174228 CPUtime=0.78
/proc/18704/task/18719/stat : 18719 (ttsth-5-0) R 18702 18704 15497 0 -1 4202560 233 0 0 0 56 22 0 0 20 0 17 0 652274872 178409472 10264 18446744073709551615 134512640 135237372 4291279696 18446744073709551615 134592202 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=18704/tid=18720] ppid=18702 vsize=174228 CPUtime=0.78
/proc/18704/task/18720/stat : 18720 (ttsth-5-0) R 18702 18704 15497 0 -1 4202560 232 0 0 0 56 22 0 0 20 0 17 0 652274872 178409472 10264 18446744073709551615 134512640 135237372 4291279696 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=18704/tid=18721] ppid=18702 vsize=174228 CPUtime=0.8
/proc/18704/task/18721/stat : 18721 (ttsth-5-0) R 18702 18704 15497 0 -1 4202560 153 0 0 0 62 18 0 0 20 0 17 0 652274872 178409472 10265 18446744073709551615 134512640 135237372 4291279696 18446744073709551615 134590170 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 13.37
Current children cumulated vsize (KiB) 174228

[startup+3.10213 s]
/proc/loadavg: 14.49 11.66 6.47 17/201 18721
/proc/meminfo: memFree=19013180/36427776 swapFree=4692/57876
[pid=18704] ppid=18702 vsize=208860 CPUtime=38.74
/proc/18704/stat : 18704 (ttsth-5-0) S 18702 18704 15497 0 -1 4202496 20136 0 0 0 3531 343 0 0 20 0 17 0 652274797 213872640 18833 18446744073709551615 134512640 135237372 4291279696 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18704/statm: 52215 18836 95 177 0 52037 0
[pid=18704/tid=18706] ppid=18702 vsize=208860 CPUtime=2.4
/proc/18704/task/18706/stat : 18706 (ttsth-5-0) R 18702 18704 15497 0 -1 4202560 833 0 0 0 218 22 0 0 20 0 17 0 652274872 213872640 18836 18446744073709551615 134512640 135237372 4291279696 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=18704/tid=18707] ppid=18702 vsize=208860 CPUtime=2.36
/proc/18704/task/18707/stat : 18707 (ttsth-5-0) R 18702 18704 15497 0 -1 4202560 838 0 0 0 218 18 0 0 20 0 17 0 652274872 213872640 18836 18446744073709551615 134512640 135237372 4291279696 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=18704/tid=18708] ppid=18702 vsize=208860 CPUtime=2.36
/proc/18704/task/18708/stat : 18708 (ttsth-5-0) R 18702 18704 15497 0 -1 4202560 720 0 0 0 216 20 0 0 20 0 17 0 652274872 213872640 18836 18446744073709551615 134512640 135237372 4291279696 18446744073709551615 134590186 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=18704/tid=18709] ppid=18702 vsize=208860 CPUtime=2.32
/proc/18704/task/18709/stat : 18709 (ttsth-5-0) R 18702 18704 15497 0 -1 4202560 724 0 0 0 212 20 0 0 20 0 17 0 652274872 213872640 18836 18446744073709551615 134512640 135237372 4291279696 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=18704/tid=18710] ppid=18702 vsize=208860 CPUtime=2.4
/proc/18704/task/18710/stat : 18710 (ttsth-5-0) R 18702 18704 15497 0 -1 4202560 800 0 0 0 218 22 0 0 20 0 17 0 652274872 213872640 18836 18446744073709551615 134512640 135237372 4291279696 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=18704/tid=18711] ppid=18702 vsize=208860 CPUtime=2.38
/proc/18704/task/18711/stat : 18711 (ttsth-5-0) R 18702 18704 15497 0 -1 4202560 787 0 0 0 216 22 0 0 20 0 17 0 652274872 213872640 18836 18446744073709551615 134512640 135237372 4291279696 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=18704/tid=18712] ppid=18702 vsize=208860 CPUtime=2.36
/proc/18704/task/18712/stat : 18712 (ttsth-5-0) R 18702 18704 15497 0 -1 4202560 865 0 0 0 214 22 0 0 20 0 17 0 652274872 213872640 18836 18446744073709551615 134512640 135237372 4291279696 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=18704/tid=18713] ppid=18702 vsize=208860 CPUtime=2.34
/proc/18704/task/18713/stat : 18713 (ttsth-5-0) R 18702 18704 15497 0 -1 4202560 811 0 0 0 214 20 0 0 20 0 17 0 652274872 213872640 18837 18446744073709551615 134512640 135237372 4291279696 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=18704/tid=18714] ppid=18702 vsize=208860 CPUtime=2.38
/proc/18704/task/18714/stat : 18714 (ttsth-5-0) R 18702 18704 15497 0 -1 4202560 652 0 0 0 220 18 0 0 20 0 17 0 652274872 213872640 18838 18446744073709551615 134512640 135237372 4291279696 18446744073709551615 134551475 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=18704/tid=18715] ppid=18702 vsize=208860 CPUtime=2.36
/proc/18704/task/18715/stat : 18715 (ttsth-5-0) R 18702 18704 15497 0 -1 4202560 652 0 0 0 212 24 0 0 20 0 17 0 652274872 213872640 18840 18446744073709551615 134512640 135237372 4291279696 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=18704/tid=18716] ppid=18702 vsize=208860 CPUtime=2.36
/proc/18704/task/18716/stat : 18716 (ttsth-5-0) R 18702 18704 15497 0 -1 4202560 708 0 0 0 218 18 0 0 20 0 17 0 652274872 213872640 18840 18446744073709551615 134512640 135237372 4291279696 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=18704/tid=18717] ppid=18702 vsize=208860 CPUtime=2.36
/proc/18704/task/18717/stat : 18717 (ttsth-5-0) R 18702 18704 15497 0 -1 4202560 832 0 0 0 214 22 0 0 20 0 17 0 652274872 213872640 18840 18446744073709551615 134512640 135237372 4291279696 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=18704/tid=18718] ppid=18702 vsize=208860 CPUtime=2.34
/proc/18704/task/18718/stat : 18718 (ttsth-5-0) R 18702 18704 15497 0 -1 4202560 859 0 0 0 216 18 0 0 20 0 17 0 652274872 213872640 18840 18446744073709551615 134512640 135237372 4291279696 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=18704/tid=18719] ppid=18702 vsize=208860 CPUtime=2.34
/proc/18704/task/18719/stat : 18719 (ttsth-5-0) R 18702 18704 15497 0 -1 4202560 776 0 0 0 212 22 0 0 20 0 17 0 652274872 213872640 18840 18446744073709551615 134512640 135237372 4291279696 18446744073709551615 134590166 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=18704/tid=18720] ppid=18702 vsize=208860 CPUtime=2.38
/proc/18704/task/18720/stat : 18720 (ttsth-5-0) R 18702 18704 15497 0 -1 4202560 653 0 0 0 216 22 0 0 20 0 17 0 652274872 213872640 18840 18446744073709551615 134512640 135237372 4291279696 18446744073709551615 134589550 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=18704/tid=18721] ppid=18702 vsize=208860 CPUtime=2.38
/proc/18704/task/18721/stat : 18721 (ttsth-5-0) R 18702 18704 15497 0 -1 4202560 584 0 0 0 220 18 0 0 20 0 17 0 652274872 213872640 18840 18446744073709551615 134512640 135237372 4291279696 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 38.74
Current children cumulated vsize (KiB) 208860

[startup+6.30631 s]
/proc/loadavg: 14.61 11.73 6.53 17/201 18721
/proc/meminfo: memFree=18940536/36427776 swapFree=4692/134056
[pid=18704] ppid=18702 vsize=279736 CPUtime=89.43
/proc/18704/stat : 18704 (ttsth-5-0) S 18702 18704 15497 0 -1 4202496 37561 0 0 0 8596 347 0 0 20 0 17 0 652274797 286449664 36258 18446744073709551615 134512640 135237372 4291279696 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18704/statm: 69934 36261 95 177 0 69756 0
[pid=18704/tid=18706] ppid=18702 vsize=279736 CPUtime=5.58
/proc/18704/task/18706/stat : 18706 (ttsth-5-0) R 18702 18704 15497 0 -1 4202560 1921 0 0 0 536 22 0 0 20 0 17 0 652274872 286449664 36261 18446744073709551615 134512640 135237372 4291279696 18446744073709551615 134592184 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=18704/tid=18707] ppid=18702 vsize=279736 CPUtime=5.54
/proc/18704/task/18707/stat : 18707 (ttsth-5-0) R 18702 18704 15497 0 -1 4202560 1983 0 0 0 536 18 0 0 20 0 17 0 652274872 286449664 36261 18446744073709551615 134512640 135237372 4291279696 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=18704/tid=18708] ppid=18702 vsize=279736 CPUtime=5.54
/proc/18704/task/18708/stat : 18708 (ttsth-5-0) S 18702 18704 15497 0 -1 4202560 1929 0 0 0 534 20 0 0 20 0 17 0 652274872 286449664 36261 18446744073709551615 134512640 135237372 4291279696 18446744073709551615 134636382 0 0 1 0 18446744071564503368 0 0 -1 5 0 0 0 0 0
[pid=18704/tid=18709] ppid=18702 vsize=279736 CPUtime=5.5
/proc/18704/task/18709/stat : 18709 (ttsth-5-0) R 18702 18704 15497 0 -1 4202560 1800 0 0 0 530 20 0 0 20 0 17 0 652274872 286449664 36261 18446744073709551615 134512640 135237372 4291279696 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=18704/tid=18710] ppid=18702 vsize=279736 CPUtime=5.58
/proc/18704/task/18710/stat : 18710 (ttsth-5-0) R 18702 18704 15497 0 -1 4202560 1949 0 0 0 536 22 0 0 20 0 17 0 652274872 286449664 36262 18446744073709551615 134512640 135237372 4291279696 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=18704/tid=18711] ppid=18702 vsize=279736 CPUtime=5.54
/proc/18704/task/18711/stat : 18711 (ttsth-5-0) R 18702 18704 15497 0 -1 4202560 1963 0 0 0 532 22 0 0 20 0 17 0 652274872 286449664 36262 18446744073709551615 134512640 135237372 4291279696 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=18704/tid=18712] ppid=18702 vsize=279736 CPUtime=5.54
/proc/18704/task/18712/stat : 18712 (ttsth-5-0) R 18702 18704 15497 0 -1 4202560 1946 0 0 0 532 22 0 0 20 0 17 0 652274872 286449664 36262 18446744073709551615 134512640 135237372 4291279696 18446744073709551615 134562341 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=18704/tid=18713] ppid=18702 vsize=279736 CPUtime=5.52
/proc/18704/task/18713/stat : 18713 (ttsth-5-0) R 18702 18704 15497 0 -1 4202560 1969 0 0 0 530 22 0 0 20 0 17 0 652274872 286449664 36262 18446744073709551615 134512640 135237372 4291279696 18446744073709551615 134591099 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=18704/tid=18714] ppid=18702 vsize=279736 CPUtime=5.54
/proc/18704/task/18714/stat : 18714 (ttsth-5-0) R 18702 18704 15497 0 -1 4202560 1574 0 0 0 536 18 0 0 20 0 17 0 652274872 286449664 36262 18446744073709551615 134512640 135237372 4291279696 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=18704/tid=18715] ppid=18702 vsize=279736 CPUtime=5.54
/proc/18704/task/18715/stat : 18715 (ttsth-5-0) R 18702 18704 15497 0 -1 4202560 1701 0 0 0 530 24 0 0 20 0 17 0 652274872 286449664 36262 18446744073709551615 134512640 135237372 4291279696 18446744073709551615 134561537 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=18704/tid=18716] ppid=18702 vsize=279736 CPUtime=5.52
/proc/18704/task/18716/stat : 18716 (ttsth-5-0) R 18702 18704 15497 0 -1 4202560 1622 0 0 0 534 18 0 0 20 0 17 0 652274872 286449664 36262 18446744073709551615 134512640 135237372 4291279696 18446744073709551615 134591086 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=18704/tid=18717] ppid=18702 vsize=279736 CPUtime=5.54
/proc/18704/task/18717/stat : 18717 (ttsth-5-0) R 18702 18704 15497 0 -1 4202560 1924 0 0 0 532 22 0 0 20 0 17 0 652274872 286449664 36262 18446744073709551615 134512640 135237372 4291279696 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=18704/tid=18718] ppid=18702 vsize=279736 CPUtime=5.52
/proc/18704/task/18718/stat : 18718 (ttsth-5-0) R 18702 18704 15497 0 -1 4202560 2022 0 0 0 532 20 0 0 20 0 17 0 652274872 286449664 36262 18446744073709551615 134512640 135237372 4291279696 18446744073709551615 134545968 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=18704/tid=18719] ppid=18702 vsize=279736 CPUtime=5.46
/proc/18704/task/18719/stat : 18719 (ttsth-5-0) R 18702 18704 15497 0 -1 4202560 2100 0 0 0 524 22 0 0 20 0 17 0 652274872 286449664 36262 18446744073709551615 134512640 135237372 4291279696 18446744073709551615 134592450 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=18704/tid=18720] ppid=18702 vsize=279736 CPUtime=5.52
/proc/18704/task/18720/stat : 18720 (ttsth-5-0) R 18702 18704 15497 0 -1 4202560 1663 0 0 0 530 22 0 0 20 0 17 0 652274872 286449664 36262 18446744073709551615 134512640 135237372 4291279696 18446744073709551615 134591116 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=18704/tid=18721] ppid=18702 vsize=279736 CPUtime=5.54
/proc/18704/task/18721/stat : 18721 (ttsth-5-0) R 18702 18704 15497 0 -1 4202560 1450 0 0 0 536 18 0 0 20 0 17 0 652274872 286449664 36262 18446744073709551615 134512640 135237372 4291279696 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 89.43
Current children cumulated vsize (KiB) 279736

[startup+12.703 s]
/proc/loadavg: 14.72 11.80 6.58 17/201 18721
/proc/meminfo: memFree=18801916/36427776 swapFree=4692/270280
[pid=18704] ppid=18702 vsize=418476 CPUtime=191.28
/proc/18704/stat : 18704 (ttsth-5-0) S 18702 18704 15497 0 -1 4202496 70640 0 0 0 18711 417 0 0 20 0 17 0 652274797 428519424 69337 18446744073709551615 134512640 135237372 4291279696 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18704/statm: 104619 69337 95 177 0 104441 0
[pid=18704/tid=18706] ppid=18702 vsize=418476 CPUtime=11.94
/proc/18704/task/18706/stat : 18706 (ttsth-5-0) R 18702 18704 15497 0 -1 4202560 4121 0 0 0 1172 22 0 0 20 0 17 0 652274872 428519424 69337 18446744073709551615 134512640 135237372 4291279696 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=18704/tid=18707] ppid=18702 vsize=418476 CPUtime=11.92
/proc/18704/task/18707/stat : 18707 (ttsth-5-0) R 18702 18704 15497 0 -1 4202560 4385 0 0 0 1168 24 0 0 20 0 17 0 652274872 428519424 69337 18446744073709551615 134512640 135237372 4291279696 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=18704/tid=18708] ppid=18702 vsize=418476 CPUtime=11.92
/proc/18704/task/18708/stat : 18708 (ttsth-5-0) R 18702 18704 15497 0 -1 4202560 4098 0 0 0 1168 24 0 0 20 0 17 0 652274872 428519424 69337 18446744073709551615 134512640 135237372 4291279696 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=18704/tid=18709] ppid=18702 vsize=418476 CPUtime=11.9
/proc/18704/task/18709/stat : 18709 (ttsth-5-0) R 18702 18704 15497 0 -1 4202560 4074 0 0 0 1162 28 0 0 20 0 17 0 652274872 428519424 69337 18446744073709551615 134512640 135237372 4291279696 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=18704/tid=18710] ppid=18702 vsize=418476 CPUtime=11.92
/proc/18704/task/18710/stat : 18710 (ttsth-5-0) R 18702 18704 15497 0 -1 4202560 3883 0 0 0 1168 24 0 0 20 0 17 0 652274872 428519424 69337 18446744073709551615 134512640 135237372 4291279696 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=18704/tid=18711] ppid=18702 vsize=418476 CPUtime=11.92
/proc/18704/task/18711/stat : 18711 (ttsth-5-0) R 18702 18704 15497 0 -1 4202560 3882 0 0 0 1166 26 0 0 20 0 17 0 652274872 428519424 69337 18446744073709551615 134512640 135237372 4291279696 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=18704/tid=18712] ppid=18702 vsize=418476 CPUtime=11.92
/proc/18704/task/18712/stat : 18712 (ttsth-5-0) R 18702 18704 15497 0 -1 4202560 4147 0 0 0 1162 30 0 0 20 0 17 0 652274872 428519424 69337 18446744073709551615 134512640 135237372 4291279696 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=18704/tid=18713] ppid=18702 vsize=418476 CPUtime=11.92
/proc/18704/task/18713/stat : 18713 (ttsth-5-0) R 18702 18704 15497 0 -1 4202560 3713 0 0 0 1166 26 0 0 20 0 17 0 652274872 428519424 69337 18446744073709551615 134512640 135237372 4291279696 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0

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

/proc/18704/task/18709/stat : 18709 (ttsth-5-0) R 18702 18704 15497 0 -1 4202560 11872 0 0 0 4979 48 0 0 20 0 17 0 652274872 996806656 203015 18446744073709551615 134512640 135237372 4291279696 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=18704/tid=18710] ppid=18702 vsize=973444 CPUtime=50.3
/proc/18704/task/18710/stat : 18710 (ttsth-5-0) R 18702 18704 15497 0 -1 4202560 11805 0 0 0 4980 50 0 0 20 0 17 0 652274872 996806656 203015 18446744073709551615 134512640 135237372 4291279696 18446744073709551615 134587952 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=18704/tid=18711] ppid=18702 vsize=973444 CPUtime=50.3
/proc/18704/task/18711/stat : 18711 (ttsth-5-0) R 18702 18704 15497 0 -1 4202560 12257 0 0 0 4984 46 0 0 20 0 17 0 652274872 996806656 203015 18446744073709551615 134512640 135237372 4291279696 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=18704/tid=18712] ppid=18702 vsize=973444 CPUtime=50.3
/proc/18704/task/18712/stat : 18712 (ttsth-5-0) R 18702 18704 15497 0 -1 4202560 12625 0 0 0 4982 48 0 0 20 0 17 0 652274872 996806656 203016 18446744073709551615 134512640 135237372 4291279696 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=18704/tid=18713] ppid=18702 vsize=973444 CPUtime=50.31
/proc/18704/task/18713/stat : 18713 (ttsth-5-0) R 18702 18704 15497 0 -1 4202560 12495 0 0 0 4983 48 0 0 20 0 17 0 652274872 996806656 203016 18446744073709551615 134512640 135237372 4291279696 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=18704/tid=18714] ppid=18702 vsize=973444 CPUtime=50.3
/proc/18704/task/18714/stat : 18714 (ttsth-5-0) R 18702 18704 15497 0 -1 4202560 11559 0 0 0 4990 40 0 0 20 0 17 0 652274872 996806656 203016 18446744073709551615 134512640 135237372 4291279696 18446744073709551615 134561426 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=18704/tid=18715] ppid=18702 vsize=973444 CPUtime=50.29
/proc/18704/task/18715/stat : 18715 (ttsth-5-0) R 18702 18704 15497 0 -1 4202560 13462 0 0 0 4983 46 0 0 20 0 17 0 652274872 996806656 203016 18446744073709551615 134512640 135237372 4291279696 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=18704/tid=18716] ppid=18702 vsize=973444 CPUtime=50.28
/proc/18704/task/18716/stat : 18716 (ttsth-5-0) R 18702 18704 15497 0 -1 4202560 11559 0 0 0 4982 46 0 0 20 0 17 0 652274872 996806656 203016 18446744073709551615 134512640 135237372 4291279696 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=18704/tid=18717] ppid=18702 vsize=973444 CPUtime=50.32
/proc/18704/task/18717/stat : 18717 (ttsth-5-0) R 18702 18704 15497 0 -1 4202560 11095 0 0 0 4980 52 0 0 20 0 17 0 652274872 996806656 203016 18446744073709551615 134512640 135237372 4291279696 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=18704/tid=18718] ppid=18702 vsize=973444 CPUtime=50.3
/proc/18704/task/18718/stat : 18718 (ttsth-5-0) R 18702 18704 15497 0 -1 4202560 12623 0 0 0 4984 46 0 0 20 0 17 0 652274872 996806656 203016 18446744073709551615 134512640 135237372 4291279696 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=18704/tid=18719] ppid=18702 vsize=973444 CPUtime=49.29
/proc/18704/task/18719/stat : 18719 (ttsth-5-0) R 18702 18704 15497 0 -1 4202560 14427 0 0 0 4875 54 0 0 20 0 17 0 652274872 996806656 203016 18446744073709551615 134512640 135237372 4291279696 18446744073709551615 134562366 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=18704/tid=18720] ppid=18702 vsize=973444 CPUtime=50.28
/proc/18704/task/18720/stat : 18720 (ttsth-5-0) R 18702 18704 15497 0 -1 4202560 12040 0 0 0 4984 44 0 0 20 0 17 0 652274872 996806656 203016 18446744073709551615 134512640 135237372 4291279696 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=18704/tid=18721] ppid=18702 vsize=973444 CPUtime=50.29
/proc/18704/task/18721/stat : 18721 (ttsth-5-0) R 18702 18704 15497 0 -1 4202560 11002 0 0 0 4987 42 0 0 20 0 17 0 652274872 996806656 203016 18446744073709551615 134512640 135237372 4291279696 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 804.52
Current children cumulated vsize (KiB) 973444

[startup+102.316 s]
/proc/loadavg: 15.68 12.88 7.44 17/201 18721
/proc/meminfo: memFree=17779752/36427776 swapFree=4692/1290484
[pid=18704] ppid=18702 vsize=1467432 CPUtime=1622.71
/proc/18704/stat : 18704 (ttsth-5-0) S 18702 18704 15497 0 -1 4202496 322147 0 0 0 161229 1042 0 0 20 0 17 0 652274797 1502650368 320844 18446744073709551615 134512640 135237372 4291279696 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18704/statm: 366858 320844 95 177 0 366680 0
[pid=18704/tid=18706] ppid=18702 vsize=1467432 CPUtime=101.49
/proc/18704/task/18706/stat : 18706 (ttsth-5-0) R 18702 18704 15497 0 -1 4202560 19920 0 0 0 10095 54 0 0 20 0 17 0 652274872 1502650368 320844 18446744073709551615 134512640 135237372 4291279696 18446744073709551615 134562317 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=18704/tid=18707] ppid=18702 vsize=1467432 CPUtime=101.47
/proc/18704/task/18707/stat : 18707 (ttsth-5-0) R 18702 18704 15497 0 -1 4202560 19550 0 0 0 10089 58 0 0 20 0 17 0 652274872 1502650368 320844 18446744073709551615 134512640 135237372 4291279696 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=18704/tid=18708] ppid=18702 vsize=1467432 CPUtime=101.5
/proc/18704/task/18708/stat : 18708 (ttsth-5-0) R 18702 18704 15497 0 -1 4202560 20384 0 0 0 10088 62 0 0 20 0 17 0 652274872 1502650368 320844 18446744073709551615 134512640 135237372 4291279696 18446744073709551615 134561428 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=18704/tid=18709] ppid=18702 vsize=1467432 CPUtime=101.45
/proc/18704/task/18709/stat : 18709 (ttsth-5-0) R 18702 18704 15497 0 -1 4202560 18895 0 0 0 10075 70 0 0 20 0 17 0 652274872 1502650368 320844 18446744073709551615 134512640 135237372 4291279696 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=18704/tid=18710] ppid=18702 vsize=1467432 CPUtime=101.51
/proc/18704/task/18710/stat : 18710 (ttsth-5-0) R 18702 18704 15497 0 -1 4202560 19442 0 0 0 10079 72 0 0 20 0 17 0 652274872 1502650368 320845 18446744073709551615 134512640 135237372 4291279696 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=18704/tid=18711] ppid=18702 vsize=1467432 CPUtime=101.5
/proc/18704/task/18711/stat : 18711 (ttsth-5-0) R 18702 18704 15497 0 -1 4202560 19523 0 0 0 10092 58 0 0 20 0 17 0 652274872 1502650368 320845 18446744073709551615 134512640 135237372 4291279696 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=18704/tid=18712] ppid=18702 vsize=1467432 CPUtime=101.51
/proc/18704/task/18712/stat : 18712 (ttsth-5-0) R 18702 18704 15497 0 -1 4202560 20012 0 0 0 10089 62 0 0 20 0 17 0 652274872 1502650368 320845 18446744073709551615 134512640 135237372 4291279696 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=18704/tid=18713] ppid=18702 vsize=1467432 CPUtime=101.51
/proc/18704/task/18713/stat : 18713 (ttsth-5-0) R 18702 18704 15497 0 -1 4202560 19685 0 0 0 10083 68 0 0 20 0 17 0 652274872 1502650368 320845 18446744073709551615 134512640 135237372 4291279696 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=18704/tid=18714] ppid=18702 vsize=1467432 CPUtime=101.49
/proc/18704/task/18714/stat : 18714 (ttsth-5-0) R 18702 18704 15497 0 -1 4202560 19027 0 0 0 10089 60 0 0 20 0 17 0 652274872 1502650368 320845 18446744073709551615 134512640 135237372 4291279696 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=18704/tid=18715] ppid=18702 vsize=1467432 CPUtime=101.48
/proc/18704/task/18715/stat : 18715 (ttsth-5-0) R 18702 18704 15497 0 -1 4202560 21164 0 0 0 10082 66 0 0 20 0 17 0 652274872 1502650368 320845 18446744073709551615 134512640 135237372 4291279696 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=18704/tid=18716] ppid=18702 vsize=1467432 CPUtime=101.48
/proc/18704/task/18716/stat : 18716 (ttsth-5-0) R 18702 18704 15497 0 -1 4202560 18805 0 0 0 10082 66 0 0 20 0 17 0 652274872 1502650368 320845 18446744073709551615 134512640 135237372 4291279696 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=18704/tid=18717] ppid=18702 vsize=1467432 CPUtime=101.5
/proc/18704/task/18717/stat : 18717 (ttsth-5-0) R 18702 18704 15497 0 -1 4202560 17928 0 0 0 10080 70 0 0 20 0 17 0 652274872 1502650368 320845 18446744073709551615 134512640 135237372 4291279696 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=18704/tid=18718] ppid=18702 vsize=1467432 CPUtime=101.5
/proc/18704/task/18718/stat : 18718 (ttsth-5-0) R 18702 18704 15497 0 -1 4202560 19722 0 0 0 10082 68 0 0 20 0 17 0 652274872 1502650368 320846 18446744073709551615 134512640 135237372 4291279696 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=18704/tid=18719] ppid=18702 vsize=1467432 CPUtime=99.47
/proc/18704/task/18719/stat : 18719 (ttsth-5-0) R 18702 18704 15497 0 -1 4202560 22349 0 0 0 9873 74 0 0 20 0 17 0 652274872 1502650368 320846 18446744073709551615 134512640 135237372 4291279696 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=18704/tid=18720] ppid=18702 vsize=1467432 CPUtime=101.48
/proc/18704/task/18720/stat : 18720 (ttsth-5-0) R 18702 18704 15497 0 -1 4202560 19951 0 0 0 10088 60 0 0 20 0 17 0 652274872 1502650368 320846 18446744073709551615 134512640 135237372 4291279696 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=18704/tid=18721] ppid=18702 vsize=1467432 CPUtime=101.47
/proc/18704/task/18721/stat : 18721 (ttsth-5-0) R 18702 18704 15497 0 -1 4202560 17744 0 0 0 10085 62 0 0 20 0 17 0 652274872 1502650368 320846 18446744073709551615 134512640 135237372 4291279696 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1622.71
Current children cumulated vsize (KiB) 1467432

[startup+162.302 s]
/proc/loadavg: 15.92 13.46 7.98 17/201 18726
/proc/meminfo: memFree=17371988/36427776 swapFree=4692/1697332
[pid=18704] ppid=18702 vsize=1900064 CPUtime=2581.23
/proc/18704/stat : 18704 (ttsth-5-0) S 18702 18704 15497 0 -1 4202496 425114 0 0 0 256822 1301 0 0 20 0 17 0 652274797 1945665536 423811 18446744073709551615 134512640 135237372 4291279696 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18704/statm: 475016 423811 95 177 0 474838 0
[pid=18704/tid=18706] ppid=18702 vsize=1900064 CPUtime=161.47
/proc/18704/task/18706/stat : 18706 (ttsth-5-0) R 18702 18704 15497 0 -1 4202560 26820 0 0 0 16081 66 0 0 20 0 17 0 652274872 1945665536 423811 18446744073709551615 134512640 135237372 4291279696 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=18704/tid=18707] ppid=18702 vsize=1900064 CPUtime=161.45
/proc/18704/task/18707/stat : 18707 (ttsth-5-0) R 18702 18704 15497 0 -1 4202560 25669 0 0 0 16067 78 0 0 20 0 17 0 652274872 1945665536 423812 18446744073709551615 134512640 135237372 4291279696 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=18704/tid=18708] ppid=18702 vsize=1900064 CPUtime=161.49
/proc/18704/task/18708/stat : 18708 (ttsth-5-0) R 18702 18704 15497 0 -1 4202560 26590 0 0 0 16069 80 0 0 20 0 17 0 652274872 1945665536 423812 18446744073709551615 134512640 135237372 4291279696 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=18704/tid=18709] ppid=18702 vsize=1900064 CPUtime=161.43
/proc/18704/task/18709/stat : 18709 (ttsth-5-0) R 18702 18704 15497 0 -1 4202560 25484 0 0 0 16057 86 0 0 20 0 17 0 652274872 1945665536 423812 18446744073709551615 134512640 135237372 4291279696 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=18704/tid=18710] ppid=18702 vsize=1900064 CPUtime=161.49
/proc/18704/task/18710/stat : 18710 (ttsth-5-0) R 18702 18704 15497 0 -1 4202560 25553 0 0 0 16063 86 0 0 20 0 17 0 652274872 1945665536 423812 18446744073709551615 134512640 135237372 4291279696 18446744073709551615 134561428 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=18704/tid=18711] ppid=18702 vsize=1900064 CPUtime=161.49
/proc/18704/task/18711/stat : 18711 (ttsth-5-0) R 18702 18704 15497 0 -1 4202560 26566 0 0 0 16075 74 0 0 20 0 17 0 652274872 1945665536 423812 18446744073709551615 134512640 135237372 4291279696 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=18704/tid=18712] ppid=18702 vsize=1900064 CPUtime=161.49
/proc/18704/task/18712/stat : 18712 (ttsth-5-0) R 18702 18704 15497 0 -1 4202560 26550 0 0 0 16073 76 0 0 20 0 17 0 652274872 1945665536 423812 18446744073709551615 134512640 135237372 4291279696 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=18704/tid=18713] ppid=18702 vsize=1900064 CPUtime=161.49
/proc/18704/task/18713/stat : 18713 (ttsth-5-0) R 18702 18704 15497 0 -1 4202560 26479 0 0 0 16065 84 0 0 20 0 17 0 652274872 1945665536 423812 18446744073709551615 134512640 135237372 4291279696 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=18704/tid=18714] ppid=18702 vsize=1900064 CPUtime=161.49
/proc/18704/task/18714/stat : 18714 (ttsth-5-0) R 18702 18704 15497 0 -1 4202560 25366 0 0 0 16071 78 0 0 20 0 17 0 652274872 1945665536 423812 18446744073709551615 134512640 135237372 4291279696 18446744073709551615 134561428 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=18704/tid=18715] ppid=18702 vsize=1900064 CPUtime=161.45
/proc/18704/task/18715/stat : 18715 (ttsth-5-0) R 18702 18704 15497 0 -1 4202560 27373 0 0 0 16063 82 0 0 20 0 17 0 652274872 1945665536 423812 18446744073709551615 134512640 135237372 4291279696 18446744073709551615 134562344 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=18704/tid=18716] ppid=18702 vsize=1900064 CPUtime=161.45
/proc/18704/task/18716/stat : 18716 (ttsth-5-0) R 18702 18704 15497 0 -1 4202560 25337 0 0 0 16063 82 0 0 20 0 17 0 652274872 1945665536 423812 18446744073709551615 134512640 135237372 4291279696 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=18704/tid=18717] ppid=18702 vsize=1900064 CPUtime=161.49
/proc/18704/task/18717/stat : 18717 (ttsth-5-0) R 18702 18704 15497 0 -1 4202560 24932 0 0 0 16059 90 0 0 20 0 17 0 652274872 1945665536 423812 18446744073709551615 134512640 135237372 4291279696 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=18704/tid=18718] ppid=18702 vsize=1900064 CPUtime=161.49
/proc/18704/task/18718/stat : 18718 (ttsth-5-0) R 18702 18704 15497 0 -1 4202560 25675 0 0 0 16065 84 0 0 20 0 17 0 652274872 1945665536 423812 18446744073709551615 134512640 135237372 4291279696 18446744073709551615 134562394 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=18704/tid=18719] ppid=18702 vsize=1900064 CPUtime=158.27
/proc/18704/task/18719/stat : 18719 (ttsth-5-0) R 18702 18704 15497 0 -1 4202560 29483 0 0 0 15735 92 0 0 20 0 17 0 652274872 1945665536 423812 18446744073709551615 134512640 135237372 4291279696 18446744073709551615 134561428 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=18704/tid=18720] ppid=18702 vsize=1900064 CPUtime=161.47
/proc/18704/task/18720/stat : 18720 (ttsth-5-0) R 18702 18704 15497 0 -1 4202560 25938 0 0 0 16073 74 0 0 20 0 17 0 652274872 1945665536 423813 18446744073709551615 134512640 135237372 4291279696 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=18704/tid=18721] ppid=18702 vsize=1900064 CPUtime=161.47
/proc/18704/task/18721/stat : 18721 (ttsth-5-0) R 18702 18704 15497 0 -1 4202560 23252 0 0 0 16069 78 0 0 20 0 17 0 652274872 1945665536 423813 18446744073709551615 134512640 135237372 4291279696 18446744073709551615 134562344 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2581.23
Current children cumulated vsize (KiB) 1900064



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+193.707 s]
/proc/loadavg: 15.95 13.74 8.27 17/201 18726
/proc/meminfo: memFree=17180708/36427776 swapFree=4692/1888084
[pid=18704] ppid=18702 vsize=2096180 CPUtime=3083.19
/proc/18704/stat : 18704 (ttsth-5-0) S 18702 18704 15497 0 -1 4202496 471870 0 0 0 306909 1410 0 0 20 0 17 0 652274797 2146488320 470567 18446744073709551615 134512640 135237372 4291279696 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18704/statm: 524045 470567 95 177 0 523867 0
[pid=18704/tid=18706] ppid=18702 vsize=2096180 CPUtime=192.88
/proc/18704/task/18706/stat : 18706 (ttsth-5-0) R 18702 18704 15497 0 -1 4202560 29945 0 0 0 19216 72 0 0 20 0 17 0 652274872 2146488320 470568 18446744073709551615 134512640 135237372 4291279696 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=18704/tid=18707] ppid=18702 vsize=2096180 CPUtime=192.87
/proc/18704/task/18707/stat : 18707 (ttsth-5-0) R 18702 18704 15497 0 -1 4202560 28775 0 0 0 19203 84 0 0 20 0 17 0 652274872 2146488320 470568 18446744073709551615 134512640 135237372 4291279696 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=18704/tid=18708] ppid=18702 vsize=2096180 CPUtime=192.9
/proc/18704/task/18708/stat : 18708 (ttsth-5-0) R 18702 18704 15497 0 -1 4202560 29476 0 0 0 19202 88 0 0 20 0 17 0 652274872 2146488320 470568 18446744073709551615 134512640 135237372 4291279696 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=18704/tid=18709] ppid=18702 vsize=2096180 CPUtime=192.83
/proc/18704/task/18709/stat : 18709 (ttsth-5-0) R 18702 18704 15497 0 -1 4202560 28498 0 0 0 19189 94 0 0 20 0 17 0 652274872 2146488320 470568 18446744073709551615 134512640 135237372 4291279696 18446744073709551615 134562344 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=18704/tid=18710] ppid=18702 vsize=2096180 CPUtime=192.89
/proc/18704/task/18710/stat : 18710 (ttsth-5-0) R 18702 18704 15497 0 -1 4202560 28376 0 0 0 19197 92 0 0 20 0 17 0 652274872 2146488320 470568 18446744073709551615 134512640 135237372 4291279696 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=18704/tid=18711] ppid=18702 vsize=2096180 CPUtime=192.91
/proc/18704/task/18711/stat : 18711 (ttsth-5-0) R 18702 18704 15497 0 -1 4202560 29368 0 0 0 19211 80 0 0 20 0 17 0 652274872 2146488320 470568 18446744073709551615 134512640 135237372 4291279696 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=18704/tid=18712] ppid=18702 vsize=2096180 CPUtime=192.9
/proc/18704/task/18712/stat : 18712 (ttsth-5-0) R 18702 18704 15497 0 -1 4202560 29547 0 0 0 19208 82 0 0 20 0 17 0 652274872 2146488320 470568 18446744073709551615 134512640 135237372 4291279696 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=18704/tid=18713] ppid=18702 vsize=2096180 CPUtime=192.89
/proc/18704/task/18713/stat : 18713 (ttsth-5-0) R 18702 18704 15497 0 -1 4202560 29216 0 0 0 19199 90 0 0 20 0 17 0 652274872 2146488320 470568 18446744073709551615 134512640 135237372 4291279696 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=18704/tid=18714] ppid=18702 vsize=2096180 CPUtime=192.9
/proc/18704/task/18714/stat : 18714 (ttsth-5-0) R 18702 18704 15497 0 -1 4202560 28496 0 0 0 19204 86 0 0 20 0 17 0 652274872 2146488320 470568 18446744073709551615 134512640 135237372 4291279696 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=18704/tid=18715] ppid=18702 vsize=2096180 CPUtime=192.87
/proc/18704/task/18715/stat : 18715 (ttsth-5-0) R 18702 18704 15497 0 -1 4202560 30095 0 0 0 19195 92 0 0 20 0 17 0 652274872 2146488320 470568 18446744073709551615 134512640 135237372 4291279696 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=18704/tid=18716] ppid=18702 vsize=2096180 CPUtime=192.87
/proc/18704/task/18716/stat : 18716 (ttsth-5-0) R 18702 18704 15497 0 -1 4202560 28184 0 0 0 19199 88 0 0 20 0 17 0 652274872 2146488320 470568 18446744073709551615 134512640 135237372 4291279696 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=18704/tid=18717] ppid=18702 vsize=2096180 CPUtime=192.89
/proc/18704/task/18717/stat : 18717 (ttsth-5-0) R 18702 18704 15497 0 -1 4202560 27888 0 0 0 19193 96 0 0 20 0 17 0 652274872 2146488320 470568 18446744073709551615 134512640 135237372 4291279696 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=18704/tid=18718] ppid=18702 vsize=2096180 CPUtime=192.89
/proc/18704/task/18718/stat : 18718 (ttsth-5-0) R 18702 18704 15497 0 -1 4202560 28524 0 0 0 19199 90 0 0 20 0 17 0 652274872 2146488320 470568 18446744073709551615 134512640 135237372 4291279696 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=18704/tid=18719] ppid=18702 vsize=2096180 CPUtime=189.03
/proc/18704/task/18719/stat : 18719 (ttsth-5-0) R 18702 18704 15497 0 -1 4202560 32713 0 0 0 18805 98 0 0 20 0 17 0 652274872 2146488320 470568 18446744073709551615 134512640 135237372 4291279696 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=18704/tid=18720] ppid=18702 vsize=2096180 CPUtime=192.89
/proc/18704/task/18720/stat : 18720 (ttsth-5-0) R 18702 18704 15497 0 -1 4202560 28888 0 0 0 19209 80 0 0 20 0 17 0 652274872 2146488320 470568 18446744073709551615 134512640 135237372 4291279696 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=18704/tid=18721] ppid=18702 vsize=2096180 CPUtime=192.87
/proc/18704/task/18721/stat : 18721 (ttsth-5-0) R 18702 18704 15497 0 -1 4202560 25834 0 0 0 19203 84 0 0 20 0 17 0 652274872 2146488320 470568 18446744073709551615 134512640 135237372 4291279696 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3083.19
Current children cumulated vsize (KiB) 2096180

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

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

[startup+193.826 s]
/proc/loadavg: 15.95 13.74 8.27 17/201 18726
/proc/meminfo: memFree=17180708/36427776 swapFree=4692/1888084
[pid=18704] ppid=18702 vsize=0 CPUtime=3083.47
/proc/18704/stat : 18704 (ttsth-5-0) Z 18702 18704 15497 0 -1 4203532 471906 0 0 0 306929 1418 0 0 20 0 2 0 652274797 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18704/statm: 0 0 0 0 0 0 0
[pid=18704/tid=18712] ppid=18702 vsize=0 CPUtime=193
/proc/18704/task/18712/stat : 18712 (ttsth-5-0) R 18702 18704 15497 0 -1 4203588 29567 0 0 0 19210 90 0 0 20 0 2 0 652274872 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 3083.47
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 193.898
CPU time (s): 3083.57
CPU user time (s): 3069.32
CPU system time (s): 14.2529
CPU usage (%): 1590.31
Max. virtual memory (cumulated for all children) (KiB): 2096180

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3069.32
system time used= 14.2529
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 471906
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= 14186
involuntary context switches= 7237

runsolver used 0.80405 second user time and 3.01219 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-13 23:48:04
IDJOB=1776300
IDBENCH=20485
IDSOLVER=634
FILE ID=xenhost3-49/1776300-1244929684
PBS_JOBID=
Free space on /tmp= 7025 MiB

SOLVER NAME= ttsth-5-0 2009-03-19 (16 threads)
BENCH NAME= SAT07/industrial/grieu/vmpc_25.cnf
COMMAND LINE= HOME/ttsth-5-0 -num-threads MAXNBTHREAD BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1776300-1244929684/watcher-1776300-1244929684 -o /tmp/evaluation-result-1776300-1244929684/solver-1776300-1244929684 -C 10000 -W 1000 -M 2047  HOME/ttsth-5-0 -num-threads 16 HOME/instance-1776300-1244929684.cnf

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

MD5SUM BENCH= c5b44b10975f50cd32d40650a6a22d18
RANDOM SEED= 1408087778

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:      19061728 kB
Buffers:        472600 kB
Cached:       14115664 kB
SwapCached:          0 kB
Active:        4118712 kB
Inactive:     10477948 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:            1364 kB
Writeback:           0 kB
AnonPages:        7720 kB
Mapped:           3196 kB
Slab:           717292 kB
SReclaimable:   690548 kB
SUnreclaim:      26744 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29856 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-13 23:51:20