Trace number 1780995

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) 3260.08 205.418

General information on the benchmark

NameAPPLICATIONS/satComp09_BioInstances/
rpoc_xits_07_UNSAT.cnf
MD5SUMa30111c778b4a83ebe950f77b63a1b33
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark710.19
Satisfiable
(Un)Satisfiability was proved
Number of variables1128
Number of clauses63345
Sum of the clauses size188200
Maximum clause length8
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 21950
Number of clauses of size 361372
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 523

Solver Data 

0.06/0.06	c Command: HOME/ttsth-5-0 -num-threads 16 HOME/instance-1780995-1244980083.cnf 
0.06/0.06	c Using SATTIMEOUT of 10000
0.06/0.06	c Using SATRAM of 2047
0.06/0.06	c Size of subset node = 16
0.06/0.06	c Variables = 1128
0.06/0.06	c Clauses = 63345
0.06/0.06	c Literals = 188200
0.06/0.06	c Reduced size:
0.06/0.06	c Variables = 1128
0.06/0.06	c Clauses = 63345
0.06/0.06	c Literals = 188200
0.06/0.06	c a2
0.10/0.18	c a1
0.30/0.37	c Independent sub-problems = 1
0.30/0.37	c Sub-problem with 1128 variables and 63345 clauses
0.30/0.37	c using permutation method 4
0.30/0.37	c count = 1
0.30/0.37	c Ordering finished 0.350 seconds
0.30/0.37	c mapped 0.370 seconds
0.30/0.37	c permuted 0.370 seconds
0.30/0.37	c about to sort
0.30/0.39	c sorted
0.58/0.64	c clauses now 63345
0.58/0.64	c init finished 0.410 seconds
0.58/0.64	c tree built 0.640 seconds
0.58/0.64	c 
0.58/0.64	c PA progress                      | CPU progress Partial assignments | improvements      CPU time        PA/sec        nodes
0.58/0.64	c ---------------------------------|----------------------------------|------------------------------------------------------
0.58/0.64	c ................................ | ..........                       |                        0.6           0.0             
0.58/0.64	c ................................ | ..........                     1 |                        0.6           1.6             
0.58/0.64	c ................................ | ..........                     2 |                        0.6           3.1             
0.58/0.64	c ................................ | ..........                     3 |                        0.6           4.7             
0.58/0.64	c ................................ | ..........                     4 |                        0.6           6.2             
0.58/0.64	c ................................ | ..........                     5 |                        0.6           7.8             
0.58/0.68	c ................................ | ..........                  1000 | 3                      0.9        1063.8         3181
239.22/15.87	c ................................ | ..........                416000 | 27804                200.4        2076.2     11986676
448.74/29.01	c ................................ | ..........                645000 | 43659                400.5        1610.5     23000740
653.72/41.93	c ................................ | ..........                773000 | 58232                601.5        1285.1     31793102
856.12/54.66	c ................................ | ..........                873000 | 67679                801.2        1089.6     39873488
1056.95/67.26	c ................................ | *.........                984000 | 82427               1000.0         984.0     47536138
1260.92/80.06	c ................................ | *.........               1091000 | 95348               1202.3         907.4     54806596
1460.36/92.56	c ................................ | *.........               1197000 | 104976              1400.5         854.7     61551539
1661.41/105.19	c ................................ | *.........               1301000 | 113174              1601.4         812.4     68708118
1862.76/117.74	c ................................ | *.........               1374000 | 119382              1801.5         762.7     74959103
2062.12/130.29	c ................................ | **........               1459000 | 127257              2001.7         728.9     80182623

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-1780995-1244980083/watcher-1780995-1244980083 -o /tmp/evaluation-result-1780995-1244980083/solver-1780995-1244980083 -C 10000 -W 1000 -M 2047 HOME/ttsth-5-0 -num-threads 16 HOME/instance-1780995-1244980083.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.61 15.14 13.82 2/184 30053
/proc/meminfo: memFree=18990136/36427776 swapFree=3656/7344
[pid=30053] ppid=30051 vsize=1540 CPUtime=0
/proc/30053/stat : 30053 (ttsth-5-0) R 30051 30053 15497 0 -1 4202496 275 0 0 0 0 0 0 0 20 0 1 0 657314626 1576960 231 18446744073709551615 134512640 135237372 4291037984 18446744073709551615 134732614 0 0 1 0 0 0 0 17 2 0 0 0 0 0
/proc/30053/statm: 385 231 75 177 0 207 0

[startup+0.060275 s]
/proc/loadavg: 14.61 15.14 13.82 2/184 30053
/proc/meminfo: memFree=18990136/36427776 swapFree=3656/7344
[pid=30053] ppid=30051 vsize=4808 CPUtime=0.06
/proc/30053/stat : 30053 (ttsth-5-0) R 30051 30053 15497 0 -1 4202496 1056 0 0 0 6 0 0 0 20 0 1 0 657314626 4923392 1012 18446744073709551615 134512640 135237372 4291037984 18446744073709551615 134885933 0 0 1 0 0 0 0 17 2 0 0 0 0 0
/proc/30053/statm: 1202 1013 75 177 0 1024 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 4808

[startup+0.100305 s]
/proc/loadavg: 14.61 15.14 13.82 2/184 30053
/proc/meminfo: memFree=18990136/36427776 swapFree=3656/7344
[pid=30053] ppid=30051 vsize=9708 CPUtime=0.1
/proc/30053/stat : 30053 (ttsth-5-0) R 30051 30053 15497 0 -1 4202496 2206 0 0 0 8 2 0 0 20 0 1 0 657314626 9940992 2161 18446744073709551615 134512640 135237372 4291037984 18446744073709551615 134680364 0 0 1 0 0 0 0 17 2 0 0 0 0 0
/proc/30053/statm: 2427 2161 76 177 0 2249 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9708

[startup+0.300345 s]
/proc/loadavg: 14.61 15.14 13.82 2/184 30053
/proc/meminfo: memFree=18990136/36427776 swapFree=3656/7344
[pid=30053] ppid=30051 vsize=9856 CPUtime=0.3
/proc/30053/stat : 30053 (ttsth-5-0) R 30051 30053 15497 0 -1 4202496 2501 0 0 0 28 2 0 0 20 0 1 0 657314626 10092544 2332 18446744073709551615 134512640 135237372 4291037984 18446744073709551615 134735855 0 0 1 0 0 0 0 17 2 0 0 0 0 0
/proc/30053/statm: 2464 2332 77 177 0 2286 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 9856

[startup+0.703688 s]
/proc/loadavg: 14.61 15.14 13.82 2/184 30053
/proc/meminfo: memFree=18990136/36427776 swapFree=3656/7344
[pid=30053] ppid=30051 vsize=167092 CPUtime=1.45
/proc/30053/stat : 30053 (ttsth-5-0) S 30051 30053 15497 0 -1 4202496 8320 0 0 0 69 76 0 0 20 0 17 0 657314626 171102208 8089 18446744073709551615 134512640 135237372 4291037984 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30053/statm: 41773 8089 95 177 0 41595 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 167092

