Trace number 1780770

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) 3556.4 224.12

General information on the benchmark

NameAPPLICATIONS/satComp09_BioInstances/
rpoc_xits_08_UNSAT.cnf
MD5SUM0b7170d33b896e8b879b19b65ac5c517
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables1278
Number of clauses74789
Sum of the clauses size222346
Maximum clause length9
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 22159
Number of clauses of size 372607
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 523

Solver Data 

0.00/0.08	c Command: HOME/ttsth-5-0 -num-threads 16 HOME/instance-1780770-1244978050.cnf 
0.00/0.08	c Using SATTIMEOUT of 10000
0.00/0.08	c Using SATRAM of 2047
0.00/0.08	c Size of subset node = 16
0.00/0.08	c Variables = 1278
0.00/0.08	c Clauses = 74789
0.00/0.08	c Literals = 222346
0.00/0.08	c Reduced size:
0.00/0.08	c Variables = 1278
0.00/0.08	c Clauses = 74789
0.00/0.08	c Literals = 222346
0.00/0.08	c a2
0.20/0.21	c a1
0.38/0.45	c Independent sub-problems = 1
0.38/0.45	c Sub-problem with 1278 variables and 74789 clauses
0.38/0.45	c using permutation method 4
0.38/0.45	c count = 1
0.38/0.45	c Ordering finished 0.420 seconds
0.38/0.45	c mapped 0.450 seconds
0.38/0.45	c permuted 0.450 seconds
0.38/0.45	c about to sort
0.38/0.47	c sorted
0.68/0.77	c clauses now 74789
0.68/0.77	c init finished 0.490 seconds
0.68/0.77	c tree built 0.770 seconds
0.68/0.77	c 
0.68/0.77	c PA progress                      | CPU progress Partial assignments | improvements      CPU time        PA/sec        nodes
0.68/0.77	c ---------------------------------|----------------------------------|------------------------------------------------------
0.68/0.77	c ................................ | ..........                       |                        0.8           0.0             
0.68/0.77	c ................................ | ..........                     1 |                        0.8           1.3             
0.68/0.77	c ................................ | ..........                     2 |                        0.8           2.6             
0.68/0.77	c ................................ | ..........                     3 |                        0.8           3.9             
0.68/0.77	c ................................ | ..........                     4 |                        0.8           5.2             
0.68/0.77	c ................................ | ..........                     5 |                        0.8           6.5             
1.04/0.84	c ................................ | ..........                  1000 | 2                      1.3         757.6         7089
236.96/15.90	c ................................ | ..........                296000 | 39056                201.0        1472.4     11368431
445.12/28.95	c ................................ | ..........                402000 | 54989                402.1         999.9     20942893
645.56/41.56	c ................................ | ..........                490000 | 66875                600.1         816.6     28853483
849.51/54.33	c ................................ | ..........                563000 | 75436                801.2         702.7     36552026
1052.01/67.03	c ................................ | *.........                649000 | 90189               1001.8         647.8     43343470
1252.83/79.70	c ................................ | *.........                725000 | 103420              1202.8         602.8     49912237
1453.86/92.26	c ................................ | *.........                799000 | 117212              1402.4         569.7     56128599
1654.89/104.89	c ................................ | *.........                872000 | 132820              1603.2         543.9     62059508
1855.89/117.41	c ................................ | *.........                920000 | 144438              1802.2         510.5     68105096
2060.22/130.22	c ................................ | **........                966000 | 154024              2006.1         481.5     73936177

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-1780770-1244978050/watcher-1780770-1244978050 -o /tmp/evaluation-result-1780770-1244978050/solver-1780770-1244978050 -C 10000 -W 1000 -M 2047 HOME/ttsth-5-0 -num-threads 16 HOME/instance-1780770-1244978050.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.85 6.96 3.25 2/184 29190
/proc/meminfo: memFree=18990524/36427776 swapFree=4380/7816
[pid=29190] ppid=29188 vsize=1540 CPUtime=0
/proc/29190/stat : 29190 (ttsth-5-0) R 29188 29190 15497 0 -1 4202496 275 0 0 0 0 0 0 0 20 0 1 0 657111342 1576960 231 18446744073709551615 134512640 135237372 4294950608 18446744073709551615 134732614 0 0 1 0 0 0 0 17 9 0 0 0 0 0
/proc/29190/statm: 385 232 75 177 0 207 0

[startup+0.014763 s]
/proc/loadavg: 14.85 6.96 3.25 2/184 29190
/proc/meminfo: memFree=18990524/36427776 swapFree=4380/7816
[pid=29190] ppid=29188 vsize=1804 CPUtime=0
/proc/29190/stat : 29190 (ttsth-5-0) R 29188 29190 15497 0 -1 4202496 350 0 0 0 0 0 0 0 20 0 1 0 657111342 1847296 306 18446744073709551615 134512640 135237372 4294950608 18446744073709551615 134639534 0 0 1 0 0 0 0 17 9 0 0 0 0 0
/proc/29190/statm: 451 308 75 177 0 273 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 1804

[startup+0.102783 s]
/proc/loadavg: 14.85 6.96 3.25 2/184 29190
/proc/meminfo: memFree=18990524/36427776 swapFree=4380/7816
[pid=29190] ppid=29188 vsize=11124 CPUtime=0.1
/proc/29190/stat : 29190 (ttsth-5-0) R 29188 29190 15497 0 -1 4202496 2598 0 0 0 8 2 0 0 20 0 1 0 657111342 11390976 2553 18446744073709551615 134512640 135237372 4294950608 18446744073709551615 134519986 0 0 1 0 0 0 0 17 9 0 0 0 0 0
/proc/29190/statm: 2781 2553 76 177 0 2603 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 11124

[startup+0.302818 s]
/proc/loadavg: 14.85 6.96 3.25 2/184 29190
/proc/meminfo: memFree=18990524/36427776 swapFree=4380/7816
[pid=29190] ppid=29188 vsize=11056 CPUtime=0.3
/proc/29190/stat : 29190 (ttsth-5-0) R 29188 29190 15497 0 -1 4202496 2794 0 0 0 28 2 0 0 20 0 1 0 657111342 11321344 2601 18446744073709551615 134512640 135237372 4294950608 18446744073709551615 134555272 0 0 1 0 0 0 0 17 9 0 0 0 0 0
/proc/29190/statm: 2764 2601 77 177 0 2586 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 11056

[startup+0.702823 s]
/proc/loadavg: 14.85 6.96 3.25 2/184 29190
/proc/meminfo: memFree=18990524/36427776 swapFree=4380/7816
[pid=29190] ppid=29188 vsize=30860 CPUtime=0.68
/proc/29190/stat : 29190 (ttsth-5-0) R 29188 29190 15497 0 -1 4202496 7858 0 0 0 64 4 0 0 20 0 1 0 657111342 31600640 7591 18446744073709551615 134512640 135237372 4294950608 18446744073709551615 134735855 0 0 1 0 0 0 0 17 9 0 0 0 0 0
/proc/29190/statm: 7715 7591 90 177 0 7537 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 30860