[startup+1.50557 s]
/proc/loadavg: 14.61 15.14 13.82 17/201 30070
/proc/meminfo: memFree=18955696/36427776 swapFree=4692/43260
[pid=30053] ppid=30051 vsize=175396 CPUtime=14.06
/proc/30053/stat : 30053 (ttsth-5-0) S 30051 30053 15497 0 -1 4202496 10547 0 0 0 520 886 0 0 20 0 17 0 657314626 179605504 10316 18446744073709551615 134512640 135237372 4291037984 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30053/statm: 43849 10318 95 177 0 43671 0
[pid=30053/tid=30055] ppid=30051 vsize=175396 CPUtime=0.84
/proc/30053/task/30055/stat : 30055 (ttsth-5-0) R 30051 30053 15497 0 -1 4202560 579 0 0 0 82 2 0 0 20 0 17 0 657314690 179605504 10318 18446744073709551615 134512640 135237372 4291037984 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=30053/tid=30056] ppid=30051 vsize=175396 CPUtime=0.82
/proc/30053/task/30056/stat : 30056 (ttsth-5-0) R 30051 30053 15497 0 -1 4202560 136 0 0 0 24 58 0 0 20 0 17 0 657314690 179605504 10318 18446744073709551615 134512640 135237372 4291037984 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=30053/tid=30057] ppid=30051 vsize=175396 CPUtime=0.84
/proc/30053/task/30057/stat : 30057 (ttsth-5-0) S 30051 30053 15497 0 -1 4202560 178 0 0 0 20 64 0 0 20 0 17 0 657314690 179605504 10318 18446744073709551615 134512640 135237372 4291037984 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=30053/tid=30058] ppid=30051 vsize=175396 CPUtime=0.84
/proc/30053/task/30058/stat : 30058 (ttsth-5-0) R 30051 30053 15497 0 -1 4202560 151 0 0 0 28 56 0 0 20 0 17 0 657314690 179605504 10319 18446744073709551615 134512640 135237372 4291037984 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=30053/tid=30059] ppid=30051 vsize=175396 CPUtime=0.82
/proc/30053/task/30059/stat : 30059 (ttsth-5-0) R 30051 30053 15497 0 -1 4202560 97 0 0 0 26 56 0 0 20 0 17 0 657314690 179605504 10319 18446744073709551615 134512640 135237372 4291037984 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=30053/tid=30060] ppid=30051 vsize=175396 CPUtime=0.82
/proc/30053/task/30060/stat : 30060 (ttsth-5-0) R 30051 30053 15497 0 -1 4202560 123 0 0 0 18 64 0 0 20 0 17 0 657314690 179605504 10320 18446744073709551615 134512640 135237372 4291037984 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=30053/tid=30061] ppid=30051 vsize=175396 CPUtime=0.84
/proc/30053/task/30061/stat : 30061 (ttsth-5-0) R 30051 30053 15497 0 -1 4202560 125 0 0 0 22 62 0 0 20 0 17 0 657314690 179605504 10320 18446744073709551615 134512640 135237372 4291037984 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=30053/tid=30062] ppid=30051 vsize=175396 CPUtime=0.84
/proc/30053/task/30062/stat : 30062 (ttsth-5-0) R 30051 30053 15497 0 -1 4202560 136 0 0 0 18 66 0 0 20 0 17 0 657314690 179605504 10320 18446744073709551615 134512640 135237372 4291037984 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=30053/tid=30063] ppid=30051 vsize=175396 CPUtime=0.84
/proc/30053/task/30063/stat : 30063 (ttsth-5-0) R 30051 30053 15497 0 -1 4202560 132 0 0 0 28 56 0 0 20 0 17 0 657314690 179605504 10320 18446744073709551615 134512640 135237372 4291037984 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30053/tid=30064] ppid=30051 vsize=175396 CPUtime=0.84
/proc/30053/task/30064/stat : 30064 (ttsth-5-0) R 30051 30053 15497 0 -1 4202560 135 0 0 0 32 52 0 0 20 0 17 0 657314690 179605504 10320 18446744073709551615 134512640 135237372 4291037984 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=30053/tid=30065] ppid=30051 vsize=175396 CPUtime=0.84
/proc/30053/task/30065/stat : 30065 (ttsth-5-0) R 30051 30053 15497 0 -1 4202560 135 0 0 0 22 62 0 0 20 0 17 0 657314690 179605504 10320 18446744073709551615 134512640 135237372 4291037984 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=30053/tid=30066] ppid=30051 vsize=175396 CPUtime=0.84
/proc/30053/task/30066/stat : 30066 (ttsth-5-0) R 30051 30053 15497 0 -1 4202560 157 0 0 0 28 56 0 0 20 0 17 0 657314690 179605504 10320 18446744073709551615 134512640 135237372 4291037984 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=30053/tid=30067] ppid=30051 vsize=175396 CPUtime=0.84
/proc/30053/task/30067/stat : 30067 (ttsth-5-0) R 30051 30053 15497 0 -1 4202560 131 0 0 0 24 60 0 0 20 0 17 0 657314690 179605504 10320 18446744073709551615 134512640 135237372 4291037984 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=30053/tid=30068] ppid=30051 vsize=175396 CPUtime=0.82
/proc/30053/task/30068/stat : 30068 (ttsth-5-0) R 30051 30053 15497 0 -1 4202560 163 0 0 0 28 54 0 0 20 0 17 0 657314690 179605504 10320 18446744073709551615 134512640 135237372 4291037984 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=30053/tid=30069] ppid=30051 vsize=175396 CPUtime=0.82
/proc/30053/task/30069/stat : 30069 (ttsth-5-0) R 30051 30053 15497 0 -1 4202560 150 0 0 0 28 54 0 0 20 0 17 0 657314690 179605504 10320 18446744073709551615 134512640 135237372 4291037984 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=30053/tid=30070] ppid=30051 vsize=175396 CPUtime=0.82
/proc/30053/task/30070/stat : 30070 (ttsth-5-0) R 30051 30053 15497 0 -1 4202560 100 0 0 0 26 56 0 0 20 0 17 0 657314690 179605504 10320 18446744073709551615 134512640 135237372 4291037984 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 14.06
Current children cumulated vsize (KiB) 175396

[startup+3.10466 s]
/proc/loadavg: 14.61 15.14 13.82 17/201 30070
/proc/meminfo: memFree=18945208/36427776 swapFree=4692/55088
[pid=30053] ppid=30051 vsize=194212 CPUtime=39.09
/proc/30053/stat : 30053 (ttsth-5-0) S 30051 30053 15497 0 -1 4202496 15248 0 0 0 1717 2192 0 0 20 0 17 0 657314626 198873088 15017 18446744073709551615 134512640 135237372 4291037984 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30053/statm: 48553 15018 95 177 0 48375 0
[pid=30053/tid=30055] ppid=30051 vsize=194212 CPUtime=2.44
/proc/30053/task/30055/stat : 30055 (ttsth-5-0) R 30051 30053 15497 0 -1 4202560 1341 0 0 0 240 4 0 0 20 0 17 0 657314690 198873088 15018 18446744073709551615 134512640 135237372 4291037984 18446744073709551615 134749362 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=30053/tid=30056] ppid=30051 vsize=194212 CPUtime=2.38
/proc/30053/task/30056/stat : 30056 (ttsth-5-0) R 30051 30053 15497 0 -1 4202560 374 0 0 0 92 146 0 0 20 0 17 0 657314690 198873088 15018 18446744073709551615 134512640 135237372 4291037984 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=30053/tid=30057] ppid=30051 vsize=194212 CPUtime=2.4
/proc/30053/task/30057/stat : 30057 (ttsth-5-0) R 30051 30053 15497 0 -1 4202560 434 0 0 0 90 150 0 0 20 0 17 0 657314690 198873088 15018 18446744073709551615 134512640 135237372 4291037984 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=30053/tid=30058] ppid=30051 vsize=194212 CPUtime=2.4
/proc/30053/task/30058/stat : 30058 (ttsth-5-0) R 30051 30053 15497 0 -1 4202560 375 0 0 0 98 142 0 0 20 0 17 0 657314690 198873088 15018 18446744073709551615 134512640 135237372 4291037984 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=30053/tid=30059] ppid=30051 vsize=194212 CPUtime=2.4
/proc/30053/task/30059/stat : 30059 (ttsth-5-0) R 30051 30053 15497 0 -1 4202560 256 0 0 0 94 146 0 0 20 0 17 0 657314690 198873088 15018 18446744073709551615 134512640 135237372 4291037984 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=30053/tid=30060] ppid=30051 vsize=194212 CPUtime=2.4
/proc/30053/task/30060/stat : 30060 (ttsth-5-0) R 30051 30053 15497 0 -1 4202560 355 0 0 0 86 154 0 0 20 0 17 0 657314690 198873088 15018 18446744073709551615 134512640 135237372 4291037984 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=30053/tid=30061] ppid=30051 vsize=194212 CPUtime=2.4
/proc/30053/task/30061/stat : 30061 (ttsth-5-0) R 30051 30053 15497 0 -1 4202560 376 0 0 0 92 148 0 0 20 0 17 0 657314690 198873088 15018 18446744073709551615 134512640 135237372 4291037984 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=30053/tid=30062] ppid=30051 vsize=194212 CPUtime=2.4
/proc/30053/task/30062/stat : 30062 (ttsth-5-0) R 30051 30053 15497 0 -1 4202560 393 0 0 0 86 154 0 0 20 0 17 0 657314690 198873088 15019 18446744073709551615 134512640 135237372 4291037984 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=30053/tid=30063] ppid=30051 vsize=194212 CPUtime=2.4
/proc/30053/task/30063/stat : 30063 (ttsth-5-0) R 30051 30053 15497 0 -1 4202560 356 0 0 0 102 138 0 0 20 0 17 0 657314690 198873088 15019 18446744073709551615 134512640 135237372 4291037984 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30053/tid=30064] ppid=30051 vsize=194212 CPUtime=2.4
/proc/30053/task/30064/stat : 30064 (ttsth-5-0) R 30051 30053 15497 0 -1 4202560 587 0 0 0 118 122 0 0 20 0 17 0 657314690 198873088 15019 18446744073709551615 134512640 135237372 4291037984 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=30053/tid=30065] ppid=30051 vsize=194212 CPUtime=2.38
/proc/30053/task/30065/stat : 30065 (ttsth-5-0) R 30051 30053 15497 0 -1 4202560 457 0 0 0 84 154 0 0 20 0 17 0 657314690 198873088 15019 18446744073709551615 134512640 135237372 4291037984 18446744073709551615 134591069 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=30053/tid=30066] ppid=30051 vsize=194212 CPUtime=2.4
/proc/30053/task/30066/stat : 30066 (ttsth-5-0) R 30051 30053 15497 0 -1 4202560 532 0 0 0 98 142 0 0 20 0 17 0 657314690 198873088 15020 18446744073709551615 134512640 135237372 4291037984 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=30053/tid=30067] ppid=30051 vsize=194212 CPUtime=2.38
/proc/30053/task/30067/stat : 30067 (ttsth-5-0) R 30051 30053 15497 0 -1 4202560 352 0 0 0 82 156 0 0 20 0 17 0 657314690 198873088 15020 18446744073709551615 134512640 135237372 4291037984 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=30053/tid=30068] ppid=30051 vsize=194212 CPUtime=2.36
/proc/30053/task/30068/stat : 30068 (ttsth-5-0) R 30051 30053 15497 0 -1 4202560 432 0 0 0 98 138 0 0 20 0 17 0 657314690 198873088 15020 18446744073709551615 134512640 135237372 4291037984 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=30053/tid=30069] ppid=30051 vsize=194212 CPUtime=2.4
/proc/30053/task/30069/stat : 30069 (ttsth-5-0) R 30051 30053 15497 0 -1 4202560 467 0 0 0 96 144 0 0 20 0 17 0 657314690 198873088 15020 18446744073709551615 134512640 135237372 4291037984 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=30053/tid=30070] ppid=30051 vsize=194212 CPUtime=2.38
/proc/30053/task/30070/stat : 30070 (ttsth-5-0) R 30051 30053 15497 0 -1 4202560 240 0 0 0 94 144 0 0 20 0 17 0 657314690 198873088 15020 18446744073709551615 134512640 135237372 4291037984 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 39.09
Current children cumulated vsize (KiB) 194212