[startup+1.50777 s]
/proc/loadavg: 13.74 6.86 3.24 17/201 29207
/proc/meminfo: memFree=18953180/36427776 swapFree=4692/45164
[pid=29190] ppid=29188 vsize=174548 CPUtime=12.01
/proc/29190/stat : 29190 (ttsth-5-0) S 29188 29190 15497 0 -1 4202496 10830 0 0 0 464 737 0 0 20 0 17 0 657111342 178737152 10562 18446744073709551615 134512640 135237372 4294950608 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/29190/statm: 43637 10562 95 177 0 43459 0
[pid=29190/tid=29192] ppid=29188 vsize=174548 CPUtime=0.72
/proc/29190/task/29192/stat : 29192 (ttsth-5-0) R 29188 29190 15497 0 -1 4202560 251 0 0 0 66 6 0 0 20 0 17 0 657111419 178737152 10562 18446744073709551615 134512640 135237372 4294950608 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=29190/tid=29193] ppid=29188 vsize=174548 CPUtime=0.7
/proc/29190/task/29193/stat : 29193 (ttsth-5-0) R 29188 29190 15497 0 -1 4202560 102 0 0 0 18 52 0 0 20 0 17 0 657111419 178737152 10562 18446744073709551615 134512640 135237372 4294950608 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=29190/tid=29194] ppid=29188 vsize=174548 CPUtime=0.7
/proc/29190/task/29194/stat : 29194 (ttsth-5-0) R 29188 29190 15497 0 -1 4202560 89 0 0 0 22 48 0 0 20 0 17 0 657111419 178737152 10562 18446744073709551615 134512640 135237372 4294950608 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=29190/tid=29195] ppid=29188 vsize=174548 CPUtime=0.68
/proc/29190/task/29195/stat : 29195 (ttsth-5-0) R 29188 29190 15497 0 -1 4202560 130 0 0 0 20 48 0 0 20 0 17 0 657111419 178737152 10562 18446744073709551615 134512640 135237372 4294950608 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=29190/tid=29196] ppid=29188 vsize=174548 CPUtime=0.7
/proc/29190/task/29196/stat : 29196 (ttsth-5-0) R 29188 29190 15497 0 -1 4202560 104 0 0 0 20 50 0 0 20 0 17 0 657111419 178737152 10562 18446744073709551615 134512640 135237372 4294950608 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=29190/tid=29197] ppid=29188 vsize=174548 CPUtime=0.7
/proc/29190/task/29197/stat : 29197 (ttsth-5-0) R 29188 29190 15497 0 -1 4202560 99 0 0 0 20 50 0 0 20 0 17 0 657111419 178737152 10562 18446744073709551615 134512640 135237372 4294950608 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=29190/tid=29198] ppid=29188 vsize=174548 CPUtime=0.7
/proc/29190/task/29198/stat : 29198 (ttsth-5-0) R 29188 29190 15497 0 -1 4202560 101 0 0 0 22 48 0 0 20 0 17 0 657111419 178737152 10562 18446744073709551615 134512640 135237372 4294950608 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=29190/tid=29199] ppid=29188 vsize=174548 CPUtime=0.7
/proc/29190/task/29199/stat : 29199 (ttsth-5-0) R 29188 29190 15497 0 -1 4202560 141 0 0 0 18 52 0 0 20 0 17 0 657111419 178737152 10562 18446744073709551615 134512640 135237372 4294950608 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=29190/tid=29200] ppid=29188 vsize=174548 CPUtime=0.68
/proc/29190/task/29200/stat : 29200 (ttsth-5-0) R 29188 29190 15497 0 -1 4202560 116 0 0 0 22 46 0 0 20 0 17 0 657111419 178737152 10562 18446744073709551615 134512640 135237372 4294950608 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=29190/tid=29201] ppid=29188 vsize=174548 CPUtime=0.7
/proc/29190/task/29201/stat : 29201 (ttsth-5-0) R 29188 29190 15497 0 -1 4202560 140 0 0 0 18 52 0 0 20 0 17 0 657111419 178737152 10562 18446744073709551615 134512640 135237372 4294950608 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=29190/tid=29202] ppid=29188 vsize=174548 CPUtime=0.7
/proc/29190/task/29202/stat : 29202 (ttsth-5-0) R 29188 29190 15497 0 -1 4202560 88 0 0 0 22 48 0 0 20 0 17 0 657111419 178737152 10562 18446744073709551615 134512640 135237372 4294950608 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=29190/tid=29203] ppid=29188 vsize=174548 CPUtime=0.7
/proc/29190/task/29203/stat : 29203 (ttsth-5-0) R 29188 29190 15497 0 -1 4202560 95 0 0 0 24 46 0 0 20 0 17 0 657111420 178737152 10562 18446744073709551615 134512640 135237372 4294950608 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=29190/tid=29204] ppid=29188 vsize=174548 CPUtime=0.7
/proc/29190/task/29204/stat : 29204 (ttsth-5-0) R 29188 29190 15497 0 -1 4202560 123 0 0 0 22 48 0 0 20 0 17 0 657111420 178737152 10562 18446744073709551615 134512640 135237372 4294950608 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=29190/tid=29205] ppid=29188 vsize=174548 CPUtime=0.68
/proc/29190/task/29205/stat : 29205 (ttsth-5-0) R 29188 29190 15497 0 -1 4202560 88 0 0 0 24 44 0 0 20 0 17 0 657111420 178737152 10562 18446744073709551615 134512640 135237372 4294950608 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=29190/tid=29206] ppid=29188 vsize=174548 CPUtime=0.68
/proc/29190/task/29206/stat : 29206 (ttsth-5-0) R 29188 29190 15497 0 -1 4202560 77 0 0 0 22 46 0 0 20 0 17 0 657111420 178737152 10563 18446744073709551615 134512640 135237372 4294950608 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=29190/tid=29207] ppid=29188 vsize=174548 CPUtime=0.7
/proc/29190/task/29207/stat : 29207 (ttsth-5-0) R 29188 29190 15497 0 -1 4202560 98 0 0 0 24 46 0 0 20 0 17 0 657111420 178737152 10563 18446744073709551615 134512640 135237372 4294950608 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 12.01
Current children cumulated vsize (KiB) 174548

[startup+3.103 s]
/proc/loadavg: 13.74 6.86 3.24 16/201 29207
/proc/meminfo: memFree=18945864/36427776 swapFree=4692/54072
[pid=29190] ppid=29188 vsize=191988 CPUtime=36.94
/proc/29190/stat : 29190 (ttsth-5-0) S 29188 29190 15497 0 -1 4202496 14878 0 0 0 1544 2150 0 0 20 0 17 0 657111342 196595712 14610 18446744073709551615 134512640 135237372 4294950608 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/29190/statm: 47997 14610 95 177 0 47819 0
[pid=29190/tid=29192] ppid=29188 vsize=191988 CPUtime=2.3
/proc/29190/task/29192/stat : 29192 (ttsth-5-0) R 29188 29190 15497 0 -1 4202560 702 0 0 0 222 8 0 0 20 0 17 0 657111419 196595712 14610 18446744073709551615 134512640 135237372 4294950608 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=29190/tid=29193] ppid=29188 vsize=191988 CPUtime=2.26
/proc/29190/task/29193/stat : 29193 (ttsth-5-0) R 29188 29190 15497 0 -1 4202560 303 0 0 0 76 150 0 0 20 0 17 0 657111419 196595712 14610 18446744073709551615 134512640 135237372 4294950608 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=29190/tid=29194] ppid=29188 vsize=191988 CPUtime=2.26
/proc/29190/task/29194/stat : 29194 (ttsth-5-0) R 29188 29190 15497 0 -1 4202560 407 0 0 0 82 144 0 0 20 0 17 0 657111419 196595712 14610 18446744073709551615 134512640 135237372 4294950608 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=29190/tid=29195] ppid=29188 vsize=191988 CPUtime=2.26
/proc/29190/task/29195/stat : 29195 (ttsth-5-0) R 29188 29190 15497 0 -1 4202560 308 0 0 0 78 148 0 0 20 0 17 0 657111419 196595712 14610 18446744073709551615 134512640 135237372 4294950608 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=29190/tid=29196] ppid=29188 vsize=191988 CPUtime=2.26
/proc/29190/task/29196/stat : 29196 (ttsth-5-0) R 29188 29190 15497 0 -1 4202560 307 0 0 0 82 144 0 0 20 0 17 0 657111419 196595712 14610 18446744073709551615 134512640 135237372 4294950608 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=29190/tid=29197] ppid=29188 vsize=191988 CPUtime=2.26
/proc/29190/task/29197/stat : 29197 (ttsth-5-0) R 29188 29190 15497 0 -1 4202560 355 0 0 0 82 144 0 0 20 0 17 0 657111419 196595712 14610 18446744073709551615 134512640 135237372 4294950608 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=29190/tid=29198] ppid=29188 vsize=191988 CPUtime=2.26
/proc/29190/task/29198/stat : 29198 (ttsth-5-0) R 29188 29190 15497 0 -1 4202560 392 0 0 0 78 148 0 0 20 0 17 0 657111419 196595712 14610 18446744073709551615 134512640 135237372 4294950608 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=29190/tid=29199] ppid=29188 vsize=191988 CPUtime=2.24
/proc/29190/task/29199/stat : 29199 (ttsth-5-0) R 29188 29190 15497 0 -1 4202560 422 0 0 0 82 142 0 0 20 0 17 0 657111419 196595712 14610 18446744073709551615 134512640 135237372 4294950608 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=29190/tid=29200] ppid=29188 vsize=191988 CPUtime=2.24
/proc/29190/task/29200/stat : 29200 (ttsth-5-0) R 29188 29190 15497 0 -1 4202560 266 0 0 0 74 150 0 0 20 0 17 0 657111419 196595712 14610 18446744073709551615 134512640 135237372 4294950608 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=29190/tid=29201] ppid=29188 vsize=191988 CPUtime=2.26
/proc/29190/task/29201/stat : 29201 (ttsth-5-0) R 29188 29190 15497 0 -1 4202560 456 0 0 0 90 136 0 0 20 0 17 0 657111419 196595712 14611 18446744073709551615 134512640 135237372 4294950608 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=29190/tid=29202] ppid=29188 vsize=191988 CPUtime=2.26
/proc/29190/task/29202/stat : 29202 (ttsth-5-0) R 29188 29190 15497 0 -1 4202560 295 0 0 0 86 140 0 0 20 0 17 0 657111419 196595712 14611 18446744073709551615 134512640 135237372 4294950608 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=29190/tid=29203] ppid=29188 vsize=191988 CPUtime=2.26
/proc/29190/task/29203/stat : 29203 (ttsth-5-0) R 29188 29190 15497 0 -1 4202560 475 0 0 0 94 132 0 0 20 0 17 0 657111420 196595712 14611 18446744073709551615 134512640 135237372 4294950608 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=29190/tid=29204] ppid=29188 vsize=191988 CPUtime=2.26
/proc/29190/task/29204/stat : 29204 (ttsth-5-0) R 29188 29190 15497 0 -1 4202560 418 0 0 0 90 136 0 0 20 0 17 0 657111420 196595712 14611 18446744073709551615 134512640 135237372 4294950608 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=29190/tid=29205] ppid=29188 vsize=191988 CPUtime=2.2
/proc/29190/task/29205/stat : 29205 (ttsth-5-0) R 29188 29190 15497 0 -1 4202560 283 0 0 0 82 138 0 0 20 0 17 0 657111420 196595712 14611 18446744073709551615 134512640 135237372 4294950608 18446744073709551615 134552720 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=29190/tid=29206] ppid=29188 vsize=191988 CPUtime=2.24
/proc/29190/task/29206/stat : 29206 (ttsth-5-0) R 29188 29190 15497 0 -1 4202560 257 0 0 0 80 144 0 0 20 0 17 0 657111420 196595712 14611 18446744073709551615 134512640 135237372 4294950608 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=29190/tid=29207] ppid=29188 vsize=191988 CPUtime=2.26
/proc/29190/task/29207/stat : 29207 (ttsth-5-0) R 29188 29190 15497 0 -1 4202560 244 0 0 0 90 136 0 0 20 0 17 0 657111420 196595712 14612 18446744073709551615 134512640 135237372 4294950608 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 36.94
Current children cumulated vsize (KiB) 191988