[startup+6.30598 s]
/proc/loadavg: 14.72 15.15 13.83 17/201 30070
/proc/meminfo: memFree=18905116/36427776 swapFree=4692/95668
[pid=30053] ppid=30051 vsize=239012 CPUtime=89.33
/proc/30053/stat : 30053 (ttsth-5-0) S 30051 30053 15497 0 -1 4202496 25557 0 0 0 4885 4048 0 0 20 0 17 0 657314626 244748288 25326 18446744073709551615 134512640 135237372 4291037984 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30053/statm: 59753 25326 95 177 0 59575 0
[pid=30053/tid=30055] ppid=30051 vsize=239012 CPUtime=5.64
/proc/30053/task/30055/stat : 30055 (ttsth-5-0) R 30051 30053 15497 0 -1 4202560 2553 0 0 0 558 6 0 0 20 0 17 0 657314690 244748288 25326 18446744073709551615 134512640 135237372 4291037984 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=30053/tid=30056] ppid=30051 vsize=239012 CPUtime=5.52
/proc/30053/task/30056/stat : 30056 (ttsth-5-0) R 30051 30053 15497 0 -1 4202560 961 0 0 0 266 286 0 0 20 0 17 0 657314690 244748288 25326 18446744073709551615 134512640 135237372 4291037984 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=30053/tid=30057] ppid=30051 vsize=239012 CPUtime=5.54
/proc/30053/task/30057/stat : 30057 (ttsth-5-0) R 30051 30053 15497 0 -1 4202560 978 0 0 0 278 276 0 0 20 0 17 0 657314690 244748288 25326 18446744073709551615 134512640 135237372 4291037984 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=30053/tid=30058] ppid=30051 vsize=239012 CPUtime=5.54
/proc/30053/task/30058/stat : 30058 (ttsth-5-0) R 30051 30053 15497 0 -1 4202560 867 0 0 0 294 260 0 0 20 0 17 0 657314690 244748288 25326 18446744073709551615 134512640 135237372 4291037984 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=30053/tid=30059] ppid=30051 vsize=239012 CPUtime=5.54
/proc/30053/task/30059/stat : 30059 (ttsth-5-0) R 30051 30053 15497 0 -1 4202560 848 0 0 0 284 270 0 0 20 0 17 0 657314690 244748288 25326 18446744073709551615 134512640 135237372 4291037984 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=30053/tid=30060] ppid=30051 vsize=239012 CPUtime=5.54
/proc/30053/task/30060/stat : 30060 (ttsth-5-0) R 30051 30053 15497 0 -1 4202560 798 0 0 0 262 292 0 0 20 0 17 0 657314690 244748288 25326 18446744073709551615 134512640 135237372 4291037984 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=30053/tid=30061] ppid=30051 vsize=239012 CPUtime=5.52
/proc/30053/task/30061/stat : 30061 (ttsth-5-0) R 30051 30053 15497 0 -1 4202560 1024 0 0 0 276 276 0 0 20 0 17 0 657314690 244748288 25326 18446744073709551615 134512640 135237372 4291037984 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=30053/tid=30062] ppid=30051 vsize=239012 CPUtime=5.54
/proc/30053/task/30062/stat : 30062 (ttsth-5-0) R 30051 30053 15497 0 -1 4202560 995 0 0 0 266 288 0 0 20 0 17 0 657314690 244748288 25326 18446744073709551615 134512640 135237372 4291037984 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=30053/tid=30063] ppid=30051 vsize=239012 CPUtime=5.54
/proc/30053/task/30063/stat : 30063 (ttsth-5-0) R 30051 30053 15497 0 -1 4202560 1025 0 0 0 302 252 0 0 20 0 17 0 657314690 244748288 25326 18446744073709551615 134512640 135237372 4291037984 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30053/tid=30064] ppid=30051 vsize=239012 CPUtime=5.54
/proc/30053/task/30064/stat : 30064 (ttsth-5-0) R 30051 30053 15497 0 -1 4202560 1153 0 0 0 318 236 0 0 20 0 17 0 657314690 244748288 25326 18446744073709551615 134512640 135237372 4291037984 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=30053/tid=30065] ppid=30051 vsize=239012 CPUtime=5.54
/proc/30053/task/30065/stat : 30065 (ttsth-5-0) R 30051 30053 15497 0 -1 4202560 1234 0 0 0 276 278 0 0 20 0 17 0 657314690 244748288 25326 18446744073709551615 134512640 135237372 4291037984 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=30053/tid=30066] ppid=30051 vsize=239012 CPUtime=5.56
/proc/30053/task/30066/stat : 30066 (ttsth-5-0) R 30051 30053 15497 0 -1 4202560 1411 0 0 0 290 266 0 0 20 0 17 0 657314690 244748288 25326 18446744073709551615 134512640 135237372 4291037984 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=30053/tid=30067] ppid=30051 vsize=239012 CPUtime=5.54
/proc/30053/task/30067/stat : 30067 (ttsth-5-0) R 30051 30053 15497 0 -1 4202560 948 0 0 0 282 272 0 0 20 0 17 0 657314690 244748288 25326 18446744073709551615 134512640 135237372 4291037984 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=30053/tid=30068] ppid=30051 vsize=239012 CPUtime=5.42
/proc/30053/task/30068/stat : 30068 (ttsth-5-0) R 30051 30053 15497 0 -1 4202560 1091 0 0 0 286 256 0 0 20 0 17 0 657314690 244748288 25327 18446744073709551615 134512640 135237372 4291037984 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=30053/tid=30069] ppid=30051 vsize=239012 CPUtime=5.54
/proc/30053/task/30069/stat : 30069 (ttsth-5-0) R 30051 30053 15497 0 -1 4202560 1121 0 0 0 304 250 0 0 20 0 17 0 657314690 244748288 25328 18446744073709551615 134512640 135237372 4291037984 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=30053/tid=30070] ppid=30051 vsize=239012 CPUtime=5.52
/proc/30053/task/30070/stat : 30070 (ttsth-5-0) R 30051 30053 15497 0 -1 4202560 628 0 0 0 278 274 0 0 20 0 17 0 657314690 244748288 25328 18446744073709551615 134512640 135237372 4291037984 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 89.33
Current children cumulated vsize (KiB) 239012

[startup+12.7046 s]
/proc/loadavg: 14.82 15.16 13.85 17/201 30070
/proc/meminfo: memFree=18811780/36427776 swapFree=4692/187672
[pid=30053] ppid=30051 vsize=333532 CPUtime=190.23
/proc/30053/stat : 30053 (ttsth-5-0) S 30051 30053 15497 0 -1 4202496 47909 0 0 0 12299 6724 0 0 20 0 17 0 657314626 341536768 47678 18446744073709551615 134512640 135237372 4291037984 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30053/statm: 83383 47678 95 177 0 83205 0
[pid=30053/tid=30055] ppid=30051 vsize=333532 CPUtime=12.04
/proc/30053/task/30055/stat : 30055 (ttsth-5-0) R 30051 30053 15497 0 -1 4202560 4930 0 0 0 1194 10 0 0 20 0 17 0 657314690 341536768 47678 18446744073709551615 134512640 135237372 4291037984 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=30053/tid=30056] ppid=30051 vsize=333532 CPUtime=11.82
/proc/30053/task/30056/stat : 30056 (ttsth-5-0) R 30051 30053 15497 0 -1 4202560 2422 0 0 0 718 464 0 0 20 0 17 0 657314690 341536768 47678 18446744073709551615 134512640 135237372 4291037984 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=30053/tid=30057] ppid=30051 vsize=333532 CPUtime=11.82
/proc/30053/task/30057/stat : 30057 (ttsth-5-0) R 30051 30053 15497 0 -1 4202560 2397 0 0 0 728 454 0 0 20 0 17 0 657314690 341536768 47678 18446744073709551615 134512640 135237372 4291037984 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=30053/tid=30058] ppid=30051 vsize=333532 CPUtime=11.84
/proc/30053/task/30058/stat : 30058 (ttsth-5-0) R 30051 30053 15497 0 -1 4202560 2051 0 0 0 752 432 0 0 20 0 17 0 657314690 341536768 47678 18446744073709551615 134512640 135237372 4291037984 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=30053/tid=30059] ppid=30051 vsize=333532 CPUtime=11.84
/proc/30053/task/30059/stat : 30059 (ttsth-5-0) R 30051 30053 15497 0 -1 4202560 2303 0 0 0 740 444 0 0 20 0 17 0 657314690 341536768 47678 18446744073709551615 134512640 135237372 4291037984 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=30053/tid=30060] ppid=30051 vsize=333532 CPUtime=11.84
/proc/30053/task/30060/stat : 30060 (ttsth-5-0) R 30051 30053 15497 0 -1 4202560 2011 0 0 0 732 452 0 0 20 0 17 0 657314690 341536768 47679 18446744073709551615 134512640 135237372 4291037984 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=30053/tid=30061] ppid=30051 vsize=333532 CPUtime=11.82
/proc/30053/task/30061/stat : 30061 (ttsth-5-0) R 30051 30053 15497 0 -1 4202560 2430 0 0 0 716 466 0 0 20 0 17 0 657314690 341536768 47679 18446744073709551615 134512640 135237372 4291037984 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=30053/tid=30062] ppid=30051 vsize=333532 CPUtime=11.82
/proc/30053/task/30062/stat : 30062 (ttsth-5-0) R 30051 30053 15497 0 -1 4202560 2143 0 0 0 706 476 0 0 20 0 17 0 657314690 341536768 47679 18446744073709551615 134512640 135237372 4291037984 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0

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