[startup+6.30363 s]
/proc/loadavg: 13.92 7.01 3.31 17/201 29207
/proc/meminfo: memFree=18907148/36427776 swapFree=4692/94632
[pid=29190] ppid=29188 vsize=234976 CPUtime=87.12
/proc/29190/stat : 29190 (ttsth-5-0) S 29188 29190 15497 0 -1 4202496 25001 0 0 0 4699 4013 0 0 20 0 17 0 657111342 240615424 24733 18446744073709551615 134512640 135237372 4294950608 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/29190/statm: 58744 24733 95 177 0 58566 0
[pid=29190/tid=29192] ppid=29188 vsize=234976 CPUtime=5.5
/proc/29190/task/29192/stat : 29192 (ttsth-5-0) R 29188 29190 15497 0 -1 4202560 1611 0 0 0 540 10 0 0 20 0 17 0 657111419 240615424 24733 18446744073709551615 134512640 135237372 4294950608 18446744073709551615 134562344 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=29190/tid=29193] ppid=29188 vsize=234976 CPUtime=5.38
/proc/29190/task/29193/stat : 29193 (ttsth-5-0) R 29188 29190 15497 0 -1 4202560 762 0 0 0 272 266 0 0 20 0 17 0 657111419 240615424 24733 18446744073709551615 134512640 135237372 4294950608 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=29190/tid=29194] ppid=29188 vsize=234976 CPUtime=5.38
/proc/29190/task/29194/stat : 29194 (ttsth-5-0) R 29188 29190 15497 0 -1 4202560 1019 0 0 0 250 288 0 0 20 0 17 0 657111419 240615424 24733 18446744073709551615 134512640 135237372 4294950608 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=29190/tid=29195] ppid=29188 vsize=234976 CPUtime=5.4
/proc/29190/task/29195/stat : 29195 (ttsth-5-0) R 29188 29190 15497 0 -1 4202560 989 0 0 0 266 274 0 0 20 0 17 0 657111419 240615424 24733 18446744073709551615 134512640 135237372 4294950608 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=29190/tid=29196] ppid=29188 vsize=234976 CPUtime=5.4
/proc/29190/task/29196/stat : 29196 (ttsth-5-0) R 29188 29190 15497 0 -1 4202560 824 0 0 0 274 266 0 0 20 0 17 0 657111419 240615424 24733 18446744073709551615 134512640 135237372 4294950608 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=29190/tid=29197] ppid=29188 vsize=234976 CPUtime=5.4
/proc/29190/task/29197/stat : 29197 (ttsth-5-0) R 29188 29190 15497 0 -1 4202560 1017 0 0 0 256 284 0 0 20 0 17 0 657111419 240615424 24733 18446744073709551615 134512640 135237372 4294950608 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=29190/tid=29198] ppid=29188 vsize=234976 CPUtime=5.38
/proc/29190/task/29198/stat : 29198 (ttsth-5-0) R 29188 29190 15497 0 -1 4202560 977 0 0 0 260 278 0 0 20 0 17 0 657111419 240615424 24733 18446744073709551615 134512640 135237372 4294950608 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=29190/tid=29199] ppid=29188 vsize=234976 CPUtime=5.38
/proc/29190/task/29199/stat : 29199 (ttsth-5-0) R 29188 29190 15497 0 -1 4202560 1180 0 0 0 268 270 0 0 20 0 17 0 657111419 240615424 24733 18446744073709551615 134512640 135237372 4294950608 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=29190/tid=29200] ppid=29188 vsize=234976 CPUtime=5.36
/proc/29190/task/29200/stat : 29200 (ttsth-5-0) R 29188 29190 15497 0 -1 4202560 875 0 0 0 246 290 0 0 20 0 17 0 657111419 240615424 24733 18446744073709551615 134512640 135237372 4294950608 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=29190/tid=29201] ppid=29188 vsize=234976 CPUtime=5.42
/proc/29190/task/29201/stat : 29201 (ttsth-5-0) R 29188 29190 15497 0 -1 4202560 1434 0 0 0 304 238 0 0 20 0 17 0 657111419 240615424 24733 18446744073709551615 134512640 135237372 4294950608 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=29190/tid=29202] ppid=29188 vsize=234976 CPUtime=5.4
/proc/29190/task/29202/stat : 29202 (ttsth-5-0) S 29188 29190 15497 0 -1 4202560 943 0 0 0 278 262 0 0 20 0 17 0 657111419 240615424 24733 18446744073709551615 134512640 135237372 4294950608 18446744073709551615 134636382 0 0 1 0 18446744071564503368 0 0 -1 4 0 0 0 0 0
[pid=29190/tid=29203] ppid=29188 vsize=234976 CPUtime=5.42
/proc/29190/task/29203/stat : 29203 (ttsth-5-0) R 29188 29190 15497 0 -1 4202560 1218 0 0 0 300 242 0 0 20 0 17 0 657111420 240615424 24733 18446744073709551615 134512640 135237372 4294950608 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=29190/tid=29204] ppid=29188 vsize=234976 CPUtime=5.4
/proc/29190/task/29204/stat : 29204 (ttsth-5-0) R 29188 29190 15497 0 -1 4202560 1045 0 0 0 284 256 0 0 20 0 17 0 657111420 240615424 24734 18446744073709551615 134512640 135237372 4294950608 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=29190/tid=29205] ppid=29188 vsize=234976 CPUtime=5.26
/proc/29190/task/29205/stat : 29205 (ttsth-5-0) R 29188 29190 15497 0 -1 4202560 748 0 0 0 264 262 0 0 20 0 17 0 657111420 240615424 24734 18446744073709551615 134512640 135237372 4294950608 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=29190/tid=29206] ppid=29188 vsize=234976 CPUtime=5.38
/proc/29190/task/29206/stat : 29206 (ttsth-5-0) R 29188 29190 15497 0 -1 4202560 770 0 0 0 272 266 0 0 20 0 17 0 657111420 240615424 24734 18446744073709551615 134512640 135237372 4294950608 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=29190/tid=29207] ppid=29188 vsize=234976 CPUtime=5.4
/proc/29190/task/29207/stat : 29207 (ttsth-5-0) R 29188 29190 15497 0 -1 4202560 602 0 0 0 288 252 0 0 20 0 17 0 657111420 240615424 24734 18446744073709551615 134512640 135237372 4294950608 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 87.12
Current children cumulated vsize (KiB) 234976