/proc/30053/task/30058/stat : 30058 (ttsth-5-0) R 30051 30053 15497 0 -1 4202560 7454 0 0 0 4351 652 0 0 20 0 17 0 657314690 845279232 162784 18446744073709551615 134512640 135237372 4291037984 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=30053/tid=30059] ppid=30051 vsize=825468 CPUtime=49.92
/proc/30053/task/30059/stat : 30059 (ttsth-5-0) R 30051 30053 15497 0 -1 4202560 10602 0 0 0 4242 750 0 0 20 0 17 0 657314690 845279232 162784 18446744073709551615 134512640 135237372 4291037984 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=30053/tid=30060] ppid=30051 vsize=825468 CPUtime=50.07
/proc/30053/task/30060/stat : 30060 (ttsth-5-0) R 30051 30053 15497 0 -1 4202560 7346 0 0 0 4347 660 0 0 20 0 17 0 657314690 845279232 162785 18446744073709551615 134512640 135237372 4291037984 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=30053/tid=30061] ppid=30051 vsize=825468 CPUtime=49.98
/proc/30053/task/30061/stat : 30061 (ttsth-5-0) R 30051 30053 15497 0 -1 4202560 11001 0 0 0 4288 710 0 0 20 0 17 0 657314690 845279232 162785 18446744073709551615 134512640 135237372 4291037984 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=30053/tid=30062] ppid=30051 vsize=825468 CPUtime=49.99
/proc/30053/task/30062/stat : 30062 (ttsth-5-0) R 30051 30053 15497 0 -1 4202560 9542 0 0 0 4289 710 0 0 20 0 17 0 657314690 845279232 162785 18446744073709551615 134512640 135237372 4291037984 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=30053/tid=30063] ppid=30051 vsize=825468 CPUtime=50.02
/proc/30053/task/30063/stat : 30063 (ttsth-5-0) R 30051 30053 15497 0 -1 4202560 12225 0 0 0 4318 684 0 0 20 0 17 0 657314690 845279232 162785 18446744073709551615 134512640 135237372 4291037984 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30053/tid=30064] ppid=30051 vsize=825468 CPUtime=49.99
/proc/30053/task/30064/stat : 30064 (ttsth-5-0) R 30051 30053 15497 0 -1 4202560 10365 0 0 0 4275 724 0 0 20 0 17 0 657314690 845279232 162785 18446744073709551615 134512640 135237372 4291037984 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=30053/tid=30065] ppid=30051 vsize=825468 CPUtime=50.02
/proc/30053/task/30065/stat : 30065 (ttsth-5-0) R 30051 30053 15497 0 -1 4202560 9610 0 0 0 4314 688 0 0 20 0 17 0 657314690 845279232 162785 18446744073709551615 134512640 135237372 4291037984 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=30053/tid=30066] ppid=30051 vsize=825468 CPUtime=50.08
/proc/30053/task/30066/stat : 30066 (ttsth-5-0) R 30051 30053 15497 0 -1 4202560 9887 0 0 0 4324 684 0 0 20 0 17 0 657314690 845279232 162785 18446744073709551615 134512640 135237372 4291037984 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=30053/tid=30067] ppid=30051 vsize=825468 CPUtime=50.1
/proc/30053/task/30067/stat : 30067 (ttsth-5-0) R 30051 30053 15497 0 -1 4202560 7151 0 0 0 4364 646 0 0 20 0 17 0 657314690 845279232 162785 18446744073709551615 134512640 135237372 4291037984 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=30053/tid=30068] ppid=30051 vsize=825468 CPUtime=49.03
/proc/30053/task/30068/stat : 30068 (ttsth-5-0) R 30051 30053 15497 0 -1 4202560 9143 0 0 0 4239 664 0 0 20 0 17 0 657314690 845279232 162785 18446744073709551615 134512640 135237372 4291037984 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=30053/tid=30069] ppid=30051 vsize=825468 CPUtime=50.09
/proc/30053/task/30069/stat : 30069 (ttsth-5-0) R 30051 30053 15497 0 -1 4202560 7554 0 0 0 4385 624 0 0 20 0 17 0 657314690 845279232 162785 18446744073709551615 134512640 135237372 4291037984 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=30053/tid=30070] ppid=30051 vsize=825468 CPUtime=49.9
/proc/30053/task/30070/stat : 30070 (ttsth-5-0) R 30051 30053 15497 0 -1 4202560 9630 0 0 0 4254 736 0 0 20 0 17 0 657314690 845279232 162785 18446744073709551615 134512640 135237372 4291037984 18446744073709551615 134562344 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 800.3
Current children cumulated vsize (KiB) 825468