[startup+12.7038 s]
/proc/loadavg: 14.01 7.15 3.37 10/201 29207
/proc/meminfo: memFree=18818384/36427776 swapFree=4692/181704
[pid=29190] ppid=29188 vsize=326256 CPUtime=187.95
/proc/29190/stat : 29190 (ttsth-5-0) S 29188 29190 15497 0 -1 4202496 46224 0 0 0 12493 6302 0 0 20 0 17 0 657111342 334086144 45956 18446744073709551615 134512640 135237372 4294950608 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/29190/statm: 81564 45956 95 177 0 81386 0
[pid=29190/tid=29192] ppid=29188 vsize=326256 CPUtime=11.9
/proc/29190/task/29192/stat : 29192 (ttsth-5-0) R 29188 29190 15497 0 -1 4202560 3432 0 0 0 1176 14 0 0 20 0 17 0 657111419 334086144 45956 18446744073709551615 134512640 135237372 4294950608 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=29190/tid=29193] ppid=29188 vsize=326256 CPUtime=11.68
/proc/29190/task/29193/stat : 29193 (ttsth-5-0) R 29188 29190 15497 0 -1 4202560 2220 0 0 0 752 416 0 0 20 0 17 0 657111419 334086144 45956 18446744073709551615 134512640 135237372 4294950608 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=29190/tid=29194] ppid=29188 vsize=326256 CPUtime=11.66
/proc/29190/task/29194/stat : 29194 (ttsth-5-0) R 29188 29190 15497 0 -1 4202560 2127 0 0 0 708 458 0 0 20 0 17 0 657111419 334086144 45956 18446744073709551615 134512640 135237372 4294950608 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=29190/tid=29195] ppid=29188 vsize=326256 CPUtime=11.74
/proc/29190/task/29195/stat : 29195 (ttsth-5-0) R 29188 29190 15497 0 -1 4202560 2501 0 0 0 764 410 0 0 20 0 17 0 657111419 334086144 45956 18446744073709551615 134512640 135237372 4294950608 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=29190/tid=29196] ppid=29188 vsize=326256 CPUtime=11.7
/proc/29190/task/29196/stat : 29196 (ttsth-5-0) R 29188 29190 15497 0 -1 4202560 1949 0 0 0 740 430 0 0 20 0 17 0 657111419 334086144 45956 18446744073709551615 134512640 135237372 4294950608 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=29190/tid=29197] ppid=29188 vsize=326256 CPUtime=11.68
/proc/29190/task/29197/stat : 29197 (ttsth-5-0) R 29188 29190 15497 0 -1 4202560 2489 0 0 0 712 456 0 0 20 0 17 0 657111419 334086144 45956 18446744073709551615 134512640 135237372 4294950608 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=29190/tid=29198] ppid=29188 vsize=326256 CPUtime=11.66
/proc/29190/task/29198/stat : 29198 (ttsth-5-0) R 29188 29190 15497 0 -1 4202560 2006 0 0 0 726 440 0 0 20 0 17 0 657111419 334086144 45956 18446744073709551615 134512640 135237372 4294950608 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=29190/tid=29199] ppid=29188 vsize=326256 CPUtime=11.66
/proc/29190/task/29199/stat : 29199 (ttsth-5-0) R 29188 29190 15497 0 -1 4202560 2639 0 0 0 752 414 0 0 20 0 17 0 657111419 334086144 45956 18446744073709551615 134512640 135237372 4294950608 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0

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

[pid=29190/tid=29201] ppid=29188 vsize=1222856 CPUtime=101.25
/proc/29190/task/29201/stat : 29201 (ttsth-5-0) R 29188 29190 15497 0 -1 4202560 15768 0 0 0 9639 486 0 0 20 0 17 0 657111419 1252204544 254862 18446744073709551615 134512640 135237372 4294950608 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=29190/tid=29202] ppid=29188 vsize=1222856 CPUtime=100.86
/proc/29190/task/29202/stat : 29202 (ttsth-5-0) R 29188 29190 15497 0 -1 4202560 18220 0 0 0 9408 678 0 0 20 0 17 0 657111419 1252204544 254862 18446744073709551615 134512640 135237372 4294950608 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=29190/tid=29203] ppid=29188 vsize=1222856 CPUtime=101.08
/proc/29190/task/29203/stat : 29203 (ttsth-5-0) R 29188 29190 15497 0 -1 4202560 17725 0 0 0 9456 652 0 0 20 0 17 0 657111420 1252204544 254862 18446744073709551615 134512640 135237372 4294950608 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=29190/tid=29204] ppid=29188 vsize=1222856 CPUtime=101.08
/proc/29190/task/29204/stat : 29204 (ttsth-5-0) R 29188 29190 15497 0 -1 4202560 16999 0 0 0 9446 662 0 0 20 0 17 0 657111420 1252204544 254862 18446744073709551615 134512640 135237372 4294950608 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=29190/tid=29205] ppid=29188 vsize=1222856 CPUtime=98.79
/proc/29190/task/29205/stat : 29205 (ttsth-5-0) R 29188 29190 15497 0 -1 4202560 13510 0 0 0 9137 742 0 0 20 0 17 0 657111420 1252204544 254862 18446744073709551615 134512640 135237372 4294950608 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=29190/tid=29206] ppid=29188 vsize=1222856 CPUtime=101.02
/proc/29190/task/29206/stat : 29206 (ttsth-5-0) R 29188 29190 15497 0 -1 4202560 14026 0 0 0 9448 654 0 0 20 0 17 0 657111420 1252204544 254864 18446744073709551615 134512640 135237372 4294950608 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=29190/tid=29207] ppid=29188 vsize=1222856 CPUtime=101.05
/proc/29190/task/29207/stat : 29207 (ttsth-5-0) R 29188 29190 15497 0 -1 4202560 14327 0 0 0 9479 626 0 0 20 0 17 0 657111420 1252204544 254864 18446744073709551615 134512640 135237372 4294950608 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 1615.12
Current children cumulated vsize (KiB) 1222856