[startup+102.312 s]
/proc/loadavg: 15.74 15.38 14.04 17/201 30070
/proc/meminfo: memFree=17866668/36427776 swapFree=4692/1131660
[pid=30053] ppid=30051 vsize=1334440 CPUtime=1616.86
/proc/30053/stat : 30053 (ttsth-5-0) S 30051 30053 15497 0 -1 4202496 281669 0 0 0 149688 11998 0 0 20 0 17 0 657314626 1366466560 281438 18446744073709551615 134512640 135237372 4291037984 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30053/statm: 333610 281439 95 177 0 333432 0
[pid=30053/tid=30055] ppid=30051 vsize=1334440 CPUtime=101.61
/proc/30053/task/30055/stat : 30055 (ttsth-5-0) R 30051 30053 15497 0 -1 4202560 21368 0 0 0 10101 60 0 0 20 0 17 0 657314690 1366466560 281439 18446744073709551615 134512640 135237372 4291037984 18446744073709551615 134562351 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=30053/tid=30056] ppid=30051 vsize=1334440 CPUtime=101.01
/proc/30053/task/30056/stat : 30056 (ttsth-5-0) R 30051 30053 15497 0 -1 4202560 18641 0 0 0 9213 888 0 0 20 0 17 0 657314690 1366466560 281439 18446744073709551615 134512640 135237372 4291037984 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=30053/tid=30057] ppid=30051 vsize=1334440 CPUtime=101.01
/proc/30053/task/30057/stat : 30057 (ttsth-5-0) R 30051 30053 15497 0 -1 4202560 17824 0 0 0 9249 852 0 0 20 0 17 0 657314690 1366466560 281439 18446744073709551615 134512640 135237372 4291037984 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=30053/tid=30058] ppid=30051 vsize=1334440 CPUtime=101.14
/proc/30053/task/30058/stat : 30058 (ttsth-5-0) R 30051 30053 15497 0 -1 4202560 12595 0 0 0 9386 728 0 0 20 0 17 0 657314690 1366466560 281439 18446744073709551615 134512640 135237372 4291037984 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=30053/tid=30059] ppid=30051 vsize=1334440 CPUtime=100.93
/proc/30053/task/30059/stat : 30059 (ttsth-5-0) R 30051 30053 15497 0 -1 4202560 21957 0 0 0 9223 870 0 0 20 0 17 0 657314690 1366466560 281439 18446744073709551615 134512640 135237372 4291037984 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=30053/tid=30060] ppid=30051 vsize=1334440 CPUtime=101.2
/proc/30053/task/30060/stat : 30060 (ttsth-5-0) R 30051 30053 15497 0 -1 4202560 13435 0 0 0 9366 754 0 0 20 0 17 0 657314690 1366466560 281439 18446744073709551615 134512640 135237372 4291037984 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=30053/tid=30061] ppid=30051 vsize=1334440 CPUtime=101.06
/proc/30053/task/30061/stat : 30061 (ttsth-5-0) R 30051 30053 15497 0 -1 4202560 18683 0 0 0 9290 816 0 0 20 0 17 0 657314690 1366466560 281439 18446744073709551615 134512640 135237372 4291037984 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=30053/tid=30062] ppid=30051 vsize=1334440 CPUtime=101.1
/proc/30053/task/30062/stat : 30062 (ttsth-5-0) R 30051 30053 15497 0 -1 4202560 14645 0 0 0 9300 810 0 0 20 0 17 0 657314690 1366466560 281439 18446744073709551615 134512640 135237372 4291037984 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=30053/tid=30063] ppid=30051 vsize=1334440 CPUtime=101.15
/proc/30053/task/30063/stat : 30063 (ttsth-5-0) R 30051 30053 15497 0 -1 4202560 21462 0 0 0 9349 766 0 0 20 0 17 0 657314690 1366466560 281439 18446744073709551615 134512640 135237372 4291037984 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30053/tid=30064] ppid=30051 vsize=1334440 CPUtime=101.04
/proc/30053/task/30064/stat : 30064 (ttsth-5-0) R 30051 30053 15497 0 -1 4202560 18279 0 0 0 9270 834 0 0 20 0 17 0 657314690 1366466560 281439 18446744073709551615 134512640 135237372 4291037984 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=30053/tid=30065] ppid=30051 vsize=1334440 CPUtime=101.1
/proc/30053/task/30065/stat : 30065 (ttsth-5-0) R 30051 30053 15497 0 -1 4202560 16939 0 0 0 9302 808 0 0 20 0 17 0 657314690 1366466560 281440 18446744073709551615 134512640 135237372 4291037984 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=30053/tid=30066] ppid=30051 vsize=1334440 CPUtime=101.17
/proc/30053/task/30066/stat : 30066 (ttsth-5-0) R 30051 30053 15497 0 -1 4202560 17194 0 0 0 9323 794 0 0 20 0 17 0 657314690 1366466560 281440 18446744073709551615 134512640 135237372 4291037984 18446744073709551615 134634592 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=30053/tid=30067] ppid=30051 vsize=1334440 CPUtime=101.22
/proc/30053/task/30067/stat : 30067 (ttsth-5-0) R 30051 30053 15497 0 -1 4202560 12436 0 0 0 9400 722 0 0 20 0 17 0 657314690 1366466560 281440 18446744073709551615 134512640 135237372 4291037984 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=30053/tid=30068] ppid=30051 vsize=1334440 CPUtime=99.14
/proc/30053/task/30068/stat : 30068 (ttsth-5-0) R 30051 30053 15497 0 -1 4202560 15824 0 0 0 9182 732 0 0 20 0 17 0 657314690 1366466560 281440 18446744073709551615 134512640 135237372 4291037984 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=30053/tid=30069] ppid=30051 vsize=1334440 CPUtime=101.2
/proc/30053/task/30069/stat : 30069 (ttsth-5-0) R 30051 30053 15497 0 -1 4202560 12739 0 0 0 9404 716 0 0 20 0 17 0 657314690 1366466560 281440 18446744073709551615 134512640 135237372 4291037984 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=30053/tid=30070] ppid=30051 vsize=1334440 CPUtime=100.98
/proc/30053/task/30070/stat : 30070 (ttsth-5-0) R 30051 30053 15497 0 -1 4202560 19726 0 0 0 9262 836 0 0 20 0 17 0 657314690 1366466560 281440 18446744073709551615 134512640 135237372 4291037984 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1616.86
Current children cumulated vsize (KiB) 1334440