[startup+162.303 s]
/proc/loadavg: 15.84 10.64 5.25 17/201 29212
/proc/meminfo: memFree=17552200/36427776 swapFree=4692/1445636
[pid=29190] ppid=29188 vsize=1676744 CPUtime=2572.41
/proc/29190/stat : 29190 (ttsth-5-0) S 29188 29190 15497 0 -1 4202496 361156 0 0 0 246132 11109 0 0 20 0 17 0 657111342 1716985856 360888 18446744073709551615 134512640 135237372 4294950608 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/29190/statm: 419186 360889 95 177 0 419008 0
[pid=29190/tid=29192] ppid=29188 vsize=1676744 CPUtime=161.47
/proc/29190/task/29192/stat : 29192 (ttsth-5-0) R 29188 29190 15497 0 -1 4202560 16896 0 0 0 16085 62 0 0 20 0 17 0 657111419 1716985856 360889 18446744073709551615 134512640 135237372 4294950608 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=29190/tid=29193] ppid=29188 vsize=1676744 CPUtime=160.78
/proc/29190/task/29193/stat : 29193 (ttsth-5-0) R 29188 29190 15497 0 -1 4202560 24490 0 0 0 15266 812 0 0 20 0 17 0 657111419 1716985856 360889 18446744073709551615 134512640 135237372 4294950608 18446744073709551615 134562360 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=29190/tid=29194] ppid=29188 vsize=1676744 CPUtime=160.81
/proc/29190/task/29194/stat : 29194 (ttsth-5-0) R 29188 29190 15497 0 -1 4202560 20991 0 0 0 15315 766 0 0 20 0 17 0 657111419 1716985856 360889 18446744073709551615 134512640 135237372 4294950608 18446744073709551615 134562344 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=29190/tid=29195] ppid=29188 vsize=1676744 CPUtime=161.07
/proc/29190/task/29195/stat : 29195 (ttsth-5-0) R 29188 29190 15497 0 -1 4202560 17812 0 0 0 15501 606 0 0 20 0 17 0 657111419 1716985856 360889 18446744073709551615 134512640 135237372 4294950608 18446744073709551615 134593369 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=29190/tid=29196] ppid=29188 vsize=1676744 CPUtime=160.85
/proc/29190/task/29196/stat : 29196 (ttsth-5-0) R 29188 29190 15497 0 -1 4202560 23620 0 0 0 15309 776 0 0 20 0 17 0 657111419 1716985856 360889 18446744073709551615 134512640 135237372 4294950608 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=29190/tid=29197] ppid=29188 vsize=1676744 CPUtime=160.84
/proc/29190/task/29197/stat : 29197 (ttsth-5-0) R 29188 29190 15497 0 -1 4202560 18913 0 0 0 15256 828 0 0 20 0 17 0 657111419 1716985856 360889 18446744073709551615 134512640 135237372 4294950608 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=29190/tid=29198] ppid=29188 vsize=1676744 CPUtime=160.8
/proc/29190/task/29198/stat : 29198 (ttsth-5-0) R 29188 29190 15497 0 -1 4202560 18057 0 0 0 15266 814 0 0 20 0 17 0 657111419 1716985856 360889 18446744073709551615 134512640 135237372 4294950608 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=29190/tid=29199] ppid=29188 vsize=1676744 CPUtime=160.86
/proc/29190/task/29199/stat : 29199 (ttsth-5-0) R 29188 29190 15497 0 -1 4202560 25476 0 0 0 15396 690 0 0 20 0 17 0 657111419 1716985856 360889 18446744073709551615 134512640 135237372 4294950608 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=29190/tid=29200] ppid=29188 vsize=1676744 CPUtime=160.76
/proc/29190/task/29200/stat : 29200 (ttsth-5-0) R 29188 29190 15497 0 -1 4202560 25194 0 0 0 15288 788 0 0 20 0 17 0 657111419 1716985856 360889 18446744073709551615 134512640 135237372 4294950608 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=29190/tid=29201] ppid=29188 vsize=1676744 CPUtime=161.19
/proc/29190/task/29201/stat : 29201 (ttsth-5-0) R 29188 29190 15497 0 -1 4202560 21546 0 0 0 15601 518 0 0 20 0 17 0 657111419 1716985856 360889 18446744073709551615 134512640 135237372 4294950608 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=29190/tid=29202] ppid=29188 vsize=1676744 CPUtime=160.76
/proc/29190/task/29202/stat : 29202 (ttsth-5-0) R 29188 29190 15497 0 -1 4202560 28128 0 0 0 15342 734 0 0 20 0 17 0 657111419 1716985856 360889 18446744073709551615 134512640 135237372 4294950608 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=29190/tid=29203] ppid=29188 vsize=1676744 CPUtime=160.99
/proc/29190/task/29203/stat : 29203 (ttsth-5-0) R 29188 29190 15497 0 -1 4202560 24129 0 0 0 15377 722 0 0 20 0 17 0 657111420 1716985856 360889 18446744073709551615 134512640 135237372 4294950608 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=29190/tid=29204] ppid=29188 vsize=1676744 CPUtime=160.95
/proc/29190/task/29204/stat : 29204 (ttsth-5-0) R 29188 29190 15497 0 -1 4202560 24481 0 0 0 15355 740 0 0 20 0 17 0 657111420 1716985856 360890 18446744073709551615 134512640 135237372 4294950608 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=29190/tid=29205] ppid=29188 vsize=1676744 CPUtime=157.47
/proc/29190/task/29205/stat : 29205 (ttsth-5-0) R 29188 29190 15497 0 -1 4202560 19869 0 0 0 14935 812 0 0 20 0 17 0 657111420 1716985856 360890 18446744073709551615 134512640 135237372 4294950608 18446744073709551615 134562416 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=29190/tid=29206] ppid=29188 vsize=1676744 CPUtime=160.91
/proc/29190/task/29206/stat : 29206 (ttsth-5-0) R 29188 29190 15497 0 -1 4202560 20363 0 0 0 15357 734 0 0 20 0 17 0 657111420 1716985856 360890 18446744073709551615 134512640 135237372 4294950608 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=29190/tid=29207] ppid=29188 vsize=1676744 CPUtime=160.93
/proc/29190/task/29207/stat : 29207 (ttsth-5-0) R 29188 29190 15497 0 -1 4202560 22205 0 0 0 15399 694 0 0 20 0 17 0 657111420 1716985856 360890 18446744073709551615 134512640 135237372 4294950608 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 2572.41
Current children cumulated vsize (KiB) 1676744