[startup+162.305 s]
/proc/loadavg: 15.90 15.49 14.16 17/201 30075
/proc/meminfo: memFree=17437236/36427776 swapFree=4692/1560436
[pid=30053] ppid=30051 vsize=1796236 CPUtime=2574.61
/proc/30053/stat : 30053 (ttsth-5-0) S 30051 30053 15497 0 -1 4202496 389584 0 0 0 244789 12672 0 0 20 0 17 0 657314626 1839345664 389353 18446744073709551615 134512640 135237372 4291037984 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30053/statm: 449059 389353 95 177 0 448881 0
[pid=30053/tid=30055] ppid=30051 vsize=1796236 CPUtime=161.61
/proc/30053/task/30055/stat : 30055 (ttsth-5-0) R 30051 30053 15497 0 -1 4202560 27953 0 0 0 16073 88 0 0 20 0 17 0 657314690 1839345664 389353 18446744073709551615 134512640 135237372 4291037984 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=30053/tid=30056] ppid=30051 vsize=1796236 CPUtime=160.9
/proc/30053/task/30056/stat : 30056 (ttsth-5-0) R 30051 30053 15497 0 -1 4202560 26288 0 0 0 15156 934 0 0 20 0 17 0 657314690 1839345664 389353 18446744073709551615 134512640 135237372 4291037984 18446744073709551615 134562341 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=30053/tid=30057] ppid=30051 vsize=1796236 CPUtime=160.95
/proc/30053/task/30057/stat : 30057 (ttsth-5-0) R 30051 30053 15497 0 -1 4202560 22922 0 0 0 15199 896 0 0 20 0 17 0 657314690 1839345664 389353 18446744073709551615 134512640 135237372 4291037984 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=30053/tid=30058] ppid=30051 vsize=1796236 CPUtime=161.07
/proc/30053/task/30058/stat : 30058 (ttsth-5-0) R 30051 30053 15497 0 -1 4202560 17234 0 0 0 15347 760 0 0 20 0 17 0 657314690 1839345664 389354 18446744073709551615 134512640 135237372 4291037984 18446744073709551615 134562344 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=30053/tid=30059] ppid=30051 vsize=1796236 CPUtime=160.82
/proc/30053/task/30059/stat : 30059 (ttsth-5-0) R 30051 30053 15497 0 -1 4202560 29332 0 0 0 15160 922 0 0 20 0 17 0 657314690 1839345664 389354 18446744073709551615 134512640 135237372 4291037984 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=30053/tid=30060] ppid=30051 vsize=1796236 CPUtime=161.15
/proc/30053/task/30060/stat : 30060 (ttsth-5-0) R 30051 30053 15497 0 -1 4202560 19070 0 0 0 15327 788 0 0 20 0 17 0 657314690 1839345664 389354 18446744073709551615 134512640 135237372 4291037984 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=30053/tid=30061] ppid=30051 vsize=1796236 CPUtime=161.01
/proc/30053/task/30061/stat : 30061 (ttsth-5-0) R 30051 30053 15497 0 -1 4202560 25581 0 0 0 15251 850 0 0 20 0 17 0 657314690 1839345664 389354 18446744073709551615 134512640 135237372 4291037984 18446744073709551615 134562344 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=30053/tid=30062] ppid=30051 vsize=1796236 CPUtime=160.99
/proc/30053/task/30062/stat : 30062 (ttsth-5-0) R 30051 30053 15497 0 -1 4202560 23149 0 0 0 15235 864 0 0 20 0 17 0 657314690 1839345664 389354 18446744073709551615 134512640 135237372 4291037984 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=30053/tid=30063] ppid=30051 vsize=1796236 CPUtime=161.09
/proc/30053/task/30063/stat : 30063 (ttsth-5-0) R 30051 30053 15497 0 -1 4202560 30114 0 0 0 15295 814 0 0 20 0 17 0 657314690 1839345664 389354 18446744073709551615 134512640 135237372 4291037984 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30053/tid=30064] ppid=30051 vsize=1796236 CPUtime=160.95
/proc/30053/task/30064/stat : 30064 (ttsth-5-0) R 30051 30053 15497 0 -1 4202560 27743 0 0 0 15211 884 0 0 20 0 17 0 657314690 1839345664 389354 18446744073709551615 134512640 135237372 4291037984 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=30053/tid=30065] ppid=30051 vsize=1796236 CPUtime=161.04
/proc/30053/task/30065/stat : 30065 (ttsth-5-0) R 30051 30053 15497 0 -1 4202560 23480 0 0 0 15256 848 0 0 20 0 17 0 657314690 1839345664 389355 18446744073709551615 134512640 135237372 4291037984 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=30053/tid=30066] ppid=30051 vsize=1796236 CPUtime=161.08
/proc/30053/task/30066/stat : 30066 (ttsth-5-0) R 30051 30053 15497 0 -1 4202560 23118 0 0 0 15266 842 0 0 20 0 17 0 657314690 1839345664 389355 18446744073709551615 134512640 135237372 4291037984 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=30053/tid=30067] ppid=30051 vsize=1796236 CPUtime=161.16
/proc/30053/task/30067/stat : 30067 (ttsth-5-0) R 30051 30053 15497 0 -1 4202560 16778 0 0 0 15360 756 0 0 20 0 17 0 657314690 1839345664 389355 18446744073709551615 134512640 135237372 4291037984 18446744073709551615 134562344 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=30053/tid=30068] ppid=30051 vsize=1796236 CPUtime=157.88
/proc/30053/task/30068/stat : 30068 (ttsth-5-0) R 30051 30053 15497 0 -1 4202560 24635 0 0 0 15008 780 0 0 20 0 17 0 657314690 1839345664 389355 18446744073709551615 134512640 135237372 4291037984 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=30053/tid=30069] ppid=30051 vsize=1796236 CPUtime=161.15
/proc/30053/task/30069/stat : 30069 (ttsth-5-0) R 30051 30053 15497 0 -1 4202560 15382 0 0 0 15375 740 0 0 20 0 17 0 657314690 1839345664 389355 18446744073709551615 134512640 135237372 4291037984 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=30053/tid=30070] ppid=30051 vsize=1796236 CPUtime=160.9
/proc/30053/task/30070/stat : 30070 (ttsth-5-0) R 30051 30053 15497 0 -1 4202560 28883 0 0 0 15198 892 0 0 20 0 17 0 657314690 1839345664 389355 18446744073709551615 134512640 135237372 4291037984 18446744073709551615 134561426 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2574.61
Current children cumulated vsize (KiB) 1796236



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+205.202 s]
/proc/loadavg: 15.95 15.56 14.25 17/201 30075
/proc/meminfo: memFree=17151808/36427776 swapFree=4692/1845092
[pid=30053] ppid=30051 vsize=2097868 CPUtime=3259.74
/proc/30053/stat : 30053 (ttsth-5-0) S 30051 30053 15497 0 -1 4202496 459356 0 0 0 312901 13073 0 0 20 0 17 0 657314626 2148216832 459125 18446744073709551615 134512640 135237372 4291037984 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30053/statm: 524467 459125 95 177 0 524289 0
[pid=30053/tid=30055] ppid=30051 vsize=2097868 CPUtime=204.5
/proc/30053/task/30055/stat : 30055 (ttsth-5-0) R 30051 30053 15497 0 -1 4202560 31703 0 0 0 20344 106 0 0 20 0 17 0 657314690 2148216832 459125 18446744073709551615 134512640 135237372 4291037984 18446744073709551615 134562341 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=30053/tid=30056] ppid=30051 vsize=2097868 CPUtime=203.77
/proc/30053/task/30056/stat : 30056 (ttsth-5-0) R 30051 30053 15497 0 -1 4202560 31140 0 0 0 19405 972 0 0 20 0 17 0 657314690 2148216832 459125 18446744073709551615 134512640 135237372 4291037984 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=30053/tid=30057] ppid=30051 vsize=2097868 CPUtime=203.84
/proc/30053/task/30057/stat : 30057 (ttsth-5-0) R 30051 30053 15497 0 -1 4202560 26053 0 0 0 19468 916 0 0 20 0 17 0 657314690 2148216832 459125 18446744073709551615 134512640 135237372 4291037984 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=30053/tid=30058] ppid=30051 vsize=2097868 CPUtime=203.96
/proc/30053/task/30058/stat : 30058 (ttsth-5-0) R 30051 30053 15497 0 -1 4202560 19318 0 0 0 19624 772 0 0 20 0 17 0 657314690 2148216832 459125 18446744073709551615 134512640 135237372 4291037984 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=30053/tid=30059] ppid=30051 vsize=2097868 CPUtime=203.67
/proc/30053/task/30059/stat : 30059 (ttsth-5-0) R 30051 30053 15497 0 -1 4202560 37658 0 0 0 19395 972 0 0 20 0 17 0 657314690 2148216832 459125 18446744073709551615 134512640 135237372 4291037984 18446744073709551615 134749353 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=30053/tid=30060] ppid=30051 vsize=2097868 CPUtime=204.04
/proc/30053/task/30060/stat : 30060 (ttsth-5-0) R 30051 30053 15497 0 -1 4202560 22178 0 0 0 19594 810 0 0 20 0 17 0 657314690 2148216832 459126 18446744073709551615 134512640 135237372 4291037984 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=30053/tid=30061] ppid=30051 vsize=2097868 CPUtime=203.88
/proc/30053/task/30061/stat : 30061 (ttsth-5-0) R 30051 30053 15497 0 -1 4202560 29602 0 0 0 19516 872 0 0 20 0 17 0 657314690 2148216832 459126 18446744073709551615 134512640 135237372 4291037984 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=30053/tid=30062] ppid=30051 vsize=2097868 CPUtime=203.87
/proc/30053/task/30062/stat : 30062 (ttsth-5-0) R 30051 30053 15497 0 -1 4202560 30232 0 0 0 19491 896 0 0 20 0 17 0 657314690 2148216832 459126 18446744073709551615 134512640 135237372 4291037984 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=30053/tid=30063] ppid=30051 vsize=2097868 CPUtime=203.97
/proc/30053/task/30063/stat : 30063 (ttsth-5-0) R 30051 30053 15497 0 -1 4202560 35218 0 0 0 19561 836 0 0 20 0 17 0 657314690 2148216832 459126 18446744073709551615 134512640 135237372 4291037984 18446744073709551615 134562380 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30053/tid=30064] ppid=30051 vsize=2097868 CPUtime=203.84
/proc/30053/task/30064/stat : 30064 (ttsth-5-0) R 30051 30053 15497 0 -1 4202560 32933 0 0 0 19464 920 0 0 20 0 17 0 657314690 2148216832 459126 18446744073709551615 134512640 135237372 4291037984 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=30053/tid=30065] ppid=30051 vsize=2097868 CPUtime=203.93
/proc/30053/task/30065/stat : 30065 (ttsth-5-0) R 30051 30053 15497 0 -1 4202560 26709 0 0 0 19523 870 0 0 20 0 17 0 657314690 2148216832 459126 18446744073709551615 134512640 135237372 4291037984 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=30053/tid=30066] ppid=30051 vsize=2097868 CPUtime=203.96
/proc/30053/task/30066/stat : 30066 (ttsth-5-0) R 30051 30053 15497 0 -1 4202560 27442 0 0 0 19526 870 0 0 20 0 17 0 657314690 2148216832 459126 18446744073709551615 134512640 135237372 4291037984 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=30053/tid=30067] ppid=30051 vsize=2097868 CPUtime=204.05
/proc/30053/task/30067/stat : 30067 (ttsth-5-0) R 30051 30053 15497 0 -1 4202560 20307 0 0 0 19627 778 0 0 20 0 17 0 657314690 2148216832 459127 18446744073709551615 134512640 135237372 4291037984 18446744073709551615 134562399 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=30053/tid=30068] ppid=30051 vsize=2097868 CPUtime=199.93
/proc/30053/task/30068/stat : 30068 (ttsth-5-0) R 30051 30053 15497 0 -1 4202560 27984 0 0 0 19195 798 0 0 20 0 17 0 657314690 2148216832 459127 18446744073709551615 134512640 135237372 4291037984 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=30053/tid=30069] ppid=30051 vsize=2097868 CPUtime=204.04
/proc/30053/task/30069/stat : 30069 (ttsth-5-0) R 30051 30053 15497 0 -1 4202560 17116 0 0 0 19648 756 0 0 20 0 17 0 657314690 2148216832 459127 18446744073709551615 134512640 135237372 4291037984 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=30053/tid=30070] ppid=30051 vsize=2097868 CPUtime=203.78
/proc/30053/task/30070/stat : 30070 (ttsth-5-0) R 30051 30053 15497 0 -1 4202560 35842 0 0 0 19460 918 0 0 20 0 17 0 657314690 2148216832 459127 18446744073709551615 134512640 135237372 4291037984 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3259.74
Current children cumulated vsize (KiB) 2097868

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

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

[startup+205.401 s]
/proc/loadavg: 15.95 15.56 14.25 17/201 30075
/proc/meminfo: memFree=17151808/36427776 swapFree=4692/1845092
[pid=30053] ppid=30051 vsize=0 CPUtime=3260.05
/proc/30053/stat : 30053 (ttsth-5-0) Z 30051 30053 15497 0 -1 4203532 459373 0 0 0 312914 13091 0 0 20 0 2 0 657314626 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30053/statm: 0 0 0 0 0 0 0
[pid=30053/tid=30070] ppid=30051 vsize=0 CPUtime=203.97
/proc/30053/task/30070/stat : 30070 (ttsth-5-0) R 30051 30053 15497 0 -1 4203588 35842 0 0 0 19461 936 0 0 20 0 2 0 657314690 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3260.05
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 205.418
CPU time (s): 3260.08
CPU user time (s): 3129.15
CPU system time (s): 130.928
CPU usage (%): 1587.05
Max. virtual memory (cumulated for all children) (KiB): 2097868

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3129.15
system time used= 130.928
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 459373
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= 99298
involuntary context switches= 7595

runsolver used 1.04007 second user time and 2.91618 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-14 13:48:03
IDJOB=1780995
IDBENCH=71086
IDSOLVER=634
FILE ID=xenhost3-49/1780995-1244980083
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_07_UNSAT.cnf
COMMAND LINE= HOME/ttsth-5-0 -num-threads MAXNBTHREAD BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1780995-1244980083/watcher-1780995-1244980083 -o /tmp/evaluation-result-1780995-1244980083/solver-1780995-1244980083 -C 10000 -W 1000 -M 2047  HOME/ttsth-5-0 -num-threads 16 HOME/instance-1780995-1244980083.cnf

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

MD5SUM BENCH= a30111c778b4a83ebe950f77b63a1b33
RANDOM SEED= 1222243619

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:      18990136 kB
Buffers:        524820 kB
Cached:       14118900 kB
SwapCached:          0 kB
Active:        4170668 kB
Inactive:     10481072 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:            1352 kB
Writeback:           0 kB
AnonPages:        7344 kB
Mapped:           3656 kB
Slab:           733620 kB
SReclaimable:   706712 kB
SUnreclaim:      26908 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29496 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

Free space on /tmp at the end= 7022 MiB
End job on xenhost3-49 at 2009-06-14 13:51:30