[startup+222.304 s]
/proc/loadavg: 15.94 11.61 5.92 17/201 29215
/proc/meminfo: memFree=17164916/36427776 swapFree=4692/1832264
[pid=29190] ppid=29188 vsize=2087272 CPUtime=3530.21
/proc/29190/stat : 29190 (ttsth-5-0) S 29188 29190 15497 0 -1 4202496 456583 0 0 0 341256 11765 0 0 20 0 17 0 657111342 2137366528 456315 18446744073709551615 134512640 135237372 4294950608 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/29190/statm: 521818 456315 95 177 0 521640 0
[pid=29190/tid=29192] ppid=29188 vsize=2087272 CPUtime=221.47
/proc/29190/task/29192/stat : 29192 (ttsth-5-0) R 29188 29190 15497 0 -1 4202560 20879 0 0 0 22073 74 0 0 20 0 17 0 657111419 2137366528 456315 18446744073709551615 134512640 135237372 4294950608 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=29190/tid=29193] ppid=29188 vsize=2087272 CPUtime=220.68
/proc/29190/task/29193/stat : 29193 (ttsth-5-0) R 29188 29190 15497 0 -1 4202560 32474 0 0 0 21182 886 0 0 20 0 17 0 657111419 2137366528 456315 18446744073709551615 134512640 135237372 4294950608 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=29190/tid=29194] ppid=29188 vsize=2087272 CPUtime=220.73
/proc/29190/task/29194/stat : 29194 (ttsth-5-0) R 29188 29190 15497 0 -1 4202560 27593 0 0 0 21255 818 0 0 20 0 17 0 657111419 2137366528 456315 18446744073709551615 134512640 135237372 4294950608 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=29190/tid=29195] ppid=29188 vsize=2087272 CPUtime=221.03
/proc/29190/task/29195/stat : 29195 (ttsth-5-0) R 29188 29190 15497 0 -1 4202560 22271 0 0 0 21465 638 0 0 20 0 17 0 657111419 2137366528 456315 18446744073709551615 134512640 135237372 4294950608 18446744073709551615 134549896 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=29190/tid=29196] ppid=29188 vsize=2087272 CPUtime=220.78
/proc/29190/task/29196/stat : 29196 (ttsth-5-0) R 29188 29190 15497 0 -1 4202560 28653 0 0 0 21256 822 0 0 20 0 17 0 657111419 2137366528 456315 18446744073709551615 134512640 135237372 4294950608 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=29190/tid=29197] ppid=29188 vsize=2087272 CPUtime=220.78
/proc/29190/task/29197/stat : 29197 (ttsth-5-0) R 29188 29190 15497 0 -1 4202560 24243 0 0 0 21216 862 0 0 20 0 17 0 657111419 2137366528 456315 18446744073709551615 134512640 135237372 4294950608 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=29190/tid=29198] ppid=29188 vsize=2087272 CPUtime=220.73
/proc/29190/task/29198/stat : 29198 (ttsth-5-0) R 29188 29190 15497 0 -1 4202560 22207 0 0 0 21223 850 0 0 20 0 17 0 657111419 2137366528 456315 18446744073709551615 134512640 135237372 4294950608 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=29190/tid=29199] ppid=29188 vsize=2087272 CPUtime=220.82
/proc/29190/task/29199/stat : 29199 (ttsth-5-0) R 29188 29190 15497 0 -1 4202560 31624 0 0 0 21356 726 0 0 20 0 17 0 657111419 2137366528 456315 18446744073709551615 134512640 135237372 4294950608 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=29190/tid=29200] ppid=29188 vsize=2087272 CPUtime=220.69
/proc/29190/task/29200/stat : 29200 (ttsth-5-0) R 29188 29190 15497 0 -1 4202560 32462 0 0 0 21225 844 0 0 20 0 17 0 657111419 2137366528 456315 18446744073709551615 134512640 135237372 4294950608 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=29190/tid=29201] ppid=29188 vsize=2087272 CPUtime=221.16
/proc/29190/task/29201/stat : 29201 (ttsth-5-0) R 29188 29190 15497 0 -1 4202560 26123 0 0 0 21580 536 0 0 20 0 17 0 657111419 2137366528 456316 18446744073709551615 134512640 135237372 4294950608 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=29190/tid=29202] ppid=29188 vsize=2087272 CPUtime=220.69
/proc/29190/task/29202/stat : 29202 (ttsth-5-0) R 29188 29190 15497 0 -1 4202560 39144 0 0 0 21285 784 0 0 20 0 17 0 657111419 2137366528 456316 18446744073709551615 134512640 135237372 4294950608 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=29190/tid=29203] ppid=29188 vsize=2087272 CPUtime=220.93
/proc/29190/task/29203/stat : 29203 (ttsth-5-0) R 29188 29190 15497 0 -1 4202560 29583 0 0 0 21333 760 0 0 20 0 17 0 657111420 2137366528 456316 18446744073709551615 134512640 135237372 4294950608 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=29190/tid=29204] ppid=29188 vsize=2087272 CPUtime=220.9
/proc/29190/task/29204/stat : 29204 (ttsth-5-0) R 29188 29190 15497 0 -1 4202560 30055 0 0 0 21306 784 0 0 20 0 17 0 657111420 2137366528 456316 18446744073709551615 134512640 135237372 4294950608 18446744073709551615 134565869 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=29190/tid=29205] ppid=29188 vsize=2087272 CPUtime=216.25
/proc/29190/task/29205/stat : 29205 (ttsth-5-0) R 29188 29190 15497 0 -1 4202560 27233 0 0 0 20757 868 0 0 20 0 17 0 657111420 2137366528 456316 18446744073709551615 134512640 135237372 4294950608 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=29190/tid=29206] ppid=29188 vsize=2087272 CPUtime=220.85
/proc/29190/task/29206/stat : 29206 (ttsth-5-0) R 29188 29190 15497 0 -1 4202560 25484 0 0 0 21319 766 0 0 20 0 17 0 657111420 2137366528 456316 18446744073709551615 134512640 135237372 4294950608 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=29190/tid=29207] ppid=29188 vsize=2087272 CPUtime=220.87
/proc/29190/task/29207/stat : 29207 (ttsth-5-0) R 29188 29190 15497 0 -1 4202560 27567 0 0 0 21353 734 0 0 20 0 17 0 657111420 2137366528 456316 18446744073709551615 134512640 135237372 4294950608 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 3530.21
Current children cumulated vsize (KiB) 2087272



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+223.906 s]
/proc/loadavg: 15.94 11.61 5.92 17/201 29215
/proc/meminfo: memFree=17153312/36427776 swapFree=4692/1844192
[pid=29190] ppid=29188 vsize=2097024 CPUtime=3556
/proc/29190/stat : 29190 (ttsth-5-0) S 29188 29190 15497 0 -1 4202496 458946 0 0 0 343820 11780 0 0 20 0 17 0 657111342 2147352576 458678 18446744073709551615 134512640 135237372 4294950608 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/29190/statm: 524256 458678 95 177 0 524078 0
[pid=29190/tid=29192] ppid=29188 vsize=2097024 CPUtime=223.07
/proc/29190/task/29192/stat : 29192 (ttsth-5-0) R 29188 29190 15497 0 -1 4202560 20956 0 0 0 22233 74 0 0 20 0 17 0 657111419 2147352576 458679 18446744073709551615 134512640 135237372 4294950608 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=29190/tid=29193] ppid=29188 vsize=2097024 CPUtime=222.31
/proc/29190/task/29193/stat : 29193 (ttsth-5-0) R 29188 29190 15497 0 -1 4202560 32627 0 0 0 21343 888 0 0 20 0 17 0 657111419 2147352576 458679 18446744073709551615 134512640 135237372 4294950608 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=29190/tid=29194] ppid=29188 vsize=2097024 CPUtime=222.35
/proc/29190/task/29194/stat : 29194 (ttsth-5-0) R 29188 29190 15497 0 -1 4202560 27739 0 0 0 21415 820 0 0 20 0 17 0 657111419 2147352576 458679 18446744073709551615 134512640 135237372 4294950608 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=29190/tid=29195] ppid=29188 vsize=2097024 CPUtime=222.63
/proc/29190/task/29195/stat : 29195 (ttsth-5-0) R 29188 29190 15497 0 -1 4202560 22393 0 0 0 21623 640 0 0 20 0 17 0 657111419 2147352576 458679 18446744073709551615 134512640 135237372 4294950608 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=29190/tid=29196] ppid=29188 vsize=2097024 CPUtime=222.39
/proc/29190/task/29196/stat : 29196 (ttsth-5-0) R 29188 29190 15497 0 -1 4202560 28771 0 0 0 21417 822 0 0 20 0 17 0 657111419 2147352576 458679 18446744073709551615 134512640 135237372 4294950608 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=29190/tid=29197] ppid=29188 vsize=2097024 CPUtime=222.41
/proc/29190/task/29197/stat : 29197 (ttsth-5-0) R 29188 29190 15497 0 -1 4202560 24361 0 0 0 21377 864 0 0 20 0 17 0 657111419 2147352576 458679 18446744073709551615 134512640 135237372 4294950608 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=29190/tid=29198] ppid=29188 vsize=2097024 CPUtime=222.34
/proc/29190/task/29198/stat : 29198 (ttsth-5-0) R 29188 29190 15497 0 -1 4202560 22314 0 0 0 21384 850 0 0 20 0 17 0 657111419 2147352576 458679 18446744073709551615 134512640 135237372 4294950608 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=29190/tid=29199] ppid=29188 vsize=2097024 CPUtime=222.42
/proc/29190/task/29199/stat : 29199 (ttsth-5-0) R 29188 29190 15497 0 -1 4202560 31758 0 0 0 21516 726 0 0 20 0 17 0 657111419 2147352576 458679 18446744073709551615 134512640 135237372 4294950608 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=29190/tid=29200] ppid=29188 vsize=2097024 CPUtime=222.3
/proc/29190/task/29200/stat : 29200 (ttsth-5-0) R 29188 29190 15497 0 -1 4202560 32760 0 0 0 21384 846 0 0 20 0 17 0 657111419 2147352576 458679 18446744073709551615 134512640 135237372 4294950608 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=29190/tid=29201] ppid=29188 vsize=2097024 CPUtime=222.78
/proc/29190/task/29201/stat : 29201 (ttsth-5-0) R 29188 29190 15497 0 -1 4202560 26240 0 0 0 21740 538 0 0 20 0 17 0 657111419 2147352576 458679 18446744073709551615 134512640 135237372 4294950608 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=29190/tid=29202] ppid=29188 vsize=2097024 CPUtime=222.32
/proc/29190/task/29202/stat : 29202 (ttsth-5-0) R 29188 29190 15497 0 -1 4202560 39494 0 0 0 21446 786 0 0 20 0 17 0 657111419 2147352576 458679 18446744073709551615 134512640 135237372 4294950608 18446744073709551615 134591116 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=29190/tid=29203] ppid=29188 vsize=2097024 CPUtime=222.55
/proc/29190/task/29203/stat : 29203 (ttsth-5-0) R 29188 29190 15497 0 -1 4202560 29691 0 0 0 21493 762 0 0 20 0 17 0 657111420 2147352576 458679 18446744073709551615 134512640 135237372 4294950608 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=29190/tid=29204] ppid=29188 vsize=2097024 CPUtime=222.51
/proc/29190/task/29204/stat : 29204 (ttsth-5-0) R 29188 29190 15497 0 -1 4202560 30187 0 0 0 21467 784 0 0 20 0 17 0 657111420 2147352576 458679 18446744073709551615 134512640 135237372 4294950608 18446744073709551615 134562344 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=29190/tid=29205] ppid=29188 vsize=2097024 CPUtime=217.82
/proc/29190/task/29205/stat : 29205 (ttsth-5-0) R 29188 29190 15497 0 -1 4202560 27402 0 0 0 20914 868 0 0 20 0 17 0 657111420 2147352576 458679 18446744073709551615 134512640 135237372 4294950608 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=29190/tid=29206] ppid=29188 vsize=2097024 CPUtime=222.47
/proc/29190/task/29206/stat : 29206 (ttsth-5-0) R 29188 29190 15497 0 -1 4202560 25607 0 0 0 21481 766 0 0 20 0 17 0 657111420 2147352576 458679 18446744073709551615 134512640 135237372 4294950608 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=29190/tid=29207] ppid=29188 vsize=2097024 CPUtime=222.49
/proc/29190/task/29207/stat : 29207 (ttsth-5-0) R 29188 29190 15497 0 -1 4202560 27659 0 0 0 21513 736 0 0 20 0 17 0 657111420 2147352576 458679 18446744073709551615 134512640 135237372 4294950608 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 3556
Current children cumulated vsize (KiB) 2097024

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

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

[startup+224.025 s]
/proc/loadavg: 15.94 11.61 5.92 17/201 29215
/proc/meminfo: memFree=17153312/36427776 swapFree=4692/1844192
[pid=29190] ppid=29188 vsize=0 CPUtime=3556.3
/proc/29190/stat : 29190 (ttsth-5-0) Z 29188 29190 15497 0 -1 4203532 458953 0 0 0 343834 11796 0 0 20 0 2 0 657111342 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/29190/statm: 0 0 0 0 0 0 0
[pid=29190/tid=29207] ppid=29188 vsize=0 CPUtime=222.6
/proc/29190/task/29207/stat : 29207 (ttsth-5-0) R 29188 29190 15497 0 -1 4203588 27659 0 0 0 21514 746 0 0 20 0 2 0 657111420 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) 3556.3
Current children cumulated vsize (KiB) 0

[startup+224.101 s]
/proc/loadavg: 15.94 11.61 5.92 17/201 29215
/proc/meminfo: memFree=17153312/36427776 swapFree=4692/1844192
[pid=29190] ppid=29188 vsize=0 CPUtime=3556.37
/proc/29190/stat : 29190 (ttsth-5-0) Z 29188 29190 15497 0 -1 4203532 458953 0 0 0 343834 11803 0 0 20 0 2 0 657111342 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/29190/statm: 0 0 0 0 0 0 0
[pid=29190/tid=29207] ppid=29188 vsize=0 CPUtime=222.66
/proc/29190/task/29207/stat : 29207 (ttsth-5-0) R 29188 29190 15497 0 -1 4203588 27659 0 0 0 21514 752 0 0 20 0 2 0 657111420 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) 3556.37
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 224.12
CPU time (s): 3556.4
CPU user time (s): 3438.36
CPU system time (s): 118.043
CPU usage (%): 1586.83
Max. virtual memory (cumulated for all children) (KiB): 2097024

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3438.36
system time used= 118.043
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 458953
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= 100132
involuntary context switches= 8552

runsolver used 0.976061 second user time and 3.38021 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-14 13:14:10
IDJOB=1780770
IDBENCH=71065
IDSOLVER=634
FILE ID=xenhost3-49/1780770-1244978050
PBS_JOBID=
Free space on /tmp= 7022 MiB

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

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

MD5SUM BENCH= 0b7170d33b896e8b879b19b65ac5c517
RANDOM SEED= 987185944

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:      18990968 kB
Buffers:        524752 kB
Cached:       14118864 kB
SwapCached:          0 kB
Active:        4171264 kB
Inactive:     10481448 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:            2004 kB
Writeback:           0 kB
AnonPages:        7816 kB
Mapped:           3716 kB
Slab:           733500 kB
SReclaimable:   706652 kB
SUnreclaim:      26848 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= 7022 MiB
End job on xenhost3-49 at 2009-06-14 13:17:56